"`{_ &NZSqrt&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}@RLOZ ,1َ5}Р&NZSqrt&NatInt'Numbers#Coq@ A$Sqrt@@!A@!t @J %'A*Equalities*Structures#Coq@@@@@ %'@ @A@A@@@AA@@A@@*Equalities*Structures#Coq@#Typ@@@@?@.@*?J@@A@A@$sqrt @d@@@SRQP@@!t? @@@@@AA@@A@@@@@@@@S@d@@A@A@,SqrtNotationa@AYl@X<3@@u@@\u2@A@A@B!Bx@6 @5@@.u@2u@1@@/@ @@@@w@@Mw1@A@A@@@@@@@@%Sqrt'@C@of@@6w@@6we@A@A@d @c@@\6w@`6w@_@@]@@@@@@ 6@!@v 6Z@A@A@*NZSqrtSpec@D@!t @J %'A*Equalities*Structures#Coq@@@@@ %'@ @A@A@@@AA@@A@"eq @^@)@%7E@.@*7EA@@@@@(eq_equiv @@/RelationClasses'Classes1@+Equivalence~@J@F7EN@/7Mt@@@FA݋X_A/RelationClasses'Classes#Coq@@A@@A$zero @Tf@!t7E@@@@@AA@@A@$succ @r@y@7E}@7E@@@@@$pred @d@@&7E@*7E@@@@@)'succ_wd @@)Morphisms'Classes#Coq@@&ProperL@@F7E@J7E@*respectful%WO?@U7E@Y7E@"eq7Mt@7Mt@]Cn@@@AviA4'Classes#Coq@@A@@n'pred_wd @@E@@7E@7E9@7E@7E@47Mt@87Mt@}C@@@A3@A@@)pred_succ @@!n@7E@S7Mt@C"@CnA@@@@@,bi_induction @@!A@5@7EA@@?@7E E@7EI@7Mt%Logic$Init@#iffС)0@B[@D@Ra@7EDCl@CnJbq@ 7EEQ@@@kA@A@@#one @T@7E@@@@@#two @T@+7E@@@@@*(one_succ @@@7Mt@*7Ꚁ@:Cn@QD@@@@@G(two_succ @@@7Mt@97\@WCn@Q7Ꚁ@@@@@d"lt @h@@!t7E@@7EA@@@@@AA@@A@"le @h@@7E@@7E@@@@@%lt_wd @@i@ @7E@@7E٩^@7E@@7E䚠@Z7Mtm#@7E'@d7Mtޚ+@"lt7M@@@$A`@A@@Ǡ+lt_eq_cases @@-<@7E!mC@7EJ@`7M퀠(@"or @X@-7M]@7Mt@@@@@)lt_irrefl @@\k@7E#@#notШw@L7MUU@@@@@)lt_succ_r @@w@ 7EJ@%7EC@g7M>@)Cnv@7MS@@@@@6#add @d@@F7E@@K7E@O7E@@@@@N#sub @d@@^7E@@c7E@g7E@<@@e#mul @d@@u7E@@z7E@~7E@S@@|&add_wd @@S@@7E@@7E@7EL@7E@@7E @7E@L7Mt_@7E@7E@Z7Mt!@^7Mt%@7@@@AY@A@@&sub_wd @@@7@7E@<@7E@@7EF@7E@K@7EO@7ES@7MtY@7E]@7Ea@7Mte@7Mti@7@@@aA@A@@&mul_wd @@۰@{@7E@@7E@7E@$7E@@)7E@-7E@7Mt@77E@;7E@7Mt@7Mt@7T@@@A@A@@H'add_0_l @@@W7E@7Mt@&7@pD@@@@@f*add_succ_l @@̚@u7E@z7E@"7Mt@I7@Cnϩ@Cn@[7@@@@@'sub_0_r @@ @7E@M7Mt@\7@D@@@@@*sub_succ_r @@)@7E횠.@7E3@p7Mt9@7婚?@CnD@CJ@7@@@@@㠠'mul_0_l @@IX@7E]@7Mtc@7Th@ DEl@D@@@@@*mul_succ_l @@kz@7E>@7E@7Mt@7T@!Cnm@7@7TQx@@@@@4#max @d@@!t7E@@7E@ 7E@@@@@AA@@A@%max_l @@!x@7E!y@$7E@@"le7M퀠AB@"eq7Mt@D7䀠C@@@@@2%max_r @@/@J7E-@O7E@@+7M퀠)*@(7Mt @k7'4@@@@@W#min @d@@p7E@@u7E#@y7E@@@@@o%min_l @@l1@7Ej6@7E@<@h7M=A@d7MtG@77rcb@@@@@%min_r @@U@7EZ@7E@`@7Me@7Mtk@[7r@@@@@@(NZAxioms&NatInt'Numbers#Coq@/NZOrdAxiomsSig'@@7E@@7EJ@@A@A7Mt@@g7Mt^@@A@7M@@7Mh@@A@AB7M@@7Mh@@A@7@@7d@@A@A7@@7d@@A@7r@@7rd@@A@ABC7T@@7Td@@A@7@@'7ꚠT@@A@A7@@7d@@A@7\@@!7\T@@A@AC@@*Cd@@A@Cn@@ACnr@@A@D@@WDT@@A@ABCDE@E}@; @:@@37E@77E@6@@4@ @@@@@@@R@6@A@A@)sqrt_spec @@!aDV@R7E@@"le7M퀠@DA%Logic$Initk@#andЖw@#@37TE[@@B 2@"lt7M;@Cn@@@@@(sqrt_neg @@LJ@;?N@"eq7Mt,F@@@@@@@@@e@@F@=# @"@ @E3d@@J3d @@@5 @@U3d @>3lv@@@D @)@3d@@@ @@3@ 3d7@3d@@@  @@A@3dE@3d@@@ @@Q@(3dU@,3d[@23d_@63dc@3lvg@3lvk@9@p@@@?ѐ @Щ@w@N3d{@R3d@X3d@\3d@3lv@3lv@L?@@@eː @ʶɚ@r3d@3lv@a?@z@pƐ@@@Ð @¶@@3d@\@@3dǩL@3d͚@C3lv@@@@@3dˠ@@p@3d@@@ @@3d@@@ @@3d@@@ʠ @@z3lv@4  @@p@@@@@㠠 @@3lv@4^#@@p(@4 @@@ @@2@3d@7@3d@@@ @@A@3d@F@3d@@@ @ﰶ@R@)3d@W@.3d_]@43d@b@93djf@3lvl@C3dtp@3lvdt@3l@@@H @~@U3d@Z3dx@3l}|@3l@3lv@v@@jt @sΚ@w3dr@3lm@l@@{j @iߚ@3d@3d@3l@@pީ@3l@h@@f @e@@3d@@3d@3d@c@@a @`@@3d@@3d@3d@^@@ ] @\@@3d@@3d@3d@Z@@ՠY @X@ @3d@@3d@3d@3d@!@3d%@3d)@3lv/@3d3@ 3d7@3lv;@3lv?@3@W@@S @R谶@K@"3d@P@'3dT@+3dZ@13d@_@63dc@:3dg@3lvm@D3dq@H3du@3lvy@3lv}@4€@Q@@QM @L&@@`3d@@e3d@i3d@o3d@@t3d@x3d@3lv2@3d@3d@-3lv@13lv@'4V@K@@G @F󚠐@3d@D3lv@k3@@@E@@C @B @3d@3d@c3lv@3@@pA@@p@3@@@@Ԡ> @=8 @3d@3lv@4€0@@4@<@@: @9R$@3d%)@ 3d.@3lv4@4€:@ @pU?@?E@4€8@8@@ 6 @5}O@ &3dT@3lvZ@4V_@ ?@yc@ C@@4@@ 72 @1m@ D3dnr@ I3dw@3lv}@4V@ Q@p@#3@4V@0@@ b. @-@@+3d@@03d@43d@*@@(% @$#@>3d!@C3d@@3l@3lv@^4@@@H @C@^3dA@c3d@@?3l@;3lv@~4:G@@@h @@@~3d@@3d@3d@@@{  @ v@3dt@3d@ @r3lG@n3lv@A4tml@ @@ @@3d#@3d@)@3l.@3lv4@a4t@@@@.NZOrdAxiomsSig @@3d@A@ z3d@A@A3lv@C@ a3lv@A@3l@F@3l@A@AB3l@H@3l@A@3@L@3@A@A4@N@4@A@4t@Q@~4t@A@ABC4V@S@4V@A@4 @W@ 4 @A@A4@Y@4@A@4^@]@ 4^@A@A?@_@ ?@A@@p@b@ 0@p@A@@@e@ E@@A@ABCDE@ $ @ #@r@ 3d@ 3d@ @@ ސ @ݶܚ@ *3d@@3l@ i@ש֠!@3l'@4V@ X례ͩ@ ]례ѩ7@3lש=@4VC@ @p@ t례驚N@ @p@ 례@@@ l @+^@ y3d@d@3l"i@ @n@3lv@ 례x@ @@@@ @@@@@@@@  @A@A@'NZSqrt' @G  @ 3  @ @ @ ;t{@@ @t{ @ @@ +  @  @ Kt{ @ 4{@ @@ :  @ )@ t{@ @@   @ @3@ t{7@ t{@ @@   @ @A@ t{E@ t{@ @@   @  䰶@Q@ t{U@ "t{ [@ (t{_@ ,t{c@ {g@ {k@ /)@ @@ 5 ǐ @ Ʃ @w@ Dt{{@ Ht{ @ Nt{@ Rt{@ {@ {@ B|@ @@ [  @  @ ht{@ {@ W|@ p)  @ @@ v  @  @@ t{ @ R@@ t{  B@ t{ Ú@ 9{  ٶ@ @ @ @ t{   @ )  @ t{ @ @@   @ @ t{@ @@   @ @ t{@ @@   @ @ p{@  @ )񀐚@ @ @@ ٠  @ @ {@  ߀#@ )񀐚(@ @ @@   @ @2@ t{@7@ t{ @ @@   @ @A@ t{@F@ t{ @ @@  ~ @ } 尶@R@ t{@W@ $t{ U ]@ *t{@b@ /t{ `f@ { l@ 9t{ jp@ { Zt@ ||@ {@@ > w @ v ~@ Kt{ u@ Pt{ n@ |p s r@ | z@ { @ l@@ ` j @ i Ě@ mt{ h@ | c@ b@@ q ` @ _ ՚@ ~t{ @ t{ @ | @ ) ԩ@ |p @ ^@@  \ @ [@@ t{@@ t{@ t{@ Y@@  W @ V@@ t{@@ t{@ t{@ T@@  S @ R@@ t{@@ t{@ t{@ P@@ ˠ O @ N @ @ t{@@ t{@ t{ @ t{@!@ t{%@ t{)@ { /@ t{3@ t{7@ {;@ {?@ @ M@@  I @ H ް@K@ t{@P@ t{T@ !t{ Z@ 't{@_@ ,t{c@ 0t{g@ { m@ :t{q@ >t{u@ {y@ {}@ C@ G@@ G C @ B @@ Vt{@@ [t{@ _t{ @ et{@@ jt{@ nt{@ { (@ xt{@ |t{@ #{@ '{@ ׀@ A@@  = @ < 隠@ t{@ :{@ a@   @ ;@@  9 @ 8 @ t{ ֚@ t{@ Y{@ @ ) 7 @ )񀐩@  @ 6@@ ʠ 4 @ 3 . @ t{@ {@ C &@  *@ 2@@ 䠠 0 @ / H$@ t{ )@ t{.@ {4@ C :@ ) K?@ |E@ C .@ .@@ , @ + sO@t{T@ {Z@ ׀_@5 oc@9@ *@@- ( @ ' m@:t{ dr@?t{w@ {}@ ׀@G)  @ @ ׀ w @ &@@X $ @ #@@ !t{@@ &t{@ *t{@ @@   @  @ 4t{ @ 9t{@@ |p @ {@ Tg  @ @@ >  @  9@ Tt{ 7@ Yt{@@ 5|p @ 1{@ tg 0 =@ @@ ^  @ @@ tt{@@ yt{@ }t{@ @@ q  @  l@ t{ j@ t{@ @ h|p =@ d{@ 7 c b@ @@   @  @ t{ #@ t{@)@ |p .@ {4@ W  @ @@ @@@t{@?@nt{ @A@A{@A@U{ @A@|p@D@ |p @A@AB|@F@ | @A@@J@  @A@Ag@L@ g @A@@O@ r @A@ABC@Q@  @A@@U@ @A@AC@W@ C @A@ @[@  @A@A|@]@| @A@)@`@$) @A@@c@9 @A@ABCDE@ @@p@t{@t{@@@ Ґ @ Ѷ К@t{@@ |p@] ˩ ʠ!@ |p'@ ׀@L4 ʀ @Q4 ʀ  ũ7@ | ˩=@ ׀C@t)񀐩@h4 ʀ ݩN@)񀐩@s4 ʀ @ @@` Ր @ Զ ^@mt{@d@ | i@n@ {@4 ʀ x@@ @@@@@@@@4 @@4 @A@A@*NZSqrtProp@H@'  @ @ @//@@4/ @@@ @@?/ @(/x@@@. @욠)@/@@@砠 @@3@/7@/@@@ߐ @޶@A@/E@/@@@ڐ @٩ذ@Q@/U@/[@/_@ /c@/xg@/xk@#<9r@@@) @@w@8/{@</@B/@F/@/x@/x@6;@@@O @@\/@/x@K;@d<9r@@@j @@@x/@F@@/6@/@-/xͶ@@<ߘ@@/@<9r@/@@@ @@/@@@ @@/@@@ @@d/xH@0(@<9r @<ߘ@@@Ϡ @@/x@00`!@~@@ࠠ| @{@,@y/@1@~/x@v@@tq @p@;@/@@@/@n@@l @kӰ@L@ /@Q@/CW@/@\@/N`@/xf@'/Xj@/xHn@j/@i@@,e @dx@9/c}@>/\@/a`@/h@/xm@Z@@NX @W@[/V@/Q@P@@_N @MÚ@l/@q/@/@u<9r©@/@L@@J @I@@/@@/@/@G@@E @D@@/@@/@/@B@@A @@@@/@@/@/@>@@= @<@@/@ @/@/@/@@/@/#@/x)@/-@/1@/x5@/x9@0!@;@@7 @6̰@E@/@J@ /N@/T@/@Y@/]@/a@/xg@(/k@,/o@/xs@/xw@0.Ā@5@@51 @0 @@D/@@I/@M/@S/@@X/@\/@/x@f/@j/@/x@/x@ 0&X@/@@s+ @*ך@/@(/x@O0!@<ߘӐ@)@@' @&񚠐@/Ě@/@G/x@n0!@<9r%󩚠@<9r@0!א@$@@" @!@/ @m/x@|0.Ā@<ߘ@ @@Ҡ @6@/ #@/(@/x.@0.Ā4@<9r99@;?@0.Ā@@@ @aI@ /N@/xT@0&XY@#<ߘ]]@'<ߘ@@@ @g@(/Rl@-/q@/xw@0&X}@5<9r@0!@0&Xe@@@F @@@/@@/@/@@@   @@"/@'/@@/@/x@B0$@@@, @'@B/%@G/@@#/@/x@b0$+@@@L @@@b/@@g/@k/@@@_ @Z@u/X@z/@@V/+@R/x@%0%vQP@@@ @z@/x@/@#@v/u(@r/x.@E0%vq~@@@@@@/@9@\/@A@A/x@;@C/x@A@/@>@{/@A@AB/@@@/@A@0!@D@0!@A@A0$@F@0$@A@0%v@I@`0%v@A@ABC0&X@K@0&X@A@0(@O@0(@A@A0.@Q@0.@A@00`@U@00`@A@A;@W@;@A@<9r@Z@<9r@A@<ߘ@]@'<ߘ@A@ABCDE@IL@  @ @n@/@/@@@Đ @öš@/@@/񀠚@O<ߘ!@/񀠩'@0&X8@>8S=@C8S7@/=@0&XC@f<9rT@Z8SϩN@q<9r_@e8Sڐ@@@Rǐ @ƶ^@_/@d@/i@<ߘn@/x@8Sx@<ߘ@@@v@ ~@@@@8S@@8Sx@A@A@J!C@'eq_refl @/RelationClasses'Classes#Coq@@5Equivalence_Reflexive@1@#two>T@@A@AI@5@$predId@@A@G@:@$succGr@@A@@?@$zeroT@@A@ABCDE@A@@MrE@\@@@c@!tРJ@@A@A L@@"eq L^@@A@r@ @#onerT@@A@AB4@@#two4T@@A@b@@$predbѠd@@A@F@@$succFr@@A@]l@@$zero]lT@@A@ABCD@A@@L.+*@A@4*BackportEq@@@A@@@@ %'AA݋X_A@A@@AA@@A@&eq_sym @@5Equivalence_Symmetric. U@’H@™Ā@*3uhW@ @)SymmetricFgqJ@/N@/xTL1\D|`\@@@SAQ@A@@O(eq_trans @@6Equivalence_TransitiveW@’H@™Ā@*3Ϡ@W@*Transitive++-@/@/xPLTCL1\DD٠Ƞ?.٠@@@A@A@@*eq_sym_iff @ܠSB@>@!x@/!y@/%Logic$Init#Coq@@#iffС)@5/xBA@=/xAB@@@ %'A*Equalities*Structures#Coq@A݋X_A/RelationClasses'Classes#Coq@@A@@AA@@A@'neq_sym @YK>-@A!n@5/!m%@</@%Logic$Init#Coq@@#notШ9@/xBAE@/xBC@@@VAN@A@@F(eq_stepl @p@B`@w/f@}/!zm@/@s@/xCB@|@/xD8@/x=@@@Aۓό^)Morphisms'Classes#Coq@@A@AB@@(succ_inj @ԠǠ-@C"n1@!t/"n2@/@@/x@<9rB@<9rA@/x@@@AviAG@AAۀߠKJ@AN@A@ABC@@Ҡ+succ_inj_wd @( sb@^DF@E/D@K/@I/x@<9rB@<9rA@]/xBA@@@ AG@"A8ӠA4Relation_Definitions)Relations#Coq@@AB@@/succ_inj_wd_neg @pbUD@E4@/:@/fG@/xM@M<9rBT@T<9rA0_@/xBA@@@@@^1central_induction @@F!A@z@/A$A_wd)Morphisms'Classes@@&ProperL@@/@*respectful%WO?@/"@"eq/x%Logic$Init!@#iffС)AF@/@m @@/E @<9r@/F@@@@@ʠ'add_0_r @ @@A&NZBase%NZMul&NatInt'Numbers#Coq@jh@A@%NZMul&NatInt'Numbers#Coq@)NZMulPropyw@A@@@@"NZ]n@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@!nb@!t/h@"eq/xo@#add0!Av@$zero<ߘA@@@ %'A*Equalities*Structures#Coq@AviA)Morphisms'Classes#Coq@@Aۓό^ @A݋X_A/RelationClasses'Classes#Coq@@ABC@@AA@@A@*add_succ_r @ߠҠ͠@AT@S/!m@Z/@Y/x@X0!B@$succ<9rA@<9r@m0!BA@@@gA_@iAW@kAU@ABC@@M-add_succ_comm @7)  @B@/J@/ @/x@0!@H<9rBA@0!B%@W<9rA@@@A@A@A@ABC@@(add_comm @qdS_RD?. @+C暠G@/M@/R@/xX@0!BA`@0!AB@@@A@A@A@ABC@@Ѡ'add_1_l @{j\@gD"@!/@ /x@0!@#one0(A@<9rA@@@$A@&A@(A@ABC@@ 'add_1_r @٠ȠԠǠ@E[@Z/@Y/x@X0!A@:0(@<9rA@@@\AT@^AL@`AJ@ABC@@B)add_assoc @, ۠@F@/?@/!p@/@/x @0!C@0!BA@0!!@0!CBA@@@A@A@A@ABC@@,add_cancel_l @}obQ]PB=,@)G䚠E@/K@/QQ@/%Logic$Init#Coq@@#iffС)d@/xj@0!ACr@0!ABz@/xCB@@@A@A@ A@ABC@@렠,add_cancel_r @ՠǠv@H<@;/蚠@A/@G/X@J/x@I0!CA@Q0!BA@`/xCB@@@SAK@UAC@WAA@ABC@@9,add_shuffle0 @#Ҡ@I@/6@/@/@/x@0!@0!CBA@0!@0!CAB@@@A@A@A@ABC@@,add_shuffle1 @seXGSF83"@Jښ;@/A@/GG@/!qN@/S@/xY@0!_@0!DCg@0!BAo@0!u@0!DB}@0!CA@@@A@ A@ A@ABC@@,add_shuffle2 @ؠʠy@K?@>/뚠@D/@J/e@P/@O/x@N0!@T0!DC@\0!BA@d0!@j0!DA@r0!CB@@@lAd@nA\@pAZ@ABC@@R,add_shuffle3 @<.!@L @/O @/ @/ @/x @0!C "@0!BA *@0!B 1@0!CA@@@A@A@A@ABC@@'sub_1_r @~q`l_QL;-@8M󚠐 T@/ Y@/x _@#sub0.ĀA f@0( k@$pred;A@@@A@A@A@ABC@@ܠ'mul_0_r @Ơ@@!n @!t/ @"eq/x @^0&XA @F<ߘ @J<ߘ@@@ %'A*Equalities*Structures#Coq@AviA)Morphisms'Classes#Coq@@Aۓό^ @A݋X_A/RelationClasses'Classes#Coq@@ABC@@AA@@A@*mul_succ_r @  @AR @Q/!m @X/ @W/x @0&XB @<9rA @0! @0&XBAB@@@dA\@fAT@hAR@ABC@@J(mul_comm @ _ Q D 3?2$@=B $@/G *@/ /@/x 5@0&XBA =@0&XAB@@@A@A@A@ABC@@/mul_add_distr_r @   } lxk]@vCҚ ]@/ c@/!p j@/ o@/x u@:0&X {@D0!CBA @M0! @O0&XCA @W0&XBA@@@A@A@A@ABC@@ؠ/mul_add_distr_l @  ߠ Ҡ ͠@D' @&/՚ @,/U @2/ @1/x @0&XC @0!BA @0! @0&XCB @0&XCA@@@FA>@HA6@JA4@ABC@@,)mul_assoc @ A 3 & !@E{ @z/) @/ @/ @/x @0&XC $@0&XBA ,@0&X 2@0&XCBA@@@A@A@A@ABC@@y'mul_1_l @   s bnaS@lFȚ S@/ X@/x ^@#0&X c@"0(AA@@@A@A@A@ABC@@'mul_1_r @    @G @/ @/x @R0&XA @R0(A@@@A@A@A@ABC@@נ,mul_shuffle0 @  ޠ Ѡ ̠@H& @%/Ԛ @+/T @1/ @0/x @0&X @0&XCBA @0&X @0&XCAB@@@>A6@@A.@BA,@ABC@@$,mul_shuffle1 @ 9 +   @Is @r/! @x/ @~/!q @/ @/x @0&X "@0&XDC *@0&XBA 2@0&X 8@0&XDB @@0&XCA@@@A@A@A@ABC@@,mul_shuffle2 @    o{n`@yJ՚ `@/ f@/ l@/b r@/ w@/x }@B0&X @H0&XDC @P0&XBA @X0&X @^0&XDA @f0&XCB@@@A@A@A@ABC@@砠,mul_shuffle3 @    РܠϠ@K6 @5/䚠 @;/d @A/ @@/x @0&XC @0&XBA @0&XB @0&XCA@@@NAF@PA>@RA<@ABC@@4%le_wd @ I ; . @@A&NZBase'NZOrder&NatInt'Numbers#Coq@  @A@'NZOrder&NatInt'Numbers#Coq@+NZOrderProp  @A@@@@"NZ  @A@@)Morphisms'Classes#Coq@@&ProperL@ ;@!t/@ A@/A)Morphisms'Classes=@@*respectful%WO? T@/@ Y@/ ]@"eq/x d@)/# h@ /x%Logic$Init$@#iffС) v@"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/!m @/@ @"lt/BA @"le/񀠐CB@@@@@6'le_refl @    ֠ɠ@B3 @2/ @ /񀠐AA@@@uA_@A@@W.lt_succ_diag_r @ @ 2 % @CT@S/ @J/A@$succ<9rA@@@@@}.le_succ_diag_r @ f X K :@Dz+@y/0@g/񀠐A7@&<9rA@@@@@/neq_succ_diag_l @  } p _B5'@@EP@!t/%Logic$Init#Coq@@#notШd@"eq/xk@Z<9rAA@@@A@AAۀߠK@A@A@ABC@@ᠠ/neq_succ_diag_r @ ʠ   tf@Fޚ@T/>@4/xA@<9rA@@@@@ /nlt_succ_diag_l @   ؠ Ǡ@G@h/%Logic$Init#Coq@@#notШ@ /@<9rAA@@@@@=/nle_succ_diag_l @&  ݠР@H:@/3@+/񀠩@<9rAA@@@@@f)le_succ_l @OA4#@Ic@/a@h/b@#iffС)&@]/񀠩,@<9rBA4@t/BA@@@A@AA@A@A@ABC@@+le_gt_cases @veH;-@FJV@/\@/@"or @i@/񀠐BAq@/AB@@@A@A@A@ABC@@㠠-lt_trichotomy @̠vh@K@/ޚ@/;@/BAG@H/xBA@/AB@@@@@ (lt_asymm @ ݠ@L@/@"/@@/BA%@&/@@@qAi@ArAy@tAb@vA`@ABC@@X(lt_trans @A3&@MU@T/S @Z/!p@a/@@Y/CB@"@b/XW(@h/E_@@@A@AA@A@A@ABC@@(le_trans @viX;. @9NI@/O@/CU@/@[@/񀠐CB@d@/j@/B@@@A@A@A@ABC@@ڠ+lt_strorder @àzm_@xO/RelationClasses'Classes#Coq@@+StrictOrder.[@@/@/@@@"A @A@@+le_preorder @ߠҠ@P*@(PreOrder@@/@/@@@EA/@A@@'/le_partialorder @Ǡ@QL@,PartialOrder5͛К@/@/x@(eq_equiv-%c@q/񀚠d@K2hQр@@@uAm@AvAd@xAb@zAhCd@ABC@@^)lt_compat @@ߠ@%lt_wd']ɀQC6%@)Morphisms'Classes#Coq@@&ProperL@#@/@(@/A@*respectful%WO?5@/@:@/>@"eq/xE@/I@ /x%Logic$Init8@#iffС)W@"lt/Zx[N@@@@@@ˠ(lt_total @mR@aǀqdV@~@/횠@/젩@/砩@-/x婚@/␑+ԠǠ~@@@@@ 'le_lteq @@+lt_eq_cases&yܠˠ@!n@m/!m@t/|@"le/񀠐BA@"or @@/@/x8-נ@@@@@T0Private_OrderTacmA'IsTotalu A @@%7LOA4#@/RelationClasses'Classes@+Equivalence~@@/#@"eq/x"pbUD' @@@@@ @@,Q^uhW:-@H@/L@/}lOB4@@@@@a @@ibUG@Z@q@!/@v@&/NL|@,/@@1/Y@G/x[@;/c@Q/xF@</;ޠРàz@@@@@: @9@B.֠Š@%@/$@/#@/!@d/x@ /7 Ϡ @@@@@?6 @s@>5+ՠ@4@/2@/@0//,@/6@/x;&RD7& @@@@@y@@@@'֐@#Tac,)OrdersTac*Structures#Coq@,MakeOrderTac*<5'eq_refl @|naP3&@@D!P)OrdersTac*Structures#Coq@A+[T@@@A@@C!O.@@&@5@&J@@A@A&a@@:&a^@@A@&@@&ڠh@@A@AB&@ @"lt&h@@A@&̌@@#one&̌T@@A@A&̔I@@#two&̔IT@@A@&H@@$pred&Hd@@A@&؝[@@g&؝[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@z/@]/xA@@@ %'A*Equalities*StructureszA݋X_A/RelationClasses@A@@AA@@A@ @ӠƠ_YS8@A3@/@u/1@@/@@#)lt_irrefl @=/"٠ztY@BT@/@#notШ@"lt/Z@@X@@L&eq_sym @fXK:ڠ@C}0@/!y7@/@=@/xrC@/xxy@@@@|*le_antisym @{jM@2 ٠Ӡ͠@D`@%/0e@*/@k@/.@q@/.v@/xD@@@@'neq_sym @ʠtfN> @OEᚠ@Y/d@^/@@D/xd@K/xe@@@@@ࠠ*interp_ord @!o)OrdersTac@#ordȠ@ @@@@@@@@@@@D@@/@@/@w/x@/@f/@*(@@/@@/ +k= R'6'6'6''+k+7T'+7T'6'ࠒA@@"lt\ @e@"eq8L@glР@TȠ@@QPO@@A@B@A@xA܀cUH7 נ@@@@@_%trans @yk^M0#@F"o'G@ /L@/!zS@/@kD@8 83@tM@8 8 {T@8 8@)trans_ord-0uGFL@@@AviA4@AAۀߠK7@Aۓό^;@@ABC@@(eq_trans @ޚ@V&倷aF|@pwpМAڠ͠@@q/|@v/e@{/@@_/x@@f/x@k/x L+k() LL7#'*@$t֠ɠb\V;@@@@@ @>`ab\М=C)(9<.!@M@/К@/ @/@@/T@@/Z@/S L+k() NN7#'Rtm_RA $  @@@@@iB @ МBwv|o^ A 4 &@N@ /S@ /X@ /@^@K/@d@Q/i@V/ L+k() MM7#'t r e W?/@@@@@+le_lt_trans @Z?OӠ֠Ƞ   r@皠@ _/j@ d/S@ i/@@ 4/@@/@/퐐 L+k() MN7#'t۠   {JD>#@@@@@+lt_le_trans @'IJKE  " ٠ ̠ @3@ /@ /@ /@@/:@@ /@@/9 L+k() NM7#'8tSE8'   נǠo@@@@@O%eq_lt @s [ Zkn`SB %  @2@ /7@ /뚠<@ /@B@ /x@H@5/M@:/ L+k() ML7#'ts V I ;#ܠ֠@@@@@%lt_eq @>#3   q d V@˚~@ C/N@ H/7@ M/@@{/Ҷ@@ 7/xة@/ѐ L+k() LM7#'АtݠР   o_.("@@@@@砠%eq_le @ -.o/)!  ڠ   @@ /@ /@ /@@ }/x@@ j/$@ o/ L+k() NL7#'t7)    ӠztnS@@@@@3%le_eq @Wyz{um ? >ORD7&   @c@ /暠@ /Ϛ @ /@&@ /j@,@ /xp1@ /i L+k() LN7#'htuhW : - Ơ@@@@@&eq_neq @~m P C 5 ܠ֠Р@Gc@ (/3h@ -/m@ 2/@s@ /x@m{@ /xt@ %/x@@@@@&neq_eq @ԠƠ  ~ pXH @YH뚠@ c/n@ h/W@ m/@@ S/x@@ Y/x@ `/x@@@@@*not_neq_eq @ Ơ  RLF+@I&@ /@ /@ؐڐ@ /x@ /x1@@x@@%)not_ge_lt @?1$   ۠à|v[@JV @ /ٚ@ /@@ /\ K@ /`@@`@@T)not_gt_le @n`SB %  @K8@ /=@ /@7E@2//J@ /@@@@@)le_neq_lt @p S F 8 ߠ٠Ӡ@!Lf@ +/6k@ 0/@q@ /4@ky@ /x~@k/@@@@@@@@@.D@@@@@.F@<_neq @ԠƠ  ~ p@ R 蚠@ / 暠@ /@@ /BA W@ M/x  @@@@@ &le_neq @ؠ   @ S @ / @ / @ /BA $@#andЖw@@ /񀠐BA @ /xBA@@@@@ `*eq_le_incl @I;.   @ T ]@ / [@ /@@ /xBA"@ Y/ X W@@@@@ (lt_stepl @ugZI ,  @ *U:@ / @@ /F@ /@L@ /CB@U@ /x [@ / @@@@@ Š(lt_stepr @ e X J@ cVs@ /Cy@ /-@ D/@@ /CB@@ */x  é@ / l ʐ@@@@@ (le_stepl @٠̠   @ W@ /|@ /f@ }/@@ /񀠐CB@@ c/xQ @ / W@@@@@ 7(le_stepr @  נ ʠ @ X1@ 3/@ 9/@ /@@ ./񀠐CB@@ /x 6 5@ =/  <@@@@@ p @XJ=, @ Y l@ k/ j#@ q/ )@ w/@/@ f/񀠐CB@8@ x/ n m>@ ~/  t@@@@@ t @udG:,@EZ U@ / [@ / Oa@ /@g@ /CB@p@ /  v@ / N @@@@@ ࠠ+le_antisymm @ɠse@~[ ݚ@ / ۚ@ /@@ /񀠐BA@@ /  ٩@ E/x3 ߐ@@@@@)le_succ_r @Р@\@/@ w/ @/񀠐B@ <9rA }@/񀠐BA@ /xB@ <9rA@@@@@\)lt_succ_l @E7*@]Y @ /W@^/@@V/@ <9rBA$@d/ZY@@@@@,le_le_succ_r @wi\K.!@,^<@/B@/@H@/񀠐BAP@/V@E<9r@@@@@,lt_lt_succ_r @}`SE@^_n@/t@/@z@/BA@/@w<9r@@@@@,succ_lt_mono @۠͠w@`@/횠@/ @/BA@/@<9rB@<9rA@@@@@/,succ_le_mono @ Ϡ @a,@+/*@1/ ɀ@#/񀠐BA@+/񀠩@<9rB@<9rA@@@@@l<_0_1 @UG:) @ b@Y/@ <ߘ"@ 0(@@@A@AA@A@A@ABC@@&le_0_1 @|naP3&@1c@@w/񀠚E@ <ߘI@ 0(@@@@@<_1_2 @oRE7@Pd_@/d@ 0(h@ 00`@@@A@AA@A@A@ABC@@٠<_0_2 @ yl^@we@/@ <ߘ@ !00`@@@A@A@@&le_0_2 @ՠȠ@f@/񀠚@ 0<ߘ@ B00`@@@@@<_1_l @֠@g@/@/@@/@ \<ߘB@@/@%/@ 0(@@@sAk@uA|@wAa@ABC@@Y+lt_ge_cases @B4'@hV@U/T @[/@V/BA@U/񀠐AB@@@@@+le_ge_cases @seXG*@(i8@/>@/†G@~/񀠐BAO@/񀠐AB@@@@@+lt_gt_cases @x[N@@Yji@./o@4/U"|@/xBA#@/BA@/AB@@@@@,eq_decidable @נʠ@k@o/@u/)Decidable%Logic#Coq@@)decidable r@_/xBA@@@@@/&eq_dne @ Ϡ @l,@/*@/ɀ/3@/xBA@/xBA@@@@@h&le_ngt @QC6%@me@d/c@j/%@\/񀠐BAp1@q/AB@@@@@&nlt_ge @xkZ=0"@;nK@/Q@/7^@/BAf@/񀠐AB@@@@@Ҡ,lt_decidable @reW@poϚ@/͚@/ր@/BA@@@@@<_dne @֠ɠ@p@/@/@/BA@/BA@@@@@4&nle_gt @ԠǠ@q1@0//@6/΀4@,/񀠐BA@=/AB@@@@@i<_nge @RD7& @rf @e/d @k/ &@f/BAq 2@i/񀠐AB@@@@@,le_decidable @yl[>1#@ @=/< @C/@ @;/CA@!@;/9:N@"ex @!@/!k!@/=!!@/x !'@<9r m!-@d/  s@@@A@AA@A@AA@AРD.Morphisms_Prop'Classes#Coq@@A1@D@@ABCD@@.lt_exists_pred @   ~ mPC5@Nw !^@/!d@/@!j@/BAh!u@%/d!{@+/!@ /x!@y<9r Щ!@/  ֐@@@AQ@A@@,lt_succ_pred @  נ ʠ @x X!@/!@/@!@/BA!@Z/x!@<9r!@W;@@@UAM@AVA]@XAF@ZAD@\A@ABCD@@>&rs_rs' @!'!!  ޠѠ@y!A@!@/$A_wd@&ProperL@!@/"@/š"@/xL " @/@C@d"@/@"@/Qa@ S "&@<9r\",@/@"2@/ x@&":@/"@@/@"F@/ @"M@:/ K)1H+@@@ @A @ @@A1@D@ABCD@@ (rs'_rs'' @!!!!bUG@`z@"p@5//@"x@=/75"~@C/="@%/xǶ 6"@L/@y"@R/@"@/V@"@_/`"@d/@"@//}@"@/iI ;"@y/M"@/"@/@"@Q/"@"@/!"@/"@/@"@h/9@"@/8"@<9rÐ@@ u@@S%rbase @"<"."!"@{@#@/ #@/# @/Қ#@/@#@/@#@ /o@@@@@)A'A_right @"o"a"T"C& @$|H@#4@/ 蚠#9@/@+#?@/1#E@ / #J@/@#P@/@#V@C/ 10H#\@!/@#b@/G:E@@@@@̠6strong_right_induction @""""l_Q@j}@#z@?/9@#@G/A?#@M/G#@//x$Ѷ@#@V/@#@\/@#@'/`@#@i/j#@n/@#@9/ @#@/r #@/@#@J/@@@K@AD@@AРD@ABC@@1/right_induction @## ""ѠĠ@~@#@/ﰶ@#@/#@/#@/x6#@/@@隠#@/@$@/@$ @<9r$@/@$@/@@@@@0right_induction' @#i#[#N#= @B@$.@/@>@$6@/$<@/$@@/x$E@ /@7$K@/@$Q@/ ;@C$W@/@$]@/B@A쐩$e@T<9r?V$j@//D@@@@Ԡ7strong_right_induction' @####tgY@r@@$@G/A@$@O/IG$@U/O$@7/x,ٶH$@^/@$@d/@$@// C@$@p/@$@;/@$@}/~$@/@$@M/P @$@/Jv$@/g@@@@@:&ls_ls' @$#$$#ڠ͠@A@$@/@$@/$@/$@/x?$@/@@򚠐%@/@% @/RB@%@<9r%@/@% @/f@%(@/%-@/@%3@/y@%:@/~퐩%@@/<9r"@@@@@@ABC@@(ls'_ls'' @$$$z$iL?1@JBn@%Z@/lj@%b@'/!%h@-/'%l@/x %q@6/@c%w@</@%}@/ g@p%@I/J%@N/@%@/g@%@ /ꐩ%@<9r~%@f/:%@n/o%@s/@%@>/%@%@D/%@/%@/@%@U/<@%@[/%%@<9r@@@@@%lbase @%)%%$Ӡ@C@%@/%@/嚠%@/%@/@&@/@& @/N\&@<9r@@@@@y(A'A_left @%b%T%G%6 @D;@&'@/ۚ&,@/@&2@/$&8@/&=@/@&C@/#@&I@/":&N@/@&T@/H@@@@5strong_left_induction @%%%%z]PB@[E@&k@0/*}{@&s@8/20&y@>/8&}@ /x¶1&@G/@t&@M/@&@/ x@&@Z/[&@_/@&@*/@&@0/&@<9r&@v/@&@A/@@@A@@@ABC@@#.left_induction @& %%%à@F@&@/ᰶ@&@/&@/&@/x{(&@/@ܶ@ۚ&@/@&@/@&@<9r'@/@'@/@@@@@q/left_induction' @&Z&L&?&.@G3@'@/޶1/@''@/'-@/욠'1@/xv嚠'6@/@('<@/@'B@/@4'H@ /@'N@;/B@ܐ'V@E<9r8G'[@ /@@@@Ġ6strong_left_induction' @&&&&dWI@bH@'r@7/1@'z@?/97'@E/?'@'/xɶ8'@N/@{'@T/@'@/X3@'@`/@'@+/@'@m/n'@r/@'@=/@@'@D/𐩚'@<9rj'@/[@@@@./order_induction @'' &&Π@I@'@/찶@'@/'@/'@/x3'@/@@暠'@/@(@/@(@<9r@(@/@(@/@(@ <9rͶ (!@/@@@@@AB@@0order_induction' @'v'h'['J- @+JO@(;@/MK@(C@/(I@/(M@/x(R@/@F@E(Y@/@(_@/D@C(g@V<9rA@Y(m@2/@(s@/S@^%({@;Ul(@E/_@@^@@頠1order_induction_0 @'Ҡ'Ġ''|n@K@(@\/V@(@d/^\(@j/d(@L/xA@ߐ(@4<ߘ@(@{/@(@F/񀠚(@E<ߘ@`O(@<9r@(@/@(@/(@^<ߘ@h(@<9rӚ(@/}@@@@@P2order_induction'_0 @(9(+(( @L@(@/@)@/ũ) @/˚)@/xU@F)@<ߘ@ )@/@)#@/񀠚)(@<ߘm@ǩ)0@<9r @")6@/@)<@/)A@<ߘ@%А)I@;#:)N@/@@@@@<_ind @((((tWJ<@UMy@)e@*/$wu@)m@2/,*)s@8/2)w@/xh)|@A/@)@s<9r]@K)@O/@)@}/u@t)@<9rr^)@b/@)@/q@@@@@ &le_ind @(((ڠ(ɠ@Nζ@)@/y̩ʰ@)@/)@/)@o/xd)@/@Ŷ@)@/@)@h/ö@©m)@<9r)@/@)@{/ې@@@@@Z&Rlt_wd @)C)5)()@O*@/@*@/@*@/ҩ*@/@*@/ݚ*"@/x*(@/皠*,@/xķ*1@/*6@/@[Жw@*B@/*G@4/ @@@@@@ABC@@&Rgt_wd @))))pSF8@QP*`@%/o@*g@,/@*l@1/+)*r@7/@*w@</6*{@/x8*@F/@*@(/xv*@O/P*@T/Y*@/*@%/X@@T@@%lt_wf @))ߠ)Ҡ)@Q`*@v/"WfJ@,well_founded8E*@/*@/*@/*@Z/*@/@@@A𱍠G@A7iA)@AB@@F%gt_wf @*/*!**٠@R*@/B*@/ꚠ*@/Ě+@/͠+ @/+@/̐@@:@@x-add_lt_mono_l @*a*S*F*5@*x@!n+$@!t/!m+,@/!p+3@!t/%Logic$Init#Coq@@#iffС)+G@"lt/CB+P@ /+V@)0!AC+^@)0!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/s+@z/r+@q/p+@f/CB+@n/+@*0!CA+@*0!BA@@@eA]@gAU@iAS@ABC@@K+add_lt_mono @+++*@+5B+@/+@/+@/!q+@/@+@/DC@,@/CB, @/,@*d0!FD,@*l0!E@@@@@-add_le_mono_l @+l+^+Q+@@+C ,.@ / ,4@/,:@/,C@"le/񀠐CB,L@ /񀠩,R@*0!AC,Z@*0!AB@@@A@A@A@ABC@@⠠-add_le_mono_r @++++@+DT,w@S/R,}@Y/Q,@P/O,@I/񀠐CB,@Q/񀠩,@*0!CA,@*0!BA@@@DA<@FA4@HA2@ABC@@*+add_le_mono @++++@,E,@/,@/,@/ߚ,@/@,@/񀠐DC@,@/ݩ,@/񀠩,@+@0!۩,@+F0!@@@@@r.add_lt_le_mono @,E,7,*,@,\F䚠-@/⚠- @/ᚠ-@/'-@/@-@/DC@-(@/&%-.@/-4@+0!$#-:@+0!"8@@@@@.add_le_lt_mono @,,,r,a@,G,-O@+/*-U@1/)-[@7/o-a@=/@-g@$/񀠐DC@-p@)/nm-v@//-|@+0!lk-@+0!j@@@@@+add_pos_pos @,ՠ,Ǡ,,@,Ht-@s/r-@y/@-@\/-@+<ߘB@-@h/-@+<ߘ-@r/-@+<ߘ-@,0!@@@cA[@eAۀߠK]@iAS@ABC@@K.add_pos_nonneg @---,@-5I-@/-@/@-@/-@,<ߘB@-@/񀠚-@,&<ߘ.@/.@,0<ߘ. @,`0! @@@A@AI@A@ABC@@.add_nonneg_pos @-e-W-J-9@-|J.'@/.-@ /@.3@/񀠚.8@,a<ߘB@.?@/.D@,m<ߘ@.I@/.N@,w<ߘ.S@,0!BQ@@@A@A@A@ABC@@٠1add_nonneg_nonneg @----@-KK.n@J/I.t@P/@.z@7/񀠚.@,<ߘB@.@C/񀠚.@,<ߘ.@M/񀠚.@,<ߘ.@,0!@@@:A2@A(@ABC@@ ,lt_add_pos_l @---ؠ-@. L.@/.@/@.@z/.@,<ߘB.@/ɩ.@-&0!ϐ@@@rAj@tA^@AB@@V,lt_add_pos_r @.)..-@.@MȚ.@/ƚ.@/@.@/.@-%<ߘB/@//@-\0!@@@A@AAE@A@A@ABC@@,le_lt_add_lt @.c.U.H.7@.zN/%@//+@//1@/E/7@/@/=@/񀠐DC@/F@//L@-0!J;/R@-0!O:/X@/GV@@@@@ؠ,lt_le_add_lt @....@.OJ/m@I/H/s@O/G/y@F//@L/@/@>/DC@/@K/񀠩/@-0!/@-0!/@Y/@@@@@ ,le_le_add_le @...ؠ.@/ P/@//@//@/՚/@/@/@/񀠐DC@/@/񀠩/@.00!˩/@.60!ʩ/@/@@@@@h,add_lt_cases @/;/-/ /@/RQښ/@/ؚ0@/ך0 @/0@/@0@/0@.o0!DC0#@.w0!BA@"or @03@/109@/(6@@@@@,add_le_cases @//~/q/`@/R+0N@/)0T@!/(0Z@'/n0`@-/@0f@#/񀠩0l@.0!DC0t@.0!BAQ0@=/h~0@C/u@@@@@-add_neg_cases @/٠/ˠ//@/Sx0@h/v0@n/@0@`/0@/0!BA0@.<ߘ0@v/0@.<ߘ0@/Ě0@.<ߘ@@@lAd@AmA@oA]@qA[@ABC@@S-add_pos_cases @0&00 /@0=TŚ0@/Ú0@/@0@/0@/"<ߘ0@/R0!BAۀ1 @/1@/8<ߘ 1@/1@/B<ߘ@@@A@AU@A@ABC@@0add_nonpos_cases @0q0c0V0E@0U13@/19@/@1?@/񀠩1E@/0!BA1L@/u<ߘ&1U@/S1Z@/<ߘ1_@/\1d@/<ߘ@@@A@AA@A@ A@ABC@@렠0add_nonneg_cases @0000@0V]1@M/[1@S/@1@I/񀠚1@/<ߘ1@/0!BAs1@_/񀠚1@/<ߘ1@i/񀠚1@/<ߘ@@@PAH@RA@TA>@ABC@@6-le_exists_sub @1 000@1 W1@/1@/@1@/񀠐BA@"ex @1@/1@/@#andЖw@1@"eq/x2@0T0!A𩚠2@/5f@@@@A@AA@A@AAA.Morphisms_Prop'Classes#Coq@@A1@D@@A8ӠA4Relation_Definitions)Relations#Coq@@ABCD@@+mul_lt_pred @1{1m@1i@!p2<@!t/!q2D@1P/!n2K@/!m2R@/@2X@"eq/x2_@12<9rDC%Logic$Init#Coq@@#iffС)2u@"lt/2|@1h0&XEC2@1p0&XB2@/2@10!2@10&XD2@10!2@10&X  '@@@ %'A*Equalities*Structures#Coq@AviA)Morphisms'Classes#Coq@@Aۓό^ @A݋X_A/RelationClasses'Classes#Coq@@ABC@@AA@@A@1mul_lt_mono_pos_l @22 @2A2@!t/2@/2@ /@2@x/2@1<ߘt2@"lt/x3@/3@10&Xq3@10&Xw@@@kAc@AlAۀߠKd@pA^@rA\@tAРD.Morphisms_Prop'Classes#Coq@@ABCD@@^1mul_lt_mono_pos_r @2u2g@2cB35@[/񚠐3;@a/𚠐3A@g/@3G@/3L@2<ߘC뀠3V@/ҩ3\@/3b@2N0&X˩3h@2T0&Xѐ@@@A@A@A@ABC@@1mul_lt_mono_neg_l @22@2CF3@/=3@/<3@/@3@/C3@2g<ߘ73@-/%3@3/3@20&X*3@20&X7@@@A @AA@A@A@A@ABCD@@1mul_lt_mono_neg_r @33@2D3@/3@/3@/@3@n/C3@2<ߘ3@}/un3@/3@20&Xzg4@20&Xm@@@`AX@bAP@dAN@ABC@@F4mul_le_mono_nonneg_l @3]3O@3KEӚ4@C/Қ4#@I/4)@O/@4/@"le/񀠚45@3<ߘA@4<@ /4B@/񀠩4H@340&X̩4N@3:0&X@@@A@AA@@A@A@ABC@@4mul_le_mono_nonpos_l @33@3F4i@/4o@/:4u@/@4{@L/񀠐A4@3O<ߘ@4@X/ 4@^/񀠩4@30&X4@30&X@@@A@AA@A@A@ABC@@ݠ4mul_le_mono_nonneg_r @33@3Gj4@/i4@/4@/@4@/񀠚4@3<ߘA@4@/;U4@/񀠩4@30&Xba4@30&XMg@@@AA9@ABA@DA2@FA0@ABC@@(4mul_le_mono_nonpos_r @4?41@4-H4@%/5@+/К5 @1/@5@/񀠐A5@3<ߘ@5@/5#@/񀠩5)@40&X5/@40&X@@@A@AA!@A}@A{@ABC@@s,mul_cancel_l @44|@4xI5J@/5P@/5V@4b/@%Logic$Init#Coq@@#notШ5j@/xA5p@4><ߘ5y@!/x5@4k0&X詚5@4q0&X5@3/x@@@A@A@A8ӠA4Relation_Definitions)Relations#Coq@@ABC@@ՠ,mul_cancel_r @44@4Jb5@p/a5@v/}5@4/@b5@j/xA5@4<ߘf5@y/x5@40&X@S5@40&X`Y5@/xLf@@@?A7@AA/@CA-@ABC@@%(mul_id_l @5<5.@5*K5@/6@5/@6 @/xA6@4<ߘ6@/x6!@5 0&X6'@/x6,@50(@@@Au@As@AB@@k(mul_id_r @55t@5pL6B@5N/6H@ /@򀐩6R@/xB6X@5&<ߘ6a@ /x6g@5S0&X꩚6m@/x隠6r@5X0(@@@A@A@A@ABC@@1mul_le_mono_pos_l @5ʠ5@5M@6@/?6@/[6@/@6@'/6@5o<ߘA@6@|/.6@/񀠩6@50&X3 6@50&X9@@@@A@AA@A @A @ABC@@1mul_le_mono_pos_r @66 @6N6@/6@/6@ /@6@u/6@5<ߘA6@/b|6@/񀠩7@50&Xn7 @50&X@@@gA_@iAW@kAU@ABC@@M1mul_le_mono_neg_l @6d6V@6ROښ7$@J/ٚ7*@P/70@V/@76@/A7<@6 <ߘڀ7E@/ȩ7K@/񀠩7Q@6=0&Xԩ7W@6C0&X@@@A@AI@A@ABC@@1mul_le_mono_neg_r @66@6P&7p@/%7v@/A7|@/@7@ /A7@6V<ߘ&7@b/7@h/񀠩7@60&X 7@60&X @@@A@A@A@ABC@@堠2mul_lt_mono_nonneg @66@6Qr7@/q7@/7@/7@/@7@/񀠚7@6<ߘD@7@k/dI@7@/񀠚7@6<ߘT@7@}/v[7@/7@60&XHF8@60&XG@@@@@C2mul_le_mono_nonneg @7Z7L@7HRК8@@/Ϛ8 @F/뚠8&@L/隠8,@R/@82@/񀠚87@7<ߘD@8>@/@8E@/񀠚8J@7<ߘ@8P@!/8V@'/񀠩8\@7H0&X^]8b@7N0&X\@@@A@AAT@A@A@ABC@@+mul_pos_pos @77@7S38}@/28@/@8@/8@7\<ߘB@8@ /8@7h<ߘ8@*/8@7r<ߘ8@70&X,@@@A@A@ A@ABC@@렠+mul_neg_neg @87@7Tx8@/w8@/@8@Y/B8@7<ߘ@8@e/V8@7<ߘ8@o/8@7<ߘ8@70&XWq@@@JAB@LA@NA8@ABC@@0+mul_pos_neg @8G89@85U9@-/9 @3/@9@/9@7<ߘB@9@/9$@7<ߘ9)@/9/@80&X94@8<ߘ@@@A@AA%@A@A@ABC@@w+mul_neg_pos @88@8|V9N@t/9T@z/@9Z@/B9`@8.<ߘ@9f@/9k@89<ߘ橚9p@/9v@8b0&X9{@8I<ߘ@@@A@Al@A@ABC@@1mul_nonneg_nonneg @8Ӡ8@8WI9@/H9@/@9@p/񀠚9@8r<ߘB@9@|/񀠚9@8~<ߘ+9@/񀠚9@8<ߘ9@80&X(B@@@A@A@A @ABC@@0mul_pos_cancel_l @99 @9X9@/9@/@9@o/9@8<ߘB9@~/9@8<ߘ9@80&Xy:@/:@8<ߘ@@@cA[@eAO@AB@@G0mul_pos_cancel_r @9^9P@9LYԚ:@/Ӛ:$@J/@:*@/:/@8<ߘA΀:9@/:>@9 <ߘ:C@9/0&X:I@/:N@9<ߘА@@@A@A@AB@@3mul_nonneg_cancel_l @99@9Z:d@/:j@./@:p@/:u@9C<ߘB:@P/񀠚:@9R<ߘ:@9u0&X :@`/񀠚:@9b<ߘ@@@A@A@AB@@Ӡ3mul_nonneg_cancel_r @99@9[`:@n/_:@/@:@A/:@9<ߘAZ:@/񀠚:@9<ߘ:@90&XRK:@/񀠚:@9<ߘ\@@@5A-@7A!@AB@@,lt_1_mul_pos @:0:"@:\:@/:@/@:@/;@90(B@;@/; @9<ߘ;@/;@90(;@:0&X@@@xAp@zA@|Af@ABC@@^(eq_mul_0 @:u:g@:c]뚠;5@/ꚠ;;@/ـ;D@/x;J@:60&XBA;Q@:<ߘ@"or @;^@ /xB;d@:2<ߘ;i@ /xA;o@:=<ߘ@@@A@A@A@ABC@@)neq_mul_0 @:Ǡ:@:^ =;@:/ <;@:/ + 0@#andЖw@B;@ J/xB;@:v<ߘQ;@ Y/xA;@:<ߘ`;@ h/x;@:0&XBA;@:<ߘ@@@ (A @ *A @ ,A @ABC@@ +eq_square_0 @;%;@;_ ;@ / ;@ /x;@:0&XAA;@:<ߘ<@ /xA<@:<ߘ@@@@@ A*eq_mul_0_l @;X;J@;F` Κ<@ / ͚<@ /@<$@ /x<*@;0&XBA<1@:<ߘ@ۀ<;@ /x <@@;<ߘ@ /> @<0&X s s>@<0&X  @@@@@ L5square_le_mono_nonneg @=c=U@=Qd ٚ>#@ I/ ؚ>)@ O/@>/@ /񀠚>4@=<ߘB@>;@ /  >A@ /񀠩>G@=30&X  >M@=90&X  А@@@@@ 6square_lt_simpl_nonneg @==@=e >`@ $/ >f@ /@>l@ =/񀠚>q@=?<ߘA@>x@ />~@=j0&X  >@=p0&X  >@ /  @@@@@ Ơ6square_le_simpl_nonneg @=ݠ=@=f S>@ a/ R>@ /@>@ z/񀠚>@=|<ߘA@>@ /񀠩>@=0&X > >>@=0&X = =>@ / 0 J@@@@@ ,mul_2_mono_l @>> @>g >@ / >@ /@>@ q/BA>@ y/>@=0!>@=0(>@=0&X?@=00` ?@=0&X? @=00` @@@ hA `@ jA X@ lA V@ABC@@ N*add_le_mul @>e>W@>Sh!a?&@ L/!b?-@ S/@?3@ /?8@>0(B@??@ /?D@>*0( ?I@ /񀠩?O@>H0!  ҩ?U@>A0&X  ؐ@@@ A @A A G@ A @ A @ABC@@ -square_nonneg @>>@>iK?p@ 4/?u@ F/񀠚?z@>H<ߘ?@>k0&XAA@@@ A @ A s@ A @ABC@@ à5crossmul_le_addsquare @>ڠ>@>ju?@ /t?@ /@?@ w/񀠚?@>y<ߘB@?@ /񀠚?@><ߘ 2?@ /񀠩?@>0!?@>0&X K 1?@>0&X 7 Q?@>0!?@>0&X C C?@>0&X c c@@@ =A 5@A >A @ @A .@ BA ,@ DA1@D   @@ABCD@@ +-add_square_le @?B?4@?0kݚ@@ (/ܚ@@ ./@@@ /񀠚@@><ߘB@@@ /񀠚@@><ߘ @$@ /񀠩@*@?#0!@0@?0&X  @6@?"0&X  @<@?(0&X@B@?;0!  ũ@H@?A0!  ː@@@ A @A A :@ A @ A @ABC@@ -square_add_le @??@?l>@c@ /=@i@ /@@o@ @/񀠚@t@?B<ߘB@@{@ L/񀠚@@?N<ߘ @@ V/񀠩@@?w0&X@@?0! @@?0!@@?0&X@@?~00`@@?0!@@?0&X@@?0&X66@@@A@AA @A@A @ABC@@ 4quadmul_le_squareadd @@@@?m@@ /@@ /@@@ /񀠚@@?<ߘB@@@ /񀠚@@?<ߘf@@ /񀠩@@?0&X@@?0&XA@?0&XA@?00`A @?00`sA@?0&XA@@0!A@@0!@@@yAq@AzA@|Aj@~Ah@ABC@@`@@qA,@@U@0sqrt_spec_nonneg @@V@!bC@A>@"lt/AE@S0&XAAAQ@Ut<9rAAA]@P/񀠚Ab@U<ߘO@@@UAviA)Morphisms'Classes#Coq@@AUAۀߠK @UAۓό^ @UA݋X_A/RelationClasses'Classes#Coq@@ABC@@V~+sqrt_nonneg @@VAP@A20A@V8SA@@@V#A6@AV$A.@V&A,@V(A*@ABC@@V+sqrt_unique @@WBPbD۶wD+@%Logic$Init#Coq@@PSЖw@A@Pk/񀠩AABA@/BAAA@"eq/xVCPp@@@VuAw@A@@V'sqrt_wd @@WOC)Morphisms'Classes#Coq@@&ProperL@Ep@W /)Morphisms'ClassesW@*respectful%WO?E@P}/xIWW%@W18S@@@VA@AVA@VA@VA@ABC@@W(-sqrt_spec_alt @@WDPEc@݀ۀA%Logic$Init#Coq@@"ex @D鷐!rD쩛@#andЖw@wpB_@TO0! Ԁ~؀QBu@Q/EQB{@Q$/Q<B@U00`@@@WA&@AWA@WA@WA@WA1@DTSR@@ABCD@@W,sqrt_unique' @@WEQYGnE!cE׶@=SA>Ay=B@†DlQSBE@@@WbAu@AWcAm@WeAk@WgAi@ABC@@Wߠ+sqrt_square @@XAFQF@AgQQQ@@@WA@WA@AB@@X0sqrt_pred_square @@XeGQFM@׀A8C$@W4;倠QQ Q@@@WA@AWA@WA@WA@ABC@@X5,sqrt_le_mono @@XHQFu Fr@쀠BA򀠩h€Qې@@@WA@WA@WA@ABC@@X\.sqrt_lt_cancel @@XIRCl3Cn@2߀B䀐A@R@@@XA@AX A@X A@X A@ABC@@X.sqrt_le_square @@XJRGF\F¶@<:B@DBR'e@#iffС)Qm쩚Y˩%@@@XCAV@XEAO@XGAI@ABC@@X.sqrt_lt_square @@Y!KRFF@vtB@~|Ra:\+@@@X{A@AX|A@X~A@XA@ABC@@X&sqrt_0 @@YZL#GfGe@@@XA@XA@XA@ABC@@Y &sqrt_1 @@YoM8GfG@@@XA@XA@XA@ABC@@Y"&sqrt_2 @@YNMD:@WR0(@@@XA@AXA@XA@XA@ABC@@YB(sqrt_pos @@YOSDRȀA$A@@@XA@XA@XA@ABC@@Yj+sqrt_lt_lin @@YPS,G@>EAES S @@@YA#@YA@YA@ABC@@Y+sqrt_le_lin @@YQSNGǶ@A?AHS-S-@@@Y3AF@AY4A>@Y6A8@Y8A1ՠF-SetoidTactics'Classes#Coq@@YBA1I @ABCD@@Y.sqrt_mul_below @@ZRS~D̶DΩrBBGALBA@@@YqA@AYrA|@YtAz@YvAx@ABC@@Y.sqrt_mul_above @@ZPSSH)H+@B@SҀӀR-׀π^׀A@@@YA@AYA@YA@YA@ABC@@Z3,sqrt_succ_le @@ZTSHn@耠怐ASةǀS@@@YA@AYA@YA@YA@ABC@@Zc,sqrt_succ_or @@ZUT%H@A;@"or @󀐩;T?TOT$T(@@@@@Z7sqrt_eq_succ_iff_square @@[VTeH޶@XVA܀/wTL{;TTIITTT@@@ZvA@AZwA}@ZyA{@Z{Aa@Z}A8ӠA4Relation_Definitions)Relations#Coq@@ABCD@@Z+sqrt_add_le @@[_WTHHBABA@@@ZA@AZA@ZA@ZA@ABC@@[/+add_sqrt_le @@[XTIjIl@怠䀐B@Tѩ􀠩ĀȀr̀ 䀩 @@@ZA@A@@[l@@@@G@AF@B@@A@B@C@@ADE[:@,NZSqrtUpProp[@K[[@[Z @Z@ @[@@[ Z@Z@@[ Z @ZZ𠚠@[+ @[@Z@@[Zِ @Zؚ)@Z@Z@@ZӠZА @Z϶@3@Z7@Z@Z@@ZᠠZː @Zʶ@A@ZE@Z@Z@@ZZƐ @ZũZİ@Q@ZU@[Z[@[_@[ c@Zg@Zk@[g@Z@@[Z @ZZ갶@w@[${@[(Z@[.@[2@Z@Z@["@Z@@[;Z @ZZ@[H@Z@[7@[PgZZ@Z@@[VZ @ZZ@@[dZ@[2@@[lZ["@[rZ@[ZZ@Z@[@Zښ@[ZZZ@[gZжZ蚠@[Z@Z@@[Z @Z@[@Z}@@[Z{ @Zz@[@Zx@@[Zv @Zu@[PK\\@ZW!@[g @[@Zv@@[Zt @Zs@[k@Z^〩!@Zj@@[̠Zh @Zg@,@Ze@1@ZjZd@Zb@@Z`Z] @Z\@;@Zt@@@ZyZs@ZZ@@ZoZX @ZW[@L@[@Q@[[/[W@\@\@\ [:`@[[f@\[Dj@[[4n@ZV@ZU@@\ZQ @ZP[|x@\%ZO}@\*[H@ZtZMZL@ZsZT@[ZY@ZF@@\:ZD @ZC[@\GZB@ZZ=@Z<@@\KZ: @Z9[@\XZ@\][{@Z[v@\ag[@ZtZ@Z8@@\lZ6 @Z5@@\y@@\~@\@Z3@@\Z1 @Z0@@\@@\@\@Z.@@\Z- @Z,@@\@@\@\@Z*@@\Z) @Z(\z@@\@ @\@\\s@\@@\@\#@\s\)@\-@\1@\5@\9@ZB@Z'@@\㠠Z# @Z"\@E@\@J@\N@\\T@]@Y@]]@] a@\\g@]k@]o@\s@\w@Z]G@Z!@@]!Z @Z\@@]0@@]5@]9\@]?@@]D@]H@\]@]R@]V@\@]@ZTۀ@Z@@]_Z @Z\Ú@]l@]@[;B@]\\@Z@@]yZ @Z\ݚ@][@]@]3@[ZB@]gZ\ߩ@]g@[kB[Ð@Z@@]Z @Z ]@] @]Y@[h]G]@]]@Z @@]Z  @Z ]"@][#@](@]x.@[]G\4@]g]%9@]?@[]G\@Z@@]頠Z @Z]MI@]N@]T@[TۀY@^]I]@^@Z@@^Z @Z]kg@^\>l@^q@]w@[Tۀ}@^!gZ]m@[B@[Tۀ\Q]x@Z@@^2Y @Y@@Y@@Z@Z@Y@@YY @YY󚠐@ZY񚠐@Z@@YtY@Y@Z.SkYY@Y@@ZY @YZ@Z.Z@Z3@@ZtY䩚@Z @ZNSkZ Z@Y@@Z8Y @Y@@ZN@@ZS@ZW@Y@@ZKYܐ @Y۶ZF@ZaZD@Zf@@ZBtZ@Z>@ZSZ=Z<@Y@@ZkYؐ @Y׶Zf@ZZd@Z@#@ZbtZa(@Z^.@Z1SZ]Zj@Y@@Z'compare @d@;@]t@@@]y)Datatypes$Init#Coq@@*comparison;f@@@@@@]~,compare_spec @@!x]@]!yd@]%@+CompareSpec!Q]@q@"eqBAz@]@]  @T@@@@@]@Z-2NZDecOrdAxiomsSig'`(@@@@cd@@A@A@@_Z'@A@@@_Z'@A@ABt@@]tZ%@A@@@]Z&@A@AB@@]BZ#@A@Sk@@[SkZ#@A@ABCS@@ZSZ!@A@T@@\TZ#@A@AW!@@^GW!Z @A@]G@@] ]GZ @A@AB^@@^>^Z@A@@@_GZ@A@g@@_]gZ@A@@@_rZ@A@ABCDE@L` `@`U @`T@@`M@`Q@`P@@`NZ @ZZ @`[@@Z t@_ZZ!@Zt'@]3Tۀ8@`Y=@`ZZ7@ZZ=@]ITۀC@_gT@`ZN@_g_@`Z%@Z@@`Z @ZZ\^@`@d@Z.ZSi@_n@Z@`ZEx@_@Z$@@`@KK}@@@@@@``@A@A@MKJa'@KI @KH@K1@K0@K/.S@J@K?@K>J@K;'`@A@@@K0@AJI@@IݠIڐ @Iٰ@KZ@KY@KX.S@IР@Kh@KgIˠ)&II@@JI @I@K}@K|@K{.S@I@K@KILIII@@J#I @TQIJ@I@JeI@JjI@KIs@KIp@Im@@IYIV @spIUJAIQ"@JIO'@J@IM/@KIAI>6@KI<@I9@@I{I5 @I4KBI0D@JI/I@JI.N@J@T@KI,@Z@KI)_@KI'@I&@@II @IK+CIm@IIr@I@x@L~@JgI@JgI @L!I @I @@I͠H @HKTDH@I:H@I?H@L;@JgH򩚠@JgH𩚠@LKH@H@@IHݐ @HK~EHؚ@IdHך@IiH֠HԐ@Lg@KgHҩ@K$gHЩHΐ@LyH̐@H@@J%Hǐ @?<HKFH¶@@KQHHH@@KYHȩH@K_HΚ@HHHH@Kh@H@H @KoHHH@KagHH@K}H@H@@J`H @zwHHY@H)@H.@H4@HBH9@HH @H @@GꠠG @GHwAGޚG@H0GݚL@H5Q@H4W@H3BG۩]@GgG٩b@Ggh@HDBGא@G@@HG̐ @ǠGHBGÚv@H_Gš{@Hd@Hc@HbB@H gGG@HmBG@HgG@G@@HHG @GHCG@HG@H@H@HBG@HBG@G@@HkG @GHDG@H@H@HB@GW!G@HZgG@G@@HG @<9GIEG{@H@H@HBGz@GW!@H}gGy@Gw@@HGo @_\GnI>FGf@HGe@HGd@I@I#@HBGb)@IBGa.@I B4@IBG^G[@GZ@@H堠GR @GQIrGGIB@I+GHG@I0GGL@I5GFS@I6Y@I5BG:^@I:BG7c@IFG4@G1@@IG) @ G(IHG q@IZGv@I_G{@IdG@Ie@IdBG@IiBG@IuG@G@@ICG  @G IIG@IG@IF@I@I@IB@IBFF@IB@IBFF@F@@IwF @%"FJJF嚠@IF䚠@IF㚠@IF⚠@I@I@IB@IBFਗ਼@IBFݩ@IB@IBFک @IBFא@F@@IF̐ @heFJGKFÚ@JFš@JF!@J F&@J+@J1@J B7@JBF<@JBFA@JBG@J#BFL@J(BF@F@@IF @FJLFZ@JCF_@JHFd@JMi@JLo@JKBFu@JQBFz@JVBF@J\BF@F@@J1F @ߠFJMF@Jw@Jv@F]GF@IVW!@FF@F@@JTFx @FwK@Fr@Fp@Fo@JTۀFn@J@J@Fm@@FKFH @$!FGK8AFB@FFA@F@F@JTۀF?@JgF>@KB@KTۀF<F9@F8@@FzF0 @SPF/KgBF*@FF)@F @F@K"TۀF(@K'TۀF%@F"@@FF @vsFKCF%@FF*@FF/@F4@F:@KJTۀ@@KTBFF E@KYBK@K[TۀF P@K`TۀF @F@@F֠E @EKDE^@GEc@G"Eh@G'm@G&s@KTۀEy@KBE~@KB@KTۀE񩚠@KTۀE@E@@GE @EKEEݚ@GVEܚ@G[Eۚ@G`@G_@KTۀEک@KTۀE٩@KTۀ@KTۀEEӐ@E@@GCEʐ @EL0FEĚ@G@G@KTۀ@KW!EE@E@@GaE @:7ELNGE@G@G@LTۀE@LW!E@E@@GE @XUELlHE@GE @GE@G@G@L,Tۀ"@L2TۀEE'@L7Tۀ-@L=TۀEE@E@@GE @ELIE;@GE@@GEE@HEJ@H O@HU@LeTۀ[@LkTۀE`@LpTۀEe@LuTۀk@L{TۀE~p@LTۀE{@Ex@@GEp @ϠEoLJEj~@H=Ei@HBEh@HGEg@HL@HK@LTۀ@LTۀEf@LTۀEc@LTۀ@LTۀE`@LTۀE]@EZ@@H9ER @EQM&KEL@HEK@HEJ@H@H@LTۀEI@LTۀEH@LTۀEE@LTۀED@EA@@HmE9 @FCE8E1@E@@E@@E EE@E@@EE @DE@E!E@ED@Dt@D@@DˠDȐ @xuDEcADš'@DD,@D@2@DD7@DtD@D@@D頠D @DEBDE@DJ@DtD@D@@DD @DECDX@D]@DDc@DgD@D@@ED @ DEDDq@E v@DtD|@DgD@D@@E.D @۠DEED@DD@Dx@DgDwDu@Dt@@EIDh @DgEFDb@EDa@DD_@DgD^@D\@@EdDZ @DYEGDT@DDS@ER@EgDGDE@DD@@EDB @,)DAFHD<@DD;@Edt@E"gD9D7@D6@@ED4 @GDD3F2ID.@DD-@ED,@Et@EBgD'D% @ED$@D!@@ED @liDFWJD@ED @ED'@EtD ,@ED@D@@EޠC @CFvKC:@EC?@EC󠩚F@ECCM@E4C쩚R@EC@C@@FC @CFLCޚ`@ECݚe@E@k@ECܩCِr@ECא@C@@F$C̐ @ѠCFMCƚ@FCŚ@FCĚ@F#@@FC¶@@F!C@F&C@C@@FMC @CFNC@FBC@FGC@FL@@F;tC@@FAtC@FFtC@C@@FvC @# CGOC@Fl@Fb@C@@FC @63CG!PC@F@Flt@Cy@@FCu @IFCtG4QCoК@G @F @Cj.S怚 @Ft@C3T@Ci@@FC] @ @CW(c@CO@ @F@ @FCCCA &@F!@ +@F&CN /@C<CP 5@F0CX 9@CFC; =@C1C0C/C*@@FC( @@E/D@E  Q@FE  V@FE  ]@FEE d@FKE i@FECĠCC@@GC @ x@CWq@C  }@FxC  @F}C @C tCC @CC @CCBBB@@GKB BAB !CBAD @ @D.S@B @G @BB  BB@@GqD @ E@DLۀ@D @Gi @G_BӠ / ,BB@@GD, @ ^@D4.8 l@D@ @F@ @FDD @F@ @FD @D D @FD' @DD  @DC g dBB@@G C @ @C.@Eۚ @GEښ %@GE٠ ,@GEשEԠ 3@GEҩ 8@GEϐC  BB@@GC @ @C,@Cܚ L@GGCښ Q@GLDT X@CtCשCԠ _@DSCީ d@DqC㐑CΠ  BB@@H@@BjvBB CBB s CCɐB @ Ԡ BB@B @H @HvB@B@@B H @  BBAB. @H @HptB,@A@@BA @  ABBBA @HA퐩 @ABA@A@@B1A @  ABCBV @HAٚ @H@ @HAש @HA֐@A@@BOAӐ @ - *ABDBt @HA @H@ @HtA@ @HtA @HAǐ@A@@BsAÐ @ Q NACEB @IB @I@BJ @HBBQ @IB@A@@BA @AAA@AAAAA@ $@I4@ )@I9I3B .@I 2@Bj 6@I t@AAͶ@ <@IL@ A@IQIKA  AtAi@@BƠAg @  AfCYFAAA[AB횠 U@IeBp Z@IjAY _@Io@ DC@B;AW@ DC@B ;A_ DC@B;AV@AL@@BA= @C @IB @IA @I DC@A)mmAB@C0 @IB @IA @I@ @IA7@ @IA= @IA6A5  A*A@@C8Fΐ @C[ @IBޚ @IAǚ @I OE/D@A)mmA/@Cq @IB @IAݚ @I@ @ItAx@ @ItA~ @ItAwA$ O LAA@@CyGR @C @JC @JB @J EpDI@B4)mmA"@C @J*C5 @J/B $@J4@ *@CbA@ 0@ChA 5@CmAA  AA@@CA @Cݚ E@JUC` J@JZBI O@J_ ED@Bu)mmA@C󚠐 [@JkCv `@JpB_ e@Ju@ k@J@tA@ q@CB v@CAA  Ѡ A@@@C@ @D @JC @JB @J ED@B)mmA @D4 @JC @JB @J@ @CB;@ @JtBA @CB:A  @@@@D<@ @D_ @JC⚠ @JB˚ @J SF3E @B)mm@@Du @JC @JBᚠ @J@ @JB|@ @D+B @D0B{@ S P@@@@D}@ @D @KD# @KC  @K" FtEM@C8)mm@@D @K.D9 #@K3C" (@K8@ .@DfB@ 4@K"Bé 9@DqB@  @@@@D@א @Dᚠ I@KYDd N@K^CM S@Kc FE@Cy)mm@@D _@KoDz d@KtCc i@Ky@ o@K]B@ u@KJtC z@KOtB@ ՠ @@@@D@̐ @E" @KD @KC @K FE@C)mm@@E8 @KD @KC @K@ @KtC?@ @KCE @KtC>@ՠ  @@@@E@@ @  @EGEe @KD蚠 @KCњ @K@ @KCl@E" @KCtE) @KCo@@@@Em@ @ K H@FHE @L E @LC@L@EI @KC@@LCEV@LC@@@@E@ @ x u@F-IE'@L7EB,@L<@EqEs6@L$ED;@L)Cʐ@@@@E@ @  @FOJEᚠI@LYEdN@L^@EV@L+t@[@EC@@@@Eܠ@ @  @FoKFi@LyEn@L~@Ev@E@{@LPtD @@|@@E@z @ ڠ @yFLF!@LE@L@@LitE@Eِ@LD+@EEv@@n@@F"@@@ln@k@@@jn@i@h @ @gLR@b@LH@a@LM@@LE@`@]@K@[@@Z@@Ls@X @ @WM S@R@Lh@Q@Lm@P@Lf@N@K@Ldt@E@B@K@@@@=@@L@; @HE@:M3T@5@M@4@M @@K@3@Lt@0@@/@@L@- @fc@,MQU@'@L@&@L@%@M/@%@L@$@+@L@!0@L@ @@@@L⠠@ @@MzV@>@L@C@L@H@MX@N@L@@T@L;@Y@L@@@@@M @  @@ MW@g@M@l@M@q@M@w@Lt@@}@Ld@@Mt@@?@@M4? @?MX?@M)?@M.?@M@@M"t?@@L?񩚠@M-t?@?@@M]Du @ ?MY?蚠@MR?皠@MW?暠@M\@@MKt?@@MZ?⩚@M_?@?@@MDR @30?NZ?ٚ@M{?ؚ@M?ך@M@@M}?ֶ@@Mzt?ө@M?Ґ@?@@M?ϐ @\Y?NG[?ɚ @M?Ț@M@@Mt?Ƕ@@Mt?ĩ!@M?Ð@?@@MӠ? @}?Nk\?/@M?4@M/?;@Mt?A@M{g??H@Mt?M@M4?S@Mg?@?@@N? @?N]?a@M\?f@M@l@Mr@Mg??w@N?@?@@N)? @֠?N^?@N?@N#@@Nt?@NtN@Mg?@?@@NM? @?N_?@NB?@NG@@N??@NDN:@Mg?@?@@Nq? @?~O `?y@Nf?x@Nk?w@Nd?u@Ni@Ng?r@N#g?p@?n@@N?l @HE?kO3a?f@N?e@N?d@Nt?b@Nt@NHg?_@NMg?]@?[@@NŠ?Y @ro?XO]b!@N&@H*@I W!@?S@@Nܠ?I @?HOtc8@Nt=@I A@I"W!@?C@@N?A @?@OdO@NT@I5W!X@I5^【@?;@@O ?1 @?0Oef@Nk@I:o@IL^【@?+@@O!?' @Π?&Of}@Nt@IQ@Ic^【@?!@@O8? @?Og?@O-?@O2@@O*@Is?@@O5?@O:@IW!O4@?@@Of?  @? Oh?@O[?@O`?@OY?@OUt?@>@@O> @2/>Pi>@Oz>@O>󠩚@Oot>񩚠@Ott>@>@@O> @QN>P㚠@P>⚠@P>ᠩ>ߐ@N>ݩ>ڠ@O>ة@O>Ր@>@@O̠>А @yv>Pdk>ʚ(@P8>ɚ-@P=>Ȑ4@O>@>@@O栠> @>P~l>B@PR>G@PW>>>R@O9>W@O>>@>@@P > @>Pm>e@O>j@P>q@Ot>>x@P>@>@@P*> @נ>Pn>@P>@P$>>@P>@Pt>~@>{@@PK>y @>xPo>s@P@>r@PE>q@P>>o@>l@@Pe>j @>iPp>d@PZ>c@P_>b>`>^@P\>\@Pa>Y@>V@@P>T @52>SQ q>N@P}>M@P>L>J@Ptt>H@P>E@>B@@P>@ @VS>?QAr>:@P>9 @P>8@P>6>3@Pt>1@>.@@Pʠ>, @wt>+Qbs>&&@P>%+@P>$2@Pt>"@>@@P䠠> @>Q|t>@@P>E@P>>>P@Pt>U@Pt> @> @@Q> @>Qu>c@P^>h@Q==q@P=w@Pg=|@Q=@=@@Q.= @۠=Qv=횠@Q#=욠@Q(=뚠@Q-@@Q%=@@Q"t==栚@P=@P=ޠ@PJ@Pg=ܩ@Q?t=ې@=@@Qo= @=Rw=@Qd=@Qi@@Qa==@P=@P=@PQi@Q(g=@Qut=@=@@Q= @RO=R=x=@Q=@Q@ @Q=@P@QQg@K=Q@=@@QϠ= @|y=Rgy=@,@R<R6==@4@RDR>R<:@RJRD>@R,R!KζJ=C@RS@=@=J@RZ@P@R%t=@=J*X@Qg=}=]@Rm@c@R8t=|@=j@Rz={o@R@u@RJt=z@{@KK=y==w@=u@@R-=k @ڠ=jRz=@@RR==尶@@RRR@RR@RRL,J@R@=ޚ@R@@RtK@=뚠@R=Ś@R@@Rt=e@@KK=d==b>@RR> @R=㚠@R@@Rt=@@LK=?> @R=@R@@Rt=@@L2L=@R:g?$@=a@@R=_ @_\=^SJ{>n@@SSK@S$>Q@S*>+@S/@%@Rt>U@+@LcL3=?O@=Y@@Rݠ=W @=VSu|>@:@SJSDK9?@SO@>|E@SU>K@S[>\P@S`@V@S+t>o@\@LLd=Q?>a@Sq@g@S<t>=P@=O@@S=M @Ơ=LS}>ն@v@SS>ө>Ѱ@~@SSS@SS@SvSkMK@S@>ʚ@S@@SntL@>ך@S>@S@@St>Q@@LL>P>>N>횠@S@@St>>@=G@@Sn== @=<T~?*@@SSն?(?&@@SSݩS@SS㚠@SSMmKܚ@S@?!@? @S@@St?@?Kɐ@S1g??3@T @@St?=7@=6@@S=4 @a^=3TL?p@@T!T?n?l@@T)T#T!@T/T)#@TTML"(@T8@?e.@T>@4@T tHi>@?q:@TJ@@@Tt?p@?oLH@Sg?m?M@T]=.@=-@@S=+ @=*T@?@\@TlTf??@d@TtTnTlj@TzTtn@T\TQMLms@T@?y@T@@TTtH>h@?@T@@T`t?@?ɚ@T?@T@@Trt=%@@MM=$?>?ߚ@T=@="@@TZ=  @=TA@@@TT@@@@TTɩT@TTϚ@TTNYLȚ@T@@ @@ @T@@N=@L@Tg@>ض@@T@@Tt=@@,@U@@U @@Tt=@@TtL@ @TFg@9@@=@@T= @kh=UVB@z@@U+U%@x@v@#@U3U-U+)@U9U3-@UUNM,2@UB@@o8@UH@>@UtIs@@|E@UU@VJ@UZ@P@U%t= @V@U+tL?\@Tg@?@a@UqUE@i@Uy@zn@U~@t@UIt=0@z@UOtM @A@@U@@U@@U`t=G@@UftM @0@TgA@= @@UI=  @=UCA@@UUM@U@蚠@U@š@U@@Ut=@@UtMQ@_@UgA@=@@Uz= @'$=VDA6@@UUM֚@U@A@UA@U@@U@@Ut>@@UtM?BA5@V@@Ut>C?@<@@U< @c`<VNEAr@@V#VApAn@@V+V%V#!@V1V+%@VVON$*@V:@Ag0@V@@6@V tJk@At=@VMANB@VR@H@Vt>@N@V#tM@퐩T@UgA@AY@Vi@_@V4t>A@<@@V< @<VFAͶ@n@V~VxA˩Aɰ@v@VVV~|@VV@VnVcPN@V@AĶ@AÚ@V@@O>Ѷ@Nk@UgA@A֚@V@@Vzt>?ڐ@<@@VW< @<VGB@@VVBB@@VVƩV@VV̚@VVPVNŚ@V@B@V@@VtO@@B@V@@P?"@N@V%gB@B'@W?ѐ@<@@V<ސ @OL<W:HB^@@WW B\BZ@@WWW @WW@VVPO@W&@BS@W,@"@VtP0A @B_(@W8@.@Wt?m@Bl5@WEBF:@WJ@@@Wt<ض@F@WtN?ǐL@VgByAABQ@Wa@2@<@@W<Ր @<WIB@`@WpWjBB@h@WxWrWpn@W~Wxr@W`WUQOqw@W@B@B~@W@@WYtB@BO^@VgB@Bɚ@W@@P?ö@Or@VgBBBܚ@W<ϐ@<@@WW<ʐ @<WJC@@WWCC@@WWƩW@WW̚@WWQVOŚ@W@C @C @W@@WtC@CO@WgC@C@W@@Wt@@A"B鐩@QCC0@X =#@<@@W< @XU<XCKCg@@XXCeCc@@X XX@X&X @XWQ@W!@Q@C^'@X7@-@Xt2@RQ¶@BP :@WtgC_@Cw@@XP@F@Q~QךK@R@P$S@WgCBHCX@XhA9@<@@X < @<XLCƶ@g@XwXqCĩC°@o@XXyXwu@XXy@XgX\R @W@RO@C@X@@Xat@R`R!@B{Pj@WgC@C֚@X@@XztR6@Ry@C٩P@RC׶C@XA@<@@Xi< @<YMD%@@XXжD#D!@@XXةX@XXޚ@XXRhD@X@X_@XgE @C@X@@R)D!@D Pː@X3gDD @Y@@R<DB9@<@@X< @c`<YNNDr@@Y#YDpDn@@Y+Y%Y#!@Y1Y+%@YYRDa*@Y:@Di@D=1@YA@7@Y tDg@DfQ?@XygDdDPD@YT@J@YtDcB@<@@X< @<YOQRX@YhD@_@Yo@d@YtYnYlj@Yz@o@YYys@YaY{y@YY}@YkY`D@YD@Y<@YctQ@RR@<@@YE< @<YPQ@YD@@Y@@YYY@Y@@YYš@YY@YY̚@YYE@YDܚ@Y<堩@SN @YtR@<@@Y< @;8<Z&QQ䚠@Y<@ZE,@ZE@Z =@YtQ@S>S@<|@@Y@;@> @@=@gb;@@=@gm=@@>@gw@gB;@;@@=Р; @gd;hI;@>=;@>B@!@>%&@g;@,@=4t1@g=x6@>:;@g@@gB;@;~@@>;v @;uhJ;sN@>u;rS@>z@Y@=at^@g;q@d@>hi@g=n@>rs@gx@hB;p@;o@@>@;g @נ;fi'K;d@>;c@>@@=t@h ;b@@=t@h=詚@=t@h@hOB;a@;`@@>x;X @ ;Wi_L;U@>;T@>@@>@hB;S@>>@hxB;R@;Q@@>;K @85;JiM;H@?;G@?@@>@hk;F@?>D@hB;E@;D@@>ʠ;: @a^;9iN;7@?7;6@?<;5@?2;4@?7@%@>-t;3@+@?/1@hB;06@hB;/;@??;.@;-@@?;+ @;*iO;(I@?p;'N@?u;&S@?k;%X@?p@^@?b;$@d@>ltj@i B;!o@iB; t@?x;@;@@?<; @Ӡ;j#P;@?;@?;@?;@?@@>t;@@>t@iBB;@iGB;@>t;@;@@?u;  @  ; j\Q; @?; @?;@?;@?@@?@iuB;@izB;;@?:@?:@:@@?: @FC:jR:󚠐@@ :򚠐@@:񚠐@@:𚠐 @@@ @?t @iB:署 @iB::頩 @?$t:穚 !@?)t:@:@@?頠: @}:jS: /@@G:ߚ 4@@L@ :@@> @@iB:ޚ D@i:۠ K@@O? P@i U@@Y? Z@i@:@@@":ϐ @:k T:̚ h@@:˚ m@@@ s@@w x@i }@jB:ʩ:Ǡ @@ @i?ѩ @@ @j?ڐ@:@@@[: @:kBU: @@: @@@ @?t @jQB: @j*: @?t@ @j6 @?t@ @j@@:@@@: @ + (:k{V: @@: @@@ @?t @j^ @jB:: @?t @jo@C!@@t!@jy@L@:@@@͠: @ d a:kW:!@A::!@A?@!@@&t::!$@A<:!)@AA:!0@:@y!6@jB:!;@@Ct!@@kYA@:@@A :a @  @k@:`!O@:^:]!T@k:[!Y@:h:Y!^@:m@!d@:W!j@kg:V:T:S!q@:G!w@kTۀ:F!|@kTۀ:C!@:W!@kB!@kTۀ:A:S!@kB!@kTۀ:?:e@:>@@:: @  @l A:!@::!@::!@:!@!@:!@k::!@::!@:!@lTۀ:!@l Tۀ:@:@@:V9 @!1!.@lZB9!@:Q9!@:V9!@:[@!@:!@l99󠩚!@:9񩚠"@:"@l>Tۀ9𩚠" @lCTۀ9@9@@:9 @!k!h@lC9嚠"@:9䚠"@:9㚠"$@:@"*@;9⚠"/@lH9ᠩ"6@; 9ߩ";@;"A@lxTۀ9ީ"F@l}Tۀ9ݐ@9@@:ʠ9А @!!@lD9Ϛ"T@:9Κ"Y@:9͚"^@:@"d@;:9̚"i@l9ˠ"p@;F9ɩ"u@;K"{@lTۀ9ȩ"@lTۀ9ǐ@9@@;9 @!ߠ!@mE9"@:9"@;9"@; @"@9t"@l9@"@9t9"@9t"@lTۀ9"@lTۀ9@9@@;=9 @""@mAF9"@;89"@;=9"@;B@"@9t9"@l@"@9t9"@:t"@m$Tۀ9"@m)Tۀ9@9@@;v9 @"Q"N@mzG9#@;q9#@;v9# @;{@#@:,t#@m.9@#@:7t9# @:<t#&@m]Tۀ9#+@mbTۀ9@9@@;9 @""@mH9#9@;9#>@;9#C@;@#I@:et9#N@mg@#T@:pt9#Y@:ut#_@mTۀ9#d@mTۀ9@9@@;蠠9u @"à"@mI9t#r@<9s#w@<9r#|@m@9q#@$m@n99$t@;t9$y@;t$@nTۀ9$@nTۀ9@9@@=9 @##@o N9$@=9$@=9$@= @$@=x$@n99$@;t9$@;t$@nTۀ8$@nTۀ8@8@@=B8 @$$@oFO8$@==8󚠐$@=B8򚠐$@=G@$@=8񚠐$@n8𠩚$@<t8$@< t$@o*Tۀ8$@o/Tۀ8@8@@=|8 @$W$T@oP8⚠%@=w8ᚠ% @=|8%@=@%@=8ߚ%@o48ޠ%"@<>t8ܩ%'@68˶@%f@<t%k@o>@%q@>G8ʩ%v@>L%|@oTۀ8ɩ%@oTۀ8Ɛ@8@@>8 @$$@p R8%@>8%@>8%@> 8%@>@%@<t%@o8@%@<t8@%@<t%@o>m@%@<t8%@<t%@pTۀ8%@pTۀ8@8@@>T8 @%/%,@pXS8%@>O8%@>T@%@>%@p8@%@>%@p>%@>&@p&@p?Tۀ8@8@@>8 @%g%d@pT8&@>8&@>@&!@>8&&@p?@&,@?>󚠐&1@pJ&6@? &;@pT&@@pwTۀ8@8@@>Ġ8 @%%@pU8&N@>8&S@>@&Y@?/&^@pw8@&d@?:?+&i@p&n@?D&t@pTۀ8&x@p@8@@>8 @%נ%@qV8&@>8&@>@&@?g8&@p@&@?r&@p?g&@?|&@pTۀ8&@p@8@@?48x @&& @q8W8w&@?/8v&@?4@&@=t&@p8u@&@=t&@p?&@=t&@p&@qTۀ8t@8s@@?l8k @&G&D@qpX8j&@?g8i&@@ @'@?'@q8h8g' @?'@q+'@qNTۀ8e'@?'!@q:?@8d@@?8^ @&&}@qY8]'/@@>8\'4@?@':@@'?@qX8[8Z'F@@'K@qd'P@qTۀ8X'U@@+'Z@qs@'@8W@@?ޠ8Q @&&@qZ8P'h@?8O'm@@|@'s@@I'x@q8N8M'@>t'@q'@qTۀ8K'@>t'@q@Y@8J@@@8D @&&@r[8C'@@8B'@@@'@@'@q8A8@'@>t'@q'@qTۀ8>'@>t'@q@@8=@@@P87 @'+'(@rT\86'@@K85'@@P@'@@'@rW!84@'@@'@r@'@@'@r0W!(@r;Tۀ83@82@@@8* @'c'`@r]8)(@A!8((@A&8'(@A($@r[Tۀ8%((@rA8"(/@A"8(4@rM(9@A,8(>@rW@8@@@ 8 @''@r^8(L@r8(Q@r88 8(\@AO8(a@rz8(h@A[8(m@r8(t@Ag(z@rTۀ7(~@r@7@@A7 @'ݠ'@s_7󚠐(@A7򠩚(@A(@rTۀ7𚠐(@r(@A7횠(@r@7@@A+7 @((@s/`7隠(@A7蚠(@A@(@A(@rTۀ7皠(@r@7䐩(@AA(@r(@AA(@r@7@@Ae7 @(@(=@sia7ߚ(@A7ޚ(@B@(@A)@s7Tۀ7ݚ)@s@7ڐ) @AAښ)@s*)@B A䚠)@s4@7@@A7֐ @(@9I0@9B)+@B:9A)0@B?9@)7@B*)=@stTۀ9>)A@sZ9;)H@B;95)M@sf)R@BE94)W@sp7͠((@7@@Aߠ7ʐ @(@8@8)k@Bz8)p@B@)v@Bi)|@sTۀ8)@s@8)@B{BO)@s)@BBF)@s7Ǡ((@7@@B7Đ @)!@8@8)@B8)@B@)@B)@sTۀ8)@s@8)@BB)@s)@BB)@s7)2)/@7@@B_7 @):)7@tcb7)@B7)@B7)@B)@t)@t6Tۀ777*@B* @t&7*@B*@t077*@B7*#@t<*(@B7*-@tF@7@@B7 @))@tc7*;@B7*@@B@*F@Abt*K@td7@*Q@C'7*V@C,*\@tTۀ7*a@tTۀ7@7@@B堠7 @))@td7*o@B7*t@B@*z@At*@t7@*@At7*@At*@tTۀ7*@tTۀ7@7@@C7 @))@ue7*@C7*@C@*@At*@t7@*@C*@tTۀ7*@tTۀ7*@C7@7@@CM7 @*(*%@uQf7*@C7*@CM@*@At*@u7@*@B t*@u*Tۀ7*@u/Tۀ7*@Bt7@7@@C7~ @*\*Y@ug7}+ @C|7|+@C@+@C7{+@C+!@ueB+&@uWW!++@ubTۀ+0@uW^C+5@ulTۀ+:@ua^D@7x@@C7p @**@uh7o+H@C7m+M@C@+S@D)+X@uW!7k@+^@D4+c@uW!D)+h@Bt+n@uB7j+s@uTۀ7i@7h@@C7^ @*Ҡ*@ui7]+@D+@Bt+@u+@uTۀ7\@7Y@@D7Q @**@vj7P+@D7O+@D@+@Bt+@u7N@+@Bt+@uD+@Bt+@vB+@vTۀ7M+@vTۀ7L+@vB+@vTۀ7K+@vTۀ7J@7I@@Dc78 @+>+;@vgk77+@D^76+@Dc@+@Ct+@v75@,@Ct,@v!DΩ, @C)t,@vWB,@vPTۀ74,@vUTۀ73,#@vZTۀ,)@vmB72,.@vrB71@70@@D7& @++@vl7%,<@D7$,A@D@,G@Cct,L@ve7#@,R@Cnt,W@vpE,\@Cxt,b@vTۀ,h@vB7",m@vB7!,r@vTۀ,w@v^〩,|@vB,@vTۀ7 ,@vTۀ7@7@@E 7 @++@wm7,@E7,@E @,@Ct,@v7@,@Ct,@vEv,@Ct,@vTۀ,@vTۀ,@vTۀ,@v^〚,@v^EE,@w Tۀ,@wB7,@w$B7@7@@Ed@wu,@@@N!D@7  @@| @A@@@w,y @A@@xW-,@A@@|--B@A@@7- @@-@7-@"Tۀ7-@'Tۀ-!@g7-&@g7-+@t-0@@7@@y6 @EA=9@A6-@@-E@9t-J@O@7@7@@6 @d`\X@B6-_@b6-d@@7-l@`t-r@~Tۀ66-w@76󩚠-}@Tۀ-@g6-@g6-@6@6c@6@@ܠ6 @@AC6@-@-@6-@-@-@e-@i@@6@@6 @ԠР̠@mD6㚠-@@-@t-@Z66頚-@W6-@\6⠩-@7S7N-@-B-@Tۀ@Z6⩚@_66⠩. @t.@.@t.@&Tۀ.@t^〩$@6@6@@m6֐ @951-@E6ٚ.4@ 6ܚ.9@6ߚ.>@A@6ᠩ.F@:t.K@6㩚.P@Dt6䩚.V@bTۀ.[@^6@.a@76詚.g@B.m@yTۀ6=.r@7x@66@6@@6 @@&F6嚠.@@.@t.@6쩚.@7@.@Tۀ6t@6@@6 @@RG6횠.@@.@8.@?6.@8+@&.@+.@Tۀ6.@66@6@@$6 @@H6򚠐.@6.@@.@t6.@t@]6@b6@6@@O6 @@I6/@b6/@g@/!@9.'@7,@7/1@9>7@6@@z6 @FB>:@J6/A@D6/F@I@/L@@t/Q@7@/W@Kt/\@,7/c@Wt/i@uTۀ77署/n@bt8Щt@7@7@@6 @}@"K7/@7/@@/@t/@7 @/@t/@o7/@98-/@Tۀ7/@9@79@7@@7 @̠ȠĠ@eL/@9.L@+33@7@@7  @ܠ@}M/@9F33@7@@*7 @@N/@9X@S/@Q^〚0@cW!@7@@I7 @  @O7 0@\7 0@:$0@!@}70&@:30+@7@7@@t7  @@<84@P7 0;@>@0A@:N0F@W!70K@:XQ@7!@7@@7 @fb^Z@Q70a@d@0g@[t0l@70q@etw@7G@7@@7 @@%R70@7 0@0@t0@Tۀ@7@7@0@Tۀ7@7@@7 @ @[S7 0@70@@0@t0@M7@0@t0@X0@:@?0@Tۀ70@Tۀ0@bg@V7#0@mg@a7&@7%@@N7 @@T71@@1@t1 @7%1%@t+@11@g7*16@g<@7-@7,@@7" @QMIE@U7%1L@O@1R@Ft1W@7,7+1^@:d@1j@g7+1o@gu@7.1z@:@1@g73@74@73@@Ԡ71 @@9V741@@1@t1@&7;7:1@;@1@'g7>1@,g@ 7A7@1@7B1@7E1@;1@[ɩ1@;G1@Tg7K1@Tۀ7L@7K@@477 @@W7:1@r7=2@w2@t @g2@LB7F2@QB@x7G!@}7G@7E@@j7; @62.*@X7>21@47A26@9@2<@0t2A@7H@2G@;t2L@2Q@Et2W@B]@7Qb@7Rg@2m@yTۀ2r@^〩2w@B7Y@7X@@@2~~@@@'sqrt_up @6Q@Р)Datatypesx@3;f@@@@@@@@@@@@D!x6g@'compare6a6b6hߐ6s@ 6l@3?7V +k77!= R'6'7 7 7$'6''+k6'/@@A@B@AAL6~`X&` tEԠ6@@@@@,sqrt_up_eqn0 @@Y6q@2@tA2@j2@@@@DA=W@AEA=O@GA=M@IA=K@ABC@@.sqrt_up_nonneg @@#\4A@@@cA=v@AdA=n@fA=l@hA=j@ABC@@ࠠ*sqrt_up_wd @@B]<󀰶@<7o@X8@.=@@@A=@AA=@A=@A1DH @AA>@A>@A=@ABC@@t3sqrt_up_succ_square @@`67ö@WTASQ/7!@@@&A>9@(A>.@*A>,@ABC@@)sqrt_up_0 @@aw8$8#@@@;A>N@=A>C@?A>A@ABC@@)sqrt_up_1 @@b8$8D@@@PA>c@RA>X@TA>V@ABC@@̠)sqrt_up_2 @@.c4@^〚@@@oA>@ApA>z@rA>x@tA>v@ABC@@젠/le_sqrt_sqrt_up @@Nd4΀AƀA@@@A>@AA>@A>@A>@ABC@@4le_sqrt_up_succ_sqrt @@pe5]【A€A@@@A>@AA>@A>@A>@ABC@@41sqrt_sqrt_up_spec @@f8@A>5@tߩ㩚5@ t驚Ӏ-񩚠1@@@A?@AA?@A?@A?@ABC@@x2sqrt_sqrt_up_exact @@g:8Ƕ@[XA<ꀠ[-]!>`8㷐?k8婛>T|yOw>ƩWW@@@?A?R@A@A?J@BA?H@DA?F@FA>,@ABCD@@/sqrt_up_le_mono @@ h9?9@BA>񩚠d@@@jA?}@AkA?u@mA?s@oA?q@ABC@@砠1sqrt_up_lt_cancel @@Ii66?68@BĀA?@@@A?@AA?@A?@A?@ABC@@1sqrt_up_lt_square @@rj9_?9a@B@=ဠ?O?O>t造?S>|@@@A?@A?@A?@ABC@@G1sqrt_up_le_square @@k 9@9@,)B@41驚=€>>ۀ??F9>?@@@A@@AA@@A@ @A@ @ABC@@+sqrt_up_pos @@lB6ϩ=ꀠ@c[AKnA@@@,A@?@.A@8@0A@2@ABC@@.sqrt_up_lt_lin @@ mj:@eۀAlII@@@OA@b@APA@Z@RA@X@TA@V@ABC@@̠.sqrt_up_le_lin @@.n:@Amm@@@sA@@AtA@~@vA@|@xA@z@ABC@@1sqrt_up_mul_above @@Ro:?@:A@ՀҀB@݀ڀ〠ր?T@/‐?\怐@;@@@A@@AA@@A@@A@@ABC@@-1sqrt_up_mul_below @@p:A:@쀠B@􀠚ϩ倐?퀐#@x'Հ?@@@@AA@AAA@A@@A@@ABC@@r/sqrt_up_succ_le @@q4:@URA\O-1[@@@%AA8@A&AA0@(AA.@*AA,@ABC@@/sqrt_up_succ_or @@rd:@A=?aKeSu_c@@@@@ޠ:sqrt_up_eq_succ_iff_square @@@s;-@A?Pˀ@΀;QA;S@€ꀠ倠A4Ő@@@AA@AAA@AA@AA@A@@ABCD@@,.sqrt_up_add_le @@t:﶐B:쩚7@7BBABA@@@AA@AAA@AA@AA@ABC@@`.add_sqrt_up_le @@u";B7;@EBB@MJS?J@ĩNA,VY@A@@@*AB=@A+AB5@-AB3@/AB1@ABC@@@@@ @@A@@AB@@d@ABCDt@@@@ ӳ2@ ӳ2[)Datatypes$Init#Coq@@A@ Գq@ Գq\ @A@AB@ @A@B=@@@AB@@?@ABC?@}@ADE@@@&Basics'Program#Coq@0!bs߯? :VU$Bool#Coq@0j 2cZ`FW*CMorphisms'Classes#Coq@0qیZBeϠ0CRelationClasses'Classes#Coq@0TL;0RUfw1;:9@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.A0\͉!Ig*Logic_Type$Init#Coq@0 1jc6B͠B̠B@0Imӽ%\$PD.Morphisms_Prop'Classes#Coq@0% :B'.>u%%NZAdd&NatInt'Numbers#Coq@00h`ZK4*NZAddOrder&NatInt'Numbers#Coq@0e~1>r砠(NZAxioms&NatInt'NumbersQ@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,#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ֱC`C_C^@0Gz rA6ՠ>>>@0]4Ѐd{n^2Relation_Operators)Relations#Coq@0%s鯰s)Relations#Coq@0@L@K@J@0S_`nOU$&Specif$Init#Coq@0;RWMi\N'Tactics$Init#Coq@0/9m+ a'Tactics'Program#Coq@038\@W2 Q@@@@"_7@b@A@@@@@@@@"_82M접"_9'`o@A@@r@@]8\[Q@#_11@FF@@FA@@%√ _@F  @@#√@@@$√ A@@@@#_12%c?@@@@@@@w@@@@'@%√ x@k8\i@q#tӡ~@sV@A@_@@6w@m@A@A@A}#tӡ@@A@l@@6w@z@A@A@@@ 6@j@A@A@AB@i8\g@2 Q@@A@#_15x@yx@A@@@@@#_162M접 #_17'`o@B@@@@n2 Q@@A@#_18@yN'@#_192M접  #_20'`o@B@@@Ҡ@@{8\~@#tӡ@@A@v@@3d@LF@A@A3lv@KD@A@3l@JB@A@AB3l@I@@A@3@H>@A@A4@G<@A@4t@F:@A@ABC4V@E8@A@4 @D6@A@A4@C4@A@4^@B2@A@A?@A0@A@@p@@.@A@@@?,@A@ABCDE@A#tӡ@@A@>@@3d@sm@A@A3lv@rk@A@3l@qi@A@AB3l@pg@A@3@oe@A@A4@nc@A@4t@ma@A@ABC4V@l_@A@4 @k]@A@A4@j[@A@4^@iY@A@A?@hW@A@@p@gU@A@@@fS@A@ABCDE@RР@@@o@A@A@AB@8\@#tӡI@K@A@B{@@t{@@A@A{@@A@|p@@A@AB|@@A@@@A@Ag@@A@@@A@ABC@@A@@@A@AC@@A@ @@A@A|@@A@)@@A@@@A@ABCDE@A#tӡX@Zo@A@B@@t{@@A@A{@@A@|p@@A@AB|@@A@@@A@Ag@@A@@@A@ABC@@A@@@A@AC@@A@ @@A@A|@@A@)@@A@@@A@ABCDE@1@@4 @F@A@A@AB@E8\CT@E2 Q@@A@#_26U@EO1@A@@@@@#_272M접 #_28'`o@B@@@xE@E2 Q@@A@#_29|@E$@A@@@@@#_302M접 #_31'`o@A@@%@E2 Q@@A@#_32@E%N@A@@@@@#_332M접 #_34'`o@C@@@@uƠE@E^2 Q@@J@#_35@Ei 7w@A@@@@ @#_362M접 #_37'`o@@@@#_3846@@@EtL@@@!#_39X@3typeclass_instancesE@@@EEEEEEEE/@@@@UE@ )Coq.Numbers.NatInt.NZSqrt.NZSqrtProp#<>#1?QՏ@E2 Q@@A@#_40,@E!7&@A@@@@l@#_412M접 #_42'`o@B@@@F|@E=2 Q@@A@#_43S@EHR@A@@@@@#_442M접 #_45'`o@E@@@@@@_w1FUF(@E(2 Q@@A@#_46@E3%e_@A@@@@@#_472M접 #_48'`o@B@@@[F@E+2 Q@@A@#_49@E6 Z@A@@@@@#_502M접 #_51'`o@B@@@G@E 2 Q@@A@#_52@E+,@A@@@@@#_532M접 #_54'`o@C@@@@G(@E$2 Q@@A@#_55@E/ x@A@@@@?@#_562M접 #_57'`o@C@@@@Gr@E&2 Q@@A@#_58*@E1,U.@A@@@@j@#_592M접 #_60'`o@D@@@@@GG@E2 Q@@A@#_61Y@E& c@A@@@@@#_622M접 #_63'`o@D@@@@@03GG@E2 Q@@A@#_64@E _@A@@@@@#_652M접 #_66'`o@@@@E2 Q@@A@#_67@E& `@A@@@@@#_682M접 #_69'`o@@@@E%2 Q@@A@#_70@E0 a@A@@@@@#_712M접 #_72'`o@@@@E$2 Q@@A@#_73@E/6n7@A@@@@%@#_742M접 #_75'`o@A@@@E2 Q@@A@#_76@E*$`@A@@@@H@#_772M접 #_78'`o@B@@@점Hw@E$2 Q@@A@#_79/@E/$Bʄ@A@@@@o@#_802M접 #_81'`o@B@@@H@E2 Q@@A@#_82V@E&z@A@@@@@#_832M접 #_84'`o@B@@@@E2 Q@@A@#_85}@EwQ@A@@@@@#_862M접 #_87'`o@D@@@@@TWHҠH@D2 Q@@A@#_88@E @A@@@@@#_892M접 #_90'`o@B@@@H@D2 Q@@A@#_91@D [@A@@@@@#_922M접 #_93'`o@B@@@I#@Dؠ2 Q@@A@#_94@D=PZ@A@@@@:@#_952M접 #_96'`o@B@@@ϠIJ@D2 Q@@A@#_97!@D"d@A@@@@a@#_982M접 #_99'`o@B@@@jh@D2 Q@@A@$_100H@D+H@A@@@@@$_1012M접 $_102'`o@D@@@@@"II@@D8\D?à?4@ 92 Q@@@@$_109 @A@@@@@$_1102M접 r&HasCmp@'compare2/͠$_111'`o@A@@@m@ 2 Q@@A@$_114D@ 8?@A@@@@@$_1152M접 $_116'`o@B@@@C &@ 2 Q@@A@$_117D@ b@A@@@@@$_1182M접 $_119'`o@B@@@CǠ '@ 2 Q@@A@$_120E @ 8A@A@@@@6@$_1212M접 $_122'`o@B@@@C N@ ݠ2 Q@@A@$_123E1@ = S@A@@@@]@$_1242M접 $_125'`o@A@@A@ 2 Q@@J@$_126ET@ /FU@A@@@@@$_1272M접 $_128'`o@@@@$_12946@vr@$_130X@qI@@@),I47   .@@pN 37E@ +Coq.Numbers.NatInt.NZSqrt.NZSqrtUpProp#<>#1*@ 2 Q@@A@$_131E@ >@A@@@@@$_1322M접 $_133'`o@D@@@@@DD J@ 2 Q@@A@$_134E@ =$@A@@@@ @$_1352M접 $_136'`o@B@@@DH@ 2 Q@@A@$_137F@  @A@@@@1@$_1382M접 $_139'`o@B@@@Dڠo@ 2 Q@@A@$_140F,@ >Y~@A@@@@X@$_1412M접 $_142'`o@@@@ 2 Q@@A@$_143FK@ >Y@A@@@@w@$_1442M접 $_145'`o@@@@ 2 Q@@A@$_146Fj@ >Y@A@@@@@$_1472M접 $_148'`o@@@@ 2 Q@@A@$_149F@ q@A@@@@@$_1502M접 $_151'`o@A@@A@ 2 Q@@A@$_152F@ 4@A@@@@@$_1532M접 $_154'`o@A@@B@ 2 Q@@A@$_155F@ 0@A@@@@@$_1562M접 $_157'`o@B@@@E9@ 2 Q@@A@$_158F@ 1F@A@@@@"@$_1592M접 $_160'`o@B@@@Eˠ`@ ̠2 Q@@A@$_161G@ /@A@@@@I@$_1622M접 $_163'`o@C@@@@EE@ Π2 Q@@A@$_164GH@ .W@A@@@@t@$_1652M접 $_166'`o@C@@@@CC!@ Р2 Q@@A@$_167Gs@ 1MB@A@@@@@$_1682M접 $_169'`o@D@@@@@FJFM⠐@ Ƞ2 Q@@A@$_170G@  @A@@@@@$_1712M접 $_172'`o@D@@@@@FyF|@ 2 Q@@A@$_173G@ c @A@@@@@$_1742M접 $_175'`o@A@@C@ 2 Q@@A@$_176G@ װ&}!bH!A&NZSqrt&NatInt'Numbers#Coq@@!t/"LT@"lt/@#mul0&XA%@$succ<9r Ȑ!oJ!C/@+le_gt_cases08@$zero<ߘB%Logic$Init<@"or @L@"le/>BAAAA@@@@@D@(CN+-DE"Hb I ,@)False_induُȐ!H%lemmaz@"eq/xf^@#add0!q(  )Morphisms'Classes@2subrelation_properJ74@@A@*respectful%WO? * ,f@#iffС)@%lt_wd8:&Basics'Program@$flip$%%% @$impl7o)Datatypes@$unitUe@AB@6subrelation_respectful>6z <\\I@0subrelation_reflv c9+ Dee 9+Q@9iff_flip_impl_subrelation2VAʠEeѠ̩Ӡb@6reflexive_proper_proxy5|/RelationClassesi@5Equivalence_ReflexiveReflexive_partial_app_morphism 2R,i rmXN4.)624驚+@(symmetry0xj(2@5Equivalence_Symmetric. U/A @'add_0_r=9$@.add_lt_le_monok+˷!pA!nD!mG@Р @#andЖw@BBB@@@@D@@GIDxFz@PK*M V@XSF VD@1mul_lt_mono_neg_l6i<X@"@@!jA@><@!)bGV@.lt_succ_diag_r JHE@:@GpYu<@\xNw=`@DS@r@)le_succ_l0ـ@@ hfup/Dr@%Falsee@"H0Щ0Private_OrderTac#Tac@)lt_irrefl,i`׀\\@(lt_trans+In!a@+lt_ge_cases&倠@I!B@$sqrt8SXӠ"Haĩ,dLqgc@%le_wd U@6ͩϩ砩@(sqrt_negᣗ署@+reflexivity(ϓ/˩!@2PreOrder_ReflexivevvҚ@+le_preorder2hQр.٩$*NZSqrtProp@0sqrt_spec_nonnegO1CȐ"a0F@)sqrt_spec1L8(⠩!RRݩ*ߩ%X@/DD83+J>9jo<49Jw @)not_ge_lt{L}PH"H1' "H2e`Ge]"H3togHӠxpIx@+le_lt_trans if ,('FiCg@#notШ;?]iy{p@eq`b00Kf#LEb#LTbj66ܩ@,transitivity>4 @3PreOrder_Transitive4(ۀ@-square_nonnegbĠ{ 9ߠڠ栩㠩꠩yJu됩s  x,{#Cq+4Ȑ#Ha'@+sqrt_nonneg$נǩҠޠ@ڠ栩"NJ#LEa#LTa0 +#ط LM@@?0 @ DŶ@󩚠\@)lt_succ_r-,ɐ@@@R*&h$iIKLA@6square_lt_simpl_nonnegH R J@*lt_le_incl MG  ?=:@5 )@5@#fFD4iSM/v''x#K|4nN9̐O7אPQ5n:%#h=-3At@@O>w|C6Hw*+}İ[xw]|q3lḛa_T֠  ;Z堩RRV렩栩XPI"H4KKH"H5,RQ"H6 iS  G!,lrx~͐?% J\CRݩ@*not_neq_eq\ǀᵷڠ穷ޠ*&@'eq_refl &ڀ@%le_eq:75@&neq_eq-j=Y@*le_antisymŀ"ECܐ3!x"x'"Hxf1U47B@Y6c8"H|,*(Nk@=trans_co_eq_inv_impl_morphism&ni$0@6Equivalence_TransitiveWHx[[#@/eq_proper_proxy)fbEC1@>trans_sym_co_inv_impl_morphism'\|K@/Equivalence_PER/;vàiYWpD4:6(#d[fƩзdt@+sqrt_unique%NשiS4IKKIM@NNCLPPEE.Morphisms_Prop]@0and_iff_morphism ƳVZOX\\QC2( ^SS#`U, bbWWWI,i_]! ۠@,xuyTȩ}yy~SI DvK Fv\@4iff_impl_subrelation59C@&ProperL@))++?X.9Lܠ蠩L% @ @"ex @H!rKԠgˠ0p4;W@#two00`;"LE'PȐ!e6@-le_exists_sub2 .+m/nS3BBB@@@@D@=A+ e F@4 n:Fry>tN%P@E#cU`ZN,l#rrVʩbZx"Hr#Hr'ZyAuiGW>q}ugAXO,ptt*db Yz6!gv]_!Ġ@(add_comm6* r |@@r.4@wNT5@ @-add_le_mono_r K\b@@14}yfQG/ */c],)w+:+5+ H8W[4[W}R@9iff_iff_iff_impl_morphism8CO}K/1ة .ԩ6,L8#+#_Y@-iff_Reflexive/h (@*mul_succ_r3Vj\")<ޠ+4)so"SD$X,nZE(M"" A@*add_succ_r;ʿ@4@j[mq, s^@'succ_wd0F$ @&add_wd+RF Mt))+KKIԩ$"Fy@#one0(, @l,[._`?)E,9gE,;0&=@&mul_wd-:Mg!RR)@(two_succgIOM),1& &O#!`J h,<\2h),^SI#)!=S=ppG@(one_succ:Kmk̠dР$  ,S H.HqE"lکnڠ.,^~T*,ukE*٠|$$,k"`F`],xn" ,_" " ,:x)^xuӠ ,'',)t /@'mul_0_lր6Y%,WF{ϩ'',,BB".,D,""%H@'add_0_l;Ï/ة>/Ѡw 4yuhdީ<""n$ ꠩T,u{1X,n"nE1MA@)add_assoc&Oʧ Vz}{!c~Ʃ*6bi.H=@2>>Nq6-@ 2,s"HcM&N;F8"EQ'3?Ͱ(71/,&ĩ4Xc!e.E,<j>)+ / FàxөRPG@462 ԩKY!![# ڷ۷@@_a@fh@m o@-add_le_mono_l Kې@@@Ķ$ ,v^^=  , n nM c,.||[ 9&I:D5rʩȠJJ2,HJĠ;̩[LVȠʠA̠CC2U- 4]X9 L©4}y"lhҩG ˩֩KϩS,iiکzku Lթ~oyש$%4=/bj,4 mq4RD y,K.v(($ $"i4fX!#s,3 aDB@@<<:}(4zl*57$,$Dr/U02**U**USSO6OMD):<4 \,3S)>d\?777b``\CVo׷@,sqrt_unique'R!b(@'le_reflt΅"@1mul_nonneg_nonnegW>Z<@)not_gt_le2Q̩iЩ)N(ApDsCl@<_0_1/ %ǀ@<_1_2/ '1-i+) ө ש' #*)Ґl Ro   r  C.ͩˠ   J 0Ƞ  - A S] Va Dt [@$pred;ĩ 4@,lt_succ_pred@s 1 , H G  0 M `, " - `"#I0 m h `  s vt,   v    z  ) m  ) m n F y"";M O 'O3 z" ' % |%,   *  L  / Q L x @+mul_pos_pos'q~ R R W W E C   : s DⰩ w    " / $@-iff_Symmetric!x   u \ ZQ p,  = ] %    c 5  ˠ:  Ϡ|v  Ðz P E!  ʠL x v c4 Y U  B - #     z     @2mul_lt_mono_nonneg8 !3        @t@kd@u@j ʶ  x  o 4 v r  _ J @f "  " " b   ?   #Hab  Ƿ@  )  4   # s ^ T  Ω 4 %  /Рn  2  0  Ƶ v  )(     Q   C    砩 ѩ -@ ʩ 5˩  +$_tmp&#! - @' x 7 ) J  < * ܩ C -کIکֵ  Щ [ 8ҩ _Ω c ^ǩ d  _  b ! Q )C!     }[ i h C B@  v 1 8 P eH> 0 1 V  4/  p, p k 3 1D t ,   4  !     #   8 %6 z  F U C ҷ R \      m@  y  W J Y kN ]   aRb V 1< I   ?]L   C5c  @ РMV Đ S | @  H ޠ Ґ  @ n P  ڰRq Vs F @2mul_le_mono_nonneg)"hT Q\Q\ S P  II   [LW Ǡ[P TQ        k   CT   j vms C* i ? B @ K   v@    @   E  < f   ک ؠ h   4    V    n k 6 Y  1 q 8 j [  e󠩚 8@+sqrt_square%e_  >@,sqrt_le_mono, W  H   < :  o  &@4 %  Q6 d-  w +|x      <  |  }  3  4@ o : q 1 !@ té u  x   ]!  D@R {  ! o4TDK$   _  ǩh  e  e . |Cͩ @   X  7 v 5  <  ww    x    X C  H4 @.sqrt_lt_cancel x   Ms ,  , L  ^m pok  T R  +$  V&   @'sqrt_wd 7w     b     ,    Ґ o m ΠKKKG$  rB O R    y  T TTC V @'mul_1_l!_C^_   H  d b ; j   C c5pp   v , |3 q"  # )  t Ϡ}  % ,    {   0 !  +  @'mul_1_r!_Iҩ]- 9 u75ٵ ©   "M y  m  C  ) Y A | [ Z] $&$ ҩ Р  M   , @'add_1_r=΢ $ X  7 Z  4   婚 @,PER_morphism q f     W i  s  l@ \ 9ߩ ^ ;@ ` =>  @ ;   D 4   j     F ]        \@&sqrt_0 _ e 0  䠩 @V  |  E  q   s " !ҩ 4   N     y  " t {   ( & 4   W       + }   ' @&sqrt_1 `I p 8 "4   e      Q Q   9  Sש ?  m }I ܰ q ^  `      ķ ϩ  Q #         r  t  ; 0   @.sqrt_lt_square c   m (  ~ uLᐩ J    C  t r Ӡ P  b4 X T  F A , "  נ T   {      }  d  V ` ©  C #  h   n c? 蠩 @1mul_lt_mono_pos_lMe r ԩ  [        Y   % d         [    AC  9 u7 ϰ ˵ ©     1 ' 婷 - + /        Ɛ    ! C 5 v L W j "      @     R  8     '   ʩ     Ð   L    :  5 Q =   8C ϐC-SetoidTactics @0default_relation    @3equivalence_defaultú  " O#Heq ѩ 8   C     ' " Y p " Y p  4   I     ] t ] ]  C@     a N 3 , q ) q ok `n  = O@ f [      "H'  h C   = I G A >   G   _ - R 8( 8   M+ L U ?4 5 1   /4 ? ?e Z ,   W    Y : O  B 7  >  z C 9-Cj  ib tD\ m Z8 P L   9 $  \ \L  \L ʩ vN `4 V R   ? * P PPРJ    SC@|  {t wV  j h ͷLP    @+sqrt_lt_lin$`   . r  @ u    ! !      V 4 { w   d O E  y   `      *  %  0  .  )      =  4    ) y d Z     7    ۷@  堩  ߩ I      4    <  w m"  ֩$  ,,B   ' Ʃ SD  N   # Y, XI  S  թ Ӡ4 4   Q   0   $@'mul_0_r!]  <$   A ? & Ȑ#Hb'  cfd@@ @ &!@    I@.sqrt_le_square,U. @1@@0,  < z}{@1@29]Щef       &Ip  r [ 4  D    vx [ z cu| ]    m@,mul_shuffle1.\      q     FF4 @  a@ z r {@ z@ qq @  } w 4 ' 'wwB  ϐ  qUrK @v@w z@ oE@@?5 Q@J@@I `  жѶ@@R u   ty   c k ^ W x h p c \ð -pnϠѠ   ,Uu=  w  נ٠  ۠  ֠]        (@  @   ѐ@ з@  /@ # Ω    6   *   % w UD ȩ@,le_le_succ_r顽 ѩ   ,*xD;,6F   }8   @'add_1_l=Μ)@+lt_le_trans1Fo1ĩ ` .$$f8,N:3h$ʠh ̠ l3   K_ޠՠ 7 I,_KDy5; @) TX L NB@,succ_lt_mono!ء *zsWJ@-add_square_le rq 0_   XV   QJ?x V:@QF  W  L" |,bB   [  `  W > 7 ]A; ː  P J C B [ 4@&eq_neq,p= L ݐ  N @&eq_sym,x€  U W ltC .(utW@.le_succ_diag_rT=\mMANJ-[=tǰ ? A49  ) p  M|/ v p   Y 吩  Ґ   {   C l! @,sqrt_succ_le H)< S@  &)'Ҡҩ@ .1/ڠک%  ~8  l' à   ˩4 e a  T P  (*]  7:4 w s  f bAw y`   B B}}9@ r y .!!  ' { ͐  z  Ր y^ }  ~  ~Gc  'JC J@%proj1OEx|ti{]@%proj2OjfrIy 1@b@W=5 7KBA; lA?  $B f 33 5Lr $K o::jcϰe 3[ÐqCYRn^ ] L_xwȐ!Re4Relation_Definitions)Relations@(relation'Jj3 eCPuа\@(succ_inj$b $ې8t@6trans_co_impl_morphismo ^ 䐩Ha}  v$ q ;0ÐL  r$>! $-       @0sqrt_pred_square ZM%7A CRȐ#AUXi?B@KI/,EGZYJT@b G-ccРFکؠ @,V X k5  䠩)#L,bdsdnDg?F !)k'l.m%@@'@+j @!07 z @@@ FB@Gf#P(%Ry)֩|\4sC @HNC hvO@ Ya\GEJM  Y@ cŐ.B/N A?6.4$ q Ґ;Ր>AN YUSJ{h,8X ZPnZ [ksx~h:ΠaXiÐe nosҐ_T0 ٠?.  @1add_nonneg_nonneg$Eҩx w%Ʒ@#٩,&ʠ֠ _-۷@Рܠ   k#é$4 ` \  O} K/1 .6,L8]NX-<>Ϡ;3ՠ l   ߠKS,  t %z '@Y2 2!\,r^t~8Sa^V  0  +  ldt|,   N)'@'B}B@B,   ^/ M1)))'), +/-1/ R42q+s$4   v  o3q,!Aou))" m+ OJH`Ab,. #   #0% {9@!; d,8X.'`%559. 7 fa_NXPT,E :   :-@ΠaP,NC) PE NؠwɐkPu,YyOH}NTҠ ~uDn4=  8J;ې}CC,mc\CR R {II K--ti / ѩm,~5s$Y s*u ;@ e)kA X,&{my y 1 ss;,6uAA= C)5$,VEz =!@()1,c^ +X -^6թ'ɠˠ7ש?,UAh  ΰh   8ݩj[eߠV&EC4 (rnhfF--x / Ƞ\ũM`˩*c,  +A@A @b]55 07&  ߠsީfZC|, -@2HBV, Z6 I8PN%NzA]=>-r@+add_le_mono;&@^,.lCX]1Ce,NZSqrtUpProp@'sqrt_up=y;n @~zmeRK>:gz@mu6?;.]@%eq_lt){NNd@l8ŀTאk@|8@ $C'kvfJmi/ԩaA@7CCX͐pT 4wsƠ@RTۀoѠ 1 @(c @.|+ @'pred_wd)akl--򚠐@.S57+%% ;/,-@.0(@ ԂG '55@+sqrt_up_eqnb;YW)4bCN\BG>GG``3'''r)R@)pred_succ#:k)@ hnQ2s^7"xK46p##y:+,qDDC>hsFV uHXǩo~77sM Scҩ~P~"^U`,bW dY![>ࠩa@bp_\ dgS6U'4/+&L37P$zo@." `@3(z9~PAKjO g `!,@é {q l u gǩWh'[u @_BөA@V{ߠ9fL,+)(&$_Da@,sqrt_up_eqn08?]\W@R3T٠e, D5Zn@f c@N!D@j !w!y%"y'("Hy # @&?B)i@/ @q=@'compare 2<%@  _P@"3ک12AgX-+'A?`/ 3j0FGBP@bG"q@ zQzS|@(eq_trans9d f iz°kWE\Yo>pCy)nI'9@%lt_eq)z'@\@rVp@RPcxwG\ Щl oDC CFHEa|h^=Πd; ,`_5a*Af-ʷ@@lũT[=<50G^.J;ȩȰoϠ橷% A[(^uaT O"'fCCp@"@#%' )* )F@0reflexive_properm+(m 8 :<!@:reflexive_eq_dom_reflexive=[C E@.flip_Reflexive-#@.impl_ReflexiveJ$Ga%@'f_equal=<]@=#SX,gE:B*Zty,'\\+k1dMB50/61 6rIF$yLA\7{@e28Eɀ7 o@ 4=5rPI۩_oC`C߰@fff2 iU̷@t44ԩ;\ Z?3@#܎à[[©@RODaɩé7~ũ$Y?)̩Π n i穷ݩΩԩCEFɩ~CLN9@ 'sр֠"ߠq,1>$ߐ u w%4@@#)24P#\ 90,^>f$=$L ,IA'K.)-=@@`K$E74p "?],X++*%OAZ-=C8aSc-<e`3C Vp 39`ojmC>)p^ qk@ KxJx$ װ{RSY֠@+lt_eq_casesWq0ݠ #dOKEf$l XTNbkv@g(9~$8C7b@5 ݀a 8]G$I)"Ϡ4vY ̩ Ʃ4    &@ #ncr,z޷[mܩPF$u[wG .,)@@Ҡ;O@ؠ@ܠl됷@@eECh l@tJ'00SS7$$3ᐩ66|554G*Lg$4>H@@?&@M 9>!2=q$D˩ܩ~@*sqrt_up_wd/FUAP#CCCRET@!vNY署@.sqrt_up_square=$Re^7kg@:W!:$m@ڐܐ * uH7wI@ #nƀ%Ov=R@^〩*@OT)`-2Ce l@0TJp@0U|&ie_$: --u/~29t7[@~;ũ?éCGGMI JLL#nO C<ԩUn4 4 l:h:ְf=f=@ M̀Ǡ$~|O##%ؠ $-[// @ 2R〩q6 @kS~ ũ 4]\ZX ;z+=|W}) #4ih*fd %%%^!@$2R
@'9눀ӷ<:$4xw9us%ީðWGYթI,נ򩚠9@ */Řa RS}@T@LOaG@V@M[\YQUtb1Xa:F\N4c;O^^^#@[KwCj*xgqZ@dua;dbawwsb橷U$K($""zod@頩j@,succ_le_mono K7@+eکI,||3,~5FfT}@ Ek÷O0C@qCUH`ĠXXȠ11~bƷ@U@ӠAAȠנ*@@ߠ]]xܶ@k!/@kew@E@\$/̩\@,sqrt_up_spec8Aϐ@@I@Z:Lҩ47642 4©<Zߠk,J; Fbb~@)sqrt_up_0>Y~Hw,V+GRl"@W'(E92@`01NG  57:51"Ro/>(4zb@O;YE[Nk I_ ,+ p -"x ,X++*P(eZ-=gZLj^1ll28-^'@<p#((rivy,tDN }R9xwQ[ڐ*f,@9uKyx搩6@' ȀCh& @1sqrt_sqrt_up_spec0w@{^ַ@ˠ1<?!8 ˩ 4m,wGC2ũ3ک$VY    ߩЩ>cc*={߷T(@ߩ@@mǠF4.-+)CHHHzJh@.sqrt_up_nonneg= S~ؠW4?><:TŐ)\\\ԠS˩ D iMC,۩|, [0"ss2j4?-x)&5&(8jCM446Ӱ:;<; }M{Nx@m@JL_I@OLRQ@4@ @^_ ~^H4]5}Yg:J]m_o'gsctEDihiCA tM8,~QQvrSctѠ)v Ȱx@uW-Z  tt␩ C|  Q(jCe萑:n.÷@étĩd9.멷,poe g xITCY_@ k+Xn!ᵷ pZ`9c C j* 4)(&$tFU,42| LNϠҠ7#Ԡ 'ؠ$ڠ7?_a@#"$@0M9ַN L I@>@Ҷ@ѩ@@5@ @` 0^ 1 ^f0 ed4po 0mkM < Pii > !k$v>{, E  ~  G *tu I wvN N Oѷ[ҩ@ "c $e@ 'mi )] p VS 4n  et@ B| '} sʩ Lѐ |yX@ IˀrӰN  gddw ma  ܩ  #6CxV @1sqrt_up_lt_cancel.W@4 gD =  \ 5 >CDi@ @ !+,    Y    \ [" ?@/sqrt_up_le_mono/c$*ک@5square_le_mono_nonneg0Ē.33 ۠v/   ީk% @x@ 2.˩Pɐ@5 @3 D @ Ǡ  @ \ ʠ  k{P 64<; 97 V     Y iؠ    } ,  fh 4VU SQp ! r   "@;Ŷ# é4cb $`^} .  , ,) @)sqrt_up_1>Ybk34qp 2 nl+LL 8  82v ֩հ <6W   Jǩ ~I e34  G N bb 5 TԷҩ Ke\pXKɩ .Vא J ZJt ^wm  `pC8Ʃ  m , t G G A 1 v I Y 3  ȩtF I   K   O @  Q < 4^S/ؠw x@ D ^ a.  c 2+ g4 J i /  >,  v v pȩ& 6Ω4 v V#  ~ 6%SᐑK ,>Ϸ@=  92 K4  g w b  @ݠ@ @ @   ީ <@ @! Ѷ  $   㩚@+sqrt_le_lin p ک & (u ܠ   l8: F 1  M,    ,  *  v{B  !(S,    2  0z   ~J   L  @S; ~  ة4 = <   : 8  :X4 B A   ? = \   7     @@A@6VT@i j @1sqrt_up_le_square @a@@b !-h_ + ,@@iЩ 6B 7Dͩ Ch:2  ?   A=, ?   z 7 O EA B  % H J L @ j ] ] @*׀ bUgUneVof Z [ g ] _ `@@@@  5 @1sqrt_up_lt_square1MBi@@@ Ax v w@@&K  , g  v  SsA    ~ ~CW  _     Cb0JA % s ^+,  x x  r   ѩ b V R { ~ F      &@+sqrt_up_posc of  X  ^&,        )  s ʩ &f$ %a ө  aa v cc4       蠩 n| r 9nn @f9O {2+ @ U@ @@  / @ \h= i  ک V      ᩷  ᠩ @B s,    R  'L   N   " . s $    u  @^?5 ) @(le_trans֍;"  9&& 2ԩ, 9   t 1 In"*;,= >@!,t CC E  (EΩ C ; '  ), P # #  H `9 R . Q # 5 Qd U 7 ,  > b{r n 5@^  h`  m   ސg   n D  @  u  ~ N   X m \  ۠ _ I    &  S "起e o   s  `r |#  Kې   o ! ꐩ   C!   ?Q=9{ ©! 1   ]4 à+ T a (ԩ & ש  / H ©  Q !9  X &c  !(!D^!!+C& f@/sqrt_up_succ_le% Ā  @ ڠ @ܩ ޠ!,@A !  /  ꩷! q  ʩ!Q3  !q !W  & 4 !  8 0!-1! # !1 ()9 - , X 0  0 !C   4v!> ~!*4 | ©  O   U  K  G  C!  [ . >@ 0 !6!+!r!] 6  !K4!! 6ǩ b ^!! !m!? B o !!]4 !,!' s !!! !~  9 vP*! \mX b!ᐩ 1ʐoo!!搩{!!Cd j  O   ! y!a + i  !!,!C!2   ֩!9!! !D !@8per_partial_app_morphismp   !L "i   ŷ@E""? ˷  @  " ! R!!!4    !  C  a  d "2!ީ  R  N$   qT";  Z@3sqrt_up_succ_square  !    aa }4!"J  \㐑4  "t } ! !a,   @   r!!      & "`    "  栩 !s,   R '  "h@C==/K!7"U"  "Z!,'   b 7 !)  ""; !{,  ">"}! ".!`0!^1!e2!\@!Q@ 00*!F@4. /!@93!V< @!y@@@E!^"!~N!|O!P""_E"dȰ"aG"Uj!   !N!"m"C 'q ^"_@ {Y ϐEU ط!f"g" "@cgb" 8 =""@k ᐩg!xh3"ɠ""wPoO"d4  y Q ".  t/ w* @"کz "` p _@7:!"i  !, nn  "p  "\;""x2c_Y6"4   } "Z ,jf`0#))' {? @+add_pos_pos !"F"# " ",   "E ;   # "ǩ !à %"2,   )ɠ &#+@*add_succ_l;Lh"ީ"ޠ?C"}@@"@""#BY   M%" "4 2 1  /" -L " R    " " "  "  >"  # 䠩 3"ѐ 5""4 Q P  N" Lѐːې S"% ''#wL#%ې#4 g f( d" b #**(   $@+sqrt_add_le K$#;"m="k>"r?"i@"^@ ==7թ8Զ@B<ө=@GAѩBЩ#@!yΐ@@@#"\"]"^# @/le_sqrt_sqrt_upq!o"i#j! #v #@Qga.{ h"#u#G`_Ӱw#U#Ӡ  1#"#@kG ##֩#y4  f #C  ЩS #qgש##4  t #Q  #, { j ݩ#+} #se#$mic(#,  #:#vxtn' F*$7  AQ "#S#$#Ʃ p#4  #0Ǡ $)#[!@=Dr#ݩ#4 #ޠ " u$B88## IO#JJ#V##$X o$#ؠ)]# &V#d##$f } ! 33А!  < m@+add_sqrt_le?jˀ C $&  ͩ$y Z$& E#,-hf Y <"$~ְ#"$$B$B$0  ש$& P$0 V#,7  rp*c O"+$-#=$o$o !$<  $E 2=$?#,IO ũ<?#N!1 X ΩE$K   "P#_$n$$\#^#_#`@/#@#@>48n#|@8r#ws#zD@E=2w#vC@ n{#q@@@$#|#}#~@M$ 6- ɩR@+add_lt_mono>, "k "|$###@Ͷ@d@η@$ƶ##ѩ$ "o$ Y$|4i$F !$!!Щ$n~!ҠD"x$(#"z$$ "$y "$4y$V "$""$,~"T"$#"$$2$4$b,  s$, ) ({ $<   w t#$J#%)|.ɠ ? L0 0$(, < ; F$O HK $,, @ ?"R#%"$ ȩ$4   $ Ơ ʩ$5, I H   %*$\ ʩ$٩( -$4$ %4$$ @$'?5p$#$L,+ &71_ p" |7 7$X, l k v07"%M# Lm ~$2$ %ܠ $$$4EDB$@#$`#%b$ #@4mul_le_mono_nonneg_r'  $% #  ##%#%&#  ©##"d#1#.""9%S"?"<"?%m%"B."r%M$>#1"uz$B#%5 ۩~%UC#" %F Ʒ$ ĩ   ĵ#N  穷%O)#'#P" ՠ %u   %g%lC#& #>%Zީ%D4Y1%R  &  !   n۩"Ԑo \  '$,r E wc 5$wg$$$vIY%%ȩ%t n%^4sK%(lЩ? :q%   %Sc o%~Wv]%k4X%5  %## q %`<%$,dd  ,N %!2 R2$, p  2%'%% %Ӱ%%} F%%%4%\%9 J%;%>%=&%6  >% R 3%Ʃ% :$u 8 2$#© R%#ǩ##%ө#ȩ# g#" L"=" P"9"Y"&,V"""%%h" z [%k#Ր" } ^&5$琩#" &%@%eq_le){#&#ɩ+#($#吩Y##&)%~C#6 [% w$ u o  u#%ة& ##%C jˀB!pBI7