From d5ec346c9c166809b1a6f5c0ebc5505ace0abda4 Mon Sep 17 00:00:00 2001 From: quirinecker Date: Mon, 13 Oct 2025 20:28:09 +0200 Subject: [PATCH] resolved #5 --- index.pdf | Bin 80195 -> 80045 bytes task1c.excalidraw | 1524 +++++++++++++++++++++++++-------------------- task1c.svg | 4 +- 3 files changed, 867 insertions(+), 661 deletions(-) diff --git a/index.pdf b/index.pdf index 9ab394c85b9c8c9d095b4ad3a1b61e3d82de443d..8498d34eadb0f90a03ef9b10d0e05095fdbf36c0 100644 GIT binary patch delta 14962 zcmZ{L1yqz>w6;TsbR#iz!vr%!cXvyPv@}Tf01AjGHOSBc3eq4U-JOyOiqcAmgdh^a zKlsJHpWgpvE!Mny?{jvZSm$|9&jC)wJ`M$!o|1|XSQtUX6@ht(h{Td99&(BUK|q6B zL_na3k*BeTvz@2C0}u?pA`;2S5IK0*d)m4rlk%X1f{9Tb3uMV^H&Dy~4*&=SU}dc> z0~`QQ@l2#BVO{*%8th~&00hOROI>S<2c=E!p+^ZlW4&2{nBo7ZL^Uw8pz#^pxQL}=)nJ%lMpbigLI4b-L>L7KVff{P zNXQ}p#TY_U%Mo@!h9U^Q@?o0_@q4TwVpm3?WE1MJAmS*qCu+6Qi7wbEz69FZ+#NIk zRh&YD0|$wNQSPZAX)p`|69z-Xpg;snTv${L41xbjuC|S@w{sxS0wfFqf#5J0Tnqxk zD8l?<2w*4}4i^&xqjC};D3T}Cm@vE_f?+`+7;V}}N$(Ha0>ip<@xyEkp&rtE{ShSe z$6wt%7gT!aAN8j<;e9&h87Fisfe5fR&pzP?e3(vePsvQBw+F5C#u02Kid?K6zGk@O zDh{IlW#7doy6|u7bU!!fe&U~>tdFo-?devD$V7|&&{LK@`#F2Zb8+`r z#N%N864@Rac5+J3! z#5Yn1@v7E$y$HAM?0Pto2 zL4M~~lciP5_hira!`L4mK}!@%j#sV^xp0_kx#T+x2HSii`+1swyF;VH1i{y@s>dLywRWaZ+0 zK{WUuXN=LQ;id(8X3=Kj;C|%6^Lwbq{M6-eD3|qcO7PRX zN6oIR)a%F|ndf%jyY9erD(VtH;G6lS4l^ub6Hq%hOMVL&oc+|YA>Ba|0w*{0l|-)X zNu;PT9)E?jZp(_l2y^_p9el7EcINBqZ^=-KE`1}wJDU1^$n(8Q%$e0ACP6{BV?Ms( zwYJe8j=t0Wh6!1Dl_k^sfX_UGH^PHmgUE}ha^_Oqroz1Lr5?5^Nbub)*4T0(vSQ15 zaCQhp3P{qgA{uqu=!v+U=0snZ%kUx>>nj&0Yh>P^Pru4}SAFop7<>J?;iBrhwYKh@ zMvC#Xmd044uPWCyq!(l9HRj~6Z|f@>cVzf!1y{Xqb|?|`Dt?)5`{pz;%|M==pJMGN)f<(cRC`yDNY)Rv%O#;7z`EPl zOFeG4#_uLezp>8Q)we5E%wF&$h72Q_un3s6A9Jr`BXJmIu^zvscPfs&E0{fP+`H|O z$(r1sIF)^Or6DyOrdv;0Bv@*ITI6Af>)^TNBC~XcdjxK7%N$a_DecQo**YXpmk-@5kSIVbyoW*==9Ts*O{eZpo^%nudCAsQCMtbNkwXS5; zvus&-cQY&B$?MUmBSnRaPFdRCGUeyujLb$xPL(x<^xdKOjwdktvVP_E%%-OPj|OPMPNU-y2@kgk}SVpTu%s#rQ=rKhyXv}Y2uVJ##{(zGtqr%b-rD&{Js9h zP~gKKOm8P9Ej!yby*^|{Ka((^H|CONDEw4_Fvc>+Y4JAD9wi?b@(rqG;8=QK)cy#& z@+1z6FysX;k&?R$wJM#|1gH^o>%Cj!6Ta>bSltS=9h@UY2e8L4G_e|dk-b6UUqvSk zWAU+WDoPujPzq&q9jPcQdz-c5Cu8oD9x zuNR_^vl(H<;wkGzd<~_diZk;SF;Je4GC@4e3m}rlqn{bh`Xr;yL_+xzuDF!YfCGOd z_2}?kh{d~Er`L1fy|qAL!U%i$B=3S=b^r1~@ZqV1LpTO~tw*{slG zm)BJ4WE?g@*BzFn*%I;lmn$Aj7mlfv*-S47Rz)-jf4`R*U$c5w8EHG|$%VD{g(c2D zEY{zMd(4b3e)NfnGiU$xfr4{cQ<-a9bU|>bDy0YUuYEPm9m@x2lAhyi1Ufd1o;?nc zx1O32@72B)8|F^9tW?1h&(($8@SJ(9yOV$T zjm&-56W>!{Hc`c2dtgEw8Nj{w-MRVI{EyyIe&-@JMNfI;J0E*C_2m)}j_jdfHOZmU zyg|uL*Q`gZB&ymu);Ilq)l=JgNv&7erXEwcmwQs9`VMWh9xC<>j>pV+&ct;syXp$4 zhO>be`vjBu@8mUDY29by9%fjh7t|#?_EJfvSSj}B)4GXxO2H5u=Q}dcFp$fW=-|@o z?w5yM6b-FG@=e>^5^{$uU?n{$Q`I9~exJg779)i(Cip~{AQv~3)0Bvrj6#U*$V~ei zZ?3$2wcUd%f;4MFLk8^*Q>zY8r0U07P!C5C$utWWQK}HCWR&^Ds3wwjt%fpQy|3)( zgBIZGTcU zE86_Vp~Z5mG`=XnE9)b_^q@CPlO;uykXf-2p$#(-?S#;`5DLgsWoC3*BovcUf7a4i zpz5D^2rUgK`3{I8^&*f@88D@CY?*~wo=w48AW*UtuD~E3|NVhZMkk$Ed&CWifn*|9sEDvxr78yNMIb9u;+!S%M- zCL=*p%f80s+&XADvz4ILeOynRF!?mj`EfiYYUHp}Qh}93(f7Fttm73*R(2{0pc2(L z(XGc5*dvcrBi{uP*F(+?zj{Y%xZ1@5xhKZ&nFjCH6X|eN6gg29#_+X#Hx;z_h_P{a ze5Nez{`2UtbQ|)HL)#PB1ihdVu3hi6}VT#X%iHfb)cWpcQrIlkx=3tr2P z_D0eWdnHqN*im#x|2$+;cj@#lVryUK-`7-6#O@Xm*P&8dcJ*p0CGHgN=eA%N2G~kTp==Eu{ z?_^Mn!>R6Dc|)jZuHHfaz`IJLs{eGx@(~gx*7EVW2!~DNtJZb33o&QCQSYHHY+jmz z++pg1u3U)4$1&>W1+9W|1|HN?-sC;tjE))UNtl; zVUcKU+hfy2lXg)?Y~H8+Rc_)nQg`6H)Ir868Pf6Tqgwz@W3Z<+jlbjNmfv#Mz##H& zzv4$8+ITY=ZpznFvFw4`bKi!xilCz!1u}c1x8%4lf~E-MtgzD}NTWUCOB6=EbZFts z*=kMLvB%W>WE(08Vb}5*qI@58`+XW|1bOp(N;Fl#G4sMQ^&nOVN%)*^WUX9@U<$>&X+O}ukaiCZq%vyeFyMbCCD|!?S3L|1bTBd18 zsk3jgRqW!9STc1oqb5rhzchF)#~>mDZA19<5+5E46|lymeQ=OF8en6HS)`ay=_!b z`d~_w6YTa)fvf}-yj;C|P1xs@xqZ*(b!D9A!iV)%8P~h~I=oBLKz47pv8;JhW?2d% zV)KQGk%m0Uw=3GqZ$<#!p9Fh8oz(IZy6KZD`2CEyw$MvRg~Tqr0PY`kdbLNzG3`ct zZ0O|cGLX_u;XNV{G2=GWLbB{#68%&FXNA_k8v5acOF4J{E)T8p{Iv8$flIKrvFX_o zJJ_E%K}ccK*SRTyd^{0PkDgEANUe5|9>poC)A-_%_@mh9wyO96-*jN9^4M^3%gS=8 zg>K`KkHbRF5Jqn~HkKGu#CN!0M77uhfyYrwbsOcPRsk*QMK} zzx%1ZcDh*ue}iWuWE)TMCVwS+9zI(heC^^z%}jQCvFXiOx1etfv<}J#jgeW_6r;7A zE3-~-gjpokhl?gZcEWEj90iuekoMQ8(sG)zjXnlt5v5P~Zz>?sA}%#TGSt#Ri}@#I z>jdR(kBzCKKTn28KJ4<(JaTiGq!G-BNUZpIf)~r+#A1rYIH1AahSTO>Q2%&m?o&cY z)8_2KC#XS?EBUqChLPpDJbL!bxeaZk&!ogMtyk`Eu5hmw-gN$Uo|&U#PU$%CosaAb z){XCnlCKWuLaAvIk@b=$pyXgxr2VAlrn@qwpw2k zoX3^I=NwLR2TfXEdgC7%%n}@xt$)zkua|8Byds$ox_2K_Q^%^D1#EXY1Xtpefb{Y6 zj=HgmY8GHRmY z9Cf{)Z=QM-QJc&^Np6tOJj-C;U#6XyF+sTD9;&5HcqMVRn7^|Zji)f8^=kUrFqO32 zPO)yD&Mr5L#8T_uh2tTePUFetwD=&m_3sEzKpqw)-Tx-M;PQSv^i z7V9yV=t{TZSVcX-fv_sP(n4F&i#N2!W8bvgQv0+l40#=pF--E^yQ>M!*{r0Jsg$lW zB262&yT+3e{4KRj5|2IYmf{l#2V&O`qr3 zG+vfs_biakjy)9<n^Y#6nM;;77tq4>X(ExN66?yPSE;estK&iJX(w(sLa>;IQAu zr}x31FSvbf!j&ckWg*S)VDG(dVy5wqiC^2kj&3nGklj5=q3SMi{;^uS(5~Y{J4h$P z{@aM*$B}^vO5dqHTYcpz>}#?|v=nnHFvI@G$AK;+)_st-gO8d2hQ@@8S%olCyv{Q* zdOB1JoH)iilm~V){xtch+%4^zwB$&AZ0;-Xz{;5heKUsU00;NMYeGs${NX6K=K2Y> z2D`io-I%0%hsULrv;ojA7VFd*;wK85i7`^@d2_5-V-Txw5rQ|E(dU7PE5Qtnn|mcWmB^OL=Z3mpgz% zt)Sj&WxHEmjkD|G{I;iWi}I-XkxIDy!=3CqNH-_o-Vwb(z!nqJq^qc{CNJ&Kvf65P za0k`<2ZcA9CRnj0EOfn@t8Uq(xxW3NT#9jN9&<{O2n2! zNWj;&EfXgG`T>Ie0-d*rERNN(d*35$ziW}W#8_wn)dcCc|LazF{~5&*!-6bMvb`AuHv{{h!Pe_=TP0~Zky zK{22R=fC((U-=b&$y3gY-3-V*%> z-a;XF=#yD6;La~>D+>c&VGKkGS2CbbADU6piejz_$A1eV+RQLjhi2=F{7RRsw zP&9xDfI)~>4T(^5@5z2Ka(9{m08w-YD*#3#dIhf-T;Xa44nCfK-gXW?Km>~QoCN^; ztL59>pTvI)qY`$h0l%2P+%-5?Ci#a$bp96yiUWay5vZk9dX#L~b>xnP1&SI*9scz8 zWT!BM`2E_u%}Ppr9NZCp<(r{ipcr=`PzgHK)XRcs57BmMiPey!pv|=!6(C(Q%w^j{mF))8)t}brCcE8f1;$46H=xb^5 z*H+)Q_GQaHe^1;n^w!^wIfj`D3C7h>y&5sES#ClaWoM~mL@u2z&b?`sXfc(R$db5$ zW9{;0bL-2|R)ge?{<#>!mz9E_ziKB0I2HxK78+J>c)sbld1tXA7n#lFL|ycCZgA}B zRAU zg41d|l%RFlMCEP{i(Ly(L=~A4gTK06>Y&3qx`|Xw3>Z2KiI(Aip zGub;z4o61jeh)sAIGi5nrU`+~R$AX#D6g=z+hpM6jZ?xp4aFg9sAKm+r*s8B6XqXC z<{AOsuxPZvNOo6y|Mus4qp8p$$1?Js#*2?%*+P{O^u5;? z5!pXoErwwsZV>& z@%mpo$Z;vA@YUWs&YR3(NNmT9`smwZG&~D$7!0^810JYa630(Y)I>oZzH5uDz`gz8 zrcjmpnrxuf6D)mX3HfOM!H^|xfAnYf$kWOa62$t?3H$VxX> z!8ISJ@LPOJwf?Rux65-v!y5!E9}UMAe*h0wlen$%8~2q4un{^x_T_(gFSZ4iOaWIO z*YT;Vs?jU4ZN`$#p-Gf(c-nq1tERKOJM~fc{%snv5Nt0=WN0%*wemAfFM2lby>7o% zuLklB-~77zQirmFeJAI|NAukGeac$5^n+$s4@w(G%EHr%o6EK5XGVi_+1*!~=W*=B z@2Z7FyA9|9*K%G&?%#*cJLP$vjYwC~WyjNguNmd{N5~$cr!NjT=tVd}CD-+}M!R)U zwZJ^_OSAWcNYDtJ?NJ5*PcIv~kOA`M3i zFK*U|gKp6B?D(sD)7O&iSJXO>Yo=|nv^DiBDuNamTjnjrh}zx?8|7*48)Q^w(h%A$ z@(Q*t>nOPi$W)Z%3JiDfP5`<+9i&KyF+=afQel_0JeE_=lbB@aBhH zOre3Fs?t|Wb!N1AzArC78}ep#8-9GbMYvBjW7HG!n%hg`S&P|t!HZ8!jhTCeGZ_Su zHCtL{4?~{~9$X|UF=lOD_dZ+voWE***ku!PvL=qT7J0zJ6ncQFEu`LT?iU`9y~YqS z>O#tquZvWtvOVb0%-qA-06k31matmTRR4lfs4AUUdtNF?(m%F2=tm6=DeTKilyS|K zjXv>$x z>e|&99W%xja!;q_3idM+(sAkr$xlB-*9uycVy~Ga2nW}Dm`Lv|%~-BXkS;6Gk>)WW zJr4#|4Cy)JV^Y=Q${r_PW2Q!jbm5CRiBH#S=UFraW(p8^6yIlaOr*H?a zGci|e?tXmt%kYH3<)l$?wGR(sQP+5)K)EAI;9NlbTle|sGee3A;Dmi-TpsQtp0F4n zs#tC;m8?UXMsDI;STWRO)qct~noBZ~NGFboi$YLevka+MG^w#&loZkF+2`kPMx;#* z6bPTqb4xtSk7}K$v9}R_B&{pAzJteT>&-?9l$9juT$>DW_{1;OsdX1ko;XN)l8g7Y zwU;sN-mO<7B-@}Ta&5P$BDW!~nYlm{0Pap<%6ZTP$Elsn#yT^|#@k7HPW&Ai1Jb|g zUc-JBz?*HknsWIOQ>=z51@*1B$ zIJwk~C2K#8B_sY;J9jHrHRzT{55p_TEXvAa?2YsL=4V57bo4);(RoWeda-6!n@HPY zDt7oO;)j~eoG`*)!m>^V>1$U0pf5w`WBx^rdrE{Tm z7|;Dev#bz}a~-a}0rW`j9*)UuqaBy?WnQG;dSoX95gMe zwmy!(fb_nDmVQ`@`sv-jQI#9B!qSiYB-ypYdJ-wdbo}*b*;FLzrHcJ1POWw% zvz0K7rXZPeB=hL0wN*#rozXi=%su&W0~^E+!Kkbo-*^IM*k!@PYrNmM_mOG2_S`7I zV=A;PC4lqqO%!^J5b*c@Dvbz0i!BZo`)4DCCZqxoBdOk}*j5Fy;%2^*p?t4QL~oEq z8+4-AX2kc9hwce3&d*~8Z}eKyh%~3{d=wjfxcPVrv}f5%Y#`+o&V_X0o*mB4qnAY= ztV9QPMUdjI4ZAm{%qlaeUq$n<#le&sRh8=~TEjZR-iqN&4JSC4P^OF^VV}n?8MpSQ zO;F>!$`;DOUPj?22j~&x#Ue!kw(z7?r^rqnm&)Yf(#ItK_XIYQ1!7XWjBI>*4m0)l z*H~EaaU#6#b=PhZBz;tl;AFOAk|TU#->#bn6$PjUF2Iueudxx55sJPV>p<^O0jQBr z&-WWZx8LRFB3|p@cXf5Ar$xCnIqQmKvXa5?CsloTO?-@fd9;T<>9}Ji&_;8yYrMEJ z_4DWU1bs6|qD~oppIj#X;DgPG`}VxV*6oS#&J)q~J7;<4b3a2VHfim6pK@Q$T5;>7 zd&&xKtmnLb<8u`2X9@P6lbLPn%@_~ zFbpKh<@#!HFbJrKbCrROMaQiP4D;X(4J*A7+I-wwKR=+s<-n4f9%AfPHi&0}EH+%J zGvfFj)==3`tCHLQBtGBkjCZ#eV(Sh+AX*z|zsb)#)f-OH{S0tl-m?^|zUKwW*IR`~pc|xltv)QJ3VK6IJP-Vs{qScV^a7{vmUT|Phf@qL$@5n{ zQKgTpfhsV}ax*^S^YU!+ukO^2a;NxA*z790Be>kDjHQAQ)0fZdBmrLU>_r}vV)vZ0 z$8knyQa6mLkMXH8cb^!FP05_x(qzJDF!iK2;2j<<;_`?H09_F`V#4lBQefy zwfG=4XZJ$!n{d2t%1TUn?12t3Qn@n-A3w)??{jQ%Y#q}=SRr8Ek_T6*X~w%*HyB`p z+d%H;1fS;9zcndt@bpW_*j#jd5!7Li-P&2MO)jw4oT;Z1$*8R~r6y&k*LPT;I&;|_ z->_YL&SJ4|Z`Gu6$2f}x89U}JM)8sZ8J$Zu#do)wNLeg&a&L+INa$8F68{0cRwQSh znsusHhcwAXO@qoFZ!yk$wp(gCT(waoTSM0Aj0(>D*<;Hae60Zh82t@y5?FuijP>JG zygsj6ohIOAtLKq~Z#W{BDX?5POQM~x3hqc;$Lgf+aw1Fq%PUdau0+g z`1NPZ=}?-xeF+a>wp*7~_$cST9rd7d{Dx`C{m-Fqq&O|=@u4s4_LCp~U~CEHXPs(b zC0TWFbXDLyaOfbTvxLdo%DKO;xB`KhdN-`b+AMc`%Va+_t~rS0<1)gR&E zcb{XGDb_wF^7#B^g@90%4%X&#k{|z#&Be-Nbz*x6&mAeva?BJE-Ym$m*B6~M>F z@l9K78~4Y308jv%h4+~sL~|%Vbj-{)G@E)@Cq1yH2reJ*m(itw9M>)o+^=>QHjHIL zb^?inak?pDuIC&))L|^(r|y~40Kzc0JG4kGu0j6TZo_qG{k*0=?17@+M zIjM2Nun#zxdvRsdBO*!-qZ;KT3hZaDGjojLc+YmtDByPEa1sc}+k3v$F?C#l9OwA= z;sX1~?||j72aD&BAi-dmyA`LwNP$uE4Utl@pd!)NO9`$XwMUinnHoc5Qs~>XKWN?o zK4*p6r8yJ}3Y<2|u%!(}9Sq$<(;1Ht(a+DgKk$?-*5W1dC^*-zxa-lcQf8UB6>=-% zRz-MFDzV4QO1g}k=`S^@jeNCo_yVr{Rq*&0C(D>P;kT(v$n(XTm?~nx+P(3zY11a! zr+Q?F)hSK*WXaUe7Y18?xCI<_+&)h}oclaDojPSt7qLDy{j#22sV=5RpxOKip-E%v z@!2s9F;hG@$f2J=uxEKqOS`<^YHTqliAG>yxJ0_!r6+-3iuChQ_CuGwLjAoE13LIR z@jG$Z9{VIV1*G>Z3x}j@*DdO(~L~_f$5tYyDRSAXh z%keUCC~2-v;?Ub?HJ-5xvllUKY0^G)cjwHNd*5k|wZqssOw;&)z=_fpwc&AtYVKXr zK&Ow=gf2fy-fE5bmWTQLDx~a-d?C5<_q+>JlkZr(Cf|`**OU~muQf`iUAu>xKBOs& zpp$#0OQ$?VNUae<808v5xRpWN7@~u}!usqLdUhwzzqQ>1F?#|n?jw2e{4#7aJd|?t zeOIZ`LFuz>6;MV{XU3N6+@h>nY?nMC%U0l%wV)%#6#QrV`KgHhR?~@9laF+VUx|Z{ zaoa3}Hf$`Awf>&FZ>L(j$4PX$S3SvCKF(l0o_fX_zuI!Esb{3!MdI0`lkH?{Rpa)h z7YWJ|jOTlqU$kx-dnUIu^HjO1W~>;4J4&{D-s?-GMCH`s;g;Q|F;8gE2u+VPpfj31 zV}Hs%GF(~n2){UGNkH;|ms?GanvT=@V4sE_RM@)9fRt}uEeK%aNTQh57keT`N>2ZB zX_{Eu@P21RNs=^+sd^qg8z=cga>@zdC||ldx1fs!^C2J8UO*24|~bcYXeJ zC100(A6c^(lOD(Vxfp9cWuj(s+5cLW?D}q!XTT#apVomRG)Hek%f<(%$*0z&X|x$5 zM{SAQhAl;u3tTs=4x?DCmueK2TBr;!7`jt7uZhHiGtQ1aZ`*{oG2T&TFiW`TI#PS9 ztxEE_rba8&mQBzps&2*nw&}$FG0hV0+?Q|Aeo`dhWJAL~*JGCy)ZK|}OU0CD09P*YSG$*DZZv$m3rDvSTn98H$~=lkz~xz zgi<|_^y`JLugKF27iOnewD;(N2Q$UZQDv;Yb#WCQs#4R{F$>W|JcZCEWnAZ%r%w zv#NFu)g8xgtG<@Oj%PD(A*bi5oMMTpT@&g8jokZxg?1|52rQdPD1# z_~q4x9L2IqhH5_}LKCwAuFgH_*Z^$kc1i$~w7NS82od||v{c<4421qVwY@q!Rdx2KR4)kn%eI2|#fWMmj zI*wHi^i?(VwefWT!u~o3#z-l8x_NpVdfC`vh=1Kxzz|hDJ$!*uQkY(@UO>QqOuTvn z1Hr#e!vAJMfZ!|c^(zHeY$y-{MeDNzXwi?^07MOU*#VZ==sWBHQnUv*fPmtkrXniN z-afuS7!2LT2Vg-{aszZQr^7bf02=DQj?^)IVZJ8z1;T&5qCJEF4CoOa00p{^8(;{4 z{}Ltt_n`TgC=7v?;{#Bm<#_;NXlrf&t;~P<@PA{g=k4GRg#C5+er5Duw*2Fzh?dQj zY2xS!J^&EC!-LU=clFPV7a)TUp1{z|ct;5fJR(IRDkpzpsCr`EPW7MFWnwipC8zl^{R?4|C;07z{__3jnyW;4rj^ z0Dumy#s|2LE)oQ=;lsp)!B7wsU4UUz!2eCbUs~XQrHDZY0Az%MV8T$a_*IeL`ri-= z3#(Hh&Dns|CE`Ky>g9lvA2AY0FcIed$=?qU za}Nay13HrYMMH=}!I0R{c83Iq~|VCIPb^Z)|GF-HGJL%>8agXzC=2uz2+(ZFJ2 zpua6b{_8hL3?cr95^*^6chkY*psTs=KT5#jkgE$^|Di!a2=PDVL=pduEfNHRfFQ8n zqku^Z{J(-2^dAiQBQa1o82o#*pkUaa#y~)S(lEY(k-uAw3E>}}AjGfA>p$L!ii-YG zIWWv6sNX{^Dhm4}s-iGa&_8KH{!@0MFfjZd;=eRF9P)bd zgF&L0spLO27^Y%>GY|=aA)sP^2qM6LHWq{a;oVi!-`m2$n9=f^VmRhj*l&tKa4{$p z3dH0e^ZZ+c7~lQ~H3BOBN5Nsn&mT%KH0bZfAVeY1--{Z70R2x?k^hW(7#Q@2APn-S zVoZ7bp#(Fh{O%nBh5-FuM+lf0`1f=oF?Z(vv=9!uS~LF}893yR93$Y+KSl%sE(-fy z2?7oW|KS`Qvm^mQ+P^6g|5FeF{v&q?1mw?9i$NjiN-+SdKlo}FWZ>!P3%r^j|3akI zJsdrOR|Wp}s}j(H_y1lNq^0?Q|9{r61Yyh`6|vbyfZ!riHT^ delta 14883 zcmZ{LcOcbm^mrGUA$#wU?e1#}sgS+*7BaF4T|)M}xQa+9dyni*_DW^%kj(7W?|OUR z_xpY8`}_FA=X1_^&U(guo^#Gqw2RZeheN`pcIU1jNC-j56@Yo-n{T0B7f~bt7~(BO zm_a~RAghKkAuFq}mb12#ou#vtH7f{w1tgS`LLnL1QFGJ8sHeC$P{lJO34m|_2=$Yh zr6Lco2SCZ-Qdg8=$6)~=sL~zE3LRVsH7XUG1ZCpQj;duW$AH?RZO}}u>VUE z;vY$m75*a$(}Ecl$Ls`vSNvo)z((bAQB^pxi(#Ye6-iKyJ9rh1T#XzkefD3%@)e2! zBB(RPU&54>=uq{FyjWl$YTk#E;vZuOt(~l#E$j&i!N7PjPK-%JC<&zmj6EYygisfl zHZr(W75oo={9_J8m5CQc{oqQ%cZ?|qKEJrjKVd^v`S1Z?SIqJM)t?~xAN{Y`lA`3F zL;~O#*7pF2znmlJI|o4V#86eR`R|dUXnlVvE*Cw9FY=EI(h^uuk};K75MV;z{R;6| zdu)_?B6UU778-!^E&9uB9GD0Uh`JpElmkOW;6ex}6wV5QfklKs2srewUQ{-BceV3o zH3SL)fj}q_41$0`S4v|3t{`w26oP>M1u#anaxtLlW5`j2Nt6IEiX{mSfF$%OBKw>; z6Ecv^^+#KKJutpk*rb?{gSQVA-yLUzFWMfl~&))Sb_-g+6^fAhxzg`pBH>Gv< zqk4k?SKW9}Z(m}C(r<(o6?nWcn9xTs_097)U6!3 z6h2{y!{YToXmfM=v$AEM<}?NJ@SU>e56uZ0PqzxqTCm3%@F7m7t0858CEtn;#RfiG zQwKK@f9A59R7cUtK+?|TWcY+cL96mbSLw5W>PJ&T?+1)YHS0#|7E;TbzZ$h24%YX8 z2)8fyZ&rKFS;}*>_&&QPq%8G*S(>{rWB?X8RG^hVw+7tPDiK`&IuW~oWEzypW>Sh< zKB+#&XPGY!Z(6rhTE2T|;sjYFREsN7o-;Ync^ilMN}nyW^}TyTb=!c3=f=)SPEKsu zd;@l0i9@>$4#88x6>2q_3tPCCice@Mm- zR>?`;ets}h`ZV6$QAlkasky8Btotjw_OjNl{rlOzA&XZAJv+6H*Ce?7_VaiFG~Y&c)nhCww=XmnaQL~}*ropsy zjj30uTa)MkUIh-x`}hxCM+%L#dp$F{(+^DjQhEnIWM^Tixqg%l&O>Tvj6F2P{}~su z6LZP->A01eteu2T>qk{3cQ8}F;fY@}sB)Zl`O(K+PaC3)TGRA!@e{p`+<0#qNN%3U zfzidonx0Ba)PjxhivPx!kWZx~BvdJ?NazpCWB}QtXL;=T{>x$=13&^+4&P!o86uKnp8gc&lHO_I=>Q1Bgrpd&E_zo zIk}B@bWp20r4o3i6U->U`@M#amu~q{$nMPaThk)g78_lnp08sy^7`3vYKPnG!;j?} z-}P_{?-5;Ar0!d`Lb3Fad&Br7~+sA6i;4227RVEcyE|eRv&%YFTXC^Z2V)fo%?`q0@{zC`I-Hfm` z25NnfcMI+14WuX%?B1pvcTRdUS^XV2)31-PA??(r(+lHz>NL743>Or*jOgOq_Ro0Z z>>$9QrubMT!-wh;xd$qk$MS!W&r(N-tfE-Bpjy88?E6akv)Y--ro?kYCeI-OuH)E) z&j^Omx$h$1M@!yHo^^c;9R9{;DeOl$wB5?n{3h~4Y@J23;0cb)n$s4vOL0*v^!pOq z(FeB^vhF=+XO1VHZxWq#{l?&K5eG^LkmN4CY3abe*#M}c6KTiNHV{y*^qh8PtJZG_+*GrCo{*eo3~Xtpsi{*! z{BxnM>SE^%=|d3u6R8l2>^eHXr8moBa=9tJQ}mO_jUu#d>Zz|N`}ZZ0YJ$Ks{Bb3= zcZ3;F1;RVg-;rMm_EuItFyf;g2Ro35l|7Gh>$iB35`@>kdo8I>S_8Bi3SnZ&9R;z8 z+wEt`V9DZ$z#rG&M&ASK0dMPRilcWd3@on2c;p)qzlKE6FF~jx?JGVjMJ?W<`%=2*1iSHxy4cS$iTc-Sx1W9!Brft*5^wz((cy z`^tC*(P9IWd`P43Cg*A>B+zWc<=(n^XBF`d||)+tE=H^=SBU9+fBd8j^SRgfflqL7?bp7{if3=q>w1pBkmr9J!|c2!>s}bA`8v zmYzTvp-ypR>Kn3b=!$_x22ERi29GjOkTv*tmAySe8g1+!d_ZaN^JMIT)ODnMQBcL zKFNV}>I61hg;U^%h=dfQ(s3yuMO7`USmr;#v=X?)8Qd{Jy$}O}BRQjq-h1CD!x?;D zRE|u)MJV%%sWVYFKepj4UIOd%fFqYO#z3E#2CwPt69PewO z@z=YM*Vpv%`h$sCEQbjs2wSgJmbIGTO_VCLSMwrYb{IZ6r+!KKzA;8TS~RTr9H+m% zo-y7lJd;3_wQ%p1e7;xhF#$g+L4J35*nWjSfI zQ}jPWz6#Fo6KQSekqn79IU^o!Rfa3{vMnna1Po+5y15rDKNXX9vRLvi-C1H!Qk5wH zoO9zKUvFRQ(zqFf=VIU{6Fbf|(j7#+W8fnqUKSf>eXmx92el;IP(g=PY7&nFx!Gpd zed0s7!e(r>9Ai;Mc^$i1#j#hmx^t)FXPj>|Es2q$_GtuP{oBtcI=E-HubHUxYM*|t z~z6jl6Sxb}+u#~RLa0dZ|mGjm&3KT_DWeupaApHc885v5fF`fOiK+4gRH zas4ew7SGGB8>CYKRV6OGa}$X?r@+2PPezKOeZK$DijX+Esp_Xl%c!=v@F{P2EA4|P zoN+7NGc1#kZ2!Zfy6=-F8&E992h0M)q$|Y)KB5gT$U#j;4W9wuaH6I~!uxK6&llDC zQqV}8u*Fr0P?gJPBgE}}2Ch4|waxA|RI$*RTivtb((e#&xj~fV;=(&U5k=?Bsc*9I zwR#Wg@h1H%-Fb`!X;Q1|%VkOJ`6WXnhCr>K{AjCX2N!-sj-h_1w<2Audqz>65!D6+yq}E z#cEpS_oN@QSqgn~ZfyG(_cRUhbK(R@%5npiEgIgQtlAtjbJ5 zc}CxMH}g>yN>RyojP{SyN=9F)wuCQ^YmAq|K-STOTn<_~+Ol-cy{o&S& z5gX3-LKX5xdS=oeE|7eQ0ePmt6ZJ9kF(PbQL!$#`FcSEP^OeevnW-XhL)N%WXH!gSNE}%5?k@NAa9oP8jq?o~ z*PUw&?UsTUvr_+d@$-Lj76UqbB{y zbIuUf`t)YUa&dkH*~bYc_LY!Z34-@Dk2qrmH63xCgefNw;-qhY@8?+-Hz^g3!3CD@ z_dkuZ*%uhTQo~WC9d2!$K<0rm15H|al%L@H485_RdBS~g+au;pYvXXFgr07CH+LE^ zoETERb*CYcSE0I_b^ex*AAhox0!LGmpzmHuPo`bYA_Yr;2!#`jq9E~v8AO?04{&LU8xWEFmf>$n1AxRq%IuK z-c{?(FMU{Nt2hXv1f;(UQrr4ddX9kHCcy*`=|L-^2m=+9hzq< zorA^h-F=x88~LWRi-)P2ls|L3zNRGL*4Sa^{Pt8~-qtHRw}*%1H~U8$@~x`{u#ajt z=aY{1>3KC;_;T197xLFW+cS}BaqxvwW$}H{3=u3`HGH8p^l%jUO1bPT*(KnKQds*B z$^`7gC1!$)_chdta?`lnDx8Klj+e(s6Eu@afVQ>CG%^$J9Ssy_*^Uu}`oz z?Q7e7T6N6n2f|-TuhbtH$jzarb8%l9e@5Dg(B0y-%Wf38z^|RGt=MJWwxe2 z;hyQF44GzsR>(ku)J%UDCzJpRDXq)QbGzA;173enKDHp!$-hzh%0|OZIo@C8%?>-` z)Hbu3kB=u#r9^gdU8hsdfJHp-dWw~sPqNU9ZjL+lBkX~&u@~Eq-ZkQ~yy=Q>Ci?n% z5Xj%g8K@tk`nBi~k_^5k`?7g{LU`O>Bs5nP0IH6Y+$2sn&AZWNrp z{;YX)&rbFS@4H&2rRe!8ve*G(PH~3fE;H}=kv_{<+vSJrq?+69!bxsSL&qHBeGv{h4=7iFEzV2 z-aRlHDXXI`c`>c$Z#z^~xHZO+M5ekuv-Tmq_KY>`>*)K}WjD7SdZ!P;Z^Np!A9bLh z5gh1)ERcR1*;w9bTDLwDwdvreD)$1Y_l5Sed+pb)+f|~-3aj)K z)B4P&&u(?AGcQ{&X}Z1KIDz%u6VD_HbnW@rJ0*ozWckfLnFGr!m~cZx4Hkb#MOnA-Z} zI3(`G?ilj!jbaFc?*XgzsF6N>vem#fSc9<)8LtcbOlRV2aZw$6M953zOWDIyjgjlB zRGeB*6~3|E|FrDE{>2r_za>l0N5A7GQtZ@!kf3RI?F<=$pssIrM!cyiJ3Ya=_wwx8 z8h3dWeYxd5-r`BWA7-)5`f?MtCuUWAu|$4dLRCfd16l56ra{Jq4v%{5Qiv!-Zl4D} z<(-|NysV?#avHPFdOO(oE#sX!bB}TLsWsI9{yFw(h&}Vko$AhGD<(3dU>`0W?b@ev zb=m^*>khrh)u5Y40un3jQ`WEjyc>01<-W?eFx7f_e~O}+d^M4C>M2-^YEWH>(WBkN zF@rg`2NW*BYowdC%x4#5s77unj5hWwZk95s!jS2a~66;jhL&AtWa zJdWITf!aL!S+}WTqWQI#!4KtC#s37$^11um6r-o9jKBCNf%xvui)^VmF(L9@|4#KN zJ_s^e6yo3`;h!+E#_!%q;3L_J%oV#AC|z73t2(+;U+Wk;pfNyuKyf1U_86Z2nRThF zts%4RVV+i(Az9D-dv)q{RyeS-Y|pt|FjSL*TosG>VZ99S~y84zizOdkr&6|*n{_a?W$*S3x&8{jhU=CvRz zS4&bcCvz|%{!FU9nmdSJ(pS_*VbaOFk-T|23Lrr_m*G{gFKZEE#Qv4Z zh}xmg}C`fYX1XUEI7_t74?KQ6Ip{m-8Y^GWDCQTA z-+6l~?$utuwKa9A`~`VXGCpuru#tKr9`GUh|UT#--h+2*#+jzwHivBYkYS@A*@ z)tKB_h;9vk5z{03jSN#CyC?8kvP~MtJGxSE{Ofg&PznCd!b;=5%$8DvDy9d*J9#Y3UGI%A)&XP-_Tf@EnXz@`%#ZS8sM?U7b@@JO_@soO3*+!Z zlgwDLHS*-h%cqD$#au%t^UsXyP1^^N?{{2$MFHd0l)NB&A=Qo7tTjr*LhhgM%dR^rF<$`dL4yzz#R(WjgdT<&3e6S)!Q=E(TX%)};hRplq)A8G1$HE!rHL15igH)FEzcI~h`T^|N|Z)H=3U;nki(+|$EGdoHBa8O z!b1v6EM+(KA{%zc=otrI#?IMCH2gqLpIReb)rjD-5*lig-C-ADY}U~CbwQIo&%4VO zvzsEdkp6ethuW0NKJgCI?R~a-W~)`dx4moa<70}KPLq$ zO|zxM9Ok4wRId4C7vhDc?|pO-l6jI_M)OcEAPOn@71|v?+?_}OI$6kh;C<@G*m+BZ zNqB38^H4oAln*MNV~~uq^woV?O!-lHmwSvC)C2EFRqOz-Ft|2`t0&S%TD}RPu3>s^o8qkF2m}Rg zfRW3#DU9W!wq7cM57=Q=k40cL_sL73-Mh74w84#C>zdNOaDy?UFAX`%X0+C?kXWHiH(@IjWM!`KLcpbJUH^5~ zqO0)nHM}D3x@tQ2RQe$=u2$kCAf;e}#H*@~sq00k$EvLz#Lo^up%f7@mi71o8DCwiD4gJ6x)@JqkD?8nUNK(X!AaKP;;U$9~J4 zz6<>R_%4@;0p9QlT@~}Kv8|BW5QzX8V^~DnmlX?(Fn|r z;_vMPrRddW=Bg@1!`jW+!`0H-jrFg6272~tOM)o?!GVB*!2j7gFxWXW)$E>KMntPB zRO>dxVtE*ft2of`n%yrmTwamO(c+DGh@C`?b8nU^UCpTh@yHtGh>oz;`zbeT(h{WdkfcO&5n||W4Jn0^1X1j zq;qg7lR9I1O>`V(F8JGQ@G>*AI8MOhSI-|RiRVXei(d2Yj>dH&=c5gOM6q_GB!EN0 zDfPZ(KwNMr4*lu?Qs&zIm>YMx1+h)URn9AXDHH9vDp}5VkzPQP$#fH_stR6fYe!1* zGlyC`)j7B{lLJ0mD&(gU{t;66452bJ=XuN-+MGWccvJG6YRh@`Y0MM+mC)Oz?_~9C zNp34*B@#{hc$;%(i4R-eKnT9)@qTl9^DaYPl-|IsJiHES5PqH9hsanzuoo$vH&2|E z>E9QbX23|rkL)UbgeCiBAIDT83+~r!OqHCzfyLvYOru5o<>)wI?tWlY@=^fZsO8GB zhz>K;<#c+JL;5Rf#UY1xDYA;HB6&k{nbs3=Di1^5^;ze`#sS^|;(n$)3B|-GTfx;m z*L{-2iZ<>niWhwFvS_8s-Z0i~RL|UesGGVnyu`zTQ;*Ca{hm$cHfHqYg+tx87ME+S zMM4lz--hH&$5nPAWDVbeRegaaU?gdT@kuacbYrLl3r_rtG?tlICX;Orp z@$yB(b(=sd=i+or7vEE1_Js1EsQY1G-RIu3Xl%IRjXjCBJ$M;U%biNK0UUe#Fg1R* zOIb)W*1-aKuNN{Ie!9&xd28nK{VXtG3D*K6-(lFeTFl;F-Uxd?nK;|&bw)7 z_{mZQrn11ANw?nd=MPK#WbMoe!}k0NwFh@pp{w4=aUIE=^_PLF8I+P{TLXjEF%CU| z>5<}ogR;>A9*Nn?cgpo^wL;$)ODWPrur=F_Xzxp9`n^FF-msd9GEp!}_3zgjU6Bbb zo6}%t(0dW#hIQ7YuWQNg6_KCGNWWWNuYCuL)hoH4K_#9$IdVkmgZykQ15N5^OW;w2 z`hv$XG9s>`cv%#BTwPBaHXzhnM+3`G(DII0mP!gP{uGCCk&?RQ!gFAyo=_(aRuZhq10(mX8M^+A-fJH96gLP8j`lp*3a%3M8 zx1jF~o&=NO=iMSCcncpfi$ie8KEflK=KLbMC?Qi5{q|J|j{>_{e=`>!KIMBrFd*f4 z*20X|lruhC4YlawrqPG{1~=|-BVZ&(bNq0KG93UZTjQ;AQC;;XjI-M^H8zQrDZW7+ zhD09eOSOuAW08?eV1un)!}T-HqC&Art_4<8B;OAkWVhJZ^P1+O#$Lx4b$(JvHm?y9 z=!zpY$ZqnJoVPxEA@!?qGOcn1LqbuamjO?T3YspPkvv?kE~%37t-RfB_~-iobs_WQ zTT|Jjae6D%MjQh+^j!J;^!L7@9K9aAEdPXbf7}0(Foj-C_$G51Tq*q-aU?gp9Vas= z*Wz@T;~R3Jy}(23GOEZMT*8=RIkkU$%OSZvChX#vbnS$7lN_%=EqH*&Blbn|>_pKA z>^nCKOvu$Zfr@WU({bG=3^}|hwfL|V2`t|w=(pk?SPd%^i~8|JExgQnw=-kC*E$VC z+U0_z&_h=5pghkXy%B2taJI^q65~dVP(JyEm zijbL}jK&UABPT=Mp;(80u;4{pYh{0Je}rCZC^G>FTc3Yf0@Swzt0eWp#o@nFw0 zggmX#VA*@1Y*2(^N8Z(>w9h7xs-p5|NHGDCrC-}TAno3SEuX_m+dM_7 zt>i)}=B3g5OkEV5Mk^`|5gri(&eV3RQ$g_W))Dc&#~p*FGedLv7JG9U0)EK49i*|4 z-%rnlvx{T@r>@yp1#%T3gifp9m+=V`jE0hI=1Yx9@#kdaCNObgvJL zWom?<=fKSY=g(S;-c&+bzFfOKmG2?-Fy7QH_Fb8vV1udJwjH0Ki;>aEBVnh0 zP5IYb`acZP&N#DfEHbfND+kZB-Mp?~B;9fHvZCX7zb8ViLaS3;2IcXhRd!JMjlgcH zgOFwrBeF#;xk6q?t&e`?`m2xf+B{uyp!+*iWpbQzyb8W$rU$eM?sU%{lPJg`Pw(DX zjkC&dyNwqw!I^evPdJWcomFT@0Sia#6?w@zF61*{n@BJZWj7PxTPuV)JPI z0lGM-3cVjZ{?={#T+DDQaK%yGJYfamYsf{1#Vn z#J7#iyPdMk;jVWARb>*nSv?QV_J)k)wP`WnP@D`6_BGibv;IMgqPAF8$`l;|eJcg(09kVe zHiOfOZ)CU=+*>h=_c{{g{CkkHWkt~)6l)T|l-pCdrLNb7*s)#)f8nfKjV5q#WI%bx z;GfD^gFi(2W%g+E`x@CKNftl0j@?kV77nnm7QS{H+HpH(%8~&1MO4|ejL;ikb>^(Rj-5*)SeG%wS-iTTb;0JJIIV@50tn*hyl- zR04CdMi7w$PmT$1q-e|@MX}DfjMT@GeF$6U`L4)_haaW4vmWx6SJtdW>jN`sA*Wi@ zO>%sBd;;5>HbM96Y1v$A4x9roC~Z4rVwN?#h}Qa)`yW$4j8G|TNJx64%zFepb1sX7 z1uUnZSg=<<3}2ie zf#3#{6JF_w@g@C+cym z>r5FX*MwVax`$}R9YUC9!urQHCEK@ers|edzGG9Es`rX#&=%$+Uqxw&vqHdzPJ5a! ziuRs(j9+XTuP?G1J(cE_g)kh-U6$o4&$l^B?^aL|n(P-N3AhzBehliB1##YE`lRUU zF!$5r3!lbp?M5o&IM9g0{L`lwfr;_;=;fG?-;u;jSzL)uw7ghsLDeU)BK(e;N_OCE zg~lBj)~uF_d#qtLg_OrJ)X)IEt~sPE5D+7g0&$mDlEG;S`MUO82WNrEfGlk5p}bzA z&6|MR*c@w~NF6KhNON-|0wk@Uyeoxn#psc+KO}N}P|^N8x*7+1jk0TVo(%G_c>iW9 z&LRQjn=+i%5xr-pE_aqM1xJ5=@OBul$}eGkQrGojh)Oq4ih)1qqOta=hh|Z2-Y38C zu&1k9jpCgeKS*+>9wwO)DQt`=>FD}TV92D-P~QR%^lG)Yyg^gW?Zx}CE(_-Lk^4z_E+)!pQjuqEKHF%rlKAj1cv{6 z#F38yk+cDC$a`h9(X@OC-xLuivMjlM{lWFB+U7gY_~erdYtE0FS&!=PBQs^mV2@|! zCu5GVKjS`tp{)$cQ1qY8nAVJBA=L-ia%ST^R6lq{(|4XREpO8ZJXjDC%dGkSI=KhB z>J}mv?n|H9V>#%rdQHMIJvXJ&?T$@ zHXYW#0^G)!>jVGN!meV|SGD&N5?AC3jzCuMzb8BeM-VIIui*7B9GDgIPf7g$FaV=j z*#J}k$kjhe%`5!>u+vkuu(!6v$p4p#nz_5XwW|{=>{snSMx?yA`#nu}b9ZZ2804R$ zrJS>av#aJ~b4v^mihjigpq2keDNKvIAXd;{A#sdWSD#>3(Er9lSi%2bF^2wcTcI_l zYyfL)^b2kP3;ta@S2v7i2(&LhfEk_51yDf~-2zaP!v9f1#oF7Q6^@p^1z^U4L(m9r zfCakx7G{JDaswpMd^`Xayk8_>vV#Q67L28qD{Lij*Aw zuP=Yu1c#!ZbNy0*4E>B3z)Em+BLNB*0U^*Y`2bv3*0k~gXwd7t01!S1Aq0mZFen&5 zfQtLjH~9hFtgzo)^eb(G>4{(ZA<%Pt02MqCNC*NF1)|8n?S<6pxH!{UKCrc>Z(lUo2rbPhj2mJkMqV{S)aEHp;*2?7|Fg0H8qM;s%gl!Qf~Hj8H5D5G^7Ikih{WU?8-=Ab|DPTc#j@0t*4US`cb_ zF;FaOE3l4&m982@TUbq47^I;t1GBsPL_HY@xb^=*p(TL;Of?&N69_Q74n&Ay_-lXw zu)klUKmePoTo(lz7YrcBkkNqwvQ&tFXOpUjyMvt*CIW*||1lWAg@h1dZj$`{u)<+5 z2#nQ+_!kUwBL$3E)vg{^r+;B0S2s@n1A~LW5KQ;{7Y2nwFkSFp7(x_=xj6J6m;eF@ z2L8?v0fB>mXNZ7;;AjB|fCq`0s{dgDL_mPQQv-pbS5x}GbRhWEsQ51o0lQkbe}f_Z zP#q*90>b$4>M{A(7eEn&=pRBv;n2Sc|D^+o0SrgF%2IKoA-P1yD$0 zR)GJIgMr{bTn7OG;lI;CFkK;v4!mOVyGtM-*q;)?z&~Mdh$sX-f?6>y@w-=HARzR27-l@ces>lW215MqeJE5E@;40mueYFZh{*4z!a&eJ8pGgVk>44@ zF`T=dVzBA`F4LqJ6TPzDZyAb#%zI287Wx8Ru4 z<=>|T0tkU3kiTh&!0`K>Ap#17{q7meRQY4@V_=x;W&gDp0fqc&2m+(^-*m`-Cp`>& zb&c>p?m}Qzia!LyV1LeAjIV$15(Mnu+4OH0BVeN7e+2(67YRhb{~SmN_@9FY0f&J9 z+jl@rTj(Dv6#@>s`XTtQA#eov592W1j$lQX!vW+Hf8a3We;9;-{OMg0C -Program"program"ident "P"VarDeclMethodDeclTypeident "i"ident "int""void"ident "main""("")"Block"{""}"Statement"read""("")"";"Designatorident "a""[""]"Expr"~"TermFactorDesignatorident "i""("";""(" \ No newline at end of file +Program"program"ident "P"VarDeclMethodDeclTypeident "i"ident "int""void"ident "main""("")"Block"{""}"Statement"read""("")"";"Designatorident "a""[""]"Expr"~"TermFactorDesignatorident "i""("";""{""}" \ No newline at end of file