home *** CD-ROM | disk | FTP | other *** search
/ Info-Mac 1992 August / info-mac-1992.iso / Language (lang) / Lazy-Scheme / Examples / TestandGenerate / cont9 < prev    next >
Encoding:
Text File  |  1990-02-22  |  2.8 KB  |  60 lines  |  [TEXT/Help]
  1. (c)
  2.  
  3. (r2 c s r1 i e r0 u n p q t)
  4.  
  5. ((=? (+ n (+ n q)) (+ t (* 10 r0)))
  6.  (=? (+ r0 (+ n (+ u u))) (+ p (* 10 r1)))
  7.  (=? (+ r1 i) (+ e (* 10 r2)))
  8.  (=? (+ r2 c) s)
  9.  (<>? u n) (<>? u c) (<>? u s)
  10.  (<>? u i) (<>? u e) (<>? u p)
  11.  (<>? u q) (<>? u t) (<>? n c)
  12.  (<>? n s) (<>? n i) (<>? n e)
  13.  (<>? n p) (<>? n q) (<>? n t)
  14.  (<>? c s) (<>? c i) (<>? c e)
  15.  (<>? c p) (<>? c q) (<>? c t)
  16.  (<>? s i) (<>? s e) (<>? s p)
  17.  (<>? s q) (<>? s t) (<>? i e)
  18.  (<>? i p) (<>? i q) (<>? i t)
  19.  (<>? e p) (<>? e q) (<>? e t)
  20.  (<>? p q) (<>? p t) (<>? q t)
  21.  (<>? u 0)(<>? c 0)(<>? s 0))
  22.  
  23. ((0 1)
  24.  (0 1 2 3 4 5 6 7 8 9)
  25. (0 1 2 3 4 5 6 7 8 9)
  26. (0 1)
  27. (0 1 2 3 4 5 6 7 8 9)
  28. (0 1 2 3 4 5 6 7 8 9)
  29. (0 1)
  30. (0 1 2 3 4 5 6 7 8 9)
  31. (0 1 2 3 4 5 6 7 8 9)
  32. (0 1 2 3 4 5 6 7 8 9)
  33. (0 1 2 3 4 5 6 7 8 9)
  34. (0 1 2 3 4 5 6 7 8 9))
  35. { = ƒ }
  36. Solution:«Env: «t=3»«q=5»«p=7»«n=4»«u=6»«r0=1»«e=0»«i=9»«r1=1»«s=2»«c=1»«r2=1» Then ()»
  37. Solution:«Env: «t=6»«q=4»«p=5»«n=1»«u=7»«r0=0»«e=0»«i=9»«r1=1»«s=3»«c=2»«r2=1» Then ()»
  38. Solution:«Env: «t=8»«q=6»«p=5»«n=1»«u=7»«r0=0»«e=0»«i=9»«r1=1»«s=3»«c=2»«r2=1» Then ()»
  39. Solution:«Env: «t=6»«q=4»«p=7»«n=1»«u=8»«r0=0»«e=0»«i=9»«r1=1»«s=3»«c=2»«r2=1» Then ()»
  40. Solution:«Env: «t=5»«q=1»«p=6»«n=7»«u=4»«r0=1»«e=0»«i=9»«r1=1»«s=3»«c=2»«r2=1» Then ()»
  41. Solution:«Env: «t=8»«q=6»«p=5»«n=1»«u=7»«r0=0»«e=0»«i=9»«r1=1»«s=4»«c=3»«r2=1» Then ()»
  42. Solution:«Env: «t=5»«q=1»«p=6»«n=2»«u=7»«r0=0»«e=0»«i=9»«r1=1»«s=4»«c=3»«r2=1» Then ()»
  43. Solution:«Env: «t=7»«q=5»«p=1»«n=6»«u=2»«r0=1»«e=0»«i=9»«r1=1»«s=4»«c=3»«r2=1» Then ()»
  44. Solution:«Env: «t=6»«q=2»«p=8»«n=7»«u=5»«r0=1»«e=0»«i=9»«r1=1»«s=4»«c=3»«r2=1» Then ()»
  45. Solution:«Env: «t=1»«q=7»«p=5»«n=2»«u=6»«r0=1»«e=0»«i=9»«r1=1»«s=4»«c=3»«r2=1» Then ()»
  46. Solution:«Env: «t=7»«q=1»«p=3»«n=8»«u=2»«r0=1»«e=0»«i=9»«r1=1»«s=5»«c=4»«r2=1» Then ()»
  47. Solution:«Env: «t=2»«q=6»«p=8»«n=3»«u=7»«r0=1»«e=0»«i=9»«r1=1»«s=5»«c=4»«r2=1» Then ()»
  48. Solution:«Env: «t=8»«q=2»«p=1»«n=3»«u=4»«r0=0»«e=0»«i=9»«r1=1»«s=6»«c=5»«r2=1» Then ()»
  49. Solution:«Env: «t=4»«q=2»«p=7»«n=1»«u=8»«r0=0»«e=0»«i=9»«r1=1»«s=6»«c=5»«r2=1» Then ()»
  50. Solution:«Env: «t=7»«q=1»«p=3»«n=8»«u=2»«r0=1»«e=0»«i=9»«r1=1»«s=6»«c=5»«r2=1» Then ()»
  51. Solution:«Env: «t=8»«q=2»«p=1»«n=3»«u=4»«r0=0»«e=0»«i=9»«r1=1»«s=7»«c=6»«r2=1» Then ()»
  52. Solution:«Env: «t=1»«q=5»«p=2»«n=3»«u=4»«r0=1»«e=0»«i=9»«r1=1»«s=7»«c=6»«r2=1» Then ()»
  53. Solution:«Env: «t=4»«q=2»«p=3»«n=1»«u=6»«r0=0»«e=0»«i=9»«r1=1»«s=8»«c=7»«r2=1» Then ()»
  54. Solution:«Env: «t=5»«q=1»«p=4»«n=2»«u=6»«r0=0»«e=0»«i=9»«r1=1»«s=8»«c=7»«r2=1» Then ()»
  55. Solution:«Env: «t=5»«q=3»«p=1»«n=6»«u=2»«r0=1»«e=0»«i=9»«r1=1»«s=8»«c=7»«r2=1» Then ()»
  56. Solution:«Env: «t=1»«q=5»«p=2»«n=3»«u=4»«r0=1»«e=0»«i=9»«r1=1»«s=8»«c=7»«r2=1» Then ()»
  57. Solution:«Env: «t=3»«q=1»«p=5»«n=6»«u=4»«r0=1»«e=0»«i=9»«r1=1»«s=8»«c=7»«r2=1» Then ()»
  58. Solution:«Env: «t=2»«q=6»«p=4»«n=3»«u=5»«r0=1»«e=0»«i=9»«r1=1»«s=8»«c=7»«r2=1» Then ()»
  59.  
  60.