mirror of
https://github.com/signalwire/freeswitch.git
synced 2025-04-02 19:29:31 +00:00
401 lines
802 B
Coq
401 lines
802 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
|
||
|
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
|
||
|
1
|
||
|
1
|
||
|
1
|
||
|
1
|
||
|
1
|
||
|
1
|
||
|
1
|
||
|
1
|
||
|
1
|
||
|
1
|
||
|
1
|
||
|
1
|
||
|
1
|
||
|
1
|
||
|
1
|
||
|
1
|
||
|
1
|
||
|
0
|
||
|
0
|
||
|
0
|
||
|
0
|
||
|
0
|
||
|
0
|
||
|
1
|
||
|
1
|
||
|
1
|
||
|
1
|
||
|
1
|
||
|
1
|
||
|
1
|
||
|
1
|
||
|
0
|
||
|
0
|
||
|
0
|
||
|
0
|
||
|
0
|
||
|
0
|
||
|
1
|
||
|
1
|
||
|
1
|
||
|
1
|
||
|
1
|
||
|
1
|
||
|
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
|
||
|
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
|
||
|
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
|
||
|
1
|
||
|
1
|
||
|
1
|
||
|
1
|
||
|
1
|
||
|
1
|
||
|
1
|
||
|
1
|
||
|
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
|
||
|
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
|
||
|
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
|