From 15968ff492917574b753af6d4734b3430446efb1 Mon Sep 17 00:00:00 2001 From: Raimondo Mancino Date: Mon, 8 Jun 2026 14:50:06 +0000 Subject: [PATCH] Added introductory information about the language --- build.sh | 2 +- document.pdf | Bin 102152 -> 102140 bytes part.a-language-for-the-hazn.tex | 10 ++++++++-- 3 files changed, 9 insertions(+), 3 deletions(-) diff --git a/build.sh b/build.sh index 9e005ec..3fe3037 100644 --- a/build.sh +++ b/build.sh @@ -3,7 +3,7 @@ set -e xelatex -shell-escape document.tex makeglossaries document -BIBINPUTS="$(pwd):" bibtex document +# BIBINPUTS="$(pwd):" bibtex document xelatex -shell-escape document.tex echo "Build successful: document.pdf" diff --git a/document.pdf b/document.pdf index 0f6eb05df105fa9e401482bedf837d74553b204d..2d0d28bbe974f56d750c213520f7101923b53521 100644 GIT binary patch delta 11912 zcmaiaQ*bWI+H`E&wr$(CZD+-JgB9DhZLQe0Z97@9zI{&p7iVAn7gIG;_1yH+Gu1QQ z6P^q4nFE1Dt|TTw&&Qfm3v)Ts(B#)?6cirt+ddFDGS+7$w`&TB?#Lzy2e7L~u)wS|Ww@;Zk*~81Gv) zp*pAhmjjft|1@8g0jaPN8rhtwI{0uEWt{^?_S#~p;QRBd(F=6TuLcY1vn--LXTX5PWW!~3c_brbb*w#s*l z@84^{ZJHnk=90}MER5lOM^|H;WN#0hVe0b9QQA-CVLL@h+N`-$VH6-uFio+@hqt|V z2{x+Lz6)E^?=?$96HYu$vHje8m;cV7nmO5V(0FF?&snoX+4x;IT)C^Pecy1p&5o|q zvR-D^Ghg=uG3Ic0=OWapr=6YYBU%Z7fII^*wqX5M{vd|vezEPj_)HV@{JB!pdp^Du6txW;@q8nr$c9b0Uo>Kop+#bVR<>KGr*#cn-1gpD}4mOxz&&^(hS#(edYZnFh zV80YQgHEQAgCI|>4c2o%^?@%defI^4%Acf}m zzI-XPg!$ku!ro^XS*-+;+gCkQL9GBV6V=Z@=_cM_X(ftJuryALhkLD^T0U=-EfTnnDuh#RKU$~cihF#Z`2L$9!L3c6me5hmdCKOk=&g{n2M#wA;{lbR; zE{I3s>TKL-GjjpvC29B)XLI0pMF&$W#S{;^3gk{%NzQ5TQx!${D0T)LZ7>!c)5k-OBfcKHfJH zH`ayNdWBD}8EQ!ZC3c38q3j1`PY{Y&s7Eydou4U!idWtcdkL)JCPqNuWz`d&>TV%fH!g*5K8< z&@HlstlPUY&DxoeCgE|qF$%O{srfh2zvH>5EbB(mg~=alDv=Dw(~y)^r@|T?69^$_ z63^eRgv`Y0Z=2RS3OxbJ{Xxb^^u<~ynTC=IqC=15ZSPC9Yf7>_qiGq2x9t|_QnzgM zi5iZ&^_wO{=*FX4^lrLtiVB1o-mo-K*A%kLRWgEs9Gd}Tw1&*5uho1yKmmxFIdBC> z+G5n6WUqrCdKOaj%aq<2KTIr8cE%m|YK24T-sT@OQ<_`yW=?=wIVQHkGZ-ja@*x#p zm+(DmLMSAV6B|lVn<@BN^aQ-!e)!?hT}YS?KP{sWwsuA45)ajn0BxIcNzAE>Au58L zTfe?FCZ{k~Wv_<~?vCTMxY*owQ&bMr^#W=T(0hHxbniP@X`@aJv@xP<6kYf*_2xbR z^ol7r*#tuphZf)y2iZIn4OcsA;_b{NCGCUho|kML&Bqk?CS%UJ2g^Ow8(-l@@o?90 zT28&)r;zV8iD#eW@e~NVL%ApjejUVN8<{qiq{|qYU|b+raw#}A$)o*s(Ez$|zbWbq z<*Dghk|L@v^>kc-LMr|&;(}}Cxd#){#3AuSb~H0*vz9$d>vT zA>GsDgke?>yHAu_c>H+9bS=YuF|F7Fy^o~0Y0h^E(J|Ks<=FLVCXww7;ugD1PI;D3 zC$DFnB=+&35F!nW8_%Si2fjqC9t7xX+{#L$?dSWp{)yBi`TqG$| zy=IP%*9xFyMh^iJEQ3j!?S=1=M+Aw#eOMyG zVD!QE^jQU0u0+vISA=9ziKszaA7DuSjg8njwFs}NK#)&okav_7(HrL5XoF;xo~s4S zgYZW&nivW=f$V&?E8H}@)J(;|!bfK?FZm))YY1?n_sedVs$kzO-u*9G)vX2eaE@)bo zGP>YxX(WAJmP)g?Gt5GBXBen0pkQ-(*LiYT72XqZ7js|i)00nxLu7J^#d(1QdVX9X z3DW?>E2Ih0;R)N{WPTGnDcv(U{z$ZkR~^g~F%Oj8bksu#y)|+==`B8SQS85HF~(~) z*0EhpxJPDAh2okj@x?}j9tPu37@}9qE8+#;p)v+3vHf}e^34DugyOa{!p$l>&QHC29~0fQ5iYBrf(8S23dR2=u*?3)E@uXUdN{j#$6f13Q2h>B(54@WLvR4+zrZQ-A`CFW zZF7e(#_t*Wqg(`lN!dwlBZ1n3qk_H|I&J&{O6KDSNj+GOAptDyWs<5x-Rf zXJh0^N@t=~wXkSh&V!A=I%H$^Ze*^~(5LS6xW}wHC1zslY&VY0EtOVsG5$L1WhAHS z5sQ5+5OHq~h?3@O+ot+?*5@Gf^OZDhs*t~g0x{ zcR~B0D$-t#2mb(^pTPyJ!lXr6GkzP84RMKRJ7>I88c^=tkAB3qj!I4R>!Z4X4qz?C z;HbkVBy<{jOfhS)*JHcN2-U{O2upmRKdt0ga>I5^vrMoLkfR0XrpV68=pD=0lX6j$ z`K7ifw}K-Q+Iu%E8{oon)nz1C%B7BEvOHQkykE;+C3T3t@OL0hb-c5+ry?~3kFavo zzoOyZ>-wyB0e?=*+$8C1763Sz{ufY;#-zg*6I|B|?O)KU#Kdw)qpJcT-TbzEA6oA_ zo^`!UQH8Is3*m`}4e7|CI~)0FIBJ)!3-yAa&oG+wPedE9@v7T5@0%A!%%?Zp%HkwW z1AT`#+2BkQrL<8))PN2UE=Zxcw}HpoNyK9+8%6GVL2)Dh$R2?=Z{<3fO*H8*`YvHf zp{K&^xW?Ba|H?4>PW7{9w;i^3)Sy_j5Wvi5+m!vo@uvEdQV)i4_aJUlQl}O+fW1H9 z#ps`FG7#bQ+i&ZjjDwD?Bu0|QL2y=%6CCe8U5u-I6nj{QBng@B>{U36co^R?UYWNd zUscpmU&dEiuZ0yf@88Lztxz!b*AC)GHwdU{dCt@>YF08^ zl_nL_EKY0qkkeCmZ${W91Xq9304r3Stc?j!9_h2WlYHl}ol zKKkn5m$X=G5+#45SUFzUF2uObyLAp8@hC zwpM=ZxNHPqfAm)7oJLyq%Cc)}z z0=WM72psF$#%;Btf8`qX$K?Xe-+fUn&>vtqY*7RnmkDi#2--vy==)wCI`ohQ18bmDNtR9Jc#Jht09fh78KSadq{g$grt&K zkv5~u^Axm55h$9L!vPloh^Y37$C#0%wO95yg_?)Uq1G8-a)|h>jPtoD$X~;gC9q&Z zkw6n@z>Vi?yMOza_jytl40!L)-T0y*RQe_kC^s(*XoquXa6!($j(UZM>LcWyC4;Hq z!XoOSjP#3!bL{W}Gs=f6d!{Etg`jH;Fn%_`Ao`>i1_G<;(BAt3P*(ag@_#=uQS7|| z9V>yC2SJ_1-7yvll0%jod54n>pn;cJHEL)8(UcJj7VL^q?=?0B8XW*bqM->n8-OrC z*YS(dY_$WOp?|?g6bzP+DQ6NGmj^)`07HTcbw5XkhN!~KVtJa9g6TASzE;wGfl|Q) zyg^~Z)W4ZA!L)+`sIl1)4ZVQlf=lt*aiUFNjq0%q3X%Jn8{-N1h%}vO#XJMnKv3dE zWalIx#FSC+vd#lwm4tvd!}AYC4hBrxjbZcEQ|Ti(Oxuaa`>> ztl;U%ZjefYM#YOOq{YgtXux=Y@{#h-!fAqV`3pqL3n>)=q@g~N+3O&uXj(|1H)wnj zfzTlSk`G$OLd9h;-=paXVUhnG`Ab6LCKN#H>3Hf!o+fmCQDhmu5twXnW{Qc4s%X;E zq2v2OcR@eW&Rk3~c$G+T#Z88uTA=jcI%M!-5q1kp2$kf6eDa=a0ZlMnauiBLe}p`m zg&Irl0Z?*{xpDz`va!ZOE^wSG4BYAY@vh^{JbQj7=1Ndr4|3L6Y3V0&IY*?hFuBmh z@P+9?=Ivhl+K^H{I#7;yO@iDrV<_2gzJ`pHfW7T&8M;?r0=tu%LNS@n#G0 z#EEZJE->TK0#1p(I;?VuR5lr#d|uF|B^Kb5fDVhjMvXf$68m`x>Rk1NHxkf*OqOD#$7<0WjR|zf!6_7AiJ5R>Bte zuq*&*wsA=A%$^ImSvgU@F(8|Gr8)DQK9rox1~Xv_sZeaGcbrfIOPK}96IF(!%umj8 zKzLy?LcS;s&JtTO7xWZ}9D|8}eh#+vJA5Ok^&F*=NI(HxUPQR)Q6E_bM%SJ122&e5 z_6#gY5Sef)stw9GOGLlw8uX#cRFgCUVI7DixVw%89C2gp4@>n5xQ4{UUADXw7;fK! zqTsebPsh$9+AU~%kib_E-tYE#asT)1I|LM_*hrkxpO28)J= z6G7;i!n*3E{L2#!ShBX2DP{*+5PmscnMU=L-}Hiqo@xGp2b5zg*f_vt+I@mP%Wjk$ z>cRvweu)k2G7y#8-_N=8RxL{uuu_6BoKjMDNCQgSz)-wcdM!rUNO7`I**P{`DsS`@ zp}kchVU1Yhu5TiTx)v>71Kcq+zI@?hgI)=~icUdnYYZMK?o?q z3*ld|fl!wz?BBX%f0>a&D9s)?6T z#?W=@UhYP@%9jiz7oE-vxFfk{TQMxAO@-FN^eT>sIXTJjO>Jjd(!}OLp7I)oa2%fSVRzR5r21+Z|N;osR_}=IUMl zm5((9vn3AFo?#?l1ft&Y34jU;3AQLx%QX^e#Iq=)n?R$$F%^&kq=%u`yAh#H2%I=Y zh)gXfn(bTa!<9jHYJ(IV*-j_Mr9|&<7G2vNU=V5|@BeiZ<2b)^eSfaJpV)AAJPEEK zu)#9$;=R%PTS>1`vQvpz=1pbd34GfwJy;RD>77dJPu8lSwdMImt9Hn*S8nhmn9IMv z3n_T@Qg{2^yxrpic&Yt(JDL8TZtJ{xI9Yz)9{zp^>+Sk_JgobE{(G;9$e1VS%K}Dr z=NHH8k^T*j*;p`%>#4OtZ4dCexG1YIM)|;}q+>m3|7|GXgl+!#(R?`L+KiuCQ>MAy zr6OwnYuXH(U2O!BL%XuTKMTsS!#1Xb);3aFY20h$6;VYMu%y&)KZFwagsKV|2V!?H znJdmOPQGdrAvHK*NwiQ8abfM=xV-rR^WGhfmr0Gi7)+X5JBj<59@RnQqE+XE|7|(B z{1b;X)sxHYXUw+(2<0`?qVgQ=4(Zc=d9|}SIh?H0)cojtgp6}w z5cKL9t$MNmbRBs%e7zqmJNylx;gNLIXn7!Mw zB-ym{gkZC7#?6J4$Jq`o=;S^9W*j*pJ$cZ*jnRH$w9ky0 z#lBq#Eh}igbE*b@#u9V@X{BhEe=FcB@>)ysxx;}L3L->q~W)^;8l}e^;Yce=_p%a+G^ruux3`5PNxclqlCmJin7H6R@6I$qB@vz zf_3Kte8|r8TG6vHRs7!Gc-Otn(QV|@z}D16T@)5uZAYYN=h`x`_w?l3I@p;c$Jab# z&~z-*seKrO_+8b8>(B4hep+Mi@b+5B>KIknHOsg1$Z-i>lfSjlnLLZ*dFIzH-Zj`I z>2>M)i)`_1B8QK*EPo%{i7j0k7Y%~fx=4c)U|q!5i_+Ub9s*^M(&uC7FWQZ0ETQBx zvbe=&=8(5%iDL@de@I1XPvokW#KFXKq5f6FX`#Tcg2DDL&&+d**U-XJumT&yiMV3iLtIniUAX`S2Icc;{lk1*Tc4TN7o#?}p9BCK(xg2*U(K_Ifio9P>V_-GRR-Oqq%&up-km;Kz1;R_ zrQjiH!_+(nqHY=~wzo4Y0ytTkIJhMxTr>GJkhhH{-v%p&I0-Wvf;d@#)vlugYmwt~ z^=<*4XzkO(s?E+X;3Y=J8-#Cr!Co&=TY-jP{aSEg`ry7f3!fg^ROU(nFh49Ip`WTG(}m5mk-eNmGIsJk6GW#UQW(NCAK04H4aJ3KSld zs#0p|dF?-H%l1rv!Pxk4z^3ZzPjLB~+5W!FTe4BeYgkla-#-R_n zcqKW93GcyvK~}hF)zzya=PLKrO~?isa^4 zmyI9pVnH;a9Y`e!R_LIRX8$AIK56lTJdz?BM6u;J%wOlTW8P+%Oz*GU`b;?y#G|6k z4~>;P%;9TdC{g2iIdm0Y}0OMQ&S@cPLcOeuf8{&3_>X8 zFF~0ABfEJrk%ud_|MWV2U`DbBFJIq9Z6z#u9a2FR7e;Q+c;skpg*!Lhw&( z)vQ(*`aaaFqoM=)8Y1H3VYZNRblD^8Erj{f>dTEpOjxYFrA;5ghJbY&-BwD^Ow-#x zVER?8y7)zKr0Z*Lm{z3*Q!E2WafijVRcLi~66BMS#HAKUA|rgsM#&5PW5X6O zV{YW{ze2NhTra3G!2xQtQpNI#CGGk^!O#%)AElN%dNge>OFAk}VZx&YM$uW67}{h* ze(A;aOj){XIxdxN+t&L-#WAjXc#LC58 zlruH9&8sM#{_QFK&1v=aZ=faLi5M7j2ebc|zW+0GOq%NkOEPz$0O$JZyU^n z=J%p`)L@DxAAJr((%g!V@N7M~Rur?UP|hsoch;LX-eS%cuQxN!Ps!PFzi5|K@rUv| z%-S4*zrscx=WL^2ib#@cd7>yfx#f!TNMjvs<8g6Sq!%3?3Gnjv(Ea7*3$eT^$~yag zpf~vjFzzi1N>(zy_$~~rhqlc6TzHx@tF)2E^ZEU1Sme5z1)EVb@eGBS>cdH%u9Gu% z6@L;t4p}oh7fqSaCyQb!*}$=$I(IG-M7;#v#f2p)afLGDiVXeY%_Gxe6JV!ZOG8^o7dg|vjtDXf^eA(M@w69Orf7;I|ax+ z@REpr)pVO^rRtGp`QI$Jg z7#v#aXK4dbqpdR{k0qd%rQuhBHG5&aaX4Qq!EDnwzjjDHzwS}JSDS?OQ$xyc1*f4? z_6nHbTS!GKe1%B)D9$!OD}tFA*GC!V8kSMHSCcMmQ$vVws5=WqalFG<5w9evS%Y>d zV&dQ?t#gV#7(0qCg75i5rC%eDgszosi7uBRXK5IN?oslqq2X&yLiJvF;1V&TY(0D6 z4U%}HVDrCiPIIREcWCmDI7Ds!M;yLr|F)OV%}*zS6YtT&m#mtdH<{8_7@Oj*dyVzh z@sD1K!biOMT1Z%uO*05$jP_)$-&kU0CgrWSTyE}_?IYvNGJLN*CB#=>XL^yoJKj9~ zV;DO=y>|Ebw0^vod_J9ia{uUtIe32ot{vlEc)EIWXpOZl>!A1rC1;ODMi2gGTL1)~ zR|BtKkWD+uYqC!6%oweC^*+mrzjV-g>?iSD_aeRxR$kLt#69yE3HR9ha~aasj90M@zW^lzTMWV%1`i&dm%(JlUzR8Z1E(*Ab^?kIPyno|O{M z8vK~M!=23DS_nGaeGdC?{3#Kvqm0l}u!^o3LXZV#jKc8oQrB)7cB6bJdgUe|Qh>b8YK$1-3>8aQ^F?QFofXBC0If z=C}vW$}GQ6 zIW1c^;^ReZ>AO&MsLFn$Y!pOD#f#yBBh&5Bdz*^|$B1Ar445<{Vj2C0*?~gQsUSj= zkq6lIx#kTTVZlkHQ~ip!YL>yGzGs9QEUHgrM(AFFF`b8v8j(y!NJ6W_2cw1#qkG?* zYO)-@e-hWn(-`#D`MWWBFUQp-Z=>ePs^Uv!z!_{EnR+RbRcl7N-Feu!wd3D7ld7?8 zS0m4<*ZIcA&DfOD$W;z0-?C{y?%)AKBLU#&+{jv5uFkRRs))UuJ;<|gr#i<+Uddjvtb6`o@yRkhNjLmNa)dL{ybG`v)hE-Q7JDNq{)yMb@i#zz(SK2MwMS` zU8Ea!*ia=fmpG4;h+#0dKt;s#K}93CHwukt_n`$w3}H1Vc#sbtQNd6$gYS=%my2Ug zl`n)2wey5vC&-i~B^3NxLMKMPYXP8??jxPpCkAsC!UM4sIS3wuO_(8e;o8SjF~C5EhRRK$o`iGb=_o*u9GqNuKZ+Ma zim2vpZp=jFX+8zL4TQ9furt!WEwA4-bK9e_o7}QXkYBquLM@0wVh@&LEZk4f;=<8( zi{+yY->=SIq@n$d?f`pur3XM$tG8XzO2MI#(znThwODXg;`VgH(+(#VKIo@_>cgHf z_1uF{!6Fv+PL9Ps20Px5?6=@rS*r^jWoAj+xp!xt9ElYxMU(-9$a*A&b0sh*Mczv? zRbPWDV?-3)lH>C2f>2}5W-2HPj796G({r05U0@U@C!3EY1z$;4qXwj>o5EKi3kNAs z5F#&x#z`?CK}J~fAm0Cuxmz#7BN`l?PXm^EFbJR6OWX&QX#~rMt4)EUgA<>i(EB@X z6+lDW`5ed}csY?gK{XnNjy{RJ?;GgGeKg@5y%+niaW5dN$Bdy5RTlUGRkm*zgitI- zC+D>q-ttTOF{bEMj0k{E%v@B+uUL={Tg8I7Qm&_!78SpneF2k+=|v4`--!Pl8RcLn zhLSYr>KuI4a;WY6>&-rO@xVWCw?h=ObGdn@n^EuJfWRQOQaX3N zuB4!!NO@!Wi?UHsd!FE>tc6FAw>rv1sKb}oNFB%NEn^+SxyK`<6Ky4E>z@K(b> zaVkym%i#8FA+YGZYu#QlSl#TClmwNU6qNuUJNqwh#ysGLf;BK>pRU|lS&)O(BjV3* zif@>h6vTiNhR2rziFq21`~9`6Zh+gv=j1|&!XI=ir(r=HHl>V$hIhae>yg6=c2pj; z6i0hziD8;$>i`}OBS2QZJvj3zlOesqA_UtTi1jjNH!K|?PIoBYmy5Z(tvgt=F87A; zW=Rur`W5iET7P(0fPew!;TxNrcq}iOihfmjz|>#mz|jKZ8g9=-XfH5)VwA9G+BIg72JdesleqI{Vc~+XzlF8&@Ssl5t+V>SoqKARVCAnBB~ji`ATsg@v1wlY_;K(}LBQjhn@k#q^&A z8@mOY0N?+oB8?{+SnA*JVfLkU%_(E7zWY<_42eqXj7GAL9?8}#SrPVP_;qPAYI8%B zg5TBBD|G8G$@J?vhpmGB&g(g_dSjnGkM57$w{J7NvtEq;r^v|GwvQ;*=#GC~Y}0sV zzO6Ko!=UulSV*VeS|i^xnhx}DAWbAAEi*X*@A-@ybBNb#z+dx^yZ?CLM8AxfLXFBl z;CH8S2kvqs9XqHMx@LWXn5BkKSb9SbNxiW`jlg)+LF`T}zy$gg*04K`G^2+cutK&Q zAfJZ})^I<{e=ldf`Q2kb4}Nn2K~{?WFmXceyQZ`QO5sMlQ(lQwL-%CyE^fq25eGE^ zG|;_r*s*o$D7f<2fsSg48&9P-7+#!)J6BfGBzpH%&*GiH7m)?uiE7N zo5>BY;^d^O$G?YL!teS)p1k9w?^!(Z8fp zFsFycd_m4yq37v=QBKS=Bc6Ie8SQ9k`*?b>v`mnkCd4ztBwLZ2PP{XN`0cQ+%!r7_ zAQUDjx&69Y!ONZ)v&QJTqp+UfjECY~zgO>RRu0&^A~@F&b7NkRZuda#`bJ-k&;_kc|RCV!n|bvl;*?@r|rf96G5{w!;q7U ID@wrpA1x0G^8f$< delta 11970 zcmajFLwF|85-l3rwr$%+$F^;=^T+ldTOG4wCmq|iZTp>fzdJZ*bZ2`|liIac)!M7p zXD(D^9uy3vvV;^PD-(ATj5H`mk}?J$XZ|ls!QsSv!*?S%Gl>X4MA8*mtdbk`!hzEk z_9_u94IdRI4LVEI0L^Sexf-JKxktn(__iHcbPx-|o91*rNxNaHUVZUyHFU0bdKVL~ zQsg+5M9Lh7+emC2PfhMGQ^S#8R|X*!)97L$8&qR|@>V1(n}K6}$(lHl2TDe0Rtuxd z&G{-3_YW@<$A~-HVxz!*E%ZhhP)c|JFAIl|5S*L4tA&XJocDUOjzYo#7ee=o)+_Sh z(hD@op>hG^>_(9ry>Fx-(6A#y@aZNUO)@$;H**UTi(S-oqKM}1?oQUQhrw6nwk+Lx z*NE}Ms_mUn=;!u@nR#NS_l&ZRH>18wV7GLxO3B5?=j);}Wi7>3k@g3U`1c3k<0xSW zvRT(#q*>ZOT>5$a@nYiMLdQWd;H?gUV5Q{o9=C&{1UrPI*^*z&HtT&8E8W9}aS3bVC zg`~#bUS&knE<4&E$7Aw8oAPXcq@#jcmDwU_{v*dO8$V1%zku_(e0LVc{M(LCCZ$T~ zICD?W=WQyDch^p>DYQ>#r=!}Q{n2>oQkDE)FDNPdzfyAhAQU~SN^MY|Ns(MfyLGAH zU-bT2jO>aO2T)%AhH*5TtjsZDGOX#x8T^;#0UvBK(~?s;7o*~`1fqun2$Md=L!fsp=tOEB9Y%Lb+s&4CUj7xL_h#*j>=d0!2N_TCYPq7%3N&R?f8L z49HS+R4fA}5SWU172HkN17kR zEQflNPr`)jL(d4x&-%0n*q4LaZsQj*nt=wz3d8^hjd#6t(%ub{0Y8rSz)Kb|(@`Vm z{Kz2XbZ1j?#wRO&rDem+ICi~M4VEiI>-@!A^o`#;`#WaecdAYOn3xUDCE5G)SdNAJ zvMAckc!%C?x;2!|i<^$MkDGn+&D_ICmKUr=(1UCC!brVS>+N6zgA38@Gw-tr)#U9 zIWzS8;$^CPVJr>%?5oAwT`bSh1|y=7s<1IlmCj_#LrMOX<0JBo?M}T{6-Zy&Ku})q zs4puOS^@+X=d;uR!+3ZY@*Spx}b*b2E%&b%h>OZ@)D|BwkDAXm#)aY7cZ356zs5KPa(}oc*hz zQps;CwS`7Y&g(U6ysxz$&HaC-ByFAVOR4GP1$yY^^U#&fh?7!w(j4pi$5Bgd0@oZo zd1mZQDS-ss9ucgqIO+k7OCJQDsY`lK3=s-PTIyuRGC`w3ORk_bo8aSnWEAgPe`nts zs{AI8V5^A$7CC``WkNFUePGWeDr8vz^=jZL zvb$RCG<8O)a69pqa>-fn@IrwJCY(W6gHar*yfSyXAn{E{@b3gSS<>(@PkWUMWLUx* zx6$OPWV;Xg&NAGoSb|RA^;Re}c3~rG4QRi|Q?GadS#^wcqr3XW^>+66^c;coq}ltx zD+r}Gk+4&i6~QyrBWHUp2`~S$KUhwo#0v9Q17KBBkspU@zT8d7Ie&)7-ECBI+lE^E zU$#vI_?#oQP@B3uJ!|id6iTSE)>B%e zA$}SFENGA!XZVZ(aXD<_k#W^>^=cj3M;1g>0pWw$`*W+|epEi^+6esOWkia{Wp_7q zmZiR%(nUP4!00_P_A?ON%yJbIG0lhz-YCp$G{se@1oQlU@^jI-F@6Sc8m(ZS_ch5L zi7)&2q%pGkBcHzsuxJ#3BEIM5-wTojr`bXPm;hJ>Bp$e2Py;1MS*EFaE}4IZShA}X z8HfDvR-#ayi72MDwgNLPOGx7?!cZF7i70oEyRlXVq}aaE&ig~u?E8`ET?t45|NN`j;p!BX{13?i zLzS(d({LAmt$i|dOf%oy?TNH5aOVtx}nNU6cA>O5|F7(>lnsJmM|MU;& z2Jbcbk&8yANY&KUe_cv_d2%JH=J1`$XqKDLY)V@CyzQxfuih!Pe|>Hp0X4*>2Nq2s zPgl=`Si?#9B$7*7efCCp6vj%rCZC%C;li{_#0`;CxEQWVzaOHTVcktD6uxt-yy5TG zXDT=K@c9INoLpS+-0f%4i=cGGK5D$Byj?iOJdlP&M8$ShWcefLaqLkRc_;MM&*_>M zGrJJ&f~SNK)ys0WGR=n&)Rs5zmSZJq0;8F#|qdh?Y{{BBh z&`vp$=Seb-kx3`tvhlP^4VNB557G^6(|HLpZ=;`M6=@iz5v>eBEX%9yFH=N=7)jSE zPtV~T?f5$c_kt0fB_uL4lDEC5Q21gG9lFB{Vp2D6>VcYpvynIcsM4XDfXOa?V(EE5 zUO#VUXr0T;2L{i#XlfdFfi)$B*As)!vixsoe^q6q#v=4!Hei=JDxen*j1^(nE1!(n zxmorn#2rQ58NDNFz^4cpa?|@d)QLprAOmdbWv1~G-^L?tv%5bkwo+U7^I zGffe>iZ^4`$$*+Gk-qla*1pikM84^6Chb!t425T7TaxFW#&J?rtj-7;%A|>hLMG~r zmle@BX|D{ll#)OX6i2Aj==&mUP}l5d(L|!l(P*nQjWpngf%{WT!MIZNywU(~dF{H= zBW*=jDiM`GMtFcd>+)-Qbe`p7$E$1!-;7uu1~|ux-iRzc3kl%)Z-QZw(2WGf3NzxB zAB=6ym=Zu)8WNS&mg&xpv~A$-di#aFSIb>)GnNnb1$qkwK@Clsqz`={Z%Ey6l7EeF zpFlLahC?gj7m4p+3?`0e9;L97>$a_Bs$zK}h9bX&f)zDeuIY5uRj^u`qpSi&xXu7G zATwn7NGPd~S-V{fuJXu~mEQWEvqHy|OzO}nRl@5#h0yJYYkt}!8}%R(@!U--)m+Pd+N!UYU~<$tnK?nL^>g0T4p_ah>H$)iYKh#(U< z7`}+eikTV}^kdZ46gMaySde8Gq)>$x4sY@|(g!meIod`V2%M#5dBN2+a zbWxTPbMvd?K`4|APW?$pN`fxe8H(I2#ua}$CZ}VOy4IEO4QS~ z65MeCo3*DP%1RMY3o~sPYjhk`jus7zmbm__xyV^-ZioNafzF84nkzqXMgxmb3q!7CiAxTEjSM+1gw~s4wy?>=JS?RoHSbe<97D4 zpq@Z#LVK5a*6pPn^Ixs@M^@;tOggL{#BJ0}2{9V3ZxPHNcD&_J=(9-)4)s8*vWT&x zPXV}YC#ca88v21>cbI0EYRTv#X@rt+X)_?HH8}OkEjfQj@=2AUw@LMz7{MDw?j1#{CS2%20w;E8nSgSO6m~9KPvn@VN{?$gzQFJ9|+v#wX zD1=li?aB{$nux2;fkI{XSf^e?SHQY{G_p~;!pOB^vp%&^BdwACu=>@B%Fa`Bv@L)! zP!43Hz2DwFl|j37T;KNJepr$T zD%IpvVTK7D&Hm2i>(y{TzFTEwS(RUBHfwB%GR4M%LBfZ?%W_SnCyFW!Wf$r=?4NFB zL+h$AxPRW1>KI)6jIhkjv#Jmdp_*j6)J<4pW*nvCC@k=y05qtecu?8-zfirPC5)Dm zvz{ua5c{I=;KQu6{iLdRCNek@2r`uzp^}}?XrKLH54jNV7h&R^4=OzM_p)%(^K$=T z5bN4|1TqK2C!%<+yw*i(XvPi<9L};h(1@bz-Zv0U9Hdfvq^d=<)%9q;dkGpim!#3* zh<)?AQFpT10BDO~v}N&(z&p^%ez;ONvI1eT-pKD1f?tqx;uxq!G&GV)&40m4UGW~# z-xX58==kxie<3*62M4RSW=WR0hKs_9MYTJ*_X` zW69CRvd#`mp)^_F&1&eJLl@KFOiIrxvt%nlH5#Xr04Q^h3+agqTxLtaH9}PEgK!xv z%dI7x9~sJ_k%9E(m}DG*P9|u9V)A`bP~Ix@JX`~y$bo^u4&*uU&{5DaXW@)2HGl18 zQ*aj$MWL#t%y@C!5zJL)h37fp(2F=z58<@RtP4+7a^cxcj<(xPPes6!3BJe4ca4|DKwu^V*oHt#f+bIC1LPdbpaXy7;jt z-rfvo?G#Kepf$4ZT@_jj2&f&Ou*!J$|5(X(a%@Q;(*Jh8^X={YYFogs4`}J!%pc&L z?nGJ((>~3((2vYbxt0*P={q_H9KRn-6L?GQP)?*SyGMzz7s@*)KJ@Sl>iHSR9M#3h zFiux8q3TV0=FyV|Sn%;4c;`1H<(iLbZ;ATA6!BXqO>u9XRP8ED6~-Bu(?akj@+wYg zXMW`TxzRQwIq-6JN`vSJxK4XUGiKY5ph27!z{A+W1^ezw#2OiGUh^*jh7&z17PRk@ zeEBqS%Lh9W74cip<0G>&)T*w@Vid9i&(Vw9)DRc8o7O#|gcL;BqjkZZGl7juFROIs z@XMG~q_(7x$&$`x?x!@gMIEAS`-Z`N{m*2e{j#~M#b#+t?m{d3L}#FO_0XQh!mRS_ zrZ)Q6+U4h~kW4>)DGAg7&(ih;Qgt99yf-WbCT%iX+2fInygG;WE`xlmqOK#Mf|XK! zSW`}Ah4?AMg?@O}{3?HM4@GOcL%mJx{_+j%*S z_@4;VLg_RO>^>ur6cEEGBv}ji8_2Ps)qQFdINacq5%KuAr9a4^_0GGODdX@6B57Nf zDOYXeT*Lk-+{l=KdJhncd7)+JD2Yj1S++ZN=I{mlPTHWP`)12=X-cy;zouLTfqgSf zRK^zYxd0|7tp*Gd~#onAK``A*w_%N_sD3nnK+haH1UX29#j zhOqGWxswtx;OX}MZGbvN9PGtUpnc%pNqaP$iFmiLNp1c6etwBrZGh~VpGn&?)P-pF zwU2H5_^avQKj|x^WKrTygcJ)J zq$9sJU^SAsmalXp{WQ8h{R}`hZm@?lhf050d5eXM_4DU3LeyrB@Ee0X6E9%`WMrzV z4SJV}jSRax)^~D+z1`j3#vTM)ma|>P?o2 z_m}{;x0;*b>hpB2ss58#Pn&@aWjXJ*Wf0$3V($JHswM>=<(xf%oH0S~I1myMWc>&s zLz>pbU245cbt(sMO1>_zLr=x2`6@bkLFaRRb=Z}6#hxA?>J^r*Mt&w2)>PRH7EnZL zXgrV@I}A`o{bCrB{mEN6cb*UVZGLA)78XE7+t&KK-cGJwvVbO@mKORPsKiP+GDRCt zm!X5Vk3iS{)&wPy)+v*cQ<;A4{p2u=mJ|1<@9yoi)<&1>YZ03he6jzu!0`ju11w|V z=6qGk4W9SeZ||_)fi9`HQ#W_Yh1>DmE_&)h69g8#$r40_kld!Es_dquJfpiE?PLHL zL|ybjH*;@cPXvp2dG~>hAs$OB`D^B|w#Y8exGa7j!BPogWV~-GpeioY3|W1+VhUu6 zry(=EyEwn8f15RS!+0HMg~Aq*%?de#TtPj8b6&y?hg<;#RF9%@*oQ^3mguH2oOWKq zL7ObDY1&Kv)7D}WD&-H4ExV6C9~yu_qX?|o8m`H7inHR7C_tS4Gv~5k?kSrX;D0yg1N-^b)3mA4mLkOXN~<9(&FH}}MFTh4s6wBd ze$+q>L+xQ%q4c5nVo<|M6LG#t(JV!my0C@k`b_A*G1hY!{olh4Z-d(%ZR<9P@( zz$MI5zc5o1BxzaISzx@%&QgbbY$n2>Y$2!O%zfibXQ}Kr`KBWO%?Pp6RXRF+?{8M$ z2L8(FX+|SA;EmS=mOJ~_Uv`@Yzrl{6*s#YOxQVW@w@ykCnUK1LhR^f0{Z(g!PicdR?)^cm#!-QR<>b!9 zyFBUq+PRn6LryveM;xF^pt*8Jx|8+6-`~TpRT$@KBBnDWU}MH>Ak|fU0{u;{8v&>-JR|9AfC)&(h>xb>&`_-l0#^UU({ zHu0yyInV-h5s%RSx6}4X)T?u6Nu%FD-yZ3QQ18d_}p3o1?ym~{(K;w74RPY6F z^JRBLWOi}DBQC(m>3lJZZz@~2*{7LcY+AfLLWOwzqDnR_mN>1MU>+T2T{~pYl!_9O z*y#B^_TEKbL0W@&>s5Us73Rvt$<|c!cRZioS7qHvhYWvQ+=)NXRXwWRzHK7SiZc(- zRIL?W2K<2tkeQd=KXkif#%bE#S1z@99{Fk~UTcJ-FApd&z;(cVvG?+NIDU5ZqK=-q z|8uwybK?~<^gi3WeeiYNCCEr%xgvRzURE_QHsv#xAoc{!^;BM#_qe!_eXpj7a{(zq zO6x8NPp3X^5mWAk-a+(@L3iXTk@As-k_~h<^GpAEnCf3gP&E4DvarOst-{6pEd#*vvR`DN#OK~545kr-sCrJ4wY`jJ z@^WH435~6IFGqkMJg``8wwddbkE{3St= zO7pH@FoL>KfKooW^s7nE49j@T0d0dig;fERTVP>L68%cFgJF<{#PXsQFRdbi3z)X$ z$lvfGoM(@~{%&+&qAd-8?Z1D}20*=pY!;NToj1&Y%}QO9>`n|)6R@gs+fLiR=j@== zlDbT;yQDuo-bjcWl4NsU_Q>p30*(Qz#P6P_*HyUZ#d)iLuJDVU2JCI8rr+0};}ffG zE^H{@YdUS+H$VM2zsvci^gZ~#zMt=(Bwy6{y=DNtj~)SalMfpe7^HTOkbX)pD(vm| zCV;LTsx89zi9S#M2v#rNZIC*8A zDAjQ~B_&ei7;PuT?o0c@B!pVo7NQ|Al20H5O@e0gN2~1%ekiN|-1BwJVay>+-UjbQk}B3Ycv#2e5N75!T+A*shK@D3prw zJ?%BhZLp|78DO6_-;S-r{o_)39+YX+!N`WAtx=^az7yX8;u$VqgTSP%gFPVj%9Pc` zK6xs5BXkdy@%E7Rn<%~xT3K9>>jELmcg1kx=`6!JJylud{%#o*9lp%P^8(shRil{! z24Q&e=IkK!(e63p1+%yD^q!@PMa+ejV+diCN_2 z98AhsL1{GD+*b@-{p~TA+2W+~b?PZ+`Ypv#$CQ}NA+bcfiSj;@jEq=zRfdb&HHsqX zKdhNj0yViQ(v*yN%q6Nk|Df&W#Vo561Xbx}awShfENZ0g9N$N;lh~1>?w7va&EXEV6 zLW;~Mj6W*${|(LA-0GOAwA7qBaSv!J3tpTxK0gxzF=3x>+!s=uJ*qsDCGZP<-5K`D zdCX9$z#PI*LEHG!9|J_y? z%*)4wu%LkKcJ`8uFiq??>WV@bfg)d}H49$Oov*^#A@ z*R6|Nhi{(zHhjQeBB*sQUm4@=1&=j>G|W<61a^6}7}gK@G6T&gxSOeRLoZ7FG`GJo12+0=0a!vhyIRZh|G-p9oc!?k8>+921i&Mv% z`Hd}xg^k}4*cEBm@8u*SS90pwh4&z-J|%>-5}11G*FYmz)mS=OtG#3zP33B`R3!}x zUwAJWcm6Vbx~_gNnVdoLnpIfWViqo5@;dj}{n5kNV#c11YW*4qlvM2;E6iV+zpRYn zuCC?IOwB$T;!5|616PR2tZWqbKEV|w3h(~UJ!iVm0NDR`G)%-7v!F=6_=lwn;x*sG z6fm6+kx-sGSBq?Vv_%XzHuie{rl7FvwA_yT&eju@a=B|HGCI$;x_c2GA!gp`!2(>&Dgb7Bzn;ET zB2HdfLs+VxutR$UrDhI?NA4dpECKw_=|NYXsAhM`%L;DZ^<~wB)87;CSDZ~k?q8{b z-PqLct{n*n5xs8#mICWH6*+;emeyY!%W=pafTy{5=9#=Jq>07^|DEr$3k;hR`Nmhn zfiV4lyy^0<_o}=q$-#8WihvT{atIqTauHe@Pzw@xF@=yUJkBZ22N1eQG|);BXUkm% zRte1@2AL2!<(6a~3i=BDS_-#uU=(TvCp$(T=d?!;|y> zwl?5QH)KekTWg;is0}KBhx@-@LwCA^5x>G=j-)@J3v6*nzgtXTut+>qIF>onw)iA7!_Ix z*g8q@K=+UyB6RgyMu5#bYQDQ zDuSDQC}O|8E8nP4mjWMuA_y^NoYosWI~}Po3t+FT#mtJd3jTnPJP zs(Lb;5AW%G-&8k$a~f(2#qTiUrfTNNI2zzH(#pL+F~>_!wXs3!)v>X$D&eBPwWwBT zVdun3hr&0tFE%zr`#c-D{H7o};2?~oZjqh0R8c)vrmyP~k znDk~9+EQh#3Y;$t3v}>R^I4;vcE*jUEzc8;4IZ`#NpBof^h*! za%I4zLia^3Qqk*rKJlj7*i_N#Zk4XyQ)=eZsRH2t7JtpjSNa^oke+rp12E9$n47^5B4E=C0bA_%E)4INR+kj3UvP zFFOOMf3GNVlBdRdXjU^6uyMJ+(h>l44ZG9KPR?Do!(+)P+lLr@hYdKVi~xCUL%k7D z7nmH_j8X_@3BHI?AE5a71lfNi%tkhg%tA$a?!`T8ZynwI93WWIXqGsAl^~K}lXNr* zvVgXH6i)rNib?O-d7r^*+FOGpo#{x3La0_~Ij)2+Dq@2Bzq!#$w?iFK1S`N%j;0Q2 z^{q0F)k#r7h(Y6U<)X6ax$4Cx3ot%pyg%e%R0aW-G*?>z1gV{o1RAO>$bI;1y4Yiq zhMFE(3xR8(VK{(OAU>)6F}^iMhpUBx?YA-+%c?T=p>@-s6j>kjNM${$q6Ja-E9>6v z9iH-#^L=O@6rbv0$$6+55i9^(ovlY>fUdr@M6Q33z)m|32F;!AEi#eIU&1wnN9Nap zPb9T{=nT;j2(D0k4}wVYis``(7R#n12 zdXRc3MO^%|K$xjx^|*j`v8$PZqganyrGxeM;U9vgG0#u zS0_4(G0+A*C)gdUHKiT_oqhoUKChM+h_;$;ehY8PFHX=)6f>903sti0Qg5S2sSot_ zIa>-=PgDK36EIcA-t2%}g=;QP-{P4kOBc4YC7|W%4$o;r|JoK+8gT;j6XJ?Ql>2r! zglR+D{?wmYY`#W) z&IEq3cHuo0e5wviZ?ubb!@-*zbF4kP?fJX2+Ou>F(;^A$`3SNCdinW%+ihQNXk%R8yFTg=f$U^S>h6;OE2T{$wsSy%3 zqz@o28RgJRE+y@PW{-7;_U?r}W;kIg-cn>YC~{novthRpQh7H$(f{@ZB#D!Z>CKtm z|JCZYVfbEcw_wR#?EKA{AV9zy@abrG(~-roAT6wC@69W8+nu-|`}yQvR8r>m7HUmM z>ofa8#v<_^fEumqE)ejJCv~(Eo#@{LQ?ue86ay6A-(O^R)^Ylj9cR@vw3T3H(1I(wSpHWdQ$U zz~x-jQI0dg>AO3z;XRT0utZ$*BGY@WnH5`4G-#2NP0EF#G>`ksY_S8&_&3|dE}Y-1 zcCx)ifAsD9#N#2`>-&WFrVD#VfQ+oBhKNk@P69a{sp8-=1PK!sr7%X$GL+XyOQn;S ze%pK-c|&!x)u#v>;9HD%b=t>u8gl*fUPSzE1_EV@0@b;FJJv-C;Z)(Bo{bjW>Z3&R zUbUJ$S!d#%Kol&B6JJQz!^Mspk6cgKGJ>><%5P#7+sCwu*=a)IIYLB7s&M?B_X^`@ z;&d7ETcao-V=UlRoAUW*HtbV`p6q)#2Aw3-+(uSSv^|9zN>za87sWjKAnD?oijoFNV7LWf*G4)UwcNdo-?81 zpuc_sWE&ziV9#?ih~EYKdU%WnQr;Q)dWe??bAbg@o)xxik1Z$e;|@e|gzeV|LQcd3 zE7pNCsO7$xeki*$D^tJyWWQKWlw=z!w+ZX?zo|A%H&)~q69Fn?vb;Xs>V9@_G$j+v zykXm}z>_XDCE07||oywE`U>Y(5?^Cx3~I^&n) z)#|0(#HQ^;7sJG7ZyKb=B>!5P;+-n3eS@z``B~3t&Ah(p)A39xbiscdp503T{$I$N zaZ#R_akT7|2v?P39-2zuW;%BYhr~