From e70c252184b16382785573629d6c629d02b47d84 Mon Sep 17 00:00:00 2001 From: elvis Date: Tue, 4 Feb 2025 16:15:52 +0100 Subject: [PATCH] Clarification --- report/document.pdf | Bin 233093 -> 233052 bytes report/report.tex | 5 +++-- 2 files changed, 3 insertions(+), 2 deletions(-) diff --git a/report/document.pdf b/report/document.pdf index 94aa7d2c9432e55032a683a4327e99c2372a7b9e..e6a788b01b4fc265e745e240881c8604c8463556 100644 GIT binary patch delta 14293 zcmZv?Q*@N?b4mJ7VdPCWHA&Q+HdK(l_VfC}f{nWnnFtKsZh zX`X24(AqrUm=OiH&<2v;N%Qu6eR>VlWkdO>GyaOIIwrT zI|FbB%^n8CGznCL z=b8FC*6}UF7Vj(&!j0v{J=;;NH*^a{rWsr6S0FD!TaHy4C#7SQB?-#ooF)UXV-{q{ zxb`86HQ|2t2!U$Yz&xtt9)IyL}Pph^*+X4#2=Caiam6>1p?JHpIu$@JuBmanLG7nJi6|>w|DTqUw z==Qud(9sNvKoTOgPA?LRrFxJ-F@G-^Gu)dhpZM00Gp@@8jWvj% z@>ro{6DUWXXlx~c*!IHvHi!Q4P4YXkXsquqnza1jN&E|y+Ycy<5E83q$DC+N_AQp9 zq*8xbRZS2xG^k0APKc4Yh4K^fCgb$es7-}j1pk^t4A%=3+(Al0b8qa7hZgPuZ#-tI zQ?QpkE-%wO^Gz`8D7d??a0fUWu0LbR-BWS5SlFfRe2dI(MR>@h&-s2=EjIthdulwK zdA84352(t+yU`?|Rf3OINr>h~2jIyN5kcS=`U7GN{Gwko`MSSfJ#ia;0yA<^ zCtu=Lq?H#`Pd*i=L@&pQj|BvWXZm z%bL+Edq|JMvC4XhDU+_oAXrv`+%+2WbZfPRPN-lxA6f@&5p9)_9upNmp0Z65z& zrg1}}HCLMA-y*vv*w`}A{ia#@D3F0|#R)1`be7-j6V^vZbA^ownIWKJ+@{#)7h;#@ zrwOb&!wu&R*Vvff8tw!uo~QTHOow!$M-O$x(=hrkRJ1lE5U@u5yY;hl$Jx)UEk#<@pGCy&37rs?*xn&jpBT+d#xgVx`8|< zVFE@Woob4vArZxy$5WJRn3>D8rdnW1Y-6t%kc~wf63X_M<1YtcVp+2xa2XdFA8Npr zHx^lX!DD)k2^<^Bxs?qGH(K@=!vn}%+9VVUKM;u#ks!2rZ-GQ;7zYhJ^T^u?urhA8 z-%U!W3dPOxx(ns?qT2-{r+)+_w}MC~#vGyrY?l8N5@jZz>2&08&ew+GvkvnkmAYX% zi^11Ij$N%v==apbW0nfI#v}7m@LWt~7ZJkgJ1S=#+3sWphnWsbUL4v>)b~)L9bchg zCbgsHLV>*^V+FntT>=NRDli8gqQrk2Jvtn_7O6Hm?pgn3+c8EvMtM)lhXZ*`<4a9F z{Iy@7C6o*{kC))OP7Hb8)5)%BT%F4(xQb^9s*JXiF^({JU^AO6oRlH_fEDZ9 z74A$XbG*Oj5ex{F+;RnbUE4652+!zUak%%GUa1;Wt}uOq$K<>6v{pbR{A<04)b})T zT)ifB`Zv6f{-wBXcC<8s;TCieLj9LLU{=sC`|h3Yh4MVV@adVS-y?45>dIyjI?mGS zxXj)*4%+zpLMqjQRSZzzrKgmKXONtMZ=5c-aVfJ=eHY6wr8z%i2k{T*TS3U;F@q%kol9o4HP0?QuF@De1@(c{OBNZ zqvu=lfUrTildemZE*)OGa){I%pX%N?li4ru(~QF7)T>deOIiZu*B7r&>F}E#=i;Xj zp&)ubV;m1tO_xj}xtXkws&CKd*S7r-ZEy93Gi>ct>|S}R+!AuI9e>=mZ{~j|qsnv? z>$%Y4{NPCyi#U60VeAF1_dm5suR_c#N&ToV=>1go(sFev(NhdEn?`QIkeuvn6y?;^ z{iCubE;Z&%>nfzZ?7tWvZF$N0wQ~q$&kLz%R!0vpC17)vNUSr&5$kuVW$z6t;XW z_vb4cMa~JzTQqDY4LK9CUVdtUJ?Ym!sa(!wIZu; zzuXa+=Njl3wXFiLbPi+{*~+wQD*a+dl3?CIV-l-`PT*!JOmrD)rf`B-&Zyk7eN)lc zE>P*ftF2Y-Pl=!o-K?D~R7U&ag5`+){XJ|Ub&K_VmatN!Q!pO20tC~Jk!MVO^H)Kl z$-nT^P67#_D#+g}`BV#`7-t+-Dd%<-tiEAnZj}*bVVtTeqMx5|QIB}sx@av1Q0>R2 z$`KM-J{Loqd-@t~HBxKk2U5FLP}tHG`1C;=c*)1`G}1~Fp;tGL2QgnV5Hx^f*6{DF zP)nA$%1jo9b`qcX#06-uV)?JwOPHQghPu0uw6P(eA9odWHw9S&+nD-c$d6f>|!iX5JU;z#4ahhG%NL{`07F=($urr3e~L)+}BnMQe|7) zR!0ZtMcFqK$sP@@y2+m5TpOu=kzSxph2BN&6 zRj=~boyoKO_)e59^C-gAcq>`B5qms2BmCXR5DOGtCh-00{b2b*OKT}PZDi-Kz4O7M zqlSsQ73uwp2Lh_ulFS$1UJ%fdijq2eFHmUXUknP6)5MWe>#Oc_o_w7-)biKwuPhfjb_Il>Vdvo70+ zIFT8A1KoElN(Fw2b$g6p|J%nWr7U6$i`r`r;Pn^QxoHUy%i;-BvL< zkcgkww)mTS6i~Hbt!a4xtcUqA1KN%^fa~qXCPQZ%1)F4gSXy+uE0D=DNWqLV^vP$! zo>R3Jge%ZM>G@SJns8)-RZ;w%HKbwN>CW=iQ%66I&45Qt+W~goXuMK-7MZlGj%&w! z`E9gG$2H)(qWw3(f!%D4R6?DdlF*r1V7I7_`NB>Rmz{pGCU-47cr?(a8x-hot-mR1 zi(n6z(?8zv5(!6Q8Blx~X+Eh)&pcH%L!(K2d=zCBB^#BR8u1hj*GO%x>B_Lt8B%Yd z|LbSE0s-V5s30-s=obobvC5&GleuW|;d$Q~l zIx1-pp1j6*U}b0JFnVy(0VtHRwbgBt#~-P!?r!Egd18?T6Y_0YtVY#BfyGbZRlQ^s zF)C}HdAydqf@MR~9;m=Vt-^@H{DvXeW!Ob75)!xrf5>2oH>wqHcBfM%m>{^-SG`!A zgn8pI3GKZGjA){L^FQ`Ikcr3~{DZMZk;>kYSr?9`)PZi9Xr3ITbf83R0&}duFyEC% zTdLqKGYz=xzYq_Rig!$zGv}0ForS=U2+J+V#F6?ZQ5pS-wDUFOE?BI+XtCQFAy2DA_oD95Dp+YJ%cPjNlZS*jA`QA9qxu%POKZFg;>>bPDfIh zhIB@7B+|%iVXageDnVbm47<0No~RaLe&idc$+Es$>AG;?Q$wL#288UD;Z z)`xIfov4IFyT)I7C&3gmZl91IT9#P#M(o^Qx)-JL*&~v*7}Pv{4hET#1M9JPX8cWG zx_wS%vE-3<(arIB&&d~uk3IUg2_fk_nQa8E&mOtWLB20JeW!7aim$psuAyIEd7idGc7F*Suo(Ndpm=pYMb^qeVzgad-aDN-x>qeam6N;JNWgcj{! zHw$KImt5g^5{PnaDGGU)Uy~W#_oeuz+`uei5)d9d+QBImi-VG%$0F|J7 z7Ny`TDvs#=&h;b#o7RR@S&h7dMbZc_ScBcnGsW5hTV7r5 zt-(?z!SS4G8|Y-lAJKD1+22Dq#9PVU-NRv?)=XEmtvS{8%i>8J-`7uU;bhsb5z+Fs zfK&tx2oiv~8(T;e+OE$A{&*++6YxFo9vY(DAc%W5j!jjMBIwG9HK|)YCQ4-ke?+NG zt}F)X-Zb_Cl!b1LlXXUX#zD!swT;g?|KRt6zG8vVp~w#g-D@fvfg3PCQb>NhsgqI_ z8C{a}JHYJ6@FiBs?`=N$O%L$OeB3GMk+bnuDNvm~*(HICqlQ1;=pZv~Ny+s!M9_v7 z`#11>NQ^UlisxZcLQXHfmJv#&+FZ?9*>2+#P@6F;_3zg3zVkz8UgL|{vsZO3K4Za;~ zBB;dkK^2ptn!B2zG|ysxqX1F1uMXIDjUq=M$>d=Vz$%1S36?A#jxkXUEJwmqIjj8h zo{-rD4kPL6S=%HU@Jli-W7XaOC}EC*?qB~$`~B-0FsM0iImbvC5zh*vppFWwz+n9*?#pD&y8JO8?WHZAVQ89mNu>+CNyed-|$NPA|?p zxp>H>Vwke0iJ`5cQdB15g<-%@bfsI`I8q3WmSFxAUSrHfZ)3tmDC1-TE5}eSDC+#n(ja7h4B}b{`crXYLX3(U=&4Z6lUusNp9e~Ga96d&i4b`S@*ysml4D3k5W+3!K3GqQ-Zd6zaUVYdvG6Qm& z8ty<@gSBziz)kA0G}_!_9cA?R%x0BAofsWlrreMcIEJHO@J6=5k$%>i+sS(^6|Zn% z>cZes@@nOQY*cNp5G6CXG%M&(tcUb5_8vcQF&@-n0;`_epcCYYH_S{W)S%TIRs&W> zjbBVWh@kPIP%tvIbPhbeY#+TU&fk-{>F4K@=U&fa4@ObOoIhKBf}~c6VZbYyeM7Q)4@ND`gxZz( zMQX`XQhn4yX1w2o9LBf%WldeH02*D11rz_SIcloB>rtTi*@tNz`M2y?>g5qm66`@n zA5hQKMOVeBa_;fL1?LlHo6BqA zGS&A(?CU9$#E)UH_SpG>QJ9c4(7NlX>M@7jBQ=zLk@|8~Iz(6DsTi7rCKa10{Q67k zaSu>a7B{9MYp>H%dNzxa*9HeKXlsp)a2_u38JpXWUer9ioaPV{iI6W`*k}HIR#5Jb z`v=iUJ9Pug=c5k(-X9iH?Vcy)I8yfkkLVpwA<#6WOg%~nNTXtd{6Z8hE+9KQbacjV z-#c3_t<+QL8e-yAp_;in{)%!aHVx^4$JinKb_L(0Z%VJWT62J&jIP!cZUkRjGaZvz z?novrHX(2*DTi$uve+?!;F-L{3#QB{VwF*wKdD3XC(q3IBEuk0b_FMY{9;8)PwMAGC)~mbP`Yg?ox**#X z9y8xy9g2mWH7;ZUJano2n1z;7d%4y0z6^gcCt9p`WX3EH!kEDf)2rN7bkKlC{il=4 z?~{Wr!Wo|{ZPP|I-bXt$UB7tk@e|3lp$$ApE+kINMr#1fzUlzD4hq$?QbcCL!~Cia z?^OH)-%lb1!DsY>5o`pf8#y=R01Dpcn$x!qc%(g%14NxOGVx1lTzo=X`9y<}-qq)_ z4yLh@X~T!AU-eQWHRYSEx1e{1Sm>n6kmWZ3Yn>cAFlDw#fBMOEBh23&R`#`EDM}M> zLaLFug(pKc%+(S{ci5`oj>sBAMvQ2k-r7&9jaVedQ2OxSgKRi{iDdAW^otPEbUx4vhNkB5Sg@zyoS7 z&Mr?FbL1aQ9bN%V6k>dpL8U42n#ULLZ+b-7^v-k3J02O)pKnL3-w2eR+!KU5r(ieYhaT zYC$7FyorZGDBbRS|~KRGBym3zWCHK!o2CvjZ}`z?%?^+&?F1z_rI`by5|NbJ+w z!>_U_rKxWNBvjcC;U`V6jKS_qoG`Rb3rl{e2Tv4&xZ?PW9&xHG@qD#;u^klP-r~fs5VO=Bx~~1ce@c{8@L@b9Q@xClqCbX{%9Su8aFn=X!H9{M$TV zu<4VX*E@Y3?W}TCd~fKT67#D4-1HN=oI4XyQQQ?0Bu<AB@CN}KKIm}MpsJqZ7phvp606T;1{&+@JNCGO6Z3V z>Q5%B)&N#7>D?QG&F-5;gpl9wQT#0yrUy1(o0&0a2D%bk}HYrTar2k#bA)UIDB z

