"`8)Eqdep_dec%Logic#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@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̂"&/rk0JqTttֱ*EqdepFacts%Logic#Coq@0FI$ͼՋ`rKRTQ{ClA:Р)Eqdep_dec%Logic#Coq@A,trans_sym_eq @@@!Aك_A@@@!xA!yB!u,$Init@"eq @C DE"y'F#eq1G$#eq2#H*%@&eq_ind JI!a1J<#<#8)99==6A)>@@@OA1DH:@A@@AA@@A@.nu_left_inv_on @@rAb`WU&eq_decWUQ@"or @YX@#notШ`gUdbSXldfSWlpU!vmVZw{RxM\FYtCjzVwKi~TLhO~Mppiiebh5BAAAA@@@@@D?go;ekz$eqxy %neqxy @)False_induُuC)a]"! ŷɐ@@@@4eq_proofs_unicity_on @@Bն~ö"p1p"p2oհװ@@@@(K_dec_on @@ C!P@A@綐!p@@@@1inj_right_pair_on @@+D!@@@"ex @ A # )! )@@@:A1@D%@@?A1FdJ*@ABC@@1eq_proofs_unicity @@_EOوFN@@MALB%Logic$Init#Coq@@ @@"eq @CBA@#notШCBAzByC!DBA*ECB1FDCBA@@و@Y@A@A@[A@]A1DHNML@@AB@@_%K_dec @@FيH@@bABoeCBAapCBAؐB@}CAA@A%Logic$Init#Coq@@ @ADB@@ي@P@A@A@RA@TAf@AB@@.inj_right_pair @@/GٌJ@@öABЀƀCBA€рCBA9BK@C[A@AB@@-+Streicher_K @@Q‶@& AA@AAB8@@@iA@kA@AB@@Z*inj_pairT2 @@R@ٖ T@@BC@f&Specif$Init#Coq@@$sigT#6@*D@A1DCB A9DCA@@ٖ @?@A@A@t~LAU@AA8ؠH`_^@@AoCG@ABA`@A8噠G @1B@BX@ABCD@@ *inj_pairP2 @@1S$@x5| B !qC"@ɀ@DA!DCBA)DCA〰;1A@@@A4@A@A@ABC@@@@@ٔ@ٕB@ٖ a@ABCCA@a@A^@@A@C@ABCDB@^@@AB@C@@AD]@^@AI@BZ@Y@@ABCEF@,DecidableSet@> @@@@@@@,  @@}@Qk6| %@@@@@B@@@@+@1DecidableEqDepSetAA*@+C @# @qʀ@vʀZ@~ʀM!@ʀ@.@@n@T)Z@!N1c55 @@@i r@A@ov@A@@MܚAt@ʀ@ :@5߰թᰩ詚@'eq_rect=߀@@ٔ@M@A@A@A@AA1E%I@A@A@BY@ABCD@@* @;8@+N@6(@:u@*EqdepFacts%@&eq_dep2|@J "@@ٕ@>@A@A@`璠xA*HB@AA@A) A@AAVn@[WsB@BT@ABCD@@" @ur@eOIoFpqAsGKqDv:JFHz9>NR@@@!@V@@ABC@@  @@PcfZdd\^ddh+f@@@9@n@AB@@& @@Qz@@|~@@@KA@@AB@@; @@R@@@K@#6@A@@ٖ @@A@A@t~LAi@AA8ؠH`@}AoCG@AB@A8噠Gh@@B @ABCD@@u @@Sض@Զ@Ű3/.@@@A@A@@ABC@@@@@@z@H @@T皠!@ʀ@ٗKU@@ABCCCDB*DCBDA@@ٗK@'@A@A@Aw@A@B-@ABC@@ՠD @@CU6@C٘V5@@4M6BA8CB@`DCBCA퀰38=M@@٘@)@A@A@A@AA@Bk@B1@ABC@@B @@Vgg BACBDCBA@@@B^@A@@B= @@W9AA? BAAB@@@@@e8 @@XҀʶ@] AA߶@AABЩoӐ@@@@@ː @@Y@䚠꩐BA˩CB@@DA"DCBA*DCA @@@@@̠)inj_pair2 @@ ;Z.@;ٙɠW -@@,E .BA 0CB@ڀt@"DjA(DCBrA0DCA􀰩 : ? D T@@ٙ@8@A@A@jA@AkAh@By@oB@@ABC@@ @@@ٗKP@٘@ٙ @ABC@@A @V@AT@BCD@@@AB@V@ACE@0inj_pair2_eq_dec @@ [ ٚX @@@ A B0CBA,;CBA@ ٛGY @@       @V@  A    A    ǩi    ɐ@@ٚ@Q@A@ٛG@-@A@AB@cA@AA6@A@AB[AY@^A@A_A@aA?@cA@B?@ABCDE@@ -UIP_refl_unit @  氛)Datatypes @$unitUe@ A B@@@@@D !e  @@@@@D!b#@    ( *  ۠*!   ޠ/@ 3Ā8AAA)Datatypes$Init#Coq@@AUe@ @A p+k= R 'G''+k() = R'+'$'G LL77"7&'+k+ L77"T'6'РJ@@A@p[D점F@@@C bd PL@@@@@ -UIP_refl_bool @Uv@$boolZ'@ o e  o o @@@@@@@@Df z  p r x x | ? z z  xA ! $ |'@      U.@ 12B @$Truey@   d#  @ B E <H@  @ M1    yR!   | @@$boolZ'@ Ʃ g AA m BAAB 0+k() = R'+ '+i'$'= R 'G''+k() = R''+ '+'$'G LL77"7&'6'+k+ L77"T'6'= R 'G''+k() = R''+ '+ '$'6'G MM77"7&'+k+ M77"T'6'+k+ 77"T'G 77"7&'ࠐA@<x z@@A@@C,L  $4(^@@@@@ ,UIP_refl_nat @!n@#nat@      @'nat_indJз          " A) % # # *$@@A@A@@@@D.,@  @ 0 8 . 8 364@ 479B A A B % A?#IHn1 L BE  K G@'f_equal=PP#Nat N@$pred `<! M ` X Z] P P '_ R 8 `c Q Qee. W ii f hk4 W `$oo7 Y Y v{ wru ru  |R"n'z@ z}F _   @ L _i    Q  U hI EXACOKF Q    a 66ReN:VQ<< k>C.@4 B@ F4  Dx  0n j}f4%ni6t       @@#nat@ ͩ n AA t BA AB +k() + + +v7#'()997777 L= R3'G'+  9 9777777"7# '+k() = R`'>+ '+K'$',99777797 97 +777 9977"7&'9'6'+k+ 977"T'6' +7779977"7&'9'= R 'G''+k() = R)'>+ '+ '$'6'G LL77"7&'+k+ L77"T'6'+ 77"T'G 77"7&',A@@KސXd0| 젒 ͐HtD\( Dtl 0|LpdXLn⠠@@AA@D0@@@@@ @@@ك_@ #@A@Aو }@Bي @ٌ @Aٍ K@BCَ@ُS@AِO@BّM@ْ@AٓO@BCDٔS@ٕ@Aٖ 4@BٗK@٘@Aٙ@ٚX@ٛGW@ABC ӳ2@ ӳ2[)Datatypes$Init#Coq@@A@ Գq@ Գq\ @A@ADEF@f@A@B@g@AC@h@g@AB @ @ACD @ @A @ A@A ?@ @ABC @ @A x@ w@@ABC@@A@B~@t@ACDq@p@p@5@ABC4@3@B@ABDEFGAW@Y@A@@AB@@~@{@ABCI@ @A{@BDE\@ @]@AB@@A@BM@CDFGH@@@4A@?@0.i bYN Z'Decimal$Init#Coq@0C涳N*ua   @0FI$ͼՋ` ,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"-> 2 Q@@C@#_12 @  A@ 2 Q@@@@#_48@ 7꾤I@ĐB@A@D@A@@@@@@#_492M접#_50'`o@%Fy@|@@@@A@A@ @ ݠ2 Q@@@@#_51 @ 'B@B@A@G@A@A  @A@A@@@@#_522M접*,#_53'`o@2Gʠ@͠@@@@@A@A@@ @ 2 Q@@@@#_55^@ 81AA@@@@@\B@A@WD@A@@@@@@#_562M접 #_57'`o@&FX@@@@@A@A@@ 2 Q@@@@#_58@ 7][wE@B@A@D@A@@@@@@#_592M접#_60'`o@%FU@X@@@@A@A@a@ 2 Q@@@@#_61@  DBAA@@@@@吐B@A@␐F@A@@@@@@#_622M접 #_63'`o@&F᠐@@@@@A@A@@ }2 Q@@@@#_64,@ ( E@)B@A@3G@A,@A/ @A0@A@@@@#_652M접*,#_66'`o@2G2렐@@@@@@AA@@@ @ p2 Q@@@@#_67@ {1)@|B@A@wE@Ay@A@@@@@#_682M접!##_69'`o@)F|5@@@@@@A@@>A@ {8\@ y2 Q@@@@#_71 @ ]s@A@@@@@@@@#_722M접#_73'`o@@@@s2 Q@@A@#_74 @~(0! @#_752M접  #_76'`o@B@@@  @@ rHȠ @ `2 Q@@A@#_78 @ k4%@A@@@@M@#_792M접 #_80'`o@D@@@@ |A@@ G2 Q@@@@#_81 @ RPm-y@#_822M접  #_83'`o@E@@@@@A @@ @ 32 Q@@A@#_84 @ >?!a[@#_852M접  #_86'`o@D@@@@@ ՠ ؠ@ /2 Q@@A@#_87 #@ : @#_882M접  #_89'`o@B@@@ B@ -2 Q@@A@#_90 I@ 8 }@#_912M접  #_92'`o@D@g@@@ *A@n@ ,2 Q@@A@#_93 u@ 74ʫ۠'@#_942M접  #_95'`o@E@@@@@A Y@@@ 2 Q@@A@#_96 @ 4_@A@@@@V@#_972M접 #_98'`o@E@@@@@A @@@@ Ǡ8\@2 Q@@@@#_99 @k@A@@@@@$_1002M접 $_101'`o@@@@2 Q@@A@$_102 @?,a@$_1032M접  $_104'`o@B@@@  @@ rHȠ @ rHȠ@ @   $@A@ &@A 2 Q@@A@$_106 @ =@A@@@@@$_1072M접 $_108'`o@D@L@@@ ȠA@S@ ڠ2 Q@@@@$_109 0@ &- @$_1102M접  $_111'`o@Ew@@@@@A @@'@ Ơ2 Q@@A@$_112 ^@ %I[[:@$_1132M접  $_114'`o@D@@@@@ ! $@  2 Q@@A@$_115 @ /J?h@$_1162M접  $_117'`o@B@@@ M@ 2 Q@@A@$_118 @ 00"@$_1192M접  $_120'`o@D@@@@ vA@@ W2 Q@@A@$_121 @ bzYY۠@$_1222M접  $_123'`o@E%@@@@@A @@/@ {2 Q@@A@$_124 @ 5'1 @$_1252M접  $_126'`o@ES@@@@@A Ӡ@@]@9D{(@@*@@ R2 Q@@A@$_127@ ]@A@@@@@$_1282M접 $_129'`o@GӠ@@@@@@AA@@@@ 2 Q@@A@$_130 @ @A@@@@T@$_1312M접 AA@A$_132'`o@A@@@ 2 Q@@A@$_133B@ [@A@@@@v@$_1342M접 BA@A$_135'`o@B*bool_scope@@ @ H2 Q@@A@$_136j@ S8@A@@@@@$_1372M접 BAAA$_138'`o@B)nat_scope@@ @@@u wWIϰ߼TȄ@MeQj,ʲT񄕦@\A1@ENɔKoU@`>RݱU ?g.S/ p!Aك_A)Eqdep_dec%Logic#Coq@@@Ȑ$comp!xA!yB"y'C#eq1$Init@"eq @D#eq2E@&eq_ind JF !aG--)0.-+*('%&,714.!u-#7;.B@@@@@DA%!e:"0H<> HH'0JJNNCA'OSJ:PP <Rqoca1a[&eq_deca[W@"or @2^@#notШ9Ȑ"nut^@k[qyBAAAA@@@@@Dx`n|^l$eqxy %neqxy @)False_induُf&Ȑ&nu_inv!v^Z~ fywHrIJ @,trans_sym_eqGKLx vt  }{#Heq#Ƞ$Hneq&Р@%Falsee@@@D!f (*+,*C"E*.,43 78p<;2<?"p18 F"p2=G,AG8I,!GIT?WS8 BS6)Q BI6K[cD"Z KRjOfjnn@.nu_left_inv_on+.CImuqKos~N~x  KHD!P@xZhhA!H!pffsH @4eq_proofs_unicity_on2Œv yHF64v soȐ$proj.@*#exP@"ex @#def BBB@@@@Déɐ"x'#prf;[ةs̰Lשpܩ(U%eqprf M䩚@&eq_sym X!nٶqCB@86Bv@Dr;tLOANPȐ"H0з Z5@_.0 @NE!Ԡ i 'Pm""-Vs,(NwVѠ*R55͐W٠2"ffՐ@7aηK栩?Ohh4Rr 5P9+9p;;Yk .[{> A9AS5;aO%@(K_dec_on-1W @`b%Fjg0V*KQ,+.\0Q_}}e>vs<[[f@^71iC@|mfoyuhqsy{u{وF@@=<57 يH@@RP˔ٌJ@@^!@1inj_right_pair_on$&AܔٍՠK@@oжͩ&Specif@'sumbool7̂K@;ط\@ҰZX␩X"@%K_dec7꾤Ƿ"x0ʷBAAAA@@@@@D!s+LNH A  "B /@Y@*K_dec_type81:َL8@@^*EqdepFacts?@7Streicher_K__eq_rect_eq-߀3wOِNM@@s@5eq_rect_eq__eq_dep_eq<勀E@.eq_rect_eq_dec DBŀfْPd@@,@.eq_dep_eq__UIPU-\@-eq_dep_eq_dec( @!M}@!U"?!q#%HJL@.inj_right_pair'BST"y0Wзɩ]ǩ\fcɩb^ ǰ Է֐Ap@oʀ@- 1DecidableEqDepSet@n= @m&l!@g%I[)!N@*inj_pairP2Zq7 @ _,ٚX*@@Pߠ!!Q@![Ws@@2!hݩ-15C@*Eq_rect_eq!}@tdCV/!p