From 352338b926b377e0fe7a7259871c9f3f4d174812 Mon Sep 17 00:00:00 2001 From: Anton Kovsharov Date: Sat, 22 Jul 2023 18:56:44 +0100 Subject: [PATCH] Point to paperproof.xyz --- README.md | 4 ++-- app/src/indexBrowser.tsx | 2 +- extension/README.md | 6 +++++- extension/package.json | 2 +- extension/paperproof-0.0.5.vsix | Bin 0 -> 33095 bytes extension/src/extension.ts | 2 +- 6 files changed, 10 insertions(+), 6 deletions(-) create mode 100644 extension/paperproof-0.0.5.vsix diff --git a/README.md b/README.md index 47757ed..adae99e 100644 --- a/README.md +++ b/README.md @@ -21,7 +21,7 @@ In future potentially with LLMs and visual transformers trying to understand use 1. Install the extension from `extension/` folder ```console -code --install-extension paperproof-0.0.4.vsix +code --install-extension paperproof-0.0.5.vsix ``` 2. Run the dev server (you might need to run `yarn install` first) @@ -37,7 +37,7 @@ http://localhost:80 If you change something in the `/extension` folder, run ```console -vsce package; code --uninstall-extension undefined_publisher.paperproof; code --install-extension paperproof-0.0.4.vsix +vsce package; code --uninstall-extension undefined_publisher.paperproof; code --install-extension paperproof-0.0.5.vsix ``` and quit VSCode. diff --git a/app/src/indexBrowser.tsx b/app/src/indexBrowser.tsx index ab3d243..abd4a5e 100644 --- a/app/src/indexBrowser.tsx +++ b/app/src/indexBrowser.tsx @@ -20,7 +20,7 @@ interface PaperProofWindow extends Window { declare const window: PaperProofWindow; -const BASE_URL = "http://localhost:80"; +const BASE_URL = "https://paperproof.xyz"; // TODO: We should use the vscode font for consistency with Lean probably // const fontFamily = 'Menlo, Monaco, "Courier New", monospace;' diff --git a/extension/README.md b/extension/README.md index 771a4c3..a8b5c36 100644 --- a/extension/README.md +++ b/extension/README.md @@ -28,4 +28,8 @@ Initial release of the extension sending data to the server. ### 0.0.4 -Send state updates directly to extension webview as well as the server \ No newline at end of file +Send state updates directly to extension webview as well as the server + +### 0.0.5 + +Support sessions \ No newline at end of file diff --git a/extension/package.json b/extension/package.json index 9ef0f30..73f9795 100644 --- a/extension/package.json +++ b/extension/package.json @@ -2,7 +2,7 @@ "name": "paperproof", "displayName": "paperproof", "description": "Extension which queries Lean server each time cursor position changes and sends context to the web server", - "version": "0.0.4", + "version": "0.0.5", "repository": { "type": "git", "url": "https://github.com/antonkov/paper-proof" diff --git a/extension/paperproof-0.0.5.vsix b/extension/paperproof-0.0.5.vsix new file mode 100644 index 0000000000000000000000000000000000000000..a3d0d3cb2574ffd17acd4c400604176bc04d880b GIT binary patch literal 33095 zcmZU)W2`Vdu(rEw+qTVT*|u%lwr$(CZQHhOuXWxp=Va&GIZc~R`fr-dOt0Rpyc949 z3IG5E1ORZ_t16h7<>&?w001Q<000^Q0Dy_Rvx%*fg`F*(tCNMhje)I&sfm+wkE)K{ zCIgDkt#3#Q4|1C2QYn=@VSY1Kv$?ZRw(+&p;lX;wjr@AuUW^j2WLs^s58$!>aCN|%2@*&Q5d+gN6%yr*PkKxp~WfT?ubjS5@yNk^tnzn>NEfc!%KNfosY z^Gij>Ai0pI8ZSo_9Vq!d&(uuDT(peAsvw;YHb@Cl#nc#usH^E3&9IQbk$j@Y+OjFm znCd8k(CHGeL`2P@HxgH(@D&x==6b{+y4#$PXuzc?>nk0Vw;(z0g7`S9 zrUTB_Rly%GD>DOB=X{&TZ>pV%6%q6yEDmcB;a^-L6O8oIDdp>Lrr#G%Dwfas`7MJy z6!JvXcF(3kUs(N>)W6X4=oKSi=dJ;KvO-x*H!-}v+>V6dTDYGdmn|cB9b2A9HXiy$*702{ z=F7ZzS`!WfHUx9D{K4VyJF@4y*PVYP&Tc~_X;@c^l&v|HUF7W3rTc#?tqKt21z+kD zx5Je-T(bt`%fbg4+tpC+o)pz>Y_}|@%-a4}4M7*sRy@B4FjU)!Kx>IcN-bqiPU(0R z+d?VDj&TxwuiQNfe6u5a7<$5MuvzjM&x{6dg-)#J@O9vF_NtF|%_GZv-+fEJu=4*a z7|P_%v?l%wf-FD)0ObE>Eg?JG|H8ppPuauX#7T$F-NxD{Udnce0Y>GfAek`+VPV^z#J%nco?!smV`GX~$ZaM9 ztXr;dwxc?4`*L!?>g7e5SHETygWO6!5+IeiTFb0;qo57Ap<5WjBtX$->hhB{Xvq0$ zXpZcD@{e@{bAtriWQxwC#WZ`KPF&r0=jIpSe|tV*^0`v>pT{@oe>zN2cSy*L+$5kd&?ms}3!CIG^uH9f?cS{2} zCiJK2L`f93LzimN?R7j?9JX5Du+-m%u*u_GL$ZvGSG#OqRjVrUH@pAw{h`bxEm1znEwi*| zE14G4Ue}FQJBSMe#iSo#|G%z5{FmXByarVN^XPvX?tj+*WH@?b3nyoKM!Nr5ptE$U z(Y$cmVnh0~{y`1jilNX7t6{M)RFOc{@}1E7aOdr;Yw4j95kRwwGEi0CDeYsMcu}cfB1odWmp~9g|6nfvor#2=|rPfuO)H{=-{I zmTn=g5|%6i4~_4@r3LbncxM3Yngo%a0$~x*sQ?j7+-C?!19vsNLyXce1w0vkDXaC1 zBEb|W(jKL<%k7Fs*1HLxHb0ymL#9uUHdCm__yb-2wt9bXuK$~RI4fF8YKl4-ct1bh zcVxl2iyrg$i%?pf3kOGFeNcz9$mK!S~#gs z&YVeBgclVfKSMtXN-{F~?Y6!|vEjkchI!OnuE)W^bK0`3!h7=`O@n#+j`#A-bn^!D zE*kK#4Yz)gNP|4cCN|ztLAcF3SW|;i2%km})pa=;FWZyjgN-vdFI$T|Gj zJ+dGXHO=**Mv{U9{Ux`QvtW5{P%en!ak`u@(LFKl4t-$XlCp3>`j+Nh)LNs@8wAzk zEvianUcB>BFQ^W$UC+h|P55+izG>5RX{@;y>i9=d@s&zh^me@XlGGMN(U=A`-75C8 zWxUJpseUy)`0b48e}9Hj)?j1vGu1UOYWyfmS)N}kEF7@&+6`$fq@H!zT6VBQDzSefsGviHFaL>;X8`Pp%65MoRxXY8Z8QB1P7TTZWuPYF*kqpf)jC zk0G$LRxSFMi4!{A52IQu14QC*E5No;<4?nzBA|Kul2deg7VZg*j9Zj2){h#MH7_Dej$>Q zDq3plTwXEW0)XAoU1^2w(6c~|rE*OT8R01%*ced5+rVkmYR0!XL6zV@v7x zr}0fSn5e-lZfq-Yr>zAX6dzUv{jju29Fia5UM6G;-~mI;0kyd0k@Cv3#K)7MF;cOp zUeCG~n?~j#)1*?M+yhkwJOML8$JvM0=+ak3O3W{SZqP{LbPAeLfGu|%uX`l}kXbEM z87#neR4p_x&=b&do4PdLaG%ctXD=2ccQ=8bLC&d_Cr$TLZelnVOL!G9OO9<-p>jT@ zXO|g8F~TLC zVKDm9u}JlltwT9Rq5D`~qFgtXcD+1nF=MLpd||@{~)q*B~pa9e>cB^KN zWpl^ozcl16kmx`B8to~CwAVq1^YWd_^>p6^w#MK3<*7vHbnScViK3OI_ZY)r9ZOHM zFsmPz#?8d?{G*8ePtm6fk3Zicg=(%vnllw9elUSikNwGO6Lx5BVWvv3wOwAtJw_$- z!=P2*v{v^VR~403QNl~P1zAlQa~j4~AZU$XlNS81?8U!q^kbQ&yl@HV;nEX)7WImy z`iiL!KQr>Sq0(u(qpdY&DtqR|>)hgU%)V3lH2HYAp{TwPnd|GA4>cc+dqkVnuQS10 zl{{nb5ha!@J_Ywq2r)`NC#!kMnzgUq&4Mj#pHBIli;752Q8KLP?}y%dqNE^x4v#uL-eAmQ{4U|;zH$PHC!!7tqqg1>%hmg z8#G{9t%uB9bRPwFR5RXDmm`Cs8SUL6F-1#yd;HM-GAj6P(zr#a2f$#{iaQe9{iFw& z%uXXOff^4qg;Hdq(Msas2*EFissS>+MS$Rz_b5n6dkV-~{TOw#u&?4T(>K^+4)pG? z+Mmvzt@4R3!SMLff*E10oGZx7F|GFA7K@fPUKTd|nkql77`@%U&FdQ-Jv-OhT07on zeATrF7ssX@b9Fx6*V-e|FrCLHt1Qqkaa;%nz++I--O87V!%D9pv6+z->esed^yF(+ zX$mo{Vw z-tU3VT;A_y%jftZO_l;*>55L16SxE?Fjwq6jkgi(u#xk5m2bIui4UIWI$V06uyP8s zxSrK9eJJj%B!+nm-<%NXlGrU-^K5knYQ0Y5RUH~3DyF-6Fd3z7+I4D%C#4}A_9o#` zwc4QG7Xv$Fpe{&4W5inn8V!Ue1)7y}@N_F=FDL*3(x)U6TjR~ zx9c@%c1uGtL9*!It+@jmRIgKP^jt64<2&bnS4?U5&1@yQJ>z1Fjf?4;>J25B2IqnO>W4OYXD7DUHNWA(I=|I&EZHiI{1#_8+}@M9m7VB^is# zgn)Alb+6CmHOEgRO~o@aP0HzNG> z;posDay~~E>M39ia;M?JJsWAc5(9gelDH;YKmXoZXD)9>|Ginyj5S+N!Qwt;PKY(z zmowJXe^#8mL_a?sV;{tVC}iaMxz5?|%h|(+KJ0aX!O$)?S+K+C3n({DY1thB}H9c6&if_wZLP`u_82j^v{@FO}q+N zb8hE_{8PB#RNJH(htrYjdYq+1rjsa%ZA2|apVCc`)HC@=On14{cvHv3rLkn9`DjVr zTWF6nnQAuXY!V&@+wE;TI5vuSv(@%>-yL8hR?~Q=$5`*)&Je0`60vAZP~Zhhc(2&4 zR2b63f3eJ&g|{b=A`Zg?q>C3#Gb{SF#jYd_Nz&eL`->!G9sC25mjZ{t^)|o0g9ZR# zqyYH;py>aQLrc*ACI|fgKRK{7GXF1jh*9&h+Z;#xqZ(~Xdr2MuT&%3gk)VsI=tQzn z4X$+t)pqSaTCZe|9X*mEzW06QVP^9MxZLrh`EsBAa>Fw+rDRs5EUaPCc|D>;WNIPK z>&DhS{A4DDCa9*GG&(e6l$wAmj~%HW#!0xsZS#>j%#r3LJzOYC{*x zakJwkpxHke+9Gr`B8v%!*|r%}vhZ*J`fz8{^XvY4UBRCFy%O%h`~8RMm9+7>RF_oI zw)!VGE;D#{bkR0(!70Pb!=CHg(Un)%(^WT<_eTD_m#net&TA`PYyN5VsFIanm50Pc zF zC{dbNWSxp?%2`39#z#@%6z0|f8ru)3P{$WQOG2>`1^Ol)oCi?Xb$4*>fA)PAuH$%9W@f?Au zOGg6Y;LB&AzR|o*>V{=&o~UvjSU$FFn2Hk`Ie%Shp_YNDw#B6jt*3#_UOozmT7C?{ zc9U3j+#-j=yΝg$W=8OPq@EF|rG3K8aV%5nI!05X~{fsCi3qFwcxUm0S?5`u zcQzR`h8Kt}80x$X2?rPT=HT{;QjNA_MFQI(C{#nVydKHiZV&x2+1wo(z99o|YAi>9 znjzSV8I$uFxk{@D%5V*6)dMCc$@R}k0M=<~bGN8rJ=N6dyrbM7N$Z-wzmvL-V;u=5~7Yb=$qI!k&wz{Tr8@G+c z>IA?)B61q5WsXZ2@q(7|Q`l$FJ<9m1U2+?;6&Oo4oy%UZ=E}Q+{QkBzQoj$E7W9Gd zuo1mO?lmlIAJLb^)Nau|N*pCoZTNU~{{-sBTI*7N8f;c>yrjWhV}X8<&@}Xk+du-7 z#_#l0CGRD;QvjuvJj!>kWPO^ipY9O&7DiN%JW!UX5@Ml*f7p|e5eV`3e7z3p92=@k zd-F{T`r1qb-ec}9QBQpGzKb{ryp(N;%Pb|kb%Uq#aamKTY0S4;Ts|?x$JV-?Iw{+l z){I2hG^o`Ep{tV<8yT^iSE(VD#w&u{#o`QHa2X$zj~bHt*5Ag5TcZ zCaNKWZ z(JN|^Egfe>Xqi*BfD!uu1(||~8%9aFXL>4Fe!8}Q*J~;OoH)pv_Vs@BRaUEcxn-!T z5W)wwS5n#d)4)>D<8R9znNQK!4vi@OR%TA?=w}e%z3g}Dg!?-!qg_*$+CLud6)lVa z|Bif%xZHsCe9>E7-0cD=9<-Hk19kMK5go$25+sgoJvx?R0o9+X0txufH#49&Gqj0% z+GorFt!4nWG6pErE|l9>qBcFiiMOk+2LL?{8RFsYba!xt@0BGt7N8Bs`qP*}{H>VO%=l@DbHeGdPw zdvoU^HE(iu&FznU556$$>51bmygvGL&(>$_=|C;r$ieZjE=RWU$i0zWHu5%UjoytH zb_C@Me)8LqcY3ifyAMSKF)woLh(l(im>f;vcCYJC2jJ(UqWwHPpL^!fk$Rfw+lhPb zXiBUp2|3|S>RmCp5ttA9t%-pf0&S=rC)NjXn#W6=K9Xpmgz;&ke)`cCD=*^3r4LlN z&9NRq=K&IsvM?1a>i+j2&7v1dx{je@+&CSA-R)cdvrJ*y=juv#E#|lT&ZZsiFMd(H(<-8RLRVHkFkz zJ}X4WtT4z`n~X;&E3J|AG7Z+oemqtF47D-7k^6BnRv3wC-wcOGGky^iT6%Mxe$&I! z-O{1;*A5R2@Mhf>OF*2N^ANm`9bfr%ydv;pzL*8kCVy9d?0z3$=VuzL z2(KLD_}QOK?twm9H^&PGabi6nWojml)e*Hs{h!@#)$dV{j*FjxV|-VeA^VvW*Hgq^ zndZl6Chx2#=ENsiX$+7`zCHp3p|TI!7=~a920bC5v{|zR+8Ye~9o9IZLzoeFdzc^^ z&ctzxK(|Y|8Hpi>tlW@JXL*6T!A5zTpTDdC5CBTiv%f+LvkSUA9s7ntkFk8K*xSX~ zhh(ZO5uSnD>E5P*H6KQl!{cVIa5@>TimbT8WYJFNuNf%=?>0oJ9@~iUM#hjEv`&e5 zqa?R2-&v77NCfHA^ms(;3!|kN-C?R$o zuQ2*d!b$egJN96*gqYmUQ(FhDY>WB5V2zZ|7ql`>&WPx^ItWxPmm`)G%rJ&l5?#nN zJfZU9M9f0_?Rf@?AO`6I#Q7KwAgeO zfqUBRsM4xI|BUtl0$jb^hH>F3ID|m@$u20rE6Rq4JXb>rc?lL7&mS}6LVNF|WSc*4 zxx*ht^keS9>A47ZuO@%KG#fox7FY#SOYstxo~!l(TOWQJACQG?RJ#$K zJr=Ma9?EG#;yOVAws9p08!R5a=H^XI6GPC z(K8n$xVLrQD9)3b4O)MC@O(`~CvUWv73MoGUXyNJYYbfMX7_}SvSyb2AD0c$US8Ij zn%EuS9`VMdaaZi20}l`nm z=IY!JQ0IspeokKL!@9QQ+~D&1Hn%=}&uWbQoZrR^%@(-%pa)yD?)Oq&b7Y0Wx9}q~*iq9FhrE&Q~Wx7-BHw4xD4?x8K zIye?#{t5Q=#+FfF8}nSrdYCdivgpC)aHUL5@0R3It1ZLNlKoVA;Pi&S@3qxG6v|iE z`tW=g&x=p&+0c^qZOwsa6c-9_eCLPx#hG1*{chcUvuDw?JWomISv>X3JYR`gCa{(S zLR;C~h~dP9Wa8r#h|W76eQZJTxY6c?C%Lmx?oC>84evbUl5s|}tC%4~!fUxr3avzT z{*Lv}3?m0WAgQARHoCEWLvR4oIEr~EatQtdY=j(364 zQw6LURn$X+=$#v<>w=GlfMR{%UcTB=u5wXddWLPg2H5ipok@rUIJAU>?x^@T9iAmv zKs)I#peX(XEyUe6->fDIAHv5MN6x%JJ*1Etxx0xr9)f21Cf}1!ErAwjRS4oi!9wjn zS%VZuI35o@0oe;6TuuXGgj^R`d!%92&}vOvU&R$U{`6$u1giEFoMFL9*L6pN;7;kJ8dZ&;y_dxbZU({TSsn#=`vKL%>*63?LsnLZP_@LmNP= zrl_DnXoz=X+LO3p%;#3po?C2ex<5vcbh=?o^!RfI4o8Sms8Y+JDVSTGB9ucJA*sRD zv8;&XtkXlC4Y$7=@72$x(D4{S@r^Hic91=1XGga$i^}O5%7J(Ij0MGdyW0C8s1|jg zzT7-)(l!mC-`~{p?(EY8IVlA$S|&gNf1acY9(>D<)dB?|6B5MSSHXcIeiBkwOa68hDArJC4GimN zb8}mSA5;6tI%IKT#kTd8;@hntlaEx4jwTB9y%aqfmg7YGc)6PuKbA^fi}& z2ShlIhT8oeeS@+p%LcRVrZNiKrKQ`~MZT;T#*TSP>5O92Li;DMYH1#^|DK{)dsU8PHn_++t`Inx|E{q#;9Uf>RH=hAZ0sTkP|dOp z)1ZW~pv1f=zpe%qyTwyFO8DJQV=y5LV0;$G{XGWVO88uJ(?Vu4XG%hqNVWkNlU?Ny zGx^rYlzUC)7YUn>XY5qr<554sCE12z!)lTS*J_f~qNZ5!-8>45M%Ug+1ya4df=Wr} zNT8|ZW`p-fOGQeO6gT8NYswI3RIoy9Kt8hw+mHX75UG@JbS7!F_@a)V_VO|;!J1D> zlx;|_2l8UE8$m<5t1f=RwqoGXvP-g=toW(CY#j$HIOU{YAa^7&R(T0Z0-8sDC#G>24+)*` zs8P3zL-nN8#gRA6YBd6!i%iTs_p@$edR}Ei>kO##YIt2DtV|+H&t0Z6=x@B!3hDW5 zCap^aDho;rCdtVTp`(&oyUKA_{(ZwS4S0nr5WO}pc@KMpj_Z3&&;31)zR8F)ycjTz zu9g>6yM+o<@m_ni$X2wFAD3gXK8s7!ULSii9L;|-Gq{UELzo`>>@?+UEyrnK|MF#A#= z)L4BI^;f$iY^0e*yG!j>zkYT@F zv_T9G+`UPmBFWYyen#}G9D;GK{fUQ!T;-z*2d!gqSaPPCBZI$14?{D(8FSTBwz&+b zu$DMn-pJE~y=}J~LV*8HJ*655|E6zXr+~`Do;h)+Q6gWwyXa_omE4FYv05P{huQ}B zK)R`e7()3{1lKOD9?^9~IfC-Vlm{K{ zixZOPl-}kO)6$34L8~O&Q@wJQu;LVgg;aXwGj0eZ7!Xxi<|%9rZjs~G+Qk#O-fF&z zeT9$%Urr9IS z_#77W13lg|@1PbB)y5fEh;d5W;lM@kkJ(ZbtfX}?QR}2EaWW%)HQ2PSa2U!6vuzN- zUMgtW@A+RMiVFidS}ytrEh5D1Lui955L0QD0i;gUyIoPwUvN{D2Ol+6GUd+5+IVDi z9tut^zZ)w3dTpK7EQ9rZdKP4O^i9jj^p-b^8le;(0S0$j= zw~W*EF<@8)>XMPoR~2SIC2{`!N5@p828(Wm6yzJ&@$D=()Hg~W<-SyPT63F@+B%%l zrngKPSSK?)N7~|_jmeAZh$cT)t1BD7Y($1qHqS!9_4=QWJUGvQi6eXW;JBGUu`)={ zwHwN0{(OKQk=Q-G;$r|biF);;q-*gbL zBM7bA=HwJbbO5|)lw+mk_e@{P+~h-&+Akmo7F$?O5FiFU7kYn zLVzH3PA*q)BDHK&pH^kY6Bi*Qvg%KSRN(Bnv(+)3(MQ3~Ssgq-u79Rtuo9T`yVZYE zMGo#u)o7ZKYC5UoUaxo%ZjrfyoVKocPadcLufRmNV^ZrH}+W<-|LJy z$eL@_hl}pY^kX{ZDVk%IuQN;#er761$~5$Wjo>T)q@nDUq(tZ zS4}3*a|Y?wFBO)wzD$6$25bBTQay7C%`C2!hbp9^rlGS|Wr6^TOi_)mMOj85k1tXh zWA5LJ3;v3p>tLl=-|fvcUhjs7SNoIU*~x4b&j>5I?MOYtw_~-&@#gD0z&$%n0D2D|r&ek2Px$yy!jt&>97t!Yo2}8! zmNPBR23a6}NRrK24-17beBL{SxjORCNV>I*PIIgXJmLz&JxSE)=`uh280aNwl*rTS;6k+2g;=G=d9>;a z)?%#6{jw!$sc16GC*ECHB`l;*qB7{(bF= zfGFlZLI?dvTOQb|u#_lrxw0@t>3yF0otxEyZ=w^T8>!A+4p%UfyxAbnLZ0~J;20?< z0*L|Q=t1zR!N8z0+HWXCJ8Hjsc0_zKYHw+J>+)0gGtaN>?LtO%V|Ni7-5cNSSp#Ahp)OO5Ko{;jD!b)5R&b`f8fZ~Y~K%&IVF{0ur&M{ z(i!xDyW+2e zo2jU%n!X9sTdfeR8|)3!Q_Nm&*Tr_-qpA?*7H1T-8?Y8nwYAm}>g~T+xI&q!*XnN! zrz%lVFd&=qT!`-;&OXFa^d2rIwH*7iq_9k;#0F!s=@G`aFpXU2vaYS8IknJ*uWHdM z}85$@#$wE1xa?m%fvN@(WSyi(ts{kqXb!lNtZMyVBdhP8!O#iyW zqijlHxRFA2JL{cw)}{$12cIu3r_%!{rCn(3G#IH_Xk9PpTsKNlwR!AC4#pPq$%mpf zDDho{gLE4d>(qPC)hGckfrqAXkRx|wtW=YtyLGOgdV6ipwS-Mm@}#80T#5dB;29cb zr!WfF_OJ?9qvSy(S90MpgVQ~L(pEtJHU@=6XY~tcbMy+Uv#PFHGF9SJx$LPfWgpv3 zxGyI3%NKUYl3?f(yMx8Hp@Wby-9qW;<8!%7zcl$%C~v#b)9`oR&we0w>s>-L*&)|S zBsbv2Qt^Nr$gq@)@Cabd0uKz z@7>A_B%cTNVgDVhiUbmaC!dtfID5b}sX8N| zxS0u@3Wxmy(4si=v(n38_nUSBi-VB$0#;jEyo2DS*@|tr!)ts=HL@34+;71!I;)w& znP(6^a#M$4gxa*%7R^aloKUZBSiNG`?UrLju3l86+La3?m&|f688LWw64&e4?YN%8 z7%e&x_ip;ETnckKxT{M zDYYo<=4X7xXH|pRwS?ohHjhjeVE1-Ejmk~hMpozHeHt{gYn86V&6#${K@VYIbrra% z=EhS2k=7&vw#K8~XHKy2YZ0-OVtv}kSGptvtwPlU1bIrI3F2fH#CrBIh!jAr@C|#^ z4uf9-k7>Ii5*NFX7Jh~TcUSpa(t9@b7R_~;j49ZsrrH|7 z>nZy^dypp41M9yGva1wD+FtJwt$+=-p%4{0k{X?YVq^2YM{4_psaCyz$vxqt=6=6Z z8NBShOYJ_iwxE~M)F-zD?0F-olTj_ibDqN&V^0Zjug_tUNUDv3 zeu4d#^grf-(yqwtnf?_1L7lL`lH2S$yqn={q{5mS&0wKZFEV3_D}FW@v5t(J+W<=( zRWNB9-KK?IQs~gqHYiLqEHP|RZ7{-Tp|0mI5ug==7FbQ*K7l7COompRnjU-6#vogiDnM4vhHceYN}|@&7av+sj8%2QKMmB zo=a{mMS7^)g>Vvdbb8VlB|-kVGg_T)t39<$x%hAmVms0j5m+m%*8)jiS5r=|xSjnH z$cqP^mpg^Zt*ZeDRPfZC!>46N;gX_bDX2cjQ@OFKmSw`1Nop89H%zk()3BjPIZhnv z7VY~;jLk=VZ8~Mzl2V=YY_Z(H@|mcvAxxd-`lmn?1*Kj|W?~MRRjY4-9mx@Tf>l(t zh(VB6g?bZ9;Rp-1xkEqF4+hL0W0@#`5fKb0-Y$A5x?*TDOT#!MUd0ID-C%R|kwZr2 zn;oY@9jkn{=ua$T>e&;(d8TF9uq1gc-;|&tq_d@gre^MEtmH^^1y2+;?^h08U2{Gt z#h4mp7I;=QiCb@sA4Nla_Rt%ldR8UZ^Ml{GlXG=$zifV|43bRms-)_vjUD<8&-Zv93;- zGNao2_Z<~-!>>dRH!p``xgI$TWxAfHJzVa+U?;EIr@}ZS96jkn&M;`E((JBc*=6|N zWF_af>dy$fPZ8X}x6<#lP~y;OYLa!j{p|u-`>j2cQmTNdlG(eS{-`$O#gvsT?;pK( zd(oq$M%e(OzI0n}-lti9V@B=c%BytYB(qGTli!yb6F0}_@#A=g%nJ&!#aaI+FDu8_ z!AYxy*IeCKz0t6!rfF#?DS!c_4Qr?V-j_PCzt(6ru|8?8tiW9qdnAn_;!SmKAr%*- zw)8F?PmHp|qAULA9QJ@B%HNFPyFGP82(a}iu*u&*EwzP86AhfUn_F4N=whB7Gjs~u z>hsE@Re*NMAv&Tuu)FfcgaZB5^SY;QQJ6%3Z#jaU@ybTCp0m(B zCA5=0#5I(*U=E%)=m7{#p_o8DW#*1YGcRGoz74&1NW?QL-#Y0sBB;&felsNgtjY!` zf{gl)H$wcth$4L%i})%Reh)oJ> zO~jC{B;`~+8{j{kD{Pj6?r4@FOQyb=S*FzbK#Br!inYoXr35Wx@${;}Z&Z=2SILjf zpNl6XeYR@D+Qq{00ryxXu41?3PW1gCYaQiXf0qJCo&Qv2!nJLpBLx+5E83so_xf@& zPocWTCY7>9BQ(`Feo+@-AES1^w*?lVZgq?eU-DK|Fql;Kch`pOtc#RDw7tkkGGe{D z4t+;E+vKe91|-z}l~LukU~q7xVy@w|g!ssf2|o`MtAF!(^cSYy)dty5M!PkjpqcA^ zB+jbNa(1q;p%482(tln?Qs}hKhV`E+nLWu{NCW5@Luqy;v}Fi2QhAte-=AQT^v=yG z_}V?f8Eq`H#qRyLkdV>UM_3Dq8!vrJhUD0xx+k&{37B@InFOWG`FTo-{``LmE?Y8~ zdA1wMFO$1;-DDQCUS@h9B!k8FgtSyf`rqisyNK_S_qXVOz_M9a3OZes0910(5%S_< zq}#-e@s33xsf79LtIS5KAX6c?YsqBMU1@@u>HA&S)4)tZkLxSpzvT!sT4}JJ3vRwB}*sQ=TvuaT{X?2UXZ6WX6b*pS4 zpH)!FQ2B(1c`Dv5^-ab;J1e{gI*KY0E6IBHOOwGfGL{T?98+XOt&TJhB_Za@(KX2j zL?+r5=TuLn#R?Y-67` zoLtU{uN_-O)rj8Ai9=cA^>4smEBV zIN{S=6CR``gE2PU$+if>*4~3^TCiA&{nTNGY8AdTl^5KKDZRuM#a9%ya%%}(7hFv2 z6JWO)DT}~=)v5;743s>|f>JkOct(w}t!hW+UzsmRF*ce^RzrshvnD5`8DS2j7vPnc zIl@Nl(;1IHW@pkJ4zVa5=OI1kDPSHj;WQrV3np`(nv4$EPxVp$irYgQQMJs0{zm0O6g!t3aB$mL)OkJb3S(njQ6G+ z$+P|@N+?)<>?B-V0t*eY;q|Yq!Qr0x-!#A^dQ|kr%fojA+NNbj!LhfasS%ng29->= z%e2Z$T^rpg{>y%lNz8*q6Li(lq;`kF%+TyL0hVQ}0%I@irOAa4$F4oWTC`rKk_>ICtnuyae(q=c2sANVU+?ah@Dn|$5O^b6c zP(N9tHJ=q#F&r;`NxrXO!3<8I5!FQL%E$52k*I*Zyd`Xb4gah}?QwC69kfLdG4U3Z zA9u@PFRcqm{O7!hrJ_4;wzfZA)hfq0Rdlt&mmWo?ZP9a(1yecratv0blYl!~eZB1{ zR@AY1RY-9GB6e-v%4i(KC@%`hNi!D)R3DhT^+G8cuLVK5gOS&1ZfHQ%f0Ogv;V-YaAMS_eg|qqtzG%JylE1j` zVl$T*zTgM+{oZTRUSZbPIai!l*o7qCbVQO+jbKN$F~Gw&L|Bof@1uQ&t}IoC*XWA;jR-?PhalS{6+qP}n_Sv>= z+qP}*vu)e9ZJYmjX7bKF-}lcbWtd@~{Z68Pj>rz6R6dT#Pkk1|IHJYH;`BAMyprnVj#EIZi5kTO z$U)UXP@;3|j7VhykXsKMjgMBCo0fo=OUL)K?#o}n1`2B?{mI2ry)6G-rH$6M~i>9z71xi6o1Y8f;it;D_ac7xM<#y()#C1Lz29 zPoJpk%mM_d4A%idnWn27fH4$WPoy-PZG-0SK} zdioYb)#Ep+zw^*Y=G908`mi3~0zUDS{bi=#5SlTgAI;2^Ah8#hFH$T$flDzzOwcGv=FeN{j!9@E zw#rzgrW;x}#5C&(GDdb~xF~viE<8)9I`Ra55kF}l(kgrfuQOjC7IaRgURZ62P6pia z95?6|>?IRb(2IE04`q=Y6)BeKffOepoF~(a&=ph6R3Cv_7l-pSMJ?yPF-s!NuXx3k zsOF3bZOH3H=hQ6>>Yy7|mvyHo%As$h={jq`ttD3En&aVVyWY1m3d^*y3$%~N%}inD zbd{6ZHRjaUk@E{l$sVHznNDnv35s#DPdD>jx`Xmz651R|UxsP=Vtu^Da~FLkR8}#9 z2Xrgy3feTFx5bQEiKnb3Juuk@FpZ3Cru%(~$D*990GxNr2}YEXihKGjB)U|(EZ3PY zFTSWggS=snz;DbPTt#dHPYYp-&Siw=d?bmVela64=?%LU+h4dx@b2j!k;IY-mv6vq zu_9P`^9x>_S?W?(8$YyEscJ>Ek7eDA`MUB-nATLLO<+|W$Ov(*+(iU(SuftY;K*jn zQ^VKCi#H|~j*a>BMT4BAjMDHENAb@4bK|aaW0hDW<;)*^$PAI-r%6eLxKmaH#QQ}P z5_a0k?=ZXZ?)pF|5eX*sCGntVdzm~3mw0j}G(J-v2K zk5P9v9nN-rUkbHsxt!vfHZ*p=xnr?1e{>c;kMe-v)pA*^#Axvt!veRKUN(7;^U`t{ z%UCw816o>`=T?j9x-{2lC$9flZ+5$eXLAJg_F+<+)udU<-0ra8I@|cEPVDynlCb6G zul}~9`~A76_oP+I?sQ95G7Uji4QEH;12kX9ChPDbu%e5~2?|Av7*>R(M`I;xr<96t52QNZeb~EB9^EB~6yu{n zhQ7q`?=|}^Xy~U#)nBIi%C$%Rl6GiI8zP#gASV^R5fO}}6j(_N_Td$WBd?##(U}ig zG2hf`Z_ys-r7(l_C2RB(>lfFDi1l8>SxTwX#n~t_&tGsvQT#aC8h@gCNd}L(Wu`kvRsnX0*RU zz@_-VlmjXC4yzwm?p>0YCMlgOI3&@1rj6$#pgGmh%ae-%O{Brn>=38PZ;V&H$~Fhy z=jR#{roe|(xQHI8+6gZ~&7E2`g3LScN^>A6-&aAE(CoQeuBs*2ZQ9o7cOHX8w>}mj zo7NpyA{#uL=?IHo7IS6Xlwyvq1tRM~L&p!4+&a(0K^^;QW(ql-q`ye%_2f9WM?oy&j+=ZBvx} z1%FQ+rf7a1rZ?SNj>&E-kX?2B@}a&8bxJ9srn3am^VW{Xq_S7jksDa_xVMD&W}XN2 zBzbJvvrNQfL)!{A6dUToFEvCZ!1Wo^y(`tHt zV#!EAoiA6J=c<%^?^!s^k^ZWbv?cHE<+ByDEW>J%+_E7Yy z8RU3%l!CrY%A2j1;Lof@4OmM{Oh_E>zQnP)Zlp=eOS}zSs&Pd#4SKBapj($DN{P-a?$il z^%vp75BOJ7K+Jg~r&#m2WO^#s=4tv)D`>aGtf15KZSRDfs5+-l5g(m`p9-e0iTs0e z*J{KcUA55T1~A=w@^`5d**1-|65g(#c!23tw(eln@ZF$>&5EIzZ9UXE(j~RVXx&Bs z0XU1v%RhA%;@_?rE8~+7S91*>(BI?XUZqbnO^~8Hsn*Gd_a-HK+5#)k(n+9tjQFo<_qm_CUVxlqL=>mV zNqwq?KCw-jQF0L{N8U`Ouaa^c>7kPiMP^Z_X+Y!6vT$vh1oFlp?dzu z)_InP&or*eWVLT;QG^c!ay_!Oa=u#rMWlQn@CD^QRXffh+A5V8zWgHOT*)LTg;On% z^B)F!dAe%Fxl6pi^Ob-l2Oj*pM)z@U8U@G#yy)3yC zk|dH@i?|&cx+8qc%BH7YJhw+m><#!)Z!7c=rY<8wl?NCyiBNaoCOn!t&Qr=PEGso< zj~N;5a(cpu>W3KJ3^5FeOX*Q|q|6@(Q#$a>jI%4ewdFIw*BxvJES8rBew~Ou`Tm#} z=ij3=VY?Yb4$2o}<} zJkG)~O|6d=LjF>8c!JpR)Go zT{qjond3#>s+=<}?rA!_ym>-2^B%iOXLPN5-0m!U9(3$L+!dy$cO}uCO%|edN_ab{ z^~4gbRGr4r-3keqs!i|26r8RJw1>d?pkEJ!z_Mr%HfXf7kTWJD%$j@LXMfmivYUQC zRR=aGODE*twgmi~qDqYHd{srplyH!K3avQ6oE>}0Y&YNy83ST7fuZzgQ_drLz!3LM z*<((petq^9tUh)Fe(o%(V8~+HgjpE2-vk8uu*N0M1nM-&y8r6KkF+EGFwD$bI5S6; zix5jXLvmFWt(!2{U@OlMlBGFhv49F^rWb$oCzRz>A{TWGtC}e-R*T^c`0T$;D)oG?zmYa^DHJ4fPOQ_~puxVqNl8Nz5 zX!5Q|5YS|0DLj}5BI0+XpezlBN^R< zaAm~~Kwq5z-~M^<{lfd1xNw(am>V>jCt&Y~OQ~_!?|ZVF0(fHLO^N`sW|1a25{fMo z$dV|rX;Rhv{xGi}=f)=?nG)D+oB!HpVv6yY+j7#T?`@HG}2{axZLg~HwTg8yS z&IdUHt^ga>MFCB4Ai(~T<45B$3v7$32u-i9vK6cO_K4o_yM=T?p^`0|a720?6BedNZQFbo;+LxYY?MKyp_@}?33`F8g{~5E^rGc8`c%Z=Hoe5js{i^2Ud;>E4E8(dlw|; zJZ4@VS%U%uXa3YEA<{du>vhex7s5Dhe5V9+e!km+mu8WXMTwjg_s|D zC>=Xcn=^>R05di-4GJ&IIXuI6$mAcR5}fepfqIHZ_a;ZY~ajW4Qe{-CZq;k;u*n3*1=qk>daxt~=G+F$8YC-AFs|GCkKuYTNv3_!JNBD(s8Fcfv?+F}@rK$FSRQ>Qbl>cZ zsEfe9e!7ds6v35u1G90JMgDca3L;y-FlPEk%fPy%?-Todazk+=x z1?^*fqWW7lP>P*Z3F65>-$qqWX|QR`MPvbVd$!(DiJ~0w;&9R(1N$7cQn!r|^b3d_ z6v>O|;R5@OJHjzy^Tuhhk9tk{1eN>8Fx~3^sYxR?jvWh4zOGSlj4m&?FR+l_5XGP> z_B+{o3rqx@IKDZEHS~>9x=gY8W!+2J$@+NNnMnBc}&O-kO$bYi>LPvD z6XB`Gc?D&du)C^K21N?iW^50@CIQrv7`s(^ikn@x#A9?jE}?w0oDgenz#RATe%zzp z%v$Q4rj2VJk(iUgyHUEUS?8kOHcz3zfP9?@Yvn=X^NRL;0@_J9k@fI$PzaY7lXTq5 z+JtTqkb5)JCV3B_nwbD7M7{wOS!kQEcR)E0Wy9cC)&YWelnw(?tH<~0IwmrJUz@5Y zZ3YB3=h+^vD8`!h?lX}x$0kTPO;d400ih)GoG>~pjxg!X6nfujsx z>j-}>l*x*xTwr!$tB#UKvCH?`tzlgh=3WQPigOwWDeEMXXb2G1HA9asP{6!zma2N< zipm^SAe8N$YgqaPHFG>XHNxMK+oRpfz6d^bDa>gwXC?8I9Bow0X?Jn!YvubU_uAU# z^ZTqLJFpf7DXkyzg?k2W#1VZVpj%IFi4Jln5od8#9X_TU)|b$2K;tohNNz1HesT39 zcWi@1q-O=-kZ=x1K`8eci+JzSyF8@XA}_{Iz>Yi>IJ~LpJqGIU)>SP);#~=lo*ftm z?V?2)(%(UI_Ir%b^sP&g?jyelEKpWAie)F@W6fE_X&O&QqfN^JgcA)2^wJZE9pNb9 zQR~Ulnc34SX^UK9g(WD)MbkheYmu~IdzB@hLsyHP`VyG1YRADdfxFfA<$OF!Vb}t5 z+Dz#MpzF?UvNy{Ug>bTqey>onB1UOs2wMP}x>@hW32igBX#lZV3bqW~>LY`X)P>@cp4({l&xqcOwi3 zdT#Ii`}lY~D4p4jUCCvbKAaV8Ucz4ZmHN|r=xf3-$6r06Ym`>_o1JvZZ@3vDYnvQy zFPAwZxKL%SUWHit!+2@b$67^~dl?#Wxf*Uo$Pk5>S4}M%uX+I|4mr|JrDd1Dhy zX~VLP0zFx2bERL^9{2*+-#hu3Ts!FJ^JAH%{=x8h2Q&08%10U}8pa`#dS|+N>@h)} z0icWUZ^s!lI>H>TEcAY=RtC{Ej4VvLoPyu1gB^ECKP^1zK}3LVG=j|e6I$54;{)us zwTm*L%^MyqX|jI&0h@V;#u@4GpZO=j(H#o?_Um$R0e#)Ie;2}oUE+4`X4NxhBgNE# zA<)iVy9@`p9~X~+s$fU?i|a`VeIpXAA+-p){WWkOpA}Y)-N94Ru2X>p{OgR?o^QT$ z;CmPe2yf12B_)`B_Ec>h52P~rI*PVRMr})Z5#Bkm)#;F{`k2`>?73* zS~|s^QiB>+*Vax&p{Xo5&iZi!hP^mZAGQMkPx%f+SE}-Lma2DzKaL!X_XW(v%v`;~ zci@OZ&i{$4CR&QT59faz`o$b|xcB&0PxrdCh@kC?ER^3~KxXHTx978cX$pVu<8lHw z_UB`*@B7$4J1jGzx$zC9?GZE)P|Uj@fZrSxETJz81LFb3qi}R?wmjaJ8aVNTmkk2!B-8D{1i65yb=w4FOxkKUV%ktC62q_Qrj$=7k5N zyr1!8-30F-ugt-FA0tDFB<^;`&p3yr4FtfomibxqSIECnpI zhS4z<+-=$(j5-inWUaBNpb}Y?+V8Z%bS1?cqph6)4p~Mq4Pf*>(4Uu4LT_ziNB);I zxwY1p*gP%~o?l@2K8|#ctl}b(vh;Iv!(a*2MdhcIunlW&3CIgo;-|?jUY3&tKcT#asO8V#mOZ6?$$V~g&z`vS zJf@6taX6q|7GmD>;SAy}$7Y;l3-_vZx0h}5aDH$x!!{M-#Ci&&p6@oS)FN#J$+FO( z>k8zLIE6Snhm6)%evM%uXdtv>-R`Ch66pXcG&jF3owKIq5k?o|UCGFFBdR^CIT=@2 zHal%)rH3lxq)lHRG+H|Gcu|h*taxLEIzx_5G-Cxtq%<^lytP7RMt5=^!n@&$k@&uz zK)wUAWua|;2nIdh&2zH<&U1O@Ny;Eni#vLPnqS^)39bW|BsUjGR4ZFH^c6c%h+3gT zH*XCqLG`s#7QnE8P|=c%2WWmA6Rp*$=GbKo90K|8_hG=rR7g6%8^#io%J4WpQ!G3%NsHWWJ?Pr4gJ`e56t6# z0()Gi`4;TC=bBT%gG2mmVlPNly(>*Wx5GZ+pC^iC3d`j(F~+JpHL*WS!b9ur>g3!x^7+Qs|Dl5}Q!w?IR2x^w``vJywREbs#o zMWC&OS|wcv=G_9KcKiv&`tcuPWfJt87EcXsuowW)s|g_YKz_*Og)%rxwRO^Yg9*W~Xs^~$F?U0M%Pi|80CsY4z|iBCW<*IO z4i0oBxSM>zH7=BLY7}j0hJ5=(+Rs&+&3-~OZfwJ+f-o-}{nJ_NI6lFK5i8MxGNhe( z3K2cads~z$e{?RnA`VqfJEWK^p#WICaaLS>V{yrP+H|^Xaqtk00i`KHhh3d^P$UmP zEDLx~5Qu%lslKAXmXj~Tb6TGWuPexZCvbeKGLrIuip)pU5cil#$~Q__7`lYid8oFE z)otEj&|75xvyY#FH{kO;8z+5!POU7hMF;O}W8|cKOs7sZ$0m~k@?E)K zm#uT{*T{GXU9|J4&k1&GYmcNor{@}fTYC_zoh=4?iJG$@iCCOM=BsO0qHrHSC? zEvTQ4YTKef$!#9lG6qzP2}s@KR-UvGe>8}<$CM$!KTjFOKq-pX)Gp&sOS+O)K!AMp zq*obfG?kFd^RnpK@Sw$}iU7;Ya!+>y*B5H|l?4yAIa)*XOF^tYL%&hTHxQj1 zs_2#A{#4F$wRS_w(=J)U#jsfdpQ$URb$D1IH0R0@6l z8W+ig20m#ATPKN+&^3&f>O#-H)H=+Ta7an&6jTQcU)1Spbr(Gdw62qI5)9^ z$%KI4zV~Nfh0fh56>*DH%g?*FiNzTiv=z31IYJ++u}armgg?{%Y?GCCZmeoOevw4u zL(gBuHV7))f&g(eWDqrX+(Q<+lku2;#B)jH0LC|M73d-^0H_d@;ul|$vmqn4WCCWp zn(L}REVoHciYh`%WD;#xhpXHkR5lK9ch(jQmD!JUgaK(phh}DGCXQ~k*DmOAMRVz! z*S_C?bd5RGBHSpx?y7}Abs|wR*0`f_LNVgbsv6vNKoS0Lt77#EdIMP2AY|Kqv4lRN zDY_4>Za_F4o?n_{-jN#6^-C4S#B}%=i9PhT`TBJQ+|qLo?Ak%LmSr>k$*4}f+Ce$X zH0RblV}3Qd@~w==Fjs?T;^~=C(}b9Eoa|cR?RPfdDJV8nh^pg}Gi!&{ zA3J@2*5(qD5e>z|%x8f#DTxcq*F4+r;A2H{F5DX|8l;|q^sa+KtWm>L#D&$=rtaaN zR8w_hQZC&6HyLIIed%I6q?AD|Of$Kf-n}AWCKW_F6DBs>OZGCu)Uk9GXnMujog*^Q zXO9jCX!xTR3F_8QweQ(2{8%sMNub=uEDqK1o!~Q|JQ>ApVY?E)ogY7jZ_q4tx8672 zuWE0cYQInVaA@wqNqf|SOZTV68H~HW##3J#y1Llx@O+TXP4T8`z{Mg=&16>uZ4c15fjem$Xe16?jtmfAN~Mv<`sqo*y&c*YOT;Jfg@;v@r73XqFd{RAbUmX;0$rR zr;U?*h!kc#6FQY}=YBkeXAXWTVxL_51}ww&A7Apr08rsr3mF3aqg_m`oKs3;XPR^a zF_Kh+1Ow0xc1w2_G`n!F0XdEqRV^x9*`7oCMi(!*d1AZ~Tx@|8R3AO64-me}i}#q! zq6GAznk9W}l&+#ntr`|=_9qy9sk%aK0<*kATn>C*Mm!YJSwMbgd`HN1R{j)SU5DV4 zk<-gSpYGBus{4bk_=z9|3ar!kGHVdvBpC%9Ve@`-HeIkXX9prvORC9bbXxmf2?@#x z@k~O~~V~Nm*!Nb~OT}f;8)J>bwowSnJn=y<2 zTR$d_RG%gfxSuyzuRE@{J-*l=dt%H+)~;*76kbKuwBzRaefReQ4|FJ4(u0sSqu&NF zvC|XSmgvSx!$(!!@o!I)*x={sgR6A;2P&+K>9$2KFT%0U}W-aJZ} z`Yj&hz!1-Pef59T!iywzAQFLWRzxl}RDm=MtKN{Gq#>Y1XkU0!3r*yNt` zqKWCUn9>j*?!%R78*yjb_0rtWH_3ayvo zkbg>x`pl>3(jO=9n%#ftP3ivJC2!f%VT%<+ibr@lslwuGjGTFx1`a0~Mt0Z`?gAL> zQGOXg##}WVSw(omvd5Wsb$wa1)|(rXMb2ltz`|bDw_?2i`&jllqp=#Zf%3>{Qj-WG zNA1h!9wLc^$jYX z_|)7u(#0IY!aMEJ3bz}LEBN98$VmAwa>Phlwks>1h<2pJM4*#J6nQV2*4y@*Ikinp z(uFDIVP$woy$GxDl8|T0a8b$))TuN6Xv{pJU-upSLsXT|?m<5XWk}R;zY-hGT+T+jDhmYM6-X_$lDLpaQI89uCZVx1k zZtJn{gg-jK`Eu8d&kZIDa?;z&lbGHv>&;`pn=ABb)5-xK>%d2EqqR?$^MuVYL4NkH zN{M^6?}98^kbIYcyY>WoXtH9pL#cL2c;&B&Rg?JDz$2>p9O)}`Wp3> zEsxNm~i;}^Hr_p45uH$LWn0kGn*#~tQN{zXgEz^Y4->V^8-{7RMrULhEsrU zYjCCq@{umijnNbZf6ncxWvd7c|D`Y`quW(A6kRo}{CP_VC!`wCRtu=fh5isj=Bwlb zD<@}?N4lGjY@XVguqh9Js#esRI6oa@CE?F~3#c$Vmh5Ez6rQ)}8}dNU1Dv|y-_Kf} zk~1a?`2#@!e%f>bqc13xF`5p}Pf12%Cr4n^ZgQEt>)oZqesaNLf@uvJCA2JFoU zJc{f#V~le`ey8!0b3%G1V(mxTZNM?Oo{zl7o=~I?5o9pTBu05XNADk?#-zQ7vhxk7 zD6Oj~-g$Uppo$O;tx2=O0kg8^K#FnGq8oB(}hDpGEG7OX;=s&{T^gTSRUl{sykYmOsAhUUH zqnYYK9wFm$(HrUN4~i);lTv9FhqyfQ5?6`VwU zH1mR#D=Bfvqm__AfgbVX`_R!7Oz7MgsZ4|o*5cqBUp0ik5d?1B7 zVcE>dHP*q35&J4WiGV#`=6mR9x65rLit5KWwGc_UaKs|jkehb7JYv@K8d?sFXjPSL zyy}EAJ`P73G!07@<#deE0Q(AEh^Z4fZU!N9E%2}fA=m0TTv6D`V)=JWxrEN@7CV)o zDR!j^Ve58x0c=wX-!TNnOQeiD3SAB~W`}a+1s2_!(O3yvkQ{>fe6cQ2#I$8KoNfll z{VR~_PSG^+wK=Qz$;7Oc;_B9jaimIA;i3_gOP=w}6<2{;b*vH>*<%V^Y{I{IPU9da zkAf+yi2T-2PuDkb;f5N8A=ytl6i|b zq1{LOTZG4Eb5?tq7@?lFZoMdumz*5l+9O^jpGM}SdwKK`{%sSe{T=x6d@CRq3ku{q zAaP%n)oCfhGig%3-fOVhXf}mwfPd*|-Q&Zh7VIa2ZW<6P@+27@Rcns@MWB1yDT>l= zIxJ|hL(ey2R_MgGBsmz%jy!ipVV2jH!N;;>lo5-@YkcqLOP(xY5HD*?`0DbI`=Y;x zq_->nELSiu$Ns!D;^Zx&C!)wPFRuHWl*v5ZsS!3>&w!@Qdi+tz6t33 zz|#*QZSTcLOT`g+85_&PtQVh0FBO_zqUV!C+(SwPWk(W;ohEL5OayUaLnw zyg6X|7O@Z=tFzPNI^IErf0`}R7aU|hX^*D3b6_2;Pe`I-2XLh6PqbF9NKLiiMr~r5 z-#+6RAYSCU?WOnuSp^Yxy=`~U_F3*2^JQ;>w4Xf;*9gZBnBzXznEsy~esd*{3|5i_ z-x`tzWjhu>uBAN9qkOUL-kf+qnSRIRCJM#;@8&0gI>q~28>>04xw3ZP^9%2xA|R^E zRB+(ejuUguI<~qV8*(H9Wh}R%UDk1;4@KBw^qoXV%qEjtSwzVY!7aZG%TZecFxU$( zm)h_*xFu1unPRo8z7Pb(*{mFwMl0V)(1_3(^1^$*rS%`Hat4i!k@1`y)%QH0KZtC% zmNbFIUOG!JU))(34OjFAF);?X)y_C)&O92zH=hI@Pe0P=%=M4{(P9g`U5cvG^=`tK z#%Qr>rRXt3>8E;eo!1j(zdT#63y$sfD6G+|W|LGaCj?+bFUj(?AZ_yH6;POOO zjcjU2`wqEt#iNl%f}PA8HTE{TGAZZ7l321azw;hBln;z7s^OFaT;+`wTaEuHj$7fp zf=2Ps9^Spb+pEE0tTymHqP%OoFI$ zqUn^?xU^L|;v!@ycKna3oa(azUma-m%r{0jep((2eVeIJ>{WZglFnaBIR!5sp1&|> z$jm%FHer=-Syf2Eh60t8J<{~dI71iBk@8VgO7CI{Oy@_jV*a+kdmI1aCEE>TXnctb zbvM}!Wb|Z!e1v14;EPc-8i+mp;E#o%uL7l`iU2P2adZ|?v{iw8xV`n}fwCe!nb_)T z;o6{s-|5_PZ|i!wzM9@UK&y3iJrq7qGn$QZyBPw~r4)cDkl6=v!XCjOMSE0v+#KEk zo-FE0sj4*{9AR0WR=%>m?N5M28n6xU%YCu9`N}E(f#riBxJ?FYwV!M2%R{B(58EWJ zCZ}*52>-43mi}~KJUD&4ykuKJ_9mR?iyOpP>Wh{e1Ay$gn{DfTQC*wc;YnfiDX@m- z>_*`o2Lhfuj^d^W<>8h%S705ICIbEksPF{06*eCD4f?Jqxc`rmPc zTfe`TQR*`M89od8l4VS1xRfmEJLqlaT4atCtl7Z;JGqN#@@5ly^#RhOzMfd(X0#2Z zdGU}O5{O3xkHT_uIbeI^b}aZc{mA7Z-jH(wqv~q(HK9~t*gu-C=uKBKCa4w^nnU`G!Tp!05e-)WfhB40I(BBJ_ik6NyZdA4)E*E6>$_9 zvhcGt{|guBO%_d2fz#-+XaI)+{kPIfmc$xW2Jj3$B?@toJ zN(osavq8MF=*zLFM8YU>OxnD{$FZ?G|lWdkD0{IZPr>1Vj|LOqI7(ZWtO08Kos|X!J>)9jWQZ z8LrEE$6}<{gupz9LRf9xkm3N|RI6_@r#zGEE2(a#F1C1hw-vR)fs`nH#f-QH2j2h+ z9CpfSRFW<09tmaW);aPM8z;z-6f9$*Odi~!NUgs-mF=l zUn|DtPq8px`h>takL6$j(!zcY_M~y8Wa2L}TWPts@0C%69!s1NsQx>4{aEZ-{xDMVvIZ`M{4)-l5lMs z+R@YP;r04B)Ujo{Cy_up^lCmpMrd55aEFe0vk>wvWhqdZnGq81)wlbh0o8N|xIbPJ zLgSY(J6?gsRG_VwJ&|dc-~$kgkoG2DktF&PM(BHSbCD)PkKQPI>Moi0+64JjV|kCN zy^u-=T+=Ivb6M{*PV2w8g!v0Pdcq~E_HTC}e%f5(G;4o`Th7+WXXb#9VLtd!fmESc zQ^1j}*-F4+Z7QLN2+7Q(`v8nw38#=*{K}P;j~Teg9T56mZV4;{{GQ+Hck3<9WC9oioV zuW`hngOmWoHhB@L>|aIbD0xW}`#RK+RLa7riog6&UAr=sbR{(x_eV;EvU^gL$&0+4 zgBuUaGc>dyZb_MGlA(v+w5AM}bZx%!X&| zFS2FomA^>9Y`$DG60S=s;3G3oUeY!$_X-W%&u|DZ4#!J?2iob0ef@F-UKuFT$LmBE z|9Ro-br*jfNJGanz~#onRWH%YBe{0w71nHKWN8d3e1|{4YBIRXibrr#JERshXP^%> zq1IOt9$5sI>1V@tTa2uKa;M!D4~fR)o3Dj+&a6m#yM!SMEG!}0iBJ3cY>drjOw+^Q zV%LNdBppbQm7#;A0Uhu?6D6_(RQ_)-+Xw-IQ|+vi!mz0Qb@nN*->W5ZRi5OIydgS6 zUG0Oeb)j(F50EC7m`-$qckYC=?Pg=iscfRRgW`h*%7~#v3vj`^zsT`>WXJ8X>GZ%q z3sdjJ4vlQ5CV~@&VitonP8WIE^~d1ewyQgk5K3Ji&Tg;ctO4tc@h9dSCnF*|YV@PR zeNH^yJVexfR0|}-YtKsvNW5u1AhBb*g8`OGpJxBW=FTP=eLq!YO^=Tl>KzRYzD!;# z`N*!{lyreY^-RPmyE^9M?i3J%XT=cKjUT5s)V~5bo}lQAZ)Qv57n+3Ix(>#x{E|KW z{sXOi;*^uMeYSKmjpY*=NT@4MDTS-~73nS*0!jyg3_B<#ApGD|ccV(68rbeQ8_ z*QgoQ0NvU-W(xkU$nNrJ$vUx=HTrPRE&J+^E}4~R`14$`doYJFu1m;s)9)|m%KOK# zO4nuQD10(4Ny<2l#Wy1Yj7%z*m}qlKNx-%(DuHprbtp(ip?f9;mH>q{3rT#BuhNe? zc!C^DaoO0Q^%q5tNIDb*t`lFN2JeV)gt`t*ifa=uKDsZyfZif~*x!bi@*X0nQE zu7=VyA)vuOX!O!z?{MU;BMHQN3vK9IFD8;fPe^fjiFSy?d)Uj3Xs%1+^A}F4NS6&C zychyXSv!tN#%?>e2&;lmK$lzg%p<0Do(oS;6nt;eW145}{C$D-lP|;CUtGld^{LSQ zlXeEDP|Nvj>GoUOr;_zDYMck@^ zm&<|x#fcfKLv03q!us}YA-g)w>&xaUzKzGzvE$~5%Ng&6bw(N~#}vl1%Y_&OenaRN zB0VPU^iDPsu0wHEYz<2&iVAVRZEG_DXye20oI3m1rAiT3xzgz2;aeL1Mr}-iKXP*$ zaw5!A^{Y+PlaHh`JgEln*-4&qVk{R>~*Sz_Q6;T=T2u)9;pI2QAo z$cMSBTR#Zwz?1~Qb=?mOGMTQFW(lWEc-jTQaL!~}Vx#R2#PSm!(`xgPS}hPEpA&Dcz1wPE{*I@O2iI5i`+g_mLJB73Hl;>heJo*Qn({pf3M? zXoe2JVw8?XQnpEHcK!tDuXErK@4Poq>VI9)`g{Iwis?qme?=&u{ugKM^bIZbO^yG; zOKokOm3fp7=zm?kp=2N{i%)}d;4h)fGPoi;u^EZRqiKdxpAmBq4BYP6l5n_S3zB&5 zEckS8EscN@AWdPVRgDfhKu>cT>X50;=}6k5?EJjLfzf3(3Si>wg}wl+AHc6IDJ~xB zLdyn_#rCq??Kba1*ntFC`GqaJAB3^!h=L0*YN?GLw+q+P@*s$UyTKEqBU<2dtvcyA zIDOt~A5vu28#i-`<3?`~-TI?826xH4sWB2GX8bNKD2D5MS5d%MY{4RxRd1J{;-^||eO>Q5T`@EEqSS##Qj!p&n;01Emsdbh0_6d9K)utPXZ8F|NR z&Kp3OI~7|jJVL2LK6mBWG;fs_X#ma%3DpNBT^v>dq|I}H5n6VGE$Il4>Wa`9H!|?ZWRpZkY0PSVZ@UHq z{$l~c3dY8HBce6423gfno&KeFLpHmTjJao?Wk&mF6uhaT`d+mv)ymx!)7ojsA#`Sx z!v-$vF)xoFBsDknDT^kAx<0e!dT0wEE7h=Qz^e{iE_u&5bquHD?|Q+x<8^&j{e@3= zJIQG8m4n?Xfin4;ZYCbvgBF<~)+v=!W}}W?eiyC=Tt&Mpc~95f-_K<9r8`qLtM~vd zFP%^Df5y2Ss#j^zU+TE@UtGxl9OwVxk?)k>@?QSMFV_P9PXzP-VuR2riU;O!qo--|$fodX1aQ_f2Ly3oPD1qN8^MbR#*W9a7d@Q|aHs@W zAaXBkK26i#beey;n6tKw?MVfZ6o?ETSy8`6C_*fPGT_P47+*aMnOdZNSC;UjEQg$R z*oyTwo&HGNU{VY>1ZbzaaI-h%V|zh1d0dHd;Ia$V&WSm@4EIdVB_8al*r{jH7hgrj z%W%6NFqUo(&6Cy)`(})?AC_nY1fE^di`*SccUSu`KM5h{ZNxl|We4)9vU0n*1ez@-gY;WQB18^_&dj!tk}Xcxp2G`rxp zn+Ttav7{Aj5n>=bVODcO@hcpFOnNtjxwg>KHwASAMxv4w2u?$C9Gcocv+Hi zSUB1&YEvJI=~A+l;Y@r8GJ;q@7yxCIs!Q$EEwn$B2nBdXr> z-By@+ralj_&==C|DVhM8Z7?>UjN@U z{yXLSe<}a~H2TB-9d!Q(=J$UW`0udn|1AIx@-HX;3p)Eh8vmhE|C>7Z50&~qR^-3` zUo`#?jOu?&{e!9dH+SbBOx=I1$R8Ww-|qYmss9eG`?uIXsGfhP%YRTk|FI%}WAy)@ z*#Cat7LNZG`p2t(r?P*t>wm1s|HJM7DfI7L`)|>Ivf#ht#y?r`KUU;l=KgQdf9J&i pX#C$I%zrc*{o}m;t?|F&jl2}--!KIL0QvU_`Wv*Weg3)o{{T`4g=YW& literal 0 HcmV?d00001 diff --git a/extension/src/extension.ts b/extension/src/extension.ts index 235390a..de2cbb3 100644 --- a/extension/src/extension.ts +++ b/extension/src/extension.ts @@ -4,7 +4,7 @@ import fetch from "node-fetch"; // @ts-ignore import converter from "./converter"; -const SERVER_URL = "http://localhost:80"; +const SERVER_URL = "https://paperproof.xyz"; let sessionId: string | null = null; let latestInfo: object | null = null;