mirror of
https://github.com/signalwire/freeswitch.git
synced 2025-04-09 06:01:47 +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
|