From af62ad4e87f84ecb8590d97e65a77d254c988b7e Mon Sep 17 00:00:00 2001 From: George Hotz Date: Wed, 27 May 2026 15:55:32 -0700 Subject: [PATCH] bitcast is a mop --- spec/tinyspec.pdf | Bin 97744 -> 97761 bytes spec/tinyspec.tex | 4 ++-- 2 files changed, 2 insertions(+), 2 deletions(-) diff --git a/spec/tinyspec.pdf b/spec/tinyspec.pdf index 332ba694738ec6132441018117ca04beab8c0975..8f73c91227403281f923d5a2674736144527b127 100644 GIT binary patch delta 8642 zcmai((?cW2n8eL~867el6Xe;*&@3g*n z0U`X5AsyxD_Vn;=;VNHWz7>~-SElOPEM>%eSy%Pq?l6d);PVuo8ZEqQB>>N4wjVscy3vdlyr)3ax%PLl|Ml?avjjxH*MO(Mmo|~Rdszj`$C!)5 z0GzQ%P}XvOtatR`$8-R$m?XE@pyuz2-ql6<&s!`1KIRc*z?^s93*sSr{v;RlrL8b0 zcn;_&#%%reRwWja_R#_Gy3o_+UJk*1@kz=c2 zsM`xnpm8*nDC|*!+_c_^Fc_|v;;Z+WYP3pK+UmA6>mh3=REhe%-QAcZ*yUb1cjrdhTaRqUoCp6gCEqof(?(4SSG-aoJLwATnB?3owkr)>#pu@TPXQ_8yT8u4%)$vEv0=)!a=u)-ING@v{;}{k%gIQR1e{7Dmqg}3Pn7HtRAc zqxCH)^opTOBSiT*_a@7OL;X)le$r*S;j@ zD#Bi_(sAZ8v8B&GLwe1fz`UCi!t7e^{lwYeyEy{4OMaCAK}}Nx87(7NZ%yWXP)b6H z9hD9plHk!Q;%sCc^?>DYo-?i)Xn6DwVz5Fl*49GXY8rU+& zmDfBP)cj_YB%D=iiRRg|MAM%^?D_7qAA zib$eVr?O#|L*tX=dR)W}hR^UH;#HZsFya9RR2#v5*0d8an7xn7ERofN;<|UuI z;YDOhMVuI)tTzx;a`BvBv)(GTp5T>IsF)k!n9^hzW40;D9!>~w>JoNpb8Ky8y$;q3 z@9K8+ZfsqbXyoMX+H8WYb^H&_5uPg1T zK7}lx1{Y#q6^!(58k3jhjL3t2#LUqnwk1fH?K^|xlqPuslz}{R&!T@v&D+L#x_x^u4G)Yp`e1Y>5g3E8>X!7QUSHDDSN}yv z43$kmmAoTN|L7C$zxJJd*U=6ptzl~@Qx%IWI;lAItG{>gBxI%g!ItcjPXxX@o?|b_ zj{%0hnmus_JgLBI2PE+K5J?ifTD~t-UGz;twGsSSZ5`;RY@WlGTn+silS%OC2QfQv(3h0-nddl$pBJjXXWpp75VNW*SWbJ`D!s_K3tDVY^;A1jL zRK}0CU!;dMGpp%(WslQp_~tMGS*;@uuX`ZdoS2Ae*b*gXwdIhnKXw1NMm8kz?SJe4 z%nq%dD@8g?t?B%u;N{r)HRhz}P8Zt=F14QeZl0A&Mxo_s)5S0U{A?PEup+28@dOV{ zk~$69W*r6dFH|oEOazW^)6#NeDWNpJv;9CFbg-mLY|2R4lI?>bFhzBCaLfPjcJ>HW zAQ7#*(!^?nUi1@M!4Hh|>^w~|ldG9ILQQ8}ihm(rYZ@Q-Bot zqhd#)T!v7A$^LOAWI#wBPlD&TwiB!*j>PLvqI$`{gT1oM7ExhLsq!sFhq-OvAL;1O znb4bwME6%`qV5S_BR4Kdm4kMrvORuV%0tG)e^P z$x2OyN>UKED9R+mxQOrjJcBxyh1cWX{HxGr464SJnkMYbg^V;iW}!kta`NK>85sbHDq^&w236#@VRd~AOc`g7lNqo4tw>=K;yXYZ4 zMBD`FrHME9=Nu9wr;&EM4SX&Y6-LuEGYH`IPs;#@I`GU~3$1z-QiA?!9V1CURr%^k z%cFKJTs}o`(W4Ov4Dei4$%5PA;80E<|4^ZD)Nk}s@S75U(q+blHtXZND`Yp*G`PM= z>Q2gIG~sGf(Dw54_xWU3BH$9K4`5z zFDdL9l#9G!EremK0&*wL7^|AT=t_g<&Z#$!o?GkD#)EV)_&vlk?!oO#E$1`syrl4A z#I9?3#Z&8i5_dmylhPe>z>k9ECGo*xxUe*jxsu7BYiN1MFn;E1G!l+z0Z4CI(#+@q zzepaF(ycMFP#t~})2GkKVM!M8M&^7s1NBNiZ6laVNR!5A=p#TP@+%{pPY4dF)ypXm zuh#~>L^zBuOGixlel5X>0fWs&th!P>p&s6KG_VuuppcM46sK>$pJFSLSLJ^A3`yy z)YBnt!7kQEL>sZ7hTRqfEi4mNkh4KdS^v6EmikCJE|Y!x&FQvmFbIb8m$;MIKjd?o zlbd>@s^kqV>b(u|wHnr~oQ~8$$A$m+|F-zlb@ej0*kR?6r95>|iZq&*`ssMZWi#!n z(PGMJR_HwIjDq=^-=&-J`koJs7mQ(8Rw7l%;kJ+hY^!I%@Cr4T+^K|^I zj3o0~*&w{7PiAwnX2=>*h2*gT#xCbr@04Fn3S^1424Lt38>}ck|J|#l=VSKUN$}pohql_1JYkm3K3|U~QtRo0e zGv-&MEFJSOLKeOLSlQ3T^IvrI>NCRCGsD9}98YQjQ{t7c`tm2<;lufHY?D)?T#+)s zLA(eG9#_0NQOvPat@@gLQwqUwUA#t+VQPbR4a|rJCM(JOQ>Tk>QufN@u$Da^oaYs5gIp2&v;0UFq>7mam&$O1O5FRdpa|jVPR}|mBdO#omb%jF z0ShbOIFh-|&Sptn%U>};QfMmO0P95mPKb$IsWq39pV&PvH`-M;iauO6G64~pB zPlj>ifA+o$!ghP^a{Tn`(Mg=q^Vd z%cL6#c6=Jj*UM~kK)js-^HS&uJExkRv*EA&9=yM^kgvH!$sHC83Oj84yt;be!ErM$UUg6((Tig3)$5| zZ%rTqqKvxv0*u>!3Z(i`jklNl6QZ!(K#uk{j*i#wdi_s6z3YaD?@_$|=RZKGufj=j z2RDzrtG{#Lp@M?Vu04&&b|Ho#;LZA&#FDLE!^16c_~}Ceknq&$X{rjbWQ1CyAEXp9OR5b zU@7_-$`b5&=Ku2p-RcnM^iRF;T<(UeRl7S)Sxw{M7csmcK)L#KYuG1S>Z|E{bSMN{ zfV<16WX|_lUjhcAyzg1%>-O9KitH(7*uDrN-Tl2kH_t7>$&88v2a8U|jUgc=i0Csb z+d1HooEFA+FNF|Y5X{Z@|9Uj>*#Gh9JDe-3HK6B{kTGUr;F`EfLvhaW&iJV| zFZ(psCsO(SDnrBDf0qM$s<)obJ2$=Hm&q%BlUxnM&F#&@oA{jOP@_x^$?F}m-Y%P1 zGJ-?ZSouqnHz6||8QdX7t}?r?k4>?g&%4$us_7YAYoGyg@yFI6%OtS$wNd~)?51HV zXvVP&g}f)7@N#vRRS)xQ@sF(!6)RxDE5h2&;SpwZQq%0Po$4vS+9c*3w=)4e7imE@ z@fuEs-O9uQ{jF3~!15)-owUJjfx?H!( z2TkzzV8(hrF>eqLGPgDO2$R^rg;|=H!FCQ{QBK6B7kXBnaW19~ z+=n`{-3%c9TeO_nP|uY|J!eNCY-Vi-u(vh*lPF+j<6Yl=7m>1CK@uFDHam#HgY$!T zBFsj-Dv*o$fRYir)H@hPdU*@pHO4~JXv|r~dS9hJT;AN-kvdDBIKn|arkP*4Xa>Fb zabv{Q!XZnPAb7}&-4BsG=7uKhKkHfMw%EG4TIV{Ii=;}~BZ6Da z)}5krf5}IcJYz!;L?B??Sbh>(MtQzNZM&L_I=<|K{nlzOG*A82uQ=jcyPi6q!E8ar+78@hstU6VeWS=%mPzr#*XzcbWhBfQTa@Ec7QcDDMPnR*GGDbZ29lcpEJXJUyf3k zXcM~A);aGt9t^Y17#SOuq_;3SQWN8|Lo#;q8c>wl7rh%8c}H~PVdI`*k>P*(75`Xh z!-Y6N)^Ph<_|3s_xIO_dl-uSlrfv-uk*-F)r5||DlLpsSue`V!Hn38^7(_VMM`gj~C1V_Ns#7@_X+9bXa!IKh1z~S>#Vm!WYK=w@t$&_9 z^^=P}>}RZuD;k6y925HU3bld^b0r=Mh|M{qt~atTu&%*bI78wCdl*{e0T~Mf0b>q{ ztdmo=FT{%@PkZZb_p=iE!V}y=N+q(fbhU~EW|Ym8E%{v&1eImMfWbQ*Shp5bdEW@oPN{ncn{M*)CZG%UB%OB(E98B>4tNiEo9|mWOj4g>Q_a zJ;XAAP**f!38#!rt^NIc=1S97nkPtwBTv2{eYsNYl-IT2s-k$V(5smM`vQzJejn^ulGR#;-!zP>LDjG9dT4f} znazZmo$m^loRqm&X?Oj-$-DY*u8$K1$uyTPpx=fhKv@jl?^-;3oYk-amjUbjoyNvJ zhC?QD2J1l$SGHunxNytVF6>3qm$Y-O5d=%khCl?lG$5R9HG*40$1^(x;@~>I`P_9o z!h;#Y3m2x3VBW&bm@+bcz{&s?vb&wODO&ZxW!ql8hhS|T2KaZEGed$v5HnyNz2 z`}-kS!@5VI9bw{$;YK&%7yo^ZDq!o?FERD6lEt1tzV7v%bZ!3tuH4C(ukP>EuP;P+f`eT zobS9AQ9XNcF-kFYH&!Odj4>Tw}9g+`KgI*O+fswwf<&3JL?LkDuX=^KlLnk!!zaA#>;S_MF(rb%(D18yLT4aQI*ggp&C;nDDF>c&Opk zM<#p=EjJ*}e6D5T6-}iIVH~5lH{b3p+4=;W#Kpi-Ml@y zEHQN_J-RV5a;HI|wdrSX8R$c#Ro$;#7!0t+Qt{Orvo30LjX7dSFOwc+_)fvbm0kct zm>4Hc=qBy_yPuH;t*oBUci5}Zem%}|zR;&Zo=0rs_xG3dg$7OnM|{^-`9rYaSp^O& z=#CJPcPupW$0|~@SxwEbn;}8;IgZWp-QAHlc?#TYyUg2SE*k^UUWQsu$$*vI?Bhy+5W$Wnk+LHLE z45=u_B26j}F(fjp#Qs}=h65Pa=d9lhWYUydtGD`MB|)pN*z{l5Y?BRyjar@mFov=U z?xDT$LmOwh@MK4V)H+iv+P=hJ-X#>|m+85ww@UVsnG%uLoeP_$gsjjZh|r{15P1F{frldV1IWY@DNqK4#FGOTZq+FSc zX^wO9StP>8XV&Kwnu*x>u4bQwN_@hYtja@3-=mOp;gTZI-U~j6ta)kvs{$>cEl0MI z$S_7t$Xz4Qo*UBrEr3MQ>td4Nl$FE4onOIBn_cbGqBe#@KyruU1*RaKuza625A@ zRonm&VF$}cj|?x@LdOo2Qf%> zpnr~a{QEmuAw0mv9X9gYbntDfgs3Ru7By5tCJID~jnoexV*|5KDDKGeGl9L7Gt((+GUp6*Hl&~dOxMRNL!oFz;y|Waln=qJ49);KC zpnr9TUAGIwCIq>5(pAR`X8!MHi!u|``C z_d;_y9E7wdC+9O`G>D4EtJOB0zu#-&qP?X?l1zhaPzgtYox07@f=*X0O?c?ti(sF6 z{NTgtCB^&^|&isHrQ) z>Mrg`T9~!r!<=YiJgy(UxL*{N$1c%vCD=Qie=2DNIH|ttFzf^07QNPjjQY}VHYFkR zV@!C^!M%G+A$uokm&)A3za0gW6O0ZmSATVcJ%TJsmFQDu(7QnPMZa6`#dsAney!l? z+4aBRo!qj3Z)M7pTnp}+prUq z7!-IU3!T*k<%*%aiywAy?$U`7{|q6BrO8NIGll|PjRNs5mWJU}igqSSAv@*9&`U;B zD0a@R+nj91Q9v|)(1>wJIt`zgZJy82uRZexrDQK|JY6$bbPAe#H4~%v6T{IslXC1E~T&jBK1rc4l}A6_|n7 zL_byfx2()?VMDnhzoV-fPhyz^RQ6A%q2r{x3i@xt372~Y))-eq+7 zi7GD5#9a%duw3vdcZ3=m;hIYs<47SN%vGnjp$h$PJc z96UU{7Cd|aD}G*UZh$$5fElMbzd68CfZNL4NIh5e8z%&0o0;w|HWE%)tLVn#q0C~6p&?-;u1E+d1bBeH_v znM?I#B35bY@gcXH;Vp91Za0nfF)AKxd@@DrT4<<5V>8%B2_U(ijPgL2hD_L=7&SjP z6x7F_RmCcPp|Vd!O?3bX31W7XWSv`Hn!$ktB(YQ1^6bo!LM_0KO`@J>CPCqSNZRmt zLVIlQePeXH7->d>I(t=AgxKK&&D<2xf!z=$E?MhBx^|(!I3Hjg7)Yvg@q~HoD;c|M8HjG?{vpEOI1Hd`FJ*!}MoHg+CNIBEJ9Yw4ATDq Dn3KK9 delta 8602 zcmai&RYMbi!a$`Pkr>_GHAc6iI|Uit4Fb|5Bu5Dd(jeUuf^>K1=q~B*`0nF(pYHql z0q2~}CzQ!2lmrk|P*_Mp0`rT9yOo&}ruWi`(NH3T{D-zHBF|$99emgTYNdoJD&IEK zPx78T2YX)?rruoAw2LRPcusmc`tmXxIV{vc!^-jK=)Rtphbum_DY-9ib>3Jfb3l-dMY}^zJIf!qCPt+=h!%M1Ju7o@r}JP;rcTwN`;gqxmvf2z zk3ekOK$bKQV%Vb)BQ$65lKNH(BQJeQWkVxG38SBw?B=PK!G@lYJzr)!;|q75;M!N~I6$qO)B)bnQGP_kl7O6?WZ!P>Z5sars)_+Km83tR2RO8koMhUlze5cCc&daJ3jk7wm?nTZu zMm>4FAJ2^^-B!Gs{o_4=oP_9>Hj5Wi^#^ktBzJIKXE&p)3sGW9q#4$G9vSjA-9@k*EtQ zcO&N#%lYgf2dXSkPc9Y-1GgHn(uK8v&}IYrV8=~nuD~T3hr))c;szC5T6@J`TDEDt zXDhA-#*<)v3XD`B+DgrzC2-MUuAX7}CV=JF4--XqF@0adpEd_+%oDEz`VrK)3H1bQ z6t6gDEfk5Ai{Us`#?~&zXI>N=BVxCnm4cYA{BBz{p5fcb&g-3gOj??j;nR*u0}%q0zP*I>NCik!MnFc-zd2`OUo_%QW6 z4x@9^mi3Ym?z<~v)Dr@zLYVjXx0vZUQ0RQq4)e5%CUC!0y#_{`@ai=)112Iwml$`M z=V(IRgIq921vbn_BB9cl9pj=Bj_*I0dGD-pJ~rWI{M)xV*aNr4OYQ2 zCpwL?G-o#kXL5lWF-ycUmvPW(i&2#_#aU#%=*g!3zTQawQC@h(A=-#C6}oYB(GZt- z9xUhV6>=YMEEp`HOX~4`y>ur5Mll;lp$8Jn3@8%N>cq{opNaggB4(JurT@c<#jabE z{z5@3A+7m4zRb>1E$hGMhr=SJa|&+XDzQD`6QRPw4Ot4PI77th8Cw|N&aw4cL5o}& zt&z#VsofVUeDOOxd)u*`bf=g`PZK};w6i)XNX&;(3eE352|u8BRP?XCmG{0H>)mji{b^iDdMOwrG{`wSXD^>%^F2^zx7RgI!FzA z*P0X?&s8T0NvF(9MBbkZP?D(*0!qg1BjOE>-wKh2&n~H~Z={*G*-C*A$n{;$xiOzj zN=~15kH+%fHw6iOJFN6FOwOynXr~YtX_e>1kK9{<>ZW20b}f7SU^tPBM))5 zkkRex+{xGWr6gW-6Kuk^Jq00yXZ|U$rJ>?zH8Q zWc@q&>aX`~b>su&EgwI{%GA?j9FZjcpltQ%dY#SBi!P`r69#mSs=3jB1DGl0S+yu7 z1@Az9VD=4{`+Wi{;uO~`-$d{+bCC#li5-_i{WOr!f=7IGKj4ylIx)ech@@=CFr%kE zX#i)XGgT^9Ot(+|aOdki1`{bnaU<-&)%b~OWb(^sUq$A)=ebs8lk_=#m_*fyx|k8& zb)yDziZw~aXzan(`L3LH+(vYoLN~v|`BB7gly2Aebk14dNJI;peb&_C-PP24|O@diz*M%^0au(w4d|!cePeLV;w1>^>%f8g@=W z$yk@VSx2O8&qnchjgg%b>QrA>!yh;NzF12}2K&&z!g!#&a+USiT!7B3bnA-DPl;QV z)d2nhlDLnd!A$iQTbU)ggz8O?z?}ZjjN}BR-m%@UZp=N)AZ2Kami8{9 z{Po!hgu46So$iarSSnoS?Q}IRw!*K~k`k4d+|hgsnqIpEjRzl;19(lE_nps*hl7!M z?WH!|FNv2F=~gycK#YG%!9hz>i*41@8JbF+4fcK%kA~vQTwe=8s^&8emzm_X`RJhj zeWK5^v-ja_Q8MY>^$m?~?a-QC<{H-Zd#$vMp1G7?-yw64fh6gD*0E@*+5>I+Gb=?( z(k3&VCX+dN-!W8Dt~ds=>^}{C?zLTiU3c&Jy_-0Ma?TZZ*ysY#@rJ7n=YV6QyKd}t zq8(&KD&4I<%Vsrj&43DT%qE!4u(YCTsAB>RUH{=f^S;$7QYF|MB0{71qZl&UT`m^x zc0FrMXZ(c>3-@o|S;-=u5uA~RCs#zMR5c>}p>@B-Ps#>^) zZb!|⪙+?vV$um6pnl`}n8=QC(fz^$rxCw!( zAyvz8r{DRsN`X+)Nff#o&Vn0U;AQ3nSz><{tvA;&3CQv5Oqu_e2i&go028%mRfdLh z?r3D}p-$CPjYJ9Pva@mDY7A$q6Y1sF=vR6Nz`6q?=&Dx~W!-dwE!SaXw{T>A=W5GL zrzEhJQ<)hWJ|%if$ollOfsx%zZ#`rXt^4^ic1uFl5qb^32io(Y2oZy zbKLyrpBwXHJr^m}3($o|LzTMr99gW0ZPI+K5BG8z+1q(;h~oZ(z`=7Xa^@It zXV9HszczfJ5vZ2CiWK=l0Wx1s+7K_ZX!plrQecORl;xLqft1~)+G61T{Az@-JmX#l zJ(%dre!W?VWZ%*y*nxR4X?nm~*1HEUUEe|%n%W&Z{;LKQwGOXxRl!4m9bE3JV2pAy zSRTYXpsSbO|C@>VJqwrq%*^W)s`LEX3{(x>Dh0AgjGM3u7KCISq_r&2-h2FmfE{HP zib@*cq(a95$JjgIY4)HQ@Xz?j4d$$1zn=$FZu`2YV8~RS#5k_~eFx3Mp5Plo?kXAr zPmf!L^ zuWmz&jhv;lob$5hS>=FF&Kbr2`AaZ0$?HXEUg)Otm)DM-E76z$82oJJX!)_7SNWbj zv)?4YcT>G12mAH>WD_PBp$=^aqKyj{6T)xL_dNb?GjW;;GR0^_2o6-Ak><0=W!lHMf7;;#B>N{`+q8C`daN_ec5vV9O8n%>_vQYRgrUjqbxIfpXm5e{ zSDWP@Wdq;M2-q#w4s0YX08i(lq`woHX{wSZpZuITx!F4(jl? z8n1>@tFj#Au?z8KW8bYeuEU(dojQH4&s*- z9ID)qH9lgJpIS90#SY0?q~fx%fzXcWP7!G-0D@g zLh`xjefWmZI@Wskz%Nn7ytcHfVNP2nD;ZM)t?0`It!{iPY~5zvG7q#Q>pEP)SQU6` z+UsiOzc@F%JR4|p2ycYD@17W_;hM0KnJ%we5wYChPsevMvv5+{vu_0C2C5W(Fs}a5 ztf99*w-ydgw=>xXY(8aWg|%k2W>dQ;_!<2}C;o2UvrqyiC{~rGC7k5cUnyNy*Z4pO zFh9h>@Wv3YxaA*2%Q9ANAnM>zo_dWBAEsZEZyj z#jQ>bApLx2M6$s!_Em zIwq~Jsr99SwzM)TwzE2;Sx6Us7FakH*=P!sR`tn$C9NPg;XPF0O=%E$D|%K8n({r84ax&_*YyYumaL^Ce-jFc4!7PRTJ^;< zzqvS{RRk%h7NRjN-yfW1UX!5yv-2VNrKPTf!J4S`ROkBUnZj6)pwyterg!torL0vC zt!x^_5=e=Ny+vP1Qz9DdBV~9iq(zmTt*R{Lnt~cD@M05U<4WIbekG0F{5p!dSkxL5 z-a!kYK;tfgeZ?K#Qp{d7qZ2m=UNnFE0FWWq+FnuZR}c_qrDyFB-DQ`kw!0D+0ZWkU zX{V(>5yfkN8PoRn!S%yRqO|ip6?-pqRiyF3hlysi?^(!_-(R;ZB0gOf@MLrr$FgS` z;0qmy>f{R_bxm9kd!BGM5;C~zc%O9q{T#9E-gTPKU$uE4Y$aK9#Y^j2s`cEwjLaHK z&N~v2L<&@m(ZMMYteZF?nnD)o@{nkpnw7EdFXbLo%2vrrUn%)Z*Kw3fF+f2!K$*$U z_mIq#;RJ#mmTBjWJM9FGXvpVST-fq5%|cldwo#T9_)qk?t)s{bJ_cp%jQ0%g19j;U=SR39;|ysNZX4j<_|G}-6BD!Tu*C+h$|&21iG=jx1Uk(En| z%tr7m$_k-BwDinvI#fu8(1|J7b3(1^&@Ybm0 znLYfQs}z5WR5M|Zf_cmrM{ztRr6+>sBXs5Q&`0dc1VglcWQAK}r!U2Y^h2Yx(=Jf_ zhD*Uou8bg7y$@4#_|6hAd5Fpyq!vV+^^QY4mmXwqM8(O~$zpPUk&WqUgn2g5HNq7{ zh+UtkCJ@g2DP22sT_dj1WFNOa+{tY%38(yz09~{>u)#H;W}Bwz)?cx$lujZgCUn+@LA^YAoSL0<^%SlP-XCoMb+FTmz0c(yiKMf^yUm(6`;@5~VG<`n_Xfpnk%JOK&M)Vr7!Cd3B4zhEIxoeUdePil1eB}$4#^X$h%>Ub z84EgC+i|NRY>uE9wjY+@xa9H;$(n+IYPYQ~!$)Cuf_gx?I0H^~F1Q#~3dF9MeWbSE(KFWNKK z1fY}n2k6joB<2S?;lmH(Zzrv_r;86gss3deCvb;*_`CaA(}?~=IfVb2zz8E!mPxU8 z9lliif zhMuo|`S*|@j!b*?V*$Sy?S9G*V$P~&M$6;dr|Oe%673`MhKApey1HptzXEq z7jpT=r-O*2sg;mjiY(3qh4!$sd@_rO5M{LH0aHLa3I83ctR-(?&>ZiNQSpb;mkFKG zg?*UD(yE#LPS?}hxy|d@6gPQe-fG?w%whJN% zOK}C$LXX(v7NXUa&lnQ4!*=p;qTIz2d1ul?M+643HU?+wt>I_rb|Sxya@Gtx~_`rx1BB4V;RkpwRqGH5CH zM@FAK=XE0}PnUFvpoZ9c93DI$8&IapgjLx83YV62kNAJv>~h)_o8%-o6~{G37585x zgg}%Uq9)soILrz0`7dOGGxJFv%xRDlcrF3&zhR5o1|?LH>qqw+>(sM`5r2>`UXg>- zEsEkztP0X;yCst*+yu__D+{a*pIGZmJ>GWFFgQYL8t?jEpqacTn7d#bD~_lh|Gexq z9Fx#Fw#0%f*RCC~Oc#gd=P7s;V~GY~K1;Iq15YI`DDeDkQQ!0`Q}4$HzG^ds^KI-Fo%G z)+3^Q?vaChsvysy^eV#uSavo#rI~G$74m6a?Wni*3o!g6zj`w~&+zBTXNoH|`<#hM zzg4d9X)-(Q_7bL%UFU7>i4DDm%M zgoQc@_x}+npT<*@O~xJso=ro5_UVf#oR&P^VO6T%&L7w}bOpAX}DxcAkDk zE>TSmG-?#2A7mZ_=i*8>y|O5+3*BgLjErqMH0EzzVu?Oks{88uWtj`bA9qZRMH~h< z)JEEV5y9OoOhg?nIz#6}oql;e7}@+2enR=1V_fkDTKzuorSLnoi@c4|bv4ut=nHGe zX$tI#iF}(&**R)JuE)kvESWig+*d-KzCA2a!venXJjZu^g_0?Y<`m!gs8DTqexYR; zU_DRb(k*rL2Ahf|`_jxMJVM*?)#|Q1y-t*0MI_Pj+}Kt!dO?Xhm8jBgvFXI6EB#HnIdktjv0pbZ9=Nx%C|n~xY*S&tqcN3~M_p248H6j3JE zSMf3_0&LN*Dv{qm%x;HzddEhml*P#i{sfEqKfHmT3%ebTdPiS3M6a zkE|sxW?)A-?zwJp*EvGbB@s#)>e^1JJcr3;EsqEnfDvc^wVnTSxycLhg5Z`)D4enw zPKlt2Y=e&awQ<=QK@tIqGC*XwL9(E!_SFsZTMm3xi)-=&qJecwbP+(BDpv}BgH%yt zJW45@;0KU-wdp*j$crTBpLd^F`m(z}MOcegIE;-OWR&aj_uiHFg48-67OTqh`EReL zzyIDgN8a>!GT0#l@OaLb3S7 z+-;FbDeB=|9PH|UY|3Rsq=?<~4qrjFYytOyry0qPgPzzvB+C^)SAd>HGswh2$A3pO znF~FREDOks!wiOMIJVcaz@*}1B4sVqQ(c#Ka&2i;7ZHJtI^iSqo0{tHys2LN7GvL` zR}Kf;t?`h#6W+&GxB@lcJwZDXQ4AYgG89ps6l71iNaq__?zxc!g)EsSN|0zWao_9y zK_63ZAO|}gnu7H>{YI~=d{7Aefr<>4f)huNuGipQFjORDhhxgC-rO$gFz&mAE4rH? zC;1j$46%I|Eg9|;aSE%EcWxriapArk{VUztebp`{lCJD`mT!FB5sg!B2!CcJ&Sx$m_P>bKY(E4! zD2V_6-wA=m4HTD8I)pAnc_kX>fzltj*f7`ff;5ypU9~LXz!J^0SyKi9 z5(}DMlC7-`sb5i8{jn%$J!MfD-=zf!{Bx3Kc2l9_%V!Q(0RsFPITQRa1KQZhzWT(| z+&Q4y*O@F2>Q&kI(=XRh9`TP3c9c#9H`hW=znBjcebXBzzg%OBt8-6#ElIbS0(dRR zUAHqtr~#!~p@Cxsm4Y6c4T^jmF0kGqThQthJdLb9;}=} zf5yVst)o6W54bdzub)(TCJ{Iv=AHh=OyRmLJWEfR`PQo67lI|f*QO#JMeaQu_VRw_okgmEh%T;?|l=0p9lF7-vxGPH|SAu z1a)D7+oZql^ytH#>M2C0lPP+R-0Tc%PB-sqF2j^sdA3DnzdeB8k*#oz+*gY-Y|LMu zIw-(N$0c|Sr^G?Vcwa&rk*3la{YAQsC~`%g8tX+Cg4z38`Z@TL%9B(>{FemzW3>qC zY=`dMJDi6@_uK%bEJXamLno