^ =Р&axioms@АB&axioms@+propositionAA@0@@@@@A@#Imp&Forall!K!C@A@BC!A@@ @)Datatypes$Init#Coq@@#nat@@@(PolyList%Lists#Coq@@$list@@$#(@@@@@@@@@@/proposition_ind@!P!pB[@@X@A!f  @NQ@DVE@A \[@#@e"@!ag,@Bop(!nlkj@@i@=;@)FC@C?!lvu@@s@ VT@G\@D@@!FkimkͰ@@@@C@@@@wuxvHik_^\&·\ZPNDt=;sxo\F%@@/proposition_rec@y}jT<:8Ͱ7@4L1*%!@@'theoremAA@0@@A@BA@@)Hilbert_K)Hilbert_S"MP'Forall1'Forall2*ForallRuleඐ!pQ!qUZ@A  !pc!qg!rkȐ $&")*%,/!p!q@63;=@=?!AP!P@I!aKH@BTUVY!Ag!P@`!q`j!xmiqqunx&xy!A!P@Ӷ@!x48;@@@gg@iii@kk@@nnn@ppp@rr@@+theorem_ind@m@idbmkmY[lwu vxedfhéjlũnɷ@@@@R@ @ I}{Hy;1l@ 0@JA@fͶ!tF:ַ Ͱl@3@@*)('&%AC@@@@@@!uᩐK%'zp)*,bc/12ݠ568:ڷط;b<=?߷ݷABD6KFGIYGXrkZD@@@@hfe"!ts@@@I0 BC*d/c]"Le%Arith#Coq@0k y:[!ba^N0Logic_TypeSyntax$Init#Coq@0%h3u|]*Logic_Type$Init#Coq@0cdzZAN+9QfK-'Prelude$Init#Coq@0 y&X0Yu(ߠ"Wf$Init#Coq@0[aq%u+PeanoSyntax$Init#Coq@0ɬ7VH:%Peano$Init#Coq@0k֣' F鿐,SpecifSyntax$Init#Coq@0zŐ GKJ&Specif$Init#Coq@0I/ M!|xj#+LogicSyntax$Init#Coq@0P`w7L!yҭ%Logic$Init#Coq@0$d+i{# /DatatypesSyntax$Init#Coq@00nöO(0CiI3?Q@ꠠ)INDUCTIVEA@@@@(CONSTANT@@A@@@@V@@#_193DISCHARGED-HYPS-MAP@#_20#@#_21 )=@#_22/*@#_235w@@ITN_YjduozǠ@*nȠ@0Y!