"`̈́ذ'Sumbool$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@0)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̂"&/rk0JqTttֱ+w !##S ^ sР'Sumbool$Bool#Coq@A/sumbool_of_bool @!b)Datatypes$Init@@$boolZ'@ @@@@@@@@D&Specif@'sumbool7̂K@%Logic@"eq @)A+A/0B !A:< AA/B(H*JL@O)Datatypes$Init#Coq@@$boolZ'@&Specif$Init#Coq@@L7̂K@%Logic$Init#Coq@@"eq @*A,A2A4B +k= R'6'6''+kH 77"L 77"7%'ࠑB@X@@A@A@tA@H@@@@@AA@@A@+bool_eq_rec @!P@@@@ÐB@@ʐCD!H@"H0@#! @ @@曠.@/@@BA53@@4B8695 +k= R$'+ '+''()G $'()G $'+k+ +A7TT'+ +,L77"TT'++M77"TT'$'H$'G$'6' <zA@tXD@@@@@q+bool_eq_ind @'%)'n@)Als[tQ@1‶y@瀔@@рBA@@݀B MX<QA@t8ED@@@@@+sumbool_and @!AJ!BM!CP!DS"H1l"H2qrBAAAA@@@@@D!s~FEy@#andЖw@G @"or @#,!aH !c  %A-!d%'B,7E>N; ># 4A9DG@jhfdb`^\͠K<CQ +k()= 0R'>= RP'>+6'>+6'$'>= R]'>+E'>+D'$'' :9'99'+k+T'7!7!7%'99'99'+k+T'7!7!7%'  +k7!7!7%'РUh4lAABAAG@s@E t @_T @@@@@Y*sumbool_or @c4Sn{|liPt\rad[z Ux/y`2pg4y s@)[ +k()= /R'>= RO'>+6'>+6'$'>= R^'>+D'>+C'$''99'99'+k+T'7!7!7%'99' :9'+k+T'7!7!7%'  +k7!7!7%'РTZAG@^@E?t <h0@@@@@+sumbool_not @;<S?WC-Gs>@JKb +k()= R'>9'>9'' +k7%'AA@o@@@@@ܠ/bool_of_sumbool @gh,~@+sumbool_rec=_ַ@#sig#* @@@@@AڷੜA @B}A@\BAb@#sig#* @w{@&ΛA X+k() + + +7# 'M:'L:'+ 77%'= R''''+k6'Р?ȠސN`COA@L@@@@@B@@@ ӳ2@ ӳ2[)Datatypes$Init#Coq@@A@ Գq@ Գq\ @A@AB@@@@0  @0.i bYN Z'Decimal$Init#Coq@0C涳N*ua0\͉!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ֱސ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"->r2 Q@@@@"_5@}&@A@@@@@@@@"_62M접AA@A"_7'`o@A*bool_scope@>@"_8X@$bool;@@@7@X@'META160`@AI@j@q@BS@@@@ti][Z@@@5Coq.Bool.Sumbool#<>#17n @02 Q@@@@"_9@;ط@A@@@@w@#_102M접 AA@A#_11'`o@Du.function_scope@AAA@2 Q@@@@#_12(@̲@A@@@@@#_132M접 AA@A#_14'`o@D024@蠐AAA@ՠ2 Q@@@@#_33W@f)@A@@@@@@@@@@@@@@#_342M접k@f)FE@A#_35'`o@t@f)F*type_scope@@@@@@@hk@|2 Q@@@@#_36@ @A@@@@@@@@@@@@@@#_372M접@ FE@A#_38'`o@@ FCEGI@@@@@@@@g2 Q@@@@#_39@rf#27n נ/@B@@'META168'META170@'META169'META171u@b @@FGHI`dgݠ@5Coq.Bool.Sumbool#<>#37n @#_43X@$corezA@@'META187'META186@Ef#47n @+2 Q@@@@#_44@60b@A@@@@K@#_452M접 CC@A#_46'`o@Cik@@@@@#_47&AA@@@@@@{C@A~@A@@@@@@sB ,$11.]m#|@1⤈Qp1BUl#@xS{Ɂ𧥊0)#΄@33k*L#˦67-Sm<