Y\ Р%muddy@АB%muddy@'list_of@@@ !n)Datatypes$Init#Coq@@#nat@(PolyList%Lists @@$list@Ͱ@@@@!O!S@C@@)'A@A.!m1'@B6C<@@'Exactly@(At_least@E@F&axioms@@+proposition@PN!pQ,or_and_exist@@#AND#B5%false@@#Not. h@BD*(omn(@@@0rule_rev_AND_ImpEGHJ;NPJh   @,rule_AND_ImpЩU   @acw"V"Le%Arith@@*le_trans_Sp|zq@ސS`àsb@A+E_Awareness@ַש@@A@A+C_Awareness@q@D|͠~ީ @*Rule_for_C s@2rule_Imp_AND_right!@#E_T.ɩՠ!).#+'@1rule_Imp_AND_left7. ,@$C_EC75(頩5=;9@6rule_AND_right_regularG><@#C_EGEE X@'G@$ANDERWNWUVp^WQ@A(Progress@#!hfgWo`ol7 _uf @$AND1zq|sm@E!Us}{@,rule_C_K_rev @&C_ruleƠ '@'aq@'C_K_rev0\ZQؠ9@A@@on=<砠ȐǠ^]@@@@0WD7dRz'%modal@0893qJF砠*predicates@0Bl]I%@0*,5w۱rju`7@0JGT&*] u@0:+:S/8@0-<+od`@0*edfshW@0Y!?$o$Plus%Arith#Coq@0F G:Pʠ"Lt%Arith#Coq@0T"&9D1-#/.#Coq@0 BC*d/c]#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:=$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@ƠĠ(CONSTANTA@ @P  AˠAAA! A{&%A@#_453DISCHARGED-HYPS-MAP@#_46.Muddy_Children@#_47 @#_48@#_49!ޠ@#_50)&="@#_511."*@#_52962@@p{u̠נ⠠ & 1+<6GARL]Whbnmtszy@BΠؠ ̠@0Hgm~"V