"` v;IJ$NIso(Abstract'Natural'Numbers#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@)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ֱ)Decidable%Logic#Coq@0ND걸풬/Oߠ$Bool#Coq@0j 2cZ`FW&Basics'Program#Coq@0!bs߯? :VU$Init'Classes#Coq@0](p{yOh.'Tactics'Program#Coq@03u%+Equivalence'Classes#Coq@07;ꮹ-SetoidTactics'Classes#Coq@0S_`nOU$&Setoid'Setoids#Coq@0D9AsWE!>*Equalities*Structures#Coq@0όe얟)H.Ƞ2Relation_Operators)Relations#Coq@0%s鯰s4Operators_Properties)Relations#Coq@0U3y#h&)Relations#Coq@0r砠*NZMulOrder&NatInt'Numbers#Coq@0}\^ !"k}@R(NZParity&NatInt'Numbers#Coq@0H>ca'^^%NZPow&NatInt'Numbers#Coq@0)6*9 B:vȻ&NZSqrt&NatInt'Numbers#Coq@0` .%m%NZLog&NatInt'Numbers#Coq@0ꔉ .uV%NZDiv&NatInt'Numbers#Coq@0$ |J?d (w%NZGcd&NatInt'Numbers#Coq@0KgT7|&NZBits&NatInt'Numbers#Coq@0MlIpKt'NAxioms(Abstract'Natural'Numbers#Coq@0Zخb1Z3uuѠ,NZProperties&NatInt'Numbers#Coq@01D%E`|3x%NBase(Abstract'Natural'Numbers#Coq@0 Y?V vI{lɁg nzvР$NIso(Abstract'Natural'Numbers#Coq@ A,HomomorphismA@"N1@!t @J %'A*Equalities*Structures#Coq@@@@@ %'@ @A@A@@@AA@@A@"eq @^@)@%0@.@*0A@@@@@(eq_equiv @@/RelationClasses'Classes1@+Equivalence~@J@F0N@/0@@@FA݋X_A/RelationClasses'Classes#Coq@@A@@A$zero @Tf@!t0@@@@@AA@@A@$succ @r@y@0}@0@@@@@$pred @d@@&0@*0@@@@@)'succ_wd @@)Morphisms'Classes#Coq@@&ProperL@@F0@J0@*respectful%WO?@U0@Y0@"eq0@0@]0|@@@AviA4'Classes#Coq@@A@@n'pred_wd @@E@@0@09@0@0@40@80@}0U@@@A3@A@@)pred_succ @@!n@0@S0@0U"@0|A@@@@@,bi_induction @@!A@5@0A@@?@0 E@0I@0%Logic$Init@#iffС)0@B[@0O@Ra@0DCl@0|Jbq@ 0EQ@@@kA@A@@#one @T@0@@@@@#two @T@+0@@@@@*(one_succ @@@0@*0@:0|@Q0O@@@@@G(two_succ @@@0@90j@W0|@Q0@@@@@d"lt @h@@!t0@@0A@@@@@AA@@A@"le @h@@0@@0@@@@@%lt_wd @@i@ @0@@0٩^@0@@0䚠@Z0m#@0'@d0ޚ+@"lt0 @@@$A`@A@@Ǡ+lt_eq_cases @@-<@0!mC@0J@`0(@"or @X@-0 ]@0@@@@@)lt_irrefl @@\k@0#@#notШw@L0 UU@@@@@)lt_succ_r @@w@ 0J@%0C@g0 >@)0|v@0S@@@@@6#add @d@@F0@@K0@O0@@@@@N#sub @d@@^0@@c0@g0@<@@e#mul @d@@u0@@z0@~0@S@@|&add_wd @@S@@0@@0@0L@0@@0 @0@L0_@0@0@Z0!@^0%@0+@@@AY@A@@&sub_wd @@@7@0@<@0@@0F@0@K@0O@0S@0Y@0]@0a@0e@0i@0΀@@@aA@A@@&mul_wd @@۰@{@0@@0@0@$0@@)0@-0@0@70@;0@0@0@0b@@@A@A@@H'add_0_l @@@W0@0@&0+@p0O@@@@@f*add_succ_l @@̚@u0@z0@"0@I0+@0|ϩ@0|@[0+@@@@@'sub_0_r @@ @0@M0@\0΀@0O@@@@@*sub_succ_r @@)@0횠.@03@p09@0΀婚?@0|D@0UJ@0΀@@@@@㠠'mul_0_l @@IX@0]@0c@0bh@ 0OEl@0O@@@@@*mul_succ_l @@kz@0>@0@0@0b@!0|m@0+@0bQx@@@@@4#max @d@@!t0@@0@ 0@@@@@AA@@A@%max_l @@!x@0!y@$0@@"le0AB@"eq0@D0򀠐C@@@@@2%max_r @@/@J0-@O0@@+0)*@(0 @k0'4@@@@@W#min @d@@p0@@u0#@y0@@@@@o%min_l @@l1@0j6@0@<@h0=A@d0G@70cb@@@@@%min_r @@U@0Z@0@`@0e@0k@[0@@@@@&pred_0 @@y@"eq0@0U@(0O@,0O@@@@@AA@@A@)recursion @d!A?C'NAxioms(Abstract'Natural'Numbers#Coq@@@@A@@@!t0@CD@@ 0@@?@"@A@A@@@3,recursion_wd @@/@BD-@@#Aeq4Relation_Definitions)Relations2@(relation'Jj1)Morphisms'Classes>@&ProperL@B@@@>0@H@@˶@>@@0@@ʰ@@0@FG@0@ @A0Զ!n@0@9'4@a0|(@F'4*$.@@D>@F@A@A@IA@AJAD@LA@A@ABC@@Y@'NAxioms(Abstract'Natural'Numbers#Coq@-NAxiomsRecSig@@@@'4@@l'4d@@A@A0@@0J@@A@0@@0^@@A@AB0@@0h@@A@0 @ @<0 h@@A@A0+@@m0+d@@A@0@@s0d@@A@ABC0@@0d@@A@0b@@K0bd@@A@A0@@0T@@A@0@#@i0Πd@@A@AB0j@&@0jT@@A@0U@*@0Ud@@A@0|@.@0|r@@A@0O@2@0OT@@A@ABCDE@A"N2M@7 @@ @?1@@D1@@@/ @@O1 @81@ @@> @)@1@@@ @@3@17@1@@@ @@A@1E@1@@@ @谶@Q@"1U@&1[@,1_@01c@1g@1k@31~@@@9ː @ʩ@w@H1{@L1@R1@V1@1@1@F1t @@@_Ő @ĶÚ@l1@1@[1t @t1~@@@z @@@1@V@@1F@1ǚ@=1ݶ@@1n@@1Š@1~ @1@@@ @@1@@@ @@1@@@Ġ @@t1@1 @1~@1n@@@ݠ @@1@1l#@1~(@1@@@ @@2@1@7@1@@@ @@A@1@F@1@@@ @鰶@R@#1@W@(1Y]@.1@b@31df@1l@=1np@1^t@1 @@@B{ @z~@O1y@T1r@1wv@1 ~@ 1@p@@dn @mȚ@q1l@1 g@f@@ud @cٚ@1@1@1 @1~ة@1@b@@` @_@@1@@1@1@]@@[ @Z@@1@@1@1@X@@W @V@@1@@1@1@T@@ϠS @R@ @1@@1@1@1@!@1%@1)@1/@ 13@ 17@1;@1?@1-@Q@@ M @Lⰶ@K@ 1@P@ !1T@ %1Z@ +1@_@ 01c@ 41g@1m@ >1q@ B1u@1y@1}@1Ѐ@K@@ KG @F @@ Z1@@ _1@ c1 @ i1@@ n1@ r1@ 1 ,@ |1@ 1@ '1@ +1@!1d@E@@ A @@횠@ 1@ >1@e1-@ 1n@?@@ = @< @ 1ښ@ 1@ ]1@1-@ 1~; @ 1~@1-@:@@ Π8 @7 2 @ 1@ 1@1Ѐ *@ 1n .@6@@ 蠠4 @3 L$@ 1)@ 1.@ 14@1Ѐ :@ 1~ O?@ 1t E@1Ѐ2@2@@ 0 @/ wO@ 1T@ 1Z@1d_@ 91n sc@ =1n@.@@ 1, @+ m@ >1hr@ C1w@ 1}@1d@ K1~ @1-@1d{ @*@@ \( @'@@%1@@*1@.1@$@@" @@81@=1@@1@1@X1@@@B @=@X1;@]1@@91@51@x14A@ @@b  @ @@x1@@}1@1@@@u @p@1n@1@ @l1A@h1@;1gf@@@ @@1#@1@)@1.@14@[1@@@ @>@1D@ 1t I@ #1nM@ '1n@@@ @@@@Z@1߶@_@1@@@ ؐ @׶ֶΩ°@@@o@1@t@1Ŷ@@|@1@@1@@1 @@1@1@U1@#1욠@_1.@L(6@@@R @L:@@9189@`(6? H@ 1n@{@@kk @jei0.@@S1@c@+@@\1a@b1^@1]/[@k1p@(6v4p@ 1~Ov@(6Y@X@@@L>@@(6@@(6=@A@A1@@ 81<@A@1@@ 1;@A@AB1@ @ W1:@A@1 @@ u1 9@A@A1-@@ 1-8@A@1@@17@A@ABC1@@<16@A@1d@@ 1d5@A@A1@@ 14@A@1@@ 13@A@AB1l@!@ 1l2@A@1t @$@ 1t 1@A@1~@'@ 1~0@A@1n@*@ 1n/@A@ABCDE@,homomorphism @!f@@ u     @@!t0AJ @1%Logic$Init@#andЖw@@"eq1A)@$zero0O"@1n!n5B;@$succ0|6@1~@L@ @!t0@1A +k+7T77 7!7%' 7 7  7%'𠑑MT5p=xidLH-x7@@@@@AA@@A@3natural_isomorphism @@)recursion'4|ZV!pKM@@C? T+ 777"k()7$'`nPX`@@@@ Ay@A@@26natural_isomorphism_wd @@ 4@)Morphisms'Classes#Coq@@&ProperLP'Classes@9%WO?@0 G@V S@@@ 8AviA)Morphisms'Classes#Coq@@A AA݋X_A/RelationClasses'Classes#Coq@@ KA@ MA8ӠA4Relation_Definitions)Relations#Coq@@ABC@@~5natural_isomorphism_0 @@ A@"eq18֐@@@A1GK%Logic$Init#Coq@@ sA2@ uA*@ABC@@8natural_isomorphism_succ @@ BꚠӀ$Y䐩\@@@ AV@A Aۓό^W@ AS@A A@ A @ AL@ABCD@@ +hom_nat_iso @@ C @N=z@@@@@@@@@D@v@AB@f@A<@@f@ABCDE@@@'Inverse AB  @ ʠ  @ @ @ 1@@ 1 @ @@    @  @ 1 @ 1@ @@ Ѡ  @ )@ 1@ @@   @ @3@ 17@ 1@ @@   @ @A@ 1E@ 1@ @@  } @ | {@Q@ 1U@ 1 o[@ 1_@ 1c@ j1g@ n1k@ 1~@ i@@ ̠ ^ @ ] @w@ 1{@ 1 @ 1@ 1@ 1@ 1@ 1t @ \@@  X @ W V@ 1@ 1@ 1t @1~ T S@ R@@  P @ O N@@1 L@ 鰶@@#1 T @)1 Z@ 1 J p@ @@=1n@ @:1 X ? ?@:1~  @H1 =@ ;@@E 7 @ 6@Q1@ 4@@N 2 @ 1@Z1@ /@@W - @ ,@1@ U1 @e1~@|1n@ +@@p ) @ (@ 1@ `1l#@~1~(@ x1@ '@@ % @ $@2@ "1@7@ '1 !@ @@   @ @A@ 11@F@ 61 0@ @@ ,  @ |@R@1@W@1 q]@1@b@1 f@m1l@1p@w1 񚠐t@ 1 @ @@ՠ  @ 9~@1 @1@ j1  @ 01  @1 @ @@  @ [@1 @ F1  @ @@  @ l@1 ?@18@ \1 3@1~k@ 1 H@ @@)  @ @@61@@;1@?1@ @@<  @ @@I1@@N1@R1@ @@O  @ @@\1@@a1@e1@ @@b  @ 7@ @q1@@v1@z10@1@!@1%@1)@01C/@13@17@>1;@B1?@ g1-@ @@  @ ߩu@K@1@P@1T@1nZ@1@_@1c@1g@n1m@1q@1u@|1y@1}@ 1Ѐ@ @@ޠ ڐ @ ٩@@1@@1@1@1@@1@1@1@1@1@1@1@ 1d@ @@ Ԑ @ Ӷ@)1@1@ 1-@B1n||@ @@6 А @ ϶@C1m@H1@1@1-@P1~ @U1~@(1-@ @@a ː @ ʶŚ @n1@1@%1Ѐ@1n@ @@{ ǐ @ ƶߚ$@1)@1.@514@D1Ѐ:@1~⩚?@1t E@U1ЀŐ@ @@ Ð @ ¶ O@1T@[1Z@S1d_@1nc@1n@ @@Ġ  @ (m@1r@1w@~1}@v1d@1~ \*@1-@1d5@ @@  @ @@ 1@@ 1@ 1@ @@   @  @ 1 @ 1@@ 1 @ 1@ 1  @ @@ ՠ  @  К@ 1 Κ@ 1@@ 1 @ 1@ 1  Ԑ@ @@   @ @@ 1@@ 1@ 1@ @@   @  @ 1 @ #1@ @ 1 ԩ@ 1@ 1  @ @@ (  @  #@ >1 !#@ C1@)@ 1 .@ 14@ 1  '@ @@ H  @ >@ 1D@1t I@1nM@1n@ @@   @   @ t@@Z@ s1 r@_@ x1 u@ o@@  k @ j  i c a U@ K@@o@ 1 J@t@ 1 N H X@@|@ 1 @@ 1   U@@ 1 @@ 1  a@ 1 C@ 1 B k@ 1 @ 1 @ (6 @@ ?@@ 堠 $ @ #  "  Ͷ @@ 1 ˩  ̩@ (6   ۚ@,1n @ @@   @      6  4@@ 1 @ @ @@ 1  @ 1 񚠐@ 11  ¶ @ 1 @ %(6   @M1~   @ 2(6 @ @@ 8@  Ҡ@@(6@@ =(6 @A@A1@@1 @A@1@ @1 @A@AB1@ @1 @A@1 @@ 1  @A@A1-@@91- @A@1@@>1 @A@ABC1@@ 1 @A@1d@@1d @A@A1@@m1 @A@1@ @01 @A@AB1l@"@d1l @A@1t @%@m1t  @A@1~@(@1~ @A@1n@+@1n @A@ABCDE@C @ސ @ݶ@ @22 @@22 ې@@@א @֩ՠ@22  @29@@@ @)@22 @@@ @@3@22 7@22 @@@Ơ @@A@22 E@22 @@@Ԡ @@Q@22 U@22 [@22 _@22 c@29g@29k@2瀀@@@ @ϰ@w@ 22 {@ 22 @22 @22 @29@29@2 @@@  @@-22 @29@2 @52瀀@@@;~ @}|@@I22 z@@@Q22 @W22 @29x@n@k2@@h22 mm@h2瀀͚@v22 k@i@@se @d@22 @b@@|` @_@22 @]@@[ @Z@529@2֬ @2瀀@2@Y@@W @V@N29@2n#@2瀀(@2֬@U@@S @R@2@P22 @7@U22 O@M@@KH @G@A@_22 @F@d22 ^@E@@ZC @B@R@22 @W@22 ]@22 @b@22 %f@29l@22 /p@29t@A2:@@@@< @;g~@22 :@22 3@2987@^2:?@29D@1@@%/ @.@222 -@t2:(@'@@6% @$@C22 m@H22 f@2:a@L2瀀@29v@#@@W! @ @@d22 @@i22 @m22 @@@j @@@w22 @@|22 @22 @@@} @@@22 @@22 @22 @@@ @e@ @22 @@22 @22 ^@22 @!@22 %@22 )@^29q/@22 3@22 7@l29;@p29?@2/@@@Π @ @K@22 @P@22 T@22 Z@22 @_@22 c@22 g@29m@22 q@22 u@29y@29}@2Ҁ@ @@  @ᰶ@@22 @@ 22 @$22 @*22 @@/22 @322 @29@=22 @A22 @29@29@2f@@@J @@W22 @29@&2/@p2@@@d @Ț@q22 @v22 @29@E2/@~2瀀ʩ@2瀀@V2/@@@ @󚠐 @22 @D29@S2Ҁ뚠@2@@@ @ $@22 )@22 .@c294@r2Ҁة:@2瀀?@2 E@2Ҁ@@@Ԡ @8O@22 T@29Z@2f_@24c@2@@@ @Vm@22 )r@22 w@29}@2f@ 2瀀X@2/@2f<c@@@ @@@22 @@22 @22 @@@㠠 @߶ޚ@22 ܚ@22 @@29٩@29@2Ԑ@@@ѐ @ж@22 @22 @@29ϩ@29@92@@@#̐ @˶@@922 @@>22 @B22 @@@6ǐ @ƶ1@L22 /@Q22 @ @-29@)29@2ӄ('@@@VÐ @¶Q@l22 O#@q22 @)@M29L.@I294@2ӄHU@@@v @>@29D@2 I@2M@2@@@ @@@@Z@22 @_@22 @@@̠ @@y@@o@22 x@t@22 |v@@|@22 ¶@@22 ϩ@@22 ζ@@22 ҩ@22 q@29p@22 @ 29署@ )8n@m@@R @Q PJH@@22 F@!)8 @Z2ϐ@<@@,, @+&*d׶b@@22 ֶ@$@찶@@22 "@#22 @_29@,22 1@S)871@{2瀀7B@`)8@@@f@.@@)8@@j)8@A@A22 @@22 @A@29@@29@A@AB29@ @29@A@2:@@62:@A@A2/@@f2/@A@2@@k2@A@ABC2ӄ@@2ӄ@A@2f@@A2f@A@A2֬@@2֬@A@2@@]2@A@AB2n@!@2n@A@2 @$@2 @A@2@'@2@A@2@*@2@A@ABCDE@-NBasePropMod1 c%NBase(Abstract'Natural'Numbers#Coq@)NBaseProp s'eq_refl @/RelationClasses @5Equivalence_Reflexive@1@#two>T@@A@AI@5@$predId@@A@G@:@$succGr@@A@@?@$zeroT@@A@ABCDE@A@@Mp@]@@@d@!tРJ@@A@A L@@"eq L^@@A@r@ @#onerT@@A@AB4@@#two4T@@A@b@@$predbѠd@@A@F@@$succFr@@A@]l@@$zero]lT@@A@ABCD@A@@L.+*@A@4*BackportEq@@@A@@@@ %'A*Equalities*Structures A݋X_A@A@@AA@@A@&eq_sym @ @5Equivalence_Symmetric. U @@)SymmetricFgqTL@. U\Dܠ͠ȠcJ9Ҡ|OK@@B@@8(eq_trans @A@6Equivalence_TransitiveW>@G@*Transitive++-.-TL2@6Equivalence_TransitiveW\Do@@x@@n*eq_sym_iff @'.@@!xy!y|I@#iffС)~->@/@@@@AA@@A@'neq_sym @N?:+ՠUD@@AK!m@o@#notШ&UC@@@@'(eq_stepl @rc^OϠyh@dBK¶Iö!zƶ@ q@ŠDuȠ"@@@Aۓό^ @@AB@@M(succ_inj @u@C"n1궐"n2@頩@1~0@@@ AviA@AAۀߠK@0@@ABC@@z+succ_inj_wd @ŠL3"̠@D-+*@@@ @.A8ӠA4Relation_Definitions)Relations@AB@@/succ_inj_wd_neg @֠Ѡ lSB@E56L@@@@@1central_induction @۠l[@F!A@QA$A_wdx@&ProperL _Y`@@d蠩EtkF @@@@@栠'add_0_r @1"@@A&NZBase%NZMul&NatInt'Numbers#Coq@75@A@%NZMul&NatInt'Numbers#Coq@)NZMulPropFD@A@@@@"NZ;:@A@%NZAdd&NatInt'Numbers#Coq@)NZAddProp/@@@A@@@A&NZBase%NZAdd&NatInt'Numbers#Coq@A@A@@@"NZ+@@,R@2@!t,RJ@@A@A,Y@@"eq,Y^@@A@,@@ @#add,@d@@A@AB,w@@#mul,wd@@A@,@@#one,T@@A@A,@@#sub,d@@A@,@@#two,T@@A@A,@"@$pred,d@@A@,@'@$succ,r@@A@,筷@,@$zero,筷T@@A@ABCDE@A@E@@1-@1nÐ@@@@<@!@ABC@@AA@@A@*add_succ_r @ԠŠ[B1rd@oA()$+7=/@@&@@#-add_succ_comm @Ѡ{bQà@BHIDK]"@@C@@@(add_comm @nӠŠ@Cefa9h@@_@@\'add_1_l @- ܠˠ@D.|@]1B@@@@|'add_1_r @M>9*Ԡ@EN^ @@@@)add_assoc @iZUFנƠ8+@Fjà@@@@,add_cancel_l @{vgYL>9(@%G޶@߶6dݠ9~@@@@٠,add_cancel_r @1yl^YH:@EH`VY?@@@@,add_shuffle0 @ʠQ8'~yhZ@eIv _" ̐@@@@,add_shuffle1 @٠ԠŠoVEx@J<=>!qA<CE{GIF@@@@@=,add_shuffle2 @|kݠР @Kbcd&e`$gi$@@a@@^,add_shuffle3 @/  ޠ͠@L0Ʃ1@@@@|'sub_1_r @M>9*Ԡ@MN@x1Ѐ@s1t M@@@@'mul_0_r @qb]NߠΠ@3%@>@o©@1dÐ@@@@AA@@A@*mul_succ_r @|m_RD@]ACݠ 堩#d@@@@(mul_comm @3 {n`@yB_<{@@@@8/mul_add_distr_r @ŠL3"y@CxnVWY7@@@@U/mul_add_distr_l @ӠΠiP?@D3450sv8vs@@1@@r)mul_assoc @ܠm\Π@EPQRMo@@N@@'mul_1_l @ yޠ@Fmh)@@f@@'mul_1_r @4% @G2A@@~@@,mul_shuffle0 @L=8)Ӡ@HJKݠK@@@@ڠ,mul_shuffle1 @gXSDՠĠ6)@4Ie|z٩@@@@,mul_shuffle2 @xsdVI;@TJض:ٶ0ڶ۩֠ v@@@@,mul_shuffle3 @+sfX@qKWM5ސ@@@@2%le_wd @F-@@A&NZBase'NZOrder&NatInt'Numbers#Coq@@A@'NZOrder&NatInt'Numbers#Coq@+NZOrderProp@A@@@@"NZ@A@@ٰ@2T4.ך4@)1@@.@@AA@@A@*lt_le_incl @ܠm\@3%@>APQ@S@"lt1 ԩ%@@@@@!'le_refl @ z^QC@\Bn;))@@@@8.lt_succ_diag_r @4% uhZ@sC23@@@@@@O.le_succ_diag_r @K<7(Ҡq@DIi@@@@@e/neq_succ_diag_l @aRM>Ϡ@E_o@@@@~/neq_succ_diag_r @zkfWנ@Fx˩)H@@@@@/nlt_succ_diag_l @~oӠƠ@GA1@@@@@/nle_succ_diag_l @1ޠ@HYI@@@@@Ơ)le_succ_l @ I0@IuŐ@@ @@ߠ+le_gt_cases @̠۠ǠbI8@J,-@"or @@@-@@-lt_trichotomy @ؠiX</!@:KLM "@@@@@(lt_asymm @rVI;@TLfg@Ɛ@@t@@3(lt_trans @/  pcU@nM-@1@3 ڐ@@@@O(le_trans @K<7(Ҡq@NI@G@Hm@@@@i+lt_strorder @eVQBӠ @O@+StrictOrder.[@j@@@@+le_preorder @rm^ޠ @P@(PreOrder@@@@@/le_partialorder @z$ ޠѠ@Q@,PartialOrder5͛ #@9(0n@@@@A-@@AhC @ABC@@ʠ)lt_compat @ @%lt_wd2s@@ @@%lt_wd']ɠ٠ʠŠ`G6 @@@@@(lt_total @>@#SM^@됑#@aǠԠ~eT8+@@@@@'le_lteq @ P@+lt_eq_cases1=ѣ@ V W۠$, ؐH@+lt_eq_cases&y   x\OA@@@@@20Private_OrderTac A'IsTotal  A p @ x@ @+Equivalence~@ tv@(eq_equiv7L I : 5 &Р}o@@@@@` @@@𐑠o@,Q^ d U P AҠ@@@@@{ @@"@ } n i Z ڠ@@@@@ @@"O@    s  נʠ@@@@@ @@y@     6  @@@@@@@@@@#Tac /)OrdersTac*Structures#Coq@,MakeOrderTac + ? , @ ۠ ̠ Ǡ  b I 8@@D!P)OrdersTac*Structures#Coq@*Š@@@A@@C!O@@&@@!t&J@@A@A&a@@"eq&a^@@A@&@ @"le&ڠh@@A@AB&@@"lt&h@@A@&̌@@#one&̌T@@A@A&̔I@@#two&̔IT@@A@&H@@$pred&Hd@@A@&؝[@"@$succ&؝[r@@A@&C@'@$zero&CT@@A@ABCDE@A@G`At>@A@@@BNMQ@@@A@@ADTG@@@M@!tJ@@A@A$:@@"eq$:^@@A@$@ @"le$h@@A@$@@"lt$ h@@A@ABC@A@**OrderFacts-#@A@@r@,  5@@@@AA@@A@N @ j [ V G  ؠ ǠJD>#@AJ S@@@@)lt_irrefl @  v q b   Ơe_Y>@Be ܩ:p@@@@; @     )  ֠ȠǠ|v[@C  @xP@@ @@W*le_antisym @     F - Ԡx@D  @@n Ր@@ 0@@w @ ޠ Ϡ ʠ  e L ;@E 5 6@@@@@*interp_ord @!o)OrdersTac W@#ordȠ@ @@@@@@@@@@@D"  N @$ +k= R'6'6'6''+k+7T'+7T'6'ࠒA"210@@"lt\ @@"eq8L@lР@4Ƞ@@10/@@A@B@A@xA܀ C 4 /  ʠ  wihX#@@@@@%trans @ \ M H 9  ʠ q<60@Frp"o's @  >  @N U@(U^ m@  @)trans_ord-0uGdi #@@@@,  @ c ڷ a ۷  ܩ"@DjМA 8@ o  m  $ @ "@ # e L+k() LL7#'X@[$t     : ! ٠ؠȠl@@@@@d @     P 8МC l@     X ~ L+k() NN7#'1t  Ѡ ̠  g N =!@@@@@ʐ @  ?  @ } AeМB @  G  H  Iǐ L+k() MM7#'^t      { jNA32"@@@@@+le_lt_trans @  m  n  o[. *@  r  s  t@񐐠 L+k() MN7#'t 9 * %    zm_^N @@@@@ꠠ+lt_le_trans @ "     Z EV@ '  %   @@J L+k() NM7#'t f W R C  Ԡ à{F@:@@@@@%eq_lt @ O Ʒ M Ƿ  ȩ r@ T ˶ R ̶  Ͷ@ J L+k() ML7#'t   ~ o   ӠƠrlfK@@@@@C%lt_eq @ {  y  0  I@   ~  5 @w@ 4v L+k() LM7#'t     F - Ԡx@@@@@p%eq_le @     ] !EA  v@  $  % b &@ ` L+k() NL7#'=-@@@@@ɠ&eq_neq @ 1 "     reWVF @WG      @ Ķ@  ǩ @@@@@젠&neq_eq @ T E @ 1 ۠   zyi4.( @zH 4  2   @"@ !@@@@@ *not_neq_eq @ s d _ P   РSMG,@I S ʶ Q ˶@ * , @@ @@*)not_ge_lt @   ~ o   ӠƠrlfK@J r  p @ I hk@@ @@J)not_gt_le @     9  ؠנǠk@K    @ i@@@@@i)le_neq_lt @ Ѡ     X ? .@L ( )@@@@@@@@@@@@@@@@@<_neq @    Ѡ { b Q5(@3RE F@@@@@@&le_neq @      y hL?1@JS \ ]  -, @@@@@)*eq_le_incl @%   fYK@dT#v w@  @@@@@@(lt_stepl @<-( à  }pb@{U   @ @ ǩ? Đ@@@@@Z(lt_stepr @VGB3 ݠ Ġ |@V@@@@@n(le_stepl @j[VG  ؠ Ǡ@W D B @f@  @@@@@(le_stepr @upa   Š@X@@@@@r @t ؠˠ@Y J@v@@@@@\ @4 @Z `V`@@@@@Ƞ+le_antisymm @ĠK2!@[ w@@@@@ޠ)le_succ_r @ڠˠƠaH7@\+ ,  , @@@@@)lt_succ_l @Ӡ}dS7*@5]G H@ ǐ@@@@@,le_le_succ_r @|kOB4@M^ _ `@,.  s@@@@@+,lt_lt_succ_r @'h[M@f_%x y@((@@@@@C,succ_lt_mono @?0+Ơse@~`=  AA @@@@@\,succ_le_mono @XID5ߠƠ~@aV  .wy @@@@@u<_0_1 @qb]NߠΠ@bo  >@@ @@&le_0_1 @xsdȠ@c@@@@@<_1_2 @y# ݠР@d i@1l@@ @@<_0_2 @=$@e @@@@Р&le_0_2 @̠S:)  @ f@@@@@堠<_1_l @Ҡ͠hO> "  @ g2 3@ 0޶@  @@@ A@ ?@P@ABC@@ +lt_ge_cases @ݠn] A 4 &@ ?hQ R% g@@@@@ +le_ge_cases @ u Y L >@ Wii j=7@@@@@ 4+lt_gt_cases @0!  q d V@ oj.  W 4P@@@@@ N,eq_decidable @J;6'Ѡ  ~ p@ kH )Decidablek{@)decidable r @@@@@ n&eq_dne @j[VGؠǠ   @ lh@;@@@@@ &le_ngt @sn_ ߠ à  @ mӶ5ԩXː@@@@@ &nlt_ge @w! ۠ Π @ nMpL @@@@@ ,lt_decidable @;"   @ ogj@@@@@ Ϡ<_dne @ˠR9(   @ p~}3 ϐ@@@@@ 頠&nle_gt @֠Ѡ lSB &  @ $q67  @@@@@ <_nge @ܠm\ @ 3 %@ >rPQՠ h@@@@@ ,le_decidable @t X K =@ Vshi0@@@@@ 2&le_dne @.  o b T@ mt,K O@@@@@ L*nlt_succ_r @H94%Ϡ  | n@ uF LY N@@@@@ h5lt_exists_pred_strong @dUPAҠ   @ vc@ f @@"ex @·!kũ ө _@@@@A@@A@AРD.Morphisms_Prop@A1@D@ABCD@@ .lt_exists_pred @z$  ޠ Ѡ @ w*@ 60J  @@@#@A@@ ,lt_succ_pred @D+   @ xJ@  " l @@@@A@H@-@D@ABCD@@ ⠠&rs_rs' @ޠϠʠeL;   @ y߶ڶm1@Ѷ@4@  1@CjJ=@G@AB@ v@ ܩK SH@@5@@ (rs'_rs'' @|k O B 4@ Mz  a@c@ /@gh@ 6$@ I3y4p  @@}@@ <%rbase @8)$ y l ^@ w{;99@Y@ %!/@@@@@ W)A'A_right @SD?0ڠ   y@ |VT@TV @@ BrM[@zI@@@@@ x6strong_right_induction @te`QѠ   @ }wurpǶ@fvɶ@@@@@A@@@ABC@@ /right_induction @~o Ӡ Ơ @ ~!@@@@@@@@ 0right_induction' @5    @ =@@U@@@@@ ͠7strong_right_induction' @ɠP7&   @ @ʶŶX@@@@#$@\@ J3|@@@@@ &ls_ls' @ݠؠɠsZI -  @ +A{?@߶@B@ _@ڐWH@ @NO@  @    @@@@ (ls'_ls'' @t X K =@ VBj@l@@pq@ ?- @  /#v  @@A@@ B%lbase @>/*Š  r d@ }CA??@ a@ >(-@@@@@ ^(A'A_left @ZKF7Ƞ   @ D][@[]@i@ [Sa@!@@@@ }5strong_left_induction @yjeV֠   @ E|zwu̶@b{ζ@;@@@@@@ABC@@ .left_induction @s נ ʠ @ F%@@@@@@@@ /left_induction' @8   @ G@@@ X@@@@@ Р6strong_left_induction' @̠S:)   @ HͶȶ[@@"@@&'@ @ @@@@ /order_induction @̠۠v]L 0 # @ .I~B@@@F@ @{K}@@@T@R@AB@@ 0order_induction' @o S F 8@ QJe@@4@ i@!@#3$@@"@@ 61order_induction_0 @2# s f X@ qK530.@ .@ 6@ W E@ީ"U@ =@ ?N(@@@@@ Z2order_induction'_0 @VGB3ݠĠ   |@ LYWTR@$@"@ Y@ z@xDF@@@@@ x<_ind @te`QѠ   @ Mwurp tǶ@`@,˶@.Ͷ@ |e@@@@@ &le_ind @p Ԡ Ǡ @ N @@JK@@@@@ &Rlt_wd @5    @ O;  Ϸ d Ѡ  @@@@ ͠&Rgt_wd @ɠP7&   @PVİ      @@@@ 蠠%lt_wf @ՠРkRA% @#Qq5"Wf!@,well_founded8E?>@@@TA𱍠Gp@XA7iA@AB@@%gt_wf @ yhL?1@JR\'^B@@@@&-add_lt_mono_l @"@{@!pq r "@@k@@AA@@A@-add_lt_mono_r @<-(à@A!7  <@@@@+add_lt_mono @SD?0ڠ@B!N e@z@ #T>ީ %@@@@@6-add_le_mono_l @o`[Lݠ@C!j!Ciߐ@@@@M-add_le_mono_r @wrc @D!Զ6ն!,֩Z֐@@@@d+add_le_mono @z$ @E!M!C@@K@@@@@}.add_lt_le_mono @=$@F!f!\@ݶ@c@@@@@.add_le_lt_mono @͠T;*@&G!}!s@0z@@@@@+add_pos_pos @ԠϠjQ@@/٠@M"M@nP"L@@@@0,le_lt_add_lt @iZUFנ@N"d"{@̶@j"iZ@@@@@L,lt_le_add_lt @vqb @O"Ӷ5Զ"+նֶ@@@@@@@d,le_le_add_le @z$ @P"M"C@@@@@@@{,add_lt_cases @;"@ Q"d"Z@éڠ?@@@@@,add_le_cases @ΠU<+@'R"~"t@ݩY@@@@@-add_neg_cases @٠ԠŠoVE@AS"67@ 4 8":@@I@@ˠ-add_pos_cases @ra@]T"RS@P')T&@@!@@堠0add_nonpos_cases @ {@wU#lm@;6B>5?4@@|@@0add_nonneg_cases @7(#@V#2@T3[W2@@@R@@-le_exists_sub @O@;,֠@W#J@j"#p]@@@@A@@AAA@@@ABCD@@;+mul_lt_pred @te`Q@N@##o¶$ö@֐LxG h#w}Ѡ#{Ӡ(@@@@AA@@A@1mul_lt_mono_pos_l @y#@vA#>#K@oj0-@@@@A@"@@$@ABCD@@1mul_lt_mono_pos_r @?@B#Z#g@G>H#B@@@@91mul_lt_mono_neg_l @ҠàY@C#t# @Ѡcf@@6@@P1mul_lt_mono_neg_r @ڠՠƠp@D#5#67@01@@2@@g4mul_le_mono_nonneg_l @ݠ@E#LM#N@Ŷ@aI@@]@@4mul_le_mono_nonpos_l @ @F$de#f@@y5_@@s@@4mul_le_mono_nonneg_r @. @G$'z{#|@@K@@@@4mul_le_mono_nonpos_r @D50!@H$=#@@aʐ@@@@,mul_cancel_l @ZKF7@4I$S#@0 @@@@@@ABC@@ߠ,mul_cancel_r @xidU@RJ$qĶ&Ŷ$ƶ@KĠ  @@@@(mul_id_l @{l@iK$۶=ܶ@4aڠ$ܠ6^@@@@(mul_id_r @.@L$U@S|O$y@@@@)1mul_le_mono_pos_l @ I@M$p$f@%f@@@@@1mul_le_mono_pos_r @٠ʠŠ`@N$%&$}'@;a@@!@@V1mul_le_mono_neg_l @̠۠v@O$;<$=@ Q 6@@ @@m1mul_le_mono_neg_r @@P$RS$T@ĩ٠h$@@O@@2mul_lt_mono_nonneg @ @Q%ij$k-l@:i@ @@"/  @@@@@2mul_le_mono_nonneg @>/*@R%7$N@!@\@$@_@@@@+mul_pos_pos @WHC4@1S%P@ q@ rT@@ o@@Ӡ+mul_neg_neg @l]XI@FT%e@|@}@@ @@栠+mul_pos_neg @pk\@YU%x˶-̶@ @|ʐ@@@@+mul_neg_pos @q@nV%B@@ @@ @@1mul_nonneg_nonneg @.@W%U@@P@@ @@"0mul_pos_cancel_l @B@X%i@ թ ِ@@@@80mul_pos_cancel_r @Ѡ X@Y%@ɐ@@@@L3mul_nonneg_cancel_l @֠Ѡ l@Z%12@ *@@@@a3mul_nonneg_cancel_r @נ@[%FG@7̠@@@@u,lt_1_mul_pos @@\&Z[@ &@ + @@ (@@(eq_mul_0 @%@]&qropI͐@@n@@)neq_mul_0 @<-(@^&5 &Y@@@@+eq_square_0 @SD?0@-_&L#5@@@@@Ϡ*eq_mul_0_l @hYTE@B`&a@B@©@@@@@䠠*eq_mul_0_r @}niZ@Wa&vɶ+ʶ@W@*@@@@@(mul_eq_0 @@w$_@msrqp@@^\)@@@@@*mul_eq_0_l @@Q=Jq @G@V24pe@@@@@@.*mul_eq_0_r @@S=Jq@I4@X24pkРW@@@@@E(lt_0_mul @ޠϠʠe@b&*+۠)H& "'@@>@@`5square_lt_mono_nonneg @֠@c&EF@@ũ@@@@@y5square_le_mono_nonneg @@d' ^_@@ .@@@@@6square_lt_simpl_nonneg @&@e'rs@@#+'!'! N@@@@@6square_le_simpl_nonneg @=.)@f'6@@Y@@@@@,mul_2_mono_l @QB=.@+g'J@MMߠ  'O@@@@Ҡ*add_le_mul @k\WH@Eh!a!b@a@b{@@@@렠-square_nonneg @upa @^iЩ/@@ @@5crossmul_le_addsquare @s@pj+)@@*@@ @@-add_square_le @5@kCA@@ʠ;@@ @@,-square_add_le @ŠL@lZX@ȶ@ɩR */@@!@@C4quadmul_le_squareadd @ܠ͠Ƞc@mq(o)@߶@ikm E Eg4@@<@@^*neq_succ_0 @@@'@=N>@@M@@AA@@A@*neq_0_succ @ @A(TQRb@@@@@&le_0_l @ @B(eې@@[@@!)induction @)@&C$"@@@(#v@( 3('z@@@@A@@7-case_analysis @?0@( @@@A?C0e)@A@@)!( @0-*@6%@kV(WN)(Vr@)0?Հ@@@@A@A@BD@@ABC@@)?( @NKH@6CAi \e@@@BF2A1GK)@@A@ABC@@)W( @fc`@6[B)6v9)@@@@A0@@AQ@AD>HR@@ABCD@@)s( @|@6wCO@*4/T@@@@@)@@@@(Ơ%Hom21(;* @*@1).)1)ʩ3)L)@*!퐐)Ơ@@/]X#@A@@6@A@6+(@A@@@@@@)) @@))8[U* )]g@-)@@@@)Π) @*'$@6@@)rl*S)Z@)QC@@@@)堠)g @A>;@6AR@@@@))V @PMJ@6B*B'&])*;@@@@*)E @c`]@7 C6@*4;@@@@@*@@@@)?Z/inverse_nat_iso @@7D*f@*N1@)1)Q@*.QC)Xw@*5?Հ*A@@@7A)@7A)@7A)@ABC@@*E@@@)k@+Isomorphism7=AD757J@747 @7@ @7<22 @@7A22 7@7@@7,7 @77@7L22  @7529@7@@7;6 @6)@622 @6@@66 @6@3@722 7@722 @6@@76 @6@A@722 E@722 @6@@76 @66尶@Q@722 U@7#22 6[@7)22 _@7-22 c@629g@629k@702瀀@6@@766Ȑ @6ǩ7 @w@7E22 {@7I22 6@7O22 @7S22 @629@629@7C2 @6@@7\6 @66@7i22 @729@7X2 @7q2瀀66@6@@7w6 @66@@722 6@7S@@722 67C@722 6Ě@7:2966ڶ@6@72@6@722 6 66@72瀀67 @722 6@6@@76 @6@722 @6@@76 @6@722 @6@@76 @6@7q29@62֬ @72瀀@72@6@@7ڠ6 @6@729@62n#@72瀀(@62֬@6@@76 @6@2@622 @7@622 6@6@@66 @6@A@622 @F@622 6@6@@66 @6~7氶@R@8 22 @W@8%22 7V7]@8+22 @b@8022 7af@7297l@8:22 7kp@7297[t@6}2:@6|@@8?6x @6w7~@8L22 6v@8Q22 7o@6296t6s@62:6{@8296@6m@@8a6k @6j7Ś@8n22 6i@62:6d@6c@@8r6a @6`7֚@822 6@822 7@62:7@82瀀7թ@7296@6_@@86] @6\@@822 @@822 @822 @6Z@@86X @6W@@822 @@822 @822 @6U@@86T @6S@@822 @@822 @822 @6Q@@8̠6P @6O8@ @822 @@822 @822 8@822 @!@822 %@822 )@8298/@822 3@922 7@829;@829?@62/@6N@@9 6J @6I8߰@K@922 @P@922 T@9"22 8Z@9(22 @_@9-22 c@9122 g@8298m@9;22 q@9?22 u@829y@829}@62Ҁ@6H@@9H6D @6C9@@9W22 @@9\22 @9`22 9@9f22 @@9k22 @9o22 @9299)@9y22 @9}22 @9$29@9(29@72f@6B@@96> @6=8ꚠ@922 @9;29@7b2/@9288@6<@@96: @699@922 7ך@922 @9Z29@72/@92瀀689@92瀀@72/7@67@@9ˠ65 @649/ @922 @929@72Ҁ9'@929+@63@@9堠61 @609I$@922 8)@922 .@9294@72Ҁ9:@92瀀9L?@92 E@72Ҁ8/@6/@@:6- @6,9tO@:22 T@929Z@72f_@:629pc@::2@6+@@:.6) @6(9m@:;22 8er@:@22 w@929}@72f@:H2瀀69@82/@72f8x9@6'@@:Y6% @6$@@6"22 @@6'22 @6+22 @6!@@66 @66@6522 6@6:22 @@6296@629@6U266@6@@6?6  @6 6:@6U22 68@6Z22 @@66296 @6229@6u2616>@6 @@6_6 @6@@6u22 @@6z22 @6~22 @6@@6r6 @66m@622 6k@622 @ @6i296>@6e29@682ӄ6d6c@6@@65 @56@622 6#@622 @)@6296.@6294@6X2ӄ66@5@@65 @5>@529D@:2 I@; 2M@;$2@5@@55 @555@5޶@@Z@522 5ܶ@_@522 5ߐ@5@@65Ր @5Զ65Ӷ55˩5@5@@o@522 5@t@522 555¶@@|@522 5@@622 66 5@@6 22 6 @@622 65@622 5@6R2955@6 22 5隠@6\296+@6I)85@5@@6O5 @56I55675@@6622 65566@6])86<66E@;26 @5x@@6h5h @5g6b5f6-6+565@@6P22 6@5`@6(@@6Y22 5^6@6_22 5[@6295Z6,5X@6h22 5m@6)85s616m@;2瀀6L6s6~@6)85V@5U@@6@5I5<@@)8@@6)85;@A@A22 @@<622 5:@A@29@ @<2959@A@AB29@ @:U2958@A@2:@@:s2:57@A@A2/@@92/56@A@2@@7255@A@ABC2ӄ@@7:2ӄ54@A@2f@@9~2f53@A@A2֬@@:2֬52@A@2@ @9251@A@AB2n@"@:2n50@A@2 @%@;2 5/@A@2@(@;25.@A@2@+@<25-@A@ABCDE@E5,< @<<@Q@ 3Q @@>3Q @>3Q =@>3Q @!@>3Q %@>!3Q )@=3X=/@>+3Q 3@>/3Q 7@=3X;@=3X?@;31@;|@@>8;x @;w> @K@>G3Q @P@>L3Q T@>P3Q >Z@>V3Q @_@>[3Q c@>_3Q g@>3X>m@>i3Q q@>m3Q u@>3Xy@>3X}@<%3Ԁ@;v@@>v;r @;q>K@@>3Q @@>3Q @>3Q >D@>3Q @@>3Q @>3Q @>D3X>W@>3Q @>3Q @>R3X@>V3X@;l @;k>@>3Q @>i3X@<31@>3>>@;j@@>Π;h @;g>2@>3Q =@>3Q @>3X@<31@>3;f>4@>3@<31=@;e@@>;c @;b>] @?3Q @>3X@<3Ԁ>U@?3>Y@;a@@?;_ @;^>w$@? 3Q =J)@?%3Q .@>3X4@<3Ԁ>B:@?-3>z?@?3 E@<3Ԁ=]@;]@@?>;[ @;Z>O@?K3Q T@>3XZ@<3h_@?d3>c@?h3@;Y@@?\;W @;V>m@?i3Q =r@?n3Q w@?3X}@=3h@?v3;>©@=H31@=3h=>͐@;U@@?;S @;R@@;P3Q @@;U3Q @;Y3Q @;O@@;M;J @;I;H@;c3Q ;F@;h3Q @@;D3Y;C@;@3X@;3;?;>@;=@@;m;; @;:;h@;3Q ;f@;3Q @@;d3Y;9@;`3X@;3;_;l@;8@@;;6 @;5@@;3Q @@;3Q @;3Q @;3@@;;1 @;0;@;3Q ;@;3Q @ @;3Y;l@;3X@;f3;;@;/@@;;- @;,;@;3Q ;#@;3Q @)@;3Y;.@;3X4@;3;;@;+@@;ࠠ;) @;(>@;'3XD@@$3 I@@N3M@@R3@;&@@;$;! @; ;;@; @@Z@; 3Q ; @_@;3Q ; @;@@;6; @;;0;:::@:@@o@; 3Q :@t@;%3Q :::@@|@;-3Q ;,@@;23Q ;/;9:@@;93Q ;8@@;>3Q ;<:@;D3Q :ۚ@;3X:ک;@;N3Q ;@;3X;Y@;w*&::ؐ@:@@;}: @:;w::;e:@@;d3Q ;c:;d@;*&:;j;5;s@@3;9@:@@;: @:;:;[;Y:;A:̶@@;~3Q ;@@:@;V@@;3Q :;B@;3Q :@;3X:;Z:@;3Q :@;*&::;_;@@3;z;;@;*&::@:@@;@.:i@@*&:@@;*&::h@A@A3Q @@Ac3Q :g@A@3X@@AK3X:f@A@AB3Y@ @?3Y:e@A@3Y@@?3Y:d@A@A31@@>31:c@A@3@@<3:b@A@ABC3@@3h:`@A@A3@@@3:_@A@3@@>3:^@A@AB3p@!@?3p:]@A@3 @$@A3 :\@A@3@'@A3:[@A@3@*@A/3:Z@A@ABCDE@  b 됐  f958 @57@DA55@5022 E:y5;@563Q 5/ @5$3X5#@5"2@5&35!5$@52瀀5#@5#35@5f/&25 𠑑5W@5 F@5D35 K@5H25 O@5n22 5R@5Y3X5V@5B35[@5F25@@@@@55  @Y@5 )8XD5a_5 Z85V@b5@@:ՠr@A@@Bw@A@B4S@A@@@ @@504 @@B4@&z~4y@529t5  @5C,@@ @@5K4͐ @/,)@BOA@@ @@5Z4 @>;8@B^B5&)5@@ @@5m4 @QNK@BqC6@5 =뀐;@@@@@5@@@@4   9  א6  @6 @թ5Y5Ŷ5֩^5ܐ5@6&搐5𠑑6 @5@525@535@6"3Q 5 @6 295à @525Ġ@535ŀ@@@@@5Ġ5 @@5*&:6 5@@5@@;&@A@@Bà)c@A@Bɠ]5@A@@@ @@5㠠5 @@B@'-\5,2#6h  o@5- @@ @@55| @+(%@BAǠn2@@ @@6 5k @:74@C B6WOנ&y5)6P@@ @@65Z @MJG@C C6@6 BY;@@@@@6.@@@@5T o)Inverse12 C+5\* +** @*@*pq@*٠*Ԡ@@0G@A@@5y@A@5.5@A@*@) @@)) @(@(((琠@)@@)(ې @(/@(*(Р)&#(@)-@@)#( @41.()@(ж(ѩ(U(V(@@)?@@(( @FC@()A6(@((j(@@)S@@(( @ZWT()B(((@{(@}(~(@@(@@(ˠ(~ @nkh(*C(w (u @(o@@(m@@(ݠ(c @}z(e*D(((L@@(\@@((S @(U*#E7.,(-)(%M@@@@@((L @(N*5F(E@?(C(A(?6D(H)7R(E@(:@7JH)!(9(9)7NL(6@@@@@)(4 @(6'@7[Y۠\@*2/7oK7o@@'@@'' @ҠϠ'( A7pn)%o7pPP)G@@'@@'' @'(B7):+z7@@'@@'Р' @'(1C7)L#=)h@@'@@'ᠠ' @ '(BD7(M@*2֬7@@'@@''z @'|(WE7=b7@@( @@('o @0-*'q(hF7̶)Ͷ7yΩPu)z]wy)b7@@( @@('d @FC@'f(~G7)7)h'YQ@@(4@@(1'X @ZWT'Z(H7)7)Ѡ|'M@@(H@@(E'L @nkh'N(I8  ) 7 <8 @@([@@(X'A @~{'C(J8)7'6 Ǡ'4ʠ),@@(s@@(p'3 @'5(K875)677'N8ߠ'(i@@(@@('' @')(L8LJ*K7LΠ~8MT@@(@@(' @'(M8_]ߠ`@+2Ҁe@+2 8^@@(@@(' @ڠנ')G@8xvy@+2fg@@(@@' ' @')[A8*A 3*b8@@(@@'& @')oB8*U!)*q@@(@@'.& @ &)C8*f8\3;Y>('@@)@@'C& @(%"&)D8Ķ*{Ŷ8qƩHPnS*Y@@)@@'X& @=:7&)E8ٶ*ڶ8۩]e*Og8@@),@@'m&ސ @ROL&)F8pxH8@@)<@@'}&֐ @b_\&)G9C9@@)L@@'&ΐ @rol&)H9*83^9@@)_@@'&Ɛ @&)I9#!*"8#(:$(8*v@@)w@@'& @&* J9;9*:8;(R<Ơ(,v@@)@@'͠& @&*K9PN+O8PҠuڠ9Q@@)@@'ࠠ& @Š &&@*_@c%8e'#e@,29@@)@@&& @ڠנ&&A9xv+-w@y@&{2:+N+ @@@@@&&z @&|&B9'&r@@+@@&&q @&s&C9!9x@@@@@&&i @  &k&D9D@@@@@&Ơ&a @&c&E9+i:9Ȑ@@+@@&נ&Y @+(%&[' F9ǩ+zK0@@@@@&砠&Q @;85&S'G9ש+a!@@@@@&&I @KHE&K'*H9+1@@@@@'&A @[XU&C':I9++Ѡt@@+Y@@'&9 @lif&;'KJ: + &1+ݩ+ܐ@@*X@@'*&+ @~{x&-']K:+&C&EL@@@@@'<&# @&%'oL:.,+-@+ᐩ+ڐ@@+@@'N& @&'M:@>+?9@@+϶@&@@+@@'a& @&'N:SQ,R9S@׶@ة&%@@*@@'s&  @ǠĠ& 'O&d@@,@@'% @ՠҠ%'P%r @@,@@'% @%'Q%:/@&GN@@%@@'%ې @@%3o@+54%٠%Ӑ@@@@'%ɐ @%@&k7>@%Ƞ%ǐ@@@@'ˠ% @@%29@:,s,&I%,)&%@@@@'㠠%Y/L%A%𢢢a/T%%A/! @O@%K%JGD%@@@@(& @m@&6Հ@%\YV%@@@@(&I @@&Q}f@n&Enkh%@@@@(%&5 @@&=g@&4}z%@@@@(7&) @@&1~@l&!%@@@@(I@@@@:%%𢢢/&%%F/&$&/ @%|%m@-'I(0@@-@@$(F @$%{A-5W̐@@-@@%$ @ȠŠ$%B-Bd-(M@@-@@%-Đ @ؠՠ$%C-Rt-Pu@@@-@@%'$А @$%D-a-_@z@"-0 *@@-@@%9-S @$%E-s-q@@@@@%G$ @$$$$$@;$*>@$$B$  $v@@@@%Z$f @$h%F$$ȶ$X$ɶ---K@;;S0C&&@$%5$W@  $V@@-&@@%y- @-ҷ-ӷ-eԩ@$ kg$M@-ڶ-۶-mܶ@@`'$IJGD$A@@@@%' @---$1@---$-_\Y$)@@@@%' @---1$@--- ɐ$tqn$@@@@%$ @---F$@---@ݐ##@@@@%ՠ# @. .. /-0\#@.2.3-4@@󐐠##吠@@@@%젠#Ր @.#E.!F-Gs#@.'I.%J-K@S #Ӡ#ϐ@@@@&# @.9[.7\-]#@.=_.;`-a@!@j #Πˠ#@@@@&# @.Pr.Ns.t#@.Tv.Rw. x@%##@@@@&/# @.f.d.#@.j.h.@@;##@@@@&F#} @#&G..~.5@@.Y.[̐@@@@@&[#o @#q&H...J@@@@@@@&l#a @,)&#c&I.ȶ.ɶ@.}Ӑ@@.*@@&}#S @=:7#U&J.ٶ.ڶ@.y.@@/H@@&#E @OLI#G'K..@.r@@@@@&#7 @`]Z#9' L..@@Y,@@@@@&@@@@;#)@@@@;#(#' @spm#)*RR=.@k@@@@@*.# @|#!*aS= ..=D?@@@@@*@# @#*sT=20.1@_@@@@@*O# @#*U/?/@.A@@H.ː@@@@@*a# @# *V@@@@@*m" @#*W/;]/9^._@@f.@@@@@*" @ӠР"*X@@@@@*%a @ߠܠ"*Y=}{/2|=(}_@@@@@*%D @"*Z=/A=7X@@@@@*" @"*[=/P@@@@@*"ِ @ "*\=/^/F9)Ӡ/<@@@@@*ˠ"ѐ @"*]=/r@E7}@@@@@*۠"ɐ @/,)"+^=˶/̶@©i/w@@@@@*젠" @@=:"+_=ܶ/ݶ@ff@@@@@*" @PMJ"+/`=//Ơww@@@@@+ " @a^["+@a=//נ@@@@@+" @rol"+Qbe@@/m@@+," @}z"+_c@@@@@+9" @"+ld *@1M2n@@/@@+K" @"+~e  &@@0@@+Y" @"+f@@@@@+f" @"+g>X V0  W@ D>W@0@@"y@@+z"v @Πˠ"x+h>l j0! k*@@@@@+"n @ޠ۠"p+i>| z01 {*r@@@@@+"f @"h+j> 0A 0d*@@@@@+"^ @"`+k> 0S "V@@@@@+"M @  "O+l> 0b 0ې@@@@@+ˠ"E @"G+m> 0r 0ѐ@@@@@+۠"= @/,)"?,n> ˶0 ̩00X@@@@@+"5 @A>;"7, o> ݶ0 ީ"@@@@@+"- @PMJ"/,/p> 0 0Ơ0#y@@@@@,"% @b_\"',Aq? 0 0ؠ0@@@@@, " @tqn",Sr? 0 08@@@@@,0" @~",cs?" 0 !" @@@@@,?"  @",rt?1 /0 01 03)@@@@@,Q" @",u?C A0 B10Π?V:А@@@@@,e! @!,v0 U?X V1  W@.@ԩ! \! ]? 0 >!@@!@@,!ސ @ӠР!,w1 o?r p@"  s" t? 1  U.d@@!@@,!Ր @!,x1 ? @  g(0?@@!@@,!Ȑ @!,y0\0[1- @0@? @<.@!() !? @/@? 1a @H!@~!1!@@!@@,ˠ! @   !,z0}0|1N @? @@? ö1z Ķ@a!@!1'!? ȩ1 ?  @@1*@@,頠! @ = : 7!-{01k ک? ܶ1 ݶ@>@!?Ԑ@@@@@,! @ P M J!-/|01~ @? 勺? 1 @{@!?? @V!@@@@@-! @ g d a!-F}1 Ŷ1Ķ1 @H@  @h"&@@!@@-%! @ y v s!-X~1׶1ֶ1 @1 @{@ @!@@@@@-8! @   !-k1/1*1 *@@. ,@P!Ӷ@@@2@@-K!~ @   !-~@1B1=1 =@@@B @@@@F D1 E@@!v1!@@@@@-d!t @   !v-A1[ 1V 1 V@1K@@[ Y@/˶@1F P"@a _@!l@@f d2 e@!k@"w "u@@$@@-!j @ ٠ ֠ !l-B1| 71w 62 w@@{ y@@@ }24 ~@!b@"j$"h@ 2[ @z  d@@$@@-!a @   !c-C1 U2% @ 2M @40 @" x@@@@@-!Y @   ![-D1 i29 @@ @ 2c @N@2"X@@ @"W@@3@@-Π!Q @ "  !S.E1 1 2Q @I@ ¶@+"@@!I@@-ࠠ!F @ 4 1 .!H.F1 1 2c Ҷ@1Ƕ@|@ ն@v"B@@@@@-!> @ G D A!@.&G1 1 2v @@ @"@ @@%@@.!6 @ Z W T!8.9H1 1 2 @@@ @d@A 2 @!.@"2" @@%@@. !- @ t q n!/.SI2 Ҷ2 Ѷ2 @2@v@A @"#@)#'A !%@@!$@@.8!" @   !$.kJ2/ 2* 2 *@2@@A0 .@϶@"#=#M@@!<@@.P! @   !.K2G 2B @A@ .@AG E@ 2AV@"23@AN L@  @@@@@.k! @   !.L2b 2] @@@Ab `@ @#)3 @@@@@.!  @ ՠ Ҡ ! .M2x 32s 2Au s@3 S@3- w@ ׶3/ y@0f"@@@@@.! @   !.N2 J2 IA @2@3C 3D t@@@@@.  @    .O3, 2;:A 3U A $)@@1@@.  @    .P3? 2NMA 3h Aՠ.@@1@@.Ѡ  @ % "  /Q3R   &@@ @@.ࠠ ѐ @ 4 1 . /R3a Щ  "@@ @@. ɐ @ C @ = 5?@A ߶3 A 3k @@2/@@ Ġ  @ U R O 5QAA 3 A 3̠} @@2A@@ ֠  @ g d a 5cBB 3 A 1 @@ǩ   -ې@@@@@ 젠  @ } z w 5yCB 3 A 3 7@@2i@@   @    5DB- +3 ,A -4 5@@2{@@!  @    5EB? =3 >A ?1V @@1Q@Ʃ;@@@@@!$  @    5FBS Q4 RA S1j T@V@N@@@@@!6  @ Ǡ Ġ  5GBe c4 dB e1| f@&`@@@@@!G  @ ؠ ՠ  5HBv t4+ u@@ c U@@&@@!Y  @    5IB 4= @0@ %1@@&@@!j  @    5JB 4N @#@@&@@!y  @    6KB 4] @@  E2@@&@@!  @    6LB 4n @a AB @@ @@!  @ , ) & 6(MB ȶ4 ɶ@r RBɩ q4v@@4+@@! } @ > ; 8 6:NB ڶ4 ۶B ܶ1 ݶ@@ g 4i  x@@@@@!à w @ T Q N y6POB 4 B 2  @@ @@@@@!֠ r @ g d a t6cPC4B2@ƶ@ǐ@@@@@!蠠 m @ y v s o6uQC4B2.@  /B٩ 4@@@@@! h @    j6RC,*4+B,2C-@  /Wܩ 4@@@@@" c @    e6SCA?4@@ ɠ -/k ͠41 ϠCF3@@4@@") ^ @    `6TCXV5 W@ D / H5@@'z@@"> Y @ Ϡ ̠  [6UCmk5"l@ ,/ + *@@4@@"R T @    V6VC56@ )/ (@@'@@"e O @    Q6WC5I@ &/CBC5C @$V@@ J@@"| A @    C7@CT2C5b@/ >5X5 : </ = = > ] C _ 5d@@4@@ < 9 @ - * ' ;7ACtɶCʶ5˶@p5  V  @@ 6@@ P 1 @ A > ; 37BCݶC޶5߶@5  j l5l m .@@41@@ f - @ W T Q /7CCC5@5Ϡ    Ґ@@ `@@ z * @ k h e ,7DCD 5 @ũ5 ˩ )*@@4Y@@  ' @  | y )7ED5C@ض@ީ   $>@@5@@  # @    %8FD1/50C1@Ѷ@ ϠQ@@5@@   @    "8%GDDB5CCD@@  @@5@@ Ƞ  @    88HDWU6 VDW@@  3@@5@@ ۠  @ ̠ ɠ  8KIDjh6iDj@6 6G 6@@ @@   @    8cJD67D-@6\ \  @@4@@!  @    8wKD6K@+6o D6D @@6"@@!  @   8LD6`@6^/f62 6Z4D @@4@@!4  @%" 8MD6x¶Dnö@ L~6 cW@@6&@@!H  @963 8NDն6ֶD׶@6 vU@@5&@@![  @LIF 8OD6D@6Ġ } @@) @@!o  @`]Z 8PD6D@6ؠ  8 ؐ@@5N@@! @tqn 8QE6D4)@ 6@ @@   @@@@@! @9RE-+6,D-4D.@@  @@ @@6@@! @9$SECA6B@@ ̠0 @@)b@@!Ơ @96TEUS7 T@@@@)r@@!֠ @ǠĠ9FUEec7d@ @  @R@@6@@!蠠 @٠֠9XVEwu7,v@0@ @@)@@! @9hWE7<@@ $D@@)@@"  @9yXE7M@@7q " D@@#e@@" @  9YE7`@7Q@@#v@@"- @9ZE7q@d7 Z$6@@#@@"?ސ @0-*9[E̶7Ͷ@ 7L@@#@@"Pې @A>;9\Eݶ7޶@ g7E޶@ j: @@*@@"dؐ @URO9]E77ˠv f2K@@6C@@"xՐ @ifc9^F77ߠF+_7@@6W@@"Ґ @}zw9_F7 3@@@@@"ϐ @:`F-+7,@9@7@@@@@"̐ @: aF?=7>@K@7@@@@@"àɐ @ @ ?H@`ȠÐ@@@@"ՠ @ @ +bZ@8͠ʠ@@@@"砠 @ @ +bZ@8ߠܠ@@@@" @:ibF8=8` u 2F7˩FDJ@@7@@# @:cF8U@@ ` )+,@@@@@#% @:dF8i@+@ 8 Q@@@@@#6 @'$!:eFö8zĶ@@ N$P ʐ@@@@@#I @:74:fFֶ8׶@@ u@@@@@#Z @KHE:gF8@ q qCu8wF@@7<@@#q @b_\:h@!@"  ې@@8a@@# @tqn:i @@+.@@# @};j @@ ɠB @@)g@@# @;k45@@ Ӡ@@8@@# @;+lHI@@© ՠ %)@@8@@#Ϡ @;?m\]@ն@֩ 頩렩 = =89.@@8@@#砠 @ؠՠ;}@Gvt9'Ub@@8@@ @;AG98 sf@@@@@ @;BGP@@7@@ @;C8e@d@c@G@8LG8@@@@ @;D8y@x@w@G9E@@@@͠ @-*';E9{G^@@@@@ܠ @<96;FGة9o*uܷ9 0@@@@ @NKH;GG4@@@@ @]ZW<HG9Ҡ}4%B@@8K@@  @qnk<IH @@@8Y@@  @|y<$JH9@r@s@$#@@9@@ 4 @<9K9792@@9ܐ@H97@9'@ݩ0@@@@@ M @;<;:I9;C0<JM;:@;5@JE=<;4;4gJIA;1@@@@@<;/ @;1:@JVNFQ@=31JjBJj@@:@@:: @ҠϠ:;AJkc< d\JkF;JK<J:1 Ǡ:/ʠ<,@@;n@@;k:. @:0;KK2*<+J,:I-%ߠ:#i@@;@@;:" @:$;LKG?<@JA9~KHT@@;@@;: @:;MKZRJU@>3ԀZ@>3 KY@@;@@;:  @ڠנ:3h^@@;@@:: @:;'@@;@@:>9 @(%"9DKE=uڠLL@@<@@:۠9 @Š 99@=Z@X%KZ'Q#Z@?3Y@@<@@99~ @ڠנ99ALsk>(l@n@9v3Y>I>@@@@@99u @9w9BL'9m@@>@@99l @9n9CL!L6@@@@@99d @  9f9DLD@@@@@99\ @9^9EL>dULÐ@@>@@9Ҡ9T @+(%9V:FL>u0@@@@@9⠠9L @;859N:GL̩>a!@@@@@99D @KHE9F:%HLܩ>1@@@@@:9< @[XU9>:5IL>>̠t@@>T@@:94 @lif96:FJM>9,>ة>א@@=S@@:%9& @~{x9(:XKM>9>9@L@@@@@:79 @9 :jLM)!>"@>ܐ>Ր@@>@@:I9 @9:|MM;3>4L5@>ʶ@9@@>@@:\9  @9:NMNF?GLH@׶@ة9 @@=@@:n9 @ǠĠ9:O8Y@@?@@:|8 @ՠҠ8:P8g @@?@@:8 @8:Q8ulM"B@9%`@@8@@:8֐ @@84k@>548Ԡ8ΐ@@@@:8Đ @%@9HNP@8à8@@@@:Ơ8 @@836@M?n?9I8,)&8@@@@:ޠ8XBG8A8𢢢`BO88AB @O@8K8JGD8@@@@:9 @m@9?@8\YV8@@@@;9D @@9Lzx@n9@nkh8@@@@; 90 @@98D@9/}z8@@@@;29$ @@9, n @l98@@@@;D@@@@M8~8}𢢢B988}@B99B @8w8h@@">6;+@@@@@7;A @78vA@0L̐@@@@@87 @ȠŠ78B@=Y@;H@@@@@8@ @ؠՠ78C@Mi@Kj@@@@@@8"7ː @78D@\x@Zy@z@"@+t=@@@@@84@N @78E@n@l@@@@@8B7 @77777@N*>@77B7  7q@@@@8U7a @7c8F77ö7S7Ķ@@@F@N$6RC>99@7,M0G7R@  7Q@@@!@@8t@ @@Ƿ@ȷ@`ɩ@7 y7H@@϶@ж@hѶ@@:7DJGD7<@@@@8: @@@@|7,@@@@7(_\Y7$@@@@8:ސ @@@@17@@@@ɐ7tqn7 @@@@86 @@ @@F6@@@@@ݐ66@@@@8Р6 @A#A$@%\6@A 'A (@)@@󐐠66@@@@8砠6А @A:A;@<s6@A">A ?@@@S 6Π6ʐ@@@@86 @A4PA2Q@R6@A8TA6U@V@!@j 6Πˠ6@@@@96 @AKgAIhAi6@AOkAMlAm@%66@@@@9*6 @Aa}A_~A6@AeAcA@@;66@@@@9A6x @6z9GA{AyA0@@ATAV̐@@@@@9V6j @6l9HAAAE@@@@@@@9g6\ @,)&6^9IAA@AxӐ@@A%@@9x6N @=:76P9JAζA϶@AyA@@BC@@96@ @OLI6B: KAA@Ar@@@@@962 @`]Z64:LAA@@Y? @@@@@9@@@@N6$@@@@N6#6" @spm6$=MRP A@k@@@@@=)6 @|6=\SPAAP??@@@@@=;6 @6=nTP-%A&@_@@@@@=J6  @6 =}UB4B5A6@@HAƐ@@@@@=\6 @6=V@@@@@=h5 @5=WB6RB4SAT@@fA@@@@@=z5 @ӠР5=X@@@@@=8\ @ߠܠ5=YPxpB-qP#r_@@@@@=8? @5=ZPB<P2X@@@@@=5ܐ @5=[PBK@@@@@=5Ԑ @ 5=\PBYB|F9<Π<@@@@@=Ơ5̐ @5=]PBm@E7}@@@@@=֠5Đ @/,)5> ^PB}@©iBr@@@@@=砠5 @@=:5>_PѶBҶ@ff@@@@@=5 @PMJ5>*`PBBww@@@@@>5 @a^[5>;aPBBҠ@@@@@>5 @rol5>Lbe@@Bh@@>'5 @}z5>Zc@@@@@>45 @5>gd@DH3p@@B@@>F5 @5>ye @@C@@>T5 @5>f@@@@@>a5| @5~>gQSKCL@;QR@C@@5t@@>u5q @Πˠ5s>hQg_C`=@@@@@>5i @ޠ۠5k>iQwoC,p=r@@@@@>5a @5c>jQC<C_=@@@@@>5Y @5[>kQCN5Q@@@@@>5H @  5J>lQC]Cې@@@@@>Ơ5@ @5B>mQCmCѐ@@@@@>֠58 @/,)5:? nQC}CC|X@@@@@>蠠50 @A>;52?oQҶCө5@@@@@>5( @PMJ5*?*pQCCC#y@@@@@? 5  @b_\5"?6C7DCΠRQ:А@@@@@?`4 @4?vCJRSKDL@A@ԩ4Q4RR{LC4@@4@@?z4ِ @ӠР4?wCdRme@5h5iRcDA_@@4@@?4А @4?xD{R|@u](CR@@4@@?4Ð @4?yC\C[D(@C@R@<A@4;$w4R@/@RD\@H4@~4D 4@@4@@?Ơ4 @   4?zC}C|DI@R@@RDu@a4@4D"4RD R @@D%@@?䠠4 @ = : 74@{CDfϩRѶDҶ@>@4Rϐ@@@@@?4 @ P M J4@*|CDy@R䩷RD@{@4RR@V4@@@@@@4 @ g d a4@A}DŶDĶD@HS@h5!@@4@@@ 4 @ y v s4@S~D׶DֶD @D@{S@4@@@@@@34 @   4@fD*D%D@S)!@P4ζ@@@E@@@F4y @   4{@y@D=D8D2@@S=5@@SA9D:@@4qD4@@@@@@_4o @   4q@ADV DQ DK@DF@SVN@Bƶ@DA P5S\T@4g@SaYEZ@4f@5r 5p@@7@@@4e @ ٠ ֠ 4g@BDw 7Dr 6El@Svn@@SzrE/s@4]@5e$5cSwEV Su @@7@@@4\ @   4^@CD UE SEH@4C@5|@@@@@@4T @   4V@DD iE4@SSE^@N@25SSS@5R@@F@@@ɠ4L @ "  4N@ED D EL@IS@+5ܐ@@4D@@@۠4A @ 4 1 .4CAFD D E^Ƕ@D¶@|Sʶ@v5=@@@@@@49 @ G D A4;A!GD D Eqڶ@Sܶ@5@ @@8@@A41 @ Z W T43A4HD D E@@S@d@SE@4)@5-5 @@8@@A4( @ t q n4*ANIE ҶE  ѶE@E@v@T @5@<6"T4 @@4@@A34 @   4AfJE* E% E@E@@T+#@϶@5686H@@47@@AK4 @   4A~KEB E= @T;d@TB:@)TQ@5E.@TIA@  @@@@@Af4  @   4ALE] EX @@@T]U@ @6|<3 @@@@@A|4 @ ՠ Ҡ 4AMEs 3En 2Tph@F@F(l@ ׶F*n@Ca5@@@@@A3 @   3ANE JE IT@Ez@F>F?t@@@@@A3 @   3AOF'E;:TFPT$)@@D@@A3 @   3APF:ENMTFcTР.@@D@@A̠3 @ % " 3AQFM3ܠ&@@3@@A۠3̐ @ 4 1 .3BRF\ũ3"@@3@@Aꠠ3Đ @ C @ =3H:@TԶFնT֩Fk @@E*@@33 @ U R O3HLATFTFǠ} @@E<@@3Ѡ3 @ g d a3H^BUFTD@@ǩ 3 @֐@@@@@3砠3 @ } z w3HtCU F T F 7@@Ed@@33 @   3HDU( F !T "G 5@@Ev@@4 3 @   3HEU: 2F 3T 4DQ 5@DL@Ʃ;@@@@@43 @   3HFUN FG GT HDe I@V@N@@@@@413 @ Ǡ Ġ 3HGU` XG YU  ZDw [@&`@@@@@4B3 @ ؠ ՠ 3HHUq iG& j@@ Z U@@9@@4T3 @   3HIU {G8 |@0@ %1@@9@@4e3 @   3HJU GI @#@@9@@4t3 @   3IKU GX @@  E2@@9@@43 @   3ILU Gi @a AU @@3@@43} @ , ) &3I#MU Gz @r RUĩ qGq@@G&@@43x @ > ; 83zI5NU ϶G жU ѶD Ҷ@@ g Gd 3s@@@@@43r @ T Q N3tIKOU G U E @@ @@@@@4Ѡ3m @ g d a3oI^PV G U E @ƶ@ǐ@@@@@4㠠3h @ y v s3jIpQV! G! U! E)! @  B=٩ G@@@@@43c @   3eIRV'!G! U!!E>!"@  BRܩ G@@@@@5 3^ @   3`ISV<!4G!5@ ɠ !$Bf ͠G!( ϠVA!*@@G@@5$3Y @   3[ITVS!KH!L@ !; B} !?H@@:u@@593T @ Ϡ ̠ 3VIUVh!`H!a@ ,B + *@@G@@5M3O @   3QIVV|!tH1!u@ )B (@@:@@5`3J @   3LIWV!HD!@ 9*!V=!V!H> @7V@@3E@@5w3< @   3>J@VO!E!V!H]!@!!39HSH : <B =38 > ] V _ H_@@G@@3734 @ - * '36JAVo!V!H|!@pH  V  @@31@@3K3, @ A > ;3.JBV!ҶV!ӶH!Զ@H  j lHg m3)@@G,@@3a3( @ W T Q3*JCV!V!H!@Hʠ    Ґ@@3[@@3u3% @ k h e3'JDV!W!H!@ũHޠ ˩ )*@@GT@@33" @  | y3$JEW"H"V"@ض@ީ  3>@@H{@@33 @   3 K FW,"$H"%V"&@Ѷ@ ϠQ@@H@@33 @   3K GW?"7H"8V"9@@  @@H@@3à3 @   3K3HWR"JI"KV"L@@  3@@H@@3֠3 @ ̠ ɠ 3KFIWe"]I"^W"_@I"Z IB"] I@@3@@33 @   3K^JW}"uI2"vW("w@IW"r \  @@G@@43  @   3KrKW"IF"@+Ij" W"I? @@I@@43  @  3 KLW"I["@IY"fI" IU"W @@G@@4/3 @%"3KMW"Is"Wi"@ L~I cW@@I!@@4C3 @9633KNW"ʶI"˶W}"̶@I vU@@H!@@4V3 @LIF3KOW"ݶI"޶W"߶@I } @@<@@4j2 @`]Z2KPW"I"W"@IӠ  8 ؐ@@HI@@4~2 @tqn2KQX #I#W#G$#@ "I@ 2@@  2 2@@@@@42 @2L RX(# I#!W#"G?##@@ 3@@ @@I@@42 @2LSX>#6I#7@@ ̠#' @@<]@@42 @2L1TXP#HJ#I@@@@;2L\X#ҶJ#Ӷ@ g7Xٶ@ j: @@<@@5_2Ӑ @URO2L]X#J#JƠ# f#שEK@@I>@@5s2А @ifc2L^Y#J#JڠY&_J@@IR@@52͐ @}zw2L_Y$J$ E#@@@@@52ʐ @2M `Y($ J$!@9@$J$@@@@@52ǐ @2MaY:$2J$3@K@J$/@@@@@52Đ @ @3:_@`2à2@@@@5Р2 @ @3 4?q@82͠ʠ2@@@@5⠠2 @ @34?r@82ߠܠ2@@@@52 @2MdbY${K8$|K[ $l EY7˩YDJ@@J@@6 2 @2M|cY$KP$@@ ` )+2,2@@@@@6 2 @2MdY$Kd$@+@ 8 Q@@@@@612 @'$!2MeY$Ku$@@ N$P2 ʐ@@@@@6D2 @:742MfY$˶K$̶@@ u@@@@@6U2 @KHE2MgY$ܶK$ݶ@ q qCuKwY@@J7@@6l2 @b_\2Mh2$2$@!@"  ې@@K\@@6~2 @tqn2Mi2% $@@>)@@62 @}2Mj2%2%@@ ɠB @@@@© ՠ %)@@K@@6ʠ2 @2N:m2%Q2%R@ն@֩ 頩렩 = =KL .@@K@@6⠠2 @ؠՠ2Nx@Zq%iL"%c%%Y@@K@@22 @2NAZ%zL3%t%j%$@@@@@22 @2NBZ%P@@J@@22 @2NCKe@d@c@Z%@2KLZ%K@@2@@22 @2NDKy@x@w@Z%L@$@@2@@2Ƞ2 @-*'2NELvZ%^@@@@@2נ2 @<962NFZ%ͩLo=p%ѷL% 0@@2@@2頠2z @NKH2|NGZ%ߩG @@2@@22z @]ZW2|NHZ%L͠%%ީG %B@@KF@@3 2z @qnk2|OI[ &@@@KT@@32z @|y2|OJ[&L&@r@s@& 7&6@@L|@@3/2z @2|O4KL2L-@@Lא@[4&,@L"@ݩC&@@@@@3H2z @2|OML2z2xLD[U@[F&0&0@[N&FM&G@2vL8 @[S&K@M &M2uL=L&;[X&PM &Q2t@@<@@3h2s @͠ʠ2uOmM22 @M&aM&@[l&dL@[o&gM$&h@2Ch@@<@@3@@@@ZX2s2r2u2q&&[ @%@%[b2R@@@@[K[H @%@%[62@@2=@@[Y[' @ 2;h]@L%%v[1#?2@[g4ǀ@@27@@[oZ @$!23hsA&<%&@@20@@[~Z @30-2*hB[&ĩ&L'%&*[Ő@@2'@@[Zϐ @FC@2!hC7@\*!<@@@@@[@@@@Z2䠠2y2!2&&\0 @&@&ɐ[Ӡfc`2@@@@[[ @&@'[tqn1@2@@[ʠ[ @|y1h@M'&\N12U@[F5@@2@@[ࠠ[b @1hA'''@@2@@[[Q @1hB\=';'-'''*\6@@2@@\[@ @1iC7@\+ <@@@@@\@@@@[:3U1 @ʠǠ@iD\c'['SM\r@@L@@\%@@@@[K3f+isomorphism @"f1's"f2&\&Mة\&\p\~'|\'\~Mv\\'}'uN\@@'@\r22 '@\v3Q @ \w  +k() +7T 7 7! 7 7%'+7T   7!7%'   7%'&7D\ŰlP''t''0&`@@@@@\u+iso_nat_iso @@iwE25@Y-m'A&@@@@@\@@@@[@@@@ ӳ2@ ӳ2[)Datatypes$Init#Coq@@A@ Գq@ Գq\ @A@AB[[[E@@@&Basics'Program#Coq@0!bs߯? :VU$Bool#Coq@0j 2cZ`FW*CMorphisms'Classes#Coq@0qیZBeϠ0CRelationClasses'Classes#Coq@0TL;0RUfw1210@0.i bYN Z)Decidable%Logic#Coq@0ND걸풬/Oߠ'Decimal$Init#Coq@0C涳N*ua*Equalities*Structures#Coq@0όe얟)H.Ƞ+Equivalence'Classes#Coq@07;ꮹ-GenericMinMax*Structures#Coq@0måj$$Init'Classes#Coq@0](p{yOh.\f\e\d@0\͉!Ig*Logic_Type$Init#Coq@0 1jc6\\\@0Imӽ%\$PD.Morphisms_Prop'Classes#Coq@0% :B'.>u%d]d\d[dZdY@0Zخb1Z3uuѠQl0 Y?V vI%NZAdd&NatInt'Numbers#Coq@00h`ZK4*NZAddOrder&NatInt'Numbers#Coq@0e~1>r砠(NZAxioms&NatInt'Numbers#Coq@0] ρ5r&NZBase&NatInt'Numbers#Coq@0^&8yUL&NZBits&NatInt'Numbers#Coq@0MlIpKt%NZDiv&NatInt'Numbers#Coq@0$ |J?d (w%NZGcd&NatInt'Numbers#Coq@0KgT7|%NZLog&NatInt'Numbers#Coq@0ꔉ .uV%NZMul&NatInt'Numbers#Coq@0ctR~6[Ƞ*NZMulOrder&NatInt'Numbers#Coq@0}\^ !"k}@R'NZOrder&NatInt'Numbers#Coq@0 q;Ve7R W,(NZParity&NatInt'Numbers#Coq@0H>ca'^^%NZPow&NatInt'Numbers#Coq@0)6*9 B:vȻ,NZProperties&NatInt'Numbers#Coq@01D%E`|3x&NZSqrt&NatInt'Numbers#Coq@0` .%m#Nat$Init#Coq@0eʤģPSR蠠)Notations$Init#Coq@0&v!D]hwnv *NumPrelude'Numbers#Coq@05WUVŦ]xVXԠ4Operators_Properties)Relations#Coq@0U3y#h&&Orders*Structures#Coq@0$Znl0\͗+OrdersFacts*Structures#Coq@05Mܿ獐ζΖLB)OrdersTac*Structures#Coq@05'4Ԗ+9%%Peano$Init#Coq@0 jha|ؠ'Prelude$Init#Coq@0JqTttֱ]]]@0Gz rA6ՠ]]]@0]4Ѐd{n^2Relation_Operators)Relations#Coq@0%s鯰s)Relations#Coq@0-SetoidTactics'Classes#Coq@0S_`nOU$&Specif$Init#Coq@0;RWMi\N'Tactics$Init#Coq@0/9m+ a'Tactics'Program#Coq@03kmrHȠkkd5@_2 Q@@@@"_8]@A@@@@@@@@"_92M접 @#_10'`o@A.function_scope@A@^2 Q@@@@#_11k@^ S%$@#_122M접 *NAxiomsRec@f8W#_13'`o@A@@^@^2 Q@@J@#_14k@^6@A@@@@L@#_152M접 #_16'`o@@@@#_1746@@^L@@@!#_18X@3typeclass_instances^@@@__}^__^ϐ_z^ѐ/@@@@U^e l@ 3Coq.Numbers.Natural.Abstract.NIso.Homomorphism#<>#1;@^2 Q@@@@#_19l)@^#@A@@@@@#_202M접 #_21'`o@@@@^2 Q@@@@#_22lH@^R@A@@@@@#_232M접 #_24'`o@A@@_@^2 Q@@@@#_25lk@^4@A@@@@@#_262M접 #_27'`o@@@@@^rHȠ^Y@T\rHȠ@TW@TY^Tc^@A@STP@@(6@Ye@A@A1@Ye@A@1@Ye@A@AB1@Ye@A@1 @Ye@A@A1-@Ye@A@1@Ye@A@ABC1@Ye@A@1d@Ye@A@A1@Ye@A@1@Ye@A@AB1l@Ye}@A@1t @Ye{@A@1~@Yey@A@1n@Yew@A@ABCDE@A7rHȠ@6@7^7 ^@A@lTz@@(6@Ye@A@A1@Ye@A@1@Ye@A@AB1@Ye@A@1 @Ye@A@A1-@Ye@A@1@Ye@A@ABC1@Ye@A@1d@Ye@A@A1@Ye@A@1@Ye@A@AB1l@Ye@A@1t @Ye@A@1~@Ye@A@1n@Ye@A@ABCDE@e7$@@)8@Te@A@A22 @Te@A@29@Te@A@AB29@Te@A@2:@Te@A@A2/@Te@A@2@Te@A@ABC2ӄ@Te@A@2f@Te@A@A2֬@Te@A@2@Te@A@AB2n@Te@A@2 @Te@A@2@Te@A@2@Te@A@ABCDE@AB6rHȠ@7I@7K_76_>@A@m7N@@)8@U f@A@A22 @U f@A@29@U f@A@AB29@Uf@A@2:@Uf@A@A2/@Ue@A@2@Ue@A@ABC2ӄ@Ue@A@2f@Ue@A@A2֬@Ue@A@2@Ue@A@AB2n@Ue@A@2 @Te@A@2@Te@A@2@Te@A@ABCDE@eT@@(6@ZYf)@A@A1@ZXf'@A@1@ZWf%@A@AB1@ZVf#@A@1 @ZUf!@A@A1-@ZTf@A@1@ZSf@A@ABC1@ZRf@A@1d@ZQf@A@A1@ZPf@A@1@ZOf@A@AB1l@ZNf@A@1t @ZMf@A@1~@ZLf@A@1n@ZKf @A@ABCDE@AB6A2 Q@@A@#_31_@6LE@A@@@@@#_322M접 #_33'`o@A@@6Y@@67rHȠ651@7ĠrHȠ@7@76B7_@A@mv+ݠ@@)8@1Cf}@A@A22 @1Bf{@A@29@1Afy@A@AB29@1@fw@A@2:@1?fu@A@A2/@1>fs@A@2@1=fq@A@ABC2ӄ@1<fo@A@2f@1;fm@A@A2֬@1:fk@A@2@19fi@A@AB2n@18fg@A@2 @17fe@A@2@16fc@A@2@15fa@A@ABCDE@f`+@@*&:@,7f@A@A3Q @,6f@A@3X@,5f@A@AB3Y@,4f@A@3Y@,3f@A@A31@,2f@A@3@,1f@A@ABC3@,0f@A@3h@,/f@A@A3@,.f@A@3@,-f@A@AB3p@,,f@A@3 @,+f@A@3@,*f@A@3@,)f@A@ABCDE@AB7JrHȠ@8 @8 67Q_@A@m,'@@*&:@,af@A@A3Q @,`f@A@3X@,_f@A@AB3Y@,^f@A@3Y@,]f@A@A31@,\f@A@3@,[f@A@ABC3@,Zf@A@3h@,Yf@A@A3@,Xf@A@3@,Wf@A@AB3p@,Vf@A@3 @,Uf@A@3@,Tf@A@3@,Sf@A@ABCDE@f,I@@)8@1f@A@A22 @1f@A@29@1f@A@AB29@1f@A@2:@1f@A@A2/@1f@A@2@1f@A@ABC2ӄ@1f@A@2f@1f@A@A2֬@1f@A@2@1f@A@AB2n@1f@A@2 @1f@A@2@1f@A@2@1f@A@ABCDE@AB*rHȠ@*@*蠢6*`I@A@`A,s@@)8@1g@A@A22 @1g@A@29@1g@A@AB29@1g @A@2:@1g @A@A2/@1g @A@2@1g@A@ABC2ӄ@1g@A@2f@1g@A@A2֬@1g@A@2@1f@A@AB2n@1f@A@2 @1f@A@2@1f@A@2@1f@A@ABCDE@[4,@@*&:@,g4@A@A3Q @,g2@A@3X@,g0@A@AB3Y@,g.@A@3Y@,g,@A@A31@,g*@A@3@,g(@A@ABC3@,g&@A@3h@,g$@A@A3@,g"@A@3@,g @A@AB3p@,g@A@3 @,g@A@3@,g@A@3@,g@A@ABCDE@AB;rHȠ@+1@+37#B`@A@`,@@*&:@,g^@A@A3Q @,g\@A@3X@,gZ@A@AB3Y@,gX@A@3Y@,gV@A@A31@,gT@A@3@,gR@A@ABC3@,gP@A@3h@,gN@A@A3@,gL@A@3@,gJ@A@AB3p@,gH@A@3 @,gF@A@3@,gD@A@3@,gB@A@ABCDE@[,ߠ@@)8@2Eg@A@A22 @2Dg}@A@29@2Cg{@A@AB29@2Bgy@A@2:@2Agw@A@A2/@2@gu@A@2@2?gs@A@ABC2ӄ@2>gq@A@2f@2=go@A@A2֬@2<gm@A@2@2;gk@A@AB2n@2:gi@A@2 @29gg@A@2@28ge@A@2@27gc@A@ABCDE@AB2 Q@@@@#_34=@A@@@@+@#_352M접 )#_36'`o@B(*@AA@`2 Q@@@@#_377@k%\j@A@@@@P@#_382M접 #_39'`o@@@@@@@.5h^f%Gx DŽ@R<(bZn8/ @/B':$ @# ^@ӄ   !x@"N1$NIso(Abstract'Natural'Numbers#Coq@@!t0!y!H@"eq0BAȐ!R 4Relation_Definitions)Relations@(relation'Jj0Ȑ"H0Ȑ"R0)Morphisms'Classes2@*respectful%WO?C@A"N2D@:12   @41-!nV!pȐ"H1<:0c@,recursion_wd&^8%C2'@@m)M688q-X$r@)recursion'4Y6@$zero1n/RelationClassesH@+reflexivity(ϓ/E< @5Equivalence_ReflexiveB@1'Inverse-NBasePropMod1@)inductionз@1%Hom21@QC%Hom12@?Հ01(A@#iffС)N@.iff_Transitive*z-)!3/'@,PER_morphism q$S>f@/Equivalence_PER/;ZEZ@\toD@6natural_isomorphism_wd-  A@,ց44$$8&:8@-iff_Reflexive/h-CvAa?ccC$@yD{FfDh񩚠C@29a@1n @2$|9xz 8  v@$ @T&"IH'6@1~?@2瀀w&$2m?@:(HZ*Kà$B$N(S@::LȀ]N$Z $@Rc**$dH=fC+Isomorphism@ =뀐 @,(@ BY@- WD@22  @29'iEy@3Q @3X5&&@@+hom_nat_iso)Ua6)5@-À-h'O)Inverse12@/inverse_nat_iso-59>X)Inverse21@ -G>C`@+isomorphism-m`OӇѮym