From 272271f3219dcd6004f731c79bcfaf6b92a39933 Mon Sep 17 00:00:00 2001 From: ninjaduck7 Date: Mon, 31 Aug 2026 15:46:51 +0800 Subject: [PATCH] feat(examples): reproduce QNTK diagnostics from arXiv 2503.01966 --- docs/source/public/reproduce/data.json | 45 ++ .../2025_qntk_diagnostics__result.webp | Bin 0 -> 44688 bytes docs/source/public/reproduce/index.html | 36 +- .../thumbs/2025_qntk_diagnostics__result.webp | Bin 0 -> 19580 bytes .../2025_qntk_diagnostics/main.py | 465 ++++++++++++++++++ .../2025_qntk_diagnostics/meta.yaml | 30 ++ .../2025_qntk_diagnostics/outputs/result.png | Bin 0 -> 205016 bytes 7 files changed, 566 insertions(+), 10 deletions(-) create mode 100644 docs/source/public/reproduce/figures/2025_qntk_diagnostics__result.webp create mode 100644 docs/source/public/reproduce/thumbs/2025_qntk_diagnostics__result.webp create mode 100644 examples/reproduce_papers/2025_qntk_diagnostics/main.py create mode 100644 examples/reproduce_papers/2025_qntk_diagnostics/meta.yaml create mode 100644 examples/reproduce_papers/2025_qntk_diagnostics/outputs/result.png diff --git a/docs/source/public/reproduce/data.json b/docs/source/public/reproduce/data.json index 6b1921cd..0768811b 100644 --- a/docs/source/public/reproduce/data.json +++ b/docs/source/public/reproduce/data.json @@ -229,6 +229,51 @@ "artifacts": [], "code_url": "https://github.com/tensorcircuit/tensorcircuit-ng/tree/master/examples/reproduce_papers/2026_finite_temperature_lanczos" }, + { + "slug": "2025_qntk_diagnostics", + "title": "Towards Practical Quantum Neural Network Diagnostics with Neural Tangent Kernels", + "card_title": "Figure 2 ยท QNTK diagnostics", + "summary": "QNTK spectra distinguish trainable low-frequency circuits from expressive high-frequency circuits that overfit TFIM data.", + "description": "Reproduces the visible part of all four Figure 2 panels for the paper's 6-qubit TFIM regression task, four QNN architectures, depths 5 through 30, and three fixed random initializations. The scope is limited to the portion visible on the paper's approximately 620-parameter axis. The VQE targets are digitized from the manuscript's vector dataset figure because the underlying table is not published. The model output is the representative first-qubit transverse-X expectation required by the TFIM target. The paper also omits an explicit feature-to-rotation-angle conversion; this reproduction uses pi times the scaled feature as an explicit reconstruction choice. The script supports comparable JAX and PyTorch runs through TensorCircuit-NG backend transforms.", + "authors": [ + "Francesco Scala", + "Christa Zoufal", + "Dario Gerace", + "Francesco Tacchino" + ], + "contributor": "ninjaduck7", + "year": 2025, + "arxiv_id": "2503.01966", + "url": "https://arxiv.org/abs/2503.01966", + "tags": [ + "quantum-machine-learning", + "variational-algorithm", + "many-body-physics" + ], + "tc_features": [ + "circuit", + "expectation", + "jit", + "vmap", + "autodiff" + ], + "backend": "pytorch", + "hardware": { + "gpu": false, + "min_memory": "4GB" + }, + "figures": [ + { + "target": "Figure 2: QNTK spectrum, conditioning, and generalization diagnostics", + "source": "outputs/result.png", + "figure": "figures/2025_qntk_diagnostics__result.webp", + "thumb": "thumbs/2025_qntk_diagnostics__result.webp", + "script": "main.py" + } + ], + "artifacts": [], + "code_url": "https://github.com/tensorcircuit/tensorcircuit-ng/tree/master/examples/reproduce_papers/2025_qntk_diagnostics" + }, { "slug": "2021_quantum_continual_learning", "title": "Quantum Continual Learning Overcoming Catastrophic Forgetting", diff --git a/docs/source/public/reproduce/figures/2025_qntk_diagnostics__result.webp b/docs/source/public/reproduce/figures/2025_qntk_diagnostics__result.webp new file mode 100644 index 0000000000000000000000000000000000000000..5f4f4c0b1059198011a6f7686a748bdfcf554944 GIT binary patch literal 44688 zcmaI7Q;;t_@GUyFZQHhO+cx*i?6Gazwr$(i9@{p4_xqo7>ztQcHxEfFl|1z7TItkE zw~DlcL_{4BkfykZl7YHa5nusjiUbMLBF17emMr9Z7-&m}w}sYW zyw2n>+>p`3_b*ITT@N81BVwgDaKQ&&nWKIdzw&R!W5_;1+}DpAz`)1QkK8S3qfdY5 zIsozA-_r1+|Ja-SNBDQ|32=`1zV{UWk-yeI>Vp7q2gv@o_r%{BJ_0tspniRS007R9 z{5?SC-dA5^|Ac?rPa44b5%{P7NAuTV$WbVM2T?QsbFVZ1@mHn49?<YrZQ^ z3O@7$06_k!{%pT@Kf!OfUuOWoyCJ&Z3!mTb1pxO4@WmLwc-+6_KjrTSAO_%m*8>1Q z`7!!OcEYm z_>K}V-xVO{aZ(y&V*bXz^U(ZoDu^no+-@V+o{ONTvg5 zRq+s*Mlb^;YU%O9Gj@`3p)N3vW}u4kGBxeTgpN6A8Wu0sa42|tT2?~=n218VA2>Ge z0WZ;&Igbxzp?6OG7GAKNeb@E17@)K5B#MJunCN9tL%Uez%0*-R-3#2;&IJ;N;PFA1esy9hgQ1jVRu;+ z7-9+2a?Y(61O3+&kER`+Oq79havKc2#=$xK8?3HTlrYIVV6X z5>wS!mL#KUXyVX%hs?6@GT7)nW}k$ot4nyDa;q*{TCnj>Jn~I52x)f{kfhrQ*xhoe_gYE z$&eWxb{=AFzG{HLoG+lMN&`>IKcIjIku}R)EVddOV~Tanb%5M!GsCBTMtCmF$`j`< zN$Y^2^hhERH=MD~37Ak)8!U`zp|xa&G*B9nSfN18MZnc3)#Mjv3k&mt=qMKWcQAmg zgow_Qg`<5O_mLH1o##G+y$fO^GaSIqhWc(-o8h3ZIc_X`$bwt22xj@!h{p1M$>-jjWuGta zbH!!d)Mu#9sew0f|B_&G&b^r<_}y=v+|O~6-Xa=+2^vh^Ue+ZGmpc!27U@UNHdGG}7-SU84gP7xigR+7FR4WzygYP2)=mR)N| z4Yeg;bVA0ZVYTXoR9C}(pKvP zNA;S57=XZ3i}hT=sK2|jvw87}GN7`|&wQ!rF!*pD%&r)SREtSOYRDp%*G3kQY~^sy zgH|DN7lcz2s}GYdMW76XNSDR!#V>;z%aWd4yd#gu??+$n~@dUR1As}(U+27|hh0p~C0_dy%jpxe2; z;vA`B4=Nc3CS!M<{bd<$i-uFV^vZ;L~~EbqhF)&4u7<6{?cIN5%>OKIs@9 zV?5j7@LITD0`f5CBn`U6Qheqv58 z*9RYySu$x<-`5PjY0JY6PHw}AvQglkI$L5(>`AS0rB+pNYP5oc489!$%4LIjL^Vkd zziLc6<}sU?qNqdeR6Sl!ar0L$$rN2Ez`(x{$usb zXZstr;UxGIL#C~H%EW3dNLh2B01l*}x1anfN$@TNjCQ^@#DM*WGVVxFN4l2>Cm>^% z`q#}K74$=3NBV&fhfE`Qr!?hn*l6*vV=v+XBr!8OLqPE`4R@XC$s2*g0uOYhv<;(= z1U0Y}jF1XQ0-6&H**vTkk?1)3&tiXH@#uNJ*vIX!+2x;SI@0zWKCKVFuONB}?UNsh z5k>@wp_&U&)eG$vns-g5kn=N1yvS|iI(2{9nM(QTJ>H@ylQoQn*3cR%4PR-|beX|^ zrx7KrA}`2FU3FQr1i_Y@`haj*LL8m1w?g^wBk`4NqgBp@Y`z(GYP^<(m2%EgM5zI8 z`qM>jDB(4`|G5)D#ukwhi)4h6HsRWjyS2?%66)ztSdU+(wkk;%GXPtLE2)avq$?0zc>t{{*+`lcLmc998=ZoK(D>;4UnX#_*K%Mr)b>L3MwV@1{%Fb4b9LQvq2ZggII1h zo7rn?(eW=FnAJrw-jH_TFWiPZX+Lr|uo!`OB(}Dr$1`NgrZcObF(ZH=4X+a%8>*Cg zDmW4go03M?MH|nTl(R4v*0jB!B5P0^K~9)(dG*cTWO`Sy@1a7?H;nLupEC-3evD6O z<9Gk2N)Ks9A%Gr!tf?hd;b^o|e0%**;9)~{W$7?rcPhe-RFPXM2Is4$08b~0WjKhK zkfDMBZv^_^bn!87a8noNbdUV}JEg}eTKW^ixzYdeoweokFHv7ei3d&Vo?=VFuVQu8 zwsvWgUDp~bhgHh$GruJEoRaMa%U&K~%zL(La9_D|b`k1NzHM_qe>c)5A^KTd4nHmh zE2vZxzo~spSWr*iSho(Sj}^B;J$uJ-0rD>i_QZwl-Tw;g)q8B2I-VP5*1KP(r!gbw z?9D+&MCAY@dO?Jv_cI-Ib$CHae!7eELuIoD2PZG!J!&3fyVB=dXxfPXMS3*X%%44f zDA*h4Ei{IMuWB5;oqqZc$7w%VimK0FO~5LUC7odlo9(#?+gkpWLDhT7*HnF-)=*gP zD4Ou=D10(iVkxU?NE^OhWn_=9i!%cr=^6|}$*VPTpRR;Hhzc+=CBAV6?@27&PIJ;T zexIy$vmR2qCluqvgBRtZfbTVTdDkg8-@yC^d(lsRS-bX|Xm<=Qy9JC>_R;N7gQ&Wr z(q>*ErHE_{=e~mT@qc`Z1BOljTy~UFVSChYcVd!M!XP;67lWN?3*{1| z{l@`ZI;D6*lUn#OH%Rf0`Y{mkqdIX4fv#r;8Xwj&sXr_XDNK3<7xTg_|PP7vGsL)!Wov4ypcB$tCqzRi6 z%*OKCP*d|L)7V{+H=WFPQ0-}Mf81?oFM)*#e~i>$D*|R} zp5ADAczieP(SmM)WpOTdT%LMb%I73RpA8O`qT8d(_+#JZ9&~OyneGb)?D|+8#}1X5 zEf;O7x1f#GS*3eZ8qU?+2~;Ddf5=8id+5H~3Z5hk@5DI4y*a(IcfgDy)R%UH$<7Fj zW9V{*6I;+d5AU5O!)C~gzx2>vmm4(0Wlgdwayf+zu;M6r#98l2)@0 z%YU+ ztL*SSb0QBd*ar2!&3AXVuFR))UWcpRIM)wja@U?%`WdNn6+S7Q(PjeJ6Gs@>8_t{r zCa-4@bvY}>c0a`$$Kg|&8+i%(zWp=seKSSd;cMf?z~eD{e>T|E6gXo!cP6&@>>LJb`jIs z$Q0*7_K5g5&;+RtS7jt$(eF;?drak9Pqt3z&{2EIQ_nIjz*e#p1|A`vxa`3*^ugEL zJ1m$=cHYyd9U8BiMeX zf0*Sy_N`OBOWVY7m`J8CWirpqTVYsT%pZzt-vhs?lB|gaX}xb%x*iHeEEyf@|Jae% zH$&=wR8;fub`>EfbFr0giBU@C0+P4tL3$Y{<@q?G1_UXLQIsFS=hGcpA^9Dv4BcQ~ z(F-}nSDK`C0h!E}5DGROUSf6e*u67oYa0SFy+ zO6W7OwSciA!Wo45^TDbQZ*1u`sD?dMAM0hqG|aXLCxxqqc8c=?@wPYowWKHNzFFXU zaT?5dtZWka=nap5Y%k%+XO5oSzeFDoO{=bUblAR6XLB?idg|MZr_VHv*BuKdz;G*R zIxp-AVtZGo3XN7jV&E(W`T>QwcE_QWPm3b^hryt5rlYm&&x2;->+3EF$pdx%l&NG* zGd45v()C;D<3|7F0%YQ>Buj!A5c>l6k*L{+A|B=PsPoNV~9Dy>oUfWVk3;AE)vlt8*wEQ^*|WJ)$2%q~ovh$b@R>bj{1vhwqoYzpY!j zYHb$@`wYH%I>yrNnLTA}-Of(wQlpSOkdslds9dqdk{vq)8y<7hV<}`8`m`8kRo%BY zU_h90yvx@E_Jlo4_zMWtd@9SfR=#I-{hW|q0qJQ!5!n{Vy$SP`w!v$Ur;6*qQ<#Dv zW1hSxl1#44>aQv*gVmatU0ZhfYy5kc@^w_J09ZPM92ZJ&9>m<^0Ta7HUV^{D>SF(Z zHK7d~a)$(3YJI^CcHngUKQ2L)`{U)=!G=!*!=3dz_pfwb4sXQfU#Yd^=?&|wb)QN{ zLVr5%SK!u9QlcZcx(>hf?1XxUKSUx^TddpJ?r#KZr+WcA2g-dq0$+dI; zBbQLGTfrR3n}{;>Xaz57`X}VRp0Lu5rg+vQkfICBE+83Na2#3dSXf>!7#mMLW(FQr zj0XdQ$Giu=D!q##KuNWz)AG)Xq31$EiY&WiB~UDPY8flVn9)b|G;=e8l0V;w%KT|A zX_)=r($3K1Fs;yK33d0_kk-P&KAJJ|E`sGG*BpcfgbE3jn_)IqmsJTN_|gB>*fePc z{$Fh^sDp^8vB249`G2%DjstB{T?i0Z97xPrfkCFAvH#>H=>VYL?`I;Q|7jw&6?K24 zWI%3;?WKJkF}52*M)ofs@&H!>!jpFyXiad|GrC-yW|eSB0Gh3WEU~GE>4eAzj3s}L zvK_~!z0YHdl7-^W(0c0wS>Hg?Rl*IRvemd}vTv|9NIu4IMzd=Qf>|XLP>+ticQ+M| z2Ie;(%v4^Q-Wyl=BLRM45zP$bFj^mz60G!(L^|oC^V}*j7t94-l<8{MZt-PPCJyQD zt*CM?ijKie6tj97JYlK)nz;-6cp(~X)6^=pm8P?fb{FFWJWy@;tMFP5rS!YY*BR8X zJN(av+-uM2Lad%i$@0n+_j{{6vRp^$!Fr^xCVePyfZ>yjuxYi$$;)1TczoEw7x8Jf z)?U1nDV=0{H|0|b3!c#dr*Nn$#SxmC825bLs;|Ey5}Z|hGYED%=PYI@xH6Cgp$6P2 zW>278*%9~Yr+o`sE~yP|d%CI)`-7DY#4z96Svnjp=VR>)WOSDT#?bL(FbX+@ob-jD zW^X?scjb@J7EGkWovXe*&9Qfr=*RnMpJJbe1=AOSUtS*|@UdZ{BezvP-I1SPq7ZVs%PEJ>$)2qNwtKNh?r7NV>M%}OiI zv4;&7-#wh%l7(BQZ*Um)0L|})zwMeN3PV#aNd9Dpr}ZG0FgQMPo^7U-rUB!G^Iw0= z9DZY-h{pY0h%uMaVi~eN9LjD>BxIhbuPuI*$&f!M^M~(0{Sh12*=PQK!2Y-PQ_5;s zyI@cvdy_YK8H!_&`j;z7tah;~Zrq0YVuG#v)nei;EwEvUGS=LWVaH;yT08tML9GSZ zLRolVQjcp>fhg8RB;y3f-*l2$yIQB5!q$l0lz1%9e>M}vX;z^2^gW2DLjWb8%y08C za$fhx5#%zKU;XgpLZCIh5kuE)jmPJSr>*IHi)K>Mvsq+l zu=B{cZrbM|&zuqhT6%htlj?2n8fe%l$#(5o0y>DWbyeRf&@gef{t zE^p9yAR|-^MF3Z!>U|NT2s>Qn? zK0#>MVQ?mc50&G}>mYmbp|}0euZ!RmlWYiEq0$xdm8PT}(zm3(jE?rxKb*t5hz&H1!-|?UwG$}=PIB|3=fqot`K?v9lLTV2 zXq0C^{A&IN(H9J_t%7J29KOu{0nBpoPV#8W(WfKuOQ=7eXzJX^yx1-qxIBA^=8?Ya z0v%MdO*q*oO?Cj4?3VHK-4jW{QVn@L3=F}uD9Gj3k{r*=CdCXHB-FK64tRqs+Dy-5 zY{ee8mY(ql=)&MP$Ob(@h34;+k!Cj z&x~Ppn@_(xH1y+3z8>vXB>rc_(uxGAV3Exrr!B-XLNNkSRGI@+bLfBdz7pcNb@+JL zg**Z2f{P3us+_&`IH>;;TE~gNe7pSZkOmw8Ct;|Mp9DIxzmU!{_4CBUHS4 zym|OD?&7}6^R|#$LVvUm%O=P3iAO}DwDiF)JkC5IG_0|XpFN~wX<%b;rJ|j^5u=Yz zn?Pso_S{kl@y@2D6o;rD!Vq4&oCA?!FU&XdzL_%aw69YVSdW)Y<%q7!45Wit|1*ZB z@63H_=mym^$9c4jXI^|EX~XdRh{v{kBkHLHncNm5q^hf?JgWG;}nu+A#E9hdN$0L?F z&!}`UNV>Ep%tiYK_U5~e03`Tdc9cH@?bM&qk|?KWMBe(X$IpeE$`^cyQoNczf=9Oa zx5Ml+UW~+IK#pk>oS9rW>z5hZf)Gf}_s2Vp-!Kj5&8+h8jHq$pznoEZYEm_hrHDN{ zlCy}+{x74j3SPv#CHqxMJ$9Vqb#Sm6Go}GVW89un+1y#$NjtZa%^?fIyWn*5vHB4$ zb(*#j_LfC^a(TFd$a6Fwszi$q-c}^W;FxhcOm~(0>Z?fqJ;cIC!-4iXV~%w?ti2 zoglm((VuYfO2jjjpbN;GM!_C4axPC0MTnDmUi%#99M#O!B61#M<`da0=f-g1@9Jk2 zm{LPo=d;gk4*f|O?tjjtx?7^oBIH9q{%R2%RUoKEXEIa>_le8boOTx_so^e}D;xv^ zL;g!adz;i7qAdu+!8$bDE`3YT@h|`^K){CQh>*se1d9}JCeF`$)tTH`Cwv8Dzhb&h zp&tLv<}LF`U$AaPVlefJY&*l?kTET>KI@_344>)T8+Oj@Q3utPoVSVScAsOwUxeJ| zES%YxiV})iylOrl5?`-?|Mg1yKOOwB-N#Izfdw0XvEv}MFJB2>rcMSX5A^FXcUBqc z3r+nqC0YQG>%ng@sLD&EFlYx&nH%(7?J6g!CAiinpIf9VpZex#G!-nvk_T4|Qq;z! z!#FFl%IAlu^hwL5;vw};_|TJIQA-7L6*4bc93vuB{P+W(wWszWe)C(DQ$!wCN*iVm zGXq9TJiMx!=c^~FD+5f_QFUV8`{0DfdJxX#6&LVuk8U9RCy-b_b}q~ijjMz+m?L|! z8t-P$KKU6G@yRd5+Yr(8E1WKenwLIh`1@9fbAgqB=Q-1^2qogdmHGIQ0aRG2{9~TG zX)Tk$hl~*8rI$KrMs0@q?de5oPL+TSvl*t9f@l*^AarY zyfV(PYr`{@=kE|Y3?|!w0VULm3MHhIM#53ny;?`fv+y@eGDhooWzM&@iQtMp`I!jVRg9Vw*NiVMHSKQpisz%XTq>5DVf=-v1OOm;d{;hOJ zNli51T-UZ}(WiQ36}!%yK?Kd(hLJ5*jyd^TmWROGh?cMuh(SKoMDH%dJAB>s&8ms!%4Qe8<6|^|x z^RCh09xEb)Ry7$e2IaFatAUP*r2(3uxypY$*)wxnsziZcf0HmGax2 z>h3fd=S09o*7>f-e`3=9Az2H4s0rwW4}`);+P%&fF1@IP_5KO>Qiy07m1+@rUq4() zTmnPX@Rl;-xpt7FJ)dqGYtnd5Ao^L`M4#m0PJGv1a{g6@ujqqM%kGNPQ)VOtw@)Fl zh@R&4P=a@=1tr5v%0UXRkpc|6_mfPfnYa5HM}G%m10oQg-3%{3$fjE4G^cLYx*do6 zkQV7<)O5+8ku^Q0wR+6Cbe$4l7XHG3Ov0E~;Wub2`%r{sRDv4C#`mUxwsfla>9}SI zs}9)YTBwr~ea+hZ)k;6dtuG4sDSLaZ%w_d3fBQcwyBC(#22JN%)L_K5?tK_<>Xp}zTwCAM-BA2XfO~qcnNJuze`P6H?F;1=d;j~ue z7BMcBy{}4)%hAWf#KNq6+T2Fh*J!k_v^QIrGA!(Oeg{i}l6mRPiZNw#xJ!*klcAlr z)hl&va_pY}-cma05Ku0bB(u-UITNwqZGli<=U!N>C78k*Bo9OeO=C|{p&fvOlA=pr zMIB%7U@Uh~JEIhah?336hoD0b=*N;@q^2gXB-VGH55`B7buOUlI6F;tl*ELSs+RfeF*qt>fRW z=jEw>cnA0KadSI{NMo#a`_gYw!GgM&$);~YVx|w^_Uks)(AhtBx-&S!BCr>3(#jq} z;(d80KAKhZE*8OPmCE2B`6C7Pw8`FYQ)mG~HXVyY58I&_m4s76;Z0W;FWIs2X9)!< zEdgNd!bsRE4VuVSyxN7tobEO~KxBtdFtc;AKsz{-s#`O_`>i)ouAgiZf128PjlG~@ z2!YTXEHO3&FXoD=`UqcqRK`zbCU9Q39sm(yV?Uz9DqWZ^vx1sUJ)B9Lz^mLtKzZX4F)Y^#Q?@8P zL&^}oIDw4qQR==ybt+(R?xCuf z>i*i8r)?ae5Gn&$%t! zpQEE30)+(`pg<^?)z|atv{s0X1p?19NAtb*SYVG1-+a73DPEg<#Gyn@U@k7%xo0BS z8in$%gx$BDEf5TQ@rqG8S6R(V27SD<*6X)s0$XcC8`7SCUz>A+&yMC~Nl`UsF%hv@Lf1k7U=PffS|{ zfi<$-1Sk(eN) zYM1cRzSDbDtVa|f9SIQUGMQkV;<82Fh8a=d-ezz2W)o}S8IPU%oN{FQBI|6fC$ol= zr80?OInyid{Y>T`*%*0HSp@$9h}J9cy^ETC=ugYjsX}&^Qw6vC+o%&PD_x z^)KQI=NkeBO`jt#;=Y){MKXk6`P1PyPZ&|wRfc1ig$WK(7<>E~0Y9^5hA)OD&Tn>s zqZXTM(*jpjr`==sJ4o14b<{%zCnnr5w!0}5lb(q{T}MY9@Tjo=esM_JwYMQLC`@w6 znYPb)aD5Xj<{RJe`-0+(n?8?Hrelf=i#v*oZSIxJ$OaGf}a#^rG$)`ZG8POQfvRo?E zlIb!@tkxX|MPA;=lpEvK)pm@M^Ys|Q24cgYTG^VlL}$F;7kx`Q4gJ`S&_l1O90pP6 z6F3QYjGSko5TOPN!F;tu?|B!K-(uj9EUvyjN?9A_Em3(Nwv*+so!fOsoJzd{yF!T@ z;-sML-z7PIgiz!a3wXmfI?}O&S2Poxa;~nDZ}+*_43+=v zwEHNglCD&)$?;C;b_{L zMRTD4pU7^v?}hwObu_QbHQB86>z79m#UPJ@+Y)eJFH;$5mRV)>v36^FQ+EJ)&+w7i zO2ovb-wxi!f8qQy#*B?_sW7K#>tJxJ2IbUo?W2=Xuqd}HA&YoZcuzt9nFcc?$Iq2Z zdBV$u#KG+*cS4Ayxik;0&@mquvlx=T(;`YMsU1&I8{6Y<$lGen0by}h|EQkD7x=a1#{iuy|JC&(H#loINlnmdWxJ!= zAWOg@>GeZyKeEf2nV?;OwS5(Pxd3obTYV3_Z@Evx2mkB)ePQQU_NMYjxgHO_m;rR!bcM0!H))t9q~cGP9d zPd#@86s(t62E_47|1Nxjf{{{NIh~fMb@B3nRZ;pp=5ed{8rKu;P0{N@6?*JnD{Omj zFBJqe+pG^A4`qhKhc_M8B&~wxcNOH%cQdlEdVP7a9d0WTp! z$<-?PD{|8_*O=C!kTvtchASS2@GmCrKPyWADE*BcIE6roM}5N@l7LBtrM1`idfiyN zFzh&XW|x`udh3}mO;aBdXE85R?nX*vn>M9hx51L3cI#THqbam7{t_(^O4V;I#mI?r zog+!<&;3cJePf>98}d!9k4moDC59212r=dy}sQmc|xB` z(Ths(gE4bb2g0=YU%Cxdmq&C>!H4Kh$;O;#1SDzn=LyES?@X6{RqklAJKqYa#C|tV zPzJ~gzIusx=$qK4u5UsVN~1##Znz`cX!=`I$SF%74w&>MyOcNABFa z0(gV@POQ6-Is}b&le{jVQz*mlFPHTUl)iAC{>ms!QEJ5C)70<}Ze!dpvJ^CL2sekE zbzhRsaDD3vZFlm=JGyq^n`Pv&_ojtWEeQAxkWN6xeI4|sCX~nc3+M&g78ag}D*&r? zCK{|#CB+4i=Gu)M9$I3A+-Ax=2T}ZW%pdwH0y#l`Kg(HL=xqKk7u3+G@I2-jIE;xX zlEPI<{Eumu$)Jqy%i?t1lnv}vW4diaGjvvrrG5)1iSTM&0=regBBNXC???!~;Z8IB z@J;(MdI&Z`01tvR8n^3`Iy4zcf1-pOHJ3>fL;78q@&U?c0`? zIXmQcc@Tq3OQrQ5bLSwqqVJIHix+O(2@j$SEVBEMT?Y?lF38@V{9|06TZ@*)$m8f` z+*{b`y@el0-9c8N^j@x+Oj}pq%69oZg4OdcMz;cbFqoqwVR&esCCbjWac~pVhbt-m zi^fa|>ZB1WwViK@G{8W!WnFF(Hr#+PJm6H9QN|V-#dShGdWVkSzpnn|2 zhS*7}LErbh|LO<-8V0yyf;lC_d2Fdp`~8NYD7=$OwIlf9y<|vbJ#N2gXp5euy@*I& zd?UAKrKs&6eVFLdNlF*=y^!hla%#FO2o`IbKDkCWp0%}asXl-80ANA&QhF1K{@Gw& zgX+7+)`LttGY?|ShOf?)_aP<oG-)44AQ zQfAa7b=+PG=&2Y(gVrAE%1F7&kNPucTppXRh7jKE<=?vMgGx_WxMo@s^Qm^D^$M{~ zUiT$Jfcw1W-Ls&k6~x%gZ!@OQl?c{I6qom*v7Eh_-Re#~tkDoydY9eSu9G2>)=SQ_ z{w%Dlq1b?@IJgZdYzh$eoM`+67%d^v#Yo+p` zUUqEDdf065<-QoxuU?livsiakaz&OH`YcX8%H&TdHLbVNm>X6^|3cZCy{(CPn~ z;>iyBd-3jmkiOkEvNmJ+se1zMKcQ-i<-dAlsOA|Z z7d1O?2qEs|h$LRNUglgDLgfCyZ+)S{!;?s9>cJt-ElPC5u8j=KdyrA&CW zZnPdG>}I~tz)>&-kmYuZ#XZFRPVR;;i6`4**hhP8{)~+qHPCg% zh+_FvVg})%0F`8snli!BFNTG3GN3{+U6q;#$LL+`G?=fxlbJaVqoy2)422Bequ#OE z&33+yOr2`w+Ft`o#+E^$&EbAjk)FKV8&2w_2wr&!Tdq)2x(oHsdI9Cj7;#P?hm^%m ziZB~0FL`_&O?+BC=Wk7kAM42ch?(>Tw4f%21eZq;Gy zlyqk1g&Ltj!|%J8FJo|%(&Zgjb$Pj51nK8h49FUdiiv+N8 zz53#5Hop@j^M)2sWKur+VWU6>rgq=f@b&+ySoJOW`lK3G!%a1XI7m#f8R2^X79 z7XM9z5nzQkpw6Gl+=6 zZhFC#2>Z<5r^%Ld2>ImjBFLex?6}5)Tj&)vlX+5ra%T@xziPjcsd?>Mygy6(!iTR; zlKh)^3{+F>QoZ;Efh*QveZjhu8ku$!nfIrDC{mTn)0X14ac29^y*vxusu_(y2JP=# zB;jB56!kv?)~wSG!2#hP+CKNC3yenMD+&jm9@&3fFpHr;<+5a+Gy`>PA%bpr)^3{J z8hpS3&EhYXF{=~ z7B7R)OLO5m>fvglbXnhkKTkeG{RMrC{bajN^6`6%8w^UqdwqN7alWRs)4a=8<#5y8 zI}}5`_&uvKOaTysTG@N!xDf!?)pTYh45bR+K~?5rJQ0k}8gx24X%7(mh-V<$CA<8& zH^qJx6Cz4+hrFv?jHMz|;Uqvl&Du*?=oi%2KZA!MNMW2Wohz7bpmi4avz1tu5$xbP z>9>FnD$O2z+1+FW-0lGz-{x>i4UkLe(~%(+uTem!bv+@}JSN%iW^d_9J^yI{Tbq>% zNTnaQm3U1}i?3;CW4Y@!sO4DY`9U>(HAs2ZB6$f4*1pROS<6_!`0saerwjWaNR_S_ z`vG-OMrL?eC>AF8!TF#ay*~%m^i3jEzNG0o#XjI_rC>meve%^TpMotMXysxSkC)I9#V%J)T>TJoaWD95Ndr;a}ixC#7SHFzA=UrK!k8mz?N%$@w^nUl(=6ltvTL zlgS+brxhgk(PH=`)DE*RV2Ou+{8A!-Ab9*$lYj_jNl@!S>$qjyH;4;ZX69=;0uQ2X z4F)V#9>#{Vt=-d28!>V(!_QXt?do!6ek;b)xWH!aN$PVmPJeN%nHgnr$4#JE^o#X6I3*y zDD%&&@=Rt#BP<{G;+5MJGhKysIZXA%wwharTEshW2+gj}reOqT7_0(u@5vD-1gpeo zy?tURMzigmghjhW(l}?VC87^#zo&T7sZ{3`Lz%Gvc~2fm3N0 z>qJ_6?~OM@cDbE>hxC1Ii2USQhW9^QdO4`~44`0;Sv{u-ubQE-JCK(6P^1`^ zi zlqz8~O~z5@(}(M35(0=KWPzSMwc*;pTNv|?y1F2A<^_t5XTpn5WDW3|jB@H(Nm5Ps z&dy00G(n?N;h$|fdc?E*B^x{xJI~PMaX3<-OzJk9WViqRS9VxPCW-&Fa+PfPPFz5Z zAcPHJvpjr57PirIzl*`4k}GK*8a9hEPqs{k!FFGjVAeqjW8f}>-KjC32tJ^q&CdIm zlh^Uj4)RMU5x#LMF@FOY;1g$R%j;%J!3fm3$!8jv4=Z+Zs^4$-nrK3i5gS8TxwW#P{$~M_^AAm>-fl z%}oipS)#Bvd8Fpwn6>aM96%#WSL^}?f2ke07u--!bc0`ydAVC;+_Xvw^2_Z|d6Ywa z|DXC%Zz2RnA+?m#QpayKgT3g*`8Dl@ z!+G@;L2)uvKv1cGiSRQ58gZYxjfyXs7%T>=1r+Lpt}llKM0>;wPJRjLQvw5LfXoIjW(J|CRb>YHvt3a5&+49|gY@YiI2d`YB-vUBA8@+u3b?gw&#<&c zV$76Ix1kS*eo&A2A)Hpr-_SHKikXSMZx}NAp`J(EqG?}CvVhdB3QBGtUL`0Tf z^b2fyrkH5rnm%5=a-ZJI+T~Y}nvR(vV84Lm_78F=yCpM7$v`YvQKlge_tn62;%g1t zOQLUU;jognBx(uAEY^62oa?J{+WhOA72;^P+oeZtqCT9OccD427R8I4UdY(c1bJX6*1my>$;8dfZ9&A5(ng3` zzLKyVUxRs>n9IT5-CF2>aQ*O{>PSGN`IxQa2}1y3@yBV~2n1U5fm$h76_;2@@N_d; zpPmgdGiRn95?Di_2joKEm!38Mb{Hb?EZKQY`hZv%*290ax!1_sJz7<5(VF3ziy&3` z^&Uc|#1qCd!cQWldfam8FVD=v0#y`>yH>+Fa$g~n5+LX=eQrcqpo|%yoZ&f_kK|%;vh}GZ>;}}d!uA)X)Hb%f=K|W z{TKAGJ*WX5BRdWm_Ep?O8*(NY7E2Rm7kO*ruJ~@P+{j)I-&|pCc1L%6{Ci-qGJ-~4 zT7?I$cksL=$!Wf*gQUX*gvU?{guy&qT0zAo}|7hF^(OZ$8^xSI0N&7rcxH|*=q#w^cb=~ z;9tJgyLT14!5eiV%RGD5Rj&7ET&4xEe;O8DPe(lErj+wJ5;mvlwq%x6ShTBYm&Xj6 zy({wA`8kGuX{}5LJ@_48I5yR;Z55Iv)VA_o3yGwW53SQ$0CnE#&rA11A0^hh3r8oS zNw%CDoK@a?Ldb+~R1RvgC})Z>Mx(`L9He^o*9)sDdJ>!lOAVD?3=W{``q*76_6g z_@8#PZ830nDF^oCL?V=yu~~Ld&$zqt|5h-gv4Wnzs@IpLmA5TmZMr; zW;ZFG$H+hx5HX__IFHU^tI}$3yI~CsifRCFd}$#(Cdf$qi&M|H+A^)qnOO1uM#|jv zpJzlenL3rjzf{9XX>|XJNjc5%>Jr4#99|7?9Fm-Fd<=xE6`S{#S${anN)-jmD%hrO zsK|%RJdW&<^D3MhjYMiV{XJxN5fFXdTN2XNjD9&TqxywZ~Km5bA#q#FAb6hOd3C zm$mPLB#Mz_(Aoe&kPXm9sEV%W{iS&`vD#b(`ZfDcA^Jg86U>XMNK2`&7SlQ(0a-vd zlj5EmCo_>XS7<2)p6yiwkrv_`D94IDXQIy{hq#0Jnf!kMA3)&0KBLI&MlH-zxZx-) zOS20bOy?v{O-*DW2hNT#wjZz+5-|nOOOP-h#Xrt>Wsv%cPc`Hlf4*!3hm(=n^r96}IeY9L zDpC^P$bs0&S*{EoF#n1;58VwKvroTlke)cfoC9Sukr_Ivp>Gw8tNVgE>xbcP_|Djr zXJqT{#r`;oGTeML?>Lt9Gj_(qzJ#G^`N|;{vWDeNzh-{dx7F0tG0dp4-5`-~}wNQVc>O{hFP#xHaYfs?h5XxdH$5 zQYn8-BQ@_~QzEfkB@p@z&S;G8OS0cE0U_ntwkL9vg|oUhGnST~Py=+=eJFV+q2XA^ zUhsF;wlLgNbAUREwKn`&{F}j5YEl{gVTRcWEik<1;$bdZdfFUwFSDQ9yuDi+r73|< zBhPfMqw9B_5MwJ8*3qRCzAcPR`G_||y#r++Id05!jJ(lbjlM$ytVG1-XBf2SxTclo zkf@tcdd2Ou=DY=mi1pgUkoDGZ@!uqs*^`@cs|P-~D!VBpeC1_8DVnhCYT0MSGYH7xiRq?oaLiN0=Re@rmW-;Hd7$o@YDp=J|8lc;eY|Ab(6J z1fa})z=4blgCtS34@ge;#f3HRzACV}`2OvkULgl6ZQm((hLJFVe@vG?e+jBe`y&E+`P0Z+3Czv^=X6W!=^Xh$v@PqaJzNu z`=s_a%Q#XoEyIDN&|1mc=A@+hdOV`bD<*iWN)w-KL}WYJb{m*!{w$(n3q~D$ZIlbT zNJHAW-Xj?R1C=!2 z{?f;nBrC1xCJHk06C}8~_%Xe8viD<`fcE8IJwA;}q56qMG=N1=$OeZ(7Q4V&V)Go< zl406(j`hG!~#s-KzkifSFbY3$*ur7 z%cHipgqF2-A5>)HZr?t`=EUZ*^YAXYP&f%{PCT|FA8n~q%}{?vKHLf#-VJQdk}p#R z4_Jf_D$&0RNNW^+$)~aOvuu6bG%2Q~U@hv39E0VX0k#B<2r&XKT@d-h5g*-{)el5jZqyU?nD zdYdbw(e6P%ASX3(q{8%EGYyT)xvo9JB6k&P9ce@n{o}4w^S17NB(ukcrZwN%FjT=; z=MSlGmpxu+RwF1EH;RO9@kuJnN}ZG8kTaBp^^{dw+3u@pIfgD!G_TKX;^u6(oQ<1Z znM~lqe9j~X^jD1CrWs=*xG6w0FzDn0jHyuNw*(C-#x+Oy+uFYlaXjNVaWjXM2r&>$ zE4M#!{6LkhjMherIv&eRpvP8y`O|$fA>|3sN}hNMNvQY(grl)@H}E%}5E-&N=EyT3 z;?9^l);G9~!oCJ6#9bV`HV;o{IsNLP8x`|o$Y*uQ;8QADZ9RQGot84b23KZlIF%UB zf%rJ5^`wBbFh`^EAP@a%3Lq2|NlZGtv}DYZ4D9<`ZRz61x|hHUHrNcJcf|1+f1yw` zVj)ucyhQb4j0r1~646$f=Ca#69b-oicA@ClMxHv1-DbkmW? zHVF<n^Z!?edLZqx>FmQm z%je`wTM>*ps|loFTWg3&DdTDGhd^u-)dX`w(8B;sV~zseP8jwQ8b#mc&S92L8U;f% z66xPWF*+uG>@bN>^-ATLSUZDS4HVQqdredq2jIAG0=(nU2W6{u$pBD3^zYGTKF@i< zx}X}1zq)FLkW_Tewv|jj0S|7^YGS@52^j-QAw zk2*523qcS;>tz{~9aQDeEZ}$%l(aROlWwSq1tdKN(h4$Dk4XCqj2ct_PEfNmUU5nG z%%v}yN2fijX(mJdL3Ak!4Tt?tfV)82ReBZFV;SJBuzH&E8JQuro`Cas7^BJ(B3`QdNCS%Y-uU0AC3bV?~=h*fUwD@`^Uz{dcu$B z)l)O!J99`kOC#z7xdZJA3!9k{?saoMV6>QWRkC&8+eZ>hllvae$OsWp_zR-uU*WXcG&@CA5orO1zDv|ItZCQx! za=_cmRyNy?|FSu@D6ch>=rUZ__`QgI+HJCH!Ko=D@y8>VaX}iJpMBU>41glgHrvs_ zYJFYqGAPMbdH zI;ZJufo~LZLq5W9xYYPYovdhl5!N+w1X2TH;-`yIsc<%7<_yRo=K>I`;?RhMNpx1n|FY6q&Mdfd|Ugamj1d}ct|qt`8%;&V6^ zWb@!9T0Q01;(&M(6PNXRy?SVNjK=2IcQBO(h^{Ln9;bJ96Pv0%vG~8Lq=;WR! zdJx37m|H#nmf#TckImvS60xiZr#z^Cn}R=>W1KU=`I$P&EZwmz@#t6!OP6pePZMU~ z%Q+94m8`b@=n&xJW2;9z|WmcFCZm(++0-s5M%uENN<> zEyj%+jDzDCU-qB&8QZ$aM(!9a3h$aRsZVeRKIsH0aoWcP5KO&Gp4oHu=|eO6Nskb9 zXj*}cX6Uzb;(7q4O1v$iIQQiCwK4V&OF=XTml%g`O}m&4LvH3|X1N;CV;8FDArN~5 z&4&Ijp7M57W8s;B*eaw6o~Q{tUozg8MF2%(b9ZDAxNW@F+54!VT8mWT5@I)<^AxU; zjsZPJ`cAKps_bVATAyu#ggvH0t{vhs29D(@~_+oVA zGvc-f+%Np=a#F8EUHB=zAjk=vT(5d{2-Z zVJmRG7{%$ge+B)*&98^Uk^(?lwAe46#Qc(kKFbM9{2jVn0f}U=$M=&_L`)jJctqyB z|1f^0|I1dXwoR-h?oWye&_ERv5sulO&24g-0k%(oB`u6vQ}rB(N3yg=3XYl9-a`V0 zsH(Qu}+Ubk$G;)*6+{w{gnhxW&<{gui&8ZXJ1$p>znmH@s(Wi}ynHFoimQ8)*) zs9^bYGY>FS_eL1m28iuGXDKuYR5N!+=VPgDQ!1dQF9RXFtA06uXM`&aEs)ffNWd&O z5Ru9#NQ?*hs6>EEw%tV@5FmR>dIl4+;~(f~cnE&1B?$UFaXZ5Eh>uI|@6^0v+}@|W zLbst^zP1 z)zax`Ek=LuPKOubkHr+Ek5#&lBPA|Oh$&e_lq7l0iMf{KHhG#&GB2;5r0 zu9TlX_8jL5uSe^wt5Dm`u0F6BZ(Fzq;N+sy@$c<(e;=x52Avax&9s|Ztz zw*>R?O4`d(j%zzw+NTdR%o#7g9yeGeppTa;=A6K_eaG%HSOGo;d(wQxdeTl1JMQxC z0}o0Hiou3jv3)+zCh^2IDG5qFk?Z$l<5g&CK>fM&{ne7yL+*LPg+(9_)W1Y2=kh!c z+j=)XK&Z5|ZL(!z<<}o`AlMek2{bxgNE{i6*;66$V6%t*k=+#9R|u^{j=zBuowoa0 z-gkFk$KP`JWkBba*S2hyJl_Uq6LuRk5oiqn(qJ@1Rc4waRL?P=%fbZt^goKZ(UJaCl~r{( z&>{<|;Pui^V$r&J0V#;m*GUwUJKAqU6bXN_{C@5)N>f>ITx}}qNkV*fLgaj(+S9@2 z2b@}h!Y?$>Q>j-YY78O_2wvN$7FeMsPIKrQ#FP74e!ou=i-#6)jYDU(r){QDiuy-l zx~-Zby?QEMVtG3nf=HAs#b{ec8mT2u?rOnbP~(EhK5&z1?`}NzGF+fbAnxf2&n91O zAnltAo}3w^$}&yCHoe6$_&Gu*qI|kZ1MMS@D1bs1ayadbOGtTIA-if+ILROiR>TA( z2d~r3k_6PfgS~z^t5GXKDK%+NR^I6=>qNd_$MpD@`d#-zFubZ{N;*xvJB52p{8WrEBMFNl@tYiqn5QG%d7+2;-X4;(2Hrbw-E zqh8duEq|QNSwds{O~Wlr5b8FT{8%XRo5PI#Ea*sr@YU&`ak z9et)jq;K4s4!quc-PurL5&B;q21C{vq-yXyXnFISYykIiL$v{kirdahKV6qlSgABj z5)!5|`U|_gx8Ur9Sg5JBLjG_%sp|zBY9T;}gT7#Yd)@M1AG>v0po_#Dff`T?M|!x< zA<>6X4VLM)uF3YJ5*KwY!wCMV4tfotE;s?eeB=GWj~S>91GpHs9-`j7P*T&I+Sle4 z_U^U;$!cb2)t{3aOAGR{dzNTvBvfT*f7;uL@2OT}SL-DyJs1g1Lql*NnIQiH>#XF{ zt3w9eBNC2WkNh04)0$Y$eNgNk?FgrZZvbzxcD3*sCq4Z7gp~C*(l$b^>Pw2cyKry>6@}_4;1eLi2qdC{%dDLnRtu4mH2wp7qmi@7 zQ={VZg+&ldqpLaH7#3k@5u;M$CYNI&g_P(>`yrbkRGCrSmdu|w^WeHKL;wm$1wxp)BJJ)qW>SZ$^^(nBrHaxXhxcvs#--h z`b~z;{zOA_=!7GrF`5oTu3Svogd7q*XUVuwIHWkN0A!bKLw9T7VQ$O^y|C=S%0|6R z7x?cOZQR`0)BLSAO+D6N7HFNc!Cfg~lmN$Qrv^y}Gwi<#_`L@NuAwy~i#$y%(Q^pf zwOZl3sQ~0h^ROAO-XzK(@crMZie8}eooq)Vk2Rz6gq>nBCnTf5D)U!HNT4mO9*dD4 z_P-zL2@nAxSc5gpUEMb0W6_N)h~Wm#1-#yW>Q|J4QwXMUH9;xEsLI2hpGqj62XK9Y zZ#Nt}gO|hyST|aEqA8}%rago0;7ZGs84N_#>$q3pCf^F+sKsw}eM@|~_l6<@ulQtL zZf?KbUm3oV_-MuSK!!g9Q>*LefSqQT0DznC5bH(eK$y}aeO+dpwlTXj?#v${&rI3z zuCqZZ@4C|7nGA?7IypN(tJiW<&MD|H%+!7EM^rExB9mJubg`bvEzDKl*?sKbpA9%+ zze!i7F8;8^*_?Qo7tK1MQh^q-}dY{0F`ukNbw0iYs{^mFx3Tk;!F_dob z`|S;(z?}XeyO2~IP6`bYHJf?`b&eI%{T!jgDm)-Pv>0>m0IO7Fm25Lx65c&MW+Zpb zi4G0Zcr$qV#krln4fF?W+F&H`q3t%lzXEBvwEe|_3Lxt!>e8xT4R~WC^1DT@bkKCe zdIhN~kI5bwjb|_lb0d50{l?S9T-x4BLA!2rczm64COigoWINWCr1%+ogquP+xX;=VGiru8ldpA-- zfDg+mv#Q%OlXl_3lZj>U8*w{I&B&Q`#i(MD^AC7G9ifc^XNI~gt0$IFXsEe@x__$D zBVTz4SNuD)rYk=sOw~l*5h7h>@2yH!V{j9$AoMO`=XKSv`Wvrzs$zWXax%9{ z5rVIQ8})`H&_qV5ncAh(Cph}^(xqy3@KW9s`Fx&w8#wlL3?O_@ciCA#%=(7kTmZ{^ z0zuhi)=0(;z`x-hnKGcfIVS#z0H@P=wu~+;!*YyFLsWgz;~Lnk8p*i_F(<@^{I_8l z6gCfcD`gvKis=Tvxa7fFJ+;G3rgn-Px50it*)bWV=FWi&I1tC8F_c_%NsYf{Ro~w! zvtJtw_@m*kI~kSnIRdRsU9S9<3$Q+IFiQXm1#sXXYVJq={D2_hk>&;AXfo@FH1iuM zeqCl}?E-Yc4j3Mf-`N6A$QW4J7J)L(8t1m^?|O>xUXoIi_Y)fXv>7$Q(&x5u5|3Y1 zzvIHpcO+4$3-q@4Q{6zUb+S$>WS_jt6u0n1|MeD!kyHcVcu4SxDKS-d8Ke6`U3q@% zw|RS5pV?DJCn?OCn^?|(AmO#x@gLiC@%|$dP16}Qvz8!u+yr!pBSlI4qURa{?M(31 z>>|hkg67C>Z{^}KgzLeO74QfAGz7LG@kjCnNq4A-=0fF#i}okP)9+R^xchIAv0eAh zfx?ZnL~g_U^95tQ#RCOjAAooEN!VXUAnb05W0`01)(y;uD!G+;_8n@G^AY+21 z?tuw(=qYfem&YaN^z#l~k`AbfyT`tbq@gEux^q2x`72+B@|7gfg?qBTmb^hw9d{cg zHVt2JZ_!usK*2TZkNrt8+Vi)Rmm8~;L3T>NXVOXM_CYlp*^0H!xm8EWdOsbx!x5+! zve0X6uC;IAtqlv02eSs3!PViDVc*>Sw!H(w6M?NS>C`J@&u;L{Nl=nPX^jM{?n@OQ z-?hvx(bP;~**c>MQF@~NJ?t_9!GdS*pwJ)Tqez(PZs}9cB*c)N1XLIPqvVvX#1L4K zG+@C;3jPo;)p?u2xZD8}kZJ{n1hO^Ji(m=C2a2neogp`nxkIUele~9!1Oyt8^ZLux zQ!TkwHF47SPb*F|Y50x1i>aV!kE{2C1ocHkyTp`cFGn~%q|LsWU7i$BQcZx77Gden z?B3RWjZ0J!Sw*^iU)u6NCe_4yhha%$Z3C4e%iFCLi4tyN=*m!>=`E-whie%f3Lan& z;*qMn+yf!-mScge6j#qnOyF!9^jr;!ekdDFYV^q6fMz2ekXy%{&~(r9l;A$Vb2B4= zIG~(qUP)w4bOZApxX;5CMZBU>KB*G&k?j-O3IDp$LoXS^^!f{ygG$Lr10%;%q(lZc zRZoDyu(?QXgu8Y-tBlj_&~?VS-NJJV{X?Lk%|Pp`x7}wWbmYR!8z)Dr%2;s_8*w8j zIi`{kBdCEp^*vp#7zjI}e{6-i49Y8kXy+Ly4av@z@Xq0G6F{9p6+sE2d-kt|MW+9E zG59<-+_qiY@S6u}rMR`lcTU2e4*Uw?Lg}Z*Y}Qg-6kUhEUs=3i-eFp%K}^zPk#ar< zx)d(e0A)ywn0ZKMLMWSrP_|Cdq4G-9>nee+D^IUbO-s7yqE{HxIL`*iWAW65zLh)J zBJ_&jpTrS+Qq|4MufL=asM(PSKL0`CQI7{m7JkjnF0 zFDj)xD6NM3p7k5ajPL@FCMoDo&sX}oJi@g!JXCRn6zXl*04rJj?d@=OR^>AFu@~@? zxS*$cNRuNe3I2?*6hSmw)U~L%wjw_%mK!*$|L_|5v5?24x)?l9_T<1EWpFGFJduO4f$IV11@!v;nlmpSz} zY_8{@i|>S8Md;1vifHP1J7fvl%9oM>nCtff)K{=1f;Ib0hkBNwP3<5EY&EKXy9P3% zg{>3OzF^IG%`ztOZ&4d4YYbyJBo#7i1PGHLrhdhC%rS-=13n1E7{QIp0eJknAox=E z;`?4Vx8U9`VA|FPFEf_v8CF%@nH@WsFO)s8ei2_6FxN<*GZrp^!tzR&x%&uC?-4qFZd=OQ@f7E+^cvavGaA)=618V~zmKlHt9 zWQnf}Q#+3efdqV9n0$oQVzo?8dq>p}Z+Z;DqfV-hDHPoOOz==_6TCnwE#4_n-SHxH z#Ox*<1fHZ{;Vl|lW?9_IYN(eM#{F;;0klE^Gl<8M75=7ny04xKmcX6Y*3$9rBK!u~ zYKlDfJ3LYjN*?^vvayXl;rZJ^g3}B+mvYs?^?sC9-|F!j2<06tufd=toHYiL4s`6y zH2={TR7R6_7wII}j7(l-Rc*qILTe8!eQd@`r7Kup!34VKRJ0OBLr%%Ku51{N@cy`7 zpeU2v8f3K}Q9v^eC!0WKN@jP#ZntFGz!SK8L*xSRMG7&8i_MVM(2hB!<5-C~JlvD? zJga~IsU7;&4TL#m`KLJU7SBoXr#ArE&QLp^H6K%m8wItWb``wt$NNG$z8x)GZF>*A zERRODwjJhZ4{V|HPP8A(qp|s39TsVFEJ5I8rydU1rT=}7G0g1Cg!7&DPHB}11H9C$ zAg?;yolP18N6)j3U)8=J;>6E-0_(!9x;TUyH9c7@N4*i@S%_EQ^>{z~wTD8I4t)e*{?##d@^ny~kZ;DCK^j+Kz!V9sw~aNW&xZTL2|}Z4_DD zd5Lx>BE0ht2l~*hq=9&w0nnCnc*4B+gw|T`%5WU`V%FlAV>h7)g$~=1G*kSQ013CUHppQ6)$@YG|3ojPzx`9hU&U3V>gh=n^a+ z5*jR>`eHzPNx6J;%`F4^X0sZq3mydKf<)vFDR=FZ33eM$#%PO5dj9qSu)7jmh)-ou zi?om|x;UX_D_L???Y;)c{emWnN5z|ez`ln_7})>)TA<_h7&QV>#3bk_Pttg83Z)hR zkc3F}dA*?fBP;rlH!*!bKugeQ>zc}}#viB7@QRjDh-}mQgW<`$NXqO{2H*NP<7{Tk zpeS2(StNT3J5U%>q`gH^_rm1PedmEmvIZBqVNxSNTvq&uZt322X@n>v{3M$7dD9zs zVKiE&L z93&E9y?h(4C`2I>S-BH(T?=94;@$EXpV*|Yo<1dFq}eVEDA13ONtK-u{VpX%R0MC# z9Qws<{Ax3Uh&tWgfJ67=R6||_6c6THmPL>R_F#OAp0dUxI;uAVh#wt|p4V?D)_H?Q z6WRZ$=trCfKk0iKQY^;(UFRjF88u*kDY}LR6P$wp6WbBKPm$@9f~2*6%yzw|QyDfU zAdE$OH(2lC$6|eVpj_wQ>lEfN%4foY@jEy6hMi*Q!0r9+Uw#Ke2{KPQw7Qu_ws9~0 zkM(CM;q{DX`oOQ|pwhk|Nmg>#PB(hciGIl*8g4EEnJFTN^v!J`nAie_19Obl>w1Ug zKs@sYFt-TPsOfNMip$X8yz|9Oka$h4H({l}rQYX680&JB1=Wt*n>Gl&A%=7!>wuwU zroTd+UuYdyY-1wGiVv(|zg=pcszM9ia*Q{XVnh;pc^fAJ7KX-Lu*>_K@S^ZiJK{Zq z!vEFi!vR_^%kV9O2{VS z>o0cdKRsUIsY{SZj?le%?eR0F;k@iBxJZ0(&hEaa`U7hFC;?NoNM&0O ze#rPSxnl_dVI>3-za_Qak@v<@)WMt4&)uRM@) z&&QeulM#icN952&=_cM(Re?QonB>-zLB31_#J@Tn!T-Sn>L&c!p9t0^HSm&q?VcEZ z<$;9g#&q&If5L=`iR$tKrd)cVEnSo;0nKwJ8QM_efrc{l}vxZ++DFczIXj;~>=*^oa)^ImuX`V&918J$R@H#vLDZox1X z9LV>j|prP23{n+Jcuqf@5%>O#jQ#j;t^fp#4>PKzG&9aoO1ZUaFR|{hbTy^nT4JZ**K%wc}DeU=Zw9+4O zx8;hn3uvX@0+}_FyLmGX_kMIuV*hRE_Z4;K|=Hhep{{ z0o364${k|i3Q11{Y@!`Vxnwo#thHZl81{Q6TVvGqu$)@F*;Mp^8vymRKP#z`D!bT{ zT`D_-L}*^yNP*u-d{@uyU}Rdgt+fb9Q*ZVtxxA-Lc|+=_~Le{V2uq$2*I=V08kH|xdqSC z^EOgZ*1m_hWeQVc4?-X}nW6Pw3QxM!U)@3Xu=FWcYNj{8s$&b!2gN09_^AS=bjS?A zawPS>Zu^Q;Lt=a8Y~2T1L(0%8tRC>wUzq%${Y5{)wu(nK!lAxg6=cTMqLs3T{faFn(r1jV6m6@FB% z5z*x?GE@Q2A=m@tfGWQa%KA?8%Jg%Ri>a;}<1$57UI#gU=DV z;vQZqE*lE5-l#3}TZN$*H{Y|I;j2RdQX}xd+t*8e#S9|}y_WmKJqf;0jH|K~rNLFV zpJrq#cXS-7ydF1I1DyN-Ygyf70x(qF7wBKHDRDxP@>QWQ#{Zw`x^8bN@uypxz<)?t z4#SCHi_@#zR&a7wzI!UT-l4xnKiaV7@As+ed*lj8&fFwl=mRDdZ44dHKafM+*hLXP zD2iu<+TlnoA+*hpAslo=8+;B49<${z8thabYB&pmH=L9qQ|5wBi3xzOwTlH(q1sJ= z{GHnNUfP|FQOr~G_Hf$%KkIW}>8xnat(+2jT?DviEZ|%|k#vNRYAsBD;^F?qZjq1Y zTG0`GTfEV0Bc3RhxE_3dEe1(_;5TkT`|B3x=*sB)pKbGB9nrVK9Asuy9}tOp@$^(! zjC8V{^Jl#{oRPC=u|IPnfSF)!1p6W{!w>>L%Eaw>KH4-CHfm%08nfA523Ld|i5pm} z>iJ>IM=_2BT7j!EHRyz7h#hkHKnf3UQ8gRgni7ghiZz@#s=zKZ)^sn z(`D>0e2H-#%{8A{CLl@1orBx1k^PTj}>!BykTUBQEh6 zlh0OE;S-Hly1Yk0;gl3*-8#FTuh{eMA!7Ytgk+Ow!bqXvZ01OEme3X|@@Ed>JS6#0Wb0Xl1y?KvJ{EbzG zK*a~sbxLR~N$KbwWMdPAl_U7daOyP3Z1A;u$r$e*C*nR5Vr~iI5gZOJ!76f9Pf)k} zIFlcI2kQ1@K;5}}pGa~q+=Vr_v0{wdmW=u(0j2c%JO6a{-E!JK$&;IZ9+G8dWGjS( z=v&o%!hscGJ75Q$ylG>oViEflOI;?96w1kukQAt+=U`3O`X(_&jQ)@gB(au+_nCb$xr2Fc!DAg;{hrL^gO zZ&tfpQja-q1`%(Jb}57wY-;79_`Hi0J`WmbR55vx?7+Nev<~{jo2J!%g{w}dhGTq} z^bQqM7E#BygDzpEqd+h@PjR7pmTmhhR9 zL_r!{{0WUYHjCOtK#2lGO}<24Xs`u5VRgt;Hmj!Tb| zB|pw%uU}coV4ukikS`C78A;CQeY=cM7aHzUgi+ZmFs|a7bQJ5R$lbwAPO#(v-<*90 zPFw;TA-*}|iK29rl4B@QJx)at(s8e}($_cXGUGD>J5dxaMzq@^PHtu&y1g{;pC!W`FfXDeg zq(+6Q=471dRNM@TKk#o7{O*G_Z7AnoU`KL;t-`z?TxKZUj2pjL^n!UNIxmD6CT=~1 zZB$YYDVG(eBGt6`>pq(j%l^r58WJ1^kDgVlA30Kap(&+DjyRjc`0x)oTxRLOm^L!@lLxEzXkIMbLWq>+$i-aS9 zgBY#B!SyNwhu}_+_CKJQN{sY^vM5}w;&v3B{zJk2D>k#AV)9#JZ!qLiyRf`HW~xPF z{Ql273R)KRB6k$NMfcuS>uEP?!NZu5CWbjGp7MpG@bn@D+H1%AFp*4KxBXo5@JKL} z-r&8{Xl|VH7lxY4A*P&@t!yyOluz?qxBA!owdA1DSLebK%4{KGL<_1galG>9*>d8M zlj-EdIKeoen+IA|$9!O6jmH{Ui$!U*I;Dr1R>e}Y@%#VAxU6{yFV)KQ7}(D^561uX zIs9c@r~PQoAq##~cG?UA2l1q&am_t-G{Z`lI?P||{XoUL&XT@2i4>@hhZKNQo|(|t z?>z`cI*+T`l>h4!wJ5Ieb^5I_%Xof^@&(sIPD9r0py_xN94d@aks(}KcUr)#4Q2Hy z*B-wzoh%55pA|fBg|X=>`h2SW-*kj{8U-s1#7E^L(Xw|=Y~t;hSN){j?Smg@*}I5v zND_cI?;vtK7l#?Y#O``G@uPW;(BE{$2lZPiBJ`?r`7CA=8b%C2PKiiAW8&n&M-|1V zXU&QK-r!;(g)%`qM2HHsh@JiQ#`$1xHgemwrpNCy&FYvrU2U$e*hct|L!yd!H-h0+ z84O#nenymHs_}Dah6=~Z?0d&tSsSJHfv(0oK(}yF+x#^(nksD)^Tt}Gj_8rMDig9l$eJknwY6-O4>0_SEd+$xulJ8Q9JhM})fPh*FAPh??d=`C_m_u4Dx8qlMgk7&2z)U(kpoBn*A-YAxX;x513{ zLDSPV#@m1g?5-WX3<0)rZjPd;w%Kvf_q3=B<-g?NOt7;|3|G#U?5#WsjFa)7njMpp zy9+bNoyPrN$XN#9K_Pu_2fp6T2<&2ag;}FEuhJ738)Hq7PF*)5?q3k18Jal&h#z~b zJyB*~kn(Y|??;fC5h!3|0JSp(xB*0wQ%~L5oWYD`6T$KQjmX7NGCD*Q_XhxmOHJ?jt?OmVwFk zpYtF@5Bo`#s2_^atc=D3npe#q0;0p_@o$;D=#ZrzV_+D`F2*l~e_S|q>Ip=;A(DAz z+3+=1`zVC=Va|%E=YIebt_4GhN@We^*zrJT8*_pgWNQ-RnJ7rAwRt`Ms@tO3#o_?y zEjQsM=*}yFnIYpo>VH+kbN)+bPDuYzh37*q4^J=W6QdM9W^DPR z8y=ha*j%vto;y%OB}}yNF_8CqIz%prkrh2~~7g^*841u4#Tx1hsq5C<8hp)@AUxdF>mkjwW{KdXQ6FVH!-aHJ7=Tu*oij({KSef1 zyd6-IfXnU)KtzH^Xa+jwP^dWPW+&;2)v`Z=UifTOt5LqPZCIG%Ms@eaFQ3-$RCm0s z669_-<87@d{(}89I=Ly2n6_3I0D)6X#PAXk#Y6d&4+XB{fw=sIPec;e)KqI|Bkt}M zeVQ;`rI=09I?w&S418353JF|2rI3B&;^=%-bitGLg{= z+!?kx>2(!+Y7VA3Uv>8UE)HTi;zGD(X-jYOULV#`-i}u2DED&icd`K;i0($uF*4S1 zO?HG39`x%GyDkQ*kXUs^q?fx}mBCGb;g-;v=;snPg@S$H;bUA9eB@R+tQ+cB7Gx)xi5kaa@%f~ zc;BGvD&bnrAa6!3dbX0Br<7$?n@L?4)O}zxDkDt!s)Fn&Z>Y0vxB4FPAMi-6M1d5G z0ol@WM3k?lmdXoy%%XYgnyrQB)M~HUXsYJ zN&X;A&JaQoA&6NRF+F2aJdkQM08|KxbQ^h!F1*@}XWQL3vX3q$iJ!@AhEby;-hTrY* z*mbbLa1-V%Z#b=JRa0Ox%5w+`>_Zg83zqMVLt&DYDb}ssK>QQ?1^9YtSgL)wH~FSW z%Hcm6(^N34Y?wvd5juWG{|puzA)BF)jrRX1NFH3=gd|}BO!Qrg*KJ)vH%c!k6aoN0 zkjKQ4#tai(BA)nuX#`D(9OPC-L}E#5Mu??s!9MZ06U-b&OK;+LR|ASpTR<;U!EZlH zML%jme~17-CNnkh(OM|d_#F4qv`)1)ctd8>%3DB$uoj9UR)~;;fH;8k|sT+x6JWie!38Q>Wr0^iEZ#$J(3_~S(Lpn(#b+Zcjq%0&LH@&D0IgNQ+MAL&aw z6WZTL1OUX>kT&Z|niWcb!K@$IdImS(DnWFh}Ret@Eqa0+NROL>nc(dXzi z?`5uX^prs;CLuo+I>Wa4$}#vpv^D)F)RXllBzQsMH41Znc?Q7RBTiZ*Sc&;vW}1br zNr>x$wnYYDKCRmGoXm-B!&5}|>chWo>;`}+>X3sG_k7pWWo&In_6$nu?2hLlZ0aFr zw&4q}Mks#7w>JLfX0QcyDOhHmh8zWH`yCV@@(LZRqK94h=*4QDm!tpa&9~xsGO$}y z?m_6b9aRnj(@4{3{sIGS@5vS_r-{KhL`HEt)BKuzjgOK4zDkoH&arlO>jjJo)~>9~ z-#vbmCfyypnc?8JXDNjXhc$^VU=|inV0bscGe~GdB828PdHA{Tn0voNPrCe+YL)=t z8|@(&*hR(7TGFY@T}D_B-pQc6miHeoCNF&QbBD{tj{OGUQV42m5buVbwg{5CypHAE zJU4fLpeFS@D9h!M`*bKxdLE7E;&s}Ta|VJQQc<+h>-FDdh;^SoF>9;K2J=vF>8#3= zkfpcEZUW&X^qhY+H|EhUdGK~*g$M(8o^j%YmHC(fk0V{Q1oIbIL4euFml=Jvc!|vd z>-VX4VS5AVOQL8n=+FfzhS<6MgS6>ZLJ1KG5}f)WrZy@w!}B|7UjB!>f;nnJxj5Ue zzB}4_uV~dTs?S^SHBGF*?R#FCB~*>1dHt5wfRuhaVf+aOc(D-><7y#30vxL9G`g}f z`4MB$QYPp|7?V6vwnqsM4K8M(+mnw=;+F8eyL;v;a9zFzx|pa)+l^xkfG|5*J(Pdg z%Z3{qz3O@dp+sy+CMsEUZT;G7?~~TCfY4`H2t9XY#fN%je9j-u8q((+$P??pw-5L< zOScm(hLCjhO&K|QWj;K*Z+(=wS5hah4CLUbo9crupiEC}OR0})eNH6RH>^NcP23+# z&@t+ZUGdErmJL`8Gy4|;6)7)pgWVuJ3VWtAvK6miU_e5watDrRnr^r$7v4J6tq=r~ zWf>z`>knH6LI^LFl!F>*l5x#e)y3KR^FYJ0UV@N@8M7MOM3Ep_&Qah-NG*`gd;5a+EDrfSKZcUSLo3Xji|$ zxf8-7YdM$9pnF@Vmj-G-4AVwFBEsQdr#a%Zat4Hw%sD1|px%?&*!{+k*T(`$cjee~UFMi$4wuX}fg zU>hsH@RJ47Lbcp0mDGw~APg4Q-g}iT@U+2wgaL%E?lLe~Wj`@+m2$40 zz439j%#_4mNn$fBYwCNL3^sB)qIrPf-+_5kB*Yh2?89`D^M;sce^cR+$*B!>WPx=| zSNaH9;Np*F3SNzP7XrdyO@S#-V+Df{XI`!L+{ljuZ$mdT!xOyOB{SbKXaquKs`|5j zo)GGDlk=7_-y+-OK-Y=cgn?o5ZH7ofw-cZ6yr|mCsly>QXPo;>mq?fn>5?uds9n^L zh&H$DvUBy#)W^2LXG%zegfO}+n#>9K7%_;^eBiAE#!DQNaixbuOvH=m{+n@EW&pKq zVq=!H=~5|C{4V5Cki7IoB&w`dzGiCtjpL<5c-TM=@|63)v{-cSb0avkWjo~gjF2EGhuU=77 z*@|!B(UJg5l^q1Tw!e(8iwCZ5R~9I62rq%E(0m4V3>r1vRRci4$_kbk1!1ny>AAy6 zka-gw0i%&Do&cu)?lAS!d{6m9VL;?bT96DColkZ_R-3X?w>8%z z?`}y(7>qd)V~#B*jL`Z=WAB_%1$XFhv#7^)&i#co*K@SdoXZ)dD!F)x8P%`g2OuvN z+=3)L3NfgZ*YMT>$%MGr5VY}Xi=!g0TrNZn-+mPIh7wE_@=T0N{2v1Iwn_J8_SPG0 z;?|Or<9rt1cl82Yghg#4f_0WpHTn^mKk<=QIJpPSh;WN6!OGX2>Lm)6+Oy+vHJ)U7 zs7oz6IcR>|1@k@bRgs+IWU$ZPv)6N&=_Li_1WaDFd-7&v+%164i^23q9;bP0wJcXj<1?}LyLC88d)baCX)AJUTOBoX z|NMqCql%&wl#U7`Ytu5A`t$OtXwCR~&s2|ovr^5}n9?|z4v?H+IVJ{k@Oxp6kj;jO zvgvkUKm0tRjT+oXD+m=jd);xcJfdOKs)Rb(HyMpi2 zDp+@+)<6KTG!`w5SLg3ljn5WShf|PW!~n4q^KI&($)(g=sd+7k$SYXA0e`mYLC&R_ zRK8(FG6YNNT(*P&Pp&B)Mzp$aaz3 z2D53<*3Ob_$ZmQ`S1l25g9d_>nOu?9*7HpzQoXZuy1o$sUPaj;a;^0PND=2QT}I39 zE5x1H&U{n}<@Te+o`dg0#S`q;)pyYI1L;80#;zFew*U@V6@D~r9L-Xr(s{<0BAmT8j#t!St;IF+NGd~>naQ5fBO=?i?q&q4|07@{ zaOG_)!eJ8J@k}84)L1)Jl2I4;!Jpr#f_{5+^p%8~Z~$eex1;bV9MYm`Lz;W|D&HWk zur_y-l!5#9r%qH0?t_mOp2Q6M?_l@wGdC!A*0`MBy)v=LO#zjOjGXnh=++fv z6T{45(XjtI+ zUbf0Awq)H>Ik7}-v52oaz4jsawfIOKaLF1aFIzw^rh4;2?eC6Cb1h{2ds-ifbq+S5 zgsgLJAJQwfkfQ2wvNxh~R@lZ9OYU}g*DmHaD`TN#Z$^8#9{i#h*Pj!_D8P0oy1I+{ zV_zptwhtl0-9ZIH-uN#He^<#xS0yJr;IFMf(lw+EUp%!}T6cvac(Il*Ca&=+(j=xa z5O;dC{f4^cnIWSM`s~68*FQel_nb99_j_=jlgOF@?G+ULrs4l-p6cwGlhtB(}+ue3$#IQEMFKG%IUzpNmh6X7y zZyBuchJq~4#Ei}b6Ze+58C{f;lzSZRzP!EFC~^q^d=0^>Q2@T-s5QRBC4WCZ;I%2_ z5UtA~^Mul4cuaGoHz^9P%M|HJ@#TneFkf^-h=_O_{fy2I$Wc-6p+kXq&9lq@$r3TI zs`V6b$l?1Ah7H+_Nqu8`lS&CIDSZRh|M&+=-xLtoqSmQ*k15rF9GCt?DGM&8tWUB6 zpc)qzhH%=wPl7+xPkK8oZ0Re+nw1`zROtxx-9YoV*f~!qoCLn{L4h2g>R!|vve!EKHMptQZ{P0E*n0qV=OpmI6Lb#NG1G%CdE z&A3&6G4T6!O2&E(GEyLp=i;*P&I-a}fxdz<$~zp0r1FEN3UhFbemhtj;^|+7`vK{ zg}+3hl|lU}bRNG(?4(G;1@o4OM|69=+|E0_y(*bd?#)@Zm4ilG5URXZHR9x!{ttHc zbbLRkFi{lcFi9iynU#Vmg@8jK?8XJJi#IC6dcl+S#l7z#Jo3Mm!rq(Km}Bj;;L9>! z3cAe5g{JKU2Q$MY$IXRAg(nQn>Q$pNNG&z}%HNrK+bel~gW3juk>8(7Xz#F{(`5vf zc(EtGP~0)Ka*IP`&kypPY)*F>2%`t=3_#hB)5|q_PG%G42GJoHB98&O94{Ewu~cC= zBgMNO;Dv1cqfU9I7zhf*9qs|Wyu+c_?iTp?6wa?sDX&!a1cT5DC2$z%k=49P=?GDT zM_v3*92_u)kmUnXgPk`Eem!Z`*LuD!qD`9a6;PwtP)hvR%N=H-_zv%b4T)mS_ZsEx z4vPHbPws)7XThf|s@^;Sz3$K2#cq(g z^kP|+4{*Q0I1C4Jl9bP$fUV;M5Gd#ubwu*HUeLH& zWn-M{W3c_u3othKxY9IHyy>MrGx-o-cNa{AM1~X@Bt~?TpZ@kON+YtpH&^gGP}efMOP7{`43$(xVXn~io>6#0aK5w z0RpQZmR4lPo;nHAhAvsqXw9FG5-oPv!0b_^z!Ui0p7W9h#&vXR6EqL)(gdEf8HCnH zo684kdE%77zAR(K*RfJ`3HIb*ZuFQdUzhuN3oRG;2B~sb5+Aa`pyBk!BXR!wP6YkE zo;SP#isdhj^@wWwe~|{ustZV}hAU)*(^wP`sywlFRM*p6hFQG$_iWIG)yxNl&qP#z zn$gt~GR+0}w?t1dsX<%}ctBL~kJJLBcqS7P+=L?JwYFip*-c;>0qqC}{Ty5&$7L%Px`FSOAvH&^?*a zO}Y=#t$GinH%R!AppQ)CYMbkPGD#D!$IwL&)KIb&dEw<0?zgi!a}%?OYohbd0QLd! zv`SfcXBr&KC=+qcYILg?vdv&pl{v}wVuMmzmz6P;mX%R)bK{)Hzet)K=JjapoP1_2 z|84E^%XBBB`r`Oa#3pluZZHU|NAK$BtS=$DA(MJ^Nj@0jti+)D%BcI0dK&*QVTMP2 zqTZrZH4U04Pl5$E4Vp!=TWntMdEv!~;Pfea3Zgn~9w(5LaS7$fpjdOxmhjU43Z1;V zJML4t3{*;vCpS+%+UFTL*qx}nZ-a0*aXT-LUt=e>StAJE0Hi6-&ACGesUmDR_1GUv z^R@!vHTCDVJ0k9NakvN%3&e58)t9YR_K#zlyoWE8z}Fque^Wf1u%&S*0~iN3qB6I5 z>e#Fv#fqxi|=%@rVpcC^DMkvOfZ_reHaNBatHC z$ZbyZhF^IL!4z#xEsoqus+hZB%+0<_d4rL@znCI%$?C=xOj*#@m&ooQ+AmS~G5q=E zcfhvgQz+jv!RyYfD4J-zo(V#1gYOW4#RZ$-vEUAk)UM&POf<5W$PEr(X$dy8Y-Q@e z)w<6<-<9P<6Za?0WGs$6F@i)=^cV%uYSW-Cv7GeAm`y(B7r$El#upd~QWUMF+e$3nCbdYYVh4Vf8^vm%nF4$G_X*9jn9 z5~BZmKUT=lGnbS>dU&TC7SIT~`zeF8%&m;F|8W4Juyueh%8L|lF1khP8D(GzOho$pYe@G!CHiEU0b83H>8;?Lg{M(p9AxyA{9f zT?GF%x;&&5^@mS`gz9`=Vgaa9IYkw~$>$ z$Fl1cnbK)J(AV2n6_9JDLZ$0Zj?6b0HW>}oT&TY=2Y(8Ed9BP7zd-Rr!H*K4uIB>C z5&y%zIh5l<^B6)@TaCI1^8+)ndeOPz>~AjS(osA9Oz^e0M83taKn~D8H@|@b`JXqO zQ_*IQK#F+6r<2GlbiI4)Uk04BI~n9$yfUpGM^4!H;XP&r&s@ULgBro(@BZd@fqT6t z-_gJT&>EN^>_1RPONIYPVZ(&X-22JuWyyntlEeZrb%$yQd9yPx8pw4k{*?H8p(w#$ zfUb2-ft`@a_y1S#n(&a!1v+pO*jPLRrum46M+}xI5Vlvt^4hYpE~D|6kqGl>!m+R^_BCd4JC0j;!Dz`}#z4V`5C@yZWJ@ud zNzvda2~bxWVxHyJBj-)1k7Ht1G`xb5TJ9m1+|{cmmg5t+`Ibre`MC}^*CxA|vb8U^ zU_j)E8PN;|bihk0cb25aTm8ENZ5(PLZhXZJ2lDo~zN%;`4rF07&spdyn5%AAt>WUl z-=!Xdb6@K{ARwt#ELys2frzz^+%`52b6|)jMS%gv>UE68NCvLTvV#oB)%scg;@2PZ zqSXZU^g#!qRT)gRFTr$OX(LYJPl6j|;mv0qnDK2IHm7+CYM4O0TR$a8Y@9i?#+kL# zrB0vfP64Y0!fxzdDHb!V{?6}J=ZJ^&US0A$W!*>D2p`ht*~_qRQVPL74+)d(Du#5- z&eI@kuqN34WWS*y$*S{0m7=MNNCa~$7D|l=#80D0kxPMM z38y7D6f=FN<(``Qz7V)~dWBsuSB|}Wuv}$y%TU=0nY)wBUhOuWlEFxS|49S0BFUbk z5ui;0zY*%&CL$3Y9(qBQv=dyp^g_pvq=~Y!I>QP|JaQ~P*>C?aR0zzI+Y^epgbV}p zwh4Yukb!q}h%a#4;sBj-7A@D0w`10sZD{ApxDJq%^2lqIByE=X2bxx^vBN!$XRyJ* zox<Lh;5tY=D>fGJHK;#2G$O0? zZkOUfu%|y_PHi?<3+rR(Uxp}hY(+O}zm;}H+eKWYXhOkt+?gG2He}FEb=3&~38$g6 zct2%wHXWYHnvVu53A|(bz2Q>&LmVR;a5sL81X5(ttVMCdGSHUEbvpny#;7d`D>&;%l1ut(YlY>bv1BkhmZ`vXRa44${h+*oQH>s^8OPup$Dp~$My&a zlvCBVM<->DqK>I%>VQaY-XL{C!dz3zg_DppIk+{wot*t#yW5V_qOg*&@!H=^I}6UG zUiX_&Ej*)l6TzLw-_{DuTAGh#FAD|6oWhPWoUx<*1TbL5f5YYL*B(CbaoWO&?LG0K zwsd(FmzNb(T>KvKonnM?V#_18Tkh(55b?Jd+#fR+j4~5?8Yw9XgQ{@5u1Vo3#^^j_ zT1MzH5R!Uz7au7M<$dvo3OHYIABa>Hjv=i@PC1PcYt-%d3rrkN~!`q|aEf`iHPl%xPkwy)F z-Yv{I4e>iyCPr9K-o-ua!dIDr_TEsQOgrM?Plp zXP$oWGl;?(r#CAIG@E&@DLmW)TZ`B)i>x2wZDTsmkn|PZo2<|h?Is4NzmwR}W(~+7 zwRsfiS}xZ;XhEQ6v0Jj3ynX#%{}op85tF5PGan`VW9Q4Pi_?BIzp+ShDx_$gHr;nB zu+-#7@Or1P)xruyNzo6Gh!v&oB@$cX)DgzL?_Nu~A{`6J)ldr-Ln}sV7GCvRC2&W? zsH1-Mh$WO_Xx9XC7g*Y^(X`$q(Tfz!#yZW>_r^r92~jO8yLO5CfV2Z6H=+7e`iDJb z5(8+ebS2@o{EC5v_n?Hk3V3kG+mh#q<4136&UNS<#BGPMXt{m-j{@w^0trK4@z&4+ zFe2+km@Tg)Re~mg`R=`7CN3wYe@mQm2@cOMT!v7VlApYzQq$=At3h1$Ax4R_SPNkH zpn|g$|I4hFm^>GCd1wTDOal&2C>mozEv~tMDQ5mnxFx0TlHI4c)8epAbMR&?ahkfX z#)A_pesjR8$j=imL7(#ElfrB9R7nTm6kjGx3+rdA)5@&osrP-WDOGc;S#1bIx`gAp zwA#x{n%rEpzz66v^@gsG3$J`H;|$E&Tytw=3>UtP_F7qg>yC(G(0X$be166Pp{9w$ z$VA3iYB=547_)112)b%18`so!9iOYIQd6Z zt#e1?!%r@BNk`4FztFCvwUU#Co%J6`V z#9%THP_!}=)!u~JYsemSnpRllF-RLt3lK_gJm$PKro9K5gjA>@yL3<(6LH<-pNM2;ZxNWg}oo%#-DXFLGgRC>yUAp-?33BN_A2?Wx1r`_G~eVP#wVbMakUC9w|KJq6t} zU6f930@KQf1R#&fZn((S-IJZ4#e#Zkjp)ALW$uJ6}JGN zqF3fs(j7B=oUbewYr3_cdm0aemOqpPrOSBSC-NWLW^ZvM|Agoprhf`k!&Lz$TMjPC z-|x;^;(>nUeBe=I5jX4n=O#WeuRwEo^0jeC_8nCR?aa7MAQ2TW2xaMbasV%i8aeRF7d;WATi z*b7pNG=LD}x!!-}!+dg5P&LK04t{_mtSYcxG=+8_HJ@sgbglil$Qk8mrCsrfP z2@aI-Ng81jPeKDa<*bBjCr=W~PxB45LZ&HUjB!p?} zV`0#mUqZKXcVd3;l*JZ^E3hV(u)S{x{2P`^>??bLyE`%L1~q}x4-pXyf{f_-k>A&?ZN_J=xGlYRB?N=gL_)|qL?@hvhG{mg zgnwdckseBqdCB;sadfDC^bsd^vA}Qh3wE562P6d9N8&GX%IEcKc-tdTo;nNPXV{<2 z^dUOR4>C42t~T4G{j5J@77cQ0{7uWZ_jDOxX>;Iciy}n6MCs=7THJ&$9MA2s(7~d0 zFGTPF;d&sYf0Ls=m1sA=#co+Mx`NBvOQS5sfCNJ0ndU0d?sCI;n435AudLnXm}x>n z*@eA~ody=hBlBIuQQgB)yOporlc{TJ4En)sa`Yv=slutJ7du2nefg1~1usKKCDC_2 zgI5IbcYnngl8eO1w{;OI)*I>ZP{!jQCPhrh<#kNhU$hr8q~B*b1A_59u$lH*zz`gv zau#b7S$e81Hk$xoeS-$~m>6dAL=Ah&r0}In{}zQ&5X;G--FkU7vv;+)*U&-vf{j%SHOO$@;8iCfIP5}+~Vl|rzB z7vV~>oWb^?>Vrh+67%dy(^JW`a7@23(Gw$-X8sTQap#~?5uM1x-cMHA7bgAQ1VFWF z#ZbBy$7D&9NdnBQPYK3vKk0bf13O;aB%syi1YKO=r)L83EX79>c9_te4b}V>`307; z!XRl@f!K)NK}_AxUQsfHsH)0t8b75IZp2{vM64nM+ranvN!Nu`>>(r2xO6?FxMN2- zQ^IZ0Sk)HA2#;_mhPf#SJ+%I5aZoKClys;Y z1s9C$61o;z2@b6;EX!k=%l)M}&xd-drt%laW+L+FBl4vzO1JeMObKCfWDI2IR?AeJ z(dSDaB>Q!Hv?jho<_8*9|0;Maqw~vX1L^}@W081#wM@4qZo7{}@aeW=NjM_*DL?U1 z-SAh4HSk=_dw&6|qzQb1fdh`CJ>;j|YesRbuPX9cRSBUpE)Lgw!bns10+tPkJiegP zYh_*|+=A>PVgYv6AI-97^?l=PK3+WRBq>=Td>x8{YNJU^NFaaUhCFOh>7~WJ=FR9? zn43o~Qr=56?CS9)8ouN|c17)S6t`6TgKivcR_|31Wk@~D>!n3c>?_Nihv9RZgdRh_ zsS7yLa{T$fY?cikGJOP#(%YGZtT-20GQ8dIFZFuiWAX~3&!0?&yvC8Uwb3a319>n) z5dog*zSllsqpO142I(MUMZ%7*mV$5*B~5u)xAO7ND!up{!4qoQ>T<<*Toc!3h>!fWR!+(iK4?T>@D0dGub9;Gii(j@_p7+Zp1^*L8rHzhK^Ou4 z-biTn73LGoJd3FWf=sINFv=b^vR9m-yo}H?7!6NP&anNeyr&J_^RL%YkxYuunP*ur zs`L(~@Q1vHS>v5WnKF^lx+QKSw8%fZ_EnnJ zSg6{h@qw*5@VjyEt#V67+5gX_xinCdl&RMoE)aji=MwpjJcpCDQi9p%FE$!6XE|@; ztBGO|ZakZK^nzcs*a2#Ue9>02oZ2!(V;i+#4$-y$+yYpji~Fe zubimQI2(W}F!bT}cGW?BxRj6*;}SBw>9pAGb<^lA?o($y?(K?LDh|c1aA8NuEtTOj zqUpCBa&_2tq>C=Le+GS?&sT}S6Vw7KnUX!AwD$x9(k+HOxtfq0&0MT+c)Y!xjhc1k z=VAf%ZL+nP+VV@*DgYqxBc}>U7QV!Kba`R$LIvc} zvDT@-CN*@HVL}_$5hCVd{4IevZ6(kyMxb;B8H+vcjl)chV~)2bN=xRP02+l!g;hp8 zK>I_OR1-L#q$Z34U%)vip5rQ#$grs~0z_VOpJt04Z=}!A%v-E-huuds>7uzcWx&0? zcD@%#`As4?hG(U~Ua#K}#_#I)hQ4a$5t-*!S;5rFHgGq)lFxkETc9_-n6BOlc=Yds$Wfbj@Z1VV?!-lo_WUAdEhWui*zMY!(fX&dvnHZ#sQ zn5RDI>~Y=M0(Q_uP~rfD6kte-)vx!)usGPk{%JiXwbqk8hyV{Fo`@Dft9>` z28gq*b;RFrj1kQ*)_vnrmR{e|@nYS)JHo6fO$_r`wod5?Dp$L-%&pq70B9Sv^|5 ztf<08NPd5bCpW5?{ENSiIjGaEld^zG0k3yJ{dITxU-;4|o=-w*RD+3^B+)~a0{G#V zrNSq7w@j^=&LOPbl8b!jsWqbKqCm)9pZ0=*%1>%zVwLgWIYFHtTXA;iw z?8_o&akQ_y9}^5eb}oayC-&*jVqy8>oIWqn=DbS?S+DIJ=H|0{y0>PVl|M+_i~2}n z`=94fO#?M-LLk-kjjd|UL1)joJqyghujPAhSCrg4N?oG*QTmij0^!IuL_Env&b&ZI zg}-a^j%=>HSwp8#=+_iO;&!qG{^7bEIzc6g=3G`67VbDs78P#rPp0Mt%WzV7JQUNQNbwBt+9V|+vn2b+OOuXv zK<4*i35-te^ZSKgz6>D0J%#d5s3;|Qo5?>0QadpQPRFh&4Fce&N7zJhySRrmCA_F0 zN9pj|G^?ZHz02WSrlnH!R0g=$u3skuf(9$fC{?3pz$!4-a(-`(aNN81*YYtA&<>m4g?koHz zAB`+7Q;t_Y9Hg~?&#G_jAqpAkTkT{`2NZ<7-B)q$!(V4GF$M6J zrXvPI#48LT5g*b|{N~21)->N~)i{YY!F)X-KWHSYI54A(#GPJe&--ZaHJ{0r%bQV0 zo?JjKr8s{KJ9i$a8;|4JXjGARa$mH2`jJwzwhavQeYm1sZb{>RZM;SxK$73ReNCuC z;CMl!+U-T-E&?QYyBf#LiD&G%_!)PI6A!7&k#-O}_ezNS>zIyO{;ChUnc7x0>m&dG J00000002(7?acrH literal 0 HcmV?d00001 diff --git a/docs/source/public/reproduce/index.html b/docs/source/public/reproduce/index.html index ea26ccf7..4fe73bab 100644 --- a/docs/source/public/reproduce/index.html +++ b/docs/source/public/reproduce/index.html @@ -355,11 +355,11 @@

Quantum Research, Made Executable

Topic - + + + - - @@ -376,12 +376,12 @@

Quantum Research, Made Executable

TC feature - - - - + + + + + - @@ -391,7 +391,7 @@

Quantum Research, Made Executable

- 13 reproductions + 14 reproductions
@@ -479,6 +479,22 @@

Figure 1(a) ยท Thermal energy versus temperature

quantum-algorithmfinite-temperaturemany-body-physics
+
+ Figure 2 ยท QNTK diagnostics +
+

Figure 2 ยท QNTK diagnostics

+

Towards Practical Quantum Neural Network Diagnostics with Neural Tangent Kernels

+

QNTK spectra distinguish trainable low-frequency circuits from expressive high-frequency circuits that overfit TFIM data.

+
2025Francesco Scala et al.pytorch
+
quantum-machine-learningvariational-algorithmmany-body-physics
+
+
Figure 6 ยท Topological quantum-walk edge state - +