"`DŽְ$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ֱ 0xpބ/Р$Bool#Coq@A'Is_true @!b)Datatypes$Init@@$boolZ'@ @@@@@@@@DAA%Logic@$Truey@ @%Falsee@@))Datatypes$Init#Coq@@$boolZ'@" +k= R'6'6''+k6'X7@@A@A@t76H@@@@@AA@@A@(bool_dec @"b1_"b2bb@(bool_rec<̰з j!xm&Specifn@'sumbool7̂K@b@"eq @Blj@#notШ}A})A"  'A7B0B,!H Ȑ"H0@&eq_ind J.!eA@)False_induُC`ͩ`W'P1^.IW+)'5"̠"SC Ml<<eJ@j@ĀȀ&Specif$Init#Coq@@'sumbool7̂K@%Logic$Init#Coq@@"eq @$BA@#notШ1BA p+k() + +| +7#'= RL'+ 9'6''LL +M7777%'= R'6'6''+k6'+kM77"7 M77"7%'= RL'6'+9''ML +L7777%'= R'6'6''+k6'+kL77"7 L77"7%'+7T'77"7 77"7%'0@p+$H $A@T\n$$p ِXҰ\A@hĠP(蠑70ϰ4@@@@@/diff_true_false @@o@K@@@@@/diff_false_true @@}AY@@@@@ 1eq_true_false_abs @@B|S@}A\A@ dB%Logic$Init#Coq@@%Falsee@@@@@@L1not_true_is_false @@C@ AA:B@@@@@n1not_false_is_true @@Dʛ@π AB׀\A@@@@@2not_true_iff_false @@E웠@@#iffС)【AAAB@@@@@2not_false_iff_true @@%F@* AB'AA@@@@@ᠠ#leb @;<0>+ǰA,*@因曠 +k()= R'G 77&'6''+k6'РQ\JAC@GdJ|@@@@@)leb_implb @@G,*@EYBA|)Datatypes$Init#Coq@@YZ'@e@%implbMBAoA@@@@@J#eqb @GEJ'J@QR x+k()= RF'= R%'G'H''= R'H'G'''+k6'+k6'+k6'lDA@t@@@@@@v)eqb_subst @@H!P@A{|@߀/@KPBAA@DCE@@@@@)eqb_reflx @@IۀT%AAA@@@@@à(eqb_prop @@.J!a$@%uFBA A2D@@@@@蠠,eqb_true_iff @@SK%H[LmBA0AYBA@@@@@-eqb_false_iff @@|LNDqHuũBAYBqBA@@@@@>#ifb @;9"b3@BxC|  +k()= R''''+k6'vA@@@@@@@k(negb_orb @@MhiˀO@@$negbY@#orbBAb@$andb=BA@@@@@)negb_andb @@N؀܀:7+BA:EBJA@@@@@Ӡ/negb_involutive @@>O//daeAA@@@@@7negb_involutive_reverse @@ZPK"KA~A@@@@@ (negb_sym @@vQg>"b'C@mABw@@@@@10no_fixpoint_negb @@Rd|ƩÀAA@@@@@M)eqb_negb1 @@Sʀ߀AAB@@@@@l)eqb_negb2 @@TțȀ造AAB@@@@@'if_negb @@U!ASM@@ɀB!yCD/@@@@A54CBA@@@@A"CAB@@S@5@A@A@7A1DH@@A@@ՠ-negb_true_iff @@@V1D5jgAAAA B@@@@@.negb_false_iff @@fWW&hYA +k= R"'+ '+''()9'()9'+k+7T'+L 7!77"T'G77"L77"7%'РFdH ࠒUB A@txܰlP(@@@@@(orb_prop @@sZE;h?@i橚BAMA䀠zXA_A@@@@@:.orb_true_intro @@[7m8q@ B~AAA,ڀ8A@@@@@l/orb_false_intro @@\ij@̀ BB@ր[B݀Z󜠠B@@@@@.orb_false_elim @@]̀р@x&BAB? BB@@@@@̠(orb_diag @@7^(&QAAA@@@@@㠠*orb_true_r @@N_??jA"A%A@@@@@*orb_true_l @@k`\3\٩>AABA@@@@@+orb_false_r @@ayPyA\BA@@@@@8+orb_false_l @@bkvBAA@@@@@S*orb_negb_r @@c,ڀA怐AA@@@@@r(orb_comm @@dopҀOBAAB@@@@@)orb_assoc @@eǀˀ\πu#C(BA.2CBA@@@@@Ġ-andb_true_iff @@/f›7(LBAAn;!BAC%A"A@@@@@.andb_false_iff @@hg04pa9BAEB܀rBQBz#AYB@@@@@4,andb_true_eq @q@=$ @Жw@/1++5 "=($*!ʠ E0,22#A--C'//R=9! 1+9C$]HD/ηܶ,ePL7A:;4mXT>64ʩ'LTFC>wb^IIA?թ2WQQC&&@ݛӀ ׀@@A)BAH@A-@ A +k() = R'+ '+'$'= Rb'+ '+ '$' :'ML +L77LL77"ML77"7!7%'= R'6'6''+k6'+k+L 7!L77"T'GL77"L77"7%'= R'+ '+O'$'ML +L77ML77"LL77"7!7%'= R'6'6''+k6'ML +L77ML77"ML77"7!7%'= R'6'6''+k6'+k+M 7!L77"T'HL77"L77"7%'+k+ 7!L77"T'L77"L77"7%', xXP :H< xX 6A@T4점 : @C,L :@`<D( @hH@@@@@ 1andb_false_intro1 @@ uh  =  A@k B JBsK UB@@@@@ 01andb_false_intro2 @@ i - c . g@A pBq " {B@@@@@ V,andb_false_r @@ j  ԀA B B@@@@@ s,andb_false_l @@ k ϛ π񀠜 BA B@@@@@ )andb_diag @@ l 웠j쀰ĩAAA@@@@@ +andb_true_r @@ m  ܀ ݩ'A AA@@@@@ Ġ+andb_true_l @@ /n   B AAA@@@@@ ߠ/andb_false_elim @  9 - = ;  <@ Ű ?  Ҡ ɰ CP  ˰ E   0  H  Ѱ K 6     8C  N@ װ QI     V  s ° u DC  Z@  ]H   |@  :  >@ h@BA LB  y WB    ې +k= R"'+ '+''()9'()9'+k+7T'+M 7!77"T'H77"M77"7%'Р dH ࠒ  RA@t *x #lP(@@@@@ O+andb_negb_r @@ o   ̀A‐A B@@@@@ n)andb_comm @@ p k  l  ΀BAAB@@@@@ *andb_assoc @@ q  À  ǀX ˀ ̩CBA!%CBA@@@@@ 2andb_orb_distrib_r @@ +r  󀶐    $FCTBAZUCB[CA@@@@@ 2andb_orb_distrib_l @@ `s  (  , 0 Y1{CBACABA@@@@@ *2orb_andb_distrib_r @@ t ' ] ( a e  CBAȀCB΀CA@@@@@ _2orb_andb_distrib_l @@ u \  ] '  À@造CBACABA@@@@@ /absorption_andb @@ v  ǀ  ˀ ̩B$BAB@@@@@ .absorption_orb @@ !w  逶  퀩 AB=BAB@@@@@ ؠ,xorb_false_r @@ Cx 4  4  @$xorbȀA BA@@@@@ ,xorb_false_l @@ cy T + T  6BAA@@@@@ +xorb_true_r @@ ~z o F o;9A RAA@@@@@ 2+xorb_true_l @@ {  e ZX pAAȀA@@@@@ Q.xorb_nilpotent @@ |   ywAA B@@@@@ l)xorb_comm @@ } ț a  ̀BAAB@@@@@ 2xorb_assoc_reverse @@ ~ ꛠ  ŀ#b'' ʀ CBAȀC̀BA@@@@@ 'xorb_eq @@ *  򀶐 @ 쩚ꀠBA B - ? @@@@@ 㠠/xorb_move_l_r_1 @@ N@ ? ؛ U @ HCBA S e k ܐ@@@@@ /xorb_move_l_r_2 @@ xA i @  D H@ r>$'>$''+k() %'=|AB@@@8n@b@A@A@@@+reflect_ind @ѷzxk@ն춐@rݔwvwxju}q|  Wp=yAB@@@@@@Ġ+reflect_rec @ " 穚@+Rr|@~)}|sr>tsBCH$u:tsH(r <+k() 7%'"h@@@@@+reflect_iff @@ba?UT@@BAon`e圠>A@@@@@+iff_reflect @>`vtĩ^@С)<p~Ω Bԩq@'and_rec1@ж@@""H1@+ .  I#C4 C1ҵ!ж@ֶ@>@E"HJG@V . C=SCQUC @ț@@݀Bπ AA\  +k() = R'+ '+B'$' + L7!+!LL77"T +T7#'()G 9''GL77&' + M7!+*LM77"T +!T7#'()+9' 7$''GM77&'+k+L 77"7!T'7%'𠑑t ^2Pw접|lࠐ@DLt@@@@@+reflect_dec @ Wo   m}#%t@I@ȀBA148 +k()= R'>9'>9''+k()7 7%'AA@ɐР@@@@@@@@S$@A6@7/q@8nj@ABC ӳ2@ ӳ2[@@A@ Գq@ Գq\@A@AD@@A0@@~@ABC@@@0А0.i bYN Z'Decimal$Init#Coq@0C涳N*ua[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ֱ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"->*destr_boolF@@@@@@6./theories/Bool/Bool.vQuQuv|@QuQu~ QuQu~QuQu~'Tactics$Init#Coq@@,destruct_all R٠@@@@@AAAAAA@@@@ -QuQu@4trivial_#_#_4C69D5E83)dn@*h?@@ BQuQu@5discriminate_4C69D553//@2 Q@@@@"_5@A@@@@@@@@"_62M접 AA@A"_7'`o@A*bool_scope@ @2 Q@@A@"_8P@4i@A@@@@&@"_92M접 BAAA#_10'`o@B$&@25@ 2 Q@@A@#_11x@ B@A@@@@N@#_122M접 #_13'`o@@@@#_14X@$boolt@@@@@A@B<@@@@P@@@2Coq.Bool.Bool#<>#1 @e@A@@@Gœ4@@2Coq.Bool.Bool#<>#2 @g2 Q@@A@#_15@r .@A@@@@@#_162M접 #_17'`o@@@@#_18X@$bool@@@@@B @A<@@lk%@2Coq.Bool.Bool#<>#3 j@A@@|@*h;@2Coq.Bool.Bool#<>#4 @#_19X@$core&A@@@@!@B&@A@@J s s *?b@0exact_#_4C69D568점(W@s s 0?@@x@2Coq.Bool.Bool#<>#5 @2 Q@@A@#_20@ y@A@@@@\@#_212M접 #_22'`o@C[@@@i@2 Q@@A@#_23@;@A@@@@@#_242M접 #_25'`o@B@@@2 Q@@A@#_26@ m@A@@@@@#_272M접 #_28'`o@B@@@2 Q@@A@#_29@b@A@@@@@#_302M접 #_31'`o@A@ @2 Q@@A@#_32&@ (?@A@@@@@#_332M접 #_34'`o@A@@2 Q@@@@#_35#@#_362M접 BA@A#_37'`o@B@*-@#_38X@$boolD@@@@u@2Coq.Bool.Bool#<>#6 @2 Q@@A@#_39@=\@A@@@@Y@#_402M접 #_41'`o@BXZ@fi@2 Q@@@@#_42(@#_432M접 BA@A#_44'`o@B~@@2 Q@@A@#_45@@A@@@@@#_462M접 #_47'`o@E.function_scope@@@A@@2 Q@@A@#_48@ @A@@@@@#_492M접 #_50'`o@A@@2 Q@@A@#_51*@ا@A@@@@@#_522M접 #_53'`o@C@@:@2 Q@@A@#_54W@?s@A@@@@-@#_552M접 #_56'`o@B,.@:=@2 Q@@A@#_57@ cT@A@@@@V@#_582M접 #_59'`o@BUW@cf@2 Q@@@@#_60@ Us)~@#_612M접 CA@A#_62'`o@C|~@@#_63&Ű@A*bool_scope2 Q@@A@#_64@u@A@@@@@#_652M접 #_66'`o@B@@2 Q@@A@#_67@4@A@@@@@#_682M접 #_69'`o@Bڠ@蠐@2 Q@@A@#_70.@(f@A@@@@@#_712M접 #_72'`o@A@@2 Q@@A@#_73R@+Q@A@@@@(@#_742M접 #_75'`o@A'@3@)negb_elim9D{(@@EB*negb_intro9D{(@@+ 2 Q@@A@#_76@v@A@@@@_@#_772M접 #_78'`o@C^`@@mp@2 Q@@A@#_79@%g3@A@@@@@#_802M접 #_81'`o@A@@"2 Q@@A@#_82@-@A@@@@@#_832M접 #_84'`o@A@@'2 Q@@A@#_85@2 @A@@@@@#_862M접 #_87'`o@A@@,2 Q@@A@#_88"@7<)>@A@@@@@#_892M접 #_90'`o@D*type_scope@@@@ @@@2 Q@@A@#_91O@'@A@@@@%@#_922M접 #_93'`o@A$@@ 2 Q@@A@#_94s@ ӥ2@A@@@@I@#_952M접 #_96'`o@AH@@ 2 Q@@A@#_97@@A@@@@m@#_982M접 #_99'`o@Bln@!$@2 Q@@A@$_100@+(@A@@@@@$_1012M접 $_102'`o@B@JM@2 Q@@A@$_103@(7@A@@@@@$_1042M접 AA@A$_105'`o@C@@̠Ϡ@2 Q@@A@$_106@/p@A@@@@@$_1072M접 $_108'`o@Cꠐ@@%@2 Q@@A@$_109B@ @A@@@@@$_1102M접 $_111'`o@C@@&)@$_112X@$bool]@A@@'META164'META165P@AK@@٠@쩛갛驛簛@2Coq.Bool.Bool#<>#7 @2 Q@@A@$_113@#䪮@A@@@@@$_1142M접 $_115'`o@D@@@ˠ@$_116X@$bool@B@c@'META170'META171@BO@@U<;:9@8B7@5D533'%2l&@2Coq.Bool.Bool#<>#8 @/2 Q@@A@$_1174@:=@A@@@@ @$_1182M접 $_119'`o@C  @@D@*2 Q@@A@$_120a@5/o5@A@@@@7@$_1212M접 $_122'`o@A6@@72 Q@@A@$_123@B-M@A@@@@[@$_1242M접 $_125'`o@AZ@f@$_126X@$bool@@@!@̠'META178@A@AD@@>@2Coq.Bool.Bool#<>#9 @|2 Q@@A@$_127@-M@A@@@@@$_1282M접 $_129'`o@A@@*orb_b_true9D{(@@?*orb_true_b9D{(@@(2 Q@@A@$_130@4@A@@@@@$_1312M접 $_132'`o@A@@$_133X@$bool-@@@@b'META180@BA@@ޛݩܰѩܠHIk@3Coq.Bool.Bool#<>#104$@֠2 Q@@A@$_134y@.@A@@@@O@$_1352M접 $_136'`o@AN@Z@$_137X@$bool@@@@x@B'META182A@@! /@3Coq.Bool.Bool#<>#114%@+orb_b_false9D{(@@x_+orb_false_b9D{(@@!f'2 Q@@A@$_138@2,FW@A@@@@@$_1392M접 $_140'`o@A@@$_141X@$bool@@@@,'META184;@AF@@wwvuusq=@3Coq.Bool.Bool#<>#124&@)orb_neg_b9D{(@@Ӡu2 Q@@A@$_142R@/o$&@A@@@@ (@$_1432M접 $_144'`o@B ' )@58@|2 Q@@A@$_145{@3@A@@@@ Q@$_1462M접 $_147'`o@C P R T@`cf@$_148X@$bool@@@!@̠'META186'META187נ y@@ BNQ $@3Coq.Bool.Bool#<>#134'@@@]@'META188'META189'META190 @@ b! ( 1 w1@3Coq.Bool.Bool#<>#144(@2 Q@@A@$_149?@ 5@A@@@@ @$_1502M접 $_151'`o@B  @"%@2 Q@@A@$_152h@ 0#@A@@@@ >@$_1532M접 $_154'`o@B = ?@KN@2 Q@@A@$_155@ 7@A@@@@ g@$_1562M접 CB@A$_157'`o@C e g@@tw@H2 Q@@A@$_158@SQ@A@@@@ @$_1592M접 $_160'`o@C  @@@O2 Q@@A@$_161@ZQ@A@@@@ @$_1622M접 $_163'`o@C  @@ΠѠ@V2 Q@@A@$_164 @aA@A@@@@ @$_1652M접 $_166'`o@A @@]2 Q@@A@$_167 ;@hA@A@@@@ @$_1682M접 $_169'`o@A @ @,andb_b_false9D{(@@E頠,andb_false_b9D{(@@*v2 Q@@A@$_170 q@#@A@@@@ G@$_1712M접 $_172'`o@A F@@2 Q@@A@$_173 @2=@A@@@@ k@$_1742M접 $_175'`o@A j@ v@2 Q@@A@$_176 @2=@A@@@@ @$_1772M접 $_178'`o@A @ @+andb_b_true9D{(@@Eg+andb_true_b9D{(@@*p2 Q@@A@$_179 @*R@A@@@@ @$_1802M접 AA@A$_181'`o@C à Š@@ Ҡ ՠ@$_182X@$bool @A@ @ @'META196 @B %@!,@'META197!4@BZ@@ ߛ޶@ݰݠ !8کؠװbשհ!Y ڜ  !h@3Coq.Bool.Bool#<>#154)@2 Q@@A@$_183!v@1?@A@@@@ L@$_1842M접 $_185'`o@A K@!W@$_186X@$bool @@@@'META202̐!@BF@@     !! !@3Coq.Bool.Bool#<>#164*@*andb_neg_b9D{(@@d 2 Q@@A@$_187!@#o@A@@@@ @$_1882M접 $_189'`o@B  @!Ơ!@2 Q@@A@$_190" @4@A@@@@ @$_1912M접 $_192'`o@C ᠐ 㠐 @!񠐒!!@$_193X@$bool!(@@@@T'META204'META205_ y@@ .!"J"M! "o@3Coq.Bool.Bool#<>#174+!d@@@@'META206'META207'META208@@ 󠐰{"/""5" "@3Coq.Bool.Bool#<>#184,@2 Q@@A@$_194"@g^@A@@@@ @$_1952M접 $_196'`o@C   @"""@2 Q@@A@$_197"@g^|@A@@@@ @$_1982M접 $_199'`o@C Ӡ ՠ @"㠐"栐"@2 Q@@A@$_200#,@;@A@@@@@$_2012M접 $_202'`o@C@###@2 Q@@A@$_203#Z@;@A@@@@0@$_2042M접 $_205'`o@C/13@#?#B#E@)demorgan19D{(@@ )demorgan29D{(@@ )demorgan39D{(@@k $)demorgan49D{(@@F -2 Q@@A@$_206#@ 0@A@@@@@$_2072M접 $_208'`o@B@##@2 Q@@A@$_209#@<=@A@@@@@$_2102M접 $_211'`o@B@##@.absoption_andb9D{(@@O -absoption_orb9D{(@@/ ͠2 Q@@A@$_212$@=ݒ\@A@@@@@$_2132M접 $_214'`o@A@#@Ѡ2 Q@@A@$_215$4@=ݒV@A@@@@ @$_2162M접 $_217'`o@A @$@*xorb_false9D{(@@E ⠠*false_xorb9D{(@@* 렠2 Q@@A@$_218$j@0S@A@@@@@@$_2192M접 $_220'`o@A?@$K@2 Q@@A@$_221$@0M@A@@@@d@$_2222M접 $_223'`o@Ac@$o@)xorb_true9D{(@@E <)true_xorb9D{(@@* E2 Q@@A@$_224$@`@A@@@@@$_2252M접 $_226'`o@A@$@2 Q@@A@$_227$@3W۞@A@@@@@$_2282M접 $_229'`o@B@$ˠ$@2 Q@@A@$_230%@#!\%@A@@@@@$_2312M접 $_232'`o@C栐蠐@$$$@*xorb_assoc9D{(@@+ ɠ2 Q@@A@$_233%H@)(]b@A@@@@@$_2342M접 $_235'`o@C@@%,%/$X@'2 Q@@A@$_236%u@2׼@A@@@@K@$_2372M접 $_238'`o@DJLN@@%[%^%a$@/2 Q@@A@$_239%@:׼@A@@@@}@$_2402M접 $_241'`o@D|~@@%%%$@72 Q@@A@$_242%@Bu@A@@@@@$_2432M접 $_244'`o@D@@%% %Š$@?2 Q@@A@$_245& @Jv@A@@@@@$_2462M접 $_247'`o@Dࠐ⠐@@%񠐒%%% @G2 Q@@A@$_248&=@R ~G@A@@@@@$_2492M접 $_250'`o@B@#Ǡ#@F2 Q@@A@$_251&f@Q ~M@A@@@@<@$_2522M접 $_253'`o@B;=@#𠐒#@J2 Q@@A@$_254&@U+@A@@@@e@$_2552M접 $_256'`o@Bdf@$$@N2 Q@@A@$_257&@Y |@A@@@@@$_2582M접 $_259'`o@B@il@H2 Q@@A@$_260&@S4@A@@@@@$_2612M접 $_262'`o@C@@db%@&bool_19D{(@@* Q2 Q@@A@$_263'@\@A@@@@@$_2642M접 $_265'`o@B@@&&@&bool_39D{(@@% ɠ\2 Q@@A@$_266'H@g.@A@@@@@$_2672M접 $_268'`o@B@@'*&B@&bool_69D{(@@% $_269X@$bool&g@A@$@#'META214'W@A'@@ޠ+@'#ȩ''@3Coq.Bool.Bool#<>#194-@2 Q@@A@$_270'@~:@A@@@@@$_2712M접 $_272'`o@C@@''&<@2 Q@@A@$_273'@!@A@@@@@$_2742M접 $_275'`o@B@@Ԡ&d@$_276X@Ē&@A@'@'META218'@A=@@n@'v(0@3Coq.Bool.Bool#<>#2047@2 Q@@A@$_277(>@=j@@A@@@@@$_2782M접 $_279'`o@E@@@(%(((+'T'W@$_280X@+'a@C@(D@'META222'META224I@@ӠMLKJIG@FU%( @DV%(D^%%(@3Coq.Bool.Bool#<>#2148@$_281X@$bool?D@@@@E(@3Coq.Bool.Bool#<>#2249@V2 Q@@A@$_282(@aA|@A@@@@@$_2832M접 $_284'`o@B@@(o@a2 Q@@A@$_285(@l@@A@@@@@$_2862M접 $_287'`o@B@@(ˠ'@n2 Q@@A@$_288)@y>7@A@@@@@$_2892M접 $_290'`o@B@@(󠐒(@0Is_true_eq_true29D{(@@%à$_291X@$boolA@ؐ'META232@@@)8()]@3Coq.Bool.Bool#<>#234:A@'META234@@@)[()@3Coq.Bool.Bool#<>#244;@Π2 Q@@A@$_292)@ɤ@A@@@@e@$_2932M접 $_294'`o@Ad@)p@ڠ2 Q@@A@$_295)@b?@A@@@@@$_2962M접 $_297'`o@C@@))f@2 Q@@A@$_298)@ѪY@A@@@@@$_2992M접 $_300'`o@C@@)Ġ)Ǡ@)orb_prop29D{(@@*2 Q@@A@$_301*@ @A@@@@@$_3022M접 $_303'`o@C렐@@))$@2 Q@@A@$_304*C@ 2@A@@@@@$_3052M접 $_306'`o@C@@*'**$@$_307X@$boolA@&'META240'META241A@@РBA@?@>=*;*u98'**@3Coq.Bool.Bool#<>#254<@0andb_true_intro29D{(@@*<@@*=@@ @@"H2@@6*O*N)$@$Жw@AA!AA@@B!BA@@/!@@ak2 Q@@A@$_308*@v @A@@@@@$_3092M접 $_310'`o@C@@*Ġ*Ǡ@$_311X@$bool%2@A@'META246'META247G@@s@*+(=*+@@3Coq.Bool.Bool#<>#264=@*andb_prop29D{(@@$֠2 Q@@A@$_312+U@3(@A@@@@+@$_3132M접 $_314'`o@C*,@@+9+<)x@à2 Q@@A@$_315+@#/@A@@@@X@$_3162M접 $_317'`o@CWY@@+f+i*@̠2 Q@@A@$_318+@*|w@A@@@@@$_3192M접 $_320'`o@B@@)8]@֠2 Q@@A@$_321+@1<O@A@@@@@$_3222M접 $_323'`o@B@@+*@2 Q@@A@$_324+@*cc,@A@@@@@$_3252M접 $_326'`o@BԠ@@)*@2 Q@@A@$_327,'@4Ȍ@A@@@@@$_3282M접 $_329'`o@B@@, @2 Q@@A@$_330,O@'+@A@@@@%@$_3312M접 $_332'`o@E-@@(*@@@@,:,=@Ҡ2 Q@@A@$_333,@ P@A@@@@V@$_3342M접 $_335'`o@D^@@Y@@@@,i@$_336@hhAh@@h@BhA@'_ &&& _@h @B)#&&&,@@@@@AA@$ &&&@A@@B@@@@@$_337%c?@/lazy_bool_scope)@@@,ޠ@@@@ˑ)à@@,䐓,B@@@>,@'a &&& b$_338@rrAr@@r@BrA@'_ ||| _@r @W)#|||-@@@V@AA@A@@$||| @B@@@@@$_339%c?@/lazy_bool_scope*@@@-3@@@@ˑ*@@-A-<@@@<-P@'a ||| bi2 Q@@A@$_341-X@t3 @A@@@@.@$_3422M접 $_343'`o@B-/@-;->@h2 Q@@A@$_344-@s+$@A@@@@W@$_3452M접 $_346'`o@BVX@-d-g@gN$@@B@l*@]]@@@@$_347.@A B@$_348'`o@@B@@-@$_349'`o@%@AB@@@@@$_350'`o@3@BB@@@-Y@{2 Q@@G@$_351-@+Rr|u@$_3522M접 FF@A$_353'`o@FҠ$&(Ѡ@@@AAA.b@$_354? 3V/_rect_from_typej3?2 Q@@>@$_355.3@I:@$_3562M접 FF@A$_357'`o@Face@@@AAA.K@$_358? 3V._ind_from_type3B2 Q@@{@$_359.p@L:E@$_3602M접 FF@A$_361'`o@FLK@@@AAA.@$_362? 3V._rec_from_type3$_363X@$bool@A@'META252.@A@@ aA.@.f@.@.1.@3Coq.Bool.Bool#<>#274>@A@'META254.@BB@@3B.ζ@.a.Щ@.j.@>.@3Coq.Bool.Bool#<>#284?@2 Q@@A@$_364/@:@A@@@@@$_3652M접 $_366'`o@C䠐ݠ@@@/@2 Q@@A@$_367/2@ s1@A@@@@@$_3682M접 CB@A$_369'`o@C@@@x-S@F2 Q@@A@$_370/]@Q:@A@@@@3@$_3712M접 CC@A$_372'`o@C:3@@@/j@@@j 2cZ`FW@K)Ph0@O\L92Y@@#1w 8}2T:=:!H%Logic$Init#Coq@@"eq @)Datatypes@$boolZ'@ A BȐ"H0 @&eq_ind J!e@@@@@@@@D!b%AA7@$Truey@=@%Falsee@ A, F@)False_induُCM@#notШU[YL@C=;OC6P4/*#)I+#C 4WigZ3QKj]BRC>as S4Cwuh__YxȐ"H1[>5C>$_~qeeaui&@lF=CFOVy;$a\%#CvwA&0g_aXkCA C' v[w~GGg CAi;>!~wg$Cg$@#iffС)C!@#andЖw@A@Gض@HIF۵h$Bool@/diff_false_true .@&eq_sym XCC_C+a%@x@yU{aCCC8׷?]Р:@@w3*CCCPJ@d¶@efc ŵCCClC^n̐"b1"b2 jS@#lebY8++@%implbM ( 4~/G:2ޠ~@RC!<<TG?@#@$_%Ƿ`C/GJbU*M:5X85Pk^3V@v>CE`]xk@c$CMeesHk!P@zUb{`|@#eqbP|vD&niEkG1z!jHI,hC  ©4b#NFC _Ω̰@:Ķ֩԰ǩHm'%9ݩ۰ΩOgƷ#g_ C2ةYiз%C Ȑ·c_C=`C!aqӷuog  }d`{[CUCz !K#FC#&?.e,/"%oʠCsŵCv} 0zmՠu@F@GJﵩ`<03CKNL:CCtO@ն@߷WXCsڐbL*M1,O`S4G5.:5Xi\PCqdX⵩~Cxk_OJm~qe@7@8 y:Cà}q>@ٶ@uCݷwXCѠ㐑ussn@$negb@#orbx@$andb= z  W"CŰ% w  *CͰ-(q#2ȩװʩ72r-' r=Cө@;n6%RC۩HCn>ȷUJéQFŠѷ^SZCcCf[bAwC mbi@ujq>C}ry=C$y< /"|C5(w!C:-j#24C6CG:1CJ=1@"b'CUSF4,'J\ZM&ȩ^Q dbUL:5Xjh[Rj]֠pnaX;Ctre\Cuh\۷zxk_ĩPKn~qeɩs젷CymSC퐑Z}a\@\\=CFCKnupppC C!*C0C5!ASM@@·!xh!yeʩٰ;@@@@AѐF*pvxrrPCSK)gVXCZmɷ1COĠC7hC:/۷C U֠@CKRGCR~ Z!z #@"or @+!k2%uʠj@Ʃȶ@ɷAʩAG D@&or_ind"׷.COB9@2@[䩜7Bȷa C ,CdWN;6Yj]TI@P@y8 |5#0FC~qh @+a--@./I11TF444o5XXCɠzmkkfӠ̀0lxsࠩ ?@@@'and_ind14ۀFC°@ȩ,Lʶ@˷̩P+SѷTC ԰ɩڰ@3`r@Gg@kF3ntpC)%@xZzz@{|,~~YYF^C<  c@BBB@@@@D@}@m@p!zC @'K@,orb_true_iff@@@3&˶)*ϐ/0B!"343@,@,@!:;,%>#?Q1橚O@(eq_ind_r!2#H<0IXK&A OC4P_RH-H->W<Xjh[^OLD]B^]@Ӡ@ ֠ @٠ ̩wjV^@ޠ|ocީ@-orb_false_iff+(@@@{Uoc|a}S]d_^^CGChojjfC:o rytrrC,{}P{{&C*Cɰ""[а)h@CְCCٰ Ωݰ~sKCACڷ۷"b3·H]JJ˷Qf=SUշ[=]ItC cEeG{CjLlF  rLtDC!z T|CC([B!0#Y8ʠ *9,Y$͠CA4-a~,CH;1h}3#APCh{;䠵CXKDpzCC_RHwyJ@Y>Z>9\m`vWF:FAduhu_C @B@    g QC |s@6:@89;^>">y?$-cCԠrmڠ78@P 6@RS9Ux<XX=9Z}}C@b7@degg jjjkCư  а4ǩذ1o@0@C$  @s)@uvxS{{|WXC6Է<):@(@mCN J@%@ ߰}#**C^%  . @@4'Ŷ@ĩ:-\"@>1 &c@.andb_false_iff0#Ð@@ #<!=ܩ䐑+D)EW7) ! *M1,O[(CKC<2U5X<7Zi\z66C?bFAdsfs?? CzHkmFMpTOrtiNCynC}rhffa`lg0CCxsF<C C $ |-Zɰé];CѰĩ$˩&5Cذ˩+ҩ-ѩө3ө5tEC۩;۩=ֵLCBDʷJeL8ӷSUeC[]lCbd jl|Cr t C&y{ !F"$3&Ds ,;.C{ՠ5D7BGGנCK>AFFCQD@EE+&IXK?D[렵C_R>CZCeX=BY?:]l_<ƠHCfuh<ϠxaC|o;֠w`Cu:ܠv_\Wz|9uuC8ttC7ssvtupq}xoC E#C n'CİW5C˰%.CѰĩ$ǩְɩ)0joϩްѩ18qBCة8UFCܩ<C÷CJTCJQԵZCPgڷ `Q[֠   hPckm   qOl^^C  xNs[[C % ~MyYY  , LVrC 3 &KToC 9 ,JRm   1 @ 3IGwڠ   : I <IsܠC P CHqC V IGo 0 + N ] PFC d WEC j ]DJ cH d e I D g v iʠ} E Q L o ~ qҠo  Y T w  yڠ C  nC   k f    + C  ӵ C   } x   j C       E #C  U C      İ  W (C ˰ $ .C Ѱ ĩ*g ȷ    ˩ ڰ ͩ- l5 l    ҩ  ԩ4 &  y QC   ѵ GC      ߩ  A    ^C  x ޵ TC  a ސ   ҷ    X    ͠ ٷ    _    vC    lC        l    C    yC         #  @$xorbȀ   C -    C 1 $   (   * 9 ,   C > 1 )  5  7  <   > M @*^ 5  C R E/  :% & I  J . ) L [ N8 '9 ) 5 0 S b U? @  C h [ C k ^-> B = ` o bL6  C s fF5 C v iEE I l, m#b'' p T O r  t^`P Pa+ R ^ Y |  ~hj xk. & h c   r5 t eG ) C  zM | O C  h  V  z     |r @ C    z %C        ð 8  3 ]    ̰ l   ` 1C ԰ ǩ   EC ۰ Ω ĩ    ԩ  ֩ ̩   w UC  ީȠ ԩʠ  OC  Ϡ ۩Ѡ Ő       |  ַ     w               ` {  ^        ZC  |         "      & $   C ' * C        1 / " Q    & 8 6 )    : - ^  Ҡ B @ 3 *   6 H F 9#j  2 J = '  6  R P C-  < < * % H Z X K B Z M D7  F~ b ` S J AC c V M h( 1C g Z Q) ͷ l j ]G  S V D ? b t r eO \ t g [ zK C y l `' ~ | oK f IC  r fA     u i Z U x   {B o  } g  s    @ w h c     s .  J C   p  kC   p    :  | w     ̠ C     }C        i =         W # W      ɰ  )  a 7    ö { Ӱ  iw _ ; n   ̶ j ܰ  r  CD f C4 G G b   ض `   HŠ   V ^ ķ        aC Cz ] V з   ީ     bQ f f f                p   t4            >       & $  ҩ    , *  ة , c N 2͵Cѷ 4  5 3 &    ) ; 9 ,  ; .S %] Aص C Cµ C   E C 6 *   9 K I <k& K >- 2  Q O B " ' " E W U H !( W J >y ]  ^ ;C9  ` ^ Q - 6 1 T f d W 03 f Y~ M lɵ 5CW n 7C<   ѐ > a ! b c uk I D g yi w j=   }e Q L o c  r5  렷 _ Y T w ]  z- q[ N  Y b ]  W  6 w -C  tC   T m h  R   1  P u p  N    Š   rC{ h  L  {  J   Р  }CH         i     j   q     ð  #b    4  " 7        ũ ԰ ǩ 4    E Ω  ǩ I ҩ 2     ض  ٩  /Š  5    ÷    -͠  =  _  9 b ՠ  (   ҷ    +ܠ  L ͠ n   F r  G           ^ ߠ        [ f 砩  ̩        %  U r       "  #   % o  q     + u թ w  Ѡ q@ ͩ } @ Ϸ G Щ w   J   շ ,    O P  ٩   ک S  3    C   @   @  ]  @  @   A   c   E  h i     k        5C   B = `  Ʃ    @ w  @ y | z  ^  C %  #$  c$ & 7 +  - h9   { o r C   TC Š  @   @     # #    & &  z '  (  dC ՠ    x  v @ @   < r @    ; A@    > @.eq_iff_eq_true | 2@@           q ɩ      Y  3  ʩ z ɵ  7  C s 0    G   Ķ  K ԰    j  GC C  y EC  ?  Ϸ  з   7   ַ    7  @(eq_trans!y퀐 ␑ "   @'Is_true%i _ ѷ    N   M M ? GC  i 6      :  C   א >  ݩ   E   $ * 堵 C( e C+ ; S Q)2   /8 , * à3< ( '9B   = >G |: AJ (5GP q  KT n CLO-    WABT] H*%HZc\ 7g i = cl  X:5Xjs  F j ՠox  099-C Nrrv  :@4C Uwy ޷}  dTOr  `'   JSMGC h I oVV^C q   h x?sn ~ G  <<  ~  Y GuCLBwCG ĩ ϐ . 1>CC7 CA33 ÷ ķ֩ 89ɶ۩ =8吩 -6q C5Զ H3 8 R NyC  Rv 9zC [ \<Ϸ a;  Qh k gx NɷзC   ow VѷC uu ! 'Y #, t *3 (  .@_CE2:cCE6?   +=F $  A6r  C?E3vC;!:;M"@R L堷U*%HZ à]_嵩 ж@$*@+% Ehi#/)k+2#6CзoD?bt  ݠw굩 y[~9E/?Aa2H9LC萑_x]y_Z} Y5$ ghc/-$@eefZCCFEcZDnCG {v&pgz{C<4@xxC3 qcUũ CyC{ʷΩ CC7Ƿ٩Ͷ sIIC"CK۷3÷2,C]ӷ &8C CCl C6p-@@ܷ"a'   ; @{ $ B D $ F K  % L C+ R O $ C1 X U #  '6 X ]  ^ϠC= d a  εCA h e  Ґ 7/qi@@U<A% CR y v   z w ! mCY  r  { (C^  w  kU3VϠX 7ZZs];^נ`  ?Bew@'reflectc@AAAAA@@@@@@DTw!rŠV!p@@!*!nK@D@E bHFd[ZFl{U\vTܚm{