"`E&BoolEq$Bool#Coq@,)Notations$Init#Coq@%Logic$Init#Coq@*Logic_Type$Init#Coq@)Datatypes$Init#Coq@&Specif$Init#Coq@%Peano$Init#Coq@"Wf$Init#Coq@'Tactics$Init#Coq@%Tauto$Init#Coq@'Prelude$Init#Coq@$Bool#Coq@4)Notations$Init#Coq@0&v!D]hwnv %Logic$Init#Coq@0\͉!Ig)Datatypes$Init#Coq@0.i bYN Z*Logic_Type$Init#Coq@0 1jc6&Specif$Init#Coq@0;RWMi\N'Decimal$Init#Coq@0C涳N*ua#Nat$Init#Coq@0eʤģPSR蠠%Peano$Init#Coq@0 jha|ؠ"Wf$Init#Coq@0q+W,J+'Tactics$Init#Coq@0/9m+ a%Tauto$Init#Coq@0̂"&/r'Prelude$Init#Coq@0JqTttֱs0j 2cZ`FW5`~!L񄕦KHР&BoolEq$Bool#Coq@A+beq_eq_true @!A@#beq@A@B)Datatypes$Init"@@$boolZ'@(beq_refl!x%Logic@"eq @A"%%C!yD!HE/1B@@@@@DF@&G>)= @B@NLJH866#" @6J-)M +k()= R' $'' +k()!L77&''@@AA|ZK@@@@@AA@@A@0beq_eq_not_false @ywuscaaNMK!eJb@&eq_ind J|_!bl@#notШtBd{rȐ"H0 "e0@@@@@@@@D!A@%Falsee@@$Truey@A@)False_induُC8,o۠@3f@̶ȶ@ID +k()7! + +DL77# 'LL +M7777%'= R'6'6''+k6'M77"7$'(X6T۰I@@A@A@@4LvݐMdw@@@@@0beq_false_not_eq @    W@<@@"    @ T+k()7#'|@@@@@Ǡ-exists_beq_eq @=;97$5&Specif7@#sig#* @AAB0DG#:5AK@WUSQ>O*,S @+k()G!:'@@@@@0not_eq_false_beq @nljh&beq_eqXiDF@XlO'ZAKo_LKIHH`@&eq_sym Xz0򩚠@1not_true_is_false;̀9s=j]dhXhlrC @/-rqo@&͐ +k() +!7!M!77# 'L!77"$'#Tt1|@@@@@G&eq_dec @P@BBB@@@@D!sxɷMʩϩ@'sumbool7̂K@ðةX @␷dJfqҰYװIũmǩް&&A尐Hש{а֩y55B M@ *[@[E +k() 7= R'> '= R@ '   +'     +'$ ''"9' 79'  + k+! 77"T'7"7 7"7%' +k7"7 7"7%' E@#K@H`dX4{ABAKh@@@@@@@@@ ӳ2@ ӳ2[)Datatypes$Init#Coq@@A@ Գq@ Գq\ @A@AB@@@@4$Bool#Coq@0j 2cZ`FW@0.i bYN Z'Decimal$Init#Coq@0C涳N*ua%Logic$Init#Coq@0\͉!Ig*Logic_Type$Init#Coq@0 1jc6#Nat$Init#Coq@0eʤģPSR蠠)Notations$Init#Coq@0&v!D]hwnv %Peano$Init#Coq@0 jha|ؠ'Prelude$Init#Coq@0JqTttֱ&Specif$Init#Coq@0;RWMi\N'Tactics$Init#Coq@0/9m+ a%Tauto$Init#Coq@0̂"&/r"Wf$Init#Coq@0q+W,J+A"_39.z"<-"_49.z"->2 Q@@@@#_18@3f@A@@@@@@@@@@@#_192M접@3fFF@A#_20'`o@ @3fF*type_scope.function_scope@@@@@AA@@@2 Q@@@@#_21-@<@@A@@@@@@@@@@@#_222M접>@<@FF@A#_23'`o@G@<@F=<>@@@@@AA@@1@J2 Q@@@@#_24h@U*[@A@@@@@@@@@@@#_252M접y@f*[GGAA#_26'`o@@o*[Fxwy@@@@@AA@@l@W2 Q@@@@#_27@b@A@@@@@@@@@@#_282M접@r@#_29'`o@@zD@@@@A@@@W2 Q@@@@#_30@b);@A@@@@@@@@@@@#_312M접@s);@1not_true_is_false;͠#_32'`o@@);F預蠐@@@@@AA@@p@H2 Q@@@@#_33@S.@A@@@@@@@@@@@@#_342M접&@e.A#_35'`o@.@m.F$#%'@@@@AAA@@@@@(Lin 0^@ HF]N mMy