From 2a4e0c9713462abc908afd299ca0e9cc9f3cc815 Mon Sep 17 00:00:00 2001 From: Tommi Niemi Date: Mon, 6 Apr 2026 19:50:56 +0700 Subject: [PATCH] Format limitations as bullet list in PDF Co-Authored-By: Claude Opus 4.6 (1M context) --- paper.log | 15 +++++---------- paper.pdf | Bin 196714 -> 196804 bytes paper.tex | 20 +++++++++++--------- 3 files changed, 16 insertions(+), 19 deletions(-) diff --git a/paper.log b/paper.log index 75ad178..1bdbb91 100644 --- a/paper.log +++ b/paper.log @@ -1,4 +1,4 @@ -This is pdfTeX, Version 3.141592653-2.6-1.40.29 (TeX Live 2026/Arch Linux) (preloaded format=pdflatex 2026.3.11) 6 APR 2026 19:49 +This is pdfTeX, Version 3.141592653-2.6-1.40.29 (TeX Live 2026/Arch Linux) (preloaded format=pdflatex 2026.3.11) 6 APR 2026 19:50 entering extended mode restricted \write18 enabled. %&-line parsing enabled. @@ -435,12 +435,7 @@ Quan-ti-za-tion tested at f32/f16/bf16/int8/int4 [] [2{/usr/share/texmf-dist/fonts/enc/dvips/cm-super/cm-super-ts1.enc}] [3] -[4] [5] (./paper.aux - -Package natbib Warning: Citation(s) may have changed. -(natbib) Rerun to get citations correct. - -) +[4] [5] (./paper.aux) *********** LaTeX2e <2025-11-01> L3 programming layer <2026-01-19> @@ -451,11 +446,11 @@ Package rerunfilecheck Info: File `paper.out' has not changed. Here is how much of TeX's memory you used: 12083 strings out of 467525 178010 string characters out of 5425861 - 607805 words of memory out of 5000000 + 607900 words of memory out of 5000000 40829 multiletter control sequences out of 15000+600000 639085 words of font info for 84 fonts, out of 8000000 for 9000 1141 hyphenation exceptions out of 8191 - 75i,8n,79p,324b,518s stack positions out of 10000i,1000n,20000p,200000b,200000s + 75i,8n,79p,324b,520s stack positions out of 10000i,1000n,20000p,200000b,200000s -Output written on paper.pdf (5 pages, 196714 bytes). +Output written on paper.pdf (5 pages, 196804 bytes). PDF statistics: 210 PDF objects out of 1000 (max. 8388607) 171 compressed objects within 2 object streams diff --git a/paper.pdf b/paper.pdf index 3378fc86deedfbdc3dfa09435e89fd8f690cfd3e..bb9202add5be728cac205174b2fabfaadbbed015 100644 GIT binary patch delta 6448 zcmV-08PDeGfDFWe46xf612Q%_m$AJ9D1WtBNpssc7QW|KsOA!?%2c>h>^`|YPNuu< zPM6y=b8z|qQ?P^y7X<*lr1InEEdV9iR641exk$jn_SWyc$7r^mMYDIWBKQB(^{Y2; z(_|J$iz=$(+4UU^(?yyVv!cotMFynR>?Sz7`gtCvWfeTklV#BBkA|nhy8jO8Pk%hw z>UkWQ+-eR>{ucaOrT48Ivce9v>`7#d9bZ<HF2}Dgo=fUkfO#(N*lE9;p-8_v0 zD^OOx`B2eta{@Q#?&jJsbANQGVEG6a z!j3!wU6aK=-ZGaRC^amrG`QXn`_&$6e1IHEs`X|R2Z(n=S9{LDKO9x?)M~*pt@x^5 z|1b}WvJ7NbyURfxaj@o7>hSbkujxslS4`guV@~#^%2}wD+}*Zj@6qzppun;`GktUK zmNEXih;wW^aVw}11=SlPObH99fVZ&lNPly27F@s2IJqZTbWr}bW{4Y}uR z%E3?Z@g>N#g5CG?1XQ7o(CCfJk}SyUXg(s1F+*gG52oLup^?<}mMQMY@}*&Uy^(@k z)E(Ne=E3Miv~+xxz}G!lnVC8or;gDo3-FOL=>4=N?ZQBk(+{oG!hcF8jbTiV4u?A9 zR&4)~UM2SMQW6e)vBvEJ8D%kHZL}CqA2!16HCDB#&;d|_2-b%vJ+T3^P6WglG-PEx zSQ&!f)ed_M=!|jA86L;ZY)oOT!$5Uge+|XwaUUQ+!iXk7$`Fv?LK=gT7?4nIh7F4Q z6I?8v65s^HkAB+X%6}J9IFLM}%F5afS~N_qQOlnOI3SrozKj13ZNNSp8bDLsOOv}8 z8|B=g!fWFtNB$82>CpoP`~^nm4x_JR18%ZnO#b&A>;;L7&lg`q;@=U<1^(POJ^f9= z_f41r{(p$_D6Wzc{$mz*B~7grhY3BN6#;?U(-t(XYTjiA@P8u17>7F$cQmYl0` zK#bzx4C06wK<{!)WJL+uXD0qOt-LHMo$}I%m4_6Fl2$b8GhGrP{3rwHo>%d{#wNs3 zow1^6kjuzNEq}<@3?>B6cR7=w0oNNv6#)({g?bic0p>@Lh4O5)pZFpdkaY6^hRO5b zKM)VE4eu2AluIhIgUpHWmuFlw;UR^lYo*WF6YM*)gOr5(IBI2$5wL-LY+5Ft}y>hm9ctLVr$M@z_ByjGBI}EDvv$FqHIQ zjEDcphhL`5t#)BN)U+S6>j=U;WeoZ>c+f@=CODS7PP|>=^+&uCH(iO(tXJu*BbvpL z2z6H`QItD@k%>)@n&rx4#Wd$3#)i*g75DGQD$GG!B;bS{Ar#T;6_!IuL9s{wW3=(~ zRttq`iGRkfa>lWT!J%>Zi9|9j*kZTM-}<7qL!y>ztSP?8M-QI-3hmsGuimR(`vw1G zI2l!RuP+kQaxW-g^1|=YkSFMm0H5%3zwQSNkrceX=OYjj6g4n(4u(V3VK~7fM~q%V z!2R)2bsgl#X)sAgFj=CVu^`Noy==sxcf?|2JAVRkyUdm@ZUNfrL2DPa%@dRSjTn6n z68G?B<#xN{2b~U5`mTBU5%43;DX5ruV02P+fhH1D+-kWiUMWi&S5@+~6Fy191RbC= z$Fw?;jn7Um&oBDxBPxbU;pP`Xl7NmV^ne7Rcfyn;O0qwx5>JC)|HZ2aEry48x^Hf@z`cWx<>WsmY$jw+$JJiiQ&my{P5mq)}Y(%|OpdiP^fUK>hFPme ztm~qDuUko~5_5)fKAr(Hr%l6j);x}v)PK$M|DJ_-TO+wZZRmW$F@k&fyxG41itxcw z-HJ4dbMwVe64WP?G03VEKDbVtH}}rD582^PtnOQQLfCKdZ~xBKDOPjuj#(fHZZ715 zdTE2XgEcZk#AZMqK-rQz8^fr_x%LtETRc#q5yD+tihc~PkRT&4f5&&Kj=%(QA%7`7 z_#`{@n0EfDa{3Czdw+TU=JNdV=VNgUrPR%(q&Th;mJ-`T&96dYqJb!-kC<=apkO%!@2Mm9%1BP0%r#Y{MYVuRhO@L+E zUS;mTA*}lDwd?P=sN)Xs@H4@#IbxL@6%PBDWRb_kcgb}z-IXD`!*eQqpMp zr8tUy^)G#&cE8VGs6CcC+;SWk#+<|-LAU*e;5PX z7Op2TeDNcoWTje#`RGU>$KE8^JL{pgFVKbwjr+{Hb)kM|JxGm>A&I#WgRzG)&Ya=)`@6X(lY9dAAn?GUM8KaOu{UIt4Zf8xnmLS{yo0gJUqV0*vnU6gOpP8 zQJPB2g;czewdw|cS(K28m}))|#(h1>W`n!9 zZ3<&y8m0d$tUX;D6M!+5G&Zhr5t9ear*baQ|E3!=vf39sbgZh?M7q476I@Lk(P%lH z3hlgHbXh@K)3{#?-c%Tznfu&W5IS9X+=-GfPQYgCVHU;!oFIlf_+>rJ!M=#4q*tqI z-Ws2mT{9_vgasa@%suMyWz%X%Ez8SwRx_W~fEAQ1dD953x)J#R7bPX8sVzVJo7Yp> zxTp7$8(}<)^QAyv>_4Pej;?BhVU!?Gc_{`^Jm(rDS+*isYm(|8fuKdE2|Q>u;?|0p zS}>wjme7HPAl*iv^&*6f#5uV|ZE?iNL#>}s5!aZ16DW=)2;s(K8#$WVotq@?ikR1E z6RE$o%k39Fy`Fz07By;mw3zoCGf&*nD4BcO!Q|{EMHc`b5-nx%SVnmM&-jU6h`Q1(Ktl&xxeT`Iu~4fdx~VcPLSie zH|W2AT1CXmXB6~$vHDN>c)}7Ihf!40o$6no)>JI`%$a(D2G%}C8?*m<%jEMx(C-iY z$3|lw(lSZu2gmGeIz;&mS5vR?#(N=rp>H(yP6y}xdc3QWg;AU&<>4xQgX@bYc~Ejj zrx=pUHFaP#C^hQ6ZepfIEz!ag)x-VOIhPViLyP}fihedkCf8d)uC8wbqBuLu=<;s44 zB~T`w_yvwEcj2gw658L}+JqlA99c%LR!dbkvT|Rhh0bgI$c1k$CaqgN;0bhci~tUu z$_;VLBR#KcyFkqBL|$;^p51FMam2hDb4R+y?A;uGKHZN^*!OS?Vg>FnCuNxzKg+U+ zH&CJJ8}SU*+FnNW%QvZfctG}<&*H^@p86SEM*$UQI5=ngQP$dB)DP~w)rglVSJEu@ zqvdqDoQtMbK~K0A+v*i2bOVmKI1KlH;42}UA41J)NK<^U$v(5J7&7gPd1>D$)jD%D(dGD8hfOkN! zp3b)4LntqWvJ^rYmx~pmZ&uI4z5OC8)BGS1_~>12oPM!rVvO8sg!FS?@Wnmy{a{Zo z*>$2IL$i9%`j{jL@8~BU(K8TshD3+K_FBM_5-WN%_>3Nj!tAa7!m+a@moG?&5c0x5sRS#5J0w-Nr%UxAPIOpC+f9UV<( z6uV9`leDg-PTI=)KvNf)HD5Fo)!O;>c@}pB??h5OE6Qj_!rkE(yU*@E02W6QN;qMZ z@Pd30Nl*%cl+Y#$GC~I<$O>bvpdd`Z`zWl#dlELfk=DXlFSHXblF(iRlY~wp_{2)1 zfo^{zVo*>alJZa?k|n{~l~)3{q>>w1El4LkJ6MG_=p<{Cz#myyg+=nP=>W$&Tp15r z1=!%&I)LH5hrZ}&#YeE1JNiv9S99i@Q_E~Xg6)a*zwCo8? zCXS-g2sY#hZ>^5pV}-R)O$zaLkw<%BgXUKO*$s9?DkAj6J;(vE1#rW`Dco=t5CngM zqt3xqB9D9^&#>zP+~Yh&@FnL5$tDoWC8bBi8Bh=>Fve$<30KD?2)Kc(1fyOXh(Liy z)NzAX1|vy>tp=GRPPio=g-l!Lp%|kaqC(7Q$E-zcy+eXPE8#t!2m$mSL?EQW2X+pa zeS{9=Mg-`=4Y=SKGWd#{I665I)tP^&zFVFzMfF;|xUDDa>2e|IrTFHX(Tn#8KmNme zrPM2KmfS43x#DKZ&AQxe-%iWjH8+3a=Do6tuYW6|>u&c?+|=C6i@=JTFE0)B=0Li-kTvUJDADBOcVP;NJ z)W>B|R`hG17xy4~9?utLeW?$# zcn`9-ecJx7D4guf$`3m|?+TEcZFEZ5?y-NbgNL!YU94MkvpuuEm%*R=yTYf#cKoiL zANzEiKJ3DwnceCSN7wJk9=bmiq6-vsO1u-*o9X(Jm7ko9s`D>5wWxpIj<4%c^=i3T z*NgQnws;mCRqyKC<=tvh-*PpVdw!~~rsHpypT&hjhe!PolD-^4!3rY<>Z&Yux>zis z=YnfTHW~78aXIQ)%~GT4+vV!2US)-JS$$vqP`$zfij7M~FjzuR^#WQJ{P!QUb zBv&(5TZz&Ja%XoR*3f@h{Wx8Gs!mT%vW4n2hq5}W{`u|){(tdty}r5qOI2M@*K)O7 ze_F~#y{^{F`FvVUR@0Y&_c(+o)-zo5g|eW zhGhhm=HhNPyF4W5Sx`CYkBb>-b;%qTq!466NqJn*ku>U_={J8Mo?y1V!C3~UpN6F< zxPxl%QPAUT(B6Y|y1hqX8aAwktzg@GbcRe~=6UsYwVa&QNE4X;`i-d0>(A@^WV|;8 zqPjl?aKQMADX?8y zIwl@uJI}Ek_=iXCik$(fm>2 zQQJCy5n(7CwB~Btt81^my@vK0+iOEx{%p})slDn43WRp+6nXDFyc?_SZX8G=|HAOP zXpGPr$>R@2&SQ7BkUJIk>#oUkUCaND7uQ;8I~mXG*>asruqQ#J!8C&fqaXqj^3REg zv_ehQaNmD{S(Fs09e@y8gP<8?UDG@#^USS%;Vyy9IQa$Y}Sbif|N<~MM_9%6XU1Sf*buAniUn<%_lKCunOr*^7ih% z#cVeNB%K1i{18cPgH-BZso2~4J0(GH>+h74`^(11mIQjYB+%w@#UKAJF);3WC+=2B z{z-r1xTM2=Y4)5VdXf&+oDMkb1nEK=CW``8?aSvLS&L&C|H3s$7UilkdYG&M-eXbN z$l}R+aCgrVRn5;*c9fpY-EM;n-TEeM64ogK|4Yd1RXRFRc;?hRP0kh=7MVxtY z$Rde3mMotz6$+Ak&eX!e1v=P90|z@X zY(F3aRPM9=EMs}aY1>9)_pNa(ztQ#((jjfDv(q-Vx-v}<&vE`t11fBM#)9qxY5?IK zdmMt{-YmzTlMoNhFH5_4aL#hx%2ONf($^isy-ntt3^lmAamo5Lm5jCQF`Lo6$ME+Rj+o_mT!MM1y$%0- z3`wIcW6OMM`gL-QqUpza65F1bSJ_6UE8oai_zpCba%&{k?h9)hd)9G$b9*`Z4UT}i z$de({6oZ>Dhnp_}x0^2lFuepdFf}%p&+Gyp1T`=KbbL^nY+GeSl~ML9x4 zHbyr_G&n>=HbXHuMKdrnL^MJ(J|H|qH$gNrLPkSHIYL7=MmI(@I7CD?Loql-GcYqm zG(s~zT?#KuWo~D5XdpE+IF}LG0x5qT(@RKHaTLe#b50LSN5|1oM|)aRW0_f&_HOKD zFU#K9^sYtAc2Vm#$yo(~RGVn&(oL&^$bujU3WT7AAP7Mg)TT|;|9dtcesgB-x&M35 z84;0xCSsyeDhjEX@a-f8gH_bFk>xo z0~y#vZ8NDB>VS{V7nX&3;FeAU%RvKhT;E7)ggoq|wt>_H%`ix_S}U}{ zacW(pMX(r7QCmk^0!v{TEQgYcWaIs;G=f{t-Kvd{3H^cowsK3Hab+QrlZRm zz6iLH#{l9+oxm}iV|bh(P8xrY#q&B7w0Il4p-&|@7)@g`F~%LR3;JOX?1g=>9}d6( z9E3w~7>>XYlvN6Eqw`TX2WR07oQGk!09WCJO8f7);v}5rxGa)Y;38at%Wws*!F9L+ zH@QO8W~b=ltf;f1&fJ{sbhgvkNoOaWO>{QV**~vV>HZnl)~MWl6DfbA^5SWvT9wZu zk?K_b^he67=5I%;SM8aIlv90lCsKpztI>gX!uM9W zm-~y$8yJSGFiaLn9<7oHK;`1fIl1_G>4s_U+%JR7Y4xq)sp#ytLHHw2wtDG1a)0Ui zPN9ry8-!+#y5ZHLZA#SvST*b6aLHRbt=4O)$AwyS1>)VTmTsK+&WUb~akpCT@aB$| zUpzmS56izVe_6PGvdV#Y*AG{5lr!e@T7TUwlfV%LF&#VC%P?^4_(B4WMmEdPcRGQ*GUh`; z1LgoQ#}@PDG7B9Rz|xJP(AkQvle#fDiqBxdhW!14hQ!hep~16h;C zZm*fj288OSdFWhji2QtyG(JEECDnQ}vID@Iz9|OEz&=#t@EVa(A!S1~hH${n^fTaT7sdj*>1nQ5y#yA+`V5U_7b zsY?lpt5qXQyYta>vbGxwG=E}-U#qGDF72$n;T>BvM=feH&Tg<$ZOA+qQwDyFmuJ9J z3A^u>0f<5yq0t(%lr+fes6GOXK0{#i4~Ac(q7l@z9YgGq?73ojy^?}V)E?Tfo@$0lL9O>52`gb;2P=ry(utzLPH4U14L7 z0hw`Jvx>*DRU1QC>M&5vc0fb^Id20LkkF$kAVnCE03nS*NF0!mZw?#e_eZ#xS|Pv* z@E`rS#g*?QZ~zU2s((%vU9UyO-~y%mwTA$1^)jU_Z^|6u9T~v5$ z2F{Uw41jd$fdKv`M#nZrU&so~q~w_V*AnyviHpxCFGb?tF_a7ZxvN_GOoi_&H-z~A z#fv>Z4^sI0%x)=7p%uFcT^=P41-Hj7NLm%V%k*GHhGQJ=z<(HraFz%FECMs==0Vik z%B~I47Cap@Dqk1xyEiOb`9Cqy4SSMk%xX#`S8kHT&KEz7enPqpMbRYVT#W-F6bC2Z zM??Txmn9-fQjk6q@ty@I40EZp9dgMh8=11U#@~pR?_&n>7gt-UB#If^#@Q1gC zcM819CKcI0=EU$9M_e@FA%&`|<&d!_$hT?-E-CKgsFnqKzy|WMsTst^;$sGE42lXO z>JKPw?^#9llQ2$}#9`KLl+I!W51ruM=$-hS6B`O3HcsDc!-$FY#WUF_o)x*MYr90_W zgm)+s!*tInVDilFQISVzj}SiL=62oo=prFlealC{CCF=FXblX9szG;xOJ4@q_L# z$i^qf=ci}w<&21-Qn>m>5GNobaym4y9@Pg=Xs>DO**FSj`LyO_zjc#k+h#`r^ z#D6tNlqS{!DC#3p!#lT>$f5^1m!ncBE>F+h`I7SN?0kluBy_GmE;FbJdRr2aI&4r$ z!htgw4Vxnaf6d2Io4m*4$d-J|u@bv7)Wv3emmBzK44*jbVY< zHms2vJXQnJ0K%5s*%*#`oNFIoe}@NhRD!!}OVN(O6apj!=ARg+YABdsTnN%3_#SDF$`Th!z7T44CaAnxd7l0+$fWfm;moL35CK`+jRIA@S0jbv9OJPNZ{wzRezJOHdhYTquH*=mbMBk+vcsUB)LALcN}lm@#A>c z=ggMfP{Um=bI9WgZOJ|dCC~)7RmIO<^Hf1e0CK3rc=Kdd->(#ju7qk|E_|_HD_Y2V z^rGV(^65LX&4LFiXe8Z?l?k@&Gjy_2(?bMtmOG!PEf(a3xqb4SGjq$(QGdjvmm!vg(~7kbkd`kwdeaN(rT2O-V~Fv@f8JEeBF zY?VgYasV`GOYk|(N0~pohDk$a2&V3=p(xYTP2t?9A`IbLV!+}4NX$nVChBt|T_~8X zWoxxo*y_<+=cKm$WFV+%Cx2Q5Eh*d;V>^TzfzC$r7xJiTUMvNnHX=D;sm?W241HoL znc40o|3D+fK2i6Dy>`zX8Bp0L#Vt?8O(!j7I}JR4{oIJ&baOIHbLU5ePXe`ShUP3M zinS=IO#){hp1#sO0ukQzR6M>UX%NW8*-sybhnX5*dThHEKWz&qsDGzd6{;fH&Hl@w zy+PE_!+NX04|$cGV@n;fDBp8C_(|3^)thyMch zx13(S`3Jxwy_^bVZjF2xFST6CMQOm3RmCiW{7)z)5LA)lQ?)ZmqPM z%0n&|8Zi<5wO#F7G)B&5!g&3$SZa*4?y!t_(`N34&k>CmUM|)2#lK4zVJa4f@{$OY zbJ8kw-{`i&2y-zFUBmZ@0>&J^GT-pAcoIgaO4O*lW7u{*Mi=g^|17b`7<_-!$vFv~ zEE-&6QZD?)0NS}MjmMM6zk7VJ8n^x7;1E3@i1*JTi0j>&f93ieiz6OVT0}HFh}=SD zVL}rJ^%?J?n4L0R6g^9ptjsNvP{c5;%&gYj!M;^)<9WT%oH7%*VqK(9Tx+i@w#!mEvqw`(ykZX4+==^x zdGw)onw&IZpQ9vVIsAXpcSVuqKZ_#gJFY~@k%D%&;eIFZ$FEZP`hf3C-^S|`2WVn5 z1zKF<%{edEQX99SpWJ$HkTA1S$$EL3F1^)iAsVf^ec@(oYc|-?9Xoh_9y|U)DO8;mLtPizGXX1ipIj zcS+m9WuFopYvkTWC_fJdf4awhAeKt4p^2i7B47)DCJ@r2yk#R4Gozhm4nxKT&9oBU10o@S-ZLDe!3RcR zm=F=MK{SGe9Wvm8gL(pAagj!6XQF?&5XE=P%cUq@ix=y1vY9Ryl3t2$z8SrEkMQF^ zyjM!S;%3Rsf}0y|rrd1u)$ZvuU)^%^CvM&=tGNF;i*DM(KXFrXGtUAmZoa%c3R54# z+^MOwf6TgWdeq#1$eQ|GKF=5?S=Y|xGC!zp@3U}u!jgWv;GVE#4lP|~nA3lpp4;rs z>g)8|L;b(zNPTH%_xr5)CO2iavz5BYE|0rmUJqr_Wq##z_3SuzdSdg}{N7zpMCM)0 zmD%-!0Wy80y66(LqRrh2H9d^^B?GB+{W+`t*dLfbgkh#HiWgn2^X%m;U#;87zU#(y z7xi&|sZ#WNmlu1Gx7x;C7dwBe%QV~mE#D59v8Ipbf6LB{yOj6}te1Is*5mmiuP^0s z7WW`~+okP)vck#1to(2=@-73p+eIgbZIAuE4j#wq4zcdc&3a~iCxgFscZE;K?f64G zKX&Ojeb|L#GrQ3rPOjgR9=bmiqAL`1O1u-ro9X77m7krBipwu|r6_;ij&I9R@oKr) zl#9(8TRaPnig)FDdB2*JYp&+1k)O(&>G<2_XK|%4;8DJWq_0O%u)>=HbyX#HzE~`w z=Zb4bHW{kd#r3FTwUQbY-!4}-<*HIh*Twh655+6opnkY!1e1-pvd&2xQ9P5D2?e1| zNgC8aR$GbE267koA2xr`S^PL%d@9b*&MFJVc@@gyqWJr}ANc>p$Ia$${gD3K;G{q-ABT$Z0V`()gk z0#WTx0UR*CVhZd+5YoUTbp$z9I9EtMWSka+MoNBwpe9Ku@lOg`A7sRl>9im@$%n|3 zf>_6-qalLMN@ahC2pY^eGXSFo=e!ya9tv!FfJU-TLhCUWgL+Y)U@LeM^EHmcTjt^b z7~KJjagC#L+{!>c&k`JM&Huyn6!w{(+~b&@{6MC61dlIAZ84lqvGn6G>=hQ8bXuiN zMk-GaD+PlR&h!S#`D}kusSco=Hz$-@8Td$VcQBLddcyX(hwv+L^oGmw13HBt2G?-?vU}QufG+b5i83JKyb)eRi2qtwwo7aV^STT)y81n#8aPu-aR$;1jC{*S|% zm({%2tL40W!sviKhRtu`fIYkUQgPFd8#2=hM!T_?k~*c3>6KmE`T+ zdyCm_21q&udif!e+6JlA(NeLq^|wlb&eq>sDn7Oh(1&G!HjgX#__v6GvDS7_$#*E{ zHE(|k^suBu{iXxDC>8l(vLKxsCh1Tm_8gjeWes*!pN7dQoSFOB)+1{Z> zEH5QZTWf4THIC)C+8#nWq-}Jz+S*oIrXJym%->(IU2T2FO6>zScm8pZeF%m}D>?p7 zgm`F<0sG-~KxAWTX{xl=?>81u!C)cvoP)+fEm^fGv7Yvbr^-?*uI;F_eX2(|XH{d~ z@?8_}Jl1}PN9)Yh8LDx$<5KCT#VMqo~Jmu8qw|td`PRrY&E~SojV!l&aQ9EYMfh*7mI9_*U)p=zlWtvtg65coc*2 zFNg6j0k`ol0x-P}=GcYnWH$EUdF+@T+H84gqH#kK^G&nXjHA6u)LNqu{O+D@mPwll8P(w3?+rS59<;x_K%KJE)E z)|O)FY)C9fB>oI5Vo?%_kdTIjg`|n3qHD1bp6}Uw@|!dBp7(j*b4EnupNW{L^vwuq zO~QAQ6b#l<+d*0Y8R(<7owN`Z!Fp=jNDZ(UHc}fUErCWTQ`>(^%0d&2P}@Rkh8EzX z^M&Q06}Y9-!1B-r9M?CK+Mxiuscj;4KqpkG4U@W{2uG=LNGrioI7V%Vv<#NRDQX)? zD_|w8f^O(nkzBmL9_Z!A0Uvz;XyvP+pPxjcv-8$0-o}7R!)$a}#}@%N@)$teXb?Dt za}19Y#7X0^cwT>Jf);OMFN~_>tI;$j6Jy*3dte__U_Xq*1Wdvd9Dsvx2oA$>7*i>} ziOxshES!NFoP+al0j|Ocm7e=?#Ys5Laakn02$!G^m*EOrgX?euZgPdF%|D=vv!c$5 zI&*Wj)7egEC!L*iHqqHcXaBrWW%y}an^n1cJ5rO%i^+dT%_^TqBDJXe{uwE!S|~+o zRW09%lvjP+9jQ(ARV7lp>ioS(1-0y4qz<*gOr%b=TlGj?YLA{pDylvI5~-y2@=1EE z*B=tonZ(=i#Jg(ZeJ$~^p7``IF*BX``X}*iDDgf0b#1ni_)$*G^+rFo#2K>3-+)Ow y%iv?c%$*pSJ2Q7??#$eoxlgJ6nn