From 1a9317dad7b6eb28b105333e082fe0543fa75b0d Mon Sep 17 00:00:00 2001 From: semyanovra Date: Sun, 24 May 2026 15:06:38 +0000 Subject: [PATCH] [2] add experimental data --- semyanovra/docs/maze_benchmark.png | Bin 0 -> 86902 bytes semyanovra/docs/maze_experiment.csv | 16 ++++++++++++++++ 2 files changed, 16 insertions(+) create mode 100644 semyanovra/docs/maze_benchmark.png create mode 100644 semyanovra/docs/maze_experiment.csv diff --git a/semyanovra/docs/maze_benchmark.png b/semyanovra/docs/maze_benchmark.png new file mode 100644 index 0000000000000000000000000000000000000000..f942095449b0d7f146968ad69edb94305da11bf1 GIT binary patch literal 86902 zcmd432T;{l+b_C}K@)4NfP$cch%`k(I(FFtqV$dmNC)ZCiHRkOfExu75S8AgcTiD^ z2q;y$N|BCIrJvv07~kZ(=bX7Scix%HeBT>Qfc-CPJ#sAXPp)3EWd(&oSxuEW zrbwaul1-uf)cVUZ{F~Qzce>&qVs^*X?Ubx8+Bu%LF{H?!x4UF+WoK@3f!)E-#@58j zazFpRz5JrQ?8bI>mu$rZ1T21h2fvk#k-)AKH5&LWzh08ju%%EK*OUKWVia1fNLfOm zP>&r}z8pNz>Ueo$-OS|Is>tigGQOMH?R<4393%cXkh}iSy5vXdl;d8WuNfJRtvejf zvx7Ba_Z8({`J2nOD;_iXox}IfKMnR*u}S1g`phCkRy(zO5ici;Xyoj?8KUwCT! za4`Pk@03nw4m`#Ge6cs|EMxf3Un!LAZB+h${=IbkzjFyge|`9HE>Lb)MTmIAyT>gX zq7*{?%M55`2GzYaQLLEIpCV#+S?Y4^&B))b zT@w@Ah;Qvwvi)3nugpO4(xsDzSGzefp%Bkn1#hkyc24gUQ#gUmxt#zm{X)A1P?~y0oT7 z$=%&ORyEmJH@2^piRxvh?Uc)NZ*>i@n@esc^Zr3LF!mFF2 zVt;B|47Fr8r5N4{*9vTni8=H5iiCtj=jYFkK0C@KjEp`j`?%QIrG4t?=<4hYe{%d* zQ$j~~_bxRxHI*2}5T}-8S{JM0+#r+Tu2fQ2zkjhZIOcSSn91`i40w2@^AnYEu(g~GV<+JC`ox5of>OLJ)87vxxHBc9$^to;M@<)frLLB<^ z;_6E8HQV*xXIY1Z9hJ$fj*yLVZaI47$N{T1iF^Dy(}|8xu3f#_b;u5H-8a1W_SXLS znc)UDkJ-nfw%y@8Wrp~*G)vAD$KL8!nh#q?Gx82hR;*c=X0hU?+w7r&ofN*UUOtEZmXF zNd@}|ACsEMG6TV~SFesYXIRK4OG-#+3lz?##Hz&Yva+(;v`1M6E1@PXsUSAhs47x) zz9Q)0_;`a}oPLS-9@Y5!Ev>C8PmcX6WKw-hzu4;??%%vG)3Q}_mmhaU*XE-~j~WUF znr}OKz;Q?$yRSd&W}C-?8~zj&+B_*OBBG8RgMFATey!2GexNb6F2h2LVcD|Rt*ttE z!iwz$Zs|^=-OBp8lI}%&57>6gNq%{@bYy(|o{x{ug99c{tO}-fRW$H&1xvX#4fV5A zgAQ6{So(z*U0>V(wS-NrjK6^>bJ;o3?J{p>ElG&a* z-hM$r#juk;s`<|2o&Ehh2M-?HB%rIEZdzCU;rSnfiA@)*hPJL>e<5Unsu(0}VcuOC zBbj5|_4=MO-l9s10W~{2o2(qu#*~Oih0w&8FJB&*oNBfzR7t&9(b>_lQ(9V@-0XB; zT+)!(bvXfi<K+>@9~6sUHS*=lnZ^{u@i+Ucdfq-h zYLX!oRPjK}KDMtejtf7%iCghlf>vh6t^*Mz&;M91bnY2NCHl@rgy`&c=jY}q!#B4R+^=8oen-DBXi@*l`EY?Ly4$##$P@> zpPp>@P#W9H!V)iR(WLHCINIch@39Z+(#*~moeOEG_xSd4dAeD{=_N~+;C-vqM9Qbz zbe#$kUb&g~44#m3)}`}KE-rC~<^Cp#o1JFAS-Z`CEir8`$ls$J&90!JFf~0LYuTFP z7*Z4Ys;zwu?~HBt8)mBF!u*_4o-plz+q4~4A;Zr<@0OC1s@q5N^Gj$Ct)AY>KzYBH zLgCJvY;(EBv2%Y^Syq-vnDcnwHI6W<->wrEEG>YxfH|lEi^Aut$L*Q z?0Ie6nv*Vc!pO*|sJ*>?Z=hU#%E7kFMV99N-%j4%Vu))h@-@iH%3>-gD5%ef$*&K5 zm!v0sly)}5yzxMPh?xCru?ezIGc20Y%5p3Qo6_qi{|F5Yt&ozQc&~r$JX7(T!2PSq zuQw26Mn@8!5pw3lGL02wRxS2tE)p^S=;e=$>X$ zvny!CV}7b+w^F2+eXgIM-&wq;psDdeTZ5G@w(V-VPOo;OYNYFYd~wyHyK?oG15bN9 zrpNnFG$iU+bi3n9G!NI}tqjKeW8G428 zCIyxg>P;D@b+2XQ0M_0mae69>hom$h;*Jrx_v%QUtpw!I3 z{#@&qB_&%~#q6HOxXeu6_*itkeSD^}=UteEZq1RaE0`@UE$iE5@9sX&B65lScy6}s z=cY7UM@NOPtS{Rf*|6%v2MZVGQ!BO5U#jc6apl)giME&Z)W-Ow&rX=7-P+8TQvY>g zA|v~>X1L5ceXKWOH(}$q&vt8PJx#9+X(-Th>e^)1N?xXO#kUEwe$Dt~K+Nkzb*#mu)3pW9@; z_}ocKvbx#OU8$dP?)jD4H6h8Ctz!N2t@D#VQ)E{1WK#|akB*JiV#^6&XAHJvD-GvQ zKD2MXz4hSOdwm~nDJk8G2SPREF*GG=XDj}(Y&DJJHq*W%fFJevrj1*-#yx$ycYLr} z4ev=QRLV^;{)P2mlaPJS+ruY)wyEH4ViV|bqa@zBb0^2Td3TguZ*^~<*@tJpH|05{wzRa2H5!HXHl>^0^zy3p zSeP@)FP}gadNN_7^_h*8}F-& zRZo7hnP1yDq@(!ND--nBJ$eOs4nr*_jvi7Av$hq1`%luws$~Uwfn{=>$76Ao0F!43 z=0Xit$hW%~al4VT`pBnw#|2|p2*V0Tls4myhidE8C8Jl*xJIHF|h7DoS(Yvo+ zzaD4Ska+6!>3W`|yeIbk^%2I>Hk~qaKsUevTMk+VkIz(LgN?mdDbVAwFr)W?=eg^2 zZ`79k7rpZG^T*$vWb2)s8bz&F(bf*07;KKpuxReXzv*ks&%JQrLi`|*?HF#oeD5mB z@meJ@r;%`=%}uPV3HR?a4K`;gpiM^(C#ra%0#_JC!Jh)%w<3KjqXpkj7C>{RFegv@x`ac~75F)>Z7 z;~Kp22te&pb78Ym-|h7c-40mm^;lGvAps{&oY;eHfmeJc?8NP{;lhQB&0)d39?PF< z&t$q*WzU_=v6p-3IzpvZqgpBrR;45;MV;=Qcln9(6ol)&^~@=L$BWye?j^hB0#8*x zxHs3IRJa9YsY-ewZ+qF7$;pGKfqRvtw{L&G8{}Yn*?l21)!1bF;kMSHo4okYl(xgh z!>5aC4IDTFywVPO)vDPv=DTE$r#}Q~XwC4?wOzV&DX!S^J*ysV+`d4^)iv)dfW=YT zKFgM@1Nw441G;5h&zG|uKzCD0vwHXBYI(r=zO)o-=L zQbu3A{Pj~Y3gtlk6dv6w0F9$G>n|S;n@!=`ymlPF$wc!4NNKWcUbpjvdPiyBDgJBL zW?lDDJGaujhFWu*Yvs*21CHO?tdTi~4Z>YaMMd9s`NI;ltgsWSgDe*2XOcdC`gB1? zu+42!C)ZkP{#!@={P1jn&D4lt*qO&it^vUco4-Go>4yGnU${%*p*dfs>-DcABd3yW zxUk|k}E$d2CZz~?=YZlmg~o*fS2KNTbP~wS=QyR7j8Ou%znLY&sq5EhF$N? zbKUrZ{Kw)uX-(t30N(w1y0otq2iwD=ZAUt({Sy|=84=9oA&Gj0mO5vvb(_5sJ1^X+ zcieUhJg9ZcWT?k{;Ds4%sCb?`3tx)XGB@&37+6q-pXq4lUEWs_ieH&KxNPmVc&uO^ zQBe&A$?>}d(|tS@_xBy8jiHc6sGl_ijUXTiv~u70aJzKf<%dq)%+zWuA9E!smkD!f zHQr?$$m2z4kKuGYJ}M0mYiuC3swsioBUSO(u|M6Xx)^iq(Vs7ldMU32J~0!XMbk^& z*=dfZeyQK~l$Ft68Z>*ufM!u~@i@1c37X=Nnrb_N!A^gnf8#B2Q8jbyVk&NKtxl*r zvYA(%y|>=<&$hO<-l699c0HQi{Or`gufib(^V4S3OjTQMEap}*tfTs=;la`D@&1N> z08rZ93tcj|umVbpigq@C5<=aPcF*JJ1rmP?MDCyHfM=J_5d)AVJgT>nk&&_g^?kIK zx;r~h#y9)(>%@ZUI5|7_-9Fg%wAsVh*f>_-V`eb(=B-;wXjip~I^wzZ+S=M<=!vo^ zZnyb{Z-EQ+y}rj2Gt7>g5geG9QaN1z=DIwI;Bn2h(G{J9`%rRX+c` zcJ11H;BD^LZfbcV1SrXwub*BG&PzaBpoQ-@s#I@&h(3n8AIhP@R^_KQfMQCkjg;Ri zD%!Zvt_Zdf&p639K0Nkp>Dq9y6W}|XWzNac2Tf|D@3f8p8&GLCH*!Bg4~o*@5)`bC zl;Bz1>x7%5_@kz$?>em>ua#N(Ae?sRjDkEp>sTIrzjD6jwd%4hS`CP7?{=-me zk}OQI03O}EENnLRG6yN6K!E^$ohIk)v!{u20a%t%+*07?Vzz$b#=4!=b;axBB0?kq zGw-CPrpnJXFSI^7ycEE^$wDjJrc2rHPu`@j@4`;jxZW=DV%}LcA(RO10s=_v%a_Lp z_o*-05m?b}H+Yb2;n4F;CYDys8G|~RtWvJ(fBp4W7p<0*aIK*t?S|1+Gr`LWR)q*esySOGQJ_R(0H2g#E|cTOTHG)s|<%cW~8F zkP4bz|GG4PQE5u}a!6Xff2?5Sj|ba&G3_!n(xv348pTQN0t7KhWYG_N*_LHp)Kotb zEKB89y-_yEuam<;jnQ?@_+`b4lo$^#HnvdZ=A5i78AWfm!(}&XKV`fO4xD?vh@k~Y z!`IBTdexWMb+1Wi9&Hnc7GF1_+Io<8V=Y~d;*>7L*YMTn&a^1m+a_bco;z3vH zb8V~^_I5^aUcqk`oixSMV^MuzKl%B5s{uXr6fpLk(Ky(dKUARJBpFqaZ+rV}D zO+kpSx$07lG~=^5-8K`d0d_C*vfbyV>s5H#-DfPI1w_T^s1~d=aFFIp8U@F%8Q%gV z+!W~s2DNGP=14+C-#$7Vdp7JE`tRe_TZN4QD`GX%V=FrD;R*Ump_~_vw=ZAABIB6* z$MUtOa>g%jb2)gWyP^LzR$n#5A}-Lb+uI~H31>cXqk#A3+qs0J4PfGApoVL=}Y~<+>Xg8{5c$Vbj)~{brAbw+hToU>;?QYD< z$EY$-=VvN!B{}MsQ8HT?Ock(-uIZl=D7QVcfF6FJU&CLKS2NAn`xQ;kpez4pT)Nu$ zP^;Gb{5;K4vRQ|QCh!PbG&?J+r#C9J(ykpuy`HFH==gi~>^VhH6I4S(;UM~=#dTD9 z>-gIB?|2HD8UCi?Gw*1BF5mHaf~q94?7ji9b$jqM%8=e3j$xSkwJF*_j@U zrG4%fOM)9KD&(QGRC_V+x9cojr&HjnQ4^)0c4x=&F?7Uel%Bw$trW_mM>%uJ6ZmXd zwIE>6Ie=1H_+~y$^(3cu{sgBm!^$3f5I~8+0fXzf#XB6m;2d@2+QGLq^`vh#t6g#Y z6Y@y8fuPA~cLl++WSw4kwSrnbS|vUF_C2Lj9wPCfHKI11H`-iB<*8&*r8^92PR-2p z<6>&flJfnZxZ{m-v_3ea^>A&duHoyu$^1nj4-KDNseuqvP4v{!`W<7Nc{g;wx%m4* z7ez&b z_1O-C4#Gyqv4`qMmXr116*VotAR7W-*h*B=S5_Rt0-MbuR6Shm>g3v?ohg@8-SG6JkZv~JzA(?#Ti^PUS>pns%9)lu1MkAF zhim=H;;*u$M$l=*pg;H$wuD2!c~cs9-Gsjd`WFq#37E6NotB&}8C^N`bk?tiW@)2x4YsWhKpE&dNF5XkNnjEjzWEa1S5pd6A0w z3;O!@quuiT!)v9!JrcU(Ht;^#p;_+!-opniTVx#HFbg@48KZ&qLLHs{bW1=n!Dx#A zsqN>}33`Q6uO@(sZZq#cK~n}&u8Tffl#}2%+-75K{SI4E(aqp)M1rJ(^jw;Rq$Jsm z`1vM@U45saG6Qx+TB*X8nMgUeo5c6}#Lv2X&=t-Zq+WWVe_`{Y>U@ETrd zrYF2vVgR8UIfR2HoD>zLrozFMJK@8?$_dX^D4!*gue=a*Ho8$?V`>zK$;%t-oIhS= z9D@;~k=dT-q(sEnFCU9kGR!q}a_q`-Dqs{17tADbm_VC$hVGIO_m?&l5h(I?fYZiq zX-cPe1EkrHzfMzqFaWiVkSS_rK>*m>8Q>88UEabC7_nyBZ->evMN@KVhoi$!+ zx@TwqtC{iuf&Pd9-RgtwuKM{sRszLeJ4$3}_3;{E1QHa^O#}%wzS_I$>eZ_z)!|gq z@Klp@Ei7`4-|Y}GtC!n<@y%PHc?-USK^44!lD8SN$2u!bid9QWM9(q#5)}_bxT`$D}t^2@bYf(2j%W`(; zqnV>%J;EB)+OUroase+Ccxt94f5q*%Y%Hs@G-4OH;qla)J%ifw7F9VC2{cAlZ`Y0!>w7WL0DzJcg3B`ayQM?SHY!wwG7a+!QZfY>I zJ>DXKPwS#ZF1qPPx02%GEoinv9L#*0X?tljnt6uDXvM)3kB?l9cOw!k)az@|$J6EL zoP47j+V@t{meakzYokStjg6YZc0F%54ia)3R4_L?y9(^*DD5kl<5tK3f*i~Vn(3$B zP2h%LVZYJon^I4nJn>RZ&}VnL5Eib#Jdj*se&GwWZ2)U?5m1=Bq2i8}kqM3F!VkeUlnWUp zpg`9gwutO+bw*ZYma3%bd;1 z&E1MuBwP|QUwwMZn0CX&-v zp66twWZk;OD9|=uLSvl+)aU_txo2kk*WEwIXu~{HdXap#xT^=dpvWI2? z3*r>Sc3&7hSRb7ztw88KWRG84z4ZX({f%w`0(!c{M+6S3g;&0bUt4|OzI_C_6Qd2j zkLGZ6UhDmR`f2B$|0HDDq7GL`FsOpmJmOzhAHV0VOaK zVnL-+d!27%d8b)-oB&*rg|_Ms@f-r8a^7WYQf=Xr<@5^<%5Z-tseNT!p=la(RU_(E zZ`5Itl41%l7mb}-e{xnCjC^ipvH=xg946Vt=&GoP&Zme!1l$H^YkP>ahptg&aB^a_ z@%gE?r?@Oh2uy@}K@i&naTIo%0v=S|pTBN^eEchV$m_@iY|QSe&?EqjIO~q$k+Csl zsAW(vqM#g_VM_(N%U74f(1vO;q0^6_IW;peSQAe5i%*7{OVGG8w9|Bt1^4`s*E|l* z&X+I4u(5xDMT$PM6IF`&+GE^>F=$f#JRO0I2wZYBNZ}1q3+@ z=r9fk+ynxPsGuc4dHThQE$LS6x)2L;E`NP8KKxTm_S`Th7P71NONK}1_A;N~*Vg(+ zTt%=KqB@a+!?k>hR;^j%V19_9<>g-+#*4RF?S{|-f8z9Lx8|bBfqnb^%jQqG$pL!q z+|(@xjDP!;pOW(DKQk?dGGxJ4U54|czI?d^Xk`K|$a~GNhqitG)bsbRApe{y!Hy>% z)q~ehBxjCZ$PH?ESgb6}o_XH?{+(#7?*Kgzr-%gs>mz#$538r=DW!AiuA;rGPAJk9OkA`%EmPf9R2J`ZNW>hQR5 z`r*O7Y={$-hNcLz8F2<^^FnFIZFsNQsjxSw0-M`=%~H`D`oRmElI~@v8 z^{Tj7Ol(#7QrnTSkEx;m`Hz(gBE`KW!4g*Iq#jDSPJI6n@^2ZImWaB2|ByGd5O<)y zT6}*x;lwiZxw6as4pOQa8J8GLdBX#q&Vh>G#H=rhb|pZQIC#_lHDEj`;b{Ns8p@&hl1=KktRG+h zw@jU<>jjv`L>))$AOba;#B+*@IuZv-=|`A=w1(q1H=c#Roes=@pc#zuC?sc9h#{SW zg9-Q+!VDVIdGL9MRxB>o#g8`dK_4g4E@spH=I{5CoY2FE51o4+U*E{amISTuIQ+H- z5S&_6_l*{+@#>EW5rjp-rPQ|2s6f$S5D7@ixmWZpSL%S!&nq8< zj!p&eCqP+KJn7An+?)u*(V@9*-ZqL;)<62_^))M2t-1@+51=B2E0HCkv&?q)pqktj z?5l%G@gK@Z0>BtKhG}GY?9p;_>lZ)_gdiXwu+anj+<=`kj*yNCS`7AwDjwJ-W@a>a zi0FU>0Vw|{-G~ld^w#gkNBE&q;?`&eV1vp4RMb!emh<%SRvWICsP zhG~Ot6a5WU)5EZ62HOi^MDW*=CVk#fC!tq=MMh>2+}96#kU%{F)ptG7w0 zhq_G!UaWeU0Ls^zGYH72ini`N*7F#gQltFVCLTguq7jK8&pdWi;$+!MTbu3P>40AZuIz>Ziq z0&Ca$u-x3%`^ptNiV$OBS(*NQn3imLPCk0(JXMy=IDLJs3&K=PM!v6 z5e`~ul;c4Wy-t5bL%%^p{qxVCH}PpI!#?89Xoyo&peb@3R(H=dFATxDB3Uiyf*@%U z%b%Q3-A9_26Elo86qARfAdR;Jv;+=)hTlOWNym$#yC{>}7Au>$%S1d!qx_{i9PkUE zIq+bukm>>m3N7oR{7snzoik^AiM@@*9}9ftc$*}D9LkG|iZ&srbmPVi<>p;nTs)}L zD1fKr9<`qb;!0H^nZli4;$G}I#X$56U|meF@=!Sj7b(X z(<&4@G>YUNvEodd(qfRx@@3t=v~&r5huf?zzsb7GuQ$ujZi|KuOHZk6kFI88Jf2_Z^J_9z;R!#7t6 zJXwSZ`T6-#U*3!kFLz0y-TgD~cRG3*^}PR-*KytbMyVC0Gdok`;L6O;6pCZr*bs(1 z_Z9f{=vv8eq$T*EkpPNo#tt^6ndsNlkE9}YW)=d?(F{iC9;A5q^$OyX3Z_q0NsM}7 z(M2PXN|KrAb%o1ae*IwieH$THMhl1Iq1^xS)hj9uK?;kemV!Y`ix29g6&-Sau~;?t z%}tM|&Wmr~ei&Tk9sKZdnC~&*qo~vOS{;y8BA%eq-2iT-;_gX8aU`9`-eQHPgGUXv z=BlB*iP?605yf*3ngK4`440@4@>8OAEd&{D-c?arg4QbsmxQ~MeB z=0ZY#&ht~BiD-#b+eMcJ)Q)L92f_(Y5z)$TP@hsNwulQpBMpl1$|)Kg+v6;o{-!2hlX>?pEm|;Jv=Avf^&$7 z^$|2tIBtDd#j)eymg8_mVlP%aAmkBjp)S)(Zw{?YV+&+)_QKSb?GCW$Shg0~WNI8c zcFg}up-l->0WG@Yb>wn;h@vixAbkvCzmU%q^io3tp?J$>su6Y)mJ zo6M4WTe5BYsv~X@O%7^J%;7(lHNl#QEFr{Tcz%Ayib@LzP>Y-)Huj+Z)H!&}`z4oo z2EQU@mwhHdBlQHd=8SonY5*#W*Oq!JVTciI5wnX%lboI&T$Y|L;R)+J<{ zR*N*!o8>FnOD@qtJ~I@Q)7Bdz&oc=d;*S}P^JE!7StA)-62!>P$%zGECjr?92dyj} zgP~lQ0l|<27FJyZQ9P0Fa{l^?v98c#VW54V0T1c&>`AZvn3+J#rlA#aQuSQFUKM(N zJSY9)u1_h>{ zgf6g|YoRQA4Q&HDDOiW3^4uf|vq7zapD7E60J3Zlk>%tj-9Snz9!hGFxHFU+@(ih& zL+iyae|f}#J$IVu)hTIfDJkFK?*{y~{R^+l9PrIGNT>)(Y#!pH--&b?N_2Ckl^XgG zTEZhT`|!RkN`Z}7`qJ~?^smvhbrFzk&9Xj9tY_4R00i`qtb$qM8x<9mW7m7ZahA>f z+hKh7PB=f5Ls2DB!2%mMLi9;<1;6Pn zVlDO^#j61)qXD6vp^}kc|7!z5!;(abMsfCs&GdS4>FyOVE+cxq@skMb9Dz?LOSB*( z$J~e(MFGkBM4dR|EF=1U7AvYo&L(+G3r-B)^u_XT*dJ46tq;pW9^k=7Bv^m3ZrT|;+0QoxxET4PF%B@1Nu?#p72!R!h#iNlk z%3TOr@4e>vdDJNQX>Ts3;cihLbLwO}6u{#vS+ ze?^P-w_fp+ZX6-|3x*R+p{K;|Ron?@8!q=M7f8|oy+ifbLA9~BH{=Xxe(w^l?;a2w z%F{yw29!fQr!mey2leB1dAD%7AZRYEO z-+4;SgSZjk*aMcgkaP9t)9U;@=^=YdqgdK`EPDNh4NANvq3^!_QycQlkeJGPf`(EC zS?=S@oj>LYV3> z@cvHsWpRgrGbrUMh&Ge|h6RC2rt2`g`TKpdGnQh5BSr1p8xg=k704f>L5fOf2B9NE z8F2&+zJK~S-4#+ONk%}?4dmOmYOAmuZ49u71YYX_Z30M%I)kepLnAjTS0|UPn|$fx zk@0~>C7^RvtPe4VfoRC6NM0*B!=tnthw^o-W!ifPfT9jj0y2g}#uxD4$z&Gs?@560ve!D? zi*GyRo!+aAx^z?O)V)0#xy>#4be+Eoq6|_RtLx(&`I@lr;wlBDx zCMd2N`i2Uk1ZF{{r80o)dKXhQ(D{^5BRHsx0=mj5hlDT#oyjABm3`6$po#ufYT{(W z$w(#q4LEHKG&~mUKr`DW0(sN~1YUY^4dBZcyuF9fnL*l((L(lUq=dudOTg?yG|Wd zGkS;r!*$PtnS~>bU;@L2W|=TTNF@0xl^!vt-6B4I_*?`k$ z4<0z6eC<5p9ld?IxL?6lN2TY+lw$3JLqde0a*(9}N_GZuNWAz+QobEX$lKGEi0HI% zP);I=(TD^BBy)-ez1r`|?T7)y3DUUr@}2EtEzov$K$y39|MW2EabxC>dU5@A4QWCE zq}~_|&>|XGECekX+KU%2h(8GuibUY<<3V7ORN5LgDRU*usn(P^2ka4IoFXS}4=`xn z`gbYy?8p*XT!#!rce#}~sK7dRfqpqi0Dxw2@cD5Xk==%elknnoFfRt4k%K@7Y@KRz z#*G`p0lvt$)^9SXrZt&*pT#oELsXeT%2X>x(ZEagoPF{q9LglX`xp=a8|!3g*8J4D5Hf^>Ri)(t-rfN3A`uHz zoy}td6H_#bN1R6L#Xf{iG&9TtyXKB`&%%Co?u&^sV7i9Xuzt`zl~qN)cPI8`)=~#2 z$I`Nc(ES_vGULCjXJWc<+Kh%tmO^#H$$b$yHYb;eFlOcCG|lS%R>c571c*;;4U8ie zXq3I$kx=#1$l66!ywIw?W}QG8_zhMKV9jF31QCz^yykpmKxL~YUX^; zR)pe_FOePnT-5;drks4?xEo@uP&VG_G`EvUwR(?}Cr-oyqoR)cV!Vz7QSa?OdxRv` zVf>`KOj=?|c&#*9V>8quY7eIyBNxOpCsReKtsr7F%xeUhvVHG)Rzbr478tB?v{+g~ zCtwtjHFT~JN|#tYS@t^)wQMxRI&sE@q$3NRZc=lCnEa^GenS(ETO^&+NLm5d#TZSF z=q&a@2pS<@NH|)V7az#ggEUs|KCIpo)d>bnF6aQ8Hf`ec@bECRxrNcF z+1Xj>%Ly=Yd!ZvLysNAZjqniJOqXe%SuaX+93BZltML4^lQ5Pujc*gW^x@DeOiLiQ zs?lc!_Cq7`QM2|jKTE!Z7HqSPao5>DlMR6hCq)d&5cL#(Op{Ju4k|3dQ4Q!TgS&Fn z`LEOyp4oyFq6;H+!-fs^V?AfHb93YHZH>v|-z5r4$s+sPLl=8L{Dy?!U5Gkswn;>j z@<>uPyL56@`F@{FCIQ@KjWHi z;v3^H$O#zc>z|>a^Mq%%IhRN3bz0H|n!oRU%i`Vd_5bWfqJe=!9pooDfHUMtjNybA z(_@fPjo}?d`9k)6$_eVpM`#Zmn@U*-dveZUQ(X{BG3S+K;q&? z9$%jJPw1Oa9g?{Y9H@1kuXda7!dY2o$OUDoS))A*;3)OSXKM$@=;PEx6z! zge)DjYD2%T8$-M*)?;D5F;l73`d^Q6(ewGR*Pqi%Dfe7GYC&#Sru2L>Et#$* zeHJ~vDb>gaU?PcBad^IOAx$0t6dh<^68_ubNV!~kdi)4&-QUzoXq(MiI#==RpqqJ4 zzta2BC8qM7W<#zUZ@&VGt!Y&QvLd|@hA)s7XbcaUCRDasqfocVliQq*;n$VhyrHD9 z{c{)QyxVX~I8x^Y;S_7A{JANeM``^W=fnJO#*DoWng-P2uNXxOH^?^erBLiP*|Ga)( zmIl!!uy-G&ljUExyPAHxSy4o(keu!bgPQG+26+H@mv_7&%|r>!LII^vxC)Aa+_1LQd8Z4cQMAphsnMjvid)j(&b`!ev5@}C)dfpF$j4t z6iUnDqh0(9{`bFiuEUQHp#0a4mhfaDZ4(2(_&+xYUncdE0PQ5%KqjD}MUsaP0$-PI zrbgz7k>Q+`yt(C&L&rbYsNNzn^PElW&U-)%BkwVB+RizC^{3Ce+X0Nzw5;&5fG-2c z^c$7~Nz0-0iotmx#u@esQRAEugNnC6`ac2s6QM7_XO(xp{XXy_+mkK{u_>eY4P!+ARy0~Uf}bV6w6e*ZIv@c#L4vu-k+MMdj((^p-*0Q@ld!OKg#Srb$A^*$3J}3GqpEGB zoI|G#OHVY6>A*WPMq~#5gvkRpGT4I{IkG#Uc3(doCwZi{wl?lQ623zRQN!}UXudq0 zV3MgJWRmb9TxI{`>)TSqi@}h zB|;S~u8N(OdTSa#C6{dT!yqyt%!tyPWh0kH?wB~xn3%*BIiptN^oji>z)N}+nV|j1 zM2h359S=CjWuuF!T)v#;y-m_Ia}a^N>>JArmj0_2%0E19Lyj>ZX&fvGcx^|~32Qx< zEVTonvzxqg_ii{wU+sIVj|1Bfvkp`mi-a@(+oxM(W3@Vfx(iqN=ZzYHw>72*VOcv> zBCD0|Hse5!Jb;Fi;m-(9kvJ(BlEM9)uZcvml<;_AtG0L&A4dE0gStpUT3F zO(4i3i%c<=WrSm!(@E?PMVwK9@e4A6K&^&EKakN64fk5fPv>s^>p9*vVpAh@5_rV~ z3yg3XV&`IF!Hl#ZAV2W=7#yY&9v2E6rH6$^lo-Ny$kZC9SP8i%PTbsdKZ(meY@PUF z1gYWf%V)rkebw9$HpRX`u36@0mlv20H<9BJfqM%C6Y|6Y<88G#S%6xN=8=Z|kpH!K zD|u)n`_)n6)2#F2{X@d&(Qm|XB0{V^8EMSSlM58=-Lmvh-@owaNhjg5EXi{XnQievVB%HQpb6FXgr z?>?zBL-BQTnHczvjDDfhG(8;gmsIr}WD`|sV+a<$-n%MS8kvrOF%QRk5e_B(#{r5lRkVjn1fBGjlolJL8(W2G z8#it=aBRk;GVPttQr{(5LcTBQ$39*9nO@@yUqja`T$s=0h(Rd9Ayex$-?$)BZMWH^ zb%Cx-n==x?RR`;}VDjtYhRA!y5j)9{K?Egt5&13vI~iMBhPDlpw#xnK7R{=Yt&X9D zS;AN7gV<7ww-t-+8X3KnnK=eH2lM2(SvA!EdJF$srvAA#mTDl(qN1X`z+~y!`h2LN zsAd_u_m}$4A$~oE(kHt}a$C$6b#;HP04`Bt{m%pzW(H{WMKque*`vUd=+yPKY^tbF zWaN}qW*St*eBh+8Q#++{of-MpC(%8we3i6UZo;RXg}pxUsbht_m3efH3h zEbh{NZK%Y-T;e1)H_~i`YtujmfrL^piyRz0Vle+y1&+J_jC!s^0E+0XQB}e z4#N~WWU(z>EAa?D!3=$mE_@&;irEw5OJZxPK!}InNCtx&#~QP3jR>Swkofv1R5$_X z*ibTMmT4Enn8%R8kJZk;>mh>ta3T>DQK-q#Em75BClQiH z=qdEI2NF&;*NOpZr)qxZS|cL%r^`iziD=>AJDrL4Y;I#`$>S#nLqwkqOM}f%N*bBA zKrMj|h7kV>asrO?m*>mJ0UP=YW`n&1hn>7~Z;zAv>&$B+L`B zzhZF4)9ut_Fg#sJR~3wQby%*|cypCtUpMq`Vn#x(3%W3acBY(dW2lm--8eLI*>M9N z0CeVl49>p;?V!(VfaS=lHDkBNLMBG$5a#Y(WW7Q@e&yrk$zu_B;H`1nxY1u_<3BQ; z<$e1SMUyT%T=Uz`(Df75p>)xg>emi~+~VZU88C28W9}t#`OojPxG+0O@2x5queOaB zVca-SH6Jq4KeN4XPMT%HI(Sst+q#&+N4>+>S^+_=7zap^`t%5^0$X>-0+)0ln@Gv$ z?T_69O*enkQ32%K;9q7v+OVf-YF%iD1czU!{$Eu#&W46k54jeGhj79Yl}tb9O7ioc zrXe>M5;KqU6zU!yU2f5mb(Vk-QU-9C4VR7uDc>+ov3<-StOODt|3622FKIs$~SD%=decn_6KOZk@&n}Q<-YrZ!&6vDNTnWbc0Cf>8g zHgdP6W>_U8co326j_C}=)(m91k>8C*%HJVV4J-;pDO2l*$)HEfKt#55oqIXmuz`pl zl!oIZ5JRTY{-+yMfxScIBjWC0Ti!{Zh5h3T9T^_aZZg5*bL&tZKq2t58F(*3p@8M87M`Jl7v%`(yxKrhY_Fcurv5g@QO(&7-u=8L5mFvXU4TWdc=hIV8&RgLD_m7H4}}&1XKpaj4>R@ME@$y zB`yh)DVW{~$4H(Gfgb2I#3CZ(5Hhz4B%qo)1sFsmI7~7SXf1W%FXV(YI97c?K@G6V z;@5MYdY=}92?1TVaTQXEAPti;kN&QL0zn)l7@_3MAKMF=2r}{8xEwJsB^V#uNhQM&tSrAJRenjcpUyA{C;7SjBTq~+5C^JFAkH0 z(L(Gcn5u{dh=_5B{6w zeq2KRq$fzqA3I;O5%`W#4-nM|r#sG|0mMg?*Fcp9+fG>}`6>E;qzex;i;IeqBq?(G zr%s*1sS{UM)Mg{ZExSh@!Ea2U^PpA%Kh}%i7@jC7lLgCVW&LSr3EhOK%(_|NJ>{Ww zae?i{zSGk5mTq+N`tRn7SOYkU=rH!WBETLzaSRCQo};m>_~iIi{A(-T!IeJsgs2I!j{i}{DKG#|QzNqMr+-0d{t=m*^uw)e8tP;3u#;#NrF*}*z zyispdun78aATrsKS}L!~%Vp6SiM)%ozoNzH(IbxuK0uE1Ot4VyKu8ZOg2TOgFDXbM zN-)#O=0L>N-cDw6%ry7AJXHk>?`5qk#PnBpAp$?K&fG6r5)8!wY_A`tzILC znVP9@-!R$dnR__(IigZyK$E37oCN$LRVxacFcw%rUISyqgcTBh1AnYx)N_3dd?c=; zzfIiXjb*ms)qrQup5;!g`|YWD$s(9)9LJySX3;QTDwX2bk9a0SjNkNegb1txU7wijswX#&>TA2_E>GnWG1Ot_oGdd4hE?SLDXmkwpE- z#6)G~+wV1pvgQPRV8v6rXe9ax>gS#sM;(4ds%XmS5azc?l$(5gxJ-94D5aY)`br<9 zcl1zxM+W&3D+&UMIG|s=ibT<|s{!UKlhyyuK1_Z;SvI8(tgkl9TEE|iqczW|Cej?6 zh`T8PN0lLaO9BPt)YNV!(mRMS3S1IR=4oLBl8_N`oUu7E??5K#5b#(^Rx8L_9C``S z_7R*X2go2RexObmPlt#_BuNh=HySP#_HBuz*B1OF!|g?ZnBrTg4Ot6VF@t;ms-nmN zWEQxaTIZvmU0K8V74M{r2S}>GkqK5ZX;fI?IqItR*2;B%q0kMZ#}5cku}#C}PG|_=Ucq zizoTAYeAJJ?h8i!6Lo@ya>#j};ACB^e8_`+rivn<>-zOLIo%Sij}*v+W}-&`NSnfa zC+7hWo=L4H=W<}Kle9TR5tT997e9_M`UFt3IJ5y0hCMn#TF?}u4-Xk1AzzO?an389 zLI9Em{me);tq%WdF_V%8K5aGy_RdMg6HeKcrQWv|@pqWb4SQ zYP4Q=lapHhc>DdQa^71*vK>lm(1vPMl8{QFktad08m$&{U>nCF|AbXZ&B!4b7N+Yl zH$JeEob&q|-DM^hMmclt9%dXtZq#58;w%{RR0|+BvcUj)Md{8&!aY6Ie`TBj!oa`~ z(Sv5`Oe4XS&#qta3wB>p|9LPJxs#rsN$&-uOf`M$}D6U%uzzjqtZz1i|VjJo1+X>6X`W_{2iKhS4W3!0~5p_ z%S>oq+F-#qZ`>&DY}>Tz-Mjb~%D-I-9{sI6PwbB;lBpu0-P(cuUqvgA3Qmdof8&k9 z1jK(rM|Yw7`214&^; zIXSr;x&`Ptw&TaC&z?UG;4C*K02Q2dr;o{J8K8&;2pCbAZ$C!Tt2ksg-LQN!VsH>3 zs5qkeRJycm$Qa<<{Z^au6#_Upfw?c~(I@*oOd^#|hjyu*Nc-iDxl7wtr)7ZZ?6(M1 zA89pk*u+S+d0h-AQ2eqxOO|+0$JG;;P=Wyyrp5z1&2taiR0pZs~yq_=K=>rwYs*RUQ&S~Nx;aG>6 zTR8X*c|~}MPRb;{lft?f`5+gy@r=L0CQx;f?n3vv$3g7M@8RawV*$YQGV~z#hL6}E zk39c#bhhVDv8X;Y64z*KEkLA{N=~BYD8q0+kjp&|QjCtf$!fs%PZd|jCwcy7+;BxK zg1s`d49nJ7a<<&XX5tbe>_b(=fi&@5|2OaVe$8V%hDVftzD;s;fiq^rIjBdktvX9M zHXcJXiE4o{0AN9+V#nBK8;-j9e-rEtbD)=m``=3?c}f)TQBd7DB!nJFx#i&OktCqy zazqs%uG5b(gO#=8co0siP$mX3=)gFTXlY#?!Jjo?=e2oGw#x^|XxECL=6uSf=-KlZ@PF)w|35q3_vHKH^NTj#4z%HaBdWd-II0^BIzPrmw_0}G!E$_P6#4d zvBvM75MdSx1fPNTl0QBQf0*@vUd#!7j=aJDV;tRXaulXA2|*Lti$waMcJ!bF62S>! zmZu0V62`>6UN=lZ z{P=pd@PEozQ>zhsz8_%?*a)5mx!Az(XWPD7ZZelZ#uPvfY|LGM{386Jg@(&_Uzl^G zDnfS}u*|%x)n|zFD+wk6kR#$2?6oMSLWr3FQ5ARo65(>Z?*aRjV&Bbpg(8oiv7Dv})kksagf*!XjvDrUGu7Rm?qN&PSG z-aIbnynP$*o*83?8D_B)hN6_35K++}T(Y!ERE#7kX-W5#=li^#>yI&XbzPt3{W;&~c^t=ioW73JPEHmr zc;r7i-O7(G%W2aDl^~CBbHLGaA7^|qVZsEFE{d&+rhakqina-$^$7Q24<$Zt>iT3r zH(0>>@sD)_OL=|&V+aT%3qX>FzdrzS|3Tcp*Xgcm?APh0{{7!*oVNhe4Trje&mQ{~ zz8v*^W#A!{E)vz6I9ITm7iN^h)_V)ppuL{e68}o0d5SF zpjlZ1(yud4Y6Mz#A#q+%t)y7;w+I_hA3oKy3p(&7DMnJ7vlQ9ac z=T#Kq4

{eZ*enZ>Ov{EVZV84u_}56zIU?q4>3EW#))EA*o7UrfH2y&RK@0bL(|xpj;w$4jx7T)>LRTvF ztz0_D^b3(J(zXLN4)w>d`ZCj7Flo|48b5(a*q$|XoXQz;m#AX&QD*~%2?OXv<9S*Z zqpl}>g@{*nWh_kdsbImSIgj%LIClzE3b?`%WGK+CB6>B71e!#67kEVQ#^2pZPnV;Q zCX{@@oSTZ&J>Fath$q=NWX$1shABXX$F$9^avA<6UK4j@Ulu7aoqs*#<1xQqG# zsz~Bdk3+q%;R3?wNFqT;%x3=_(>9<_Y~_QV)Rff{S;wGLDC-&F!31qZ&l16T2#e4e zy_%ptE^KbI39sSntLVWjdH0@5YM5`GP<4r3ncsmWIk@N?+{+ z9~lqPKGn84$uh@!fgJl$=_*yz-cC{7T>ja$h~qY6n~bJtnfW_p9$#8m@nvmYYt`id zJGZ9G0S|I74Z2?oq=-%Cc|Y>(GtQ`;tezwSy+V2tNSZ@&B0>TbAuDxEAqH3(prWK# zrK+lGg>_T3bR- z{rb7Z+{>rUhM(#9^g=wp+wG`XN(fIP)x-zlST=o2(a^fc9&xqdM%B~Co*y3Q?(Q-> z#CP*0_#@&^`zRo-D7sEB*fG5YlO({F^yc|xMp@ZDvPW-y-CxNH^D^)o)$5?J73)T4 z=n5`zz?XEdz@xYj)}=MD+5xg(?Ll8_zC7K3?#^dRT2{WCJF_rM%)(rB5BYys?bd%q{x{Y=hjUG?yXpW7dH^nEd)8`T+<;t-mA4gYW1FGSYM^F+ z2S;i}FD_N>fTGV3s$RrJ^XdDs>OhQAZ_XSPx91d=LKpzBGP|GppTNVtMkbyfHh3#B zJ`^LHrk_NFC3(Vc4}C8 zc8x59<`ZR_ybdZ%+BC7b2XbYy>^NF`Z6CZ><9#bO2P6b*i2r|a%hr*o zghpU51ZscqM9a2$o69G6A5z&|?p}k`2#UE&?`=l?#xx#(1%{To&J_GGzUSfB-w8)q z#7<3!?E$T&0JB@*EI3iPTcmWwT{hn~Cw(BXvga8yshtMlB zaSwpvljMqVH(*=};2xhaakYbe-)XKv4aA$mfWbZj7&^kJhO-k+?gYabhKN{mMh20> z^Iax17wDP(L;y<1_C};?2SWS+-mvK@(in^o8wHHu*w!@!%-^*Rl8$|J863ETqhYES zfQY+~>{(Kh8{}cd{*S@sdjNG|8!AW+5F)d-Cfe9iua+iMC=}b!?xiZVga?0vVn&#M zGm8*xj3lbv`m9VeaxMVQ$7HUP&)d0Uqs#DJ@?b8vj4)s#CxWbzg|MfSrmX64m&G2u zyzP}HlDoV0U-2x}_J06VVnx{Unx~mLF zR{$DI*mI3_5k{AabOBOtu54@!sE-2*j#ud@Cau~RgWHa2<9{TKj)qA2qY|Vo3bz$_ z2FZ%xbfAy?i0XOB5~tzVuu&0xMV}MXE4sch*+Kb@Mw2_%r9`hJuKA$%U3ICjFW|48 zt3r<&Q?f&^M3DNJOmi^M_37tqG($Ajx_S>(P!#fLOC(aHF4;td9@cskCb{}wKz0gv z)4LT$Uu-*KXE)1u@OWr@k}=t}7z8WsEVCy{ec)-H0ewH42lyqB3Egfs^P?67KHU0U z1h$o3UskSY;`%#09Kf!#qYy~mFF@N8>I$&fMwUhHz^K`Pw`L8?-~7Y%QvQhXLQ5ST z(|~G(URVkKyuWdqBLpZh1)@DqPo#i@W)_N`#1i`Id-oB<=rITf0kBI;?*fDSrE6bPzC4 zqip!eoW%oWh0wq*^7-#xE=p=zimnWl4i?+~lqnnzhMx_pb=7%{2UVDeBhJq9RHn)ielYR=*2WD+4jpc*z9P*f^^ zRT13EY)uBWVJlp6GR-z^(mfS6Ra&|p6IZ}f>`GiSHCIG|PS5*}1ys$Dq=!j`fV-nh z5(U#T9cZpQ*(wh(X(+RNklYLqs79ZA*5T@Df3|by;WE<{2`(2p=L6Ua?BsuAL9u$gESxs>^+C~Vrau@-Wzq&}}SS(XJq~#~C zlN+cmd1WfTAtN_-dS(sCj)w^jVeHL;l*lN%1CA+Y7wvnFnKT@!#T(XEmp56`?eY#kB?vv5eUUXzA6e;?*|F1Fo@Rsvy+MNGz+Z zhM8v`C`SM1PG%rQedUdGffc!|-IPIe9z8d5uo*!ZTm5x9P*dyOf3a2C%2kh>9K8OI z8BkWyQi&rI5$)duHZg4)^qaMo{c#n$AP#y!WtO$h8P9?`)Lv{q1g=C?I-vkuv8&Ny z@n}DD$zOi{nZS{S)A4pxQOk5sh~`3JXT%~}@%qc3vHB;C^lweRj;HS0dX#R_@KS-O zBzWf2pAl&v=6yGDpWT6$8=kO7O=b7l2CiB#Kf7~-X}A32hTKcNEXSd?8vv`v zHNgK{BDJDo{#3Yw(H)wpYWe`jk+if2e$UZ5Nq@{nP>k)|CAcCW3>$%V;n0aOYOWVK zAc{5z2ogJUK1Epf{3u;EX&&)GLXl|UTAxjuCO{;D;FY3Uz#k}+8a`3E43VFdh@l{< zB0D=f)O5=Vh|A!Fei#C8^hq7rcV)x z>>BM8FyYAAaa1^|B_Jd$)`6n5N4Hf~RS~cem;+rjs8Lr|I+iu{8EfOr8VFhl>#Qt= zvW~W*^guz{L1q>4CK4J-b4xUiO36NuE}337(+Uff&L3C}yig3o=Vv07I{7#oxCENQ z*oTcd5h=VE03z;Ash_G0WyIz6HbzgRzyJRGZ{2mif3>a#$lg1}%js|Q#oY^jel)nZ z2<*wWI$h)59e6hrW0)pmA+vDD>7#8-+|=!j@*Z;M<%ShZA>XP8K_5foA)uYid^lQ# zni%AmXku_kYJyAaMwj)tUo!+=NMkl1N6e2bKzyYO6@4lpA7Smoh=T?UJaz_jkVetG zC2GQ-UR8z7+Zv!3KPn|T-=qIgIfO?As`hIMss+HN;1SM&kdP%u)quqV7pm=-hWzk| z6m0SyR*WAxa;j){RcJ97eF5+o3>7Aj1sCQkL}tnnx3 z1#SJbTi>(gy+K@$eh%UAN)w{*HEWUo91SXvJX zgDYrGKiLE|d11g@2R81B^3lvEooVy)en+biCv<-TUU-g_r>LRR@>2OrH@a`4X`$tO zT~g(%`?QE0`YQTF_?Emt^Vr!6wOPjAxpw2lnYov4Tg**{y;kUsPw&M^`QtH^lb65y zwhPJqFgO`N@l;Zngpp%yb__D|zAH5zVt}v!3 ztD>T!4Ij7-=TA*NlL_`y$`a^J{hIov$mKRWuG+(k;f7&^z6hz0KCY9!S_(S1MfrHN zh#nwq3CA5q5uS%!Hkx93^w8+yv1hB+oj)1b)BnoIX5nf;$v}TqmMy@&&LN_~E|3k= zv)c}hn=6i9`lfF~{ENCUvFjZm%vMZYcn+lzpVvodzgUrO(W!g*c(2m1aW>|caid1e zDu8^~341;u-ptTdz(ToeV~bG87Ach8LBj@mD~q6}=#va_b?PydLU3TCD(zcw4MRBM z_WLggXVVCdswgCp;b=9W9+=kdVE#lv8&^5`9&Ow-`y__Y9O^+w<*bdV5*X&u0LA}e za8PT2SkSPSb_yjc?&C!IT=8xSP?cTneHyjqCY7?h4Haq2ib*!}g`kdEa z%ujdI7_lJzo6|K(nT^vFbZ1XVH~@BsPYVr~Do)%6UU;tP*J1TViIK~7khMMPVczhVrkmzMEM{AOP+jl>dJrW@g{#_k519Rom<`Tl!WqK1f)dQz`& zaU~9ck8z@HATfF55qftGrXsba>W}||^jv6tz=bXb7~6(euo{|{+`KpPa#1kd4o8!d zY#gmBcqI{Qwm*lBdFVq6^u|cpe1gYaqdgld3$|QnIa!87Dx@A9Ssb$OlES$#{b4T) zMATARX2{csYUfj&Nh3J48eE(I5nbV#lF{X;r92b0Z)xL|K9S#YfThyt4LT|RK{Qi07k}K_H%h3DCw)hq`Th5s-CegPbS*wJ!@7OTi*65NfB$Cpid*iN*1r7oahK^B727l9E7!X( zS@N6Bjc#YUBe_&K`9H$GDYxc~RzC7CS~EZb@htp%I!dr|W#z%G4#msbpcYmYjZe@i z08*iN_+aB;trwGIwQ>`C@X%0Pb{?pL|Gg+Pbhe|{J}e5+k`5Y8NBe*RD~BZ9z1@KcO*8x!nN3j zYT4Py3K_?6Jb4gd~i4 z=`5^?kBZl0pK5xHmh<~)2IB7l-N3ZwrGy8lFv4PzLE|xWT6qTh&AFJDzC`Ec&Yf=! zx+Gz}k4WOIvDmN!r$}YgQK^;3XGlL*EW>jUxu?5f1GBWKW9HyM zT%#$^U48n(3qQ9Cr{YrQ&;5fzs@B7TS?1n-smwUNoy(Vd9Z>4r9kUBhtf;5VH-z@y zZEX*LQ@|AiU1s;yx{(e^i=b$cX}XWiq4KB3b=6Ooq2Q+>9TycF+|gOAgYXR3bla7u z<{6*}nO>-dVMt;HgXWmEm!8IUzh764mV(LZFtexTlN>M<{#h{GL-MH$taaAzcdihM zgewB9)6)xsd+YDJGKwnjr#CN=jK%MEs3fB7mqM_%aEPNNxQT}rB z$eGKpJKMc95b^ez~;ishE=#HJhuNnsz;?7}dlX8JGcHj8c_b z?${mIm2zK|S8T?DnJi*=CGH4CZ<^SUqa=O+ES97Aw7BWA|$-Y zt5C2a8f}QfhEiep^eRL(9F>XtTobYDTu{)Ua`P?Vp0Gj^8>8#-RT`p_sEj+K&eaCG zuY#J;U`bldndgR;OeSG|KSpR4xI zoH}(WuK>;@9Fd+`%blII+nN|o`_Q^4ViFO;O_K zP78$^!7v%14m%*^vqADSp{N~7Dy1{+E?kBvQbM-II*9^8+HWERZr|I6@AXVBjmoIO z)4hh14{+}>3H`Qd0gLmCA7{t57V53;_i=E9&4{^$1)Uer9m!T!y()K@3)1U}q7sn) z+%zuLawm}r$1Q9h#7iV|1RUBli4eVpaq;p+4i zC>~~E69eBFci)T-9RP5AOo<|Q z$bCqi!}g#t!fb?sv0&(-qEb?{|c@b{Bgs~qs z8dM4A5%Wu|1V`WD|jOno5h=z=HnXkt(&w)lXYww?N0O!@?{&sd=7>!#!m|R9BD82nzjt zz*!}KDi_NS;Go9ue)FUHtJ~kg*qfeE$)UUu+KX?zd%d3$QdGLcfDD^9;Gk&w2sD<- z4C*M8ptjYZsxa6^ZF|}=we7Ga@sSD%4b2)gSwxfog`#O?0M727UiE8?>)HxDZJuqV zCm$&kpXX5?Fx#e<3FT$V;#z#ML`fNrB6J{#wJblf<$epJrG6ZDz^ z2ngYQn0-b-MOW{)-bVJ7B5Y)VxK%*76ouz6`Q7VmC^McKbQxkY2F1poelh9{l#;%0 z{GS5@xsREQgC1N1dJ#9tKgbnB2C4HK=0>ida;uS%Q6fMy4%8JTZhEhEgz{}$b7wjG zBZ7|s`jRUZ561p*KBz>e=s(4S$gOvqP%Q+SudR>9aeWz<5a>aJ4YP z23(-nRA?&)|Gs&u^7v`0G@c%FfR~9dy>&v;0L+=TE&u|c*YwC;*3kdRN7pBwFIK{Qd2!X%QC+Kt)-+z@pU}5 zF%z7O?B3t;1BqOxd&2togL;>}ZanNpadJi+xOHJ{V54aun(eHlqWFVl+Mc7D~ z8eAX;=IAl@+MpFt1Eql>?jg)kB#r!FK4fl0^=+~r;f$9f z;S(lUl0rqpRsfRO&DUF2u~h@B>!=h4KLwPAWKqm3O=N=J^IRJX3m~Lm)0N22Cm+u%n?Bns?a{}ZEvo)0KteZVpjpEZx(~2 z&4zvRO%NV+`lnNqba@f)C|{Kkc$V$avtMR4jemD`EZcsqKCaBh!Fd$_&X>>c{+GFs zgjZ?>VP)ie+5lW>0}RPQ?c5RQj)v;!!5@NB!Fb0e(w;}93#{$G#2Ux#Aauaqvl7UhVWS~*tr+!w>jxb!py==tO$BxrOu*RirL1_`K>b)@ zkyA4PZTwH&5OZMLNz|ePEYN`Ev9owCe3=KL%L&g?^urfWpJMi~=f{&6N{kKv@G`b1 z*nxX0mST;K9R2|kp0ii3%mTJz1lZRQr^!g^F3$piFHbG_&)-J`iaBuL3y>dYQ|EIK z9&$Gtj13gLd*VkV4NG`ufJB1AeD~G;9XOuZ35dXLcy=02_q+>3Aw1nz&cCDhb=oNQ zCUAKG2MHJ^jqj-((`YI*V5BAhp4V->xayDvDt4Pd6~+;#ZCGuG!agpf898j)CeEo_`ke&(g`Pq{a~*xvg%wv(pY1>0kR zw8a#;>1!`)2!4#{@PLHO3Zy4pF=10$Q@s^;#xwSykj1ColgE6^4eOB=@uZkVA!!B! z3N#kwB=twoyv*8icNBc`^75#`m$0Fu97iMs?s@M9e60?u!>pW~H55L>jTiv2s_J6A zFI8GwxDN5hZ|ty3F-sr97)U#Fwoc=qYUjSs*HW|uut69WdDfHEWn475NX?YNYX+y9 zf!4Z@>u?pVsuSP3;obR%eo0^*YEvPVJ+Ad|{IY3?;VT|oY`HfMZ=JCPYH&mJh;1AUmNkfRuB>iYLm z;U4gNv?nHwNH~BnfUogUS^{w(TLu3TqlQDk0i@Jjft-lDSA_9(yPv-Hf4@rcnc0q; zx4h;IF{DOu`=jedBzW*0h}~1NW2G|vV&-fsTn2Q@0EZkfS_rlLMt}2bll-BOXuu5d z`^c5g;QJyFXkNe0>YBxYjOUSQti!x(P3~ZxA6MAk`Vv;VXE>Uji=Dp5<_CmEVq8YV zjC*U|a7CSY11Ne;q#elWI0q^IY8ST(1X6b8??Q?Xho=#BuCU5ux1!(3Ia-PG-FrB*=zc4$bIm5~u|eHw{^B@h61Mko6T z&-!p$&=TkX4aEpoY~ph2fRfwWS(f>Wv83~m%hmjCo~>QBawS0l*2#6qwzwrw z&pFm6{s-(3?7vn}osAuc^*8>Z2KK3_T7X`tbNf(t-IgOzg$w8L@hIb3%1!Az0VF+n36wFcwe8=va7lRac@5h#`cSU7`NlzTOocfb85&Wj$B;X-1L*i&zR=omakKic9NpW;qhCpD6_xLE(hgsPds-XwMSL z6bQVwLcW96X<-!;>|rg-xtfeb$SI2q_FOU@)i(`viilv@aEz8zWkv;e=dB=D!PeIr z)Skd#R8BQSCuz0i4m6lRLXHB4UpsNidz9;J+oYZiK%cQl>woKtRyV8jb_L6-o=3^w7*Em#>Auh&!L=HDu!hDzWErUIbcrc_@gB#6^{BV`^8nC(d5Mb#LaGxRz&Y7M#&NR8X|4 z{STR<_*p#{zlj=a8lCn))%T;NkJBNK20ravvXd5|c-*+!z&biLm&1|{l0h)iG~L9x zG=S>XoyZ))$^`)fik9ResdaWoM)J2N@PMo(W5yYrwfX>u6t{HYzeet zCyKlIK*FZS;t>hKVPRTgY?<1XuRJ|H)w;cqkUyebH*A_X%R$A1TYGBYe~FzD3VvuF z1qOyXZ`u4~*ih+EgQATkx9{=e;lTN}A-=M*8Z4heS6UWcm>qB)J1DfYc?f`<;7b7; zO}n!@d4KuJ`jq81lre8%QuY8MZ}pd{ACujWD!KK@e*aea?8K+9o|4&wmcbnNUePoX zJKRXi?jWEd8b389s9ygSoRYcZ>eTeCZo7jO8|-3U9ofIMah&MMt6o^THmo4WJ$Cc& z8y04!g^k?t?#TYp((A6pkL#XWpJ8Hb54?b#)igt5PdA9$X{xI0A$-SR?qoO}G{&t# zq$-4q9{GI0Zn+(Aa&MFY=p#c3sA2o#6cY#$e5Ck4h@T|X=mH6J{?2U3g)~8E>pMHg z5jF*1DH88SM-*QJQ^Qx z>QofA)W3hXR}v<=;$Xb`Vn!rRw!*n=`|_15*(wWzrLXrzvl#XHbjOYz2gj?wjp(Mm zhkZ@snt>Z+u#>ZYPKw!j=b_p-gs<7FyP!yME>!}Iegv9)8ku0rbl=C)Z&>Dy_ic)7 zSigVf2kNP4z!DG;ko}%1gaDQR6+4J0Z%a&lG({$C4u8XgyM{9Tz5|NZ7>?K8-PJUQ zmSxzhQl7u1%m%4JV=TuuXsTKwF-(YY z@b2*ibj#Emhlkwe{IDQC%Yy_jd&CU^r$%Bo=(EpkotNP!p4qWwWwWMY0s_!oOYr9e z!IML$YqRSDhANzi18k9zKd=g$pg0)JENjV{#TreP4<4b!`TGR822tEQ= zwo8hp3F$AH!TI_500*q)<{2jWo3zdM8@ERh8qMsova;{2Mw_u^*T}EtFi~;|mn}$T zQL7TR+gbV3z*e|yJ_m@YgC(YLGTsH0Pl**gJhqm{+mV()E)|ByvLxa$SiUIq07M{j z<1@YeE|7Rm{vtBV-91Vj%o4OLN$e_SC5~-=&Dq^0zeDK+(Fy_ha1^aT))S>HfiAFn zb@=%4rqA#2rl;0akMOQW0i0Xx*MOuGT9LyP+CZkFI_bKaok$mXm_pgqi4!%#!^81D z+JJ61i=L&>QTxk{cILVPXAw5&8X6#oohwHG3ZB#ghfp+3aAGyQ3el) zz6J|fwV0&`$Am!lY|Lg7fY@Z@QKq4s<>X$vwsO}Fa^R!ubph+n&FdPxZ^Dr!n%W&u zS^~I2w(0)sDA{_iz0daS`BnGF@!|S~=?ZAfJCoX8E@=uyuGg&7VNa{7-^Zuz?I^HJ zQvWV-*}`|YD3OB+a2K?HRihX z;{eXDurG>8MEqogL3zw$M3nYZT7sz*c>oR9N92xZgGCa6wKn9SRMSvFK`}e>W-FA} z@NTg=`wXe>5y$YlE%>>AQ%A?7kxaB>`~X7H|McgBvu_#orP^^>2GvDT22=R_tN>JNBh6OOeI?Gv2rtVc+ZK< zrRt!<^NZPzZW5-YG>p7}g~<%Y*Mv;5go_0hI5SS93LMkKJ;Z&bJKJZd&EX+ENC5zX zB0sA*1-H;+fc)MX+*fSKnoE|9uu{W^Xs=_bS#|>q4rVj$m~MK##O-e;OW;-^1%5d^ zwF=*904Nhrwe_9pI67TI*?xYZ!NF1{kT`Uv)#UiAF2E;M%3x7Wzvv0tktqw@H=Bp2 z`#X*#Af0-Oloe2q#Lj0YCD&96C9EyfLb_XAW?4e0hSZfa!@<?jRabKzEN3)zewESRY4A2(vNonD_2qd zHTxea;|5Uu*$!%uuZy7@d#u)kEg+BTE@W%aCp?>r3i`C{%$a(8%%R9xuDlzcUHQT* z$$?E6o)<2o+NQA%CE$3(XracM^$`a`nVZkP+AHlNk3i-Oo9M^msa6IDOBz;hV zEEiMfM@Rt5>M`m&9Rrn^+Oi6utp(7-eC(1^BJT2ma9S<9&NJkzgLOKaQrRmB%aB&E zi{VI~+E0wZPc^Y-K9lPAPIu@iaBm~N<*Mq_);ZW89fd_G8 z$Z%~EG|?}^ArZ82r8OGBZ4TxHrg#M`4OPIo9_*+<+;T#J&CQgz6yD`Qoo z&w_pniBm$V)2BnnM-%H z6HNX-lpM+*@|9{1m{2XZp|!QuV|xOw1n1Lon;*4O^g_*PPT7HA9Epl41m33V_iWm8Ff3#v0xyi z^OV-%<5Jt$0ur|e)4syd$jV-imXCO;$`^xT0F^NnF_+vr>fWqt-A{ej`h`G4H^Rjd z?~%~7MdL1T$rYrd;{fM@Acmr$0ht#YhH2G@P_(ZXw>^Y#6NJ`5i+wzg_`RD(CRE#8 zTMNfCwHW@3&vbCBG$nX_1uJDGPKvyPv6rs*BX@n1lF7qq^8l_BRzG$2X%i69aT7O zxPAXZ3D|n1EySd@?*iHsMnr{h+P9OLeU#@ScZ2w9D=Hy|AS9%RrKmrl`U4!!$D_@N z!Er0e%;UW@Uypl*>1DQvkE}ke-g7_ovw)%5ngtx*;s`qH>7@f@=WkRPo0V z{%W%Y-U9?5EA;_%8I*~MC=8~57ng;%dOK~EA`!ah{R8y>QUb$Aw6Srqc)}BBjOdc> za2>P(iWh&>1y#YH@ve6WT||tNpg#tyHDi0k14FNJ;(oorg|XIL3xN|!RU+;QZN^95 zB$|+MJJ~MAhj?~rAx*K3)YIwV|$fQQBjj+m9pm+M!@LRyZ(IBc2O z0i{^^{k_s6p9AQ-Lcr%>2s|oqq&>gT`>MPaw$N#J>iFTg-@q^uBJ;8aWOrGkgc-U> z>CYmng35@qF10URI!1Uhf){HlfG0CVthLSzSp035!faKE-9b>2I^m#*Ik zwy!l0d)XDx6&0>k2Zd2cXgwh~2rP&jBhzFUHBy_FGlX@kOaaa#AAmO3i0LIB-o;-a zrdiGrRnn(<|u-B-}N4-ZTjm`E$29dA)kvWTI(9JLKc&v8{|#eFk8fuAJf zjym$0T#E21Dtu7DwEKlc;b4e3`W!hTkX|vSCa7jtd3}Xnv6bw7IBcGsu!^Q)K!8L6 z>N+?JyZut8SL~>xVw1TCF6%6ae&8ii_7;%I4s0%N*-Q)2-esylerH- z4q1-|#=Jc}T^s1r!g0h{F#(d#h9g_TqmZE8jX{*rbOlD~mIpS3^U@-a>9D)+<4L&l zo?$;u<)TVmNu?C$)S+ROMK`e5^-NBX0nAN?0U|FJa{F^s^dN0=c84mAxZv=}LAfyTCBL~}tRimb8#7$|8}ZeJumdMSJ3hrm}MeD40pyCx3K zS`UwWH=OXWfRj_x0Z7g5P6}t9Nx@%12m9)kt1gfg4pnbGjPkkUOFGFqFYV>+engQU zMG-6Ed_IMkK)8dHH(EI$1n~LoFw8!f|I6i`D5a=Cn zb}(TPs0h@ub9*_{8dSS05WMAH9y2%cSGO_pLsGT&;gcG8Y0%phEuqWs`>zeUCSV&7 z4KQjZxX~Pav?zgJXRlu;<6Nr%aY@Tzu)bkj{O+)+Q-y{M^dZ z6@rg-T)LfXycU43e?|ApZN0a=JV0p)bxRyBf$~odXm#2sP1FV`R(k1o!!mIhf>7l@2kcu!WtQ@kYopR*BQLbe z9_Ux@VhX~tv$d}`djzO`TwFRJc&g7<*JXC;EeTI%#Cw})eE!1h5BJV(UP=4+FYaAq z&a76DZ&ST1R_L}*U=JmtGDgEiSVbqKWq!>=kdY&E1&pz~c0rG9>#_1vM*YR_XfcM% zr-}zKe7zgcyO2&E2k8v~{GiSoJzWc!JmQITvDe32B(j27cVpuAPE0^=xni+p%W^Sk zA8277zWwymPp5(J5u?LKzcS!M?dmGH=rwxvQTXK;4=&sdG>O>PEbC-IGd4oDfW|3Ro&JXyE<2f|o@t+OvfW+=ru!Q?}vWarJB_c$P7JKpVdSHyRl^)mnXU!W&aGiKy3TVF$;!<}MFu_SVFFh$ZQ66MU1-Fqygic-8DBo1`j=;#qa#@C zSeiblhUD5xtcZLRioSr-!9*doTa67rB!!BDN(Gb+;n=1}y2^vaAc`jih|ng>p3R9pYyT+v zQql0-;;Q}Gc^!6OMIauQOx$8L0@*CKk`b=ffK)h)S0B>Z3Xhh1ori!jcaKrpw7CA$ z{==5}));nE_4W1QU=X&$T-7E{oVfZ%K4v#qQD4Sf+ZSmeNk}x}3O?vCO2xj}GwteC z#)j2LlJ;jqqbH}R=>P5&A8)=kPE|-ax?gFD7`J4&w|^+~>9uZ>kP4%`Ws1THC3KZR zDnnOx!&41Nkp{%oHot`7tL|%0^-m_qu}|mv=~b$=3qI1?dC*Jsea4;1V4I}gT$i6W zf6Lyg$gZ_wLZGwfC%aa88{d`5OT1H4mn(9%lMMhhMvCo-6r?hRnR&ej1$6kH^nPP9 zJ@xsD$%Dm5?CKXR1^**CLNA)_Db&j%Ln7G$74SSY=EC{HR?R+69bZ1K^>NyN3tx^bUJBt- zG+=!0_S~l0t$5CSq%iXMrmVo}Hc#x((L`F9WPKXx=$u?4P?p#q=~Z;Z>ye`2;-epU zf%^__LI1LBVplJ|lpfmY-`FAZq-LAXRu8*Z%84)I{rBfQXf`)Y_Lfe6OrNU8i(CQm z6a78T??Q$kEdn3SW7+}L$gNFpFM#e4<&=te1#Aa${3r@Fd5}jHK=wKh&B34?wxWTe z^+87hW-4f+kKGXT0S0$u$&Evh+f^W#L;M~C2dhUEeQ_Q4a0Xc~^&(s^j8Z@Dq|HL#hV-E)@bG%@C;TEzK@becq_CoRGi3#kxH19+8Gym6H#iNIZx_$L*P zs_{8uO+FqMw)lV=oepW;>K?EP6!3t<&zMt8r8&~&_4y&E)=JewVVa01cKa?OTUf%& z#O&_*+sB_WD@RmgpD=wB*p0)~4vUv?myw^rx-fEs@lm9)C_qD%1KLx&`V|*v@J9}N zc#L>?HrSU=8VRw__KHLUvOTP?a2w7;=Q(D+M||k2QxTx`N9>FS0xqDC$cyh5IKOSR zEW0sQd0TM$c=r`Fv;%rc*&K2|3|(G=n0}g@6dgF;Nin7jpUcKk740omsJVbKg%c}RHjFx)o!;hbsHmIKq*oWJHUmKjHT?QQ0Xov}TjM3a`_ zpal^!F7&mO7Gcl1YGo~a68=;By00=lEc7MeqU*z3Oc40YN1H9(Cat~4++*_%K)bbY zh>S4097^Qx_rv`MG~{W%s!(LxD)w#_=;HPDH~hPDCxR=l4p~_0kbs^sZG}{xdJyz= z0+t)uptH2^U_4`c>skr(o5blPC8vv!GuD}Rp*gz&ycQWKkY)=g@nW|hC`cBwbYFss z)lQ!ou<#mqRuFn>9Iu2@8S>kfh;E9oM$g=$GI3Jhdo+x6U%r3b_ZQ(0jnNB*!A zp#KdT$9rqE{=ZB7UwH_<#n_y04H8_dKANo1eJW7<`l}~D-WmHLtxA=?c(h;iE1b;# zl_&B)a6A1K>@!g@BUVyXO`lURfXpy4G|X!j)J6xW2Byjzne93+bStj2s+y4~uGM|yC36RvVGvBf$0%$JfaeyTYZ|vE_VX!D9^8jRo zB7406f!E#>R$vj?xO${$PFmfBo;Um8{>W*enCJ#sn-N9Jh-viTp#b&HT;)HPCI08# z!R+Sh*Ea_%3Of--O|w~!wGKiAKoCD#=^?@m-x&=bBmrzfV8?`w4d<0u(P9rosdXOE zBcXZB9nNQ0G3t(b1P^+-?RVe#*ROjs*k9g0!S>0|Or1pe5TJ3$a@i%YmRGmtEd<zvmIm=WE>Gr6(A&?Oz7W7BNwzM=g>Q(2>Y4 z44`_<>zz0BV7sGg7oDXKpve8GxCgpGmNfU~JOlvTyhE zbron4N19a#`N7p6Z+%LBnS}D>h0ID2M^+?%-VhMiuCt&vvdqKCAuKX!$D8?Kk%Lnm z5;h;n27xRk0NIjZNdu@A;R5Lqed^^_dZEm#2K*r^?5Pq77w*dkZ2L zH$b#u*S0F;*O-F6>B+{kauU6zbCdifcTMOMZJf1AJXxN;4|{kXYbNaa(1WT66SPG6 zUG(j0wI`8Z^)GwpXDpH?15puUR>aD3(A1~^U73UpCa zed{1LF;+kpsY$?#4y|~?VO^~8Stw)B0=LwY{b z>pLCKDm+R1!8{9UY9Kzwfg5a4L9Yi{WB}ImLCP-o^l$lx*DYbbLCD8k;Yg}F2}h>ur6TFlH%Of}v5_27Kb z9Cga#0BD@~@86g~j;4jsS;QR*02q}L?APK%4EI0*lsLjI1(oxnfVln&BZJWI9=ktRjO&L+_cyL3r6XX{Kn%ov_XANlp5<;&Pd zjlN6~gaXcYKNl_*{xj~T`2<5MQ&QD25@&05#u2h$*!tN`F%2%7oNNPNi&PKXwB>S- z{dbfX4@4IHOul5k?9D!HBgo>jj~<>GjxQ^J=T>@JHB`ARvc-DgP1K zwiSdk+#v|7Vc}8bwn~M-AYU4mK|(_9smClHBUxpNO3=%_6_az@zwF-}w5PbuRqcI$ z-+wFn&~N@Vb&>hz&Gavapydip=ukMxLd*t8p%5huO6lFDm#C46hUXdDa_K*wh#Lo2 zlZMnf+=NO?SL3gHKUjNl+muL$hYy!pwAwv<2<90@Gh3@fy0~T7gA_?y1G6Mo`)E(k zE{M^nCv;1r)&{i^L_Y$QhjmDFlimwVK2Xumt8&CwR6hIAs4X#+@@keov>N3Kp}h?f zg}pS91Rh5tJMhhG1C?lb2gfP8jUf5pxsq8V>%q=3+;6D6?Q%ZHxuiyY$UHswB_hsp z1P=xRe!tos30o`pHZ3t4CPDy>mtDf%jY);80*+Z2v)KWAA!8PHLT8Ou9PP_lABql7 z51@;(obJd9OIpMf;!kpB&J=;18RGQ~ek<_T52efDT=2;lG=tj@if@|e!&W8mFk^95 z$BOc~U5(^(rnaP)_|{%~&tKUkE3xah7Yxjt~hLSMJh9R)E05?Z^epZ@wnsaNYc&a=UI)|b<2RJJ#5KK=Wq zgIX;^kM>W@6kZo2_5LaK1 zc_~~z{O8OH5oVttH$y=Xgya_Z{d_o_^bsR-XHcKLV&le*^#d4(y?f~v;g_|s8PEU& zS}iU%xL9mSnNM}J!th(es=+I=^w!q?%6l46Vb6*WC+WFQ759W_9w<&N6X79l}msd;|USX(ocemz9~BhxCNK zYx_jh>e~DE5b%{!wzXW>zgZcPgAPe%Rn#fbbrJaQh z8@Fa^<9~(xV5Y@?%yhX$!}^L!mqchu*gg*qbO}w!w{6?@Q#WjKzsrtQ=&FSrL*~f` zRt*O<(Gam#+Zb&M0s&`chGjRME^o|2z|gfKfwn}>LCwh7XRJHOVBu+Lfb{bLtT5=F z&khbjtAZ>BP})e9c69pdVSj45iut_pz1~l*aOC`g2Ks2Be}IQEtgnTI2HG%3fiqD! z2w62V*wMB^1hBz5hq3|4sRV~A+e7EG?u;Ed%C7!J>#t7_;%+~pMh1eH+W;$R1VpJh zstB6qH2FV5jl(+bEOJuWDN{nV9Ry(-%uNV<5=E%VGI@JZ4L#vIp?MpIFGpc9T*Vnv z0XfasB~xeQSLIlII7&TH26F%1sfZ z*ST}z{^YR0Uij@S7mgGENw?1wq{MX)gCCVjhRo0H(Szgb565B$2XfpJaijb_L`Ian zQd5F7=;HABW%+V3*Mr!n3Kl?^T1zlT*ySb0-^Ji6CR-RZZ-?Fee$j4DjRUrWk|*EH zTRjxw#Okr`XjrpCDmCN)yJ`8VlsC;8az^Ffb>kh8LW@d!gahpupu7Q>tCcco1juL- zcpx{Zq1p8_tNg?1R3c*{NVP1q4M_8773(jB{9-xuyE&irJ2Yr7Vf_T{$`L8F1catm zB{U^;FP~QoF|VR3=H6Zaud$qVLFhdNtERVj@oj@*me96NNZ!EUAo!DE#s>$C>&wt2 zQjPu%QgAQ9e!@u~0m(&UX(X(?YTR1$d_igd1AMUeMEX(m_W5r0a80mP)zqD3Tz0c+ z%t(`8md{;fG^aGob?E90MAYD^WzSeTe)wlteB-B8uo zXpO8()p4a^8)_acF?W8P%QMv!SpTr`9FG);djoW`#=OnYO+BY+pztU@wWp_R;m(Dx z()Rf`cJ;wM6BD)`(L$rFFp_$}_@SSDmQfHh>lwOauJT#K_C_Nm@}rkxh&-U9E3JVH4%4pJo_hKyur}IleKLu;X$WkzMekD5bibIce6z-Yx(uLsX-G< z?bM>yUX3qaYhTgOXj#1W^>z2-a}Ey+ykKhf$4v)*e>o9Ywe)_fQQe73}vLIaG zN2|kt^pd@0$)?l~ww#!=zLXg$=*p*E&Wk+U1mb(->kmEuV@v9dNm1 zC9mU3%Ib`5Ku3Y==fCbXdFVV-=y%{VF;3YqT9D@hn9`{es&$2bNY*kul4MLpcn+-h zJ_E~TZn?L=HnRN)*obt8Nx)yI#znPRkcLePf0=ZHS0i2uWhd%}Lh!}34#P#foZ%3^ zGtaFT>dPCw3pc05{NAb9=9DL00kM61sOM8Vge_$I;h-Nm=9pzSU|Y5HbLY-Ui%?1@ zKR0GVjyju$*~BK;gVa=ls*h+S$5ujQz1ORsj8qK4+F4&B*bS*Yg6@?qAQ%C&6}&$k zpEnz=IZ}JJZX6C;L!@%y<-7Bb)$fcQ#n``Tenh03>l2sQYjXzW{!KzdC!xB^3q2a- z6Gi!uUO1v^F1rLfUMoC!bT>y*x5Mf*5-GY&-kq6SeH^LTx(M;XYEs+UEVaS^BMA#lU9JH30d0Rrm&s7HUm4kl(t1rW*P=G?u03Yjq zdIr9@((hUB=^bUeux1wH*_(dxF&9! zx%zYKjSG-%qwij4=ii71@s%Z|*em|-{VV=!{N;y|f&chFLG79LDbgimCI?L$xx;wl z?T{M<-+IlNuNLWA)pw+>!@P_SuVze%Z5Cq6UvqJpu0KJR-naiNZTBi34661l9pC*6 zW`F-Q|8f22cg9W_zvi8wh!K9NGXGz)>i^|SBc$N#eZYfmrL;2JayCmm#dl&wWaWh|0j6p|CG2?Lm?AE zXAl#(9@5H|TR%23Ic4RxSTppA%|czQ3@-@4whSj!qM}jb;wKhNB+p!I?3~Fb%QNV^ z35b85=kV0`Yy2>-K?dXw72F6`)cDbg4SJfrf#^2UV>b>ySPhE)RkSCAYPSt?xCrcf zc%=1Hl+s3ZS54>54Ra1o8HN!VsZ{)@t1&Yklpfjv+07>so9^j$0zUfi z5cOk__0zN*(p0wx2~@XF$BYihZi@l>>%$zq?2@6Wn7$qKF@SvDoyHbl0OT9ck?rkj=-=Om`-zKWTNj&oRIJ3p|JcYBn4 zx7aHENyF7DmA7Lipoa?{vO`P?D&iehm5vhi(aPbpmOn?3a;g za!|Fl>YI*~$!-rj?Ch1(zcX|gXMgpkL;uG%_Ax}*$K)8bCyG!CP zDear$g!6B9Hl-j1vz|NIEB%y%eeggltxtOgMD1R;gw0B6?(=ka4qAyug&ch!{e@*gpcFAQptIQfJ3ZAGC?GtUf% zM(X>LoTEqvBZ*$mX`9S^z^+&#nn??^u0~#Ii-iESX)c=2qqIOq|5qtqyjpH|04gM^ z3m|g1fY=t-j_h3yQ&4l&T2=%mfGi0?QMn$4{TNl}NVGa^Rc(jiKs~UJMA$vkLr1L& zv!%E1dcSVmPnZ zqFDD&UIEm!{qpIT*4?noCN5-!*%VZ41}2D)9(96S%rtb1P$NN>7g!WSBmP^{yT_3S?EjSV$*G$o57 zvX|gtz)VST6cZCzh{0iYV+*PIg=Luzec3H%MP_AX<>Mx?Q=LslP!Zmv=N)>F=sJVK zLY}>?m`8IQG+r38>F0=tR`q^l2hJAsD~e_5B2sXkEni@(XRgw%Rw`*cm? z?sIw3Panf%M@99M5@GNM0eCn$9mT)@ver-f52;+q?zR*5r~a1v!>VStjP#1Zo$&r{>*;lqb$hzK=qly-#5PHgoLZBULoM4|8EC20R zUu^_A`Xf4iSJDOQ)}qfr9_GQ-?l=lRJYTT>{Y7`ik2gQ5s;M!T&yMYW)zL8ry8q-( zC^`cq$2V?-*f#Q(WIgA-}auzBdpMmJL7S(1Jy0d}^I z7yV(!a{|}$ByQ7jfHBpo<42FS)T$mSzjh-cZ|$!#I>rf)H-xP?zDYiN1`Z_G;T>vQ z7;Y7{XLAHj={Ih>Ge3==ZEv5eF~7O*46*!#GqjjEq5lk%afY+Uj~lQLeU?y6QPj~l z=dA1!lS#~jqoXOO7qQQYPIb`GRNnqwM;J7UbEL!IdEm9;V7OnfUxlWZ>?A~tw#2Wq zYZT(0Q{$8d-5Pa{-eEMYKq^k&3!XLio!{Za3xNkXLN#&$)idq?$O3YF=^r}h;^|!r zdb198ciPw=eb6`u9U_omEiqm8pr%D*J#l+ND$*uz)qW_oFoGc+#1VpX&~h=Bw2Uwt z5;x$ATgw(^?o>Gd2z7)q8pxB~slSa}vZ{GB!pgUu@fP0+>)x{#VTI4@{(y3a!`?}A z5LVzhIu2Ni10pzeKHIkgp4r)&x0FyBy;G6U7LvrLW&#auu|$HVE;;b@4fbMb5!Q`Z zVV9l^814f~OippJIqiWmKOQ|58)%19ow<3~&*nye65?pH2Q@q`$^e@jmg)wBz)MO4 zBoq)LG57h$J?{;1g$mKn3jss(-IqFx@kEe)CvA)tr_AhZEo?3jE5}Lye|)_OSk7tx z#(iVRS|Up$MQ9lbp+$==LrKVtv1F~Rg$k7-#!@LtrBJfQ%pfha5Jj{IS!T4UP>E?5 zB`x01bvMuR%>O;!<8?g8!&vJ6UBB!4F6ViE&+DUzF+$uaF02)-fI#Dxgv|W4VtR72 zcH}Wn|MM3~N$M7w_@vkaf>)+0706jSg9D5R3ejL1jP47aF zV|Jdmb(vI*=bZCZg#T?}B@)DwJV6*FR~QQH7s(`qi};zu@7_9w%4Y(TdheK08J}LZ ztGI0C6qR;7jYVv7b=A-5w?jTDcMC!dBIN{T$viUrnoA~4!A@H!lIlNx)PZ|>?XL6s z9%+pT;{Hz-^6d!kB5dwD8st8Z@IKR|ra;4K??McV(!P_C2}9?9x2hzigwM%Sgj_2@ zx8rBG znA9W@B?dL?zZO4>tgfowWYMu4H{1+b9L?%_lP?0bjWZs_YB8MsqcEos*e8hT3i|cy zLmNJRw89L_At&w@Hw*}n)NlGH-k8fVqP$~tb_CV*2Gvb_(H=eH}-o~Ewk6*4unBWO2M$#FrkKa}LZPW9LUCIS;lG(1n>5oEs5ID5DEKw%!q!)?j@*wr;1Z zyLg(| zb>#9=$;gk6E(DqOjzUw!;f1mVSLveCa zGoBHTDY6>;4j($C!#RaG{N5(-;#0-Kv@$o0XMJLZTUWF%)p;e?9+yY`wX#reOR+t3eq!A7ktnAp zPdlIKRC^26Qyk^;=tg6*mCunQx=?Yn*bhSYG9xZ_MjX)rlm3M$?7R&ETZ;j^GhwqW+k z0GRCjJejFIINF0m@G_AW04mM;ds0+YT*itDJzQD@iV7W}kkT4-qkNDC+zH+pHsSz% z0{0+R(#P9-oXGYpq`x$`LHW-G?wU)VZ9u;0uR3d*Q_6y6A$GzL_&3vbW@*PW|DeZ{ z!jYXs^_uH}rN}$>;acopM0tJ@O@f-HX4bTId$SF=r>I&nnuJeSJHgOF`ysQ|WA;Ti z|3V-AKqNaj_UGLdAJlOt5Rp!ZS&6AX{qfU>KYTn$K+wxRei@g!V&(!pBVZ zuceOI!0@*PSmI*_ZHI0fm>7ryOc>Ag0tz(_uO6IS=nT~GPk#lp$KyMbGftwMc;|Mo ziVX8O1uM$J+-7#~Nj@`<8E)w~HH+NVP9oB;yeNnHfcm=&7;JoafiY=Of(n_I*5iMZd0yy zLyl*A++s5i{Ku9c)gAK&bK^y4GtO-j!|tN~k9YAZQ?ox{R(5#&JFL~#f-|V8s@@BE zza+#C40IDt#P9b^Nc{^d(Bp7(;+r*a8r~VU6D7jLZ+VS661-?wu%0rNufG|F27_b75yvV*RUkY}as__WRe$$3>{YMGgZi zY50_N^~fAEv++!YOc1`ik5QU$#K&=+2-41&pn0YHWm5)+yS?>Mr}%isn;Xx7h%QS$ z5udHm+f+TNj-65NPQZg{!uqGfoGH=6NMjL|)<0S&ZoT`dwnV&UTHkekwxB$ecNb{`*4Dp$5N|_A80p?G@edC8NrbW|i4;Y)wzh+9{19Kv>UAu$V)tVc zK8*pE=S#ToX$jY6k=?gEVrYM8zbR2f|2q?qN{$1-jla?Mxp>Z;ITPrlM6@`5{CM^g zXGAS=Flr6l+aZ3(D8>HGif-029b3=ye|_wi(H&b)@qfY66Eq@<&SsTgmZ#0iWY=e+ z9O22hLwnY;Wl$v@cOFvN-YhjThHFfJ}!EHjYwbQUws6n}Rn) z#G}9ZMNFAuDgQ}ahD-Ay5?#;m5#-wtyR29(v%vA`ja&480Y0M>vCkdZ)E<06+*QUF ze}>_|7*D`S+F4jDjQjwH-dwZX#!sYm#!B;6IG@TsLR}%%MgB9KF(*(EI6^BXT&e&A zu2MP{rkCyBZCx|z;SubDDk<27)iB=AKdm|qsK8};V)!{1|Dda{f&*F_@^T-QaRD@Q2DhIZ|4;6in6lI!NQK^J%XU%k+<1*ffv}MTr@N% z@Duy#0{{wK^kJa}fd#%y2Z6g)Sy9(7&CU7!zPz%1h07?@5$LtPy!90~w~fs2*PNp6 zl5~1((&-r$l~T|JqZCtd#)ZzlwXfWns^J~QD!WFsv>;`v{OqpABF*Zkz<@y3y{?%N6OMSD zfgIGjf6?ZTT>dq^7W*-}Z9Fq(qCyaN;!Ff)V(jf+$QPm56GB2JQ^Y{wB!_~ZSdJG$ z`UP;H-*A0v*RBp<%gW0~Wyf-*#i)+}#(u)nl&}3a)x%42+QycP{ zjvYJBel1t47Y%|`7QkC3mIaLzst5{mA)W;cSa|Zyx#K-=KJjc@J*Mdk0rfN6{BO_@ zu}WCiuA1{&SPjc4yG|8y`O?m_&XQv)n!oOhbnyZLSpGcH<%ij^yRH_apAhD(d}f!C zbyF2tk0t-7$l3!g(4_T$sscHyjdIg}EfjaLh>NGBT@oKn{Q5B?4mRk>wGGt_4GZsQ zWQ0*rp8!!jF7Pt0+kO72GB*dAOkwcYl_oiHvlqmdnapbB%)H|vx;AF*YUk&QN0bU1 zKoaMoOK{_ASqtRVq9h}|i_MththFFs%R2F?lK$4$f3%4y9C6bSfrBBP^KR|U->%(m zIdbHjN1^`iDYwER`c9uddusQYeLsx)^vADO7rN^nTGOf5&zh<;yT%M3b;eskzHi@| zAG)uZy3^nL)5r6JHVp6kJbOj0O0r?i#i`S?Hm{A!F;Gr>QuWm@D8E^|BLBouji3Ke z2(}tLY2#1Ie!))JJFew2=eCCQksr0rbBlS4dqC8(1X(h=X0TOVLqi%sobs3Bnl4qf zUB0q=-@JB4EX{?~7TQx{MbQ}e3iN7<-+WTbr>Msf?HS52G9 z*E82-1n!-NY?i^DFK>HkL`L&2m9Bb{M0tsFH8nNkPFS3<{F>k^<0Rr)@aSK76Wb&K zZ6>jD%@_cze-jlv9nm|38>iJvBX2bzmPt)Z>jK!4usmmAJvptLgnDiOScR8WPqg6K zzGwSATh4>`cenn=gJ&q~b>qR?V=@l=7;o;)gWLEI>Eixsu&eRJhcT?LnW*gD{{H<^ z8F*SSlKp%bSuO4j5-vdi6#<~!S*(C**-N`qb>Bkwb{+;v9YiF{f?z1a_NAcw9BtMG zrsDby9Qf|h5eTgCv7scCHTpAl`5ieP|q6|qoCOiIdP$bS^WGleykNvc;mw!cb3d4sWt2ta9Q&d8H}aq@{ywQpHoQ&U^WVAa63til~~ z_sGoI(D%3*o3TO{P)`>$xLV)3h$M-`;Af4s*^#E>pX=)S${*#mS_3num+GrXhOLcT zLeIm$0V%jyEwceQd4YKr%V`JyAB&t$GK& zSDOBSEv1`uCnn?bVUE(P3Be;4UH%!*Uu~*~ehLaBRTGM}?C&mO8bJ{@qc;`F^;Wg+(wfLX+3c(8$nvvRR7{PW7GzGq|P2sBlO-SLu`k_=VEz z<#VC3P*cmi9gnxY z)uCX zSmc?_5QBCM^c8GsSght`Z0}^V+P`uTXGnU!)OC~_6A3Jz56}H)rG^Y?k}dbnvJH&2 z%QhEZx@2u!{_1YlKK(|Op^*=u`N@XkvqMYg1Qg?yy8(rOw>NLiASc~2DJUdFO*L@C zj`PgQC*Hc1O@oB*_Ph9Nj+Fm`jUg$_!Y1VYiL2W8b%TB`d)dQ;i7E`~XPS;=N(t1V zoV5czKY!{=+{vpe;_a9GzAPci;^f4vHy?eCKHNHp_sjxwpT9OjRw>9QO=_^#9EDtN zpu~v?Qh4V_KC{Bu71qR9b>#Hrj#X=_{PkK&mzrLH#W)unh;Z6__PZwMFbcCxC6=_Y z0hsTt+v%X{G=|k#CHBgHS4XWeaXhQz|DV+fdXV4cOzU~De;r0!L{0* z$~==cRU4sO5cq8t+5HEBP#0VCbPryC%=Fk*<;93=+*I;=yu?aaf@D?_=7=GEo^slgfksY+9C*|9AYZ@Q4U)zMHUwyRAI$Yt(}^F`2~MNQA+x1z*DKsOn7A z&}vJQRZKh<;|riM(ATDCUSnjweF!L-mZ{}Vw_338? zU<7>nv}Q>KQ>f}I<;6zf9p#4@mww4?f@SQ3ETA83+8*jgK# zhD1H7l|x+eua>FVg_mhY>JY7pO$cnEoCKO1UIz-HoN? zD2!qu3dPsuK%23@MvXEL4xo<_tC#kbV{;5c&${C~e34o8M6(e<}qU_3@C}98$(}T7iWm0;>+lx5v|vAh_-e1{p_}W{`+U?Q{37ym(UW) zCoa&r{MQc@`C=^r9E0Gmn}Kr6J-@Y_Zlx3wW@=u!Iwvgpeg8c-QVoAwTRT>)5vBa_U+qu4{gM2 zUa4#)Y*!Zv6Zl;t6;MXE7!5WkPrtGxt_}dV^o^HFdR&f)FSt}GmBwsy^M}_rFJ1b* zxCgKs7dGs*>IqUhl|!-sr3WcznkHX{W8f#isn74`ccb)+UaSS(W(3DvVV^r^?%c

m;cO)xhvnn^M6{RKSlDVJIT7Ig(}_6V49$$GHy&WT(&B$+pFo<<~>*ZvH3(}j`t zlGp$`ij2|l6VhoOFdG*b8z(CWn~XOSaTQB>Ers*?{^T}_oMzx<;=OC<`&Hn z+n8mZGZNCwv@a;?ZyiR^@}~By9^azZwQxvRNisIG^Ud#;l&FX)@a~>r zxhvfJpnmi|bZBREmrK?$yCe;tKhMN0;!SmRpGXB-vR^?stZ#1Xk?L8$Ii-YKGh`zb zAYXb&ybm9KK+zV%g&lrF^kg}uPg?q@%CN{(zvBAjXyk>}jxBA+>utAeA#Tk#Kg)dB zi4eQiXv-%P7%OHa$zh+W3kPw+(&)8&M=F>HYwX1m2L(~hWCL}=Ia)r$>ef_}zlo{O5`4kHSerKxY0shWLm3!4qSF2o|d>$4D+EpAL%-g)Vwku+jVFXou_eh1c zIT5ESN-r52I+b2{DyWJTYe47&C9y>LH7}YfR_O=iGOq$F32aj2{sO5~q zEv1V6J^Cv(ICPG*Ch*S`cq#Fz*uogY2F&=KqpQ|d0 z^o~>_?fx^ArA4|}yuEWb_m;LZ3oW+>`rbu*aRwkvgX&ZFya(N!!J#jHp^i5lOS{2S z9Sscpm0m45U-Ix6N|SS3f#rSVNVkAyD-U{|yqnucgRrcQSv(Gw-=b-Zl8$Y6jt#b| z5r@N^-hosfIDJ}$-ON0RKjbz2rHZ-cPgj=?;QVF4^@ua>x^w5f7ccsw^D(7&O{>K7 z9sr`M;6}FDvgrvng;TcNX;!0_9~zQ>Uc@jm&k01ur(^raAU|b7K${Yx|+|4p30jZhgP>smzTh!%`R?_0ixLg10WYz>TgdRv3iXYiPyW8MzwG-fi$(bJFVhFe8_1X#GcXS*| z?4QM4TEr@lD1@C=v4f=iA@O7ZMKPZAo#0`+z5Zgjs>NW;m_A}zD+z6d{ z>u&#N#zdC)wF@N|;h zjncn1-k7XZ$|TPotDd0bRDsh&nnsrG>bZR0wrvx|1>GbE{E{s~ZN6(S+(Hfe+s~H= zf`jkp(ps6+t0nuG4B)=65w$Y&WH&cGzJ{!R10!{YE}KIt^BWt;O>xP|YZrz7IqF>N z-nmgzr2AjI{3&F#;Gskn-uyoYW0n7l+pk9sdU(IR&)XgHauT}f`yx;6^xhUqx;)5k z+t}jFbYelQpLzh%K;!_shrxH@XJW0r!bg|3M^7=E7p^Z)ILTn#OlM47n^OP&(#q%Z zqQfn^rwz8gmcSkA?0OnslB1Zi{3AH-yJmgO3j2&RZ7TzI!E=z07RRhvjO9h6Yx*!~ zIKx-3UUARcP^@QcTO4#$AFj+R`+8qFcMw%OugJ^T(o~V3Dc+~hfD#$y+{2x+RZSH& zBEQ?C5h><}KOzA1@y-Me(URP!l|)gZ4x}C^3{fyv8iTj(fS|0hvZF!Xv$+HrntoHu z(-nX)T=6_w+)sg#$zguim#&T^f5^)G%A(7JSu;z^5NOZeQ45HR0JN9i97%9}^l4{s z6T{|Z8228dpwm~ntg5OOWLD^f{P`GT&vWQ!ZrJI@e=dFdwu~Z%W_AR@{%v*jsiq;O zON3?=W0@bdLLOb(K(!4{79dn`*nkX&Bax2`22~oJ-NtO>c6oWAlt*EA7amcfu18s* z2HxGD21#^4Vj7(tHIgBeM{DDfv2%8UokJZMFW@d7ft%A77{0u^=rS#rkUQ=_aDcJU zLmH7fw|{B49j4*ACa7X%mE*sPpl#|^^{oOI`fsGDIpO^7<^0_Nj`3fS;B*hl+K+Ic zpQu}ct*ArpBm6j}ZywtOe0c`Xr~*Bi*sxQHJ3nuv?U6UvM7P>gOd!W=0cf=(0Sy2T z2dCZcndJr&FY$fwE2DF(fE^1;6T+@WI3~5_umks5^%Sa}kem?}?~88fQ4+^sKxRMI zc~hZ3>D%klC3R9h;nI$(^Kt)^}1mk#uGYr(da28 z->NT(gT?tFbkKJlH`%rGV(zlIwS8U{6+L4z*r-TW_2CfvkF5v(U0r)S?K6%@`8U$> zqAk@-yPIP|Q-S>F-E+WO4cMi2hQhK7S{9@k)+8s^A|6hOB)L%X6J-VMX zGCTs68yPjaZ#%8RY{AcEkdUBW-;^t>7Suyz*%0mJhd3pvxw(3?h6@5-h=YIo>Gyt= znY^pnv%BLfaR^~nMRVi)wMdb?s7;WS>=iGMH~yY@9W_FLuJ2!5l7p0eU0r=xY@B83 z+2bbvVr{L&yJgFW>K1j)IeHs|o^FMuP*!P>PxbV|=g`%z&x;<;rKtYYaTVnk=j&1? zh*>duD>2bfPXSZ?sujn0b~XYr!@^vk-Ts1t5OfKO^1Ik=MlRp@qH(8b*-~P>Xji3s zML=A()*Yz})JE*14CPBLhl8xQp#gO$s49o3*x+9>_x{*r@qYC+=XO-(b&6DoaDCfD zbfqvRUqB}6adS`0$dI97c%oA_fjf2Y;uju`6f}JD_MSij*_Y>@G5mrP&;oEKK@Joo z{3saa$JRM!_b*Z3&_#*#OW`+EyD&ZIPDB13pZVCdi=!b40BFpZ|cQ{~U+^^qb@V z3;*3L(a)N>j#VXc?+E-xXF?g}yi&CtmgFvBwzhEbhjt=aPoZ&cGtkzS6*6zf%!b1y z+w&VAlcl$|eckS52WYY-O4USDvxiWZA5VI;t9G)ilKvhFrpZPj;o(=7?`*IfF88WX z@96uxOibTrRQUjuszfv-QO-nEh@7*06Ry_CY`n2~P?Krd_jzUMY09}{rAQiOlclXz zm18Mb`H(Ov8l2Ain%iklz~*p$$LRtRq=@c36@0!GDC0SoHJHtw9RQy9kV}R%RaN=Z zHM-bMoHSVO|4~`8z}&!S?Tw`mKov>PBGsa}?9$Auie&y@htQ5NQ$e!k#?qmUn-*Q0 z8FhDeiS4U-0^kzDF){w9DFoCQOi&G!M{fpYD*PAj~2`b`!MC27LI%{a8e1JJwDIksCU= zfsw)SD`{iGsy7|o6kVdH*t8H3w>KJm$gxpCFCk)mX?w44XJNEJL_(>1I@aLGGft$$VwMU6`n>?j{gYDYNjVv^QGUl4W z82uvSns2@ugP`+v(otKx4uG(R(1B-F0Px|&u5(>&`~Ob>vr)=t_4rYPnng%L=?Ez ziz7DOJlfZ_WGC{ORL70$OK1Qyx-_s3koDQi@)(PDN@{ONFcX zWMS5)rKP~7S2_kQJIuCu=9L(J+9zicz~td#Nha<}!%0#p*P2u!Th*br#C8K;3#4qH z!}%8^FB14N)x9PYgE&jGkv^gV^Sezpj1_f1UFiqS+!SGSC84SVMD*ZeTNAz zT^c8S_u1S0?VASOD4Ml{R`4S`DVzOa3s$SM_4QQ2xRm|POQ$vJIM1SIQr*SU?O+Fk z#E6u{7RU`Z$~ssxq2+`hjl{!x`_BZU62-JgBVB5xC-YqvG-lKkJ(fcrw(;cs}CQ5PU9Y zQ?%&MDC(NO_7Y#~4|b&Qo>DR5Kyqt>UQ#|-pMMtc=YLm?<<@45@M_Vijz zkBkN{4W)4Qwle2>k_!y5e?*gA9e|WVSgTrh#8A5 zW-}>T#Bg%*gTZC( z+3_Vnj$@cwmygTWq8bjS#d`=^R|a?*h>f}rlHWKl^QLKVzKwH(NdFI!ww8k#;D|Lz z5TgpC7inc&+y3GCCvJcTl$z0RRQ&eP1My}&t+|ClUWOe&_&bf>0n9F~iOc*lF#kNon zmDqb&59F-#&zbhXUrT`ukhF75&C1+$g(V%DARwEqHGAGi<=1@Z{c3U}k~nW#mNa|a zv^6oJKrXmFtGaf=oaUgmq#gXHh-(&VK|3t97hM^Q)7qOlcSpTzbN_?z3qqe%z4(6! ze?6g{JkEnT4Yb_#kc#Uvd0G@G;-)<|qB{Ly2q!xWXnKU;RRu&XxLvg6PKoxX;TKg9 zB<3f(#p%XrCrpU=aCZWP=JDeifbv1aTb~DOD-mM8Gn%`m{tA0bx zW=m4A`r{`}!Lhf3x;|%y+vo7%V+8eV6g^I@5vS^J_+);L&JraHk4l7t^$gEEE`{s$ zly%+O(GMx}Di2Rsm-n>DZ0_8d+(0Zk1J0icHML~V`}gYwTUbz)2>%WnKjMW&g80LM zzFiqX*_K|XDPun&`_kO7gD?kc-akDHg8HMCRX-HuK3L!*gj~&o&9<=E_Hn(YUhK&e z(CsyK4!?qar#*h$hoRFKAwiYChYtN})${J%yW(QQ#xF=a-+&$hb(~|YtFFHOF3p55 z{-5ecLTWBSWWnm4r62eLFQyb?-1h0kd~-2Tlu9@_HF3J?&c5u@bZM!&TPp0aw6%~z z9F(deFG2IDuX{Z*)MGvIv3vLKQ^Rx}uDedz`AOsEj%qlE6+02aNmI9=MTmSk3KFh` zcT9h(8A_pb0Je3ww)T@Z^@N_+XT6lyWLDUKmE9-FC@IG+KevUfLo18R--$-!q$s*m zi&K*a@UlB?tsJ||zV;cV*Hm-!o@@#)6bym{0^i);-EGCm@!y0OB19zlVyN;rdni3PXV9gw2BI5qtDh$(p{`yXUvoaavmPuZP3 z@S`rg`qu8ve%T{Nj4(KFa5{SFRj7xw2{}exTwGk}%FLIEYzhR*u$HjbaQ6WFk*$

#p@{fG9YQ7Gb($UU=EJ z1f1qV`*;tA)C8VS4{P9D)YYzO(CQ9cTi>NdN%9)9^O4T$PG_LcT}d0wyXRi$f{2fJ z)yqAc0_wi9x~e-{m*0>JdzIJmJHOmB)7E~}{`lU&??5gbxG?iDqkwOz4J3QOiY2K$ z#DWX6Se%m1O%K~a&jmX!vwQ|HJeoLPbxreYLv3zZ(D~u- zekujbR@ae*M@*ck0REQB8tcp~WC(SBtgRWu>?+*GT$vb<@7M2Fv|rUO`>kg!Qu)Ka z#NrElIlCPV_jSd;DFz=Z)GB*krdus@*;3WI7*!1V|TgiI#=E-i;{5*>%Y z5TXtSSzG_KapMnrmTmc-(j#%(hrl$a!n>YuoP5sn42LATHC#-aOl+TtJ_j3yNuu)E z(#oe9r}?VZOXC&(Va~$l019~%Ll;6 zxJlokLk}Y%fqCYh*w^G(*~+C?7ZEhOAV-^liU^p8ynKjA$vNb$Y^*$58S`NI^y!@; zd?SsOhYazhQX4jMU<~qoHQF`2N^TC zd7?Uld{qjvBU@P#+ZkjP>~F8MQiC4N6uxV4v0NOz zs?(FxQ%;AbT~vzpJZ+4ICok3|a>+@m6i59JLLq>GhQjV{^Sf%5-c9 z)SYYy0b|H_?1zrLViJ>)b&L+u_vEMX4nru^iYmzFHl~-Uz_gg=g4NZc4Y* zTH17Ijiea)0R*nJvAz#FGgjqM|6q`8PT_5LJyD6$_}}BL(7mFGO63#Bd7xr+=wLSb zOG`p&jNN0r`8&YJ4$_ngq3mz{tOqm2h{|tE;?(GWu4jm_29+gvaH1l5frIf{1_p}g zn9|5wG3Zbbg5@iwT{O)6l75Qgz#cpg@XVV7?*GCxenqt9qTwq2`rVUT-<*mbZafe0 z=#=3gApZkdw)c>l9sS_sm(X8D#h*hjs8kZa`=0ZW;jv4vF1=8w@`C1BA8rkd@3YqF zbt)gxoTM{uM(cUZItLR)5K-nH_mI*g5_%6`j#OXZCK6Dl0wbsO`e@s+}EcWUFfs z)>WynSh0StP7Z{C@bIcSSIQc}ZlKV3t&CBBf1k9A1K>8LZO-6N6vUPh=^M z*uv&rpC3EQLal$XN5f;S5hlnqUbJ+Q;Mbvy3qTSouzb=18nIeu7b@GPLdpBUX?qO~u#7ppGf>VdjY$#cqa}b0{;%jq+7j3e9Dd1s-n>EdRGedhy%{iF{DuCT-8f2H+ftxyklCH523rZ) zofz`eh%95!=ooPGA*8_=n?1-6o9?ozFh{hgNZGQOr3daq^hFv~GuKq)%3}|xbgHTp`z_0t#M=6Zu8>ao??;b^8^-S%p^8Fa1eeB!PCw9-?i}T?w>PEfeBm=| zu6Y9I2Z<0b&SqK*B{^GCXV=$lAD*7w$HatHu$8LnN0ip$!$q{bA%7DGs{GS1L&)R;%oc~3)yRS zh7k_m)KqiR{!`D2+zwqLqVYfVtdPFI)0dBaa$?zxRL==7$xs5m(}+}R?;$6bK~+29 zs@$uSS4~hD@P5*Aa|cmMJ#MI9Sc4Omd0~ohen^YO-~7so+ut(-BEk!MGh{>h&h-44 zGLOayRvCwfc=1k%6K4?Xit|q6agemJUYbuSM1JLT(&rzcEM7x&6T21yh*gi@Y+=z` zSV|z}s?+h)Ry8&r+JSI#>SSy4>5_o|82ebc>+=9E&)P?e{+icN&=7aiZ$wfzYy%5T zgmeJqWxbFFW$QfAo#OniH%i*?Ici(nZO9B5-k}u)HPx)Dt8X z&nYHokS9{&Q20!^T|=?t$N*dND}|f;$XsuTX!_g#R^SfIJv@>~W`bu4wi*}q7@Z*B zfLAy3kis--G9jBHBIxxt9Auj^PZ;|M1XYv>Dc{BZJR#b_i;T2V)IOH8wB5HzWdG#dyY3c4SCy^(i0v!{tz2~LZVM;bl z^8oyWBK7XG5IaBD;yCSZ(bWySw=<}dU3$AQ6)f;a!6BU*Z+){*%ZYSg#~)X%8b;(j z^H^=(oH;X0O}|4i*_lFzX3NmyX*+!?BBJhKExknuhgUgPzA4B#Kc!@CQ`}>Ynoz%T za^51CnNIEbjQPl)E-&iCE)x7YQr8CCSKC|!B1S3~kO}t%>q%Bogp*$I1VOBHIbKj6 zjqY_%3~NOhcHF>Ojci@V37l;6#WZ+MhjIcOWUzEO)OFx2#?wWDaCvqhT)Sy3ES(zO z%{9V}?0xPv713HqlL^h$jqMbvqOyH8{%zLhJd+D{qb?0sQB)N5%^6tRL|jU`3>{m3 zq^&;m_;GI@O2lX2lFqMPmn5KDKFhyHq3Dum5jK}P2g2pXlnKSly&R@oymV;ax z%+b#(?_{{^>-Drq1qU(0OT$!J+J(-^;o!z}yS}wvPVWK6J^A6Fi!c zkrB6oR`!)qtlyVZ8NI8oXjaL%3($cOd4-6IAe4?|>c;k}re&<|d^CNq)XynAZec?{ zo0%d-vB$XcwP$L5+9y;c2bjI@CY@D#i*P!Pv6XS|jrLd$bXgmx2;VP}e5%UtZ?4%& zKWCXgQ1#*WVM13YjtmPz)baV`FD({J5m0p$O~ERTf!SR?kyXxfnh`iZaY`?sygC~U zjsqO|OgW+Jp2KbSpT)PPJkAcPU-;xvgz*pr2ac|fHr_Y~smHromatj2WL$L2fmUib zAx{Jd5E2Z<2}QTSd*~g1yme{))Tt8Y{A;3*v^lmupEH&tO7&FndA??-ef>Z>6QVaE zLFgI~M?dHg5Q{<`sB=?^R%~@8NDTi7c672sYp@}p6CEA-8%0+J-y+t!mhQ=w0nZx^ z@oiHYOQwq1cba5>Aw2y{t?#p;R7orWAd;Y6sFG%XBk}@5XzM0XFcWSpn+K>T84V*& z?1y+~c0g#=4U^9np8gX6_sZ=aeq43$Ze(+R*36k_0cI(f%SYX|&ZKlWxBOfsIYBmC zG+SL)5TN6FyIub45EFw!?od!W4S3??#xL9aqgLELgi7lkl_5q4u-7U&k0;JEGwUP~ z_>#G%7`#`U5ov91Y560iBh~ddZes`Q?jjK^5ZRqoxD>I|{8sD5F|8>U`eo zb|5lv0=qjF;{qoOfoA^>wC$eqrB?4CYvnyn#qM$likr)V;PGriD)Ua4g=#H1*EPIt zh-bQY$!&L+km0kR2=-Y#_}~d^d+&J^`W$d@Ix{xc1Ez?h=u~L-mVRg!l+5*#eIg8Q z(cR;8e|JhjiA}%60ree}8fD=<5Zj;)%O&7YM%0*CW*wb%{-S#fgsy-OIlOS&TNe*h zR+go0V2&;I&59T#BO4+W7{|Tup7E|rW0M!&7729sa4a;`YLX+Nv+lfzv_ijrm}v(E zZR^2kYuv_lQ9EZ12Py_HIX6_#fce5=I+R*{qIl z?sZi%-udaST!fQWsqr3%(2}@yVOJR^ML8{`_+E*H$m+OPLbQKKp=zedov7(jn9x(i zvFaEI-9In?!prE5<9V2my}O)b^YY0FvyZAKE1d52u*Ui%K8J0us2%{dIF_P@nEI}1 zkKZ*Hg0R30IX)U7nirj?$Q#H=1ppLldW_l7HTd|!{q`0pjTp1B_RK52pch`|q_X_> z&H+duf8~S_o1=_3-&i`~c8|QABXLQ~?*~3x_`IYNh6GZ5qcsC_X^?Uo}m zloM~HYywP0gKBrPVw`wpA!q_F0B}u&_Y%+Ckw>M&xhr|*S>lJbqODt6j81#K$1V@$E%skP~yxQ=C8<;y-&0o@PT z0bBSI!B%LQm4s3o$01q1uIP<1v&u>?R(g0AgNf;yU4ybN3_UFd5O_GHm%iZfgp@b$ z-d#N4!LbmzdNKaQi+}{I@()9k3hiG8oQug${bnR3Z(=i z$%DeAwd!4E_1kYphPJHl7y|)}qa#gjbY-9er|hu+mIe#IBS*{2zp0xX-{QZMOHv+P z7*PRV`GfMVPYcKneEjMa`{T2nP8m4=cx&X!MZ;6@ckHcfG#EUJG7^MJ^n{Ux)_J4_ z5yT02Jt@)B`OiAWEAM4z_o5WOM*&wG-AC8FIN`dZ3#&lTv$Hg+VWc$Z#S3B%~T&b@-^!H z9J|k2PMO-FSy-Zzj4-921 zMKrPE8&kSGd-kmNj&mNrN^35`SD+V|B37ZJ#&Bd65cjIE3M0fS@K42@)7e#bf2Cra z1yUsNY$;xS0H)Z6CamBqc*fxIYrYG%5^N%q2XV=Ann_0l0G?oSCEp~N2hsjzxaTeR z+@sERH@0x>_HlYU?Mdrl!j>g=W$C`HuAQ=!0e=)rZ}%QKRin}(x3p278-pi`;o!V@ zhatkyoH1k}gBD7vx9dMxa*>Wd5)DD`e4#6p2+hoEh*P!Gsi2NREb3Yx@jE*%*vGYmBw;|=LTZU|mF0z(nQItO*n zWql)XXaG!Dk4^83^f@kT4bNsgcyJbFWA~mtr}L==G)rTFY!ejrm2MeH(-$8tLx&+6 z>#%Qr+jkQxN^qDA;TzDlQKcSK=lJC9KLBqE7J|8jE?;V0-odi3C;Y<3Z>6zHE*W-n zQ{(Uyb`gAvjL`TX<&ELKYZ{XWKIhMe&z?6g1BVI#$Cc|nSAa(20=xhQ2tGkR^=iws z!gi~RlzNNtX}K6su`*h|9Q8U>j?nG!;LU=-$YTK@?FQ-^bgFVRUgaMY;TSkaIp%cH z+HcOZ3AED!*1P=IL%kk@LIMKzkm&>hNr`>;TYJ+K(Nc&42f5v@Lid0>XxVAr`ORGI z53{4z0XfiLumAHmd1L~I8G-|?qZ1JR7gT?Ly?i{l9xxq27A)OU<%FS?AgmBm*2NCp z?VN5ky(}D4`lzgREO(%^q}ttB`V5W^<5@o6y!Z4xcH@l{vHOfCf$0HmWBUVIWijuCb*ysGY!kAO9 zL1U;ci(O0m2szjl=c>H%!U?5Nv6B3MpCIG|@Lg8@T60c(TVQ?rIRSJ)&mEv^*yv9y z--EH*ks$VTWen7xu(;OcRnG%#6}zun#&&1mkY#|y9V#LZnVC|K}*P)21syH$*(wB;Q_qNEVOwk7Z)`St1lQU{7B zW@^lnAfTaBmzPJoBdjxK(%9KDsAhG2{Q`CWfY|fF{p61#qV)wU7GR(l5@yC|ECOjnPm#7+fjR)NF^gR@4Hg2?p_N+S^5+gC+;DF7 z8$4Kpb1(gxVn(RCgf0INRN)8IMB?^#RaJ2>kr@AHZYQQ1?G)LvpS(OX2uNy7Ov@yYIB>>)Eh?VMrsW7FL=Nfn$4x~9&lj%zPF#FxR-1M^;8esX-N-wvk;Aimd( zA#6*mz0AxT+&7}Uu&^OwoQCSCbEc8A8`ThS#R1)AMeVVEWhd=3>`*^bAp)Kw`;`vu zf>eMi?YHWQ3gl(Y*eu1$s9Gw4g0?;A2PI`5>0e>*URPAe0E&9hAxQR6N0j=gN1)>A z+E-DrIW-;e$-cP}-zbCrrx$&8dyRj^6!s5wv2@RrnkH=JxFfuH0J|k(5vCP*i)6nE z++23kUVaM7a%vuio*b5>_XpQCB-9-t$#~7#ebkvdHfVe4(bmw>o(TEIAktC=VP#uT z3eGAUy6n3D7ZB2hi2cn%Z2&3GU@djb@4KRp966GXtlWoKyQwMY#+&j9%S(EVO_oF| z02xIS@+2r0see0KPcWqgm{iQy$aHldTO#(TuBN8n=dWj2??Td&ft2KL$37dYzgp1 zmDX-gjSXDuhOs0EIkxNLo-y|lKd*_&Y}J{ErfNp+nz7e9bk}cUC@e|V?e)uDKT`Mm z5k5dJdy-xTaLi7Zd+zi8#Ha7p0pNIlVxVVUhsF)~;{8Czn(uk4 zH;S=Egf1x31d95*Rix;KluSGp`?kVlY&@Eq;)!c@f-DeD8d2mBbD|9EyfBXY;Ji-!F||>COUtlXQNww=7z2+%dAAzcqc80Hw2J}XC{Y;I7UJ0v zBW`3kq{zgVdO~-ReksheZuL3i9!PsMk;&tIb}`ogp<4_*TWBRE|_WNTGu;Vcih;E2Pgoz$T( z1u+0?L@W!n%al_wLBj{U{8KNZ)cWUsaOqlPXxG!PJ>FRk-*PKQOLE0J3B^({vy4=w zj~in8$v>+mhIfbrd4m4(AEX*eL8OZZR8&+?>e~r;dbIE~pgbFfALQyKuCDrEWaCz) zO75qpch3A8yF58Kv=T+dzQ#Vkg7ObZy&9C{pwh;O6CWLb`wN)Q(1=YbDgrQ?X;k{; zb6(@mPEI-kN_WUS&2$F^A0Am$y4l;Z9-w5Gg$;LYt>PJBFvAjjgWd zUC!LEvyNnH*aKPpC)@1q8?LmpeAh9&#+eesu1q+#%r9tVkT(3Uzkk(PVLASC zz!a?a;%k8Wged@B&AWGE@Nx}^?E8Wnqgfa+gv2S#+fX>8N$r-+H5hVjQfBG9(s~J z03NoAbrO*p5bf1_NnbQfVtOa#`mSt>pp|Ilb(59G8R zPw4NV^X`MT=v)m&_6~QvR`H{*00rO&nBw0H-c|~J>~=%()1G{l7Nip=8;iHNZ^=oN zm6tE?(^0fQ92tOMs5;GsE?E;KBw9|t8e9GdYjR-|Erl!BPl5tK1+k9!fa#8&1gjwt zt&4+PJ#Vhb%kO8YdLy#Rt#Md1vCb)M(&I0(}zZ z7*t^sSy;(sngeSn!ygbFeL(T<6%`GI8XdE2ApG+K2GI^7tCC1ip!qUx07f%9Te0%O z$|VmbcZu-Mbfba5nnMmMxEqHw^9E0X9~Y>JcoN0Eoh8GcCkZ(bID{&%I+$Q5TZQ?<1)Kg>?;fFQG_!gpS@8p_Ucxn)>EG=`9Tz+Xf)k6s z3_|}i^_v>d3mcB>gK%N2h~(u0f(})}Z{Q8qqn3UdpinfmqRzsjI1X6uO?Xhbho z&J@Z3@RBiQFP=ZYk3ASbfoO)rP+BvCkt0!rP+V(aubQb-X69KnBig;GMoc33dS`O2 ztPqAgzAl>-QZ;=yd?ik=eK0N@6d9b>ehV`idrVTrzU2_yL@V%QNt(K<>T}~p{h}W3 zMxG+2$|sRY%fAaVV%Vp@e47^^ZcsNlWi7GsU|)soqwK}JDbl%fcJcM?1cDI=o&sp@ z9}*i!ah2%i;$%&LJYmvjxZi_u0NPXa&GN|pv&gdE-U&@40T@jHu_ z=Z&i)#4GL1H&^)YM^O`p@Sl%TMCc2yMSnf-IUuUMyyl`S$2na|9?h`?-KD6he;_UA zzC49m3fO)I!qQ;`fdTSI89EWZr8)W3cr zIEfBfRh85pgm!v1k`_EHESXJK6~===fo5DMBp#7lhQ`v41;Oaep*d&w&0@HKuAW~+D_P-ur#u#8!JVo$_A9o0GfhJW{!A>#Q2v{;l z3~bu#HWcqSot#>VV|r$@bfV+`{?ZQx@a$h=do_dqn!`5fTs<8T@ubCbHNZ`gjeY8{fL{x$$)BDI0dLj zxK5`Mua0Jm@}ow&JOB0Xun*m)c`INGKtt85q@W3Zb$t0@|M$!1xZYBIKB;BS*hY4a zxYP$_p%di-W157Apjk}2nVJeR_1~Xac}cjjGy zlz#jg=`Qy64j0xLrlvdZk4_30o|m(jJ*297E?J}yemF7v!C(K-gBo4@vw!_KnqB(m za`AWm{lm$PQcZlMfB(?-53-i7!N2}5vt0Bs|F0iOMidzT{&M2ip&4e{|Nd&?*JU4B zy?=c*=`XF7|35$E$U*<_ulWD-AvIWshm4tbXkbZXDKsz>wb4->G%PXE;BZG?R0tkXo+09w{|1@|0F;UlH z9KVeQyVSRIo%D7jY9DF z*_yTLD*XHwtO7WG)Sj7o*dWbUIM3hQJqGAk=__vyE(gqZk$ zEP`&t@Jeg7o_Vr6Xp194KI7Q#&OPF$f@P;&3doAygW884nmjr zfedDHS-1RI=}gHtlQ&w)QPtqQW-^3?f?O{pAKT14WtJ-XgiN5qEEtEOrecbu=X1Vr z3b`j(@kF7KR1|u$jjUq}!siK3tmm#>62U?l4Eq&5EBE~Ob^mDP;Tb2f0jRVyGU)A>Jj2-3wFgciE5#PB>%OXhEXWYgOUNzR{gWvv7q1TTop{8aEGmXw6>-1l zfCWfu0KcXe`EBWWT}MI4Y#(0^PO7B!_rdL3nXC{vDdYkHs&6K$B`cgmFMoXzG=1&f zwr6^f{02Ig+VaX(0j>*Oi51y6cq`PKtau!1H9nDR#oOxtk|-h1V1SG^i4gDF|0Moth^KBW} z^w^dehoV43p*;QF@k9twHSX|d4Tj(?aFKfO)WY2iIHqHCo+1wn z*`3FycY1+iI>wJkCv8gCOf~dJDo7Zl&b)IwhKJf86ezRvYuaYYZl0YeSf*&c_D|6U9~EUkW7f6*=GazIe}PjZGTkmK&|c2QX}R|H$TLVp6VS6 zQ{_b#gdUaWGW1L6=YMLOMYtB9|EUA9_=57UhreX!gRq+LZPjNU&z7;_8e;}M2ip(6 F^Eb;I)~o;k literal 0 HcmV?d00001 diff --git a/semyanovra/docs/maze_experiment.csv b/semyanovra/docs/maze_experiment.csv new file mode 100644 index 0000000..87de814 --- /dev/null +++ b/semyanovra/docs/maze_experiment.csv @@ -0,0 +1,16 @@ +maze,strategy,time_ms,visited_cells,path_length +Small 10x6,BFS,0.031851000433865316,24.0,11.0 +Small 10x6,DFS,0.01671833342697937,17.0,11.0 +Small 10x6,AStar,0.06431333319293724,24.0,11.0 +Medium 10x10,BFS,0.04361866679876888,42.0,16.0 +Medium 10x10,DFS,0.024233000052239124,26.0,16.0 +Medium 10x10,AStar,0.06044533317132542,30.0,16.0 +Large 20x20,BFS,0.24542399993758104,211.0,36.0 +Large 20x20,DFS,0.2113953335841264,170.0,100.0 +Large 20x20,AStar,0.2638656663596824,103.0,36.0 +Empty 15x15,BFS,0.19875599991792114,169.0,25.0 +Empty 15x15,DFS,0.12158433310105465,169.0,97.0 +Empty 15x15,AStar,0.4113716665112103,169.0,25.0 +No exit 10x10,BFS,0.0542050001968164,45.0,18.0 +No exit 10x10,DFS,0.029572332702324882,28.0,18.0 +No exit 10x10,AStar,0.08293900009448407,35.0,18.0