home *** CD-ROM | disk | FTP | other *** search
/ Frozen Fish 1: Amiga / FrozenFish-Apr94.iso / bbs / alib / d5xx / d524 / kamin.lha / Kamin / src.lzh / code.ssl.out < prev    next >
Text File  |  1991-06-28  |  3KB  |  447 lines
  1. -> -> <closure>
  2.  
  3. -> > > <closure>
  4.  
  5. -> <closure>
  6.  
  7. -> <closure>
  8.  
  9. -> <closure>
  10.  
  11. -> <closure>
  12.  
  13. -> <closure>
  14.  
  15. -> <closure>
  16.  
  17. -> <closure>
  18.  
  19. -> <closure>
  20.  
  21. -> > > <closure>
  22.  
  23. -> <closure>
  24.  
  25. -> <closure>
  26.  
  27. -> <closure>
  28.  
  29. -> <closure>
  30.  
  31. -> <closure>
  32.  
  33. -> <closure>
  34.  
  35. -> <closure>
  36.  
  37. -> <closure>
  38.  
  39. -> <closure>
  40.  
  41. -> <closure>
  42.  
  43. -> > > > <closure>
  44.  
  45. -> > > > > <closure>
  46.  
  47. -> ()
  48.  
  49. -> <closure>
  50.  
  51. -> <closure>
  52.  
  53. -> > <closure>
  54.  
  55. -> <closure>
  56.  
  57. -> -> <closure>
  58.  
  59. -> > <closure>
  60.  
  61. -> > > > <closure>
  62.  
  63. -> > <closure>
  64.  
  65. -> 6
  66.  
  67. -> 6
  68.  
  69. -> > <closure>
  70.  
  71. -> 9
  72.  
  73. -> 9
  74.  
  75. -> -> <closure>
  76.  
  77. -> <closure>
  78.  
  79. -> 6
  80.  
  81. -> 6
  82.  
  83. -> -> (... ...)
  84.  
  85. -> (... ...)
  86.  
  87. -> 3
  88.  
  89. -> 3
  90.  
  91. -> 4
  92.  
  93. -> 4
  94.  
  95. -> (3 4 ...)
  96.  
  97. -> (3 4 ...)
  98.  
  99. -> ()
  100.  
  101. -> ()
  102.  
  103. -> (3 4)
  104.  
  105. -> (3 4)
  106.  
  107. -> > <closure>
  108.  
  109. -> (... ...)
  110.  
  111. -> (... ...)
  112.  
  113. -> 0
  114.  
  115. -> 0
  116.  
  117. -> 1
  118.  
  119. -> 1
  120.  
  121. -> (0 1 ...)
  122.  
  123. -> (0 1 ...)
  124.  
  125. -> > > > <closure>
  126.  
  127. -> (... ...)
  128.  
  129. -> (... ...)
  130.  
  131. -> T
  132.  
  133. -> T
  134.  
  135. -> (3 4)
  136.  
  137. -> (3 4)
  138.  
  139. -> > > > <closure>
  140.  
  141. -> (... ...)
  142.  
  143. -> (... ...)
  144.  
  145. -> T
  146.  
  147. -> T
  148.  
  149. -> (0 1 2 3 4)
  150.  
  151. -> (0 1 2 3 4)
  152.  
  153. -> <closure>
  154.  
  155. -> <closure>
  156.  
  157. -> <closure>
  158.  
  159. -> > <closure>
  160.  
  161. -> > <closure>
  162.  
  163. -> > > <closure>
  164.  
  165. -> 10
  166.  
  167. -> 10
  168.  
  169. -> <closure>
  170.  
  171. -> > <closure>
  172.  
  173. -> 5
  174.  
  175. -> 5
  176.  
  177. -> > > > > <closure>
  178.  
  179. -> > > <closure>
  180.  
  181. -> <closure>
  182.  
  183. -> (... ...)
  184.  
  185. -> <closure>
  186.  
  187. -> (... ...)
  188.  
  189. -> T
  190.  
  191. -> (2 3 5 7 11)
  192.  
  193. -> -> <closure>
  194.  
  195. -> > > <closure>
  196.  
  197. -> > <closure>
  198.  
  199. -> <closure>
  200.  
  201. -> 6
  202.  
  203. -> 6
  204.  
  205. -> -> <closure>
  206.  
  207. -> > > > <closure>
  208.  
  209. -> <closure>
  210.  
  211. -> > <closure>
  212.  
  213. -> > <closure>
  214.  
  215. -> > > > <closure>
  216.  
  217. -> > <closure>
  218.  
  219. -> > > > <closure>
  220.  
  221. -> (... ...)
  222.  
  223. -> T
  224.  
  225. -> (Permutations of a b c)
  226.  
  227. -> ((a b c) (a c b) (b a c) (b c a) (c a b) (c b a))
  228.  
  229. -> <closure>
  230.  
  231. -> (2 ...)
  232.  
  233. -> T
  234.  
  235. -> (2 1 3 4)
  236.  
  237. -> (2 1 3 4)
  238.  
  239. -> -> (... ...)
  240.  
  241. -> (... ...)
  242.  
  243. -> > > <closure>
  244.  
  245. -> (... ...)
  246.  
  247. -> (... ...)
  248.  
  249. -> (... ...)
  250.  
  251. -> 6
  252.  
  253. -> 6
  254.  
  255. -> -> > > > > > > > > <closure>
  256.  
  257. -> > <closure>
  258.  
  259. -> > > <closure>
  260.  
  261. -> > > > <closure>
  262.  
  263. -> <closure>
  264.  
  265. -> <closure>
  266.  
  267. -> > > > > <closure>
  268.  
  269. -> > > > <closure>
  270.  
  271. -> Unsatisfiable
  272.  
  273. -> -> > <closure>
  274.  
  275. -> > > > <closure>
  276.  
  277. -> ((2 2) (0 1) (3 0))
  278.  
  279. -> ((2 2) (0 1) (3 0))
  280.  
  281. -> (... ...)
  282.  
  283. -> <closure>
  284.  
  285. -> <closure>
  286.  
  287. -> > > > <closure>
  288.  
  289. -> > > > <closure>
  290.  
  291. -> > > > <closure>
  292.  
  293. -> -> > <closure>
  294.  
  295. -> -> > <closure>
  296.  
  297. -> > > > > > <closure>
  298.  
  299. -> > > > <closure>
  300.  
  301. -> T
  302.  
  303. -> T
  304.  
  305. -> ()
  306.  
  307. -> ()
  308.  
  309. -> -> -> -> -> -> -> -> -> -> -> -> -> -> -> -> -> -> -> -> -> -> -> -> -> -> -> -> -> -> -> -> <closure>
  310.  
  311. -> <closure>
  312.  
  313. -> <closure>
  314.  
  315. -> a
  316.  
  317. -> a
  318.  
  319. -> <closure>
  320.  
  321. -> <closure>
  322.  
  323. -> 24
  324.  
  325. -> 24
  326.  
  327. -> <closure>
  328.  
  329. -> <closure>
  330.  
  331. -> <closure>
  332.  
  333. -> <closure>
  334.  
  335. -> <closure>
  336.  
  337. -> <closure>
  338.  
  339. -> <closure>
  340.  
  341. -> 3
  342.  
  343. -> 3
  344.  
  345. -> <closure>
  346.  
  347. -> > <closure>
  348.  
  349. -> 15
  350.  
  351. -> 15
  352.  
  353. -> <closure>
  354.  
  355. -> <closure>
  356.  
  357. -> <closure>
  358.  
  359. -> <closure>
  360.  
  361. -> 2
  362.  
  363. -> 2
  364.  
  365. -> <closure>
  366.  
  367. -> <closure>
  368.  
  369. -> <closure>
  370.  
  371. -> 3
  372.  
  373. -> 3
  374.  
  375. -> <closure>
  376.  
  377. -> <closure>
  378.  
  379. -> 6
  380.  
  381. -> 6
  382.  
  383. -> <closure>
  384.  
  385. -> <closure>
  386.  
  387. -> <closure>
  388.  
  389. -> <closure>
  390.  
  391. -> <closure>
  392.  
  393. -> 4
  394.  
  395. -> 4
  396.  
  397. -> <closure>
  398.  
  399. -> <closure>
  400.  
  401. -> > <closure>
  402.  
  403. -> <closure>
  404.  
  405. -> <closure>
  406.  
  407. -> > <closure>
  408.  
  409. -> yes
  410.  
  411. -> yes
  412.  
  413. -> no
  414.  
  415. -> no
  416.  
  417. -> > <closure>
  418.  
  419. -> 24
  420.  
  421. -> 24
  422.  
  423. -> > <closure>
  424.  
  425. -> <closure>
  426.  
  427. -> 24
  428.  
  429. -> 24
  430.  
  431. -> <closure>
  432.  
  433. -> <closure>
  434.  
  435. -> <closure>
  436.  
  437. -> 1
  438.  
  439. -> 1
  440.  
  441. -> > > <closure>
  442.  
  443. -> 24
  444.  
  445. -> 24
  446.  
  447. ->