From 51f7bbcd31f894f663bcca0d7cdb30fbdac2cffd Mon Sep 17 00:00:00 2001
From: Katie McKeon <62887234+katiemckeon@users.noreply.github.com>
Date: Sun, 25 Feb 2024 12:40:42 -0600
Subject: [PATCH] Extend snarkjs testing

This PR adds a test invoking all of the commands in `snarkjs --help`.

The new files in `snark_js/circom_files` were generated by Circom v2.1.5 (not
the latest release, but close enough).  I have considered the possibility that
Circom & Snarkjs undergo an update, introducing errors in the test script from
our outdated serializations in `circom_files/`.  Informally, I'd estimate the
likelihood is low.  I've never encountered or heard about snarkjs breaking
changes.  There are enough Circom circuits in production use cases out there, I
suspect they develop around backwards compatibility

Since the test script generates so many intermediate files - I created
`/tmp/snarkjs` at the beginning of the script and remove it at the end.  There
are plenty of subdirectories added to this folder, but I never bother to delete
them.  I let the recursive flag handle all that at the end.  Just pointing this
out in case there is a reason not to do that (if `test.sh` ends early, many
intermediate files are left).

Merges #6
---
 images/snarkjs/circom-files/circuit.circom |  18 ++
 images/snarkjs/circom-files/circuit.r1cs   | Bin 0 -> 49336 bytes
 images/snarkjs/circom-files/circuit.sym    | 303 +++++++++++++++++++++
 images/snarkjs/circom-files/circuit.wasm   | Bin 0 -> 35938 bytes
 images/snarkjs/circom-files/input.json     |   1 +
 images/snarkjs/circom-files/witness.wtns   | Bin 0 -> 9772 bytes
 images/snarkjs/test.sh                     | 142 ++++++++++
 7 files changed, 464 insertions(+)
 create mode 100644 images/snarkjs/circom-files/circuit.circom
 create mode 100644 images/snarkjs/circom-files/circuit.r1cs
 create mode 100644 images/snarkjs/circom-files/circuit.sym
 create mode 100644 images/snarkjs/circom-files/circuit.wasm
 create mode 100644 images/snarkjs/circom-files/input.json
 create mode 100644 images/snarkjs/circom-files/witness.wtns

