"`t_(PreOmega%omega#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ֱ$Bool#Coq@0j 2cZ`FW&Basics'Program#Coq@0!bs߯? :VU$Init'Classes#Coq@0](p{yOh.'Tactics'Program#Coq@03u%+Equivalence'Classes#Coq@07;ꮹ-SetoidTactics'Classes#Coq@0S_`nOU$&Setoid'Setoids#Coq@0D9AsWE!>*Equalities*Structures#Coq@0όe얟)H.Ƞ2Relation_Operators)Relations#Coq@0%s鯰s4Operators_Properties)Relations#Coq@0U3y#h&)Relations#Coq@0r砠*NZMulOrder&NatInt'Numbers#Coq@0}\^ !"k}@R(NZParity&NatInt'Numbers#Coq@0H>ca'^^%NZPow&NatInt'Numbers#Coq@0)6*9 B:vȻ&NZSqrt&NatInt'Numbers#Coq@0` .%m%NZLog&NatInt'Numbers#Coq@0ꔉ .uV%NZDiv&NatInt'Numbers#Coq@0$ |J?d (w%NZGcd&NatInt'Numbers#Coq@0KgT7|&NZBits&NatInt'Numbers#Coq@0MlIpKt'NAxioms(Abstract'Natural'Numbers#Coq@0Zخb1Z3uuѠ,NZProperties&NatInt'Numbers#Coq@01D%E`|3x%NBase(Abstract'Natural'Numbers#Coq@0 Y?V vI$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@0KI'BinList+setoid_ring#Coq@0Au'ZAxioms(Abstract'Integer'Numbers#Coq@0\}zK=PK%ZBase(Abstract'Integer'Numbers#Coq@0 TL}2_} ؠ$ZAdd(Abstract'Integer'Numbers#Coq@0Y9Vgⲫ򐠠$ZMul(Abstract'Integer'Numbers#Coq@0Mtr\b"H#ZLt(Abstract'Integer'Numbers#Coq@0xK|j2[&=}۠)ZAddOrder(Abstract'Integer'Numbers#Coq@0w:}H#NK}{)ZMulOrder(Abstract'Integer'Numbers#Coq@0Dr~-~ECM'ZMaxMin(Abstract'Integer'Numbers#Coq@0bAX1'ZSgnAbs(Abstract'Integer'Numbers#Coq@02`ou{Z'ZParity(Abstract'Integer'Numbers#Coq@0S)*Dd$ZPow(Abstract'Integer'Numbers#Coq@0AşsאI)ZDivTrunc(Abstract'Integer'Numbers#Coq@0`]f5FԠ)ZDivFloor(Abstract'Integer'Numbers#Coq@0dj_TYQc|$ZGcd(Abstract'Integer'Numbers#Coq@0G0=$ZLcm(Abstract'Integer'Numbers#Coq@0(9g%MmN]%ZBits(Abstract'Integer'Numbers#Coq@0ܹCF5s+ZProperties(Abstract'Integer'Numbers#Coq@0Ve*ʞ_OV)BinIntDef&ZArith#Coq@0ådR4Tuy&BinInt&ZArith#Coq@0BpHޞun^,Ring_polynom+setoid_ring#Coq@0gaKw9`UW+ListTactics%Lists#Coq@0,Jcy{%Zeven&ZArith#Coq@0i?eK#aU堠#Min%Arith#Coq@0Ce-Fѕ$Znat&ZArith#Coq@0&^ 2J>1/eOc5IgX閠Р(PreOmega%omega#Coq@A)Z_of_nat' @&BinInt&ZArith@!Z@&of_natbz)BinIntDef @1?G!@!n)Datatypes$Init#Coq@@#nat@'BinNums'Numbers#Coq@@!Z7@&@@@@@AA@@"s @,Ring_polynom+setoid_ring#Coq@@&PEeval"s @@A@AA@A@%Zpos' @'BinNums'NumbersM@L7@B@@'BinNums'Numbers#Coq@@(positive*@'BinNums'Numbers#Coq@@!Z7@ $+k9'@@@@@E%Zneg' @5C@@- @ $+k9'@@@@@['Z_of_N' @@$of_N1\Y@ >j@}@!N7@@@@@@x@@@ ӳ2@ ӳ2[)Datatypes$Init#Coq@@A@ Գq@ Գq\ @A@AB@cA@A.0TQ+Ring_theory+setoid_ring#Coq@@ABA.U>[J @B@@"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#Coq@0I|кX*o4)ArithRing+setoid_ring#Coq@0ṔCgt?}*Arith_base%Arith#Coq@0Ĕ}CS&Basics'Program#Coq@0!bs߯? :VU'Between%Arith#Coq@06v*0ur`C0&BinInt&ZArith#Coq@0BpHޞun^)BinIntDef&ZArith#Coq@0ådR4Tuy'BinList+setoid_ring#Coq@0Au&BinNat&NArith#Coq@0K11ڤs+Π)BinNatDef&NArith#Coq@03@1O,[{ JIH@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 810/@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.+InitialRing+setoid_ring#Coq@0k/T=cN"Le%Arith#Coq@0d}Omq+$List%Lists#Coq@0>I+ListTactics%Lists#Coq@0,Jcy{%Logic$Init#Coq@0\͉!Ig*Logic_Type$Init#Coq@0 1jc6"Lt%Arith#Coq@0KZ-eJkP܏#Max%Arith#Coq@04=;3$>aU堠#Min%Arith#Coq@0Ce-Fѕ%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蠠$Nnat&NArith#Coq@0$W;s #%M)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ֱ%Quote%quote#Coq@0J@ŹVz-,3%/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$&Specif$Init#Coq@0;RWMi\N'Sumbool$Bool#Coq@0sB ,$11.]m'Tactics$Init#Coq@0/9m+ a'Tactics'Program#Coq@03.zify_unop_coreF@@@!t#thm!a@@@A@@:./plugins/omega/PreOmega.viiii@ ii@ @!zk;k;@A!z@@@@ 9'k;k;Z[:.k;k;\]@1k;k;Z]@@@A@ 7k;k;ep@4clearbody_#_4C69D546#}<3@@@5zify_unop_var_or_termF@@@a`_@ @"zaYooД!z@@ epp.@1rename_#_4C69D54D /@@ upp(@@pppppp 7@3Ġpppppp@@@SrVrVab@@@@@rVrVjrVrVjrVrVjx3ِrVrVyzݐrVrV{~}rVrV@)zify_unopF@@@@ @#iszw w   "w w  & .w w  & ,+InitialRing+setoid_ring#Coq@@&isZcstj:堒w w  - .@@ B x 2x 2 9 <(x 2x 2 9 <@@)Datatypes$Init#Coq@@$boolZ'@A@*y By B F J@@A @!u8z Nz N V WAAAAAA@XFz Nz N l mYMz Nz N n o@Pz Nz N l o@@@@q_{ t{ t  rf{ t{ t  @i{ t{ t  @|=t{ t{ t  @@@|| |   | |   | |    1@C k1| |   | |   | |   @@/zify_unop_noredF@@@@ @ȐA /A / 4 7A /A / ; CA /A / ; AǠАA /A / B C@@ BB GB G N QB GB G N Q@@@C WC W [ _@@AC WC W c yC WC W c yC WC W c qc C WC W r s C WC W t wC WC W x y@ D zD z  D zD z  D zD z  0D zD z  4%D zD z  8,D zD z  @@*zify_binopF@@@JIH!b@ @$iszaEJ 4J 4 9 =JJ 4J 4 A IPJ 4J 4 A GZcWJ 4J 4 H I@@ B]K MK M T XcK MK M T X@@Q@nL ^L ^ c g@U@AxL ^L ^ k }L ^L ^ k L ^L ^ k t-@4}7L ^L ^ v wL ^L ^ x y@L ^L ^ v y@L ^L ^ | L ^L ^  @L ^L ^ | @{L ^L ^  @ @kN N   !z@@ O O   Šjh@@ O O   נwu@@O O   O O   O O   @V 8QO O   렠 O O   @ O O   @(O O   󠠐, O O   @#O O   @*O O   @@@ڠB6P P   @@@@@ B@!HBQ 'Q ' 2 3@@"eq @@TQ 'Q ' 6 <@@@@  aQ 'Q ' 6 8*hQ 'Q ' ; <@@@@6@@@@@@|Q 'Q ' @ A@Q 'Q ' E gQ 'Q ' E gQ 'Q ' E TQ 'Q ' V WHQ 'Q ' X Z@Q 'Q ' V Z@Q 'Q ' ] `_Q 'Q ' a c@Q 'Q ' ] c@iQ 'Q ' e g@R hR h x R hR h x R hR h x ߠR hR h  R hR h  @R hR h  @R hR h  R hR h  @R hR h  @ʐR hR h  @@@)zify_op_1F@@@ B@@@@&BinInt&ZArith#Coq@!Z@#max1P&ZArith#Coq@!Z@#max @3X X   頠G;X X   젠CX X   @FX X   @$\TX X   YX X   _X X    @2!|N@@@U@(max_spec6@@@yX X   BX X   @HY Y   @@y@Y Y  ( -Y Y  . 0gY Y  1 3@Y Y  ( 3@v@@@@@@Y Y  9 :@NY Y  > ]Y Y  > ]Y Y  > Hm@@@l@@@Y Y  Z [Y Y  \ ]@@@@@#min1P{@#min "@Z ^Z ^ p uZ ^Z ^ v xΐ Z ^Z ^ y {@Z ^Z ^ p {@%Z ^Z ^  "Z ^Z ^  (Z ^Z ^  ɠ<@@@@(min_spec,)@@@MAZ ^Z ^   HZ ^Z ^  @Q[ [   @@g@][ [   qe[ [   /m[ [   @p[ [   @}>@@@@@@[ [   @[ [   铠[ [   預[ [   5@@@l@@@[ [   砒r[ [   @@@@@#sgn1P@#sgn r@\ \  ؐ\ \ @\ \  @\ \  &\ \  &\ \  c2@@@@(sgn_spec<@@@ \ \ %&@ǐ]']',-@@V@]']':?(]']'@B@]']':B@d5@@@@@@1]']'HI@6]']'Mi;]']'MiA]']'MV@@@[@@@bV]']'hi@@@@H@#abs1P?@#abs @j^j^j|~r^j^j@u^j^j|@^j^j^j^j^j^j 2@@@@(abs_spec@@@^j^j@m__@@V@__ΐ__@__@d@@@@@@__@i__铠__預__d@@@[@@@__@@'zify_opF@@@bb  bb @4|@2 Q@@@@"_7@,@A@@@@@@@@"_82M접AA@A"_9'`o@A)nat_scope@@-hide_Z_of_natF@@@T@ @4Gnznz!z@@@@B@@&of_natbz7@&of_nat1?G!@bnznz{inznz@lnznz@@@A@@@@yoo@f@oo@@{@@@A@@pp@@@ ppe@0clear_#_4C69D547<@@@,zify_nat_relF@@@ B@@@%Logic$Init#Coq@@s @@u*u*35@#nat@@u*u*69u*u*:<u*u*=?@u*u*2?@/@"@@A@@$Znat&ZArith#Coq@%Nat2Z@#injs@u*u*KT#u*u*UVu*u*WX@!u*u*KX@@@@*vivimn@@{@6vivi|~p@=viviQEviviMvivi@Pvivi{@@@k#@@@@@@ivivi@@@@A@x@'inj_iffob@viviviviOvivi@vivi@@@@X@@@A@@@@@wwˠ@wwϠwwҠ}ww@ww@@@ٛ@@@c@b@wwwwww@ww@@@@@@yy@@%Peano$Init#Coq@@"lt Uxc@ yy(* $ yy+- yy.0@ #yy(0@# 9@@@@@@ 7yy67@ɐ@@AΠ@E@&inj_lt+U@ LyyDP _ SyyQR ZyyST@ ]yyDT@@@@%@@@A@@@@l@ qz[z[ln  yz[z[oqC z[z[rt@ z[z[lt@ R@@A$@V@ z[z[  z[z[n z[z[@ z[z[@@@@@@y ||@@@"le UxT@@ ||ʠ ߐ ||͠ ||@ ||@@ @@@@@@ ||@@@A@@&inj_le+F@ ||𠠐  ||򠠐ؐ ||@ ||@@@@@@@A@@@@g@ -}}  A 5}} =}}@ @}} @@ W@@A@W@ [}})5 n b}}67+ i}}89@ l}})9@@@@@@6 wTTXY@@~@"gt Ux@ TTfh  TTikY TTln@ TTfn@ h@@@@@@ TTtu@@@@AE@@&inj_gt+@ TT ֐ TT TT@ TT@@@@@@@A@@@@e@    @ @} ɐ@@A@V@ Ӡ ( ՠ #@ &@@@@@@ 1@@8@"ge Uw@ A  U I    Q @ T@ j "@@@@@@ h@@@A@v@&inj_ge+@ }#/  01 M 23@ #3@@@@V@@@A@@@@e@ ::KM  ::NP t ::QS@ ::KS@} ˛ @@AU@V@ ::ht  ::uv  ::wx@ ::hx@@@@@@@+zify_nat_opF@@@ B@ ޡ@@@ 󠠐&BinPos&PArith#Coq@#Pos@&to_nat")BinPosDef&PArith#Coq@#Pos@&to_nat5L @  3 '@ *@ -@Ԑ% H@@@@@@ D  @֐@@A۠@Q@.positive_nat_Z'J2@ Y% l `&'@ c'@@@@ +@@@A@@@@@ w..?Gz@ ..IS  ..TV@ ..IV@ ..?W@6 @@A2@W@ ..ft  ..uv@ ..fv@@@@@@  xx|}@@q@ xx&BinNat&NArith#Coq@!N@&to_nat`)BinNatDef&NArith#Coq@!N@&to_nat*9G@ xx  xx@ xx@ xx@% @@@@@@ xx@ @@A@!@'N_nat_ZlN@ )xx < 0xx@ 3xx@@@@ @@@A@@@@@ Gݠz@ Q砠 e Y@ \@ _@ z@@A@W@ |  @ @@@@@@ P   @@A@  @'abs_natI @'abs_nat?n@ !*  +-@ !-@ .@b @@@@@@ 45@ d@@Ai@(Zabs2Nat@&id_abs(d@ BQ  RS@ BS@@@@ @@@A@@@@@ZZksj@ZZu~%ZZ@ZZu@ZZk@Ɛ:@@A @Y@<ZZOCZZ@FZZ@@@@@@ Q@@@]ՠ#Nat$Init#Coq@@#add `@r۠zޠ D@@@/+ [@@@@@@@ 3@@A8@@'inj_addc@ɐ @@@@@ @@@A@@@@@'~@)-.0 13@)3@4@ ΐ@@A@h@CP-!QR (ST@+CT@@@@@@ 6llpq@@@Bll~(PeanoNat%Arith#Coq@#Nat@#min.#Nat$Init#Coq@@#min @bllvjll 4rll@ull@xll~@+ K@@@@@@ll@ #@@A(@@'inj_minuG@llll vll@ll@@@@ @@@A@@@@o@נ@ܠߠ @@@ @@A@h@  ڐ@@@@@@@ & @@@2-5(PeanoNat%Arith#Coq@#Nat@#max.p#Nat$Init#Coq@@#max '@R7:fZ;=$b>@@e7@@h-A@ +;@@@@@@GH@ @@A@@'inj_maxt@Ubcdfef@Uf@@@@ o@@@A@@@@ _@mm~@mmِmmmm@mm@mm~@ @@A@h@mm mmʐmm@ mm@@@@@@ Ր@@ @"@#sub @0D8@@C@F@ 퐤$a@@@@@@_  @ @@A@ m@+inj_sub_maxeǪ@t+{,-D./@/@@@@M@@@A@@@@ =@66GOw@66QV66WYu66Z\@66Q\@66G]@ `ԛ@@A ^@h@66l}66~66@66l@@@@@@@@ @ՠ@$pred `<@۠"@@@ Ð7@@@@@@3@Ő@@A ʠ@%Minus%Arith#Coq@@-pred_of_minus9 @ObV@Y@@@@!@@@A@@@@ @m  "m@w  $(  )+@  $+@  ,@ ,@@A (@^@  ;H  IJ@  ;J@@@@@@v@@ g@f@#mul @@@@ $@@@@@@@@@A@@ @)is_nonneg{@ԠO@ڠ/#ܠ*@-@0@@@A Ǡ@ >@'inj_mulv)@EXLS@V@@@@@@@@@ @e  $@o  &*w  +-A  .0@  &0@  1@ , X@@A@@@77KZ@77\`77ab{77cd@77\d@77Ke@@@A V@@hhyhhhh@hhy@@@@@@@@ @ 2A@@@  @@A@@@@@@@@@ @'٠0@.@1@ ؐ n@Az@A@E@@ @@@A@@@ @Yb@`@c@  @A@@ @|@@@ - @AU@$&@@@aFFJK@@ R@FFX` B@FFbcΐFFdf@FFbf@FFXg@ o @B@@@@@@FFmn@s @%isnatrr{rrrr@(isnatcst,] rr@@ B! @@@@@A @4"őAAAAAA@ @0⠠@:堠MA@D@G@@@@ @V@`sg  @j @m @ @B@@I@@@A@@A @ @(inj_succ:w@/=>?@/?@@@@p@@@A@@@c@@ܐ@@@}@B򠠐j@ ?@ @@ @@@@@A@@@@@++<Dj@"++FG6*++HJ@-++FJ@0++<K@אn@BM @]FQQZ_KQQcmQQQck\dXQQlm@@ B^qq|{dqq|@@R@o@V@A @|AAAAAA@.@@Ġ@@@@@@T@䠠@砠͐@@@n@B㠠@@@@@Av@V@ @ @@@@@@@@@ Ƞ_@ˠ*@!@$@ːb@B@@;ߠ@E⠠XL@O@R@@@@@\BBFG@F@"le1P,@nBBJZ"Š"Ġ#&@@#@A@~BBJK,@BBOWBBXZ@BBOZ@(@0'@AD@@@@@@BB^_@ABBcrBBcrBBcp#i@jDӐBBqr@@sswx@@@ssss@ss@@@@@@@ss@@@A@@@ @@ΓΠ a3'@@@@@5蠠I=@@@琛V@@A@@G@U  h\  @_  @d  $i  $o  "v # $@@(zify_natF@@@ , , D P , , D P$5@*R^@ , , Y d , , Y d$D@ 1@@@#@@@@$2 Q@@@@#_10$[@$ =@A@@@@@#_112M접 @#_12'`o@A.positive_scope@$@#2 Q@@@@#_13$~@#=r#@#_142M접 @#_15'`o@A"@$/@)hide_ZposF@@@@ @    !z@@@@B@  !!*  !!@  !!@@@A@@@@(!"!"!+!/@$d@B@6!"!"!5!:@@,@@@A@@4G!A!A!J!K@@@ M!A!A!R!YE@@@1zify_positive_relF@@@ B@@@@i!!!!$@$*@@t!!!!|!!!!F!!!!@!!!!@@!@Z@A@@%Pos2Z@#inj4|@!!!!@@@@p!!!!ѡ@@@!!!!ᠠT@!!!!ꠠؐ!!!!!!!!@!!!!@!@q@@@@@@@!!!!@@@@@_@'inj_iff,:*@!!"" !!""Ր!!""@!!""@@@@@@@A@@@@o@*"""1"3@1"""4"<E9"""="?A"""@"B@D"""0"B@@@_@@@@b@c"""Z"gvj"""h"i3q"""j"k@t"""Z"k@@@@@@>""""@@~@"lt=L@""""""""c""""@@o@@@@@@""""@G@@9@""""א""""""""@@L{@"lt1P-@""""۠@""""Ҡ""""@""""Ԡ@""""٠ΐ """"@""""@+@@@@@A@@@@#""""7+""""3""""@@I@@@K""##^R""##Y""##@@Ӡn%@j""#'#4e@t""#'#+{""#,#-@~""#'#-y@""#.#2Q""#3#4@""#.#4@+@@@\#Q#Q#U#V@@@"le==@#Q#Q#d#l#Q#Q#d#f#Q#Q#j#l@@ӛ@@@@@@#Q#Q#|#}@c@@7@#Q#Q###Q#Q###Q#Q##@@J@#Q#Q##@ #Q#Q###Q#Q##@#Q#Q##@#Q#Q##$#Q#Q##@'#Q#Q##@+@@@@@A@@@@;####͠OC####Ǡ K####@@a@@@c####頠vj####栠3q####@@͠=@###$}@#######$@###$@##$$i##$$@##$$@+@@@t$#$#$'$(@@6@"gt=@$#$#$6$=ِ$#$#$6$8$#$#$;$=@@뛐@@@@@@$#$#$M$N@{@@7@$#$#$Z$] $#$#$Z$[Ȑ$#$#$\$]@@JҠ@"gt1P,@$#$#$n${@%$#$#$n$r8,$#$#$s$t@/$#$#$n$t*@9$#$#$u$y@$#$#$z${@C$#$#$u${@+@@ @@@A@@@@W$$$$k_$$$$)g$$$$@@}5@@@$$$$$$$$O$$$$@@ѠY@$$$$Ԡ@$$$$ˠ$$$$@$$$$͠@$$$$Ҡ$$$$@$$$$@+@@@$$$$@@R@"ge=@$$%% $$%%$$% % @@@@@@@@$$%%@@@7@$$%*%.'$$%*%+"$$%-%.@@J7@"ge1P,@7$$%?%M2@A$$%?%CTH$$%D%E@K$$%?%EF@U$$%G%K\$$%L%M@_$$%G%M@+@@'@@@A@@@@s%T%T%f%n{%T%T%f%hE%T%T%l%n@@Q@@@%T%T%%%T%T%%k%T%T%%@@Ѡu@%T%T%%@%T%T%%א%T%T%%@%T%T%%@%T%T%%%T%T%%@%T%T%%@+@@@@0zify_positive_opF@@@ B@&&& & @@ C@&&&& &&&& @ &&&& @*I@C$@@@@@@ &&&&&'@ @#isp)&+&+&4&7.&+&+&;&C4&+&+&;&A>@&isPcsti.I=&+&+&B&C@@ BC&G&G&R&U!I&G&G&R&U@@7@T&[&[&c&g@;@A@@i@h&[&[&s&w{o&[&[&x&y@r&[&[&s&y@*@C@&[&[&&&[&[&&@&[&[&&@@X@@@A@@@&&&&&&&&@&&&&@*@CȠ[@#opp1P@ {@&&&&@&&&&&&&&@&&&&@@@@@@A@@@@@&&&&ߠ &&&&@&&&&@+8@C  @ &&&& &&&' &&&&㠒 * &&&'@@ B $'''' *''''@@@ 5''' '$@@A@@J@ I'''0'4 \ P'''5'6@ S'''0'6@+@C j@ e'''>'C x l'''D'E@ o'''>'E@@@@@@ 'G'G'\'`  'G'G'a'b@ 'G'G'\'b@+@C @ 'G'G'j'r@ 'G'G'l'p  'G'G'q'r@ 'G'G'l'r@@@@@| ''''@@@ ''''à@+of_succ_natq@+of_succ_nat$@ ''''Ԡ  ''''@ ''''@ ''''@,$@B!@@@@@@!''''@@@A@ @2Zpos_P_of_succ_nat8@ @!''''!(!'''(@!'''(@@@@@@@A@@@@$@!3((((j@!=((((-!Q!E(((.(0@!H((((0@!K((((1@,@B!h@@A@Y@!j(((@(R!}!q(((S(T@!t(((@(T@@@@@@>!(p(p(t(u@@|@!(p(p(( @#add=@A@@\@)k+.+...z@)u+.+...))|+.+...@)+.+...@)+.+...@4@B@B)g@)+.+...@)+.+...))+.+...@)+.+...@)+.+...@@&z@@@A@@A!Q@)@&inj_xO@),.,...젠)),.,...@),.,...@@@@&@@@A@@@@@@)....//@)....//* )....//@*....//@*....//@5B@B@B*$ @ *//!//!/*/-*"//!//!/1/9*(//!//!/1/7 *;*///!//!/8/9@@ B*50/=0/=/H/K *;0/=0/=/H/K@@))@*F1/Q1/Q/Y/]@)-@A@@K@*Z1/Q1/Q/i/mi@*d1/Q1/Q/o/q*w*k1/Q1/Q/r/s@*n1/Q1/Q/o/s@*q1/Q1/Q/i/t@5@B@B*V@*1/Q1/Q/|/@*1/Q1/Q//**1/Q1/Q//@*1/Q1/Q//@*1/Q1/Q/|/@@@@@A"<@@*2/2///*ɐ*2/2///@*2/2///@@@@@@@'*5/5///ɡ@@@*5/5///ڠrA@*5/5///ޠ**5/5///@*5/5///@*5/5///@6.@B@A+@@@@@@+ 5/5///@' @ +6/6///+6/6//0+6/6//0 렒+2+&6/6/00@@ B+,70 70 00 +270 70 00@@* @+=80800%0)@*$@A@@B@+Q80800509z@+[80800;0=+n+b80800>0?@+e80800;0?@+h8080050@@6@B@A+M@+80800H0M@+80800O0Q++80800R0S@+80800O0S@+80800H0T@@(`@@@A@@A#7@@&inj_xI@+90[90[0q0}+Ȑ+90[90[0~0@+90[90[0q0@@@@(@@@A@@@@@@+;0;000@+;0;000++;0;000@+;0;000@+;0;000@7(@B@A,  @ ې,<0<000,<0<000ʠ,<0<000 ڠ,!,<0<000@@ B,=0=000ܒ ,!=0=000ܠ@@+@,,>0>000@+@A@@1@,@>0>000i@,J>0>011,],Q>0>011@,T>0>011@,W>0>001@7@B@A,u<@,p>0>01 1@,z>0>011,,>0>011@,>0>011@,>0>01 1@@@@@A$"@@,?1?1111=,,?1?11>1?@,?1?1111?@@@@@@@)p,C1C111@@@,C1C111UC@,C1C111@,C1C111@8@Be@C@@@@@@,C1C111@)r,C1C111ʓ,C1C111ʠ,C1C1118@>ࠑ7@@@@@@@@-D1D111ࠠI@- D1D111@-D1D111@8M@B@C-!D1D111-&D1D111-,D1D111<r@@@@@-;G2MG2M2Q2R@d@-GG2MG2M2U2`@-NG2MG2M2U2VI@-XG2MG2M2Y2]-l-`G2MG2M2^2`@-cG2MG2M2Y2`@@@A8@B-@@@@@@-G2MG2M2d2e@*-G2MG2M2i2t-G2MG2M2i2t-G2MG2M2i2r--G2MG2M2s2t@@-H2uH2u2y2z@@@-H2uH2u22--H2uH2u22@-H2uH2u22@8@B-@@@@@@-H2uH2u22@*]@@A@@e@-H2uH2u22--H2uH2u22@-H2uH2u22@-H2uH2u22-H2uH2u22-H2uH2u22.-H2uH2u22@@@@@.I2I222נ..I2I222@.I2I222@9P@B.+@@A@@@.*I2I222.=.1I2I222@.4I2I222@.9I2I223.>I2I223.DI2I223T.W.KI2I233@@-zify_positiveF@@@.XM3&M3&3.3?.]M3&M3&3.3?: @ ?@.gM3&M3&3H3X.lM3&M3&3H3X:@Z@@@G@@@@@@92 Q@@@@#_16:5@9S@A@@@@'o@#_172M접 AA@A#_18'`o@A'N_scope@9@+hide_Z_of_NF@@@.@ @..X3X333֔!z@@@@.*@$of_N1\Y*@$of_N >j@.X3X333..X3X333@.X3X333@@@A@@@@.Y3Y344@d@.Y3Y344@@.@@@A@@./Z4"Z4"4+4,@@@ / Z4"Z4"434:'m'k/@@@*zify_N_relF@@@ B@@@'j@/%_4w_4w44:c@!N7@@/1_4w_4w44/E/9_4w_4w44-/A_4w_4w44@/D_4w_4w44@'@"@/_-@A@@'_#N2Z@'X; @/g_4w_4w44/z/n_4w_4w44-7/u_4w_4w44@/x_4w_4w44@@@@,@/`4`444@@'@/`4`444Ǡh@/`4`444ɠ//`4`444̠-f/`4`444@/`4`444@'@@/›-z@@@@@@/`4`444@,R@@@'W@o@'V2Q@/`4`444񠠐//`4`444󠠐-/`4`444@/`4`444@@@@,@@@A@@@@(>@/a4a455@0a4a45500a4a455-Ґ0a4a455@0a4a45 5@(]@@0.-搠@@@'@a@02a4a4505;0E09a4a45<5=.0@a4a45>5?@0Ca4a4505?@@@@@@- 0Nc5Wc5W5[5\@@5f#}@"lt \@0`c5Wc5W5j5q0t0hc5Wc5W5j5l.20pc5Wc5W5o5q@@0.>@@@@@@0c5Wc5W5z5{@-@@A(@3@'M p}D@0c5Wc5W5500c5Wc5W55.h0c5Wc5W55@0c5Wc5W55@@@@-q@@@A@@@@c@0d5d5550ѐ0d5d555.0d5d555@@x0㛐.@@A(m@R@0d5d555ؠ00d5d555ڠ.0d5d555@0d5d555@@@@@@-1f5f555@@@"le \@1f5f56 61'1f5f56 6.1#f5f566@@19.@@@@@@17f5f566@-ɐ@@A(Π@@'D p}5@1Kf5f56+651^1Rf5f56667/1Yf5f56869@1\f5f56+69@@@@.$@@@A@@@@a@1pg6@g6@6R6Z11xg6@g6@6R6T/B1g6@g6@6X6Z@@v1/N@@A) @R@1g6@g6@6r6|11g6@g6@6}6~/j1g6@g6@66@1g6@g6@6r6@@@@@@.u1i6i666@@h@"gt \@@1i6i6661ڐ1i6i666/1i6i666@@1원/@@@@@@1i6i666@.|@@A)@@'< p|@1i6i666֠22i6i666ؠ/ΐ2 i6i666@2i6i666@@@@.@@@A@@@@a@2#j6j666272+j6j666/23j6j666@@v2I0@@A)Ӡ@R@2Mj6j6772`2Tj6j67702[j6j677 @2^j6j677 @@@@@@/(2il7>l7>7B7C@@@"ge \1@2yl7>l7>7Q7Y22l7>l7>7Q7S0K2l7>l7>7W7Y@@20W@@@@@@2l7>l7>7b7c@//@@A*4@L@'5 p|@2l7>l7>7p7z2Đ2l7>l7>7{7|02l7>l7>7}7~@2l7>l7>7p7~@@@@/@@@A@@@@a@2m7m77722m7m77702m7m777@@v20@@A*@R@3m7m77733m7m777à0А3m7m777@3m7m777@@@@@@@)zify_N_opF@@@ B@/3"s8 s8 8$8%@@e@3.s8 s8 8288&a@&of_natK&X@&of_nat)j2_@3>s8 s8 8:8B3R3Fs8 s8 8C8E@3Is8 s8 8:8E@3Ls8 s8 828F@3g@@@@@@3cs8 s8 8L8M@/@@A*@+p@'nat_N_Z+.@3xs8 s8 8Z8a33s8 s8 8b8c@3s8 s8 8Z8c@@@@0J@@@A@@@@@3t8jt8j8{8h@3t8jt8j8833t8jt8j88@3t8jt8j88@3t8jt8j8{8@萤~3ɐ@@A+Q@W@3t8jt8j883ސ3t8jt8j88@3t8jt8j88@@@@@@03u8u888@@#@3u8u888/@%abs_N2:/@%abs_N @3u8u888ʠ44u8u888@4u8u888@4 u8u888@D4%@@@@@@4!u8u888@0@@A+@@)inj_abs_N 3>@46u8u8884I4=u8u888@4@u8u888@@@@1@@@A@@@@@4Tv8v89 9h@4^v8v8994r4fv8v899@4iv8v899@4lv8v89 9@~4@@A,@W@4v8v89+9844v8v8999:@4v8v89+9:@@@@@@1]4w9<w9<9@9A@@@4w9<w9<9N9TB@4w9<w9<9V9Z4ʐ4w9<w9<9[9]@4w9<w9<9V9]@4w9<w9<9N9^@@B4@@@@@@4w9<w9<9d9e@1o@@A,t@@'inj_pos2@4w9<w9<9r9}54w9<w9<9~9@4w9<w9<9r9@@@@1@@@A@@@@G@5x9x999f@5x9x9995.5"x9x999@5%x9x999@5(x9x999@b@B5E@@A,͠@Y@5Gx9x9995Z5Nx9x999@5Qx9x999@@@@@@25\y9y999ʡ@@@5hy9y999ݠDA@5qy9y999@5ty9y999@R@A@@@@@@5y9y999@2@@@5y9y9990@5y9y999@5y9y999@ܐ@A!q@5y9y9::@@2{@@@A@@@@5z: z: ::"_@5z: z: :#:%@5z: z: ::%@ @A@@!@5z: z: :3:9@5z: z: :::<@5z: z: :3:<@.@A!@6z: z: :C:E@@@2ϐ6}:^}:^:b:c@@S@6}:^}:^:p:v)O@#add )F@#add3 @6,}:^}:^:x:}6@64}:^}:^:~:36<}:^}:^::@6?}:^}:^:x:@6B}:^}:^:p:@|$6]4@@@@@@6[}:^}:^::@2퐠@@A-@ @'2@6o}:^}:^::66v}:^}:^::4?6}}:^}:^::@6}:^}:^::@@@@3H@@@A@@@@@6~:~:::Šx@6~:~:::̠66~:~:::Ϡ4p6~:~:::@6~:~:::@6~:~:::@6ϛ4@@A.Y@g@6~:~:::66~:~:::46~:~:::@6~:~:::@@@@@@36; ; ;;@@2@6; ; ;;#*.@#min *%@#min3`@7 ; ; ;%;*77; ; ;+;-4ݐ7; ; ;.;0@7; ; ;%;0@7!; ; ;;1@[$7<4@@@@@@7:; ; ;7;8@3̐@@A.Ѡ@@'26@7N; ; ;E;P7a7U; ; ;Q;R57\; ; ;S;T@7_; ; ;E;T@@@@4'@@@A@@@@@7s;[;[;l;rx@7};[;[;t;y77;[;[;z;|5O7;[;[;};@7;[;[;t;@7;[;[;l;@͐75f@@A/8@g@7;[;[;;7Ő7;[;[;;57;[;[;;@7;[;[;;@@@@@@47;;;;@@ @7;;;;Р+ @#max +@#max3@7;;;;נ77;;;;ڠ57;;;;@7;;;;@8;;;;@ :$85@@@@@@8;;;;@4@@A/@@'2@8-;;;;8@84;;;;58;;;<<@8>;;;<@@@@5@@@A@@@@ @8R<<<<x@8\<<> -@$succ ! -@$succ?\@:f==> >:z:n==>>@:q==> >@:t==>>@ :@@@@@@:==>>@7@@A2"@ :@%7|f@:==>)>5::==>6>7@:==>)>7@@@@7q@@@A@@@@ @:>>>>>O>Ug@:>>>>>W>]:ې:>>>>>^>`@:>>>>>W>`@:>>>>>O>a@ }:@@A2x@V@:>>>>>p>|;:>>>>>}>~@:>>>>>p>~@@@@@@7Ɛ;>>>>@@ J@;>>>>̠.F@#mul .=@#mul3B@;#>>>>Ӡ;7;+>>>>֠8;3>>>>@;6>>>>@;9>>>>@ s$;T9 @@@@@@;R>>>>@7䡐@@A@@ @(R9@;c>>>?P@;m>>?? ;;t>>??9=;{>>??@;~>>??@;>>>?@@@A3@ 0@(Q2@;>>??);;>>?*?+9e;>>?,?-@;>>??-@@@@@@@@@ @;?4?4?E?K@;?4?4?N?S;Ӑ;?4?4?T?V9;?4?4?W?Y@;?4?4?N?Y@;?4?4?E?Z@ ;9@@A@@@;?`?`?t?@;?`?`??<<?`?`??9ː< ?`?`??@< ?`?`??@<?`?`?t?@@@A3@@< ?`?`??<3<'?`?`??9<.?`?`??@<1?`?`??@@@@@@@<:??@@@$@@D<<@,@,@E@G@<@,@,@>@G@ <@@@@@@<@,@,@M@N@9Y@@A@@u@<@,@,@^@k<<@,@,@l@m@<@,@,@^@m@<@,@,@p@}<@,@,@p@}<@,@,@p@{a=<@,@,@|@}@@@@;@=@~@~@@== @~@~@@@=@~@~@@@I=%@@A@@@=$@~@~@@=7=+@~@~@@@=.@~@~@@@=3@~@~@@ɓ=8@~@~@@ɠ=>@~@~@@=Q=E@~@~@@@@&zify_NF@@@=R@@@@񓠐=W@@@@񠐠I@HU@=a@@@A=f@@@AI@ U4y @@@@@@@$zifyF@@@=AEAEAZAb=AEAEAZAbI4@%7@=AEAEAdAq=AEAEAdAqIB@L+b?@=AEAEAsAy=AEAEAsAyIP@`]@=AEAEA|A=AEAEA|AI^@6#yB@@@\|چBb~w4O@QM&\qE;ȐIbO@qZ IКTOބ@ *nےHI //P`ĕ