home *** CD-ROM | disk | FTP | other *** search
/ OS/2 Shareware BBS: 10 Tools / 10-Tools.zip / lifeos2.zip / LIFE-1.02 / TESTS / REFOUT / DISJ7.REF < prev    next >
Text File  |  1996-06-04  |  934b  |  74 lines
  1.  
  2. *** Yes
  3. > > 11121314152122232425313233343541424344455152535455
  4. *** No
  5. > 121314151623242526273435363738454647484956575859510
  6. *** No
  7. > 122334455613243546571425364758152637485916273849510
  8. *** No
  9. > 
  10. *** Yes
  11. A = @, 
  12. B = @, 
  13. X = [s(5,10),
  14.      s(4,9),
  15.      s(3,8),
  16.      s(2,7),
  17.      s(1,6),
  18.      s(5,9),
  19.      s(4,8),
  20.      s(3,7),
  21.      s(2,6),
  22.      s(1,5),
  23.      s(5,8),
  24.      s(4,7),
  25.      s(3,6),
  26.      s(2,5),
  27.      s(1,4),
  28.      s(5,7),
  29.      s(4,6),
  30.      s(3,5),
  31.      s(2,4),
  32.      s(1,3),
  33.      s(5,6),
  34.      s(4,5),
  35.      s(3,4),
  36.      s(2,3),
  37.      s(1,2)].
  38.  
  39. --1> 
  40. *** No
  41. > 
  42. *** Yes
  43. A = @, 
  44. B = @, 
  45. X = [s(5,10),
  46.      s(5,9),
  47.      s(5,8),
  48.      s(5,7),
  49.      s(5,6),
  50.      s(4,9),
  51.      s(4,8),
  52.      s(4,7),
  53.      s(4,6),
  54.      s(4,5),
  55.      s(3,8),
  56.      s(3,7),
  57.      s(3,6),
  58.      s(3,5),
  59.      s(3,4),
  60.      s(2,7),
  61.      s(2,6),
  62.      s(2,5),
  63.      s(2,4),
  64.      s(2,3),
  65.      s(1,6),
  66.      s(1,5),
  67.      s(1,4),
  68.      s(1,3),
  69.      s(1,2)].
  70.  
  71. --1> 
  72. *** No
  73. > > 
  74.