From 258e092731dd71207b2d39940df19bf9e164f10a Mon Sep 17 00:00:00 2001
From: miha-q <>
Date: Sun, 4 Aug 2024 22:01:12 -0400
Subject: [PATCH] Sun Aug 4 10:01:12 PM EDT 2024
---
examples/deutsch_jozsa.txt | 57 +++++++++++++++++++++++++++++++++++++
examples/ghz.txt | 43 ++++++++++++++++++++++++++--
src/index.html | 17 ++++++++---
src/src.zip | Bin 336381 -> 336449 bytes
4 files changed, 110 insertions(+), 7 deletions(-)
create mode 100644 examples/deutsch_jozsa.txt
diff --git a/examples/deutsch_jozsa.txt b/examples/deutsch_jozsa.txt
new file mode 100644
index 0000000..4ef1564
--- /dev/null
+++ b/examples/deutsch_jozsa.txt
@@ -0,0 +1,57 @@
+qreg q[2];
+creg c[4];
+//======================================
+//Four oracles enclosed in comments
+// They are constant zero, constant one, balanced same, and balanced inverted.
+// The actual logic of the function as input (x)(y) and output (x)(y xor f(x))
+//======================================
+reset q[0];
+reset q[1];
+x q[1];
+h q[0];
+h q[1];
+//
+//
+h q[0];
+h q[1];
+measure q[0] -> c[0];
+//======================================
+reset q[0];
+reset q[1];
+x q[1];
+h q[0];
+h q[1];
+//
+x q[1];
+//
+h q[0];
+h q[1];
+measure q[0] -> c[1];
+//======================================
+reset q[0];
+reset q[1];
+x q[1];
+h q[0];
+h q[1];
+//
+cx q[0], q[1];
+//
+h q[0];
+h q[1];
+measure q[0] -> c[2];
+//======================================
+reset q[0];
+reset q[1];
+x q[1];
+h q[0];
+h q[1];
+//
+x q[0];
+cx q[0], q[1];
+x q[0];
+//
+h q[0];
+h q[1];
+measure q[0] -> c[3];
+//======================================
+sample c;
diff --git a/examples/ghz.txt b/examples/ghz.txt
index 7cc4b47..b37fad8 100644
--- a/examples/ghz.txt
+++ b/examples/ghz.txt
@@ -1,3 +1,40 @@
-qreg q[1];
-rx(1/3pi) q[0];
-sample q;
\ No newline at end of file
+qreg q[2];
+creg c[4];
+x q[1];
+h q[0];
+h q[1];
+swap q[0], q[1];
+cx q[0], q[1];
+h q[0];
+measure q[0] -> c[0];
+reset q[0];
+reset q[1];
+x q[1];
+h q[0];
+h q[1];
+swap q[1], q[0];
+x q[0];
+cx q[0], q[1];
+h q[0];
+measure q[0] -> c[1];
+reset q[0];
+reset q[1];
+x q[1];
+h q[0];
+h q[1];
+cx q[0], q[1];
+cx q[1], q[0];
+h q[0];
+measure q[0] -> c[2];
+reset q[0];
+reset q[1];
+x q[1];
+h q[0];
+h q[1];
+x q[0];
+cx q[0], q[1];
+x q[0];
+cx q[1], q[0];
+h q[0];
+measure q[0] -> c[3];
+sample c;
\ No newline at end of file
diff --git a/src/index.html b/src/index.html
index b1cf8e5..257c19a 100644
--- a/src/index.html
+++ b/src/index.html
@@ -413,7 +413,7 @@
if (instr.includes("=1") || instr.includes("=0") || instr.includes("ð"))
{
var a = parseInt(ProgramTrack.STATE[s[0]][s[1]].split("")[1]) - 1;
- a = (a + 1) % (ProgramTrack.STATE.length - 1);
+ a = (a + 1) % 14;
ProgramTrack.STATE[s[0]][s[1]] = instr + "" + (a + 1) + "";
}
ProgramTrack.draw();
@@ -529,13 +529,17 @@
if (str) {} else {str = ""};
if (str.includes(",") && (trackerElem.innerHTML == "..." || trackerElem.innerHTML == ""))
{
- ProgramTrack.DRAGELEM = trackerElem;
+ $(".program-instr")[0].style.display = "";
+ var w = Math.floor($(".program-instr")[0].getBoundingClientRect().width);
$(".program-instr")[0].style.display = "none";
+ ProgramTrack.DRAGELEM = trackerElem;
$(".program-instr")[0].className = $(".program-instr")[0].className.replace("menu-hidden", "").trim();
$(".program-instr")[0].className += " menu-reveal";
$(".program-instr")[0].style.position = "fixed";
$(".program-instr")[0].style.top = e.clientY + "px";
- $(".program-instr")[0].style.left = e.clientX + "px";
+ console.log(window.innerWidth + ", " + e.clientX + ", " + w);
+ if (window.innerWidth - e.clientX > w) $(".program-instr")[0].style.left = e.clientX + "px";
+ else $(".program-instr")[0].style.left = (window.innerWidth - w) + "px";
$(".program-instr")[0].style.animation = "animation-reveal 0.2s forwards";
$(".program-instr")[0].style.display = "";
}
@@ -887,9 +891,12 @@
$(".program-track")[0].cellSpacing,
$(".istina-linecounter")[0].style.height,
$(".istina-overlay")[0].style.height,
- $(".istina-basis")[0].style.height
+ $(".istina-basis")[0].style.height,
+ $(".program-track-container")[0].style.width,
+ resultsChart.canvas.getAttribute("style")
];
$(".program-track-container")[0].style.height = "100%";
+ $(".program-track-container")[0].style.width = "100%";
document.body.style.backgroundColor = "rgba(0, 0, 0, 0)";
$(".main-table tr")[0].style.display = "none";
$("istina-editor div")[0].style.backgroundColor = "rgba(0, 0, 0, 0)";
@@ -950,6 +957,7 @@
a.click();
a.remove();
$(".program-track-container")[0].style.height = backups[5];
+ $(".program-track-container")[0].style.width = backups[13];
$(".main-table")[0].border = 1;
document.body.style.backgroundColor = "";
$(".main-table tr")[0].style.display = "";
@@ -963,6 +971,7 @@
resultsChart.config.options.scales.y.ticks.color = backups[3];
resultsChart.config.options.scales.x.ticks.color = backups[4];
Chart.defaults.font.weight = null;
+ resultsChart.canvas.setAttribute("style", backups[14]);
resultsChart.update();
resultsChart.options.animation.duration = backups[2];
for (var i = 0; i < $(".program-track td").length; i++)
diff --git a/src/src.zip b/src/src.zip
index 9e9c6b02640433157bc30d8bbda538c805a06722..e8775f37089bd0427ea18072ee997eab04355e7a 100644
GIT binary patch
delta 9071
zcmV-#Baqzv!xX{96o7;QgaU*Ev;_J1fBdclS${Nk^2j0p0BWNE015yA0BLSyWq2-V
zbZufp^#!fJdOpN1UT42_s;$*|f`5UmY%&%e}1!p1;vOzWv4ve`KV_
zN$397h|#!n|9vgRRl+)NUQctDv<~$M$q7%-$w;z6JK*C?NR=P*T=A5KEapncgDB4f
zB3aT7ay3g>K4MG-8d0fs;`CnZ#2$-rs6@!ee{{&!1<-kTxUVnb8To+pX>>l6qDbQ~5{Zxv@?d>{
zpC&1CCPP>r7O4hFMar7w0t8Q@gy#99?M#ZHq~lYfVxWEi-}?q4RpEe+c`|E|y{;%E
zXOg_mCVTtDj`qn|q$1B~#F{9g*i?ly;ls2+B9FWlP8c7K0KG4gc#&C0s6ld(@OT9zp;-=7?g?ixA_q1Up^{*r3x=Zo
zgoO#6i2}3?_>{#?;3VVm^wIX-{@!V0B~~<`8U}(KLpbnh69e_goJ9m8YKACpGw6
zHU1Ye$C*rUjH6R__~;y*f2X;USHZq`^zeSOR#Y;Ig1awA49h`j^NRT~;jtPuNWE5j
zSdT|`)sBv8+0?s;s~|GPMGB%ROVGsC^pYr9272M8moho$?=#T!cs4E1nl+!i?WGHH
zX|QRfwvQjXkQt3*o(>zNriWuHhdjlR&qgg)Q#0
zpQTNrCvv8W45k*{d>Y(b;GH>EdYA1#IAX~PKgQp(B!b5K4@L>2a{ob^onOX?a}!Ck
zj7eabo9;^sWEn1n5?RQ
zb!bk_7S?Pm;yld?Mbs=~?O?zY77!krr%+D?1SMf|ImY(5i}_umYj``*hYIoMOPE8^
zvv7tmraTP@m7Inn9>*+g2TB$!0HAfGci+Wz0)+vA>c`WVe@)v#SPw`{6%7~EM2W~5
z5osh++@WKZ7VSVnQp%JJXac1b6_jc~5wMBLfJk9{q=^_>8#R+L(NYrHXGy~1{%p~u
zPu@xUSQ22?B|JKB2ReAKAw#9w1TA`gHDtyg7~uf2
z5uV(G|J6smGeIlUlz^CG-45zL(-w{%vx$^NS20#!e>}e0!I24|MJ|&iC5=Miq+ziwg11H|%v{`(5A^K9veGAk#G
zH0a#>>gO%!v6!TI{y5Wr*k({5^N9fJObmt
z`Fa5de;%bvD!r4nAN3cyFUE(&?
zUY|!xeQoF~uX9QJ;gY;wDiw6ByW3@a`#TS+ZM`9%-4SMCT%gioB(g^mA)
zQFe^>9nko!$W;aXuWSr4~H_)xa6#>k6_i
z-ASF)3TJEi=IV7{rp&`bLA^_JvsqbQBr5OXl@>A0REZ*=ejkk^x>GOa>)i^mlokjjLoP_hmZ5$PuM0N+;}aLAt`W_cx`89!&xsZ^`3
zFTG188G*Jk!KPz42ZqrBgovvJjFbAQqdfwn+NtJ8gro5%saF&mJE35o6e-Ii
znz71x)pVmHjV&3(KVlx8TqEc31>}7ae*{}uJrhP@ZtJtgN+tQYQawmmI#dACCN=cm
z0p>+N2aa?I*CZHPu8`CXU|D2P&Rv6E(Fy*7&Tj}csMT_VB8`w=7f!r9RdmYjlT76M
zBogC{O188NQme}+Tty>dxV4$K;iowxLHF&TfkV#+aL8r(JZHTYG>8O4gBF%~f187Q
z`dp7$B&7DH;jC-!b-JxXE#eB`h5oS=ub_A9zw@nU
zExEPLx8AOZxBiiD-G8!hS6;d9rAs%5?EYKXu#gV_Q9g8gxBiEi^=|!pG4olrHD>>I
zo?W=wXDbU2Szovvr801wryMlVh$p1RQ#&G>0@|e-3P;g
z`|u^Fn)>|B>n}A(5X=X!-FP0j^aW#1d*enA1o17i7kc5<7hY@loiV4seB;&USLt||
zHwb2a$DhMXJ-9ZGv=^*vt~14wPIOP;U#Q+R4Q=J*)X*=qKGV@Rf5_A;w3`|zZRkgE
zj8sQnx5afYEmD7CrBY(RVHT`i7lY=_O1g?w!gHy%Q@~8wgj|=B&MH8wI+THsq=Je$
zu+*CH(?T2I;o3DY&)c`VO5dKHo^aIs55X4%=
zE!6)JV(0EvR>lX&fBbF`fYffThfyIXlU@72VU@Hm98X*Gh~x!Nifk?$&^i9
zM;X)Un?MTdOQfzNl{;$8T6aiu4f@IX6%)p`8BHG^jpoBqe=FH1l(dafcjJTOyx%cv
z?XSJHph})4HPXOD^TK@)&Zx}UE2*lKqWBwbOJi0^=pmf50UuPN6TF7@;TxQ`+xSf3
z3u*($-M@Ct3zABobabq%F5-Q^YR;vTsjpkh?UNxZ27!j?lZI8
zXWR4o4ANkIe_izLwLB5dmKNJbM2jrl(Ftx|o)&D8?aT!3&8o}ZGd){!bM{90794J2
zdLLY~X@iS2CGY9gJJYMzd?)p-_LA)F64}{~vUf^k-``R88Q)Bh=;q{u@y`0ie(z$GHaOH6`@v+e<0Z|7|>qQB2f((uV%h4SJ-r$
zS9A+G?Dtk$jF$=*O0O3#v$wnwkXkJ{Kw4mekvWPzY1K!2Em-oBgdGy$7~#C%8pPK#
z*B6lzfAP*!B_DoB*66n{q2JjM9W~BgC2b?)-xdDx5ne|!9#ora>^FfOrF;xCnl2ar
zLrbd7e@Q0D3t)(_3S=adcvVc8>{4iAs_W5335;6>V~FOMgTu$TJfi*=Lpp!SXs@Mp
zyndNNSS26ms7F&Um^^@IJCa~nJ0-Z@k7%g|i&b5^qyi-f?eZt*!WcA|
zj1k`mrZXbwgSI&62&UHWh+}zlf>_~E^?QTiXzJx!*}Qz+T{fiV%SIk^vZ*EDW@G_K
zO2@v*O9vQ~4#4x$={_7^b8@QFM|T3{f1wHC^G;5is7?ue0Qe>8uj
zM<1@JXBeFN1bjxm==W~G`xfHyj}toYZNMCZR>&}rkX1EO)#)Y!(XAvmN*fKMxzN+wuBYY$&NdF)N~bK|wA8y`K$wT{PQPdzy1-9YtZ
zjANUbH=RlVRXG%Lc33sH8;LRqf0*q0$cQh7SO*9rCIS{U1d>E@-u#GXhgyW=AHneK
zHBN#?a~NY+4J=SHHUdKX?|`wtyTQ9RWQM~$8E_JN@fb>)F|gy_`+WxyUH-@2!ih@Y1dA^P`_ml7d*fA^4-k|vc1
zdPMKvhVL2l$lvFhNExu33#3%sX0npn19*+}7^z{!&l{4cGNbSV+wjoc}#hV1tl9vA*9lX1yU;47m
zTw@Ue+uT>wk(@O5OyIDEe^|+=4K8}Vo<);|D|K-4^~}5eX-vXQbL!GiT=J%{FGK)8
z*z@5J4E%wEw^^G6XQrtC&Q%TwKOc96A{~fGf3ckx1^h?fL16wKZ-Sf_Fon^_U?R)S
z{qf~n@AgbKOS>ckc>6ZNj{1^nv)Kh$X_zBP&y^{9Gg5qb3+<-G9Guj-`epv3RKOqOGDGb4MfB}I2V$@zm3{*lo2LMX)AeX(siU&>Xf9@P)hv}GGH%HQr)1~G_
zTUeTyRNhEzrNOU3(I0?icux%TK5@gJTSeZCUT2F$)fVyg4RcC>JY7&mhp;woS|1Pve2MZLR
zLDO6{L1`)mGS1_*YipDlxxOdOQ|ZvU4MshM_!B839_xzdGCe@J33sF&^)Gj|d-J0D
zB)+I6G4wacuD!cNrUI2hg=M`rCx#pu>5vN+N}-H5fBwtYp|x9%Y-g$*-9~WAB|kK>
z&^^hm!uRivXE*TI8I_cD!5rz(R7XLgZWuimxdNT
zH`3B>*s&aov(&6mJa9fC_b1@&tf@n$+)m;fEi_?1W67nw3te9vAMOfPK57jlb
z-O~B8e~FIM=^UXmJIRs^u9KUg#j}s~;z;NeD-cK3XRTV5J0ggAT2f01i7zGa0pAKB
z)%o|N{{3qpbC}Mq=LZ>zDNQSetA4gk$Gm@3A^W6dq>^X(`#?&@pP?|ELmjDhFy1bt
zBMCmSNRU)O8ua)7de?)SE!KQsA}NuW>L-hFN}H`Z9hE
zh}iGWDDsH$BGli4vk8mKjS9+zh95Df^#ZGRacB!FjfT8-hIpjCuU6CfYU!u1#;8|4
zf1Eu5UME}Mco4-g$>U8I{1hKFLY;)AzthCYIQ)VWwKd+Zl{k<~DcY$)ug9VZ6X*M=
zesoc0ovJ>B(%x0~Fbu6Iu;TS-hwgTzs=rYMx{RQ8cRWWoid9YqWi@vfBds1Vj`c#EHP%AgZu-
z0ECHcy0KS*%2O8GKmLS4FuV(*VD^>QK8f00FpM#o*wazXL2!(47$(r;(@cm)!^obs
zQay~Wg2;YYN<2j|qWxD&9ci~TLCR&N&X5_bgufUgoVx*hwyEa$-H$j-mN#e1e@F|Uh89jpKek-wWw2SY5Y`{GJ|c8O(KT3eHDv?ipLNDw{urV9NI
zwIb%PZefZEmb^bsmvH~b^Y^Q|qup)XhW%cjLd!5TS=)T=ZrcTI54WPjHtgfDVmNGF
zF}SIl^Oib>?cTK*?%hX|@3|L%ZRjdvnK-jHu0#2~e8RbtvzC1hi`N?~v&8*s(}MPk5Bs`S4e3xNAws?x=)
zU8>T>s}HP7SYTL{Bu-eB7*MK`YpD<-{?MB%6T7FbB>1=vJ`REZqK7>GfBBpH^LPB|
zE(l-eYIN%4Z>Z&?oJ_Na{nK%kwP9~_poUS%LuExq2qIWxokbV6%`}#XqR@7_`^H8@
z_?FJyMr6$~A@Kg*&AP~I@JU)I%URNaqC+QWxq|P_-`m&8G7hkK
z++=ZmzurXSN^G2a9NB;ue`OcRs0MA0RsVns4(_??YUOe?(%HLA;)i-dFOxh#fA3c=
zFzEj|dBI;les|M%Q-BQ)s|37{8T7gR>nPu+FoCFyX3V%wa#_sOC8dp^_eES5)I}}{
ziok#j(I6;5A{?6&_mxSHNDX|&p$R52aIM&49xY=i_8;|#f3D+2f0Di^e~|dg)m3Gco|(|MKhFJs~4yf?9
zEpQ6#nSDUP{(S~CW3&C@G`2}kXV)TJf|`O5+Y|Cu@dL`DyQ74y`NS}i@#h|%`vp5#JVMkf2h9F20Z~&?pjrm+sE1pWYc2QN!Z+ZFR5i?u%0CO#wVuvWz463B(n2
z?_{nP(BfVRf001G#ysOty8)*ljB!=fNiMi(Bo`!L0>r=1_1~H80cHNk91~PjuCDv=
zbxZcrh0RH!I
z+_{EarAB9FMLD!7Ph~zU6;?_yH&9{0vbd18Nbd$iJzW1Mz0hIc4k{fjxO}pC>Fp6PN915uz3un7Fz+IkP3lg?LTpe4?+
zrF+iQ6zU)BjSyRsJ6RK`AwB!xopx=ue{riZhtTf(Ym}4h(|zW@Q%Co;$Srt$6x_J2
z3hhRN_f2wT5}Sfy_vR$<%5|v!|uIs@arzVe@AY%
zNGm(B$m79VLE&{%fG=#4JzHY)DuJdUTyb2ttcwS)$-2+L6`)6#_z_&Eqm|S%yvyWp
zD+Iob%a3H%UpY)|cypiYFKfZ|z_O^YXsvemI4q%c3U~{}w7`21cx^+^>qvaL55eKR
z6EErBi4fQYU02~{K@bc;dT5&Ke>~7{nd7=;phgznT->!4>~&Nmg$J@_1U{jFtJ+>H
z!jNcDtb;2?2?A_rHlmoT`jq*9fap@>D(o^4j(b0g^@Q3NFU9zu5Sm-`>m`tsI8rZG
zsGbyU$!#4_Qd!VmyKzfaaQgHqRxwP*+g6ijUmPm_Gad?pp^=UZiI#(%e{AwDqn;!{
zm}WD&0D}lL|83Q&@M=qf^zL$aS6xIW)UlId8HR0`^$3?qYwZow@-)V~aBcWzs!(+#
z#*XSk#CB03lOr@#4Tj_Lz+fq3DlkWFN#mmE!>yHDlq`o9h4B{wE<8A*1$;d|%v5>9
z`!JN=|7s&o9u#EBKi-Ggf3PJN9lc
z=Mp|_7BhT1tGL(JlV@?#Mr{{Em=yvkbhBfb$meZ{Ja~vaK_Vf0mJSgSpx>NrW63iI
zv?u-kwlL1z9jsy2f4ElWuX{Jn4s2g$U*dG(pRwP&0^3=fVOvuc-_^wC)(RWhT+J@C
z0FC{-uziu`*4D4f{(o)zB8xk=eg*p>+n2|MFHFmatzgFa(mzvgD(b5Mny0j9h}P0Z
z<|$x&6_^&in3Jo(1nI%!kv3#CPf%{VGn2XKjUo7Y
zsP2Hf!Fz=sa@Zl#;>+%kB1P`Gp&@_+f9uy(rj+21&SvyDO2mfrNdmoJ)4x-&uvHP~
zZ_xfvZept1u*c|~4v=@<%@muEfuM;{@!<{qRGnju)z5QCOqItsEC^_cb%8y~G~W4L
z1}0_|0t9&Ne_{db$r*F6Jrs?ZA=LrW$8nS6MnZeAu5Q+vkW|v8fUh}_T5OYfA_QJX
z>B3E9W5eMh92V#R!#6OG4RcaQI@~Z|
zeH)fhzKF{q0vD`vJQ8q|;>U{u12J7R%1h}vnBZ<_-kLPvEKAFYeuV|=9ZxPBKcn_B72u#aWO{7{XMgnc{Ww@!*Ggyf?G`X_US
zH{WqSvl?OiXxxv-@u0T#vP5K)MuwRBs6iYXS#mw89~M9m$zMf-iQtEq!;eUM%p%9E
zdm7?sn|3&I3bFcdBwB%xPY_m9VAqfJ!cTs;O(9{J&C9Z(7
zq)8(~8vMG6oz<~HA)4se(YA2*#B5W9XB%KF&cR*E>*t5O&B6Xi0yznP>Q~tMQVOPZ
ztj6wxQ#kfM;NQ+f1C?Jvx82CZf3y=5lQ0vin(h)Br`8CNkN)fNR6W-pbaax@X&4g%
z4xv*`sC0tB>67T$2Y5A^fj}gBX}(wECFl)7xJo2>IMOT}H7alm)&m);meN73sSc?8
zir>1-K0cv_Ca&ODuWo!8U~ANRtvMi&}F*qD9Ps0mDv?Jq{GV$^%l2uTw4knlS)SEZU8v~7?BV6
zF5|)5QwA@cHIt?jw!|P?iDkx3!Sr35rl#rx)12_phXQJ+L;;8z3my}wQOH1R_eK*E
z&xphm0w-WJ>Ettm@2qj+e}mn40(=F}b_sg0F)aUxtE8FlPM;7;_;_^flAcG
z;`Vn|}PP=itCkZeT;ujL)
z4Z@{9xm@mTKJ?<9&e6#me=m`t
z8b$2~n?pv!_Ja>J6;}~!zj-rGS=2nxBP2&Wz92)%`Yn%-5+PN3z*EIz>a&n5A@_qc
z^@wCq%S+WXV(E}E<&lFmvLhZyF%lt-HVLMI`*
zFSc?giC{>j+KJPxVkh=cjC>`0e?FoEwkm*&hldAxBAk*BNRI{=11YjN^aBwIStk$I
z`uJ&(EM?M%@UTGDNi1U4AXgxG8bmZrA8#d63?v<$5fuXU1Nc7B7qRmDbi|`+o$Pf)
zCOMPjbvE9s5HqTfk%&c_(10~iM6rqTX~YL{odhgaOltC~Zlo3%`@~cDf6=p+^jr`I
zeIp=b$fRW+NH%TE>>M*b7y^1vMBzNM_E4RqBI4l^NJNtqrtA~WqDS_PD|{uvKGKH-t-xu*!^z{Vy~^HMeJC!$D>Dc-NoX8`PxA=`D_*%A^h(b>RUuXQ
zTh7;?$rNW2!O@Ra*}>y8e{deBN?r&1>hXgI^H@>IC<^W#ju65@Y2%vtG3KEf)=8~e
zeN>N!CTfR=)nww9h*1!U;vxpom_=yfa(YRWECRi9(hHfK^7k2NdNP?5XU)o*ob81H
zS?g?Cs#fr00-4Y-F8xootfkf%vRK{Jn`{4u{5e~IA2uIXW!#jwR)
z_OrM_^hC;3mcZ2fGM|NI&hbtyE4^fuhlea$;z$1*mPpXB@^BC_Dk~4us@e`_se+U#!2O=(2A0^dCE5!WNs*4YK*sgTKiCsWY4yE;D5fFZx2c}pz
z5Asv9i8ULGIFFM|5j9O%%j@%qd4z}gldq>df|4+~=wox-h5VA}8s75sp+emG;-^sb
z3|vkaQ677QN>2SD4?`BWJS8*c0njSayYFJ0K%qyV`tdkqf0LHy*E|wZMg2K7K_pT}
zL>!11cj$=4S<91&gH8#PmIqM<~z$D)XZz3Kdt
zeBE)({A3Ek(@$cqqH5HQPG@pSeNHqiz;n1XZ*X~7psfvoJhYN|f-gy7Sr_r(qUCAly@m{>as#yJ`DK^o>wyst
zARFPyKDb|f)LRp@GEMPFUaVVQ&1Kr$(UWf?WzbcKf7KU{uaiA8_}T_C&(sJ@mt0-+l2hbmZX%UR~-9^N+u7Va5Z*@P7XL60cp^!V#56
zPG+&!zW>$FThK!>j`94lrvI?bngDgAL!qq1FG~{b``>=C4TLEL2Xu-MOG}8bJ;3t_
zjQ{5Ae>og@ls2h!RQ13z;OzEnfONC!u+a7+G4`Rj(@cp5nNcQ|GV7I|dK!;llRmn{
zZK}O4j~4n`-&I~P$7QEY@>-#k*EY-DF5}wYnNv;c4f$-3Fau*9Wh1mw$did(zZuPK
z{5NuCM`+(Z4bQVwmHZl}!~IV_$B6u^$Qt<1f8RcJz%JZN+2Be{abgr&^b}MBYmloe
z$hvSRwNgu*&BdFm)4fiagNK58Nz;6@vNVfS+QBO=V&+o?3vtWckO}UtvbK?dN{yQ%
zfL++~s`(h(W;1T@tR|FnFw=6$Q{LkdSD+~Gb{Y#%vupGNkB}CbkX9S|ShICP5oEBJ
zf7Jea8I#klzPbu|Gm1)+GIY0iT=70Bjd=_uYd;c!ZbJ9*eZ@Y9{K-O=mOPs93kID^
zxorE=ODf3_v=s?9EW-sb4EMoBT+Lye*3K;LF&I_PG(RFlU9b&b52Q@pQfy>}yb8%;
zmIgForHgXjjSe-oWZ?gRIdpP^T)-EQe=EfEwz4`V^uo;6=W{ES39xz5_q%^*AfRyNF~!+(?yo$m4f;Ir=WzvnZTWm|pr
zZ|B*St$n7lV3o__ko5s2ESporf0P(AFr52Jbo268p4HZa(|5eHg8@|4J+ExaCnCC6
z9$2t$z1}^#`&Q@Z)}7b8qy@xNMEBmtlKlqFBJRVZCY?Cai6Px{qBw?5(=2H}7Sh3h$wu=4M{|PYRVGJVad0^FPH_rpf5a@P%JcZJf401hOZ-*)HlLJzKuBds~>8mmm9q+{I^xEHE-^MUYex#)KaBHhr=vbyDA3Fn~}5?tAJ;%wllzt*_hmvl1@uND_fMlkfel)
zIj~e4@Y6&a;Niv%FwfbyyGqxdot<*j{13$rQLJ%IorgxJ=UId+TaMko403SyNVUn~
zwF32jxY#cDI+0m&f6xOP1R%8=t8P@t$z;d;Z&)eLqNu!Odp%O}_Sd~tD5LMv0E_jJ
zNMKdZ=|6M(4-epwt?YPouD+jY2S2#Z=^H&_!m%|gz;P}yw9=*Iu!d|BEpR5So4xVDao%g^
zv3A$qs#hk@lPalWqB-Fn2q#pg>{hHwg(&WZ+tiq4;yVbtSdaHh!6{xtd+_znS}lC0
z@CCJ=ti<-4BfU>X8FTaN0vxb{W$7`p8IkCcdlr5fj;Xcp9
zeZD=f&mj#~f8(NWuf>UQz8Gv5Z4_C!qZ8b`JkHoW+j;J|H_JAA&-HA<&Dj~{T5!09
z>3wj+qzwjXLf+HSJJ-=`yc4@tdqMW3Kz6#L?7afn_jizKAkJs3mju&i&
zp+m*Ft*B^g5$fRvRA+0k3#?}gT)XVsMK^5sf39_JG4$a^=);|$tF=Ptzp1(Q-lkz7
z{#8sQXac1y8{(hQAzl+mfOttTp$WckV8Bf3EFavw)C5s9oZF`FuW~
z&*yHaq&IZZqUf|jf&t`bkhZNl=}Q&DBc+mFUqu=UiAis0q(g-`OJQVD9$~pK`^h;u
ze*ro&sLYqgAHSGM!w0VCN5_Vzbv~nyvf#-*a%;qbYA{*NjT0>*A@xX=Pe|bZ*CYV!fPeLqywV~QrU}O*o&l@YOu8-O6
zDR%d`hvDr7mIqgaXH~JDE$+p}DCFW-x@rRpg-Cc-RNF%n@+s=LM#K=6LAhDM$_QG)
zF)N}xh{U5?<7kI(rKOsheH&v6XyFvXZwLlEXOG|;h2R+xv>Fyr>1|9jEg$G1e}>EI
z33txyF+MV1hieYTuOE$)v39v~Gj8GIyqT%z-ZOye~S35;CUcv#5iG5Q}@zHE}9==?@*I+{4E$idyQq#
zSV|*UH8e@mxe+F``-w4jH&;dXLZ&EmGAv0ViZ4>s(cXtTWCQguF7G2dur=Ay-j_OL
z*Mt8)^bv+D902i09F)-oL@y4|0XRglbx$n;U)K^K`g72=1c=@ol3Ef{e~F|=^nNFN
zkEDlwp5u-&NgR=GXy8crA2~O7QvC3E|FCLB3KHB{gyLkbu7x-QkM74gpK+Pa?Tpv(
zKAjVT0&oTZZ+kTvOJwxrACt-_Z8&h<g|s(qav)x0la;i5XT&(+obe>ry-9K)$Y;|eHMN$$3LSsFmAte}6V2)(jh8|)MjeA%dU=0u4u
zpTt+plpVo%z#W(|_u=B4Vqg;5nG#T120965thm#_?k<7ae@!RcWn)C`y!8}G#KXeH
zq>4&nFU|6{DDv@l*21Ov8(ygy_-lL!D@4&p=#ZToD^alAV9CsHzN5NDw9kfpxqI+S
zKj9dd`MUKD;XrZ^<({Gp+!BFLG7rQUq%GTuA!1V@k*TBtE{MCZW$to#Fr$rrN!z
zD7J!tva$+af9ba40HvUuCdN{dC}}$hZVl8`^S+t~!E0NMlo#HmUH*&y+Zzcdax;yn
zx~m3xd!0ZD9`D?_#F%M?CPR5e3~kuZnkNx|Nq3A#aveHPcaXz`N8C;E&Jsd0XvK
zENV#<{sP&RyQ^}__!?1WMei?(kb@u{3dKS#M`Y-DQKO(V}0jyt0wqCQkFRW!rU?I
z3pxj@f9N=y)(Fk*AXBBdR6es6PrlYCheRh^f;g?UC6{Nkl(1$v3z@n
zg}~BvOw1`vsqU!q%NC+GxEt6bW6>)s#BB;+P72Tpr%XFrwoi8y#GkkQOF%
zfAj}%2aFZZ1>1G!UaQ{TLC~oOi+H3y``+aI7a7<^p31(Ez~m)8itFq!b(GRa*H<%Xr3O
z`SVwh&5@=conv2l?Pc6vN;{GZi6z@Kf72iyb{K8O!l#)~jlg6wAgJ_ZRzdzcyf8cF
zD|hx!y3mL1f)IpWmTuFbP80CgVuW9=1K(^xHUHm@Burl7RWAWpoqJaSoR+b9>7BR%
z1t)=Qmn=^P0EB)5ncme~QFn{Nd~@YfDy_A$8?6$w!ZJwt!cZ~aLJUzopcGdOf3V~!
zY5Jn_e>{G_t2^4=Mrz=1`V=MzHKA=j${lb~ucxCb0>sCO3Z0--Xq#?x3u$(>yY00?
zeRpQY_Kuy2<7^sE0s-CZ&Wy)1V|#3m$7gT1r@yneA5?!-oYbELi|Fs<|J?ws8E-{}
zyzSgViBW3nn#AFzCLx948->9cf33h7MhuAoSDDiPx-S6kw`odeZ?|bmXKz2SDM5j8
zQ<6AwQ({1AO1`IJ5b+1?5{&HTu#(_I7kn54|Ao3d{`s5#^LPB|uWVkHYH;jjDR8nb
zjt-0a-Q!`Cn_y>kID#?AePvZf2r?vLnMW7*%?L}x3Xq@ff3f@ip*3J%e~4^3CeSSU+4cz1+=-{%cR`ZfBW4@os5}rO66FM)j1_cFyE`Ru5=SQM<@#hWRQl10wls|
zGQYkxNdUEgFL;mLq`!5FttQDVg<}6v5BR^!behdy*T1J_KBirC^{5^-?P7Kd-w1S;
zPSg3-m=m<>qzwj`pqsUqv1=;%{KNzhkG%~K1|bcen`CL9z2sDUe;59W6s51Ewb9BL
zlXCt+bvn^OA&-O6o0rZBW{W4VV&AM;Oww%DrKedwJ+vsstj)yM)qfxL)3>UG
z3eYo9Ge7|ZZ4B7yUIaTGE?c(bFwOJO2d8OfoK5Di*Dn%SIY)!HvcMs*V>Yw|`?m$q
zOwB%mD{PyD(MsDBfAgfeBP~WME4U8T9_j793}Ts`$bBr2q2qcpcz={8(3=zX015BZ
zGqaMGWnStGqMe^|Me48fMjU|&I+7@gv`tS`aBeouj0^0Zq3m4({7cQu
z0c40I`LT)we@J#Sl_0)+-k>;AMY>V-yHrh6Y?UyeD$GBxGfYG3`cl1q^BvY8Br4Jp
ze78>FxMM^8aH8{h@BdMWQ+?e7fc5d}fw|th@vB8Unm(*nxr7`ENN8_l>9i(a*F`lR
z44@G&A|49FGKGYaRo(UC5vC>{q1Wp}wdY+-NVIK1e^Xi`$h|n3q*aB!`aJ+t1-KaL
z8X=uHtAge%k!)@Mn1e1D9z7@kCp6^6Le-5q8DRF?cnme%Y8q&C@tHdnv~sd;3OV=3
zVsB|(bDKHbqV8pkcEA~t5pT+^#^Hyk2JWN>E5dt|pYkp`%)k4?jcdqNT4>B{DEl^a
zTV`!ie{rJ}V*?cyFN+Ili}cv*Q+NHJv_g-88>nxrs?g+L9Sw?Ow+xXNK2UuZe@CXKe+rVfd6v(u|Kz2RwwhFas(P(_
zPvziNz3+Cou;3z=O6t>@PeMg!e7Pp>S2F?JE$XFy!8|Kg91cr!QIgIie+
z4(4a39-A1BaT_RUzULl{71{}3uVE5@?qZJXU0umtHSi2czol}*p>Yy4?m%-NB+E%>
ze*
z+{v0i4fVSZ-e{NR)V3D04|3mKVw~DP-DUnaYUm+}T*HiyqV(1_q3u|Z>~WI2lzN+1
zGdebt&1ZG&=d(Al=Iomx^GgiX{|A(Hf1N`Ir*EuNcfGVqK3EtSTzZL>tITc1Sf9tOt
zrq;i@E$Lw?ICU)321~Ei_8wh?JJXjk
z1X&OSBai`_=F$qBw@h%|GEyT8Z?30W3-&UpvPwc~K$v#67qROU$W}{`iURDoJIVAa1B#Li6G7ca&7f1ePVSoF&okd!!5PdS*2iGE~RM~p@mw9~F1krh0A
z{v4|qCli#_=*1WNivKt43xctphX?jnosSfG`(8*A(3oa(xB>?SEdPDeFz`Y}f(-9E
z1Xn>sE2LOPu`I$q#d3u6thM#VX$6Gw7_SZAhZL)h#Mn}OG_h?|$YiFBe^rCwxIAzm
z>Qomsm>$5RhmkqdL
zyUz6m+jag1_R^Qg)Zdz+mI8mf$kVw=Ur6V~27;#2h_~Fa}?eIR`lcjODy)Vla*V1`)(;scYb7l4=
zP8CoYr3mYIO33Ps)|2+r)SXF6xhu(VzB~#V^C_IBetXI+omf*GD)8TeeN1GvFQ}rZ-1A}r+$7D8(fx9w?M}Mz5zPF&*Ce+@<2?xP5-Zgb-@#etdvbf=-W07JJLA}R8~y}Lx!D=K2#d}Rva2u7em
ziG5dy4WC`9d0s2r-P55pAY!xA%DMjZQ32;@N54+WX+>3^|MmE0z)9t5FX;E%Z+rrE24`#es~b$6*){m!E*D
z#8;g7#sfxiE
zz%0!nf8KNW+k~0JIKD!$@YSdbo>nS$0kWI`RX{KDvaSYIK~~y_c!Q3Gi7B69IL_&d
zXDC_z$jT63Bc=daGCIa=P3k~>e#n|*3PH<5d{eX_5IF_`y6QzhpmaGjxf!wCj7`FF
z{9#nD5b`i@$9e9WgtHsT87n&%Ng|#mhFwFqf0E)9D7i~sPn*u7w@UJfQ#_Cv_<~1I
zEzP;UNNv=-DBuNEm_dMR9|T_bAXPS{H+%Ss1I6>}ZaUM)40Y6v&RgssMy1(2>%`Rb
zj*`QKZzGczQ`*Uot`U;3UkA=taILBwn@2wFA|wam(@*9MZ%gAeR}NtU^Y2vS=t?WS
zeQ+|YXjk^D6@m&W52E5zEv0Tdx=
zn;c?9fv1LCN&6k2`8yBE)FXNkq(JC0Eq4_-iUlU9RTMKvPjFNl9-i$g$S6!NZW2hF
z`r?HSI7M@)lX?B;h=WewnPbotl}AuTe+J)=kM!CjBu6z5_C=BLtAR%INT~tkB7Nsf
zyZ*cY-O|MC&%;j7z%G%xH?3>n8
zu=wmxqHI24tQLD)%(==b>UX_aBpZnr2ut=Wfet+&GU5iP$QEf7NP|BwViztpe;S03
zP95(WlRYuoRPoUU7)#5f&P(?+PEZ^?AITt7-cQ{In=Ue7T1RT=zc_|N7=g{4F_dxD{)K5_oYynR5EIJ1;_!wh%~7;1$W+oGI;51e=(P~#%2uR
zD*@}iD44$Q(>SKyGvb6lT`0ggbBRDCEO@O!jX_4F-5HFudIqGPC^!L=ODEqMe0PD4
zUTkM3z&Eq3m+l6IVfjZKFZ+#L|B|ygnXr)uo^S#csDz^yzr7O)d##zcmBCB#h;~Az
z87x8G)WD1S(p{!wxJgx?X3)KX-&J~bS1&zm?OusC31YYg7l9MRT&ZP@^L07lS`$+O
znc3dF*38@L+HqXVV|?LN_TXGGH@OL=u4&TBmnmAkn^+#lTJsstBAEt^Ytm4d0(58!
zlQJu6SexEC8sOT-@y^b--Wvt|1rD)$1X*RxDNKYS005q$m+2t|Dh7xG#-XIG4
Q6qhX`1r7$A8wCIW06TU`4*&oF
--
2.39.5