(lazy-def   3 '(1+ 2))
(lazy-def   5 '(1+ 4))
(lazy-def   6 '(* 2 3))
(lazy-def   7 '(1+ 6))
(lazy-def   8 '(^ 2 3))
(lazy-def   9 '(^ 3 2))
(lazy-def  10 '(* 2 5))		; newline
(lazy-def  11 '(1+ 10))
(lazy-def  12 '(* 3 4))
(lazy-def  13 '(1+ 12))
(lazy-def  14 '(* 2 7))
(lazy-def  15 '(* 3 5))
(lazy-def  16 '((lambda (x) (x x x)) 2))
(lazy-def  17 '(1+ 16))
(lazy-def  18 '(1+ 17))
(lazy-def  19 '(1+ 18))
(lazy-def  20 '(* 4 5))
(lazy-def  21 '(+ 5 16))
(lazy-def  22 '(* 2 11))
(lazy-def  23 '(+ 7 16))
(lazy-def  24 '(* 4 6))
(lazy-def  25 '(^ 5 2))
(lazy-def  26 '(1+ 25))
(lazy-def  27 '((lambda (x) (x x)) 3))
(lazy-def  28 '(1+ 27))
(lazy-def  29 '(1+ 28))
(lazy-def  30 '(1+ 29))
(lazy-def  31 '(+ 4 27))
(lazy-def  32 '(* 2 16))
(lazy-def  33 '(1+ 32))
(lazy-def  34 '(* 2 17))
(lazy-def  35 '(1+ 34))
(lazy-def  36 '(^ 6 2))
(lazy-def  37 '(1+ 36))
(lazy-def  38 '(* 2 19))
(lazy-def  39 '(1+ 38))
(lazy-def  40 '(* 5 8))
(lazy-def  41 '(+ 16 25))
(lazy-def  42 '(* 2 21))
(lazy-def  43 '(+ 16 27))
(lazy-def  44 '(+ 17 27))
(lazy-def  45 '(* 5 9))
(lazy-def  46 '(1+ 45))
(lazy-def  47 '(1+ 46))
(lazy-def  48 '(* 3 16))
(lazy-def  49 '(1+ 48))
(lazy-def  50 '(* 2 25))
(lazy-def  51 '(* 3 17))
(lazy-def  52 '(* 2 26))
(lazy-def  53 '(1+ 52))
(lazy-def  54 '(* 2 27))
(lazy-def  55 '(1+ 54))
(lazy-def  56 '(* 2 28))
(lazy-def  57 '(1+ 56))
(lazy-def  58 '(* 2 29))
(lazy-def  59 '(1+ 58))
(lazy-def  60 '(* 2 30))
(lazy-def  61 '(1+ 60))
(lazy-def  62 '(* 2 31))
(lazy-def  63 '(1+ 62))
(lazy-def  64 '(^ 4 3))
(lazy-def  65 '(1+ 64))
(lazy-def  66 '(1+ 65))
(lazy-def  67 '(1+ 66))
(lazy-def  68 '(* 4 17))
(lazy-def  69 '(1+ 68))
(lazy-def  70 '(* 2 35))
(lazy-def  71 '(1+ 70))
(lazy-def  72 '(* 4 18))
(lazy-def  73 '(1+ 72))
(lazy-def  74 '(* 2 37))
(lazy-def  75 '(* 3 25))
(lazy-def  76 '(* 4 19))
(lazy-def  77 '(1+ 76))
(lazy-def  78 '(* 3 26))
(lazy-def  79 '(1+ 78))
(lazy-def  80 '(* 5 16))
(lazy-def  81 '(^ 3 4))
(lazy-def  82 '(1+ 81))
(lazy-def  83 '(1+ 82))
(lazy-def  84 '(* 3 28))
(lazy-def  85 '(* 5 17))
(lazy-def  86 '(1+ 85))
(lazy-def  87 '(* 3 29))
(lazy-def  88 '(1+ 87))
(lazy-def  89 '(+ 8 81))
(lazy-def  90 '(* 5 18))
(lazy-def  91 '(+ 27 64))
(lazy-def  92 '(+ 28 64))
(lazy-def  93 '(* 3 31))
(lazy-def  94 '(1+ 93))
(lazy-def  95 '(* 5 19))
(lazy-def  96 '(* 6 16))
(lazy-def  97 '(+ 16 81))
(lazy-def  98 '(* 2 49))
(lazy-def  99 '(* 3 33))
(lazy-def 100 '(^ 10 2))
(lazy-def 101 '(1+ 100))
(lazy-def 102 '(* 6 17))
(lazy-def 103 '(1+ 102))
(lazy-def 104 '(* 4 26))
(lazy-def 105 '(1+ 104))
(lazy-def 106 '(+ 25 81))
(lazy-def 107 '(+ 27 80))
(lazy-def 108 '(* 4 27))
(lazy-def 109 '(1+ 108))
(lazy-def 110 '(* 2 55))
(lazy-def 111 '(1+ 110))
(lazy-def 112 '(* 4 28))
(lazy-def 113 '(1+ 112))
(lazy-def 114 '(* 2 57))
(lazy-def 115 '(1+ 114))
(lazy-def 116 '(* 4 29))
(lazy-def 117 '(1+ 116))
(lazy-def 118 '(* 2 59))
(lazy-def 119 '(* 7 17))
(lazy-def 120 '(* 4 30))
(lazy-def 121 '(^ 11 2))
(lazy-def 122 '(1+ 121))
(lazy-def 123 '(1+ 122))
(lazy-def 124 '(* 4 31))
(lazy-def 125 '(^ 5 3))
(lazy-def 126 '(1+ 125))
(lazy-def 127 '(1+ 126))
(lazy-def 128 '(* 2 64))

 newline
(lazy-def   3 '(1+ 2))
(lazy-def   5 '(1+ 4))
(lazy-def   6 '(* 2 3))
(lazy-def   7 '(1+ 6))
(lazy-def   8 '(^ 2 3))
(lazy-def   9 '(^ 3 2))
(lazy-def  11 '(1+ 10))
(lazy-def  12 '(* 3 4))
(lazy-def  13 '(1+ 12))
(lazy-def  14 '(* 2 7))
(lazy-def  15 '(* 3 5))
(lazy-def  16 '((lambda (x) (x x x)) 2))
(lazy-def  17 '(1+ 16))
(lazy-def  18 '(1+ 17))
(lazy-def  19 '(1+ 18))
(lazy-def  20 '(* 4 5))
(lazy-def  21 '(+ 5 16))
(lazy-def  22 '(* 2 11))
(lazy-def  23 '(+ 7 16))
(lazy-def  24 '(* 4 6))
(lazy-def  25 '(^ 5 2))
(lazy-def  26 '(1+ 25))
(lazy-def  27 '((lambda (x) (x x)) 3))
(lazy-def  28 '(1+ 27))
(lazy-def  29 '(1+ 28))
(lazy-def  30 '(1+ 29))
(lazy-def  31 '(+ 4 27))
(lazy-def  32 '(* 2 16))
(lazy-def  33 '(1+ 32))
(lazy-def  34 '(* 2 17))
(lazy-def  35 '(1+ 34))
(lazy-def  36 '(^ 6 2))
(lazy-def  37 '(1+ 36))
(lazy-def  38 '(* 2 19))
(lazy-def  39 '(1+ 38))
(lazy-def  40 '(* 5 8))
(lazy-def  41 '(+ 16 25))
(lazy-def  42 '(* 2 21))
(lazy-def  43 '(+ 16 27))
(lazy-def  44 '(+ 17 27))
(lazy-def  45 '(* 5 9))
(lazy-def  46 '(1+ 45))
(lazy-def  47 '(1+ 46))
(lazy-def  48 '(* 3 16))
(lazy-def  49 '(1+ 48))
(lazy-def  50 '(* 2 25))
(lazy-def  51 '(* 3 17))
(lazy-def  52 '(* 2 26))
(lazy-def  53 '(1+ 52))
(lazy-def  54 '(* 2 27))
(lazy-def  55 '(1+ 54))
(lazy-def  56 '(* 2 28))
(lazy-def  57 '(1+ 56))
(lazy-def  58 '(* 2 29))
(lazy-def  59 '(1+ 58))
(lazy-def  60 '(* 2 30))
(lazy-def  61 '(1+ 60))
(lazy-def  62 '(* 2 31))
(lazy-def  63 '(1+ 62))
(lazy-def  64 '(^ 4 3))
(lazy-def  65 '(1+ 64))
(lazy-def  66 '(1+ 65))
(lazy-def  67 '(1+ 66))
(lazy-def  68 '(* 4 17))
(lazy-def  69 '(1+ 68))
(lazy-def  70 '(* 2 35))
(lazy-def  71 '(1+ 70))
(lazy-def  72 '(* 4 18))
(lazy-def  73 '(1+ 72))
(lazy-def  74 '(* 2 37))
(lazy-def  75 '(* 3 25))
(lazy-def  76 '(* 4 19))
(lazy-def  77 '(1+ 76))
(lazy-def  78 '(* 3 26))
(lazy-def  79 '(1+ 78))
(lazy-def  80 '(* 5 16))
(lazy-def  81 '(^ 3 4))
(lazy-def  82 '(1+ 81))
(lazy-def  83 '(1+ 82))
(lazy-def  84 '(* 3 28))
(lazy-def  85 '(* 5 17))
(lazy-def  86 '(1+ 85))
(lazy-def  87 '(* 3 29))
(lazy-def  88 '(1+ 87))
(lazy-def  89 '(+ 8 81))
(lazy-def  90 '(* 5 18))
(lazy-def  91 '(+ 27 64))
(lazy-def  92 '(+ 28 64))
(lazy-def  93 '(* 3 31))
(lazy-def  94 '(1+ 93))
(lazy-def  95 '(* 5 19))
(lazy-def  96 '(* 6 16))
(lazy-def  97 '(+ 16 81))
(lazy-def  98 '(* 2 49))
(lazy-def  99 '(* 3 33))
(lazy-def 100 '(^ 10 2))
(lazy-def 101 '(1+ 100))
(lazy-def 102 '(* 6 17))
(lazy-def 103 '(1+ 102))
(lazy-def 104 '(* 4 26))
(lazy-def 105 '(1+ 104))
(lazy-def 106 '(+ 25 81))
(lazy-def 107 '(+ 27 80))
(lazy-def 108 '(* 4 27))
(lazy-def 109 '(1+ 108))
(lazy-def 110 '(* 2 55))
(lazy-def 111 '(1+ 110))
(lazy-def 112 '(* 4 28))
(lazy-def 113 '(1+ 112))
(lazy-def 114 '(* 2 57))
(lazy-def 115 '(1+ 114))
(lazy-def 116 '(* 4 29))
(lazy-def 117 '(1+ 116))
(lazy-def 118 '(* 2 59))
(lazy-def 119 '(* 7 17))
(lazy-def 120 '(* 4 30))
(lazy-def 121 '(^ 11 2))
(lazy-def 122 '(1+ 121))
(lazy-def 123 '(1+ 122))
(lazy-def 124 '(* 4 31))
(lazy-def 125 '(^ 5 3))
(lazy-def 126 '(1+ 125))
(lazy-def 127 '(1+ 126))
(lazy-def 128 '(* 2 64))
