From 60ef253c77bf006d43f7e90e7d37e0c9689b10c4 Mon Sep 17 00:00:00 2001 From: Giorgio Gilestro Date: Mon, 7 Sep 2026 13:44:30 +0100 Subject: [PATCH] Fig. 1A: wrap the two long header subtitles inside their boxes MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 8bit "RNN · MLP · VAE on a synthetic oracle;" and "LoRA specialists on Qwen 0.5B & 7B;" overflowed the box edge once the text column shifted left of the larger icons; both now wrap to three short centred lines, with the block nudged up so the guarantee line keeps its separation. Co-Authored-By: Claude Fable 5 Claude-Session: https://claude.ai/code/session_01BkRLcc18rwT2Lysu6PbG7v --- paper/pnas/figs/fig1a.pdf | Bin 227689 -> 227711 bytes paper/pnas/main.pdf | Bin 560327 -> 560334 bytes paper/pnas/make_figs.py | 8 ++++---- 3 files changed, 4 insertions(+), 4 deletions(-) diff --git a/paper/pnas/figs/fig1a.pdf b/paper/pnas/figs/fig1a.pdf index 62bb607415e10979cb06632e0b78f272ccd9a39b..1418ee522bbc24cef7376df72a65bea05134a8f7 100644 GIT binary patch delta 12274 zcmZu!1yq#l^9GiXE)kHHP|59}OS%Q51!)9DkVck9Kmlo_TS`hwIs^epNdaj@0qIhZ z|K5B5_g?SrZ_k0VXZCyFnR(`!XXg95M|rVFSrLtoj%BNRo;qMw{6pXe@3eN=_)@xh z;~q^dtPBbV-Ra=DEdw=6Xt)pBIEdsSq= znk3JP(C@@=mf>-}pN|e*ELm(E(d7T-`bk~qIsdwS=zOLW>xH-^+q;$KD!xn1tl}U1 z;6@I3iy{gt+s_yu`1--#_qJ*KbIy=PO-NoP40F>(X3mLO)@*D zI(`e!%8!^U_}u0`-QXO+@(e2aBeRK$;wLs^u*!fLd7KbB{Psx6KEc02WsoPKzi)-UAg0 z+P(s9>klv1VnAVu`#h!Z4V6_npZW)k4${SdNdoxRvf7-gimnGH^4n;dQzel`cFv#B z_{S1-3$a;8C48>fTeNsGlXY1}x#DS52m%Dv-{O;A7L8nrc;1J2e1%!Q zgDittSyiZqS_|DQgi4;=GNcVUn!y$Jy37yrP*zPAHn7F{=^2~ExN*@h&k6IIWU|5$ zH-JLHW!K+YIV4L2AOa=N!l+3ISbUK;h{Bujhpsy$jO|s-xD@FH2g?u}-bkQ)`86I* zsdAa9t&|S(OU>UOj(^W$FdBk_k^#dYU8M!K^#LGnh5}+(6d@?PQhj9py}%Fc%DYl{Vj|%k7x1ZN5Z7ke?>g zJ`=2bm&N9fWFR)2Cyco-)yA07L@dYnv8dkI#*`1&yST4q(nKqrQL1!#z9c82Thf+@ zd8(MrB3a}z4b)_yiio2Ygt8o{y?wt3J?B6>mAOQ(%mcf?#fboy9=wFltE7VgD%U> z76$NgGW;Y|dnbv1JzHHgx6R31_j{bZiS2?@UtV=^8o%GXdT%C3iLQz{h$ld;P5Cjs zqc*1n4M72gY&*+@!`-&pIpiRZ~F^e^} zOVYYZT}I2DN4kTHPz@Cv_%TN*{l)6-&TX+0Yr@T(v~+S01~k5{5nn)f1dWBxMB@ij z-u&d?@NY@Q>?mgHixL+$O9p7gl!bhDJI(V{2t#!{n6g?1LR2kN z{3vW+oL3ke&u{i{%A1EEVl?W#p^DhGIQnFzZ73Ik+M8UXfZ?b>M7)lvYnz0gYPh>@ zH{U1iN51|#4d`Y!`G8<|!ZbTY|G#gU*K5~A1--x1$1H#4I`G9OQd7cYWRL@(gZXk3 z?Xz#m0P7-Al{6Xa`%4u3p@_k2d!m(`_;iDu3th~FN>^mQg$pKKHJjH9*uMO|)>%f& zD>F-X_PQP2ghnT8y7WV`5F%Q~*$(YyJa64FFLZ{hy$Fr!C#w#2^DFB&*bMHBAWNO zEW!@;zKYG_!HiFz@-|85?Gp3q_`IVFpfOX@>LX`TniDR43Bq&3I+Wrq9Xk9~ z{_|w{09qT)dnrHw?Lv48Tt+iFssnDr`6CDj2w*pmyqWg~$Y0O%fwQ|rJL+zy6z8fZ zV`kVkvBAW$6Tb8cJuIwuKw1>xBW5PaEZKyZJ(Z8ri9T+LAk{c#r?~r!v9*~fvAy|% zNwNjuO9nNq3W-_DZ{uv0hkx>d=s)Ck(Xvf_OicHN`i#-fJMY+1DLysx^Ea6!w>w5 zHbBKu=x7cv9^pqF#u?|5$n_C~h8(g?e;qaxl>11ai_XAvf+xzc(4^N{uBC-2-cH$O zBE^%{0=%H%ZW`%P^7^z*f2N?&O*tXMU9R%XBuTEB<12fqRu&6Tnfyhf<*M;nHxp?l z*I|hz+g|0b)q5!!hwOQQG{gIuR}x+Qk!9nX{6Ri}1H+3KcQ!96mCAewv}riuf-hNB zaQPG9v!c&duUL1AwI(c&NBZIKbcc|2y9IQ-m+mVj{qUYS|Kjas>Ap_=n|H~Q$WwSn zr&KG#Vr-uFn+MCq7~i~Snw$V65WKNM8Dl{Abg`);zoLTCP9@|bq&|ZdFSLaC<$$|2 zF#EufXPDINl)oh~mIF?&AR^1P{l&{lB}Ra*8=qcQCJJy>#el*nhv_D9RTc5pD!T8% zG_u7??g?v3{JjNUKPU<5k8b}yW)ZVa#WsNoeYVYzre`HpC+kE}AyiQoU)|$0$$9Z( zd93En*{1mjZ?qNcjP&)@IS8i>}#>;dtM~+yR@#Vrr&fTM~H5_c3VFy5;NerA`!$6jr!JFkiL2O0yL-&svryT!FB+J_+ZKrpd}UOCXo&i9 zHQMcf?u8-)ygEq5GN{PYMp<5f-YOx^<|rGU8leYV(Z|mexu1~29qFmgeQq9o&uHl_ zcm)0au?u(yVYiUWW7%A1eTLV+1lZ@}&7w;7iTq?+FRbp=6b<$gTb ziv%=kMZyUX1yjRQO34G=rEiU-1%cGOLx< zX#06?GsU6ON&;!94|&JRQl5O;Wn?iA1l)i2{EawE19idDG*hxIw@20{vx&ZuCv_Lv zyDk@?b$yOdt`b-~{UgGcsDy$ol2cS@iie?6;^2fhgW)sn140vp#OvQ;8bA&zg`Ocr zU`e`yU+$IRD8f&MH3k-=L)rPGLlqs8rW221CVtxavGD7oLbD1p{jv4(+*x;G^h#6NjCn?#=;gBS%vw(!!$z~`{Ro;kTS=Ut z6dk$iLS?xHy$EObdbT^Mq&s#YMaW9e+z(6E1#FN2=I<@hIYCq{Ut@hf%!N+`zD?}P zPA(6<>l~JYADBH}f%%mbQ4ROsc@@QV+80NA5a&Q5MHCZx&MsK6mNK}pqXCjb7cPb0 zytVrdwMsxn9D5FypQCwhlrZLD{vVh zIi)|!!>zyV>;2kaBARCBSZS3MzB|ZXzSnaD@3vwq^Zp|SCkfP#6C{WJ$ZgQOpQp?H z_quNx^U7xE#AZF4Cdj^HdE|*eqgT3gTx6#&KO2}x;$J`1i+5^!xn2PL0b~P^PX(RE zCx%vWhKN@zyya_G09SkiyiI3+r%XzpHObkvwm7Qe?;mWj?zRjJDx!Nva650}`~J93 zja#}^o&*J3t;$O>B@3DS0L~tb+g;YFMbkDBLSoc2auxSv%Z}~(wDB_KOwewRmo~l; zo6%2?{ zO;_n7bs05<VNvs(&TfXcFOzBWKO z+NH@q5|C9sh^H*uQwc99fwSx#zWZeDJ1tl3D*uJLDL2;2Q6X)Im9pkFGf`+D!7~R6 z5l7{fh>8dCZK<62LWyWCqkvWWv_TKHd{}Q;9(c__a&og6tTVAVU?GXV#vWp&kyAKL z#ienpvtYvNM|85QS4V&$JymcbKQF64bLnNrf*Ky;iOQm#)7+)qIOk8w+aVwINDTT% zj!YqTy<%&>M55%`zi%avl&pIwnI?(v{4#Ti0N}5N5L&8s!pY|($oENSVJXRP2<)!2 zu$Z_Wx3F*KWuMaI#kz2zDYJLqNp*Y75{j5h-)466w9VZJdAiNS8AMr8(iP;n%l7z6 z8+E;~IbL4}vHQ8jF?r*0XZ_^Z{vkbYTSr`Xc7bk>UX5|(? zA806!2@iTScro5?tVhqK&kJ8{gU9b|Q1@l&#xv2~^{ba`*q`HYe^evJ?-diw^dRMy z+KN!ps??TnKaV!Y>k};pg=b1JuRJ{|H#ciQfLc;}%J;-VhDFa`-o8JhsyVR+_0|^@ zb(z?eR4twH66O*ea{v5c=4n9ZApC2GHhZ^Fn?c2hKb)>!MjL?s1a959t_ma~jMXR8 zJmDe_)W);PA-Vik?(w_!%x)vW*P)_B0PaCNKbfM&#hA7#nQro$sTMq~tXpmdU{~WS zX|*<0<^nz9hFcZy5=nbZ9X~iPh02mL^YdLjKB;*UEjW6-aS|G=|4!V}22~egUUVY_ z))1&zrlkt7WZPFpC#})l4?67M${6K%Z}XAJ@!-4jx}5y zXZ`FvF0AoB|JIVjB>(i5+_s^6j-1!IYnb{?&D!S7(lUOcShKdox}s_i+M0ebpTtog zy$wowA_TK=XWm)?MN;GfsO_R6T$gEI5HD_=UJ%{udGqZ^zhl(G;owp!skxee)JqA! zPCIRARVv)JgXdX9haptpCyR)jLd6gh$?FP(NwzcEr(y4g^*M>5zE?i>hY{@c zgwWa;TqlEB!Ni9sPQamw1gqbiNx}heoCgyaD&(8h>{o@x$IvQMW@?~yLGAnrI+h&M(jn$p2l9BbaeEw z2{h5VpF+@Q?bfavsK0eimoDqC;Fm>1r;Htj5{r@`J^!pA(};=&LD zPnw#|1_U$T!=zh!0*2hy&JF3`Z}(nhet=Fg(VDNvmj;V|AE(P~#AVXUg@T{lxDTOue_F=E;@vqKTiGP6mp_rr>KkqL1Ygv-?>K=0d6k4sf+nTm`2*usVV z2x7_K%&%+$7mbv>#wI(?8QEqcN9&gq`+b@$d@c2--m-DAW)#ngIt_ggy;8D1g?Sx? z%vw$@E-o53Px>(PN~%={C0*-fAjU^Wos6{@93eM~KZy@HsE`osZMBPdhQ_2s5OU?Q zId<%D>TP8i&0P2IJtAYQB6k6OyWcZUCPFtqShwXKdTMm^M0qc^@&xg$y8dBpSeLDh zuXRwTH&42l_*aVL?W@g|!>iDZg5ZVMJEQrYdq!$?t*^abBU%#VsXo(gskwVYc)+7(DYx5)Fu4q{3f74C%Me;89mUxhnAHY?R zy6_9)%_qA|aQP`SdF6;+&(oiLXt7~^icHEVHu4Q{jk`)+R;N)eZT59f#(w2m7lEUD zEkhbn?Arwrn+5utYi^r-ueRVdi05RT*WL|*(q4`}otveM557%;Swa&lwH%t0 zd_ckh`8B4GZ!CVFKH)3WzZPs#`>d*_zEp?3lG|YJwV5lGso}Rl-In%(y7(v>0;Q76 ziQp6S-6k8BmpQcaj(O}a9czsH=lM6QM+G-`7UEOKqU4!sSW<8*s^Ld~#2GM6{ zRP##|>z*4GCBuF1cxFaPT*TsAj z{U!RACiPyy)l zBPIj8A~V4piUIp3x_Sef$C8C(j^?{>GNuf~War|lX!Cs^sikq1GMR=@-E!RS2iKk! z&+*@1IU#lLj;JUcbuB$|f5u=qmcX58jfNcL@mIKuy&4Jl>Dn)Q`Sv%X2iDI6_7jaE z`m+Jaw$?GnX>_6zHH=5@k}q=eWM@_>7AI)gZKug4NY!9e{E3(7A3O=yCUWm&^+~tR4)Gx+I^uC|vt*L%Hs_v4J-XXRZr^zD2Ggh(|W+eL5 zXx}n^07|O=BJZ8=N&FB}{*Je3M$;CpchRo5Y}^|b1%hI|xHA?NeB(GpR!;PTg-!6C z5jHX}MEnhlmlfcoCuT`CXh6ZFm!jCzTdQD$LHF0)c36I#=hlWZg0QA1!mrx7MpDfT9M-QTFiexqg6pbQEz> z#H+E@U7d|vFOIJbCbdeuiE6r%|IN@>Fq$k;?q(E`lq9%6;MS>MebLF(v&oN3yd^yn z@7WZ|Q!WyEc%(qP_VyAc>Y+RS3@nG~e~c zldpMg`(`}-7R^u0S3!2@brDaUu^gK!ch;aA>iu7KyWcmxpBVo1Xn)K+qjp>^esg-h zDWx-uEgRU9w2G==v)(XDZE>agRvS5bAa59P{wae$w)*9gY0l>;NO2w?^%3E|(bxC{ z7kRctNcYvPl`mA=faqXY^99@MT$g5`nZx`-L!pwnmTI%l_RbLmO~WD3Y(8XOS|Q6M zp86sk_%_>>uknkAJ9$Hf8QASOj74zLZ|^kkE{VIW3iPnRDyJTdb|pPs)|UGea~E zxZT498XwfK-fWz$UCvmD^10jpfE^fLS$VfIa?ML>NOUgSK;2N3eudU!{Y%Jpxw8>_ zIo!ZRV!G+o-YcntZsFpwiaCHb?b>oicvRY_TE?dhX33U;J`l7+R9|A)>rP0w1X*dq zQFFlNUOQqX+8a&EYUeb({z_Dj1Dc-srJh{i&RD`c>%R9*1D%!u<1g_I%j{c5hvjSQ zVk+>x7G{nyvX^e2;mJMEDUY8;atf3<-?+2r+0D-yq33x9SGH?a_vn7Xrbs+x_#$e? z1QiP;U_}hnFYlrCCyE{2Pjba>OuztF%5ECBC)-JWE=JUfyRA?#Ju;NIrgHR=oSXT*gV$^?%OiKOqt6qorA9w zE~%D&8T8+K`@F7;lDOo(ag(!jb{~%=zhHaM)g8K=@!P^AAr)+mELMC`kHU*BoNz?b4jlcOuaQE}c| z<_`NzpHqwO|Jbh7D+e$|!wtsuNM3b1`Iu!FxLe0lo$D??_FIe6+oZVtfFsW0?0&9+ zNXht2?kh8$qWIlRqX(8_BMQgnp6SM*okMQ~dz4!D`o%Olpl)s{Na~h^C|b_rY;Hks zuJM>Q!*6C8^Rg$xBz~T;QWAGx@jEe0Gure!yoSYjmQvfSHNl#AAlO6aT?u*~9Qn;d zFOuxXq3+{w!$3C+UQu2jisEQd3V!i=uCnln%TKr2LA5NxQs>0qKW^WXN}oqZkas?$ z;Vqn(Xc22iyY658Y<~E0ZY6H6#Kz-c;XFf5@@zQtrA=Tl}ug zw^MJ6xHQZ+&DNZ243UdUsBb(rtezSBs%Qy=%xMG`%iX4G#cV08;fX|e3SZh1_# zVS4|tP)ocKI$!hFL-DXR>^a_#TuPd$H!a8~Yd*oEPln!z?KTVV@qc=FtB>3u$)-3w-@@Kgl?* z*Yt6I+++kOSWpCaSOhmd=8vE*f*Sz41%Lt}NgZ|o4Kx(N3H;;3`GAw`&o3|p2n58n zAyGIsFbaxegMeVTHV7QchH(V{>$#+8djJ;!7@1UM58y?EfY{L>pfC{lzo$Vk7zB*v z1%!fvpjb8_2nj-g{(BY(LZA@XnSc;b#GetOe}e&pgdwmTV=hENu@3`LASe>c2@nOr z4jKqV!C|;(k)Yq9!T1LPK|m1ncjI3+FcO001O$X3ah?MKfjB6D{s%H37#KSk5D1CJ z$pi!j!LUmL0z=`rHUtU>Eet=fi3EZ`U^qcT;Gn+{ME}b|5Cj3o$ryqH<6H;@;yQss zP&g<+;V|qnfuN}Wa^?^GG04ENX$^uwkvNAjeS#Ap426pz90JEd1`dVc+TbuWPEFt_ z2oBT;5D@1u0*r$e1oOdu4g$ec8H+~{F!b*(LH{EH5C{s64K)M`!-W+E`TOucXF(_! z&RGx&1;nm97zoDdFbw`+APj;XAsC3j$rubo;y3|g*pFQjFbIUewZU-63dV>42#o~| z7z~2r1OtZsB^JMF1sIIN4H^Q(bpiq7NFl}o{ad8ae`_!p!)hG3pkUl!pl}d2Kfq7~ z3MXS281c80e|*4Ta4Z`d2!_FNY7B-Uq1YV(hT{qi7!HD9T?hoj|3^9DNH7kn2rv-J z`KSKvC%?9fFLkV&jKMh6AJ=F;?y0}+Bhu+0YPwPG-g8M zC?*7iz`zgu6aRnu7y?4#vq7XRjw?xo?Z6FXh9Ejrt z21H-{10!*W1p6Zutmhzb z6t3JNfH( z34`G{K_YO;^*^>D%!I~KN6aurVv`#B$E3wV3kpPoaD)bmX&&qr!-yjcn+s43s@O^h z1!43S+X)Dc!+s3-fBD7a{}24o|3MHa7!1J{6->9|Z~+QN;-CP<^ei^2Pzdxt1pX6$ zCZbK&@h|}G21szoiJ3#DG3aLv)w}B zm|2buKO6%qjt%zziuv3AhgmUk`WOmF;Rq5G^MZgwE(8omke~?6YYnzz1oFR~^9TM= zBnY=o$iMpY_x8kWgg7fS6p1^CFv}G#F)?!k2L%)aj>#Y6;&&2aRw-=pfuc~jA_W9P zusZ?EaW_iJe6$Xdlj9wUKyTuOr54FY44hF{*9xFM_ zZHWIShru5P1>uMV470oAWP+&^uI>N(_%{S$nE8UOj+pny-&OBV$YGcd$O=0`4Ei`u z5D*+eLO?N<|LPPrMEoWm~#+#d^zeIltn3haA?~D{# z_&u<>k@Ath;l=d~(#y2Fj|2ISRa5WAwYyxk2ORNzbQt+(u8sU0NEKNZ5qJ*%*n-D{ zN5JEIycAV+(Ng;4WGiduo+VY|#6<5y`S?#A?L&I8nBT~J&hK6AL-HLHNu8!(Q)1vI z*V#K8AUoLzkM7HNmG13>?bEf(Oy}rL!4hSreOUMR(Tni__p^AL-J7P2;Z!u-4p%wE z;UU{Be1-S=D3P-5oL|0J3E7Nyjns`B5&Kqe13Tgw=etKAPgA36m*v^vFLNq5Ql4DS z&)TLCEWMxMu#}m*Ac{Ad1mET(E~69V;@74N0qXA0uTZfHUM^&lAR!2EFE^-*j^oZT z>(Gpyz_�hs#wteyx7nT}-xpe>gOx3Qw$vu4QmuIfrO?xW0}^bLkZ;**++ujH*cs zaiBP+-@8Fv+n2RiR}+Rdy3ZcXpP9AW7X#|PW+EhdA}!s{iCn36^CSP%f06Ia-TCn@ zPGD}Ydd}01Mx1c_AtkXFYt?g}aG~^WU#VHViCn9tk9M&&Y+kwxeVjz9>3s6!t@=9Q zwYLn}yb92E!@0}S5}vx>Umw9+2uKhf+hbZC-;|j&u&fC_WE(8Z>h z>!O<{z>p`D;6ZX78Vwcl=3}0;-~dcZviUOQ?U9RABCANyB-ste3+bpZIblcLZG`ps zbmX68V%f;fmWu@$@Ag@C_63F5Y1e*n6Wk-;c`$IfhmQdWV*qEbD1?Ul8q)HA)?16z zDK$q78z?D0P>B$|#Ld(beWqx4S^H9lqBKEaPyRwrMM+i96w`296|W^=7G^WlVOKnS z*-B)e9QE4emUs@CQz?W;b6#{KOFf89`hj2q_~lI6SXg$}Lx$jWsB2I-)j<>3g(JgjX$=3#8LQ(uRI!{~- z=#sg}6FkW94QO%~>V@iIlV$KwaS5DAV;X+6MW+$=WYsn1`aE;O9x^w62q&*Ms|iS{w% zyqII?<_>V_@#J#hUw%(-_4h4@*S8Hucy?1fNgnr-YZmw@u;2@hlOS%~S7 z{AqZ@1W4ubScZbNJP}8uhoM9W_oQ|9Dq#MevL_Moq?$CHSW;c3Fo?k6vur5T?^%c8 z&5OVCs$ESC=bxj^m&fkDD0v>9!fy2GY5ntX4Vx5(E947AT8WZc0%5M<`Rbu`@%L#5 z3e@epC9lhcdl;58bm`HzgqBpx?kib`dys3Ar^!#x7G*OSIh&lm4c8zDLh+83q!$7F zTDu8}FtrgPEnb8cB+Qk+a6B_1`97^v(R-_W(n-$n0z+R#&dANnP!rpA&q4d`o9$a3u z4T&$u$z}wS)mMqMYT*Y-om2GoFMc9^4YOK0s(E)rK4ic0 z$v}d3k(k$pT!QXai+uFEn>C6&;VcZvy9y*0w-l3ylr{1q$t36&)qO)BEK)!1x%=&M zm}`q%J>DWQfrX>myTLz~7&m8w2bsXD+GoE3&9MV)B3SseBiYw&M2Rok0OUP|nRrGxC>f$ke z>VdBY9^H}R8*5K!!pNKXcov;Vsl&**XM=j*cIKzSonPm}7Ke8F+}-cndwjndsk24> z3|}kFYHC93yUwSb< zL9Vfh8QebbUAjZmWa>}oZxoMgYbKA=A@R?s`N&~>5^*VDao2&#chQDVn}mZv zh^_xxVVUSIiK-ZRkH^hLeUlkVSYg+>g83*JUiWpvHxA8^bX|W0 z!x~XlAeW{5YuXI*e3smV!#!z;zyK5ZQb@D{Pd`4jfEbCmUhD-zQ`4{?yI1WST{tak za%JN+)xp~gSD%Iv1=-3i$0FxDR60bfjkq=Fg4!cHWy7rD}9f`+bm{C!+Bc52#$K=SBO)ys0Iq$8jk&3*mO%nO@xkLCafeVfT@RK zipHOnR9;ms!K2enPp|M@qNT?x(=-j01!xlXuU+|S%CUL#?06+4n~o(MX+@`ajj^9* z<_A7MZ2$OmtsJM@MC-d3n%6!?P$tA#r3y-CahKrBmKZ^ z`oTz1hwkxH>t}DXv_fY^U0oVUyYBd1N9bGc*SuM~mhtw6t*!a+6gZ8h-IDz={ttca z4y0wzV}7WN`p(ndAMtDaOoGuiH}BqX8D3c|{guc@u0t6CP>v;=a$mQ|&fu=ffBA^{ zer@_jXB^`^S>20tfnIj&J=W6zE^qNk1P0%8YLN4rr9k6Qm{ezX(JKCvayOuPf)o_wd+xSlJ2JkA?1d?A;1u$d!!zGN=9G zjgH9v=>@qD2LYMsKO9QSyEA$=(qdK%oWcXNE7PAvW$2r)dIg;_umrkIWNra8w)1&j z!>>x|=^g>o*M!Xan|3#%v$HAvKgKE4d$5L(M7s>ue=a*&?Y&(iBRc>DnYU%i++2C2 zS6&n!3|(0gdGGJJzjH^nJny+p%;8>tT5s&b7wX~Ch5Yhtb;MUB`Zspm&IY0jzl7Hc zvu0FCTpwFs7n%!!cYdK#zF1@nSm6g$$Bd8bG8ZI}GMi8Hr^}KU1<4`b=A(qI3HI5; zXQcJbDCiPERIOX24j}padR8{?-Uqe$XS}FPimi{z?WR#Rz!w%PhS7bQxfPS(0)@|M z*4VFFPm@lm6(4Ym!zdQK9+bsv2U>j05xozV&mdgKbCs`Gi}U$dSNpLEh$>pz>Hu9F zn$~mW;xn&z?BFI2V|z;7P!qR4e+eD{sPw92C;Br~2O+|ryL1{@W-CXwH@wVKNb?*! z;hS>%5P*hNM2v}S@lgv$+?KnJZXyK- zYOh*F>LfOF*>`o@mJ5ghMVDZ`OzV-*j+T80mh2MJ5I$UdOGii>M2ypU= zUpooCXP6lK<^f}Ne(n@Jze86yL@#bJLOj}>ekzW^mytiG*OOXZv|2h&)TgTu{<@+7 zqHH2Ny-^COom?!iuDr+%w`+U$e3s^tw$fO^U-LVI|-X#|A&g+#{=DUTu^_eQ}UAaL{ixg8iIFt za#|9sTyD)cT^;)-m-Uz48mgSzwe5lYP!P^$Q`HsaZK zDigj}T_91Sb{aaVe0BxQK&NUZEd4l2j7%9nJ(^p0jYb||Bn8-S*RZmGyAXR1Mfj7r za4Yg!*J~0s_u}3k#32OYrQL~YbF~Zg@Fe0J=#>WNDDfAXs4W}YNJiuZ^#NV*+ot}i z%>X<67R!Dlf4#^G8?^JKIFW{uaCt71v~z^nd*=0Yoma3l6OM9Ax5MN!IYdTwj@wS( zo&ay+aK%Ny$4j`wK|uoS@sUWud)ikW0vNY!sXu#oKxwjtFj=S%3lFHjtfXV?)BMY} zaqnZ%&CR%P-VfLF4=Cvlc~$cx+{wROtt3E4p1@psXlG6*Bt@=L5*k%9M(Ldf_fAT4 zR8?FEzPtC~r;QHjr@8$opDA){+AP3#*W;d6p@sRTyqQ3A(3;GUwzp6fuvIO*{QAXV zQp5E^xpB&wUBulVSMq%P97pwkf!7Sx>`F`b zwEpYTPCHE#zUoTzclu(DuTobnXzcHLKdzkPFI`?qa=*X^%w-VHSPiOyHK@{zCj)Nt zH^8dI3MRe2d4jXn-Dyq&9UL=E8K{k(j^&Wg%MTrC$Ag!q&I73k68oEvY`LBLp(!Dh zuxbLyt00YKr{dGt<=3VSm%q3B{LEeZs&^@EH2U%0@~n^HnKihc=>b0VvtF0&+>nzy z*5PbZ(F)Y20QD%8uuXG(sd!y=&X(E#y40kXw;Y_pgj~{-XuDz(-wf49$Msyr_dKGS z>nD=x#)+?{md$EhU^5+siz+$gOuBmAP9_W4T~@Rzk(kKq3~Sbv)mT>X=ZR$Hj@Q2# zI&24yx#Z`iQFd6mUAZN07u-y4#=duMUeKCsK<0W&7Z|*&ocP1W*|s^Tpk)8ep3Lp; zcQ(I@Q;#RS4XtAJM{pq>*!`qsbe23ZS=i6e?qoZA?%d|OHMeb)1(rVmH35n-_+;6Xp zN1K-_b0`ROf7z@pb{4o@Ky{^YB1puPue$YJVc2KfUWLbao^2u;v{;ISdZVlengzC7W1`d_T>Ua@ zk-M7)pr!rvt#x)tXvg{~SIY&pN)VYx&+{M4wf&~XlPi8k29k6M?zF+3(C}eHezHrO zR*aFW`Od4O?`82dUl=zfSR_2uvy_@N@_qc%r_HqyIy_zbT_Z6qwzu6nvp1+thF=!C zB+9`#Mf>%`qMBnz;PhHt#Fgi!NCBdI5ouR?lYnUgw^jCnRoMtcZnJqyg$+;2PkA)M zh`8&WLwc`b=$$CIAB_7R!fI#X#jzQu)u^A(LTo?&g!5T#N5|Kr&<_*WAzI?^Zq^=c zjeTmci$M!MPIn^jGBPSXTHPVb$Q~wVw7SXr^oCV?82ya-w!N8cl-IMW$3EHe;_ad6 z)F@zLkHgHhp7zo7No>T-TB%e|P!gAuXyhnKe|*Hzh(x1Tv!Tg?Cc>&pv5We0R(H z>SiGGvP#B}qIm`t#PIz2+pV*Z75dk&15^lrhkf0Mx80s!r}%0-le4T^f10w}r`C-+ z9TJkr7+sF}B4P~h{v3W_gWxGVVb>SBFvMcdS9)#2Dwia^?%TY78<)()U7;7C zyzH7&Q4S3qai|+hHq(S1LtB=3$Gsh{Spu1UaE!A5?k|elyHT|S6zdTgzZ!-kbM3{F z0kiMRH)A!dgk4y;)SChjZLdpG$a2N=UBs`HB||sJj2a(~XI?W-eFaT%ul_2o#2t<| zE)r2lC2J;KH5*yv)Pv+Gi4wfAIknqJaa<0gl#)g*3pVi4M~X+uw1a0*jPEbD2DoXz zgBo$Os06C7+EoP26wzI~=au2_ADFsSoaE2ONWuI0EkQ{;YTJ1!DUA)x2zd>*blxCe z;1EL-i!sI%ZC@2mnqw0NmLDnU(C!woAK`uC?w!3pKQ(#h!ZJJ=Fht-RjV6)s4?P+c zbczI#a+kfzrdw$jw*}+>V9hbrf^Uo}c(GS)i>I<>jS9m#Or$F=Bc|eY4+~rrg)KQ5 z9mzzMjdQQj&mEV>y0$qt4zi`~oDL^e?oJ1LV! zIC*1RPccEWbW~)-p6RH0z4TU0cg8JdtFt^Pk%YmMLcz&uXXbPLa3l5dfue1KeU5Xs z3iV;rgY7$S=r++6NrW77{5=wLTnFJ`O7Eob6U6I*4+0H!ug0}Jv$MLS zHj^AV_sV|lnXzHus)=h$ zmHkb-S5IT9A>m7R=|rqo6K}kS<3&;s%L=`Hy**b7bb=;wfx*@j^ilI_L4culK5`wr zZQH$(0$JGBCISxlR~ClBCB+l_L5)cAuE!&}O(jc}df%#-{-BU07Zj zk|(!G&vx%*8l*l2>l_>I(Jpr`nh`mO9lItrg~geQZcurtzzP-Gpr4&&YRY67iKA&E z&&uZ%9R)h)RCN8y>m_TGjFtP*pW`DsY_D-$JTRPc6zhL)@4hW^uBq*_Goco`+Nzq` z?SI@cXgdasS#B2;E4{JXM3Lw{O&wiQO7MGJk=wAeQqn2yTJ}U}wyxbzDoS2T!8%Z4 z$jeGkZcV>5*SVw?-5qwhC-dd}g zKBM0^m_21$?Y?c%PMcJoe%VudKHYh>bz|deO1F;0Tzf$BI{WSUHs8w{-WP3*M!IYF z_r!v;6H=r^?cf0|^|}=2=k#THDecV2^mS4+zt2+mF zdwGNTXJfaUi}kyGXcd*x9|Z_XdOFYDiL>m9jr*IGSy6#MLn5 zzooMFvbyH883#vYgQv2~AlH+_7WK(9fk#cmeL$Ib{gW2g#5UWqaZUM3uAjc54HW2e zLxcDkc!3+kk*UJ3&abAnT+eCS9AV-U+LEJjjU(gt7M|EvWLdxSwr`23iS%a=lw5$tUUD5~z7p5rrDGI@_#foj>4j z#sTfJ_3ehchSTV4S8H@c=rfAUUeet1^S`jw6ecXXx{7#K)@PxS#3-r#ts$)BjjgZy z^UAO7{YI@cR?_dSt{ZdZ&@^uPMLd0MW>Vtn|}$agnuY zgSP?>W3;B(Bo#nS{cQCJib35rLdCy%QR${c68_n4;Aw@T5*>^cotlq$bhG5Jhk zXJb5Y`rAC$A&sEOlAaI2}`;1TbnH z&Rx73c>446;_AKcu`Cji-&Od}KZ`^Lm6OP$Mb<-q)e&2G?by9z4ar>6Xk2g)?Yso$ zKD*E2c78MdB5?0xH`q!!^aa$BN~JYokpVSU!2I(hc5&@4s{0&Yc*E5#DU^?k00|At z;fu=Q!^iv(H0JOT!j%X?aCF*?6QQ;P1kMBc{o!%rq4@I$90@|9aBN@%62}HXLU3(p zD2@#ZhNZ>cB9tTmA<_nJ5el$?P}q+mVK6i(t=^ZAFYVlykP!fZQD6ib>n1P~4abfG zjD*2q*nTKD9E4*-L$J?+&|nAx%MXNxpg}yq|3U&nBcQm4k!YNUL0|~34T1n;Jpu;7 z5x9P6)IZPxf7JpE21EWa{$qoKu!8}EQ8<}^Az&yr%$V?CxHcpb8!Z3~L4&bL0ER-L zI8j64Xlw|P%yS56pEoC z7FMMf=0ie@X`hL2(8a6oi>#*nVKp|904K{Gk{f#d#Rh5ZF;e!3Z4qp9 z7aRimPn-O!OE9?LZ~=}Pi`Zm^Lr^$8fo>PhxZ4mE4f#hMfxnkQ zC>oBysS_HFQ)A31#}OKg5aRSU3a{&fIVNXf`1OsCl3M&&B7=gon7#NNF@c+XP z7-k?~qXolAD|R=*FaiR@-v2NYAAt=kCJ!72!!X6e?rqrbl(7?mVI~%i4b#Yf+y37F zU@#btreiiZoVLSk&rqBT;UM(?vKj<}!J#;+_j@(KMh1W(F#7X%G=B{V7zTZ8M;HSB zmt_7|F<}Vg-+lZ~8)McK96^F1aW^R#64US4`yUL6=|${dkSLtifnmNg;FJl4+nz8K zrpK`F!*u(9x$xKi2SZ~v5Nt;@W=iAO{vTM;n9UQ%4~;8QAk3bQ z0FF&0j1i6vH5l{mzqi)k;|z?#h`_%x`O5~w)&(#c2F4aR2m~{u|D2`!FZ{oaD0rHf RAE7!q3{D{+proTr@qgq3l7RpK diff --git a/paper/pnas/main.pdf b/paper/pnas/main.pdf index 3fe471fbb669304538b6c8308db3d08b0a4c5043..e22cc5f3d76e4812271e7ecaf6fb882a5844a683 100644 GIT binary patch delta 13501 zcmaiZQ;aT5uHg0QlrJF0@>0<_eJjrM#bs`xb1hMkSONFvb%|9I`+D9cDstwdoi zd^Gt=`%?KpCpKw7APRUtd^bl^=JS6w{C=PA1i!i7 zHzj|s-Q8AU{?91K_!<7+8ujj}+eIBteIS1=T(A`jvJ@Q%?ETYf%@45RxArL<3Xty- zuF{wD#yWV#RQTw7;_Sid)>xGlkw+kq5X7Np54gi5E%g|MUF&PVINmp;GM*odD_&HW zyE8oa9n|6Y{?{D7MepG?mCI)BnEba+!yGTheULVzB5Ruo=M)ay0Mrw&CXkR?Q*Nn% zG7=SRzoMXx8CX6zc@gl0i4Qzzuv)ngB7vw#Z%8qE4sF2o6e3hFdET%vQ~`AtG#waF z4@?(k^+4l=8;HWhx;RV16n9xfIzNO~hq}+Rv5qP%gWQZcjzj34{{lbVh_w8N?BFbg zQ(cynPnOjzl&}j^<9iZsb%yca^Ub87LtZB<)5PzFLkD5H@E-u|>#!__J7#T&EMz=m z$dh*+x=eInv}*v%1ofn#Kb0FQfk`q1#d{M3K-Sw(5-7Y{7i0rm9D+X{mRdBSh*B zAcVCd$6!E}v?f={@E8uHG)H*gGDOON*8G2x!6rreiq?mxIE(p(zK2h0XXbjq=nE@T1Z2UN~e?o&0Fwg!+CR7wXhdDS;~&^-S;7G?{K zks9d@A$U5|O}MkMxJ!qm4r`AGjTWMLfzF8X1BnyKc9jUc?626STxyr^zf6&`K;{aC}J;mm#$m37sFfVM1_bJktuMIN&mO?M_@rT z2y{3S(?28_{YVL(=wouwVmy&DVQ#W0ze&^Tpn|JE0U@GL8O~7PW8%oXq*LV~dj>UW z$PLlX?$g_9U^$kVP!u#GvVh>GUGf_m>JcJY#Xi;N@d3{_gVYPG>Vm)x1X39IFw5rzsWjBBhZw|>sC@2vKG?)KT5nHG5??CLk9gT zg*C$WKM9yRfuUC7FNg;uvQ}^q{U-_9fr>b8#k8v8actGU60-%yp8x1b>PcZyhz{UD z;&OxoOp%B4#+|7Tp3~D8v_R#6bJGd6|C=P!?X*E<0F0|t9u0a*2>Q~t59nDL$FwOC znvg}4WJri;ugP-PPO#nzF_WbSCIRxvc)@h~?7-7D%N$}U8o7;w6`pa5G`XZ~ldJ0r zAUYB$>xY+Ts3yLd9#6dVPZ^QSBgu_9q z{UoN~vwH6h0Q_%2%D1TRP4A_l*6S-cP$EEKnG4*vtx^`Q7>fU+sQ6Y!+= z$I;t$!*3z~`-VUhBL1i6^G)fMdfs&wLnP`HB=`$u-STLrCAMEU)@~8|&wLz{GjS@o zI;4GQPmGHx&XVB-pCbw3uINeb6I5DdYp0+O29SNqZa`k@_eR@m!To@c1LwIf~PNHElv4VMT)ygVX{EX;KhX3z8oZ|9|6&B^aLzF_8g>h zCgL$P$Q4XOb#dIzd`@l~zY&1|cQ0jMQFw-=_I{;w~(Xl3f`;s3^8H0(g#$ZA|{Kc6d3!~rx z%(7X4P&@prn~>#{jxTG__frT6DF`Pb1nVGHKy-4+KmUl6h3Uo=pY4HXY#iVwusjxc zlZ+1I3QA!`yr^8`8@-1`dca!Z?^L75v&uMka;|kNOaleX|LbMW4H>bd9b3oLe!32a z{{sk%3mC>3rn5|ICKMr+mv_$+3Isyv?UvlQ8@M$EJU0P6LSRPS0td&1CaZv_$B|2a zo6v+Nht#R{U@%!T$rsmU8UW!5<`Gj9P~k*vio=~&s)JAs1qqx&#!^IKk1*+j)A|L} z=s%pH&oMwuy6p3|EwI7RrIMt9@^_OO2k0qZ4Vg^d7%*0Xj36pOx`|8(8Bor6^NNGU z^C%;KI1)nHEg654J*GyTX2U+{n5akkX}>IU$j)#0B5*Tw$f3h3G7V90!z--jVs+O$$v9SRD+f662ipL$sR%EVxdsjtu)t+!nQt@?J@G z2(2{;Vn~GMG%dVcMte;EMwbcK3OUpJ^+7QJoUES#NFg4IM19-y-J3<4 z5H$sx=%azd0#$B;u<)P~?DH_4dW^3 zXNN$-d!<2ntxC85`fl9Lpq!HLAg%%pEe_X#H~c|>;lKU6L%G(`V6XY4t>WE1c8rar z?gV=l2CL$x^!YU|SoldvTCr5k89K@6=h zZ@ya9(|DO9HhAZdI%rEMYpKu@Wy!&TeZruG;_a}5Sf=6_Y~31U z4#AfRJ*;qBcL01g1WVW0lxa?&UWGVrAg+q7r7hXCxrw@7WqzG?XY+j@osMPFo2c4T zJg^LaVcYLGbdJEi6@!XVhZu7I+nx0)zGE*qQ+IpNI4*W=+Sj;NSIrN}&$8rXY#H_U*0GsqKU9Ccw9d0<5&;n*LJaXSm4*{vq{6R&E$)eA_; zglk2fmMw(<%;Q%nT=?KSDsPv|3hM{A9Q>Q`6>|#DmO-=}&2A<0dzPget5own$OT~l zq=DN6|Iv+@jj*1~p`xtDP<^}T0?@#`wdStmLP)k2Z{QtO9P!6wG4fNgHKd>{5$5-K z7{Zbl{4TZm85$q6-wdkD%$LOW$>Aul##OzeRoUpA|0~X;K(6sGdTpp6qdmT#g+`T+Fzt?X^Dy2h~mr*#rWCLidsl$km(7~t{qj&D}N4~PF(It%8Hk#K1s(U`o+uvu=UmPHgjFXEPHgK?Si?LbN~ zkU)6D#o2KB3Vf$Ai}~V7KaY?OlAUrfuxEA~F2|PZHayme$vaI&tw{*%3mjIRp_XW~ zik0nm(?rCKz^>wbV0j4v*i|zC{(w6Bei`#~{BDg$1MMscF$*xf37^dt&e4vfJwk6W z=#LFz0WG?bwUmwAJj{;GjBTXf{5&+uVuP_RB7Y{TD2`w+441z|opF$CTI-m3cZ_8N z9c=}#<}}i2Bzi;!qk}A6gv-$~NXwm7cVRoehG~<2Zw5OfkDM!b7v~H}YQ%OLbYV;B zG)FsQfnlm*?rtDYq#0~d0&xfeYtj4>wgOKpcjDP`J6 zAR!1fl`qOR4M!>~GE%WY`IemSU_0oigN785K}SXChf{~)SkguTyEX!O%EP_kFoi&IH$h| zMPkjeQL2X?%>D(?Beg>K7vfp?EwGj}9y+W&t^}BtNKdjjRNPtfPa@79K^f#KQo%M% zo2yfA=wR*nwd69zEN6!os!DeIPR<_1uLH}9#uVaYfocjCN-tv0){UYJBb9@A633?2=|x84B#z5NDG8%a9Yi>L~LX0bLpv! z3l2Xm20r(crvvFFN1hDSY;!CpuYXWsqg>D!M9JXzqt zlGH&||M4J0w1CVr;LsZ+J*T_!MvUm{LivII2-W}t#fv&#vWA+3AK96|j6i6XO8hgK z9qh33I;@(2hE&nK8uxYMnUEs}4s$L&4Y}|-!y>16gPqrL62Crphd-8TF{I{cE;>+Y zQOcUhHV+l(sxnW>3Ot;B+3mTKg@*AwHet;;*z_a^H=BjdydE`ZkHyy~7W~caY(pjFN@H zHL!<#j6gh*U>uG^$g3YO>{P-~VA{3Fp^Be|eQUhfHFcQ2cCT51y~Tle_3y%5H<5MG z)7x8uo3hH5$ZEN2(`LjTvyDiIf6wvo9HrZKK7t0?YA|Fy0rU=P77irV$sT{{N?)T^ zaVcN`bu7B_!8p|{y0bxJK)*v2%0|3wNNFj)%##z= z!Tm-;p#y2iMJMGP$PUU77c2IPx0xOUTc&>{Sma?-(HA`&Ny-A6D2vwIBiz}u|Nc|S zZgZpDWH$t@hUGliZNa}UqbTO1v|nE+kfi@^YZDynG1jaAShfZVSAWB_$pytv=&58t zv-K2r(4tXPO?i2yt^m2jY`Vpc()-xPygCsCn=i)VR2SSsc_y-iCM68JDKp<3+*@51 z)_lU=7~NBmJI(1?fHhhJit9eqzD_lz8Mb}(6}&(VWRXd+z=B$ux;3q`&i77zgoAPCHS<*8n@G$)X&R7-iG*b zOLl%SgYpdIx)iUhk^$b{nnK2pd8JWLkRHg4@XZn$i``B0E2X>10{Dx4MDX};L7qSekOj`kOOVz*3k)wsGWQSzL?Gt3iKhNc9f zambKLs!jQIrq-A-I{fE=#q$MJ`m7Zw4zO|hxfLibN3d#Xu(ex05XBa)?znwYvyuVN zPnuWan|rT)8|!p>)2&O=o~jKg)9hjI1_nxg#(gRr!ewGQk2NR(K!M0LIl4_Z7D^a*)T2lxvwR^SSFemOe_*K7Snbt`pW zAa`2V_d9$m$3^+Hx{Uv*tS#FL^I`7>~YH!>Xm&8Sw6ib5iSe zRBguX_08G6`R0(h^@zFtn0e5qxr)xxx@-qm9=kSFfAI)=Ir5p37wvuji$Y2|y$vWm zKxqSbHJY$g$z0$w#(fX08i3ad_t~MEs9RoDmYv(69|KX6Vju#OY5dOTAjWQqQ*#F7 zqCTTD*H&zig)m|+u}r_!*VNduEOF$1AjK?4ad5c-a_ZL2hBX#?gthb2-77G6IVD}% zpl=Tg!7*ohW<4rW_pEP+LEOK%$-tFD>-cKxo2mkfERrp`VXeEG>q^q2-*bZ2*|eNX z3<#EUV8AB^OHik#GrJo|2eSnw2H5;9u+PnU-Oj0?tl?vbtGgkyx&Gz}#pM* ziYq>3ZpA5QV&&J6d3JR3Yt9af%Z^Hdgf00p9;;4oYyG2zqDqtT7Lbzfhg;1V4`w)R zhz&^*(^(S+ePSHA1GTCUpZ0{qt|_1toNu}DFM)BT4eSnnwG1RJGY;%d5HM@J)g~Ey z=S9Yc*d-|N^Rckn*-Ur!V@6=v$E|O3=#(Yz*ljrK_L1@In#rLy0r_@9HCwmzw=TYz zs&?Y5xCy#pI**M=%iotnm_20UUUOw9gz49eAUe}9J}@+Ga)jhzK4+9Ru-Q!Fw7J|I zG`hTXc=Q7KA}uAB=wGwRA)wXLAP_;z_LeW+uD7mj5{KJAD7TU1s`3e|st4a>M8;oC zQ1Z&|I#sy}#HK9}2fkgfm2UVOl?9?xyP?~v!>!AO>uuluk?5A1+*R9}v72X9NxAUa zImpolD!%zDG!3i_1=36=1iG!fd^vlcn{9370Y$fk&n9Xp+X&6@2T;Tc#%O_EO0m)) zjq$5nt1ewLUUnz)-24lrPJUA3{kG02mLOA(?p4v-Ibu5@+*|8YmwD7USxphI-6;|^VrrmGrv5Yc0ZMmKVw}|w4 zpsQH{v7KvOZ;CsoO=PnzqAi&qAX(6~f;;20C%OM%4 zrP12Xedcbt++ggB6p_>DyOI3cx>tcAZ+dd-Ex7Ox4D((&g_nfi*q8Q?>CU7XfJthp zCRfdIj9_?m*Faf~gPUa=rkmjkM(aXk;|e26zjo+x@EtFaBj6U1?k+{0xek zX|Mb>)9by!bGOZf4ewcZQPqwERc}9fG@4o0l_*xf)T^)uF6qtS~r zfukp7kT;5p<7k5FvgJqbmX!EeQ;wl)gJTIlN~})`L{=UFyz=wA(bmnI(N;$C=JbKd~4T9u-g!SYo zu+yJUz#{Zium2#+Yfn0f!iw?5)tl*%)kG3+FK?kbi{y}b3DBG>EMv+hwzu&SS1BF4 zN!~~03E@NVP$`tGL2SS4Gn6d*V*e}?r=Dpyi;4B?amfgg$|?i z5{lWxi;YgzpEzqMk4W#W_==<|zIBx8>QWVVcuH-r>KOKmi8=UPNCN0;?_XS9$#-uf zK(}h&z@u}rsd1ghE&i@Q#Gy$c<`s4fx;j*_1#1$jgoo>_>EqYzQWtGz=lc+Tn$4b{ zfE57$>)XuYRRdwq;4k2jY7Kw2+wWaI?Mz^}CMVqNd`#(!kC@g&dEENR)2a~d=a*C+ zaEVNNd+#pIH2Gr=qJA54IY%>(Q4EIzK$k6p_H@mv=2E6ny=|&BIMC^g$}K^j+xQ^G z@c3g-Rk~L2!!tpGU{KJzRx*s($D6uyFj=QFBRR>?X4g*Hez3dNoh=i_!tp}uzQA{T z`gZ|8Y9*zVHJR@a;rr|DAmnHTqPd!~8dHtnIed3RJQe4!4-rk-eY-^warw(%z<^g` zhd#q)<{r7E*^KDgKK2m-_^R~xu8{ltzRrVWk02yM3x}oanX_NR4ShRo{l)w3Shqe* zT1x%nDz({7yJVN@ceO*sj~ea9_@}wAB8}zhwL1>yHsrb^vZ)ceJ36NE63x}ybGoE` za>&c2s|DVMqv`%v$d)d55)%j>fMcfp=s`WL%9i7;7?*054HTnxLT4bul4rMwlS9z$ z7!J!xil0RK+LoV~zy@51gB!E4PTY5=J1DzM?d%+hDXa?jOeAhy$ zmSmUx?GA_L{9k1refa~fb$aV|{JgV~$w2F>hOW(f%z6qg%dJ;x)wK)(zzH@+L&uWU zQ-|DdNWC;GXgl|>#T#WJN1?(=aD7L?c--kenefH?3o=#Fc43YH zBCS-0Q#p3E2Q2N;7rkOyK#8)@{X@zH59Jx5w{mc$ z?>0mH`LjqI{M(zRbC_zNvjHVHi5_A_5*`AbU^`(I%m!xIBN}T9F8#JI(C1h0>ht}( zyq)O_L8vA!cfzZWyEUZ;pgtaDh%-2PJs-YpSNnq& zWs!W6t^Rsa@$=e%ECgr)2FXsoh2Q%!j#m79mCZ)oyCA78`j#*0?*EG=yVz#C)eDEB zn2lUN>gIfv(YnQ{)kWxHqal@Wu+eA@s|_l4xomvRpaQbwnK0=&&n0v`bWnD5G!<>{ zE^eb+?$kjDu!#k10yqij2a_o_2MT;bPhnav4EWA}7x$hJ{mVb9(}lL`5B9PRI|bj) zCSKh5Q5WU&i=KTD9h2$w) zlmEGV|2oe|VEHt77j~1S=EZ0+jt76A9WCcPU42XZD_VXv4me{|dfbi~i;ElS!`A|? zeIC~?;b(0!%0TGPCE%X1N`2uYiq2tuz`~swuQuvrT~B?`l@3pQwTdMQ&%u%HjCLOf zMGDp=rYxCAL^D4F^;iI2V}?&wCjYC9Lk1DM+WJb|CJmqKW|>SPbx}h+wh z7M{iv;c7t)28cH>E>YhNWn0F+!r2+;p4N~eKCe{lY^G*Tqqv2Oy zeVsifX2MRRuo{W+elS%v4XeaO1Z^QLe`w-k{5L@{2Z$M%mQD_Hv5V#tFD?^bdMn`(mM9ql<+$=9!LF`y=A8qk{}mNn=$E@GAc9bqGHVaa8o9D$oI zy3G`VRzk)Y)@i#lesqJh&yoDLM4M9b43iXq(VZ=Y_{#Dh=nG+(#Ah^`zC2i3*vv)-@8 zca9&b&*VyQ2|)B$UUaT{dzRvP=J@g-pbRi1L2~FOK8!WX!yH;!1d{*~lwW@mhe>i4 zOov3u_+u&p#?xf>#be6%%ua2J*5{l+4KRHxh2Z#rLAmEF<3WuC+7ZBwm;Js3Q4&0D6#?$13KRN5bKJRlbgE(n@V^%PS? z<8y<8PF^A^!!6tlJRv`l(ieDuLaw|15mP< zYh$}iXXLCjV42XFv9}aIOT1G5JqqUZ=wn#&zdg)(C5sq1x-XJij<&GCB;5PG9+_He z&c0WzS{iG9MzOXT*#rC@r1K9w~o624G|#KCwf4$BU z;q9fCUaDZv?8BFM&((`J1orr?%GL>-3S0CU_+{uCFI}7d=_YV#_K$*BbE^vAw|XxO z7wg5*H9X>dcjf5mw5MVA^ycr?R-L@xVs`v>-VrL&I6Ajo_##pV1f6|*0hX=D<=h8C z$OLnBIloNH=;sZWA=G3T=Kiu7be$vp=G0C5f7sp~JuO|K)M2@PGz~C}B^ajB4C)Sc z=k{dFGj$59xzxjb7CyWkjeMpP@)iN1d#oM3zY0a~NJRhQv~cNwz~&j~HSAYHHWY*% z=tERi17TkVStfX~h``hVRWI4J1%zKciM$(Gy#5N=2MM@JaW&`E}I z5Q|PHRjjNV2g9|vSECVd8mt8V$&m7`cBD2G*A?r2;^0d6s~|$Q3B6q+7>e4o_~DP6s>%^1prL;UNlk zXHR_TLxB6@PAPE#SkE=Cx?p|Zr&|{F20+A&7E2o*a<57bkPZA)0ZMyzAez*zj5{vV zJON5K9-vrm|0+*B>d&`Subf^->-#AEO_=>X8XGY zu4K(IGN+8=EH^slnMvOqmVsH;unc3%grVSZVN-d0#c|d?lhz|pT38_C!Tw9Cxpc5$blYSQn0YQB=SVciisT?BO{?kikm{&`XVX5JMmrGj>dt@%<+BHA) za=IzKBA~-CfVezRj-d#`{Q@Yi3=g(9My`-Pgjxx1kRh+oq2B;fkAa2QgA976BolNm z0*U8l6H3#T??hS-w%{0u3arYI5zg&DT_CeLxVj*? z+3M+Vrszk(?AMHM5PeNqgTZKD32yfNQrbIbi0OZCr~c6Obb%VA({Je*fXhud)bw(* z^J?RNPG65hR2pKyw`b-CZ}x89*t^yyafw!bpPS#- z{4CcR=j`{ND9vk(HZ3%@6ffHhy+`YfSe!oo;OzyN zF+-b;nCd~%hlYF-bNbz=01CdK$ma7dN2?}o8MnrCIkx-D7KmEv7v~yFUg+jQeI?Qk#4Tf{QV{XnCq(vBZ(W5TcT;b%)bZON-4rLvwn0OQZ>FubK74%y2> z64z#<+8vj3yPq*1pPAA$>ZdE+$WqH3(bl?!7bdkC6-!L6H)L7q&=XJ;w!MXF$(W&e zPDhwwV>3*?IO=8s2MRCmcnc@Sr^vx9mPq!(NlWNDW@6%1UoX4g?*5gwP_tDU*R0Xw zWwxyrnf%5~St+>=;BchUW45Kmc*@vYIA?WE&d262Sp=&4VoQtB6p9ncZC2V}TP+It z>C3WGe4VuDWYxiz7K^E^Lo&?S|NhCOP)_%8mKGD~ZzGaVGScL2wMIOFt|fSv7!Hr! zA7X=(Kc}B=X=YbeDQ=`htvsCSj6B@yj?THf_WHlx%PbI`05E?uxnf?5dPX`T-Hx{} z5FJQ^xjhoNbGuabeYy^M%I|)x-hcsq{ms5u62H)db)oSm3wsAgFpk0r!k zXg(E>*zQuNE>|A2Dg>v|L~p4@U$?Bw5VLFJZL^&82W_wW9;9dGcb`a6F&AIs)!)#W zOYhi^OYh)afSAYa!uV;ZC*;$SdJ2ScKPy2ee_qqg&*(>=m`Kv$ca!`H=k$@CNcPK{ zZAcGx4nK%RVb_NCF5Ju??!!DdCcm%-GxnoKCq8 zVamxP--wuFftG_}#kY2Nar6uSn5e<;635wijMoVv)cE2=*P8ZxBl*t!LT5)oN%A8B zI~#8aK;)-*P$Xr`05M4MX+2K*Fr(OR2I7NHwEs+*0$2h;9`h0{{V< zIH49vfcB`HI=oveZ5LeXmD4nGP#t?Nr@31M(DbMRkq}ZF-c(9W7*aFi^HT$Ni>r#V zt*=@s8UMXtzZ$6;_0vSTL7?@GOxyu5M; zz=R1f|LW0IeG*dWOQg?>De+%sy_EKH?G4|~|9i4i>fxgBOK?!bvW8fB~}aIx*D{GQV+z@4yp?qqM3JdV7%xOrJehIyMIcntJ0_insNH$o+(^6CV=0C% z*W*}x5WIgtPgiwA$O=RNUu@>7YFE%mkdhro0*=BJCd(UphW~nwbE-9wjZ8*{N2n7 zg_7sQ-kPp@-2>;|4*ee)Zah#P<-vqQ5Y01AaS`?vvc5?K#be@}g9t^qg^TlYiqL0e z<8VA+E^3^jqf0ZtA@oW6xD{#7*>4hsI!5L5wO;UciU*f}Jyqtfy+RNG2yy}V(MnfZ zohoMQ*q_liK^|;7>=5oI`HFntJ3TxjTctOFn-Z^L@~b^}Vy^jOAIxyPaGyq@7eC#D zj;agZLO|l7HKZ`K$EZb+80zB|=hWWXPln4P-caUQ1lHLC7Gj9BHixPULyZv6P*ewFd_3FT$&b3ng+U${b*lX#o1;x$W zmjeAApFAhV&1~z<@UVs67Q#=9C0N^Yg`smG9AU^s;pNXN_r!aE;l+xB=s6QlPF#UL zf7*~I8ou1vJP?l5*do@ehz5?ZZq$^6UYBsRhn2m7^rp(o8$_yMBr9uWISa znazJCR?0@{mi`9-aWvY(VJ9tW$-0^I*YMYObT_;BHB2)+t@xi6xOU<5cMj7x))qH?N%$ c#?0RIzh`%PX$%w=3=1Df&|R}0|3)=&Hw-a delta 13535 zcmaiZQ+TFN@MX-2ZQK50Of<1=Yhvq-ZQD*J_QcM_*2J3F*8cvx&+hGBoa(-)KK)c( zoUW>#&LkhrBo7Dy4}oZgv{!>*V@-EdgCqdR820L~1S!;sv96c(j zN)K&@qpke3g{XQl3M{8NJLgk=T zBs_$La(mCszL4I3pG*8_eHJD@$^P3z2?$>0U z{z|*~3-$?Bn#shH&mY6dpDZ74EHGE8T*(Q^!Qpf9lCnso@59n3xi@nBG@T*SeJHjEyB-{aClleqrdaYM_T`o7)XfI+K^<> zQlOgtWq6qu@5XTxdJe`|0H|BXUAvrrL^AJSjGQx46uk!VFx9vZkr4E}g2CV&#A(Si z&m&Q}Lx?^06gj}wFqNOr3xE< z1vEN^GX0;7{y)mHRcff9A7qkMYH-&A$}tQX^jHvOGR7A%5GeaHDKa_YMH+h{KMWZx zWHL5~37U)xaBao$AfWWLi?z#B2rh5KDrLxWL^%<5zZEHI(9WTwDPu~5f~zve@Gv{k zqfcv7Yt&}YrVARg0Y{kBJBAFKkQNSvm>ki96b@R?T-FoY;r|H+WC|4otX20z<=$)? z?HiD07BhNfjQNTQkl(`JL<|`gipPw0D3Ov8FF_`HVs`E&)2CzIsiC3mDeuZeNI^T5 z2&1hfs=~3N$BWS2(1M(8&lwusz?-hB$I_PzR@qtc=O8>uvh6K=sD_zTQ&TCV$;Nc#kvLpQ=Q$AOv*2RJ{mx7=q{O{K9v>@iFRlNUH zo5yQt77%C^$$nNSVl`fKgp4k)y&cHb->$`j57_ffP2S z$N(M`A#X6)IC+F%;-SjG*<1R&Hl#dwYC5UTe+x~zy$+--;A5M@zgkNR%Rz< zizOpo1F39|9swKmHeUAF4&6;7c{qQ~CQ|+*P87Q?3+#x?hJgG}^|Y3;nt&8->NFa@ zx$QYkAQOd*-HqFQBwNp9(!T&K94ft@as%Q4MDZbX1JZfVQ1r@fqeu}r7IE6cP^iw? z2-@`2G;t&}z<_ih^%??gkbyJmY*i6L*DKHpd;k%ub26zS^?$R}xeFS@kmta2pz`*J zMRpm^ij#)mk*BbKhtQ7@U!0ebE9!&eKy8rA2!y*HldCSEk&`lJ;6VKl%?K1hVI;v) z(Zhw-L$^TvFlTvl*da-11R`cOpNJUGKJ&mxZ-Ges^8Q#6J|6FleBmo%fzwNX-ly_S z$}k+NTncA1{UdjK6MAB2uGb@9;8X}QYkEyg`bN(v!4QJrXIEw`8mOW{o(~d!9ZizC zq_OX`?^k`gQ=FVBK4T`V!a={j+18JEqfDLZH~txjzSwz!*`~(cyG?y7U)I@;h>NX` zJ%Gh^95LNvFn~swj~8Fv>Q(?&peI@*Rn=Wh=6A#F4-!e^hXaA@vfw}=6x6HXgV4N~ zW5|v%*jp%Y_oO}w{B{c0yY0=u7|cW%J3>K(@CYcc6JuRES2H**R3n12jQ5GntpZG< zmYW4yV|13wAb2{#3JxX6WtNEgVlb}iZXgGu>JqwG%=^rEb~Cs9ITklJSkxxxsMPtMSn$3QSrC@xfZwgCdau$1x-p-~4jqrc;PRtIizi9oe) zMLgst4Fl#s7`b_|l2WY~7`&Q#H}(XDxmyv#>5eWAV4sL^ShpcBnYY_lzdsf7#&7Ka|bCw3q4}DYoL_1 z3CBt%^h@4YkOJ(RCK4yX#ek96$((cnM%S&ICp49?9d%4zsMz{UbYBXoCS?pHbr2ye zXG%S8vp8E4l9@5m`o!14W}{P1L!l6&oDADFf-pV}{Od@-pOdSu!1w@7Bj6X`Dxw#j zhWX>1EFmHh;oyAtEJ7wq_I0vX_mHCfs?{1#j2?~)#X`jmlxVy7-rTCtvepfl#3TFNCML&7GwCzP#ep ze4a_K&j$w8b zJgG;PO3=1=YXaE3n8nzm-bKQN>Yp8IfNcGMLdSpoFf$-UZaXos(Y2x)6R5hVb>SKo z@)C#!EBc-(cJK$tu5Pro?{Tf9wt!KvmtftTk_#~sg0KZyOA4QmLu7PbskqG?Pw1Gt zk1+D=OAD{>88bQcXBY|cp&&xa4cveTnzq(3acuyjRZCY(RZo3Z7KYVYl#u;fdWVv} ze}1`hzxj%v)FrRz&oX4gg(qXj;2%{K`gjaO62&JL;L=(QZ70LpBN7O{kWUKX)1lnV(HlsVg4Fab>$n#E5x*(k1oqfwy_r0V#o%Q|Bo z5sN3!%ovXP?&ga3j?|&B5y^oVHjCQS*OMx4UV^WQ#uKW@VpWMzoce=-O(}!tcVkW4 zz}rSFXE0#Pp{?#SgP${lX;_}-sKImUoP7C@`BKMhxTFnpbk9-azl;g;hZs9;m4ECD z1zuT9bbUFlkTF9F6}7&iT|o_@$lnukG^{ie*7YayzNqiK9SL>>90lgWW}fr%&vMSO z%Eq6iGamQrSfS^OT-Y&vvDdGYo3~(9Z{$BE;{t$AVvPPeuyat9GAUhHmwa~b4e6LA zd=|2mT{mOQeVZsDKjhvtzlO{eohruL4;swEVowIpPPx&ncp;S&_WqO|smtdSC ztegN$+LQ9$&e4K`jNCAr__llVPk)WVt8n)g1# z-krB-k+94g<{z@q#HXK_qEJ;n!zIB8_EL?%~ms{c5`rZCzfmTDl)f zBQ=2&6GC3T8A8q`bi4(2Suyg<>3{w`xF!7T%QA9SkR&NHH3IjkkJ_78!Y)aG#nxM< z%n*Xn_z1BtDmPXckefZD96C*$R|yCRG5%*R%o+sGjt5OGS-FW5-DZ8k_ea_Xm+u@1 z;KWK82$F#mjmsT@8|PDPn#R<1CwBKU%9ShK3J#S7_eC~dnu}zqCU6}#n=F|MbPH%D zT`!UReM#-Wb6$ATPQW@jdh4d7I|_$$j#n?$Zxm)xKEL{EeubLt*HyR&srW+>ZdHh2 zK$UyHlI1CJx6ZAWc9x2S^DCl-;L!j;mbWEqj^ZB=`Cx~dMh|P`D(9iFh_q!lVISzS zI17(8UuLZ5$eHCTh$8$Ogez38$~s6huCvR&JI=O@j=g|dwHM_!7&h_)vlTZ*e8tWx zRMVMLe|asTj%As7e*!xzmz)ncAUdQp<=6{3wxV^LqMbFzG*UD5G?pb-4>1Rdp|+sl zts3-#=Mfkc_ZxE^?d6>r=;G0iW~hEwRSz%9NE#l!?kayjdh1Ydhcl-4hU%hzjn8ng z4hqmlhYCrfr-lo_tHC@EXrY8zZm7I|Dc-vYc3l5)6}lkNt1$&U`f-ho@gLbU#SJy7 zTHNzJW0z7QVr)RdWE>*FIZD}Rd}`1q}?{Ig1u zoT-rtZ*qH4uG+y3`oK!qPp_wCG+ojA_+iG3Xjawt`a7A3h%#9&`zt_Kn zZoU?7+nf&H2CEtj*6PTIljMbvaN6CJtRSoovIuwS^oVSCIr`sEG&=#MlZJivx<0GL zXNTdIyRf{+^)KUDgE%YUyE=u#6^q7f1zAY))?9dt3GA6LHBcxM%HSK`akqv%1-|RC zecOz`5KvPj6$&B!h7J}Ys2D5($-#-6^xYOi*1`%OSZ5fc;2>3PUCfhUuoa_ zmJ>%qMD(QQ1F#Zmi|2p=a$d#~>DVje1xQ;sCHqj_PSA$f?(+R3g$>4W_TR3^O8LL` z(+il~Ur@3q*ku-J5QS3k z(J0U<>4~`^`F*S>1AdC>KsJiXYSGP{uiW}>VJeRB5!Vjgf=pyvgx z=;2wVa-*(6ygn9Mw-q9E1r2FHYO0k54AV+ka4NHz3sFIrL#saZyFs=4s>xKyJ~Ouk zNMBt(yw<45DIPG~d>VuB>_u{rwo;Fwun2O|g-eT4(fV$CTY;q}tCXzB$CIu_P-AHS zbnq#{ot;)-|2PuOOO8JEi-gC8uFpb@h0SpjOw4t`Gm0Hh?Xs82zdJsvxbF# za+Qs`)O62&HEp_^Dl>41wdoyxn7f6J@L~H=99jo|APg`;@P@o|+6|$se%!Is3nM^k z)MA7ye;D^Kf$-~oVfs7W{e3Z!g%#F$2zOtGH%7??+I`xy%jT(Txql^13Eiie)8MD9 z2y?HdIJaGV_*$#eCEP=_cB$ufM^?yhtu>|y(dsyeywDCFa#l3Z4<0gle!CX7BUg{` zDht?VbOt2&1KB3#^BUVxW+)j{kvdkprd$1SLhrY-Ru3SJP5rX`RFt$|6dsFeS#``}?JNc}tx+YR8;eitlDbnuReo&I@!EBoxoqv&(wQw8 zu~XNeX=yTB(WUA7E%(7i7e~A5(~4F9wBM`v zZv-Nh23U-?kkhaVdgr{Oy2l$jL$f9?>Ec!f_h62Kx1uY73T2y(ZVAYBPQVSrZz_xV+ zMG;4F_l__vZK&<|KamEpg^5*@R;?+vr$ZnJR0bfp%VzCB$IxO#lE~=b(K5FdxM456 z6p|BUG!SRnhkU7c0wii1v+4vV)xTYI0L08~i=ecTcVQeWmP1x~H)}_I4(-$E%D9Wy z#InCUGfy>Gs?jIKDwm2&%7JV$yg^6F=p22mcZNcWcXD|p@yDYJ#(CxAWR^a+hFV)c zJg%e%WXY~5r}D@KFSQ;gC(h68(tz$?l-MU11u;$a1M!lfUX$rk{9a%m*4Tf~jXbq( z>0vo3BLyZnAUshYtW~vAX$DI!8Y^tbY)eeFDLy`H664Hc)l>;(M9*u9hiXS|>*5Yj zrR4-4#9k2E>O%;(@1eMQBmQ&DrFhFCJ>7^e$ZL#lxzrYBlM zvH(qDpU!SRi3FPOw4TvCF%FaLx@}}3gQ}^v<@=f1qb68LZ~c}JHZUEd_5Fi`ZQc&8 z>@x41F~|l8l$y9upgq+$=dFFlYMTdvYBFLt={DHjJv=dsG4zlG_j>rjJLS?lOSgP5 z>J0|HG5e$@WkbHDG_S;G_a6H;j>+`KE5IemP}3HVb$YL74I4c_<0kbR@>w|N<#h>% zQIGBYh*p=Xc@Z$L(RQ-&6}tNA2jg8IA*DPkA;@>5-7kKtD`?8CT8(tun& zlraOt(({C8h`j7kNT!hid4{f0Z!nsc{P(w zr6IGRb!~B(lUtQJ&N3Do;@Zk-3c(u6TWw2b|9mDjUCI`c36NR?UyddzRkjd%i*etE zss;#KzP)v*CF+${m1XDF8^pkrq!@}JWSYE?JBV{x;WI9RxoAx3&a@R96 z^fop$FS75u@BUzur`|nVgRpe#;=~;d-N)Vh?CKGkIh&v_s5h`jfZ?98`)4yER{LP^ z6Pv70WtAC}l743kiHVbPgxT4+m`er(%R4aNl0qeD&@q}{&!rRFL6QOQBS!n*tbpdr z4qjzNEiXMn{Vkd0^>8-?HdoEI%D4R{LaAX>8!iQ73-8*r)7{fo3mzmQ9xOBzZ0VQb zI86cv+r&o73N_XnaJt@SZVd-w_`ZyOc4RqRH*F-0$zh1!Xf^r7Oeb76^}a>6s5M{z zO%R^uiRto!#JU<4$<9VG=(o&9CtqAqbJ(roAL_nSulWG8myT`7INJ3+-wnZ$y*ql^GP!~ z%93VV1{3cXkJ}8FOBc^M0m89k=l)xJ6HIpgPa=HoE%~>>DH{}I!9bPZYi{*FhKtHx zs<~z>38~vkd+8T(Is+MaNV-X)_$IyY1W6yiqppCfAGF@|qjPj!3-)x~$$T}P z804B<h{bdTp(}bpR z)HYdWmBL3P+!$)&wh=n;G9#^m_vnnAEE67yPg}@W{Q&= zV$aTk%xwDpEd?L#QS!Wsv7Ekc@r8m#ML2ks!8!~*HvX?88Z~sk)`4jM0E6!~w%I>6 zE$}tuBH|e0Rb%WlwA-zD&w0%1Y@^R;0;t(79r8jbWvwY{AQwVXd9UuWYCd#XyA}BPbZ6G=Bj|Z@Wa{cd#fCF$ zb)3rTG;&TJrOIr>KCLB&dE%DB-gHK^%c}cVe<&nx61Y!ylo~)5FevQ=pGr`-yyAT0 zKzapewkPtFdVOR%rFJ>JTZkcrxhDvbm^+y^yP+!l-xci$%Tr1%CRK%(-c9`-+c5)As?joPi32Mo@mKMV!mMNh zeQAc~bWAjHq#}^RJ}b_|duzxWm3|A6_&J&V)|4FN-3trtGyRT4(xSF($vC>+y{ily z60&GMpdKnB2{=eJ5-xARYFyGFeaPoww$NtQAdQkbFWgGB!?80pE-ktL72wJ!|EZ2a zrTfU^aLj7;o%X!3p6v25{g)2`tlOD{wN4S^n*UE(tZ`+e-6$o8H#BvXR9M|0uNK!o zwY%aB4yg^2f-fEYZ+#TT>Q_MU8Lc6}5|e(4<6>Z!BsckR**&;1BjU?=A0!yuFo0lu zZ71nG@GosT(=Kn@%iD)al?P}acE0#MLvv9V+}nG8{`qJ3ZQ{{^_^@+0tBqxQ9DOr9 zBlWJH@dFfPNNskgfS?^q%)*p1@C6K=ItZE^3T`RDORjCp^_}KAerQ9lo1_4u#X;ko z;PDDBSW+^fdQtVi?anms((KEqtcP4$KO=^Tk_co@xGH)T8Y2dADz3QbZU(Ou%stv0 z&ou558yQ>(F28=ZKXF|h1r^4`ek5&@%)E72yM~)^nV(Ej##5u_(@ZapY%tx)~p(A8!He*cfd#0|>A557%2DQ-eM5dSW>W*k5n0~RjNaoOIL zT1uad^!X1aifbxB!uD2!l{zb~?O*JaA`vg7q@GHAM3NsMD$=TRO5R(Tux+k-)Jt>@ zXU1j}YaBQ4x~M*kEDi{eK#DYp_yj&_t5rvMAPIGa$#{EJSx!{Ghpn44JyA64t!g>` zdca!I5u)He44d>ZC@Q)jf7{adv0blTSw`wneu4G0LVxhCD#vTGlF%ty zVhMi&`_?pquR!8EWA)nE*=^sxbzi~?HmV~ySaJHt6C;SC8MLH5D8ppn_Q+gjKS+Oz z%|fVD;T(wbmt`O3?rOf!wTlma3DrIUiBwvnbV6HIK2;zrtpV^``G-)6sni83?VN^x zjr3EASXEp4^HX}_L%Dq)xvV57U)Qe|--AhA!3tEViBhH!zuTSLS@wmm^WY7!Kc}F< zwFGYCxRIw(QE7lzDk_``>aN~87F76dLy~O#?oz77QoXcMRAHc8nR1<<|?p90$mS{regZY@6B(7M2p^17tnkH}}*xv!Bo|doP^+Yfy2%UG~zvID1@- zO%)t{t{z&bW`mDb?>9_%{F*GlyH==je7NGbQ2yw#QWovai(+Pzsb{VcFE@)8eQ*jE z4Ta??;p)$VxY;Bh;T}Bv@7G`pz>6-V6Bnx&)OUadi!!mS>OCWNS|4 zUG%iLW02qsZ)k~{1?$aTxF7r|KXGoVXCSO;uOPVXB6YD3=2@bu@Pbj`O>hoU*OfMu z9-UJW5De$cDe2`cRfFOGSXF9ishoU}{HY)~ap-<`Yw;wrmeTmP(EK=&HC6V=5c=`M z@wbEXmII)`WL}5WNS+Z^@5Fyk=Am0H9KN?!@=~_c&0F;)Xa_Y*@-v|C=)h-?r+1Zn z@l$Z&XsE4Iy4tE2gN~)12`2fTX`_`T7;4dCsM;x)kl*6sQGWT7=I^>Xx|yeY&3e!> z*c@Mr*6)dwK2G8ic4AIs)ECG0ljrB#qHO&+{1w1j@3LHHKmTESMk@NcB+{MrpTTYi z#IIKz#n;~Zm5-0@%FkP>*++usC+dvLCt?5F!KOQ!d|}_&{ND4PtHk%FYTU;Ld?@p} z8rai#Y}cumI|EZN=Wi^V!M)Hh;o`tEqCxu?>>BXC`4eR{01tY7I)|0;0XuA8Bw1(Y z4g)c)IDOak3zqKur+qqF7X(JQggfMafcg*6{{iMdz_v-a!}Wp#6fMG7d&1XGlyx@? zKRE9%tk` zbrorE`jksM8My-)A*C=5i1Qu2OL%KN*YCt&#pUzh&hQg&B`8wLC@k;N#uoQZRMk_{ zw?Z+TlOdLlKDsyO=uZ?BtgP3*I8=c$@u?5p9A0p8VWmHG*oyN6@USwCPe%s9F2*Xm z7-wX?8pk;RQ`V;Wl3l$Ga>cm{>%@D(z&cO=mMkf5(Qga0Y5dUAj9#7uCip#BJto#x z)QGUWJ+f1SrW%&RVL2FtDKd7;1IMYxl9{E)k%TjLypBr^Ho1Rs2VrtqlZL1vaUz}* z8yzX%#ekCYL4_0>HH2RT7K0;&<1Hj$;sPNDp!x&=PrES|OZK`RTu&w0y3g0IjyeNA#)3u|oMza1{g%i%QF&kx!iGb!j3HvAj`kuOIz}zi_(Mp-&l1xxznYVj zfu;#yp-L=sBx+Pzw-nyXTEN4f&cxgsIYj08Mg~nc9$m<+%X8b#57jz9-#m2?w{9M597rCSeW^+y8G0VIDe%7%E*VB?M+%>sDDv z+y?{m9TT?HU`Z`rYu2j?{mm{I&S)LJr)~J({cBrl{&w7z%@ZokB!lD{*D;84`)nW%wrc6hzWc#3}V2zbMFgk}f; zo_}RvY)_E*yS(+xaYAHb2`2md05o3w-HWHG-41$MeF-kH)2%MP)QZn!Q`i-g`l(p^ zH7J+n;RlSPWxFG$C##<4_zYKGF#~=PqeTulOq{8^B1kSPyqCBHOWK5>U2q6cxB^ToeuBQU)06(&eUez zMDzA<(6J!A$+c&f75c;8+S>5w6X0`m`*3a{ka~K5bN-rSy6vmYn4KMc;?Sf9p(l?$ z@sb{HncifWo!qZ@H(?=^X&~6uJ|yYe`0gBJZtqZ+O>j9eTr6dMa%XX4Ez|)Fmx27` z2Xc>JU{@u-36-E|EZ3DS57=9Lo5s!`V}Kj=Fh6-!ljQJ(tlYY@MYA(<$mdF~p7EMp zyV4|~PG5E9$3w3h{acf7@?AZb-bhi$|6d@{gOy`o?A5`-+Wl!~<c<~%Lo&G&Fn!w2?%BaJdiuNd2bB}|1>uMJ;FZ)uXz8KRJQC+%UaW)yQD@(&2*Fd) zzf9-$JmyT|r6z`F6la9GbY&@eXms|lb&B5Un=w_Rxf-IenF7+_nls*CE_ozm=lqG9 z#pk}us*O^nLHu_Z-D7U=Q|{XuLEbhU6(Y+#Pu$D!h;M`Mt(QRE!OpO!8@y!=7D%}F z`DQS@SJ3O_2#2nfEwKmS@4|s3!1-OE8G&jm5Ru2ASXw!ZKw@#I#lmORSN4*^5__$6 ztT7PR8RvXqYex&NC`kAhVz)__d2up(qJL`h!P(j8!`#uwudO{(?g~4Yp$8M<2Dltq z3BI|w@O_l(>9NO-&i<{K54->3`*_96g&W|_pMBSY3iHmFmv09cEjG4Evw??a}8)_XQ71>UMgmCx%qg0)2dD6DQf3b9+fA+8r{@Wga&Qplzy{+6h$w zOl%N7v(Ie|A2IXQ%=XvH#tPB3f4&XZhh@;udS7*D@=}0qxmw3<4qdBG^3$^Vep&p? z!JzJv#{`AV9+7P{h0JG-BsP7MeCTZd=Jw$HBs-o(qjBge%V3Y&`*l1(PGi_P%nX>9_!5cmj?LkOX(27h2 zM_b*1`Bvo6_x1Crsox=aJ6p7Bjt~3%6lyKD-T+r9ff;ny7hNzJY?b3%AU50R^8&Qb zVG*Vm+QVU`7X-lJiJ9$z;Nt3RZu}F$bDe9|!xL*5ALja_@i#~KRy8KwJi17gbmA6SN(eq_2)+(E z*L?_cw+Dnu3BnIJGAIZ#vJm7TQhA9XZ>)#ce=c=@eGc=UHhI6^^R6;EEGN#-dA4iJ zwU^IUMAQ7%*Ts3}@mxth68y!V76$K)63nrHdd9i4uU5uZLgQ#wA%*xzbFBWl&qvbM zp*b^ev6`ThBhCNDS=RLOh2wWY&(AB)@+e4q>Z|8BE3~7%yUj`cLTWJIpO+% z*Q7m%(NkglXs^*s9&0n>xqA3kKzH#}u1&*hm+f8>@nJzmgy!Xay^A zm)#-SSIm*2zSSj1XVguk^5yV_XT~z1J7j@oZhJSTlGPrRGwzc!jFzX5H2s1${S)%| zreo4FKP1Rel*t>P`CRb}5@(akR7<3W>btyN3U*QGu+B1}V7hrf%KG4;y!;Hg$uC@^ zy`*MbCgx?C=~8v1ol`GIc}_iB<+!iTqI+7s86U$h_`iLY4Q$`+_nsY&aP5hJA3)&7 z(ZB`PZrm@&6~+ut^vh55%gEBNV4oMxC;7m)?O<3C3d${9IHx`o%3T#QNuU(ydz`Zd z34<6f5XTZogWO-T%*u;gb{|UP#ZrE&`Y5-rn=s<#_R5hl{gU7BGx>~^7h7Jp%PUko zS#|v`;Yo&M;q=~=HyDj*&kIY6yZ=+Y#0DON)O>>g4svXvo4cc1(P;qALvtub6W*i zRuT<^CR5t@^YqQ=zZf55yg&C>on&_z38p1snvRW{FFJ75eYUJXBrm{d+^E$C{F>t~ zY8C>{aCTD{-Q%7RwSTlm>C%uv5U&MGHe5QQ9-91(_<3se&Z&%}JiFd+^jZ=~p6f0G zKUdhli!rz7x_pDb&O4Cs`nLL;&d(t{$a>cz&37(?F*%mEf-^0ynB-CV{D}U=AH7yb zcMDGpwOAwRsGi4rXFUQspU-)bXY+iVTIa!IV2`^e*V23fQ7=X$gWnp2dr;z~=EARs z2s4I$OTQ9O3y0B-(LauhzrxB5$FwXEc7o>-|EwhwKfmv5vJyF)do{64VZU&A+wYb8 z8^K*BZ>8EWqdv-J=x6fUHMqu=Z87WWl+$vwVqup_qfq%$cBl`uPU4h5+AqxKFx}kO zfS8E0AF=IzpwhTDSzC{%LGOt}YaDCXX){jW_t|_B>!w9C-KSbxPoTt*uAXQey_KXx8)GQE3pXlak#g?yqPS9(AcNCHWVa_YO#BK)jxO z3YSC~JoESG^wU6UC^d5FrZtLF?Vg}>ZCinsd``BORF1BeV(!MoPOj}WGkd*DeDBu2 z_9aiTVc(3!KsW_0d()j2gaolm-eRa?!!m#VRk)#%gnN&;;Euq)Qx83KK7}Hm;ax9F zy*=M{bI7&{v}@1c>)HEk}g$)qSH58-Mz&Kv9^#?e4vI448Ew?p^lrpIz#Kd!+LCz0Q5Q2DC>W%6-W>#eW*V zelwe(A1OXT<%>YZ=7G;#mbZshO)&nOyfO(;49WW$@9nzM5>eaZH-`J*+lKqVR3~Ml z$pZn$GQhkaD+X7g54iT&)GM}uIMTjFF}bsg=ZM~c!IQIjC&tlIQ3lOrs>hCcP2nY% z8tBq(5$qD_u_Ll`xI47tV2fE+nXbdbV(_=b3GuTv+@aGY1w{u+eO5b)vTS?2jnbn2 zrD;v;WpZCmJm!jwItVS^S4ShGJpEy`Qou+GpOM zktQX3;|e7|x>!D?mn0+qnxiVPDkXJPt`ho1RBTD2+9=ZG>Y`ZMqYnCIOl+x^Vwr0Y z6`-77J%31dN~I3NYnVFhQ~t*oO3kZ_{}k!KQ5{^-P`w6;fo!AtPblqeZ&gr>miln5 zsQTcaimKus6$dPiCy=&UtP#dcf$9mTG8d$aXJ>^@;FEn>1)tWMI_nH^OlF;!P>9=8 zhR_zVC3h}G74fO%5_Q7N@oi*{@ws3+6u=ihjk5$^oq9TUb{>MD>egfTNx)Jy!GXb2 zhWJlRc@yHTM&c8+HbgQ@n1K zudao}D3kbok@P%r(I~s9Q60^f?>lHKq-nxP2y&Z!WZ+Z4nLAdAy(|75Rjxm zsb;I-TU_lm;*7_eYKs4^Uq$U$CZB^sV_a8g60*hP(J7~9XY})yeaX2~Y|$)k7jt^B zvh;*{!KJjq8dknba?$kw;0j*Bc;d~8jFO%j@Ryl7`Zv|@Q*~5ys&uEsRQ=*hv8S9| z5u&&ox3*fXIv|4Y=^DH2_7FU=}e_;yMC6CI@$QP;PXL#~& zinT?_d{?hiU{?2&;XB)Y8P;nnO@fwfd_4ovFXVYu}M zMq->Gcd9Nz)})>`6(6nW7ZESB-w?l&ZOT4HdUL`Va#ztWjJ{p&#(J>}ilfZNi?7It ze66b+5l!+D#r$3%Hqp7}QO~P^0Bi=W%%WrU*oWo@*-ue4kDS(R#FRhZ7HpVI&0k>J#Xm@R z^x5lp#FU&b;3nm^kvmYDpnNWH0ERj>1oKvrn>A{7N&LlKE}dow2Au;Tv+UwG$? ziYuU4`x4k!cI71cK00s37Z+#wg}AtpjZ=d0Pn<7uWLE1{=*`efAXA}Gweo4H0gg$$ z`$}w!xEG2^K~`DfZVsZE_3fCISyFa>zM0rBSfc=I?F)U%9FV2b$^mT*>rB(-$6GbN^8;I`cud6e$cp3Ff9*PB&`1^3j{+M#>oE zTh1^Z_1OXEbN5ufPD|i1J7)LRU%j|>*mp8!sCI6_tdd HB*Om!qXi9S diff --git a/paper/pnas/make_figs.py b/paper/pnas/make_figs.py index b7ec232..b444064 100644 --- a/paper/pnas/make_figs.py +++ b/paper/pnas/make_figs.py @@ -72,10 +72,10 @@ def fig1a(): TIERS = [ ("Biological model", "Wright\u2013Fisher simulator (NumPy)", "closed forms \u00b7 bitwise-reproducible", "#4e8d4e", "#eef6ec", "#c5e0bd", "#2d5b2d", "pea.svg"), - ("Trained networks", "RNN \u00b7 MLP \u00b7 VAE on a synthetic oracle;\nconvolutional VAE on MNIST", + ("Trained networks", "RNN \u00b7 MLP \u00b7 VAE\non a synthetic oracle;\nconvolutional VAE on MNIST", "sign-level tests \u00b7 exact oracles", "#5b9bc9", "#eff6fb", "#c9e2f2", "#1f4e79", "robot.svg"), - ("Language models", "LoRA specialists on Qwen 0.5B & 7B;\nexact-match verifier", + ("Language models", "LoRA specialists\non Qwen 0.5B & 7B;\nexact-match verifier", "seed-replicated signs", "#3c6ea5", "#e7eef8", "#adc8e8", "#1d3f66", "robot.svg"), ] ROWS = [ @@ -129,8 +129,8 @@ def fig1a(): boxstyle="round,pad=0.004", fc=headfill, ec=edge, lw=1.6)) ax.text(xc, 0.988, name, ha="center", va="top", fontsize=9.5, fontweight="bold", color=textcol) - ax.text(x + cw / 2 - 0.030, 0.938, arch, ha="center", va="top", fontsize=6.6, - linespacing=1.3, color=textcol) + ax.text(x + cw / 2 - 0.030, 0.944, arch, ha="center", va="top", fontsize=6.6, + linespacing=1.25, color=textcol) ax.text(x + cw / 2 - 0.030, 0.831, guarantee, ha="center", va="bottom", fontsize=6.4, style="italic", color=textcol, alpha=0.85) # Reason: imshow + interpolation="none" embeds the icon unsampled in the PDF (an