mirror of
https://github.com/signalwire/freeswitch.git
synced 2025-02-05 10:34:54 +00:00
301 lines
600 B
Coq
301 lines
600 B
Coq
|
0
|
||
|
0
|
||
|
0
|
||
|
0
|
||
|
0
|
||
|
0
|
||
|
0
|
||
|
0
|
||
|
0
|
||
|
0
|
||
|
0
|
||
|
0
|
||
|
0
|
||
|
0
|
||
|
0
|
||
|
0
|
||
|
0
|
||
|
0
|
||
|
0
|
||
|
0
|
||
|
0
|
||
|
0
|
||
|
0
|
||
|
0
|
||
|
0
|
||
|
0
|
||
|
1
|
||
|
1
|
||
|
1
|
||
|
1
|
||
|
1
|
||
|
1
|
||
|
1
|
||
|
1
|
||
|
1
|
||
|
1
|
||
|
1
|
||
|
1
|
||
|
1
|
||
|
1
|
||
|
1
|
||
|
1
|
||
|
1
|
||
|
1
|
||
|
1
|
||
|
1
|
||
|
1
|
||
|
1
|
||
|
1
|
||
|
1
|
||
|
1
|
||
|
1
|
||
|
1
|
||
|
1
|
||
|
0
|
||
|
0
|
||
|
0
|
||
|
0
|
||
|
0
|
||
|
0
|
||
|
0
|
||
|
0
|
||
|
0
|
||
|
0
|
||
|
0
|
||
|
0
|
||
|
1
|
||
|
1
|
||
|
1
|
||
|
1
|
||
|
1
|
||
|
1
|
||
|
1
|
||
|
1
|
||
|
1
|
||
|
1
|
||
|
1
|
||
|
1
|
||
|
1
|
||
|
1
|
||
|
1
|
||
|
1
|
||
|
1
|
||
|
1
|
||
|
1
|
||
|
1
|
||
|
1
|
||
|
1
|
||
|
1
|
||
|
1
|
||
|
1
|
||
|
1
|
||
|
1
|
||
|
1
|
||
|
0
|
||
|
0
|
||
|
0
|
||
|
0
|
||
|
0
|
||
|
0
|
||
|
0
|
||
|
0
|
||
|
0
|
||
|
0
|
||
|
1
|
||
|
1
|
||
|
1
|
||
|
1
|
||
|
1
|
||
|
1
|
||
|
1
|
||
|
1
|
||
|
0
|
||
|
0
|
||
|
0
|
||
|
0
|
||
|
0
|
||
|
0
|
||
|
0
|
||
|
0
|
||
|
0
|
||
|
0
|
||
|
0
|
||
|
0
|
||
|
0
|
||
|
1
|
||
|
1
|
||
|
1
|
||
|
1
|
||
|
1
|
||
|
1
|
||
|
1
|
||
|
1
|
||
|
1
|
||
|
0
|
||
|
0
|
||
|
0
|
||
|
0
|
||
|
1
|
||
|
1
|
||
|
1
|
||
|
1
|
||
|
1
|
||
|
1
|
||
|
1
|
||
|
1
|
||
|
1
|
||
|
1
|
||
|
1
|
||
|
1
|
||
|
1
|
||
|
1
|
||
|
1
|
||
|
1
|
||
|
1
|
||
|
0
|
||
|
0
|
||
|
0
|
||
|
0
|
||
|
1
|
||
|
1
|
||
|
1
|
||
|
1
|
||
|
1
|
||
|
1
|
||
|
1
|
||
|
1
|
||
|
1
|
||
|
1
|
||
|
1
|
||
|
1
|
||
|
1
|
||
|
1
|
||
|
1
|
||
|
1
|
||
|
1
|
||
|
1
|
||
|
1
|
||
|
1
|
||
|
1
|
||
|
1
|
||
|
1
|
||
|
1
|
||
|
1
|
||
|
1
|
||
|
1
|
||
|
1
|
||
|
1
|
||
|
1
|
||
|
1
|
||
|
1
|
||
|
1
|
||
|
1
|
||
|
1
|
||
|
1
|
||
|
1
|
||
|
1
|
||
|
1
|
||
|
1
|
||
|
1
|
||
|
1
|
||
|
1
|
||
|
1
|
||
|
1
|
||
|
1
|
||
|
1
|
||
|
1
|
||
|
0
|
||
|
0
|
||
|
0
|
||
|
0
|
||
|
0
|
||
|
0
|
||
|
0
|
||
|
1
|
||
|
1
|
||
|
1
|
||
|
1
|
||
|
1
|
||
|
1
|
||
|
1
|
||
|
1
|
||
|
1
|
||
|
1
|
||
|
1
|
||
|
1
|
||
|
1
|
||
|
0
|
||
|
0
|
||
|
0
|
||
|
0
|
||
|
0
|
||
|
0
|
||
|
0
|
||
|
0
|
||
|
0
|
||
|
0
|
||
|
0
|
||
|
0
|
||
|
0
|
||
|
0
|
||
|
0
|
||
|
0
|
||
|
0
|
||
|
0
|
||
|
0
|
||
|
0
|
||
|
0
|
||
|
0
|
||
|
0
|
||
|
0
|
||
|
0
|
||
|
0
|
||
|
0
|
||
|
0
|
||
|
0
|
||
|
0
|
||
|
0
|
||
|
0
|
||
|
0
|
||
|
0
|
||
|
0
|
||
|
0
|
||
|
0
|
||
|
0
|
||
|
0
|
||
|
0
|
||
|
0
|
||
|
0
|
||
|
0
|
||
|
0
|
||
|
0
|
||
|
0
|
||
|
0
|
||
|
0
|
||
|
0
|
||
|
0
|
||
|
0
|
||
|
0
|
||
|
0
|
||
|
0
|
||
|
0
|
||
|
0
|
||
|
0
|
||
|
0
|
||
|
0
|
||
|
0
|
||
|
0
|
||
|
0
|
||
|
0
|
||
|
0
|
||
|
0
|
||
|
0
|
||
|
0
|
||
|
0
|
||
|
0
|
||
|
0
|
||
|
0
|
||
|
0
|
||
|
0
|