--- This system is (very) experimental ---
The trace shows values exchanged on channels; "output" is the standard output channel.

 Simple Parallel Functional Language L.A. Monash Comp Sci 8/4/93
  1: let rec
  2:  from = lambda n. fromchan!n -> from (n+1),
  3: 
  4:  fromchan = chan,
  5: 
  6:  sieve = lambda inch.
  7:    inch?p -> output!p {must be prime} ->
  8:    let rec
  9:      filter = inch?x ->
 10:        if (x/p)*p<>x then {not p|x} connect!x -> filter
 11:                      else filter,
 12: 
 13:      connect = chan
 14: 
 15:    in (filter || sieve connect)
 16: 
 17: 
 18: in  from 2 || sieve fromchan
 19: 
 20: {\fB Parallel Sieve of Eratosthenese. \fP}
 21: 
 22: 

 --- end of parsing --- 
(let rec ((from =(lambda (n ).(((fromchan )!(n ))->((from )((n )+(1 )))))),
((fromchan =(chan)),
((sieve =(lambda (inch ).(((inch )?(p ))->(((output )!(p ))->(let rec ((filter =(((inch )?(x ))->(if ((((x )/(p ))*(p ))<>(x ))then (((connect )!(x ))->(filter ))else (filter )))),
((connect =(chan))))
in ((filter )||((sieve )(connect )))))))))))
in (((from )(2 ))||((sieve )(fromchan ))))
 --- running --- 
 ch3 2
 output 2 ch3 3 ch4 3
 output 3 ch3 4 ch3 5 ch4 5 ch3 6 ch3 7 ch5 5
 output 5 ch4 7 ch3 8 ch3 9 ch5 7 ch4 9 ch3 10 ch3 11 ch4 11 ch3 12 ch3 13 ch6 7
 output 7 ch5 11 ch4 13 ch3 14 ch3 15 ch6 11 ch5 13 ch4 15 ch3 16 ch3 17 ch4 17 ch3 18 ch3 19 ch7 11
 output 11 ch6 13 ch5 17 ch4 19 ch3 20 ch3 21 ch7 13 ch6 17 ch5 19 ch4 21 ch3 22 ch3 23 ch4 23 ch3 24 ch3 25 ch8 13
 output 13 ch7 17 ch6 19 ch5 23 ch4 25 ch3 26 ch3 27 ch8 17 ch7 19 ch6 23 ch5 25 ch4 27 ch3 28 ch3 29 ch4 29 ch3 30 ch3 31 ch5 29 ch4 31 ch3 32 ch3 33 ch9 17
 output 17 ch8 19 ch7 23 ch6 29 ch5 31 ch4 33 ch3 34 ch3 35 ch4 35 ch3 36 ch3 37 ch9 19 ch8 23 ch7 29 ch6 31 ch5 35 ch4 37 ch3 38 ch3 39 ch5 37 ch4 39 ch3 40 ch3 41 ch4 41 ch3 42 ch3 43 ch10 19
 output 19 ch9 23 ch8 29 ch7 31 ch6 37 ch5 41 ch4 43 ch3 44 ch3 45 ch10 23 ch9 29 ch8 31 ch7 37 ch6 41 ch5 43 ch4 45 ch3 46 ch3 47 ch4 47 ch3 48 ch3 49 ch11 23
 output 23 ch10 29 ch9 31 ch8 37 ch7 41 ch6 43 ch5 47 ch4 49 ch3 50 ch3 51 ch11 29 ch10 31 ch9 37 ch8 41 ch7 43 ch6 47 ch5 49 ch4 51 ch3 52 ch3 53 ch4 53 ch3 54 ch3 55 ch12 29
 output 29 ch11 31 ch10 37 ch9 41 ch8 43 ch7 47 ch6 49 ch5 53 ch4 55 ch3 56 ch3 57 ch6 53 ch5 55 ch4 57 ch3 58 ch3 59 ch4 59 ch3 60 ch3 61 ch5 59 ch4 61 ch3 62 ch3 63 ch12 31 ch11 37 ch10 41 ch9 43 ch8 47 ch7 53 ch6 59 ch5 61 ch4 63 ch3 64 ch3 65 ch4 65 ch3 66 ch3 67 ch13 31
 output 31 ch12 37 ch11 41 ch10 43 ch9 47 ch8 53 ch7 59 ch6 61 ch5 65 ch4 67 ch3 68 ch3 69 ch5 67 ch4 69 ch3 70 ch3 71 ch4 71 ch3 72 ch3 73 ch13 37 ch12 41 ch11 43 ch10 47 ch9 53 ch8 59 ch7 61 ch6 67 ch5 71 ch4 73 ch3 74 ch3 75 ch14 37
 output 37 ch13 41 ch12 43 ch11 47 ch10 53 ch9 59 ch8 61 ch7 67 ch6 71 ch5 73 ch4 75 ch3 76 ch3 77 ch4 77 ch3 78 ch3 79 ch14 41 ch13 43 ch12 47 ch11 53 ch10 59 ch9 61 ch8 67 ch7 71 ch6 73 ch5 77 ch4 79 ch3 80 ch3 81 ch15 41
 output 41 ch14 43 ch13 47 ch12 53 ch11 59 ch10 61 ch9 67 ch8 71 ch7 73 ch6 77 ch5 79 ch4 81 ch3 82 ch3 83 ch4 83 ch3 84 ch3 85 ch6 79 ch5 83 ch4 85 ch3 86 ch3 87 ch15 43 ch14 47 ch13 53 ch12 59 ch11 61 ch10 67 ch9 71 ch8 73 ch7 79 ch6 83 ch5 85 ch4 87 ch3 88 ch3 89 ch4 89 ch3 90 ch3 91 ch5 89 ch4 91 ch3 92 ch3 93 ch16 43
 output 43 ch15 47 ch14 53 ch13 59 ch12 61 ch11 67 ch10 71 ch9 73 ch8 79 ch7 83 ch6 89 ch5 91 ch4 93 ch3 94 ch3 95 ch4 95 ch3 96 ch3 97 ch16 47 ch15 53 ch14 59 ch13 61 ch12 67 ch11 71 ch10 73 ch9 79 ch8 83 ch7 89 ch6 91 ch5 95 ch4 97 ch3 98 ch3 99 ch5 97 ch4 99 ch3 100 ch3 101 ch4 101 ch3 102 ch3 103 ch6 97 ch5 101 ch4 103 ch3 104 ch3 105 ch17 47
 output 47 ch16 53 ch15 59 ch14 61 ch13 67 ch12 71 ch11 73 ch10 79 ch9 83 ch8 89 ch7 97 ch6 101 ch5 103 ch4 105 ch3 106 ch3 107 ch4 107 ch3 108 ch3 109 ch17 53 ch16 59 ch15 61 ch14 67 ch13 71 ch12 73 ch11 79 ch10 83 ch9 89 ch8 97 ch7 101 ch6 103 ch5 107 ch4 109 ch3 110 ch3 111 ch18 53
 output 53 ch17 59 ch16 61 ch15 67 ch14 71 ch13 73 ch12 79 ch11 83 ch10 89 ch9 97 ch8 101 ch7 103 ch6 107 ch5 109 ch4 111 ch3 112 ch3 113 ch4 113 ch3 114 ch3 115 ch18 59 ch17 61 ch16 67 ch15 71 ch14 73 ch13 79 ch12 83 ch11 89 ch10 97 ch9 101 ch8 103 ch7 107 ch6 109 ch5 113 ch4 115 ch3 116 ch3 117 ch19 59
 output 59 ch18 61 ch17 67 ch16 71 ch15 73 ch14 79 ch13 83 ch12 89 ch11 97 ch10 101 ch9 103 ch8 107 ch7 109 ch6 113 ch5 115 ch4 117 ch3 118 ch3 119 ch4 119 ch3 120 ch3 121 ch5 119 ch4 121 ch3 122 ch3 123 ch19 61 ch18 67 ch17 71 ch16 73 ch15 79 ch14 83 ch13 89 ch12 97 ch11 101 ch10 103 ch9 107 ch8 109 ch7 113 ch6 119 ch5 121 ch4 123 ch3 124 ch3 125 ch4 125 ch3 126 ch3 127 ch6 121 ch5 125 ch4 127 ch3 128 ch3 129 ch5 127 ch4 129 ch3 130 ch3 131 ch4 131 ch3 132 ch3 133 ch20 61
 output 61 ch19 67 ch18 71 ch17 73 ch16 79 ch15 83 ch14 89 ch13 97 ch12 101 ch11 103 ch10 107 ch9 109 ch8 113 ch7 121 ch6 127 ch5 131 ch4 133 ch3 134 ch3 135 ch7 127 ch6 131 ch5 133 ch4 135 ch3 136 ch3 137 ch4 137 ch3 138 ch3 139 ch20 67 ch19 71 ch18 73 ch17 79 ch16 83 ch15 89 ch14 97 ch13 101 ch12 103 ch11 107 ch10 109 ch9 113 ch8 127 ch7 131 ch6 133 ch5 137 ch4 139 ch3 140 ch3 141 ch6 137 ch5 139 ch4 141 ch3 142 ch3 143 ch4 143 ch3 144 ch3 145 ch21 67
 output 67 ch20 71 ch19 73 ch18 79 ch17 83 ch16 89 ch15 97 ch14 101 ch13 103 ch12 107 ch11 109 ch10 113 ch9 127 ch8 131 ch7 137 ch6 139 ch5 143 ch4 145 ch3 146 ch3 147 ch21 71 ch20 73 ch19 79 ch18 83 ch17 89 ch16 97 ch15 101 ch14 103 ch13 107 ch12 109 ch11 113 ch10 127 ch9 131 ch8 137 ch7 139 ch6 143 ch5 145 ch4 147 ch3 148 ch3 149 ch4 149 ch3 150 ch3 151 ch5 149 ch4 151 ch3 152 ch3 153 ch22 71
 output 71 ch21 73 ch20 79 ch19 83 ch18 89 ch17 97 ch16 101 ch15 103 ch14 107 ch13 109 ch12 113 ch11 127 ch10 131 ch9 137 ch8 139 ch7 143 ch6 149 ch5 151 ch4 153 ch3 154 ch3 155 ch4 155 ch3 156 ch3 157 ch7 149 ch6 151 ch5 155 ch4 157 ch3 158 ch3 159 ch5 157 ch4 159 ch3 160 ch3 161 ch4 161 ch3 162 ch3 163 ch22 73 ch21 79 ch20 83 ch19 89 ch18 97 ch17 101 ch16 103 ch15 107 ch14 109 ch13 113 ch12 127 ch11 131 ch10 137 ch9 139 ch8 149 ch7 151 ch6 157 ch5 161 ch4 163 ch3 164 ch3 165 ch23 73
 output 73 ch22 79 ch21 83 ch20 89 ch19 97 ch18 101 ch17 103 ch16 107 ch15 109 ch14 113 ch13 127 ch12 131 ch11 137 ch10 139 ch9 149 ch8 151 ch7 157 ch6 161 ch5 163 ch4 165 ch3 166 ch3 167 ch4 167 ch3 168 ch3 169 ch6 163 ch5 167 ch4 169 ch3 170 ch3 171 ch23 79 ch22 83 ch21 89 ch20 97 ch19 101 ch18 103 ch17 107 ch16 109 ch15 113 ch14 127 ch13 131 ch12 137 ch11 139 ch10 149 ch9 151 ch8 157 ch7 163 ch6 167 ch5 169 ch4 171 ch3 172 ch3 173 ch4 173 ch3 174 ch3 175 ch24 79
 output 79 ch23 83 ch22 89 ch21 97 ch20 101 ch19 103 ch18 107 ch17 109 ch16 113 ch15 127 ch14 131 ch13 137 ch12 139 ch11 149 ch10 151 ch9 157 ch8 163 ch7 167 ch6 169 ch5 173 ch4 175 ch3 176 ch3 177 ch24 83 ch23 89 ch22 97 ch21 101 ch20 103 ch19 107 ch18 109 ch17 113 ch16 127 ch15 131 ch14 137 ch13 139 ch12 149 ch11 151 ch10 157 ch9 163 ch8 167 ch7 169 ch6 173 ch5 175 ch4 177 ch3 178 ch3 179 ch4 179 ch3 180 ch3 181 ch5 179 ch4 181 ch3 182 ch3 183 ch25 83
 output 83 ch24 89 ch23 97 ch22 101 ch21 103 ch20 107 ch19 109 ch18 113 ch17 127 ch16 131 ch15 137 ch14 139 ch13 149 ch12 151 ch11 157 ch10 163 ch9 167 ch8 169 ch7 173 ch6 179 ch5 181 ch4 183 ch3 184 ch3 185 ch4 185 ch3 186 ch3 187 ch8 173 ch7 179 ch6 181 ch5 185 ch4 187 ch3 188 ch3 189 ch5 187 ch4 189 ch3 190 ch3 191 ch4 191 ch3 192 ch3 193 ch25 89 ch24 97 ch23 101 ch22 103 ch21 107 ch20 109 ch19 113 ch18 127 ch17 131 ch16 137 ch15 139 ch14 149 ch13 151 ch12 157 ch11 163 ch10 167 ch9 173 ch8 179 ch7 181 ch6 187 ch5 191 ch4 193 ch3 194 ch3 195 ch26 89
 output 89 ch25 97 ch24 101 ch23 103 ch22 107 ch21 109 ch20 113 ch19 127 ch18 131 ch17 137 ch16 139 ch15 149 ch14 151 ch13 157 ch12 163 ch11 167 ch10 173 ch9 179 ch8 181 ch7 187 ch6 191 ch5 193 ch4 195 ch3 196 ch3 197 ch4 197 ch3 198 ch3 199 ch7 191 ch6 193 ch5 197 ch4 199 ch3 200 ch3 201 ch26 97 ch25 101 ch24 103 ch23 107 ch22 109 ch21 113 ch20 127 ch19 131 ch18 137 ch17 139 ch16 149 ch15 151 ch14 157 ch13 163 ch12 167 ch11 173 ch10 179 ch9 181 ch8 191 ch7 193 ch6 197 ch5 199 ch4 201 ch3 202 ch3 203 ch4 203 ch3 204 ch3 205 ch27 97
 output 97 ch26 101 ch25 103 ch24 107 ch23 109 ch22 113 ch21 127 ch20 131 ch19 137 ch18 139 ch17 149 ch16 151 ch15 157 ch14 163 ch13 167 ch12 173 ch11 179 ch10 181 ch9 191 ch8 193 ch7 197 ch6 199 ch5 203 ch4 205 ch3 206 ch3 207 ch27 101 ch26 103 ch25 107 ch24 109 ch23 113 ch22 127 ch21 131 ch20 137 ch19 139 ch18 149 ch17 151 ch16 157 ch15 163 ch14 167 ch13 173 ch12 179 ch11 181 ch10 191 ch9 193 ch8 197 ch7 199 ch6 203 ch5 205 ch4 207 ch3 208 ch3 209 ch4 209 ch3 210 ch3 211 ch5 209 ch4 211 ch3 212 ch3 213 ch6 209 ch5 211 ch4 213 ch3 214 ch3 215 ch4 215 ch3 216 ch3 217 ch28 101
 output 101 ch27 103 ch26 107 ch25 109 ch24 113 ch23 127 ch22 131 ch21 137 ch20 139 ch19 149 ch18 151 ch17 157 ch16 163 ch15 167 ch14 173 ch13 179 ch12 181 ch11 191 ch10 193 ch9 197 ch8 199 ch7 209 ch6 211 ch5 215 ch4 217 ch3 218 ch3 219 ch5 217 ch4 219 ch3 220 ch3 221 ch4 221 ch3 222 ch3 223 ch7 211 ch6 217 ch5 221 ch4 223 ch3 224 ch3 225 ch6 221 ch5 223 ch4 225 ch3 226 ch3 227 ch4 227 ch3 228 ch3 229 ch28 103 ch27 107 ch26 109 ch25 113 ch24 127 ch23 131 ch22 137 ch21 139 ch20 149 ch19 151 ch18 157 ch17 163 ch16 167 ch15 173 ch14 179 ch13 181 ch12 191 ch11 193 ch10 197 ch9 199 ch8 211 ch7 221 ch6 223 ch5 227 ch4 229 ch3 230 ch3 231 ch29 103
 output 103 ch28 107 ch27 109 ch26 113 ch25 127 ch24 131 ch23 137 ch22 139 ch21 149 ch20 151 ch19 157 ch18 163 ch17 167 ch16 173 ch15 179 ch14 181 ch13 191 ch12 193 ch11 197 ch10 199 ch9 211 ch8 221 ch7 223 ch6 227 ch5 229 ch4 231 ch3 232 ch3 233 ch4 233 ch3 234 ch3 235 ch8 223 ch7 227 ch6 229 ch5 233 ch4 235 ch3 236 ch3 237 ch29 107 ch28 109 ch27 113 ch26 127 ch25 131 ch24 137 ch23 139 ch22 149 ch21 151 ch20 157 ch19 163 ch18 167 ch17 173 ch16 179 ch15 181 ch14 191 ch13 193 ch12 197 ch11 199 ch10 211 ch9 223 ch8 227 ch7 229 ch6 233 ch5 235 ch4 237 ch3 238 ch3 239 ch4 239 ch3 240 ch3 241 ch5 239 ch4 241 ch3 242 ch3 243 ch30 107
 output 107 ch29 109 ch28 113 ch27 127 ch26 131 ch25 137 ch24 139 ch23 149 ch22 151 ch21 157 ch20 163 ch19 167 ch18 173 ch17 179 ch16 181 ch15 191 ch14 193 ch13 197 ch12 199 ch11 211 ch10 223 ch9 227 ch8 229 ch7 233 ch6 239 ch5 241 ch4 243 ch3 244 ch3 245 ch4 245 ch3 246 ch3 247 ch30 109 ch29 113 ch28 127 ch27 131 ch26 137 ch25 139 ch24 149 ch23 151 ch22 157 ch21 163 ch20 167 ch19 173 ch18 179 ch17 181 ch16 191 ch15 193 ch14 197 ch13 199 ch12 211 ch11 223 ch10 227 ch9 229 ch8 233 ch7 239 ch6 241 ch5 245 ch4 247 ch3 248 ch3 249 ch5 247 ch4 249 ch3 250 ch3 251 ch4 251 ch3 252 ch3 253 ch31 109
 output 109 ch30 113 ch29 127 ch28 131 ch27 137 ch26 139 ch25 149 ch24 151 ch23 157 ch22 163 ch21 167 ch20 173 ch19 179 ch18 181 ch17 191 ch16 193 ch15 197 ch14 199 ch13 211 ch12 223 ch11 227 ch10 229 ch9 233 ch8 239 ch7 241 ch6 247 ch5 251 ch4 253 ch3 254 ch3 255 ch31 113 ch30 127 ch29 131 ch28 137 ch27 139 ch26 149 ch25 151 ch24 157 ch23 163 ch22 167 ch21 173 ch20 179 ch19 181 ch18 191 ch17 193 ch16 197 ch15 199 ch14 211 ch13 223 ch12 227 ch11 229 ch10 233 ch9 239 ch8 241 ch7 247 ch6 251 ch5 253 ch4 255 ch3 256 ch3 257 ch4 257 ch3 258 ch3 259 ch32 113
 output 113 ch31 127 ch30 131 ch29 137 ch28 139 ch27 149 ch26 151 ch25 157 ch24 163 ch23 167 ch22 173 ch21 179 ch20 181 ch19 191 ch18 193 ch17 197 ch16 199 ch15 211 ch14 223 ch13 227 ch12 229 ch11 233 ch10 239 ch9 241 ch8 247 ch7 251 ch6 253 ch5 257 ch4 259 ch3 260 ch3 261 ch8 251 ch7 253 ch6 257 ch5 259 ch4 261 ch3 262 ch3 263 ch4 263 ch3 264 ch3 265 ch7 257 ch6 259 ch5 263 ch4 265 ch3 266 ch3 267 ch6 263 ch5 265 ch4 267 ch3 268 ch3 269 ch4 269 ch3 270 ch3 271 ch5 269 ch4 271 ch3 272 ch3 273 ch32 127 ch31 131 ch30 137 ch29 139 ch28 149 ch27 151 ch26 157 ch25 163 ch24 167 ch23 173 ch22 179 ch21 181 ch20 191 ch19 193 ch18 197 ch17 199 ch16 211 ch15 223 ch14 227 ch13 229 ch12 233 ch11 239 ch10 241 ch9 251 ch8 257 ch7 263 ch6 269 ch5 271 ch4 273 ch3 274 ch3 275 ch4 275 ch3 276 ch3 277 ch33 127
 output 127 ch32 131 ch31 137 ch30 139 ch29 149 ch28 151 ch27 157 ch26 163 ch25 167 ch24 173 ch23 179 ch22 181 ch21 191 ch20 193 ch19 197 ch18 199 ch17 211 ch16 223 ch15 227 ch14 229 ch13 233 ch12 239 ch11 241 ch10 251 ch9 257 ch8 263 ch7 269 ch6 271 ch5 275 ch4 277 ch3 278 ch3 279 ch5 277 ch4 279 ch3 280 ch3 281 ch4 281 ch3 282 ch3 283 ch33 131 ch32 137 ch31 139 ch30 149 ch29 151 ch28 157 ch27 163 ch26 167 ch25 173 ch24 179 ch23 181 ch22 191 ch21 193 ch20 197 ch19 199 ch18 211 ch17 223 ch16 227 ch15 229 ch14 233 ch13 239 ch12 241 ch11 251 ch10 257 ch9 263 ch8 269 ch7 271 ch6 277 ch5 281 ch4 283 ch3 284 ch3 285 ch34 131
 output 131 ch33 137 ch32 139 ch31 149 ch30 151 ch29 157 ch28 163 ch27 167 ch26 173 ch25 179 ch24 181 ch23 191 ch22 193 ch21 197 ch20 199 ch19 211 ch18 223 ch17 227 ch16 229 ch15 233 ch14 239 ch13 241 ch12 251 ch11 257 ch10 263 ch9 269 ch8 271 ch7 277 ch6 281 ch5 283 ch4 285 ch3 286 ch3 287 ch4 287 ch3 288 ch3 289 ch34 137 ch33 139 ch32 149 ch31 151 ch30 157 ch29 163 ch28 167 ch27 173 ch26 179 ch25 181 ch24 191 ch23 193 ch22 197 ch21 199 ch20 211 ch19 223 ch18 227 ch17 229 ch16 233 ch15 239 ch14 241 ch13 251 ch12 257 ch11 263 ch10 269 ch9 271 ch8 277 ch7 281 ch6 283 ch5 287 ch4 289 ch3 290 ch3 291 ch35 137
 output 137 ch34 139 ch33 149 ch32 151 ch31 157 ch30 163 ch29 167 ch28 173 ch27 179 ch26 181 ch25 191 ch24 193 ch23 197 ch22 199 ch21 211 ch20 223 ch19 227 ch18 229 ch17 233 ch16 239 ch15 241 ch14 251 ch13 257 ch12 263 ch11 269 ch10 271 ch9 277 ch8 281 ch7 283 ch6 287 ch5 289 ch4 291 ch3 292 ch3 293 ch4 293 ch3 294 ch3 295 ch6 289 ch5 293 ch4 295 ch3 296 ch3 297 ch35 139 ch34 149 ch33 151 ch32 157 ch31 163 ch30 167 ch29 173 ch28 179 ch27 181 ch26 191 ch25 193 ch24 197 ch23 199 ch22 211 ch21 223 ch20 227 ch19 229 ch18 233 ch17 239 ch16 241 ch15 251 ch14 257 ch13 263 ch12 269 ch11 271 ch10 277 ch9 281 ch8 283 ch7 289 ch6 293 ch5 295 ch4 297 ch3 298 ch3 299 ch4 299 ch3 300 ch3 301 ch5 299 ch4 301 ch3 302 ch3 303 ch36 139
 output 139 ch35 149 ch34 151 ch33 157 ch32 163 ch31 167 ch30 173 ch29 179 ch28 181 ch27 191 ch26 193 ch25 197 ch24 199 ch23 211 ch22 223 ch21 227 ch20 229 ch19 233 ch18 239 ch17 241 ch16 251 ch15 257 ch14 263 ch13 269 ch12 271 ch11 277 ch10 281 ch9 283 ch8 289 ch7 293 ch6 299 ch5 301 ch4 303 ch3 304 ch3 305 ch4 305 ch3 306 ch3 307 ch36 149 ch35 151 ch34 157 ch33 163 ch32 167 ch31 173 ch30 179 ch29 181 ch28 191 ch27 193 ch26 197 ch25 199 ch24 211 ch23 223 ch22 227 ch21 229 ch20 233 ch19 239 ch18 241 ch17 251 ch16 257 ch15 263 ch14 269 ch13 271 ch12 277 ch11 281 ch10 283 ch9 289 ch8 293 ch7 299 ch6 301 ch5 305 ch4 307 ch3 308 ch3 309 ch5 307 ch4 309 ch3 310 ch3 311 ch4 311 ch3 312 ch3 313 ch6 307 ch5 311 ch4 313 ch3 314 ch3 315 ch9 293 ch8 299 ch7 307 ch6 311 ch5 313 ch4 315 ch3 316 ch3 317 ch4 317 ch3 318 ch3 319 ch8 307 ch7 311 ch6 313 ch5 317 ch4 319 ch3 320 ch3 321 ch37 149
 output 149 ch36 151 ch35 157 ch34 163 ch33 167 ch32 173 ch31 179 ch30 181 ch29 191 ch28 193 ch27 197 ch26 199 ch25 211 ch24 223 ch23 227 ch22 229 ch21 233 ch20 239 ch19 241 ch18 251 ch17 257 ch16 263 ch15 269 ch14 271 ch13 277 ch12 281 ch11 283 ch10 293 ch9 307 ch8 311 ch7 313 ch6 317 ch5 319 ch4 321 ch3 322 ch3 323 ch4 323 ch3 324 ch3 325 ch37 151 ch36 157 ch35 163 ch34 167 ch33 173 ch32 179 ch31 181 ch30 191 ch29 193 ch28 197 ch27 199 ch26 211 ch25 223 ch24 227 ch23 229 ch22 233 ch21 239 ch20 241 ch19 251 ch18 257 ch17 263 ch16 269 ch15 271 ch14 277 ch13 281 ch12 283 ch11 293 ch10 307 ch9 311 ch8 313 ch7 317 ch6 319 ch5 323 ch4 325 ch3 326 ch3 327 ch38 151
 output 151 ch37 157 ch36 163 ch35 167 ch34 173 ch33 1/u/web/homes/lloyd/tildeFP/LambdaCCS/PFL.sun.out: out of heap when allocating 20 bytes (error #853 at 1be33)
79 ch32 181 ch31 191 ch30 193 ch29 197 ch28 199 ch27 211 ch26 223 ch25 227 ch24 229 ch23 233 ch22 239 ch21 241 ch20 251 ch19 257 ch18 263 ch17 269 ch16 271 ch15 277 ch14 281 ch13 283 ch12 293 ch11 307 ch10 311 ch9 313 ch8 317 ch7 319 ch6 323 ch5 325 ch4 327 ch3 328 ch3 329 ch4 329 ch3 330 ch3 331 ch5 329 ch4 331 ch3 332 ch3 333 ch7 323 ch6 329 ch5 331 ch4 333 ch3 334 ch3 335 ch4 335 ch3 336 ch3 337 ch6 331 ch5 335 ch4 337 ch3 338 ch3 339 ch5 337 ch4 339 ch3 340 ch3 341 ch4 341 ch3 342 ch3 343 ch38 157 ch37 163 ch36 167 ch35 173 ch34 179 ch33 181 ch32 191 ch31 193 ch30 197 ch29 199 ch28 211 ch27 223 ch26 227 ch25 229 ch24 233 ch23 239 ch22 241 ch21 251 ch20 257 ch19 263 ch18 269 ch17 271 ch16 277 ch15 281 ch14 283 ch13 293 ch12 307 ch11 311 ch10 313 ch9 317 ch8 323 ch7 331 ch6 337 ch5 341 ch4 343 ch3 344 ch3 345 ch39 157
 output 157 ch38 163 ch37 167 ch36 173 ch35 179 ch34 181 ch33 191 ch32 193 ch31 197 ch30 199 ch29 211 ch28 223 ch27 227 ch26 229 ch25 233 ch24 239 ch23 241 ch22 251 ch21 257 ch20 263 ch19 269 ch18 271 ch17 277 ch16 281 ch15 283 ch14 293 ch13 307 ch12 311 ch11 313 ch10 317 ch9 323 ch8 331 ch7 337 ch6 341 ch5 343 ch4 345 ch3 346 ch3 347 ch4 347 ch3 348 ch3 349 ch9 331 ch8 337 ch7 341 ch6 343 ch5 347 ch4 349 ch3 350 ch3 351 ch6 347 ch5 349 ch4 351 ch3 352 ch3 353 ch4 353 ch3 354 ch3 355 ch7 347 ch6 349 ch5 353 ch4 355 ch3 356 ch3 357 ch39 163 ch38 167 ch37 173 ch36 179 ch35 181 ch34 191 ch33 193 ch32 197 ch31 199 ch30 211 ch29 223 ch28 227 ch27 229 ch26 233 ch25 239 ch24 241 ch23 251 ch22 257 ch21 263 ch20 269 ch19 271 ch18 277 ch17 281 ch16 283 ch15 293 ch14 307 ch13 311 ch12 313 ch11 317 ch10 331 ch9 337 ch8 347 ch7 349 ch6 353 ch5 355 ch4 357 ch3 358 ch3 359 ch4 359 ch3 360 ch3 361 ch5 359 ch4 361 ch3 362 ch3 363 ch40 163
 output 163 ch39 167 ch38 173 ch37 179 ch36 181 ch35 191 ch34 193 ch33 197 ch32 199 ch31 211 ch30 223 ch29 227 ch28 229 ch27 233 ch26 239 ch25 241 ch24 251 ch23 257 ch22 263 ch21 269 ch20 271 ch19 277 ch18 281 ch17 283 ch16 293 ch15 307 ch14 311 ch13 313 ch12 317 ch11 331 ch10 337 ch9 347 ch8 349 ch7 353 ch6 359 ch5 361 ch4 363 ch3 364 ch3 365 ch4 365 ch3 366 ch3 367 ch40 167 ch39 173 ch38 179 ch37 181 ch36 191 ch35 193 ch34 197 ch33 199 ch32 211 ch31 223 ch30 227 ch29 229 ch28 233 ch27 239 ch26 241 ch25 251 ch24 257 ch23 263 ch22 269 ch21 271 ch20 277 ch19 281 ch18 283 ch17 293 ch16 307 ch15 311 ch14 313 ch13 317 ch12 331 ch11 337 ch10 347 ch9 349 ch8 353 ch7 359 ch6 361 ch5 365 ch4 367 ch3 368 ch3 369 ch5 367 ch4 369 ch3 370 ch3 371 ch4 371 ch3 372 ch3 373 ch41 167
 output 167 ch40 173 ch39 179 ch38 181 ch37 191 ch36 193 ch35 197 ch34 199 ch33 211 ch32 223 ch31 227 ch30 229 ch29 233 ch28 239 ch27 241 ch26 251 ch25 257 ch24 263 ch23 269 ch22 271 ch21 277 ch20 281 ch19 283 ch18 293 ch17 307 ch16 311 ch15 313 ch14 317 ch13 331 ch12 337 ch11 347 ch10 349 ch9 353 ch8 359 ch7 361 ch6 367 ch5 371 ch4 373 ch3 374 ch3 375 ch41 173 ch40 179 ch39 181 ch38 191 ch37 193 ch36 197 ch35 199 ch34 211 ch33 223 ch32 227 ch31 229 ch30 233 ch29 239 ch28 241 ch27 251 ch26 257 ch25 263 ch24 269 ch23 271 ch22 277 ch21 281 ch20 283 ch19 293 ch18 307 ch17 311 ch16 313 ch15 317 ch14 331 ch13 337 ch12 347 ch11 349 ch10 353 ch9 359 ch8 361 ch7 367 ch6 371 ch5 373 ch4 375 ch3 376 ch3 377 ch4 377 ch3 378 ch3 379 ch6 373 ch5 377 ch4 379 ch3 380 ch3 381 ch42 173