circom/sum_test.js
sum_test.jsRaw
1const bigInt = require("big-integer");
2const __P__ = new bigInt("21888242871839275222246405745257275088696311157297823662689037894645226208583");
3const __MASK__ = new bigInt(2).pow(253).minus(1);
4const circuit = {};
5module.exports = circuit;
6
7circuit.signals={
8 "one": {
9 "fullName": "one",
10 "value": "1",
11 "equivalence": "",
12 "direction": "",
13 "id": 0
14 },
15 "main.a": {
16 "fullName": "main.a",
17 "direction": "IN",
18 "component": "main",
19 "equivalence": "",
20 "alias": [
21 "main.a"
22 ],
23 "id": 1
24 },
25 "main.b": {
26 "fullName": "main.b",
27 "direction": "IN",
28 "component": "main",
29 "equivalence": "",
30 "alias": [
31 "main.b"
32 ],
33 "id": 2
34 },
35 "main.out": {
36 "fullName": "main.out",
37 "direction": "OUT",
38 "component": "main",
39 "equivalence": "main.b2n.out",
40 "alias": [
41 "main.out",
42 null
43 ],
44 "id": 3
45 },
46 "main.n2ba.in": {
47 "fullName": "main.n2ba.in",
48 "direction": "IN",
49 "component": "main.n2ba",
50 "equivalence": "main.a",
51 "alias": [
52 "main.n2ba.in",
53 null
54 ],
55 "id": 1
56 },
57 "main.n2ba.out[0]": {
58 "fullName": "main.n2ba.out[0]",
59 "direction": "OUT",
60 "component": "main.n2ba",
61 "equivalence": "",
62 "alias": [
63 "main.n2ba.out[0]"
64 ],
65 "id": 4
66 },
67 "main.n2ba.out[1]": {
68 "fullName": "main.n2ba.out[1]",
69 "direction": "OUT",
70 "component": "main.n2ba",
71 "equivalence": "",
72 "alias": [
73 "main.n2ba.out[1]"
74 ],
75 "id": 5
76 },
77 "main.n2ba.out[2]": {
78 "fullName": "main.n2ba.out[2]",
79 "direction": "OUT",
80 "component": "main.n2ba",
81 "equivalence": "",
82 "alias": [
83 "main.n2ba.out[2]"
84 ],
85 "id": 6
86 },
87 "main.n2ba.out[3]": {
88 "fullName": "main.n2ba.out[3]",
89 "direction": "OUT",
90 "component": "main.n2ba",
91 "equivalence": "",
92 "alias": [
93 "main.n2ba.out[3]"
94 ],
95 "id": 7
96 },
97 "main.n2ba.out[4]": {
98 "fullName": "main.n2ba.out[4]",
99 "direction": "OUT",
100 "component": "main.n2ba",
101 "equivalence": "",
102 "alias": [
103 "main.n2ba.out[4]"
104 ],
105 "id": 8
106 },
107 "main.n2ba.out[5]": {
108 "fullName": "main.n2ba.out[5]",
109 "direction": "OUT",
110 "component": "main.n2ba",
111 "equivalence": "",
112 "alias": [
113 "main.n2ba.out[5]"
114 ],
115 "id": 9
116 },
117 "main.n2ba.out[6]": {
118 "fullName": "main.n2ba.out[6]",
119 "direction": "OUT",
120 "component": "main.n2ba",
121 "equivalence": "",
122 "alias": [
123 "main.n2ba.out[6]"
124 ],
125 "id": 10
126 },
127 "main.n2ba.out[7]": {
128 "fullName": "main.n2ba.out[7]",
129 "direction": "OUT",
130 "component": "main.n2ba",
131 "equivalence": "",
132 "alias": [
133 "main.n2ba.out[7]"
134 ],
135 "id": 11
136 },
137 "main.n2ba.out[8]": {
138 "fullName": "main.n2ba.out[8]",
139 "direction": "OUT",
140 "component": "main.n2ba",
141 "equivalence": "",
142 "alias": [
143 "main.n2ba.out[8]"
144 ],
145 "id": 12
146 },
147 "main.n2ba.out[9]": {
148 "fullName": "main.n2ba.out[9]",
149 "direction": "OUT",
150 "component": "main.n2ba",
151 "equivalence": "",
152 "alias": [
153 "main.n2ba.out[9]"
154 ],
155 "id": 13
156 },
157 "main.n2ba.out[10]": {
158 "fullName": "main.n2ba.out[10]",
159 "direction": "OUT",
160 "component": "main.n2ba",
161 "equivalence": "",
162 "alias": [
163 "main.n2ba.out[10]"
164 ],
165 "id": 14
166 },
167 "main.n2ba.out[11]": {
168 "fullName": "main.n2ba.out[11]",
169 "direction": "OUT",
170 "component": "main.n2ba",
171 "equivalence": "",
172 "alias": [
173 "main.n2ba.out[11]"
174 ],
175 "id": 15
176 },
177 "main.n2ba.out[12]": {
178 "fullName": "main.n2ba.out[12]",
179 "direction": "OUT",
180 "component": "main.n2ba",
181 "equivalence": "",
182 "alias": [
183 "main.n2ba.out[12]"
184 ],
185 "id": 16
186 },
187 "main.n2ba.out[13]": {
188 "fullName": "main.n2ba.out[13]",
189 "direction": "OUT",
190 "component": "main.n2ba",
191 "equivalence": "",
192 "alias": [
193 "main.n2ba.out[13]"
194 ],
195 "id": 17
196 },
197 "main.n2ba.out[14]": {
198 "fullName": "main.n2ba.out[14]",
199 "direction": "OUT",
200 "component": "main.n2ba",
201 "equivalence": "",
202 "alias": [
203 "main.n2ba.out[14]"
204 ],
205 "id": 18
206 },
207 "main.n2ba.out[15]": {
208 "fullName": "main.n2ba.out[15]",
209 "direction": "OUT",
210 "component": "main.n2ba",
211 "equivalence": "",
212 "alias": [
213 "main.n2ba.out[15]"
214 ],
215 "id": 19
216 },
217 "main.n2ba.out[16]": {
218 "fullName": "main.n2ba.out[16]",
219 "direction": "OUT",
220 "component": "main.n2ba",
221 "equivalence": "",
222 "alias": [
223 "main.n2ba.out[16]"
224 ],
225 "id": 20
226 },
227 "main.n2ba.out[17]": {
228 "fullName": "main.n2ba.out[17]",
229 "direction": "OUT",
230 "component": "main.n2ba",
231 "equivalence": "",
232 "alias": [
233 "main.n2ba.out[17]"
234 ],
235 "id": 21
236 },
237 "main.n2ba.out[18]": {
238 "fullName": "main.n2ba.out[18]",
239 "direction": "OUT",
240 "component": "main.n2ba",
241 "equivalence": "",
242 "alias": [
243 "main.n2ba.out[18]"
244 ],
245 "id": 22
246 },
247 "main.n2ba.out[19]": {
248 "fullName": "main.n2ba.out[19]",
249 "direction": "OUT",
250 "component": "main.n2ba",
251 "equivalence": "",
252 "alias": [
253 "main.n2ba.out[19]"
254 ],
255 "id": 23
256 },
257 "main.n2ba.out[20]": {
258 "fullName": "main.n2ba.out[20]",
259 "direction": "OUT",
260 "component": "main.n2ba",
261 "equivalence": "",
262 "alias": [
263 "main.n2ba.out[20]"
264 ],
265 "id": 24
266 },
267 "main.n2ba.out[21]": {
268 "fullName": "main.n2ba.out[21]",
269 "direction": "OUT",
270 "component": "main.n2ba",
271 "equivalence": "",
272 "alias": [
273 "main.n2ba.out[21]"
274 ],
275 "id": 25
276 },
277 "main.n2ba.out[22]": {
278 "fullName": "main.n2ba.out[22]",
279 "direction": "OUT",
280 "component": "main.n2ba",
281 "equivalence": "",
282 "alias": [
283 "main.n2ba.out[22]"
284 ],
285 "id": 26
286 },
287 "main.n2ba.out[23]": {
288 "fullName": "main.n2ba.out[23]",
289 "direction": "OUT",
290 "component": "main.n2ba",
291 "equivalence": "",
292 "alias": [
293 "main.n2ba.out[23]"
294 ],
295 "id": 27
296 },
297 "main.n2ba.out[24]": {
298 "fullName": "main.n2ba.out[24]",
299 "direction": "OUT",
300 "component": "main.n2ba",
301 "equivalence": "",
302 "alias": [
303 "main.n2ba.out[24]"
304 ],
305 "id": 28
306 },
307 "main.n2ba.out[25]": {
308 "fullName": "main.n2ba.out[25]",
309 "direction": "OUT",
310 "component": "main.n2ba",
311 "equivalence": "",
312 "alias": [
313 "main.n2ba.out[25]"
314 ],
315 "id": 29
316 },
317 "main.n2ba.out[26]": {
318 "fullName": "main.n2ba.out[26]",
319 "direction": "OUT",
320 "component": "main.n2ba",
321 "equivalence": "",
322 "alias": [
323 "main.n2ba.out[26]"
324 ],
325 "id": 30
326 },
327 "main.n2ba.out[27]": {
328 "fullName": "main.n2ba.out[27]",
329 "direction": "OUT",
330 "component": "main.n2ba",
331 "equivalence": "",
332 "alias": [
333 "main.n2ba.out[27]"
334 ],
335 "id": 31
336 },
337 "main.n2ba.out[28]": {
338 "fullName": "main.n2ba.out[28]",
339 "direction": "OUT",
340 "component": "main.n2ba",
341 "equivalence": "",
342 "alias": [
343 "main.n2ba.out[28]"
344 ],
345 "id": 32
346 },
347 "main.n2ba.out[29]": {
348 "fullName": "main.n2ba.out[29]",
349 "direction": "OUT",
350 "component": "main.n2ba",
351 "equivalence": "",
352 "alias": [
353 "main.n2ba.out[29]"
354 ],
355 "id": 33
356 },
357 "main.n2ba.out[30]": {
358 "fullName": "main.n2ba.out[30]",
359 "direction": "OUT",
360 "component": "main.n2ba",
361 "equivalence": "",
362 "alias": [
363 "main.n2ba.out[30]"
364 ],
365 "id": 34
366 },
367 "main.n2ba.out[31]": {
368 "fullName": "main.n2ba.out[31]",
369 "direction": "OUT",
370 "component": "main.n2ba",
371 "equivalence": "",
372 "alias": [
373 "main.n2ba.out[31]"
374 ],
375 "id": 35
376 },
377 "main.n2bb.in": {
378 "fullName": "main.n2bb.in",
379 "direction": "IN",
380 "component": "main.n2bb",
381 "equivalence": "main.b",
382 "alias": [
383 "main.n2bb.in",
384 null
385 ],
386 "id": 2
387 },
388 "main.n2bb.out[0]": {
389 "fullName": "main.n2bb.out[0]",
390 "direction": "OUT",
391 "component": "main.n2bb",
392 "equivalence": "",
393 "alias": [
394 "main.n2bb.out[0]"
395 ],
396 "id": 36
397 },
398 "main.n2bb.out[1]": {
399 "fullName": "main.n2bb.out[1]",
400 "direction": "OUT",
401 "component": "main.n2bb",
402 "equivalence": "",
403 "alias": [
404 "main.n2bb.out[1]"
405 ],
406 "id": 37
407 },
408 "main.n2bb.out[2]": {
409 "fullName": "main.n2bb.out[2]",
410 "direction": "OUT",
411 "component": "main.n2bb",
412 "equivalence": "",
413 "alias": [
414 "main.n2bb.out[2]"
415 ],
416 "id": 38
417 },
418 "main.n2bb.out[3]": {
419 "fullName": "main.n2bb.out[3]",
420 "direction": "OUT",
421 "component": "main.n2bb",
422 "equivalence": "",
423 "alias": [
424 "main.n2bb.out[3]"
425 ],
426 "id": 39
427 },
428 "main.n2bb.out[4]": {
429 "fullName": "main.n2bb.out[4]",
430 "direction": "OUT",
431 "component": "main.n2bb",
432 "equivalence": "",
433 "alias": [
434 "main.n2bb.out[4]"
435 ],
436 "id": 40
437 },
438 "main.n2bb.out[5]": {
439 "fullName": "main.n2bb.out[5]",
440 "direction": "OUT",
441 "component": "main.n2bb",
442 "equivalence": "",
443 "alias": [
444 "main.n2bb.out[5]"
445 ],
446 "id": 41
447 },
448 "main.n2bb.out[6]": {
449 "fullName": "main.n2bb.out[6]",
450 "direction": "OUT",
451 "component": "main.n2bb",
452 "equivalence": "",
453 "alias": [
454 "main.n2bb.out[6]"
455 ],
456 "id": 42
457 },
458 "main.n2bb.out[7]": {
459 "fullName": "main.n2bb.out[7]",
460 "direction": "OUT",
461 "component": "main.n2bb",
462 "equivalence": "",
463 "alias": [
464 "main.n2bb.out[7]"
465 ],
466 "id": 43
467 },
468 "main.n2bb.out[8]": {
469 "fullName": "main.n2bb.out[8]",
470 "direction": "OUT",
471 "component": "main.n2bb",
472 "equivalence": "",
473 "alias": [
474 "main.n2bb.out[8]"
475 ],
476 "id": 44
477 },
478 "main.n2bb.out[9]": {
479 "fullName": "main.n2bb.out[9]",
480 "direction": "OUT",
481 "component": "main.n2bb",
482 "equivalence": "",
483 "alias": [
484 "main.n2bb.out[9]"
485 ],
486 "id": 45
487 },
488 "main.n2bb.out[10]": {
489 "fullName": "main.n2bb.out[10]",
490 "direction": "OUT",
491 "component": "main.n2bb",
492 "equivalence": "",
493 "alias": [
494 "main.n2bb.out[10]"
495 ],
496 "id": 46
497 },
498 "main.n2bb.out[11]": {
499 "fullName": "main.n2bb.out[11]",
500 "direction": "OUT",
501 "component": "main.n2bb",
502 "equivalence": "",
503 "alias": [
504 "main.n2bb.out[11]"
505 ],
506 "id": 47
507 },
508 "main.n2bb.out[12]": {
509 "fullName": "main.n2bb.out[12]",
510 "direction": "OUT",
511 "component": "main.n2bb",
512 "equivalence": "",
513 "alias": [
514 "main.n2bb.out[12]"
515 ],
516 "id": 48
517 },
518 "main.n2bb.out[13]": {
519 "fullName": "main.n2bb.out[13]",
520 "direction": "OUT",
521 "component": "main.n2bb",
522 "equivalence": "",
523 "alias": [
524 "main.n2bb.out[13]"
525 ],
526 "id": 49
527 },
528 "main.n2bb.out[14]": {
529 "fullName": "main.n2bb.out[14]",
530 "direction": "OUT",
531 "component": "main.n2bb",
532 "equivalence": "",
533 "alias": [
534 "main.n2bb.out[14]"
535 ],
536 "id": 50
537 },
538 "main.n2bb.out[15]": {
539 "fullName": "main.n2bb.out[15]",
540 "direction": "OUT",
541 "component": "main.n2bb",
542 "equivalence": "",
543 "alias": [
544 "main.n2bb.out[15]"
545 ],
546 "id": 51
547 },
548 "main.n2bb.out[16]": {
549 "fullName": "main.n2bb.out[16]",
550 "direction": "OUT",
551 "component": "main.n2bb",
552 "equivalence": "",
553 "alias": [
554 "main.n2bb.out[16]"
555 ],
556 "id": 52
557 },
558 "main.n2bb.out[17]": {
559 "fullName": "main.n2bb.out[17]",
560 "direction": "OUT",
561 "component": "main.n2bb",
562 "equivalence": "",
563 "alias": [
564 "main.n2bb.out[17]"
565 ],
566 "id": 53
567 },
568 "main.n2bb.out[18]": {
569 "fullName": "main.n2bb.out[18]",
570 "direction": "OUT",
571 "component": "main.n2bb",
572 "equivalence": "",
573 "alias": [
574 "main.n2bb.out[18]"
575 ],
576 "id": 54
577 },
578 "main.n2bb.out[19]": {
579 "fullName": "main.n2bb.out[19]",
580 "direction": "OUT",
581 "component": "main.n2bb",
582 "equivalence": "",
583 "alias": [
584 "main.n2bb.out[19]"
585 ],
586 "id": 55
587 },
588 "main.n2bb.out[20]": {
589 "fullName": "main.n2bb.out[20]",
590 "direction": "OUT",
591 "component": "main.n2bb",
592 "equivalence": "",
593 "alias": [
594 "main.n2bb.out[20]"
595 ],
596 "id": 56
597 },
598 "main.n2bb.out[21]": {
599 "fullName": "main.n2bb.out[21]",
600 "direction": "OUT",
601 "component": "main.n2bb",
602 "equivalence": "",
603 "alias": [
604 "main.n2bb.out[21]"
605 ],
606 "id": 57
607 },
608 "main.n2bb.out[22]": {
609 "fullName": "main.n2bb.out[22]",
610 "direction": "OUT",
611 "component": "main.n2bb",
612 "equivalence": "",
613 "alias": [
614 "main.n2bb.out[22]"
615 ],
616 "id": 58
617 },
618 "main.n2bb.out[23]": {
619 "fullName": "main.n2bb.out[23]",
620 "direction": "OUT",
621 "component": "main.n2bb",
622 "equivalence": "",
623 "alias": [
624 "main.n2bb.out[23]"
625 ],
626 "id": 59
627 },
628 "main.n2bb.out[24]": {
629 "fullName": "main.n2bb.out[24]",
630 "direction": "OUT",
631 "component": "main.n2bb",
632 "equivalence": "",
633 "alias": [
634 "main.n2bb.out[24]"
635 ],
636 "id": 60
637 },
638 "main.n2bb.out[25]": {
639 "fullName": "main.n2bb.out[25]",
640 "direction": "OUT",
641 "component": "main.n2bb",
642 "equivalence": "",
643 "alias": [
644 "main.n2bb.out[25]"
645 ],
646 "id": 61
647 },
648 "main.n2bb.out[26]": {
649 "fullName": "main.n2bb.out[26]",
650 "direction": "OUT",
651 "component": "main.n2bb",
652 "equivalence": "",
653 "alias": [
654 "main.n2bb.out[26]"
655 ],
656 "id": 62
657 },
658 "main.n2bb.out[27]": {
659 "fullName": "main.n2bb.out[27]",
660 "direction": "OUT",
661 "component": "main.n2bb",
662 "equivalence": "",
663 "alias": [
664 "main.n2bb.out[27]"
665 ],
666 "id": 63
667 },
668 "main.n2bb.out[28]": {
669 "fullName": "main.n2bb.out[28]",
670 "direction": "OUT",
671 "component": "main.n2bb",
672 "equivalence": "",
673 "alias": [
674 "main.n2bb.out[28]"
675 ],
676 "id": 64
677 },
678 "main.n2bb.out[29]": {
679 "fullName": "main.n2bb.out[29]",
680 "direction": "OUT",
681 "component": "main.n2bb",
682 "equivalence": "",
683 "alias": [
684 "main.n2bb.out[29]"
685 ],
686 "id": 65
687 },
688 "main.n2bb.out[30]": {
689 "fullName": "main.n2bb.out[30]",
690 "direction": "OUT",
691 "component": "main.n2bb",
692 "equivalence": "",
693 "alias": [
694 "main.n2bb.out[30]"
695 ],
696 "id": 66
697 },
698 "main.n2bb.out[31]": {
699 "fullName": "main.n2bb.out[31]",
700 "direction": "OUT",
701 "component": "main.n2bb",
702 "equivalence": "",
703 "alias": [
704 "main.n2bb.out[31]"
705 ],
706 "id": 67
707 },
708 "main.sum.in[0][0]": {
709 "fullName": "main.sum.in[0][0]",
710 "direction": "IN",
711 "component": "main.sum",
712 "equivalence": "main.n2ba.out[0]",
713 "alias": [
714 "main.sum.in[0][0]",
715 null
716 ],
717 "id": 4
718 },
719 "main.sum.in[0][1]": {
720 "fullName": "main.sum.in[0][1]",
721 "direction": "IN",
722 "component": "main.sum",
723 "equivalence": "main.n2ba.out[1]",
724 "alias": [
725 "main.sum.in[0][1]",
726 null
727 ],
728 "id": 5
729 },
730 "main.sum.in[0][2]": {
731 "fullName": "main.sum.in[0][2]",
732 "direction": "IN",
733 "component": "main.sum",
734 "equivalence": "main.n2ba.out[2]",
735 "alias": [
736 "main.sum.in[0][2]",
737 null
738 ],
739 "id": 6
740 },
741 "main.sum.in[0][3]": {
742 "fullName": "main.sum.in[0][3]",
743 "direction": "IN",
744 "component": "main.sum",
745 "equivalence": "main.n2ba.out[3]",
746 "alias": [
747 "main.sum.in[0][3]",
748 null
749 ],
750 "id": 7
751 },
752 "main.sum.in[0][4]": {
753 "fullName": "main.sum.in[0][4]",
754 "direction": "IN",
755 "component": "main.sum",
756 "equivalence": "main.n2ba.out[4]",
757 "alias": [
758 "main.sum.in[0][4]",
759 null
760 ],
761 "id": 8
762 },
763 "main.sum.in[0][5]": {
764 "fullName": "main.sum.in[0][5]",
765 "direction": "IN",
766 "component": "main.sum",
767 "equivalence": "main.n2ba.out[5]",
768 "alias": [
769 "main.sum.in[0][5]",
770 null
771 ],
772 "id": 9
773 },
774 "main.sum.in[0][6]": {
775 "fullName": "main.sum.in[0][6]",
776 "direction": "IN",
777 "component": "main.sum",
778 "equivalence": "main.n2ba.out[6]",
779 "alias": [
780 "main.sum.in[0][6]",
781 null
782 ],
783 "id": 10
784 },
785 "main.sum.in[0][7]": {
786 "fullName": "main.sum.in[0][7]",
787 "direction": "IN",
788 "component": "main.sum",
789 "equivalence": "main.n2ba.out[7]",
790 "alias": [
791 "main.sum.in[0][7]",
792 null
793 ],
794 "id": 11
795 },
796 "main.sum.in[0][8]": {
797 "fullName": "main.sum.in[0][8]",
798 "direction": "IN",
799 "component": "main.sum",
800 "equivalence": "main.n2ba.out[8]",
801 "alias": [
802 "main.sum.in[0][8]",
803 null
804 ],
805 "id": 12
806 },
807 "main.sum.in[0][9]": {
808 "fullName": "main.sum.in[0][9]",
809 "direction": "IN",
810 "component": "main.sum",
811 "equivalence": "main.n2ba.out[9]",
812 "alias": [
813 "main.sum.in[0][9]",
814 null
815 ],
816 "id": 13
817 },
818 "main.sum.in[0][10]": {
819 "fullName": "main.sum.in[0][10]",
820 "direction": "IN",
821 "component": "main.sum",
822 "equivalence": "main.n2ba.out[10]",
823 "alias": [
824 "main.sum.in[0][10]",
825 null
826 ],
827 "id": 14
828 },
829 "main.sum.in[0][11]": {
830 "fullName": "main.sum.in[0][11]",
831 "direction": "IN",
832 "component": "main.sum",
833 "equivalence": "main.n2ba.out[11]",
834 "alias": [
835 "main.sum.in[0][11]",
836 null
837 ],
838 "id": 15
839 },
840 "main.sum.in[0][12]": {
841 "fullName": "main.sum.in[0][12]",
842 "direction": "IN",
843 "component": "main.sum",
844 "equivalence": "main.n2ba.out[12]",
845 "alias": [
846 "main.sum.in[0][12]",
847 null
848 ],
849 "id": 16
850 },
851 "main.sum.in[0][13]": {
852 "fullName": "main.sum.in[0][13]",
853 "direction": "IN",
854 "component": "main.sum",
855 "equivalence": "main.n2ba.out[13]",
856 "alias": [
857 "main.sum.in[0][13]",
858 null
859 ],
860 "id": 17
861 },
862 "main.sum.in[0][14]": {
863 "fullName": "main.sum.in[0][14]",
864 "direction": "IN",
865 "component": "main.sum",
866 "equivalence": "main.n2ba.out[14]",
867 "alias": [
868 "main.sum.in[0][14]",
869 null
870 ],
871 "id": 18
872 },
873 "main.sum.in[0][15]": {
874 "fullName": "main.sum.in[0][15]",
875 "direction": "IN",
876 "component": "main.sum",
877 "equivalence": "main.n2ba.out[15]",
878 "alias": [
879 "main.sum.in[0][15]",
880 null
881 ],
882 "id": 19
883 },
884 "main.sum.in[0][16]": {
885 "fullName": "main.sum.in[0][16]",
886 "direction": "IN",
887 "component": "main.sum",
888 "equivalence": "main.n2ba.out[16]",
889 "alias": [
890 "main.sum.in[0][16]",
891 null
892 ],
893 "id": 20
894 },
895 "main.sum.in[0][17]": {
896 "fullName": "main.sum.in[0][17]",
897 "direction": "IN",
898 "component": "main.sum",
899 "equivalence": "main.n2ba.out[17]",
900 "alias": [
901 "main.sum.in[0][17]",
902 null
903 ],
904 "id": 21
905 },
906 "main.sum.in[0][18]": {
907 "fullName": "main.sum.in[0][18]",
908 "direction": "IN",
909 "component": "main.sum",
910 "equivalence": "main.n2ba.out[18]",
911 "alias": [
912 "main.sum.in[0][18]",
913 null
914 ],
915 "id": 22
916 },
917 "main.sum.in[0][19]": {
918 "fullName": "main.sum.in[0][19]",
919 "direction": "IN",
920 "component": "main.sum",
921 "equivalence": "main.n2ba.out[19]",
922 "alias": [
923 "main.sum.in[0][19]",
924 null
925 ],
926 "id": 23
927 },
928 "main.sum.in[0][20]": {
929 "fullName": "main.sum.in[0][20]",
930 "direction": "IN",
931 "component": "main.sum",
932 "equivalence": "main.n2ba.out[20]",
933 "alias": [
934 "main.sum.in[0][20]",
935 null
936 ],
937 "id": 24
938 },
939 "main.sum.in[0][21]": {
940 "fullName": "main.sum.in[0][21]",
941 "direction": "IN",
942 "component": "main.sum",
943 "equivalence": "main.n2ba.out[21]",
944 "alias": [
945 "main.sum.in[0][21]",
946 null
947 ],
948 "id": 25
949 },
950 "main.sum.in[0][22]": {
951 "fullName": "main.sum.in[0][22]",
952 "direction": "IN",
953 "component": "main.sum",
954 "equivalence": "main.n2ba.out[22]",
955 "alias": [
956 "main.sum.in[0][22]",
957 null
958 ],
959 "id": 26
960 },
961 "main.sum.in[0][23]": {
962 "fullName": "main.sum.in[0][23]",
963 "direction": "IN",
964 "component": "main.sum",
965 "equivalence": "main.n2ba.out[23]",
966 "alias": [
967 "main.sum.in[0][23]",
968 null
969 ],
970 "id": 27
971 },
972 "main.sum.in[0][24]": {
973 "fullName": "main.sum.in[0][24]",
974 "direction": "IN",
975 "component": "main.sum",
976 "equivalence": "main.n2ba.out[24]",
977 "alias": [
978 "main.sum.in[0][24]",
979 null
980 ],
981 "id": 28
982 },
983 "main.sum.in[0][25]": {
984 "fullName": "main.sum.in[0][25]",
985 "direction": "IN",
986 "component": "main.sum",
987 "equivalence": "main.n2ba.out[25]",
988 "alias": [
989 "main.sum.in[0][25]",
990 null
991 ],
992 "id": 29
993 },
994 "main.sum.in[0][26]": {
995 "fullName": "main.sum.in[0][26]",
996 "direction": "IN",
997 "component": "main.sum",
998 "equivalence": "main.n2ba.out[26]",
999 "alias": [
1000 "main.sum.in[0][26]",
1001 null
1002 ],
1003 "id": 30
1004 },
1005 "main.sum.in[0][27]": {
1006 "fullName": "main.sum.in[0][27]",
1007 "direction": "IN",
1008 "component": "main.sum",
1009 "equivalence": "main.n2ba.out[27]",
1010 "alias": [
1011 "main.sum.in[0][27]",
1012 null
1013 ],
1014 "id": 31
1015 },
1016 "main.sum.in[0][28]": {
1017 "fullName": "main.sum.in[0][28]",
1018 "direction": "IN",
1019 "component": "main.sum",
1020 "equivalence": "main.n2ba.out[28]",
1021 "alias": [
1022 "main.sum.in[0][28]",
1023 null
1024 ],
1025 "id": 32
1026 },
1027 "main.sum.in[0][29]": {
1028 "fullName": "main.sum.in[0][29]",
1029 "direction": "IN",
1030 "component": "main.sum",
1031 "equivalence": "main.n2ba.out[29]",
1032 "alias": [
1033 "main.sum.in[0][29]",
1034 null
1035 ],
1036 "id": 33
1037 },
1038 "main.sum.in[0][30]": {
1039 "fullName": "main.sum.in[0][30]",
1040 "direction": "IN",
1041 "component": "main.sum",
1042 "equivalence": "main.n2ba.out[30]",
1043 "alias": [
1044 "main.sum.in[0][30]",
1045 null
1046 ],
1047 "id": 34
1048 },
1049 "main.sum.in[0][31]": {
1050 "fullName": "main.sum.in[0][31]",
1051 "direction": "IN",
1052 "component": "main.sum",
1053 "equivalence": "main.n2ba.out[31]",
1054 "alias": [
1055 "main.sum.in[0][31]",
1056 null
1057 ],
1058 "id": 35
1059 },
1060 "main.sum.in[1][0]": {
1061 "fullName": "main.sum.in[1][0]",
1062 "direction": "IN",
1063 "component": "main.sum",
1064 "equivalence": "main.n2bb.out[0]",
1065 "alias": [
1066 "main.sum.in[1][0]",
1067 null
1068 ],
1069 "id": 36
1070 },
1071 "main.sum.in[1][1]": {
1072 "fullName": "main.sum.in[1][1]",
1073 "direction": "IN",
1074 "component": "main.sum",
1075 "equivalence": "main.n2bb.out[1]",
1076 "alias": [
1077 "main.sum.in[1][1]",
1078 null
1079 ],
1080 "id": 37
1081 },
1082 "main.sum.in[1][2]": {
1083 "fullName": "main.sum.in[1][2]",
1084 "direction": "IN",
1085 "component": "main.sum",
1086 "equivalence": "main.n2bb.out[2]",
1087 "alias": [
1088 "main.sum.in[1][2]",
1089 null
1090 ],
1091 "id": 38
1092 },
1093 "main.sum.in[1][3]": {
1094 "fullName": "main.sum.in[1][3]",
1095 "direction": "IN",
1096 "component": "main.sum",
1097 "equivalence": "main.n2bb.out[3]",
1098 "alias": [
1099 "main.sum.in[1][3]",
1100 null
1101 ],
1102 "id": 39
1103 },
1104 "main.sum.in[1][4]": {
1105 "fullName": "main.sum.in[1][4]",
1106 "direction": "IN",
1107 "component": "main.sum",
1108 "equivalence": "main.n2bb.out[4]",
1109 "alias": [
1110 "main.sum.in[1][4]",
1111 null
1112 ],
1113 "id": 40
1114 },
1115 "main.sum.in[1][5]": {
1116 "fullName": "main.sum.in[1][5]",
1117 "direction": "IN",
1118 "component": "main.sum",
1119 "equivalence": "main.n2bb.out[5]",
1120 "alias": [
1121 "main.sum.in[1][5]",
1122 null
1123 ],
1124 "id": 41
1125 },
1126 "main.sum.in[1][6]": {
1127 "fullName": "main.sum.in[1][6]",
1128 "direction": "IN",
1129 "component": "main.sum",
1130 "equivalence": "main.n2bb.out[6]",
1131 "alias": [
1132 "main.sum.in[1][6]",
1133 null
1134 ],
1135 "id": 42
1136 },
1137 "main.sum.in[1][7]": {
1138 "fullName": "main.sum.in[1][7]",
1139 "direction": "IN",
1140 "component": "main.sum",
1141 "equivalence": "main.n2bb.out[7]",
1142 "alias": [
1143 "main.sum.in[1][7]",
1144 null
1145 ],
1146 "id": 43
1147 },
1148 "main.sum.in[1][8]": {
1149 "fullName": "main.sum.in[1][8]",
1150 "direction": "IN",
1151 "component": "main.sum",
1152 "equivalence": "main.n2bb.out[8]",
1153 "alias": [
1154 "main.sum.in[1][8]",
1155 null
1156 ],
1157 "id": 44
1158 },
1159 "main.sum.in[1][9]": {
1160 "fullName": "main.sum.in[1][9]",
1161 "direction": "IN",
1162 "component": "main.sum",
1163 "equivalence": "main.n2bb.out[9]",
1164 "alias": [
1165 "main.sum.in[1][9]",
1166 null
1167 ],
1168 "id": 45
1169 },
1170 "main.sum.in[1][10]": {
1171 "fullName": "main.sum.in[1][10]",
1172 "direction": "IN",
1173 "component": "main.sum",
1174 "equivalence": "main.n2bb.out[10]",
1175 "alias": [
1176 "main.sum.in[1][10]",
1177 null
1178 ],
1179 "id": 46
1180 },
1181 "main.sum.in[1][11]": {
1182 "fullName": "main.sum.in[1][11]",
1183 "direction": "IN",
1184 "component": "main.sum",
1185 "equivalence": "main.n2bb.out[11]",
1186 "alias": [
1187 "main.sum.in[1][11]",
1188 null
1189 ],
1190 "id": 47
1191 },
1192 "main.sum.in[1][12]": {
1193 "fullName": "main.sum.in[1][12]",
1194 "direction": "IN",
1195 "component": "main.sum",
1196 "equivalence": "main.n2bb.out[12]",
1197 "alias": [
1198 "main.sum.in[1][12]",
1199 null
1200 ],
1201 "id": 48
1202 },
1203 "main.sum.in[1][13]": {
1204 "fullName": "main.sum.in[1][13]",
1205 "direction": "IN",
1206 "component": "main.sum",
1207 "equivalence": "main.n2bb.out[13]",
1208 "alias": [
1209 "main.sum.in[1][13]",
1210 null
1211 ],
1212 "id": 49
1213 },
1214 "main.sum.in[1][14]": {
1215 "fullName": "main.sum.in[1][14]",
1216 "direction": "IN",
1217 "component": "main.sum",
1218 "equivalence": "main.n2bb.out[14]",
1219 "alias": [
1220 "main.sum.in[1][14]",
1221 null
1222 ],
1223 "id": 50
1224 },
1225 "main.sum.in[1][15]": {
1226 "fullName": "main.sum.in[1][15]",
1227 "direction": "IN",
1228 "component": "main.sum",
1229 "equivalence": "main.n2bb.out[15]",
1230 "alias": [
1231 "main.sum.in[1][15]",
1232 null
1233 ],
1234 "id": 51
1235 },
1236 "main.sum.in[1][16]": {
1237 "fullName": "main.sum.in[1][16]",
1238 "direction": "IN",
1239 "component": "main.sum",
1240 "equivalence": "main.n2bb.out[16]",
1241 "alias": [
1242 "main.sum.in[1][16]",
1243 null
1244 ],
1245 "id": 52
1246 },
1247 "main.sum.in[1][17]": {
1248 "fullName": "main.sum.in[1][17]",
1249 "direction": "IN",
1250 "component": "main.sum",
1251 "equivalence": "main.n2bb.out[17]",
1252 "alias": [
1253 "main.sum.in[1][17]",
1254 null
1255 ],
1256 "id": 53
1257 },
1258 "main.sum.in[1][18]": {
1259 "fullName": "main.sum.in[1][18]",
1260 "direction": "IN",
1261 "component": "main.sum",
1262 "equivalence": "main.n2bb.out[18]",
1263 "alias": [
1264 "main.sum.in[1][18]",
1265 null
1266 ],
1267 "id": 54
1268 },
1269 "main.sum.in[1][19]": {
1270 "fullName": "main.sum.in[1][19]",
1271 "direction": "IN",
1272 "component": "main.sum",
1273 "equivalence": "main.n2bb.out[19]",
1274 "alias": [
1275 "main.sum.in[1][19]",
1276 null
1277 ],
1278 "id": 55
1279 },
1280 "main.sum.in[1][20]": {
1281 "fullName": "main.sum.in[1][20]",
1282 "direction": "IN",
1283 "component": "main.sum",
1284 "equivalence": "main.n2bb.out[20]",
1285 "alias": [
1286 "main.sum.in[1][20]",
1287 null
1288 ],
1289 "id": 56
1290 },
1291 "main.sum.in[1][21]": {
1292 "fullName": "main.sum.in[1][21]",
1293 "direction": "IN",
1294 "component": "main.sum",
1295 "equivalence": "main.n2bb.out[21]",
1296 "alias": [
1297 "main.sum.in[1][21]",
1298 null
1299 ],
1300 "id": 57
1301 },
1302 "main.sum.in[1][22]": {
1303 "fullName": "main.sum.in[1][22]",
1304 "direction": "IN",
1305 "component": "main.sum",
1306 "equivalence": "main.n2bb.out[22]",
1307 "alias": [
1308 "main.sum.in[1][22]",
1309 null
1310 ],
1311 "id": 58
1312 },
1313 "main.sum.in[1][23]": {
1314 "fullName": "main.sum.in[1][23]",
1315 "direction": "IN",
1316 "component": "main.sum",
1317 "equivalence": "main.n2bb.out[23]",
1318 "alias": [
1319 "main.sum.in[1][23]",
1320 null
1321 ],
1322 "id": 59
1323 },
1324 "main.sum.in[1][24]": {
1325 "fullName": "main.sum.in[1][24]",
1326 "direction": "IN",
1327 "component": "main.sum",
1328 "equivalence": "main.n2bb.out[24]",
1329 "alias": [
1330 "main.sum.in[1][24]",
1331 null
1332 ],
1333 "id": 60
1334 },
1335 "main.sum.in[1][25]": {
1336 "fullName": "main.sum.in[1][25]",
1337 "direction": "IN",
1338 "component": "main.sum",
1339 "equivalence": "main.n2bb.out[25]",
1340 "alias": [
1341 "main.sum.in[1][25]",
1342 null
1343 ],
1344 "id": 61
1345 },
1346 "main.sum.in[1][26]": {
1347 "fullName": "main.sum.in[1][26]",
1348 "direction": "IN",
1349 "component": "main.sum",
1350 "equivalence": "main.n2bb.out[26]",
1351 "alias": [
1352 "main.sum.in[1][26]",
1353 null
1354 ],
1355 "id": 62
1356 },
1357 "main.sum.in[1][27]": {
1358 "fullName": "main.sum.in[1][27]",
1359 "direction": "IN",
1360 "component": "main.sum",
1361 "equivalence": "main.n2bb.out[27]",
1362 "alias": [
1363 "main.sum.in[1][27]",
1364 null
1365 ],
1366 "id": 63
1367 },
1368 "main.sum.in[1][28]": {
1369 "fullName": "main.sum.in[1][28]",
1370 "direction": "IN",
1371 "component": "main.sum",
1372 "equivalence": "main.n2bb.out[28]",
1373 "alias": [
1374 "main.sum.in[1][28]",
1375 null
1376 ],
1377 "id": 64
1378 },
1379 "main.sum.in[1][29]": {
1380 "fullName": "main.sum.in[1][29]",
1381 "direction": "IN",
1382 "component": "main.sum",
1383 "equivalence": "main.n2bb.out[29]",
1384 "alias": [
1385 "main.sum.in[1][29]",
1386 null
1387 ],
1388 "id": 65
1389 },
1390 "main.sum.in[1][30]": {
1391 "fullName": "main.sum.in[1][30]",
1392 "direction": "IN",
1393 "component": "main.sum",
1394 "equivalence": "main.n2bb.out[30]",
1395 "alias": [
1396 "main.sum.in[1][30]",
1397 null
1398 ],
1399 "id": 66
1400 },
1401 "main.sum.in[1][31]": {
1402 "fullName": "main.sum.in[1][31]",
1403 "direction": "IN",
1404 "component": "main.sum",
1405 "equivalence": "main.n2bb.out[31]",
1406 "alias": [
1407 "main.sum.in[1][31]",
1408 null
1409 ],
1410 "id": 67
1411 },
1412 "main.sum.out[0]": {
1413 "fullName": "main.sum.out[0]",
1414 "direction": "OUT",
1415 "component": "main.sum",
1416 "equivalence": "",
1417 "alias": [
1418 "main.sum.out[0]"
1419 ],
1420 "id": 68
1421 },
1422 "main.sum.out[1]": {
1423 "fullName": "main.sum.out[1]",
1424 "direction": "OUT",
1425 "component": "main.sum",
1426 "equivalence": "",
1427 "alias": [
1428 "main.sum.out[1]"
1429 ],
1430 "id": 69
1431 },
1432 "main.sum.out[2]": {
1433 "fullName": "main.sum.out[2]",
1434 "direction": "OUT",
1435 "component": "main.sum",
1436 "equivalence": "",
1437 "alias": [
1438 "main.sum.out[2]"
1439 ],
1440 "id": 70
1441 },
1442 "main.sum.out[3]": {
1443 "fullName": "main.sum.out[3]",
1444 "direction": "OUT",
1445 "component": "main.sum",
1446 "equivalence": "",
1447 "alias": [
1448 "main.sum.out[3]"
1449 ],
1450 "id": 71
1451 },
1452 "main.sum.out[4]": {
1453 "fullName": "main.sum.out[4]",
1454 "direction": "OUT",
1455 "component": "main.sum",
1456 "equivalence": "",
1457 "alias": [
1458 "main.sum.out[4]"
1459 ],
1460 "id": 72
1461 },
1462 "main.sum.out[5]": {
1463 "fullName": "main.sum.out[5]",
1464 "direction": "OUT",
1465 "component": "main.sum",
1466 "equivalence": "",
1467 "alias": [
1468 "main.sum.out[5]"
1469 ],
1470 "id": 73
1471 },
1472 "main.sum.out[6]": {
1473 "fullName": "main.sum.out[6]",
1474 "direction": "OUT",
1475 "component": "main.sum",
1476 "equivalence": "",
1477 "alias": [
1478 "main.sum.out[6]"
1479 ],
1480 "id": 74
1481 },
1482 "main.sum.out[7]": {
1483 "fullName": "main.sum.out[7]",
1484 "direction": "OUT",
1485 "component": "main.sum",
1486 "equivalence": "",
1487 "alias": [
1488 "main.sum.out[7]"
1489 ],
1490 "id": 75
1491 },
1492 "main.sum.out[8]": {
1493 "fullName": "main.sum.out[8]",
1494 "direction": "OUT",
1495 "component": "main.sum",
1496 "equivalence": "",
1497 "alias": [
1498 "main.sum.out[8]"
1499 ],
1500 "id": 76
1501 },
1502 "main.sum.out[9]": {
1503 "fullName": "main.sum.out[9]",
1504 "direction": "OUT",
1505 "component": "main.sum",
1506 "equivalence": "",
1507 "alias": [
1508 "main.sum.out[9]"
1509 ],
1510 "id": 77
1511 },
1512 "main.sum.out[10]": {
1513 "fullName": "main.sum.out[10]",
1514 "direction": "OUT",
1515 "component": "main.sum",
1516 "equivalence": "",
1517 "alias": [
1518 "main.sum.out[10]"
1519 ],
1520 "id": 78
1521 },
1522 "main.sum.out[11]": {
1523 "fullName": "main.sum.out[11]",
1524 "direction": "OUT",
1525 "component": "main.sum",
1526 "equivalence": "",
1527 "alias": [
1528 "main.sum.out[11]"
1529 ],
1530 "id": 79
1531 },
1532 "main.sum.out[12]": {
1533 "fullName": "main.sum.out[12]",
1534 "direction": "OUT",
1535 "component": "main.sum",
1536 "equivalence": "",
1537 "alias": [
1538 "main.sum.out[12]"
1539 ],
1540 "id": 80
1541 },
1542 "main.sum.out[13]": {
1543 "fullName": "main.sum.out[13]",
1544 "direction": "OUT",
1545 "component": "main.sum",
1546 "equivalence": "",
1547 "alias": [
1548 "main.sum.out[13]"
1549 ],
1550 "id": 81
1551 },
1552 "main.sum.out[14]": {
1553 "fullName": "main.sum.out[14]",
1554 "direction": "OUT",
1555 "component": "main.sum",
1556 "equivalence": "",
1557 "alias": [
1558 "main.sum.out[14]"
1559 ],
1560 "id": 82
1561 },
1562 "main.sum.out[15]": {
1563 "fullName": "main.sum.out[15]",
1564 "direction": "OUT",
1565 "component": "main.sum",
1566 "equivalence": "",
1567 "alias": [
1568 "main.sum.out[15]"
1569 ],
1570 "id": 83
1571 },
1572 "main.sum.out[16]": {
1573 "fullName": "main.sum.out[16]",
1574 "direction": "OUT",
1575 "component": "main.sum",
1576 "equivalence": "",
1577 "alias": [
1578 "main.sum.out[16]"
1579 ],
1580 "id": 84
1581 },
1582 "main.sum.out[17]": {
1583 "fullName": "main.sum.out[17]",
1584 "direction": "OUT",
1585 "component": "main.sum",
1586 "equivalence": "",
1587 "alias": [
1588 "main.sum.out[17]"
1589 ],
1590 "id": 85
1591 },
1592 "main.sum.out[18]": {
1593 "fullName": "main.sum.out[18]",
1594 "direction": "OUT",
1595 "component": "main.sum",
1596 "equivalence": "",
1597 "alias": [
1598 "main.sum.out[18]"
1599 ],
1600 "id": 86
1601 },
1602 "main.sum.out[19]": {
1603 "fullName": "main.sum.out[19]",
1604 "direction": "OUT",
1605 "component": "main.sum",
1606 "equivalence": "",
1607 "alias": [
1608 "main.sum.out[19]"
1609 ],
1610 "id": 87
1611 },
1612 "main.sum.out[20]": {
1613 "fullName": "main.sum.out[20]",
1614 "direction": "OUT",
1615 "component": "main.sum",
1616 "equivalence": "",
1617 "alias": [
1618 "main.sum.out[20]"
1619 ],
1620 "id": 88
1621 },
1622 "main.sum.out[21]": {
1623 "fullName": "main.sum.out[21]",
1624 "direction": "OUT",
1625 "component": "main.sum",
1626 "equivalence": "",
1627 "alias": [
1628 "main.sum.out[21]"
1629 ],
1630 "id": 89
1631 },
1632 "main.sum.out[22]": {
1633 "fullName": "main.sum.out[22]",
1634 "direction": "OUT",
1635 "component": "main.sum",
1636 "equivalence": "",
1637 "alias": [
1638 "main.sum.out[22]"
1639 ],
1640 "id": 90
1641 },
1642 "main.sum.out[23]": {
1643 "fullName": "main.sum.out[23]",
1644 "direction": "OUT",
1645 "component": "main.sum",
1646 "equivalence": "",
1647 "alias": [
1648 "main.sum.out[23]"
1649 ],
1650 "id": 91
1651 },
1652 "main.sum.out[24]": {
1653 "fullName": "main.sum.out[24]",
1654 "direction": "OUT",
1655 "component": "main.sum",
1656 "equivalence": "",
1657 "alias": [
1658 "main.sum.out[24]"
1659 ],
1660 "id": 92
1661 },
1662 "main.sum.out[25]": {
1663 "fullName": "main.sum.out[25]",
1664 "direction": "OUT",
1665 "component": "main.sum",
1666 "equivalence": "",
1667 "alias": [
1668 "main.sum.out[25]"
1669 ],
1670 "id": 93
1671 },
1672 "main.sum.out[26]": {
1673 "fullName": "main.sum.out[26]",
1674 "direction": "OUT",
1675 "component": "main.sum",
1676 "equivalence": "",
1677 "alias": [
1678 "main.sum.out[26]"
1679 ],
1680 "id": 94
1681 },
1682 "main.sum.out[27]": {
1683 "fullName": "main.sum.out[27]",
1684 "direction": "OUT",
1685 "component": "main.sum",
1686 "equivalence": "",
1687 "alias": [
1688 "main.sum.out[27]"
1689 ],
1690 "id": 95
1691 },
1692 "main.sum.out[28]": {
1693 "fullName": "main.sum.out[28]",
1694 "direction": "OUT",
1695 "component": "main.sum",
1696 "equivalence": "",
1697 "alias": [
1698 "main.sum.out[28]"
1699 ],
1700 "id": 96
1701 },
1702 "main.sum.out[29]": {
1703 "fullName": "main.sum.out[29]",
1704 "direction": "OUT",
1705 "component": "main.sum",
1706 "equivalence": "",
1707 "alias": [
1708 "main.sum.out[29]"
1709 ],
1710 "id": 97
1711 },
1712 "main.sum.out[30]": {
1713 "fullName": "main.sum.out[30]",
1714 "direction": "OUT",
1715 "component": "main.sum",
1716 "equivalence": "",
1717 "alias": [
1718 "main.sum.out[30]"
1719 ],
1720 "id": 98
1721 },
1722 "main.sum.out[31]": {
1723 "fullName": "main.sum.out[31]",
1724 "direction": "OUT",
1725 "component": "main.sum",
1726 "equivalence": "",
1727 "alias": [
1728 "main.sum.out[31]"
1729 ],
1730 "id": 99
1731 },
1732 "main.sum.out[32]": {
1733 "fullName": "main.sum.out[32]",
1734 "direction": "OUT",
1735 "component": "main.sum",
1736 "equivalence": "",
1737 "alias": [
1738 "main.sum.out[32]"
1739 ],
1740 "id": 100
1741 },
1742 "main.b2n.in[0]": {
1743 "fullName": "main.b2n.in[0]",
1744 "direction": "IN",
1745 "component": "main.b2n",
1746 "equivalence": "main.sum.out[0]",
1747 "alias": [
1748 "main.b2n.in[0]",
1749 null
1750 ],
1751 "id": 68
1752 },
1753 "main.b2n.in[1]": {
1754 "fullName": "main.b2n.in[1]",
1755 "direction": "IN",
1756 "component": "main.b2n",
1757 "equivalence": "main.sum.out[1]",
1758 "alias": [
1759 "main.b2n.in[1]",
1760 null
1761 ],
1762 "id": 69
1763 },
1764 "main.b2n.in[2]": {
1765 "fullName": "main.b2n.in[2]",
1766 "direction": "IN",
1767 "component": "main.b2n",
1768 "equivalence": "main.sum.out[2]",
1769 "alias": [
1770 "main.b2n.in[2]",
1771 null
1772 ],
1773 "id": 70
1774 },
1775 "main.b2n.in[3]": {
1776 "fullName": "main.b2n.in[3]",
1777 "direction": "IN",
1778 "component": "main.b2n",
1779 "equivalence": "main.sum.out[3]",
1780 "alias": [
1781 "main.b2n.in[3]",
1782 null
1783 ],
1784 "id": 71
1785 },
1786 "main.b2n.in[4]": {
1787 "fullName": "main.b2n.in[4]",
1788 "direction": "IN",
1789 "component": "main.b2n",
1790 "equivalence": "main.sum.out[4]",
1791 "alias": [
1792 "main.b2n.in[4]",
1793 null
1794 ],
1795 "id": 72
1796 },
1797 "main.b2n.in[5]": {
1798 "fullName": "main.b2n.in[5]",
1799 "direction": "IN",
1800 "component": "main.b2n",
1801 "equivalence": "main.sum.out[5]",
1802 "alias": [
1803 "main.b2n.in[5]",
1804 null
1805 ],
1806 "id": 73
1807 },
1808 "main.b2n.in[6]": {
1809 "fullName": "main.b2n.in[6]",
1810 "direction": "IN",
1811 "component": "main.b2n",
1812 "equivalence": "main.sum.out[6]",
1813 "alias": [
1814 "main.b2n.in[6]",
1815 null
1816 ],
1817 "id": 74
1818 },
1819 "main.b2n.in[7]": {
1820 "fullName": "main.b2n.in[7]",
1821 "direction": "IN",
1822 "component": "main.b2n",
1823 "equivalence": "main.sum.out[7]",
1824 "alias": [
1825 "main.b2n.in[7]",
1826 null
1827 ],
1828 "id": 75
1829 },
1830 "main.b2n.in[8]": {
1831 "fullName": "main.b2n.in[8]",
1832 "direction": "IN",
1833 "component": "main.b2n",
1834 "equivalence": "main.sum.out[8]",
1835 "alias": [
1836 "main.b2n.in[8]",
1837 null
1838 ],
1839 "id": 76
1840 },
1841 "main.b2n.in[9]": {
1842 "fullName": "main.b2n.in[9]",
1843 "direction": "IN",
1844 "component": "main.b2n",
1845 "equivalence": "main.sum.out[9]",
1846 "alias": [
1847 "main.b2n.in[9]",
1848 null
1849 ],
1850 "id": 77
1851 },
1852 "main.b2n.in[10]": {
1853 "fullName": "main.b2n.in[10]",
1854 "direction": "IN",
1855 "component": "main.b2n",
1856 "equivalence": "main.sum.out[10]",
1857 "alias": [
1858 "main.b2n.in[10]",
1859 null
1860 ],
1861 "id": 78
1862 },
1863 "main.b2n.in[11]": {
1864 "fullName": "main.b2n.in[11]",
1865 "direction": "IN",
1866 "component": "main.b2n",
1867 "equivalence": "main.sum.out[11]",
1868 "alias": [
1869 "main.b2n.in[11]",
1870 null
1871 ],
1872 "id": 79
1873 },
1874 "main.b2n.in[12]": {
1875 "fullName": "main.b2n.in[12]",
1876 "direction": "IN",
1877 "component": "main.b2n",
1878 "equivalence": "main.sum.out[12]",
1879 "alias": [
1880 "main.b2n.in[12]",
1881 null
1882 ],
1883 "id": 80
1884 },
1885 "main.b2n.in[13]": {
1886 "fullName": "main.b2n.in[13]",
1887 "direction": "IN",
1888 "component": "main.b2n",
1889 "equivalence": "main.sum.out[13]",
1890 "alias": [
1891 "main.b2n.in[13]",
1892 null
1893 ],
1894 "id": 81
1895 },
1896 "main.b2n.in[14]": {
1897 "fullName": "main.b2n.in[14]",
1898 "direction": "IN",
1899 "component": "main.b2n",
1900 "equivalence": "main.sum.out[14]",
1901 "alias": [
1902 "main.b2n.in[14]",
1903 null
1904 ],
1905 "id": 82
1906 },
1907 "main.b2n.in[15]": {
1908 "fullName": "main.b2n.in[15]",
1909 "direction": "IN",
1910 "component": "main.b2n",
1911 "equivalence": "main.sum.out[15]",
1912 "alias": [
1913 "main.b2n.in[15]",
1914 null
1915 ],
1916 "id": 83
1917 },
1918 "main.b2n.in[16]": {
1919 "fullName": "main.b2n.in[16]",
1920 "direction": "IN",
1921 "component": "main.b2n",
1922 "equivalence": "main.sum.out[16]",
1923 "alias": [
1924 "main.b2n.in[16]",
1925 null
1926 ],
1927 "id": 84
1928 },
1929 "main.b2n.in[17]": {
1930 "fullName": "main.b2n.in[17]",
1931 "direction": "IN",
1932 "component": "main.b2n",
1933 "equivalence": "main.sum.out[17]",
1934 "alias": [
1935 "main.b2n.in[17]",
1936 null
1937 ],
1938 "id": 85
1939 },
1940 "main.b2n.in[18]": {
1941 "fullName": "main.b2n.in[18]",
1942 "direction": "IN",
1943 "component": "main.b2n",
1944 "equivalence": "main.sum.out[18]",
1945 "alias": [
1946 "main.b2n.in[18]",
1947 null
1948 ],
1949 "id": 86
1950 },
1951 "main.b2n.in[19]": {
1952 "fullName": "main.b2n.in[19]",
1953 "direction": "IN",
1954 "component": "main.b2n",
1955 "equivalence": "main.sum.out[19]",
1956 "alias": [
1957 "main.b2n.in[19]",
1958 null
1959 ],
1960 "id": 87
1961 },
1962 "main.b2n.in[20]": {
1963 "fullName": "main.b2n.in[20]",
1964 "direction": "IN",
1965 "component": "main.b2n",
1966 "equivalence": "main.sum.out[20]",
1967 "alias": [
1968 "main.b2n.in[20]",
1969 null
1970 ],
1971 "id": 88
1972 },
1973 "main.b2n.in[21]": {
1974 "fullName": "main.b2n.in[21]",
1975 "direction": "IN",
1976 "component": "main.b2n",
1977 "equivalence": "main.sum.out[21]",
1978 "alias": [
1979 "main.b2n.in[21]",
1980 null
1981 ],
1982 "id": 89
1983 },
1984 "main.b2n.in[22]": {
1985 "fullName": "main.b2n.in[22]",
1986 "direction": "IN",
1987 "component": "main.b2n",
1988 "equivalence": "main.sum.out[22]",
1989 "alias": [
1990 "main.b2n.in[22]",
1991 null
1992 ],
1993 "id": 90
1994 },
1995 "main.b2n.in[23]": {
1996 "fullName": "main.b2n.in[23]",
1997 "direction": "IN",
1998 "component": "main.b2n",
1999 "equivalence": "main.sum.out[23]",
2000 "alias": [
2001 "main.b2n.in[23]",
2002 null
2003 ],
2004 "id": 91
2005 },
2006 "main.b2n.in[24]": {
2007 "fullName": "main.b2n.in[24]",
2008 "direction": "IN",
2009 "component": "main.b2n",
2010 "equivalence": "main.sum.out[24]",
2011 "alias": [
2012 "main.b2n.in[24]",
2013 null
2014 ],
2015 "id": 92
2016 },
2017 "main.b2n.in[25]": {
2018 "fullName": "main.b2n.in[25]",
2019 "direction": "IN",
2020 "component": "main.b2n",
2021 "equivalence": "main.sum.out[25]",
2022 "alias": [
2023 "main.b2n.in[25]",
2024 null
2025 ],
2026 "id": 93
2027 },
2028 "main.b2n.in[26]": {
2029 "fullName": "main.b2n.in[26]",
2030 "direction": "IN",
2031 "component": "main.b2n",
2032 "equivalence": "main.sum.out[26]",
2033 "alias": [
2034 "main.b2n.in[26]",
2035 null
2036 ],
2037 "id": 94
2038 },
2039 "main.b2n.in[27]": {
2040 "fullName": "main.b2n.in[27]",
2041 "direction": "IN",
2042 "component": "main.b2n",
2043 "equivalence": "main.sum.out[27]",
2044 "alias": [
2045 "main.b2n.in[27]",
2046 null
2047 ],
2048 "id": 95
2049 },
2050 "main.b2n.in[28]": {
2051 "fullName": "main.b2n.in[28]",
2052 "direction": "IN",
2053 "component": "main.b2n",
2054 "equivalence": "main.sum.out[28]",
2055 "alias": [
2056 "main.b2n.in[28]",
2057 null
2058 ],
2059 "id": 96
2060 },
2061 "main.b2n.in[29]": {
2062 "fullName": "main.b2n.in[29]",
2063 "direction": "IN",
2064 "component": "main.b2n",
2065 "equivalence": "main.sum.out[29]",
2066 "alias": [
2067 "main.b2n.in[29]",
2068 null
2069 ],
2070 "id": 97
2071 },
2072 "main.b2n.in[30]": {
2073 "fullName": "main.b2n.in[30]",
2074 "direction": "IN",
2075 "component": "main.b2n",
2076 "equivalence": "main.sum.out[30]",
2077 "alias": [
2078 "main.b2n.in[30]",
2079 null
2080 ],
2081 "id": 98
2082 },
2083 "main.b2n.in[31]": {
2084 "fullName": "main.b2n.in[31]",
2085 "direction": "IN",
2086 "component": "main.b2n",
2087 "equivalence": "main.sum.out[31]",
2088 "alias": [
2089 "main.b2n.in[31]",
2090 null
2091 ],
2092 "id": 99
2093 },
2094 "main.b2n.out": {
2095 "fullName": "main.b2n.out",
2096 "direction": "OUT",
2097 "component": "main.b2n",
2098 "equivalence": "",
2099 "alias": [
2100 "main.b2n.out"
2101 ],
2102 "id": 3
2103 }
2104};
2105
2106circuit.components={
2107 "main": {
2108 "signals": [
2109 "main.a",
2110 "main.b",
2111 "main.out"
2112 ],
2113 "params": {},
2114 "template": "A",
2115 "inputSignals": 2
2116 },
2117 "main.n2ba": {
2118 "signals": [
2119 "main.n2ba.in",
2120 "main.n2ba.out[0]",
2121 "main.n2ba.out[1]",
2122 "main.n2ba.out[2]",
2123 "main.n2ba.out[3]",
2124 "main.n2ba.out[4]",
2125 "main.n2ba.out[5]",
2126 "main.n2ba.out[6]",
2127 "main.n2ba.out[7]",
2128 "main.n2ba.out[8]",
2129 "main.n2ba.out[9]",
2130 "main.n2ba.out[10]",
2131 "main.n2ba.out[11]",
2132 "main.n2ba.out[12]",
2133 "main.n2ba.out[13]",
2134 "main.n2ba.out[14]",
2135 "main.n2ba.out[15]",
2136 "main.n2ba.out[16]",
2137 "main.n2ba.out[17]",
2138 "main.n2ba.out[18]",
2139 "main.n2ba.out[19]",
2140 "main.n2ba.out[20]",
2141 "main.n2ba.out[21]",
2142 "main.n2ba.out[22]",
2143 "main.n2ba.out[23]",
2144 "main.n2ba.out[24]",
2145 "main.n2ba.out[25]",
2146 "main.n2ba.out[26]",
2147 "main.n2ba.out[27]",
2148 "main.n2ba.out[28]",
2149 "main.n2ba.out[29]",
2150 "main.n2ba.out[30]",
2151 "main.n2ba.out[31]"
2152 ],
2153 "params": {
2154 "n": "32"
2155 },
2156 "template": "Num2Bits",
2157 "inputSignals": 1
2158 },
2159 "main.n2bb": {
2160 "signals": [
2161 "main.n2bb.in",
2162 "main.n2bb.out[0]",
2163 "main.n2bb.out[1]",
2164 "main.n2bb.out[2]",
2165 "main.n2bb.out[3]",
2166 "main.n2bb.out[4]",
2167 "main.n2bb.out[5]",
2168 "main.n2bb.out[6]",
2169 "main.n2bb.out[7]",
2170 "main.n2bb.out[8]",
2171 "main.n2bb.out[9]",
2172 "main.n2bb.out[10]",
2173 "main.n2bb.out[11]",
2174 "main.n2bb.out[12]",
2175 "main.n2bb.out[13]",
2176 "main.n2bb.out[14]",
2177 "main.n2bb.out[15]",
2178 "main.n2bb.out[16]",
2179 "main.n2bb.out[17]",
2180 "main.n2bb.out[18]",
2181 "main.n2bb.out[19]",
2182 "main.n2bb.out[20]",
2183 "main.n2bb.out[21]",
2184 "main.n2bb.out[22]",
2185 "main.n2bb.out[23]",
2186 "main.n2bb.out[24]",
2187 "main.n2bb.out[25]",
2188 "main.n2bb.out[26]",
2189 "main.n2bb.out[27]",
2190 "main.n2bb.out[28]",
2191 "main.n2bb.out[29]",
2192 "main.n2bb.out[30]",
2193 "main.n2bb.out[31]"
2194 ],
2195 "params": {
2196 "n": "32"
2197 },
2198 "template": "Num2Bits",
2199 "inputSignals": 1
2200 },
2201 "main.sum": {
2202 "signals": [
2203 "main.sum.in[0][0]",
2204 "main.sum.in[0][1]",
2205 "main.sum.in[0][2]",
2206 "main.sum.in[0][3]",
2207 "main.sum.in[0][4]",
2208 "main.sum.in[0][5]",
2209 "main.sum.in[0][6]",
2210 "main.sum.in[0][7]",
2211 "main.sum.in[0][8]",
2212 "main.sum.in[0][9]",
2213 "main.sum.in[0][10]",
2214 "main.sum.in[0][11]",
2215 "main.sum.in[0][12]",
2216 "main.sum.in[0][13]",
2217 "main.sum.in[0][14]",
2218 "main.sum.in[0][15]",
2219 "main.sum.in[0][16]",
2220 "main.sum.in[0][17]",
2221 "main.sum.in[0][18]",
2222 "main.sum.in[0][19]",
2223 "main.sum.in[0][20]",
2224 "main.sum.in[0][21]",
2225 "main.sum.in[0][22]",
2226 "main.sum.in[0][23]",
2227 "main.sum.in[0][24]",
2228 "main.sum.in[0][25]",
2229 "main.sum.in[0][26]",
2230 "main.sum.in[0][27]",
2231 "main.sum.in[0][28]",
2232 "main.sum.in[0][29]",
2233 "main.sum.in[0][30]",
2234 "main.sum.in[0][31]",
2235 "main.sum.in[1][0]",
2236 "main.sum.in[1][1]",
2237 "main.sum.in[1][2]",
2238 "main.sum.in[1][3]",
2239 "main.sum.in[1][4]",
2240 "main.sum.in[1][5]",
2241 "main.sum.in[1][6]",
2242 "main.sum.in[1][7]",
2243 "main.sum.in[1][8]",
2244 "main.sum.in[1][9]",
2245 "main.sum.in[1][10]",
2246 "main.sum.in[1][11]",
2247 "main.sum.in[1][12]",
2248 "main.sum.in[1][13]",
2249 "main.sum.in[1][14]",
2250 "main.sum.in[1][15]",
2251 "main.sum.in[1][16]",
2252 "main.sum.in[1][17]",
2253 "main.sum.in[1][18]",
2254 "main.sum.in[1][19]",
2255 "main.sum.in[1][20]",
2256 "main.sum.in[1][21]",
2257 "main.sum.in[1][22]",
2258 "main.sum.in[1][23]",
2259 "main.sum.in[1][24]",
2260 "main.sum.in[1][25]",
2261 "main.sum.in[1][26]",
2262 "main.sum.in[1][27]",
2263 "main.sum.in[1][28]",
2264 "main.sum.in[1][29]",
2265 "main.sum.in[1][30]",
2266 "main.sum.in[1][31]",
2267 "main.sum.out[0]",
2268 "main.sum.out[1]",
2269 "main.sum.out[2]",
2270 "main.sum.out[3]",
2271 "main.sum.out[4]",
2272 "main.sum.out[5]",
2273 "main.sum.out[6]",
2274 "main.sum.out[7]",
2275 "main.sum.out[8]",
2276 "main.sum.out[9]",
2277 "main.sum.out[10]",
2278 "main.sum.out[11]",
2279 "main.sum.out[12]",
2280 "main.sum.out[13]",
2281 "main.sum.out[14]",
2282 "main.sum.out[15]",
2283 "main.sum.out[16]",
2284 "main.sum.out[17]",
2285 "main.sum.out[18]",
2286 "main.sum.out[19]",
2287 "main.sum.out[20]",
2288 "main.sum.out[21]",
2289 "main.sum.out[22]",
2290 "main.sum.out[23]",
2291 "main.sum.out[24]",
2292 "main.sum.out[25]",
2293 "main.sum.out[26]",
2294 "main.sum.out[27]",
2295 "main.sum.out[28]",
2296 "main.sum.out[29]",
2297 "main.sum.out[30]",
2298 "main.sum.out[31]",
2299 "main.sum.out[32]"
2300 ],
2301 "params": {
2302 "n": "32",
2303 "ops": "2"
2304 },
2305 "template": "BinSum",
2306 "inputSignals": 64
2307 },
2308 "main.b2n": {
2309 "signals": [
2310 "main.b2n.in[0]",
2311 "main.b2n.in[1]",
2312 "main.b2n.in[2]",
2313 "main.b2n.in[3]",
2314 "main.b2n.in[4]",
2315 "main.b2n.in[5]",
2316 "main.b2n.in[6]",
2317 "main.b2n.in[7]",
2318 "main.b2n.in[8]",
2319 "main.b2n.in[9]",
2320 "main.b2n.in[10]",
2321 "main.b2n.in[11]",
2322 "main.b2n.in[12]",
2323 "main.b2n.in[13]",
2324 "main.b2n.in[14]",
2325 "main.b2n.in[15]",
2326 "main.b2n.in[16]",
2327 "main.b2n.in[17]",
2328 "main.b2n.in[18]",
2329 "main.b2n.in[19]",
2330 "main.b2n.in[20]",
2331 "main.b2n.in[21]",
2332 "main.b2n.in[22]",
2333 "main.b2n.in[23]",
2334 "main.b2n.in[24]",
2335 "main.b2n.in[25]",
2336 "main.b2n.in[26]",
2337 "main.b2n.in[27]",
2338 "main.b2n.in[28]",
2339 "main.b2n.in[29]",
2340 "main.b2n.in[30]",
2341 "main.b2n.in[31]",
2342 "main.b2n.out"
2343 ],
2344 "params": {
2345 "n": "32"
2346 },
2347 "template": "Bits2Num",
2348 "inputSignals": 32
2349 }
2350};
2351
2352circuit.signalConstrains=[
2353 {
2354 "type": "QEQ",
2355 "a": {
2356 "type": "LINEARCOMBINATION",
2357 "values": {
2358 "main.n2ba.out[0]": "1"
2359 }
2360 },
2361 "b": {
2362 "type": "LINEARCOMBINATION",
2363 "values": {
2364 "main.n2ba.out[0]": "1",
2365 "one": "21888242871839275222246405745257275088548364400416034343698204186575808495616"
2366 }
2367 },
2368 "c": {
2369 "type": "LINEARCOMBINATION",
2370 "values": {}
2371 }
2372 },
2373 {
2374 "type": "QEQ",
2375 "a": {
2376 "type": "LINEARCOMBINATION",
2377 "values": {
2378 "main.n2ba.out[1]": "1"
2379 }
2380 },
2381 "b": {
2382 "type": "LINEARCOMBINATION",
2383 "values": {
2384 "main.n2ba.out[1]": "1",
2385 "one": "21888242871839275222246405745257275088548364400416034343698204186575808495616"
2386 }
2387 },
2388 "c": {
2389 "type": "LINEARCOMBINATION",
2390 "values": {}
2391 }
2392 },
2393 {
2394 "type": "QEQ",
2395 "a": {
2396 "type": "LINEARCOMBINATION",
2397 "values": {
2398 "main.n2ba.out[2]": "1"
2399 }
2400 },
2401 "b": {
2402 "type": "LINEARCOMBINATION",
2403 "values": {
2404 "main.n2ba.out[2]": "1",
2405 "one": "21888242871839275222246405745257275088548364400416034343698204186575808495616"
2406 }
2407 },
2408 "c": {
2409 "type": "LINEARCOMBINATION",
2410 "values": {}
2411 }
2412 },
2413 {
2414 "type": "QEQ",
2415 "a": {
2416 "type": "LINEARCOMBINATION",
2417 "values": {
2418 "main.n2ba.out[3]": "1"
2419 }
2420 },
2421 "b": {
2422 "type": "LINEARCOMBINATION",
2423 "values": {
2424 "main.n2ba.out[3]": "1",
2425 "one": "21888242871839275222246405745257275088548364400416034343698204186575808495616"
2426 }
2427 },
2428 "c": {
2429 "type": "LINEARCOMBINATION",
2430 "values": {}
2431 }
2432 },
2433 {
2434 "type": "QEQ",
2435 "a": {
2436 "type": "LINEARCOMBINATION",
2437 "values": {
2438 "main.n2ba.out[4]": "1"
2439 }
2440 },
2441 "b": {
2442 "type": "LINEARCOMBINATION",
2443 "values": {
2444 "main.n2ba.out[4]": "1",
2445 "one": "21888242871839275222246405745257275088548364400416034343698204186575808495616"
2446 }
2447 },
2448 "c": {
2449 "type": "LINEARCOMBINATION",
2450 "values": {}
2451 }
2452 },
2453 {
2454 "type": "QEQ",
2455 "a": {
2456 "type": "LINEARCOMBINATION",
2457 "values": {
2458 "main.n2ba.out[5]": "1"
2459 }
2460 },
2461 "b": {
2462 "type": "LINEARCOMBINATION",
2463 "values": {
2464 "main.n2ba.out[5]": "1",
2465 "one": "21888242871839275222246405745257275088548364400416034343698204186575808495616"
2466 }
2467 },
2468 "c": {
2469 "type": "LINEARCOMBINATION",
2470 "values": {}
2471 }
2472 },
2473 {
2474 "type": "QEQ",
2475 "a": {
2476 "type": "LINEARCOMBINATION",
2477 "values": {
2478 "main.n2ba.out[6]": "1"
2479 }
2480 },
2481 "b": {
2482 "type": "LINEARCOMBINATION",
2483 "values": {
2484 "main.n2ba.out[6]": "1",
2485 "one": "21888242871839275222246405745257275088548364400416034343698204186575808495616"
2486 }
2487 },
2488 "c": {
2489 "type": "LINEARCOMBINATION",
2490 "values": {}
2491 }
2492 },
2493 {
2494 "type": "QEQ",
2495 "a": {
2496 "type": "LINEARCOMBINATION",
2497 "values": {
2498 "main.n2ba.out[7]": "1"
2499 }
2500 },
2501 "b": {
2502 "type": "LINEARCOMBINATION",
2503 "values": {
2504 "main.n2ba.out[7]": "1",
2505 "one": "21888242871839275222246405745257275088548364400416034343698204186575808495616"
2506 }
2507 },
2508 "c": {
2509 "type": "LINEARCOMBINATION",
2510 "values": {}
2511 }
2512 },
2513 {
2514 "type": "QEQ",
2515 "a": {
2516 "type": "LINEARCOMBINATION",
2517 "values": {
2518 "main.n2ba.out[8]": "1"
2519 }
2520 },
2521 "b": {
2522 "type": "LINEARCOMBINATION",
2523 "values": {
2524 "main.n2ba.out[8]": "1",
2525 "one": "21888242871839275222246405745257275088548364400416034343698204186575808495616"
2526 }
2527 },
2528 "c": {
2529 "type": "LINEARCOMBINATION",
2530 "values": {}
2531 }
2532 },
2533 {
2534 "type": "QEQ",
2535 "a": {
2536 "type": "LINEARCOMBINATION",
2537 "values": {
2538 "main.n2ba.out[9]": "1"
2539 }
2540 },
2541 "b": {
2542 "type": "LINEARCOMBINATION",
2543 "values": {
2544 "main.n2ba.out[9]": "1",
2545 "one": "21888242871839275222246405745257275088548364400416034343698204186575808495616"
2546 }
2547 },
2548 "c": {
2549 "type": "LINEARCOMBINATION",
2550 "values": {}
2551 }
2552 },
2553 {
2554 "type": "QEQ",
2555 "a": {
2556 "type": "LINEARCOMBINATION",
2557 "values": {
2558 "main.n2ba.out[10]": "1"
2559 }
2560 },
2561 "b": {
2562 "type": "LINEARCOMBINATION",
2563 "values": {
2564 "main.n2ba.out[10]": "1",
2565 "one": "21888242871839275222246405745257275088548364400416034343698204186575808495616"
2566 }
2567 },
2568 "c": {
2569 "type": "LINEARCOMBINATION",
2570 "values": {}
2571 }
2572 },
2573 {
2574 "type": "QEQ",
2575 "a": {
2576 "type": "LINEARCOMBINATION",
2577 "values": {
2578 "main.n2ba.out[11]": "1"
2579 }
2580 },
2581 "b": {
2582 "type": "LINEARCOMBINATION",
2583 "values": {
2584 "main.n2ba.out[11]": "1",
2585 "one": "21888242871839275222246405745257275088548364400416034343698204186575808495616"
2586 }
2587 },
2588 "c": {
2589 "type": "LINEARCOMBINATION",
2590 "values": {}
2591 }
2592 },
2593 {
2594 "type": "QEQ",
2595 "a": {
2596 "type": "LINEARCOMBINATION",
2597 "values": {
2598 "main.n2ba.out[12]": "1"
2599 }
2600 },
2601 "b": {
2602 "type": "LINEARCOMBINATION",
2603 "values": {
2604 "main.n2ba.out[12]": "1",
2605 "one": "21888242871839275222246405745257275088548364400416034343698204186575808495616"
2606 }
2607 },
2608 "c": {
2609 "type": "LINEARCOMBINATION",
2610 "values": {}
2611 }
2612 },
2613 {
2614 "type": "QEQ",
2615 "a": {
2616 "type": "LINEARCOMBINATION",
2617 "values": {
2618 "main.n2ba.out[13]": "1"
2619 }
2620 },
2621 "b": {
2622 "type": "LINEARCOMBINATION",
2623 "values": {
2624 "main.n2ba.out[13]": "1",
2625 "one": "21888242871839275222246405745257275088548364400416034343698204186575808495616"
2626 }
2627 },
2628 "c": {
2629 "type": "LINEARCOMBINATION",
2630 "values": {}
2631 }
2632 },
2633 {
2634 "type": "QEQ",
2635 "a": {
2636 "type": "LINEARCOMBINATION",
2637 "values": {
2638 "main.n2ba.out[14]": "1"
2639 }
2640 },
2641 "b": {
2642 "type": "LINEARCOMBINATION",
2643 "values": {
2644 "main.n2ba.out[14]": "1",
2645 "one": "21888242871839275222246405745257275088548364400416034343698204186575808495616"
2646 }
2647 },
2648 "c": {
2649 "type": "LINEARCOMBINATION",
2650 "values": {}
2651 }
2652 },
2653 {
2654 "type": "QEQ",
2655 "a": {
2656 "type": "LINEARCOMBINATION",
2657 "values": {
2658 "main.n2ba.out[15]": "1"
2659 }
2660 },
2661 "b": {
2662 "type": "LINEARCOMBINATION",
2663 "values": {
2664 "main.n2ba.out[15]": "1",
2665 "one": "21888242871839275222246405745257275088548364400416034343698204186575808495616"
2666 }
2667 },
2668 "c": {
2669 "type": "LINEARCOMBINATION",
2670 "values": {}
2671 }
2672 },
2673 {
2674 "type": "QEQ",
2675 "a": {
2676 "type": "LINEARCOMBINATION",
2677 "values": {
2678 "main.n2ba.out[16]": "1"
2679 }
2680 },
2681 "b": {
2682 "type": "LINEARCOMBINATION",
2683 "values": {
2684 "main.n2ba.out[16]": "1",
2685 "one": "21888242871839275222246405745257275088548364400416034343698204186575808495616"
2686 }
2687 },
2688 "c": {
2689 "type": "LINEARCOMBINATION",
2690 "values": {}
2691 }
2692 },
2693 {
2694 "type": "QEQ",
2695 "a": {
2696 "type": "LINEARCOMBINATION",
2697 "values": {
2698 "main.n2ba.out[17]": "1"
2699 }
2700 },
2701 "b": {
2702 "type": "LINEARCOMBINATION",
2703 "values": {
2704 "main.n2ba.out[17]": "1",
2705 "one": "21888242871839275222246405745257275088548364400416034343698204186575808495616"
2706 }
2707 },
2708 "c": {
2709 "type": "LINEARCOMBINATION",
2710 "values": {}
2711 }
2712 },
2713 {
2714 "type": "QEQ",
2715 "a": {
2716 "type": "LINEARCOMBINATION",
2717 "values": {
2718 "main.n2ba.out[18]": "1"
2719 }
2720 },
2721 "b": {
2722 "type": "LINEARCOMBINATION",
2723 "values": {
2724 "main.n2ba.out[18]": "1",
2725 "one": "21888242871839275222246405745257275088548364400416034343698204186575808495616"
2726 }
2727 },
2728 "c": {
2729 "type": "LINEARCOMBINATION",
2730 "values": {}
2731 }
2732 },
2733 {
2734 "type": "QEQ",
2735 "a": {
2736 "type": "LINEARCOMBINATION",
2737 "values": {
2738 "main.n2ba.out[19]": "1"
2739 }
2740 },
2741 "b": {
2742 "type": "LINEARCOMBINATION",
2743 "values": {
2744 "main.n2ba.out[19]": "1",
2745 "one": "21888242871839275222246405745257275088548364400416034343698204186575808495616"
2746 }
2747 },
2748 "c": {
2749 "type": "LINEARCOMBINATION",
2750 "values": {}
2751 }
2752 },
2753 {
2754 "type": "QEQ",
2755 "a": {
2756 "type": "LINEARCOMBINATION",
2757 "values": {
2758 "main.n2ba.out[20]": "1"
2759 }
2760 },
2761 "b": {
2762 "type": "LINEARCOMBINATION",
2763 "values": {
2764 "main.n2ba.out[20]": "1",
2765 "one": "21888242871839275222246405745257275088548364400416034343698204186575808495616"
2766 }
2767 },
2768 "c": {
2769 "type": "LINEARCOMBINATION",
2770 "values": {}
2771 }
2772 },
2773 {
2774 "type": "QEQ",
2775 "a": {
2776 "type": "LINEARCOMBINATION",
2777 "values": {
2778 "main.n2ba.out[21]": "1"
2779 }
2780 },
2781 "b": {
2782 "type": "LINEARCOMBINATION",
2783 "values": {
2784 "main.n2ba.out[21]": "1",
2785 "one": "21888242871839275222246405745257275088548364400416034343698204186575808495616"
2786 }
2787 },
2788 "c": {
2789 "type": "LINEARCOMBINATION",
2790 "values": {}
2791 }
2792 },
2793 {
2794 "type": "QEQ",
2795 "a": {
2796 "type": "LINEARCOMBINATION",
2797 "values": {
2798 "main.n2ba.out[22]": "1"
2799 }
2800 },
2801 "b": {
2802 "type": "LINEARCOMBINATION",
2803 "values": {
2804 "main.n2ba.out[22]": "1",
2805 "one": "21888242871839275222246405745257275088548364400416034343698204186575808495616"
2806 }
2807 },
2808 "c": {
2809 "type": "LINEARCOMBINATION",
2810 "values": {}
2811 }
2812 },
2813 {
2814 "type": "QEQ",
2815 "a": {
2816 "type": "LINEARCOMBINATION",
2817 "values": {
2818 "main.n2ba.out[23]": "1"
2819 }
2820 },
2821 "b": {
2822 "type": "LINEARCOMBINATION",
2823 "values": {
2824 "main.n2ba.out[23]": "1",
2825 "one": "21888242871839275222246405745257275088548364400416034343698204186575808495616"
2826 }
2827 },
2828 "c": {
2829 "type": "LINEARCOMBINATION",
2830 "values": {}
2831 }
2832 },
2833 {
2834 "type": "QEQ",
2835 "a": {
2836 "type": "LINEARCOMBINATION",
2837 "values": {
2838 "main.n2ba.out[24]": "1"
2839 }
2840 },
2841 "b": {
2842 "type": "LINEARCOMBINATION",
2843 "values": {
2844 "main.n2ba.out[24]": "1",
2845 "one": "21888242871839275222246405745257275088548364400416034343698204186575808495616"
2846 }
2847 },
2848 "c": {
2849 "type": "LINEARCOMBINATION",
2850 "values": {}
2851 }
2852 },
2853 {
2854 "type": "QEQ",
2855 "a": {
2856 "type": "LINEARCOMBINATION",
2857 "values": {
2858 "main.n2ba.out[25]": "1"
2859 }
2860 },
2861 "b": {
2862 "type": "LINEARCOMBINATION",
2863 "values": {
2864 "main.n2ba.out[25]": "1",
2865 "one": "21888242871839275222246405745257275088548364400416034343698204186575808495616"
2866 }
2867 },
2868 "c": {
2869 "type": "LINEARCOMBINATION",
2870 "values": {}
2871 }
2872 },
2873 {
2874 "type": "QEQ",
2875 "a": {
2876 "type": "LINEARCOMBINATION",
2877 "values": {
2878 "main.n2ba.out[26]": "1"
2879 }
2880 },
2881 "b": {
2882 "type": "LINEARCOMBINATION",
2883 "values": {
2884 "main.n2ba.out[26]": "1",
2885 "one": "21888242871839275222246405745257275088548364400416034343698204186575808495616"
2886 }
2887 },
2888 "c": {
2889 "type": "LINEARCOMBINATION",
2890 "values": {}
2891 }
2892 },
2893 {
2894 "type": "QEQ",
2895 "a": {
2896 "type": "LINEARCOMBINATION",
2897 "values": {
2898 "main.n2ba.out[27]": "1"
2899 }
2900 },
2901 "b": {
2902 "type": "LINEARCOMBINATION",
2903 "values": {
2904 "main.n2ba.out[27]": "1",
2905 "one": "21888242871839275222246405745257275088548364400416034343698204186575808495616"
2906 }
2907 },
2908 "c": {
2909 "type": "LINEARCOMBINATION",
2910 "values": {}
2911 }
2912 },
2913 {
2914 "type": "QEQ",
2915 "a": {
2916 "type": "LINEARCOMBINATION",
2917 "values": {
2918 "main.n2ba.out[28]": "1"
2919 }
2920 },
2921 "b": {
2922 "type": "LINEARCOMBINATION",
2923 "values": {
2924 "main.n2ba.out[28]": "1",
2925 "one": "21888242871839275222246405745257275088548364400416034343698204186575808495616"
2926 }
2927 },
2928 "c": {
2929 "type": "LINEARCOMBINATION",
2930 "values": {}
2931 }
2932 },
2933 {
2934 "type": "QEQ",
2935 "a": {
2936 "type": "LINEARCOMBINATION",
2937 "values": {
2938 "main.n2ba.out[29]": "1"
2939 }
2940 },
2941 "b": {
2942 "type": "LINEARCOMBINATION",
2943 "values": {
2944 "main.n2ba.out[29]": "1",
2945 "one": "21888242871839275222246405745257275088548364400416034343698204186575808495616"
2946 }
2947 },
2948 "c": {
2949 "type": "LINEARCOMBINATION",
2950 "values": {}
2951 }
2952 },
2953 {
2954 "type": "QEQ",
2955 "a": {
2956 "type": "LINEARCOMBINATION",
2957 "values": {
2958 "main.n2ba.out[30]": "1"
2959 }
2960 },
2961 "b": {
2962 "type": "LINEARCOMBINATION",
2963 "values": {
2964 "main.n2ba.out[30]": "1",
2965 "one": "21888242871839275222246405745257275088548364400416034343698204186575808495616"
2966 }
2967 },
2968 "c": {
2969 "type": "LINEARCOMBINATION",
2970 "values": {}
2971 }
2972 },
2973 {
2974 "type": "QEQ",
2975 "a": {
2976 "type": "LINEARCOMBINATION",
2977 "values": {
2978 "main.n2ba.out[31]": "1"
2979 }
2980 },
2981 "b": {
2982 "type": "LINEARCOMBINATION",
2983 "values": {
2984 "main.n2ba.out[31]": "1",
2985 "one": "21888242871839275222246405745257275088548364400416034343698204186575808495616"
2986 }
2987 },
2988 "c": {
2989 "type": "LINEARCOMBINATION",
2990 "values": {}
2991 }
2992 },
2993 {
2994 "type": "QEQ",
2995 "a": {
2996 "type": "LINEARCOMBINATION",
2997 "values": {}
2998 },
2999 "b": {
3000 "type": "LINEARCOMBINATION",
3001 "values": {}
3002 },
3003 "c": {
3004 "type": "LINEARCOMBINATION",
3005 "values": {
3006 "main.n2ba.out[0]": "1",
3007 "main.n2ba.out[1]": "2",
3008 "main.n2ba.out[2]": "4",
3009 "main.n2ba.out[3]": "8",
3010 "main.n2ba.out[4]": "16",
3011 "main.n2ba.out[5]": "32",
3012 "main.n2ba.out[6]": "64",
3013 "main.n2ba.out[7]": "128",
3014 "main.n2ba.out[8]": "256",
3015 "main.n2ba.out[9]": "512",
3016 "main.n2ba.out[10]": "1024",
3017 "main.n2ba.out[11]": "2048",
3018 "main.n2ba.out[12]": "4096",
3019 "main.n2ba.out[13]": "8192",
3020 "main.n2ba.out[14]": "16384",
3021 "main.n2ba.out[15]": "32768",
3022 "main.n2ba.out[16]": "65536",
3023 "main.n2ba.out[17]": "131072",
3024 "main.n2ba.out[18]": "262144",
3025 "main.n2ba.out[19]": "524288",
3026 "main.n2ba.out[20]": "1048576",
3027 "main.n2ba.out[21]": "2097152",
3028 "main.n2ba.out[22]": "4194304",
3029 "main.n2ba.out[23]": "8388608",
3030 "main.n2ba.out[24]": "16777216",
3031 "main.n2ba.out[25]": "33554432",
3032 "main.n2ba.out[26]": "67108864",
3033 "main.n2ba.out[27]": "134217728",
3034 "main.n2ba.out[28]": "268435456",
3035 "main.n2ba.out[29]": "536870912",
3036 "main.n2ba.out[30]": "1073741824",
3037 "main.n2ba.out[31]": "2147483648",
3038 "main.a": "21888242871839275222246405745257275088548364400416034343698204186575808495616"
3039 }
3040 }
3041 },
3042 {
3043 "type": "QEQ",
3044 "a": {
3045 "type": "LINEARCOMBINATION",
3046 "values": {
3047 "main.n2bb.out[0]": "1"
3048 }
3049 },
3050 "b": {
3051 "type": "LINEARCOMBINATION",
3052 "values": {
3053 "main.n2bb.out[0]": "1",
3054 "one": "21888242871839275222246405745257275088548364400416034343698204186575808495616"
3055 }
3056 },
3057 "c": {
3058 "type": "LINEARCOMBINATION",
3059 "values": {}
3060 }
3061 },
3062 {
3063 "type": "QEQ",
3064 "a": {
3065 "type": "LINEARCOMBINATION",
3066 "values": {
3067 "main.n2bb.out[1]": "1"
3068 }
3069 },
3070 "b": {
3071 "type": "LINEARCOMBINATION",
3072 "values": {
3073 "main.n2bb.out[1]": "1",
3074 "one": "21888242871839275222246405745257275088548364400416034343698204186575808495616"
3075 }
3076 },
3077 "c": {
3078 "type": "LINEARCOMBINATION",
3079 "values": {}
3080 }
3081 },
3082 {
3083 "type": "QEQ",
3084 "a": {
3085 "type": "LINEARCOMBINATION",
3086 "values": {
3087 "main.n2bb.out[2]": "1"
3088 }
3089 },
3090 "b": {
3091 "type": "LINEARCOMBINATION",
3092 "values": {
3093 "main.n2bb.out[2]": "1",
3094 "one": "21888242871839275222246405745257275088548364400416034343698204186575808495616"
3095 }
3096 },
3097 "c": {
3098 "type": "LINEARCOMBINATION",
3099 "values": {}
3100 }
3101 },
3102 {
3103 "type": "QEQ",
3104 "a": {
3105 "type": "LINEARCOMBINATION",
3106 "values": {
3107 "main.n2bb.out[3]": "1"
3108 }
3109 },
3110 "b": {
3111 "type": "LINEARCOMBINATION",
3112 "values": {
3113 "main.n2bb.out[3]": "1",
3114 "one": "21888242871839275222246405745257275088548364400416034343698204186575808495616"
3115 }
3116 },
3117 "c": {
3118 "type": "LINEARCOMBINATION",
3119 "values": {}
3120 }
3121 },
3122 {
3123 "type": "QEQ",
3124 "a": {
3125 "type": "LINEARCOMBINATION",
3126 "values": {
3127 "main.n2bb.out[4]": "1"
3128 }
3129 },
3130 "b": {
3131 "type": "LINEARCOMBINATION",
3132 "values": {
3133 "main.n2bb.out[4]": "1",
3134 "one": "21888242871839275222246405745257275088548364400416034343698204186575808495616"
3135 }
3136 },
3137 "c": {
3138 "type": "LINEARCOMBINATION",
3139 "values": {}
3140 }
3141 },
3142 {
3143 "type": "QEQ",
3144 "a": {
3145 "type": "LINEARCOMBINATION",
3146 "values": {
3147 "main.n2bb.out[5]": "1"
3148 }
3149 },
3150 "b": {
3151 "type": "LINEARCOMBINATION",
3152 "values": {
3153 "main.n2bb.out[5]": "1",
3154 "one": "21888242871839275222246405745257275088548364400416034343698204186575808495616"
3155 }
3156 },
3157 "c": {
3158 "type": "LINEARCOMBINATION",
3159 "values": {}
3160 }
3161 },
3162 {
3163 "type": "QEQ",
3164 "a": {
3165 "type": "LINEARCOMBINATION",
3166 "values": {
3167 "main.n2bb.out[6]": "1"
3168 }
3169 },
3170 "b": {
3171 "type": "LINEARCOMBINATION",
3172 "values": {
3173 "main.n2bb.out[6]": "1",
3174 "one": "21888242871839275222246405745257275088548364400416034343698204186575808495616"
3175 }
3176 },
3177 "c": {
3178 "type": "LINEARCOMBINATION",
3179 "values": {}
3180 }
3181 },
3182 {
3183 "type": "QEQ",
3184 "a": {
3185 "type": "LINEARCOMBINATION",
3186 "values": {
3187 "main.n2bb.out[7]": "1"
3188 }
3189 },
3190 "b": {
3191 "type": "LINEARCOMBINATION",
3192 "values": {
3193 "main.n2bb.out[7]": "1",
3194 "one": "21888242871839275222246405745257275088548364400416034343698204186575808495616"
3195 }
3196 },
3197 "c": {
3198 "type": "LINEARCOMBINATION",
3199 "values": {}
3200 }
3201 },
3202 {
3203 "type": "QEQ",
3204 "a": {
3205 "type": "LINEARCOMBINATION",
3206 "values": {
3207 "main.n2bb.out[8]": "1"
3208 }
3209 },
3210 "b": {
3211 "type": "LINEARCOMBINATION",
3212 "values": {
3213 "main.n2bb.out[8]": "1",
3214 "one": "21888242871839275222246405745257275088548364400416034343698204186575808495616"
3215 }
3216 },
3217 "c": {
3218 "type": "LINEARCOMBINATION",
3219 "values": {}
3220 }
3221 },
3222 {
3223 "type": "QEQ",
3224 "a": {
3225 "type": "LINEARCOMBINATION",
3226 "values": {
3227 "main.n2bb.out[9]": "1"
3228 }
3229 },
3230 "b": {
3231 "type": "LINEARCOMBINATION",
3232 "values": {
3233 "main.n2bb.out[9]": "1",
3234 "one": "21888242871839275222246405745257275088548364400416034343698204186575808495616"
3235 }
3236 },
3237 "c": {
3238 "type": "LINEARCOMBINATION",
3239 "values": {}
3240 }
3241 },
3242 {
3243 "type": "QEQ",
3244 "a": {
3245 "type": "LINEARCOMBINATION",
3246 "values": {
3247 "main.n2bb.out[10]": "1"
3248 }
3249 },
3250 "b": {
3251 "type": "LINEARCOMBINATION",
3252 "values": {
3253 "main.n2bb.out[10]": "1",
3254 "one": "21888242871839275222246405745257275088548364400416034343698204186575808495616"
3255 }
3256 },
3257 "c": {
3258 "type": "LINEARCOMBINATION",
3259 "values": {}
3260 }
3261 },
3262 {
3263 "type": "QEQ",
3264 "a": {
3265 "type": "LINEARCOMBINATION",
3266 "values": {
3267 "main.n2bb.out[11]": "1"
3268 }
3269 },
3270 "b": {
3271 "type": "LINEARCOMBINATION",
3272 "values": {
3273 "main.n2bb.out[11]": "1",
3274 "one": "21888242871839275222246405745257275088548364400416034343698204186575808495616"
3275 }
3276 },
3277 "c": {
3278 "type": "LINEARCOMBINATION",
3279 "values": {}
3280 }
3281 },
3282 {
3283 "type": "QEQ",
3284 "a": {
3285 "type": "LINEARCOMBINATION",
3286 "values": {
3287 "main.n2bb.out[12]": "1"
3288 }
3289 },
3290 "b": {
3291 "type": "LINEARCOMBINATION",
3292 "values": {
3293 "main.n2bb.out[12]": "1",
3294 "one": "21888242871839275222246405745257275088548364400416034343698204186575808495616"
3295 }
3296 },
3297 "c": {
3298 "type": "LINEARCOMBINATION",
3299 "values": {}
3300 }
3301 },
3302 {
3303 "type": "QEQ",
3304 "a": {
3305 "type": "LINEARCOMBINATION",
3306 "values": {
3307 "main.n2bb.out[13]": "1"
3308 }
3309 },
3310 "b": {
3311 "type": "LINEARCOMBINATION",
3312 "values": {
3313 "main.n2bb.out[13]": "1",
3314 "one": "21888242871839275222246405745257275088548364400416034343698204186575808495616"
3315 }
3316 },
3317 "c": {
3318 "type": "LINEARCOMBINATION",
3319 "values": {}
3320 }
3321 },
3322 {
3323 "type": "QEQ",
3324 "a": {
3325 "type": "LINEARCOMBINATION",
3326 "values": {
3327 "main.n2bb.out[14]": "1"
3328 }
3329 },
3330 "b": {
3331 "type": "LINEARCOMBINATION",
3332 "values": {
3333 "main.n2bb.out[14]": "1",
3334 "one": "21888242871839275222246405745257275088548364400416034343698204186575808495616"
3335 }
3336 },
3337 "c": {
3338 "type": "LINEARCOMBINATION",
3339 "values": {}
3340 }
3341 },
3342 {
3343 "type": "QEQ",
3344 "a": {
3345 "type": "LINEARCOMBINATION",
3346 "values": {
3347 "main.n2bb.out[15]": "1"
3348 }
3349 },
3350 "b": {
3351 "type": "LINEARCOMBINATION",
3352 "values": {
3353 "main.n2bb.out[15]": "1",
3354 "one": "21888242871839275222246405745257275088548364400416034343698204186575808495616"
3355 }
3356 },
3357 "c": {
3358 "type": "LINEARCOMBINATION",
3359 "values": {}
3360 }
3361 },
3362 {
3363 "type": "QEQ",
3364 "a": {
3365 "type": "LINEARCOMBINATION",
3366 "values": {
3367 "main.n2bb.out[16]": "1"
3368 }
3369 },
3370 "b": {
3371 "type": "LINEARCOMBINATION",
3372 "values": {
3373 "main.n2bb.out[16]": "1",
3374 "one": "21888242871839275222246405745257275088548364400416034343698204186575808495616"
3375 }
3376 },
3377 "c": {
3378 "type": "LINEARCOMBINATION",
3379 "values": {}
3380 }
3381 },
3382 {
3383 "type": "QEQ",
3384 "a": {
3385 "type": "LINEARCOMBINATION",
3386 "values": {
3387 "main.n2bb.out[17]": "1"
3388 }
3389 },
3390 "b": {
3391 "type": "LINEARCOMBINATION",
3392 "values": {
3393 "main.n2bb.out[17]": "1",
3394 "one": "21888242871839275222246405745257275088548364400416034343698204186575808495616"
3395 }
3396 },
3397 "c": {
3398 "type": "LINEARCOMBINATION",
3399 "values": {}
3400 }
3401 },
3402 {
3403 "type": "QEQ",
3404 "a": {
3405 "type": "LINEARCOMBINATION",
3406 "values": {
3407 "main.n2bb.out[18]": "1"
3408 }
3409 },
3410 "b": {
3411 "type": "LINEARCOMBINATION",
3412 "values": {
3413 "main.n2bb.out[18]": "1",
3414 "one": "21888242871839275222246405745257275088548364400416034343698204186575808495616"
3415 }
3416 },
3417 "c": {
3418 "type": "LINEARCOMBINATION",
3419 "values": {}
3420 }
3421 },
3422 {
3423 "type": "QEQ",
3424 "a": {
3425 "type": "LINEARCOMBINATION",
3426 "values": {
3427 "main.n2bb.out[19]": "1"
3428 }
3429 },
3430 "b": {
3431 "type": "LINEARCOMBINATION",
3432 "values": {
3433 "main.n2bb.out[19]": "1",
3434 "one": "21888242871839275222246405745257275088548364400416034343698204186575808495616"
3435 }
3436 },
3437 "c": {
3438 "type": "LINEARCOMBINATION",
3439 "values": {}
3440 }
3441 },
3442 {
3443 "type": "QEQ",
3444 "a": {
3445 "type": "LINEARCOMBINATION",
3446 "values": {
3447 "main.n2bb.out[20]": "1"
3448 }
3449 },
3450 "b": {
3451 "type": "LINEARCOMBINATION",
3452 "values": {
3453 "main.n2bb.out[20]": "1",
3454 "one": "21888242871839275222246405745257275088548364400416034343698204186575808495616"
3455 }
3456 },
3457 "c": {
3458 "type": "LINEARCOMBINATION",
3459 "values": {}
3460 }
3461 },
3462 {
3463 "type": "QEQ",
3464 "a": {
3465 "type": "LINEARCOMBINATION",
3466 "values": {
3467 "main.n2bb.out[21]": "1"
3468 }
3469 },
3470 "b": {
3471 "type": "LINEARCOMBINATION",
3472 "values": {
3473 "main.n2bb.out[21]": "1",
3474 "one": "21888242871839275222246405745257275088548364400416034343698204186575808495616"
3475 }
3476 },
3477 "c": {
3478 "type": "LINEARCOMBINATION",
3479 "values": {}
3480 }
3481 },
3482 {
3483 "type": "QEQ",
3484 "a": {
3485 "type": "LINEARCOMBINATION",
3486 "values": {
3487 "main.n2bb.out[22]": "1"
3488 }
3489 },
3490 "b": {
3491 "type": "LINEARCOMBINATION",
3492 "values": {
3493 "main.n2bb.out[22]": "1",
3494 "one": "21888242871839275222246405745257275088548364400416034343698204186575808495616"
3495 }
3496 },
3497 "c": {
3498 "type": "LINEARCOMBINATION",
3499 "values": {}
3500 }
3501 },
3502 {
3503 "type": "QEQ",
3504 "a": {
3505 "type": "LINEARCOMBINATION",
3506 "values": {
3507 "main.n2bb.out[23]": "1"
3508 }
3509 },
3510 "b": {
3511 "type": "LINEARCOMBINATION",
3512 "values": {
3513 "main.n2bb.out[23]": "1",
3514 "one": "21888242871839275222246405745257275088548364400416034343698204186575808495616"
3515 }
3516 },
3517 "c": {
3518 "type": "LINEARCOMBINATION",
3519 "values": {}
3520 }
3521 },
3522 {
3523 "type": "QEQ",
3524 "a": {
3525 "type": "LINEARCOMBINATION",
3526 "values": {
3527 "main.n2bb.out[24]": "1"
3528 }
3529 },
3530 "b": {
3531 "type": "LINEARCOMBINATION",
3532 "values": {
3533 "main.n2bb.out[24]": "1",
3534 "one": "21888242871839275222246405745257275088548364400416034343698204186575808495616"
3535 }
3536 },
3537 "c": {
3538 "type": "LINEARCOMBINATION",
3539 "values": {}
3540 }
3541 },
3542 {
3543 "type": "QEQ",
3544 "a": {
3545 "type": "LINEARCOMBINATION",
3546 "values": {
3547 "main.n2bb.out[25]": "1"
3548 }
3549 },
3550 "b": {
3551 "type": "LINEARCOMBINATION",
3552 "values": {
3553 "main.n2bb.out[25]": "1",
3554 "one": "21888242871839275222246405745257275088548364400416034343698204186575808495616"
3555 }
3556 },
3557 "c": {
3558 "type": "LINEARCOMBINATION",
3559 "values": {}
3560 }
3561 },
3562 {
3563 "type": "QEQ",
3564 "a": {
3565 "type": "LINEARCOMBINATION",
3566 "values": {
3567 "main.n2bb.out[26]": "1"
3568 }
3569 },
3570 "b": {
3571 "type": "LINEARCOMBINATION",
3572 "values": {
3573 "main.n2bb.out[26]": "1",
3574 "one": "21888242871839275222246405745257275088548364400416034343698204186575808495616"
3575 }
3576 },
3577 "c": {
3578 "type": "LINEARCOMBINATION",
3579 "values": {}
3580 }
3581 },
3582 {
3583 "type": "QEQ",
3584 "a": {
3585 "type": "LINEARCOMBINATION",
3586 "values": {
3587 "main.n2bb.out[27]": "1"
3588 }
3589 },
3590 "b": {
3591 "type": "LINEARCOMBINATION",
3592 "values": {
3593 "main.n2bb.out[27]": "1",
3594 "one": "21888242871839275222246405745257275088548364400416034343698204186575808495616"
3595 }
3596 },
3597 "c": {
3598 "type": "LINEARCOMBINATION",
3599 "values": {}
3600 }
3601 },
3602 {
3603 "type": "QEQ",
3604 "a": {
3605 "type": "LINEARCOMBINATION",
3606 "values": {
3607 "main.n2bb.out[28]": "1"
3608 }
3609 },
3610 "b": {
3611 "type": "LINEARCOMBINATION",
3612 "values": {
3613 "main.n2bb.out[28]": "1",
3614 "one": "21888242871839275222246405745257275088548364400416034343698204186575808495616"
3615 }
3616 },
3617 "c": {
3618 "type": "LINEARCOMBINATION",
3619 "values": {}
3620 }
3621 },
3622 {
3623 "type": "QEQ",
3624 "a": {
3625 "type": "LINEARCOMBINATION",
3626 "values": {
3627 "main.n2bb.out[29]": "1"
3628 }
3629 },
3630 "b": {
3631 "type": "LINEARCOMBINATION",
3632 "values": {
3633 "main.n2bb.out[29]": "1",
3634 "one": "21888242871839275222246405745257275088548364400416034343698204186575808495616"
3635 }
3636 },
3637 "c": {
3638 "type": "LINEARCOMBINATION",
3639 "values": {}
3640 }
3641 },
3642 {
3643 "type": "QEQ",
3644 "a": {
3645 "type": "LINEARCOMBINATION",
3646 "values": {
3647 "main.n2bb.out[30]": "1"
3648 }
3649 },
3650 "b": {
3651 "type": "LINEARCOMBINATION",
3652 "values": {
3653 "main.n2bb.out[30]": "1",
3654 "one": "21888242871839275222246405745257275088548364400416034343698204186575808495616"
3655 }
3656 },
3657 "c": {
3658 "type": "LINEARCOMBINATION",
3659 "values": {}
3660 }
3661 },
3662 {
3663 "type": "QEQ",
3664 "a": {
3665 "type": "LINEARCOMBINATION",
3666 "values": {
3667 "main.n2bb.out[31]": "1"
3668 }
3669 },
3670 "b": {
3671 "type": "LINEARCOMBINATION",
3672 "values": {
3673 "main.n2bb.out[31]": "1",
3674 "one": "21888242871839275222246405745257275088548364400416034343698204186575808495616"
3675 }
3676 },
3677 "c": {
3678 "type": "LINEARCOMBINATION",
3679 "values": {}
3680 }
3681 },
3682 {
3683 "type": "QEQ",
3684 "a": {
3685 "type": "LINEARCOMBINATION",
3686 "values": {}
3687 },
3688 "b": {
3689 "type": "LINEARCOMBINATION",
3690 "values": {}
3691 },
3692 "c": {
3693 "type": "LINEARCOMBINATION",
3694 "values": {
3695 "main.n2bb.out[0]": "1",
3696 "main.n2bb.out[1]": "2",
3697 "main.n2bb.out[2]": "4",
3698 "main.n2bb.out[3]": "8",
3699 "main.n2bb.out[4]": "16",
3700 "main.n2bb.out[5]": "32",
3701 "main.n2bb.out[6]": "64",
3702 "main.n2bb.out[7]": "128",
3703 "main.n2bb.out[8]": "256",
3704 "main.n2bb.out[9]": "512",
3705 "main.n2bb.out[10]": "1024",
3706 "main.n2bb.out[11]": "2048",
3707 "main.n2bb.out[12]": "4096",
3708 "main.n2bb.out[13]": "8192",
3709 "main.n2bb.out[14]": "16384",
3710 "main.n2bb.out[15]": "32768",
3711 "main.n2bb.out[16]": "65536",
3712 "main.n2bb.out[17]": "131072",
3713 "main.n2bb.out[18]": "262144",
3714 "main.n2bb.out[19]": "524288",
3715 "main.n2bb.out[20]": "1048576",
3716 "main.n2bb.out[21]": "2097152",
3717 "main.n2bb.out[22]": "4194304",
3718 "main.n2bb.out[23]": "8388608",
3719 "main.n2bb.out[24]": "16777216",
3720 "main.n2bb.out[25]": "33554432",
3721 "main.n2bb.out[26]": "67108864",
3722 "main.n2bb.out[27]": "134217728",
3723 "main.n2bb.out[28]": "268435456",
3724 "main.n2bb.out[29]": "536870912",
3725 "main.n2bb.out[30]": "1073741824",
3726 "main.n2bb.out[31]": "2147483648",
3727 "main.b": "21888242871839275222246405745257275088548364400416034343698204186575808495616"
3728 }
3729 }
3730 },
3731 {
3732 "type": "QEQ",
3733 "a": {
3734 "type": "LINEARCOMBINATION",
3735 "values": {
3736 "main.sum.out[0]": "1"
3737 }
3738 },
3739 "b": {
3740 "type": "LINEARCOMBINATION",
3741 "values": {
3742 "main.sum.out[0]": "1",
3743 "one": "21888242871839275222246405745257275088548364400416034343698204186575808495616"
3744 }
3745 },
3746 "c": {
3747 "type": "LINEARCOMBINATION",
3748 "values": {}
3749 }
3750 },
3751 {
3752 "type": "QEQ",
3753 "a": {
3754 "type": "LINEARCOMBINATION",
3755 "values": {
3756 "main.sum.out[1]": "1"
3757 }
3758 },
3759 "b": {
3760 "type": "LINEARCOMBINATION",
3761 "values": {
3762 "main.sum.out[1]": "1",
3763 "one": "21888242871839275222246405745257275088548364400416034343698204186575808495616"
3764 }
3765 },
3766 "c": {
3767 "type": "LINEARCOMBINATION",
3768 "values": {}
3769 }
3770 },
3771 {
3772 "type": "QEQ",
3773 "a": {
3774 "type": "LINEARCOMBINATION",
3775 "values": {
3776 "main.sum.out[2]": "1"
3777 }
3778 },
3779 "b": {
3780 "type": "LINEARCOMBINATION",
3781 "values": {
3782 "main.sum.out[2]": "1",
3783 "one": "21888242871839275222246405745257275088548364400416034343698204186575808495616"
3784 }
3785 },
3786 "c": {
3787 "type": "LINEARCOMBINATION",
3788 "values": {}
3789 }
3790 },
3791 {
3792 "type": "QEQ",
3793 "a": {
3794 "type": "LINEARCOMBINATION",
3795 "values": {
3796 "main.sum.out[3]": "1"
3797 }
3798 },
3799 "b": {
3800 "type": "LINEARCOMBINATION",
3801 "values": {
3802 "main.sum.out[3]": "1",
3803 "one": "21888242871839275222246405745257275088548364400416034343698204186575808495616"
3804 }
3805 },
3806 "c": {
3807 "type": "LINEARCOMBINATION",
3808 "values": {}
3809 }
3810 },
3811 {
3812 "type": "QEQ",
3813 "a": {
3814 "type": "LINEARCOMBINATION",
3815 "values": {
3816 "main.sum.out[4]": "1"
3817 }
3818 },
3819 "b": {
3820 "type": "LINEARCOMBINATION",
3821 "values": {
3822 "main.sum.out[4]": "1",
3823 "one": "21888242871839275222246405745257275088548364400416034343698204186575808495616"
3824 }
3825 },
3826 "c": {
3827 "type": "LINEARCOMBINATION",
3828 "values": {}
3829 }
3830 },
3831 {
3832 "type": "QEQ",
3833 "a": {
3834 "type": "LINEARCOMBINATION",
3835 "values": {
3836 "main.sum.out[5]": "1"
3837 }
3838 },
3839 "b": {
3840 "type": "LINEARCOMBINATION",
3841 "values": {
3842 "main.sum.out[5]": "1",
3843 "one": "21888242871839275222246405745257275088548364400416034343698204186575808495616"
3844 }
3845 },
3846 "c": {
3847 "type": "LINEARCOMBINATION",
3848 "values": {}
3849 }
3850 },
3851 {
3852 "type": "QEQ",
3853 "a": {
3854 "type": "LINEARCOMBINATION",
3855 "values": {
3856 "main.sum.out[6]": "1"
3857 }
3858 },
3859 "b": {
3860 "type": "LINEARCOMBINATION",
3861 "values": {
3862 "main.sum.out[6]": "1",
3863 "one": "21888242871839275222246405745257275088548364400416034343698204186575808495616"
3864 }
3865 },
3866 "c": {
3867 "type": "LINEARCOMBINATION",
3868 "values": {}
3869 }
3870 },
3871 {
3872 "type": "QEQ",
3873 "a": {
3874 "type": "LINEARCOMBINATION",
3875 "values": {
3876 "main.sum.out[7]": "1"
3877 }
3878 },
3879 "b": {
3880 "type": "LINEARCOMBINATION",
3881 "values": {
3882 "main.sum.out[7]": "1",
3883 "one": "21888242871839275222246405745257275088548364400416034343698204186575808495616"
3884 }
3885 },
3886 "c": {
3887 "type": "LINEARCOMBINATION",
3888 "values": {}
3889 }
3890 },
3891 {
3892 "type": "QEQ",
3893 "a": {
3894 "type": "LINEARCOMBINATION",
3895 "values": {
3896 "main.sum.out[8]": "1"
3897 }
3898 },
3899 "b": {
3900 "type": "LINEARCOMBINATION",
3901 "values": {
3902 "main.sum.out[8]": "1",
3903 "one": "21888242871839275222246405745257275088548364400416034343698204186575808495616"
3904 }
3905 },
3906 "c": {
3907 "type": "LINEARCOMBINATION",
3908 "values": {}
3909 }
3910 },
3911 {
3912 "type": "QEQ",
3913 "a": {
3914 "type": "LINEARCOMBINATION",
3915 "values": {
3916 "main.sum.out[9]": "1"
3917 }
3918 },
3919 "b": {
3920 "type": "LINEARCOMBINATION",
3921 "values": {
3922 "main.sum.out[9]": "1",
3923 "one": "21888242871839275222246405745257275088548364400416034343698204186575808495616"
3924 }
3925 },
3926 "c": {
3927 "type": "LINEARCOMBINATION",
3928 "values": {}
3929 }
3930 },
3931 {
3932 "type": "QEQ",
3933 "a": {
3934 "type": "LINEARCOMBINATION",
3935 "values": {
3936 "main.sum.out[10]": "1"
3937 }
3938 },
3939 "b": {
3940 "type": "LINEARCOMBINATION",
3941 "values": {
3942 "main.sum.out[10]": "1",
3943 "one": "21888242871839275222246405745257275088548364400416034343698204186575808495616"
3944 }
3945 },
3946 "c": {
3947 "type": "LINEARCOMBINATION",
3948 "values": {}
3949 }
3950 },
3951 {
3952 "type": "QEQ",
3953 "a": {
3954 "type": "LINEARCOMBINATION",
3955 "values": {
3956 "main.sum.out[11]": "1"
3957 }
3958 },
3959 "b": {
3960 "type": "LINEARCOMBINATION",
3961 "values": {
3962 "main.sum.out[11]": "1",
3963 "one": "21888242871839275222246405745257275088548364400416034343698204186575808495616"
3964 }
3965 },
3966 "c": {
3967 "type": "LINEARCOMBINATION",
3968 "values": {}
3969 }
3970 },
3971 {
3972 "type": "QEQ",
3973 "a": {
3974 "type": "LINEARCOMBINATION",
3975 "values": {
3976 "main.sum.out[12]": "1"
3977 }
3978 },
3979 "b": {
3980 "type": "LINEARCOMBINATION",
3981 "values": {
3982 "main.sum.out[12]": "1",
3983 "one": "21888242871839275222246405745257275088548364400416034343698204186575808495616"
3984 }
3985 },
3986 "c": {
3987 "type": "LINEARCOMBINATION",
3988 "values": {}
3989 }
3990 },
3991 {
3992 "type": "QEQ",
3993 "a": {
3994 "type": "LINEARCOMBINATION",
3995 "values": {
3996 "main.sum.out[13]": "1"
3997 }
3998 },
3999 "b": {
4000 "type": "LINEARCOMBINATION",
4001 "values": {
4002 "main.sum.out[13]": "1",
4003 "one": "21888242871839275222246405745257275088548364400416034343698204186575808495616"
4004 }
4005 },
4006 "c": {
4007 "type": "LINEARCOMBINATION",
4008 "values": {}
4009 }
4010 },
4011 {
4012 "type": "QEQ",
4013 "a": {
4014 "type": "LINEARCOMBINATION",
4015 "values": {
4016 "main.sum.out[14]": "1"
4017 }
4018 },
4019 "b": {
4020 "type": "LINEARCOMBINATION",
4021 "values": {
4022 "main.sum.out[14]": "1",
4023 "one": "21888242871839275222246405745257275088548364400416034343698204186575808495616"
4024 }
4025 },
4026 "c": {
4027 "type": "LINEARCOMBINATION",
4028 "values": {}
4029 }
4030 },
4031 {
4032 "type": "QEQ",
4033 "a": {
4034 "type": "LINEARCOMBINATION",
4035 "values": {
4036 "main.sum.out[15]": "1"
4037 }
4038 },
4039 "b": {
4040 "type": "LINEARCOMBINATION",
4041 "values": {
4042 "main.sum.out[15]": "1",
4043 "one": "21888242871839275222246405745257275088548364400416034343698204186575808495616"
4044 }
4045 },
4046 "c": {
4047 "type": "LINEARCOMBINATION",
4048 "values": {}
4049 }
4050 },
4051 {
4052 "type": "QEQ",
4053 "a": {
4054 "type": "LINEARCOMBINATION",
4055 "values": {
4056 "main.sum.out[16]": "1"
4057 }
4058 },
4059 "b": {
4060 "type": "LINEARCOMBINATION",
4061 "values": {
4062 "main.sum.out[16]": "1",
4063 "one": "21888242871839275222246405745257275088548364400416034343698204186575808495616"
4064 }
4065 },
4066 "c": {
4067 "type": "LINEARCOMBINATION",
4068 "values": {}
4069 }
4070 },
4071 {
4072 "type": "QEQ",
4073 "a": {
4074 "type": "LINEARCOMBINATION",
4075 "values": {
4076 "main.sum.out[17]": "1"
4077 }
4078 },
4079 "b": {
4080 "type": "LINEARCOMBINATION",
4081 "values": {
4082 "main.sum.out[17]": "1",
4083 "one": "21888242871839275222246405745257275088548364400416034343698204186575808495616"
4084 }
4085 },
4086 "c": {
4087 "type": "LINEARCOMBINATION",
4088 "values": {}
4089 }
4090 },
4091 {
4092 "type": "QEQ",
4093 "a": {
4094 "type": "LINEARCOMBINATION",
4095 "values": {
4096 "main.sum.out[18]": "1"
4097 }
4098 },
4099 "b": {
4100 "type": "LINEARCOMBINATION",
4101 "values": {
4102 "main.sum.out[18]": "1",
4103 "one": "21888242871839275222246405745257275088548364400416034343698204186575808495616"
4104 }
4105 },
4106 "c": {
4107 "type": "LINEARCOMBINATION",
4108 "values": {}
4109 }
4110 },
4111 {
4112 "type": "QEQ",
4113 "a": {
4114 "type": "LINEARCOMBINATION",
4115 "values": {
4116 "main.sum.out[19]": "1"
4117 }
4118 },
4119 "b": {
4120 "type": "LINEARCOMBINATION",
4121 "values": {
4122 "main.sum.out[19]": "1",
4123 "one": "21888242871839275222246405745257275088548364400416034343698204186575808495616"
4124 }
4125 },
4126 "c": {
4127 "type": "LINEARCOMBINATION",
4128 "values": {}
4129 }
4130 },
4131 {
4132 "type": "QEQ",
4133 "a": {
4134 "type": "LINEARCOMBINATION",
4135 "values": {
4136 "main.sum.out[20]": "1"
4137 }
4138 },
4139 "b": {
4140 "type": "LINEARCOMBINATION",
4141 "values": {
4142 "main.sum.out[20]": "1",
4143 "one": "21888242871839275222246405745257275088548364400416034343698204186575808495616"
4144 }
4145 },
4146 "c": {
4147 "type": "LINEARCOMBINATION",
4148 "values": {}
4149 }
4150 },
4151 {
4152 "type": "QEQ",
4153 "a": {
4154 "type": "LINEARCOMBINATION",
4155 "values": {
4156 "main.sum.out[21]": "1"
4157 }
4158 },
4159 "b": {
4160 "type": "LINEARCOMBINATION",
4161 "values": {
4162 "main.sum.out[21]": "1",
4163 "one": "21888242871839275222246405745257275088548364400416034343698204186575808495616"
4164 }
4165 },
4166 "c": {
4167 "type": "LINEARCOMBINATION",
4168 "values": {}
4169 }
4170 },
4171 {
4172 "type": "QEQ",
4173 "a": {
4174 "type": "LINEARCOMBINATION",
4175 "values": {
4176 "main.sum.out[22]": "1"
4177 }
4178 },
4179 "b": {
4180 "type": "LINEARCOMBINATION",
4181 "values": {
4182 "main.sum.out[22]": "1",
4183 "one": "21888242871839275222246405745257275088548364400416034343698204186575808495616"
4184 }
4185 },
4186 "c": {
4187 "type": "LINEARCOMBINATION",
4188 "values": {}
4189 }
4190 },
4191 {
4192 "type": "QEQ",
4193 "a": {
4194 "type": "LINEARCOMBINATION",
4195 "values": {
4196 "main.sum.out[23]": "1"
4197 }
4198 },
4199 "b": {
4200 "type": "LINEARCOMBINATION",
4201 "values": {
4202 "main.sum.out[23]": "1",
4203 "one": "21888242871839275222246405745257275088548364400416034343698204186575808495616"
4204 }
4205 },
4206 "c": {
4207 "type": "LINEARCOMBINATION",
4208 "values": {}
4209 }
4210 },
4211 {
4212 "type": "QEQ",
4213 "a": {
4214 "type": "LINEARCOMBINATION",
4215 "values": {
4216 "main.sum.out[24]": "1"
4217 }
4218 },
4219 "b": {
4220 "type": "LINEARCOMBINATION",
4221 "values": {
4222 "main.sum.out[24]": "1",
4223 "one": "21888242871839275222246405745257275088548364400416034343698204186575808495616"
4224 }
4225 },
4226 "c": {
4227 "type": "LINEARCOMBINATION",
4228 "values": {}
4229 }
4230 },
4231 {
4232 "type": "QEQ",
4233 "a": {
4234 "type": "LINEARCOMBINATION",
4235 "values": {
4236 "main.sum.out[25]": "1"
4237 }
4238 },
4239 "b": {
4240 "type": "LINEARCOMBINATION",
4241 "values": {
4242 "main.sum.out[25]": "1",
4243 "one": "21888242871839275222246405745257275088548364400416034343698204186575808495616"
4244 }
4245 },
4246 "c": {
4247 "type": "LINEARCOMBINATION",
4248 "values": {}
4249 }
4250 },
4251 {
4252 "type": "QEQ",
4253 "a": {
4254 "type": "LINEARCOMBINATION",
4255 "values": {
4256 "main.sum.out[26]": "1"
4257 }
4258 },
4259 "b": {
4260 "type": "LINEARCOMBINATION",
4261 "values": {
4262 "main.sum.out[26]": "1",
4263 "one": "21888242871839275222246405745257275088548364400416034343698204186575808495616"
4264 }
4265 },
4266 "c": {
4267 "type": "LINEARCOMBINATION",
4268 "values": {}
4269 }
4270 },
4271 {
4272 "type": "QEQ",
4273 "a": {
4274 "type": "LINEARCOMBINATION",
4275 "values": {
4276 "main.sum.out[27]": "1"
4277 }
4278 },
4279 "b": {
4280 "type": "LINEARCOMBINATION",
4281 "values": {
4282 "main.sum.out[27]": "1",
4283 "one": "21888242871839275222246405745257275088548364400416034343698204186575808495616"
4284 }
4285 },
4286 "c": {
4287 "type": "LINEARCOMBINATION",
4288 "values": {}
4289 }
4290 },
4291 {
4292 "type": "QEQ",
4293 "a": {
4294 "type": "LINEARCOMBINATION",
4295 "values": {
4296 "main.sum.out[28]": "1"
4297 }
4298 },
4299 "b": {
4300 "type": "LINEARCOMBINATION",
4301 "values": {
4302 "main.sum.out[28]": "1",
4303 "one": "21888242871839275222246405745257275088548364400416034343698204186575808495616"
4304 }
4305 },
4306 "c": {
4307 "type": "LINEARCOMBINATION",
4308 "values": {}
4309 }
4310 },
4311 {
4312 "type": "QEQ",
4313 "a": {
4314 "type": "LINEARCOMBINATION",
4315 "values": {
4316 "main.sum.out[29]": "1"
4317 }
4318 },
4319 "b": {
4320 "type": "LINEARCOMBINATION",
4321 "values": {
4322 "main.sum.out[29]": "1",
4323 "one": "21888242871839275222246405745257275088548364400416034343698204186575808495616"
4324 }
4325 },
4326 "c": {
4327 "type": "LINEARCOMBINATION",
4328 "values": {}
4329 }
4330 },
4331 {
4332 "type": "QEQ",
4333 "a": {
4334 "type": "LINEARCOMBINATION",
4335 "values": {
4336 "main.sum.out[30]": "1"
4337 }
4338 },
4339 "b": {
4340 "type": "LINEARCOMBINATION",
4341 "values": {
4342 "main.sum.out[30]": "1",
4343 "one": "21888242871839275222246405745257275088548364400416034343698204186575808495616"
4344 }
4345 },
4346 "c": {
4347 "type": "LINEARCOMBINATION",
4348 "values": {}
4349 }
4350 },
4351 {
4352 "type": "QEQ",
4353 "a": {
4354 "type": "LINEARCOMBINATION",
4355 "values": {
4356 "main.sum.out[31]": "1"
4357 }
4358 },
4359 "b": {
4360 "type": "LINEARCOMBINATION",
4361 "values": {
4362 "main.sum.out[31]": "1",
4363 "one": "21888242871839275222246405745257275088548364400416034343698204186575808495616"
4364 }
4365 },
4366 "c": {
4367 "type": "LINEARCOMBINATION",
4368 "values": {}
4369 }
4370 },
4371 {
4372 "type": "QEQ",
4373 "a": {
4374 "type": "LINEARCOMBINATION",
4375 "values": {
4376 "main.sum.out[32]": "1"
4377 }
4378 },
4379 "b": {
4380 "type": "LINEARCOMBINATION",
4381 "values": {
4382 "main.sum.out[32]": "1",
4383 "one": "21888242871839275222246405745257275088548364400416034343698204186575808495616"
4384 }
4385 },
4386 "c": {
4387 "type": "LINEARCOMBINATION",
4388 "values": {}
4389 }
4390 },
4391 {
4392 "type": "QEQ",
4393 "a": {
4394 "type": "LINEARCOMBINATION",
4395 "values": {}
4396 },
4397 "b": {
4398 "type": "LINEARCOMBINATION",
4399 "values": {}
4400 },
4401 "c": {
4402 "type": "LINEARCOMBINATION",
4403 "values": {
4404 "main.sum.out[0]": "21888242871839275222246405745257275088548364400416034343698204186575808495616",
4405 "main.sum.out[1]": "21888242871839275222246405745257275088548364400416034343698204186575808495615",
4406 "main.sum.out[2]": "21888242871839275222246405745257275088548364400416034343698204186575808495613",
4407 "main.sum.out[3]": "21888242871839275222246405745257275088548364400416034343698204186575808495609",
4408 "main.sum.out[4]": "21888242871839275222246405745257275088548364400416034343698204186575808495601",
4409 "main.sum.out[5]": "21888242871839275222246405745257275088548364400416034343698204186575808495585",
4410 "main.sum.out[6]": "21888242871839275222246405745257275088548364400416034343698204186575808495553",
4411 "main.sum.out[7]": "21888242871839275222246405745257275088548364400416034343698204186575808495489",
4412 "main.sum.out[8]": "21888242871839275222246405745257275088548364400416034343698204186575808495361",
4413 "main.sum.out[9]": "21888242871839275222246405745257275088548364400416034343698204186575808495105",
4414 "main.sum.out[10]": "21888242871839275222246405745257275088548364400416034343698204186575808494593",
4415 "main.sum.out[11]": "21888242871839275222246405745257275088548364400416034343698204186575808493569",
4416 "main.sum.out[12]": "21888242871839275222246405745257275088548364400416034343698204186575808491521",
4417 "main.sum.out[13]": "21888242871839275222246405745257275088548364400416034343698204186575808487425",
4418 "main.sum.out[14]": "21888242871839275222246405745257275088548364400416034343698204186575808479233",
4419 "main.sum.out[15]": "21888242871839275222246405745257275088548364400416034343698204186575808462849",
4420 "main.sum.out[16]": "21888242871839275222246405745257275088548364400416034343698204186575808430081",
4421 "main.sum.out[17]": "21888242871839275222246405745257275088548364400416034343698204186575808364545",
4422 "main.sum.out[18]": "21888242871839275222246405745257275088548364400416034343698204186575808233473",
4423 "main.sum.out[19]": "21888242871839275222246405745257275088548364400416034343698204186575807971329",
4424 "main.sum.out[20]": "21888242871839275222246405745257275088548364400416034343698204186575807447041",
4425 "main.sum.out[21]": "21888242871839275222246405745257275088548364400416034343698204186575806398465",
4426 "main.sum.out[22]": "21888242871839275222246405745257275088548364400416034343698204186575804301313",
4427 "main.sum.out[23]": "21888242871839275222246405745257275088548364400416034343698204186575800107009",
4428 "main.sum.out[24]": "21888242871839275222246405745257275088548364400416034343698204186575791718401",
4429 "main.sum.out[25]": "21888242871839275222246405745257275088548364400416034343698204186575774941185",
4430 "main.sum.out[26]": "21888242871839275222246405745257275088548364400416034343698204186575741386753",
4431 "main.sum.out[27]": "21888242871839275222246405745257275088548364400416034343698204186575674277889",
4432 "main.sum.out[28]": "21888242871839275222246405745257275088548364400416034343698204186575540060161",
4433 "main.sum.out[29]": "21888242871839275222246405745257275088548364400416034343698204186575271624705",
4434 "main.sum.out[30]": "21888242871839275222246405745257275088548364400416034343698204186574734753793",
4435 "main.sum.out[31]": "21888242871839275222246405745257275088548364400416034343698204186573661011969",
4436 "main.sum.out[32]": "21888242871839275222246405745257275088548364400416034343698204186571513528321",
4437 "main.n2ba.out[0]": "1",
4438 "main.n2bb.out[0]": "1",
4439 "main.n2ba.out[1]": "2",
4440 "main.n2bb.out[1]": "2",
4441 "main.n2ba.out[2]": "4",
4442 "main.n2bb.out[2]": "4",
4443 "main.n2ba.out[3]": "8",
4444 "main.n2bb.out[3]": "8",
4445 "main.n2ba.out[4]": "16",
4446 "main.n2bb.out[4]": "16",
4447 "main.n2ba.out[5]": "32",
4448 "main.n2bb.out[5]": "32",
4449 "main.n2ba.out[6]": "64",
4450 "main.n2bb.out[6]": "64",
4451 "main.n2ba.out[7]": "128",
4452 "main.n2bb.out[7]": "128",
4453 "main.n2ba.out[8]": "256",
4454 "main.n2bb.out[8]": "256",
4455 "main.n2ba.out[9]": "512",
4456 "main.n2bb.out[9]": "512",
4457 "main.n2ba.out[10]": "1024",
4458 "main.n2bb.out[10]": "1024",
4459 "main.n2ba.out[11]": "2048",
4460 "main.n2bb.out[11]": "2048",
4461 "main.n2ba.out[12]": "4096",
4462 "main.n2bb.out[12]": "4096",
4463 "main.n2ba.out[13]": "8192",
4464 "main.n2bb.out[13]": "8192",
4465 "main.n2ba.out[14]": "16384",
4466 "main.n2bb.out[14]": "16384",
4467 "main.n2ba.out[15]": "32768",
4468 "main.n2bb.out[15]": "32768",
4469 "main.n2ba.out[16]": "65536",
4470 "main.n2bb.out[16]": "65536",
4471 "main.n2ba.out[17]": "131072",
4472 "main.n2bb.out[17]": "131072",
4473 "main.n2ba.out[18]": "262144",
4474 "main.n2bb.out[18]": "262144",
4475 "main.n2ba.out[19]": "524288",
4476 "main.n2bb.out[19]": "524288",
4477 "main.n2ba.out[20]": "1048576",
4478 "main.n2bb.out[20]": "1048576",
4479 "main.n2ba.out[21]": "2097152",
4480 "main.n2bb.out[21]": "2097152",
4481 "main.n2ba.out[22]": "4194304",
4482 "main.n2bb.out[22]": "4194304",
4483 "main.n2ba.out[23]": "8388608",
4484 "main.n2bb.out[23]": "8388608",
4485 "main.n2ba.out[24]": "16777216",
4486 "main.n2bb.out[24]": "16777216",
4487 "main.n2ba.out[25]": "33554432",
4488 "main.n2bb.out[25]": "33554432",
4489 "main.n2ba.out[26]": "67108864",
4490 "main.n2bb.out[26]": "67108864",
4491 "main.n2ba.out[27]": "134217728",
4492 "main.n2bb.out[27]": "134217728",
4493 "main.n2ba.out[28]": "268435456",
4494 "main.n2bb.out[28]": "268435456",
4495 "main.n2ba.out[29]": "536870912",
4496 "main.n2bb.out[29]": "536870912",
4497 "main.n2ba.out[30]": "1073741824",
4498 "main.n2bb.out[30]": "1073741824",
4499 "main.n2ba.out[31]": "2147483648",
4500 "main.n2bb.out[31]": "2147483648"
4501 }
4502 }
4503 },
4504 {
4505 "type": "QEQ",
4506 "a": {
4507 "type": "LINEARCOMBINATION",
4508 "values": {}
4509 },
4510 "b": {
4511 "type": "LINEARCOMBINATION",
4512 "values": {}
4513 },
4514 "c": {
4515 "type": "LINEARCOMBINATION",
4516 "values": {
4517 "main.b2n.out": "1",
4518 "main.sum.out[0]": "21888242871839275222246405745257275088548364400416034343698204186575808495616",
4519 "main.sum.out[1]": "21888242871839275222246405745257275088548364400416034343698204186575808495615",
4520 "main.sum.out[2]": "21888242871839275222246405745257275088548364400416034343698204186575808495613",
4521 "main.sum.out[3]": "21888242871839275222246405745257275088548364400416034343698204186575808495609",
4522 "main.sum.out[4]": "21888242871839275222246405745257275088548364400416034343698204186575808495601",
4523 "main.sum.out[5]": "21888242871839275222246405745257275088548364400416034343698204186575808495585",
4524 "main.sum.out[6]": "21888242871839275222246405745257275088548364400416034343698204186575808495553",
4525 "main.sum.out[7]": "21888242871839275222246405745257275088548364400416034343698204186575808495489",
4526 "main.sum.out[8]": "21888242871839275222246405745257275088548364400416034343698204186575808495361",
4527 "main.sum.out[9]": "21888242871839275222246405745257275088548364400416034343698204186575808495105",
4528 "main.sum.out[10]": "21888242871839275222246405745257275088548364400416034343698204186575808494593",
4529 "main.sum.out[11]": "21888242871839275222246405745257275088548364400416034343698204186575808493569",
4530 "main.sum.out[12]": "21888242871839275222246405745257275088548364400416034343698204186575808491521",
4531 "main.sum.out[13]": "21888242871839275222246405745257275088548364400416034343698204186575808487425",
4532 "main.sum.out[14]": "21888242871839275222246405745257275088548364400416034343698204186575808479233",
4533 "main.sum.out[15]": "21888242871839275222246405745257275088548364400416034343698204186575808462849",
4534 "main.sum.out[16]": "21888242871839275222246405745257275088548364400416034343698204186575808430081",
4535 "main.sum.out[17]": "21888242871839275222246405745257275088548364400416034343698204186575808364545",
4536 "main.sum.out[18]": "21888242871839275222246405745257275088548364400416034343698204186575808233473",
4537 "main.sum.out[19]": "21888242871839275222246405745257275088548364400416034343698204186575807971329",
4538 "main.sum.out[20]": "21888242871839275222246405745257275088548364400416034343698204186575807447041",
4539 "main.sum.out[21]": "21888242871839275222246405745257275088548364400416034343698204186575806398465",
4540 "main.sum.out[22]": "21888242871839275222246405745257275088548364400416034343698204186575804301313",
4541 "main.sum.out[23]": "21888242871839275222246405745257275088548364400416034343698204186575800107009",
4542 "main.sum.out[24]": "21888242871839275222246405745257275088548364400416034343698204186575791718401",
4543 "main.sum.out[25]": "21888242871839275222246405745257275088548364400416034343698204186575774941185",
4544 "main.sum.out[26]": "21888242871839275222246405745257275088548364400416034343698204186575741386753",
4545 "main.sum.out[27]": "21888242871839275222246405745257275088548364400416034343698204186575674277889",
4546 "main.sum.out[28]": "21888242871839275222246405745257275088548364400416034343698204186575540060161",
4547 "main.sum.out[29]": "21888242871839275222246405745257275088548364400416034343698204186575271624705",
4548 "main.sum.out[30]": "21888242871839275222246405745257275088548364400416034343698204186574734753793",
4549 "main.sum.out[31]": "21888242871839275222246405745257275088548364400416034343698204186573661011969"
4550 }
4551 }
4552 }
4553];
4554
4555circuit.witnessNames=[
4556 [
4557 "one"
4558 ],
4559 [
4560 "main.a",
4561 "main.n2ba.in"
4562 ],
4563 [
4564 "main.b",
4565 "main.n2bb.in"
4566 ],
4567 [
4568 "main.out",
4569 "main.b2n.out"
4570 ],
4571 [
4572 "main.n2ba.out[0]",
4573 "main.sum.in[0][0]"
4574 ],
4575 [
4576 "main.n2ba.out[1]",
4577 "main.sum.in[0][1]"
4578 ],
4579 [
4580 "main.n2ba.out[2]",
4581 "main.sum.in[0][2]"
4582 ],
4583 [
4584 "main.n2ba.out[3]",
4585 "main.sum.in[0][3]"
4586 ],
4587 [
4588 "main.n2ba.out[4]",
4589 "main.sum.in[0][4]"
4590 ],
4591 [
4592 "main.n2ba.out[5]",
4593 "main.sum.in[0][5]"
4594 ],
4595 [
4596 "main.n2ba.out[6]",
4597 "main.sum.in[0][6]"
4598 ],
4599 [
4600 "main.n2ba.out[7]",
4601 "main.sum.in[0][7]"
4602 ],
4603 [
4604 "main.n2ba.out[8]",
4605 "main.sum.in[0][8]"
4606 ],
4607 [
4608 "main.n2ba.out[9]",
4609 "main.sum.in[0][9]"
4610 ],
4611 [
4612 "main.n2ba.out[10]",
4613 "main.sum.in[0][10]"
4614 ],
4615 [
4616 "main.n2ba.out[11]",
4617 "main.sum.in[0][11]"
4618 ],
4619 [
4620 "main.n2ba.out[12]",
4621 "main.sum.in[0][12]"
4622 ],
4623 [
4624 "main.n2ba.out[13]",
4625 "main.sum.in[0][13]"
4626 ],
4627 [
4628 "main.n2ba.out[14]",
4629 "main.sum.in[0][14]"
4630 ],
4631 [
4632 "main.n2ba.out[15]",
4633 "main.sum.in[0][15]"
4634 ],
4635 [
4636 "main.n2ba.out[16]",
4637 "main.sum.in[0][16]"
4638 ],
4639 [
4640 "main.n2ba.out[17]",
4641 "main.sum.in[0][17]"
4642 ],
4643 [
4644 "main.n2ba.out[18]",
4645 "main.sum.in[0][18]"
4646 ],
4647 [
4648 "main.n2ba.out[19]",
4649 "main.sum.in[0][19]"
4650 ],
4651 [
4652 "main.n2ba.out[20]",
4653 "main.sum.in[0][20]"
4654 ],
4655 [
4656 "main.n2ba.out[21]",
4657 "main.sum.in[0][21]"
4658 ],
4659 [
4660 "main.n2ba.out[22]",
4661 "main.sum.in[0][22]"
4662 ],
4663 [
4664 "main.n2ba.out[23]",
4665 "main.sum.in[0][23]"
4666 ],
4667 [
4668 "main.n2ba.out[24]",
4669 "main.sum.in[0][24]"
4670 ],
4671 [
4672 "main.n2ba.out[25]",
4673 "main.sum.in[0][25]"
4674 ],
4675 [
4676 "main.n2ba.out[26]",
4677 "main.sum.in[0][26]"
4678 ],
4679 [
4680 "main.n2ba.out[27]",
4681 "main.sum.in[0][27]"
4682 ],
4683 [
4684 "main.n2ba.out[28]",
4685 "main.sum.in[0][28]"
4686 ],
4687 [
4688 "main.n2ba.out[29]",
4689 "main.sum.in[0][29]"
4690 ],
4691 [
4692 "main.n2ba.out[30]",
4693 "main.sum.in[0][30]"
4694 ],
4695 [
4696 "main.n2ba.out[31]",
4697 "main.sum.in[0][31]"
4698 ],
4699 [
4700 "main.n2bb.out[0]",
4701 "main.sum.in[1][0]"
4702 ],
4703 [
4704 "main.n2bb.out[1]",
4705 "main.sum.in[1][1]"
4706 ],
4707 [
4708 "main.n2bb.out[2]",
4709 "main.sum.in[1][2]"
4710 ],
4711 [
4712 "main.n2bb.out[3]",
4713 "main.sum.in[1][3]"
4714 ],
4715 [
4716 "main.n2bb.out[4]",
4717 "main.sum.in[1][4]"
4718 ],
4719 [
4720 "main.n2bb.out[5]",
4721 "main.sum.in[1][5]"
4722 ],
4723 [
4724 "main.n2bb.out[6]",
4725 "main.sum.in[1][6]"
4726 ],
4727 [
4728 "main.n2bb.out[7]",
4729 "main.sum.in[1][7]"
4730 ],
4731 [
4732 "main.n2bb.out[8]",
4733 "main.sum.in[1][8]"
4734 ],
4735 [
4736 "main.n2bb.out[9]",
4737 "main.sum.in[1][9]"
4738 ],
4739 [
4740 "main.n2bb.out[10]",
4741 "main.sum.in[1][10]"
4742 ],
4743 [
4744 "main.n2bb.out[11]",
4745 "main.sum.in[1][11]"
4746 ],
4747 [
4748 "main.n2bb.out[12]",
4749 "main.sum.in[1][12]"
4750 ],
4751 [
4752 "main.n2bb.out[13]",
4753 "main.sum.in[1][13]"
4754 ],
4755 [
4756 "main.n2bb.out[14]",
4757 "main.sum.in[1][14]"
4758 ],
4759 [
4760 "main.n2bb.out[15]",
4761 "main.sum.in[1][15]"
4762 ],
4763 [
4764 "main.n2bb.out[16]",
4765 "main.sum.in[1][16]"
4766 ],
4767 [
4768 "main.n2bb.out[17]",
4769 "main.sum.in[1][17]"
4770 ],
4771 [
4772 "main.n2bb.out[18]",
4773 "main.sum.in[1][18]"
4774 ],
4775 [
4776 "main.n2bb.out[19]",
4777 "main.sum.in[1][19]"
4778 ],
4779 [
4780 "main.n2bb.out[20]",
4781 "main.sum.in[1][20]"
4782 ],
4783 [
4784 "main.n2bb.out[21]",
4785 "main.sum.in[1][21]"
4786 ],
4787 [
4788 "main.n2bb.out[22]",
4789 "main.sum.in[1][22]"
4790 ],
4791 [
4792 "main.n2bb.out[23]",
4793 "main.sum.in[1][23]"
4794 ],
4795 [
4796 "main.n2bb.out[24]",
4797 "main.sum.in[1][24]"
4798 ],
4799 [
4800 "main.n2bb.out[25]",
4801 "main.sum.in[1][25]"
4802 ],
4803 [
4804 "main.n2bb.out[26]",
4805 "main.sum.in[1][26]"
4806 ],
4807 [
4808 "main.n2bb.out[27]",
4809 "main.sum.in[1][27]"
4810 ],
4811 [
4812 "main.n2bb.out[28]",
4813 "main.sum.in[1][28]"
4814 ],
4815 [
4816 "main.n2bb.out[29]",
4817 "main.sum.in[1][29]"
4818 ],
4819 [
4820 "main.n2bb.out[30]",
4821 "main.sum.in[1][30]"
4822 ],
4823 [
4824 "main.n2bb.out[31]",
4825 "main.sum.in[1][31]"
4826 ],
4827 [
4828 "main.sum.out[0]",
4829 "main.b2n.in[0]"
4830 ],
4831 [
4832 "main.sum.out[1]",
4833 "main.b2n.in[1]"
4834 ],
4835 [
4836 "main.sum.out[2]",
4837 "main.b2n.in[2]"
4838 ],
4839 [
4840 "main.sum.out[3]",
4841 "main.b2n.in[3]"
4842 ],
4843 [
4844 "main.sum.out[4]",
4845 "main.b2n.in[4]"
4846 ],
4847 [
4848 "main.sum.out[5]",
4849 "main.b2n.in[5]"
4850 ],
4851 [
4852 "main.sum.out[6]",
4853 "main.b2n.in[6]"
4854 ],
4855 [
4856 "main.sum.out[7]",
4857 "main.b2n.in[7]"
4858 ],
4859 [
4860 "main.sum.out[8]",
4861 "main.b2n.in[8]"
4862 ],
4863 [
4864 "main.sum.out[9]",
4865 "main.b2n.in[9]"
4866 ],
4867 [
4868 "main.sum.out[10]",
4869 "main.b2n.in[10]"
4870 ],
4871 [
4872 "main.sum.out[11]",
4873 "main.b2n.in[11]"
4874 ],
4875 [
4876 "main.sum.out[12]",
4877 "main.b2n.in[12]"
4878 ],
4879 [
4880 "main.sum.out[13]",
4881 "main.b2n.in[13]"
4882 ],
4883 [
4884 "main.sum.out[14]",
4885 "main.b2n.in[14]"
4886 ],
4887 [
4888 "main.sum.out[15]",
4889 "main.b2n.in[15]"
4890 ],
4891 [
4892 "main.sum.out[16]",
4893 "main.b2n.in[16]"
4894 ],
4895 [
4896 "main.sum.out[17]",
4897 "main.b2n.in[17]"
4898 ],
4899 [
4900 "main.sum.out[18]",
4901 "main.b2n.in[18]"
4902 ],
4903 [
4904 "main.sum.out[19]",
4905 "main.b2n.in[19]"
4906 ],
4907 [
4908 "main.sum.out[20]",
4909 "main.b2n.in[20]"
4910 ],
4911 [
4912 "main.sum.out[21]",
4913 "main.b2n.in[21]"
4914 ],
4915 [
4916 "main.sum.out[22]",
4917 "main.b2n.in[22]"
4918 ],
4919 [
4920 "main.sum.out[23]",
4921 "main.b2n.in[23]"
4922 ],
4923 [
4924 "main.sum.out[24]",
4925 "main.b2n.in[24]"
4926 ],
4927 [
4928 "main.sum.out[25]",
4929 "main.b2n.in[25]"
4930 ],
4931 [
4932 "main.sum.out[26]",
4933 "main.b2n.in[26]"
4934 ],
4935 [
4936 "main.sum.out[27]",
4937 "main.b2n.in[27]"
4938 ],
4939 [
4940 "main.sum.out[28]",
4941 "main.b2n.in[28]"
4942 ],
4943 [
4944 "main.sum.out[29]",
4945 "main.b2n.in[29]"
4946 ],
4947 [
4948 "main.sum.out[30]",
4949 "main.b2n.in[30]"
4950 ],
4951 [
4952 "main.sum.out[31]",
4953 "main.b2n.in[31]"
4954 ],
4955 [
4956 "main.sum.out[32]"
4957 ]
4958];
4959
4960{
4961 {
4962 }
4963 {
4964 }
4965}
4966
4967circuit.templates = {};
4968
4969circuit.templates["Num2Bits"] = function(ctx) {
4970 ctx.setVar("lc1", [], "0");
4971 for (ctx.setVar("i", [], "0");bigInt(ctx.getVar("i",[])).lt(ctx.getVar("n",[])) ? 1 : 0;(ctx.setVar("i", [], bigInt(ctx.getVar("i",[])).add("1").mod(__P__))).add(__P__).minus(1).mod(__P__))
4972 {
4973 ctx.setSignal("out", [ctx.getVar("i",[])], bigInt(bigInt(ctx.getVar("i",[])).greater(256) ? 0 : bigInt(ctx.getSignal("in", [])).shiftRight(bigInt(ctx.getVar("i",[])).value).and(__MASK__)).and("1").and(__MASK__));
4974 ctx.assert(bigInt(ctx.getSignal("out", [ctx.getVar("i",[])])).times(bigInt(ctx.getSignal("out", [ctx.getVar("i",[])])).add(__P__).minus("1").mod(__P__)).mod(__P__), "0");
4975 ctx.setVar("lc1", [], bigInt(ctx.getVar("lc1",[])).add(bigInt(ctx.getSignal("out", [ctx.getVar("i",[])])).times(bigInt("2").modPow(ctx.getVar("i",[]), __P__)).mod(__P__)).mod(__P__));
4976 }
4977 ctx.assert(ctx.getVar("lc1",[]), ctx.getSignal("in", []));
4978}
4979;
4980
4981circuit.templates["Bits2Num"] = function(ctx) {
4982 ctx.setVar("lc1", [], "0");
4983 for (ctx.setVar("i", [], "0");bigInt(ctx.getVar("i",[])).lt(ctx.getVar("n",[])) ? 1 : 0;(ctx.setVar("i", [], bigInt(ctx.getVar("i",[])).add("1").mod(__P__))).add(__P__).minus(1).mod(__P__))
4984 {
4985 ctx.setVar("lc1", [], bigInt(ctx.getVar("lc1",[])).add(bigInt(ctx.getSignal("in", [ctx.getVar("i",[])])).times(bigInt("2").modPow(ctx.getVar("i",[]), __P__)).mod(__P__)).mod(__P__));
4986 }
4987 ctx.setSignal("out", [], ctx.getVar("lc1",[]));
4988 ctx.assert(ctx.getSignal("out", []), ctx.getVar("lc1",[]));
4989}
4990;
4991
4992circuit.templates["BinSum"] = function(ctx) {
4993 ctx.setVar("nout", [], ctx.callFunction("nbits", [bigInt(bigInt(bigInt("2").modPow(ctx.getVar("n",[]), __P__)).add(__P__).minus("1").mod(__P__)).times(ctx.getVar("ops",[])).mod(__P__)]));
4994 ctx.setVar("lin", [], "0");
4995 ctx.setVar("lout", [], "0");
4996 for (ctx.setVar("k", [], "0");bigInt(ctx.getVar("k",[])).lt(ctx.getVar("n",[])) ? 1 : 0;(ctx.setVar("k", [], bigInt(ctx.getVar("k",[])).add("1").mod(__P__))).add(__P__).minus(1).mod(__P__))
4997 {
4998 for (ctx.setVar("j", [], "0");bigInt(ctx.getVar("j",[])).lt(ctx.getVar("ops",[])) ? 1 : 0;(ctx.setVar("j", [], bigInt(ctx.getVar("j",[])).add("1").mod(__P__))).add(__P__).minus(1).mod(__P__))
4999 {
5000 ctx.setVar("lin", [], bigInt(ctx.getVar("lin",[])).add(bigInt(ctx.getSignal("in", [ctx.getVar("j",[]),ctx.getVar("k",[])])).times(bigInt("2").modPow(ctx.getVar("k",[]), __P__)).mod(__P__)).mod(__P__));
5001 }
5002 }
5003 for (ctx.setVar("k", [], "0");bigInt(ctx.getVar("k",[])).lt(ctx.getVar("nout",[])) ? 1 : 0;(ctx.setVar("k", [], bigInt(ctx.getVar("k",[])).add("1").mod(__P__))).add(__P__).minus(1).mod(__P__))
5004 {
5005 ctx.setSignal("out", [ctx.getVar("k",[])], bigInt(bigInt(ctx.getVar("k",[])).greater(256) ? 0 : bigInt(ctx.getVar("lin",[])).shiftRight(bigInt(ctx.getVar("k",[])).value).and(__MASK__)).and("1").and(__MASK__));
5006 ctx.assert(bigInt(ctx.getSignal("out", [ctx.getVar("k",[])])).times(bigInt(ctx.getSignal("out", [ctx.getVar("k",[])])).add(__P__).minus("1").mod(__P__)).mod(__P__), "0");
5007 ctx.setVar("lout", [], bigInt(ctx.getVar("lout",[])).add(bigInt(ctx.getSignal("out", [ctx.getVar("k",[])])).times(bigInt("2").modPow(ctx.getVar("k",[]), __P__)).mod(__P__)).mod(__P__));
5008 }
5009 ctx.assert(ctx.getVar("lin",[]), ctx.getVar("lout",[]));
5010}
5011;
5012
5013circuit.templates["A"] = function(ctx) {
5014 ctx.setPin("n2ba", [], "in", [], ctx.getSignal("a", []));
5015 ctx.assert(ctx.getPin("n2ba", [], "in", []), ctx.getSignal("a", []));
5016 ctx.setPin("n2bb", [], "in", [], ctx.getSignal("b", []));
5017 ctx.assert(ctx.getPin("n2bb", [], "in", []), ctx.getSignal("b", []));
5018 for (ctx.setVar("i", [], "0");bigInt(ctx.getVar("i",[])).lt("32") ? 1 : 0;(ctx.setVar("i", [], bigInt(ctx.getVar("i",[])).add("1").mod(__P__))).add(__P__).minus(1).mod(__P__))
5019 {
5020 ctx.setPin("sum", [], "in", ["0",ctx.getVar("i",[])], ctx.getPin("n2ba", [], "out", [ctx.getVar("i",[])]));
5021 ctx.assert(ctx.getPin("sum", [], "in", ["0",ctx.getVar("i",[])]), ctx.getPin("n2ba", [], "out", [ctx.getVar("i",[])]));
5022 ctx.setPin("sum", [], "in", ["1",ctx.getVar("i",[])], ctx.getPin("n2bb", [], "out", [ctx.getVar("i",[])]));
5023 ctx.assert(ctx.getPin("sum", [], "in", ["1",ctx.getVar("i",[])]), ctx.getPin("n2bb", [], "out", [ctx.getVar("i",[])]));
5024 ctx.setPin("b2n", [], "in", [ctx.getVar("i",[])], ctx.getPin("sum", [], "out", [ctx.getVar("i",[])]));
5025 ctx.assert(ctx.getPin("b2n", [], "in", [ctx.getVar("i",[])]), ctx.getPin("sum", [], "out", [ctx.getVar("i",[])]));
5026 }
5027 ctx.setSignal("out", [], ctx.getPin("b2n", [], "out", []));
5028 ctx.assert(ctx.getSignal("out", []), ctx.getPin("b2n", [], "out", []));
5029}
5030;
5031circuit.functionParams={
5032 "nbits": [
5033 "a"
5034 ]
5035};
5036
5037
5038circuit.functions = {};
5039
5040circuit.functions["nbits"] = function(ctx) {
5041 ctx.setVar("n", [], "1");
5042 ctx.setVar("r", [], "0");
5043 while (bigInt(bigInt(ctx.getVar("n",[])).add(__P__).minus("1").mod(__P__)).lt(ctx.getVar("a",[])) ? 1 : 0)
5044 {
5045 (ctx.setVar("r", [], bigInt(ctx.getVar("r",[])).add("1").mod(__P__))).add(__P__).minus(1).mod(__P__);
5046 ctx.setVar("n", [], bigInt(ctx.getVar("n",[])).times("2").mod(__P__));
5047 }
5048 return ctx.getVar("r",[]);;
5049}
5050;