From 329066e99bc1621597fcc76e8c0b8293661c6f39 Mon Sep 17 00:00:00 2001 From: wassname <1103714+wassname@users.noreply.github.com> Date: Fri, 5 Jun 2026 12:30:49 +0000 Subject: [PATCH] paper: teacher-off control appendix (app:teacher) -- teacher seeds not sustains Vanilla deploy-hack keeps climbing after teacher cut at step 40 (0.36->0.58, job 87), at/above teacher-on (job 97). Closest-match jobs differ in LR; FIXME to swap in lr-matched job 124 (queued low-prio). CSV is the committed data artifact; fig regen by plot_teacher_ablation.py. Co-Authored-By: Claudypoo <288921227+claudypoo@users.noreply.github.com> --- docs/writeup/data/teacher_ablation.csv | 23 ++++++++++ docs/writeup/figs/plot_teacher_ablation.py | 51 +++++++++++++++++++++ docs/writeup/figs/teacher_ablation.pdf | Bin 0 -> 18341 bytes docs/writeup/figs/teacher_ablation.png | Bin 0 -> 55493 bytes docs/writeup/main.tex | 46 ++++++++++++++++++- 5 files changed, 118 insertions(+), 2 deletions(-) create mode 100644 docs/writeup/data/teacher_ablation.csv create mode 100644 docs/writeup/figs/plot_teacher_ablation.py create mode 100644 docs/writeup/figs/teacher_ablation.pdf create mode 100644 docs/writeup/figs/teacher_ablation.png diff --git a/docs/writeup/data/teacher_ablation.csv b/docs/writeup/data/teacher_ablation.csv new file mode 100644 index 0000000..1a36c22 --- /dev/null +++ b/docs/writeup/data/teacher_ablation.csv @@ -0,0 +1,23 @@ +step,arm,teacher_schedule,lr,deploy_hack,deploy_solve,job +0,vanilla,off@40,3e-3,0.000,0.359,87 +20,vanilla,off@40,3e-3,0.141,0.438,87 +40,vanilla,off@40,3e-3,0.359,0.359,87 +60,vanilla,off@40,3e-3,0.438,0.562,87 +80,vanilla,off@40,3e-3,0.453,0.531,87 +100,vanilla,off@40,3e-3,0.469,0.531,87 +120,vanilla,off@40,3e-3,0.500,0.500,87 +140,vanilla,off@40,3e-3,0.516,0.422,87 +160,vanilla,off@40,3e-3,0.578,0.359,87 +180,vanilla,off@40,3e-3,0.469,0.469,87 +199,vanilla,off@40,3e-3,0.484,0.453,87 +0,vanilla,on,1e-3,0.000,0.328,97 +20,vanilla,on,1e-3,0.000,0.484,97 +40,vanilla,on,1e-3,0.172,0.500,97 +60,vanilla,on,1e-3,0.250,0.547,97 +80,vanilla,on,1e-3,0.219,0.500,97 +100,vanilla,on,1e-3,0.281,0.469,97 +120,vanilla,on,1e-3,0.328,0.406,97 +140,vanilla,on,1e-3,0.281,0.453,97 +160,vanilla,on,1e-3,0.328,0.438,97 +180,vanilla,on,1e-3,0.391,0.500,97 +199,vanilla,on,1e-3,0.344,0.500,97 diff --git a/docs/writeup/figs/plot_teacher_ablation.py b/docs/writeup/figs/plot_teacher_ablation.py new file mode 100644 index 0000000..94a4564 --- /dev/null +++ b/docs/writeup/figs/plot_teacher_ablation.py @@ -0,0 +1,51 @@ +"""Teacher-ablation appendix figure: does cutting the teacher at step 40 stop +the vanilla student from hacking? Reads data/teacher_ablation.csv, writes +figs/teacher_ablation.{png,pdf}. + +Claim under test: once the student produces its own hacks, the cached teacher is +no longer load-bearing -- removing it at step 40 does not bend the deploy-hack +trajectory down. The post-cut segment of the off@40 curve keeps rising, so the +teacher is a seeder, not the driver. + +Caveat baked into the legend: the off@40 run (job 87) used the default fast LR +(3e-3) while the teacher-on reference (job 97) used the gentler 1e-3 that survives +200 steps without the over-optimization collapse. The within-run post-cut rise is +the confound-free part of the evidence; the matched-LR pair is job 124 (queued). + +FIXME: jobs 87/97 are the closest match but differ in LR. When job 124 (gentle +vanilla teacher-off@40) lands, replace the off@40 rows in teacher_ablation.csv with +job 124's trajectory (single-variable vs job 97) and drop the LR caveat. +""" +from pathlib import Path +import polars as pl +import matplotlib.pyplot as plt + +HERE = Path(__file__).parent +df = pl.read_csv(HERE.parent / "data" / "teacher_ablation.csv") + +fig, ax = plt.subplots(figsize=(5.0, 3.2)) + +styles = { + "off@40": dict(color="#c1272d", marker="o", label="teacher off @ step 40 (job 87, lr 3e-3)"), + "on": dict(color="#444444", marker="s", label="teacher on throughout (job 97, lr 1e-3)"), +} +for sched, sty in styles.items(): + d = df.filter(pl.col("teacher_schedule") == sched).sort("step") + ax.plot(d["step"], d["deploy_hack"], lw=1.6, ms=4, **sty) + +# teacher-cut marker for the off@40 arm +ax.axvline(40, color="#c1272d", ls=":", lw=1.0) +ax.annotate("teacher removed", xy=(40, 0.04), xytext=(52, 0.04), + color="#c1272d", fontsize=8, va="center") + +ax.set_xlabel("GRPO step") +ax.set_ylabel("deploy hack rate (n=64, T=0.7)") +ax.set_ylim(-0.02, 0.65) +ax.set_xlim(-3, 203) +ax.legend(frameon=False, fontsize=8, loc="upper left") +ax.spines[["top", "right"]].set_visible(False) +fig.tight_layout() + +for ext in ("png", "pdf"): + fig.savefig(HERE / f"teacher_ablation.{ext}", dpi=150, bbox_inches="tight") +print("wrote", HERE / "teacher_ablation.png") diff --git a/docs/writeup/figs/teacher_ablation.pdf b/docs/writeup/figs/teacher_ablation.pdf new file mode 100644 index 0000000000000000000000000000000000000000..5a49bf0cdccb4bd749c3bb396b17ee2ff1a1a3ce GIT binary patch literal 18341 zcmb_^2RxNu{J*_ZRwe6N$-Mh=t?ZEz7um9|ktm zDZl5TzTd|E{lC3_uYX>r=RBY1jL+wDKIeSi=RD8n3hJq-iNhsObb_T5kdk^jI0Odq zusua5D+_@d26*BjP-Po}jjM+v1gdA_i1&dYfC4y(ygVJ=-5x9`^-~2k4|f6txl;gY za@_V5-i`o~+`U!xC#V|`YzTM=YL}pALm=S2-63f3mJVv*WMl8_?g+trf9maFXMiU_ z%zHAgr`&AQS`4cSS9zJe{ph3JuzyA{h8eWIZn%&pV!DusX$(V$H`kWn<_qn9f62km-#-dg02ZLt`ZLz{zj2<~f}AU`HF57$a{~9p}n&*^-Duj&7Vo+sD6eSY+hn zesNmuj&B#@Q2wCgRDlt) z9SB{!UV~88T1Zq58?U#DGN!jAlfu{_Yl87Hh4f?6z5<377VM$E3*ik1UQW5JOMdgC z;^1QmG4kdOnEUe8EN*u3-1>C2%vLl5)+ca?EnRn@L2@?w%&GH|H!A9RjyKGdQxD-) z9IsYeow=nWemR+qHaOph)gfbc!_$qgO-op>D$wn++11WxMPuRn1p3N()IaIM$1Ubv zMk`8F7O3wGr3h3s+MNYhqQPRFgmxI(%1w)2ZX|A4XWC2C(KTKgW=*Na+8H(#gayo>iG ztSmrhhbO0JTIBYeI{0)J5_HnOZ<3m;^jc|s{w;Qyh>?6&t#qwvVYe!Nb(x@jcl0{N z#)A%)4nq{QS?yJ5ApUgZIyQPVS}V`JLTzs8+UeCuXufQfpVQnYOBwR{FwK*TdoFg% z?g`afRrPGGW3^|FyxJPfc*BV+*_<;pfJ*&H*IWHH)e<4EFilS3aRn>RJ5p4u4Dl)_ z1}P7UYh6#VD_AMXdXQwK+aF1#j=%CCZ!Gz=6BQh(Go4uTO)DpqIVnWP%&eHmul12*jVGzLGiU$0>ZPLBIK&D zTKd&Xo7PVo5s;c#O()glaDym{k=##*qLNj%_I{)7YRehR;mqxW!a!w{O=dhrYlHlG;k@`YO13Y9^-0X> zkc0P{;r+sg!(L)44d$g23lesSzcd=gr5Vr%4iy8NG;D57KmM zPx?$~-D{C{HXv>_@CnSx59x0nF|59N?o3^O%XtP%gLk&<%FA!k@7P~zxq3OEZo=QE zriiVrGg~V4Y_ndxxUEw{)pMql=yb+A{VUEMgXN_6$hFrV%7s!;=fHYJu3t2rv&MQZ z$M9$REOiJZ2Pt2nzGrOD%%Sk&Vxs9XxvYcXCtZjX{f$b)kb#B`sipY73!+ZxYgZq? zv%Ir5p=adQkFnOKsW!T!8zUn9sI1tx+#<)D!Q4p88gfL!!`!In?n;_Wu&a^V%*iyj zcPBH%3((1+t`sF_EeVdH(L%OJTB>=*Nf*_=+et5h`GQs?maSk<$U!K(6XhQCkpW7ER9&pep{ zgvHt9a7B(TdYh0}x1uTT3?xr!uT`f#vsrNeu(Wu}%f=*sH09l2JJv3Hu1!^cJNTxoLPC4Nc(&L% zz{{p-;r_|Ym!22utiIWJ2RgXB$DQQd_{4~mZ_acJ<`jvmo?zfMG{cvRmcf_Nq=xFs zZzBZT;xauB`5f%^P3&&uy|?Wyr+U^jY??oM+j^X#yAS#9op&4#=!D>CEb@oT-tkl*(Hvs=4~>YoLZBo87xf>mN=IMQy%omL z@P%!wnIyfmE#UY?#l7#gD+IY%-#ysJuVpd4)T*-Iszz^ADRQPo&5HI?@N(!#&c>n2 z>7(On1!+eO%^@sseF1{L9drKMBx%Pj4*#iW1nB*L^Y#ch`oHyu*3&8{ zhtoWpV{K9>RA8o=%PJ1M^!&mXSWyhq$V;9N3z1%B2G z3cgboZOB)2@m5hfi`6eJYU(r#$|1^p$M~OlD`)6c3rh=L@W?i=7p@i3$#x&^ZhqX8 zSj8W8@EDbr-tZl#hxzYrZd_i8y)PYe;Cu(8C}Co1*nnwGuEkM4O6y+xr=qbem3nAr z;&8SWtqy8zXt|TMUskdpu^*y{vj}m)Cw_gCagCfA2Co%U@H5WO5p?c&bRX&eXpYCm z!Z41AetyPfKhTgQ?7#IRm#D?u0%1^I&rwn**$!H*9)1%talyPNixA3c*8^2CCM>2! zcC@F)tvlHr4->a|O*o`$z@8A(;9!~CV}ls>Xw0r_Hnd54vY7w*U}N5DsY7Ii5fUCI znZA|PzCEv+LGI6;4|nGm9)iw(%Z#mFl+X}0r3*{ zGQ9TCqD`@@IK$gG#natuj|0nBVNA=bGSAJqGle^IDsG$4ukOV>4^V)cr z&)Lf@m*}$ZMs~Q~(I~zATATMR?69Wmyk;k+-^qI>XQJ5fxwgx__UTLBryIIm#?v3( zi|qa^HDib^5phYvFlDK_a6C}sUc5DMt;DIvRAfRjR>zVht>seNlIdjE^u^^0i;IYVULM7*EcNbUf`28^fi{KEke5qz`@etd0o}oKin?Si{q|1Y%S;(m!qx_|;%S z;PY4Vj}MHwh}a0Yb@)wT7|eg`3yDM-!t@5wWXui`hv{b3(&>aFEEMFU(t0RadPu8! zwR?la>8D3`3|P7Vi# zPCi^>U-Rd&E2{-Z>NB5TcqSzH<|60Ve$`Xy_1dNe+=-}^unTYAdsbdvk#QYxaCm8! zpAr2!b#9Q&b}9etSg)F;sZiV7FbC<{d422wYK%_t)e^D7NeO?((Zg5FKQSF`9L(i@ zjFzC4Bp6@A3#06czg&29W-Au)@|3ovE3V`WkF1r7(fmBMdNiM1#(}vRMcOyV9y*yt zrJYtKS6o`D?mk1i^z8Ym&fC;CGy7$P9d0cUa1!nZB6+zxSBl=hzV_5bX<*})sNhG9 zrx8eRp(UsG*~gvJiQk^bQD`NUJMpf*tZ*NZux>PvR<*U)^)7XeG16VvV;!z*xyP_? z%~e%d*eB`9+mkK*^e*YH`~8o7rsTdhd030_#MrYU-Q_abvB7m7vrz&M5#573!ryd{ zK_UO!40KWz%kjbt%5xrUW6fzaw4@`e=7rpb%NNW#>M9DjnG`iRpS`qW;5dO#SiZ&4 z@=4=M$I;3gec7L0aBSX|vS~_qePk8=ZZ2gtd*HU1GIR^Q;?_zw?gy!;Wr=FPQKL#T$8 zN5h_UM7rL8q0nCU;+~8~@;y`Yk#QAY?c1`0wM^5_qOK%I2ZQv+1hK7C39Aq~TJC`n z|9L&uie;a39LqHh=Uepbs9nQu-`*r^p6Qh4ox(ny#@&gL_6yWS28Ua3G$}nacw?T~ zn_q|(h>C7(xOWzsuc_pC(a=afT$MU9=ZT?CG+pqjHH9XN?ACffvO%uK(tL+$rsuky znJk5Bn~JYQWf1DPV2QP6Z&i6|-Dj=lU)22q%ZzBUMkAW zbGmci(||WUZ`FC}`5r$GTIOF}<`}N{aEa&DC=YUZQes9E?d`7jxa`g>;O#ppB^9>iJbJmPFELgu~n zSeEDUyY3b(_!gv%`AZp*9vLg;(>1uGm-C934`H86;LrrT{nfy{Z2I2BsB$J#f@p@X z!f@&mZt9S$c?j#;u~MPSxu|)j?)RrtUC#Ql9IvQ+W!T4S)>p=I=;AF`f5pdL0!(-I z#0aJP@ak_CbCgI+Sf>b1e+-()O>;OKh|^?(g`O?#a_S|+45lBFPUA0LTObQ{#X zcoV|xR`S{BODVnEmvI(dzcX(&U$aEbrI$A2XV_BOOsM4a>$KqK65qP!3FS2&xf<#! ze=15Ppy4;&rl|yy0e7q;{-h`2HRpon)F#6 z9%gj#nZo@WH)=3XH!svDXXz%s=j|G1;mY#Q;^)8R(DBU79^&xQK)db!r|P{d#p^G* z`BG!(Z6cC9M@nbhuf!kN_DdTupaaY9FhWgBD#XXI;A2-jVs>6CN$5(<@~3BFe%SMj3-p*cUbeXnk-!j4X#Qfr zGT9+-#cj*U4Q|zjc|iyV?fwyc+ohb>VJGkT5xDOhVfInVR+M1j?Rz6~eP6a-Y1Oq{ zoWAEx`5W`4S1-IiX(9fnzL3QB4=C(^>q|~gCSHY?VF4QseJ`-W@5!xJBJQyKqMSTi zSWo+W4N_o`DOjBWo?0;@Se9EJd_P9%gZuPC=tD?}G7i!oxHpQhcpa0(BF&Y9JZd9p z7vHQ3r^CCe({8cP;@b0{99za@D-6WSN->kz3ar73nk0Ff=uCX z(OrdCQ@fA4b*IuvI}A~XG1tAcXVH=BY0$*QvZo^6a$oo3J69^(c};rWUZ=m5KWl9G z__M4HPS4tt-j_LT^5EP- z<_yOR>@V!MH>tlxn(-0QAdwvg68jfBFgcu-dz%8d1GC6|^#0O70M2N#@r#FxGVZ2G zV>G-ScCI_I?zNUBvsZXmtyQ_X?Dew}=4M#|Q4KM1g7P&J8B4r1mIR4PDK7ODdc1lp}Y;H^l<7#-S>I)56@x0%|L@5jNaOFcS;VScuQbbSgGAzpFNvdk;!H*iLIzW z@2cs;7y3&J>j=tI9SljYY@PyB z?f5ssGqXP5MsJ#Yh1WWY?;9A))hb(C5%QPggah-%ZXL>QR6{hE+(r_wkK|X5^Z8>9rh&;_W80Z?d+m71H531n;qsX`v;3Bll>(=9WcYfy=?V}s;-YuX zw7zu@{(Q6t_x@|w`UY3U-o7o193mPdvSGpgg^{YpJz#2v&`@j}D$>%?jUPXp0-%(* zeTcKxbBs%2l=L+LYCM!_hppI5sE^rA=p`uJoAMU#nxNe4DRg0c&@d-`__TA9rjhVO z0dv4MqvPSkqJSa0%j@)ZU-)H-a7hG;B2jhW`Y%B9!0P~HN3*Eck2DgDwCI$X3$;}(;OSg($M zn5q1zc72S^Y;9?%urFV~ue%f5xi9YuTm9`bj~U0_2U=*>|@p$`lm+yMb=*=c436c@!-5e!o&eb&ZoFx66<-BU##jm0Y`lbq7olpE8 zJcoB_cx^G4@l54F zEj}$A&{_;@B{Dihur3_)H%64$;YA4?I4l>F3BrQt)=E28_bz;^i1;|H7L!S?vW zTNcJ%HiVXhT5;r_3+n7k?Vk~LjZaJA zmQ2T<$xGZo=uX}vH=DYbRw6gPe3aWydWDFvL~ttlFJwhxkia<)tkMvM!05v;C^B1? za8_lBT$&#zJqpF%cXPXatbq&S?jsV)gNz6wy%RyE@V`N(I`O~?&dWf)+{nkHz~`#b zd8Wqfoz0hR7cN}!6P^3l1@e-EP_jQ|K@mZXQh#w&BG-#$4ua884qh?X;t%WOTleCO@!viH8=~Sa3C!h{ z3ax)oHf7yiPheR#n0eBk!%SP`e@rL6o<8t#b<^V}r;o)`Lm_7aW7{837uVKgduQQ9yu?E1- zb*=Q-*StB6Jt4zE$*OuJv&(3{lB`6=pf$@S`qY9Q{?*-K8LBppeoO34d#`J;zJ|Uc zp4tOxYxuyHvKsxE>8TE@YtI_6{=ko?0mGTv~~! z=VjMVLs~FKimys6nXh6L78rut`wTw5VqTn?@tX^__6T6o7~9vG#Cwn{#P71j_Vmc+ zy=|`unSnd(<($jYr!zOl?*Qm3=Q>KYPXD`WE9_;!Gy@7;nA7Ncx$B z`_rQXj&W6Hi>-UoW12{^nSJO#tkb*~4bpE`$#ws*zPH|#S>X`t7VCU=NxF$G*`Ap2 zvN5*l6O+OwcS|<>1nQ`1z2TE&pCdbD6E3w_6{GSp zpqX4-;G2Dr>wvuZ;@h{X7{3UqH-kYjL6`ajNEHpFO62d_d^y!HJC}7tND4brkq>X$ zqdTjGdv09UF_5eHd;=-#csgE>F5N!D`P;!Yj=B$pol6o<(A<3Al-*^(X*`UlTXsClu;Q@*z@#Akzx+6VJ%FyrwB`Z z?nDdn^By+>`H4vGN^{6yf%Rw&#JgkfL52reEHQix$8@N+%e@n>TE%e4w|r1$O-g2* zMQ@vYUGdpdVUQq{5u~v)`$QZ1oAJ=F?960+8q8 zJG%pw&=2FVd0F>bJgv!ls=^8i%W#c*@uc%)mgCYhsAD1VBoAL4iCz0lRlH>-Nknf% zFcBR6H}6M}V;Ngu49~vOoreVZn$$c`;hRtVcA;!Omy3ca*T3`jH9Ja1c(7&%XLLq2 z&lW09K`b=1g2!GYVd$1mna61H6gZ%{I1!n%aU_J=0L zDr;LWX4*{&8Xhl`7vQh0*Tn9-sV7Ns+)0}OnNy(kGVM(hUbfaBTlSdpa$@JCsT)d# zy-zmc+Kojv-Oo^;l%h0tJY#36!K7|ycL-bNfydr22JV)5=dp0th_>X*v_*MeVt3y7 zx?CV>d2+%Z_TRwwy4m1=qQgD&%8$C6bZ>`&&>yI~h4b3{X1!!B8)hC7r$+oZ}eGs{q< z3O7~l-1hMPnAwv~l{nA1t>`yYhFizqTBN?$39U$me?Dl~C=(j1xnZR`VFrKqO$AoT z{)yH@^)O{vbmh&lrUC1S-gUZBsgBh>+98q)LU9E_JxtYA*c|Fr@xIFNdwoGxsEl$_tK30cMnmN`< za}Q8=eJX#-gliyU4X;D?`%E1fKA~2<-w&g4%EHwn{;SEc!EkpAwTt|TS8wvk<`#7I z9;Ta4$l>-DA-8#(T~6@kF!H)_r5AlErWUE`u+XGYne{NhQmX13gMq`H0HFcz{Kq$G zmMa~#1_!a_SMH^oIuS0hG!}#nwCf(%Z8AnK@M76$Z`zs}KX7KvvZZ~-e9}PQAUlx# z+n1H44>IS!k&5}8^&v7WL}23IeAt0RVhjMF4)bx>7(__JBg)OhldDaChm7XWO%kIUst?#d59T2ZjA7H8#r=!qkku%AH zvhh70_&6_J3Q~r#w8zT`1Vw$|`-UgRIdZ`-#!K^+WDR;aFq(sv>UJ6?2xf0<||fG zZC0x+SjOfkyUW>P40cY3Zv@6iHxFK^Dzs_u;5J)Z-D~*fY$TC^AOhq52F2~Hh(Rr^ z%H=2$u32&%k(P;|A2{-F_9Y2gj1;`U7B441zPW>E&I|D-+-Lh;&}DZPJGpSf;JT1J zISCi?%WOQn>@^>1Z>Gnqn#vmn;!f=CdKp>T-orbQEA~D_QzU{{FDCO)k~rSIHs~2< z&+Xf328HprVy?jwK2^K2ai7dL=krZI8rmuXotUZT>MR^-c%C2AbfJJ0PD?}@B7g}A z?Cbw~=Yhkz1AuAaE8RIrko&XcF<|Ghb$`#zF;;Rf0xng?%+RkVGTiXaB4M*SZJb&1 z)oFZqD{WT^^E+IGMp5Gl-Y3ghh>BXYBSj~!@Zqb1S6*EqM_USS(06RsR93w1o~Il(_HM|4EI!-NvYF)8)#;(A_y_-(4Fds*oh>9|fr z??12jAy+-_+^2(vCXk_boSL4o(RxWie!=4!4A?Vbe)>Egkw@Sx^Wz+<6N z8yhv_bXAL0T`=3R11`zyq&KzagWqgde7MszI?BWKE~uTz;1EG&h`;gc;`*B2QS97^|Y#R^Z%w@ty>9cxGNkM}KFR>);3c9mMR3bGu~ zeqzJ#$apjhAyMrkCkdHTGs&*!X8lqKO&~-V z#TCI9eZ<{P4(Ld^3@)0KuDnX+w)Bz^Ish%@{J4f8KcMeix}u=b{MCK$n$PW&7yepv z{riV!&h&MyJT$a!yEN*qfO#_gqA_abOKip5+~yYfNo(^cB03}n{r=`9j!vQ`qcU)e zu%7eqKv5X7c~16zalO;>{W4{0-{7rR5KmdzK`#Lbg8h7Kyyzv)ndT~p-Sm*ucGq3` zR=DD1zPL$-U&mN4v(G~WoUBHzYfLu3d2fdW4YPd)Pg665&oW{2#Hwk^$AMaz$%Oi9 zhm&&o&C!cAZMR5`gTB^x1ZzFqv>JYuAtGqU61fummJf%K$=i3waM8Q?V%6j&QBSsy zTSLlA?^~o~;hpU19A0~} zn`R4}n2@j^c9_-U&5Yoburu(gJfZH0oT!g*(p-#8Vyv|Yik)j%IeW)~YiILJ|)-4bDaX{POwprOkKYny_gWM`H& zV`0G~F7>29Td9K<+|?ZM)0Oj|nHrKE&JDIJ)eAZWohdbNp1AJC(#nOVd@KAm=UU^w zx~n%GpQ4f{QB}!4clX>sGhi^feWRqYXOr^YX^C${q#^VG`{NZ+^neX&C)xF1+VRHyQ0t>99McwZaH2WCm+)K84|oox35!euqOVB+BX<1bHWH;ll zKVexgLp?$;KW=9#Jw@Iq^A)B`Lc-$JLuP;VSZdX)R*%Y$RaC~GzmZ;5H%$LiKk%O& z%x*~6PMj80$;Jo&J*T6uuW~|E1%Jxsgs*{(yANol-aZ6nCmV0TilN#z-}4AGnhpxq zQNjDzc{_U&JiH-r&>iC-Py=6E!cM>#*azT^b#2^$uq&nCo8GOjv>R$A4u>J&5OEZ6 zstA_^-kHG>fFB1!tiUdGYzW@YJMmZ&Fc@gLz~4VPOFAgXoE{J+21H(gt27Y9rRoj@ zQh`Ba{|2x9AkjfpoE;qSKnNHZ^JNYJKO^$-w6O!i(E#~8!PqcYyaVBT*4x?9i2wn= z)3Wn$bF+a!odP_a@b17#q$HO83slgt=8*v2qCSBRaQ)5?MFgmEok1P=F2gD&d+bOy` zy5a%Gp#}uJ+X*nEW8=Rg5d@AzA$|@8{DDBtAs86!|3{+xzqW$}OcVteF$(YsQb;KX z28p4=0%r!2QZNVt@CryQ5ON44G{7hL94wCn%w*?^lmyHFzY^V#=SZL|n7}rEBsB1D z3l0Mn09X`83TOx`1(5`HXc%A;pn=XM!GuOY5Lh%FkRTW|27*QdjR3P!5-@d1DS!bW z2y*8NK1Tuxh_jRg>Vs`!rLe$tmj+&Ugh5Kufme_TP$)2A;K-f2Xh87YHh{7~zdLzg zACHif+DT|&B7k`;01_|&9Ro)I0`B&U0{TS*wv5Dr^-vHraFqg-1zvX&0xXBwQ37}c z``;NfP=NpsfI{iOKG8s(9i{wW4!rKz57-k5yn%r#0@(&d1Ft~Z84s|#-9(4}K4$+k zwVMGL+-(8@NDNd%gIocegVjMZ_%U2RuE3B1r=Gi7+GznL2^0cicR=<*JNT!4uoOt# zF(#lT@cy4xK&D_Yx}9g=8^B_)kRJ&&gk2i|?cmq6qiet}K%4j}?brio6F<_9t$eo$ z&>ntHAYVK8KpUWK{79hW7#JEDLx5M%28bje)E2Ng@Hwcdf71_}_;Cf50*pJ|&K1o6 zly=5?_c>VRp9I^y!&|9fgpA~6u5u`%iT^jJY?sKKcIo#r4AUI zoi=v;0-(K}QVxJ2f6sv)1rTbN3_2M=qMaK@z(RI&P7q+~@3ivWUjYNMQ{)sdUv_gY zfaUDwTpg&VHwX9X|y)z#Xy&Wapg>z$@tPP~Us=gaEH|cb@<2 zJ^{{B3x3&*3J-+95TqXKD3!wJ|z6#jsVb@ioze`Mj z04vlEeb?y%Yt`-@;D>=%y*qhdV7S2?9pL z228r$X8(N-GV|lPBK&8R@lS9&R9O)y1humPPN_gwtBCktivbS#d$FH<)(@8jAeevq z1%>_I@4rNlxgX5vfNK|U56Gwk@V%?Fe~a!s`%!k+um6b7{};8Xd3Xa5;s-91gop!^ z8~6jj*pFx}B!E)>D;m%(QH~M#ups=j?gL6Ia+B>7>J?MA+Kt;HaW&2c2b8APW`b8# zAIby-eb8ZUSIpObQ>YkWB=-acEzzkm&Q}}GJa*Dg?+xDtnA+6A7#G=DCCW2TD4)Q5 zmRTfaeN^R0FLPedBV5zpe7L}RC*Whl)H>C?M|gUy{bzykc~S*V)q_Ov@6W^bf0iC_ z*#9X!Qm=Cwq4$3J5gJF5Zy^CoBQH=WkO=F3Iqf}7Msg{iTK7-xKpXsZXm)>Q0jlL} z4+2$S?F7el=Vu3e0f@9?R^Nj=0ss7OWo6)}13)-_1i;Ont{wzeXIqFLQUVT>z=}bf z2n0_bX(-g~pJx&t-j2d_Pyj&N``Q6NMeuVqPkRT5t&N=v(9Mq~fTBAcID5FOfIs4J zL`50_e1!u8)^#`nfrVqtgnu$ve{Z}49k7_A=m6aD{T~1;(7=-A0QrXo!cFiW#Qi%B zj*$dDSO1*`2Uo1$%E2W8z5PZ*050zj8nER5PD6sz;g`C=4F;HaztNE3^7bnY0RxxX zUuiG|?02345{RvTDF+8U(C>BO7z`MS`)fHA8eHanqaneC^;a4a+%Nq`Lt}{X@<+cg z1XA*MUVy;_HY2~b2SZ?in77|(NCe;Q%)qGvQtu7XTqrcH4;h;nOwVWgx zbU44!B(ZPx3HrNV%V9B~ zv;B=G^@k0?VQ>%?{ZbANLxNc0HyZknet}IYfRTSMhXrxeuXTYF{6EUUQGd>JxYQqW z6%NP#IcE@X(Aodm2LcUjDSoF(0kHQs8uHKag(DGvt|frk|2}STj1&m=e)LQ5wsCgF zd++?5j)8L^u=fYH<~R=za3SCE*P8AQ01^ST0W9)>$MzxEcoTM(PdKnmgVPBLsvcLP F`ybcXzJmY& literal 0 HcmV?d00001 diff --git a/docs/writeup/figs/teacher_ablation.png b/docs/writeup/figs/teacher_ablation.png new file mode 100644 index 0000000000000000000000000000000000000000..1f938ca2e5dfa1e43b597f271e8d7fc9ad968d2f GIT binary patch literal 55493 zcmcHhWmr}17d4JEkC(BK$&v{F1zk zkKEjxpWYAhlXH7TTgTTa_6edC9_ ze&Q50&d#=!n=-BnClfZeWyxe%&1Wpjl3FUuuG-F2`_DgqoEKFPY{+9=)u3=7<)Wlu z%eC0rCQgrY!A6^#hwXdQ)2CEzrO3@WFV`=-MhRid<1z)2$SZ}rmlgOPjxdk^0GoHXR6pjTvfl*Rvh2NPRVywm?Kqk?Ap z@!vaw5(WQ%UC=~@?%K8al@-oy!T&BDM#tGB70|=X%6fa2iA2)US4P;<5{2r)#-8&! z_`?q$rJ15Ja!-kC&P%#LyO{rfZ)4`T{^QR7dub_7@+ugzEaVL5QkPMJG{R_UYc|Qd zw~^J3+=kWW23T7&yB+$V0(P5!V*IzjS1Q4?JTqpj3t<+QO0 zuZmqpN&BB055)cNrbq6GYm)tUum2xUM~SOjUAe`iPORE~0(**!YmX=tc}H&4)(Ue@ z;zJI$uTqzh_jTjJ6H2_4@qv5eb2_!3I~IlY7wxAAe~3JJw&5x&SQ=&V!Tl^YcePYDKSKzuxRZmm%$a303X7gr9o-@g*G{ z9cQ}G<72NWY;}A-VPUclA3jt+`}5g3?c+zDzW)A5x0^AGf-VcUX%zKpFaNZq?2ox7 zWo~B|ad6<~9SRY27Z#DbFx&7G1d6}GyE-b!)E4)*TqCei~$8mReA1gLvAfV=NuX^(HcFa?E zcf~t*usybBxc1SwOqA5G-)K8W39%mkUEB|j>^`O?So+{oFkX)H#c1;N+Lf_}XMai_ z4Kr8Q*2>?#n?Kh130GcTo`jx0=0}~U)vxZj)=j<7#&VjPWK;sCQ3G$KRG&8#74dHT zY+?u{y4D(qL;NZu16kkXBjIz8fp4+{CHSG=&)`(|il$oJT};KPRnxW0a=C6@Hfn=b3)d^=u}``QqGXfX%$_$Q-K*^9Gs`GMc$@(*L< zxA1vIm`DZA(_dbe^^e;e&Y#KtF+)TsRva4dK`E)ICz+FzbIZh}L4V@->_h|=_OCR4 z;^-_WD5&}CS3C;~i%zW@GG{@MQ71>sWi{L~};hC4o-d|urd>*07d z)vVmyV4`a`n%mkG94^YNdtareN8OF3Zy6h-Kn>M8h?0i#8O>!$Wf0km7p6*?b$$ zm&c>n-#+Tyb#@kn6hW+~r{}glP6&^_6T)WqXw&Gr<97;^TDQ2h&C`{YM^_kR=tS+t z0wN;tqoSgMlyAP$D%&|bd3t<&jN7yYpFr*XkK=wuRH~@GyrLpjh5bZl&ubnLg|2vQn-s@LPct=~?+Y{Wpc{Bayv&!xX z_8@KkC7(PgQBlg?Hv(OyR$U~dq!{pPB)jU@dkLwjso_6wC@B#v(l5QFS8UqR70Zwf zhvSC(TGstcnbw@rFT10oakQicJ1=CF@qJQlTlrqiEyv#9vd#Y1T{|?PC-RBQ-O)8u z=K0R={;PC1eJJ2*g*G+`w1e*B2)vv zph}T(adDx=o#;O3e!`cPm35e{r`i75)b%xiBX|)D3#(;zmR?0g1%1=!Iut5WGP0NZ z%Y#;{Be~3_HPzM4t*w{f&hFm2g*w`p3bgz7!D6ZBb*oiQG%*UQPXug_MRNcKTH0$T z_F<^dL*LAl&ObRlqod?MYTXq+8CD=CCnqn@a{qTfR29NYmoAw*ImHNBbvC!RUq*6j zj&g#ztu05rO@q&2iTwos+39u@Y)?RLu63hXD5Qqg&Q5G<0aJ>BdK()XW+|zwkld8+ z-^YpVYJ)8oa-O>tbyb|`jeyy}pVa54M;);I-Q`UG)|nZ)Oj-X<2s%>Olc!IgLbAp1 zKR@BPE-D)Ae}KDiUs?GD6fGIw;{aqmkeeWVw{1+7lTuO!Loy4Ca)M-O9NdMZrg^3UMetlgT%Eqkq+~ya0alSK;DdT@0W#)IH=wJqS>jIC^w>UE; z1<&8#A6EFeSs!iX?B*8q<_-0oDD(^Vd#Q74-##YGJimdg0G1g^x4pO+xY!kIHIk!@ z1S3?7o#`h{ErWx^qXPQ?AY&Ty7g4CiUE! zX@Ok)pvmt!QrwUOnI`^(wXvK@Syz{8VR11oF7AcxV1~ukObrw+dAPrh7{~FVly1WE zAd+|ic7^QhYzN4D4)9PMhO*>}AloDV{qJXZo%i~6Z5ylHyu7j`J|kgNUw3yHL|4i0 z{xlI(UvqOna8MA%n$H`46U()=wWvi28+-d+>?`QzTDR5KD};n85Dle^jzd`(_Hfbc z!P6u58a7^ZZB#2t2f*VoYP=? zF`Lyhq`6%CAsU5HeLsJiIn-x*KYJ!ZNJw}Di5K3Ul9J+ZcD$=*V36WM*X47t(gI1W zjgF2EZ58$W{4AyL!-q1+?!UbItE(lj13sBH-1u2~Rm_32-pMJFTEK>ume$e=DqAFS zvtePlo%#cVlqj`(_o5s8FHF7Ci;D#?oAcCCH0So4oaZmWQ+PO-DQg=gB<3(Fn3tW+ z;MdNVg?xsCjw$(TR4+_Q&W-`90RTybr38&H&FT$pG^!jH8mTT@1==F zW0(t=)^j>X)#Ek}x?(naNoVZXGx0%*v^dlGsB4`j=14Ym0dXlrAKT^hvyrdtc~{J} zE2ugE(b|hMP5x%TDga&5@9*u!du>3drlh7CW@q3qT^oMUFP7Lr?aX7yD8~3Lt=f4`vET z&qC3Fto*X7$}?j^TT3gjtW3DRp&|0%pYPr;<;m%31;7EnDmG_oM9Rv`J9;>L{%rB> z5$VE#9|ov*$?RiP)D^W9VJxez7{x$r!aZqqjXc&>c1^j4(i~0p7sX~xmr!o*?)%X= zD1MXL%TQp{Qm-pNJO#ATj3$2;nhm>MQc*!EBL-PGA%Xm}X#-@X4c{(dLBU(2dG|`8 zph2lOpKlGWetufnevyC4SB3#%K>>aV`RU)K%=;FS5)!{oD_;HDTk5TLTO}L+Y(k)= zrNzp@5xF7jy~nyXQB2Ik!xMLL|E14*W|Q9jNR}L?ag*OQdV2cSG$;SY7VTSldenu5 zg=DHDxJf!wIa%dRJXbxo!74XTZDq`%u`r8|nI7D;-v9ZMT zH+@+5BDn>$^3@d$4QbUgW%zXKx)*m@8-J)hWC0iyRVr;1zto7q$IN^Qida|8)8+Q~ zdg#GW&Cp+=7=KpHJUx{ZqGnZt;4RS1Rmon!M3IvxT#_as07AmT!@uqy`u*9ucEfEY0D$H@ z$Tlbx;MU}{v^GGkP{Z%Qsc0YA-`#D2$17;vlXxjp^#Syg6o1p9pFp7iCSt=I02?d7 zj!(8p!*dfbYvkRz(1K4C78VYg{sxE~fVr=6t_r2aR5ZjGB!WxurpuQvXSpnPGEY$W zeky#1$8?)kQN7mw+lOFCjqmLzJ_CpmM8aL?CDN{l*bdAMWh>}^c|-~gYB&O?>^5K@ zn37O^W z%!YNdBh8BEt%96ve5Dw88f#f7y|dk)d+i`*E8wF)=7tza$lvTBs9O=wm})VB#bx8IPRp z#xt}Go&)SANN|$LjJ*?0YXNYPY_QNkWZ701ulGT|%kal?fLDP8FkUIe#Kgq-HPg-< zZvIR|L*vE7-q8_u=HOib|8cKh2P2!j^`owPU?8NTLe%f#pJ(ALKR=f=CFP^BLX(yK zF?*wh(J6wHS+zoFl)t@wt74tRUM$4R$Jc@m3=URoR30DAzrTwha|vgZLMRcX6Qrox zZWnk=mjdM7E4pL9>{13<+br~_d!tZ+KWm$z0YdHkJ+v>iGHdX`0@fj=-xZUjah=ut z(IZZ=az3v&C{%{5KM{bojp?f5W_u$;L(A`99w&=A(!LA~9L`ZDFEXj4g7)*$tBZ;A z>8dB1f6&B4L{!s9P_})av_?XTLWl~xZ``miDh^G+C8VdP&&|(ckdu?6(dapV&6Zs! z&;%BGx58K&sc9^at1jtOuZfsKL(Gf< zxQ9v#3JMDX0uWWb=+3u&dAeDEQk*?KsZWun zLt95@erqdcs@#?!c6+)?fZw>9afE0OIux({--LhvY-cV@+)^(b7HB$S7J7VP0O>#O z?OQ(H1akc*ndN7D%gb&T=g%P{;xgR5b7ujXp5wy_vwhzx>~8O>03mkWmroB?9-v+w zi=2(*s)ohJ3JlNAjP&&M#2*j5$joHOka^Cn`FD9?;UyexbGW)?SAJd|zJ0T!qvLSR zQ``B_tV(IPljANWr)NhS7^raT5DW|qVaI$W+`>7Plg@i7Xi+-~%;xixWrpz6z`#Hn zly1KI+e^iwHhpO904{EB;cM5fdHm`orMh~x*R;v6ADfuI4wLh8nKa-yK9 zn5*Upd}`hQH}W&{TWOU*SSw~Tv}gkWb-QEeZ}tE_>O}Xh z-ntY};q)UF(no~j&&Id?$wGnOfXkeuVPRnjG%z$2hLc$dSfmo#>2Y9V#;aYdumhmo zx-T)Fz;Qo0FOU5rWWBVT&%~xH?5Wd4Y>Dh=s!Mm!a(cnQrN&8MU6XV5G>BuD>2$4q zbKPN5V{PIWlufk<58@0A3`!vpm-}D*dqaap3!0di9BuuOns+H%F?HRT6ta2vkaYt^ z&cHATTh6vIWNu^AY15b7f)c!U@1B_FmT?l`@@-KDS--x6gM-P*Qmd)Fdufx87*mJSqfH0+xpjc~ zWpQ-YGv)VpqLXWCB#mlZ*-rob^iKhH7`e^U5$4jJ#O><;z3B z?Un#{tZHj(iypkcbK=2Is$XtH2%y3O>WJmy(w1rb+qeBt@S7!KtY95BP-U#u)zz<{ z(xko1x@%C$ka$NYCTuUxPX&;V6%i4!f^LFWP*Cuv7x3`^wSRz8)2=@zo344vaTQow zEe#EGXipxluC7`xA8by)DJ&=`0U}Dem}g~7>s5X28?|J??B=I5y{oU@XJ@wn^q+*& zJq2)mG6;`6xwiJkC{Pruz6r24BsgGgnAlg$q35-MF3TLitu<6OEWga^y1H^;w92@& z@=5>@mcpl&Km-ZLEKVXv>&Wn?@9`@P^NfrP&70KnxP=GGRda@@NuXpqj;5!kgisF9 z8gxX|6!2m4#KTsIKnm_$+-)bDhO}7@J0=W83mUSPqM{;XX_L@;2Y1zb?Y?y1nn`(V zXNSb0nB5pB6&lT%^fX z!k`M|y?@_^O-S4R?*04R+O7QinaS_oF#`{D(cann)=ea7eh`v);Npf^F;YZC}d@W5)OQ4z@+QUf6jE3MamH;bQ2EC;) zw5xd^KlVB}I!-||)P7F#cM9t76u?9SNF>Rik!b1YSR;{1K*dX&Lw-klElBDLZ)GerWme9lsUccTx*AnOgydJaXD^6ay zv??I>Rc8by&-eS4;&EeyL`7fg|KzP!USB@44x+dNB=lMBQIOe026J!on>>iLIp~n} ztDLTZ6!!9(lm{a~VuS;LRvI3YxwUmLw4ral|8Z6PV%~D;`1CZgNE=N_$z~j0QD5i2 zP6Z^XAcVMgD6=@^qd?eW{Y-y(+^_dbsk)%sl~Yl{M|yc^pb*j!`X|bo`FvK~?_x`$ zG3IsA(f3|Vkj*G1>ZKJ=PU@o;KF#BDQFOkdqJQya2X|h0XKx4&077d4Y10BL9fnj6 zd-V<^060y=kUFuSJbAL?)nO|BaYR^D6zR?Ya0O;%F(PDSwflNfcl^?l0h|yLDk^pz z*}oBX8!K_R{XGQu=1~^yH0l-q414}9>BGLvyR^qaFXL4#P8<=JN8rNJU zYLo#)DdCrj3WQ{ZO%L0Ybzh?hNWc7^5%A0%pp!_iUE?c#o|ctq?;=(4swX=C-OJ9q zL|MCWm~&rGs4D=-K@|&weuoj@m5hvx*Wnr^GYbpSFU+q+<{U$=35>ofZV8Mmvxz3? zq}uX|pH$~1Vh9;zj2})z^_oJc6G-Zd5;418(s@}~%}8p7>eEX`P9AAO%(62mdx0yZ z@~iQy_2%~qOL2RlPJ|9J0Csi~Vzm8p1r$Z>062HbziiSVTZyo-v30u8?H?ZU>DFtH z{-=3sdQ*D4&?$rZ7zrs3;eM;VcA3vlw`GkReQ9QAXLq2%YY!&}DLbqs5C_TveFv>Q zaEm(!2kj7+8u{wifQw*}mZk$>1(l!~lu^YPkSz%S3Glg8)U1x?xApcCK;A7ds^T}S zbO?v10#S?uP`(oo%P?@HmK~~yR9qG)6mr?j-?!13l*Y^|+gOMAo6k{z2SJ^tQQJ#x zem2eO!lI%pwzjtEl25TA!$CR4LAL+Pm+N%0esoZ)I_MR2bSOw6?+y_v8+^JTKS8ATM^SDJ6P_AOlOZ2zo zOiTtyN#&K6+R+MdHKm>X!F}}RZ;ukml2DuaaJAQVk(VIb06COD!Zs5W&=pwuLtv=# z6f0|hF^Gg&9Ix^Ggnb5uh!K~YLUSod3wa+J!uH0g$>~r=UnHEHFoEdKhA6co*F4WJ zxfxErcD|k?%;h?Ajh0rW;UnUW&~(}n5s5<|Yk#m3Y3xjb-9Mx8@v^yg1t@#wMcEx0&Vg1+^F89u8nT=vUuE zM&H@nBa@0*td^DqQkyxn`zf>!ge-TW0ssI}P*AAwhTp$;k22={r%!|c^R7G1paHVo zwz0|UE(O4O2gF~{!}OR-Nmi{pIp#LwDZN%Esa>kJ!ZsEQDeL!~ehu6__FYv`4!+Bs zt=SM)2Gl3;JQ!Ur@NcgEY#z!^^hi$nJt%>EualGzsRNSp+}axcwQFz57>bML3k$M_ zFFf#N1@671dJ7-P|ILM`7LsH(R2xKc)$Rgv?RIsRo)a*;JTF%8sc2}zbw3%($;n{= znh6aF!A2-YGyi{-;!ZQSfMXBpItLJGxh(5@OaeF4UfgtUm}(Iz;ra_VhCwz4kZ8-~ zWOaL|^1XYAY%|>O%oC`fz^=u4IPb~A*7&~9pSwVu&zFXTggCppw!$vYt*q!<3dPm$ ziinW9Z?LvjIVgZjqcyw^ZC_`a9+*9KwLr<5G>0&zDeepmFg0h<8uU zf*E);kJiEyO9bmpN+g!sHyrBEo>4Ws2p-?_^EZ!=$ky&vg#v;rARsVP?_GX9l+CsB z{}Q&1Zt(J|dG$edF$a|s;N!~bDkATNAw<#ul#gLp6qHUx;DvU*J&{Z6Rcb1?*l+MO z%q=Wj0&j=8eHB- zh~lw=2bchYSH=p-5lQ0k=_%M25OEEJH6&$2E$jrab$fuC^$}DZ=4mYdAkaR|9-aav zHVmXNA{KxDP7Acd$vA5Jdj$b7d!W3%c>DI+*}o3k;vDZ!`?Lx>q9k(?L|?ytMOyzI zz^m@B(P;spp*S}@HaNvr84L4_QYWrg{a^C-EAA6mxmc>0Bez;L2AC?Y0UL&ki+c;C z?~G-jLKXpu!2jO@e2Pz}N?T(;ChjoFc;?dxm2&VYVBKsWVZI$ME-ngr?>$6}1b}ma z@DS7eY>ek8)YEYJLeGysZ5^0;)ExBhij87i>4~1%lJ3**J0sa|wH+j3 zpSd;gr&OIlYRsezcYIp>{Z_o<&|?dn#h<6|2i~2?^1pf;{btmL`FDix>}zJqyM+U8 z(^C(cdV2~$qDJ@x=$j+p?i4Og`?;{Ou~7k_uUW#DIlH*DfVu)=Nnn4P_U;wX+^P7k;MkfIH5H?#wQ?nJ|hz01uuU?TLl@d}G zWq5x_2No3-m42hIB&fwDwuAKAA9V?N^gdJ2vpD*qc7W_ej0(`NHABHiyeKHi-sY~^ zuUtGs_S3X*I>09~{K-gs?1K&gc#Uq`*>Q_KnT-OR$_V9}_auRRJoDfFpsbRTQZw`m zrGEc>P$c$;HI^OtJ6_Uf|Ni_$egk5F;G-eNiph`h7BCK0@7lWkhWzZN9&kdCJtk1F`PfeQ$YW4ZedxLZVuM>UU(2oEko;tT+J@4EeXQL{buk?2jY9Y%o1g3zGl zwI(%rTjtMPVTqQu%;dV&UdiS$jqgtop0u*WAMTyTu2z)hb6U}$VCryJ_)(I{Qe(Bq1ifr+C*9l;sDlsOGJ z0Z5sZA*T6CP|wCc=ag`t?K%b7+0Yo$SX7NIyP!kFBbrLguu8 zbYz3Noe?@W1MyM@z0Ld))E!~e1`yt@jw6lZZ6SmS$A)-~*fozIJpzMINcc6L@cjII zeYH#A0P1ULkvrD^KB2vH2AaqugnDonpi^O#1ISh?k6;=63Vgk zAS8JKguMZY=_DpDGt~$GU;$a|KVTIN{{1~9IHU_ZC=(H$JiUl1sq3G{_pij4*%Euw zD?@h!Q8PN|m)qj3m?s*)m2gGY_?Tc1258?A&RhlbeFqGEs9UP41R%kd(ZAC?Io@Rf z#X!e$B2&V}GHzhH;aQd14J-t`gHi}oD)Z(k6wwFJLwI?6Z{a$PH3(R?Ndt}^vrgE(pOhLN`s|Xgq`|!?eOA7`R1$j%$ zcaxGpc-M7DIc^gxFskwU@2PaS{X?c3GW?htpnOV^P+&5jy zQ+?yYKwkb*07JO$)zf0}SG1Ck{YFgsrFszQO!H>++Eyxeth=FwnobnDiw z>_veddlOBx6&AhLoLGY||hP~aTx9?*H01+lny1GHBY{j$+wGg)4v$}1q~ z%Q-ujbVn!N8kk5;#qQSasne)8s=+Rmsp>ddmHeXcDP=UvRQ2e>Kk5RF5}eyyFb@Bd zxLVL;L3kkLnRw!rv%sx8@_cJX67lWr?(VjlvER6Hqt(n5U`$wabZ}LbxUa8o$-}Q? zpfV9dchBwjD@Pv8tAKPshYf-KnDlEAs0YUoV%97zElrku$_^|gIE-Ha=imJ8TSd3H z0-{RB(J5ceyrt~%l8bXZzR}4g!^rgO-J|=W$%;(96S+AH|EYt!vJZbb!Xrb=_)5UF zktPjsK>1&sG6bZzo5aJZQ7|&9)7UnrxTEX~Xx10`SU6y>s?BzcH#atJpBEUEm}5}! z8z(QjpB}D#q{v2E9xit_E-P+=baTp+hf_cyVxo3#wBb)etZvtG;B~a_%g#m+RX+| z&XTVkJS-$6BmvM7SwiEp0tpffD))Fil)p|+qCpYnACm+kTJue`!&Dg-x8llGlgW%~ zZ#EIYlIBq@t*y+1W_zd|IN!iYV1pT;8Ti8BX*kOKuIX7f-xL{!Dql6Tz@xhB{qJwZ zWFzo;av=WMh!nF)PD5P@0Um1S#5XQw>OVaWQ`RQae`{}Nzv$E4ab{iquZnx$(HN_y z_RwjD6G$khmJ0N(+kt5Tg-giiB`W>cObbKV6y?V6`x(R3j z5r2Eo^mAWd*!EH84*leb@8C-UMFbZgpUes9_Lp^ab(8KeN|0k}@eN2#=%y&fRhREV zwQg=}Lu7vvnWO#vKrnJas$ti0r~!{VvF$*53lPYNy`k~~cq%xqY`TV;n$RvfgPdpF z;G^SU23fkSaWJD2?7eTLJgNL}#t?o6Du`MhtlvwvtfjcFVbs?B()BdJ;Gpa9Lk{p!b zWYDi5lOSgKu}?;NMHw^TQU?AK>G`4C1A9f>_Mid)6_A{$_1Aee?YTATJRH9`PE!HQ zR{(5}INSgT{x(oyf}sZ@Fq=t0Mjsj?0sjgZq@>KPtO9|qQI=lbnQs#m6Qf$^$w)H~ zx#`Jp9#2L=!D{UE56~Ub+kitKg@R*3buJ5LiyLt3p#Vf$!Gcp+S*fJ1-U)P$3y6q8 z!NE&L_^yClf$zoyV)hQm9Ip}+gOC{pV7FGjeWbqOLGfw*@ZjLG)fE71YzKWjpU>7S zHy_yl{>i3UWrAi`fa)FM*{g?1!aA!pY(DCvy*a1RJe8x#V>e9>OxN#?4da!4Fy8co zF*ovtLygW@(hJ3w<$VJcl?ZKyn(39-U;ZD;*>@ahcTy`Hr;`Bl3W9ouC{^rg$;}8e zEd3k)vgqmZfSQ(8!s_~ZIcSolfLBVBo<<1)H7^1m*5~Htmi*xZH{1g~2!0vPO<7pR zYHCs4-hjXpCckT>9)l56AFwr>j3P!5ni@{$IWb3%fXD`M4kg$|A)x6qtmN5-_z$EMnB9Uq7>e>LlBRlm0 zDOFAF$~uC$_4I5(LUjO_IkfV&WKDjsp+Fw#swpZ48yFdt!!4B}x+B=yN+l5GM~n(p z31Ui|<4FB@ln`V(Q5#1`M1}j0sRss!wepHDbWq@Hx&}dRg~E4WK$DO(qe?)rigdWB zv1YUyX~?U|yZ~X;03_fPa2u9aRoT9H@#3Vj6>S9-zwhhUa8Qket*xzXEG$}V2GY64 zRcgzfIkCKRi4%0M?3tPPRDdMSNq1H>oeN66EXkxc{%hV7DiozrR0noBhtw6@vc=y7dWacz~P9@muYHgMb2DJCDGiq zwz0vtcfbOJCMg=7{KP=Py95#rs1nA%I{OL=3h+mlT0sSYL;2wgo;Wg1gmez?f{gG> zJ-3vLrbAv{iV8i$sQXB5F6?EVa<3XAD`Z+wUoDf{w@+AP*LUF|;C7a-0wn{TUnx$g zWNB|UaFl&zj=YOZ$t!>IY+n}V`wZSCV1~Je6-#ir zR5fRV7k+%G2s>ww?8cGVWqJbm-f9aIB=Y_4S$B(sm=7_`O_x zWpUJe^li{$U?l-zz$( zyhwf7nr(;#bH<}bkFr2TM24mS>?~c&=tDp?KqQMsj=l%jBMmB)tffk zy4wFbe*9Jzu(Yu{RQ`k~eqx}pp={8n)8U>ZE!{h9j%isFN#F01(Xjtu_5W|=w9sK;YxZt; zgpLv(5$TWYEYzZ`U+7eji^d4)HlA6A;>Jv1$zfVhEHX}5{anP&s45YHkT>g(2%^p~ zYn^;^T>oD6VyS3#>9doOVV>2UOHr{UghnXT*@2rh!ygW|*`WUos&?N||8b=5EA6Z8 z`s1jmDSP7cLe;3qH7VLCjQOknD)pWYAx=Ch^*kS$tFH7#0xkmPiwXYx*tu3NOxp+0 z7Ov~nXvV7HZgtfJPYLA1d3gvJV(9|?Co+zm=Var8j2_hC^IoK2O_%3$E4K2Pi#c8I zW4}itGoW10!L;?FnC?CE9_zkCvQS87Z+oFby0(w6%)<6f5@aHjQnAr}8q*){9Z2zS zajFh`He!BPnwMF8dp%GnSw6zSu5-NgYere4Wi{#VS#qQEvS12S+S+=|sKNMHk|`+B zlPlW-xKmRZ%Tu@M$~&J7MzbH(EqpoQ#lq$NqFj( za~+0!VY-%r@|K*=rK#2A;VlFL64aE*yc zr25~SuO?&C>)?WfeA33pSA`cBZXa>!4)?59-5ko5KbYpnvw7JLunZP2N;udV6?*vD zaj5itd!2ArPTDKY=CbnL%??#mfKA}vFIS|Qa{4Tym|7+nG6jrpcTVVY>U~qF$hevH zqm^j)&vVi;UrNoFKO-`7AV4tq1=A!xkBmF2MlMPu-%CYxqM1E6uo;!=IkJY~GtN77 z2T0@NkxAv;fXobjw7aT!}qA7UcUc1W_tj8yj4zV&zM2goOA9iqry;X3Z4(@WH z>$^zB6%6Tq`wU_yQCs@jP5Nk$C!v*&B9eENRO0)Lu*u|E=OhZyR~0%Y(Q^{scNK7% z9+vl7fa2TI>N@e{h3O8P4VGH~(s&mLdWW8L0{(;$EV?yzaS%3wT#mqNj(2WA~gO zYOw3{ViRZQ<}SS`QS{Nqt=Dy)Hjn6D4N?Ax6r$k8DtNfvjB?#|m@Y-E` zp7m*Q8b#&H5;1`tKebSuJAT_3unt$@j2JrAa8IoNjaFx7#Jth6MWNP;jj%EzBGOry zgA(=5`qXk7E?)6u4=9&twYJ8Q{wr+n)cO2D54z7jUQPPKTVI5XTAl1IAyo+oIb=%cr{5_djEsbYhlh_%2#Jf|1$TYMsac~h9$*QB zAT@5Tq_@$<;`Ko=$F1at&Wt^{pBaqjZZ{cAvp)7``^CZ;-TZErVcTUpn>-B>aZHr& z*|yS)e4X`g|1yCrM-WLT8jgx9+n9wc*?O4L&ge*l`|~BcZ&@}@*rHEG3ewVGAe_SP_iv3) z4=|;d7-U1yR!V-?(zp8)!4sNwkB1|PGiDJefuAU}44uSfRQLH2;r+W&itihw9(3fz z`C_tmbe6`ahVWYe0w1ly66W%%n^ z&aaG8qJHHP5lhPmN`m`3qI#B&*rFm@@az;|m_G00E#b~rbAL!O2hEOm@7^iS7;-vS z%|7pD?C3%(beFwmww8tX<9{S-$Jy1bgSKPN7+b_5w!ta`jsYQNXn+ zXlRfOWXcNYK$=vx@|Dq)pM@z*KKmDo!?oH$i8@$(R0&`(=;HUkRpod!=Xqv}`Y9S~ z=R}b{K})-@u>4%c>TMnC?Ha=h&65%Y@AD;a&ROZCEjH~=0v3H9Nuq`Va6xs#rV6mlz#ut#C9E2D$O^k^d zxPYaKi}Ew1r9WK541i>pQ>40cDBxV04E~|p!FMVCe&_DI(>k@5-hP9lMORb^J71sQ zpDlr`6_#+3g12*W?DY$cV&oCRyZ_@(_Hg5mAv>jTPj4;$rZyI4SHGce1rHP!{92CA zZp14ITXkNE>w=l!7GM$xMAHN~SxyX;lyG_Z9@otDs445|!8bX`@3o*6RCbK&jq0-X zCmxK9QV!@|aN-CBet3M3v!L)RyS^ruGaXK^cX>-QiTf`Jq`=TdA8oyBuS@58qx`38 zoAB?q{batep&=BCl}*_*Fan5vaQdL&L?I4vXl*C!JO#k|9EONaFxCm`di=ee98FCP zy}KVzW%h^yN%j(oo_r1SpNpI{@+9#*B^r7EE>}iRPLNDgF;< zrH7%55@Q+SIObO#+`W%Nm64I{jyYa;INA(>`s5n(O6jA%vZtHdbs$T0a-M==Rxdr< z+71pAb1YCmVHNfhtvx;XNE;3uc&>Wwe(eL{Vj5@U+aN-PLK3T(!W!IhN~@e$gyw|w zZFJ*4TMtzbtntS^S2dRRV~_V@kiui+*d?Nsp%pvzR4AAE#HLA4!L!;3v?lDh;mW>5 zjDoK2uwOR@NhOY&vT|IttfV9j3dYoRehHz>!Rd#L@jwR|4WqhXL7-mufkUHWmTg;3 zNs(jd8$uPylpDUdtMTky*4#H_g*+dHG5|Km^%_+yhoCYoC56(Sjy@JgRaMpZ{EP-%ZHaCP%!?ocAIcJ-P=`tU@2uzWxa4YV z%NLz~%C)`^xMW+dqZS1?i|=4#TE4F4T1IT&#kfabW>R8fX31}S2{rbw zQJ9VCwnteb8_VnjF;L5-p3D3rvUirAN$2NWc9b$&nW_plt*g}dXw5VdS=;ja5bJ0) zZ}!`5dI@@BcdCBOW|HT7S0M0Z&by*K8*29mHDVrCWa%h#y%E<$_^0pRzk~Ut1(?$z z7+Z+@m#@B5zc~Vpw`KG`=t&4*2Gd1J**hODO}F%TGQ0i^{uw-l~XOE3@P7SH}{Wy7RcNmUh8X9+O9Sb)N)dxUs#k!SSa!8_R;7z9AR{31CeB^!pA zU=*hdsAnYW!&h7&GyXifMV$Tl@VzeZ^&;g8vrCCl6gFaYCRbNreElsI-`?AP_MG}f zFX=Ipdeq$h?$>|3NY)?|!#T%^zEQD6XYsX1U0Ke~>vE&lEU&ZNNBD*a*5jLr>kPw7 zVyn73I>A5@CkdFvu-uJ77)nrLok42`Q^vlr#Ih|&|BB#RKl}GDxVKjiX62xL@5qu1 zL}W8gPR_)gawf`a;1w%(g;a_FR&UNThf3xz{-wdDQm4%QHsqSKF4FXC{00Cb@6#`% zP${J~WZU1Do>|EF`P|TCVUDAve=)Y>oD&kvBFcNIaGtdL_^d`_;;--dOXCEXDDRAL zeFsx^i1JrV|AUK%P%d+;{;yX;1fLWemSq`M=PKY8SpY$az3yYr#8@K@Y7P3_r8t0mX0<6 z*|a!+myT55X{a4?a?<-v{RQ|DaW1+K@GVM-p5BKoSg6h4P0hY*W=i;8n$=Sq+sa5n z&=|{6?8c3wg#JlSIudSVBXSjc= zRgIWioQ@P>Q`&xn6S|h6}yzL zRG9NclMVCiQ-!EOmW@@FJ(QNZmDQatt{O2KzTB&pl zyi-^8l~GeZjQ62$^y@W=j0pS>*ByC%FyGhEXxk@iDCa~a+Ko6`#EpK)17hVE2sFg- zHbR#HQ+il_ci2Z}o2c1GYZBI5KhNpvbAKaLIrtm&sx_`s+`Yo|#{y1?R7Ld_N^d zWttsC@^Id&2vJtQ`(m46imMRUq~UY3*3u80Hzdp-3Ed95fg$sEDrq-ai2) z5LiE$feeCC=*L9&!)A80w05)HpP}4X*y1uu7@R%_-LM_MaiwrR&YXs(qqeck;?Ve0 zZQt#m>bhhNe*%O;^fRZe8;SXuZYP47*mbzARyb>mEjOt4jkeQRL(W3HM``leLpHW0 zUO`f-qy+8dweYlmn?|JzT4TecDWz0?$>Y2S7j1h($P!~3J$tcLYE_Z1y3&>oK2c11 zn-uaTOlg;9y~O#UiuZdh(;$L-xJh@ZSjTN_G)9K`$1D7G$4}>=tA4+2a>BEla|%Rm zSWHYOsEewu$-=SF;c`S_?-s^@dj|(~TTzk8)9;CcgYj549+&4a4GpeIIX%jJ_y0xM zn}>55t>43+CbL53AwyAyGNlwshRhL4hB7xuLMoy%XDTz1%9x=fk|{-Gh?Il~nUj>U zOoeyt&N;v9_s{#j=Z|xp>-!bYv!A{1ec$U|Yu$6K-#yG~?YCwM$jQiL@@^4Yoy|NE z$<7trI;okip}~()WYU_kW@m1Pwi=FZIWPqaOVvnCuqwNM`v zjB9ad&h$G?y86rarIFIpN(IqT+QREWY9d&Qajg)3AqyWcqz#nEy;<@2T9)y?!e%%5&voa=ssE zYGuuNAop^`e4~ThS%E<$0k`EdDre5TqD4ZiEFI;fudh#Btw@jTQEsj@6k)`iD8wyo zgJ5i;#NyGBxVwpovZ{OwCyv?PWuMwN(i?tQ+2wr8SKu#PDouqV#%J686FcXwSL{F9 z+FC#3(c-%i`EL4=ALGJ623~>B7Jy_t^?)DMKQ?^PIq`1&9vxQ$z01S3oNM;Wu~90G zj2=Gu*%MMmQ9WuSWLUkqqPKj0skUa~VmsIU{TvEA4rwvxh=>@-$}UA3+_|<=9HZzsHk)zj-<8F#B1%XfZZL9xKLSEAckJsGr4|67=r2-EHL=PQ;1L9VbxySoGZ zLdYV$A>Q$2FW-{xsyX@l{qBA$@1giSCdE_NBI^ur5Jgw&?^=l;X^Ym0YWzR-Wp+4Z z4C#NjMb@~0f+*!Wq`8)gimv#B?(QZxlasM2qtcTF}BSlPsFu)AUrC9+u)H( z1~-{v0b)xzq_IpO~Jq*y<*W7{;jR%MI}Ri*lH>bO!vyy z2&BvOow5^hTN3eq+`IPL!3Q8MXX~GOzd8B+grRUZ#h~X+zTKLCKc37YDv2h46`Ir# zR{Nn{2=V+z^n9v8*P3dSY<(JMyiY=WW2C|yg`!&*wl=15B`3zTH)`tAl%dx?@vF34 zzjI-0XlRN(ega<#?WO=wr3gQw>L-Y`-#%t;00yD9Hy$O26-tm}Fr+}c$h16*R`is- zy83MfzAb;t%XO~Iu9nPfQZ{qFJ2j`0Vk>pPwr_Qonp3HjtB9t9ihs$ zOYte>ygusr&z&#?lJ?r#S{mrNJ0DCgapd{<9Jn`vP9|ijX<5}QhC5}I&>IaU4J)Xw z<*zOl)=#~9^@>noi02WyjqH*RDh*us61mO3%p7d={L%-4qe9Z^t1q2tSH1YNS@c_i zGmk!8!8qQj`{|7(r>AYN`$oh$)0xM_4dGeD1sa+m!!?i%AGmaB7n;H_ zQwxFaUrj>;`tdaItB@B&Jz>o#zy9xL~vHn~}va6yyctU7_*rd(Md%s#dEN z@hpAee|B<-F~C(yRUZ!hUSo%FlivCQeSdUY=~R14Zcz%W|sBTU67&dQlzaLdD0qz zr|IUK(EQ8yT5#o6xWs^7QuD`;)g+{$t6ly2b$b0LMr>Nh6p6(`w$WDiD_7VRj*{L| z!RHrSHt%9TfAYP?qxah*e;!Gc3uq%dR65Sc?%!`WbQ)76|BM(|xldAX-vRPb0fT~Q zHV~nRcq$7N*T~1Ax};g} zx~7{D9F6UgO%u}nLhVbOgsCscFUj~V|5)Sv`-zJIaVr4T&H2Iw@s^7#a}_JEaB!hB zj&gaOE;A@9o;E%ZkoDYM&>i}Un*sL|f}4NenRJ^!jfPO^6}gTdy=!K)Hg4-DwyJiz zU$u%M?}T1W-0N?}%2HlEt@8=+lL_mBQi~B zwhpJfbF!|jNVHNr#Bf5fnMpZ~at()|4~JSsF3?k0vr*o!k?oerzN^vsO?-=@#~9&08+p5Ok+ zj_7gl#wnzU`|o#e*bx8y3aEda`>!d28*?K;_7uDLt^@H=_u;$+u6e<+Pa?xS`{i<5 z>;BFzGM>=8>k|`kS*VNg&z#Tj4=(!$p>${%cG`vsZr3a8RRU1bC;!-gb53`IeG6D6 zyD8pRHqrW_k53U071hcaYr3nz0ht^$Pre07=Uq3mZPY)))}$m!zhCl9n6w(-o?8*I zXDf+a3)@b)!y~;5S?x>3Ea5(g&0c_yUw!y+ILG$=T?J}6v$eTuv5o2Gam0EFJR57U zu1}+1ke?TC!arVqvQlffa>^ZW|F17o0g+rB;kz$z^o=n}M*cLrdCuzDrFE^-?l*$4 z;)24N79u^qPQtLFVVOhYVGX6QuyFdtAzUEf6R!hr1H!O_MF&`fsHc`UOgSt%+NoV% z%#R#2xbTbSwjM9_J;P2@+JF097q5K|z8MscFF&?*IGsEhH*t}8g@W=?2|^A~KaNfg ze*O&<@bDv@sk*zmo_{+Kt$h=_J6z+|Dhf!O0y9JL_V$8aU5C_ubTCdXRQ-f)Z&tB` zsGIq-m{E6pMjFv1fJBf|aZ-Tu2)I-bt?NzWPoc4xEum~)>CeZb#` zh3e$cn~nJZ=kBhi{DR$8?-&tbNsCNXH;QL&Dndb5bgtN9lx$J5(+eC)a(?GhGGeTYO~{LVfBwlW^j!*Vbfp zGLe;4jkdjEVB5juumqpt*kfS&7M<_i@p}q1c3=4IDk>^Mm1O1{dE~@!LHXMHGczOq zZx~wvs}co{UF$%`JZNkjlO!afwkyi7cVM`6lyuZPPxN%sJ{x%#=u7qciwInY#b7^( z^s)}IGQ;Vv1QQ?MO>oKw5IYHB8CFAXXP((4h{ntIC?DE*89FQC%?OAS@<3%Ed!Sh2 zQYI~~HwtPhb|KP%;dO@wTq=BoXp4OVsU97b)Oax*DvDSap)DaGKtYaGgVmzH>pT(% z))hFiw(za(cw)UKw`Kcg-e{NnX=wNewh9v3D$2WiN}!@f`1Je1^xn~eb{Xl395`)Y=LpivGUJ!Ur_SwFiZ+^T!FLE#TzJ;v*F)lo6gRl zj#BD=^PQ-SOG=rlAmwu!MX zwG(?z;$KTdi${;fbzFmB=hxV$4d62RgfMWgHKvMji)Ya;)3Qd5I@tDWkLKj{Z3V}R z&z)^G&u48|JTlD6g>CO~Woc0kDRv;CggK7LuSb*R2DT&UW_G*2fL-D|`@<9}rxWSs zN&gkOLCY8fB3Zp-cZlX!t;;X~0<-ug#09v1bvDKPOCe3yn|}q%ApQ662OKBf-wS`_ zzqWrDiYs=bW#8a2rtFh%K;r;_Od)B$X_oX^PRNEq7t?h*r=5NNSXb2^$%dDrHnZ$XcTx?d7_kULf*N=lMJ70O^S@(_HQ?g<}6V#$j|lX9Q5 z0#lO1%*@PV(|-6Cnu5G#&~m(#&26(izJ7Vq-ZgLX)F-&}+8I@_5EX*YDFoY8{oNR|M(*`-UD+&&81-FCZ^ zm^c7_98_%5a6+-r(^F+K3GKC5K!g@#8zoATXPN4Eg(WSY&GzgSj4&TCz?U{cl*)7OvI%@ zPaGpmTefEn@9~^{B(cM!AJ*;H;$ma``__drUlg>@!P0z zJkqO%hLEUnMXaiaG@8C+;qN(i2o0W)9E1Mba8U z#FG5*PTW4=Z4|K^+rK=&28^_7G+;k~Q)&1-x=1lO{rNN)G^ac2S8sIsd33wgGgmI- zoDcjDN!3ek2vj4lu(Gdb<=~18LN46D0(ga@m1;TB^Kd~tgC0n2KpI80D!Sp;XV02j z&uAnF_Yfm6ivNupYX}FLSbR-69l15g#KIyJYTd|)m%TqveGPp?(>|A*vlD?%jqDjr z%p{t?L8THki!*GPAoUCWAq$%hfH5CH2dBH^{t{9Gg!&e7MH$@?qCc3@yNq1#}~>Io>O4=O|SUw$$eRLS&Zr64L}pgQOijp`e`k0g$7f*As8y`7ION`+?Ys3Si5b$51hk*EeWHm^{Ok{Q*@7;K#dMV`5> zHZQ#B6b~VbepGyZM?etDrFvBq7bG5nJ0JRUtTlV%!CSnvu(R2tCUPBY6r%beHx??p z{3YCx-#VXeh52gZ(plsDuRm!;Rj~=*{F487C*g`G&KHn1g}$h^EOt5$f1g#1+&d$T z-0W3j#f}iA=C6rfe(I&>y}d78 zQ0U<8FtR>>8*!=u%u^=FAF6TJsuhWgiB(~JA=J!~l4}tDiJFhR3tTbQXpK6+Os#Kd z$R9cZ&5JKUO*sJObi1{7ZoO79$ac6Tr95XH5zbf_|6;vu2?yxH*RYNp9X4iABHw?y zbHaV!a-QPc+1Bsl|$pc)l(2okZ1HMYcbhRiC4%?gxmn0lovjlI{H&g(C zA?$l%Xn`s##EZ{kYmfTl(Gw8jAW-{l+0-#Jc7oIT!DK&`iJ_M$Ch-%b% z#3ljkBO)4FN6*eWM$2T#E?vv?(*DL|e(J6DIhUN3PkJfhOQ)FqBbv}RIfI6@Cmz26 zu*@JNRyMTOC}O0Xy5)DC|6+0I!x07%5fMVB#}zJCJ}M(9c;JgQn_0d?*?vF~X!w$B z3@j8%or{67u^J8}T=ePTwgw|-LBKpPrUASS86cX|gtHF=qvL0e=B0zsI{Ywx!@cl7 zM)Muh_f4g^rf=|qki{gV6DAG230uTAuwa=xGao;`h5RoKKAKQ4M;ZCEnZPjSv1P?A zWXk<`YQy_mClZ_zx;5cZ8-gY3!%PX{9lP)9;+9Kc(3QZuA6LQ#+}H3* zhrxvy9+19nDBWE}(bM1LA(i!iS?|4({pr1g$(dau>(iV~yNm!?ESe zik-GkNTnYYx?0A_z_9I&NGyvj1GD+{R#$PJZ`I8ik|19Wp9|^}*rTq2ci2`?P~Z$X z8n2=|6Y5Z*KfiwemWJt%+qY()@sENFsWmP%ktrqSmm_}t(y;uHnAV+~oI@9Pm+{V; zl{FMGSsWMFAs82Syu7LaW*d$Rc-7ZemeHp7w$NeMTsQ#2qD&R1>U{gps=7T-yO$`G zB;VEBy;U{$U>3%1`g0Lg;%`6A!Lf$yb}-EZit^B;CbVGm!0h;hvMVuzL+#+ec(=M? zbGYd^_vS#=l&BslT}=;cM=E5C*|%cn^i0zy>1KW(L6&T;@fu1IBF;bsuPvl#_zHPi z5W~=~;brN@+;mH}gB5ds^7o6=TfR8Iijq@wp88Pa%imZFiN?FmXV09mMj}sw9?U<6 zIN25w5PShOZ2g@-tyZx>8|hP`Fc-l(pLWr>iMd*RZ_K2u%%shL9Yy($H?;vspa2sU z;i*Ynks#bSlGFVCl|6Hv%kWpet&2_in$k<%`D)oYn?NPzPztJ3jeVd;D1J1eU1%8) zgY;BbcTBGjFlGXi*id(BZj->2R`TT3`=_u$NzMro(by1o=`_mFkkb&hf^QIinKOO0 zXufE1U!N5Wnfamq70ni;iB!lpb5c4!W$L7&SsH;X5}FF_tABg1uiV7{5|WjDx;9Oy zAPQ1X1R9;IiWeUU7KnUIS5Q*ogE5W|1Q8Gwl0+~vW6uV@z5bB*^uwK@fH#h*G`M0S zln8pl&xSb%tZoWpGJFi+cc5Zrxf+L@h;y>vd%~Z9@Dgw&NiGCAzGOb9)`x%_H*CT1 znjZ|`PxM_LH&n%>6Jq1Rk4!~X1$$IgI6D)=5sPy7!$Y?rpRvK`z^H+>FtHMPm_i#F zdjF5B_~`d4_r3|1@TNmLs(pR^6z|#_vxmhGs5E$^by(Tc!v`0pn#9~&H*eN}ed97e zX-%>@$bFs^7RFeor$2#BD@hQ(zU2ZmUa!EbLaCP;J%J1tEDvc+Qz4Qff~G9FRo@0_ zp6C?N-GK&F_o(VdA&#jHUXko^|SLr|A;@+0x>$my$xGWV$9Cw zrLqqyqA4`t`Ul^>)wOtWg$**10APiz5_u?9(|;}(26ZWpZ;ot5v^&BVlhaIRy=-;ZdC#TP|z=tr@S zuo&sC3lVZNqT1X0`z>?M;x^$UvLxV4gozk=6^t6fy+QOtx<;f~7(~PV$Ajt3zH5Jj zfHV)lgP1skbmgU|`-2OU0!|E~d=#(H7PY{Cr4e)&k>^1xM5+uI=IFL3{`Kms#5d zK_u^k_lAWF$Kseyki;8_(W6iwi6yLulM7l~j{=3&cDP=aINbWdXNuqBz3WC5ZI1iz zZ@`%n`T5MF5%fY;P!WB=vq70aQ_OKOg%RHazS*>(d6LqNq)D*ipq&NKz-5 zW`n!L0775BjIQC6U%%V{&98xwj*Q)L*9G~Kup2!+JtN;#P8UYdWxLzOx$QpFvKDu` z8e~WK&z4OaA?USBva;k^{z;5ay#suopgSPUraErsq<-!k=LYU$eS3%if=`;Na?ZXlJ6AwZW(G%# z92}shEMp$Av9TWjz~jX+-Xzu7#?Zik2w6WMj=}bY9h=EU=>>W=`LGZD(es=G)H6R& zFbUg2_~o>(Gyw@n_<&B7%ChR_HzXtEDnNNA8t2Jm80V~O$ZX6^I#J}M(E~x=f0mS7 zFkbVCjb(#&n|N}d(zZcjTeC@=(5m;kRsNS&jn58RH5nWMyB6fFKE^u5*Z#~hqLwD@ z3Pc423uHn*s38Qf`5~Go)y-t1WCg4Em;b|Pel*6k5HjZ(l$_#JRrfV|#ecNp@Va{h zk=wc^kU~l1{S$6R#bT)YA5(kmJ&*R8?_*)v8a|qL;wC;_ z&=1HsYayVSN=<)mL&LjkHQdf96!o8Cr>_mtv1V^xC71!rL`KB; zx5f90(FS+Ebm<_zFMWBbE`L{37X9k!M=A zN8G)8)7zVZ@8E;36(SDIxuZKbz?7ST7}^jqFzkT9fmNR+7%u`O=@&yZ8>&bkX<*aD zs0FU3Hch0;TCVxCU#&TU|7rKh>w5m3@|`i-%qr7!NbG;f!b)}bDtLq8IX-lLIqbPNn@DKN;< zB@FBP6P%I^wVbd>3LYA=!&MylvQxa&Ut?9(_-2Zgj3W)}v%>U!`xT%EI*17c$0oiU z1i5NRHSx*`Fmp*5BOcy1hH93U{D{4rJ5NVE@e;x8l9K&EegQ3zh6auwxl^HJlQG?A z6oJrXZC-=RPDe5DvshG!=E>e%=vsCc3|(||K{%pNNHqoY9&5eq&rgxRU3r=2gZ6TyNe3k4J;aG|OGHQ?MmJJ%n91@bBRg`pE@?I)WT4bSUx4 z7l6XmxRa2%fq^H-!ixof`NZiRYpenf9dbK=`}VC~ z^0X+jBYF<8h8Nxu-pD%PN9PN}wQBUQ)-$sh7HBW&58)G`mSY{`ChqT)tdS3w^qw^P zq?c9vP1<*rQ0S}bVACOwF#*}nZVTBPsZ`p&?)4P#vgj~%5;!$Fx5(2@1HHyy0|TYJ z2M-=R$v9!3Ju)o69v++rP%|@O#16Uj5w(T3Gn3IYD5gpNRuvc2;`UQa4^}Q1w+Cda z4hZ6wO}4lgk%7C7wd-}T`b30e9n&hdsx|EcSZC9<7PSSjR7ZTwefw@6m<~H-65Ls0 zF-9!;aHjI%y~e<^OE>52(8V;n6S95jKj?d>ZR5-jJfwNrU2jVDrEj+xYY5Y-Gh-fi z@o_PGLHqc?DLXrVz|}SYRfshJ8Vh(r>i%VtV3oSABh%)P{^OnvLu)*)eqeu#He9d3 zW+zZ@In3q;q!CpQlFJ<#SZS@c<{8nWE$5t^c1+KHK||67CI(*bt;4KavwZ(>k7!KB zKS@_-q6h#xqa+`x@6=ocxWw(}XErjG0U?A`!6d&#J|baOncl5UIHq0iWLGz0YsLI&u$;-yJZo`HR zcpLSBiPNz1#8eEwxti&w+<0!JJ%amTwS zRc3kR%U9SPCC9a+$Snp*I01c7XW@#@?Tgk7h>J1Kz`$dXKKA5?;})u~-5ur` z`Hb7w=!@MYMw*DEu$92&vAj5z2dlx|dd{qHh)6+Bfyk|X?_vwd$xyao%AUbMp13W8 z{yjw>K#Qb|n|hgxk~Z$);sq6L6|msDL*K*33p<4oDdcu1-E|I7#88O!7b3(Z+&ebm z!rwxM4l=IzD@IYbEaA_bRe+-$@k_UNbp!LkNXtn zsBR52j*8_)dPD{m1z(_YB>6=Klk~Rt0OY83_|{0r1zXMt?>>;phC3K;e{7z*Dh;v; zJ(>_wn>p;4>MA_51|H^^sn>@p2h!x=`eon-t0+KYkNn8TWk~V^uh%~_Gg$R*7W`-xzOv#-;!tF zSM1p7iw#E-U$~fYI90&b3{V5fKqAL7)6=a`4<0LW2nU~k%(SEVh>J8Jv(o!_~ z*H#W|+w8r@056aTTQ&cBeR!`SKhD_Oj+6l4+(P?IT+I$1w#c2wt@mCY$Kb;a*^l8H zAqM0vyCv_QmgeC%<@Q$E+H{!7$HdDUhTt0f>^N_oH9Al=+^7COEMl3&F97r+{;;Hh z68RI+gUs%Lw=n6CAv-5F9@sVqFed~aye@zSuXH_)Von%tZ}xuEoZ9BP(XbP%bjXpX zZKgp3+a5!~7{cHlZL=~1Ul^^s&TA^kpbV!x>^A3=)PbV4BI!cWXZ|q-V1K4Q^i!nv zw&snEuLcK1da(AmE2>CV3Ij_-ev*|EqFcGU%RTy$zmJe1Yies(;YRMqs6&{05$8m7 z{E0){^4}SKPA)FwDTXh%P$?0WK~-I?>aus#ts-Dj>0StUDnQb$&Y!p3VRGovHhdmH z;7kmhQpuIE`!Z@=lAKe7u+`~G4VY1GKb>YlQAq*`PAJ;2tFgMoFod`|Ae1A@YGBL@ z@wG!ak^Sd{39Io5!)uB>va28pSvB<5b@yC3gYfaYHpipU3gL);u$sc{XhyxMi7L`H zU20eu=CpVZ5^A#V6^Ge`^#i*kp&RHl-81b%^xMeYgu?5CKdWHCmZ#Y_5F>pD<>Ajo z#0&(68}F@<{PE@m{D|Ozum(34u?Do4lMs}N{q-vW(*P-huhxX(8|>M>X5A-y76(Dv z>}|_nlV~j++8nvz)*zVyL9B4Wn&FhT@i!j1$t6n#Doa)?JsYzjuZ;OclK*30vlh+# zNr1mN0Wd)~vL@Y9?l`6dmh9o9CK`;NQe;YZKMlDog-E+q3sl=FS@Wj*kZwD*xbB=X!h@SYF%06&HqyDA8s$# z$VgEX7UrCFiF)&lMsz#u75>++n=k+-)QwW-9NGh}CWXoEV`x{BAxTc*H*czAb|fhw zPgWH#-5&m${V=80x$`YH>lZsaI|9ziU-`9dsT}keu1HglU?e9HxCDg5OMwxIP_CJ9 zxz->q_Y%y5L+P@WRQ18>Ba%#G!<)SvWljskxLvfrbQPk6^OBbRU5zH-&oyAe84|+) z=FJBQnJ)&AY!Cy=+VKx*)GDf~7=A=eA)cF#j*iZ73AugyHqvQ!lpmD)@9W?Y@b9xR z=by`*yl^j3OxI4au}NQF!}}@y>ZIe9knN8?qm2x}vXQYSI1kdWeOI6D?CNR+`<*6R z-tOoL8RQkD_lNwNI>M;p>ePUG7^n1VL=Z5X1HoFrI0TucXwuzRJbm@lid*OM7)3cEWE0rV;Y&)Kk^4Y-hu3u>aJyXx^4* zi@eoDtg#ZoO#sd~fJps(eO0tJn1~#{KVC4l@cPaCcaM$A?<6kI@R-=$2VPc779Upw ztZajhaRtLso7j#5zVoY#?&L{D*C_jq;{#7vFgCZf#g??BW8?swqwVEbQAz$B7PkhF z0eiGe|2xK~!=wpe0$ZL%eDh&LLlqQs((sLOU<7U|BZ8hN2olb&sd1;%y=dPbZ_LdJ z;ofX9%)uZi`~#;BV;^{k0c6p8)I7)$SmI~^>ql-!?+N2N@kQd>hG|4ydQVim`ZTux zN-fU@Hy>Bp?LS`O!g|PsA=*bD#(j{POgGjtD#pdMJrlgVbXPPYQNf)DT5Dh@&8yN- z5M=RC|La@V4U+l!kj=cbcyVuLVY)_m*LuNH+V4f6S%t*Jutr`bvY-nWRB_W}IRT;6 z_CcQ!w>Y7E;rG>nHbuGwrpFVR68?Z^^wMI6b>A-TzSZ_iQRXibq4WLeal!w-$*9xI$?=O22mD-M&tLNIPA!IE2n2 z&UyQ8eJ$ErKdP8-oYOJ?LvED-GzfbNea( zh?Nh$J1jjo-vwo?g2G~dGfl^%9u2cwdF^Wv5&{hTKEXdG60LmfbexvT)|i%{GJHD~7thW$^sFOk6qb?nAnP znu*MvZRV!MvmdON7!^rZ4C;7EKfm0rkom|$>}mIEy4E&o3KMLaVQpfNU@A?p2{gtr zNjSOVB`zCl^7=9|QRMYird70dXYY*a4HWn~eWc$ut@qD?j4RI!xy%n7=R5azBCg?> zeGf)dkoGO{wTI6NhG2>I91|7(&%1=eH2aL2W0$B*e$b++WENhT7X3zv0 zfLIJI8Gn!y5_g}!h4w2dj+m3Lu17^iu7cqrN`>WWD>Gr&n{3dt$F`=l=;U5 z{ST7ZF`_A!31*sm$4ArKZaDElpJz@s?#Y>!+`ReU6zUr{ZoGZ0^|WulR4u7se|&zX zW7Bg9MGP4f`tLbiy`#nrRkVt|UL@_>D2*ZD^`=P=&~3qh^b-z)GqN&FiYt~BWeCpw zu!;`0@i9nIi76jKp?IqYDJYOelS>;{_^{_AdIv=E^zK@iC4R!v^u`DOs7R{t8tJ zC0fw$mC=s-I6i}d$;dn*jz`Jzaw zgdh;pir61^wWAd=+jZ2yAi~I>^bS-{YRwU9BvNB`cMC*gQftCv>y1r^D?At$G(9*H zjT)Oq)=fP*sZ)*r{q^p0w(IxZe@>zF#jsjm{>fr|Q~Pq<^YX^G zZ(oDzP1?heuGEl5L7Lx*G=VS~^!msq@xQaJnE=t1;2a&BU9 zJc)qZiHhsio(o?wjaX%$kCu;gAdV#Fh*SgM#M_8Fvv^|p6>tAxBQ1F^OTI5Uax z9eEWo6ERX5gz~Spr2EBV_vOVF2?++U9}mDjl$;zgBNI ze_sp76Y3(p;HQ0I(vg=b(*!^!dzZ;j21jWB^;?L)#F;rvnmEMa_{RU18m2>}*ea(e zbSm!8pQf_F9ZLptz2)a8g_Qwak{Kv~r-EBKiNKbKf5>>Kx^H%>aZkaw&jtlC#=+v& zAl!!}h&2sB< z0a%OT+D{`_b+$jG5Hs%OtIzMl7HT*>7#oJDE9IjfZvVh@mEdY-g*lpyPKORN%hiR&Tu|F{>?nKcEnaF$>!K%}z(_io z(~ZQq247pf=+5oiR%qp5e#qk_p=eYP7)(v1CE$@%G(YWIIMbHHhCE*5-~N6B<;!yE z(^Z1gaoh_h+-J5>j3;{N9poJ9rBnIk)rDbsEB@Ew9;rT|CLct1O{nWSY90`>PK+x( zYFrJ|crtJu+iumrS&CJ|qx1^&`#{>bqDT7eO1Qlr1$UR4%QrGYKg=tu{c_cCmC;e( zh5G?{tKx*gTf#viMkzvCX&62xqJNJ8CX{;)np}bf3+%`-B$H6tK=vbZcc8u;;^QVw zb2S7?q~%DrlOH^w5*B_V>w$y=@IkVWC=zP{_2>N1y@zpK z`CAExRa(g9Z>w>CNKD2v1~2GI2$Pkth8%Z;J_UNWKi@@Alb8&r?RI^Hj9a2j(gm{! z;4s{1_ZILcnwR|GI0OI`MT4aO>sOIWe#fq1{xvD$8F=L}|A*b+=+VHqICitb(>@5f zXmA^eQ$M7g+NW_!Ny+COGbcG*pF zSbw|OuHO238nh+WZQ?)=FPggrJv6l4sZZlzAih$8fkdf9l$XNjSTLou+S&~u+W}*^ z5?P|!(KigRJH{t-8F|MiVOrq7mo4USWa+6=k8&A>MsyHL6rH5vV&~`G@mZ+QqY>&F zgD?T%ruw!2(cu`jTZ37Q0@%SSC~LLI)sBe}u)b4#Z%gKy6GJ`(!y0aJB!2L6SVaLP z@W^doG_Bc2*0#25Ks5#an^k$X>7Eh~nI2#s_Y!?&V){nu1GZ2T5+4%=ntaf{!5v-} zxh9t(4}BvowBP~fe6*N0gV)YW(rYWQ2uKA?Bj`$MF$5oM03xy_Um5d_1p(HA&;l&K z3T!2U!fX>4x5bauaF6{TKOA8)2coC~gH$L2N8g(r!^WY4kS|GD) zji`A`YAW;9y`Lm5zaKX!mWsDjUT0+r0TTp)m5u}Q%BAxeBIp-lC_`z-%{Pc*udvLA zGqhuE!lBNEG9+S@^%&BZ52)@Q!6%7uso@7fp)scgWsVD7OVL?*Kr<9?ZV!p6?Hy>4 zo_OQ}{}~zzah_RBDlbz3Ci+i_G8Mruba`b0g;RlP50b>uu^ zIs~#|KWG=(7WS&mwxp#I70sl}vrRq8CmL05F|&nbKJqt{eZcl-FD5n|tGK2_xN!w9 z0H)l=n8&wo#ZKudkRZ~2I6reO0&6WY+;z7GpTIeolZQv=>Np~fuv6yC`htz6XC-eZ z^KGhoiUCw3=oU5sj2Cq$bY&Ffnk|Zb~kbS)&I+&=G)o* zp0mVTwH}O6WKn3BS^QECew%T9(I4({0pW~gD@VVcD)mW&>oPKIQAsD!-b_&d*zp@TikPVlPq)g^6#fTF3x<_ z!(jKrLwtNBQ{~;mf~$opeCyL&_sJg?wU+sl`vN0A6tS3SDIEl*6a_T(Ez)$NM#5o> z-3uf@4bjyQ{^k2C*zXi?5Y@FVzCZ#_uvC--1i6I5*YeT4=9{4I zryLTSH;=5UdsUe9)^!brk`&KA_iMj)xl-IpxElRPG9HW|>RKgmI}OGkNI`!5pV)$H z^x6e92rJQA!AwnGg77!tzr=`80oW~CB({L0Yq)h_iw#cUTFT#w7k_T$O)U;mmPXLLwGQf}of&&Ljv<*lOA6y>Pkyo_xi6J^<`!oc`qhStO!}{j7rrUn=NBSyu)5Lu722+2xmJA?CFPGOO4M% zcM1wNW&^1DeZb=#w$7Fq-6bXEjW}xj&Vo@AI}_yNsPABx0uRWGnk6?A;4W))r^#qR zxQh~d9~2lPCC=}jW3=}wyDdrxOYdFwi}WN$PwzAv6}`Ohj?dcSg`LvWk@N@s{qMp5 zFf#PZeW&t;mn!eBtQMF+p#%}f6VDKfO2i*S0pxjo-r6}HD1(6v^7G@Bma{J=N)X#>RA;C^)Q&V6ipFyP%hCr8 z{(cnwggSxT!ur&y8(8oDP|24h>7dvtE@2wSEBIR*w@JjhhVOC=6cSb!i;wXr?G=uH zBrCT3mbng@xIh~vLI1!|{Y zdmWf+FF9RDJGhhc<{}9KI5X{TocPP>2Oadwg6V|hM5vgrmwPmvYs**C)t)qRIv!9N z-><)lvj4M*a$@@(=^m6~t;U$Vt7fcbe9vvGh=|aChHPqjoRt`VzHeb@ibZgV^xW-Jy{L#;LY)j$O#qqOJ z3y2q4bF?Ea{@PX{q0|Db$lQkgf4xE4CZu5;^c$g}^x#IujaX-) z@x@fYK*Ts*wgy=DFyw~yCPwqtah%OgBIvV$JEInT|}bE{^SEC*JpN6 zD(hdbHM?>pkuDtne5bOAzr)KhGL8lbck;uBq4%#Zb75;5)tu3}34m-31xeb2e$9}~ z!VV7k-k0=4d8c0HJ9cqjY|m|XHeT53U&&$V#T(TF4%Ir2_$Y-sk`%F>@VW1H zs@U$CN=hY~!iOQ`L9dK(n9R&fZ`^FOlfeWnw!$-F0h`V*>uHzxME!~B`t->}yJS@| zP!in|jD*bU)0)G-z0fTZ-{^vJ9}M07T|Z^Gwu(L2-C|=YVAEx8TiWGbS?F|*@u0C3 z+D}MqUKl?%NLdX_g~zY(jzL)^+nigL`d+O$QhUI@V{p5~H#LCo#h_E|M-+TZ~`dU6E|u#rM=z z3a9LwpIAB?kV1gV#lpcD0$WJ?Pkmvb)v<)$^;q@TBVy)}QQxlmGwmUBE|>QTntYIm zQy)N14Ekrh@g+>c0hA=iiJxU=)6gx;u77>^k7S*{`R9?p*Mk)Jjn$ahZdvRgcu4;HZTgUe=%i_X87v$v@L z4obDrw6E3y`hEj2>%;GE#&o6^e?(+1iT(PK@>P>=1UD<9YeWNqFd;_S`JeZ{ET&iX z&^X)oo{}f2Ct4cq)s$=B3hU2RT-Pl&{U{=J_Hzl1kl1bThA@-bObm{P*2vDe!^p_Ci_@5Y7?Hq%NI-`&-9+PQ%~4amvX3~DB`X@5!9n#|5pN9U zK3#lrx=rP&&#)0d3nWOAS1+W&yw~#D0ud*A>^)IGtXXoEnqu|C@UHA_+%vJ#4tFxU zV44X6VKreKfnm_3nzruXjPA zBVNS>Y6G2?cu%`KLRv3bD>qRp`$#nHZrrt8>9aL1C|_@YmIahmKj(t8b0v{Y_TS)7 z1;LW&+RLg17~SV*@`9G;!iPrUHBJs*_1%yu;nT!YVjnss1nnjHR zNG6;EG~vi~Li{3-p#bD2OiMK+aNr0N8Z^pkYs?DzPUE+8+b#hnYw=H-_E#0mTmM=! z+jUAro=Bn*dxw@{ZrI`akX0nG zAIdU8e`R!2rNN^DSAw#*xY+V?yICP@->I7skRZ*}jm%urMB|2ks1D$kN5V)T1* zdq_s}GpSFGR_ppkMsD==S!H)WJ*AJP#MeKH_@l)Y3F|0N##@-1+m4uq;Z=?QB2T;o z{sZn^{6TD6scV1T2}X}P_|5MUTo;3gg+@m>)2%~r=qDFhaG@FAoe3L-ozP>dG_l(# zF;GSy5;He7B|W-zd*gM@dE(9~ruULq?|9g>g%3h&!x?(O5)<=5b~Kk3{`!4*WJGSFH~2GZ`c0f$R2a#S7aJZZ-Jf|&yfp(jpdy+SH^!PK{&yTD?GLV z*``0TCo04iq0}f{`}5D(w)8(}**vwprhEBhk#Re09v;r=H}Bfv5n2fW28?^m#dx^6 zi8H70H2(&&Vv1Q_9`zt2Tj9JD%^`B`RTT7M$vgzoSr1_o&neStk@Bz+daR#7Bi52fdPB@NsyEf zyIXM%F`dk%w_>n2Z7nLEdX7@ zUg6>7R`%6ztT#mR&Ke}P1z_D9*2ivN!_Ug<4^UMl#UL3+cpkcy!=#A;fq^!- zFL98GTLU>Dn5wDrEIuhIY{R~J3Q7?$MFP-oK_qoq{_BC^Gn*kR#GII)T4%|)vxRB< zjJ;s|Ww6oEKP=p_hChE$vit6HWwASDZGK(tdd)539!3MAtaQW<2V>r-DVTU;jbfAV z`+k)MSlo(_M{97n`@0L(MtotJgSbA}x0|gkwYUY~Jp~zvb{F3328v@c(+Lry4xQe7 zRCX%QiZP=EoK(0JuoIpN*jN+_4q!DZm0Lt^jy{yfUK6BLQV0|~p-#ZuLPKBO($ET5 z#<`c4La`UOOBkH3X<&(R^GCuN#j*g6}2Pv9D0riD6DmYz#$YEn;dpFd& z)z#F%wq)wXpFMl`iZxxeU;+aTLKUd4FU0xt)Vr(DQlKrBG**aFN-^kbH|Z_cDp@73 z$7y1-(TQ>l)YTZgBG%(bqI2jkH#Pn}A>TG@2)2AYa_Iy~nYoO2l>-2z0`TcIaSa3u zUktua`P{&Jy$6#Y9g9!3-|+Wm&EaeKlJ>h|U?F>V@9ASD#r}h*Y~?r)_v0H3K#~>P zfbXgb{;l!nKp{D{-Q_PSltOZe-D=pno*Z8rUHg^c3Cxtew)ES?Yo=-UZIH_gdp!^6_-Ht)Ca*36`zZ(jq8iYD;@s_&^qr@r#n&{twq=5R!=fyS(R;`VmN5nj zi1EL6739d<^qzCDvj-B9GDbxqjk~?)!bv;IhOryVeEfV zI|-G2bzPl?*r$gkaF2+2yHG=-wY$-1Wead}p)Fh163sRmY0OiL>X05OfESny5u(_c ztrxCTzAiqh>}CFy-UW*zb|&1LS|@&RxJJjYv&_?^V?9@TsW+Y0j(AeY8I)gh$b+gC zdC897Bnx&(i7PI}aIA*~YZVj{o~A2a`zudA4C)n!&=iT_eXgu9$I!ChJd)$Q;B+YX zkO4YvgddR&FDNVH9Am9>Ki@=0yNsrVucG|E>=;nwTkpz1$K6pE<;_bXQ=*Ql}#l?|&9& z)hzMQS-eXkUEJ!eJ?HiFk1`=K-!YjFiGVMxvq+u+DOn0JTkDcFc}_+kS*u9Q3Ba99pc&9%;xY^yrLC43wxa!^ri+`f!95t-GK97glzTzDwe=f#8$y zSz3xf7q>xrNkrs@x7}EE!rRYR&KPB86sUvPyXg3cYO~=@!t;hwE~eqW*EB7neaKF# zb8FV@?EbA0S%f!LtGNNFGCe͹Q%q<&1R(Hd+S*olAhn&g?$Z<@giAv}#md%$A@ z`^vY>Itn}v+W*8Rd64I-(3r^Ju!Hg-|6~(4P|CCNG9>8h7|+&w z0Pi9qFic#&iN5k?5fLgt12~Pf=*c=Gg+cmDjZ&@-uozIPY~_aNttAT!CWckpKeipn zWrO2<)pmdH;^N|%f2w0}690o3)FVs%0`}nBrY6FMMjvob<1AWaL^g)GlO1IjALb-x zs2HYa^w+`<$#ePS(eND0tHG{L!q?^WK?SgQ>18U0G>8X8!)8s1=^;A{?!UA<7?;;h z7qfpQr=j40z1C$lwY6mCJ3L!?=R_@EDkA-j|7p>g&b1-#ab;s)C<2^0M+f7QrXO?m zK~RJMs7uDenGw)wcBwZjsNn9jl9DF|WG1oh_7M#y(hFgf?%?p! z5ZCUlAclZ!g?u^)zjC#<7gI=A@4Ltbvx9-o$4ePL*9u=>{)QF~;214?;GTu2Q#yq^ z?Dy{7)|~b9>_Kz%n(aLGpF&zQpjroNqE&)x(U=bd zLEQ?>r6=x6e`>mP&Ntc>NJu_?ga4kn5`Be6(D~H(>MdVN#oIa=7iie7xP3&Re~Rvz zn!38yF!7{;uL*b9Hou5QW)4zMYEM!&IQ6D?=CeGdtO$S3bh4y*f&OXZ90{}@YR*}eYpD?gs>EJ z@9GVH)L6c_^_-qv%brhG7BQvJxV&R)d?T?s%;tAEd$zi<@!|ZVYhux_wq2M%Bud0EJfGz<^03H zf?~22NB1F3CDurQS-zpw3i!Nb7xp?SQjsc@Cixiu{IJOAe(k$uw&RB!;Utl;k64Lk zIJPjD&>9vsdZ3IS_ruRJGm9FXX;HFoU?trmERQ-o6=1bs9#di3@XsV&CXDy`DeG?OsvEXYG`XegqAGo5KWu}e%!~VuJR#s?y z%Xv0md{Qa>h1?kPnG>jcr_MKB(Y(g{c+>#Z+!ic7k--9L3_w*QC@;?m3FX@YeO%xM z*@nWvpZ4F8jmY_L(j>fHVaLZdpE18sXDn1;m zeB7Ctj{S)938#PQ-+bh3LvB|7Rb`&BhQzaRSWT<4$kW7)xQyDi!DGi1cnKNb{&*$oW&+n{r&ibAAkF(cm zRom0^JokNH*Z2Akp8>(;S!2xO zI1+F@BTO(&%0;m|B_z(yJoe++&c#(or0E@cmu^b$VV}!Ah@PLovtvH`hg;Z?d%@)7 zF-6|RRq(QU-A)%Ux_8IMo}CeKQ(PC(B>G|Gsq(R*EO=s+-RanI^X5{XXKurECNCs9 z)<>TIOjq5U`pV*`ecSSn?c2VUtXff{{`BA_`Ztdcyn6AZhOO}Lo%dgFd7U4z&v?U| zTYl$vCLTJyqH(Kjvteh&Eb#7^ ztaUEE4JuFEi!6TWEWRx<%VH95h`KE;yor3Q&1(aLm-BM{U%aJU99&-USDG91G>;cRu~}Z~pVMCwT6y=kn>h zd0X4L`a#nbPm}sP%kKFXWaLXemlvM5{<6C7c1~}W@0Y1nyI6lK3dEEp{MhkcW$8M< zWXL4olt({z%@l953sHD(&^Ml)0<&&PQXuZB@VSX_vK_zH(p)y5G zZTfDCS$X-lEqY1Et5XLh*k1m=*k^buet`32qWd@(FO^W{ThXjpQ&DK7ulwukio))6 z#}WyClR(iYHLubvR_H!jlFVV*w=`yN-QaSi^93u%{FG1o^R23ktSU1jo_s&5kLTNU z(5B}dS-!vJNab7cQlFt%R_!=_7wK>Lbf2p=2Y?J-hBe4r|u8; zRj8Qjwx3eZUpL%VmAJJc&Mb>o44D_8RSzLgY#&UuskBH{r6!ZkY?jD$ts z<6HE+AAK*j-#%1&!8zoR-jfW~s}lw(NBSM|4|N-wc`sfp(OFD2%Bw1Sxp_x(@^(Qh z$%|ha%luCs81zdRWk?xr($aKDvbdCZc&oS8j`d9=tbb*&E!SEWlpzr76W3Lzb=_nEnE}QaR0t4sw#!cS;=@b zQDQ!7ij%xqa(l#%_M5&uQh$D8``tBV*V9Id{ayB5)w}Lno2xpC1y6v=CXwVR&}F^4IpC!ooUH@^NgOvU3KJBOeu>6&2a5 zDYrdP_!cQHq#S9}wzt&-`GD(_?5`T2jA=o5i=bCX#}pkN8Vb2z1*RXQ=SWn35njtt zUn2~c2zi%B6)@kkpAXcvma=3M35|EClxILfBOoY9Cs%Esgt>ap%v<#={*a>`4Qu8u zUlu&OX~ueahK7kQt?06{p>5j46Kj(#J|_aNI4sH9bmZN>SG#Uq@P^F+jx24|*3kjw zYW293#ux!aPusca>(`^wb&S5Uuw>7l^V0d6rmc`rcIEnne&#q2FI77+Vg4agvvm0S z(D&==-Ds=C+5OG*`>&m$E&J2EnCt|eh}m)JU24c@%?!Jg%1rIP_(`{a%fr$PO_WE} zz485Aj1m{(Pj`HKcfj+v<8w6@PJKbm z8amRlY216I@bCnuxcQH7Yt<|)R9zP{-lE8`82F17o&;eH$<{W0Ofp5?gWr&=>SaZvLns!Lgqzzp=HqpiWjxFM~h_Y6aHU+u_PY-*wB8ZaQdz8oh0YM^4URg zoN)s@vL4(h3v>$5l7%r3CZev%cISN0)&!k9e8)|ViFt*0xo6Zh%OaDc-#uLdlKgAY zRp;xeR7}Hq;|?K;a^*Sj*T(cem&TF=3Dg69bH_up>>Cok}?Ow8dJ}lrlp!nG+ax( z9%_fxood+r(Bn(_HG(TGkZL=(aG+~ z9ZoJZIzdq-Prr_=`#rJG_N0p3wZWy`V5kKis zv#ox@DRHcM?Je5Ezrvr+c6HhY{lm>H9;F~UpEWPp%pAOYEip0q_V|#j+?%W}wo9c- ze;-?IN^d6LomW#^7QOi!PExe!>ZYUts-L}pA^P}m^ZVSDefO;#OeSt`j1f=xbD0C-!!09j~+b#JNIcl^nyyLtm`t zD-WD}JtU>d#G-Jwidid5Q#|F!r{%QqSrJK!T07FV)9u}?uV&b4Zqcn%za&G?8_3qD zi9JiW_+V`M@eJSo`rOKS*4XnFar@olobwv4WLxu|Zj4swT%7k}dp`VW_IO+7NXapk zRU39b?rq7v9<}qnJnvaMiT&rr6cs~VL`>+T{lm3(*bk;&ytj7C)@I4T<@Mp|GW$1% z4FJi-2(YJ40Xo87DMS>lx3Rj!4pBk~O1%Tq;7d#;9uqi$i)E}G_(?l^c)c5ew*16~6@vO72 zb4+P+@gF1qa@(!Yc0e6XfyLw|6_btvx%9%57dBVo^@G3V=Sar?+$uVw(df zs?iqNCcjJNP6uQEbZ2GGBh;5`vdXRtd6t>~*+tf$PET)hhO7 zM>n0MKm0{NQku3=GfMf1jMQ%q7t^kjg2=cmq|Q-W(mTBLB`&^-*JD1{-^VX3wwh!t zza>6cv?qqBw>+Ec-fz4(vCnv+@64Bp5oXkO{JD0w15+3yh3@LN=xgY6c1yifnRq2| zZ@XaJz(nJV$jp{s7wuj9?2Y@Hd2?6HRm9$x(K!<>u+(IgpeS?nNeQ?(Yn~{7|L5C^ z{KIFZf5~nUIlk$fxpjcI(b%a54V*P6zbCYQ`0zr`FNlqH@1r|vE?Y|&q=Vk&nff-p zNb!x(;N*Bb8>451e4YWK=5?TiV&rp!UO;5yql{h8JSB|gN)GKwH(GV#q!7PjjoB5C z7GA9#?QwPUI#m7<%CtY8d z>lAGu%jI2nD&L1sKG#clL?#9T9WkFs;|U0VtKIwHC4&($b2emt6u9P1#D4i^@gxzM zss_vUm(1~(msn~opASbI7?a58xkF!cna_4|dDODeG@;}QjfsZF!;jAx(d$y5@7I6s z(;9Au1o*V{oYj-2&O>=+QBSf5u@KK&#`ARy(ms@u7-YIlPG-n3m_xvVh-r-v=Cwnp zh`>QHz985z40oy{C9MW4q%IvLR!ban#)x%%`5k;VNh|RU+j1}HL`0$g+h}X>>ZrOC1mlX%z0Fhryyht}UJreYH z^Z3ECOAg!CGi_@t2tdiO)l{>C%%QDr*WDjRtr!pbV!;u=kMG|fMX%HW_++GyNzzhR zR|iRyxL$95u5P6p6XX0)Q;ic?drXj(L_l`=4mr6`z)B^no~XVRy=Wh2ExY4>$N?UL zC*jx=_Vz;*WV(UVogU_dz=@?0&ulnq2BVID7aT}*4+|w;%otc+9Pxxkz*UwBS z9O!s^-C@gv54+TWeoUS?u1aL6pm>0o!_}g!e9mENyU5^u$%n{wVN&`0OwAf;w;8tZ@bJE-MCP8x z7}jgo=G~%1v7m`5FuLfFuc6z#dGo|jD<}TXt%3sAxHE4@Iu8*XQr0rxHd&7sTxX(U zK9^_TRf#(zeBq~~B%uOIx$O0M*EcY58Z#xZwLaQgKKobGyNB}n>(zDc&jj^T{d7Xj zMOz(6GxQJHHf|)E3`8^yxel>3f&_|JdAXb}Sh$+K&E0;h($*iwBB~{1KaeTfeS4wv!C6?oI<3r_`h+Wy!?*6N0gROa)5l@7# z8WtAXZ#2#BQe_z!7LUM09u9zZqF0uBNVDcWG_mwfYUAFJ6e+w^kkX z$Z!FUDe<%^i8=AdL>}*bzGHTN9$D2I$Tyx^dx4r6tze}gGh5G*0&wqWZ^_f3=bMNL zG(_m$0|5fKF!y06)dR0My#kr4LqpCo-lF{{s3LgbP$ax2vD=OcI$rq)d@vdcFq=1I zc&4iAtKRSunitYh8YUi*lFU8_IXcSD>;Y=;0M89&;rk&Dr3(6#Tkw6Jib(#sV4o;=TW3$a)w$SyHiQsW1$E1& z#eqr3K4nSio%;_Sq^BxtYB>7~d>!NMELTnk^d8`$M?A1m^*dG=@FKG3M?*j371R8P zM-@3|@6z&`apT%>pKT74eaL@zN3fbp&x98=tG-^)gtjgP=KY5Lf{#|!>&3rZ$!Ri} ze|9hCs|G&VSN-wYM^4teBFDjnB~xjz_Brs%MB^uE`*O7YiB~;d)jrEiLp7guUqQC1 z3WBntQi|eicx0@> zZqtlQn9rd51O5XnK@u0hfV{&^vr}dlohG(ncxdhRcE}k#JmkPnnFFfQlz*P@%%&ME zKwyNGg?|9<@W0UT^$@^-_MS5IZb(E-D4SgG2;u|r_CYC)gnQ_ z`{;UiVFE)WouBDv24X97G+SXQuxktJ^2a!>*rdQlQ0y4?6Iuo_VFE4-oEb>{+`-_i zXVw@Cx(1N;JvL3-2$~0w55OugciRi6Z&plX4wy2A(aAF;9PteN*xRU0tKvl7eQQ|l zo_4|aMP~|AY=gH8y)Lu3L>bdZlVyIo$wU#*V)X3(`kweb#d{sC-}EpT;gPAdiS})W z@sHKIp|J%xTguD3Yo(Hk681n%@am6!QV3ovD4`x#tm^;d4CZBT2m>%NGCc1%#jG%z%b2ObV6 z&mEn80SyE;T%!3%w!?io%ITQRh(2`tNq^@(ya~V|SN%MBgsxu-Xci(e2PnM7>C-pR zc<)5fbFw+{sfovM7=|o3yZ5-yIe{p`0Q|zc&!2BY$`On0Hu|cT*V^Xi&LPigcJ&hp z>G05dSoR|OVpe;<;C%jz|uJ|24aiuq1DEEG3se|_{+j*tQ{KP7T@*jZrmC<8_X z28cJnvV4EwO@B2zJybf4GJpssQL&hE5a}^kiTOcv5#X*>gzSvm_ZAa}h^1sMJgJC) zS@;}AAt^E!jt^q`0W?zfM+h}or~HPjUtXRB6s?G=C$Uuky!#bqWI!?PLIWn5fq$1F z0Lb9`T*+<4X^z~QoWJbh zpb|l>@>#s7PRv4ED$bQBfK^j_=WqvxVxiNBv2hn+aDct%(D!aDC_mQMih&-=ZHddj!RRJ+`9>eQe<<+!kVg%=`DC$JJq|y=08NPNP=DN-GCwGGVq&|t2M_e9hy*5f;dES%@jy(f)nrKpP zv>7A39~wCTMEEr4mvP+Fdcme=E%dXaM9 z(lu+DZ^jC$0=2UeU|&T`%LJ?l&Vt3>SUz`<7nDOq^-oZ2NL#`O0KHNK?tUdjhR}Lu z5p~_YrtKxy^g+|m#-LSrG8v;#%z}j}q5v2i5%J8a4M^0L)E;CO>$0E8laj{ zd_+}NUELqwJLE~*Pl^8FmY1m%A8M0mt5!g==%_3>(Kgecdcy)13&lp#V;y%qhLL$z zkE3%9;G3+Z-s5V-Y8Do!J7~QC#8k0R5O<_I9=LYhy2QqLBmxRz@~M`i~sz{(RROr}Ov9%49n`JBcVJlrt^AE&*{%OF^f=>|-2<6oe2c zFVOERD=W_(inveg{4n}oHJW5rk}fv&5)DF_HOBq@ak zT-a2B^WX-sFbN=f)vDWKy*mQjhk&M01}mD#UhC_Bww)HPUlcicbpFJJn2R`jpF*$+ zNaTP39rOE9N6(=A$nXsEr_*Q^0tks=Hs;PSLe-CVI>h{4;tCXx2Wn(^N*)gF`8 z*mlrZv>_??yV#=`M;gxSU3NX1wOlMR0W0$7=t475r-6w0dZ7%Sf)pRuL0f~$U=CSe zgf>u$fain_>?@0YGo0+XyrkasQ{(ZQAA%!Gct8J<()klM9f(X!6xl(N(T#0w#uOX+ zjJhs;Rq}u|uB5U61s7|rGc2ncN*%f}5d~ClzeiP7mDM$nG2QWVU?*Rj$+3&{?e+o; zjFEcX(qf3{BWhRAO@FUl6J^4SJIy+27O+(j2|UNXcGFcY z{(fe;yf4|iK60SCwsuGB5DX+KFEE(+15yrQU$OzXLxGY{l(}t;u+^SpF%vCe5VT(7 zLPvpatN8Y93)b(hX0w8q@OUC1J}SRffxj;R>^Tk2m^vJ%F)AiXo*RY94VnG_#zE=q9rfW;gD zMA$;3=Qt;IrtE4L zz&TC53q>7~#hPj(`UQU;o4;n^fgP7FbYrjB=0R}>=BscZ7E9{fCN0fPD6as+;Gp#Z zrr_r+k~<@!fkrtRZ%fL-l3m9oap4Zopx>b$Mt$q}?3LZz!8A9ned?D!j_Zq!o6W*y zI{-Hz$XcZGuOJIcn1`RopaD2DkeW$RsQw2SvJC3_NA4^R+W*bs z%}ll0WHTQ+o!9EAzW|ANg8eHA2{{>DrE4thxx`KAA;=5?&eo1q>qq{vhVRUdqo;lk zzbwnl6x_D$J2U{F1C=(poK@)1MGuj0hIQ*gXm`@kkWqI_zk#JRaetq*|#B8%yqiuJU}$i zR#j9{5rC>|{gPEmrX4JWD0t|U8P_a!C!|fL-k6GNJ3{UtQ9Iwbaii*ozOaM9&c5dL zT%ds}(ahZ3>$bLHxqp4l6Q4~!&2v!L5L;1}0(dEzAwPRWFx{;C!2kTB#9os?6|l4H zA?G00>N3kn0^VLhL9AYp$(Ca2P|73m zjJlZ7j#>g(-W3$^H~Z@MSS4mcjwo}6d3>)WSpY*)XyoX(Eaj4X2?_-e=Oe7uX9}P4 zfh##p(A`c>m9onVAy$3^3#2yi%Kp&d)wbMF=U7%3Dw$)69wFUTKDy8}kFc2H*e{-@ z9Dgew;xO#lJBm)tdW4Sq1NDGpVadlMiqU!@8DaygLQ8JMp{hN z>+0&Bl3rmyz}Ih~Ap@~g{b!z#C5M!RUhW6g?%e$urKKK^4Ct2tW<#Elm&fT?Al>R- zce+gE&E8ST$*9P1JrB4n`59)+n~W6c14AA%r)rvPX#_=rD>I{Uf99CL$*%(oOI|1> ztTxQ=QjtF0qLgSVP850h8&I!erz(M{ywskze?o( z5s?W?fne}XoSDh}Yyof3&Pi}Th<=V5Y$#9)vpdzwSin#MtNCvXGC4dW}k%P*oA1e6( z9Gy(y=*Oj}?}P-b|B}4FLC>9|XggX3&WGOeaE67&`?OR0`cXwPQtHmYJZb$&HbH2T zN6Ce;_}HseyuP4pYDEaRK&(s2KJnIrm}}0ck8Q3Y6GXl!1>ats%~+Wr@EQSYuLwaC zEie)^bW?PcC^qz9Pvdb!%CAW|xnDtq>5 zzlk`Y0nKb?;A^3{A%G&W3dhNQ9>d@|yEyMWPomE2&DM!}u`@NZbS-di?4WeW<18ST zjUqIlQFhrFSY?A3oC(U z7E~bNo^uB+f zb?`M;0>`LW4eX_#pnFIPDHwk|K9fdNu5hY=X>x|h3L(@Gg8&F65DtA<`#JzS8xhnw+A zc?KfTjU!sg(Qz+!3NuuT(N_}T!M8Fd#+lepPtD4XP~<2fu<3Y^G*EkDk&q>+UNbv8 zYfydI?1F>WXi;3}7 zUFWo)hho>Z;Y4QxH5Wl9V8aQL_6n$L!b8773nnOWM3wq6X{44)`2LBYt-BC?dPvHY zL)8*E&o@)~5X&-$HnGku?&?h6lOX%i??;IjAJlW2a+jCpS&_*p0M%VOKP=_8IQf|f zV&ulanGA`O4+>AH0*#?c>;8R#jXmr*x2e2hf-*8)j8ljp9XilKydE=KH6R)ay@5ZX z!aZ*uNyii+%sxD5$3>NY{w&d0^9YJoh%XeeA@~lWEk$iziJ%oogpE)T!=*?Elwo2! zf!yrY_3JdmH>bS3Tslt!{VuZ5bcp`_4`fs1bifGaTahRF4dc#B*sLokP*5W>yO7IU z07TB$B`igeE;FQFynv!Co$Yzd9h9z@x&at_d@x7=;k^fOPWa=m?#L>m+M|$USf7Ja0Nx{j!3}X zx#OLjyj|q4GzQ4J5zSw~9F3wgZ~8vvJ5=oLt9o}0?~&CMoS`V(S3Qp^q1>PV(d4DbL!vfimCk$5o8YpmG-VgP5x+peDt57*zQxQ*9y4lBlpd^D%S15* zD#fhGfYA|Hg$V@FO@=B7oP3DY3KT5+xgT{k(R@dn1~4Nj$UP9bDkrF1K;49>auJdl z(#JEXMNV~ISz3@JI+&>Da_m|+ppGW)L*#j(HDImw%gq-W;K21Vav2?W z$_uVEKL_(Ymu6QXXTVZYg2@?8u^(wGkI0llxff=S3Xp|F{H3g|dyS{f3LFJdqmd%k zZE3bwy_F1n_U+q8m7`GA#w3BHGVSd$t(?GTyAcDIE(C3&EK5w*?3m$GKqy-91&7YT z8U$zc8r%t9C|7wSHGxtVjpdy)7e8n4kd=z!Bo2>!q{M?iexY*|J+cG-ettAmsJPjY z)*&pX8_CJZO^x%_&dghhH_#hcMWe`2!t&g0RTnB<^}Dl*8P$t9*nE`NkBZwBs568= zxvXpc1@{6n38VlQeK9@E%frJ$0mr2fZU=!Z@AP!L=+0GMVBPW~0mI}`9kkXlRv$uJ z!nVZK7=@pCnUnJza^u2qw7@{d9Bo|!)iQA5=hyqw#barK>SB070UBqi`_uSOV!LI3 zM6f6D-M7w%YKvWe?}ikk*d)^PS4a)Ud7WrT%M0q4)exX~4!RraPz9A_^JT`vKoV22 z(0uxOVS02Fc4VMZ)#sw^f_uPqY5=AA9ipg(#YE@t=iBE_I)N!r_~h`4jG@Op(kKf8 zWfVEurNG|0$YjEDAWdB;bz^tvL zjYK$*dlkF3$8HiA1OQ6GQQL*4&M6=HpP!3S+j_=a*QFBW+XI*$(ETtQDrmT0w;c_)Z6Wz*7f z)f%xB;TnsutaH`xF>nU4#_P{!AkPBh>MEqjSr7{kYcSsn??>o@al>(-1|bV1t}*$j zOspty>UI)fC(`vjpSOyl_*q4v%oJ`+)v2@Gi^rs)`2}S-6Qa=qjCN+A5isHluo%s9QpQ@dwr?zIt$7qbv?B6bavf z?fBZD8O4jP9@&@dTebw^`0CB?0MF++P>M*^Y#gF*5YWQJ$|YQ`P6^bbsqQ$5i-TXX z1Sq)HZ||@(1xyBK^FKOe7)DaHm&Ih*gGK)JB!G4#?x%R<55bj7(u@g&k)YUoRb}OO zu&!s1lpzg31YbqX!1R`xXAt!=J&`!Y2|&uy`!n>=%t0}QY3Gdx4>(B=D)|!b*BaI> z(zQCC=sZ%JL>&FB12erH&IyfK`aN~`P`?pO;EOFzvU*&Kv4qt*gz|k05?PTrm?=O$E6x!*Dx09dk1A{f?1dA4 zZ^F|8??zo*xv-#ME6907To30blJL7EhylA!kx}c!udnOS2~q%~O)L2X4>BThEdbj! zee^}$Peb+7HNay>bsB5p6BwUF;{vk`A5v&7EzG)>Vw^O~k3okjuonzCKHxfgjZ78eXpw^`S@cY$`|)f)fskqs9?xt^9*82P>CR@ z1c3%cRMOrk<#A-M$5PKiTfcUC775LE_^k?qHMH~JX)oX#?4++nT#d4qk;W)u^?O56 z_+3*|-PB>2rdA;qDd7%~BpFkxwK#_3G1fhe+szLaP0KVEH(JF<-133F;Y4<_jwI^H z=P`yLdRE=@5dg8>grtq{(~tFTO)_pXqqh15+xT@P0{`0q$f2ZvPeNw??~%y=XLd}o g@J;{iaOT%C=hX~>58E$&rtqJd(h0>3dGj0p1GJ@@TL1t6 literal 0 HcmV?d00001 diff --git a/docs/writeup/main.tex b/docs/writeup/main.tex index 7d12c1a..7f9cda8 100644 --- a/docs/writeup/main.tex +++ b/docs/writeup/main.tex @@ -597,8 +597,11 @@ Third, the clean control cuts the teacher entirely at step 40 (seed, then pure on-policy to 200) for both vanilla and route2. If the teacher were necessary, vanilla hacking would decay and route2's suppression would lose its target after the cut; if it is an accelerant, vanilla keeps hacking and route2 keeps holding -deploy hack near zero. \TODO{figure from jobs 93/94 (\texttt{--teacher-off-step=40}, -seed 41); queued.} +deploy hack near zero. The vanilla half is in +Appendix~\ref{app:teacher}: removing the teacher at step 40 does not bend the +deploy-hack curve down -- it keeps climbing on the student's own hacks +($0.36\to0.58$), so the teacher seeds the behaviour rather than sustaining it. +The route2 half is job 105 (queued). \section{Related work} % PROVENANCE: differentiators + no-cheat scorecard curated in @@ -991,6 +994,45 @@ live teacher grad) decays $\sim$0.28$\to$0.07 by step 10 on frozen-V; refresh-2 holds the second-half cosine $\sim$1.43$\times$ higher. Include the \texttt{basis\_overlap\_with\_prev} check for route refresh.} +\section{Teacher-off control: the teacher seeds, it does not sustain} +\label{app:teacher} +% PROVENANCE: deploy-hack trajectories parsed from the DEPLOY-eval log lines of +% pueue jobs 87 (vanilla teacher-off@40, default fast lr 3e-3) and 97 (vanilla +% teacher-on, gentle lr 1e-3). Data: docs/writeup/data/teacher_ablation.csv; +% figure regenerated by docs/writeup/figs/plot_teacher_ablation.py. +% FIXME: jobs 87 and 97 are the closest match available but differ in lr (3e-3 vs +% 1e-3); swap the teacher-on curve for the lr-matched job 124 (gentle vanilla +% teacher-off@40) once it lands, re-run plot_teacher_ablation.py, drop the caveat. +The cached teacher pool ($\sim$12.5\% of each batch) is the obvious confound: maybe +routing only suppresses a teacher-injected gradient. Figure~\ref{fig:teacher} runs +the vanilla student with the teacher cut entirely at step 40, then trained pure +on-policy to 200. If the teacher were the driver, deploy hacking would decay after +the cut. Instead it keeps climbing on the student's own hacks, from $0.36$ at the +cut to a $0.58$ peak, ending at $0.48$ -- at or above a run where the teacher stays +on the whole way. The slope does not break at the cut, so by step 40 the student is +self-supplying the hack gradient and the teacher is an accelerant, not a +prerequisite. + +The two curves differ in learning rate (the teacher-off run uses the default fast +$3\mathrm{e}{-3}$; the teacher-on reference uses the gentler $1\mathrm{e}{-3}$ that +survives 200 steps without the over-optimization collapse of +Sec.~\ref{app:context}), so their absolute levels are not strictly comparable; the +confound-free claim is the within-run rise after the cut. A learning-rate-matched +teacher-off-vs-on pair is job 124 (queued). + +\begin{figure}[h] + \centering + \includegraphics[width=0.7\linewidth,alt={Deploy hack rate vs GRPO step for two + vanilla runs. The teacher-off-at-step-40 run keeps rising after the teacher is + removed, from 0.36 to a 0.58 peak, ending above the teacher-on run.}]% + {figs/teacher_ablation.pdf} + \caption{Cutting the teacher at step 40 (dotted line) does not stop vanilla + hacking -- the deploy-hack curve keeps climbing on the student's own rollouts. + See Appendix text for the learning-rate caveat. Data: + \texttt{data/teacher\_ablation.csv}.} + \label{fig:teacher} +\end{figure} + \section{Ablation context (prior fast-preset runs)} \label{app:context} % PROVENANCE for this whole section: docs/results.md (curated snapshot