d-d-eCEOEh#6nBn!Oqu5D~!Zev?!vaNB8;Iu=s_%CMiN}n9zT>?$o#m9-@$G?G zs#e@Kp+eP}pNG#!^UA=U^40#Z67BufcsOtzIL?K^2&+YNxoHXXUKRT}D9HmIk-A#+R#W-yX#a z5-(cuG>akKsC0mz;FZ7Wp5I3#OSukT6-5M|eT@n%uWY_d&kr6*n+lX#ttEO!(~1Lo zyYseAnw92R2Cq4mGQeLpd4oqMYHEIxGroQmnyPm5wQ)b%5`hHxzCZHu4QpB1 z<43#}IcExSGKV*Oi)hGc9LXa(7>$Pob$R|-if(iJ)7|ZWUApqkys~v;Vfp&nrrj;> zp9>A+3LC@z|E?+POw`R1@)qrxzp&Y|woKUdhRr-R?w zA|Pd0yL&P*Yo#-NV-8@67b!qp%wSqZzqjLI|AWKNz$5 z@&-f$&h;OR)gFWceoO$){XZM+ejMP0v=Cgp|J|zB17{!v|DSx!_8U)dDyshyV6@Zb zfjg`ImjScA?gqSs_P-2R86;c~$n74u5XpoP!2e70&z1SVG{00J$jJXogVhdjgAgV7 ze>A!Y5R#1G-0lCmQXz!k{-0!wc9=DYW#0exfYE-723TkQmrQ00z--?Z29NM?Amd96fYDAb1$ctUz>xxswV%iWL?JRrWdT_2f(n2KhzvRf07izF8lbuTSs7pt zk-@6`FN#4O-~f?fuJ(_nR`WlMS(*Tyb{bv4Z-|T;9ROyAw;DjA{kuM36Cwkk|Bryg z4A9vQFb2Q@GPsQZzuMQ#{sR%s{uO_;1TX?J_ALK#aoPgt0U4yW{}N1`|5c=P1Ta8k z7&rh%+p%2!!4wfU8dP3Zj{m(5aPR`z{$~`Wr=vzFg&y$3a6UoPF0!j0DU2MoDRCu` zHN$M($EqMm2Zh56ndtAIoUG+%HrB{B8YwHAs*CZD`|6sSnibMs887l)xt6f{M6aar zehe}qzbSETxE=bW-$U&(CE-2|QRw)6{zaSt5#j`Fs^2L$#7Hut(%}2tO^^ZzP^b1l zn^Xn_FHbV4;AXd!xJWzXXoS#og#|^tGB~2=N$A-0oTK2>n9vwuj|DmqvQYhLkeT@K zP<&x~V8Zwnv^D*1w#Mm?$|61JWxfYevO%f|E|~Ht!Xc_g@HpDw-@+g!NJZg8u#CjC zFCp+L$I`*D2oar1AuDA8uEMj@)&=sQBGto5F^=RCNKuK4*3oDMPHrPQeyflY>mRsL zyYA8j;E2a%=}nM7nS4?Z|-ZLJyV0g9}dgCbI76mi$H255C>gitUWGE^{7CM-f2 zg>YG*xl_~tH6R(OCfI2(A<(QBu+|TvxLCc0@qO~ z9MN_P1b4HtbUG+NX1P2q7Yg)x=@8;MiO??5{?({$#5QUYJ@Th{J_ZNwo8sE_rCEBz z>V#6v@+*0_cD&^xQ!7YAHM`HBd;UHkVIg|eXhE&-$Fl1Bnacp2-ZF12-- zoFVQfgRPFzO_7vZoup^lr4gI0O?HMo2IJqrQ#E`Jy7#`7caJG=>!@3c+KD%`7}Zs; z@5mKz)KnO8DpTlM63g~FF&-!>7C`MR*>iKa`qBpAvaE-jh1cOutz13 zNy^`Gv~EPV+kR)Em)XAC=3duZAAGk4kDbAi-|;%_UHP%*%z*Az?%!L1xP9HCJ6Aqu zsR4KK&X>1ZCrPaSl&aEv(^-5EEtUGhm_oqG(8pWQXA3>Jyxs}O7UokSVkZXsdFWhB z>(hhxrm0gtgNm8`aVL)mNOw1#EvPlnQ>*lLYxmgQXpG=eUG;%zzu>6z5q^0HPJ#;u z_nbbAhi^fxK9~Z;FR__2{eiAWUzxUcJd8~lENHj4ENuS@nOw#+juyARKuW-h7sFmM z;5-L&_Cu^jlNJ|boCf8e9>FA=;v5S|2pwK=gvv&VB5u)TGI9&dYAO#UOcum=o|gyoGwQGMf?$x2ctQ+z|Qk zkSG*LiQ?XYVzh;qc+xU}%^ZcbWV#n_LI|@C{#alaWmN-;;KkmcI=-LNW4YkB9zcUK zYe+mKr>C<@z<0z+VS|LzQ z&~6pA!XH9NhNRm_*%Cv@!oX$wVI6)vc%P%NA{f94o+mjIJmaqr-Cp-A&4-X#B?-~m zNTI}aFQ|ch2@h`5Z4O}LGgKdOYYN?T;t>Aus_V|21(@mXNa*Lh(49wX&5rQ+rQhE1 zjH#={90xy-<@}hu8r95^3q#N*2G1+5P+K8Z9h~k^eY&+qL6wyN*%sE@R3g>o*Y@M0 zO>Gx0Wcihhw8ob{ca)n>U?`$(9Ger0l*z^dy>&nUyw(AIdensyLW1k05I3aNuz< zd)UCd$=q)(pnW)ca$;n-UUTEYm8? zb^(j13u|hnUJ}_ew8bQ`m(ZpC;@kM7Vf>6~erdiI9(4?v!Koq=DokX-niZB0kBTN^ z-nvsA#c+ZZBj*aPU?gEiU|N)Q5YDIpEx15&2*ZVG-dyP`TDD<6=XOg>?Ah_$c&kx; zbok4wIC=!t#H_v1OwJls2E4#0+Yp|XG9Rw!H*&E?MXERaVTwz-1vNQN?GWeW1+{(F zC-)2Q`#LUvW%vNvSEN+tI)!ASULxR8N7u*N{+TFhFyrEhMN#}ll`dCNe&0%p<2fkA zR7yyt$*`cZ^bI?YGM!fq9z#>(t$5LmQ1vaI#aEv{=v1Ru6xdmm#Xhl0J;$gq9>d|f z?(}yaPHTKr<#u58{wM^l&)BJ1Q=l-jgHWTkFLq6riD}!2Ux4BdXE7nxd$dHuQEk!r z)K^^ zm2G^TLA{uXlt>YN%52;f@nS(PL4@Y9>jk?t;&$cT&%C)6?Q(-24y&#$6+Y16ROpzu zoD|x&h$$T;_uZr(P)BZ`JP0$W>yNf>bo%HJ9u6%-@f4#0+CUyARSBPkZ418}_zLH! zs$*=M;#g0-Rs0nt*~&qyj#O4*GPWGam^#xBDHem+wTb6$Mq@{d#iI*5XEu@@Cd&sj z0g{sTxrc{|ftmH0pB_(!{+J+iKI*eSDOesIsfSbnk>$8_go8~ub#G958mytxx7#^d74XJs}2p()Xzsf+D$>y=*4GbP! z;UGhH4=!V^=H*=dW&)rEhR0Ny9bdkM-Kd4~c4N1lV7`9S&$V2pHS+glg>{pUIHvV` zi+pptSNBoPON95yzQ&tbaseUkeqQ`uzgJSt9m3un0WYMQYr-4YZMo{Xae4!n zT-zpi9jz1%jmAkBT6a*>Xa%~vB+5G7ZMdC28jTt$pw=+Cl!;-PTJ!J6+t8-|W8SAH zKvGbvsX_JK*H5bUA@5{-qPMI}!St8p=;d_)KTqr^q8%g^ylII)xoHg^kox)0<|d}* zwNHNOlwCYS=61eenO!ndf5_PC9Kv=^-I|M_qRL0^({MXAmIDZbUXZ9~{oOsG;`UR1 ze9)WBN^rU9O@ulyqKwNJ!*=`Umf*G|ivYfh>U50z(VkQdoo6vpNZTP=OfZ&Y6>i?H z8iJ%b?c2AUS^V_PxT3j%iTRm3K^?)vdA{(c-Ooi_!ONM=OAV%$o3hiDn>7&aFiFF+ zd8W`bz~84)*8;@Y8y49sU7oQEdGheMKWoQ3QI{?u@WywUeD`7E?#ngNcN8J^8@P;? zq`UG=M51jQwM3*{scj4xmP1Ewx8Dv&#K(p-N8EHCfr>bLKEc>wBf z|7#4*^N%+l%giHg>Megl>*k|FV{YS-ji5eb5Z^+3wrD}HG>^5@Iq)0GlVE-T54Bwyz$Kw3g{VmEM_uTkS3v36 zJP5FIf)dH2M5?(C0g9ZTL5Q{sybl~;?6=3XnB68Ox+WAqhG|1J@VPC`8*UFj9?Jqr zN53#DA%IF-``>NTV9R1+?s%yETCs`(qtSR79)@auA-}5)lH)MC-d*_O+=*lveV_1= zcFVf*UM@23jNAfvJZ6vx8B%g>SBHoBDB#>7Ap)ZabZ$pF95(`Cv zA~o+0{6zuQY9Q4D{t6_eER{s7ug$(BZ_1&t>BX`FZ|WIJtmnYA@$yOkWglPe4yt!N zIO}MwJ7D{Rb#Z6&lQ)0GzB{h`U{N7MlPkavM`?{v=^}V_bn(v04@D0goh#Vw6b#Mg@xZer0FdgtK569l9r~hF+WRN)6N*g3_2ngH=!Ji_Z|+Cd za@MqEj7uBhg~inOX_2Se;H6Y5f2t{<8CJ92fdZF7?IM%BnCI5fnd7m|cPyo(>XV{c zRZV(t43k1itutS+808u4IuOVslvZNLPH%eU;@43XnH=}8=^(7*=_T2&2t2@I!y z!FX?A4=%uGTgy#8BQjqzXRQhL&!+uL1InIz=f0USbK+Te$}$msa1PasA;t#FFZf4?YfXt0)k4`zQFMd)R^)B%k%+t`keQ2_2g!9`ZusC8=xWgx7i#D zBb~haF96z#qd2^|gPE(Fi@CA=f6#waB%Ex#8I+-bAQ%pIb~X-9){L4^0O9`{v!Q^5 ze^Uz)Hvj=1`@c)Rq_vBy8z~zv*Zj(qCk!8JwU8H6FVtk} zkm^7 zd!%?xTyy88!2+TZ>_A*;iriu}aaeRIhSXRm$OSlaRH(DCCipG${#4yPN_Z?RQTPj) z3#TGb=nA}3aH#?*tgWsYq}8&Zi9{8#2@k|kXi{>nfFeIHOs>)V;$rdZbC-_BVU)>r z{P79TpR30U6TRA;64qMBYN3v3`r4Tp==mp9d+2#ma|6ffol1qz@0|-{KHbHlh5808 zR#>j=0A*jyOeZ7G74rN)@j$EpZqYQE?j0Yy zE0>jKS#nOAn&6*Z#P$5Vt<`7qZxi08ils zb+R-C_y<(9jh|6A!V{9B!P&u%wD=QIWTQ@#g(r$mN1C7wS)cQQQ9;$^QVqLAQVcss z(hPIJR^I2*qaX3Ah{YciSZh#Dx)w>NoNy*l&dQKWfZ$Hu9QoB&n5Zyw*?+8oLJc&h?(Qj;OT=;qMc~#x&%*$b)T^z@NOtl1n ze=I)xKAVh<^2 zucdONU)u4_sWvWAnZ>}otGi7KWj+gJkb9)9v*6F&w+eglvi(f?*|TqI8J9kU!F7eH{J#3o)V0p9@j%jDM)7S+q#?*ho1@ z|Kn73baW%-WaIfKFH`+bhK1uli}(Lp;-q@~tYSP|oZMXO+}zwE671|EV&ZI~yg*h_ zRxwsdAh#$`ko5m2gy{bh^RLkV6Rojw^8Al*fNDuj{-J|gHs`p4d`6F9LB}Q{0n5vx#3}KqKb1aiV>GTycG70+r6-^ zOBn+LgFtI^81m-X?O~$R@)&gD9Pk`1eP%#uV%vaBK%bnhTq=HaEG|s^rmFEsR8O7; zvf8TF7N2~Au%?Zu5=i5@sK*X94?n8!V?>_s%q`YZjkp?BNnd z6f2h|U;jzqN0jo~htMEe_O8NEMtRr;34r7{%rtBa?~w3!DLF+kzK2TO);r6T?sc<9 zztw+4XSG@4-e|psSWI%GL4h@3s4T9Mw2nTO1e$fB`b=!?Vm!XOvLMg-2(Lx}HVpaPs?JGH9$2J?4Y%M4w z=fX3nc(2dqXb4lOgTsvRFiTd%DHE)>QYgbP33tSz>PjBPq4+V7JL>G>;*Rx4wxc;x z^h*ZTCK(1qRUwU+xP!^GD3XFa@TK$qfax?7CbC|@G#O9RPjvr9ip)X+LF_e=k*WeA z5GQd{(MTv*B!y#Nb)^@3SN$@qNvVJcW<%paY)n%C%VnNwNyu1$ZLZ`2Cw}?-2MjtE z1w9Zs1$D3>3MD}tH%i*C;IO|<`z;YJMBnl(ga)l`O7-y$}-g0=*7UhF>i}{1|-%dlxvWg4sj;C!Vh|CbB8O zUfE@R8S#SpFyV)C zUi;5$``=E2riCCj-GjD%0%k+?cmvXD9OR)4#$U^(8j9}h>%fc%>tSMInjN%YLwah7Qmm3K}27aVW9l|0H%ef0?#^CGpF7V$S#;4>p`=NO`ET<6El(_u^?;fBtewnRV4Pr@HitjCVgxL3AIHH+b?#`YS z;#;h(W0_lN>y>q7@8{zH zEW7yeL2!6AH@A9Zh{~_$=bawr+o2SGg?<;4=yZIP#vo&icxSzAxMt?0sfsoR zVrZLig~b>T_|j<;1GQwjxffXvZ{j&ABeho% z(BC=r9m6x7@%*HR=}f0M$Zf7g>%0Rnou~NQ2FU^uDDb$SzO5$5Eht_DE{iWza*V<| zM(j#Cs6y%!1|w5p(dI|z-IB@%_|Zj-2SwM%FBhvPsp*(~MK$akw7&YP@Zg}9C|>$r zB5+eZ36>t4p*2>rWY`ZM3e7CeHGYSxA)Dh?gpnTbFGT{JDq-La?y3tgvywjHR^v`;JI@!5IiHUTffO4E)sKRNZR@;K1KbF#R2qsJ*O~zUu$75 zc6d{#lhzDhgYUkaEmTZQrm9PMqze6$H7E$S4eW2L1M#V6Uf6y-iTZhWa){S7_yS>U z>MK6#WKR!#QkE^8VTVCGvZ>Er(pO`2-Sw7rFa(veCooRk`6TFPnQ%B8Wdf9P)A=T* z!yL%q)G~`=;dPBCb!|1!yIwtCqdr#{Dyg z!NUD`1dWjr&;=*A_C%y)0=~#?)Jv%(Y@{h>5-vb}TT9H5J1WKAtN9u3L|^sDrK`pP z;~Du=u37JiL6kZ9w?f95BXKDWVgT>abz+Oh#1_WAgrBR2h-YyQ@?fXg+(+TMqqUya zC2@h>mdXRjZ5h>hbLQ+~CLJhOa+|FS&Y#I99HOv$h1&cPk#3-k>1N1aas@}}anVcu zn;4?9)C~UsUs6ZP2kVf6KK4i7Z3A_HS|Yjc_^3Xl*D6NoU&emx;4nN2S!V4mJVt3v zYd&GC{mRm>ra$5yZAB=MxjWfXZ4y$*n;QB!$vR!fZ1POYh<^b_3x|o`SK1bl!S78T zV{oKqP)l0V=1{PdczX!ans`LBH5Lni87@grop5%HBPq3OYboz-5=m?&ROB$7T%QF9 z`qN`M&)(ko&Rv`bH@KVVEbc0=<^ndazb)VP#wNE!rh5ZZ07{J*Kp<*x(qi8`21TS} ztlV7_b#i)>D^IeH+{eO~`sX7$unJO;uPNOom6ih8SRg}s?yu8d#OsKokW?|V39=(V zykce9pPT+_b3;`p!iFoHRyK)LL0p103}cB?_fRQ1-4CG**1X>KbBei|ZsSat1$Jmx z=(RA1#83%!%8(J4eYRNkp{f}AdD4Rj-j|k!bc{5sxV7!^j^Q%tMrTsqVA>@v2V$i)+&Ucbs>fJzC*$1 z&J-`S_05@zAT)PBLDViIaA2Kh=99%+t{-pa?K{B|b@x}X^GjgBIbrx}$9y3Q;-vJX z#Oi`IOn+N3t6a4*o`T2jZmRhqd~oLxdFi*oA7+C;0>N8)BbS{5oO5cY!MKV=SVqD> zqd11m|KK|hjho1pngnth>ysp*H)&1&4RVfQwlkzeiNz<_M6K%Y1M~Cy%W4QxF_KBm zwOOr-rYT>Waz#hi>)Jj zLsg$f%=$@E^ke8q+vU%m-uW*L&q)ZRqm!QS6%%_oiL2rHRtY)yw!5Z{3zhX5cp2Uq zR)S;&MdY!8rtVm|J6|2D+IecFPH=;KB z;M#K3d>X^?lmJ=nY_8G#RHM2EF(QSWl8o?204;(=HzBd#C)kWu4=L7M?F?depz1Av z5?a#^m9y8`NnuR+Tb6jvYyrjwnIXl1D1O>W4C?04&`I6IG@3VKdNrTdw*R>`j%yZ7 zO?niyEAe?7WjxN@;)@LjPC>4Me`*CF5()+MY^9>)=_}Uh*xK35)+IN@<%HfA@ljpT z;iPGIDjsI@1I+4eC+vb5F5|7a(S3Kq6?%)@G+g76xeJ=R0n(Pv?Sjs=IT~54Kf257 z+6xe`r2`SdH|=fIZtvnsDWf7_w#dKE?$-FoX7|t1CLdIXauB4cD!1_xn%^-X8I=g5 z?93XhT{TCj7MKX@u3UxYpS)bw-8D_9JoL`vyd~bwgwu(h4ab(TZ zxu$?rG?GTl5*7D-=twAqf_lg;FnmMTTWUy~;H<{J__n!ZDSAt^RtYT(@)Kl#a4}^= zzq-jp#rBs!+t)Q-aARb83Jj6Mg%~-D=|^g*aHl{zT3$wy{YaWgpk)Vh83MYZ{|`3Z zZ!om&aI3xE3^LD;U-9?U|HhnlFNOyj45*X4wh3=T!#6A3JrbeX$qD9F#Pr;^U=y%?Lyw@w0!Lei3H=x(7;n8Nui5z(ISP|_kAsqmXs{_ zdpgc+kt+Ol_Ay9%6z~yf?pQpjsH`9WQ6u4XTaB^qt%lF+dvV>9a;Ypazhnn(`B5IV zIZ)d5YvnP#il?rw+@C4B=glX)RZvrFAB=y4zo~P6K;*n`Tdvse^-xRm&@hD;ysJy4 zmBo&eBxza#**+i}kg{4K*e*cL_3E+Zpo+jd)sA>KXf@h)5ewmi*TzG+jz&}L>YtZV z$~+q5L2w!HV_RWF>|w(bpbe{xhF_7Y^2v7sTRbz=ASE3AUUT`@3;(JaV0)$E3g-V1 z3<0!TBSOJ<2n7=`nc@FEr_jGFl^ArvoZz5e~h`+%o$79nbr^?Qul>^ z_U1G0*gkgu{xjcf%vbt!#vKGp}sdgQ~8?DWZYikzmlc_SomBV z!KZWtJ=*3oo65 z9><%e*wQGYtwfA1tcB=BI)eeqKnGXROt@Hjbv7|;ss)tI)I+}a;3}L-ay&xC>a&zO zHe{%~e}Vk7c0)~FOAtUtRS9s{?CpqgYbK~heGyyD+t5$S2)S>}Iq@Vpj%qWr_i)V*U zuLM+1f!-M72;ox*&eqN07`S70stYS&)qv&N6b%U63!Rac6nKv`4I1k=q%$g;7*Au} zD$Z?knePJilWT(G>ynk;baPVwVa%S$a2 z-?44?TG{hey?y!PPPRBhNPmdwU(Ad_>htb`wqgokiXHp*QC*^Ih2C3= zZ$C1wo_+;kZw|(tjpp}NC_yDOgRJo@#I84OF+jqk5-8BCX`nvDJIjd_LJU> zH^YwE(HHfmim!MC-V2s)jLdZq^JuvC7Nn4zo`@sGiP?t4r8;>aLA@I8591-+=N?tI&1 z)!{h_$}ufYD#dSeE)XT~fuWQF#7o}NQazc_ViUm1wwVu;#-;+Z$6oSL1c4qQN zJi&f-bmilGAuH!-xw=_+oy=Q9<^-ODVTYU!Eq#CcA^Alu;myd1 z#q0rRT9IHJqVk6D))K?jMKe&+){OcaF*3JHmMw6akqaz&okZ~C+Ba^Ec=xzR9swLx zO@(ZN9O>paBQXnIcegFaJAc~iz5~I2M52~y`~(vzCh>=-V^{+Nn?b_mHqj5WK`Vj7 zK<}>D;V|JOlG|RH7|p@QdKI?+F5z6`zB%u*lK6^33L~j{0(gfpYPTljL_lB;lX=jm~osXEOT0R(w-wyRdm z%WD%Qi~L@kA0B=WEDl;SwYDpVPl?9_;nNu6?1G^LSWLu+%7!o5*ew94F$WJuDKsvw zw6>ky4z~>qjIN1ClCdM1kKsaV9nD~lnh(+-3IZM`xX|OQ!kjkE1G=h}lzjH&&qnR{ zSZGde5X)Ctg8U5uF~<@#P}OH_J8UHv$_nCuwDdFjuqo6_i)#*Y_;RPPg5bC;@4Y3c zg1=NJHfHAJbXyKSFZy7;3QIJ3D{~A4{pY8ssac5iWr=e#B6Kb!sVq9)pu@CJ>)mGE zWbPYWfp_FuQXfB75<>|iD(HW26%KB0V3J7*BiO--=oiLEtx;e6b@=X&fyZFyw!t_x zz%|9s*+Q)m`h}a7Wy#c#`I8@aVql*n#l)~l(2HgQ&)wyp^-*~g}T-+l>5lDXg z)I2H|kD+gx3RB*}5|E{e5XPw?pEOs*A96FqA8`{&--BHtGC^5M!rCBgqQk&^p`-Z$ zm;{H!YeM3Lw@sGKTM@G2FfNoi zAtGv2m}Ua5lF=~qrJSs^#*%f`_$1yXgWy5xY7cT+T+DV%ozZLwSw(Fp$fVAnD!1xE zKYzQ@AeNzgCWjPZ!m?z=M`j45)PkFLp%pAm%HhXIbb zc7;#p3Dk;UMzJb@liwv~gv_RhC{JI4Q5WFtpf3y~|4pNg4~t9NV3@E-$sr#kPMM01 zLseM7YwQq13jwPwK8lC)tz}DuG@Il!6wb;Ds8%lFHYE{MT@;=GUo+jPO+1WyVE^UPnPNEUXFlmBzx{70l>y{+SMT*eS z;Fjy#LOje)bE41cdOlI)7`{4%9ns7g#T*t*&u^s}b;}V|n{!=?pUT|yyA`_2s-BE4 zirdIbb?=o#l04fou_X6k)lk|5AB$%tyR{RoqLC=es;;*i5eU>ZGiy4>_|j7&wtwD0 z(lF)!3}_l}-pvud1aX_m!Dt{y2L|%`Xeor@NwBa&-ad(&Uq-VvYfrqsFWU4yT}DA3 zaMeaTe+^E&U-L`I!E5~8NeISm9KPUIuo_ax=*jfONE67FQ&inrFSU@@!e^=Lh1$_m z?jeq+Gxl0;gOnU}G*&rjDQ?k+-zPFw_!N1tRb9u{;4JJO`$*2QlzIx1F#--#(3Ul) zEe+YnA2?*H3jvAt#x^VnuZBP=*%ey%YOjbSYdi z1Ip)^UW45y_>>K_TWqOd2$iHZ?RTm;J+g=;((0h7vUL zMD+5TwjcgEC<=8<(2sF^uVX$wPW)UdzP(j65HmR%cs`e9zg8qs{X{m@^1%6AT{zC)+;&-=S6X%e%U+zT}%T^43SaVsj+M^oFUC?$hqFQv1j2~S2f zWp=+b+`~t?@u(&f69`z@cON(`bj=1IE?-o%3?96;Gh%%VXb>zeYJ`FpaE2sgYQ_r} zEL2V#%H4JLRvXTx#{HvhZWsm&?G5s6o-8<=LC#E-?noPE}_{t+O%)X%Z>xc)Rfy^KkaUvX+bD=}@Z5s{nf)aJJF- z_MTu>?d^#rhm+=aaEJo&psG0_7aGKAB1AM&(Roo5r8Gc8@_1CPn<*kba4Uak{DH<6<60i215r)>AiDyPd{Z^*#0uqf@QQZpy-}LurcG5_zrG zf;&APZW#bK-eVtZSDI`xnPU#Y1zfwPJTcC);H@L~tv3Y>u<>wF>WF)SBn_&grsQ(aYMnoT8Do9ph4^vxR#ay9d* zwH}^Y9VK>a>+aF%)~)H*|KIt?5tzYZ%F!`o-V*Wq3^!?+lD0!n-Xl64eC7yTW-)c? z7}{GHn$r#m)v<1quj;UK{?%Z=?0hZ7$NYD*vmLYM+Uu@e{Izy)M?uTG=8~n>kFI7kwW#PCh>69%CT+nF>2Uc>^6eXK~)RdSY`LD zErmVARW6wk(H+xA>iu)m+N1(SPWeB2IISnH zP@+Wtarz&QXgrhz^M9P`{X=p(pah7ac-jBQ{>38HJm3F##%f)}04%en9f$$2TL*;! zlz_AkNdQ*svlsvdkOn6U7-=1n0*FGTp(_AzT8U)=cTj2g%KrqY6ae>7Y4U1-;nodh zfCE$-So5ENu^NCJkk+gN&}m)P1gt@&o#_9w`&$P<0Z1b?24JNbsR1Ng#S8$eP-(Yj zfIqD##sCCB+Njk(i?HT^{(mm*{wb_k0hj=35|00RCnvKpwm9sP%2ln$5pfS{23dw752`#68BD{f4hln zj6@c|5bbT14spJ!!Nj2UJr!p}+hiYRcnZ@YToIK{o&^kjFYJPl;Q;pcx5`$lTsdH# zUV~R@4PBoeB0XWd#V|pCLYtwsltpQSn2yj18RO8B*#icR(}EFWuOk!a<)Nf~RWX%q zkF+q2ZK(>NW@DisW<-ZfVM6Ow_83b7a;@yxIVhnUKJlUNH7d5eQ!VB7*8N0H2r+qY_qr#bk&k(`QTk zRa}o61s;gmN0f^nKS!9TjV`1N`wT5c4+w#Uu@7+1{;7=+sfG)y2T414tV#11fNPG0xa1` z4l$(>z!#t%{5 z$RFO%%{HB4Oo5XC*9*x-1t;5&2+l0RiwKCLoi<@vF!rGj6bz43Xt#q=#(`69lEf6j zR1WNFt8KyLNf{wzr|63hfh9sQ?2=uQ>Gvorn+@qw@XxeLi=KAlP-pwGSO+Kc4#~c~ z`>~ZxW|C+M959U=f{#YPy?%u`Ur0! zraa2(ATc+nKEF1k)*R*Z9PMj(;w=xGuISrnw#3#y1=|@ia8M3I`Caj48oQOIbX2)!1b)mOz0&`3|n7SPZ18f)V zS_U406+jVXCba1lR==ib653qu)rHg%O$q zXw6i@K)k3g>ZYX4qdfnb52+sW|)%K_9 zfB``5{E)0u89#|pT4=TfImT6LGj+^Yr|b(?rlMV&Dr8; zVfhjt`Q;>E!JrFSrE}*PPJz65E~$4|J9-1nT~R;Ol+<0jAbg9HO$icKjXQ>uD6PpM zUfq-y;RzjV*8XGtlNqvmUdyfx$; zzTG3Y+N@ow*AgQxp7|C_=#9+ytj*T%A(X*8+;YT`gEeR*vpTB-W2$~_0bPROAoDP( z0$j00=xe`htH@5Z#SM=dmp7@z(R|+EABXPYM|2MUJPwj@hl08e$`{oRvB`!Af`@<~ zfeT8&pYqk0H~H3t4+0*whcz&b5!!sK8Bv~RK>EN*#Fo?Hk7uZem!b_(;Ya*n_+%Kz ze1r1E0l#x0Aa?PlMv11(c;yo^F=*%+cq>E_zhn&*&CSaD&Jw=D;I+YpLg>_YB`8z` z;5|n`B5ZEZokzezjoRE`Th32yB?T4rCq9)Nu1HXZ2 ztSA%0axsaJWH7rInv&UOAY%Bxy=W_ms}ifGgEI>GvdirM*b?GJh%w#TGS}4Ehn~(Y zm)n_xNSruUBD)y~=g*^SP^#eM>rCaE5GR;MhW#DT!xz-+Bvp*e=@%-*je@;GzDju8 zM#9>$E2?_S5)XGfepT9NE=7~=L!;>loEd7C;TT&SOWr-XF^euk5`k}!&&!JBuhpEd z1Y_LaHRt-Okr97+$@uXOrNA=ZdPH6SCqp&;XXOl8PU&vKjAvD0BLiV*jVRw%SD#{4< z%a^q9`%+t@D%m{ADn}X);Jvcu=;fRRuEAy`mmWfzl6?0wk-|(Pyx zw-jVS=|>BvEGi8LM<@6E)E?N>mB8n_q~Wa`-L1>4F#b9+mQ%^-j)wtkMNsAd*eN0n*zMJD3j%V9yqvb=a`W(24)e%M!~1@L%z7nEE2>(=0v zHNj?8^g86moqsrRhwAMw_;pQi6a2CG(3cf2Dmud3l|jcJ=XGoO!t(rHqViiVvS$Y~ z>OwIO&fd;HLjiXSk=^A>7dS1}(Q$iv6>`Ah=VeLn-!2J$QUgZ?$6=j*xHI#_^&ByF zc)$ZN5BfXfXq$o+-7@8Kq(i;KL+bktMU5- zP1eunBO<+@L+8xnOFO5@EX#NgDSl@E_6l)5Bm)cx5b$Dl`%V|*P2CTl-Y>TGjNM<& z^{!Hy5M!%%Xhwd~RwcM|>3}tGsyf3}>Fi<{RjlqJav+^X7r2}`AUTv@VQf}rRGkX< zC!K^kS0y(2mQGb}N`8c?vCX;c6jvlw=W<{)<59KreB9kuQ7^TkqF14(I_G3C zQ|RINRkyibV*D#hCzZ87>B;Myu}2 zzqb78o>zWVm5~s7D>~)N+W2Bf8xS7Go$6FL@#?8Zr*~8`;-^^o-9(GjUp&i&XJx8N zjvt{g3N!Wa8 z`#g?GzL?f&r~E1N%>1SQJ{;<{v7zXlb?xR*q+5tH~8)IUUl2RIHfNkpi7}RI-Yw7^{>NUv;SJo*6nkb zm38uuI0$~;vKp*4Af;n?-b?T^{k_9az7mLU?zr>sPHz};;m%+S;MaBH3lxS){I<5| z)_80Dxw{;WwbL}IwndG6=jlvp6cT=z-?XW9VO7*oT`>ukq_Dr-vi?NB=Q~$gws-dI zOT(W`YN#*_ZP^z1@*As_aoaJJ?cb-3hpy5`bnyv&0k_K8K4wf~t1t`bd6zCYJwI4( z(g)?dx%|98rm}Tg$tntzMBHrZf9GAw6cq(w_m8MjFzg=?tSIJ26z?z8IINC4`X`oQ zO9UB?le2@t`Jk`fy)SQ&7>5Xh99g?$rcJj<lRg`8-HhM4`*Ko+DDL;fc?=EFo#6 zzBY8%H3iSk2V_Z<7yCBbb>>K&J(`im{5{06ru|xt=rHOrqdFO6mKGju{4~rieH?f_ z-=`wt$DoU7P6mSlBoc~5- z*3r;X=Vki<_*eFJ-L=2R@qIRD$9MKnvicO1U3`UqR};CZXT$cslTk;UlSm&RP&XS| zG-3SWF5I$>xGI1s*2hcmgUVkxjo{9of(vuSRcl>BtV7M(wOMaj_2L&?ceByhrE|N2?&ix~fT@cu+ns(Q zZGob;g(ld5q2`90>-25Db|cmeZ|}0zGhAlPrW+hOXs&=6iIf_cZa|W9KrQpzwgH?x zHQJ_Eb#H22-GZ`c@cq9+{H78KJ5W=sSs z>CiD@yDA7u)MnoJ|H2o;whph_b{e*}{ETfrWmWo=(%P-` ziqh}GKBv)WF18kB#{Hd!Tm^9pc4@h)vXY8Wtxadq=US~+OFIo?o>k_7(=2BqIvIQT z(XOk?4T%@McXFc@H%6!43cl`!~l|0 zHEn>oT%JnljdapY9 z;z`K7$ifEE!qME-&BemR;XlxSwn0D~>}i-GfIv774t5Y1J18wP1VH@1NLL6T{$HEo zUx`nQ`)|M}Y2)JRM$W;``M-5OUy?E(6F5{$!D*HE-~Nc!)e>`pHg&j>u!{Y(N1$nz zTcQKnP$3)-4l-mU$&zgS`(qA4VvD#!%B=M5!EP5&W}22@o*pX+ku+9oMY2hfz$yhn zMki^?+agKQ4kw?CuqqqSln<5Q&dApj1bgdlJ%#ZT-BJuI#RIq_rpjNOFU%uL2R?%% zM6$KJg6zl$(IM0eqJmGpCPlIfHxDuhl=NUoprcknr59;!*!Y>1}8%=(o z#OAUClXQR08m(_H<=OZz5l?~^!A=iK+J`d>ER#D$hPDJ}Z5Fs{^Ze0hDNjFg>|~a= znFV?Ie2z$dB%>VKQ=N|fnK0MRkR{b*H3+kiP0E@O^HKlo^6Kd6cx&AxenEoKm+ERe zeR-&SzI}NQ&+=@=Yoez6SoK^q8a;)(e6R1hjPq+|@fq%#>lt3X&EpHf3K#Z34r=w57RLnxyi;z0v@_^o6TEWBCa zCn9pAp|;?qp|)&{{=z^a-AF=6Cm89v{;B(`g9*(%8ax#fk3t7QJ?aB#EFuB{1^Jyj zKFdK4QH1TtSeM3aIPaY|S~P1DSitP*UskjCHY%bw8c)*XJ_F_rwYF88Wn7nyk%#k4 zsW*!}4yuzq<8ATuYu$VYzBSnF?CCsJL^p+2MDIx?5_*tIOf2C<9I7;zCKmJFPsf*= zoD}s5bKWOz-Iy>7&LB75^O>?oWn=lhcn~6>m7o*7+Hg1?9CDIV{~KlRf8oBKJvL~$ zh7Z`zTKYq+z6L(YrUAy;mGXTVdHrPr9e^hC1@QJQmme};)nkL|+purl{M$)(Qhraz zCB71#52FI!YhSy)UkksU0koS*LW0{CRwMkmE)x4GP%myi8!d~km*+3H z^(=kq4@(z@oPf^tG{+u@xvd}e|EGT+m?jkopagRmAhN01cw3NzI5-g5w8-^<m?|QhjH9K~KN0r-7ZWGf6W|i(1oDdW@ParwB}9Q7T4Y!~o@g!wHZb#P{D9I5hJz@&@kMBiF7Mp;CbyX%+j^P!^?s)G`n) zYzxS-WebE0@`1xEgG+<4!?Bt8c*9xvF$$4DUjkqg=GLoJA@`Z?0b4()tfVndcO@Xz=mFh;pnpdna&&$I+%h8NSM2Z;@(XYz}Y?YUbA z16vH?C+~1OegU_rgZZMO2o4Bxn?uyvg0XJ%RuAKQ73@N=y>b#IbCa88FOf$J0o)AF4iHkQ$e?1>H^+QmXlIMW^)Jeq(ZYNk9a>_DvT zkrm|LmhbY^y&09fgq(mv1t&=vlSt5Edsc}7X=W1Z0BV_DlHC1m{J|0#m551IC`ro_ zB7#M>!M(P31fYRy8J`Z9$G49!Li5kdQv`K?p}nJwLsXB{0-Ar@Q<}+0fa>8!ii6}) zuo6RE3)1IB^$l_ZlkN?mK4Hz0CHk&42~kG(i5WoA1ze`GhH@;0xReJFDI?IC0N(nJ zCI{W6#klmtXTQNNL{(Ji*T{+$g_?XMEc44=ij<%uf2_NE&tCceC-qX>NB_n zR4AfNxR!yQEw5I#D|5xI3e=6m}O|1f&NkDR2=YrKQD1@iF@o z5`sgBsl~}Dq@fUImD2tDx3FOI*l$BJ==KSFbg?$hV^?p4J_hcA|NmI#>Sp5N=H+5x UiO9hT \y: ? => \z: ? => if fst y then snd y else snd z) is correctly evaluated as having the type \( \forall \texttt{a}\ \texttt{b}, (\texttt{Int} \to (\texttt{Bool}, \texttt{a}) \to (\texttt{b}, \texttt{a}) \to \texttt{a}) \to \texttt{Int} \to (\texttt{Bool}, \texttt{a}) \to (\texttt{b}, \texttt{a}) \to \texttt{a} \). \end{section} + %%% Local Variables: %%% TeX-command-extra-options: "-shell-escape" %%% TeX-master: "document.tex"