From 6a104594969956e9ffbeb4de24c0d4981240f683 Mon Sep 17 00:00:00 2001 From: Jonas Weinz Date: Sat, 27 May 2017 12:06:47 +0200 Subject: [PATCH] allowing runtime options --- langton/Main.py | 2 +- langton/README.md | 23 +++++++++++++++++++++-- langton/doc/example.png | Bin 0 -> 35696 bytes langton/doc/p0a.png | Bin 0 -> 25187 bytes langton/doc/p1a.png | Bin 0 -> 29447 bytes langton/doc/p1b.png | Bin 0 -> 12397 bytes langton/doc/pchecka.png | Bin 0 -> 30175 bytes langton/doc/pcheckb.png | Bin 0 -> 21320 bytes langton/doc/pha.png | Bin 0 -> 28047 bytes langton/doc/phb.png | Bin 0 -> 12453 bytes langton/doc/pva.png | Bin 0 -> 29902 bytes langton/doc/pvb.png | Bin 0 -> 13982 bytes 12 files changed, 22 insertions(+), 3 deletions(-) create mode 100644 langton/doc/example.png create mode 100644 langton/doc/p0a.png create mode 100644 langton/doc/p1a.png create mode 100644 langton/doc/p1b.png create mode 100644 langton/doc/pchecka.png create mode 100644 langton/doc/pcheckb.png create mode 100644 langton/doc/pha.png create mode 100644 langton/doc/phb.png create mode 100644 langton/doc/pva.png create mode 100644 langton/doc/pvb.png diff --git a/langton/Main.py b/langton/Main.py index 96cede3..1b78f73 100755 --- a/langton/Main.py +++ b/langton/Main.py @@ -337,7 +337,7 @@ def main(): settings["steps"] = 20 settings["w"] = livingSpaceWidth settings["h"] = livingSpaceHeight - settings["calc"] = False + settings["calc"] = 0 settings["fullscreen"] = False settings["window_w"] = window_w settings["window_h"] = window_h diff --git a/langton/README.md b/langton/README.md index f74a2f6..b0eaf80 100644 --- a/langton/README.md +++ b/langton/README.md @@ -43,7 +43,7 @@ optional arguments: * if no arguments are given, the program will ask the user at the runtime for the requested arguments. -keys: +## keys | key | function | | ---------------------- | ---------------------------------------- | @@ -54,6 +54,18 @@ keys: | ctrl left / ctrl right | rotate ant (in configuration mode) | | escape | exit program | +## patterns: + +| pattern name | with standard ant | with multicolor ant | +| ------------ | -------------------- | -------------------- | +| 0 | ![](doc/p0a.png) | ![](doc/p0a.png) | +| 1 | ![](doc/p1a.png) | ![](doc/p1b.png) | +| check | ![](doc/pchecka.png) | ![](doc/pcheckb.png) | +| horizontal | ![](doc/pha.png) | ![](doc/phb.png) | +| vertical | ![](doc/pva.png) | ![](doc/pvb.png) | + + + ## examples * run standard langton's ant and write number of living cells per timestep to 'out.txt': @@ -80,4 +92,11 @@ keys: ./Main.py --w 320 --h 180 --code 110001000111 --steps 1000 ``` - ​ \ No newline at end of file +* run the multicolored ant 'RRLLLRLLLRRR' on a field with size 320x180 and calculate the result after 10.000 steps + + ``` + ./Main.py --w 320 --h 180 --code 110001000111 --calc 10000 + ``` + + ​ + diff --git a/langton/doc/example.png b/langton/doc/example.png new file mode 100644 index 0000000000000000000000000000000000000000..81cf67982e679683190a54ac011aa139933f467b GIT binary patch literal 35696 zcmeHw30PCt+AjU|R9g#{T17>qEvIUWh*k}17*rIhh*(A?3{|RRaDxg4AwaBFQ4u&E zD^!sHBG7;#MYDqv1GNgYA~GZ-x?@O%${=ncQy2o|u0=@joMY`^&%ICk-#ky-U6HK4 z*ZPL{d%t(BeSFJiXT#TLziwb)V7TGqb?ycRudX&Qm~dh8tKd%-Ts1uo{xdOb?FP@u z;1fOhvt!`@XN9ld8txIgD?DQRzMTfaA)&}ltFWMbJ9mbJkwe3k6H4t34Bj!=ux^d# zf%8w~kzZa^`z!iFxmS97o~TO#))^JQ<@d#{_g-_k{6)v)iLb?fK5@|@zr__Rj+_1S z{OPcNG7p=4f8%)4oG;$IJdHHbIobK(o{4X*&6v*Hn%wb3EfFo1FBOUGgw0cre>9xd zVskdTnfB!Ia=sou1o5)$E+5bM#~7Wwdq$qc^I_RVz7cPT;P;kMwu!6*4bf~mAT zOfh)-YWT=!J)w%ocVabDH7lB1T6S#To+;`x9Q|uQ7W$RgPB$MJK6OAX8*%F4D6S4O zOI8vjZR&}mf8pt^88e!j8iZ}Fk@ZETdv6dOM*sL=PHS7+@qjq<(f?b0df~!_>q2vt z+TU3%SZVOe=nrOByfS(8qGrW#TFHdb%Wo^I_b>ymM;=%ZaE-ctcZd10W5@EBF73<~ zcy!j1ikc)(9!!(RR$r+W-gteLfk6#fn6Cm4QuzL&;ep`B?=Cw0&npJ2bM0(+9|hdI zZlB!e$=p&e{x14@AC}PnAWe`oygYj14DfrsQE}-B<{I}JxjV~^~Fo!ultd6=W6xw?G?e1zhLp`VWQS0*uS zOTv2t4rqX_EcCxQ9Mkz-b1$d#-m;ZUjpYz~VBpxX*5k)a2%Mz)n3$wqbk0HWr1H>R z%Sr}=(-S?4T8J@j1_lS`KW%=Pxn4QcF9=?AOYP(o6ubT1W|J9>!xlD;%JbK123sl_ zj3(Ecj^Ha!W=t?xUF18mX{cYp4DLC9byh0tz6ov8yr$;+*5wrrJ?hS~{IJ52-qN>A z`_FN237GiQrpHgD%pZQd8*$5eq~~1!Q-?v5y}S3l8u>_?e{ zElUXI#)lb=W}2$%Tg3|Xq|T8bVq=9yV16=HIpEyMuwXP*jEoS29_FV6Rb?J7j5)CF zPGb5o2eq6z%bd8)?prGzTe&~h$Q=@#IoCsByv@{V* zBZDuI2-BKUN@t`G3bQ)fmU=4bR6&jLBjT;Pl4~yDer2oS>jaroTO_(f?ie$>`3cMn~q#88#u-w=f@DbBA6Fhqn}rA@f_cG~*@T z*b_Dntr@z@6*@RgVkMZ5WNQ}2lB+5j50|RjJ3psYHhO6WtjqdhG}6Xw#n6riZQD!~ zs?*lDB3z?aH1w55FDmH8lZvkQdvs=TOXny@TF-pt-&0Cm6cYQ$ddE*zin-jan&bVq zzW3`X7|1z57e%jA<~M%(*sZLk!eqyu%KXNsmzQ=8#*+-nUrFf!hAg^no9~Qr9bvRok`2OfWe3{!d5J2YAdC{Ga7FO6}|UfBZn5(6lZhEKfJ2>Mg{TqQ{$~5G*r#V2^zXh z-gM_qxi~@8$(|a!;_gDm&gi~OufoM6XZm}td39P9kKL}%AG5M22E{5r31@5<&2Q>`S$&VE0zYxY;`f2H$+Ka8tsq`s1t>-|UL) zxsz1h>EJLcl-Uw->#oBJ6CYIx!RT)E$_8fSs`uWD@(E4wT4G$(ab|>9W8$bTUD_~I z9vq}pxfVu!<1jcF)wH8N@U-t&N%sfHhSQza-KoA?wzkK~ZC#HMl9<`R>6B;&nI~+R zO_jYpMo!gLDLXQ98&%B}jkNUA8KJRNHWkGVntgK)^qyOxaSlwh4vAV6pne=v_*kJh z<`XMgeSV~-?W?F`4o?=|sVeiUmX>Z&)-=yNXP#tP)bb%0H^bhx3@)g6R60@}99oub zdZn{?zhzd$h%ZTLYG4q4CAW8T(mzj~y?<}{ihF}frRg6Cbk{DWAT92p0mzZb|6uJj4XV6-|LT&DjHeX7d3wHPVPfA9=Rj41VW%=s z;4rWBX>}teoxgI&NJqj~Pt?u#P`*Q=|256jH-xDrmLu`$v99OUrJCygsvwKK!68A> zO2x3OP_v{%`rS`kH&wBYGyA5FY>RHYd-MG3cPcpC7(zh_zQ41I(cG9SIUk>to_egX zojJ=!(a+iYsiOD5t{*>}W4E;Td**#wY?sp}mGC`2r!6TZr$eK#WA-_1GMbZUl|R^c zOKfAbX3)DLdB1SUUe)G1c4cai60IWw&wu3`ZqQXGINj-JDk<+)+#7CHwjI|*45=;z zb{`R(1{rNMD~DfUeZCdl?tiIOd3+=@trK_H^LN#QAyNOm<3DUYcI*iIN@tsOb@>gO zn853Mt2zDg)+c!?!Y*#~hxU>56#;$eCGWHDe`7m1DK4n;ZdGBUDf9JKvzaG$E}2$T zQ699T*jmyt?6yO>r>w=x?u)be>Bp;2J~`3C>~Zb9lkBymMrKlZR9aCy{gK1IJBmTy zp|bk@ooS&=$4f-b{S`Loo8300GXm!-riBic_*8uRL-nnJiUaXwPtH`|%C+XkD+g}a zlr1&&abjvtY!x73ms-{N%#pVKD^uE=43*I_PyCm@DICrZs*V_59o_fzhyK&0SLcSg zb(Xwh@NK2sIaHp=KBDP=*Qc~N*tz|wMPqwb>*!^v+gx6&P*ikeRMCqT+M8nwwKb(UG!CAW%_XCRrNV(MUIPxQ1a2B)LudvafQO2T9L#IpV$xIe_ zfNas;_70oa&}QeRD@sjOYs|<%f2QWK>yigHW`euuqE`V=n3*2Y1b>+cyY1aN7no;1~V2;jU&Bzk$?{mz-) zovsE3t0%>D+?5}obOl_ei~-tNGsgfe^oH6_S<>*`q|(Mwx98osr!rH_wsd1I*u3c{ z#{|~Qtyk;_s)l3vK}!pF$nu*w%rLhHgHHracP2D!`5yy=Epf82u+AH)P4FMLM=CP_ zEWdqAa%D&0^$yZt)2-4~(@*ya*;&>{rV1*0jVf>_2D*{XVsdxcS?ov@mM5OK5pkxP z5T!@m1s+tHhrrW~l!oE%vSjR06t;(2G&dV@#W&g^uGFS%{`+WtFArrWoWYvK1^Wv) zF8D4svJtt+;@hL9+59DFdoRzBosf(j6+4-i2z%-pRd<#ece45xCMu(Rt`i%C3xqSR zbKdIQ@dbY(cFHrUJl@#3?u>Kbr6K#82Crd;S8ZNw`tTfzZyG+5Uey0_@l%emMd|ew z$l#e{@=BAUFb_PG;Z7t`E8PV?Zn9MDth?zZq?pCGMn&0#e_)$huo3a*Grmmfm0sQi zcG^O;MBKbeYLr92Ag&`BZN4KF!ATWIxs$%mHQS7DWv{1pepW^NkJU(=09F%xGWJHj zSNE#6w)*xhsY2ytY|-jelaOJ$W~xOiPS#%99BQDBT{T?)%(ravp87NLWgj*C!hKdGIyJzV!Cq022=M+Y)+N!1TITGoI+O$eH3Hu^*I9PQta zGwz`;d-hkggEChyJ=AcKuKAc=|1I4o;Sdc>YH3xLwKxB9VYoxeIlgCHExco!Lm?A| z^|0cBpM}VO8eyVw_~_3v_70lI#{ASta-&YkPL_N!BT*`f@<_Et53|$0&h5=6_)sUg z6YpP>q+`3;xEt!aUjdX56m@J0YIu zg7{Ed+9{SE0uq(zA=u(ZI)kla;~(QYTCgqDh>Zw?n(~;E?;-G~%G?EhZl;@YNfwX8 z_GjmEHXzr<{EKvy#V4SJ?y~b3dKcZ#mM=tI*$HBiB$u8gCgjkCEdIM_t-I_WSnEw2 zi&j@^Us8sT(e4P5!By2~oJL}1)WYErWy0g+P>!smVmb1`8(G$|1$H**miwxUbiOz_ zo6cqNZP2CJgs-r0J0y^r>jEF~E;`Ik`w;qHI|aSTxP4X0(JqcytL^9r@&_nQKCwmyTW*8~1qY zuO@+YucCN0Nu6o}k8&O>BG>27b?FN$pzJry(ylD{-TYZ=CXEiY71NK<1S2B&kk7Lg zA2J%fTz1lU)BtZzjv}7ZUM6G|>8~6zW~~X#=sFJsaNz=ucU1A4L)X8 zyl9$S6?T!5X6gjZNj_P7m)bA>hWDIMXSZEv#WR1=ic8+chMVfVZi@Yv=Wv$inr%?P z;IO+ssBNwdFC~c9y|`F+zYf{E#=bYh^<^LSb$rCQ=l1r;A+zsFco9O&yppW^iaMoc zE;nRAQj7y?G$I zBsuz?#!f@$v3FpEmf+CuHzJGCwkVjCQn1z3rD-&^2hoc<%&wA%j4skIiwE6P+x>`N zVaMIuU6B$NeF55(Ejf*?wZr#ND>hoikn0N%T;^XLHC2OU2VX8MBAgv>kJ>RR;T8Lq zRj=*cI(RC)zIJV8kpxMagjI6)SC20(bb`@w4^9fxCFXIj)kRJamq+b>@u7yqU89%4 zojCfdsURy5?{}E*ESMeMk!MVGZRgYfJ{)cqQ+OG85yMZEyte($e_>1kZK7~r&9&55 zbC+{Aa2n@dfiW(kZwk2VRcha#lw=aNB8`A zg5Hb#Ez~%7Vt^Z5H8D)7EJ+IH$2R*I|EvXO+-$xB>e0*lT)b-|jF&{|s~)L~P$4^w zoonTS2e9!C_-;ESlIoGoC!%3#G)wo?g{VI}jhoBagom*4P54?n#EUvDn{R=}r_mhQ z@()m)?Vp#+*^JZKhzq{Y4q1VclIr+5^lTP?9@^@57QgDA+U6%q$Jp-eZU~=6e+NCC4IjD%yCL5ErEe&;yO-z4 zHnT=q;u()AaUMi(>M38_ZQYRl0H4)OqwFTQdWN9Y1^n_~4)|tsayiA9Q_C}!yE1s* zolE_n#S%^DB*S>;^D?{bS1;u=Bg?SipmHzA@BNoIT%uqiigR7oty&XHQt#H{3V-Ca zH}nZ-(1P%ypLFO}aN);(}SN zS@9wWb8-~&%yp`f)oL%b=tr9^hhM3h9Hl1Je_UuB?kd9S^5(jH=nEfkFK6Y=F@$F` zmM?3T|ALE*02kT)S8)-CBd6}=SqdoYwuyKt!TASvgQ;=&XTd68GR%dY+u94Z_mpwh z+}%`d{|N+q?xr6jIbpCG*~oD~LCx{GcyqFEAQgD{BoE>zR3W?S`Ka6ZQ*HAiK@U;p zOnL{bD)gI~V?bth1ppWzTy38yG^^5HI@OT$SLQV*GaNPwm=mv3S6|I{N?PtJnk!Dc z=qwlmztvNGTaN0nuQuRi&|c0d-3W&QR=)GVbwb6t9Ew}Mm#w>ZQno^KZ<`z<{IG)( z*WYG8Ge>c`-N}ritXZR%S|F!ISA!GI8TZ76dNq|e)qsZ^@y(Cgbcqb`5G(kc93zf9 z#pt{l_}|p`f%KlSM2GqSxQ77j1*nhtMWF;Pee_n*GUS7z6BYL!7xq}RAmvFn1IGao(T4#9C044T>W#ptwN9;nSW;;X6i ziPAxjR4a(A^KuO@5%G?U0?+2p1%nY640I_tXWb8QcGfpXo+?GaGTk-R+S5)FKyzL``X@++@q6zT_`Q zEqi&(*$F9FvbaDZlH?G)si__U$u<5WG&P(50eUJ58x)6piIs~Bq$0vaf-lw7-880u z*F?JyE5h=RMhK`2!35!tYJjETT1)Gh=McL5n%xhJ2OFg;b8~}tD1Ha>agU!*v;Utd zqf7bBbdHB=E~-`t_W$<%bF==Oo{H_udPr&8w(ORoh-&CaW7S6~?N| z%ooMeUl<6h44o+4u?&T^30}XE9IK%h=!461 zCUki3fjxUy63qS*NWExRQij4|6>0fanU{qCL@BHezTu-eA(Celyf;kTi>#!J^-E%SMRL1Qur3x&5!VS7AQm7;(Da9 z%D_OY1poqrN4nznIl(5AEc@~$a2)BJMQdLY z>TM{b*RSA!L38Tmi5G)w$Kq8;RD&`{)&HA@JU_DH`tH3e>DHJW5NHcffPA^RkoKU$ zMDNz_f)t2hg%<{KfIEcEQLq5ahU{D#4WQ~2tU-KNEP~{U7}6{(zAegjm!)CX?xNG# zuE|(|_^wpsokK4Y({t#VEdGb+ad+7%tn4nDDem|ZQ;8SVi@bB`0x>_EevL&qk8zwS zBo6_A`=_x3Y-9sYwL=hUP&R)hN=u`)y9>5aQ{7DgYvhJIv5`%9lpQPtvLQDV7wS4| z4R=lyp7XA+D=-1lMo#0bs}Oaz{4|O>%d65aY6JSN++7`IBYzm@^Q&Po>4ZhAm&K*g z%)bo(pePTJXP{zfu;W@3$IgT$C`jm|=4s#({}QIs4%m+q#|J@r*g@{+iX}l%? zbMbNUV{+yrQaj(cCr={R8OvC@*rbOTdJ=n_Kl}yo%@H`&D9u-LW`B(5ec}V>Uo@9% zwt@R=f5*^ha^7bw2NoW?WjV6@>{ z!JL?)&{gDGP&)VY3nmmgLNrJh)BhUjB4qX&?riJP+zoPtBbq0DV>$<{ep~6?wg(W= zFmre1ekl9DitAU|912*{ylwwZn}mGoXw1Ch-8uW>Gd4M*!!Lh;ad=lx9vp7U@Va@y zfBDf-`@kv%z#OS#=9vD|e$i=Oh4~oz)xxlEgZ8}yN0bI8ea;L#=b^`__46u_>D*($ z@|Da4PgqIp`Bw*zf0_KV%Bd#b$pH{|a3WQgsb1U|SnLiql^W61|7!O$Uc`He%;S6j zo}ZWXm%#H981_D?f?@AVPZ)ugaZ*WTH1>GSgKvlfAgSDTrOh^%pC>H;Fxam845n?PGSY4O7L3UJ#~!scS^*1EkA4!8V3R zM?EY@_<&UQQzWp9n?gx`l-;%pt!Zd8jQ@?7C@sAbGnhZdnE)AA+U@Ok@^+1aE>L5> z#?O=PnJTltyrPVx?NDhO3D-}KV|4wndbrh=bkou#B`D%AVTPBzSDp-5o_yA+#^Mdu zsDtKElzGv1kr|<#?RQUyMWlcI``b&u7HZrgbXCT??*?7g{_h)Sgw`*^KasgHpR{W_ zg`r!InbEA1^mmOd2msH(4&h@8(Os~W z3d;RfKiJ83hdu2m2p>~mf3ck+@F4n70a@_a5B9;`VMja)g3m9pPpP6_UJN^J5ekUv zRZ>+hJx>hi2Tm^JvDs+k_YWYh8ol9z?^o-MPmgteC7mL@M*v+&G3-aOAf@0=O2Mk4 zVBh=<t40!Scl zD$T>R-4FH^++j^&htQ}#8)4g_mxr+ZW549DLS?-?(3bcRmLy^k{UW_k?43=hy~baP zPRZtfgbI3jps8UE3mS=to=YzfC+8CCukq)jphL0{W%Tld?6ePHm%N<UXm# zQ3-k`b(~X8ch@zYe+|X=;wqcATWi422qX@TdaJK1te)Q+9T$+dDr^2E@v!jSdU)7gAW z6m+4^u;o^08r%QtT+T-1f*6`*7_tB*X7lY(mtI~yTfPVd23(M9m`iW}1e1shfLH=V zA1cXR;Oj<8#kR7M&A4w1RxA!lhCcC_((WPnglg&`01@gR7@3WHjPSycAga^_iJ{s& zrhvlw1E{>XlnZ~6&2dF8g&{6f9~Y<<>V;~J5738V5Ys@dKJW?lSR5i1@pI{HF_ap) z!K&UJ%061KyW&M(VztxT9XA%Ax0oK~u3H z7fucvP{pEau;-W!Whi!#Np^u6sk>06vH)!mH@8z@!;%V`?_!ZrF8z}DJ@mlkW{YpM z(S2Nd^_yF~%k`ld3V5_O&fKVXrZH@G^mk)3ZlNwTLruq6E5JjiG5S?)sTb0ye}Lly zZl4^kxP+x7pq>tCx>`xDspe?6grR>J{6qFVkHNYuM%0^8pj?Pbfq&P9L_R4f4k z3>IWxv!OiiE^5X0w?aX$4Y&vpZHSM02)x{&w$yo4-RCA_VcG7mRc8lPs4h_bkwzl| zMIhA@Xan73XRrZx*yyu^8rF?aJCa8Gz4}j}U*zVRZNv|-p_IjqcpfWsj~6%oa4zXv ztpxWOjfNg*{|dD45wc>sfSrd(Vkl{Py0C zWsPRp#>x~@{>(MZh&kK73^C2xZ=qv)Ne9zKA`U z6T9-mUjKyozT4Z5)k~v|&l;ayPuX{HDAAdeho;pA7)m#V z@jPmqX$Xl|bQ2ZThDb39S&8wM)`rw$$z-LBccnH&f;E%PkJ4H$$iGIfk#a+*6`h(-un6)lUEZVDRg;?B7#VM|L~u_BAgC6!s{pK3IFUeG#6z$cIJ05@LEG zhKlq|k?uDwUQob|8g9hx6MzcxUE z6_O(`p1d|djMb7OWIVfC7B|Q2IGyV%GsU-Y%o6FPt}+vx!ZACc`t&N_0XywWoQZG0 zHr=^q$^@C_#B^n4O66gBnRhh8E6Dfj<6bTJ=mYzj$x#Eut*Y>Ra-~D4!nmjF$AKQj zP*R0kaD$N(V=GOaWk(Sit!HeZsV~@>6~Iv>Dkp|ybYzKY9it(~EP)=e9EsqWAn+Ec zhz~CXfwztFmty%3vE$@;ly8Bx6Y$S?M|@>-ao1G(hgdWRiC59D(pO=)uWUB%pGu#H zaeQTO;W4Rn0#@ZKn}grngZuGJQGy8`luEb9dVOVYi&jOH{JHT_PER`@+HJ8N(j;vtKr-VeX1U_QGDd{|M(J-+-$HJe7ZRX-U>&+RWDj zT`c8UfVFPxo>4l%-!Oor(*o%H&E}AOygmh=9=jU7nS-Ia7U`$qy2J=vTuTwmG}C@T zgi}qhUMv_>2W?(6B{9Qf(zj|OmbIIIUyxXFJ4ivBHPu=%plR6H*J^hlVCG3B(MS<7 zQP@+o&@ihH(fR90u+HOq{wUukPZTbTl@CW0?`JBD>vlx!$pXP7QHSvxQ zGy~N=`!)T}*Ur59EpvcUJUm2;TrIqMs3iJ>>n%Ia828j|jmn(f@k!Lpt`$RF>KWX2 z;-P@S%`S?Vw!25#V>L0WhMzh{&J^l-9PLVsZeQ81n^SER{q&-KEp;kFxR#?U{%z}> z{V6K96ic__ZABmfh_N!VkBkSBf)qPKmSQ~DTKjrzfGmxph1J?iuxn%+j8|1_FUIbZ zZQ^L83qmdm(hW)>WeM|P3M!(=E(kd&NK0`vS(cEEp01sN@j%j&LjOXryJRjEKfud= zh!v2nY4}zi5y3jh)>NF#6CfCiTd6A3o%D&6E$K5g^5IO>`V73=`q@?FGRhQ0~#8)RC0uDTd@uY0)){m?cQ~S(Z zto?kB``_X&<^{|Sv*y*=z0O&2GGLH2V_YlxdreMDy9k&5M;sbF24ahRqs9G4^<8ya z`oZmXZH+3qoWJmdwfO=i2qWY(rq=OgYdRYfQXInC@*k_sdL9H>^Xno4XLI#iZ3_PL zi}l?KiXKM%mS_vqrs!}t(}S(IZumD81%e;~yLq<|bA0xT$NOqrP zLy%$9)0lDLpRoO82KPULh!$fkei8b*>le``XxsN_uT48lZN7q;I5icfJ72+@xNj=| z11#4U*!AEZWD!>3OEkfqQu!;fIA37@&3h0RULOh*DFLDJB2buI2@u7iAmI+}K^Qz6 z6#7#tOvk=NW2Dd(c$*i;EQ!C&Pc|Lj$uWzk=eo+w@bw&!)QenY)9?W*c8c7G@r1Rk zdh8*&PsRf-Ex|I$Q;$Myz(x<(&gD~t&NU2v-LZ(sS8TD+lz5AVNBk%96H1?wimuM5 zbuRIREeE68=9aZbbrklQJ6Xs090?u(DAq&+!t=}+O;2e`oZDQR|2-iCSk?W>QG0E# zhs&9{9({dX2M$o)zP?Q5Kj-!ISV2cusDI?i>j(TPJEJ4piQflYFIbULGIZt4qJ>69 zeKDmhW>V&OxEM7xzAhw1Nx=>}Wa${3U2O3?9di(Ku5pBaeN@0R6S+FqhX*> zEGn7sD5gRhuk?v-W^t{e`Cad*yHejSO{x1Jg5>FW_x!!-FaOk}1|!NqOAN-Z{S3G5khyq+(kyOW~qW z&u}0;B;xA6<+>e%$$F}M{@B%M#x_vQ&_{;f68ynRVgNRLxZh!@rZ*(};ggcX@*^B& z0q>sw+y#O5DtSauw3YfN5L~~Tkj&!tM7pGN-b%4^9bgc~?g)gQz;UL1G^2!!VZ%?) zjnVke!;NXzI_f?Lk>Zm-Risd?XZTU3YSP(avmvISK&=dKA8FX1eWRnnqSdaVB!0@H zvNN5H)PXJ&lR&}H<*xog&G6i^l;o1bjZM>8*-AUfvP1U6p-m4@J1-6WUjs2fGV`)% z&A!oH_YS?U(oNLa5(p4k_WK0#MJ)g$1XCEvAJ#q#Ua(@XOo znIt=eJ}j{-&975%mXS4TrKl~=TnOTP{tJ z(1Nq%a|$5FmE2t?sLz48SF+hzAkP5>G+(lLeX4l@#K)4&P9(C3zK-Efn}5NIPa$Rr z^U$W+q$$sJ4Sg5o8I!Mzd-=_!NM_16_%4;Q^_98|;cNaSk4v%D2WuzQnij z8+#BYZ$3(2jNQCnRQF?KpQ24NEVMLYr5qKi`E^$#L8`KSyJYBcW7h#iU;Ds9U~~;d zR)%M-OTSr>95DNUlK5WW%r({xO#lZgp0)&9TC|EZN9WoPWNiRnzlH-!kMOJX71*#Z zWG+(af5(Kr0BS_0(wAZKdPs5bC>0mvY)E_XDHT~(^{~D<3ZF}YC6c)^9;kk(5Y8YN zo7|1^tuWa`tc_emgRlp|&XS9$5DFo%nxY|Lys0-K86(F0cu5GXx@d?8&+R58ZR)Xd za=MHMh#U!alpKihTxtu%z9t+Jse9Viu~P2$+FCxS76c0dX1Z7>9x!pb;c{4>?d@w| zop8!TY1-EHXk@~pM`hiQLbuLdV9jiJRI~tK$O%fJvto)#@(7|$fdC;_{;`|_a88g! z!6GUo5%&ZwTcaYUT?ha6>mx~-pIuj8jcog_@mmJvWVE4Uvyjv#7z8kF3Uj1hi;?sH z!y&=<-F{h46Ks=A$mrV*h=aO$AY6Q%LX(~;|2`!t*(B~x{NX1@I-h>Gzs$AwQPKlu zwD2jmgEUgtXg4xY+Sa2i-T&xDw=zc~w2gkS>%SQ|ZUQQ1o&ZRtj+k{f{?CC(x9iIe z1YE7SJiqNj>2#+W7jT>4_PcunKC(8yqFCLHM3xzsP%4#mF&Lwq%i$0Lwv6s;)^EtrJLcKw-<4+;tY%`@v#Ya(BI;HU|{I znUcFsf|Y)dN#mp)r{}vuc8!ykNEf)uX5a`X?F7NW53+Eaw3Gar9Q>H7SOOUE-6FaZ z!;1!-%}`2T&)7x-4oDHvof)6doU`PJ2rzvm=b)z&kWgMQ3cZ(r1oCoG`U33mLu`cX zM#Vqn#a#()r%kkTkuoL;UK8Kx-RpAye#iHW%5Qg}7JVSW2;E>27inB!!fc+I5gvdzL6Ye;bis=B!V zhwIN$0rlm-^ANuZHU2!?2pDz%W_fQngaJCSj=BE2pXuw?*ZC`W4Z|~2hP`LmC}po( zv>su6Y46NFQ(oti-qfeawN^izG{#?o`q@D*S<*HuUYg(s@lOEA74?#%-!Uz%PozXt zs1q_w_}|C(El4<-!s6QU0%qD;KPc*1c|vhx_N!u-YM(*%>@n2}EQS8PV;~=+bG}{n zJJEg&*vpYkQ7(UjmEv5JGWDRzq-qz(huNURFy)b5#rH1KGY%o!$-=%X3qv2RQGG|7 z!mO-Q=mCwcI&&Bj{h+_ z#})A69von}F;^j1&Pj`>XSo9Y+>rweJnSm}eN62OiLzAwa!lY0$+J|LF?|7{7JHR% zho$;LhjE2;8z=1;|6UGor#uPhkIgQ?PpB?S64whvIe4P#f&`FuvK;)lDtbBoF^_>@ z4diMnzK5qqpwH6qExbuL(cxN_7`s898ms_Fy&>Z1btO%`=%A)c6h1g0ZCsiX_gzZT zDU(U!DQ@m_DAq`-iGo`brM%!)QJFt8##+eNEFOe(K$3a*q&{axU5?oaRfa^hp0Uag zf)oxUFh_w42i(VXSK@5Eg9@2Wj0X^o7_y%-9zZ=*B$(%O6Sh%kh%--$U_X$jpzv7< zxF>JG7eqpQ4<62wp>R$J_$D3+h4Vzfck@zFNT@u7oGcZRECf87*N#Hslj0_iq zS_%W(wm}-b{QD^!CC#M|U#ToPAql-Id>~moz7yNKMKeTIFT$F9NjLv7a0w6;O%Fipxx+zoHUv=q(qUj@>H+CK^^)eB zOwgHh3r&tl0ey+2l(lpDDIxvYGk z*zcO+Pn4ArETVR<6zi)UA&ZRGF?uS78{dpz509wB)eqxFILk5u=B!CCd8{#i+uA70 z+T7N9YL-bu=r{c2?LBR!vYYe!7)Ae^GIO4B&ko|7_$L}dH)ww#1B(ZrD3`RWdjE~y z{i8WIfXk<2gR|EtWs-f0ZAJHu{=2>ecqdEVLjYYl;Yq#rhXSaYKHau9P`IqJXwBER z6C3se2rJX66Yd;)0W0+)d;wUDBYbe0gv;R;s}9+PssrQh2-F5leMZy`t_@zhZv8@L z{675JKJK3=Gs<|%3w8ylGHbXt$LyHuYYA{kaVbXwFa#p0uDih5J~Kwqqv*OJVjM+fQurv4MtMH9Qe~nSwfl!unAtU(-g zxfR$3E*n3yVZ1rqb99u-8I8{e_v`k9J=5j?^?uGw zwGAjG_<}qSwW@6>q6BBjFQK5n|ArKl>7T%!Kc51)J}wG$0ESXf&U@2qu=bD<`0uW!a zlB@jhj&)!(owN_1l`=>p!yL+ZN+})JnEWx|b2MS@P0Hv)9PPS`?j>u8t#;$sJ5ax+ zO^1BPy1g%K!8I4VROD2iA<8ew0R2dXk|qRFk~AoDLZF_I3d@h1P-94gawr7q4ymwA zxd}~63dv542h6P=5}-03QrjSbr07j(mSR};AdoVpK}7`t7DXsvOzQSPkroPB6ao}( zp^$hbK-15MbPG)c6kgttf(aFY%FCAq`YbaG@Fdkm3DAVy%ZV|;_i|#)@gxHDEtLKa zmNkOd!Vn&{%c9k)q-EqLAbjU39Ry3e|ElCJ07T@bxofNqS0-Co|4U@DUCqXEmJoq{|-x1N~TeNU|?sR!!>>$)JEUP;?!yE=YJt05di-Zn2n-Y+1*#zq2~5vA;C)GnMfM}IP6&luAAmp#Jmy3L@! z&t+ne!}mZd{sh9m30m^n2850ffaROM?I8c}R>s8fw})uDzW!`?es(aMwd!-~i9 zmMM?^8j4vM0b!IJd=ggxjs~h4U-4nfe-VsnW3i>~V4$Bb!e3}uC^Re|->h*cqZ!{Y z4Zzx%VcmW?e+IDeYN#FB|9`5B|*C7B!_h#1=%kDpYO#sqh>MJyhR_q&C58#TJ zC8arkfzGWKNet6?bw6HHx|u$g&iS=#{mWsVqs9H(Ox@Ij;{jMFBlu(F7YP|$aGLQ{ zn@z|>f3^4XNU=XcOAX7IS!+V;Hy&;&@xW!zWG($3m0v49gJne<&_2@tblOLn!dac= z3cCv&$o(>bsQ#zPQ3`^1DUB)Af}_$0k$b_b8vn#QBJ}ZnaQ1n^p#n}R|LAjLua@AK z=ni4|ZQCyNgZzWD>_7)YQUZDl&of;ullvp>C6h=Ir02g5mhgI?d6j`~o0qO?2zt=@zZtwX2F{+v4tAtLXYeh!qll8qLvF|sYymniMD@fviTGa75zzg+z} zSX8r7Av6w0p5Pk$@rwEnw%1`2Ir~N!b1Kfg_x!qD+t0Ajos~R_*foKSzCu% zZ(rG$vG3D)uiTu#ef6npPs|-dmDd5vx2DY*3qRR*XZwt~DRJDp&i`m`Q+{J_SDj<( z@O8H65_Mnah4!fs8NRLCoVDfr=hTp{&&~$2&xNGbBzhnO-Vs}lH80CE^)+OPTl-Xe zaea;>iOMzng8mPxN2XN^(el{@ktuih3}!IOKMPDQNTOkYFh*O#v) zg>wC0Lx}aPIR2?ze?!Ewo^?d^o||9>mgLEpja90!-kOqJ>~u}QBZ|#hbuu-{k&%`w ze*uT!^6Vz#{tSFGIo%zPB`dpmg3OprC?hlGdy$i) zY!g~rL#S>5h4NY;9Ce`4+RrZMOgdW2O&enMcU5ep;oHd8?l_f9ip08W2=4esvMdtY zN^WNp-oiFB5L+JVX=;SnxTQ`;me(I$E2|XEb0lp*Z`7z{H1No|*lO~mNGzP}!j_n0 z+Zo6_UYTe66nueOsv+`j{i;l}7D`xVRj%)J-~EO9gNhng9Mod)vb_dc!#p8k>uAO! zV@m6t6NSh1Dpk4uDi@T)LhNw>cw5;yN&a{|YZ&V*Ys=tPE2DQthgiLL&g#*NgN@-I zjs?`!+qFXV0Dv3xyY8ZjbemlUKL8Mu%P+nW#yyqO`*<95M~o>uw6`1;KVkCdH*c9U zY3w|}6=}D}VE>k}S3~(Y)uaN-YplN2x4vUHf)||Sb3!H#U*d2;^skgGdIs?QvEu}| z=Q9#cX3%`CpCOIL9(L?Jv7#5Q$E>fLb2cXrJj!d6yoRr+-{na9UNpFtxDh>DGoza~ zQe)(Stm0*>pe3*g)3JRl!b~hS&-Ez3F2MA4#JYaoT2hthsH4mk?W~b>@lMsy-I0a7 zUKMtxhVOw#l1(GA`Wn7Fw8SnREpzx|G&fVYo9jOnXXM$vhI_H-7Q9flY6VXkiB;8< zuyXBQ$6Z-;OP)1bwU}2FiQzT&x!B>F22|Sdh3bR)jyRRQo4^#S@D!L}akj`ZUX`b* zA=3Q>Eb9hN$kPYyITYL|D}AU$-Bqyg&^m_p?Hq?XZxh(<{ z^)b4cToH-+k-OR6N4)(n^?Hq3jKLAT-8YS$P&giS#tu1sf#rY|)%&s!>B?{M0i6u^ z#MoI7wHiv<4%H-Ibg(4U3+Uv@y46cU_Ow=*;h5(Y{k|L89KLb+Kaat9jSjPVbCmQ;YYn zC2mIV*UaeRmDD78t-o2 z!y38=45qfo-+5`Crc)51kp4ao_hih)oLKbbJdP(cLtEUJ?BI@5fZUKKbyTycZfhB5 za^>!?{k_@1;Ptu<>(+Qq#z}d0M)-afeJPLILP=W7IGrnh9e2sIdjm&UbRw^st$K$S zfuqFCn2o49Q&=tPII3Dw-*H6st{d=zrS%{y*fN$L8nNUTOY0^V=lJtAi>mEU#&$8( z@to{(+5gitpd;NEjEOtICJ$E-@U;&zr&_DiNpJDVv z>C$D{FQ-e)VRWYaL{UY{pLxTME~jeK<7s`K)F%U-`sMB5jB}|gw>6vO=aA;}nml1@ zcY{g3e%D&k9nqj8aTD5BlZ??OWSU)sF)r{$O4|w6M_df2qWst9Z8iU zr?s*TXkm>+M)O%K+l;nkB0o`l9Az8P;7sB7qJkqTi+a{k)ny^wj;Ca+{?7A>#1d*s zvazO`fEJ34qdJPETEMf3#5gr27qOc)4b7AyNA-E?)U^z0fM6Py>nSkD)V6pC+1vvU zAe(pb00#1aY2XS#|GrUUNq3o*bn#$!{(NTa?%h_BBFjvqg%Xs>$;Cb<6LFZT+#z(c zg&@uo<}tU_H<0)1Uv-p)a-o}3!NdMU5oKCs`!dOKI825f5FFYlWCTXZ6e12Ps=#szTHl1rsrHhsKU(WHVvF4ixVi=82D^IT zArx*x96y-~Znc>LZaN3sLS{t5+JX(?6$AN@_sG+9GX9Pm$UYy`10USYt@?uh6%|az zBMO+7i@v~BZIMO10nhxk`HLjFSIj+wR%4R-RC)Pv&WM9{;#UW)VvbY>CgnfAI#{95 zNK{v}R<&%$k6*7UD2a(wD?9hWU~KvvNXr^M;j`e3BsSK3Xa=VIVS9K`+d1!8+B5R# z{M(ZUBZ0YUBhFEMpwXit(SV3K+}BwYs?0Z`(GUmitD{z1yqZ^{QKzp4uRDYwT?h4T z4rvF4oQ)Q~kGSyDoh#d4tl0Q!6hbN-B+^=??QL|E))M1ep>&y{CiXLHC)<$rjsjtNc(zT z1ELuiuT^}27k2Bl=Z5+j9uGjeO69x;95&KdU3#|~?BdltI>ecV?aiw?%Kt}h?-BZ! z)TNnL&6MFxvm99D;ppczM()t|Y#{*l1R*h7NO&6y$aDRIe=gTBj-N_x%H%wvSY+ZC zVHt^|Ag<=Z(z1(}pNV8+S84)&qDa@OPf^_*8TSJObFn^8##>mvE$&2CxZ``t+-_cK zW{jO1<83U}7WXCxy5rl)q1`-LX3S=EQl^l`mA{628{Rq?`p{>XMed9c?B=FIB=`|PJHZWuV8_Y-!tG_9V%!eQ_l zDdO9)XOG^IQI`ka7%c2bFU{$-8VO0kg_#r~78N?qFM*0-?5Oq7FnuL2_1T|CDw@k5 zo}&#P32j3I)=ayCyr#$IObtm^tv#Kx=9uPhp6`AiFqn8{l+f9*e)GD5wVxjPKlSSE A_W%F@ literal 0 HcmV?d00001 diff --git a/langton/doc/p0a.png b/langton/doc/p0a.png new file mode 100644 index 0000000000000000000000000000000000000000..13528c0e4d9f5c7528a8d60e65b7fb4e48bbb5d9 GIT binary patch literal 25187 zcmd_zd03O@nm=$(dq&UixKL^Z-(NERq09!Xm2?k+A=s+;30kO6I!enmO0}X3lZ)M;fC> zg*%`7e!qF1r-`3C*lzfv+8-4Z6gC|C?BG!ag*BfjD7^dKAJ(8}c2;4D=s&*?`sYK( z|A1~$fA}H+{di08r>?=r0=D=2JLICOCT z@vz*9KL6mM#WMqQ(_I&-+P=Y<@Aq3;e5l4WJ7u#=apf%4WBi9-?onm_?wxyQoqa#N z`=|Sd0{t(RSmTHOc;@?-ZU3Y${NDbvLmF#0Z8hytjSKwB(CEHt;g%MAwZ0qC9sRvb z>mTTQtQ}g!^Ha3d@Y?*AYrAV>jnlje(pKuvL^NRizqq-F?_c6^1G(*VQ}lO7w>tF= z>kp=^S8U{3FFaH|RTrVxznnj3%j74zm(4{LY=B?%?Bquohui%&a6IPklo8i0L#J(v zI%4YDeh)wU^3xZy5e5BLhmBr_1&z;JE5frs1>HPa!uiU-41V<0HuP(ZUPfuXL%tx( zOW}9$=#N|l@~ID6f0>DfrxczU7Vxe=44V~&)r<scQSWLrMU*vYi? zcrs^LE4dvg{%BM|;gjnda@`V(>S8`LTYa`H9%Z|2RZs}4+h=O69GF{>Xne!F?$(|5 zaZXOi#=*GGg$lgtoplNdlFO7m^MjJFS6Av2y9dm%8{XpC8|4{cFZ4W=Guy0l%Fwqw z|A-@z)|h749NjP0-Zp6GyEP{2oI$>tR%DmPyMItnc)6o2^3~22$(iY-vOxZG(i0m#62KFHcskM}NPcGV8ixqL$_cR6_Oo zMi#fDXH=edrV9&ZMcjejunz+J`_k|-l|FaF{vRXXiwzRCd&jIc|MW?XA7klcWz-)m z6cnOvTg?26vGg`ItSQ`Q+)DIaUlrH8FHh)bEviRpLU(mMEMP7`T(SC0aqt$Vr0pWSxZ0V< zd0n;|TyuW%=+aNIi~H!3X;1?TH5^` zrgX#ji1>0~q($9)aVh8ZXWFT$4~$G*7n}djnpOjDcg$jkc!Njy-kY{=^qSeku<5eZ zQ#FBwN*%H7717_1-TnZT%{#TD0&frB+1F3LsF{3eZc*#FPb`kiI8_tk_o~8uW-!QG zSQ5{TeSYGki=IYubGJ0fh1UA7hGq^^W74X!STcZMD@`tfzPB(Wgu zc~M>Xv`L7~5?_4Z#yTnPu;ER2N$}FkxtPGH@yUWz4}N08^J`hf%haWrg6Ja?iuL9z zy^hPa;!88rDa@6zw#KrF6pqU(*Jks;%9(-$$CbzNg{QJp%a*TGIFzn_&A^ocYgNm* zZlUSwydrn5)>AKLMZ@vC<&&{@9Moeb(mdx(JyZ;H!$WH#nVa4nso&-vbsaN$*;#HO z?w2$O-Ba|VE(+B85(Zq$qNje^W1fGHZ!Vzs-+2*Xvvi~A8d(@YZ;2wOc zsC~Y9wS4+h+MJWs(=yHr-`ycAqFS+d%vHZRC1%08zoVx*S~veVzujWtVAShFx@wNr zn*M3K+AaFh9Am!FUE`%pi`wJqvob!28ECPq`%%d}9;GrvDE+H-eOck{>u6(JO2;QP zmk&kxL|V8n{pE#f!q-_*507{bzA0<0zK^P=c#~7o^Q>6jI-00|aS&g=rgO>bLhOV# z-FwDdjaYVF{iV;x;dIi>0i^>ohRH7dx7d*@1p|qe@hzkG9S6f!%^hr(11=4Fs0{?q z?&)9d3gz?_c8uOn74}cpnf3<-o4T(&`9@XpT^nLD>Ux9{y=OkurBCx-uXwM@fOS)B zNaQ=x`cHYSR$YEZuW@YN*lBEvJ89#ZHXXLy%^eyDd(Y9?U72!9i(p>JqoTJuyU|>w zawo-Rp!%DKs`V=y#A7aX=FV3Q*zBJ_U%zo9Tj;%DblaWM+b3yWyP0}0n4dS=_{o)R zo@b-1Icp6#%;n5gTFpWS>+w&YUD;@}rQwFRB&M%W!q%E%7keyZ7%i{WB04j3)8gxw z+a)i*DH=R)$Wk6zncQD9s&`4)&!75KxGt=sV?6k~V++T9q_0}d6@ULYoYTEA#Ur7- z%l*Rg(}BQD+RUFd3=1@qzn*FhiZDYU9KAaGJ$Iyn@5g=h^UvNf%fo$flI6pub^gOq z2M^XvJ~O9=ZX6_Lj0?hB9Ez9s4vefjhg#oPhT1pUS+1)7+=uw?i1y_4*?~0vje1SP zGuMdN#UID%udc_cS{5vPmO9#{IQYd&JzBWm&aV8ZDeThM>jqR;d1*B!no9$#-b;^r z@#B_3;*!|$K=!ORy|ka_WYUX?17jAnIJS2@e%|#9@k-bFJ$_kqc+^m*LsaAZT5;*x zO7q@Dp?TC$H+!tIHtgZch^1bt&~T~2y)Qk^d`r|h{d}z?M>FfWw!RWAHt%JLt2sqA zRINaB{~BG-a}itp=8D@7S)qQnbbjvnDPhH$KPh%Q4sNJ8CVpLHGe^61JZW{V>eWe) znd=L@3O|;#;nrQrxFi%z1m|k(YWzhqBzZ8s(pnWEi4?b5>b55*xC>)yrVA&l#CHPI zT-3UF|Yc=+Ln1?^Rbfbu!j@ZRMoDfeA6^Tf73Dj&KiWP$tkD37OA~2 z&f1kMWw>68y0mzwPN8ISj=LC|DSR;Tv9UyzWd=|Q+eFCOs>TV58wJZa^L{_K^ofv(`FnYo%>?t3W82M&1C z{OH!L8&_UTBYIZb?V_5-J(ToD;%R4nww1;RL%9_DQttFhyL<5a(sxGe)7rw*iPY(V zGmKed7sF_;r3A^7`0rMmJC791&mLl`OiO~|epY$32~7kqZ`?Ie&-4(#E8gVT#{S~C zkk>oi=oa(5ul(skhe|G|Ywe2pm|^s%r+b!M#O2F2K_$oLwpvRZV~p0+&s-Ge#m?l= z?p9(se5Jx0jeY_b59=y})YEL<#EX5HTQaRj-t+kCjYG{y=BiV0 zy|7Z8XS1TkW`Cx4Co)Z#J}vPUze!V%ozkdNQtD#}VphFsrZyyt#RF0AwYVRAy-~PH z%Q~q$ivLBFC_u4Le4+L6(`1{l8Jnc*(+jC#eU7ysbB=U|z2ZeWmBubi->lZs3TrZK z{Heo{i>)NPG>V@2s_$FzS?V%eqDD!oaw4T~q9dh(DYkS#jzYzu0dcKC`O6I_N$#Q;$myM~w`ul)Hv;2M9{^ zvze3)u?vrnIC34A*|TAD1Ivrz741O8{8uB~V?vskv(A|A_3T=Kn$3$hgZ7q-;`mB5 z7lr{@%^Obma{cSY&ibwS$w#Ag&8#J9!pwpBtq%L7zvYA6w!co-BiC%s zpsyObJ!{I6jwI-|Q(Zc|qTA=@Yu@7k{4LFpY=I?$btg=$|a8!|gJx6q+_k{6JRA577qWMfK& zF6r2ucI#+S=`)q~6!QIh>AJDs}LPhP;Fq>v%+8!ZntF z^U$4rfkBHk^b9d$m1`Mg3VQfySviMr^@FFgS_39Dsm;2Skd4~IMVB#KCG@){3lqMX z;Ss`wrzl zUD{XMbSMtnN^^MuRzB#TbR~;-Fo+VZ>~za-pNj`U<~_pXzFl z-(_k$uT97D5-?txy5Pl|B63H+L`{$lhMJW%+C z_SbLjZ(Pf5!_IeV|l3vPc${Lfeh&RVNx9U*dL_$qX zHwx?+!au91+zi61<7=}V@d@=eo-ycko+N)G;=FM(RBqL!q(;)|A2Y?@3zDT}#ZpP$ z#3K$HUcHRvWVq`Sx|BP$Rlx>KaaC6VXQ*7jDU2|@nvN-s*ScEg2+UtJW*D=GwZw`^ zY3i`q6eSWW>y796?JRn4vVQ}Mh%7-rr#NIbbw9E^Ti_Zv=Xr4ttNleI@wI@HhsUZ> z&{u(9>n=Eq-<^#p{fWG;PWt<+lE3k9^wFmWr{}H7x6DsLzB}<9HoyO|i#WWraBph1$mqw*eDl6hjt`@d)lRe*^N7Vh^PnBf z_OM?HI8TQJ99{#SvV$_FSPfR)!bS{+%>2?8J5)U$1stbT8+|Ldbs>c2X~Zh;BzPif zcrli)l8!k(pvQd3q}TKjw?&-x5DIYBm*s$~PX*H!{+U5zV#Yx%BCZy1MpZTUz{oO3 z&@;_B&7cL=V?o9|A`U0T3ZYrE%7c1{dGtC?6y?hp-?q=yyg*<+#cAXTIOz_$Dq~r5uFc3)FO#bW1>Rm!;7aflpbe=V$~& zi0jI>!C+4lR=Z%7J=!VaEIZ_~F7th?MjeF{3|uHWr^~sF&Bo`cR_6-Bo+Jh#u`0QU zJi{TgJ2`n-pW(;NETI#QvA zhFTa!f5vDj_4AD{sPfRFR>w- zXe`2Z)&W|gWqFhti~cxK&zpfMs-bqN(GnmC4DsB-DsP`)Kl+Rzytk?QQV=$G3jLhc zqX0obsHZ8b9Q`}S&N2!+60vt#gk|4~34WDPa#UO&r2W0LwZ9Rp-#YfO zq=f#NXmaTKYUJ_f0yWeYD+{GC)=WiY+LMwws?;QZP8M$Eowkp z41u=j$CYi1AP}9w8d0tir$Jjxm2HcBXp2mmv@QB_W!qv1w8h^41#NM|h;r8{r^EPbbpPO*psFwFYm7xq z<*k^kaS6imW}RVvFHwDvFR0=tJ@;o3U9~GFRA&ZOgq5h;<0h0-MiHhgdi`eaQjwXO z;zEacbuQmLyeFw#L|s0o$1y zdg3}P`Y%cAI#@(sgEI{BZbmlfb^IDpKSkG2>qgQsZb_B-HGbGpywQ_ED;6X*CW@#x zHXq>;Er<1BmUljFk;xA`J?)HpKOD z9#LIn6t$b#{-C>n^YdX`7%ViQreiHchiYxMpej~Pwz|U9fUXYci@|ELLzg2BU7$U+ zA`%fGUA}fYlt*qwM&U**vB-ohFGsK|S`8Xw2TWbLoY#n;Dc|PiA+wEd9BAnJus&3+ zLTXqC)K>vViq|s}vNJlu*cGNWbBsq6cDR0qU(m|q`~_Vhh<#7zHV0UJRKSrISd^Mn zuSdSn8jE1=%IDlbgB`bW#l#?O$V{`-k%lgDe~3|QLZz%*L?5!lh5HL_h~h#PvDnf9 z73K(hMX1U4#sV0;qScDyctoqOK=tQlDd1&dbwkNp6L#Zz{d6T*hkAy)=HH(4JB8!pI^U;$f$N>Rr3#0FQVRVSK4nmojBW zlbpf}FP7O5-)0CnFQ~>)VO}Zj_P8LBb4`y$aN<@>S`9|b95l^n(gdO>r5piZ+hQL2 z5z{GBP{5HK#S0%iO+jp&uh;_Pj~5hJOIA&mAnb9<%sLh!ob5w&tlW-F?yZZx@DUFC-z z59BZy!gIA-pt@SB7&=VxpW6#Ko$Uh7vX`;*WejWaf;1wB9$?O-mvt6!X0Ho4eIdrq z>Dc(B*WHae6pNNBqd)PhIwl>3ULP^()!ix5;&SiU>FH2C^UjBv;?xys8DDaS!ir1G$klB;@3j+ltR{>0EMOvg+`Et zHb@ql5)>L03QdhHG`7?+x;9y87+GkLdHJ%T&=R1~l;jGH4TYuzg+|B~nl=;~8GB)J zg{BRKMukEn@Agp#0gaY?NO; zp;@r#RmajGON}7AnSe)2Z=aTufURGMs}+6_I@J#DCh zN2Eub-kZ)3`vqMgkNM!jmYfU*}IBAQiL9yfoOwLdCTk zifcC%m%m(bB|~v3Lvi`b6_+v;*KV@724#!OpDeCMD6Ug-#nlMKl?=tT8;a``SzL`| zaqWiUsw9ic6N)Ptit7|vTz+J6H9~PILvfvg;_~~oxRRl`c0+MhlEvi-#idLZS0xme zKUrL!P+W~rT*-39@cWPRSLQG8ETtD6UGm;!=j<+6~2ZO0KvXp}2!VQG*KA-~*sy`tV`AQ2b{bqN0gKq{nxv9>JezInyRkUvV;RJ@Y8wiRN69Q5_Nt zcZLD~E{83hvDMOf#4Bf0_zdW{aOt0MVOX`=F*KG>`q{Ohk8|!AER=XnpP)%U2J#?SB2Isd>9E&jY;9-No;-ffzPlWB;W_dHIo|u}Z>QW(yHoz9 zHH&_lAU_H6lU}(#>U7OT3EZ9XD}tW8$7#M+ETAtue<#w)RoL5gpoI|Fv9|oNy zGDI9|g_@o=kLd6_jkN{{{AY{k(L0%R<{1Koff3a(+&h@!>qTZ$!HXSLCs8OibwcRO zpq02>{3m62kAH6U_ae`~_etS@#6pLUwnenfeMricf8+q&e;e}$=R|2_@0v+23MIBYUSri0m`uBKyNB(#T$qjO^c+y?WGx$llpg8rh#ngvkDV zi0pTfk^PxOi0pSjWS;>SkH<>3fBl}$t*_W{)vVR{U`@>{p@9Zg!>|GNf zvfrUBjqEcZvM*(mk^K&c><>d^p8=8mF1U1b9+ZvjGa#~e@r20!ec8zVE?XMepG<_v zeur#iU&@w7_Gc0yvVUJTvfl-feKD+hMBj+FIkLaz=Bj5ajqLSoA+p~qn@u!9WS>cc z$bPSEWPgPwjqG=FA+l%4MfQ6+(#U=YqKV_FvXT7|MD|S(+3(^?Bl{Dn5ZMork-Y&I zB71d6CKwReKZ3~KEtQPy_j*Yq`yq(zGilPu-Xj$v`@Li^(FBpbJ{KZ;^>xyZuo)29 zX9~&4UOibF+3$tOo}n*|?1vz-Z<34b84%ewL1ce4RW`D}N|Q$R`do8bTNkd}pND|qgWoPX|H~hEf4D7wWmXBk3<|Nwc3YPY zD;tcU>#wi}x!k|Ri#SE$R*?mK$qXx-Gm|XfOc#egxs0W`%-pIyf=6BBCeH{sWo4Zv z?)gJzFO=GK*WBF5skjnG)Sx6d`q4UA>HjmW1nTpk){{VL@4ZN&oGe z;x}8F;>ifjCe*OU!}X_iDGz2))FcQVDgQB3Fxo=9NMRaHx6yX9jKx|jY(6J4scqkD`;@T~542Vo5_tU@khap=D5GFA~j zp+i|f_oX_N;h7#cUchU7xV%6x+TToz-OHj|rp1Xkvy)aE`*kRFEy9=fc;QTKHm4nh zEzy)Tp@=$;YjVrbGLaec@C?4s%B`F92U+N2vSy()q{-qwZ4zwVs7|pD@S}OpS$SIBHCi__(r*+Ulfte<%&2%9fD22W*Fgro&M?n&<~Wi z4ZiTu`ZXP+bPftn;m;Y$NP(iJlloDg;ZfO*6>}`Yrl8o@3VpGb>asuG%@T*1Cihm0 zIGHDF%-aH%7Eaj5XbLrx9lq+T=7&p?+qaT#K%Jr@fRHdBjwU{+mp66t30alJARvcNZOs-0?@&&9qcAM4X`pHu`-cX;|mkO$``Qm z1*|$qtZo8Ub|h8=U}XYW*~?)?09I;%RfjBAb|h9Dz{*z+D>cB%m&A%AhZP5~dh)ho zMMYS>4_F-{v0}?%br7&h1gs9pVf8*>wH>fJB#V_ji4_~LN|eP)m&A$O6VuyP==Vgpuez$%f%>V3d!J7AR# zSUHebZI{I=9k9|Nu}YN1YCB+ch{TF5it@#|lT26&J8lCnqbq z99DF|N(fkOk(;czfK?h`r7AaBnFCgIz)C2Gl{#QW2dspE6&J7~NUYKTt2Dq$6(%cH za48cp2+v3eCfE1QN5<1`3O4 zo%2((J;Ea1^qHroVmn9H~BCFl1)EiU!PcA2P)+eATtmu}nvrqx6&R)qMoD zaJ5?nEiSf^Zfa0i;m>Q?Dr!r&#ua@06&i(COP0zw8_6g3z!L#W1yu40kMrEh+3AnFG6gFs{W)os;@82CZQz5^T^UBMs{7IJTy>iC&{9AzG;kh$@jVKp4?TX;La%{t zpZtFu693Hv=ZsMN08n%S6xHM=I5l#DO9B*~qAj4P zNltJ{fZ_*$;!YC9oq*y_K+y?MbOIC$NfZkK#X>;Q7ErVW6jMkPQvtD9TN6@qnTtiK5&Dw+B!>2Pihkp{NQdo&yvc0L6GfaRZ5> zBA}>9q6ib5DmlTWkSL}AiYYL`slo)O3KQHOa)R3vBAwv&zyx;=Cb)Aj!8MQ*+$EUc z){_%l3QTZ&V1nBqH^HUA1g8oUT!ZWcw;m=qRdRwmCpW>V!UT5?COA#G2~Lfi;C^}A zCpZU$)q8-|eiAFW2~Lfi;1U3<{c>2n2Uu+dtoF-dwSmNnoZu2g{HYhfNO%B=3?aFiUGKm0j?Kv)7&D!H3x8w%1(36HUL))z_lz3*8?qpD+b_N z2Dlahu2~YUIe=>p;2MQ#ZWN}u9x^9;0y!DFM}AdlN#R2G7>_t)1917;NZ~^F(mIU+ zxMBdVWfHChfa^8D#fO|Mzy{!&m4&Mta|v2Q&uOLlex>nRjVR}E5Z=qa+if`7T_9#DXUK| zCyNBQreMnALr%t2k;3I}2yn$1LO~b;TXXaKEJ>_j%Hl&# z#@qy0>5^FK0#>?!l>=bq09fUbSmgm$d4QEAU}Xtd1(R5X09GL+Rxo9a!<5xe=43ZF z0am(zRUTj!LSm&Wi&Y+AWkF&ko0A>T1*{xMtmLLFOA;$`vT~5a$^o#t__kxEIizgB z2dplTlU0ZuRw01ZBw*z$H(BukD<)v&BR5$|_wIz2gaB5Pa#(2qRw01ZBw)n{tSU*Y zn1B@%u=0V)%7>h+$eip6Ia!6sVWk0Bg#cE#++^iPPFDQ49VRu{<0%2^I8XTYlRZO1BKq->BwVnt3?UUFD@ z0ah&}R&tY74q!zgv67pti~%bzz^X+Kt1W<)7hu%_Smgj#rX*Grz=}d*1(THzIa!hU z)f33C(7hC^Er8V)z{;4!${4UR2CTdQD=)yRg~TcwureXBg8VAL7_c&x!wT}N(k*~h zi!4?qBv#~PfFrDv6ccWaURrR%CufmBUI2 zu+j#ssIpj@l30kyw$F735b;CBRCX#7Y~m(gv)kfE5+6B1o(Vz={B@Fu)1} ztV~F(%m6Dh5-XUj{K?6R%&%@L0an_86#-b8kyvTVVnqN}Y9v;&`PBh!z=}#@B{x}N zBv#~PMU}&f3Rs!G^;n_FY8}2*7Gq z4l8nPR|H@+3s{W)m46u3vSh1GP5GrcFoFS^#riGMNU=`a#)dTyCMLq zQn|_M4mnx%{as?UWHTx7KAPeG-Z$;m?`+%h`^0Te=hNa1uYa~?|HuE5Z~1=~1$UTT z**|rxhMsu$Z~mY$LaBYVJ`FyrRFGs|5{^6L=jxN)8HM!&p9UJToGyxS3RBF~w4?dx zGQ~wNJk43+u3)2@Jb_QO>eEL7H6d}nH3Q87OV*?4Yzi^sm&Q>lL+GZWRVOmbuUEWj zbU&XTW-;N3KJpFgX_SnJIB5ntUFc8;+c;l4bW+b$T6NZ8T%ZwZREf4mzmV?kh5J5w4|)Pk&6~mwKW+Gr(-UeXPVn| zDWwlw(JC(Yi{&rT4&I7nN3?r3dE5Xkksj$jqu+{ld_F)+q;va%%T3Y+lFr6g!MO1C zeQBJ=3sBKR`v9s9&<-s;&3abSXiDsE8;w-sf^Q*`37}S zXlY<9`l`@O(CWw=$*A@p9#P4ePRHu2d(?OV!DVs27ZgX#dYJ~O{9D{qED!Jqn==!2 zO#x40*LL)bqeD4jR6NiE-R0JGziun~ZE^l@r)T{`KB!F?T^+C`D{ARTgZQE)^M?Vd zA*+2Lu#lN4xYZlR%;8JiP-)yt=Sw>78KG?t{=KUGXpLP!%7q~__v(ix{ei<~F*(E!=`hkKm&taD<}!L4sUNO?)Lp-gObDz$|27$ZV`W&Ua##ft{!)%FrhCnDM`E_xSA)o!_=w{3AZd zMTY~fPHU4DwQ}RR?_Uq9? z(OwdzSz4Gns8f4W?Df&^$QaXdt31AWZ2&s=hR)!#AE6chrHP&B=zueu ziqp~gQaW8a49r$B&NoUEEyoSJ;E7H^zos#zQ zF?)CsEk@P3Peq5Njh|KHqtn0MlqBYfs54#c*3TJ2$4%AK3~YAbp~;&F7I9~Q-Ho=L z*NgvpEYoi%=lpgu+&|(22g7X(t8>3Dsb78kWmI3w?uqX9BlzpN@zKd0lsgvvlfz~! zU2(qaCq-r}CKuQ1Qu?zkE-}-w01a(77SWCGA?9*e#K78%DLNGQjbo~PXvK7~upv{x znVEZN!s$YLR^uG{%C|m1LV!Fh>=+qPX87?{^W$8g`BPvXLjUzmwBFEw?+O<|c=9=Fc zklWvd4!bdDmC(+klX+aY=o~yrX=*1=#EI7M-^3yc;~$z>r;V7!Sap@>3(TYL(xUZQ z;^W**MYMRk4RyAZVY9m0C*{`!=3%#KGtmrTsD_(1Itu3E9%AyjfV$|+bzl^R7t_3V zvcyHHeW5I3Vfw6EWUYYOStj&HTYx!AfMJh_mtBb!L#1!jmUN<$Q{HAzx2W4UL z#OpVgu@jr8LxQl_@rNdtLKs+V_O46mSfKsp20o9tpY$!-BH>TT;w-kH-5YVcsOgyD z+7l`Gc1qm|@$)0NaDMTu8f~0K6gBMPq+@CECsJY^@TFUxo@npFmnK;pksmHxsY*ia zrjNe)m>$~ryz3@f(yqJx$a!?A$M4#u|BrwZc80nXhvF=>EpW-A7;W{Z2RS!RpdzVB zVxcrMd~;C2WlZHn)M>QTzveF5c1FK=vT+F&*`1_s(DsKDo7bWBc{arolT3b9RVmu= zMvpnuIEae$X3`B2=c)bXBgQywE}JsW}{i`iVg^~b}qNRDhRtX*c30|%#A!WF{1`y1MYXw#j1ME@$z|V zmbf~pB}L^sfgL*1y(rjtTnW^Xkk>X-hoxsl&n2e?I#!{|}8=o1p*z literal 0 HcmV?d00001 diff --git a/langton/doc/p1a.png b/langton/doc/p1a.png new file mode 100644 index 0000000000000000000000000000000000000000..21cb35e536f34b7b90f9657d685c6711ba42d3ae GIT binary patch literal 29447 zcmd_Tc~sM9+W+r7&gjgjwTNtf2#ivtii#;3khN14S{JArAgd;d3M4c{7FpZzQQ1Pq zx_}~3r7FtS6d{ByE?E>=q{t!(poC3UBTK@Td~dk!&hL*o=Q+P~p5O2L{k9M1^fXds zkyl>1uJ?7_cjLcyc3Sq=RexQuV8ODlzTA0W!GcAfFIcef_MaD__k3DH#G`-xk@dw_ zhyIM-qW*k54*lBT%r5sc2ZQ|1gdGb$vEU>lh<;)dixzz11cP-d=*-AMf&GF7e_Qa? z&c7cDzd6`;?98=y(H)b5ty`+Mq#7(rd))HJ%U>Hlc`QD@W%X*|m6so1_|Jdd`OgbK zJvRJ#=d#1c4iEW^b+KKb;AhbsBOO!lo?60)uB3?p;d{O@~1fA{Vk zr*5XK-Mx4$NTOXQP%hNa-W4^s4_W+S{&&n2EnB`^l;sq(>-8W%Q-7js@%+2LUU}lg ziT#Y3`ClwZI36BuRn;-H1AbZFu=H>9k3N5^|M~obZ=V<_7{>Dt7pT%s4#t^wrbv?G zIkux`_Ue;ATeHT;KtImhVUW|HobFV=kqerX=F@$Ng06!v|FGcOFU(?lb|^Z_^*Sde z&Bc}-W4eD{u%Ml8o@_wMy!k%L_VC0x^9TLLMhOn()BaKK9zW%^ee);X1q|2YvLgUlM7Kk`clCc0uq=TwM5rT-zAU zd8HV=S1^?Phd-jf%}bVJJ(lu12PI$i!Hn}{lt3R_9x(S^T-MIe3@@itY#*D|JQ*=w zl@J&AbDXMcI)kIMRS2d22I%|$);M~hva>bQJ1)QSR@n3>3l==`eQM4jjoP`y%sdT> zvQTF$eU>g;E_wO>8^gZnZR*FCm6L59u@A~^b~!VoF56kz=QpQKHIY%bwtlwGT%D(C_KL2$?T+>X&39Q)BTQ4hwZVwo=%{KtX? z4o|8aljBW;jN&wM-ww89pAtJfguY9GTEFxs%l*d6s0ik7*$x&7^KT|j6FJuOFImt&{^AkFvCJGhzV`p7D z-?!~2M|z)_=`V;~TUlCQXLN;~m^qv7A~r8qTvugj-tA#3<1>@iro~vs1RQf2+#YSZ zNYLvtZnfLZeAmeLe6oD9PSP7`>@->EKr)W*_pOibD3(51k~(T5(A(3=VrHN4jgqtP(W=bVt}_!CI^rcZN^y$1^yEVH z+%n0WY3rE$PBXh))93r+Si9wi$bv!-#Y~|BImv#sbv7+2_}-GYRA_T$%8;%tuaAA<3{O9e68HlK0OF7&y%(!^v<#tlPr z_1M>5WiLsbHB{krkJx-)^fr6Vh+u{C;+i!VF)__*N3#bpi*m ztrnU3M5dZtUb!lBx;mxPS@ZSMih3R2@|Q$i>~Tk1<-+^{QbeA~X2EBh?X78ESDel! z&Ayj(+WFcTWk#O(B5LejyY>n4XX~N@9c|Cbzc^zz^LOp1S>fINDe|eI<}886Cu%m> z%{HQLap!9-Et7RKUQtvJ-SWeH z5s!N6&3FlO;-KPQ!M^xO^Gfq7O)L5_EQoP`skqi z*yQPKg`$c$p*UD)uXAFDvNNDpVDut}<`eb)c$jSRWu55ZcV^5Vdh_DqK8>vthOcXn zo93t=ge`Fqre@Aes=8gGw%Tuf7p=%JbrNd3T#@+B{9t@}l~KauTdLv3I*vP+F0)U5 z`zhz=xKE8OR*SE=B>BGf&=bt0dmWj)yx(=oKWXFiA3B2iid4I$ZK`gLW^a;B?An-q zTAesAHg;`mhmtxYliU?sXx=uep1E+6h|Ef@SqEWS`dbM{&V0?=(M?+?Ouf}CckYlI zt6D#hM-uB7b|hqIRLaF8k|DRnG<8Y+e)}^@k{x|Z6#I$OQoE>a?NOa4sUKJ-w?}K0f@7b? zc9;ueE7bD(=q^oCbb5v2jUtj(?=Um1xEv(+dKy%zJA1Ap?%+Pn*2il8x#p5~|KmuUs!G?(f) zrGw3y%2v&6?C`CN=shO)BunaSwVI~|7XPqSWP~5{I$O>h{kyHR?cCqTzGk(fM!EEF zL(4moIt(>lj?$+*@@T^KI49y`D2Uium=Gp4Z_X9c-2l-U$-Pg@u1u@TlX=y%FUu&3jGc^Tyis#;ReJmSSl6u8!^9 z3p-}V({?;%PB|FtjB$r2)!bjyxh1hS8+;<{#o}`%4QDrhG&mb2Gg7_KE7!5p)7Tot zL>((1nGmpZl>Y>-Xj=-hu+lfr|%rs3T zrgQrg0}4GiX=hpmr*mOPSe)^bH*Knh*h+^B*EX@c1sa~*&gCQFxuDryQR8ERq`Iid z@e#pO%Qe)#n5dydp1e6`be1{9DU;WKvvX-mr`b?}=zCuS!dE?(*B5JZ^6X5WmBwkB zCM+;d^v#*snY2Fg#q4I#n5ULCm2eT@*PUg31 z>XMDMPAFb2F-|(U$d}XX)q(2A^2ExqH^-vJYn-^@gQ==#7A}${CQgn!g=PyE)~nyw zSj|RsNMk<8&F8AcHExEzC+*Sw;G2ryBNdF4HZV{pNtQ)%jUnb+`)JE$+1mwC2I4s&YF?PY;wCRstYo4MQhw&q%0!LH#yZkQ(AIRk9>bKk6C6<{ZK3u z=aIAy`m+d2V$I#AE(&9-ry_s?SwvUtn@7cP)=ecN11u$;6FqT7{HeO8� z)%nlpUJQ0>;d&nPw2M%NK38I-Ne>;pw?&T}8_kfXia4DY!Gy$lXRg-` zsa3>h)W+{+;!6j$a`bvBA7v)H7kM?bFiSdmGd1Edhn^?{~JWe-_HG^1^>rBP}Lf$ zs?8ofC(+v@o6|c74K8`MY}N11w;d;Wvyg=z;+SMe;-5cC_f6^ zu1b1$n9r{5c?{q-AFa-xe-#e)elad*>WK)3E_bz7>mq$F$$uxqJ5+T2U2 z9WhP`pfOx4`%;&Q! z^cK^A;&c1SHoW?Xvs(aTgQTkKe0CeEl7QoL`?uNg>Sf#Y0p!J5e*TOsh4?6tY?ws9 z%pzw((Ez|ePG!}f0>*`6e$;F&BMG^e; zEr9c?q-&S>?3#t=>OC@~+4`%_%%uY8?Q7fr!ealY5&d_s{uf`7^O2oP1=5T2-_?R} zQ+Ax4OSdj%-05rpgO+{U!LhiDvWTLTWVi9zPFH8i5hoe)w@qsOhMUsxuN#eNX~Bdt zXPV|kV`Lp_FqRYOm;TeVClfMpTgo(ziUjHG9lQ4d0y%$#^IRHC@IuEVS6XG_nhWYw zkIT}M`WEAc2P~pFZHg9gn2}Y;ckl~*PWO^F8e5pL2)8h$B)5joHrq5yE?dK6@{1gL z0;}j=tqsO3%O1++;UUgh^f~n=#w9c8$ul}VO?zA_6Z03&a=)Q7Fllr4CIStLTQ-4aNa_J(Q0!hBzThf{DeoS{e5nOHsl%`9mD%7j`M z8N4KI>UQ}y9{Etco{48Lu`q3#`f6Av&Z?@^udv`Lz6tP6I$cY*&F)X+?&Gtk8>7kj zWZwP2R!o;@D@8p=`0Q(D(fhYs@VL|dzJb>-Nn1kl%pctC zrQEQYz8&Gg$a)vy`)Y3ueQSGPV(WT7`$AeYmmbWZN%AVQ)2>Lf1#Noc+AJa@Y>GPl zpEB`_u<6^!q8M2dKE7L%U(jD&nYw*CkdZYNqc+4zGm$Wh{cTVGkDc0pNLq2#VwbNdeXLEB?F5m8*Hog5s6h#l4i_O0NVcIPRn# zN|Ba$`zC;&uV9?lL!Eq$>VZmuh=c3zx^+{m)Ao>Qdl>T8`~y&Lcqbf5Lz?#3jrF_| zXkIUZQh5(KXa__7r1C(uZ>H2rAXvGishd(u`cwqv#vbk|RMS-7I)LrG5@230f@*mW zH*gn2F618A=$j$6iYZ@dcCDL|oc^f@s*OEd|F0PGXZH_aIj;nk*NdQF-os`5ogsh3 zKaiW5DQ$_ZTuJnFQzpDW6+yAFhkM$YL94rS0NlJ8qkIQy=AxCJeqEGMZ?j#EV=_n9 z$@LHJbyIHSr`(>eH5}Lb-|M2RVqBwwn(qL~-U(1P-)XU5%~O16JFqpWj{d6MY?r)5 z=D6?vN+>n<)Z4D(?H~VPC75|52Kf$D&R-`qeULedzJ9LbKF{&zihoT&{)<=f-$V_4 zLW?}ZFovh+oAj+~Cd$ouKi#(kkSoYPujP?{;#)cnArn6sWY^oUh~>NqaVoOqxd-j~ z(ks#u-!?+NibdSH(XQX|PicvplmL=tg!TaH`}!kj2aqg7ql5OgUz3&;Wm(>R)k9%W z#>B5sPsSFvr@E#~OWI!%4LQL?dQAmJxjpsBb!kaynWY~cb%dwiv0o#FzR0T}pFGHr z|B}(3T1MtEnL$C-QuH~0DzNM+sH5NP=pcaQKKA(l7IAX} z!99MMA%AtL-M#cP9`nPgppBlFq*lya%WLL!bVG-B0$}cAU){qZoLnZv57zS8Cify} zS?O5wO6DkM zw`Zq+FFjTAnvkyRrG(1**`;6c*;CSr{SN45FzlXXvCA`hc@)obmAIGUKQitJJX_un z_fQ^;C>=*rWsZ&K+FQ0;^SI;3f(DJQO0%P05t~d{MB3trtRh?9e)6kBsPvL)h`&d6iaVd!}d0D{bfnGr-I;ZRiCjgwP8{;`qV^dcom%$S+)= z7aWR*UT`=b)NBX6V5KSag7w3NIdj{V?xk#Bu+H!pcmwuLNE9(9(ut@oN3rWFZfy; zdcjESXBX%N2jig^9LKRn2K0gr+RzJ1wV@Y`fMDa5HV8TrCmSx%3;tvZy!Y;u4ljHxM>iggOLI)IdydnYI!x(N7z#S?9xXU2uI2?xIP6oKc zFx<%)?qqrIskM&23iLLEy6%!Tf1SP698y840Hkp z8W+;u7-%yLvtLXC9aK9sM(MlvM8cSx&e@(8Or%Ualt6eVrM07>`uXS~Jm{Wq{|SxLhd+;mN%v27x+w3y zx&4(9jJg?|wJ27(m;6uy>7A7J8jT?1X+wC}J>kyX$YT!fjD%_T&vvexp3@DtHyXjX zo59(Z7))HOeJFwWPD*S0hfMq(YX}d#Ct9|c^SC2lM8d?IYe%VhP9NmIGJ=t}ls1|x zb9`}i0_S&j#nsQ~gQZPIF!UbUZ?}n8f2P6?rrr;ohOWpQpVmy^v3KOFeO2^V9SjZx zcthOiFBtOfvLP6J7ucWoGP}_?;`h`sDjBKY4w;!SR>1^>?p+`7^Ca|HM+-6>^oncz-gP=9p|1{EP6? zz_VMI9j$}Ac7Jl|%eg-lubvKX9&T4wNR`7Mq|F1*&jyFb*2y`e(^H(1pKW&AT zM(;%Z@iOtfdY@eW6{#wms}~?)5ys*OE@LB45mT-=VBSS(_Z}8qsF#VQ@jiiu&*|mY z2Ss<^%ESZreFBZD=;aT_s4w_v!j@CfVx1}t-#;WO{!S(yediN6Qb)H<8xkc~%ES$P zpF!I+X?Sp+URiAyC8Ee@&^}!n9#x?i>D)~*YK-J6kE0a;w$Gr=C29CKg?iH*G)wB} z7kx)Vqf%ZZ^ZhACR@=#|yfmU0>BAH`H8CkD~Mcjpawp1Cx zjEZH*n`V7(wx9vj(wQCCqt2aD|~LYp_qQ+N4;p9 zV1nfmSue2Tk*9O@7D|JOhPp^{$u_i=RG-K~FL7?Z6Vy{IM%IT1dQZ_y+QEWI^3P-* zdGfAa77_2izsz245X!e3d^a{oS;R?M5l;1COhya2Md;fxC?tg8F{A=OuH~AoT zr_fh0jg{~Ft}b)#}nBalmJ;5AAu*m(hG^y&fK!49Y z7U8f+mv&?uPZ9kM`I;}1uZ=+8Yy+QNup^Nhyn&}U5l(j9*F&-AY{UqQ+*#{+3PmS1 zmsCfO()UaXLGn||6S-p(9H=h70nnsA0(ohP#T1{K*O6I4T6v_oX6Cx3Yftzy|E0>vIl zCKrQ=u;I<(`g44?UnDu1gfdHND%FNM+Oo1{G*OjsIk6hE)vvx((;@>dyX8?>GZ z7>AQ<2T_$Ak;n{1TVSo1MSaps($vUO{aGoCD6G?^9ra|;rY5ON88!4nz8l5-O=#c6 zTn{+*CttAarrh;07e5or#9e73{kDHfQ^U*j^_qGqn+2Xp+z>unp-d!KQh4NvW8}@K zxA2-N(Fc%qX~BmXw60O=-n?r1(%2(ORj9Ri*(}241oco#H)WB)Ts-!RO#Fx=O7;F; z+Na_7{q9M2K_ok47Yo6~&e+Acnn=ek7J`eNv5SS^VrT4PZE&$QcCj{gu@GGBj9n}Q z7dvAY<7y%uyI2S=cE&Cif{UH8i?zYU&e+A;;9?u>VrT4PZR}zpxY!1}SO_k*#x53u zi*2xrh2Uaq>|$r^Vr}eVA-LEXyI31s?2KKk4KB99F4hJY+h7;RV;AFULK|FcgI%l* zF1EogcE&Cif{UH8i?sn^YwTieaIrOZaXfZ0t|qj>#n#xx^4~kbHmRO{0g~@u%fxl+ z(2eP}^cnqAlArw<^68^CpyG~X9aI)K-wMq|;)^n1NFF?wiF+@F=4L#jN3EhuZtUT+ zIeJoVs4Y)%ESEGO4kktZqedHN}d7-=x=d1&COT6%egzoh4uOq{dZrugOy zdU<(kavrjwUSnt=@r-Vp$&i4ELkIg_&~4KLB(;TnwrO)KcL43Xy9G#w8~AKVvy|I= z2*oxPq)3+@ic$M1Nu@TQz1UKUJsfIig*H&a%1DbjJ(Sj(P($nQr6rN~NEer*y}7(l z!|iCBg~cN|E$^Y+7z#DCL7OGf1tidLkR(2u&rVz3$_x%-$i+`XZ?>XUP6vOzZj+!$F+0g~70e0G3KYdz0|M^-*0frVSiKW*ZXXUj?FJkegW-jEd!oog6BVRHc; zXxLEDN-kf|BafGoOb8ZnIjEIfx|&B;6q7*00g@K9Jgb@xO)99NCqHiN;bg z*P2J3x=*@{@*R^*DY@t~9(m>t=_*>2xm7R(4)(Np@FJKv*CB=eu#CP2Rf$X=FSy#OvlZgE7q|N=-3tOSO;|MiFNFXb*uwA_Q%bgC+Ij3 zH+LRP)q6pnLMhPLsV8`X*&IQKe^KYNTe1#jFT*U^sG7c2nr9XIHy(4^$1EB3n6lE2 z1gJ0`c6PO+jjW4#Rz;?0r}Ta zcKCWSPoQHuGdx!)FL>05(+t`hCo{j4F3MDFvF+UM^bBiixb$w=?2*G&O*7JH6PHAY$z-fJ)Vhu!j~}YPr_;D+ta%FB4+bwD@Yy5hYTRSi@)Sc+7Osba z3Ezu1pbRfD$XUlCGM#R4Bi8T~rym*wZ0@Gm`vi(x6*BQfu3s*JbZ#6Zo?60Zhoz)( zk8R~CLT?*D6`saDZN*bWJTOQ@C2+xpnwH?rXh+lEqWGg8iqD}mF8yyjMO3MQbecuf z`K58Q%z274`36vg2Z-}6_-vm%gEAMC&HDz4GY+ET5aWJ>cIZS}c$UGma~H)(7ARKB z(e^m+2J?+OL*72*2Q_#av+ql^J)Z7oXn#|Bs^|u@>uZL*w$0DbE>(J}IE^{@IYT~C z;b+*9DJ=;R7?@6=-E#X=xCBpQ`nxc))Y%62!q9;<2Zs2%H=pfMU~n?5hmvo1+OZ>9 zCYCk$jRn=wtL+2CkI+H4u~9#$z_-d}*U(|Mlp6iko6_uZfARafGV!Yczofuw`rgXZ z;y#q_3#EQub7$pd@(pMM!GwGy4GQpE1}RNll+7`LVj-F!^xgB@n_opwieiXgRmsHf zQ~VCOc2O==Qsh-=%X~7ZCVTS>`qG#nTz~sjZ+=c6(*#ER$CCM<_NV_kT=1_w)!*WS zT4OCm^N2lOV0D|a=uxv6w}Mt*tL~x1Oqk>P`@Fkr4L!=(E3VrunCPfA7bfgx$Om42 z0p*KN+~Lc7cAd!*K={n+CNEUgl$U%A#@D5`A#`R{U*rn@DGd)hyPA^JLuq&3D1`du ze9KmJ?#8a@V_G@*NAwyac8?gE#Lv(7Vtm0#+V9r~eK__99 zwO;_mx^tcvrW5C!a&Y~=s zC~E%#ityvBr$W0ZJsF#KYS6)J zs~s)7DC^oc3(t?EwcQb2YM?iRHZ%JL6fy2`VEWBM0Qr2X*Hx+hWckNXhU?z`c@2*| z7P2~jBUu*6WE+_w@%dgD;QD{Y zQ=I+LD91FI$aEaw_8efy<)R44^l~JnT$y-U5dkLV8xf8yBFMC#%lw3=@cY>)?E;G^ zxYy4;`zcTH-~eY+Z!lqA&;*fQk&$#!Fj04J07P7DWHS{^xb*gOM*|u1=S2~N)|aJy zjs4u|GYq+6JYsPBRcZL40tqB~{oIkA4Ef`l2=H)@(ct3nq%bj5&EyPJjr~ZS7s#n2%T;3$dQ1C2bfe}hP>xo#7$Y6v_$cf(Y=W- zNEmIl6{?{z4UylFxQ3U}Gn(orH8 zeS~wX2A#XgiC7v`Mc-SIFM&8OB8l;gzPCJ20ut^g7jNc~)s;r_02VkF_02fK3m(HYD)%80$@HT0!3*^w!2wvox}e|ytYBSGaE=HRtP2V*5P^a{u!40# z!MP$(us>F?2PilIE7$`R?2i@f0SXSl3iiMX)&&J;i$K8vSi!oW;CvA%SQiw0e-|j& z0~DMi0tI`3f?r_;7lDEwh(N&}py2x=P_PG9ur4S#04rD*6r3x9D#8O4oG$_edw_zQ zu!4&~!382vum>nO_w4V!hzLOCusxK+brOi9C!rj^i5*-gfpRzs%Ha$Sl*6OA9JYsY z*vc5n;T{^4!%?^#wuf@K8pnB)P!4Z128Ks*IXnsFa5@Ld;Za-;+e0~AgY&!|+I%@o zF$Rb;IZzId;&ONrm%~xG9JYsY*v=Tr;YnN$M*+n>awvyKp&ZWOKsj84J=`mYa(EP% z!;?@BZ#4#tGdNHVN8xhV9?IcbEaFKhhwY7_93I8x@FZ}2g9GL8C@zQXp&YKoChnm@ zIUEJ$a4HAN;aUlRJPGBntud6tJy}o=+k=WJ#!wEA;&Rv?%Hi6`-#y8mh~#ycWZc+Y z$0Wx?HBpBfySj!BLOk}WXF z>oCcoCdMK=O4=@?Id>4>xuenB;g&GH&cn;>OMb zlYAYMtc^*I2a@+6WD894I!rQd?EG+Jw-=Kfk4eT= z@pVixp0D`f#%>)ZSsO^Uz$CB3B>(Qq;zg__(TyJrPwDO1|x@WYw|@$Ld(3^ z%TQIy({60B`d%7tafH1ORi(`b8(VCzNW%}`$CK_HZpap%;C5F7#*7p-!;hOX*~&2bDl!l1p6 z+;%smhq5T<5H0j8MwaGeqc%P#es(SiMsJ@pf71`tadCnerPlnnvOw@lCfV|eXJ3vG zCWO0TLYOUt3E^6p5cQI9~`8!rd?-%oD0iU!h9i22zSGTFb8{h155~WgfJmA!xO?4Fd@tq!i3NaPY8G8 z3E>LR@NPUITmcip-FQN{0w#pJ@q};%Ob82vFd^K4Exa2hgb#!;AvA*tVU7?cgd6aL za0N^VH{c233Xt$sJRw{Q6T%I6Lbw7Zgd6aLa0N^VbA&J<+zk%S7Q%$k3{MDGz=Y5Y zPY74Qgzze!5Uzy@p&2MRYXwXQ&3>a3!Z!k5n8essJd!CXaEyN#T~uFuY3CZc+3Qcx z+ALaxy(H8>nPkHfxBHD$8-$1r3$sG2R~4dt+PNiJ$}f%|zFKqX;rFf|hAw}ZGm$c@ zT`H8y6^mtc14_LSbm=9!!Q|gJUkm@XCPp)aM=0ta&yzKotR=G*eQ7V~GpqVUx97&_ zk9{^~JV#^ne$n@%Xq0j%buz;clC0_ zXq{9N!Hq!cq{qtj0?>sC)2s@28??w|S)Uk!t^gT2Zr;Q}OQw6rsZZzjna-F~T={G_ zy$J4Ulz{}_)k|BaP3rVD91a|}tONMKF1|87#Wvm>%#q;^b zu;}qz%#7AcPtD~UZ9azWDBoZf=sBT$Bfn!rRNsb1LWr4kK3V?j0aYKH;QBQ!3NjruHQ)Y7Xf`$R9%xTN}p&mjWc z%i}Xn4M+3DsStBVw6AoxeeAYRiZnG!nplra9v@b5s;P@oTQMSPLDLe|MW3VsG%bl9 z6urKRu7p5~q+Ap-Px19Gqs`Ir6ra7D(AH_x(0qINp67GZ7hTCSTcKx>h;DS5TO|Dy ztwtB>vCymIcfNKm_!L3+ua_iV%-XrQBn4!@yF4$U%!B zOWIntqIzX}1H0xNS_COMjJu9*A+xtOBlMwQR!znVO&j@@f+C- z7o$l@P?-G9TrFbLX7zBc7GYR^G=gf8l4iCEszr`Hp{!o8U`5E>|0AGzBuw6iE~_e9 z+-6m5hIToQStgI5tNzZuVr$!=<2uG+@-8$rxntU9RkR6J6Q?bw(0IHjGlX_@4;r4I zwOnM0hUdO#Xs6J4yyt}F12(!|s-Toyjy6ALO9_(!7I84BbbkTL`YMOSeP|I{SjO0j zrsKWsVYEOr9iQ1@DMr(Av3;m~5DovXyR@acqebXh8T&ap=Q6d&^6oV>JFg6-%}vKu zo|d)d=v0upoqb(|)lDkhMX`)>z2eAmnr`kDi z4MMiTLe>T$+h8F(Vz1BQEy(z+E~a!5VAEEvNIO4HWsoFglvt4?2Lu1 zjfE@(AzNc1J7XbhV<8Jc$ktfM&REDo5VA8CvJiyq3_=dULN)~y z$Y*Ds+Xn>uQ^Cjk=F0FWf+4+Es9{Xr zh5?QT9j|LjMg#4ATeCyt}9MQ3(yrU!imdhEidIp3loj4Rl(Xe=p2fX_i1V~8rwY0*@y9s2N_#(m8fKC zXRn(ep&M8$UJKPo^ftU3R^QBRCxvP+p5K2y-T4wps-|oorZ;}h#mys@%rj_Q(t2)P z@({XuGP*^mNJlqPa&B00O?b>nrnV{CPTFjDy7N`BOf0&$58w@;f_}BnrJ?0$^BelD zSEQ+DU+*kJcS*fHto@WghgJ&G^p9jpQzII7R-kFgWHDxUAK2HDT#VN4)VJalhf%Z0 z*>}?$UBNnfKR#ZE&#tfAw|6tTTg>-Hs>d}n&Thr%uEX*bR-;R#UUJs?>7l*oSPHor zwVkTQ-&@%6k2uvV@7KdsmvzN6#~HT-$(87gQ^9xEx;1Dkopg3Dio4BBQ$!_VAF_Lc+_%L|&g)2Gnf?WumpAd&xVd(dPb06El2nWwgRNc@Pcj1iljRZa=OZNRqj=A=?LX zAzB;imW14tp;eEuACnJC(K1|SQ@sG)k*Uc|{%#YW&F>8X?PlY`fz*ih_RqV8EJc?V z?-k_Jjz^g64gJpcpqH%aRCfHj zN#x?8KdRZrd)a}}4c&MH9S<}NlyqK4#{+MLZrq+JRmGH&=7!oG7o^-kRE>uGNCNAI z=BA=OXd^mix0UOU_Mn-$q#Oj3u~^Ezi_QT$G$$8jp_Mr8A$PZ4v`$n^1MS*SmiAJ7 zTzD8>QrZPH#6H=|J&V#hYB9-kZiwC6$}O7PCaNS!ozXUtPoM<6+sc)r>RZtris>bl zp)s|Q4_z{hKGR~fE!~UEt{x8^w7ZG+ptDHRb93tUKnaMqmHB3F>kVx_1HPn-b6aoi zbjjNabnryk$~^9Z2Gp~mhHdBs;KUCkNoY4E-#$|T;K+6&D>8_@FvpO(BrgX(9^q4R_4*Z|4o zT0Xl0Z9o@Vp_L-E0iB2zq8+4Iz7v1MS4SKDdd>O2?mPc2KDhZOEyZ+@F`RIJZ@MXI zatZ3=Hca&d6M{t#+_$1sVY|Bs2;Ok*CORhN;61+{&3n7y+P-c|W%3~?eDkT$#_5>V zp(9r5_oWd=%Nv~OFX&!T9=ibE4U3BBR^i;pCEL;I z*4qiU_VL-*Qw~GTdl+|Z375vv2At*LS7>GPa!?Mi>$a;9rOCt5Ii^E3ZESX0GvPpe?%<;yvVjy>omv@N_P#?{s+r^nqTzoZ_sFKjcLnByM8zmDxu@sJokeH1pWksEv_faLqxd?wRu<*c&>2EEPh4@h4sJ(> zRAMVI^ru9XJJ1S{B`>qq8M0p19`FS?Gxlb=P@f>~(ge1rrwL zp8M%2=?HI3c)N_xe%G9b%jJX!wBh-IZU#k1(d{GXMr>sz=H7!`iB4@#aCJ_)^-yY~ z{6)e9w7}f!3iYxFxd>f6@S#Wtstylk47x&iOz8^XpArq;Myp44uGQnHZjLFM-|$C2 z`78grO!~L@;9kK*;kN?Rz`G4R2?zjK` z>%H^2qpk9`UE2TvP_{ey*%tt?#Toz<{<3uoSaYCU;|}<@8T+Z-*{vXjZ@u~zScU|g zxDap#g9^Z1@%IGKz8D`*1FVO?r>8IW8YY0JP-_JMdjPx7j-3t8oEh=DH?kDL`d-e17k}iIRTzc9ktL@4~-&_Kji!N;d&TA=1iJ>%NbEax3k`>U^l>_|_4kz{#SE z1(h;=E=3AivkEF!7J^X$)%&IP4sg-{P*-z}|6CEdH0m)gqB>DR>gwY-VTf|$yx!o! z+2sJTvb>c$p=$2w$$V)?<0ZdQ310s!EfVmwX1=%u)AUgU#g)2?7*0KmN> z?0`QpkcYVh-6SfyU!yJv&ZOOH5D_`-k@G)$_3q4S9W1MjADnf( zAx;mM8cIwB-kJ{cT^#SsaQ=x9>HBSmE35Yz4hv#MBRFo`-JAmPo&1g&+#qKj&Z|U3 z%|FmscpjXDKVinlN=-Q>`EBab$f8{SafG0i)+Q0h6$u|l-NRrm zB@!g{`@9f~pR#MG=QMwSLOo&$oL-E?(>MH22l8|ikV=!~SZ7YL;2`5EL{3)U zT*F+IZdQGt)79;ElBqm>c=Abia0}{duRxLiG)a6=Mm8ZB`_AJkU1Zry9v$Lo#2s7;B5q zc4XYNui+zVNqS{LSL?@XiB93(&+OfX3XOQ;m52V0zO8N&eqT}0wV+gTkk_HL$tI}e zR>35Ng-tjiub^U;vHw9CWxA&i8R6F{iZ2_YMY`K3O%5ws3iHGtRlPi7 zkDeL0H@@v4_*O;<4&^uU?T!SzCq?>bIC6Fg313LdT+OF>samDMNyH36uK6BUyTj9C zxuH0H)e-)wAYHFRW>#p;E^$7l?Z2@c}aPK?9Q4Wt6w zknjb3apP@hxt9^#O=3!apf~v=D+9Yw0%NztWO*g1upeo=Ww>lfNP~NPq%SU9#_?yhBqc*?djQ~xsu#h#eKp%gB?FIbuo*GVeOs)md#avYXdTldd8-GxxCxc!-yGq^@g%Yj|z1wN?%Kc!$;a zi-T3OF`7ZcB8#;Kr6N?zcbUP%dx>jQiRJ<~-y(423}hey2A}2g<6)P#1qK*8;BFXA zm*RQzCA&xL52F{KRn4{4B1-o$1Oyi47PhN%&?pq86f6zR4EierhiY=rYc*TvQwrt$b{?%Irs0;s@dj_-o1qX#kz7crWDgwO6k z+`OT6LloqAq0lWd=y^7zhSxSQ*JbNZDXB&@WZ81Y6zLWf+$GFT^VH0wDE=L_`F5s= z96sBbFko79RC}eG*^(XRm%lt`ZPVDxRw7INxy(}dV{3gEts4Dl2K-}NLv2PS2a%jX zg0$A%6`&S~Jo=Tmsx+NSQgc}^zG_N)`MRMl4?9vJ`$5|MqHZaT)=tImT z@@N@9g)y|#1sCQUQlY0O?#B90MpC;nJCi+?4CpiWnTi1cfoPNsHPGGYI2=xOe}-uJ zn&dj{T%uvq$0WjGTA4lfNhvz_=?>1eXw>q-)~5p)QEE;JYg`l{ewrCx4?(WXxQ3u8 zS-or!bz}3Hfs&h3q0c)kDwPNq;`1t@xT+^c4tRkDrIbs!;C@xROBICAu1!qpy?|iL|N=JsnzPFs&uF%NMrNLn0T|4f~1e z+zQx`(@{%%l61|YeCmFF;PoXA7a_fFZdi3dUBdMuLMx0J1x_f_%b`@`Qf?EC%N8%x zM+wREG5mUws6K3dxN*1HTwq+kvWJF$Tc6Y`%z4;@G6R+#c-3lI+bU`NvD8Jf z{Af2uRFRKkKV?eKrjE?T(O%}mc4|cOyA+%`tqiU74Cx#J%ZV-n&7-=-3q6*4&IghA zkh?1*uZNfSbbuqUNZGSt!*iQu(3?nK+nv&Y%BK^w2Iuvg2$V!*n@a0&Vf~Ksns)&p z%?5`VBH7-?P3DrgnowL&YGB|#yIukwMPD8tHYyJ!kVPwsau9c;u1W>9Ff6I!5J9y% z=*Mf68INcTM6w2xPlmalFJO`~G|8CU(%Wk?)c9FQp<#Pp2QBX`>rO@PS|AbC? zHhg$N-t>34(6=0RQt`vJ_45MM9u2@+Vn%g${S!Jf;HUVJeCfaW6Mb``Z{Dv2-PtLt zbvV?0c755w{~Oqy+i$1Fv!-%?4qW_O0P|+ozi|XO>ez)~|NSVt4Fg_o zmTwsF8wUIvR{Vwm4`Sp0g|8mgwGvR7WeD4qJQz$hc}>d+w`Bp==<2SAL$l6eFqJw+ zH;M*#B`m8CuVn*z|6_DnjtK}$f$f6F?*WbEj4QIR(DJTY-$|n{!6%jLNyQI?aKr26 z23h>*6g&rv=^J&*B0qJ-gUS2`cd%AuE^~j~2dh%{Hf)uZKarO&p87ue%4V?F(XV7d zs5E~yvr9XVfzxu8XJ*e_KfGnT4j3?+yGWk`bJ)P#@;uANqk;gkRm#Ed{LgW#U#76V zbiJGed%?j#+W!R=lcZ2>_j(Kek^8nto&o|}{+3l_zj_^*A6H$FeG4F4)lZ7P?Xnwu zojd<=CS%eX^9SX(Q^F(f@^`k&dj4r$|FrmEofN|xJ+1h0j?veoiqtd{leC@viA2@- z&2eX`#s%YP=^r1B-lArF-M7D(wRy+%ri_v;pRY}7i@d${sdaI*Q;2Lk__PEv_xBrEWagEV$(I`XD_2ITFVrJMlQAl0q6{MQWqYCC_? z{C`F#nVu;8Lm4VTI@(>~rrD3Od3%)j_(aETJy7s~6#Xmh|Ie8J&zT9DNSv6`k*@^k zDCVjwl@dFDcsrF-$KM6h!yx_JF5$1U2}l$>cy&F19}Uf0dlut^`bR1Fy2SMk{+l59 zSs?m#=Dz`F0Qd>Vu>t1|IKM`+oZEo2Onh7ayA|utQA}^xIU8`^fb#~NH;iqW1OxuX z&dw`4t)tD5H%jMWMlB+gl{`(Rofx?m1nI}tPc6m#Rv{EoavwVW*d-rA0B|MOU z_+C5esCSen@lsUG*AW*t1QCeg7fmDa5f?8KB7=!hQyZHcH*EN1!&lCK zJx$4(>`RF1`#xcGsp6YwKV9^xUj4*r&?qeDqwUvDd{9_uY4Y{4Yj^&3agXQoj4N+W zc{u2MGh!MXuf)f{UZiwOzmIO1cxv+bKepCwJ#zDJpKdjE{py3gpK?FG`Q)=-GQyYs zTK&zr>hjM5#{B#0sGqeQ*Ex9mRHN(k#Kc^{cau|7xwmhB;@Ie96~8`{UtxBBnbk8R zk0XuGo`63AK2~>ygr#Nmh(DgHU&{?XU-`|&c^Hw@3Q>VvEACr(fndWl%*BU znX5SVc_a1|J#&+*xi>}`x3<1b%Xd{b@jvV~Y&a22^UUD$GFxfPiUjQTe1$38cYMeG zyk4DvH(A=Zb^4V@&kV{V5$|Y)ATUnOgHiOsQ zHkJEn9tq1{l1I-BhP*az*kDkUT3pRHXw6;o6flyKzS>4p+>8to@H~B--eNX>@a|s7 zBUe`Ex|{R|92|8VoBnOXhNha{ySuqsc9+)Qs9EQhtPKqeW`i_ zc$lsFyMJzLI!3Ku@v6XimCT=X`U~9M!rScX5~ulR3~J)*EAb^2P9bx#9piJ9`l)YL zA8))#o$WTVvgV%&_jLNr)ag%{4I2{u-Il#q`92XzvR!_z5d2?iu+V;?WkVG`s>W&_7jg4IJO6)f)KaMuC0Ul^~-Z4MRYf>Sd;CN zU|(?m)4=JpWA)1dWl((R-w$c}&0!TjS|;?X7RAm-IA;ATBVLkM6*Ai3NTejAstMCM zm7BI?5TN<^{667IYqvCX%8lmXpZK+jEK8?KS|>GI&!=kDE$>rTT+e^3C~aDMRTDKV z&hj-#%VYbe1u38UkP4>RO6TtXFKcds`mu60vq=}LTnr@z+V9c{;#aH+Yio+;(<#BD zp`?eJ>Kd8cAmvSL!P-)pf-?FGyoF=@or|}_74ZWvYlZ{j_m5A_b7v#Za=)w2c#zkx zOPvey;CIh&!4xno=+aOjee+Uv3slX&0lnk%u)i@%O)gVPKjqL z*{3B@Z3_~gHYcqLgFU#Ffw@#=rdu-X6M@r3Wo}vjIan(H4u3?=4syie~di*Dsvfsw8^w z8re-d1dfqMeQl?P7iXTPCj}=j<=Z*kZBm}rv-e~K=jdy#-o{F%J(bq$LsY8GrqFHX zq$i!MkWP-%V#@?x$X+p%8dDSYxo3=mAl82Q zo>>yLexzt|b+&?+shng;OZqcv-d0;Fe45r87T1||_y_kL5|oRyS+mwv=(JcxlaYi|Yk&2{1Tc(Z>~%KZFcSO_pv+zD!zP;X z4dOp*oLNY)-mqcu&(q%zC>s{m7Md0dsksqE_Zdc0>-dfAc6_}*qasfyEh%XrN2sZ! zbfp=r+@&WQggt-zA0}|at7i>T+Xc(`np3ptXKRWwGpg10%J^OToq~>acr|e4g)DMH_zkc%^3!bj2IL5dbSOH+ZkrWc${LMrPyN-XJe<9S#Yq+U_ePA zTDImGcp5odM*Du$6x;P|aoMX$L-4%n!L}G4J76j`JKxskQhnP*Y-sU3*GC|deitcX zn(HuS`24iXQw~}IPW|dyCi$A%gnF2Kdz;;Isza?yKQVA8O*$2CGq3M}8IGV%#+4eo z6q}}vxv9Hhnm)?+Kbb;woQask?4+HaJDwwV!r+}&!|&QT?#MLLP9nxHg$koXOhVGz zS;}-XfsKc0@{9d>8Z_!u5XfWV*}0^hJCz<4wGQV>_#X9(^BdR0*&g45w3+=amSaX& zv*AvU-7dJ_WiZuHZC1V}E+lnr=_7@WRd7?DixiYLZ)ayq_j_8Nfwr4))ZUma8iC`l znsoA)X8+8JdXkf6&Dy*BcyOBG)Pmq2<5ds3BsixB2X+;l#V}$mU5>y_Wl1Hp8Hvr* ztDX5vgPa@uWZ{9gYrzCc{y+tJUn9HJ#&M>Efm;bB3Z^~W8Aqr~8Alg4v`%W{(Pl&ck9o274_ zh4^;$>(HwD)#hGp*zkJvT$hnU;@!q$R+?@(i%jZTVdHIuSK<9dS$4bOE{U;`2hMfs z+2R+1W`hJbV&SqzQ(N0F8~z;@iNiYQFA2n5Avu$}^w2J29-IAudHBaH%tP;Z@&+~p;oUED7 zSGL=(Y_#`UYcAR2rN&M5QJ#s9c@uQ*&mrcE4K|WRt4y9CGfiOTHbt+9Q4^GCP%#_x z8~0?GVbu*n`?cCIdz87#AH8JF&ulFQ#aT`bdm97RpUHcFeP-KUe{jS-`@^^wPI`ac zeLR&TqnXEF*~8b!-?m}H`hAgu?>g(>zFGJ+dvW!VHmOgID#v*qIkMVR?CLZh+OKnH z<{IIuYRz4>4-Ka8ecX$W@H}Ga=3u;^Gq~)1@NGzZ_*C`-oO46`0e@N+2ZUE zPbf2GjRtG=v~d=ZXQNilyQq|PDp==k7hDeXX?7?z+^u|D_bq>7ycSf%CXN$oy3HLcNf4)Bz(*8KFvtL`cGYE1T-lgF7`}z1&7?#vlxlt z4*i8X(;dKQva`2Hlty}SUyij1dn`>eR(rRRu8JBd!z~)-d5hqn-m3MvUN79!t!#HK z*Z2MDEl!H#swM7OzV52I{w5&5q*GehWR`D&bKr;Zh~ZaSA7B4YlC({?7+l&ad#q{fX(evqsQGM*5PV6EYfceGGrHZvJk~x|;GH zoNON*F`{!90+wwQol|-1&teu`oI5s28;Az9w#3B5`jyc>^Ye_P<-_sBg_4?O8Zj!V@?l3^D2$CZ-WZ12d|sMU4i?)#70yv|Vx8kzY^NLifdy=e^5Kmw z``5Qo!@wgY>VxAE*RGG)&J-%G*8A3l`RmawsnX>t>W7g5%b5zEP2%&Ow>AN_Z)?3D zk54Z0o5bn^j>A4+&0aG}ijJ;-4BFhTqWgZGRMr zzxv`DWvTCpQnIKn{P6Zj-VV=)#nL<7HgF#X_ouefxC?D*DjO!%@Z2pBkBlTG+4`4o z<+m&pFUMYPULO(+9C)XKmC5GHm#GEOO0U4Fw*&fCIt5pkzsu^Q9Hi$z!-fq?>K+dp{<-VG)pNe&M9;}J8$Z&Bkz`PpJzFR9f-2Y&bk;UG-z-Q6aO*(y+HLl{fi!Z0`@D){W5+&PnU@}iAG*T58X7^Yf9w$W z{1>tAQ{1lozUgt&vRw6c&7uB17+TFxt5}z4|B=wzX@P&igL{!Z+E0|l~nai8Ftwxh+FWCW3xRs**kx=ZA0}W!`puEf=kRHN&nE)Ap_fwS(TqJ z@UIDz+-4$(VfLD=M~4>p>&LhwLrn{>elsAEJ>|6W5N_9yl5yTPk>)4t(tSBBJKz3d{_VRjHhhoY z0H*Pis2@HoqCFl6KZ&er!D zxFb?X+B>rj!Q%`i$NI({AqZyL&f>csiRtU>vEnP?1i|ArFZ_J7n66hU_6?< zY4mw9z5iOQIN~BfaNEoaFHaNGrN!eU(J%+YXgW{33NMOa(*#LS2;VpQ)0WyJu(8MH zY9BQ;nTUA6*2t0zl>kdC8i%SobzVyV&fxu#2hK89un}1KL>d355ixx& zJvQueo6Otk1Z~)jgIRev*JEwP#>-AvowXbxPnLD!Y zANpTIu><3ur7r(Z&y@BL)#v^bpB#5ny#0rGOH4ZR>x=TuZsWOCpwOa|=ltmW9UM$m zLsf9X0jRyah~wUQBJ;)yO^|5prtWm+*rb>q;$?a%yjAvQ-~@f-A_tScRs|Z(miF)? zDot8sI~`7>9$gqA>&5&)_Q>IrIG)zv@ zE9ZeqWBXtE)Aw$P#NJ?ZNPaoP!4PF8g33R0Fon!2l}yuZ^!MUKP$y6F&ij(#+zVx- z@NhCY9YgV~r+r4nkoR^DF0qgNcvno$U8 zZH|L!bMT_SdK`gupY2vDH8$_+eZ9!uNbK^a5Yh}hzDL7pI$fKCX($d+Nj1i!{uG_l z9*L#rm-A$q!({vU^M^**!{phmT`H}{>R)B*Z7CWi>zQ^2c7D&nUjKKlLW!Wo6kY5 z+0vhbO|4sA$a*M`^j_SJ#Ljz#u&$mZ2yU!LDG5L$0t11z6?q@} zbm5Cpilsa!BetOW;m6xXhsYfRx{M4N2g3|KCal@TW>&}87ZF~_cAoc1DH`TrIuoSA z#?RUK3kiF{bC6HZGjM`6c;^?=10^rTbk;^G>jIu25V{oxpZh^%9(%<;BkWh1Z4KvR zq`n2HV7nrM{Tn4GE`}heQ%hIb4*H;>l(arBrn6)21de|vrr&2uNkTs;a7W*i%QKPK zV-8Z%7!+=W)A^L@s~pUA0be>Tiop6O)PHO-GD6O=bJX|h|3RdfzFinR^{Z^>8w{hA z_*_O&jGb!E$rX{NxfE2fGXfFCR@4mkis?c5X1vL44#voxE^zZ2CEKqB?zMvokKN3d zW*A3e^Wr%lM+Oa%^_;Bq*?xH<#bRk;R(FPo6n4d4USr9Y3cFp+spknekIVLQSc;^B zHm44Ttf)YO;2KL&(`3k&Huj$~32l}21ZXo%;mw-Ze2i7UmyHjI zwy$<;k$GcJr|h6{Fma($Rs+0QEx~(RFaIi|R5+rVeeC}M&At*R|GsWh!Pgf($CG1& ztnS7Pkx!phbC#xv>An3Sm5x~=^N6;?sAlURn!U}r9b~VwJfyidM7kKWJN7o` ziE|u`;muM~|6MUXrdo}A2gL3v?jdRLA=Ef|I~Nh{PE@qDld6}XrX4zKCc!Lp>+7n_ zHP+prg1>`3Lav|Y9&UaE=TfH+t(4Fzql}eY3(mhSGXKqs7D{NAQ3kWGWm#d_Or^6` zd6Od>?DeL=d2l5fYn?R;cmhHGJChDUu_SEltXYC5Q0%XhgsApIRJ9L&7+E|DHSR|f znZ1xvCabQ2!xjlGylGgoXEMqV?V9%iQ?@j?M5lCrv#e*S>##}A4 zhjTjbib#}y=!ANWki#bQl8)Yv#BR?m;V)n0V0`A)xRS3pn7-iZQHrie*s&bZ0KpM^I z(5O0-AiUyEz^yeLs|;(C?euHcq8UeEL*k6hqkRa1-+CK^&*zCw_IV}GgPv@hSSdh! z_UEY2Hru@)durAxr zNW^uK*#3kEW<@5=vYn2nl4n3Q>l>J6Mf*W^?an8s%0YH#1{<@io!HC{&tzASW6GMa z5jEN$p+-Bw98Vw!N~GyE(-~rVX8vUAJY7t`)_=@5!IL0J^;qCF!x?Ghaaz&~t8yN- z+U!!xbJ?4z3huV<5wiVCd_Z$vwumJ8=5s(*%n;G->kJ!H1BE`^)1oIdd zf;@iR7l=1HUXOE@L2RDPtZ1u|~e ztL170cek^Yy9Vpl!rVL$vD(KFtNokSi+d5+`7_3>a9AvQ?>Bl2vqUWR*<=~KS)nc~ zlAIf2`oeg6&nr0muxs>>U)ySJZNNf2EFa}$#TN7*(rm#-VE2{A0SzJG!l%3u-S+T6 zbem|>TRlSFT0W6n^f(gx&<}4O8cDz@Z{!90XNXR|a?+f!2A3)7(EuQVbx}*>6~uua zIsB%9nvuX)%h31u#0E}7mt}F2A2W>sW_-gu3LD))FY zqTGB*7gS*$rO;@^y-jAD7;8dkGGR+u-LZj*J_KCbYj5#Y=$j3Rvnn`(!MWmD!ku5vJCF(a2tOKSc>F5sv2oN?gZE2p z@lpe^-26aXBtbBK%;OQ5#5a!^@3=Ln_X+#|9h3dH)Z8=ogR}2v0siT_QTHRx9Zusn z5nQr(z>4=gL%b!IDXfVkjVJd$ln2`yv6<`r!KjX75FN+i$DwPvU)6{35~5`j;x1 z@8e*m96KesyCYe#}v!5GktiQpBMp2<-IPD2g297QI=nt9N)(R>;G9F)rP3Ql?h+)`dbBlc1o zKnYTWC933g%y&wD!IHo^$d*3KtV5ZJi?sShBvzkVg&nDavs+h>hJ_`JGCL>Fax!Hz zi!F6x`~cFtz1N32a3Siz>riOIBrR}2>KjCuR8`H>()hK|wE8TN1&BQnqEaqLq&&*f z8rHO)s7fqCO{{emz)Om|MHr;ZbiunqkG*_N?%jV!#Hz5<5y1lT2s2JcEI1Rj;4ug` zNw6ea!;c?E$Eh-!|C3t(=dbUlL8JaPrN%mE-GK*Anc!w%X@5Rm9_$PFMC3yUvW<0- zkEQ$t-cJ5PIx`$>-Rs(NK-+9)?-}~Jdq5a$qK?jh06kxiXcpapb_?%?auYhrO^lJc z&cq{9UW-ckb5=w+0XJG*9t=VXbo)@N&ux*Sb-q07CxA7JUmgOyEmCx~mSSc<-F7OTgfN!($KNjm{_Cc4|i}y260Dm$j9j=jdL7C^hNkPEL3lyAm?vO(4=SM4^N*L6$kUMJK7m&(2qmlGDn^(hxLghgs|=y7o?_d zy{Q3nywKR11qcB@`SX`1Jy{}BlxI+-$unSswja4#!+RqZYa@0A7l^=aEHfIY*RS_) z*)GVTuQV7>LttPUcc~OidB0HG6TIhE4CcKFZ$(VF#YZUZ&J|jlvGH$vzVro?ASh+T z@Y6sLi|Gt*I;<`AtKS4wg2HW`rE@!NhROAdQ9&p?`4WXEWd5UbfCtwMNl&W)4>}HL zKMn%=VteQ#8^2tUVm38bD9jTHu?OC}@Lbe|8=}0sS9_)xs&*Tli^&96y&N0VoDZF* zr%rO+e&`z(TUxyjfOC5D+n0|V;d~T`a#4D63#BKrw4-Gl%uN@Uz&>c`%i^$j#GiZ_ z=KX_+wR9oKgwY{)8fVB^;g2blmR>hZ!PhkHh1 zyS7L3Q}_@oRNd+Un8dnNX@TOCj}YW-_s6eq$shx?J5=Sve^B{wJ;aAEp!{SIW!?@D zOA-W&jf26WyCU-%f`?^puIQvp2NmzhWCVIYH77zh$D+ld0A&!8Nf4#Y^W1;%IGADi zpm((+8?Vf8Fuw|woqgmfs^0I7_#kS;7f^z7LyBN;u?D1**gQ7#sh~tz<(bR*35jT;wW{@!5lGtIqrz?C(wkb7CGWmupfJ} zhsj&Z`Y>+bQy#9|C`f=9?C0e^VZ8~P`4e>y0#b-E$9>@xAYa&{83s1C_Hqm=;vXX- zUXL1ZH6CKX<@7G#4Td*wpd=+Y=J+{4lJVc{X$=4gou~JiNB8pvFU3%Bnoe!GbO2KD%EtHV%9+K#al2fbDNQLVA%7sZL`(cBB;mWMar3 zLY+NZs_=>t)PwoQUq6Dvlt%1`#|zn;z1w(xDtECuB1dKX1S;e2E%*`Cg4ba+s{oJa zXr~}Fr4N&8G)#`lycziP2Qj^6bBy2zsO{^_BP43NXkv>p@m=k>I%LduI$j5YdvKN9PYuR{vAkj=_*{l09L}G zF7OwiV~T`ARL8v#9pA@$1k2=_E*Ul9rw|h^Ee}2iwI2KTk5lEqIc9$@&#JU#GsS)> z7bhS|Bfi>!g76dsgv(O8pw)BPo++uff@U*pU5bkQaN|E2RK@*J6)&t&iLSt3 zgxYXd)P}Q+HIKiL*`D9Wd$z_;5c~{4YvD z>)OpteoAT+l@Q)iw7)xSJZwDTFY15&lR9Zvn)`>s%n$5@pMIBQEBWg`K7`M`&VM_( z_2iwMPd+fbuAZ-cJ?*m}c9M>MsNNGco~T^E54Xos^HU>pCsrJaM~5@JqwCflQ#ZAB z=dLYXm=e=nsR5~Kq2MpiEt(0>XN!dFcvCt+-^p{!W-KQ3E|TX~`DkSN{C(t^@-O{` zr@Fc^dqw@7L~Kz0<6+Oq%(y{G{OP=S`#J8ky#E0OhDwGPmL90aCd4A$^fC_SMZyfL z2ttzO#{LJrc_Pxp%lHn17FpJz-*h|S9d=!t5iUX=xER+!8U^ia+TVt2zYodh(}t6e zVcJ6RJU+|;nteLuwA-Ua4K%uIHPzi;$WH*I&@2IM#gZ|^Gp0u>8nime!aj(eh#dZ!y$vVrYw=7GqXYX+uuayR#paP zj`Gq4EV*PT(! zU*}*9*1B|CsvyAFGQ(7$#D5JuzfXL&u0=WzS?aKiL}Gyc>btuC~Ch z#ztcIE3FKsRFYuRuWQ-~Qsz2Cs)TIp=i|h%3V3;>d0e8QoyWt#6YUXIcQXix`YWukl;T*83Xg&Jk8jMRZ zwIt=h!<{yd1PU6(^we;zf_eD&`zIVqF!To%GOfTl__^+pNX4(v>E?U*Csny|Fx@vs zB`kIXHgR?Fi;nQ;vMht_RHJ@)y9RG>AuRx0mHvDV{1wXSHD?W{G|iZggF3s%m3A@+hNRC7RUg*-&A^sE1{1y0|s ztB15UpN9r{J|M{y7O3+6oYWXt=^S^~d?*Tu!0tC|5wK_@gyjn*040M7r&@1f{T2oA@PRc5pCSUL*1E ziOugrT)$h2f5k7{k2*gR%W;TuuikzbD5w>0(F$Tt54Cn^yr^r#@iuZW#!YQ5ZY!-F zx~Xw(xQhTEBL>1AT^41>f_TrItb#)CDtz_8sn%kS-+XQ6WFMe_4kumO)YS0?^Y#9v znn-{r0hvL}vESf6p5AQ3wLn9~Gk(mPdkqJ?=sAotV8jXjxwNh|tS506gEc@j{4r=a z99W$fE_pW`VoUkIh1u5!1&z}J==lsQRfXRSk_!D)zY;Yb|ELeZXZSbP`qW7Hm45on zNjBu(iBZ;h@dH1En1hAnxO*G_MVtJ1gM!yR%49)T9)HQ&KOq(# zsIAe#Ko?Trw3b%>ga`bJaA|F+#~bD*?VNOpj*S*`F1V?so=R)rt-WEBu~BdvPp4c) zkrfO*bO+(vp2CyUQx3<6`R9tvqwv=KiC5rP7>QT|MA;v+nxf$VK4BF9;-Q#cY7-=V z-IZHnL-&Q9cA;<g7vW0N;f=|T-4tavld?oQa)?i<`UNeZ%>?7n_wfkeW+ba*KO6r|;_m)f z2wSBFZAaUC!NP@FuvTt~>9?KoQ(Hh?ZxEWf{Wl}9y;KLSg-!_9_BV4IVF(~xtL^BF zA6OY`EB6|7x6HNCK(yW^eX!iAZEEFJ-xbqeq*{h z#!5pl4#NX&`KdC%wZ6-7yB!}v5EeA(i&i>U0S?N+bu@O|X4$7%Ku z*<{WGCtcxSq*HU;ToJs;we}b{cn@!=EjT0U-p-nXjyc`X0j=_OAvhrBl($ER^(fh7 z>v6$#;wX7_{-npF{u~hrA8e=J54q0^MV@y%$an(9PQMRwpZ1bG?>d+R?)^2&e*F>w zN5pw_go9)oCezWY&YNL_0O50mK1os%D`b*e3!4U!>jE4`ek%FTpZ@C{ zIql4SE=xrAj{NLYvd_KYZ*gCH#hjiD{?dUJLE85a-Y*l`82vfC?!%2G57r>y9L$y1 z;Gw(+GK&i2-UPwwx*T=to`_Sw5QCOGj}LDr^JXm*5%CgK#O2;qFi}0ySrUBcZz3VJ z5-SgZvWvX1k39K8R@2jksahC@a(Cw)iHpQ0hELHu!JZPfy73I_;Cshcm{8E{@@*bG zJQ2FlMN$lE)KgHSF0WB-oDlb%wx2ss5X9t@1&D^1pc*~}AQp`K?ji{%6XMU>TISbK z?j1v?>)-xDeIyM~E_3D+_gXb$CS3PlKS#2biVBSb15SEGsKJ#VhZbY;pA- zpj@yij@TU)4sh~~#q_ZTp`T!JN+{A~Q24|*bhl_I_8Ct_7an>|We)~%?QW=R7h~=L z>DbzrmC~R#Os-V+Vh}+;&O-#fj=2Pk_L@_%uiQCCz~G%)yDwOeSteW?PcW~jPig2Bai2RxUEG>i*O ze!q5lw;^`5STUe`DD4y2JKU71qM3^xg9BK?&cANh@GVtM71~}AXk%kZTOr&^+l@Iu-isSsQ>l}<1J&K1k zzwRy*>oCiO_d6+qz~#UJZM8-K{vw2|YQ0SRJ%E++?G>-EI!Gs`18yr4!4<_x{ZLn=je~`4dvg?T9-0PM_HJf4ED?

