snarkjs/test/circuit/sum.json
test/circuit/sum.jsonRaw
1{
2 "mainCode": "{\n {\n }\n {\n }\n}\n",
3 "signalName2Idx": {
4 "one": 0,
5 "main.a": 3,
6 "main.b": 2,
7 "main.out": 1,
8 "main.n2ba.in": 3,
9 "main.n2ba.out[0]": 4,
10 "main.n2ba.out[1]": 5,
11 "main.n2ba.out[2]": 6,
12 "main.n2ba.out[3]": 7,
13 "main.n2ba.out[4]": 8,
14 "main.n2ba.out[5]": 9,
15 "main.n2ba.out[6]": 10,
16 "main.n2ba.out[7]": 11,
17 "main.n2ba.out[8]": 12,
18 "main.n2ba.out[9]": 13,
19 "main.n2ba.out[10]": 14,
20 "main.n2ba.out[11]": 15,
21 "main.n2ba.out[12]": 16,
22 "main.n2ba.out[13]": 17,
23 "main.n2ba.out[14]": 18,
24 "main.n2ba.out[15]": 19,
25 "main.n2ba.out[16]": 20,
26 "main.n2ba.out[17]": 21,
27 "main.n2ba.out[18]": 22,
28 "main.n2ba.out[19]": 23,
29 "main.n2ba.out[20]": 24,
30 "main.n2ba.out[21]": 25,
31 "main.n2ba.out[22]": 26,
32 "main.n2ba.out[23]": 27,
33 "main.n2ba.out[24]": 28,
34 "main.n2ba.out[25]": 29,
35 "main.n2ba.out[26]": 30,
36 "main.n2ba.out[27]": 31,
37 "main.n2ba.out[28]": 32,
38 "main.n2ba.out[29]": 33,
39 "main.n2ba.out[30]": 34,
40 "main.n2ba.out[31]": 35,
41 "main.n2bb.in": 2,
42 "main.n2bb.out[0]": 36,
43 "main.n2bb.out[1]": 37,
44 "main.n2bb.out[2]": 38,
45 "main.n2bb.out[3]": 39,
46 "main.n2bb.out[4]": 40,
47 "main.n2bb.out[5]": 41,
48 "main.n2bb.out[6]": 42,
49 "main.n2bb.out[7]": 43,
50 "main.n2bb.out[8]": 44,
51 "main.n2bb.out[9]": 45,
52 "main.n2bb.out[10]": 46,
53 "main.n2bb.out[11]": 47,
54 "main.n2bb.out[12]": 48,
55 "main.n2bb.out[13]": 49,
56 "main.n2bb.out[14]": 50,
57 "main.n2bb.out[15]": 51,
58 "main.n2bb.out[16]": 52,
59 "main.n2bb.out[17]": 53,
60 "main.n2bb.out[18]": 54,
61 "main.n2bb.out[19]": 55,
62 "main.n2bb.out[20]": 56,
63 "main.n2bb.out[21]": 57,
64 "main.n2bb.out[22]": 58,
65 "main.n2bb.out[23]": 59,
66 "main.n2bb.out[24]": 60,
67 "main.n2bb.out[25]": 61,
68 "main.n2bb.out[26]": 62,
69 "main.n2bb.out[27]": 63,
70 "main.n2bb.out[28]": 64,
71 "main.n2bb.out[29]": 65,
72 "main.n2bb.out[30]": 66,
73 "main.n2bb.out[31]": 67,
74 "main.sum.in[0][0]": 4,
75 "main.sum.in[0][1]": 5,
76 "main.sum.in[0][2]": 6,
77 "main.sum.in[0][3]": 7,
78 "main.sum.in[0][4]": 8,
79 "main.sum.in[0][5]": 9,
80 "main.sum.in[0][6]": 10,
81 "main.sum.in[0][7]": 11,
82 "main.sum.in[0][8]": 12,
83 "main.sum.in[0][9]": 13,
84 "main.sum.in[0][10]": 14,
85 "main.sum.in[0][11]": 15,
86 "main.sum.in[0][12]": 16,
87 "main.sum.in[0][13]": 17,
88 "main.sum.in[0][14]": 18,
89 "main.sum.in[0][15]": 19,
90 "main.sum.in[0][16]": 20,
91 "main.sum.in[0][17]": 21,
92 "main.sum.in[0][18]": 22,
93 "main.sum.in[0][19]": 23,
94 "main.sum.in[0][20]": 24,
95 "main.sum.in[0][21]": 25,
96 "main.sum.in[0][22]": 26,
97 "main.sum.in[0][23]": 27,
98 "main.sum.in[0][24]": 28,
99 "main.sum.in[0][25]": 29,
100 "main.sum.in[0][26]": 30,
101 "main.sum.in[0][27]": 31,
102 "main.sum.in[0][28]": 32,
103 "main.sum.in[0][29]": 33,
104 "main.sum.in[0][30]": 34,
105 "main.sum.in[0][31]": 35,
106 "main.sum.in[1][0]": 36,
107 "main.sum.in[1][1]": 37,
108 "main.sum.in[1][2]": 38,
109 "main.sum.in[1][3]": 39,
110 "main.sum.in[1][4]": 40,
111 "main.sum.in[1][5]": 41,
112 "main.sum.in[1][6]": 42,
113 "main.sum.in[1][7]": 43,
114 "main.sum.in[1][8]": 44,
115 "main.sum.in[1][9]": 45,
116 "main.sum.in[1][10]": 46,
117 "main.sum.in[1][11]": 47,
118 "main.sum.in[1][12]": 48,
119 "main.sum.in[1][13]": 49,
120 "main.sum.in[1][14]": 50,
121 "main.sum.in[1][15]": 51,
122 "main.sum.in[1][16]": 52,
123 "main.sum.in[1][17]": 53,
124 "main.sum.in[1][18]": 54,
125 "main.sum.in[1][19]": 55,
126 "main.sum.in[1][20]": 56,
127 "main.sum.in[1][21]": 57,
128 "main.sum.in[1][22]": 58,
129 "main.sum.in[1][23]": 59,
130 "main.sum.in[1][24]": 60,
131 "main.sum.in[1][25]": 61,
132 "main.sum.in[1][26]": 62,
133 "main.sum.in[1][27]": 63,
134 "main.sum.in[1][28]": 64,
135 "main.sum.in[1][29]": 65,
136 "main.sum.in[1][30]": 66,
137 "main.sum.in[1][31]": 67,
138 "main.sum.out[0]": 68,
139 "main.sum.out[1]": 69,
140 "main.sum.out[2]": 70,
141 "main.sum.out[3]": 71,
142 "main.sum.out[4]": 72,
143 "main.sum.out[5]": 73,
144 "main.sum.out[6]": 74,
145 "main.sum.out[7]": 75,
146 "main.sum.out[8]": 76,
147 "main.sum.out[9]": 77,
148 "main.sum.out[10]": 78,
149 "main.sum.out[11]": 79,
150 "main.sum.out[12]": 80,
151 "main.sum.out[13]": 81,
152 "main.sum.out[14]": 82,
153 "main.sum.out[15]": 83,
154 "main.sum.out[16]": 84,
155 "main.sum.out[17]": 85,
156 "main.sum.out[18]": 86,
157 "main.sum.out[19]": 87,
158 "main.sum.out[20]": 88,
159 "main.sum.out[21]": 89,
160 "main.sum.out[22]": 90,
161 "main.sum.out[23]": 91,
162 "main.sum.out[24]": 92,
163 "main.sum.out[25]": 93,
164 "main.sum.out[26]": 94,
165 "main.sum.out[27]": 95,
166 "main.sum.out[28]": 96,
167 "main.sum.out[29]": 97,
168 "main.sum.out[30]": 98,
169 "main.sum.out[31]": 99,
170 "main.sum.out[32]": 100,
171 "main.b2n.in[0]": 68,
172 "main.b2n.in[1]": 69,
173 "main.b2n.in[2]": 70,
174 "main.b2n.in[3]": 71,
175 "main.b2n.in[4]": 72,
176 "main.b2n.in[5]": 73,
177 "main.b2n.in[6]": 74,
178 "main.b2n.in[7]": 75,
179 "main.b2n.in[8]": 76,
180 "main.b2n.in[9]": 77,
181 "main.b2n.in[10]": 78,
182 "main.b2n.in[11]": 79,
183 "main.b2n.in[12]": 80,
184 "main.b2n.in[13]": 81,
185 "main.b2n.in[14]": 82,
186 "main.b2n.in[15]": 83,
187 "main.b2n.in[16]": 84,
188 "main.b2n.in[17]": 85,
189 "main.b2n.in[18]": 86,
190 "main.b2n.in[19]": 87,
191 "main.b2n.in[20]": 88,
192 "main.b2n.in[21]": 89,
193 "main.b2n.in[22]": 90,
194 "main.b2n.in[23]": 91,
195 "main.b2n.in[24]": 92,
196 "main.b2n.in[25]": 93,
197 "main.b2n.in[26]": 94,
198 "main.b2n.in[27]": 95,
199 "main.b2n.in[28]": 96,
200 "main.b2n.in[29]": 97,
201 "main.b2n.in[30]": 98,
202 "main.b2n.in[31]": 99,
203 "main.b2n.out": 1
204 },
205 "components": [
206 {
207 "name": "main",
208 "params": {},
209 "template": "A",
210 "inputSignals": 2
211 },
212 {
213 "name": "main.n2ba",
214 "params": {
215 "n": "32"
216 },
217 "template": "Num2Bits",
218 "inputSignals": 1
219 },
220 {
221 "name": "main.n2bb",
222 "params": {
223 "n": "32"
224 },
225 "template": "Num2Bits",
226 "inputSignals": 1
227 },
228 {
229 "name": "main.sum",
230 "params": {
231 "n": "32",
232 "ops": "2"
233 },
234 "template": "BinSum",
235 "inputSignals": 64
236 },
237 {
238 "name": "main.b2n",
239 "params": {
240 "n": "32"
241 },
242 "template": "Bits2Num",
243 "inputSignals": 32
244 }
245 ],
246 "componentName2Idx": {
247 "main": 0,
248 "main.n2ba": 1,
249 "main.n2bb": 2,
250 "main.sum": 3,
251 "main.b2n": 4
252 },
253 "signals": [
254 {
255 "names": [
256 "one"
257 ],
258 "triggerComponents": []
259 },
260 {
261 "names": [
262 "main.out",
263 "main.b2n.out"
264 ],
265 "triggerComponents": []
266 },
267 {
268 "names": [
269 "main.b",
270 "main.n2bb.in"
271 ],
272 "triggerComponents": [
273 0,
274 2
275 ]
276 },
277 {
278 "names": [
279 "main.a",
280 "main.n2ba.in"
281 ],
282 "triggerComponents": [
283 0,
284 1
285 ]
286 },
287 {
288 "names": [
289 "main.n2ba.out[0]",
290 "main.sum.in[0][0]"
291 ],
292 "triggerComponents": [
293 3
294 ]
295 },
296 {
297 "names": [
298 "main.n2ba.out[1]",
299 "main.sum.in[0][1]"
300 ],
301 "triggerComponents": [
302 3
303 ]
304 },
305 {
306 "names": [
307 "main.n2ba.out[2]",
308 "main.sum.in[0][2]"
309 ],
310 "triggerComponents": [
311 3
312 ]
313 },
314 {
315 "names": [
316 "main.n2ba.out[3]",
317 "main.sum.in[0][3]"
318 ],
319 "triggerComponents": [
320 3
321 ]
322 },
323 {
324 "names": [
325 "main.n2ba.out[4]",
326 "main.sum.in[0][4]"
327 ],
328 "triggerComponents": [
329 3
330 ]
331 },
332 {
333 "names": [
334 "main.n2ba.out[5]",
335 "main.sum.in[0][5]"
336 ],
337 "triggerComponents": [
338 3
339 ]
340 },
341 {
342 "names": [
343 "main.n2ba.out[6]",
344 "main.sum.in[0][6]"
345 ],
346 "triggerComponents": [
347 3
348 ]
349 },
350 {
351 "names": [
352 "main.n2ba.out[7]",
353 "main.sum.in[0][7]"
354 ],
355 "triggerComponents": [
356 3
357 ]
358 },
359 {
360 "names": [
361 "main.n2ba.out[8]",
362 "main.sum.in[0][8]"
363 ],
364 "triggerComponents": [
365 3
366 ]
367 },
368 {
369 "names": [
370 "main.n2ba.out[9]",
371 "main.sum.in[0][9]"
372 ],
373 "triggerComponents": [
374 3
375 ]
376 },
377 {
378 "names": [
379 "main.n2ba.out[10]",
380 "main.sum.in[0][10]"
381 ],
382 "triggerComponents": [
383 3
384 ]
385 },
386 {
387 "names": [
388 "main.n2ba.out[11]",
389 "main.sum.in[0][11]"
390 ],
391 "triggerComponents": [
392 3
393 ]
394 },
395 {
396 "names": [
397 "main.n2ba.out[12]",
398 "main.sum.in[0][12]"
399 ],
400 "triggerComponents": [
401 3
402 ]
403 },
404 {
405 "names": [
406 "main.n2ba.out[13]",
407 "main.sum.in[0][13]"
408 ],
409 "triggerComponents": [
410 3
411 ]
412 },
413 {
414 "names": [
415 "main.n2ba.out[14]",
416 "main.sum.in[0][14]"
417 ],
418 "triggerComponents": [
419 3
420 ]
421 },
422 {
423 "names": [
424 "main.n2ba.out[15]",
425 "main.sum.in[0][15]"
426 ],
427 "triggerComponents": [
428 3
429 ]
430 },
431 {
432 "names": [
433 "main.n2ba.out[16]",
434 "main.sum.in[0][16]"
435 ],
436 "triggerComponents": [
437 3
438 ]
439 },
440 {
441 "names": [
442 "main.n2ba.out[17]",
443 "main.sum.in[0][17]"
444 ],
445 "triggerComponents": [
446 3
447 ]
448 },
449 {
450 "names": [
451 "main.n2ba.out[18]",
452 "main.sum.in[0][18]"
453 ],
454 "triggerComponents": [
455 3
456 ]
457 },
458 {
459 "names": [
460 "main.n2ba.out[19]",
461 "main.sum.in[0][19]"
462 ],
463 "triggerComponents": [
464 3
465 ]
466 },
467 {
468 "names": [
469 "main.n2ba.out[20]",
470 "main.sum.in[0][20]"
471 ],
472 "triggerComponents": [
473 3
474 ]
475 },
476 {
477 "names": [
478 "main.n2ba.out[21]",
479 "main.sum.in[0][21]"
480 ],
481 "triggerComponents": [
482 3
483 ]
484 },
485 {
486 "names": [
487 "main.n2ba.out[22]",
488 "main.sum.in[0][22]"
489 ],
490 "triggerComponents": [
491 3
492 ]
493 },
494 {
495 "names": [
496 "main.n2ba.out[23]",
497 "main.sum.in[0][23]"
498 ],
499 "triggerComponents": [
500 3
501 ]
502 },
503 {
504 "names": [
505 "main.n2ba.out[24]",
506 "main.sum.in[0][24]"
507 ],
508 "triggerComponents": [
509 3
510 ]
511 },
512 {
513 "names": [
514 "main.n2ba.out[25]",
515 "main.sum.in[0][25]"
516 ],
517 "triggerComponents": [
518 3
519 ]
520 },
521 {
522 "names": [
523 "main.n2ba.out[26]",
524 "main.sum.in[0][26]"
525 ],
526 "triggerComponents": [
527 3
528 ]
529 },
530 {
531 "names": [
532 "main.n2ba.out[27]",
533 "main.sum.in[0][27]"
534 ],
535 "triggerComponents": [
536 3
537 ]
538 },
539 {
540 "names": [
541 "main.n2ba.out[28]",
542 "main.sum.in[0][28]"
543 ],
544 "triggerComponents": [
545 3
546 ]
547 },
548 {
549 "names": [
550 "main.n2ba.out[29]",
551 "main.sum.in[0][29]"
552 ],
553 "triggerComponents": [
554 3
555 ]
556 },
557 {
558 "names": [
559 "main.n2ba.out[30]",
560 "main.sum.in[0][30]"
561 ],
562 "triggerComponents": [
563 3
564 ]
565 },
566 {
567 "names": [
568 "main.n2ba.out[31]",
569 "main.sum.in[0][31]"
570 ],
571 "triggerComponents": [
572 3
573 ]
574 },
575 {
576 "names": [
577 "main.n2bb.out[0]",
578 "main.sum.in[1][0]"
579 ],
580 "triggerComponents": [
581 3
582 ]
583 },
584 {
585 "names": [
586 "main.n2bb.out[1]",
587 "main.sum.in[1][1]"
588 ],
589 "triggerComponents": [
590 3
591 ]
592 },
593 {
594 "names": [
595 "main.n2bb.out[2]",
596 "main.sum.in[1][2]"
597 ],
598 "triggerComponents": [
599 3
600 ]
601 },
602 {
603 "names": [
604 "main.n2bb.out[3]",
605 "main.sum.in[1][3]"
606 ],
607 "triggerComponents": [
608 3
609 ]
610 },
611 {
612 "names": [
613 "main.n2bb.out[4]",
614 "main.sum.in[1][4]"
615 ],
616 "triggerComponents": [
617 3
618 ]
619 },
620 {
621 "names": [
622 "main.n2bb.out[5]",
623 "main.sum.in[1][5]"
624 ],
625 "triggerComponents": [
626 3
627 ]
628 },
629 {
630 "names": [
631 "main.n2bb.out[6]",
632 "main.sum.in[1][6]"
633 ],
634 "triggerComponents": [
635 3
636 ]
637 },
638 {
639 "names": [
640 "main.n2bb.out[7]",
641 "main.sum.in[1][7]"
642 ],
643 "triggerComponents": [
644 3
645 ]
646 },
647 {
648 "names": [
649 "main.n2bb.out[8]",
650 "main.sum.in[1][8]"
651 ],
652 "triggerComponents": [
653 3
654 ]
655 },
656 {
657 "names": [
658 "main.n2bb.out[9]",
659 "main.sum.in[1][9]"
660 ],
661 "triggerComponents": [
662 3
663 ]
664 },
665 {
666 "names": [
667 "main.n2bb.out[10]",
668 "main.sum.in[1][10]"
669 ],
670 "triggerComponents": [
671 3
672 ]
673 },
674 {
675 "names": [
676 "main.n2bb.out[11]",
677 "main.sum.in[1][11]"
678 ],
679 "triggerComponents": [
680 3
681 ]
682 },
683 {
684 "names": [
685 "main.n2bb.out[12]",
686 "main.sum.in[1][12]"
687 ],
688 "triggerComponents": [
689 3
690 ]
691 },
692 {
693 "names": [
694 "main.n2bb.out[13]",
695 "main.sum.in[1][13]"
696 ],
697 "triggerComponents": [
698 3
699 ]
700 },
701 {
702 "names": [
703 "main.n2bb.out[14]",
704 "main.sum.in[1][14]"
705 ],
706 "triggerComponents": [
707 3
708 ]
709 },
710 {
711 "names": [
712 "main.n2bb.out[15]",
713 "main.sum.in[1][15]"
714 ],
715 "triggerComponents": [
716 3
717 ]
718 },
719 {
720 "names": [
721 "main.n2bb.out[16]",
722 "main.sum.in[1][16]"
723 ],
724 "triggerComponents": [
725 3
726 ]
727 },
728 {
729 "names": [
730 "main.n2bb.out[17]",
731 "main.sum.in[1][17]"
732 ],
733 "triggerComponents": [
734 3
735 ]
736 },
737 {
738 "names": [
739 "main.n2bb.out[18]",
740 "main.sum.in[1][18]"
741 ],
742 "triggerComponents": [
743 3
744 ]
745 },
746 {
747 "names": [
748 "main.n2bb.out[19]",
749 "main.sum.in[1][19]"
750 ],
751 "triggerComponents": [
752 3
753 ]
754 },
755 {
756 "names": [
757 "main.n2bb.out[20]",
758 "main.sum.in[1][20]"
759 ],
760 "triggerComponents": [
761 3
762 ]
763 },
764 {
765 "names": [
766 "main.n2bb.out[21]",
767 "main.sum.in[1][21]"
768 ],
769 "triggerComponents": [
770 3
771 ]
772 },
773 {
774 "names": [
775 "main.n2bb.out[22]",
776 "main.sum.in[1][22]"
777 ],
778 "triggerComponents": [
779 3
780 ]
781 },
782 {
783 "names": [
784 "main.n2bb.out[23]",
785 "main.sum.in[1][23]"
786 ],
787 "triggerComponents": [
788 3
789 ]
790 },
791 {
792 "names": [
793 "main.n2bb.out[24]",
794 "main.sum.in[1][24]"
795 ],
796 "triggerComponents": [
797 3
798 ]
799 },
800 {
801 "names": [
802 "main.n2bb.out[25]",
803 "main.sum.in[1][25]"
804 ],
805 "triggerComponents": [
806 3
807 ]
808 },
809 {
810 "names": [
811 "main.n2bb.out[26]",
812 "main.sum.in[1][26]"
813 ],
814 "triggerComponents": [
815 3
816 ]
817 },
818 {
819 "names": [
820 "main.n2bb.out[27]",
821 "main.sum.in[1][27]"
822 ],
823 "triggerComponents": [
824 3
825 ]
826 },
827 {
828 "names": [
829 "main.n2bb.out[28]",
830 "main.sum.in[1][28]"
831 ],
832 "triggerComponents": [
833 3
834 ]
835 },
836 {
837 "names": [
838 "main.n2bb.out[29]",
839 "main.sum.in[1][29]"
840 ],
841 "triggerComponents": [
842 3
843 ]
844 },
845 {
846 "names": [
847 "main.n2bb.out[30]",
848 "main.sum.in[1][30]"
849 ],
850 "triggerComponents": [
851 3
852 ]
853 },
854 {
855 "names": [
856 "main.n2bb.out[31]",
857 "main.sum.in[1][31]"
858 ],
859 "triggerComponents": [
860 3
861 ]
862 },
863 {
864 "names": [
865 "main.sum.out[0]",
866 "main.b2n.in[0]"
867 ],
868 "triggerComponents": [
869 4
870 ]
871 },
872 {
873 "names": [
874 "main.sum.out[1]",
875 "main.b2n.in[1]"
876 ],
877 "triggerComponents": [
878 4
879 ]
880 },
881 {
882 "names": [
883 "main.sum.out[2]",
884 "main.b2n.in[2]"
885 ],
886 "triggerComponents": [
887 4
888 ]
889 },
890 {
891 "names": [
892 "main.sum.out[3]",
893 "main.b2n.in[3]"
894 ],
895 "triggerComponents": [
896 4
897 ]
898 },
899 {
900 "names": [
901 "main.sum.out[4]",
902 "main.b2n.in[4]"
903 ],
904 "triggerComponents": [
905 4
906 ]
907 },
908 {
909 "names": [
910 "main.sum.out[5]",
911 "main.b2n.in[5]"
912 ],
913 "triggerComponents": [
914 4
915 ]
916 },
917 {
918 "names": [
919 "main.sum.out[6]",
920 "main.b2n.in[6]"
921 ],
922 "triggerComponents": [
923 4
924 ]
925 },
926 {
927 "names": [
928 "main.sum.out[7]",
929 "main.b2n.in[7]"
930 ],
931 "triggerComponents": [
932 4
933 ]
934 },
935 {
936 "names": [
937 "main.sum.out[8]",
938 "main.b2n.in[8]"
939 ],
940 "triggerComponents": [
941 4
942 ]
943 },
944 {
945 "names": [
946 "main.sum.out[9]",
947 "main.b2n.in[9]"
948 ],
949 "triggerComponents": [
950 4
951 ]
952 },
953 {
954 "names": [
955 "main.sum.out[10]",
956 "main.b2n.in[10]"
957 ],
958 "triggerComponents": [
959 4
960 ]
961 },
962 {
963 "names": [
964 "main.sum.out[11]",
965 "main.b2n.in[11]"
966 ],
967 "triggerComponents": [
968 4
969 ]
970 },
971 {
972 "names": [
973 "main.sum.out[12]",
974 "main.b2n.in[12]"
975 ],
976 "triggerComponents": [
977 4
978 ]
979 },
980 {
981 "names": [
982 "main.sum.out[13]",
983 "main.b2n.in[13]"
984 ],
985 "triggerComponents": [
986 4
987 ]
988 },
989 {
990 "names": [
991 "main.sum.out[14]",
992 "main.b2n.in[14]"
993 ],
994 "triggerComponents": [
995 4
996 ]
997 },
998 {
999 "names": [
1000 "main.sum.out[15]",
1001 "main.b2n.in[15]"
1002 ],
1003 "triggerComponents": [
1004 4
1005 ]
1006 },
1007 {
1008 "names": [
1009 "main.sum.out[16]",
1010 "main.b2n.in[16]"
1011 ],
1012 "triggerComponents": [
1013 4
1014 ]
1015 },
1016 {
1017 "names": [
1018 "main.sum.out[17]",
1019 "main.b2n.in[17]"
1020 ],
1021 "triggerComponents": [
1022 4
1023 ]
1024 },
1025 {
1026 "names": [
1027 "main.sum.out[18]",
1028 "main.b2n.in[18]"
1029 ],
1030 "triggerComponents": [
1031 4
1032 ]
1033 },
1034 {
1035 "names": [
1036 "main.sum.out[19]",
1037 "main.b2n.in[19]"
1038 ],
1039 "triggerComponents": [
1040 4
1041 ]
1042 },
1043 {
1044 "names": [
1045 "main.sum.out[20]",
1046 "main.b2n.in[20]"
1047 ],
1048 "triggerComponents": [
1049 4
1050 ]
1051 },
1052 {
1053 "names": [
1054 "main.sum.out[21]",
1055 "main.b2n.in[21]"
1056 ],
1057 "triggerComponents": [
1058 4
1059 ]
1060 },
1061 {
1062 "names": [
1063 "main.sum.out[22]",
1064 "main.b2n.in[22]"
1065 ],
1066 "triggerComponents": [
1067 4
1068 ]
1069 },
1070 {
1071 "names": [
1072 "main.sum.out[23]",
1073 "main.b2n.in[23]"
1074 ],
1075 "triggerComponents": [
1076 4
1077 ]
1078 },
1079 {
1080 "names": [
1081 "main.sum.out[24]",
1082 "main.b2n.in[24]"
1083 ],
1084 "triggerComponents": [
1085 4
1086 ]
1087 },
1088 {
1089 "names": [
1090 "main.sum.out[25]",
1091 "main.b2n.in[25]"
1092 ],
1093 "triggerComponents": [
1094 4
1095 ]
1096 },
1097 {
1098 "names": [
1099 "main.sum.out[26]",
1100 "main.b2n.in[26]"
1101 ],
1102 "triggerComponents": [
1103 4
1104 ]
1105 },
1106 {
1107 "names": [
1108 "main.sum.out[27]",
1109 "main.b2n.in[27]"
1110 ],
1111 "triggerComponents": [
1112 4
1113 ]
1114 },
1115 {
1116 "names": [
1117 "main.sum.out[28]",
1118 "main.b2n.in[28]"
1119 ],
1120 "triggerComponents": [
1121 4
1122 ]
1123 },
1124 {
1125 "names": [
1126 "main.sum.out[29]",
1127 "main.b2n.in[29]"
1128 ],
1129 "triggerComponents": [
1130 4
1131 ]
1132 },
1133 {
1134 "names": [
1135 "main.sum.out[30]",
1136 "main.b2n.in[30]"
1137 ],
1138 "triggerComponents": [
1139 4
1140 ]
1141 },
1142 {
1143 "names": [
1144 "main.sum.out[31]",
1145 "main.b2n.in[31]"
1146 ],
1147 "triggerComponents": [
1148 4
1149 ]
1150 },
1151 {
1152 "names": [
1153 "main.sum.out[32]"
1154 ],
1155 "triggerComponents": []
1156 }
1157 ],
1158 "constrains": [
1159 [
1160 {
1161 "4": "1"
1162 },
1163 {
1164 "4": "1"
1165 },
1166 {}
1167 ],
1168 [
1169 {
1170 "5": "1"
1171 },
1172 {
1173 "5": "1"
1174 },
1175 {}
1176 ],
1177 [
1178 {
1179 "6": "1"
1180 },
1181 {
1182 "6": "1"
1183 },
1184 {}
1185 ],
1186 [
1187 {
1188 "7": "1"
1189 },
1190 {
1191 "7": "1"
1192 },
1193 {}
1194 ],
1195 [
1196 {
1197 "8": "1"
1198 },
1199 {
1200 "8": "1"
1201 },
1202 {}
1203 ],
1204 [
1205 {
1206 "9": "1"
1207 },
1208 {
1209 "9": "1"
1210 },
1211 {}
1212 ],
1213 [
1214 {
1215 "10": "1"
1216 },
1217 {
1218 "10": "1"
1219 },
1220 {}
1221 ],
1222 [
1223 {
1224 "11": "1"
1225 },
1226 {
1227 "11": "1"
1228 },
1229 {}
1230 ],
1231 [
1232 {
1233 "12": "1"
1234 },
1235 {
1236 "12": "1"
1237 },
1238 {}
1239 ],
1240 [
1241 {
1242 "13": "1"
1243 },
1244 {
1245 "13": "1"
1246 },
1247 {}
1248 ],
1249 [
1250 {
1251 "14": "1"
1252 },
1253 {
1254 "14": "1"
1255 },
1256 {}
1257 ],
1258 [
1259 {
1260 "15": "1"
1261 },
1262 {
1263 "15": "1"
1264 },
1265 {}
1266 ],
1267 [
1268 {
1269 "16": "1"
1270 },
1271 {
1272 "16": "1"
1273 },
1274 {}
1275 ],
1276 [
1277 {
1278 "17": "1"
1279 },
1280 {
1281 "17": "1"
1282 },
1283 {}
1284 ],
1285 [
1286 {
1287 "18": "1"
1288 },
1289 {
1290 "18": "1"
1291 },
1292 {}
1293 ],
1294 [
1295 {
1296 "19": "1"
1297 },
1298 {
1299 "19": "1"
1300 },
1301 {}
1302 ],
1303 [
1304 {
1305 "20": "1"
1306 },
1307 {
1308 "20": "1"
1309 },
1310 {}
1311 ],
1312 [
1313 {
1314 "21": "1"
1315 },
1316 {
1317 "21": "1"
1318 },
1319 {}
1320 ],
1321 [
1322 {
1323 "22": "1"
1324 },
1325 {
1326 "22": "1"
1327 },
1328 {}
1329 ],
1330 [
1331 {
1332 "23": "1"
1333 },
1334 {
1335 "23": "1"
1336 },
1337 {}
1338 ],
1339 [
1340 {
1341 "24": "1"
1342 },
1343 {
1344 "24": "1"
1345 },
1346 {}
1347 ],
1348 [
1349 {
1350 "25": "1"
1351 },
1352 {
1353 "25": "1"
1354 },
1355 {}
1356 ],
1357 [
1358 {
1359 "26": "1"
1360 },
1361 {
1362 "26": "1"
1363 },
1364 {}
1365 ],
1366 [
1367 {
1368 "27": "1"
1369 },
1370 {
1371 "27": "1"
1372 },
1373 {}
1374 ],
1375 [
1376 {
1377 "28": "1"
1378 },
1379 {
1380 "28": "1"
1381 },
1382 {}
1383 ],
1384 [
1385 {
1386 "29": "1"
1387 },
1388 {
1389 "29": "1"
1390 },
1391 {}
1392 ],
1393 [
1394 {
1395 "30": "1"
1396 },
1397 {
1398 "30": "1"
1399 },
1400 {}
1401 ],
1402 [
1403 {
1404 "31": "1"
1405 },
1406 {
1407 "31": "1"
1408 },
1409 {}
1410 ],
1411 [
1412 {
1413 "32": "1"
1414 },
1415 {
1416 "32": "1"
1417 },
1418 {}
1419 ],
1420 [
1421 {
1422 "33": "1"
1423 },
1424 {
1425 "33": "1"
1426 },
1427 {}
1428 ],
1429 [
1430 {
1431 "34": "1"
1432 },
1433 {
1434 "34": "1"
1435 },
1436 {}
1437 ],
1438 [
1439 {
1440 "35": "1"
1441 },
1442 {
1443 "35": "1"
1444 },
1445 {}
1446 ],
1447 [
1448 {},
1449 {},
1450 {
1451 "3": "1",
1452 "4": "21888242871839275222246405745257275088548364400416034343698204186575808495616",
1453 "5": "21888242871839275222246405745257275088548364400416034343698204186575808495615",
1454 "6": "21888242871839275222246405745257275088548364400416034343698204186575808495613",
1455 "7": "21888242871839275222246405745257275088548364400416034343698204186575808495609",
1456 "8": "21888242871839275222246405745257275088548364400416034343698204186575808495601",
1457 "9": "21888242871839275222246405745257275088548364400416034343698204186575808495585",
1458 "10": "21888242871839275222246405745257275088548364400416034343698204186575808495553",
1459 "11": "21888242871839275222246405745257275088548364400416034343698204186575808495489",
1460 "12": "21888242871839275222246405745257275088548364400416034343698204186575808495361",
1461 "13": "21888242871839275222246405745257275088548364400416034343698204186575808495105",
1462 "14": "21888242871839275222246405745257275088548364400416034343698204186575808494593",
1463 "15": "21888242871839275222246405745257275088548364400416034343698204186575808493569",
1464 "16": "21888242871839275222246405745257275088548364400416034343698204186575808491521",
1465 "17": "21888242871839275222246405745257275088548364400416034343698204186575808487425",
1466 "18": "21888242871839275222246405745257275088548364400416034343698204186575808479233",
1467 "19": "21888242871839275222246405745257275088548364400416034343698204186575808462849",
1468 "20": "21888242871839275222246405745257275088548364400416034343698204186575808430081",
1469 "21": "21888242871839275222246405745257275088548364400416034343698204186575808364545",
1470 "22": "21888242871839275222246405745257275088548364400416034343698204186575808233473",
1471 "23": "21888242871839275222246405745257275088548364400416034343698204186575807971329",
1472 "24": "21888242871839275222246405745257275088548364400416034343698204186575807447041",
1473 "25": "21888242871839275222246405745257275088548364400416034343698204186575806398465",
1474 "26": "21888242871839275222246405745257275088548364400416034343698204186575804301313",
1475 "27": "21888242871839275222246405745257275088548364400416034343698204186575800107009",
1476 "28": "21888242871839275222246405745257275088548364400416034343698204186575791718401",
1477 "29": "21888242871839275222246405745257275088548364400416034343698204186575774941185",
1478 "30": "21888242871839275222246405745257275088548364400416034343698204186575741386753",
1479 "31": "21888242871839275222246405745257275088548364400416034343698204186575674277889",
1480 "32": "21888242871839275222246405745257275088548364400416034343698204186575540060161",
1481 "33": "21888242871839275222246405745257275088548364400416034343698204186575271624705",
1482 "34": "21888242871839275222246405745257275088548364400416034343698204186574734753793",
1483 "35": "21888242871839275222246405745257275088548364400416034343698204186573661011969"
1484 }
1485 ],
1486 [
1487 {
1488 "36": "1"
1489 },
1490 {
1491 "36": "1"
1492 },
1493 {}
1494 ],
1495 [
1496 {
1497 "37": "1"
1498 },
1499 {
1500 "37": "1"
1501 },
1502 {}
1503 ],
1504 [
1505 {
1506 "38": "1"
1507 },
1508 {
1509 "38": "1"
1510 },
1511 {}
1512 ],
1513 [
1514 {
1515 "39": "1"
1516 },
1517 {
1518 "39": "1"
1519 },
1520 {}
1521 ],
1522 [
1523 {
1524 "40": "1"
1525 },
1526 {
1527 "40": "1"
1528 },
1529 {}
1530 ],
1531 [
1532 {
1533 "41": "1"
1534 },
1535 {
1536 "41": "1"
1537 },
1538 {}
1539 ],
1540 [
1541 {
1542 "42": "1"
1543 },
1544 {
1545 "42": "1"
1546 },
1547 {}
1548 ],
1549 [
1550 {
1551 "43": "1"
1552 },
1553 {
1554 "43": "1"
1555 },
1556 {}
1557 ],
1558 [
1559 {
1560 "44": "1"
1561 },
1562 {
1563 "44": "1"
1564 },
1565 {}
1566 ],
1567 [
1568 {
1569 "45": "1"
1570 },
1571 {
1572 "45": "1"
1573 },
1574 {}
1575 ],
1576 [
1577 {
1578 "46": "1"
1579 },
1580 {
1581 "46": "1"
1582 },
1583 {}
1584 ],
1585 [
1586 {
1587 "47": "1"
1588 },
1589 {
1590 "47": "1"
1591 },
1592 {}
1593 ],
1594 [
1595 {
1596 "48": "1"
1597 },
1598 {
1599 "48": "1"
1600 },
1601 {}
1602 ],
1603 [
1604 {
1605 "49": "1"
1606 },
1607 {
1608 "49": "1"
1609 },
1610 {}
1611 ],
1612 [
1613 {
1614 "50": "1"
1615 },
1616 {
1617 "50": "1"
1618 },
1619 {}
1620 ],
1621 [
1622 {
1623 "51": "1"
1624 },
1625 {
1626 "51": "1"
1627 },
1628 {}
1629 ],
1630 [
1631 {
1632 "52": "1"
1633 },
1634 {
1635 "52": "1"
1636 },
1637 {}
1638 ],
1639 [
1640 {
1641 "53": "1"
1642 },
1643 {
1644 "53": "1"
1645 },
1646 {}
1647 ],
1648 [
1649 {
1650 "54": "1"
1651 },
1652 {
1653 "54": "1"
1654 },
1655 {}
1656 ],
1657 [
1658 {
1659 "55": "1"
1660 },
1661 {
1662 "55": "1"
1663 },
1664 {}
1665 ],
1666 [
1667 {
1668 "56": "1"
1669 },
1670 {
1671 "56": "1"
1672 },
1673 {}
1674 ],
1675 [
1676 {
1677 "57": "1"
1678 },
1679 {
1680 "57": "1"
1681 },
1682 {}
1683 ],
1684 [
1685 {
1686 "58": "1"
1687 },
1688 {
1689 "58": "1"
1690 },
1691 {}
1692 ],
1693 [
1694 {
1695 "59": "1"
1696 },
1697 {
1698 "59": "1"
1699 },
1700 {}
1701 ],
1702 [
1703 {
1704 "60": "1"
1705 },
1706 {
1707 "60": "1"
1708 },
1709 {}
1710 ],
1711 [
1712 {
1713 "61": "1"
1714 },
1715 {
1716 "61": "1"
1717 },
1718 {}
1719 ],
1720 [
1721 {
1722 "62": "1"
1723 },
1724 {
1725 "62": "1"
1726 },
1727 {}
1728 ],
1729 [
1730 {
1731 "63": "1"
1732 },
1733 {
1734 "63": "1"
1735 },
1736 {}
1737 ],
1738 [
1739 {
1740 "64": "1"
1741 },
1742 {
1743 "64": "1"
1744 },
1745 {}
1746 ],
1747 [
1748 {
1749 "65": "1"
1750 },
1751 {
1752 "65": "1"
1753 },
1754 {}
1755 ],
1756 [
1757 {
1758 "66": "1"
1759 },
1760 {
1761 "66": "1"
1762 },
1763 {}
1764 ],
1765 [
1766 {
1767 "67": "1"
1768 },
1769 {
1770 "67": "1"
1771 },
1772 {}
1773 ],
1774 [
1775 {},
1776 {},
1777 {
1778 "2": "1",
1779 "36": "21888242871839275222246405745257275088548364400416034343698204186575808495616",
1780 "37": "21888242871839275222246405745257275088548364400416034343698204186575808495615",
1781 "38": "21888242871839275222246405745257275088548364400416034343698204186575808495613",
1782 "39": "21888242871839275222246405745257275088548364400416034343698204186575808495609",
1783 "40": "21888242871839275222246405745257275088548364400416034343698204186575808495601",
1784 "41": "21888242871839275222246405745257275088548364400416034343698204186575808495585",
1785 "42": "21888242871839275222246405745257275088548364400416034343698204186575808495553",
1786 "43": "21888242871839275222246405745257275088548364400416034343698204186575808495489",
1787 "44": "21888242871839275222246405745257275088548364400416034343698204186575808495361",
1788 "45": "21888242871839275222246405745257275088548364400416034343698204186575808495105",
1789 "46": "21888242871839275222246405745257275088548364400416034343698204186575808494593",
1790 "47": "21888242871839275222246405745257275088548364400416034343698204186575808493569",
1791 "48": "21888242871839275222246405745257275088548364400416034343698204186575808491521",
1792 "49": "21888242871839275222246405745257275088548364400416034343698204186575808487425",
1793 "50": "21888242871839275222246405745257275088548364400416034343698204186575808479233",
1794 "51": "21888242871839275222246405745257275088548364400416034343698204186575808462849",
1795 "52": "21888242871839275222246405745257275088548364400416034343698204186575808430081",
1796 "53": "21888242871839275222246405745257275088548364400416034343698204186575808364545",
1797 "54": "21888242871839275222246405745257275088548364400416034343698204186575808233473",
1798 "55": "21888242871839275222246405745257275088548364400416034343698204186575807971329",
1799 "56": "21888242871839275222246405745257275088548364400416034343698204186575807447041",
1800 "57": "21888242871839275222246405745257275088548364400416034343698204186575806398465",
1801 "58": "21888242871839275222246405745257275088548364400416034343698204186575804301313",
1802 "59": "21888242871839275222246405745257275088548364400416034343698204186575800107009",
1803 "60": "21888242871839275222246405745257275088548364400416034343698204186575791718401",
1804 "61": "21888242871839275222246405745257275088548364400416034343698204186575774941185",
1805 "62": "21888242871839275222246405745257275088548364400416034343698204186575741386753",
1806 "63": "21888242871839275222246405745257275088548364400416034343698204186575674277889",
1807 "64": "21888242871839275222246405745257275088548364400416034343698204186575540060161",
1808 "65": "21888242871839275222246405745257275088548364400416034343698204186575271624705",
1809 "66": "21888242871839275222246405745257275088548364400416034343698204186574734753793",
1810 "67": "21888242871839275222246405745257275088548364400416034343698204186573661011969"
1811 }
1812 ],
1813 [
1814 {
1815 "68": "1"
1816 },
1817 {
1818 "68": "1"
1819 },
1820 {}
1821 ],
1822 [
1823 {
1824 "69": "1"
1825 },
1826 {
1827 "69": "1"
1828 },
1829 {}
1830 ],
1831 [
1832 {
1833 "70": "1"
1834 },
1835 {
1836 "70": "1"
1837 },
1838 {}
1839 ],
1840 [
1841 {
1842 "71": "1"
1843 },
1844 {
1845 "71": "1"
1846 },
1847 {}
1848 ],
1849 [
1850 {
1851 "72": "1"
1852 },
1853 {
1854 "72": "1"
1855 },
1856 {}
1857 ],
1858 [
1859 {
1860 "73": "1"
1861 },
1862 {
1863 "73": "1"
1864 },
1865 {}
1866 ],
1867 [
1868 {
1869 "74": "1"
1870 },
1871 {
1872 "74": "1"
1873 },
1874 {}
1875 ],
1876 [
1877 {
1878 "75": "1"
1879 },
1880 {
1881 "75": "1"
1882 },
1883 {}
1884 ],
1885 [
1886 {
1887 "76": "1"
1888 },
1889 {
1890 "76": "1"
1891 },
1892 {}
1893 ],
1894 [
1895 {
1896 "77": "1"
1897 },
1898 {
1899 "77": "1"
1900 },
1901 {}
1902 ],
1903 [
1904 {
1905 "78": "1"
1906 },
1907 {
1908 "78": "1"
1909 },
1910 {}
1911 ],
1912 [
1913 {
1914 "79": "1"
1915 },
1916 {
1917 "79": "1"
1918 },
1919 {}
1920 ],
1921 [
1922 {
1923 "80": "1"
1924 },
1925 {
1926 "80": "1"
1927 },
1928 {}
1929 ],
1930 [
1931 {
1932 "81": "1"
1933 },
1934 {
1935 "81": "1"
1936 },
1937 {}
1938 ],
1939 [
1940 {
1941 "82": "1"
1942 },
1943 {
1944 "82": "1"
1945 },
1946 {}
1947 ],
1948 [
1949 {
1950 "83": "1"
1951 },
1952 {
1953 "83": "1"
1954 },
1955 {}
1956 ],
1957 [
1958 {
1959 "84": "1"
1960 },
1961 {
1962 "84": "1"
1963 },
1964 {}
1965 ],
1966 [
1967 {
1968 "85": "1"
1969 },
1970 {
1971 "85": "1"
1972 },
1973 {}
1974 ],
1975 [
1976 {
1977 "86": "1"
1978 },
1979 {
1980 "86": "1"
1981 },
1982 {}
1983 ],
1984 [
1985 {
1986 "87": "1"
1987 },
1988 {
1989 "87": "1"
1990 },
1991 {}
1992 ],
1993 [
1994 {
1995 "88": "1"
1996 },
1997 {
1998 "88": "1"
1999 },
2000 {}
2001 ],
2002 [
2003 {
2004 "89": "1"
2005 },
2006 {
2007 "89": "1"
2008 },
2009 {}
2010 ],
2011 [
2012 {
2013 "90": "1"
2014 },
2015 {
2016 "90": "1"
2017 },
2018 {}
2019 ],
2020 [
2021 {
2022 "91": "1"
2023 },
2024 {
2025 "91": "1"
2026 },
2027 {}
2028 ],
2029 [
2030 {
2031 "92": "1"
2032 },
2033 {
2034 "92": "1"
2035 },
2036 {}
2037 ],
2038 [
2039 {
2040 "93": "1"
2041 },
2042 {
2043 "93": "1"
2044 },
2045 {}
2046 ],
2047 [
2048 {
2049 "94": "1"
2050 },
2051 {
2052 "94": "1"
2053 },
2054 {}
2055 ],
2056 [
2057 {
2058 "95": "1"
2059 },
2060 {
2061 "95": "1"
2062 },
2063 {}
2064 ],
2065 [
2066 {
2067 "96": "1"
2068 },
2069 {
2070 "96": "1"
2071 },
2072 {}
2073 ],
2074 [
2075 {
2076 "97": "1"
2077 },
2078 {
2079 "97": "1"
2080 },
2081 {}
2082 ],
2083 [
2084 {
2085 "98": "1"
2086 },
2087 {
2088 "98": "1"
2089 },
2090 {}
2091 ],
2092 [
2093 {
2094 "99": "1"
2095 },
2096 {
2097 "99": "1"
2098 },
2099 {}
2100 ],
2101 [
2102 {
2103 "100": "1"
2104 },
2105 {
2106 "100": "1"
2107 },
2108 {}
2109 ],
2110 [
2111 {},
2112 {},
2113 {
2114 "4": "21888242871839275222246405745257275088548364400416034343698204186575808495616",
2115 "5": "21888242871839275222246405745257275088548364400416034343698204186575808495615",
2116 "6": "21888242871839275222246405745257275088548364400416034343698204186575808495613",
2117 "7": "21888242871839275222246405745257275088548364400416034343698204186575808495609",
2118 "8": "21888242871839275222246405745257275088548364400416034343698204186575808495601",
2119 "9": "21888242871839275222246405745257275088548364400416034343698204186575808495585",
2120 "10": "21888242871839275222246405745257275088548364400416034343698204186575808495553",
2121 "11": "21888242871839275222246405745257275088548364400416034343698204186575808495489",
2122 "12": "21888242871839275222246405745257275088548364400416034343698204186575808495361",
2123 "13": "21888242871839275222246405745257275088548364400416034343698204186575808495105",
2124 "14": "21888242871839275222246405745257275088548364400416034343698204186575808494593",
2125 "15": "21888242871839275222246405745257275088548364400416034343698204186575808493569",
2126 "16": "21888242871839275222246405745257275088548364400416034343698204186575808491521",
2127 "17": "21888242871839275222246405745257275088548364400416034343698204186575808487425",
2128 "18": "21888242871839275222246405745257275088548364400416034343698204186575808479233",
2129 "19": "21888242871839275222246405745257275088548364400416034343698204186575808462849",
2130 "20": "21888242871839275222246405745257275088548364400416034343698204186575808430081",
2131 "21": "21888242871839275222246405745257275088548364400416034343698204186575808364545",
2132 "22": "21888242871839275222246405745257275088548364400416034343698204186575808233473",
2133 "23": "21888242871839275222246405745257275088548364400416034343698204186575807971329",
2134 "24": "21888242871839275222246405745257275088548364400416034343698204186575807447041",
2135 "25": "21888242871839275222246405745257275088548364400416034343698204186575806398465",
2136 "26": "21888242871839275222246405745257275088548364400416034343698204186575804301313",
2137 "27": "21888242871839275222246405745257275088548364400416034343698204186575800107009",
2138 "28": "21888242871839275222246405745257275088548364400416034343698204186575791718401",
2139 "29": "21888242871839275222246405745257275088548364400416034343698204186575774941185",
2140 "30": "21888242871839275222246405745257275088548364400416034343698204186575741386753",
2141 "31": "21888242871839275222246405745257275088548364400416034343698204186575674277889",
2142 "32": "21888242871839275222246405745257275088548364400416034343698204186575540060161",
2143 "33": "21888242871839275222246405745257275088548364400416034343698204186575271624705",
2144 "34": "21888242871839275222246405745257275088548364400416034343698204186574734753793",
2145 "35": "21888242871839275222246405745257275088548364400416034343698204186573661011969",
2146 "36": "21888242871839275222246405745257275088548364400416034343698204186575808495616",
2147 "37": "21888242871839275222246405745257275088548364400416034343698204186575808495615",
2148 "38": "21888242871839275222246405745257275088548364400416034343698204186575808495613",
2149 "39": "21888242871839275222246405745257275088548364400416034343698204186575808495609",
2150 "40": "21888242871839275222246405745257275088548364400416034343698204186575808495601",
2151 "41": "21888242871839275222246405745257275088548364400416034343698204186575808495585",
2152 "42": "21888242871839275222246405745257275088548364400416034343698204186575808495553",
2153 "43": "21888242871839275222246405745257275088548364400416034343698204186575808495489",
2154 "44": "21888242871839275222246405745257275088548364400416034343698204186575808495361",
2155 "45": "21888242871839275222246405745257275088548364400416034343698204186575808495105",
2156 "46": "21888242871839275222246405745257275088548364400416034343698204186575808494593",
2157 "47": "21888242871839275222246405745257275088548364400416034343698204186575808493569",
2158 "48": "21888242871839275222246405745257275088548364400416034343698204186575808491521",
2159 "49": "21888242871839275222246405745257275088548364400416034343698204186575808487425",
2160 "50": "21888242871839275222246405745257275088548364400416034343698204186575808479233",
2161 "51": "21888242871839275222246405745257275088548364400416034343698204186575808462849",
2162 "52": "21888242871839275222246405745257275088548364400416034343698204186575808430081",
2163 "53": "21888242871839275222246405745257275088548364400416034343698204186575808364545",
2164 "54": "21888242871839275222246405745257275088548364400416034343698204186575808233473",
2165 "55": "21888242871839275222246405745257275088548364400416034343698204186575807971329",
2166 "56": "21888242871839275222246405745257275088548364400416034343698204186575807447041",
2167 "57": "21888242871839275222246405745257275088548364400416034343698204186575806398465",
2168 "58": "21888242871839275222246405745257275088548364400416034343698204186575804301313",
2169 "59": "21888242871839275222246405745257275088548364400416034343698204186575800107009",
2170 "60": "21888242871839275222246405745257275088548364400416034343698204186575791718401",
2171 "61": "21888242871839275222246405745257275088548364400416034343698204186575774941185",
2172 "62": "21888242871839275222246405745257275088548364400416034343698204186575741386753",
2173 "63": "21888242871839275222246405745257275088548364400416034343698204186575674277889",
2174 "64": "21888242871839275222246405745257275088548364400416034343698204186575540060161",
2175 "65": "21888242871839275222246405745257275088548364400416034343698204186575271624705",
2176 "66": "21888242871839275222246405745257275088548364400416034343698204186574734753793",
2177 "67": "21888242871839275222246405745257275088548364400416034343698204186573661011969",
2178 "68": "1",
2179 "69": "2",
2180 "70": "4",
2181 "71": "8",
2182 "72": "16",
2183 "73": "32",
2184 "74": "64",
2185 "75": "128",
2186 "76": "256",
2187 "77": "512",
2188 "78": "1024",
2189 "79": "2048",
2190 "80": "4096",
2191 "81": "8192",
2192 "82": "16384",
2193 "83": "32768",
2194 "84": "65536",
2195 "85": "131072",
2196 "86": "262144",
2197 "87": "524288",
2198 "88": "1048576",
2199 "89": "2097152",
2200 "90": "4194304",
2201 "91": "8388608",
2202 "92": "16777216",
2203 "93": "33554432",
2204 "94": "67108864",
2205 "95": "134217728",
2206 "96": "268435456",
2207 "97": "536870912",
2208 "98": "1073741824",
2209 "99": "2147483648",
2210 "100": "4294967296"
2211 }
2212 ],
2213 [
2214 {},
2215 {},
2216 {
2217 "1": "21888242871839275222246405745257275088548364400416034343698204186575808495616",
2218 "68": "1",
2219 "69": "2",
2220 "70": "4",
2221 "71": "8",
2222 "72": "16",
2223 "73": "32",
2224 "74": "64",
2225 "75": "128",
2226 "76": "256",
2227 "77": "512",
2228 "78": "1024",
2229 "79": "2048",
2230 "80": "4096",
2231 "81": "8192",
2232 "82": "16384",
2233 "83": "32768",
2234 "84": "65536",
2235 "85": "131072",
2236 "86": "262144",
2237 "87": "524288",
2238 "88": "1048576",
2239 "89": "2097152",
2240 "90": "4194304",
2241 "91": "8388608",
2242 "92": "16777216",
2243 "93": "33554432",
2244 "94": "67108864",
2245 "95": "134217728",
2246 "96": "268435456",
2247 "97": "536870912",
2248 "98": "1073741824",
2249 "99": "2147483648"
2250 }
2251 ]
2252 ],
2253 "templates": {
2254 "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",
2255 "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",
2256 "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",
2257 "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"
2258 },
2259 "functions": {
2260 "nbits": {
2261 "params": [
2262 "a"
2263 ],
2264 "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"
2265 }
2266 },
2267 "nPrvInputs": 1,
2268 "nPubInputs": 1,
2269 "nInputs": 2,
2270 "nOutputs": 1,
2271 "nVars": 101,
2272 "nConstants": 0,
2273 "nSignals": 101
2274}