You can not select more than 25 topics Topics must start with a letter or number, can include dashes ('-') and can be up to 35 characters long.
 
 

2371 lines
50 KiB

{
"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": []
}
],
"constraints": [
[
{
"4": "1"
},
{
"0": "21888242871839275222246405745257275088548364400416034343698204186575808495616",
"4": "1"
},
{}
],
[
{
"5": "1"
},
{
"0": "21888242871839275222246405745257275088548364400416034343698204186575808495616",
"5": "1"
},
{}
],
[
{
"6": "1"
},
{
"0": "21888242871839275222246405745257275088548364400416034343698204186575808495616",
"6": "1"
},
{}
],
[
{
"7": "1"
},
{
"0": "21888242871839275222246405745257275088548364400416034343698204186575808495616",
"7": "1"
},
{}
],
[
{
"8": "1"
},
{
"0": "21888242871839275222246405745257275088548364400416034343698204186575808495616",
"8": "1"
},
{}
],
[
{
"9": "1"
},
{
"0": "21888242871839275222246405745257275088548364400416034343698204186575808495616",
"9": "1"
},
{}
],
[
{
"10": "1"
},
{
"0": "21888242871839275222246405745257275088548364400416034343698204186575808495616",
"10": "1"
},
{}
],
[
{
"11": "1"
},
{
"0": "21888242871839275222246405745257275088548364400416034343698204186575808495616",
"11": "1"
},
{}
],
[
{
"12": "1"
},
{
"0": "21888242871839275222246405745257275088548364400416034343698204186575808495616",
"12": "1"
},
{}
],
[
{
"13": "1"
},
{
"0": "21888242871839275222246405745257275088548364400416034343698204186575808495616",
"13": "1"
},
{}
],
[
{
"14": "1"
},
{
"0": "21888242871839275222246405745257275088548364400416034343698204186575808495616",
"14": "1"
},
{}
],
[
{
"15": "1"
},
{
"0": "21888242871839275222246405745257275088548364400416034343698204186575808495616",
"15": "1"
},
{}
],
[
{
"16": "1"
},
{
"0": "21888242871839275222246405745257275088548364400416034343698204186575808495616",
"16": "1"
},
{}
],
[
{
"17": "1"
},
{
"0": "21888242871839275222246405745257275088548364400416034343698204186575808495616",
"17": "1"
},
{}
],
[
{
"18": "1"
},
{
"0": "21888242871839275222246405745257275088548364400416034343698204186575808495616",
"18": "1"
},
{}
],
[
{
"19": "1"
},
{
"0": "21888242871839275222246405745257275088548364400416034343698204186575808495616",
"19": "1"
},
{}
],
[
{
"20": "1"
},
{
"0": "21888242871839275222246405745257275088548364400416034343698204186575808495616",
"20": "1"
},
{}
],
[
{
"21": "1"
},
{
"0": "21888242871839275222246405745257275088548364400416034343698204186575808495616",
"21": "1"
},
{}
],
[
{
"22": "1"
},
{
"0": "21888242871839275222246405745257275088548364400416034343698204186575808495616",
"22": "1"
},
{}
],
[
{
"23": "1"
},
{
"0": "21888242871839275222246405745257275088548364400416034343698204186575808495616",
"23": "1"
},
{}
],
[
{
"24": "1"
},
{
"0": "21888242871839275222246405745257275088548364400416034343698204186575808495616",
"24": "1"
},
{}
],
[
{
"25": "1"
},
{
"0": "21888242871839275222246405745257275088548364400416034343698204186575808495616",
"25": "1"
},
{}
],
[
{
"26": "1"
},
{
"0": "21888242871839275222246405745257275088548364400416034343698204186575808495616",
"26": "1"
},
{}
],
[
{
"27": "1"
},
{
"0": "21888242871839275222246405745257275088548364400416034343698204186575808495616",
"27": "1"
},
{}
],
[
{
"28": "1"
},
{
"0": "21888242871839275222246405745257275088548364400416034343698204186575808495616",
"28": "1"
},
{}
],
[
{
"29": "1"
},
{
"0": "21888242871839275222246405745257275088548364400416034343698204186575808495616",
"29": "1"
},
{}
],
[
{
"30": "1"
},
{
"0": "21888242871839275222246405745257275088548364400416034343698204186575808495616",
"30": "1"
},
{}
],
[
{
"31": "1"
},
{
"0": "21888242871839275222246405745257275088548364400416034343698204186575808495616",
"31": "1"
},
{}
],
[
{
"32": "1"
},
{
"0": "21888242871839275222246405745257275088548364400416034343698204186575808495616",
"32": "1"
},
{}
],
[
{
"33": "1"
},
{
"0": "21888242871839275222246405745257275088548364400416034343698204186575808495616",
"33": "1"
},
{}
],
[
{
"34": "1"
},
{
"0": "21888242871839275222246405745257275088548364400416034343698204186575808495616",
"34": "1"
},
{}
],
[
{
"35": "1"
},
{
"0": "21888242871839275222246405745257275088548364400416034343698204186575808495616",
"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"
},
{
"0": "21888242871839275222246405745257275088548364400416034343698204186575808495616",
"36": "1"
},
{}
],
[
{
"37": "1"
},
{
"0": "21888242871839275222246405745257275088548364400416034343698204186575808495616",
"37": "1"
},
{}
],
[
{
"38": "1"
},
{
"0": "21888242871839275222246405745257275088548364400416034343698204186575808495616",
"38": "1"
},
{}
],
[
{
"39": "1"
},
{
"0": "21888242871839275222246405745257275088548364400416034343698204186575808495616",
"39": "1"
},
{}
],
[
{
"40": "1"
},
{
"0": "21888242871839275222246405745257275088548364400416034343698204186575808495616",
"40": "1"
},
{}
],
[
{
"41": "1"
},
{
"0": "21888242871839275222246405745257275088548364400416034343698204186575808495616",
"41": "1"
},
{}
],
[
{
"42": "1"
},
{
"0": "21888242871839275222246405745257275088548364400416034343698204186575808495616",
"42": "1"
},
{}
],
[
{
"43": "1"
},
{
"0": "21888242871839275222246405745257275088548364400416034343698204186575808495616",
"43": "1"
},
{}
],
[
{
"44": "1"
},
{
"0": "21888242871839275222246405745257275088548364400416034343698204186575808495616",
"44": "1"
},
{}
],
[
{
"45": "1"
},
{
"0": "21888242871839275222246405745257275088548364400416034343698204186575808495616",
"45": "1"
},
{}
],
[
{
"46": "1"
},
{
"0": "21888242871839275222246405745257275088548364400416034343698204186575808495616",
"46": "1"
},
{}
],
[
{
"47": "1"
},
{
"0": "21888242871839275222246405745257275088548364400416034343698204186575808495616",
"47": "1"
},
{}
],
[
{
"48": "1"
},
{
"0": "21888242871839275222246405745257275088548364400416034343698204186575808495616",
"48": "1"
},
{}
],
[
{
"49": "1"
},
{
"0": "21888242871839275222246405745257275088548364400416034343698204186575808495616",
"49": "1"
},
{}
],
[
{
"50": "1"
},
{
"0": "21888242871839275222246405745257275088548364400416034343698204186575808495616",
"50": "1"
},
{}
],
[
{
"51": "1"
},
{
"0": "21888242871839275222246405745257275088548364400416034343698204186575808495616",
"51": "1"
},
{}
],
[
{
"52": "1"
},
{
"0": "21888242871839275222246405745257275088548364400416034343698204186575808495616",
"52": "1"
},
{}
],
[
{
"53": "1"
},
{
"0": "21888242871839275222246405745257275088548364400416034343698204186575808495616",
"53": "1"
},
{}
],
[
{
"54": "1"
},
{
"0": "21888242871839275222246405745257275088548364400416034343698204186575808495616",
"54": "1"
},
{}
],
[
{
"55": "1"
},
{
"0": "21888242871839275222246405745257275088548364400416034343698204186575808495616",
"55": "1"
},
{}
],
[
{
"56": "1"
},
{
"0": "21888242871839275222246405745257275088548364400416034343698204186575808495616",
"56": "1"
},
{}
],
[
{
"57": "1"
},
{
"0": "21888242871839275222246405745257275088548364400416034343698204186575808495616",
"57": "1"
},
{}
],
[
{
"58": "1"
},
{
"0": "21888242871839275222246405745257275088548364400416034343698204186575808495616",
"58": "1"
},
{}
],
[
{
"59": "1"
},
{
"0": "21888242871839275222246405745257275088548364400416034343698204186575808495616",
"59": "1"
},
{}
],
[
{
"60": "1"
},
{
"0": "21888242871839275222246405745257275088548364400416034343698204186575808495616",
"60": "1"
},
{}
],
[
{
"61": "1"
},
{
"0": "21888242871839275222246405745257275088548364400416034343698204186575808495616",
"61": "1"
},
{}
],
[
{
"62": "1"
},
{
"0": "21888242871839275222246405745257275088548364400416034343698204186575808495616",
"62": "1"
},
{}
],
[
{
"63": "1"
},
{
"0": "21888242871839275222246405745257275088548364400416034343698204186575808495616",
"63": "1"
},
{}
],
[
{
"64": "1"
},
{
"0": "21888242871839275222246405745257275088548364400416034343698204186575808495616",
"64": "1"
},
{}
],
[
{
"65": "1"
},
{
"0": "21888242871839275222246405745257275088548364400416034343698204186575808495616",
"65": "1"
},
{}
],
[
{
"66": "1"
},
{
"0": "21888242871839275222246405745257275088548364400416034343698204186575808495616",
"66": "1"
},
{}
],
[
{
"67": "1"
},
{
"0": "21888242871839275222246405745257275088548364400416034343698204186575808495616",
"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"
},
{
"0": "21888242871839275222246405745257275088548364400416034343698204186575808495616",
"68": "1"
},
{}
],
[
{
"69": "1"
},
{
"0": "21888242871839275222246405745257275088548364400416034343698204186575808495616",
"69": "1"
},
{}
],
[
{
"70": "1"
},
{
"0": "21888242871839275222246405745257275088548364400416034343698204186575808495616",
"70": "1"
},
{}
],
[
{
"71": "1"
},
{
"0": "21888242871839275222246405745257275088548364400416034343698204186575808495616",
"71": "1"
},
{}
],
[
{
"72": "1"
},
{
"0": "21888242871839275222246405745257275088548364400416034343698204186575808495616",
"72": "1"
},
{}
],
[
{
"73": "1"
},
{
"0": "21888242871839275222246405745257275088548364400416034343698204186575808495616",
"73": "1"
},
{}
],
[
{
"74": "1"
},
{
"0": "21888242871839275222246405745257275088548364400416034343698204186575808495616",
"74": "1"
},
{}
],
[
{
"75": "1"
},
{
"0": "21888242871839275222246405745257275088548364400416034343698204186575808495616",
"75": "1"
},
{}
],
[
{
"76": "1"
},
{
"0": "21888242871839275222246405745257275088548364400416034343698204186575808495616",
"76": "1"
},
{}
],
[
{
"77": "1"
},
{
"0": "21888242871839275222246405745257275088548364400416034343698204186575808495616",
"77": "1"
},
{}
],
[
{
"78": "1"
},
{
"0": "21888242871839275222246405745257275088548364400416034343698204186575808495616",
"78": "1"
},
{}
],
[
{
"79": "1"
},
{
"0": "21888242871839275222246405745257275088548364400416034343698204186575808495616",
"79": "1"
},
{}
],
[
{
"80": "1"
},
{
"0": "21888242871839275222246405745257275088548364400416034343698204186575808495616",
"80": "1"
},
{}
],
[
{
"81": "1"
},
{
"0": "21888242871839275222246405745257275088548364400416034343698204186575808495616",
"81": "1"
},
{}
],
[
{
"82": "1"
},
{
"0": "21888242871839275222246405745257275088548364400416034343698204186575808495616",
"82": "1"
},
{}
],
[
{
"83": "1"
},
{
"0": "21888242871839275222246405745257275088548364400416034343698204186575808495616",
"83": "1"
},
{}
],
[
{
"84": "1"
},
{
"0": "21888242871839275222246405745257275088548364400416034343698204186575808495616",
"84": "1"
},
{}
],
[
{
"85": "1"
},
{
"0": "21888242871839275222246405745257275088548364400416034343698204186575808495616",
"85": "1"
},
{}
],
[
{
"86": "1"
},
{
"0": "21888242871839275222246405745257275088548364400416034343698204186575808495616",
"86": "1"
},
{}
],
[
{
"87": "1"
},
{
"0": "21888242871839275222246405745257275088548364400416034343698204186575808495616",
"87": "1"
},
{}
],
[
{
"88": "1"
},
{
"0": "21888242871839275222246405745257275088548364400416034343698204186575808495616",
"88": "1"
},
{}
],
[
{
"89": "1"
},
{
"0": "21888242871839275222246405745257275088548364400416034343698204186575808495616",
"89": "1"
},
{}
],
[
{
"90": "1"
},
{
"0": "21888242871839275222246405745257275088548364400416034343698204186575808495616",
"90": "1"
},
{}
],
[
{
"91": "1"
},
{
"0": "21888242871839275222246405745257275088548364400416034343698204186575808495616",
"91": "1"
},
{}
],
[
{
"92": "1"
},
{
"0": "21888242871839275222246405745257275088548364400416034343698204186575808495616",
"92": "1"
},
{}
],
[
{
"93": "1"
},
{
"0": "21888242871839275222246405745257275088548364400416034343698204186575808495616",
"93": "1"
},
{}
],
[
{
"94": "1"
},
{
"0": "21888242871839275222246405745257275088548364400416034343698204186575808495616",
"94": "1"
},
{}
],
[
{
"95": "1"
},
{
"0": "21888242871839275222246405745257275088548364400416034343698204186575808495616",
"95": "1"
},
{}
],
[
{
"96": "1"
},
{
"0": "21888242871839275222246405745257275088548364400416034343698204186575808495616",
"96": "1"
},
{}
],
[
{
"97": "1"
},
{
"0": "21888242871839275222246405745257275088548364400416034343698204186575808495616",
"97": "1"
},
{}
],
[
{
"98": "1"
},
{
"0": "21888242871839275222246405745257275088548364400416034343698204186575808495616",
"98": "1"
},
{}
],
[
{
"99": "1"
},
{
"0": "21888242871839275222246405745257275088548364400416034343698204186575808495616",
"99": "1"
},
{}
],
[
{
"100": "1"
},
{
"0": "21888242871839275222246405745257275088548364400416034343698204186575808495616",
"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
}