From be9b7ab60b83fe8da5fbaf0ba684d7d723c440e6 Mon Sep 17 00:00:00 2001 From: Nagato Date: Sat, 2 Nov 2024 14:07:20 +0900 Subject: [PATCH] =?UTF-8?q?=E8=BB=BD=E5=BA=A6=E3=81=AA=E4=B8=8D=E5=85=B7?= =?UTF-8?q?=E5=90=88=E3=82=92=E4=BF=AE=E6=AD=A3?= MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 8bit --- libfact.so | Bin 133344 -> 133144 bytes src/lat_fact.cpp | 2 +- 2 files changed, 1 insertion(+), 1 deletion(-) diff --git a/libfact.so b/libfact.so index dd8059a054fe4d3d0e0822a7d48aa797d1c773a1..0c861a5e6a80aa7bbb5be3a6d341a426e2c16861 100644 GIT binary patch delta 38790 zcmb5X34Dy#_dh=Okwg%g5G1iBNDx~RYl4tiCzZ4*YN;)@mfF%vidrU>45niUw{a=j zSgTs4B`DIy8roXAQfrj*j1(y?L1q5$bDw9D;q&=?U%!8tx%ZxP?z!ild+xdG^Gwk) z@0Ho!+09wtvhYq-C-gMPzX?5;z0sy>PBfFLoakli+f-fCQp2rjx$JzKDk+t9%AGZs zkyUA5NlUip;mY z)|lW`H`(xRTrWcc3(c+BsDHbxT((#Vso|AU!(%>gTB)&_veDldd|tz60zT95c@v*B zd|ZET>yeo*fF909IL8e(SC7AoFcY6Fd@T4Zz-JLY^k>D#hRe_YvmkaSB%AvkITpl)&E_eAeRg5hdLIauHvL&qjPUd6aJe zFRBvAcJenX2e2gmu2%qiiJ)v1{{r!wlI}%*)hmM4;Wa?hn~$y*zgRLXMiKz3g;jznxNfp`jHGbAe;U*;Xb-sJ~Td@f&CHGs{Q@FKnpY#Z}N zRr*3$2q4b<$UJzcS1q<*%F~8w#5PMAs>yh?WbIcq5bUm^wsBPhJ=@gQYv}o~jvnKw z)dN{Pii%(-Wi5Be0tazcErP9(g3O{Cu)(NV1PhXasIr7~89yYol1jpQ9`kZ>4e<$N z<4G4h*(Z|yCh2RE984kpya@ONsTn_%e?)4tic^1|(80yFtIYzZ%A^gp% z0sIVdWD@Oi-$=HFgb=wdZM-e(ut@S4Ml|LC$kf>2YX}*nb;?c(3l&*rOAOpeAOxNH|bVm1exFKBwT+-p@ni_rXd=2oP4$s%&DHZ~l4Tdni z;Fca*4dNC`ISdQ*3}5Rt%RZsOckA>wp((0yYf_BK=%z(bwPj91xk5WqjL!~U#~#X zQ4RjNUV#l&Q9h}3$5@R+5i~%5srV2)^%V_XUqTIrxw?k@tQz33UNZ#+5Pk9+8hx@( zzZDLd;Mv18c)AX6;HSZh-ey#PcwgP<4*w5L^wd?CdR5~v01W7Fv@XyY-LCA!LrJhbu+>Hj0c8r@hTvouDHwZPEefAo$dy=fxJUE|NG(--}Z zUUSc^tH^J-M(MKN5B#+@j;p1?>&0sf$LIn*Z`G>a#>po&x@~&X>_JB6WdAc}mYPQ7!13RpZ-$yzGgVArGM4E%M_hHd1q9el?pEl>{|VmsWT={ z9XG1~`043W#_x;{I$K3Nz07Ly8cmw7c)&cx^n0w$&UsDpytu8!4nCvhPTsD?2$7?* zn&M{%3*Y%hD{n8J*7gYR+RodYTo=ZQB17;=ZaNF4)iBHjjQ$w@O>o2ePn-zzH5x4C zc*W31$47$Rx@?6PO_-PJu=KhU(JY>Z56bDi4V`pcHt63h6=qb^&#+ksjxH5Q`x^4} zwACDrbalfKJw5A(?GUh<;YU3^LDE+>Tyf!Ly0YPpp8je3B&glP@KjHyg)fJ?D;d1& zQT3>TqdW{FbtD05$r}0?YJq^X^1iH56+=Tkt<}g&)`;+FK~zJ<5Uw*kr#mveQ4Jw{ zUHgEjxY@+pU{IgK7U}TjKWjGP%GI1Z+P4hS`>2-nq((vCgLvx>0YQs3xcm-u!+y+1 zbO>OAr*~M&hH=l1A7k3Qt>Y-nY^!(b8}yP}u5+g~o>Y&4d`hQ)pn+~!RmY-14MX|b zP62#PC!e5FH|R(=>PY@ur!JWE){c%~V|efAQS5!bDY`Gq;kN-9%NxY>Whs1o%nY`i zUy2C``phlw@iUqnYe)rZF9q_ZrCM!O6R_8F3;;6!PfIX@cjv|-6bMuf*XDG z4;9?(d_w+QwIPsjH-zNy=&pp9;vXZ~0r)g<1adjy};-G>k9 z9?BN+x!og}g>UN~5VX}T$6mJ_+5A%X0PYj#Q~kIbv^%dJ7Z5bvEzdbO>^nRb*zs;y z)eZY8pAv@_jq_opyasr0iSyyZ<9(`o|5PDoFMbjnM!Rtcbi;nmp91^38@9O{whwO| z9}x7O8#dYv+n0}s58#VYp2-dR0=ENt0MH?B&_tdO=%0X2aD%?cZ-f5|H~ur-u*tkZ zj{vOmI`n{^d-zme>4w|H=k^E)%5=-Q#SJ@vZv%FU8+NZ7b~V2QERAulzvFJ$bY8t@ zK+s?p3gJ07><}Ic>V}=orvR(Z8zoJt8+JHf3+z<4yxzLUpgxnqPxcI`{-GN- zkRR+Bz`c9B(2WOQ{BOn#)Nw>AfP?=B%e2?MeEQ<#I09opvh8@ zR>fqWS)^Vi5F}ZJa*1V8qV*v$TlIv$JgIj7-%BaSoX|LvEiE+J6keuP>^p!HtvA&H z$dzdQ!(=6K)J+eF*BwIad+2nkM;}XUaSv-3(fj%>3{=13R2kI1_GPd^k zz7<)AQ`Xm!)h(AvR?Q>SWQ#W0QvJ&12$ABYg*HzNzmsISo#vg0s#GH&LXJ!ju6T`J zCC<-}ZPfnnCX1*)%53^`+wlZ4IrhiJNnCR*>PpFl!&7qkUL@z-v$ zW%HzQbpytOtz(MQ>C7fng7paHPkGFp6NBn{s_lT4YE(~D>b78r#k1xhGi~gJH zj#5+`aK*ccE|PN3q2$LDJM=eE90;Ysk!1N1a;cZN-}pM_&B#pEX(KCJr_%X5_ zZ?w4D64(%vEw2c?HXvqC2xPn*p z3SK>kS8MQcW8*8?B>y3mofaDCZc}Fn2!=y6hQ+IstpB*I{+?cmhw6Dm)uT|08`sVJ z^lPP+J#(;H;Y>BKYzOo7#^ty@=DzV7uvv%k)H z0yUTy5~R%~;HVp->~&?bA=5%5$+%M0E2Ic?=;*}o8%dVy)Yv!GZvmw8`jduFs*tPfu}A!Pjc66CWV2+bf% zA3_P3UM>VttD&Ug3$VN5EHb`735Nn^CR%T(!Bjw16hN3CD=>FdPr{U-f|_y<6TuJM zXJVt^kDwu9;HUm_7rk%{%*>5u8Bd&8AG4E*6C2fOD;XXLT_ihFnK}k(HHqg=Y|^lb zWO5)h1(h<{c7>)==<;`e@~hx+nwL$i-|S1sQCywMiz5-P-O&mURDYuwDqKJn{+`Fb z5%k7eprvX*epYPR@F*h#l+>?D9JLS8qES-yM%hM<5=Dh=Kskd;D#eKeRVqoR8F+_2TUwb2hearnPb;YzXc~YG&ujzU;sl%z35a>EtfY$e|w>5^j zQkY$#J1BHjycJ(JslH+?;onT6E$nlX8Z;`D^yCz8s80}AZ$L&jeHZdNlSBHgpq4Pn z4)5y9(fKVx9Pk$&p>W^ve6`jTGYENDkQ&2eb-6 zy9MqQ`JS^W^;>KQ33)d(A36i|n6-MNWrJ8fQw$01)I*N(zEdLDAUY7KRO~{&LhnZ4I1XOQ*M@~MrweJWKoCp21(*JE+&>oS%WI>f#2&DYV% zY9Pg=2vhl}sSQ{%pF1_6e{&KHr3ONO>ZfG1eWWHPhXxj3B(W;%1Q6?v`W_L4fj|>W zYS#-es&sS7M!m^zOl=Wy0F`lsXf<;L%EpqF>_wHd&&^d=OO@tFVwhJW{^Tj?b^6Yb z3a}if5!q@fk^{5loR;zfU2#1)|3Gavq2AK+t3a!lwYY(JwY?*{C9yg$87;SDOXe>k ziqABP6pH6k+@6016D0M0Exv=|i!_>SIdRI%rNCvYCyV(<(}I*Qi^VrdEGSt>mE@Na zx0bSD^CO9aS!y`nkK)oK?fE4n)5j`!VKf6hMl-64`(T$)EE>JYf|NGJqANnPzs7wL zk;%DUTiJy98RdXR8enEQz)u6DmIItnB?d$2YeG4!SgJQar5tcx0}Lq#oFIVNmY-Y> z*{hM5$^jn(K;FYCOPrfc63QvX5+EG)yq)zB&cTv)M)ty8xX)aN=QlJw}AGM z==@|D32`(3P8s7U<4Mp^;{HvbZ21MyAN36n2eKML;MO-vh<+{TO*XCgHI(r&ROwhK zq5s>gNSd*dCO;A~m`R9flsjK*2ofy*0F23?HOFQRoT|&~spbICJL|eJtD&oWTY9c$ zJI1W4fT=wpvBQ8^@2KnGT>JxSLuG-X(NY7f3HZJyy4jgFno5rYS6TyT)p?OXt)DHq zo?4%1YJr(cn8rlrrIC@`R6rJ4lKK~^dLCj_)K&V*(|H@SrlAEW<4K}1zeBO-_JX=c?U#qC7F{`7dHMO3Wi!u?NOJ9SDqZ4Yc$b(hW9SxwX9)L?4pj=g>o;b}; z^*A-xD^f&F`&EhCmw*<3fmrcp<<*Twn-XpXfRCgGzY^^F4+>BXEh}lDU zAV-#q88|w=mC7nNoTeoB4@70YtYKVAs!f=^g!vT+%9^i-$0VVqA*t`>($AIi^iBjoc{VBNKc#r4Tvv5zZ{h!qwmXKK|7YSE4q7z14RoG2#MF+MEu8Up_NPS@S!uhv41cHABCKR#C@;!tonoqzF?HDM%kl@2InoRL5P{ z8Yl`*>RII(v+R0%gpghRrzZaI_AomgduToP|2LmBm$`B!m`|2Wf)`yzEe`62J00yp zz}Z)5&V4DVcp0)mcGpEe9Qpq#cMXM?zd4#F%vtJk<;U9n@!Z+tYl`8-N!7 zgiOV!pr-PEeH&{_;?$2aoqKl06#(@)jsQjkw;(2_DAXd;uA5OzRVv#aJGwTL=3Wo| z+R^q|24{(c1g`J{mQEmX&=)aX0j7|K`WVf@sX+BhG>Ds3aLGdx*p`< zlm8!whIX8L>=fCPSe^0q*0*u)N}CRUQoGt>*AArQoe?H`?L)vg@}O9`rwP#y5~r@j(4kjKnv&>{&iLwd_sOqsD? z4nWjo{UZ%KIk8OvR}(IhfDrkZXV?&)F~`KR_=!2`^**OMW!?=j+1uX^K^f{vG%t!Z zX1&jc&g~d5PpY=7hRcS;5;uWwp4%H|3xCdSrPM0ob?5czx%fOWI^sP7+Ya%=9dl8h ztQ?t4By^i#^9cQ#4qQ#PxJXkM&-Y(uhO}eAI?outE-5~scDc+q%_}zIOaKI2| z9#SO&vo^Kr1*em5o@ZhW38QQ|&zqVDSAGdgNVUazJ}zU7()2Pvo)OLd>fuTlMxw|uuLTh05wYhwNR>UUdKe(g7?gPr3i-|fxLbN~6#Y&1`t-_9kvP(_XSm2b~%gYAXO znE?&NBc2Q6AjI2(+n^3pn<;Gy>u#38gAI&m_y>!-PqDLLIp>uu7=xFH{@4K_DrBq>u zc*{j2l+Yjfdy6)BnJc40ukLJTt;~#Vt1yH0yMwB7^y#$PVO4e}yf;Kq`km$*7I#*R zKk_S!1M6)%smYuYZ!IL%$_02T>9%-hO*^a9I_NvC8+~yCgw}JG3-dnARGGC`XjjMk z*6Q&F5=lsgDO!gihyF8ISNx}$ z^$AaWzfpJwH2`vYMiQ(Gq$SFuPipkS4)Pj}o}yoXI@Z4lZeporM=R9X<|JS9{tK-h zAYXzN^Taf?9*nHeBb4|iT7OqB9Dk-&>!08?b2_j;xGAS0?(@B#6Wri6lp@VbOe z2;!E4^tEIqNT25$a>Cdyej=w44jYSeg8Z6GelD}9dz{x=5jiAU%NB2Z|48u`^*k6l zMxsxv2B^i=@(UoNE55QK4j<=OU6FL`a*H42YgY7Bsu%LBE1I(bys8+?p71fEEsjlc zL@TA`F@9L|W&?SZm2o&qd|_pCCG=aKwlW4L|M|-LO5?-)`;{-_c(LKCdP=1uyvwRk zhGT(Mjq9F2R3S?gEW;&N*a^O7)j;+y|7%qz-02JdAg=CVXqznCa$#0Ab$5Z&`I>Ye zYQJxI<_BrmyDI&ldqDa(P@DBiqIF!TiMmxPX9txa)aw^+)v}#?KI3>aU?<;&f#~|rF?2`lZbjH;P&7v zDD)tRpt0h;B(b(%>zJfhhD2*ukWPK7wmqHZ$srz>(?k7!3P4hE&@3Z%xo z$N7d#_A3wA*pZFmFK$d=uke){UtvyuXJZE?d^Zo<6vn>f{WkSuuW_;I&taeJLdAOR zgasG&mHr4?Fk04?kxzkSRc}F>KY&KO%z^lCh)aPk9MB`bxFRj{pAp5$FK@QtrsW$S z4^Sd@@ozqE&mQr=KOV@^c*2%QAl}*15IeZ5wuC9ZyLkZ;^Z1o5(d-u<_({jsALdb` zqBlD*qMOi>C#d}(Ds`0<>(OVu&3r!llh4^<-ePMsIf|`=l%8Mk{aYI-p6vV zulPcLo#m;v0!A$)SpOa6N^q!pE9y-ZxYy|nb8D-I6==r~*c&puE*w)0z` z4PzhkKHEAe)4t$eTnykVwwaWM+j-Hp&J6R-&qG;0kNZ4BX|;_X`aB88#D3cwu}M4I zZvRwKj9dAYFQV8*UgOIa>>%&@<#=V-C$yvQ;i-1}gcp3-OsV||cYGN|oOVi1J0sa* z{^rgQHi<9axel$>e%GLm>o=oTv75A-)>1i=*lb0et%L{#LJg*`tsjHL9((@+jO5fN zetK763o^)7x<06X7~JB)<$5Y~G~U6LylqPCX8uJU^?XNO8?T)6;FHQ5>>dVtnYDX_ zQfCuCx4WtG;>P8BnzNsI_?`%K-JyHh_=RmCvsjz#M1W23L0s(VS>wm`&j2fJ zFf(tnHyAGI#l1b1dh2)cy;Bsp8@B&DB{G-$9jYA|luOz2XA&=4o;L*;%_`;cC;Ni} z)sLv^57KG^bp{;-hM5@t0LK-r4m8I_;#Up?V}_D`V60N>BYytC%K`7MMRx02Kgq0I zzE63N{Ju()wcM89v&z@MVElPHt--H5&*s0%*mpbIe$#^ymxAxTidR9a3wYmyiMX}# z{=o_Uh7Y7vsw`SMs5{(vs80Q}Aan_hQP}7vInJsN)eT$+g8w4;dwlw#CgcVV1)KYT z#9<{(W*!bS#jH(%(CNF2e?g00IEj|nEg;OhAR_yvwj2QkYqm^hHjZ~Hl8!|caYEVj zr0y_%P>3TKUwUqbKjK{|;Rter2I{#StO7{fUU9)I11|e8FUXBox~$}t)!NVC<%=Vs{>@MWj3a3i>8#wF2K~8QJ+fHYo5PQ-pFQ9L2ihLH z>swTI>H9Lih2oirOW{VtG-Tv$SERol(Yv?p+2ovD?(wZqYUJ>>-*!+w;QZ%rdn^2X zUhlh?mALo$)bH9WZ*acxyQa!LzVrL+MZ6S(uqyry?+^u zLz}g~Ou#c6UcYuwYFK#eug%y>KK|FiEO%%AuL@IIXYqq)yRZ`e^z1NlP3OAep@$Xc z8Y`jm`Mz^6D%a=p);Gg=#Ba^;V8r0x1}gFM`I(!+{QKYPD;^ep>$gT&Zup$Qno>F(eK5LfxbdHP}t(jQ)sdr_nz-WDkQdeE6H!1ZKfA#WVy|1IF8z z`?GC4?n+1YHlJ}N!N=zvlv0_#ly~^|S4J|do{B<2l3WxTvIwOo#9T?gX3E4dn}Hl; z8eJ}-<7T)|c(0-)b3bIp++tQ$HJ;d9gpXCv;)~{XMzu9y6sxK>A?(+L{ffSNfj11! zz8ykNm?h)yQhYe#)PM={28!ddt6}fy5tH?>!+W7dgZNQ1d`FO58p&Se$wJ3FZt+Fs zap~F&&n6@Eq+>}%N#vM(pCw!3B0GwRF*uH2x%w&Y6WV_7$cp))-`nE0+CRT{Vi~;k zwOBTvPrCM&Vw}mZTx+Lvp22HfZ;c0YdR*_re%@)lp3D^gw_#h2`O`mwXl{37G>wTj zx+={)&-J*Ca`ooCdy86F7gd+SBA;#)5$K5z2hZ}p*h zd2wT<(NvyP+(NOW@>yy<%&T*Xmodd_DsO(f8wQluZ;x-4GDSDN@nl~8WeTQ8*Z9?5 zt`u!Zs2!*9(%b!Up{n1VaZ2nIY22QvG~HQ#w{yegZ@>ub^tFh-GVujFF|ZkHzu9R|HG=moUVla9A4 z;EqQ+y<^)9H)$GSle3(WlrHAk5747{frPk~GgZl|el}Y@M`vb6gjrlts7fWaVJ+w+7h)uSEp&>l}?^^t? zzr)Cw{~3y_sc-%>NC|sQ{J>a8c6<4Qx0JeLdD??arNr}p)ES2E;!KKl+cDT zbv1AMc)k)nn(uxbs?;3EFFuZF_E*aDe6C2yb()s7$MuSvxFLWopSDlBw*Pt*B!SPX zrS8&WMs+JM2BNr|#$zEa8@s$MsY{Aes(9z&3sH=#A`SaY^dv}3Ffn=amA>=mWKtI{NuKZbMmAV@S;SQ2|G zQWf?U`$@E@#6sEU;-yM#JG&#Cl~`Byh3M)5lCk1F57s>RgFz(DuFx~IfV68@SQ4$D z$xA+J^+DnX57wLgDgr!_bCnqA$p$LD28pentV?)hR1~Y_PvPmg76!}s}#H=GAVdjeCEZn*$xp~nYCq?L~3OK2U03P z?5ND@)qWSeT=nq7whIxLt*Hh^Pu6%@6zxvr^Qj$;9~ftYPYX z#AppYNOd3<1%d9-m9&4w%T-x~Iq@Z;yAHp+9#}ONNi~|j+R;}V`U=OF&ev0&LsS6- zUXSA3jJq{@y`FSDMVEF%9dbjhsECts_erTpJN8w?30LRYtu1T8tZ}vd0LId!*aU&u(y>?FNr-qtSOr&F8jdn&WW(+3_`+TS15iCz{8F8*W*5bqzN|sD zsWLlmwy8ghRlY2x?sO;!WCL+o3KO-!{m5m&o@wna7U6GXy?w9uBm7X$zv1XqAzm}G zM*icW*#w(cg00gFwyw<+*&TI&_`t{-uvf%hBkRTBFy7UciQi_e!K#Go3iN#%C9nV|Y6 zh>RL6piT$mr=urKT~*ogpT+xl_8~S8W`(N5`ikxTcrH5Rwukww+O;pN=WK6sG@70rRUeayUVtAB zA>4l8;78w|1DU3QiP{;paI>cb-Sfb`ILf`yRF^wiSb-%g+T()vmyxLQS;8Oi02^LY19Jg;Q1<_yF@FwSK2 z2y0GIYwzPx1?qT+{0*&?)Ru@v(Sa^qGy(t=mgb^PZPvGCHZrR3LEAV+qyuU46@@aU z(G`NUglIbU5{qiHWoE3d>5{O7HG^hoQv&(adeq_v2fNZot{!et0Q-tqOxBzb&>gw@q}3V314-sFJ*0e6)R~DbrP7*c(F^^+mHhW>@FH-b}U}sw6FaN5JGv_WVeY>wMIG zlBaeN#8a)`$613=%}Hup(LkVDMOGkdVQwhvs}YtTsh|57Zs~_J(VCL7V!Gc;)-QH5n-|%NP#T+&+%x_4RaYgm%A--+T8i-MKF`}Im z8Fg8`S~cDQPE(-CYR8lqHyy?Hx)|`ch@b1SUj4`6;k^Xg+kOd|#{y|J(LNsiBj$ek z74l4&SJK^fn(5UC9PPi-WO-n;FdyRD8#ng~(me3ULlKH7MJ=L!RBQDRZ`5PKH9y5+ zXaf8i7$1?04~fVYNM^STk*1QTiJ@8gUea=Ate9P&nUtV7akM_` zUVDNxmApVnu3466cM;Tp^)R#UsJm@j2~bBL&zrlFjQi-LY3Vpt@11KZ?42u{)wZ@2 z1c|os*-5yf{ODKhP~DbCck`(IC_CCuPxj7Eh`E&3vSQOH!PXt?H)Ga7Z&J_<=%-NX zC###8H2;J&f15Oq>j-jhbaFS+{M;?H>Z3~UrAiN$z!57GZBw!nV~W!v-3ypY>tSP7 z6Int!N;oP@Xo5VTO}|W;s1VHL({uGwyt+BX`Vi(H+zQ832{=5IEQ;|kQ-ZC6#ZR%~ zLI?{s$4Zsc-Z5<2AS+C+rHB;1nJmS=wnRe`2*!!+;~j+jO{!RCNwnwtIU$i1|K%MG zdNg99%xsAS!el*<36$27@{)!1u=*`!x92Bf3BSzVS!?4Fss?1juCeKZ0C9>2q0u!-c@`Z%o+rr zFtP8B{x$ia$vPqzt&KhqQ#JPu}I-lw4-7|u4)EQB>^Mg5yR;SSOW zl!UU8+$Q@u+O!2!m`ehqS?`L}5LUO&&s|8$=X~5ZA~%H94rz@&n2HAa2_vI>1KGMz z12ybCNpe`blC)ymmQ4YyB+9kqD{tUxc$U;Xf4eTCWh2%|@#`X9Y{Z(>`0hFW7sUKV zn5XX*n;NmunmwPxW_A`AD0fO{QHI<#fAV;id&|zEU1Q+AJBvY$!F}v=_@Bgkjlq3~ z*wz@_?_;;rUAEaV;u_^15+l5tuqH}oB{91(t1EgpVF9%aF{Coh7WDxG3!Embb%Vz6 zaL+aB9BOAY>if~MQN6EHqy9Geh`0h%Xz&W@POe!@cIk~_W-jOXl?V)Fkqs>HZqM<& zMvfUgZ+Fso{zg2nPChK&3uX1ppLUi!bqVEi2#108QZ$UZUA9#o^$)uAV~D1jeSyb{@$>`md_B|0->R-H=x`-{P5?3FpAP82W9hR0(d^iGN?Gg@xqj+TSrZj_q?gGYoTG+OvW z;I`vS+qWRbi80rVmM)ZMD85|qqktD1Er*G|$c4Zs{*M8V#Mg81u~57t17FX83nY!d{fm}vQTanm|)s0$9MsFKZVzT^b%*w!f4-#!}xJGHZ z0Cub$wf`oXz>q+T=Lyk_g(w}SiLaWm;DC(#SW{qktO$dbamiaqCE8;nCW*VvFeNcZ z3uAMvOoh@@_slk|4N|ueuKo-p#OqsI*GiQ}h z+%}-d6q8(JwET{ggFuNkyJT#$Xx{!&qIFv!Y!DMr*_$vQm3_>Xw-OD39#@1web7nD zKt~VIPox~vtg(3lwZ&;*OquxM$38nX&L|8j%t zF36wY5n^d;*2(-mhQnw5_QH{P+Y1#nsST>DSshG`4B#l-whZCS6;PeAl}d9yp0Q z;aFcxkDlB{tma>?m=}Do2HSubnuC;2EKSJbXlAzMx) z^aHb{5tXKRn<=l&QbJwOmVXXVZDw!QK;@m;KwJtf6iB7%50KFu4L1VwjuSgf(uTC6 zd(yG3q%{u=YbCkDfUvisU0R5vI0&ms)Y>6PqHoGZLf^zBEQ8pW_s+wx%V(BKKZ;Ky zSz~2;OL01q)%CYMkDuRC%xQ^9#rT$BY~PlG+I~YjX5`r8WnJ@V>4UlwO8tzfmGfpO_| zXuy;y9S1|r$ble9Mu+Pn7Vs&pSiQj9RM5=d@FAA zJNi%_U}~sEz@WD@SwvMzYlg3B_yR7it{l12{IU7ACIy-*6xG|YKqb*CTDD^ir`|zE z$15smGv(S6zORKG&)z7)(akVSS7->d=0ZrdKWJaWj7s-1P0${WcziwQeTETy7QRp` zYO|w{274|XO%_uo3fi&S%KlbbV|A7-BDZ#+yk{EgE;Nb-BefEl6|HxMOKMj`eb|Bs z$`|OKs$Bz=H&iE-tj+|`(V9e|N}PhrQ^%8DBv&If)yGW*$ zqS6`p#0Sm2QI@0a+1cdUSl!xUMMoCM@Hit$$jQXH0ujDaRQtoWZT$aZtTQ(q)M6*J&ocIR@fU?PN6-rua zy+o^pa;r5pPC5%T1d{-lwcdw%qAn!b^N6^@6|RV8!LQ(!5-9?^&*kdMNu`x=R~Xx0P`xH6hGG?zk^aMvb# zt#j%NC_|r%W7Ex;HR&#T$Y^|_v&u2&zdgtdpA`ol;GZ*7HjCU1HrL9?&p^^(v%xXk_}4CwT#Z2zOL}U< zL~EhC56$eDjvUgSW+OuOlzvG!Ajd>NAX^CnGn%55l6vnhrivaL{F3(iR4qXv>o*yGH_aNgbE=mlIoVDn&HGUf-+ul?2L zkRQHIQ8DYU-LTFpdU7d#G5 zWza4DkAvw*Jv|Gr2T6?CMoKqYT3~UE+RY@nW2DP7F1ZLMsJSk19Bev-(Dtr})GQnt z8Fx#EXUn4#85knvWsBs_I(CP%&SCBcx2btgvQ9Iyb~y5i!4Op-=P7D#gK{QXHV3_& zM;o(b7Z?TmLa8pfOB!ld0Ze3ef1|reqR!6}eWw$_Qt;52i>NkIXuWb)n{}!(5I7Fu z3kEx@jXEuuVg<8;)$tU=GzLZj6&oDgsE(4RA28|-h^}767c8_CDDn}2>-{6@0(yue z9aCjBpJ=EvEXK?6462dXqCbmCz2M}6@k&EeW@#m3)_JVW5rZ2W1z}(%WEzPrrM$FD zmtgDdE!(yPJK&(eNuM#R8OiOc(>--BiXxZj2e2a$U+9%;6DgzCa2Q)5s#-K0c*+|< zEs6@F4k{s}ap*b=jlkd|bbO z@(LBJ?aXc!@5HkDwYJgx7aC1LKpI6scCj^_nU+v~}%q z3c|llwB~t>e%-P6xlv5*&g!P zG3#xS*Bvf$UR`MgmUQSD3i2i|r}?8KYY_yeq7u8vC7LmdF0<*=UOH|GME$5n@BpMy z<5Jp~OvIK56q*!%mv-tFa;PB@+e}pE0)LDyuz6BOQuv>!XNDP3!@PR^>}g>bg72z+ zadeo2lZVW0)QwsCAG-38t$>QEw3b+zy2yipwEEI$@ZzgLz#tG!X?0vWo=CEsfh1Us z)1ZZzgWkpTnmokt*RKniGlI1G(`%xVtR;Hgbxr8?cRVE|jy`a7ATJs9lbO;^J7(yJ zqdKCkhS=@sDK+7)PMsHoqIx8T7oq<~8rx)<$WAg#O?bMVR_&RkfyS&X8Pn!o#w>Y( zhOEF6EoQ~z6f9D#if5gexA-BR)o#yP?~t_w>*PdxtwTp2Ppg0I z$idMfs0XXZqD6-uxMh(lM)qIN7$7!2aQo~&`LO}d*gX7wglgqdr%K>5sZy{44CF$}>`A2AXMjZ7EZ z)DfbjCkynJod*^z{Ccrk=H_)sPPE~E*@oBC(1w!Qs3CScX!3?yIBtPmh1HguYUQrw zraA$&fvF~1ixa!Z-Eqt=kV$*w(wJ2ru3SELNnHjKkAR9sVJ1t4kbc4OP%8evYYUA| zs&bi2RwbIXN^9w+#b7N3nidV9gKJ)dKwUFXEbEI(9;ZZ9EgA(Ks5vwe}xV6#ZfdYG3H<5>c4miVrFRhG{)?NY% zosf2Lu#u;a4yd=Zo&dC+YoFjXlf7DO#CzDWc+I35gT&V+7GT~D0w7|&bodQ&95%aV z8giAYsR>o^Q-dVZHTB<*Rzo=zE3&N`fP|!R&r@Bc0g^Rl)pR1Q$Y~}~WnmhH`nL<&>XFk~uJ7M8 z1)lC>Fvtl%E^5v8rE0FFevg(oX(82O5WcC7Ar7`25)ImkqySsCi%ELOq_)!HvKUVZ=zV;gsik&v&}g|tO>MKtcC(K^Gc5kq_~G#*;z!1h8j)Zh zQ+inaLe?h7BwD-#-@LRMX-L~J!ybjSwDR86HWEmr*y+pHe7ljTBBABDn9qOF!S&Gjl zShmncTAkvbVo)q~Ur9WiJ{Vgvl*e*gwu8L* zfI99)9m#QNhMFhm)>udQn|-t?JKoSzMhlDkNGDo1oq@q7vA+?cMT*1n7oe`yNnfbN zQ56u{p0ZhpGp5r!5McS_kaIyelZ5ai#Z7QPo>pDGTUA>-OuGw8n%ils61?X{b&4N) zv-&U7i!6%|V49Rn%xvwCnOOTnj=LyB(rZ&dqowd~lzgoO(DME2gqUN-gYre76e%Z=_7O^xh%5z({T}A zrg#urRW#3#M@d%cL)ErghF0ZsAqh^h_X-V^k9|P%vjWsLs4#8LCE9v=7k`cgq9YMS zt6^2}m4Tk`_~!=dV2?HL>JFPS8v*Hg7P#?*i&I@!dJj9&8&<@>af`3TGTrSi@lH3? z$_kX@V0paIajHCi*l|yfo6$~=f87wZut?YWIwrZrN4dpQ-QqLc;!EA)``zLv+~T+0 z;!hem&EFSrTX+6_L{E&h&Md~5^I^xi^2A}s zcDHzEY}&Xo(0;TlzR(Rm)-8V3jb@e`Jl9Q#cPrp@se4lsb2(p1e^!BZ>~)KuuZR=b zul37wIeJx~9GxmkBC?ScWRxtfproWKljib!_xiYknYa*7HRB?~H&j@=cM zj;(I-UvwJknmgR+e>J-$zIBU#?H2#iE&jV({I*-XHFl?64K&RyzSJ$g-7P*+&nxY} ze+46|P*g=jQnER=v31sz^e@L2I@&yoDyS%cD8H&mI%3On$(#8vxRPe=QNQ(AwYkJk zZ%`4x=f)zYqA*qKh3mbD|sB7v*Gyj$}9Z=<+!1KchTx*zvf+WE}2tq*c&R zdG4)K=$2)FdA!i^Rz()ahI05}cQ{xzc6?E;{6YtJ%ae*c@|KNA8N>ojbk91oFdEnQ z{Y=)r#~m9hYYtXw&E{Df_*YEUrzX3(oJP$64W5bmIu3)w2*;0}w528d2D4^LSS1lN zm^G^UrADDvts=$^X2X@Pv&5mnY+&6L@Y8sSR^d#Pip#aKP)RBNpa6Wc>@v;v7<~MDpM~oRs9eJ0azJ8jLj~1i261aWXlSji783>%qv~gAIbu1 zyhcS_N8ye+Wf)Q(R}#I3vha>({15|`tz-*E6D(kF_VH$l)jlO!H3i=CW;-_J(N2Nl8Qv?oY!Id^4(s?)= zR;jNG5~f2~p{O$)SEV*NMa&2`qw>HG(8KGM#GVnXd*wm+Ni(%kCGm6wYgqYUdnEo< zMB|Yxs`6+`98tupBSE&aEfVt-kvkH1ui81qg^?)x3JM4r#jfL}N@cWNX7EmK64t^5SC=H=3m@XCH|@ zqglJ4-?3vVFQ?Fr*l^rQ$F)_TQ1!xNQE3coujD)yF=KF#|5haA@_HmD5HRks_;3t( zeDz4w9?M24Lmr8@$FlB9z`tV8SoW&2|B3J)#|9*Ceh6J_YVY!(OitDcE0f9Lyjp*W zPw`&ZWLYaP{|ywH3zEO)&;m(%7+St_Iu?vn(_^uF9Bb0h{|QOljUH+!Uklv@0llkk z#uM>y9J`=Aejt7xk7r$WKiU)c8hb-gUj18SO<;p-{dFIiF$iq_7xs&{!;Dsg?~A(= zP>GR$iR6i_P4}JQ5XSM>Gs1L65_(S$dcNE!uu~KNDTA@%g?@Np`aO|9kp)x@g!Gio zejqMS#IuFD_e7gF*h|Vw_k{Tk)=>%gM|_ly#~V+*!G=t{fs0GJnr7ccJ#ZN1sr~?< zIvGhfoy;XHbRysWolOL*QNBhXU$Z?2XJ^{XKfOXXgCRWW=E~n<=_D4b`28hLO@d4X zC0Z-SlxVGZ?ylB~;-1!uUG8bE*z``hc>DkSKU#5K6DV%zZI?i@6}KWoc`LTQ2Z@iD z$X0B|A=UHRoQ9G}(uct5m#9S1M3$%+?r7@Uep^%Dj1o8X^+6fB`Yzl81F60!0M+l2 zbW`6Y!n)L#Lh5^h0^QVi5&HcP_3fc5K&b8|A|jPtQ}z{WruFt6-L&dDG}HP5@4I={ zw65ILOsnAy&9tWDK_2y!8?G{?h93X%KTPYdn-I_kBI~9#x>z%AJWda zRVMb1VBNf5!-X6*3aPRYtbz9r^^k&aqRB`W>HQ|9es+|JVIx6#I0&gFNUa;mqLrRE zqz_Z>-W0}}u)geT;>DRPLNQ(w=9ze`xKtda4!8@lm`9 zsSZ*ITQ7k;2*aAz702IUqG}SQA5E)1K1fWQ&7zbq1I3!z@WyR}_8gea%9wKKcX41Y z%TucTE~d}JaG_q^vtk|_$du(p;!iU>t{lH2c4y#e<&{^&jSRT#OP9sEciE|WIXJLX zx8T*wIN&m7eGES;AK!YYwtphtn~&jc?j><>KARuB3I|o{&zDebFI2nYwVOi;e&CWA zlZpE{C##F4nJl2gYZp*qd)PKQe}cz)9og{sEVdwUWQU*VA)Q?NP3lDL2OKGcUlbQI z*^7QV&k~%DVrbp&c}~P+;R&$8Mlm=G;){!7VHQT1{>W{@s}!*-R*=?@UaQ~@eR+2A z6F+6Ko|QY|+OLWyfE!p?WYbZ&=UiMD&FKLs75z0yr~Oidzbx&h`sBQrZegL7e}Tkm z#s%@Ag@r4gzljqT)*@=vFI3nFoFk4X!iIJ!Z5j_75kDL+AC1FIC-xo6DNgaD)7 zIx9jKu=p;`D4RPuNPoh%jr!qv2((qV6ac>mkmOnbIH}^)Zz6XATdq7lE7~t)@s(## zZPx!L<}73rm1bwf&4sLivgH@ywFqW8^%oJh2#=r7{Yi{o#KLPRKcTB;C)np)g6bcr zO@0uo7qKCguTjCF=fvYhY<0JfL8BL6T*Va$fFz$`Bqd2+gIY+E&wnLN$(ON3J{r0PaK-{s01mVUX1awXw&%*GhJ7vUL%-y_U@0{+lo941<+^eeF$xSDbRVF@O4kx*p`eA6PR@=PU6NubIS z%ze+nOp7q*Z4Q;vmeLu7CD;b+1(n8OOL#BBT%5r~LbWN_lqf)0&<1#DG&c%(gvlL% zhbH}S__GCJL3ivm8lcL^B&TyY!t4=F=Yd-I8O#YzXM3o!U=j!s=DrPvaHob0r!x+! z3^@omsS@Dm7xLb&6E)A=t#!*?hM8Yuc6KkWn!M4ogy2O>;8jRFuR|BO47q>*2p&c#%7 zgu76Y9SBu~CFh*ZXjEv&d1w@2_7(7fYcD8rI#Utm{*KN4U5NPo;dIj2P=HOaK!hQG z;>mM_DcB(W9$^Xg%Dkb05bV?q6te_t=DBDuT1#vatcf|h0Hz3OU4JOaFdUynfQO)A zU4KNAhEHm~(@6$Ge*{~E&t$+bzREvR^%{I;0@j8giN1adlo7tfig@qE=U)tV9T6Hv z`-;9RS#=gFURlXHDgPFVB`aAYW)(YDvRYL)Vu*hkR34MWsgLlaMk4vkDwbI_b-&X&jHoY&s}ESan!P}h zg0o_8bS3&xSdZ?a^J>=FyallNN6VbkiA7!L-#0naYk}ut4|}C0K*_qQU^5v#t{c+y zNA>>~u$6$hei)cw^xM7fqbDX25&j4k3fLLIPDu#HUWCzrEk;kpZ+eUSt66;GEF!`b zt({I3iEs`I_!ltxS!<8}V$d4aG-3x}x8dZP0q@Zk-NDDpFSGIjWwDptbBV{&O2oVb zywcE(mxKA~O{}pvxrPN->k6lE9G$r>pjXxb8nl)L`%VV!0Zjbq2dF*fi9TytpNIm$ zJWxhcDkBzM&^IpAbAiX=N_NGN2v`yDd$BTbQl79HqWh;TL|jsSxpfq)%>OCoK1ye`_TXH7jf!t3~nq3c;cU-D2p zAOroHyN8j`0pi4ZyhhpwH0n2H&Ug~!AGo3CEQDGx5;Vu**1n($To6?^pu7ygqT$@> z*MmKFic_0dkG5w38xLM1iI)Jc=h~Ba{SBIp7z60{mpvAWQ^bqB;Y-N(I^~-r8g68D zd?x^wp*Wo>XlsvQqQ^$or|kj2x`FOPq8m*73z)m+$zF;;GXc9W^lQf+eZ{_wtf_A; zkY*v@7RonF+}X(LdJTbRopY3w+QyfD5qTvJ1BRg;Jp9EAn^-sB1A3kas&lYd0p%P2 z1}v?CQ>(MH8ugZV-(FzU57<{k_xK5f8_=i@J>)Z92dobAeL|H+1@CTT zK}H{#|MwV8=~wGLo>UVzKW1Sq;s6{A`~8+E_dqZIrGyM**m$VIZjCFEso;=qx3hi7 zuf&QSWYH=xJ1~Gs3mZTd)@{Wn%)=NB79ki&rB%1|5fSTIqngQ(elif>o19Miop6sP zWJZm|>z}Z&wgo_JgJ6%T>ir;?Z-L@&BZ+`t2Tl6{xEM_e?ylJ&{fc%wbZTjXO*9)E z0+`<*4DVEkzi7La^=bDRV2weSL=_)J{Ie@P&;JZ)CSY`LLNo(V&(ByLQDqJD5hu5@ zV6UziG)&)0N8>vVKKVK(0Ar{dT@c+qWj*Si0p8=3)9LzcbQ6gTSng@@!Kd&iwGiKh zNr7~U{luM5*{jAmfGx&^;5{m`3@-!!jJ5XN3t$n>w;B`hqFDYJ?Ailk>k-Tt!l>@s z#O2S}NMkBs=SJYl0i1-#*s5f%A!5=t7H&Qc%m5ff8{#k=j&@1#3p&!%WyR0*_?Dd%f?HPl` zRCDPVJn4cXWALa8&Wyo5E?76#tp4+{xX}d<#^SaNxHJwoWkCBlEXsg2(fC0I?1{!T zE+~ybYS1U+htlWM@p#Dvn`JssBm=@T14 zH>Tl_>Eh_jdM=7f=*Td#LwQn%a(svKtPbV*vh_8rH!5`EVN*n!s#RnJ+@34 zA-z>%82u~e-Bt9;pU9C4r6kUjrs48Nl?WY}7op0}o;`b;zv&>f!ByqKmElLlLweDm zjH(gubF>-}9FnSg-KLyj8fgQ51s>T-v@8+YxEyJ0v*WR2*v0T#hOEQV+!nq3O+>d2AtzR5G zOcpTR^rnJ2U1M3VX+K#_v~ymvf;sJCY14GQ#^)&*22l3QQ6o4FAW1Yo>0CzRg>v8t zs%`WFg>&}9Ql)8>2~0m*s9+rgqG)b#)MV);+PP=3qIpqek(zE@qRPD1u~cZ>xdMW3MSY-kP%dve2N@ZFX&ePO5wZ_Ve!!DG2fOVE9xnJL!NwGPY1Kq>Y=AaDBXxN zPK(LZ@6yv^c5ir3)p|`S*hm>LdpnY3?=#|W&ioFoucAbi`4U=xSvcQfxvKF*j{-P1 zW3f@H$-MyCeuiGm`I;QmAVR|vrz@*(lo4#uRxMvEfcFh77c`zKy$yT;X2=^2VwO>o zD}Ud}T?&*-8)?Kr9&Dtm2J$v5y9_xiCI=lWR56z57Df~e^bHOfPl+10KWwpr`3`4U z$gEf+8_$YhdP}6KE}I^Lo|fDL&sJs08#0#AqIL`pnMo|iOI)D>aazfeZL;~AZJVjs z$-1`xnCxgu;n+7dNx{6GWm!;E8W>DJbw!`yd~RjVf;EbxLkd%xH6HzeD$~h`DbE#o zsh1ISn#EoX%N06SDTp)KWX;CcE0}jqENhu{9wC-nW#@NclUOsOS>qjNgpIOMuFJl{ zGzUYsq<>LCr(pUCW%>+xUE3sjl})u$u!LFXMPj+emNezcdjXa~bPCClcm1Nuyj@|L zOgP&^rm~-{ugFwcdV#K9mZ?Gx(;~>;`E|;Rcato)OuAoe9~C73brrjCSAe4yl2xQXqFrNqMT%(^?$uTuD=5==JTILjn{`{4%9tkdE;Lp6{sF3vXuSYm(N-;lb5Fz8s!I82 zjHRNjeTvI^t0gJg^O z2{4UtbBcv;)D~^}A!W4(pI4r3`r24ehT$^d3N4^Bh~{QF{;neOp%%*m?bh*uBDH-( zyRzd$1D2a+IC^gGrl{iAm91CAUHZ2w*F|4heq9W!3~3fY_R29oi2_?uz>8ff@7))j zd@ExfiEDn+A&e5SURDcZSdf)KT6(?|2EkUIY3UI%hT*~Cs&-4yl3s!Xt$Z>sLLM@V zR|A`dD>KSBA5%HV%0n$3CSz=do0hX`n=vdPe!8-bmyc}5$e=`Bv^3>|KE|+aok+ygYSQpGiEx#G{(72@60(wxjH zOwTHGE~ged^8jh*+Z&7bcDTK(!H6NQV^(*4)}czmaoZ}wcgJ@OzV7%|z_+OVjOyDv zM|f75R=!q@Zc#)JT@>?Aui9Wh+mv*+T=J_@Gp>qDGH+6@p^>W5XB@s0@tursJihPa zn~1ODGh55dbpW(U2ikCj`+xD;yau zU5S)y`PE3*Xn9IL#dj^f>!^UwdVD{}HyvN+&zC4{#P=(Fx8nOXzTe=x4c{F)n0F_S zaMdf{1XMV7PH=D{ExOub5d=a2A zZa(ZZ)#gda)eyN1w;-nQYi@yTusr50^XARmeVCm`x(BlL{2Y9@|?;(Y^Knu2)Wh5x?_YjjY6cPiaxH3YUp$| zNo>@Fn68T*!t)FdANI9Sx4!reDK2QOdHTdSLD!eFJ1$?Bz zZ)ot0B?K_)bd9x!`@5(bWY7@CN8pie)ijGaD!{s38odWn(m0($06quRMAsIUBX}x} zT6_XwVfu9TP~q`s)bccxseRpXghHY5FjYi{Nz1`6iBU`?72Y4Fq)%H{6&|F849!rw z=jb}3&tIg{IRrZG=$cSuFw$SA8>=~;?O!Z0Su(BKGVjxqtDtQx-`($)D<0934Jt1C7J^9nyDRqU&&$W zX)3*=3ob)Y>Y4}@Zqzvt&oxPtG)W~*px?CNRP>eFVjLu=&u;W7G4j#^*KifA+phUg z#!!{PQ3qU8EbcXD9H-ND(444XiAs4=tMIudY0(>A{Q`JuI8_@Rtu=bRu#lH7XQkS3 z0}Z}|U#sSAjQAJ3j?wJ&X1H4oyV77zN>ka?)6DUSHg?iKQ~_UV@JHZ7^brqL`it;r z`iytP*?65wd0s;-*6f#~snJ)Z*9}HW>cwerm{WX~{)=6|(fTKSqe|z9;|;X_j87&w z##yc=={e2bF{x?=&0M-OnkS{ksf2%O^vnKh$LVwwMoG{&qg0$Dz%No6h#8H>d3CMf zRIQ^O8b5Y)&1;^a({1_}3k|EHHXJiwZD6$Kk^g9xh}o_x_5=9RXAQz*UFw_o!z$pM z7LK@9At&=%jWnrMn_d0MhR&|rzRCZnfab^nyoyX!txaYh~a z#Cydu4CJMAudNC(MwC5u-dfpg3;^Ck*F-DNJ+%`8R?@Z8%98|rMO~x=FUoGZ7_I#K z&Z+1z7u{&BoDi@QJylLOrFK8kk2G}AvhD+|!YZLr1znO>Ry8UwG$N}d z_>zW_&caW%_4ZArO9y-kw8*J>g)W1$cHX`*8aCvN>P!x72oG-8f_=(If@X-yK>T{0 zQ0eH`%B{eD?S%Dn!lv=;cAu~jyl?w0Y%PD%el%93gFEzQF?@XoZ(kbbj!(gFDo^;e zZZJR5!JGfnp|VGj21V!ThVxe)ygf!cDj<#E4LXLg#e8JPKsJtBJC4RG^=`-BYz=Q8 z63E8$2_e1N7``K9wy(BI5p{F&)s`rz?BwC0-dL{>4(-h{_l*(Tnq zQy|;MN8)!fw|4SoAM?$fX0va2-7s$!&)bLfW~=yuFmDgX3`Gs3@&}=~jtQH_rtrp{ z1KIn0Fn%|46MoZq7Jk?Bo1J^}X0P~j z6P!2|IAQ1U^}xRCge`Kye#=jE_2$RBR%SZRy5RyQqO$LDCt9!H%Vg@oTSa*Lj&;KN zIbpx!BY~adgbi}S_TttEcmO1iaDw*c*?{hgsO%Br1bvI&1@sP}aZb=^UN_R4*NLp` z5$^12wm!X1Wt@Ais>7Tb$(0aKff=k8a++gPgEA zPS_bd99YN2GZE!GVc+4?f&IX#Zh;dvmahkPs1vrx2|I_M09G5mDvdUV$-9&ID_}=D z)%9}1&g8ASd$(HTg!Oa6e&Gaf=794m9lc$Nb6n<_?t3eJA2Z0k&ZNaCKeQcuX1Aw4 z(${-2iRRjew(qFS=3bxIGr-EPP$=LZ=Kc`l6|k&J&4=ZeW_b6ktyOaFkv(%Ii&vM2Z`Cs8V_;wXpa z7SC4p3WE9m?nL3LZ0Br@F9vDtF+r>Wj~>%ldik8s8q*-ehv>}rm84h1aK676(MJ-8 zl9wt(<8WUT)fQcqYy9{a-)4D$73P7s@Q|bN`c!qNR#h-_Rnob~*Z}tr2xtwr@-AbW zw{m$-%zOCz7)&_{6%5un12;&qP@Yte;D)(e3xETA4Um~)9{#Y>+0u6N~F!Qg(h z`Ki*E`;DtHp=nv&&Qx~@>N-^m5xTkf8!RCPOT1U9AUYvmf`7Bm8Wp!t?#stSvCp3t(-Pj377?x^o2LVl6ECP1-sM8 zu$bmh5^$89#~od+R07t|V96>#EuiDe(3K6AY$__YC)_llakcBBo3aQ5S)eTGEa0LNSu0L2>;|=A7ecj1?rGbRil1G zKkh}lea%la|GfK9YwelRkXY3PD<>``C`O?hqTuRf9`>^^z3{LyyJQj&{D-Uj3qOav z&9qjQp%rZuWFxEWft8$E`SckLfWdJZTOVh~?W3`Mr0MusU-KP}tDlhl7PLNF*s_DDTd)a(Xk2sLF8=l$^orTNOZuhzNWvZ z^KUEPh`RTc0VEBPX`(ECKnOp=@3LIghquI;fIAO+vmRrbtpE}hssJVZ1_(0aZ4CW6u`F$`Sc1^D$HFNcZn^<5VAZmZwdv+hB{JryzMtxrn@S z4l+6^x0|1v>euH3>Is7g0FI$OkSeO9znFYFxwM|}(ea`e|1;*d*iOC=Ik+ zgwk8&68vMG2j5r?9itTAamX-=*Pl_B1@Z71-UHmVW_@5lWgB^I2N>93nda|Pc!}h? z{dcKc_mq!_pauw3xrBM23VH-KlHNzj<6q5a-h3Szv-zp2*?f@p4E_t;dZzrPH{BFA z&embhS5oe+>BDNa)0=3+55YbO6Q)uk?42D;`G>-c+4)%DD58_B*%_4o^Pb$N5A&7u zclg1XzS84Dc@c`^E(mq9i>T^!Vf5@EB0oiDux5KvK3B~bQTsN9w98UJ?>t|vRN3T% zgytnm9F9AikB+Zp9H9~{BaB$0sU4D?R0{Y|7(RPWDL@?#+3}@-SWsXJgVvKuVLjAZ zaixH^Dj>EL(2xK|OLj~tq>4&nCP-QWZU6t1Twm1*ry0 zV!EoFKE(|%WidM3_KFNOhjP9SI;h!;9O6rKtx=noRoz#RXF(!#GXVOOgH(AwdBASu z3>Gwk$`z^dyMPuRLas2|!NQW5q#1VzQMd?y%MK!DmaGU$gy|F8pn?~4R2~-EjnrNc z6>f=+_%AxzI+GN;ZD>!dako3#gD6d?p-ZS~>m{0Th@Q}p5Qhm-0_G^#8VdrUf!@>x zJ7)yEW+Yoj>&jWFk(Fs4l? z08{vrlSKW9bl2aUysz zb*Glw64_-yodk7Nj;nyumjA(eR=AAqA#&7KKIqe^2aV_;acTCcsH1iBajLKs5ZfWK z6n22&deq=_!fe%8{Q`(>h^m89?k3F_eM%!)`ugs*TzR`$}I5BKa4Eqzds%rOA zed*$oknIRLQ>|*dD}ruzDtVs6@v4EKwE12jR2Wt1T#T_%2G_XVMvvGUYJ&V?u$m~~ z81h8)hrT*Y1T;sYVcSMfiTX|xL9C<>thm1jC!9oCbxq`dMl~f?ba-|I<)d#I1wzE; zc$G-F(RekVN<_`n3R@{(N6phjqxiG$y4_6k7W_t-kWziy{bn-oQLo^knq8yV$ zPngJ6*##V3uI|Usg3Lw2gjqW0>RhcZY;Vbmb4Ja%A;)xQHH=1bzY(CbC6dRehU*#p zFSZ+oOPW&KXQKl3tl{zAOhl+D)Ky<<4tcjgNVo?EpoMll*h%pfQZFz% z&BqBb#O>7e|1AbY^deQwrX=vQwH6m-rK^l##Ns4+(Ut&FQ7Fv(pE?=g5dDSd!ejnb zaRX?;%~qcb@P8QTB(Ca+cB?wZ=4ehmfJAFYq8(M4DSuqG8>#D5!`xC7*hwi@=7Ln= zjOfDu7HXPn&CLBj#DCpjBv?&x*@=K+Ni=F}p@aZxES5a@e`sfWqFzrH{`tSC{{N^v{$i*h)DAhausY3ph4B>`E}f_W|xS z%GL`*3Z)(EKU3=$Msgv{5Ke@Nf>4c|&VxpuG8C3pI-rwm{nQ?`b-|Ews@e%vZL7te zKsJQ|606r`z-Z|vwh;y!tgWoE4Dsl`vK;~rF<8P|4WjbBkp^pxu|U}-T(#T9hAqa^ z7^1bh4x=QrIH88Y;(Bf%^0W_WFVNRdqTqH|OFF^XfLgOLxi> zTMRZNhj&9=v~@E98%^Oy0au=1gihn3#!=VYA>3=efwkj9=O@-)NLEO`?`N>KyX%KG z6f60LDMz0&p4;Yk@P3={*3K#}0ul>c2=B0zE{!Eu}6j*z{et%KnKBe$7Z@aJ$`<5FQ zwr3$cYhi4K1GsEeegb3OVWB}fd66eAY$wJ3$#*Rr;&xRJ+@BZtW8+xq)@2@>6vEc= z6-hN}+`0fkEMYXiK>Jy=Q>85Cdy|^5;rx1%fmP)#7PWAz2`c5gKlsQ+J#iOk|vV7rsoTRcem={(=GsG}752fw^1%vt zR)0ykdX{%hZq2^nGm^dQE`_P-a@k$%K3fN2vn;QNKixRgDWCB#lSA8Y5F%>Z+OEn< zQFLr#r)WsA!~K?$D2idqdhV6d(K8XoC|s$p4=aW#v3zifp|Sm(!#8tnH_^1}r@6M5 zPI>RlLn*})ZkO#{I#N1wiq~4UvAo_53RTQJyv&X154kg)`PYMrl>2ICjV$-f3+7l! zdU=w!UEWFh?G&H6+^6>76QtFA|F}qV9@$px2*i_dKg;}bIV;!d*e~ip7;_AS=JTeD z3qMa*n7N04XWOcmF!qICRoSo^XKTarKe0-`{lZ75#;|ank@{o#aV0R%C_ZyVGV8=2 zt%znjc*M%d+*dt~ms&1Zjve_hpqH*y4^>=_xw~)Zx`KUxMh{ z+%j{P9Oo@pz18w4>P4CVqW<+FFUxcBC%)0<>x$)P)k50+g-bv4FITn4&B^nt>alnD zvsLx$)b65UEP3n+b zNbAq~@o&>=OPPoHuWA0QE-y-JSnH!hWhP|s42O3<`I)!;bP&#NF8Z`1OW{9$8c~Zw z1@dgu#krM~cXRCacSUqmUhe1B)+WG^%hq=FZhQdxo3BQj$NL*-SjCg|m45un+DPfd ze%|1-gX}GSyXsHzAFBF^0Cp z1MVqZdC3=zT5P)yZeRTfgT4nMSgddlNvv)l+rl(u$b~(4bb3$r8DE(m#G3QN>0zuj zx2KPie*2M+-ViMPvxl$T(1&szR^|@j2Xh-K6;xmf zITIX^=$?LCN@oF`vIIXEuXA0MOTZ|z2_|KzW}$($XLo6yx=KN@G1*QtP+l3@wxKki zXZw9Ozp`zu^uxFO!|lUyI{V!Aj#A)v@`hG$nx;E?ODDhO@jE)<9_h9n{%ktW-;pF; z+Rg`j+n4p_>EAYBVVQ@%-6lx~zUDK(3&sq%;k)K+1wa1X1gX;3bdSNsRk^p7$9&&Z z%H7K6ejiMnz89Rn55fU%mg&c8^M;ul*fD-2^PQdpzJgkJH>s*tSGuE!?O!MzN{BN+ zD8JFquq`05h9_Tymn__@YOW2E<2!lG4?eYR`LHP&fCkHbEswQHC!ud-f#&;+x;>U+YRKyh?ULe1XVVu{B5VofW)n_ zRKr7S5gvoRx-<{@r4?gF} za%s|P{?3>4M{!`S;XQtVl3iDcdH4*T^Z<`%L7cK-bn zUUM|YepB{< z0_OUT^4pOY;!M~4!Zy*7*{@|Z6Rkw?-BccPVjhl&9Y4`lx@+O=WF5>=^-hk#x-RKt zpmf>7zdPw)dm@;kpW<-A@$q4tD5XyGqE1_LgcqHhzydSh`OU>eI=z&S_`T1-2`0?R z&+q3%<@FTP*O7xC8hh&C>vR87zFs0kmG(i@SD+K3HbHlbOqe6%tz|U#jNvbS|B|Kh z^=CRF;GR8$OC{dw>?HWpnzQYtgDL#P*{00EpPU`SVlw-llbCclnfL!A3@6&Ge+;LP z^hamhYHM=7p>$>uf9w3)(yGNg`&MIq;Cxdo`fi^eBt2Nf<8IgIBQDgDj->DpFEqfF z#<~mL*eHJWLLFQ~{exeB?)zsQ=9byv&-WRk-PadKNsWy>@?Hn&)uPPEOJiB@WAo8r zCN;ggz|+b<><|Hf>>GMD7{CeWd8T%x1}>5 z@=jMGrSInR1y=^(j%WUr4!CpYb~UQPyu+H21val#eaVi;$N8dM&$Fw2gWle&zMzD2<72H8T485q##gZMed$eZ2#gh6Ap* zVOzQBdPm%o%)TDZ+VGdx-5JI5<>nZg3~zOop3UaHZ#9s9n8l~u>d)Te`)>8671ixQ(#cuytuVHMue;q)x);xL zZue&Gxw}%QzRxTe5jUyn$N?>&aIx}(zqkvG8Sdr#yx>A@>B{?=amoh_e)@;)ZSvy3 z-;(yl^Y{OTK>WwQ8%n39^UHrXm)ghk3QBF}li9d%1(SA7=X>sS!9?=x&V-g;(>2$l zM@$q+l;C=F(pq^ujc_Q@W`uHU8eevI02{zB-W@O9ohF<+cc!|~S#dA4UbiW5gK+u@ zp`W(+fv4!rkEpVVEBB(Lms5G$`vEZK$ot_q?E2Y#f3|?<+z(>W{K0*HpQckuW!yV1 zT`)GI>D-IADoQZ^I@xXyw%e8?!cn~NRel11aut;f@Y9QaBJo4xs-hwjq7A`X z(a#NpHE4*G@#d98Pkba%S$35)j*?l4{ zcWxWZ)36f%fbV|T#wt+M^~w9vFJrmO)A7=o@qEhD z+S2aveCg9*a=)kkY&5^}w2stmJb!heHfzj%o*j^~#_$WzYD;OK@u$xs*xS#9HYii_d1_w_-737_I!Mu zqj8P}fAB>cx|A+I)mdHX!w)@QEGcok*9(8?^f*54MPSnnAb*|DCj#;pt;pKpu*Yp2 zS5W5hLoYhFn=u-aAna9F#%npfG7LH8$w>SZ(N7_M5TOj%E{da*65Dv2mjjs_U-Ght zbZ8_${<4j6#wgHL09~~CZ-e=YvJhF?sLOqc>$epYbX}FVi00-9@Un(~j+5ESr^K9E zb#ly|GhQp2%Zj#{PWiQEdGgWVHKpY|+vC!_@Wiy&i(jFL#TswDagJ1e6yLhBz4XZl zes!ZkGL7T`n+8dNBe`)?J89?$xG^U@s+=4tS{TKMq)p*WceqF`Lj{-Rf+9npUa<=W1ZQ1^6_$@s3zBPVa@8l z^$yAMgMU6$Ai=|FK z7){r`x3E=gFfaEn1{errxm>M05+-*p z&r(^Oe4;#S!>nuE0CS;&w;bWdYS#z`D+l*=D))PX<#;z1z&6Tj-B_J!OF;3uCnw0q z+*lCnF28VNeypKf+nu$R9u1KDxU>4w=>hUIclMK8um0$#YyIR_71-O-gBW>11=c?B zCtR1&^1w?sH%{4s0=eaIWg~%c@%)bRDRRLO=ph}B+b&TTV^5nfM5eyutcgymG>J?O0wtZBV zC)};qx%~8c@n&f;&o)LrTakSzUG69Muf)R8AJ$4N5{~m*CH8@I`)#>*W!8k%muFOl z+bxr`Dx;f>@|DWWm$jFRE3>dRKSo1E3+-!~jx8J=g^fkbd^$t&bC%E_E8-f#OK|a6 zFy!JM0t4U?Bv0^QpRsi^^JH}^)$2>u=>%??Vxp2grn?(=%qo(0ODUTmtq98RSh%s40&Wp=r$^pux*v3k|dMG5Xb{QVS*fg}T7 zF7af()#jq(UT`p9Wj zSREECXH{Xi3YX7TVJ%o^nN?-=SY6q#DtiL&uUU;nR?g~4Y@W{bS1R?EyH>*@C*zKb z@ek!rFL=*VARTtLReS*{5u;s|e8Noy4iUy5=l_-Z1o*pmsRNN?_-avywtfN}5vYqJ zGo%bl#7iCUh9VPOx@CWEZNx2B&#l2oSOa%ZaOn&lL z)miTr%TQ4n_7-VtqFb04m$;u!Ih8ICq{T#YtGnz|gRL+kROnL{)uBCayK=OaZu=!i~~CK*F?`jl`VWcB-JcgJRo zs9L`p>fi*mcMnW)7xkv=cyx(2Y9LiVC7E37;1DnsfFsuqH_w41hYw$%(;d0?eBn!F z3{jjKa`(u!-<#(sjlcx(8IK5rN~8^i)!dgOTmu)#`kJhfF@}U>r>Vjr8Wa+E8O*Ew z(BP44FI(m#??pO&6G_Sl7Ru+8x0+&J5h#mDRpot%Fc>QcAmiUe7QX>LF*_8z9ISg zKL*@-f{B|EOl{fSez2bGsOd^wI1Tgs%HnF zD_H;vQGLbKL;l)_wf5da%q*sKSOW&j$|n-DDNVlT!|F--k+P>Rj$vj+%JFS!D)nVG z>V8-q_S;iz7ayY`^ss)Zy&n0=Rb@n^{Jt*>XRYK6Usk(%BwjD#=ohnf4k{?E<*U9} zNuP-(& z$zbV;Q-?VTE_lqN08JD@i{R7B_(*weEmprOJ?JjZ=SL+U5sa(Kzt&=Pq$gcv8}Mwa zT%k5==Ju!pg2JsxIixnLGb9#mfSh43&^Odb#6t(Vt|Bj_ zbB)S?t^im~vBI)hsu-&OXONYD?<{Yt%?#4yuJV)GtZR+)!d0?-)Q%9oH@J%&Rfl!! z(Z37nXwqS*B+-@yY3Li04Em=>TPCFTHQzJj^-QN8NAG3J zr|Pik#>Th;hx%P0s6Hhc4=6dC_)>VOiSLR{U1F!*{K)|h!(gjJ!#$+oHUS)&7HyfH z8Xa1g&{Dl06@|NoqJi3?fkgCSt}yjH7A{Y%%W6xb!sTUkS%WG!@HkhLrHr73{8L?4 z-&l$GT1~X44A<0=QX*(7WVd=EsH`tikpzN!VOx1CAtPaPSca-ZTeG~-CA2AR&PoN6 zPTX80Z?T$!sISa_iVGf!#sz}QVWo}evRD%)dEl?8tqP->4=cT>7Z9+}Fj%R$2vm$R zA5}gg@5F&VOBRhFI+3x5sMP~hYD>zkFnL2mjFjwptZLm3dN|GNBV~^-Ko}_nVe*Pb ztgib51N$}i*tDZ^6yU`lJ}w~gF6w|^=Xg{3{oipgMiX%FW;z^+({np#~Mg+o#cgntWlLW*|w0s$7-9o z%V+(Ve^q)7$ZL&;%9R?Rc1Eb&x&doc^{~t9_<5o7IKsz<%1eNk2D-?@8?st*ZUekh zM<-uy0G>Cn#p=xS*ATf{L)6(CB6nyAp0nP-&kB*J0$)8QgfvxsRh@2>>2i8Q)~Zeq zib=2c^ls{W^z>hHY9m(9-9{aKYFe(WZ^V2WWRcBqt4}?Fi7Ow2RSUgpm~1TfXvBi* zY(yM;gKhm9D%()O)_9HBUYK?SV?&3oBY!AD4;Vs=5M4~r+_6)Gy_|c*k z=7Z?a8+ub8qMeK%2Rs+>LcQr%qF0>gHF!D9cQ!x#IOqj`qu#_H1F;i74un>r1y(pV z1Ag9s&w^2HsrY#VUXI{?{|To9q&AvM-k@(p@OLOQy@AN2hV%ck;lk&DyZgEyH+7enH(|Ac6*14o78y*Z^(m*Z^o+Jlam=+8W}CF7zTBLSI%K-#SL8pMFhA+$ z4EZ@O@w`(X;hFBamZDEZSlXBK0jMn$e@pJA5!M3>K>wN?2-&k%N_?n0YK>euDfon<)c23VHHH z&@^ridZmso1pRD+LBtr0U@Xr^sx{#^hQF9 zRC@AJa7q@OaQw%y#QHK=?i_$1Y7CY~2e5`!U*eGQYiqE#WDar7=PBg66ChYa?%K z&g$rEphk3y9jfhCFO$zTXAO;UWcT{SD><9;=-z+Cs?Ow2UeUsoPNvQ?O(GmVTDXGo zMYt04Z_jkXz`A1jsZX&%NyASF3-rNSIA6as60fL%<0%sYRi9R?A35m#e8y9n>7!YZ zTHo9=ojg+hxCINY_*QwUbyaZ<#4Ukp@}(A-x-JLHtR-94p%CKPDxh~ABRvnX>ZRV) zmf-#H1pj^ip}`g|j%eklaJs_bn=0_Gh#_)z*(MakWdMk03jbXFp4K7_YffHNFlUuP4Qr{qiW?zZx5SN=8@jO`YG26F==muOK zZ=;qhZqDZ(i(p87%9h)LK%9NFtwo_{@Lkk5)V;G%CxJw}^Py0t_tntxZ5kI-fDDVj)a(+8e80v2xO7J`8w!NP;sIi6IT(L%WX;CECK__e6+Jf6Y? zYCQ}>gP6J#b6-LmNAxNk%QxN}s*=1nkTsO9HkYpkvRc))y@~(6xxBqOt8HA}94xIn z;-LHi+K;1YVTDjVi>557PAKIb*(fRF6KO12ga<^M9Z&L+ z3)n_r(l%IX)Lc&lv^Q{`>X(aAEbsdn%zq@GWXdqOvTfcCYVP9Pddjd$&1hiQZIy@; zpeo99$bwNtD-Xrm1V79015`pSLo#N$glgE~TRj@~(Fyx#ljLf08~CNrTdY%Mzc#F% zu^jl@YAL`aiwE{Fj9X*fM~eg8G4jHIrAgGh89FHw(Xw`0o2Ch|@+yapvo&yvW*R(< z;6w4Fb#CtSA+EFINN>@{I3Ifc$e5Qc^#zCmB$MdT+b!gyLAaQFm&UU;>1)sVI6A$y z=swZgY~8DDw#aV$2u$H1a~%la~6FRWu1%vP3}F;!PmgiDCziwFzAgp%qa{ z4Qp`qd}S?&F!MP=;U{YmM?}1oYj?of;Ozi8q62GSR9!FzO`&g7NnqOa$pGC#sb}2MF1Rwq#R1Y7qQ(!#AR_?F6hAO z5B5j1*jB(8DA$lA$kCfVqDc+j0&0NoG*BtT0)G~vAf;(4_Pb#NGIQ`T+zZ3b8*C!# zC_nkhgF3QCxZ^UXBZ5v5OiKGP*6Qb#x6p=m-GOaFeM+VK7?}(|@D(!i>kmUC*oFWI z#;fB+zla@dWA&u$IVkG%rVMnDV`KKe#^5#ucB5VC2{#l&|0;~8$U-4?+wrL~6eUd} z>N14CW!UG#bDj6_9E=(bsnS@gM6q!jl?I_i8+FiFIN(!dB{d_1#N|(ISC(YKB`X%#&A$BHG)7*DL1x0en!$y zEPm9L+IR3nB??7c_EVolV*&d&y49A98p44r$dCgiUe-LuHWv_~PAv&zLYbzvt2YP1 z!IV)#m(@i?V=)y|qK&Hnx{DyZ{a|r9!%y43Q9rn(5kUP;jD~}TgU==00MviHPfRUY z0%diHf|Y5I)9!e5i_H`XqO5hw7s@%ItcEYW)gj8VFeu8>E2OV=Mvx((I6AaIpK?RK z7s|YiH3*%2G>-NKQW}FVwn#zhu979Lqdn(purhI_2N^!AM+XZMQ}AY(=+GVHS$fkQ ztU95O>PaG&>OVe&4N!EFCSn9Q_)vFQJ0DVh#(f3-E)hj7#w@xy1$U&%Y?-(ffbHy* zwSuKpjftv{THB}LMPI==Vojy2s#D5Dt!0}i_Be#|kF%3Nr7|mZ)x!|c0NZGXM-X)( zB4ZiVVT}r*%Wm82pz?j4)#nz=bnV|j8HwPe8O&1Mn6JJ&=*wAKHQ!z%x>RmhZ;tG}EXI{_(i*$NP&OnHR)=U|% zNDxzwNLI%|Wz0$0Vg;1vVWKjr4ayyI+i(^TE*AQjYIaaX$F)+ld2a#d_^iH;1yS^GvuaSSZiZGI2Z1Y4$Y!k`jqdm_QLI6{m0c|WT+)7Th^0s=)^Q6 zq>bTVF;uWB+tV-=ghlvY7eaa}*(w5P5!^Q_nl3G|%lUenjkn5vP z0jx@sbLbWQ(kobvMTe;tT2ce|gW;kX#692+lqD1C7S`@#O=yfM@xD?a0-+^2*XUzN z-a!F@CEf%-qDQqo)Kt0kqKm@BJqdkE0WJ2(sctKtSj&)5VrN9fC;nwS00PIA7mkA@ zRMXBc1!3ILjQJZx?rSd6;voFQ9d2sW6t}s+1*sMq5T~AAq7B^t`pveGssWL!A+D>4 zUADJ?(6~5at7=5piWG@!2kBEbVrhV!0gD7$t0Wiu=u?)8Ty{(qGK)SXpWMX) zA20>U6(Vs1t(hDU$vR>`eM}^))6yMOiFg>y)Qk)hD&k_oXHm(;OrPS3-G*pu^+UNY zX8IpJa&V~pbtJ3Jg5=yt9Q~Li--~44(p4APts84tTkY(d(X1dk;F#uOea$D~k_B>) zZfuB=mXZ3D7GleP0X(XwBY4Xcy!GnwHs#lvB5)^@yQ*e%xQ{x=z@OkqbR~ujK2p9k z0?~3<8KK4m@ftFNrDu|Q<=!(%r;}@SXAP@o#nV_7_trp8OU!%T;_33*t*H8GZ^X++ z$cgzx6UjqP>dt)JNkNiDPVdgD_dZ`k>q9LBQyN5xMS4>vC@4~- ztVgDF9(kxV6cXTtA^_Vy7C20eeGmZ(qAc<5QI-&_0?0v?G;CyI>8Yne3f%ZQ8nYSx zk+=6_bt_K*l7LSzT;)^!n6DVmV&B2MT2v3xC~{~(Tdb;q1gftUZy>ZyfZsz&8hCK5 zt)kD~!$z-o<=Nq=fFp&Cus@yPq4ch<4x@T>#Y_>wF)+K+wy-5E%F?cm!6H}d$Eq6d z6(d~ki?(!kw+#^d9f5+D2FbIq!HZQ9%z_K#(tA2lp+{#=q-o`SmyQFJ1Tk7)f0m$3Z^gZ|rSgN8KJO2f?;?ndFMh&Nue zauV@|UK$KJis3x4XcFiZj{(SAP0Qd{`+-GprJJ}k3n&AsfS+}95>TKf3OXw~%^OAS zA`V+eGzzd%gZ_EKQ&k=$i_u=#UT-o3U=bMY;!EA6aW{+;*J8Wn7aKQzOL1NJu0aW^DevrwRc;>e1b?=kXkM&et%lrHc`?Ggb?sDkQLa@qv>O$7we_z)Wa`&B@U3eczQquBH{fVS_&Ok*We z8|0{7tXjSHZN<1x@c@SW;{pvz^q*?2HN6oC>XBUkZlgC%bYDpO|7W7#;U3N=`qiYG z;-b(%-Kv#;?8!Wg@57tPSYK)s-wO&WIhkfNaxTqaH_7ta-E&uEsVF%a>;n~0X0Qn= zpwwXFU>_w0K(Wh3K5fKO+BB%6jOO>-!g~Xf8lp33WLlrW?280>% zqwlK8I0Dw(NdNz#B#}L=rZiy$Yz0`d=1>-ENF-<&P14?lJ4%Ybhu}|nj7(v1z>`0sP-Kn~I-yZRrAnys87o;j7YG08Y*l$(>su=|-HI8R)ly89U zkDGlVOiOH&Q}7^=2-oY!P_qGDFK4 z%-yxu1Ml+^Y;?pX$qTRK^KCO&wM7!RDbH1OEamS~-m1Qk@0yy=Aiq89rM{4_qNjKv z-+d49LcZ~5gaOqT@=c;V&eak5aZ*ToAzzM~FQV4}sz{Rj#|!zaDw}+e09!zb<2J|p z9y~7I*EmF_SVkz}M@xjsoZiTnr~-t)2#WD4AilK9Kou~l6wplt#FYYqRX}Vhz)uCl zh&RFsu6h+BJVgLXge80aJl@bkJ$9-$MPY1X?h##Oosd5~a#-Yu$dQqwB1eymvW_i2 ztgIES@cr~HuT7~Y`VrfUO==|l4ia%%- z>HSInS<%)HU@#IhfWGX9pykH8(fqXdN{7>mhQe!iWXw8W)E=sl=DyQ zMhGijfih6M0)>`^Sgt=OCk$OrREbw@;w8yV&>=RUQ2-Z{-$s53$qOq}irE0ohDw&% zx^!~-XQwK4Uq=PJUJNQL+Q#}Jia8{h>4f;yDZi&QpJ&U%-iw1it`vUQR@F(ejZW|k zr@Xh5h(9{uMtUyMQ9!=fDIbjO8AoF$o#5@9;B%ewtDW*Eobt4{?BLVINdX_^jSj@X zG6dOkPFc}5vMf)im1RZS9;bY0ow8;wIl&dD{8OjA3-((d8P&(&Y~EDR@_|ly$*Dqy zlL0$A(e!Z2k95k8P@i`Q~o2T zd|GKf&z4@AKWw`OgO%EUlZL=z!*?;#bwOML`qrDQ_)z)jf(SMFV20v_yLLzBM|khGPG@P z?J|8=IW;dlM{^e0iN@lTHuzoBCxzfJm1(Nf6`I>IY8w7c;_W&0yAwT`qsbirz0eJ@#* z8Q0q-0}bYvhU7c$hCJ+((j|6?@;1#$xR*D4~&Ymq+e5w}oSkQhZ7reu2 zRXwD`-Z^f2;?Osq(6rQ@GFz@Zghd)hLuh)pbR4bt2M}`$9tIkqJniA-=ZbUa*6@!) zFkczmfWeD^CXphzx#)v)HwL_QDh_S#!#{sG8jM$FpdkQv1Bi`I2i#BTMGaX}{O4ft zQo5E&l#dT#-c@Q+6KBx4Z9dj1$}f`qcnAyV5GZ)SUeqOc2@zT7qP>LJ`@hLPvmDLN zx0SuF^1xU&szD*jbb1rBD4pI+yoICobo`F~Z~`a#Mo9AMSQaBylw|**te13MCr=y7 z+Dm)O$s32VMzxNj8THtcGQ0%Y){cFWR5@rU>m;?&=qsu89yQD8x4n{+hp}$uWP6GH z^DtJwTp}`m4`aj2c{?CaN;HU!4ADr5C9-Weo9*V(4we`q$rDGgu5RVqpio7UcZ^{5 z+}>-8!W|}`9>Id$s!-tvCRZE@vT?yE%wTfNNE~h}S0YlJPlxSVFW)f@NbsP?rDnH^Fm6I$LQH0?Wecx=Bft%72l48h_ z%d!XZ^hwOSVzB_-R+65`A5X&5p79UlE0b71sr~~wa59d-J$oegOTgLxg_BwAip)DX|qZ2(Z|jG~hmeF+Pbh&RK>5y3pPuLU0(Q6nCaWoY*=vCK40Av~Gpw?}f< zDJ)znxGyi90+~|ptDRWkzS@af@2QvG8lEKs_7O%9xm$Gm;y#MvlLx+Z@$o3(R$ zNR=<&lCRCiN!`^q50Jkp*IPI1^U=C|uPr*3{B@D)~K^;v~M3Aou?0-vMI|q$+ zDv;02Vg806@I--f00y@)yJO9e8*Od;4d8{on(ipCMHx1w5wrr-T6PJtWRR18$q{pz zkKYdv!(c8pm|x`LjZ{ZbLfWc}nl?V?BhQ(ODE6?u&j zA^XH-xqlKnS-Ynm+N513f4PhEu$a7Y%!O_<40<7VT7(I2`X%|jMQm~XDBMR=j$DG; zn1&q#2{x)g@a>o6s*70*X+dSV>tg2JzSo~n*xGm`jyIEA4M8)0B@5 zrksR6^pXpA*v+-jQ%+81-Q8~C7K-xVPx(YL3u+Sh2PU&x5cLN@sp)S?I`vOPZk$!6 zD7+vyN@4zPCP=Kr|0%zn!UCk5f5>xFSo7e?XQ;7}Sh0=7;lG~6SfJ>JkBl6F7r{ng ztrOmyDm}hXVn5&qjPlbt`AiCn414xFsyUN`G#SS}l#fAL_>JZ%0L}-HR&?|7Bv4ZcVXUr>s0Lw_L&|OK#_6c?qj4%{e3QS^~H1az-v%f(1g~({h!i zETGEiQy8kLQP%mFVfv@aqu=B{OIfTNr-rNlA%C-!eb#06>C!=3SV5Dc&>NDBz-}%{ z@(wzIB>7yJN4!`!8GH$3IlDV~8EaL3S1Rk_Vx&Kme-}y@;1*&m@`6!?kftF` zI$mP$fi2`iNP{p*w?9#055ZlR5l9UXX))40NSmK5v3tRc1Ciz+U5<1WJnIC~Sh#45 z-%9Mqk*-AA1NY8@@=NUNys&|N9+@6EA>am;jw79bvXhj0BH;&drNGj2Vu@yjx-gsK|IVFcdx|09cd6v5lD5Iw+6u?5lAN? zjd=)$NYjy~B8|tay9ucd3z#CL5lCHNIWMfOMj*|2Rbt<2M5YMqH~MeYIIOED!IW{5 z-JS!FiNJa~38sv5wcEX5${38>IHXC~o^^*QAQ2;r8Jqn3m3R6qAXu z*EJs&^}-H%5z_qjz{8?Rp>}%#(x3=jT86-s>3!|?RY-NC?DofaHn(7s-98N_4Vnf* zq+YYZ5CJVd$!?zmllmR9+v(6-5Yi(^W00OlnuOE~mdQsNL6$mfw_k!n@wtFw=tdmH zp%bJ0~4jnk3RgK&PwAURUquXcMoSRm#&1VI{f(r%{*x{{DC zN1Bt529TzowcGc=GI7{$I|9u!klrDM&f|~6piso0c6&Th-6dF-6f6KA_=?x{FuQ## zGDSB~0cqSVyS+0)wU=VI#~_WrYqzgMnt`1`7g!(yJCG4%iH8tCeotmiU6b~}-{kc& zjv8*256aBDTRI-Gq`xtCd?1i60pCgcao}775^Nd1;{n5oUhx56-8y{Z_sg}?SS{c2 zn2tLTW{juTAWwH)J7n|mT`u=c!=r5NewLS{u?Ar)!gRXYwJW>1ry{KR0q>7*Wz16j zk-B__{_ElCHM*jwd(TRfz(uEPhVOXL8g9zh(^zx7_`>5;EOhJKl4pF%Mxl7(QMw4uVl9+((>|F*N|qZ%TGgA_eB0_9qZ+}4oy5pG@w7E zclk*6T+ez176Dcn?3xg}D2!Imh-B9#F3ZbVC0#UNUZ`J$s~P&IbeG^NvfDNYym38i z&?XL;Lx&MdsHO+ijDsBIm%CbBJ}&o(q$34VKok9=-A@1U?D9f>x}G)B?*S}!FJ5F$ z^)7m;Cg}4yYhOMDUV3D&yySD%ygWs=9{c27lusl0KDpi(tWEiRZd3SdhSmaw* zi~u)s{&m^%$6v56o>V^#a-So)1LZ%zVBMPU0j%nw5_JqZJmia8S%V5>eu`2C zxxtsLkEc7b3Zw}nXQ(ZI_$6%F8L*-QCH6>?hIz<4zhpH$;{Yr`sQZq@zAb;Wm35K5 zHZm7|1`zRx{`CLWE(a>h@@5v<27k<~n+_JEh{Z+(yEnR#r0@sLCG11ce}}tp+4F1G zK;FF(K9B&!5LBK>m1k4s_}45N19%!}_DGmQ(C;o2<%*kN**k#sLcPza-Z**GCRWpv zX7O}v2GQSgy9|^UZ(>ba_W*1;=(ZBwL=+<5@OHq-e#;PyR~;owH(#@vxp=07G#}H{ zaCDGMeYxspc*Grz7yb%W=h8wRwV5^7`=j1=Y(Wc)R8lR{HUYr4h^4|J_aW&U77dZYr<=_#S1XYd*OWi~iUoS!0mc`#Cy>Yo*2?U>6qo65VpO7szngZ0)d|qF~<#oZ9I+huVbut|TeC0D_CQ(bpd?AX8k5qIF zof))dG{jb;PR4xuKj+SBn3=s6cXPh|IFEmy^Y8!MyUyP*+6nI8RDHHlKH1z2a4G`6 zf{hP0RS~F)pz!5E9oXfNU&Ia94(vru{~g#JgWEu>9JgRQ4wE}lAI;I2+pBR6AE1t%^Q4GmowOH#8p z%YlBJ4kjPh>&yzse?potp6ApJ<+nu+>?m;OYImxkp$Iliarg@XwhL(kUPiB1yhU4N zr{EXh=>(Dpdwm?Mc5ac0&9?$uheYBXt}!r3b=)eS3BC#N9o)mm9I4~0OmwGm4F4M$;?2msLEd72x!!*WmW&;e?q-YglFoX?G6!wR7AG9^@q8)H zIp`a&xapvyUhz&7`ob%6i9Yj+_lVYd#bzSq6-SBQ^@?huhHSCMkN)8mr~POtjNkXC z`CvQz=>XUnfBGEkp+DWo7Doc;a<*5zA4C^(fd$dBOi|j5{(?ezb6O9!+(~=E&N^ua zSS=3b0edfma=|u-P<@UR6(RIzux~@?9N2H92^7e+s4iBH19R%eTQVN?mDBc13}wmkpj z63LCL=t?WW9(1*vy0{yCgyUpahtoQ+g%Pv_tTuwK%$Kq_ir&i>KSt3_6mojf5Aapk z(^`cpH}#^k9`QkMFCFrTExl=%M?C1;W|K$c_M_V#QPhvFd&J&;^m~su*N>KY#Kz}n zYo=KCJmtWD!SmdplIQJO_SuDlx^Ni^S>n)di2Jp!Kdr-?8~W2nS)!&t?aCB)`%^)t z*fYRxQTYHm=}i|Zn(n8Ge@5e2Be61uuHY)f(9h}On;5E37nK7Etvd0-)A-yrn7+&s zrv_7Tmbf*9N-;n~+Wn9z4#cufZESZQo`o*k`3e^;KtEjeARTkrgMY!r1N^Ov4rPi} zL)m7pcPO3C6y-x1`gW+@>f1wY<-0>^bGn#6j7|0rv#&$tFj|r&?v8N5^4usM+e@Qt z!HrRNH4jHod6t+T&yu`&9^kd{3ni3yCeV)=qC9~XpyHQSI{@7pOYi4M>D~V-x8vg^ z*4~y>#iHdCXnDH4KB2@y;iF0PRk}DjiFT%oyOZd{46$x9y^|p-CsTF0xb-G|mmyY9 zp)+tlg|=si`%|bWLu{BzwdvyFR4+VyF`bTNh#S*sPlnhwV>XbrGsj)c5QXlzO`h@M zmYde3i#u~^VYFqY+=hn2Pjga{%gGyWGWooNp9BsuEp9y%)hxzi6 zge7=*X7V{+*{J+!qjE{3a#^Etg}SyE+Z`7dD{CLV#)-yC#DtrwO?hZB6IMZ+l*-*F zBXADjj(s?nsjiPkkwMy&*Hc~JC&N2M_t0hRY|Z5Vj1z%hf!O7XrIGvPKbo|NAE)(_ z4ezVE9g=V1G^xTvvUO;U8HGBnB*ubUB3P8EDu`XDvoxMy#Ge>(_iPQ!Gx#-w7aRO* zg9l*<*rD1UrxD<~Im#R97xUEsLT(*vMn#eLr;-RsQZ-hUJX~5R_8EiSM^OUDt zCdrBFQaPfuuSz%uFk0n;@dPS4hC?vp)cs?4e9u{+5-adMXZKfB5qLmxi0(kKx>F%% zTFJjvx+m;W-YLT1g@?(r({lw9hnY1I0C$bng2hkGCs zr*2G_4PK1<4-=<(Ob%qX+zYq5b_(aTj!`X7%kaozo`|3$_NNdljh3@Q1N`*Bbl%`K zYSwAK0Ez0%Y5AH}_qK|vLYLx$)c7ilxLa+i!c}vtOU!aqz!@3at$V)q!CL@KQOF9p zM_!?N)7W<7}G|UrksNG ze~sUDgD1bLo8XHi!e$%mH;$lgz_|@MrVW;9`3w0npf%3#$7g7c(K(%~TW~-#v4W+p zpN!}3{4)p;KaeoRVdIoNhdtC~ep+Ih4xC#OpQ-inU}Do8m2w_ewa8}eui++YkEjVs ze%@sYdK`FujP+>y8Tilc(JR`IZ$>ZoX{7A@KN{6O{7r4?i!Q63uCuJbu1fgka42xD zDQuqB@1mLbL?wKU7MG|UV4+8hb=@*;9c8rc*P#i~N~FvDi;vpQ%GbyIac@y5fKz{7Ze!Y# zi$dUb?~uYmdCK#&p40mNi;w=n1VKU9a_czk(@2&8oHo!e-0uQfWc8{MzB) zBPo2s%xM$zXLWwQboW&m>TH>mII_pcmxf0rCJu@k{Nk|D-IGeIZp-D4AVwlJl7Fp3 zqJi?v zH0_?O@&90qRU`{OxNk+Y@TIgqUaX##fPI;-k1OS2_+q5)j*m}Ny8#FKGTi7Ms$N>X z1M_-nHDth1mesq3FEjS>WaY6euZ&msEh{3xJx*)8Riwk}(;~+deLPxu99BfjvSh90 zJq{~8@Zw^9?T~WRJFJB`BHGggEzMCH_VJr)H^Y;+YuLxjO7Ay8OOU>J{HzFd z)6a6MU4B;gfVgv7F;3m_vj!lMiS)My1f(7EdG+{PeFE;8DYi%LMlrC&%&cEal`gFg F{{lPyO4> mu; std::vector> L, close_vecs; NTL::mat_ZZ LL; - std::cout << NN << std::endl; + if(bit_flag) GenSemiPrime(N); //if(argc >= 4){n = atoi(argv[3]); if(argc >= 5) c = atof(argv[4]); }else n = 2.2 * NTL::NumBits(N) / log(NTL::NumBits(N)) - 8;