mirror of
https://github.com/signalwire/freeswitch.git
synced 2025-02-21 17:13:22 +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
|