From 45cb0904ce3a8ae420ef7b847763419412a18bcd Mon Sep 17 00:00:00 2001 From: Dpbm Date: Wed, 17 Apr 2024 14:43:44 -0300 Subject: [PATCH] added readme --- test.ipynb => example.ipynb | 9 ++++----- example.png | Bin 0 -> 24552 bytes readme.md | 31 +++++++++++++++++++++++++++++++ 3 files changed, 35 insertions(+), 5 deletions(-) rename test.ipynb => example.ipynb (99%) create mode 100644 example.png create mode 100644 readme.md diff --git a/test.ipynb b/example.ipynb similarity index 99% rename from test.ipynb rename to example.ipynb index 4e6810b..99c995d 100644 --- a/test.ipynb +++ b/example.ipynb @@ -2,7 +2,7 @@ "cells": [ { "cell_type": "code", - "execution_count": 1, + "execution_count": 14, "id": "661cc049-99a3-4ee8-bb09-d32c285f2560", "metadata": {}, "outputs": [], @@ -10,7 +10,6 @@ "%matplotlib inline\n", "from qiskit_aer import AerSimulator\n", "import matplotlib.pyplot as plt\n", - "\n", "from transcode import create_circuit, measure_cg, decode_cg, decode_au, measure_au" ] }, @@ -26,7 +25,7 @@ }, { "cell_type": "code", - "execution_count": 9, + "execution_count": 16, "id": "516b75b0-4405-498e-9b10-125f2af3396e", "metadata": {}, "outputs": [ @@ -37,14 +36,14 @@ "
" ] }, - "execution_count": 9, + "execution_count": 16, "metadata": {}, "output_type": "execute_result" } ], "source": [ "qc, qreg, meas = create_circuit('AUCG')\n", - "qc.draw('mpl')" + "qc.draw('mpl', filename=\"example.png\")" ] }, { diff --git a/example.png b/example.png new file mode 100644 index 0000000000000000000000000000000000000000..688500c44d94e63e0b308a59f9c1381c71283ece GIT binary patch literal 24552 zcmeFZcU072maba}f)WKJCq)DW0VRt>ML-aVf@BmB$x(7f1VliRC`isZNzOg>`!Gu=HsbNkH9Irpx+&L1q-g0kwX-O!ZQ|#xjG4b)IorD>P7(#5HcO9(vQ|s7@%xxXe`d&JB#^2w6J}>RFJ%)sYMDHQx zKK#Q~U(dqG7>0o@LQEWre{(&+-`~K~OI|{P2@~Iyk&%%~Z-SJVxDA0B@9!^-{r|uJ zqG!1Rk3|ESshqAc@>()k{K*qa#KijK7lrITb_?6Vf~V{jKGLi@lmFCH__^ut&!oT_ zNh$37xm?b`^rH8rbNw9N{u#XL&*8&ylQcWoP^PZeoEwRd35aRfc|G zJWOP$1pIN3TIkEL;b**VW^?cGs=$(t1iqGTF*?m-`~unEQ|ag{FTvz>H?jWR<$F!$ zjGA9y9fXOcDm@*oeA&<8lQA@y`gf}UJ$Do50(Hy$;Fo>>E7^H>wa$b9qz4!B@(uY)gZ(tB%l%E@RYsKH;?s z4)2JIy=3=w{m{}itl(pF0=vk^{T!XoZ^28L6s}!7cm6zaSzD2NbS>==3ke1SH}wo% zrM>s~;3?(y@J}l{2l2gD$t1fTyHAG$%xr2VRp-L;)sKb8O*o^f>Wjwgc%u4%51usu58VpMR>-x6OZ}0s8=u| zo8bv1+2`IoNGs3XwJ&>iwKNDe3X_*=_I(KnEZ8dveMPbr>Rjdv_Og6R z!*B8GZsN^@)`kX*v9U2q?&tXLZ>W32uRmw3%+J4Qn{#n-37j)WmgYY2;Ea9b*WiOg zbG*#1S;~`1z^KW5?hF?b)xJ+D>#ywf`*gos%#nyF$%1BZxS!r1t_mX_AHIG5RPRMyD8KC&9;2Mqf* zb6s>dbgIi6mgc%*!$+`r<7)zOg_%RV#^+Dx2SqPr1?O4KCrBCwU`LPKy?7iKoHHF| z<>n#u+39{iM^uLTa&K^fgDOVG$M4nb{bLzr^8X7{Fq%rr6)fr5b)ru4|w0b(p-|g!uX>fTImuIzU=i6GNO}yXq z;;rKzr}V+>%}1O^BxJtT-49AAEW!96TRSGuT6f!t2BS#}X>*WLE z!!xAnDs>ga>omymd6!m-94V&;y0^}jWyD>PFbFvrNQ~q+ER>tC2LQ=-XtNb?a z$Q;hsR_@G|Z=J!{&O_SsVzTcxaB=KTKa;wAUO&xJ}3+}O2e7yL{V z6fV%x(RI?V&CMAV=sq@d4w^so8ZFe9dgbejfq3)g%>`0Y{mqe2pJ+#_)%imnn@lj= zw!yk%zl=Z#2ntU55Q%suCtq>iTV<#JQeP$%pC~?0dK&|wV0D0vKBi{M); zaJtv;g>bxLu1a8UkD&9t>s4PbhJ}r7V?3&=nwu*&IYT2*!9<-N<#smVx%o-xS|^wD zaS5GNsQUzy^Fw+c&+}KB2Bd04X<)ej7&CEL?_&#=;Y+9GhcIJv?GV&F1dFAvui(|(uc3F!uST89IIZ9_xgN6E2rTO`s zhr26mnJdHfA^!ds@_BZbhcIIw8EtEwaN?aD?r_hC@n01b)DY@MB9VF#?se`bP3G9O zhC|u0-Sb1vd93`W+TyJEwLNGK}8RC%3Un98Yy8?rzk7;N{eB+N?{s zvBWn;;nAaNSn7iBir4n_tC)^XT>1Eu2?}!ZXQP#s*O|9wJAIUlk42?UN=-4x$Hy7& z`4OH)7#JB{;o#_+Kai{O&{b0Mz8| zSv>WwHYPT;d%YsR;%eX0;K*YlT>bp&IeYil270wy(dSsDh%1AN&MHh<9JlKB&2@GO z6f5;jhW-2Z?|=t#XwwuhXnp&vdBzKCIx^Yg3}e{i_u7rtX$qVX_RkW4xK(aeuZRjb*W+zY4k z&9vKxKc5F5QHyonbKr76%#|}KCWFV(L-bf)UVi_G=21{qMuwP-46exOzCJ$XO+?-4 zAsgZn56{J;y)}MhXWsa3g18SpHa;);esgnkx${m|`S@T&_29QQ>R&vvzvwx zCC=OP7)C}$*72i<@27t$^5_59-+cJ zN4m@^eT-x4NXuu@Iwfgot%cY1b$@x|tv&H~zeaKK;s?5BQ%lQ`LjBff{W zrT?V5an?QI}&V+IeS{AV|S@g^MZh?OU_s1W6Uu{u4J?2c{2v zbZNGRjN(hmgGvn+y2aXe?@152OK)yC{3t58try+w?k@Xz*60!o3yz402)SjH_96MZ z`1p|RZ98jJ083oGEN2bV>Brl)%q>AQEcQWas;bYvye7c@IhImt&bn^8GE(t#LO648 z?X38PsKc`+?&6E%+4=d`uk3WRw_hM8_VV^VgHOYUAH}IFsi;T{`($G(kTa>Wk{Wix z>=#Ew#7Kr_#rGODqwv<5xCi7E*E3I&JvfLJ-KrbQJP+0OAOyHSkf%*U>##D+D|9%Y zJVjEuG?3rg=!-`)vc}(68Xg|r(|7cmkPg?w!^6P9U}CB{Q2N0GVus)=FCS>17&}^6 zSUAqbIy|JuqwH$#?&$cEt6BEFqIkpeaLoe+&kMi2qT=b=SWWp{oC~7YPSfr5U{3ns zLkU+`p)vO(^EP=@mF7%bCBC*HSp?zkI^9$ER7u99vv-5sMWo2bO1vnZz$``-g{b zx@-7%S%ic}5(sS74m8Uw&LSShi)iB?X~?81EiVj~Su(tN^Xueu8LQlFi_>TX!U}Ku zi*T~sUeN_&-n04Z?Dd1Jj%oN*Tv(HnlLA%~2+!!7u1mRP8Y8>E+QK*5SmF^G3;iK) z-ZUO;%@Mp`;(dAA9?1rgsB!6P%O_Efv3W$@9f#G4vT>8N7NO(yFOuDE^ND^53fC0W z)dTcfgC`4H=}i^c#pKq!QW=(&)wN#x=gKSc(=D!T^mjmcuQ43pWOX11 zPBtTc83>erq$m0@Ht(@v&XKDc$l!5IEY=yNCYw`Q_N@60d0Ef<;YIH6Bv+{_{CBxg z+X}KTI=eliqSUfKchr|5PO`18%O|Rq^1rYgv2i9Q^C_kW)KSQJ=R@q}+k9P2A9E4QqtB+SODsk|@g?X8Yt`%FBH%@!rFT%TwV za6A0`YvEFU&2F@S(YVUQ(jM)H%2uLYA?a&(?o>4k6F3Aa%kno24Umqq1UCxr?KOw9 zh=^|v)J@FhpTAb?j7Qd-svt1<1zwC9;LeyvW#pRaN7%_iVD!_c`)Cm!JFQueQPJiszjR+Ew;cBSie<`-O#tgSBo| z<#o_~pyw^77lFA}(4%yL0yT_ERo9nCOk;?|<$s4gVvhm6GkM`Rwd$ z>xCazM;yl8FmC#e2)`0&uA(>*Jt!Y)Y$HLA2oOTKf!0*vU({w6wK@N*}AL7C(FJM@aX!mec5Qs)p9VCJXwXyG`;x!DQu$|&A;w1?rip2U zgV}vGE)G5w%kXS&Axk6baquZ7Gy5`?S$vM>Qd3hMw>tToPbzHZk{s5?!iERtR#$@| zxbZ(~S)D#QI0!(ZcgB$FN{!3Obb$X?8(5j>y(}BW5pX1T-W7puJLhqFV6?$H@C13- zF%!MDKOMsVAseF1Mwhi3me=`kl|pj+Bc*a@VZ0TV!R5=BpXIl%)uAjt2OS@~TI0rM z4&efN;=(^Bx3aPlb8@3z68-4Ideh)7S=rc{ zx3I)7q$8-0D#|R!C0m2(VpPg%;dD?mTl$`Ok6_H<m(D#Yeoo*Sz3^srb=6#(o;dWz&GpQ_ z&X3$Ur>CdaSXu8%NW9v=;e{--yu!sr(i+0x=i`IpkajnWj?y`-j(9yv_lb?A>(AF6pBKcG=%1aOe7Zv79}U33{Mpxcm&>gt z}+@p3!bz0A!`3Ku94BOdY_PdtgQNIt2OU@Y!6;U%OOda=S~VEn6H8mn&Ke@MTU zZkIp8;8&^Q{n7w7P`s_yFcokm$vTPI-4 zwAOG?7ESq*?Af;l&t9Wjwmy2snztgrS}QU&`ce9bgAhWo+$XUs6KM2t{<8-A?6;3T zw{2(ri9RKjCMvK_j%9P>hW%(B_;kmmp)DB`H_YNmAs4a{&85!6#Kc=Rq`pMHH=PhJ zP`i`3Zlhi9f{lYf;O^97y>qH=M1OK8cR3q^63e|+WE6oo8|CE7Nronh!@MC0i21B+ z#Sfnp_cWyWU)bO&#_5_hx0~Vp`E&OKA|hojK|}d+?d(`~aRZqsZ!nrpu0%^&sa@3R zy6GslGL4byBTPH`N$%7A9W*G)7*!G+{E~Yle68F}Kw$0pH+4s%<$xo#?h+-#QorPF zKuJoOD*YVd_CS{gX>aB>ELmIT+#8`;%25bic?P`mL4s;1nGdlG^1(S-!QvB@YIngUYb#g-$*Fta~m4X zX?3Z@{S~ys^*!@wl>^Y*SCf6J0`tFoEE+ui9?s^k2fv4dex85BYkv<1f|^3B$-5l6 zvV5>K07^YdzxVJV{E9}fiig@x%34i2W=S8Qui4KK?4(#2A3uIXXMJccFQq!-a)gP%iY4?_&jJiG%muYKj_hd(HAL+pb z&;YpvO||>#$n7?Bh`0T^-S!$SABrOCcNiWeEvvd;F?x3$QgITjhD%tw?gxg|>y3Dl zA(~b8>^g2ckF7;nS=-Gf1}uSt&^S3c!4}+yC}F)uI!|@(>boZw7g-VD_vrr zDbe{X-TqZgF|JtWXCVp?20MBrgO82}Hf}1(0fmyakV$N0_Gfb#q0FO4EwOhTnock< zu_=WgB`WBRRXgpkl#Q>?MCqPE z3DTDDNJH5j9XlAq*RJLa2XCRqjO}`2agtD8p6gHj4?1w9QIjb>TMUEc2#gSXsc+wi zLTg3Gp7A27$G!j}%YFg)*E*C?dC||#oZmy=9HO1eaH;R^@{SMuv&53#Hz$mO zJT!fBe2l-Fo%N8DN?o)7n4^C|!A*o1q{DEqKa7hB5BG`TU&`B0!9ESWB2@tSKLQOS zMfN8!flZ>Lys2CG$NjeBQ*&r=jS#bUWwakbIUMhlMODs}6cmmwsVo?_w>!D`8b@XX{$LJCS(0PtEZ8>Ha$G0gGCK zuAjdyGM?sgCanGnAnv#VGw4*Mzh6`*7Ow2M-~0nxYP=H-0mscPvhL{Wii>+SxQmH- zrT}zvfwW=DbXIa{$wS@B#^!Fkh#PgTT>8(ar^g3Vr)>Gv-t@xG2*lxD{!vxW z)!4yrW%GasSUoKD;lnHAF^1dwrgwrFPwF3Re-OgPAeHpb4{`S3Q=!u)F4Mzo#}kMR zfqKGW1MAiG5V||e7DtDNNtWZaVZ(U@$8aufP;|!$yCnQvcpI0EGECI1bH~=+Op}n3 z3Y>FtaiMwpV{ITmz8pQ^6V&OeaynE$MMnRJIzwgIj4a8Gl5eV6GGi*NWI$D4L(xY( zRY|>ycBuTb1*gp;ZES=c75_PR{f94CEIoI38MKdJP?Wc*N15N&_t8mNO}8qWtJ_oo z_I(HR;n&Pez){dybX}%DH=D*<&~i-ZT4W2#w%4+XZ~f%tJ5t(-&Qm}0ArJ?L)9y?3m1f7AYd z0kZbgy}|y5;|^;x?cqo7kr6FKy+84l^%fdSX%i$w#V{>XwGkF4Y1pT4$k^URMxI4L zHLqcLsF+}EfatirT?X=NzG3DEbKJjl25{Oqv(@t790kd>$;!%pkz#OTTFuue zk@-ZRkS!HLZ)I;!zBiO>seXtVUY_;jD6!Av*2_f|;H{CeOBxLy_e$^XPnXUB>Ep8< z8GwtTGJNBwrMXf}E|hx#w$1>^D)w<+h8*60`N_9vUc8^_^87=QmN_ejYV!>Z4d(!8 zDk+gDDJzG*d*>3_Ml9M1`lP;MPb@0`mbCJ5>em9R zh1$ia(zb51tUm;^v(E486UGEy>YxVPkM9+b9Y$;bSo9u>PrXc84Za_8UEefsvvrpu zJ}EulzFM}V^ra8w$GM@M##)(b-HT3?>h*R>*0%y{?i!owIoxgQ?AEtS8Z{_qw` zSZ6XS+6RdK9g;~1H7qVCGhqBoIHzj5ZiY9f>ezqH&1t%dUn*(DKy?osZ?@X>WII^C zcqL;Rby*z<-82qwQc=@_-|7f6xi>&3v zL|J72G5)V#zv^3CTc=jI*4ZyX)UdFyFm*~QFXZ(*?}cihTE0#*fK$lJePIcj4Hlpi z$9+g_V|wlNz3Ob|9^KHcRB@GGJaG}f(3I-#6|MX3aBp$Rv|ZZG_bvvILo}p>;(;%e z(qk-Zjdy8pvvFoF zOA8VX7b8v-c6WFAsCUIW^~wNlzS-N$&dMsVo|bGg-&-56Yd{Dl%;E|%GTt4@r>joy zGYO4QDcg+BWII0mx&9_FaB^vhO=NFuFn)dA%7^cp_6%}p=;O(qu*6T}9LbeQY1!W$ z45kB_h>0IGu({&hEX9qxe(yEDxTB*0A*}!cF#zFFK2X@_}sA|gnfPes?x;zI7beVe-Um6=H78U|v zPdBx;PWR_(V$a#HjnT!$#SwH>xt|EC=IgMp6444MY_dMPe*OBC^!_d%uY9J8hU<6P z3VmeIhr0C*4yXj1xaFsBsibj2FVn(o-q*-Td`dfaE@=}pf6XX&8;B(BMGi}GJ+gdA@^iWgyb68vhK zU&GurWNGPTxn$!}nzczFS`tR z6Y*XX zP69B(_L+fN9uR)WH7NNlKBWwsE{ML&huT6Ehjyde-snII-&dZ*ENTde?$$-c)qB>- zzfP{gJFGj#f}dAywifgvel()CFK;oL_^a)+8(0i!+HOnrE!hdW?u|MC7A?ZAh0{f< z8?b(2b+wl3KSqA7%SD=XFSU*h_-pBIQLv01<1dKDHO6k6sl0!opsjdb&f;>>G%31j zUohu2u<`S=VR?A8;Y!$=47@q_^KbQUskjGY?(+q}7{H5`>eZ{l@IP_a%{QStajZF`LL$H(GkZL8(<~_h7^l-uAWHfhg*j zyS;s}-!N~y^wg$eR_JtpnqYQu09CXOX~87y5x5k$iw)YsnEP_&Q6eIMLo!a#b0#1l zKxr4l-v{8Y0AwqHr7H^y#s#wu${rTVCvXOn8~Xt+pg>~?P^GB>!~?=&F<#5QNwx<~q#*7&>trogC358{a52TIRJ#H{%{>-2-9d--vu zsqJP&QVW2pQj{_Q?JUo;Wq80vkgd%AwuD@Z3;J2i+X*(cw7da~^cwwa{!X^IP7k8DV2dtCKI8C`ju#Z=pE89u zxD{H-MbRS0fQz_iKaFVTXk&-=t#j)k{~~NdgS6knfpXXH;h+_9eP9zC01w060KOuw24GYpC>OWWyU|xY8bwMfw&|M6aeZ~SjlL?)(VNVkSf%E~>xihS9I&!ont0v}W@qO<; zUE#_I`l}}ke=Oj2e2sqQadN|0EDjXFD9zu-dkL2AQ|U$h)|9S;Fi`pogovO%^G8qM zZ$1ga64;+GCyK>|e*}sDsx3tiQV**4l%noJQToO7cZs}89brguX>H^&Y(p%5{jO5$mktbQVp(#BkgnHi4OE8RUGujM zZ~WMetq-ls^~x)1A5I;*fqselsQk~UD@PKH2oRVh+#7fVqA0*3F4V!R9P_7x(h(fd z!OEy%gBclfinZThR^i$O5)y9+emQcHxDbY9u>MTSdKlPFLV!z>KfOmVKAk={=9};n z1L1A->dTnAA^N}m#;OXLDubT`)S}GU_a1U_h3JUQ6?hdW-)?lV;xuU1`E0L_KGdOB zl1IioezB}?Y*jUIn3>HGC{I+^)ZBXhjq-+i z5f;D2$O}bePft%+_ulRPs2UI{lI7EE=Lz<;##!562r4O_Fpv-&*ZbG0; z|A2`>T7~9rb8l4t`?wpQ>uME+yZ#{tA`fLnVpz6GbKB?Pke3!(a-7cBq@5BWCXi1(?mdvq8=79D>Z1r**1|PPJ=n_jU|5bTtk$uI~8a3x_8fX zf1Y+Aq%V(0pj6I9v%iCch+0xdhaSo(?)#HCLOZ?6&rN@#if&p>)HBPmY1F#j2CW80 z?^~6;l`ew`($G|)YQxaBJrY&()&q|TL_a4ufEy%9X0zW(F6y9Am`_Xj-f_Wy)$# z$=sDIx0IEY3!isVTYL0nJ)W`$U6GBA4O7{DiC)^1S;=}!GmqpoI^6>LnX?Wz7i-k5 zHkZFooX{(`FiwO{mX~g2aCyWi+_QCZccF?EHdfT=Ekw$J4# znlKtlT8T+XcWunk%giOG7RCTY5==y#>*fOqNy)~B265MTwF3!*^Zy-usYPb=H(z4N z0U439D67g!V!y&K-cpgK789|Yina;we@^dNHx>T11dbr zgN2xgiTQbdB9VPWaB%SaXjPdbKAiJ6a{nvvXmmEMa%+d|;zi2k|CA;#{?}cQ2i?4R z0jPd&15d_s6)0w3=Dn?<; zzH={-Ie!c)i~wY9ZS6d=EFX>BL?M$qZU+4f{ru?@%Sw^|NOmXE=KI&;KdtT>_E=}5 z;&S0@i&V+2P^crW+qcbd6T11lvxBnmnDbgkWzc@J?&rrJSLiXv?{aZ*y^D%sS%oUF zudnZuvOJ47ZPiX&2`bd6ZpAuK0PgMWwL&P4fdJjDe_$ZDv%B)zcvM7$UQbdbaWRxO zeXCqXZQdVx#YaT+&hKL|CcXbE>_){;7>AA6CnWOH&Da>v&#Vfb1Uapp+rCIf^$74g zVOHFsNZmltSRJbMcplVqva&WtTvvVvm<8Ekpm4uX(#ys3V<7!uR*<)9ev422#U_<=xWKQxn34a5d z#Q$)av+J#oYXgj(`=X=iTTR$q=$ED&?~o@kw4XhD_BqbZAQGt$>-qz)DS4WFyhRb) z_!Hz#{&ycAA7WbCw<#%1DQRhpmoH=ZU=xsx%S%gNh{AZx8W}WZ@}xk|Yrn(nAL{1% zpG*Miqyq*m26aVHg!q9X1~R|x)lnK!mPbu!UK>nzC)zwY(@rq9L8_s7VpxX0)jL66o!-`+h{nV{mfj zOWG#h25|gikoxct;x{;NZkiACJU}VZEQQ4jIdQ4xX`N4)Wd%XxjwKEh-l?=c4mfPj zE4qTl0fD%4=Z?>P`$dp@#i!KE%gWvhp%=#Qrw4UqE1(f85U78;ZHrCAXI2l%62YQH zCa4qa7JJ*CtzdX+OnRc`Ox+LkE9U#E_<8Q8mUO(k!Npay;X|#cuD-W-a=4U#mB8Kn zn^C-5{}kVFSgI)IbtKVc!=uY>t>X_m8fQI?$&U`$d!pmLKs5{%qbJqc_6wR~pwEZ& zr1^v;&hZRq&34$n5!Bhy>E|G?4#+GBX!s}}x`YpxX4dDI0C)1)OBt)9z!KM5q{uip zo9U5XE0TF-$8>=F1CKF@{pv_SW8>Y6lSeLJS z+%n6Yg@q+Kdyjxl@FHj-zJC2$5BF(kSQw)St<+*zCBUDNk&*STJ8K_=$ZviMjE{=) z0|8p1?OYc@@Ye2b3z`4~d!kS9lb zmNz{KGb$k7CBD2mKsfdjEsv8S(dB>XtLs6nV{LuQ)y=JWZj9!Ll%C$=`|HeXS0bVi z?5Fvh5copkhx6Sk%|~mrB97g{WyJKbBcV`#HN~(*Moz-u2>pOsR2#SrL8O6}?08{< zkO971v!-QD-&83YY|4uqV2R0w2F=+%z`r-VNxu$bBjvAF0bkIy5O}v(SJxnL=qXM8mY836PF}wZ6Ya!tJF>U-*jen8i$2P%+eOWE zM8yaV+-7FRHto;BKtPb*G@ECyq5M=ykWl1^qrC`EFWp80RVUxlgt<07BujH^Ws2fM zfx~S`9qt($`6Wff>~Ac1h=*&wSSbp~pqu_*q+SKZ#iZle4EsCjlVDiV8!5LAGs#ay z_0}vdngGu^58x_3#THbtx8S6Og*zQ8MSrX6bAi@O6U(!?jHn*dVN^XT@#uS@JimaG z9q6{ck8!lD;ANt#F$4B=J_?2v8$=Rz4$mga-c=Y{b^^7zfT@=LbFyl!_6vXyxl(pR z0@o6aAi%}T!zFl+A3w&%++Exg0%4=NmH^r!#o)f52=cK$k8i7Rh%lXX2jbll!Vm)W zBs6D7%b*$fP3}gf(LSIdx@0_!0XjGrU|}97OS%}n4>M;-x4!ll$kzEr3+m;o0(c}y z%ciR0AM6D!T-A>0OE}~8f?dI>H0HV`XYB#00y^SL+1;tAs!E2S1J>Np{_Weh9iiSH z`u_dvTDPMqKL&R(An4J@#R0?7m(ERH(maX05@2=~v+gWN)2tViMlWWiVTmAoDz*TH z6*tJ(?jYY+E-yprX-qHA9fGX2nmu}p(aN(4v*Mz%?{63@jUH~VP5%jv;FOVq>JMn> zz2e;uGyBrwFA#@b_N~v)>cy6kmEBnXLNvX(JVe#~9D)AQ_5w2T8jsD)avFwDr&~k#ot97b zpvq?K0ogYd0JX=5fh5K})Gv6_qTFj>-D^fj^qK+x1(nr%$-K7`>wzI3glGSxUlufv z4PpS+Wq~lf_4-3QHLzL=IIbtaJ)638G&RYaz@k;@IK5reIkn_7_TkOqrpzbZE%q-u zXMU&grXO25#1`~IkQB<+=B_*%~mtFtO~u zXI-Cef8aKH6wYw*KKnE^XvF#+U8~ljSdDAI0AR^;{|DMBDSZaYJ~$fIS~AE@{8d~8 zw%0f;e}q_rq0XdiGg{?kG9cuACLudd@~MsFsOja=1hAtxxfhbL6|NPubiDm#g100D2NdF9<}6iuTjEAH2NduP!hhR0(d@6O=@K*ZYqaYW zt!_9G8!Rv{P}H4{`=Z#i$ju#WlKe+^WPIoepnil(4ai71i1X##qnehx2#SGvl7 z=a4=RyAJBg#MIQdL6Z6_HvZ9XeRjbG`~yu>yfTLV?bGwVl#o>Z4XpqKWC^BLfRDqJ zqL?quHn>5i83yJVd`%ytCsl9lCx=qxtZW=$?*7Hz3sesM_5UEGYZocG4E)h^^gn&B zIhti%zY8&76aHH#H+r1tlXPRc)fNpdf6ubw)2E5QSIR%~H=`HJe-~N{#R6pp$bqN$ z)cgN=#`c@HM#}ig#ZdC)rfMjAWpU+}>w(qZ*VNybEioKNoI7fZ-EgW7zSYxkTKc10WB;GYCX6a^GvWn?LaQD&eFU zu!CD@4brJQF8#;7p%A!2Rr?AbA9=@n_Iuzq6oIJhd0CC=0LOzlkT+iu71bTdcgrhN z(RJN8OF}||uX6|LbK%36iVVFkT>^D5DAv$?cjoIG7fTO>XTs0Kb(zEG2Y|cAj?hMP2%sr`gwDuY3j=jTDLBN?}y zV^4gp@Z{F~j!}XFYpBO%vex8&^$Hne3y0f3)}~?WV*f>yCT($tl~rcs{g2#y58v^K z)#Kh?l^peA$r0TWlgRSe$VgvE&)UotJGP^DMW;%WWAG~FD4#Z)_}^FpKkxc+Uq1Th zrtpER(8iJpzQ4 z@x-s8#D=54(vqdDg;=gAA$k8DlWW`8|G?y$d;dQ)xmwcHpvo%;9;;me4Hd$3{DZsI z!jySuk^hZZ5W^9JTrBA%t})81`{`c!!T!n5wafE%APj#xayT$C+*#J(6#eOLQ{B$l z-dLeq&zw>kTv#m~@O5`7UfAGXsCzOzF<(Umn033VQ|{&565F+FHwTH%oqN}7Z>}dF zC#3G$sRckY>MW$FU~5h98HSP|++Likb(`&M^F7Hphy)K*rR6Z_-qH({lfb`>@XXPt zuwG5JG}TdK?b-Tht(x;t2V(s*n3zy2{F?ewQ@y10jBk|X#ILXypLBM~Jfll?q-yy) z<~IiHY40C;h0ot|dMjRblCfuWudj#98jp{%hVBwSZ1EpNs@J_dmIrTHBL@a30DXc8 z(tH9gXa73Kf6CnIzO>~rF9H}1fw(?Sd-wFfwEX1gB|iqgtiI14)vbb>E@?mj!9I>(@TDg0tlJVv<9$3I$*>{2`T0+u?i+lmjG}ZX0>_Eb)z#4>_%NU2z9vvO&gS-Uc2|x#q4=Uk0Fy+b0 z$P~QjVYK#G_>pSmkgqu^Bf1_Q7Di1cD#osijMcSH#~(nI<2b!Mx{UDDOki-8ie_ND zYq0dFrdWN1{^HKt9(|q)Uw_@>+r1+6l*O}#Z=ak}L>P`r9#3%&XMM8=iQV55x)?kJ z<*jE}V~*1V56r8os;=C;sW1}tBX_*_cM4ZjRD?jl4e~+QrL^Jb&`TGP34{fb$dp;@ zO`CgBI3}ktscsHhpI$q>Y$e{fl}KAHlgNYsZl4_ZS32F$Kl+Vqf-@yT0<~j~_qQd!!fwe%tenFnbqaHGYbXZFaL?DvOJg ze~oqwqk^)>X-RYkX2~vJNt;Clu98YM=&Tq7Z5rH%kaV#(^Ml|^)~NmxZ|*g7-}P4W z4)J_Z^V#xzj9wu-mg)5I;S@g2249C85~2}!xVYa47YobETESh77AJ%MZ`44owy<P^s)vBO;I(Lo%+mF!1&c&4}&)v4XbFsagpMd zG#Yk}JN`!p<`` zBXD#36H|QPGmlO|Wdyx!gY$t3)W}#0wvqV^`-f$ipbp2+`?hq)dHY)J!7L4Q^N5XY zV7#*fo<>gxeb!_~Q<(!1%jSu-q8LsYRsHu{h5+QnV zagIfGw>lU!m0C}|<_F8}ASem8-p0H8?AqT_p&R|~GK^_XyOkI^P$X#GMbpD+5)aYljjd*yEv> z=f9Vb%2-&<+$*9(v(M(QC}i5mANHB6_FWq~pZxFTjFKU-kh=K{z%dT37lNRXidL09 z0jM?aLk$QMMFb5lupZ@obkTLZiup*#!U|FwtC1C1-k)0+Wv)64a}%D=E-f>Tl`yyi z8$W@eeQaz@@(X&|{`OlARFwM;SLjDSp9fs_8u9<_C*GB~ZzcdlbkUT2m1QJB=opM<<~YXfw4i zU9G!M+(OA5GRauEBEml5>V{p>!rRSs)}^77r-bJ|co0G%!Q9u6VxH7Bw{5HVUaxhkj6l2K4xxqkgT>ZlGC z2y6i}!|78&>a|FjKqBYs4mV0(xTHZ7kA#kLafGMoosg-ovM4^6>h=zT?oXo#aDF+< zxg^M)8UJm!<;Xp?y>a#5;fw#`8!oq!Ehy;u%_BS5d4P(kg`03ZV_-qz*lJjbqbBJng{jRM1zm@;kI$xPjMZW6<+HufR#{7 zxvAj?akXl$hVOY&X6eHUhpISvUvXngoP_6Iu`MsQ0=r>xJ8GIik255^+oXhI% zHqkwc0nr3)q0{#8#%dMxG`gCMbnJ#^OedTs-u4*>pwQivhRp;c~ zfIe1COib{QFIKb@iuadeyo;i0s-k0?{xxklcz8Uh{TNY$`5mDMN4ZtNG-Vjj% zOQ-r^HfHJ+R0cg&4wesAmTVmy_@C%yRG2Of5cVUh9P*o^zLfB`q6#s3+~qGr&zfIX zQ+O6e^z)CUg!Ue3sIoo2rVA!sA2ZXaZ04e?;EK)2$>EuAvG~sk>)dTIby2cDr#|kW zd9x9asXGf<1b$^_jLA@uA*_Ut_mR8X+dNOUsxn2(GTo0iTFJ{4kHkn25dPf@L|$P` zdJVK9SH@$KK_7~E0wvIgg$4+qxgt4n=rXutA8S`T62ocM0xnv7)h*BpH^T0?3D$IL z;-ve5rnG>e?*%~VFagW&vtxQQ5)H6YDqeR6%clPeb*j#Ww@}X&_GBHu9s4@Lh#R@;TDnkVXKgvc|q59 zt#4@JO+0n$Z^>fkm2x&*P9w_dwA~F)Ac;VlRI}Q5|Fl~BzxLSw7JKZ!$nJ<0m!AF6 zy8R#SpJ?#<(m9CbzOdZH_SWH<3&iSg{~}r}!2!O7Hna#jtiAG>3yNN5}!+_WODgTIc_<>Rpt&=Ddph?SAC2p?OdhvC~x`wdW6 z4haVTz3UqU$Y|^MZymA(xt;J8ygKb_ZcXU1cKEJ);=u&xQ zYO-gZZr*aG$lo6U8pyBD^3uldYDhvir~HI-ySw(Pc_3OQ#HqEc4(JG9O-*fku@BGV@MnAhn4j9rV})JFA+r+!a`_$Zt@6rB z5M^PYdl0~z>OglexVoh+h!CJveXCyl{3-NBSzllG1l1QbB|y)TVzT5@xKHvSz+SzfH%^^e~zT)GkcP}(tCQa z6_2_BV%g%A$cTt@;Vkm+M`q#Cq?}Bb>9-kEHHwaDa-LSackdX!N(_@C-*L5pBOP7EthtHzluMC9-qaMyJY)Skyad;sJ`7bq$H!BGk3-m?%_ zwZJU|-BT?_%Dt{Dr$NUXcWCag!7*7j=8U&idz4qc26`g&%b|@Jge;JA`-g=1Jxc!q zM&es0z1KboIgy|f45X~QJPx{R93wP-s&U@&_VdG8US3A0*4##26HtCfctQ)Hq=W3zIm)zU1@t*^SPy4|t3K zC#5&cl*q}pGP;(B-P+vLqzA?FYiw+oh#aj75*RQCWKHN7fMKh1Vjt|sXTzE0NJ3DH z+4(nNv0;m%P^W9CruZ3nQqU-C0^R5YN=gmZP?Z00OCLL!0UR1=6$&6O{q42wvbqz3 z5aC_QQ)mx@1Gm0p2v}wsV5c@CDM4ajzV3kVMEB{U7otSy85#M3t%er89HCbbHEj%t zRxImI$RTw2aN9PmCmyLKC@%I<(zJ(9?m=(&SvxCL z&1!AJVN~54~rea3Y8&ND-)!7o;C}Nh{Ovh-prkWg68l4 z=Gq?9b_8-w#!;DlZ8184U|-mR`2&+kW1ujY=(l9ElN3Ne=MX1_h4IUpyN?gUzf$Oz z{t>uA-?cJ4x`9c|oX2u_GxMfYM{}<4LAb^Q0F4c;@n16-4DA012k7zl+=vKKpyqY@ z&+IP0$~9TY+OupSar>RqX{OMI6Ly~4KQR%Cd1 zhsGDj4-su-rdjso{<{R8>hWhVY#bdg0Mc5F8E0Llk;XJ=sU)`!n5Y7wwYvo$L2I>h({ojiHJw{*WT;h}KJz@7DWuN#Rrg_r=j z^ssUf%Q`A5N~6fK!xOP4Y?N5MtV(I@tHRacJz^d^GG-oq>)iSBR79EC7``=bXj4t& zQPtEvn^N=ktM=6&yD4855HGaq@&Vz;BtE*3kdTillx!5|0}#R2o_Omj?JF2gBVR01 z21!E-AVxCHTS#qP(?@eGm7N%p(~P@8YYcj1UPa>~0QgZ?eB}x_0-x2Z6^(3cASo8A z{y3Ug<{HwCm-382F!(H8-H2mNgrv7O{k0Tff_^B#lm*`qO~S#j+xElzR!i2UU9a;z zsK|^5^Wc_Zfm9s)jf^9@hqTXobv{tx#&yb_gNRukn~>}-yaBm202zeYeQqu;?>^Jh zUgG|;ukDfSP0$r_BegkSTzYHv6GXcbXkMEGs-l7Qz8}>F`1$p_ys@;gIMiF z7jRyQaek6@W2_B0`>SCUhRQI0$(71Tt|ypUlsTuDY2biH*jpfEFkunzMZYB>lV%;3HhGQFkQ?JBOONE{T>B-;m-{>>xtE6`N)(aESSvX;9Kw1L_-} zGmcU{JesxZWTrX48n*f({@Fq0&H!Jn+Zcd2z!EvVy)l?%6CS+x*MpV_!c6LT2q!tf z=`2K5;cGRAJKH@;h(SbKa{P|r5YDEk);o(Eh zb=}nS3=*vfX$USi2UHvzj~rRCX6Xga6I{!h(NXqQo;bQ;`GAc`60hkO)74x%1bzMv z68KVHp8N5Z{q@IMUakY>yd~%d07?3hs`gb0PaN=hi0kY36mBfTiEArgUD zjc@w4PCRAaD`R3T?6y5`TY+P2@;6Ghvu8;POTjM@#N5Fi+`w;@WA_d;oLLBM+=77k zuxnDWWNamH6K&T`J7~kJ;uH(;QpW=fcDH|DT)eMs+6sL2NVm8o5}89u&`(bvz_G-6 zan}AZQ@2&kn|t^9JzeK^g2|*paUus`KM>AgDZVw{{fHqjGf>B@ODpLkpt0|lrc?66(=gV9E vam1WWM{fK7DwLh1RsAdD=s#Tk1CvGa%FqN(+(Zi!{LO+l@7PqiG4}M|kk