"`& ` C&Zorder&ZArith#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ֱ'BinNums'Numbers#Coq@0dmk(5Ju<*EqdepFacts%Logic#Coq@0FI$ͼՋ`)Eqdep_dec%Logic#Coq@0u wWIϰ߼&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!>$Bool#Coq@0j 2cZ`FW*Equalities*Structures#Coq@0όe얟)H.Ƞ2Relation_Operators)Relations#Coq@0%s鯰s4Operators_Properties)Relations#Coq@0U3y#h&)Relations#Coq@0r砠*NZMulOrder&NatInt'Numbers#Coq@0}\^ !"k}@R(NZParity&NatInt'Numbers#Coq@0H>ca'^^%NZPow&NatInt'Numbers#Coq@0)6*9 B:vȻ&NZSqrt&NatInt'Numbers#Coq@0` .%m%NZLog&NatInt'Numbers#Coq@0ꔉ .uV%NZDiv&NatInt'Numbers#Coq@0$ |J?d (w%NZGcd&NatInt'Numbers#Coq@0KgT7|&NZBits&NatInt'Numbers#Coq@0MlIpKt'NAxioms(Abstract'Natural'Numbers#Coq@0Zخb1Z3uuѠ,NZProperties&NatInt'Numbers#Coq@01D%E`|3x%NBase(Abstract'Natural'Numbers#Coq@0 Y?V vI$NAdd(Abstract'Natural'Numbers#Coq@05;ZW:㥜un$&NOrder(Abstract'Natural'Numbers#Coq@0]@7U#oY)NAddOrder(Abstract'Natural'Numbers#Coq@02'8zn7Hfɠ)NMulOrder(Abstract'Natural'Numbers#Coq@04> Aat/ j $NSub(Abstract'Natural'Numbers#Coq@0:DfJᠠ'NMaxMin(Abstract'Natural'Numbers#Coq@0]v|Qg̟ʠ'NParity(Abstract'Natural'Numbers#Coq@0̗SKz*!&4h$NPow(Abstract'Natural'Numbers#Coq@0҆mulf%NSqrt(Abstract'Natural'Numbers#Coq@0<ge$NLog(Abstract'Natural'Numbers#Coq@0Ko=BA@@@@@j'dec_Zgt @@B𩚠,BA@@@@@'dec_Zge @@CD@"ge1P,BA@@@@@'not_Zeq @@ D02@@#notШ>BA"@@@@@Š*Zle_not_lt @@3E#XK@5@"le1P,BA1BÐ@@@@@堠*Zlt_not_le @@SFCx6k@UBAN*.@@@@@*Zle_not_gt @@pG`S@=BAkYK@@@@@*Zgt_not_le @@H}p@lBAdh@@@@@<*Znot_ge_lt @@I϶¶@BA7@@@@@Y*Znot_lt_ge @@J춐߶@̀BAހT@@@@@v*Znot_gt_le @@K @ـǀBAq@@@@@*Znot_le_gt @@L&@ҀBAꀠܐ@@@@@'not_Zne @@Mt@iBA@@@@@͠(Zgt_asym @@;N+`S@BA6$Ȑ@@@@@ꠠ*Zgt_irrefl @@XOH}J8AA@@@@@,Zle_lt_or_eq @@nP^Q@;BAzIlM@@@@@!)Zgt_trans @@Qr!p@qCB@xj|H @@@@@B,Zle_gt_trans @@Rƶ׶!ʶ@BC@<h@@@@@@b,Zgt_le_trans @@S趐A@CB@\`@@@@@)Zge_trans @@Ta @CB@|ʩ @@@@@/Zsucc_le_compat @@U&7@݀AB〠b@$succ1\w&ZArithE@D@$succ @@@@@Ϡ/Zsucc_lt_compat @@=V-b U@?BAE-ʩ1@@@@@/Zsucc_gt_compat @@^WNtA@=ABCN9R@@@@@,Zsucc_gt_reg @@Xod@`kApBn`@@@@@4,Zsucc_le_reg @@Y#%@oAB}3@@@@@U,Zsucc_lt_reg @@ZDF@ŀBAӀT@@@@@v(Zgt_succ @@[eˀAA@@@@@,Znot_le_succ @@\{쀐Ȁ倐AA@@@@@+Zgt_le_succ @@]*;@󀠐AB瀠@@@@@à+Zle_gt_succ @@1^!VI@BA! @@@@@ࠠ+Zle_lt_succ @@N_>s1f@BAVש>)@@@@@+Zlt_le_succ @@k`[N@mBA>[F@@@@@+Zgt_succ_le @@axk @grAB_c@@@@@7+Zlt_succ_le @@bʶ(@BA|2@@@@@T+Zle_succ_gt @@cCڶ@BAO@@@@@q+Zle_succ_le @@d`@ɀBAl@@@@@-Zgt_succ_pred @@e}#@ۀA瀐B倠@$pred1\@$pred j@@@@@-Zlt_succ_pred @@"f:@$ BA.&@@@@@ՠ/Zlt_0_le_0_pred @@Cg3Y@C87O@@67@AAAM(@@@@@/Zgt_0_le_0_pred @@jhZ@GA(A=/AmH@@@@@+Zle_neg_pos @@i'BinNums'Numbers#Coq@@(positive*@!qf@!Z7@CB BA@@@@@N)Zgt_pos_0 @@j)2"BAA@@@@@i)Zle_0_pos @@kDMA@BA@@@@@)Zlt_neg_0 @@l_h󀠩XCAA@@@@@)Zle_0_nat @@ m)Datatypes$Init#Coq@@#nat@䀠A@&of_natbz@&of_nat1?G!A@@@@@ɠ1Zgt_succ_gt_or_eq @@7n'O@!BAр$9f̐@@@@@1Zplus_gt_compat_l @@\oL?t@=CBCj@#add1P&M@ ̀=A@@@@@1Zplus_gt_compat_r @@psf@fCBl);b-f@@@@@:1Zplus_le_compat_l @@qͶ-@wCB}L^P;@@@@@]1Zplus_le_compat_r @@r㶐<H@CBos^@@@@@1Zplus_lt_compat_l @@s_s@򀠐CB@@@@@1Zplus_lt_compat_r @@t6)@CB@@@@@Ơ.Zplus_le_reg_l @@4u$@ҀAC؀ABɐ@@@@@렠.Zplus_le_reg_r @@YvIڶ<ֶܶ@(CABA8@@@@@.Zplus_lt_reg_l @@~wna@AC"AB:@@@@@5.Zplus_lt_reg_r @@x$& @ACAGBA_8@@@@@Z.Zplus_gt_reg_l @@yAC9M@fAClAB]@@@@@.Zplus_gt_reg_r @@znp^j@΀CABAހ@@@@@1Zmult_le_compat_r @@ { 7*,@ဠCB@耠A署(@#mul1P] @ @@@@@Ӡ1Zmult_le_compat_l @@ A| 1f $Y[@CB@ A / 3 @@@@@1Zmult_lt_compat_r @@ l} \ O@p-AA@y !}Y * ] - @@@@@(1Zmult_gt_compat_r @@ ~  y@wAXA@ K $ T , W 0@@@@@R6Zmult_gt_0_lt_compat_r @@  嶐 ض1@AA@̀ u Nр ~ V  Z@@@@@|6Zmult_gt_0_le_compat_r @@ @    [ @ˀAA@€  xƀ׀  ۀ  @@@@@6Zmult_lt_0_le_compat_r @@ A  9  , .@ AA@쀠      @@@@@Р6Zmult_gt_0_lt_compat_l @@ >B . c ! V g@ AA@ K  ̩ O+  /  @@@@@1Zmult_lt_compat_l @@ hC X  K  @ l)AA@ u   yU  &Y  )@@@@@ $1Zmult_gt_compat_l @@ D   u  @ sATA@ | G   ( P , S@@@@@ N1Zmult_ge_compat_r @@ E  ᶐ  Զ- @ˀCB@Ҁ Aـ { S ~ W@@@@@ y1Zmult_ge_compat_l @@ F    X @CB@ A Հ ~ ـ  @@@@@ /Zmult_ge_compat @@ G  7  9 , .@ #DB@ *  @ / ̜A@ 7 ԜA >HGF @@@@@ ᠠ/Zmult_le_compat @@ OH ? t 2 v i k@ DB@ '  +@ ,A'@ 4&A/ ;L=<P; !@@@@@ 3Zmult_gt_0_lt_reg_r @@ I y  n @ lAMA@ t D kx ! o  M L@@@@@ G.Zmult_lt_reg_r @@ J , .& ϶@ vAA@ € n  K  ΀ w v@@@@@ q.Zmult_le_reg_r @@ K V XP @ AA@ Ȁ  ̀ u é À  @@@@@ 3Zmult_lt_0_le_reg_r @@ L  z #@ AA@ ဠ  驚   퀠  ʐ@@@@@ Š.Zmult_ge_reg_r @@ 3M #  \@ AA@ K      W  @@@@@ .Zmult_gt_reg_r @@ ]N MԶ @ֶ @ >AA@ GF  =J  A S  @@@@@ /Zmult_lt_compat @@ O w  j   @%Logic$Init#Coq@@#andЖw@ gYAD DB@ zlA Z  ^   g j C@@@@@ e0Zmult_lt_compat2 @@ P  鶐  붐 D @ @L ݀AD DB@_ A    Ʃ ׀ ۀ  @@@@@ 1Zmult_gt_0_compat @@ Q  9  ;@ 󀠐BA@  A   A@@@@@ Р6Zmult_gt_0_le_0_compat @@ >R . c ! V@ BA@ A   A/  @@@@@ 0Zmult_le_0_reg_r @@ hS X  K@ GB(A@ >0AR I  I;A @@@@@ $0Zmult_lt_0_reg_r @@ T   u @ QAB@ ZA| s % eA ,@@@@@ N5Zmult_gt_0_lt_0_reg_r @@ U  ᶐ 5@ B|A@ ǀA  O ҀA V@@@@@ x0Zmult_gt_0_reg_l @@ V   ɛ @ ǀBA@ Ѐπ x ƜA ۀ A@@@@@ 0Zlt_square_simpl @@W ( @ ߀AB@   𩚠   )  ѐ@@@@@ ̠0Zgt_square_simpl @@:X* _@ GBA@ "!  ʩ% .  Ґ@@@@@ -Zeq_plus_swap @@bYR 㶐Eݶ ਗ਼ S@#iffС) [CAB f C }@#sub1P `@ pBA@@@@@ &.Zlt_0_minus_lt @@Z w @ UA"BA t&@@@@@ H.Zle_0_minus_le @@[ 7"@ uABBA F@@@@@ h.Zle_minus_le_0 @@\ 춐 @ AB Ahf@@@@@ @@@ ӳ2@ ӳ2[)Datatypes$Init#Coq@@A@ Գq@ Գq\ @A@AB@@@"O@(PeanoNat%Arith#Coq@#Nat@&of_int"O#Nat$Init#Coq@@ 6@A@A\@&BinInt&ZArith#Coq@!Z@'quotrem\)BinIntDef&ZArith#Coq@!Z@ /@A@\@@+pred_double\@/S@@A@As2@3@&shiftls2*@vY@A@BCs8@8@&shiftrs8/@vY@A@ѓ@>@&squareѓ5@y@A@@D@&to_intϑ;@@A@z@5@&doublez,@/!@A@ABCD/@O@)log2_iter/F@wd@A@NH/@B@&moduloNH/9@1,@A@A\d@G@&of_int\d>@1?A @A@bz@M@&of_natbzD@1?G!@A@#@S@&shiftl#J@1dV@A@#@Y@&shiftr#P@1d\@A@ABCD/x@&BinPos&PArith#Coq@#Pos@)pred_mask/x)BinPosDef&PArith#Coq@#Pos@ )X@A@6@x@&square6o@19@A@AV+L@}@&to_intV+Lt@2@A@V1b@@&to_natV1bz@2 @A@V5=@@&to_posV5=@2@A@ABCl@@)sqrt_iterl@!$:@A@@@6@(sub_mask@-@)@A@ADEF c@@'testbit c@!ć@A@7 B@D@'of_uint7 B;@*`]?@A@AG@I@)mask_rectG@@+ED@A@F˱@O@)add_carryF˱F@+p@A@AB^Ҷ@@'to_uint^Ҷ@#m@A@gL7@@'sqrtremgL7@40@A@Aq@@'testbitq@5)@A@ݎO@@+succ_doubleݎO@6r@A@A p@l@0double_pred_mask pc@0-+m@A@BCD T@&BinNat&NArith#Coq@!N@!t T)BinNatDef&NArith#Coq@!N@ 2@A@ @@#add @3 @A@A l@@#div l@3@A@ Y@%@#eqb Y@3@A@AB #@*@#gcd #!@3n@A@ T@0@#leb T'@3@A@ACEG "@5@#lor ",@3m@A@ q@?@#ltb q6@3@A@A @D@#max ;@3@A@ @J@#min A@3`@A@AB @O@#mul F@3B@A@ ~@U@#odd ~L@3@A@AC =@Z@#one =Q@3@A@ @b@#pow ˑY@3@A@A c@g@#sub c^@3@A@ @m@#two d@3J@A@AB hx@r@$div2 hxi@>@A@ @x@$even o@>4@A@ACD @}@$ggcd Бt@>U@A@ @@$iter }@>:@A@A 3"@@$land 3"@>m@A@ F)@@$log2 F)@>t@A@AB S@@$lxor S@>@A@ @@$pred @?U@A@AC @@$size ܑ@?'@A@ !@@$sqrt !@?@A@A ! @@$succ ! @?\@A@ !7@@$zero !7@@P@A@ *@@%ldiff *@@A@AB g_@1@+pred_double g_(@25\@A@CD m@6@÷ m-@2j@A@S@=@&of_intS㫑4@4}5@A@AS@B@&of_natS9@4};@A@BEFGH\R@G@(mask_ind\R>@4@A@\^@Q@(mask_rec\^H@4@A@A!,@V@&pred_N!,M@4s)@A@B@[@&shiftlR@5X@A@@b@&shiftrY@5X@A@A&@g@&square&ّ^@5,x@A@BC"@l@&to_int"c@5L@A@"@t@&to_nat"k@5L @A@AnTq@y@+testbit_natnTqp@6n@A@B@@(succ_posB@@A@I@@'abs_natI@?n@A@AB.@@'of_uint.@MS@A@3~@@'sqrtrem3~@7]%{@A@ACD,@ @'bitwise,@/v@A@>4'@@'testbit>4'@8g$@A@A{U@@,sqrtrem_step{U@8R@A@u^@9@(div_euclu^0@ @A@Afz@@'to_uintfz@9w@A@Bl@'@'comparel@3R@A@CDEFs8@,@+of_uint_accs8#@5+@A@}@R@,pos_div_eucl}I@&`@A@3x@(@'compare3x@]=@A@A@^@&doubleU@'޺_@A@BCq@@+of_succ_natq@$@A@w@i@&modulowɑ`@)1@A@ADK@n@&of_intKe@)j,I@A@K@v@&of_natKm@)j2_@A@AI@{@&shiftlIr@*O@A@O@@&shiftrOx@*O@A@AB,@@&square,}@*ow@A@Z@@&to_intZ@*81@A@ACE`@@&to_nat`@*9G@A@e@@+testbit_nateđ@+@A@A+{@@'sqrtrem+{ё@,J@A@5z@@'testbit5z@-T|@A@A @@'to_uint ͑@.@A@ @@+succ_double @.^4@A@A#@'@'compare#ݑ@ )Q@A@BCD%t2@,@(size_nat%t2#@ @A@%9@3@+of_uint_acc%9*@ ΋@A@A%V@8@+double_mask%V/@ S@A@%%@>@'div2_up%%5@ "@A@ABEF'ş@C@'Ndouble'ş:@ @A@(b0@K@*shiftl_nat(b0B@9-@A@A(nՖ@P@*shiftr_nat(nՖG@'@A@(@V@0succ_double_mask(M@@A@*W$@\@,compare_cont*W$S@!@A@.0@b@.sub_mask_carry.0Y@΂@A@ABCD.@@!t.@ ;@A@.먩@@#add.먩@ `@A@A.U@@#div.U@ @A@.B@@#eqb.B@ @A@A. @@#gcd. @ @A@.=@@#leb.=@ @A@ABCEGHI. @@#lor. @ @A@.Z@ @#ltb.Z@ @A@A.p@@#max.p@ '@A@B.@@#min. @ @A@.@@#mul.@ @A@AC.g@@#odd.g@ @A@.&@&@#one.&@ @A@A.뾴@+@#pow.뾴"@ k@A@.L@1@#sub.L(@ @A@.@7@#two..@ @A@ABCD.,a@<@$div2.,a3@ @A@.Xz@D@$even.Xz;@ ?1@A@A.@I@$iter.ؑ@@ @A@B. @N@$land. E@ @A@. @T@$log2. K@ @A@ACE.@Y@$lxor.P@ R@A@.y@`@$pred.yW@ `<@A@A.Ʉ@e@$sqrt.Ʉ\@ ;@A@.@l@$succ.c@ @A@.t @r@$zero.t i@ Z@A@AB/@w@.to_little_uint/n@ @A@CDF/@|@%ldiff/s@ H@A@00@@'compare00@?H{@A@A1P%@w@!t1P%n@  @A@B1P@|@#abs1Ps@ @A@1P&@@#add1P&z@ @A@A1P@@#div1Pґ@ y@A@BC1P@@#eqb1P@ f@A@1P@@#gcd1P@ 0@A@A1P@@#geb1P@ T@A@B1P@@#gtb1Pʑ@ q@A@1Pĺ@@#leb1Pĺ@ a@A@A1Pň@@#lor1Pň@ /@A@BCD1P@@#ltb1Pב@ ~@A@1P@@#max1P@ @A@A1P{@@#min1P{@ "@A@B1P]@@#mul1P]@ @A@1P@@#odd1P@ @A@A1Pɣ@@#one1Pɣ@ J@A@BC1P@@#opp1Pԑ@ {@A@1P1@@#pow1P1@ @A@A1P;@@#rem1P;@ @A@B1P@@#sgn1Pˑ@ r@A@1P@@#sub1Pɑ@ p@A@A1Pe@@#two1Pe@  @A@BCDE1[8@@$div21[8ޑ@ @A@1[d@@$even1[d@ I@A@A1[6@@$ggcd1[6@ i@A@B1[U@ @$iter1[U@ @A@1\@@$land1\@ /@A@A1\@@$log21\ @ 6@A@BC1\$@@$lxor1\$@ @A@1\Y@$@$of_N1\YÑ@ >j@A@A1\@)@$pred1\ @ j@A@B1\@.@$quot1\֑%@ }@A@1\@5@$sqrt1\,@ @A@A1\w@:@$succ1\w1@ @A@BC1\k@?@$to_N1\k6@ @A@1]@G@$zero1]>@ eD@A@A2:@L@%abs_N2:C@ @A@21@R@%ldiff21I@ ߵ@A@2=*@X@%quot22=*O@ @A@ABC2kF@@(size_nat2kF@{@A@3@x@(tail_add3o@^q@A@ADEFGH3@}@(tail_mul3t@^@A@5Z@@*shiftl_nat5Z@y/@A@5f}@@*shiftr_nat5f}@4@A@AB5a@@'iter_op5a@ @A@C6w~@@'of_uint6w~@^5@A@8j@@'of_uint8j@'"h@A@9E@@(div_eucl9Eđ@(*k@A@AB:x@6@,Nsucc_double:x-@ ʭ@A@CD@[@&divmod>R@C@A@>@b@&double>Y@NĴ@A@?2@S@,pos_div_eucl?2J@-u@A@AB?;@m@&modulo?;d@"i@A@CEFGIJ@*Arith_base%Arith#Coq@0Ĕ}CS&Basics'Program#Coq@0!bs߯? :VU'Between%Arith#Coq@06v*0ur`C00BpHޞun^)BinIntDef&ZArith#Coq@0ådR4Tuy&BinNat&NArith#Coq@0K11ڤs+Π)BinNatDef&NArith#Coq@03@1O,[{ 'BinNums'Numbers#Coq@0dmk(5Ju<&BinPos&PArith#Coq@0vyػ0= u)BinPosDef&PArith#Coq@0}H d.%,b$Bool#Coq@0j 2cZ`FW*CMorphisms'Classes#Coq@0qیZBeϠ0CRelationClasses'Classes#Coq@0TL;0RUfw1+Compare_dec%Arith#Coq@0jXF 8@0.i bYN Z)Decidable%Logic#Coq@0ND걸풬/Oߠ'Decimal$Init#Coq@0C涳N*ua%EqNat%Arith#Coq@0AIgՋXRV *EqdepFacts%Logic#Coq@0FI$ͼՋ`)Eqdep_dec%Logic#Coq@0u wWIϰ߼*Equalities*Structures#Coq@0όe얟)H.Ƞ+Equivalence'Classes#Coq@07;ꮹ)Factorial%Arith#Coq@0@oehJd-GenericMinMax*Structures#Coq@0måj$"Gt%Arith#Coq@0䙛#c:D $Init'Classes#Coq@0](p{yOh."Le%Arith#Coq@0d}Omq+I0\͉!Ig*Logic_Type$Init#Coq@0 1jc6"Lt%Arith#Coq@0KZ-eJkP܏%Minus%Arith#Coq@0LFtR")Morphisms'Classes#Coq@0Imӽ%\$PD.Morphisms_Prop'Classes#Coq@0% :B'.>u%$Mult%Arith#Coq@0햖Qyb0$NAdd(Abstract'Natural'Numbers#Coq@05;ZW:㥜un$)NAddOrder(Abstract'Natural'Numbers#Coq@02'8zn7Hfɠ'NAxioms(Abstract'Natural'Numbers#Coq@0Zخb1Z3uuѠ%NBase(Abstract'Natural'Numbers#Coq@0 Y?V vI%NBits(Abstract'Natural'Numbers#Coq@0qteo_hɅ $NDiv(Abstract'Natural'Numbers#Coq@0bz$?[p(5$NGcd(Abstract'Natural'Numbers#Coq@08E-S ;j_Ҡ$NLcm(Abstract'Natural'Numbers#Coq@0 ~xZ9L{:$NLog(Abstract'Natural'Numbers#Coq@0K Aat/ j &NOrder(Abstract'Natural'Numbers#Coq@0]@7U#oY'NParity(Abstract'Natural'Numbers#Coq@0̗SKz*!&4h$NPow(Abstract'Natural'Numbers#Coq@0҆mulf+NProperties(Abstract'Natural'Numbers#Coq@0unt"kwpYC%NSqrt(Abstract'Natural'Numbers#Coq@0<ge$NSub(Abstract'Natural'Numbers#Coq@0:DfJᠠ%NZAdd&NatInt'Numbers#Coq@00h`ZK4*NZAddOrder&NatInt'Numbers#Coq@0e~1>r砠(NZAxioms&NatInt'Numbers#Coq@0] ρ5r&NZBase&NatInt'Numbers#Coq@0^&8yUL&NZBits&NatInt'Numbers#Coq@0MlIpKt%NZDiv&NatInt'Numbers#Coq@0$ |J?d (w%NZGcd&NatInt'Numbers#Coq@0KgT7|%NZLog&NatInt'Numbers#Coq@0ꔉ .uV%NZMul&NatInt'Numbers#Coq@0ctR~6[Ƞ*NZMulOrder&NatInt'Numbers#Coq@0}\^ !"k}@R'NZOrder&NatInt'Numbers#Coq@0 q;Ve7R W,(NZParity&NatInt'Numbers#Coq@0H>ca'^^%NZPow&NatInt'Numbers#Coq@0)6*9 B:vȻ,NZProperties&NatInt'Numbers#Coq@01D%E`|3x&NZSqrt&NatInt'Numbers#Coq@0` .%m#Nat$Init#Coq@0eʤģPSR蠠)Notations$Init#Coq@0&v!D]hwnv *NumPrelude'Numbers#Coq@05WUVŦ]xVXԠ4Operators_Properties)Relations#Coq@0U3y#h&&Orders*Structures#Coq@0$Znl0\͗+OrdersFacts*Structures#Coq@05Mܿ獐ζΖLB)OrdersTac*Structures#Coq@05'4Ԗ+9%%Peano$Init#Coq@0 jha|ؠ(PeanoNat%Arith#Coq@0O~2$k[#lZ)Peano_dec%Arith#Coq@0Kݢ*k$Plus%Arith#Coq@04tmG$Pnat&PArith#Coq@0,?pr.gZ'Prelude$Init#Coq@0JqTttֱ/RelationClasses'Classes#Coq@0Gz rA6ՠ4Relation_Definitions)Relations#Coq@0]4Ѐd{n^2Relation_Operators)Relations#Coq@0%s鯰s)Relations#Coq@0-SetoidTactics'Classes#Coq@0S_`nOU$Ր0;RWMi\N'Tactics$Init#Coq@0/9m+ a'Tactics'Program#Coq@032 Q@@@@"_8@ Z@A@@@@@@@@"_92M접BA@A#_10'`o@B'Z_scope@36@2 Q@@@@#_11@d@A@@@@+@#_122M접 #_13'`o@B*,@\_@&dec_eq9D{(@@$@,eq_decidableOB'dec_Zle9D{(@@0@,le_decidableH 'dec_Zlt9D{(@@;@,lt_decidableʠ2 Q@@@@#_14f@(7@A@@@@v@#_152M접 #_16'`o@Buw@堐@2 Q@@@@#_17@(6@A@@@@@#_182M접 #_19'`o@B@Р@ɠ2 Q@@@@#_20@(6@A@@@@@#_212M접 #_22'`o@BǠ@@נ2 Q@@@@#_23@x@A@@@@@#_242M접 #_25'`o@C@@#&@&Zgt_lt9D{(@@@%gt_lt2)ϐ@&Zlt_gt9D{(@@@%lt_gt23Ő@&Zge_le9D{(@@@%ge_le2(ې@&Zle_ge9D{(@@@%le_ge22ѐ@*Zgt_iff_lt9D{(@@@)gt_lt_iff;ôM*Zge_iff_le9D{(@@)@)ge_le_iffv"2 Q@@A@#_26T@-@A@@@@d@#_272M접 #_28'`o@Cce@@@@/2 Q@@A@#_29@:'@A@@@@@#_302M접 #_31'`o@C@@àƠ@?2 Q@@A@#_32@J@A@@@@@#_332M접 #_34'`o@C@@𠐒󠐑@O2 Q@@A@#_35@Z"Qa@A@@@@@#_362M접 #_37'`o@Cꠐ@@ @_2 Q@@A@#_38@j>?@A@@@@@#_392M접 #_40'`o@C@@JM@o2 Q@@A@#_415@z>@A@@@@E@#_422M접 #_43'`o@CDF@@wzI@2 Q@@A@#_44b@>@A@@@@r@#_452M접 #_46'`o@Cqs@@v@2 Q@@A@#_47@>/@A@@@@@#_482M접 #_49'`o@C@@ѠԠ@2 Q@@A@#_50@y@A@@@@@#_512M접 #_52'`o@Cˠ͠@@<?@(Zle_refl9D{(@@@'le_refl/(@&Zeq_le9D{(@@@*eq_le_inclhG#_53X@&zarith@"le1P,@@ 'META873+@@@@0!nA@?@@>7@%@@'@6Coq.ZArith.Zorder#<>#1%@[@+Zle_antisym9D{(@@@+le_antisymmUF;(Zlt_asym9D{(@@ @(lt_asymm?q2 Q@@A@#_54K@-@A@@@@[@#_552M접 #_56'`o@CZ\@@I@*Zlt_irrefl9D{(@@X@)lt_irrefl`z@*Zlt_not_eq9D{(@@d@<_neq1@82 Q@@A@#_57@C!@A@@@@@#_582M접 #_59'`o@A@@+Zlt_le_weak9D{(@@@*lt_le_inclo0Zle_lt_or_eq_iff9D{(@@@+lt_eq_cases0z\2 Q@@A@#_60@g0E@A@@@@@#_612M접 #_62'`o@Cؠڠ@@ @)Zle_or_lt9D{(@@@+le_gt_cases*)Zlt_trans9D{(@@@(lt_trans?@2 Q@@A@#_63 @&L@A@@@@@#_642M접 #_65'`o@E @@@RUX@,Zlt_le_trans9D{(@@#@+lt_le_transn2@,Zle_lt_trans9D{(@@/@+le_lt_trans56 @2 Q@@A@#_66[@&::@A@@@@k@#_672M접 #_68'`o@Ejln@@@Mb@ 2 Q@@A@#_69@4@A@@@@@#_702M접 #_71'`o@E@@@֠٠ܠ@)Zle_trans9D{(@@@(le_trans @2 Q@@A@#_72@<@A@@@@@#_732M접 #_74'`o@E⠐䠐@@@@#_75X@&zarith @1P,C@'META875'META877U@@Y!m !p @+@*1P,@2@11P,/9@6Coq.ZArith.Zorder#<>#2%@[@82 Q@@A@#_76G@C+sb@A@@@@W@#_772M접 #_78'`o@CVX@@3@82 Q@@A@#_79t@C d@A@@@@@#_802M접 #_81'`o@C@@@D2 Q@@A@#_82@O#\m@A@@@@@#_832M접 #_84'`o@C@@㠐栐@#_85X@&zarithA@'META886'META885@@ؠ@©ߠސȩѐ}@6Coq.ZArith.Zorder#<>#3%@[@2 Q@@A@#_86 @ ʝ@A@@@@@#_872M접 #_88'`o@C@@MP @2 Q@@A@#_898@@A@@@@H@#_902M접 #_91'`o@CGI@@z}$@2 Q@@A@#_92e@ɳ@A@@@@u@#_932M접 #_94'`o@Ctv@@@(Zlt_succ9D{(@@r@.lt_succ_diag_r&pN(Zlt_pred9D{(@@}@)lt_pred_l|YŠ2 Q@@A@#_95@-@A@@@@@#_962M접 #_97'`o@A@@Ӡ2 Q@@A@#_98@ǣ*@A@@@@@#_992M접 $_100'`o@A@ @*Zlt_succ_r9D{(@@@)lt_succ_rM@*Zle_succ_l9D{(@@@)le_succ_l#ڐ@2 Q@@A@$_101 @@A@@@@@$_1022M접 $_103'`o@C@@JM@2 Q@@A@$_104 5@ō @A@@@@E@$_1052M접 $_106'`o@CDF@@wz!@2 Q@@A@$_107 b@  @A@@@@r@$_1082M접 $_109'`o@Cqs@@N@%2 Q@@A@$_110 @0/8@A@@@@@$_1112M접 $_112'`o@C@@ѠԠ@52 Q@@A@$_113 @@_@A@@@@@$_1142M접 $_115'`o@Cˠ͠@@ @E2 Q@@A@$_116 @P9@A@@@@@$_1172M접 $_118'`o@C@@ + . @U2 Q@@A@$_119!@`4@A@@@@&@$_1202M접 $_121'`o@C%'@@ X [@(Zle_succ9D{(@@#@.le_succ_diag_r>(Zle_pred9D{(@@.@)le_pred_l"z +Zlt_lt_succ9D{(@@9@,lt_lt_succ_r;\+Zle_le_succ9D{(@@D@,le_le_succ_r 2 Q@@A@$_122!o@4J@A@@@@@$_1232M접 $_124'`o@C~@@  [@$_125X@&zarith@1P,@@'META891p@@t!@$succ1\w!!@6Coq.ZArith.Zorder#<>#4%@[@$_126X@&zarith@1P,A@'META893'META894@@Ӡқж˛Ҷ@@1P,!!'!w@=1\w܀!!@6Coq.ZArith.Zorder#<>#5%@[@2 Q@@A@$_127" @ 8N@A@@@@ @$_1282M접 $_129'`o@C  @@!M!P! @2 Q@@A@$_130"8@"a%@A@@@@ H@$_1312M접 $_132'`o@C G I@@!z!}!Y@#2 Q@@A@$_133"e@.#gF@A@@@@ u@$_1342M접 $_135'`o@B t@@!!@$2 Q@@A@$_136"@/@A@@@@ @$_1372M접 $_138'`o@B @@!͠!@'Zlt_0_19D{(@@@<_0_11Ȑ@'Zle_0_19D{(@@@&le_0_1ɐ@D2 Q@@A@$_139"@O$=@A@@@@ @$_1402M접 $_141'`o@B.positive_scope@`c@<2 Q@@A@$_142"@G&©@A@@@@ @$_1432M접 $_144'`o@A*@@E2 Q@@A@$_145#@P@A@@@@ +@$_1462M접 $_147'`o@AN@@N2 Q@@A@$_148#?@Y1&@A@@@@ O@$_1492M접 $_150'`o@Ar@@W2 Q@@A@$_151#c@b@A@@@@ s@$_1522M접 $_153'`o@A)nat_scope@q@$_154X@&zarith@1P,A@'META899'META900@@@%Logic$Init"@@"eq @'BinNums'Numbers @"7@##6#>##@6Coq.ZArith.Zorder#<>#6%@[@2 Q@@A@$_155#@N@A@@@@ @$_1562M접 $_157'`o@C ۠ ݠ@@##"@2Zplus_lt_le_compat9D{(@@@.add_lt_le_mono!΍ 2Zplus_le_lt_compat9D{(@@@.add_le_lt_monovs /Zplus_le_compat9D{(@@@+add_le_monodD ˠ/Zplus_lt_compat9D{(@@@+add_lt_monoa1 ֠ʠ2 Q@@A@$_158$%@*K@A@@@@ 5@$_1592M접 $_160'`o@D 4 6 8@@#i#l#o#(@ՠ2 Q@@A@$_161$W@*K@A@@@@ g@$_1622M접 $_163'`o@D f h j@@####Z@2 Q@@A@$_164$@_@A@@@@ @$_1652M접 $_166'`o@D   @@#͠#Р#Ӡ"z@2 Q@@A@$_167$@_@A@@@@ @$_1682M접 $_169'`o@D ʠ ̠ Π@@#$$"@2 Q@@A@$_170$@ LO@A@@@@ @$_1712M접 $_172'`o@D   @@$1$4$7$@2 Q@@A@$_173%@LU@A@@@@ /@$_1742M접 $_175'`o@D . 0 2@@$c$f$i$E@1Zplus_le_0_compat9D{(@@!1@1add_nonneg_nonneg7.F )2 Q@@A@$_176%\@45L@A@@@@ l@$_1772M접 $_178'`o@D k m o@@$$$#M@62 Q@@A@$_179%@A5L@A@@@@ @$_1802M접 $_181'`o@D   @@$Ҡ$ՠ$ؠ#@C2 Q@@A@$_182%@N?a@A@@@@ @$_1832M접 $_184'`o@D Ϡ Ѡ Ӡ@@%%% $@P2 Q@@A@$_185%@[?g@A@@@@ @$_1862M접 $_187'`o@D   @@%6%9%<%@]2 Q@@A@$_188&$@h>@A@@@@ 4@$_1892M접 $_190'`o@D 3 5 7@@%h%k%n%'@j2 Q@@A@$_191&V@u?@A@@@@ f@$_1922M접 $_193'`o@D e g i@@%%%%Y@w2 Q@@A@$_194&@`^@A@@@@ @$_1952M접 $_196'`o@E   @@@%͠%Р%Ӡ$z$}@~2 Q@@A@$_197&@`X@A@@@@ @$_1982M접 $_199'`o@E ͠ Ϡ Ѡ@@@&&& $$@2 Q@@A@$_200&@@A@@@@@$_2012M접 $_202'`o@E@@@&9&<&?&&@2 Q@@A@$_203'*@n@A@@@@:@$_2042M접 $_205'`o@E9;=@@@&o&r&u&.&1@2 Q@@A@$_206'`@4$@A@@@@p@$_2072M접 $_208'`o@Eoqs@@@&&&&d&@2 Q@@A@$_209'@ q@A@@@@@$_2102M접 $_211'`o@E@@@&۠&ޠ&᠐&%@2 Q@@A@$_212'@^@A@@@@@$_2132M접 $_214'`o@E۠ݠߠ@@@'''&󠐑%@Š2 Q@@A@$_215(@4$@A@@@@@$_2162M접 $_217'`o@E@@@'G'J'M'',@Ѡ2 Q@@A@$_218(8@@A@@@@H@$_2192M접 $_220'`o@EGIK@@@'}'''_'b@ݠ2 Q@@A@$_221(n@h@A@@@@~@$_2222M접 $_223'`o@E}@@@''''r'u@2 Q@@A@$_224(@>>@A@@@@@$_2252M접 $_226'`o@E@@@'預'점'&֠&@2 Q@@A@$_227(@>>@A@@@@@$_2282M접 $_229'`o@E預렐@@@(("(%' '@2 Q@@A@$_230)@ ,2@A@@@@ @$_2312M접 $_232'`o@H!#%@@@@@(Y(\(_(b'I'L'O'R@2 Q@@A@$_233)S@2U9@A@@@@c@$_2342M접 $_235'`o@Hbdfh@@@@@(((('L'O'R'U@2 Q@@A@$_236)@]@A@@@@@$_2372M접 $_238'`o@E@@@(۠(ޠ(᠐((@2 Q@@A@$_239)@#)[|@A@@@@@$_2402M접 $_241'`o@E۠ݠߠ@@@)))(󠐑(@$2 Q@@A@$_242*@/?Kb@A@@@@@$_2432M접 $_244'`o@E@@@)G)J)M)'@02 Q@@A@$_245*8@;ib@A@@@@H@$_2462M접 $_247'`o@EGIK@@@)})))_(-@<2 Q@@A@$_248*n@G4@A@@@@~@$_2492M접 $_250'`o@E}@@@))))r(@H2 Q@@A@$_251*@S|@A@@@@@$_2522M접 $_253'`o@E@@@)預)점)))@T2 Q@@A@$_254*@_:@A@@@@@$_2552M접 $_256'`o@F預렐@@@*!*$*'**y|@C2 Q@@A@$_257+@Nt>@A@@@@%@$_2582M접 $_259'`o@F$&(*@@@*\*_*b*e@1Zmult_le_0_compat9D{(@@'0@1mul_nonneg_nonneg#"~ 1Zmult_lt_0_compat9D{(@@';@+mul_pos_pos:1Zmult_lt_O_compat9D{(@@ Z2 Q@@A@$_260+m@e $@A@@@@}@$_2612M접 $_262'`o@D|~@@@***l*o@a2 Q@@A@$_263+@lY_@A@@@@@$_2642M접 $_265'`o@D@@@*᠐*䠐*)@h2 Q@@A@$_266+@s,إG@A@@@@@$_2672M접 $_268'`o@Dޠ@@@++*Π)@o2 Q@@A@$_269,@z=U6@A@@@@@$_2702M접 $_271'`o@D@@@+C+F+"+%@v2 Q@@A@$_272,1@5@A@@@@A@$_2732M접 $_274'`o@D@B@@@+t+w+0+V@}2 Q@@A@$_275,b@*@A@@@@r@$_2762M접 $_277'`o@Dqs@@@+++a+d@2 Q@@A@$_278,@3]@A@@@@@$_2792M접 $_280'`o@D@@@+֠+٠*+@2 Q@@A@$_281,@Z"-@A@@@@@$_2822M접 $_283'`o@DӠՠ@@@,, *񠐑+@-Zle_plus_swap9D{(@@(@/le_add_le_sub_rReflexive_partial_app_morphism 2R,A!B2@*respectful%WO?  9&Basics'ProgramN@$flip$ @$impl7oK@"or @/@2subrelation_properJ7@+)&-@..[)00]].Morphisms_Prop;@/or_iff_morphism33:8g5)Datatypesi@$unitUe@AP@6subrelation_respectful>6z KIxxW@0subrelation_reflv R$M TT H_@9iff_flip_impl_subrelation2VAlCqh@6reflexive_proper_proxy5c/RelationClassesn@-iff_Reflexive/hO@"eq @Z ,|zN_L ~ @)gt_lt_iff;ôM@-lt_trichotomy€зȐ!d@,eq_decidableO)Decidable@)decidable r6BAAAA@@@@@D@C@#notШJ@#Zne>o=Dg֠!HYB@(eq_ind_r!2#x$!񐩜rA%"C3 $"6A2 20#1`@,lt_decidablè^ S@ޠLf"A?U86 K0EP$R'U)RPJ(!An@0not_iff_morphism Z8ki\jK@,le_decidableHƀ<S@"le1P,D@ éb@"ge1P,Z b  }{ED"Bhw@)ge_le_iffvo =(F4C](vР@#andЖw@BBB@@@@D@@ک`%@cҶ@өg|@+lt_gt_cases#G}@@@%9׶=ܷط߷5@*@r@uM@@&le_ngt Ɛ@@@ʶ!U@J@B@l@my@<_nge1䐷@@@M> 6퐑  4ʚ@9iff_iff_iff_impl_morphism8Cro7Cm)1u53&4$" Ʃ4Iް=FD7E@@Xg@$@%.@&nle_gtn(@ @@fd-][N\-a_R`[o5hfYgbvJ<om`n^\:,0.]+ PKIFp3{ylzuR@%ְ5Y"H0]x@)False_induُg64z0Cy#!o`⩷sr,hfcP8 jN}@(lt_asymm?q](fTc}H0 @)lt_irrefl`z;ҷηշ+@ @}B.@@@+lt_eq_cases0㜀@@@!pC@4vζ@Fݠba\Ag,id @P URީ pkPz|,@b̩, fvbkl@,transitivity>4 -@6StrictOrder_Transitivea4@+lt_strorder&6Y6  ></=J>., ,-/H;:54,4@.+'Eη.I0Private_OrderTac#Tac@)not_ge_lt"H1`"H23F"H3:@,SXGD'@+le_lt_trans u wLz+OPC"ut!4e.d F<Z@ Iv|{X,NL{I6D@u[,QO~#9oSugsݷLHA?>o<;s339Hy59X9}|8[IC0y9Q4K^><26'@|7z&",~{hP1 @F HC(#K[,w_@@U_,e{XBb@·\Q]@)not_gt_le$ҀD橷{S~VCQ@F@@$succ1\w)BinIntDef@ r @-@.@,succ_le_mono2@"@@#.'%&&+)*%.,-@w@o1@"@ @,succ_lt_mono4;@@@zDB5CkHF9G74('+>J :@>4BG" ,C &*0_]P^N4?>04é"OŠ U©1,'%T"7)V9=gpnaoķ@B1:@B@4FwuhvC{ylzu~|o}ҷ@\e@@_TvsUz{yo}cbeujhlk {@.lt_succ_diag_r&p xz  I4CV64*=r @@J$@@&N&@)le_succ_l#ڀ@@ Ͷѷҩ©Ʃ,j>9CE" ߷<@1@@ @@)lt_succ_rMʐ@ @ ˶#N54-+##/)d@(@2"@)@( ,?  |,sqs(&'|@o@zcg@p@m0.!/sW42%3.w@*lt_le_incl;CA4B20&94('ũ+ J .0@$pred1\M@ jG D KI?537.,$"Q &S9< gpnaoķ@@, @(@)Gu(kY@/lt_succ_lt_pred2TS@@@TWx|@ڠ@ҩ"-@$5@&#z@*lt_le_predqt@@@wyA~ Q4K^><2Hm}4%Pos2Z@*neg_le_pos7ڛ@(positive*@Y@*comparison;f@C@-pos_is_nonnegC%@*neg_is_negj򛠠s@#nat@y@'nat_indJX@&of_natbz@1?G!s@'le_refl/(gCi$A'#IHnnI@'compare3x@]=)B&BinPos&PArith-#Pos@+of_succ_natq)BinPosDef @$.bB@@@@@D!ys@v-'$8#@~'x@@%Falsee@,ө?96Uܩ T@&eq_ind JPɩJG#!e@@@@@@@@@@@D!c?S.n@$Truey@4A]79_@߰<cCmC Bmu^@4:M-+!y]{Km },sqn[C uYH{7ө%:s(ȷɷʩԩg4atTRH@#add1P&@ ̀ :5 ٩˩ɠʩ,u) D@9@Y&@0@1ɠ*ީ+@-add_lt_mono_lhJfՐ@@@!ڶ   ݰo ߐ4G H}{v  R S,!j '0.!/<0@z@ @q@r k>l;@-add_lt_mono_rhPA@@@aJH;IVJ@OM@N[OJSQDR_S@@p@{e@fd=@-add_le_mono_l39a@@@;ki\jwk/pnao|pktrestɷ@@d@[@ D^@-add_le_mono_r39@@@![|OUjP[@M<E@M@?wOl@=,5@=@/?}@Ȑ@ӷ@ȶɶͷηʷѷҷ(@@@ٶڶ޷߷੷}4wjh^FA,yMH0(向ة4~|rΩ,թ_ZѠ1)b@4mul_le_mono_nonneg_r,\ s㐑!.@4mul_le_mono_nonneg_l,\" !."0$'%&@~@s@@#mul1P]-@ @   v@wީ#@1mul_lt_mono_pos_rlG@@@ h![ORPCQ@+%%'QYWJXeYI4:9/@>0c1`"OUo1,'%T")V@ I,"@N@dA2_secYKfLQNI,?=l:'@6S#$N,DBq,b:WZh=^`/4s)<rh@Щh9Xy=47J*(v@2Gf@@@@EM@NBUi@1mul_le_mono_pos_r:w@@@QbƶǶȶ@%̷ͷ%ѷҷө%p4j}][Q@<7ط߷@7@,@L0@|%@&9@1mul_lt_mono_pos_lf@@@Ͷ@    &    Z4TR޶@˩5pkQ , [ @ ީ`} x    , p@ߩ,  (  q.V: 9 7 * 8E 9 )4 @  - 3 1 ,   6  @D )F   < C Aީ۩ #,   F  @Tک ',   J ;W  LY 4_^]e : ; m k ^ ly m ] 4N  M C@4 3 ` f3 B, 8 6 e 3 8 @s X?u Oe > k/ q oc` Q, G E t B /G@_ U, K I x  3i.^ `m {,     !q   ʩ :4~ 4 G} ' %  s@ݶ@!@$x9   j     z, p n  k X@  r  @ @6 @9N[ !    멷   ,     nV@@W$' ,    ^ t 0   +@^ @Sv 9   4C"  ,     m -@ @@< ,    t @@+ ,    x  J   E@ k6~ Q   L  ࠩt|~ ,     *J@(@4@5Y ,     .5@3@4NJ ,     8!@ ,     !W ⠩z >?KL @2mul_le_mono_nonneg@@@@ Q E H F 9 G@! M K > LY M R P C Q^ R B 43  2    (   C  T ] [ N \i ]@@@@ 5 f d W er f@+ l j ] kx l q o b p} q aé 4R  Q    G@(  6 c  i& E, ; 9 h 6 # @[2 R  @ m    sѩ O, E C r @ - @' R, H F u  0f)  J w +  ^ 4+       04t * =s    i@* H  X  ۩ & g, ] [  X E-6@ P}4 t ` `  o, e c  ` M5>@" U r, h f  : P$  j  & j ` ~ sj#         @  I l۶@  "Hn#Hnp  é  @  \)` b  I2 "Hm #Hmq ;} @2mul_lt_mono_nonneg 24 JCx         V   8 ( H@ = ;@ A< ͐;9 G  H < X@ M 875 ڐ0., @56 Щ+<o>m lQ АKB1 |  <  E4vаvG  Kz ~Oͩ B̩ Nʩ M"H4 PO"H5 Q"H6 RߠS L #)o )', W鐩/ E /Hx 3 2@(lt_trans*P e C vJƵ h N E ` J+ N xC    s  q o˩ 4 d  - c    ga Z@ѩ i*  K x  ֩  [, Q O ~ L 9 !l  S  n @  s j x)  Z  ݩ   ' t) o, e c  ` M 5@ yI t, j h  < R C }=   @+mul_pos_pos:ᗀ      9 W4  Q d  D B 87 @ L #   6   = @1mul_nonneg_nonneg#"~ 0  '    ҷ  ө R p4  j }  ] [ QP @ e2  <   7O ط  ߷  @- 6@ +@ s:@ u@@. @3mul_nonneg_cancel_rO@ @@* N= ɶ    @E ʐ         @M V@ K@Z@_@` @0mul_pos_cancel_r1Jt @ @@       @b 琑      4        @ G    }& ( &  '  4        @      ,       @  ~~   #  ) ,   (    @ ,   +      -   > G E 8 F@ @ @Z ,@0mul_pos_cancel_l1JnP@@@/D ) Y W J X@  ^ \ O ] =@6square_lt_simpl_nonneg1&I . h f Y g W U K= >  @ ;, 1 / ^ ,    3 ` @ VH \  7@ K : Y P  ǩ  > k  ɠ  r p N, D B q ? ,  @  ; Q, G E t  / e  I v    ] ˩ |ʩ )4 m # 6 l    b    P }  6       x@*add_move_rۀ  q r          @ @ | @#sub1P@ p  @    @ 򩚠 @(lt_0_sub?& @@@ (  y   Ƕ     ˷   Ƿ  η   $@ @ a) @  c!@ ⩚ @(le_0_subL @ @@  o                A@ @@ ö     ĞP)tu Y