"`f  $Nnat&NArith#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@0KÀA>@$div2.,a5@$div2 2A@@@@@,+inj_compare @@Kπ+Ӏ~+@*comparison;f@@'compare00c@?H{BA(PeanoNat%Arith#Coq@r@'comparelq@3RЀmBrA@@@@@l'inj_max @@L@i>g@#max @#max3ҀBA@#max.p@#max 'BA@@@@@'inj_min @@Mtr@#min @#min3`BA@#min.@#min ՀBڀA@@@@@Ԡ(inj_iter @@EN.-!A~@YRQD@@!f@A!xB6C@$iter @$iter>:DCBA(@$iter.@$iter DCBA@@~@@5@A@A@8ALe$Pnat&PArith#Coq@@AAA&ؠo;:9@@HA1DHlkj@@OA;ܠLKc@@ABC@@:@@@~@"@A!@@@%Nat2NA @@O!n:@AcAA@@@@@b_ @@P"n'@BA2QP@@@@@O @@Q>=!?NԀɩBA‰UBA@@@@@K @@Rc)Datatypes$Init#Coq@@#nat@耐J@BEBI@AAgA@@@@@䠠5 @@TS</$(B~tByB4AAI6A@@@@@% @@TқQ@eZM^BA+[A@@@@@<| @@U)Datatypes\[@@#nat@zzAA@@@@@hL @@V#)Datatypes$Init#Coq@@#nat@€BBAZBA@@@@@ @@WY4@?婚؀ BA怐B뀐A@@@@@̠s @@4@A@ACD @`@$ggcd Б@>U@A@ @i@ @A@A 3"@l@$land 3"@>m@A@ F)@r@$log2 F)@>t@A@AB S@w@$lxor S@>@A@ @}@0 2@A@AC @@$size ܑ'@?'@A@ !@@$sqrt !/@?@A@A ! @@ ! @A@ !7@@$zero !79@@P@A@ *@@%ldiff *?@@A@AB g_@@+pred_double g_@25\@A@CD m@@÷ m@2j@A@S@@&of_intS㫑@4}5@A@AS@@&of_natS@4};@A@BEFGH\R@@(mask_ind\R@4@A@\^@@(mask_rec\^@4@A@A!,@@&pred_N!,@4s)@A@B@ @&shiftl@5X@A@@@&shiftr @5X@A@A&@@&square&ّ@5,x@A@BC"@@&to_int"@5L@A@"@&@&to_nat"@5L @A@AnTq@+@+testbit_natnTq"@6n@A@B@@(succ_posB@@A@.@@'of_uint.@MS@A@AB3~@=@'sqrtrem3~4@7]%{@A@CD,@u@'bitwise,l@/v@A@>4'@I@'testbit>4'@@8g$@A@A{U@N@,sqrtrem_step{UE@8R@A@u^@@(div_euclu^@ @A@Afz@[@'to_uintfzR@9w@A@Bl@@'comparel@3R@A@CDEFs8@@+of_uint_accs8@5+@A@}@)@,pos_div_eucl}@&`@A@@/@DF@A@ABq@x@+of_succ_natqo@$@A@w@8@&modulowɑ@)1@A@ACK@=@&of_intK@)j,I@A@K@E@K@A@AI@H@&shiftlI@*O@A@O@N@&shiftrO@*O@A@AB,@S@&square,@*ow@A@Z@Y@&to_intZ@*81@A@ACD`@^@`@A@e@d@+testbit_nateđ @+@A@A+{@i@'sqrtrem+{ё@,J@A@5z@p@'testbit5z@-T|@A@A @u@'to_uint ͑@.@A@ @|@@ B@A@A#@@'compare#ݑ@ )Q@A@BCD%t2@@(size_nat%t2@ @A@%9@@+of_uint_acc%9@ ΋@A@A%V@@+double_mask%V@ S@A@%%@@'div2_up%%@ "@A@ABEF'ş@@'Ndouble'ş@ @A@(b0@@*shiftl_nat(b0@9-@A@A(nՖ@@*shiftr_nat(nՖ@'@A@(@@0succ_double_mask(@@A@*W$@@,compare_cont*W$@!@A@.0@@.sub_mask_carry.0@΂@A@ABCD.@8@!t./@ ;@A@.먩@?@#add.먩6@ `@A@A.U@D@#div.U;@ @A@.B@K@#eqb.BB@ @A@A. @P@#gcd. G@ @A@.=@V@#leb.=M@ @A@ABCEGHI. @[@#lor. R@ @A@.Z@g@#ltb.Z^@ @A@A.p@l@#max.pc@ '@A@B.@q@#min.h@ @A@.@w@#mul.n@ @A@AC.g@|@#odd.gs@ @A@.&@@#one.&z@ @A@A.뾴@@#pow.뾴@ k@A@.L@@#sub.L@ @A@.@@#two.@ @A@ABCD.,a@@$div2.,a@ @A@.Xz@@$even.Xz@ ?1@A@A.@@$iter.ؑ@ @A@B. @@$land. @ @A@. @@$log2. @ @A@ACE.@@$lxor.@ R@A@.y@@$pred.y@ `<@A@A.Ʉ@@$sqrt.Ʉ@ ;@A@.@@$succ.@ @A@.t @@$zero.t @ Z@A@AB/@@.to_little_uint/@ @A@CDF/@@%ldiff/@ H@A@00@j@00@A@2kF@n@(size_nat2kF @{@A@AB3@@(tail_add3@^q@A@C3@@(tail_mul3@^@A@5Z@@*shiftl_nat5Z '@y/@A@5f}@@*shiftr_nat5f} -@4@A@AB5a@@'iter_op5a@ @A@C6w~@ @'of_uint6w~@^5@A@:x@@,Nsucc_double:x@ ʭ@A@ADE@#Q@A@ACD=(@L@$mask=(C@#Q@A@=(_@U@$lxor=(_L@#Q\@A@A=) I@Z@$pred=) IQ@#R_F@A@=)R@`@$size=)RW@#R@A@AB=)]H@e@$sqrt=)]H\@#RE@A@=)a@l@$succ=)ac@#R@A@A=9R@q@.to_little_uint=9Rˑh@#b@A@=@w@%ggcdn=͑n@$*@A@=U@}@%ldiff=Ut@$'R@A@ABCD>@@&divmod>@C@A@>@@&double>@NĴ@A@A?;@@&modulo?;@"i@A@BEFGHJ@<&Basics'Program#Coq@0!bs߯? :VU0K11ڤ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*)(@0.i bYN Z)Decidable%Logic#Coq@0ND걸풬/Oߠ'Decimal$Init#Coq@0C涳N*ua*EqdepFacts%Logic#Coq@0FI$ͼՋ`)Eqdep_dec%Logic#Coq@0u wWIϰ߼*Equalities*Structures#Coq@0όe얟)H.Ƞ+Equivalence'Classes#Coq@07;ꮹ-GenericMinMax*Structures#Coq@0måj$$Init'Classes#Coq@0](p{yOh."Le%Arith#Coq@0d}Omq+ 0\͉!Ig*Logic_Type$Init#Coq@0 1jc6"Lt%Arith#Coq@0KZ-eJkP܏)Morphisms'Classes#Coq@0Imӽ%\$PD.Morphisms_Prop'Classes#Coq@0% :B'.>u%$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#Naton@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|ؠ 0O~2$k[#lZ$Plus%Arith#Coq@04tmG W V U@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$&Specif$Init#Coq@0;RWMi\N'Tactics$Init#Coq@0/9m+ a'Tactics'Program#Coq@03 SrHȠ@ Q2 Q@@A@"_6 `@ \#*@A@@@@@@@@"_72M접"_8'`o@A'N_scope@ l@ 2 Q@@A@"_9 @ &#y@A@@@@'@#_102M접 #_11'`o@C%'@@   @ 2 Q@@A@#_12 @ "N@A@@@@T@#_132M접 #_14'`o@BRT@  @ 2 Q@@A@#_15 @ "@A@@@@}@#_162M접 #_17'`o@A{@ 0@ 2 Q@@A@#_18@ ٧G@A@@@@@#_192M접 #_20'`o@A@ T@ ʠ2 Q@@A@#_21%@ +cc@A@@@@@#_222M접 #_23'`o@A@ x@ Ġ2 Q@@A@#_24I@ @A@@@@@#_252M접 #_26'`o@B砐@  @ 2 Q@@A@#_27r@ @A@@@@@#_282M접 #_29'`o@B@ Ǡ @ 2 Q@@A@#_30@ @A@@@@;@#_312M접 #_32'`o@B9;@ 𠐒 @ 2 Q@@A@#_33@ +@A@@@@d@#_342M접 #_35'`o@Ab@@ 2 Q@@A@#_36@ )@A@@@@@#_372M접 #_38'`o@A@;@ w2 Q@@A@#_39 @ 4IP@A@@@@@#_402M접 #_41'`o@B@ad@ `2 Q@@A@#_425@ k@A@@@@@#_432M접 #_44'`o@BӠ@@ U2 Q@@A@#_45^@ `3@A@@@@@#_462M접 #_47'`o@B@@ J2 Q@@A@#_48@ U*VA@A@@@@'@#_492M접 #_50'`o@D%*type_scope.function_scope@@@A@@#_51,*D@@ }@AA@@@@@@#_634e;$Nnat@@@@BB@A@  A@@A@@AB@٧GЩȐƐB A@@C@+ccCA@@ABD'@ހ|pnDE(A@@E8@UPDBFG9A@@AFF@1, HIGA@@GU@ +  JTA@@ABHa@ )ʀ ԩ ̐ ʐK`A@@In@ x祀 s k iLMoA@@J}@ S3 N F DNO~A@@K@\#*W+PA@@ABCDE@A@@@@@8@@A@A#&@@A@@AB@w@Ai@\@AP@D@6@ABCDE@B@@@@@@_@A@A@@A@c@t@A@AB5@@A@}@@A@S@L@A@A@@@@@A@A ԡ@x@A@ @o@A@A@@A@@@A@ABC@@@c@@A@Ae@@A@g@@A@k@@A@m@@A@ABCD@BCD@@@`@@A@Aa@@A@b@@A@ABd@@A@f@@A@Ah@@A@i@@A@ABj@@A@l@@A@n@@A@o@@A@ABCDE@A@@A@@A@ KrHȠ@2 Q@@A@#_64 X@y@A@@@@@#_652M접 #_66'`o@A)nat_scope@ c@#_684e;$Nnat@@@@BB@A- | r pVNA@@A@A@@@@@@@A@A@@@@@@!@A@A@@@@$@A@A@A@@A@@A@%nat2NF@@@@A@@@#y@8./theories/NArith/Nnat.v@@@@ A@.now_#_62200C10- @=autorewrite_with_#_#_4C69D526"٠==$Nnat@#)-栐@@@@2 Q@@A@#_69 @(yh@A@@@@)@#_702M접 #_71'`o@C@@  @2 Q@@A@#_72@$:@A@@@@V@#_732M접 #_74'`o@B@#&@2 Q@@A@#_75@@$6^@A@@@@@#_762M접 #_77'`o@A@ @2 Q@@A@#_78d@#S@A@@@@@#_792M접 #_80'`o@A @ @̠2 Q@@A@#_81@!+@A@@@@@#_822M접 #_83'`o@A0@ @"2 Q@@A@#_84@-!?@A@@@@@#_852M접 #_86'`o@AT@ @2 Q@@A@#_87@:@A@@@@@#_882M접 #_89'`o@Bxz@z @2 Q@@A@#_90@:"I@A@@@@8@#_912M접 #_92'`o@B@  @2 Q@@A@#_93"@ :@A@@@@a@#_942M접 #_95'`o@Bʠ@̠@2 Q@@A@#_96K@!@A@@@@@#_972M접 #_98'`o@A@_@y2 Q@@A@#_99o@Á@A@@@@@$_1002M접 $_101'`o@B@@.2 Q@@A@$_102@9:@A@@@@@$_1032M접 $_104'`o@B@B@@2 Q@@A@$_105@:m@A@@@@@$_1062M접 $_107'`o@Bik@נ@L2 Q@@A@$_108@W! @A@@@@)@$_1092M접 $_110'`o@D@@ @A@@$_111*(D@@}@AA@@@@@@$_1134e;$Nnat@@@@BB@A7@y," QA@@A@A@@@@@@@A@A@@@@@@#@A@A@@@@&@A@A@A@@A@@A@,nat_of_N_inj9D{(@@B-N_of_nat_of_N9D{(@@ .nat_of_Ndouble9D{(@@87nat_of_Ndouble_plus_one9D{(@@2,nat_of_Nsucc9D{(@@-!,nat_of_Nplus9D{(@@)),nat_of_Nmult9D{(@@ 1-nat_of_Nminus9D{(@@9,nat_of_Npred9D{(@@A,nat_of_Ndiv29D{(@@I/nat_of_Ncompare9D{(@@x@4IPS+nat_of_Nmax9D{(@@[+nat_of_Nmin9D{(@@ c/nat_of_N_of_nat9D{(@@k,N_of_nat_inj9D{(@@@ yhu+N_of_double9D{(@@@6^4N_of_double_plus_one9D{(@@@u#S&N_of_S9D{(@@@<!+)N_of_pred9D{(@@@x!?)N_of_plus9D{(@@@&:*N_of_minus9D{(@@@:"I)N_of_mult9D{(@@@:)N_of_div29D{(@@@b!Š0N_of_nat_compare9D{(@@@>ÁϠ(N_of_min9D{(@@@:٠(N_of_max9D{(@@ @:m@#_52:}9 @@@#_53:}9 @@@#_54:}9 @@@#_55:}9 @@@#_56:}9 @@@#_57:}9 @@@#_58:}9 @@@#_59:}9 @@@#_60:}9 @@@#_61:}9 @@@#_62:}9 @@@H#_67:}9 @@@@$_112:}9 @@@@$W;s #%MmD@n 6dmm@ЩǝR~7xm@bAP5Ƅ, xx!a'BinNums'Numbers#Coq@@!N7@ @@A@A@@@@D!n%Logic$Init@"eq @$&BinNat&NArith%#@&of_natK)BinNatDef)@)j2_@&to_nat` @*9GA+AFGAC2K'  !pR@(positive*@Ȑ!e$Pnat&PArith]'Pos2Nat@'is_succ%,R@"ex @)DatatypesY@#nat@f d &BinPos!#Pos@L")BinPosDef'@Q5L BBU(BBB@@@@D@2,-/#CB m@#yA lOYDeI}wuXl@&doublef@'޺_Z#Nat@#mul 5Arj%Peano@(mult_n_O(ހCE(k"nlja@&inj_xO=CT71)ϩ`@+succ_double @.^4LEoRKC?CͰu[2@&inj_xI= Cܰ$j2ː@$succ ! @?\ͩ|̠͠lCېƩɷĵ@(inj_succ uC鐩 (& ') @#add @3 @ `/)>'ϩ C3۩!  C@#.E(ISMbK.9+457࠵@(plus_n_O0G؀ C_BMd6Gh1"p0/&@'inj_add% CqT_&vY%zw'bv@ o@3Bl g5pfeldC=xbacalCE]"\kiN'[+Y6QCW0P4ON{r@'inj_mul%'VCe>LBKݷѷɰq@#sub c@3T@ cܰ CǐCϐ#  ؐ,&dũ.v(PeanoNat%Arith@'sub_0_rvCGAܵȐ!c@,compare_spec*YJ@+CompareSpec!Q]@)@"lt=Lʩ@'compare#@ )QڀȐ"c0 ț@*comparison;f@"CAAAAAA@@@@@@@@D6@/R)+1X;Р@$mask=(@#Q@@@A@@A@@@@@@D!x@(sub_mask@@)ΰG><vH}DFǷG*e*bL"2A!m(;v;0q#Ġ  BCEixn@.L̀٩@(sub_diag5R ?H@-sub_mask_diag (g ,N^C,Re*H!qoBBB@@@@D@y@?@ UxcOr@u@ V@&inj_lt=S~@@@4s)Uư Gxw@&eq_sym X#GnSn;@4@gyu@"le UxT@Ѷ@s@ wa@(sub_0_le5MF@@ #ǶH.#@*lt_le_incl 5C.9ܩ@,sub_mask_negL~@-sub_mask_pos' sw  !r zIީB)O@;=À@.,a@ ͩ @AA@AA@@@@@@@D2ک7:ƐDBީ&H ) E@0div2_succ_double2H鐩A/CU8B >?'% $" &f(G(b@+div2_doubleO5BLCrU_ [\R$`aL}@X00v@Y?H{s@^l@_3RЀs ]p ovucdAChonpnhfY0@)qrBX@@A@A@@@@D)`|1b d(8&g!h°  Cǰ?:ַΰFA\Z@SװCLUPJZHC VZZL^ Cd_@+inj_compare=Cpkhũsȩ@@@@@@@@@@@D(@#max.p@ '*© ݷ @TU)ѩ % w-@'2/4@%max_r/ί*4;@*eq_le_incl:1;uD5?#z*I@%max_l/ί逰?I-KA/𩚠@e4IPC\?S@N L@O3ҀJd/jU0nQhcLp@#min.@ b# z_vq~  [>kF@a-\i{[@%min_l/x'VNMK@%min_r/x-JGFCE@- @.3`@*!A~@Yi@@Ƕ@?M@ϩ@$iter @>:7L@.C@  >SA CX@(inj_iter S~~@'nat_indJÐ@CȐ]\#IHn,CҐS̐"n'cYxz  퐩Bf)j-B琩uꐩQ::8Ƿ5CC@ %Nat2N@y7۷?ܩ@?9Ŷ@<.@yhܷзIG`HbO$P착CҠ-rZX3;Uߠdb ?AkiADHO-@*inj_doubleW(O(~"q 0*+-`h2/57/l;n<>n@-{Y@/inj_succ_double٧G&{&NF5ʩU8VX]@׷`b#deg!JiLV@+cc""vnŐ=~ٰ֩E)pL ͐@(inj_pred+Ր$$^i萩 r-zé $A%@ހ) //2ַ:שϰ&aϩi6<:q5m4ECq ҷKIw3'QO }2(rM+5 aV8&0&_gSc i gBJbarp6Lxv`!T~"|$ _U'zXb @@i*a*4,N{;Q<>qyCEG-{ J}KMc}Oe<h@(inj_div2)ʀΩ##]^|*~.&gKh°4,mnȰ :=gaDΩxϐyzrɐdr8٩Aݰ@ةIp׷t©Puz֩Vʷ թˠΩؐ @'inj_min3++  s   {    ĩ  &ʩ $ G"  @'inj_max祀0 + + 9ݷFr@@Rʩ8  ^ E " N L %Ʃ ,G*H /@*VAVfTI~;Lu