API tools faq
paste
Advertisement
Guest User

Untitled

a guest
Dec 20th, 2014
204
0
Never
Add comment
Not a member of Pastebin yet? Sign Up, it unlocks many cool features!
text 33.46 KB | None | 0 0
raw download clone embed print report
  1.  
  2. 001.RF
  3.  
  4. I44=S(I[1,1],I[4,4]);
  5. NAND=S(NOT,AND);
  6. EQ=S(NSG,ABS);
  7. I14=S(I[1,1],I[1,4]);
  8. NOR=S(NOT,OR);
  9. I24=S(I[1,1],I[2,4]);
  10. OR=S(MAX,I12,I22);
  11. I34=S(I[1,1],I[3,4]);
  12. NEQ=S(SG,ABS);
  13. 9
  14.  
  15.  
  16. 004.RF
  17.  
  18. I44=S(I[1,1],I[4,4]);
  19. LT=S(SG,BCA);
  20. ODD=S(SUB,I11,SH);
  21. SHR=R(I11,SHR3C);
  22. N2B=S(N,I22);
  23. BCA=S(SUB,I22,I12);
  24. AB=S(ODD,SHR);
  25. AD=S(AB,I15,I45);
  26. F1=S(AND, AD, BD);
  27. I15=S(I[1,1],I[1,5]);
  28. EQ=S(NSG,ABS);
  29. F2=S(AND, F1, NotC);
  30. I14=S(I[1,1],I[1,4]);
  31. F3=S(AND, NotA, NotB);
  32. NOT=S(NSG,I11);
  33. MIN=S(ADD,LA,LEB);
  34. AND=S(MIN,I12,I22);
  35. SHR1A=M(H2);
  36. BD=S(AB,I25,I45);
  37. I24=S(I[1,1],I[2,4]);
  38. NotB=S(NOT, BD);
  39. NotA=S(NOT, AD);
  40. I25=S(I[1,1],I[2,5]);
  41. ABS=S(ADD,SUB,BCA);
  42. SHL2NB=S(SHL1A,N2B);
  43. SH=S(SHL1A,SHR1A);
  44. NotC=S(NOT, CD);
  45. GE=S(NSG,BCA);
  46. CD=S(AB,I35,I45);
  47. LEB=S(MULT,I22,GE);
  48. I35=S(I[1,1],I[3,5]);
  49. H2=S(LE,SHL2NB,I12);
  50. I34=S(I[1,1],I[3,4]);
  51. LA=S(MULT,I12,LT);
  52. NEQ=S(SG,ABS);
  53. SHR3C=S(SHR1A,I33);
  54. 36
  55.  
  56.  
  57. 005.RF
  58.  
  59. EQ=S(NSG,ABS);
  60. ABS=S(ADD,SUB,BCA);
  61. NEQ=S(SG,ABS);
  62. 3
  63.  
  64.  
  65. 006.RF
  66.  
  67. LT=S(SG,BCA);
  68. I24 = S(I[1,1],I[2,4]);
  69. MULT=R(O,APC);
  70. I44 = S(I[1,1],I[4,4]);
  71. SHL=R(I,SHL3C);
  72. I12 = S(I,I[1,2]);
  73. BCA=S(SUB,I22,I12);
  74. C11=S(N,O);
  75. AD=S(AB,I15,I45);
  76. C12=S(N,O2);
  77. GEB=S(MULT,I22,LE);
  78. I15 = S(I[1,1],I[1,5]);
  79. NOT=S(NSG,I);
  80. NA=S(N,I12);
  81. MIN=S(ADD,LA,LEB);
  82. I35 = S(I[1,1],I[3,5]);
  83. I55 = S(I[1,1],I[5,5]);
  84. I23 = S(I[1,1],I[2,3]);
  85. AND=S(MIN,I12,I22);
  86. BD=S(AB,I25,I45);
  87. O3=S(O,I13);
  88. MAX=S(ADD,GA,GEB);
  89. SG=R(CQ,C12);
  90. I14 = S(I[1,1],I[1,4]);
  91. I22 = S(I[1,1],I[2,2]);
  92. I34 = S(I[1,1],I[3,4]);
  93. GA=S(MULT,I12,GT);
  94. GE=S(NSG,BCA);
  95. OR=S(MAX,I12,I22);
  96. LEB=S(MULT,I22,GE);
  97. GT=S(SG,SUB);
  98. I13 = S(I[1,1],I[1,3]);
  99. APC=S(ADD,I13,I33);
  100. SHL3C=S(SHL1A,I33);
  101. I25 = S(I[1,1],I[2,5]);
  102. LA=S(MULT,I12,LT);
  103. I33 = S(I[1,1],I[3,3]);
  104. I = S(I[1,1],I[1,1]);
  105. I45 = S(I[1,1],I[4,5]);
  106. 39
  107.  
  108.  
  109. 007.RF
  110.  
  111. IMPL=S(NOT,COIMPL);
  112. IMPR=S(NOT,COIMPR);
  113. I44=S(I[1,1],I[4,4]);
  114. LT=S(SG,BCA);
  115. NAND=S(NOT,AND);
  116. EQV=S(NOT,XOR);
  117. EQ=S(NSG,ABS);
  118. I14=S(I[1,1],I[1,4]);
  119. NOR=S(NOT,OR);
  120. NOT=S(NSG,I11);
  121. MIN=S(ADD,LA,LEB);
  122. AND=S(MIN,I12,I22);
  123. COIMPR=S(SUB,I22,I12);
  124. I24=S(I[1,1],I[2,4]);
  125. COIMPL=S(SUB,I12,I22);
  126. GE=S(NSG,BCA);
  127. OR=S(MAX,I12,I22);
  128. LEB=S(MULT,I22,GE);
  129. I34=S(I[1,1],I[3,4]);
  130. LA=S(MULT,I12,LT);
  131. NEQ=S(SG,ABS);
  132. 21
  133.  
  134.  
  135. 009.RF
  136.  
  137. 0
  138.  
  139.  
  140. 010.RF
  141.  
  142. EQ=S(NSG,ABS);
  143. NE=S(SG,ABS);
  144. ABC=S(AND,AANDB,CD);
  145. 3
  146.  
  147.  
  148. 011.RF
  149.  
  150. GE=S(NSG,BCA);
  151. 1
  152.  
  153.  
  154. 012.RF
  155.  
  156. I44=S(I[1,1],I[4,4]);
  157. EQ=S(NSG,ABS);
  158. I14=S(I[1,1],I[1,4]);
  159. I24=S(I[1,1],I[2,4]);
  160. I34=S(I[1,1],I[3,4]);
  161. NEQ=S(SG,ABS);
  162. 6
  163.  
  164.  
  165. 013.RF
  166.  
  167. I44=S(I[1,1],I[4,4]);
  168. LT=S(SG,BCA);
  169. EQ=S(NSG,ABS);
  170. I14=S(I[1,1],I[1,4]);
  171. MIN=S(ADD,LA,LEB);
  172. AND=S(MIN,I12,I22);
  173. I24=S(I[1,1],I[2,4]);
  174. GE=S(NSG,BCA);
  175. LEB=S(MULT,I22,GE);
  176. I34=S(I[1,1],I[3,4]);
  177. LA=S(MULT,I12,LT);
  178. NEQ=S(SG,ABS);
  179. 12
  180.  
  181.  
  182. 014.RF
  183.  
  184. 0
  185.  
  186.  
  187. 015.RF
  188.  
  189. I44=S(I[1,1],I[4,4]);
  190. LT=S(SG,BCA);
  191. EQ=S(NSG,ABS);
  192. I14=S(I[1,1],I[1,4]);
  193. MIN=S(ADD,LA,LEB);
  194. AND=S(MIN,I12,I22);
  195. COIMPR=S(SUB,I22,I12);
  196. I24=S(I[1,1],I[2,4]);
  197. GE=S(NSG,BCA);
  198. LEB=S(MULT,I22,GE);
  199. I34=S(I[1,1],I[3,4]);
  200. LA=S(MULT,I12,LT);
  201. NEQ=S(SG,ABS);
  202. 13
  203.  
  204.  
  205. 016.RF
  206.  
  207. I44=S(I[1,1],I[4,4]);
  208. LT=S(SG,BCA);
  209. EQ=S(NSG,ABS);
  210. I14=S(I[1,1],I[1,4]);
  211. MIN=S(ADD,LA,LEB);
  212. I24=S(I[1,1],I[2,4]);
  213. GE=S(NSG,BCA);
  214. LEB=S(MULT,I22,GE);
  215. I34=S(I[1,1],I[3,4]);
  216. LA=S(MULT,I12,LT);
  217. NEQ=S(SG,ABS);
  218. 11
  219.  
  220.  
  221. 017.RF
  222.  
  223. I44=S(I[1,1],I[4,4]);
  224. LT=S(SG,BCA);
  225. EQ=S(NSG,ABS);
  226. I14=S(I[1,1],I[1,4]);
  227. MIN=S(ADD,LA,LEB);
  228. I24=S(I[1,1],I[2,4]);
  229. GE=S(NSG,BCA);
  230. LEB=S(MULT,I22,GE);
  231. I34=S(I[1,1],I[3,4]);
  232. LA=S(MULT,I12,LT);
  233. NEQ=S(SG,ABS);
  234. 11
  235.  
  236.  
  237. 018.RF
  238.  
  239. I44=S(I[1,1],I[4,4]);
  240. LT=S(SG,BCA);
  241. EQ=S(NSG,ABS);
  242. I14=S(I[1,1],I[1,4]);
  243. MIN=S(ADD,LA,LEB);
  244. I24=S(I[1,1],I[2,4]);
  245. GE=S(NSG,BCA);
  246. LEB=S(MULT,I22,GE);
  247. I34=S(I[1,1],I[3,4]);
  248. LA=S(MULT,I12,LT);
  249. NEQ=S(SG,ABS);
  250. 11
  251.  
  252.  
  253. 019.RF
  254.  
  255. I44=S(I[1,1],I[4,4]);
  256. EQ=S(NSG,ABS);
  257. I14=S(I[1,1],I[1,4]);
  258. I24=S(I[1,1],I[2,4]);
  259. ABS=S(ADD,SUB,BCA);
  260. I34=S(I[1,1],I[3,4]);
  261. NEQ=S(SG,ABS);
  262. 7
  263.  
  264.  
  265. 021.RF
  266.  
  267. I44=S(I[1,1],I[4,4]);
  268. LT=S(SG,BCA);
  269. I45=S(I[1,1],I[4,5]);
  270. ODD=S(SUB,I11,SH);
  271. nA=S(NOT,AD);
  272. nB=S(NOT,BD);
  273. nC=S(NOT,CD);
  274. SHL=R(I11,SHL3C);
  275. SHR=R(I11,SHR3C);
  276. N2B=S(N,I22);
  277. BCA=S(SUB,I22,I12);
  278. AB=S(ODD,SHR);
  279. AD=S(AB,I15,I45);
  280. F028B=S(AND,F4,F1);
  281. I55=S(I[1,1],I[5,5]);
  282. F1=S(OR,nA,nB);
  283. I15=S(I[1,1],I[1,5]);
  284. EQ=S(NSG,ABS);
  285. F2=S(OR,AD,BD);
  286. I14=S(I[1,1],I[1,4]);
  287. F3=S(OR,BD,nC);
  288. F028L=R(O3,SF026);
  289. F4=S(AND,F2,F3);
  290. NOT=S(NSG,I11);
  291. MIN=S(ADD,LA,LEB);
  292. SHL1A=S(ADD,I11,I11);
  293. AND=S(MIN,I12,I22);
  294. SHR1A=M(H2);
  295. BD=S(AB,I25,I45);
  296. O3=S(O,I13);
  297. I24=S(I[1,1],I[2,4]);
  298. I25=S(I[1,1],I[2,5]);
  299. ABS=S(ADD,SUB,BCA);
  300. SHL2NB=S(SHL1A,N2B);
  301. SH=S(SHL1A,SHR1A);
  302. GE=S(NSG,BCA);
  303. CD=S(AB,I35,I45);
  304. OR=S(MAX,I12,I22);
  305. LEB=S(MULT,I22,GE);
  306. I35=S(I[1,1],I[3,5]);
  307. H2=S(LE,SHL2NB,I12);
  308. I34=S(I[1,1],I[3,4]);
  309. G028=S(SHL,F026B,I45);
  310. SF028=S(ADD,I55,G026);
  311. SHL3C=S(SHL1A,I33);
  312. LA=S(MULT,I12,LT);
  313. NEQ=S(SG,ABS);
  314. SHR3C=S(SHR1A,I33);
  315. 48
  316.  
  317.  
  318. 022.RF
  319.  
  320. I44=S(I[1,1],I[4,4]);
  321. EQ=S(NSG,ABS);
  322. I14=S(I[1,1],I[1,4]);
  323. I24=S(I[1,1],I[2,4]);
  324. OR=S(MAX,I12,I22);
  325. I34=S(I[1,1],I[3,4]);
  326. NEQ=S(SG,ABS);
  327. 7
  328.  
  329.  
  330. 023.RF
  331.  
  332. I44=S(I[1,1],I[4,4]);
  333. LT=S(SG,BCA);
  334. EQ=S(NSG,ABS);
  335. I14=S(I[1,1],I[1,4]);
  336. MIN=S(ADD,LA,LEB);
  337. COIMPR=S(SUB,I22,I12);
  338. I24=S(I[1,1],I[2,4]);
  339. GE=S(NSG,BCA);
  340. LEB=S(MULT,I22,GE);
  341. I34=S(I[1,1],I[3,4]);
  342. LA=S(MULT,I12,LT);
  343. NEQ=S(SG,ABS);
  344. 12
  345.  
  346.  
  347. 025.RF
  348.  
  349. EQ=S(NSG,ABS);
  350. NEQ=S(SG,ABS);
  351. 2
  352.  
  353.  
  354. 026.RF
  355.  
  356. I44=S(I[1,1],I[4,4]);
  357. LT=S(SG,BCA);
  358. ODD=S(SUB,I11,SH);
  359. F1422=S(AND, Aarg, F1421);
  360. F1421=S(XOR, Barg, Carg);
  361. F1423=S(NOR, Barg, Carg);
  362. SHR=R(I11,SHR3C);
  363. N2B=S(N,I22);
  364. BCA=S(SUB,I22,I12);
  365. AB=S(ODD,SHR);
  366. I15=S(I[1,1],I[1,5]);
  367. EQ=S(NSG,ABS);
  368. Carg=S(AB,I35,I45);
  369. I14=S(I[1,1],I[1,4]);
  370. NOR=S(NOT,OR);
  371. NOT=S(NSG,I11);
  372. MIN=S(ADD,LA,LEB);
  373. AND=S(MIN,I12,I22);
  374. XOR=S(ABS,I12,I22);
  375. SHR1A=M(H2);
  376. I24=S(I[1,1],I[2,4]);
  377. Barg=S(AB,I25,I45);
  378. I25=S(I[1,1],I[2,5]);
  379. ABS=S(ADD,SUB,BCA);
  380. SHL2NB=S(SHL1A,N2B);
  381. SH=S(SHL1A,SHR1A);
  382. GE=S(NSG,BCA);
  383. LEB=S(MULT,I22,GE);
  384. I35=S(I[1,1],I[3,5]);
  385. H2=S(LE,SHL2NB,I12);
  386. Aarg=S(AB,I15,I45);
  387. I34=S(I[1,1],I[3,4]);
  388. LA=S(MULT,I12,LT);
  389. NEQ=S(SG,ABS);
  390. SHR3C=S(SHR1A,I33);
  391. 35
  392.  
  393.  
  394. 027.RF
  395.  
  396. I44=S(I[1,1],I[4,4]);
  397. EQ=S(NSG,ABS);
  398. I14=S(I[1,1],I[1,4]);
  399. I24=S(I[1,1],I[2,4]);
  400. I34=S(I[1,1],I[3,4]);
  401. NEQ=S(SG,ABS);
  402. 6
  403.  
  404.  
  405. 028.RF
  406.  
  407. I44=S(I[1,1],I[4,4]);
  408. EQ=S(NSG,ABS);
  409. I14=S(I[1,1],I[1,4]);
  410. XOR=S(ABS,I12,I22);
  411. I24=S(I[1,1],I[2,4]);
  412. ABS=S(ADD,SUB,BCA);
  413. I34=S(I[1,1],I[3,4]);
  414. NEQ=S(SG,ABS);
  415. 8
  416.  
  417.  
  418. 029.RF
  419.  
  420. I44=S(I[1,1],I[4,4]);
  421. EQ=S(NSG,ABS);
  422. I14=S(I[1,1],I[1,4]);
  423. I24=S(I[1,1],I[2,4]);
  424. I34=S(I[1,1],I[3,4]);
  425. NEQ=S(SG,ABS);
  426. 6
  427.  
  428.  
  429. 030.RF
  430.  
  431. IMPL=S(NOT,COIMPL);
  432. IMPR=S(NOT,COIMPR);
  433. I44=S(I[1,1],I[4,4]);
  434. LT=S(SG,BCA);
  435. NAND=S(NOT,AND);
  436. EQ=S(NSG,ABS);
  437. I14=S(I[1,1],I[1,4]);
  438. NOR=S(NOT,OR);
  439. MIN=S(ADD,LA,LEB);
  440. AND=S(MIN,I12,I22);
  441. COIMPR=S(SUB,I22,I12);
  442. I24=S(I[1,1],I[2,4]);
  443. GE=S(NSG,BCA);
  444. LEB=S(MULT,I22,GE);
  445. I34=S(I[1,1],I[3,4]);
  446. LA=S(MULT,I12,LT);
  447. NEQ=S(SG,ABS);
  448. 17
  449.  
  450.  
  451. 031.RF
  452.  
  453. IMPL=S(NOT,COIMPL);
  454. IMPR=S(NOT,COIMPR);
  455. I44=S(I[1,1],I[4,4]);
  456. LT=S(SG,BCA);
  457. NAND=S(NOT,AND);
  458. ODD=S(SUB,I11,SH);
  459. SHR=R(I11,SHR3C);
  460. AANDB=S(AND, NOTA, BD);
  461. N2B=S(N,I22);
  462. BCA=S(SUB,I22,I12);
  463. AB=S(ODD,SHR);
  464. AD=S(AB,I15,I45);
  465. EQV=S(NOT,XOR);
  466. I15=S(I[1,1],I[1,5]);
  467. EQ=S(NSG,ABS);
  468. I14=S(I[1,1],I[1,4]);
  469. NOR=S(NOT,OR);
  470. NOT=S(NSG,I11);
  471. MIN=S(ADD,LA,LEB);
  472. AND=S(MIN,I12,I22);
  473. XOR=S(ABS,I12,I22);
  474. SHR1A=M(H2);
  475. COIMPR=S(SUB,I22,I12);
  476. BD=S(AB,I25,I45);
  477. I24=S(I[1,1],I[2,4]);
  478. NOTA=S(NOT, AD);
  479. I25=S(I[1,1],I[2,5]);
  480. ABS=S(ADD,SUB,BCA);
  481. SHL2NB=S(SHL1A,N2B);
  482. NOTC=S(NOT, CD);
  483. SH=S(SHL1A,SHR1A);
  484. BEQVC=S(EQV, BD, CD);
  485. COIMPL=S(SUB,I12,I22);
  486. GE=S(NSG,BCA);
  487. CD=S(AB,I35,I45);
  488. LEB=S(MULT,I22,GE);
  489. I35=S(I[1,1],I[3,5]);
  490. H2=S(LE,SHL2NB,I12);
  491. I34=S(I[1,1],I[3,4]);
  492. FIRST=S(AND,AANDB, NOTC);
  493. LA=S(MULT,I12,LT);
  494. SECOND=S(AND, AD, BEQVC);
  495. NEQ=S(SG,ABS);
  496. SHR3C=S(SHR1A,I33);
  497. 44
  498.  
  499.  
  500. 033.rf
  501.  
  502. IMPL=S(NOT,COIMPL);
  503. IMPR=S(NOT,COIMPR);
  504. I44=S(I[1,1],I[4,4]);
  505. NAND=S(NOT,AND);
  506. EQ=S(NSG,ABS);
  507. I14=S(I[1,1],I[1,4]);
  508. NOR=S(NOT,OR);
  509. COIMPR=S(SUB,I22,I12);
  510. I24=S(I[1,1],I[2,4]);
  511. I34=S(I[1,1],I[3,4]);
  512. NEQ=S(SG,ABS);
  513. 11
  514.  
  515.  
  516. 034.RF
  517.  
  518. IMPL=S(NOT,COIMPL);
  519. IMPR=S(NOT,COIMPR);
  520. I44=S(I[1,1],I[4,4]);
  521. NAND=S(NOT,AND);
  522. EQV=S(NOT,XOR);
  523. EQ=S(NSG,ABS);
  524. I14=S(I[1,1],I[1,4]);
  525. NOR=S(NOT,OR);
  526. NOT=S(NSG,I11);
  527. COIMPR=S(SUB,I22,I12);
  528. I24=S(I[1,1],I[2,4]);
  529. COIMPL=S(SUB,I12,I22);
  530. OR=S(MAX,I12,I22);
  531. I34=S(I[1,1],I[3,4]);
  532. NEQ=S(SG,ABS);
  533. 15
  534.  
  535.  
  536. 035.RF
  537.  
  538. IMPL=S(NOT,COIMPL);
  539. IMPR=S(NOT,COIMPR);
  540. I44=S(I[1,1],I[4,4]);
  541. NAND=S(NOT,AND);
  542. EQ=S(NSG,ABS);
  543. I14=S(I[1,1],I[1,4]);
  544. NOR=S(NOT,OR);
  545. COIMPR=S(SUB,I22,I12);
  546. I24=S(I[1,1],I[2,4]);
  547. COIMPL=S(SUB,I12,I22);
  548. I34=S(I[1,1],I[3,4]);
  549. NEQ=S(SG,ABS);
  550. 12
  551.  
  552.  
  553. 036.RF
  554.  
  555. I44=S(I[1,1],I[4,4]);
  556. EQ=S(NSG,ABS);
  557. I14=S(I[1,1],I[1,4]);
  558. I24=S(I[1,1],I[2,4]);
  559. OR=S(MAX,I12,I22);
  560. I34=S(I[1,1],I[3,4]);
  561. NEQ=S(SG,ABS);
  562. 7
  563.  
  564.  
  565. 038.RF
  566.  
  567. 0
  568.  
  569.  
  570. 039.RF
  571.  
  572. 0
  573.  
  574.  
  575. 040.RF
  576.  
  577. IMPR=S(NOT,COIMPR);
  578. I44=S(I[1,1],I[4,4]);
  579. LT=S(SG,BCA);
  580. NAND=S(NOT,AND);
  581. EQ=S(NSG,ABS);
  582. I14=S(I[1,1],I[1,4]);
  583. NOR=S(NOT,OR);
  584. MIN=S(ADD,LA,LEB);
  585. AND=S(MIN,I12,I22);
  586. COIMPR=S(SUB,I22,I12);
  587. I24=S(I[1,1],I[2,4]);
  588. GE=S(NSG,BCA);
  589. OR=S(MAX,I12,I22);
  590. LEB=S(MULT,I22,GE);
  591. I34=S(I[1,1],I[3,4]);
  592. LA=S(MULT,I12,LT);
  593. NEQ=S(SG,ABS);
  594. 17
  595.  
  596.  
  597. 041.RF
  598.  
  599. 0
  600.  
  601.  
  602. 042.RF
  603.  
  604. IMPL=S(NOT,COIMPL);
  605. IMPR=S(NOT,COIMPR);
  606. I44=S(I[1,1],I[4,4]);
  607. NAND=S(NOT,AND);
  608. EQV=S(NOT,XOR);
  609. EQ=S(NSG,ABS);
  610. I14=S(I[1,1],I[1,4]);
  611. NOR=S(NOT,OR);
  612. NOT=S(NSG,I11);
  613. COIMPR=S(SUB,I22,I12);
  614. I24=S(I[1,1],I[2,4]);
  615. COIMPL=S(SUB,I12,I22);
  616. OR=S(MAX,I12,I22);
  617. I34=S(I[1,1],I[3,4]);
  618. NEQ=S(SG,ABS);
  619. 15
  620.  
  621.  
  622. 044.RF
  623.  
  624. IMPL=S(NOT,COIMPL);
  625. IMPR=S(NOT,COIMPR);
  626. I44=S(I[1,1],I[4,4]);
  627. NAND=S(NOT,AND);
  628. EQV=S(NOT,XOR);
  629. EQ=S(NSG,ABS);
  630. I14=S(I[1,1],I[1,4]);
  631. NOR=S(NOT,OR);
  632. NOT=S(NSG,I11);
  633. COIMPR=S(SUB,I22,I12);
  634. I24=S(I[1,1],I[2,4]);
  635. COIMPL=S(SUB,I12,I22);
  636. OR=S(MAX,I12,I22);
  637. I34=S(I[1,1],I[3,4]);
  638. NEQ=S(SG,ABS);
  639. 15
  640.  
  641.  
  642. 045.rf
  643.  
  644. IMPL=S(NOT,COIMPL);
  645. IMPR=S(NOT,COIMPR);
  646. I44=S(I[1,1],I[4,4]);
  647. NAND=S(NOT,AND);
  648. EQ=S(NSG,ABS);
  649. I14=S(I[1,1],I[1,4]);
  650. NOR=S(NOT,OR);
  651. COIMPR=S(SUB,I22,I12);
  652. I24=S(I[1,1],I[2,4]);
  653. COIMPL=S(SUB,I12,I22);
  654. I34=S(I[1,1],I[3,4]);
  655. NEQ=S(SG,ABS);
  656. 12
  657.  
  658.  
  659. 046.RF
  660.  
  661. I44=S(I[1,1],I[4,4]);
  662. LT=S(SG,BCA);
  663. AD=S(AB,I15,I45);
  664. ACOIMPLB = S(COIMPR,AD,BD);
  665. I15=S(I[1,1],I[1,5]);
  666. EQ=S(NSG,ABS);
  667. I14=S(I[1,1],I[1,4]);
  668. MIN=S(ADD,LA,LEB);
  669. COIMPR=S(SUB,I22,I12);
  670. BD=S(AB,I25,I45);
  671. I24=S(I[1,1],I[2,4]);
  672. I25=S(I[1,1],I[2,5]);
  673. GE=S(NSG,BCA);
  674. LEB=S(MULT,I22,GE);
  675. I34=S(I[1,1],I[3,4]);
  676. LA=S(MULT,I12,LT);
  677. NEQ=S(SG,ABS);
  678. 17
  679.  
  680.  
  681. 047.RF
  682.  
  683. 0
  684.  
  685.  
  686. 049.RF
  687.  
  688. I44=S(I[1,1],I[4,4]);
  689. LT=S(SG,BCA);
  690. EQ=S(NSG,ABS);
  691. I14=S(I[1,1],I[1,4]);
  692. MIN=S(ADD,LA,LEB);
  693. I24=S(I[1,1],I[2,4]);
  694. GE=S(NSG,BCA);
  695. LEB=S(MULT,I22,GE);
  696. I34=S(I[1,1],I[3,4]);
  697. LA=S(MULT,I12,LT);
  698. NEQ=S(SG,ABS);
  699. 11
  700.  
  701.  
  702. 050.rf
  703.  
  704. I44=S(I[1,1],I[4,4]);
  705. I14=S(I[1,1],I[1,4]);
  706. I24=S(I[1,1],I[2,4]);
  707. I34=S(I[1,1],I[3,4]);
  708. 4
  709.  
  710.  
  711. 052.RF
  712.  
  713. C05=S(O,I15);
  714. E4=S(BIN,E3);
  715. C13=S(N,C03);
  716. C15=S(N,C05);
  717. C23=S(N,C13);
  718. 5
  719.  
  720.  
  721. 053.rf
  722.  
  723. IMPL=S(NOT,COIMPL);
  724. IMPR=S(NOT,COIMPR);
  725. I44=S(I[1,1],I[4,4]);
  726. NAND=S(NOT,AND);
  727. EQ=S(NSG,ABS);
  728. I14=S(I[1,1],I[1,4]);
  729. NOR=S(NOT,OR);
  730. COIMPR=S(SUB,I22,I12);
  731. I24=S(I[1,1],I[2,4]);
  732. COIMPL=S(SUB,I12,I22);
  733. OR=S(MAX,I12,I22);
  734. I34=S(I[1,1],I[3,4]);
  735. NEQ=S(SG,ABS);
  736. 13
  737.  
  738.  
  739. 054.RF
  740.  
  741. I44=S(I[1,1],I[4,4]);
  742. I14=S(I[1,1],I[1,4]);
  743. I24=S(I[1,1],I[2,4]);
  744. I34=S(I[1,1],I[3,4]);
  745. 4
  746.  
  747.  
  748. 056.RF
  749.  
  750. IMPR=S(NOT,COIMPR);
  751. I44=S(I[1,1],I[4,4]);
  752. LT=S(SG,BCA);
  753. NAND=S(NOT,AND);
  754. EQ=S(NSG,ABS);
  755. I14=S(I[1,1],I[1,4]);
  756. NOR=S(NOT,OR);
  757. MIN=S(ADD,LA,LEB);
  758. AND=S(MIN,I12,I22);
  759. COIMPR=S(SUB,I22,I12);
  760. I24=S(I[1,1],I[2,4]);
  761. GE=S(NSG,BCA);
  762. OR=S(MAX,I12,I22);
  763. LEB=S(MULT,I22,GE);
  764. I34=S(I[1,1],I[3,4]);
  765. LA=S(MULT,I12,LT);
  766. NEQ=S(SG,ABS);
  767. 17
  768.  
  769.  
  770. 057.RF
  771.  
  772. I44=S(I[1,1],I[4,4]);
  773. I14=S(I[1,1],I[1,4]);
  774. I24=S(I[1,1],I[2,4]);
  775. ABS=S(ADD,SUB,BCA);
  776. I34=S(I[1,1],I[3,4]);
  777. 5
  778.  
  779.  
  780. 058.RF
  781.  
  782. 0
  783.  
  784.  
  785. 059.RF
  786.  
  787. I44=S(I[1,1],I[4,4]);
  788. LT=S(SG,BCA);
  789. NAND=S(NOT,AND);
  790. ODD=S(SUB,I11,SH);
  791. SHR=R(I11,SHR3C);
  792. N2B=S(N,I22);
  793. BCA=S(SUB,I22,I12);
  794. AB=S(ODD,SHR);
  795. AD=S(AB,I15,I45);
  796. BXORC = S(XOR, BD, CD);
  797. I15=S(I[1,1],I[1,5]);
  798. EQ=S(NSG,ABS);
  799. I14=S(I[1,1],I[1,4]);
  800. NOT=S(NSG,I11);
  801. MIN=S(ADD,LA,LEB);
  802. AND=S(MIN,I12,I22);
  803. F219B = S(NAND, BXORA, BXORC);
  804. XOR=S(ABS,I12,I22);
  805. SHR1A=M(H2);
  806. BD=S(AB,I25,I45);
  807. I24=S(I[1,1],I[2,4]);
  808. I25=S(I[1,1],I[2,5]);
  809. ABS=S(ADD,SUB,BCA);
  810. SHL2NB=S(SHL1A,N2B);
  811. SH=S(SHL1A,SHR1A);
  812. GE=S(NSG,BCA);
  813. CD=S(AB,I35,I45);
  814. BXORA = S(XOR, AD, BD);
  815. LEB=S(MULT,I22,GE);
  816. I35=S(I[1,1],I[3,5]);
  817. H2=S(LE,SHL2NB,I12);
  818. I34=S(I[1,1],I[3,4]);
  819. LA=S(MULT,I12,LT);
  820. NEQ=S(SG,ABS);
  821. SHR3C=S(SHR1A,I33);
  822. 35
  823.  
  824.  
  825. 060.RF
  826.  
  827. I44=S(I[1,1],I[4,4]);
  828. I14=S(I[1,1],I[1,4]);
  829. I24=S(I[1,1],I[2,4]);
  830. I34=S(I[1,1],I[3,4]);
  831. 4
  832.  
  833.  
  834. 061.RF
  835.  
  836. 0
  837.  
  838.  
  839. 062.RF
  840.  
  841. IMPL=S(NOT,COIMPL);
  842. IMPR=S(NOT,COIMPR);
  843. I44=S(I[1,1],I[4,4]);
  844. LT=S(SG,BCA);
  845. NAND=S(NOT,AND);
  846. ODD=S(SUB,I11,SH);
  847. AEQVC = S(EQV,AD,CD);
  848. SHR=R(I11,SHR3C);
  849. N2B=S(N,I22);
  850. BCA=S(SUB,I22,I12);
  851. AB=S(ODD,SHR);
  852. AD=S(AB,I15,I45);
  853. EQV=S(NOT,XOR);
  854. I15=S(I[1,1],I[1,5]);
  855. EQ=S(NSG,ABS);
  856. I14=S(I[1,1],I[1,4]);
  857. NOR=S(NOT,OR);
  858. NOT=S(NSG,I11);
  859. MIN=S(ADD,LA,LEB);
  860. F062B = S(OR, AEQVC, BNORC);
  861. AND=S(MIN,I12,I22);
  862. XOR=S(ABS,I12,I22);
  863. BNORC = S(NOR, BD, CD);
  864. SHR1A=M(H2);
  865. COIMPR=S(SUB,I22,I12);
  866. BD=S(AB,I25,I45);
  867. I24=S(I[1,1],I[2,4]);
  868. I25=S(I[1,1],I[2,5]);
  869. ABS=S(ADD,SUB,BCA);
  870. SHL2NB=S(SHL1A,N2B);
  871. SH=S(SHL1A,SHR1A);
  872. COIMPL=S(SUB,I12,I22);
  873. GE=S(NSG,BCA);
  874. CD=S(AB,I35,I45);
  875. OR=S(MAX,I12,I22);
  876. LEB=S(MULT,I22,GE);
  877. I35=S(I[1,1],I[3,5]);
  878. H2=S(LE,SHL2NB,I12);
  879. I34=S(I[1,1],I[3,4]);
  880. LA=S(MULT,I12,LT);
  881. NEQ=S(SG,ABS);
  882. SHR3C=S(SHR1A,I33);
  883. 42
  884.  
  885.  
  886. 064.RF
  887.  
  888. 0
  889.  
  890.  
  891. 066.RF
  892.  
  893. LT=S(SG,BCA);
  894. GE=S(NSG,BCA);
  895. LEB=S(MULT,I22,GE);
  896. LA=S(MULT,I12,LT);
  897. 4
  898.  
  899.  
  900. 067.RF
  901.  
  902. IMPL=S(NOT,COIMPL);
  903. IMPR=S(NOT,COIMPR);
  904. I44=S(I[1,1],I[4,4]);
  905. NAND=S(NOT,AND);
  906. EQ=S(NSG,ABS);
  907. I14=S(I[1,1],I[1,4]);
  908. NOR=S(NOT,OR);
  909. COIMPR=S(SUB,I22,I12);
  910. I24=S(I[1,1],I[2,4]);
  911. COIMPL=S(SUB,I12,I22);
  912. OR=S(MAX,I12,I22);
  913. I34=S(I[1,1],I[3,4]);
  914. NEQ=S(SG,ABS);
  915. 13
  916.  
  917.  
  918. 069.RF
  919.  
  920. I44=S(I[1,1],I[4,4]);
  921. LT=S(SG,BCA);
  922. I45=S(I[1,1],I[4,5]);
  923. ODD=S(SUB,I11,SH);
  924. SHL=R(I11,SHL3C);
  925. SHR=R(I11,SHR3C);
  926. N2B=S(N,I22);
  927. BCA=S(SUB,I22,I12);
  928. AB=S(ODD,SHR);
  929. AD=S(AB,I15,I45);
  930. I55=S(I[1,1],I[5,5]);
  931. I15=S(I[1,1],I[1,5]);
  932. EQ=S(NSG,ABS);
  933. I14=S(I[1,1],I[1,4]);
  934. NOT=S(NSG,I11);
  935. MIN=S(ADD,LA,LEB);
  936. SHL1A=S(ADD,I11,I11);
  937. AND=S(MIN,I12,I22);
  938. XOR=S(ABS,I12,I22);
  939. SHR1A=M(H2);
  940. BD=S(AB,I25,I45);
  941. O3=S(O,I13);
  942. I24=S(I[1,1],I[2,4]);
  943. I25=S(I[1,1],I[2,5]);
  944. ABS=S(ADD,SUB,BCA);
  945. SHL2NB=S(SHL1A,N2B);
  946. SH=S(SHL1A,SHR1A);
  947. GE=S(NSG,BCA);
  948. CD=S(AB,I35,I45);
  949. OR=S(MAX,I12,I22);
  950. LEB=S(MULT,I22,GE);
  951. I35=S(I[1,1],I[3,5]);
  952. H2=S(LE,SHL2NB,I12);
  953. I34=S(I[1,1],I[3,4]);
  954. SHL3C=S(SHL1A,I33);
  955. LA=S(MULT,I12,LT);
  956. NEQ=S(SG,ABS);
  957. SHR3C=S(SHR1A,I33);
  958. 38
  959.  
  960.  
  961. 070.RF
  962.  
  963. IMPL=S(NOT,COIMPL);
  964. IMPR=S(NOT,COIMPR);
  965. I44=S(I[1,1],I[4,4]);
  966. EQ=S(NSG,ABS);
  967. I14=S(I[1,1],I[1,4]);
  968. NOR=S(NOT,OR);
  969. COIMPR=S(SUB,I22,I12);
  970. I24=S(I[1,1],I[2,4]);
  971. COIMPL=S(SUB,I12,I22);
  972. OR=S(MAX,I12,I22);
  973. I34=S(I[1,1],I[3,4]);
  974. NEQ=S(SG,ABS);
  975. 12
  976.  
  977.  
  978. 071.RF
  979.  
  980. IMPL=S(NOT,COIMPL);
  981. IMPR=S(NOT,COIMPR);
  982. I44=S(I[1,1],I[4,4]);
  983. LT=S(SG,BCA);
  984. NAND=S(NOT,AND);
  985. EQV=S(NOT,XOR);
  986. EQ=S(NSG,ABS);
  987. I14=S(I[1,1],I[1,4]);
  988. NOR=S(NOT,OR);
  989. NOT=S(NSG,I11);
  990. MIN=S(ADD,LA,LEB);
  991. AND=S(MIN,I12,I22);
  992. AORB=S(OR,AD,BD);
  993. COIMPR=S(SUB,I22,I12);
  994. BNANDC =S(NAND, BD, CD);
  995. I24=S(I[1,1],I[2,4]);
  996. COIMPL=S(SUB,I12,I22);
  997. GE=S(NSG,BCA);
  998. CD=S(AB,I35,I45);
  999. OR=S(MAX,I12,I22);
  1000. LEB=S(MULT,I22,GE);
  1001. I35=S(I[1,1],I[3,5]);
  1002. I34=S(I[1,1],I[3,4]);
  1003. LA=S(MULT,I12,LT);
  1004. NEQ=S(SG,ABS);
  1005. 25
  1006.  
  1007.  
  1008. 072.MRC
  1009.  
  1010. 0
  1011.  
  1012.  
  1013. 073.RF
  1014.  
  1015. IMPL=S(NOT,COIMPL);
  1016. IMPR=S(NOT,COIMPR);
  1017. I44=S(I[1,1],I[4,4]);
  1018. LT=S(SG,BCA);
  1019. NAND=S(NOT,AND);
  1020. EQ=S(NSG,ABS);
  1021. I14=S(I[1,1],I[1,4]);
  1022. NOR=S(NOT,OR);
  1023. MIN=S(ADD,LA,LEB);
  1024. AND=S(MIN,I12,I22);
  1025. COIMPR=S(SUB,I22,I12);
  1026. I24=S(I[1,1],I[2,4]);
  1027. COIMPL=S(SUB,I12,I22);
  1028. GE=S(NSG,BCA);
  1029. LEB=S(MULT,I22,GE);
  1030. I34=S(I[1,1],I[3,4]);
  1031. LA=S(MULT,I12,LT);
  1032. NEQ=S(SG,ABS);
  1033. 18
  1034.  
  1035.  
  1036. 074.RF
  1037.  
  1038. I44=S(I[1,1],I[4,4]);
  1039. LT=S(SG,BCA);
  1040. EQ=S(NSG,ABS);
  1041. I14=S(I[1,1],I[1,4]);
  1042. NOT=S(NSG,I11);
  1043. MIN=S(ADD,LA,LEB);
  1044. AND=S(MIN,I12,I22);
  1045. I24=S(I[1,1],I[2,4]);
  1046. GE=S(NSG,BCA);
  1047. LEB=S(MULT,I22,GE);
  1048. I34=S(I[1,1],I[3,4]);
  1049. LA=S(MULT,I12,LT);
  1050. NEQ=S(SG,ABS);
  1051. 13
  1052.  
  1053.  
  1054. 076.RF
  1055.  
  1056. I44=S(I[1,1],I[4,4]);
  1057. LT=S(SG,BCA);
  1058. I14=S(I[1,1],I[1,4]);
  1059. I24=S(I[1,1],I[2,4]);
  1060. GE=S(NSG,BCA);
  1061. LEB=S(MULT,I22,GE);
  1062. I34=S(I[1,1],I[3,4]);
  1063. LA=S(MULT,I12,LT);
  1064. 8
  1065.  
  1066.  
  1067. 077.RF
  1068.  
  1069. I11=S(I[1,1],I[1,1]);
  1070. I22=S(I[1,1],I[2,2]);
  1071. I33=S(I[1,1],I[3,3]);
  1072. I44=S(I[1,1],I[4,4]);
  1073. I13=S(I[1,1],I[1,3]);
  1074. I24=S(I[1,1],I[2,4]);
  1075. I35=S(I[1,1],I[3,5]);
  1076. I12=S(I[1,1],I[1,2]);
  1077. I23=S(I[1,1],I[2,3]);
  1078. I34=S(I[1,1],I[3,4]);
  1079. I45=S(I[1,1],I[4,5]);
  1080. I15=S(I[1,1],I[1,5]);
  1081. I14=S(I[1,1],I[1,4]);
  1082. I25=S(I[1,1],I[2,5]);
  1083. 14
  1084.  
  1085.  
  1086. 078 Rec.RF
  1087.  
  1088. I44=S(I[1,1],I[4,4]);
  1089. NAND=S(NOT,AND);
  1090. EQV=S(NOT,XOR);
  1091. EQ=S(NSG,ABS);
  1092. I14=S(I[1,1],I[1,4]);
  1093. NOR=S(NOT,OR);
  1094. COIMPR=S(SUB,I22,I12);
  1095. I24=S(I[1,1],I[2,4]);
  1096. COIMPL=S(SUB,I12,I22);
  1097. OR=S(MAX,I12,I22);
  1098. I34=S(I[1,1],I[3,4]);
  1099. NEQ=S(SG,ABS);
  1100. 12
  1101.  
  1102.  
  1103. 079.RF
  1104.  
  1105. IMPL=S(NOT,COIMPL);
  1106. IMPR=S(NOT,COIMPR);
  1107. I44=S(I[1,1],I[4,4]);
  1108. NAND=S(NOT,AND);
  1109. EQV=S(NOT,XOR);
  1110. EQ=S(NSG,ABS);
  1111. I14=S(I[1,1],I[1,4]);
  1112. NOR=S(NOT,OR);
  1113. COIMPR=S(SUB,I22,I12);
  1114. I24=S(I[1,1],I[2,4]);
  1115. COIMPL=S(SUB,I12,I22);
  1116. OR=S(MAX,I12,I22);
  1117. I34=S(I[1,1],I[3,4]);
  1118. NEQ=S(SG,ABS);
  1119. 14
  1120.  
  1121.  
  1122. 080.RF
  1123.  
  1124. I44=S(I[1,1],I[4,4]);
  1125. I14=S(I[1,1],I[1,4]);
  1126. I24=S(I[1,1],I[2,4]);
  1127. I34=S(I[1,1],I[3,4]);
  1128. 4
  1129.  
  1130.  
  1131. 082.rf
  1132.  
  1133. I44=S(I[1,1],I[4,4]);
  1134. EQ=S(NSG,ABS);
  1135. I14=S(I[1,1],I[1,4]);
  1136. I24=S(I[1,1],I[2,4]);
  1137. I34=S(I[1,1],I[3,4]);
  1138. NEQ=S(SG,ABS);
  1139. 6
  1140.  
  1141.  
  1142. 084.RF
  1143.  
  1144. 0
  1145.  
  1146.  
  1147. 086.rf
  1148.  
  1149. sub=R(I[1,1],S(dec,I[3,3])); //sub(x,y)=x-y
  1150. dec=R(zero,I[1,2]); //dec(x)=x-1
  1151. mod2=S(sub,I[1,1],S(mul,S(two,I[1,1]),S(divBy2,I[1,1]))); //mod2(x)=x%2
  1152. notNthBitFromEnd=S(mod2,S(N,S(mod2,S(rightShift,I[1,2],I[2,2])))); //notNthBitFromEnd(x,y)=~((x>>y)%2)
  1153. mul=R(O,S(add,I[3,3],I[1,3])); //mul(x,y)=x*y
  1154. getLargerBitLength=S(N,S(getLarger,S(log2,I[1,2]),S(log2,I[2,2]))); //getLargerBitLength(x,y)=getLarger(log2(x),log2(y))+1
  1155. andNthBitsFromEnd=S(andLastBits,S(rightShift,I[1,3],I[3,3]),S(rightShift,I[2,3],I[3,3])); //andNthBitsFromEnd(x,y,z)=((x>>z)%2)&((x>>z)%2))
  1156. divBy2=M(S(dec,S(sub,I[1,2],S(mul,S(two,I[1,2]),I[2,2])))); //divBy2(x)=x/2
  1157. two=S(N,one); //two(x)=2
  1158. zero=M(O); //zero()=0
  1159. andByLength=R(S(O,I[1,3]),S(add,I[5,5],S(mul,S(andNthBitsFromEnd,I[1,5],I[2,5],S(sub,I[3,5],I[4,5])),S(pow2,S(sub,I[3,5],I[4,5]))))); //andByLength(x,y,getLargerBitLength(x,y)-1,getLargerBitLength(x,y))=x&y
  1160. not=S(notByLength,I[1,1],S(log2,I[1,1]),S(N,S(log2,I[1,1]))); //not(x)=~x
  1161. and=S(andByLength,I[1,2],I[2,2],S(dec,S(getLargerBitLength,I[1,2],I[2,2])),S(getLargerBitLength,I[1,2],I[2,2])); //and(x,y)=x&y
  1162. xorNthBitsFromEnd=S(xorLastBits,S(rightShift,I[1,3],I[3,3]),S(rightShift,I[2,3],I[3,3])); //xorNthBitsFromEnd(x,y,z)=((x>>z)%2)^((x>>z)%2))
  1163. pow=R(one,S(mul,I[3,3],I[1,3])); //pow(x,y)=x[^y]
  1164. log2=S(dec,M(S(sub,I[1,2],S(dec,S(pow,S(two,I[1,2]),I[2,2]))))); //log2(x)=log(x)[2]
  1165. rightShift=R(I[1,1],S(divBy2,I[3,3])); //rightShift(x,y)=x>>y
  1166. add=R(I[1,1],S(N,I[3,3])); //sum(x,y)=x+y
  1167. notByLength=R(S(O,I[1,2]),S(add,I[4,4],S(mul,S(notNthBitFromEnd,I[1,4],S(sub,I[2,4],I[3,4])),S(pow2,S(sub,I[2,4],I[3,4]))))); //notByLength(x,log2(x),log2(x)+1)=~x
  1168. getLarger=S(add,I[1,2],S(sub,I[2,2],I[1,2])); //getLarger(x,y)=(x>y)?x:y
  1169. one=S(N,O); //one(x)=1
  1170. xorLastBits=S(mod2,S(add,S(mod2,I[1,2]),S(mod2,I[2,2]))); //xorLastBits(x,y)=(x%2)^(y%2)
  1171. pow2=S(pow,S(two,I[1,1]),I[1,1]); //pow2(x)=2[^x]
  1172. andLastBits=S(mul,S(mod2,I[1,2]),S(mod2,I[2,2])); //andLastBits(x,y)=(x%2)&(y%2)
  1173. 24
  1174.  
  1175.  
  1176. 087.RF
  1177.  
  1178. IMPL=S(NOT,COIMPL);
  1179. IMPR=S(NOT,COIMPR);
  1180. EQV=S(NOT,XOR);
  1181. I14=S(I[1,1],I[1,4]);
  1182. COIMPR=S(SUB,I22,I12);
  1183. I24=S(I[1,1],I[2,4]);
  1184. COIMPL=S(SUB,I12,I22);
  1185. I34=S(I[1,1],I[3,4]);
  1186. NEQ=S(SG,ABS);
  1187. I44=S(I[1,1],I[4,4]);
  1188. NAND=S(NOT,AND);
  1189. EQ=S(NSG,ABS);
  1190. NOR=S(NOT,OR);
  1191. OR=S(MAX,I12,I22);
  1192. 14
  1193.  
  1194.  
  1195. 089.RF
  1196.  
  1197. I44=S(I[1,1],I[4,4]);
  1198. EQ=S(NSG,ABS);
  1199. I14=S(I[1,1],I[1,4]);
  1200. I24=S(I[1,1],I[2,4]);
  1201. I34=S(I[1,1],I[3,4]);
  1202. NEQ=S(SG,ABS);
  1203. 6
  1204.  
  1205.  
  1206. 090.RF
  1207.  
  1208. IMPL=S(NOT,COIMPL);
  1209. IMPR=S(NOT,COIMPR);
  1210. I44=S(I[1,1],I[4,4]);
  1211. NAND=S(NOT,AND);
  1212. AXORC=S(XOR,AD,CD);
  1213. EQV=S(NOT,XOR);
  1214. EQ=S(NSG,ABS);
  1215. I14=S(I[1,1],I[1,4]);
  1216. NOR=S(NOT,OR);
  1217. NOT=S(NSG,I11);
  1218. AORB=S(OR,AD,BD);
  1219. COIMPR=S(SUB,I22,I12);
  1220. I24=S(I[1,1],I[2,4]);
  1221. COIMPL=S(SUB,I12,I22);
  1222. OR=S(MAX,I12,I22);
  1223. I34=S(I[1,1],I[3,4]);
  1224. NEQ=S(SG,ABS);
  1225. 17
  1226.  
  1227.  
  1228. 091.RF
  1229.  
  1230. Two1=S(N,One1);
  1231. Zero2=S(O,I[1,2]);
  1232. One2=S(N,Zero2);
  1233. Zero0=M(O);
  1234. One1=S(N,O);
  1235. One0=S(N,Zero0);
  1236. 6
  1237.  
  1238.  
  1239. 092.RF
  1240.  
  1241. I44=S(I[1,1],I[4,4]);
  1242. EQV=S(NOT,XOR);
  1243. EQ=S(NSG,ABS);
  1244. I14=S(I[1,1],I[1,4]);
  1245. I24=S(I[1,1],I[2,4]);
  1246. I34=S(I[1,1],I[3,4]);
  1247. NEQ=S(SG,ABS);
  1248. 7
  1249.  
  1250.  
  1251. 093.RF
  1252.  
  1253. I44=S(I[1,1],I[4,4]);
  1254. EQ=S(NSG,ABS);
  1255. I14=S(I[1,1],I[1,4]);
  1256. I24=S(I[1,1],I[2,4]);
  1257. I34=S(I[1,1],I[3,4]);
  1258. NEQ=S(SG,ABS);
  1259. 6
  1260.  
  1261.  
  1262. 094.RF
  1263.  
  1264. NOT=S(NSG,I11);
  1265. COIMPR=S(SUB,I22,I12);
  1266. COIMPL=S(SUB,I12,I22);
  1267. OR=S(MAX,I12,I22);
  1268. 4
  1269.  
  1270.  
  1271. 095.RF
  1272.  
  1273. I44=S(I[1,1],I[4,4]);
  1274. LT=S(SG,BCA);
  1275. I14=S(I[1,1],I[1,4]);
  1276. MIN=S(ADD,LA,LEB);
  1277. AND=S(MIN,I12,I22);
  1278. I24=S(I[1,1],I[2,4]);
  1279. GE=S(NSG,BCA);
  1280. LEB=S(MULT,I22,GE);
  1281. I34=S(I[1,1],I[3,4]);
  1282. LA=S(MULT,I12,LT);
  1283. 10
  1284.  
  1285.  
  1286. 096.RF
  1287.  
  1288. FMULT=S(MULT, FP2, S(GetDigit, S(Func,I15,I25,I35),I45));
  1289. ODD=S(SVB, I, SH);
  1290. BSA=S(SVB,I22,I12);
  1291. MULT=R(O, S(ADD,I13,I33));
  1292. SHL=R(I, SHL3C);
  1293. SHR=R(I, SHR3C);
  1294. N2B=S(N, I22);
  1295. AB=S(ODD, SHR);
  1296. NSG=R(C1,O2);
  1297. FP2=S(P2, I45);
  1298. I15=S(I,I[1,5]);
  1299. L33=S(LEN,I33);
  1300. NOT=S(NSG,I); // !a
  1301. MIN=S(ADD, S(MULT,I12,LE), S(MULT,I22,GT));
  1302. SHL1A=S(ADD, I, I);
  1303. AND=S(MIN, I12, I22); // and
  1304. GetDigit=S(AB, I12, I22);
  1305. SHR1A=M(H2);
  1306. Func=S(OR, I23, S(OR, S(AND,I13,S(AND,I33,S(NOT,I23))), S(AND,S(NOT,I13),S(AND,S(NOT,I23),S(NOT,I33)))));
  1307. C1=S(N,C0);
  1308. ABS=S(ADD,SVB,BSA);
  1309. SHL2NB=S(SHL1A, N2B);
  1310. SH=S(SHL1A, SHR1A);
  1311. OR=S(MAX, I12, I22); // or
  1312. H2=S(LE, SHL2NB, I12);
  1313. SHL3C=S(SHL1A, I33);
  1314. LE=S(NSG,SVB);
  1315. SHR3C=S(SHR1A, I33);
  1316. 28
  1317.  
  1318.  
  1319. 097.RF
  1320.  
  1321. IMPL=S(NOT,COIMPL);
  1322. IMPR=S(NOT,COIMPR);
  1323. I44=S(I[1,1],I[4,4]);
  1324. NAND=S(NOT,AND);
  1325. MULT=R(O,S(ADD,I13,I33));
  1326. EQV=S(NOT,XOR);
  1327. EQ=S(NSG,ABS);
  1328. I14=S(I[1,1],I[1,4]);
  1329. NOR=S(NOT,OR);
  1330. NOT=S(NSG,I11);
  1331. NE=S(SG,ABS);
  1332. XOR=S(ABS,I12,I22);
  1333. COIMPR=S(SUB,I22,I12);
  1334. I24=S(I[1,1],I[2,4]);
  1335. ABS=S(ADD,SUB,BSA);
  1336. COIMPL=S(SUB,I12,I22);
  1337. GE=S(NSG,BSA);
  1338. I34=S(I[1,1],I[3,4]);
  1339. 18
  1340.  
  1341.  
  1342. 099.RF
  1343.  
  1344. IMPL=S(NOT,COIMPL);
  1345. IMPR=S(NOT,COIMPR);
  1346. I44=S(I[1,1],I[4,4]);
  1347. NAND=S(NOT,AND);
  1348. EQV=S(NOT,XOR);
  1349. EQ=S(NSG,ABS);
  1350. I14=S(I[1,1],I[1,4]);
  1351. NOR=S(NOT,OR);
  1352. NOT=S(NSG,I11);
  1353. COIMPR=S(SUB,I22,I12);
  1354. I24=S(I[1,1],I[2,4]);
  1355. COIMPL=S(SUB,I12,I22);
  1356. OR=S(MAX,I12,I22);
  1357. I34=S(I[1,1],I[3,4]);
  1358. NEQ=S(SG,ABS);
  1359. 15
  1360.  
  1361.  
  1362. 101.RF
  1363.  
  1364. 0
  1365.  
  1366.  
  1367. 102.RF
  1368.  
  1369. IMPL=S(NOT,COIMPL);
  1370. IMPR=S(NOT,COIMPR);
  1371. I44=S(I[1,1],I[4,4]);
  1372. NAND=S(NOT,AND);
  1373. EQV=S(NOT,XOR);
  1374. EQ=S(NSG,ABS);
  1375. I14=S(I[1,1],I[1,4]);
  1376. NOR=S(NOT,OR);
  1377. NOT=S(NSG,I11);
  1378. COIMPR=S(SUB,I22,I12);
  1379. I24=S(I[1,1],I[2,4]);
  1380. COIMPL=S(SUB,I12,I22);
  1381. I34=S(I[1,1],I[3,4]);
  1382. NEQ=S(SG,ABS);
  1383. 14
  1384.  
  1385.  
  1386. 104.RF
  1387.  
  1388. I44=S(I[1,1],I[4,4]);
  1389. EQ=S(NSG,ABS);
  1390. I14=S(I[1,1],I[1,4]);
  1391. I24=S(I[1,1],I[2,4]);
  1392. I34=S(I[1,1],I[3,4]);
  1393. NEQ=S(SG,ABS);
  1394. 6
  1395.  
  1396.  
  1397. 105.RF
  1398.  
  1399. IMPL=S(NOT,COIMPL); // x, y => x <- y
  1400. IMPR=S(NOT,COIMPR); // x, y => x -> y
  1401. I44=S(I[1,1],I[4,4]);
  1402. NAND=S(NOT,AND); // x, y => x not and y
  1403. EQV=S(NOT,XOR); // x, y => x ~ y
  1404. EQ=S(NSG,ABS); // x, y => x == y ? 1 : 0
  1405. I14=S(I[1,1],I[1,4]);
  1406. COIMPR=S(SUB,I22,I12); // x, y => x -/-> y
  1407. I24=S(I[1,1],I[2,4]);
  1408. COIMPL=S(SUB,I12,I22); // x, y => x <-\- y
  1409. I34=S(I[1,1],I[3,4]);
  1410. NEQ=S(SG,ABS); // x, y => x != y ? 1 : 0
  1411. 12
  1412.  
  1413.  
  1414. 106.RF
  1415.  
  1416. I44=S(I[1,1],I[4,4]);
  1417. LT=S(SG,BCA);
  1418. EQ=S(NSG,ABS);
  1419. I14=S(I[1,1],I[1,4]);
  1420. MIN=S(ADD,LA,LEB);
  1421. I24=S(I[1,1],I[2,4]);
  1422. GE=S(NSG,BCA);
  1423. LEB=S(MULT,I22,GE);
  1424. I34=S(I[1,1],I[3,4]);
  1425. LA=S(MULT,I12,LT);
  1426. NEQ=S(SG,ABS);
  1427. 11
  1428.  
  1429.  
  1430. 107.RF
  1431.  
  1432. IMPL=S(NOT,COIMPL);
  1433. IMPR=S(NOT,COIMPR);
  1434. I44=S(I[1,1],I[4,4]);
  1435. LT=S(SG,BCA);
  1436. NAND=S(NOT,AND);
  1437. EQV=S(NOT,XOR);
  1438. EQ=S(NSG,ABS);
  1439. I14=S(I[1,1],I[1,4]);
  1440. NOR=S(NOT,OR);
  1441. NOT=S(NSG,I11);
  1442. MIN=S(ADD,LA,LEB);
  1443. AND=S(MIN,I12,I22);
  1444. COIMPR=S(SUB,I22,I12);
  1445. I24=S(I[1,1],I[2,4]);
  1446. COIMPL=S(SUB,I12,I22);
  1447. GE=S(NSG,BCA);
  1448. LEB=S(MULT,I22,GE);
  1449. I34=S(I[1,1],I[3,4]);
  1450. LA=S(MULT,I12,LT);
  1451. NEQ=S(SG,ABS);
  1452. 20
  1453.  
  1454.  
  1455. 108.RF
  1456.  
  1457. I24=S(I[1,1],I[2,4]);
  1458. 1
  1459.  
  1460.  
  1461. 109.rf
  1462.  
  1463. IMPL=S(NOT,COIMPL);
  1464. IMPR=S(NOT,COIMPR);
  1465. I44=S(I[1,1],I[4,4]);
  1466. LT=S(SG,BCA);
  1467. I45=S(I[1,1],I[4,5]);
  1468. NAND=S(NOT,AND);
  1469. ODD=S(SUB,I11,SH);
  1470. SHL=R(I11,SHL3C);
  1471. SHR=R(I11,SHR3C);
  1472. N2B=S(N,I22);
  1473. BCA=S(SUB,I22,I12);
  1474. AB=S(ODD,SHR);
  1475. AD=S(AB,I15,I45);
  1476. I55=S(I[1,1],I[5,5]);
  1477. EQV=S(NOT,XOR);
  1478. I15=S(I[1,1],I[1,5]);
  1479. EQ=S(NSG,ABS);
  1480. I14=S(I[1,1],I[1,4]);
  1481. NOR=S(NOT,OR);
  1482. NOT=S(NSG,I11);
  1483. MIN=S(ADD,LA,LEB);
  1484. SHL1A=S(ADD,I11,I11);
  1485. AND=S(MIN,I12,I22);
  1486. XOR=S(ABS,I12,I22);
  1487. SHR1A=M(H2);
  1488. COIMPR=S(SUB,I22,I12);
  1489. BD=S(AB,I25,I45);
  1490. O3=S(O,I13);
  1491. I24=S(I[1,1],I[2,4]);
  1492. I25=S(I[1,1],I[2,5]);
  1493. ABS=S(ADD,SUB,BCA);
  1494. SHL2NB=S(SHL1A,N2B);
  1495. SH=S(SHL1A,SHR1A);
  1496. COIMPL=S(SUB,I12,I22);
  1497. GE=S(NSG,BCA);
  1498. CD=S(AB,I35,I45);
  1499. OR=S(MAX,I12,I22);
  1500. LEB=S(MULT,I22,GE);
  1501. I35=S(I[1,1],I[3,5]);
  1502. H2=S(LE,SHL2NB,I12);
  1503. I34=S(I[1,1],I[3,4]);
  1504. SHL3C=S(SHL1A,I33);
  1505. LA=S(MULT,I12,LT);
  1506. NEQ=S(SG,ABS);
  1507. SHR3C=S(SHR1A,I33);
  1508. 45
  1509.  
  1510.  
  1511. 110.RF
  1512.  
  1513. I44=S(I[1,1],I[4,4]);
  1514. EQ=S(NSG,ABS);
  1515. I24=S(I[1,1],I[2,4]);
  1516. I34=S(I[1,1],I[3,4]);
  1517. NEQ=S(SG,ABS);
  1518. 5
  1519.  
  1520.  
  1521. 111.RF
  1522.  
  1523. IMPL=S(NOT,COIMPL);
  1524. IMPR=S(NOT,COIMPR);
  1525. I44=S(I[1,1],I[4,4]);
  1526. LT=S(SG,BCA);
  1527. NAND=S(NOT,AND);
  1528. AXORC=S(XOR,AD,CD);
  1529. EQV=S(NOT,XOR);
  1530. EQ=S(NSG,ABS);
  1531. I14=S(I[1,1],I[1,4]);
  1532. NOR=S(NOT,OR);
  1533. NOT=S(NSG,I11);
  1534. MIN=S(ADD,LA,LEB);
  1535. AND=S(MIN,I12,I22);
  1536. AORB=S(OR,AD,BD);
  1537. COIMPR=S(SUB,I22,I12);
  1538. I24=S(I[1,1],I[2,4]);
  1539. COIMPL=S(SUB,I12,I22);
  1540. GE=S(NSG,BCA);
  1541. LEB=S(MULT,I22,GE);
  1542. I34=S(I[1,1],I[3,4]);
  1543. LA=S(MULT,I12,LT);
  1544. NEQ=S(SG,ABS);
  1545. 22
  1546.  
  1547.  
  1548. 115.RF
  1549.  
  1550. CORC=S(OR,CD,CD);
  1551. IMPR=S(NOT,COIMPR);
  1552. I44=S(I[1,1],I[4,4]);
  1553. LT=S(SG,BCA);
  1554. NAND=S(NOT,AND);
  1555. EQV=S(NOT,XOR);
  1556. EQ=S(NSG,ABS);
  1557. I14=S(I[1,1],I[1,4]);
  1558. NOR=S(NOT,OR);
  1559. MIN=S(ADD,LA,LEB);
  1560. AND=S(MIN,I12,I22);
  1561. COIMPR=S(SUB,I22,I12);
  1562. I24=S(I[1,1],I[2,4]);
  1563. GE=S(NSG,BCA);
  1564. OR=S(MAX,I12,I22);
  1565. LEB=S(MULT,I22,GE);
  1566. I34=S(I[1,1],I[3,4]);
  1567. LA=S(MULT,I12,LT);
  1568. NEQ=S(SG,ABS);
  1569. 19
  1570.  
  1571.  
  1572. 116.RF
  1573.  
  1574. IMPL=S(NOT,COIMPL);
  1575. IMPR=S(NOT,COIMPR);
  1576. I44=S(I[1,1],I[4,4]);
  1577. NAND=S(NOT,AND);
  1578. EQV=S(NOT,XOR);
  1579. EQ=S(NSG,ABS);
  1580. I14=S(I[1,1],I[1,4]);
  1581. NOR=S(NOT,OR);
  1582. NOT=S(NSG,I11);
  1583. COIMPR=S(SUB,I22,I12);
  1584. I24=S(I[1,1],I[2,4]);
  1585. COIMPL=S(SUB,I12,I22);
  1586. I34=S(I[1,1],I[3,4]);
  1587. NEQ=S(SG,ABS);
  1588. 14
  1589.  
  1590.  
  1591. 117.RF
  1592.  
  1593. MULT=R(O,S(ADD,I13,I33));
  1594. GE=S(NSG,BSA);
  1595. CD=S(AB,I35,I45);
  1596. I35=S(I,I[3,5]);
  1597. 4
  1598.  
  1599.  
  1600. 118.RF
  1601.  
  1602. I44=S(I[1,1],I[4,4]);
  1603. LT=S(SG,BCA);
  1604. EQ=S(NSG,ABS);
  1605. I14=S(I[1,1],I[1,4]);
  1606. NOR=S(NOT,OR);
  1607. MIN=S(ADD,LA,LEB);
  1608. AND=S(MIN,I12,I22);
  1609. COIMPR=S(SUB,I22,I12);
  1610. I24=S(I[1,1],I[2,4]);
  1611. COIMPL=S(SUB,I12,I22);
  1612. GE=S(NSG,BCA);
  1613. LEB=S(MULT,I22,GE);
  1614. I34=S(I[1,1],I[3,4]);
  1615. LA=S(MULT,I12,LT);
  1616. NEQ=S(SG,ABS);
  1617. 15
  1618.  
  1619.  
  1620. 121.rf
  1621.  
  1622. IMPL=S(NOT,COIMPL);
  1623. IMPR=S(NOT,COIMPR);
  1624. I44=S(I[1,1],I[4,4]);
  1625. LT=S(SG,BCA);
  1626. NAND=S(NOT,AND);
  1627. AXORC=S(XOR,AD,CD);
  1628. EQV=S(NOT,XOR);
  1629. EQ=S(NSG,ABS);
  1630. I14=S(I[1,1],I[1,4]);
  1631. NOR=S(NOT,OR);
  1632. NOT=S(NSG,I11);
  1633. MIN=S(ADD,LA,LEB);
  1634. AND=S(MIN,I12,I22);
  1635. AORB=S(OR,AD,BD);
  1636. COIMPR=S(SUB,I22,I12);
  1637. I24=S(I[1,1],I[2,4]);
  1638. COIMPL=S(SUB,I12,I22);
  1639. GE=S(NSG,BCA);
  1640. LEB=S(MULT,I22,GE);
  1641. I34=S(I[1,1],I[3,4]);
  1642. LA=S(MULT,I12,LT);
  1643. NEQ=S(SG,ABS);
  1644. 22
  1645.  
  1646.  
  1647. 122-1.RF
  1648.  
  1649. IMPL=S(NOT,COIMPL);
  1650. IMPR=S(NOT,COIMPR);
  1651. EQV=S(NOT,XOR);
  1652. I14=S(I[1,1],I[1,4]);
  1653. XOR=S(ABS,I12,I22);
  1654. COIMPR=S(SUB,I22,I12);
  1655. I24=S(I[1,1],I[2,4]);
  1656. ABS=S(ADD,SUB,BCA);
  1657. COIMPL=S(SUB,I12,I22);
  1658. I34=S(I[1,1],I[3,4]);
  1659. NEQ=S(SG,ABS);
  1660. I44=S(I[1,1],I[4,4]);
  1661. NAND=S(NOT,AND);
  1662. AXORC=S(XOR,AD,CD);
  1663. EQ=S(NSG,ABS);
  1664. NOR=S(NOT,OR);
  1665. 16
  1666.  
  1667.  
  1668. 122.RF
  1669.  
  1670. NOTA = S(NOT, AD);
  1671. I44=S(I[1,1],I[4,4]);
  1672. LT=S(SG,BCA);
  1673. AD=S(AB,I15,I45);
  1674. I15=S(I[1,1],I[1,5]);
  1675. EQ=S(NSG,ABS);
  1676. I14=S(I[1,1],I[1,4]);
  1677. NOT=S(NSG,I11);
  1678. MIN=S(ADD,LA,LEB);
  1679. NAB = S(AND, NOTA, BD);
  1680. AND=S(MIN,I12,I22);
  1681. I24=S(I[1,1],I[2,4]);
  1682. GE=S(NSG,BCA);
  1683. LEB=S(MULT,I22,GE);
  1684. I34=S(I[1,1],I[3,4]);
  1685. LA=S(MULT,I12,LT);
  1686. NEQ=S(SG,ABS);
  1687. 17
  1688.  
  1689.  
  1690. 123.RF
  1691.  
  1692. IMPL=S(NOT,COIMPL);
  1693. IMPR=S(NOT,COIMPR);
  1694. I44=S(I[1,1],I[4,4]);
  1695. LT=S(SG,BCA);
  1696. NAND=S(NOT,AND);
  1697. AXORC=S(XOR,AD,CD);
  1698. EQV=S(NOT,XOR);
  1699. EQ=S(NSG,ABS);
  1700. I14=S(I[1,1],I[1,4]);
  1701. NOR=S(NOT,OR);
  1702. NOT=S(NSG,I11);
  1703. MIN=S(ADD,LA,LEB);
  1704. AND=S(MIN,I12,I22);
  1705. AORB=S(OR,AD,BD);
  1706. COIMPR=S(SUB,I22,I12);
  1707. I24=S(I[1,1],I[2,4]);
  1708. COIMPL=S(SUB,I12,I22);
  1709. GE=S(NSG,BCA);
  1710. LEB=S(MULT,I22,GE);
  1711. I34=S(I[1,1],I[3,4]);
  1712. LA=S(MULT,I12,LT);
  1713. NEQ=S(SG,ABS);
  1714. 22
  1715.  
  1716.  
  1717. 124.RF
  1718.  
  1719. IMPL=S(NOT,COIMPL);
  1720. IMPR=S(NOT,COIMPR);
  1721. I44=S(I[1,1],I[4,4]);
  1722. NAND=S(NOT,AND);
  1723. EQV=S(NOT,XOR);
  1724. EQ=S(NSG,ABS);
  1725. I14=S(I[1,1],I[1,4]);
  1726. NOR=S(NOT,OR);
  1727. NOT=S(NSG,I11);
  1728. COIMPR=S(SUB,I22,I12);
  1729. I24=S(I[1,1],I[2,4]);
  1730. COIMPL=S(SUB,I12,I22);
  1731. I34=S(I[1,1],I[3,4]);
  1732. NEQ=S(SG,ABS);
  1733. 14
  1734.  
  1735.  
  1736. 125.RF
  1737.  
  1738. IMPL=S(NOT,COIMPL);
  1739. IMPR=S(NOT,COIMPR);
  1740. I44=S(I[1,1],I[4,4]);
  1741. LT=S(SG,BCA);
  1742. NAND=S(NOT,AND);
  1743. EQ=S(NSG,ABS);
  1744. I14=S(I[1,1],I[1,4]);
  1745. NOR=S(NOT,OR);
  1746. MIN=S(ADD,LA,LEB);
  1747. AND=S(MIN,I12,I22);
  1748. COIMPR=S(SUB,I22,I12);
  1749. I24=S(I[1,1],I[2,4]);
  1750. COIMPL=S(SUB,I12,I22);
  1751. GE=S(NSG,BCA);
  1752. LEB=S(MULT,I22,GE);
  1753. I34=S(I[1,1],I[3,4]);
  1754. LA=S(MULT,I12,LT);
  1755. NEQ=S(SG,ABS);
  1756. 18
  1757.  
  1758.  
  1759. 2.RF
  1760.  
  1761. IMPL=S(NOT,COIMPL);
  1762. IMPR=S(NOT,COIMPR);
  1763. I44=S(I[1,1],I[4,4]);
  1764. L23=S(LEN,I23);
  1765. NAND=S(NOT,AND);
  1766. P22=S(P2,I22);
  1767. SHL=R(I11,SHL3C);
  1768. AMC=S(MULT,I13,I33);
  1769. AANDB=S(AND,AD,BD);
  1770. ML=S(MAX33,L13,L23,L33);
  1771. AANDC=S(AND, AD,CD);
  1772. C11=S(N,O);
  1773. AD=S(AB,I15,I45);
  1774. GEB=S(MULT,I22,LE);
  1775. I55=S(I[1,1],I[5,5]);
  1776. EQV=S(NOT,XOR);
  1777. I15=S(I[1,1],I[1,5]);
  1778. EQ=S(NSG,ABS);
  1779. I14=S(I[1,1],I[1,4]);
  1780. LOG2=M(G2);
  1781. L33=S(LEN,I33);
  1782. NOR=S(NOT,OR);
  1783. NOT=S(NSG,I11);
  1784. NA=S(N,I12);
  1785. POW=R(C11,AMC);
  1786. XOR=S(ABS,I12,I22);
  1787. COIMPR=S(SUB,I22,I12);
  1788. C21=S(ADD,C11,C11);
  1789. O3=S(O,I13);
  1790. MAX=S(ADD,GA,GEB);
  1791. I24=S(I[1,1],I[2,4]);
  1792. I23=S(I[1,1],I[2,3]);
  1793. G2=S(GT,NA,P22);
  1794. ABS=S(ADD,SUB,BCA);
  1795. GA=S(MULT,I12,GT);
  1796. COIMPL=S(SUB,I12,I22);
  1797. MAX23=S(MAX,I13,I23);
  1798. CD=S(AB,I35,I45);
  1799. P2=S(POW,C21,I11);
  1800. OR=S(MAX,I12,I22);
  1801. I35=S(I[1,1],I[3,5]);
  1802. I34=S(I[1,1],I[3,4]);
  1803. GT=S(SG,SUB);
  1804. L13=S(LEN,I13);
  1805. SHL3C=S(SHL1A,I33);
  1806. LEN=S(MAX,C11,LOG2);
  1807. NEQ=S(SG,ABS);
  1808. MAX33=S(MAX,MAX23,I33);
  1809. 48
  1810.  
  1811.  
  1812. 254.rf
  1813.  
  1814. I44=S(I[1,1],I[4,4]);
  1815. EQ=S(NSG,ABS);
  1816. I14=S(I[1,1],I[1,4]);
  1817. NOR=S(NOT,OR);
  1818. XOR=S(ABS,I12,I22);
  1819. I24=S(I[1,1],I[2,4]);
  1820. ABS=S(ADD,SUB,BCA);
  1821. OR=S(MAX,I12,I22);
  1822. I34=S(I[1,1],I[3,4]);
  1823. NEQ=S(SG,ABS);
  1824. 10
  1825.  
  1826.  
  1827. Baranov_A._Domashnee_zadanie_N2._Rekursiv_2014-12-06-19-57-11.RF
  1828.  
  1829. I44=S(I[1,1],I[4,4]);
  1830. LT=S(SG,BCA);
  1831. I14=S(I[1,1],I[1,4]);
  1832. I24=S(I[1,1],I[2,4]);
  1833. GE=S(NSG,BCA);
  1834. LEB=S(MULT,I22,GE);
  1835. I34=S(I[1,1],I[3,4]);
  1836. LA=S(MULT,I12,LT);
  1837. 8
  1838.  
  1839.  
  1840. dz.RF
  1841.  
  1842. IMPL=S(NOT,COIMPL);
  1843. IMPR=S(NOT,COIMPR);
  1844. I44=S(I[1,1],I[4,4]);
  1845. LT=S(SG,BCA);
  1846. I45=S(I[1,1],I[4,5]);
  1847. NAND=S(NOT,AND);
  1848. ODD=S(SUB,I11,SH);
  1849. F032L=R(O3,SF026);
  1850. AXORC=S(XOR,AD,CD);
  1851. SHL=R(I11,SHL3C);
  1852. SHR=R(I11,SHR3C);
  1853. N2B=S(N,I22);
  1854. BCA=S(SUB,I22,I12);
  1855. AB=S(ODD,SHR);
  1856. AD=S(AB,I15,I45);
  1857. I55=S(I[1,1],I[5,5]);
  1858. F032B=S(AND,AORB,AXORC);
  1859. EQV=S(NOT,XOR);
  1860. I15=S(I[1,1],I[1,5]);
  1861. EQ=S(NSG,ABS);
  1862. I14=S(I[1,1],I[1,4]);
  1863. NOR=S(NOT,OR);
  1864. NOT=S(NSG,I11);
  1865. MIN=S(ADD,LA,LEB);
  1866. SHL1A=S(ADD,I11,I11);
  1867. AND=S(MIN,I12,I22);
  1868. XOR=S(ABS,I12,I22);
  1869. SHR1A=M(H2);
  1870. AORB=S(OR,AD,BD);
  1871. COIMPR=S(SUB,I22,I12);
  1872. BD=S(AB,I25,I45);
  1873. O3=S(O,I13);
  1874. G032=S(SHL,F032B,I45);
  1875. I24=S(I[1,1],I[2,4]);
  1876. I25=S(I[1,1],I[2,5]);
  1877. ABS=S(ADD,SUB,BCA);
  1878. SHL2NB=S(SHL1A,N2B);
  1879. SH=S(SHL1A,SHR1A);
  1880. COIMPL=S(SUB,I12,I22);
  1881. GE=S(NSG,BCA);
  1882. CD=S(AB,I35,I45);
  1883. OR=S(MAX,I12,I22);
  1884. LEB=S(MULT,I22,GE);
  1885. I35=S(I[1,1],I[3,5]);
  1886. H2=S(LE,SHL2NB,I12);
  1887. I34=S(I[1,1],I[3,4]);
  1888. SF032=S(ADD,I55,G026);
  1889. SHL3C=S(SHL1A,I33);
  1890. LA=S(MULT,I12,LT);
  1891. NEQ=S(SG,ABS);
  1892. SHR3C=S(SHR1A,I33);
  1893. 51
  1894.  
  1895.  
  1896. f113.RF
  1897.  
  1898. 0
  1899.  
  1900.  
  1901. F148.RF
  1902.  
  1903. I44=S(I[1,1],I[4,4]);
  1904. NAND=S(NOT,AND);
  1905. EQ=S(NSG,ABS);
  1906. I14=S(I[1,1],I[1,4]);
  1907. NOR=S(NOT,OR);
  1908. I24=S(I[1,1],I[2,4]);
  1909. ABS=S(ADD,SUB,BCA);
  1910. I34=S(I[1,1],I[3,4]);
  1911. NEQ=S(SG,ABS);
  1912. 9
  1913.  
  1914.  
  1915. Kolos_M._Domashnee_zadanie_N2._Rekursiv_2014-12-14-17-26-44.RF
  1916.  
  1917. 0
  1918.  
  1919.  
  1920. Kurzenko_I._Domashnee_zadanie_N2._Rekursiv_2014-12-18-22-52-23.RF
  1921.  
  1922. I44=S(I[1,1],I[4,4]);
  1923. I14=S(I[1,1],I[1,4]);
  1924. I24=S(I[1,1],I[2,4]);
  1925. I34=S(I[1,1],I[3,4]);
  1926. 4
  1927.  
  1928.  
  1929. Morozov_I._Domashnee_zadanie_N2._Rekursiv_2014-12-20-19-55-18.RF
  1930.  
  1931. IMPL=S(NOT,COIMPL);
  1932. IMPR=S(NOT,COIMPR);
  1933. I44=S(I[1,1],I[4,4]);
  1934. LT=S(SG,BCA);
  1935. NAND=S(NOT,AND);
  1936. EQ=S(NSG,ABS);
  1937. I14=S(I[1,1],I[1,4]);
  1938. NOR=S(NOT,OR);
  1939. MIN=S(ADD,LA,LEB);
  1940. AND=S(MIN,I12,I22);
  1941. COIMPR=S(SUB,I22,I12);
  1942. I24=S(I[1,1],I[2,4]);
  1943. GE=S(NSG,BCA);
  1944. LEB=S(MULT,I22,GE);
  1945. I34=S(I[1,1],I[3,4]);
  1946. LA=S(MULT,I12,LT);
  1947. NEQ=S(SG,ABS);
  1948. 17
  1949.  
  1950.  
  1951. rec-1.RF
  1952.  
  1953. IMPL=S(NOT,COIMPL);
  1954. IMPR=S(NOT,COIMPR);
  1955. I44=S(I[1,1],I[4,4]);
  1956. NAND=S(NOT,AND);
  1957. EQ=S(NSG,ABS);
  1958. I14=S(I[1,1],I[1,4]);
  1959. NOR=S(NOT,OR);
  1960. COIMPR=S(SUB,I22,I12);
  1961. I24=S(I[1,1],I[2,4]);
  1962. COIMPL=S(SUB,I12,I22);
  1963. OR=S(MAX,I12,I22);
  1964. I34=S(I[1,1],I[3,4]);
  1965. NEQ=S(SG,ABS);
  1966. 13
  1967.  
  1968.  
  1969. REC.RF
  1970.  
  1971. I44=S(I[1,1],I[4,4]);
  1972. LT=S(SG,BCA);
  1973. I14=S(I[1,1],I[1,4]);
  1974. COIMPR=S(SUB,I22,I12);
  1975. I24=S(I[1,1],I[2,4]);
  1976. GE=S(NSG,BCA);
  1977. LEB=S(MULT,I22,GE);
  1978. I34=S(I[1,1],I[3,4]);
  1979. LA=S(MULT,I12,LT);
  1980. 9
  1981.  
  1982.  
  1983. Strikanov_V._Domashnee_zadanie_N2._Rekursiv_2014-12-20-22-49-25.RF
  1984.  
  1985. IMPL=S(NOT,COIMPL);
  1986. IMPR=S(NOT,COIMPR);
  1987. I44=S(I[1,1],I[4,4]);
  1988. ODD=S(SUB,I11,SH);
  1989. AEQVC = S(EQV,AD,CD);
  1990. SHR=R(I11,SHR3C);
  1991. N2B=S(N,I22);
  1992. AB=S(ODD,SHR);
  1993. AD=S(AB,I15,I45);
  1994. EQV=S(NOT,XOR);
  1995. I15=S(I[1,1],I[1,5]);
  1996. EQ=S(NSG,ABS);
  1997. I14=S(I[1,1],I[1,4]);
  1998. NOR=S(NOT,OR);
  1999. NOT=S(NSG,I11);
  2000. XOR=S(ABS,I12,I22);
  2001. SHR1A=M(H2);
  2002. COIMPR=S(SUB,I22,I12);
  2003. BD=S(AB,I25,I45);
  2004. I24=S(I[1,1],I[2,4]);
  2005. I25=S(I[1,1],I[2,5]);
  2006. ABS=S(ADD,SUB,BCA);
  2007. SHL2NB=S(SHL1A,N2B);
  2008. SH=S(SHL1A,SHR1A);
  2009. COIMPL=S(SUB,I12,I22);
  2010. CD=S(AB,I35,I45);
  2011. OR=S(MAX,I12,I22);
  2012. I35=S(I[1,1],I[3,5]);
  2013. H2=S(LE,SHL2NB,I12);
  2014. I34=S(I[1,1],I[3,4]);
  2015. AEQVB = S(EQV, AD, BD);
  2016. NEQ=S(SG,ABS);
  2017. SHR3C=S(SHR1A,I33);
  2018. 33
  2019.  
  2020.  
  2021. test
  2022.  
  2023. IMPL=S(NOT,COIMPL);
  2024. IMPR=S(NOT,COIMPR);
  2025. I44=S(I[1,1],I[4,4]);
  2026. NAND=S(NOT,AND);
  2027. EQV=S(NOT,XOR);
  2028. EQ=S(NSG,ABS);
  2029. I14=S(I[1,1],I[1,4]);
  2030. NOR=S(NOT,OR);
  2031. NOT=S(NSG,I11);
  2032. COIMPR=S(SUB,I22,I12);
  2033. I24=S(I[1,1],I[2,4]);
  2034. COIMPL=S(SUB,I12,I22);
  2035. I34=S(I[1,1],I[3,4]);
  2036. NEQ=S(SG,ABS);
  2037. 14
  2038.  
  2039.  
  2040. Рекурсия.RF
  2041.  
  2042. IMPR=S(NOT,COIMPR);
  2043. I44=S(I[1,1],I[4,4]);
  2044. LT=S(SG,BCA);
  2045. NAND=S(NOT,AND);
  2046. EQV=S(NOT,XOR);
  2047. EQ=S(NSG,ABS);
  2048. I14=S(I[1,1],I[1,4]);
  2049. NOR=S(NOT,OR);
  2050. MIN=S(ADD,LA,LEB);
  2051. AND=S(MIN,I12,I22);
  2052. COIMPR=S(SUB,I22,I12);
  2053. I24=S(I[1,1],I[2,4]);
  2054. GE=S(NSG,BCA);
  2055. OR=S(MAX,I12,I22);
  2056. LEB=S(MULT,I22,GE);
  2057. I34=S(I[1,1],I[3,4]);
  2058. LA=S(MULT,I12,LT);
  2059. NEQ=S(SG,ABS);
  2060. 18
Advertisement
Add Comment
Please, Sign In to add comment
Advertisement
Public Pastes
Advertisement
We use cookies for various purposes including analytics. By continuing to use Pastebin, you agree to our use of cookies as described in the Cookies Policy.  OK, I Understand
Not a member of Pastebin yet?
Sign Up, it unlocks many cool features!