From 93cc69e3014621e159cd6f7331837556d89cd1b5 Mon Sep 17 00:00:00 2001 From: Anna Makarenko Date: Wed, 3 Jan 2024 22:05:37 +0300 Subject: [PATCH] feat: scn docs --- CMakeLists.txt | 2 +- docs/images/translate_agent_alg_1.png | Bin 0 -> 5478 bytes docs/images/translate_agent_input.png | Bin 0 -> 11392 bytes docs/images/translate_agent_output.png | Bin 0 -> 35187 bytes docs/main.tex | 1 + ...anslateMainSystemIdtfFromScToFileAgent.tex | 40 ++++++++++++++++++ 6 files changed, 42 insertions(+), 1 deletion(-) create mode 100644 docs/images/translate_agent_alg_1.png create mode 100644 docs/images/translate_agent_input.png create mode 100644 docs/images/translate_agent_output.png create mode 100644 docs/translateMainSystemIdtfFromScToFileAgent.tex diff --git a/CMakeLists.txt b/CMakeLists.txt index 9ae45ca3..a5aa6b9f 100644 --- a/CMakeLists.txt +++ b/CMakeLists.txt @@ -1,5 +1,5 @@ -cmake_minimum_required(VERSION 2.8.12) project(ostis-metasystem) +cmake_minimum_required(VERSION 2.8.12) set(PLATFORM_PATH "${CMAKE_CURRENT_LIST_DIR}/ostis-web-platform") set(SC_MACHINE_PATH "${PLATFORM_PATH}/sc-machine") diff --git a/docs/images/translate_agent_alg_1.png b/docs/images/translate_agent_alg_1.png new file mode 100644 index 0000000000000000000000000000000000000000..40943098bbbaceb52aa4ce415918ca6aae1c4efd GIT binary patch literal 5478 zcmb7IcRXCdx4(!QEfF;dkq|8`B7{Upl;}N(njl(;F2w2< z(K`{WcfI%i`Th6ae)eVzPkip zl|Ug87eiBDRpb*pUl&ggRznxW6R;8hhChx(41Z=75oaBFHu8KVl2uGZOoCNRR8CS- zPEyt}D*qS&?zCvAsTc-kZO?`nzV^cr@13$r<7M7Dc>YC9$Vyu!W&lkm+{$f&5If(W=lNT^ae zG2Ot*PTZY*m)+p;Bz}h7s!aWFOn&;^Nq(q&IMnwzf7B3W^7Tfif@{3;+rW z3V3;Wp&A;bu5NC4>Kx4!ccs4BicFRIvd4h^^ud0CxU;pD`MliRs-Q!sqKOTmN>8!O zD&KVj?CR=|wSxS7kw3lbqF9Ljqer(^2QoR57M7Nlk~1=<3NaOyjko*y`hfgfvu&vJ zsis$tmo3yG!v`z<<@iFfvW%Dp&)s8x@CipE#lT(w@G$Sz{{DWXIe$tg4OZX4z~Bae z2UUCUAkJ;FA}&9l6A#MC#dTfq3)%>LUsS{!BrhMZ^ZB%sz2+_&3(<(9d z0ufKMgNQUVG)(K=&E9Y{ZDSf7e%Cxv*VOC~A5tIyrdoo;Ls2L^^}`Ug!T8-&ACdHi z_^9Y;b3rlF4mVKJ_-g>I7x2Nj^cE9SJOME!tFrR^!wDMMd(l}0#U&-r`yBCssF;|5 zrWS``v#=coFS^CWMH#OJAmJeg_?KY%$!esF{lb8x%r7a?#Qi={`hu1tvI@YP^uGJx z!Gqz=V}i%LBh($T*PsA(S3jqkev_WQwBN(B>-+x1#|ye9+jOF-rL~fCW-W^}CYL47 zopAkVTxutlsjsgek;ZRgZZ$W{t{R|XqOT7?&7&4VA+r3@S&<`~$Gty(z+7DJYjdZz zbWB@)^J~~}70bk?K-QLeGre^O+f9|+t}7Ncgcbyvf>~xq3$#|!%tJ!MB)M0q4NH7O z&sJ#P%{Sx~mz70orlHMhabw$lzsgG^z(Spy9;G?+OFE4n$5W5>3<>FX`xl4v4%lAp z1g5kXsXU%X=4<-jQ?erC(CCM1YBvrJ4^vW8Il}4c3XKfE1*-*YO^KdG{=0SSmj4;L zamoI^t*UA>4u)qT7v6TSy}j}8LBGwy2po>Nz`X!)M}_Af$NZF^=$p&!oo{y0CoO!B zGvAt5CI&=8PI#T`<}yS(serx3n8K8|<}Z5g-Hlw!9_#3OFyZ!I^;N4fQsq4@9UWPn zxnQ^ezmQM`CdtQ7p{uK_uil7@7WW|KdAYNNo)Q) z(6?Vg8{6j!eBJ&XRT3t13t1MiByU@_&9Evc_{Y-QD9mj8<>sE;WYvKvg(9FkwZcOb zA-2sM5x#QFQXVtBSJ_!v2^kp-jh9>TeU30~?Su;oPN2$rx!c;r2#y~3{%0g-dH$*` zLL;>;>Wv9eZf=_j3UwD)Xg$^afiQG*R2tuS@9ah+6V^hfr|<}<3+8#4go6mT>?yjs zSpdMwiuCY|d-r%T>TcS_>DQ~yyrk9kAz_-iImQghP36D1b2q@F&NMTVer3~h+Lw&a zNRCcei5!?}sv{fwgd+6ZB?p(gB>h!3f+gG?ruC9>XGgxuW$Zoxg+irjYK7aK-P>Pr z!A1PH*7lBP;~ISqA6bW~&f!w^?nQw>5VRPyJ#ci%Q8=9m_!8F2sHf;hZEejMxbUpf zd&d%$b8o)m#pubwfh(ZS(Qk9r1aLgu`u;smw)baiLQRdivxEl;IfN4E9c+tY6hHaa z&re{EpuA1fFRzH3DAlta$yMFk?}OUfO8IYn0RVM%8FWO1yM$!s{s{c32nu4jV*+7B11LJvuD4j>dTpMI5T5Ox!d6B5Mv-$ z*U(6zzlTI3Ka8!5gyTXvxw+Y;rRf_R8`ZV7zh9gkejHm*PE93%n(J)$2lQFBPLt$S z6CNLzn>JM7dwVPQM3GwmU3$r{t|daKfPF+3YIRSB4RQsOdxT|!_RTu-EAQ{YQm8;CsEMe72+_?Ph4S?k4 z7%SHkBB#Nlo|(q8ziY}vOKB!M?Voh)WRO@nIw1w#NkeNP)Y+e}IHN>*>kJYqDtdQ} zabnP6TYDtcKQ;mF$PO5X(nVFxWY45`_~$xO1zaGW|8`Tti<>>m1#fn`M+@L1!^7MS zC5(*p)wb<;Uz$qx`gp|m_BwH%L1qrm z&7tt@=XGv{W)s8Xj@=s*AAyJutit*E1K-BBdLN+M+wd|`kuyS~`bodbqsL>suC7cEpx@T)53s^7s9|N6 zLE50)a?;R|xoS{QIWYP?OZHq1)oQ5fUH!<=aE98cmf9vk9zMHNs_mN4f#pq}>11|O;Ob-04 zgI0T%qiE5%o*(Nn&h7up05#rB*a^P6f1W%|iV>C+~bt+<<1l)8muY{J4+ zV6^WY7*Mmewl1tUDmPZGob0p}IdV&BKX@b0{qUyVkR1?F`*afkPG^=0*z!rerKM@p zg<37z-WU8dYxzq8dKdN_<>1dT6aMF7arYowk;&9HTNo39@GF5o$9a28FWXJ4Y#{)v zfIBC!aI`K5VvUnKy>ot^*|UW$ahRP0-iZlez@0Q8-G3vAzWy@;tivy@6YfgSl%y9w zmQ3&xj?q2UD{z#y+`tt!guS%s6+cQl0e)r+?xWcXfR$ zVjsmXCU&oWIy)yv9#|*DF5yQ-9o<7#RPaF*{%VCDjkq{IvFb3fvFf6?v1~^(*Y1r! zUS8bYMSuIYSX5HdgJ!1pI@!`Gvr(pStvl) zC$K0(xVX}LI3|#|mOHE#_1Zn(Cl`S0>SSzz(5)h;8I_F z30iJ+)SSe7Q`BO^Ib2&HY3w$Rd2?$sEIzjC($z2ATi1i6=He!-)jAxW<5<;VDyVmq zPAC53hpTAtXJUMOh2|^^pMZe&y~WPqX}%AWNe>;d3=D~aUxMpMPv>`Ex=p_I-nS=s z9*J65ku2*ur^n~LFS-cc3d&5qS=!E=C`ZSh;w95@2y}EvfB_tDbJ7G_dfd@3td;j8 zI$8=M=S$&K3$tUzC5}! z5f7K6_m>NP4c73vGT!oaKL(%$_}PK%!1_8pHGKdB8=EU9CnTn_l0P@E=XkTP(m?dp@UNX49 zJ?9?`ij&`k5N2l!A%TgBIv9!VY*T7%9BIeJ*|VwEbH2I2JO)uwm8q(a_-Sc=8H(pZ z3Cx?nJ)*|^EKE#z>Ymf^1b0q0oJy51Z+CV`fLmZUQDQ&vPMR(!%sdf9H@J}>N4}_l zdUV_n#;#1*9&gYT6}xnN(kTREu1x7SH)UEceqTvsB9NS86Pb|k@_+m-sWqF*^aE{F*8eI6+=pZcZz+`g?lf;2&53BW^Q@wU~qI7{X+1s~2 zEp)sf`rbp|K08aezE0)v&$n1n@V;pKgb`QLg{Ed1T!xG5lWw`Ko~EX@7l>rkX(9kz z99ObkTM?od%nWYl-l$ePkZ+_5>>WX(x3;{ZV&-2+y8Wm|SV+-TWkD}1QEO(qGjloB zd`i6ao93AfZghVwqPM!r$`9Y9!m|C}@#g+c^X~Lf7!6Io_ZiZm;Z0A^Jb#jHQ}boE zqDghYF4f=5T^>2hZ?o&m9GC_5LDD;S?m)qGvMZj}wALxHwSPVJm+><&dc?eZNj9WN z9~Cf1`r_T)rzS;L3`kx3i4r5zW`Dtx-T5T=y`b-NE7ZTqRR=XBq@^8xyuMEj`%qR! zzO%D)A{5ulErScV4Ss`nF%=^t+PUCO!H_qqj^dC$+02#xH_MS!O12nH-AJ}I$Bm5* zYC5{^`m`(}j1kZB@^UBmNd`h89>FhrGde5P9-}$hJnj_M+G<2*%hzuD(FrjPm30)FCFLd^z?L}ZK6#}OLMnyQD0U^2Y&~f z0{gRrmFtXnu`>p|@@`pCrX;Yz2|7mW(F~&aF_g@pVJRcG`6x)VFy@w)1K=Q_*(E-J zHp;W>9f<&&(V!v}y!GW+XHXH9c2I&)6-`8lF-G2TH*wLwp1(Z>LQzsN{j0nCVPJ6Z zbfXxOj$D?>a2xaM;v!VQx`jdf>EL&e6WF$5k|i|>p@;rh-QG?d9|sd4M`*b*0RZ=Q ze0<%5f`Z~&*{3-u?wso+Qr=i?@OpZ_$o7bGiw1wW96k9OTF@bX(A3fC8hkImVm!ev zEIgz{m@)>c`{5;+kAhI66EJ1X=}G3Wu4v&_YvFQ%dvEATl=!bcSm^N z`ujK0krNn<#hkUfyFhMU9>|c*7M`!EqhlSdP#rF;s>lAGo2#otR8&+9Vh?0WhVF-pQ9DWny{|}%=;*wGi*##=+QYa}YL6D%JppU=*V*_#uikWbXX{EJ8 zzfYe(x0(teEk*8}z1J^})G1W*@sUtaRJ`@|H3Gq)g&)eMVuXFi#K}n@CpXtjh>ppx z3CwYD;JdiIL{$sHVD%ihE?jxze<+xl`Hy@uGBUDt3Wc3#@5R!K;zF;pvJw*HuIM-u z39729AP1Sni3zacXKT62rAB3@7<@ED z;8jsk(XmQ-;|5(DIL-pkn)-LyO=4(!dwZhRmE*4C6!vE=U(_*o@*{_-Zv>3uPT>s= z(h!@J6hmEI-IkUp1;w2%XgfS7C#S<~_2k4SJUm?DV)pfG@{aCqEJ&3zk?uDfKGIBw z%!oBEeW0#R3ZcsOXTnR3R8;Uo!@@8i+%SxSf`Vdw4)CP7ckG@bM`a#fUXfY_9iccx z9a(|LGv3hPS{+KJRGVjEb2D~oN*{>TI1@aze*$aUa`PQy!RUr`|LI+&0&Rt29juUv zTuxZdQ9FwZm$?{&+1)e@Xn&=zy|A=-YHjt1WxH5Mes1G5HI=TTqXX!r)lww-C9r76 z1etmD4qLHT!PO?Ks2e1xc{^M1m`;cjxB-M!OZmd*X~f0F1x?L(8HtnHLvW~CN*%6T zokFn0P^pQWZPk>rTxF?O(8)p+v)`<#(EN{NUX226@fqYx1Y(NDABaH4qt9BDkLGbD zs$7q6F|>p+EFBE7=*oMGNM(?|c=4i4k1xNtSV=)4^rW)kIgX4?Ka((08Wl7c5wT1s zyx5W|lr4C)>Dy=&UuV`%|1+zFwY14g?&`{0E^1cP#|2lws6M`;Vh%Z4Wl;ESQY(>b zM?tykR>1Y;5}jPLa|2T%!YK}%lT%ELN?u+b3i0+|3al%4@aTr*eTR?zRznI3llAefG z02_*``SkPWPpY|Gtpajd+Hq^o>XbY7@$KDTXblY==4cj)8yubDucdo`mw9e-GGq_?iZ}Fm&q`v%C?WGTw@F*RWLH$^Q&B%_>;5v%@BbU< z3YbbbaH-CDv9vyXA|gdSy$R;kaDJMY6RGoQXG257#KJ7^o#xQJr55-=rh%~6CaJ@W z9}A%pVV?R738Yu|7oX}CRlv!@i#?fvd;28d%jV2EB{cv2jh5<%Z$vz!Uust~w|uTn z1G)LDM)eJN=MTsCg*$Kv&e`gf}s+^v#Hrt$FR#BJb8gpNJO@Q9YlWUsb%Rid7VyJAbz*pnO z(wn=IJ9Ba*0s_^>wH#Yb$HwenV?~C(*u1(dt;m<_`6bnh?PO0l*ydx>rm#c2=VYSa za9s0dMty#~A9OYId||Ny$9_B$8zN>(jXyYu5qi&uKuADw*3#26a-E4!Rz80Gs9I#U z+J6HZJK$xeOwD3;R5M(;O9>xS$XazDGaaE%3k*9caP}?_4pxIaP-l``j)@judIq&#&9*!@6>@)I2MfZ+KEN;~5{KxdtAkWT z1qX;DFn9N#w%QimH=Q3}o2+D<_3dVTC#Y+7`Zu7q-mBezM+R}np0Lc%6C*QtmN7wg zitPGyK(g`j$o1s3VD~!*ORBJikd{`z#nGm}@QYt;wGF(kCuLhi9av=fE?fE}oT?{; ztNlg~EI*OmyH~%&dMyz@S$S;!om^Knb)G%)S3Gm4i05NW<>OD>pI?f_P zNro`o!w%lk-{!zL-eg_dr%OGHfBo7hzmT%bXHP|2dxTx&FCJ7qM?~>30b@FP-9zf+ z{G0>mKvGf?1QG7rx8+q;e>%=lQc?ZZ7@&pBEuMTVDx&!_7S~QBNQ?tr{4x2mH{-1< z>{aB5`k@%L(M|)E7#Fuj5RD55_z2e4NpgS%QdMb+p6^2nig*~%Sg9b~tGf93!#f+I zVS3T+&fzEaLXK0W=@Oce6dZnv#X4;>Gu3m4?gPGNzdpUpFDhy;c)GlMuo>MPXhcq( z9P{)G&u$l^MVZ5ULFi+BJt;W5qR!Z@e+0fzIp7Bq-eZT5t63(Its0>f6;qr8itWf6 z8K?TD$Q^pwMp_zOV0-*5OL7vjf-G<2jSgato_k zx6cetPW`nz&9hL5$>j#in#b(mpSX#ZYlgP=rrpJub_ja@{9TzK7SrMd_L}u|m6@w4JqHeZ+EdPLhvCD1<_!C4+;5>4?e+e;%xM8kv(#lh?F z+OGQ|4Vi9eKMDBTBYAKCr}*xkYdbjq;;8OUl)fX;>{;fg;--rL(W0@l?%TJkvsd1W z?ogw=JgY{vo>^Vikr=4$uaZ%kxUZ<6JqY^d4iN2#g^EzVubhKbtnXc!rBkv^UaZaL>S$x605pSj6N!!BH&ui5nI zGo^@#gPe0MvUh!zfa@qES_&7}g*JP5y@TBzWlMaU-C zLKQmbliF;SmKESe8ho)Nf3Zl*qVj|+JSvKaC196GLYmiQF0gvQ^xE9Qd1<=t5rlle ziX(QmNf?3o=rg9xfQ~|eHlqDcRTU;7QSVSwL!yr{LPg&&d=#f()Xug_A6)#_a|>%{ zhf>gC6DM?XFigZPSQ?R)MM#L_^4C%lLSUGd>%B>}#Wp1(1R>*KbCLu+?Aw(8ZU-fn zsmOB;Lqif16K@dvNy4(Rb00J;EhTh=ojml}mA~_M|FNdAam@Z|X>LUYX>;>oOe8~p zF;B9(i~FC*dMS+Mp#k^GW)>XTywT6m(bA>eF?S@0o26ebDxBZD`Fy2L355nr@(;& zJ6E}GDVhuSqe;v5_W{AqwV`crr5t89cs@mRqbio~@$fjTRxIqpZ!#Z+tfy%6+-htz z)YR6FrZt|3VplXQ2U!Yq*lNzIK2yDgDfS_AqWKb2J>x3`34h{JV?ZP&?Wf8G%XP(S znl1m}aPjt5wq0Y}oc6^T&I^p`W^KVUGc)EEC{dP|r&mt!dQfWIFX2Bn)+-%Y&-7=E z+I*pHAujZBHk7Bv82jlH?B|Cnyw+B%a^Tohw7N@|$E@({tC=^6Phn#g-fOR$#3wx< z13n!lIb&QhGFoDWk>TtkhM+P*53YwLOi3v(>KE7@sOmgx;Jdi3a zZcaWzXJ`y+WJM;ygwXsSRKvQ7EJYO&5LNZTS(Fe6v^Tl3y5DeoP8Dvyn`KM(;r3Hp zb};9*%}j(=0=9;LT;b< zRnR{{Aj~8JCSpN4U|K~8yaEmnCkr{tv|d7r-8p0O*3!_3{J>xzhNGue7H$y_*~NT$jV~pF^5nYtL)_grcSZctCJHvVOMjxfa95G4ilygjenj5*ON8* zNiNNJKWVeWfx#kyo`)oYucUHv-4_-Y!;_L8bd0V?M_13y0P&YO&pqSQGfgW!`dh#M z${A)S*GP{g$tUI^{_B^3`SG^N!kY*8J_$r2@}Dk|i%I@$KFKdE$|=sz@2s$@X(|lt7 zMF0D_n;ig?_-L@4EB*&WzJ(hagBnbe)nC%bDN|8XV?d3Kjq_Vu{EqVQ5q9AatB^F; zZ!%5B3E#en(Gf?c^;iAhKvaq$f(<`(L`ehn%dQH7!dls0FdJ$9i%FSfYrs8MUS7U? zeC&*BL*%zxK)uMK=asM1(qckGF$*5AYaRH>0QB0)QVOskfJo$YbO>RKE(rR&zh7=Y zF7SJKIs4l;s*vIbOpJ^~8R}fm*5M-npmuSfT7c>4ZkTzY)U_0g)DwhI?e&o))2>uQ>V6Zftxq6TU%Qp2cjjdr%w&4lwli8bVw28 z7Pmoy4ByPmOlPKpJAk_}ibH-)&37Jg?2#5x{zo|+2 zrV*SyL~*dV-Bzs4;Vu@0iG^h_o!LZ^*wZ2S04~x2rC^Yekpaw&>p}!{x;Jq2C%_=b zjM0!p?Vmkr@FcIHY6ShC1CzwZ(&HSlyW@}KAKA?#JUu<-cPcewoc{1uB?xRXd&rg! z$^RP|gFxd{mA!5ZsHoagR9G#H!z~x7A2MMeQ7*1(R=D1Tgb_j@ky9cUKg@5j% zArUTF|NR=L+aUk5_eui*G*sbDXyAFt-P5VIHaCEHPC5mf>$mJ@eOIvoRskvdp7r=h zlB9cc7??O9S957pR8VfdJsr3<%td{9{sjP~3eG>DO2WX77~*gN#(4JZnbx~s1rd>v zFm7&q==J;e(Evg=IB|%IK5e|MsG*^eHp}6&zf!5eQ}Z#e3&cQ?4r+j6K`!0u==GCv zdF8|I7dht8!a~upB46luZYRFZy{X*q5X;4LYi!eNf4|Sg4O2P6>CDeT9!lZg@8m6w zZM5)*=2yor{xmq>TglhVGV6SGR(BOmd2Rs^aV+Z`EmRhCd3)_p`QCwsNk?Z~SYl#M zk5s{*e;6WG67i+7>-QhH{=vT0nt~HU{I^9#MLUo4wRt)^JFA{&KxNi_t|uo4p)oOA z4M$I(kRZX^cGzNeEk^Ja1|a2R^=e%tAk)#WDMnq-baY~Javp){ZrmOJLgdG zpM-uwOG^t~I*_fInHhk`z+!icjcEZM|Glv)*v#D(PGFL)Tk5!m5~l_?Gf`#TRf&#C z(DT@6%F3aJ<1chVrqWj@-C<>VMM89sK5Beo6Cb}xYM+v#53Vl;L&FXK4&4%MG@>A8 zNyiYcaio*>!h4%I5WQ7uTTZhwjBzQ zyFMk)4D#ce^)Dp{vvo@DE$#|?ZS%?BN7AlMy7RL5tv$B1Gz@2hEV^o?wYv}2=M=J4 zUbbprLK5C3H_$Z5&TN+X+Mp`PHQR=AKWh{w17tz~sXS>x0LUK>Y}d!%2F96p6*Q$b zS~SYAyIDDh30V)!#^@SLhJ$1r*s5(6?#L*Ci#sZ^hz~W_eSMlGSnlW9s^aOcW7-*JxG%An}+u#uz54 zCuo99r1kQn!8`RYih%s7<&hEH)@4CzHqe`iQ++eR5hY+cQ?CFa$4#ygHkqfmfIHHw{z)4Y#8YIT zi)guSf{tfVl%m!Xk?(B=nrW|(gUNCm8)*QjoxeJtLEp;u<90%3ZMqX>3&hs_OdvZ5 zbUkvog_cH>zoU0Q4>vas)X|xNM81>}a-P*NY}AVYDtfKBy530}C}euy8$zD%$RS!T zti(uJtNC#Q<}s=iyCpooGO@EaxNPdt(+ILe1K&Yg1QdU)L&kddIzW|rV*@)pd=t%B z0g8!Eut|*R%^SISkXV;Dp%1k&GUMWWN-b^|u!-*BxVnPIw<4(CgM#i>3z#38>CHc$* zH;KCAnJFRsG;!yY`Xqtn`PMK64UN|jGW!~^XyIXaWKttuYHAq(0lYUA(*Z;;eoxOT zHrsQ(Z{LruT$jA??^nEjE9CCjFo?Lxza$)kU#hX+duz61jSrq`Gv#%o&4%vWUQr(gR9* z7yx#};re3PIxN~WHsy1=j0LtBTH_swUf}og`|!7Kc^1xhg6$6W z^Xz23OVCdb2@&kDXgu3s$55fUIxHPVA8Oo$7Ce6!HMd=7l|evY10IG?cCF5RyWj=@ zhvDnPEz}{F3*D@R;RA9ld{9rQa-~tNSF!TFc<=%E4|RW5DHS+dY!~6eu34hSvuESK z>i|D1Y5Lxjtkw~*AMK_>_rb+|=MFV)*g{^mZSo_WVjYlfc8zUsqrk~;(G zzNIHDy1FPif@jZwE*;I@7TSwnY%TSn z#54U-?kmazGbblqQk4}BS<=Gg_|egEQLmF9aqZD9EEt3EwKxD+8IY-}TYP^_4EVEF zH17iNkc-#Kw9A8bD1`u|o!c`Fq9G`R`WMQmBsI>&+M3Fimf*^}lM;dTm`}fKEAPzq zPn4P6+iobOHTE%+YrZ_~~S zT9bZ>GJX;Z0FBRsHv&W2BR@@Xb@{{FH-WnW@W^9XtrouO@-dVplU6L%)4{U?vuc>>-$_T>Zj1Kv^Ys6k-*Q()42a zho7ma4DLW*AS8_H?W3d5nXV3wbuH$REE5gKTo*gnEA0-|rtOiU`1osBad}Y_x&J|O z7|fh5o>edmkSn+(6~%uu?m7y+efvttevAbWWF0B|tD1&}amRDP znRYPdB#37vEI&vo&ov96(=}ir=0L`Swtl9UXHOx>WNwyp)Wt$0j`52!pjbiGgYJo3 zvAmWR1qk(Y5@mQJcDF7rN6|mURU|;C6CkRTdu=^beJ_%)NjJCNIMFiVFdIO#z1^Sx zwc_sA>=Je48;%u5Wp0LXNvl^}ve%7tk5ibG^-^ikTxnSu6D8LX`WS?SKL%?`V`}Xf zp{vsYO1+vAa>1tGVI~)CSaZR_)H=LEW(p=z{nS;0X!&7G`>K8rBL_Yz;hu*{M6>z8 zr&fHWkC8B@^OaJJ+rr99Y;5d()$|E6K)ZJYU%8XIuMo@YjKKjF{{2nU-ezT{P#XV4 z?GOSGYJg>9JWTnYVR~7kur1ZA27|!O%_4ID(4*{0MyylyZWYx4{Pw8hw*L*N8&bx4 z3xo8I)c^kd>Ei0z_WeyYGH5AII8~yY71XO308_s7`CUMe(*RAljGu?1pC210);YKs zFde4#!X@1!*>111N7-k}1=Hb@ZoYIx^)GEs{=m&b(F}5_CuM*AF_j<3_$L-Y7n#ia zVCmxY5Ad}Ja3^bNvB=-QpJi|*i(%UL0gs%1J#1uz$Y&wq67WDUaHlNjRazG*0&je$ z0PeR9SbpHo4|j+_X_1?o+xDz;M8(=VuRYC?oI)~GaZsd<#bv)pzlxAorwA!N7Z8R- zBJ<|hu%bxczkY4nxHS+MIO9BZSis-WK{fyDGs?M?fjKa1qVm>;?F3fJo6$nurNeQP z?!!OhL%9#g3VPS6h;gx4f-hY8j2r0yLQkn@f^8^B;PG)x$N$}?qNTMMD|(JkNZ4lJ z+;q!R5w;k4heV(Xu=W4$A z`xq1jn!U+jFyHxcKl%moZx+9Xhbbs2!12f7ykkxvA0HzH8ZmQ;T3L#KJ`w->{MP5$2f=QlLdmYB+Z z=8xJPg*aR6Ep|%y?6R!}M&}#t@;3i;5sf!MeS1MUR$|oaYXY+qCpLXQWGluL+T2=h z(G9q8LGz7~g7o8CIbPt-peL0V*LnUt`o(bGLZ<)rOXJejMnQ@y#(s=m;;4^|{-?|D zH1+flGY#J2=d(?4cwcMjxk&DiEnt-6zJ5hHn+nnbARiqa4b)1~mB1At1q%{=vtSNZwe1-BZcQc@BdFK^6#GoVL+Mpc|JE^1mXNkAo< zfPjGRj$P8oGC2jtJoz_1K=4iy%iGx4Sd4yshEGNorTzu2GZ+PyUgYmzSONk9U7M4Y z!fwA+icDIJ(fkqv&@yokdq}Ykuk}D?Tt$V5rHu^;pwBkmf-*4%lwydv9FI@Y$Q56TpP$5jyrdJ9$Y1p&ay-UErtvWZrJLJ{>s6r+uCxcoWZoT(T{1e$zY<2YulMe_fJYX@} zx|8vLm*1HH@)o1{Y=f7WPUt>bL`+@Vp{kw{EM=e}z}y^`B4|Piqy;Pm?hROnrx`LK z2`nUlrj165-Nl_I%jZe`v1URW&!b0eAMV(blasTdm+Ax0yX`+vE=r=f zgQ_8WoWj@oyC;!?ni}osaQ-&*YGYV;->ardx^qU7vBrP;bQ67UJ7M(6Y=}%V)T3B~ zFDTBBchD~4NdSy|LsfAQz0%{y0K;Jh1O|RaGnLO=@b&YgdV>ZhCnxnPED74$+d)0$ z9};sESYJ`Da~HT0V<#(ZEKYV8^jdJLlS=tya1a(5Kcd&|q^LR#aQsVFod2MYrpQ;(14;$ZlR);mlH%!^wIOn&rv z%TDMbFSbANXX|5jOzVm=?EHY}K>3t`N zmQW8S7?Jwnl?0k)K(7Pf6w#{vMgw{*fUwKsg|HpV^@Ko8%VTGjIV<2VL3;X0%T0``l7J zcSuD9JMdslvk}-u>OEf((4{hUc>;%Pfl!*RU+i?u;$mfW%lc>P%d5+Cj@!2jj1mB6 zs|ggg0!T(eLc*!TRKb=D5m07~mhnGA><_}>ZtW~(KdX+(zx`{yvw_D(z!$%vTmd`F zfLr$Sh1dr#6xrF@P%fIg1kFA$7;Ngo2QYQ?Sb8f{_Hwp~J>m4C*2vyoqCexM&chZI z6rQ*s@JXIC74=w#D(A|psgZz&1pP}1ASWO#U}8~)h4zItPv9eyWq5o~*Voq(@$p^# z8PW^u>jWkyCfro7?yhHab#}4?PX^@X?%|>1;Styn$A7%;xhO*%os`F#+CY}1JMQf4 zY_V5*;Q7(Q&;!=a{Q1ht9{v3rI%Mlmb)?2g*%il# z2PjDp?4pj3Z^7&Udnr=ww){gmK~YiBpeis!9SjJ;x2&?hJ_B&y`Q_!&9It3ZJ&aVoH$6~5@3U5wk7E4bpa#$~3{b#{ zoN5Z%+EnHi76t`cu$+R27tOkGJoc^ znwpy9fzQ@d70Ax3C2p$0;c>zt1mMK{q^4o5F2n9PI5+_F-;Y6`_A4E7gvZUztwXL5 z&~RN{FmZ9(moH!5&{2YqxVn<2>K85Ku`DbsAYx*c9C4!&ACOHS3pzp4&=t=dQ(G$m ztPLF#HmD}B@@S;}kN6^q>0#(wvG@$Z!(tu9!co}0dyS(zl%Pwgk@#VXo4Y$`1`F)HOmkKO zV|VY;0HVmzfR5r#Ebwh*0D+~X^f&kF8yeaN2FSp9=tQlFAvQTV)&{RF1!H5DM~@$4 zO!##GPJgkOC>oJ(1(crie>93ME-e9$*y+@-axxZ#VM{Bk=z&`|ZwiG+BlIx<-3&Ic zH(`+gI;UD^W|;pY)7P3n>j&E8U%a>tt~d~lB$Rxxf-@ORvrxP-6b5A$#7%UKhGABl9Xz;m z>yAU%I3^{<9aiw0{i7oqT4P{eg`HcIDA3-eQ8>!)lz>nv0YdyZY6k>cdW7@54>W~! zvXnKc{j-lU;)!FYyJ>xZ!8NNyMaRZcVWpqTQ&LnBW9i|7WoM{=>bC=?cNI7r5X##`$4mme?RCx05^@J76-+fbfEOMxj7SJ zb)c@YGNJH@h#6P)6P?l+V6_`IupAv^1A7m;`%YUsi7x+W>lSO^fu?I(Ph;b~&DkbK zUtixiG}YT(X9DJeSe!jQZ3tIVl5ETZJSMq+GaOzV`>$DoS`FGPNtA%Q0NV#?hychj z?68PUF-;rlLIa&`K%<0H1t>dp{o64*&tnV1AA!(+GX1xe?jO$}HvNBY0C|n&itL5D TWac)}eZUWu)ZrxxrlJ1}YeotI literal 0 HcmV?d00001 diff --git a/docs/images/translate_agent_output.png b/docs/images/translate_agent_output.png new file mode 100644 index 0000000000000000000000000000000000000000..678b5aba8c9c80f516d5b9e6ca2a50c958c7a0d8 GIT binary patch literal 35187 zcmd43byyqkqHv2AEl}Lu-6`(wP@oidcQ5Yl?pmP5-3e~RDNb=nad${A{cZX7{_d8u z&pqdP?)yiG3{OaAl9@GYy+o=gNxwzJM}&ZYcq=O-p#}i~dHj0)5dO{Ur6G*_=<5#{ z7cton@UO!M-ZbL%HlC~GM^|+Rb5{=|XEO*3dj~r+CKnTDGc$V^O9$68Xn@e`LabIF zKDvrKn;E%UIoOkau(C6Iy%Pdrx^O07x{;KXgLEcvCTJ#@l%18Gla!r}kCTIs{k_Df z>j(q{DTJ(q=m*c7<6Lha%=zVe07pZ%ZT;weI~f8(U_l_MD&)IR`U2xh?~0ZM zv?}ysr9G^2xxiVipREl~gkVO-4oxzAb6h+#@+t5Fnf+ zA~Ry1{BvUB!B5CXNOn?SN?^(*k7J70!W`F1MXg>0m?WWXLd(K*V8!A3$4KyAfgt*0 z!Kq@Tx_Y|?9&=FujEgLlAag%o zD!m!SA?iuU#<{umvOABh}yV z;m&wvps4@q35MnQj^K^d(mpg<{hiGks%;ZVv2zG^f+`||cABQrN+L3U)Je-p2OKqS3f7MVC`|mA|=u!R2$l zU{9~33@U-AE@3gPJn_x*GK9RVUK_Xw$$WmkHDxB|fr3n53v&1N%b$@1zeJ5CGJXHp zYA6(~+13BGn(@JRS{QT-0B)~tT!@11Q|%j-Kh)a%R7*4OR7yKEnJ3<@F|9|lZd5fn z%1T}zyL0#9Xw$%K%o2(a(#(jM78RY0(4TvSIUEqhy-IG9 zOy7{onaeZ@f@VlX#i#7uBKQby3(&^dbsI@4`5b>Ns#@T@KXLyMPBiSLZgv=FyLGS# z5})5YcrI^JGb0_9)iCX@%_r}8bIS+<)ezdZ*~4Sgg}Y3AmJn15M=I-IUSMqj-Vy0t z85rFk13%)rB|u-IsqGZ8&HD^`6SUMmDFnlvkcOgI93E@0arVg-Xv$9J3D@2H3{J5k z)usQ2r2B1Q@aaJ47m5Ec0Q#lgjj-V~Z}MhTHG>iktLStNK6IPKSYLfc>;um#0&y7YZ{jN%x82UJY#ztFpXud%hnL*z-rnZmh;w;y> z%8!e_pw^}u@p(|o6#onL>}hAX>?O0lrzfO*n#1mHL1xJYdOUKufx~_;?3H%CJ&wj6 zc=JK>O8fUGFaL#q4@zY3e29usmo?vv0CmP3*Ar8i=K+#97FAV8EK)EkBxI8ri^k#i z$^!UOX4g@FQl0V>k3~udiX=n}D&EC~HAC4=fJq9Y#L!5W%v5h=2@mT!M!qc+$4e?A zr&Ahpo>bjXzu~hKxa&H1spbx<1zyZVchK6a*IquXGWgp*x82rs=B$QZ$rvH$KX0sk z=8NxtNaqvT%O*Oy-&a%Ye(&#nKj0rI$P+C9Cql#v2Pk4>%A(CI)riV=-^S(p=y)9q zox%n2cKP_BC}or`mlc5&nspV|x3jCUW%<`8bmi()YLf_Lnvq zoA4bR@)_?<(cVOrr&kROTNAE!w^)UfC%+7vv$sEBryoay-13F(PmW~Vc$R>%v|_@4fBi`=r0XvV^1t zu@EV*?X_rkZ1B*0c1F`C_prN6`@Z|#&nHr2hZ7P`=k<*qe&I*578bvpdl_gA8t}wq)#|c$DRDxA8P3WB z2>pF@T!QwGwg&jcP!t?7(p-b##s$=@eJE}FLlOjS>z~zRlfuc{*&w&<-)~=peeD#( zi_~^?c5mhCY%M-4a}O?lsLzO2aeu>oQ$7iC9@R6yLdRTR9#^#2T}aiOLxCs5#_EMp zFG^2Rh8S|$sGy#gk-Q{Zfecf}hoTFuElnkMNi=FL)sK6&J|koLg zSCK-G)beL_W9!mWhd+P)6ttKBDlpWK&K8Qpk1r?4twKB7PP%~A^%4IR>7vkAe{f11 zlLFHD?H4LHJp!%QeV(&V<3x>NoHChEZA{QJB0eRataXkTf;Sd7d1NHQAT0w-7!4Yc zuDo09p?-C*Xct+|$T=yd_K+p9NQicEcQ>%3*Ak)sgSxC+8M}rUH!drFEN+UF@LMSg zDe*Z;c?L=v;T$#|1Nj`;UNoVcY(VmO+uE8^UKzzsjp?a_fyqme&8ooONnI54!x>dI zxw8@-GC{Uf2xLjm$DuOep(Hv49ICq7MWbQ4?E)337^#>y(Dl-O?&{!sQcya#a7^6+ zgZAZ%(MM!-%bTTKdNKGA2wlnDeFQa!oRQ6G2&g{wd;LeX)7IJTY^3Unh&3NvZa*jl za|+0JUlnkP#Eq2vc1(LTpyzZIgdq0u~vAxN_`)p=BN5Vz#f}*CPA*pIlc7Y%+8_7YQGoJ$7 zbFA*BXmg(2&5VdwHuFphvMetyy@wfW64a}uLXLtel_?TK#?-3F(>vdV0om*&Ki3X^ zk45eB;o$V?Ww@)h$iE`=)?W?a^5w$=bipNm5FnefE~_~miTqlU@%`aBS$wJ8 z^~-4yc%9tV)ZRaGiPxiUJ5&|!@mns$Y7M)YZH zoU10uKA`>Qk*DEKdij`{!qdF7eG|7bs?^1O7=MpOpR^6T=TV5o#T7~>sSRgg5@c{8 z!+fKO7a$g3FNU9zvIaMCN?cUQmXe;<_|SpLnL_6RWWV_q$a(z86>lfJF1;R}8rfxs z6>s1jQI_WuA7}m1`&tsbw@cD+*sD|9tdGLwGg=zXld#OBT=hT=0u^`+l=-?oJ@Tqy zwwOMLSt0BZZoFV;gL#rKCu30KcfHTPjqyIsU^1bw*uu2D==D$*#Lt;_u z-pt0ui1JV(C642@1Z?gjVtvcy2Ksf-N!Tr-`!tt}m!&b)s^0^r&RzO-$5iW$2iVp1 zkp)qeg4(6uET|zg_2(~B>w@Al7hPPk-4yXkF z0Z=tX)Dp5Kt)>f%Ua>fs_MiFnQwZk{6clI@kJc&ZJ;0^;vy{fx5FMOZfuF+z6R-TH zhF;Oh>gve$^Nn9M>S1SE-1eCR_%pK~NM!3WbE?i>KPz770r<9i6czjzesXcaEp2oO zz#JO+%8_xK9Eogwmccyh1hQVbbfME!gn@P6lRK&M0S`;(FCvps(-F5_zaOU0!R>=f zPDzP)u|(lg{LZmVsH|X!S9W#8j0x%COdgU!77SlLLd`!MN0>EIQ1X2`j^xXanPd)@ zz^+nkEg4#Kgt1Q<KY;6^zWlm35Qc8N~z^ zH(eM;D|aEl=sF{qeqRVq zFtCn4wWRpUL8BP>mE%ucYO!m>bFI+Uy4e{_>O6qr91xp}3g$7@bnV5l3i24fa0?|C zKt$q)LySt8c80F>F&;Bd?ON|SitQmzru>*D4H$zOE2^dz7!dhdY;k7)fAGoR@9-&i zzbzEg7t7>L?)FYPNK(Hk;E-kcBAo?S_>BGy103(HK2|>W`mWKxfYs;Lg)xS2 z1kwxstJ6$|b@z5xtj>~eX>YK5f>=0*+byF#z7ds51*OGQ{?g;A=olv&GuAvTv&PZv zi);M$+1b5&fkAVe$->XMHX&Zbt4-$TE2Qy_CA4ZCMP)_Dr4mVnZrmX$G(z@pk z$0bW5y&M!eIIFe!;-kz4m0-V2G z?~5v_*gt{BAGmy{V4^EVszD>PcSRqW=3RaISYyIBiRy9dl|%w+o?3lQW&EnpW%Guo zj0#;2%PW(Ax&1`_GS^V1BfAN8O-5#}k7EZ_9YQ7EZl}&ds8koX^>go8+ub86r3n8G zcSYWctZMYdQM13`2&(c>xG73+%v+sY8n!M8ClOOi!*ve+A=AcSb>$Gz*Q1dgc5E*U1dhpLTT&RD1VZo zYL!UE`@xyyLERC4JOrF-Y#g}4c1PYr=DdN3ze15=$NU*Z`!Pv?gi1-UFN^T#Sd6sS z%{`j=WTr&pu4sp;`E@0g!mQBlA}X`-a?~O%t`m=N$Jdjp!0Ij0=NBS_mdCfq`FzoA z^ZcI12Lh-1&$z2`8MwUckgy``9Oetg)C^$L7mDaskHHGlK_!c=lTpv^tFMM{={MtT zK;bblKwdO2xCVzPyH0o+^PzFw5ziZw1);_SZ!J4A9xs%uvH`B9aHpR!yt=BlD9Y=A z5DgvYI?6EpUj+Hr`A^S|HU{C}UL5j09u-S|dZ8xo>UExVtzm0)=ucG%G9D9ARg`YgeU<1asV Io%qg8Tr{!0QheVwih6G86S0CW zcdSZD3FGm#_4SBz*AED{>~PL90;;`SDZsmFYU63oQ|~RHt{sfg)J`#uhw55s!QNGi7HH|- z<;1{?_f9OC_9+XT^WtC+>YXR_x{{yFOv-d#wLD~BO!QAAPIYjv+{u<--jo6?dL9^1 zKzZ9^d!YpIIivVVYJcKXWml}gy2p!s2Pi-^UkwM{#Yf>)OOXhM0kN;A;Jr}aS+k#Rnk_C5Y9 zSc`|gu`J`w(i>E)(=?589Cbp*gBf05Q}nAsBsB6cN5BY2?h|=;Q=fYOG1g@DPR(?& zCvOyF!h!emc_i``lU(vi{u4|}7c2Z)j?ZbC{;}WV2Owbe86tityw-OV?o4?f2Nf_- zRUeWDW>yxc3!WpcZs<&X{j4+_%2SgkG1H7YMXj;JK_x)-Bcx6_HLt}XInL)5u5m}5 zqd}WZhPm%KYN-1hGF~9i>Dp^pp#_d$4S&77@WqR-J2QI;>LP_T%xz6c_4qjiN_B7< zo0D+fyV?p{WZk$iVfW*T9Ye&jxmI2Gq-r^_ZKXM108r~zBjF%1Juzw4oY(3lCZwWO zXWntrDQfYI;>PR{Y-MA)JH!j)^PV|u=90W5tl|hO`IH2HO9q<*7fy}^)lp?e>Z6ee z6re0--mypXd0=m~PZx^8ms}lXEIeARO(gA=-ph}u9l5`C0^zA{T<5R;-qfXCgMIZ6 zc+fq5BAfqA3!A5PgdCct-4*Ztd_VS2h$-Wb?f379X^XrZSEVG4j%?<>!jT2evY8w) z4l9r?tEA8otnd8KhKY2q-SNmqD zzkVKWy5#rSyPlO(-JJ*6%`_kG^7R`Q=|yb`#{Aj!J?xQY z1NUm2h|#ZWt~H!(@u$wH{BT++s9k(H`NMWi+pg3z;QcS|z#v|s(EA>C#7hRt1XIed zPW#ly8cPwB)YO>8m1wwmBCd{1^IYF_+K_M&2;QT$btW9H*J1Yk8I#i4^{5}i@-KrE z^q$WEV?M%=Z2F^X8{I>Xl8eTt#=SR_0OoCaa$rhdZJm__t_Wg`na`sMV`h@0Y7(M1 zk$WX23L;gH<$xtCsmGWy%g$Nwy*@hK|BHhnhNOA_83++NV$1V5HoD8|B zwwx(p-XGf)=KnN3amiMcBhfvtb$ z5-*4L?Xm56wcI62_e8}R@Ns{h)ri97iGi|YY7@r>h+e6g(BQz34O({vt9`h5$gbhI z&O4~o_s5y1@wo63od{h!uLVDw8(bNk>`Qwr0Tn@~dndwgDPDk67f|lsCQY3;kK4FS zl)pcO+@Ua;?PqDp@`(IAbrYz)kpHm9UixCq+wv*946fMIr=Mt(eyf-ZuhXrs;od7; zA%QDPWi+67I@Nlmu5)9^fJF3_a-Nx7S2_L#<;bs>{VnC7qS|~U_*~AX<6*2(^6}TwT1nIQ0q!R69Hh^0dJF)0U-YKxT@ExsNC1 zhWD_6MB5Is+a2x;DTpl2X_Y`wnA)#L!XqYk73}1u~x) z)oiv?hmGi&W;yrKwdxg>P<)!HnBh=Kot9{;TR*=d4BbEoz7CNQsqOhZa_rmg^U?RC zAzXW(W~E~J!49U@P^G2Nf9NAAw(W0qF}Q3wOSJ(?zP9VaGPuFPY#*=_v{e0P#?;w2 zdR}S-hOfUPhbWF2_OqOsszk$oSJk>Ie#$fd8K!7^|I@*9w~QwVZAtELl+pc4;%^G@ z$HnD6yR%(;=F8@Ol}1{x+jGIB%>gY4bXx=52BKmz=RXi0?SFarmF&O1nf-iD(%mrS zI4H0n#1n2L#}6lC6qCajY$cpIQg9o0Ku!d#31bpYH=dVJG1RL5@p`t&-{;zE0?jyS zJ5fH~rLr%Q%!gH0HgYL`UuCXQAbH|q04B|e4^TZw^FWwFEG&`s!HTeI8i!gBq6=v zX>uv1u=)EG088+n?7pe-!ONvUy#f+~$ zq1D;qgw!#`={b#}_RFz!GH+0kq7ueBb@%uILuW%!Ci6|-m!kHbFV=b;`KPk42i+Se z*WVYM#@oI57HOo7k_bQSo|+8rR~=i$#hbxwaa(8%9sjr6k zF^u^JN30V<;D_A%l&K2JPp56|M}WA4_rhz-Kv}>0RUwBft@;x7n`*qZoHQ9)ja{=- z)1zkPQI8<96Z-`rM+!1Uq^THT1xOLW=Gfu9hYV+<%|loKaQ!Ga0pjGxYUO8Z8cC+1 znpMyZsjvVZNfIv%2e++T-oQ0F+qqgdU?=-6Z&TFl92JmX84;NboW%3? zDGTZD?GlZamTMMh=>L@0y)b zy%8M`%ZhdmZ(R|Tf75IGyo2HW5A9i1(9K_3fS9lAy%_R9r@QUpCHH}WkwgSqh@?!m z25b)P2bv=i?SU=^eJTcbJ|qX_p{rbFSQ`~cf88r#Q&WMdz!CloUv=9Z$={5%FE&&` z(r{ZCy4GQh)HdppAxu^MRWRnre0(da-ox_}L{+(x6ivm}IC#Qj@c%bvB9KqgOjXXC z3!x*=>m5bprI~d0n<)rEVNNjtdg@Nr#j+0UP_-uIo3qf?{cg#?lxnlW6|;SV>TeHp0^6#TPW zQpH-vc>xLuudOU59=_TU{uh+)m1oj;PO$a&?dVGS>i8ydmpAFtDjIJ&aiDOl#i8F; zF-QE_E!Bmc{g>Pl;J@mYT9R~cxUG-uek>pcNu!VsIAUA4zRZQai zv^^Xd&#B^expBPKp4(+{2#KKWUYL7^8rbj)K2tK6KiX06mkJro?1P(v%}aq5bHd*M z)Uw*Y1*jFZYev5lV0gF%0vKiPw6WG=!gyWK=;)e&`j5TH$6DxG%2Kp`D`#ab{iP&T zWLlgP6M4ne6)0rvqADrt$+R8J05o_qve5u}(yVx_3Fp|=ZNaE=psqGm7F$AqQVbQH zGv=b6=7_MtWa$Fz`>FFYftb`M$jiy`L7U*#?qDB|@}? z%_g;1W9c~TJ@E>)D;E6U5~}SVNhn0-$es}xWAY#sQ)p3D&GD?a-h!Lo`t?b~BpUG~ zli0$B(99c6JZ@bF-xO0Jt1D8?=dw!vz*gVJ9rLg!l2u56G_geAq0x(NJGNc*9@NM4 zpmOnl!au^%i*AdCZD9a;#a2Y*s3Z0dmA*5ApkqzDIEb$^mFts~r9XCCs!MuLn*ve% zuDCbgI51x*8i2a(EnC7mR9a&?dKYfQCQ~qP;_(fBhEvw(j>5OqQUb2}afRi!&$P zmHb8nj8`&vRlgdbvDm>6Nd)oSA*egwzBAfs0{adM)=kYsBuJ%-A%kaqLPBg=4LR}I z=+R}Iccz%0?ZFqEaN0+Ruj<%LD0;opdTzaWY970?<+QPK~HI5izE!_GNnwD`3I zAI!~ZvvJ`kYYt`>gSS(KeLl}rsIQaLlqMN71Fw`(xCZMQTxWzG-f^?H03?ocIzC?X zkq6Z|?Vn5AZs>TmH@N6zss%uupSk?$jtdSSX+i75EkqJr(zk?$ zSTOi4sK4js#x85fuJ^Wh-Mr{-2&|I*mR_MD z*LcsyC%QrNh|afmW^)_arv_2;%Rd6w#-%ooIb; zn_m$S#2wrrIEBzcAgLPNtis3}oZ>ePs+L7_q>fBILgwCEFo=3!7ELh`sjZy9V1W-O`Ws_q#`zpc}yH^>3Nv z>JyDQ$P^EXllEheqihQ(rlGg|rS#x{@VVDr+#8nvS5}(6fqdubo9s%f6H?MxfZ?I>?i{-p0wlFrI z!1nzJSm#y;WOo)56}R)ZYN~drF*KY9JY1Gy zT_e&lny^QxzqqQ%XrT$(zXi4DR0b_Jk}B=Njy8PKcLL^Q%FpFFeV?2X{UFnGGF;06 zWiM9*^wQ0YCR^MHRJYvhX{ZNTStx&YaW6z9d*K_uq@E;TI~JJC@@E73hZ|^>|3*<^ zA6EJJ5A(q4s7_lW(lNIbBC1TKsuASNs02vFiU*jIv#*QU8DZaYzmTHAyvs~cu(U%d zlRKJp=v_!B0q(Z(LBS0@4k#Fq{Szp=9m<7*(0Z3i@=S6=rG$?UBQq1zwuML!y1}H; zL19#lpWEs?aBLQ=<9{Vh62yKB;o-jWV8Vp(1bm#>ulo$^tF56wE${^_;pkl7t6NNM zm%h`4dM)y9pChZzh)Wcpx71YiHr1M{PwG9<{r!hq{%O%?@=uCBtN%{XN6Yb#i@u}R zqObpV(HH)^==1-VMc-_vXv#%69YpzX^TiSei8?c~ZrA4Bnzt_+dO_~zYz^g;lJdcO zw^ab~ZaB@3ID5F^P*~Mua)v(n8~xu*eU;MsN%G(z=_;27HViFY>V*?0~|q~&O^`{?*DZTXB6-;o*;-GO?n8dcV9``0oBS!kK?iV_5htI>IR6Q-Oy zm~luXQ0GeQ!QvNVC#?`em>B>?nu*6@!QMZW;)9q}J&D#r2TWMr-K zgM+`t@6@SLzBIRqVq;O>OQ{pTE+VzF2z*?U31$j!f;hSiev-lmJ#4edq3E*zi@vsx zAF}6hFgWv`^zV7K2t=2z?tcyHVYbj&K0KeK3Uh;WpS1KR?Uc1iza~5MT+Vaf=G&Z< zkMZy?Tugi!5LnoN_1Vtv$;+0^gD!~62{uqo!&XdDn4=$3F?Lp7>5&cC=+k?%XT#@ zdf0^4p2=a;4wWzoV}mHbg<{Z+bA%Js+oc~F*d<$c--jUwnK+zM12kddYWW*NBE{br z6-0bqmh-6`syp$ftG6+nG6mOV#&GM`PCfmncB%sJ&vvTS)BWGssZ&Sq-`>!!H%&o; zQco#k2eZu#1wWqv=^sXX{{XZcyh}H_({GS&gD?Z!w$(J(-3Xqvx+lIeQzn_>_3zr? zFSUSJyY|~~NgjaCdaWNVmmTUphlZa-g;a((PIQ*ZTD7;!4jB?|z;9I6>P$22#J`5; z1fD=?;oaN8cnlJ&g2P?Fa+@2!_tXz)^!j5l{tc3UD5FH@bV@xHSEPQSd*cNi5*UOll|31wR5JK8V_xZN7VaY{20yiZN5$NJTXXD zj*+i02itu2dMOv)nf2cJm%Jp*O$oIl#X74tzGY%2Fd#_ zx*N^z{GH<2^8YR@T_I~EC1zO!ObFivmA%BKu_|z-e(<20dpoL-^FHBN*~4Xl1kb87 zsSV&8dlOwfxHkCFYtKN-2`kY>&S+_glN^~8c8Fc*g)L1%wv|>kvr|i|6i2ATZVh$}`r!qc(SQ+0SG=4r-!XkqagZPa;Fkg9;OdTyDAh+mzSbXU` zbgeEXU>7wc?1hjCgact35(6SWP{+g-veE#Y*f;6F)XKcV(#1d~CRC9$o4eHIQ(a+~!Z=O2G4BF~4#S9O}L&`jK6U905OI$!VyP6`zps_D#%d zjVK8vYyaF93eFpt(veW4()dJclve#V4rT9!>-D%>=yMeVuDk^65Cn&Kje_lCv6R`Q zDB`zov|~(^LPoT7PEsKaS(lxJlk?CYRCBb(dO|*gp(f27r>5lb#VSH1g|;%NMe+gm zxPussVQ!1Sj+d2Pa2vyEf2*p-(h3^0TZMk1)sVag;*jhPd{7(T^8t+(4!w8BKYKo6 z|DDIBN94NTFzA1jVC9}91Vx;9Be7&zMSt@>em3O1O0NQTP{WR<4(Dst?6ZXCX&5-{ zoca2!ihgi0oq`-1*B|Hb2*DuD$@#uIrIXE0Kyv(!yL$=5Ugu(7f4sb$p_jT#xiEZ^~D@;^4UbBERVlH5xDhHEpi04Kd>#TA_8Rd>W~PTa-Mph0hWY>ZLH~ z@mO)&)fD;D?pE)QC}e_@k^rIh-cl)CVVAQ>-2Ul7VeDq7x~2MD31NDG{koH3@6owq z_PUm;?F$>!iyz5nTSjkf#LsSOe0Tp^<1zoa#ydzZTkyd!@She0c@X{V_KSPP20Vb# zCo$e(55V9)c%r0}W2c|uVVxh;j`Zgm&*txHykD?j23=wC_?p)ouP|Qtb(!KRtUrWQ zuAjVvAMu~$lXMxve`5yIKTPxxkm5Z%%VK|3!DLS?9ogCuAlK>gJo%+D<$TAK$IkcB zTL*v^bN_jaC-yI6yq^Ej7%xQfSq16?-;$4`KznY-|clM?~ zY@zyC2W<!C}0 zyig6En1Y&s^MO;G#(TC9RBAf9cTY2f)>&y5^}Kl*J?u)r#io18{NULgIND?gUYMh4 z({UhuIZoceF&@lq)+b%E!VD@}8`YV=nZz{DZP1p)xabHxF?v4Q!{I&XY<$I-wV+!G zz?~;B-(ThLJySYYTl8OByL1vz;orA*zwl9O9H@~Br3he~tMy7=BZRa2QbPvBPl{xN zd)yx&58KqNcQ6nT6Uv?76BHzdbjq2=`_@ZIV1h`=lammtCbm9U>Fr?KO7nT6sao_C zV+Lu5Mc+niz{NfC9UeoK{fs-TbxHiH#!BJm3AgaGrk1xQ_v|L}a}ElQ(lFIGFX=~L ziN$AiT%jjkY$>AM0D+Jnt(FR01{do?OvgfVo1*+Oh5ea)-q<{`wdmydSbA(%$*_Pb%0e z5kzQLQ1ZCYICNg%J*4N{H;KiW9bVGN^53wz$rj7TpcD!{)!43FziYddqS!rWco2O= zrjCoCXf4didGR;@ek+K{by9(EOvCz=XB8t4UvfB5=A%zF<2*I52X<2!e%P86Qoiip zxb?~gBvGY)^_bY)Zmt2DD6`TEB! zqzx}MLwM08ryo3^UbH-s6jiho)+D2^Uk9W!m{(4@q)@4uF+V84(7tX?Y$Xsy7;g+2 z8A^+8cKbDy))Q@`tYJS5(#7R5mYS`@BEPVh>q1w*yYf0*w(vYYJ!Ai|W_=|6LnS45 zFtVY!8M*`dH(Sd5#}kg|iH2T}9^EQ7dd|N#;Hq~8)1*!AoDRmg0rKbng9%4N(E+CBH2h^a?AJh!%B z8MV6;lY`BZ{Nx4L3;en=;c&(+M%(p1q=JKiI1?6IK@W_6w`VCx5UKqH>9wz|U7DSM zMD}2l^o2_@$>z*GS`$^uQn8E-{HdDLh32c`ds&5}8dfEjp~Hb>U8 zjo#*lWy%M1T@DZB+knTuw=u1h&<=qe$*Z9W9{g8PRgL8Ky`x`UQ4G4KEnmn>CxCwA z_~S57dVTM2utbIU2Q!dj{`m|f_ge~q;pE?%$hG8uc?MGY?|F#|wZ>>TLQR8^JV&WQH)4K4wN7}`<#PJ{VvYs*XZRfAI>fZF!={cW>*Z4%BHe!yC&y6zgk|^qN>9HPs|&D)~}uO_T=dJ-Lbbe zz>q}-@*@qi*`8iYo&Vly&LwMNNo_?d^#dl@^9IfATfj=P&-0>!eV#v6aH_cJ!@Zw+ z*~Kit{57u=EHMKN9%2zUGoaU__i_fW`t^Z3{=KyxI{of4h=vyhF zC@>--;l&c)!bobf*>E4OmMQRI*lzh|v(AD`X-Op}9h zsHpiy0>+pVpOtn(T4v-8wA8DTA`hhG0j>4G)E_rr}^-pa`-=MGWx%`PXqupk5%1<)mxqd^bOf3v_*IKlLP_{l)qaJmVy0HT+q zB{!VKKcAj33V4kys{bA6WHCPinf_DIA=(Xj&GP>t=sbasySzO=%+KG0dDCU7Gfkay z6GB2nR7hny1EP!>iVUMckB#$b+0!Db3DMg`OwNg#U+2ZXEFd{RzQeTZBCTnzS^0Jk zjmb(%4+FoC61X-(nK`b&ZZUZm4+D>onQ3Z{j(!L9^2{4QZdj~rx?S-;>6+p_{@K~a z+;PxL{BuYv+knz(#S~kB11q^BtFOzUZvW-ErxU+)b!7dSolZO1({j(XPfug_WM!ls z%((&hQRVY6RDs-SLoTniAv*DjJoT;3gA7^SO$O7~{Jz>97c*Fo4;TP`ucQ3n(e@|p zy#BZwPi}9e9P7Ee#!h8VhYcUb|a#JQbk*TVc(n1mUO37 z+2YyE*J|xnnt0V`7s@MNllmf!im~G}3BUkEyzczbTetPLDLx0pkS4&2Eq}D9wzF92 zeNR>Y;%EI9YH!1En(NksxX^$_I?Cj@PneDDOA^KEhUtrN{nuj|@cCCz=qk7!F|k%~ zTEDN`FtG^N7pxw$)RCc)uMr6b^H0Nr5n+CY|MDj{@-7;tvJDg=MZ5kq&~X6u$2ACv zK5TdxsK5d^QuOB6hu~oZArfn0e?RyOG9rZO^$sXeR1wNQeh>aL1i2B?>(V0A&}axc zzn2ao4nW5uYN+f;ZB;?w$*f&mUBNDo)aAGl!XD3?eD8vi@1wQc@k&+e_W2^D@QiAN zCL}Km@z0+rt(@85;x%V}b!l!Mf<@2}R-sR*j%yjpt~P&JbH8lKa-T9ExefQ+xIe)J ztw)QkO|w1UljmX#f9qg9SRP#kz1Dw`yJ2`dCTmZ;ZB0a(`%gOHaM7O0{- zmyD=Yt1tDG`SmMlTSe&e{?W7UJ zJ>OfqF^6ir1y%}B&BbfiUIJ5uu4uvOm!!(^f@A9P>!l-a3)p>bk;XfQmbOParEaS- zhYbLZIauU0?0z#OxZOYxfg67_qJ)i~x3CzgMjUxNpd*TGpT*X6u=Y7lcdds)7!Me3 zwfpqSfK{c{^Kx#S%YJj~X2bnT`zA0V-Vpu$%MW?;^D;bUef`$NejtCMbd>SZy{y8o zj^J%U*j<=fqt4-)uqxX8j;&*n_&@U-8$TSw zU6tF}D=eodh*`o?N!~EU?YgM=nWAE$lS&)nWyBqPz&QFe>41>jV zJ;Q~=tS3I_%9)PzbB_<0!XUdq=jDK)?CbbAB1qIy;TAtTv(>3Hy}k<u0^hhpVUY9|Bi+nZEHzsTb)-lULgq<6paYU-6iRxf z>Z)8CRQ!+b+@X?x$9=cBGz@mFu8z6%Wz4*(wP=x_!cmeEmrOa_hMj9$tl)@pS&ipr zBP+ib7j$+HVpqQY+2S=VMySy}l>NMjZG`Xf55Kk?z5ZheT@>%=pAdN3Y18<*oZQ^a z4&mzob6Z0P@2BV{i1*;)CYQ@tO%EH!<5s^DdqLpIUf|jQwz`@Kmi#(r!krVy!&&_f zG3^Ph$v#w2I}8gi-%sk(b58$c*0p!+XjEEPzUu||-qzqe)SFSNpXQ7-9XR1q!D&2n zEYrUq`UNpb-t`rgP*7Dq;DRBO1J{3;(tb>V3Y{TzS!cQRKs_p_zrpk!XFuMA={BOSSVuCBSK_$w($Z^Bh~=50E;G9e7&j>l=Y;@EC3y)f4hor;9~M zFdp@}a$^-?Tz#9FVUNnp0$&+1mK2#kZhx;9KUXYAl!nm^H<*K6CeEsj2_ftrL@61B zL_s#zRwS6}hNK36LFdc*A*bZqP5D`M$+-yg7dO678jx@R;nC&RkaIMR36M}~{h-?cl>RTl{HdUmaN&{!T+ zm@{#O%!qj`!Ta&3<3_zZH7WwvN`BrZP=T+8=#SMS{Xj21q--QHft{Bj9Lx_C8Y+dB z3VSOr3Ynk~lfj5M|@_5+RbBzZmQt&uvsHnJ9M4l|#+&v-H`>qbWcjyi4xSZ%1UH0}C7Js5xl zET|hSCQMH`z=djXj&=Sg0_Ia$qd`qiE9*t)qyEI(&_0JGpY`y}Zr`h^_3@|bK3Bc2 zn>J9kv*#J8QX|(&Ju`L(6f;hQ-yuYDM_3*??RO*hB8ba z%NTZv1VvpEhwGWCY%%YIJb2OxL|Skzw_cOWW$Hq#i;M3yJTH28Ec)ZZElXxKq9`m| zxipKal_*>3NT*as`@xLyG5s4sfc28cyqQ*V9 zO|!Jvh{t4&4gGV2YfcJ_-dT>D4QuVi;Qb)!A2#EJ>5-@bp_cl0jV(Iy<(B(m$edzC zS2ZTR=;#}Q4~%&uuQ?-gc!a0`L$HMV8%OzNOS*G`A;qdbn>yb(MHsdWt5XRum_|~z z(~@zgQBeSOxkY?9jsYjjW--LmsHtlBrbwf&QzUuLN`Aa{dD%b1X*kv#HHE>eQ!YN9 zKc=#OF;7nkKcIALgCSn`yq4d$DhL@CsXry~#_23NwsB6c{c3gM;+|cywh&p=ZRNE5 zG07qF*~Xy9#3w-cMZCp#0`4q+t1#SP(_CAO;d3}m-jY~kyiW1!SMdo9w~@S*@hmg- zn5u|hC^S)mSaD>EvQyD)9D(B^QQ53J?94lQtjW?UN{`^!_BRA>ZhTw)k7$K?1#KfH z+Udp{qleo3qKLihpM|2&UgdT4Mo|w?#5tksmaKltXVPeRJvrteJx0z+1U<>%-p&BS z{%*Nf?7MIBm-wfT)iNV;Fj|wINum>z3CLUTQ4SzK85wMXq$$o`(mkKj0h<;s>4}6D z#xEeGX8X1A$(^?W|4(yg9T3Nt;Q1s3w**Ll;O-hEK%f%{Zoz{#?(W{fgS%S@!QI{6 z-7UB~G)`aTcQdndw=*|8yLYqKfARh)y1S~Y-sgSg`7$<)4Oa$)Ra`uo%ObjawY0S6 zA6-n5s@hW-2h=_ws9Hi>d>N~lXGUdd%%4qo60dh;dM@ugd$^CXBHc|Am#U+}4*uAK zjz_*8aRtA(%CK@jg_=#!O)>cfg9#n{sZ>am-=6kbgk`+pYXos7o`dATYU zrgpG&Cst&{YmvSJ3Q;f6xnc-*zSL$Vv|qgg*KD57WyiWBh-G--C00e4)NGf-Zc=AQ zZ5j+>-k!3&OyY>q*@`{@X}tWJQ>i}i+huoX*~|$vV%2Myu+1ViJT&fZ3q5G>ZwI*3 z?eS7S7$S8Q#FewpgoU-Y1~SxglYhOv*#wcuq51Y!#l$jd@<1@cD6$7kHZ=9sw+`^s&ZsyGt(y7DC*|LavmZ%p#Pkr*q?{tm6-;+Fn zrGZ;$i~H3E8`Tl@l&MDFl=5lr0N*p*k^C8|1A8%vG_3c9;19&piNc#j$2=ZZxZ;MG zdvd(@d%W^e{%;?7;#4L#NSt_jBwitezY&g-BcpsoDSm@xBjW*{XEDCzoUnAa_ww}Y zDp`z?qN>|9<#c6@*VMPH;GIducoXvaw$oRaH8;0^mw{4WsY{zx`!i+4Ms|z(>~S#c zUbv*FJ6{+J&?2@^)IeVzN&;SdpQ&$W>+#h?Vq-fQpWI^M%s+?9n^(yvK|(fSywD`r zzw?>pG7hdQ!hMa6_S?LW?$Z_n;SXs^yL?3EA{yn7abUp8|M8VAt`;danv;12L29WV zmtZC$hBHzak|>){5Y)Jo{N?WS^y@I?<|GIFfNH76RY2Rl|(C(wZ1Y#H&0;Ygr@#cf*L74q?6^2o+3vtIcO&pY}f@Es@fCOP%{ zs&C0mIXQ?br3YCHt(x5d46o0&(irWqPJ z0qKfD?AA4D(lEVGa=>i)cDHHWf6@B6x!44RJcYJa29sGHn30$zU-@K3w7FAliW z{CqA8pkEUdk&CSBh9Pbsnwn~g33tdoj1_4%u9k2)V6sicx^Gh@GLr3^ub5B)gW``{ z@NjGANrh-PfHOYD)aOBwMvv$NVr{c~-(PpV|Jo*Whn?|ULLCyp>Kl-$jH~cv%6b?G zGCd>!mYcXh+`Laqr4jLu)_f1c>pFe*JZ~Q_aF3dK^AA^{zo)9ORAG>`vBFk?JM3ho zxiypBynE$K!=uu45hT{Z>}Y+ybXd}C1lCqva(9o5hQpk8&sbonkFe7Vf*_f@KTm7j z&Cz1_i5-#Avv$+V!09SIjZQe(AG<(3ao*+k50UF)SKah`X(lYrC2$t1U$U$ z(WNKGG??w<3l8a2q5>s7Ib$V*AKT9Or_aqf_jjz9nT*pn?n2X{@bI{ZT#VXKYGkU@ z*RPr1jJn7X-;IiA9UEduj?NWik-89n zUgK#+!;1Xd2p4WsKJG7xIFo0)7o~uV8ky^`Ly8|L&86VPi0GE=I68(*!Nru?TmK%V ze_!3aO#+X}0xB#LRc^d8?4WdLiMNau>(Fvh;twM7@4M%%oUINKs!6Oa zG6;Y6l7*!6`Vj=EAx-7?Eu6}7HCM!=pxf7=#uF?u4~5_DY5|`X<{HVOF2cS!9H@~@ z93W@=ITnb4?Q@r}S3(Ab>Kx|vE&C6G#S5r`qNI{0D8BGEax7PGU(52k}E%^su-MvateV+YgG&7cc09Wj?<>*57=X z!5(Wo(YU^{c~XmEwN{n``XR4U=RUnsyFJfJ`GLVXn5tz(!X)@{|L>EHf69P_i}+k( zceEe{Qb$;(OJ1Q!&I_YaWJ&z)Um<8wdLi59!f)2@qH&O!LwqY2yOGNxjJ^8xHaU7T zeEk9(VS0yu#W@=tn&PWo8WQ{VmHE#wJRwnWHZ*?dfF`RUJlBvst7<~ZWx-0frF^IC z%9K^dL&&dVwoum8du)04ft+!=tr$1H!g)2bkca(i--IQp)>(!IJDYp|d&|+sArg{= z4(}dthVxG9J+!;J27%Wi>Gvu^3-M+F8a~MHC8xTx?jzb!${k)Z1|B{aBRtUCz^2=; z(M_9PaU03Acz*rH7K?`c&S>}gcW(nS!`9`i7QNMWPz4Q?D|Ro=Tbwy5$m7l19xBdwQJbNkCK~dmTm#3+JyGa42?`YIi_0jV?p(q!!*5+)5xGCy zM_W;zLmO&8E_d5uj_5A`sB&MiVpr9Rj(j@fwC|!lEwxoN?_YJ+a_=%M^&4y!jUI)v zFn;O6=3NHUIHTdsuEq>)4x?f3I}xuZK^OJx{RcKbfBHI^7D9jjs!nRs^|9j=QH!wy zlBzqhtaa}`{i5ZQvhjoCA@{3%y4yLm{dv_~LOiMJn_$jMJt_8wiC1S~X{~t#-z1KL zS10A@iFoCmN#rNKZ+w1vxpc}XI7@rvab(HN{ne6Xqhq_qrd(Q(0jNO%TirGsfg2N6 z%13*@gY|8O@~)iE&TSWM$tfV`q&@<5=~H}a)JC`g)rD)LH})sAE3)_1m>+u5(uFeM zzNa-dt$dEemrap6r|%Zx5l1^Hu{){aSLApGq#~~KQ`mfN^{#6}5L(bL07$(kQMus- zta4RW&-y%c%VL$wAp@ufAWcS^$TaH6^X{CDncA-%_ihj8ILT(b5!M_*nC_CX2*y-| zgH^VAKj0JP7j3cNZrfJ5s}&TtpJ9~pH-wDA-Db#3_?VON$gQ7jrN+#2mKs&uo#^|g zdnyWJ{P~n&FTvm5(5$p^@00wBoFK8_agWv8od1N%-ea@>hB+P~iGYZ^xLf3n`XSm* z5^6j`=)4PpnAIVwa|q^19%QGwem(Li%EF}v)bn>V>c{IDN`qn|!*(cbSKI(WbQ1ZZ&}IFxeRc_)b(p*dd$9$PXZP@Hl2`8Ld$iG*Va zy?pTi0`%T#7H6cpRCBN%ZnFuz-`fra5R&BvA*wjBGe(`g49|Y?D;Yb63%C^;?|ufp zJ6&Bb`2_ohT$4OkrptUxSmkhyj{V1SS3;=}YYqmv7uK0%{)lBCEq##va78VL$K*#& zY%8|UZa=VcFm`zBnSm4%B?aBs1re{eev-gIakQ60O~np+N`9`$TVJg4$mXAKK2Pa; zp7nz3}Jl!@}+=(W&Y6M2oT{KmC7c1Q8%GxSB@FD!9#d2W1LYe{SbP&8_Wj7<6 zupBXfo%5AttUC_S8g%IGLNeKUIL zb!=Ws0SP3yondSo!r75Xp_M4N9rdu+ap`v#&fL1JqB?~|KydqZCr4o0Pn3AgDVW4) zH>yXq{(!|@1IyRQ7d@W+fu*F>b$BX)H_@6;FMXv}vX9|2p1Tq?8@*UYU`W4fh|9YC zFtYrTRyYxA-UB%@8y;&eeL1Eh!XWJF$*~I%xu-W{JGUeXQH}jz)_P>0vCmtN0UU*8 zvai;Y9GR?Dp=)JwHyABs#8VqF$Uccy4Cv)AvcM6pZ=Q9gy1r9e79fquQ0D zG}JggABB}-Y-zR|l6vjhM zDD*ARD?XbGk|&p16R%qkJASW6nS-YPIqK<>s*r&Wan743g(-}TIaU$~LbrhYWZI7^ zQMxOAsmWwHE*6U0?=C5*gu~j6g_~hp-o3f-HIFZkZ)(j(i|4u9i?gbfq&89oDzImH z$y_*5Ry2U2mK1L1sFX4dK0WElLhrc3j$si)eBr5YC#H)UW^dc94Vk|T$%ddrHAFbY zGjBq|T>`_O+^j%g)jnDsUPNwqY!1w_E3c)$9c?JCS}tqEFI{MdTdo%ju|&PIU`I_$ z4C>RAUR|#Fa_;G=t%W{ep>O4x7*i%)sLKi_o=+^P`YT#Aiv=wc8T z{U~GD|L<0RG6=pk?bzOmq%Bp=q-Jew;>fKO9n$I`VTu+FXO-r!ro`sx-?E`9KcW|RFIHWNZh#)MyY zj|2oXa>pLTB_+E&S;ObIx?`mKD1DVb%PX#|i3uQXib6k=J+*xv=e3(4qr{o+#zdB3 zL(h_|XM|yBDL_!GK2|m}y&Cqdlk%f5s)zlMpXAIa2hq@`pi`Y%imlQJ?#PH?IO9{1 zTiAt`VL0utbFL;C(SUQyk8W{)Xkh;vQz7FoKm3`gK6Hw*?*27XeKnG6?kv&gz&0tB zGv8liocv=(L1`}hv4Fq3PlAA%NF%2|Pf~`8@zam#3?F?;t~sftGQtCk`H!MBA+weC zw5&RaUweuB+d+dhF$mEwCl?%29Ql|7h(rr~XL9|< zkGC4?%s#y&P;MUfnqClag_8*&$mtL#XzV@Ky2J68@`#(Wahs#SB&DDu);r{GtZ{@} z2!3tkNvNK zt46tOYOS8h25MGzDxCc>*_(0t-$p%!JC`0ecjxhu_-mwU&&Tc({bB8UqUc(>x3OY{ zIEGdRfKp9o>z(96!*JY^_HD~=yS*hGuGPUAJDmUFWo&)_X2oMS|BOG`Q?)jA#+wIa z3H1wb_~E{g`}H`8QsFtZ`Rty@>8^|WFC$=?S33>MNtKR;j&H(Q-uSuBtPKZKtX!tT zx3@dKS!jCJA_#qKB5Ib-cz>oVTBDZu2&BNKZ^3U%HllRmM{AUtEI*=<31ngV2SqDZ zrMcHK(7lh4G)WCpR%&fKmL2Ck+IR{wg8H`A<`V?U28oy`g=tBeSYn9E&dxiUlK@B$ zhKl=k@y=eZ*}i6RkKq(WV0D>C@01jXk)-yQP3%FRZ@F2Av-@&#&47d16uq*X@M4tf zY6qr$HW z;zPwnHQOXJN?fU~7WkC!HS_&jH(e{ez0g2upRfA5of~r@wjQ1Rh(>lJQRo{vvU*#! zKex_kixW9QCFz$9Z#>Swl#`LznQqKgBa8jt<*KSC;njc7RrGb&>Mb?crEarE5z=4e znQCPSP3JM<+XD}=y)qA2yIx^ze8U+>_=&BOF6381M`bcij*==8!q#^otJ2Ho`YZ>- zQrf4R9i{n>c+doGCqAf-8rRI}fWkj?ZF&1>%NA}2Dk$LYNkFqeSxGM7d2^ZFvj5l> zd}GnIV*mq{6b`nfyz^Gy0!fUcO1kj(jIE*k1*txI<{*Fb_-Ey$Ua9bZv7B^&0n|N{ z&i}J|65%8uucN=IIxhq?XO>@V0uYjcAtg<22n8b+!^Nv_H?fR;R@;*?WLpCnQ4 zz87KZ5yYdfpz!w zAqQrM^X3|^F(H`BDy~hMG=rJQ`kt@{(PuVj;3{YC{uNc}Hzu%w2wG1e9)mjS6M6=r zq0Ez`tyZ?z!bXSZumBq~&I3<_mnFn#g0}}xA7?CF+^bEffNBS05)nft{rSVX1BfRL zm;It8{^sB{-Cs*i$f9O9zstp!hH4D|^H>F}yH6i)KL1^pN9XdQFXI&suF@E7pP2l_ zpmdFT*-J@5K}rNwG7et9>l0p6Q_Wv-NTJeXWYlQF%E-YL+T-T41W)KJGCBxmC{G7H9@8JC{gy?a%+@k7UYBIc7Msl$9R=5 z{M)8dsZzD6!p+DVVkcwr4bf42^o~|-kaixi}*!cGt`=jb@E(#n6!M~ zosj~(Uceg1s}@@Y_SlW=f~lQ04adkjAjIUvYs{*)gN+^3_WcKaPDw+*Cef5BeN#oSX1ev-VH;VugE<4!IM^Jd`f{ z)$)VRau1F}PJ!^qIS|B$0!|_2`b@w#VnwgSbEcNBJ|0Bnp)b;-heM(nh z;Li67I%ISf#HpY6xy9qvRmsDfc-xoQX=oab6So?|Am zO1_Vb3d(n+PIfIJseGIfinz_nf;}06hQ5=07Q1O+(H!57z;1bK-wmFQ@3w$!lnse8 zM_id0U|FfQmls@}-fbSQG6hui_?dz4dUsoN`{4A-Dz%t7J%{Q8z~p?SvPJOSEp6Y; z4vyaowrGXn^vwD}bOj}-M5|l+ZXx;#bCHj$3J<6?Fo#$FQ{C}sBNt}7eayitb7CtH zKt1T!{CZOIVKnvIBMnwHjjP5V=DLq1!i~wy{{bi6|B15xV#=eH8)F-&R}VyuwT?!1 zYbvtvO6uiQIM!=B*bRBRebVO?+q4f^+C79KKlg4W?_z_FwVd^qh(=N4+MO7`3e{AF zA$p6=5*xGV1ZeW4B8sY1>|)B6+c>F~@F5h}EYQ5T(85{s4_ocQ-A#F?yyPc7BC`y| zyuJ{lSD?04uSXsFRp*;h-_5!ZR98O+o*xo4V>!XpAjgRi3#O6N6zhz~+ zKZvx6dO7gDps!JPBN5WUF3&2VwFk(u{wLOxd%7qEZ-!M}B(h2DRt84cPsw9*30|L# zlUU|}Q85eR7!pr@O%!^%@Uy@!W#4lcP)kg=*_m}3JIph43dI|g-NW_Kk|?l%9IgAf`5lJq%f=Pk?OAf=d+-3ok-h!9 zk|N?wry7rsU0q)2s0mHtg5r&Se!&R#8orp1nAILj+bw{jVvQo#KEu=X)q?VnQT+Hf ziU>r_b@h7*k++cu1YOm`hXXgi=Mf3MMYP6MJ?~UaI6znwbm;LxmLS~HVf!XRjpY7f=g{vn+M=~F5Em&`XGcDh-J=sj zsJMBoJ8&C%@a~Z0{Ig{$S7I{zo$h#k-^g;mS&4_pn2TT*`af^FJ1)ro7n$xJX7uiE zUyw9kVD{m7Arn-)g56z-Nv>6YpDT2p_}H_k^0%Qhej+dYiA2xkRYPUShQDLSv4^zb z<5TwFjm#Z!c3#oYVQJtYo0NsF7iray`n^aWM-=K3&sUQrUyQ{e?#-%{5iOwq_3Mg; z2iqxB^k&50X%6f$FV2S6NSmbRN3}gHf2k&6XZOyveY#rDEeiNaaVk;&(`u9-3ve+) z`1@7x**#GxOsh{i@9`ITuGqMUSlP|LprHI_pqRQ4IRT?f3cK3vQ_c-a8GY!;_^HRX zLK~Ly;68(APrDz)Q1-w=s)?=4IHR*| z#Jd(4TdasBxi<7XA9l9Q^EQ#+jM^^!1~ZoTYw&~FHk;eD)a$|}Q6T6f`*{9> z|^v1!A<9E>vQ z{}W*JZ$>+Te`vJh`w85d{|iRDkEdECl4ZyGmxZaMe%ko_>0M5X?MGc!a-*vsP_kBr zu53rb>7Cc-oOt#I91T@oklrmGRrvV*eFXZY8H+jzGu~)|VOhb>aPQ5J*rW863RfU) z)1k?8E{#utt(Cav=iF%iO=4n7iyH+broV+il5qdXWcN=Y&>s@hBs(Q#lEB{gq`(@y zTzAR=r&4?%t9GNZCrom;ZWc7a;eHthC4biq}L#n1G?P*-Jl0bhuVz$c z)tU5I@jfe2l`@ERWJ$pW7z)$uIJ0F?j#4~4*O;kFKIoh%C3fbL`cbpf@3U=%O7hT% zIk@pVGX8`HQ+8^%e$Vd}n8PQ9A-1+`16yL|7j_LcIItQjJu770OJ4gg zIRMn?eLKNzN7>@X{@Y^P%B@1X*$&n;ex#$*ox=g1J>5JZPb-@OK%WTKIz7CIv0z2NgtVo55g4SnmX+(Qj;5tH9l5542)bQ=^dlPR3 zmrdAX0P3fl{=vH5SCBAvUv)R@#t1&+5`LN_)1QZr#;$a>NpqKUKdZxQlHRhzRnFb= zVXczS`M!?FS8x6L5p%Bb9H;@eSgH>$B0)3S@}9Z}zWh2=7pGnM$EyTfM1)@0<6RBW z#T$%+*^X~{b}qNo#)9@VIVeu&TlELoh;H@-z?N>2ohH$$CxePoN2VxO&0R@X=Wyqy z3BNU~fuH))YZvIP@Hu=&k6K4XeO&;fojk@Tn^pjTLt_QQ0 z?ktT?-<;Pr6`L0qzfj_u>Qs>VtucYVvVbsaHs{KmxdXrXFPb{Aipr*V`IzH^OQeG zPs1pZ`@=3U)Azu&4BXAv|5cito6K;Jrp+uDhpaXGe&9VPfpyC!q)%z)!&Qg!aDc z`(`jYrLV49b0_i~`mP^?;tv6dIr}dH(pA$vBQ}eC zV7(3*%fqVUZQr&=>(}J1vkggt>${2xyuuXG#+2UcE{M^XEcX2Dt`d-dz~xZ%AG#(m zn`!B<{|z}q9vTGG$ZWrzTEBg1Z68+G`bNr4MGU`&-Jb_M=@K19O7YyIdi!N=dG;x( zFq`>3CH1{4$HRO>cC>Ri(9<9%K%*(rF39&*0$5zU!v4O_Ng*aCDZ&hDU!|upwTFz4 z%a@T1W>&knP$x%;BNcuBncLhI>5kDKevl#f3~<`PO|Yfr|5&|%KQfiTAkI*OL!vtR zk&$pPY`L5^^;c4n!T%x^4X4>s3ENE#_9UiMrq?Vl4qMbzvVa55=Xc~hTX%l`Hv!Jj z_VN5XhxX8kqRf3#{Pk}bMH!3p4^CVct_09hBq{ck3h;sLFXP;t<>K|q1sk4&cf*wL z6K~-NoX=vd%Cu6tSQcLW&v21-HPbmQ$l88bz>iEJ-N12C3)&0UD;CuA;N?_!lIh7eah&ZM|!(D*vZStUWq6eGF)P|AOX4Q;9=Fao)8IJZKKJs{ zq(eM3{5#ndxKRCy>;_6rwXq|4<1$Stf++O|hZL0$IJtrdz3n zjWAd8B-}Jqm;lC;nN{ic&YV-Wu863o+8Nmzu` z%Y;&$f~&5a?NhJxOE+MTrU<+LRU~4Go!Y@!L*vz<>%dEi{Ae3;nsTTmG^t;G8kYvvl(Ej~j4H%Vo9Tt74Oy9mf$xT-oYnuTwEF$byEx`mE7Voc47`K?z z2Cg2cqdB?o@vS{-(hv=Y^q2E3zA(TB(zgfop@oTq9$O&Ay(i4jlGL69)wimpjwBZC zi!?BoZ+}?391LRS*2Tn;j}>iC|0~A3Id=6vL){;3YM&=OFhBVH163&XhU`z26ZDL{ zh3J`XdKf<_KoIc*zl&Q-2Kn2xcZpj{Apy2gc(dT`UuJH(#?Rl_&7CUo=pkJ8oY>%_ zKjo;>^xg%RoH+nHBblx|kGkvBWhl~z#o^9E>c7a4^GlO&hsySq*gOrmxw_q^&aDdcega+w5aC4Qi#x0nOW9)A#gO1-{k~Tc76C zU`FTQ=C#xa4dtj-Yy7jHZu(?-9`^+A55TklpSRuVIq$6E)&il$pyky-n(EJM>#c{s zX;T}!TAz~oQ1=HR{D#WA(Wi7ANn$rRH1vnHPo0)*=q*%U5M{`(n$Jtva?j?PmCC8) zU<(vtzT87jVXB_TserFg{^;q!z1&p&w`fQG8QlkH-ICFQ*uRetWhUz*_1K6VZv~(= zpoBJFf!7YfkKXA+nj*G^L6>(dv-LJ_`NFxM0IhQ(d=tdH!{c!J@s0;7_E&QVQw~JC zgS^>Q?xP&sy|xuFD*Zf%I)Bftx$)M@^q$`rFL(V1P|F5^SiK>Zf@NQ)?x+o%fA6~u z53eB4znvb^(*9!+tJRmto5$e=a!dqR-osH+L{9E!92wczg&g9PRAbkN!@&ORS5?KC z`&d!##f!PMv?)qdAM3yiIu{5sN{X5Ig2=m}i9Z((CjL#uIhkPRf4&sgW0b6XhEM7T z)zP08%w9?xc-(f<73w*RlN-K3|GV}$tD&9012ZnM8w^jLASH@_`l$G?02}oq62I=3 zdgXE+{V(y9;J&sI`ju4!MXtj2zJ>XCXb6f~eV}|m=umpr;LV}Yf6>y|zQ?1YxA*hc z@Z2^HU|vJPK>){!hoHzClV_F_>n+#D*m*0~%;@z9nzo1uq9LH=2OUJGK0Sjxxp(ut z{P*TKX-rK3lKva;<{iNb!tV~c+Xlaf=Iasg#k^^u8l~LUumeWPrOy=173nF^K}TpO z_0InVHXMtz#iM*CuN6y|@;=P$c-iMi{n3*!$nlZzm)E{uBjDo$v?Bw)#7_6v7bY4f zk?l&cPv_IVCXycK5)ZW?>Si-VSeT`q8k53uc&0c?##NoiAuT#V%}eoGx3yBiEXy|l z8Lvw-ZQ!i7p$78xby+FHL3?q^2pWvljb;1(i08`bXmk0&rm5OXOz%DNOM%=ai-bKh zn<5_A3ZdeZB4(wk>c;tZSOckVBYeTVIMh|#Yfmu)uA(EV)J{;zI6iENB(E(Z zE9h-BEZ8}_whlys+{}N!ZmuJn8#2$-e>g-?_5 zri)iM;Xv&qsG$&$^r@eJgYvwo84ndCX~16^(PdFKSifYuDV6U=&&THyDB%I!USoW; zShw939%qLPnhkg-{&bwsfFaYIG29X#$T7LA-M{v)!Z)8!4qRRq^w<;+YXt8nsdOl! zzUm5KGb~!$zMEbxNywvPA&0R%z*-d5>D+Q6u8ow-&wss{7XXRQ;U2(HX7dc-s&(TmX6PVY3nLUI!<(}P6~hLunW)bNJ1v*KYV^SmvV(4 z&WbxnfVcy%kP7@NStVtG?CSD_02Zb&z*!? zLfIc57r$dHrs(muj9r@_pK`#OjTsdcL%g-UO^g?zLk)Mkg&l%wG)TUP?>*x z@qE>bYFQfhIq(+?5Mv@m@+NhD3MfCoxD6F>>H%XUEuf467=Ju@26Qn1V{crbiUAnE zX#6TR`+NKg9ylKIT&p)p#B*N&ohAOA1597H2Kgi zm*Y~Zx1^Uqmi!U;XVgp?eZk_W`5Bdk!<+CD8jgNNr;vnPd^@qk2Wg<58VU0P{{lJj z`|MmN!97fcUFM8}QHMCsZfoTRsPyP8fx*4eeAn&U>_JUKgZ1)Ye_lR@f_!!TIDGL8 z{&K4!+V3a0Q!>C#l}D3$C(<0_Va@H+3bsz7DuI^KK-3G&onSMb8JHX_R<3)6NZ+s+ z;?w9Yc!rA72Rg$-b)WzycVhi#MF;$fAGAElTuQ9;;}Dq&He)Ui1~dmkV0P*qOQ$3) z>-!jL&2fskmQ%B+W6%kchVipKqQr+=uGQ&bsdZrMTP1U?@rz?J{p!nVPFZ<) z53xMxDxNQ^E7vX~sN;LY*7J0smz~`V?UCMxgw8)4ChB;$fxs6#Vy@R?RN`Smt_H-rdT4d-Wn(P38I{4yCQtn*!Au zbKD>mLhvq1CuFr=kK|}{Z7K$}HRA8{X$?DdSj4J|@ zQ~(hP#(YU?bCML0%AJtMY5 ziE29-J>i+_aOJD&`T`Z+HzHuQ0#J6LlK0ad=i1ZFM<@?5tiuA>c7Q|))~)RsW_dp_ z=m|yF(#REhX6`^UHwIa5vinAuwh{pHq}9B~ZI-cmS{))p^#pi{3(I^e7S#6sA1iBC AvH$=8 literal 0 HcmV?d00001 diff --git a/docs/main.tex b/docs/main.tex index 2ca8a70b..30665171 100644 --- a/docs/main.tex +++ b/docs/main.tex @@ -27,6 +27,7 @@ \ActivateBG \begin{SCn} \input{ostis_metasystem} +\input{translateMainSystemIdtfFromScToFileAgent} \input{bibliography/biblio} \end{SCn} \end{document} diff --git a/docs/translateMainSystemIdtfFromScToFileAgent.tex b/docs/translateMainSystemIdtfFromScToFileAgent.tex new file mode 100644 index 00000000..4c375ae5 --- /dev/null +++ b/docs/translateMainSystemIdtfFromScToFileAgent.tex @@ -0,0 +1,40 @@ + +\scnheader{Агент перевода основных и системных идентификаторов узлов из sc-памяти в текстовый файл} + +\scnidtf{sc-агент трансляции идентификаторов узлов из sc-памяти в текстовый файл} +\begin{scnrelfromvector}{задачи} + \scnitem{поиск системных и основных идентификаторов узлов в sc-памяти} + \scnitem{проверка узлов на наличие только одного системного идентификатора и одного основного идентификатора на русском языке} + \scnitem{трансляция в текстовый файл является} +\end{scnrelfromvector} +\begin{scnrelfrom}{аргументы агента} + {пустое множество} +\end{scnrelfrom} +\begin{scnrelfrom}{алгоритм} +{ + \begin{scnitemize} + \item Поиск всех узлов с помощью итератора, который ищет все конструкции вида \scnfileimage[20em]{images/translate_agent_alg_1.png} + \item Проверка каждого узла на выполнение трех условий: + \begin{scnitemizeii} + \item Наличие только одного системного идентификатора. + \item Наличие только одного основного русского идентификатора. + \item Принадлежность одному из sc-типов узлов. + \end{scnitemizeii} + \item Если не выполняется одно из условий, то запись данных об узле в файл не выполняется. + \item Если у узла более одного системного идентификатора, то вызывается исключение. + \item Если все три условия выполняются, то данные об узле записываются в файл. + \item Если произошла ошибка при работе с файлом, вызывается исключение. + \end{scnitemize} +} +\end{scnrelfrom} +\begin{scnrelfrom}{ответ агента} + {В результате агент создает текстовый файл, в котором в виде словаря формируются структуры. + Роль ключа играет основной русский идентификатор, роль значения -- пара, в которой на первом месте стоит системный идентификатор, а на втором -- sc-тип узла.} +\end{scnrelfrom} +\begin{scnindent} + \begin{scnrelfrom}{пример} + {\{\scnqqi{main\_ru\_identifier}, \{\scnqqi{system\_identifier}, \scnqqi{sc\_type}\} \}} + \end{scnrelfrom} +\end{scnindent} +\scnrelfrom{пример входной конструкции}{\scnfileimage[30em]{images/translate_agent_input.png}} +\scnrelfrom{пример выходной конструкции}{\scnfileimage[30em]{images/translate_agent_output.png}} \ No newline at end of file