{
 "mainCode": "{\n    {\n    }\n    {\n    }\n}\n",
 "signalName2Idx": {
  "one": 0,
  "main.a": 3,
  "main.b": 2,
  "main.out": 1,
  "main.n2ba.in": 3,
  "main.n2ba.out[0]": 4,
  "main.n2ba.out[1]": 5,
  "main.n2ba.out[2]": 6,
  "main.n2ba.out[3]": 7,
  "main.n2ba.out[4]": 8,
  "main.n2ba.out[5]": 9,
  "main.n2ba.out[6]": 10,
  "main.n2ba.out[7]": 11,
  "main.n2ba.out[8]": 12,
  "main.n2ba.out[9]": 13,
  "main.n2ba.out[10]": 14,
  "main.n2ba.out[11]": 15,
  "main.n2ba.out[12]": 16,
  "main.n2ba.out[13]": 17,
  "main.n2ba.out[14]": 18,
  "main.n2ba.out[15]": 19,
  "main.n2ba.out[16]": 20,
  "main.n2ba.out[17]": 21,
  "main.n2ba.out[18]": 22,
  "main.n2ba.out[19]": 23,
  "main.n2ba.out[20]": 24,
  "main.n2ba.out[21]": 25,
  "main.n2ba.out[22]": 26,
  "main.n2ba.out[23]": 27,
  "main.n2ba.out[24]": 28,
  "main.n2ba.out[25]": 29,
  "main.n2ba.out[26]": 30,
  "main.n2ba.out[27]": 31,
  "main.n2ba.out[28]": 32,
  "main.n2ba.out[29]": 33,
  "main.n2ba.out[30]": 34,
  "main.n2ba.out[31]": 35,
  "main.n2bb.in": 2,
  "main.n2bb.out[0]": 36,
  "main.n2bb.out[1]": 37,
  "main.n2bb.out[2]": 38,
  "main.n2bb.out[3]": 39,
  "main.n2bb.out[4]": 40,
  "main.n2bb.out[5]": 41,
  "main.n2bb.out[6]": 42,
  "main.n2bb.out[7]": 43,
  "main.n2bb.out[8]": 44,
  "main.n2bb.out[9]": 45,
  "main.n2bb.out[10]": 46,
  "main.n2bb.out[11]": 47,
  "main.n2bb.out[12]": 48,
  "main.n2bb.out[13]": 49,
  "main.n2bb.out[14]": 50,
  "main.n2bb.out[15]": 51,
  "main.n2bb.out[16]": 52,
  "main.n2bb.out[17]": 53,
  "main.n2bb.out[18]": 54,
  "main.n2bb.out[19]": 55,
  "main.n2bb.out[20]": 56,
  "main.n2bb.out[21]": 57,
  "main.n2bb.out[22]": 58,
  "main.n2bb.out[23]": 59,
  "main.n2bb.out[24]": 60,
  "main.n2bb.out[25]": 61,
  "main.n2bb.out[26]": 62,
  "main.n2bb.out[27]": 63,
  "main.n2bb.out[28]": 64,
  "main.n2bb.out[29]": 65,
  "main.n2bb.out[30]": 66,
  "main.n2bb.out[31]": 67,
  "main.sum.in[0][0]": 4,
  "main.sum.in[0][1]": 5,
  "main.sum.in[0][2]": 6,
  "main.sum.in[0][3]": 7,
  "main.sum.in[0][4]": 8,
  "main.sum.in[0][5]": 9,
  "main.sum.in[0][6]": 10,
  "main.sum.in[0][7]": 11,
  "main.sum.in[0][8]": 12,
  "main.sum.in[0][9]": 13,
  "main.sum.in[0][10]": 14,
  "main.sum.in[0][11]": 15,
  "main.sum.in[0][12]": 16,
  "main.sum.in[0][13]": 17,
  "main.sum.in[0][14]": 18,
  "main.sum.in[0][15]": 19,
  "main.sum.in[0][16]": 20,
  "main.sum.in[0][17]": 21,
  "main.sum.in[0][18]": 22,
  "main.sum.in[0][19]": 23,
  "main.sum.in[0][20]": 24,
  "main.sum.in[0][21]": 25,
  "main.sum.in[0][22]": 26,
  "main.sum.in[0][23]": 27,
  "main.sum.in[0][24]": 28,
  "main.sum.in[0][25]": 29,
  "main.sum.in[0][26]": 30,
  "main.sum.in[0][27]": 31,
  "main.sum.in[0][28]": 32,
  "main.sum.in[0][29]": 33,
  "main.sum.in[0][30]": 34,
  "main.sum.in[0][31]": 35,
  "main.sum.in[1][0]": 36,
  "main.sum.in[1][1]": 37,
  "main.sum.in[1][2]": 38,
  "main.sum.in[1][3]": 39,
  "main.sum.in[1][4]": 40,
  "main.sum.in[1][5]": 41,
  "main.sum.in[1][6]": 42,
  "main.sum.in[1][7]": 43,
  "main.sum.in[1][8]": 44,
  "main.sum.in[1][9]": 45,
  "main.sum.in[1][10]": 46,
  "main.sum.in[1][11]": 47,
  "main.sum.in[1][12]": 48,
  "main.sum.in[1][13]": 49,
  "main.sum.in[1][14]": 50,
  "main.sum.in[1][15]": 51,
  "main.sum.in[1][16]": 52,
  "main.sum.in[1][17]": 53,
  "main.sum.in[1][18]": 54,
  "main.sum.in[1][19]": 55,
  "main.sum.in[1][20]": 56,
  "main.sum.in[1][21]": 57,
  "main.sum.in[1][22]": 58,
  "main.sum.in[1][23]": 59,
  "main.sum.in[1][24]": 60,
  "main.sum.in[1][25]": 61,
  "main.sum.in[1][26]": 62,
  "main.sum.in[1][27]": 63,
  "main.sum.in[1][28]": 64,
  "main.sum.in[1][29]": 65,
  "main.sum.in[1][30]": 66,
  "main.sum.in[1][31]": 67,
  "main.sum.out[0]": 68,
  "main.sum.out[1]": 69,
  "main.sum.out[2]": 70,
  "main.sum.out[3]": 71,
  "main.sum.out[4]": 72,
  "main.sum.out[5]": 73,
  "main.sum.out[6]": 74,
  "main.sum.out[7]": 75,
  "main.sum.out[8]": 76,
  "main.sum.out[9]": 77,
  "main.sum.out[10]": 78,
  "main.sum.out[11]": 79,
  "main.sum.out[12]": 80,
  "main.sum.out[13]": 81,
  "main.sum.out[14]": 82,
  "main.sum.out[15]": 83,
  "main.sum.out[16]": 84,
  "main.sum.out[17]": 85,
  "main.sum.out[18]": 86,
  "main.sum.out[19]": 87,
  "main.sum.out[20]": 88,
  "main.sum.out[21]": 89,
  "main.sum.out[22]": 90,
  "main.sum.out[23]": 91,
  "main.sum.out[24]": 92,
  "main.sum.out[25]": 93,
  "main.sum.out[26]": 94,
  "main.sum.out[27]": 95,
  "main.sum.out[28]": 96,
  "main.sum.out[29]": 97,
  "main.sum.out[30]": 98,
  "main.sum.out[31]": 99,
  "main.sum.out[32]": 100,
  "main.b2n.in[0]": 68,
  "main.b2n.in[1]": 69,
  "main.b2n.in[2]": 70,
  "main.b2n.in[3]": 71,
  "main.b2n.in[4]": 72,
  "main.b2n.in[5]": 73,
  "main.b2n.in[6]": 74,
  "main.b2n.in[7]": 75,
  "main.b2n.in[8]": 76,
  "main.b2n.in[9]": 77,
  "main.b2n.in[10]": 78,
  "main.b2n.in[11]": 79,
  "main.b2n.in[12]": 80,
  "main.b2n.in[13]": 81,
  "main.b2n.in[14]": 82,
  "main.b2n.in[15]": 83,
  "main.b2n.in[16]": 84,
  "main.b2n.in[17]": 85,
  "main.b2n.in[18]": 86,
  "main.b2n.in[19]": 87,
  "main.b2n.in[20]": 88,
  "main.b2n.in[21]": 89,
  "main.b2n.in[22]": 90,
  "main.b2n.in[23]": 91,
  "main.b2n.in[24]": 92,
  "main.b2n.in[25]": 93,
  "main.b2n.in[26]": 94,
  "main.b2n.in[27]": 95,
  "main.b2n.in[28]": 96,
  "main.b2n.in[29]": 97,
  "main.b2n.in[30]": 98,
  "main.b2n.in[31]": 99,
  "main.b2n.out": 1
 },
 "components": [
  {
   "name": "main",
   "params": {},
   "template": "A",
   "inputSignals": 2
  },
  {
   "name": "main.n2ba",
   "params": {
    "n": "32"
   },
   "template": "Num2Bits",
   "inputSignals": 1
  },
  {
   "name": "main.n2bb",
   "params": {
    "n": "32"
   },
   "template": "Num2Bits",
   "inputSignals": 1
  },
  {
   "name": "main.sum",
   "params": {
    "n": "32",
    "ops": "2"
   },
   "template": "BinSum",
   "inputSignals": 64
  },
  {
   "name": "main.b2n",
   "params": {
    "n": "32"
   },
   "template": "Bits2Num",
   "inputSignals": 32
  }
 ],
 "componentName2Idx": {
  "main": 0,
  "main.n2ba": 1,
  "main.n2bb": 2,
  "main.sum": 3,
  "main.b2n": 4
 },
 "signals": [
  {
   "names": [
    "one"
   ],
   "triggerComponents": []
  },
  {
   "names": [
    "main.out",
    "main.b2n.out"
   ],
   "triggerComponents": []
  },
  {
   "names": [
    "main.b",
    "main.n2bb.in"
   ],
   "triggerComponents": [
    0,
    2
   ]
  },
  {
   "names": [
    "main.a",
    "main.n2ba.in"
   ],
   "triggerComponents": [
    0,
    1
   ]
  },
  {
   "names": [
    "main.n2ba.out[0]",
    "main.sum.in[0][0]"
   ],
   "triggerComponents": [
    3
   ]
  },
  {
   "names": [
    "main.n2ba.out[1]",
    "main.sum.in[0][1]"
   ],
   "triggerComponents": [
    3
   ]
  },
  {
   "names": [
    "main.n2ba.out[2]",
    "main.sum.in[0][2]"
   ],
   "triggerComponents": [
    3
   ]
  },
  {
   "names": [
    "main.n2ba.out[3]",
    "main.sum.in[0][3]"
   ],
   "triggerComponents": [
    3
   ]
  },
  {
   "names": [
    "main.n2ba.out[4]",
    "main.sum.in[0][4]"
   ],
   "triggerComponents": [
    3
   ]
  },
  {
   "names": [
    "main.n2ba.out[5]",
    "main.sum.in[0][5]"
   ],
   "triggerComponents": [
    3
   ]
  },
  {
   "names": [
    "main.n2ba.out[6]",
    "main.sum.in[0][6]"
   ],
   "triggerComponents": [
    3
   ]
  },
  {
   "names": [
    "main.n2ba.out[7]",
    "main.sum.in[0][7]"
   ],
   "triggerComponents": [
    3
   ]
  },
  {
   "names": [
    "main.n2ba.out[8]",
    "main.sum.in[0][8]"
   ],
   "triggerComponents": [
    3
   ]
  },
  {
   "names": [
    "main.n2ba.out[9]",
    "main.sum.in[0][9]"
   ],
   "triggerComponents": [
    3
   ]
  },
  {
   "names": [
    "main.n2ba.out[10]",
    "main.sum.in[0][10]"
   ],
   "triggerComponents": [
    3
   ]
  },
  {
   "names": [
    "main.n2ba.out[11]",
    "main.sum.in[0][11]"
   ],
   "triggerComponents": [
    3
   ]
  },
  {
   "names": [
    "main.n2ba.out[12]",
    "main.sum.in[0][12]"
   ],
   "triggerComponents": [
    3
   ]
  },
  {
   "names": [
    "main.n2ba.out[13]",
    "main.sum.in[0][13]"
   ],
   "triggerComponents": [
    3
   ]
  },
  {
   "names": [
    "main.n2ba.out[14]",
    "main.sum.in[0][14]"
   ],
   "triggerComponents": [
    3
   ]
  },
  {
   "names": [
    "main.n2ba.out[15]",
    "main.sum.in[0][15]"
   ],
   "triggerComponents": [
    3
   ]
  },
  {
   "names": [
    "main.n2ba.out[16]",
    "main.sum.in[0][16]"
   ],
   "triggerComponents": [
    3
   ]
  },
  {
   "names": [
    "main.n2ba.out[17]",
    "main.sum.in[0][17]"
   ],
   "triggerComponents": [
    3
   ]
  },
  {
   "names": [
    "main.n2ba.out[18]",
    "main.sum.in[0][18]"
   ],
   "triggerComponents": [
    3
   ]
  },
  {
   "names": [
    "main.n2ba.out[19]",
    "main.sum.in[0][19]"
   ],
   "triggerComponents": [
    3
   ]
  },
  {
   "names": [
    "main.n2ba.out[20]",
    "main.sum.in[0][20]"
   ],
   "triggerComponents": [
    3
   ]
  },
  {
   "names": [
    "main.n2ba.out[21]",
    "main.sum.in[0][21]"
   ],
   "triggerComponents": [
    3
   ]
  },
  {
   "names": [
    "main.n2ba.out[22]",
    "main.sum.in[0][22]"
   ],
   "triggerComponents": [
    3
   ]
  },
  {
   "names": [
    "main.n2ba.out[23]",
    "main.sum.in[0][23]"
   ],
   "triggerComponents": [
    3
   ]
  },
  {
   "names": [
    "main.n2ba.out[24]",
    "main.sum.in[0][24]"
   ],
   "triggerComponents": [
    3
   ]
  },
  {
   "names": [
    "main.n2ba.out[25]",
    "main.sum.in[0][25]"
   ],
   "triggerComponents": [
    3
   ]
  },
  {
   "names": [
    "main.n2ba.out[26]",
    "main.sum.in[0][26]"
   ],
   "triggerComponents": [
    3
   ]
  },
  {
   "names": [
    "main.n2ba.out[27]",
    "main.sum.in[0][27]"
   ],
   "triggerComponents": [
    3
   ]
  },
  {
   "names": [
    "main.n2ba.out[28]",
    "main.sum.in[0][28]"
   ],
   "triggerComponents": [
    3
   ]
  },
  {
   "names": [
    "main.n2ba.out[29]",
    "main.sum.in[0][29]"
   ],
   "triggerComponents": [
    3
   ]
  },
  {
   "names": [
    "main.n2ba.out[30]",
    "main.sum.in[0][30]"
   ],
   "triggerComponents": [
    3
   ]
  },
  {
   "names": [
    "main.n2ba.out[31]",
    "main.sum.in[0][31]"
   ],
   "triggerComponents": [
    3
   ]
  },
  {
   "names": [
    "main.n2bb.out[0]",
    "main.sum.in[1][0]"
   ],
   "triggerComponents": [
    3
   ]
  },
  {
   "names": [
    "main.n2bb.out[1]",
    "main.sum.in[1][1]"
   ],
   "triggerComponents": [
    3
   ]
  },
  {
   "names": [
    "main.n2bb.out[2]",
    "main.sum.in[1][2]"
   ],
   "triggerComponents": [
    3
   ]
  },
  {
   "names": [
    "main.n2bb.out[3]",
    "main.sum.in[1][3]"
   ],
   "triggerComponents": [
    3
   ]
  },
  {
   "names": [
    "main.n2bb.out[4]",
    "main.sum.in[1][4]"
   ],
   "triggerComponents": [
    3
   ]
  },
  {
   "names": [
    "main.n2bb.out[5]",
    "main.sum.in[1][5]"
   ],
   "triggerComponents": [
    3
   ]
  },
  {
   "names": [
    "main.n2bb.out[6]",
    "main.sum.in[1][6]"
   ],
   "triggerComponents": [
    3
   ]
  },
  {
   "names": [
    "main.n2bb.out[7]",
    "main.sum.in[1][7]"
   ],
   "triggerComponents": [
    3
   ]
  },
  {
   "names": [
    "main.n2bb.out[8]",
    "main.sum.in[1][8]"
   ],
   "triggerComponents": [
    3
   ]
  },
  {
   "names": [
    "main.n2bb.out[9]",
    "main.sum.in[1][9]"
   ],
   "triggerComponents": [
    3
   ]
  },
  {
   "names": [
    "main.n2bb.out[10]",
    "main.sum.in[1][10]"
   ],
   "triggerComponents": [
    3
   ]
  },
  {
   "names": [
    "main.n2bb.out[11]",
    "main.sum.in[1][11]"
   ],
   "triggerComponents": [
    3
   ]
  },
  {
   "names": [
    "main.n2bb.out[12]",
    "main.sum.in[1][12]"
   ],
   "triggerComponents": [
    3
   ]
  },
  {
   "names": [
    "main.n2bb.out[13]",
    "main.sum.in[1][13]"
   ],
   "triggerComponents": [
    3
   ]
  },
  {
   "names": [
    "main.n2bb.out[14]",
    "main.sum.in[1][14]"
   ],
   "triggerComponents": [
    3
   ]
  },
  {
   "names": [
    "main.n2bb.out[15]",
    "main.sum.in[1][15]"
   ],
   "triggerComponents": [
    3
   ]
  },
  {
   "names": [
    "main.n2bb.out[16]",
    "main.sum.in[1][16]"
   ],
   "triggerComponents": [
    3
   ]
  },
  {
   "names": [
    "main.n2bb.out[17]",
    "main.sum.in[1][17]"
   ],
   "triggerComponents": [
    3
   ]
  },
  {
   "names": [
    "main.n2bb.out[18]",
    "main.sum.in[1][18]"
   ],
   "triggerComponents": [
    3
   ]
  },
  {
   "names": [
    "main.n2bb.out[19]",
    "main.sum.in[1][19]"
   ],
   "triggerComponents": [
    3
   ]
  },
  {
   "names": [
    "main.n2bb.out[20]",
    "main.sum.in[1][20]"
   ],
   "triggerComponents": [
    3
   ]
  },
  {
   "names": [
    "main.n2bb.out[21]",
    "main.sum.in[1][21]"
   ],
   "triggerComponents": [
    3
   ]
  },
  {
   "names": [
    "main.n2bb.out[22]",
    "main.sum.in[1][22]"
   ],
   "triggerComponents": [
    3
   ]
  },
  {
   "names": [
    "main.n2bb.out[23]",
    "main.sum.in[1][23]"
   ],
   "triggerComponents": [
    3
   ]
  },
  {
   "names": [
    "main.n2bb.out[24]",
    "main.sum.in[1][24]"
   ],
   "triggerComponents": [
    3
   ]
  },
  {
   "names": [
    "main.n2bb.out[25]",
    "main.sum.in[1][25]"
   ],
   "triggerComponents": [
    3
   ]
  },
  {
   "names": [
    "main.n2bb.out[26]",
    "main.sum.in[1][26]"
   ],
   "triggerComponents": [
    3
   ]
  },
  {
   "names": [
    "main.n2bb.out[27]",
    "main.sum.in[1][27]"
   ],
   "triggerComponents": [
    3
   ]
  },
  {
   "names": [
    "main.n2bb.out[28]",
    "main.sum.in[1][28]"
   ],
   "triggerComponents": [
    3
   ]
  },
  {
   "names": [
    "main.n2bb.out[29]",
    "main.sum.in[1][29]"
   ],
   "triggerComponents": [
    3
   ]
  },
  {
   "names": [
    "main.n2bb.out[30]",
    "main.sum.in[1][30]"
   ],
   "triggerComponents": [
    3
   ]
  },
  {
   "names": [
    "main.n2bb.out[31]",
    "main.sum.in[1][31]"
   ],
   "triggerComponents": [
    3
   ]
  },
  {
   "names": [
    "main.sum.out[0]",
    "main.b2n.in[0]"
   ],
   "triggerComponents": [
    4
   ]
  },
  {
   "names": [
    "main.sum.out[1]",
    "main.b2n.in[1]"
   ],
   "triggerComponents": [
    4
   ]
  },
  {
   "names": [
    "main.sum.out[2]",
    "main.b2n.in[2]"
   ],
   "triggerComponents": [
    4
   ]
  },
  {
   "names": [
    "main.sum.out[3]",
    "main.b2n.in[3]"
   ],
   "triggerComponents": [
    4
   ]
  },
  {
   "names": [
    "main.sum.out[4]",
    "main.b2n.in[4]"
   ],
   "triggerComponents": [
    4
   ]
  },
  {
   "names": [
    "main.sum.out[5]",
    "main.b2n.in[5]"
   ],
   "triggerComponents": [
    4
   ]
  },
  {
   "names": [
    "main.sum.out[6]",
    "main.b2n.in[6]"
   ],
   "triggerComponents": [
    4
   ]
  },
  {
   "names": [
    "main.sum.out[7]",
    "main.b2n.in[7]"
   ],
   "triggerComponents": [
    4
   ]
  },
  {
   "names": [
    "main.sum.out[8]",
    "main.b2n.in[8]"
   ],
   "triggerComponents": [
    4
   ]
  },
  {
   "names": [
    "main.sum.out[9]",
    "main.b2n.in[9]"
   ],
   "triggerComponents": [
    4
   ]
  },
  {
   "names": [
    "main.sum.out[10]",
    "main.b2n.in[10]"
   ],
   "triggerComponents": [
    4
   ]
  },
  {
   "names": [
    "main.sum.out[11]",
    "main.b2n.in[11]"
   ],
   "triggerComponents": [
    4
   ]
  },
  {
   "names": [
    "main.sum.out[12]",
    "main.b2n.in[12]"
   ],
   "triggerComponents": [
    4
   ]
  },
  {
   "names": [
    "main.sum.out[13]",
    "main.b2n.in[13]"
   ],
   "triggerComponents": [
    4
   ]
  },
  {
   "names": [
    "main.sum.out[14]",
    "main.b2n.in[14]"
   ],
   "triggerComponents": [
    4
   ]
  },
  {
   "names": [
    "main.sum.out[15]",
    "main.b2n.in[15]"
   ],
   "triggerComponents": [
    4
   ]
  },
  {
   "names": [
    "main.sum.out[16]",
    "main.b2n.in[16]"
   ],
   "triggerComponents": [
    4
   ]
  },
  {
   "names": [
    "main.sum.out[17]",
    "main.b2n.in[17]"
   ],
   "triggerComponents": [
    4
   ]
  },
  {
   "names": [
    "main.sum.out[18]",
    "main.b2n.in[18]"
   ],
   "triggerComponents": [
    4
   ]
  },
  {
   "names": [
    "main.sum.out[19]",
    "main.b2n.in[19]"
   ],
   "triggerComponents": [
    4
   ]
  },
  {
   "names": [
    "main.sum.out[20]",
    "main.b2n.in[20]"
   ],
   "triggerComponents": [
    4
   ]
  },
  {
   "names": [
    "main.sum.out[21]",
    "main.b2n.in[21]"
   ],
   "triggerComponents": [
    4
   ]
  },
  {
   "names": [
    "main.sum.out[22]",
    "main.b2n.in[22]"
   ],
   "triggerComponents": [
    4
   ]
  },
  {
   "names": [
    "main.sum.out[23]",
    "main.b2n.in[23]"
   ],
   "triggerComponents": [
    4
   ]
  },
  {
   "names": [
    "main.sum.out[24]",
    "main.b2n.in[24]"
   ],
   "triggerComponents": [
    4
   ]
  },
  {
   "names": [
    "main.sum.out[25]",
    "main.b2n.in[25]"
   ],
   "triggerComponents": [
    4
   ]
  },
  {
   "names": [
    "main.sum.out[26]",
    "main.b2n.in[26]"
   ],
   "triggerComponents": [
    4
   ]
  },
  {
   "names": [
    "main.sum.out[27]",
    "main.b2n.in[27]"
   ],
   "triggerComponents": [
    4
   ]
  },
  {
   "names": [
    "main.sum.out[28]",
    "main.b2n.in[28]"
   ],
   "triggerComponents": [
    4
   ]
  },
  {
   "names": [
    "main.sum.out[29]",
    "main.b2n.in[29]"
   ],
   "triggerComponents": [
    4
   ]
  },
  {
   "names": [
    "main.sum.out[30]",
    "main.b2n.in[30]"
   ],
   "triggerComponents": [
    4
   ]
  },
  {
   "names": [
    "main.sum.out[31]",
    "main.b2n.in[31]"
   ],
   "triggerComponents": [
    4
   ]
  },
  {
   "names": [
    "main.sum.out[32]"
   ],
   "triggerComponents": []
  }
 ],
 "constrains": [
  [
   {
    "4": "1"
   },
   {
    "4": "1"
   },
   {}
  ],
  [
   {
    "5": "1"
   },
   {
    "5": "1"
   },
   {}
  ],
  [
   {
    "6": "1"
   },
   {
    "6": "1"
   },
   {}
  ],
  [
   {
    "7": "1"
   },
   {
    "7": "1"
   },
   {}
  ],
  [
   {
    "8": "1"
   },
   {
    "8": "1"
   },
   {}
  ],
  [
   {
    "9": "1"
   },
   {
    "9": "1"
   },
   {}
  ],
  [
   {
    "10": "1"
   },
   {
    "10": "1"
   },
   {}
  ],
  [
   {
    "11": "1"
   },
   {
    "11": "1"
   },
   {}
  ],
  [
   {
    "12": "1"
   },
   {
    "12": "1"
   },
   {}
  ],
  [
   {
    "13": "1"
   },
   {
    "13": "1"
   },
   {}
  ],
  [
   {
    "14": "1"
   },
   {
    "14": "1"
   },
   {}
  ],
  [
   {
    "15": "1"
   },
   {
    "15": "1"
   },
   {}
  ],
  [
   {
    "16": "1"
   },
   {
    "16": "1"
   },
   {}
  ],
  [
   {
    "17": "1"
   },
   {
    "17": "1"
   },
   {}
  ],
  [
   {
    "18": "1"
   },
   {
    "18": "1"
   },
   {}
  ],
  [
   {
    "19": "1"
   },
   {
    "19": "1"
   },
   {}
  ],
  [
   {
    "20": "1"
   },
   {
    "20": "1"
   },
   {}
  ],
  [
   {
    "21": "1"
   },
   {
    "21": "1"
   },
   {}
  ],
  [
   {
    "22": "1"
   },
   {
    "22": "1"
   },
   {}
  ],
  [
   {
    "23": "1"
   },
   {
    "23": "1"
   },
   {}
  ],
  [
   {
    "24": "1"
   },
   {
    "24": "1"
   },
   {}
  ],
  [
   {
    "25": "1"
   },
   {
    "25": "1"
   },
   {}
  ],
  [
   {
    "26": "1"
   },
   {
    "26": "1"
   },
   {}
  ],
  [
   {
    "27": "1"
   },
   {
    "27": "1"
   },
   {}
  ],
  [
   {
    "28": "1"
   },
   {
    "28": "1"
   },
   {}
  ],
  [
   {
    "29": "1"
   },
   {
    "29": "1"
   },
   {}
  ],
  [
   {
    "30": "1"
   },
   {
    "30": "1"
   },
   {}
  ],
  [
   {
    "31": "1"
   },
   {
    "31": "1"
   },
   {}
  ],
  [
   {
    "32": "1"
   },
   {
    "32": "1"
   },
   {}
  ],
  [
   {
    "33": "1"
   },
   {
    "33": "1"
   },
   {}
  ],
  [
   {
    "34": "1"
   },
   {
    "34": "1"
   },
   {}
  ],
  [
   {
    "35": "1"
   },
   {
    "35": "1"
   },
   {}
  ],
  [
   {},
   {},
   {
    "3": "1",
    "4": "21888242871839275222246405745257275088548364400416034343698204186575808495616",
    "5": "21888242871839275222246405745257275088548364400416034343698204186575808495615",
    "6": "21888242871839275222246405745257275088548364400416034343698204186575808495613",
    "7": "21888242871839275222246405745257275088548364400416034343698204186575808495609",
    "8": "21888242871839275222246405745257275088548364400416034343698204186575808495601",
    "9": "21888242871839275222246405745257275088548364400416034343698204186575808495585",
    "10": "21888242871839275222246405745257275088548364400416034343698204186575808495553",
    "11": "21888242871839275222246405745257275088548364400416034343698204186575808495489",
    "12": "21888242871839275222246405745257275088548364400416034343698204186575808495361",
    "13": "21888242871839275222246405745257275088548364400416034343698204186575808495105",
    "14": "21888242871839275222246405745257275088548364400416034343698204186575808494593",
    "15": "21888242871839275222246405745257275088548364400416034343698204186575808493569",
    "16": "21888242871839275222246405745257275088548364400416034343698204186575808491521",
    "17": "21888242871839275222246405745257275088548364400416034343698204186575808487425",
    "18": "21888242871839275222246405745257275088548364400416034343698204186575808479233",
    "19": "21888242871839275222246405745257275088548364400416034343698204186575808462849",
    "20": "21888242871839275222246405745257275088548364400416034343698204186575808430081",
    "21": "21888242871839275222246405745257275088548364400416034343698204186575808364545",
    "22": "21888242871839275222246405745257275088548364400416034343698204186575808233473",
    "23": "21888242871839275222246405745257275088548364400416034343698204186575807971329",
    "24": "21888242871839275222246405745257275088548364400416034343698204186575807447041",
    "25": "21888242871839275222246405745257275088548364400416034343698204186575806398465",
    "26": "21888242871839275222246405745257275088548364400416034343698204186575804301313",
    "27": "21888242871839275222246405745257275088548364400416034343698204186575800107009",
    "28": "21888242871839275222246405745257275088548364400416034343698204186575791718401",
    "29": "21888242871839275222246405745257275088548364400416034343698204186575774941185",
    "30": "21888242871839275222246405745257275088548364400416034343698204186575741386753",
    "31": "21888242871839275222246405745257275088548364400416034343698204186575674277889",
    "32": "21888242871839275222246405745257275088548364400416034343698204186575540060161",
    "33": "21888242871839275222246405745257275088548364400416034343698204186575271624705",
    "34": "21888242871839275222246405745257275088548364400416034343698204186574734753793",
    "35": "21888242871839275222246405745257275088548364400416034343698204186573661011969"
   }
  ],
  [
   {
    "36": "1"
   },
   {
    "36": "1"
   },
   {}
  ],
  [
   {
    "37": "1"
   },
   {
    "37": "1"
   },
   {}
  ],
  [
   {
    "38": "1"
   },
   {
    "38": "1"
   },
   {}
  ],
  [
   {
    "39": "1"
   },
   {
    "39": "1"
   },
   {}
  ],
  [
   {
    "40": "1"
   },
   {
    "40": "1"
   },
   {}
  ],
  [
   {
    "41": "1"
   },
   {
    "41": "1"
   },
   {}
  ],
  [
   {
    "42": "1"
   },
   {
    "42": "1"
   },
   {}
  ],
  [
   {
    "43": "1"
   },
   {
    "43": "1"
   },
   {}
  ],
  [
   {
    "44": "1"
   },
   {
    "44": "1"
   },
   {}
  ],
  [
   {
    "45": "1"
   },
   {
    "45": "1"
   },
   {}
  ],
  [
   {
    "46": "1"
   },
   {
    "46": "1"
   },
   {}
  ],
  [
   {
    "47": "1"
   },
   {
    "47": "1"
   },
   {}
  ],
  [
   {
    "48": "1"
   },
   {
    "48": "1"
   },
   {}
  ],
  [
   {
    "49": "1"
   },
   {
    "49": "1"
   },
   {}
  ],
  [
   {
    "50": "1"
   },
   {
    "50": "1"
   },
   {}
  ],
  [
   {
    "51": "1"
   },
   {
    "51": "1"
   },
   {}
  ],
  [
   {
    "52": "1"
   },
   {
    "52": "1"
   },
   {}
  ],
  [
   {
    "53": "1"
   },
   {
    "53": "1"
   },
   {}
  ],
  [
   {
    "54": "1"
   },
   {
    "54": "1"
   },
   {}
  ],
  [
   {
    "55": "1"
   },
   {
    "55": "1"
   },
   {}
  ],
  [
   {
    "56": "1"
   },
   {
    "56": "1"
   },
   {}
  ],
  [
   {
    "57": "1"
   },
   {
    "57": "1"
   },
   {}
  ],
  [
   {
    "58": "1"
   },
   {
    "58": "1"
   },
   {}
  ],
  [
   {
    "59": "1"
   },
   {
    "59": "1"
   },
   {}
  ],
  [
   {
    "60": "1"
   },
   {
    "60": "1"
   },
   {}
  ],
  [
   {
    "61": "1"
   },
   {
    "61": "1"
   },
   {}
  ],
  [
   {
    "62": "1"
   },
   {
    "62": "1"
   },
   {}
  ],
  [
   {
    "63": "1"
   },
   {
    "63": "1"
   },
   {}
  ],
  [
   {
    "64": "1"
   },
   {
    "64": "1"
   },
   {}
  ],
  [
   {
    "65": "1"
   },
   {
    "65": "1"
   },
   {}
  ],
  [
   {
    "66": "1"
   },
   {
    "66": "1"
   },
   {}
  ],
  [
   {
    "67": "1"
   },
   {
    "67": "1"
   },
   {}
  ],
  [
   {},
   {},
   {
    "2": "1",
    "36": "21888242871839275222246405745257275088548364400416034343698204186575808495616",
    "37": "21888242871839275222246405745257275088548364400416034343698204186575808495615",
    "38": "21888242871839275222246405745257275088548364400416034343698204186575808495613",
    "39": "21888242871839275222246405745257275088548364400416034343698204186575808495609",
    "40": "21888242871839275222246405745257275088548364400416034343698204186575808495601",
    "41": "21888242871839275222246405745257275088548364400416034343698204186575808495585",
    "42": "21888242871839275222246405745257275088548364400416034343698204186575808495553",
    "43": "21888242871839275222246405745257275088548364400416034343698204186575808495489",
    "44": "21888242871839275222246405745257275088548364400416034343698204186575808495361",
    "45": "21888242871839275222246405745257275088548364400416034343698204186575808495105",
    "46": "21888242871839275222246405745257275088548364400416034343698204186575808494593",
    "47": "21888242871839275222246405745257275088548364400416034343698204186575808493569",
    "48": "21888242871839275222246405745257275088548364400416034343698204186575808491521",
    "49": "21888242871839275222246405745257275088548364400416034343698204186575808487425",
    "50": "21888242871839275222246405745257275088548364400416034343698204186575808479233",
    "51": "21888242871839275222246405745257275088548364400416034343698204186575808462849",
    "52": "21888242871839275222246405745257275088548364400416034343698204186575808430081",
    "53": "21888242871839275222246405745257275088548364400416034343698204186575808364545",
    "54": "21888242871839275222246405745257275088548364400416034343698204186575808233473",
    "55": "21888242871839275222246405745257275088548364400416034343698204186575807971329",
    "56": "21888242871839275222246405745257275088548364400416034343698204186575807447041",
    "57": "21888242871839275222246405745257275088548364400416034343698204186575806398465",
    "58": "21888242871839275222246405745257275088548364400416034343698204186575804301313",
    "59": "21888242871839275222246405745257275088548364400416034343698204186575800107009",
    "60": "21888242871839275222246405745257275088548364400416034343698204186575791718401",
    "61": "21888242871839275222246405745257275088548364400416034343698204186575774941185",
    "62": "21888242871839275222246405745257275088548364400416034343698204186575741386753",
    "63": "21888242871839275222246405745257275088548364400416034343698204186575674277889",
    "64": "21888242871839275222246405745257275088548364400416034343698204186575540060161",
    "65": "21888242871839275222246405745257275088548364400416034343698204186575271624705",
    "66": "21888242871839275222246405745257275088548364400416034343698204186574734753793",
    "67": "21888242871839275222246405745257275088548364400416034343698204186573661011969"
   }
  ],
  [
   {
    "68": "1"
   },
   {
    "68": "1"
   },
   {}
  ],
  [
   {
    "69": "1"
   },
   {
    "69": "1"
   },
   {}
  ],
  [
   {
    "70": "1"
   },
   {
    "70": "1"
   },
   {}
  ],
  [
   {
    "71": "1"
   },
   {
    "71": "1"
   },
   {}
  ],
  [
   {
    "72": "1"
   },
   {
    "72": "1"
   },
   {}
  ],
  [
   {
    "73": "1"
   },
   {
    "73": "1"
   },
   {}
  ],
  [
   {
    "74": "1"
   },
   {
    "74": "1"
   },
   {}
  ],
  [
   {
    "75": "1"
   },
   {
    "75": "1"
   },
   {}
  ],
  [
   {
    "76": "1"
   },
   {
    "76": "1"
   },
   {}
  ],
  [
   {
    "77": "1"
   },
   {
    "77": "1"
   },
   {}
  ],
  [
   {
    "78": "1"
   },
   {
    "78": "1"
   },
   {}
  ],
  [
   {
    "79": "1"
   },
   {
    "79": "1"
   },
   {}
  ],
  [
   {
    "80": "1"
   },
   {
    "80": "1"
   },
   {}
  ],
  [
   {
    "81": "1"
   },
   {
    "81": "1"
   },
   {}
  ],
  [
   {
    "82": "1"
   },
   {
    "82": "1"
   },
   {}
  ],
  [
   {
    "83": "1"
   },
   {
    "83": "1"
   },
   {}
  ],
  [
   {
    "84": "1"
   },
   {
    "84": "1"
   },
   {}
  ],
  [
   {
    "85": "1"
   },
   {
    "85": "1"
   },
   {}
  ],
  [
   {
    "86": "1"
   },
   {
    "86": "1"
   },
   {}
  ],
  [
   {
    "87": "1"
   },
   {
    "87": "1"
   },
   {}
  ],
  [
   {
    "88": "1"
   },
   {
    "88": "1"
   },
   {}
  ],
  [
   {
    "89": "1"
   },
   {
    "89": "1"
   },
   {}
  ],
  [
   {
    "90": "1"
   },
   {
    "90": "1"
   },
   {}
  ],
  [
   {
    "91": "1"
   },
   {
    "91": "1"
   },
   {}
  ],
  [
   {
    "92": "1"
   },
   {
    "92": "1"
   },
   {}
  ],
  [
   {
    "93": "1"
   },
   {
    "93": "1"
   },
   {}
  ],
  [
   {
    "94": "1"
   },
   {
    "94": "1"
   },
   {}
  ],
  [
   {
    "95": "1"
   },
   {
    "95": "1"
   },
   {}
  ],
  [
   {
    "96": "1"
   },
   {
    "96": "1"
   },
   {}
  ],
  [
   {
    "97": "1"
   },
   {
    "97": "1"
   },
   {}
  ],
  [
   {
    "98": "1"
   },
   {
    "98": "1"
   },
   {}
  ],
  [
   {
    "99": "1"
   },
   {
    "99": "1"
   },
   {}
  ],
  [
   {
    "100": "1"
   },
   {
    "100": "1"
   },
   {}
  ],
  [
   {},
   {},
   {
    "4": "21888242871839275222246405745257275088548364400416034343698204186575808495616",
    "5": "21888242871839275222246405745257275088548364400416034343698204186575808495615",
    "6": "21888242871839275222246405745257275088548364400416034343698204186575808495613",
    "7": "21888242871839275222246405745257275088548364400416034343698204186575808495609",
    "8": "21888242871839275222246405745257275088548364400416034343698204186575808495601",
    "9": "21888242871839275222246405745257275088548364400416034343698204186575808495585",
    "10": "21888242871839275222246405745257275088548364400416034343698204186575808495553",
    "11": "21888242871839275222246405745257275088548364400416034343698204186575808495489",
    "12": "21888242871839275222246405745257275088548364400416034343698204186575808495361",
    "13": "21888242871839275222246405745257275088548364400416034343698204186575808495105",
    "14": "21888242871839275222246405745257275088548364400416034343698204186575808494593",
    "15": "21888242871839275222246405745257275088548364400416034343698204186575808493569",
    "16": "21888242871839275222246405745257275088548364400416034343698204186575808491521",
    "17": "21888242871839275222246405745257275088548364400416034343698204186575808487425",
    "18": "21888242871839275222246405745257275088548364400416034343698204186575808479233",
    "19": "21888242871839275222246405745257275088548364400416034343698204186575808462849",
    "20": "21888242871839275222246405745257275088548364400416034343698204186575808430081",
    "21": "21888242871839275222246405745257275088548364400416034343698204186575808364545",
    "22": "21888242871839275222246405745257275088548364400416034343698204186575808233473",
    "23": "21888242871839275222246405745257275088548364400416034343698204186575807971329",
    "24": "21888242871839275222246405745257275088548364400416034343698204186575807447041",
    "25": "21888242871839275222246405745257275088548364400416034343698204186575806398465",
    "26": "21888242871839275222246405745257275088548364400416034343698204186575804301313",
    "27": "21888242871839275222246405745257275088548364400416034343698204186575800107009",
    "28": "21888242871839275222246405745257275088548364400416034343698204186575791718401",
    "29": "21888242871839275222246405745257275088548364400416034343698204186575774941185",
    "30": "21888242871839275222246405745257275088548364400416034343698204186575741386753",
    "31": "21888242871839275222246405745257275088548364400416034343698204186575674277889",
    "32": "21888242871839275222246405745257275088548364400416034343698204186575540060161",
    "33": "21888242871839275222246405745257275088548364400416034343698204186575271624705",
    "34": "21888242871839275222246405745257275088548364400416034343698204186574734753793",
    "35": "21888242871839275222246405745257275088548364400416034343698204186573661011969",
    "36": "21888242871839275222246405745257275088548364400416034343698204186575808495616",
    "37": "21888242871839275222246405745257275088548364400416034343698204186575808495615",
    "38": "21888242871839275222246405745257275088548364400416034343698204186575808495613",
    "39": "21888242871839275222246405745257275088548364400416034343698204186575808495609",
    "40": "21888242871839275222246405745257275088548364400416034343698204186575808495601",
    "41": "21888242871839275222246405745257275088548364400416034343698204186575808495585",
    "42": "21888242871839275222246405745257275088548364400416034343698204186575808495553",
    "43": "21888242871839275222246405745257275088548364400416034343698204186575808495489",
    "44": "21888242871839275222246405745257275088548364400416034343698204186575808495361",
    "45": "21888242871839275222246405745257275088548364400416034343698204186575808495105",
    "46": "21888242871839275222246405745257275088548364400416034343698204186575808494593",
    "47": "21888242871839275222246405745257275088548364400416034343698204186575808493569",
    "48": "21888242871839275222246405745257275088548364400416034343698204186575808491521",
    "49": "21888242871839275222246405745257275088548364400416034343698204186575808487425",
    "50": "21888242871839275222246405745257275088548364400416034343698204186575808479233",
    "51": "21888242871839275222246405745257275088548364400416034343698204186575808462849",
    "52": "21888242871839275222246405745257275088548364400416034343698204186575808430081",
    "53": "21888242871839275222246405745257275088548364400416034343698204186575808364545",
    "54": "21888242871839275222246405745257275088548364400416034343698204186575808233473",
    "55": "21888242871839275222246405745257275088548364400416034343698204186575807971329",
    "56": "21888242871839275222246405745257275088548364400416034343698204186575807447041",
    "57": "21888242871839275222246405745257275088548364400416034343698204186575806398465",
    "58": "21888242871839275222246405745257275088548364400416034343698204186575804301313",
    "59": "21888242871839275222246405745257275088548364400416034343698204186575800107009",
    "60": "21888242871839275222246405745257275088548364400416034343698204186575791718401",
    "61": "21888242871839275222246405745257275088548364400416034343698204186575774941185",
    "62": "21888242871839275222246405745257275088548364400416034343698204186575741386753",
    "63": "21888242871839275222246405745257275088548364400416034343698204186575674277889",
    "64": "21888242871839275222246405745257275088548364400416034343698204186575540060161",
    "65": "21888242871839275222246405745257275088548364400416034343698204186575271624705",
    "66": "21888242871839275222246405745257275088548364400416034343698204186574734753793",
    "67": "21888242871839275222246405745257275088548364400416034343698204186573661011969",
    "68": "1",
    "69": "2",
    "70": "4",
    "71": "8",
    "72": "16",
    "73": "32",
    "74": "64",
    "75": "128",
    "76": "256",
    "77": "512",
    "78": "1024",
    "79": "2048",
    "80": "4096",
    "81": "8192",
    "82": "16384",
    "83": "32768",
    "84": "65536",
    "85": "131072",
    "86": "262144",
    "87": "524288",
    "88": "1048576",
    "89": "2097152",
    "90": "4194304",
    "91": "8388608",
    "92": "16777216",
    "93": "33554432",
    "94": "67108864",
    "95": "134217728",
    "96": "268435456",
    "97": "536870912",
    "98": "1073741824",
    "99": "2147483648",
    "100": "4294967296"
   }
  ],
  [
   {},
   {},
   {
    "1": "21888242871839275222246405745257275088548364400416034343698204186575808495616",
    "68": "1",
    "69": "2",
    "70": "4",
    "71": "8",
    "72": "16",
    "73": "32",
    "74": "64",
    "75": "128",
    "76": "256",
    "77": "512",
    "78": "1024",
    "79": "2048",
    "80": "4096",
    "81": "8192",
    "82": "16384",
    "83": "32768",
    "84": "65536",
    "85": "131072",
    "86": "262144",
    "87": "524288",
    "88": "1048576",
    "89": "2097152",
    "90": "4194304",
    "91": "8388608",
    "92": "16777216",
    "93": "33554432",
    "94": "67108864",
    "95": "134217728",
    "96": "268435456",
    "97": "536870912",
    "98": "1073741824",
    "99": "2147483648"
   }
  ]
 ],
 "templates": {
  "Num2Bits": "function(ctx) {\n    ctx.setVar(\"lc1\", [], \"0\");\n    for (ctx.setVar(\"i\", [], \"0\");bigInt(ctx.getVar(\"i\",[])).lt(bigInt(ctx.getVar(\"n\",[]))) ? 1 : 0;(ctx.setVar(\"i\", [], bigInt(ctx.getVar(\"i\",[])).add(bigInt(\"1\")).mod(__P__))).add(__P__).sub(bigInt(1)).mod(__P__))\n    {\n        ctx.setSignal(\"out\", [ctx.getVar(\"i\",[])], bigInt(bigInt(ctx.getVar(\"i\",[])).greater(bigInt(256)) ? 0 : bigInt(ctx.getSignal(\"in\", [])).shr(bigInt(ctx.getVar(\"i\",[]))).and(__MASK__)).and(bigInt(\"1\")).and(__MASK__));\n        ctx.assert(bigInt(ctx.getSignal(\"out\", [ctx.getVar(\"i\",[])])).mul(bigInt(bigInt(ctx.getSignal(\"out\", [ctx.getVar(\"i\",[])])).add(__P__).sub(bigInt(\"1\")).mod(__P__))).mod(__P__), \"0\");\n        ctx.setVar(\"lc1\", [], bigInt(ctx.getVar(\"lc1\",[])).add(bigInt(bigInt(ctx.getSignal(\"out\", [ctx.getVar(\"i\",[])])).mul(bigInt(bigInt(\"2\").modPow(bigInt(ctx.getVar(\"i\",[])), __P__))).mod(__P__))).mod(__P__));\n    }\n    ctx.assert(ctx.getVar(\"lc1\",[]), ctx.getSignal(\"in\", []));\n}\n",
  "Bits2Num": "function(ctx) {\n    ctx.setVar(\"lc1\", [], \"0\");\n    for (ctx.setVar(\"i\", [], \"0\");bigInt(ctx.getVar(\"i\",[])).lt(bigInt(ctx.getVar(\"n\",[]))) ? 1 : 0;(ctx.setVar(\"i\", [], bigInt(ctx.getVar(\"i\",[])).add(bigInt(\"1\")).mod(__P__))).add(__P__).sub(bigInt(1)).mod(__P__))\n    {\n        ctx.setVar(\"lc1\", [], bigInt(ctx.getVar(\"lc1\",[])).add(bigInt(bigInt(ctx.getSignal(\"in\", [ctx.getVar(\"i\",[])])).mul(bigInt(bigInt(\"2\").modPow(bigInt(ctx.getVar(\"i\",[])), __P__))).mod(__P__))).mod(__P__));\n    }\n    ctx.setSignal(\"out\", [], ctx.getVar(\"lc1\",[]));\n    ctx.assert(ctx.getSignal(\"out\", []), ctx.getVar(\"lc1\",[]));\n}\n",
  "BinSum": "function(ctx) {\n    ctx.setVar(\"nout\", [], ctx.callFunction(\"nbits\", [bigInt(bigInt(bigInt(\"2\").modPow(bigInt(ctx.getVar(\"n\",[])), __P__)).add(__P__).sub(bigInt(\"1\")).mod(__P__)).mul(bigInt(ctx.getVar(\"ops\",[]))).mod(__P__)]));\n    ctx.setVar(\"lin\", [], \"0\");\n    ctx.setVar(\"lout\", [], \"0\");\n    for (ctx.setVar(\"k\", [], \"0\");bigInt(ctx.getVar(\"k\",[])).lt(bigInt(ctx.getVar(\"n\",[]))) ? 1 : 0;(ctx.setVar(\"k\", [], bigInt(ctx.getVar(\"k\",[])).add(bigInt(\"1\")).mod(__P__))).add(__P__).sub(bigInt(1)).mod(__P__))\n    {\n        for (ctx.setVar(\"j\", [], \"0\");bigInt(ctx.getVar(\"j\",[])).lt(bigInt(ctx.getVar(\"ops\",[]))) ? 1 : 0;(ctx.setVar(\"j\", [], bigInt(ctx.getVar(\"j\",[])).add(bigInt(\"1\")).mod(__P__))).add(__P__).sub(bigInt(1)).mod(__P__))\n        {\n            ctx.setVar(\"lin\", [], bigInt(ctx.getVar(\"lin\",[])).add(bigInt(bigInt(ctx.getSignal(\"in\", [ctx.getVar(\"j\",[]),ctx.getVar(\"k\",[])])).mul(bigInt(bigInt(\"2\").modPow(bigInt(ctx.getVar(\"k\",[])), __P__))).mod(__P__))).mod(__P__));\n        }\n    }\n    for (ctx.setVar(\"k\", [], \"0\");bigInt(ctx.getVar(\"k\",[])).lt(bigInt(ctx.getVar(\"nout\",[]))) ? 1 : 0;(ctx.setVar(\"k\", [], bigInt(ctx.getVar(\"k\",[])).add(bigInt(\"1\")).mod(__P__))).add(__P__).sub(bigInt(1)).mod(__P__))\n    {\n        ctx.setSignal(\"out\", [ctx.getVar(\"k\",[])], bigInt(bigInt(ctx.getVar(\"k\",[])).greater(bigInt(256)) ? 0 : bigInt(ctx.getVar(\"lin\",[])).shr(bigInt(ctx.getVar(\"k\",[]))).and(__MASK__)).and(bigInt(\"1\")).and(__MASK__));\n        ctx.assert(bigInt(ctx.getSignal(\"out\", [ctx.getVar(\"k\",[])])).mul(bigInt(bigInt(ctx.getSignal(\"out\", [ctx.getVar(\"k\",[])])).add(__P__).sub(bigInt(\"1\")).mod(__P__))).mod(__P__), \"0\");\n        ctx.setVar(\"lout\", [], bigInt(ctx.getVar(\"lout\",[])).add(bigInt(bigInt(ctx.getSignal(\"out\", [ctx.getVar(\"k\",[])])).mul(bigInt(bigInt(\"2\").modPow(bigInt(ctx.getVar(\"k\",[])), __P__))).mod(__P__))).mod(__P__));\n    }\n    ctx.assert(ctx.getVar(\"lin\",[]), ctx.getVar(\"lout\",[]));\n}\n",
  "A": "function(ctx) {\n    ctx.setPin(\"n2ba\", [], \"in\", [], ctx.getSignal(\"a\", []));\n    ctx.assert(ctx.getPin(\"n2ba\", [], \"in\", []), ctx.getSignal(\"a\", []));\n    ctx.setPin(\"n2bb\", [], \"in\", [], ctx.getSignal(\"b\", []));\n    ctx.assert(ctx.getPin(\"n2bb\", [], \"in\", []), ctx.getSignal(\"b\", []));\n    for (ctx.setVar(\"i\", [], \"0\");bigInt(ctx.getVar(\"i\",[])).lt(bigInt(\"32\")) ? 1 : 0;(ctx.setVar(\"i\", [], bigInt(ctx.getVar(\"i\",[])).add(bigInt(\"1\")).mod(__P__))).add(__P__).sub(bigInt(1)).mod(__P__))\n    {\n        ctx.setPin(\"sum\", [], \"in\", [\"0\",ctx.getVar(\"i\",[])], ctx.getPin(\"n2ba\", [], \"out\", [ctx.getVar(\"i\",[])]));\n        ctx.assert(ctx.getPin(\"sum\", [], \"in\", [\"0\",ctx.getVar(\"i\",[])]), ctx.getPin(\"n2ba\", [], \"out\", [ctx.getVar(\"i\",[])]));\n        ctx.setPin(\"sum\", [], \"in\", [\"1\",ctx.getVar(\"i\",[])], ctx.getPin(\"n2bb\", [], \"out\", [ctx.getVar(\"i\",[])]));\n        ctx.assert(ctx.getPin(\"sum\", [], \"in\", [\"1\",ctx.getVar(\"i\",[])]), ctx.getPin(\"n2bb\", [], \"out\", [ctx.getVar(\"i\",[])]));\n        ctx.setPin(\"b2n\", [], \"in\", [ctx.getVar(\"i\",[])], ctx.getPin(\"sum\", [], \"out\", [ctx.getVar(\"i\",[])]));\n        ctx.assert(ctx.getPin(\"b2n\", [], \"in\", [ctx.getVar(\"i\",[])]), ctx.getPin(\"sum\", [], \"out\", [ctx.getVar(\"i\",[])]));\n    }\n    ctx.setSignal(\"out\", [], ctx.getPin(\"b2n\", [], \"out\", []));\n    ctx.assert(ctx.getSignal(\"out\", []), ctx.getPin(\"b2n\", [], \"out\", []));\n}\n"
 },
 "functions": {
  "nbits": {
   "params": [
    "a"
   ],
   "func": "function(ctx) {\n    ctx.setVar(\"n\", [], \"1\");\n    ctx.setVar(\"r\", [], \"0\");\n    while (bigInt(bigInt(ctx.getVar(\"n\",[])).add(__P__).sub(bigInt(\"1\")).mod(__P__)).lt(bigInt(ctx.getVar(\"a\",[]))) ? 1 : 0)\n    {\n        (ctx.setVar(\"r\", [], bigInt(ctx.getVar(\"r\",[])).add(bigInt(\"1\")).mod(__P__))).add(__P__).sub(bigInt(1)).mod(__P__);\n        ctx.setVar(\"n\", [], bigInt(ctx.getVar(\"n\",[])).mul(bigInt(\"2\")).mod(__P__));\n    }\n    return ctx.getVar(\"r\",[]);;\n}\n"
  }
 },
 "nPrvInputs": 1,
 "nPubInputs": 1,
 "nInputs": 2,
 "nOutputs": 1,
 "nVars": 101,
 "nConstants": 0,
 "nSignals": 101
}