@midnames/sdk 1.0.3 → 1.0.4

package/node_modules/@midnames/ns/src/managed/leaf/contract/index.js.map

@@ -1,8 +0,0 @@
-{
-  "version": 3,
-  "file": "index.js",
-  "sourceRoot": "../../../../",
-  "sources": ["src/leaf.compact", "compiler/standard-library.compact"],
-  "names": [],
-  "mappings": ";;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;EAoDA;;;;;;;;;;MAoCA,AAAA,YAGC;;;;;cAH2B,GAAY;;;;;;;;;;;;;;;;;;yCAAZ,GAAY;;;;;;;yEAAZ,GAAY;;;OAGvC;MAED,AAAA,YAKC;;;;;cAL2B,YAAqB;cAAE,UAAmB;cAAE,WAAoB;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;yCAAhE,YAAqB,+BAAE,UAAmB,+BAAE,WAAoB;;;;;;;;;8CAAhE,YAAqB;8CAAE,UAAmB;8CAAE,WAAoB;;;OAK3F;MAED,AAAA,wBAYC;;;;;cAXG,YAAuD;cACvD,KAA4D;;;;;;;;;;;;;;;;;;;;;;;;;yCAD5D,YAAuD,gCACvD,KAA4D;;;;;;;;;0DAD5D,YAAuD;0DACvD,KAA4D;;;OAU/D;MAED,AAAA,cAuCC;;;;;cAvC6B,OAAyB;cAAE,QAAiB;cAAE,KAAa;cAAE,UAAyB;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;yCAAtF,OAAyB,+BAAE,QAAiB,+BAAE,KAAa,+BAAE,UAAyB;;;;;;;;;gDAAtF,OAAyB;gDAAE,QAAiB;gDAAE,KAAa;gDAAE,UAAyB;;;OAuCnH;MAED,AAAA,mBAOC;;;;;cAPkC,KAA4D;;;;;;;;;;;;;;;;;;0CAA5D,KAA4D;;;;;;;;;qDAA5D,KAA4D;;;OAO9F;MAED,AAAA,YAGC;;;;;cAH2B,GAAmB;cAAE,GAAmB;;;;;;;;;;;yCAAxC,GAAmB,+BAAE,GAAmB;;;;;;;;;8CAAxC,GAAmB;8CAAE,GAAmB;;;OAGnE;MAED,AAAA,WAGC;;;;;cAH0B,GAAmB;;;;;;;;;;;yCAAnB,GAAmB;;;;;;;wEAAnB,GAAmB;;;OAG7C;MAED,AAAA,gBAGC;;;;;;;;;;;;;;;;;;;;;;OAAA;MAED,AAAA,mBA4BC;;;;;cA5BkC,OAAyB;cAAE,QAAiB;cAAE,KAAa;cAAE,UAAyB;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;yCAAtF,OAAyB,+BAAE,QAAiB,+BAAE,KAAa,+BAAE,UAAyB;;;;;;;;;qDAAtF,OAAyB;qDAAE,QAAiB;qDAAE,KAAa;qDAAE,UAAyB;;;OA4BxH;MAED,AAAA,YAYC;;;;;cAZ2B,QAAiB;cAAE,UAAyB;;;;;;;;;;;;;;;;;;;;;;;;;yCAA5C,QAAiB,+BAAE,UAAyB;;;;;;;;;8CAA5C,QAAiB;8CAAE,UAAyB;;;OAYvE;MAED,AAAA,oBAIC;;;;;cAJmC,YAAuD;;;;;;;;;;;;;;;;;;yCAAvD,YAAuD;;;;;;;;;sDAAvD,YAAuD;;;OAI1F;MAED,AAAA,eAmBC;;;;;cAnB8B,QAAiB;cAAE,WAA6B;;;;;;;;;;;;;;;;;;;;;;;;;yCAAhD,QAAiB,+BAAE,WAA6B;;;;;;;;;iDAAhD,QAAiB;iDAAE,WAA6B;;;OAmB9E;MAGD,AAAA,YAGC;;;;;cAH2B,WAA6B;;;;;;;;;;;;;;;;;;yCAA7B,WAA6B;;;;;;;;;8CAA7B,WAA6B;;;OAGxD;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GAjLA;EAzBD;;;;;UACI,eAA+B;UAC/B,iBAAgC;UAChC,QAAmD;UACnD,QAAwB;UACxB,YAAqB;UACrB,YAAqB;UACrB,UAAmB;UACnB,WAAoB;UACpB,KAA4D;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;IAjChE;;;;;;;;;yEAAqD;IACrD;;;;;;;;;yEAAsD;IACtD;;;;;;;;;yEAA8C;IAE9C;;;;;;;;;yEAA+C;IAE/C;;;;;;;;;yEAAyE;IAGzE;;;;;;;;;;yEAAkD;IAGlD;;;;;;;;;;yEAAqE;IAErE;;;;;;;;;;yEAA8D;IAyC9D;;;;;;;;;yEAAoC;IACpC;;;;;;;;;yEAAoC;IACpC;;;;;;;;;yEAAkC;IAClC;;;;;;;;;yEAAmC;UAvB/B,KAAY;IAAZ;;;;;;;2HAAA,KAAY;;yEAAA;IACZ;;;;;;;4HAAyB,eAAa;;yEAAzB;IACb;;;;;;;2HAA2B,iBAAe;;yEAA3B;IACf;;;;;;;2HAAyB,QAAM;;yEAAlB;IACb;;;;;;;4HAAkB,QAAM;;yEAAlB;IACN;;;;;;;2HAAsB,YAAU;;yEAAtB;IACV;;;;;;;2HAAsB,YAAU;;yEAAtB;IACV;;;;;;;2HAAoB,UAAQ;;yEAApB;IACR;;;;;;;2HAAqB,WAAS;;yEAArB;;;gDACT,GAIC,EAJD,IAIC;;yCAHgB,IAAE;8BACX,KAAM,GAAiB,IAAE;8BAAzB,KAAM,GAAuC,IAAE;wBAA/C;;;;;;;;;;+IAAA,KAAM;;;+IAAN,KAAM;;;;;8EAAA;;6BAFd,GAIC;;;mBAJgB,KAAG;;;;;;;GAKvB;EClDD,AAAA;EAUA,AAAA,QAA0B;kCACkB;;EAG5C,AAAA,SAA2B;yEACqC;;EA+QhE,AAAA,6CAA8B,SAAkB,UAAmB;UACjE,qBAAuD;IAAvD;;;;;;;;;;;4HAAA;;;;;;2HAA+D;;;;;;;;;;;;;UAC/D,qBAA2D;IAA3D;;;;;;;;;;;;8HAAA;;8HAAmE;;;;;;;2HAAW;;;;;;;;;;;;;QAE1E;;sBAAqB;8CAAwB;;;;;;;;;;;;;YAC/C,qBAAsD;MAAtD;;;;;;;;;;;8HAAA;;;;;;6HAA8D;;;;;;;;;;;;;;;;EAIlE,AAAA,gDAAiC,SAAkB;UACjD,qBAAsD;IAAtD;;;;;;;;;;;4HAAA;;;;;;2HAA8D;;;;;;;;;;;;;;;EAnUhE,AAAA;;;;;;;;EDwFA,AAAA,eAGC,4BAH2B,GAAY;kEAC7B;;;;;;;;;;;uIAAY;;;;IACnB;;;;;;;2HAAsB,GAAC;;yEAAb;;GACb;EAED,AAAA,eAKC;;kBAL2B,YAAqB;kBAAE,UAAmB;kBAAE,WAAoB;;kEACjF;;;;;;;;;;;uIAAY;;;;IACnB;;;;;;;2HAAsB,YAAU;;yEAAtB;IACV;;;;;;;2HAAoB,UAAQ;;yEAApB;IACR;;;;;;;2HAAqB,WAAS;;yEAArB;;GACZ;EAED,AAAA,2BAYC,4BAXG,YAAuD,EACvD,KAA4D;kEAErD;;;;;;;;;;;uIAAY;;;;;;gDACnB,GAIC,EAJD,IAIC;;yCAHgB,IAAE;8BACX,KAAM,GAAiB,IAAE;8BAAzB,KAAM,GAAuC,IAAE;wBAA/C;;;;;;;;;;+IAAA,KAAM;;;+IAAN,KAAM;;;;;8EAAA;;6BAFd,GAIC;;;mBAJgB,KAAG;IAKhB;;;;;;;2HAAyB,YAAU;;yEAAtB;;GAEpB;EAED,AAAA,iBAuCC;;oBAvC6B,OAAyB;oBAAE,QAAiB;oBAAE,KAAa;oBAAE,UAAyB;;4BACzG,KAAG;4BACH,KAAG;UAEJ,OAKL;;;;qCAJE,KAAY;qCAAE,MAAa;qCAAE,GAAU;;0CAC7B,GAAqB;6CAA9B,KAAG;;qDAAO,GAAC,EAAF,GAAqB,GAAH,KAAG;;4DAAM,MAAI;;;mCACpC,QAAM;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;4BAGP,OAAK;qDAEJ;;;;;;;;;;;4KAAwB,QAAM;;;;0HAAvB;;UAGT,OAAqB,GAAJ,KAAG;QACtB,OAAK;;;wDACa;;;;;;;;;;;6HAAU;wDAAE;;;;;;;;;;;6HAAU;;;qDACzB;;;;;;;;;;;0HAAU;qDAAE;;;;;;;;;;;0HAAU;;uEAA2D;;;;;;;;;;;4IAAY;;wBACrG,OAAK;;;0DACM;;;;;;;;;;;+HAAU;0DAAE;;;;;;;;;;;+HAAQ;;;uDACvB;;;;;;;;;;;4HAAU;uDAAE;;;;;;;;;;;4HAAQ;;yEAA2D;;;;;;;;;;;8IAAY;;;;0DAExF;;;;;;;;;;;+HAAU;0DAAE;;;;;;;;;;;+HAAS;;;uDACxB;;;;;;;;;;;4HAAU;uDAAE;;;;;;;;;;;4HAAS;;yEAA2D;;;;;;;;;;;8IAAY;;;UAGzG,SAAyB,GAAN,OAAK;UACpB,aAGT,YAFG,SAAO,YACE,UAAQ;IAErB;;;;;;;;;;2HAAwB,QAAM;;;2HAAY,aAAW;;;wEAA9C;iCAGF;;;;;;;;;;;wJAAqB,SAAO;;;;sGAAf;;MACd;;;;;;;;;;6HAAqB,SAAO;;;;;;;0EAAf;;IAEjB;;;;;;;;;;+FAAqB,SAAO;;;2HAAkB,QAAM;;;;;wEAAvC;;GAChB;EAED,AAAA,sBAOC,4BAPkC,KAA4D;kEACpF;;;;;;;;;;;uIAAY;;;;;;gDACnB,GAIC,EAJD,IAIC;;yCAHgB,IAAE;8BACX,KAAM,GAAiB,IAAE;8BAAzB,KAAM,GAAuC,IAAE;wBAA/C;;;;;;;;;;+IAAA,KAAM;;;+IAAN,KAAM;;;;;8EAAA;;6BAFd,GAIC;;;mBAJgB,KAAG;;GAKvB;EAED,AAAA,eAGC,4BAH2B,GAAmB,EAAE,GAAmB;mEACzD;;;;;;;;;;;wIAAY;;;;IACnB;;;;;;;;;;2HAAuB,GAAC;;;2HAAW,GAAC;;;wEAA9B;;GACT;EAED,AAAA,cAGC,4BAH0B,GAAmB;mEACnC;;;;;;;;;;;wIAAY;;;;IACnB;;;;;;;;;;2HAAuB,GAAC;;;wEAAlB;;GACT;EAED,AAAA,mBAGC;mEAFU;;;;;;;;;;;wIAAY;;;;IACnB;;;;;;;;;;yEAAM;;GACT;EAED,AAAA,sBA4BC;;yBA5BkC,OAAyB;yBAAE,QAAiB;yBAAE,KAAa;yBAAE,UAAyB;;4BAC9G,KAAG;4BACH,KAAG;UAEJ,OAKL;;;;qCAJE,KAAY;qCAAE,MAAa;qCAAE,GAAU;;0CAC7B,GAAqB;6CAA9B,KAAG;;qDAAO,GAAC,EAAF,GAAqB,GAAH,KAAG;;6DAAM,MAAI;;;mCACpC,QAAM;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;4BAGP,OAAK;qDAEJ;;;;;;;;;;;4KAAwB,QAAM;;;;0HAAvB;;mEACR;;;;;;;;;;;wIAAY;;;;UAEb,SAAyB,GAAN,OAAK;UACxB,aAGL,YAFG,SAAO,YACE,UAAQ;IAGrB;;;;;;;;;;2HAAwB,QAAM;;;2HAAY,aAAW;;;wEAA9C;iCAGF;;;;;;;;;;;wJAAqB,SAAO;;;;sGAAf;;MACd;;;;;;;;;;6HAAqB,SAAO;;;;;;;0EAAf;;IAEjB;;;;;;;;;;+FAAqB,SAAO;;;2HAAkB,QAAM;;;;;wEAAvC;;GAChB;EAED,AAAA,eAYC,4BAZ2B,QAAiB,EAAE,UAAyB;oDAC7D;;;;;;;;;;;2KAAwB,QAAM;;;;yHAAvB;;UAER,cAA+C,2BAAhC;;;;;;;;;;;;;;8IAAwB,QAAM;;;wHAAvB;2CACrB,cAAY;;;;UAEb,UAGL,YAFG,cAAY,kBACH,UAAQ;IAGrB;;;;;;;;;;2HAAwB,QAAM;;;2HAAY,UAAQ;;;wEAA3C;;GACV;EAED,AAAA,uBAIC,4BAJmC,YAAuD;mEAChF;;;;;;;;;;;wIAAY;;;;IAEnB;;;;;;;2HAAyB,YAAU;;yEAAtB;;GAChB;EAED,AAAA,kBAmBC,4BAnB8B,QAAiB,EAAE,WAA6B;oDACpE;;;;;;;;;;;2KAAwB,QAAM;;;;yHAAvB;;UAER,cAA+C,2BAAhC;;;;;;;;;;;;;;8IAAwB,QAAM;;;wHAAvB;2CACrB,cAAY;;;;UAEb,UAGL,YAFY,WAAS,YAClB,cAAY;IAGhB;;;;;;;;;;2HAAwB,QAAM;;;2HAAY,UAAQ;;;wEAA3C;UAGP,KAAa;IAAb;;;;;;;;;;+FAAA,KAAa;;;2HAAwC,QAAM;;;wEAA9C;iCACR;;;;;;;;;;;wJAA8B,WAAS;;;;sGAA1B;;MACd;;;;;;;;;;6HAA8B,WAAS;;;;;;;0EAA1B;;IAEjB;;;;;;;;;;+FAA8B,WAAS;;;2HAAmB,QAAM;;;;;wEAAnD;;GAChB;EAGD,AAAA,eAGC,4BAH2B,WAA6B;mEAC9C;;;;;;;;;;;wIAAY;;;;IACnB;;;;;;;2HAAwB,WAAS;;yEAArB;;GACf;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;IAlOD;sCAAA;;;;;;;;;;;2GAAqD;KAAA;IACrD;qCAAA;;;;;;;;;;;0GAAsD;KAAA;IACtD;sCAAA;;;;;;;;;;;2GAA8C;KAAA;IAE9C;qCAAA;;;;;;;;;;;0GAA+C;KAAA;IAE/C;qCAAA;;;;;;;;;;;0GAAyE;KAAA;IAGzE;;;;;uCAAA;;;;;;;;;;;;;;;;4GAAkD;;;;;;uCAAlD;;;;;;;;;;;;4GAAkD;;;;;;;;;;;;;;uCAAlD;;;;;;;;;;;;;;;4GAAkD;;;;;;;;;;;;;;uCAAlD;;;;;;;;;;;;;;;;;4GAAkD;;;;;;;;;KAAA;IAGlD;;;;;uCAAA;;;;;;;;;;;;;;;;4GAAqE;;;;;;uCAArE;;;;;;;;;;;;4GAAqE;;;;;;;;;;;;;;uCAArE;;;;;;;;;;;;;;;4GAAqE;;;;;;;;;;;;;;0EAArE,KAAqE;;;;;;;;;2CAAhB;;;;;;;;;;;sIAArD,KAAqE;;;;;;;;gHAAF;;;;;;2CAAd;;;;;;;;;;;sIAArD,KAAqE;;;;gHAAF;;;;;;;;;;;;;;2CAAd;;;;;;;;;;;sIAArD,KAAqE;;;;;;;gHAAF;;;;;;yFAAnE,KAAqE;;;;;;KAAA;IAErE;;;;;uCAAA;;;;;;;;;;;;;;;;4GAA8D;;;;;;uCAA9D;;;;;;;;;;;;4GAA8D;;;;;;;uCAA9D;;;;;;;;;;;;;;;4GAA8D;;;;;;;uCAA9D;;;;;;;;;;;;;;;;;4GAA8D;;;;;;;;;KAAA;IAyC9D;qCAAA;;;;;;;;;;;0GAAoC;KAAA;IACpC;qCAAA;;;;;;;;;;;0GAAoC;KAAA;IACpC;qCAAA;;;;;;;;;;;0GAAkC;KAAA;IAClC;qCAAA;;;;;;;;;;;0GAAmC;KAAA;;;;;;;;;;"
-}

