/
UC2.mc
349 lines (349 loc) · 4.82 KB
/
UC2.mc
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
130
131
132
133
134
135
136
137
138
139
140
141
142
143
144
145
146
147
148
149
150
151
152
153
154
155
156
157
158
159
160
161
162
163
164
165
166
167
168
169
170
171
172
173
174
175
176
177
178
179
180
181
182
183
184
185
186
187
188
189
190
191
192
193
194
195
196
197
198
199
200
201
202
203
204
205
206
207
208
209
210
211
212
213
214
215
216
217
218
219
220
221
222
223
224
225
226
227
228
229
230
231
232
233
234
235
236
237
238
239
240
241
242
243
244
245
246
247
248
249
250
251
252
253
254
255
256
257
258
259
260
261
262
263
264
265
266
267
268
269
270
271
272
273
274
275
276
277
278
279
280
281
282
283
284
285
286
287
288
289
290
291
292
293
294
295
296
297
298
299
300
301
302
303
304
305
306
307
308
309
310
311
312
313
314
315
316
317
318
319
320
321
322
323
324
325
326
327
328
329
330
331
332
333
334
335
336
337
338
339
340
341
342
343
344
345
346
347
348
349
[M2] (golly 4.0.1)
#R N6
1 0 2 0 2
2 0 0 0 1
3 0 0 0 2
1 0 0 2 0
2 0 0 0 4
1 0 0 2 2
1 2 0 0 0
2 6 7 0 0
3 5 0 8 0
1 0 0 0 2
2 0 10 0 10
2 0 0 0 10
3 0 11 0 12
1 2 2 0 0
2 7 0 14 14
2 0 0 14 14
1 2 8 0 0
1 10 2 0 0
2 14 14 17 18
1 2 14 0 0
1 8 2 0 0
1 8 10 0 0
2 20 21 22 17
3 15 16 19 23
4 3 9 13 24
1 10 8 0 0
1 2 10 0 0
2 26 27 18 22
2 21 26 17 18
3 16 16 28 29
2 27 21 22 17
3 16 16 31 28
4 0 0 30 32
3 0 12 0 12
2 14 14 22 17
1 11 2 0 0
2 14 14 17 36
1 8 11 0 0
2 14 14 38 17
3 19 35 37 39
2 0 10 0 0
1 2 0 0 17
2 42 14 0 0
3 0 12 41 43
2 14 14 0 0
3 37 39 45 45
4 34 40 44 46
2 26 27 36 38
2 21 26 17 36
3 28 29 48 49
2 27 21 38 17
3 31 28 51 48
1 11 8 0 0
1 2 11 0 0
2 53 54 36 38
2 21 53 17 36
2 53 54 0 0
2 21 53 0 0
3 55 56 57 58
2 54 21 38 17
2 54 21 0 0
3 60 55 61 57
4 50 52 59 62
5 25 33 47 63
3 16 16 29 31
1 2 13 0 0
2 26 66 18 22
3 16 16 67 29
4 0 0 65 68
4 0 0 32 65
3 29 31 49 51
3 56 60 58 61
4 71 50 72 59
4 52 71 62 72
5 69 70 73 74
6 0 0 64 75
4 0 0 65 30
5 33 77 63 73
1 2 12 0 0
2 26 79 18 22
3 16 16 31 80
4 0 0 30 81
5 70 82 74 63
6 0 0 78 83
7 0 0 76 84
2 21 53 17 18
2 79 21 22 17
3 16 16 86 87
2 53 54 18 22
3 16 16 89 86
4 0 0 88 90
2 54 21 22 17
3 16 16 92 89
1 12 8 0 0
2 21 94 17 18
3 16 16 95 92
4 0 0 93 96
5 91 97 73 74
2 53 79 18 22
3 16 16 99 86
2 94 54 18 22
3 16 16 92 101
4 0 0 100 102
3 16 16 89 95
4 0 0 88 104
5 103 105 63 73
6 0 0 98 106
3 16 16 92 99
3 16 16 86 92
4 0 0 108 109
2 94 54 36 38
3 16 16 111 56
2 79 21 38 17
1 12 2 0 0
2 53 54 114 38
3 16 16 113 115
4 0 0 112 116
5 110 117 74 63
2 21 94 17 36
3 16 16 119 60
2 53 79 36 38
3 16 16 121 56
4 0 0 120 122
3 16 16 60 55
1 13 8 0 0
2 21 125 17 36
3 16 16 126 51
4 0 0 124 127
5 123 128 73 74
6 0 0 118 129
7 0 0 107 130
8 0 0 85 131
3 16 16 48 49
3 16 16 51 48
4 0 0 133 134
3 16 16 49 51
4 0 0 136 133
5 135 137 63 73
4 0 0 134 65
5 139 33 74 63
6 0 0 138 140
3 16 16 28 86
4 0 0 65 142
4 0 0 102 109
1 8 12 0 0
2 27 21 145 17
3 29 31 49 146
2 21 26 17 114
3 28 29 48 148
4 147 149 72 59
2 26 27 36 145
3 31 28 51 151
4 152 71 62 72
5 143 144 150 153
4 0 0 104 108
1 8 13 0 0
2 94 54 18 156
3 16 16 157 56
4 0 0 109 158
2 26 27 114 38
3 28 29 160 49
3 31 28 146 48
4 161 162 59 62
3 29 31 148 51
3 28 29 151 49
4 164 165 72 59
5 155 159 163 166
6 0 0 154 167
7 0 0 141 168
2 53 54 36 145
3 16 16 113 170
2 21 94 17 114
3 16 16 172 60
4 0 0 171 173
3 16 16 60 111
4 0 0 122 175
3 31 28 51 160
4 177 147 62 72
3 31 28 31 28
4 149 179 59 62
5 174 176 178 180
3 16 16 56 113
3 16 16 55 119
4 0 0 182 183
3 16 16 60 121
3 16 16 56 60
4 0 0 185 186
3 29 31 29 31
3 28 29 28 29
4 188 189 72 59
4 179 188 62 72
5 184 187 190 191
6 0 0 181 192
3 16 16 55 126
4 0 0 194 134
2 26 27 36 22
3 16 16 196 29
4 0 0 136 197
4 189 179 59 62
2 27 21 156 17
3 29 31 29 200
2 53 54 114 145
2 21 53 17 114
3 202 203 57 58
4 201 50 72 204
5 195 198 199 205
3 60 170 61 57
2 54 21 145 17
3 203 208 58 61
4 177 71 207 209
3 55 203 57 58
3 208 115 61 57
4 161 152 211 212
5 70 33 210 213
6 0 0 206 214
7 0 0 193 215
8 0 0 169 216
9 0 0 132 217
4 0 0 32 109
3 56 208 58 61
3 202 56 57 58
4 71 149 220 221
3 60 202 61 57
3 203 60 58 61
4 52 147 223 224
5 77 219 222 225
3 16 16 101 86
1 13 2 0 0
2 94 54 228 38
3 16 16 92 229
4 0 0 227 230
3 16 16 170 119
4 0 0 182 232
3 31 28 146 28
3 170 203 57 58
3 208 55 61 57
4 50 234 235 236
3 115 56 57 58
4 188 189 209 238
5 231 233 237 239
6 0 0 226 240
3 16 16 113 55
4 0 0 112 242
3 208 202 61 57
4 179 188 244 72
4 189 179 204 207
5 187 243 245 246
4 0 0 175 182
2 26 27 228 38
3 28 29 249 49
3 89 86 57 58
4 188 250 209 251
3 92 89 61 57
3 86 92 58 61
4 52 164 253 254
5 123 248 252 255
6 0 0 247 256
7 0 0 241 257
4 0 0 183 93
2 66 21 22 17
3 16 16 86 260
4 0 0 261 30
4 50 52 251 253
2 125 27 36 38
3 28 29 264 49
4 71 265 254 251
5 259 262 263 266
2 53 54 228 38
3 92 268 61 57
4 52 147 269 72
3 28 29 196 29
4 271 179 59 62
5 70 33 270 272
6 0 0 267 273
2 21 26 17 228
3 16 16 275 51
4 0 0 32 276
2 26 54 18 22
3 31 28 31 278
3 29 31 86 87
4 279 280 62 72
5 77 277 190 281
3 16 16 208 170
4 0 0 133 283
3 16 16 111 203
4 0 0 120 285
3 28 29 99 86
2 53 79 18 156
3 31 28 87 288
4 287 289 59 62
3 29 31 56 113
3 28 29 121 56
2 53 66 0 0
2 21 26 0 0
3 55 56 293 294
4 291 292 72 295
5 284 286 290 296
6 0 0 282 297
7 0 0 274 298
8 0 0 258 299
3 16 16 119 208
4 0 0 242 301
3 16 16 55 56
2 79 21 14 14
2 53 14 14 14
3 16 16 304 305
4 0 0 303 306
2 53 79 114 38
3 31 28 113 308
3 29 31 203 113
2 79 21 0 0
3 60 55 311 57
1 2 15 0 0
2 313 21 0 0
3 56 60 58 314
4 309 310 312 315
3 28 29 308 203
2 27 21 14 14
2 26 14 14 14
3 318 319 304 305
3 55 56 45 45
2 54 21 14 14
3 322 305 45 45
4 317 320 321 323
5 302 307 316 324
2 0 0 14 4
2 14 14 14 14
1 2 0 0 2
2 328 1 7 1
3 16 326 327 329
4 0 0 330 0
3 327 329 327 329
1 0 2 2 0
2 328 1 7 333
2 14 0 0 0
3 327 334 45 335
4 332 0 336 0
5 331 0 337 0
6 0 0 325 338
7 0 0 339 0
8 0 0 340 0
9 0 0 300 341
10 0 0 218 342
11 0 0 343 0
12 0 0 344 0
13 0 0 345 0
14 0 346 0 0