diff --git a/images/snarkjs/circom-files/circuit.circom b/images/snarkjs/circom-files/circuit.circom
new file mode 100644
index 0000000..5f44248
--- /dev/null
+++ b/images/snarkjs/circom-files/circuit.circom
@@ -0,0 +1,18 @@
+pragma circom 2.0.0;
+
+template Multiplier(n) {
+    signal input a;
+    signal input b;
+    signal output c;
+
+    signal int[n];
+
+    int[0] <== a*a + b;
+    for (var i=1; i<n; i++) {
+    int[i] <== int[i-1]*int[i-1] + b;
+    }
+
+    c <== int[n-1];
+}
+
+component main = Multiplier(300);
diff --git a/images/snarkjs/circom-files/circuit.r1cs b/images/snarkjs/circom-files/circuit.r1cs
new file mode 100644
index 0000000000000000000000000000000000000000..0493554e80869ac78ada2db68d18a6f7ce056fc0
GIT binary patch
literal 49336
zcmb{2b&!>10EO{aLb|)VTkJ#;#X@WhEU*i~02{j%u@k#n5$x{3?!d&xz^=V=nDH-p
z&dj+pyJvQJ=DWYy;g5U2_f8x#ZqgE^l<HMq)vCVc%&huW^{D)=@^jT={`3WNhfkX@
zd&<apLwk=MGj;0B5u<1InK5MU#8Kl1FX}4$e~-$wD$lXFuExTPEcQ8_ZgI~^Z8f3I
z=~A{Oq0Q-1wp!5UbSYbHXmh%htq!y~UCLG$+MF(Bs|RgPm$KD|Hm6J38bF)VrECqM
z&FNCMM$qPTDO+P`bGnqR3A8y~%GMOxoGxW+25nB4vNeY`r%TydK%3L0Y%QV9=~A{<
z(B^b0TWe@@x|FRAv^ibM))v~FE@f*6ZBCc6wTCvROW8U=o71Ii9ih$XQnpUe=5#4r
zXJ~V}l&uT2IbF)u722FGW$OlQPM5NEhc>56*?K^m)1_=Zq0Q-1wqDTYbSYbJXmh%h
ztq-(0UCP!M+MF(B>j!O4m$LPTHm6J320)wBrECMC&FNCMLD1%ODcfLZbGnpm2(&p}
z%C;1=IbF&&6xy6FWm_8BoGxWs2HKo1Wm^{7oGxWs4%(b9Wm_KFoGxWs0ot4{Wm^&2
zoGxWs3EG@4Wm_5AoGxWs1=^f0Wm^^6oGxWs4ceS8Wg7-<PM5N+4sA}CvaJDaPM5L`
zhc>56+17+Mr%TyJK%3L0Y->TA)1_={Lz~m3Y$Kt~=~A|Jpv~!0wsoP+=~A}!pv~!0
zw)LUS=~A{0pv~!0wo%aLbSc}0(B^b0+h}NWx|D4rXmh%hZDVM2x|D4bXmh%hZBuA-
zx|D4*Xmh%hZF6XIx|D4TXmh%hZ49(IUCOp4v^ibMwiUEFUCOpKv^ibMwhgp7UCK5V
z+MF(B+ZNiKE@j&e+MF(B+aB7SE@j&R+MF(B+Y#EFE@c}BZBCc6jfXa;OWAgUHm6J3
zc7`^mOWAgTHm6J3c7-;lOWAgVHm6J3c84~nOWF2-Hm6J3_JlU4OWF2<Hm6J3_J%g6
zOWF2;Hm6J3CP16hrEL2`o71Ii6QRxNQnpFZ=5#6Be$eK0Dck<g=5#6B0np}jDcgb2
z=5#6BWN34`lx+&MIbF(j5VSd6%62fcIbF(j2(&p}%62HUIbF(j7_>QE%62%kIbF(j
z1hhF_$~G0+oGxWM655<DWjhMmoGxWM8rqyLWjhAioGxWM7TTOHWjhYqoGxWM9@?BP
zWjg`doGxWM5!#$CWjhJloGxWM8QPpKWjh7hoGxWM722FGWjhVpoGxWM9on2OWt#?V
zPM5Ns0c}o~vQ39Jr%Tz+gf^#3+0KGCr%Tz+hBl{5+0KDBr%Tz+g*K;4+0KJDr%Tz+
zhc>56*)D)Kr%Tx`gf^#3*)D=Mr%Tx`hBl{5*)D-Lr%TypK%3L0Y?nft)1_>eL7UU1
zY?niu)1_=zK%3L0Y*#{?)1_=zL7UU1Y*#~@)1_?JK%3L0Y}Z1Y)1_?JL7UU1Y}Z4Z
z)1_=TK%3L0Y&Sxi)1_=TL7UU1Y&S!j)1_>;K%3L0Y_~$2)1_>;L7UU1Y_~(3)1_>8
zK%3L0Y<EJN)1_=Pq0Q-1w!5Is=~A{?(B^b0+iYlax|Hp1Xmh%h?H*`zx|Ho+Xmh%h
z?LKI8x|HpHXmh%h?Ez?Wx|HofXmh%h?ICD$x|Ho<Xmh%h?Gb2mx|HovXmh%h?J;O`
zx|Hp4Xmh%h?Fndex|HonXmh%h?I~z;x|Ho{Xmh%h?HOoux|Ho%Xmh%h?Kx<3x|HpC
zXmh%h?FDFax|D4Wv^ibM_9C=7UCQ<nv^ibM_A<0NUCQ<fv^ibM_A0bFUCQ<vv^ibM
z_BymVUCQ<bv^ibM_9nDBUCQ<rv^ibM_BOORUCQ<jv^ibM_AazJUCQ<zv^ibM_CB;Z
zUCQ<Wv^ibMHW%8QE@k@=+MF(B`v}^cE@k@|+MF(B`vlsYE@k@^+MF(B`wZHgE@hhs
zZBCc6eGY9-m$H2UZBCc6eF<$&m$H2YZBCc6eGP3+m$H2WZBCc6eG6?)m$J==Hm6J3
zzJoTWOWD4MHm6J3et<ToOWA&eHm6J37C@WRrEEVzo71IiKSP_-rEI@Io71Iize1bS
zrEI@Jo71IizeAhTrEGsdo71Iie?ptnrEGseo71Iie?yzo5nEXp&7Zzt?(k_7W=|P8
zZ)oqaW2R1>Ib!szJ~M{Qoj7Xz;ObSj#a-*)e+SoE)Gh9M)hf>ku19U;T9v1(bi`II
zXd~CEJYA(DHu5*A4*ZqG=~A{D(B^b0TTN(lx|D56Xmh%htroO7UCLG)+MF(Bs{?IL
zm$KD`Hm6J3>Oq^+rEK+~&FNCM2GHhoDO*EmbGnqR5wtm7%GMa#oGxW+0&Py0vNeS^
zr%TzIL7UU1Y|Wv~=~A{9(B^b0TT5tjx|FRIv^ibM)*9NJE@f*2ZBCc6wS_jPOWE2%
zo71Ii?V-)-Qnn7z=5#4rM`&}pl&urAIbF)u8QPpKW$OZMPM5NEg*K;4*}6fS)1_?P
zq0Q-1wjR*tbSYa;Xmh%htrxU8UCP!Q+MF(B>jQ00m$LPRHm6J3`azr1rELA7&FNCM
z0np}jDceA3b2?&E6FH+CR&}OTd33J&s=Ds~UUN`Ypyw`?^T@&aq4NKta>h2fPSv;n
zJpS8OeqCuQj~WZ7)YLAit);E4U39s+`njIAzP5q3p|+8>v9^h}skWK6xweJ2rM8u}
zwYH76t+t)Ey|#n4qqdW_v$l)2tG1iAyS9h6r?!{2x3-VAueP7IzjlCjpmvaUuy%-c
zDeX}0(%NOT%W9X?F0WldyP|d_?aJC!w5w`Y(+<<Fu3bYrT)U=rgmx|M+S-xYb+qeh
z*VC@A-9S4^yP<Zpb|dY^+D){ZYB$qvuH8aAM!ThUEA7_WZM0*x+iJJdZm-=zyQ6lT
zcD!~c?ata=w7Y6|)9$X_L%XMTFYVsieY6v_`)Vg@Cu#T7?yo&Sd!Tl*c8c~O?ZMhZ
zw1;XB(;lupLOWG^r1mK7(b{9Q$7+w$9<Mz?d!qIv?aA6xw5MuM)1I!KraePDU3;eX
zEbZCabF}Ab&(of-y+C`R_9E@Y+Do)Ew3lix(_XH<LVKn5D(%(UYqZyDuhU+yy+M1U
z_9pGk+FP`@YH!otuDwHhr*@|HF6}JsZ0+6Jd$jjz@6+C|eL(x5_95-V+DEjHY9G@+
zu6;uLr1mN8)7odW&uX93KCgX2J4gGX_9gAh+E=u%YG2d7u6;xMruHrE+uC=u?`q%E
zzOVg2J6HRm_9N}b+E28fYCqG?(|)e~Li?rmEA7|XZ?xZP=WD;yey{yO`=fS&_9yMn
z+F!K4YJb!IuKh#%r}i)H-`Yhl67(6Pe?O;F`6qpLrs#7jMV|>N`us)FXB~<@S5S0@
zUvyqxbT(ad4qSBRT6Dfybe33jZdY_hR&*X!boNtp&Qf%yQFMM#bg#bXzIf3+=%V|*
zMfX;V?qe3+Gc3A4S9C9|bY5cNA42zditeWr-Mc8dPf+xpyy*RJ(R<CJ_jN_@p^DzG
S6umbndL3T$nz!inW%&ns9h>w3

literal 0
HcmV?d00001

diff --git a/images/snarkjs/circom-files/circuit.sym b/images/snarkjs/circom-files/circuit.sym
new file mode 100644
index 0000000..9cbe588
--- /dev/null
+++ b/images/snarkjs/circom-files/circuit.sym
@@ -0,0 +1,303 @@
+1,1,0,main.c
+2,2,0,main.a
+3,3,0,main.b
+4,4,0,main.int[0]
+5,5,0,main.int[1]
+6,6,0,main.int[2]
+7,7,0,main.int[3]
+8,8,0,main.int[4]
+9,9,0,main.int[5]
+10,10,0,main.int[6]
+11,11,0,main.int[7]
+12,12,0,main.int[8]
+13,13,0,main.int[9]
+14,14,0,main.int[10]
+15,15,0,main.int[11]
+16,16,0,main.int[12]
+17,17,0,main.int[13]
+18,18,0,main.int[14]
+19,19,0,main.int[15]
+20,20,0,main.int[16]
+21,21,0,main.int[17]
+22,22,0,main.int[18]
+23,23,0,main.int[19]
+24,24,0,main.int[20]
+25,25,0,main.int[21]
+26,26,0,main.int[22]
+27,27,0,main.int[23]
+28,28,0,main.int[24]
+29,29,0,main.int[25]
+30,30,0,main.int[26]
+31,31,0,main.int[27]
+32,32,0,main.int[28]
+33,33,0,main.int[29]
+34,34,0,main.int[30]
+35,35,0,main.int[31]
+36,36,0,main.int[32]
+37,37,0,main.int[33]
+38,38,0,main.int[34]
+39,39,0,main.int[35]
+40,40,0,main.int[36]
+41,41,0,main.int[37]
+42,42,0,main.int[38]
+43,43,0,main.int[39]
+44,44,0,main.int[40]
+45,45,0,main.int[41]
+46,46,0,main.int[42]
+47,47,0,main.int[43]
+48,48,0,main.int[44]
+49,49,0,main.int[45]
+50,50,0,main.int[46]
+51,51,0,main.int[47]
+52,52,0,main.int[48]
+53,53,0,main.int[49]
+54,54,0,main.int[50]
+55,55,0,main.int[51]
+56,56,0,main.int[52]
+57,57,0,main.int[53]
+58,58,0,main.int[54]
+59,59,0,main.int[55]
+60,60,0,main.int[56]
+61,61,0,main.int[57]
+62,62,0,main.int[58]
+63,63,0,main.int[59]
+64,64,0,main.int[60]
+65,65,0,main.int[61]
+66,66,0,main.int[62]
+67,67,0,main.int[63]
+68,68,0,main.int[64]
+69,69,0,main.int[65]
+70,70,0,main.int[66]
+71,71,0,main.int[67]
+72,72,0,main.int[68]
+73,73,0,main.int[69]
+74,74,0,main.int[70]
+75,75,0,main.int[71]
+76,76,0,main.int[72]
+77,77,0,main.int[73]
+78,78,0,main.int[74]
+79,79,0,main.int[75]
+80,80,0,main.int[76]
+81,81,0,main.int[77]
+82,82,0,main.int[78]
+83,83,0,main.int[79]
+84,84,0,main.int[80]
+85,85,0,main.int[81]
+86,86,0,main.int[82]
+87,87,0,main.int[83]
+88,88,0,main.int[84]
+89,89,0,main.int[85]
+90,90,0,main.int[86]
+91,91,0,main.int[87]
+92,92,0,main.int[88]
+93,93,0,main.int[89]
+94,94,0,main.int[90]
+95,95,0,main.int[91]
+96,96,0,main.int[92]
+97,97,0,main.int[93]
+98,98,0,main.int[94]
+99,99,0,main.int[95]
+100,100,0,main.int[96]
+101,101,0,main.int[97]
+102,102,0,main.int[98]
+103,103,0,main.int[99]
+104,104,0,main.int[100]
+105,105,0,main.int[101]
+106,106,0,main.int[102]
+107,107,0,main.int[103]
+108,108,0,main.int[104]
+109,109,0,main.int[105]
+110,110,0,main.int[106]
+111,111,0,main.int[107]
+112,112,0,main.int[108]
+113,113,0,main.int[109]
+114,114,0,main.int[110]
+115,115,0,main.int[111]
+116,116,0,main.int[112]
+117,117,0,main.int[113]
+118,118,0,main.int[114]
+119,119,0,main.int[115]
+120,120,0,main.int[116]
+121,121,0,main.int[117]
+122,122,0,main.int[118]
+123,123,0,main.int[119]
+124,124,0,main.int[120]
+125,125,0,main.int[121]
+126,126,0,main.int[122]
+127,127,0,main.int[123]
+128,128,0,main.int[124]
+129,129,0,main.int[125]
+130,130,0,main.int[126]
+131,131,0,main.int[127]
+132,132,0,main.int[128]
+133,133,0,main.int[129]
+134,134,0,main.int[130]
+135,135,0,main.int[131]
+136,136,0,main.int[132]
+137,137,0,main.int[133]
+138,138,0,main.int[134]
+139,139,0,main.int[135]
+140,140,0,main.int[136]
+141,141,0,main.int[137]
+142,142,0,main.int[138]
+143,143,0,main.int[139]
+144,144,0,main.int[140]
+145,145,0,main.int[141]
+146,146,0,main.int[142]
+147,147,0,main.int[143]
+148,148,0,main.int[144]
+149,149,0,main.int[145]
+150,150,0,main.int[146]
+151,151,0,main.int[147]
+152,152,0,main.int[148]
+153,153,0,main.int[149]
+154,154,0,main.int[150]
+155,155,0,main.int[151]
+156,156,0,main.int[152]
+157,157,0,main.int[153]
+158,158,0,main.int[154]
+159,159,0,main.int[155]
+160,160,0,main.int[156]
+161,161,0,main.int[157]
+162,162,0,main.int[158]
+163,163,0,main.int[159]
+164,164,0,main.int[160]
+165,165,0,main.int[161]
+166,166,0,main.int[162]
+167,167,0,main.int[163]
+168,168,0,main.int[164]
+169,169,0,main.int[165]
+170,170,0,main.int[166]
+171,171,0,main.int[167]
+172,172,0,main.int[168]
+173,173,0,main.int[169]
+174,174,0,main.int[170]
+175,175,0,main.int[171]
+176,176,0,main.int[172]
+177,177,0,main.int[173]
+178,178,0,main.int[174]
+179,179,0,main.int[175]
+180,180,0,main.int[176]
+181,181,0,main.int[177]
+182,182,0,main.int[178]
+183,183,0,main.int[179]
+184,184,0,main.int[180]
+185,185,0,main.int[181]
+186,186,0,main.int[182]
+187,187,0,main.int[183]
+188,188,0,main.int[184]
+189,189,0,main.int[185]
+190,190,0,main.int[186]
+191,191,0,main.int[187]
+192,192,0,main.int[188]
+193,193,0,main.int[189]
+194,194,0,main.int[190]
+195,195,0,main.int[191]
+196,196,0,main.int[192]
+197,197,0,main.int[193]
+198,198,0,main.int[194]
+199,199,0,main.int[195]
+200,200,0,main.int[196]
+201,201,0,main.int[197]
+202,202,0,main.int[198]
+203,203,0,main.int[199]
+204,204,0,main.int[200]
+205,205,0,main.int[201]
+206,206,0,main.int[202]
+207,207,0,main.int[203]
+208,208,0,main.int[204]
+209,209,0,main.int[205]
+210,210,0,main.int[206]
+211,211,0,main.int[207]
+212,212,0,main.int[208]
+213,213,0,main.int[209]
+214,214,0,main.int[210]
+215,215,0,main.int[211]
+216,216,0,main.int[212]
+217,217,0,main.int[213]
+218,218,0,main.int[214]
+219,219,0,main.int[215]
+220,220,0,main.int[216]
+221,221,0,main.int[217]
+222,222,0,main.int[218]
+223,223,0,main.int[219]
+224,224,0,main.int[220]
+225,225,0,main.int[221]
+226,226,0,main.int[222]
+227,227,0,main.int[223]
+228,228,0,main.int[224]
+229,229,0,main.int[225]
+230,230,0,main.int[226]
+231,231,0,main.int[227]
+232,232,0,main.int[228]
+233,233,0,main.int[229]
+234,234,0,main.int[230]
+235,235,0,main.int[231]
+236,236,0,main.int[232]
+237,237,0,main.int[233]
+238,238,0,main.int[234]
+239,239,0,main.int[235]
+240,240,0,main.int[236]
+241,241,0,main.int[237]
+242,242,0,main.int[238]
+243,243,0,main.int[239]
+244,244,0,main.int[240]
+245,245,0,main.int[241]
+246,246,0,main.int[242]
+247,247,0,main.int[243]
+248,248,0,main.int[244]
+249,249,0,main.int[245]
+250,250,0,main.int[246]
+251,251,0,main.int[247]
+252,252,0,main.int[248]
+253,253,0,main.int[249]
+254,254,0,main.int[250]
+255,255,0,main.int[251]
+256,256,0,main.int[252]
+257,257,0,main.int[253]
+258,258,0,main.int[254]
+259,259,0,main.int[255]
+260,260,0,main.int[256]
+261,261,0,main.int[257]
+262,262,0,main.int[258]
+263,263,0,main.int[259]
+264,264,0,main.int[260]
+265,265,0,main.int[261]
+266,266,0,main.int[262]
+267,267,0,main.int[263]
+268,268,0,main.int[264]
+269,269,0,main.int[265]
+270,270,0,main.int[266]
+271,271,0,main.int[267]
+272,272,0,main.int[268]
+273,273,0,main.int[269]
+274,274,0,main.int[270]
+275,275,0,main.int[271]
+276,276,0,main.int[272]
+277,277,0,main.int[273]
+278,278,0,main.int[274]
+279,279,0,main.int[275]
+280,280,0,main.int[276]
+281,281,0,main.int[277]
+282,282,0,main.int[278]
+283,283,0,main.int[279]
+284,284,0,main.int[280]
+285,285,0,main.int[281]
+286,286,0,main.int[282]
+287,287,0,main.int[283]
+288,288,0,main.int[284]
+289,289,0,main.int[285]
+290,290,0,main.int[286]
+291,291,0,main.int[287]
+292,292,0,main.int[288]
+293,293,0,main.int[289]
+294,294,0,main.int[290]
+295,295,0,main.int[291]
+296,296,0,main.int[292]
+297,297,0,main.int[293]
+298,298,0,main.int[294]
+299,299,0,main.int[295]
+300,300,0,main.int[296]
+301,301,0,main.int[297]
+302,302,0,main.int[298]
+303,-1,0,main.int[299]
diff --git a/images/snarkjs/circom-files/circuit.wasm b/images/snarkjs/circom-files/circuit.wasm
new file mode 100644
index 0000000000000000000000000000000000000000..9abc68af9b377cc088d0fdb108d5a13bb0e29b81
GIT binary patch
literal 35938
zcmeHw37j0&d1qaHRv$Gzhk8y`HxfvI&}cN00CT8DNFb1ekhm{tG}9XOsE?WM9%;ma
zG>$mz#MxbMaLgKKk;AfNcfqW)j)P-wtoVwvv15|hSvGNEIX<uxoRE#31>0-w|9f?G
zRad>9LFPw(@lON)u6p<P{lD+MdiCDxmM~r~i-I7C2RrvmCr$|aMF#N%h43k#a4rG@
z$B`<XI4<m05Ks5VkBi4y*5msHVZVS9P6gs|vlc30S0zX_B~qKKG>YYdR+yhC%ruJC
z$_?X{$x@*vB<-Y*nOd>Z*jlSqYdZ_|`uJ2qQ0=tL(OR)l7@IqIun>?~KU6)s_t1E)
zFuCWBorQ9>c1%#^!_$H&iLxv!N=OjGk!UD{EB+S*Nf1NPC@vu>B8s9UNKz;y%gA8<
z387Fd77v9)JA#!A2^|UirL<Hsoyv5mxKAdN2`!mQDIswN6@_FGBL9-4h09C|Nr+Ds
z8n+i}b?7VHo<?A2u~MzsF?UeR?(xRNAv@;I9>jQ6+1nVeHH5n|wZizMH$}L+lhM)=
zdyi7A6dS^Qsd}NYy)rY`*jt>cjF*J{8Px5H*js#{AdIVs+%tZ3cMZl74rmB%D;7$V
zyXML}3YGOE!bA#DcN7~Hn1q!mB%0Nrf=N=*N*4}NX3Kb6U=X1gi->|DsA4((>Sx92
ziv?ZOh1IgKNw)5yo8+h&r)`oo^Detd&Z<L#E{w5!>=HFYnt92p>yf-#&hAz=(^a#s
zQR^z~PKOL3tu{X>#Htjj>A)(lH>=b|)O(9nF9kF!06AC7Q7ZuPp~fvi%{=6)=T>Di
zS`IN;S;e;_LNp_wEh=~AFe6+!%obfa%m`NwQ;gfwD*GcP-~QI`cD4Q$^n&BMut9=g
z_;@fU>yj>CgCOD*ic=oc<uUzTPKrV)&<h_eDKPm4DM2ZTmXrjgfGvEqq`*HmNL`fD
z)soUhDOpO%wxnb!Wq?u!T2cm>sL!hJkvv*GWNI~b7JuoJ9_1dQ5|3HRIT>6!24`@o
z8l1tUac~Bg;=vhQ`Uhul(GZ-0vGLfm>i5%P<~Z~;)hF_Ve2C~1^5Ns8x?)*av2Cxw
z;1q8cVY!uj6uFTX@uojG>8Mi4M|7&qoi6FhHE<$wABy+X7R|?7+IG?-IyK}L%Sl2*
z(R_?G<W6TU8)b6&#7^WBEn+!hM|6_GEwPgnV=@FLL54(L4OTW0tgMz#@idC)B%WIt
zN7)z?FEB}MOOcjO22-R3Q`D8$csxXOl01-y7?V6ON#zrpY)focJ{?SKS1_^Je1^wf
zL?@*J*^4oy0+Up}Ig)&Hq}!S!o9_rVM>g0T1Nkl<=MkOs4dgt=^bJf>`9@6gjhN;e
zv7@aK2lAc4Ml^?K_fQbgN!370#F(mqNh;s8Nxo^*eA9ODP21@+EgNifpXp*u6%PMg
zt0nnXOY^PP!M9qc&uVNGUg7IMDxdl!pZYYP`VKzzoj&RriK~1hCix_$`L5r=C$ZB<
zBBSF{A025v9UXi+I(>97#fE)~b?_DI^eM(f9QBFV=@XGPcDdacD|VIoPaR_7_?VEB
z0L<pBr|y{eXb#zNL6kL}vmeN8Mi6Fw7FnEhQI}}0B%{N!2|>tLsUD`;1Rnk9#O{(y
zY1Dqyx=QLH8Vgvn=tqk+8)fs6H`{DP=LriX%^6a#MA5}1O5|f4B6M?3^Jax@FA*ji
zi*cl}SyoW9kccO2J6DOa;V`hm_QGn53)_`f`Sj6DEwI_>IqA_}Sj;vSV>ZjCm4OmP
zbgmvzHaZ8DYDapEtKuR)n_XOwfqat3tT{Ce5>}7$RWxU<L8aQM*xnwPIJB`xMCYmy
zWe=VpVe}YRg?4hrxdvRs6na|~qI?z1X?CCr@pDq4J=K^fw4pl2mov_#x*eY?SA|9R
zT-8?2IA2b4h9AUdJ2~5vhUr8b(p0W6?OIH5`CNpV;kLpg&PkZ|>SL<HSHGQ(Nv<%9
z=y<uSMNAm5%y5+&$C?%X6SbuJF>6&zK=3$Cg0Q58dtrlsB`sPCX|87>2GLm0YKf*5
z9s!G4Ezz{DBVZ+~C7M=q1T15<MAI6MfHka^Xj-`uuz=MPJ)rKAXgOY|d7Hd}gtwk~
zBs|U9a+0)J-mFWzlcFvg%CwzN^5shiSYZ4ONmfosRHKCDQ7IP+8K=cuNY!NoVX}~M
zM$9RyF6fE|VvJKFE+H*sEJ*lRo(lsJY7r@VWO@yxh#2y=8d{GS;^AC`S~1fM`7i_?
zgTR;}jEPuu9mAUKLZ3>-nb3+JW;KM32&*AXHH4`KtUraPjmY8Ef{??bPLD3&64oP!
z4drky&I-rI7VtN7a<?8ggk7@`AT}0#7qZ0-aXJ@gwZv#GSs^9jTa(h5n2Q-gF3#kO
z8K)!-iyye?@x#zI(Wi&>__Q9=Iv7(Ql0@}{aazjB_<-(0PBqSeFpzRa(iCF>Y~e$T
zASGd(lA)!53sO$Ypy`a9ix{UBOW3FuhJYbFB%y?s!6(WpT2fabU;^vO3z*$%aqC8p
zLmE_@48f#GVL>sM#9BDzLs;!ISlB6R#yLf(Dpy&Gw~L}?DhiHekfp$1;^?Wd90uzg
zhNWCW4<SAZMI%rtW?GcVDbkAoB!g7ADyn)Z>s+`eEhOU%77JN2-7*QBI5fA+&J1<!
z%xWJJ1Y-g34CtiY>JuHJe4I_WQ#pyftI&IhE}3!ZlMs|eu-=MBC{e*&MMnAN3UxD8
zai>}<xXo0o4mQhL%eT$cggZ4s?P9)4qXcUgp3^LAE!;L!yWFYPs%<kBYdp=e){<>A
zb-<lEV4R7tR`J$l^8uE<e843fxjcOMH1_b})7Zm@Ph$@sK8-zm_%!zL;nUc|#{e;n
znUSNBhY!8Uhhp;)ZRG>6Wlm`iA3lveeE2l>@Zr<g!-r2}4<9~_J$(2y_VA$-A1hoM
zdH7h-<RfbHk!a<^T!A+I*29NSV-FubjXiw$H1_b})7Zm@Ph$@sK8-zmtROxx({n8B
z;bT>kkA%&K*2;&wAA9)lY3$*{r?H0*pT-_Od>VWB@M-Mf!>6%_k5$Bnxprk**u%%A
zO+GZ6kFHie%!Tv-|L|$-;lrn~hYz2|9zJ{;d-(8a?BT<wv4@XKi4V+ogZ*Q;$w!yX
zN4Av@ydpcLJ^ta-*u#fUV-FubjXiw$H1_b})7Zm@Ph$@s!^DTVa2VhpqfI`tHXj46
ze3)zW0si6B*u#fUV-FubjXiw$H1_b})7Zm@Ph$@sqr?Z^6&wqD`pe}_J_hJkF!X86
zOuEz`4T%@nGZV~zT9!%K#wjf#2JTISoX0ginal-615%t(uy5JAui3iK8m3)Yg)M{8
z)Gv6SHO^KrgVL#;Zz<UP<8IV8rGo`*z5E+_L>Q)Dw)~jELat~&%~RT3hzR5ZB1Q8l
zCURi9xd9cFMB02;!QNRbYmQh=ZD^FYwztiFFn5K4EGP1v&?bmQJ+70Yfk`R0ToITA
zX%qPj*EV{aogV&n4sr0RlJ8!MMbR&s9JKBr23l0hFXLO3=y9{?5S(K41SVw|J%LG3
zM9cTI^8@Zqpt-#hSZlX$W62hin0rmh_b$bI=o#R6PqszxK=0|w_w!sNt`n(&E|Su@
zK9}M9Tu)n{>&o}F^EuKcP?k0uQr-ORv|h${P=&<z50w1iQalx-aFg$W76}7AHJe|K
zY=JHi*U1!tNhxNEz@!W_MPO17-@p6X`gb-z)Xu+2(ZB{f^j4p9+_BrY<>w^z`nDdO
zq`|hm;&mmTTS~8>_cEtf=q<tr_KJc01;`fU9T-!|fPqOVX28It48Je+@cU99zb_57
z?Mnmse7n9x90ZElp|?7*<KNxPwt=O3`CGz+{2rKV+XH{1<X0}G2d;4Uz!fcewf4Zc
zPG${s-4ruxU{Z$PFMIg?vX9>{hxq+6&+nH>ozx4IutRV4YRBQbnMDIj_40e`AiuZf
z_`P+dueZ{2H7$10EDSQ(y)eb>5a>%8e)sC(cdtHv_Zs4NuROndbuh96CG2Ko2PXCM
zyU!rM`{elDXQi+Eu%i)Zyk%aS;d^!u-?RJpo;}3(>^$GIyZJua%lFYizK`bkKDyH9
zqs-gzy4K=tJ$!HL<9pi>-`nzhZ|mjz%^=@za(us8>GK=r0p{Wu4dQm6>f?LB5Z?px
zd=D7p+cL+u<w~C|nN{#2++vj>zE$#ktK|6nuJrNCm@=1%+)U;9Os(|k%%sPwxG6oW
z5eo~?Ha7!kV<B+o;ABo5wBNnMSfwy`29|Q52oq2Nhmg6)d%~_abGts8wK{L+5ZXEW
z)Mi6d$4UXcrSndtwA=8s$8y(M7W2@PTOho`C)h*WEs&i7r?f2J#RiTO=|9Y{r~*;$
z!H;$doXhzKN6G|yOb2O2cEG#7d5$(HgG=p{TWva>?9RWa+6i{n*<HjDkAG;O9V3gH
zR8O!oh=EO}+cJVT|IAVxp~KBc$D3tDV=Ezn;>Fp6G$^SZBj>WK?-(JWw<_QynFnHn
zq|wcVhoB^D9l%^c3CiH|EG(AW&js@|uRH&up4FA_X`$Y!EzX|(?%JFrb6F@TsU5{j
zaXMO039465^C`~oUA4QdtK!u^yA)Sl=BAhyO574IN^v&d+fu~gF|KpjPjcCBN3q8B
zeP>4QlHNOtqszDI<_KyYG<K`)BxU%9>E;_I+tx66+wWhBVfx&L>1$zmQNs-6=?yqg
zskqLyS(0xv?VN13ly1?go5OyZZ?g=WGzY5J&9_;WZ?pckHp5%|&{AwR=(gElivil%
zEY7Bzf%+u*=F+(4YS)iCxt3f~KWbIWWiGBI&1IuN^~?pez@#kSlKp&3nk!1~3dO~b
z%_sT%YkdAY&x!xV`$SsjlAO`GBzN<>OP1eV`uQXe`AB9=;$;o5A?!^e;0p*EpUF-x
zlkMEKhfDGj+%>~zvYXFjmd|8ApUEK~lZ-CxI<}#!lTTOAInlMacXjhQ$?`er=W{aT
z<Af=Wcl$Pq_iz<&=M24EPL|*dS-#@^e8tTbB;R;~4bC>&nJZ}SLiRA(PP@fz*UwjB
z$fp9c0@e-qa<&s@fNP*7P(9?6lL>=;Jx3Vxl<<HaqD2Ut>cn|hc6^a;+3`gu4yP2I
zqr_R9Sk!US69+-HtlCZYXH+^5n!q8^Gb&=2sTr0dp$!<P600P^5NEC9j~b5nnhkZL
zby4eAV<?W_7Qk`J&xxXfW4WkB$KgvH_+`gj(acRr933_EZ8#lzI-xDciCvsGrBAev
zL!Jno!7Z(w;OLhIx^ZX$i^M20oeQyZu%e;QklI_7&1sxsB}s)`nAMMysM}C~SeMrb
z!j%H5km>xatm825v~?Jl*EnkOwXP1}C?{lDNNPGh=-Lm87LqvMnpK~XL<xtPjZ;Y+
zE0(q8x|CCx7z!Qzg#mPhP6R`L9Cy}wp~HfBGps|`!?_U3u>{iFN<S@_>8FL@blptW
zgHts#RSQmynyJy?RK-lif#e{$Br{bCPPLS3(Mj2w6xrG1KNm$AG-+XSOf3YP4df)_
z6b=*<Z(uWG;3Q;H%j5nu-7loHJn@J~xRVx5!poAzsg%}hh^8YUV5i`YQY=GLgQ(Xy
zokG<ZFAg(Hm_~s-h^M4p99Sj`F?W(73`HkVJ(@vb$dZK+6uXepvaC+r4AOz-6jbPe
z0qKfE!#JwT6vIzw;NCbDCRHFlKA3>&C^E2L=3u|_L3iv2MpzvCff05`KQLnE(>KYw
zdNmOSRdoSggf%;3RSC||v_MZF4@b21qa}(Fou*uLks061(c~H-0w<dV;{p=2@KzF!
zI<IiOx*JW73Aa(2&i(NbOht6@p`6$*57Gp!M^*2@l^Q%Pph5a65qIl!uKmG{5*a!=
zZA#OREG#f82^tPZH4|`8`4!~HD7DUAufNuLZ><9;vE3?RsqP46)$1$KDhM@BnN)S9
zw<hgkCZ@5F)?yBoH>mH#Z}lA4#iqXOmhoUUNvcyTPR$rHZ610U$spk&yje<P%O8Wq
z<=t4j7a!bRW9DJsPleH1Dq*r<bX*0MbACZrNl~%_%#FS#sN@gYrEuOTu4@d?tzCAQ
zGH92v^ylOjC8R)oSZu3mrZ$qJQWsXewbd@&eHm2bXxc?=pV`fvza~`W;(L*H-BlSl
zMQi#V83Q45L7a=TWi#F9+{8p}BCDGkY4Sp{BAT^J+qE*88xOJFc=|i$Hc$O?%q=r>
zt8b;Xx)-xnx6O!Y_x9F8ZB0LKwN^KgyJTy5stUFitI*}COSV>P-2v7jwH<5GkL#SX
zwcbs??bOnpn0KK8at^a`+&9OE=1}V9iw%-gM2n&);|H7AuSuZ~n*$T8&7I_BTjXUU
zlaUxL6+6aq4WyRXEWcp(o~F6+ba8d+=51i@Xp|?<&n`9%d%B1ZnqgWzVNM{ZPa*!z
zngU`n>S*}H9ep-6iZvUstif`azozA|>dJL4tiJUUI0W6;l%EmQ2i`DxkC2jMG%<jk
z*bknmswatl1C5d>i>hAYE@dWBE$ahn@#ZyKSX$oJdc7jFueT-d3vc1mE=%3V?zv`%
zZVvfb__AwIYLn5fg-w&#u;8l2I8Dj+lmYK+Z(<mQe9fmKoBXuaPSu^uAc~rs4};*E
zT|+2+MfIGA&>1+GGlKGmP3osjO`sKVW<BNc0*5~~u>&DAV%p&rqZyi(QQxKp?P*6w
zom!%X(1>2Q$s07hal1!Z(#M%)+b*Md{8LpkG|$5nM7x@1?l9n$>JGZBev`y`{nXG+
ziSlYEDjPd3+)dw&rAe|bJ{l1BE;Wl3L)lIv1o2;*#;Z(P9TU`YNIXGb5GEK9)CeCr
zOs+#OYq03^W7nR{DQH1g9>SMW1@pVRdc<Ha{q)^k)P*rj#&>zOF?<VlGXnVLCk4Wq
z@i4uD;d{N)=C?rAX;*8kEwd@SX`Mq;hP$cFtxd7FK>RGE&bD9a(CM`&@uJ6wv)5<H
ztd4mT_%7*VSYGhHTrk(Q9@jAA7Cc9{x}2H%BzsUTp}RPbvA}vHW9TNBXDR)zeMROh
z>iI{1mH|M0p9nv3bb^wuIS<6Y?k%9eTZd%mmUq%*LOQY$Kg^0o@ERu2TRy#x;mr&0
z(Gq*F8pd^v5jBR5mj&%|BZ@+nZx3s0wd+w-3*p<&_-bcs1{7SYZ8I}0xk4*Hze1};
z6<rEzAoS~|Yy|=yXNApQ?L-(Nv0p2tbPZv=vNV4g6ydCTQt@){nBlD%iCdmWH@Zwo
z&i!UQ`prB57HziqByoA(+oUpcs<*#c*qM1dK4#(QO+Rn-BR04(KQa9XVUHgn?C~Rn
z-)=wJ@z3K&{$}4kKMH7j$q$2{q3igYb@@@PtsgzoG9Dr9@gsyieuVJb?MJ)*dHl%V
z?Azx@0d2n>e&lb~<wx}vKiY^i_FNk~!JLQ%qAY+Ri9OL+084S~amE5!bt{T3@%hCb
z5Nx8oyTt|6LDZsMgeUh!Y<a!qO}UxMR&ZNVY38e4#9ocPuch6B@x><~>@*F*m>ier
zMpXnuq7RWiFoh6|FQnBJeL^TJkJb$8B27@XVDrGBm;9Va>QCn+no1+(TEWm7n22Fp
zgeG@vcjW9@8S9@%HVeiHS}zG{^m8?$x>>{o{I#_P6*GRYHYc*Z2hsS+TH1UN*-VJU
zoX)W=9^;cwU~A<GYTo$P6<VoJy`63OJZqd4XGsk6cYTc4(z;}5*vr72o@OP&Es#UT
zs{)1a>o&Beg&g8ED~C04T_mXx%l2R(8%blbr2f7rhDk`$6!l>@(2z8mr#(NWKdOt*
zKdjxKr#(VLq*xr$UL_^4jb(%>hycc#>3qnL4r}`mD^qL;8!g5sufR?rHVjXvwY51M
zw}w&((VPz#ym^JpG+HLX&)@h`t>l%onRx=5LPA}pTuefcq?Pkn!qcNfHT&xT5lxvP
zCAMdcQ)yTkJ4`Tq)bs;b{{=~1NtXEuI54CJ`G_qs_)o*PR+8A4s27_~LH77Un#qnU
zt>r|mt7cuZ<W49l*d^Cf{VzR1Q-K`h!Y?HeXZXc<<15TR*9Zb7BSoA>^=t#-X$gD1
z##cT-v9F0RuSA)xox0B=S|YE(5JuZsv@M7?H04SGUP&)w@I$(=y(`@6lwii-@+x+5
zUBT~pgMa4@e%l+o(o<A#h79~h6m#g15ii+0((#hHy=*3!LgMYQVhm3=OQJ)CW^%NF
z9j~~u%cMN%C>t&jn9qVM)?3s=tViTTMvX+R7(@*#hEd7%VN?M+s6CN5L5ML#H8HtB
ztl5xcHq=ZeqnHg1V^f+sq%{JtNXX3`Sfm~urBpPKAOoVae_Il}tPz9!{v`|<*vpf&
zd(l3I8S*k%lst`o#_F>lBrlUGBu(RWTA+_r(}rlq*jMdJGn)1;kx?6FSy7VZLp_iG
z8tP$6Q5{Y+Re!me_afS`rT<vN+S-zVvC7vh@<L)e7pr!i8Rsrx&@Xzu9*_@l?tF`h
z%_Q?QW-DfnP!<Uvw$)yVv6l^tu;8bL`vklIs?nbc)*rTLG1}T8-W7`iEZ1wl^22Xz
zdGE}}kKORy^{ei?^PTVf*w)=Iu0FNy8?{}N!|18_-LoH`J$v)O=&wGv`b+ztdf$<s
zY`kpSvH9xLm4j=)9{IrU9gU-}pF*x@%efD4{mzU1-@NPIZ+_&;pYDBR;S+nWKDqrp
z&s?|b#7AE0!Ju&(xi$-*`sg=ae*FFyKlbB+-~HeX7k~fDPkm_e^H;t5!NM0$+;rFL
z2|DVrlol7lcxPVh4?E{9*Xw`qqt`xk!;4?LYQ+zFAHVFm)0_Vyzv^pUFFi4H#YH1o
z$c0?sYmr=Mkn1~V&p!1=D%pSSdoO<a=|jKsH}4Mr<;zF@_T}q8^NAnow?$vV^L8Pk
z>et@2{F<)V`=5O5;cHI*$s^s_L-#0;JSp{cUiQj$VVPvcF$Gos;MIS;a9h1H@n>hZ
zu4w$@CBOc%{F_6kFW!3lD{oA!e*EwElU&Gk>bdmtUwrrvzqDoSDdT&ejwe34<`+J_
zQ~c%F`|J6W%*NO}UW$%*?0;()YZ}>6a1pbgPODLi-31K4X>~!jg6A*i892|tc?Qli
zaGrtl44h}+Ukn59c~yLL$JZuakRUOeIsJ=~{O429XZ`{9`1-^PG$TH5kDpH)pV#U<
z1Lqm|Ibi?`#Ofzwqznz$^cba~TLD5q7>EG0Y(SaffC?mlB#;8qfCh8`8K4vB0=j`7
zU>T4FdVxNm9~b}zfgxZypaVG|4_pAO09FDQ0v7?RfYrdoz$L(?02V@p%Ye1OFt837
z0oDVfzy@F=unD*vxB|d(sqhZqD&T718sJ)BGhhH?z!u;-U@Nc<xE{Cx*bdwX+yv|Z
zb^^5cax<_SxCPh)>;-NGZUb%y?f~ut?gH)x?g8!v?gQ=z_5u5Wao_+j0Zak~;2<ys
z90H2KG;kOw0cD^9RDl^_7N`MrpaIMQM}VWiJa7zn0QgtHgTO<;ao_~70K60U1>hv`
zFz^WQDDW8YF5un3F9N>=ya)JY;9mp(2KcwYdx3uk{0i_m@IK&If%gMX0RJBN0PrO6
zLEzVb{{TD%oB}=s{5tS7@E?I^fd2$M3;YJ~pMn1Z{8!*P;CbM~zze{C13m)$Ch*^Z
zj{?61d<^();6>o$!0!N`06q!)58!u!PXVWa-vd4kd<OU|@Hyb~!0!WJ0R8~@pTHji
zUj)7c{1NbF;3eRXfj<HM6!;48Rp8Hn{{_4Z{BPjTfxiI02K*)PSHRbSGr%{1zXrYu
zd<*zC@Ezb4;Jd*0fWHC$7I+o-KJa(I-vh4!{{Z|S;2(h>06zr&3HZOj>%bepkANQo
zKLP$9@KfL{K%HL%BtQlfAOwVg2oMEgKpaqk1ds$$KpN114j=<`0$o5i&;u+3vOq7;
z2lN92z#uRLEC+NT2jqbZfEB<>;6mUcU=^?$xEQzuxD;3eTm}f(hErFO68Kx7h_-*U
zd5T>!`lF2ywRypQiMpKq6W)5UqBjcVnbLTppzoY3HHtH(VxhKg7@4u_pq>&*0Q_zK
z(i>;jzVhUim(5>tc<Q&pn?8SH<LXPE{OZ1g_YdCt##f(TBe7iO_+s4#Uo5dVFSaUA
z%HwbIpT2SS%lF^+=;yxvN1rhc%~yW=!#AuO{p+K~i+BFjBby(4_^}nj$A^^4c)1|H
zqE-aozgsT)|G9E0;9n`1GyZ>^Tv4~x_Tis8-#1a6ITo@54-{(EaMDUC*6&6z61RfY
zN+BAv?hCUq`*x}kw{uK23aWiSJ~^4N@9T31lJ<Rhu9UJHsL#&f-%C$xR;6a}=F+5=
zuwwQh_qq-zggVz{?20CfM>;#Ke8tKU{QKsGoz=-MO5V1vybpQ1?R&J}W8YT_Q_E6T
zp7Nf;<lICfYp0>LUXqQ<o5J*wY|S8K>+iH;8r7ZEN@J>8F4T?<bX$=JYt?cydXVI!
z(#86&!qj-9c%(37w{3~M+-@7}>SP7VUaF2y<}!9W_&3q(dnd+A<F&k<xiCL-ft|TN
zTWhRHI}Pn+oUX*bN5d?8Vbr>*T*M4kzqK}3SVc<K#*c1+>GzK8SWTtf>Re29H>$g;
zweooB5;Jv2wK8Q!T*}PnXtXAb%wY90DujP|eMkMk`jNHNY@@op(io;>G8|oDh!MIL
zX7{Y8>r`XUXo!V3P_R;%-AKWy#wM0pn7y2WrN$K$EEQ(2q${lS4pOfO54eg&R41>d
zD=58&u86;ut~1r6n@OmH#rXpM)%ud*3e?8P5a0k3PaK-79Nt3QB3wUIDqZK?*GgN-
z4&#&4bM?kpv9hO7$0)Lms5J9l@7&gIpf*u_yLqkMNX;SFf$_>@=_Znx?siypAE?$!
zJ1Hk_cG)@S5qUGqiM!o)Y^B;L-NIsVw});@sAw-0E>&x{vIwNy)&pH`K6tQRXl%cE
z@7#ec)$$Cys&RW9@wcOY6swgx(zxGQtW;}O#GMqedmJ2C5qD87dk>*sPVTv5XQ5oJ
z9oyR&uQl$@)C%KZ(VcKl=h0fRQSe6Io2nJ+h1!t<icK8eR=ZCrR*H@Ldr|H7%FJA2
zZ*i(JUfMZ6v%6X^HXzf!?ukQ%iNo6ux{~)68v9eENVCLv##_VQ;sb>PD&qExAKhI;
zCz;R?*j6l*CU?!1cN8k?M<x@^A`cV_DTMAQHY$aBoeCc$Uaas`4-JFsM~W4%GKab;
zep_wC8(pNTcA}o~slpaeGMzavS1e7A%^f^gs9Euc(=2XBb;^n;b?$UMf%Z*+PduA6
zPh@SbB0ZxWP$WT`nHQy*8Xn&G#N!)bJiu`uwbPEpoV&PlhbN*qFN((`u_lWX2~Q~5
z-At1vh81aIT}YZA4ok;|Bhvi3sB~;yOqw5wOUFi3X?}e|I<`J3&5x#}W20$leuE|*
z+t4A+Z_G%?Hg-z$o4TZ9n^GxOWlchTGU`*p6T|zerO8luVjW$>sNbx6egt)|kE1@+
zy&-{mQ1_;^WR}+yrZD7&h7i2N5qv_1<{8zNd_op$id3tGq=|{JRJb!D74C{kb#PIi
zk4uG#&J?Rinkkz#H58>%INAt_wXifh8<A#fQHrR=<oeN>xHzwd>hQ-#B1#v^nPd_3
zU9#O`t-E=PeR5*Awk#xw4O}IqGP8aJ@+x9Ed!bVTOqlGlWRrtq!%?X`9Ft~;!NEEe
zTqmURx}-F_E(Olh;9Qf+BOTK0NCrH0g8MG1yuMqSUEc%Fmca&DsXW>%&5rhgzkb+a
zKq_w-lx8;!fy?Evi7u5l=A_w;dGLAxY_mctZ(1qMZt7ib3eB|<lM+^Hk+2L2XCdMI
zND7jrA(;lrIv`aBQo#d8A>k+_9EF4%mO+{<r0In;eUPLdk_<qSK}azKDf%qx`mO7L
zb;ayaoFB3Rm_ow-dPE4<*#l3EnOF2?=Fl^WSPF^7FwV&^2eGnA&1`Uwd{|HpjModI
zotkhenQ9y&{}GEJ@xTSJVTEicmSwT1h|`#>ij|erlWORB^B0EgJ4vj_VqFm@L!o+U
zyxzb>7U?)5BhBm)#Uq%{;s!HXd}3OMPfRMM8DkCk^d3}YknGVarYHwX)uWi|B5E!B
z91b~Iq?s`i&B?ZopEN=(8>o0}y>mAzyKCCu32pR*a01sB3pHHs30>g{UC9^W9iEI=
zc|up4#6ZMr_!V61DY6;%9~Z>~hIJh?^%9F)qK>dILZo^}wKiGDC{rCPHtOp_R>Vly
zj2MZC#p~X5iLJ~O+nTbHxm}jHzA36$xuF>Vd)qys8!5!>g0W}MO`fzJp0u5wv|XOG
zn>}f}Z42+Y#i4bNC&yk-=vF7!ZTLpY1f~F@T&&jbhHuZ@19oTNu=grLxN_iFqfi&4
zcsAGRIW0vo_#LR@u_&u$_S9#A`%nY}UGaYS@}UZ<suU%$D9ht>^ZP_Wt`}$a#{}h2
zxqd)Y4wdQ$BzdM<m!(Qwk;*e6N)IdeC`Xhdc-M%AF<GuvYvT~DS>~WA*2EOac!)lV
z_?Vau3u0LmOOjM5%hG`|YMcnkGwX&AqwAMN#7c;j5nGal1P$Ngr7D~Kh+*?8S<RKZ
z1uI4jPng=OW_|=}4LOWy=|p)(iJMoNeTTxuYO!*#8dge2#%qx<Cfrats?f`1Ou_AN
zoIcm7^f{7<OjPG8jY2IMt2e56t|KMo+>WGGnnYMxv?xZl64lzFnNxsLwK`+AoN>jN
zDs*-<^H>#hSz0NNNu7ea4~pz7V&bxXM2y-2DPiB$5HF|g5CRmTWLyzeTqxy@3pc|X
zN0BGeY-!_Yw8NVj=`pJjWZpPh1LEFRH;$^2eT{ubs>R6!-H;r~Fm7;7#my_lrP)1I
jv3^90nen*oNIJKal1Vs0ghE)&h+yVaFOSbeUHAVVvp5M<

literal 0
HcmV?d00001

diff --git a/images/snarkjs/circom-files/input.json b/images/snarkjs/circom-files/input.json
new file mode 100644
index 0000000..c7e0fc6
--- /dev/null
+++ b/images/snarkjs/circom-files/input.json
@@ -0,0 +1 @@
+{"a": 3, "b": 11}
diff --git a/images/snarkjs/circom-files/witness.wtns b/images/snarkjs/circom-files/witness.wtns
new file mode 100644
index 0000000000000000000000000000000000000000..abaf33c25921d8d30ef35486134b7da1e65189db
GIT binary patch
literal 9772
zcmai$RZtw@wybft!JWZ|!JXg^0fH0UWw4-u1lM4}g1ZF<cXxMpcXxM!+`S*~!#Ss`
zdR6`PbyuzbZMnHRxWK`{!2H*+|1tPK{;z=l@qgY|@%P(Ou};k%a!1@?L!E$t1{u{R
z#vIP=@5&Y&?EeY;x3@+ApYb34xBtJ%Yn9a^Yx)yonzOT=A~#<mAkMt=-jjKb_+C>0
z3mXd^{(md~hoS!;9RL5|>Ho)qd-4DM&HpU2ybmbS|BPYwEb1?VSigc;{)Y_NDN{JA
zWkyHo(sJK!M;TWp^8X*?+>8GV#AJ8#{u}8M&Kl)`Z~fL^ZQL*Mv$WJ?BIps9_?{Zp
zdpXr#j2gL(hLP*y+>(v0jzqIEXs<37AAK4Ajh{5GUI6Ze+ufNvP~yfUOr5`0FH~-A
zRmRl`8BT_oos;T(-%uxQ!W1h{OE^_=uv~b4xIKWhqbqIA&U+2;W>jVZ^PVamyn19%
z)Ev8gBkUrs>e}7@aR?^b`u+kphu6d$qVp|OijQXBoW&8V6WHWQ!L&kXqw)jK|L+o>
zLx$<Qb&rueC+W9hZbI0KV}5^iF}gj+VBOywc@QI(hkis#PdRBe@1~k{wwHvRV3PZ+
zCJB<D9C-6y0sxr6A#^UJ?XO4)gbbWh#d$JC-JP}S0<WuH+2oCn)pvws&bDNtt8rr?
zwlk98$viMOJoRU7O~X=J9#xM3ubUAmwj#T~Frsk^kg%P6IiO=Fv*|OCK6W7%?xD2g
zFBwC&`pXU*l{tRPX4Onjn}9hA2_w|<5j(dD-Mxf;#~=}AJQ6M^N6G00fy?vZE8-|W
zRVcgMp)6W(Ou5i!TVO4)+HwqG9YQ>EQd)R@1Zhm|PFG$Kb7mQyDDm9;+>=7hbtmhb
zm|}qBRX8l|u4^T#0bNFy3dlL|E205U%(@e2nGB?=*ZQZY`qnM+^~nb@B6_hBP>hKl
z7sD!r?L5#rPpQI18_oafG4Nj13H%Y#!Q$;NkfmG0+K8k2FU6Azo?rYdC%CBMDy!=#
z_(@eL-jZ)!9G|tw7lO^9QV~fNe`Cf3XE@+AN%-sFsbE1gl7O<?f4%IN>bz^;Sib{h
z#+~;ULgdEHm@MwmluU?pYO4n(@JG<d>SmOzYQhmxl22+ACA}EWq3rkT384x6xMcg$
zaUwHs7Elm=BWyd%q6_r>^QZ)T<dKEMJG_`UGDt<9tq~=JG0}|Cp74d~)km~X-BmOD
z<Er0u=@rkEG;#yiDHOg!U5vGhx9<U_VK&=(hw7YBbkSD3@;FV#6kwcrrClO@;>NCc
zG+Iwcn-F_MDx0zO=diXuFTo5VoDLJT-dR|Ol0lFephU`a*!TKxK_e2@)9iI`)*_Cr
z2DMT&<>dTVo8?OTtD7ts^Ks89Od@Ka%0$PkztpVDQM4ZG>)#rq5tE$MKTQD)@=SjZ
zSPX(asSd*+rXS%QXAPEdILl&yK7+lVRwjMON(!R##kFu}Eh`~9?mqH2fDXamcAWWf
zF?&1{>_ldGR;^PWs+EBPNE<3GCg$bq@69r%HGQ}Tp(hPzCy~W?N@Z4<eLZ`h7f{*K
z)Fg%nYq@){f;sV7)7tMTJcE)^<ATmtt>CxNh&gz@55&+_8#&(rv6r1dt=el67KL)S
zQ#xh610=oXf;L0fbPq_5OU|=xbq6`@UO>BhCLJ3nj#GoB(G}tI^6}@5Z|iKf>ID>U
zP7cGogG=s9wh2azMM7fhVmPr?sEo$(O9VUP#|K#_=}aP%-%rrL{?YyelU1omvl`+x
zT|qSKl0dTvatqlc6!N8(1<!%MO{^Kxv+~!T0J~MKRNkoQe=6oHlGg~ImaHR~K9{B~
z^xmekuhA*@D1vC!-y~~Bhr|ip^rmRMKX+^z6=+6Z=HTVPb`O*V>9gb-;u!InZU(8d
zD~oTP^pH18=vI-rW^oFWI#qxR8gLmEvyO9#-gEzO8m*D({{p_jUpk-{=CHM}NjXP^
z^QIWHRJD1{Q``k5!5_W(6Qb|$`xS^^tEY0o6BEld0uBc@pMLHpISQL`vvzyavh5%_
zsm+Y3)!z!CjO>Rj2G_v!&KGHk_gO3t&Bm?Jt{LHQ$k^3tzXb7-vEj}vj<DJ&ucY{Q
z9pC#`adA?E^&qQ|L2{|G-{_J|H{N#?JQf4v-RIFjIb36mJ5G*1h1*_TnAW)AESdq#
zoFnPg0pHDdT~VFpsVxr{hCw=w*4A$Zh$>{ezZ+C>qGeb{KI$<>ZngE=F6$Ym5EBqO
zrZb}@b1ByxJbc;c2`Gm`v}8U#clBpVxWjV<h5Mj%QjSq9kxAGRh&~b_I&^F0CfWt$
zWUB3r&`_<mg^i%BNp6y6agXrxN~eAS4TlzO-w}c*N2iE6=rPRci8Nr@&dHyi9Xhxz
zMTV;pw7B$+crNQg7E6D{w;e9z98*^&n;M|Kqz_UZoc}R`K{i}Oebu5-!ScZGKX2nM
z`jx1<#(ou4V~^{_#pZDeLutz_e__zpZROYW*G{5#vMp?l4$#b_H-}Jc4K9Pw^cQaA
z`1i%6aN@qX3zKpD?D%J<k!HTV0Ge^k*$KD79%-}-8my=?TF$Vw;}6KtM4tBJ3H5TO
z64{2`<1aDC8lwgmos5g#buHPmu+o`+$HFCJ%7^uPS`5h(RB3Nz{K9V3eK8<RgCD|{
z!5KrqugTi$=tL6EA905Z5V};tHQMsNX;Y+F|4YK^?{n2@GTr3nM^qliZx^>ARJ2x4
zLDkM(r`(cucJ0w4-fOP#%814{Tg+xuCL>V(5^2DWHJ1(iE}JIF7#ZTfkAG+U66rel
z(*S0*>S*RsF!SY#bedrt62RMHl|KKES>OVx0JC=8zBE{8<5ACahYsP1C32;*gW+ej
zd8xEL+rdap@-BbnobjoD_RC++<*#F^i1!1Jqsy&CCr+^PWPy%s{Yp*5R)p9+e2Qj|
zJ4NW<P|z=xfsu`C24ym|sFsTley0UG=!Q-JvO6l(=R7Ml3Of=F)=#<X;)12zUvq!J
zhLB8RvasbHKdC!J2w~wL;rez$$W;;T`mW7`|8WmWcX!4YV2$5{e_)}ij;3T=ljSp{
zyM{@`Zp%5Xe}VlrOMNIo;1sUx*2qx7b>-yBNvdSIv*{~VQ9^G6(5)SOQCjcw5{kWk
z%UaefPfi&tXHOwPSap1AI}x0JGWo~S@91r8@bBQCXe0U0d;!vFW0-a-oK%=~OAX1D
zd0R!3#qQF}`i4%NPH38dKP0iym-QwHs3!`CA;pbl@JP_RoBsJb73}!R>YgY2b>^@Z
z52}oHR0(pgrHoT6{o{*mDb*+w#;m*EoJ&A@jNQ%37?byMo4?nq(FOekw+4FqM3$;S
z4~;|0Y;WudEP$Mhk0N~N-8*o!fAa@*vOTcCu*I@x(f=~gS7sw_sDNik1aW>51~?vD
zW=@|I)DolXXpZZgqZ5n_CD-eCr)a%+VV)cqnRt*5Gpr_deZ%;?y)-zjWn&%s*y(&F
zXrc!*ME=MTH@)X?q@w!ZmLWZrD%1~if?__f@1GX6b`*?`0&-QD5Vd#kCY<VKZdV=P
z7K>@{n&wp6OB#xj>CTG}hOcz{w(mW=a)J}`S^EthBhU?X4J}DTx}7{Iv(DNs39}z0
zSCfoeBOeDj9gvF9k#=Qw=>~X{_%SCvAFE6LW;*`DQo$<Y&!FS#OH}F-8W=`Ap`nA}
zMF&vFEp>hBrcqBl=e0cxMJ11ar28hSN++BnC0eV}-_U2aKy_wCk7lq|GE76LGire8
zX!k?A?F$K*q54;X>I!Q@R@$D#I=evS=dv<*cnDuGTUyO0U<{RNDkkZqI>l_xBR?Dx
zHKVHD&afYo>78Ap4at8lKCy;x#za1!!fF7DUDv5m3@HDO?D+3@3$ygDsfF%81S$eK
zZzK%6BY0n>+zPAnkBO12+o3Q--)>unZmi<A?yBCF(+8)JsZh>2pld_gLLfe8qy<aW
zv@%>SBSJ}i>jmQmp$Rx{0}js!ard%HGBjx%izbn=n!@TgL`3k0DWHC9`#BRvqoB*+
zrPY3CmKG0|W-$WZQv-StuPhpbzMULbq9tgs?W3CG+cEv^1TGwlfAHg`p=io9-lBL&
zayx6XjfcHRay?1_WJA-GfP>UVyrSCCzFj@&=gNDYx$<h}!?~fz<=DT2hztRzz>6S6
z_?>|A7gR)<htl{^>%NI%1DVi&sjQyEe@|`8M$@WWF26x6v|TmW((S3V!6c)Z9_Gtm
zx>%-52ku2iQP7#ur?=g`bXXM1<|ujL#tAZ;wA_BJlrO9@EkI)mW0R%lYXLza{@T1G
z3bH|FM*RyxR2MabbD}ql?7|zCOj&(&x2ajBjGMvTviMfhB9&!5Czs_8d<-+X7dTzk
zOz7F^fAFRw<<wi|HLUioA&Eg~$0Q-OW*T#4f=tEHq(?uyzvIh2C^fyN4uAhjOOZnF
zZ`6P6q&-&)r6on?VR~%g89Lhv3TtKoCw6%y6}1;7D9GhpDPAJ;48eYBMy-Q{%tSov
zU(}u5e9QYHv4M;HddwdljGu8Uw!C2#LXFFl2ydg3ZhIcagK+92g9oA$LNwU*S;RGe
z-@-gNqE(!J0t@-VlGunaT??R_(Kd+-sxKc5v&In-AIUqOQEo#1-tz1XtT17$IZZm`
zmw1@IOv>X~pJS%Ugo981ArfU5J$^gl-r+4q^y88^@Px{{rhM<EHPs_k!e^%JK_lQW
zAEziyHbh|Ji`|wb3RR5MFSfei{2^A!+owOV#(44rz6bu_p~MEE6D<26&qy|WXG9Eg
z#FFJ=cI=)p0iG*>MM2!qvdXX_#PGCx*sW=<$$Emtq0l!jjEWA2gGm&uUV@Tpq$*an
z`p4KUV^_VlOTOz%cLyK;^7^tYHh|VUgkJ7a(2(d5dbb~p@pVC?U{Bh%8Y#5UFrVlA
zk`6Q6O&Rx@l%Gi_k!i3|q#Gx3`6eQxIWX_cTihSs6o@HhLri&GZP=%lVlpqs%FLh(
zPeGA%NhEJre#aZDM@$m?x7ZF_d1bnW2cO1gMkPvFGOp&Kfss`k-nbtu!nz&QRo#%@
zvlIIYA-#+{r&s)J)lVu*YH{_DUCuXzL95nn2sMt4!S3G~`-BltCyy^LOSePzb*nG%
z*s*IylY_=E&CzNP)f;mRJ%odsI?Me=-e^Zd?kRq4W5kPA1(m7K$DT>MD^N!fA>35@
zTV&`{MkC!jiI}nzIg|3dJxcm4z6#&)_V$yS8GuYq?=s_XM9MexvC$I&PpA~<4>mFb
zvzJ9#u&2I6t{K)<<XdXPcUm$dN6a}hK^l2AX7UP^uYtn3-*{ZTE%q>s3IHA6J)Yk5
z<ftX+?L5}C#{^P&!Abg5Q)52ucs9q{QvFTQFKPS5!s=>XI*N>tP1bpKLJg+P#MDV4
zUBy1e4`bsd7$j1Mdk9N~NU8~*CCy(+a)nX+D2v;<ck9z>gc7$a+^F6lXoFGbb+Vno
zI4cXKozGKqDWv$ch^-P|uKFSL@Uh>9inK;z4u2W*1M`VjJ69VNO#{m@^0PDM2_}a^
z<sS*OTzE95WI(itk3n^0WNBe|ecs;_R*q5AS@^TsoP5B$lrJllg}OcQ9KJ9CDtk^O
zRec3`uK;_CDeum<mJ`q;weiV|nn%?`fq|teD}h{SY8E$_(P2w72NJkiccw7$batDO
zI!AFb51Y6>`aW1ZR2{O&yaX$6GZVZ<@*R4r&c?u!i-=BVPV~8d5@(xyS*k`y!Fqh%
zCNn8du;b=&{Gu(Z)rQv@l~mXF8QoVA{#AXk_Z9P<y|GB<v;Geo<+^|CNJaoEAU0aB
z*kyy*mDCz$OZrTBjR1*fT>(oqkob2>?(Gy28cZ|;XXWhmgf$+Aot^AQ|4_gN?3C{M
zc_GAF-STU>9?)=5>$q&QP2-)r3woPv?DyoMH!h131u{U@(bO8JqHZ1W>ad7-*(da*
zo+o*|eT~QDLz?xS5v`0M;flhdC$oP($Em}N!`nybl}v)0arBx=TQ-^aYw|l^*pD;V
zkfNf?#s#~Wrkw_vZ(B)Brxt6A!}gQthU5jMAm@b;Iph6KIYoG#0Vyn3(+^O-(YK?w
z4$W?@ZBRqiN8{0@5=P#dR4XU2)iH67aJ4u;{ntSQ&nO<EUXZBec~rD?BMbwO7fu(i
z$C~0$I4_<FL+RBmtCNY?0M~W)9w2AAOYLCmHgK!2+1J%iT7V}wA#B_6(=uMDP#rbX
zGDiT*j~Gx#hS2WxHrxMR#&g)_5jLgz7|;>iy8&;^E2{-jfIAJn;vKJjp*nR}ddmO4
z(F<*;XJQb2l;ngDVlsqPWrxFOyo#R^l^NO^tPW1E?c<b%p@hnjk&;991E}Y=aFSF7
zc8`X1!oB?Bb?4nA6~8zys3KMcw-i;>ofuG>Qc)?Ig2*w4mZ8n+1~5pU2~m^ERbj2>
znmu)+X!4(RnUNgPK8ZBCTqAzU_cm=1^T+$zWr<RCu^bVkilW5v%CxhT)=)g=SJjx_
z1a0?}DMa;J_oZ3K-14d)4=ow;COo6oPNzPvkCRy`qu!$WElh<J9x&u=&NtaeoMDFU
zhhJrtQ~+^1H&t`qJYJ~0|2SCt&Y6)yx|<ap6zM0fhW#fMfg&WM)z|GUqr%nS38Bzb
zpeBfDb@B_GE{DiW7+4(ceLY?Tck=+Lpu2bDw*R)+%m@JAesy+AFIQ#w#*EjeG$!9o
zCPePH8nmGlZIORjCzQ;y@8`aoZvEb-M=2x?!#5kLD%mS1iPUrJV{p;ly@n?0S#zG%
zmEmA}2eN#N-I&*X!x(0da+R$tI!@k|wD-?DC77Cn*a%_@V34GlHMgS)2J)fgaSO2?
zZ+W&e3TaLj-7!uMX8+kU=4eyc229(Zmblc3D0^`|@EULEQJV>u3;y8NT7M8Yqel@T
zs)N#`S0M@6qAioq=O;#joP!$_p3IMR|5#|lQN14@QpS885b_hHJ&2?lSb@h5;wMn~
z^fft|HpLC!7DmT(hCr*}5}L;y{P-c!uz9TTHIN|lp@!i(UduwgfL(0gURcOlp*R=;
z$K?~RKL14cXM8KmKLMg1tZK-{#o#>v;*g%=Slab7^`+iPxpb3EBLX@YSU+_r*2zh=
zjE5okrul`Gbaz{?xguE0<LE5Vt%nZ9YwNRtKod#i9MCOYHX5l#a$_@!s5vuCJ@UCl
zZWEwz$0?bd09jXR1u4<?W0%6oMxg|X&P*&8am;6w{~|4S;vA7FSim^40ucG=2u0!M
zgcLt{Hx8ppgRE}lT^ROJqwdt}73hPB0KiDkq2Y(<%R?_80cxX@uN-O>ZtJO@H6=ol
z?{VATXn#y$nosO>^R;a8lviTdxyVZCwi#&cM$)C&u9RYy(IGOgdDV34(|<c=17<sJ
zOB)3@Exm|L**g5<t*kn_0{g`x-VTCB-ucQ1P%l=`1YyIpNq&)Y(6WKhlswZCDO2~Y
ziUtXJe?0lfRT^isI*Hcqbek62B%>8kNH-iUU@h<xsuZ!af<gp~H9wNd=F_R7pQunL
z?!;37GH})Z5Zbcc?v)(BhP4LQT<%C2RC?Qc^!=Tdhu)l}RzGIPvUsmQy<}5dk)6j?
zy?qbra-L2GAKO53og0UHj;1o&5Kp)`9~=A1<hHGCXl<niB29@@;pBB1;!3F4G>e^=
za770WXY!1?3;GASbpv#{rF=$ECa4VOOsMi$sHrbRL4RY2pAORUV%OeVXDFJj=S!yC
zhJQr;L{2uhJ~IA<j5Y$}48q(CB98xJXMIh4kR%K7o9lNk;fkZJ_E)t1O}4?s9NSCT
zUUhHd=L2Kzv$5`eI|<(cZF1&sRD(8Q;Hubdon3VtF(!ROB;Fu0S^VR-lw<QkZv6;9
z{KlnS&w#O>L|k3-mK6)UjBtQBiYBs+GmM=3hmG8L-y8$KGv6Khdlkt2Fm!4!wiK0;
z0js9Ge|=$-^j+)~@hFg;qLDSJ1(qDWskTwt6N?7N`>nJgM-&Qo{dK@CZiaSmqD+~r
zF>wz3miPp`o4Eh7gF0lpF(Cw$p>P*Sag6C`A;ZjGB(lI#uWw5>VqfjJfP(yslu@WQ
zoDtoeqvAQdkqz7p2^)@e*?pbd_8IErg@2ou7Hkp|Hv=Oz#hPOdu*%J!eTGo~>hHUq
zql!xsaRmeHA^`(n<2MouTB=_Kh#REmApL<BleNaw+aXH$vGcf$NB?YG{v2NVUwOR{
z;u3fvnH82H#*fKKK)KO`X8mM^B7B1gfuJvKdT+89xvqJP;}{FNVCGw!o5HmM=f-O0
zW7$5wy~Da|A*_ryGN}juo{oCI%e{Aue+D9fnJ&$KeZ^MMu^ijYjVbdGLCuFfd-jE$
zj`3HWyazk!*#smvM<mV3^lNQF>+L*k99sPQNiiw&?lO-kFzuzDfDqpYAJ$6sj1aeQ
z3RiAEwKJYXQukI|x6M`u%!HO-S}(5#rmrJJ&LsQdgar9F#?@a1G09A{zh6XF@1N&?
zbzd+2GhP1ny6Ac+noGNqfi0b3rxBd*3~~iEkZ;X1TxQdIGc9N0dKwH1lmD5D1NDZA
z_YH{&aAIqYO;Uu@(y;o_dl_WekxU<6Mwbv6;tBB_PAC|)Zz3TESJIC&rrd&!mDoI-
zXQ?c3JRrZVz{a`Bs$H(B>S{uLiHy&Et<0BQ3D66db(-N$CP1h@@-CL{DC%p*Q`)!u
z3Xbn6(x4BJf&6ubq{YSU1ln9UO4o3_ofg5XB?&<7W2RuQ;?Z>0T?WGwEqT++jRTXI
zbwZdDF)&_=V6(12f>-?1n(?KBR<8UK>S{q0aP~Wc{qJXt6+)8SH~&9`c`J9Ua;J&=
zNQsXsh#T?03CoVlu<DOjq85MQ6Er9)Wow}v&)qb&K@>xuL;ab7G&k=cOb<N)3O&t|
zT4hGGe?_;dp}e~!9B@z3KyEDQrzKMY5=(vK?~Y==%*%P33gLU=_Q##8C1Im#mTo`#
zoVyotkhYa9tC%_={=>+I$|(s<m-nJVzm}G*F%kUnk_IMYVJo@oy|aFbm%1GNi~7<b
zW7l^1*U9?N{%X1~*x16t6-N5zO$<3k*(w5)PpVhYQ}(K}=vdz$*|%ppc&?mTAGD~4
z4g`tkAhb&@CgKiV;LpZ<7Hll?`y5jL%?|ulh0xfYiuFt*<2o`FAj)#hQ8Zs~>4iR)
zlGrl+JCQMZ5S+MvGILeb#FVO}v>$@I#`h#ZRVO}SUgL9lj~y=g2le4WG%EEO8YZo@
z*~%cLSc@o~KhVloG7&O33shTaVbVFQ&`{4F<H;Q5E$bIh|L#+6vzaGM00u96DOsB+
z(s8-+AR#X9lcz&2Jp)e^wMZ{<XVi$OI|wFdQy3LQm{aZD{HaAlHPIfz3->Aw4)=!f
zJ(bdno*6fSv?&-B;TEi(00mJ*zJp;2|EOhG3q#-Uh--gv^7zQGTCKY(!?poeb>k#3
z=B-fU&XYod$8znY1kq^9gvLnjpg#_y5cf)DhVPP@H#g-^phBL*lw+J~N2{hvDEdce
zg@p;6Y^S40O-gik)tueBvwqIY8=gkgi70-y16sOJo~%{_#MM1M8?9=E+-If%Xg?*Q
ztsgQ`G&s3!k*{EX3k8seeL;XP0E_~3xazYOgTa#MvwWP5&y{IGRn4kZau^0U?(^Ht
z&`x%3&+8Cqv#r_%KFA8IsYLvS#jTSZ>60<re2$%0zcFR{@yYBU?qF(>#9y(pfg$&d
zD<eg%yVY&Dv&keyW@;Bd4TYe6sQR2e?00ga%c0fTi~@cIdYUVCEa?l&=hsjVe|(sT
z@=x27yS_<8m%s}5q84ht3tC~!7G=mwc+yj&gn0>Y-Y{VHMgdx@UufEsb|NRsGUAAd
z3}`@2YKtKjgb?-xWy0N1lrO9KbyHBiw1cEsF9;a|R!9t?>jC+jmd{2hJg{-g7i)<m
zGPto{d+7?awLhq<a={{3)Y$UL!bk)|^Em#pQ4ew!?90O^gfVcl^e@cJHrewiXNrtM
zmL8AbCJyOmq97>=NkbgJQ67QOxJ2S{ViHSrTseJx$?m5rP3!8SeT)w4EVz3%=r4=2
z*iEFkCcN+j(|JtFr0%4pD!PMf61|-XnKs(FXKa`x>qCSw+w&Z@{*;f~21|$6KSrrD
z*~V-1Ylse5Bo09cE&Zs6qqNChd}|m45WrG&ZU2@3&04wdFNALLudq<CR{<F~k!oU#
zy2dz#WYtq(-%amQE}S$`O5-m@q@c9o!yA<v0AKYM96d`*p;*P^Idx$`SbP6mWwE;V
z@UEV!|C@am-?YpD=_ztyC_?bI&)+wD5{DwBcMT;ZGv?gzHj=816iPH%*#ReFTsiT*
zF)^SwP&De_D&87M+SOq-Ntlh|RI!D}Xa#OTNsFd93EM;eM7v@QcK!UY)vzgg@eWqK
z$mocgh0FY=!Q~dkEz3V!6o_8(AwGh89M>U8HwT|YK92ok+Az9ztcxRxCe=E2yB31v
za;0q@=L9FWWQ(~f|14#&iG>|4uEeLnb`}14ubaXPmtFH7$chYIt0nwZ5H}jJhcy;J
zo{;~(<Py)&q(29qn@cyFL|PnXlE?PbPxcgDw=2*rUHt|F(+`i8gE+mXF8`?B|MPz0
zxQc>wV+B!x2geCC95~E8jno&6ep2b~uW1AHzta1e3<G<y)v`#JLloxN4mg8?9Ujud
zND!DvIaxp5dzU!xSJR%ZtkC(L(13sJy0#6E<b`C|rDYO04_3D_svq*9Rnlk=P`MPe
zbB^MxKPC0C=#@sLWS|F?<VVR5!x&bFUjy@a!jRTD;#nIyO8Ghpp_<)IPxiXC3==gy
zW?hjcsAS}rS<S0do8#nu@X-~CI(A5sxd*Wz`#+>ke71Ta$p|$i{(a?>8#x>_K0iec
z1tvo6VXJM6jaqzD_P#dOFyqU90b}OERZj%Fd>XED993YGMm!lyC2V)o7st!4Ng(S*
z0QDwnwGAlU;BpLll}>#~xnZj-@x&5npnW(U>@Xa1EjU7<L%Dcy!L2iN)6c;6J*CDy
zrvp31!U_d(QG(BH{F56P+Ua);j;Dm8W*@w(mN~elj|5E;pdjkVCY(_YA~P8=<1MU!
zEfeqcnfOl~fdt6&fl55H1us%usObN~y+jbJ!I=8ttE|rlhrSRZxhACv*e0E6D8cd$
z7<RUN&hP1bbP-*kBgF4e^O@!+XvGB{lP#vf6H&7sA8`B5+ypo8z}WYS{!l<SC1|no
zUevw1By4lkdt>(Y&Vt7oQA5liLx#k8H*KUkEqP(QFJn9JjdWRBbvUM4f)Ai5K|Lx(
z+{x8XNShI%V9&&lKxc<wi?z>Ov{Vt1vrj&I8EgWH_E}3{Bvl-7Qcl|EVG6a6q^sCj
z$LQyZu|c$VgUqwY77H)LiG{2%4T?6TKWBkh%A#1TAJ#}vGL>jL#~t)VtGI(YrNpS~
z>vqAv8Gd+ns*6)t-m$^@K>dC7)9?ldYj{7OuP!(7rcyQ5KxVjC8+f0*Yrne;oEIrv
z*E3GY6Lg^pJx5IXgypE`9e@ENT#{1|!!3(K(Ci*vu~l;eQZGkC`|BobVWW;{^YU^H
zmEMV$)b~(^aS>!sU+~5wGHIH5D7_-U77`&!gjubqY_uPb;;P>yWiYs}a!zNcJ^J;G
zb@79ZkMcn;2J@I7@ZwM+EpF|>+)w-WC$7Q7zt#MWu-nvgPbTiL>%0**6Iz0YFU2q`
za8*vvQpPw}vL-{p9U}@137gwQdz)V-R%elbF!mvTD3O^VD&loVxv03G)XX1|3ETCv
zU~xIwQs6Y(S?0uWQPDnC?Ktj)%5uwVuqvx40j7|7#6m5B`)?wlB2B})$UHPxKOs@O
z7zU$IY=`Hj8OG19NkbbI40rAp<gNz7z`;)^73sSyO@Z>}jt+%v6U(Qg#$`<LwcJRS
zDff9cSV;IV`+cSrlt*pywyR7IeQ6q$7vIHO62=|AgytxEfww!IE%{$l5q<wKGhoq*
zQ7)?v?JT-X;al2AKx}<C2t<!DdL=T02Y?YrWBjyx_;Z?qap`bc6!t7ab%P#ROj~BP
z;T~cpLG@~E0miwi(@ksXZH^fii*U&-rN9$9qJH((u!qoOLd!O;FF}P~3*gR*){>+b
z!t>qEDA?0XI43;JT*<CrE)4$HBiDe;GJSfH0?tx9uaMUBiN0MeX0|O)?S%|_{1r+N
zTbMkVlL~P~Wv@1?2myT#DeNQ#-Bklqc+mP2W-3tER;d1??>vg>>2l@u0-=k%{BU=G
zc79UsoPQEMq4_pRPJ6tdT&igNPcmoY^8Ds9&V|_@MsC&G8GV?9y%HML35}vC^<i=)
z$K^<4=YmxCjUhLGR`FCljx?jr5l+fu^QuzVIhQ5vUbv&pol;9c;T<;+!EJR(UIdd;
z)y#I@g=FcApadbitlK6%_YW@q8=*x2^0>4Izp~)=p)E5zeLU{`lh_XFl*R@PKHm24
zlZTKk#+^N~l&YUD`sO2{Bs5}eF&EWz;jD1<%Y$t!J%^UpR7cN+CUhxNzrL8ZT0C@!
zuk#r8d4<s)mY)N#u+V-_;E$7+<U+3zx8Rpg@4sMlA6H4CN6MfNaBAUpDtmN|qbuEz
idQgTP#N}k;)b>BdrNFiHf#;>07z*`<F`O+%LH`eU9`Y^#

literal 0
HcmV?d00001

diff --git a/images/snarkjs/test.sh b/images/snarkjs/test.sh
index aa0955d..8c03283 100755
--- a/images/snarkjs/test.sh
+++ b/images/snarkjs/test.sh
@@ -5,3 +5,145 @@
 set +e
 snarkjs --help
 set -e
+
+
+mkdir /tmp/snarkjs/
+
+# R1CS Read Utilities
+# All of these utilities require a precompiled circom circuit
+mkdir /tmp/snarkjs/r1cs
+
+# Print R1CS file metadata (number of constraints, inputs, etc.)
+snarkjs r1cs info circom-files/circuit.r1cs
+
+# Print binary file metadata
+snarkjs file info circom-files/circuit.r1cs 
+
+# List all of the constraints in the circuit
+snarkjs r1cs print circom-files/circuit.r1cs circom-files/circuit.sym
+
+# Transpile R1CS format into a human-readable JSON file
+snarkjs r1cs export json circom-files/circuit.r1cs /tmp/snarkjs/r1cs/output.json
+
+# Witness Utilities
+mkdir /tmp/snarkjs/wtns
+
+# Use Snarkjs CLI witness generator
+snarkjs wtns calculate circom-files/circuit.wasm  circom-files/input.json /tmp/snarkjs/wtns/witness.wtns
+
+# Use Snarkjs CLI witness generator in debug mode
+snarkjs wtns debug circom-files/circuit.wasm  circom-files/input.json /tmp/snarkjs/wtns/witness.wtns circom-files/circuit.sym
+
+# Turn witness file into human-readable JSON
+snarkjs wtns export json /tmp/snarkjs/wtns/witness.wtns /tmp/snarkjs/wtns/witness.json
+
+# Validate a witness file against a circuit's R1CS file
+snarkjs wtns check circom-files/circuit.r1cs circom-files/witness.wtns
+
+
+# Run a small mock trusted setup for bn128 and bls12-381
+for curve in BN254 BLS12-381; do
+    mkdir /tmp/snarkjs/$curve
+
+    # Initialize powers of tau file
+    snarkjs powersoftau new $curve 14 /tmp/snarkjs/$curve/initial.ptau 
+
+    # Multiply old powers of tau by private random input (toxic waste)
+    snarkjs powersoftau contribute /tmp/snarkjs/$curve/initial.ptau /tmp/snarkjs/$curve/second.ptau -e="input"
+
+    # Test export and import utilities for distributed ceremonies
+    snarkjs powersoftau export challenge /tmp/snarkjs/$curve/second.ptau /tmp/snarkjs/$curve/challenge
+    snarkjs powersoftau challenge contribute $curve /tmp/snarkjs/$curve/challenge /tmp/snarkjs/$curve/response -e="input"
+    snarkjs powersoftau import response /tmp/snarkjs/$curve/second.ptau /tmp/snarkjs/$curve/response /tmp/snarkjs/$curve/third.ptau
+
+    # Shift one more time by public source of randomness
+    snarkjs powersoftau beacon /tmp/snarkjs/$curve/third.ptau /tmp/snarkjs/$curve/second_beacon.ptau 0102030405060708090a0b0c0d0e0f101112131415161718191a1b1c1d1e1f 10
+
+    # Convert raw powers of tau to Lagrange poly evaluations
+    snarkjs powersoftau prepare phase2 /tmp/snarkjs/$curve/second_beacon.ptau /tmp/snarkjs/$curve/final.ptau
+
+    # Verify contents of powers of tau file via transcript checks
+    snarkjs powersoftau verify /tmp/snarkjs/$curve/final.ptau
+
+    # Testing all save and load utilities
+    snarkjs powersoftau truncate /tmp/snarkjs/$curve/final.ptau
+    snarkjs powersoftau convert /tmp/snarkjs/$curve/final.ptau /tmp/snarkjs/$curve/converted.ptau
+    snarkjs powersoftau export json /tmp/snarkjs/$curve/final.ptau /tmp/snarkjs/$curve/final_ptau.json
+
+    # bls12-128 proving not supported by snarkjs
+    if [ "$curve" = "BN254" ]
+    then
+
+        # Test Groth16 Backend (Requiring Phase 2) and ZKEY utils
+        mkdir /tmp/snarkjs/BN254/groth16/
+
+        # Initialize circuit specific key
+        snarkjs groth16 setup circom-files/circuit.r1cs /tmp/snarkjs/BN254/final.ptau /tmp/snarkjs/BN254/groth16/circuit_1.zkey
+
+        # TESTING ZKEY UTILITIES
+        snarkjs zkey contribute /tmp/snarkjs/BN254/groth16/circuit_1.zkey /tmp/snarkjs/BN254/groth16/circuit_2.zkey -e="input"
+
+        # External Ceremony Contributions
+        snarkjs zkey export bellman /tmp/snarkjs/BN254/groth16/circuit_2.zkey  /tmp/snarkjs/BN254/groth16/challenge_phase2_3
+        snarkjs zkey bellman contribute bn128 /tmp/snarkjs/BN254/groth16/challenge_phase2_3 /tmp/snarkjs/BN254/groth16/response_phase2_3 -e="input"
+        snarkjs zkey import bellman /tmp/snarkjs/BN254/groth16/circuit_2.zkey /tmp/snarkjs/BN254/groth16/response_phase2_3 /tmp/snarkjs/BN254/groth16/circuit_3.zkey
+
+        # Verify the zkey matches the initial trusted setup and circuit
+        snarkjs zkey verify circom-files/circuit.r1cs /tmp/snarkjs/BN254/final.ptau /tmp/snarkjs/BN254/groth16/circuit_3.zkey
+
+        # Apply public source of randomness
+        snarkjs zkey beacon /tmp/snarkjs/BN254/groth16/circuit_3.zkey /tmp/snarkjs/BN254/groth16/final.zkey 0102030405060708090a0b0c0d0e0f101112131415161718191a1b1c1d1e1f 10
+
+        # Save a JSONified version of the circuit zkey file
+        snarkjs zkey export json /tmp/snarkjs/BN254/groth16/final.zkey /tmp/snarkjs/BN254/groth16/finalzkey.json
+
+        # Save a copy of the verification key
+        snarkjs zkey export verificationkey /tmp/snarkjs/BN254/groth16/final.zkey /tmp/snarkjs/BN254/groth16/verification_key.json
+
+        # End-to-end proof (no preconstructed witness)
+        snarkjs groth16 fullprove circom-files/input.json circom-files/circuit.wasm /tmp/snarkjs/BN254/groth16/final.zkey /tmp/snarkjs/BN254/groth16/proofA.json /tmp/snarkjs/BN254/groth16/publicA.json
+
+        # Verify the proof
+        snarkjs groth16 verify /tmp/snarkjs/BN254/groth16/verification_key.json /tmp/snarkjs/BN254/groth16/publicA.json /tmp/snarkjs/BN254/groth16/proofA.json
+
+        # Create a proof from a serialized witness
+        snarkjs groth16 prove /tmp/snarkjs/BN254/groth16/final.zkey circom-files/witness.wtns /tmp/snarkjs/BN254/groth16/proofB.json /tmp/snarkjs/BN254/groth16/publicB.json
+
+        # Verify that proof
+        snarkjs groth16 verify /tmp/snarkjs/BN254/groth16/verification_key.json /tmp/snarkjs/BN254/groth16/publicB.json /tmp/snarkjs/BN254/groth16/proofB.json
+
+        # Test zkey smart contract utilities
+        snarkjs zkey export solidityverifier /tmp/snarkjs/BN254/groth16/final.zkey /tmp/snarkjs/BN254/groth16/verifier.sol
+        snarkjs zkey export soliditycalldata /tmp/snarkjs/BN254/groth16/publicB.json /tmp/snarkjs/BN254/groth16/proofB.json
+
+        # Test Plonk and Fflonk Backends (No Phase 2 required)
+        for backend in plonk fflonk; do
+
+                echo "Proving with $backend"
+
+                mkdir /tmp/snarkjs/$curve/$backend/
+
+                # Generate the proving key from powers of tau file
+                snarkjs $backend setup circom-files/circuit.r1cs /tmp/snarkjs/$curve/final.ptau /tmp/snarkjs/$curve/$backend/circuit.zkey
+
+                # Save a copy of the verification key
+                snarkjs zkey export verificationkey /tmp/snarkjs/$curve/$backend/circuit.zkey /tmp/snarkjs/$curve/$backend/verification_key.json
+
+                # End-to-end proof (no preconstructed witness)
+                snarkjs $backend fullprove circom-files/input.json circom-files/circuit.wasm /tmp/snarkjs/$curve/$backend/circuit.zkey /tmp/snarkjs/$curve/$backend/proofA.json /tmp/snarkjs/$curve/$backend/publicA.json
+
+                # Verify the proof
+                snarkjs $backend verify /tmp/snarkjs/$curve/$backend/verification_key.json /tmp/snarkjs/$curve/$backend/publicA.json /tmp/snarkjs/$curve/$backend/proofA.json
+
+                # Create a proof from a serialized witness
+                snarkjs $backend prove /tmp/snarkjs/$curve/$backend/circuit.zkey circom-files/witness.wtns /tmp/snarkjs/$curve/$backend/proofB.json /tmp/snarkjs/$curve/$backend/publicB.json
+
+                # Verify that proof
+                snarkjs $backend verify /tmp/snarkjs/$curve/$backend/verification_key.json /tmp/snarkjs/$curve/$backend/publicB.json /tmp/snarkjs/$curve/$backend/proofB.json
+        done
+    fi
+
+done
+
+# get rid of all testing files
+rm -rf /tmp/snarkjs/