From 47bb4688e0031b5c68265d101f0a44606294f361 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?=E6=9D=BE=E6=B5=A6=20=E7=9F=A5=E4=B9=9F=20Matsuura=20Tomoy?= =?UTF-8?q?a?= Date: Sun, 29 Sep 2024 01:51:17 +0000 Subject: [PATCH] camera ready --- src/content.tex | 6 +++--- src/main.pdf | Bin 257831 -> 257792 bytes 2 files changed, 3 insertions(+), 3 deletions(-) diff --git a/src/content.tex b/src/content.tex index f3ca861..baf8f8e 100644 --- a/src/content.tex +++ b/src/content.tex @@ -259,8 +259,8 @@ This paper proposes \lambdammm, a call-by-value, simply typed lambda calculus-ba MOVECONST 3 3 //load 400 CALL 1 2 1 SHIFTSTATE 2008 - MOVECONST 2 6 - MOVE 2 3 //load "twodelay" prototype + MOVECONST 2 6 //load "twodelay" prototype + MOVE 2 3 MOVE 3 0 MOVECONST 3 4 //load 400 CALL 2 2 1 @@ -383,7 +383,7 @@ This paper proposes \lambdammm, a call-by-value, simply typed lambda calculus-ba |x,freq| 0 } } - fn dsp(){ //called by audio driver. + fn dsp(){ filterbank(3,bandpass)(x,1000) } \end{lstlisting} diff --git a/src/main.pdf b/src/main.pdf index 05c60dd27d44352f83266efbbef14c28b12c904f..8bb76050564c3d55de8eba571baed46cc6cb6376 100644 GIT binary patch delta 12020 zcmajFRZyNy(6x&@!5xCTy99T4ceen+9d6v+9`wQ8-3jh4Ap~~_?iOIb-}mqRpYH0K zo@=`1aMe`zswv+>3)(_!AghGrZ6>eWLIIvZ!zhLtb7qKH!QaI?T=QcII^4mTn1rEw z!}5MHgpyr_$jAH)yYtkv>X~z&adB>E|8s(+O*>0$D*88FGhTCC5mw+V?f%Iz6)FuJIG#eS$ zhF@>~CvyFb*)U2G{Et5D;@E!|Yu%><;wKiYh{tsvUB>f|f$Mgm81ulqx$EW+uR^L1 zRbcNmI$+bl0Cdpi61Z)$@Z&PNjQ|P;L49oO zSeB@^H`=4I#r3PDP($|uXUm#ptmTzGw#?5>4`^1Q+%>tqmh>L3UVX_+k+*Mi;k+JK>s=>PWh@Ldy?rj8M!DVK>iX>0o%NjI+JN3vV<5)y-_b*LJddh6 zYu2-pTiw%G6X@?c(f8Hkwwlt9GS(`;61n%-Bk7SduaA!Kh3KLc>F++(7LHDRz*{}5 zx!&D%7{-dXd*vsqBUysf0tbyKz1%OYFdT@MntV5M{_dYV!8CCqEpk5^(hkUL6 zPl2B2A>g}k%MYinAIeg`hl(iq+&zwwgdo(J`;shq%Jc&^I9__j-z|=6pRiAbffF7Z z(VwOnM!`~lq$Z6+C9+~%bB4gf$)1Ru1%iTulvuiwaW6{#M&N!F;`7B%OpUVdGl0hd zHk;I;T86#xtqI`oWBZN<^sbe-^nA6Xu)dX{(q=5ZlcjI}Lzm>NhW#n|!y(PG8c}Ox zxVM^}Rk>KwX4TR-S7sFHPB`1ukx!3^o8N$vwSEG`)vor1$P>12Tu$LmFecu-?_W7_ z%V{)~T(a9y^(HNw(Ub zf=oxx#(u{o-6KU!Sp(0?#q&Z-AKH4>5Y@Njmz3Nk7**(T6Y*h3>%!h1v%z(ul}a!i ztxOGEs$k0KgIM}rdD68&6;#?&RjHU7hO)Y%4CUW1@a-GoB6N1O+#TxKI}p!7raAa? z8)Ss`F*Y-LH1Q{38k6VA$n>K)?EPCeb7ADqg`3y0J?|<(tohK!PBSz(#BOWW(vP~6 z&K8mUDp#HR+dUPR8W%jo6NdvoA~XDe2hA2u?XAKB`iBt(2Lv!~AR z+OJbt{s+i#(?GGhs8-w1dcf{sfHy8T%Ip3NHjK++fptl*5iYKy4{22s@54Wz)l=-|5;!HC#+}58K7kZJ=+_5A+pTL=_6lu?@M9c4|uG0B2tJ?y(_u5 zK7_noEHVld!S!4*Db$@85jb}KNb{`0vA}44){9N|k+;ATELzx0p*k2=6H8fVfwe0X1cj*T(Eye|%mF1?&SAUD`-4=ub zF?#|jtl4LhSqU|tgO<=G6ZtZxan_x16idl_+{d^;GKS=HqDyy1sNt`RG8Jn|>)QJP z=UK#{uPZ<4Gw>V3LgFd%ZunxnC8r*hYirScfR*btrSUnP$>`@#MlUZ__m{5o=jfcX zC&R6+yVN_NM3rv#t!a0!kNHQ7(a)g=jlY;<6)zJ-QrpgEuxvWu3IEw0yg@qnZFzkh zU!BsiPRkp%t+#Jz#Vv}4M^Q0GX{^sWo)q2%h zM9))QrJu1sDeCdKy=E#zPHjaHuQ!5)pyYMK*~drN4MiPHgsYHI{-2{Z<^&l5pWg)x zf7jhy&csA9Ni1xG#yvFrE*B82ut^%KkM`&y=XN3v30RT9J#=&hO%7e^Z9L_aR_5rs z&z2fM0@73!gN@zUP3~Rr8M*G9UYQU3g*|93+EVi54#jKWUQ{@o%l_<4y>BCr2 zO(|4!U+BXUhJu;~+ICvq_!s|M@q+6wIoOVR4vd9y@|WgcolWr);0UGfAk`))OW_}4 zBgy12GoLFNJo&V0lBv`y&ntuVh6uiKAnuL;-Ay}_zn-M<&44na6e7%M?tZPnRUh?3 zzOV2CK|^XNP*Vzfl_(s4+NCy0vLE@_ts>j_UG3P`bzK&V^}KELD&T{&$M3HQE${tA zw7!$EvFg$2^_^F&r(`}>JSeh?7XpdeJ-d_OzTUG=IO~rLccQcjlw%$Q2qza07M?_4 zsvAF!YIgNzj4A#{G(S!132TNdFo0DXr~uMY47`a4Th5Iq2ipuJiXoe#2{T%)Cp|~9 zJN^S}_mKIzUM>?RDylgiz_9HPj0Yp}ZMq<5QwoZ$oa=9cL|%kq;F)HF6zL5O!Sj2# zVFW#SzspE9t7e58e5UnLo%pONE{@>9I$fqqqfPb+N}e9r<06x;+ZN?PL{+$4|g0KA1ff5^*9b%$NZfm0@Pw75YK1 zsNE6XTv&|=(Iq&I{p$=YESM)1)EQFnnpB8v%OvqTqhPGsR20T^jIW%e(b@6{nzoxr zQjK>)c*s6YhEzM^Qz^l}9zO0|`8$)s z3e%EhJVM#`^bVz08e#*TAf$4qMt7!mVgqes`x(RxgAc0aGUY%o9gs+_(5a3p z%%+c5dx6f&6ilB(f9pv{I%kEf#n`>An_x!A&;9Z{w5A zcoQ>(Hf$1<-(XPMqf?@`!_=&U6y?1M%xs`yl%=I1=npqQ%YRg)LiDS`1B2(C2TYdP z*LG>Sf77(+yGO8`3v5-Sk6*9n#HrCgqm2Y^f7y})bmS|~yEp}`2s0JuDLl@u>mCt| zk<>$f%Snf5YymtFHzVxy&lsv#5M3E4f~VPvwJvUQcBU^M2Wx0om%D7F;eW!M`;F^3 z$vkke=}M?yD3?h^6-c{vd#K=Ex0$M(P{5(J>NsM`tVDkF}tn;$>z!W(T>+^RdybK#`dK?p#+H zj3%A0#t^tG$cC9#QaokA85sDwwmLt5@^HLU9r#kkr~PxVn}yE>y6#lSbc0mHIF8ed z!uOiF2rwxgckw(mw}ybd}N&I!af_6JeRc+i`A*mqj3<#rF$cBX^2fy(DM+WVcR@lxznzqUkEkUz}OpGD#M zF9o~a^wJsTqc0%|JMhj9P7wu&>5lX2t8D5OG9hcXmOOC8`33D{~MVuOYOm2m9ZuwOOTNmmtkWfLJp!}Drhk~pM{TjwJ%rF@p*iAn^ zyUox+JA_d&stUIgbpJ_Oa&yge(hPMMNovw_UD`2Y zAo^%1PrdLff=G3`D2KO{Cm~oO5H(xwA7RA~By*_R7w+%vADn(d^7YlXthuyh`tjs9 zF;iIEdTtrG&^Vn&0MuiM28Ton#u$^8q-V2Ob8=OMC4}mO!ll8&-n;2GkRiezlexiJ z=DS0D0`ME@x}bULwAsp4-BHQQh#;V17$t@+U2}*EINkIY_IsABHlQc*WGu`*;!9yM zCvwTJj@{rdmMh<;P<8UdHaDa>+`RkAo0;B;1b*$hD($aSXS!U!B@tlYau}QY70LGH z7u!ONN>9yA6f_%3+}q?T0AFy+Ejv4#Oom9XIFu)-vM=gOm zlJZK4U`+c%kq!oqB0J1XU?jwYm&6MdcTw2LvO-bV%aG|_W|or(&Yw4NXIA-9s3c9? zsl)M|(*}O(2@0jKcZ(*W)uPmlC+Ob;PL`NCit#94vjTkl(t?tJ6@)hYw7+O&;Ohj0 z3EH~frn)__TO80#MIQ+!4HVlBSG-2fEqeo%8-j-s+vbYmkx>y}DZc5_a9?#!cVpZ> z9Ec39vQ#W{keU3=gsFsUblZUn_{-1MmG)$duVVfEAL}F2Gg?bCogdy#c4mk}ieq>T z1PWcF%B&iqWbj-zAkxZ&J5tF=kD9xd^rYZG1JWpPF4**&OV>c2lu_SP-NflpQS~S7 zI>IBwFlmy`P3-og(8iF2yyoH$>fb}b{U@bi;Q(_kp#0nN62rL^0xjN40-WUcM%+0T z+v&^jbbpbSN{#mO%Vjaa58)sNZT5!YE7Ac+-)oa$lVNUnz@Oqt!O)$46SUdE|ypYG#4eVLaNIn>!BiP4tdz`In+g%ttmI!4)Exb|Qn&z0kcz#v#w4j&u zb)G+t!t7f!P)Ea1BYq9JbDiqs(C2jBypxmh0HHNQH4ac{1gostoMgQu|0OII!BLh3v8Yw)jh%!j0?= z$rvtZBVcOA5$BA>Ck;Jlg%g$pInfYIm>PDU&SV(^G`Xkn_8*OO{V*8e)XI+v23PWlvHxO~tkmx_stK#|BdOlb_;+NY9J%+2P+R+V;F?jns z#cKTivHoMr|79d4l=B`&i7UcS)g2{!aBuiA`hbXszal$J+Z6$JdK(#usYesp8vF;kQS$FZb?&NXPiAB4J8r6+BjE#f%60T!jrGy6qP1hIC`a zkY$n)&|)c(7UTZ!N!+Ob>zb9&zIDQ^mdDl^kWAjp^e!9R^6G9Aj0a6U3#bT4rX1-^ zEH0#u@ZhthU}TB#hYwC=*cGhd#>*vw=-3p`P2p7?w=p_+5<B&;%u?_T> zgYnHRT}!}0-~@G=TK^{9z9;BKUvZ^r)o-gzKXf7Ju$=e~1n3eC;~7_WwGq=EQSWpC zx9eczHgG&t!b)?xPlPAI?-Q9}Ia!03r`%uBGcH@uXMYvD)y$yV zhhv`cZ;1!)mj>~kL@312klb$K6{t!9ERA#U;g=G#Nk!{#g+@`2L_O*lV^KC!eD|v_P6rxIDoUy8cbCLn70LY zp@7?je*<5HqAApOzcQhJJo^l%&C#pGmxK<-H3&v$Sx`p%HZGN1J2{vX)Fo$X;g;Cy ziA4+K?&vHAkmDh}O8#(7$8?d72H6^fWOb4Z)`$LSmFRk@tXKKmL;o+#ZfLJC&ASP-juGDCwxmR9;I_hr%lahUP4mkiu&vaUukS zcJo!{gXqjtv^f9VsdW!I-Hy1})3lkHY(ZJpb_}B6d-&S=L(IMH&B93g_7g6OsJT)D zoio--!hUaiKNQy0ul*5THakAyY zp|}0cpuNyGY*jF#i`60|=eZ#p^0MKYqNcMUuMSx^pnn`)8`r6%!CkXxZx1`wl0oPI zI5%6axd>$mI8hPxL#|8dIKa9GaVm!fbIL)xt@X3w!H1Z_8MH;rI#-mcWB=aE+e*Pk zLEJ*1Nz3-2E-hKqypCuTVIq@KCm0!MNZ*B>7;29Tz`@6<^M;m@bz_Ub<_Q}RZR}$6 zFBsC^qpCK?Rbd_Y^5(e<%^MsrWOj)T(doO%0XD zrb4@5cqo(c-0H+yEXo_&w?n!d=+aqq@L8x=Niy8)gxGF5?-55ibYlUY=4 zKHPmd!Z$wWT7LWt=AlgU-+yyszJ!Qj({$z3Hwg0X4?%b1O6H(MA>Sd!4t?1G3Vb3o zl=PcIi3FT*#L6`gCF3{-#e+0F*U-KG3WEr|qfl|Fi>4b@afGo3Bl@RIhjFmt^&D#6id^|V_ zf4VomShNcMG49nfQKC6?e{u2Y5)^j1ds*%rBBzzL4GU8zlmk`?7D<-VZUhNc(aPtH zOAaG1rW`|Rwl8LlP3lhnoo`;6cNf0)e!DTQh!Y=C5Lt^{ViV_)vJ#`K>YF^c_4V>` z>FxgAL)|SxI4zH3kNc=9B}Sb!DtZyocI=6l>gO(-ELMT9rfOXgD!VHGfnZ+Y_bCG^ z_(Eaw83A7+rUl?ryC!~3-mt^nvb8FMw52xYSo&EUyg$KszrHV*9PC0QO40UlSouWn zu2?~cx{uz1J4tDaqourxj=g)rn~H#adCEMBGuHA8y#+P*L|QfmX&2{g|rE; z*+Y^eE}HCcymyJLizF=MChlm3Z8Q!YDbO1KF-TtH+lkvUWgG%~ipx4+kCM|1vxMIE zWiAVI$aC&H@lbaDGj&95=;iCEQvpIuLH~+d!Kh|6f=p_reJfe0bCT1jo{70XPG{p$ z=HMUHXmX&eL4U{#TSM1?vMqB^pV3u9(M;;SaG+MMl!<)}8&+pO(;+78>Stqk1A&cl zf|*qmUJtv2O-WQH=`cP&1x+KDbV`&QQw4p^C>3tnd=Y!}NbDvVtR~PpOf`BKA%C4~ zy^O=`o#ae9EJTyD?cOzFxgTMmhHQS;M}umn#;x_L(!cHc{(dm|c4PG0wJGpe>-ndl z*W2@6*ZKufeK&lSYXNKIyHDF%d*sd}<-E7nf@bGwmuu6F|V`9na zBpg2ERr?dNLM=WLgwX+w6={JD`QL(Sx4?$xZieFI```Ee!eGsHeHwqQLrdS*qX$=!W%opy#6Dp z|C{!4QRB|Vz2eRZqC=AdP7;!ZJdT+#6mOIFlCssjSTF}FzkzJ=GekWhvn4~tVWj4v z$16Hi!uIf`cG7W~76^5q)qB{cqAT%6zPbh+2ZQK0`O9a_k|oyDWchMNJJH}wKf~P zO`L;01VmXL5&a_39hq7tgeu{|m>^4$IOU3T7<0hhN8xVgOT~cD05V~uWu|8GJ+Zip6&sxz1JNj1zn`jJ z2yb?AKJeA*7}&&-d$bkEW0qN4`)f{cX%bg%BD1#Z5U4dR!tPD~nJY8{wvx%`bNYR( z=BaPUlByEqB##8;t&U8EP^XRnSJ1HR0@)=qF(*R1rk9d8J!>Q9nG5`LY|>R8jXm`C z&HMY4_ValR;S;K|Z`u?NIOrvyS0_Ok}4XUJlVB0{t6B0fj zx)F=Gfs4b>vX7}@i-Q`+XjZ>C1k$j$D3x25=_$)$C9(I~v;|lCJ8oE7UAvW8#-=EQ z=6<+Jg5Wh{(rCi#34t>Rbt+iuV1kWr8_4fMc^#2Uh)l`y*?Rmtp&`j~7@k(lz8B!^dC=ariePT95<5l1P{o^qRV5Dh2baBy9tdBXp zB^k|`iOzxbK46a>V}roNR8USm9~uKF7R$-;A>m{%mR2lpJ261Z@anLN2JBIqZgj3Y z6)1Qhl__W*fD%9>TghJz0<)~rsv#l3Pr9WKQZUmdn8K>L1v9WK%0T+C8_clAN>wxu6@x}r_(XEwv%=8p zFsj2#T{9@9DY<@59OFYxkztLmA{BZJ_S>%0)KX+B#iL8eqArGIIHA**?lAZDg=<2m zfl>DW97gD6KYMg~%8GUJ5?$;vanwZ!3M2b_HuZ^i-w|AOCVO>;yT~L87Q1ibFuI0i zL+3GCbVbah2SNsUmhGJW9J(f-pU=DdcPFW>veWMAQ7;|lFEPzQ1Sj)x;f&1h+_>%T zCZvlm&QZ4{z67%x;4sd3I?0$7u6PsS>OZ>xe{Up+flRAh_j^R!k?y^N9U8wIjqP>Q zdS4zqs*%y__OM&~c1u@VKEbZ6&2CR|s^|+vj_`a|#q8ImtiQw|g8!luZXHVzsOLKc zWX?g&0vI*cb}*=fq3tQdVnk^O-I$LS_+tydrAt}@%%f&uk(WZ)cg4vBDcTVTQ#5FS z*k%b&%Go?>=_H)-7G1rN_x^-r3WS6-NNibO)Y<6Oj5LGU#tE8W1w(~8eM1NEl%9FuzTPBl-=M_rT>WoK zJ}h#Ra{Hc&1jwXs(hofNLSHXrX4!uLjc$xBRvvYlx(vF%Tj$w&=?kO1S{QMt5ZzPK zh^Li$zyI@I!LK^U^ZQYWCC_$vLT$w7CXIajs~A(Ek&rO=pK}^F9fF{vd@5uM?Li22 zm8_83{P{GTm9025?#s2*u%hWg(lNcX1 zO2nqZHaitRfkd(+n9mpx|-(oO`5hiQ0rHoivb*aEKoA0`c50 zfiEVm+Vu4b*=EHGYXB{_r!TB1-2p}U6v0N0RPAOPEqQ$jHgZ?xEaUfhPBBfpMp<{b&|dO9bu-prv)N`V#n~+S-G^7C5LkH zi65~ajy-CQkmQQ*JhP#etg?}uq8M#;FvS4h$@}*TYg)!!ikZXSxoruUKd+?RlML%z zb=zxcR9E}WZ>)n?trKUq{qS+NhwQHQsp6aU+Jvt+6n+KuK)RO#>;{l2=OisoL)zzr z|9;h;GB^(J!^{tdjv9;q{Bk#qfrr+AMCJ}&717*3=%IB)E;y-cmKVgWD)!0w1e z%2><8-Z+WeT6U%jNa|?W@p*pm{TgXnF|E%ZV|O@f6XljZkjyX6Q~ZN2z=8|9yV-Q* zVdaf7K5X~CdtNzP9U}zBkb}Gr(>CdZmgI--M>cO3e?~IdRWBL?beP1h*;~_`ItxH%(y~U^V)e@{df@n60`x7 zW<4ll37P|DS2mv>G`$2(0{Ip6cL~}ZvIAtY4E+siE*_M-46Ojk2s&AY=2odX9hw+p z{!6oYkF!`&LLD%8cFO30W4F=iS?Ai#71-}l?6$Dj8Ra1yp|0(S_%x|^l`kwJEOaH? zL0N-U5LOLIZGPimAUI=j<888M&kS;0fhGYIum%|gmD@yb+u_od*x7s%(Z5#w%}H^l ztk_OahPd`kYn+5lM+YE^coOY9#Vt$Q<9PO@PbJWCNts1ssJwa4L zWm!((Tap?f#1b85zV90^*CCp^9&P9iwr)@Y>UI9+6xzfxw^98bTbf#1@%BZXiTero zLxz>#ziiNAWad(-bEC_Z#9GD_G^PKfS%+OtU(_+zt^w)AWY*vvreljSi-{G25#|}+ zsVYjPE#qfYN7IBga0H^&G_?c9!m(((e8_JEJ-3FZGCpaHWeB)$+FH{!k50Gsv$}Xx zEYmt>tE>C;tvozr0gt936|6cvEG9twL^jO%3|*3_DgArk)_u*vh{z^t9*YE#=`RjA6-$;z*eNFSA}?;xFBPIkups(q+h^oz(Gl7B>w{! zGr-h&Aqm&*o1AOZis*2Jh8bfLV+J&t77Q?>Iy%x z=E^9B(>Zi-9{(6(?x@qfiCTcc73)^owlK_d94DVcAtKzE^=Dw5BDYr8 zxDvKhHtnw(gS^6UuOG9}JUrxE4X52_V9Wa%p4Xijp&hCzdh<|KH?R_Ka0PkPGual9-264*pL8wqjcuesIo6KKe<#XL+!>d|>cC zzl|V#EGZnNDRx}23mYWO0CvHWcURi+`Hh?DSEeAhAmM{kF0k?WsR#Jum=%&ayPzE8 zEl_xDd0TB7uN*%ULNM{C%fshv%M?V5Gek{Zt^gXW?=}ibRG}$UQEv_9<*pMl_-gZ2HG2{RLr%bA<@~ z_+|T+IixrALha&!Pqpe~{diq6^WZ303f!o1l8YSV&f)+&axclts11xxN>`bKgh$9V j+O<%VrMHi^(+~KvUEiOek4tDWL=FxlYHBGJX{7%L12E=o delta 12019 zcmajDV{j!*(D$8_6Wg|JYh&9R+Z%73oY>ZhZJQfA+1S|F$;R0Dx!(J&=l=Rk*Zile zYraf%*UbDna2vIJ8?}L~62RX~Ub&3~@|s1O2(Pa^sSF)j4R$_K=9jpYN~8eKaB7OH zA4X#`{ym|PV#ztF2n{FWPa5?5w6@66pH+j8VBsq?0HtCdSzAe23CmDJg>e?W)qjuA z$11g!vimO}8OT0ZNyH-v0nwcX&Gbk@=N3-&=OSpGW;EA}-6u;Ehs|C{p_I^0$SoC) zQMyfFE$`?nXvcO>+~V#~h1}uW31a@*%nYdRska3i@s|pV)LT=xrm+J57F>BR3A@dk$l?beX5zq?Yq5QWPB`NWAd8nt{&fPu>3VwXxsR)5uu;qFGBN z;k?Lf;eyb5b)@s6^R=oHwYNuZYhzXL?D1r6)XAuC!v;wGm>jjkbK(PH@~!OcY4q@S zoYFgYdM)ab$y(}jaMb)2aFU>pmrJMjqb0pvVCDEYqW$ZEBApvmMfcwB-PTD5H`VFW z?Z-FJ+x{3XLKbL@5qmA8W4z3+Rj^mINqK>8IwdWdvUsWLv3e*5^ujtF@ieXUJY6YU zpA)s$9Nzv{^`NORGmlHdwj`NobeF~wI=hYeyl-D*iM2Cc@Yd;f6JvvHx9qyTGo6N- zquW{v-vWy%OlpLTmjz@@Bzs>>{S;A6xsoA7^Z6_!`2ePa}Xi|Mz;d4`k6}9&3 z)`>TpD}FUZaai#)a@elaorL~Kn-CgIqG%haLfxECOqr;Q?c*HjK^fK#r%>B5o z>9&kU9Wt$bF^#qT;Su*s@-fe(=}=uiF2Aj9o=l_KZ!icP!XunSMejP}xBL>;Tp^a| zZsXPp%m7*OG`aXl;mbEO$)}Xw;~M{%H@QF9GSUz=z_CqJfjVTkP(&80Yf|Qzv^_6k znyKrNx9|U*SuK{Z)I~S(r@3&fSFn(T=<q@iNmszwBj?(U3mTsw|H{s#q+f02bB1!vM*@Y0UpDwgtraYNce;z~lE<|5xmR zKRrB(N?^HkQjQ7RNC_=P`NBXTrf!n=jO@7Sl-9SNIOVL0z*3lh;fsyjUz$v@CNV8Jli7=Pv&WP3fYv~j}nQjytd z2T@0V^A?(KqIDBafKer0bN7_`<(M0vszIvCbgXl@pc~Wno^=ZF`#m1zCDUgps>g}* zA&^UA4}o-A?W{CXP#^ehrHYRIKL|VSt6p+0gG4YV8>=){*=kBHy&!WyUw+l(<+Go9w z7mdn9s*#GMVxEiuub8AwXJ0pgGVkta_d_&FEr3;IDw(m{2ZqR#%Y1dn;=lFa!Hs>r zwB8fDED)Tqau(f`XQh^dp!#vNdQysSKQ3T+%cpy@U+WW}pMEOa{f;ifthFux(sy4X zvH_DT-gw_kHVFGzR=S3ihY1cip`7?cd}jy%U4^R<&1xAtcJ=nVFED?4-Om2wA7e;>t`YQWh0Ec-EO(#TX;3Ka_!@+R=Lvh zzGX&`z#nNv#_5KFaH5q5Ig67B=*JiCkC=Q$Jpok&!qQ& zjH?adc9i-11Sx<#*7c^g#JbQ^%O^(x2lb$*@19M5YS=QqVomBLS*DlCUe1AJlE7bm zt^Z9vW;559l>$0YaDgEkRKMrHzLTc#B)ciQZhPb6?VIedmM85x!8D>dJdZotCIG2& z2TYDONBxmS{zcp}nkd~@oAqNn|2nJdWaN3?Ile}k8@^#Z8o?_hf^Ad+3bp&{S_O}F zU*3dnb@8$ChvVkHS4m0)a#c~UFm5{u6xBR?I83AgZ|ez3oT~IZ2+(cE67TvC$x%1& zwrF=ECK!@os*KUn-c3NA1|}#>g$H|zxqa)c&S{oyjc)E8QqkI5pVa@4C#$s&3irMu zJMQw80W@{CfWbYACZvuYh-p%ff$c(2_Zx8|7WdMmrNBDm0x8Rp)o=rN0By}N07mt(@2?uX7q~@vChHY zI28TKdV{*tHc1y~aO9aws}+CXQUK&58X;@=MU^*6R_w38^rz4^0aL@nCYurr(;SCQ zE1VVPnI7hYRuQH6RVXIi_pH$h19_ipnS3-A-^Cndo1ixfdZ561eYP1Pth+qh?9Q_{ zId+n37t8$Z>=**Ei=%U5cHi+UWcjr{@ zDV7M|3+ElL1>$M9S-lN83WT>fdTl#`SVViGTzfl?wJfa+!ATNJR1vsH++M&xh^aYU z_vru9yi@E2>fc8iPaPaNf@gLV%NW><`td4OdVUGa9;;d24L7%P;PK8B#alG(rE8oOF;NN*)NHA0ii9#~LR6HNQ7p$KF8Q;;@gre%Ds)%~u;?g+*<`^WhivRWCV65R=vc=~_hqGxTxdgOjo48dZRR*3=8zm2@_MiC=m|sXt0OF*@(Y&TDi zxYM_yN>m|$2ac^^mTLuEu)DP<--?|lZYmT5(k*U|lnN4BOs6bw(8uip=Fu}OWhnM* zl6sJKv8OaF5#c1s<7tOfL09ZF*hk86qQ@l4>Y*e4s@>nG2#VJ;`|d6(l?);AXCBV+ zl7C)cqCp*hkNrNWqB2x8Y^7EeOK``nF_Csk3X-LT3E#%>T7?xqlZZfjr6N%UUqHDQJ*6DV5|~>3oi(Ft*RCG$l3MXn9n+ zl4H_&G|ORse(34>^W|VYB>-A#F4xl&(I>4>ad+ytV#HKMwUWvCgjhiez8;ukcNX~d2QAlxypBj6R9g5AxM z0R|n9H@35q$qnT`duQ;-xbITLDZ~NlAwR^crL0c}>kg(3qLBJ}Ch*dNzf>=uL4S91 zA3RG_C+h@@HOhh}pqSO$QLgP0c1y{)BXcdN_>O)6(Ts^wf=L07CUBqotzim^ffDCd01Tfe3y+ za~?~=n+8`_cf+)Vl8q{3cA3uvBs|qCoG9&QBkc!w1aD%LvFvUz_bd;=Nf4k-L-0eI z+}WIQT2v+-ld{d4LC|$=4>4LKKrsHz4#yN~@c9LG-a!P{RK4W@f73%3BH+ld^BEE$ zI&0^54O}moy)~&I?Bs9~$87x3;fu)we(65$43JVxPM`~l=itOT9|S}O#TkJBz2`dh z(dLhYzb=9?d3Uq6fukR1DIC>HrTUq+vFFny9 zFL6|s7z25i9_u$aj|myJ8s@*izYqlRU^5GPs~px-xB!T2hQh#ojiMZ$-5!X#F1Y)D zA4W@9c6R-*uq@v&nB3X_{T?#VWQ2)__OFmCcm3UXL}8RvT|d3_#{h_d+R} z zH@91tK#C|plNX`^`ccG0Rqs$jIpYbM?CC2T2e|K~Ypw5myJM|drK{*?>|Y>Rq5p~y z9}eJ)0BI==3mNr6j+u%@IwKcgItb)(-DK`Z%_fDMF|+YRTA<(|v5Ld}q2l}*!*9sD zjlQU@ho88e+sMCu?U3)@?_?q-Kt6IjxsP7QE&E>YXWmioCZ9bNpu<}uJQsKM&R+qNmCFCNk zjFyLi(CRzv#b(|{efsgjSsXbbY+eOB6Z8pQ48wjl@wALdFA-2Fa(@V!Lz{n;h{{96rlg z#h*VwlwVkhrh)-&BB3s2AlCjVf&@N@q5h6~KYs{@oj}cZ>2Rd(KD0+jQE*%a^?q#l zKV&L!#mjQab9902%!E?2$!E{ANTD)XUstfAnRA)YqFdP28F52XcB zr{ql`mg@I;Q@;qwja5E5{r(2aGXw8Ri>4Li>P1^jm8C;g^nXS~F}hEC`hpARN<-$$&8r_o#G#-9f0*F$q8i z;bzW@_Yl6beKyJWS4MTYtICct|Mxr4&Bd-r*6lH{!VDXz@cxOuRR;Sd^)6-L)=%r& zH!KBS=y7Ji;07)e+S9MDsS_orFA;qVhUdWPXbfdEpoY%g-c1%0LcM9Y#_oi#iTv}# z%$aaUu+xX%H8D**wHW6i&vcSC$uWZ~%lLU}Fm8i~Vw@2j7>88+rgS3F*f9V?BhtdF zwy<)|<3R9NN=4atD?-g3qQhw8ys#@8WPl=tK>7A}^jIMx&tNG1z{l=vAuHLQ->YY; zc~c61g23r}D^i){NVV5-CPOSt1u5NahKnMmkE>6bw7w+Yfz?>k`VE#)ymm4#*7Q@b zG(8wD0X{TF01$pHD(%PSU&sR%)z(o=MpuU$z%yni5i#X-gfU z+W+2D&|f6amE}Q7D^7NQ`dmYqxZv|kfp1^4q|lSvR+?~RT`J2ZpohVe6D=)*4sI^t zq;AV4X&x6VI3x^N#@l~_mp!`b`)JWVUU@X|GqpIqz$1DLQ5C=NlM5}miz*;T$fSck*t&*1F;^$2mro{3bnI|R_sDxWU$ubqO2J%{oC!Q z7QH%S>+ee>sB8n$n23eHJA?oz@snOsH0XXgWWr?qn9q3dih>*(M)81Hej*OCKj8C< z^_-G*NrvR8lx!@OB90`Nrja>^KRu(fT$rSdIr9BRR!h4yjMNHpo4yN&4&>Mim#7Q5 z8(;2FCw5E|wcTM$;D#kVwY*rT+tnq0p-Tf%lq<<;@)}gDb|QkE<`?}N7-fwjXXw`z z{c!$`uYCRcyUL4jIjT@5pGX)}0^8V-2JrNhYVGh$t9Ob}u!(S&T?P%riOw zn4T#k?l}kxjBS9B3bpAP^A4B~d5!)n+5V6e*l8kA;z1Z>Z!;f5`9+>=|-4M z-vHy!7FoK&=bAX=N%9WH6-jX6HAMD*R4&{t&S0q(G(n36=vPF#>gmYvT+D_DnJ1<& z7TqH(cZuX4vvXHnFBpa6+i*5NTVM~wBm;P3iuVSZ9fFDsAu-SVJBrG`*WN+9)Z__( zws{ZikL4&BtOzTnc5N?0K2GLR=qRwS1|auTj3pIcg721O1!RB2O{HY;^CVZ`3MwI7 zk3K=46GVNt6pK#BPOTV%51{^o>)Lo@#@J3J^FX6Rk8Yjn71c(ak-16!E>K}8SdyLp z`uf0%vIm;QCg3?F_ZeDEzRpTHN#1p1xK+x@a4f-MKDy(Qj;@YAOJ$~~c1C~Y zeHY@XRb7+UG_6>~{Ct5zj-;UZ&Rr}_+A4TSV@yFO_EB(f z+}KFyW8p)p%znB!3OHa`J(FAA?o+Rs?ywATh^+AvouJr)rrgWB6`z?=hM<`|^I00U z{JW~zI+Q6Ig#5Zp#0O9$ag_fN%;5a8*fS;zYJL*#kTceQAKa=N8vol>iZCjouW-xi zhX#zPZaMgmxXcV)La<42Kn|Cpc-(GmS3IG?bRxB{l)oJ$Xw`JDdgFHtc|uf^g8s$` zdWl+OsOas2+y+EiymZMAclBWjS+<0Nm2s(WbiWsn4k{bkuz#< zjG9m|Yq@@r`7jc(5fdri$G8V44sJey1g4z=K1Z~s;Hu=4;j?u?9bE#s zc|tET4trZ>s>C_ov3PB2+N#K=_7gBJ;=0WEPO?Z-ln12=rnVNL;z$=jagpG(`R23? zP@zj%hHq)>mL8ftv#(Hi!}4AK1^QssQ5E~Tv-Z&_`#ReFy2>Q~B`^>S0WPZ>{Xn6gN)h&b#~P#kpDg_|#6) zLdBMd@6Vo2KD{4{a#_Ybe2VwC=LbB0Tm?Tt2OkKiGuyRgFZ^D0E1QH+JL0Zc#`TUo zq;;&?yi@qUwq9KxpYAT#kIe;csn09cV?ygv-}pxCtXJ8BbQV2s$}b*aa8%Mc2I#%h z8VJ3=O$IFe(e?2CA{-i-;Ue|t+hOSgbr^i{OwaPHI_az;VhZH;-zxf@b+g=BFApaRd&_M3~jK<)h7RO7GHPnYj@X{6FST1Qkb98pC8yRjpu&!Ra`U(;J&SG4mdQz1Vrlw8^T0k~ueL_o- zafh22&zp`ySQ0C-pZ>%gR(<+RU?~g&)!ti^B*I9UrjAqkNXpL|`Ep2qZ-QvSaKgCj zD-JrCKz!IdkV^`jMIuPtWq0m4ugu^<(6F)8j?CvgS@O^FC$+yn_)8PbqUg{D26ZiAm zhI!in-3-Uu&htgr~_!bcoGeQ&#@ZW@N7sUc{H$!sq z{eRa!IDZTX4U)$3KhfEBDN~2^F|JbAu#{`N^opZ$I=BN;4Pcl@Yj*HW_aIb+ z6Qpu;vTDEwS{-;i8_pPZK`UHfrpu0Dun^}7p=>;?hgzWw2#r&^~F%x90hwWvob7H`9zOfN;`V!21r^q;@93kf} z-ZP*IUUX)eXJZPwgyf2X3HvYaDB~3!Do~AeP)4@!7;)v?@Hp7vZ|G_Slo&NsAf|t= zr|px}s+kQLfGj zjJZ7RrGC2Ffo`^?zyiqP7IL##jvOBoTuL#;HcsidV7la$A|sh%vXr|FEmQnyvbnRL*Nl5+#bDo7~gTWvE^t#MJIxsC)b)2!KP$sqjX{d`w$!juB3frd&fHV^;?TL2thhP#$)GL#`3QnefLEZOe2>Z-a z-WocCN|&Xsts%M*V;?Vp%$%^v=3ssOdH3@d9Svx@7k*UhGw|IDSp=;hO^#YT!iwf+ z9tE!|rRKM9ebd@I(Gw2d23y#R)n;9O5ieG5`&IxF@8A3ENP*7N$%|BPH@Eqb5A=hj z)OcjADmp0>Cr0X|sIu5>ad<+Znr?KiyERCtVEQQ_52(0`P_&Bq%nl8>0WT@S?x3CI zDkxjKakGSCj*XUTm#D|>TslH#Xgi=jc_<+p#K=GblgO|u|4&S$Adv9{2A}}Ywae%$ za+c40iHBD8FH3|yW0F$GmyEGvd^Ftg;mBr@;PVZJiaO^-@)6fUcY8z?Yt>vYBS6;B zWEFqW1hwL8=~(K^{r7Nt(A`wTK{xZ>uOEF6BFnaLiqEH7_r5*hc-e~Ibh^7ROC=6s z4V{w`wA|3NW(1^_9&cH*3jXMiPojW} zPX%Df`XJ9lt){2yUnOnZ$Q-t9nTN>AI#m1i6YX&~?277B&cO($GwM!>ZZ2#{XLH0k zx*N@CZYvll)ae;GY)@&K1srHik{Iui=V;dEmi+=#9Tm97 z<;=5mEo+(4YfFTrkj6K`KnIm$+HnLvg&H(S9#zsJ=;f{#ASv1O$CLI(X23HM+zE|T zOyd(_N`_zB@F}S(VL}yrpy0UBfhtvl&-nVVDM|AR8hz?Py<(QKzI$mkqdZD zu~2`+B5$~_J=m)7aRZhc%hR9Rwo}PI?64hbA~8!LTT0-xQMu@r&t?You!>4)7#Yxg zN|eujFBiZ{an!~Vhu-n%io+V9(M~3o+2|jSKMxw@tRVWS>#><`IzVO(pM2q3eq}?l zq*`|HePk-YBp_4cx1O2pfs{d3CVRvmnIS%s6)o*wGS~c1E#lxGui2W0PyF-}{JOKG zR^^_$g=OW|h9W4PS+0u}#}pzxyP7NuYU&;0gdB;#mdY4!0@?KX+_bXmvf@Y8v$t2T zg^uetmy9o{#$%A>>0BynHEqUbrH?b7J2bDxb?)&lsBUyxZIz{7L1jF7dbi^k+|bs! z^iwF~Qr~2+*1}Dd_qD)4NOp7|o#iVFS#n61m)H@z;h2@?a7nJX&Wm0Q3N6z4rbriN zLfy~+qp12-aJ1rlk8F)ez>K~QQlDOOZ_K}Qf1ST}c0YfzVt%4@tQ%(w^MI}`HQx!9 zeMxC;bEcaf!va{pgMfE1b7`Xv(6UXQb6vBO1Him~8K&(qyb>`^8TBUnyF9*7~ zQ`#XtR|)28E9OCV@#9e^{w$jL`G@2y$8+d~ZWBBEyf|d4 zjDi!&R#PB_DNp(IaoVp{k>Z+Am+7eaX*wrP+&>@MFVC-!HdIFOib@g^z%KK^Q_$xY z`nY&CRabTm&U#<8w+y`pX{nH~-_yUddezDGF%rt^!+u7Y{A)5j{$_0iF86P^b45DL z?FVOe^ElS^kw3lO-#^y7$!1W%Pgx?y>ZaLm5O);;OUL&wmkHG|6U&zgwlBq8hP{ED z3An~i_eV+|Nwdvn>RV=omppy?Ogz@5Buz(lB8E(bFin06j6U_E&+pR_#l|WDKHg8K z)YkgT`^i9utg~uHfj1M5@ZQMQB00HMFv=oOAMzCnY`+NPfVz_1VFDK}0*L{P;J!tm zJKz_XYY8X_>Gao1Vezhu23yoj4XQD~Jq5H}+#RZd`--^O_KFbb?Q?Gw`9?n+h6snA zV6p~yK6zBxi~*TchG2g3ny;*k|wUnvdf}WNi50q!IRpb zSq`|WI`YO*-y4mr=*^n8Q+3p#TA`rBd?-ZgA5sd^36i*ZB=9v}6}3*Oq}9GZ65}f8 zoF0b_->-RNvg&_kdl6eM4R5Zfsb`jh>@CkXgp$8S#4sm@{MeHi>P{%BeYGcw z1W*sDF|!lSUOo@>{{8wUJri_c>R)pla&J zi||LD&9xxanX^5QGpiP({K)Tf^55H(P1jrfp7`6&$Rn?VRf!UKy)uV8tzUody7&0y zpUVJ(p~l|zOPy}O^`mtM@s1I$_M~K3cK?KjMthYtORu35$>F+4w`?wnwI6p=eSqWJ zbA|tbvG$EspePI!7Y8>Rm}DD>|36;4;5HBvQJs%hf`d(xTZ)5Q;=jSe#lgkKCMC|r zCC1AoF2yIsEPDG={lC<8#o5Ena+5vzAs6@Gw55`G^E6Vw^j%nNWyz6!ZEddE+>ytxmg_DJU_5=bwJ zYCyayQ6ZnWOXxn_2zoRnmJD6Is$1xfwV&ZU!lh-YS;xb|AI4Rq#*S-YLN2q1-&0wy z*2!ZKhJ~LcyN+Hw9dzlg;u4q!*P}s4X?m*Bl9eQ-MJ<|Jo4kwW*V}E`m2{;=?syHe z0^p}>*v&pMmv+*UB=-%p$45v!2)bG>2q)h;sw?dzB>^aDh~EFY=daQKYXXQB2)VFy zwg10q1{%TWO07aHFf1^zs5L`aX{BnXtSp)3r#0PaW|sSa{9s(kP!B^ORpFxhSsDnj zLNFR&Q-e8FQJx^}#jyJcW<^B1Z?ytx4p1REr{(4#l>rFa^cYG?rsc~#>{orou^77dNP{#$2b=*5pkY!)i}P{!CwrCv^Bu;XDS5tf-^TM5XFY zcSInag?_?;_z>(wnG1gS5Tw@QJa3l$wIJpL*rexOo!TnowH^Ln;T&lX=5dB;2|?Kv zqdkQ=5koD2_SSd&wu^PwLguv64aesqBs}Ierw5Yr7q6_!meI zx?*c6MxF*{!E&LtCcjxt8O5st3L(XzLlGV+(l$M?AAy@#Xspg~uvkb$J$po=Q-SFN z@t7@0Hu!TKYc9d*0A`?GIC)YQA z_j#N75({c%93{DxU*_{I7P()#T$Jme-^Mu8@=xanIMZ@%Dc`wR*FSJ#aHw>i3Z-I_ z_5U>3$hp?1@lEs?W!_l*9Mpe==hea7_NCuj(H?yJ15etQaU-V{yh81_lHRZgzB%$5 zTxEp+hE28gmXb*sAIV2SVI=u0(hL2TVqa=FCK4B&^?w7