home *** CD-ROM | disk | FTP | other *** search
/ OS/2 Shareware BBS: 10 Tools / 10-Tools.zip / lifeos2.zip / LIFE-1.02 / TESTS / REFOUT / PROJECT1.REF < prev    next >
Text File  |  1996-06-04  |  33KB  |  929 lines
  1.  
  2. *** Yes
  3. > > 
  4. *** Yes
  5. A = @, B = @, C = @~.
  6. --1> 
  7. *** Yes
  8. A = @, B = @(f => A), C = f.
  9. ----2> 
  10. *** No
  11. A = @, B = @, C = @~.
  12. --1> 
  13. *** Yes
  14. A = @, B = @(g => A), C = g.
  15. ----2> > 
  16. *** Yes
  17. A = @, B = @~, C = @, D = @~.
  18. --1> 
  19. *** Yes
  20. A = @, B = @~~, C = @, D = B.
  21. ----2> 
  22. *** Yes
  23. A = @(a => _A), B = a, C = @(a => _A), D = B.
  24. ------3> 
  25. *** No
  26. A = @, B = @~~, C = @, D = B.
  27. ----2> 
  28. *** No
  29. A = @, B = @~, C = @, D = @~.
  30. --1> 
  31. *** Yes
  32. A = @(q => @), B = q, C = @, D = @~.
  33. ----2> 
  34. *** Yes
  35. A = @(q => _A), B = q, C = @(w => _A), D = w.
  36. ------3> 
  37. *** Yes
  38. A = @(q => _A,w => _A), B = q, C = A, D = w.
  39. --------4> > 
  40. *** Yes
  41. A = @, B = @~, C = @~, D = @~, E = @~.
  42. --1> 
  43. *** Yes
  44. A = @(4 => @), B = 4, C = @~, D = @~, E = @~.
  45. ----2> 
  46. *** Yes
  47. A = @(4 => _A,5 => _A), B = 4, C = @~, D = 5, E = @~.
  48. ------3> 
  49. *** Yes
  50. A = @(@,4 => _A,5 => _A), B = 4, C = 1, D = 5, E = @~.
  51. --------4> 
  52. *** Yes
  53. A = @(_A,_A,4 => _B,5 => _B), B = 4, C = 1, D = 5, E = 2.
  54. ----------5> 
  55. *** Yes
  56. A = @(_A,_A,x,_B,_B), B = 4, C = 1, D = 5, E = 2.
  57. ------------6> > 
  58. *** Yes
  59. A = @(a => @(b => @(c => @(d => X)))), X = @.
  60. --1> 
  61. *** Yes
  62. A = @(a => @(b => @(c => @(d => X))),d => @(c => @(b => @(a => X)))), X = @.
  63. ----2> 
  64. *** Yes
  65. A = @(a => @(b => @(c => @(d => X))),
  66.       d => @(b => @(c => @(a => X)),c => @(b => @(a => X)))), 
  67. X = @.
  68.  
  69. ------3> > 
  70. *** Yes
  71. A = @(a => @(b => @(c => @(d => X)))), X = @.
  72. --1> 
  73. *** Yes
  74. A = @(a => @(b => @(c => @(d => X))),b => @(a => @(c => @(d => X)))), X = @.
  75. ----2> 
  76. *** Yes
  77. A = @(a => @(b => @(c => @(d => X))),
  78.       b => @(a => @(c => @(d => X)),c => @(a => @(d => X)))), 
  79. X = @.
  80.  
  81. ------3> 
  82. *** Yes
  83. A = @(a => @(b => @(c => @(d => X))),
  84.       b => @(a => @(c => @(d => X)),c => @(a => @(d => X),d => @(a => X)))), 
  85. X = @.
  86.  
  87. --------4> 
  88. *** Yes
  89. A = @(a => @(b => @(c => @(d => X))),
  90.       b => @(a => @(c => @(d => X)),c => @(a => @(d => X),d => @(a => X))),
  91.       c => @(b => @(d => @(a => X)))), 
  92. X = @.
  93.  
  94. ----------5> 
  95. *** Yes
  96. A = @(a => @(b => @(c => @(d => X))),
  97.       b => @(a => @(c => @(d => X)),c => @(a => @(d => X),d => @(a => X))),
  98.       c => @(b => @(a => @(d => X),d => @(a => X)))), 
  99. X = @.
  100.  
  101. ------------6> 
  102. *** Yes
  103. A = @(a => @(b => @(c => @(d => X))),
  104.       b => @(a => @(c => @(d => X)),c => @(a => @(d => X),d => @(a => X))),
  105.       c => @(a => @(b => @(d => X)),b => @(a => @(d => X),d => @(a => X)))), 
  106. X = @.
  107.  
  108. --------------7> 
  109. *** Yes
  110. A = @(a => @(b => @(c => @(d => X)),c => @(b => @(d => X))),
  111.       b => @(a => @(c => @(d => X)),c => @(a => @(d => X),d => @(a => X))),
  112.       c => @(a => @(b => @(d => X)),b => @(a => @(d => X),d => @(a => X)))), 
  113. X = @.
  114.  
  115. ----------------8> 
  116. *** Yes
  117. A = @(a => @(b => @(c => @(d => X)),c => @(b => @(d => X),d => @(b => X))),
  118.       b => @(a => @(c => @(d => X)),c => @(a => @(d => X),d => @(a => X))),
  119.       c => @(a => @(b => @(d => X)),b => @(a => @(d => X),d => @(a => X)))), 
  120. X = @.
  121.  
  122. ------------------9> 
  123. *** Yes
  124. A = @(a => @(b => @(c => @(d => X)),c => @(b => @(d => X),d => @(b => X))),
  125.       b => @(a => @(c => @(d => X)),c => @(a => @(d => X),d => @(a => X))),
  126.       c => @(a => @(b => @(d => X),d => @(b => X)),
  127.              b => @(a => @(d => X),d => @(a => X)))), 
  128. X = @.
  129.  
  130. --------------------10> 
  131. *** Yes
  132. A = @(a => @(b => @(c => @(d => X)),c => @(b => @(d => X),d => @(b => X))),
  133.       b => @(a => @(c => @(d => X)),c => @(a => @(d => X),d => @(a => X))),
  134.       c => @(a => @(b => @(d => X),d => @(b => X)),
  135.              b => @(a => @(d => X),d => @(a => X)),
  136.              d => @(a => @(b => X)))), 
  137. X = @.
  138.  
  139. ----------------------11> 
  140. *** Yes
  141. A = @(a => @(b => @(c => @(d => X)),c => @(b => @(d => X),d => @(b => X))),
  142.       b => @(a => @(c => @(d => X)),c => @(a => @(d => X),d => @(a => X))),
  143.       c => @(a => @(b => @(d => X),d => @(b => X)),
  144.              b => @(a => @(d => X),d => @(a => X)),
  145.              d => @(a => @(b => X),b => @(a => X)))), 
  146. X = @.
  147.  
  148. ------------------------12> 
  149. *** Yes
  150. A = @(a => @(b => @(c => @(d => X)),c => @(b => @(d => X),d => @(b => X))),
  151.       b => @(a => @(c => @(d => X)),c => @(a => @(d => X),d => @(a => X))),
  152.       c => @(a => @(b => @(d => X),d => @(b => X)),
  153.              b => @(a => @(d => X),d => @(a => X)),
  154.              d => @(a => @(b => X),b => @(a => X))),
  155.       d => @(c => @(b => @(a => X)))), 
  156. X = @.
  157.  
  158. --------------------------13> 
  159. *** Yes
  160. A = @(a => @(b => @(c => @(d => X)),c => @(b => @(d => X),d => @(b => X))),
  161.       b => @(a => @(c => @(d => X)),c => @(a => @(d => X),d => @(a => X))),
  162.       c => @(a => @(b => @(d => X),d => @(b => X)),
  163.              b => @(a => @(d => X),d => @(a => X)),
  164.              d => @(a => @(b => X),b => @(a => X))),
  165.       d => @(c => @(a => @(b => X),b => @(a => X)))), 
  166. X = @.
  167.  
  168. ----------------------------14> 
  169. *** Yes
  170. A = @(a => @(b => @(c => @(d => X)),c => @(b => @(d => X),d => @(b => X))),
  171.       b => @(a => @(c => @(d => X)),c => @(a => @(d => X),d => @(a => X))),
  172.       c => @(a => @(b => @(d => X),d => @(b => X)),
  173.              b => @(a => @(d => X),d => @(a => X)),
  174.              d => @(a => @(b => X),b => @(a => X))),
  175.       d => @(a => @(c => @(b => X)),c => @(a => @(b => X),b => @(a => X)))), 
  176. X = @.
  177.  
  178. ------------------------------15> 
  179. *** Yes
  180. A = @(a => @(b => @(c => @(d => X)),
  181.              c => @(b => @(d => X),d => @(b => X)),
  182.              d => @(c => @(b => X))),
  183.       b => @(a => @(c => @(d => X)),c => @(a => @(d => X),d => @(a => X))),
  184.       c => @(a => @(b => @(d => X),d => @(b => X)),
  185.              b => @(a => @(d => X),d => @(a => X)),
  186.              d => @(a => @(b => X),b => @(a => X))),
  187.       d => @(a => @(c => @(b => X)),c => @(a => @(b => X),b => @(a => X)))), 
  188. X = @.
  189.  
  190. --------------------------------16> 
  191. *** Yes
  192. A = @(a => @(b => @(c => @(d => X)),
  193.              c => @(b => @(d => X),d => @(b => X)),
  194.              d => @(b => @(c => X),c => @(b => X))),
  195.       b => @(a => @(c => @(d => X)),c => @(a => @(d => X),d => @(a => X))),
  196.       c => @(a => @(b => @(d => X),d => @(b => X)),
  197.              b => @(a => @(d => X),d => @(a => X)),
  198.              d => @(a => @(b => X),b => @(a => X))),
  199.       d => @(a => @(c => @(b => X)),c => @(a => @(b => X),b => @(a => X)))), 
  200. X = @.
  201.  
  202. ----------------------------------17> 
  203. *** Yes
  204. A = @(a => @(b => @(c => @(d => X)),
  205.              c => @(b => @(d => X),d => @(b => X)),
  206.              d => @(b => @(c => X),c => @(b => X))),
  207.       b => @(a => @(c => @(d => X)),c => @(a => @(d => X),d => @(a => X))),
  208.       c => @(a => @(b => @(d => X),d => @(b => X)),
  209.              b => @(a => @(d => X),d => @(a => X)),
  210.              d => @(a => @(b => X),b => @(a => X))),
  211.       d => @(a => @(b => @(c => X),c => @(b => X)),
  212.              c => @(a => @(b => X),b => @(a => X)))), 
  213. X = @.
  214.  
  215. ------------------------------------18> 
  216. *** Yes
  217. A = @(a => @(b => @(c => @(d => X)),
  218.              c => @(b => @(d => X),d => @(b => X)),
  219.              d => @(b => @(c => X),c => @(b => X))),
  220.       b => @(a => @(c => @(d => X)),c => @(a => @(d => X),d => @(a => X))),
  221.       c => @(a => @(b => @(d => X),d => @(b => X)),
  222.              b => @(a => @(d => X),d => @(a => X)),
  223.              d => @(a => @(b => X),b => @(a => X))),
  224.       d => @(a => @(b => @(c => X),c => @(b => X)),
  225.              b => @(a => @(c => X)),
  226.              c => @(a => @(b => X),b => @(a => X)))), 
  227. X = @.
  228.  
  229. --------------------------------------19> 
  230. *** Yes
  231. A = @(a => @(b => @(c => @(d => X)),
  232.              c => @(b => @(d => X),d => @(b => X)),
  233.              d => @(b => @(c => X),c => @(b => X))),
  234.       b => @(a => @(c => @(d => X)),c => @(a => @(d => X),d => @(a => X))),
  235.       c => @(a => @(b => @(d => X),d => @(b => X)),
  236.              b => @(a => @(d => X),d => @(a => X)),
  237.              d => @(a => @(b => X),b => @(a => X))),
  238.       d => @(a => @(b => @(c => X),c => @(b => X)),
  239.              b => @(a => @(c => X),c => @(a => X)),
  240.              c => @(a => @(b => X),b => @(a => X)))), 
  241. X = @.
  242.  
  243. ----------------------------------------20> 
  244. *** Yes
  245. A = @(a => @(b => @(c => @(d => X)),
  246.              c => @(b => @(d => X),d => @(b => X)),
  247.              d => @(b => @(c => X),c => @(b => X))),
  248.       b => @(a => @(c => @(d => X)),
  249.              c => @(a => @(d => X),d => @(a => X)),
  250.              d => @(c => @(a => X))),
  251.       c => @(a => @(b => @(d => X),d => @(b => X)),
  252.              b => @(a => @(d => X),d => @(a => X)),
  253.              d => @(a => @(b => X),b => @(a => X))),
  254.       d => @(a => @(b => @(c => X),c => @(b => X)),
  255.              b => @(a => @(c => X),c => @(a => X)),
  256.              c => @(a => @(b => X),b => @(a => X)))), 
  257. X = @.
  258.  
  259. ------------------------------------------21> 
  260. *** Yes
  261. A = @(a => @(b => @(c => @(d => X)),
  262.              c => @(b => @(d => X),d => @(b => X)),
  263.              d => @(b => @(c => X),c => @(b => X))),
  264.       b => @(a => @(c => @(d => X)),
  265.              c => @(a => @(d => X),d => @(a => X)),
  266.              d => @(a => @(c => X),c => @(a => X))),
  267.       c => @(a => @(b => @(d => X),d => @(b => X)),
  268.              b => @(a => @(d => X),d => @(a => X)),
  269.              d => @(a => @(b => X),b => @(a => X))),
  270.       d => @(a => @(b => @(c => X),c => @(b => X)),
  271.              b => @(a => @(c => X),c => @(a => X)),
  272.              c => @(a => @(b => X),b => @(a => X)))), 
  273. X = @.
  274.  
  275. --------------------------------------------22> 
  276. *** Yes
  277. A = @(a => @(b => @(c => @(d => X)),
  278.              c => @(b => @(d => X),d => @(b => X)),
  279.              d => @(b => @(c => X),c => @(b => X))),
  280.       b => @(a => @(c => @(d => X),d => @(c => X)),
  281.              c => @(a => @(d => X),d => @(a => X)),
  282.              d => @(a => @(c => X),c => @(a => X))),
  283.       c => @(a => @(b => @(d => X),d => @(b => X)),
  284.              b => @(a => @(d => X),d => @(a => X)),
  285.              d => @(a => @(b => X),b => @(a => X))),
  286.       d => @(a => @(b => @(c => X),c => @(b => X)),
  287.              b => @(a => @(c => X),c => @(a => X)),
  288.              c => @(a => @(b => X),b => @(a => X)))), 
  289. X = @.
  290.  
  291. ----------------------------------------------23> 
  292. *** Yes
  293. A = @(a => @(b => @(c => @(d => X),d => @(c => X)),
  294.              c => @(b => @(d => X),d => @(b => X)),
  295.              d => @(b => @(c => X),c => @(b => X))),
  296.       b => @(a => @(c => @(d => X),d => @(c => X)),
  297.              c => @(a => @(d => X),d => @(a => X)),
  298.              d => @(a => @(c => X),c => @(a => X))),
  299.       c => @(a => @(b => @(d => X),d => @(b => X)),
  300.              b => @(a => @(d => X),d => @(a => X)),
  301.              d => @(a => @(b => X),b => @(a => X))),
  302.       d => @(a => @(b => @(c => X),c => @(b => X)),
  303.              b => @(a => @(c => X),c => @(a => X)),
  304.              c => @(a => @(b => X),b => @(a => X)))), 
  305. X = @.
  306.  
  307. ------------------------------------------------24> 
  308. *** Yes
  309. A = @(a => @(b => @(c => @(d => X),d => X),
  310.              c => @(b => @(d => X),d => @(b => X)),
  311.              d => @(b => X,c => @(b => X))),
  312.       b => @(a => @(c => @(d => X),d => X),
  313.              c => @(a => @(d => X),d => @(a => X)),
  314.              d => @(a => X,c => @(a => X))),
  315.       c => A,
  316.       d => @(a => @(b => X,c => @(b => X)),
  317.              b => @(a => X,c => @(a => X)),
  318.              c => @(a => @(b => X),b => @(a => X)))), 
  319. X = @(c => X).
  320.  
  321. --------------------------------------------------25> 
  322. *** Yes
  323. A = @(a => @(b => X,
  324.              c => @(b => X,d => @(b => X)),
  325.              d => @(b => X,c => @(b => X))),
  326.       b => @(a => X,
  327.              c => @(a => X,d => @(a => X)),
  328.              d => @(a => X,c => @(a => X))),
  329.       c => A,
  330.       d => A), 
  331. X = @(c => X,d => X).
  332.  
  333. ----------------------------------------------------26> 
  334. *** Yes
  335. A = @(a => X,b => A,c => A,d => A), X = @(b => X,c => X,d => X).
  336. ------------------------------------------------------27> 
  337. *** Yes
  338. A = @(a => A,b => A,c => A,d => A), X = A.
  339. --------------------------------------------------------28> > 
  340. *** Yes
  341. A = @(c => @(d => @(a => @(b => X)))), X = @.
  342. --1> 
  343. *** Yes
  344. A = @(c => @(d => @(a => @(b => X))),d => @(a => @(c => @(b => X)))), X = @.
  345. ----2> 
  346. *** Yes
  347. A = @(b => @(a => @(c => @(d => X))),
  348.       c => @(d => @(a => @(b => X))),
  349.       d => @(a => @(c => @(b => X)))), 
  350. X = @.
  351.  
  352. ------3> 
  353. *** Yes
  354. A = @(b => @(a => @(c => @(d => X))),
  355.       c => @(d => @(a => @(b => X))),
  356.       d => @(a => @(b => @(c => X),c => @(b => X)))), 
  357. X = @.
  358.  
  359. --------4> 
  360. *** Yes
  361. A = @(b => @(a => @(c => @(d => X))),
  362.       c => @(d => @(a => @(b => X))),
  363.       d => @(a => @(b => @(c => X),c => @(b => X)),b => @(a => @(c => X)))), 
  364. X = @.
  365.  
  366. ----------5> 
  367. *** Yes
  368. A = @(a => @(b => @(d => @(c => X))),
  369.       b => @(a => @(c => @(d => X))),
  370.       c => @(d => @(a => @(b => X))),
  371.       d => @(a => @(b => @(c => X),c => @(b => X)),b => @(a => @(c => X)))), 
  372. X = @.
  373.  
  374. ------------6> 
  375. *** Yes
  376. A = @(a => @(b => @(d => @(c => X))),
  377.       b => @(a => @(c => @(d => X)),c => @(d => @(a => X))),
  378.       c => @(d => @(a => @(b => X))),
  379.       d => @(a => @(b => @(c => X),c => @(b => X)),b => @(a => @(c => X)))), 
  380. X = @.
  381.  
  382. --------------7> 
  383. *** Yes
  384. A = @(a => @(b => @(d => @(c => X))),
  385.       b => @(a => @(c => @(d => X)),
  386.              c => @(d => @(a => X)),
  387.              d => @(a => @(c => X))),
  388.       c => @(d => @(a => @(b => X))),
  389.       d => @(a => @(b => @(c => X),c => @(b => X)),b => @(a => @(c => X)))), 
  390. X = @.
  391.  
  392. ----------------8> 
  393. *** Yes
  394. A = @(a => @(b => @(d => @(c => X))),
  395.       b => @(a => @(c => @(d => X)),
  396.              c => @(a => @(d => X),d => @(a => X)),
  397.              d => @(a => @(c => X))),
  398.       c => @(d => @(a => @(b => X))),
  399.       d => @(a => @(b => @(c => X),c => @(b => X)),b => @(a => @(c => X)))), 
  400. X = @.
  401.  
  402. ------------------9> 
  403. *** Yes
  404. A = @(a => @(b => @(d => @(c => X))),
  405.       b => @(a => @(c => @(d => X)),
  406.              c => @(a => @(d => X),d => @(a => X)),
  407.              d => @(a => @(c => X))),
  408.       c => @(d => @(a => @(b => X),b => @(a => X))),
  409.       d => @(a => @(b => @(c => X),c => @(b => X)),b => @(a => @(c => X)))), 
  410. X = @.
  411.  
  412. --------------------10> 
  413. *** Yes
  414. A = @(a => @(b => @(d => @(c => X))),
  415.       b => @(a => @(c => @(d => X)),
  416.              c => @(a => @(d => X),d => @(a => X)),
  417.              d => @(a => @(c => X))),
  418.       c => @(d => @(a => @(b => X),b => @(a => X))),
  419.       d => @(a => @(b => @(c => X),c => @(b => X)),
  420.              b => @(a => @(c => X)),
  421.              c => @(b => @(a => X)))), 
  422. X = @.
  423.  
  424. ----------------------11> 
  425. *** Yes
  426. A = @(a => @(b => @(d => @(c => X))),
  427.       b => @(a => @(c => @(d => X)),
  428.              c => @(a => @(d => X),d => @(a => X)),
  429.              d => @(a => @(c => X))),
  430.       c => @(d => @(a => @(b => X),b => @(a => X))),
  431.       d => @(a => @(b => @(c => X),c => @(b => X)),
  432.              b => @(a => @(c => X)),
  433.              c => @(a => @(b => X),b => @(a => X)))), 
  434. X = @.
  435.  
  436. ------------------------12> 
  437. *** Yes
  438. A = @(a => @(b => @(d => @(c => X))),
  439.       b => @(a => @(c => @(d => X)),
  440.              c => @(a => @(d => X),d => @(a => X)),
  441.              d => @(a => @(c => X))),
  442.       c => @(b => @(d => @(a => X)),d => @(a => @(b => X),b => @(a => X))),
  443.       d => @(a => @(b => @(c => X),c => @(b => X)),
  444.              b => @(a => @(c => X)),
  445.              c => @(a => @(b => X),b => @(a => X)))), 
  446. X = @.
  447.  
  448. --------------------------13> 
  449. *** Yes
  450. A = @(a => @(b => @(d => @(c => X))),
  451.       b => @(a => @(c => @(d => X)),
  452.              c => @(a => @(d => X),d => @(a => X)),
  453.              d => @(a => @(c => X),c => @(a => X))),
  454.       c => @(b => @(d => @(a => X)),d => @(a => @(b => X),b => @(a => X))),
  455.       d => @(a => @(b => @(c => X),c => @(b => X)),
  456.              b => @(a => @(c => X)),
  457.              c => @(a => @(b => X),b => @(a => X)))), 
  458. X = @.
  459.  
  460. ----------------------------14> 
  461. *** Yes
  462. A = @(a => @(b => @(d => @(c => X)),d => @(c => @(b => X))),
  463.       b => @(a => @(c => @(d => X)),
  464.              c => @(a => @(d => X),d => @(a => X)),
  465.              d => @(a => @(c => X),c => @(a => X))),
  466.       c => @(b => @(d => @(a => X)),d => @(a => @(b => X),b => @(a => X))),
  467.       d => @(a => @(b => @(c => X),c => @(b => X)),
  468.              b => @(a => @(c => X)),
  469.              c => @(a => @(b => X),b => @(a => X)))), 
  470. X = @.
  471.  
  472. ------------------------------15> 
  473. *** Yes
  474. A = @(a => @(b => @(d => @(c => X)),d => @(c => @(b => X))),
  475.       b => @(a => @(c => @(d => X)),
  476.              c => @(a => @(d => X),d => @(a => X)),
  477.              d => @(a => @(c => X),c => @(a => X))),
  478.       c => @(b => @(a => @(d => X),d => @(a => X)),
  479.              d => @(a => @(b => X),b => @(a => X))),
  480.       d => @(a => @(b => @(c => X),c => @(b => X)),
  481.              b => @(a => @(c => X)),
  482.              c => @(a => @(b => X),b => @(a => X)))), 
  483. X = @.
  484.  
  485. --------------------------------16> 
  486. *** Yes
  487. A = @(a => @(b => @(c => @(d => X),d => @(c => X)),d => @(c => @(b => X))),
  488.       b => @(a => @(c => @(d => X)),
  489.              c => @(a => @(d => X),d => @(a => X)),
  490.              d => @(a => @(c => X),c => @(a => X))),
  491.       c => @(b => @(a => @(d => X),d => @(a => X)),
  492.              d => @(a => @(b => X),b => @(a => X))),
  493.       d => @(a => @(b => @(c => X),c => @(b => X)),
  494.              b => @(a => @(c => X)),
  495.              c => @(a => @(b => X),b => @(a => X)))), 
  496. X = @.
  497.  
  498. ----------------------------------17> 
  499. *** Yes
  500. A = @(a => @(b => @(c => @(d => X),d => @(c => X)),d => @(c => @(b => X))),
  501.       b => @(a => @(c => @(d => X)),
  502.              c => @(a => @(d => X),d => @(a => X)),
  503.              d => @(a => @(c => X),c => @(a => X))),
  504.       c => @(b => @(a => @(d => X),d => @(a => X)),
  505.              d => @(a => @(b => X),b => @(a => X))),
  506.       d => @(a => @(b => @(c => X),c => @(b => X)),
  507.              b => @(a => @(c => X),c => @(a => X)),
  508.              c => @(a => @(b => X),b => @(a => X)))), 
  509. X = @.
  510.  
  511. ------------------------------------18> 
  512. *** Yes
  513. A = @(a => @(b => @(c => @(d => X),d => @(c => X)),d => @(c => @(b => X))),
  514.       b => @(a => @(c => @(d => X),d => @(c => X)),
  515.              c => @(a => @(d => X),d => @(a => X)),
  516.              d => @(a => @(c => X),c => @(a => X))),
  517.       c => @(b => @(a => @(d => X),d => @(a => X)),
  518.              d => @(a => @(b => X),b => @(a => X))),
  519.       d => @(a => @(b => @(c => X),c => @(b => X)),
  520.              b => @(a => @(c => X),c => @(a => X)),
  521.              c => @(a => @(b => X),b => @(a => X)))), 
  522. X = @.
  523.  
  524. --------------------------------------19> 
  525. *** Yes
  526. A = @(a => @(b => @(c => @(d => X),d => @(c => X)),
  527.              c => @(b => @(d => X)),
  528.              d => @(c => @(b => X))),
  529.       b => @(a => @(c => @(d => X),d => @(c => X)),
  530.              c => @(a => @(d => X),d => @(a => X)),
  531.              d => @(a => @(c => X),c => @(a => X))),
  532.       c => @(b => @(a => @(d => X),d => @(a => X)),
  533.              d => @(a => @(b => X),b => @(a => X))),
  534.       d => @(a => @(b => @(c => X),c => @(b => X)),
  535.              b => @(a => @(c => X),c => @(a => X)),
  536.              c => @(a => @(b => X),b => @(a => X)))), 
  537. X = @.
  538.  
  539. ----------------------------------------20> 
  540. *** Yes
  541. A = @(a => @(b => @(c => @(d => X),d => @(c => X)),
  542.              c => @(b => @(d => X),d => @(b => X)),
  543.              d => @(c => @(b => X))),
  544.       b => @(a => @(c => @(d => X),d => @(c => X)),
  545.              c => @(a => @(d => X),d => @(a => X)),
  546.              d => @(a => @(c => X),c => @(a => X))),
  547.       c => @(b => @(a => @(d => X),d => @(a => X)),
  548.              d => @(a => @(b => X),b => @(a => X))),
  549.       d => @(a => @(b => @(c => X),c => @(b => X)),
  550.              b => @(a => @(c => X),c => @(a => X)),
  551.              c => @(a => @(b => X),b => @(a => X)))), 
  552. X = @.
  553.  
  554. ------------------------------------------21> 
  555. *** Yes
  556. A = @(a => @(b => @(c => @(d => X),d => @(c => X)),
  557.              c => @(b => @(d => X),d => @(b => X)),
  558.              d => @(c => @(b => X))),
  559.       b => @(a => @(c => @(d => X),d => @(c => X)),
  560.              c => @(a => @(d => X),d => @(a => X)),
  561.              d => @(a => @(c => X),c => @(a => X))),
  562.       c => @(a => @(d => @(b => X)),
  563.              b => @(a => @(d => X),d => @(a => X)),
  564.              d => @(a => @(b => X),b => @(a => X))),
  565.       d => @(a => @(b => @(c => X),c => @(b => X)),
  566.              b => @(a => @(c => X),c => @(a => X)),
  567.              c => @(a => @(b => X),b => @(a => X)))), 
  568. X = @.
  569.  
  570. --------------------------------------------22> 
  571. *** Yes
  572. A = @(a => @(b => @(c => @(d => X),d => @(c => X)),
  573.              c => @(b => @(d => X),d => @(b => X)),
  574.              d => @(c => @(b => X))),
  575.       b => @(a => @(c => @(d => X),d => @(c => X)),
  576.              c => @(a => @(d => X),d => @(a => X)),
  577.              d => @(a => @(c => X),c => @(a => X))),
  578.       c => @(a => @(b => @(d => X),d => @(b => X)),
  579.              b => @(a => @(d => X),d => @(a => X)),
  580.              d => @(a => @(b => X),b => @(a => X))),
  581.       d => @(a => @(b => @(c => X),c => @(b => X)),
  582.              b => @(a => @(c => X),c => @(a => X)),
  583.              c => @(a => @(b => X),b => @(a => X)))), 
  584. X = @.
  585.  
  586. ----------------------------------------------23> 
  587. *** Yes
  588. A = @(a => @(b => @(c => @(d => X),d => @(c => X)),
  589.              c => @(b => @(d => X),d => @(b => X)),
  590.              d => @(b => @(c => X),c => @(b => X))),
  591.       b => @(a => @(c => @(d => X),d => @(c => X)),
  592.              c => @(a => @(d => X),d => @(a => X)),
  593.              d => @(a => @(c => X),c => @(a => X))),
  594.       c => @(a => @(b => @(d => X),d => @(b => X)),
  595.              b => @(a => @(d => X),d => @(a => X)),
  596.              d => @(a => @(b => X),b => @(a => X))),
  597.       d => @(a => @(b => @(c => X),c => @(b => X)),
  598.              b => @(a => @(c => X),c => @(a => X)),
  599.              c => @(a => @(b => X),b => @(a => X)))), 
  600. X = @.
  601.  
  602. ------------------------------------------------24> 
  603. *** Yes
  604. A = @(a => @(b => @(c => X,d => @(c => X)),
  605.              c => @(b => X,d => @(b => X)),
  606.              d => @(b => @(c => X),c => @(b => X))),
  607.       b => @(a => @(c => X,d => @(c => X)),
  608.              c => @(a => X,d => @(a => X)),
  609.              d => @(a => @(c => X),c => @(a => X))),
  610.       c => @(a => @(b => X,d => @(b => X)),
  611.              b => @(a => X,d => @(a => X)),
  612.              d => @(a => @(b => X),b => @(a => X))),
  613.       d => A), 
  614. X = @(d => X).
  615.  
  616. --------------------------------------------------25> 
  617. *** Yes
  618. A = @(a => A,
  619.       b => @(a => @(c => X,d => @(c => X)),
  620.              c => X,
  621.              d => @(a => @(c => X),c => X)),
  622.       c => @(a => @(b => X,d => @(b => X)),
  623.              b => X,
  624.              d => @(a => @(b => X),b => X)),
  625.       d => A), 
  626. X = @(a => X,d => X).
  627.  
  628. ----------------------------------------------------26> 
  629. *** Yes
  630. A = @(a => A,b => A,c => X,d => A), X = @(a => X,b => X,d => X).
  631. ------------------------------------------------------27> 
  632. *** Yes
  633. A = @(a => A,b => A,c => A,d => A), X = A.
  634. --------------------------------------------------------28> > 
  635. *** Yes
  636. A = @(c => @(d => @(a => @(b => X)))), X = @.
  637. --1> 
  638. *** Yes
  639. A = @(c => @(d => @(a => @(b => X))),d => @(a => @(b => @(c => X)))), X = @.
  640. ----2> 
  641. *** Yes
  642. A = @(c => @(d => @(a => @(b => X))),
  643.       d => @(a => @(b => @(c => X)),b => @(a => @(c => X)))), 
  644. X = @.
  645.  
  646. ------3> 
  647. *** Yes
  648. A = @(a => @(b => @(d => @(c => X))),
  649.       c => @(d => @(a => @(b => X))),
  650.       d => @(a => @(b => @(c => X)),b => @(a => @(c => X)))), 
  651. X = @.
  652.  
  653. --------4> 
  654. *** Yes
  655. A = @(a => @(b => @(d => @(c => X))),
  656.       b => @(c => @(d => @(a => X))),
  657.       c => @(d => @(a => @(b => X))),
  658.       d => @(a => @(b => @(c => X)),b => @(a => @(c => X)))), 
  659. X = @.
  660.  
  661. ----------5> 
  662. *** Yes
  663. A = @(a => @(b => @(d => @(c => X))),
  664.       b => @(c => @(d => @(a => X)),d => @(a => @(c => X))),
  665.       c => @(d => @(a => @(b => X))),
  666.       d => @(a => @(b => @(c => X)),b => @(a => @(c => X)))), 
  667. X = @.
  668.  
  669. ------------6> 
  670. *** Yes
  671. A = @(a => @(b => @(d => @(c => X))),
  672.       b => @(c => @(d => @(a => X)),d => @(a => @(c => X))),
  673.       c => @(b => @(d => @(a => X)),d => @(a => @(b => X))),
  674.       d => @(a => @(b => @(c => X)),b => @(a => @(c => X)))), 
  675. X = @.
  676.  
  677. --------------7> 
  678. *** Yes
  679. A = @(a => @(b => @(d => @(c => X))),
  680.       b => @(c => @(d => @(a => X)),d => @(a => @(c => X))),
  681.       c => @(b => @(d => @(a => X)),d => @(a => @(b => X))),
  682.       d => @(a => @(b => @(c => X),c => @(b => X)),b => @(a => @(c => X)))), 
  683. X = @.
  684.  
  685. ----------------8> 
  686. *** Yes
  687. A = @(a => @(b => @(d => @(c => X)),d => @(c => @(b => X))),
  688.       b => @(c => @(d => @(a => X)),d => @(a => @(c => X))),
  689.       c => @(b => @(d => @(a => X)),d => @(a => @(b => X))),
  690.       d => @(a => @(b => @(c => X),c => @(b => X)),b => @(a => @(c => X)))), 
  691. X = @.
  692.  
  693. ------------------9> 
  694. *** Yes
  695. A = @(a => @(b => @(d => @(c => X)),d => @(c => @(b => X))),
  696.       b => @(c => @(d => @(a => X)),d => @(a => @(c => X))),
  697.       c => @(b => @(a => @(d => X),d => @(a => X)),d => @(a => @(b => X))),
  698.       d => @(a => @(b => @(c => X),c => @(b => X)),b => @(a => @(c => X)))), 
  699. X = @.
  700.  
  701. --------------------10> 
  702. *** Yes
  703. A = @(a => @(b => @(c => @(d => X),d => @(c => X)),d => @(c => @(b => X))),
  704.       b => @(c => @(d => @(a => X)),d => @(a => @(c => X))),
  705.       c => @(b => @(a => @(d => X),d => @(a => X)),d => @(a => @(b => X))),
  706.       d => @(a => @(b => @(c => X),c => @(b => X)),b => @(a => @(c => X)))), 
  707. X = @.
  708.  
  709. ----------------------11> 
  710. *** Yes
  711. A = @(a => @(b => @(c => @(d => X),d => @(c => X)),d => @(c => @(b => X))),
  712.       b => @(c => @(d => @(a => X)),d => @(a => @(c => X))),
  713.       c => @(b => @(a => @(d => X),d => @(a => X)),d => @(a => @(b => X))),
  714.       d => @(a => @(b => @(c => X),c => @(b => X)),
  715.              b => @(a => @(c => X)),
  716.              c => @(a => @(b => X)))), 
  717. X = @.
  718.  
  719. ------------------------12> 
  720. *** Yes
  721. A = @(a => @(b => @(c => @(d => X),d => @(c => X)),d => @(c => @(b => X))),
  722.       b => @(c => @(d => @(a => X)),d => @(a => @(c => X))),
  723.       c => @(a => @(d => @(b => X)),
  724.              b => @(a => @(d => X),d => @(a => X)),
  725.              d => @(a => @(b => X))),
  726.       d => @(a => @(b => @(c => X),c => @(b => X)),
  727.              b => @(a => @(c => X)),
  728.              c => @(a => @(b => X)))), 
  729. X = @.
  730.  
  731. --------------------------13> 
  732. *** Yes
  733. A = @(a => @(b => @(c => @(d => X),d => @(c => X)),d => @(c => @(b => X))),
  734.       b => @(a => @(c => @(d => X)),
  735.              c => @(d => @(a => X)),
  736.              d => @(a => @(c => X))),
  737.       c => @(a => @(d => @(b => X)),
  738.              b => @(a => @(d => X),d => @(a => X)),
  739.              d => @(a => @(b => X))),
  740.       d => @(a => @(b => @(c => X),c => @(b => X)),
  741.              b => @(a => @(c => X)),
  742.              c => @(a => @(b => X)))), 
  743. X = @.
  744.  
  745. ----------------------------14> 
  746. *** Yes
  747. A = @(a => @(b => @(c => @(d => X),d => @(c => X)),d => @(c => @(b => X))),
  748.       b => @(a => @(c => @(d => X)),
  749.              c => @(d => @(a => X)),
  750.              d => @(a => @(c => X),c => @(a => X))),
  751.       c => @(a => @(d => @(b => X)),
  752.              b => @(a => @(d => X),d => @(a => X)),
  753.              d => @(a => @(b => X))),
  754.       d => @(a => @(b => @(c => X),c => @(b => X)),
  755.              b => @(a => @(c => X)),
  756.              c => @(a => @(b => X)))), 
  757. X = @.
  758.  
  759. ------------------------------15> 
  760. *** Yes
  761. A = @(a => @(b => @(c => @(d => X),d => @(c => X)),d => @(c => @(b => X))),
  762.       b => @(a => @(c => @(d => X)),
  763.              c => @(d => @(a => X)),
  764.              d => @(a => @(c => X),c => @(a => X))),
  765.       c => @(a => @(d => @(b => X)),
  766.              b => @(a => @(d => X),d => @(a => X)),
  767.              d => @(a => @(b => X))),
  768.       d => @(a => @(b => @(c => X),c => @(b => X)),
  769.              b => @(a => @(c => X),c => @(a => X)),
  770.              c => @(a => @(b => X)))), 
  771. X = @.
  772.  
  773. --------------------------------16> 
  774. *** Yes
  775. A = @(a => @(b => @(c => @(d => X),d => @(c => X)),d => @(c => @(b => X))),
  776.       b => @(a => @(c => @(d => X),d => @(c => X)),
  777.              c => @(d => @(a => X)),
  778.              d => @(a => @(c => X),c => @(a => X))),
  779.       c => @(a => @(d => @(b => X)),
  780.              b => @(a => @(d => X),d => @(a => X)),
  781.              d => @(a => @(b => X))),
  782.       d => @(a => @(b => @(c => X),c => @(b => X)),
  783.              b => @(a => @(c => X),c => @(a => X)),
  784.              c => @(a => @(b => X)))), 
  785. X = @.
  786.  
  787. ----------------------------------17> 
  788. *** Yes
  789. A = @(a => @(b => @(c => @(d => X),d => @(c => X)),d => @(c => @(b => X))),
  790.       b => @(a => @(c => @(d => X),d => @(c => X)),
  791.              c => @(d => @(a => X)),
  792.              d => @(a => @(c => X),c => @(a => X))),
  793.       c => @(a => @(b => @(d => X),d => @(b => X)),
  794.              b => @(a => @(d => X),d => @(a => X)),
  795.              d => @(a => @(b => X))),
  796.       d => @(a => @(b => @(c => X),c => @(b => X)),
  797.              b => @(a => @(c => X),c => @(a => X)),
  798.              c => @(a => @(b => X)))), 
  799. X = @.
  800.  
  801. ------------------------------------18> 
  802. *** Yes
  803. A = @(a => @(b => @(c => @(d => X),d => @(c => X)),
  804.              d => @(b => @(c => X),c => @(b => X))),
  805.       b => @(a => @(c => @(d => X),d => @(c => X)),
  806.              c => @(d => @(a => X)),
  807.              d => @(a => @(c => X),c => @(a => X))),
  808.       c => @(a => @(b => @(d => X),d => @(b => X)),
  809.              b => @(a => @(d => X),d => @(a => X)),
  810.              d => @(a => @(b => X))),
  811.       d => @(a => @(b => @(c => X),c => @(b => X)),
  812.              b => @(a => @(c => X),c => @(a => X)),
  813.              c => @(a => @(b => X)))), 
  814. X = @.
  815.  
  816. --------------------------------------19> 
  817. *** Yes
  818. A = @(a => @(b => @(c => @(d => X),d => @(c => X)),
  819.              c => @(b => @(d => X)),
  820.              d => @(b => @(c => X),c => @(b => X))),
  821.       b => @(a => @(c => @(d => X),d => @(c => X)),
  822.              c => @(d => @(a => X)),
  823.              d => @(a => @(c => X),c => @(a => X))),
  824.       c => @(a => @(b => @(d => X),d => @(b => X)),
  825.              b => @(a => @(d => X),d => @(a => X)),
  826.              d => @(a => @(b => X))),
  827.       d => @(a => @(b => @(c => X),c => @(b => X)),
  828.              b => @(a => @(c => X),c => @(a => X)),
  829.              c => @(a => @(b => X)))), 
  830. X = @.
  831.  
  832. ----------------------------------------20> 
  833. *** Yes
  834. A = @(a => @(b => @(c => @(d => X),d => @(c => X)),
  835.              c => @(b => @(d => X),d => @(b => X)),
  836.              d => @(b => @(c => X),c => @(b => X))),
  837.       b => @(a => @(c => @(d => X),d => @(c => X)),
  838.              c => @(d => @(a => X)),
  839.              d => @(a => @(c => X),c => @(a => X))),
  840.       c => @(a => @(b => @(d => X),d => @(b => X)),
  841.              b => @(a => @(d => X),d => @(a => X)),
  842.              d => @(a => @(b => X))),
  843.       d => @(a => @(b => @(c => X),c => @(b => X)),
  844.              b => @(a => @(c => X),c => @(a => X)),
  845.              c => @(a => @(b => X)))), 
  846. X = @.
  847.  
  848. ------------------------------------------21> 
  849. *** Yes
  850. A = @(a => @(b => @(c => @(d => X),d => @(c => X)),
  851.              c => @(b => @(d => X),d => @(b => X)),
  852.              d => @(b => @(c => X),c => @(b => X))),
  853.       b => @(a => @(c => @(d => X),d => @(c => X)),
  854.              c => @(a => @(d => X),d => @(a => X)),
  855.              d => @(a => @(c => X),c => @(a => X))),
  856.       c => @(a => @(b => @(d => X),d => @(b => X)),
  857.              b => @(a => @(d => X),d => @(a => X)),
  858.              d => @(a => @(b => X))),
  859.       d => @(a => @(b => @(c => X),c => @(b => X)),
  860.              b => @(a => @(c => X),c => @(a => X)),
  861.              c => @(a => @(b => X)))), 
  862. X = @.
  863.  
  864. --------------------------------------------22> 
  865. *** Yes
  866. A = @(a => @(b => @(c => @(d => X),d => @(c => X)),
  867.              c => @(b => @(d => X),d => @(b => X)),
  868.              d => @(b => @(c => X),c => @(b => X))),
  869.       b => @(a => @(c => @(d => X),d => @(c => X)),
  870.              c => @(a => @(d => X),d => @(a => X)),
  871.              d => @(a => @(c => X),c => @(a => X))),
  872.       c => @(a => @(b => @(d => X),d => @(b => X)),
  873.              b => @(a => @(d => X),d => @(a => X)),
  874.              d => @(a => @(b => X),b => @(a => X))),
  875.       d => @(a => @(b => @(c => X),c => @(b => X)),
  876.              b => @(a => @(c => X),c => @(a => X)),
  877.              c => @(a => @(b => X)))), 
  878. X = @.
  879.  
  880. ----------------------------------------------23> 
  881. *** Yes
  882. A = @(a => @(b => @(c => @(d => X),d => @(c => X)),
  883.              c => @(b => @(d => X),d => @(b => X)),
  884.              d => @(b => @(c => X),c => @(b => X))),
  885.       b => @(a => @(c => @(d => X),d => @(c => X)),
  886.              c => @(a => @(d => X),d => @(a => X)),
  887.              d => @(a => @(c => X),c => @(a => X))),
  888.       c => @(a => @(b => @(d => X),d => @(b => X)),
  889.              b => @(a => @(d => X),d => @(a => X)),
  890.              d => @(a => @(b => X),b => @(a => X))),
  891.       d => @(a => @(b => @(c => X),c => @(b => X)),
  892.              b => @(a => @(c => X),c => @(a => X)),
  893.              c => @(a => @(b => X),b => @(a => X)))), 
  894. X = @.
  895.  
  896. ------------------------------------------------24> 
  897. *** Yes
  898. A = @(a => @(b => @(c => X,d => @(c => X)),
  899.              c => @(b => X,d => @(b => X)),
  900.              d => @(b => @(c => X),c => @(b => X))),
  901.       b => @(a => @(c => X,d => @(c => X)),
  902.              c => @(a => X,d => @(a => X)),
  903.              d => @(a => @(c => X),c => @(a => X))),
  904.       c => @(a => @(b => X,d => @(b => X)),
  905.              b => @(a => X,d => @(a => X)),
  906.              d => @(a => @(b => X),b => @(a => X))),
  907.       d => A), 
  908. X = @(d => X).
  909.  
  910. --------------------------------------------------25> 
  911. *** Yes
  912. A = @(a => @(b => X,
  913.              c => @(b => X,d => @(b => X)),
  914.              d => @(b => X,c => @(b => X))),
  915.       b => @(a => X,
  916.              c => @(a => X,d => @(a => X)),
  917.              d => @(a => X,c => @(a => X))),
  918.       c => A,
  919.       d => A), 
  920. X = @(c => X,d => X).
  921.  
  922. ----------------------------------------------------26> 
  923. *** Yes
  924. A = @(a => A,b => X,c => A,d => A), X = @(a => X,c => X,d => X).
  925. ------------------------------------------------------27> 
  926. *** Yes
  927. A = @(a => A,b => A,c => A,d => A), X = A.
  928. --------------------------------------------------------28> > 
  929.