From cf333f335c916b820cec7135ad26a55a5982057f Mon Sep 17 00:00:00 2001 From: Tony Garnock-Jones Date: Wed, 15 Feb 2012 10:32:03 -0500 Subject: [PATCH] Prepare for split --- experiments/EDLS.png | Bin 0 -> 48154 bytes edls.rkt => experiments/edls.rkt | 0 experiments/quadratic-choice-evt-fold.rkt | 25 ++++++ experiments/sfclient.rkt | 42 ++++++++++ experiments/sfclient2.rkt | 14 ++++ experiments/sfclient3.rkt | 24 ++++++ experiments/sfserver.rkt | 25 ++++++ experiments/sfserver2.rkt | 29 +++++++ functional-queue.rkt | 75 ------------------ matrix/TODO | 31 ++++++++ dump-bytes.rkt => matrix/dump-bytes.rkt | 0 indenting.el => matrix/indenting.el | 0 .../os-big-bang-example.rkt | 0 .../os-big-bang-testing.rkt | 0 os-big-bang.rkt => matrix/os-big-bang.rkt | 0 os-example.rkt => matrix/os-example.rkt | 0 os-timer.rkt => matrix/os-timer.rkt | 0 .../os-udp-test-big-bang.rkt | 0 .../os-udp-test-userland.rkt | 0 os-udp.rkt => matrix/os-udp.rkt | 0 .../os-userland-example.rkt | 0 .../os-userland-stdlib.rkt | 0 os-userland.rkt => matrix/os-userland.rkt | 0 os.hs => matrix/os.hs | 0 os.rkt => matrix/os.rkt | 0 universe.rkt => matrix/universe.rkt | 0 26 files changed, 190 insertions(+), 75 deletions(-) create mode 100644 experiments/EDLS.png rename edls.rkt => experiments/edls.rkt (100%) create mode 100644 experiments/quadratic-choice-evt-fold.rkt create mode 100644 experiments/sfclient.rkt create mode 100644 experiments/sfclient2.rkt create mode 100644 experiments/sfclient3.rkt create mode 100644 experiments/sfserver.rkt create mode 100644 experiments/sfserver2.rkt delete mode 100644 functional-queue.rkt create mode 100644 matrix/TODO rename dump-bytes.rkt => matrix/dump-bytes.rkt (100%) rename indenting.el => matrix/indenting.el (100%) rename os-big-bang-example.rkt => matrix/os-big-bang-example.rkt (100%) rename os-big-bang-testing.rkt => matrix/os-big-bang-testing.rkt (100%) rename os-big-bang.rkt => matrix/os-big-bang.rkt (100%) rename os-example.rkt => matrix/os-example.rkt (100%) rename os-timer.rkt => matrix/os-timer.rkt (100%) rename os-udp-test-big-bang.rkt => matrix/os-udp-test-big-bang.rkt (100%) rename os-udp-test-userland.rkt => matrix/os-udp-test-userland.rkt (100%) rename os-udp.rkt => matrix/os-udp.rkt (100%) rename os-userland-example.rkt => matrix/os-userland-example.rkt (100%) rename os-userland-stdlib.rkt => matrix/os-userland-stdlib.rkt (100%) rename os-userland.rkt => matrix/os-userland.rkt (100%) rename os.hs => matrix/os.hs (100%) rename os.rkt => matrix/os.rkt (100%) rename universe.rkt => matrix/universe.rkt (100%) diff --git a/experiments/EDLS.png b/experiments/EDLS.png new file mode 100644 index 0000000000000000000000000000000000000000..e9601e2c336da4e013084d9a16143c5f40155635 GIT binary patch literal 48154 zcmcG$2RzmP`#yfiN>(~nBubKOk(mgQ6**>R_LjX%C}f0=$SAUom7TpwCwpa+kd=@f ze)p;O=kr~^-~a!6{2z~h>2#d&TF>Y6zOVbbuKN{wSM@eI=~+?)0zs~*Agh5u;OoM_ zDH0-hMdS2vApD2tqH$XWQP9P-2)_`SD&3Yv9OM4Jsm+RoS57)9=(->fr_SL1;UN-} z=;1|TS49;$;xRH3B>uIU7G_a+iNRG)$Mu$@y}h}EE8^Bea}!r{GZqhPS1Xp=iYj-t zA5+jF5G)8qS!qqr(Us%?C&szt@io2;y1BYC9oypvh@*3SqE?)x7 zh}@rclsesirOLy}Q4_q1#^Ddu82G-J4!13!5JV5|oJu zq^aOXR=6q|Ap8Vz;T~B?sEhyn%A)Y`!hd~|ZH5-x5)l!}KCaKtCr9w{^W#;F z8EgeRZLjE#yL3w;9+?S*>O0oDsm?H9KZU(^tYf%7%TX< zA6QwD+`4tk%E2K7JJ;0Ha~EZ?|E(id#B1Z-k&mk@GM?9{Z4Mi+(rp>8rMfc}AoZjE z*#B^+r-#b_XfyS}>S)=tNI}}CcLU}(ac2>JPMcL+m#LjKS#@@IeRjXZRV-qE-<#=% zFa7K5js;c9;b|m@X)k8P&!A)zxY zq|>i(2u|amNheQQ6Tn@?XL?!FDO@2YELZ`N$Xm9yS0$J!_4M`KxT9ZOPVvNF9?EaN zecms~ZFy*><8mqi;@7WV(^AKqQh2^)JCnwM7P#Og z@w4HCLWahNnGnXGyvG~7Rn@US@r=#P2%;o5p7BU~kE^MOzslYeK zv;?dt8h$-DA7Kg@6}+gI)b@*h>I%}IHK1)FhHYeCDdrs+;@*wT7s(D6^>mJZsU4eb zI4Z}dafn)TT8fUod>mU${y#6o)XNlPH!=s z^dZu0)Qy|nQc*8noJJUNH|Ah4lnt}9v!W&p!OwiVpZ}DgR7ajBBf|4F7i)@?F`;>a z=6xWl5Tn^g`QCfW2K(VTTWp6HZ@VeBJU920ii%3Kxo$w_$$8w`E26)W-O;D|(VVhe zp8Od*2b^NcLgS`{X%Rgs(|y;Lh6coa9y+9)G#BkHF50U(END+=R(iH?-6 zm?qUoIv@$!ZA~k{Z`+&;aHDLLV!5zl zq(-M~2QjEuuU_4}@Z!U&E3K%Qh2_q=w6yd|FH*bUei7G+EOT)_ zzDFG$iofTt*Gr2fx52T7toiR$vsvLTUN}0iO##jqw|>9AJ(c$N>A&M3Yxtk|`0qgZ z?aWsoN8uw96BBy|2F#WnJw53?ru?qY4V&zqO-@eM>>vru z7QLUK%zmr&CKch?Ff3t+$+Ua*>F`#&L!s-}XMZjB#~CqFhZ4xVr5bm*j{g{exT%i( zSWJdChsl8w4rH+jN$fQvCnI~4p5FXxr6u&tE`(t`1O%Cj4)urb6RQI`_jXrGx)BI_ zd;9Vk3JMB*ghS;V?KNRxH1}Z|2LvC?3z{%CMHs+m^6BtsWo_ND9(yOFXL9m}qqUgF z52mhU@%Ul2x~k+t@|PFui@Bc6im=5hVt+Qx@Cn;}c{JM|rL9u^e#ztcp?uMl@r^g7 zD2jnKUVH%|NI(hUbi8_1MO?2>6R<8+rg0?PWSJKEo%;LR<;@sMIduV9^CmuJc`5?z z{yRS@#h7^^6@g0QKW3r0hNIqJs8v&05b?IkSMG3E>y%=`yYl_PIG@k=~w+4 zHW_87E+0}z->p~EEQ@xVZonf6yz4~uiMCi){d2v!{yAc$d||S4kkE?U$5TcH^EyR`#BXo@kF-I`p;f-)~r7 zcUD$a72`a$n!K_brWkvsbjR|wNc! z+SChkQA;AuunXI3QLRWJCL3Ekzu&I+172|b> zfrAj5t6Fa=D;e4&&%GWzc=F^43DJ|teqo3VE(=|YCi>jcmS@O_w){7j26N%9-S6p9 zOj#XQ(l|`JQzU=x`C3_7^#sdiITJjQzF+H21N(sVO9E$Fc)+pE)v_(L-V0x4qF6r0?+Fl>MhylAw02qPqTNbe&4sYM18@b5Al5>j zp4Z%d*~gRj$?^HHj7W*zu)b{ihpqcY0_YVDKFPxS*{M8@Xr{h1tT59_IOsr)y<7H zL0PPPO>@al0)sI%HNB8Ufx%!-9qUOV3GiAITVLDyM>IW|Allb6Ha2D{oE8-j2n-E9 z8B2R>`Sr@rgG0~7jQB9`DVx;$Z%grRYHPTFCg%hL!~ta z@+Ve+ot+)x>A7|jbA{{r4M|GBgPT%2JuWMJ#8gS2M!;0FSG#U~Hp7m4_{$f1`Vf9{ z9XKc(n>)wJhmp>Ai94#r@p2p&J@)nWxe!5;C>;2g(wJ%a&@Uis%|wN&0; zEe$A2+MDxYW)!yL_}<;cuFcIi+_^C~ZddQS_mCqDUrzlEhEv#nH0Tr^kEU#8Xxg)! zoGS`31nS7}#H0fK3W`9Mn@G7@Nn|yC46py?nSR#LRuvR4-K1;3O5|Z=RMeP5&7jzp znSix7b9n2oe*Lq>T(5~9uXyBH+&OXL1me-bk7~6k*VMvZYo!;m=6#cs1*vG4%KLK3 ziHuB4T)PWqigK?}`X|{!Wt-exHtj~E`+vh$XJ@0N%E_||3)R%BX_(q)*4xh)?z)?x zEY6)f=T)z-t*sqdJ$PM!^nKfg(|#RIa32w(ux=mYQ2b10Ew0!&a&cCUhN5yt1?`@)Pqt%la+Y#YK z$C{*9htfDMoQ-IjUH`_l{I1^`a?#j5#s+-m3SlauQ4+$@;rIeE2R!0Jcd~I>G z=z13B9}JzBQ1zdcl$V}<;<9Q|PX#HWM~E51MRQvOW0Bv1`^uN1=4-~5YQG_saUlE3 z;$Yd9_yw4m$wn!S)fqn@Qyk6A%2Ekb^6>DGX2sHHVla1+gg)CVc#i_D1su4#X$`Lh ztkoUx{HWbABnf=8wr~$gn4?Jw`;Pqj{rmR@!ET8Y@z{*^Mm{q4waNTbL8G#I*Z_BW z_jTL3Xx=}u_E1hnNMGX|BjeRi7&jpnMUDB|oym)Wm9n~d&G9AV5fKsQaGdI!t7%M! zU8W@uZx{tN&m=LP{<`j&3HwQF%JNU;s?%nJ4?0y(h=x$-Ciop})0C0jp;ATDmg#zL zceHAhzin%i&oihlpC6Os-WD(W1i1O(HrM{4e}CxO9g@`j!_kZ-?z(nU{@cO^7<0by zI=_P&-T2G2#G|awmDwM7NowYd-sODBiA_nmV@H><;(?TF45PXF^KdQTykpHe5$X$d z-{4@dF`pInGdcBA37QXgXYSP-jeQVkO<63sOGHHUsjsn{PVZuw*cExI@G^3gcXjr* zzh%+S1*u~OBj0sG#B>{@W8SNuIa8Neb8TKFBs2;QYZjXR!1C6&0EEnzrydBwWE*Ju z)Ze;$$o?-dmo0|YI87zH&LrtQ@TX;Cc~ae8Lv zw)00niIpl^ds0I89$(WXP$vL*{Pr%1Lxuizv0RQYhpa3#_ipul9zL=Y6=TW6HtsGi zf~u)ER9%iyGb_1Pl%5&Yn65;CnuF{ZEaQNM!polt5Dck(uWjrKQR+XSp4zB z5V`gCmA_TNoX+a%8|r0g_p_H2Kk<>p!dqPmF{M`fLTR73PuiLr*F)OPul@tB-Y`al zx6d+2QwbdGtQl#Zuht~mP4We#WmE8*J|u_Z$%}>V)NbFOjl`Ry1@s{RK#j$}!-MF} z&f9(*9$ufz&vT+gwS2_0OZ^|4kBsA;{-_XRwr5~dW^_^E^=?nxH4LHRZvV!uY99tgMg*EIPWOSZ((L; zhOC({0Sf<#!k0v!3To~cL=H|;eCp-3+LAkP(J(6Y)$xn>-ODZWk6>ZVbt2lh<}OXO zAsn`l;!}{enVB<(Jyfj}o1HrR;ZfFq_tEn-4k72QP+|RwgXBU3#hAF01o#YSbMC@3 zMTtEk`IKR4uL!8QRbtrYT2MdyTXw~nqn7K1$m9C`vj_eRMcko`yB|N={_Q?B2?3W- zaH9L^N9OcpLxrc=%;wCGj}FWA@&NWOoeMmdrIy;|g$pa6iypK;OtB@mg^cHd`#ty+ z9ZU>%mzkzursFeb&Qu*hy&{hNS)6Kq{k~$104!xVD8aRw&B%^U`i0%y59uB&Xy%oT z*U9o%1N3yixQRWbJYR5yH8=XMl+kmD3T%pf$9Z*G+bVf=QR>yUm*N&|we=XF8k{G= z=fch#eC5F}(&KV~#+^2?W3`D3|-bz#5}c#Tztteb^mFo2~1J$>-r;-oky z_O2SzTS^M^v$SVATtoo>LPCh(IUul^udU%!a_T$h!&_Z9t-ziqU5nXHtuiR@bJNDZJsp#TqvL<&}tQ&4jX{97n{@!K*MZ83tCf&d zCunyTwO(9W3QXhpQstIAyTPd~iq196>|gW>%|#vta)fwu{7bWJwrnli|+HE84j(SSv66?EF}BRHuY0cU0tew;FFp< z@~4F3((a+Z6mS`79B30C31;jqH<110|b?|L+e+d2ipcu8Ftp zI#jQgr)``wtf~@2-1PISHD_KGtF#F+p?{~5BlmPCb&G|w`&v0jbT`jETyzLz5pmE?9+OwH$$P$zmD|5g|9y5d>D*LD z?B%T~pe2AcDyQMIJ^7~uTwqe&ZZPCo3G#Vh(B~w^z^}>!>>ZmTe!DXan~Xq0Qmj4O z)%?e49PDph?d-^aW8_itLOg=vn2q{_>!L=a{zu}M0PunSPt zuuwI8{7CYnYMCbn3FK_CZmqYFg@pyzL^0z73Fhl3&jA!Y+~3NalDAh8OBN>A03ZRU z#D3iN`05LVSJzbkLe*4f-JC@lx!&2Nq@)2ytKk%y%}6dROupugIqbQ);cVyLrhbdU zVWWUr9xl&XLxZbYSb34M-wt2izkO4$$r+4BqrX zM_gWBo(WDdzaLI<1Gu0@$naUVog3B`d1x(6LS5aBdn0De&P>b!zt?L_V5!soE*U$e zVbhtkZj`lpC%v}zTp-IEc;tycwYs`WIF&QB4`D@5Pj7n58`!C#By;xaKdbynW21C? z;OzY|>73=qL+2|>ON}9vuf_cS`0?4Qz?&j_U}aJkoPUg0Caw*W^qGxNlM&eu&H;eD z#YWw+NV2rN>|((mmiDH;-YAtu?!xKVc|~<(X?b~~g{t1Ive6U3C}`J+$;iqgPESv-8Ui{e z?|vmUT+#j=8X()COjC$?HymnE?LISNnL0Rz!#U)6vF_$Lwsy`Gc-xL4xD~GUpl`i=T!PJwv!cSn!dGXX%*m=Fu@5H0BV=x8 zhqewDBn>NyYwn&w_8y<^SL!$9Y~!R*fQ8n2SM zP|NE5H1)218Ay9vC|%p|^5)uWb0l((p4m zUbD{6pQjUT3*PcpHTdq$#p@KCourYC;2U-?`?B=Jz>9nPC}(sTZ_BnNjjou)^ah;4 zko~Gz|Hz1Lzn7HvFDq#&rFfp!OqJI*0#h({RyH=D^soP@JNOY3XP-ZODGCN?qgz8qckt`8qT^!&eXobMuYl%;j8MTzcJDUMR32 zNpUQLIff&w4lil@;b~d7dxEr6$v?ax9LCJrvU3v7(%fumit&q2w-ALX=O@jxoxJAW zTFj-1a??D&P%@b!?$Oof^zMbJoixK{{>V_6e0n+h^SvC+-VoU`ab#@AJM&jFPG8KT za{CVOs&9BYIXP)f8P{bG{6cwG_KGY->%G6lN+L54;34vNF_(U^=h*1zyiinFT6FIV z!Zyqi0tZm7OR|!Zqylbi0_*)*zdBLn2J9ODeQDG?jyvkxn7sWnAts=5e3>_(BA6(M zzX!+{IYy{$BXu{M66B409nC5knT37Wh_=cm%|lh?)q!>(iOzL0tri4+yv_MC5IgtD z>*#AZZ|JDQBW{+&=9QUT1{%=dp<(;6J7HX znp9Ny%nLMJecwltX1;y5tD}zu&;MSrl)CCo8SS2RUt61wO)-#75#1!sziLykrG-KP zEVE4UBI=gdBxClR#*^6mEC@=SnfhGLgs7#PNAjS@)l4Z9U0NuKn4>OVRsr_FdH3w7 zUvOCuWn6Iqm27^53##_=a>L^jk!8fA-j3VPC0_#&@ttLyY8WlE#q-TLBz@Wp6YZZ8 zduzd6a2P&-c+|as^(v4o*%TBN4W*R&O?7?T>B(Z(x>d z;H`VstdzTUrAkGCU^vBwFdLT4KO!S1*B#2R!)p?mrnAuoR%}PdV)M!Q--w-Y7d7=Q zEp?=RqdW>#b9{6lYBD-^V)ssNoS#(k8SZ;^z9n3zB4>NX#&9g~e%lKLGcBL>q{+9I zs432j^G+Jt#cMi30%BreQb+4iKnVhLlI%*63|EsnL?WCZ$uEt5Uh(f+GC;`HrtrU{W^<+Jys^{GcT9x0D(JS~%nL@Ij7^s9e%8Ddi#7AeI^nuu5-~126 zHlyAE(A((D1j(X%p?P|mWzu_@`yPFf4jG_jNl8icVp2*9yR{`A$2;}j(#xaP&Ax6$ zJyS0(-rfjV-&;t%g+lqwmcD?D_ItNos_hn~BmvA>_!ZR3FE)+_JajdNh1RofZ{0JJ zy-W5>&V;Ni<#U925dxbYu6ASZ9S8Xf_mPJ=2WO_S&~oK-T8YITv7rbc=NI*s^&3fbA-@>E6bisNkyIsx0TrCi{vB3&xPC zwcD1KmR%_cEB)4~e%lE-8$*MGc#krIDBon`J>|%!4L70JSNT3Lfb>k^&DJf``}E0T zq}bf6^@IP9e|Z5W);`Qqj61iVL;H}Gb;w>j8*Gs*cc$(6nFuElyK1Q-%~c!LC2nl7 zmyoPhB2m_!g)VKB)RBk|T26#X9>~msIUd?Sq%UWkgk?W5B^lXGw7K7vG02xxB(Df? zfab%5L+#3M|A0uo^h&Q$0C)YxgXll%uw&&k+6R8cwXtPwht4jl?YEV^ zvQmG)np8ydQ%XAJd;EHzUB&WG9R{-KB<{TrvotntcxO#XfKLVdtDbYQ(yg~Yll?37 z7#D2Xf^OaDnA$DGU__T@?s5dJj#Vtzm-$_F7qm}V=p7$_Za-E&5@LelH{glSkp@~g z_Oe>yZ#R&qtElz5?cfJBKw!Nyl2)u zSrn;3f`_;k)A23OPIqoh)@T)&Y$Q_Rw!A!;7)&q$duSS{pbWhiGtwr@Y)=ID4G#`x zFeZ}|;74B51;#?u`loj-Jp;oPjDZ;N(lTgs&>a&Jk*RX`fAy|G`s#G|Is^+umV(KQc}yOmsg>*1U*vuY~c!@CQ2y(itUpSTC{L@ z?a}_S%8B>G%Y$X6X3yRW^l;TIjM>g@dBf*H%)4>?dlS>~dWeGdQ(OFC=Hf~zQt!s# z=(ac&^T*IVA9CW#!=@zRL)oQCH_S zXhxt^RlTpb?q@eR&^>wQ$$xOn&kO&9WBw*spl^3JDX5;FQc-g&CGWLERnD7I$=8n` zz&se3u}w}YFRyW&x&bol!e@=*vIn^JeuW9)tqzqTx zW7f8}-4D&)KvwmUaq{(LIv?=6DBs7(C^g6N{XV;VzBi;jE%Tw?UiJ4B9&T=PyB&si zt^*NW?6l!+sGKDY zHu~(5oAGD$0}K5y{8RUDF?GQpoBDK)%073II3VA}M%fyz)$JY^?XF4=^R0cF$v9NwH!V75O4( z-#bi*>F;Q)xGgO%HbSX#gT$HX>C3Cyrc-r((;}+FOHNE#`d5h`0kU4qdbhFKQEaO{ z>H|Q&T=4sHK{Z8T%|_U)Hx`gJcj8}Uo#3H$Eync8HjGes zMh0;`c!j~ps3U>iY*$ZQVW&*2hlxP9GwD-kEun#9y6;Q{pg2+@BPnoTg8g+AS+g-9 zohrU;722}j`WgK^_DO#<-)hCpp7R zi{BOKs>ZW*^aUQ=2Um#qeao(-E4Fp*ZEXVL?km}g{%@H4e*T*P-$q8YE4jNU<}?+S z!GOn~Vq|2Taj#w&M0}GecATm!=9;6D6&*vp^#(!*{1_ompYlsc;3@!PP~~B9T`CjB zNriVg2;|foobPv~`nZK@4W4{Etl0Wo(n-dl8@?Js|Xf%?&MA#u{4#di2_pYe!$_DTyinDoYqYG~4#|;Ue9qQG?r{?+Hj8tdwjf@~n=&vibIVZ*zC*_;3oNA_cy) z$xx4cvlg5FxeTRvJ90c8gDTgd9pRV2DbP*0ofv#(VfCK6?xj1WrO=ei$d@m$upZ;& z!zM$pW+Wyg4F|F-A?1A6e5RTKf7=UDjf~h?TleMtEa0qg191Q z8~Bt}NEXWC=-?P5FjAyx=MGBGyf@PwDm=$0Fr_4>3f8cpc{kNgKQCuuI0>Y2 z`}{dbg8&~(RrE_<33a5pwl*=MO1L2mQbv%CMMT=kqdyd*v=rzn7!3NbOH~~Sd|$?} z2iko7SHIfq&zWXW#c*{pY>$n)SB=^E}Yp=ZXXj>^*|pfU(C`DF>pNqhVG zfcx+3#NDo!p$M?4Mn#?eNlG z)2tV>VWIYLNUyQX=a6=0AF?RPZF*os5G*@w`#8qT%$c9;3CxB5AY;f2m%97GnFu_W zsy$3&@L2>yM!r($BaqOtKHKh+vNl$scK(%_uDp^`_}szX_%#?QICPz#$#(gS?at*U zHcDZ#tNbD&Iv>=qEmuj*c#C00fOSf1$$_QZePv2n4MtV?^@|-~Rsouc@#!ozdQ67f>+|4-XM_eQ`is zUAuM-N#^*MYZ|ydv$MTDI&a&VD5NQPHO@)oIb_bU{@`H)k8_4zb2MW+o2#t%Im+!u z0 zoj(>oZ)Z=2hd_2EJM>f<9(WLp8;Qdz-&oIHHvi6CywQA_p&Bl-z}|6>;6qEnnZjns(oq3d|9ZkS%l0_qj{cD*U3e;h z|HmkUrde1RlwK8HaCJ=nGbB$4h}otnM**Up=r*LlMzxxy}t zFmtkUVf7{rvL`Bc2JWeK=0?x81lGL7(|q9bg6$-*&4BoFG(T;$1p-S9fUSKIj85Rj zO;FYgp`&+UmC2e=_ygut;!#~Po^iJ}M z$VMZda;8Rg{2hDB;C+73HD8XKYuoH|){bWv7TRMbRnZpv##>8+<$_Bqwhj=o+`&a` zMPQw>aGEsON?!fRJB=%dk2$kBnw$$?zx%GXE^h?_<&v(B^-Sx{HurQFTmmDQh7X5{ zlswhIu=eGD(uAXa0tWNbQzHE67BM~^Bmf*2ueppBxf>Z7*=3sqbw48dUOW7m+44SD zK?e#0X)qMS(F$zJ+oRN>vg-Bj#En$mh065=RO@g`#J}>8qX5{% z9D!&-Yo{PzYXR~6?c-@1&r3JQzB#Y~vx-77i8vWg_Qy;R$*PwQh|SsZa$y5!MR49w z>d;p~c?xV_b-+J*X&N>9yk2AU)?0sNv^gKygXJ6l56lPd$VyjI^Ck)J4jk?moKcZAXV8#kxA0Wk4&F2f2B(G!3~Wgu$}S!iHy4FXDek&Y zJ>TE|lmQ?Oz}!YvE(YU)pT;4Blmh`A=XuQR>?r2CNKe)Tk$JlDNhaTaxW}4@C#(Mo zjb>-R^BC4ZZRu7|Df#Pem+_bWet;SLfP0`UoeMhHUoKp5wJK4(icnTlyBEQWH`*bh z7}LN5BLf8c$DE!j~mq;^=`JUa&Qf-981FC{b?zHW2K`Rg#!VcrvJ11crZ-P+(qB?rV z0D)ekq@cJ!PbQ{11=e3+Lb9H&ep@PmEr5k~`Oun=z6Fwkren|nV$UW_sZVY!NEj6Q^2haq4g{GZF{OiA3qA_deW;1Nw7{9^DdC_yOj?GU>=aM80`R`qhd(x< z_bb%7bnnV)<5D%0-@sSgJC5O2-uY`#n`&R%S+LR(x(@qMU`yLkSDhsM>~mNgob9{F zNKfAYFwwO_=JLI=Usislz`%ep8<>h!5tUXeeyFduLW5t@@*CAb!96(-6*GY}$C6&I z@A|^2sm1H*b#=wr)(_rkDP0+L$>(=rB8GB^p%H2!W&i5x>fVWo7~{vB4uIbVWq1SSlBMZfLF9Hx zvI(5DyQcO(Ol-9F-JDZI-c1ZZQV`b9fRqPjGv(3ezSuCR*}*=op}sb{+IlsvuAqQt z;=Mf!6-Rc*Sq6rV(5dAuQ!}#`=ftr8!Z}1Xf6`gA;}Nb1monOI^>+*m$}5gl&2kaL z&$Wa&?M@GJ?DE#q=%rcXGg0j-P0<)kW+Mu$(<&;9X9-oXaruKEhs4aE+6q0Qd99UJ z14z&68mTnZ&t;=y@5yZ$j zggccr`p;l4+)_s#;{Q~6ExhQHPkZ(cZX<-gh%i(2*gjBdAfG);%idWHzSh#(V#M+L zp}%07gyz=68I|i3noi}>+|gFurI!*`bU(tZM@)kt(Jw@(%IU^|Y>HL8Vco|;PaF*{ zmrd33^VJOL6VG$Ll-el8%UaKPF?X0zOLWhI=?S~+;pFswI<@~2Rqp-+)IxGO-E{7p znlu$ylPTh{FFg`0|Dg^t^np4^k-rK$hqd))Fp8q$jt!;OR0il<#*(1zep-*Mt#9XG zW5kYkRPS-b)oB~~p{}25+VpMo@8YbHy`VlIaGyUmZRMAU?$Yr7xTgd~%EGxQ^46AA z-ruHmpjyA{;5><=5ZsaBtv|QN9AWMmR>WrH1n8nc-o&BoBL72gAmhMtw!CJ;i1hd| z9twtZPz6z_Eg{!*T4^6%P)Dglzh9OveH=ggp$2jELR%9M|EvrrFk7;1Jw zL4>IsDFMa4NMtj#+9d28YUm`R%}3r@_myTs)&Yz5eoFRAQcDs;sG|w16w+wCt%VI{xv3Uy3=J! zIb%u>9;9cGR|He!j*gz#dNA0G^S-HW;=FH)Yrzz$kebq#3I{`5O(X5zb6J?_wr#JD zontt`X7gI3JYJI%RV*o(L6&=V?ADd~a4?4#nG)84E(pc<RSJzbfKY@k<&#Vbn{j-`o?hkZ%jS@ZRrcLBH|IFV@=To z+|k3*7x-Jihtyfo8u{;CLUZZL5K7DT`rSGD~7+(A_We=zG{-l<8G;ArawH%S6IWt6ROE#!QD3w$PnPi(Ta5g&ljLYz=rTxT3Y&TR}tDF z938Vl6scMQ@1F4i>wb%Y$HdD`UubBtvbAkK+?k3hFBk4N$|h}oaj+jfHM|%slS`B>!3s%=K$F_3U&XytTfCNzZ_z>D- z5C~|!8SMkpI2Z%wC3wrCw?K0oa+QMvajLu@Ntl0^LpI+QPaSz_jan}sJPM~sb-Az_ zu+Sh|j8KsfZ1CXaU`V6d?`^w|do3gj8K}3lw}&6`KqMS!nt$vmQD?Q;_3sXb83EOX z`SjH@K##opr$-@rIEsZNGa-))i+I%e`ucKrNJxnC@%5wfjaY68E0eRmzj0&;Fo5V8 zny~h+DBA6B-`L z(hC~^4R;q_JnP`54vnS-ltx`_f&KDD$I!#xD4GikSf|mLimdq?nF5&qr$s2zH~>MK zKzo2=?H0PDyEUASHS7Xnx_rz*uoABUjHGtnL;o2xCiEf6hyZRmZ7rcdRLTBcYGncz z*j?WnQ1gOAI|;PxxGp=qTj4tZOXXStrDkSkQjrGZLg!&6ZGf6ul=+^Tnwoaf(5)CY zY`xEq%F7Er#80Gam7(?F;dTPFXF-XGL(CY=g%=9bz&p50OBepp=H}THENtE7)LV`Y z58xmG4jOvS1T%S5@9U8PfdccC3%q&G(3A-lh7qm@x5EsAHY13suANt*V>2)& z#}rWZtJ4IHL&@g4vEYguK0dCVI#fNDdi0!4F>?y6-`9d$p{GbaPMJNHe{XQSD@pW$ zw*{&c!pgz~6mLm8q#3RB<+u-nEwTmgChsX}Dz5%SUR9_rq33ZDT9r<)oVdvwZ|A=e zo2n@**}D;6Sb)TcyQ|==tt?bM0p}&XT@5!gIl_*}^ENEE?5DgI&M5_`dd|Jn769{l z>F*QKBb6?e;B&DAyX$+d*CX#uo*V__)(;I0B~=MAmhu%JUm^+AQLq{P>I3GkP75KG z=UiB@QL=XiW=6nrM?6|Cte<>Gj_ax$2<#|+4ycsNsBZk*)SYTbb~v|sZ2i{q@Pd^n z?sVK?BixTOHLgGjrQfxkZ?UcVRTC-ak@{Dk0>T?4-GXF6n?{@bA6Az&`xjli|j zg%uPO5GrM9T|PKCz;)v(NsU&N=qHxs7HUcCe@`!W0P%^F+4rZk1SsqKB^Pf;zS@@3 zD@)a|N`kgm*08jcb`7pu(5LwMC5E=x0gPQWKRV3%N|n=!Kt$?Cklw7wI1?cc`XA^M zH2pWp1|x^Xs&h2Z}pYle>F5BCcK ziB11RW6qmUe1Wg;VG0C*n#1ieU>mwe$QUV}_6`qQ_Vv+=dlwGBF3AdA@B%mQElTWn zDJl|U8yiw+SKtq}Hh-=3r~6=8a1~qzqvvPYxJOK~`mOzLI#*AiPuK(3IZJ3fTJwVq zCY>ueB&jczE|=LaUj|_iC|*a$!nqxObcf6til;!BzKp#d@h^RdM}ZNmbI_(W%8Wzf z7itW7!7)C*X7TQRoAhekV>U&Sr_EJFJO|Ua>-P1ypb~jXajpr_ozuz}eph$*`C7sE zaprGFuzgFF$yyNVO>g8ZRiEkxdj)V$Rq=WFFU%RBbs+Pe500}cdX;T+hT@-A0(p|q zU`wDZ3FBRG9h7P492*rhQMIqeTN` zBuDbZM_5|Xu^sDX1nk4B%3$vXP!IGf-6|BX{_dMH*i@!oULJNq6 zh9!GA)}Ey4ZS>&yI2quQn=A-~=Tc7A8xB$i4^gXf0!O+-b>&u3Ny-2{dC)xq{gfv3@40fTJBrC5-YUj$URay^2wDnUItrZ3aaUXW zsSa1B)L50uQ`#G_4UA)?)M~0REf`iW0_}6OVC?W-d(v`@Ky?-sswv z!HJ3d<8ANSa_r0CCeDx*Ul_y0PYov_>VX{req3muZO-K*tvkD_wT9Xr5@PnXE^OZ2M?gj3m>8t&x-Q#3l_4aI-b3HXxBeXHkdO3FgV|<0iJ0T-ad61aZt(UCq{|bJeRxyICPu5!FyB_tGljT&^I5Cuu1%}8128`ga}TA} zku9eDEv7{=q#C1jY*$NtU*hN6eQLGqOXOY4F!T043wNl1`aXsYwy9)KkJ~aAC+n$4 zbtYp9kjk&uN&WuWjCd#{B;VP3KZr|3;R?>9TJA9SIsRP9pnE5K{@%u9Z|{pUDci@U z^>Ri==fM~PZe3TCSXF+=LR4j4)Ndbghy3S`_JRLxNBg+dllA|*j&}0-KOOC|+5cZU z+KJnpJ%Mq5p_;`nDH#FkfvZ?@38gjE54)X?{!hS&lVxyVU^kicZjf^gx1z65a36z_ z6W8&spYcCB-kGxOp$in}KA1H0Srzi#sh+wdjcZ@ew!WXBk+=A_%%fue9%%I^jy@B3 z9|!jVd8YRbiZR5a|5kt*3|;%S8uZscI$wK#g+tSjKw9J}`qat5?9Q&vIs9fmkQ6ej zwM(oW9NHH9v#@BQ|5>3el-*zHW5WtS2iQ#WQx}I{Ff%=I`h}d+(!dp8sNpg#r}l?% z=6FnTyC1ZqCP{ep^+7*?y}IAi$B*$23Gyaj{Q*lr6(RouxPrdEm|3Zpciw`bG|$>x zmllH&6PURWW~!@Fi@Xz?#sO!%a$E;I3ktB`wt)wo&3}V%6^=e^F;K5q`dE9MA za_(jQ1W{uKqIMEpwNb8CzKp&;Bkq19I0O*@u@_p8hSTJf zu>1;D$^urpfb@ zqO^8|q2reEec5bZh7zu??t0yNglGmp+a&QTqLJ8M0jno7-@kJd)NbQKyp{*!*|YeF zUEjK-pP+U)&omK2LG-SFF^u{<$Qj07{52CUt7G7FnViJA(PD2RLuHw)i;!|fC+w997%|?OQb*VW6D1L6=^CaePiWfu6z}u#YrDn<10b zb<#|5zb=Gb(M6v!Of$6VuNYo#g@Y$0)h(&4cJ=li9a@FXSs?3!z^Fg{N`Vd1>||`5 zyLDfIYX1`2z<(nnl;zodD>Yhaq_jZ70PzKTL0?w9Qwaa{aHDBpYh5n_Ms z&O8vSS9F*`050YN4g%!i=xTtwlN@`L!whI5vo0oSV#V2IJ;B>(0?i4L#7iKq z#@mM#uZZ zxJ7*O&74f26UTJR?7HqL{QARHN9V6Cp`sbM-t;gd^ju(hD#+|9z8i|Mk5GSH4V6!P zWwfp^FfqBt72+&&*$eWcV`Ho&`0xmF!Y7AErAVu(=19@obgM%n%#^%3;LRXRx(P~P3n6G=WR=ysJR$RB3 zD;a6#lj{QT>5S#BKp^~& z52l{Xeh_6;;l2!&U<_Ts2|)_#ot#}-jT}u ztiK(=uma_N_o0Wo9OiI%?b;wF$7;6T9Mtab=BA4&Z3TAr#5F#?CK zi%W##{s*gshcEknHRG&Nysr$aTyydp)WfZ`x)w}lYV@G)`m3#wv$su_Wv%EcXIWZb0Ag0Hk42U#1-Y4JA@3GfwO%$CV z*AHrYn(VfjKzH)}`}eT&REk$^A~mu+a5hvZ_IE6!=FXoW*DLqiWVVxj*jlTd z)jdpZEY$7i$hihd)WCYkEEb}CoZ<#coLni~8`h4?;}gg_F`FAQOYHRccGC#N3-DEI#vo*-DBR>uHA-#^NZ_?t#o7m$QF9br@bG2 z%ZywjcU>wWIV-Ed{9S$jk9e;C@GgFz@EXtco|LU{Kk}#n)VKSPLUpgRscQ?R=lI-7 zg07wvkpAUd*lcdQ2R&o)if!)A;v?J(d^OjsQs&yfwqx-rD$aiB%kYLgYx|nH)(4NY z)mN3!s^kQVj!#n=L4O?hvi=<#)s^^LsoCo+^u%ysdiK~P8dRxc`NatzDNBcy|WK;VfEw} z;r!)2*yep^E#rdXH(BO`@@TR#&&swB{9Fl_Eg~N|ABsK`maxBKf2x0_H;>g{N#;C|3mU#xt|}Um z9j&L?^;+L2;o8LX%YwDrXQ)C!;q4OpZ@4MOdB!m`^F!kpd5nCi{8a%QBCbx$ue?-W zWm279fc6-AW2t0M@e6m5*#r87Y|#RRb*xiF2#xl>#9Pt(To8?ZsS5AXfuE<_PWnH;=hUE4@*Q1(g#t@ddvHTr z+cLvu)99^A_m3TtePA6e$M~eT9NIoX`?X6K?Ua>`JTLDrfoprbrS{^Y&O-wR9#LS% zK7KUN35hl3dF!$s){`&+Q%vw=iYtBc3(RT*K1zRJqBD=W-brm~cbmq|PU zzj~&lc>QqE*aneHfmXav3T^}j23jqCA{c`I1|HyEiGTb>H{+j06g-;pt4;sq3#V?V z{O2$1d`*1EzkPwnoOq~zenEL@Ch;@=`Gr3}Ye=s`9Zz3m|4qne^#mD^hHp;C!vfDuRod}LYikce0OtjY1F$#L@aqb9rss~yYss+#muyQ04!t;(ET|tP zrLPl>o|ni=pko9@=%mIwgcAJDpcMA(Kmr?)@5C;jmNr000SYd9c_}Cj9$;FWZu^8|J{JBxu)vPJdzXxSyeXCTOp1+x#8L&77{d>dkE_j zrdCs^jdR;v@2vKLGwc&|QgQ<_7iJ-L;^(_2uh{BrD3Qczw>;<`<4Qghc!JPt9yd6ItD^YY}NUVfP3JSd+0<4y@OH218Z zEH{1w(RwgO)-@l?m!BFWB>*eOuZq5kWakV5Y^g@W4yfiKCmRGde&3o;K-JNY2Qh*C z3!u&lMEC=uv>F%JU*h1M{{*U1U{t3qEm3ErHJtq9_V92hmF~Fe$Jjb;UFxRr)p>ZH zZ2oQw;>7Uhh#zdKP`itGmbu!3D*$5++o$a1iL6zS>$}gMBW73NjN|GWxYHlYjZJ-JnsQ8 zTrxS9RJ&my3%tdf>godx(gLd%v+?7dxrX0@s5}rxT;bR(vLkzb5{xMf9wj#9R=_I) z1BFGmSVx|!y@i^dvUp#S4WM#< zSyW=)y);@v;(+`m4xV-Elp#fK2-98$Th=8GLDq1L)S04t%$_W9krHoq_w2s;m$2Tp zybUi1gzMIK_tU2@mpmg1C{157N?Bl4((CH{_wVB!d!jc<4XpV|)!#&Se13ND`^mig zI$VlKN(^7w{V=pr@A@X_>I^9dsA&V}g^-p>f7}3T38n_(ghxE+-bX#zPszUuBM2%L zV8=7mzO1IQQ#%n6XY;(-#LR4qcSaD3c4{HANGQ}bjb+;|?U#&lw)@u8-p%YA985XP zJH*0Z>Zb#(C0@D|mr>FfFbQx0q-WnB#!j1n2f8GnN=zn*8z3Nk^e~T>gQI~h6fV1a zG#ZlwLSRG$eRosn8pmti{PXI5`d4u}*SDU5=&S-cR6zA5(bWFJ2%-*+BjSJ<^(;km zMMZ3j#YwPi3y-&8db7N^jkYi*G@{9`V`em0&|bg)&8LKu*QAOi!mXpXBNB#+0Gkq# zfsgM#xEEjsr&xnZe#oh!%6s`HDyz##cV&#d#4*l*l6T57K4O&Ytq)7OuImu@5>hvz zr_O*%h*XN#N!KL`@CM!E`48k?g*>f+=hC6+d_3QC-i{!v76^XORC-m1%Weo=6Z5Iq zK#2{nx8+x<%``h%+o{Mvp_edBUiO}D_AVnbcfooIGbXreFM- zJbp`Y;+BkYu3he0iIOQtmHDAI`|J@yFgrXuT@oDez3#7#1RgYhxyLrz$~4Zuj;^Yc z%)dA-Z8V32@D0|F&w$+s-8iA_O&@d?rOzXw(hx8s#8=21IlXZ8%A5XT z6z!~bC^*8N7I;l$GMN~D`7f118o+B6zdGDVyq^Gf?8Q_+L?t1HAy9;nqD$nM7fJ(c>uBgKR43SYZ17ODER;fh&RVXIa2BGNI=gl=atIUvy*Qwe1N=lhp0R*lWoz~3AY zwUIg6f)1E;4{69ejb0o*zi0nm*TLJXvvt%qahRZS zOy;{Q{xJI1k*!jGu{f-<3rVti59Y=je~x)Z>F4VzVm3O5E0M{6NB%8+DRkSFA6m=Qjn=M^0WzamsPZm;|+_W-;Y&| zjy?^*)s*&S7a`^Y+3xhzyv6q&EQzbV7W1QKWr=gJfv=Gps2@0mqX>OImtth3xS`&N z2mjnbL<$q&=UED`pXJ;9_0pVt=@B8QBLb=vIxyf2^gWs7TdG&QUXoL#?HF@nXI^=9 zb^6geqIAK8iF$PjQxA{)&RsaAanP_hWj~GO^+d3f971f(9UkD!Ru+bvEzAgx9_=`OEp0D_tg_gw{UmPLs2r zdvArm0bG2S&^rzlIngwt1%rDw zjA^RB|OvWJI@&}{1f1F*I3Ey1xl)F-be4*X}6)A=9uA-pC|^M zD4{OJthnjBXu zg-nk{LSzzwsSh5!w>@#F5=o;ps=YXn0m^+a0R>3?}XcB1E zcUPACSG;+%l*mqi;b#78FP9@pe$O|NI^RS|Jp&wi+}Jp@$a5?$NPZnJ?*U!i zX1}pq{g)8)xgA(FH%YZZ-g2%%gWY}seA2a%=A&+ZPjjD`PcMEkcQOqMAwxS^8@ zFOt`z&c#r|R&HhL@$K=#teY&NPd`6gu`= zFY#P#Mnz68$x)(Ep}K~roXc4$Zq?}|=j!9Zmi zz_Q!1n+>-|?!61BjM5tPwNLun z9z?pmE=Y;FC&+hATzxMnPdT%)-ez4SY)SLE*iH2*KFS)SlRNU$%uoz!7(YsTacpQl z(eG2Jek8O6QzH9@^D{f^{mTg`k+PgHrdP_lZf||>azmtc?qz)Oh&{^%x(r$;&{p}VB z;Ed4J9p`*ZTk>*;qn&P*&lGkcaDmMee^w291_Dx!G+g4C*Ox8`+!hGT?bz4=>*%-A z%TU$B9;WDQqEPu&wRC<(Ct5@h8F(Zg!glD@=aevFj*wPf>+U^i>p2f?UJ0$ZM#DE~ zr%wSzL5X+;VKRnNj7%6;?h7r!$W$+Gv9=X}j^hT!4#&BB@$;#SlZTp*ZNBN?CtA`m z?7X_=sB;3V$pjIVr`c(iyZd42FpFJwO!e@Gs+<%K&)_Rs`8$TrvQr2l-&s&R*Ku<) z&d6l?Q!&(RJN%?VH-S}JiH+wn3s4-xX7#U^(JLObv}A;JFDCgtH>oj^?!aYV@$ut2 z-1{-iZ$#`0(o~Vfy9R_Pp0LvW8%{=JL#>QK}O*k^!#@We2?dK72)E0|LB-)qvQ2$BW?=h^LFZ$CvdnojGWY*eq^r* zKU|KX2OT2F@XTc^kBhInr6Plz6n^fI=fh(M*)lpy%@Hx88F}=VZbHjZg__yC=)U~r zkk*jNh!x8!m$#0-?4}TxF<7%_*q}+_1Ec8Vnq&c0LV7XbRnrVXvG>hDD@ul72<_`3 z<2msSwa)KtT^;ZicF28ZW@ch0VOfh8TShn-VdT3fq*iv?yS7YPW7{;QH#9rFZMzVV zH>*!{T7pe+iT(sT9KEoRnrD7m&la zhpt@`0MW}(Hy0@mB2vLhb@=8fbFX1t@Du%`Xx^Ig`}+C{Q@NGch=|Aa26nBP7VOd* zFVP}O&C5JB8L?LAgCQC16im%RyNyJfZ^sAhMzB6aW_TH5_di5%KddXbyr~wZc6K$q zm+W)ZP{8lw^RORBja6xy;Z8?{OSse33A6Wvw1gyE{<=qAF{H8qq-0E|bjR%!uZp2B zUtYgXwxAHe5zEKho&yMHa2dHZFcq13?QBD$hK1O+_?(v!dcno3;uroxh~W3hj#(lr z`J}TRA(|$H42(%Fx6eV_z9FezzGLW4X7fO`l?r7D9rF|PKnrVY$+i_ai}~NeF^;U` z^oKpl*-ssgaFZi&MCb~X>ZvLPhQ&D>XaMCzUlH5VtUGz`EPgw=0#T;eHUg^4W((c- zO9=e`jEwHrjEtR^lVr49yd(gPE|88mK%H zVVmwm1tSK((XVZEHCE`EJ}(V4POZq%ufegUrl&bKhHwuNqbL&Ybbg*w#K{#SRn5@< z{iVRb$4a}m{ufm8zk&bsUanDYh?WJ-P2>)tGkdZA{6`iNuF!>J8KUeY90{mk8L*z7 zX)lb5P*ui{wsP@c#GZG+0Jf&>E5iS3_N+qqLI`wyh2x(?=0XNY=+PIBtx+P8=F(Ik zwn5svD3tLTz5RREE#ISf-qlsoUdG5$S=)4bJbA(XDj-^|w-clKhlX7C<>uyEdP!9L zM(|WH9MFCqRn6&5jUKofD15~%)2i`F$6Cu=$(~abZUI%L%{NT~R<5iI!z`41=)ayg z#Fswb7S$sIGMbk(0W{&G-I!m!hQKOh54?{ zEA^wt7AuknT?(mlu%oG|_slJkYX%h()Z*#VztWrzWjEp0*9kC}Tzt2dp}@rxS|Qbx zOj|;s#&V}P+RejB0TaA3U=)-;wf3WAGMILtb3}yubG3|g#MRQ0Yz>>y;-Y2)>_YdK z>DNLersG!`$8mUXK%QiRBN0kXxC<(P4Z&tlz}rM1($8jN*kmkome_RzGz>Yu65ADfng)nPCV==rrtCiYgzB*l-L&G=rxk=h;e5%Y zA@SbhFnRO7V|hxw;+j1dGk&ngN^O1$RAgSpNzn)FJ8mAv09BU9f-w%;8K%DHHb>O! zA%-^?9><7?jgyPWYPsE0cPQe}3nT}7Y~bbf<(P*S9nk983 zqj}P6A5erTrsAv=_;L0268MlNTK2hS6t=X!f3AwtoqOa1!Sx&=}TYVffFZgtrp^BUj%wL^ZGDz0x3err4`wyEf28ywzRaw7`9Ga zH;ddJD@y0ubMgLr^w_da)$bE37p?1O)vJk!Dn?7{%W&~6AyNIVsf zgv{H|9S26G-reLq(nT|5av2T^`Uh`*_xZ#I57=`7ucN<D#=?0lkIqCW5Wlul4Y%hts^|17G1;f)$E!2%ZhqrpR^2R*og|kyFsz6r z1<<86kkKZ0x1r({=aQL0@p5Dk%x7KBSs0~j(=?3W?JLiqAZ>cXoS?4JkCgbb+o|`+ zArsqNw?afF5qE{}d{zenkC3eO);R7F>w5nD9z4~)# zSBS(>AQKh_1E{mo_(V*aQ^8=~NYwDS>t0T^l5nTu8@9Ri%@TE)U0x~L$=E5=k#KRc zwL@G!R;_kCO-QZ$>d338nn=AJJV#VE-@IyZ^RPf85RlbHot!mx-S^wwYyw9L#?AvmR#HmNBr@r&udCd z0<@2T@0hw+!nE0ro5LmT(Y)lH7vdYMB7`kBbH$UtjDPPUuy90+5VinDqSj$-%pk?c zIW5ANB>_qS?inMUt*MV^XNG6X3E+-}R6Nxq(QNSR4{-Ka$aT%C|J6YCPq^#P_xuy? z`hOzBlIz9TTlx@H_#EQkB2iv1LKKEf4;B)J@~3uf!6@v|$&gBQOMa2PekL1N=NZZ@ zzVfoB7SIHVK$JjeM3)2#8;MFRC*1V+YFMlb%kS&?en3`fJ))pA%fEp?%43WP99~51r9D_n>`nZru0JDwu z2?P7EPV154^mal~^BDv7`F=5c1|L)q8nyKPk<}~f`j5G)Q#oEtY+zeJRq!VSp(g4~910XF_kmxx5f zXEi`-Sjl8vmx-W2D;J>xK`cf>achu{OpvifPYaM4aWGxqMLi07wqAN&6W42otcK9aaol3Mf? z;9L!Z2!MoI4qYG&NgF~LP&*H`yLBy7z(KX!B21_Z^)8UuM>L!nKvmS0 z$4|o>;965aqXAVH*Bc}9QSf8B-Zgs;7v*-EG%oKi`H>(Y_JvPG=V-u4!R?XO3a`P8 z3d!pf&Gtc;QMsuyiHpxmjFgod#mSd{RI@xJJzV~~WSxl~kp&)!Ipo+f>7Du}+E< z6(T7@knVWsSElHiHxCRSF>|vb#S*6`>ML^$@8=(txMj*iaXA@SR219nDH>rj-SeTvn7u)qZ z(|#YGE||B5?BI{b8gK{zh=V7rv;5uSvZr@zcPxEGpUZ-YjTLk61Z!CN%v7JiEC339 zd$4hu4R5#RdVOloNAuM|$~F1I7A;Cu#+4qq^l&5A%ckM6*A36R7Kx3@>-SIfs!JGR zC7Osmq-jKu?YLo_W7Fqp=^ti#v^=Gz2-r>sW|?ZH&ud$Tad z47&Dq*EZ3JfbQI56C!=^8e#y0tQ|L7bYjn$Wm`7K^DWJEHvEeiLHW$QTW0$r>(A;u z=6W$aW(MpQL))W;zr;!05OU0f;t}}WQ2;|%Q}PqCG3|l zqQ&LJ4uJ@E%zr(YCSPFt6;jj6!y?T*+i*J(rZ>FXn9WXVEiAzk!X(YZ$LE-@i_}iM z?sFlt#=q(#9VUlz_n6rYDiq@{L0FEC{y`zt0tUhO+}t(b@DV%g9@)|(lrvRU55wGi zG|xNt?OTqSo7g#t3VZa>%ph?KT2KJ8R12Npr_nxR+Jt`U6+jV=kTTREsdD}Zr)v>f z#abi!niF@Tqw#757ei5<<9nQVyTt&S)0~6bX%OjwgN?8=& zNTenp&yRQqEO<#K(OWNZz=w3%RJ3g)cO*Nk{I0G|a!)nbSQ?}ui(Nd}UR3aO)+gTp zvU@OjNbGaZwZ##d=ft4q#GS=Z@DgYMwaBRH1%8S!c#`X;Jljc0Cq=1F7a#_q<>a_j zUSF{ZJEYVavQu1w<3UFqxd7NFrC(kFfx~q@mrWl6&^v*Z8>s{MHVm7FqaHPnV$Mbm zOiBC|7pOB2cyGiPbhB=_hHN*d=cmml0nl?y8%EM1r2aah-q0W6Vx{%}DnKB8usAHL zsI4_)28aIoiy3z%0&-2vU7~baG}CyQ`)0i*n3pwRLLIxhuW z#CLOvx8vixNyK6{L9ww3FBN}LmE&siqeP475r{H_*Lb8^nHU8K<))<+RaCcw#QOD5MY-p zx}M_)0!EOm>ig~%yrCgel#L%xnpDawyX{ixm5mo~-#jfymqTDO6d&a33FAryLZVc~ z59uR}HKZqSZ@z18W)ucR5k!(C^{)rVNu@BXT?g>NhS8Hi6hYiB0*Xa~tMmo@98z|) zywQ%QXV=2>z;xP2_$C0Te2+-?vZ(BT#bAobUqdP|431kw5L)|fgf7uFJo9xpIMH;4 zqvo2>3Sgh`ck8$`*TZ3W&swjNJ~V*rA#n3sIG0!~P`-cc@k1Ta2I*Lm?ZppN3qrF( z@C{Wo%U0vrpT>-jvM9%HZo7wb@>elRPR0=cve*{G=KI#sPV>*$+anI9(gxc#d7~3e zq2>iFMM3ZszRJABLjozy#_#a`vkE5PPNW5D-at=eMNHNI0m5pEgyFcik0yPCB5Ez7 zZB!dWhd+Qa1lRyHwciPMLUbaRSD4+!8z#;Edo|xIcV=I>EMn`W{aDLWr;`ArwiCCu zxO<*PgEaPsvhinL*B{)jY1qs(5^*h6P*6ZhT>U`aI&dn<`AlP>qslp#F|Z{P(-IdB z8>m~Zo?DNoS-i)Ggd-qOFGZa^MEAQe|9!6gM&!B)tUBNg4s&;^8Q`YBAYgCVj8+QU z08r>-%%DHYZJbXc*5h_zyQ8|!HV|_gLUjdFaoj<1$;OYX8ht>e?E48qVZwijc|i`+ z@spxDTJCg8T-?PSJkG`Q9ro#F0f;5HO-N9;#p}HQ!QhTj7>!s>i=m{XWSGl?TLRk$ zLJKRp&c&S(wpd#2)ic=e{{6FV7M0=y@7b4`L#Fv&UN;z0V;r@h+-@gQ90se2`nVu( z0`SKt;Q2xm<5&mukeUzxoC<_3j!-l@*fW6W<%eboxhWrxG`w-E|N0_;U1ZmzcWN=- z#N0sM-|PaN&F0gH5JKpt< zZ}e*m&~Ct>9WS(y;UC@M5}Dj%A{Ps=58(b_~BpP)D zJJJvVlVhdZgl-Ya&hiEew4g|e!$UjNJ)#qE{(fxiKnqy-t3R3U8VidsH9NLrxVA+j z%6?)>9%U4dM>;lQVBx#}o{7jE3ksoKSklCV^t1gDJE6?{Y^gX&sc{L|ddV<}XL64mL!O$%Z#2ZvWY$w&&Qk-e_Abu!0TRea&mW1&I`M1`f#W>hRvbD%Ie*JKw32; zBM~Bp*)OYE>gb=zmd5wUVUu2uW}HIQcX!;`GKSZGJLh`Zz7kIdhN)$7tEoX&Wk3q8 zBKUxooIfuM;@OJ(i5{x5!sbU+X2e1-AFZ^Avt-*H`mqG6{ar;uIM7~Y4FHnm}jIv`Q&m)d*ST5 zO#HZ?8OFB_lS|ssbO1-+N2DQ;#V1$J8n6WJEw~_~IseHGr&A@eJ1#W20LIPnzjafq zT5Il{qyJK}n!GI@DPq>5)}8S7THZU|eC;ih=Vm5YxW9R)r}3^|U!6A$fdzTdN%p9&tHD2q~~0nmTnpTZOp(S9bU;xTIZM<>g z#w!(FNmY_!y)gh3D=RC>0w82ql+_1+rMr6m+{zBbteV!Dk!{DccH;H&PqcP#776wPs)XbgVEI>F zaMsW)*^R%*!SGAwHE;a$q?OTN_BcXYfJ5mZq**`n(}0w*0APiUw`;vKK7f~y^UpFU zn5nQ`eD{`X&{|_bBRvx&jNuNp*MBv;5YgiVVrykp3M~~2VZ!_a;Nsjy9pAmKyt#NZ zC#KH}=umlX@z2!gWqt@Ye12Bk;Mp-PcD$eGj9!Mt%{a1B62g;Kp?!PWU!@F{R-nyo z@WA*z7+Iz~Nd}QQ*3rDJ*fy=jhcJsb?{}eZ<5a112RW#P#3+OI*48^WBO%GOJTrfj zSqDIdtimT!(_DF<2|5N9B0< z)uxP~prDkYddBLi$h&~R<10j@cNDIJyl@qEBeL5yG&NmbW8`+fTl!X|z$K25=slGT zCLD_h-h*5co52WsaJ@m2B)LCEG|^xdF$}O5?Rs}4Do|(sB1mOH*6}X@jg8IbpWh5+ z8DMP%=pddF$sIeMm{+hbm`BKm>V`(DWh@A-p_+UDFlB)pa&=O57GPRrZO49Sse)WEP363JQwmC`-i%sRF{O0dRy_X+Uy7M2o0PE!!be4knt$|6Dv8t}ufF*JYqwg-*(%>rJ#K z_5?@WTm7u=bJtwtcm81d9*7%7^RIObOMDozh{QTEps_5a!PU*$bI%vcNVAEHkK3XA z{AL>8pE})G?CBuL_BYEG8gW3|?7iV(WiqT?JI#WZq*r+4;6K zm(i1tY~su#h{o;sHQwJkj%cxxwrEtb=OMm?aPN4JLCMASvTfO}e@S~G{^%Ko6nB0O z^sezXOrpXQ*j$YZR@>8pBw-EC+{)A-%C{BfF0L>Exw}IXMVJJWXZnh8S0dl!<&f(^ zss%|l@$-{ymECS)n<1OrhB~aa^%n2*K%gCI12~2m!G%Ziv`4Q_f#hH;$b=piso|xV z72Lvt9@FM19xUnmj7j!+bIFX0PWf!r&r5Oi9zPE3H{$!cv-BGJV!-K)*vTLw4+GtZi=0`&5NKF@;f+?^<`uiQf&&`L08SlYZEc(0DEI z+Gkwz6JP+0ks|ea+Ji~u$c#W+7N3(7fumlVxjSHf>f*feZDJ9qK3rnSiPm`i+>I;Z z2Y>)$ku(-Xm+l?=c+06E(#T^m9%f-^=tOkbmf5A8e7ADK26@}ri-v1JkFc>&sOOM0TiCjHw!2&I#TDlpDzIUod^7ts9og1dsa1a%KC{=hR29DHgd{czG3ehJ-*090Eo; z9D4HGmj$Lj$pWx=ZTYKlxzY567 zo0~*BPNo<2+@)|3n-JxzGxK98SeLR|0M3u@1pXW4|@zYHT1=WigHsSdXW+N@42F`>Ad*rHrd*qL&@ z)jOSg#2NxzP;nT-4?tQ;GQqG+0KwA4x^P@wlkg5hqpKQ*4cjavAVW%Q28C`bp{T^3 zBHHSQi}@wzMIaCyJsS8Ms9QA}Vob#M-djajJ_J({bjvyyF2;Z9b$^pK=R!mTAt~@g zyYnRul~5NfS~>;wLgBYSD-9EM?o@a5aSW!MuV320?(<*QL48M1cc&MuqtQ+;P{;Z{ zj6t{w&=|s~2?UZ*K_VwKZl%v-T681d!?_Z4uK!(9Oe+ShlKoQz17e>+qUB@MH6oteY$+)=FOW|zwRYzMw-fpRv>gg z<}RIVbr;^}m;;r>H0*q?m*{|4H@MyV@_oK9Nt^7V$8=nHGU2iErjwP9bG9dg`%U8MxN%G@~^@V+a2()n9e4-W3HX>e)kf@5;D)PSyQ~Y#TIh*f$j=VA%ZI`q1hWKbA)9XG?m|N+n`(5A*UI)*4SPL-HTA z>&LC}5+iT#e#(XS!79qx4p56}Z%H#Qxqin^uYERT-{hc_7hDD=J*)p1{%FewF}waJ zN8tZT^Dh<&z|l_S`W{J1t&yksX}Uk&i$~g$o5$3sp+sMl%C|)Bj@`|^_z9TU(WM4bD# z?!ESR>#`<)vF>KTYNkAk06>#vwmjbLI>>_=!l`|n5&0e2niaj(ce054l31IkF3*ae z0UYz0W6zQ_gS;@V81lilCv5VPi@cPxT|d4Mz87Jhd!)sXh`c~YfW;CdhX-`TnxpB$ zr30|cvI8z*jRx=^nAOoox#A{7pA?UIkVIrYZacPG$^7Gy|725}CqKDW;*yUk5ATH0 zndmZuXAUf~9bQgNBj`qfK>~d&mDYeY>oZ~q#bJ88oihY7LTw)_dhmQn?`ez%B^S^Y|UK(!UQ@~ye~>@NcY`ypa}#rAprnPIge$}7Yy_+*UfT8 z0YD^9v4}-nw;%fc zZPU(|O*zl5!S+i0V{8vMrjmv)k$>)x#In|RqTozuSg%?724V)HS zXlVf}V6{acj?zYr?0RfHQ*AS0M>r-xPaJz=R@>3UorAPKxK}Xh$myI7Wc>>gi60xa z_HEYFN97i&+7KF%>~bFvBxo*PF@Zj_OzJ>l2{eU*?juKzbDpF|H0rUE5WJ+@J`E`X z0$~?+mY+<3@GzzovVS?nZL1a&;|t_lmUYrjD+%B#!^9o7o9~Ldb3bZ5X-qqIVU6&Z zV|XZGL2l&qG6dOmBJXB(TF zv4x97qroLYSP;o%p38`Ajk^h>>%9Sw@@w81*7N>l3E(~R{-{9>HpWZc)(;bannaM{ z+UNgl43s@Kum~_-B~dNz1ODrDkDmQuCZ1P*BO)2^h2@1cB6H98u|doW-^Xn9%zHGO zrq$N!)@T$kh3S3UIYf7)u)#$6Xk0S(p$p5L9AA8`cxvxH5G;QADwN@Q<%7 za_IK&gut4V;T}F7p4VR-&zw0U>aLk&U`@7JG?DQ8+lYZr8eT#80*sr?u3x(b(QZW1 zU5#Fy>L{0lzXou|xa>c$t_rp^_@z?nz{I>76exv_c2QUDU+h0}ms z;B3AjbGsPIwJ6z?bs~*bC+sdX>&?};+wjU5&dr?8C&(MeAdst-J29n%-@}q1OP|;b zcnZ?z4n%^}VNEk%!+PW0m*T zC5Cq!FMA&f653cZZnO|1RigFDniDV;P`llj4H~lwpkygjBBu-ShbqSbQmEB5YxU%v zbYJ??p?%@w0eR@*O?gD3(|_19{yt3VM*=pyv=dDJIpCC3^W3p{#mdG-izw;>|4v?6 zrsRsU6S8>$HvX7RB2a6R>`JCx=OmwyGvZDmh--{$q*AmGns@gNJ&c%wm z(*08ggNaYxJ3F`a6jBxwavM_~^fmYcu6?`525$Yt z32Y;to1(583f1;i0OoV3=>QBF3ih6Z$cLWml7STDI1Qc}VElb38O2H59nHXTr1hgP zP5W);x}TJxp9cZEqR@QVS_cU#I$)eS;IMIASP~a5@GJ`oLHWUYmyfTa)gs1iB0&<% zan6l@GbN;)2P%Ji3+9f-uJ`{fOlkJ<^;Bua)A!DdW>`=u70~zjT1SIdGH%)jMDVr# zBbesH1g?gLZo%?Oh`9x0L)561fI}Hfiv{NcMlhHY(>_p7f0Vi=oh(>WLpn zEcH;+Q|!QLR;3pwau*Hyx5;U+2X0^PU&(xWe6D3**pM;*laevvVP@VM{$-H%%YgQa zKVBwqZ=(8^3xhXId1~D5A(;F0wPk7>3(P~me;FP=Y8_3TcLQE&u*68}6EjnUv*J2y zowQivhY!(C1z1Rt@n!sez{5LnV_s&F*v%u%9U|9r2SKfS?c3pag~3Mtr@XhQ?oM{G z)%E4(Js%W}<770{3FD2y3Rp90D7sH!PHggMC7{hrDx=EQBahiQgnd`Ri6;h=PsWWH z-lbFSs*@F!vqwL^*x_XT+guGz&S_B?C@X(Sw0)I4!uakMv+WhOg|$@F=GH=~3*sib z(=j4!&C4Cw*>oLw2$rd9*RRJ807xE`5dB;UHMlI`DwcZ>(_R3A#L*KRAO4dwD$$xU z30rY@O0v>~(9_~o01b%QKzof|ZUoP*aJ+Ptzf!bOI||s7l-dFSy%Sbz;fSj7m&L@% zr?Wqo6PTc*>ja=Ylul^&)4IJ*Qjz!{f{7kjyPLvwbIH6x7faTa3EemmaG#)$VAz_N z+_OnmLYm(1x9ZJb9*pHdJ>&ht4G_onTC@$XA#_x=sOuJ z$8GA~zrQWhrjj&yw!JVfal~NzZ_5Ki!uZH~n7Z#36nK)2@8)PLDr@iIF;6}I`}9rE z_riHioW40o=_Z7}8a;V{5eUOmlX7kzRU-TPB@W0#&_bVVY_?2oT!8@~UbvSzL315Z z#+6S@I-_D@vn557A!qvwXIW=O6VGY# zY850o%Wtq`;_{AU6#qIpB&WeT6aj!l6SqpD;EAR zn|Cd)$7Q|``*p~T+%=orow0hGdx?Ou*Nj4~Qyg=+i{V~#ZY|6=P1;eBBHSULaMEbD zuZ{^wl*qZRlN@n6A+$C}2Y2_bZ^Dbn;{=28**tjcMs6Gkip@ zdZ;g7%0{C7Mjw#PpD`CK^9M`%r*7vDmh^iV{QU)dPdL#p%TUrj=05iZ!iLe~8RWJq z%;TI1@qKdZuDf`@!R*1@NYB04e+`d%{4y5Ib-~|2SL;G^PgXsj=UWSVcUI!`w=0UT zHqMU!Mfe)Hs@1~;p#C&$772@k;C#hL8x2^jh<7*!QM$sDpg^jRV)8*Q80`@9qqb3R`IQHs-Fp+GCgk9M!8>`m~jx-9{_wI9>{@I*iSsNGp&|-ms!f8rzj<&sW@>zt~4C0uDqhk@N@JGEm z5u+WQJ|GVUzICW3dP8Uh3kgdZ6c9q84xzsZh;SnP;FGgF3kj^mIJN{hcqY~P6t=b?wzf}BgDygiGIu&VYY5-}sxdKU8QrW=X9U-A&AVH`|6MAkmG z1~wG~tLWW_e-Y;Mr)Tw>B*O$gLFxC@KLte-QfzeFsHft#dx2&->~6BSkwCL)-+9Lx zPsbR`H*lGCI?JCM`)a7*@#D3^ikXR8?|H=D3AHr#dnrFdB5HSU1eEZHu41u7sD&9 zLx)h6akv3avD+hryPn8-t}f}oR&lxogTXjE+<`#_Ak~8sv@fY<={!Uov(@w>k<^T5JQdcyhp%;bF_+;}bBX~#ncx6k>vyoFNGe8Fm1zGe8(mu$mJoF2t#tL&9?m5R zZFcA7V>KTkXv%KpEXM-=Sa&Oy!_Z+QSWqn|CWC{-7&wY zsLinjNa;hY3_Cfh)W@wZl{M(M=^-9VkK&>ID5Ip2*xlz|C@ddbw@0T3&C&%p#9J+dpVm4>(vNJB?Km}oGkC9v zSaP=0qljDHNk7zwWaAS|&hxiO?%Bf*v=U~H#49g96*jF$Ko6Oml_;}oS9FIk{GE~7 zmz4&H?Q)R7acM~9hU`E^#r{cmCV*BfJKceGb0#}Z>c~dasj-y0>fYbPc8pUnxyH$O z#c^>Wh(5k$o^`IMPG8DGor*JQXm!y}oz5}m9MD0~-FVyZMct;r0*eP$(X)4tBxFt^Y>-1hY8MB$_IX%_qL+E-S*b8Hgp$z#L;Lk6k>Bn*#oy4h3A zKtwBv6KEqy_(?6DBS^oQsN#sETU_*|Y0tRUr}tiba4iU;F98^R+59Zn5e55Z?Z>k+ z#TJ5oDUHwWLmdSP!Y5+Yy)SH2d&HVSYy!wSeJtY0Ry?oMHAlDJdgeWQv2GLnnJT)w zPcTX37{Ibq;~I@u1lmJ{<03Jw#Oi{1aZKjh60M3u8IIyEMrnjTya(VaRfLf!ca~S1s$d#dUQdRn9l(3|A5gz19)5LX zN<_>!jvApVI*G|tmk`WYMpJgsF#tFD~Jr!wQ{P;2eg-S8=VElt}fgFP3SK? zGb$68>zM@JB?0x2D+Z-X4?QenDJ^65Y#1>tblZt#;LHs|h%wWHzldUrm<4vAzo1-t z&H8d+DV7^{S>xJF_p(1K*X9A#(>LX7)hX)_s>xdRH?|3P&hB19AVCC+_Q-wx^=UbxWz0Hks$5`w|;+TG8uM;yNUdWpBrm8J;1_R(f} zHmbYVrB&_kGALj6Q0u_Wj$tsikm8n2A;O}}dxp7@R0`K(n@r?B0z}E>Ub7|xfax;* zw19wxu)5}*>brnWgV+q^Zt{0VA8i=`ss9m#LnyKTzmS0VA-}oF-{z6UzS2O(&;;w#Ih?IuEhf! zI(usolGd1sNfDBxx*xccm((;%FVlQ zg|JiGrE6B!9m<86ec)!=0Qwb3d@-yIx!w^|MA!n=Lh2aiCS_?pF6L|%7dPsl1;w*o*eM;rH z^n3xFbZqk=?<65R2QO$R;PzfG5)UtL#u210cOlrMS7GinOx?6asuXg2u)Q+=QN&(l zlqEs}3_u@RF(e~W($Ivlkbqy;AzAsmJi?a_)O9AE^s!j*G~rBJegx~bIo5>;?hL89 zi%f|*vzNsqtkq(c>*XP1)lZZ-aFle$TCwM$-SPgh*Q2|pJ7%Xhf}7&0V_G=R9W8K-6Iv&Wf-R%xkmT9jloovy6l+GipRH*0s`U;WAmaIUi^_ zzrRDrXQgy_|BSEzl!_o^DPpoc*DH}Lite;DfPKvyYnanBbH1XqBx^}P@JiQ1KNnuy zd8P%pL52T~ISNb$>s|kGB`2E~g6 zlMX{&>iAP`dcntE5|(#@=3d-YD#x*FrM<9kY`CKW+5jDe4y8YpqOHkU-akgB zL(dBvPER4Br^iiWk#K%${2XaN!oHhku~yTy*tJSw=T1}4e8ev9j;$ff#VzS6it%`o z_4|qTCeebSo08odbp$5GE!ejX;d+eS5h**LC~wAG2@+2psCX^$pDK{!?+V07fJtT{ znOyCyGr`#^PN7!+ygDo8|4M0MUMa+P?Yp|e1S&Jd*)??MvR=q!fm@Ya>ua?|hkKe1 zW}Mx+nf4F?ZnQ-(^*ii-QwnPOj@XL1I>kH$TX+!Gtj?{s^@FMv{Xawz6e>c-ntqiw zeBBJ01BJR1S&CNDdak@&DhH(bWE!9VS&lOp{&HVp{~-4D@?F~u=8t0ma6BwI01Au4 zPEMi-XD-A^ctnJkOtcQT<|f}(nkYYoY+Y%H0T$!*#mI&EXzSOGlDoNsQ&WW&A9NZP z{;RH?9?;7ueH>2sJhAaWIL{!XP~`ZEvVOlgx+)t=eyP`Jx#NYR|F7n*JF3YuUPp=( z7mA~xsI*$jcCezApZBn?)W9SKUj~&J?6r7h|N0@sF0IqsKd;u&~{` zaLqP9Ymu+(R`Zz-rY_FafJu%ICK>zNCn|;<-%QRU?oohOCgO(rda&CKg*n;H;5qoa z^2yl9h=aT!>2*AXWAJ$O%17~eCPu|Z(=)GqvRypVYA*CU2x>ue-wGKGuA9E=?<(vd z_2*y7Mx2LtMLARxP#u7jfozL(!^6p_aIrT+TR4K`=2C8R7;5QCCI5%}+a<)7;dRyZ zWtvup^9IZr=ABL4*-B`&z*A|f6I!mg!3LXxFmwg6H@0rzp=$=28i>4Bs&j#Fm8bxx zR64z5rE5g`oe(w7AX;zF&Z4>9eJ#J^O$-ena`vM4-dOR^R>Z0^Jo5ffPoC-*?MTjz zCU=d$(nc;pLd6Z(X|q#VZd05Fe8|e7{;oUUl|PsX^;9_ygsM>nojxq`0ymUiaWg8~ zE->(6E4^p*bX}HHg*UOD8G3)4rtA4aD{uDG0iE{~p8(R-w|^KBH@E`!0NCGKV0!20 zH!~@*mfzunP!R7Qzc{R24NwS2AP@>HV6`YxjraGNe&ls{8uCus?xv{?nm^x>Rj^ix zE4Pa}BCD*VLgtE@2oq@?d_?aLpwUc_j*U&=$e98zm-p;8gS;asfjnm4hF2-6?8Se} z%gfj1g=ew@X3v_XR@mm9I`QeOk5h|z$=4m0o$R#F#w??q`^-Q?r7I=1d#S%>j(Q7? zg_=OXFguW?487rHX8e`QzW&ixQey2qO&H;>dwIf-wtuO$WwB|f)qpVMVoIiX{HI0j z7Nn%px$p%cyqhxO?BH-OV8`i%K1u#m^JAT*Uy8iM1z}%x{SW4oIysW&%vVHI;3Kwd z?3o&GF3ASrW^NqFBq|4R1&~?rnL^Qs;^}B~E}V_ahrdyaN~NFBzgBtwPlFjIYXhyf( zS6_G2{{-Bqs1Jx+UkU7Kwe2;G7C%Gjw%%Zm(8DTE#U5zHqWSaFfBf{kZ3?AXj+2Ib zSW1WIM=o2~|8puJ5x?4}*|BgbDO#xZDnK=7z&y?iq_h1I_=x3awH%m@*6#M&X6;^3*)x|)EkW`Vmu>N=`m=`sk0kh5lKk(b82(xpy>KK-?465Cc{#l=Wy>_dze@b}Fr@P%1y}TXc*^5BdV`p{fUsr!`uWe=K z$Ps>qK-|NsVbZPx5gmua`;WbiGgfyr{e&bOTC2!f`NoH_fTOrf0K78Ub@l!<)#l)) z2McddyEs1E?ZyLmzPmZopO+@Jk0w|pgeK|V`uT{ZZpt1Di<@y_C7Z!_$I)~?X1Ckx zD2oksM{$&Er+!sRtkv}iG1rkZ@(cjvrb@lnx!YShG zn?C&Vj(-|>Mz>y!G3(IVBmkR1SaX~%Cw^|~A28AUr}}n^IJrtt6f{p(dIol1Jm)4+ zF@VdqUJ4DX%Gx|t_p}fm&tTIzj=)E;#&emoS95SrtXH{6a9`7YB7jk^eO~3Vk!Tj| zfKe9!ri4w8$c(Q%55FYR74b!4J#}vHQj#TzCGf&ak6#*M`9d~vUv#bfASMg&bOyuv zt%ChweH4zDQP@CWLo$$iO*EEViNAk;DTG$w&p>-_@ORlF3Q=2d`hM^qep1ve{&`PJ zYsQQ0D~UHxeFHcNSPc{*HH=j2{Hvef{v;b(t_83MrY7yh8-E6-JlOfLw~Iu;_P|GV zBsWzi*u|4Uwll+nv~b(cWYo1KjNWNbF14BhBV^UK{+tI7e#I{Yb4draOQeYI9ws@y z?}Twv&+VqBvraZ@D%Z_d(s?6r(HAokST(ItP20M-fqUYsTOO&jJb)nJx2exwLt384 zDz2!TEs-|TT4R3-jB07A2Z0m0`L$$`j$_CQ+1W<1S){a$T#X{)2|^f_HS5O3SQ@5a;^dNvo2Vy{pvI8E{nn=` zScpCj6$;p0^HIS$uP?7gW*qKptye|Wp-sHI2CxD+c~VxhXvnxshI_JcjlBFLlG2zT zOIzWX)z<@{Az4$8k&Elbe-m{%`Ry82unKpgKh1BzP70}NnP&kwLxAU&mI_b)Q0{p; z2=b;OsNlMH8H`8pvsc0P6S!Bl8pM!tMK)2?a8bL!<*t}<*R^b*IK6kwuAeD|>EZfK z6}*2T!R?O1Fa6(iM<1*E_X8LJ!1-W(bAxjp+CXNp&B9jiEXcYDGI_2F((JpM-YMFFd3_)>(zPU4uznK+BRBsW!|udRQU+9|c` zY=G=Yj0zzl&nP&ya`Tg^I*1m;C16aJ1%&gS0c}KKXb^b{TSDVn@@)=$iK6x|FTC ztS&NPA9Zml&6fH0R6*CEZdddD#?Cp;yvhaq$tkCSEbIOe{;g(dShU)hK_QRX5pVYq zK1Vg;M~CfY?_XYCgF<~7h)$~%e>i<%FmUh;N5bQV0K5a`y!iEdlDbBMYY^{Se2Z5| zZ!thASw>XwiAN_fwthquHcK+zNlI;-ov&bFH%oKXc2Rwvf7eKrTX>l{AS+?3MZMdz z?W5FwcWTdI9H2+aqBYy4&xI6yI4=^7+0_@Yw|8NanL{CHGR&K7n#c-LQfdG5PbDH; zI#46HcaMaVx8Jc81itvAda%J;JB6VuzNWj_*MK%#$2et0z0bO2l!ZrX>gy>`aGv!Ly0WzrH<*erXHuyn8?PVes08 zTOh|Q8Uq%Y=hZc9D95B1^Ega5ri4p7UzXZh`kUAcjY~3JA%GDC+0?XF)HZxM>-&7= z@uuLlhLOJ~O6<87*tdh%I-K2~A;<|LIEPI+IGiMKO4~r(366#yr5k#dO3*ZrvszcO z`AQ;^#TKAi3Z7wNgM1S3DrWk$AqeUmnYY6rfb=&qD)ZrR0`|XOUviW+36=VcIWYJo ze{h>3I>xIOMDC;2nI8dH3Z)gk$b0B{)~nU?oRDg6l-2mmVIVng`G-Za>?4?MySu@_ z;)%z3TblOZ1_cy9VWt}~YXir)X497ucVQpQ@L*n5v<*^OX2&La7MRgl{v*A?>g!5{ z8L2PgpJ*8v{Ny{akEZT8yJ6diMWbQ7!)o?kgZ%S*QV`f`Be$-`yOVnHOW$hjN#GD; z7r+14_#(w^%G9pzZD~55NdZ$-@+Cd(UW9G05W-wy(&z;7>&SO}B@U%_Qr~8cBazdM?xM0+l zJFG0{=fKKz19~)l&OyeyH*Bqd&tCwTgH(+Q=REVmImU~nQ9U{4VQGYhhWf$FfSVgM zjlCDJU=a-37D*Q?6?(=aUJCM;n{h1XT`KHg!A?)I9rXdf-={EaEE>vJ zSPtlKP-UCX@EgxbunD^O#y!7B$|cwE!~6HIlY?MX5-{3i&(WmvpHHnzWLMhjEk3>& zts9ZN)Shx@@1W6OYUYXnk@O^$o(bX?Nt(K-oGH^*gPqI;U4L8V7~vinteger reply-bytes #f)) + (write counter) + (newline) + (transition w + (send-message 'quit) + (unsubscribe 'reply-waiter))] + [(timer-expired 'timeout _) + (write 'timed-out) + (newline) + (transition w + (send-message 'quit) + (unsubscribe 'reply-waiter))])))])))) + +(ground-vm + (os-big-bang 'none + (spawn (os-big-bang 'none + (subscribe 'quit-waiter + (message-handlers w + ['quit + (exit)])))) + (spawn udp-driver) + (spawn (timer-driver)) + (spawn getter))) diff --git a/experiments/sfclient2.rkt b/experiments/sfclient2.rkt new file mode 100644 index 0000000..c0bd55f --- /dev/null +++ b/experiments/sfclient2.rkt @@ -0,0 +1,14 @@ +#lang racket/base + +(require racket/match) +(require racket/udp) + +(define s (udp-open-socket #f #f)) +(udp-send-to s "127.0.0.1" 5678 #"get") +(define buffer (make-bytes 8)) +(sync/timeout 0.5 + (wrap-evt (udp-receive!-evt s buffer) + (match-lambda + [(list 8 _ _) + (write (integer-bytes->integer buffer #f)) + (newline)]))) diff --git a/experiments/sfclient3.rkt b/experiments/sfclient3.rkt new file mode 100644 index 0000000..f496a75 --- /dev/null +++ b/experiments/sfclient3.rkt @@ -0,0 +1,24 @@ +#lang racket/base + +(require racket/match) +(require racket/udp) + +(define s (udp-open-socket #f #f)) +(define buffer (make-bytes 8)) +(define nrepeats 3500) + +(for-each + (lambda (x) (write `(,x milliseconds in ,nrepeats repeats = + ,(exact->inexact (/ x nrepeats)))) (newline)) + (cdr + (call-with-values (lambda () + (time-apply + (lambda () + (for ([i (in-range nrepeats)]) + (udp-send-to s "127.0.0.1" 5678 #"get") + (sync/timeout 0.5 + (wrap-evt (udp-receive!-evt s buffer) + (match-lambda + [(list 8 _ _) 'ok]))))) + '())) + list))) diff --git a/experiments/sfserver.rkt b/experiments/sfserver.rkt new file mode 100644 index 0000000..0f028ea --- /dev/null +++ b/experiments/sfserver.rkt @@ -0,0 +1,25 @@ +#lang racket + +(require "os-big-bang.rkt") +(require "os-udp.rkt") + +(define counter + (os-big-bang 0 + (send-message `(request create-echo-socket (udp new 5678 65536))) + (subscribe/fresh sub + (message-handlers current-counter + [`(reply create-echo-socket ,sname) + (transition current-counter + (unsubscribe sub) + (subscribe 'packet-handler + (message-handlers current-counter + [(udp-packet source (== sname) #"get") + (transition (+ current-counter 1) + (send-message + (udp-packet sname source + (integer->integer-bytes current-counter 8 #f))))])))])))) + +(ground-vm + (os-big-bang 'none + (spawn udp-driver) + (spawn counter))) diff --git a/experiments/sfserver2.rkt b/experiments/sfserver2.rkt new file mode 100644 index 0000000..a8d3ca5 --- /dev/null +++ b/experiments/sfserver2.rkt @@ -0,0 +1,29 @@ +#lang racket + +(require "os-big-bang.rkt") +(require "os-udp.rkt") + +(define socket-maker + (os-big-bang 'no-state + (send-message `(request create-echo-socket (udp new 5678 65536))) + (subscribe/fresh sub + (message-handlers w + [`(reply create-echo-socket ,server-socket) + (transition w + (unsubscribe sub) + (spawn (counter server-socket)))])))) + +(define (counter server-socket) + (os-big-bang 0 + (subscribe 'packet-handler + (message-handlers current-counter + [(udp-packet source (== server-socket) #"get") + (transition (+ current-counter 1) + (send-message + (udp-packet server-socket source + (integer->integer-bytes current-counter 8 #f))))])))) + +(ground-vm + (os-big-bang 'none + (spawn udp-driver) + (spawn socket-maker))) diff --git a/functional-queue.rkt b/functional-queue.rkt deleted file mode 100644 index 14334e1..0000000 --- a/functional-queue.rkt +++ /dev/null @@ -1,75 +0,0 @@ -#lang racket/base - -(provide make-queue - queue? - enqueue - enqueue-all - dequeue - list->queue - queue->list - queue-length - queue-empty? - queue-append - queue-extract) - -(struct queue (head tail) #:transparent) - -(define (make-queue) - (queue '() '())) - -(define (enqueue q v) - (queue (queue-head q) - (cons v (queue-tail q)))) - -(define (enqueue-all q v) - (queue (queue-head q) - (append (reverse v) (queue-tail q)))) - -(define (shuffle q) - (if (null? (queue-head q)) - (queue (reverse (queue-tail q)) '()) - q)) - -(define (dequeue q) - (let ((q1 (shuffle q))) - (values (car (queue-head q1)) - (queue (cdr (queue-head q1)) (queue-tail q1))))) - -(define (list->queue xs) - (queue xs '())) - -(define (queue->list q) - (append (queue-head q) (reverse (queue-tail q)))) - -(define (queue-length q) - (+ (length (queue-head q)) - (length (queue-tail q)))) - -(define (queue-empty? q) - (and (null? (queue-head q)) - (null? (queue-tail q)))) - -(define (queue-append q1 q2) - (queue (append (queue-head q1) - (reverse (queue-tail q1)) - (queue-head q2)) - (queue-tail q2))) - -(define (queue-extract q predicate [default-value #f]) - (let search-head ((head (queue-head q)) - (rejected-head-rev '())) - (cond - ((null? head) (let search-tail ((tail (reverse (queue-tail q))) - (rejected-tail-rev '())) - (cond - ((null? tail) (values default-value q)) - ((predicate (car tail)) (values (car tail) - (queue (queue-head q) - (append (reverse (cdr tail)) - rejected-tail-rev)))) - (else (search-tail (cdr tail) (cons (car tail) rejected-tail-rev)))))) - ((predicate (car head)) (values (car head) - (queue (append (reverse rejected-head-rev) - (cdr head)) - (queue-tail q)))) - (else (search-head (cdr head) (cons (car head) rejected-head-rev)))))) diff --git a/matrix/TODO b/matrix/TODO new file mode 100644 index 0000000..d7b0afc --- /dev/null +++ b/matrix/TODO @@ -0,0 +1,31 @@ +## DNS + +Make RData and RRType the same thing so it becomes impossible to make +a mistake. + +Tests needed: + - encode and decode of each kind of RR + - so far, have: txt, a, ns, mx, soa, cname, aaaa, srv. + - that leaves: md, mf, mb, mg, mr, null, wks, ptr, hinfo, minfo + - most of those are obsolete, so finding wild examples will be + very difficult + + - encode and decode of several variants of packet, both sensible and not + - misleading section length count - short, long + - misleading label length - short, long + - misleading rdata length - short, long + - misleading txt record string length - short, long + - looping domain-name (using compressed format) + - compressed domain-name pointing into hyperspace + - txt record with rdata filled with a list of empty byte-strings + +## os.rkt and friends + + - move from quasiquoted to prefab structs + - define a prefab struct for every evt? that we want to use + - define lowest-level drivers for each prefab struct + +It feels like those lowest-level drivers are listening for *demand* +i.e. they're listening for presence and are then acting to supply such +demand. Think about the relationships between presence (both positive +and negative), and interfacing to ad-hoc sources and sinks. diff --git a/dump-bytes.rkt b/matrix/dump-bytes.rkt similarity index 100% rename from dump-bytes.rkt rename to matrix/dump-bytes.rkt diff --git a/indenting.el b/matrix/indenting.el similarity index 100% rename from indenting.el rename to matrix/indenting.el diff --git a/os-big-bang-example.rkt b/matrix/os-big-bang-example.rkt similarity index 100% rename from os-big-bang-example.rkt rename to matrix/os-big-bang-example.rkt diff --git a/os-big-bang-testing.rkt b/matrix/os-big-bang-testing.rkt similarity index 100% rename from os-big-bang-testing.rkt rename to matrix/os-big-bang-testing.rkt diff --git a/os-big-bang.rkt b/matrix/os-big-bang.rkt similarity index 100% rename from os-big-bang.rkt rename to matrix/os-big-bang.rkt diff --git a/os-example.rkt b/matrix/os-example.rkt similarity index 100% rename from os-example.rkt rename to matrix/os-example.rkt diff --git a/os-timer.rkt b/matrix/os-timer.rkt similarity index 100% rename from os-timer.rkt rename to matrix/os-timer.rkt diff --git a/os-udp-test-big-bang.rkt b/matrix/os-udp-test-big-bang.rkt similarity index 100% rename from os-udp-test-big-bang.rkt rename to matrix/os-udp-test-big-bang.rkt diff --git a/os-udp-test-userland.rkt b/matrix/os-udp-test-userland.rkt similarity index 100% rename from os-udp-test-userland.rkt rename to matrix/os-udp-test-userland.rkt diff --git a/os-udp.rkt b/matrix/os-udp.rkt similarity index 100% rename from os-udp.rkt rename to matrix/os-udp.rkt diff --git a/os-userland-example.rkt b/matrix/os-userland-example.rkt similarity index 100% rename from os-userland-example.rkt rename to matrix/os-userland-example.rkt diff --git a/os-userland-stdlib.rkt b/matrix/os-userland-stdlib.rkt similarity index 100% rename from os-userland-stdlib.rkt rename to matrix/os-userland-stdlib.rkt diff --git a/os-userland.rkt b/matrix/os-userland.rkt similarity index 100% rename from os-userland.rkt rename to matrix/os-userland.rkt diff --git a/os.hs b/matrix/os.hs similarity index 100% rename from os.hs rename to matrix/os.hs diff --git a/os.rkt b/matrix/os.rkt similarity index 100% rename from os.rkt rename to matrix/os.rkt diff --git a/universe.rkt b/matrix/universe.rkt similarity index 100% rename from universe.rkt rename to matrix/universe.rkt