circom/sum.json
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 "0": "21888242871839275222246405745257275088548364400416034343698204186575808495616",
1165 "4": "1"
1166 },
1167 {}
1168 ],
1169 [
1170 {
1171 "5": "1"
1172 },
1173 {
1174 "0": "21888242871839275222246405745257275088548364400416034343698204186575808495616",
1175 "5": "1"
1176 },
1177 {}
1178 ],
1179 [
1180 {
1181 "6": "1"
1182 },
1183 {
1184 "0": "21888242871839275222246405745257275088548364400416034343698204186575808495616",
1185 "6": "1"
1186 },
1187 {}
1188 ],
1189 [
1190 {
1191 "7": "1"
1192 },
1193 {
1194 "0": "21888242871839275222246405745257275088548364400416034343698204186575808495616",
1195 "7": "1"
1196 },
1197 {}
1198 ],
1199 [
1200 {
1201 "8": "1"
1202 },
1203 {
1204 "0": "21888242871839275222246405745257275088548364400416034343698204186575808495616",
1205 "8": "1"
1206 },
1207 {}
1208 ],
1209 [
1210 {
1211 "9": "1"
1212 },
1213 {
1214 "0": "21888242871839275222246405745257275088548364400416034343698204186575808495616",
1215 "9": "1"
1216 },
1217 {}
1218 ],
1219 [
1220 {
1221 "10": "1"
1222 },
1223 {
1224 "0": "21888242871839275222246405745257275088548364400416034343698204186575808495616",
1225 "10": "1"
1226 },
1227 {}
1228 ],
1229 [
1230 {
1231 "11": "1"
1232 },
1233 {
1234 "0": "21888242871839275222246405745257275088548364400416034343698204186575808495616",
1235 "11": "1"
1236 },
1237 {}
1238 ],
1239 [
1240 {
1241 "12": "1"
1242 },
1243 {
1244 "0": "21888242871839275222246405745257275088548364400416034343698204186575808495616",
1245 "12": "1"
1246 },
1247 {}
1248 ],
1249 [
1250 {
1251 "13": "1"
1252 },
1253 {
1254 "0": "21888242871839275222246405745257275088548364400416034343698204186575808495616",
1255 "13": "1"
1256 },
1257 {}
1258 ],
1259 [
1260 {
1261 "14": "1"
1262 },
1263 {
1264 "0": "21888242871839275222246405745257275088548364400416034343698204186575808495616",
1265 "14": "1"
1266 },
1267 {}
1268 ],
1269 [
1270 {
1271 "15": "1"
1272 },
1273 {
1274 "0": "21888242871839275222246405745257275088548364400416034343698204186575808495616",
1275 "15": "1"
1276 },
1277 {}
1278 ],
1279 [
1280 {
1281 "16": "1"
1282 },
1283 {
1284 "0": "21888242871839275222246405745257275088548364400416034343698204186575808495616",
1285 "16": "1"
1286 },
1287 {}
1288 ],
1289 [
1290 {
1291 "17": "1"
1292 },
1293 {
1294 "0": "21888242871839275222246405745257275088548364400416034343698204186575808495616",
1295 "17": "1"
1296 },
1297 {}
1298 ],
1299 [
1300 {
1301 "18": "1"
1302 },
1303 {
1304 "0": "21888242871839275222246405745257275088548364400416034343698204186575808495616",
1305 "18": "1"
1306 },
1307 {}
1308 ],
1309 [
1310 {
1311 "19": "1"
1312 },
1313 {
1314 "0": "21888242871839275222246405745257275088548364400416034343698204186575808495616",
1315 "19": "1"
1316 },
1317 {}
1318 ],
1319 [
1320 {
1321 "20": "1"
1322 },
1323 {
1324 "0": "21888242871839275222246405745257275088548364400416034343698204186575808495616",
1325 "20": "1"
1326 },
1327 {}
1328 ],
1329 [
1330 {
1331 "21": "1"
1332 },
1333 {
1334 "0": "21888242871839275222246405745257275088548364400416034343698204186575808495616",
1335 "21": "1"
1336 },
1337 {}
1338 ],
1339 [
1340 {
1341 "22": "1"
1342 },
1343 {
1344 "0": "21888242871839275222246405745257275088548364400416034343698204186575808495616",
1345 "22": "1"
1346 },
1347 {}
1348 ],
1349 [
1350 {
1351 "23": "1"
1352 },
1353 {
1354 "0": "21888242871839275222246405745257275088548364400416034343698204186575808495616",
1355 "23": "1"
1356 },
1357 {}
1358 ],
1359 [
1360 {
1361 "24": "1"
1362 },
1363 {
1364 "0": "21888242871839275222246405745257275088548364400416034343698204186575808495616",
1365 "24": "1"
1366 },
1367 {}
1368 ],
1369 [
1370 {
1371 "25": "1"
1372 },
1373 {
1374 "0": "21888242871839275222246405745257275088548364400416034343698204186575808495616",
1375 "25": "1"
1376 },
1377 {}
1378 ],
1379 [
1380 {
1381 "26": "1"
1382 },
1383 {
1384 "0": "21888242871839275222246405745257275088548364400416034343698204186575808495616",
1385 "26": "1"
1386 },
1387 {}
1388 ],
1389 [
1390 {
1391 "27": "1"
1392 },
1393 {
1394 "0": "21888242871839275222246405745257275088548364400416034343698204186575808495616",
1395 "27": "1"
1396 },
1397 {}
1398 ],
1399 [
1400 {
1401 "28": "1"
1402 },
1403 {
1404 "0": "21888242871839275222246405745257275088548364400416034343698204186575808495616",
1405 "28": "1"
1406 },
1407 {}
1408 ],
1409 [
1410 {
1411 "29": "1"
1412 },
1413 {
1414 "0": "21888242871839275222246405745257275088548364400416034343698204186575808495616",
1415 "29": "1"
1416 },
1417 {}
1418 ],
1419 [
1420 {
1421 "30": "1"
1422 },
1423 {
1424 "0": "21888242871839275222246405745257275088548364400416034343698204186575808495616",
1425 "30": "1"
1426 },
1427 {}
1428 ],
1429 [
1430 {
1431 "31": "1"
1432 },
1433 {
1434 "0": "21888242871839275222246405745257275088548364400416034343698204186575808495616",
1435 "31": "1"
1436 },
1437 {}
1438 ],
1439 [
1440 {
1441 "32": "1"
1442 },
1443 {
1444 "0": "21888242871839275222246405745257275088548364400416034343698204186575808495616",
1445 "32": "1"
1446 },
1447 {}
1448 ],
1449 [
1450 {
1451 "33": "1"
1452 },
1453 {
1454 "0": "21888242871839275222246405745257275088548364400416034343698204186575808495616",
1455 "33": "1"
1456 },
1457 {}
1458 ],
1459 [
1460 {
1461 "34": "1"
1462 },
1463 {
1464 "0": "21888242871839275222246405745257275088548364400416034343698204186575808495616",
1465 "34": "1"
1466 },
1467 {}
1468 ],
1469 [
1470 {
1471 "35": "1"
1472 },
1473 {
1474 "0": "21888242871839275222246405745257275088548364400416034343698204186575808495616",
1475 "35": "1"
1476 },
1477 {}
1478 ],
1479 [
1480 {},
1481 {},
1482 {
1483 "3": "1",
1484 "4": "21888242871839275222246405745257275088548364400416034343698204186575808495616",
1485 "5": "21888242871839275222246405745257275088548364400416034343698204186575808495615",
1486 "6": "21888242871839275222246405745257275088548364400416034343698204186575808495613",
1487 "7": "21888242871839275222246405745257275088548364400416034343698204186575808495609",
1488 "8": "21888242871839275222246405745257275088548364400416034343698204186575808495601",
1489 "9": "21888242871839275222246405745257275088548364400416034343698204186575808495585",
1490 "10": "21888242871839275222246405745257275088548364400416034343698204186575808495553",
1491 "11": "21888242871839275222246405745257275088548364400416034343698204186575808495489",
1492 "12": "21888242871839275222246405745257275088548364400416034343698204186575808495361",
1493 "13": "21888242871839275222246405745257275088548364400416034343698204186575808495105",
1494 "14": "21888242871839275222246405745257275088548364400416034343698204186575808494593",
1495 "15": "21888242871839275222246405745257275088548364400416034343698204186575808493569",
1496 "16": "21888242871839275222246405745257275088548364400416034343698204186575808491521",
1497 "17": "21888242871839275222246405745257275088548364400416034343698204186575808487425",
1498 "18": "21888242871839275222246405745257275088548364400416034343698204186575808479233",
1499 "19": "21888242871839275222246405745257275088548364400416034343698204186575808462849",
1500 "20": "21888242871839275222246405745257275088548364400416034343698204186575808430081",
1501 "21": "21888242871839275222246405745257275088548364400416034343698204186575808364545",
1502 "22": "21888242871839275222246405745257275088548364400416034343698204186575808233473",
1503 "23": "21888242871839275222246405745257275088548364400416034343698204186575807971329",
1504 "24": "21888242871839275222246405745257275088548364400416034343698204186575807447041",
1505 "25": "21888242871839275222246405745257275088548364400416034343698204186575806398465",
1506 "26": "21888242871839275222246405745257275088548364400416034343698204186575804301313",
1507 "27": "21888242871839275222246405745257275088548364400416034343698204186575800107009",
1508 "28": "21888242871839275222246405745257275088548364400416034343698204186575791718401",
1509 "29": "21888242871839275222246405745257275088548364400416034343698204186575774941185",
1510 "30": "21888242871839275222246405745257275088548364400416034343698204186575741386753",
1511 "31": "21888242871839275222246405745257275088548364400416034343698204186575674277889",
1512 "32": "21888242871839275222246405745257275088548364400416034343698204186575540060161",
1513 "33": "21888242871839275222246405745257275088548364400416034343698204186575271624705",
1514 "34": "21888242871839275222246405745257275088548364400416034343698204186574734753793",
1515 "35": "21888242871839275222246405745257275088548364400416034343698204186573661011969"
1516 }
1517 ],
1518 [
1519 {
1520 "36": "1"
1521 },
1522 {
1523 "0": "21888242871839275222246405745257275088548364400416034343698204186575808495616",
1524 "36": "1"
1525 },
1526 {}
1527 ],
1528 [
1529 {
1530 "37": "1"
1531 },
1532 {
1533 "0": "21888242871839275222246405745257275088548364400416034343698204186575808495616",
1534 "37": "1"
1535 },
1536 {}
1537 ],
1538 [
1539 {
1540 "38": "1"
1541 },
1542 {
1543 "0": "21888242871839275222246405745257275088548364400416034343698204186575808495616",
1544 "38": "1"
1545 },
1546 {}
1547 ],
1548 [
1549 {
1550 "39": "1"
1551 },
1552 {
1553 "0": "21888242871839275222246405745257275088548364400416034343698204186575808495616",
1554 "39": "1"
1555 },
1556 {}
1557 ],
1558 [
1559 {
1560 "40": "1"
1561 },
1562 {
1563 "0": "21888242871839275222246405745257275088548364400416034343698204186575808495616",
1564 "40": "1"
1565 },
1566 {}
1567 ],
1568 [
1569 {
1570 "41": "1"
1571 },
1572 {
1573 "0": "21888242871839275222246405745257275088548364400416034343698204186575808495616",
1574 "41": "1"
1575 },
1576 {}
1577 ],
1578 [
1579 {
1580 "42": "1"
1581 },
1582 {
1583 "0": "21888242871839275222246405745257275088548364400416034343698204186575808495616",
1584 "42": "1"
1585 },
1586 {}
1587 ],
1588 [
1589 {
1590 "43": "1"
1591 },
1592 {
1593 "0": "21888242871839275222246405745257275088548364400416034343698204186575808495616",
1594 "43": "1"
1595 },
1596 {}
1597 ],
1598 [
1599 {
1600 "44": "1"
1601 },
1602 {
1603 "0": "21888242871839275222246405745257275088548364400416034343698204186575808495616",
1604 "44": "1"
1605 },
1606 {}
1607 ],
1608 [
1609 {
1610 "45": "1"
1611 },
1612 {
1613 "0": "21888242871839275222246405745257275088548364400416034343698204186575808495616",
1614 "45": "1"
1615 },
1616 {}
1617 ],
1618 [
1619 {
1620 "46": "1"
1621 },
1622 {
1623 "0": "21888242871839275222246405745257275088548364400416034343698204186575808495616",
1624 "46": "1"
1625 },
1626 {}
1627 ],
1628 [
1629 {
1630 "47": "1"
1631 },
1632 {
1633 "0": "21888242871839275222246405745257275088548364400416034343698204186575808495616",
1634 "47": "1"
1635 },
1636 {}
1637 ],
1638 [
1639 {
1640 "48": "1"
1641 },
1642 {
1643 "0": "21888242871839275222246405745257275088548364400416034343698204186575808495616",
1644 "48": "1"
1645 },
1646 {}
1647 ],
1648 [
1649 {
1650 "49": "1"
1651 },
1652 {
1653 "0": "21888242871839275222246405745257275088548364400416034343698204186575808495616",
1654 "49": "1"
1655 },
1656 {}
1657 ],
1658 [
1659 {
1660 "50": "1"
1661 },
1662 {
1663 "0": "21888242871839275222246405745257275088548364400416034343698204186575808495616",
1664 "50": "1"
1665 },
1666 {}
1667 ],
1668 [
1669 {
1670 "51": "1"
1671 },
1672 {
1673 "0": "21888242871839275222246405745257275088548364400416034343698204186575808495616",
1674 "51": "1"
1675 },
1676 {}
1677 ],
1678 [
1679 {
1680 "52": "1"
1681 },
1682 {
1683 "0": "21888242871839275222246405745257275088548364400416034343698204186575808495616",
1684 "52": "1"
1685 },
1686 {}
1687 ],
1688 [
1689 {
1690 "53": "1"
1691 },
1692 {
1693 "0": "21888242871839275222246405745257275088548364400416034343698204186575808495616",
1694 "53": "1"
1695 },
1696 {}
1697 ],
1698 [
1699 {
1700 "54": "1"
1701 },
1702 {
1703 "0": "21888242871839275222246405745257275088548364400416034343698204186575808495616",
1704 "54": "1"
1705 },
1706 {}
1707 ],
1708 [
1709 {
1710 "55": "1"
1711 },
1712 {
1713 "0": "21888242871839275222246405745257275088548364400416034343698204186575808495616",
1714 "55": "1"
1715 },
1716 {}
1717 ],
1718 [
1719 {
1720 "56": "1"
1721 },
1722 {
1723 "0": "21888242871839275222246405745257275088548364400416034343698204186575808495616",
1724 "56": "1"
1725 },
1726 {}
1727 ],
1728 [
1729 {
1730 "57": "1"
1731 },
1732 {
1733 "0": "21888242871839275222246405745257275088548364400416034343698204186575808495616",
1734 "57": "1"
1735 },
1736 {}
1737 ],
1738 [
1739 {
1740 "58": "1"
1741 },
1742 {
1743 "0": "21888242871839275222246405745257275088548364400416034343698204186575808495616",
1744 "58": "1"
1745 },
1746 {}
1747 ],
1748 [
1749 {
1750 "59": "1"
1751 },
1752 {
1753 "0": "21888242871839275222246405745257275088548364400416034343698204186575808495616",
1754 "59": "1"
1755 },
1756 {}
1757 ],
1758 [
1759 {
1760 "60": "1"
1761 },
1762 {
1763 "0": "21888242871839275222246405745257275088548364400416034343698204186575808495616",
1764 "60": "1"
1765 },
1766 {}
1767 ],
1768 [
1769 {
1770 "61": "1"
1771 },
1772 {
1773 "0": "21888242871839275222246405745257275088548364400416034343698204186575808495616",
1774 "61": "1"
1775 },
1776 {}
1777 ],
1778 [
1779 {
1780 "62": "1"
1781 },
1782 {
1783 "0": "21888242871839275222246405745257275088548364400416034343698204186575808495616",
1784 "62": "1"
1785 },
1786 {}
1787 ],
1788 [
1789 {
1790 "63": "1"
1791 },
1792 {
1793 "0": "21888242871839275222246405745257275088548364400416034343698204186575808495616",
1794 "63": "1"
1795 },
1796 {}
1797 ],
1798 [
1799 {
1800 "64": "1"
1801 },
1802 {
1803 "0": "21888242871839275222246405745257275088548364400416034343698204186575808495616",
1804 "64": "1"
1805 },
1806 {}
1807 ],
1808 [
1809 {
1810 "65": "1"
1811 },
1812 {
1813 "0": "21888242871839275222246405745257275088548364400416034343698204186575808495616",
1814 "65": "1"
1815 },
1816 {}
1817 ],
1818 [
1819 {
1820 "66": "1"
1821 },
1822 {
1823 "0": "21888242871839275222246405745257275088548364400416034343698204186575808495616",
1824 "66": "1"
1825 },
1826 {}
1827 ],
1828 [
1829 {
1830 "67": "1"
1831 },
1832 {
1833 "0": "21888242871839275222246405745257275088548364400416034343698204186575808495616",
1834 "67": "1"
1835 },
1836 {}
1837 ],
1838 [
1839 {},
1840 {},
1841 {
1842 "2": "1",
1843 "36": "21888242871839275222246405745257275088548364400416034343698204186575808495616",
1844 "37": "21888242871839275222246405745257275088548364400416034343698204186575808495615",
1845 "38": "21888242871839275222246405745257275088548364400416034343698204186575808495613",
1846 "39": "21888242871839275222246405745257275088548364400416034343698204186575808495609",
1847 "40": "21888242871839275222246405745257275088548364400416034343698204186575808495601",
1848 "41": "21888242871839275222246405745257275088548364400416034343698204186575808495585",
1849 "42": "21888242871839275222246405745257275088548364400416034343698204186575808495553",
1850 "43": "21888242871839275222246405745257275088548364400416034343698204186575808495489",
1851 "44": "21888242871839275222246405745257275088548364400416034343698204186575808495361",
1852 "45": "21888242871839275222246405745257275088548364400416034343698204186575808495105",
1853 "46": "21888242871839275222246405745257275088548364400416034343698204186575808494593",
1854 "47": "21888242871839275222246405745257275088548364400416034343698204186575808493569",
1855 "48": "21888242871839275222246405745257275088548364400416034343698204186575808491521",
1856 "49": "21888242871839275222246405745257275088548364400416034343698204186575808487425",
1857 "50": "21888242871839275222246405745257275088548364400416034343698204186575808479233",
1858 "51": "21888242871839275222246405745257275088548364400416034343698204186575808462849",
1859 "52": "21888242871839275222246405745257275088548364400416034343698204186575808430081",
1860 "53": "21888242871839275222246405745257275088548364400416034343698204186575808364545",
1861 "54": "21888242871839275222246405745257275088548364400416034343698204186575808233473",
1862 "55": "21888242871839275222246405745257275088548364400416034343698204186575807971329",
1863 "56": "21888242871839275222246405745257275088548364400416034343698204186575807447041",
1864 "57": "21888242871839275222246405745257275088548364400416034343698204186575806398465",
1865 "58": "21888242871839275222246405745257275088548364400416034343698204186575804301313",
1866 "59": "21888242871839275222246405745257275088548364400416034343698204186575800107009",
1867 "60": "21888242871839275222246405745257275088548364400416034343698204186575791718401",
1868 "61": "21888242871839275222246405745257275088548364400416034343698204186575774941185",
1869 "62": "21888242871839275222246405745257275088548364400416034343698204186575741386753",
1870 "63": "21888242871839275222246405745257275088548364400416034343698204186575674277889",
1871 "64": "21888242871839275222246405745257275088548364400416034343698204186575540060161",
1872 "65": "21888242871839275222246405745257275088548364400416034343698204186575271624705",
1873 "66": "21888242871839275222246405745257275088548364400416034343698204186574734753793",
1874 "67": "21888242871839275222246405745257275088548364400416034343698204186573661011969"
1875 }
1876 ],
1877 [
1878 {
1879 "68": "1"
1880 },
1881 {
1882 "0": "21888242871839275222246405745257275088548364400416034343698204186575808495616",
1883 "68": "1"
1884 },
1885 {}
1886 ],
1887 [
1888 {
1889 "69": "1"
1890 },
1891 {
1892 "0": "21888242871839275222246405745257275088548364400416034343698204186575808495616",
1893 "69": "1"
1894 },
1895 {}
1896 ],
1897 [
1898 {
1899 "70": "1"
1900 },
1901 {
1902 "0": "21888242871839275222246405745257275088548364400416034343698204186575808495616",
1903 "70": "1"
1904 },
1905 {}
1906 ],
1907 [
1908 {
1909 "71": "1"
1910 },
1911 {
1912 "0": "21888242871839275222246405745257275088548364400416034343698204186575808495616",
1913 "71": "1"
1914 },
1915 {}
1916 ],
1917 [
1918 {
1919 "72": "1"
1920 },
1921 {
1922 "0": "21888242871839275222246405745257275088548364400416034343698204186575808495616",
1923 "72": "1"
1924 },
1925 {}
1926 ],
1927 [
1928 {
1929 "73": "1"
1930 },
1931 {
1932 "0": "21888242871839275222246405745257275088548364400416034343698204186575808495616",
1933 "73": "1"
1934 },
1935 {}
1936 ],
1937 [
1938 {
1939 "74": "1"
1940 },
1941 {
1942 "0": "21888242871839275222246405745257275088548364400416034343698204186575808495616",
1943 "74": "1"
1944 },
1945 {}
1946 ],
1947 [
1948 {
1949 "75": "1"
1950 },
1951 {
1952 "0": "21888242871839275222246405745257275088548364400416034343698204186575808495616",
1953 "75": "1"
1954 },
1955 {}
1956 ],
1957 [
1958 {
1959 "76": "1"
1960 },
1961 {
1962 "0": "21888242871839275222246405745257275088548364400416034343698204186575808495616",
1963 "76": "1"
1964 },
1965 {}
1966 ],
1967 [
1968 {
1969 "77": "1"
1970 },
1971 {
1972 "0": "21888242871839275222246405745257275088548364400416034343698204186575808495616",
1973 "77": "1"
1974 },
1975 {}
1976 ],
1977 [
1978 {
1979 "78": "1"
1980 },
1981 {
1982 "0": "21888242871839275222246405745257275088548364400416034343698204186575808495616",
1983 "78": "1"
1984 },
1985 {}
1986 ],
1987 [
1988 {
1989 "79": "1"
1990 },
1991 {
1992 "0": "21888242871839275222246405745257275088548364400416034343698204186575808495616",
1993 "79": "1"
1994 },
1995 {}
1996 ],
1997 [
1998 {
1999 "80": "1"
2000 },
2001 {
2002 "0": "21888242871839275222246405745257275088548364400416034343698204186575808495616",
2003 "80": "1"
2004 },
2005 {}
2006 ],
2007 [
2008 {
2009 "81": "1"
2010 },
2011 {
2012 "0": "21888242871839275222246405745257275088548364400416034343698204186575808495616",
2013 "81": "1"
2014 },
2015 {}
2016 ],
2017 [
2018 {
2019 "82": "1"
2020 },
2021 {
2022 "0": "21888242871839275222246405745257275088548364400416034343698204186575808495616",
2023 "82": "1"
2024 },
2025 {}
2026 ],
2027 [
2028 {
2029 "83": "1"
2030 },
2031 {
2032 "0": "21888242871839275222246405745257275088548364400416034343698204186575808495616",
2033 "83": "1"
2034 },
2035 {}
2036 ],
2037 [
2038 {
2039 "84": "1"
2040 },
2041 {
2042 "0": "21888242871839275222246405745257275088548364400416034343698204186575808495616",
2043 "84": "1"
2044 },
2045 {}
2046 ],
2047 [
2048 {
2049 "85": "1"
2050 },
2051 {
2052 "0": "21888242871839275222246405745257275088548364400416034343698204186575808495616",
2053 "85": "1"
2054 },
2055 {}
2056 ],
2057 [
2058 {
2059 "86": "1"
2060 },
2061 {
2062 "0": "21888242871839275222246405745257275088548364400416034343698204186575808495616",
2063 "86": "1"
2064 },
2065 {}
2066 ],
2067 [
2068 {
2069 "87": "1"
2070 },
2071 {
2072 "0": "21888242871839275222246405745257275088548364400416034343698204186575808495616",
2073 "87": "1"
2074 },
2075 {}
2076 ],
2077 [
2078 {
2079 "88": "1"
2080 },
2081 {
2082 "0": "21888242871839275222246405745257275088548364400416034343698204186575808495616",
2083 "88": "1"
2084 },
2085 {}
2086 ],
2087 [
2088 {
2089 "89": "1"
2090 },
2091 {
2092 "0": "21888242871839275222246405745257275088548364400416034343698204186575808495616",
2093 "89": "1"
2094 },
2095 {}
2096 ],
2097 [
2098 {
2099 "90": "1"
2100 },
2101 {
2102 "0": "21888242871839275222246405745257275088548364400416034343698204186575808495616",
2103 "90": "1"
2104 },
2105 {}
2106 ],
2107 [
2108 {
2109 "91": "1"
2110 },
2111 {
2112 "0": "21888242871839275222246405745257275088548364400416034343698204186575808495616",
2113 "91": "1"
2114 },
2115 {}
2116 ],
2117 [
2118 {
2119 "92": "1"
2120 },
2121 {
2122 "0": "21888242871839275222246405745257275088548364400416034343698204186575808495616",
2123 "92": "1"
2124 },
2125 {}
2126 ],
2127 [
2128 {
2129 "93": "1"
2130 },
2131 {
2132 "0": "21888242871839275222246405745257275088548364400416034343698204186575808495616",
2133 "93": "1"
2134 },
2135 {}
2136 ],
2137 [
2138 {
2139 "94": "1"
2140 },
2141 {
2142 "0": "21888242871839275222246405745257275088548364400416034343698204186575808495616",
2143 "94": "1"
2144 },
2145 {}
2146 ],
2147 [
2148 {
2149 "95": "1"
2150 },
2151 {
2152 "0": "21888242871839275222246405745257275088548364400416034343698204186575808495616",
2153 "95": "1"
2154 },
2155 {}
2156 ],
2157 [
2158 {
2159 "96": "1"
2160 },
2161 {
2162 "0": "21888242871839275222246405745257275088548364400416034343698204186575808495616",
2163 "96": "1"
2164 },
2165 {}
2166 ],
2167 [
2168 {
2169 "97": "1"
2170 },
2171 {
2172 "0": "21888242871839275222246405745257275088548364400416034343698204186575808495616",
2173 "97": "1"
2174 },
2175 {}
2176 ],
2177 [
2178 {
2179 "98": "1"
2180 },
2181 {
2182 "0": "21888242871839275222246405745257275088548364400416034343698204186575808495616",
2183 "98": "1"
2184 },
2185 {}
2186 ],
2187 [
2188 {
2189 "99": "1"
2190 },
2191 {
2192 "0": "21888242871839275222246405745257275088548364400416034343698204186575808495616",
2193 "99": "1"
2194 },
2195 {}
2196 ],
2197 [
2198 {
2199 "100": "1"
2200 },
2201 {
2202 "0": "21888242871839275222246405745257275088548364400416034343698204186575808495616",
2203 "100": "1"
2204 },
2205 {}
2206 ],
2207 [
2208 {},
2209 {},
2210 {
2211 "4": "21888242871839275222246405745257275088548364400416034343698204186575808495616",
2212 "5": "21888242871839275222246405745257275088548364400416034343698204186575808495615",
2213 "6": "21888242871839275222246405745257275088548364400416034343698204186575808495613",
2214 "7": "21888242871839275222246405745257275088548364400416034343698204186575808495609",
2215 "8": "21888242871839275222246405745257275088548364400416034343698204186575808495601",
2216 "9": "21888242871839275222246405745257275088548364400416034343698204186575808495585",
2217 "10": "21888242871839275222246405745257275088548364400416034343698204186575808495553",
2218 "11": "21888242871839275222246405745257275088548364400416034343698204186575808495489",
2219 "12": "21888242871839275222246405745257275088548364400416034343698204186575808495361",
2220 "13": "21888242871839275222246405745257275088548364400416034343698204186575808495105",
2221 "14": "21888242871839275222246405745257275088548364400416034343698204186575808494593",
2222 "15": "21888242871839275222246405745257275088548364400416034343698204186575808493569",
2223 "16": "21888242871839275222246405745257275088548364400416034343698204186575808491521",
2224 "17": "21888242871839275222246405745257275088548364400416034343698204186575808487425",
2225 "18": "21888242871839275222246405745257275088548364400416034343698204186575808479233",
2226 "19": "21888242871839275222246405745257275088548364400416034343698204186575808462849",
2227 "20": "21888242871839275222246405745257275088548364400416034343698204186575808430081",
2228 "21": "21888242871839275222246405745257275088548364400416034343698204186575808364545",
2229 "22": "21888242871839275222246405745257275088548364400416034343698204186575808233473",
2230 "23": "21888242871839275222246405745257275088548364400416034343698204186575807971329",
2231 "24": "21888242871839275222246405745257275088548364400416034343698204186575807447041",
2232 "25": "21888242871839275222246405745257275088548364400416034343698204186575806398465",
2233 "26": "21888242871839275222246405745257275088548364400416034343698204186575804301313",
2234 "27": "21888242871839275222246405745257275088548364400416034343698204186575800107009",
2235 "28": "21888242871839275222246405745257275088548364400416034343698204186575791718401",
2236 "29": "21888242871839275222246405745257275088548364400416034343698204186575774941185",
2237 "30": "21888242871839275222246405745257275088548364400416034343698204186575741386753",
2238 "31": "21888242871839275222246405745257275088548364400416034343698204186575674277889",
2239 "32": "21888242871839275222246405745257275088548364400416034343698204186575540060161",
2240 "33": "21888242871839275222246405745257275088548364400416034343698204186575271624705",
2241 "34": "21888242871839275222246405745257275088548364400416034343698204186574734753793",
2242 "35": "21888242871839275222246405745257275088548364400416034343698204186573661011969",
2243 "36": "21888242871839275222246405745257275088548364400416034343698204186575808495616",
2244 "37": "21888242871839275222246405745257275088548364400416034343698204186575808495615",
2245 "38": "21888242871839275222246405745257275088548364400416034343698204186575808495613",
2246 "39": "21888242871839275222246405745257275088548364400416034343698204186575808495609",
2247 "40": "21888242871839275222246405745257275088548364400416034343698204186575808495601",
2248 "41": "21888242871839275222246405745257275088548364400416034343698204186575808495585",
2249 "42": "21888242871839275222246405745257275088548364400416034343698204186575808495553",
2250 "43": "21888242871839275222246405745257275088548364400416034343698204186575808495489",
2251 "44": "21888242871839275222246405745257275088548364400416034343698204186575808495361",
2252 "45": "21888242871839275222246405745257275088548364400416034343698204186575808495105",
2253 "46": "21888242871839275222246405745257275088548364400416034343698204186575808494593",
2254 "47": "21888242871839275222246405745257275088548364400416034343698204186575808493569",
2255 "48": "21888242871839275222246405745257275088548364400416034343698204186575808491521",
2256 "49": "21888242871839275222246405745257275088548364400416034343698204186575808487425",
2257 "50": "21888242871839275222246405745257275088548364400416034343698204186575808479233",
2258 "51": "21888242871839275222246405745257275088548364400416034343698204186575808462849",
2259 "52": "21888242871839275222246405745257275088548364400416034343698204186575808430081",
2260 "53": "21888242871839275222246405745257275088548364400416034343698204186575808364545",
2261 "54": "21888242871839275222246405745257275088548364400416034343698204186575808233473",
2262 "55": "21888242871839275222246405745257275088548364400416034343698204186575807971329",
2263 "56": "21888242871839275222246405745257275088548364400416034343698204186575807447041",
2264 "57": "21888242871839275222246405745257275088548364400416034343698204186575806398465",
2265 "58": "21888242871839275222246405745257275088548364400416034343698204186575804301313",
2266 "59": "21888242871839275222246405745257275088548364400416034343698204186575800107009",
2267 "60": "21888242871839275222246405745257275088548364400416034343698204186575791718401",
2268 "61": "21888242871839275222246405745257275088548364400416034343698204186575774941185",
2269 "62": "21888242871839275222246405745257275088548364400416034343698204186575741386753",
2270 "63": "21888242871839275222246405745257275088548364400416034343698204186575674277889",
2271 "64": "21888242871839275222246405745257275088548364400416034343698204186575540060161",
2272 "65": "21888242871839275222246405745257275088548364400416034343698204186575271624705",
2273 "66": "21888242871839275222246405745257275088548364400416034343698204186574734753793",
2274 "67": "21888242871839275222246405745257275088548364400416034343698204186573661011969",
2275 "68": "1",
2276 "69": "2",
2277 "70": "4",
2278 "71": "8",
2279 "72": "16",
2280 "73": "32",
2281 "74": "64",
2282 "75": "128",
2283 "76": "256",
2284 "77": "512",
2285 "78": "1024",
2286 "79": "2048",
2287 "80": "4096",
2288 "81": "8192",
2289 "82": "16384",
2290 "83": "32768",
2291 "84": "65536",
2292 "85": "131072",
2293 "86": "262144",
2294 "87": "524288",
2295 "88": "1048576",
2296 "89": "2097152",
2297 "90": "4194304",
2298 "91": "8388608",
2299 "92": "16777216",
2300 "93": "33554432",
2301 "94": "67108864",
2302 "95": "134217728",
2303 "96": "268435456",
2304 "97": "536870912",
2305 "98": "1073741824",
2306 "99": "2147483648",
2307 "100": "4294967296"
2308 }
2309 ],
2310 [
2311 {},
2312 {},
2313 {
2314 "1": "21888242871839275222246405745257275088548364400416034343698204186575808495616",
2315 "68": "1",
2316 "69": "2",
2317 "70": "4",
2318 "71": "8",
2319 "72": "16",
2320 "73": "32",
2321 "74": "64",
2322 "75": "128",
2323 "76": "256",
2324 "77": "512",
2325 "78": "1024",
2326 "79": "2048",
2327 "80": "4096",
2328 "81": "8192",
2329 "82": "16384",
2330 "83": "32768",
2331 "84": "65536",
2332 "85": "131072",
2333 "86": "262144",
2334 "87": "524288",
2335 "88": "1048576",
2336 "89": "2097152",
2337 "90": "4194304",
2338 "91": "8388608",
2339 "92": "16777216",
2340 "93": "33554432",
2341 "94": "67108864",
2342 "95": "134217728",
2343 "96": "268435456",
2344 "97": "536870912",
2345 "98": "1073741824",
2346 "99": "2147483648"
2347 }
2348 ]
2349 ],
2350 "templates": {
2351 "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",
2352 "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",
2353 "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",
2354 "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"
2355 },
2356 "functions": {
2357 "nbits": {
2358 "params": [
2359 "a"
2360 ],
2361 "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"
2362 }
2363 },
2364 "nPrvInputs": 1,
2365 "nPubInputs": 1,
2366 "nInputs": 2,
2367 "nOutputs": 1,
2368 "nVars": 101,
2369 "nConstants": 0,
2370 "nSignals": 101
2371}