"` o'NAxioms(Abstract'Natural'Numbers#Coq@$Bool#Coq@2Relation_Operators)Relations#Coq@4Operators_Properties)Relations#Coq@)Relations#Coq@*Equalities*Structures#Coq@&Orders*Structures#Coq@4Relation_Definitions)Relations#Coq@-SetoidTactics'Classes#Coq@&Setoid'Setoids#Coq@$Init'Classes#Coq@/RelationClasses'Classes#Coq@)Morphisms'Classes#Coq@.Morphisms_Prop'Classes#Coq@*NumPrelude'Numbers#Coq@-GenericMinMax*Structures#Coq@(NZAxioms&NatInt'Numbers#Coq@(NZParity&NatInt'Numbers#Coq@%NZPow&NatInt'Numbers#Coq@&NZSqrt&NatInt'Numbers#Coq@%NZLog&NatInt'Numbers#Coq@%NZDiv&NatInt'Numbers#Coq@%NZGcd&NatInt'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@&NZBits&NatInt'Numbers#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̂"&/r'Prelude$Init#Coq@0JqTttֱB0j 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}@R0H>ca'^^0)6*9 B:vȻ0` .%m0ꔉ .uVې0$ |J?d (w֐0KgT7|0MlIpKt?Sf0 r`愕a*ZYX:Р'NAxioms(Abstract'Natural'Numbers#Coq@ A&NAxiom@@"NZ@!t @J %'A*Equalities*Structures#Coq@@@@@ %'@ @A@A@@@AA@@A@"eq @^@)@%0@.@*0A@@@@@(eq_equiv @@/RelationClasses'Classes1@+Equivalence~@J@F0N@/7@@@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@"eq7@7@]+叀@@@AviA4'Classes#Coq@@A@@n'pred_wd @@E@@0@09@0@0@47@87@}+@@@A3@A@@)pred_succ @@!n@0@S7@+"@+叀A@@@@@,bi_induction @@!A@5@0A@@?@0 E@0I@7%Logic$Init@#iffС)0@B[@,@Ra@0DCl@+叀Jbq@ 0EQ@@@kA@A@@#one @T@0@@@@@#two @T@+0@@@@@*(one_succ @@@7@*Ի@:+叀@Q,@@@@@G(two_succ @@@7@9}@W+叀@QԻ@@@@@d@(NZAxioms&NatInt'Numbers#Coq@,NZDomainSig'@@@@0@@0J@@A@A7@@7^@@A@Ի@@pԻT@@A@AB}@@e}T@@A@+@@o+d@@A@+@@+叠r@@A@,@@,T@@A@ABCD@&pred_0 @@@ @@"eq7@+@,@@@@@AA@@A@@@@@@@@.NAxiomsMiniSig3@&  @ @ @.8J@@38J @@@ @@>8J @'8 ƀ@@@- @뚠)@8J@@@栠 @@3@8J7@8J@@@ސ @ݶ@A@8JE@8J@@@ِ @ةװ@Q@8JU@8J[@8J_@8Jc@8 ƀg@8 ƀk@"8(@@@( @@w@78J{@;8J@A8J@E8J@8 ƀ@8 ƀ@58(gK@@@N @@[8J@8 ƀ@J8(gK@c8(@@@i @@@w8J@E@@8J5@8J@,8 ƀ̶@@8)a怶@횠@8J@8(@8J@@@ @@8J@@@ @@8J@@@ @@c8 ƀ@8쀩 @8(@8)a怐@@@̠ @@|8 ƀ@8#@8((@8쀐@@@堠"lt @h@5@!t8J@;@8JA@@@@@AA@@A@"le @h@O@8J@T@8J@@@@@%lt_wd @@갶@d@$8J@i@)8JZo@/8J@t@48Jex@8 ƀ~@>8Jo@8 ƀ_@"lt8N@@@A@A@@H+lt_eq_cases @@@W8J!m@^8J|@`8?w@"or @@-8N@8 ƀ@@@@@w)lt_irrefl @@ݚ@8J@#notШ@L8N֐@@@@@)lt_succ_r @@@8JJ@8JĠ@g8N@8(@8?S@@@@@#add @d@@8J@ @8J@8J@@@@@Ϡ#sub @d@@8J@$@8J(@8J@@@栠#mul @d@6@8J@;@8J?@8J@@@&add_wd @@԰@N@8J@S@8JW@8J]@8J@b@"8Jf@&8Jj@8 ƀp@08Jt@48Jx@8 ƀ|@8 ƀ@8o@@@A@A@@A&sub_wd @@@@R8J@@W8J@[8J@a8J@@f8J@j8J@8 ƀ$@t8J@x8J@8 ƀ@#8 ƀ@8@@@A@A@@&mul_wd @@\@@8J@@8J@8JU@8J@@8J@8J@U8 ƀh@8J@8J@c8 ƀ@g8 ƀ@8@@@&Ab@A@@ɠ'add_0_l @@/@8J@8 ƀ#@&8o(@8)a++@@@@@砠*add_succ_l @@M6@8J;@8J@@8 ƀF@I8oL@8(PR@ 8(X@[8o@@@@@'sub_0_r @@}f@&8Jk@8 ƀq@\8uv@?8)ay@@@@@5*sub_succ_r @@@D8J횠@I8J@8 ƀ@8f@Q8(@C8(gK@8@@@@@d'mul_0_l @@ʚ@s8J@8 ƀ@8@8)aƚ@8)a怐@@@@@*mul_succ_l @@욠@8J>@8J@B8 ƀ@8@8(@8o@8Q@@@@@#max @d@@!t8J@ @8J@ 8J@@@@@AA@@A@%max_l @@!x"@8J!y)@$8J@/@"le8?AB8@"eq8 ƀ?@D86C@@@@@2%max_r @@/O@J8J-T@O8J@Z@+8?)*`@(8 ƀf@k86'4@@@@@W#min @d@u@p8J@z@u8J~@y8J@@@@@o%min_l @@l@8Jj@8J@@h8?=@d8 ƀ@78Ācb@@@@@%min_r @@@8J@8J@@8?@8 ƀ@[8Ā@@@@@ @󩚠@8 ƀ@|8(gK@8)a怚@8)a怐@@@@@@ %'@A@;@@AB@@8J@@8J0@A@A8 @@8 /@A@8?@@8?h@@A@AB8N@@8Nh@@A@8o@@8od@@A@A86@@86d@@A@8@@8Ġd@@A@ABC8@@8d@@A@8@ @8E@A@A8@ @8d@@A@8@@8I@A@A8(gK@@8(gKG@A@8(@@8(F@A@8)a@@8)aE@A@ABCDE@/NAxiomsMiniSig'P@C) @(@ @K(^@@P(^&@$@@;" @! @[(^ @D(^u@@@J  @)@(^@@@ @@3@(^7@(^@@@ @@A@(^E@"(^@@@ @@Q@.(^U@2(^[@8(^_@<(^c@(^ug@(^uk@?(k]o@@@Eא @֩@w@T(^{@X(^@^(^@b(^@ (^u@ (^u@R(k@@@kѐ @жϚ@x(^@ (^u@g(k@(k]o̐@@@ɐ @ȶǶ@@(^Ŷ@b@@(^ͩR@(^Ӛ@I(^u@@(l@ @(^Ѡ@(k]o@(^@@@ @@(^@@@Ǡ @@(^@@@Р @@(^u@(_L @(k]o@(l@@@頠 @@(^u@(_T]#@(k]o(@(_L@@@ @@2@(^@7@(^@@@ @@A@)(^@F@.(^(@@@$  @ @R@/(^@W@4(^e]@:(^@b@?(^pf@(^ul@I(^zp@(^ujt@ (^@ @@N @~@[(^@`(^~@b(^@((^ @(^u@@@p @Ԛ@}(^@>(^@@@ @嚠@(^7@(^@T(^@(k]o䩚@(^@@@@ @@@(^@@(^@(^@@@ @@@(^@@(^@(^@@@Ƞ @@@(^@@(^@(^@@@۠ސ @ݩ@ @(^@@(^@(^@(^@!@(^%@ (^)@(^u/@ (^3@ (^7@(^u;@(^u?@_(_8@@@ ؐ @ש@K@ ((^@P@ -(^T@ 1(^Z@ 7(^@_@ <(^c@ @(^g@(^um@ J(^q@ N(^u@(^uy@(^u}@(_R@@@ WҐ @ѩ ,@@ f(^@@ k(^@ o(^ %@ u(^@@ z(^@ ~(^@ %(^u 8@ (^@ (^@ 3(^u@ 7(^u@(_JU@@@ ̐ @˶@ (^@ J(^u@(_8@ (l@@@ Ȑ @Ƕ @ (^e@ (^@ i(^u@(_8@ (k]o @ (k]o@ (_8x@@@ ڠÐ @¶ > @ (^@ (^u@(_R 6@ (l :@@@  @ X$@ (^)@ (^.@ (^u4@<(_R #:@ (k]o [?@ (kE@M(_R@@@  @ O@ ,(^T@ (^uZ@K(_JU_@ E(l c@ I(l@@@ = @ m@ J(^󚠐r@ O(^w@ (^u}@n(_JU@ W(k]oT @(_8@(_JU @@@ h @@@(^@@(^@(^@@@ @@(^@(^@@(^@(^u@(_H@@@͠ @Ț@(^ƚ@(^@@(^@(^u@(_H̐@@@ @@@(^@@(^@ (^@@@ @@(^@(^@ @(^̩@(^u@(_Is@@@  @@6(^#@;(^@)@(^.@(^u4@(_Is@@@@ } @ |>@ t(^uD@ (kI@ /(lM@ 3(l@ w@@ u@@@ %' z@A@ @ C@AB@@(^@Y@ (^ @A@A(^u@[@ (^u @A@(^@^@6(^@A@AB(^@`@R(^@A@(_8@d@(_8@A@A(_H@f@(_H@A@(_Is@i@(_Is@A@ABC(_JU@k@\(_JU@A@(_L@o@ 8(_L @A@A(_R@q@y(_R@A@(_T]@u@ 0(_T] @A@A(k@w@ 8(k @A@(k]o@z@ N(k]o @A@(l@}@ c(l @A@ABCDE@,NDivSpecific @A!N @ ʠ  @ @ @  Ā@@  Ā @ @@    @  @  Ā @  @@ @@ Ѡ  @ )@  Ā@ @@   @ @3@  Ā7@  Ā@ @@   @ @A@  ĀE@  Ā@ @@  } @ | {@Q@  ĀU@  Ā o[@  Ā_@  Āc@ j @g@ n @k@  z:@ i@@ ̠ ^ @ ] @w@  Ā{@  Ā @  Ā@  Ā@  @@  @@  %ŀ@ \@@  X @ W V@  Ā@  @@  %ŀ@  z: T S@ R@@  P @ O N@@  Ā L@ 鰶@@ # Ā T @ ) Ā Z@  @ J p@ @@ = `@ @ : Ā X ? ?@ : z:  @ H Ā =@ ;@@ E 7 @ 6@ Q Ā@ 4@@ N 2 @ 1@ Z Ā@ /@@ W - @ ,@  @@ U if @ e z:@ | `@ +@@ p ) @ (@  @@ ` q(#@ ~ z:(@ x if@ '@@   @ @2@  Ā@7@  Ā @ @@   @ @A@  Ā@F@  Ā @ @@   @  |@R@  Ā@W@  Ā  q]@  Ā@b@  Ā f@ m @ l@  Ā p@ w @ 񚠐t@  Ȁ@ @@ ՠ  @  9~@  Ā @  Ā @  ̹  @  Ȁ @  @ @ @@   @  [@  Ā ~@  Ȁ y@ x@@  v @ u l@  Ā @  Ā 8@  Ȁ 3@  z: k@ ' ̹ ǐ@ t@@ ) r @ q@@ 6 Ā@@ ; Ā@ ? Ā@ o@@ < m @ l@@ I Ā@@ N Ā@ R Ā@ j@@ O i @ h@@ \ Ā@@ a Ā@ e Ā@ f@@ b e @ d 7@ @ q Ā@@ v Ā@ z Ā 0@  Ā@!@  Ā%@  Ā)@ 0 @ C/@  Ā3@  Ā7@ > @;@ B @?@  T逐@ c@@  _ @ ^ u@K@  Ā@P@  ĀT@  Ā nZ@  Ā@_@  Āc@  Āg@ n @ m@  Āq@  Āu@ | @y@  @}@  o@ ]@@ ޠ Y @ X @@  Ā@@  Ā@  Ā @  Ā@@ Ā@ Ā@  @ @ Ā@ Ā@  @@  @@ 3 g @ W@@ S @ R @) Ā@  @@ w T造@B ` | |@ Q@@6 O @ N @C Ā 욠@H Ā@  @@  T造@P z: M @U z:@  T @ L@@a J @ I Ś @n Ā@ @@  o @ ` @ H@@{ F @ E ߚ$@ Ā 1)@ Ā.@5 @4@  o :@ z: ⩚?@ %ŀE@  o D@ D@@ B @ A O@ ĀT@[ @Z@  g _@ `c@ `@ @@@Ġ > @ =(m@ Ā zr@ Āw@~ @}@  g @ z: *@ / T造@  g  5@ <@@ : @ 9@@ 7 Ā@@ < Ā@ @ Ā@ 6@@ 4 1 @ 0 /@ J Ā -@ O Ā@@ + ̹ *@ ' @@ j e & %@ $@@ T " @ ! O@ j Ā M@ o Ā@@ K ̹ @ G @@  e F S@ @@ t  @ @@  Ā@@  Ā@  Ā@ @@   @  @  Ā @  Ā@ @ ~ ̹ S@ z @@ M f> y x@ @@   @  @  Ā #@  Ā@)@  ̹ .@  @4@ m f>  @ @@ Ǡ @>@  @D@ %ŀI@ `M@ `@ @@ @(@@@ @Y@ @@A@A @@[@ @?@A@ ̹@^@  ̹ @A@AB @`@   @A@ T@d@  T @A@A e@f@  e @A@ f>@i@  f> @A@ABC g @k@  g  @A@ if@o@ ifO@A@A o@q@  o @A@ q(@u@ q(R@A@A %@w@ %P@A@ z:@z@ z:O@A@ `@}@ `N@A@ABCDE@B"DMa@#div @d@@!t Ā@@ Ā @  Ā@@@@@AA@@A@&modulo @d@@ Ā@"@! Ā&@% Ā@@@@@@%NZDiv&NatInt'Numbers#Coq@'DivMod'8@@@@%@L@H%d@@A@A.#&@O@..#&d@@A@B@/mod_upper_bound @@!aA@Q Ā!b @%Logic$Init@#notШ@ @A@i `"@"lt ȀB@h.#&CB@@@@@@@@@@*NAxiomsSig@ࠠƐ @Ŷ@ @@뀶@@@Ð@@@ؠ @@@뀚 @Hg@@@砠 @)@@뀐@@@ @@3@@뀚7@@뀐@@@ @@A@@뀚E@@뀐@@@ @@Q@@뀚U@@뀩[@@뀚_@@뀚c@Hgg@Hgk@a@@@⠠t @s@w@@뀚{@@뀩@@뀚@@뀚@Hg@Hg@쀐@r@@n @ml@@뀩@Hg@쀐@aji@h@@#f @ed@@1@b@@@9@j@?@p@Hg`@V@S@@P@뀩nUU@Pa@^@S@Q@@[M @L@g@뀐@J@@dH @G@p@뀐@E@@mC @B@Hg@k區 @{a@@A@@? @>@6Hg@vO#@a(@區@=@@ @@2@@뀶@7@@@@@ @@A@@뀶@F@@Ő@@@ @@R@@뀶@W@@]@@뀶@b@@ f@Hgl@@p@Hgt@H@@@렠 @O~@@뀶@@뀩@H@H@Hg@@@  @q@@뀩@H@@@ @@+@뀶Ԛ@0@뀩N@HI@4a@=Hݐ@@@? @@@L@뀶@@Q@뀚@U@뀐@@@R @@@_@뀶@@d@뀚@h@뀐@@@e @~@@r@뀶@@w@뀚@{@뀐@|@@x{ @zM@ @@뀶@@@뀚@@뀩F@@뀶@!@@뀚%@@뀚)@FHgY/@@뀚3@@뀚7@THg;@XHg?@@y@@u @t@K@@뀶@P@@뀚T@@뀩Z@@뀶@_@@뀚c@@뀚g@Hgm@@뀚q@@뀚u@Hgy@Hg}@"변@s@@o @nɰ@@@뀶@@@뀚@ @뀩@@뀶@@@뀚@@뀚@Hg@%@뀚@)@뀚@Hg@Hg@IG@m@@2i @h@?@뀩@Hg@@X@g@@Le @d@Y@뀶@^@뀩@Hg@@fac@ka@@b@@w` @_ۚ @@뀩@,Hg@변Ӛ@א@^@@\ @[$@@뀶G)@@뀩.@KHg4@변:@a?@쀐E@변Z@Z@@X @W O@@뀩T@qHgZ@G_@c@@V@@ڠT @S>m@@뀶r@@뀩w@Hg}@ G@a@@E@GK@R@@P @O@@M@뀶@@R@뀚@V@뀐@L@@JG @FE@`@뀶C@e@뀶@@AH@@=Hg@׀<;@:@@j8 @7e@@뀶c@@뀶@@aH6@]Hg@׀\i@5@@3 @2@@@뀶@@@뀚@@뀐@0@@. @-@@뀶@@뀶@ @Hi@Hg@ce@,@@* @)@@뀶#@@뀶@)@H.@Hg4@e@(@@ݠ @>@HgD@쀐I@M@@@@'compare @d@Z@!t@뀶@`@@뀛)Datatypes$Init#Coq@@*comparison;f@@@@@@AA@@A@,compare_spec @@!x@&@뀶!y@-@뀩(@+CompareSpec!Q]@@"eqHgBA@"ltH @H @Y)۔@@@@@<#eqb @d@@!t@뀶@@@뀛)Datatypes$Init#Coq@@$boolZ'@@@@@@AA@@A@#ltb @d@@@뀶@@@뀛@$boolZ'@@@@@@{#leb @d@@@뀶@@@@@@@@&eqb_eq @@!x @T@뀶!y@[@뀩%LogicU@#iffС) @"eq @g*@|שBApA5@Hg @@@@@j<b_lt @@ŚC@@뀶ÚH@@뀩%Logic@#iffС) @ @w^@ɜ}Af@Hѐ@@@@@&leb_le @@t@@뀶y@@뀩1)@ऀ$@"leH@@@@@$even @d@@!t@뀛)Datatypes$Init#Coq@@$boolZ'@@@@@@AA@@A@#odd @d@@ @@@@@@$Even @!n@!A(NZParity&NatInt'Numbers/@:7퀩%Logic:@"ex @!m@"eq7iB$@#mul7I*@#two7QA@@@.-,+Y@@@@@@@@A@AHg@@Hg@A@H@ @~H@A@ABH@ @H@A@@@@A@Aש@@dשd@@A@@@)ठd@@A@@@Gd@@A@ABC@@@A@e@ @oe@A@ADEG@"@G@A@@'@@A@A@)@@A@O@,@O@A@AB@.@@A@a@1@a@A@@4@@A@)۔@7@)۔d@@A@ABCDF@A@(NZParity&NatInt'Numbers#Coq@yF@A@@L@!t@뀔A t+k+ 77%'77!7%'Рv`kHtPldr/@@@ %'A*Equalities*Structures#Coq@A1@D%Logic$Init#Coq@@A@@Ԡ#Odd @·é@#add7@#one7^@֚@Q@P +k+ 77%'6 77!7!7%'ĐtPXܐl'd$DdƠ@@@TAL@A@@)even_spec @@@4@뀩@#iffС)@ @A@Qတ유HA@+' @@@@@B(odd_spec @@/@^@뀩*%a@Q΀ @%@@@@@^#pow @d@@!t@뀶@@@뀚@ @뀐@@@@@AA@@A@&pow_wd @@)Morphisms'Classes#Coq@@&ProperL@;@)@뀶@@@.@뀚D@2@뀩@*respectful%WO?O@=@뀶@T@B@뀚X@F@뀚\@"eqHgc@Q@뀚g@U@뀚k@Hgo@Hgs@k@@@ %'A*Equalities*Structures#Coq@AviAT'Classes#Coq@@A@@h'pow_0_r @@!a@@뀩@=Hg@A@$zero@#one區@@@@@*pow_succ_r @@'@@뀶!b@@뀶@@"leH@',@uHg@C@$succaB@#mulG@@@@@@Ҡ)pow_neg_r @@j@@뀶C@@뀶@@"ltHi @h@Hg@+@w@@@@@$sqrt @d@+@!t@뀚0@@뀐@@@@@AA@@A@)sqrt_spec @@!aC@@뀶@I@"leHO@$zeroA%Logic$Init#Coq@@#andЖw@e@Hk@#mulGr@Q뀐By@X~@"ltH @G@$succa@q @ a@|+@@@@@m(sqrt_neg @@j@@뀶@@3Hb@g@"eqHg@P@w@@@@@$log2 @d@@!t@뀚@@뀐@@@@@AA@@A@)log2_spec @@!a@@뀶@@"ltH@$zeroA%Logic$Init#Coq@@#andЖw@ @"leH @#pow @#twoO "@W2yB )@6H /@ 4@O 9@$succa @@u2y@@@@@f+log2_nonpos @@c N@y@뀶@ T@EH[ Y@` ^@"eqHg e@2yC i@p@@@@@#gcd @d@ x@!t@뀶@ ~@@뀚 @ @뀐@@@@@AA@@A@÷ @!nA!A%NZGcd&NatInt'Numbers#Coq@@)0Re!m%Logic$Init@"ex @!p"#@"eq0RဠB+@#mul0S_AC@@F10/.-@ Π@G@@ @)Πd@@A@A@@ @d@@A@AB@O@@ @Rd@@A@2y@ @2yd@@A@ABCD@@ @d@@A@AaCEF@A@%NZGcd&NatInt'Numbers#Coq@\ @A@@@B!B36e@@:.I@@:.Id@@A@A@A@ )NZGcdSpec @@@A@@@AwFI@@2 @Q@!t2 J@@A@A2f@@"eq2f^@@A@2@ @"le2ߠh@@A@AB2@@"lt2h@@A@2ɛ@@#add2ɛd@@A@A2ɫ@@#max2ɫ֠d@@A@2ɬd@@#min2ɬdd@@A@ABC2ɭF@!@x2ɭFd@@A@2ɯ@&@#one2ɯT@@A@A2ɵ@*@#sub2ɵd@@A@2ɷN@0@#two2ɷNT@@A@A2k@4@$pred2kd@@A@2`@9@$succ2`r@@A@2f@>@$zero2fT@@A@ABCDE@A@ɚ ^@!t@뀶 e@L@뀔A +k() + 77%' 7!7%'ܐtl\Ӑ|zt@@@ %'A*Equalities*Structures#Coq@A1@D%Logic$Init#Coq@@A@@,gcd_divide_l @@  @'@뀶 @,@뀩 @< @As@@@@@.,gcd_divide_r @@* @F@뀶 @K@뀩 @>< @`s @@@@@L,gcd_greatest @@H @d@뀶; @i@뀶0 @n@뀶@ @b<*@ @h<8/ @n<5 @sED@@@@@*gcd_nonneg @@{ @@뀶n @@뀩 @"leH @ $@su@@@@@  @ @ 0@ @뀶@ 5@ @뀚 9@ @뀐@ @@   @ @ C@ @뀶@ H@ @뀚 L@ @뀐@ @@ Ơ&div_wd @@)Morphisms'Classes#Coq@@&ProperL@ f@ @뀶@ k@ @뀚 o@ @뀩@*respectful%WO? z@ @뀶@ @ @뀚 @ @뀚 @"eqHg @ @뀚 @ @뀚 @Hg @Hg @ /ռ@@@ %'A*Equalities*Structures#Coq@AviAT'Classes#Coq@@A@@ +&mod_wd @@e@ @ E@뀶@ @ J@뀚 @ N@뀩Y @ T@뀶@ @ Y@뀚 @ ]@뀚 @THgl @ g@뀚 @ k@뀚 @bHg @fHg @ ed@@@SAK@A@@ o'div_mod @@!a @ @뀶!b @ @뀶@%Logic$Init@#notШ @HgA "@$zero (@HgC /@#add 6@#mulGB >@ ռ D@ d@@@@@ -mod_bound_pos @@Q R@ @뀶O W@ @뀶@ ]@"leH c@A+@ i@"ltH o@M7e@#andЖw@ |@H @_ @ dD_ @$H @ d j@@@@@ 'testbit @d@ @!t@뀶@ @@뀛)Datatypes$Init#Coq@@$boolZ'@@@@@@AA@@A@&shiftl @d@ @%@뀶@ @*@뀚 @.@뀐@@@@@&shiftr @d@ @=@뀶@ @B@뀚 @F@뀐@@@@@3$land @d@ @U@뀶@ @Z@뀚 @^@뀐@@@J#lor @d@ @l@뀶@ @q@뀚 @u@뀐@/@@a%ldiff @d@ %@@뀶@ *@@뀚 .@@뀐@F@@x$lxor @d@ <@@뀶@ A@@뀚 E@@뀐@]@@$div2 @d@ S@@뀚 W@@뀐@@@@@*testbit_wd @@)Morphisms'Classes@&ProperL@ q@@뀶@ v@@Ω@*respectful%WO? @@뀶@ @@ޚ @"eqHg @@隠 @ Hg%Logic@ @ @ ʀ@@@ %'A*Equalities*Structures#Coq@AviAL'Classes#Coq@@A@@-testbit_odd_0 @@!a @"@뀩/ @3ʀ @#add @#mulG @#twoOA @#one區 @$zeroCA@@@@@8.testbit_even_0 @@9 @Y@뀩fU@jʀ@0G @/O.@(jB@@@@@_0testbit_odd_succ @@`"@@뀶!n)@@뀶@/@"leH5@LV<@ʀB@qH@pGM@oOCR@n區W@$succaB_@ʀ@@@@@1testbit_even_succ @@n@@뀶Ls@@뀶@y@JH~@ة@ʀ@G@OC@>a=@ʀ;@@@@@堠-testbit_neg_r @@暠@@뀶@ @뀶@@"ltH֚@$@(ʀa@@@@@ +shiftr_spec @@ @,@뀶@1@뀶!m@8@뀶@@H@P?@Tʀ@˛D@aʀ@.@@@@@K0shiftl_spec_high @@L@l@뀶욠@q@뀶@@v@뀶@@H#@:D@)@Hʩ0@ʀ6@y˛EE멚=@ʀC@#sub변R@@@@@/shiftl_spec_low @@S@@뀶1X@@뀶]@@뀶@c@H ϰk@ʀq@˛`@@@@@)land_spec @@@@뀶!b@@뀶d@@뀩婚@ʀ@r9@$andb=@ ʀXƩ@ʀR̐@@@@@(lor_spec @@@@뀶:@@뀶@!@뀩.@2ʀ@rq񩚠(@#orb@Dʀ8@Iʀ7@@@@@,*ldiff_spec @@-@M@뀶p@R@뀶Қ@W@뀩dS@hʀ@'n @uʀie@$negb@ʀo@@@@@d)lxor_spec @@e'@@뀶,@@뀶 1@@뀩8@ʀ>@ @_@$xorbȀJ@ʀO@ʀ@@@@@)div2_spec @@]@@뀩b@Hgh@TȀn@˛s@區@@@@@&square @d@@ @뀚@!@뀐@@@@@ +square_spec @@ e@!@뀩@ Hg@'޻| ]@2G@@@@@!@@@ %'!p@A@ @!9@ A@ABC@ H @ @ռ@@Fռ@A@ABש @s@@Js@A@AC @r@@rd@@A@A @B  CDEG  @O @T@@|TȠd@@A@AB@r@@rd@@A@A2y@@@@@d@@A@ABCD a @ @@@d@@A@ABCd@@Ld@A@˛@@˛d@@A@A˛@@ ˛d@@A@޻|@@m޻|d@@A@A@@Pʠd@@A@B)۔ @CDEFG@+NAxiomsSig'!@!Π! @!@ @!6쀶@@!6!@!@@!Ơ! @!!@!6쀚 @!6 h@!@@!ՠ! @!)@!6쀐@!@@!! @!@3@!6쀚7@!6쀐@!@@!! @!@A@!6쀚E@!6쀐@!@@!! @!!@Q@!6쀚U@!6쀩!s[@!6쀚_@!6쀚c@!n6 hg@!r6 hk@!6÷b@!m@@!Р!b @!a!@w@!6쀚{@!6쀩!@!6쀚@!6쀚@!6 h@!6 h@!6b퀐@!`@@!!\ @![!Z@"6쀩@!6 h@!6b퀐@" 6÷b!X!W@!V@@"!T @!S!R@@"6!P@!@@"'6!X!@"-6!^@!6 h!N!t@!D@"A6]@!@">6쀩!\!C!C@">6÷b!!@"L6!A@!?@@"I!; @!:@"U6쀐@!8@@"R!6 @!5@"^6쀐@!3@@"[!1 @!0@" 6 h@!Y6 @"i6÷b@"6]@!/@@"t!- @!,@"$6 h@!d6P#@"6÷b(@!|6@!+@@" @@2@6쀶@7@6@@@ @@A@6쀶@F@6@@@ @"@R@"6쀶@W@"6!"u]@"6쀶@b@"6!f@"q6 h"l@"6"p@"{6 h!t@6 @@@"٠ @"=~@"6쀶@"6쀩" @6 @6 @"6 h@@@" @"_@#6쀩@6 }@|@@# z @y"p@#6쀶š@#6쀩"<@6 "7@#"6÷b"o@ +6 ː@x@@#-v @u@@#:6쀶@@#?6쀚@#C6쀐@s@@#@q @p@@#M6쀶@@#R6쀚@#V6쀐@n@@#Sm @l@@#`6쀶@@#e6쀚@#i6쀐@j@@#fi @h#;@ @#u6쀶@@#z6쀚@#~6쀩#4@#6쀶@!@#6쀚%@#6쀚)@#46 h#G/@#6쀚3@#6쀚7@#B6 h;@#F6 h?@6@g@@#c @b#y@K@#6쀶@P@#6쀚T@#6쀩#rZ@#6쀶@_@#6쀚c@#6쀚g@#r6 h#m@#6쀚q@#6쀚u@#6 hy@#6 h}@ 6@a@@#⠠] @\#@@#6쀶@@#6쀚@#6쀩#@$6쀶@@$6쀚@$ 6쀚@#6 h#@$6쀚@$6쀚@#6 h@#6 h@ 76H@[@@$ W @V#@$-6쀩@#6 h@ {6@$F6]##@U@@$:S @R#@$G6쀶 𚠐@$L6쀩@#6 h@ 6@$T6÷bQ#@$Y6÷b@ 6!@P@@$eN @M#ɚ @$r6쀩@$6 h@ 6#@$6]#Ő@L@@$J @I#㚠$@$6쀶!5)@$6쀩.@$96 h4@ 6#:@$6÷b#橚?@$6b퀐E@ 6!H@H@@$F @E$O@$6쀩T@$_6 hZ@ 6H_@$6]$ c@$6]@D@@$ȠB @A$,m@$6쀶!~r@$6쀩w@$6 h}@ 6H@$6÷b$.@!36@! 6H!$9@@@@$> @=@@;6쀶@@@6쀚@D6쀐@:@@85 @43@N6쀶1@S6쀶@@/6 .@+6 h@n6؀*)@(@@X& @%S@n6쀶Q@s6쀶@@O6 $@K6 h@6؀JW@#@@x! @ @@6쀶@@6쀚@6쀐@@@ @@6쀶@6쀶@ @6 W@~6 h@Q6f}|@@@ @@6쀶#@6쀶@)@6 .@6 h4@q6f@@@ˠ$ @$>@#6 hD@%6b퀐I@%6]M@%6]@$@@$ @@W@6쀶@\@6@@@۠ؐ @׶֚f@6쀶Ԛk@6쀩r@6 h˩w@6 Щ|@6 ǩ@Uڐ@@@Đ @ö@@6쀶@@6@@@ @@@.6쀶@@36@@@ @@@=6쀶@@B6@@@- @@6쀶@6쀩񩚠@6@6 h@@@젠 @E@i6쀶C@n6쀩x꩚@6€<s@96 A@p@@gn @mb@6쀶`@6쀩@6Y@l6 ^@k@@i @h@@f6e@X@@VS @R@@p6o@P@@`N @M@@$@@U@,@U@A@A6@.@&6%@A@B6 h@0@&6 h%@A@6 @3@#6 @A@AC6 @5@#6 @A@6@:@"6@A@A6@<@|6@A@6@?@@6@A@6@B@]6@A@ABC6@D@ 6@A@6f@G@ 6f@A@ADE6H@I@"6H@A@6@M@%6%1@A@A6@O@"6@A@6P@S@%6P%4@A@A6b@U@&6b%2@A@6÷b@X@&6÷b%1@A@6]@[@&6]%0@A@ABCDF@A@_% @A@@d@6G @@@ې @ڠO@Țv@6ǠY@@@ @@6쀩ީ@6A@6肀@@@٠ @Ě@6쀩@6π@6x@@@ @@@6쀶@@6쀚@6쀐@@@ @@@6쀶@@6쀚@6쀩|@6쀶@@6쀚@6쀚@w6 h@6쀚@6쀚@6 h@6 h@6@v@@ˠc @ba@6쀩 @6 h@6_@^6]@]6@\@@頠Z @Y#@6쀶X(@6쀶@.@V6 ဠ3@|6]8@6 h>@$6UD@T6÷bSI@Q6H`O@56P@O@@M @LY@56쀶^@:6쀶@d@K6 i@6]n@6 ht@Z6ux@6]@J@@HH @G@@E6쀚@I6쀐@D@@B? @>=@S6쀶@@;6 ဠ@:6]98@G6 ဠ@+6H@{6ò*@6ò/.@(6 4@A6H@'6÷b@6òF@26÷b@6òQ@&@@$ @#@6쀶@@U6 @6]@"6 h@6òq@6]@!@@ @@@6쀚@ 6쀐@@@ @@*6쀶@@6 @6]#@6 ဠ)@6.@6P3@V6z8@36 >@6C@6PH@6÷bN@q6z@@@` @[X@q6쀶@^@=6 ဠSc@X6]h@6 hn@6z:r@g6]@@@ @@|@6쀶@@6쀚@6쀐@@@ @뚠G@ 3Gk@3Gk⠚ @3Gkۚ@3Gk@3G!瀠ܩ@3Gǀڠ@@@6Hm@6@@6@A@A6n@6@@6@A@AB6o@6Pm@6A@@"6A@A@6z@@6z@A@ABC6bq@6ò@@6ò@A@A6÷brpBDEF@A@&NZGcd''|@A@@d@c6쀶b@6a_-@@Ԡ@@ OY@@f OY@A@A@A@Р @A@@@͠]@@3Gk@d@3Gk@A@A3G!@@3G!@A@3G"`@@3G"`@A@AB3G"o@@3G"o@A@3G@ @3G@A@A3GW@@3GW@A@3G@@3G@A@ABC3G@@53G@A@3G @@3G @A@A3G3@@3G3@A@3G@@3G@A@A3S{l@@3S{l@A@3S@"@3S@A@3Tv@%@3Tv@A@ABCDE@A@@@t @s}#@6쀶p(@6쀩-@V3@6trf@q@@o @n=@6쀶B@6쀩G@VM@6tx@m@@k @jW@6쀶\@6쀶a@6쀶@g@V@m@Vir@Vx@6th@e@@⠠c @bܚ@6쀶Ϛ@6쀩@a6 ဠ@)6]@6tՐ@`@@ @@@6쀶@@6쀚@6쀐@@@ @ @@'6쀶@@,6쀚@06쀐@ @@$^ @]\@@<6쀶@@A6쀚@E6쀩P@K6쀶@@P6쀚@T6쀚@K6 hc@^6쀚@b6쀚@Y6 h@]6 h@y6@J@@b7 @6@ @z6쀶@ @6쀚 @6쀩 @6쀶@ @6쀚 @6쀚 "@6 h (@6쀚 ,@6쀚 0@6 h 4@6 h 8@%@5@@1 @0/ B@6쀶- G@6쀶@+ O@6 h! T@ 6] Y@6 h _@6 e@6H k@6 p@% @@@ؠ @g z@6쀶e @6쀶@ @6 ဠ @V6]@@ @6  @a6]K @-6 ဠ @m6] @% @06  @%v@ @@  @ @ @6쀶@ @ 6@ @@   @ @ @6쀶@ @6쀚 @6쀐@ @@   @ @ @)6쀶@ @.6쀚 @26쀐@ @@  @ @ @<6쀶@ @A6쀚 @E6쀐@ @@0  @ @ @O6쀶@ @T6쀚 @X6쀐@ @@C  @ @ @b6쀶@ @g6쀚 @k6쀐@ @@V ސ @ ݶ@ )@u6쀶@ .@z6쀚 2@~6쀐@ @@i ڐ @ ٶ@ <@6쀚 @@6쀐@ @@w Ր @ ԩ Ӱ@ L@6쀶@ Q@6  W@6쀶@ \@6 `@ 6 h  f@6 j@ 6 h Ú n@ ؉ˀ@ @@  @   x@6쀩 Ѱ @ ؉ˀ @ 6 @ 6H @ 6P  @ 6 @ 6] @ @@Ϡ  @  Κ @6쀩 ꩚ @ ؉ˀ @ 6H @ 6P Ú @ 6] @ @@  @   @6쀶  @6쀶@ @ 6 ဠ @ 6] + @/ ؉ˀ @ 6 @ 6H @ 6P  @ 6 @ 6÷b  @N ؉ˀ @ @@/  @ . @N6쀶 Κ @S6쀶@ @ 6 ဠ @6]!kZ @o ؉ˀ @56H $@46P ũ )@ 6÷b  .@ ؉ˀ @ @@e  @ d 8@6쀶 =@6쀶@ C@ ~6 S H@M6] O@ ؉ˀ ,@ }@@ { @ z Y@6쀶% ^@6쀶 y c@6쀶@ i@(6 ဠ n@s6]}ǰ u@ ؉ˀ {@\ w @ ؉ˀ | @6 u@ t@@ r @ q @6쀶\ @6쀶  @6쀶@ @_6 ဠ @6]@ @j6 :󩚠 @ ؉ˀ @\ pY @ ؉ˀ u @ n6 m@ l@@ j @ i @6쀶 @6쀶 횠 @#6쀶@ @6  h6% @: ؉ˀ @\ ǐ@ g@@! e @ d  @@6쀶 c @E6쀶Ś @J6쀩WF @[ ؉ˀ @ 6s a @h ؉ˀ \ @m ؉ˀ [@ Z@@N X @ WM !@m6쀶  &@r6쀶򚠐 +@w6쀩s 2@ ؉ˀ 8@"6sG V ?@ ؉ˀ  D@ ؉ˀ @ Q@@{ O @ Nz N@6쀶  S@6쀶 X@6쀩 _@ ؉ˀ e@87t  l@ ؉ˀ  M s@ ؉ˀ @ H@@ F @ E }@6쀶 욠 @6쀶N @6쀩ϩ @ ؉ˀ @P6# D @ ؉ˀ 婚 @ ؉ˀ @ ?@@נ = @ <֚ @6쀩 @6 h @Z6ɀ ; @\ʚ @6@ :@@ 8 @ 7@ @.16쀚 @.56쀐@ 5@@.2 3 @ 2- @.?6쀩 @-6 h @ X|}- @*c6H*@ 1@@.L@@@ %'.@A@-@.h@p@ABC@@%@ @W%)@A@A\@ @(\ @A@\@ @\ @A@|}@ @ t|} @A@A ؉@ @V ؉ @A@BCDU@6@A6 hBE6 @6@6@ @6?@A@AB6@6t@ @6t@A@AC6@6s@ @6s A@A@A6@B6CDF6H\6@6P@6@ @6 @@A@AB6AX@6s@ @6s ?@A@A6zY@6@ @6 >@A@ABC6bZ6÷b@6]@7@ #@7 <@A@ABCDEG@*NAxiomsRec/@C./@.. @.߶@ @/^@@/^.ݐ@.@@..ِ @.ة.נ@/^ @.f@.@@/. @.)@.^@.@@.. @.@3@.^7@.^@.@@.Ƞ. @.@A@.^E@.^@.@@.֠. @..@Q@.^U@.^.[@.^_@.^c@.fg@.fk@.@.@@.. @..Ѱ@w@/ ^{@/^.@/^@/^@.f@.f@/ @.@@/". @..@//^@.f@/@/7..@.@@/=. @..~@@/K^.|@/@@/S^./ @/Y^.@/f.z.@.p@/m8@.@/j^..o.o@/j..Ϛ@/x^.m@.k@@/u.g @.f@/^@.d@@/~.b @.a@/^@._@@/.] @.\@/7f@.> @/@/8@.[@@/.Y @.X@/Pf@. #@/(@.>@.W@@/@.U.J@@^@2@0(^.I@A@Af@4@0f.H@A@>@7@.>.G@A@AB @9@. .F@A@@<@/.E@A@@?@/.D@A@8@B@/8.C@A@ABCD@)recursion @d!A?C.E@@@@@C0X.N@^@D@ @@?@@A@A@@@.B,recursion_wd @@ @BD.c@@#Aeq4Relation_Definitions)Relations.l@(relation'Jj)Morphisms'Classes.x@&ProperL@@@9@3E@<@*respectful%WO?EҩF@F H@ĚI@.fީQਗ਼.@i8WӐ@@@B@E@A@A@HAviA3'Classes#Coq@@APAn@RA8ӠA4Relation_Definitions)Relations#Coq@@0A@ABC@@.+recursion_0 @@BF.@@ 0 !f (@. @ <   @08 @@B@@A@A@A@A1DH%Logic$Init#Coq@@AB@@.ؠ.recursion_succ @@D>H.@@ ` -0|@ 1 1 1@@@FG@x =!nƩ w é@0ɠ ` b@@D>@)@A@A@,Az@A-A@/As@1#A@ABC@@/@@@?@A@B@BM@D>@ABC@@AP@O@@ABCDE@@8W@I@8Wd@@A@A@-NAxiomsRecSig1R@1E1+ @1*@ @1MC@@1RC1(@1&@@1=1$ @1#1"@1]C @1FK%@1@@1L1  @1 )@1C@1@@11 @1@3@1C7@1C@0@@10 @0@A@1 CE@1$C@0@@1!0 @00@Q@10CU@14C0[@1:C_@1>Cc@0K%g@0K%k@1A@0@@1G0ِ @0ة1@w@1VC{@1ZC1@1`C@1dC@1 K%@1K%@1T@0@@1m0Ӑ @0Ҷ0њ@1zC@1"K%@1i@100ΐ@0@@10ː @0ʶ0ɶ@@1C0Ƕ@1d@@1C0ϩ1T@1C0՚@1KK%00@0@1E@1 @1C0Ӡ00@111@1C0@0@@10 @0@1C@0@@1ɠ0 @0@1C@0@@1Ҡ0 @0@1K%@0K @1@1E@0@@1렠0 @0@1K%@0 #@1(@0K@0@@2/ @/@2@/C@7@/!C/@/@@// @/@A@/+C@F@/0C/*@/@@/&/ @/1@R@21C@W@26C1g1]@2<C@b@2AC1rf@1K%1l@2KC1|p@1K%1lt@/ K@/ @@2P/ @/1~@2]C/@2bC1@/dK//@/*K/ @2K%/@.@@2r. @.1֚@2C.@/@K.@.@@2. @.1皠@2C/9@2C1@/VK1@21橚@/K/B@.@@2. @.@@2C@@2C@2C@.@@2. @.@@2C@@2C@2C@.@@2ʠ. @.@@2C@@2C@2C@.@@2ݠ. @.ߩ2@ @2C@@2C@2C2@2C@!@3C%@3C)@2K%2/@3C3@3C7@2K%;@2K%?@/a΀@.@@3.ڐ @.٩2@K@3*C@P@3/CT@33C2Z@39C@_@3>Cc@3BCg@2K%2m@3LCq@3PCu@2K%y@2K%}@/q@.@@3Y.Ԑ @.ө3.@@3hC@@3mC@3qC3'@3wC@@3|C@3C@3'K%3:@3C@3C@35K%@39K%@/@.@@3.ΐ @.Ͷ2@3C@3LK%@/΀@3E22@.@@3.ʐ @.ɶ3@3C0g@3C@3kK%@0΀@3.3@3@0"΀0z@.@@3ܠ.Ő @.Ķ3@ @3C@3K%@0q38@4E3<@.@@3. @.3Z$@4C0)@4C.@3K%4@0>q3%:@43]?@4E@0Oq0@.@@4!. @.3O@4.CT@3K%Z@0M_@4GE3c@4KE@.@@4?. @.3m@4LC0r@4QCw@3K%}@0p@4Y/V3@0΀@013@.@@4j. @.@@.C@@.C@.C@.@@.. @..@.C.@.C@@.K.@.K%@.䕀..@.@@.Ϡ. @..ʚ@.C.Ț@.C@@.K.@.K%@/䕀..ΐ@.@@.. @.@@/C@@/ C@/C@.@@/. @..@/C.@/C@ @.K.Ω@.K%@.#..@.@@/". @./@/8C/#@/=C@)@/K/.@/K%4@.#//!@.@@/B3 @3~>@3vK%D@5I@51EM@55E@3y@@3wV @USQ@$ض@@Z@%ECI@_@%JCM@K@@3G @FeE?=1@$ض@@o@%ZC+@t@%_C/-$@@|@%gCk@@%lCo%:@@%sCw@@%xC$F@%~C@@3K%?P@%C% @3K%%%@ *׀C@B@@3Р' @&%%O%1@@%C"%%@ *׀%+%*%?@5E%.@!@@3頠 @%i%69@@%C@@@@%C@%C@4K%%O@%C@ *׀%۩@5%x@ *׀@@@4#@@@?@A@B@B]@D>@AB %'6,@CD@@A`@_@!@ABCD @!@A5~@B5@CE@@ *@@ *@A@AC@@6TC4u@A@BK%@@6;K%4t@A@K@@2K/E@A@ACK@@3K/D@A@@@2@/C@A@A@ @0D/B@A@#@#@/#/A@A@ABD@%@2/@@A@K@)@4K4@A@Aq@+@25q/?@A@ @/@4 4@A@A@1@54@A@@4@6 4@A@E@7@6E4@A@ABCDE@.NAxiomsRecSig'6@66g @6f@ @6!6@@6!66d@6b@@6y6` @6_6^@6!6 @6!=@6S@@66G @6F)@6D!6@6C@@6A6> @6=@3@6N!67@6R!6@6;@@6O69 @68@A@6\!6E@6`!6@66@@6]64 @6362@Q@6l!6U@6p!66&[@6v!6_@6z!6c@6!!=g@6%!=k@6}!|@6 @@66 @66X@w@6!6{@6!66L@6!6@6!6@6G!=@6K!=@6!@6@@66 @66 @6!6@6^!=@6!@6!|6 6 @6 @@6Ġ6 @66@@6!66@6@@6!66 6@6!66@6!=66'@5@6!@6H@6!6655@6!|6>6V@6!65@5@@65 @5횠@7!6@5@@75 @5蚠@7!6@5@@75 @5㩚@6!=@6 !ڨ @7!|@73!@5@@7'5 @5ߩ@6!=@6!j#@75!|(@6/!ڨ@5@@7@4[ @4Z@2@4X!6@7@4]!64W@4U@@4S4P @4O@A@4g!6@F@4l!64f@4M@@4b4K @4J73@R@7m!6@W@7r!667(]@7x!6@b@7}!66f@7$!=77l@7!66p@7.!=6t@4I!> @4H@@74D @4C6𚠐~@7!64B@7!66@4!=4@4?@4f!> 4G@7T!=4L@49@@747 @467@7!645@4|!> 40@4/@@74- @4,7#@7!64u@7!66@4!> 6꩚@7!|7"@4!=4~@4+@@7ࠠ4) @4(@@7!6@@7!6@7!6@4&@@74$ @4#@@8!6@@8!6@8 !6@4!@@84  @4@@8!6@@8!6@8!6@4@@84 @47@ @8(!6@@8-!6@81!67@87!6@!@8<!6%@8@!6)@7!=7/@8J!63@8N!67@7!=;@7!=?@4!+@4@@8W4 @48,@K@8f!6@P@8k!6T@8o!68%Z@8u!6@_@8z!6c@8~!6g@8%!=88m@8!6q@8!6u@83!=y@87!=}@4!΀@4@@84 @48j@@8!6@@8!6@8!68c@8!6@@8!6@8!6@8c!=8v@8!6@8!6@8q!=@8u!=@4!b@4@@8Ӡ4  @4 87@8!6@8!=@5.!+@8!8383@4@@84 @48Q@8!65@8!6@8!=@5M!+@9!|48S@9 !|@5^!+5@4@@94 @48| @9%!6@8!=@5[!΀8t@9>!8x@3@@923 @38$@9?!65蚠)@9D!6.@8!=4@5z!΀8a:@9L!|8?@9>!E@5!΀5@3@@9]3 @38O@9j!6T@9!=Z@5!b_@9!8c@9!@3@@9{3 @38ߚm@9!661r@9!6w@95!=}@5!b@9!|48ᩚ@5!+@5!b6D8@3@@93 @3@@3!6@@3!6@3!6@3@@3렠3 @33暠@4!63䚠@4!6@@3!=3ᩚ@3!=@4!!33ܐ@3@@4 3ِ @3ض4@4!!64@4&!6@@4!=3ש@3!=@4A!34 @3@@4+3Ԑ @3Ӷ@@4A!6@@4F!6@4J!6@3@@4>3ϐ @3ζ49@4T!647@4Y!6@ @45!=4 @41!=@4!׀404/@3@@4^3ː @3ʶ4Y@4t!64W#@4y!6@)@4U!=4T.@4Q!=4@4$!׀4P4]@3@@4~8 @8>@8!=D@:C!I@:m!M@:q!@8@@8  @   @*@@Z@*!6 @_@*!6 @ @@8Š  @    { y m@*@@o@*!6 g@t@*!6 k i*!@@|@*!6 @@*!6 *A v@@*!6 @@*!6*9 @*!6 |@9 != { @*!6*H@9!=*a@  4 @ ~@@9  c @ b  a**m [@@*!6 ީ ^*a@  4*g*f*{@:!*j@ ]@@9% M @ L  K  ٶ**r u@@*!6 Ŷ@ J@ ְ@@*!6 L @+!6 M@9T!= P* N@+ !6 [@ . 4 a  @;!|  *@ ; 4 X@ W@@9_@@@? !@A@B @B @D> Z@AB %';h@CD  @ @A @ @ ]@ABCD \@ ]@A:@B;8@CE@@ 4@@ S 4 S@A@A!6@@;!69@A@B!=@@;w!=9@A@!=@@8.!=4@A@AC!> @@8J!> 4@A@!+@@7|!+4@A@A!@ @5!4~@A@!׀@#@5!׀4}@A@ABD!b@%@7T!b4|@A@!ڨ@)@:0!ڨ9@A@A!@+@7q!4{@A@!j@/@:(!j9@A@A!@1@;0!9@A@!|@4@;F!|9@A@!@7@;[!9@A@ABCDE@.NAxiomsFullSig;@;; @;@ @;@@;;@;@@;; @;;@; @;2@;@@;Ġ; @;)@;@;@@;};z @;y@3@;7@;@;w@@;;u @;t@A@;E@;@;r@@;;p @;o;n@Q@;U@;;b[@;_@;c@;]2g@;a2k@;Dz,@;\@@;;Q @;P;@w@;{@;;@;@;@;2@;2@;]@;O@@;堠;K @;J;I@;@;2@;]@;Dz,;G;F@;E@@<;C @;B;A@@<;?@;ܰ@@<;G;@<;M@;2;=;c@;3@<0XR@;@<-;K;2;2@<-Dz,;z;@<;;0@;.@@<8;* @;)@@>@=2@=2@:&@9J@@>9F @9E=s@>@=2@:jۀ@>5XR=o=o@9D@@>)9B @9A=@>6:ߚ@>;@=2@:ۀ@>CDz,9@=@>HDz,@:ۀ:@9?@@>T9= @9<= @>a@> 2@:~=@>zXR=@9;@@>n99 @98=Қ$@>{;$)@>.@>(24@:~=:@>Dz,=թ?@>z]E@:~;7@97@@>95 @94=O@>T@>N2Z@:_@>XR=c@>XR@93@@>91 @90>m@>;mr@>w@>q2}@:@>Dz,9>@;"ۀ@:;>(@9/@@>⠠9- @9,@@9*@@9/@93@9)@@9'9$ @9#9"@9=9 @9B@@99@92@9]99@9@@9G9 @99B@9]9@@9b@@9>9@9:2@9}999F@9@@9g9 @9@@9}@@9@9@9 @@9z9  @9 9u@99s@9@ @9q9F@9m2@9@09l9k@9 @@99 @99@99#@9@)@99.@924@9`099@9@@9= @=>@=2D@?]I@?XRM@?XR@=@@=*ݐ @*ܶ@W@*@\@**ِ@*@@*ʠ*ǐ @*ƶ*Śf@**Úk@**r@*2*w@**|@**@+'PK*ɐ@*@@** @*@@*@@**@*@@** @*@@+@@+"*@*@@+ * @*@@+,@@+1*@*@@+* @**@**@****ਗ਼@*t*y*v@*2*~@*s@@*۠*q @*p+4@+X+2@+]*o*g*٩@*++*b@+(+0@*_@@+V*] @*\+Q@+u+O@+z***@*o+H*@*[+M@*Z@@+s*X @*W@@*U*T@*G@@*E*B @*A@@*_*^@*?@@*O*= @*<@@0%>@A@*)*@))) ))@@*c) @))}){:@))ʐ)z)a)_@@*s)[ @)Z*^G@*)Y)T*P@*<)O)NU@*vL)T@)K@@*)I @)H*v_@*)q)l*h@*)g)fm@)sy)l@)G@@*)E @)D@w@)B@|@)G@)K@)A@@)?)< @);):@@)W@@)\@)`).@)f@@)k@)o@))2)A@)y@)}@)72@);2@)怐@)(@@)}) @))@)@)N2@)怠)@)XR@)X@)@@))  @) )1@)) @)@@)@).XR)3@)|2@)怠)@)Dz,) @))@))@)@@)Ѡ( @()g@))@!@)@'@()e,@)dXR1@)27@* )';@)sXR@(@@)( @(@E@(I@(@(@@(( @((S@)@Y@(^@(XR((꠩e@(k@(q@)-ǭ(ܩv@)2ǭ((ਗ਼{@((橚@(@(Dz,@)Iǭ(@(Dz,@)Tǭ)@(@@)C(֐ @(ն)>@)T@@))6@);XR@(2@)tǭ)#@)JXR@(@@)g(ѐ @(ж@@(@(@(@@(ˠ(Ȑ @(Ƕ(ƚ@(@@(@(XR(©(@(@(怠@(@)D((@((@(怠@( @(Dz,@)#D(̐@(@@)( @() @)#@!@()&@) XR+@(21@)CD(욠5@)XR@(@@)6( @(@?@(@D@(H@(@(@@(( @(/(h'՚U@''ӚZ@('Ґ'Р=''@@(' @'(g@((l@(q@(Zۀw@(>'(@'@@(Р' @'(ʚ@((@(@(Zۀ@)>'(@'@@(ꠠ' @'(䚠@)(ך@)(̚@) @@(Zۀ(ƶ@@)Zۀ'@) Zۀ(Щ@)+>'@'@@)' @')@)+)@)0@'@(\XR@)I>(@'@@)33K @3J@@3G@@3L@3P@3F@@3D3A @3@@@3Z@@3_@3c@3>@@3W' @''@ @3o@@3t@3x'@3~@ @3$@3(@'~2'.@32@36@'2:@'2>@3@'}@@3'j @'i'Ͱ@J@3@O@3S@3'Y@3@^@3b@3f@'2'l@3p@3t@'2x@'2|@3䀐@'h@@3Ӡ'd @'c'b@3'`@3@'^@'2'T@'SXR@'2'R@'Qۀ@'P'O@4'N@4'S@'M@@4 'K @'J'@4!'@4&@@'I@'XR's@@'H@'XR'~'G@'`@'XR@4;'A@'c@4F'L'@'?@@4L'= @'<@@':@ @'?'9@',@@'*'' @'&@ @'I@ @'N @'R@'$@@'='" @'!@ !@'\@ &@'a *@'e@'@@'P' @'@ 4@'o@ 9@'t =@'x@'@@'c' @'@ G@'@ L@' P@'@'@@'v' @'@ Z@'@ _@' c@'@'@@'' @'@ m@'@ r@' v@'@'@@''  @' @ @' @'@' @@'' @''@ @'@ @''ʩ& @'@ @''՚ @&2'  @''ߚ @'2& @'܄@&@@'ؠ&ِ @&ض&ך @'''󩚠 @(܄ @&ۀ @& @&&Қ @&X @&XR&ϐ@&@@(&ʐ @&ɶ' @(!'.( @(2܄ @& @&& @&XR&Ȑ@&@@("&Ð @&¶'! @(A& @(F@ @& @' XR''^(M @(b܄ #@'/ۀ )@'. .@'-& 2@'+X 7@&Dz,& <@(܄&@&@@(b& @&'a F@(' K@(@ Q@& V@'JXR'T'( ]@(܄ c@'h h@'g& m@&Dz,&򩚠 r@(܄&@&@@(& @&' |@('7 @(@ @&' @'XR'԰(é @(܄''_@&@@(& @&' @('X @(& @(@ @'[ @'XR''(驚 @(܄ @(Wj&'C @) ܄& @'ۀ&@&@@(& @&' @)' @)&㚠 @)@ @' @'XR'@ @''m(7)& @);܄ @)Wd&' @)F܄& @&~&@&@@)-& @&(, @)L'̚ @)Q'  @)V@ !@'K&(i)X (@)m܄ .@)NWd'''@&@@)T& @&(S 8@)s& =@)x' B@)}()y I@)܄ O@)?='(M& V@)܄& [@)܄&@&@@)& @&( e@)&Ú j@)(% o@)() v@)܄ |@)U='(z& @)܄& @)܄&@&@@)& @&( @)&𚠐 @)(R @)()ө @)܄ @)kÀ('(& @)܄&& @)܄&@&{@@)ݠ&y @&x(ܚ @)' @*( @*)* @*܄ @)̀(V(֩&w @*$܄' @*)܄'@&r@@* &p @&o)  @*) @)F2 @)&n @*Wj( @(X@&m@@*)&k @&j@ @Gd @Gh@&h@@Ge&f @&eFɚ @Gr @G2 &@&wGF +@CC@&d@@G @@7.@@ 8@7@ =@7@@@Eߠ @@7.@@ M@7@ R@77;@@ Z@7@ _@77[@ f@7Ͷ@ k@77S q@7 u@F%2 {@77b @F/27{ @7@@@F&} @|{77u@ @7x7{ @7777 @GXR7@w@@F?g @fe77@ @8߶@d@@ @8f @8g @Fn2j7h @8&u @H7{1 @HDz,77Ω @U7r@q@@Fy@@@?;@A@B@B@D>t@AB %'H@CD@@AB@@Aw@Bv@w@AG@BHR@1Z@ACDE@@@ @HF@A@A2@ @H2F@A@@ @EGA@A@AB@ @EcA@A@@ @DA@A@A@ @8k8#@A@t@ @3/t1@A@ABC>@ @.q>-@A@o@ @2o1@A@A=@ @*=')@A@@ @31@A@AB@ @BA@A@0@ @B>0A@A@A@ @DA@A@@ @2G.@A@ABCDX@ @G\XF@A@@ @0."@A@A~@ !@D~A@A@@ $@GYF@A@AB@ &@*'>@A@<@ *@2z<.(@A@A=@ ,@+='?@A@D@ /@/AD.)@A@ABC@ 1@*'@@A@]@ 6@Hq]G@A@Aǭ@ 8@/ǭ.-@A@Dz,@ ;@HDz,G@A@ABXR@ =@HXRG@A@@ B@+'J@A@A@ D@88g@A@Wd@ G@+gWd'H@A@ABWj@ I@+QWj'G@A@wG@ M@'wG'E@A@A܄@ O@+܄'D@A@'PK@ R@3'PK1@A@7@ U@7@A@ABCDEFG@/NAxiomsFullSig'I$@IH @H@ @I *@@I$ *H@H@@IH @HH@I/ * @I *y@H@@IHݐ @Hܚ)@H *@H@@HנHԐ @HӶ@3@H *7@H *@H@@H堠Hϐ @Hζ@A@H *E@H *@H@@HHʐ @HɩHȰ@Q@I *U@I *H[@I  *_@I *c@H *yg@H *yk@I 7s@H@@IH @HH@w@I( *{@I, *H@I2 *@I6 *@H *y@H *y@I& 7R@H@@I?H @HH@IL *@H *y@I; 7R@IT 7sHH@H@@IZH @HH@@Ih *H@I6@@Ip *HI&@Iv *H@I *yHH@H@I 8M@Hޚ@I *HHH@I 7sHԶH욠@I *H@H@@IH @H@I *@H@@IH @H~@I *@H|@@IHz @Hy@IT *y@H + @I 7s@I 8M@Hx@@IHv @Hu@Im *y@H +a#@I 7s(@H +@Ht@@I֠F @F@2@F *@7@F *F@F@@F頠F @F@A@F *@F@G *F@F@@FF @FIɰ@R@J *@W@J *I9I]@J *@b@J *IDf@I *yIl@J *INp@I *yI>t@F *@F@@J"Fڐ @FٶI~@J/ *Fؚ@J4 *IR@G6 *F֩Fՠ@F *Fݩ@I *yF@F@@JDF͐ @F̶I@JQ *Fː@G *FƐ@F@@JUFÐ @F¶I@Jb *G @Jg *I@G( *I@Jk 7sI@Gt *G@F@@JvF @F@@J *@@J *@J *@F@@JF @F@@J *@@J *@J *@F@@JF @F@@J *@@J *@J *@F@@JF @FJ@ @J *@@J *@J *J}@J *@!@J *%@J *)@J} *yJ/@J *3@J *7@J *y;@J *y?@G3 +"@F@@JF @FJ°@K@J *@P@K *T@K *JZ@K  *@_@K *c@K *g@J *yJm@K *q@K" *u@J *yy@J *y}@GY +ŀ@F@@K+F @FK@@K: *@@K? *@KC *J@KI *@@KN *@KR *@J *yK @K\ *@K` *@K *y@K  *y@G +Y@F@@KiF @FJ͚@Kv *@K *y@G +"@K 8MJJɐ@F@@KF @FJ皠@K *H9@K *@K= *y@G +"@K 7sFJ驚@K 7s@G +"HL@F@@KF @FK @K *@Kc *y@G +ŀK @K 8MK@F@@KȠF @FK,$@K *H~)@K *.@K *y4@H +ŀJ:@K 7sK/?@K 7RE@H! +ŀH@F@@KF @FKWO@L *T@K *yZ@H +Y_@L 8MKSc@L 8M@F@@LF @FKum@L *Hǚr@L# *w@K *y}@HB +Y@L+ 7sG(Kw@H| +"@HS +YHK@F@@L<F @F@@F *@@F *@F *@F@@FF~ @F}F|@F *Fz@F *@@Fx *Fw@Ft *y@F +FsFr@Fq@@FFo @FnF@F *F@F *@@F *Fm@F *y@F +FF@Fl@@FFj @Fi@@F *@@F *@F *@Fg@@FԠFe @FdFϚ@F *F͚@F *@ @F *F@F *y@F +wFFŐ@Fc@@FFa @F`F@G  *F횠#@G *@)@F *F꩚.@F *y4@F +wFF@F_@@GKQ @KP>@KH *yD@L 7RI@M 8MM@M 8M@KK@@KI87 @86@W@84 *@\@89 *83@8&@@8$8! @8 8f@8C *8k@8H *8r@8 *y8w@8 *8|@8 *8@8h3E8#@8@@8I8  @8 @@8  *@@8 *8 @7@@77 @7@@8w *@@8| *7@7@@8g7 @7@@8 *@@8 *8@7@@8v7 @77嚠@87 *7㚠@8< *7ᠩ7ٰ8:@8O +77Щ@7 *y7ؐ@7@@857ː @7ʶ8@8 *8@8 *7ɠ783@8G +Ӏ87@8 *8@7@@87 @78@8 *8@8 *7栩7ް8P@8J +87٩@7 *8@7@@8͠7 @7@@7 *7@7@@77 @7@@7 *7@7@@77 @7@NG,p%L@A@'N7*@7 *77 '6@@76 @6'6՚:@7% *7$6Ԡ'6@@7͠6 @67G@7 *667꩚P@7 6166U@7 2ؓ6@6@@7堠6 @67К_@7 *6ˠ6ư8h@7 +66m@7& +h6Ɛ@6@@76 @6@w@6 *@|@6 *@6 *@6@@66 @66@@6 *@@6 *@6 *6@6 *@@6 *@6 *@6 *y6@6 *@6 *@6 *y@6 *y@6 +-@6@@6נ6o @6n6m@6 *@6 *y@7 +-6k@6j 8M@6i +@6h@@66f @6e6@7  *6d@7 *@@6b *򀠚@6 8M6@6 *y@70 +-6a@6` 7s6_ @6] +Y6l@7A +-6\@6[@@7+6Y @6X6@7A *6!@7F *@'@6W *6,@6 8M1@7  *y7@7f +-6;@6 8M@6V@@7T6T @6S@E@6Q *I@6U *@6P@@6N6K @6J6IS@6_ *@Y@6G *򀠚^@6F 8M6E6De@6S *򀠩k@67 +Yq@6 766v@6 76;6:{@64 *6@@6M +Y@63 7s@6 76R@6> 7s@6 76]@62@@660 @6/6@6 *@@6a *6@6 8M@6. *y@6 76}@6 8M@6-@@66+ @6*@@6( *@6, *@6'@@6%6" @6!6 @66 *@@6 *@6 8M66@6 *򀠩@6  +-@6  +a@6b 6㋀6 6 @6? *6@6" +-@6! +a @6  7s@6} 6㋀6&@6@@6l6 @66g@6} *@!@6I *6_&@6d 8M+@6 *y1@6 6㋀6F5@6s 8M@6@@66 @6@?@5 *@D@6 *H@6 *@5@@55 @' /&5/U@5. *5-Z@5x *5,5*=&5@@65 @56 g@6& *5l@6+ *q@6"w@6@ +45@4@@6*4 @46$@6@ *6@6E *@68"@6Z +56@4@@6D4 @46>@6Z *61@6_ *6&@6d *@@6X"6 @@6^"4@6c"6*@6 +4@4@@6o4 @46i@6 *6\@6 *@4 *򀠚@5 8M@6 +5b@4@@6@ @@@@@ *@@@ *@@ *@@@@@@ @@@@@ *@@@ *@@ *@@@@@4 @44鰶@ @@ *@@@ *@@ *4@@ *@ @@ *$@@ *(@4 *y4.@@ *2@@ *6@4 *y:@4 *y>@A +΀@4@@@4Đ @4é5'@J@A *@O@A  *S@A *5Y@A *@^@A *b@A *f@5 *y5.l@A) *p@A- *t@5$ *yx@5( *y|@A')+@4@@A-4 @44@AC *4@AH *@4@5C *y4@4 8M@5M *y4@4 +"@4 +Y4@Aw +΀4@A_)+4@4@@Ae4 @44@A{ *4򚠐@A *@@4 *򀠚@4 8M4Ͷ@@4 *@4 8M4ة4@4 *򀠚@4 8M@A)+4@4 *@A)+45@4@@A4 @4@@4 *@ @4 *4@4@@44 @4@ @4 *@ @4 * @4 *@4~@@44| @4{@ !@4 *@ &@4 * *@4 *@4y@@44w @4v@ 4@4 *@ 9@4 * =@4 *@4t@@44s @4r@ G@4 *@ L@4 * P@4 *@4p@@4Р4o @4n@ Z@4 *@ _@4 * c@4 *@4l@@4㠠4k @4j@ m@5 *@ r@5 * v@5  *@4h@@44g @4f@ @5 * @5 *@4d@@54b @4a4`@ @5% *@ @5* *5$4V @50 *@ @55 *5/ @4Q *y4e @5? *59 @4[ *y4P @5Q!Ly܀@4F@@5243 @4241 @5Q *4^5M @5b!Ly܀ @4/ +" @4. +Y @4- +a4, @4+ + @4* 8M4)@4&@@5\4$ @4#4[ @5{ *45w @5!Ly܀ @4R +Y @4Q +a4P @4J 8M4"@4@@5|4 @44{ @5 *4 @5 *@ @4 *򀠚 @4d 8M4n45 @5!Ly܀ #@4 +" )@4 +Y .@4 +a4 2@4 + 7@4 7s4 <@5!Ly܀4@4@@54 @44 F@5 *4[ K@5 *@ Q@4Y *򀠚 V@4 8M445穚 ]@5!Ly܀ c@4 +Y h@4 +a4R m@4M 7s4L r@6!Ly܀4J@4@@54  @4 4񚠐 |@6 *4 @6 *@ @4  *4 @4 8M5.6 @62!Ly܀4k4@4 @@64 @45 @62 *4 @67 *4 @6< *@ @4 *򀠚 @5 8M5 5T6C @6X!Ly܀ @6!L44 @6c!Ly܀4  @50 +"4@4@@6J3 @35I @6i *4隠 @6n *4= @6s *@ @4 *򀠚 @57 8M5A@ @4 *4ǩ56 @6!Ly܀ @6vL34橚 @6!Ly܀4 @3 +ŀ3@3@@63 @35 @6 *5& @6 *4z @6 *@ !@4 *35ð6 (@6!Ly܀ .@6L4s5 5T@3@@63 @35 8@6 *3𚠐 =@6 *5R B@6 *56ө I@6!Ly܀ O@6 6Є5'53 V@6!Ly܀3驚 [@6!Ly܀3@3@@6۠3 @35ښ e@6 *4 j@6 *5 o@7 *67 v@7!Ly܀ |@6 +5T5ԩ3㠩 @7"!Ly܀4 @7'!Ly܀4@3@@73ܐ @3۶6 @7' *4J @7, *5 @71 *6>7- @7B!Ly܀ @6 564H @7O!Ly܀4C3ڐ @7V!Ly܀4D@3@@773Ӑ @3Ҷ66 @7V *4y @7[ *5ۚ @7` *6m7\ @7q!Ly܀ @6 65603Ѡ @7~!Ly܀4r @7!Ly܀4q@3@@7d3ʐ @3ɶ6c @7 * @6 *y @6 6ڀ3ȩ @7`L6W @6V +@3@@73Ő @3Ķ@ @T * @T *@3@@T3 @3T# @T * @Tt *y &@3lT +@P +YQJ@3@@T٠% @%%%@D@@ 8@D *$@ =@D *$@$@@S9$ @$%$$$$ᰶ@D@@ M@E  *$۶@ R@E *$ߩ$D@@ Z@E *%@ _@E *%D$@ f@E# *%'@ k@E( *D$ q@E. *$𚠐 u@S *y$% {@E8 *D @S *yDթ @%\C+$@$@@S$א @$ֶ%\$նDD$϶@ @EN *%R$ҰDթ @%pC+DDD @UW 8MDސ@$@@S$ @$%u$%O%MED$@ @Eh *%9@$@%J@ @Eq *$%? @Ew *$ @S *y$D$š @E *$Ϡ @%C+$%X% @Ux 7s%n%E( @%C+$̐@$@@S@@@?%@A@B%E@B% @D>$@AB %'U@CD%H%?@%>@AB%@%@A$@B$@$@AU.@BU@>@ACDE@@C+@ @%C+$@A@A *@ @V *T'@A@B *y@ @U *yT&@A@ *@ @R *N@A@AC *@ @R *N@A@ +"@ @Q +"N@A@A +@ @E +E@A@ +@ @@ +?(@A@ABD +@ @; +;9@A@ +@ @@S +?*@A@A +@ @8> +4@A@ +@ @@r +?+@A@ABE +@ @P +O@A@ +w@ @O +wO@A@A +Y@ @Q +YO@A@ +@ @? +;}@A@AB +@ @T +TK@A@ +-@ "@>Q +-;@A@A +@ $@R +O @A@ +a@ '@T +aTQ@A@ABC 6@ )@8 64@A@ 61@ -@? 61;@A@A 6Є@ /@8y 6Є4@A@ 6@ 2@< 6;@A@ABD 6@ 4@89 64@A@ 7R@ 9@U 7RT_@A@A 7@ ;@=Q 7;@A@ 7s@ ?@U 7sTa@A@A 8M@ A@U 8MT_@A@ @ E@8a 4@A@A)+@ G@E)+E@A@BCDL@ I@8L4@A@L@ M@8L4@A@Al@ O@5l4@A@!Ly@ R@8!Ly4@A@3E@ U@A<3E?U@A@ABCEFG@@@@?&@A@B%@B%@D>%K@ABC %'VY@ ӳ2@ ӳ2[)Datatypes$Init#Coq@@A@ Գq@ Գq\ @A@ABD%%B%@%@%[@AB%Z@%Z@U@ABV6CDE@@@&Basics'Program#Coq@0!bs߯? :VU$Bool#Coq@0j 2cZ`FW*CMorphisms'Classes#Coq@0qیZBeϠ0CRelationClasses'Classes#Coq@0TL;0RUfw1987@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.%%%@0\͉!Ig*Logic_Type$Init#Coq@0 1jc6&z&G&F@0Imӽ%\$PD.Morphisms_Prop'Classes#Coq@0% :B'.>u%%NZAdd&NatInt'Numbers#Coq@00h`ZK4*NZAddOrder&NatInt'Numbers#Coq@0e~1>r砠(NZAxioms&NatInt'NumbersV@0] ρ5r&NZBase&NatInt'Numbers#Coq@0^&8yUL&NZBits&NatInt'Numbers9@0MlIpKt%NZDiv&NatInt'Numbers;@0$ |J?d (w<0KgT7|%NZLog&NatInt'Numbers=k@0ꔉ .uV%NZMul&NatInt'Numbers#Coq@0ctR~6[Ƞ*NZMulOrder&NatInt'Numbers#Coq@0}\^ !"k}@R'NZOrder&NatInt'Numbers#Coq@0 q;Ve7R W,@0H>ca'^^%NZPow&NatInt'Numbers?m@0)6*9 B:vȻ&NZSqrt&NatInt'Numbers>M@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*StructuresBk@0$Znl0\͗+OrdersFacts*Structures#Coq@05Mܿ獐ζΖLB)OrdersTac*Structures#Coq@05'4Ԗ+9%%Peano$Init#Coq@0 jha|ؠ'Prelude$Init#Coq@0JqTttֱ/RelationClasses'Classes#Coq@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@03XP8\XN@VQ2 Q@@A@"_7X^@V\;x@A@@@@@@@@"_82M접"_9'`o@@@@@VL8\@VQ#tӡV.NZOrdAxiomsSig@VUQo@A@VZ#tӡXX@V]Vc@A@XV_@@8J@QyV@A@A8 @QxV@A@8?@QwQv@A@AB8N@QuQt@A@8o@QsQr@A@A86@QqQp@A@8@QoQn@A@ABC8@QmQl@A@8@QkV@A@A8@QjQi@A@8@QhV@A@A8(gK@QgV@A@8(@QfV@A@8)a@QeV@A@ABCDE@A@Qd8\@Qi#tӡV/NZOrdAxiomsSig'@QmM@A@Qr#tӡ5@7QtV@A@XQv@@(^@M$V@A@A(^u@M#V@A@(^@M"Q@A@AB(^@M!Q@A@(_8@M Q@A@A(_H@MQ@A@(_Is@MQ@A@ABC(_JU@MQ@A@(_L@MV@A@A(_R@MQ@A@(_T]@MV@A@A(k@MV@A@(k]o@MV@A@(l@MV@A@ABCDE@A@M8\MH@HA2 Q@@A@#_12M%@HL/ @A@@@@@#_132M접 #_14'`o@C@@@@H[H^HV@@H-8\@H2#tӡYV@H5@B8HB/@B,@ABBBCGBBBBB@aB@B @ABCDE@A@HC#tӡ&Orders*Structures#Coq@.OrderFunctions@ HN@@ש@BAB@@A@A@B>B=@A@@B<B;@A@)۔@B!B @A@ABC@A@h!EH[@@@@B^W^@A@AHg@B]W\@A@H@B\R,@A@ABH@B[R*@A@@BYR(@A@A@BMR&@A@e@BLR$@A@ABCG@BKR"@A@@BIWe@A@A@BHR@A@O@BHWf@A@A@BGWc@A@a@BFWa@A@@BEW_@A@ABCDE@AH}#tӡBA@BCH@@@>>@A@@>>@A@AB@A@BH@@@@BW@A@AHg@BW@A@H@BRW@A@ABH@BRU@A@@BRS@A@Aש@BB@A@@BB@A@ABC@B~B}@A@@BRX@A@Ae@B}RU@A@G@B}RT@A@AB@ByW@A@@BzRQ@A@AO@BxW@A@@ByW@A@Aa@BwW@A@@BvW@A@)۔@BuBt@A@ABCDEF@AH#tӡ%NZPow&NatInt'Numbers#Coq@@ H@@@>>@A@A@A@F!A)Hà@@@@BW@A@AHg@BW@A@H@BR@A@ABH@BR@A@@BR@A@Aש@BB@A@@BB@A@ABC@BB@A@@BR@A@Ae@BR@A@G@BR@A@AB@??@A@@BW@A@A@BR@A@O@BW@A@AB@??@A@@BW@A@Aa@BW@A@@BW@A@)۔@BB@A@ABCDEF@AH#tӡ&NZSqrt&NatInt'Numbers#Coq@V@ H@@@??@A@A@A@F!A`I@@@@CX@A@AHg@CX@A@H@CR@A@ABH@CR@A@@CR@A@Aש@CC@A@@BB@A@ABC@BB@A@@BR@A@Ae@BR@A@G@BR@A@AB@?I?H@A@@BX@A@A@?I?H@A@@BR@A@ABCO@BX@A@@?J?I@A@A@BX@A@a@BX@A@@BX@A@)۔@BB@A@ABCDEF@AI4#tӡ%NZLog&NatInt'Numbers#Coq@&NZLog2@ IA@@2y@?b?a@A@A@A@D!AܠIH@@@@CKXK@A@AHg@CJXI@A@H@CIS@A@ABH@CHS@A@@CFS@A@Aש@CECD@A@@CCCB@A@ABC@C@C?@A@@CBS@A@Ae@C@S@A@G@C@S@A@AB@??@A@@C?X[@A@A@??@A@@C@S@A@ABCO@C>X\@A@@??@A@A@C@X\@A@@??@A@Aa@CAX\@A@@C@XZ@A@)۔@C?C>@A@ABCDEF@E!B Iy@@@@C|X|@A@AHg@C{Xz@A@H@CzSJ@A@ABH@CySH@A@@CwSF@A@Aש@CvCu@A@@CtCs@A@ABC@CqCp@A@@CsSL@A@Ae@CqSI@A@G@CqSH@A@AB@??@A@@CpX@A@A@??@A@@CqSH@A@ABCO@CoX@A@@??@A@A@CqX@A@@??@A@Aa@CrX@A@@CqX@A@)۔@CpCo@A@ABCDEF@ABI#tӡ?@?I@@s@8?@A@A@A@?I@@@@CX@A@AHg@CX@A@H@CS@A@ABH@CS@A@@CS@A@Aש@CC@A@@CC@A@ABC@CC@A@@CS@A@Ae@CS@A@G@CS@A@AB@??@A@@CX@A@A@??@A@@CS@A@ABCO@CX@A@@??@A@A2y@??@A@@CX@A@AB@??@A@a@CX@A@@CX@A@)۔@CC@A@ABCDEF@AI#tӡJ?@I@@ռ@98J5@A@d@9J4@A@AB@A@F!AI@@@@CX@A@AHg@CX@A@H@CS@A@ABH@CS@A@@CS@A@Aש@CC@A@s@9K?@A@ABC@CC@A@@CC@A@A@CS@A@e@CS@A@ABG@CS@A@@@:@9@A@A@CY@A@@@9@8@A@ABC@CS@A@O@CY @A@A@@:@9@A@2y@@8@7@A@AB@CY @A@@@7@6@A@Aa@CY @A@@CY@A@)۔@CC@A@ABCDEF@AJ(#tӡ&NZBits&NatInt'Numbers#Coq@ܠ@ J4@@r@9}9|@A@AT@9v9u@A@r@9s9r@A@AB@@9p9o@A@@9l9k@A@A˛@9f9e@A@˛@9e9d@A@@9^9]@A@ABCD@A@F!AJI@@@@DMYM@A@AHg@DLYK@A@H@DKT@A@ABH@DJT@A@@DHT@A@Aռ@9J@A@ש@DIDH@A@ABCs@9@X@A@@DJDI@A@A@DGDF@A@@DFT@A@ABe@DDT@A@G@DET@A@A@@@@A@@DCY_@A@ABCD@@@@A@@DFT@A@AO@DDYb@A@@@@@A@AB2y@@@@A@@DHYd@A@A@@@@A@a@DIYd@A@A@DGYa@A@d@9J@A@)۔@DHDG@A@ABCDEF@AJ#tӡY(NZSquare@J@@޻|@99@A@A@A@T"NZNJ@@@@DY@A@AHg@DY@A@H@DT`@A@ABH@DT^@A@@DT\@A@Aռ@9J@A@ש@DD@A@ABCs@9@@A@@DD@A@Ar@99@A@@DD@A@AB@DTe@A@e@DTd@A@AG@DTb@A@@@@@A@ABCD@DY@A@@@@@A@A@DTd@A@O@DY@A@ABT@99@A@@@@@A@Ar@99@A@2y@@@@A@ABC@@99@A@@DY@A@A@@@@A@a@DY@A@AB@DY@A@@99@A@Ad@9K@A@˛@99@A@A˛@99@A@@99@A@)۔@DD@A@ABCDEFG@A@98\@9#tӡK@K9@@64@A6 h44B6 4@64@A644BC6H44E@A@9#tӡ/OrderFunctions'@:@@U@4D@A@A6@4D@A@6@4D@A@6@4D@A@ABC@A@i): @@6@4Y@A@A6 h@4Y@A@6 @4T@A@AB6 @4T@A@6@4T@A@A6@4T@A@6f@4T@A@ABC6H@4T@A@6@4Z@A@A6@4T@A@6P@4Z@A@A6b@4Z@A@6÷b@4Z@A@6]@4Y@A@ABCDE@A:/#tӡD@D:1@@6@2|AL@A@6A@2vAE@A@AB@A@E.:8@@U@5D@A@A6@5Z*@A@6 h@5Z)@A@AB6 @5T@A@6 @5T@A@A6@5 T@A@6@5 E$@A@ABC6@5 E!@A@6@5 E!@A@A6@5 T@A@6f@5 T@A@AB6H@5 T@A@6@5Z8@A@A6@5T@A@6P@5Z9@A@A6b@5Z6@A@6÷b@5Z4@A@6]@5Z2@A@ABCDEF@A:b#tӡ&NZPow'@:f@@6@2A}@A@A@A@G:l@@U@5GE)@A@A6@5FZ^@A@6 h@5FZ]@A@AB6 @5DU,@A@6 @5EU,@A@A6@5AU(@A@6@5AEX@A@ABC6@5?EU@A@6@5@EU@A@A6@5?U-@A@6f@5>U+@A@AB6H@5=U)@A@6@2A@A@A6@5>Zn@A@6@5>U)@A@AB6P@5;Zn@A@6A@2A@A@A6b@5=Zn@A@6÷b@5<Zl@A@6]@5;Zj@A@ABCDEF@A:#tӡ'NZSqrt'@:@@6ò@2A@A@A@A@G:@@U@5Ea@A@A6@5~Z@A@6 h@5~Z@A@AB6 @5|Ud@A@6 @5}Ud@A@A6@5yU`@A@6@5yE@A@ABC6@5wE@A@6@5yE@A@A6@5xUf@A@6f@5wUd@A@AB6H@5vUb@A@6@3 A@A@A6@5vZ@A@6@3 A@A@ABC6@5wUb@A@6P@5vZ@A@A6A@3 A@A@6b@5wZ@A@6÷b@5vZ@A@6]@5uZ@A@ABCDEF@A:Ԡ#tӡ@:֠@@6z@3A@A@A@A@:۠@@U@5E@A@A6@5Z@A@6 h@5Z@A@AB6 @5U@A@6 @5U@A@A6@5U@A@6@5E@A@ABC6@5E@A@6@5E@A@A6@5U@A@6f@5U@A@AB6H@5U@A@6@3@B@A@A6@5Z@A@6@3@B@A@ABC6@5U@A@6P@5Z@A@A6A@3@B@A@6b@5Z@A@A6ò@3=B @A@6÷b@5Z@A@6]@5Z@A@ABCDEF@; @@U@5E@A@A6@5Z@A@6 h@5Z@A@AB6 @5U@A@6 @5U@A@A6@5U@A@6@5E@A@ABC6@5E@A@6@5E@A@A6@5U@A@6f@5U@A@AB6H@5U@A@6@3oB?@A@A6@5[ @A@6@3oB>@A@ABC6@5U@A@6P@5[@A@A6A@3oB>@A@6b@5[@A@A6ò@3lB9@A@6÷b@5[@A@6]@5[ @A@ABCDEF@AB;<#tӡ3p@3r;>@@6t@.7B,@A@A@A@3;C@@U@6F@A@A6@6[5@A@6 h@6[4@A@AB6 @6V@A@6 @6V@A@A6@6U@A@6@6F/@A@ABC6@6F,@A@6@6F-@A@A6@6V@A@6f@6V@A@AB6H@6V@A@6@3Bx@A@A6@6[E@A@6@3Bw@A@ABC6@6V@A@6P@6[I@A@A6A@3Bx@A@6z@3Bv@A@AB6b@6[I@A@6ò@3Bt@A@6÷b@6[I@A@6]@6[G@A@ABCDEF@A;w#tӡL&NZDiv'@;{@@%@.L@A@6@.yL@A@AB@A@G;@@U@6^F@@A@A6@6][u@A@6 h@6][t@A@AB6 @6[VC@A@6 @6\VC@A@A6@6XV?@A@6@6XFo@A@ABC6t@.B@A@6@6[Fq@A@A6@6YFn@A@6@6YVG@A@AB6f@6WVD@A@6H@6XVD@A@A6@3B@A@6@6W[@A@ABC6@3B@A@6@6ZVE@A@A6P@6W[@A@6A@3B@A@AB6z@3B@A@6b@6[[@A@A6ò@3B@A@6÷b@6[[@A@6]@6Z[@A@ABCDEF@A;#tӡ'NZBits'@;@@\@.;@A@A\@.;@A@ ؉@.;@A@AB6s@.;@A@6@.;@A@A6s@.;@A@6@.;@A@7@.;@A@ABCD@A@Gwj;Ѡ@@%@.M @A@AU@6F@A@6@6[@A@AB6 h@6[@A@6 @6V@A@A6 @6V@A@6@6V@A@ABC6@.M@A@6@6F@A@A6t@.B@A@6@6F@A@AB6@6F@A@6@6V@A@A6f@6V@A@6H@6V@A@ABCD6@4:C @A@6@6[@A@A6@4<C @A@6@6V@A@AB6P@6[@A@6A@4=C @A@A6z@4;C @A@6b@6[@A@A6ò@4;C@A@6÷b@6[@A@6]@6[@A@ABCDEF@A< #tӡv@x< @@|}@/<@A@A@A@t<@@%@/%MM@A@A\@/$<,@A@\@/#<+@A@AB ؉@/<#@A@U@6F@A@A6@6\ @A@6 h@6\ @A@ABC6 @6V@A@6 @6V@A@A6@6V@A@6@/$Mb@A@AB6@6G@A@6t@/%C@A@A6@6G@A@6s@/#B @#_212M접  #_22'`o@BA@@@."@#_23"bK@.\@AA@@@@@@@@@@@@@#_2446@@&ProperL@@@!#_25X@3typeclass_instances.H@@@'META569@@.@  @..S@@.@ "@.('META570.m@.@79@.?..¸@JL..VX02..ߛf.A.r@@@@Ѐ.]l0S@ 4Coq.Numbers.Natural.Abstract.NAxioms.NAxiomsRec#<>#1& @.2 Q@@A@#_260a@.3D@#_272M접  #_28'`o@C@@@@A@#_29$AC@/;@AA@@@@@.2 Q@@A@#_300@.4Y7@#_312M접  #_32'`o@GX@@X@@@@@/?@A@/:/h@#_332G@/@AA@@@@@@@@@@.8\@.#tӡȠ@ʠ.@@C)@AK%))BK))C)y)wE@A@.#tӡ_0@.@@ *@).@A@A@A@0.@@C@)^@A@AK%@)^@A@K@)X@A@ABK@)X@A@@)X@A@A@)X@A@#@)X@A@ABC@)X@A@K@)^@A@Aq@)X@A@ @)^@A@A@)^@A@@)^@A@E@)^@A@ABCDE@A@)8\@)#tӡO@O)@@!6$@A!=$$B!> $$C!b$x$vE@A@)#tӡ;@=)@@ 4@$.@A@A@A@1/)@@!6@$^K@A@A!=@$^I@A@!=@$Y@A@AB!> @$Y@A@!+@$Y@A@A!@$Y@A@!׀@$Y@A@ABC!b@$Y@A@!ڨ@$^R@A@A!@$Y @A@!j@$^S@A@A!@$^P@A@!|@$^N@A@!@$^L@A@ABCDE@A@$8\@$#tӡn@p$@X}hfXR][WjR@wGO@܄N@'PKL@ABCDEFG@A@$#tӡx@z$@@7@R/$@A@A@A@1l$@@@^@A@A2@^@A@@YW@A@AB@YU@A@@YS@A@A@O@A@t@I@A@ABC>@E@A@o@I@A@A=@>@A@@I@A@AB@Y\@A@0@Y[@A@A@YY@A@@E@A@ABCDX@^@A@@E@A@A~@Y[@A@@^@A@AB@>@A@<@E@A@A=@>@A@D@E@A@ABC@>@A@]@^@A@Aǭ@E@A@Dz,@^@A@ABXR@^@A@@>@A@A@P @A@Wd@>@A@ABWj@>@A@wG@>@A@܄@>@A@'PK@I@A@ABCDEFG@A@8\@#tӡ{@}@@ * @A *y  B *  C +  D +  G@A@#tӡݠ@ߠ@@C+@ /@A@A@A@1Ѡ@@ *@ ^@A@A *y@ ^@A@ *@ Y@A@AB *@ Y@A@ +"@ Y@A@A +@ PB@A@ +@ I@A@ABC +@ E@A@ +@ I@A@A +@ ?D@A@ +@ I@A@AB +@ Y@A@ +w@ Y@A@A +Y@ Y@A@ +@ F4@A@ABCD +@ _@A@ +-@ F6@A@A +@ Y@A@ +a@ _@A@AB 6@ ?O@A@ 61@ F8@A@A 6Є@ ?N@A@ 6@ F7@A@ABC 6@ ?M@A@ 7R@ _@A@A 7@ F8@A@ 7s@ _ @A@AB 8M@ _ @A@ @ ?R@A@A)+@ Pn@A@L@ ?N@A@ABL@ ?L@A@l@ ?H@A@!Ly@ ?G@A@3E@ I@A@ABCDEFG@A@@@Zخb1Z3uu@תl$=8bI8@Osf! 9Wa@ʑynɳŧ+۞I6U