mirror of
https://github.com/signalwire/freeswitch.git
synced 2025-07-27 12:14:32 +00:00
300 lines
598 B
Coq
300 lines
598 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
|
||
|
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
|
||
|
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
|
||
|
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
|
||
|
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
|
||
|
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
|
||
|
0
|
||
|
0
|
||
|
0
|
||
|
0
|
||
|
0
|
||
|
0
|
||
|
0
|
||
|
0
|
||
|
0
|
||
|
0
|
||
|
0
|
||
|
0
|
||
|
0
|
||
|
1
|
||
|
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
|
||
|
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
|