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

2370 lines
50 KiB

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