"`(%NZLog&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@)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ֱ&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%NZPow&NatInt'Numbers#Coq@0)6*9 B:vȻW pj1>~o3*Q^YР%NZLog&NatInt'Numbers#Coq@ A$Log2@@!A@!t @J %'A*Equalities*Structures#Coq@@@@@ %'@ @A@A@@@AA@@A@@*Equalities*Structures#Coq@#Typ@@@@g@.@*gؠJ@@A@A@$log2 @d@@@SRQP@@!tg؀ @@@@@AA@@A@@@@@@@-@S@-d@@A@A@*NZLog2Speca@AYl@!t @J %'A*Equalities*Structures#Coq@@@@@ %'@ @A@A@@@AA@@A@"eq @^@)@% Y@.@* YA@@@@@(eq_equiv @@/RelationClasses'Classes1@+Equivalence~@J@F YN@/Հ@@@FA݋X_A/RelationClasses'Classes#Coq@@A@@A$zero @Tf@!t Y@@@@@AA@@A@$succ @r@y@ Y}@ Y@@@@@$pred @d@@& Y@* Y@@@@@)'succ_wd @@)Morphisms'Classes#Coq@@&ProperL@@F Y@J Y@*respectful%WO?@U Y@Y Y@"eqՀ@Հ@]π@@@AviA4'Classes#Coq@@A@@n'pred_wd @@E@@ Y@ Y9@ Y@ Y@4Հ@8Հ@}lZ@@@A3@A@@)pred_succ @@!n@ Y@SՀ@lZ"@πA@@@@@,bi_induction @@!A@5@ YA@@?@ Y E@ YI@Հ%Logic$Init@#iffС)0@B[@f@Ra@ YDCl@πJbq@  YEQ@@@kA@A@@#one @T@ Y@@@@@#two @T@+ Y@@@@@*(one_succ @@@Հ@*@:π@Qf@@@@@G(two_succ @@@Հ@9淽@Wπ@Q@@@@@d"lt @h@@!t Y@@ YA@@@@@AA@@A@"le @h@@ Y@@ Y@@@@@%lt_wd @@i@ @ Y@@ Y٩^@ Y@@ Y䚠@ZՀm#@ Y'@dՀޚ+@"lt]@@@$A`@A@@Ǡ+lt_eq_cases @@-<@ Y!mC@ YJ@`N(@"or @X@-]]@Հ@@@@@)lt_irrefl @@\k@ Y#@#notШw@L]UU@@@@@)lt_succ_r @@w@  YJ@% YC@g]>@)πv@NS@@@@@6#add @d@@F Y@@K Y@O Y@@@@@N#sub @d@@^ Y@@c Y@g Y@<@@e#mul @d@@u Y@@z Y@~ Y@S@@|&add_wd @@S@@ Y@@ Y@ YL@ Y@@ Y @ Y@LՀ_@ Y@ Y@ZՀ!@^Հ%@~@@@AY@A@@&sub_wd @@@7@ Y@<@ Y@@ YF@ Y@K@ YO@ YS@ՀY@ Y]@ Ya@Հe@Հi@!@@@aA@A@@&mul_wd @@۰@{@ Y@@ Y@ Y@$ Y@@) Y@- Y@Հ@7 Y@; Y@Հ@Հ@歵@@@A@A@@H'add_0_l @@@W Y@Հ@&~@pf@@@@@f*add_succ_l @@̚@u Y@z Y@"Հ@I~@πϩ@π@[~@@@@@'sub_0_r @@ @ Y@MՀ@\!@f@@@@@*sub_succ_r @@)@ Y횠.@ Y3@pՀ9@!婚?@πD@lZJ@!@@@@@㠠'mul_0_l @@IX@ Y]@Հc@歵h@ fEl@f@@@@@*mul_succ_l @@kz@ Y>@ Y@Հ@歵@!πm@~@歵Qx@@@@@4#max @d@@!t Y@@ Y@  Y@@@@@AA@@A@%max_l @@!x@ Y!y@$ Y@@"leNAB@"eqՀ@DEC@@@@@2%max_r @@/@J Y-@O Y@@+N)*@(Հ @kE'4@@@@@W#min @d@@p Y@@u Y#@y Y@@@@@o%min_l @@l1@ Yj6@ Y@<@hN=A@dՀG@7Ӏcb@@@@@%min_r @@U@ YZ@ Y@`@Ne@Հk@[Ӏ@@@@@@(NZAxioms&NatInt'Numbers#Coq@/NZOrdAxiomsSig'@@ Y@@ YJ@@A@A@@gՠ^@@A@N@@Nh@@A@AB]@@]h@@A@~@@~d@@A@AE@@Ed@@A@@@Ӡd@@A@ABC歵@@歵d@@A@@@'T@@A@A!@@!d@@A@淽@@!淽T@@A@AlZ@@*lZd@@A@@@AϠr@@A@f@@WfT@@A@ABCDE@B!B%@#pow @d@@!t Y@@ Y @  Y@@@@@AA@@A@@%NZPow&NatInt'Numbers#Coq@$Pow' @@@@Ћ@3@/Ћd@@A@A@C!C]@ @@5@ Y9@ Y@@@@jf?@@@@:@@1:@A@A@)log2_spec @@!aAu5@1 Y@@"lt]@fA%Logic$InitJ@#andЖw@!@"leNB]@Ћ/@淽C`i@u:뀐B5A@π@@@@@p+log2_nonpos @@RP@1AET@"eqՀ'L@@@@@@@@@@@@&NZLog2@D@}c @b@ @`9܀@@`9܀`@^@@u\ @[Z@`9܀ @~`AX@O@@C @B)@@`9܀@?@@=: @9@3@J`9܀7@N`9܀@7@@K5 @4@A@X`9܀E@\`9܀@2@@Y0 @/.@Q@h`9܀U@l`9܀"[@r`9܀_@v`9܀c@`AXg@!`AXk@ylR@@@ @T@w@`9܀{@`9܀H@`9܀@`9܀@C`AX@G`AX@l݀@@@  @  @`9܀@Z`AX@l݀@lR@@@ @@@`9܀@@@`9܀@`9܀ @`AX#@󐚠@mx@D@`9܀ 򐩚@lR:R@`9܀@@@ @隠@`9܀@@@ @䚠@ `9܀@@@  @ߩ@`AX@`~ @lR@/mx@@@#ܐ @۩@`AX@`@#@1lR(@+`~@@@<ؐ @׶@2@`9܀@7@`9܀Ԑ@@@Р͐ @̶@A@`9܀@F@`9܀@@@ߠȐ @ǩ/@R@i`9܀@W@n`9܀$]@t`9܀@b@y`9܀f@ `AX3l@`9܀p@*`AXt@`A@@@ @욠~@`9܀@`9܀@`Aр@`Aĩ@P`AXɐ@@@ @@`9܀@`A@@@ @@`9܀򚠐@`9܀렩@`A橚@lR@[`Aр@@@ܠ @@@`9܀@@`9܀@`9܀@@@ @@@`9܀@@`9܀@`9܀@@@ @@@`9܀@@`9܀@`9܀@@@ @갶@ @$`9܀@@)`9܀@-`9܀@3`9܀@!@8`9܀%@<`9܀)@`AX/@F`9܀3@J`9܀7@`AX;@`AX?@`@@@S @(@K@b`9܀@P@g`9܀T@k`9܀!Z@q`9܀@_@v`9܀c@z`9܀g@!`AX4m@`9܀q@`9܀u@/`AXy@3`AX}@@`䤀@@@ @f@@`9܀@@`9܀@`9܀_@`9܀@@`9܀@`9܀@_`AXr@`9܀@`9܀@m`AX@q`AX@g`8@@@Ϡ @3@`9܀@`AX@`@mx//@@@頠 @M@`9܀ @`9܀@`AX@`@ lRO@ lR@`3@@@ ~ @}x @ !`9܀@`AX@`䤀p@ :mxt@|@@ .z @y$@ ;`9܀e)@ @`9܀.@`AX4@`䤀]:@ HlR?@ :l݀E@`䤀x@x@@ Yv @uO@ f`9܀T@ `AXZ@`8_@ mxc@ mx@t@@ wr @qۚm@ `9܀r@ `9܀w@ 1`AX}@)`8@ lRݩ@c`@:`8@p@@ n @m@@k`9܀@@p`9܀@t`9܀@j@@he @dc@~`9܀a@`9܀@@_`Aр^@[`AX@`ȀZY@X@@V @U@`9܀@`9܀@@`AрT@{`AX@`Ȁz@S@@Q @P@@`9܀@@`9܀@`9܀@N@@L @K@`9܀@`9܀@ @`Aр@`AX@`V@J@@۠H @G֚@`9܀Ԛ#@`9܀@)@`Aрѩ.@`AX4@`Vڐ@F@@@D.NZOrdAxiomsSig @@`9@A@ `9;@A@A`AX@C@ `AX:@A@`A@F@`A9@A@AB`A@H@`A8@A@`@L@'`7@A@A`@N@+`6@A@`V@Q@`V5@A@ABC`8@S@`84@A@`~@W@ Z`~3@A@A`@Y@`2@A@`@@]@ R`@1@A@Al@_@ Zl0@A@lR@b@ plR/@A@mx@e@ mx.@A@ABCDE@E- Q@, @+@v@)`9܀@@.`9܀ @2`9܀@(@@&@##Pow@@@@\@!@I\@A@A@ / @ .@ @ &`9܀$@ *`9܀@ )@@ '  @.@ 4`9܀@4@`A9@ mx@@`AрT@z\L@ `@@ g?=񩚠V@%`A@\a@ `@f@ lR@ ?= @@@ o @Ov@ |`9܀@|@2`AрF@ mx@ `AX@ ?=-@ #mx@@@ @@@@@@?=@ @ ?= @A@A@*NZLog2Prop @F  @  u @ t@ @ \Xހ@@ \Xހ r@ p@@  n @ m l@ \Xހ @ \`Z@ a@@  U @ T)@ R\Xހ@ Q@@ O L @ K@3@ \\Xހ7@ `\Xހ@ I@@ ] G @ F@A@ j\XހE@ n\Xހ@ D@@ k B @ A @@Q@ z\XހU@ ~\Xހ 4[@ \Xހ_@ \Xހc@ /\`Zg@ 3\`Zk@ iT@ .@@  # @ " f@w@ \Xހ{@ \Xހ Z@ \Xހ@ \Xހ@ U\`Z@ Y\`Z@ h߀@ !@@   @  @ \Xހ@ l\`Z@ h߀@ iT  @ @@ Ҡ  @  @@ \Xހ @ @@ \Xހ  @ \Xހ @ \`Z  5@ @ iz@ V@ \Xހ   @ iT L d@ \Xހ @ @@   @ @ \Xހ@ @@   @ @ \Xހ@ @@   @ 񩚠@ \`ZF  @#one\@ -iT @ Diz@ @@ 8  @ 𩚠@ \`Z@ (]B"@ @@ I  @ @-@ \Xހ@2@ \Xހ @ @@ ݠ ڐ @ ٶ@<@ \Xހ@A@ \Xހ @ @@ 젠 Ր @ ԩ <@M@ v\Xހ@R@ {\Xހ  1X@ \Xހ@]@ \Xހ a@ -\`Z @g@ \Xހ k@ 7\`Z o@ \`‐@ @@  ΐ @ Ͷ y@ \Xހ ̚~@ \Xހ Š@ *\`Ӏ ʩ ɠ@ \` ѩ@ ]\`Z ֐@ @@   @  @ \Xހ @ \` @ @@ Ƞ  @  ,@ \Xހ @ \Xހ @ \`† 󩚠@ iT +@ h\`Ӏ @ @@ 頠  @ @@ \Xހ@@ \Xހ@ \Xހ@ @@   @ @@ \Xހ@@ \Xހ@ \Xހ@ @@   @ @@ \Xހ@@ !\Xހ@ %\Xހ@ @@ "  @  @@ 1\Xހ@ @ 6\Xހ@ :\Xހ @ @\Xހ@@ E\Xހ @ I\Xހ$@ \`Z *@ S\Xހ.@ W\Xހ2@ \`Z6@ \`Z:@ '\@ @@ `  @  5@F@ o\Xހ@K@ t\XހO@ x\Xހ .U@ ~\Xހ@Z@ \Xހ^@ \Xހb@ .\`Z Ah@ \Xހl@ \Xހp@ <\`Zt@ @\`Zx@ M]@ @@   @  s@@ \Xހ@@ \Xހ@ \Xހ l@ \Xހ@@ \Xހ@ \Xހ@ l\`Z @ \Xހ@ \Xހ@ z\`Z@ ~\`Z@ t\:@ @@ ܠ  @  @@ \Xހ@ \`Z@ \@iz < <@ @@   @  Z@\Xހ -@\Xހ@ \`Z@ \@iT  \@iT@ \ @@ @@!  @  @.\Xހ @ \`Z@ ] }@Giz @ @@;  @  @H\Xހ r$@M\Xހ)@ \`Z/@ ] j5@UiT :@Gh߀@@ ] @ @@f  @  ʚJ@s\XހO@\`ZU@ \:Z@iz ƚ^@iz@ @@  @ ~ 蚠h@\Xހ m@\Xހr@>\`Zx@ 6\:~@iT  ꩚@ p\@ G\:  @ }@@ { @ z@@ x\Xހ@@ }\Xހ@ \Xހ@ w@@ u r @ q p@ \Xހ n@ \Xހ@@ l\`Ӏ k@ h\`Z@ \ʀ g f@ e@@  c @ b @ \Xހ @ \Xހ@@ \`Ӏ a@ \`Z@ \ʀ  @ `@@  ^ @ ]@@ \Xހ@@ \Xހ@ \Xހ@ [@@ Ƞ Y @ X Ú@ \Xހ @ \Xހ@@ \`Ӏ  @ \`Z@ \X  @ W@@ 蠠 U @ T 㚠@ \Xހ ᚠ@ \Xހ@$@ \`Ӏ ީ)@ \`Z/@ \X  @ S@@ @ Q@@\X@:@\X F@A@A\`Z@<@\`Z E@A@\`@?@ \` D@A@AB\`@A@\` C@A@\@E@ 2\ B@A@A\@G@ 6\ A@A@\X@J@ \X @@A@ABC\:@L@ \: ?@A@\@P@e\ >@A@A]@R@ '] =@A@]B@V@]]B <@A@Ah@X@eh ;@A@iT@[@{iT :@A@iz@^@iz 9@A@ABCDE@G 8\@ 7 @ 6@o@ 4\Xހ@@ 9\Xހ @ =\Xހ@ 3@@ 1&pow_wd @@)Morphisms'Classes#Coq@@&ProperL@$@ W\Xހ@)@ \\Xހ-@ `\Xހ@*respectful%WO?8@ k\Xހ@=@ p\XހA@ t\XހE@"eq\`ZL@ \XހP@ \XހT@\`ZX@\`Zg@ Y@@@ %'A*Equalities*Structures#Coq@AviAT'Classes#Coq@@A@@ 'pow_0_r @@!a}@ \Xހ@=\`Z@ YA@$zeroiz@\@@@@@ *pow_succ_r @@&@ \Xހ!b@ \Xހ@@"le\`Ӏ@&iz+@t\`Z@ YC@$succiTB@#mul\:@ Y@@@@@ )pow_neg_r @@i@ \XހC@ \Xހ@@"lt\`†h@giz@\`Z @ >Y+@viz@@@@@ -@ *&NZPow' @@@@Y@@ PY !@A@A@H |@: @9@ @1\Xހ$@5\Xހ@4@@2  @  .@?\Xހ@4@ \`†9@iz  @@ \`ӀT@ YL@]B<@r`p  V@ 0\`† @ Ya@]Bf@iTW@`p @ @@z  @  Zv@\Xހ@|@ =\`Ӏ Q@iz@ \`Zw@`p 8@.iz@ @@@ Q@@@@`p@@`p@A@A@I!D@'eq_refl @/RelationClasses'Classes#Coq@@5Equivalence_Reflexive@6-T @6- LM!F@9?¼ D@*NZMulOrder&NatInt'Numbers#Coq@.NZMulOrderPropn @A@@@@"NZ*NZMulOrder&NatInt'Numbers#Coq@U@A@*NZAddOrder&NatInt'Numbers#Coq@.NZAddOrderProp!@@@A@@@@"NZ*NZAddOrder&NatInt'Numbers#Coq@,@@l-@4@!tl-J@@A@As@@"eqs^@@A@t"@ @"let"h@@A@ABt1@@"ltt1h@@A@R@@#addRd@@A@A @@#max d@@A@ @@#min d@@A@ABC@!@#muld@@A@@'@#oneϠT@@A@A@+@#subd@@A@@1@#twoT@@A@A.@5@$pred.d@@A@ !@:@$succ !r@@A@ @?@$zero ɠT@@A@ABCDE@A@&NZBase&NatInt'Numbers#Coq@*NZBasePropcm@@@A@@@@"NZ&NZBase&NatInt'Numbers#Coq@u@@’H@}@!t’HJ@@A@A™@@"eq™Ġ^@@A@š=@ @"leš=h@@A@ABšL@@"ltšLh@@A@"m@@#add"md@@A@A34@@#max34d@@A@3@@#min3 d@@A@ABC4@!@#mul4d@@A@6@'@#one6T@@A@A=@+@#sub=d@@A@>@1@#two>T@@A@AI@5@$predId@@A@G@:@$succGr@@A@@?@$zeroT@@A@ABCDE@A@@MA@]@@@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@@L4.+*@A@4*BackportEq@@@A@@@@ %'ADA݋X_Ag@A@@AA@@A@&eq_sym @@5Equivalence_Symmetric. UH@\XހL@\`ZP@.@E@@)SymmetricFgq[@\Xހ_@\`ZTvL-\wDrdWFߠ\X@@@OAM@A@@K(eq_trans @@6Equivalence_TransitiveW@\Xހ@\`Z@.@E@@*Transitive++-@\Xހ@\`ZːǐTL-\D8'Ѡ@@@A@A@@*eq_sym_iff @ΠL;@7@!x@\Xހ!y@\Xހ%Logic$Init#Coq@@#iffС)@4\`ZBA@<\`ZAB@@@ %'A*Equalities*Structures#Coq@A݋X_A/RelationClasses'Classes#Coq@@A@@AA@@A@'neq_sym @@A!n+@-\Xހ!m2@4\Xހ@%Logic$Init#Coq@@#notШF@\`ZBAR@\`ZBC@@@VAN@A@@F(eq_stepl @bTG6@Bm@o\Xހs@u\Xހ!zz@|\Xހ@@\`ZCB@@\`ZD8@\`Z=@@@Aۓό^)Morphisms'Classes#Coq@@A@AB@@(succ_inj @|&@C"n1@!t\Xހ"n2@\Xހ@@\`Z@iTB@iTA@\`Z@@@AviAG@AAۀߠKJ@AN@A@ABC@@Ҡ+succ_inj_wd @Ӡ l[@WDF@E\XހD@K\Xހ@H\`Z@iTB@iTA@\\`ZBA@@@ AG@"A8ӠA4Relation_Definitions)Relations#Coq@@AB@@/succ_inj_wd_neg @6( @EA@\XހG@\XހfT@\`ZZ@EiTBa@LiTA0l@\`ZBA@@@@@^1central_induction @zl_N@F!A@@\XހA$A_wd)Morphisms'Classes@@&ProperL@@\Xހ@*respectful%WO?@\Xހ"@"eq\`Z%Logic$Init!@#iffС)AF@\Xހ@m @@\XހE @iT@\XހF@@@@@ʠ'add_0_r @ؠˠ@@A&NZBase%NZMul&NatInt'Numbers#Coq@ca@A@%NZMul&NatInt'Numbers#Coq@)NZMulProprp@A@@@@"NZgf@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@!no@!t\Xހu@"eq\`Z|@#add\A@$zeroizA@@@ %'A*Equalities*Structures#Coq@AviA)Morphisms'Classes#Coq@@Aۓό^ @A݋X_A/RelationClasses'Classes#Coq@@ABC@@AA@@A@*add_succ_r @͠@AT@S\Xހ!m@Z\Xހ@Y\`Z@X\B@$succiTA@iT@m\BA@@@gA_@iAW@kAU@ABC@@M-add_succ_comm @Ѡ @B @\XހJ@\Xހ@\`Z@\#@HiTBA+@\B2@WiTA@@@A@A@A@ABC@@(add_comm @E7*_RD?. @+C暠T@\XހZ@\Xހ_@\`Ze@\BAm@\AB@@@A@A@A@ABC@@Ѡ'add_1_l @sfU{j\@gD"@!\Xހ@ \`Z@\@#one\A@iTA@@@$A@&A@(A@ABC@@ 'add_1_r @ԠǠ@E[@Z\Xހ@Y\`Z@X\A@:\@iTA@@@\AT@^AL@`AJ@ABC@@B)add_assoc @נƠ ۠@F@\Xހ?@\Xހ!p@\Xހ@\`Z@\C @\BA(@\.@\CBA@@@A@A@A@ABC@@,add_cancel_l @C5(]PB=,@)G䚠R@\XހX@\XހQ^@\Xހ%Logic$Init#Coq@@#iffС)q@\`Zw@\AC@\AB@\`ZCB@@@A@A@ A@ABC@@렠,add_cancel_r @ov@H<@;\Xހ蚠@A\Xހ@G\XހX@J\`Z@I\CA@Q\BA@`\`ZCB@@@SAK@UAC@WAA@ABC@@9,add_shuffle0 @۠ΠҠ@I@\Xހ6@\Xހ @\Xހ @\`Z @\ @\CBA @\ $@\CAB@@@A@A@A@ABC@@,add_shuffle1 @9+ SF83"@Jښ H@\Xހ N@\XހG T@\Xހ!q [@\Xހ `@\`Z f@\ l@\DC t@\BA |@\ @\DB @\CA@@@A@ A@ A@ABC@@,add_shuffle2 @ry@K? @>\Xހ뚠 @D\Xހ @J\Xހe @P\Xހ @O\`Z @N\ @T\DC @\\BA @d\ @j\DA @r\CB@@@lAd@nA\@pAZ@ABC@@R,add_shuffle3 @֠@L @\XހO @\Xހ @\Xހ "@\`Z (@\C /@\BA 7@\B >@\CA@@@A@A@A@ABC@@'sub_1_r @RD7&l_QL;-@8M󚠐 a@\Xހ f@\`Z l@#sub]A s@\ x@$predh߀A@@@A@A@A@ABC@@ܠ'mul_0_r @~q`@@!n @!t\Xހ @"eq\`Z @^\:A @Fiz @Jiz@@@ %'A*Equalities*Structures#Coq@AviA)Morphisms'Classes#Coq@@Aۓό^ @A݋X_A/RelationClasses'Classes#Coq@@ABC@@AA@@A@*mul_succ_r @ޠРà@AR @Q\Xހ!m @X\Xހ @W\`Z @\:B @iTA @\ @\:BAB@@@dA\@fAT@hAR@ABC@@J(mul_comm @ %  ?2$@=B 1@\XހG 7@\Xހ <@\`Z B@\:BA J@\:AB@@@A@A@A@ABC@@/mul_add_distr_r @ ^ P C 2xk]@vCҚ j@\Xހ p@\Xހ!p w@\Xހ |@\`Z @:\: @D\CBA @M\ @O\:CA @W\:BA@@@A@A@A@ABC@@ؠ/mul_add_distr_l @    ͠@D' @&\Xހ՚ @,\XހU @2\Xހ @1\`Z @\:C @\BA @\ @\:CB @\:CA@@@FA>@HA6@JA4@ABC@@,)mul_assoc @    ۠!@E{ @z\Xހ) @\Xހ @\Xހ $@\`Z *@\:C 1@\:BA 9@\: ?@\:CBA@@@A@A@A@ABC@@y'mul_1_l @ T F 9 (naS@lFȚ `@\Xހ e@\`Z k@#\: p@"\AA@@@A@A@A@ABC@@'mul_1_r @  u h W@G @\Xހ @\`Z @R\:A @R\A@@@A@A@A@ABC@@נ,mul_shuffle0 @    ̠@H& @%\XހԚ @+\XހT @1\Xހ @0\`Z @\: @\:CBA @\: @\:CAB@@@>A6@@A.@BA,@ABC@@$,mul_shuffle1 @    Ӡ @Is @r\Xހ! @x\Xހ @~\Xހ!q @\Xހ #@\`Z )@\: /@\:DC 7@\:BA ?@\: E@\:DB M@\:CA@@@A@A@A@ABC@@,mul_shuffle2 @ a S F 5{n`@yJ՚ m@\Xހ s@\Xހ y@\Xހb @\Xހ @\`Z @B\: @H\:DC @P\:BA @X\: @^\:DA @f\:CB@@@A@A@A@ABC@@砠,mul_shuffle3 @     ܠϠ@K6 @5\Xހ䚠 @;\Xހd @A\Xހ @@\`Z @\:C @\:BA @\:B @\:CA@@@NAF@PA>@RA<@ABC@@4%le_wd @    㠠@@A&NZBase'NZOrder&NatInt'Numbers#Coq@  @A@'NZOrder&NatInt'Numbers#Coq@+NZOrderProp  @A@@@@"NZ  @A@@)Morphisms'Classes#Coq@@&ProperL@H@!t\Xހ@N@\XހA)Morphisms'Classes=@@*respectful%WO?a@\Xހ@f@\Xހj@"eq\`Zq@)\Xހ#u@ \`Z%Logic$Init$@#iffС)@"le\`Ӏ@@@ %'A*Equalities*Structures#Coq@AviA)Morphisms'Classes#Coq@@Aۓό^ @A݋X_A/RelationClasses'Classes#Coq@@ABC@@AA@@A@*lt_le_incl @    @A!n@!t\Xހ!m@\Xހ@@"lt\`†BA@"le\`ӀCB@@@@@6'le_refl @  נ ʠ ֠ɠ@B3@2\Xހ@ \`ӀAA@@@uA_@A@@W.lt_succ_diag_r @    ڠ@CT@S\Xހ@J\`†A@$succiTA@@@@@}.le_succ_diag_r @ ,   @Dz8@y\Xހ=@g\`ӀAD@&iTA@@@@@/neq_succ_diag_l @ Q C 6 %B5'@@E]@!t\Xހ%Logic$Init#Coq@@#notШq@"eq\`Zx@ZiTAA@@@A@AAۀߠK@A@A@ABC@@ᠠ/neq_succ_diag_r @   u dtf@Fޚ@T\Xހ>@4\`ZA@iTA@@@@@ /nlt_succ_diag_l @    @G@h\Xހ%Logic$Init#Coq@@#notШ@ \`†@iTAA@@@@@=/nle_succ_diag_l @  ޠ Ѡ ݠР@H:@\Xހ3@+\`Ӏ@iTAA@@@@@f)le_succ_l @  @Ic!@\Xހa'@h\Xހb@#iffС)3@]\`Ӏ9@iTBAA@t\`†BA@@@A@AA@A@A@ABC@@+le_gt_cases @WI<+H;-@FJc@\Xހi@\Xހ@"or @v@\`ӀBA~@\`†AB@@@A@A@A@ABC@@㠠-lt_trichotomy @wfvh@K@\Xހޚ@\Xހ;@\`†BAG@H\`ZBA@\`†AB@@@@@ (lt_asymm @Ϡ@L@\Xހ@"\Xހ@@\`†BA%@&\`†@@@qAi@ArAy@tAb@vA`@ABC@@X(lt_trans @۠@MU@T\XހS@Z\Xހ!p @a\Xހ@&@Y\`†CB@/@b\`†XW5@h\`†E_@@@A@AA@A@A@ABC@@(le_trans @J</;. @9NV@\Xހ\@\XހCb@\Xހ@h@\`ӀCB@q@\`Ӏw@\`ӀB@@@A@A@A@ABC@@ڠ+lt_strorder @{n]zm_@xO/RelationClasses'Classes#Coq@@+StrictOrder.[@@\Xހ@\`‐@@@"A @A@@+le_preorder @@P*@(PreOrder@@\Xހ@\`Ӏ@@@EA/@A@@'/le_partialorder @֠ȠǠ@QL@,PartialOrder5͛К@\Xހ@\`Z@(eq_equiv.@E@q\`ӀX@K4E@@@uAm@AvAd@xAb@zAhCd@ABC@@^)lt_compat @@%lt_wd?€@)Morphisms'Classes#Coq@@&ProperL@$@\Xހ@)@\XހA@*respectful%WO?6@\Xހ@;@\Xހ?@"eq\`ZF@\XހJ@ \`Z%Logic$Init8@#iffС)X@"lt\`‐@-IHG @S']ɠdVI8UH:@@@@@Š(lt_total @@/@ߚ|@\Xހޚ@\Xހݠ@\`۩ؠ@\`Z֩@\`Ӑ;n@aǠpr@@@@@'le_lteq @@+lt_eq_cases y@!n@Z\Xހ!m@a\Xހu@"le\`ӀBA@"or @@~\`@\`Z@1&yӠƠҠŠ@@@@@B0Private_OrderTacOA'IsTotalW A  @@.@E@/RelationClasses'Classes~@+Equivalence~@@\Xހ@"eq\`Z@.7L@@@@@ @@7<@6@w\Xހ:@m\`‐@,Q^@2%1$@@@@@C @@K.̀@A@Y@\Xހ@^@\Xހ53d@\Xހ@i@ \Xހ@m@.\`ZBs@\XހJw@8\`Z-{@#\`‐"qdSpcU@@@@@ࠠ @@#.W@@\Xހ@\Xހ@\`򠩚@8\`Z𩚠@\`퐑@@@@@ @$@b@@l\Xހ@q\Xހ@\`Ӏ @\`@\`Zנʠ֠ɠ@@@@@F@@@@v@#TacV )OrdersTac*Structures#Coq@,MakeOrderTacf'eq_refl @堠@@D!P)OrdersTac*Structures#Coq@:3@@@A@@C!O@@&@@&J@@A@A&a@@ &a^@@A@&@@v&ڠh@@A@AB&@ @"lt&h@@A@&̌@@#one&̌T@@A@A&̔I@@#two&̔IT@@A@&H@@$pred&Hd@@A@&؝[@@4&؝[r@@A@&C@#@$zero&CT@@A@ABCDE@A@CZ=n:@A@@@BJIM@@@A@@A@PC@@@I@!tJ@@A@A$:@@"eq$:^@@A@$@ @"le$h@@A@$@@"lt$ h@@A@ABC@A@**OrderFacts-#@A@@n@!x@G\Xހ@*\`ZA@@@ %'A*Equalities*StructuresGA݋X_A/RelationClassesM@A@@AA@@A@ː @_YS8@A3@x\Xހ@B\`Ӏ1@@/@@#)lt_irrefl @Р ztY@BT@\Xހm@#notШ@"lt\`Z@@X@@L&eq_sym @ޠ͠ݠϠڠ@C} @\Xހ!y@\Xހ@@\`Z?@\`ZEF@@@@|*le_antisym @)  ٠Ӡ͠@D:@\Xހ0?@\Xހ@E@\`Ӏ.@K@\`Ӏ.P@\`ZDz@@@@'neq_sym @]OB1NA3N> @OEᚠn@&\Xހds@+\Xހ@{@\`Zd@\`Ze@@@@@ࠠ*interp_ord @!o)OrdersTac@#ordȠ@ @@@@@@@@@@@D@@\\Xހ@@a\Xހ[@D\`Z@\`‚@3\`Ӏ@*(@@t\Xހ@@y\Xހs +k= R'6'6'6''+k+7T'+7T'6'ࠒA@@"lt\ @e@"eq8L@glР@TȠ@@QPO@@A@B@A@xA܀۠ʠڠ̠נ@@@@@_%trans @ @F"o'!@\Xހ&@\Xހ!z-@\Xހ@JD@?F^]@SM@?F ZT@?F@)trans_ord-0uGFw@@@AviA@AAۀߠK@Aۓό^@@ABC@@(eq_trans @ޚk@#\Xހap@(\XހJu@-\Xހ@v%NМA@@=\Xހ{@B\Xހd@G\Xހ@@+\`Z@@2\`Z@7\`Zlʐ L+k() LL7#')@$ta[U:@@@@@} @=@\Xހ@\Xހ@\Xހ;@%NМNCJ@W@\Xހښ@\XހÚ@\Xހ@@q\`Ӏ_@@w\`Ӏe@|\`Ӏ^ L+k() NN7#']t ޠ@@@@@s @#@\Xހ(@\Xހ-@\XހIC@.%NМB`_@=@\Xހ3B@\XހG@\Xހ@M@`\`@S@f\`X@k\` L+k() MM7#'tcUH7 T G 9TD @@@@@̠+le_lt_trans @𚠐}@ 5\Xހs@ :\Xހ\@ ?\Xހ@%NZ@@ L\Xހ@ Q\Xހs@ V\Xހ@@ !\`Ӏ@@\`@\` L+k() MN7#' t   jd^C@@@@@#+lt_le_trans @G@ \Xހʚ@ \Xހ@ \XހE@%N   Q@^@ \Xހᚠ@ \Xހʚ@ \Xހ@@\`f@@ ~\`Ӏl@\`e L+k() NM7#'dt   @@@@@z%eq_lt @+@ \Xހ!0@ \Xހ 5@ \XހQK@6%N e d@B@ \Xހ8G@ \Xހ!L@ \Xހ@R@ \`Z@X@k\`é]@p\` L+k() ML7#'thZM< Y L >YI @@@@@Ѡ%lt_eq @@ :\Xހx@ ?\Xހa@ D\Xހ@%N_  @ @ Q\Xހ@ V\Xހx@ [\Xހ@@\`@@ E\`Z@\` L+k() LM7#'t   oicH@@@@@(%eq_le @L@ \XހϚ@ \Xހ@ \XހJ@%Nn  V@c@ \Xހ暠@ \XހϚ@ \Xހ@@ \`Zk@@ \`Ӏq @ \`Ӏj L+k() NL7#'it   Ơ@@@@@%le_eq @0@ \Xހ&5@ \Xހ:@ \XހVP@;%Nf j i@G@ \Xހ=L@ \Xހ&Q@ \Xހ@W@ \`Ӏ¶@]@ \`Zȩb@ \`Ӏ L+k() LN7#'tm_RA ^ Q C^N@@@@@֠&eq_neq @uhW t g Ytd3-' @uG@ L\Xހ@ Q\Xހs@ V\Xހ@@ :\`Z@Đ@ B\`Zː@ I\`Z@@@@@&neq_eq @   nhbG@HB@ \XހŚ@ \Xހ@ \Xހ@@ w\`ZL@@ }\`ZR@ \`ZM@@@@@L*not_neq_eq @ޠ͠  ݠ Ϡڠ@I} @ \Xހ@ \Xހ@/1@ \`Z@ \`Z@@@@|)not_ge_lt @)    ٠Ӡ͠@J:@ \Xހ0?@ \Xހ@_G@ \`Ӏ oM@`\`@@@@)not_gt_le @XJ=, I < .I9@JKܚi@ !\Xހ_n@ &\Xހ@v@\`/{@ \`Ӏ@@@@@٠)le_neq_lt @xkZ w j \wg60*@xL @ O\Xހ@ T\Xހ@@ \`Ӏ@@ @\`Z@\`_@@@@@ @@@@$;@@@@@$=@<_neq @   @ R @ \Xހ @ \Xހ@@ \`†BA {@ q\`Z  @@@@@ ?&le_neq @Ӡ  ߠ Ҡ @ S <@ ;\Xހ :@ A\Xހ ـ @ <\`†BA H@#andЖw@@ C\`ӀBA %@ \`ZBA@@@@@ *eq_le_incl @3% $  @ "T ?@ \Xހ E@ \Xހ@K@ \`ZBAS@ }\`Ӏ | {@@@@@ (lt_stepl @_QD3 P C 5@ NUݚk@ \Xހaq@ \XހKw@ /\Xހ@}@ \`†CB@@ \`Z6 @ \`† <@@@@@ 頠(lt_stepr @}l  | n@ V@ \Xހ@ \Xހ@ h\Xހ@@ \`†CB@@ N\`Z  穚@ \`†  @@@@@ "(le_stepl @Ѡà    @ WO@ \XހӚ@ $\Xހ@ \Xހ@@ \`ӀCB@@ \`Z @ (\`Ӏ '@@@@@ [(le_stepr @ ޠ   @ X@ W\Xހ @ ]\Xހ"@ \Xހ@(@ R\`ӀCB@1@ \`Z Z Y7@ a\`Ӏ  `@@@@@ ʐ @B4'3&@1Y N@ \Xހ T@ \Xހ ;Z@ \Xހ@`@ \`ӀCB@i@ \`†  o@ \`† : @@@@@ ̠ @zl_Nk^P@iZ Ț@ \Xހ ƚ@ \Xހ s@ \Xހ@@ \`†CB@@ \`Ӏ  ɩ@ \`† r А@@@@@+le_antisymm @@[@\Xހ @\Xހ@@ \`ӀBA@@ \`Ӏ  @ i\`Z@@@@@7)le_succ_r @ؠˠנʠ@\4@3\Xހ2@ \Xހ р@+\`ӀB@ iTA @=\`ӀBA@ \`ZB"@iTA@@@@@)lt_succ_l @/! @]};@ \Xހ{A@\Xހ@G@z\`†M@/iTBAU@\`†~}@@@@@,le_le_succ_r @aSF5RE7@P^m@\Xހs@\Xހ@y@\`ӀBA@\`Ӏ@iiT@@@@@䠠,lt_lt_succ_r @xgwi@_ᚠ@\Xހߚ@\Xހ@@\`†BA@\`†ܩ@iT@@@@@,succ_lt_mono @Š@`@\Xހ@\Xހ @\`†BA@\`†@iTB@iTA@@@@@S,succ_le_mono @֠@aP@O\XހN@U\Xހ 퀠@G\`ӀBA%@O\`Ӏ+@ iTB2@iTA@@@@@<_0_1 @?1$0#@.bJ@}\`†O@ izS@ \@@@A@AA@A@A@ABC@@&le_0_1 @fXK:WJ<@Ucq@\`Ӏv@ izz@ 6\@@@@@֠<_1_2 @wjYvi[@td@\`†@ Q\@ Q]B@@@A@AA@A@A@ABC@@<_0_2 @@e@\`†@ fiz@ x]B@@@@\XހՀG@z\`†BAO@y\`ӀAB@@@@@+le_ge_cases @]OB1NA3@Lii@\Xހo@\Xހx@\`ӀBA@\`ӀAB@@@@@ߠ+lt_gt_cases @sbrd@}jܚ@R\Xހښ@X\XހyF@<\`ZBAG@\`†BA@\`†AB@@@@@ ,eq_decidable @Ϡ@k@\Xހ@\Xހ)Decidable%Logic#Coq@@)decidable r@\`ZBA@@@@@S&eq_dne @֠@lP @\XހN @\Xހ퀠SW %@\`ZBA -@\`ZBA@@@@@&le_ngt @;- ,@*m G@\Xހ M@\Xހ& V@\`ӀBA b@\`†AB@@@@@&nlt_ge @pbUDaTF@_n |@\Xހ @\Xހ[ @\`†BA @\`ӀAB@@@@@,lt_decidable @y{@o󚠐 @\Xހ񚠐 @\Xހր @\`†BA@@@@@<_dne @Π@p @\Xހ @!\Xހ# @$\`†BA @,\`†BA@@@@@X&nle_gt @۠@qU!@T\XހS!@Z\Xހ򀠩X!&@P\`ӀBA!.@a\`†AB@@@@@<_nge @<.!- @+r!H@\Xހ!N@\Xހ'!W@\`†BA!c@\`ӀAB@@@@@ ,le_decidable @qcVEbUG@`s!}@\Xހ!@\Xހ!@\`ӀBA@@@@@렠&le_dne @n~p@t蚠!@\Xހ暠!@\Xހ뀐!@\`ӀBA!@\`ӀBA@@@@@$*nlt_succ_r @ӠŠĠ@u!!@\Xހ!@&\Xހ$!@%\`†A!@iTB"@3\`†BA@@@@@_5lt_exists_pred_strong @  @v "@[\Xހb" @a\Xހ`"&@g\Xހ@",@_\`†CA@"5@_\`Ӏ]^r@"ex @"B@\Xހ!k"I@\Xހ="R@\`Z "X@:iT ĩ"^@\`Ӏ  ʐ@@@A@AA@A@AA@AРD.Morphisms_Prop'Classes#Coq@@A1@D@@ABCD@@Ԡ.lt_exists_pred @  u h WtgY@rw c"@\Xހך"@\Xހ@"@\`†BAh"@I\Xހd"@O\Xހ"@D\`Zީ"@iT'"@\`Ӏ q-@@@>AQ@A@@ ,lt_succ_pred @ Ϡ   @x "@\Xހ#"@"\Xހ@"@\`†BA"@~\`Z"@iT"@h߀##@@@yAq@AzA@|Aj@~Ah@A@ABCD@@b&rs_rs' @!!  @y!A@#@\XހѶ$A_wd@&ProperL@#.@\Xހ#4@\Xހ暠#8@\`Z #=@\Xހ@g@#F@\Xހ@#L@\`Ӏu@ w #W@9iT#]@\Xހ@#c@\`Ӏ϶@&#k@#\Xހ#q@)\Xހ@#w@\`Ӏ +@#~@\`aK)1H+@@@ 3@A 0@ -@@A1@D@ABCD@@栠(rs'_rs'' @!!!z!iyk@z@#@Y\XހS@#@a\Xހ[Y#@g\Xހa#@I\`Z> #@p\Xހ@y#@v\Xހ@#@A\`Ӏ@#@\Xހ`#@\Xހ@#@S\`ӀB@#@\`I #@\Xހq#@\Xހ#@\Xހ@#@u\`Ӏ"@#@\`!$@\Xހ$ @\Xހ@$@\`Ӏ9@$@(\`8$@iTÐ@@ @@w%rbase @"&"" ! @{@$2@\Xހ $7@\Xހ$=@\XހҚ$B@\Xހ@$H@\`Ӏ@$N@a\`1o@@@@@)A'A_right @"Y"K">"-J=/@H|H@$e@\Xހ?$j@"\Xހ@+$p@(\Xހ1$v@.\Xހ ${@3\Xހ@$@\`Ӏ@$@\`j;10H$@E\Xހ@$@\`ӀG^E@@@@@6strong_right_induction @""""su@}@$@c\Xހ]@$@k\Xހec$@q\Xހk$@S\`ZH($@z\Xހ@$@\Xހ@$@K\`Ӏ@$@\Xހj$@\Xހ@$@]\`Ӏ @$@\` $@\Xހ@$@n\`Ӏ@@@@A@]@^AРD@ABC@@U/right_induction @#"""ؠ@~@%@\Xހ¶ﰶ@%@\Xހʩ%@\XހК%"@\`Z%'@\Xހ@@隠%.@\Xހ@%4@\`Ӏ@鐩%<@iT%A@\Xހ@%G@\`Ӏ@@@@@0right_induction' @#S#E#8#'D7)@BB@%_@\Xހ@>@%g@\Xހ%m@%\Xހ%q@\`ZܶK%v@.\Xހ@7%|@4\Xހ@%@\`Ӏ ;@C%@@\Xހ@%@ \`ӀB@AC%@xiT?V%@S\XހND@@@@7strong_right_induction' @####{}@@@%@k\Xހe@%@s\Xހmk%@y\Xހs%@[\`ZP0%@\Xހ@%@\Xހ@%@S\`Ӏ C@%@\Xހ@%@_\`Ӏ@%@\Xހ~%@\Xހ@%@q\`Ӏ`@%@\`ީJv&@\Xހg@@@@@^&ls_ls' @$ ###@A@&@\Xހ˶@&!@\Xހө&'@\Xހٚ&+@\`Z&0@\Xހ@@򚠐&7@\Xހ@&=@P\`†f@򐩚&F@(iT&K@\Xހ@&Q@\`Ӏ@&Y@\Xހ&^@\Xހ@&d@\`Ӏ@&k@\`Ӏ퐩&q@SiT"@@@!@@@ABC@@Р(ls'_ls'' @$$q$d$SpcU@nBn@&@C\Xހ=lj@&@K\XހEC&@Q\XހK&@3\`Z(w&@Z\Xހ@c&@`\Xހ@&@+\`Ӏ g@p&@m\XހJ&@r\Xހ@&@=\`Ӏ,@&@D\`Ӏ2ꐩ&@iT~&@\Xހ^&@\Xހo&@\Xހ@&@b\`Ӏ%@&@h\`ӀV&@\Xހ&@\Xހ@&@y\`Ӏ<@'@\`Ӏm%'@iT@@@@d%lbase @%%$$@C@'@\XހѶ'$@\Xހ嚠'*@\Xހ'/@\Xހ@'5@\`Ӏ@';@\`Ӏ\'A@#iT@@@@@(A'A_left @%L%>%1% =0"@;D;@'X@\Xހ 2']@\Xހ@'c@\Xހ$'i@!\Xހ'n@&\Xހ@'t@\`Ӏ#@'z@\`Ӏ":'@7\Xހ@'@\`ӀH@@@@ᠠ5strong_left_induction @%%%u%dtf@E@'@T\XހN}{@'@\\XހVT'@b\Xހ\'@D\`Z9'@k\Xހ@t'@q\Xހ@'@<\`Ӏ x@'@~\Xހ['@\Xހ@'@N\`Ӏ@'@T\`ӀB'@iT'@\Xހ@'@e\`Ӏ@@@@S@@ABC@@G.left_induction @%%%۠%ʠڠ@F@(@\Xހᰶ@( @\Xހ(@\Xހš(@\`Z(@\Xހ@ܶ@ۚ( @\Xހ@(&@9\`@ڐ(.@iT(3@\Xހ@(9@\`Ӏ@@@@@/left_induction' @&D&6&)&5(@3G3@(P@\Xހ1/@(X@\Xހ (^@\Xހ(b@\`ZͶ<(g@\Xހ@((m@%\Xހ@(s@\`Ӏ\@4(y@1\Xހ@(@\`B@3(@iiT8G(@D\Xހ@@@@蠠6strong_left_induction' @&&&|&k{m@H@(@[\XހU@(@c\Xހ][(@i\Xހc(@K\`Z@ (@r\Xހ@{(@x\Xހ@(@C\`Ӏ3@(@\Xހ@(@O\`Ӏ@(@\Xހn(@\Xހ@(@a\`ӀP@(@h\`ӀV𐩚(@iTj(@\Xހ[@@@@R/order_induction @'&&&ՠ@I@) @\Xހ찶@)@\Xހǩ)@\Xހ͚)@\`Z)$@\Xހ@@暠)+@\Xހ@)1@\`Ӏ@搩)9@iT@)?@\Xހ@)E@X\`@)M@/iTͶ )R@ \Xހ@@@@@AB@@0order_induction' @'`'R'E'4QD6@OJO@)l@$\XހMK@)t@,\Xހ&$)z@2\Xހ,)~@\`Z X)@;\Xހ@F@E)@B\Xހ@)@ \`ӀD@CE)@ziTA@Y)@V\Xހ@)@!\`ӀS@^%)@_h߀Ul)@i\Xހ_@@^@@ 1order_induction_0 @''''@K@)@\Xހz@)@\Xހ)@\Xހ)@p\`ZeE@)@iz@)@\Xހ@)@j\`Ӏ)@iz]@`)@iT@*@\Xހ@*@\`†r* @iz@*@iTӚ*@\Xހ}@@@@@t2order_induction'_0 @(#(('@L@*/@\Xހ@*7@\Xހ*=@\Xހ*A@\`Z@j*H@iz@ *N@\Xހ@*T@\`Ӏ*Y@izĶ@ǩ *a@CiT @"*g@\Xހ@*m@\`Ӏٚ*r@iz@%'*z@-h߀#:*@7\Xހ@@@@@۠<_ind @((|(o(^{n`@yMy@*@N\XހHwu@*@V\XހPN*@\\XހV*@>\`Z3h*@e\Xހ@א*@iT]@K*@s\Xހ@*@\`u@tv*@iTr^*@\Xހ@*@\`q@@@@@0&le_ind @(ߠ(Ѡ(Ġ(Рà@Nζ@*@\Xހ̩ʰ@*@\Xހ*@\Xހ*@\`Zh+@\Xހ@Ŷ@+ @\Xހ@+@\`Ӏö@©Đ+@iT+@\Xހ@+"@\`Ӏې@@@@@~&Rlt_wd @)-)))@O +8@\Xހ@+?@\Xހ@+D@\Xހ+J@\Xހ@+O@\Xހ+S@\`Z+Y@\Xހ +]@\`Z+b@\Xހ+g@\Xހ@[Жw@+s@\`Ӏީ+x@\`a@@@(@"@@ABC@@נ&Rgt_wd @))x)k)Zwj\@uPf+@I\Xހo@+@P\Xހ@+@U\XހOM+@[\Xހ@+@`\XހZ+@B\`Z\+@j\Xހd+@L\`ZAv+@s\XހP+@x\XހY+@\`+@I\`Ӏ@@T@@(%lt_wf @)נ)ɠ))Ƞ@Q+@\Xހ"Wfn@,well_founded8E+@\Xހ+@\Xހ+@\Xހ,@~\`Ӏl,@\`@@@pA𱍠G@tA7iA)@AB@@j%gt_wf @** )) @R,$@\XހB,*@\Xހꚠ,/@\XހĚ,4@\Xހ͠,;@N\`,@@\`Ӏ#@@:@@-add_lt_mono_l @*K*=*0*@*@!n,U@!t\Xހ!m,]@\Xހ!p,d@!t\Xހ%Logic$Init#Coq@@#iffС),x@"lt\`†CB,@ \`†,@)\AC,@)\AB@@@ %'A*Equalities*Structures#Coq@AviA)Morphisms'Classes#Coq@@Aۓό^ @A݋X_A/RelationClasses'Classes#Coq@@ABC@@AA@@A@-add_lt_mono_r @****@*Au,@t\Xހs,@z\Xހr,@q\Xހp,@f\`†CB,@n\`†,@*+\CA,@*3\BA@@@eA]@gAU@iAS@ABC@@K+add_lt_mono @+***@*B-@\Xހ-@\Xހ-@\Xހ!q-$@\Xހ@-*@\`†DC@-3@\`†CB-;@\`†-A@*\FD-I@*\E@@@@@-add_le_mono_l @+V+H+;+*@+&C -_@ \Xހ -e@\Xހ-k@\Xހ-t@"le\`ӀCB-}@ \`Ӏ-@*\AC-@*\AB@@@A@A@A@ABC@@⠠-add_le_mono_r @++++s@+oDT-@S\XހR-@Y\XހQ-@P\XހO-@I\`ӀCB-@Q\`Ӏ-@+ \CA-@+\BA@@@DA<@FA4@HA2@ABC@@*+add_le_mono @++٠+̠+@+E-@\Xހ-@\Xހ-@\Xހߚ.@\Xހ@.@\`ӀDC@.@\`Ӏݩ.@\`Ӏ.@+\\۩.#@+b\@@@@@r.add_lt_le_mono @,/,!,,@+F䚠.8@\Xހ⚠.>@\Xހᚠ.D@\Xހ'.J@\Xހ@.P@\`†DC@.Y@\`Ӏ&%._@\`†.e@+\$#.k@+\"8@@@@@.add_le_lt_mono @,w,i,\,K@,GG,.@+\Xހ*.@1\Xހ).@7\Xހo.@=\Xހ@.@$\`ӀDC@.@)\`†nm.@/\`†.@+\lk.@+\j@@@@@+add_pos_pos @,,,,@,Ht.@s\Xހr.@y\Xހ@.@\\`†.@+izB@.@h\`†.@+iz.@r\`†.@,iz.@,3\@@@cA[@eAۀߠK]@iAS@ABC@@K.add_pos_nonneg @-,,,@,I/@\Xހ/@\Xހ@/@\`†/"@,6izB@/)@\`Ӏ/.@,Biz/3@\`†/8@,Liz/=@,|\ @@@A@AI@A@ABC@@.add_nonneg_pos @-O-A-4-#@-J/X@\Xހ/^@ \Xހ@/d@\`Ӏ/i@,}izB@/p@\`†/u@,iz@/z@\`†/@,iz/@,\BQ@@@A@A@A@ABC@@٠1add_nonneg_nonneg @---{-j@-fKK/@J\XހI/@P\Xހ@/@7\`Ӏ/@,izB@/@C\`Ӏ/@,iz/@M\`Ӏ/@,iz/@- \@@@:A2@A(@ABC@@ ,lt_add_pos_l @-ݠ-Ϡ- -@-L/@\Xހ/@\Xހ@/@z\`†/@- izB/@\`†ɩ0@-B\ϐ@@@rAj@tA^@AB@@V,lt_add_pos_r @..--@-MȚ0@\Xހƚ0"@\Xހ@0(@\`†0-@-AizB03@\`†09@-x\@@@A@AAE@A@A@ABC@@,le_lt_add_lt @.M.?.2.!@.N0V@\Xހ0\@\Xހ0b@\XހE0h@\Xހ@0n@\`ӀDC@0w@\`†0}@-\J;0@-\O:0@\`†GV@@@@@ؠ,lt_le_add_lt @...z.i@.eOJ0@I\XހH0@O\XހG0@F\Xހ0@L\Xހ@0@>\`†DC@0@K\`Ӏ0@.\0@. \0@Y\`†@@@@@ ,le_le_add_le @.ݠ.Ϡ. .@.P0@\Xހ0@\Xހ0@\Xހ՚0@\Xހ@0@\`ӀDC@1@\`Ӏ1 @.L\˩1@.R\ʩ1@\`Ӏ@@@@@h,add_lt_cases @/%// .@.Qښ1.@\Xހؚ14@\Xހך1:@\Xހ1@@\Xހ@1F@\`†1L@.\DC1T@.\BA@"or @1d@\`†11j@\`†(6@@@@@,add_le_cases @/v/h/[/J@/FR+1@\Xހ)1@!\Xހ(1@'\Xހn1@-\Xހ@1@#\`Ӏ1@.\DC1@.\BAQ1@=\`Ӏh~1@C\`Ӏu@@@@@-add_neg_cases @/à///@/Sx1@h\Xހv1@n\Xހ@1@`\`†1@/\BA1@.iz1@v\`†1@/iz1@\`†Ě1@/iz@@@lAd@AmA@oA]@qA[@ABC@@S-add_pos_cases @00//@/TŚ2@\XހÚ2@\Xހ@2%@\`†2*@/>iz2/@/n\BAۀ2;@\`†2@@/Tiz 2E@\`†2J@/^iz@@@A@AU@A@ABC@@0add_nonpos_cases @0[0M0@0/@0+U2d@\Xހ2j@\Xހ@2p@\`Ӏ2v@/\BA2}@/iz&2@\`ӀS2@/iz2@\`Ӏ\2@/iz@@@A@AA@A@ A@ABC@@렠0add_nonneg_cases @0000|@0xV]2@M\Xހ[2@S\Xހ@2@I\`Ӏ2@/iz2@0\BAs2@_\`Ӏ2@/iz2@i\`Ӏ2@/iz@@@PAH@RA@TA>@ABC@@6-le_exists_sub @000ؠ0@0W2@\Xހ3@\Xހ@3@\`ӀBA@"ex @3@\Xހ3@\Xހ@#andЖw@3*@"eq\`Z31@0p\A𩚠38@\`Ӏ6= @@@A@AA@A@AAA.Morphisms_Prop'Classes#Coq@@A1@D@@A8ӠA4Relation_Definitions)Relations#Coq@@ABCD@@+mul_lt_pred @1e1W@1S@!p3m@!t\Xހ!q3u@10\Xހ!n3|@\Xހ!m3@\Xހ@3@"eq\`Z3@1iTDC%Logic$Init#Coq@@#iffС)3@"lt\`†3@1H\:EC3@1P\:B3@\`†3@1j\3@1c\:D3@1w\3@1p\:  '@@@ %'A*Equalities*Structures#Coq@AviA)Morphisms'Classes#Coq@@Aۓό^ @A݋X_A/RelationClasses'Classes#Coq@@ABC@@AA@@A@1mul_lt_mono_pos_l @21@1A4 @!t\Xހ4@\Xހ4@ \Xހ@4@x\`†4#@1izt4,@"lt\`†x43@\`†49@1\:q4?@1\:w@@@kAc@AlAۀߠKd@pA^@rA\@tAРD.Morphisms_Prop'Classes#Coq@@ABCD@@^1mul_lt_mono_pos_r @2_2Q@2MB4f@[\Xހ񚠐4l@a\Xހ𚠐4r@g\Xހ@4x@\`†4}@1izC뀠4@\`†ҩ4@\`†4@2.\:˩4@24\:ѐ@@@A@A@A@ABC@@1mul_lt_mono_neg_l @22@2CF4@\Xހ=4@\Xހ<4@\Xހ@4@\`†C4@2Giz74@-\`†%4@3\`†4@2z\:*4@2\:7@@@A @AA@A@A@A@ABCD@@1mul_lt_mono_neg_r @22@2D5@\Xހ5@\Xހ5@\Xހ@5@n\`†C5@2iz5#@}\`†un5)@\`†5/@2\:zg55@2\:m@@@`AX@bAP@dAN@ABC@@F4mul_le_mono_nonneg_l @3G39@35EӚ5N@C\XހҚ5T@I\Xހ5Z@O\Xހ@5`@"le\`Ӏ5f@2izA@5m@ \`Ӏ5s@\`Ӏ5y@3\:̩5@3\:@@@A@AA@@A@A@ABC@@4mul_le_mono_nonpos_l @33@3F5@\Xހ5@\Xހ:5@\Xހ@5@L\`ӀA5@3/iz@5@X\`Ӏ 5@^\`Ӏ5@3_\:5@3e\:@@@A@AA@A@A@ABC@@ݠ4mul_le_mono_nonneg_r @3ޠ3@3Gj5@\Xހi5@\Xހ5@\Xހ@5@\`Ӏ5@3yizA@6@\`Ӏ;U6 @\`Ӏ6@3\:ba6@3\:Mg@@@AA9@ABA@DA2@FA0@ABC@@(4mul_le_mono_nonpos_r @4)4@4H60@%\Xހ66@+\XހК6<@1\Xހ@6B@\`ӀA6H@3iz@6N@\`Ӏ6T@\`Ӏ6Z@3\:6`@3\:@@@A@AA!@A}@A{@ABC@@s,mul_cancel_l @4t4f@4bI6{@\Xހ6@\Xހ6@4B\Xހ@%Logic$Init#Coq@@#notШ6@\`ZA6@4iz6@!\`Z6@4K\:詚6@4Q\:6@3\`Z@@@A@A@A8ӠA4Relation_Definitions)Relations#Coq@@ABC@@ՠ,mul_cancel_r @4֠4@4Jb6@p\Xހa6@v\Xހ}6@4\Xހ@b6@j\`ZA6@4vizf7@y\`Z7@4\:@S7@4\:`Y7@\`ZLf@@@?A7@AA/@CA-@ABC@@%(mul_id_l @5&5@5K7-@\Xހ73@4\Xހ@7=@\`ZA7C@4iz7L@\`Z7R@4\:7X@\`Z7]@4\@@@Au@As@AB@@k(mul_id_r @5l5^@5ZL7s@5.\Xހ7y@ \Xހ@򀐩7@\`ZB7@5iz7@ \`Z7@53\:꩚7@\`Z隠7@58\@@@A@A@A@ABC@@1mul_le_mono_pos_l @55@5M@7@\Xހ?7@\Xހ[7@\Xހ@7@'\`†7@5OizA@7@|\`Ӏ.7@\`Ӏ7@5\:3 7@5\:9@@@@A@AA@A @A @ABC@@1mul_le_mono_pos_r @65@5N8 @\Xހ8@\Xހ8@ \Xހ@8@u\`†8 @5izA8*@\`Ӏb|80@\`Ӏ86@5\:n8<@5\:@@@gA_@iAW@kAU@ABC@@M1mul_le_mono_neg_l @6N6@@6@3\Xހ@:D@\`†:I@7izB@:P@\`†:U@7iz:Z@\`†:`@7\::e@7iz@@@A@AA%@A@A@ABC@@w+mul_neg_pos @8x8j@8fV:@t\Xހ:@z\Xހ@:@\`†B:@8iz@:@\`†:@8iz橚:@\`†:@8B\::@8)iz@@@A@Al@A@ABC@@1mul_nonneg_nonneg @88@8WI:@\XހH:@\Xހ@:@p\`Ӏ:@8RizB@:@|\`Ӏ:@8^iz+:@\`Ӏ:@8hiz:@8\:(B@@@A@A@A @ABC@@0mul_pos_cancel_l @98@8X; @\Xހ;@\Xހ@;@o\`†;@8izB;$@~\`†;)@8iz;.@8\:y;4@\`†;9@8iz@@@cA[@eAO@AB@@G0mul_pos_cancel_r @9H9:@96YԚ;O@\XހӚ;U@J\Xހ@;[@\`†;`@8izA΀;j@\`†;o@8iz;t@9\:;z@\`†;@8izА@@@A@A@AB@@3mul_nonneg_cancel_l @99@9|Z;@\Xހ;@.\Xހ@;@\`†;@9#izB;@P\`Ӏ;@92iz;@9U\: ;@`\`Ӏ;@9Biz@@@A@A@AB@@Ӡ3mul_nonneg_cancel_r @9Ԡ9@9[`;@n\Xހ_;@\Xހ@;@A\`†;@9iizAZ;@\`Ӏ;@9xiz<@9\:RK<@\`Ӏ< @9iz\@@@5A-@7A!@AB@@,lt_1_mul_pos @:: @:\@9iz@ \XހԚ>"@ \Xހ@>(@ \`Z>.@;\:Ӛ>2@;iz@А>:@ \`Z >?@;iz>D@ \`Z |>I@;izK@24peb@ \Xހ՚>g@ \Xހ@>m@ \`Z>s@<\:Ԛ>w@;iz@ѐ>@ \`Z њ>@<iz>@ \`Z ۚ>@< iz@24pk<<@@@@@ (lt_0_mul @<<@@ 9\Xހ *>@ ?\Xހ >@ \`†>@<7iz>@@ )\`†>@@ 4\`†>@<\izA>@ C\`†A>@@ N\`†B>@@<\:  @@@@@ I5square_le_mono_nonneg @=J=<@=8d ֚?Q@ F\Xހ ՚?W@ L\Xހ@?]@ \`Ӏ?b@<izB@?i@ \`Ӏ  ?o@ \`Ӏ?u@=\:  ?{@=\:  ͐@@@@@ 6square_lt_simpl_nonneg @==y@=ue ?@ !\Xހ ?@ \Xހ@?@ :\`Ӏ?@=izA@?@ \`†?@=G\:  ?@=M\:  ?@ \`†  @@@@@ à6square_le_simpl_nonneg @=Ġ=@=f P?@ ^\Xހ O?@ \Xހ@?@ w\`Ӏ?@=YizA@?@ \`Ӏ?@=\: ; ;?@=\: : :?@ \`Ӏ - G@@@@@ ,mul_2_mono_l @>=@=g @@ \Xހ @@ \Xހ@@@ n\`†BA@@ v\`†@"@=\@'@=\@,@=\:@1@=]B @6@=\:@;@=]B @@@ eA ]@ gA U@ iA S@ABC@@ K*add_le_mul @>L>>@>:h!a@T@ I\Xހ!b@[@ P\Xހ@@a@ \`†@f@=\B@@m@ \`†@r@>\ @w@ \`Ӏ@}@>%\  ϩ@@>\:  Ր@@@ A @A A D@ A @ A @ABC@@ -square_nonneg @>>@>iK@@ 1\Xހ@@ C\`Ӏ@@>%iz@@>H\:AA@@@ A @ A p@ A @ABC@@ 5crossmul_le_addsquare @>>@>ju@@ \Xހt@@ \Xހ@@@ t\`Ӏ@@>VizB@@@ \`Ӏ@@>biz /@@ \`Ӏ@@>\@@>\: H .@@>\: 4 NA@>\A@>\: @ @A@>\: ` `@@@ :A 2@A ;A @ =A +@ ?A )@ AA1@D   @@ABCD@@ (-add_square_le @?)?@?kݚA0@ %\XހܚA6@ +\Xހ@A<@ \`ӀAA@>izB@AH@ \`ӀAM@>iz AR@ \`ӀAX@?\A^@>\:  Ad@>\:  Aj@?\:Ap@?\  ©Av@?\  Ȑ@@@ A @A A 7@ A @ A @ABC@@ -square_add_le @??|@?xl>A@ \Xހ=A@ \Xހ@A@ =\`ӀA@?izB@A@ I\`ӀA@?+iz A@ S\`ӀA@?T\:A@?g\ A@?m\ A@?f\:A@?[]BA@?}\A@?v\:A@?|\:33@@@ A@AA @A @A @ABC@@ 4quadmul_le_squareadd @??@?mA@ \XހB@ \Xހ@B@ \`ӀB @?izB@B@ \`ӀB@?izcB@ \`ӀB$@?\:B*@?\:B0@?\:B5@?]BB9@?]BpB>@?\:BD@?\|BJ@?\@@@vAn@AwA @yAg@{Ae@ABC@@]@@XBZ@@K@J!ER@'pow_0_l @@L)NZPowPropK@A@@@J!C%NZPow&NatInt'NumbersB^@@L@A@@I!BA<At@A@@H!ABB@A@@BB@!t\Xހ@B@"lt\`†B@B izAB@"eq\`ZAb@LYB@BizA嚠B@B#iz@@@BVABN@ABWAۓό^BO@B[A݋X_A/RelationClasses'Classes#Coq@@BeA1@D%Logic$Init#Coq@@ABC@@L(pow_0_l' @mh[V@fABcB@!t\Xހ@%Logic$Init#Coq@@#notШB@S\`ZAB@BlizB@^\`ZA@MCYC @B|izBBC@Biz@@@BAB@BA]@BA[@ABC@@M='pow_1_r @@BBC(@M[\XހC-@\`ZA@MqYAC9@F\A@@@BAB@BA@BA@ABC@@Mi'pow_1_l @ݠР@CBؚCT@\Xހ@CZ@B\`ӀC_@BizACe@\`ZB%@MYCp@F\BCt@F\@@@CAC@CA@CA@ABC@@M'pow_2_r @ @DCC@M\XހC@\`ZBS@MYAC@#two]BC@B\:AA@@@CLACD@CNA@CPA@ABC@@Mנ(pow_eq_0 @PK>9@IECFC@M\XހC!C@:\Xހ@C@C \`ӀC@CEizA@C@9\`ZB@NYC!CC@CWizC@I\`ZDC@Cbiz@@@CAC@CA?@CA=@ABC@@N+pow_nonzero @@FCD @+\XހCiD@\Xހ@0D@y\`ZBD @Ciz@D&@Cx\`ӀD+@CizCcJD4@\`ZB@NxYPC{D?@Ciz@@@@@Nh,pow_eq_0_iff @ܠϠ@GCךDS@N\XހCDY@N\Xހ@@#iffС)Di@\`ZC)@NYBADv@Ciz@"or @D@\`†AD@Ciz1@#andЖw@D@\`†D@D izAD@\`ZBD@Diz@@@DLADD@ADMAۀߠKDE@DQA@DSA@ABC@@Nڠ)pow_add_r @SNA<@LHDID@N\XހD$D@=\Xހ!cD@D\Xހ@D@D*\`ӀD@DOizB@D@D6\`ӀD@D[izD!D@M\`ZC@O2YED@#add\D=E@D4\:C@OFYC@OLYDO@@@DAD@DA^@DA\@ABC@@O>)pow_mul_l @@IDE)@!t\XހDE0@\XހeE6@Oi\XހE;@\`ZC@OYEG@Dy\:CBAEP@D\:D@OYCAD@OYBA@@@EAD@EA@E A@ABC@@O)pow_mul_r @ @JDE{@O\XހDښE@\XހE@\Xހ@E@D\`ӀE@EizB@E@D\`ӀE@EizD֩E@\`ZDc@OYE@D\:D𩚠Do@OYDu@OYD@@@E`AEX@EbA @EdA @ABC@@O렠*pow_nonneg @d_RM@]KEZE@H\XހE5E@P\Xހ@E@E4\`ӀE@EYizBE@E?\`ӀE@EdizD@P5YE8E0@@@EAE@AEAQ@EAI@EAG@ABC@@P).pow_pos_nonneg @@LEF@\XހEsF@\Xހ@F @\`†F%@EizB@F,@E~\`ӀF1@EizEiF6@\`†F;@EizD@P~YVE@@@EAE@AEA@EA@EA@ABC@@Pr-pow_lt_mono_l @٠@MEᚠF]@\XހEFc@\XހFi@\Xހ@Fo@\`†Ft@EizA@%Logic$Init#Coq@@#andЖw@F@E\`ӀF@FizF@\`†EթF@\`†EZ@PYEᩚE`@PYE@@@FLAFD@AFMA@FOA@FQA@ABC@@Pؠ-pow_le_mono_l @QL?:@JNFGF@5\XހF"F@;\XހF@Q\Xހ@ZF@F+\`ӀF@FPizCF@F6\`ӀCBF@F>\`ӀE@Q0YF+E@Q6YF9F1@@@FAF@AFAR@FAJ@FAH@ABC@@Q*(pow_gt_1 @@OFG@\XހFtG@\Xހ@G!@\`†G&@J\B΀G0@\`†G5@FizFmG:@\`†G?@J\E@QYFF}@@@FAF@AFA@FA@FA@ABC@@Qv-pow_lt_mono_r @ݠ@PF嚠Ga@\XހFGg@\XހGm@\Xހ@Gs@\`†Gx@J\C@G@F\`ӀG@FizF@G@\`†F˩G@\`†FP@QYFFW@QY@@@GCAG;@AGDA@GFA@GHA@GJA@ABCD@@QѠ-pow_le_mono_r @JE83@CQG@G@.\XހGG@4\XހG@:\Xހ@G@9\`†G@GEizC@G@G,\`ӀGGG@G2\`ӀF@R$YF@R*YG-@@@GAG@AGAF@GA>@GA<@ABC@@R+pow_le_mono @@RGH @{\XހGhH@\XހDH@\Xހ!dH@\Xހ@H&@\`†H+@GizDH1@G\`ӀDB@H:@G\`ӀPGsH@@G\`ӀG@RYRG@RYbG@@@GA@A@@Rx+pow_lt_mono @ߠ@SG皠Hc@\XހGšHi@\XހHo@\XހZHu@\Xހ@H@\`†H@GizDH@\`†DB@H@\`†H@HizH@ \`†GکH@\`†Gg@RYGm@RYG@@@HXAHP@HZA @H\A@ABC@@R㠠)pow_inj_l @\WJE@UTHRH@@\XހH-H@F\Xހ H@L\Xހ@H@H2\`ӀH@HWizC@H@H>\`ӀH@HcizH1@H@b\`†H@HnizH<@I@a\`ZG@SFYrG@SLY$I@s\`ZG@@@@@S?)pow_inj_r @@UHI*@\XހHI0@\XހeI6@\Xހ@I<@\`†IA@L\C@IH@H\`ӀIM@HizH@IS@H\`ӀIX@HizH@I^@\`ZH@SYpH$@SYIp@\`Z|@@@@@S1pow_lt_mono_l_iff @@ VI I@\XހH䚠I@\XހI@\Xހ@I@H\`ӀI@IizC@I@H\`ӀI@IizH@I@\`†I@I%izH󩚠ZI@'\`†&ȩI@-\`†H@TY2ީH@T Y@@@@@S1pow_le_mono_l_iff @ql_Z@jWIgI@U\XހIBI@[\XހI@a\Xހ@I@IG\`ӀI@IlizC@J@IS\`ӀJ@IxizIF@J @w\`†J@IizIQJ@Il\`Ӏ&J @Ir\`ӀH@TdY<H@TjY8B@@@@@TV1pow_lt_mono_r_iff @Ϡʠ@XIŚJA@\XހIJG@\Xހ|JM@\Xހ@JS@\`†JX@M\C@J_@I\`ӀJd@IizI Jm@\`†IJs@\`†I3@TYI9@TYI@@@@@T1pow_le_mono_r_iff @" @YJJ@\XހI󚠐J@ \XހϚJ@\Xހ@J@\`†J@N\C@J@J\`ӀJ@J)izI署^J@J\`ӀJJ@J\`ӀI@U Y⩚I@UYJ@@@@@T,pow_gt_lin_r @upc^@nZJkJ@Y\XހJFJ@_\Xހ@J@^\`†J@N]\B@J@JQ\`ӀK@JvizJ<K @t\`†JJI@UMY%JP@@@JAJ@AJAi@JAa@JA_@ABC@@UA-pow_add_lower @@[JK,@\XހJK2@\XހgK8@\Xހ@K>@J\`ӀKC@JizC@KJ@J\`ӀKO@JizJ@KU@\`†KZ@JizJK_@J\`ӀKe@j\J%@UYJ+@UY}J1@UYK}@\@@@K#AK@AK$A@K&A@K(A@ABC@@U-pow_add_upper @ ( #  @ !\KK@ \XހJK@ \Xހ՚K@ \Xހ@K@J\`ӀK@K#izC@K@K \`ӀK@K/izJ@K@ .\`†K@K:izKK@K\`ӀJ@VYK@\C署K@K\:J@V#YK@K]BK@$predh߀K@\J@V:YfJ@V@Y@@@KAK@AKA\@KA T@KA R@KA J@ABCD@@V6@ LJ @@U@+log2_nonneg @@\@VKL&@U\`ӀL+@[izK@\R`pA@@@\'AviA)Morphisms'Classes#Coq@@A\0AۀߠK @\4Aۓό^ @\8A݋X_A/RelationClasses'Classes#Coq@@ABC@@\_+log2_unique @@\AVBOKO@=;A@%Logic$Init#Coq@@V;Жw@Ly@V:\`ӀK9@VYL@Z]BV/CL@"lt\`†L@\#iTVCL@"eq\`ZtD @@@@@\'log2_wd @@]B)Morphisms'Classes#Coq@@&ProperL@P(@\\Xހ)Morphisms'Classes\@*respectful%WO?P8@V_\`ZHV\@\`p@@@\A@A\A@\A@\A@ABC@@\-log2_spec_alt @@]QCVP)@L@g\`†ˀA%Logic$Init#Coq@@"ex @O!rO@#andЖw@wM@Zq\VPVW @@@]-A@A].A@]0A@]2A@]4A1@DLKJ@@ABCD@@]X,log2_unique' @@]DW;QLPP@86B@񀠚BW怠W@ހEh퀠^F@@@]A[@A]AS@]AQ@]AO@ABC@@])log2_pow2 @@^EWPѶ@A86WcWc@@@]Aw@]Au@AB@@]̠.log2_pred_pow2 @@^.FWQ@݀A8M@]Vh߀dbW W@@@]A@A]A@]A@]A@ABC@@^&log2_1 @@^bGb.QIQ]@@@]A@]A@]A@ABC@@^&log2_2 @@^wHw耐N@\\@@@^A@^A@^A@ABC@@^3(log2_pos @@^IXQm@DAKW@@@^5A@A^6A@^8A@^:A@ABC@@^Y)log2_null @@^JX<M9_@#iffС)Ā5A>FAS@@@^bA;@A^cA3@^eA1@^gA/@ABC@@^,log2_le_mono @@^KXiQMQ@dBAjdhXB@@@^Ac@^A\@^AV@ABC@@^.log2_lt_cancel @@_LXMNM@BA΀:Xi@@@^A@A^A@^A@^A@ABC@@^֠,log2_le_pow2 @@_8MXRN1NҶ@造BjhXfɀXÀn@@@^A@^A@^A@ABC@@_,log2_lt_pow2 @@_jNXRBNcO@䀐B&Xǩ0Xϐ@@@_A@A_A@_A@_A@ABC@@_<+log2_lt_lin @@_OYRv@MATXX@@@@@_X+log2_le_lin @@_PY;R@42A;5YY@@@_WA0@_YA)@_[A#@ABC@@_z.log2_mul_below @@_QY]RNR@VB@^Y2fxd𩚠hlO@\\:@@@_Am@_Af@_A`@ABC@@_.log2_mul_above @@`RYRⶐOR@B@Yo1-L9\ǀ@@@_A@A_A@_A@_A@ABC@@_-log2_mul_pow2 @@`\SYS4OUS'@ րB@ހYotp~@@@`A@A`A@`A@`A@ABC@@`9+log2_double @@`TZSs@JAɀY$Y@@@`FA@`HA@`JA@ABC@@`i)log2_same @@`UZLSOS@|EB@MZ!@߀PܩT 쀠 @@@`AZ@A`AR@`AP@`AN@ABC@@`,log2_succ_le @@aVZTީzAA@@@`A@A`A|@`Az@`Ax@ABC@@`Ϡ,log2_succ_or @@a1WZU@"or @;IANAQ€_AˀA@@@@@a 4log2_eq_succ_is_pow2 @@amXZUD@pတ~AA)Q PQ"T[@@@a$A@Aa%A@a'A@a)A@a+A@ABCD@@aJ5log2_eq_succ_iff_pow2 @@aY[-T@[$A+Ȁ[ ̀7[qQhPQjԀހ𩚠[N@@@aoAH@AapA@@arA>@ABasA;@auAA@awA1ՠF-SetoidTactics'Classes#Coq@@aA1I @ABCD@@a0log2_succ_double @@bZ[Tܶ@|A6[c([m@@@aA@AaA@aA@aA@aA@ABCD@@aܠ+log2_add_le @@b>[[V<Q7V>@%Logic$Init#Coq@@#notШQ@Q\`ZB׀@[
܀րf‐n怐@@@b A@Ab A@b A@bA@ABC@@b-+add_log2_lt @@b\\UgQUi@@ B@H[婚N+Ʃ΀%AԐ@@@bLA%@AbMA@bOA@bQA@ABC@@bp@@@ @@ABD[@,NZLog2UpPropbAKbb@bkbQ @bP@ @bsҦc@@bxҦcbN@bL@@bcbJ @bIbH@bҦc @blҭ߀@b=@@brb1 @b0)@b.Ҧc@b-@@b+b( @b'@3@b8Ҧc7@b<Ҧc@b%@@b9b# @b"@A@bFҦcE@bJҦc@b @@bGb @bb@Q@bVҦcU@bZҦcb[@b`Ҧc_@bdҦcc@b ҭ߀g@bҭ߀k@bg[ـ@b @@bma @abB@w@b|Ҧc{@bҦcb6@bҦc@bҦc@b1ҭ߀@b5ҭ߀@bzd@a@@ba @aa@bҦc@bHҭ߀@bd@b[ـaa@a@@ba @aa@@bҦca@b@@bҦcabz@bҦca@bqҭ߀ab@aᐚ@b@b2@bҦcaaa@b[ـb(b@@bҦcaސ@a@@b栠aؐ @aך@bҦc@a@@baӐ @aҚ@bҦc@a@@baΐ @aͩ@bҭ߀Kcc@VK@c[ـ @c@a@@ca̐ @a˩@bҭ߀@bRǀ!@a@@c$a @a@,@aҦc@1@aҦca@a@@aa @a@;@aҦc@@@aҦcaː@a@@aǠa @ac@L@cQҦc@Q@cVҦcbc W@c\Ҧc@\@caҦcb`@cҭ߀cf@ckҦcbj@cҭ߀bn@aҮg@a@@cpa @abԚx@c}Ҧca}@cҦcb@bҮXaa@aҮga@c8ҭ߀a@a@@ca @ab@cҦca@aҮga@a@@ca @ac@cҦcaښ@cҦcbӠ@aҮgbΩ@c[ـc@bCҮXa@a@@cĠa @a@@cҦc@@cҦc@cҦc@a@@cנa @a@@cҦc@@cҦc@cҦc@a@@cꠠa @a@@cҦc@@cҦc@dҦc@a@@ca @acҰ@@d Ҧc@ @dҦc@dҦcc@dҦc@@d Ҧc@d$Ҧc#@cҭ߀c)@d.Ҧc-@d2Ҧc1@cҭ߀5@cҭ߀9@b6@a@@d;a{ @azd@E@dJҦc@J@dOҦcN@dSҦcd T@dYҦc@Y@d^Ҧc]@dbҦca@d ҭ߀dg@dlҦck@dpҦco@dҭ߀s@dҭ߀w@b(Q+@ay@@dyau @atdN@@dҦc@@dҦc@dҦcdG@dҦc@@dҦc@dҦc@dGҭ߀dZ@dҦc@dҦc@dUҭ߀@dYҭ߀@bOH@as@@dao @and@dҦc@dlҭ߀@b6@ddd@am@@dѠak @ajd5@dҦcc@dҦc@dҭ߀@b6@d[ـaid7@d[ـ@b6c@ah@@daf @aed`@e Ҧc @dҭ߀@bQ+dX@e"d\@ad@@eab @aadz@e#ҦccM#@e(Ҧc(@dҭ߀.@bQ+dE4@e0[ـd}9@e"d?@bQ+c`@a`@@eAa^ @a]dI@eNҦcN@dҭ߀T@bHY@egd]@ek@a\@@e_aZ @aYdÚg@elҦccl@eqҦcq@eҭ߀w@cH}@ey[ـadũ@cK6@c"HcdА@aX@@eaV @aU@@aSҦc@@aXҦc@a\Ҧc@aR@@aPaM @aLaK@afҦcaI@akҦc@@aGҮXaF@aCҭ߀@aGOaBaA@a@@@apa> @a=ak@aҦcai@aҦc@@agҮXa<@acҭ߀@aGOabao@a;@@aa9 @a8@@aҦc@@aҦc@aҦc@a6@@aa4 @a3a@aҦca@aҦc@@aҮXao@aҭ߀@aiG݀aa@a2@@aàa0 @a/a@aҦca@aҦc@#@aҮXa(@aҭ߀.@aG݀aa@a.@@a㠠'compare @d@;@dҦc@@@dҦc)Datatypes$Init#Coq@@*comparison;f@@@@@@d֠,compare_spec @@!x]@dҦc!yd@dҦc%@+CompareSpec!Q]@q@"eqҭ߀BAz@eҮg@eҮg  @T@@@@@e@a2NZDecOrdAxiomsSig'g'@@@@cd@@A@AҦc@@fҦca@A@ҭ@@fҭa@A@ABҮX@@eҮXa}@A@Үg@@e;Үga~@A@A6@@dk6a{@A@GO@@bpGOa{@A@ABCG@@bGay@A@H@@dFHa{@A@AK@@eKax@A@Q+@@dbQ+ax@A@ABR@@eRau@A@d@@fdau@A@[@@f[at@A@@@fas@A@ABCDE@Larg@aq @ap@@anҦc@@asҦc @awҦc@am@@akW: @W9W8@@aҦc@@aҦc@aҦcW,%@aҦc@*@aҦc.@aҦc2@W'ҭ߀W?8@aҦc<@aҦc@@W5ҭ߀D@W9ҭ߀S@a k@W&@@aW @WWR@aҦcW@WLҭ߀h@a kWb@Wf@[K@W @@aǠW  @W W/p@aҦcW u@aҦc@{@WҮX@W,W1@Wzҭ߀@b kW@W[ـW@WHW@b kW@W@@aV @VWe@bҦcW?@bҦc@@VҮgWc@Wb@Wҭ߀@b9 kW&@Wq@V@@b&@Vʠ@@@@ k@@bG kb@A@A@Mbhs@h1 @h0@@h(Ҧc@h,Ҧc@h+@@h)b  @b b @h6Ҧc@@bҮg@gbb@aҮX@b| k @fRǀ<@hi!aa󩚠@b'Үga@b k@fRǀ#@g[ـW@h!b@b@@hqb @bbQ3@h~Ҧc@9@b4ҮXbH>@hC@b ҭ߀w@h!b/M@h%@b@@h@VSP@@@@!@@h!h@A@A@NVh@V @Vi@VҦcm@Vҭ߀q@V0Gʀ@V堚w@VҦc{@Vҭ߀V٠@V'bD@A@@@V@AVU@@UU @U@WҦc@Wҭ߀@W0Gʀ@U@WҦc@Wҭ߀U)&UpUi@@UUe @Ud@W4Ҧc@W3ҭ߀@W20Gʀ@U_@WBҦc@WAҭ߀UZLIUKUD@@UӠU@ @TQU?Vr@U;@VҦcU9@VҦcU7@W_ҭ߀U+@Wdҭ߀U(@U%@@UU @spU VAU @V4ҦcU@V9Ҧc@U@Wҭ߀TT @Wҭ߀T@T@@U3T @TVBT蚠@VVҦcT皠@V[ҦcT暠$@V`Ҧc@*@Wҭ߀T@0@Wҭ߀Tᩚ5@Wҭ߀Tߐ@T@@U\TА @TVCT˚C@TҦcTȚH@TҦc@N@Wҭ߀T@Vy[ـTƩY@V~[ـTĩ^@Wҭ߀T@T@@UT @TWDTl@TҦcTq@TҦcTx@Wҭ߀~@V[ـT@V[ـT@Xҭ߀T@T@@UT @TW/ET@UҦcT@U!ҦcTT@Xҭ߀@V[ـT@V[ـTT@X0ҭ߀T@T@@UݠT @?<T~W]FTz@@WҦcTxTvTt@@W ҦcTTi@WҦcT@Tdҭ߀TcTYTX@WҦc@TW@TU@WҦcTpTTTT@W[ـTeTc@W-ҦcTR@TP@@VTN @zwTMT@S̚@SҦc@Sҭ߀ @S6Sǚ@SSŐ@S@@SS @ST/AS@SҦcS"@SҦc'@Sҭ߀-@S6S3@S[ـS8@S[ـ>@S6S@S@@SѠS @ǠST^BS{L@TҦcSzQ@TҦcV@Tҭ߀\@T6b@S[ـSySwg@T%6Svm@S[ـSu@Ss@@TSk @SjTCSb{@TFҦcSa@TKҦc@TJҭ߀@TI6S`@TN6S]@SZ@@T#SR @SQTDSI@TiҦc@Thҭ߀@Tg6@SHKSG@T[ـSF@SD@@TFS< @<9S;TES3@TҦc@Tҭ߀@T6S2@SkK@T5[ـS1@S/@@TiS' @_\S&TFS@TҦcS@TҦcS@TҦc@Tҭ߀@T6S@T6S@T6 @T6SS@S@@TS  @S U*GS@TҦcS@TҦcR"@TҦcR)@Tҭ߀/@T6R򩚠4@T6R署9@Tҭ߀R@R@@T̠R @ RUYHRؚG@UҦcRךL@UҦcR֚Q@UҦcRՠX@Uҭ߀^@U6Rөc@U!6RЩh@U-ҭ߀R͐@R@@TR @RUIRv@UAҦcR{@UFҦcR@UKҦc@UJҭ߀@UI6@UO6RR@UT6@UZ6RR@R@@U/R @%"RUJR@UuҦcR@UzҦcR@UҦcR@UҦc@Uҭ߀@U6@U6R@U6R@U6@U6R@U6R@R@@UrR @heRUKR{@UҦcRz@UҦcRy@UҦcRx@UҦc@Uҭ߀@U6 @U6Rw@U6Rt@U6@U6Rq"@U6Rn@Rk@@URc @RbVBLRZ0@UҦcRY5@VҦcRX:@VҦc?@Vҭ߀E@V6RWK@V 6RVP@V6RSV@V6RR@RO@@U頠RG @ߠRFVvMR>d@V/Ҧci@V.ҭ߀o@R=Q+R<t@UKy@R;dR:@R8@@V R0 @R/V@R*@R(Ҧc@R'ҭ߀@VHR&@Vk@Vo@R%@@RR @$!QVAQ@RJҦcQ@ROҦc@RNҭ߀@VHQ@V[ـQ@V6@VHQQ@Q@@R2Q @SPQWBQ⚠@RyҦcQᚠ@R~Ҧc@R}ҭ߀@VHQਗ਼@VHQݐ@Q@@RUQҐ @vsQWBCQ̚@RҦcQ˚@RҦcQʚ@RҦc @Rҭ߀@WH@W 6QQũ@W6!@WHQĩ&@WHQ@Q@@RQ @QW{DQ4@RҦcQ9@RҦcQ>@RҦcC@Rҭ߀I@W;HQO@WE6QT@WJ6Z@WLHQ_@WQHQ@Q@@RǠQ @QWEQm@SҦcQr@SҦcQw@SҦc|@Sҭ߀@WtHQ@WzHQ@WH@WHQQ@Q@@RQ @QWFQ|@SBҦc@SAҭ߀@WH@WKQ{Qz@Qy@@SQq @:7QpXGQk@S`Ҧc@S_ҭ߀@WHQj@WKQi@Qh@@S7Q` @XUQ_X$HQZ@S~ҦcQY@SҦcQX@SҦc@Sҭ߀@WH@WHQWQT@WH@WHQSQP@QO@@SkQG @QFXXIQA@SҦcQ@@SҦcQ?@SҦcQ> @SҦc%@Sҭ߀+@XH1@X#HQ<6@X(HQ9;@X-HA@X3HQ6F@X8HQ3@Q0@@SQ( @ϠQ'XJQ"T@SҦcQ!Y@SҦcQ ^@SҦcQc@TҦch@Tҭ߀n@X`Ht@XfHQy@XkHQ~@XpH@XvHQ@X{HQ@Q@@SQ  @Q XKQ@T8ҦcQ@T=ҦcQ@TBҦc@TAҭ߀@XHQ@XHQ@XHP@XHP@P@@T%P @FCPP@P˰@@PҦc@@PҦcPP@PҦc@@PҦcPɚ@Pҭ߀P@PҦcPӚ@Pҭ߀P@PҮX@P@@PP @xuPQAPz@PxҦcPw@P}Ҧc@@PuҮgPt @PqҮXPp@Pm@@PPk @PjQ9BPe@PҦc @PҮXPd@Pa@@PP] @P\QLCPW.@PҦc3@PҮgPV9@PU[ـPT@PR@@P͠PP @ POQeDPJG@PҦcL@PҮXPIR@Pn[ـPH@PF@@P栠PD @۠PCQ~EP>`@P=ҦcP<g@P0ҭ߀m@P[ـP/P-@P,@@QP  @PQFP{@QmҦcP@PKҭ߀P@P[ـP@P@@QP @PQGP @PsҦcP @Q Үg@P[ـOO@O@@Q7O @,)OQHO@PҦcO󐩚@QҮX@P[ـOO@O@@QRO @GDOQIO暠@PҦcO嚠@QLҦcO䠩@Q<ҮX@P[ـOOݩ@QPҮgOܐ@O@@QwOϐ @liORJOɚ@QlҦcOȚ@QqҦcOǠ@QaҮXO @QoҮgO@O@@QO @OR.KO @QҦcO @QҦcO @QҮgOO #@Pҭ߀O (@QҮgO@O@@QO @ORTLO 6@QҦcO ;@QҦc@ A@QҮgOO H@QҮgO@O@@QܠO @ѠORtMO~ V@QҦcO} [@QҦcO| `@QҦc@ f@QҮgOz@ l@QҮgOw q@QҮgOv@Ot@@ROj @OiRNOd @QҦcOc @QҦcOb @RҦc@ @QҮXOa@ @QҮXO^ @QҮXO]@O\@@R.OT @# OSROON @R$Ҧc @RҮg@OA@@RAO= @63O<RPO7 @R7Ҧc @R$ҮX@O1@@RTO- @IFO,RQO'К @RҦc @Rҭ߀ @O"0Gʀ @RҮX@Ol7:@O!@@RsO @ @O G@O@ @QҦc@ @QҦcOO @QҦc@ @QҦcO @Oҭ߀O @QҦcO @O ҭ߀N @NҮgNNN@@RN @@P2**@PĚ '@RҦcPÚ ,@RҦcP  3@RҮgPP :@Rҭ߀P ?@RҮgPNĠNN@@RנNڐ @ N@Nd@Nؚ S@R0ҦcN֚ X@R5ҦcOI _@NҮXNөNР f@OHҮgNک k@Ofҭ߀NߐNʠNN@@SN NAN !NNAOʐ @ @O0Gʀ@N @SҦc @Nҭ߀N  NN@@S)PO @ E@PW_@PK @S!Ҧc @SҮgN / ,NN@@SBO @ ^@O1]R@Oⰶ@ @RҦc@ @RҦcO֩O @RҦc@ @RҦcOᚠ @Oҭ߀O @RҦcO뚠 @Oҭ߀OΚ @OҮgOà g dNN@@SzO @ @O1&v@Q @SqҦcQ @SvҦcQ @SoҮgQQ @Rҭ߀Q @S{ҮgQO  NN@@SO @ @O!Q @O "@RҦcO '@SҦcP .@OҮXOO 5@PҮgO :@P5ҭ߀OO  NN@@S@@NlNN ONN I OON @ Ԡ N~Nt@N Y@TKҦc ^@T.ҭ߀N@N@@MS @  MNAN l@T^Ҧc q@T(ҮXN@M@@NM @  MNBN, @TqҦcMؐ @MҮgN,@M@@NMА @  MNCNA @TҦcMĚ @TҦc@ @Toҭ߀M© @Ttҭ߀M@M@@N:M @ - *MNDN_ @TҦcM⚠ @TҦc@ @TtҮXM@ @TzҮXMਗ਼ @Tҭ߀M@M@@N^M @ Q NMNEN @TҦcN @TҦc@N5 @Tҭ߀NN< @Tҭ߀N@M@@NM @MMM@MMMMM@ @TҦc@ @TҦcTN @Tҭ߀ @NUҮg @TҮX@MM@ @UҦc@ @U ҦcUM  M_MT@@NMR @  MQODFMMжMFMѶNؚ +@UҦcN[ 0@U"ҦcMD 5@U'Ҧc@ PO@M!MB@ PO@M!MJ PO@M!MA@M7@@N⠠M( @O X@UJҦcN ]@UOҦcMq b@UTҦc PO@M8mSM'@O n@U`ҦcN s@UeҦcM x@UjҦc@ ~@UNҭ߀M#@ @UTҭ߀M) @UYҭ߀M"M!  MM @@O#R @OF @UҦcNɚ @UҦcM @UҦc OPO@M8mSM @O\ @UҦcNߚ @UҦcMȚ @UҦc@ @UvҮXMd@ @U|ҮXMj @UҮXMcM O LLL@@OdS  @O @UҦcO  @UҦcM󚠐 @UҦc Q:P4@N8mSL@O @UҦcO  @UҦcN  @UҦc@ @OMҮgM@ @OSҮgM @OXҮgML  LL@@OLِ @OȚ @V ҦcOK @VҦcN4 %@VҦc Q{Pu@N`8mSL@Oޚ 1@V#ҦcOa 6@V(ҦcNJ ;@V-Ҧc@ A@UҮXM@ G@OҮgM쩚 L@OҮgM吐Lנ Ѡ LL@@O栠LÐ @P  \@VNҦcO a@VSҦcNu f@VXҦc QP@N8mSL@P r@VdҦcO w@ViҦcN |@VnҦc@ @OҮgN'@ @V?ҮXN- @OҮgN&L  LL@@P'L @PJ @VҦcO͚ @VҦcN @VҦc SQP@N8mSL@P` @VҦcO㚠 @VҦcN̚ @VҦc@ @Vҭ߀Nh@ @PҮgNn @PҮgNgL S PLL@@PhL @P @VҦcP @VҦcN @VҦc R>Q8@O#8mSL@P @VҦcP$ @VҦcO  @VҦc@@PQҮgN@ @Vҭ߀N@P\ҮgNL  LL@@PL @P̚@WҦcPO$@WҦcO8)@WҦc RQy@Od8mSL@P⚠5@W'ҦcPe:@W,ҦcON?@W1Ҧc@E@Wҭ߀N@K@WҮXN𩚠P@WҮXN鐐L ՠ LxLm@@PꠠLk @Q `@WRҦcPe@WWҦcOyj@W\Ҧc RQ@O8mSLj@Q#v@WhҦcP{@WmҦcO@WrҦc@@W=ҮXO+@@W\ҭ߀O1@WHҮXO*Li  LbLW@@Q+LU @  LTQGQP@WҦcPӚ@WҦcO@WҦc@@Wҭ߀OX@Q @Wҭ߀O`Q@Wҭ߀O[@LI@@QXLG @ K HLFQHQ}@WҦcQ@WҦcO隠@WҦc@Q4@Wҭ߀O@@Wҭ߀OQA@Wҭ߀O@L;@@QL9 @ x uL8RIQ@WҦcQ-@WҦc@Q\Q^ @Wҭ߀Q/@Wҭ߀O@L-@@QL+ @  L*R:JQ̚@XҦcQO$@XҦc@Q~,@WҮXL1@Q~ҮgO֐@L@@QǠL @  LRZKQ욠?@X1ҦcQoD@X6Ҧc@QL@QҮgL?Q@XҮXO@L@@Q砠L @ ڠ L RzLR _@XQҦcQd@XVҦc@j@X!ҮXQ@QĐr@XBҭ߀Pw@QҮgQa@L@@R @@Lp:K@@Kp:KK @ KXRK@XҦcK@XҦc@@WҮgKK񐩚@W`ҭ߀K@K@@X+K @ KXSK暠@X ҦcK嚠@X%ҦcK䠩@XҮgKKߠ@XҮXK٩K֐@Wҭ߀KԐ@K@@XSKϐ @HEKXTKɚ@XҦcKȚ@XҦc@@Wҭ߀Kǩ@XAҮXKĐ@K@@XqK @fcKY UK@XfҦcK@XkҦcK@XҦc@@XhҮgK@@Wҭ߀K@XsҮgK@K@@XK @KY2VK@XҦcK@XҦcK@YҦc@$@XҮgK@*@Wҭ߀K/@XҮgK@K@@XàK @KY[WK=@XҦcKB@XҦcKG@Y9Ҧc@M@XҮXK@S@Xҭ߀KX@XҮXK@K@@X젠K @KYXKf@XҦcKk@XҦcKp@YbҦc@v@XҮXK@|@XEҭ߀K@XҮXK@K@@YPK @ KYYK|@Y ҦcK{@YҦcKz@YҦc@@YҮXKy@@YҮgKv@YҮgKu@Kt@@Y>P @30KrYZKm@Y3ҦcKl@Y8ҦcKk@Y=Ҧc@@Y5ҮgKj@@Y2ҮXKg@Y@ҮgKf@Ke@@YgKc @\YKbY[K]@Y\ҦcK\@YaҦc@@YPҮXK[@@YVҮXKX@Xҭ߀KW@KV@@YKT @}KSZ#\KN@YҦcKM @XҦcKL@YuҮXKJ@Y3[ـKIKG@YҮXKE#@Xҭ߀KB)@YE[ـKA@K?@@YK= @K<ZU]K77@YҦcK6<@YҦc@B@YҮgH@Yd[ـK5K3M@YҮgK2@K1@@YᠠK/ @֠K.Zy^K)[@YҦcK(`@YҦc@f@YҮXK'k@YҮXYΩq@Y[ـK$@K#@@ZK! @K Z_K@YҦcK@YҦc@@YҮgK@YҮgY򩚠@Y[ـK@K@@Z)K @KZ`K @ZҦcK @Z#ҦcK @ZҮgK @Z!Үg@Y[ـK@Y[ـK@K@@ZSK @HEJZaJ@ZHҦcJ@ZMҦcJ@Z=ҮXJ@ZBҮX@Z[ـJ󩚠@Z[ـJ@J@@Z}J @roJ[b@ZdҮg@T@TK@J@@ZJݐ @J[,c@ZrҮX@T@U K@J@@ZJՐ @J[Cd%@ZҮg*@U K.@U Rǀ@J@@Z JŐ @J[Ze<@ZҮgA@U%E@U7Rǀ@J@@Z٠J @ΠJ[qfS@ZҮXX@U<\@UNRǀ@J@@ZJ @J[gJj@ZҦcJo@ZҦc@u@ZҮgz@U^J@@ZҮgJ@ZҮg@UKZ@J@@[J @J[hJ@[ҦcJ@[ҦcJ@[ҮgJ@[ ҮXJ@J@@[=J @2/J[iJ@[2ҦcJ@[7ҦcJ@['ҮXJ@[,ҮXJ@J@@[\J} @QNJ|[jJw@[ҦcJv@[ҦcJuJs@Zҭ߀JqJn@[XҮgJl@[]ҮgJi@Jf@@[Jd @yvJc\kJ^@[ҦcJ]@[ҦcJ\ @Zҭ߀JP@JM@@[JK @JJ\6lJE@\ ҦcJD@\ҦcJCJAJ?(@Zҭ߀J=-@Zҭ߀J:@J7@@[J5 @J4\YmJ/;@[ҦcJ.@@[ҦcJ-G@[ҮXJ+J(N@[ҮgJ&@J#@@[⠠J! @נJ \znJ\@[ҦcJa@[ҦcJJj@[ҮgJo@[ҮXJ@J@@\J  @J \oJ}@[ҦcJ@[ҦcJ@[ҮgJ@J@@\I @I\pI@\ҦcI@\ҦcIII򐩚@\ҮgI𩚠@\ҮgI@I@@\@I @52I\qI⚠@\5ҦcIᚠ@\:ҦcIࠩIސ@\,ҮXIܩ@\:ҮgIِ@I@@\aIԐ @VSI\rIΚ@\VҦcI͚@\[ҦcI̠@\TҮgIʩIǐ@\RҮXIŐ@I@@\I @wtI]sI@\wҦcI@\|ҦcI@\lҮXI@I@@\I @I]4tI@\ҦcI@\ҦcIII&@\ҮXI+@\ҮXI@I@@\I @I]WuI9@\ҦcI>@\ҦcIIG@\ҮgIM@\i[ـIR@\ҮgI@I@@\栠I @۠I]~vI`@\ҦcIe@\ҦcIj@\Ҧc@p@\ҮgI~@v@\ҮXI{Iz|@\YҦcIt@\^ҦcIr@\Qҭ߀Vr@\[ـIp@\ҮXIo@In@@]'IS @IR]wIM@]ҦcIL@]!Ҧc@@]ҮgIKIH@\ҦcIF@\ҦcIE@\ҭ߀]!@\[ـIC@]-ҮXIB@IA@@]]I= @ROI<]xI7@]RҦcI6@]WҦc@@]OҮgI5@\ҭ߀@] [ـ@WdI2]T@I1@@]I% @|yI$^yI@@]Ҧc]II@ @]Ҧc]]@^Ҧc]@]ҭ߀]WV(@^ Ҧc@I@I @^Ҧc@&@]ҮXI@IV.@]J[ـII(3@^%Ҧc@9@]ҮXI@I5@@^2ҦcIE@^7Ҧc@K@^ҮXI@Q@WҮgWnI I<I @I @@]堠H @ڠH^}zI}@`@^RҦc^LI{Iy@h@^ZҦc^T^Rn@^`Ҧc^Zr@^Bҭ߀^7XVw@^iҦc@Ir}@^oҦc@@^:ҮXW@I@^|ҦcIY@^Ҧc@@^LҮXH@@WҮgWHIHI@^Ҧc^fI@^ҦcIw@^Ҧc@@^jҮXI@@XҮgWIJI@^ҦcI@^Ҧc@@^ҮXI.@@XҮgWI-@][ـJ@H@@^jH @_\H_{J@@^Ҧc^ѶV@^ҦcI嚠@^ҦcI@^Ҧc@@^ҮXI@@XNҮgXI\J@H@@^H @H_-|J-@@_Ҧc^W$@_Ҧc@J@_ ҦcJ!@_ҦcI𚠐&@_Ҧc@,@^ҮXJ@2@XҮgXOHKJ,7@_)Ҧc@=@^ҮXJ+H@H@@^ѠH @ƠH_i}Ji@L@_>Ҧc_8JgJe@T@_FҦc_@_>Z@_LҦc_F^@_.ҭ߀_#YWrc@_UҦc@J^i@_[Ҧc@o@_&ҮXX@Jkv@_hҦcJE{@_mҦc@@_8ҮXI@@XҮgXIJrIJ@_~Ҧc@@_IҮXJJ~@H@@_&Hѐ @H_~J@@_Ҧc_JJ@@_Ҧc__@_Ҧc_@_ҭ߀_xYXWǚ@_Ҧc@J@J@_Ҧc@@_|ҮXJ@JW@^[ـJJǚ@_Ҧc@@_ҮXJHː@H@@_lHȐ @a^H`K@@_Ҧc_ӶKK@@_Ҧc_۩_@_Ҧc_ᚠ@_ҭ߀_YX @_Ҧc@J@_Ҧc@ @_ҮXSI@K@`Ҧc@@_ҮXK@KX@_:[ـKK#@`ҦcH@H@@_H @H`O@KO@2@`$Ҧc`KMKK@:@`,Ҧc`&`$@@`2Ҧc`,D@`ҭ߀` YXXI@`;Ҧc@KDO@`AҦc@U@` ҮXTHI@KP[@`MҦc@a@`ҮXKO@K]h@`ZҦcK7m@`_Ҧc@s@`*ҮXH@y@YҮgYHKdJ,Ks~@`pҦcI@H@@`H @H`AK@@`Ҧc`yKK@@`Ҧc``@`Ҧc`@`oҭ߀`dZDX@`Ҧc@K@K@`Ҧc@@YҮgH@X@_[ـKJlK@`Ҧc@@`{ҮXH@K@`ҦcK@`Ҧc@@`ҮXH@@`ҮXXK@_[ـKK@H@@`vH @khHaBL@@`Ҧc`ݶL L @@`Ҧc``@`Ҧc`뚠@`ҭ߀`ZY@`Ҧc@L@aҦc@@`ҮXU@L@a ҦcKꚠ @aҦc@&@`ҮXH@,@`ҮXXK2@`N[ـLKL,7@a)Ҧc`L4?@a1ҦcLD@a6Ҧc@J@aҮXHĶ@P@aҮXXKM2LKV@aHҦcL%[@aMҦc@a@aҮXH۶@g@aҮXY KĐm@`[ـMO@H@@aH @HaCL@|@anҦcahY@asҦcL|@ayҦcLV@a~Ҧc@@aIҮXI@@aOҮXY=K󐩚@`[ـM@H@@a2H @'$HaDLʶ@@aҦcaY@aҦc@L@aҦcL@aҦcL@aҦc@@aҮXI@@aҮXYtKMLɚ@aҦc@@aҮXIK@H@@anH @c`HbEM@@aҦcaնMM@@aҦcaݩa@aҦca㚠@aҭ߀a[Z@aҦc@L@aҦc@ @aҮXU@M@bҦcL⚠@b Ҧc@@aҮXI@$@aҮXYL*@aF[ـMLM$/@b!Ҧc@5@aҮXJ2M!@H@@aɠH @HbaFMa@D@b6Ҧcb0M_M]@L@b>Ҧcb8b6R@bDҦcb>V@b&ҭ߀b[Zj[@bMҦc@MX@MWb@bTҦc@h@[ҮgJe@ZVp@a[ـM[L#Mju@bgҦc@{@b2ҮXJdKn@H|@@bHz @HybGM@@b|ҦcbvMM@@bҦcb~b|@bҦcb@blҭ߀ba\AZ@bҦc@M@bҦc@@bdҮX[LT@M@bҦc@@\ҮgJ@Z@a[ـMLtM@bҦcKe@Ht@@bZHr @OLHqbHM@@bҦcbMM@@bҦcbɩb@bҦcbϚ@bҭ߀b\Z@bҦc@M皠@bҦc@@bҮX\L@M󚠐@bҦc@@bҮXK@N @bҦcMښ@cҦc@@bҮXHl@@bҮXZK["@b>[ـN LնN'@cҦcKƐ@Hk@@bHi @HhcSINS@6@c(Ҧcc"NQNO@>@c0Ҧcc*c(D@c6Ҧcc0H@cҭ߀c \[\M@c?Ҧc@NJ@NIT@cFҦc@Z@cҮXNH@NG[Ib@b~[ـNE@N]h@cZҦc@n@\ҮgKW@[]v@b[ـNaN0Np{@cmҦcHc@Hb@@cH^ @H]cJN@@c|ҦccvNN@@cҦcc~c|@cҦcc@clҭ߀ca]A[@cҦc@N@N@cҦc@@ceҮXN@N[@b[ـN@N@cҦc@@cyҮXK@LN}@]dNNĚ@cҦcH@HX@@ccHV @XUHUcKN@@cҦccʶNN@@cҦccҩc@cҦccؚ@cҭ߀c]@cS@]@N򚠐@cҦc@@cҮX@]]@M[@c,[ـN@O @dҦc@@]iҮg]š!@^@\)@cE[ـOMܶO#.@d ҦcL͐@HP@@c HN @HMdZLOZ@=@d/Ҧcd)OXOV@E@d7Ҧcd1d/K@d=Ҧcd7O@dҭ߀d]@cV@^:@OQ\@dNҦc@b@dҮXg@^K^ @N\Uo@c[ـOR@Oju@dgҦc@{@d2ҮX^!@^d@Om\o@^udOkO@dҦcM,@HH@@d!HF @HEdMO@@dҦcdOO@@dҦcdd@dҦcd@d~ҭ߀ds^SO@dҦc@d@c[ـP@O@dҦc@@^ҮgO@O\@c[ـOO@dҦc@@^'ҮgOM͐@H@@@dnH> @c`H=eNP@@dҦcdնPP@@dҦcdݩd@dҦcd㚠@dҭ߀d^O@dҦc@O@Oњ@dҦc@ @dҮXO@O\@d1[ـOO䚠@e Ҧc@ @dҮXON@H8@@dH6 @H5eLO]=.@e ҦcPF@5@e'Ҧc@:@e,Ҧce&e$@@e2Ҧc@E@e7Ҧce1I@eҭ߀e3O@eAҦce;S@e#ҭ߀ePMX@eJҦcP']@eOҦcH0d@eҮX] i@^Үg^@H+@@dH& @H%eP]w@eiҦcP@~@epҦc@@euҦceoem@e{Ҧc@@eҦcez@ebҭ߀e|@eҦce@elҭ߀eaP@eҦcPp@eҦcHy@^ҮgY@eiҮX^ϐ@H @@eFH @;8HeQ]Ϛ@eҦcH@eҦcP@eҦcP@eҦcH@eҮX]|@_)Үg^@H@@epH @ebHfR]@eҦcHB@eҦcPꚠ@eҦcPĚ@eҦcH͠@_NҮgY@eҮX_#@H@@eG @Gr@G@GҦcG@GҦcG@GҦcG󠩚%@GҮgG橚*@GҮg0@q6G㩚5@q6G@G@@GG @GrEAGC@H(ҦcGH@H-ҦcGM@H#ҦcGT@HҮgGY@HҮg_@q6Gd@q6G@G@@GꠠG @GrtBGr@HWҦcGw@H\ҦcG|@HaҦcG@HfҦc@@HIҮgG@@HOҮgG@HTҮg@r6G@r6G@G@@H#G @&#GrCG@HҦcG@HҦcG@HҦcG@GҮXG@GҮX@r@6G~@rE6G{@Gx@@HRGp @URGorDGm@HҦcGl@HҦcGk@HҦcGj@GҮXGh@GҮX@ro6Ge@rt6Gb@G_@@HGW @GVs EGT @HҦcGS@HҦcGR@HҦcGQ@HҦc@@GҮXGP@$@GҮXGM)@GҮX/@r6GL4@r6GK@GJ@@HGH @GGsDFGEB@I'ҦcGDG@I,ҦcGCL@I1ҦcGBQ@I6Ҧc@W@IҮgGA@]@H#ҮXG>b@I$Үgh@r6G=m@r6G<@G;@@HG9 @G8s}GG6{@I`ҦcG5@IeҦcG4@IjҦcG3@IoҦc@@HVҮXG2@@IXҮgG/@I]Үg@s6G.@s6G-@G,@@I,G* @/,G)sHG'@IҦcG&@IҦc@@IҮg@sG%@@IҮg@sHԩ@IҮg@s'@sW6G$@G#@@IdG @gdGsIG@IҦcG@IҦc@@IҮg@sJG@@HҮX@sUI  @IҮg@s_@s6G@G@@IG  @G t&JG$@J ҦcG)@JҦc@/@HҮX4@sG@:@IҮg?@sIDD@JҮgI@sN@s6G@G@@IԠF @נFt^KF\@JAҦcFa@JFҦc@g@I-ҮXl@sF@r@I8ҮXw@sI||@IBҮX@s@s6F@F@@J F @ FtLF隠@JyҦcF蚠@J~Ҧc@@JaҮg@sF穚@JkҮgI@t(6F@F@@J5Fߐ @85FtMFܚ@JҦcFۚ@JҦc@@JҮg@tFک@JҮgIة@tQ6Fِ@F@@J^Fΐ @a^FtNF˚@JҦcFʚ@JҦcFɚ@JҦcFȚ@JҦc@@IҮXFǶ@ @JҮg @t6Fĩ @t6Fé @JҮgF@F@@JF @Fu!OF @KҦcF $@K ҦcF )@JҦcF .@KҦc@ 4@JҮgF@ :@JҮX @@t6F E@t6F J@K ҮgF@F@@JРF @ӠFuZPF X@K=ҦcF ]@KBҦcF b@K8ҦcF g@K=Ҧc@ m@J3ҮXF@ s@J9ҮX y@t6F ~@t6F @JIҮXF@F@@K F @  FuQF @KgҦcF @KlҦcF @KqҦcF @KvҦc@ @KhҮg @u%6F @u*6FF @KzҮgF @KҮgF@F@@KCF @FCFuRF @KҦcF @KҦcF @KҦcF @KҦc@ @JҮX @u_6F @ud6FF} @JҮXF{ @JҮXFz@Fy@@K}Fw @}FvvSFt!@KҦcFs! @KҦc@!@KҮg!@u6Fr!@uhFo!!@KҮgK(!&@ut!+@KҮgK1!0@u~@Fm@@KFc @Fbv@TF`!>@LҦcF_!C@LҦc@!I@L Үg!N@u!S@u6F^F[!Z@LҮg!_@uKe!d@L&Үg!i@uKn@FY@@KFQ @FPvyUFN!w@LMҦcFM!|@LRҦc@!@KHҮX!@v6FL!@uFI!@KYҮXK!@u!@KcҮXK!@u@FG@@L(F= @ + (F<vVF:!@LҦcF9!@LҦc@!@KҮX!@v!@v>6F8F5!@KҮX!@vKש!@KҮX!@v)K@F3@@LaF+ @ d aF*vWF(!@LҦcF'!@LҦc@!@KҮXF&F#!@LҦcF!@LҦcF"@Fҭ߀L " @v6F"@KҮX"@vA@F@@LE @  @wG@E"%@EҦcE񚠐"*@wҦcE"/@EҦcE횠"4@FҦc@":@Eҭ߀"@@v[ـEEE砩"G@EҮg"M@w"HEک"R@w'HEש"W@EҮg"]@w?6"c@w8HEE穚"h@wJ6"n@wCHEE@E@@EE @  @wAE"|@EҦcE"@EҦcE"@EҦc@"@F Үg"@wHFE"@EҮgE"@EҮg"@wxHE"@w}HE@E@@EꠠE @!1!.@wBE"@EҦcE"@EҦcE"@EҦc@"@FZҮg"@wEE"@FfҮgE"@FkҮg"@wHE"@wHE@E@@F$Ez @!k!h@xCEy"@FҦcEx"@F$ҦcEw"@F)Ҧc@#@FҮgEv#@wEu# @FҮgEs#@FҮg#@wHEr#@wHEq@Ep@@F^Ed @!!@xLDEc#*@FYҦcEb#/@F^ҦcEa#4@FcҦc@#:@FҮgE`#?@wE_#F@FҮgE]#K@FҮg#Q@x&HE\#V@x+HE[@EZ@@FER @!ߠ!@xEEQ#d@FҦcEP#i@FҦcEO#n@FҦc@#t@ENҮX#y@x0EM@#@EYҮXEL#@E^ҮX#@x_HEK#@xdHEJ@EI@@FѠE? @""@xFE>#@FҦcE=#@FҦcE<#@FҦc@#@EҮXE;#@xi@#@EҮXE:#@EҮX#@xHE9#@xHE8@E7@@G E- @"Q"N@xGE,#@GҦcE+#@G ҦcE*#@GҦc@#@EҮX#@xE)@#@EҮXE(#@EҮX#@xHE'$@xHE&@E%@@GCE @""@y1HE$@G>ҦcE$@GCҦcE$@GHҦc@$@EҮXE$$@x@$*@FҮXE$/@F ҮX$5@y HE$:@yHE@E@@G|E  @"à"@yjIE$H@HҦcE$M@HҦcE$R@yGҦc@E$Z@H ҭ߀D$_@yD$f@Hҭ߀$l@yAHD$q@yFHD$v@H'ҭ߀D@D@@GD @""@yJD⚠$@HQҦcDᚠ$@HVҦcD$@yҦc@Dߐ$@HGҭ߀Dݚ$@yRDܠ$@HSҭ߀$@y}HDک$@yHD٩$@Hcҭ߀Dؐ@D@@GDϐ @#;#8@yKDΚ$@HҦcD͚$@yҦc@D̐$@H~ҭ߀Dʚ$@yDɠ$@Hҭ߀$@yHDHc$@Hҭ߀Hp$@yK@D@@H+D @#r#o@zLD$@yҦcD$@HҦc@D%@Hҭ߀D% @yD%@Hҭ߀%@yHDH%@Hҭ߀H% @yK@D@@HbD @##@zPMD%.@H]ҦcD%3@HbҦcD%8@HgҦc@%>@HҮg%C@yDD%J@G$ҮXD%O@G)ҮX%U@z*HD%Z@z/HD@D@@HD @##@zND%h@HҦcD%m@HҦcD%r@HҦc@%x@I Үg%}@z4DD%@G^ҮXD%@GcҮX%@zdHD%@ziHD@D@@H֠D @$$@zOD%@HҦcD%@HҦcD%@HҦc@%@IFҮgD%@znD%@GҮXD%@GҮX%@zHD%@zHD@D@@IDw @$W$T@zPDv%@I ҦcDu%@IҦcDt%@IҦc@%@IҮgDs%@zDr%@GҮXDp%@GҮX&@zHDo&@zHDn@Dm@@IJDe @$$@{8QDd&@IEҦcDc&@IJҦcDb& @IOҦcDa&%@ITҦc@&+@HҮX&0@zD`@&6@IҮgD_@&<@HҮX&A@zI@&G@IҮgD^&L@IҮg&R@{'HD]&W@{,HDZ@DX@@IDV @$$@{RDU&e@IҦcDT&j@IҦcDS&o@IҦcDR&t@IҦc@&z@HTҮX&@{6DQ@&@H_ҮXDP@&@HeҮX&@{GJ@&@HpҮXDO&@HuҮX&@{vHDN&@{{HDM@DL@@I蠠DB @%/%,@{SDA&@IҦcD@&@IҦc@&@JSҮg&@{{D?@&@J^Үg&@{JS&@JhҮg&@{&@{HD>@D=@@J D5 @%g%d@|TD4&@JҦcD3&@J Ҧc@&@JҮgD2&@{@'@JҮgJ'@{' @JҮg'@{'@{HD1@D0@@JXD( @%%@|FUD''$@JSҦcD&')@JXҦc@'/@JҮg'4@{D%@':@JҮgJ'?@{'D@JҮg'J@|HD$'N@|@D#@@JD @%נ%@|~VD'\@JҦcD'a@JҦc@'g@JҮgD'l@|#@'r@KҮg'w@|.J'|@KҮg'@|WHD'@|=@D@@JȠD  @&& @|WD '@JҦcD '@JҦc@'@IyҮX'@|[D @'@IҮX'@|fK3'@IҮX'@|p'@|HD@D@@KC @&G&D@|XC'@JҦcC'@KҦc@'@KkҮg'@|CC'@KwҮg'@|'@|HC'@KҮg'@|K{@C@@K9C @&&}@}'YC񚠐(@KҦcC𚠐( @K9Ҧc@(@KҮg(@|CC(@KҮg(!@|(&@|HC쩚(+@KҮg(0@|K@C@@KrC @&&@}`ZC䚠(>@KmҦcC㚠(C@LҦc@(I@KҮg(N@}CCᠩ(U@J/ҮX(Z@}(_@}4HCߩ(d@J>ҮX(i@} K@C@@KCؐ @&&@}[Cך(w@LDҦcC֚(|@KҦc@(@LҮg(@}>CթCԠ(@JhҮX(@}J(@}mHCҩ(@JwҮX(@}YL-@C@@K䠠Cː @'+'(@}\Cʚ(@KҦcCɚ(@KҦc@(@LOҮg(@}KCȶ@(@LZҮg(@}LO(@LdҮg(@}K(@}HCǐ@C@@LC @'c'`@~ ]C(@LҦcC(@LҦcC(@Lҭ߀(@}HC(@}C)@Lҭ߀C) @})@Lҭ߀C)@}@C@@LVC @''@~D^C)"@~ҦcC)'@~ҦcCCC)2@Lҭ߀C)7@}C)>@Lҭ߀C)C@}C)J@Lҭ߀)P@~%HC)T@~ @C@@LC @'ݠ'@~_C)b@M/ҦcC)i@Mҭ߀)o@~DHC)s@~*)x@M)ҭ߀C)}@~4@C@@LC~ @((@~`C})@MXҦcC|)@M]Ҧc@)@MGҭ߀)@~qHC{)@~W@Cx)@MYҭ߀M-)@~d)@Mcҭ߀M$)@~n@Cv@@LCt @(@(=@~aCs)@MҦcCr)@MҦc@)@Mҭ߀)@~HCq)@~@Cn)@Mҭ߀Mn)@~)@Mҭ߀Mx)@~@Cl@@M3Cj @(@D3π@D֚*@MҦcD՚*@MҦcDԠ* @Mҭ߀*@~HDҚ*@~DϠ*@Mҭ߀Dɚ*#@~*(@Mҭ߀DȚ*-@~Ci((@Ca@@MsC_ @(@D: !؀@D3*A@NҦcD2*F@NҦc@*L@Mҭ߀*R@'HD1*V@ @D.*^@Nҭ߀M㚠*c@*h@Nҭ߀Mښ*m@$C^((@C\@@MCZ @)!@D6 !ހ@D/*@NNҦcD.*@NSҦc@*@N=ҭ߀*@gHD-*@M@D**@NOҭ߀N**@Z*@NYҭ߀N4*@dCY)2)/@CW@@MCU @):)7@bCT*@NҦcCS*@NҦcCR*@N_Үg*@*@HCPCMCK*@NrҮg*@CI*@N|Үg*@CHCG*@NҮgCE*@*@NҮgCD+@@CC@@NEC9 @))@3cC8+@N@ҦcC7+@NEҦc@+@LҮX+!@C6@+'@NҮgC5+,@NҮg+2@HC4+7@ HC3@C2@@NyC0 @))@gdC/+E@NtҦcC.+J@NyҦc@+P@M*ҮX+U@ C-@+[@M5ҮXC,+`@M:ҮX+f@;HC++k@@HC*@C)@@NC' @))@eC&+y@OFҦcC%+~@NҦc@+@M^ҮX+@@C$@+@O#Үg+@jHC#+@oHC"+@O3ҮgC!@C @@NᠠC @*(*%@fC+@OzҦcC+@NҦc@+@MҮX+@tC@+@MҮX+@HC+@HC+@MҮXC@C@@OC @*\*Y@gC+@OҦcC+@OҦc@+@OҮgC+@OҮg+@6+@K,@H,@RǀO, @H,@RǀO@C@@ORC @**@@hC,@OMҦcC,#@ORҦc@,)@OҮg,.@KC@,4@OҮg,9@KO,>@NҮX,D@&6C,I@HC@B@@OB @*Ҡ*@yiB,W@P$Ҧc,\@N6ҮX,a@,f@;HB@B@@OB @**@jB皠,t@OҦcB暠,y@OҦc@,@NYҮX,@;B@,@NdҮX,@FP,@NnҮX,@|6,@uHB䩚,@zHB㩚,@6,@HB⩚,@HB@B@@OBϐ @+>+;@kBΚ,@OҦcB͚,@OҦc@,@NҮX,@B̶@,@NҮX,@Pb,@NҮX,@6,@HB˩,@HBʩ,@H,@6Bɩ-@6BȐ@B@@PFB @++@4lB-@PAҦcB-@PFҦc@-@NҮX-"@B@-(@OҮX--@P-2@O ҮX-8@ H->@ 6B-C@%6B-H@H-M@Rǀ-R@46-X@-HB-]@2HB@B@@PB @++@mB-k@PҦcB-p@PҦc@-v@OPҮX-{@2B@-@O[ҮX-@=Q -@OeҮX-@fH-@lH-@rH-@gRǀ-@kRǀQQ1-@H-@6B-@6B@B@@P@-@@~@OB`@B @@B @A@@@B,w@A@@B,- @A@@B-.@A@B@B-@BҦc@-@BҮg-@B-@Bҭ߀,@k k-@j-@@B@@]Bi @<952@BABh. @BgҦc@Bf.@Bҭ߀BZ.@.@Bҭ߀-!@ k.)@.-@@BY@@BQ @mjfc@BBBP.=@Ҧc.B@Bҭ߀-E@ kBO.M@KBN@BM@@BE @@CCBD.]@C Ҧc@.c@ҮX.h@BC.m@Cҭ߀-p@ k.x@Kꚠ.|@K@BB@@ݠB: @@CNDB9.@Ҧc.@C*ҭ߀-@ kB8.@B7Rǀ.@ HB6@B3@@B+ @ޠڠ@CsEB*.@ҦcB).@CbҦc@.@HҮX.@mB(@.@C`ҭ߀-@E kB'.@}.@Coҭ߀B&.@@B%@@<B @@CFB.@CFҦcB.@CҦc@B.@Cҭ߀B.@@/@ҮX/@zB/@Cҭ߀.@ kB/@@B@@zB @YVRO@CGB/)@ҦcB/.@ҦcB/5@Cҭ߀.8@ kB/?@B/F@CҮgA/K@A/R@CҮg/W@A/\@Cҭ߀A/a@ @A@@ A @@D3HA皠/q@ҦcA暠/v@D"ҦcA嚠/{@D'Ҧc@/@ ҮX/@2A@/@ҮX/@=/@D/ҭ߀.@ kA⩚/@A6Aਗ਼/@H.@% kAߩ.@* kAސ@A@@AՐ @@DIAԚ/@AҦcAҚ/@AҦcAњ/@9Ҧc/@Djҭ߀.@O k/@IHAAͩ/@NH.@` kA̩.@e kAɐ@A@@NA @-*&#@DJA/@jҦcA0@DҦcA0@DҦc@0 @ҮX0@A@0@ҮX0@0"@Dҭ߀/%@ kBn0.@HA/0@ k/6@ kA@A@@A @yvro@E KA0I@DҦcA0N@Ҧc@0T@ҮX0Y@A0^@ҮX0c@/e@ kA@A@@ɠA @@E:LA0x@E$ҦcA0}@E)Ҧc@0@E(Үg0@4A@0@ҮX0@?0@E=Үg0@I/@ kA@A@@A @ߠ۠@EtMA0@E^ҦcA0@EcҦcA0@EhҦc@0@EgҮg0@sA@A0@[ҮX0@D#0@E~ҮgA0@EҮg/@\ kA~/@a kA}@A|@@JAr @)&"@ENAq0@EҦcAp0@EҦcAo1@pҦc@An1 @ҮX1@Al1@ҮXAk1@ҮX0@ kAh0"@ kAg@Af@@A\ @eb^[@EOA[15@EҦcAZ1:@EҦc@1@@EҮg1E@KAYAX1L@EҮg1Q@é1V@EҮg1[@K0]@ kAV@AU@@AK @@F2PAJ1p@FҦcAI1u@F!ҦcAH1z@F&Ҧc@1@F%Үg1@$KAG@1@ҮX1@<@1@F;ҮgAF1@F@Үg0@ kAE0@ kAC@AB@@A6 @ߠ@FxQA51@FbҦcA41@FgҦcA31@FlҦc@1@FkҮg1@wA2@1@]ҮXA11@bҮX0@T kA00@Y kA/@A.@@BA$ @!@FRA#1@FҦcA"1@FҦcA!1@FҦcA 2@FҦc@A2@FҮg2 @A2@ҮXA@2@ҮXA2@ҮX1 @ kA1%@ kA@A@@A @hea^@FSA28@FҦcA2=@FҦcA2B@FҦcA 2G@FҦc@A 2O@FҮg2T@A 2Y@FҮgA @A2a@GҮg2f@E2k@GҮgA2p@GҮg1s@ kA1x@ kA@A@@ܠ@ @@GMT@2@G7Ҧc@2@G<Ҧc@2@GAҦc@2@'ҮX2@L@@2@2ҮX2@W%@2@GVҮg2@b0@2@GUҭ߀1@: k@1@? k@󩚠2@Geҭ߀@@@@@-@ @  @GU@횠2@GҦc@욠2@GҦc@뚠2@GҦc@2@GҮg2@K@@2@ҮX2@v@3@ҮX3@@3 @Gҭ߀2@ k@驚2@ k@詚3@Gҭ߀@@@@@~@ @]ZVS@GV@㚠3-@GҦc@⚠32@GҦc@ᚠ37@GҦc@3=@ҮX3B@@@3H@ҮX3M@Ƕ@3S@GҮg3X@ҩ@ߠ3_@HҮg@ݩ3d@H Үg2g@ k@ܩ2l@ k@ې@@@@Р@ؐ @@HAW@ך3@H+Ҧc@֚3@H0Ҧc@՚3@H5Ҧc@3@ҮX3@@@Զ@3@&ҮX3@K@3@HJҮg3@V$@Ӡ3@=ҮX@ѩ3@BҮX2@4 k@Щ2@9 k@ϐ@@@@"@̐ @@HX@˚3@H}Ҧc@ʚ3@HҦc@ɚ3@HҦc@3@HҮg3@K@ȶ@3@xҮX3@c@Ǡ3@HҮg@ũ3@HҮg3@{ k@ĩ3@ k@Ð@@@@i@ @HEA>@HY@4@HҦc@4@HҦc@4"@HҦc@4(@HҮg4-@K@@43@ҮX48@@4?@ҮX@4D@ҮX3G@ k@3L@ k@@@@@@ @@I!Z@4_@I Ҧc@4d@IҦc@4j@IҮg4o@K@@4u@ҮX4z@&쩚4@I$Үg3@ k@@@@@栠@ @Š @IW[@4@IAҦc@4@IFҦc@4@IKҦc@4@1ҮX4@V@@4@<ҮX4@a/@4@I`Үg4@l:4@QҮX4@G 63@I k@3@N k@3@S k4@G 6@H0@@@@B@ @!@I\@4@IҦc@4@IҦc@4@IҦc@5@ҮX5@@@5 @ҮX5@@5@IҮg5@5!@ҮX4$@ k5-@Gl6@H|52@H45@ k5=@HRǀ5B@@d@5G@G64J@ k@4O@ k@@@@@@J(5Y4V@@@P!F@@ @@ -@A@@@JL2@A@@6@A@@44%@A@@à4z4@A@@(55@A@#@@5@Ҧc5@ҮX5@h@!@@@@@ݠ@~ @62.+'$@DA@5@Ҧc@5@Ҧc@5@ҮX5@@@@5@ҮX4@= k5@wRǀ@5@@Үg@4@M k5@Rǀ5@[ـ@5@@ҭ߀r@E!@@@@@@2@~ @|y@B@@5@IҦc6@MҦc@{6@SҦc6 @WҦc6@ҭ߀6@ҭ߀@s!@@{@@`@q @@C@v6*@Ҧc@60@@Үg65@ @{@z6;@ Ҧc@q6@@Ҧc@s6G@@ҭ߀@6M@65P@ k6X@Rǀ@!@uk@t6d@_ҮX6i@Aw6n@AҮg}5q@ k6y@&Rǀ@!@@@@@Ơ@n @ @-D@s6@Ҧc@v6@Ҧc@y6@Ҧc@6@ҮX6@}@@@6@ҮX6@6@AgҮg5@5 k6@oRǀAx@6@Aeҭ߀@6@a65@L k6@RǀApA6@A{ҭ߀l@?!@@@@@@,@ @}zvs@E@6@QҦc@6@ҮX7@@7@Aҭ߀@g!6@ k7@Rǀ@@@@_@ @@F@7)@Ҧc@7/@AҮg74@ @79@Aҭ߀@!7E@d6H@ k7P@Rǀ57U@d@@@@@@ @@G7g@Bҭ߀M@!;;,@@@@@ @ @H7@Bҭ߀@!7@9Rǀ7@KK@@@@ؠ@ @1-)&"@?I@7@Ҧc@7@BXҮg7@hK@7@BbҮg7@D@!@@@@@@ @]YURNK@kJ@7@Ҧc@7@Brҭ߀c@6!@7@7@ҮX@7@K@@@@1@ @{x@K@7@VҦc@8@[Ҧc@8@ҮX@8 @ҮX@l!@@q!@@@@@^@ @@L@8(@sҦc@8-@xҦc@83@BҮg@!@@!@8C@BҮg@@@@@@ @ܠ٠ՠ@M@8U@Ҧc@8Z@Ҧc@8`@CҮg8e@=@ĩ@à8l@gҮX7o@ k8w@$Rǀ\C-8|@wҮXb @!@ː@@@@ʠ@ @#@1N@ǚ8@Ҧc@ʚ8@Ҧc@8@COҮg8@|@ѩ@Р8@C[ҮgCb7@) k8@cRǀ8@CkҮgI@!@@@@@ @͐ @b^ZWSP@pO@Қ8@.Ҧc@8@CҮg8@@٩8@CҮgq@D!@ΐ@@@@1@ِ @{x@P@ޚ8@VҦc@9@ҮX9@@婚9 @ҮX@l!@@@@@Y@ߐ @@Q@䚠9#@~Ҧc@皠9(@Ҧc@9.@CҮg93@ @@99@CҮg9>@#9C@>ҮX9I@6@!@@!@@!9_@H@@@@@@ @@R@9q@Ҧc@9v@Ҧc@9|@wҮX9@Y@@9@ҮX9@dq9@ҮX@!9@HA9@569@;66@ !A ;@!A9@rK@A@@A @XTPMIF@fSA 9@$ҦcA 9@)Ҧc@9@DҮg9@A@9@ҮX9@ɩ9@Dҭ߀w@J!9@YHD8@s k:@RǀD:@6D@f!A%@A$@@SA @@TA:@xҦc@:#@DҮg:(@A&:-@Dҭ߀@!:9@H:>@Rǀ#:C@ [ـ@!A1@A0@@A( @ߠ۠@UA-:[@ҦcA0:`@Ҧc@:f@EҮg:k@CA7@:q@E!Үg:v@N[@:|@Eҭ߀ @!A>@!A?:@E<ҮgDM:@H:@DRǀE.@AD@@ߠA: @840-)&@FVA?:@xҦc:@ҮX<@!:@[ـAH:@[ـM@ !AJ@AH@@ A> @fb^[WT@tWAC:@ҦcAF:@E{ҭ߀l@?!:@[ـAF:@[ـ}@P!AH:@Eҭ߀@[!;@[ـAL@f!AL@AJ@@SAH @@XAM;@Ҧc@;#@Eҭ߀@!;/@[ـAV;4@[ـ@!AXAV;@@ҦcAX;E@Ҧc;J@Eҭ߀;P@[ـA_:R@ k;Z@Rǀh@Ad@@AX @@ YA];l@Ҧc@;r@F"Үg;w@OAdAc;~@Fҭ߀ @!;@P[ـAg;@U[ـ@!AjAi;@ҦcAk;@ Ҧc;@FBҭ߀;@q[ـAr:@( k;@bRǀÐ@Au@@A[ @VRNKGD@dZA`;@"Ҧc@;@F}Үg;@Ag;@Ftҭ߀e@8!;@v6;@MH;@RǀӚ;@K;@[ـ@X!Av@Au@@EAi @@[An<@@ҦcAq<@EҦc@At<@Fҭ߀Ah怠ӀۀA@@@@@O.log2_up_unique @@c2AA@؀퀐A@HрH䩚H詚HH@@@nAIG@AoAI?@qAI=@sAI;@ABC@@,log2_up_pow2 @@duA@A.A=;瀠OO@@@AIq@AAIi@AIg@AIe@ABC@@1log2_up_succ_pow2 @@eB @kXAgeA}K@@@AI@AAI@AI@AI@ABC@@)log2_up_1 @@PfB\Bp@@@AI@A@@)log2_up_2 @@agBsB@@@AI@AI@AI@ABC@@/le_log2_log2_up @@wh=ÀAA@@@AI@AAI@AI@AI@ABC@@74le_log2_up_succ_log2 @@i?倠؀AA@@@9AJ@A:AJ @AJ@ABC@@]1log2_log2_up_spec @@j@B@䀠AI?0@+ҮX䀐  ?@@;ҮX&Ā€"0@@@yAJR@AzAJJ@|AJH@~AJF@ABC@@2log2_log2_up_exact @@kB@$9AHLLXN\I?y?{^J7@@@AJ@AAJ@AJ@AJ@AI@ABCD@@۠+log2_up_pos @@=lC:@bAi~@@@AJ@AAJ@AJ@AJ@ABC@@,log2_up_null @@cm@QHAA@@@@@#/log2_up_le_mono @@nCx~Cu@ԀBAڀ̀Jрߐ@@@(AK@A)AJ@+AJ@-AJ@ABC@@L1log2_up_lt_cancel @@o/@@@ՀBA〠J@@@QAK*@ARAK"@TAK @VAK@ABC@@u/log2_up_lt_pow2 @@pXCԶ@7@BI& ̀ʀ4K8.K @@@AK]@AKV@AKP@ABC@@/log2_up_le_pow2 @@ qD@i@0EBIXcK1fm`K?n@@@AK@AAK@AK@AK@ABC@@۠.log2_up_lt_lin @@=rD:@bwAi@@@AK@AAK@AK@AK@ABC@@.log2_up_le_lin @@asDO@A@@@AK@AK@AK@ABC@@!1log2_up_mul_above @@tDq|Ds@ҀB@ڀǀ٩ӀA@eHKKA@6【K瀐KƐ@@@>AL@A?AL@AAL @CAL @ABC@@b1log2_up_mul_below @@uEDDö@뀠B@󀠚!7KةK$QKL@@@ALX@AALP@ALO@AALL@AG@AG@ABCD@@0log2_up_mul_pow2 @@ vED@0EB@`M_[YL LBLFkL+@@@AL@AAL@AL@AL@ABC@@栠.log2_up_double @@HwEE@mA9q@@@AL@AL@AL@ABC@@,log2_up_same @@xxEuqEw@B@ζ@ˀɀL̀LK{L@@@.AM@A/AL@1AL@3AL@ABC@@R/log2_up_succ_le @@y5F󀐩πAԀA@@@XAM1@AYAM)@[AM'@]AM%@ABC@@|/log2_up_succ_or @@z_F٩H#!A.A97A@A@@@@@7log2_up_eq_succ_is_pow2 @@{G@XV2A7cALҀB*BtMMFI@@@AM@AAM@AM@AM@AL@ABCD@@8log2_up_eq_succ_iff_pow2 @@Q|FN@vAKx|MBӷnBթM^\@@@AM@AAM@AM@AM@AL@ABCD@@53log2_up_succ_double @@}F@рAހƀ@@@KAN$@ALAN@NAN@PAN@ABC@@o.log2_up_add_le @@~RGG@HC=@Mҭ߀B$@H//8+RMNV7M;N@@@ANk@AANc@ANa@AN_@ABC@@.add_log2_up_lt @@GG@?TB@G\nMlN,pNOzN>N]@@@AN@AAN@AN@AN@ABC@@@@@ @@AB[@&@A@@AB]\CD|@@@@ ӳ2@ ӳ2[)Datatypes$Init#Coq@@A@ Գq@ Գq\ @A@AB!BqpoCD@@@&Basics'Program#Coq@0!bs߯? :VU$Bool#Coq@0j 2cZ`FW*CMorphisms'Classes#Coq@0qیZBeϠ0CRelationClasses'Classes#Coq@0TL;0RUfw1432@0.i bYN Z)Decidable%Logic#Coq@0ND걸풬/Oߠ'Decimal$Init#Coq@0C涳N*ua@0όe얟)H.Ƞ+Equivalence'Classes#Coq@07;ꮹ-GenericMinMax*Structures#Coq@0måj$$Init'Classes#Coq@0](p{yOh.Nk0\͉!Ig*Logic_Type$Init#Coq@0 1jc6O8O7O6@0Imӽ%\$PD.Morphisms_Prop'Classes#Coq@0% :B'.>u%%NZAdd&NatInt'Numbers#Coq@00h`ZK4*NZAddOrder&NatInt'Numbers#Coq@0e~1>r砠(NZAxioms&NatInt'Numbers@0] ρ5r&NZBase&NatInt'Numbers#Coq@0^&8yUL%NZMul&NatInt'Numbers#Coq@0ctR~6[Ƞ0}\^ !"k}@R'NZOrder&NatInt'Numbers#Coq@0 q;Ve7R W,YS0)6*9 B:vȻ#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ֱOΠO͠O@0Gz rA6ՠ4Relation_Definitions)Relations#Coq@0]4Ѐd{n^2Relation_Operators)Relations#Coq@0%s鯰s)Relations#Coq@0JJJ@0S_`nOU$&Specif$Init#Coq@0;RWMi\N'Tactics$Init#Coq@0/9m+ a'Tactics'Program#Coq@03ݠ8\@2 Q@@@@"_7@-@A@@@@@@@@"_82M접"_9'`o@A@@@@8\@2 Q@@A@#_13@ @A@@@@-@#_142M접 #_15'`o@B@@@@w2 Q@@A@#_16@X'S@#_172M접  #_18'`o@B@@@᠐@@8\@#tӡ@@A@e@@`9@T@A@A`AX@S@A@`A@R@A@AB`A@Q@A@`@P@A@A`@O@A@`V@N@A@ABC`8@M@A@`~@L~@A@A`@K|@A@`@@Jz@A@Al@Ix@A@lR@Hv@A@mx@Gt@A@ABCDE@A#tӡ4@@A@3B@@`9@{@A@A`AX@z@A@`A@y@A@AB`A@x@A@`@w@A@A`@v@A@`V@u@A@ABC`8@t@A@`~@s@A@A`@r@A@`@@q@A@Al@p@A@lR@o@A@mx@n@A@ABCDE@@@\@Oh@A@A@gݠ@@?=@c@A@A@ABC@Ӡ8\ѠqRɠ[ @QP2 Q@@A@#_24@Q[⫀@A@@@@@#_252M접 #_26'`o@A@@m@)order_posF@@@@A@@[%@+add_pos_pos #1UA@Qx2 Q@@A@#_83@Q(\@A@@@@@#_842M접 #_85'`o@D@@@@@ǠTUp@Qh2 Q@@A@#_86@Qsi@A@@@@@#_872M접 #_88'`o@B@@@T@Q_2 Q@@A@#_898@Qj7@A@@@@5@#_902M접 #_91'`o@E@@@@@@!TTUS@QV2 Q@@A@#_92k@Qa#1Reflexive_partial_app_morphism 2R,u@vA@*respectful%WO? &Basics'Program|@$flip$ @$impl7o_'@2subrelation_properJ7@# %7"&9w@#iffС)p@%le_wd!2〩.3E0)Datatypes@$unitUe@AI@6subrelation_respectful>6z DVVP@0subrelation_reflv ]&H L__ &CX@9iff_flip_impl_subrelation2VA^@6reflexive_proper_proxy5k/RelationClassese@5Equivalence_ReflexiveE2 @5J1G!@<o@)lt_succ_r.Y@@@BX#1(|&} aa0G2!b@Q@#one\ue@@H] ~>@bRfE@ i©J!E@(pow_gt_1:$,a@@+@)eHh2"H070Private_OrderTac#Tac@)not_ge_lt _A"H1G"H2"H3͠ũL"H4Щ+@)lt_irrefl3Ӑ3@+le_lt_trans'SMo;@(lt_trans2o?$J {C@#notШ=@<_0_112@<_1_212X h˩d אI_ 3J&ꐐKL"O $*4LN P Rǚ@4iff_impl_subrelation5Ω@(symmetry0xj^@5Equivalence_Symmetric. UGddffg@(one_succ;x\eӠ@,J<VL#@ZxH4z#@-iff_Symmetric!x  do@)le_succ_l$Cn "HbaVBe>a@2r@o ©kĩ+Cg#LEb #LTbxnX@+lt_le_trans3oc{F@.pow_pos_nonneg'v A 鐩Cѐ ̩ S@)not_gt_le t5`dǩҩf"H5ש sCˠFȐ"Hc*NZLog2Prop@+log2_nonneg⫀ߠ^ʩ栩 fdf@ Ġ #LEc #LTc1U7!c:@@ @:@ ֩ 6.h@ m@  @1pow_lt_mono_r_iff- +ր=w 9@@ <Z#[@ն@!AЩM@ߩO8RaYP%QC]ld[ jjAhR &lO Cw@,le_le_succ_r sVBڷ ְIO{N֩r ҩ:1vaS"H6uT"H7 U"H8͠ũVҠʩ"H9۠өةϐWא Dݐ ! 3+1ŐFAE萩ZVUChڠ QR.Ux\_M[KOGK< ؐ: yKI:=V7C4-%q0(2*!Px  vzk/a'S$ME<wSKBmIv ZRNn{k3n<9mCj&e@7@*not_neq_eq ۫w 0n"%꩷[oD@'eq_reflhO@%le_eq$IXuS@&eq_neq3! @&eq_sym3⺦ b@*le_antisym#2S[jC;!x"x'"Hx`]m-@0musn@=trans_co_eq_inv_impl_morphism&ni${@6Equivalence_TransitiveW )}@/eq_proper_proxy)f ө֩@>trans_sym_co_inv_impl_morphism'\|-@/Equivalence_PER/;*䠩!%w4rqhcaWL ND$#?n@+log2_unique觶774@.Morphisms_Prop@0and_iff_morphism Ƴ| w r'{,< u>p!A@%lt_wd?€*I{KmH,P45kC@&ProperL@ZZ\\ a_*db]4WO3!\TKF@lN@"ex @y!r|w>@#add\QjSnUn"LEHXȐ!e@-le_exists_subZdXP)!p?#5BBB@@@@D@?S67<*JD^ B5Pʷz@ȠmQbշ\֩ѠvکZ͠٠OŐ"Hr#Hr'MzAv렩t۩iĠA)&hҠ+. ֩ѩ@(add_comm8SVҩ @@22@QQ@ t"S @-add_lt_mono_ri@3[^^@@ !ߠ04dHf+ȠL~R@#mul\:?b4A=Ϛ8@9iff_iff_iff_impl_morphism8C51)+L4,g0&iL3#њ@-iff_Reflexive/h d@*pow_succ_r(oaAtAf]4jf)YU"M4V,&RH"&@&mul_wd.g"ws__/a))'@(two_succ +:8KO4Jzv!nĩ&W!yyA,7IukE'CCA@*mul_succ_l24US&4-^OO,EW ySr@&add_wd,1XXV@'mul_1_l$S'ӷyKϷLзѷCΠB@Ԡ@|#`'e'ǐ ."EQmn5>sBx{?l4VЩΠLکҠ,ngA < ԠZ٠ LG  "$ ++4u') ++''d-_)@'add_0_r?;z789@6@ܩc @Ǡ,ɠ.߶@ΠРs?@-add_le_mono_l":><@@@- _ `a$EEcKPo,k46,iBaVoRYV]]^C|, H{T.jf{&$7  ;%,-Y%eA w 860,&8#d0p  mOM|@@tHum@whl@myc@-add_lt_mono_li@-^@@@ppge >f·g2@,log2_unique'qq0٩5K@'le_refl"iͩ#!V+ϩkc:orj9C|dd kmm堩Րk9m  Ȑ#Ha'𐩚@$predh߀ЩC$> Ʃ9!Ƞ@,lt_succ_pred4W  A+]Uu  ! Z(U*+@%eq_le$~.>58CQ+;2PHE+6,J9_@MKbF>:8[S:X):c[?DT ! ]㠩Jskf'TY4okf^Z R 3$o!! 20x;+, {j1"+$h$U1,'9k&;(,Y5,G=F@&pow_wd/ҨDrJHO4&xFkG,=O{qHQJ>oqqBsssWu(fp;ԐCȐéP=??ַS׷ط@R@@٠@ՠ)@۠@p4rؐ@@@w@$@!IG|E|쵷;9759 C VT6UHޠYO]CCrcک  @,succ_lt_mono#̅ԩҠW4  q :l񩚠 (@.lt_succ_diag_rcY C T堩:}s$ LnͩI@'log2_wd$U  X ; : :r Z <L@'pow_0_r)ԀI\@)log2_pow27 K  `W$ r  # $&^  y  ` \ {򠩚@'pow_1_r,7C! 5ͷ k U oƐ s s 8 tC   ; a |K߰ ԩϩ© q(( - - U  (oC hc ] h x@   ީ Y ~ _ $  q   d  @+lt_eq_cases y   s  C4 J{ -Р 4 ̠ĩڠ & (֠ IF ,  MH  ϩ     22 (   #4 ,  ~  Y 6 ,  UP @'succ_wd1(  Ơ   ,    f   9  䩷    w4 ~ a* * ՠP ,  s . H  u0. ,    y V$.    L  y" F ө 4  t  c eTD  jj8 , )    l:$ , +   88ѩ Ω ̠  4   -N ,   0 o  R , :    }K ! GG' (@'mul_1_r$S- =     / @W - ."H'  8 7-̩ ک , Y    " Y @ <  *4ө 8@)False_induُpY /6g  300 P}55 &p@%eq_lt$䠍G ZxӰ \Iĩ {  ~@  4 # f T <@ W l  '# m ;  | z  k  Z  H U@ q f ?  h   } @  AĩŰ _ ש m_@%lt_eq$݀   d lC @(log2_pos%NӀ   h2 |@  9 \: ] a &?r/  1 f2 F  |  v  } U    t k,  a s ^ k    u   Or   |$  {   W    Ě@&log2_15x̀   f    (& @#  Ҡ $  c4 ^ ]  T O M C     .   )    @ C 1 v# ~ ᵷ / ˠ   - 1 " Ӡ   "     S       C    w Y  : _N Q  b Ozx 1 g    4  j  Cv  + )m U @ ' w    #       #LEa # A ?  a, @$    ' &   ͩ , j  /8 +    ˩   ;     u k c @  ]C Z S԰ BZ    ݩ  W O# Y Q HԵ  >     @U Dyɩ H  e ũ v n E j ) m j 2 C !      C ^.   O R [@P } ԩ  `  ^ ֩ rܐ   (  ] I G  B,  8 J a v]    L   0   Ϡ Y pC  u (   { ~   { @     i  F     J    N         "  "    %  Z  C א    @Ω   . ǐ з#LTa    / ÷@ 頩  é    א M     >     ӷ@ @ Ѡ  Y@   ՠ  @^ ؠ X   @ @         1  Z   @ @ @ @  ܶ@ Ŷ@Ʃ 5 j @1pow_le_mono_r_iff%Q֐@@@    1 2@ @   m  h  |  # f p [ l Q  & U M *  GC D = B       ǩ ʵ  " ~  s " < k & * . W O F X  ` X O $Y Y   \   _ # &   d  C ~2 y     - >@  \ 5 @ _ G B  A   @+lt_ge_cases(ɀԩ v e _@ { p `  é  v Ͱ  * ߩ uɩ ܩ x   ک |   ѩ    ɐ     z c     }       A   D   lC   ;é l j    @4 ; :  1 , *    }  s x   W W   u  Yw멚 @,log2_le_mono&SL & $  S @,transitivity>4    @3PreOrder_Transitive4(ۀ  Z   N@-pow_le_mono_r8"t    < ? - r ;  ⵷ + 1 ' +  . C +  F I 7 | ) ! 5 Ѡ% ǩ 3 7f   [    C      5   @  A  ^ OB ѐ      թ$@     J ζ@     M     @)  Q tP  z ?     ܩ ڠN  , @      y B  t H $ % 4@)pow_neg_r6n 1    .   M   5Y   W  v h f k @ ^ @   f  Ca  D i F j  "C ` C bȷ b  4  N         X      A [ j b {!  ` C V  }C z s  Ƿ    e ͵  O  i    U  t  Y V  ک ] w  ~  Щ c :   < ǩ i          k %      H  K  j    N t   w  ) Y p     k  C 2  @ $6 <   @        z  t 3- @*     =멷 (  O൷   S(  $ W   C Ԑ Lԩ @.log2_lt_cancel' Ť % '  {,  q  n { g ) ɠ           /7   [     ɷ@  א  · ;   V@,pow_gt_lin_r1Q=  ?  q ŷ@     נ    p   &  u  u K    ˩@*lt_le_incl A}  ĩ @+log2_lt_linw <   4       v K  ڰ L  -   N N Щ Π  4        m Tee<: ;     A? @@  @ >@  i  B@,log2_le_pow2&Sˀ@ŷ@@Ʃ"   WU V@ ̩;  H@+mul_pos_pos)rz      ީ I 海 9        < 9 t @    ]  _  ; }  Eb   ʐ     C  { 7 Ϸ   ˰m ε ̩   [  z _;  |   䐩  u D [   V C  DB  NW t t4{     .  p_  |a e R  @)pow_add_r9I  }  @2mul_le_mono_nonneg+K\8     婚 #@*pow_nonneg++    |   G     J   ␩  Q   T C ِ   @ @   @ @ @ ͠ .  4 2 g 0 : &m # ! l j   DǠ    b䐩     ɐ  % ( ߐ X W C  I 2D 0) Щ  [ Y  W  M I G E 4 : 2 0 1  E  #C )' (   @   ک  ש 2  谩 "x  @ ɠ      ө2 c Ӡ ՠ  s Ω9,_( dB 栩 2 GIx R]@'add_1_r?†  !,~ G\  N -# (it@*add_succ_r=Ӏ7/- _q,,"4`,85  e B8 =~@*add_succ_l:Vǀ'R!@[}@@u  @,log2_lt_pow2(YZ@@@v sn6@p\&b >p; ĵ        qI  7 u  @ @    E E   C    \  C $ ߩ31f/ ǵ% թ#! ੷Št   # ڐ#|Ð C y  , 2NI  i ʠ hn n n  @2mul_lt_mono_nonneg:3 v Rx9 C86@@  ؐ@ ׷@?=@ թ" f$ aM**i+C I -  4  n,V    թX :Z < = ڠ ܠ6թ  ,b     ~: F ۩fݠJ  WN4=FRSr`@'mul_0_r$QĀ    Y_," T]$_-e-l -]4^gqrm u9,, >4 =  oyz|˩ ~ 󩚠@1add_nonneg_nonneg&) շIwGi4xbZ Z] % Xnng 0 2t+   Vxx//T[Y = ?8Z,PbM5dZ mk ~0@4;:1,* ))   s@'mul_0_l!(O4JI@;9/ c4 ,Q _ͩ k2O  ڐne   ̩ wk[CAv#5;1/-"ѠSU TZΐ4]`ԐCM  렩()+ .ǩŠ  ؠ4{  ߠ   |l5g[> $کؠ 4   %0@(mul_comm(6@4mul_le_mono_nonneg_rq9sl7i ؠ7,\% *)ME<1QI ,f  VMh  Kݩ  _W 8 ,t= BA #1*Y` = ] g .4K AP 10f"C\7 64@c@@ [: B@_ F+ GW@Xd K@1mul_lt_mono_pos_l AIKZ@@@^^ VT@ilb멷a,ٰ婷*(Ω.-C|鐑ѷvtgD4  K | . t m \U| {@,PER_morphism q$   ,    e(#*% b1^  x  q4  x  [ %%㩚@8per_partial_app_morphismp  ,0@'add_1_l?€  4    o ʐ ʠ 9$ $?а?,#    4  \%W2àؐ ؠ  G$- 28ް8  B 4     Ԡ鐩 Z$@ E'',D    U O)$$#!䠩 *h$N S''  c00/쩷  ٠ 4 F B  5 1) 㠩 !E$i n1 1NIIH%% '[@*mul_succ_r5^@  )214 d ` # S O0   4 --d$% '  9'  ' o33jjiFF!E0.t4 { w  : j f2G  By$:  N  JJJJ]]81;GE Xoa + \ieeF,;  &! L ( Y   ? H!oSh 9 jwdd$\ w pw ec G x~a,V 0 A8j P R 8||$t          /}éx,m G X2O0O$ O O -O /Ƞ qb4  i  L ` xة$f f Dfl @'add_0_l̩ߩUAA Gܐ IJL搩C/\%@.le_succ_diag_rH!>A?>K7*k۩ܰ% sN+ y &  >Z VHאHD@&neq_eq5 π)V B,Cr&s@,log2_succ_le2!c wBK@ĩ + es6ʩة^xP :'9pi[[Gs_cPK B@6trans_co_impl_morphismoO ~l 5@%proj2O@  Ӷ@8_0@)log2_null78㩷DDHL{ȩ̩`P͐NN Ӑjmaxp4kj \Щ@ ;ҠU@ݠ @RZ  ^aO]MOMD<F @TCF W8C50  "&4DI()Hz@ <@T W C5Sʩϩvϵ*z *I.ݩ;w#MzO+}RW5SoClgCniMZ4x0, \] F F| H@ Pd@SX#-i\  {m Էаhb lE©o=y_iCd 6cceMةL i @@v/ x5=59A=l{Ωאw wUXL' t5^B7ϩ]4XWG˩(#͠=@ @Ơo6>  ްsBE3xAx1Ӡ|ʩ31&&ՠn␩w2!uҐ$CC[4y D DZ#U Fo@ @ hp 2 qtwes}cfdbWM^a#P%SF(-)ECB=i+ @ͩ11 u3 b`]::;C "<p\à0 8,I84WO=;@  O^V@@E   YK 12, fU@R *,$VZ&\ # ,2(1{ r  `4*/b pө_z i"x)Ʃ/K:>ЩB<<>BFDdXgC@%proj1O+ $  zŠ|ɷn@kb^ѷNҩp"E@d׷Tةv`Kթ@4log2_eq_succ_is_pow2<8v :@OǐbXȐ#Hb'h=ϰ \,~{jթؠh4cbTRHqܩ3.ޠdˠ֩BϠ m 젩  6$1   ީ, ˩C$> =    ƩhfH⵷Z`_/ m K C^ڵ@(succ_inj&vF^$7YQ9à< Q,B ${$O+ // L1Nv4@ >C;C-SetoidTactics@0default_relation _ @3equivalence_defaultú8#Heqx n s,L!^  ~&Z )}[0m `p j@.log2_pred_pow2ǀ7-2@NntP9C@>26)3U6?e=;P$CȩW(![^ɠB@,log2_succ_orL<B<: / %~萩)=$'e*o $CPo ֠n+,@)@ -ʶ@@ Ԑ@ @@ ?@%%, %ũ cũÐ ˩2?:4%: a W?Ii  KL 'SDan0@LU ^w^c/CuXJd1 ZF)ii6 >RDhշ37fd  : 8T4cYPLTCxKW=?B[A [JGEGgbB,TJS rgƩpPdr "|5@G#LT' omQJ 8F4M~0ZSũϠǩ     sM|0ש٩> ;㐩''^)-1b16}>]#  ʩȠ!,.g.P3U $,5%5$7&7Y%@,mul_2_mono_l;O"#LE'{DE@ I@ C >@ J@ DLM M2q4$ ZW\:YU.0 4i̩6m KV@1mul_le_mono_pos_lĀW&:Y&Q$}.Ob113e$\$#V8i88S'N 3ӷMq`t7d_@{j~AtW([  MD,:L7~`1©Q _48נ\! nB} ZVg^,Tf}yH s@clje,[mX@! ,vtXp,fxcK*z, ]ܩ}#à@+add_le_mono=e6',/K@ˠ1ө E נI Ġ Mө吩tg~Q~bSLCN렩Q#Է@+-X蠩ː:k97é u,&א*c,^,2wk4fT٩ K착  P$ ,GI{!,頩͠)1),Q +'# 4$. y9- h2,\+4^6^ aaD4<==G}g6x?0S+@G  e=ICRMG$?KQ{x|װ~4Cz 1/f5 E8  ѩm jW}@+add_pos_pos >>s@@0 өѠ,7TRK !OO?OO? hbᠩ"g,HecȠ[[]/]]ML;@+add_lt_mono?svvu{x # < ֩Aŵ1E1K"5O穷~9VXY~[7^5{Cxsg1ɷŰgl穷橷Yx zV}YBC@>"Ʃ4uY&IQGL]I =^yQ(RSo#4 ,oVVTXQh\ \{ o  ੷s  >(+fdec%%~T(daC"ϩN\~|`YR4MLC><2d] > Qŷ@렶@àuv@Ƞz{@͠@-add_le_mono_r":>@@@  q0Ω4}|snlbMH i}f! ַש,& ̩_(Z Ωנېܠj3e ,8      ֩ߩݠ EŠ,K %ˠ %%2 ՠ;,[$5۠ݠC777F992 K,k4E렩DTUHHAHHA 2"7,|E"VTTVcVVO 2'% 4[J O6,1Mrcc.edw<z?ITCp_VɰyGE) ˩4{ jԩUKPlM ԩrթڰtBC$~@_ oDh- zP p # Y, ݷ޷B@ܠ@:@@@ @@ T?u(w;z9*, 72 PJRTA <PjRZѷ@ܠ!ߠc~  ˰   [ˠ ש*ѩȠܩ'@)log2_same7 46|m{Yk ]!mk㩷`᩷Vשd2_4b7ve:h=B>ZCW R٩D'4+Ha}  ~SV2Y^-ZvCsnC\CS/%~ M%O4THJηʰl뵷ZKy^  ߩb$-+]),/Lca^C$LݩlCCu3cz%uC6~cF34:kG ryM-c,Yk4m zGS33 q5ĩ[C>@c {,qL]i!''zT^c4jM-0 Z,a4-1r~  ^^+ @Ƞ9 +&,l?8&}    4kݠNƠzz,TM$T qԠ Ʃ4 dޠ,3leyc88٩נ [__,( |H@;qL,L ~L?/bb^Ҡ8tt,=, /@#۠:,a* TT@F{yyuDK4RNA=B5@ѩ,r;1GGGXY   *`, eT  *@Mb'/1!,)UK1kkrs//// 424~z =mi,aҩ1,'9e[//*3 BDB&Rũ>,3 } 5>)@v.ةV.H,>P|r..TTTǠ ֩Y\/46g*b$lO)I.Q+Ziil1Q[i,^8I # `:i+@~-e?_/}$$ "  ѩQQC А򚠐K@Ҧc@ҮX @tKРY@+CompareSpec!Q]@CAAAAAA@@@@@@@@Dٛh@*comparison;f@@-@ҭ߀%ɩ3@Үg,  @@@@@@@@@@@Dx!B谚C@H@[ـM=@!V@1dl[@,compare_spec DT7NCV@$\CÀ+= @/+%8iS >Q!@,}'@;.R(7C}3b<2Cj,NZLog2UpProp@'log2_up, '^9szb@rfSNL?n;tAM64V@98{ѩ\@ l]ChZeUk8\XǩO/r@ sCCFi{By I43L@ k@Rǀcʠ 7@ G , @  ݩ  @\2@ -94皠@,0Gʀ#@'pred_wd+^怰$H!60*:4,+@,.&@~#h ,5,+G)@%: @+log2_up_eqn6O\ƩΩdb4. HYSߩGL,LCB^@W<L -''u)P@)pred_succ%.ǀv+y 43/F*"*,a645._c6Qe8S 9A_ A;  CCl?ZE@@;-܀f  F ʠE"t4VRiMEA#x; T@0w  ࠩ6_ , jY  1er lm@rB R@5bˀECAo@@{8|i Ij8@nED@ <@}&G H@@  ^¶\ K Wk ` P, C G > -@ HЩ J         T . K n  r x  s  E4 / ک  @u=   ^@,log2_up_eqn0 yz 3͠&Р@O: *ڠ (ޠ!%S;:[[ /W O2 8 R  C @3g0@3h׵r:60!5C" ,I[H.!6{!]x}!"!"]OJII"bTIpeXS"gRYT"h <6!lV"+K$pW(@4a9W,P!F"@H$뿀X3!"F"99;"!CCT"v@^R-""j9j!f"d@67n`!m)@4 &0@A!yCԠE!m"!N D"!!Ѡ """!@!ݠ  ~" "  "Рf!""Ґ H  F!""@!&t  B"."q4DC A"[?9"& !"?-!!!!@" @r"m@wv"̶@q "<"!@ @#!/!0 #O!#"@ f)BE%!=!q;@!jdN!i>R!g5!cXXȠZ#"]]"#%}H`""C!A+!!Y!Z"!@"G@-#Z!@\!2"@`!!@ @@ ;"#" p" q#E0!䩷#J1!#,|QOI9"6*!!#S@!  #)Qx  r@.log2_up_nonneg2π!K!"@,log2_up_spec { s"fG!!٩!۩"j@"uV!w!v!xà!s!}# z ~!͠"\"]fO#!u(!Щ#S~r!~!}#(4#!ةw!ܩ!fj!#9 b"h!!ǩ#i#.!#!#c#=!]#1""Y @@#"@"ߠ@?Š "@ʠ @ @ /y[####ِ@@ #ܶ"v   @ @#C>""Fհ":# "8"4 "+Ӑ..##4N #7!C""+"_)' "T勺"R "N D"F  1!?   | q p h v f  m f "Đ  ! N " Q $1 퐩$T##,!o$ $7C"P6:#i"g,~x {C"k "b"\"HA 詷!N   éE "O$Z7! $$ j;C"yc""HȐ#Hc'XT׵"ͩX"ѩq\Ω"o  !3"کt " ~ #$~ k!=m $"M@6 t!$C" x""eN$!N$Q|p$$$'4$v"fj$!"#f2${$g$,!j!n$ !5"}$`$:"Z$.#$ !<#!##ܩ# ੷#Ġ!6!ڐ%!;$!Cѩ#3#$ #"Ҡ é# 3! $C" ᩷#C#4Ӱ%ީ)# #8 #6 #+*"!71!d!P!_!E!E!<$!JB<![!L %GAᐩ!d!c$"?C#%!4l#KͰ!ε#e#-#!#n#6  "$!"!%@Ԁ!%%4!7$u% C#P%%[i$c%@%:=DEې{% %$̠ #t:%%JMT%T@d%Z%@.log2_up_unique3%'%c`d@-pow_lt_mono_rÝ#%4$>#c##]%P%AXC~$K#l$]#թ$ap#geu"u$%C# %L%C,i$k$#Y]$%V%\%$e$cǷ$a$@n^b@n@a%$jζ$hm%||$˩$԰͚@$7:f%ok%m]%=4 %*JLO@*log2_up_wd%u,%#%%%%Ʃ%ɠ!$\a%!@,8&Y%ܠǩ!#$ o%% >z&%%렩Ԑ/֐Ґ!;$$ܐ%||!6.~%P%4fe3c%}a([&%^7 %L%ʩ% P f%%ojL#%%#& W%$O$MK%b$w!%f$uC$q'#f$h+$R#`!$!$%u$$Z%%#'u&&=C$V@%BO!$rEK+'װNӰN&LM+_& Q2d&&!$Uҩ&&WX@8o,%%_zې&"f~!$j$5q9 &q!o@/,Ȁ@,log2_up_pow2 z%N$o$ةsww&Q&C$&#z@x&^%g&Zg&*4&ө)&f©$hl&h&U&&d &64 &  &\4@5 %}9&p&@4&*@&}pp&r|E@`"1&z@& S&&&TϠ&)&©&4&Ʃנ&1$&&a$&ࠩ &.&,HF&9,(&LC %:'  #@_]ِ]^%]V3R%%&&%N;'R?&a-/s$&&$' @,succ_le_mono$^@W&q9e&&&,K C&~}E{&yө&vO"=&㩚#@t%|2CO{D'O]%{!RYuoq' ]' ys%'\j@&2@&X='~Cl'&@@I'_'%'r@!'U&'5@'Q#e'&ݠ+%*]'[^d'c2'$&4h'mk''m&&& qoop& 'qq&'%<'5'5'1&'K6%D('@%B'%&%,'~'&N@%'@ &y@&ˠũe$'bX,&G@ @''@^'&ca'V'&4'&%ae&'ݠש4&ߩ֩'V,ة& ''fΩ'], P '_,'B@)log2_up_11)''r'i,\'֐''}!@V"m&]Š'@"t&d̠'Π7&":''a4""'h!"'K"ũ&'' 'B&  '! ','"'f"&" ';''h! ',  ''-L', * #L% N' 'D''q!'&S'  '&@&թ:4&'&`'&Q &%cC=#>&S&! %l &ک PJ&&&`&. c(&&^X &&'(!&''C&=@1log2_log2_up_spec (&&e"@n 0U(1& `%p' 7'w'4 :'5ð%o(<#u(?(L@@(G$r((? Bq((@(D Gr N /(P'( U'#$  X 8'5(Z# ũ( b'#  e'@ '@(eͩ''5(( l W'4 o' O 0 \(r  3@O8u'({(: ~ i#$   k(#  p'   r(G  v#   x x( $@.log2_up_nonpos2k+( ŷ'e !(X(O,    N T('(  V V( ҩ"@    C@  C'y(n G( o(@(    ܠ' (({((| '   ' ᵷ'  ''(@  ('C&  b@+log2_up_pos6^9'  '( 'r '( )(@(ؠ* C(⠷(.(  ҩ(u4HG E(_C ((@   $$(.(( #(4TS Q(kO ܐ ؐ())'ة 'ڵ'b '' # &g '&g)(C' (ȩ n (, <  q 4(e >  ,@) (R 6(T'yb'ky'g    ' C&)#(C'<o(( O  Q ( U;ݩ W;ݩ&((&)5( # '( h( i(0@(V@  g@ i@ 7'@@)I( w( x )Le)  P 7Y&(4 y S( ')T(  V q  y&I {&' & 'ED ( ()d)(C'} )% i P(F),  o m O( (  o ( &)o 0 (Mb (O'u'ɩ s̩' '('&)~ !& ())ECz&(^'&hC'琑) (% (Y  $))p@)'"ߩ'  ǩ&(u'  A @ )t)` i )Y,   < )4    @)<8(   :J )(C'ƐW('@ )s))@)]d  ))~`(['(" ( L i k(2 (g)) C' )x(X@'?[ူ))Y Ԡ  נ Đ' ݠ ʐ   '))l' )렩 `) ),    L)I "  ) 'X 'Z(](O ((g (k $(k)(ߐ ( '(n*)C)Ʃ -)4 k j  8))* )c <  * ( 4((w <橷(j * ) ( <(*)C(5( 8(( O( P)@ @  !,  @ @ )( Y( Z (*/ ('* , %(T(,( _( 7P O (^(#(^*A* D + (3(e), w L J D() y L g((.*L  o(l? q(n( y(r u( R y( V(( Z (萩 & &)(G '$ &*,(ϐ ( *>*k  ('Ω*- q()4   n  ) Z N'4'3*wک)  y ܠ : (l (( ( (թ  - )'E 'E*)%C( *OC(:*L*4    (*$(*)    T (x (z( (~ ( E GD C( (*(C( *xC(n* ׷)D ط*mj$@ *u *w@ *  )) *Ʃ @D+]3N*us*@*  *  )*ɠ(Y).  (1p)$ t(5)"٩) Ԡ[(Щ) ؠX ɩ   )*㐩 _( *) i)P(**鐩 A) )S*(LC)&((,)S3*(T)W $)H "  1)F)B  C  @(g5尚Щ D >(f) F @*F)j@  ,)*@!@@+@ +; 7 W Q))* e*4 { z B  x* v = p+ ] W)*u N ! < c** L { # * R  ) +0  - l)Щ) d) b' # q)#) VLC ?) n) l j -)8) @)< 1) b) F)/ ({ Jϩ''31  A' A)t*2 ( D'*) ) G }+!*8 )B J +3+`;C)y c*=*/+p+D@ a(+h(D+) m X*4   j  * l Z+p* *  *N+s*) @1log2_up_lt_cancel?(۩+: ~%*Z+ 4   { *( )I   M(+$$x &+K+ *$ +MJ%@Щ +U@  +gɷ*a++v@թ ^*u+)*v Űb*y*٩)*) F*  * +e  +^,   A ѩ+9    E+#A)+   ) +< *O*Q * ݠ *U*  *$)7 a ) +* *+ )+*`C)ݐ*)& )) *e+*C))Z+Q+,    2 o)0OMK f@/log2_up_le_monoӇ)8 +*G   5+? *>+ @ )*ӷ@* *@T, @ 2@:h &O+*Q *B  *ε*@.*< *1  }+ **+C7 ," 0+ N*ѩ Ű +, ݩ+ o+, 8   m  kl+a :  (n+K ]z,*pvo,r *s,2 @* A@+ @+/@ O @ K @/log2_up_le_pow2$V$搷@@@ P+,E S* T@,)+ +h+ĩ+4   S - + )ݩ) ] 0 ),0 J J G+* E 1,3 L N /@Z3Nj r R* j* h - _ w*X+ \ CJ D*  ,E 0  6 2* p  6* t* : ^ *I >*I,T* @$)8{*  E Ȱ *),]C*v, ,$&,C@%  ,+,*' i@p ,3 @.log2_up_lt_lin2w:+,73,5%,4    y + + f+ f,},<, 4     +  k, k k 2 n  鐑, +! ,JƷ*$ ,m@,  })   + @&dH#ʩ @':6 Bg,b,' *t,  ,Z+,s!,@% ڠ K ! J Z*K,+,( $ C R @,*+0+ +-   *+! * + + Ѡ) + ՠ)Z *   )E ܠ(( ),吩 ( (++ )n )i,)+R )l ,+ɐ )  ),, C+ # + #+W !  ++K + 橷+I +E += :+< )&*4 ) ),I+r ) .,+鐩 +L  I,- C+* ,ҩ W QX  ,,J  B,tM  ; ` Z    -& "@;g e  ,,k -@- +( + , c+ a _"++5j )+z)*-?C+X B,e\-C+a, t+ r 73++q+7+ h+L) +P)w*T/)W.-*K*,<+C):N),+Y)Q-+,B )T -=-j EC+! m,: +  [++ĩny b+Zb,S-xC+ {,G-|+r,K +  pl+d++ ++*ѩ5А1*{*,+ lC + -Q-!4    -  +ة-U-Q,  @'20p+, +i m, - '5-[,   @' .hr --  / >=,--qh-D4    -. !G!--  @h&I,+-;-R4 % $  "-< U-"* I-},  -" KY-ˠ=, ,2  6 ҩ @Q)\  f, ,;   U,/,-ޠ+, ,8٩* H%թ,<)ɩ,: ,1 3+)*7*e  *o*o,,\*'?,n,$_ *B. +b )--K+me*)--N* *,|+* t*,,  y,X-+}, ,[ ,,+,BE,D-e-C,@L *[---4  S- - xÐyw{,,,| ֩   ,.:-=)-4  f@ - ϩ-.C-rE`t@#B=). é-4  tN - 9.O <.R  E?-# ,  D 鵷,W H-,,] ,F, &{+,j ,n u,r+ +v$쐩 + u++-+*-,x .,퐩 + --d5+ v+Hy,nw8,y +{,+--  ~,v.g-orC,: .Ʒ-3Ƿ.\ Y,* Z.|@.  Ǡé;+{.h.- ,z.. ` ֩.u.E4Q./M --.- .|.A., -,.q.K,k .ʠ^.. .@25 k@+0,i &#ѩ.⠩ɐ v t.r4ED B.\@&Jϐ m zC m, o. ~ ~FՐ[.G  .ɩ.Ԑ  .4^]%[.uYc.,1('f[.Z3! #,5% /ɰ / .ʩr.v2.4ut<r.p|2 /,,*@jX .$  -.4P*.  © /3DDBb@=uL..ce').mZo-..,/M@/.ӠN..R*/Y.(  /]/ȩ.,- Q- |--dU--hY+ ..N`+.Q-c-.- TC z 㩷/9}Q  /4~.ݩĠ頩`  ̠ /Πȩ%u.n  (.d m V//Y /T, S| B B/g "...v  h/ ./k 0/d, c +/s 5/y/y7#@40(   0  0  0x%/0r,"  0 S!  !/0Ƞ@*$&0 0Ѡ5 40`43200J."00+@?f ? 1/|0 .s "0ŷ@I蠩~SO0,E0 @.add_nonneg_pos5K07(0̩,,(+>8ؐ(D>*:ǰ8 K=0ͩ}٩04utBr0pWQ~.} ]W.)0,RI%HdF]B : 0,VM)L.0X+F. 1.Z-3 1-/+0^1L12050&0(048i0!~x(.J0,ulHkie)])1J/1 O(04N01 ,|X{yu1X++)7!1]&Ƞ P04`0Πdn1j==;D0HY111,0l]a_a0Ѱc}te/A1$0/1}' 1>q15,}m4"111C(( 141&&1aa_@ i* @30a,÷0`ķ0^ŷ@ G0@0@ *p@ *r*@&0/ @1mul_lt_mono_pos_r Ԁ -@@@ 1,800@ i1U0Y/00#00᩷0Š/0ɠ0  t  11w011א//10vC۩0 0>0F020/0+0 0"P/O.T.r0//TL.u00O05.1/R/10ؐU0812C0!0*#!ש1©o2IC:1,: o2 u/oC1e>,QKvL|JVP 2S1YJ1k1ک4J014H"~1|2$1zS&AR(@4mul_le_mono_nonneg_l<:v1 &Xpi1ol0  23''11148 1͐-ϐ^r 3/bvv1qD_x11! z1,ulHk1#  |2I2Loxx-$~Q  2S- 2 ~-[   ש2,^19 H2^ 2b =1-f   1A2f12' -$l 1G2l1G1G-1I %z 22523 24-|-x2 ,;-k1-gy2B 2J $  ΰ2>,2P %21%ũy12=2,F #2V2 2+4--22,c-2-    "&2@ [ 2i 2<4--2C,t-2&-H2{ $ $ 7 72o,$22**2,1V+22 $ 7 7+22288@,V# A22_4--2f,-2I-#ՠk@2/I!$  *+ $+2,IC24q72QQ'%堩{P2W!#$ 8+ 2+PB22]]322]2Za %2ͩ24.-2,-2q-(cj &2p!<$2 Q/ K/3ttJ##2]22,% @ 7ŀ :2Ωv} ?224..2,. 2. F22!Z$P# o%  i% }% 3'225jCC  R2,24.3./2,."2.0Ɛ 2!o$e8  ~(3>33L33LZZ712Cl3 32,2.M2.<2 222,iN䐩 3!$V p p3X@,5N 穷3aŠ383,3.i2.X2 8hΠР!3434ݩ!$r #  # # 3v3:3:37{f30,3%.2.o3 O3O!$ O ưOOp33J3J3J3JɠA2;3G3`34..3!-R.3.~`& !$ e ܰee3^33^3^k 2O2i4 37@0log2_up_mul_pow293|3@ 313ݷ2J޷3sp1Aq2 B2 ᩷3xR3t,$" 3 Y.3Ǡ]@.log2_up_double1AU&ة3 3^410.3H, 33ԩ@*xN3 3驚@ 2**i3ܠl3ޠL93Ʒ@33m]323ܐؐ 34[Z"X3rV吩ᐩ4EE3Z3!G2qj4 ,3J5.3L2ܩ  Z2tnlk62634C2/3שNө3,K C 3tM ;!a  4$3\3)0334Q+3- R/ T/3p423a4O333` b K$3g#i i+2 3314G :434rL3 q-ذ3773Sn9v44V  3$n48@4T]Ra4^-a4©34c3L3C3H23o73J4oU4u44˩44x32A}E4}34?46, f3٩r4 ۩4H#444%4᠚$@)log2_up_21)(4T4$444۩33r4\4.44?4Π۠4e4*Р4ԠJЩ 4E 44r 4k, j H4333"2#㵷3o33ِ!333334$3k44C2{ҩ044 nS+4ՠ٠04@4ܠ {d}4䠩!43 !3V)  Z3L3 `3ͩ23V3  ͩ5 @0& ש0N ک 54됩J44C34" M4 43:!8738$35' +4Nk-3Rl33L6$4:А#3۩33YCِ,35H33D! 75%5R55(C3n$@/log2_up_succ_le*"44:54.cJ5s '5b(5J@5f04 r4N 5s563ةrc̩+:0'42 3}ש5G2۩0S@18$2z5T5O !$~#55 @  @ >)1@,log2_up_null zW0ک4ҷ3Щΰ4ǵ3441Щ5sؠ3ѩ,434 3d2B,2C55h2&55Ȑ 54#355E34m5Ԡj3©5e487(q5Omo35$$53 &!H@  @ ԩN4M534Q4B24@244@25471!3/^\&2&5D61)24䐩2D4G6 C4%4b1~d5ҩ54wvg5D6ee5oH6g!@ 9@FBO47#6%4CF4V4zT4fK4xSO4j4J4x⩷4m4Y2Y5w692&\4w52)w4!6?C4XB46C4ZD6F4154I536I!@so@v=rS>A4iU6W4x44K4R}44V5/|4 4 f 3'56k4X4c5I4S[46qLC4t5N`ɩb˩67 !| fLϩ Bh6~!@  %@  5`445%4 4>6R4䩷5a44ީө4 3  B3^3^56fE46i66l546~6o"44"`ѩb6rs6D4P6.Ln6  6 "$@ @|&~5%é6Ű4橷5)54뵷545꩷5 5  Ԑy3\66ِ|3Z45346C45}6C4 䩷6ѩ6t4GF76^|66?"T@ @BT5S64T5W$5H"5`5F!R55E5:&5A&6D74)5p5䐩5)D57 C5%6L7;з6/#6^64tsAq6o6i76lE3Z6ة6Zr#6{v@4664B7% a7'"I-1\XZ6.642420602#62+rl #!1xr 'h 6,md@cax] U/7B--6qD_/@k41H5 C666067 O(642X2T612G62CO@A B7 ,~Z}{w 7ZEE976ࠩ[Y[6?642j2f61)2Y62UR47h$$5 5')6  h55+6@u5ݩ5é5{7|F5iQ5v5v7T757H7WC5 ʠĩd*(*Р./.7"6s6ut 󐑷7˷7`1@@:@7log2_up_eq_succ_is_pow26^6x2"@R76J޷5@7 ݩ7o7@ 87 py<65ِ 7=6.6c7 ]#;[5 7ˠW666勺7Р ө6:Ԡ6w ĩ6.6G7686 7!7㐩\5 6M6C57&C6*! 767|4ON?L7fJ:6_,7ސB7©73)/N 687E676k535l6_ 5p7 ꩷6_6} 6]16R45H24 6\ 65y6D66|6D_7e8'Jb77h6 88-6M 6%5C6I$375ː=3$h;J8;թ3rjנ@1log2_up_succ_pow2?-7ysFaJ8hv8 8 M㐩  s95/ 3$Z ~D@:8c 3^ 8+oé8$,trT8rs@) [ 87E7C7A27p@7@| + 7?@ 7 7A@ / 7?@2yߍ1Y@@@8k7bƶ7`Ƕ38  8c7mϷ7ͩ76"6©667ϩ5T6677W78{7Z7V88C6Ӑ8{pp4$Tf:ZmVmu8nnm_8֠4$kMmiP8~#8砩(4/${ѐ|8y@%C78K4 &E \Mc S5O8ee8S,g48L4+1P  g,n ^Z.&pp J8ȩ  p5I tfM4<Ba* zl9  8ک  ]4LR%q:   9-  82m4\b5JJİDư99b78pj=X#<9ao7p97]G߷69Ul9D<9FOp9/@9K9MVT|퐩 6* 9[1n99,caC 08f ɩ  S9i--6̩68<7VU889H9uC94x9-,}{]?9{ %8Z9> 8_98,h#8%6  7OS698i@?ۃ6}8n8n9R97e89à8;9I9`9W,:8A89888tU9@9OWӠN 91ڰR 8 V9z7Ґ98)/8+97$C7ݐ1q9ԩk9àn"9@9Ƞ9ʠɩj :. 9ؠ#9 9, At D֩98 © G9,   I >`9=bi9頩!8S8U8G8SJ7799C9 2y9,(] t9 i~,(79 f79,3h+%9\5#'8% k 78 8(:  y8888v9D>6k89Щ98~j ɩ7㰩8nA: ϩ9j9,O$"{8tBu:"<8S:@:(zNK :*#aUO 8+ S7{x(W8TW8VY: 8C8R #q-w kcc_  m_ #@@*add_le_mul?AZ8d8<9:G@1log2_up_mul_abovew8k8C9~8|z=88P  z7D8:ZC8s]9*8K8C8 ) 8Q9:gC (h:9:-*7+:,é:#,sqk Ω9s Щ ۠  7J  :|9~ :>˩:5,}     ɩ:G #  :H, % %%:B :[ :X, 5  777 :992V :o:h, ED  :HHAHHA x2:à'"7:y,)' $V*TT !V:VVO 9:B:q:_421/:I-9y8{9:__:,arL:::@::99:"::C8 IZ0:)t:R*:.:}4POM:gK9o8!q9::J# :7k9:8:8#9׵9_z#wCt$%b:@:mm:˩:6 8ݰ9;;:99;#/v:99V9W5X:@:E@V44@[4 4 @`4 4 >@4 $}4@@@m8;:v:w5x;L));:G; 8;,TRL:To224 69 \$8;\88:^y:;_9:*:(5:W@:}@ߩc8@e5@g2m@3ߍ47@ @@;I:@:>5;zW ;[@;wz ]};C;  9U ;  ;;;U1c;1d:a9[_;[:f/@,log2_up_same {&9@!. 99: ׷9թ9絷9c:|ɩ9a9_8]\Z8a8a:8=]78@:8yYVCS: :9::ߩ: :@n8Q8Q; 8C';Ωɠ8 919Nj:-;٠S1AЩ@09=:9©:C:4Ӱ8c:2 8gө:0:%7'988Yz8L8f8f:888;<88!;:ܐ7<;<C::i6:Z48ǵ:X38:V*:K9A88;W87<;:8 W;<C:8"<aa] Z7<99ywws p `<͠B<[477