From 6fc400f0b341fe48f1e0f78934b64c993a281d18 Mon Sep 17 00:00:00 2001 From: Claudio Scheer Date: Wed, 20 May 2020 17:51:14 -0300 Subject: [PATCH] Preparation of the proposal --- scheer-proposal/references.bib | 13 + scheer-proposal/scheer-proposal.pdf | Bin 0 -> 43154 bytes scheer-proposal/scheer-proposal.tex | 520 +++------------------------- 3 files changed, 65 insertions(+), 468 deletions(-) create mode 100644 scheer-proposal/references.bib create mode 100644 scheer-proposal/scheer-proposal.pdf diff --git a/scheer-proposal/references.bib b/scheer-proposal/references.bib new file mode 100644 index 0000000..738737a --- /dev/null +++ b/scheer-proposal/references.bib @@ -0,0 +1,13 @@ +@article{doi:10.1177/1094342017695639, + author = {David del Rio Astorga and Manuel F Dolz and Luis Miguel Sánchez and J Daniel García and Marco Danelutto and Massimo Torquati}, + title ={Finding parallel patterns through static analysis in C++ applications}, + journal = {The International Journal of High Performance Computing Applications}, + volume = {32}, + number = {6}, + pages = {779-788}, + year = {2018}, + doi = {10.1177/1094342017695639}, + URL = {https://doi.org/10.1177/1094342017695639}, + eprint = {https://doi.org/10.1177/1094342017695639}, + abstract = {Since the ‘free lunch’ of processor performance is over, parallelism has become the new trend in hardware and architecture design. However, parallel resources deployed in data centers are underused in many cases, given that sequential programming is still deeply rooted in current software development. To address this problem, new methodologies and techniques for parallel programming have been progressively developed. For instance, parallel frameworks, offering programming patterns, allow expressing concurrency in applications to better exploit parallel hardware. Nevertheless, a large portion of production software, from a broad range of scientific and industrial areas, is still developed sequentially. Considering that these software modules contain thousands, or even millions, of lines of code, an extremely large amount of effort is needed to identify parallel regions. To pave the way in this area, this paper presents Parallel Pattern Analyzer Tool, a software component that aids the discovery and annotation of parallel patterns in source codes. This tool simplifies the transformation of sequential source code to parallel. Specifically, we provide support for identifying Map, Farm, and Pipeline parallel patterns and evaluate the quality of the detection for a set of different C++ applications.} +} \ No newline at end of file diff --git a/scheer-proposal/scheer-proposal.pdf b/scheer-proposal/scheer-proposal.pdf new file mode 100644 index 0000000000000000000000000000000000000000..4785bb871817337a0af1f4f917905c2accf91573 GIT binary patch literal 43154 zcma&NQ>-vt%&56-+qP}nwr$(CZQHhO+qU0r@A=MT{z)chE>5r7q<1T6`m8)9RS*%Q zWu#+;B3)P+-GE{yU?8wJvV!8_fuff&wKI3IAYkTTXD9f-1BzbE(#FNqiGW_r#?Zx7 z#MIc{#1x8;56aoa$<)vm%44e*Ytn6p?eVVuV!K683kT?c%US7$<}rHzNn>i7a1PK& z*(z?sBs`k+ab4c_V97}OI8qJ-3bY_#3;O%_b9UdKWl#z<50a?2t53I*;{_^if;U;rIkbOGb=~{T z7guvBjX}4rE*j>WUu_gKZe9O@nddUv?(w%1U+2^J%7ztni_I>kx8{=$-Sv8VeqBVG zhPUE#NJ?39Bzh_LuFY?GH7t9d{mpt2&YiE5=hRy-iB@iS-+B1ZS$3PX%^IwGE`S#b zg4dC^BUCeyJbBb&{k##rNg;I=_XdsJI(&BzxAHaaF6A?=zk~q8&OD71f!rE9 zCvaBZkr*K``1VHAjPxBUZM+(*V%wwoxd+^^%7T$%!<=n2J6@)%`L=g_;5v5}%z&`6 zx#u<$#w(%=IF*j(G3m_nC&(`})VN*Uv@CZ6CNQBiLZ!Kv7th)Z(>~$^_mV=D z7uE=Ug-N&kVLw5?FdH1!SOp;eVKqP&MSbxa(GQF&{?o!UP8>tS!uu|gQw*M&@P{+i zb%9e~3mYyfg89zSDiV|y?7JN_vw0CPzkCJQTGjsI&@fi9T^sHqJOqoeHUg$oXvaNX zU>&Ofw@}2-Dw;M07&Qrm;UrzcPVQtdY}rF~=Z+Ud|H86GVLR1e)Y0@qm;rTeNNueu z)|`u>K^O!oUjG8JKrGH^AR06$K;(8AnB1U{gFp%0gP@D1teJjG#yDIh5{C0!mHS56 zhFz)^xI_ISd1#N{IfgapFjNOJ+LD{y1Tp3T5uAK3vOEUEdJYBs*^-AFv)iJ97Ff+6NuWtPZpz~t?&;el@3m@g-eHLhYl2>mbfd*^Z+ObCwYs& zMXN%&;ZokAcXEN325<$0Ag|T0%9F)#u`Q21nBjheyg0= zKPVryU^!OgGL;q^m{qLYVTEZnHzmNjgAIN=NtXZT``kG8HhO9RtqbQTN%pfij9^0! zdmd0J{QUl#X!7ntIHuk(RD|&0nnmG8#)DKl45kRUU+xvQAk-knx4^{ePwSt737VFeY3fITQ;vu?t?j|`R*2*f^K44vG`1OlwE zjkMFpqIo*s9`O;a9H$zx)p=-3v`YIC}yE+GQJG93f?wuv!ONo!-;yFNn9^0 zJ_W>yw2nZs@Yr2p*m7?^asuvI{`)z zE@#Pj`GpyJ@8lCZ#*l4pi}Q=U6NfYtoy~3pNN7nVB|d1&oxs$Fy&(Gc#pzN@!b@_L zp>G>?wU;EocqKhB_zJ87N5`gSa8R99Edc zij&JNUU1z`CP-VsD~?ae(2V4g(?^o8lagCJNlE0l1Jc|fnoJ8s^O~4@Mh$WZW(zXR zmeQk#iUsPyNj5*Wf+(4ZW0;M(QM;mCB=Vfx3$#KngQM9u4M=mdjwCMSD@^Tj2?4}+`1Gl`2;p7DVo9h`yM!UBG5Tf<7%3e2zt#?B$sM+fJL4d9)cYc>q z<4ZNe%MnMgSx2|`V?F!6l8L7lV2J6m1mv-ekDwb5d!mW*OkyqHwW0x4IH>do7MPx3 zeIBZ^`e1{$jD~{D z)}LcVmOLwTy>ucB&acW8LgQ(9^ATObNg*KEz&Dst>>x^NP$7M*nF^qwWmVVy-YLFY z<8cHs-gO?JQxayF!aNvFwFL0i33OPj zYEsa_@;oIMk9OPP=;p~5F3;LBCbC*gMkV%x7EWTk{JHSu(BIa0enObP~CMr?CsX1~l|Ux9(V}T}@0N zj=;h496p-ejxaDncTP)QHz(G16lf5!o;2cz(pdoyGS(E%#QCvP{v%pUxx&9; z^rg8bbN9Xk#*v1QC<^0<5y>RdbqzHmM7pcK(iCNKVM^m}L!8Q`(Ue$5DD)pPVJAi& zDyRBVh_Ynl$YDiG7*4E6BeBF|N0*ZW7ZTD3$|(&X^6%os#9NNH=k7^21*6(r7@-Xb z`ao^4rk{mDMnw&vbEQDE`iNL;NjP+?+ZGW2^VZk$*51L%$`pO*2kJC%VwMvhx?*li z81XSU3dl;JR{MAc+;bhQgrb)rz@sB0P^@T*M&%)noK3QueGRJOk-#2IS%uu&!M2`- z(LxQ}Wm+R7=7g`=FU@`!8T{ zJn;{Wh?qbAR~-ZPn!=)o`o`^%y!?{+Wy6;Ak$;MI9Rqg~-dw5ul76)VQ?0v^2iIid z?4_qwVJaDUiOK2(o(aj6vwkjj)G&lU<{_u7Z0LrZd)ql1+mkcw_PqqmWRH3JN2ZC2 zf#~CBo=hwXHA(5BV&wx$hCiv&+?V)~e*GkP%SM-$fS#aG;DDJ*?>Na|fS$3lq5^Sm zary`e_IqA}0tT@UAFO&Q2%vrx636R|RD3pP*_|Odb9L?X5VOo?r>qrtC1z5rPIR7v zR(ht+iCM+Hs*gP@K3{9{rC{p|42SfRuwBjeZ$r{T#RIV5T0$NBS&X$sT(g#t@7E|C zfEkJaG7G=bKo3yf%zybdxP1eE_Pd^eKZpv5750Yx(1m1<4guXGlTv`Xj#au)UfECf zn&f|&C{`cL5LgM}MnCr7oEF0m?tA>Dis|~GuYK|dv3bx_8k6z;X70y2-ZEOx;~JXKLH^nVw69X zrLy?ZQ2#Vj|ox#N0WrRLK&-}faS4j0nAx6d4Q zGUuwDwgyU%yGI}Xp>$%0;qw9#in_fcGQ+OlGs1?*G&=Efb^M|F(M4zl_>5d1_LI}} zGYv5O@yxve?nWcazXIPv8(|m3V2gJyYUsr_;C#e$$ngiajYuAG=Kjzl$dLC#ncA8B zKfL^3_PnJhxCMi|LEsTcB!a-bbDX=sUOVdd^Znk&*~i+` zXIR&>tnIa=Txr!Hts_Vk(15}kothjW096F#((LN85Xe;{3Ye;)7O+4(8lQ|7mZUlX zXblJ;G`4`iP=GD~YXO%8r~%N?1C$jM5Q5PNKm)xx18i;$0Kjl%dBx1k()_i4p#U|! ze#*~Dmr+fi!4`VIJAiQs703xNUV;Ag%dG$b0WxqC41k?LfJjtUVpCL10b-n}xB@r{ zFf5D?Ar{=3T|zVgQ3Tfn7^o8v4}cv3Ied=;8h`?72me~lrrv@|51|?WI)nn%3eZ~$ z$Ws$M)1yNJK)E;qb$0cA0}IpvXrn_j+?awfKmdTWIk`0dMh`^qf<3YmRzRPS4qcAE z0hPfyhIVRo1{5$1NUOS9Zu&ojY-$etR^38*IRX=~(I>7UP`CGMeQv)2JspK=1`N~z zU@RcNs?$mn3}Br=xwbrbRsH~hxdQ&k4$q>3wEd6+qXj@OtPPEBAzoa40zC!&th@Yf zk{|TD+5?7idHv+VesEv)a|9UF35a8}!N}F6XQ?%$Z?zFHfPLwA7Xh>d0&sBt8n(Ly z|CZ0=UOc`9VEk@jj-ex=tsyiNqYq$N1P|6h1@@+ZFnr&un0>uPe%mL!?-M=ri|+mL zJN~H_|G7o}`QJbF3r%-%a#d+@^wJFQ?_mr~6B`49_4F_Um=5T}$7V18r5YWAI6Z&* zlm1w@;632mkP^nN{aq;sX!gX20NH#IL4#wD^T!aVYbKB{XyJl1Hvw;GaP-Yw+jqll zU|k$R00HZ}{CJlDsL8>_`Tw)r4y?f$@P{1uf=5TN`Kf=_FZs;o>8|T4>ZyZy`g`d3 z#jW^l0%5SFzkqK4vk(O}`q2;XHy|M;%mctzlj8#fpk{|ZpWgK*B$*gLeB)2~#*TQ( zH%EoefSy1$cwS-$Ki}W|8-JTmp6nl(2&g4k^RJCXn*p-eGB!mtBE_-F&r1cYCjDe#p|f4tpN`}}0i(5DpreBLhPi~4h~Gh~ zVezkkG`7w`@v?f-;t1lqqhh*^eMaJ1dMg2vf13QM!2E)8Sij_Y&wLBol$CB|ihJRE z&zYsRC&GMmytuQCx39Y$NuBPST zDwF2w=q$s>z{SJ5`3T)?SO`i`IbD&XFi+-UNS@7%qqFCN& zJQ3pOWXqb|uI@3@+E=wmeE%!$hg4=3`Y%t@HwsKVFoHKi0`QSy;heQ)?D8S(P; zJXposg$}kzV&RI&Z){Jj`nS{;<@%$Ua^p!E5@LG;m*>;xA(r`ZvYSj3htiNly>SzD ztS9zt3ko6)%r!=0@fC}1KoSs^ZgN$#62wHiu_FF#n#+Lhhb^Mck&~9^o|NV%!8pGr zPM|&y(ye}|2uyoadh+vLhI@m0LYB2E%2$B~OHA#Wm$z%7;wOrde(Zbt?b5FTvgh2(+T%9cR55E?fQL=OFLj8}-vc z@Yk$0M>6^F#&ihT{>^)qEVdu#%s^wUl-p&IVB=@aus)-kjG>u48!z$ALQ7S>TqbEc ztU8u#|C)TKMyrHfrTVNQ4Yr;)gEz$0=?k(fa*Ov7$qAi5WOIZ$ zi+{G4(%5aHg*+M6n98+Nvy>F^-WG9X>y+O`7BnsFMOjZ0(lgU>U)Zt`^p22xaCpFa zb1>`)^-xR)e(diGF&!B%pZ`7i9V6)uP1CEi0c(E-3ge>ev4D?Ub16ltyYb>9lr zkEpdmz5p@96#XcFu)oG+lhlL*E}t1|@s){bzF=_%^6e10VNUs!MnrxGIsE79w=5d| z%l121VbF>PVwMpWr8fgo@k&=ki*qM`#frKzGm=>)2w7Tj-MVAqEo23hk7;+p9b^`b zWWsI(_|3!wU-bZPc_lRQN9xwyq7eZp!W-gGa=aYD3qNe7oPu}iud1CJCnQ85{;Z0E zuiD6n8k?`!^UH2jW(^D9+Ds+LW3chNz(4HpqxKM`vj}Kq>ut?w>_Y6I{6ly1i?wtf)#|X(NH~e584eG4mxD4KS zlH0J0mjxYBjKnbUk@1LCTh)388NYFZ6+|2ceniGJt+|kmD#Jnb^TbN)^zbOzKP3@H zIj7Pl8=y`iCU^8;O5I^q*PU`7LVh0fK$PB;wK8Y-$7<^kQgtGkKkNHRP1GyddWh9o zaqc}B&{lRG96nui|HOUDL2#z40&Wd1(-DBr0h z-F(JDwe@f6G(s3xr#q9m36ece1)JuP5}BK7eIBJ#5RM+y;ItuQ*0^BiM7>k}GYDMJ z^{mqO^hZ*bWCg;B)7DKW%m2>*-`S%*+yWTP!*Yr=?aXsOHtLSWd zT3>0;YH62^ely7>l-5;le2ro+?Jrx0&tL4bYZpJWE*KYyCGRmhCV!#6QhV~^?fpt6 zt^@NLk@R7317?!t;fp87f7ROA&dr6QvxRkUoVh5;lXD)(w2&YA&O5ODX8?_olPR`Y z3^k&|h6DK;=;!kN+Co;v2RoN87Mm*3h(CceIby#{7@?k&#-qxbm8pJeGTMfKdUD9n$Oe$6qmyHlucuWR1Tj-B3^FW_3X>+QN+Am{NHI|~tR?Sztr zkb?#`7yBIG7ADqkDY-&h2s=eu40%}M6~;fG=!{&4vd@P?Gb?jScOxNzHHg0FG0OJo zEpm9Z{-#5_VtbIr=u`admW#;R*j75-=HjU#NZpTifQAh9rn=8bEM5DOgp>oxJ6Srk z$}!N3BI&~FtTa~`G1gM2;{)$(b?mFtQ2T8KYZ#%E-nV&;A>YS--k)HasAmQ

W}p zQ4=7gV>qJYaaLUOMW}A0_G6k}vjLP}nkT<0kJ7jpSAqOyfLVT_R%vyft4Y(qw7=h6llShW+!Lv7yC2!T63BbKXYXLkCo>v(QX^7z&G~>#CNfl0$Gx&C9Y6 zO`k;g3oC(6)~{g+ZT*Lu{@uOZ9F~E1H|YzMXtg?Iw>IEbnMsykP{$vo?YEL#Z8+wd zH}M=G%0Qd%ki>ibWR`SkM-9QjYq{+U$|XKQj#Y(d)+$5?vIOVf=|J3p@!uAJ!-(AX z7&QonrrRzYomktuSZeran&unc7Zb(exmhON!UySx(KHhqEJS-|9i)Vdyw`7W*8X@swkJ8V6zA1Ks z%-?V!;hye;(>LG?IaI-5IrevLKoC-f_1Y^hBCbwYY_<_+LBzRQjlj@9mffH3{j0=q zuODi0IkRDA<+ME&6e*9Sn)NoJ-OYD2y4I;WQ`nC;WRH?Kqw{)8_0rLnoUu4%feq&M zH-)=GhiXVi$3oJx*I^$wh+yAO5UFsCZycHXp8PCj!<|`ZM6Dz9zgIiyGxMUlM)nP z@5f%6Wr2sU<5SnYC{Jz?!I;CxfGdueVTD7+$3j}6a+KX8t^sds!SvE0pSzD#>5Qmw(kNV2hbSH2^eG; zA^GH9{?|GAP_F0dzSgfw461A@5cB-V9I2Q-hrJPNg8{*R|Bw>E(JX@4aw|7g`!H3fC5QoysXDZ% z`-a-}eSI!k52`h@;LZR<9Wz%das@K2xLO*6z^VR<5|kLOU^VZ;>cpCP;UJx zTH5>Kh3ZShyorNQwv@Ps5E}Ffh0wVlTD=0}iOypTboXIcIpS2E1>{>?JdQjZS*@?M zHk@aKLKo_$Uwy7k$RR`7v~D}X#BmCN4r?~E?5k!60I0f@q1eL&$~_#|TZz!Fz)2@i=qTyHNbV zJmt6YtFz@Hc6^L(Z>R^B`5;0&rl=aY=Gmd0gWcqdT?MwCXgR@RklbB|Nym})uoHkD zvHDy7$m4AM9WbUcQ6~<5Q8*i67nCD5I6~CVlDu|1?3U%q7r30M1}afoQk+iNV5`*T z;|OTFNP;_B$wGVtK%J$xI!&UIQ_OsA1~~ukN@{e<>vbb(-Ncds1oPzar;E7=Tk>l} zz5d>nm8!Xk@(DAa;=`Z4MJ~&-eq^Yzvx{00m{rcTUKz$4W7k6LdA}zmw&QP zS)LS6=Yz(^QqRiK+*Xp?tT-?Gu{oY(Cy>x*5I>caMoYqY+TqFYw3j2K(Pu3S@M|4f zbBSPcCu{yfhXhe+m8#dS;q3ZPwjSO6{KPH@yh||O4BSZBvM73RDWng_9WzMStHdQ+ z{M`(Bma%w?c~eHb;WvPZ6RjheB8Q+!SJbi0gU}B{Mb~U)=>w481?SS7_Sbv&!Y5m+|(;^0;J<;^q5wd zT7W2PF@l<_jZp}{3Wk)KkJ#jC2juy8;k=@c9hZgBZt|Q&)cb6}Vt5Umt{@AEEE%C= zP%xTe4$oCZ?o2()XmO3hC)=DC$_c3VA}vQ+u00gb9IXw0d91m*(3i+~Oywn@eQ1 z^Ah$ZkQW%r_M1@X2qKNIMWCQmO4FEje^BMSiuNcqh2jznQx?NEUvw4)h*8YHAy8k( zgMx*G)obk!SgEuhxAmI7g`n_1;y%i6Id=AfZg$55w_6*tt)%APlkCgl5=BGP2!K(W zfetK!+Yd2SKQ^{oTlBKU&HFH&>3eW@tB+{U&COS~<7DB;3-pNQD|_q`mnN-+q3QFw zEHhEo;>?p?=9AReR32BQ8bG!5sWjoHtPKFP*C3TBesr2n%^e)DYC_vR-4T6AyqRz@ zFia8WV-JJ%rzN1uG*Gzb)LwF9O;>f^beo^6kMI@pu95$LxQ7Mo%#$-VwGI132 zrw$9ACnLh_(M=nt&F8aJ6AeD~M+x^TBR%u)F?+Rhw7q6kBG@RkG+YR|!N*Tj(4W3l z`lT;qyiI`L3l9s@@yGUh2B6kXJSjO{G>b3U^Z7p{; z$~&05FvDn$3HT^BVbg~O%=BQ5rKjz~Ljj%fRGqO;|Uk|O^c7LP@YHL51xBZb!dxTG{ zLcKPzF3oKn$x2xK=zEU`Mr>VT}?)`&FD1pgr~J0pKGkE7SB3SJFhY3Jk}m z?o7$KD-V1A96W0Hr0J3m4_ys#T?+?;3>39gmO5pq7n>(P4F3?*d9yIZ;;m=HIl`~| z-|`^V5tM13kDid^YnkZ8HXBX&f5%*r>;b78Q%atm(~#Z4I$p()(IWwo+W9zi2Ws`d zt8>oet?u-Okh@6J2R8#c^fd1R$bQX2zEDJ+~P-$iS-I<{uQ}(=m zVdnu#yX#bVd5S^Y^Iy|R3eI`Jsgty#f23)lI*0A5)lvc- z@Y(sM!$l63uWr`Au7v-5rGvL~MXXrAzhQbuKbB81QLNdS+@@cSz*@~?S_dXxc*$Vs zc!XA?Fj$;D0k3#8VS$@`cWO5gTYTBwUf`x4t-q^CDsV=wjjJ83eOHY!N83Y+r7@T| z;3Ce3gZ0W=z9zRS0z~oHm7Sje=MJiTHBa#Vpl`2P)9k&p*OVzIA^N0lLEWVp4v)1g z(7)b+DT)~7e5;1Uju&5NdI%Coe*cTsWxfPnwRC_4lxABpk29vE#0h+UlGhif_aMOy z*}mz*MAT~!9TVD`2u1<=q*6l14$d(h&v{)Gek^9ZI*whk_sn1d=`tDCIjh+@4r$MI zj`w|3@bgt?%0*SYy?l~p9*16Wm6}?zJR(CDT`J4evf+30%3Z{-G$3Bub^~lhY9^xC z7z>$Bm5;@p^Zkzfv(yfRJG!*Sd=SkWU~(4;3c(uh1S%ar-#&h361!Ztp(P|miXLv~MWoW47|Z~6#GdOo`6~>QwdoMpX`=oDjWj4Bpw}wfZ;JY{>Efag;*a!`_v(*^(8JiS{Z< zZ8UpVJI;U~jL+6lx`#%ZoXKMy86^f)ma%28V5wW?_t9K;qFkQzcuy<|4DJC?Qmy^t{v4iDKk`c9+#1flReBDp{Ta^J+*eI9 zlSM(>aop4y{39Lt{Ml1;<{GZJEh(DN#_QZK zx-QW*12_zVEfwQ!-KvmnU)KUXVBv%faY4yLdm1u@6ot3eO!R&BK&f&h zA6jk^21-9-yNzp}fVHwB!Dy0RL1rS;3ZUcX2Ww>(J(@7ZN$>U&2TP4_Dp;pnrT0cJ z%L$w;CcMN(U4VJI=a>lFUkk&pCq-i9L-p|8V=oaX0=YG&dbdUjNkGRE!Jyd-wU+eS%j+C^5K z5v;v6K&wqUj-uE~JD07DM~3Z=mC6}fqRFV=r1+5)YP49b{bp8wRh0`jaQY8>BT#<8 z!^D+XSJt$+XHYEV)U#8sl3ZB21_pG_(Ei!vdSqocoC8Pd7;++c9l2*uL@p)s5Obpw z3PIg&XQradEbYc^iZ@TxT@58l`1!p-({TB&cVHwfvumVM!TqKnhVrH?vVFUi0Z*}# z2O)G5A$H}l4?=v^6b4qnaWYu-Il&ELbyi1QW z(>T_P_2GVf;Y&SG_=BptMk?@0cDemXLJ_wq)JQ8UsW|TPv5xvX1fZ;(BtW(HVH5oc zZ_&JR+w+C+hRfg?c&-e;{P*=5MS|FB-ZA`oa0O@!liI3lN@vn(`GO|>p$n$6Hc+5i zu1}`kwqlh>6X+u?X{v%*jSWkF^3|FEb6k=F@A?RbB!|WycZG0KV`} zAtP1r76X@%5^ByRTixf?V079^O8ay8ruu>rSRyEe%h{gr%1G0;^6mNoUt`htL{h5X zmr+TUEGAvru&qj7YtbmTaZ#Tz!caH|9}HN2S1;BnuDy6$<;Xj|mYMZ+!dj+u)0-Pf z!8jmBs7SgzN#pSPwSq$Q$RY&F7wx0ILjh|{=<}Z|@#(=`8A1_ZN=aEGWUU;tRxSNp zPSmv`$$D6(385JAqT6Q%j;%|09Zx;dI^V{3S?=x}_$vD?QLOOeRYpo3WXIGwA0*Nf zCVUuUZ>CJ|CgQ@h2s3n-Ld}E%nwyBqeus1%9g(}69#weQl9Xpl@(N6KqR!D7!#ET> zh>L@FN6E>*lQ=k=22himioau^Y5|yCmhtehnc4O{-mAN9+un1sdhs;| z_49oXvL9SgQeU&&;|B|}A#Cp)5{x4L9yQPK6j}XgDW-WJrnV~{uAXSOF{tTB#Ct(p z;Ujm(HnunTT0TmAJH}*>R<{j#Ts-=Rw0Us1T z-^F;727{0EcsEwb_gLgZy2xq{+a-R6;(@N&BWNGOCyS|SlNDJC2|XI9UG>_!TE_}^ zWu`UhdB0lDK;nn6uaL;ra^5K5G@Op6ia%=?!_YiB7Va@H@_gln=ZYQ1gC%t$wTPH* z_RFx_aE%;Tu(AVU(U2`)q2tXiXZj#q*%eDl^;>`#GI-Y4&Y<6mupTNdOx2a67123RI}{r&e4Jr z6&gi=yDB+m+0hB3M`;XvNCjSa6HEqA4x}!AXH)!@U!7V5gAJI!T~45`-;FgQX%XFO z+2gl*Z_|fqp>}q;dLh$ND{4zB@4eDig#rJ#vCB%aN#D`u$$LY#0BxM3Vw8_0C?Zjv zLLc>^DaEe+SvUhpEjDC1H#uyr!K`kdILe~n7^Z z+&G(>V`ME3F6*k|DVH>*s^^=m4=9_j@#ZK z1VD}yL${ZYZhB@9m9?ndfI}En&i{%W{c2j%_tq|8qkAF!;4DrK;B`sD%}H@GJ}v&w zPYpPFVx>=ZT%;A}`Wvhm>8jsiq)^n5-kv^LEuIgQmD%*pbMe|6&(|65M8jl$k&{}~ z-R8)Rxy-gFkI|<1P!vmxp~M^cGT|P2k_y)2Y`h!)G&e-P@M!Y)_<2`y_nt#CY{^9R zQH=Z?c5s3{|D!`$*&IHNVoJ2;3WG*phYmcjcq4X%AFn+tt*72u(gRmZ)aL$6=Mn1P zDt}QN@nWBvACl5ctR0Q{#Q1cAMKBc$79W=eNZ-@+pL5jbBIB7e#FzZo>oRd_;0uM$ z_Dh3nC#k=&?+;|}zj2f4D>dvXfuuO&7r>N@_G>mTX)j}Fov(X~*|-azr37T_X5XG+ zU>+?(e7)W#Bvq*P1L@tz)k|g6VtNacHPO1f^&6?C!1(W_$`#R%B4L{PpoDt5R&}JHFWwm#Imx6`uYrTG zD=O2TetJ6aWM~nGh%<{#ozO(F^`Z0pTMM^XXf3;qRJOBevVuGK^XcCi!UrMYv`Fa(3>^Y9g2-(e+unrQTY= zujqtMd=J%#6H8ey3+cIKKvD5lW?+*xna}TcEusv%wIXO-kfFHIhCI<@>KHAR33q5MZxL($1a<(5=8pM>fp$D zAIQ`s24KAqOn1{)wrQUPoczq~Ke={|@Nhq2BY!dY+@2%cU8@Dq^fQt2?KG%F;7y6_ zl1~YDy^LVIo792sbun9<%|S@|yK*lSZAg zHi}dAOAE-@zS=kB+I9F<(wkJS`_mITrilHIImkJ%xXDFCtxY@>z5j4u^ZWWYG)V5R z3NYUVC!LhJ>S=VGIW&d?mcT}hteVxtX&t)rqK!4Wx4f4fW|4Ihqq3xtTE%N}h;9&W zn6G{)F~oByXNYcf102-pJf;obwO9WD>k~`|{(n4G*8lA|^nZD(%>S>B%Jg5wz{K=F zcIy8}RAu8}XZk-BRcqReUCMOZNpYHwqFl$@Y>SQ5ea6|S+HAMolp1Zft2TbGJoov0 zy>jZmuE#%m9$l(a~`*1xD89b_aJ>W*`MB zt4icVg@wQJll)}>!tVYGKdvt=?5uzZ{=SZZTAEs$!L~SlLf`w{RKS1$<;(;EB0EtL z2p)w6m8JB61SkpXp%MVL0B~Vy0HEf=)Xu~JG@XeHVu=%=42-S;8b03u4NRaSA2?RKH7U!l0cIR*W2iok+@TZP77k9>1 z_Lm7rI{;{5bzoov>f-VZ{e=FNfA?*k8}L`^1X(KjLi||Zzei5Hi9-V@^0VR*u3k1p%Vc2XN7Re&n*1H4hd|mjZN(yz_@rM(2e=^yU&^PextAG^Z$zR-g|bnl=2$*+3cZ@TpNpI81LbxTKcYHCm5%Rb=y zTO8oGE)y7AK)*K_0rb21q6Q|%_n!|;&1~(?pS<4Rsuu41y~`iGfs!1U|2C0{@n<@g znAey;^epb^>~6pq)R~;vfA0=l-Ou}#uCqFZabaL;2mC#K+rI@>U~FXaP0xkO>`W}3 z?Jr^Q)edE0{H;&@F1_CWXs)2DqP)CP@Uc&`;g3o6jSE7K>fYVo`4ew-ViWs!eu$4@ zXsFE|K#q&dO&$=JnS6Qw^OcQ&&Ro6zM|RR5kn#IOV}5XAa0j;VtIbZl++X#Fzwe*t z_lu6fh)t}0>@Oz1IXN))e&6yVKge%IYz`jYPx5CC_+9(SKlhjAO|SrK0n*-OVm*Rv zk(iZurV^dW%tBbTyFLuUhhn0>RG^e`uWh@1n~c>ptXlY|hb*$sG5WK4*5_gN=13sx z%dr$}D7u&n(=#*tL{xY+E51o`e^9{rY`#D%D8a2B|Jdq(eMS<^ahYl z#toJhGY+uKeHlZsIH|jT*f)5A{J0uA+~~yEEZU1jD!94|{AN3unea^L1s+Rz8x%V5 zEDhn3ujnwzAU5{GM1sMW)ya^TpXMNAq9v-;e)pEN@&Wa=mG9+ur!pObT4&+>UOW~- z8mW>b)K)8x!YU;=85jyvd%$5V$tosy!Xhf$3ejf?x5kA7$i(P30x_tyzxX(!J6J@q z3r9{5gwaQrK$W`k+g0NX+C|9c?9fF~M!f#u?X4#!C@33kaP>4HexY8mgMczAdo3n(CsB#h)UEF>*+sj%m8)B6 zWb+I01oXK)?iYiC!`Da-z{JBs`5+Y~}M}0-?Z?D)}onN@lsk z)Q*GBjyhc{z9}>6s9ivl=|vJhL!Wg=1!U`$HWJ8;7*DoDX_tn_|BO?XHlCjxHuA8T6YVVCZ3gG+ zGxGFoC0{^oqWl_`r%>`__1;-==J{VtDlIXK)tLIkzg$C+QUi@CE6f9AeX-6({)pHp z9^8EPOV%pJ01zoRz33AKXv!jY2*s)VDV`h@Dr1Ys9y5xnTGr`io|{awYa}X+)JzWz z&L;bJE&dREVm)0`Ip!^f@2gfuc4KgcDiw&El zBwqAb_W@*T1^n(`3=%O?v<5E*H>Lv}6BOp{ z<5D^q%O;5!b3OU|g>PHjwuJM-S$vag<=!>!6p`8vWRVWU*qAa(UG(Abt&TMuhSRGj_?zxdR?Y!K=Fg@m$DZ(}0p6vA%NA0H z+8@Kp*5z^R23g?*M7Azekt23pO!<9IwMc=V_*^G=H2uKJ6AnMg#4 zu?7Y-h&T`KVn^IFQ2n%k<{1Uxmr1>fgDLn<3A>uuAo{C$rG9tY@xNEs&v}6ahbUnU zjn8NDnL@$i<;9JSZCbr$O9*Fe>LgJmdK;+8K@5|E z#fZ^7W~5!X>BKJ9Zkf1zs$G9yt-pbi^!Z)o2}C?gqwO$g;GF5sx(GTO8idOHs{BnU zF!*g$celrVEk*2A)v3zv^{^2Ad0e?j;z{pv+<<=_%_| zBy2V=Vqwj~5~$1bSi@A?C%D3&MT>4?wWeGSdVt;HY7>i1kx@1ZZl#XOeXniz;-6h$ z;55~uB^sPZl`-J7!ao& zYqUDHaU-=V^(-FL+aS-mw#d-7kqk!0lY{A?WIU)JX*~9CerP1l3?9{m1JiV527?5uD@aw8vgW-;Nl$nKW+o6)Ssul4MsNIcAH_^ncP3GQ!6&3u7HPu zPubTV&S}SRH7F%R_IVu1R?`6waqIt)B;uG*y)+0;{6pGuB}+>0 zv#IXz2Q=GpV!Y>s2z9rsueC-!(GhsJy>=?>C322^B@Fxmz7|f6(f24-YO>g`LUvso z013pL?@gqezB&kHzKi}h4}1-I>d-A#nO-T`;d8zL5Vk@Ur~;N6aBO+E10p*TV00<{ zFh_LXF=~TIQXox#9@y7!b;-;CCI=V;O*@Wa5uUj!-DqkIvKUCrjb^*w z#4)$~RRc0Odflzb$)?LASO>hhnS&7FQM}(o;j@HfG6l(Y!~U?!r2BL|FNeXFat z5e#b!lu2Tv`AFfIB7b{9-_y7VgQGQqoXGGzUnSbf=@?&Wz2NT11WxnQ8yUe3ZtgZ2 zcALX2g4v*awO=iK4Z+v`EHm%f#v8Jlr4lMH3K0#Txx3;ePke?j^Dk2U#ju@p(_~@8 z3R)Qy?7&~|ygoDg13SxU(7jk$EaZDRqKe%E`vfH=!kCqZwtQQupt`hH=6M?ZNMUOa zDUhAO^=+PV{`XzXR9g%{ABN-Aa@!KV*|G_t-b&pJ&Rp->hiV2#-b)s zjL}XZo9Q>NveLvCrJ^CYi-s8mb{JG}eIzjric#e(q4Y;G8l;q8Gq#5_NDPb7f>fUV zIDPh4A`2yWlLQBtZdOjarYM9w98*Mu3SDhl zQmPouLhPZdGJa((RE=Yn!}mK%5F{9gOS&sGrz3KB?HPwUJYfrh6Y0?5tvq5JXj|9W zyYl3<(o(S>Hn@n)0WdCe;AY9CGJfi_qs}kDqNYIt6irFE|gJwvX66-UOJF zr3>lR;GR^+FZ0cgWoZ5I7fQIQ)=r=sc-l9m1?9&uXVLw@Hx*{KuL)_7!ca<;M~GwF zdqSuH8zQuCV2~rwmUJ*4PZqZ6vU#zS1(Y5uqC8P-xsHiVQ&g1kXjcDT>Oa@!-i2SC zLS^YAIPzA(Ptd1Fr)B{a@U@}_4ujbOt9>v23$n2J)65h{k&S$}Y^YBi5TW zDHF@SsHlNo{`)}pM_4j4E^(Q#I7Uk4Lj9kh17j7-hVM8Wi2P1DFY2#7>N1>cFra3c zHyRa0E_J#ex}(AAZ`3mNkb*yin%^AC-el*S^Zs7txn&N0k%E`wZftY(Fp+p!VG%Ri zHzBrrDP#z_3f5Yh^3SvV)xGvwibx^VCV@kf9c}5)WkSPY_Aixun;T0+c57FOF$g8gcT~{)cd+KFaS>^84)jHI)CqTX+%A zvrOK{jd6`A*`_y8+mc36jj<1%d2Qlj+Y|W9<1gO*9-P~W4+$>3O;9Tv0sAz6))fh} z&|DWGKt1+yxW75P0$kh=HbOHpT?RYByN=o(DBUN+9=;*2ZeIe=Z;E(2C8w5ZkXLRw zLx{N(#m_7w=jw8bQ_`{pqYW<=ed6>H1y|+%?@f7FE-22}Pg*|0RHoLq%B3C%LPCiFq)$Ycx5($_s+;`rJ%RHH$BAxy zPBFb7RTA8u(mO4Q>(%E=#X=UTrF0?7eYCkEX)|V^B-NBdiKhxyEOIK05p36!iH2WS zmi1P~?3L^bJb8sf2y&%vOa0z!rQPJs2K#hat&VD{qNid{6;0eroyy>b_YqA{+D@w& zA_o4NSp=}S{?PA%rqSv4B0Fo89)gmr&3_A|G^@aqZXJmUgSm)(fZ)| zxDbxfw#m7@AcH7fPSD`1KNsN-$=aXM(O5mCyGSxg+I~%ywr3X>d938f_*wqj5>&|2 z8T;QL-=HH83oVYr6#Pe9VOECcXp~!%g<0t&{CWR6w116h@|A&L=wN9;FSwDcRvUpK z6>6`Vs;STKVSjM2s8tnJmb3!4RoZEfM$Qx*ObCYlu9VmsXy7gRQNqve$;T09*h|Le zx-z9EqI#2G3Li6}U5SG@$s6}Sw%MPt=}->k<-|HN+p|SwX(%i#LBEzWS-$EU>+{b( zMQxVcKV&@Cjo%`G#M}EjLSZTfQE(-vr3UH#!&3d3s8=`6N!Hnoq_A$`x%%}EFX0x{ zXe{EQg>3Sdx|N!8PP7q9*NFn83BdVgkMCrf1U5Pucwq_;sHwJOC0-g4b<;lp!b!$V zbIb)k<0u3w{Kcj!d{e{s(+2K-4vzT(N6X=T_lc;XwZh8Q<#Ouz9ZnGJGzNfu{Mi}x*_07I(A!hNf07b!K z_p+vi<7@xJRF2iwbGH|?_tbiyaLX_4=Q;%G7x(7bo0$^0gH!%hLhIMt*01My_240~ z77&JA@PU3eE!g0sFRkqMW4~^%MpjQ<%qs`_Afcm;7W|JWZZC}b;f-e=czA>g6m$xr z@+;a{GfN~d9)TKr{Fnah-Tl|A4`>qhFo{r8UiL8@A+`^X3i?Bcyk|1829SgvV|wPg z!C414wTTa9`vkGe(Umv>I{J;T%R5Ydj5PDF7K>wD)5TG^mLJ|5!!^feN=n+V@e!li z7z_DzcI!vaTp#PrtxP6)j3+du`T4oQd2RP+$7MNdZ*F4F5knot6yPs4Sf@dKp{IEt ztu7lqN2sS9VluRfY#+E;;Ce~9g8eJV(PNqMn_KAW6U5s_*w;V%jMClkHSZz0ItHD4 zmxLQqaI#y#<6%P&>#NpFz8x+?zZ7>KjlF117;WKyDw3b zFh>N9P#~t?h=U=~$twO_;9cdi8`Fhh%@`-{uJ^J0_lg1!DKBvbqFBHJ=&>|S6n-&M z$^XK+_w3M=+SHeu!{WgC@C{E%0Hyiw53EtU=gMF>Wu zeQpnfq#aPK`lC3X7JXd(VCrQUG=SH>!nsMCUwLo3-Pa$~luotV0t;BIr{Z4GTRG)E z+?X|AfP%qdJ?}F7IXZmD4EVaUex6GEgEyl)lRU2ImYD1JHMx?<~_?#c|3wNaI^qe8U@v zHSxGI39~|K@7C6KW;x819oivTswIAg_Tkj;6cwb(BzzmWCiR@7?i&B{;!`EKp7CXC z1D(8HXJi}dTT1?tRG~XWpfBBRTA9=C&1iv<6iT*-GCbQWU?l+y^j7I%c~5(tDX^Cq za3|F3iEo&`!Xs5LYa;~zx5Mk2+ zh93;0{4q~3%4|eBp_e{-B3u{HD|^18sARJr*C|w&9K(z0p|?VH@LI z_$Cu*p0il8+`jr&GIZrE=(hL&IO{LyOoPd(3jR<#mf+UkSF!dWyrSbHT!^zFFbC{_ z#}uM@&1?6~wz$WoxqW0>w@bIjPPFA2ihqjVkkinlb$HlxEtjg<+Gz}N@T~8}Dh$9h zB69pJN!-CbK#>o?_sLn0(`51a9<~3&5A4+ez-XHy-ik}La zi;;r9X`Tj9219!#w`pV2p%fq^vImnhHU`XP=Y*!Rts{i%R`H148jb>wuyi<>lHNp% zgA)mz+5$b;WjJ`8KV+M`CY@713v_-L9UcZ)gQh4p7dAO)zEuJgj9Rb1i2&+yMDDv5 zeS7QAp^9PI+o@#1w&{NiH!tvnJzSAQNe6D4RDVdFTC1PSJYTw_MFcmptREXk)zt-h zbu{Mfc_s`9(gCKb;b!B}lm`XkJERMBTn4^vplgHra`V-+?5&?kok!9aMb64DZmC+q zpuob1V6%p{4!OHKcrX_|dTN&}qO&`6bMOACsj-^pE3ThV=+%Z|_3RDz0gB zd+)i&_1;kDav6=Frqt@A{*$^>Q?kJ0Hy=W~GMGc49To$l&^ZR*C4Mo(EX?`~ksgW^ z`%rr98*$@^cj_K1slH_hBdi4J^7^6L%J|9K$L)GfZicwfC~{<(Y(m?3OD4Z>lV0<- zZRkH23wgX&_lDUPodJqPQ!B1n?3!#=(T2}_jHnbseEMDL<7QP%6Hx(5Z%HahLq(nW z`1sYEqlZ3Id6^~$*udx&0T$C*QGDz+rSS4;^!R(7X0W;`)<-laAAHL1(Gdtti(oJ@4Nlw6 zXYIL%WbY@0=l_o+s|Z~Jk)$KNKap+sjI=W|vn9UTzwrktc`wq6?^X#5C+a=|FHV(m z^>G}u;oj!8bCzo`{B5gZqkWbx`})x8rOU ztLvzB78}@aeo4xIGT!uqmUfvoTRC}=X({MST~$i*{xly9j}^b|bnao>nqOm6z49eP zfyATxBaJ~G>|}zM9vh_pZurMY1_8Tv*4r-r6{l5zPAz>kmSoPC=moOkR^oGa3a?^< zC4wOG!emuPEd5NU>q~u3!|iNMvKHT$V<5xl+!=DXklr}FhbGddwrM?X8_3@C#<4Q4 zN07vVc%kK85gXetXlv(WX4s`x!l0%KNCM?fHZ4;ig_X}}C*jTif-FC=aj6O?%kX(nV z!m+H^YL3CW^2%%9NJyyD)%uT&XcQHlyz=v-C!`JXci^ebD>ch;N*oD;65N|YfM2Ei zP~yh+nS(9QT_9Tbq3cM1 zjTGQW{_thJ3EUrAjhb&4BS1K&oJsDyqI#a3@Vwdf-=G*{v{3>grGC%b62f9F-DFwd zT)9Zebo6tc{gxA=!7)_ff+WziXlUO|sZ=$iI(<|19JcVF)5YXQWn2PpZhT%v+*>za zUPa~tJs3;1JZqP&ppHZEjah5A9$oesYfr-=;ys56%k5K_P_ODkRmEf1|aR3K8WZV{`DXs;q%fX zk40n$L>CJ3SKsY@7riM4nt;V|vR-|7q9K=4?05{u^)=r|Fu ztkF4#7~j``e~;Y146ZiCRF?<7L{;2qyLh76z0V{#4rb~kL1_~8fL4I<1!&%a4Qr+L zwM4fbcbzRIhfrp1wQT#(kte&Sj#9=4l$y*zd_m;|QO4dpFmYy%A!(@Y;FT9YiXfm+ zIwMES=5Vz}|5-32Z^~|6qEvhT{Q+Mv?}n_Y*)2H^Pu(4b^@(Y5<_S8-`1|)^UEG`! zDLSV(1~AW9=yZ2G95*m|lU&vm`C)<&(bIXv`|MfweCs>1?f2iJ+Gnwc2m7B^j;8=~ zQ&)8gKO3L^JLFwd*s~b;Ilj9$lksl#U4;HDe4K-M4IJrfQw5HC_07T>|2~m9cWT#` zyw`|v%F?0nD;QwF{47?A9|f>>q@1m7Q~h&GGZgnAxiW^yUx-t|U(y)s{MsfV$=dqx z6uDBOnDGFG3RGWpBmoXwGveGohfZ7=8tjJp{O zOmf#%xegf2zqG!MgmBe?wnNG2hf0AJ89 z33(3ZK?qav2T;Q!HetLI=mOFG3qj!J`692{;ogoFHV^%6%?zBwwiS>xj!?OU2)48oH~5728k(*m;LoV(<+Ua0CNXb3H+$F$n)= zy*d<_TaFAVw$T9`igato^u5|($3co#D5dGFYRZvvA=~>&3iSbfD}NSeS4E5lF4O@eP)FB&M@+}T^9yEW zToPfl!2>2*^B$!I;#N{43=i}SR(0z8&z6H_2PPNjIxooX^o+jHYu-cz^;&28+^g-_ zO$98kUtYRBGAAtUTqvp1SX!#MhjsK>Ik+OdWA|%~uVC5nJnPubG{(#bvRX|q&L6+A zU#rD?k32X~)i$;HBY{1o)mInV)_r3G=f5=$I$Z{m1H4y@`BtEqBxTiP(+^o7#K2=4 z>fyn7xB0KiDg|%6DVyaJ0WGUrmEc5|#}`M9_Z9r)Rh*f_J|+_x_q`*YaU()W5?N3m zI}Onh(O5Qiz3~3b#`fyIdc~T~^^bXrdis)WS1nlO&{!V+r;=aGZrU$`J%p$ihp@2B zwfh^EIy+MejVNP$tDonvS@lH(3)-78z*I-(W+aS(nEvPz$oaQEx&pgLIue{H0UftY zLUR$BL$AQm`COZM)lS~h?@;39kL~2gE%eI7Q{GxMi*%sRTDSPoe);T_m0(rafVa?v z`5DX>1v=ndsyT*EDfKIRt>RaNp{X66L6UpJXkxFERqLqO5ux2VwfwIl=HWreH{_*7 zPb`}-%d--Ka8aqJ_tG}97>mOGF;un$6p`%`-h> z7KPMT7+EKHflu40h&hlECsXs7!^@NgY7bu0TL>@qW#6Xe0*5BP=(s>WUB2U2lEkZj zGM&~ui9VU~sKtuGIriut`gh?>n3g4dhY}6^DvXkCu3)aIk?7O--DpDd2S0t0js$Dc+^j&ivk3aNd=9% z{vBrhH0AwJ!SGD@TK01{^PQ4FzEL4;piR|q&Db{YC9rmg2@+j?Pt5L&UnpU!eQIn| z`aGWV3z&6gRyf%jXZSOlXKgh2^u?Xs5*+Wli$~^#R+9#PvUsHxdvee-cZ+U3wm#M5+l?9;hW;!-N%1504=TfPmx)|6(0 z>voZ#&`7!K9Yn1#XI@cKHat5*W@AF^Um?V%&GUzTllq8JJ(S zRPcNSiz-wlJqHs&-+JBik| zx)ld<7zXO^Q{bi>s?VGo#(YO%qP4m%m>9lSM{hDNZRiGJ9CRh&l8|fVhDY}~t1Pa#{x$9g zx1^R!k2Vd`HY?1$DjnLSTidO(+iO#F-P3MbTq{GkHtb_nTAC`oVPXF|qB^Dm?k3e0 zflYMneZ<=c?e^i*a<&>vPPw*;lItfS>#S+Kmct)DBriJhD>}KlNkYqOJjW*TTO|>B zHdi0p)vaL%G3R`8WJpTb_$+lFhIheZV!*c=SCX%{3B@7G(ed^Acy7VoWXReRxgKSa z!kuWdpNiUIw%PBlk z$EeP$qRPe!3VjOxc!$j^AIIrk>&x^f#Lzsi#fN4>z;{hdBGXh=VWkVDmmnj75DLTo zseGg51#!ndC}`3LkOyj-^!ZEdlezV=PM;4?5JWbmK_TVqR#^kLObPoiW6AS`#BX=V ztmpWg_gHnoxnjJ|v|g3wuDnznJ9UDMs<0ugCf2TtR;!D{!oL%v8>{1$1x@kK(vE^A zPu||BIr#A1MrutpuR#XCr8ORXW~gW(2|5CvYt!wI;_FkAKQ6?Lu*U7ciokrV_tr8N zDO}i(CoR>TjFXa>=Q=2=sEoN9Ew5J}M>sFLd3J>#INkzw(hcS5`KD}1tvs)sRG?u!|!g*j<;uuGhju#Sa{?|BB9g8n)#GiO1>|4e`QF1&9BL%i~#Ihd?yjnEWty= z(Jc^=N9H^nM&0KhResEbJea~ zJ|%_Iv#2>eF1Sa#7B(#ZTgqq~?VN7gK4dRc=aF^En|_gX^&-5J4rVs&KowQ}BSYd+ zV{ka{POZGxo!XS>mxYyL&TS;`=f+qE6QFM-a^kF%z(1H13Dsv4%b$qD%rmZ-Er}99 zM)MvkDH0m7tqR}2j`c?b|{|Qf{4{j50 znl4B8IxG&X-z!~%1E2kUOFKmFO_=>qzf5yGIHBZPJ$@{8nE+A)q}Tr(?{S{A%sQm} zM%J~v1krX<4G*|r!Z>xN2nI$;;)n{x;xz^3ec1pi`T^j37CbV|sl=|_OhOC%G~8mK zdSn+Ys-Wrq)vU4!EZ0`wP@fw^Bu5z6ZoHhn$XkHRRgO0Xk&R*y5qiV=xnNE=S3zN(=IVB^EP9M- z6=!=dFZTW>SsrHh3Iv|(z+zJv^#8|oHc?fbz*M0}r(d?~dr(6OeS>|3RsOp4>RLLm z(d6!o8p1tO5w&cQO@BEyA)6k5%jpPua38hBGedC)tAESM|iKTVA!iU`RK5uck?z=fD1)$`_U zx|};t9H1|-9~Jr7a?FH3t}bfLKw%bb?DP_WGK+@q4OYmc{j{*7s7i zd-s)Gko%6wbZ{#nxd$P(+)XuVFRaz8)^sYyZb7Pv#rRlpdDb1>0k2>XR#Bwu&nLVO zTHy}Ai=9Ts#H3ab*7z{XfDzB6i16Su&8I|xMo@6PP&Wl`snP*j0nPiA!ImNA`(sGGonE0zAX0031e6DPf(2(tlqTI;Cb+bZkY~wdRg&#rw=ivth?KY1FFT;n&c=FGLj})VUaK7^ zsi~#dEeSZ_RvGSJG1kWjeMtWPjJZ4sZ`8SnY>Dbf9=gug#U4pcDQqm;_&g;wZx`{( zJxF}c&$=R<0PW;+6)r)ZUA=l4@bT!T$WG+6t?EO`7Snn;(C zlvbt@@uz%8Na8hZWp_1;bo8Bd!!C`x+pP3BonjcoE0UsdNX!bP%d3u~)B@6@3w=l7 ziFMbHbuMy)K;oRIhXt!i$d6YQniL!G?f4)U>jOA)0{>e)DD|WxBq0Rvu79}Qr#~$Q zfC35omCc$1rA$9pWcOw@NCBIw(4mGmeb9o7cNeZ; zy6if`w3$BU{l@pP5%tw8bo${;-FDSJ;ie{*{n9MMo=d?R)ubX^SXRA=@~o*L(4Gmy zNe@s)HFYGo-qa9*0s)V_nQ@On&2K^Dwh%e&HYnq#3j0d(Uk?0RVGAFJuMHTCGofCPiI}W zDrX=ey(_HTx&=mpRYB;Cdpg;m1uQB{nZs3GN+2I-t7-l(Tai=~J@jalypRwp6E0k_ z+8A|}8MRCq0Zpip{^mp)n2M^HC$GrEJdH-{r6c+tqOkd6)$_dCcJcvzwMLMsuadICD!CrD@lTg=gmh08;(4;kA`2N~Gz##_U$(f5_GaO=8E)OPl`Kf?PgiNISo< z7s8L9&WNuxs`Cm^!~bN1Z&tbO>f@Nwn;Z|jk2xxGvwas>wYZ_KHF#xQJ=bzkUd73f zxGhFj+4~3U&PZ~1D}TOVRA|p;qfw;q&QaK6huB|Bs5jt*YU748gyxszW8C)Yu%TS< z*7C21BZc_Z8(mW3IfY6iG@>u#+yW1jWM2&VU<nCL zTA!%~Thp72e0kw55x^I&-rS!Bk2f4DFXZvJ$j#kvcgaKd8$rWQk;jYS@9`8*Y~F?D zxEl?gM#WAmtryRU`q;W>c@;6xi9U8emfT^9%0N82-H<}BZPyr$@deY1-rGrYZF`R_rMa&DMpufJr~44Sd>a>%1-e(`ZQ7(XXL;U_7g$W+>Z zVLip?5=5fD;IZ%<4=P0O`W|1tl_L|vG*OK>@~vVTYnQh6&PWth6l#;n(ut#6n~TRn zeuBx8r`LS1(UykI@7L`+B=-Be82N)<=53CCrY;IYJI5ar#MrOJh7e8gO4qlsAj`@1 z7%tbBS%Zj!K5;WUrIp~X*LZmvJoV&ep?y%^l3sFgLU;v1IBXh*97$mrvznMa&-PdxvQf7iRDR9H5xSs zTJI`e_BQTJgNoObfY~7+#Gm8kiVOiY5GIHD_paQ1>AiB-W`0%%t8`Q*u+Ecbe;o16 zKc5(lwW!i!9q@dKFI<*=1Jtu7u?9*ypAxv!0fAW+?B+4-P7M;$L!PevK$n%C8D9Q4 zO{LY@AXPUsdXT`o7X2Q|u@7^;4Yf0s#NIg-g>+rD#%0pf#A6R3sWghoGVg_Cgfr20 zB;D~{g;+MbRmRG+Czj~dE!fgb4~JV2L+-i zLa5?QjHNK@>P`tnY5KLxbT)jyt0NQ&1BxnKBeA$Y%IC-tdpXo)08=`&+#1g2#0neU z4`{)|%UcX*DC+;!aPG<;M_|bS@!@wPxsKGEPd z&$`F?q<@hWb!J5quw#sG0_hIWBumvwYbg+49bdrNA=TjQN->!YtZpDZdpz5@s5+3MwSqhX|y^i;E4y4)~YtbTrY zO*PmN*0UO!US!Sit-F?!fyo1UZ_Js}d57>>-VlNSa8svDSIcKKGAyEjUhdE01dZ?` z7+oiwlU8eGO~}6b{3_lKc@1xh$u`}B$Z^FEsoi5mqm|ny_)LYoo%-iAvq{9tE#o4<*^>*V31k34KzxpR6*)UfjM{FIei@pyuWm)dd5~S#<{R-u+ zi_`<2%+J2t{j!~NqdT^RiBB+KNs#_3%o!Auzyn6bFj?Scra*|Id2bO2QK#`O2Cdqg;+bXatJY4X>OyslJF)^=s63ispol6$mrh zxdJ>(SGH%(TcXF0B%jPT8`gf2dV9>aOhdfR>WqmUj>9bre~YWkl_U0N>_5^npY`=| zQqt*A*ta-`%qoiI(Qz5ea2(-HGa*spN@tj?|djlKbt zH-3Cc?eS3gJ0BEId>1@Hli`;XE324*@$}Q4f%VzJP1|22Loj53rYk#sW#E^Cv2hmi zNMYpeJ9VQZpR$7v!3g3VOL)i4Y)Th!;8DPLQZEJB#Fysl>f1FAY64*Sg95c;7zvHO zH1{{-_A{|!dOlv-U?n_bLlq32m8Rm?HEyYV4_9Tmkx9ckePTE$N|U;l*v`Awm52DP zO6BjLh{0U|x!VzngcL`zF9BS6ZGSi)rqh`mbd(GC6eyQ-kZ2&nFLvv;4gu;7q@8(_ zr0By@VP+};;CXC<%wMz6iI1p_bOdMp&F=(DNG_#tcfgxdA6M0Rn}-=k3+lz!ue)ar zC#1928dTR<1G4dCrn&JOV)_|kk)yYgtP+_eN(X%<&gPUFD}8+)*GQXo1w(724K!{x z1U8@Ozx+~^0OK{dTZMI4=JJpwytM$F1j`pJ`Y{P7**ShSgrn6&ripJBo$aRn@QTWW zH_god(fx4;j6q1}N}$J_(6l`Van#E}^3)!!4U3;{>; zB=PCIPP$r&6XFJdUzKmnIapgA5ZJbG+3+`K`R;MSFTk_e%f;B@ zMlY$ybFQ@p9`3)RRrx6TUeTUTUcU6wNhd2Vi>T3BVBvIXcw=(ArN_*Nj$g za9*O!cUnF08CjTJr^AJI<{Q~D=Fz*rrW!egyztE912cl}gZ<#8K5it+9pYPXQI06R z=4#wS9{C1Gv)M;SzRLMU_ke$?_(#oz9Omx3(r)E7>W->XelqwT^W4*@P};s2rrPFt z77V;@V4{!Aw{A*BKHU~m9@i6oM?=b>qz`TvYg0i7NJQZg{~EecTn(W^Q#6(YXi+SU zkCi5{XVy20BNWZ^%mS4xv;&Z?BNgkRse5KJG&{6xy2)WfGz`2bGsI*uqo-oV4OVZs z#YzRM>eLCbi#wGwLXk8)fo1M`Nu4{i!s`{`2lW&KdAh^(M(XQ71oo%)o`L+EYpuYx zv)1_fjb}A0{PogI+bx)#$?L7Tr^oVWASq>G6Ssxz&*bw3kN2Fwpwe{_f>UEveOD;~ z=iw8ccFLSZuxpbbVdEjX9EZ9OH_ReBa_Oc$`Tfg)*shT*&lBc z*52mE@DWS-nB7_Vo5b3bJKr^BYVB`)y}Vv!fo1{mTm-bi!*vS)7kVBg#VE z*dSb(94yS4;EAzwY|N;~A}PswokOF+Fa|WH!(EIQQ`OFJzb%0%grjkqzS}E?0Dw{f z^UI!L2_V0-trLe$&o-(UQlFL<| z&fVOcLvOAS>m&xdTd>5{pqe-9XdO*UCcrv<2x=d#j@sW>SpxMILm72b;TSZ}=PnbC!IH)Y!&JrSLf0{}BR+Fl+AfMnlWc$JJIq4r4 z1M12gb`zG$y1mTG5$x~!a!RGBpm$d7jE?|7*QpTTb`pWOs-CWjnLJV{F_Ot;j9l^( zWyHo};^e>26YhKgnjiP^G_Z(MYWi|Vg<6q=kr`uT*k^7n!Aj?+Z{;fkrS?CqLj?a&jyd2z6_ayTla`fC{~d|sKYG#>Ul$w z8+V5nCQP^HrsWYVejkkb90VoGEq+Y}JrjPK>0J%e%xMuEy-BGgkumh4<&PGW`n@y% zA`*ng;p<aB860-F9C5(@Zy7B_ zz!Ra5W*7K=>0X|AQB5x-FD=qIdLNd6=?6wxaq2n}(v*Iy#!ULz@H2PZY1efUX%XM*8LTToBi zZ{|r50JqL`*So9IsX=q#On1rbes0*N2OwU&PY)KL?7Jx0Na_-2L#B_%nijMJD`${Q zb@M7-o86nHcPlg9T9XH|Ty^JDqmsPHX7c2^dq;OmFegB^t_aTm(jrjmF}8}>BdmO$ zue)@nC9^GEa4PxIF_Z3HC-)=hRPfSA|Fy7oSJV0k-i5?(w@PnJ@XTy66Hp>9wHNx9 z)R-vHr^SoT5VnF*=&t*U2&URC6Z^UTILRT?v{<>&L{_yTm9WLaOv7 zC0tye%9UUdC(9HgmrLT_R0ZFgE(P-e(e7f~4%jzUB9~cb^Anx_$mq;Lwh*i9FMsyE zi)t`8eu{-Y@wF!A1f@tpJ2wNqqGRagH%H}v$jJC_J)eZ0m@Z>wrLx)>Pgk*-Ys$WX zun~kaD9r)}ppC|U+jFE=qzGYgwh!7%`$|4jva(x>(R2W68 zFeKPL>0%JYtvv&NMjXWad}Qu2V`PQ6Y2dV*IpGDKXpw^Gb|{Qmr#FzMB3pMPY-DDf zpw|&AyG@pZ->VkpRIzfbfgU7f(jYq8*0BsBm@I9!TE-s? z6&1?W{$ndNs{*acvWH6>9*avEWG+1R;~?aY-pl-4~%$nxktnwiKDgm$=B;< z!ifw8j`eDi3%F#p6spnFio9c)%L8}hRIwY(nkOh~q<5YRYm++KSrJz4vg~)|N0RyB zODFs6vBL1jkR&>5D9SNgU;l0WsE0Nn%OFM4j4OivFMSF2|Fti{!u~%&2_^y#W(JP` zdHuh63C{n*6aTj^K>+pt-zax8)xf?^VuKrP^^ix7 zfgX)kj_U4iQ`m;0@!jL~e&yP0_jj9*Kb~TKo8e`i=bhIv^r$SHC9{NN1)mZmWMHFn zlQRs!n%LbQ)r7XH2SZgdTmsVSrWl$T2q2GvPYx8^gtPzy79?acV<=z{fVY550Mr8L z=mgXe5)#UQ0kEt9-i9=>1qNogw76hwY-sphdK?Eefcpb~M7e-z3IovN{c!*dDujC# zfVhr4^vA7$1pzW(69_aGK`g>3PO4FSIgH~p* z^1%0Rd4N2$Sj-UnmTLei0RCyP>obt|<_7^ZzxfKx-Ut}K{Gfl;?RfWhRe#A(`Um~W z5<)fkC`Lzz#%Et!FivT}oxrrL0u0dD0jZep7mvS9R{}JFas~(>?<9}fc6xVz@|*n;9lxGxtihat+kj#@*Eu;l0p)l8 zKEIw!ALv+`5unSD^Ej5nGX!b!#c%py{0*Ve$xF$H{ZJ_uAE%u4gU7+#vw1) z(MqM&oSVZCnU(NGg3}`#+`q}4xuU^WwATUAY1nb(iB!JPx%?t*qExuVj*q~$;~Psa zYVJogsx&$8^vLp-k2~&l#A!31i_+b5R3fQsq`3Us z)Oq=#yF5*D=sD)V@cidT(UqTda-MndwCRJEsBN&URU$Y3uP?=E(PsOplpt<;HYXJJ z?Ig}s*tfZCadM9sWTI)W7H} z20J5PB1la%Jx$c>iFjvQjm$mFpJe8L?I_o;=mBBs_H!{6NUR$X3zmCBrhE1;MNgAO zPiXHg{g$c@#HpqK^sL|C32VVvIB^6$rMY^=^3N!vb&MEgm&>a#aVxkTu%?%l@t zli|oIJ`bEX4&+<(rb)J5K0yDu_qJ{;`nf%UeQ}RHRVqgtK z21Tve&Fp0KcWO_{V$U|T37v1IM%rZ`hPS`(bEUYx@22rvwPQd3nxrN^kegQnSi0$? z*KG>L3EW4#xNVoPmeoF=_dZzkAR8v)CY$pi>R)1oa;uT%87+{x&MC4ayoQLBe6m z?2t`SpD5PC3-xBekKfjHHN-tVhCuGF*H6+BCLNi`1I$7!ERDP1B?U<2DYE#|r`S~i zU+yVE1VH^UKz%!Bq9Y3${Yv#XG%U+%b7!+UHO|8B$+MFmI!puZQ=TTh^5ydU!3Cb> zHTA%I+)SUjNt1>Wg{({enR?V+S3zyOH~o$ygoP%;h+Jo+t@M2MlVwvzjm6Hj0y8qN^N;uXN~SjeuA%!eY%#11e2$T`KA{Z3(XV5qnaC9u+&hxL1IJ|i)YIS~JAL|KbNtLTF~0#cv5#Ktig(75;W0rDuJ*Rv z>bajHUv+MyyAEcAq8u->v0)tw@_jIdpxMso@4=DPFB?tAlaWUQ66EnEYIRhbZSyx} z#X5;M*_oTI?ltb93!cpNQI&L>i{>WyXuZPBrKg1|IQqNJU#I^l5t~Bi#XRj0i>vWyqnB&iqCM?3CQ;5Kb!Tj>Rx)|;O$=;HlSX)^<|;k? zLt}e0M`35(t?l6x%d3Nq;Me`buT#c@nycAJMJ{MYm2XLDtnhHq><3N6>TpGVC}orm z;%XH29gikA54HLBgRa70*jz@#yucf-adGv)Kh_swl&-1VHuIgsCw5+D*F354Uuk?4 z$+o#O_M)V5&Uj8N0zm{M9g;)lUfp2n$@7Nvi@36OR^aN)KBwyW6Exk1z7S?9pj-u) zVp5DWv3X*GA&xjnzJSacg2SovOLYjVHg7*0A?(EoA@kr@$F9dQnOFFyUebSNvZ%mV z23||w5Uy@Mt~%fH4w1Fu4na9tg6Q+FnCm?PSg+%&JOYa`d_-$WnglSoyD6O}D+=)( zCCChvTqHh6n+U3i?^&|LTZ`%BkwFkKMKqdkcE1MK8g6B8F?GR-B`*8?M5U$wgkxw2 z#F0egX>HbVvT9(<4E^cs*B>-8!ii8di7&1@9VN5knUNdakdobEb3|L5k2A)0Cix49 zQ|2fRRwXhkUbPpFzWQ;M1+q^!hkdEcK{<0pM?-JLSYg5EV;=HR64O*ka58iy*C%2n zxq#XslGt;zN9p&)4du=eUNj4`NGc85)(q{KQO_${@pf!Ir_RqM$YFEYQZ7A{@P3hG6jc zxM2q46LaP=iaaaI0_}q|p4&Gn5N%n8kf(67b>tv9gJXoZkj7F1GYb*D$_<7C^l2g{ zKFV}}U$b`jD;NPPts|&d;_WWpHoPU*9;yI-rK0C@X{gKgvM@AQGemmqsEF3 zP!?kTMS^=e1?}K9#Dhm6!SIJe8PBo*l0dYE3s{+V3a9$f;?gb$F^;_gbH)EbuE|KH z+}P~inmf@<&u;_1M8$z0E#pk(7?+BH#`-rUYvU5Q+bLIaZ{^(LUv|>B*>ICtv1_E= z9B=c&$H5m&A&u^$y2aQMYDpJzz2c2H8~lYIbhEQBQH#ulYzT)n)MJUnJj9kzbQs;= zT@p0p!NR{IaFb8DcfXaeoVuq+bAs9%=X1k;%rEI;XPvDbBUZ0+6~b>Ez~t4VM|F{6 z3pdIoFzy zk(b*g!@mht63#q}Okzgcp>B0ylEdeGwx|}h)L~Ta91=DIr)OigxOZ$5(3DB$C)xPk z>C0Nn-b>SNa~%j~Z3Y^LDZOpyLycg?ijxh6o0)+8Vup_Fe-|*i}k+s>=%1C+B^9xaOmi;jZUP6>fYcF=U{S3&*$8V;>srf zj8ACJZ>f{ryj~3(X%9A;a)%(-Sf)9iR!cG#(OHj3TSM$zQ9#r|5*&xlmnkZ2^mAFj2+* zH{#u;AF7_# ziR)1~@+q>CMB5VWM`6?6MdT0C!)RhMJH}?pFsH|bt+$|pCei^JXk;18-IEgV#-G0y zQPi}ou;qg@ZC?`*zGpjWDAIfR&?QP`x9beb#7p%Cvivwt>q+YxQmwIVFBQ}TZJa9n z&SSV>AX2JLQr5@cS3ZlXd7ck?waA@F@p2}y8C9w+f6>Fdxwc%1Ljx@kmc6Wq^Kj$i z`$HS0)+&ECzi4f#1e_zQ!Hqo6i0aPZgSiOcUMeU-VFXQ%*vL=>o>=qIKTFN*SA#0h z{^`uCl=woleLicqXR^$K=i~P>G;pFT*+Q@8Xe7qZPy13f+&4iZ7KOhue?ckDmSZfR z&xiVA21Thyb#5JNd&&*Ok-?ICk}D^3z-PBy{Io7U79u^gF0+&>O;q(XQKqxp+|@7p z$kthXiCD74WR_c=>IDQhgldOoJHLBgREd0C>?!oh50lkVrZ->YnU4jfpbpWLU_^dX z<*Q6kAqh8+2k!02T2Z2IGjmE& zk+2#(ceO;okKwPp`laX<9m&KPj{}_z*&T0IF)|Fjk|?Q93F}W8??U~uoJfjsLM0_s z-J`i-3k5|3BNp0|Tu*UI@OETwP;c8gzI_bxW5`PhRb>g+$G1JGl$z_>5X*rVQ{i0- z8n2oe@oR!lsozCbe~|=6*J%!%4r<~Z?mO;#okG5v zW(mxhqjd1L4ogBKM*SQw|EVPmJ|d8y30Ug{CUo1@%-F|d$#kuqpZc&;p{~!t`g;8^ z`SgWuPwXzbpWqgqC4?KAADNtRCeAmw3oqWX4)1({C!!T}OH3zxZQs+jYhmA~BBG5L z^l)lMmS|Pi&=q3%+Y4Lh=%lVWeZwxDnFd9Gt=frFw@P%Xp7EGphc4}dMBMfE5v|eJ zUfGo7%2~P-Y^H$s%Q{TDy(9(6mXyB+=w(vc61H@Vot*!zv-eL*;8ogWREA+Teb&9t zeH5d#mOvv>+&7eQWwj5A@G!b=lfzIrx=YIXsWgUYM`tXvuf#?Fi2IW$-eO|m)Qyb4 z;al5)eBT!f&gaYupFYx%@Wh^uKWombK(!=aV7_Vxao>gwC%u%Dphl46UZp4Avhr zI2p01R1D<9D^!gszOc{iR4y%E>Isz5BP}}dzqHja^UVTG7$WZpMj>FoQEN7V_BZY>g&jUo(hdpLmXU+u3B3 z!pv{=HNn2tEuFDlJnsre&hX2ghrwb9W5R14t`oc!v<|lAm{JaGCG3$J;wW~CKIs%D zr7=4e2ZUG3kW~EGxk8RnBt}unHHB2Fw7s5qo57%koc}iPq})L5W!W!OS9jipfY{ft zfz3@8RBPs;a|f15ylye7OnSgesO5`b5D;-RT9Lt z2Y}~}B*@LS#&2K~OFYWL=vKjJwq!&K;KgSWz!*Lp$p&qw|6B1kwE-nU8F`3@rbRh# zXk7=+-$s9k)s|hyYGzUtsg&XI&_6w5aiJq!edN0Z@rhq*3^jzlI9NVw7h+-_*C z@b{V;1h-LHKr&j?BL6dNWBVzU^UIn?PKyBS9zp|CejW%|UVga9F|?)E|7{a_Aam+k z;=Rwo>f8Oa2`oc#j}w~@Sx)lTX=Yu%o5vHyM^C=#!`puB+l%v!r)egaY_!(<+4yrY zGx!?d8Z9w*Rwy(f+gr34(Lnar!ZPy!*~srnUJ4~#dG4#r3Ub#NEqyh!{P?$!XBbST zxoEkP=~@K7?SFEWL@F!lr^@y>jqXfxS1ypf6ESRIagUt*>T1kC^T=w3MGu`RH=vZ# zO5A7ySz(qOPE}eVU*6BVK>8%Vh>HFlwLO7u+cQswm^c-VAokFYOql993S)eR*gNU<-Ue-tBL>~8`P1qc407oMh zMIj9U>&;Rye> zOCZE%!qS@)+wU_PE;Lvos~Rls{K__THO3P%N^{FqZJxlNZi=){<=k8@uhOe4eno0{ zV<`;3rc^^uL^B@Ufcei(_n%u8qAuJ9MW{oYjeg-Y|Hbg7>Jg70_?_;0oVRVm6tBQ$ z0nFH=X2;N0!Cb%7ZOTdL8qhb%;R_p13&=J6t=ccJFtDtl=iimJg2AzEcv2$W^ney# zF8TD&hY-nm0KyE_UYH2+8|z}K-*r*X@#ioyO1qD4@DhbLU}T6q(*=fSKa~$esX?bM z%Pk>hYWiJh)J9_IGFUHQTYVQ?=%7|XV0u*UX#An+%MmGjC`q{QkWdwVk3Q+binVTQ zCrVlLav8!X*ZjfW`WAWy-ytEoW6N{;@|d04Z%Na{Yf7tRo+s*6QZ;Mfkin21&QNCOLd;EaG+L#*ApE2g~R0GY5m97WIEe4jOE z3osYyIwDkH-oa<_9f$X}U#$mH29^?v5%%6OxcwE&0Ba~hQ#BRUIJp|?!K1Uwq#EW? z@K1XmaHKd>>Y_$BFjxAO%K$FM^z%n8+D447^k(`v$-Y$V40an@$M$ladiPQ~;~yPZ z@3Ef>sot0OkznEN4qX70or&@5=_G)TLDpdj?u&z}AKzXDw-)_oB$Lr^BDf}SM! zMr~K^<0EV>We*;@due@$GCL@F<_&vgGS^UpUIw2wJmG{wNY77Djy-h}A95y4A(whL z0+R2NKq6rX`O*&7S`2}ky$?K)6OtFw+VF-0>YuQ1-G`={%EuvkCq4c9+XQJr#+c{yA|<;6lAaiO=a)~^8a63VrtKZtu@_Akr5$sr z_}T1JLA1u?ryzTWmM0cSXXL=eK$z=ncG@;Nr{5_v_12#mqG`g*{CPz4Pwxuf zF5WCXVdQ1}NFr_treH`kjWxwa`)o=_nb>n~_KWTGP2aj24A*?DAYIuBA3QG$YGf&S zq_LVLn{7GjNth&pq}#}RghO*7LH&c)zv}47!p;7C9h^j&az^j|ounVFNga&881{sN zeOmA(_|;0d+m^F98N+p=G-S~o;5Y7Ln$vkRP85IcDYgUdQFK#{%wv@Ze@R(;>m#f? zaS(BwMX>Jo>`xYCk}*(bBMuGgy0`L8U2xUE6C{UJ6aA#^HV7cz!l~nb%e3YHvQ=*U zS`lEriM-5Vi8d#Q%IYk^mNRz(^4o5s$}q&z^=pDk>%T^GQ^BZUwSQtE=Jc`(k~78Q zojGCWc{ai(Sc(tBlZ{Z^1HbH;x4ao(g)^l;Fud)W;`GeU~T zi#bUS=RLs_yO2TR!FgAUPoBn9(p%!Kpcedr?bsnOTC1lcGzmX4_puZkVp(Hk}e$URMv6%62jV z0Zo0IBWLs;JN_0NDdceY88H1khXX zo)t^tZo1_^ugDLdrR{zcMeRvLN%6rFOAwKn8@+kuVCDEr-&qZpCt0;>{v|{K%ERgR(mfgR2fMqnFsZLiAL9uuPz_jMuF-E$Qc}>3Weo?7$G6+^oRQ~A?n5EFH?G768^jE4#@xk0E$<^&Cj%7+bKHnLPoKa0! z_pme0MGU)Lzq;m_<>LYKF`VfVvz4{~5|_|S+2!;?MUdUM>);oPs)PH5lP#$Zw8WmN ziVt*BIS+gj=@t78IcRy1dSH^V5V=_^p%D`(ekZgY#XvitpPcD|mxl35J;OVH-i)YN8nyuwh zpIJc|1NTCdK$OFPc3@3Rxp(JaK^1#<;;3QH+X4rJNrp;pQ+nZ?g5mE*J%0$XCuZWD zdz|(&H-X~TFNElf(ou`b?r98y^wb~x!8r)s-vjFv78BJa4f<}J(lRXMo6lSj#*ZE@ zPYkg)=}#y69-%DpIjjApMK%kIaioe0zRO2?S3R$~6rMSo@@y|#Od7Ydu2T}V=MOjG zKU#fV_H+(W89@&c=|oCejt8n1NkX z8G|=G0fGL+7&_Al1k9u!Seh$_`F+9AP`=T|?~>iK9h?YjND zxi+1J)a&YhxV3PRDn7E4rEA~7mj1rBC4CMZEpIYk?0~;ihdC-LPi#zIgOp@DX+7?Ix|ukM)FMdvrAmv=RG2qR7=FxbgSwwusEvKk_#Y-=V~YyWBe!$O zI{M>v8)ab@XX-tZ*M_6P)#+W5gzo9x7$FhdAM$vJmvaoumrE2}CGKsdxeG%aS7P+9 zx4mg+nSwtZDNLz%;b6nwI7$mI;WEX)KWV_Cb07nuHi zb6_E-i%a(zYy&$7eB3}dOqX@A%9wY~cav4sP~@IQ+zCts?+1D=D~eQCXgisU3@Rqr z(3+-CT8;;m1{>Y#;FEHalXT63-11xOo^@aU49dZ8p~@#%30#tPc$;g|4ZjHb!X+oo zs*U}#*APD1V>sA9!I9@V9HOCZs>Wjd6L*x4l`ltE_Xc}tXz`qarBF7fSZe6%*Llt^ z+ZL%|(lx)CtXZXq6@65*9uI7=(kL0}L_yduM!1Q=Jdj^IHeLg+_~+KmoxTkz6U@8R z;y>M#T`XJ$a9y7n4)$czS<=MIaD;MkpZr08 z#%=|ZRqCUTEa@f{=c}nV8{=xI|Mrc9G7v3Zul$rn`W#01e0P$U#PZbb?s4h=$(+kz z`u~Ivv9ta+_>eLfWbSGP1OsRt%`Mb{+DvTBoUF|3taOL~7IkYEJ0O5o6rc)p1OuIc z4lX7x)*uG}$O2#j5C_>iTHAdLv~~a}OGwDm0a!#`U93PKn#Ao)T+OXP05vl!AP`K4 z$RZ8~nz;O@=VOBZ-TY7_VdCc>fMt~*|?ED`eIGEWu z*|_-Fxw)9wnYsVB*Z4q)qO;$r0tGy%B%ui@Ox9}4IY zg@ymKydYB>#QzS-QulNO0$7wxZPZ-s5m^)gY@GiATY;Tj0DS)+C=0;G&c^%yio`0? zvR8v}qrYVv)sn6pvf4fxaEy*!q(G{^scmlZBa_OLV>ZbU*@Xu`->%I?QNW>k&3u+* zux{|W5j>8;68i)NMhJT1ge3zgg3-xzOkjg7@_CD>p3tn>!&!$gfQ;;#? zuUW&tilxKFi&K&>)0a)`7`wX%q)srv@X{CC1i;Px(HLnAjEEH`-E6TbcNNk^*_y;E zu~Ef&p2J%G!kK`XBp=oUy=*umj5uLPDtz!)91*syEufc{nzO#g0`Uh2Ri5e37bkTs z2+~{+iYOlulwo-ZjsxGU!dFRj>dzrMs50m;B?I2g7|;d~PkeS86Wt6^srDAOl~oTT zqCqbq8Py@a*!^QKU!2Oe+B=A61_UPo9G(80=0n6Bo-pCq;m_09((*WZcDfd4+WNrR zNxa&u216FZi0Ru3?8(j=Fvi^w)<94;-XKlXtYjU|e z$8HfolJbCAXL}4=i|*xY6j=oG^Cx`CzwWC~mGKrq9I>!IAR}?&pS9E$!EP4P%y9fM+TWqN$BXZ) z=L{wUSmYift!bJvIp|FH7Z)DX!2DMN`8wZmx-t8CIq}V}b!iaevU0Ge;|f?HaJO@E z;3@w-t2)hzyEmVv!R3~QHLs>YOp67F4#eTzGi5GFtA2xq{qTlPZEkYK)IOx5U}Jo^ zf320T8pkqOaA`|cR`J?&`I}w)y{pL@hBc}HhDIdyzABAAI8qpS? z;U*Q1N4VLq+#c^=+sJY+gzw#a%#J^>t7-;d_4FZ-YS@RG!WoGj-1mFl$E*FhIU}Pc zUOugvTf$!wu3@Tw_r+O8^Y;hhtJMrXFlOtbJ zX=hB0^r$*;4rO?=$f|gr*QS1woda@p&-tuvLJR+{&`gKXELMq{4zQV}fN>b6QLV_D zlQns+G+nzO6yDq%kFCjxyl2~A@ywQ zxV0ROki<0ZJ{KKXY;-hrAR~PNi!Yp2pbK>kSXcZz`OgpgR2Fwq6$xqD6+U|rwYmr| zQ*tKTj$02w6N!?vj)n>L+Qu)n!EBnSLFv=09DU*LKO~lLAc64=Sa7c- zxuUdgGUAl&;_KAm_NMy>>UlbK(VkZr*`8^D^H5z3L{9=N>=tHmyG(5*M$R(KF` zlZyx~ydoEI8dK&5@;ekOlAP)P&mP3~-}a#YikI4|Knp|`83%Kq2SAS%z|L-f$f9QL z^%03bh|;tGdTf9X+O&^%svwXHfQ|2Cyy}0%EkGZk`hPVf0D6MrT&&!j?3`?3qGB9u z98wZIqMYKAtfErf5)$lOY&>GZfd9M5$1L(d2TK<#01xMX#c06)176n5*!W?h@9#K# zA96JE3-Y%NtcaF?v`nW2!H5ayKB8}!)F-?4r5W02#y)p7^-G pOpW!=20wi|yn{peKUd4y#RTl)0sdGYPWBIEFCrC{q>>ck{{TP8Q+NOX literal 0 HcmV?d00001 diff --git a/scheer-proposal/scheer-proposal.tex b/scheer-proposal/scheer-proposal.tex index 2ba6df2..ee4a0fe 100644 --- a/scheer-proposal/scheer-proposal.tex +++ b/scheer-proposal/scheer-proposal.tex @@ -1,502 +1,86 @@ -%File: formatting-instruction.tex \documentclass[letterpaper]{article} + \usepackage{aaai} \usepackage{times} \usepackage{helvet} \usepackage{courier} +\usepackage{tabularx} + \frenchspacing \setlength{\pdfpagewidth}{8.5in} \setlength{\pdfpageheight}{11in} \pdfinfo{ -/Title (Insert Your Title Here) -/Author (Put All Your Authors Here, Separated by Commas)} +/Title (A Representation of a Compiler in PDDL) +/Author (Claudio Scheer)} \setcounter{secnumdepth}{0} - \begin{document} -% The file aaai.sty is the style file for AAAI Press -% proceedings, working notes, and technical reports. -% -\title{Formatting Instructions \\for Authors Using \LaTeX{}} -\author{AAAI Press\\ -Association for the Advancement of Artificial Intelligence\\ -2275 East Bayshore Road, Suite 160\\ -Palo Alto, California 94303\\ -} -\maketitle -\begin{abstract} -\begin{quote} -AAAI creates proceedings, working notes, and technical reports directly from electronic source furnished by the authors. To ensure that all papers in the publication have a uniform appearance, authors must adhere to the following instructions. -\end{quote} -\end{abstract} - -\noindent Congratulations on having a paper selected for inclusion in an AAAI Press proceedings or technical report! This document details the requirements necessary to get your accepted paper published using \LaTeX{}. If you are using Microsoft Word, instructions are provided in a different document. If you want to use some other formatting software, you must obtain permission from AAAI Press first. - -The instructions herein are provided as a general guide for experienced \LaTeX{} users who would like to use that software to format their paper for an AAAI Press publication or report. If you are not an experienced \LaTeX{} user, do not use it to format your paper. AAAI cannot provide you with support and the accompanying style files are \textbf{not} guaranteed to work. If the results you obtain are not in accordance with the specifications you received, you must correct your source file to achieve the correct result. - -These instructions are generic. Consequently, they do not include specific dates, page charges, and so forth. Please consult your specific written conference instructions for details regarding your submission. Please review the entire document for specific instructions that might apply to your particular situation. All authors must comply with the following: - -\begin{itemize} -\item You must use the latest AAAI Press \LaTeX{} macro. -\item Download the author kit. -\item Complete, sign, and return by the deadline the AAAI copyright form (proceedings authors) or distribution license (technical report authors). -\item Read and format your paper source and PDF according to the formatting instructions for authors. -\item Submit your electronic files and abstract using our electronic submission form \textbf{on time.} -\item Submit your copyright form, and any required page or formatting charges to AAAI Press so that they are received by the deadline. -\item Check every page of your paper before submitting it. -\end{itemize} - -\section{Copyright} -All papers submitted for publication by AAAI Press must be accompanied by a valid signed copyright form or, in the case of technical reports, by a valid signed permission to distribute form. There are no exceptions to this requirement. You must send us the original version of this form. However, to meet the deadline, you may fax (1-650-321-4457) or scan and e-mail the form (pubforms14@aaai.org) to AAAI by the submission deadline, and then mail the original via postal mail to the AAAI office. \textbf{If you fail to send in a signed copyright or permission form, your paper will not be published.} You will find PDF versions of the AAAI copyright and permission to distribute forms in the author kit. - -\section{Formatting Requirements in Brief} -We need source and PDF files that can be used in a variety of ways and can be output on a variety of devices. AAAI imposes some requirements on your source and PDF files that must be followed. Most of these requirements are based on our efforts to standardize conference manuscript properties and layout. These requirements are as follows, and all papers submitted to AAAI for publication must comply: - -\begin{itemize} -\item Your .tex file must compile in PDF\LaTeX{} --- \textbf{ no .ps or .eps figure files.} -\item All fonts must be embedded in the PDF file --- \textbf{ this includes your figures.} -\item Modifications to the style sheet (or your document) in an effort to avoid extra page charges are NOT allowed. -\item No type 3 fonts may be used (even in illustrations). -\item Your title must follow US capitalization rules. -\item \LaTeX{} documents must use the Times or Nimbus font package (do not use Computer Modern for the text of your paper). -\item No \LaTeX{} 209 documents may be used or submitted. -\item Fonts that require non-English language support (CID and Identity-H) must be converted to outlines or removed from the document (even if they are in a graphics file embedded in the document). -\item Two-column format in AAAI style is required for all papers. -\item The paper size for final submission must be US letter. No exceptions. -\item The source file must exactly match the PDF. -\item The document margins must be as specified in the formatting instructions. -\item The number of pages and the file size must be as specified for your event. -\item No document may be password protected. -\item Neither the PDFs nor the source may contain any embedded links or bookmarks. -\item Your source and PDF must not have any page numbers, footers, or headers. -\item Your PDF must be compatible with Acrobat 5 or higher. -\item Your \LaTeX{} source file (excluding references) must consist of a \textbf{single} file (use of the ``input" command is not allowed. -\item Your graphics must be sized appropriately outside of \LaTeX{} (do not use the ``clip" command) . -\end{itemize} - -If you do not follow the above requirements, it is likely that we will be unable to publish your paper. - -\section{What Files to Submit} -You must submit the following items to ensure that your paper is published: -\begin{itemize} -\item A fully-compliant PDF file. -\item Your \LaTeX{} source file submitted as a \textbf{single} .tex file (do not use the ``input" command to include sections of your paper --- every section must be in the single source file). The only exception is the bibliography, which you may include separately. Your source must compile on our system, which includes the standard \LaTeX{} support files. -\item All your graphics files. -\item The \LaTeX{}-generated files (e.g. .aux and .bib file, etc.) for your compiled source. -\item All the nonstandard style files (ones not commonly found in standard \LaTeX{} installations) used in your document (including, for example, old algorithm style files). If in doubt, include it. -\end{itemize} - -Your \LaTeX{} source will be reviewed and recompiled on our system (if it does not compile, you may incur late fees). \textbf{Do not submit your source in multiple text files.} Your single \LaTeX{} source file must include all your text, your bibliography (formatted using aaai.bst), and any custom macros. Accompanying this source file, you must also supply any nonstandard (or older) referenced style files and all your referenced graphics files. - -Your files should work without any supporting files (other than the program itself) on any computer with a standard \LaTeX{} distribution. Place your PDF and source files in a single tar, zipped, gzipped, stuffed, or compressed archive. Name your source file with your last (family) name. - -\textbf{Do not send files that are not actually used in the paper.} We don't want you to send us any files not needed for compiling your paper, including, for example, this instructions file, unused graphics files, and so forth. A shell script (created by an AAAI member --- it might not work without modification on your system) that might help you create the \LaTeX{} source package is included in the Author Kit. - -\section{Using \LaTeX{} to Format Your Paper} - -The latest version of the AAAI style file is available on AAAI's website. Download this file and place it in a file named ``aaai.sty" in the \TeX\ search path. Placing it in the same directory as the paper should also work. You must download the latest version of the complete author kit so that you will have the latest instruction set. - -\subsection{Document Preamble} - -In the \LaTeX{} source for your paper, you \textbf{must} place the following lines as shown in the example in this subsection. This command set-up is for three authors. Add or subtract author and address lines as necessary, and uncomment the portions that apply to you. In most instances, this is all you need to do to format your paper in the Times font. The helvet package will cause Helvetica to be used for sans serif, and the courier package will cause Courier to be used for the typewriter font. These files are part of the PSNFSS2e package, which is freely available from many Internet sites (and is often part of a standard installation). - -Leave the setcounter for section number depth commented out and set at 0 unless you want to add section numbers to your paper. If you do add section numbers, you must uncomment this line and change the number to 1 (for section numbers), or 2 (for section and subsection numbers). The style file will not work properly with numbering of subsubsections, so do not use a number higher than 2. - - -\begin{quote} -\begin{small} -\textbackslash documentclass[letterpaper]{article}\\ -\% \textit{Required Packages}\\ -\textbackslash usepackage\{aaai\}\\ -\textbackslash usepackage\{times\}\\ -\textbackslash usepackage\{helvet\}\\ -\textbackslash usepackage\{courier\}\\ -\textbackslash setlength\{\textbackslash pdfpagewidth\}\{8.5in\} -\textbackslash setlength\{\textbackslash pdfpageheight\}\{11in\}\\ -\%\%\%\%\%\%\%\%\%\%\\ -\% \textit{PDFINFO for PDF\LaTeX{}}\\ -\% Uncomment and complete the following for metadata (your paper must compile with PDF\LaTeX{})\\ -\textbackslash pdfinfo\{\\ -/Title (Input Your Paper Title Here)\\ -/Author (John Doe, Jane Doe)\\ -/Keywords (Input your paper's keywords in this optional area)\\ -\}\\ -\%\%\%\%\%\%\%\%\%\%\\ -\% \textit{Section Numbers}\\ -\% Uncomment if you want to use section numbers\\ -\% and change the 0 to a 1 or 2\\ -\% \textbackslash setcounter\{secnumdepth\}\{0\}\\ -\%\%\%\%\%\%\%\%\%\%\\ -\% \textit{Title, Author, and Address Information}\\ -\textbackslash title\{Title\}\\ -\textbackslash author\{Author 1 \textbackslash and Author 2\textbackslash\textbackslash \\ -Address line\textbackslash\textbackslash\\ Address line\textbackslash\textbackslash \\ -\textbackslash And\\ -Author 3\textbackslash\textbackslash\\ Address line\textbackslash\textbackslash\\ Address line\}\\ -\%\%\%\%\%\%\%\%\%\%\\ -\% \textit{Body of Paper Begins}\\ -\textbackslash begin\{document\}\\ -\textbackslash maketitle\\ -...\\ -\%\%\%\%\%\%\%\%\%\%\\ -\% \textit{References and End of Paper}\\ -\textbackslash bibliography\{Bibliography-File\}\\ -\textbackslash bibliographystyle\{aaai\}\\ -\textbackslash end\{document\} -\end{small} -\end{quote} - -\subsection{Inserting Document Metadata with \LaTeX{}} -PDF files contain document summary information that enables us to create an Acrobat index (pdx) file, and also allows search engines to locate and present your paper more accurately. \textbf{Document Metadata for Author and Title are REQUIRED.} - -If your paper includes illustrations that are not compatible with PDF\TeX{} (such as .eps or .ps documents), you will need to convert them. The epstopdf package will usually work for eps files. You will need to convert your ps files to PDF however. - -\textit{Important:} Do not include \textit{any} \LaTeX{} code or nonascii characters (including accented characters) in the metadata. The data in the metadata must be completely plain ascii. It may not include slashes, accents, linebreaks, unicode, or any \LaTeX{} commands. Type the title exactly as it appears on the paper (minus all formatting). Input the author names in the order in which they appear on the paper (minus all accents), separating each author by a comma. You may also include keywords in the Keywords field. - - - -\subsection{Preparing Your Paper} - -After the preamble above, you should prepare your paper as follows: - -\begin{quote} -\begin{small} -\textbackslash begin\{document\}\\ -\textbackslash maketitle\\ -...\\ -\textbackslash bibliography\{Bibliography-File\}\\ -\textbackslash bibliographystyle\{aaai\}\\ -\textbackslash end\{document\}\\ -\end{small} -\end{quote} -\subsection{Incompatible Packages} -The following packages are incompatible with aaai.sty and/or aaai.bst and must not be used (this list is not exhaustive --- there are others as well): -\begin{itemize} -\item hyperref -\item natbib -\item geometry -\item titlesec -\item layout -\item caption -\item titlesec -\item T1 fontenc package (install the CM super fonts package instead) -\end{itemize} - -\subsection{Illegal Commands} -The following commands may not be used in your paper: -\begin{itemize} -\item \textbackslash input -\item \textbackslash vspace (when used before or after a section or subsection) -\item \textbackslash addtolength -\item \textbackslash columnsep -\item \textbackslash top margin (or text height or addsidemargin or even side margin) -\end{itemize} - -\subsection{Paper Size, Margins, and Column Width} -Papers must be formatted to print in two-column format on 8.5 x 11 inch US letter-sized paper. The margins must be exactly as follows: -\begin{itemize} -\item Top margin: .75 inches -\item Left margin: .75 inches -\item Right margin: .75 inches -\item Bottom margin: 1.25 inches -\end{itemize} - - -The default paper size in most installations of \LaTeX{} is A4. However, because we require that your electronic paper be formatted in US letter size, you will need to alter the default for this paper to US letter size. Assuming you are using the 2e version of \LaTeX{}, you can do this by including the [letterpaper] option at the beginning of your file: -\textbackslash documentclass[letterpaper]{article}. - -This command is usually sufficient to change the format. Sometimes, however, it may not work. Use PDF\LaTeX{} and include -\textbackslash setlength\{\textbackslash pdfpagewidth\}\{8.5in\} -\textbackslash setlength\{\textbackslash pdfpageheight\}\{11in\} -in your preamble. - -\textbf{Do not use the Geometry package to alter the page size.} Use of this style file alters aaai.sty and will result in your paper being rejected. - - -\subsubsection{Column Width and Margins.} -To ensure maximum readability, your paper must include two columns. Each column should be 3.3 inches wide (slightly more than 3.25 inches), with a .375 inch (.952 cm) gutter of white space between the two columns. The aaai.sty file will automatically create these columns for you. - -\subsection{Overlength Papers} -If your paper is too long, turn on \textbackslash frenchspacing, which will reduce the space after periods. Next, shrink the size of your graphics. Use \textbackslash centering instead of \textbackslash begin\{center\} in your figure environment. If these two methods don't work, you may minimally use the following. For floats (tables and figures), you may minimally reduce \textbackslash floatsep, \textbackslash textfloatsep, \textbackslash abovecaptionskip, and \textbackslash belowcaptionskip. For mathematical environments, you may minimally reduce \textbackslash abovedisplayskip, \textbackslash belowdisplayskip, and \textbackslash arraycolsep. You may also alter the size of your bibliography by inserting \textbackslash fontsize\{9.5pt\}\{10.5pt\} \textbackslash selectfont -right before the bibliography. - -Commands that alter page layout are forbidden. These include \textbackslash columnsep, \textbackslash topmargin, \textbackslash topskip, \textbackslash textheight, \textbackslash textwidth, \textbackslash oddsidemargin, and \textbackslash evensizemargin (this list is not exhaustive). If you alter page layout, you will be required to pay the page fee \textit{plus} a reformatting fee. Other commands that are questionable and may cause your paper to be rejected include \textbackslash parindent, and \textbackslash parskip. Commands that alter the space between sections are also questionable. The title sec package is not allowed. Regardless of the above, if your paper is obviously ``squeezed" it is not going to to be accepted. Before using every trick you know to make your paper a certain length, try reducing the size of your graphics or cutting text instead or (if allowed) paying the extra page charge. It will be cheaper in the long run. - -\subsection{Figures} -Your paper must compile in PDF\LaTeX{}. Consequently, all your figures must be .jpg, .png, or .pdf. You may not use the .gif (the resolution is too low), .ps, or .eps file format for your figures. - -When you include your figures, you must crop them \textbf{outside} of \LaTeX{}. The command \textbackslash includegraphics*[clip=true, viewport 0 0 10 10]{...} might result in a PDF that looks great, but the image is \textbf{not really cropped.} The full image can reappear when page numbers are applied or color space is standardized. - -\subsection{Type Font and Size} -Your paper must be formatted in Times Roman or Nimbus. We will not accept papers formatted using Computer Modern or Palatino or some other font as the text or heading typeface. Sans serif, when used, should be Courier. Use Symbol or Lucida or Computer Modern for \textit{mathematics only. } - -Do not use type 3 fonts for any portion of your paper, including graphics. Type 3 bitmapped fonts are designed for fixed resolution printers. Most print at 300 dpi even if the printer resolution is 1200 dpi or higher. They also often cause high resolution imagesetter devices and our PDF indexing software to crash. Consequently, AAAI will not accept electronic files containing obsolete type 3 fonts. Files containing those fonts (even in graphics) will be rejected. - -Fortunately, there are effective workarounds that will prevent your file from embedding type 3 bitmapped fonts. The easiest workaround is to use the required times, helvet, and courier packages with \LaTeX{}2e. (Note that papers formatted in this way will still use Computer Modern for the mathematics. To make the math look good, you'll either have to use Symbol or Lucida, or you will need to install type 1 Computer Modern fonts --- for more on these fonts, see the section ``Obtaining Type 1 Computer Modern.") - -If you are unsure if your paper contains type 3 fonts, view the PDF in Acrobat Reader. The Properties/Fonts window will display the font name, font type, and encoding properties of all the fonts in the document. If you are unsure if your graphics contain type 3 fonts (and they are PostScript or encapsulated PostScript documents), create PDF versions of them, and consult the properties window in Acrobat Reader. - -The default size for your type should be ten-point with twelve-point leading (line spacing). Start all pages (except the first) directly under the top margin. (See the next section for instructions on formatting the title page.) Indent ten points when beginning a new paragraph, unless the paragraph begins directly below a heading or subheading. - -\subsubsection{Obtaining Type 1 Computer Modern for \LaTeX{}.} - -If you use Computer Modern for the mathematics in your paper (you cannot use it for the text) you may need to download type 1 Computer fonts. They are available without charge from the American Mathematical Society: -http://www.ams.org/tex/type1-fonts.html. - -\subsection{Title and Authors} -Your title must appear in mixed case (nouns, pronouns, and verbs are capitalized) near the top of the first page, centered over both columns in sixteen-point bold type (twenty-four point leading). This style is called ``mixed case." Author's names should appear below the title of the paper, centered in twelve-point type (with fifteen point leading), along with affiliation(s) and complete address(es) (including electronic mail address if available) in nine-point roman type (the twelve point leading). (If the title is long, or you have many authors, you may reduce the specified point sizes by up to two points.) You should begin the two-column format when you come to the abstract. -\subsubsection{Formatting Author Information} -Author information can be set in a number of different styles, depending on the number of authors and the number of affiliations you need to display. For several authors from the same institution, use \textbackslash and: -\begin{quote} -\begin{small} -\textbackslash author\{Author 1 \textbackslash and ... \textbackslash and Author \textit{n}\textbackslash \textbackslash \\ -Address line \textbackslash \textbackslash ~... \textbackslash \textbackslash ~Address line\} -\end{small} -\end{quote} - -\noindent If the names do not fit well on one line use: - -\begin{quote} -\begin{small} -\textbackslash author\{Author 1\}\textbackslash \textbackslash \\ \{\textbackslash bf Author 2\}\textbackslash \textbackslash ~ -... \textbackslash \textbackslash ~\{\textbackslash bf Author \textit{n}\}\textbackslash \textbackslash \\ -Address line \textbackslash \textbackslash ~ ... \textbackslash \textbackslash ~ Address line\} -\end{small} -\end{quote} - -\noindent For authors from different institutions, use \textbackslash And: - -\begin{quote} -\begin{small} -\textbackslash author\{Author 1\textbackslash \textbackslash ~ Address line \textbackslash \textbackslash ~... \textbackslash \textbackslash ~ Address line -\textbackslash And ... -\textbackslash And -Author \textit{n}\textbackslash \textbackslash \\ Address line\textbackslash \textbackslash ~ -... \textbackslash \textbackslash ~ -Address line\} -\end{small} -\end{quote} - -\noindent To start a separate ``row" of authors, use \textbackslash AND: -\begin{quote} -\begin{small} -\textbackslash author\{Author 1\textbackslash\textbackslash ~ Address line \textbackslash\textbackslash ~ -... \textbackslash \textbackslash ~ Address line\textbackslash\textbackslash \\ -\textbackslash AND\\ -Author 2 \textbackslash\textbackslash ~ Address line \textbackslash\textbackslash ~ -... \textbackslash \textbackslash ~ Address line\textbackslash\textbackslash \\ -\textbackslash And\\ -Author 3 \textbackslash\textbackslash ~ Address line \textbackslash\textbackslash ~ -... \textbackslash \textbackslash ~ Address line\textbackslash\textbackslash \\\} -\end{small} -\end{quote} - -\noindent If the title and author information does not fit in the area allocated, place -\textbackslash setlength\textbackslash titlebox\{\textit{height}\} -after the \textbackslash documentclass line where \{\textit{height}\} is something like 2.5in. - -\subsection{\LaTeX{} Copyright Notice} -The copyright notice automatically appears if you use aaai.sty. If you are creating a technical report, it is not necessary to include this notice. You may disable the copyright line using the \verb+\+nocopyrightcommand. To change the entire text of the copyright slug, use: -\textbackslash copyrighttext \{\emph{text}\}. -Either of these must appear before \textbackslash maketitle. Please be advised, however, that \textit{if you disable or change the copyright line and transfer of copyright is required, your paper will not be published.} - -\subsection{Credits} -Any credits to a sponsoring agency should appear in the acknowledgments section, unless the agency requires different placement. If it is necessary to include this information on the front page, use -\textbackslash thanks in either the \textbackslash author or \textbackslash title commands. -For example: -\begin{quote} -\begin{small} -\textbackslash title\{Very Important Results in AI\textbackslash thanks\{This work is - supported by everybody.\}\} -\end{small} -\end{quote} -Multiple \textbackslash thanks commands can be given. Each will result in a separate footnote indication in the author or title with the corresponding text at the botton of the first column of the document. Note that the \textbackslash thanks command is fragile. You will need to use \textbackslash protect. - -Please do not include \textbackslash pubnote commands in your document. - -\subsection{Abstract} -The abstract must be placed at the beginning of the first column, indented ten points from the left and right margins. The title ÒAbstractÓ should appear in ten-point bold type, centered above the body of the abstract. The abstract should be set in nine-point type with ten-point leading. This concise, one-paragraph summary should describe the general thesis and conclusion of your paper. A reader should be able to learn the purpose of the paper and the reason for its importance from the abstract. The abstract should be no more than two hundred words in length. (Authors who are submitting short one- or two-page extended extracts should provide a short abstract of only a sentence or so.) \textbf{Do not include references in your abstract!} - -\subsection{Page Numbers} - -Do not \textbf{ever} print any page numbers on your paper. - -\subsection{Text } -The main body of the paper must be formatted in ten-point with twelve-point leading (line spacing). - -\subsection{Citations} -Citations within the text should include the author's last name and year, for example (Newell 1980). Append lower-case letters to the year in cases of ambiguity. Multiple authors should be treated as follows: (Feigenbaum and Engelmore 1988) or (Ford, Hayes, and Glymour 1992). In the case of four or more authors, list only the first author, followed by et al. (Ford et al. 1997). - -\subsection{Extracts} -Long quotations and extracts should be indented ten points from the left and right margins. - -\begin{quote} -This is an example of an extract or quotation. Note the indent on both sides. Quotation marks are not necessary if you offset the text in a block like this, and properly identify and cite the quotation in the text. - -\end{quote} - -\subsection{Footnotes} -Avoid footnotes as much as possible; they interrupt the reading of the text. When essential, they should be consecutively numbered throughout with superscript Arabic numbers. Footnotes should appear at the bottom of the page, separated from the text by a blank line space and a thin, half-point rule. - -\subsection{Headings and Sections} -When necessary, headings should be used to separate major sections of your paper. Remember, you are writing a short paper, not a lengthy book! An overabundance of headings will tend to make your paper look more like an outline than a paper. - -First-level heads should be twelve-point Times Roman bold type, mixed case (initial capitals followed by lower case on all words except articles, conjunctions, and prepositions, which should appear entirely in lower case), with fifteen-point leading, centered, with one blank line preceding them and three additional points of leading following them. Second-level headings should be eleven-point Times Roman bold type, mixed case, with thirteen-point leading, flush left, with one blank line preceding them and three additional points of leading following them. Do not skip a line between paragraphs. Third-level headings should be run in with the text, ten-point Times Roman bold type, mixed case, with twelve-point leading, flush left, with six points of additional space preceding them and no additional points of leading following them. - -\subsubsection{Section Numbers} -The use of section numbers in AAAI Press papers is optional. To use section numbers in \LaTeX{}, uncomment the setcounter line in your document preamble and change the 0 to a 1 or 2. Section numbers should not be used in short poster papers. - -\subsubsection{Section Headings.} -Sections should be arranged and headed as follows: - -\subsubsection{Acknowledgments.} -The acknowledgments section, if included, appears after the main body of text and is headed ``Acknowledgments." This section includes acknowledgments of help from associates and colleagues, credits to sponsoring agencies, financial support, and permission to publish. Please acknowledge other contributors, grant support, and so forth, in this section. Do not put acknowledgments in a footnote on the first page. If your grant agency requires acknowledgment of the grant on page 1, limit the footnote to the required statement, and put the remaining acknowledgments at the back. Please try to limit acknowledgments to no more than three sentences. - -\subsubsection{Appendices.} -Any appendices follow the acknowledgments, if included, or after the main body of text if no acknowledgments appear. - -\subsubsection{References} -The references section should be labeled ``References" and should appear at the very end of the paper (don't end the paper with references, and then put a figure by itself on the last page). A sample list of references is given later on in these instructions. Please use a consistent format for references. Poorly prepared or sloppy references reflect badly on the quality of your paper and your research. Please prepare complete and accurate citations. - -\subsection{Illustrations and Figures} -Figures, drawings, tables, and photographs should be placed throughout the paper near the place where they are first discussed. Do not group them together at the end of the paper. If placed at the top or bottom of the paper, illustrations may run across both columns. Figures must not invade the top, bottom, or side margin areas. Figures must be inserted using the \textbackslash usepackage\{graphicx\}. Number figures sequentially, for example, figure 1, and so on. - -The illustration number and caption should appear under the illustration. Labels, and other text in illustrations must be at least nine-point type. - -\subsubsection{Low-Resolution Bitmaps.} -You may not use low-resolution (such as 72 dpi) screen-dumps and GIF files---these files contain so few pixels that they are always blurry, and illegible when printed. If they are color, they will become an indecipherable mess when converted to black and white. This is always the case with gif files, which should never be used. The resolution of screen dumps can be increased by reducing the print size of the original file while retaining the same number of pixels. You can also enlarge files by manipulating them in software such as PhotoShop. Your figures should be a minimum of 266 dpi when incorporated into your document. - -\subsubsection{\LaTeX{} Overflow.} -\LaTeX{} users please beware: \LaTeX{} will sometimes put portions of the figure or table or an equation in the margin. If this happens, you need to scale the figure or table down, or reformat the equation. Check your log file! You must fix any overflow into the margin (that means no overfull boxes in \LaTeX{}). If you don't, the overflow text will simply be eliminated. \textbf{Nothing is permitted to intrude into the margins.} - -\subsubsection{Using Color.} -Your paper will be printed in black and white and grayscale. Consequently, because conversion to grayscale can cause undesirable effects (red changes to black, yellow can disappear, and so forth), we strongly suggest you avoid placing color figures in your document. Of course, any reference to color will be indecipherable to your reader. - -\subsubsection{Drawings.} -We suggest you use computer drawing software (such as Adobe Illustrator or, (if unavoidable), the drawing tools in Microsoft Word) to create your illustrations. Do not use Microsoft Publisher. These illustrations will look best if all line widths are uniform (half- to two-point in size), and you do not create labels over shaded areas. Shading should be 133 lines per inch if possible. Use Times Roman or Helvetica for all figure call-outs. \textbf{Do not use hairline width lines} --- be sure that the stroke width of all lines is at least .5 pt. Zero point lines will print on a laser printer, but will completely disappear on the high-resolution devices used by our printers. - -\subsubsection{Photographs and Images.} -Photographs and other images should be in grayscale (color photographs will not reproduce well; for example, red tones will reproduce as black, yellow may turn to white, and so forth) and set to a minimum of 266 dpi. Do not prescreen images. - -\subsubsection{Resizing Graphics.} -Resize your graphics \textbf{before} you include them with LaTeX. You may \textbf{not} use trim or clip options as part of your \textbackslash includgraphics command. Resize the media box of your PDF using a graphics program instead. - -\subsubsection{Fonts in Your Illustrations} -You must embed all fonts in your graphics before including them in your LaTeX document. - -\subsection{References} -The aaai.sty file includes a set of definitions for use in formatting references with BibTeX. These definitions make the bibliography style fairly close to the one specified below. To use these definitions, you also need the BibTeX style file ``aaai.bst," available in the author kit on the AAAI web site. Then, at the end of your paper but before \textbackslash end{document}, you need to put the following lines: - -\begin{quote} -\begin{small} -\textbackslash bibliographystyle\{aaai\} -\textbackslash bibliography\{bibfile1,bibfile2,...\} -\end{small} -\end{quote} - -The list of files in the \textbackslash bibliography command should be the names of your BibTeX source files (that is, the .bib files referenced in your paper). - -The following commands are available for your use in citing references: -\begin{quote} -\begin{small} -\textbackslash cite: Cites the given reference(s) with a full citation. This appears as ``(Author Year)'' for one reference, or ``(Author Year; Author Year)'' for multiple references.\\ -\textbackslash shortcite: Cites the given reference(s) with just the year. This appears as ``(Year)'' for one reference, or ``(Year; Year)'' for multiple references.\\ -\textbackslash citeauthor: Cites the given reference(s) with just the author name(s) and no parentheses.\\ -\textbackslash citeyear: Cites the given reference(s) with just the date(s) and no parentheses. -\end{small} -\end{quote} - -\textbf{Warning:} The aaai.sty file is incompatible with the hyperref and natbib packages. If you use either, your references will be garbled. - -Formatted bibliographies should look like the following examples. - -\smallskip \noindent \textit{Book with Multiple Authors}\\ -Engelmore, R., and Morgan, A. eds. 1986. \textit{Blackboard Systems.} Reading, Mass.: Addison-Wesley. - -\smallskip \noindent \textit{Journal Article}\\ -Robinson, A. L. 1980a. New Ways to Make Microcircuits Smaller. \textit{Science} 208: 1019--1026. - -\smallskip \noindent \textit{Magazine Article}\\ -Hasling, D. W.; Clancey, W. J.; and Rennels, G. R. 1983. Strategic Explanations in Consultation. \textit{The International Journal of Man-Machine Studies} 20(1): 3--19. - -\smallskip \noindent \textit{Proceedings Paper Published by a Society}\\ -Clancey, W. J. 1983b. Communication, Simulation, and Intelligent Agents: Implications of Personal Intelligent Machines for Medical Education. In Proceedings of the Eighth International Joint Conference on Artificial Intelligence, 556--560. Menlo Park, Calif.: International Joint Conferences on Artificial Intelligence, Inc. - -\smallskip \noindent \textit{Proceedings Paper Published by a Press or Publisher}\\ -Clancey, W. J. 1984. Classification Problem Solving. In \textit{Proceedings of the Fourth National Conference on Artificial Intelligence,} 49--54. Menlo Park, Calif.: AAAI Press. - -\smallskip \noindent \textit{University Technical Report}\\ -Rice, J. 1986. Poligon: A System for Parallel Problem Solving, Technical Report, KSL-86-19, Dept. of Computer Science, Stanford Univ. - -\smallskip \noindent \textit{Dissertation or Thesis}\\ -Clancey, W. J. 1979b. Transfer of Rule-Based Expertise through a Tutorial Dialogue. Ph.D. diss., Dept. of Computer Science, Stanford Univ., Stanford, Calif. - -\smallskip \noindent \textit{Forthcoming Publication}\\ -Clancey, W. J. 1986a. The Engineering of Qualitative Models. Forthcoming. +\begin{document} +\title{A Representation of a Compiler in PDDL} +\author{Claudio Scheer\\ + Master's Degree in Computer Science\\ + Pontifical Catholic University of Rio Grande do Sul - PUCRS\\ + Porto Alegre - RS, Brazil\\ +} +\maketitle +\begin{abstract} + \begin{quote} + Testing whether a program can be run in parallel is not an easy task. This process involves tasks that demand a lot of time and, consequently, finantial resources. As an approach to this problem, this paper proposes a formalization of a compiler with PDDL. With this formalization, it will be possible to reduce the identification of a parallel code to a conventional search problem. + \end{quote} +\end{abstract} -\section{Producing Reliable PDF\\Documents with \LaTeX{}} -Generally speaking, PDF files are platform independent and accessible to everyone. When creating a paper for a proceedings or publication in which many PDF documents must be merged and then printed on high-resolution PostScript RIPs, several requirements must be met that are not normally of concern. Thus to ensure that your paper will look like it does when printed on your own machine, you must take several precautions: -\begin{itemize} -\item Use type 1 fonts (not type 3 fonts) -\item Use only standard Times, Nimbus, and CMR font packages (not fonts like F3 or fonts with tildes in the names or fonts---other than Computer Modern---that are created for specific point sizes, like Times\~{}19) or fonts with strange combinations of numbers and letters -\item Embed all fonts when producing the PDF -\item Do not use the [T1]{fontenc} package (install the CM super fonts package instead) -\end{itemize} +\noindent There are still many programs that do not exploit the parallel capacity of today's processors. The cost to rewrite this program is high. Among the steps involved in the process of migrating a program to a parallel approach, the most expensive is to identify the regions of the program than can be executed in parallel. -\subsection{Creating Output Using PDF\LaTeX{} Is Required} -By using the PDF\TeX{} program instead of straight \LaTeX{} or \TeX{}, you will probably avoid the type 3 font problem altogether (unless you use a package that calls for metafont). PDF\LaTeX{} enables you to create a PDF document directly from \LaTeX{} source. The one requirement of this software is that all your graphics and images must be available in a format that PDF\LaTeX{} understands (normally PDF). +According to \cite{doi:10.1177/1094342017695639}, loops detection, variable dependencies, identifying whether the arguments are read or written, among other analyzes, are the main patterns that identify a region parallel in a program. -PDF\LaTeX{}'s default is to create documents with type 1 fonts. If you find that it is not doing so in your case, it is likely that one or more fonts are missing from your system or are not in a path that is known to PDF\LaTeX{}. +Instead of using a static analysis of the source code, my approach will be to reduce the problem of identifying a region that can be executed in parallel to a search problem. The domain will be formalized using PDDL. In a nutshell, the domain will function as a compiler. Section~\ref{technical-approach} discusses in more detail how the PDDL domain will work. -\subsubsection{dvipdf Script} -Scripts such as dvipdf which ostensibly bypass the Postscript intermediary should not be used since they generally do not instruct dvips to use the config.pdf file. +A PDDL domain describe actions that can be performed in an initial state, to achieve a set of goals. The initial state of the proposed approach will be the source code mapped to a set of predicates. This step is the bottleneck of that approach. However, this approach can be easily automated (I was thinking of creating this tool, but first I will implement the compiler). The expected set of goals will be the sequential execution of all the instruction mapped in the predicates. -\subsubsection{dvipdfm} -Do not use this dvi-PDF conversion package if your document contains graphics (and we recommend you avoid it even if your document does not contain graphics). +% I did not find anything related. -\subsection{Ghostscript} -\LaTeX{} users should not use GhostScript to create their PDFs. +\section{Technical Approach} \label{technical-approach} -\subsection{Graphics} -If you are still finding type 3 fonts in your PDF file, look at your graphics! \LaTeX{} users should check all their imported graphics files as well for font problems. +Compilers, in general, are complex programs. They need to translate the written source code into an executable code. In a rough overview, the compiler needs to break the source code into tokens. A token can be a keyword, a variable name, an operator, etc. The tokens is generally represented in a tree. In this tree, the compiler run some optimizations, such as removing unused variables and unreachable codes. After all that, the compiler can convert the tree to machine instructions. -\section{Proofreading Your PDF} -Please check all the pages of your PDF file. Is the page size A4? Are there any type 3, Identity-H, or CID fonts? Are all the fonts embedded? Are there any areas where equations or figures run into the margins? Did you include all your figures? Did you follow mixed case capitalization rules for your title? Did you include a copyright notice? Do any of the pages scroll slowly (because the graphics draw slowly on the page)? Are URLs underlined and in color? You will need to fix these common errors before submitting your file. +In addition, the compiler must support all instructions provided by the programming language. As you can see, it is difficult to develop a compiler. Therefore, in this paper, I propose a compiler formalized as a PDDL domain, with support for only a few intructions (I do not know which instructions. I was thinking in arithmetic instructions, functions and loops). In theory, this approach would work for all programming languages. However, I will create the actions and the predicates from the perspective of a source code written in C. -\section{Improperly Formatted Files } -In the past, AAAI has corrected improperly formatted files submitted by the authors. Unfortunately, this has become an increasingly burdensome expense that we can no longer absorb. Consequently, if your file is improperly formatted, it may not be possible to include your paper in the publication. If time allows, however, you will be notified via e-mail (with a copy to the program chair) of the problems with your file and given the option of correcting the file yourself (and paying a late fee) or asking that AAAI have the file corrected for you, for an additional fee. If you opt to correct the file yourself, please note that we cannot provide you with any additional advice beyond that given in your packet. Files that are not corrected after a second attempt will be withdrawn. +- It would be cool to use fluents and test whether the output is correct or not -\subsection{\LaTeX{} 209 Warning} -If you use \LaTeX{} 209 we will not be able to publish your paper. Convert your paper to \LaTeX{}2e. +- cite planners to be tested -\section{Naming Your Electronic File} -We request that you name your \LaTeX{} source file with your last name (family name) so that it can easily be differentiated from other submissions. If you name your files with the name of the event or ``aaai" or ``paper" or ``camera-ready" or some other generic or indecipherable name, you bear all risks of loss --- it is extremely likely that your file may be overwritten. +- include an example -\section{Submitting Your Electronic Files to AAAI} -Submitting your files to AAAI is a two-step process. It is explained fully in the author registration and submission instructions. Please consult this document for details on how to submit your paper. -\section{Inquiries} -If you have any questions about the preparation or submission of your paper as instructed in this document, please contact AAAI Press at the address given below. If you have technical questions about implementation of the aaai style file, please contact an expert at your site. We do not provide technical support for \LaTeX{} or any other software package. To avoid problems, please keep your paper simple, and do not incorporate complicated macros and style files. +\section{Results Evaluation} -\begin{quote} -\noindent AAAI Press\\ -2275 East Bayshore Road, Suite 160\\ -Palo Alto, California 94303\\ -\textit{Telephone:} (650) 328-3123\\ -\textit{E-mail:} See the submission instructions for your particular conference or event. -\end{quote} +As previously described, the goal of the planner will be to execute all the instructions of the program in the correct order, and find for instructions that can be executed in parallel. Therefore, to evaluate the correct output of the planner, I will map the predicates back to the source code and validate the parallel execution proposed by the planner. -\section{Additional Resources} -\LaTeX{} is a difficult program to master. If you've used that software, and this document didn't help or some items were not explained clearly, we recommend you read Michael Shell's excellent document (testflow doc.txt V1.0a 2002/08/13) about obtaining correct PS/PDF output on \LaTeX{} systems. (It was written for another purpose, but it has general application as well). It is available at www.ctan.org in the tex-archive. -\section{ Acknowledgments} -AAAI is especially grateful to Peter Patel Schneider for his work in implementing the aaai.sty file, liberally using the ideas of other style hackers, including Barbara Beeton. We also acknowledge with thanks the work of George Ferguson for his guide to using the style and BibTeX files --- which has been incorporated into this document --- and Hans Guesgen, who provided several timely modifications, as well as the many others who have, from time to time, sent in suggestions on improvements to the AAAI style. +\section{Project Management} -The preparation of the \LaTeX{} and Bib\TeX{} files that implement these instructions was supported by Schlumberger Palo Alto Research, AT\&T Bell Laboratories, Morgan Kaufmann Publishers, The Live Oak Press, LLC, and AAAI Press. Bibliography style changes were added by Sunil Issar. \verb+\+pubnote was added by J. Scott Penberthy. George Ferguson added support for printing the AAAI copyright slug. Additional changes to aaai.sty and aaai.bst have been made by the AAAI staff. +\begin{center} + \begin{tabularx}{0.45\textwidth}{ + | >{\raggedright\arraybackslash}X + | >{\raggedright\arraybackslash}X + | >{\raggedright\arraybackslash}X |} + \hline + \textbf{Task} & \textbf{Start} & \textbf{End} \\ + \hline + Understand better compilers & 06-01-2020 & 06-03-2020 \\ + \hline + Support sum instruction & 06-03-2020 & 06-07-2020 \\ + \hline + Support proposed instructions & 06-08-2020 & 06-18-2020 \\ + \hline + Write paper & 06-20-2020 & 06-25-2020 \\ + \hline + \end{tabularx} +\end{center} -\bigskip -\noindent Thank you for reading these instructions carefully. We look forward to receiving your electronic files! +\bibliographystyle{aaai} +\bibliography{references} \end{document} \ No newline at end of file -- GitLab