qXl5H7xHNjS3tc=2@@N-3Qy^?;u{#ag55#4co=AX|q_y^wkD%t^XA zKSEyZO|(8sY?alRTdFfAp{ACGUU{p=dcrBY^y6UQQNU<(>4PF)x|K|k(7^mV9@32= zf)CQYmsIQzCzrhaF{>P^njF6??cA(B?3U1sfbc90 zhJ`%@pOl@S#MXx=uqb#eRCTzEz0Q+~pTQQuwjh*KYOof7RizUny%z=w44m;b^M9eyW#-~J(7 z5ZQ9Xzs6QS-AK9cj_5ceM2CTM1KT6%w?L&^ACYdX#u+Gcf}aj!nF-ahxz#xu7V1+< zie)1}?)Cm`6y^w+V^S20(@?)3g!ZrkU^cKb)vJ|@sJ9eR@3+}K+!c`b*{CRUO+QZ@zQWG2`?u4P3(Vx91doo2NR+$AN-g>Esc=u}~k&{j; zjto6+{7)8LFkbJgtDh?92k5MjwmtwcH+MRy=}`}F)>ETgl*Y4A8ZS$WrU9sw;uX!t zQ04Lc+6bsg;~}6X+T|%Ue*|*j(OKcy9n-tzQHoJuQQWV47SsMa}ZK05%#v zhTmTUfcG!`MM+Xpx@ZmY_TN%Zotf;(f)q6vQdA37ib_XQR3Vz8sv{-NL{n5cnxY1y zDXKb>qB7AG6@#Xz3>PFt#h}6+jHakK)Sm>SDXKa`;F<4JRCTnZX=sXSh@`0cG&Dsu zL{n59G(}ZMQdHdg6g3G+QC;4rsD_AceagQln$6uax7DJlj{QHAeQ)FdQD z6~0eVlaLe@_dZ2ULQ+&FnxbOR6jg|(sCKAq3sKp&3q(>>=KB;?9bxTEG)2XsB^`{W zs5mr5)j?9!7%rNk>YypAI?}l^(G(Sjrl^)^imHyNHWN)z4bc?U5=~Lx{^0>T4gh;G zGf+^}p<%3rD_Euw1TXX2Q8V&Ul>rdQ`bax@4-A(t6yAD(%@CP4DWgtd?$GFdtSJL;lq&q3EN3t&^YFAG-Tlefb&+jpNxZl ze|i0-eI;yD?VfK(8_QdiZ$KW~j64Lr;ITuW8Y+5xI2fnIc)M}X@n%LESAz(n1aF^> zp>XC)6wc()5#2UKbvw~+dp)DDqY%*lYFlQ+w$u?1k2!EpOxIA zjB&*D^1OBu5#SBC`OEt0;{?IzKn|TB4UF}%p`zE5gUL^fv9lIKBxGz!tNj%RAc zcuz1Vzpj2+KL_wi;FL#4gxdubZby{I>`X>@Ost)}6xtEroyiGU0Pg$q=p%J7mA|f+ zywMa|$rTR)(pu8FbuGYmw&u{ot-wTU;UsUtj2vMWGYjq5OzP#&=$0^Wonwbtfb3|M z6#5yx6UNE%oiM0!e~BpfFJlOh(N9KzjJtpiy=AJgp(A=Jj61(?3;mb=qIlP?vxEi1 zcZ<=6^{>vb@R0!6j{sm-9(Q2XuQ;E!hs%jfubk+BVJZ{311jA|Q0dk{Gt~PJoM2ik z^0hNk)@nx)!k(LiWy7l+eRa>>?GSkzII1JOWGfHhB{@k*e2PiwT7%IHfxB}!l=&|| zpRivf69hzq+$4lKZsR=#(w%rHaTluHDTsEDJEO_z9(}3>n+e6f?y?}gDHd`Ljj(J$Uo*9+>MPy#bB+g*?u7#XVGI}!D6*GJ>g3rIXVpnqlo2C0A^N8%7(VvvUNlKJ5CK>6as50IT;o^5(` zzDETr-taF>ChTD|*ShCxDuAb4`TD@T>{nTEU5`FG0J9SrfMKK3y`7IpcclQyMz5pU z=zMSqTwW(YC(Uph%ug2gqPS!mAHgLu)*4uOSE?HSCRqO|lS*9ZMFMVM`hp&e;q*N2 z(8unBahme2%YQ<5Hj)>{-34rL14*NE*g#cpwZ|j zXf#@lMx&pg(P%XqjUGm$Q6E&dlhA0?6p2Q4lhA0i8i_^?lF(?h8jVH|qtR&fQ6w5Y zjIxp{9ukdimY~t7DH4rtlAzJ3DH4rhlF(?>6qRi*BHPtGBpTfmh(x0ysYo=sIS`3P zFQf7QRxTQi`XH!eD;J4I!_jDTBN~l{qtWPLG#b@JqtU}?H0pz@HWyLta5NgdhDM`4 zNE@lBN55?yuGQPpSCC+|Lg&V4*{@lZ79l4oXUb;5e`{_nKdBBv`3Q%+8= zA!hn7FTnUd6#ma^?zL;GhbrgZ8y`0eX`UKkHkq4N?SMVy@hCU+=qQZ1rmx)=IzobT zKK$qc_-NM(H@+#LFQ^lKaoz^uUB_WbKXw6kd#FZ1#sJQ{U(cUka*$7rgO^lyZr zrJTEIa{x5U^NGB*6)-<`7TUV7oRqg#OP;_uZz3h=U~Dx6wEn@or)J<)7W%&t!)2SK zZLVdMS)OW0CM(SiT$R_zdBvhC{YkLYZh(m@lhytdqj%}g?PqTQa+p&&J3O2qo_ZB@ zo5g|go#}Yvyad>eecNoew6z}s6|M7%RVjGt1S{>ed+=wLS4wzbW*iqU9jq3^{PS4b z+4@x&=#3k2<5%a2>046ED05F>+hSr?+BF)`ATJ-*6y#wRPHz19Irvj6*pi;Sh4hMEittzmG$e`X)8w&#qm4wQ`c<@Fo+0XVw50fo3d`MBM zd4ts3<{jChlL41`tVXzySY$}8?}iOK+*JRMfSKE@Qn;Ak@+D*US#bO3bJF@?@}pz@ zGS8D8|BwB*b@l0L>ypO#@IY!+Sr|{!e&C#^2kG--kATUv+*T zQ~uBY3qa*jZZGwBGUJJxe3czH=xfp2w%XL8Q3@H6OfIHZm0XI-eJ=BMJfJRn%E6R& zUJA2?E3U|1J4Zo;Q*$oVWl8}_(zJ6FxcEmM_k>Eg-imlagA@v>-IR;PCU8Z~`ngHv zxiB2xa%s{YuB>Eltv&(cuHs-T{Nf1$ZjS35r3S^Kb!3x<(|-U6=6m%#UYhZ4t}XXl^=ZnKeQ7pvxa<9AuB=4O`| zm+TkdTowelJF8ri_zMev3XFU`tuP9F0X?*<*ImU+L+}+;th!Ge7>WJX()63KrDZK~ zS2fJ@)Lg03jx&J4+!d+wR=C7PRzp|X8VpY4tY6(#4OjZGr8a0YVd}DeZNhmgFx6%g zE9q}=vLuf?Pr_iOuvVD%6pD~;WfU0XMZiUJv~ln{&|BS|$GXIH{y+2G?@9BTj#S5FY^E3p|-^D2mZa3>aD*q>B} zGcK{&uV3QqRRRY%!lWk(xJkB+F^hnMd!?NR5wfw9v(VIq>s2zKy}@Ku;<>csj?$emx$J zcp022SZF;pPWyg9S26S$o=-shspQ6%!VcY;OkKrnI~>VRIGfy(07o)MbrqAhRY&4a zCS&7VOKcJYg1Ivc)q~BR`Fz<19=_S{GB=e0PbmJa+vn9{e|T}m+FU^4;lbht&II~+ zz{7vfbE#jx07tM+rvoqG;mBmC%Vb^C53$l_kMy3#MtC_^=Unt^*l?u7EWM_*4vw%3 zUG&7B@B&Tye!hulT-cwrRH{CFA6``H+_6b-uVW2xJ|rogzyX_}eJ97^B@8yPk-X`G z1BP10<{jsbHGtrAS&eYu=}dZ0=gDIY<_VA0jbh=g+irR`aKRM*$||ak;%p2&xlq^i zodkH*ACy~5qJrSSdit@+%ka3i?5?+eyo+=AI6qqJen0wR6V1)LFWxdbE=(M0QE5G& ziD-Q+s`dJa*2kh+PeHW46o+U%1=0EmRO_Xv);l0tk6|EMAB$?eKBD!VsMb>ut?xj! zUY~(zeT4wkdVNIeyHKsiFc7VOAV9UAf@r-r1J!y3s`as`*3)r_);pkDFOVWyUoJqk z9xfH5()#ZAT5pePeJrZ=bR44f4ye`(@QBurzt?(wMC-fWYrQ?H_4=sRQxL5`%Rsf> z9@Tn%RO=~-)_0;>PeHW)Bm>cU0UptMeMIZ&I7I8`P_0)WTHk?cy*;A!U8vUc@$a<$ zJOj~sffUjDSXArf{|{)rAku8o6er5_D>3S7b;BW6eK^>lRpwphjzg?^x-`6<{Pg11Agx{06`1G|{cwmnT>G%~0YG=BOrHEDEEAWGtv&qy=fLQf({9CXX*-b@EdzDr9r(-4}u;*=x z@Q789xKkT})p^m5TJ>S1qK^ySS@oIWp3Yk$^Mpt{#Gac7O5@6=nOHn&H>{| zzG7krhEn{fvtR)-s4uRX*nuxSJ6`pM3cZhfj#X0y*T{-tYHq~AE>H&jXm=|#qnAv{ z`mM5Hece=~84WRy2SyhgXi^I^9~qZINNuoHvx3OrAr;*%X!EzKS!=i-S3E zshOal3HF{4?rWOa!}Z$-yYZ}xFgsajTtykX1=A)?nA9={psQM;iswhbt|vNaimagt zuQ{LEpf*I#StFTjvW7Orzm&JW0^9VI_L`#ZQF2a`f2t5{egAs2$)-B!(lbIx!L|@2 zM4OOdcs{uA0dFuDhT-qxS&xm`Opb4=A-oQ_AVC52pg8H&`FbI2m0cElZ;c)ycX)-6 z>TTG}`U9GESSVJGpv=u^?NgvG2AK!|+ zVuNI3Xw?o+Rg!&%ITJ+?JYN?gl6{uB0^5KJyIoMpekhEDOWZ4d3q~Z{kJg9>{(TdN zNVY$%4CupteQnx1$!6+YmjW{&()oyFckbLbO737V_=sem#j_Zcx!N>DvP%`OVLZ#J-a-eF?9dJnLC7BH6yQ;&-#PkA;Y2H|n%G!ga`=X)#gB?xd_kcg<+j zp&^p}P$6LgZHc$gK_olK%0Ce*vSG>vmFy63-f+!Ir!+ny*_}Nx(D`QPyP%R?N_q|F zsAp3eACc@c(${&gXKB<0mF$Nn^B{`2cSOYnB`PIv?BMEZ@fSYpy$P2tF7;#$ zegiw+t{VzjumkQ=_`X;MSgNfp-dnrbF zFc>>6y;XyUeAXbd_`PUm_uj{$WK94`!htfizEnC`4TbO<~wcz>eLIRb6Y`iN2X8fX#=9M!+uog z6N%NKdhm4DfCIMCxF>=LxP*)Q=nEs{J6bM*F)+_78#$dLhUu=iy{$l*+WYU8FF#iuDBclb|wr>8y$Y}0HBcnN&-<%7td{|%+4?o@r{dC)& zH(`r@^V`$#`+JPfJQ%xahZtesgd8;T3#J7fToXzSIe0KQ^e~N~nj>;EGFoc1ZSyC4 z!a2Py{*0E9m^O{-Z)@Lt+v2s?-+1%*($`-9Y4wl?Pe7t7e^~aB=awH1<_j#JWUuDl z&Xt>73946eGQ@5{=?#5!sb!{c@mJf@oR3}KxjHA=^_Lq5b3IbeE>7Bd+~~E}mkuXM z-hA5XW)|TavE>?}U4>oZ`sDaIyrI^Ky6cRrn-d<)b9?#S=+l?s(Icx^=2-!0ufg>j z8NKvvkjWMs$Fx;ZW0@acKT#%E7m4&94M(tDIZZ0ft*O5v*v+3mrdGFkqhY1GoX_Nn z)*tos7^*y$Xfk=0J7L-0ITd&Bwp=Z4Po`au>YO+E^5w^_hzZYsRtvY-AfM;NxMbo@T0@?65aXG0cnN81~} z3Q9B{PLJ)Hmo|K)c7iyr^IT(NvvQI8t^=RP6R0CvK0Xeg(=IwLOFdLeuyPUxXvVg| z1*v}Z!pTIP$<{2t(Y?{%Mr=4T6xr}%Nc+6sb6lzLsvVEmv1wCr;VoT6OaG2XuNgf( zdA)PFdP1aWy}I)Tb}1!s%RaI9jkahTw~^;G%p?J$k1nu2!;R7g(1%P}c1ze96RT`% zO7O9Lwv-A?f0vjL5H)l)my-}@74dr$lIvf#mp}EA`>}?vP+0w=EgrG$#_e@>v~nra^|tru*661s z*813&qqP`q?Pr_CisvmO>Dm;Lw$39ca_K~6+yqa1b~n2MiIS?7wgq=?T9L3 zWvM!gQl7p&ELu;AUgupjpw`~g4_0^_DK?{(^nVxLX0fFGg>5iam%j(WMw=!+xX?EG zAY7rKRPZmbdCwX&<#YUwELxCrT7cG8q&W7_FY6c63nOr`ej(jY=4{HtM;covwCSFU z;=KYI&0@M)OH^aenkt)O)f!*H^F@|E1 zP0jk49@$sAM~dC_{W%!sB($+<4?2*pc8a`R+DRQH6GR`Cd3_C3G5;%FaA2!A54wTdQdZv2VUS2H3G7SkDP z+=k{+D)z3ixom~Sg~_#-RFWntYh-V;cZo@us;|6Wq}v~@BL@s}gD1Mi)U8R$Jtp+A znq8K`gvCB3F_vTbBCDq0AnaL7qqg$gj=H0fOQjaeuE*pgHgUWXD6!)S^eEAiymSlo z2$murtnx8GP^)H^M=Xpz!1$A$y+eNIy-P9k74iVT{nf09BzW%ee6Lv`^ zyV+P$OLwZ-LSJMmD;un1R=btZ-}lx%x^!53({R_d_q_atS5gl*Ju$3QGq1f_^{`xdc3*|| z**-aMei$(8kMh9W3UVM4U6ixLoTqCKXkSB%T)Jg$?Pe_g$a+V|^5#(8#XTiUNO|F1 zri-_1Za`6<)q-8|r%w%+9;P{4(8la0;=-$(YQHomZ$7BAsM`~P*6x#?=9lKaON-DR ztkXTosg#`H`wknIno~FtA9@cxJ)EmkcovUGrTV_8yC%^uER|fdw#Mk4icJfYF?HUu zM41e$9T6;0`duD6x_rsRIM+I;VqChb_;%3-^CLSngHNCVoLt?w%C$7Tvy5lvMsL5w znz+~R8GUGsT--f)?eytzMvy~l%H#GEF?{aG#VchzznBcw|9R~V!^66=x}>fx^4)+c z{4RE6uY2r@oBJjX5eW4rtkLTU0!=c@atB4f9lff&S>Y|O@-4_RZwe-k%|CU@Aty=S zVQY3x%i6|EtQ)s4 zpJ=OA(njz;Pgz3}3cdG^9&Y zYxl8z$E#JRoeoIO5Jw*LJBVoV=fmCYVkf-3QUAq7-#p z4RT$~`bC1|M08v5qK4<&-|}HgM|Z0mtLLk`!U$&W=eX=A-RgG|crq>K8JmC_pxP`}Xt=d+n@_W}Z4_{@LpKO}=y!dA5#}m&fd)u9#fpog# zbBrsIqPkI0)VVC5f^~xrwTsk)cAx1_&fio!KH!~g#nsL~aWCw_s*Q#x=|=s#-K{St zv`p!&8HEbMz#2RhGjIC&u%}u56=3g-Oeg2iP8gceK zL(xl#@lt%7m1^{oXbEDwP+s$3f3)00Z{s%6(RHh>%*p1maB&lnXswz!`<-@FRa5?n ztIdlZb%Tk8`f>iT%5&_R%87x93-V-bFKJ@ip0Y+*%OWtcoB6!Q!A&{6?eXg{^BewOOR{ zxRkx}8g*#wXKH;`|D8>=LFx`@s-HIW|DaXthe=e`GJWWH*0mEfJ>9)qet@On^YkVx zqTBdMnuFu`lemSh?^usMNl;%C>5b(B7Nzfk>gr?1NxkGJ{K%voWuc-Y(K&nB#&+42 zDNH6;vmnRlHIRjcM{0LaZ$#iGUiNtDTh+@hzq3ZyeOYG*z{< zwfTva9S#4U&fR^{B0+e#nV|@59rL-GRm6$J$trIkm)|jt_Q@r?nw#KR^oFaO#n-ccDTL}iJKeB&ZZe;#JT9$Ig>Q{B^j;E66Kql z=-apSy7qjAB-KTXG^&T2ywUG6gjajlRt%cz{l}$L2YSxmytyn~YLORDK$58b zG)qdC;;Q$~DEad(8E9r*uG2z(KVv=nrxN$T52)o5P>5vc#2oOatq$r?JSQd(SGFI@K)UHR0OUjAO7MNmrwo4MVX{HK|px!{i8A=SZwNu8AR7wl*y97jkEbEJ@DpG(p7LIR>Z;g9co2<&UNRVFC; zp3fTyl%mOYnRVZSmn(7VIA$UqpNpLa!hQFdQ!-<&F>GMy;c z$c0?QVJrf-c0FHN5b-^q+Ob)RDvBa-Thi*82GGs2GL;tz55)GZ-wUaiFYx7GEDyql zA~RL_wxv_<_xp51DZ}<5`g`6XFSmK28GC>7lNj|~dC^!t56ZeTL~5Gakke>GB0+_t z(#;uYr63o<&PCv^n~Is1E%(HA>r;jDqbn(-fvteFf`F{)7BhQmp=@0MX&NBiQ<#fP z7r0V#sY+aDe^E${a-)#CHv-Zp2?*bS^jbjr1t2Xr&*zQpl%hkOfOLrg>3+uG@K4I= z`VPYS0qIgedIumqO1Yx+XnrWRe{@Mm{bm&f`IYP41BUI)?|Nr<{OM6$Ec6f9jz?WHPq7et7cea$A~?Nj(XPVtLSC#ZWft@o z9#WKdpMbdY{P6}h=a_Ai(Zg^6`pH~mp3?v$mqU>Wi0AmcW6nWXUtk6*{4p27heqI} z^Tf>NOSJ$x6j0Rr0Q!?$#4CS*!59KU@OUV$Ye^AOV?Lr_iq>2tz(D4a^~@VL;c0M9 z7g7(dp^$vSr05kOb=?7f{1PX4bLCDMJqp0y2w_1GF(FXwRd-1u5I1H%U5r_Z>&&^(U0Q>wau&->FqCG=9+h~;N zIg|HhDc;azVf)%!)VOAAkBm=aG7gp#aiZ-Yk*J0cklP-I(By zM}s>Qhs~jYoRj&yh!29WyNnF76alD@Ywn61H_X6 zaeh5>buh5-b2#PCKZo_hy>?Ro;KD@;2EwdJ#$*0%jk?{6q5L`6fL_(K&qDkvuC~{a(Ty5DO&P`fMj<=S+_#f zI-VC&{nk=Q*w<2YTAt&DOMnPo0QDDMRd>rI{=aU0g-0|kt0Cl&>LoS8vP~^d3Fl{DYF$bANF-B zoZEg7QV$U+*w#?cX;b1HpSchi{ss^M9f}rb}_yV!Le8i^Z%9!qUNu zA#?okLQ}9_8SXN{F+7E|k0nKuDhNnRi~($T3i{xH@CQDRZySWYIFf<3ib1l?Y4?p->;PX@3%L2fsl;hQ z>apb%5{)87lN$+$-)%8-bq+YW9(Z_i&qCa?M~YTd6OcLSAl#_r=mIbq)7~37hy7oO-vq?>wrQ4l zOv1b|!Z2BZZ6p16y|Z%BE>WBDl+QS7_oX}}KsvvPDL*2ePhW1cGNqo`0QdQ@8AY}$ z?VflS0-&!4(EZoLoM2A|Y64u|M}|Kr{az@43hBp;X3Jd&nmfJv6_<|zm*WQ_aJaek z%s@NHO9+5z4+yNA6S;^*0)RaRV%!dhw*?La0oW7(yAi-H;fq1Df!gZ<8JG)6fM`_^ z)((NsEdV>120rRJ`1zk9Y5Ca|G+X*BOZHYiD6kd?Yf3?RJ&esj=L6WmRv_P9&VnTa z*#s3sgOovjt(zK<=U00J0LK zyc;-mrroRPWlO4EFXXZv&IY$Ssbm;GhLg@1G-j)$C0xcDz4 z{^v5{yA4J>XbXy-Qs*MmgEBm7JHXgum#K8V4Ptplymf&$nVPLIj(7aYN(aY3;cT!Mj#0}M<+A>2h_U?Pjaos!lwA1WcsZvy@O7^K;= zbC9TN!0yqu$)=}dLD=9YuQc1*y^!}h!@%S*g#7)^6fAs`6pi=HK&z5-k){`Et*_6Y zY~LTUf6vpB*-_6wjZKd1@7o^rOu7Z8qVF5VCtpa>QAn<5(wFO02vt{r?@j{HIS<5i zUkFuO6p+4{LM#Jwj9Gj3_!-PhZoLXs4_ia#?FTax3}z-un3<&efp%*F7uLuHuh5_~rl8~4dfBc2V5X*!aW+q_lgaEb@QkOZ1!JdH& z6Y`Z8MG&7~T{ETGo`F5PRRn4;AM`iOOz1zl1Yy;Xx-7E=zui_XwwFRC^kN+a^8n4( z0i)5`)MX{4E=>+GB3Csm0y3zz-ruz!o4xpdGG;j|+>ROyS<$)Ht3F=r-+In=N8i+1 z(%Vo-Qy>#vgXLe7yS`mVqP(@`!6%I?KMLDZnl^YK>|AhU{P~4*L+75j`}I1rw+?0Q zK6Czym3d*mngu3BX4Je`ovqg2FHt3TnKBIIls8M*BB`PJN z`wEZf#WI0r6`$(A6kLZRpC_}H31U*jf@V`lkho%XsfkS8`97c8`B@;=#pR%l%s{M? zO2#}_38^JveYVpwKXT^YyUYZ3vxAt~Dx4X#pPw1YJ(x**I%k|f$iMS6{u|uIQGKMz zN-!c^A>VRb6!ncRYT%>cPX`44sgL6%XlpkI9X=9>$+y7rp5;RMH?SI*<|35GuHwrN zItk?(CYhu!lAuND9Q3;@5>(d0LGM;b(6kZ``s0WM?K#0gpA||_Zk!9U?3Mu8M{+@U zG%9|rsEd(UUC!KZ+096#U`!6TgRygG1v8pht+>cZR666U6c7l*&Ni(cx!b9v$?N}QS6zh)aIp#?F-(P(Qk3Z_Uo-> z^qB9(_8*(d=*KRK?Qs?|dc=9LI&y_jj?u}Ogb|2UY$IdZGzmIDb3xAS79f6nRt!cQ zjI1UKJy~jz9v-)A_a&(K7Kg}ok_(WwnowLO=8Gq<4Z$7q#+a7+dy0$5|7vM>8A|)O z$X)-aM@Q2`sHqJwROxY%i#~dA-QVE`vep=8tuLKAea!KROO0TuT$y1h&3Lu8Y0JW8 zhC?Zni{x1*6ZQ16Hw}lD8|wScEr%oU&neZ0zb0hqQ`BW&8x96c9URfW_wnTE^hpNs z5x#_C|FzjC@XoAw!|z))=gUqmGF%UF@=3U6Gk5;vo7Eo67=tYCj%bZua>P{wtGtf0 z=8P|xS{w6^|1~<|H?DVA6A*|3bV9$Wr1^z!i7i3_Q z0GZe1f+U;}AW=>($c{MzSQp}gs79%HW?u;IwjC8OWOXxEYbrq6bTe)+eDRLfA-KIV z0b;>+L99Im2sdh5o9x7N`uEdJxc}Q=`TrJu{4>bhzZ*vfre@|1uNd4y(|Mh%tMg7$ zhBx0+gbUu0sr{fU47ds9&vwk>OkzQI2*&fNUwue!ro z=nh$B9JKC<1g+w6&?X1K9Sy}*WgB`1c;XgaK{S}A1lDuyPO#~0g53AV+Ins7&r2K@sFe0#@~Qt!LWTk>lA+LZT`P_ z0J1avBWrcj%We1#{*N=Mb~m`|xxRMmtZfX=WJIsILPn7yzWp7*MqeN_$%1wTAiPO9>r}8^!P(jGvpu*(0EWc|(Kh z{?Mh|TIubfmqwo{d1PSjq4$M6jSGJU>$}qk}j^(uLat+ouzH+ zQG22MkR6|T80dX;DW4h+$Gg8FWA_3BvBq6w?70kRJI4i~0&SaOE{I$#K)P*R5R=^? z;wYiG6}D7-O-%?ca|MVwQ8!~J8^k`RoAEHQf@$f~!6*h%r;WTMw#UB%D?gIO_D+^E zy4HbDjr|aYgg8ExzD`J0t(f&|uwp(Ct2sa>X$}Tr!zvEiSt>!Z$2e#*8T{HNGIj(n zq{{92@=dFR@=!ZPRMg7_lYD)g@%uGuvkab_nyGNrESvm5Mj2mp?|%6m+g+Ud_z-;0 z;4wQjamK4*3CR+anC60{YXpd~Psl7~j~0RIlD$%0IZJ@Tm7R>Y)|NAydqLz^L#bLr zsXnY=?nl6*)qv`<>SPpW#4ELQj@aH2kd*au@0c@C;nut;oCq=@f8_M zQ%g`vO0jOD}kzkvXg+ay@9fg0ssA=s@|$(_O^8}R+pYpO2(4K zg7t61;6F`Vr(`Q7rBw=#z67P@cC8}34KAP`sJh=qNFAWe;!Mp3Ki`V)H<_NayZ-S| z=6{vOF8Mk3(O;$fXDH<*pF$~X(tc~DJa_9lzLC*8zZ(8ufPYz8%QS!Jvi3?W`MI>| zud@C#l=THeS%>}R%KBed%0qwXQjRi>`X+`y@@^D_-s|0aHU*MYp=46j2BDn3jL*9T z8OhI=#C7?gZAHmq^)D7Obrc>}A|3!^MSf+ho4jM$SSu zk_FjFT|O8qAIL@y`Qq0aG7>(BYf1=iMJD(hZWm)Gxsu6A?_}(Bhs-3lR&mjat#o#Q zpYJ6ool7CC!GqHq`j}5;ejt=TU&*HiI}7D6{m9t(=YiPWV`QxT>p-m4os89Q48;0^ z$XL;Y1WhmEpnX*mRN3|_BUzO$L963l4M*bk24dab^_tEoNApC-YpACrj&Q4MdY;fhPR*6-mo(zzTrBi z)Hl4@l>CM_o6_HK#wh^~?>eQx;mxKbI2@YN;4eBq!bh)v8PHi7uW3F4D*h);;`!dEBK#e#KaG64$` zFYQW*Pxj3+Iw_whq>infO+e)_wnBLo#3m0CfYFJsW}$h&=#i=f?j0CZ!S-S{g7{5L zuK!zC^UpJlYUy?uTvh)yxcV~;u7u{1y!_I-ZyCA!sCX+U7+%~cXO2IC1hkl~4A=fJ zE6(cLl3gtmb=AHG7x33tl>F` zvtSTsFF~BmB%t3w0;-1uRQ)B0vz%AU8iFAS9X>$DLVNsnnDK zIi?O3O?|2P>3uEh_|(Dw;po&~SESc!O0u$O)e|)}p`yP{p7rTAM(Qw8xBUA&V|&xb zL?^EAM3ue@%k=lO{(GyQ63GpnT?~;9`DtABs}V>_iv(?h+*GIX#rH8oaC0yC;)BCN zadSRPe98DlMh5XbFz>bCd)PAu{ zty|BhhI}lP_patskJt$1gHbR735O8~j6xp5C`1jT5E)D}b5dXw0wWO8J{X0R!6<|n zitCE=#V@=Wid!;|iXRSsHO*`t!kE3yoeYLgB{NVD>z=0bQx649Gu>bmBBbIStwM2b zxxRQe%@3vd^V+8F_|}>4to+6nDgA#?J%?H3zaht`mhkG)>LHG|uwHC%&l$1S>qKrE huc;52QLcYu$CaPst<@Wc46khajJ)~gr(gg5KLK3pw{!pi literal 0 HcmV?d00001 diff --git a/langton/doc/pha.png b/langton/doc/pha.png new file mode 100644 index 0000000000000000000000000000000000000000..232df6185e6b6c2b02efd1dd2099a871e5b1094c GIT binary patch literal 28047 zcmdtL2~<;Q+VAUk>@K_8scaN6VW?6OO9Vt9K}Neou#mw40U0f#fVe}IpFYo$~U9dG) zc8m|MG4Zc9@eiw>ko;QNKPNe=`qQ?mZKoo?|MG{VM+g7)gZ@vu?;JnaO(-vc8DmaK zMLvzol)y5^!4}=^53K*{cVcN?ve>q0*%rT+tfduh${u`{wKmzadZ$TLGO(I9b|T_9 z_#MC{Lb)YX&sdYQm_r%+CDSXl&j0diZ>)QCNVqP7Ag!~#=-o`duaDd!Zeln^PZY1I zX@83pK3gB{ms4wD$M*1*^pSW#ATn+3s)!{7lmiIDuB&z*5$F$-GjWmR(4;2|<32#iCbJjn;>2Z<{Wz zeFMXkz)-;!@1@TJz|Xp@_x6CqaAR4A|8o`bI^*g$R(>W*H7ix30{7+iF#`jfPO-}# z#ybg{#H(j0TlfsD+>hRBqQvm$l`g(dQp*kqIf^@^5p}k>&cq}l$R`dq*VQ$%$~5_V z$@<{NzJW0^^Nzzt&?<7rlPBDFG5gz}|6WzQ{)j%WUX@d~B&-OW^E00^g%f;OYsti#CuVT{iD9C@BJbSG@VV<4#m%L2Z`=+ zo*T0*`h@ojjBKB;n^!wcqZpF21I#JLVxm3)w+q%0$uWLDR9wXPO1XdCDgCiUL&Isw z+l}?sF?s~e$jv}KVw6$+Rmg_dStIw$itP1?wuTua$la1qf{Hnx3^W9n1nWIP&$iSBrd^bx@}RH*R&cK^hL?ojoM@Dz4>Wk zc5b+8?V=h(!8VZHaGG5bGqBh)(-5pO6?1XBlH_dN3TH8KU5mGOJ=yQ{!oO&u)GAYa zUHI@|kL2~e$7`>$ymdncA`TqscEOFdEINf19mm1#5npPiyT*G}A5OAaGhgj&WTohj zW;^yj)pF};-^kf~>Y_z6Zpm`BSG@7n4rRX>)$X-miGa9fS-tiyi^mTM4Vi1ks6 zFwR^yUDxj~A|SKZHgu;e$dZNHa@GOO^*-=zQGsNr+=Ar3G2}Q~P^VN!8=XPMPQ^E{ zBi=mw4{#veYYU$b9$2VjtZ&`Wd_=5TiY$3nNkK{#l<=`yS!1zLQSMp&${W5TvnnCh zqYXO=*DC(oRzScccssB0fHB|nLhN&Ks2K0QN}cps@^Ya}|Da&F6f}9%HhQb(1C^Ft zyAtFP)w*->!9hu+!~0XOyW{H0hv;EbTD5ZFb5T(&1*LsVzRIe~3QM6-G46nIo(H|c zv~uGEQIv79NZZrAX<b4#84VlCN_~8>z zZfR~*ZmVsBTJk0FL|e6DRcK_ko1v0gs15RNq0ai^C{G-7x<*o_6`|U1tgSeAFM+j? zsD*Uf9*t?zdY}ZG&Vk+GyQ~gJvsvbPasd<{-yyQltX=zVV{-ma0Kcn>`|yPg{Pnwz z2ILF69iblGKB1z@HW&G=ZijjIxLHxx4)}4!k&yt4lyPCo-`DuWS#iIHRa7}G;)Kau z<5rSnwO2dP|wLMPsSq--L-sXFXmHD8|RH ze@&ZQd)=?F`q%!+IGBle)h~PvlQa1Cru!`Nb7ofFAmzP$1M1No8+`*MbKHmGvWn^) zJ={c}$~gG_fAhTDm7r{DbL}Vjt!g%_&r9mgols_6Hr`Wrg5+do7WQ_r(d(^=a@It; z|3sO_EO;{EI+-rdBP z9TQLyQgAlO&pRX~P*i+w{2g!M|#UOO{v_YvI!c z%YThiT)Q6j?CG)Mjj00h0a~sZP5dvf8(F)Q5*Vw_%#eX#5uBqWY3g2c3Q(jQzr0O4 zKeJ|29Y{UzvW8cQ9Wfq=+pO~2uGlyC{E*gqB}oC%RY~PRC(hbBfwWxRnqoBQ$6$D_ z4nN-~@yX&Gm$&s{BDqgkV-8T9`kRFYbw9;eeuETDra@YBmq`ATbuQGoSJ}@ZjzyS- z&79(^I0ba=j0mqZk=I(Q`Nxpj@LxZd?&V#t6t@Upb*!FEc0-D;gCCPeK8Ci}?S^F%L#7t9BKS=fNajU~(CcysYwH_xw+7FcSlz?7S* z*~3_Wv6UbAG&7U{es7E75&|x3#zeW!)YHCtfXrcZJDP>nR;k&*wKIk>8}8fpy1n;_ z@C5=XLf(4$jIew@Nq_CmhTgik|Dno8<;XMf-OjqbG`D4CDA~^;|8{Ml_ZPLHA%}}0zu0)N+0#AwMG*nJ48Zqj6S)wsv>tuYuKUQr`AK9KCi68#X5gNNEy99Nf3 zU3Z6<%tVE6ByO<;uMjyE7@%9*6M9_w-|z}vDj`N4>xWb+OMkXztqj!R^B6-9nSbTi zuD-9BcSzz@KLC>KN5lE>i2<$(*Qm@k;=suI0J_oudg16AYs)d$(yPlLht_Kp(nE}SksNW43Ly7Z_eG#Q@~5CoBa zHZp-5x6<%=JIzWD5kK2uR;qahQjANX+Cw=THIf^pEp6mH0YB8XXQ_iGNQxHpLuE$q+s^YfecN=tms&xK7O( zb!=#U&yHrRZpID91gZ zP)K~ny`g#t8LW-Ec`*Us8MV|1p8|iA8{vz)Jgpna)!n8h@Slq~@a@gJwkF`We70ZS z#s*4f>W5x{a*Xs%;L{o$cW~lS=!tkQ3G%IM`>`*#vy3 z_pY;Q2Z`nfl2lEpKLfD_)9_S$6|z4`jc7^A{8$FP_^*6S(oFKB( z2Z2HbTb}Gp#pl^~XNS|E96xIf1Hv#Nq`S*w1QD9IRXPQjd@mTQt&^t_hX~BV67K38 z2R?=OX1%KwBDc2qu)JI$(gxym^m3Y@r|OA(Q`Zn7$gi0DzLNvLPI5{QwuQtQkv^35 zd?6xm_Mtp~DMXwF-V}a}5J?mGP$YdEm>AR{dR;}umjFrFG~G;|3@epS9=IoD60{ZwPCt=7XNZgq0LlGo$ zU^TZV+$o14f-<8_KG-EwK%Xpg65hNFiTN326%((8$bph>(R3^gZ`l8s8xu>#3kC|g zFSmk!`}4W^A82^zfnu)l=rBP!B2T^`d6ZE8gE#B?Wr*})+Nsd>zM!X+Ek7YYOdw2` zaKphNx>NZvcX^2eZ;$k5eG5UPwR=uRuO0|0>Z;`No+E^=xekwu77&T-r$Jzk61rwP zJ`S<5woM-%bjVD>uV%342EfHY$%Te5j<~P8vJy zJxJWqMS6Le1FtV2d3=H?n=*dRIQI}SKXM%9rtzBue0byp--O7a{G{AIGDNUZF5=A& zA<;Q=Dg6(GW5pI0)Est|veL5zd}0WS&O&9K1iUeCT$=_Eny38iKAsmcuI*z^71NEc z2M-aB)Xa@pK>-V0IkXU}*vwc)&&Ry<8;x+nT#6u5p#Rz-{$?XwA3m2t1Q0Lctqvg% zy^TlMszjSkap6}Scww2B$NEu^P4WLxSq9K?mOqs$4lr)b{6TPdC)1X6{wz3f&l$_B z5$Csek|Yg7h`(`??kHiN8D}d_&lMt7Wg$ncp~)wmq__VXLcENV^hO9l-Ml;sbP6JM zI~vOv8u-UwX+c&k0HQDoQEv>Q<|stHF^J+&h&tq;5YWx7Zhd~rUA)1dt zv;c#sHwIB022liss5b`D0t})B7)0|ih!$WFwG(3yg)xZYFo=3%5H0u!Q3Qi14uhyS z2GN3#5JfPE;xLGMV-PL)2vG!sC=P?DHwMvyj}S#Lh~hAadSejn#31S*#vqDd5JfPE zA{ayw45By`qWKs^y)lU5Fo+@;L=hCC`4~jKF^J+&h}w}*i0Yvby+lGG>Wx7Zhe9+T zgD4J#=%qjY(oP}{%UhOtoq^&Kz4`tSmE@p-OCBbSSMl<+zr6vG0&F!>@8ipi%e)NK zI1)%BHF=0&J`dm_5($xawN5hS*_nOqJe9=IIFykgP&gWIOM3sS5P7?~%*z_urug{u z#6O3S=T259)Y<%v{zct4BclWxrF?G3konv>joj9=kYe#^nfTOrGkS=~?C^M#E<_r0 z%2G0g`jk@nc0(W|%f`+?vq9b2q#$a}h1h-1sCZs{C#pX+uD4o2vmGAxRI#J2#`P8; zbW6CCOriNBwtPk-Jl*dUU;}jQV{ZBo!j~(PNzkYAGyx57vFxp_#i3M`$bXO$y(}e5 zsBc%qT`eC%o;aoJsj?+*8;iQ~r6YtLJ32hRrHX$!sUcIL#oXQmDt`F6#4VncpZJ`P)&Mr2LWodk~rbm7P5OZj^#yd!+2Q+O&8~kIU@k+^JIMR~WO; zyPuC90b=f6Vxm`XszAZ%Qgl}&6~B4GKAU_N5_gPSmio1lXN#Vg@p6UcGjA-Lg(-ru z%MQ`4Td4TH1qYAmyF%pNTw+R{37g_|N>#o;S)l*!imH536M1sLFo;J_L2_M-QOK$#lbN2^0^^6 zeV|ry^xV5J}*i=olCQktPI*6{FQcq<+TEWA42WNxGog zb+n1>+wU4(c9x1yo45Dq%N8QYT4IIYw~+Yx=0rzRQ#NbxoGPKYg*g;PZhBlAKewbs)2MiaTvTJU)t}ZId@+B>mDQ`mi01-cKhpUHjz7m0SbQw6~kEOpqC}oF~1E}qLDc_ zzkx_sXBKr2X||HL&ET0yL&&SzL9fd{2zyKw6I#KINr1mM!DljiYfwf}1!mWu8{yma z+QWrH^Nmn(yH{G4KtIq+UnWKGlE$UA^q`k5G^?b{oaZ#c2kN!SHjsFTKPba!fPQZ9 zA!21@&H)ZzV5}(9qJt^g>TJqtkAE}Zry`#DK&naWwbeP4LQj1eM^%`;N*vg7#yA+QF1$p}vr)CR7-kKL-|lUqG<8~JT;Ofmgk}LaaGu){UXcU1a~MaF?Fx`D zN~8)SPD5geLlcEJ%z=4s>bwk~d6fGuGpjUP$VTr&PE6P8vsq%8T3B(I&01@r7FK`3 zW=$1Q3k?7t=ccGanj0h@41UQ9xe1ZZK2h{Z0tNkyChv_Z2euAvVnKk$;&rN!eT*&n z?H08#D@)Mh|5y<}0t$MSuXvlm&azU~#G+h>NUpXg2!TU{uK6SqEfgYIyPqg89VXak z9pRlS;=rL>Ub4zm*(~qJih@*7*jv10)o8O>*=|99mX|Gvb4LHR5r3bn``@;N%_+0E zjJK!IWgeE2>ap~b@ar4LaQE?~N6%%RsL!$gtWDdl$V}1Ca^3=IS9SZ70)M;tSt`kE z;EK!^Rf+q?bCmE|lej&l`WTzC{L2-YFS^ZKCQhG!VvOo4Tm+uvsoSy&|J{{RHRAG) zo#rxY^mz(FjZJw!c17lm8Ysxr>1~-gsvO7cZG>N5K}&q!W7iK6LzvqUnLYYEB~hr~ zrK2G8M|UDJc^Z67W{}?IpD^Z7JdVj~e1*6Z?f3C&TSzjCbl^%eP{*JfF7rsA%k-&I zoXjM>P3ihUh=i_*+Z|t}3iS1lDaeZa&q#wqL&)3bpV*|gS^6B7pVu*&Pr4KN&jOX8 zATvsDvjV=Rk^+wX=PJMF%28YB2jnx?TYr{)GP~pdCr0+~Y6Z4`zKi6!jC$~!RC05B zSVnCB;ID81P2=j8d?50)pFZ8K;Y`DyDzM})pMyxh^k1XWMfoTN$EERwzaY*cd3Ai_w&=>{#l)d_am!wPpgBkAuTR9 zc$CoJb3W$m48ZRCnXfdfbl9v9{0lA-7Ld4%XG!5s0gF^ci<`(ECb-?q-tEu_RN_+O z1($H3s~_cAQd+>v-kYV#EhB%A9*{$L;Aj9OB};1zmiX>qN)fronY z;clXPf`Govy&$9pLgFXMmXwK0z#?_m5a!D;C)`6mfWy%1SMEsyNY!q z{3df9E%O<=T8-qmNu?~Lfy;ph!`Jxtg$i%FRb*c23h8w(2Y&t@$XBgqa=OVYm7+%Y z*5);SbA6b=RGEl>06I*hHPkINy{<}R&du@)_cg-e zHSMYc?DKD@;-!!EW5_D~vG@~>aE{tCskL+nXIRN=gKAE>(^L60oOhFY8Y-* zcbL#$G{<{Agk(A~WVQZO{56;Z_ssz#K=8ewN3TnzDFOe874gS+m4aMSoGYr-QIu9@ z-vkYdtJfS*g*qOC7W+Y`1xZ5WNvA8n_5_>H&Q(Vp(;#j$c+)ZiT``sxr&N8(rd$no zz$B_VR_!|+bxIcW)Uni)3R}pNeI0vH%XB(s7?jeFG+Z&5PRD!z+ONO=%^pmns$=E8 zgG*R2B!-n-DQ{hYCRKSGgL$Uvnso=*k~bt*jHWX&>Y!^@{oc$06RA~Lz2CW~TbM4O zOWqb&%;yS`t!)7xJ5TCR#g}Y}kmicvbS5UP80g9mUprtbwF)cvJNB^MfEn?AxVT~p zw8i8~0zS5$)Tb+q*peO}SB$4YT-W3gg7VE8bxfKTV->$E>-|54NIARGqjQM^7x@K$ z>^-U5YXQK16^H?~%46!j5Xr4^#k6TLR`R>DB7jp+|FF2{7?I6dKjVP;rs{-N0LO{9 z7*SnW9Ah>sw?rKkr{ghb%^$$+0v}>Ncyw2~!12WEJ*aW&TKo&z_Kx|ty8EB?zkd(1 z;nT+I(X3SG!KIeb=&+ktf zMeW`nmG}9R=r8u(d0`e6`-R7@=chlX{KM?PKP&$7_4j{C%7uJrX%5M0@Ud#&cn#M`D|^1ASI$|m(R`-f~KOE*}yF!((v4Twk}bi z5X#;)u`o(#Rq<{>!a4A>NIdJNA8@(unfvx82o#>^ik=gxc+xU4+Nfyt*(gGO~adpy^7+oM+vx2b0dipBwpExmkbqf;29I|hKnUb zgxa-=UAA@Ug2j;pbE6LzAn}APUNRZWflEw$8oGcq3@O^xR`b1J@%;yLqm3{~9IJ(s z{7U1%ZFRm4B`PcU393k`)a*qxyCN zX|vuDMN|gf$p-Dfyl*4f&K$=I25E*DZ_OtKDFXel@?9(4poGZqYj9ozwE+)D`B4jW zbhCGD0s4H0i&ukT4F_iD;VF;R*sQwVsQNw*9A0Fu`1U1vGQ-F0+G&W?mS|qx4Qvlu z?Jf&&Y*+2YQG9`E(cNjT=$<6#xmh##SFHE&Zztj3$)w-q74j|?{aL(>3Y#kKy&*Ma zaPHje^*Re3Wj31&HaEiV*Gavg0GMk(+g@=EfF?`l89!545p=2y+^H$DGoH702+w#f{`1@K~tDd`9|Iy^aaOluBK^&$JcP+={#@79w{zy^hJkl=L(>P(1;k?3ts* z(WcxaEZZL>7B?ftAaD?|Lb`!l2pS)W1 z>oeAu918R;fgns3E`|~anjlD4Q>hED2*68qOM^ifq0@bx)UMG8Gp>_9JOz!wiL>qW zA3@8cN#yJM4HS2@HRPj3`)@Dd-|FD^c*Vxq>}dbw0d&PdKh5h)vZz}P?~-~YV3B3i zvsN7;@p$pzn0~6jvBy|3V`i8zGN8!ZlPE+IjqCY=Aj`)N*00<-N^n}an=^V2%Hc5d zLk1ejR&~aTC`A>RwZO2AzFp7Xu!l&KeS?m5Ac?a6%HLNAdS9V*eZou&D8-H|I?sdt z?2&rOZ+H%zHK4*oF>0W=6Icf61_Z_UNl>yGnJC7Cgx)IMLti=6m@TQ_QZHGY7n4O|0GU~pACj)7?zFQdRdG$KfOJ3^$fYvE9le1dMVeeb~ ztKZu}VzFPOxKoXWR|zL7mKfg?EWTSA>{+KnId2r0C`s%6C+WIuiikJZvvdX$FE$SL z%=ts&o+pDnYv&;Gm~FiTxea133}vRVGte;i279Vbuqi{c{wPX=^yf=}axpMf^qT`V ziV~i=IUJ-5h%&g zU^uia4eGzS2fUkOioB#zLXfKxQ`|(w8V2FMo6^&IBIoka(pP;nV;~G``-b~%T_$*{qo~_Q&Cicb@ zmo>s$iz;ZKKM|C_r{F$5IoFAm4<6nZBPD6&p1xo;;&mrV_qY(5+3U56 z=JdvNHo~zj_Jy_T97(A9^mHq^xztGp(z5K}OH}a%^{#`&T+K3%7LX$7wJ)4{Np?x` z;Z_bILoVuFMOKgtblROt5>eG<94!@Pg6*|#jin2R0<9wcP&8%>#kH`rH|B?stfGn; z(54x4KilpIa*g_RuVS`0!nCbLJ^nsa@r=DM2pZ~#1_A^FITKOS6(hr_6YDML44M}8 zR38PF_3~?7Wv?dk>eHSW0M~omBsEO>zW zlxt>&2)P5ryf*+0Tepn!gTG*FQ+`%n^BX20{YAXxHL#;aj&laxqfgEWk)0|XV#yQ- zHZN1g5E^2%RT&>Kxe5w3yefHA<*m`boL1`Uk<{a(jr;iU%YvXd7n*Izu^b z1w5J-kgTiK${0aIs^7Ul;tyIAEV2)jV_(9HZ5tt&tmG?e87Bx9XD33cR|6n%g5S90 z^|>8sf_^VxK2>i061zyvpjic%^udZCrJX&xi*}-mF4iaU>1T zv*{!)0O6iv+9`&&(C{-GF7YToLniyu1^U!V^*Ipy9i5QaGeB|13Q-&b zy~6azyys;cc=O(Ii473)Q*T31e0GWbgCUZ8fwDy<6(2e}e*QARCGC;&OyCHiKfQ#< zXM$|Toe)K5VEP7@Df5zt2|;cpe|UN(0D79s=(!K2C-MnBQ&D>EL+OcpLeEr`o^djI zwtPxY9T`1aPm9m2LgpG zKXV3^CP{sfaP~04e8VXfSq7_U>CScEGf=v-7joA*0nZ?k#31R?TLAWyIv{N( z%C7rbLg}2YIBWJn;`$9_1lZo~-O0I?d=pNf2OvShRb$d)b2er!PvN6N&1u6QDvFmIq zo;1_tv9=CA=2K-o6`=N=_t!wR?uA&5P%8dFqLb00IV2uk@R7U%g3Z>#NAj*1_{yX* z`c`t7#_%RDGBylpT1m3PV+R11>1QJK?^hRZ`Q>>aBDAqT=)yNFfV@vuh%IM=j zoU>KBMQ@X7_<^tsv7T-($zf|ZG%~}r*^*ArvYtu}_W6=d5vqFKVn?&u$YGMx8g6t= zwqz-}tfyR$eZHVu#Py`%v%)XMCTBL1! z9JUy)QEm!S9RzR5GKmB4jCjmtg8fb{qLABa0V0pKT^`-_9GH~n&02XVMEF_WnC30! zW@>QYmuEEQK?F_lgllX#o`#QX>+;xG79tNnl+g=-zM6K_*a3>t9X1`J-`;@Pjjd&< ziu0`$`?>E0owz@YFFNFGX4B5wy%aI#l?!54J)g5a0m#z9g^Gt{(y;0Nt(4W-DvJT=4W*LWD@?GXS7K&{UnF>Byi>lvA2Wz>j*0 z%2$A=0Bc%{=fSGZBI)oS2vbzjqFX}~@M0Yb&zJ+7MmVP;F+dq7Mn7KK^3zbyW2}a1feGjUssjcX^6B=`VSUA+jJ&b(tyJYm z+N^xtl7Ju!zk%Bc5-|~%)1zg&cc1MQ6h6ZrEnn{M`pS*iC~jIfHrE1oD66g0pl^BS zjv8hPDr#wmQK0JWMul%=_JW!l2OHXW-nd;!Cpb z!p_q(h8*}UI}#)6DOCCTA6_1KNsg;A+>M&BxEL5LM$er)xg#}TSG2h6(Ud7f&RjdJ z90oA?VdWHt)JPF3eea6yWpLmGUL@wiZsU?lK)JGb<*@QVrohWCQWV`y#Sbv_ciYyc z3Kpkx9%3Bb$wjsA)x()LL6C1Q?-XXk;$w;gRQ%kVb4CkaL*k~kNYThldL%~qtyzG0*K!{c;Z!O%8^Xi9UVv!RD=Wp)Iz|p3Wtsu+{bSn z&CMo-Q^l)x!XQw&mGFT~><6Y3&G(2*0bk_b^rMo(j!ajmu_Zh|P;&E=1r^7&_ei}@ zwOo&3X$fx^ph_G$l$Y&8riy>H6LJo*wGH)910mPr5_o*bk;(*o(c33uwT2vRojt)t zt>o1R%8`)!_?Fm<{B~d@*l@>(5blVb%t2VO6ZT~YQf^qE29K@O+ar^`xgOS3()eq; zLXHkc+i;Ih6&1gCB-g{0N}@tXWEMhZOzjZTF#Kf9`JS-i_?}O6Z&u9u5Yn@1H#?9i zT%;YDt^%2)Ab)P zCVU^nv;c!DuLQi$w}26$6?>5d#^0Xm5C5^ve{sXS@K>fc%F<`Jrg-4VPv@KS_(J5@ zY43pAWI+n!8BYBO2UZWwN1a$Ut}l{?FADD*JMn|SYr4c7MQH(R{t75sZh6lty&zjD z7MgE3b6{3*0V@Jj!>bRyQ6shjm$o3CAAEu&0Sw%;)Wb;HN%sP2gS?zhIvtcg9V~C7 zr#c`-NY_*D1BH&nOb_#6JLzGeP|o=x5Cs?})NcHY!$9h7G-nBk1@Q%v*(P8nm^?vr zw7?zKOL1+rDT2lEXWpm{n=cV=<-l5|C1C6Tm<@~BIE^b+klK=j=GT70p%g7fYGDps?^(cNghS$2OWxI; zSps@+A#TeuNXDtDn9unQ4K z3n--r*sRcpIMjkILL{KH%jho1#Igr3KTf{J{I0LG%kPRMu3!`0_$S8Yg-sf9Rx%Ue z>hU+qXQ0*N`R74|Zgi~GW>e-SU+Y33mbkbg zyb2;#@~zh9yyYQesqqsRq30@S{g3bt<$M6;`{Gq01&nXU4*>m^4T`U89>?tu5jAbC zke7jtaAV_`CDd$fW8VE{2)WaU+6dmq?Ny1I*49Wqc>L_u05zghdjdZ^m`b{SeA)@D zwKdUIX&-B^T27uCho2rNb731D!yTyNg~p01L$-E%s?0j@IUeF5eJUh%2w7TJtq+%Rwx9fG%G5PgnT_#;I9{lABN>Rl)w8YBrzy^dh2gvsetD_Pu1Ak7xu+%834Qg>iQL< zQZS>{&VPbHtu6P~G3;|Pp zQ@q<4NB6~{h5g$rm>K&SX`)q|mpulqKT?*je)4eGISatpa*{5A$s zTpU{2&t1XX*w4g?c|dC0oz;pUkv=E6L*on;ZX!uU#O7%ME2i{is3?u0dFc={% z?ROxk9lITw25*@K0~d!T13p}t?7c5|9JdYWZ{ffP^0tr$Kz%v*>^6qd=V)!;a|QKd z72lYW$C^+w7B1ipoZ*o{cJPrOlR{}*4~Y3mLPy1Y@#S0Y|$J{3p*2s2=4o%EwnQ$l(Mo^U&ThcuSP&)%O*a?DiMkBn$lE^Gs6Xjqb zFz&@{z#d?oyF5^cPi%ynhw`n_vd2HNs~vie;Xx zv2tG{+%-!N7|0N&?2E6m2c=h?zOr#6Ji?WXz5NE#<&grZVh@^;{Xn8{G294kX(2h% zZWu1UU;0#HnGbuzs7nZ32c`HjSI`%siCNNY0#SKF%Jz5*X;14teYWTfo2n=y5(SXD;gZm%_Jio45 zOSHCk$X>`0BC~=-6s0Fsmv;;i4(+hd-Y60xJynTlGT@vlVY-Q&ZtN1>5(;A2@pfow z|LE^KYk}ZgTC>DRYH3srW&p<>Rh4@m2=s4O{~ZkmWdA+B25f+Xw=IoojoJLi_E=@_ z7_H{sLJnIvuZn>*k-j`EM2J~-q6f*K{}0Yrisk|?tCoY@NQX}%efo|NNzQV>3j6cX zdozL6x_(U+ojy@vMDXec02zkNXf|QR6Qe9M# z!l)qiLIo)W@uG^3lpR#F+m!I3ewG(ApIN_q?<88dJ7YzCow@9 zg$dFIOptn@f^;(`NN-_+Gzt@>CozoP!UX9pOpxBf1nK6Ff)vZC-ufs=8!$oo1;)|M z9|dU?CP+_y6r>)gApIN@q_;i_(gsYBeu08?^G87%g$dG=9|frh6QrMGg7nr$LE3-{ z(vu$rsRvrx?`XgTX#*xm8!$l{wb9kDRCoO{Z$*XS*J6J*&xa6L)}i|k10|3o{`?$*D@KuoKRiQEGX z2iIh9YD7?HsMB&NrC{iR7NN`30H=mo|gK4`I0%Tr{!?b z*0=Y2XN3tf2aw__lye2=1&Ek7TNn`{UjrrAO$IHk(5G@hR;sHR@@e4QRejOd@HBj~ zt%kLDc{}iE4Kl{8q2^!%ew7J`X+`6~X)#vUnt93^O42YH;PibYq|>CFA8S+P=+K2|3~!3jLoK(t;X{A|>absfYEzE^#3L(Jtp7WOT0f%twq>l&P9U@T~ zatA=_c8#!BJkgIfYq4{DEhgI~;-Ul9>;^i^m z56%X6Rc-|g7R+bd5S2X?A_W(%6&1lbHZma5tCL`oz)CK11t?q3H2tSim*9e2$pV1w z10Ru>ALw3%$?=jvipvEO(Lw%a1B`1cC4tB4wKE?|pK1yW73hc7 zD)~s|b}5MrnjX!*h9JOY(^gLE13>_8&^9&VA+2%}{U(Uc8bZ=jAPKSn?23RRGT~xq z4&q(3DFu!;N8(@z)q(lQrU7XfHccAu;@urG_pDXI7Xw$Joe4`jRhpnv#mp3%uUHy_ zK9-H!4PGwDAZ(PAXu(iU+0VMLAz0+5;O7Ag)|WN)$6jlq2F9p-c_%*{9Ckm~Ft72b z_~hUYeyA>6yY3mY7K}pCN;+7p03)x94VJ-1dp)>Y+y5|I`&l0IIS@i`YXY~`BneVN z%9v%~2=<)s)UF1(EKVKs9_V{geq_#tg2eKci5}1~1?RU^N|WwXkrO>n)!EuXKQW86 zfYlU|!>j`HArVGSygozl)+-i>Gp7JCk5SsGqqHM$hg7)W&Z|wz^ zK%Fb^b{ptLh2$|KrKSH8q_oo%%v6bL43uwzUjEWbpwTi2vOe26PM-v!s63S}$s*`M z*_z~wqt&EVstYe6eiQ^-e`4k-gC|(Lp=4_c;sw7wGswJo5VY(^1C3U|VNs(sPM-$U zs&em=tb$)UxHeyWXA3xU0>hOT3-*rwYmFh#1D$V!4~FfOrJ%$!;PNmzzEk68th zun~_*qrec$G3}DP2ge)Uw37wSXeEB(sDw(;@t$Yk2p+Rj3hf4pl-bRX8zStm>Od9f zQ|21*T~}H=ByYepLgy2M9XkL>ZMsnbn#-(T1Eb*20u?Vy1Fuh*-7DanV$GeX{;Xw^ zq|*bM-IQt&zzTmj{|EEHih&2#g?V5u*2b)BAmCEC#}!1XSoQ&Z4}^=HJ$-2))?M`I zh6@{TW2Vs_ROH3!zNg!i8sQ-IBr@<^O~44!gw%6=Tbd0V&4C-IXMpCSgIQ}3^IXsZ zq@jSt&~2s;f}}LLqOmFsj>JbDssw?)QE3Li1Z1{!dt>&1(0@XaBd|Ovm3u%T-rHU@ z<_?Bu+hY=aKzF{i+yg}aS3%q#X9-!Ad3*tS|D7?nfMZ$57L9a*a8_%X$1#p}c=4Xw zw;SQN_J!c2)M*fRJPoMBQc=<^FlL}rqyQeb7<-?~pm7-xcJpjI5WjB)QJT zb4sX5>R`R_^-<)`R?q)_3(WWq{oem-(Ch7+WtELG5b~XoOe`*z)uN}g`7M7ey1zdv zb{9p&p#DveKW36SJGJrb=b9K4w00P1V^GlAVW2&Ng4O{8Z43(9OBiTlP|#k&KpTUC zHUFwk-_(8ge(-GhPl2nO0q z7-;h`(As|ltq21x7Xxh!2HHIsXpdl^y@Y`_9|NuZN6?Be&~h=*#$ce`gMl^%11%Q= ztp^HPdknOfFwpKnL7R_(b`J_#2Nbk+7-(Zq(Ar_3J%WPP0RwFe3ffB;Xk$>&Ucx{d zgM!up1MT}i1ZdNzr<)u+hF|La-wvyZ;*DyCwug4a>c+;5(*QbE<9}&Y%kHyS<^R?Z SXD2*bs>htgofgYVT4$PIok&S76GU=A8n1#ALt;T5baNr z4)X~T55^{k`7z6bHr$%|wcYDszMDUC-t7AN7xHb_m`CHc`SoA!=!hdo2Ry5c^2a6e zvMTSoEANC?78mb4Grjcap)X>#%v{G~n2)6}ot<1S$(zztph ztHaU?hXRsW60O?ZwQ8Vz{48?eahO6ASTSZXDGmTU84DYJ`dXlVe4cXjc=m;a-nTeC z?V{@UireBJ501wc&Y4IgZ!q zw#iF;t-=vunmzbe>r6kd42X>{0L4v%Q}*bL!R+EMR6DH7-ABx&mUiBJI?u*2dqT z4wa6^O21*y={E!?7YpECXR1iqJsMjWJtR`+o@A`Q@=!7MVJ`sqhT9SYuw$@1u?!+Q zRg_l!+FyW!vI-`7lPiY#0o__#^Y^_MIvPJiYlxhZjv2yzuUP`XzPtUsfhV(doRqvz zvM2@hW{F85EsgmH+QK~($5RvC0bp6qHWII)=#)$Hx5M@*th?99<FBd#3MK10kvodxubY7%DzGTiDl?6oYd^5 z>5I1sv1qxrwKyRb7s2%Z3jnaDgOaj)8?r_16I)9g_*JWS5*pG|j88K zYHYmN5gyffOriT$BymI|kHb}-HVWp%IhOKKD5aw_2PfCy4RR_;ENIO$tO>x)_3VbK z3rNBOg!<{6gg7{gb1r|Jl0sFY`$rBV)X~#-ps?5OtTjsJ1x{r0#Ajw$G$9T88Rhz> zloN!=ofHe>?IqzN)dmS$e0t$yC^Y1A3n>y~Y!VLL*}MZ~O`qG`AT4gNBA{~)L;Y4P zyW4oE)1s!NnTW?=W2B);aXwaO> z;KAN^ELDfOs(Y@@)~iazIb?jpC1MK~MbISI=pTgTQUa6v+V73k@<%52!DOckKV$2U zuy9XGm11KwChmqcCAycP9xcjFky9&G*#0y{Xh(s$OeAPI)XncHw@CUxLGC36vX`Lv z=bY^{+YFjn{5@#?6fRTPle_VCNy7JQhcHN z!a{GwDczpy1y)U)8q1&_5_IcrqMSMJkRn~}i?gOC512eIdHK+io37EG1g1rrGS z8je5=ds+&ki8bR0_8BB8ZqM!IY)W=YteA*tFIz@1K5``D@m!2yIG{W_EN)wVbhyvR zk?c^N64Pi~Iu;24LtZiJP)NI!&F&b|hz{P8=5!rYNN`&x_4da06>eUqatxf9rkniGZtgrKt&+QuJk%-Fd?REY_8DN zxiAR)d}p+qQmu_wNd)P3EthtNSlQk}s3NU-cP?p1o@{|ZnIyE`E%GN`mM;Dz+`XU! z>pSpF9@AufJbZx+^z} zpSThLf>UlDkAxUGSMgdTXQccn!D6Vig9gUvgZ!NFJ8hA6dwY7-^m}1ZO{)>fi|6ke zX<29}b}SDUhkIg2X+cVE=VBCxBqOAm8Aur1q;7|+3C*tdEc!#~1 zd6%l(Pj7^ARO-iB@+B0gCX%KWiy-YeMOsdb=4($`SQO&8 zuv)6q^cCyXtt~ql@vXYW4NSvruJB%AQ=aRAE_bvaXV-Yrc)Hm%0N91JhR(+c^28<2&pC+k?vi44sQCQpo@?I;O zByp0i94YcxOG049b^F!XipGh>G%&As_O6_r$qEAm*U76O@I4>3!Ho<^v!A_@uupol zMpDvIH{(IfWVT$$wcbe~-}#!0UwLo92VTTViP{!v+>MWqUp2URFo#3z_YU!t49tpY z`_fh|+lj_ZurkXwR`y6Z)!eZTEGp0jtR6=KM zGaSD*AmAi@rrjN@jABIfzZFQ72|V!vVeI}`ES7i9IbYvM@Z15D^ZY%Qa;sbu36?$y zWZHu8qMLey5PIu<9A;k((~jZdZ&zz?8A8Q374w|AR*+RNjtlKLmKbO0j5#AHU{C1L z%JW5*;_AG7%1LF_z1IA^cNNJgo%faNl85f&pgu=%=D!$O!r*CY!f|EL*p)OgeR+j!Mj+|_ z2+N2u6tM`2%MfgpW5V8k+QRYj)dT5eE)4b6lrwFIrMSVOWP2qx1Iwo)c;cT)31bpqW)A7Z2O=`3O^ zj<=o^60p*HXnWj1vVpxZ0*z-&oMhYS4iH@cuBeDen4X;MU!%N82(1f_h~a^Fk+2U| zUr&5^%8jE309Gw%_Hu>jEg+3U4~;G< z+DEj2(el-(d+K&fuiijjVTixMpP{tgi*lk;>vlR^j?+(vs`G9kO-}>B0JKN^8jygv2KB*Z(Jv?jrn*b2MlbRz|B$6fY z3Req@>evTi7a|O21BI=H&F1GR)w-U171gP{d%Px6_pZeW5Swl|T+rPOrvBiP4xd#Y zibMct1f?OF0;FWL(p@=(@jla)=l!6SLJRTdsTDpen=B~Qdbx`ro>M5k>H*KGwwnaK zUn;FY1PPL_r`8brmT7p9zubHZ8E?*-j4vR4z?s}0q!S^}pmO-=lEH@AqYg4E_h8!d zss0n|$*4U^KOpM`zNU$TF_Q=sBwx=-@j?1(;V<~r?*aOMVVk0y3*H^+re_6CuWP=U zblhgUh#K|++7Mdz?sn7SKaPYy)$;e}?Us9^NIRt{VBTd)O-+N#=(ykN=TpdEZAxmV z4CZB2yo~ywRx|o)3SWboJL=GS_xW_X(S&+ItN#PK_fL&Kd~vwH>b)t4cleYTCF+^p zrgE@;0c{bO%6V}4&xOtJ9qPXjz&pb`$;z60uRP?W1v-eUdA!b%}^((4)jf4Aj zpI1|OIw9A*8s+u^x>VlvhO@~*e)rk?ml(e_>hTXv!3RO@9*oqn>LbqwH)-`-R|ciN zW)l7fRP-|r^*e_-o9t0wUvCPnEz3D0>!%7oCJD5zd``J}o~vCm?vrLBzlJ z?EMRZ&HZ)vX!6x2T>={}U^NC(4rW-suY-1X#S_&xZcM^4@0x4;tR z(frBZUUtzTc^PQ+4p~v4pi0JCKxd#AmI!*o; z06e2#t!DqngZM20g&~DZ%82o_O4~ir?7!yCJ+*$$E^Eu)7Jef@wn0P3qvL`dx0$;J z*M5BcZ8YVUSyRt6d`W~ELu5!@3LZeuv#kEC6M5`exAXgE<+Fz9oo86*S@&|$v-;v+ z+N6oQkOY~67W*!Zm0@h+@z58v8LUeqySDj%NCUsBWH0u5I+q)*ntGuE;C4W?H&dl6 zUol0u)L_t$Dqb~B(=pcZEh}HK=$#xLOtpGZ?f8-g??2P@j}@Nzl4|2}@ngNOuw4(yA z6r*0+L7JM$uSfWrM*kj0b{6S}?ho@2Da{ZFqBCi#$6fnj+kT%y3WYO}H;qQ$IUe=n zfcG7rX^i+|*JR3Z*`O#vCGW3NOr7eg<`I210s`ge3|;&x!c=Lx>f01gC(4GJi*93+ Pt59n1rcS_0I?OJb)yyq3J8`cAWM+NfUI?VRJJ5z zEy^M=l2JsqNfAN>LaiYwvNf_w0tk_vfRQb%dCzcN?eiVSdwkFLe(Up1hvS%ILd80(4)YfZS;GiR^$N0aTEzfWHE^`_sOY5$~cz{{nlz4v2>?~f3Yp7$|G zvlD%_%@)6d53y?1TcS|RDd}rHH<7Tsz-H!=&p0oR-*m7oG~YHIxs(}ezVfJV*cUJS zZL{7&`%%{N(YTL2Qmw;#6)ur8W0|qL&;v;9$SQR*St5L2)uXun+#z=5?p4QxKmWXm z##dSS?QfrrOh=k>n^pd8<=6MrgWsS>-6XFddntJ9T3ikD5i`#n=T zH?3M#+3XRRsjf%KCOB$y=aQc8nRZ>Af7>h{dq3pH?cM6KYSjCS+?wM0j0GRMo~o*&wwAt5&_w^!ILFC+nSgCn_f73oomfa{@3VKJ+KIk9ZWZN}^p$aPwDgZ! zp6*+EX73i)sKhi?ik@E#67)x<_%1lalr^a=oCUdvPU=3mH0pVIy0ain zCVZ`J@|EJ1fz7@Y`@W+k-mzVbYZFr%68%RO%Xfp6U-Mg$%h6E(lf%{og`iq9xprGp zUrg~5P5#C+OG{r-7gQr1&8FWbEi+|Rlg9js*lRm>xO%-zo}{}LH<*bT%`$RY z>N6HRmtTBvD0a^{tx_|S^kGuA&MnqtmtvWe*tC2td&8<#+#AvI`?0c&<%#NLZN*3Z z-E|F~io^LEN<0&5Bdu*_#;)1gF7n`ua~`apf3DYT(_eUMo5%HkU$v^IaYQ2Hzces8 zaEA7(xk5I~h&CKAtu$ye%+{T@;BLCV@L2H5nV55Ehu26>#B_y!@MMT*@-f@yx*k1J z+0^Cek)CLito9u{MobQw=-%~QFrJxyvOeaJuFW>OOm;`JQZ`(E$jWG-figF;5FwDr z3bP_C-DwFvp2?#s2Fwrdy~E--I%*P!z7yGc$^19#a;9&_Kc1Oj=tZ_S%ijrXv{m+& zKB0*dn%s30-%Na^TEeXzjr4D#@CJ2DYoeT=9V46a>%*&!y~XoV`8(!J#Kia8gqs?K z%iOId{p0=R2j?4h-C{*d-E6XVP-vgYvq}(USE!K>s`F2rQavRlZPFXsBbZS1XfSh4 z)k{Y*Wc<4pUW@tFCmk0S$ftZhwwb=;z{~WJoXLpLA72(RcoU@2WWDI=e&5AVl2Z8! zpW54A{?JoBGBa#z#_g?P2g%r7Hvb0KoSsicQXWQ_zTQ;lk*>9&)F60NB}g!zeV#Be zpUI6Vf44TrzYj!ClMx@!-!@5(Oy*6pNTc~THFBmaVt2V9fPCfFa$ahtH zNWY4fy}Ga{U#K?dTz(&E7}awkSkdFo@Hej3BE9E6GFj@erp-o&hl-bmx}HR@^Bik2 zFd%>5yZ5%1n}}IDV`pXP5ZkOL>X;8XnGvD0TG886Y{OX2ZI!<$yDW6kj&@tAzsyT9 zuO&?fOwZ7cIX;e-7RQl?E-!v^%`(<|=7g%MOqd&FTL;&oD+^=AOQ|msMl2Q&_xx$~ zA3#>tUiMAXo_u^xGW_#rElk~@?&TZht?%0(D0 zG`I%p4StE^w|nIOepFIN(oxj(M8{2KE|DZ>XTMnQ&`2wd8w{!muev$-w0h2PPis_g z?@y%UCY89o`A3Yh;$)0I;qBP{+}zLu+=WM6`Nf{ktfCeLXXbx+>QXipTv;(kU7V?U z7571J=4sWOX?OJ3#|$I#KIWdCWbw&@K;>pGJxrb;K+XJX{T z@}=%H*$u_q^N868c|y}m-t|$=QI+!6;@@dyxG{I`%2^zvX>N=Av$xS)lUHqh&4qW5(ptxP*)i)U~XZ2!t?NfPH!&ppF;a3cvPI~-UgWUF)nF!fU(%iy* zi3-<>7(3<@XL_%)MTd6kV9w-i3toB}ThikZqjNW*2_Q307_)fo(4Ofy#kcv@J)HOc z5__IA_v87V33qvEb!>?fgQ3X#V1^X2p=B zkR&r8U9eiSJj5VREs?a0XBGMKAMYyOmYy!nmA#3Z_m}=C6t8tdg9 zz090tesIdV^dWe$H)v7fJD)Z!YbM%kD%|i=_Wne;WNye=@unq$pOAal-qdR6J6D68~I1K4628n zwmiNCgDV1f!`7JiMTF1t`|J;4swwOAL z=->SwO7^8$!&jz#nZ|mD4 znx-_!9-*POwpQt>@yb&|(6hU`A29EaD`&oa#^!ZS#fg{0Nm|zWagi;)@dNh{dr>6K z5mNy>Jlx-NA%$|HoIFD#YB3qOCmvVQx@jU&CLyuD`}s(vO2BX&%G+ERAR z)Uc`QO!Zdbhsbdni=aw7&#~~cRxPv-4O%~u=<9kfiWy1FkzN_6z0Qgsc*L>THE#Dz zufEEp+}P{Yw_^M~%VmCsW75q>WX=(2u-2 zbHv)rS$(Im`l{eb7v9uOj)k4BZGku|N-{5tZ=;K~UoNTUmko56M;`Fv|3$3be?7j{ zEhNa@W~)hP>^N;uMZYbeu_|~tj8|}tW07T@=u+|VEWhTUYM_*3ar}nrs5w0Min-T} zSgh@!XJ63s*C@#%C;m`qNRZXF&8)9u#%ZC0`U8!PRWkWy9{(!GqR}JXH>j@4#3ixg znfWX~ElG9KyT3bP%Ft^vU96pJe5^h@ElScm8E=#y8uZ|~4(o#5IPH1}uk9Si;H&w|leB?ElDApEG>CjW@P?{9wn zzBP}meDUA>X!6aF%D~I%4{7+ z5<1KLpnRoIdY;e=}bVJVT#9Q@4e zvC%83W|b#nD>0Nv(aq;W2@~{HMpz+H6v4El)mQqHRCByo@U)OaaCUGaLk-hE9IUKh-)oI7qdMb77cegcA2<7V)8o2~E1KWa(ouJ;~>(uq{h;Myo*ZoW>z&G&+%? zis`wGQC93xieN6ZHT9qYTT**BGQcHU6g(bn24yUbSbV0d-QG`qQ1u0Erc6wK@ujtS zVT05%l%)lAOtp%1Vl?=N5KntPP@{AyS7@C+%>2%Ksid zuBbIqC$K@Ov;NlJKlRoP43A*CRm1Vb9IXEaJ^J>wD8zqx0v32G$r-9 zC7b!$IjN|NL$J2rV-k3VA{bh7E$D#ne9~p-V`F&qwJ(xV;A<<=E4KBAZ}Uo=krRAR z<&ocSKB)eV`rTSTR^$napx-ei^$>|InS1G4@aBOC6nUq2L!C5Y=83w$ML*Tu$}ypA zMofQw!Kf{;URr*oY;(!r0M#nSJ!x7ygxHv!&wFr)LvYAy@p?HgriTvhH3_Fu1d`m+ zj`DqM$=J=~&)EIc_4oW(mjfw+v?SnFs5@baYkVxO* z3IBdDgt+EaX~*+DY{|RU<6+MRs8cHKUJI|pbV>VO)|E(#;Km)-G50&7;4$x=>Zj_Y zI=jW;>IawuiEd#^e9QGWk;5X z74(nIC*b5AKi$%I#f>7!`f}$zvwo_$sIAY}pCTygJsxHT@7&@iQ~r_YtmB43KS|5a z71ty{jR%${I$uD^Sk9B}B2#;RWy0A^yk{{oM)MsUgWK*(>fEc3SW%ok^^|jK74;K%Z7c@yN!?`-4 zJ|Ok6hqqyIrmu+e>x%)d8KU3;uR{Y3ucW|;2h59WrIs;yI+H$dc0}83!}Ux@^?a9g z^&CY|o8J$ZAsy1oN|x>oCDJ{O1wRghmfP(j183057IiFNSBhXsSliK+A`1R{u1-=e z6ydpDSe-+VI-lY%)5Y}FOZ_ef;1hStFX{v|NjofD=#LsWgm8mh5>(KKP(h#O3*mxr z{$>A=U%hlF?-YO3h(jRqU$H9x%$7LC95`({Kn=)GsZ#nt_}Q)dU(n`%4>bH&Rr_BY zQSP62j7&@&UHMe2Dl^mjQXY%fb+!6h3GYSblof8-P!~!ZVLt^_rU*LdUz$?;sV$LD zg^{Lga)k58>G%4nXM>!X(km4E%MKr>-yfi!6c^epynst{%%jxrKVp*?JsZ)Bp zkDY+4r%RC8;aT{)bobP>)NlwXTt8gTiKw2P$u*5)dWPV*NzB(2!B02*0GCC1~=R|H85YtcOo-pzEpa@FrTLGBa zlD@PrpOwNHwqyOwqv=qu4Pky8>%)Fl=20htLt z#^2>s8L`R#I7>U_A4+U=H>|1ribG&zog)J?)0^)fH;MD62wo1hc6@)BEotfh(lGUo z$mEM6K0q_Up!i-6(~QlGE7uY^4^VZgJrZv=!;2@M#npTQSF_*P_$#U9YsbVI$57(@ zp4JW#T&13{w`4*gR*_pfdO*wnR=owVnJU&U=D&c;P0Wo)E}d{S3eVBHEeavde0Q8x z03VlHs$~x+J$1wVoO}~DGuMgM4u2$Sa*EeAAgjViGhECop~i2#mp z2$4T=$`--KQ7q4@NS-&~a!wfP%oGVjFYZR@Oj6xT9iWP>%(paa3{aD;QsWVA=p};v zqxUW+xRjc)B_p*DQ9bWh&1b)(y4#p-LF{a)>TfqGt!*y;k^rpGwVNws8on`x7v5Jj4PWj|5r|m-I@Y%pC z+?gV{ll9QW3eJGy1FDEPHXidiL9w6cupOKDNox5s3DQzUVr#gVwr%w?m1?qt@gg=8z%g2-^PGuvV&BZJ|q8 z0M$`hZ@Z$=6A@wKa0RwD-GuxgpXnb?v2VI_J+*8%n>@7~fe^am$VpG&@DCTPoG4Aw z^4RF@NTdbiR=Akv8?04^8uSl8L=<#`L7Hnhf}tYaMI&=|rSZ!M8{f@f+I{|t0shED(c`efE2&=N< zdZ}e>%y#4n59kt|-%)ic4sA+$4Ct#zU?7ZMql`D`+*c7}Qh0a^aT5}139DM4Ejgk% zf=pqw)yA?x>X^1pJi-n>!j9KR4E=$#&J!5SLJpzg)>@?0=DNjj`j2U9D-#ZIg_7VL z6E@i`@Q1zsSh+xd)A#>)ps{;d%j}m~fd8(PL~BRR@@W#v@qQ5Hee7|$w(4hVb((>C zZq}2)(WG1b9Ky6488ZmickGq)$#n8Dly}5ns5V4UJ#`FOM6xh;Kbw5T)AQt4--=9P zgA5Ub3?+aNuG5cweLR$rSBa`#89A{TS>KSuU)DY{>wNo63b(dH2EvQ;6p? zDwNDDqXs1&Gc|~+S(vK1*d(%CN)E9luZOv*X2xvE8zu{52-nxYNxFLjy#_@dGc{uz zaD{q|ntAxT2b-pAkV{Oixit;HH_q0G-vDT2(`yiiOdX2?6L#UUAAMqQo#2@sRtKxwF~0v4h>`!lWTg*#B}RNT$eUDrz;Mt zBNUlE=1iv8I|Le{*rQFOP8&qMRnTV(Kvw3O{V(7Y517q<8opD@A=+6P;t>&xZ3ScnK)Rt58EM@`U#aF1YQCo&>}q#|t{sMZweWGBH~xAhv$4hI70G zl;d&L5R05mD9r%&&f=&c7CBxZN)-k7j%8vNIga33oQYZFI12I>Gck)C4{*OP3ZD5f z6S2rSujWoM{h-DK57V_Wkp{XR=OGqx_CiVC1P`&u@qqK-{yvOkA{Hs)&7=T(6!#=x zyjF(NU=}BMh(-3ID6c6KvB;MRRbZQMM^4zTu!zgfnQ##Kp=veE*F416;h05^qb%>a z8e);X!OzUtTxX9LM+weSgM6ss>iWZ^O00j1z4*2NUE<2uvGJrREG<&RAb8+W{;%W z6iYP`OSLJMY9f|uQ!Ld)EY;XEQtgpc`(mjM$5L&IrJ9JPS_?^am;gz&5KA=?Nwpmg zsK>EX`(mjkV5#OKsUF8tja_57J(6luEY$=g)%Fr3)$D%-skWZ|boMjTEP0mFHd>&F zy6v-Pm02Q_GKn1`Y`Yvp*xItYT@=dOBX1Dw_I(LOP^B&@~S(iX}T>6sV%%vtoIq#YJKb*HzVIj)ki7y{>^*YU<66A`UtV@y%1st@eqOB!DX!t zjYEoH^0q$98=4T0nk~HAD#dgkhMgB`x=?K0qTqsZp$0mB-KwJr`6gx-1`X2_4|JTxpoaT4pXt0 zB+Nbrxvo%0>E117|1>}`p*@GSm(6TDr~{pF;;r!WNslja2(6-*LMrr8o(;O18aGH& z%ZWM&Le3{42-#qd0+IHdM+e#Df^bWe?>$#X-tiXpj{aD$d$C^o60=A;bW9=YI1$l7iAbnXXD1lk z8!vIh*N)BOZEPNkFk7z|Ai?%bLKz={P8)>|jYqk<6l&(iqh9EXvnBO4{w6_A6amxc zCF|NLieUIeyVr8Pn0~wIHf|^u<4B|zMx(>l~ zor39_j_Gkv%WDTuC9$cV0s zF0Yq3!YM38jSt)`Ld#_iL|wDxBvH*1p%*iEPR?|9_Z?Bw0@VS z*Y-79zUqOlCrxdCzu9(^>LV0!63v(J)EMfT)pDZia_xnn%W8XRidGL8)me4BCG{mm|;vp79>vxlN6gPKoq(S z;}YD!i09s0t}(y?%!glEDSiLcH(HMIK4iz@#ATvoQ(R$P)%)4#mY&Y+NU!0RD=pAt zbcsEvN3-S-l6-D4xo{D`e9l+`7P$x5bGARCxy{QY$i3<5(b>4@;Qo)Yw=)ErN zLu_)apUp-cnBcJ4uQLkYX#J@s!3#1(D--MOLm~4hJfL@*4jo4>QAgV~gy@|=87%({ zS~d$WS;3G$)YnJr9D+WIqW8+PfS;sK8XE<|qtGPOQ?d6CrPx0**Ar}n5dYd?oeby? zoos3l$W}uf4%dQ72p;q1<}6tx=d=KFt16l?yeZ{#J#_mh@zU%n^r&&%`K zA;ybKhem>y+FR64tUGU3N>}l%;N5lJZ(6S1; zr~~;LxUQRmsSXqYt=-s5Gy*solr3?GiJIv<8mt&->))QpmV62@(<;;uc0j#BWxR3-t9xltr#&4?x7~wR1V_)Vwy_U)q}aFrm^AbRCWXG5 z*Rh5V>7(w+LzSHkZF-6z?~#U$a*+i5eD~|D$v^dt+#SKGLe#+*@-0nDLv{ zgE`AiJ|hW_9Gh||;S|A#436*E@X0Dx#K2cAkYpLs>W?{w`;5?T7WoMO0kcHyB91S& zEiIBsUH(ehypc_Ixj*xOXPn{44V}h+lFDVV`#SesecYW|zG$c=0-d)X%vt&rUP74P zcFaYjox5%nVF9cN<40=rrH@0XOQ*4qR!y|4c za5}=jKRC^=6E%5BAtN)s8_H7H!c%&eeOMIGt;H619n0>tNXgs}B`(z;v&odmeH(R0 zPgcpM8cTdB4bms)2Ks&$!fP@nY?3w@aR?=?9Lwmx!)v}=X!4T4rx;^@a{gxl2Z(?DZSs6QwWFU_4U5f6H<81$<~sN=euC6VbuLW zS2G+qf7FK+col{t*c{7tA>1+lQ%MIG=CWSSa>{>JezcLH65k*gH9P+x=|o^=p2a=~ zt0V$Uwsb2}llB%W?{LbhQFcxzVjF8p2jI8{{hPd;p;s^R3>9{@z_;e#`xPRThGPz7 zIL?DfOz|fJz8EL%>DsQw!Zph*eda#`i7&1YF*sCDysWx$D@m_52AV} zTw8kPJ->7?%#7T8wIY;wucsvk3Hn_m=y_1~6v3zMcYR?fRyG=FlwJ%2D~+U;=sT91 ze{3{GOn+5lzzP9rV$7CeJ^vi(c^gzbTyk3tSbm^Xvnr)SmiI*_AxobZbl(%n0t?im z8sQSmm3`C}&>)o`_DI5Vz8T4RX-D`0wxnNbz@na@2=3Rqj**m>Rsms4qck=9Y0Y&B z45_Tm;?1Ap5JHqoHE)4B7t;md*}PkDro8bp+NcLJRuPKN1H>Sg2OX32Z-ZKs zqBk2s>*Q%kDHd}BB<8J9;$k|{A)EIYkhM9q)G~HEoBVd}Zb#)lHrbD>ZZHEwI4YzB zBbZ^?Ro&8uv^*PW`KLywCt&JvZshZT^LIri%cbf*voL28vGh?{VWU)Y!6_*en6BME zi#KzQL(t>4_aP}aKvM1kg$*X%Ad5#&fijM3={xRE5!Af8+rinvmUK0_y8A;z$}?(n zg%&9L^3!8T$?qa1e+o4XQ;+baRKPG~Lx>Tj6{c`pBm2}~1uXm=x%SH}Z16wzjgcK* za}FeQlD-Z1i?23+=OK?W2Sh2(Gq`u!I`KKMNL`ROMieHh=rr16AeWm(_E^W?_;O*s zo2b~0soNY;w@qRSF@zXfnN2G@0nmA0?-&_MxNj)nnJ4rBtLAq*1vW|L%U_!xZtSNf zyT@(GX9H|%XV9#DfJk~Gw)jKr5>3da;ga5hO1gwKagidZ6EU!Smw_q8nza6Kq}6`*rCT_lr_Gdq5UF05N7?WKJPQMWs8i?+o8 zwZ6Wdf9EB{9C|j1_clP%^yUq&X?s-D4Sd!O!0;@aM5Nl@68Uv8{rVuo3vu@w#NF~U z0bgZ^Oy(|`pB@KNUixt684RhOG_2y-N=7q4ZnMk5(D!?iF|GY zpFzv6r!uRfdy%FnBXNTK_7N z&9n!Ef%6D6vPz`SgRgn?X6Q1^1(e8lQ``Hgm0xAikd@S(`@Q-~Re$m82;r}jd;i@x zHoVK^{4xuG7t{QoI;02B<6V}U87m)el{{0cub9TsSk6kAcT>12Sw#i2N}BIjt<=S8 za{CCB>^(d0oIE0%{BZOWQ)ukVr>VQJX2&Z7l~`^@Lfc*#6iia_>W8mOZ^9=>`X%6J z|61%T)sU~Wi9ZL_!i`H!Kn$*j8Qj~e>5Z7)ZlTLVh~fi?BBncA=-E2DQ3OBoPL2@) zhd#{QaH)Vf(Ykjhv1o5cqMe?wS^&ADidFnH_^N@&K7DUlFq9ImYm1Df8Zwp(+s&W7 zqt-k5^dSV-0|Zxa>3*eJMn*=8_Y+O^^*mhb@lfk=jFGXEI@Zu3pOxJ}jN*+2Tn`KQ z!QjOs6u}RZYgyOeLf^7@@_};225E6SHkoS3WX^5xOb;RMQupqgf}!_}VqIRF8HXV8 z^ywSR64SMd^>}5iu)?FqyAQ$mS`6a{gC9cdIx=(vqe%i%a9yn6^}LieSfr7%mKA!8 zBB;nd7+eSeWVG}X>@s&Dm#J%O577P7>yuM3AN$~|=uId$Y2p>aIpBCgC0aQzD<3>t z=%nx@!7TW)wNk-Crlryzcdfjh-gM8wSk05lrza_w^~lM~_P5rrJX)~= z|BI^C2zbuo%R?0g9ymMzQ3!a>N)Yf&)F9w7!@%Q#fro~Gr&0p}Pb5Mj@eI~#=xAQ z=SEc2Kjz{@<{`GIxj1Qjh?B-#%XXL|kGZ(JtQfAe@0T3iePM3%@Zl{|8pK#h*?nKa zC9yx@VFwF*%o4*P_z^_0UYB+&rw$@!Cmm5$YbTxuS__JcNgRhiLD9{JIFQ+b0-4*` znL6O8@vp!2sL`*X>V5c5!1!z>#&57gNn;9voP(Ov1PGekT~?mYX{zAc)sY zMlqu^Mx3?GJXp8zbeifQM4X8z_M}yAwy}nkYJV#)Pwm$$_bD zr##+6CJZ4?Y~&-A-icH?ZofIDUYeSghp}d(-Acw7u#>I}gRKh@`(5F5*;9I4hX_Mq zgTogBT(d{J#r1rY zwK(;m;QRtYn*7aOr#OW3>uw0oz>$7`7Po?KV2$31G+Jxwk9dKm)i2A;e_e0>PkH02 zDr+%U55diQq8ZOK19Ed~!Ze$no8@xYY!iZxllEkYcKgz@2xmg$t5yiXtBM3SI4$nMjkVeFiw4ifBPZJs#Jaub4%=HRI>U@@;?HG+;)0^~?HVn}bskbWION9^I#V@iO#7#&K9FEsNZapu?OncsPVu#8{7076-x28JMGIuEvIxfDGw+ z%;+Zth|#ZO=ol_bUKpf>qwr{>8Q848Wr@1F!57Zx>suY_O}il=7W&3 z>=_Bl{LGpa_LMY2h0aZNS|T6pQO&`nGqA3TWqM#M>H{s|kR=a=EIoS4DXhh4i>-yu zA;diz3uI(LbFn-xBYDom$gx01Ir(GA$-xy(FT23HF^Q<-?ARe#Jvna|SMUbXkgL&q zX0l)@`_&RsIs^>ryB>R?F3g`EQI7noIWY+=EBPzPv;ffJTQl&~ye)9Hvz zXCaAd_KsS)WVRJ4^b%5N)2)a%7RV?G&nrI%8wL2~_59X*^?|j}tG@`ouv!^}k0hbk za2N80Cp}UB=Oprl&Yn0_Ie>iOY>jfcFsbJh_Jv#w(Y44Ia*R>y#{m06u1hJT1Pixo z5pYx)Bj7OKhJ2w=1E+?`C^a0zU7uR)3%NK`xrlsWkH)C^Ahq7%6!wMln4xR2FXW7rc%_j2>|H03wcRV?-Qj$;cOuC85x;7W+aj%29Sm~Qrxy9bYn}lf zkmZ|^wjqR`#R$C%`@#j><~e|T;Zx(XB3KxuIJ^xZN0$adj*MjF3+HiWXn=ho7sn{c z$QRCg30{fmv!q?f7asRiF2$FP4_-tBJ(`3F`V{hopL(L^&ME8*xgF2DcBblhBDMJL^tc?g-f^1={HnN2T#(+OW%#&3tFIZOG6fQxn zdX@$5W?FUbgAmw#oW_T1XpK5yRj#fmA{5XBCOZi%DKkMg+sciNgqi@{Yr_j>pPLK^k;3tGz>zVkO-Rr z|GiljC6{f;*hfaeH`Sq_3kdkq2Qn6EH6+q8 z$%vz;Fh}c2Q1Bg@vtkS9G*R#^QbV&RdU*CE3isq0!SAlXCJnc(h2Q^~%{;tdf@|6U z)ifh`45s5VbFEpIAwZrI3$RK%AeB~_Adnu%?aJt6%pD1cI~aJR${LTJF!1P!HEzW- zf{P#hl z4{HP-QzmGpY6ef9=;6r|-QRi#zSL;;#~$*Txct4!^llubcix6tQ9!XxVfHc5Qh)uE zi|JJW?69l$FN?%<&maK`I-~zAz)_lB$^$V*uUE?s0ml8>sq8dJRfC zy6~)ti;g9%c#QrV5p^qdlTf#Em_7h!i0dW8jRY{B(QG2>eOjtO(8%Nn4 zA&GfAgg9<9PH!84jadQ>=>*vNXYv`*ys$}{nx&nDqKm+hS{U`jSFhujM2NULa=vF(1%8;DE|}% z{f#2GYGIbeQBhdMHvC?Hz2^-=@_vC<_>PLQzn(JHx@pHe<7=vQNA*y`9cz|8y+c)P zuPRHGX2<;5*Yr;`zItK`?VZhF{oL0ZyiK_4O*+y7xp9Bl8~&kDB3oNO9otr1Kd6-T zFaB3rp%1vw0sS>jF({0$rVe<>D>RnEmruZjpt)JdhVes=FzLFRayrnl zhSVsNND$bltB0K?UNA4;>qL+PmJc0PzEnZ1|`#T?fvfMc>2bfew&P4SMKHok@-hFapC(rQdl06EZhF9=w4SqznCF0iNKm2i%OGu8>YTodErQkGP4N zIcU|6HVk)g4zpo{PYn$_n5(7clEYx@n2L_16Z$Z-0^h;+d)Um$5)J2DFjm`mN>G%- zAxJ%|%FVwMoyo|icfl~CYjspG8G?E7k73EvgH+S|k-`4kVc)L4u(9DfsjuN|-|0A5 zB=YF;Kg9{7tmak!M~%$g!4saaOQMzXzY(zV_-2^L`gIO*`R`k0?Y_{=sSw5uRzHTM z(0XeOTn6rGcWIWVh*%NSJ@YUKaxcA0vl8-^E0jG>V~tXI*9iaTQmC8Gvjt)(yZkO% zFSPbUHFCYqLGRrsS6lx+OlKQA)cgQ@S9r0tnJ_W_+&R~48X7-(Rg~n+CaJGScA^;( z#Jzf)-|eSt+&HqRFzLd!=;{dHrJTOX)6{|Kf>bGg*%1cD$4}Qh4}{Ug9;)OAn6(|8 zeeAUaVsAY0Jor6KvXm@1vc3kFIXK&88D<5uwKwuKwUonJqx@bn43O)duHggWXWN8H zeo{_nF&=w0Lp06Ms|cQg338^uk#!A*mu@?BS;8VIN$=e}O~}7fGbZ@5qp)XH*6A9h zNu3~tOL$PS3r&x`M!}Vadp-~T0NwqnK}S{~boWKYU6!S=z1(v2f24w!ZLAMX+cMY z?A&i7L8ue1yG^%fC;5yDNlu?vv0BD>Z)uS*RvS9)!m9W-QWBo8cC>vY&tkxT+J%!3 zcQ{w5y>wRIv9FDM?h)MKldGnGAMWrrZYN)O1~1AIB?#BSi+1HtyHu6HBkYUS$b+MK z7U}JyEN}ar)BM@?%nrB0+-`^nb^Y1SUj~70C&c)`i+FSw3EqAN5BV{`U?%%1JOp<3 z94$Ks4~Y>atTupG$?C}$%onD#XnS^F?R%R52kSFC3N;Q-8l26v46DqFges3*zX4vi zzUgY;dlo#zKxLE_910J~Rmrprc?J)WF(U&y&wgGdlaUSRx_R(UQ{}oD7EbU^@|Fbh zZFnbLn>@k$FW^byXal;Q@?hRS({(dH`(;q2LY$zs79KKA$``av!@*2&!}{J`hj)r< z8ikUFCy9zPElaE6oyL16m_T?)Mo{LHarirw&pp*8wkcnC zxjSK!41c@!jOh-}^KT1~7OexREZ(%iL z-<#SY&>a`QGV*)aP4!1ktqTjbl?u-%9EA@3fIsX#s9YFCCEhBAS*Y_5lFz}gZFVM% z8-gTOS#4X*1nB7ky#Gl$z-Dq^mk|~m00qj4+eXV^elbQwUk${c)svAt?FQ3dmHvVku!5p# z+<||~2xPm5E%{jn<60`a$i9}aOsI%(n*sZ1U9;S#Z2>qm|1(|RUb)j-dh)3Z2&iKN z1VVjicIrCt2WT+oYEvrd0M5DXu!|f48y``)1Oc?`ts)L@bAvD)s+_L2RymWKkz6M}{oGKB5MyT}(|8yV_Dg3rv#!k}%Uc7U?EHu^}na%O86 zSpdx6-XjW*h2a+UP*@*0|Y5> zXi1@WS^k$O_6yF$q75+VJYYbcO%&7HCa7Xf7(Zn1-$q{I5E>p)#agh(ONHgOsQD10 z7F;`;AuEr({Q5VRl~2LCwqKV4kuD!woSsldi)u^ZMUMbd&L?rLVZ@e}h9IR(eTfXc z`GzzEDMjjgp*OThY2d9uimQ3ZYDe@j(nJr5$B3m@REj z!;s>dydI`^_to`J3|5J3uCoeAei zS4|p%lrr^{a~wh@3>dCJin|fDuwLq`NKZhJ;yUJWM1G~ws*iEWpH<^gtWIS?{PS{P_VmG-LyU88cO>V_*QWd+&MC>Nxk(+eFZqgRJ z$-UT3?!azxD|VBr*i9y4HyMxIq!V_Nw%ASX#cnblxyc~xCKIrm+=|?!ffsU6}w3ua+8JFO~xZP>4x2;Epn5t*iG6ZH_66s@{hkAH~GKgAYH&gW`KkAR#tQC zkm#<6CHCe2PzVj1l2(Ko<`^~n3OZmpa7AnKL+JWUmcq8MD+V$dX>&f(=H}!(Ct!ux z{d|-C=^|D~Ab$wPrp8oN>h%ZbjMNn2{!;N zvd@u`eN4y7+=`Xi`#~pM&u5RB*?~-YYorHzd&0&i_gg!-u%^0!?R|C@)-Ok&qv2BK zqhQ2u%pLYBT@WU(V?tNHq7`w5Ipz$%vre#{A=X^-3WEF^jvsc9$w-*}kT7>8Yr}yJ zsy{VpgXwg4KYrnL*orZ!wWImINa#Z0X9E8;pE&pbWhFOPO9zWxCKdOVhr^Y12OSxc zCGGYg+IfFP7inqZ%3a@(9>;xrPvWVV{@>ii5Bg^1A6Na~T?;)dTF_HWerPXNSS&lR z7aXe5iqy9Z7u6-jjKlUgX)Wh{xc>aaBI7~zQqaBA4Evs}zt1W%`t9`BP++-x7J;!0 z+0`R&{WU?r2@kXxTPpyT*;*!HFww^~*WDWq9V0&rFZpp;7hEHAIR~?Lj@Qd8qtlE>*C{h<&jtc`%fi-Yy_F&|x)au{Mhh6*)2hyKh3_N>Ay}WWsv0Yf)Bf z>>`#~PkCB#Q`u#lW&&M}0c%@E;++ zXm#s0Scw7c;6<3bx{)hkK}%Gy&_uHghWu^0MAq>f)~|Qnw|ig(8<9`UMFhA(t9-^^ z|Fje)Sr@#l&G_Sy2n%GcHxB4njIrWFa6Aj=+B@fMMsZ z3IE(lUnQ#I9#b@$@t3FuUbJJ}N_ pcUXH*|DGgHQLLEz&svu&7^ma+8aZk@Dj)gzvD3CipI-RO{{UNZ7$N`w literal 0 HcmV?d00001 diff --git a/langton/doc/pvb.png b/langton/doc/pvb.png new file mode 100644 index 0000000000000000000000000000000000000000..4df527707b251f480a7e7a481797c775b913cefc GIT binary patch literal 13982 zcmeHNdsI_bx=(AX?V!+EuF;~B*n(m!l1c>Rkzng1Wvs@jRY2t700~}%Si&pjg}N-Y zD5-#Gcuu9tRDpm|FcK0iR$h6ijD$c4??gx-A;G*K_XKLXdaZY6%{aZ&b@~3;=bXLQ zch3IpZ~wmE-us;1vm3eOcPoAe0)dud<*4jx9*fiw=4gv&P4GP`%;b&Q; zihe?&ES)qkEyQM^m5L=j=OdRDe%a&xWyEx?N8+|j);+(C8ymhTEv~q~w99XNvb4O* z+PC&Qtw%DyXItFIz4tb~_s-T!S3KTgfi9)K`O4_~?oo?V&=A^#{A2%WC%u1TU}KOD!DmCz+>p{O2*0zMnC^4#443A_B76(@q#XH7n2 zV}wi!qmYxOQZ#JE*=0u2T(i8+N-CKDn9=~pHY;+jC-%RGF;_)3WkP3Qugta}w(h88 z23zDpS^J9i)qbB{mU`1WF-wd6S`=g;h@JhNeD>)ajJ|CQHfuht;QqTQDXUCX5gEK(7V{7k7F#OmcZ97qD&#{m!c((C)0b zYu;Rf)xv2H5=0f<{oHK4t7hP)*U-7N&OBMz0uV@ZxT|B#aOaD?<-TN(_D6Ta5p_d_ zM-DK}x0G)H@3`|OcIrWkVIo~P)=)!jmHC4}gUqDI`b!7d;sy732MnC(rQN_;Rs z{_9coUg6lc+jH~eMIhkqrFwM6C?6`mXwvaE%oG6q9yktk*l+_yHk(hn$O`&0<5MIRxL&oFLK^Q0_l~-$zLjEl=LraO^wNQ2(GpFrk~=7g3V6!GT}Kb^$sk#} z4`x2D80)TKMCgnzvaQPp&V5HE`$bX_(>s?{7#fIAs`kq!VhsJn$p`CBUdEuiq&%kH zRD{`7vUp+pbzhi4Ot(_SbxH4HqKs3lvG0|gn(msmL6uglF#gN%(r)!=#vEhLFw`cSmYOHVe|A*3vvs=F+oa97{6(2Pgk{ zQ6d)HJSNbzQZjaeOAOkOhd0-Ga;CN#M37q>IM!=IX}!oJPOk27vB(elW$r^5HX5|)X{^FwY@>~fkfKF(?UmZo<+>|Lu;9XjPg5T}A&QLGFib}&cdTw=;PXU}N zIlt1H7U+-2+MLvc=u0+{-hUkgS`k$@JWjvS%R=v~?Y-&AsPsfkPcuo2Qboo4P^Mz1 zFt5(@P1-c}nrwSy9QmN$CznIsZk0h&Iu)Uqu}i!VS|*!v*x4*Zjj{W%ZAJcU1e7F+ zk-}UA9ufIn-sI4=Q`XPeEUk1G zk>xR?SLsuHKB=-gfP$0g;zEibEZGI0<_+!lZkMJGb{S4mqtCf5T`on2m{IE5$3kgG zi1{(`zxwi7GZo~`SiC8UX&Pxn+hUW+gUuIYzKd%4o;D3n)bPZB?^2QQIyr>*H{ZzA znZuMYhA6!??7C$aRA7+T3ZC|1U=7CYOx53*@ruj%yP^K0orE0`tf9;Jq5MUfag%c} z?1M9O-g_{i6c%O<1xo_TaS|g8ucNZoW)f!@qQJ)Ymz(t_oM>1e+iSBl;%w~t>HuAi zW^V{yyOfi0Bsp3u(aCl(y*auhh~VU+qJ$B-q)ca?A;3)M2HJQ7B{V4misUxNj$7@O!P6nJ2x8SjT2Qx{i}c*Y-EFZi%tbpmF7Jb)l0 z0qM+L#TzPf8U12CoquwtcUuyNvV8|(s_m>xP1{btvhvd&5y$rXH79y!O7wfcC?E1f zr{)V>hSbQpwVoi$k1rI_+-alO1}^@DR{r?NcE^Gi#l3Q znBo;#kT8a+R?JTD%V`wT=x`PkhRhh9>T5_i(tkLDxz07lre+zrWz4CG62_S7pwwAh zQIaAqPhVbI;oF)Or4&zb+BZZBrQd6WXs@`4bjkLB@$&J5jp-zB;@wc!_;=;dz>r+X zt&KWJ@cut%1xG4xZO|dEd*-+(+enS#idIyh`?c1B>8Et=8rf8*%%+TyN}{NksVCnk zMD?D?a&z*1VN9toMSNaPXZh)rh%iJSBcQmW&_y0m|=% zO3IfXyb(B{&+Ws>zbjF99mUo@ z8KgNyGHJBw*9ttsCdCD7`ZA>Ir}A=RaWV{9F>Si>))pW&1jN^k79I&FZwhLJw5_XL zbzAAg#Hf}s^@;+GkWM5!_p9rV5QdSd@l%8RRR?B179LLm3wz{ryb+aBzVObLS%`+RA z@goxASkWZP!a7?SnbIcXu-~T}Td^H@Pbg16yiasgYV;zgo3iUqpO46=Df*f{7v*_% z6feDC(W+W!go7B0Tc1wAMII=g-qRcQL0Q-o*D)4;E{7N0d)bCq&?S zjb4#6H5_srTcx_q8Y-g;MAtlh{K%jBv88VK$*U%HSPb5a0Y|I^fr#`bw359FY?<6y zi?}|0rfL|ezUQ*t)^;COZq(&ScQB=WCq7EW`FepurIByZDZwkh~ z8n}g^a*1-MywQhHlJ6oYnY5cUib`$G<7f_4G0T{SObRS_?Lbj`1tF?Pa75r9S+M4$ zCtI}n_82|&@zbg?H=8+RbP+~3T9Qc&aKTc7F~KA6tXS1wB(Q0*2~#x}64VPq3JaDA z;%#vQ+9{XSsAz?lPvuv81YA+-t$c<{bl~m_wm#I=tVpfoPOfPQ?*U1Z_) zX+#71w3L3BP-$mw-K}OMMsqqjNOOEi)o3`j)6%pf6j7gy)C$0wpsy$oX4PG55io7G z-I!sSM>(eYRmM?DI|Q!MGbsJ{bP4L^l8Pllb1Gu`GUoJ>0plZ>pR5H!B-h%;Vmfy< zk=6s6%InOo^%rD-@=6%*sSoibC#Dplj`W>_LN;fK{fVyv3bcIWJ_->64Ohon)%<1( z*8K6ph}%Ql>dm)3o0{2g0zz_&zcS=vlMB3jXIKsQ_4P#wE%&zN$IH2&q``8AM9Bc^A(kMq8>7;c?A_#c%I=ts&aC*OnJdMaslG|J$Cbx4>Uji46-x39Nl zecf*x8%G>rzK*}~z-4a4Kd880bqw*rCq5$0x$#5!-<4Ar=g>ak_+No33@6~X>+Au7 z2Equ4C1=G$u04$SF9hzqR`oltS&)7qX#b<*#(~XG3tJD@pVqxq)8Ccb=bM%of9zuX zRhfIsp|xGgv*U{i>{zPz3uo3Z0T*!@KAU3!n0{JC|HiO!eD1=~9Zr@xngZ6{#H+Fe zEgl7M$jhLl+2uX}(mW--h|A|GX`YhiDd~R-mw8HhPA)p=`kA7fS4oaE{~R_BB`~j& zUW|#gn#dZ?i3N6g&0Fm>6ML8F`Oa)pE5h!$Zne}s z*8ZM54Eub_R^B!&UT$}M)XQG2ih7K!d+S4>0_)Fy-~#v~Vhug9bq}caOBa>>&<(JE z+YZ@pLXzoill>d7rt$En9yW$F?s@mE&7a3^=XhJ(O+|{`5Jy+oG0d}%J79l%Mr?uh5ddt@vve?FA6>wwEQS0tPBa&3x<<&{+EW!OFsY9F!h}QabYGZm$UTYYi@~zcZouB4o3U>RZ4o6~AX7`QQM;kvb$7C`J|acflKh z;vA!OA>kfS0JT7)q}~?Kx><+Wzt#Xddh@SD$#YKlacIc^`N!i4Pq?yWQ8)Ks4wco- z73WZ^eTAjX)5Yof6Yz|lzY{G#h14#B{xyIN0sD8y{ByneXC}^zo#44#Q=gq90n>jg zBkAuH)8wji!eW|9b?&CLnBgDIaE_^Kb^d$N;s~i~;9%>{96|h>XyC=YdAWo{rQs>2 z-_K!FF~f3!gu`%d2=xIN4uZJeeGsR;pVU3%r0qHM%iQu)v^WUJcXDWH_^iX1%#6Pl zB+rOmwh^YphRlufU_rTVXh9OXwgnlTgq~_ab{8k{C0V>c;$3ji3%JD*Ee-;zzXB)P z|2P8d9Ah)~eq8@$~cMGULnTl4ldg5hc$caVVsDaq}D`j(D9HH!sxD z^Ww%4CC`b*d2#a`Bo0=a7dJ0l#m? zxkn5eG&I9u^wd`S+O*25w-KIcqBz@S4&ncsn3lEL%=#R|7}PfI7=eqe9IHtwfhi3m j5VCEuaSl1+y#dhqJ>N!q$y0RpC!yPSZ>#+%_QZb!?9|S! literal 0 HcmV?d00001