package/node_modules/@midnames/ns/src/managed/leaf/zkir/add_multiple_fields.zkir

@@ -1,424 +0,0 @@
-{
-  "version": { "major": 2, "minor": 0 },
-  "do_communications_commitment": true,
-  "num_inputs": 30,
-  "instructions": [
-    { "op": "constrain_to_boolean", "var": 0 },
-    { "op": "constrain_to_boolean", "var": 3 },
-    { "op": "constrain_to_boolean", "var": 6 },
-    { "op": "constrain_to_boolean", "var": 9 },
-    { "op": "constrain_to_boolean", "var": 12 },
-    { "op": "constrain_to_boolean", "var": 15 },
-    { "op": "constrain_to_boolean", "var": 18 },
-    { "op": "constrain_to_boolean", "var": 21 },
-    { "op": "constrain_to_boolean", "var": 24 },
-    { "op": "constrain_to_boolean", "var": 27 },
-    { "op": "load_imm", "imm": "01" },
-    { "op": "load_imm", "imm": "30" },
-    { "op": "declare_pub_input", "var": 31 },
-    { "op": "pi_skip", "guard": 30, "count": 1 },
-    { "op": "load_imm", "imm": "50" },
-    { "op": "load_imm", "imm": "03" },
-    { "op": "declare_pub_input", "var": 32 },
-    { "op": "declare_pub_input", "var": 30 },
-    { "op": "declare_pub_input", "var": 30 },
-    { "op": "declare_pub_input", "var": 33 },
-    { "op": "pi_skip", "guard": 30, "count": 4 },
-    { "op": "public_input", "guard": null },
-    { "op": "public_input", "guard": null },
-    { "op": "load_imm", "imm": "20" },
-    { "op": "load_imm", "imm": "0C" },
-    { "op": "declare_pub_input", "var": 37 },
-    { "op": "declare_pub_input", "var": 30 },
-    { "op": "declare_pub_input", "var": 36 },
-    { "op": "declare_pub_input", "var": 34 },
-    { "op": "declare_pub_input", "var": 35 },
-    { "op": "pi_skip", "guard": 30, "count": 5 },
-    { "op": "private_input", "guard": null },
-    { "op": "constrain_bits", "var": 38, "bits": 8 },
-    { "op": "private_input", "guard": null },
-    { "op": "constrain_bits", "var": 39, "bits": 248 },
-    { "op": "test_eq", "a": 34, "b": 38 },
-    { "op": "test_eq", "a": 35, "b": 39 },
-    { "op": "load_imm", "imm": "00" },
-    { "op": "cond_select", "bit": 40, "a": 41, "b": 42 },
-    { "op": "assert", "cond": 43 },
-    { "op": "test_eq", "a": 0, "b": 42 },
-    { "op": "test_eq", "a": 1, "b": 42 },
-    { "op": "cond_select", "bit": 44, "a": 45, "b": 42 },
-    { "op": "test_eq", "a": 2, "b": 42 },
-    { "op": "cond_select", "bit": 46, "a": 47, "b": 42 },
-    { "op": "cond_select", "bit": 48, "a": 42, "b": 30 },
-    { "op": "load_imm", "imm": "70" },
-    { "op": "load_imm", "imm": "07" },
-    { "op": "cond_select", "bit": 49, "a": 50, "b": 42 },
-    { "op": "declare_pub_input", "var": 52 },
-    { "op": "declare_pub_input", "var": 49 },
-    { "op": "declare_pub_input", "var": 49 },
-    { "op": "cond_select", "bit": 49, "a": 51, "b": 42 },
-    { "op": "declare_pub_input", "var": 53 },
-    { "op": "pi_skip", "guard": 49, "count": 4 },
-    { "op": "load_imm", "imm": "10" },
-    { "op": "load_imm", "imm": "-01" },
-    { "op": "cond_select", "bit": 49, "a": 54, "b": 42 },
-    { "op": "declare_pub_input", "var": 56 },
-    { "op": "declare_pub_input", "var": 49 },
-    { "op": "declare_pub_input", "var": 49 },
-    { "op": "cond_select", "bit": 49, "a": 55, "b": 42 },
-    { "op": "declare_pub_input", "var": 57 },
-    { "op": "cond_select", "bit": 49, "a": 1, "b": 42 },
-    { "op": "declare_pub_input", "var": 58 },
-    { "op": "pi_skip", "guard": 49, "count": 5 },
-    { "op": "load_imm", "imm": "11" },
-    { "op": "cond_select", "bit": 49, "a": 59, "b": 42 },
-    { "op": "declare_pub_input", "var": 60 },
-    { "op": "declare_pub_input", "var": 49 },
-    { "op": "declare_pub_input", "var": 49 },
-    { "op": "cond_select", "bit": 49, "a": 55, "b": 42 },
-    { "op": "declare_pub_input", "var": 61 },
-    { "op": "cond_select", "bit": 49, "a": 2, "b": 42 },
-    { "op": "declare_pub_input", "var": 62 },
-    { "op": "pi_skip", "guard": 49, "count": 5 },
-    { "op": "load_imm", "imm": "91" },
-    { "op": "cond_select", "bit": 49, "a": 63, "b": 42 },
-    { "op": "declare_pub_input", "var": 64 },
-    { "op": "pi_skip", "guard": 49, "count": 1 },
-    { "op": "load_imm", "imm": "A1" },
-    { "op": "cond_select", "bit": 49, "a": 65, "b": 42 },
-    { "op": "declare_pub_input", "var": 66 },
-    { "op": "pi_skip", "guard": 49, "count": 1 },
-    { "op": "test_eq", "a": 3, "b": 42 },
-    { "op": "test_eq", "a": 4, "b": 42 },
-    { "op": "cond_select", "bit": 67, "a": 68, "b": 42 },
-    { "op": "test_eq", "a": 5, "b": 42 },
-    { "op": "cond_select", "bit": 69, "a": 70, "b": 42 },
-    { "op": "cond_select", "bit": 71, "a": 42, "b": 30 },
-    { "op": "cond_select", "bit": 72, "a": 50, "b": 42 },
-    { "op": "declare_pub_input", "var": 73 },
-    { "op": "declare_pub_input", "var": 72 },
-    { "op": "declare_pub_input", "var": 72 },
-    { "op": "cond_select", "bit": 72, "a": 51, "b": 42 },
-    { "op": "declare_pub_input", "var": 74 },
-    { "op": "pi_skip", "guard": 72, "count": 4 },
-    { "op": "cond_select", "bit": 72, "a": 54, "b": 42 },
-    { "op": "declare_pub_input", "var": 75 },
-    { "op": "declare_pub_input", "var": 72 },
-    { "op": "declare_pub_input", "var": 72 },
-    { "op": "cond_select", "bit": 72, "a": 55, "b": 42 },
-    { "op": "declare_pub_input", "var": 76 },
-    { "op": "cond_select", "bit": 72, "a": 4, "b": 42 },
-    { "op": "declare_pub_input", "var": 77 },
-    { "op": "pi_skip", "guard": 72, "count": 5 },
-    { "op": "cond_select", "bit": 72, "a": 59, "b": 42 },
-    { "op": "declare_pub_input", "var": 78 },
-    { "op": "declare_pub_input", "var": 72 },
-    { "op": "declare_pub_input", "var": 72 },
-    { "op": "cond_select", "bit": 72, "a": 55, "b": 42 },
-    { "op": "declare_pub_input", "var": 79 },
-    { "op": "cond_select", "bit": 72, "a": 5, "b": 42 },
-    { "op": "declare_pub_input", "var": 80 },
-    { "op": "pi_skip", "guard": 72, "count": 5 },
-    { "op": "cond_select", "bit": 72, "a": 63, "b": 42 },
-    { "op": "declare_pub_input", "var": 81 },
-    { "op": "pi_skip", "guard": 72, "count": 1 },
-    { "op": "cond_select", "bit": 72, "a": 65, "b": 42 },
-    { "op": "declare_pub_input", "var": 82 },
-    { "op": "pi_skip", "guard": 72, "count": 1 },
-    { "op": "test_eq", "a": 6, "b": 42 },
-    { "op": "test_eq", "a": 7, "b": 42 },
-    { "op": "cond_select", "bit": 83, "a": 84, "b": 42 },
-    { "op": "test_eq", "a": 8, "b": 42 },
-    { "op": "cond_select", "bit": 85, "a": 86, "b": 42 },
-    { "op": "cond_select", "bit": 87, "a": 42, "b": 30 },
-    { "op": "cond_select", "bit": 88, "a": 50, "b": 42 },
-    { "op": "declare_pub_input", "var": 89 },
-    { "op": "declare_pub_input", "var": 88 },
-    { "op": "declare_pub_input", "var": 88 },
-    { "op": "cond_select", "bit": 88, "a": 51, "b": 42 },
-    { "op": "declare_pub_input", "var": 90 },
-    { "op": "pi_skip", "guard": 88, "count": 4 },
-    { "op": "cond_select", "bit": 88, "a": 54, "b": 42 },
-    { "op": "declare_pub_input", "var": 91 },
-    { "op": "declare_pub_input", "var": 88 },
-    { "op": "declare_pub_input", "var": 88 },
-    { "op": "cond_select", "bit": 88, "a": 55, "b": 42 },
-    { "op": "declare_pub_input", "var": 92 },
-    { "op": "cond_select", "bit": 88, "a": 7, "b": 42 },
-    { "op": "declare_pub_input", "var": 93 },
-    { "op": "pi_skip", "guard": 88, "count": 5 },
-    { "op": "cond_select", "bit": 88, "a": 59, "b": 42 },
-    { "op": "declare_pub_input", "var": 94 },
-    { "op": "declare_pub_input", "var": 88 },
-    { "op": "declare_pub_input", "var": 88 },
-    { "op": "cond_select", "bit": 88, "a": 55, "b": 42 },
-    { "op": "declare_pub_input", "var": 95 },
-    { "op": "cond_select", "bit": 88, "a": 8, "b": 42 },
-    { "op": "declare_pub_input", "var": 96 },
-    { "op": "pi_skip", "guard": 88, "count": 5 },
-    { "op": "cond_select", "bit": 88, "a": 63, "b": 42 },
-    { "op": "declare_pub_input", "var": 97 },
-    { "op": "pi_skip", "guard": 88, "count": 1 },
-    { "op": "cond_select", "bit": 88, "a": 65, "b": 42 },
-    { "op": "declare_pub_input", "var": 98 },
-    { "op": "pi_skip", "guard": 88, "count": 1 },
-    { "op": "test_eq", "a": 9, "b": 42 },
-    { "op": "test_eq", "a": 10, "b": 42 },
-    { "op": "cond_select", "bit": 99, "a": 100, "b": 42 },
-    { "op": "test_eq", "a": 11, "b": 42 },
-    { "op": "cond_select", "bit": 101, "a": 102, "b": 42 },
-    { "op": "cond_select", "bit": 103, "a": 42, "b": 30 },
-    { "op": "cond_select", "bit": 104, "a": 50, "b": 42 },
-    { "op": "declare_pub_input", "var": 105 },
-    { "op": "declare_pub_input", "var": 104 },
-    { "op": "declare_pub_input", "var": 104 },
-    { "op": "cond_select", "bit": 104, "a": 51, "b": 42 },
-    { "op": "declare_pub_input", "var": 106 },
-    { "op": "pi_skip", "guard": 104, "count": 4 },
-    { "op": "cond_select", "bit": 104, "a": 54, "b": 42 },
-    { "op": "declare_pub_input", "var": 107 },
-    { "op": "declare_pub_input", "var": 104 },
-    { "op": "declare_pub_input", "var": 104 },
-    { "op": "cond_select", "bit": 104, "a": 55, "b": 42 },
-    { "op": "declare_pub_input", "var": 108 },
-    { "op": "cond_select", "bit": 104, "a": 10, "b": 42 },
-    { "op": "declare_pub_input", "var": 109 },
-    { "op": "pi_skip", "guard": 104, "count": 5 },
-    { "op": "cond_select", "bit": 104, "a": 59, "b": 42 },
-    { "op": "declare_pub_input", "var": 110 },
-    { "op": "declare_pub_input", "var": 104 },
-    { "op": "declare_pub_input", "var": 104 },
-    { "op": "cond_select", "bit": 104, "a": 55, "b": 42 },
-    { "op": "declare_pub_input", "var": 111 },
-    { "op": "cond_select", "bit": 104, "a": 11, "b": 42 },
-    { "op": "declare_pub_input", "var": 112 },
-    { "op": "pi_skip", "guard": 104, "count": 5 },
-    { "op": "cond_select", "bit": 104, "a": 63, "b": 42 },
-    { "op": "declare_pub_input", "var": 113 },
-    { "op": "pi_skip", "guard": 104, "count": 1 },
-    { "op": "cond_select", "bit": 104, "a": 65, "b": 42 },
-    { "op": "declare_pub_input", "var": 114 },
-    { "op": "pi_skip", "guard": 104, "count": 1 },
-    { "op": "test_eq", "a": 12, "b": 42 },
-    { "op": "test_eq", "a": 13, "b": 42 },
-    { "op": "cond_select", "bit": 115, "a": 116, "b": 42 },
-    { "op": "test_eq", "a": 14, "b": 42 },
-    { "op": "cond_select", "bit": 117, "a": 118, "b": 42 },
-    { "op": "cond_select", "bit": 119, "a": 42, "b": 30 },
-    { "op": "cond_select", "bit": 120, "a": 50, "b": 42 },
-    { "op": "declare_pub_input", "var": 121 },
-    { "op": "declare_pub_input", "var": 120 },
-    { "op": "declare_pub_input", "var": 120 },
-    { "op": "cond_select", "bit": 120, "a": 51, "b": 42 },
-    { "op": "declare_pub_input", "var": 122 },
-    { "op": "pi_skip", "guard": 120, "count": 4 },
-    { "op": "cond_select", "bit": 120, "a": 54, "b": 42 },
-    { "op": "declare_pub_input", "var": 123 },
-    { "op": "declare_pub_input", "var": 120 },
-    { "op": "declare_pub_input", "var": 120 },
-    { "op": "cond_select", "bit": 120, "a": 55, "b": 42 },
-    { "op": "declare_pub_input", "var": 124 },
-    { "op": "cond_select", "bit": 120, "a": 13, "b": 42 },
-    { "op": "declare_pub_input", "var": 125 },
-    { "op": "pi_skip", "guard": 120, "count": 5 },
-    { "op": "cond_select", "bit": 120, "a": 59, "b": 42 },
-    { "op": "declare_pub_input", "var": 126 },
-    { "op": "declare_pub_input", "var": 120 },
-    { "op": "declare_pub_input", "var": 120 },
-    { "op": "cond_select", "bit": 120, "a": 55, "b": 42 },
-    { "op": "declare_pub_input", "var": 127 },
-    { "op": "cond_select", "bit": 120, "a": 14, "b": 42 },
-    { "op": "declare_pub_input", "var": 128 },
-    { "op": "pi_skip", "guard": 120, "count": 5 },
-    { "op": "cond_select", "bit": 120, "a": 63, "b": 42 },
-    { "op": "declare_pub_input", "var": 129 },
-    { "op": "pi_skip", "guard": 120, "count": 1 },
-    { "op": "cond_select", "bit": 120, "a": 65, "b": 42 },
-    { "op": "declare_pub_input", "var": 130 },
-    { "op": "pi_skip", "guard": 120, "count": 1 },
-    { "op": "test_eq", "a": 15, "b": 42 },
-    { "op": "test_eq", "a": 16, "b": 42 },
-    { "op": "cond_select", "bit": 131, "a": 132, "b": 42 },
-    { "op": "test_eq", "a": 17, "b": 42 },
-    { "op": "cond_select", "bit": 133, "a": 134, "b": 42 },
-    { "op": "cond_select", "bit": 135, "a": 42, "b": 30 },
-    { "op": "cond_select", "bit": 136, "a": 50, "b": 42 },
-    { "op": "declare_pub_input", "var": 137 },
-    { "op": "declare_pub_input", "var": 136 },
-    { "op": "declare_pub_input", "var": 136 },
-    { "op": "cond_select", "bit": 136, "a": 51, "b": 42 },
-    { "op": "declare_pub_input", "var": 138 },
-    { "op": "pi_skip", "guard": 136, "count": 4 },
-    { "op": "cond_select", "bit": 136, "a": 54, "b": 42 },
-    { "op": "declare_pub_input", "var": 139 },
-    { "op": "declare_pub_input", "var": 136 },
-    { "op": "declare_pub_input", "var": 136 },
-    { "op": "cond_select", "bit": 136, "a": 55, "b": 42 },
-    { "op": "declare_pub_input", "var": 140 },
-    { "op": "cond_select", "bit": 136, "a": 16, "b": 42 },
-    { "op": "declare_pub_input", "var": 141 },
-    { "op": "pi_skip", "guard": 136, "count": 5 },
-    { "op": "cond_select", "bit": 136, "a": 59, "b": 42 },
-    { "op": "declare_pub_input", "var": 142 },
-    { "op": "declare_pub_input", "var": 136 },
-    { "op": "declare_pub_input", "var": 136 },
-    { "op": "cond_select", "bit": 136, "a": 55, "b": 42 },
-    { "op": "declare_pub_input", "var": 143 },
-    { "op": "cond_select", "bit": 136, "a": 17, "b": 42 },
-    { "op": "declare_pub_input", "var": 144 },
-    { "op": "pi_skip", "guard": 136, "count": 5 },
-    { "op": "cond_select", "bit": 136, "a": 63, "b": 42 },
-    { "op": "declare_pub_input", "var": 145 },
-    { "op": "pi_skip", "guard": 136, "count": 1 },
-    { "op": "cond_select", "bit": 136, "a": 65, "b": 42 },
-    { "op": "declare_pub_input", "var": 146 },
-    { "op": "pi_skip", "guard": 136, "count": 1 },
-    { "op": "test_eq", "a": 18, "b": 42 },
-    { "op": "test_eq", "a": 19, "b": 42 },
-    { "op": "cond_select", "bit": 147, "a": 148, "b": 42 },
-    { "op": "test_eq", "a": 20, "b": 42 },
-    { "op": "cond_select", "bit": 149, "a": 150, "b": 42 },
-    { "op": "cond_select", "bit": 151, "a": 42, "b": 30 },
-    { "op": "cond_select", "bit": 152, "a": 50, "b": 42 },
-    { "op": "declare_pub_input", "var": 153 },
-    { "op": "declare_pub_input", "var": 152 },
-    { "op": "declare_pub_input", "var": 152 },
-    { "op": "cond_select", "bit": 152, "a": 51, "b": 42 },
-    { "op": "declare_pub_input", "var": 154 },
-    { "op": "pi_skip", "guard": 152, "count": 4 },
-    { "op": "cond_select", "bit": 152, "a": 54, "b": 42 },
-    { "op": "declare_pub_input", "var": 155 },
-    { "op": "declare_pub_input", "var": 152 },
-    { "op": "declare_pub_input", "var": 152 },
-    { "op": "cond_select", "bit": 152, "a": 55, "b": 42 },
-    { "op": "declare_pub_input", "var": 156 },
-    { "op": "cond_select", "bit": 152, "a": 19, "b": 42 },
-    { "op": "declare_pub_input", "var": 157 },
-    { "op": "pi_skip", "guard": 152, "count": 5 },
-    { "op": "cond_select", "bit": 152, "a": 59, "b": 42 },
-    { "op": "declare_pub_input", "var": 158 },
-    { "op": "declare_pub_input", "var": 152 },
-    { "op": "declare_pub_input", "var": 152 },
-    { "op": "cond_select", "bit": 152, "a": 55, "b": 42 },
-    { "op": "declare_pub_input", "var": 159 },
-    { "op": "cond_select", "bit": 152, "a": 20, "b": 42 },
-    { "op": "declare_pub_input", "var": 160 },
-    { "op": "pi_skip", "guard": 152, "count": 5 },
-    { "op": "cond_select", "bit": 152, "a": 63, "b": 42 },
-    { "op": "declare_pub_input", "var": 161 },
-    { "op": "pi_skip", "guard": 152, "count": 1 },
-    { "op": "cond_select", "bit": 152, "a": 65, "b": 42 },
-    { "op": "declare_pub_input", "var": 162 },
-    { "op": "pi_skip", "guard": 152, "count": 1 },
-    { "op": "test_eq", "a": 21, "b": 42 },
-    { "op": "test_eq", "a": 22, "b": 42 },
-    { "op": "cond_select", "bit": 163, "a": 164, "b": 42 },
-    { "op": "test_eq", "a": 23, "b": 42 },
-    { "op": "cond_select", "bit": 165, "a": 166, "b": 42 },
-    { "op": "cond_select", "bit": 167, "a": 42, "b": 30 },
-    { "op": "cond_select", "bit": 168, "a": 50, "b": 42 },
-    { "op": "declare_pub_input", "var": 169 },
-    { "op": "declare_pub_input", "var": 168 },
-    { "op": "declare_pub_input", "var": 168 },
-    { "op": "cond_select", "bit": 168, "a": 51, "b": 42 },
-    { "op": "declare_pub_input", "var": 170 },
-    { "op": "pi_skip", "guard": 168, "count": 4 },
-    { "op": "cond_select", "bit": 168, "a": 54, "b": 42 },
-    { "op": "declare_pub_input", "var": 171 },
-    { "op": "declare_pub_input", "var": 168 },
-    { "op": "declare_pub_input", "var": 168 },
-    { "op": "cond_select", "bit": 168, "a": 55, "b": 42 },
-    { "op": "declare_pub_input", "var": 172 },
-    { "op": "cond_select", "bit": 168, "a": 22, "b": 42 },
-    { "op": "declare_pub_input", "var": 173 },
-    { "op": "pi_skip", "guard": 168, "count": 5 },
-    { "op": "cond_select", "bit": 168, "a": 59, "b": 42 },
-    { "op": "declare_pub_input", "var": 174 },
-    { "op": "declare_pub_input", "var": 168 },
-    { "op": "declare_pub_input", "var": 168 },
-    { "op": "cond_select", "bit": 168, "a": 55, "b": 42 },
-    { "op": "declare_pub_input", "var": 175 },
-    { "op": "cond_select", "bit": 168, "a": 23, "b": 42 },
-    { "op": "declare_pub_input", "var": 176 },
-    { "op": "pi_skip", "guard": 168, "count": 5 },
-    { "op": "cond_select", "bit": 168, "a": 63, "b": 42 },
-    { "op": "declare_pub_input", "var": 177 },
-    { "op": "pi_skip", "guard": 168, "count": 1 },
-    { "op": "cond_select", "bit": 168, "a": 65, "b": 42 },
-    { "op": "declare_pub_input", "var": 178 },
-    { "op": "pi_skip", "guard": 168, "count": 1 },
-    { "op": "test_eq", "a": 24, "b": 42 },
-    { "op": "test_eq", "a": 25, "b": 42 },
-    { "op": "cond_select", "bit": 179, "a": 180, "b": 42 },
-    { "op": "test_eq", "a": 26, "b": 42 },
-    { "op": "cond_select", "bit": 181, "a": 182, "b": 42 },
-    { "op": "cond_select", "bit": 183, "a": 42, "b": 30 },
-    { "op": "cond_select", "bit": 184, "a": 50, "b": 42 },
-    { "op": "declare_pub_input", "var": 185 },
-    { "op": "declare_pub_input", "var": 184 },
-    { "op": "declare_pub_input", "var": 184 },
-    { "op": "cond_select", "bit": 184, "a": 51, "b": 42 },
-    { "op": "declare_pub_input", "var": 186 },
-    { "op": "pi_skip", "guard": 184, "count": 4 },
-    { "op": "cond_select", "bit": 184, "a": 54, "b": 42 },
-    { "op": "declare_pub_input", "var": 187 },
-    { "op": "declare_pub_input", "var": 184 },
-    { "op": "declare_pub_input", "var": 184 },
-    { "op": "cond_select", "bit": 184, "a": 55, "b": 42 },
-    { "op": "declare_pub_input", "var": 188 },
-    { "op": "cond_select", "bit": 184, "a": 25, "b": 42 },
-    { "op": "declare_pub_input", "var": 189 },
-    { "op": "pi_skip", "guard": 184, "count": 5 },
-    { "op": "cond_select", "bit": 184, "a": 59, "b": 42 },
-    { "op": "declare_pub_input", "var": 190 },
-    { "op": "declare_pub_input", "var": 184 },
-    { "op": "declare_pub_input", "var": 184 },
-    { "op": "cond_select", "bit": 184, "a": 55, "b": 42 },
-    { "op": "declare_pub_input", "var": 191 },
-    { "op": "cond_select", "bit": 184, "a": 26, "b": 42 },
-    { "op": "declare_pub_input", "var": 192 },
-    { "op": "pi_skip", "guard": 184, "count": 5 },
-    { "op": "cond_select", "bit": 184, "a": 63, "b": 42 },
-    { "op": "declare_pub_input", "var": 193 },
-    { "op": "pi_skip", "guard": 184, "count": 1 },
-    { "op": "cond_select", "bit": 184, "a": 65, "b": 42 },
-    { "op": "declare_pub_input", "var": 194 },
-    { "op": "pi_skip", "guard": 184, "count": 1 },
-    { "op": "test_eq", "a": 27, "b": 42 },
-    { "op": "test_eq", "a": 28, "b": 42 },
-    { "op": "cond_select", "bit": 195, "a": 196, "b": 42 },
-    { "op": "test_eq", "a": 29, "b": 42 },
-    { "op": "cond_select", "bit": 197, "a": 198, "b": 42 },
-    { "op": "cond_select", "bit": 199, "a": 42, "b": 30 },
-    { "op": "cond_select", "bit": 200, "a": 50, "b": 42 },
-    { "op": "declare_pub_input", "var": 201 },
-    { "op": "declare_pub_input", "var": 200 },
-    { "op": "declare_pub_input", "var": 200 },
-    { "op": "cond_select", "bit": 200, "a": 51, "b": 42 },
-    { "op": "declare_pub_input", "var": 202 },
-    { "op": "pi_skip", "guard": 200, "count": 4 },
-    { "op": "cond_select", "bit": 200, "a": 54, "b": 42 },
-    { "op": "declare_pub_input", "var": 203 },
-    { "op": "declare_pub_input", "var": 200 },
-    { "op": "declare_pub_input", "var": 200 },
-    { "op": "cond_select", "bit": 200, "a": 55, "b": 42 },
-    { "op": "declare_pub_input", "var": 204 },
-    { "op": "cond_select", "bit": 200, "a": 28, "b": 42 },
-    { "op": "declare_pub_input", "var": 205 },
-    { "op": "pi_skip", "guard": 200, "count": 5 },
-    { "op": "cond_select", "bit": 200, "a": 59, "b": 42 },
-    { "op": "declare_pub_input", "var": 206 },
-    { "op": "declare_pub_input", "var": 200 },
-    { "op": "declare_pub_input", "var": 200 },
-    { "op": "cond_select", "bit": 200, "a": 55, "b": 42 },
-    { "op": "declare_pub_input", "var": 207 },
-    { "op": "cond_select", "bit": 200, "a": 29, "b": 42 },
-    { "op": "declare_pub_input", "var": 208 },
-    { "op": "pi_skip", "guard": 200, "count": 5 },
-    { "op": "cond_select", "bit": 200, "a": 63, "b": 42 },
-    { "op": "declare_pub_input", "var": 209 },
-    { "op": "pi_skip", "guard": 200, "count": 1 },
-    { "op": "cond_select", "bit": 200, "a": 65, "b": 42 },
-    { "op": "declare_pub_input", "var": 210 },
-    { "op": "pi_skip", "guard": 200, "count": 1 }
-  ]
-}