From cc32904e34beb0fa94412e3bf7ce5bc9e38e4ca7 Mon Sep 17 00:00:00 2001 From: danielratiu Date: Tue, 10 Dec 2024 12:38:55 +0100 Subject: [PATCH] mpsbasics, safety: fix the doc2word tests (#121) * mpsbasics, safety: fix the doc2word tests * mpsbasics.docx4j: improved error reporting in case of tests failures * mpsbasics.docx4j: enhance comparator for generated DOCX4j documents with the possibility to ignore certain lines --------- Co-authored-by: ratiud --- .../models/com.fasten.assurance.build.mps | 67 -- .../models/com.mbeddr.formal.safety.build.mps | 67 -- ...word._010_simple_documents_tests@tests.mps | 97 +++ .../test_witness/_100_node_references.docx | Bin 12604 -> 35351 bytes .../_110_argument_over_hazards.docx | Bin 24174 -> 35601 bytes code/languages/com.mpsbasics/.mps/modules.xml | 1 - .../com.mpsbasics.docx4j.diffx.lib.msd | 30 - .../com.mpsbasics.docx4j.testutils.msd | 7 +- .../models/com.mpsbasics.docx4j.testutils.mps | 665 +++++++++++------- 9 files changed, 526 insertions(+), 408 deletions(-) delete mode 100644 code/languages/com.mpsbasics/solutions/com.mpsbasics.docx4j.diffx.lib/com.mpsbasics.docx4j.diffx.lib.msd diff --git a/code/languages/com.mbeddr.formal.safety/solutions/com.fasten.assurance.build/models/com.fasten.assurance.build.mps b/code/languages/com.mbeddr.formal.safety/solutions/com.fasten.assurance.build/models/com.fasten.assurance.build.mps index f33048475..20b7cc0e7 100644 --- a/code/languages/com.mbeddr.formal.safety/solutions/com.fasten.assurance.build/models/com.fasten.assurance.build.mps +++ b/code/languages/com.mbeddr.formal.safety/solutions/com.fasten.assurance.build/models/com.fasten.assurance.build.mps @@ -2609,68 +2609,6 @@ - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - @@ -2735,11 +2673,6 @@ - - - - - diff --git a/code/languages/com.mbeddr.formal.safety/solutions/com.mbeddr.formal.safety.build/models/com.mbeddr.formal.safety.build.mps b/code/languages/com.mbeddr.formal.safety/solutions/com.mbeddr.formal.safety.build/models/com.mbeddr.formal.safety.build.mps index 60d013c91..a288dc553 100644 --- a/code/languages/com.mbeddr.formal.safety/solutions/com.mbeddr.formal.safety.build/models/com.mbeddr.formal.safety.build.mps +++ b/code/languages/com.mbeddr.formal.safety/solutions/com.mbeddr.formal.safety.build/models/com.mbeddr.formal.safety.build.mps @@ -2861,68 +2861,6 @@ - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - @@ -2987,11 +2925,6 @@ - - - - - diff --git a/code/languages/com.mbeddr.formal.safety/tests/test.com.fasten.safety.doc2word/models/test.com.fasten.safety.doc2word._010_simple_documents_tests@tests.mps b/code/languages/com.mbeddr.formal.safety/tests/test.com.fasten.safety.doc2word/models/test.com.fasten.safety.doc2word._010_simple_documents_tests@tests.mps index 9ed8be0cb..2eb91d750 100644 --- a/code/languages/com.mbeddr.formal.safety/tests/test.com.fasten.safety.doc2word/models/test.com.fasten.safety.doc2word._010_simple_documents_tests@tests.mps +++ b/code/languages/com.mbeddr.formal.safety/tests/test.com.fasten.safety.doc2word/models/test.com.fasten.safety.doc2word._010_simple_documents_tests@tests.mps @@ -166,10 +166,14 @@ + + + + @@ -246,6 +250,14 @@ + + + + + + + + @@ -301,6 +313,10 @@ + + + + @@ -350,6 +366,10 @@ + + + + @@ -399,6 +419,10 @@ + + + + @@ -448,6 +472,10 @@ + + + + @@ -497,6 +525,10 @@ + + + + @@ -634,6 +666,10 @@ + + + + @@ -683,6 +719,10 @@ + + + + @@ -1209,6 +1249,9 @@ + + + @@ -1225,6 +1268,12 @@ + + + + + + @@ -1514,10 +1563,58 @@ + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + diff --git a/code/languages/com.mbeddr.formal.safety/tests/test.com.fasten.safety.doc2word/test_witness/_100_node_references.docx b/code/languages/com.mbeddr.formal.safety/tests/test.com.fasten.safety.doc2word/test_witness/_100_node_references.docx index 68f888baeb92d216e35e7f5d1e239bf7514bae3a..3eb4cd9fe157b8afd5ec1cc4e9cdfebe9fa695a2 100644 GIT binary patch delta 30832 zcmcHA1yEeizAyS9!GZ_Z0Kwe@1a}zRJ-EB;B7p$G3GObz-7UDgySoH;c$4J6&pmse zTXo;7SGS6y7Bh>P1=IcO?oWSLvq5|eB(l6T6g0*wI5@ahH1*#!Dv-S(pno4!g+pNf zJ&OJTNd`#TE`Gph#ohzf_SksULpDEDpyl>yzTb5DLgBY>Eua+Bt*R|BvG{oJu1UxE zy*GG##UV%_>D2plamZFCe9xZ%J<_{W9#b82a^tJ zeK&j@+}_Z!#qaG1T@!D`mMpinc?%yIWAg(f!%iJ1a_F9nJS0R|plW(ZP z#jJ`ebUALnR70$*za$hQM=H)$GD|1Ym#Z?}tH)a;L1tl4=np8DDp;?PhV9~`t%N^V z+t&j^UE;578qG_?LsU~y-*X7TIe5}#Z*OE+0Bemc(R&#U8?xQG&~CA07+m9bh~0sRi+JM9?QM z0F(og$6z+p6N2?ns%Up2E0$^Z zGm-+xu3om_>NodAIS~{e_h6S@-1Y9+q@P-0hZzjqvY5*d%B`QQ)^4@P6KW5XdDv5= z&i%wV)rah+buh@pqab*Brky5vdfS1c4*}3mYJQg=zkjmkOdwcK!i$JotwJJN{@(j+ z^ALtu({O6sz|$a9{M-2JNFiF=wiY3Bn=~7UetX zIe5s-&(mopdPuL-Z9O&gdxp@9DGi6OH8?!*ktGsF_IETQ|0=7fVj(w?3qAS)WF;|S z=(#KGt76CQXj&@|BNC#v{nCsc(C?*Ix}lRniEeM8n-ES~P7)I57irOIH=^$W5A&P|bqGE4bP+9BOTmN}F!ITCZ)l3o5NTJH zCi3L!5u{!vX)wE3QLTD@#g}__FtupVAW65l>v#X)dZ!il(&T##$V_ z^{NN`)vJFm8C8og^#9ZhM7Rf-zt!Un%C~eZ-y zbm?0v;G4XxI1&OL`1w~zk`f|{uUAo(b=0p$k=SMW}}J1C13dzq}D|a)DG87cl-pPrWoE!=aEG%y{ zZh$^cfd2C_Gh%^Fh%qx<8pP82Fe#@_iVQw1HJu={(D%bOd|w2|Mh1|VM8hS&%= zZx3L`#Kmp2e}?+tw1?XI^6W{#>!Ccq+6M4jap0HgH0>mY{eE4Xoz?GX5YyX(@e1W50HE2oZdALp2>q5%lzIGIjZLJqZBM5+sd>Y++80 z2z=i8#l_irAn^wO3vj`IM*MO{JaDb|a;2x<>eW!G853sA_bhVK>e3@%em^G1k!m zWou)jJET-}Nu@T{nRHF#jY$Gu$D_IB(nKS-CzGud-1R8~;KK9g|A6S&WDlb(EKkJE z?{tgG!otF2KJlL14FLf`(dKNtaQZvB^slDXCu9;5k`E4BLFb{EC5m@KVRPXjCG)I; z^7OT&6%Bl`(`2=s28S52YYWKGGx1L9yO#9#WwQ8IdadwEo|J32e*p7bMDJvu~NMEB==KJsJ8sZW+YOKRm^R)FfYj_q9w0Z!;XDdRRH4fpAH$mV3t zkh5qt!-F^WZtmtVSad$y1a*G|5@l%}B} zK<4v&k!}d=c_GFoRoLykZ@xN%A*VMyR2aheIpLkx563pFe7$UQH*F)Rb>=}1D4>;i z|6tQ=qdxFNpQ&Lq$oK&5NSsazS@?Ry>u(1!Y)6wHm*&}zBYq9yaXk?c5b#Bp_de^! z{@{IIjh;}fUIEG2{0owllr(0I2H@nJJ*01IglR&bOR0+e0ef#nIxwKLv;ZqQ6!FZaax%d=J`Q9@>D|MIXJywhpq0 zk68o{=`VN0#?!$gSJ(25Et#_L1_M^RF{``xzQwBSC5>6yNOngSxQ84f1}h;|vEJeW z?9Gs3qt@dW+NDFOJlG~x^T!DRx&kU%-m+Y(Iz=#c>ClY3|MmWF3ijTzUN&R!l8F{6 zfByVATnkvZ2KKTeNa^Wi+ye$&Ms}`B_Mv#`6P(-N8U43@Y9oNW9r5{4?gPKitm^k( zexn$w!XPO|bTgZQ4SI0O{LV4sTPPeyUobbz}jJQlrXPP1Qd_&5Sq?!$fUW$DIM z(DU&JFQ1p}IU+V>?;70jYLi3L@}UIZHP}4T%@Ro*Gp<|$TTF;)#c25Jbzd4`Xk}(1 zh*(i*Wep+-6-&eDK29a8$=F9}89A!9MTUtNY~)NT17xg(v>wXn__gTS^d6zVR|N!| zMWaDrj*pLLesq%^l{8OJ&3qMnz5g}6ySv-Wny}S&mvtfJZK)fD!1IQG>H4aZ>^D}8 z&uL{2FN}Pqe4{c?C_h6u8zU8?Kl?lO{<=+n`8Kz9L%{X73io`m5fIgG^U-n7E6mCg za;HlDLUkXY=jh0Ke?PUhrJHjO*ulpoefhQDr7_12klN_v)u}T7X~v<1oxZ_1cz7Md z$(*rk!D(fU&LO%X?q!pZ&fSHm_hq=oe|se1#6KT!z*#t1#{K-L568jZN*%EN&oe!? zA2R+aGH=6!|NNT%qdyeQ??MXb01`z-;%~cWWL3G*iuQ4SX*eaewMzK{PG7shBl|P=|PHev&O1Y@8wq_uG>oZHM705>m!30S}z z-BPHyUoJ^7*9?a3s692Qo>1n;S$y09Gn(1Fb* zQ?7Gz@$u0%kkN-yxJ-xbe~oI_phnZkeeo3Aw%3#Xy>=X&kg0Kt!101~TxeLeOgY6Xid`{%~9AKHfd#9a3Q9xQ*y;^o!gcjVA1qkk<>VOy#!h4Q=#B0 zCwv~v7#HGe@!7Hxog6#3Wcs*Zpa^)=6Z~2(5>?xBzl^h-ww;^XFSqa?$ylZ7e^=yUR;U|3*y(irPbiB7Y^6 zSrw8>t>ItxwzuEqMom}<@$m7_F4A8JOlfIjSq^JJ=n|YXhH+-Q^%IK5ZA+Ue+!d)< z$%jl*EaSk?xA5rElrsrNRD2!T_sOU6S$x;Ed~`fZVR%XRp^!<#QH0?_SEh1(s}il2 zrLg2alox6mO{l#wm&qTNnxSTGzHcv$M~hydRTh;U{}8;2TJ8@tQyH3c^0+eJ%XOcW z>ulbHOGA15%G5e(DJQ6PRrHfSo}I>)Ph>2Z2bjO%epAlm|iZsD8hrli28f9)ajG+k6IWuhH2b>8`#D^2u0ww#vbv0eXWebn$2Mq)|t%88gf;5E6;*1#$}W42SP&EHW&mc(cDoQv?bm4oNrXnW`_d zsn8c%llpkq`+ms%;TEDj| zpNz>`k%?kx^($GtvRX-zrK+m(NUG8>KKl3185ub7Ded4Xo;adaToI6*#F~h#DZoD4j1uvU1M$|I4tZ*@sef{nQ1G@oH-Y0!fzJD~Y`~{ySBqdj zdDO|^ETs&M?@)T^{vEbypm_7+V-=ic^&4CMJMxtU2W07V-7qz>loCFhCH`^`NBALD zzq2hpmyBxbqc`o#^w_8$0dmy0X%Rnp=8vh`w%vOqY=Vj`0~&B9zY=1FY6W~_q*!aB z*B%I7YOCCEL`4 z4`)-)JugTc1zDdjt8qyfzmibhz8l)16Hg-IuSRMAuI{fbO~F#^%v6SXj`U+z#_$Gp zLy0yLJNoMu4(-I?Ld<3kA(B_@@{>Aoh3tI3jAO;Yh@eO>VejWXE34rjVzP~_p-ZVc z!3PN3T6+xKel;D$Ou!xiDWi5nK#uy2RywE0L+o^b(S_>!;wP#3{E{{;U|X;=IR#0m zZ7-&(Z@C`3Vq6u2gBxmga@(cr^uxClLdtShE5_D}8J>xtnH51VG~@1@?lj><<}l-$ z;H7br9|d%o>m!mLvbZisC0(Cyy}StH{Irus1fA|1iHOrgKvYZ#FK^?SUd-qzJFz76DJZlDK!wW<_~Lb!8A~`Lp}Chai-+T zu8pOt%-NZF2UwMq&qv~M_dDG(+e0fOm9#Lu2KDssy+e#kI$NkxB7{)stno?c;s0v= zL)xyM1|bBC_iI}-@sAv1E8fB-iiS}(4X0YxSnuPw)%NyR#k8iRrlZLpv~j6nGJ4NW z@(~=aqgBNenciP#>J#cwQocCW! zgFs!6tGs^Ek|9h_l``68ss+3F;O6F<543WZDf67^4d2oRFIFkgh1;$?lkll0-2reR0Ic0ZLb22;2Bh|wxTD{qeJiWbF~R!|-w`S-}rI~4Hbf6`uD z+Q@5tYxaEN?9a;zj}jv2;*LBFgqfGuQCln9y@!S(+%E`nN6uYTr82)p9-n!epWVlT zLiMKep^B&@IlZT0d-j6oN1N1wXr{}Xh2UA*yAU8ag)jhwW$HOXEb3VZ4Fh8^d^ie$ zi6(L1W@^7`=oo{WQp~53r1k_2ORLGW!iHS3i`+n{_O$;o59BTat<1Kn9Ce4- z@!NF?GN~equC)wZM%leW3$c@RC@O{_h3jbU9>Ol;&ydX5Y6^*BrEaj_5@Xy5p0ul2yX@zQ30)e&tI1H*(3ieo?2QA3j~{Uv%H*FOvsz^D z2pjYXP1-(;lGnAa-ffh59A}Ns%y5uqeDB|o^Q3V&l2E=r?&gwkr+)=i2a|KvKfz{n zPp{qZ`t<3umjJ*a{k)DV58&R(zYIfsyj^>5_F2qBGng#{4>kX5X&CBTb7z&zM{T6a zNwYQ8bTyVT__q)eap?X8!IEO0xg1*g&NX5LJh2g9nso+R8<8^QFz!_f3LNE;G+pvc zv!7Eugj05ANDfJv=E`Q&6qbF5ly7ZrE6Fin@k@dfo!;cF3nW~pC~MOc?6Tnq9n46ZX=ch)!d?vtbHb?yHK2uf{%z5UL)Am!u<13L?p#n zINlQlY>ye|%-@gm0tA$U;3A$Fkfx(O9{si86j$hShrnrpB|}G=rK#^|pEj*hnUjs= zqRB{fbjyu>4?bccG*hcZaT!yOMT^N!__)5P(2`Iv7d+X)7Z*^`QTgFiz>ai)(B1oU z#I(Q)bKAny)1n2P$vLFt5OO#u1-wvq70JJON_@lgO~dj5XuXN?dht3H6;G5wI(VgG zp#)p7HcjHTsd58xV9i|aZGgytf^_zbh@^ocBf5#h*3c>!zHet^>U$_U{7B zcIjk?*dA+<=mFJ=<^iFirv^*G|4cQNZzp9hZN({HmeUU-`~{N6TAlaZ$kWEfD1muE zb-Ie5y)`}{Z~J*77fXxBU(Z|9mtPjKBNO=eg4_ddHJZ3i_WV0R#o?oPjULhf2zd>kz) zzoTbmz9!-9rt@ew6s0mu$BZQ(aUo%-b0W2O69btBS}%MlRlVv@4?poyCrvpgprh;Q zCu;~_?HZ}Jnp&6==!xzdhR>oKrIc*WrZn}OMd}jaGN%5Z5wNMM`J@P6<>hyB9W{Dy zHU>zQ-vnZaO^}P#NI1f2tIcxX+mH-ws|zZ?Ba~DdWDnpH?#EQAq)Z&GAU1MD&o8XH zaCYcwQGZ#XODV7sU2!>wKzL5s+n4o(@*|CGc0+yI=80;Y51llfUMyfCH1f&IG{r{Z z)qrbC_$&rQ(?TL?mQ0ntZva=n%h$Xb2!LFAH+*K%lLaNRkq_kvu1K+{PHOc23cZ)P z@SJ7|j(UjHe>JY@#RcDf2nuM?bpHk?RHgj39h|<0GWJgkZf~D49AWgcbfCJ6`5AtU zDZpi7%TK5B1;2`he@R{rXU~WIb%Kqe7bO7Phe1crfqY_sN$dhBEh_JROm=_6QIkN=+g?V3?MBtI=v!Fd*bWh zcS7;GjNFc%2MNo;0x)X;oeva#M4E!lEmwLDPJ5Bu$57is&luQ%mpILkOK(i6U@NBg z6yd~ywzP|}u)(WAOMbjSatd~jS%cjf-m}N*shz|0rck}@`XK)*=e!p4a}9=n+JR6& zLOpCrXxFN)o37;HX}RIO$lD!_;FwyUe;i87hqvvbTkmS&>$xKCVaT-aL3B0gw(G1+ z1Ko3V{2`^nlS;%1H= z9u&R%w9JxaYoB{z!8#PDKJ^X3niMkPmK(E1zb@)i}6;4iXZhWMvjAR z?Dn+b04Lb6_Zs-AMXb%mj>GuKW$4E_FSm}4&HT7XVQPe2C&s^*W2a(IO*3jjFa`Px zT_X-rSVEy+EG^0eco>RDp>tJgJ~%$Y9Wd6A z8phw(`+{zsR}SIek%YfdHCL*({S$Mvu7gx z>!MGI%n*abUXU8nU7?pry)=@-d>b#Qz7bGqJ&Kc{Y7TBwXYA|OhQnn&-!>;jmQU-q zz8l7jO08qlFQ+IAmbPu^}WvRI5h}cuOHGVt*+GJ$j44^ZfW8X5rFQt(8fn4n-5#OM9l; z85drrf=~Z89i4ADU(bp9v=}(%v2;f#P<6%Hefotsfo8!29Y%8x7*D~uOXUQnZR06& zLv!=?r5@dC`Bxa+m(Ax}v{s!9HGlVO`clNJ zY!-IJL^Mx(7dfo+EVA+GVi_cxtY_cX8fg1{VN#-wB)oN-m*h#arAVtmKBHO`P`p&K zx`8bui(?6ONVO>+wt9`szZHyziK!YH{gYw^==^26By=Y!zZ;rF%I z*~{CAq?AXrDJz0S??!-W!o-vM@o*(clN@oaDC7Bv15gO6(nI>EZ^(-LO5;@_ptz(B z;>bpeun%!%X=Jss;_W0AAya8ReMVfQ6cEd5#|2bWLKk;ZQ?c`(c&hb=siwW*u7xZ5 zBBaDrG-(W4SEwNQj?*pQb3gXgLn}kWi?Slzukt4Gx{2jus1O5z5B$CsW85&q{JbRj zG+*%Q4r3*IsdUOfU*fLzh|kRD>~vD!i8JEzmGYTx;8%Ki+$%g`ppG%)eG>UlvemM$ zEn1LOgOe0?TdTaoo6ecMzb{amxw;?b>eSQmUb*G%w5AiOi^tr zm_i%3*%J}SZJP#`k}=(y%2WDPR@W?p`d zvV_E7u9>*C>QRR;;W{8)7c{*#58p50lEn zum8Bw{61<_zR6;$vxTrP+(_60_U4sxcb^H1Rz&Nvx8K0I6=&iJ^lSR9$txVL_TSS! z+)Tg}ym-gR@yxrk_=mC@BXuv6)27LY?Y)_!Do*GJhMOr;_76lAji9SdOO%bcAKiX$ zz;5!S6~VQ#%y``(yvP$tnV#UxS}vz^W|z2x>}t5eAH1WMz#GmuO6?&or7F@$e{_MG zSV{PtDSM-3QRg>QFQjhxeQZ+TGjJgn?W-p9+F=D2F>vEi?l+G;>JQ`*vviq^NG~ro?zK(){Wr2QBNhSdM=zWOU0>5?LT6>lc|B(99{J2h3>}I&7HGEo&GX78?et3FG$Z^p5=)Db8{OiF;M+3ofMj<(t>XCX{&NfWM!?=vG(zunWyd1*?sAXn;+JKf zJtg^P=7riTY`w#anG;uh;BhF3MBozI6Mu!ZAd;Wgm^~BE~lRirx_axJ?BNm31U=KjPcg9Wgg>+N7W&3#!Lo}D30Er56BP4)rk8|C4f==I91PrrhFTT(>D>V2DXQtm7U84nLqldGH^-v zrIzb-aU`upuk9ZUQoDY$WfiafmMgfdnE3z#E`&14Xv)O%sgM4Tk$KYuy zA`b;0;b-&cFUk_Ijr#$b)|LoR--WRaR;rzTLr zeBo^E_G{A(uNUJ+Jt#j>!T6Oyic)pv{( zZ~B>4bK=K)4W}2Or@pDV+!%UyaT}*|40jjuz@ibl62N9vRj}vdaqW*VIk>t|7t-!o zWj5_m%^(2n8IB+70lRIy?*_}Z-Ya{@YN|}%hqa>0uW60bYoBfIECM*W@cn(psZFDr z>=_NROQ@`zU`q1`kAqh2(YbhJKbg+ydKs30QLd!L@0N5R_%wt!5X%tUdKZ$(P~N$! zF=y4Li><66puHjz@l3afzfAG+YU&Ms%<+?e8x^#PWwqi2Xrd!)O3+q}qUJ%W=^$C5 zvgH>0OjEeHDH?*ggs_|fZKK5$6qvp(&?t3hcuVXD)bxn5PJdo&i=fltQ6uiq8W3*f zVL|g91xGLD#;-gluO>d&#N5^rANIIunk(_ZoUBTJp?8?J#|+V5kI-vMM9godmhk*b zFlR4+vo~P16HJz2VRrnL`V)(+7_5HzROoD4>H%B9+8!0nVjXB`;mJZq-eKe-Vz!w0hJLKfY$OTbJkxCzQV%fLP|_X2)b+YgrSVa z(!bA^%VfR~W=;qb&);h|;s(b~;3vB%^>rRdVS%@{ zV9fZz>!6m94*-WAqJ_dp^^{>b`_8v_Iq;%kq7q9vvL2zN`2B~jWFBD}^ZCcB z>5bu4?)jJ{DxQKXiK$8cO1;J5ES!`!;#$#o@;ZRcp_muQpDc{3q!2CDIe3woo$bGg z_OMxN(T2>(ZM9*&atgvk%XnN!j`eaMw3@jRiPzxGX(r-md@8A2!9H?f0dC;w($^$PcTXHiKx>{$TqQJRI-U4O1**} z8q`&|uF>+D4OBxo!Dh7@xGCSqRoF?EN^Q7 zA|)+-_INS6dA>b3z(q(%s7UDZVKpN~O--1S!he|Wp`9~Xatwf(0P8k9u(_h4$2F*3Gl{qdM>4Nmj#i?8ts0QV;y@&Lo|Rb4mzaWA=`t%E zZCtL`v@Rn)#jH+|Z!lWs&)YPOnOc|xlav2pF?H+$yhm+FuM}{^O)ACmy@KS7i7t?V zYZx*TK{Y<1BQyQAs)lB{M+sTyp81FrN@S_e7E#VEK&1o!vE6)9GY7CE5nPh2a1A z^0LvNs4SjXX?!7XJCLu7Qa?oA5jNT&lFnq6E;(PW2>EkCYesrqDszPsD#Ma%Bv#hO zlKiV|u^Szi!uF$swK`V?WA>wV4rnC2RV&D$!t^g?Pi%^e{?~XN>Rhe8RuZccRm5V^-0*gF6IM9_2o+mPC<@pFR19zQ zoe4ou>T{A|`AOT1ulc6TtyP9M`7sM z=nZMNTUF7B`x4xMv~e+`Dr~LXL~zWi4(B#REGV$`Is^`b<3Zem`udyXN{mK`xG^hl z_2q_U4W0{8)#>_soeGh|r*P5^)gC)44y*e*z@v+;-yO z7>_&9?9ZFqw8U<^&FcS~M*BW#-JXx$$Xu(20`#vl^BW^cC|m_;$X6SR`(%4g)= zD#Whk^URSVV3*| z$;l?yXXIuqpoL>2;{*e<=d*Z(%nZ!?orbz(#6(`!Ypt)#((;-rA*{U-8PAHeEG|Fl z0xXZS!iLa-hw(&mtmc#aYBf)--&<rtuQcwlQ78cqABsu+V&j2G9r5d(!yv3@@pZnh3SfhNr@a3( zQ{_>GLS=0s+7VZ_Y(;PBnn?H5GK+?e7l5wd_5){-Gssf&_keoQ1vY%4TI<20+w=Ih z6~-fP=Pquzf}C-S8Hv?{k=hb{M^9haSymc}{YofPHC|(($s4=7c=)AK0k=o?(EN79 z-=A-BuD#ZDO{9O)sGES=&tcOAX3&|*T6TOgFWI-qo>3rfKdhP4u@8$_X0x)imNVj5 z`moCqq*EOD^peN(#l#P&TO=`XM9-zk`_$=J^`N22cZc{E>Ow2)lV(_8Ltv&(l0nim zAPZ9kC-}Y2%RlSiBEQ|b0`e>DFgPZK@g-3H9iZ72XhMS1bTma1b0WOm>_$-i97E%O zHk9QPOPks#*Xe;eCQN5(A9SpjKm4aQ6XtWS@(7joA8ed31ePZSX5F$+8t{bie(Z0O@ia@)b; z%G~dzlaaLx=E)xboX8I}(}+s!TZ{>)HE3KGU(b%tQ`+xCTntwp zB*D-sTACb_~ZPYKI3*y$4o217>(D;hf9r_piUSYV`_n@hTL7)Dw@^PJc_XOi|C zj#EX@sGm-WMElcNA(Fllg54O=a;%Do?d8%RQDksxE5^fkf>~;oHaf$&7P6o-;P3$2 zd7HemcX}7JC9gZGAH;!HO5-fgCdD%LPNpaueocawHxKAj#xqTC?pXE#jC;oPvB#0Sbg>igzQvH9aqZ1gpVS{tp8toF zf&YUiZ`s_VA_-MbWIZ__|1xVMI$+<_F3it&m#w}wY;w^0>U811kT8(t<7=bFQJ-UO ztXN)B_bAt>wBjhgJ6ReTYGf+qcm?I%JouwusE$$FIJ5ExW4vIcyWW+v_-b0AH_)f5 zOu-v3%9q2(ntP&@tb~`kOXQ0eFWI*+1D8nWA2kg3XHlThgfHmuy;(UgO6TMD)X@)x zh$t84b5=6KN9x}bv8-641K0!RN(QpNQsuV8y!i#KCj7yPtfe8#j>J;k_o89~o-71&g!h+h@@tQi+rKUN#CW2OFSt4^ zP#*Px-UC0vjp6|sR@q1R1x*kNVYt*gHLCBIc49qtrUvZ3z)v9eo|p`LAJItw$~fr3 zMZ3y1=?_Q8-$5MIa9lqJ{EdnK|B8P{GlP9oR}sv}mN>cN%zCZXTm9-6VK5$YtS!J< z0EZqQmK|lo?5dFHX`Tvy+0*2gR%}sQT<{}1!l&D;}46}5xbtPKw+pV zzwJ`#^R~@py5abf%YJ@~a2m(#P2|fIjwMehb%tiE7bp0xm8*}%8Syj!lHi*@6yj%N zODG50D}FYrL02A)rxVp};DQh($a=mKV|0rrAnoK&!kUYQwgo6V$PX&1ecj|bwyW#I zt!~*Ag<;)IGHAnwF;3}yqEqYbihixR+IBs{WT;>5Gc&&O`f$eU@@h^N~+eXMXshQ@Q5?;&hEtAcL-379CljPYC1kt8y^b3Jc z?^-1!6|O@Fe)Qb2UABJ6D>;!55;~u1$}!(Nn2jm&YBfA7Viggn8DbX=KD0oe&cEsY z&~k6oXt{dMqoo1-D1s8ba!N^Bn2ii+tyf05vXoDYd^*VV$?UKB_&t7tK{#wGtW9@o zRYt85os=~JKw~tr6X;ekoIe$5H)~AvC!!>f3U?i9%k$~el6a- z&lSB_Oo*FR(-2z}V+q~5qzFM{d4l^LGYst>rHW|W_|2$z9!*4-TRCmYD`!Qib2#|h z>ce(V1IggL84xbY-%;=cr}2^%$oW+LJPFfmNelJ)N3yCF%z1dkg$}P$wv$bX8!UkTX2n=*~tcsJ_SQjW;+T zD?1u6gjJM<3GRvOd3#W`O8+bM*tZX*(|p5RLs z;#O6L4>~sDkKxgM^Y)NDo!1-qmMvt%1)y^{hwFh8pW+Dh{G&;ZM;Z4{uP*fiGVm0z z#;?u1zceq4teEnXvQtrf4g$(soFZc5y(I_ZGl&_om~8?TY^ z08SCFu>(ht*T1~8`>3IO{Eq(T@_cSVX~ql|Va{I0On^~PxYY5rQDtaNm{H$WOh2h` zUiuI?^51h{3eNlv1PeP!(9lSm^|_EX5ru9wk1v+R#9OTd``74EKU8127Coi>X(KB9 z+1D2{Z8*TX4F3Utohi{oO(Mt@mt{F@;1c|TGb}If8UDtSBT_x9LJ+%0S-z%|Z*Ai1 zvs%{NFpp??SGq8r>vW*WBOxNTH#$%_TsME~jE#ar@E|z#!OPBJufFcUV8W%$_G41F z=&>A?b^hI8zAn(4(dw3gcY#G22<;|G#sSSJIIlgvoMJ$DzW1(V#L3U=I@~AWKkZIw zqWY83@0;Y{HU7!iX5{o=PU3hAuxqb2igpaFy8+joZkCA$R1^2_8+n}Fto@OZt~t=! z!^D3^p&~lvWRvc2#n@J_W4*Q=N=pr_io(|e}Q>b)}cx3(810vbKQPz5<7N%^(94EK0@o+O^_GI$d{F zcUfe?4mtgiHP(s)K2yraP{UXcWvL>A<}|B3l`O{KO2NXlIT^mLXiw9}5LT=G-dfr< z$69tNyq2OyxNT`B>^1>TJP8z6Q5%Jrm;zpn^j(5?v+_FCpFpWMoMa4K@Wa?kvwOy~ zeibQfF`Q&KzW@jf>>a9ygS=9-KJbR{uKE?L1;6c62(#|xTaH5Z^8aiU;NY#ur|1or zp=2GS$l-&K0-d9Jx0T?o9G!4BL$2+s{)L}&t~!u~hn+>lH?XD3X_Ow|$SGXtit+?a zQDLlLYlUFTr#M*P2rkLU9M9SsuqJ~f3u|u|$jNcTQxj#>bN{NjD(abf&g0O@J>+Ab zR$2C%EEdx=X7wMD8)yabhgHBRYkIHiXS(fgzcXHqzrS?4p_^0*{GV~rBg7tY0fx6= zvhsUcaMW}XvCeP(OyY$}!~IL}3UWR%4G6n;+#cX-Q0`O1S~^lCJN=_f?`a=cV!TYE z%JNn2o`hQnn_S;hKRA^wG*f`IV>AZ7x>Hf$9>>lzG=xe1#;*ewW8l*o*1=66^}{)f zd2Tscuk3dAy9fp*&3YAV+wHp^Rd64zbcu|mPJ+v{BNNl3~u-71>&@X^vpFFlQDwN^|~f|Zic$hbCG!{DgLPQ10*Fkjy3GGnt2 zt+F7@TjYY zMvFTTwuKqtTH^Od_DkaY_nMBUV_+2SbmlGO!rQks6||J{?s4$xr+FeW%L_q~&&oo? z*rA@6pd7e{hgnff>I8sX^#-OU7Jq3mZIM}&)MW^s!A z09|nT{Z+db4M3(1-HI~mL%dF0Xne1jo_4}Qm~>Qv z^P-6$Bbe#m~2ravWUev4%?%1VnOTm%b_?F%*$^8q0swTTC z`f}2A2VI~EiX@7^Vs#xuVyWeM;Vhzs9|J4@13zdv`i-Y?1vr-ZuTh=mIy6YIr2Nfx z&HE$K-Pg`>^Rx5eHTqcHut5LH-#nz!=ypeg zbXWSbWi;K-_g66|y}dOX{wNsf&Mp5MdoN<68)w>vAulwan>{^UTT{ZMG>b6%mT4su zAIXb(_t-A&=D$%PjKS|7z5`Qs2%ID`!hj0(*uzPBoVpD1k*SglM;bg?ZfUNEJd_cA zr-1sFZJ*pV4cdXzr|}nH`d}RPpMsarl`e@^qPA!7%Jtb zloY3-Z6h@!wgI7@?1FDnLYX-Hj}m1&s>#4HnFF%^pN$G{SFANy^ z6RUA zLD1_2go$lp9Ai6mfpeLLxwNsWXVNQ+9R~Q4ZRoEKBHyp}j1JYw?{97~{Z8**&99l0 zZ!i4RXUvo` zx9vL_&siHqD_K+X>UpLWU&fLH9eU%L+W)>0HUFYO5%r2(fM`ji3~p9P>4zgE8NGk2 zsW8$weWV%hROEx5x2CXy8h$p1p`6%#-%_^G%aRE1l3GurDy>|8rVeh&4yBfSzr1>y zxkLt^S_sqSMUQT_2db5RE>Ze`;bubzujYh5C#`3ffT&%L&UpVcq<+FW9`bQEKBm8P zEuX=6)K`}rP!5qDN0F21$Yh@o{4|KiR1Z!D!`lHlJ2%Gv|l&n5STk zBHIqmafx-*q&xbnqxe1|T;Sy7*n%f@kK3$eCwa?2JhjsNMnO&Og_i;1S8MAr+aS)l zcFmp6-^e`aK@Fb)hTw%?2@^_rW@b3riopj184*hvfjXS1( zEfFj^+uOUJ+nzp|?r5Fn*)l>)^_v?IA~>kH%cDeNd{f8gU|s8Ly2hzT5u-P=<@I_= zW#U}jbk2jxxVq3`K%k<2UOud0ImTRoJd8yo-ch&~g@61hD5t*9K&oet{mq^7ROCAU zi#_k9ty0f??MCc$`*ND%A1u2WcxuJlR`cd3w1ov<9*uV5Ie37F+Qapp%Mgg;j!m4- z7!cm+?Q$m-aBA|xteP+I`fy)nEm)L4O|(g}1G{^2+etqtmQ7S`CnuG-a0&$%_H6_C z$I+&%WglYw{<3Sq)o?^3ZxD>~8MM@(G4^knb%U*uR(i(x;oren4o@I5@91Ng*8{`U zMmyG>l^|q+mSzy|WZo}*ld>@!aE^{qsmwxaHS+$kA5IyY{<`9odpONZPgxxb2>wJs zM9U)swqO6oN(uylH7EDFiEfxgsSU}MHETP^XC*K#9?J6fJa`cAmt0v_==A=l@t1^L+yVkCeb~ z1*u;rgsQWb?WGNWm?T*O8IQkP>|K5?>Q?HkNAXd(l?X=c+8jP2qkm{C#od)yZFu=# zM8PAwZ{QqFvSHjy10I_p1Er)mKkJgJmuEN(1755a!rfTKjh8EgIHVC zC|=bVCto9mv2EaR&_tDng(_oYJb5yY0QG=eQERa2m~^r^>=US^GUZoTbEW>$PO zJT>_3V?d0?D0uDh)Vfdtx%#|d$Y#^Zvj>@xm4dK71rHT=Gv@&=8@g{_D7|hqw}uha zBY2O_v_f(&9?xEBAk1p}X3tbmv5|C=!M!`JS8BWSQQuVh5ApO>fLN~9>mdTyIoR9r zJ`}1_6#aHR*C)U9(P#Xi&8UBeG?qjlzxi7$8{)`j(mn%9Up4)h4FOiY)kap( zjG1KTZP*OOe@iB_G(-o?YI*tjS-5{wxQza!aILpPC$ny+Ft)$*&*i+uuoKhv19VNt zJpHmb){jgtn&tB{ihf4>DYbOBb^eH_kEz`8&6``3i9E584Q0xz2x+yiE1u`$qQcoqZj>t&$&W(4M#WfKr36Q!~PF_a8q?Aqd8ID zN9Mb{$V!wXm;W(J1r)Dtp{gU?hmwKyr~YD1jp4=kwQEPwF>x=%K1#16tPiw)p)0j^ z+m4_EY<#T3s#|{c;mG_CVKbdFBT!6<;J5kB*80+bUO!Dq9F+@ok(aN@$(J$s96La3 zJtsUS%dOKl$%oNEJ;*1!T3|0%s*Fn-HJcXOn0aJPs0sFY$c-?A(vL^~;*d$;&&&~; z>P*xxSWM`5eArBpc16@I#+vBUY)wae@5EHoPs!gcPj4tP)6cHhj|J*uhb)FvX;5BD z)AJGC@#t^T2tFLr=p0Jwi-w72c{|wJQh;J?3$pe*5%{ArUf*}VK9U(^wHvq?SKh~| zHbGE3c5wBI=Hqee)cwe*U5+>s7GWdeY^N;P9o#Ortzos^urs%j0P~N9Ta;dPq9A$0 zqC4S#nnq3h7z5UlXmXQPwH8m8G;^=ewOO3S?7T6sAGK}uDWcTqD94lP@vqg@ZF#za z?qe$9L(l)Rqgoud_!|)#n)Lok$!%tE2jdE+qbuWv&aIw##@sL86V%mNL)j9+t0&$P zd`0bz_ZbD?+NEZjLGI(o-XwzT7|zl zgW1b(-Itn_H7PLy?@nsXg@_8rQwhd(t?c!Sl(<8vwMtBsYm`7hkRG%bUYJ!JQNv_hkUf-)ntf9e)n;5S zY`YH;i|T}2W<8O19FZty2heBvb`-&L>gRd6mlbm$ZIPY$Q&H5=8DZD+o#Gi9i|$W* z+mW97lfaU&v?vDE)Prwx>G~=#n!eEdVf2)P)j8(ZqS#eP0h4lOZOjYxoy6w_dUggR z%r?n%@iN$WBN`ek9a5cN4vPgjpI+5o?&7+=&`pip^F~Lxda*?Z0~HY`bST0VHbe&? zmg3B=fbNg#zw774gI_JEuU>EXaE77WbLcn^`3 z!sY=Bq@J2;9#JFx4F0yJhLkCKmF3D6jw1R*Eu)A&fAM@Yv*oQE;L@)odFvjp7Nr31 zadA9sDyiB-=1Hp_G4~0(-lbGjPaqz}x_=p$AWX4EI~xXmuioZ~9<=`yV= z^K#aWPldf5pA2+U|AwNz;Q;z0Ye_2fc-1FrBQ?r;UtwipnGEscBqy^a2PZli4=$&x z-It%Qdn{*2bfHWE2vgZ=8`=r&>EjFYN2e!m^i9uZUl3@RElInvqFe~(XSWl=vP8`< z`+XHqSlTZ!unnOm{)yR>-8^LE4Wss*Iu!i%Br}ZjRK`K&L9a+QP@+Cot~z<%H!E+! zv%Y|`j^q1>@H8a!FZ89rEhO|}{rJ?cHsA5~p zJAT1_;>8t?H8~;BxOAKYFk5pYcu&w+bi{PPZpG2GpUl1>EgDUSw{Bm1_w3N2m1+AO zGg|<)cVlTWW;Khc<6%>O`?Ec55&swJRASaJnO_Z|vh8FmA$HTk_R2F+cWUo1Dws*H zrkkD35eWbk=AZ9UgPv=aAwxa?;vKC*LhYq2_-6HB#E~QAe=w9TtYKTYlmv@YmBC4^9n0 z8@^60`cOT|HD)GYN<6ziA2?ih8<6<7R7ItG(wHJ~#m%H5Oo6?#u-1m5a&jReQ{iJL z->tu~tdNEx#e0!qQmLCp&NeLs4K{psosC-N&I2*^FHwrrgXV_`TCnAzL%NcViLeNR z?MnB*qeccLf35m>gHpfVK0~QrU5$WW>Q|qEllY4`6s}$ws^@f#Y;@WG_)^~s`sutQ z>L=zCA{pkF0j`x2gbd`eGt7kS;eGn%!S~E-%W-!48Chew`pqodEM1dRSJ#*9_-~^} zMbbp#dg4Sm*>UmqIM(3WbNT0jdiZ|^evU5sT;N0@&c%;0x9FpiSZ?H+=>U9Jm?VSJ zl&8CI~3N_wA*Q%16i_uyS@<~{fZsiXJi$$xh&W(O1`jLHi#+V=AW%( z)9!`##vF5w{`f&-Bx9i_>9(du$$#w$E!h|RxVLC~{H1c#9!Wa6hAjiME6U8#^qK*P zA!il%aaC$S*=u?YG9Ii%mdRY@ykZtA^HPSA1+9?x7+$4*>k+3TkGEYOswFtcrJiyL zDR!kU7C3buad@*-GAnXOYNp}t30*`C4;kBgqg6IYC(tJ^fBDRsa@eZ zCk8ix`uvNSHkKTS<%X%}`V3iN|D09de8jh(BG1Z?zZ%8{=966l>@KJ7Y3iqAPOv1DzZ zJ?)9h0|!AbX%pzzF)LK-*^?=&TC4 zs@Qi`Pay_=Ccqt(F=4jPLm>q544PBX6wyTF_JO@WAy}M|To@`vSph>k?Yh6IEY!s$kKZ^%h(Z zMmFpQkcgO8VMAvn@vGx1gr<3%-?ldLH*E?N3JG9g6` zbs~@n{T~*A|4rrpbzRyQK#4>6R!WNO2kcEf7(-E1>XwRHs__dYuu0lUI+OU^&UqFs z2}>4>sfjbjXu!+*|N%txqM@|g&NeXdP#ePeQcNZ`9YqPK`3o8N! z4V7ZdM}tCj4J{wS^Uf~!3^nTUFh`>XJYH^`FL_!#wW;90KDXqL0Pv$RNNj^JV?TOC(lX6+MEPKT-Lb;rxLNR}u*W|$n0T5>1+g%FZD%@(C4gr^ zDI=px_6mE>$%Xc(I&dCtv8ZuTWpW0_k}p|JjKTo*b6pgxs1y@MiyYnKsB5rU6ZJC> zQUM8ex$;=uC~VHSwx*=zSa!yV(8X%EXN81*28fBQs@INgIKsDx&_?ym(w2aFrK(1! zb+;y=;n`x^xp8!G`^{kA>7YBxNv)R1S4P3&QuOO6vUn>~xr_q?GLpx-aoVXW6cykivUT)FiId`ryeoHjcQDP+N)P&Tb`Y>Q!%a zz2f-6K4_Bmas;S=c89+~hl8%Vc3>soqq4+2&twq{-SgupV#ZD^YgjTYx zrRxz6`!~-QfCUJfBw3H=*j(QnC&Fz2A<1FdbjQf<%W3vZO4Ds{^N+K@@bHryFj3XW z+mCp}qi@}UO!?gl)pp{COderD{9;Ziz^ogCO_xTZTzV?pw*E7oq4XB0-U-}Kn%z$( z?Bv5$Ypd+sp8m?23-mbpn==`Lp8NaF8~2QuV+~U=Ai-+ZVNx!3!dljEWB$~K^GdBp zn_Jj|Y^bOBMHb?rcUkQ_1@LGk=dd(fN08gq;>xuNJYEq!bjhEVGR&|LupJfBcNBoZ z7Jfl#yAHgQGnxrR*k9ffcvv>|5O0a>rPw}6YRT>)e1T@p@y(JmYm(T-(=5-%JEsV! z*<(gV0IyuUabx>TX1=7X&6eH~O!W>kJDjDOZb&q>QCoyrLfBD?i2|)W8zb~@N27TybuyGc zqu#vLUo6ycYIgP^*V3b4X-uMHs=U7j?^$|I1u^`XxpkLBt-hWpbvdGbJSZz@SdbzFvQty^IGtxDrE306r(KL`hooe|A?%IS?)m15%jFta`G(O?b*54tmcy><1DzA5t%Gx6f&B}ltIqYT$#g+YHvW2g1mGc4N%DT?gw zGY5LRhrM&w$b=t$M{^PmGCP}h8t5G-4F|Utl$vb-E@71biermB>sB3_z;bnS!1B^q zA3h~6z~O$}6|q9A;VI zsj+UVsZLL?$HnJiQm^(>UytVV6^qp>FO2=(9&7XY`T5xfSJ%F4O-7AF+T1Xhc2S8s zOpIsle0Is2P&l;je9&I7MBMs3sh_^+?2`(J)Q3yZo7%{CNfE%{v1c0Ft9XPND)uY` z&&+Y~Bq?xw!d+(<=k8}nZnj5LY+^e4Ik6Y@N<5_TUL?myNT`_&Aj{8)sn=!>nRzr? ziDl+M08icha#lyL6z%b5ii0)i@{~taQ{SC<^7GnseqtopeIwEUJ3z21}iB=`$Uk!KSv%1XIcV)B#-gtdeUHN4rw^`Kdtf~f70uZ zof#R776*sVT##;#cRa4fk1(;6tvwUcN0#;k*e$NbzybAMbAD9krlMIfyi!`FF2m=M8DuF>LG)$2sD(of@WRSwD!z~q z?x3+T2zZi{Fb_rPY#&+|jX!Pp=$fr{6_u~D3z_{0UNmyLvCGt|nl0A6D$=1*SO*JV z{qFN@Y$hTXIZ`nPk389a##5EodVl3|aW z+YDH=T@ToRB{s1%KWEv&>&tV|?m7;2u8IPt?}idch&&e+=i50%t!*49EhEA?B~()l zi(Zsi1eB@6plUr##fNLMV>9ZPD$vFfN>M7PzwRE?s9G#OkIIK9q zkyXZVBk-M5vR^@?xf4!rky~>4`A13p z5=421v_%7+S*)u9!+?2$0>VC|q)LQ3txF*Jy1tl7A!_uNk4#Q%)DPtLge^)@!=r%| zHaS)O+q39AwG7u~2iCB2%g?YvpfL?TUItc&$;Ig`l3Nf$n!D1~`ortc_ng18>4rDd znS1VgVf$UQ+UuqYXAFHFw3l^=8quMjw`$`V0QAD1DTXIk0 zXtb-dc=;N4sOCU;3H=l+l8Z_@<4QW;FFo5%9p7VVmY{|{>@{yBSFL3gM&Ip(COB(^ zr>`mly)N>@*ykU@U9`n#ICPfULJ|I52C?R8*3;HWC2<-GwI!>Qmn&+(b?WT zWjgkk78feKu-(rKHlkaJ7Om`VmYhFM4q2KUaPn)-I$rM+aaUf>RIqUP(|N>XZ40NL zgy1(Jv@9R-H0#TzIX2Jo3_mkZwtRXi#8})F<#T$Eab!Qx-Un^O@E$VYIRJ>?9~|sX z?h&i2(|_I_$_P9wTO&(UE%79O)wur> z)UO^2crDIRDKD7$Sh=E2ni&m6P4NAQ*yK@w0c9W%FEtdLyUaZ&#*Jz<#5->f6C`1! zdE~8Sr!o&AY8r^gxM7Y(5g9hS3JA)LE8j*@jlt5{9DtlNNDZW3Im*KuG*qduFshYZ z5xmkxuz&S741Z>9cJp4AeT#TW6k!>NCKS`Y)ofBONX;#1W!r{WL557l!&@zrvo}NO zrLQCvL}Nw0u%K49q8b;Mgd?m=jRsrz*p8IKnf2Tn1})vD>#uOcElcU&H5Tz)r(97k zxzwj-13dF@QS8X6vBeEekE$Q0YjRqfmj&3E^aYwn>(^bG9SDiS0_RzAF>#tHhTa2 zHWDLUooDQ6*lc>8bwa(M~<23wyis&tN_>t<%=}&&N4W(3HW{yO%a{&r=6Q1KJGc z>Zd&9^yTH{d*AuKy$4xLTJCgrt>?=tt;F6?p^_Wr!w);(YE;p5BBLOGF1f7b8Wy|A zt^$Pe*bO&LelJZdH7R0G&Unw^v>P*LGp`x8#CoX{HVDSvIx~bX$u_uhHOkxb#^asn~x*V2j{!M1GQ zA1*N|3LEU2X76%TlFpz0!RVBi8E1XWI0vkB`cEfV$t1s4>Je5>nBN|sE8Z4|rGymx zE12rp%RI^d3Z~Kqbr~3b?K+%+{p}4O{$d@Bmc4rRs=n-BeT@ycQ{cONjYXcGoqp@< z$6mpt+4ko~FG2B%t@w*~=38FD@yk{MY=-2PCFX#tKYE!|(yb}#UDY|w4`a4aLR%O} zkxxw19o%k2FW|r{L|GGhr`6B%e)AUX`wVFD_hL;`Lzr9{l&{1j>1l(dWp{T@vrD)@ z?w1p0@_4N`h&c0~Z*KJD0Vj}1@yXQ^b*x$?1Z5|8`Ukk=*EsY2EZW!r`oKvQV3Ro% zjyA3BSkQaK^sr1lEMR*e_nF<#L*JK3mm27q&;E665W5M*`bxZvDxJ8ySWjzMyE&rX z$ZF^6q~G%8*+P6u3t1CkaE1C9G=|YJ|A`0BiIk(!k{|!B%4^)Mq%S#>l z?H@&Aa*wTZ`4xg%?FBjTT=NC=txDZKflGnX3@CQ-M3*d(NrP3;!oI>_=yvu#_;nsU@!;5__PZ5+>TsGEDZ;pb~++a4Rw_ymeRC#sOc-)%G=JXP|P`MNJ{C-x9WMT z&Ccdn&}sprPj>uQGEjVSAHwtzP=y@ok*5DwQeoL-4+<}SqLI0j5^2zH2VQDW@2;R( z^+B%a9{51k=rt*Zdcr@m{hDE$o9Rb%EX{GqEnAP?IjYx_f)+>=FVGA{6E5}mKEt0q z`yqzq$C(Nvi;6HkIAs0~8np9G6Mk7oap9(2N0H|6@p=Lb9CFVUcSd?a#O_Zu#<5t` zwsVuDw%%}fVh{{d$q1|DytT!(;pyl}aarGu-NdY*FULEJp!~j9iOZ3epyS;3dm#u^U_!yshI6NJ;A@H8ACr$RS_C89QduyUP~*B|+xytr_mJ-3CqXvIW`O8+r$s5P^vMFKQjC^RG_MDoJ$VOiU{ z@z9kVYm(kgfI#-#12ukbUyAbVu-+wf+}p?bxn;+v^X(-zRCrm+(txxyukAU5Msm07 z3#GjuXu0Z2c%b={bPqkH-Y$A|qEzU~&qT5txPa47yWvskyL0arME0-aV+I$xLFd%p z+ve8vo;NWSxqRJ;-$~TYpf%PiZj)qeJPu7Ez1Eg^f2P~eZ4{ic-L-m{zCom(o|4w> zs;E?H(z2xOhw0s_8UpmM31p-GH#PNbEX{#tf*}AzrOJMJ2itJbKh7bQV^geQ@za+z zEjI9xy2zme*7g-s{ly>HUYCQ@kJOY=&~Jc+Y-*tDxvEK0#~Eu|a!gM9S;yM>D9GtG zV^ZRvFlF-fi+9KxH{;K7r>|RBu#s(5q_&f07zybhpnUun-a>f1uJeet=SUHLn$G&L zZ4IbuiIPFagl*7Vkw&+JAJl`ruWBLDD}{~Fo_O(@h{oE{6#&6T1|YM8K@0=-vr9*Q$yGY6o&4@-9E8* zR8@0*t&!1NSUND^bY5&>ojgCUarC|$k9+6|FIEi=u!(dOB#svv(?+i=qO~|gxxgPK zoslQI+sd>H$Xq=Vi58gye4b4v1$iujsjHDsG+75nMtahbC-~3ek2#V=5h583NNsvs zY%UR@_l8sN&RWhqMHqv_zQ!H8@UDT^^_WlyuqaU*mZnFwqN1eG?AkE9ahrjej`{51 zF?*)&jHY(unHZlrkD;G={n@O1iLTx%uFzvYFr^8AC^GELDcJ$OxwkbO>CpQgu)^z+ z?BdpM-u!^BZY&oX+8d&_dVwQ~X^^0!fcv>Syj@*gIXO9x-z;1txxJxE2nLBJC|^Eqjmc>h)3*O6vX3w#OYe7ne1NJ(QOYw zhewq%db8YZ=WTa8uIC%xwSL^Xw?W3hsGVtaZbm z7w|%}cuAX6Br;k2`hKa2%lXy?Iithba`W9s*S0-^m0%E13(&F3iDgx({7%OI%*92} zy8N=j7Aw5_8@YdlF!LRe1hH>5cegl4dYQuiT>2yS8T>nm`YVSrOy4KKf(eD+{c9Od z0xMCIUc(%9>YZUq(nGC7&K~WsjoR#ERt+qYsC33&11yuT{etk5+k)|t2+P+L5|V{g z>K=bC7p5RHrmGfxHjJwEgA+&|g*70h>l}ZrP}W`a%1G9$(`$&*=Dr}pg5}7Un9VoJ zNCs}b+s`qe1xBc@T52leKE R9ECygL?BuWx8Psj{XcY@kuU%N delta 7942 zcmZ9RWl-Erv-TJF;1XPd1b6oUL4yYg5;V9hu7BKJ7MEa)OK^vT;0{59yUXH1-rVOt zRp)u$u9~W@?w;Cl`i6T0qRT=e_^Y^wM`m`o zE4B_0afR5UA}}^;J+;Ib5~+gP`)7kl1sY13oP;)^@t`SZnryXVU_EYG;>NjD*Ugi1$->9S{qklJ3U61(eW2q9;h zobAd-hUGF`tu9v&FSO{FKDS;H*RPV_65n?Lft@r}heT)YBh|MhtMyK=Z-dx=epbc* zWs?vUbo!}-g31%QWruTT73mT^a+-^=2mjRqLCYA|N_8Tixyj|4gN9jW3~XG=+44c! zLfRP*<0uz}vZ=(^O}i@W*P&0>(g2gm-R~X0=rI(d_LY;HakXf++T|R#WzP}&ZhKn> z0PV}Eds!aguE7P`&poCW(aKn~D^!_2t0B55#Vd~K9mv<4lWfIcxLGt4eR@;Tz=9i8 zBDh34%7OL5XXd@Fx|lZgcDo2zpo-X7}vA9Tx0HJEl^8UwZ(&K!DiQW(@#qoT0 zkt10a&6=S;hY(fg0b^ zhKg`SzpAar9hebuo#KABPB_cdVe16j(c z>vsc^K0&vm6L}Hnj(6ULxf`in-S0P$vuL5GldMh1PB**LA8a)x6jX7>31S@>0toaI z4+Q#e$*5mLX8T{wz(M_k{I7aoV@LjPEE@+Nf#m-L2J|0B3rhYR`37jzwa`s5Y`)Rd z7q*BnDJs$w4v~`9kQ)A~DMg})gN#EWt*5fwDuql^Bogwq*aTGeb)w_!zUxTj z;x>D)Ew}MDzVSBd%gLYCd4I=zsFV~kb-UXUQ7EKjiRUrmXZMsPNDW&O%(Y+H!65Koq>!gNer-;9I7_{fJ0tuJ(Q7bxUs zg{@tRD+p;3D?PIIX?}Fv%*p^I9BLdl2y8ZMNe;-N{;lcOeT|ieg2}68^3zhPxTJ2)aNahu8R9Hc8?0r*0{^u{D zvM^dLh9-MXUrMHzl5W)O+nit-0UA7J(r%$YEI}b_*ljuYGHX3CP z)DtNYuvzM{30e97! zlT~i6dZu70mv{exGaSic>am2}{8jB@NA=6)&c~jiI1<%525GPlV_fAcNZv8~K6RP7 z)oz_noxmxeVBC{PP1iFZF}|Mm&6pCYUDcJEwv=e#OnbW)e;v%Jabi>8DbA*u^7~fN zJvqAn@dBFRUfFcOl}_4hgNlR?SFd%}loE5*oSM4F zO;lw>bHIQ`*|)S$TJG_#QuZ|xpX^bdv}l0cVQT!7hPf$^?E=_ktvxca)W*ZvY%`isI39Sk9waXoQn0Z)MK{-JZtLB=rnxzH0#txUlNBlg(jfdd}>bd zMJ&4j7Me;p;M~t}f9A_~WF1l|jIppbfOy<%#tJ@rdfugkHlR4d1schG`am{FvTlOE z>{(KlmV@H>%vI%ZdWX%MdcnGx;G_{UiX*#$Unp%qeg-ig?CHUQ^RuQRrl|6E{w6Yg zd{mvxuApCrZD!lP^vePg7e!!Pk75)Y`QKcFzGv0Gsml$Q-mI7r zLwWoj*XPc8uOV75a~8a46HW?q%iC~rtfF*-r!Amj^K&`XpwIO7c9bus0`rIx`b4d= zFXI-Kk@z>pCr8tIl1G)fw~$F8#Z0t5jzvG0t)$`jTF-;Ix3~>ogb_mYHe#_`Ow)mV z+zV3w&cFYL!s*s~#TVZGnIB#spHO?OU+9b%XS`qnl@1VWLVgXF-P`uu)b^alAv`8ZdnWyKbc<8dr4^lWTnjuw)c`UWk@ zOEM~0&#otz8+~8khB{BqLCM9lk?nxCT{()_SqhG2V}qgJ_#lV)X_5#Fp>xOG_}x`Dzpe zvDlwa6{IWXF#R_*3wg*;p{1s{6<%!jT$@;)*LJrZv7EOTmo6czVIzJ48FL=hjg1af zS|1{_+EmFKZE$97J2XvVJb_Y#)$meZlqa?>@rU{2myd$@T1R5W$4o2<=N{fj@cBtiOKBd?@KHm5*@ZB0*$d`Y@}d&8J~CHJFn8)l8_Cw z6u+XjJ!dH&HS|mg#Czq5TVonz1&!r9f}!s`4gLL!YqAx+q~%jw!vM!+2Q^#o1a=dK zJUrTdl{*^qkPy+CWB8VRje(z6_ezq>8NytXu=1?2r#sZ}NDfOS* z*X7kFBeM(E2FijVEh4L<_K#Il5|~`E_}EV=k5TVa7Piw~|FOvJ&?otnwnmu2WCuH4 zyCQSH@E|h9h`!sJkq2xkpT8Z36b_bSjc2=9wY}AbAG*+Iy!>U&$Fh>S;*rh7#rmNu zNBC1qLF@aaa$Q_9o>@9JLv9T_8dGzd4eXa%qx1IB!JaN>jpWhOX6}cPbE*Hp4hSG4Wo&NwhcSo3IrLvinb@NH> zeP*j}p0!PmZs4eBO)x6DxI=0*2?c%H+zXykx>WrrfuX06S(*cV200+)U&#tmCy;ah zIU8}&OE8i6el%{S+R*5p)eu*XlpO}1_OIV@hroNY7rV6n(9)aB>Ssl(@YJ|-#UNnu$;x90bDn5ky; zq^s1qs8$RkNT>NxSQMv*BrsoA0*A9l>CbsEerF=~vwUYAUSs2=2o@O1MBQ8@xS~8E zRl9gNB{Fg)P-pBpnM|VBh^BpBE>`gK^qSqCa$Fdh zf>8?Uj~Vu>-PqNR*f^X%Y`-lPtN87-VkxfPHVolRSYL6tyVy zuRlR|==<$eDg5T0iZ*RnH(ead!&d~ssqeOF*mU1{9EVl#rX)~I#(|VXYkJc}oJ5kng>!v$a@r#2yO=r=@Fjfu+Qz>Zr2y`?*^Z}0KE&1u5 z51{|sAcd!M>z8i+N*&Y$qO^n`B3a2Ha_w>+&n*-EoYU?pT$ZnTE~ z95B?RIO%j4&#Z#?ZTSODtj`2VW<-n7#2WNotRYON)xy!Dq-9Wq-rgdqr7(Afhm&CK zH3f4#l8(EFb^hhqBqvXIN^7-C25Hgr3NW8byjO_N*=K&SbX5bdy;iyeBr6riL*16U zy%Kn!m=GNu_>u+{#HD>mNDhA^Z&Q>f8r3see&wD3&aSJMk!e!RYrHz4kCUQ21~HzR z-rPAv^D9f8n!R(JQxt7v+qvdScBNtk}j);hcS{I)&c zw1{8D0?N~ZoHmlrGP~-BZxyrdSkPHo3ymg>aN9^TNJuh|3v8jZO|E+R0}+zrbTbg+ z4aFcRJ3Y#X-w7`Ms0$Yn7@|%YZX5jzRMYMtRGJ{R!OSnFMSV-ZjDEQTz;LB|dytPG znJ9WH(%))kUA?KNPibHaxHA;2+2M=w7WNUVZF}poM-``#jSt^r`5d!7MuC0EutZ@6 z$Yvlxo$7VCcZ7j;PU-PiK)*_K!EiS9``Y1AMVl1mqyt_GEciO+N@T65{}5l(z5nYm zjQO|ps)J+wcXkeRY^_q?22$BSGz>(a+813|we422DKooBiis~{k;8{??CI=GAA~h5 zHnS9Ey6hRCxq7B}PFpWs z7Z0W7{ppXtLfc$YjmK6by;TQTG|MEUH@i$yC%u4nmm7IIyk0#=^>(XZxwtWUo&7QiWCb4UHgyjYyWgUfxOl2MP>GQ&uZ0SM zKX!5wV#isPa#zl@sKJ6O=Bg3#S2jpVLwba8#!dEZ^pdKi@h16n#WMm9C1}1xrzI7k zsmtjR*UY#o0Gt(1Xju^EAALjRNzp2x$JbE{pPe!y;;=2#1P(&oYgz(Lyg18AnW0)G z=$D|?K1_@+9>gUQDDzd`o4aj~xVhb@jRgp~awFD-eoZqu{-9evgUS3+s78|s%q+X* zkd(NV$<2_|#e>_7>9Y5tt!c`6t%l8)tBZui-quhJBo0jF2_S|t@1moEcKOvY^!fp3 zs(L0S6Q90rnNyTKBX9zj>H1gS*|gl|cN}r^(g{5ZxZ)r~??%{Fu0Z?XqZg5`kTi#3 zI~z5_28aCtec3fd94z_H_7?8Jpy|6IPb3bWY`@wv2Q8un2C@+`k{QlLgtCI$KyIxJ z7zYoSU~0h3ktf}#PtW8Gc@@iPsHNO>a2h>`OPuNDpg8WPV_mEo(L?yf#Ilw$pnkVG z$}*&P1E-PE`UeN2>2CH%yCpwVY`)~1wG|`?ri;5z*4xLEY~G#wAA8{vXI{^X@>~47 z@Gqm59|?^z;fCJ(dBlVz;YlM#-$xY|tVOE=L?|3g0gxgMQ>l(CGq0PW5~@KdxVV=q zD};plYw69pB({#4iX|PgNtvP3E}lPF9=MIULZ#$1 z@XmfUQJN>akusb>N;!wFK*Svb|a!J6*x_VjtB{T4+%w^)QGL zi!>GWs@4jPRNH+i`c>7WS=YL^xwNY#J-uFlmh|@HWXVR}?5~JvHwmh4(8go+oLQWI(vcU$uv2<=(|zN}L^cZ83`4C6 zxn22mDx08*&KL@D7g>;;S)kz@d{Y*dga68gfk^lf4erdv>V6z^P9a&v0UUG+1*X1G z(IF0n4tzJoBMOFB?6H@sc^C@(4u3d%(C~J$UzfqdvKAnvSaogx!DCZiGk2|}GV5zJdW;iw=Auin|5GFNS?lNoz^e!gM+2Wx&`NMOX-Wb)~c(u<*vfgo$; znXmN`D@AwC3^ocREmDmrGHwvg7oZl+`Hj=oP51i5);U09fZl#7zm1oF)U(c$eg}}N z2$HDCAskiw8tvRqJs3(Cx82kQ!V;eedZC+n35S9NSe}_jsq$mug>1ph3&s!KN765#nX`J}Y8`H5&ew30`k^2q42{e4INl z2@E4%i5S7=WvXy(!;{Okimm5Iynlmdsp5>n5Ptd1XgH~ zRC_7Up=7LXcenOoq_ohEcEF)CWp`D}eJ2w^E{2q{PMPJ{;bnon-+4^R!~kx8nt#Dx zaJ$MmjQk;h75ed@sB3SdBNG5a%glQWe<{a5t457e zFt9XRh*3-{Uw+>C%qat2gpmYd@7xTJZpbKAimLC|_Cn70?CTDvfIx_M1%$*rzqr4~ zbM3t{+)et{x6dr+2z5B^*t1vNN==bAOjazv&o7E*oo`Rhf)p8w5HUX*t1#2rOZb7c z>zlfMtzlk-9H%`|DB5Tgr4K4T0xAnvh>{zX?HliA7=ChrkvCWZ6ymVU-)ypWzT|bh zcb0X=g|nMj^$Dwv;zL6tZO7oXpaotJ%`k91e(4M0CK)WtHERRxqR zTn529_IihZema}?SopD>PwsFf%2AYy_c9~hc}6K=8w)r$!YMyuq>`Dn zJ}IvLR6D>A3Bj>(v#ll(icuZ!2!Lq?CKQRu`ZO!+wYe1e!n3& z()LgpBtrwIy*Xn|+-6sZE@?)`j5h*DV`Whl3oiWXrN=nC zugSk`@X$yDQ!NizyMu+t?=T13V^=!$Z+{!y2=~8ZAW8`&z*mq2Bx_GZA!yRX>32>ooUgjMd`sLEe6c zm$kg4WOWQ5eYuP!L&GW*GPCQx$71xTE^hndM2c3xiD-Vj51ZP*9biVNv*JxI+h1mbS1pG?N!vnUgjHbAO*U8wU#zlRP78aI@#buly zyyGq6c)%y`T8j&u^_oO`A7-QSJ4C4V5+}IC;lw9yKHz>OPkML(sPCFVqVE@AjO2rpC$^+ixgy>A5@gNh&tBE2!}ODkTWUe;rgD zREEAd=H$Ff)jCEi5^QOU+i!}K>X$4k3`(5nuER3I5M}EP@|1z24cXpTlh$a^Y5)QJ zHD-lz=JEWO!8&5lqHX!DPu3yvmEda629eAplMQ1W8^7A)@^_Z00R(6&p}6N91*`bsD(igNug{vkrlZMaDaX`RAyg#P?f|bz}H4r|SXH z#Z!zd zHzJi*RMZT0A}j~HTOpymBPS76ZSxH#g;1u8d@CgK?O5TW_L?CJ-yiD4So%PcAAG$R zyok-W=PWOJ)CYN{OQgn3RxgM6RhD*Y3#XYmD;_i-N~e;tgd`kWVk6`y77C65w`L;d8-0<3)Em!m=Ef+rbee*5>X(ijAAgO}1N?~Z^J?-t(l;GeAK>tT{NH2wRKEQ!MgMaA|?tg85dX>BpK}Ge? z1k3MNCZq5m&2J~5--YvEjfUBh&mw7&Gui)%{yzsRAE5vM diff --git a/code/languages/com.mbeddr.formal.safety/tests/test.com.fasten.safety.doc2word/test_witness/_110_argument_over_hazards.docx b/code/languages/com.mbeddr.formal.safety/tests/test.com.fasten.safety.doc2word/test_witness/_110_argument_over_hazards.docx index 1fa148fbc01d5681631597123c8d77061fe411d8..e6a9f9209ba4e58a60cc4afc53e6de4e6c9345cb 100644 GIT binary patch literal 35601 zcmeFXcQl-B+c&BN5kUlzs0l%$NAD$qMDKMFV)SA3PJ$3Ux>2L|(HT96-lBJ-cSaxG z9=Y%Pd7k(C*7xqc_P5vi{@Kp0J&{eH)BUZ=7g<~6B=rGv!Gi(SFC0E;#fUX zcyk^95gjyK35F=u$}N86vKz$AOR`brCA@umvxTE9hjYIO7#=8wj)um34-HNEe`$X_ zl>H6ufz}S}YCS!I7nhSQ>A5H1S=Hur~)wvKvS#q~&1@*Q4{nZFvN zHjT6gftSBK|;F0%<&%5|NP| zens53uelM^AspT^v@3J^{-6ezg946ed-Zt7R@TyCP-mHq>sn!RoqqDYFEti&RB8yr z7*}1aSd&rL==E(Q<1{Y4(oMp6yFpbkF-?ba?$1pYic@CNRXXI>q}@@On6XxKD9^wuu%pnu;ckhmWCWe zO=ALhGls*C>M0MoU5||%2HqnIR`KD5xhL{{`I^#UMRFPd+7(Y_5%aZ7Z5DLhPV_Sh zH0jYPnX=J!Nrhw2Kz4Jg?+F_;(OF-z9vh#3$FspJ!U`1~%TC07r#}2n_)V-;lpr{r zVN=$BV%b}dh3!!{?&m@q+31msDuw&R6lfeZflSFrHaIsqIP+NSn~Ux=G+gMu#&P8V~!XbFXYabD^l>VEzD#&kl3>i)?BTE z=i?X(cEx*?96J|IwI@DsbIB_~M%uzI#gAe9#}BOTy<1@%O7H%@o0CruwmBn19z{kL z-NVYY$wy+HD+P_BTc@`C8Q5k3ZXXYl<6CUPv##9&}*>D^NR#M+yd_Do(#O^pa@TwxHSJB zCqtL9`yiSaP|=>bHskVDredW`jCgZ>6GtKH+lWVHI|s9&>Nb5<`1|4%NGv_sW~kQV z!iW}*=VJ=*Ruc3f_X^D>S{`(s(&yGN3%P`7<`_gF>D_MOD~-&vk_huB!=F)`&%~|zb-`I9s9+WtZG|WtJQZZ<-<5J^}ds* z<|`w%>A941(=Ba%alpjpC&aMTeFKFkbEcsV?~hCY)}IgBpHlLp#WF!o75YE37L5i? ze&HZ_dp4)%&`_08v7W8ny|WS0Q1E7YC#S({SAG6hi|xj|we5E&mNS)d>yJ-=^=Q9$ z>-t4G<8FOhEGu66npgwJdiGQI(}&lZ6^Wr~KE}~W#(t!LGc$s4I?9?sxPi&1g11Gc zWE3FVoYNq4fQ-SbIm>fM>DqD^TdpLqI5^&+MLI;oHf)ut%sTb<^58;)I`ok6Me@xb zEDkiDOy@-5Fa^nf2RM}f0M1{4{GYJ%H#jTE{o;5OfbhM2(KnY<&qg~8BO^LxI%)W2 zGL4-?7^P!(+qhguLYC#a@g}-qP*^@^%KJja^CKG@HdbK)_Lr7-+iy!2s=S(N19z8C zG>&{T8NAi7IiIDQU%gXykckifC8KvpsFt8=zDtG|9v1-gBqxCVdtvEb1X z28(Wr$4jiQ;dF7qM$e}|wcb_+>#si)m2%jBx)Bk682G^0jC3VM|4XuyIBja{;S;mH zm9kXieVp3>2(es<{6hDN^Zc(&C*5f-dxY@qPU@#5CNIf2E}=-q!v5}pNHXTGSoS-F zro{asy^biF&cprHqf>j|zQQiAnQc4D@9DR3 zMP8Q1AZoTlYOnU<(|p`LU@wnD@PmF`)UO_YQq~`os~jZ z`ze*M^~EID^B18hpCU#NTm|jX>{k=QMgqcW;B=VtuF?zQ@eJ~Lu^a-gqA@6No=wut zr#8J2W?XyJ(-y#NdDdGN@$lH@VFw1LagC15yE;jshx_r5^`C+g_|e3$Z?K4aa7cE) zhnfFkHuAeHAdyV6I|dlPNXsfXm?`CY!*Alu-;CfRdb4=noujW{a{)P1oFV>jJnH2e zlcZETOyu*@*Fn=6rdPO~{T5cTUDdzBtOm2+2?8*TpH~9yTe5eaPqfu&u}N@dYG28` z#=>}8avvl6o!@WyBOcC3VWt74rgCT+x@1N{+=y0IQy~6qU>1%e`yQW8H>ZLSLyIc* znXyBx*^zV1gu)doQ>4PGR{l7<8tcKAFK?%QroP1nV?SW~76!;6b>dYJy?JOoj)t*C zigkq5@{Y(=5B+|+<}0p9g_SF9GFbCbsEoPID>{}{ky6|ky4LGJrKfHQIxDIMEK42u zj=xzs6}o1b+a;zas=njiR{!u&`T?Q4E+b%l(KfS>5${zv0!bdrQ0PM{VIS9yl^d`v zJU{QknekNr9KPg#LHkTab^goq_p)bvM06yeQT{S4^a%1O+JQ!X_^jpTtXHiC<7!Tt z|I8B=is0lJE^Axsr^Ae&TQISk=(-))Vo=uK8#t zxv3Q@Z+H4Zi})Fpm*%)wwjy)i*rfSIyBYCicih(s@GuV7_NzW~tL3jI6D?RuZ{N;} z)eLB3)$+#4CUz$rXg3d!PO&h9Ux_n*u%*LOWs(xAOHF<$^i%z`Uatm?Oms+4FoY=r zSA^&j5Iq^;gi2IIMq%n&U3ndmG;YiHD&e;qJ|?sgveO7{w3oDtPX%4R(`(DOUwE>F zG&X!b+;>AxDPr}=(n=4$#a4&heD*0APNS5P_u)VAnvEO$%%7cre$dFqUG$)bLwKgG z`$5&FN#lJH#V(I_3lz$k@N6Bf zqRSb6J(rZPlCx6{Qb%85u?N*P^P+LGE#W3f!{h!$oyz{`aJq+B9HzkqX^mUgg6BCGO-FEV8*?rTgl7c^NsPGt6W ze<4Y8|JemIXH(|moIU8OU+;ta)8H1`_QtxL3p1tV$lkz7@E}tuMAyyex02B&l~HW@ zFo9&M>&xiM*NG%AnuW(|11R``wzS{%y|JmR8aQMpOKYF%O*7+A7va$Dlal_& zgY`$RxSIXRe3Z>QBPv_Npm1*}yrl0sKx}gS2=6=t`Gj#`@ufFrZY-rHMW1?tFXl(v zj6L?g&h?%55Q~uy5|N%>mPvj=4f>@0TSQAF`PpVxQWdgN$e&EQ2)*0O_w`fl**KSC15gtauB!gWs)5)B${3{Vm4Wz=ln1L@xDPa_Hx`A!@nRF*CO%W zQuP6vP9l`(1Es)bkE?rw(^m|knE5U3+uY{n-Sefn4RiJ(=28KQsr0my;Iw! zJhf&af!l>{(QeN$8ZW+)jGHM86g&bv=`>Iu28&@avYyC_w_(P@LMVQ=zPP_B@*ynT z?1McS1(ZeTQ{SV9G1-spaWi;_0|*`$5DaJ4_;5($-XjDiJm4^E?I!FVncD2#u>IM8 zi`LElc|!6g6V#Z;YA+1vdi(Ip({S6Wr0=gg{id0U-}Y{C@bjw1B!2tom7RPW+=1Uh z+Lbi#?=#>v#VbThgTB)_3bPxj``Gnu$HEN#T(dX%jqdTQVDpI?@J#t_xsB~}OU_>W z*Pq#NG+yw@{1l|D1bo4_I(b0@Isjb$=<0l}CY?w=28PSDq>kujvxr^>dvt_LxkRda zW867|{7^7O5!Fa{Vg7f{c>GT-V&eod2HKcbn(RK-h=C)ZBw) za8?9R_FkVt_EOhR<^Bdh!H0sE47zQy0}a2CpCag(W=TpM%<)_{eVu!ZlvT;4MS-Np z>I9^DosnGhZ3FA4JLHi2o9=zZvM61}{x>A1vHC>VMTA$)I59Y741;v1A?)82*#&B6 zJ{yocHKP!}b^Bb3_3cfHa0HQ7?N8Z>MORlIV%2ni35Dl$IKKA5j|J%G$}nJH2CB|4 zpMoBPNLtqzmK8raV%eQBHxFx=*So{S!Md#@2JGZGpC$@D_Cue!D?IU^V^dQ-ABYdi zh-P;VpQ>FWZ&RzzIqh6_1rza#OtuOtpM9e9Rf^{1xAI;|yJ(`ZHfEWtlIT(Y^&>zR z7bq>ygxJ1`y!j1W68;6xh5DQ=cT)y^ZvE{A9B)GJ*8E zoa|ERxj_iV{i?7+wrq~+;XJfse|aL3*`>&inDAL!xzzWXJ4m7!0EI5a_<{4opqme2 zKeDAuO2w6YH7h^gif3{Te-XE*IlQMbnl74VlJiPs0KeOcR;0{$j=NF1p_Ja>7WB&l zc3VYw-uiq`xrwIqYvajAqASIWmE#u3!p$~o#GvjY|I@2=5QpFf?|pkpdx{+zSBg+~ z{dvyQ3G8J|TR*Sn-kA>3>4k2InwFan@e@GXVc> zsWc7ybuc#`_?K8#D~@4Eq3e3ZHg~t25#8m2Y3s33AF3wrMeW<&Z7MxLL%WamXH!qt zJ5Djk9u4j8L;FuIfPf|zM*rGBF|+^~nE?&$KbUZ{fo;r!loe(0ACRL&py7Xb|4tPR z4SfRjNw|*!KD0-{d9G+^_R1gLNvOLT?4;npNZZdl6nHFY-;jru$q;7_nLjT3bibq3 zkc9c$XLJcEDVDs+?>XEO;_jr%68A{oxvQz~1Rv8Xkfy ziv|sdOJRfqVoIa}==}4>HxID-ll1rKBmFu@i15XRnf+?4 zVXqV!D9)y${~unT10@eJOBj&t?A z`7-5wnrPYuku~}2C7x8n;|2j?$&7W@qpN^*_BO6O&JxHXF7O>cJkFmHC2%#L1-9f} z5H34YrI-72`bUcvwRwD@1(&JkD;$~z{hLcT>kU#l=TYNXZCCzDYGmfAHB+Hxu}kX2 z`3b)2(UrmQViC?tWfEggYnYfx|7}@e`x#F;csFi;MPHf}1r@344BYO=GsD%p3Hv4} zJsV=Mv>dgEe_tV+Yr4EIgZh%jbK5=FbF&n`zNQ)?uiVTptOqHCo9WgzfY5cfs34oTy#(wm zoXk=sVfOihTeGMjDEzcx?5IAqdHRi#RjtWdVD2Z#`#L&KLyClOUGbMb-i_{@A5X1M zZj*mr@k27MmFO#MbtlKQFw$PkICqRe6iAuWIrh@xcAxe~_1##-CzC##>X8C5hQC;2 z-xoGLHYbFFuHCwNKhF0W&nu!l99_OZzVquizS*;+NX%vP5Hea=GlcX&0GmQMgHGCb zr>gCr-W;Im^5FeYIU4uA_?oP?$}KS)Anh}-Q?q(OVSBPJlfMazSncT1&pPr+l#30> z1kMNS-ZV^CUG{)dOuO6GtKyDsM)aloW;O=5`H$4{?JQ+1JX9F-r#uTBcg}nhn?N(C zMX#){&ZdUzPRvhkD=i$d*PN7k@foY4tZ>+)a&kpqX*o%Zq^YF2G)HY0B4Y>EYod;9 zAuJA2AuRgOLDK_yf+3F=ET_d@Z9T=W z%g8>?n^iyemrUyEYGD_M4VfNTix!I$B%P7F?4^#pC=N7jIq6X8%~EN1KJ0?@uT&5Yku6N+|uHtkm9+b;#d^D8-q+e;d&3&1dJ5^QtjMK`Mn zXspA4fQ+bawQj)tWkMf>O9t9}b0LmfKOW{G{=`dUDCFasT&H(fwp?@Boqer(3p1zh zFO6W0%(#EFPS2q$7syzOEqB{|j%c&q94X4dnFzO}-V?wi(OvG0KrT${UWk6g6Gx zqy(BX>7E@`oH?s0H}<2PKH|RPdTX#Z!*vSS&blXCV@C^#Q<`K(UW}>W(A)D>$Vm34 ze*g6#UEMtWZlL^kM8mC8o~jaWvA2>!#Eha|N_%&;k6q{e#G^4n`+=#NUM&RSVQzbD z1!$d5uiCxyRQ%Q>QzoL%cRP=Qxx1FH@%h*Vd;D67P3+0)_PD5&3NCQ>_wiO?;mUW( z>fSFnH_vO}O%j4GH}W^g=CE?OH-x&)wy{dptK>Iu_b%>C3nj7hLniY0WFj?aH z$PXAQDrW0eDFpU^OQNhOi3HSG>%A_|3-shG&Oa{jNpy6*V)dbxQi)L*m$6&uj@Ig} zUH8uX7;H}Zv3)%^&0sm#AJ2;fr=Q9*4(InKwK!RA-^^*4y4cNAH_tImH~6J?O{dAT zkxlC6WQ8<#z2}`Nc4ZAqSPi!BNnRQi-ir7f>WEOf?4zBq!(k+?*6j3LAoJ*t;mBc^ zoA?J}@s*TJT!BtnBbf`q+S>&_R4=aMtu?7q$isCRG8uo=t4s5qna??Sd2JpX))#os z+T*}`V{ZjzQ?I~`#eoV%={A3@oeNWOIa7%5Cjto@tn=lFzAUSh#?4K*@YTIDCxo;c+hr-lQMi3~Z2}kJ;RD zgmV#Rdlcf7%c_w`K~N<2>g+M@E*4%~Z;?*nD15;&KK}i4s1#xU52uDIuNh|x-7<%c zOG;)1C2O|+LBum5!i%Mof#IVo=GB`K!LF<%<{;~VJtM`~qyDesp_n~PG z!*bI%g*gRji-f>EOld@YO%q?eTuFgeH)gC*&%4nnhPictOsxyq!9U;ob zlxo3{nJ1SwQxTDZjLu@JiK$b7M9sZ);kx*}LJ&L7R5h_KSJl@_vFvcirb!|1ek-$B zJ^rj};p38y;hj(!lb=|zt4V~;v$;91f`gR_0O{O@KCq3duk^@mXIO7LAtE6}`{mh3 ztgC`H;bKDJW(G(g3umwajlXDzt?b&Dhr$3NPY%rf=Gq!&S=LyMa%It&Z4XgaVr*c> z$m7jGfbZ%72LW1uM;p0zg{&#_rak@T_s9Tj63?G9cqe|lQjI1*h?)`KH;pKZc~XZi z#~nWnRi~^8hQQ)dr0dvJBJ%t`)*?ifZ@8#C-oUGWyb6BMdtd8S zBN;OD&A@C4vz@4t>004Zk?q)$l6scopif;-#mQh4O;amzEKs3+3TeV5H}h77q{;#K zm6`Mj_1@?Z7j@vDTCw837OG4LmeuiRmO@pG*(|NGcSWG;lSSFP0`heTIQy<9jFE!< zsrhQUv&^1HC)s|=;iMfqzQ*Dp+?o>VP#qSO5nQp2#U}S6c$lMR# z?fd*iNXcRka~>G5?B`*Xy zbJ^j$Yl7jG41$8b0cB*oXf$wppQ-g&JrwvvawHxUm9#~8u+@+mYQ@7ZEEMUzb7|0b z?a-*W#BFjaU7Ia4QUQoGJ#H}8>on9FSLD+$HOtnP;V)1kGY0}@B$Es~}dbl5#89UtU!)Pm$YtsKg&sC4bo7B)}P=wRI z1>?jAd`#8V5C*Y(TW0&zoaM}bAs#5bN!Q&_#(R}x(4{`e*2yRvaq9inRB?|U0=JsH zc>JP(3ncgA(xyyoDNxg-6d2f6x4LW(b;5|JaNc4GMlr#AgbGcdj zo@CQ>^)*gyrU8x)U)5J`OZ84atL}rTrCoS?JYO6_l$tf~M2p&%K|j!h{8yeETPsEW z0rn>N95R-ZHF^AWqw!%|k=$+%Ua8y5>k`E_BFndZE0^xy)nq@_6Asp^sH zCK#}T3P+9NagBVJI>F(hpw+l>?e&*~;jJF(;VTGmINjN{)`26~g!}lqWR!j7=A>Ru zAEC9>(|^O_b{wmetyAnhjEL)8X-dtk;B`N1D9M&uUgX@kptf&B_PX2ULB*1!Jh{-2vhV+p#&h9fb~_9c5ORo%j=G1B;suwdWL7*H71h1MZa5XFzF-U%m>% zD>+1*`-wKHgO}|$^Wng^)$ZX!qP&Zrmocp7vqOZ>4|}(67qt1Q46f95Cumsw8bB7m zJ%d@M@??q?nh+`{I@vvK!^=Un!zFu}_ES{sT^acFm(=t#)#BA&-)3B9oTYc+0l>nQ z@_;t=Hmt@nYrjgXS=-KBb18ks>SY3*!FXG~-fHB<1>D2?LVj~BKl;K)`!@e@ZFY>) z>eRA!YYW{{cLo{_ybk>N;rL>&&I(pZa|V6b0L=xs^eaEB$$Ci{J{|b(!YIl5^1c{> z_x{54D?I4-xX){Ricys|gCFVom0)P4`5c?GK{9qjt$|IUi1@`Ux3Ud_x7W&#Q|$eZ zyd##)S_%|9b+$Oq)_`W9)l%Ep@lW0lrb2kRp(&*)N8drW8Bm;81q0T>dZwe!)8k|{ zeR<0ttt6M?ESPby76j!koEr_ti&I~+Ch^4WCYg29YmI6gm2Q%aTQlj2QPVA)j<)n? zA?}B!MnPQW+xfc2c|Kt^<4HR;!{O$A^|1LlPTS=WgSKk*05P~h-NUE3YZki?VW!yP zdQ8Y!hYA*L4xQ@~x&#=gA>ExMFd3GW-oa?P*0haKpZSH8?x>YHbK09ho7}AdeCFY+t-hSid zbba?hGTH>byj39^%T#XkfnoaT$TsgYe$N6icG*)<8A5WjNyawU>y|@SvA%<6CANKg zEVmjnExv~FS8n1mlz7H2LeS9nqUX|h?((9$M~m|kdARb1)AUgOnW$+&W$iAxPV=UR z#dJ|^&3O{t1kRk(g#O{cy>}OKD}Fj&4IOp$iPTku7O!wn-uuuNfWI28VFf&<8|=!E z3dxcRc~W+i;eS!2S(tCFvpKd%h-c!OJEK97MT$yC0hi1zmM#8wR4xybeL+L+o7wTg zuv7J0nJVI;b?2y(s=!B zd{=I$Ek|n1Ve}yA$x;p0aJHO-+c^-BH>vrOlamoJ@`iae-72ua%hvf^f4+=4s5NTG z1K?F4y@>Nttx&s2$;7KwaHpVSa*=%n#!s+uSW zW{v{L>Sb!DCi54QwZMH!x6Q=>A<>{B?fvj$cWapNRi2Ai*cLN_MVB7QSFhF|qDylR z#-<|}EWpQgKY(IxLT^YjJ&)I#D1u(!2;p@l(AwRgmYu%V-uB1D)C4_bZnP}Y7= zdQ4~3?wjDA9k{BB*lyi(_GStii0U_^El@UpRwFvXnHetWND&o@x?W9QxY*4Jvp*o^ zIo4XO;)6%o5V|Pe+Fm<{Bcc~1-vof9_4vG*kX3sx zcZD3k(^r^%NQ)fFQd;MQa1w3%kpSYC$lR+lP9=IP5zq&1C%q@zS&Eow+?lm_WZizn zy1xcOhO0sF{EJZye&^vB7TELv*Q>o*p4SBf8R3$ncDF5l+XC~|KcMOP>`gDPJv!TX z_L3uJ#AZ$&X_(oeBFjc-dE89bbkq)PAt~P*%DjG03&5#hW$<#a~NzSrcUiirm{=%uKgudf0josLAl$tWo@|~GvsV%S!hkFc#vRX z!>g;S0Ws8?xZq9=FmnUPLs*DCamdF zwnQ1|Z1dRlG=XrXQdVMJUMHBa^O#OKi1_f7ewyDFChWA#I$V4s4gn*_%0bulH^O=% zom4bk)uQIUI0;e$pQo6P0s)M3R!(v03U$2{UVGhw&L5B>1)?+rfS-5`c&@S=7}dLe zUV0fwbWViFvGd#NYrnOA52?ga{?2;S=7B_lsnZu*f@M@LUCvDlx|_=9_M2c0E2rI` z5j9C0@f1#jREKM7e)sU@BDTof#qP;&J-75~6M;c_T6x^>(v&VeNSbp)et61?r3R#R zQV3Xmys5mb;&yz&=%jLf*eG$ha-xuJmEsNAoh=u3HW*CF z@oJznC>P|VTMe9!ko2T5HZXM*pn*aZXZcIdx*^@W>!K!~J>)j>sP?#T{7ee)N%!+t zL{l%*6M8LPtoVEibSlq$+UiVO+3DUI76_s!6FH(EIhYwWdTj~OdwF!(^KysF{UCk5 zjdQG`_aI1@X6cJOW3sguGwMB0(RcaI(}gl-6FBI^!sDBGZ#ALH%;PG;?;tp8v-Iuh z_4f4+3xq%GWo#k}(0=_>9xF3m)D1}!=X^E1yl~;|35d7Sqd9d`Gf&i<6O zih=5`dNf4Hx#JZIhc;9WFwTB+U^Twlrr2b1_p*vBQB(0=w+iT5x!md|G`tMj@DDaH zJl8mflA*e^$GFXhArN4CFk{xClYg=Y-q(!bNB=in8xa)M(~-oM|G#Yd{x=^#2hV|O z;uKN+HmZZv4gI^5{NEJ%f9CP>){|=xEi>QO+&IGi$wkk~jw7p7_|cV-`FtqVfEJfC zzai>2_wkl=t-P@8Z`-O|*^%({qCXduniFwz9;{6@_^f~9=Ne#dC;HxX+NLie3 zv*60E{B^UzK^He&q59+xHN2kh2w-ahkkd`VMIDrw7%2e-aE%4?YJ!MT%vTY%N9XQR zuFkamlSa{|J768vCa_?J>e^)z9M!W%OHCcw!daI+fy{iL0zu`mav7kI0J#!of>b&}1D zqKKi;E6)KJuSekw<5=;OQ)i$r)wZ67Of+S=j^r1{<^-sS1gbs(h+SJ2?lfK6nw)N{ z`9@!NG;H3FWRm%IbtN1b#4Nj}1$|-PjXv+f6g+$Vw%hSOQ4AYRc%Jo&pDl(J_zXN^uIzN%2EjjQ@xMCk-ZTIH)66Y;p=ieQ^z^T?FFP(NV2*_ zmg>i(AAgpbN|szgT9Z<3?{3hvefcwlpILNeH&9C}*G)9LxU1Zj^JuABs!(TH(0&fo z-xhth2jW+rxTiq_jWfL7(&F^FX;?66MmJb%vEJQ=+zvtwIeiu%M|Kx-jt~kqnbc{* z$_RV7OKj@miTptekmHG&-+uNIsD0^OgZ<)1vxy}&l z)RaaAyBQ3~>5II5&xzfK@gYf2(o`Rf-oEwN5ve$(?kmH3r&E{Z>eVkeiE_JwT7itH zEkPA*AkR>tR6sQI4%r95MGx~YYwG=*=ql0TUA%@+4ZcEs@5YyX-9j_)&WdGiy~-f4GwvHLDgC3N~X;_$72gL5wNo3;ykdO^PUdyIy_ z8<}7t!L7=^b%nxR{G&k^c{p|Ii#4~{@ILvZK#Fwisd3^|>Kp43I~=nnWIxhig=uPa zsTwO-Pw8%U*k+C(9uojMOaSxVY;kHMfThMV0=9W-_4ewsja)hJLPYB4N}0SE`PxHK|IAA z=TU9DBRj@isJ*Q!EvZl(Yg=#)a+$#aD zj-0Fx(49u=urIYdbl{eZC9JXrM?9=6_4RDtn%ZYU#eWYi9%oIEHRN@HIH2Q|Ef*}A?SMSGU9+0E;!T80tz~0HS zPrz1x+%4OvL2bo1@sRPRde~E^y{(11&BIL^dVrmMjrCOd$L7nudH_Q_gi9sEcYH`KQDO7^ayQx8CEL7CujkGA`dH=7 z^=08X8oB6lNv~N*KlukPIyFsJ- z>eDbMSW$ihD6v~Ej-}hu)jBK%^w(q|%*1?fZdRJ49-Q2-6n3NOHwHQ-gZy`^T>Yfx zMg^pe4LO%6t@Rv#z3?*9O0<_7f;gsDy)J= zccUz~jLg}Gp=*43Osdmdb%(1WoF0K6$e!jpx8VO||rP@;VDfxZT zhf*oW;(Stl{?BsAmT%18#92(AR)TZ`Ep*>BRE$f;dl5qeWO3tb6u5L`bp3D$HGQ0v zKB%4VR|XL?77Q)|r`Nvr&g8Vm1|``h#ziQs`i&^dv7pAMW-svVSS?jo|N@}-Q z(&S^#M3WlOd`1bFpRIKmE0;gI8?n^$tN$;MJ z6-InJL>8R3$5-VeP!djim`m~oLDQ9yAEFt6QhN-6y=@YukS1cJ06>(Vb>N(Z>ng=~ zvXWq=(%99kIFRjYqT1oWH09P!bBA3Vvnf1Q! zh!alk%ihWL9c$QW~TYbj&;6 z9AR`$u|vgB8Y+ek_|k|)0rR|fk$9&MtO%5v?+H%4fw#Lq%P#BN_pZB(419bc?;n#5 zp67>Ms9-^zI*H<&ca^Mj+RpL*p^(I@K<&0d6kBIlYoCqbuI@I%{Zxe`?#umZjY3UM z)4qfvpj0e-$Mujg3s=MLS+fgbeyg(^m4jnu#{?5c`;wT-9=lZ&qw6(rZ@vCDPL=f* zw+{;slrvIK%uI-MYiwB4yiOq(2UvNi;{w}d+o5`d`ZoZZ#b6HrLuMI%JR$o?TtTS) zEawTgCqaBw|D7WwSH3k%;ADm@I8MA8sgzIBkAJ3-R_$ijJ30a$bUs*W*UTgeW3o*Q zFj)Kid||rmlT7S0iBYWYbj5gQ(sy7$zWx#3HAFcJPb(lr#FOZ*Xd_%2wbYx#Zn?Qv~)imdSUh=UDWfl?KeVet=k9~v# zWydz&V*Pr}YcY>gYo`G;Pjm3e^+6tLZ47j(GLjJ}dxa&9FsHhrKsG}* zEwED=9>9q%BgJ$j5d}aB|A7b46P*pYm-9ZiURdHuJTF109}mk=Ie7=f|BlLA)OiSv z-)|rAKK(N<+Vh?tTv2d|L(%uzG7mAlZt48KkDzSvCm3gt>=?V#g&zqw?W zvN@6~Gp^*?_<^!Y5j66L<9PshRhvsJqbPdULA|g1Ln!~00hXX=ZOSDI3_k zfotB3h7OQ+JqBtOj9-uFY291lFVjvk729=9buagpj7Mt={r-@63^*HAk8BQeFUpRf z3X<1Je_h8Yz=lzmjy?aYa>bt+RlO+WTDQics+Sx!-v9sc|1V9K67Mnt;!C_y5%3Jp zHA2~Vvmvx&Bap^hdA`Z39s!!EKEJuSM8u-1Jt4SWjm^pRZVjBtcB;G`$p`mb_CSG4 z6CY@L<#M~ES#us{mx(B8y6CBy@4%1T1ZDPbOceqxS#ICt} z(>xD@4pC>sVke4pqE}HYsC|y&z(W*RTEc0(&(aSIGzvXS0JX!&U{dCocy_}*4^$P< zBzCrdxtc8(Z|c?^Mc)%b#(vspK12)0BV$uHDE;^aaelOZnaXFIdWb45yapj$oybc> zbBQntzTk*PWGcc1?lplFLNsJvozB=^dT$rkcs8G}CH2@g90VXH41MO1Rwa#V9^*wi zO@>}48mn3cZtcik_U0XrwLVA>d*gAGEm*>%BlKC%NUjo61a({u?r&9nUn`M~K52pc zULh`2qI3;Yi&)za%=3km_sbZz7QQA0fJYky9{Y&jI(F~h7i}7T|K-=J7M}Z>!~nmK z{WwsDQtU-b468>dX^AMY%!`T4DCfv^+o7aXwP^V9+(%6T0<&^k-d+7I<|s&40gUg< zLjz0vnaFL)b0_bAm>Mrk7X(fbbYfa0e~ikcY!mzm<6M8gk9T9oJr__@4(E;Cn|S_5 zHa%b`Zw&jt4v@pOf?;pdc{VZfpq_U$AZSCWq&I5mYxSsz7xpCaF`M(KrJq%qTI*jc zw-N>SGtyI%Ro$skh!6dmdBJpqdWmt|^B-n-KTWuv1nR-&&LVRw4cNXjt$Vi#S|@)$3LDY737>+(4Bt0=$SEI9`om#2s-pA*aq17?_6@#M8 zosT`!o83hVf-26 zNj7yK`a2!bNPg~4mSs|U9SoA74?}!+#B}VP7XTZ(RAS(Odh)@-%$soC51nGuC-NpAa$sZ z1$(JIgkR;RjKi&V#Cq!B?x#}`-P!R3z39xdu!Ez+8F=*(`IuB0xZP`51UWm>41b_3 zjCyzf0D5+-6}_AYT^$EAH=5w84h9gv-8sXD)!g zTI)AWKk#*@*v$(ZD#!2YB?kH}q#w}$PV7cxe^2;&(OBm1X!-{z@3J>4@oK2!RWh^y0p?{=~P&H7KLtFy0`2Jj|Z*RUP?d|fB=mjJ(+$5<%DMDG+i zootKHO>lNRsu##vi@?oW1w^9*oy! zR=XdsjWlBGUCZAPy8WL>^B8LSSIo4b=D2^I%q;GH*nQm~?OFww)OInSb{Gt7c<)$> z6RzYk>u{}WIZm0Lljdq{Tf5-fS+Njoe$vmU)djy9m-If2mY+WB=Zn7tHy(7nVahHN z;)X1cd)oct8Wg7Ux!yJ$bAZM&X{eSCr6e3XK;M(mWnhh>X^I~a`keV44*J|UoL?h+ z*nLo^#2tPnvIFFV=#!O3b&LLjVHEEF6;RAS|FI$`c_w(&(t|E~x1C5O0{*Ts_BD*^ zJjcJcb(;Y6FO2^~mcYMYPac=}Zw<^r#Rq~>LMt8PU{f+@As#xjB;vydWEfF?( z2YJy93bg+U!aF|tM=dK9bx;68QvOYBU!74bgmPKy80xGcij$2{bZZ&%7fQi?-z@^g z75^iC?mVvgHt8h?u#&-w>-|FGfoYa=}whJVEWO?zYa{-;rYQN%x-?J2}b z^moiuqXZ9EeKRoIIzcUqSv>@Bi>O4`5lf^)GoS3k@*d)f~_}h&s>mU%nIR@-UL& zUp>fMYHWC_fz9550{^+O+fwZ9LGM#8<~u3>tn)!zm0UdA1A>1f@Tj9JH>^L+JoaBi zL>wF?;JitEa>L9`=rtx%I&Zd5s7bRBkKTM(_Q*3VX zM$?kt5(}X4u}TVMmc62I`P>xe#87e`rpHC+t#`D`ojHzj3_p$g@dgn^74~BA5&gsQ zk1Ot|ZB}L&!*18T|H{Y|04KqxVXLUBm@SaXIU(7;=k)_Na_Fbd@Yv?tYlLNGA|BiS z)!LVUL-oFY&yamfOf0uEvhR^4p;TIgkV=>_6*bwHEKy{g zQbN*Vmn>P|`wXSN|KIQbUhj3ix{jH~oadZpyYJ8axj)ZysG4UbsfJ*u+9rqIfeK!9 zYow@O=G=hI;vovkq{&Crv(;Fg&=e)={oYNTAO<8*Ijdr%uzS?p`0Yg#3d;Olp5vW+ ziys9_FLliid-pHymnm*#8901!*QVgvcU`SfN?%g^$rfT|9l$zad_{?6XeU9{Q+yHG z|CB2vtx*Stv29Y~5Mx=WZSms5Y}*bweV%?6V+(@5pk`H&Z5QP|6lJQVALdyWf_C~O z_EO_p#+75h0jm>cCkF0Ma*Z3^Miyw4cVy#bOoyW+;w}X*&UUd|V99SLf!ug7q_!~K z+ZQfiZ3Jp#+0fPf<4*w*%q$j-H;niAHSU_q+)?XgYnc+f;44PndbrTb1#>sO0Z5^@ zIadLyg!EVPXyh;#*Z6wPe7m0=rOXL)OPW5nc2fKONybDS#;8mT*O--eXP+KPaDfZ8 zJC9wK;N9uDFq3|$0@f56#S4qKpJimJtBseK&&0^;NbscYJoUy%G+t$P&(&fc zIE6H=YL_KI_(KxcJ*9U?H}u6iAWQt6mZRB+Y@ zVE$+rTynJ7&RP}Jg3`q-d~OOO1Q5UQa&LDub2~G>jGs8vS@@KJPo2@^Mr0JLZtFQ_ zi`+(LGr^$X3(JeBiU(+f4D2=HfHxbDk>GgO3}pEyA)3c4>qF?qc&gwxb-w zCG&)jmzVPmN)}7TZZ*v^F^->7pB=oyNF%mlS@7CX2{`;U1fls&4z3f*ccL<=6i7c5 zxo#8mi~(0htr7JXgvoOH#tD5kMgnT9xPc(5aI}Ksad%cr`Lvq{#C|6b%#L|Y^E^La z`ZfJR0M-7c3TCd1ktefPI0C}24~a}P7`}!Hm17ZON73;+dis~TUW*!WxWbOgeA|WV z!8LA&D=FDxU0G(B-sZSiu61zC{3vi4eiA48^s*3?V9+cIDKsGJ`Ra=hT+9O<&tW zaLR`F0ki53E8o6^ZFPQgV>N*khV+wjX!*H|v$@mOqhmtaF(K}ZPn_a0@)Bw6Gi zdcB9`-d1Ws#<>GTCQV+uquBJ*bHuXwE?GjQF>d&PxYHixGQQcY9`@A!JlW6alTn(U zTkhFf2sX(asxFXd37Q?c{~4VH1}BmsB?1>G)z48QT7x=rzPnd(+U_;ks&G4%d)*Fg z7mm~@FX4%`5zewwF{dJ!aWO|DbVJteN1&yP9J8CETr7e%$`++^m z8A?s(*<;;Tlc~Y1m(s`d?vVZ2dfg;E`q7klGE)wr2io?I+Hh|__klN}bGajr8G_yf zwQ{InH|%&^uJC4$;JeTvy<}957Pa4Szqx?QnY5P6P&p2j&~Luf6C{5YiSN(vn3_wg zu%pcjB4t&??2`A6^!s;eQ9nlVh}#TuptAhg7!z+qs8s!sC7_)KXCKyxW~*#w>WTJH z?`N-J=+b%~*Bj;8BdUJQ60#tepYK*;+1_q!2`#G!8?@@g3AJ~Az&6xzDZaN2c%m>p zeL!|o(&xt{H)Cg6cdif4QbQ*!dqqpxG~Pvv8J5?$hC<+&;sX4DMkt>Fi(avk`0(3y zBy3oU5F>lA25h&$GiMLIZSVFo00y9K@)S;7O1@RP@ks;_1pr{Mi2usbc!ymDtN}I$ zOP)z_<~Mg~d{SK;|6(bkN2mjg?XNg@U99m^RBVd`De&vZN7i>jH!I*v3h(13IU#NV zw_FuX=M(_c*y?TOBe)o6d!->@1q;!>6Q!dYo3Li{ufUlVU<8l|i3j!Htj*UgSCHN$ zJY0J$)Hw};*<}#Ltw(|>T~4P9s`S}vbV%p2t>{n!VJ;B-2B2s;a1 z&wBF%!~>5d_c%A4-d z1VwhNpb+kg{OulK59#s!a+55`A)hF8U6uVs@*uTXCIOZR3Iu&3OpgL-sUxEN_>gzZIELreI;OkT^Wn{!H(>zD^vO(?E{AM?@nQ`4w zy!za#gR%IA*vVX9>1EF^ih8w*CTkwaEs~{6)KcbTVTp32 zeC(SLY!#Nsw>4R>skaByC%c1Z?hqH`=fw`;{C)IvhR+E(%S8e11xBy~P zk((Z$V4)paB2OgBJhyn#LgA~IAPfil+1HmO>|I``o|SiO-pD~V7YLHK6%tZ#`c#Pt zS#@c&5;bde-!OSQ)&8p*Y5}Ta9QM?i`caReZi7?RS9MC9h3BW}p0NsJTtp0G>gs%Z zf>})9Z+yN&fgzJ--%6x(M{dVijQU8?cx(52!G4$LQM^ZzZ=iIw14Fhje<0hGmXsQZ zJhNA8vTbEILR+A=bM9@+GOd@~6k~!Qw6*QIE#-orgcu{h7!B91I%#KcD4DzZi8ZmD z=?Jk+vIjhdKCCarn4_g$w)8#`f27AxYAFvvKWio&bc)+ zz75P0emmox)>O_IR?&C%4B1jEgd;eymDwO}p<@yq!PoTl$cf}lB+I8}wmPfAPqGs$ zy;r9>Qu{?Kc2dRbIJ=zbnBJZ;xRp9N(xtJM9A!~S$4NZ+d5JP+ymryOS;YE`JY`_t zdxFs`if~KOb(j-BXmjKj+lX*CS>?at*hgICkgdbBXs5kQ-jIXs-2dD|{&`e7YM16X z&@8d%oGB75XcpmAETJsls?e*s*njFxrfDT+N~o!4%lmk?GF{O3SOZE8vQXN#iSv#y z*0&7vz$STZJCUgtjn9aQuV{0$E5k^-qcD=)5F6A~V7m0Kad0Co)%QM-fH%>Tat*O3^?I{CkPzEl+8d8l2w<^$D7K}f}bZ09KE>fUU!U3MW7)U z-s5Dm$d%V=Y_gAaNLq9>kWjh6q$-ale8xS(@ zyYm}xTlHWEB>~30AK<2w3-S&oXoKD`vl& zye95~g#wVHQbSA3!e0ToD(<(%0qW!zM|NtU_80@u=Sy5@sPmHH1)k&OiWAVHu3h12 zfAM-NG#lY066ufcL;NiASAA;7FHRi%>@Q{&vGhBspRXYIxZ;KBfBmE{h8bf*KYAxC*O@t(H&8t zCn4)o*=SbpmOt+)aHeM}rNcH8yj|#8Du>tS2FNZDo;ntACK5aI=^4!HT72ZfCy2)C z+m4eJo-}%%(uz5GGhu>bu(HKvfmXV3*SfCj@ri?PA;a{^8#Whd&9%|^;-A;KbSaNS zA`+b^z?ZozCJF|~hb4GKyx!P3$tR6^J3gitoovg=3z)s;g|VKy3h`=C{!*(xJG=#4{_NoqRppOS z60Or&e%R`Swia0BDD&lZa7m)qbWddVm^m7c5$&yFH-g?eTz}xAH2LOe zoB1Qi2p)P}qm&;!T`Bgcxk5HI?vdc(iHs|ThmH;mmo6@_clQL|U1}YB&KuUx+#N7d z42FW#PG*`j`I+wBaP(eIPV)U8f4>f(8MZ^(@=UvY*~E{QgZLJd-n{sXEWvnfS&mU! z=-g+;QsXjCX_=(8)nz}-rI|O>XilNjg0_QoTYT~MpvqCC)BU#iKq?SqF@itm#v3t& zEe8@eA|f9BDe-2tuc=|j8j_SZ#Se52^&zYb~`vv2oqwN9b(&NS}A2hA1+V$>#f z;SCr=CgcMfG4VuLif0O)g02JMk$LBtD(@e=@b7a;hwsNl>$){gO!r>A4$0Q6A3*sqqf|i z+~e3Ya_t%*4a2@skAmmFMt9@0X4S6$ZB{A1Z`*kSTRdM zz0=03Y%Ec?`qxZMwk@KFjWAbpOpdMV&HUguKvM2%`8|(S%R%ypKYG8vk#CEkN$>rL z()&Z~_#*SgIMv}x8jC+0-9O(vQFnRMe)p0+BLVdKsg|Gl(vZ*_r)qfoRpKVRm1hDr z7$foiTiWZw5|OZ)J$PH)!RbfRce=d6Z_AsjYpZW$m5-qA6%IYIye21Al#`0a&j$l_Rp0tmx$o_A z_rvHgjlB2tgWvwZ>cD1DpePThq9mC&EWS7xlwM|$wwvilzEeUXEnSC0d5}^$_r2qs z^IN*|qWDUVSQYGYB++(9Ni6V(aeKgf873nILYOh`^AOCY@6|%C#}YOW>hCT0w{{k4 z5SXwbJ<<>I3A)jXS;spd_4NJaf093V8X)S8>v9tI$;c@2@T18=_>|X%B=_gOUoU<6 ztz5rF!>l);##gLl?RO+)oYw|a`(+qrb)Xi@E^??}+tn2?e&Cv->xV&qFgYcl5p(Vm zQat@*z722VpiH$^d-`A=wtqUdE|<4emxnL}7VqZ*uvr1Y0FaL8Rz4{98nWneZqIq~ zy+$lJC&o|@c*@*{@1SD%D%5oRwT~-h60R2@V^i{e3O0%g2p%nGDY-6fmFQ69xz8W8 zWJj#?PR5Ufa|mpcF{iAr_u<^@|DnjYWNgso^_kBv$L2u+F{{f@num7y83cjE<2fKb zrh!9w8h9u2%xfQ}jGZbc%X3Q?{I1#f4=Hr{jOo4x9Yog1FZDoD-_3tcY%BfIyuYM8 zCiTS28$JHrWoO-+_igDTu-6c3Ri?e6Jk zZ{JAtL^~g%7KA9UA!YF+WiimUQVegaTQ%&OBCOkSY;S|-CHg$oW%Pqe-3|@KEq!$- zWi9=(;lD0RFFOM%aSc);H+dA;!aM7;2UsW8l}Hm1SLh;-H7Me(#pLYk!4mFsE#1zq zQ$qi|38X^d&Pq-?5zMZy+1vTz4onvi>0_kHhixtaZ+%mcezWxNA$L#)72nqb6@xl4 zE!_dqKENh`4yDcIlI^aZH<7s*%sw_7S+H4xho`SAf zhJ&nhv4R$!jm&}AYF6o!gO{}d0~dr~3>p6FhLu8~J(enmJ%{@+rRM%=Z)u8=Ymc+I z7;-mX1iQ-$UC;-Fmb#M+UGN`kwcJxS)HoqU!yw4bW&6FJICpe)iS&15W_iTj_Wiu> z0pZyrXkMg;|9iXA+e?8vhxnx-x$o*>!xvdN;g(U)_=`xL&cq1Rbb$ce@IQ==zsDJJ z6*D{);nIQ0zG{kBvZ5g6vGDyP)9-aNGYw>@K)#W<{J&gL#Pgm}O zeDugf__$1f)hEQEe%pS>xP0CWwXf3ib?VbTN@YRqaN*PVGmRo2(Z>VV5-jr*Ve#(% zq_Tc?8jI+S?N>Ix@@A$FXvhunO6bd(&{GY+U#7>O)O&Xk4$zx4f`=LRZyBjwz9bv#@)ZMbjDOjd7?GQdQb6g zt$f4e`)98CPWN1#wjF94!0;F)_gybNC6%y^YZN=-pl<%|N%FSRc^B2612$p_PHho& zj`t@_i7s71iO~fDGS+uPX1c=;xB9``Z($QN1GnSZF&%a1*dCKW_>{jpoIR_F1*mWo zZ|shHA|Oc#+BW^*e##+7uVnTVCAajMTg)r=3BNpkDv8D84XSt!0VWRiG#2E=WU z>2%^5_+QagvkslEB|jTRy*EX zybWHAV+Vl-Y$>?OfB0uA{&ZF-uHE~^rh~_HNFai#bM6+<)df@X#O0ltPHw(a+vP2{ z1DZ=4qpL-~eH`np$@Um)IjA9ZBH7cdp|~9w{*ZsWfN*C3>!zDGnA_Awoy)xtK-a-I z6de@gas@sDR0a+&Z~PP;Ou4>m(#HrZ?<1Yf$G5(tWd4G(WRHQ9cY!|B#dZJSbutIq z12+im41mow)U!VieEkvg&kW>hnjL#=Rea{ApD7zlrJHDzTJF8V-@bp)CN;gSUfRDo z5=Y2xKkQz?wyT&q=;6!?EM#jwDX@C~?vP?m*`3 zPZxF%jTbV%f8f@=;hUw9DGCZqldhy`(_PrC?w+`l+XeHbk9>c?lK%FQ@0okoi39B| zrqMKJT6eLTfh+B_F0{&*+l`u!@VQ5-m-P-)7>T#1dz9iFd6%_=WJpp zAHMhU@VIq=TUw}dEVlA-_Y9<^+U5#8^=i>99zSe<8grXl^+YrKyu2Y7#ABx>5To@3 z0+IDM){3eJQ0E{kXvq1Osdq%Yk1?^zt#YqY`Ao$_HXDI`i02-f9jg($4yham9g<9G z5kc#LL%rh%nfXnJ9yDwIobB>=D4)2rM>HNs_R+r^ZWA2%jF((Kp*A}>>vR*ON?8jU zbEDGApf&2)FB5p^Zm>;|@59i6P$sdgyiwBAxCzvJ2@Kd?_mN^ge!`bV8%d3y`}Ti( zZI{UMs0|>NM|~)+xx7YnHgj8WZ){_qHmUx4@K?00@pf}NP4?t#uir3|dDKQj^wErD z)TYmAkFN~B{sF0JnJ;6v)`Rg{aYQX4OFlz5U;W4HJ>PFH&TYwVAif8ixYRo(pp$Hy zzd!nzl&q3A&a1+kA0LgG_2cS|&iP_7`@^^M0;&UNo8n_HQyNL(BE#C8aM*usTU9^> zTk)sG1=o|@1pgmCRW_TOpA~o$8&h((j;4n-moDxq3#)W5jU1hzX=ImNjN1pQF+D?# zVjD31c{egYAH20waf?&&aKVXBilx4_7vj1ugyY`d(c_s=x5#K}RO;nqViF$zQW ze||?PWL+w|Ig$ad)0lnRXmSm;%hU>Sl=9t9jLvBQ8?tePaVB8T5b*xq>z&IHPqVM} z5_yPM48-S{8{acbPMp~r^eNcJZIkNpDgb<9A|jw;PG8ShwoI&Dlbfn zDjP$RL5Z_{w>36Rf=2ZqUe1L4B7&}9+<*pD00B=S7+4?D>j3dEjPwPfbwuukjfjUa zs|MvN2oW>zOHM5z7*-C0QP9;8;RF@9c9YgI%Db@ajHDoKK1HW=erCb z$}9o$zu?$!qm9iWE<@Ae9s;Y4KsXZITJ+O$Wngz&NmdvwK%7b2O7WBb7f2{bzHaUJ z;5|r}k9bC&`F$q}K{)I#K4?9_^#3=YE=d?WPKuY%o0*94%M z+rpe3_ylSZBciT_GApfHP3`+?CP?Xwedv^3YBVyj>cWRHbqhRX5~JrYgwhQVWSWFq z;0wRdKEO{epx+IZ`>y5`RLXHfE7EU&7%;#K&}Z_onF-3=*8qX01L#+jjR%0?y2XeW z)PzJ#T4**zAWPsX|173Dl{vi3R4?a^hR{;^JE``T>3;y}jxzS%fK#oR#%l>~+~K(w zcEj-XP*$wQitO_9*hoM>VdPOWN&%hW15kq)swhFN9>F>sO`Wi=jD38{z_qn1JvfO{ zFe&sJ%BtS4V-llPi(bdo&UaAF_*EF(;=zeZtuPEPhp1vj5ioL+)RPo@k*}@cyiT%< zKpc$sL{H53@B|yl`08EkUk?`WWZGwufYEZNPSja0kb9;#j4IV?ER69m32?Ooh^R}8 z6wM0gaJ(=129+hqJ&I_1dCWK~;^MvK31fG@3gP;1(X59cO0j9o4a#)=HXHEcz zVbabEiX8ulX|aiDnyC}jK3KuXcnjdIN1+O=H1KU-oCps&bB0=IbO?xlQ3XO?IjmP_|Aq@=)aj z5DQZhFF^~3*J;+GGN?u6tqx>9Tru^*KX+T?S4qq^f; z9wh=dY$~C@iZC-dl#Rl&fR;qQKLjUk8nUkvqajF{pXLqIqM_xv@SFwQwP^M?JRxgs znNo=({PF5BZpUOwrtP;-(~}IDo;uSE7e*Er4xYtas!-Du(*67qI7pKTMkA&#=ox^S zpx*k~cfEeRQ6u;CCe*R%v-XViup5#`F^?~tSudFXkqRR~9&nI{^3K%AtG0q5u&LPV zE6#Mjbt`sGPb^Sgj?fD(Dr@Aiy%h>u7QL6hTQei7Ha~E7Qk{S{3;F)?pGK1bj!;bO z&N}pQ)V7ed5xDg6(Rrj&Wt*uCiCZJZP|(R)?|r`{HxS!E>LXvqYOAx6)d+psdc%oI}uVb-CG2ft-vLUvPjD-i zIJA4?`5&ht+xfVg{SxC3$UmtZ;QWfd994$GcbP8q=_=?k6i6LFrkyE<4iVJ^uC8r6wIb@|Ly^7n%&Kzppwhxm*`eDDM@lTU z8Zcy~dm*^~RT@t`^fserUu?N;qFD?aWb3Zuo$+krL@_}loxE5v1~QT=LLx^11T)Wh zGS(B^O2C9Icg~>;Cj(#`SVIFJ)1=`IoRmQz`?886aM+KKknb2dxr*vYP2ZqfBe09d zD2BnApJ3;4Su1*tu{=_o7#jGRc_qZFtzOa}UL~Ufin4N(-8wdC*|6^}<(?)zOT& z5Oyj<<{Oq)E|txW)XBlOhwo-Sym zoCOz@cP{sQ9)08~h;Pys1MFdCjpZGzz502-L|sL%qRJ*tf$!6?%+5!A<~Fm^zK>3G zl|_Gf*7R^23|n((nWd8_UZ?Fb)$T`VkBVRH!2cx7eg&jf-O&OespCf|+-{-}eJvH? z3DPlB_C~}m{5Qhw7rJN(!IiN~BnQ89dFs$+Cuc31M)xqDu&;gFKT$t_gRH+PiWUBf z4tqeAI{V@)_3prG&**Xa0ILiKKqmER=u8Aro|P8+4P=%PTL#i}bi$5KEYRVf3}K65 z(pK0yI*0keq?h&`*lmSrFfoLovF2=giC;uo# z)GY?=U?SZPf)Jy*n^b~OijLUW!L@(pfM4msXzL-t9K9rsmD{kc@Ckwh z>N3{-i@s$1H_8?=x8vL%QZ5lX5j74xNrofR9yifCYF+H>pCbmFNUuEtwU-Fc-z5O# zxFq#==Ow|76^-e>dn7l&0CXMssp~P{-ux z36}!XhGYY!PgDyg``oowM^2z4Q?6y$UJi6tK>0Eq`)hPm605fAQ@PgU>`xMcmO%22 zRt+&zwI3I*;LH^W=thLk;ySaIV7;0w7|T3T4Kye}Va(7@et0uA-R(Ki)#t92V9p!$ z`O|hq@mpB&WqeazvIPdhAZM!DuPAHS-wd9>R;*?ezX2LfS#IdRHe!`6GwK;Lu3sVG0DmPU zHm<|Q%%wkHx$?`xA|eK7Sd!2hwNp@wNwc}0(L@f*q5D89?0o$3P-4~Ie|-Mo)_qw{ zvyjv8wVrFfuloX~Ux$5#}vmqR#VrQKV3&N+L1U>x^9m zbAVjA7Jb~9dw{*d6LN1({MeWy7wkTv#JEgj4qu2r4*4G?rh@f^JLzUI>n`;4Pz+ZA-BQ9->cuMXN_X2`!A2*j{$y%9{!=08cw<3^Gt@S&IfsLb=IO1lYCD?5Q zs$_v9?yKE#{c3y8n0afS*x!=-S{P>`$5X#MFIsHZ{UrBj9{ijv z$_Q|p@}a@V2wadbsyWJBE@k8=EWq*1RSxpSg)u-js%|6mcg6Om=*> z)mQRaSldD$SBlQ<23#3K>@=d@z4ZV(G+jWG{zFyvTb^tgyC7N|wLPYm(U!dev!027 z0C(*C?rx_G1X#gcL1el?k(yDLN<|x?a!$rP3@+f~vo1;Nabkp(J*nr$4AG}sg~ZF& z6FjkklBaTbY;~O0=6-8guW2F3NU15u$Z9Je))#cyi0G$K-05eM*Dz~(=0%^JN^~Z_ z2*rupmto3k=KVr2-Mg7lo=l8`U*%U(7%sh8YpJiqMnJbBh}c1ca$376DgruO?96n} znsc}Y(x|5~Cmp%OWMX13bC`o)VQzlX2~^kW&Q-M0;&xC0?K%gcNo@W%Yp^`_Wo{Xd z(Tb>i*nX9rJfjZgeXsu)4zOA5tHGU2Fr<))frAfgVx}y@h#*mAqORt;HHi%kk}O!!E5UR`&sA@g!g3mGdolJKa}tNmfj?@ioDqMq4=?Gn}U(>(=kcy z^16zHmn!s&Lc}z+qe2tbuU*5$#KELhwObpiB7U!+f}%N|LCWJZn;##4 zb+c*e7}s{z>V2F28`MkRPOWXn()`5v#2Bc)VK~K+iHQjj+i#Q7ofR=>zbg*2;7DfG zGlnT@Z_8N{VQKL-;wFzh;}#*^AZaKh4msyvJ8$6mR91;ZCJ!4NOTU%Gvn@nlK&`XF zVa?%AcT=}ba|VVt(Pjldj(k59a#wBtQ`yd^c}mU%t&7rM)d`X|7L5uyn>=L3{Uske zlFTZ6aJjiZ&IxkQ!?K zZL-hT!+2cbQpmuU#@mH2l;@AEPB`yiP;0-Y37CyS=?~2oL$_Ybh zj*#5?!q!UJ_;F4P4S14@1d0?1|D1E{48@80O%qooT_H+Qz89>!PqHKh_&5zzrLQ4e z`4nIo3%|o@$$L*;%z}8g@4y9<@&xk9<4QD#x(QnQ1)WXQ%`ebwRxa;D zW^Fx*rgm`Hdb+{!uh(P@&1+4|Msqf+I)}kTqjr~MbC5P)77ihXoe;0hFmsO0X2`w( zM_4vH9KYVLyhh`W&d0oJcc`01F1s1IY;AkH*;8&eY>qUUJ%<|(W&))a)@ zbg{lJNz;KU-$bgsetV>C?B^V6yT;Kqzfa{RZ~No@Qc<%#buZ6cV`=NF%WwOAUDySu zFqZ51*|u`ivu#yyth|P=yw8tFpxjn)Chos^sG9K9rI=pf7`2e9phDCaq<#NxZ7Z4U)^joTzCsqxVBO}z=9lTRl%O~9J%7kRe#;Z^3@ageBZpzkj8%) zhdHAHb4FLR+G5=q7o>OoYY&Mq(DqT*7>a!~xl=%RcCW+l;n!8Pjq7~h&?f7z%gnCa zFnuumdGji(pxs-DeZ*))g|N+%-1zIV!l}msaa#>S+p6*-FiOfs^HU>T{uZRcf9knP zc<|lFUaZeehhuT2SB3_Zj3d4fn+>%Ru1Sgs z`bdBA3+2o#@fl0^kB#IJ8x9h)ITL;0Y(npwY2PH_!wvsPQJQ0G_sN57x!*ADCJUaa zeFHIh)j$z7i;_icV9&mQ+y9EH{&xFaX-o1=Xj=)SONEUXxLIh;_Dm`vpO5Qjug?7H zblQ>>V%BR>Z8>W}_RLN=T?C8gNemK-2B%|$_nGz9*>!bmUzjKlW3lRg*j~_Q@zg>& zh5OXWeD%PYyjwpG5&JkzPq!BZ$&OT-p7msf-VlM~1Pn7zYl5jc2RYyd!<&Lr&zRr& zJ&ZxdhMN-K)mvR^^{!s)ZI)~JpKMgG)~Da!b!O$pXozSOuHFQk{UGg!%=`7VnHO;91$U)^Sdo9NJXc2 zqPO|~&h%j)wVh-p`_Xo|JMwiPUaLy(g+U1|8(D#H(`H-jl6G1vs%!c&+LmUTZ$>%XK|?v z0(=+ho^PyH_?ft9Np!e~-^?MG_6?SGiDa#BpHk~afxjv}otu;6;r~4JM0rAcf3m7~ zfgC){XDux@HkSL)0*???fN*nP-LcIJ$uCS$CdXMz181MidT&;fJ5Bpo$7x@}WAL~_ zMdptw#7z#QT+YwWA1d@78Qx|?&i~b1SPNol(EMd0>9*qY@3-~|>E)5k9DZ`C4y(aZ zrpE8L{MZc7=4ZI%8(IcE?yBa!QV>S(WTc~)4XLLFp)pyN_9`ydtuN7Kpz0C$z+>mo z8r7C)M{EuAx-e%dpNm15RTlyB?4e&h(mh2@mTJ5OM-FVQG3H!Im7<+We#l`akl|CDnyz+`CM*hG2*?>IZNZ3o=O$ubf7O1QjQrYcb z<42y19=6+rxZfog{O9X0JFJisyfF7|C%Z2!DkZyrws3~72EqEVV|KUHPpkZCum4jS zV4n{Q6ow@1xcBneHE60qq=$_)W5y5jh^SoM$ReK9RUdf)a8+oB-~`Hqcd|EZ{TcNyKaBW^b`hBtg4Vdaao-Li zRBhwF%bZDIe&7Q}@W=4-qU`_gpN*GFU$j^d6H}#rhSe*+urGyZrCO--(mP+yxoI)R zy$`+Z!^Plnt|-(#9YbyMZrf1gL6-a|R#sN}gDjE1{Q5zjuzSq)sFAxX@r=w-S9b^G znXWDu3k{!Za_abRTqsWrf*kN}<45mY4xq(seGS&c`_}gAMCG3F3g3;s8+h?zKuybu z_uYH)$jS#Ayo(w4B~>PVeok>=MkNTG zH!0N3SX<%{d(5SE9mkmJt5BZ6#VF$#hIKurK3fZ$=C?B5I+;`Wl;BZ#grQfe+~&K@ z-ks+!=cJFQ6-@3z#hhiabh#qo)5Z8L;MtB#mfq%HFUYs@dS@zBYb3mz6hfZlIp-Kx zSpn6Pg{JuL4Y2yp2CyR%k@_cJe8^rQyE?+V+?)07I}?`p<_?`Cku3jx(k^B1!#{1G z7>Zr*k6}-)%^nJ6v3B;SI&iZoGijq#^TT<>z+f bAEz(R7Nh-4$n$Jb?C>uJy3sWX`QQHmoay!< delta 19515 zcmY(JV{o8t(4}MBw(Vr%WP*up&BVsUd}3o_+qP}nwrwZ-Zhc$3wfC>C`*-(sx=x?i zB(SRvP$Weea0m<#7#J83Uk6&%S|l$}i2q&GM}uPjPZeJZMhFHes}yoD(TyC|DkNKwHTa0gS58iZh*%nN*jTQdSvSB8as3qKTpgr1ln!;$ETo zH=2AS8(jmFnpBwLjfiu%S|nO6gn2hYPAlkdu}trYWGJtKu&m1)$V%`ylux4!u79f1 z48#t-mjqUz`7zF=reLUv9IOg*hiMH+x;au!XuFRs+rShycIW|2j~chhsl)6VRbUt* zNXj}n=EPg_H6CKiY@{Yuk2zGz&HPjM&U@8$Ru8cTt%wc@iY6Y`2kbrp+?6d9vcj}$ zK*%)kd4D?ojLWa@-3`UG8@p;1)qsej(LNR=$wvA^d%hEda@URtJQ4RMea3tubz-z& zu^>a}6j-zyW6r*mWf^Hh_b=r>P-hv|QF&0oz~1^~{_31Z2d|vwweFEP(R%OT9lJd@pU*RpACl zuC=#z(M+uFl|~%X09VUH3BX(rxEDGPiIhLCpHpgXiNL@?3;v>&HfS@5HCeU1l7Y+{DQ)-kChTTCM)CzG$?V$?^C0IIp^c;vJK z*5YULh(GFGMN3weog|Gers`R`1^AT|OCSM%gv-)XMnd&cG0M%Rd*OzkD2tov`CKE^ zi}d54Io-dv4>~E6dNl9J-IzAIrhnN&115JhOyD1$7Ywqaqv*w+^0P@SL|u1rb7f4l z?bB!SiyJebw=&gSrC=@;ZXVM?JhJ{6bvf+}xU3s~J}_&}Bk@dIZ7GGfBD1Ydq1Ii7 zwB?|eivwAFgBT!ON$~TZPLg9cdJ^fNELP zXOAk_E69EXD~~-0of;c%N*bt+W+{3t_@5N`-S4fm{YuPC0p>wzQ%QpZwWwKB?!!x~ z;&3V?pP$dB@BJM{y)khn;Qb^@L!v|ARHiG7M$dL?aQ<>BCA`1)yAmRMXY4r3EgnA5 z(>D~l!1o1WgqHifdB!)!vF#K|5;Oy2hI3@U?T(b z4)s6Skwy;tKYz<8VBi@4k4zx{_r+hL(*PH3uBs}V%S@J#s%13dFnXvK{urznpr>TY z1=xjBlKvFJG|CtS&vYc>9+)S^3o7NddF|h&vYVAGs1l!M{BXpA`uL&z4|ID2SEM%c$35Wo z^D?$0tN2wL$~}DRuUi5enK@u&UE&9mde6#v9NXo7kIX zg)k|e_q_($+a`vl83qE9SPzds&S8N}uIP+l#@va5F3()%Pmgdm_M1mNXH8LrTMf@p zMAU9|NImwfiaJ9+IEh8q9PK=HI+@? z+`JLlKeQFp7l%x=oSdkuB7e8<&(6FZ|`<{J+?52mlbG0bg7nXG4&2R|KxT4A|H1Mvpa?bjpp-#=o}tJd@HoeOF=6X92- zEmUH=&{nZ0t(KxS4!NnWW7gr{$3^Sa z!$6N`Dr0d2*f$S@J#0XTVWF5_0^Pr@H13#3Kgr#-0!P6um2;BuswOSLnw6Z!yzh{S zVdxjN=%gU&MgnuJ+mly5x5knJI_!_-oMjh}Y3t=6^nuPP;ID=2U+mGW734F^ZJVf9 z`w+PH0eXCD0xGX7-fp334tO;(#HmDjG_5S_BwTm1$VS=FKa)VaLh^XaQf^x+i=)QI z_I1jH&k%J?oSb%li~Cxh8^HjrxVRW1{E;i6SrBZ5g*$5zrkksg>nM7mj5gY<4#8O* zp}F-gJsSZfWG8I5ghm?&F7jeRVc4~YgU&Uo_^KznV{H$jKr}!28;|^(gQEZ3hQH-w zWL%s0{@QSCTrN-zbH9VN{I_47I8gt!q3rqO?oz2qi2rud>M94VUMu*D7_weLG7Y=* z>AI?g`AxA$CzMfxYl7dlR1nvjJ0V{a$unb1puZ}R9)nx(-&PFXZ6epJpind9fqlYU zme}-gQL9E@>llN*F$OOvx{mSf89m{ieFULr3*qJ@;Utho0{(rOLZL9~lpFwU$nq*O z_8I?f_`M|0Ia2g}6EBaxbvyXPH~vT+uQh7Lb-f+#A%wd1eIjx{Vdm}1|G^TBeMi^s z{$A>Kc2w2>W%ho49tI~d$Ec+N9g&^*i+l|Z3knJfW(8N4|JMC1fKu8L`Ov zi|?-*!545lIiKAhcZ}OEsXMx$bGQ21p&hn;1m^9PEWH|>mKoIDXV{{4Q+wvlO>|N3nq%mqbvcy8_EvTc%V|}|ir`KMizmz)K4caNN7=BQC>-@B3 zb~yZHU57i7u{DQl6X+&yFtVn>9P){$TtocrehQRlPj_yFL%+(QO-UV4&grhtGD*$L zLF!Y|Er1um2wG0rKJfkhx8_5jqwK(7SKr!c-${S7H<+tS@pF)r*)Y~dOyneZFyD<# zVoU&({MggjF0h8)ZpqGHo!b`|JAQ7vi4NPqk*J;47hRRqGf zy9uNx=}&tr-D*K2X8cAh+8M2fbD2>@`SEOtIzeGTb6s&b^oP})U(e6K+ms^{tId9dHP1;##)^sh= zQhOp7VkhoZ{`mNl*Nbe&1V-MuBADIA#Rt%OFK0%$xmg zg^+WsA4fUW1UBCLaVke$C*OG+*ADtRiZ+g$s}D|_xS2HRLU)=X_9QeosISdeynt7d zJEn*AK`QPAqv~m<4hewc&%`ss+ZnvR$**(kfCI;nf6q9cT@}#+A}uaD_K{oW`|@^w z9`#{Tw$}*fFE-FvOsxgp&1mVv8Jof?Gm1-pt|U6ttCQM5Jf$ zt9DxIYpz@y*cQS&+vWOBr+uZx5dzg2+E3m`T7}m_udOVdv8*6IOYpg7D~IE>gA|`l>yX0AIVcR!z=n}4na$ahTM~#^~9pr?cG_u zC&+66+2UoGQfGvzySOsD7ovcVyMrb!X6xJ&K0C%(Riw5@`&G9PI1wn31NvbH9Q$oL z)<zEB`~_*7cb?5Pspm9`F$-*Eg@M>qi#!qXa28uaigH)_*R}!&^REGO zmG%`!i*aGH?jB_4jdcl(KpMBbtx}$3#KszzAO(Rz(;?F9hpuFMeELXz9MB4v$DZy8 zrmd7l!h{pTgC-Y?l#i2Mc}?^vz`*_@+-;$Aleae@ZOAmcR?1*~{*sko-nd_c{F<2l zxUJKa6Xx@?@MTDogt|flp7@C{ zrIT$tUp?E#45nT_oeDSA<)Ha_m(MmpJg~Dc3Ga5P?YuVpt5MN)8g!T#VKfEuV$ouQ*QKF?yQ-+-uy9J=7dXT1IBIr_bfI4DmxlqH^p0 z5ey@h9Mm}T)BddIqbZy{QiIir zj}7g^(%QXlHd2{T`|MGByYD{Z?7?1ABFVpa-X_^`nYE9l@~E6^wOeiS%q$3FkaP_n z>84r?F^=*4Eg^Ali`MBTxlgH(Sl$tSk|%Ln$EHc+^5c{b5^iAgHse%&z|?#_`xz(da;%JzL4Qse{N!(r+w)^g;Ib++ z_qxC3A8y92gWsBVbU(LW;|aJuC!MRT#UI{#nMACCe=w6?H3bqpAm#SZmy=6kM5RX} z{t0VG7w1SPpCvU3xIEwsy(ZRV_1hgCY@6b&Wt;;;8b!wF8Lywhpzo5~{KnL=6U=KX za@t^svR?Dv>@cpM`80K=8!$*nU!F`M34{JsqEr?lf6e zkg-)ET$>izKcG80Ek8QSM5YdcJh{{`*>sge>K)sxC9}#{`U9sdqw+b!f!I!5Ea=_G z9vx6B@pwMmsh3%QimWK0^|^#-p3HCO=Uu{Cf4_&bP3q z%e0i}(oRT_s<_RObM2wYHaXL|EAXRXwwTjE6w}`uJYZx>bPG4Kl#}W0156x7#0Tr6 zsM^SrEtXMRR7d!#rYnN8TSMh>_RiedfCJFc&mVa&&}+DZ?4At-!ujBdvN&(q^w?vk zz$=TgXX(!P&YtHccFfw{dwr4alP+c6D+5AGi>iIxq|(XWtDaZj1_7RbYiT!yO4pKR zn%(kA)!Is7oGwk5KBs4>;OT$RTAE+!*BCb=R~`r%8kK>H8~MGHS+)!Z4(BFT8Q@Y) z%d_%#D|>@=$5QgPIth}8Pp)~h^<00AWl?(_({a!#i-KWH_IB*`lAF4$kXo;oY(DBAR*k~N< z?Bpgx@%CibI07PX8@kT>$`EvWWn3X8rtj>opt+V1{x%wC95*_X3c4{ zz=?2|$BK3yxFvg|Y8j1A(^XSu`0ceqn3Ct!;>2%!Yxsqras?NbkDPu)=f-UH|JYZR-KKTdD|2^8hd4lr<2_& zRTZ<1f#{0$h~w49(Ik+e3)mBXDVk-rXSoot~k~)_F{Vx9ap3<`qzS7SfO%>$TG~S!&^OuP4Wo!95lGQLE#vF5HDRwOB14O6FPsJ02o5Ow^ zczl*q1Rh2ngiqcdyusIhNrC&TAnc0;WAfNa|J|5GY{0>BlZWR%B^gvzHdnr$>lWDG zol`XM+x!-wgq5MuW3BS_+|;#*grim$s-z2PMw03x{B3v1R@aopsdcS!gnOb+v`!k5~lYq?P(V+{~yW&M9Ls*-Z` z>lx=oNkl#g=|c;0)$aIlB&uw)vsl+nx<%oqb$mYh@#0Umtlvb4b9Fppe!#}GIM_{0 zFewQPfOu7g6i?x{9r6BJs5)Kugwex8!@l1xmtjHlOV>0^7vaN~Tw^aMi?! ze3t%Uz_=h%zir&U{ce)?kq^S&Vr~FJXwcK)o3(n>!>jaBuYQzB6&s^!l$Wt3Nh8s6 zkVl)cF7a@+rFUd$ejCSv)tWa&bhc&3HB`Mdmd%5f+x#2ro_XIb+G{_*?i9F?UC_}p zGTXQY4SN?Z0lcc*sgRJ+DRgZ*FAwXEt^L-%0&O+{D=vMjEv^{NEYU3je3*>KSEu;$ z_2iT%i*YXFBDYIU7nwhq+hHbkw|+sb=M_?y^(6@&L0w!iW~t=hOdTg!!-G8}lGeN< z^-nHE8cII<%R6mk(f1p!CXCW&1bKWj@G93CW_>Xa0APUN61X?#tPU1*8+MwsSh z8vOF;YN;v`wUw*{^Is-3!V!QrjrT-B(V z+weirh8afn@xqxYa+lZHk=8b)eRkW{H^drNRC_c1$dMTB4JMAehg`1NGUJuJOZDBG zfE(Zp*p(8UR~y`w!vH0coZfj3jKr}e2$w;~Vyp)>Dhdq_!wPgUubs+BKWW0sj-(w85(zf!;ZSIQRVK(7*K zH?uePY%16Yu6ER`A`eGWjF#ID^3jB_HIGi>q6B7}J{mJQvWWt+rYW|DzDlK$fF8=qTc6KtQS0t4C%U!R3Ctk z)NPU^PPBKdzg?AXixu6t!@t;fh_`~&=f?OhHZb0;m}sak`mJt+k(8fpt|++z7udmm z$g>(5WB>5Q!_InUO|BK+05AdVc(n50WYc($Ylc|BgJzMKcjf?(h z^}jxALEU;3Bld5)vY2{$l-v6hOu$P^F!kDiGIFBU=`0(h68k)8_<;rNYRC#Yu z@tI4rAAH-qqm>JY+rBgdEgJJew|Jbj1wtq?s67+Bqg#m~BDDNf-eq_BVYz zhF>vj%4KeFk4vrQj^UA3!-vXqqC(AV-zpV#(>PI0tpVNOoxQqX&6upS0 zlMkCY;_5Ms<-|#}{B!oKNEn{lR+@n7#?A8H!m8ZDZ?fYiRp;8SZcN=%oc z@t4J$`9Sf(N-O%NdmUT*F)0rVIl+awX#3qrW19oZ-V(mdAs&`|A<-z{LHP&W#pgN6 zfUD&dyNbge{c>G0Li9HAxD$8C%Iti93AJ7a2TgTnGl9D4nH|P0kSp*+Qtlx)E0O=l zTWzHmNl&e%NqnGwX%vz{sn5OpVGeTB8WA{Bp5x!Wei)s}muJ|=?o<^1q`KWV6G4^z zrF#o(8U zBDP+(VioGPld=kXpY74u!nP5T8x4%uin=6w9Ed}3jt|a44A};t`Qd;dLZi2Nv+|Vg z9TG8C{1EV==~!N1q0wwc3AF zXY<%FKZi`Y!si6ST9@ag55V8Yjy2oJn z=zR{WM$TCPyQBD)sLkM7-|5H9>6HteoGvjS;8P4N;0A=Z)HrhtXyY22N5fo({jt{h zHJvxWOx#ct`#6vCBU^ICbbMvCBAxf1&*9%0x~3r%0G}~&9>_0iB7=Ufw(#Yz>yMc5zsnr6m~!L52tHQdkS@!_xo-W|v1_W22*cId zaVi>jU;R11KW;-jD9M24iO9Hn#KfhppwVO4xis}Gx+9jG4)Sch7R@m!-n?h#Q6HP3So{=iqkM_G(9{ySl*2>y`P-H-QG1?FYh$N|-_hY#iQMtS;)6FKsn0ajnhsW$amk9?oV0wi;X6ugauK*m&Am{j0Vt`O7U{Z*hyU3|E-r z%QMCpJOir=RVH)O;ou*pl#q9F)s*p;%i7UE&tzWYoBOcPF4?E(>}Z-w-V=CL;ztdg zpnsf|<`4&aA)BQUO0`f;qF~%VC91NjAv&-pEJ$s`>0)ydTqE!U)B>o~Nb9cb2QOb* zzXd8CAt3x6cp{_D>+7J5QqLV{l*V3$(CNmMg@4WQ&CyV#e6Oz7C}-8E(ye`cysQMY zXFkeR@!c%#Ct$oeP46q%i+XK-_1xU26Zy3gW$koK1iNdUlN|Tg~qWo-o~ao>r`Vr=Q1NbhPAy$ zWM9LA_0Th;Fh`zCQq)4$A-XAi8y+&nY5El_LeJN=+9TbOXKj+#4Y;k%DElqB*lcP#*JhL8&;bZHFf1$b5)oC+O_;xXG&FQJN$hpiw(&#!q5;`oaY7A92 zV_uFWV7H6o_61aH&nP|nwwYspY37m6^i`i2>y7NSb<##ANr zEqv015*->_M*PL~Q>C6ax^3C_J5>o=hpd8*nA%8`CbiYL!!-+uFaI3v*fY)(Z{w%} z*(GViLwLDL58n1u+e)b7V*J0uS*Jdh%|?J@*iI>3y>fj~n`GCGs*v37%1qmE$a#mY z&A%e`de_d0ue8q2c`#shPe8GE*S!DWxf#yRq6l&w@u&lnrAq0t{n+)yeI9@Q>))YB z$T*Lzy{7v2M8lNnL8=YwF|B}stN2@SVS6%91Wz{E(Fd+Y`lRWkUF(1r-gLOLXu#5IeaX z&6_%0jn2#tebh(q%AWk>d8qn{We~+u(30zPz5a{3D;GE(Ep3mE2@Nkl@nGb)Z8Oe$ zGieYFdUtEpTJfO2m7)Zx&Qv0~;dJUO_d{=!ub(n`3pP=R`<=MlR5=%cy_(ejn)WA_ zA?r_%k^<_YQwr1qUXf7K0NwDT8QrVaN#D2Gi~qwENU2tUkEaD?Rvl86>#5 zg;3)+GVZgaip#^XP_l-#nC_u4Yv#J}+e&bCFWSaV+9kZgF8@$9%3Cwm)(?q^XE)Wv zI)2DfFc`foB0ngC^q+14x13hWk2Wen&65VKDK}sd2YY>Y4zZ46fSZ+rve%t%o|F_l z4Muzi?9}iJf><{9{c0rOlm#1ymq+Oq~AxLtV$^+V(qF<+uC&G_=r2%OMX% z+A?a2hEe0((?bMx8BK*z1XEe2$thwcK@1#uzb1_*eX}){lgXX-{9Mw$9}6- zjJZIOC96oMO2OduwGEFtFWJA_MzI8~7Ofar)6>$!JNB|z>2eY40k%>g zs{U+>#geU;lyKO%v#Fw;-LR|=0#=Q-@gQDuZC5f_@f($#7c(U-a&w?WnM)kbj2_6n(*=`JW+|}D)jgM zXD(HWRj(Lh@O-Xzl`w>PcQfq3#yk5mr6+fnWTy!hQV~@;z2a zql2r9XuGwK$?|h+O@duZAa-Kh{2kWN>?EvY{d!zGn4U{Wuxk<_$k~%|$rgH<20ohF zuT~QCOA-&o^%-HLh5es+!_G&&W;Y{-ofKgL7>BhLn6*7euBs^twoM0|aTI_U&oq^k zLk3e`ni-@uLfO=C8NKsW``=d-OY*c-H#hFZYeX_rQOKCNTNN~$&1~ib;P$H? z#heqD>e(;a)3sK@H);O zj>me|%Z8!bI>CbYK|Ks1f2zc#3^)9vT zCKcmBf1gkjPYCn=5GrhLxj*SWJV z9@yj3->G=#wmELbPWXoebd7TZTi{R$bR zK+3w={L}SsnA=`(du2##p4p5jbWzI0iWc)oXXz-6Q7B5Zv4D?8ha4wu6u5+_o9(&p zEC@g`>ew9YqmpV0@uPDb$&bs@u>77I+IYb~!AP4|zMpt~ zUWr&=lI>^6Mmm8fb?;aK>NBiAs3?Z6+ zqM(D#X@Gyaja7TBH23n`?aP7rQvpqq9A%o^Om=A2W9d*l3-;f?Vl=qsC)s-m*LlWN zU?d6e0%RcdrRQ=f!6wewo+%uxzW7KPP`9dU_RSW3x6ZWos5*+ z>@6$F_l$uap;C*^#Q{@{5fNb&3T*;L{E~fy34kB1_=e+eh(ZwFw>_o0w%a5%6Lv;v zK^tLUDM1bkc(fiDRw%B>lOz?KbJ)ziik4j>mygVAP5Y_Qb6=njb5kbpZLSvv9u0cGK;I4kWOs;9rG6n&W zp}f$=4dX*~B%;hka@+db@L-i>1{h0+V3+yZp8V^YSl<0!sd+_4L9pf7%G17YKwD6` ziM2Dx!^ID0`o$i2oO&3b;g$?~0{uNX^Y#8bvaG^k^z74Md8a=w{Oi@9AFJFrfO?7hh4TSEKw@i93 zQ=zt_=arJrNBgQmVkAoQi>DQs?3Kz#5P=>{IEjz!^LKNC(Epc2`deUU12+w~hxpUh z>kFDOJ~UBJWrK}#rQ8=nb|`r)l1^FfBfuZFI8R{#Mqiw~1VeIz|0|dLMne&FnYLl| z(|TE14_(=l$HsHej$$QXmPL8fn9ZD{0lD(U z+7pB{jjKC|dgq%TVrGOLe!LB@I3%%boN8G6ahabRs4X?j3c4IrkB0;{hHr^~*X|9&%VB>s80nEuHf!9O7HlbGOBSYF{x7d8*E9vV^{V_G=~d1G3-U0MM;0H z)f6p|OniwGp-CSXX8@R&C1mk5vSR%8Qi+|8-);28ITYcp43adGJ_wr)omTKD8p~pr zVudkIE;wesp*^d$i3e*xZWSd4%cs3lApguk&t{kj)w}q8i1P-z<*9|%nyA;IcGDIR zK$mJ#5LL%Uh(hMtxny&v$fSEzEJh2ZJjXZb^FhuVPwX`2cmZ(XRvVFU6|6fQBhr=a ziZzefEmXMUy72ztOjRu0n1XbFOKL8{#g6LIg_a}f*h6J{ zG1Uelo)R$BMKOEsQX0t%<`@jnKHjFg1M|)8o?is`oIo}`%$Uij#i1)jOsopm*-b4y zPRNUqk(vYznZ;p^QgaHV`OIvFT_$QPZcaEhpQV4``0_OdoUboi1dR~r2nP=SA?5<& z1KF+bf^CA%*Sf*M)P7qrm~RQ*#NMTG#eTY9Kp0WV^UjWHv zA!Gh`KHw|Aj$0a}Xg7qP>%63@P!H@N7KY%E>S zLI|uCowC3g)Enf6nj3BD0H`yS{G5W<4B)F;0^DWgZ`=yyIINvN%0pHXVY`?HgO1@t zE2<*>)*qdAiJ+LiE9@-iDqR4P(9KKkc1H4Rs%;hH_xQWEFq`(TFm5v4Zgge?q-YKn z6TyQ30(EPeq8Q9p1ALexl@_`S5{?^rfw3OmiHVgnJQS?y3So`s#HJ61gaHCOS=YzK?fQLM_y-=yi?x5X|8{BxzlKTtt~OM_BvkNg<)> z=EK?H8N?SSde=)%k4Z?FY0_u|8tpTt8K^Jw3Y$rmxVr-lalD{rr4VIUVs8J*3;v%C zdj3R7uULo6q1IEORIOQk(!i<~`Mb+iCT7Odj>K=aPqKXis2eLvskBA+6~j}F@JV$@ zT+d)L++W8`zk=wh402kw9S+Cx9*=MF1*|hfTDl?Lxc{bSQHUtz^sf)+>vS{icTcMSCc6x$QrTk;AU3{o)wopHD zJ11UL4=p#ZpmCdX^}c9`A9_t)0TX_$A9q9RV(z-1k*=eeS$?1aqwlZ6i+hS4T3|Ns z-c>6Qo7A3+D*xCZ>52(IhjlC{|OxJmO>&9qYqtjpQ3%9#pOC^4gWkTQ| zQoEOjEe}pUw6wI30&C>egOUCm*hu3{9;U2Hp_;ZopL1zsQLwt(&N%2Y0nfZTd;Yxg zK{JJZCaW|2FLKO`hdC^4aC!KbTx_Qx!_*ry#oMrntC2;_Myp~e3>--Y&a$Qa;*_#O zujp425|SKl3O;NHWcY!J-#SE|V81vRq_is-xt`?UAtBqjDy9D6`SFiT*xQ#a|Fb5GG>^(T|$Nf4O|cnvv4g=cw*Fg%$r}V0~}-35c$b)}Mfv<>ElRmkG%`k*EtIPnt{m< zn`S=o0O6)#3i26{08HK;x&%Ld9x0d103<{r=bR-2B@#Vyj?|!r5l?iL{B%aw9Ky#R zY^Cc&20Oll(POx!5LsY@gH@&~5C?<9TN5Yn1@YRA^qyfGA(cT0J0Cee-P_A4#8i!H z2cMJ27P8jj^$_dz-r?Dny`3e4+`6+Qj_PP0u9x|}mvL~~0OngCx3v0Sz3!&Be2O$@ z#1!0q?R(avCAK%Z$IA+uc6_X^@2`i}$KAt;i8apmQ?j@%ec7*zrP@)x*j0O3Ne|`d zi5rA3oDa@9CY@-$8!u@T=6O3D^VS$BL~>ZJN#b+j*T2k6_H zt+)|=qhQ;AfM})4{`wg)p8&qM!eFPQcb)q`ASgGKu&J9naq;z`a`H?o@6S1PbB_1i zHar12(Y_Y_o6$WH8dWyTNHf+~(KF8qjacxDh>J0@rJV{iIj?nZEz_($pYpN0#7dI?WftrIslnNjzqo3I=TVPniRvNFpHC`aCcJzC$4hHexZ2%5`s z1!+?4>7f-m7RTlEm*4(wRt)R;tW7(BplCennj(Q=ts8b{$ta|?I#K3y)=0ToVG_qs z%OndfU@F#2IBX7{;YD+Um8vcSk{~PO*7+K8p|x}`wp4Qt(i#T(U$Ed8pGGS-noUg_ z@~?y!O}8l_^c7OK>m7mGqs68)ao+3&6&Bl=sO3j$vJ@v5g7DSvx3+|&i zZ)5Y$Cxc;);8!r3&I!+rliEIe_@xT}mNaZZYt75}|LH#a`TCyr( zO6{FHg^2SgilHnD)%;U?tNnID(1*F_*;ioQKq=hHpQg#sR360A{}+=4(v~d#*U3Z$sYZtg?~s<@O2+} z#KjwjUXk}0`s-bj65-Rht4O|^kwoC07i0sKQ6w>yhlgbU6kC#pWaY2irq7Pf`zy;u zQP7muK3-!dwF*|wkx>fm;&qjkOA#Q!0Gn1pExq4o^{cOa%JkpTTYNpRWk;7jH(0_U zzlc)GuFV~Y3o~X@7G6sn8HW zB;*r4O`4oG$Pv-(DH3R+GBCv)m6tKpr!CvdGr6G+(HXT#;Eyg|M;1#2oeD4q2VPu) zTOM&%yorB5Pbzed$J_UEV1R9AoL6k~Ax!j%mct2jchfWz>RL@5y}ucOeZPE4GPRUX zut76~enN8H2RXRs2FEaVEE1*4+O!)5VyD~H*Sm2;I)^*S3vxGgpOYVuX0>o=6al^^ z?VgO--f9MfQ`y&lguZf_7nISBfwQX75e7&LLfTD*!_Sn;==P}?g;20tEJ=c<`H{;9 zP{!W#Mi&bm*RkJt+=Exi#2X1}4u}}Y4u^$oM=*col@CD#H1TJ$yEl8~0*LqVQf49) z(xt@v58_WH#ip^CS4D>2#jZLTVloBjstIYqf#T&@<^*M*FwY$vf82kN!1F`GvTNlc zI-0G;*4-4VcHQe0)91K2HTAt;NbIhtJLi`tMICi0RQKyh3i+zjiPe0T@Ekbu2!D9; zhE8uJz=~cOc_*+Eo2320lJq*$6T$Ps=%YqhtGvbWcc`jkp#oa<(6L5!25pPf2b#zq zH)E-+dI}6<72YhT=D)-|00=icsB^cQP*5WB=kc8<#jKft63fF2L2_?Gm~HLaHU{Pj zgJD%#vVT!)6sSu>He~60`QHd_b<@cXBo=G2!=zT_WUvzzQ^K&PDWtsH1RvXtW+LGG z#ITG>)jNqsCXb&GpnuFqJWExV)mJWt|MLTdf8)tP?C|PTvT5J}VBYBi-GnyRO4;<3 zL+bCs?eA3s`Y4ac zIF{|wPi!9Rz%(xyeE5^uM=|A1cfV{<>@34cW2MBi64@KZ*gH+!nTNVA5vZ|>wiXW> zK{hsCWv8bZXhKN?lt&UOcE8gPkzMAO7x>xS*b9SZt2Ura^Cb=ub*aWsJ%>uL49G0Y z2SoYxWn2sh8#O~*!jO3ssxm;3k{&nQrWlTwt>4bh#ho(_BF(A-%Evn4Ee4AUvJ9}F zPmA)C*pRr+b&&banU9_7SlMqCGAwAHKt3NT&bIi|bMnQ3{qv0$=-#bB3);s@oSTIS zkQTCj5jL3tX(`NRlpl9_nYs3)T?Jsz>rm`A_4mapgl4Fb}_%Dn&4#$ddAe za&qjGILcFiyo~2@U(GEGHS`FsSLPFL+f>R+HD?m@2OdKIgt{^1ABbI|vNrPBs-~r@ zEs=szJIp$MJLaI@`2hruN@e({Qm$FCHYNbC3L>WorY+w_o6e79Fdn%$19w&s|MF(H z>!HEkbVh7UPQgs$ZLfd`EZfa`2;p2@5J(#k45u~#4RInu`%|?FOi|@B4t%!l@K?TL zI61{HSD6#}XHDY$+de900^z&) zdO+BM+4^ASKFsra=JH`oSJ}f{ZoM^MMTxsRR(fld603WcIR?>%(}Y1_ILk_t37p3R zCCD8F_CpJ4%0fQh=+U0BFi(;v9w?zsP zw?5IbwEJdoB%K415^+7zJoWM~g})b|je+-qU{@E7>{D@d0>Wo}`TSJ!QP33P52Pxv!9<*DQkCs*3P``y zf3^$%RnZxz#JpA{IY2<6SFT`A6IJA1WM25B6qvAjnJYFH$g^XI)xKl>&u$ilNz5t* zw0GD(XiIgd#r4odvNZXqKROXg1BVdoIRuVp*;#409Z#$PXsP9pR6at6ZCci=neH9$nw0P-D{AJ1;vi(QEp z0l`{e`QAk|-JxoLjsu6rN1Us>6MHX)=cd`A(Q;BcxvlH4rj%IpiWRbj(~ee<7U@V`ErAg>-^5M zCbN{g`b}EovN@|BwhyApp72?d;P^LfBms)!u|Dz$iY<9UwZC{S`CVjysA*Kt=^qgF zIy)cto>i}!c4b3xhf|yrJ~Y4o_CIjQ|Hka%>5EoWTdMFsk8diL*L?$`YNJ9*AWaTR zXBSXKgEr+86$QSKurLD&@eIgS!0cRRfH~P@%`Hz`!^D*YP6zeSurS90SIhZU87>Nx zlMDB(ZN#H$<>a3v`<9M{Ohs4^$xsC2r{ox{tjKrVxU+l((CMo1*$jZF<`0whDxIqQ zb9$DWN30M@y3W@71?Ip1$qgm3IPd8bK@fbiV4@5%Znx*EHbU*5lXnUh0RnYq=kVX_ zs+qsdV?aZ!p|btCi^HWR@i$auqZOfqP<`gGVJ=}{D4?Q$HT)n< zrZtvC;wg0aN%32i%>iu`4C);z3gx z7-y3{O*D{qW;V&pxx@_+Fuuq6a01l3u!( zyx(3@Q+h0Ims$guL!cUc|4FkPAi)kTSq_;+w`nHp8?EP5-hK-Q`n(3&%Ykg)Ds{r z6Z%biGU(BP#yr2Ak^fMikGq+y)>Gk}kPpXg7L2~}LIDlFABrPDqe!!*j`}-I_-Le4 zb#_*jnQMXIXzk+iV5rwp&Wn!O(mamivtk+ZIZy!A$20%LzQ@=GUMp297a^gFLg-d^X}JCf*b^a&Pv^#FYqGsDN~3MPKG{~i_lg~GIVSxm z7$7~az_O@-uYW5D_?VDmM764M`RCSxu2-koO8##kjW`6Q5omwt7DyB&btldQ?FQ z;Tj1aqqwW#&R$}yUn0VnXtPxqTW!Pw_%lgIdHY|wRdv-50XOQ|xz*E?LEn8$Ums*( zRh$&a#K%Gu@2{}UY28G0IDYW~Lj4!YohHdRNqLQh?VN~?ZE>5ZPr-lt+03NHj zkz2y{e#4=bGtn@$;=_1ymkW;}%e>e|v4Cq;0?e^U;7hI@TuTWFGwNAL9!O6 zK@-6pUNd0WB2hN+j=;Zv9O2at+=np)eHw*uX*U|A@yy+eSwmg(hF_8~b%sDWPbk{5 z5QY}kT07N@6zL0Fad`)ZtlXK&ri^w+x-?H==>1&yi$u{+*QIG=gszQeG#_D|X0ue_ z$o2SV?E}51v0l*9spRqlmdh6i^baXnPy5iSEtP^p%U}M2E(CPC_}NYY3F%c3))n9g;HC)qBWaWF?~3I_pey>oj&{-=YThBtgDL{ z@Z~G!s>i2ZooUKV3~J>?w%yJbc)6NB|0Y*0+QgnPWLx-Oraqh{eSN=hFO|7}i*eE+ z+qO@n>m={@2GKjo`Ql@$r|C zVa&d{aJo|(kPniUlwH;yCRa^76^NwmyZQQKb3*v!ByKNrHOf6u5(N#J_f~Ml&Uq8} z$HN+jwW&3~g$HtOiU067UQP;F%|=);@h7Zy0r_xIx}H_=r`xV7Jc=^N&o-T|ud4jF`u&%=%Y!FB0nGs)EFh-FmM#K!9y8ldzxnu6c(m$z|mKeC+)TN!w|ckIiZw|4Czm5S64^#xJ&oOGojCPqLN}dxl@zH;yk{ov4ZtY z^cV{nw<3^s7>YNc48ehOM7zQm?+g)+=mmxTT>CNGC${le4@*;(jiK8u!{qde_IXp> z0CL2-|C?xDTh}+8zzD5(6dvzmoBxWrY!-9hbS>g0KFpR71F|{U{=gj?{RYnRhJZ&x zF5{%5N}kImKhv&`(n2Sju3pMNET?{plU!;08^g?;D$p?&-(6V!y)9%6HGtKfHoa0+ zca~oa;{L2H)-9AbO;8(rI6dq+b^4B52Pox-pE8d=NL))KpEY)T^f+l-NM^|{^L>M; zNT7o!r@4Ui-seYCR#G?dj;(XN%fWT2yXE*Uy0;%Fc!L^sk)_Xv99_L%zuBc`DsDFS zhT4r`CFzn9Pjm9W5VhYy4}Y1q92!@2wu-%7>KLyyP1JZvH!J!e>?ADgt4xT07$*?w zE47w@H^bB{D6Y-4kZ5L#_RIVR+rAu5A3s-?f7FW<_UZpgu*}OvXW%u)ysCIp%I=QR zPc9I}`mKh%Y&JzLl4}=4if9-gL=c-H9qdQblpPJbuI;vG3)Dqzl8cLyv%{2%W|+Sr zT$@k}a`F(exD7vRv&A#NnQgtVBmkNbo5y9K>Q_nnl}%jc2-pg(9vS0YI9dozM9E=k z6XL?zX6>~778oiB!O@G>zbGhzWN)lQ>Q~`Z__&blWojNH+_N$U!A+x!1S(UoZA|S` z82&`?Q>gL&nJ2&70F#2qKyAy7N?QL;1kb;D4WEBp5 zyjU-$x7Ruhf59C#;>1NgM>WJ=;3#1_GV3=7IYYEL)jy=F*&LvGj8&5`q(^joK^*Id zDk-(nq7vsRz2+-H2Y|R=bgP4j#{Kwihu61cU37Ptr!LO2F8lAL>MKPRBo%F?6d#8$ z97q=}?lk_8mjv21X7!T*4)>9K$x;dH{f8?@xQ|Jl+3>pogdZIs*k254p8E$WN@Vt* zrI|Za&K$8H2usek-?g~?#xzHbXtvUo3)j}o5z^jd-%q@sd(eGh2;R|ts9?+l;PO;n zUyA9Rm>P8}xP6`D99Kg_3zNdB&gz3elBWN{*HD}zvM?2oPyY+8!BjpO`6B=n=f!X5# jV-RS@Kj~yN4>|D;rW`H!#}A+Tle-ukT7-JY{&(^}L$-b4 diff --git a/code/languages/com.mpsbasics/.mps/modules.xml b/code/languages/com.mpsbasics/.mps/modules.xml index 114a6c14c..87dacf675 100644 --- a/code/languages/com.mpsbasics/.mps/modules.xml +++ b/code/languages/com.mpsbasics/.mps/modules.xml @@ -6,7 +6,6 @@ - diff --git a/code/languages/com.mpsbasics/solutions/com.mpsbasics.docx4j.diffx.lib/com.mpsbasics.docx4j.diffx.lib.msd b/code/languages/com.mpsbasics/solutions/com.mpsbasics.docx4j.diffx.lib/com.mpsbasics.docx4j.diffx.lib.msd deleted file mode 100644 index ecdcc49e3..000000000 --- a/code/languages/com.mpsbasics/solutions/com.mpsbasics.docx4j.diffx.lib/com.mpsbasics.docx4j.diffx.lib.msd +++ /dev/null @@ -1,30 +0,0 @@ - - - - - - - - - - - - - - - 6354ebe7-c22a-4a0f-ac54-50b52ab9b065(JDK) - 71bb25aa-20fa-4c18-8954-1b176576f52d(com.mpsbasics.docx4j.lib) - - - - - - - - - - - - - - diff --git a/code/languages/com.mpsbasics/solutions/com.mpsbasics.docx4j.testutils/com.mpsbasics.docx4j.testutils.msd b/code/languages/com.mpsbasics/solutions/com.mpsbasics.docx4j.testutils/com.mpsbasics.docx4j.testutils.msd index eb751678e..90878d834 100644 --- a/code/languages/com.mpsbasics/solutions/com.mpsbasics.docx4j.testutils/com.mpsbasics.docx4j.testutils.msd +++ b/code/languages/com.mpsbasics/solutions/com.mpsbasics.docx4j.testutils/com.mpsbasics.docx4j.testutils.msd @@ -1,7 +1,7 @@ - + @@ -13,16 +13,17 @@ 6354ebe7-c22a-4a0f-ac54-50b52ab9b065(JDK) 71bb25aa-20fa-4c18-8954-1b176576f52d(com.mpsbasics.docx4j.lib) - 1cb48442-05da-4cad-b5c5-e31ddd69e322(com.mpsbasics.docx4j.diffx.lib) + + + - diff --git a/code/languages/com.mpsbasics/solutions/com.mpsbasics.docx4j.testutils/models/com.mpsbasics.docx4j.testutils.mps b/code/languages/com.mpsbasics/solutions/com.mpsbasics.docx4j.testutils/models/com.mpsbasics.docx4j.testutils.mps index c3a6123d4..848d0bd40 100644 --- a/code/languages/com.mpsbasics/solutions/com.mpsbasics.docx4j.testutils/models/com.mpsbasics.docx4j.testutils.mps +++ b/code/languages/com.mpsbasics/solutions/com.mpsbasics.docx4j.testutils/models/com.mpsbasics.docx4j.testutils.mps @@ -5,37 +5,41 @@ + + - - - - - - + + + + + + + + + + + - - - @@ -47,11 +51,10 @@ - + - - - + + @@ -63,6 +66,7 @@ + @@ -82,7 +86,12 @@ - + + + + + + @@ -91,9 +100,7 @@ - - - + @@ -101,7 +108,6 @@ - @@ -112,33 +118,55 @@ + + + + + + + + + + + + + + + + - - - + + + + + + + - - - + + + + - - + + + @@ -147,13 +175,7 @@ - - - - - - - + @@ -198,7 +220,7 @@ - + @@ -211,284 +233,441 @@ - - - - - - - - - - - - - - - - - - - - - - - - - + + + + + + + + + + + + - - + + - - - - - - - - - - - - - - - - - - - - - - - - - + + + + + + + + + + + - - + + - - - - - - + + + + + + + - - - - - - + + + + + - - - + + + + + + + + + - - - - - + + + + + - - - - - + + + + + + + + - - - - - - - - - + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + - - - - - - - - - - - - + + + + + + + + + + + + + + + + + - - + + + + + + + + + + + + + + + + - - + + + + - - + + + + + + + + + + + + + + + + + + + + + + + + + + + - - - - + + + + + + + + + + + + + + + + + + + + + + + + + + + + + - - + + + + + + + + + + + + + + + + + + + + + + + - - + + + + + + + + + + + + + + + + + + + + + + + + - - - - + + + + - - + + + + + - - - + + + + + + + + + + + + + + + + + + + + - - - - - - + + + + + + + + - - + + + + + - - + + + + + + + + + + + + + - - + + + + + + + + + + + + + - - - - - - - - - - + + + + + + + + + + + + - - - - - + + + + + + + + + + + - - + + + + + + + + + + + + + - - - - - - - - - - - - - - - - - - - - + + + + + + + + + + - - - - - - - - + + + + + + + + + + + - - - - - - - - - - - - - - - - + + + - - - - + + + + - - - - - - @@ -503,6 +682,12 @@ + + + + + +