-
Notifications
You must be signed in to change notification settings - Fork 13
/
rook_contiguity_old.gal
6171 lines (6171 loc) · 98 KB
/
rook_contiguity_old.gal
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
350
351
352
353
354
355
356
357
358
359
360
361
362
363
364
365
366
367
368
369
370
371
372
373
374
375
376
377
378
379
380
381
382
383
384
385
386
387
388
389
390
391
392
393
394
395
396
397
398
399
400
401
402
403
404
405
406
407
408
409
410
411
412
413
414
415
416
417
418
419
420
421
422
423
424
425
426
427
428
429
430
431
432
433
434
435
436
437
438
439
440
441
442
443
444
445
446
447
448
449
450
451
452
453
454
455
456
457
458
459
460
461
462
463
464
465
466
467
468
469
470
471
472
473
474
475
476
477
478
479
480
481
482
483
484
485
486
487
488
489
490
491
492
493
494
495
496
497
498
499
500
501
502
503
504
505
506
507
508
509
510
511
512
513
514
515
516
517
518
519
520
521
522
523
524
525
526
527
528
529
530
531
532
533
534
535
536
537
538
539
540
541
542
543
544
545
546
547
548
549
550
551
552
553
554
555
556
557
558
559
560
561
562
563
564
565
566
567
568
569
570
571
572
573
574
575
576
577
578
579
580
581
582
583
584
585
586
587
588
589
590
591
592
593
594
595
596
597
598
599
600
601
602
603
604
605
606
607
608
609
610
611
612
613
614
615
616
617
618
619
620
621
622
623
624
625
626
627
628
629
630
631
632
633
634
635
636
637
638
639
640
641
642
643
644
645
646
647
648
649
650
651
652
653
654
655
656
657
658
659
660
661
662
663
664
665
666
667
668
669
670
671
672
673
674
675
676
677
678
679
680
681
682
683
684
685
686
687
688
689
690
691
692
693
694
695
696
697
698
699
700
701
702
703
704
705
706
707
708
709
710
711
712
713
714
715
716
717
718
719
720
721
722
723
724
725
726
727
728
729
730
731
732
733
734
735
736
737
738
739
740
741
742
743
744
745
746
747
748
749
750
751
752
753
754
755
756
757
758
759
760
761
762
763
764
765
766
767
768
769
770
771
772
773
774
775
776
777
778
779
780
781
782
783
784
785
786
787
788
789
790
791
792
793
794
795
796
797
798
799
800
801
802
803
804
805
806
807
808
809
810
811
812
813
814
815
816
817
818
819
820
821
822
823
824
825
826
827
828
829
830
831
832
833
834
835
836
837
838
839
840
841
842
843
844
845
846
847
848
849
850
851
852
853
854
855
856
857
858
859
860
861
862
863
864
865
866
867
868
869
870
871
872
873
874
875
876
877
878
879
880
881
882
883
884
885
886
887
888
889
890
891
892
893
894
895
896
897
898
899
900
901
902
903
904
905
906
907
908
909
910
911
912
913
914
915
916
917
918
919
920
921
922
923
924
925
926
927
928
929
930
931
932
933
934
935
936
937
938
939
940
941
942
943
944
945
946
947
948
949
950
951
952
953
954
955
956
957
958
959
960
961
962
963
964
965
966
967
968
969
970
971
972
973
974
975
976
977
978
979
980
981
982
983
984
985
986
987
988
989
990
991
992
993
994
995
996
997
998
999
1000
3085
1 3
23 31 41
2 3
3 4 70
3 4
2 5 63 70
4 7
2 28 32 43 56 69 70
5 4
3 6 29 63
6 3
5 7 29
7 4
6 8 29 50
8 9
7 9 44 50 60 64 71 87 89
9 3
8 10 44
10 3
9 11 44
11 4
10 12 44 47
12 3
11 24 47
13 4
14 27 33 36
14 3
13 15 33
15 5
14 16 30 33 37
16 4
15 17 30 34
17 4
16 18 34 42
18 3
17 19 42
19 5
18 20 39 42 46
20 4
19 21 39 40
21 3
20 22 40
22 4
21 23 38 40
23 4
1 22 38 41
24 4
12 25 47 79
25 5
24 26 67 79 88
26 5
25 27 36 61 67
27 3
13 26 36
28 2
4 32
29 7
5 6 7 50 62 63 66
30 5
15 16 34 37 76
31 4
1 35 41 73
32 4
4 28 43 48
33 6
13 14 15 36 37 57
34 6
16 17 30 42 74 76
35 5
31 51 73 121 134
36 6
13 26 27 33 59 61
37 6
15 30 33 57 76 78
38 7
22 23 40 41 53 54 55
39 5
19 20 40 46 52
40 7
20 21 22 38 39 52 53
41 9
1 23 31 38 55 65 73 97 100
42 7
17 18 19 34 46 74 75
43 6
4 32 48 56 81 90
44 6
8 9 10 11 47 60
45 1
58
46 6
19 39 42 52 75 77
47 8
11 12 24 44 60 79 82 99
48 4
32 43 49 81
49 1
48
50 7
7 8 29 62 64 87 96
51 2
35 2892
52 7
39 40 46 53 77 83 84
53 6
38 40 52 54 84 85
54 8
38 53 55 65 68 85 94 95
55 5
38 41 54 65 68
56 4
4 43 69 90
57 7
33 37 59 78 102 103 104
58 3
45 86 93
59 5
36 57 61 80 102
60 5
8 44 47 71 82
61 6
26 36 59 67 80 114
62 7
29 50 66 96 101 118 125
63 7
3 5 29 66 70 101 111
64 3
8 50 87
65 6
41 54 55 95 100 115
66 4
29 62 63 101
67 7
25 26 61 88 114 126 127
68 2
54 55
69 8
4 56 70 90 110 120 139 140
70 7
2 3 4 63 69 110 111
71 7
8 60 82 89 119 133 162
72 2
86 108
73 5
31 35 41 97 121
74 6
34 42 75 76 106 107
75 7
42 46 74 77 91 105 106
76 8
30 34 37 74 78 92 107 109
77 5
46 52 75 83 91
78 6
37 57 76 92 104 122
79 8
24 25 47 88 99 135 137 138
80 4
59 61 102 114
81 4
43 48 90 108
82 5
47 60 71 99 119
83 6
52 77 84 91 105 112
84 6
52 53 83 85 112 113
85 5
53 54 84 94 113
86 5
58 72 93 108 117
87 9
8 50 64 89 96 125 128 145 146
88 5
25 67 79 127 137
89 6
8 71 87 128 162 180
90 6
43 56 69 81 108 120
91 4
75 77 83 105
92 5
76 78 109 122 123
93 5
58 86 117 131 132
94 6
54 85 95 113 115 116
95 4
54 65 94 115
96 4
50 62 87 125
97 8
41 73 100 121 129 130 173 174
98 4
160 161 169 229
99 5
47 79 82 119 138
100 5
41 65 97 115 129
101 5
62 63 66 111 118
102 6
57 59 80 103 114 144
103 5
57 102 104 144 151
104 5
57 78 103 122 151
105 7
75 83 91 106 112 148 150
106 6
74 75 105 107 148 149
107 6
74 76 106 109 123 149
108 7
72 81 86 90 117 120 132
109 4
76 92 107 123
110 4
69 70 111 139
111 10
63 70 101 110 118 139 143 156 157 166
112 6
83 84 105 113 150 153
113 7
84 85 94 112 116 153 154
114 6
61 67 80 102 126 144
115 7
65 94 95 100 116 129 142
116 6
94 113 115 142 154 155
117 4
86 93 108 132
118 5
62 101 111 125 156
119 7
71 82 99 133 138 183 3085
120 7
69 90 108 132 140 170 195
121 8
35 73 97 130 134 168 181 189
122 7
78 92 104 123 141 151 152
123 7
92 107 109 122 141 149 167
124 3
136 147 187
125 7
62 87 96 118 145 156 165
126 6
67 114 127 144 190 215
127 8
67 88 126 137 163 164 196 215
128 5
87 89 146 180 207
129 5
97 100 115 142 173
130 4
97 121 174 181
131 3
93 132 172
132 8
93 108 117 120 131 170 171 172
133 4
71 119 162 3085
134 4
35 121 136 168
135 6
79 137 138 163 183 191
136 5
124 134 168 186 188
137 5
79 88 127 135 163
138 5
79 99 119 135 183
139 6
69 110 111 140 157 158
140 7
69 120 139 158 195 198 210
141 5
122 123 152 167 179
142 7
115 116 129 155 173 192 193
143 4
111 157 166 199
144 8
102 103 114 126 151 178 190 202
145 9
87 125 146 156 165 199 228 256 264
146 5
87 128 145 207 228
147 4
124 159 187 200
148 5
105 106 149 150 175
149 7
106 107 123 148 167 175 201
150 6
105 112 148 153 175 176
151 7
103 104 122 144 152 178 179
152 4
122 141 151 179
153 6
112 113 150 154 176 177
154 7
113 116 153 155 177 197 209
155 5
116 142 154 192 197
156 7
111 118 125 145 165 166 199
157 6
111 139 143 158 198 199
158 4
139 140 157 198
159 4
147 200 2898 2903
160 6
98 161 169 230 307 312
161 3
98 160 169
162 7
71 89 133 180 185 212 3085
163 7
127 135 137 164 191 196 233
164 3
127 163 196
165 3
125 145 156
166 4
111 143 156 199
167 5
123 141 149 179 205
168 6
121 134 136 188 189 222
169 6
98 160 161 229 307 343
170 7
120 132 171 194 195 225 226
171 5
132 170 172 184 194
172 4
131 132 171 184
173 6
97 129 142 174 193 216
174 6
97 130 173 181 213 216
175 6
148 149 150 176 201 203
176 6
150 153 175 177 203 206
177 5
153 154 176 206 208
178 4
144 151 179 202
179 7
141 151 152 167 178 202 204
180 5
89 128 162 185 207
181 7
121 130 174 189 213 221 238
182 2
184 217
183 5
119 135 138 191 3085
184 6
171 172 182 194 218 225
185 4
162 180 207 212
186 4
136 187 188 231
187 5
124 147 186 200 232
188 6
136 168 186 222 224 231
189 4
121 168 181 221
190 6
126 144 202 215 263 281
191 5
135 163 183 233 3085
192 5
142 155 193 197 220
193 5
142 173 192 216 219
194 4
170 171 184 225
195 8
120 140 170 210 214 223 226 227
196 7
127 163 164 215 233 282 284
197 6
154 155 192 209 220 237
198 7
140 157 158 199 210 211 286
199 9
143 145 156 157 166 198 211 256 269
200 8
147 159 187 232 247 2903 2911 2916
201 5
149 175 203 205 234
202 6
144 178 179 190 204 263
203 6
175 176 201 206 234 235
204 6
179 202 205 239 263 272
205 6
167 201 204 234 239 240
206 7
176 177 203 208 235 236 260
207 8
128 146 180 185 212 228 309 326
208 4
177 206 209 236
209 6
154 197 208 236 237 249
210 6
140 195 198 214 271 286
211 4
198 199 269 286
212 5
162 185 207 309 3085
213 4
174 181 216 238
214 5
195 210 223 227 271
215 7
126 127 190 196 281 283 284
216 9
173 174 193 213 219 238 242 245 250
217 5
182 218 243 270 273
218 5
184 217 225 241 243
219 5
193 216 220 245 246
220 5
192 197 219 237 246
221 5
181 189 222 238 244
222 6
168 188 221 224 244 252
223 3
195 214 227
224 5
188 222 231 252 261
225 6
170 184 194 218 226 241
226 5
170 195 225 227 241
227 8
195 214 223 226 241 254 271 300
228 7
145 146 207 264 297 326 354
229 3
98 169 343
230 4
160 248 312 339
231 6
186 188 224 232 253 262
232 5
187 200 231 247 253
233 6
163 191 196 280 282 3085
234 6
201 203 205 235 240 257
235 5
203 206 234 257 258
236 7
206 208 209 249 260 265 266
237 6
197 209 220 246 249 255
238 6
181 213 216 221 242 244
239 5
204 205 240 272 308
240 6
205 234 239 257 292 305
241 6
218 225 226 227 243 254
242 6
216 238 250 259 287 288
243 5
217 218 241 254 270
244 6
221 222 238 252 259 268
245 6
216 219 246 250 267 295
246 6
219 220 237 245 255 267
247 6
200 232 253 274 2916 2925
248 6
230 251 339 350 373 413
249 6
209 236 237 255 266 289
250 5
216 242 245 287 295
251 4
248 275 344 350
252 7
222 224 244 261 268 290 296
253 6
231 232 247 262 274 298
254 6
227 241 243 270 300 304
255 6
237 246 249 267 289 291
256 6
145 199 264 269 299 336
257 6
234 235 240 258 292 293
258 5
235 257 260 293 294
259 6
242 244 268 288 290 301
260 6
206 236 258 265 294 319
261 4
224 252 262 296
262 6
231 253 261 296 298 317
263 6
190 202 204 272 281 322
264 6
145 228 256 297 336 347
265 6
236 260 266 302 319 333
266 5
236 249 265 289 302
267 5
245 246 255 291 295
268 4
244 252 259 290
269 6
199 211 256 286 299 342
270 6
217 243 254 273 304 314
271 6
210 214 227 286 300 327
272 5
204 239 263 322 335
273 4
217 270 314 351
274 6
247 253 298 316 325 2925
275 4
251 278 306 344
276 3
277 279 311
277 4
276 278 303 311
278 4
275 277 303 306
279 4
276 285 311 330
280 7
233 282 318 374 382 386 3085
281 6
190 215 263 283 322 371
282 6
196 233 280 284 328 374
283 6
215 281 284 328 371 442
284 5
196 215 282 283 328
285 4
279 330 377 2926
286 8
198 210 211 269 271 327 342 384
287 5
242 250 288 295 310
288 5
242 259 287 301 310
289 7
249 255 266 291 302 321 334
290 7
252 259 268 296 301 313 332
291 7
255 267 289 295 315 320 321
292 5
240 257 293 305 329
293 7
257 258 292 294 329 355 358
294 6
258 260 293 319 358 359
295 9
245 250 267 287 291 310 315 337 340
296 6
252 261 262 290 313 317
297 5
228 264 347 354 388
298 7
253 262 274 317 323 324 325
299 5
256 269 336 342 376
300 6
227 254 271 304 327 345
301 6
259 288 290 310 331 332
302 5
265 266 289 333 334
303 5
277 278 306 311 338
304 6
254 270 300 314 345 351
305 6
240 292 308 329 355 372
306 6
275 278 303 338 344 356
307 6
160 169 312 343 346 348
308 5
239 305 335 372 387
309 8
207 212 318 326 383 389 394 3085
310 6
287 288 295 301 331 340
311 7
276 277 279 303 330 338 349
312 6
160 230 307 339 348 385
313 7
290 296 317 332 341 362 367
314 4
270 273 304 351
315 6
291 295 320 337 364 365
316 6
274 325 353 2925 2934 2946
317 6
262 296 298 313 323 341
318 8
280 309 386 389 422 452 458 3085
319 6
260 265 294 333 359 363
320 5
291 315 321 361 364
321 5
289 291 320 334 361
322 5
263 272 281 335 371
323 5
298 317 324 341 370
324 5
298 323 325 370 380
325 7
274 298 316 324 353 375 380
326 5
207 228 309 354 383
327 5
271 286 300 345 384
328 6
282 283 284 374 431 442
329 4
292 293 305 355
330 7
279 285 311 349 377 414 416
331 6
301 310 332 340 352 357
332 7
290 301 313 331 357 362 366
333 6
265 302 319 334 368 369
334 6
289 302 321 333 360 369
335 7
272 308 322 371 387 398 420
336 7
256 264 299 347 376 395 415
337 6
295 315 340 352 365 378
338 5
303 306 311 349 356
339 5
230 248 312 373 385
340 5
295 310 331 337 352
341 5
313 317 323 367 370
342 8
269 286 299 376 384 395 421 603
343 3
169 229 307
344 9
251 275 306 350 356 390 418 427 428
345 7
300 304 327 351 384 424 425
346 2
307 348
347 5
264 297 336 381 415
348 4
307 312 346 385
349 7
311 330 338 356 390 399 414
350 6
248 251 344 413 418 429
351 6
273 304 314 345 391 424
352 7
331 337 340 357 378 400 406
353 6
316 325 375 419 2946 2972
354 6
228 297 326 383 388 423
355 9
293 305 329 358 372 393 396 417 432
356 5
306 338 344 349 390
357 6
331 332 352 366 400 403
358 5
293 294 355 359 393
359 6
294 319 358 363 392 393
360 4
334 361 369 401
361 5
320 321 360 364 402
362 5
313 332 366 367 408
363 6
319 359 368 392 410 411
364 6
315 320 361 365 402 404
365 6
315 337 364 378 404 405
366 4
332 357 362 403
367 6
313 341 362 370 408 409
368 5
333 363 369 411 412
369 6
333 334 360 368 401 412
370 7
323 324 341 367 380 407 409
371 7
281 283 322 335 398 433 442
372 5
305 308 355 387 396
373 4
248 339 385 413
374 6
280 282 328 382 386 431
375 4
325 353 380 419
376 4
299 336 342 395
377 7
285 330 379 416 454 459 2926
378 5
337 352 365 405 406
379 7
377 459 484 507 2926 2950 2974
380 6
324 325 370 375 407 419
381 7
347 388 397 415 421 474 502
382 3
280 374 386
383 6
309 326 354 394 422 423
384 7
286 327 342 345 425 603 606
385 4
312 339 348 373
386 8
280 318 374 382 431 452 548 562
387 6
308 335 372 396 420 455
388 9
297 354 381 397 423 473 475 479 525
389 4
309 318 394 422
390 7
344 349 356 399 428 457 462
391 6
351 424 426 490 494 518
392 6
359 363 393 410 434 449
393 5
355 358 359 392 434
394 4
309 383 389 422
395 5
336 342 376 415 421
396 5
355 372 387 417 456
397 4
381 388 473 474
398 5
335 371 420 433 451
399 4
349 390 414 457
400 6
352 357 403 406 440 445
401 7
360 369 402 412 435 436 448
402 5
361 364 401 404 448
403 6
357 366 400 408 437 440
404 6
364 365 402 405 443 448
405 7
365 378 404 406 443 444 447
406 6
352 378 400 405 445 447
407 6
370 380 409 419 439 441
408 7
362 367 403 409 437 438 446
409 6
367 370 407 408 441 446
410 5
363 392 411 449 450
411 5
363 368 410 412 450
412 6
368 369 401 411 435 450
413 4
248 350 373 429
414 7
330 349 399 416 454 457 495
415 5
336 347 381 395 421
416 4
330 377 414 454
417 5
355 396 432 456 491
418 4
344 350 427 429
419 8
353 375 380 407 430 439 453 2972
420 7
335 387 398 451 455 488 489
421 7
342 381 395 415 502 603 604
422 7
318 383 389 394 423 458 485
423 7
354 383 388 422 479 485 486
424 7
345 351 391 425 490 595 605
425 5
345 384 424 605 606
426 2
391 494
427 6
344 418 428 429 460 472
428 6
344 390 427 462 472 476
429 5
350 413 418 427 460
430 5
419 453 470 471 2972
431 5
328 374 386 442 548
432 5
355 417 434 491 492
433 7
371 398 442 451 487 530 531
434 8
392 393 432 449 450 478 492 510
435 6
401 412 436 450 477 481
436 6
401 435 448 461 480 481
437 5
403 408 438 440 464
438 5
408 437 446 464 468
439 5
407 419 441 453 483
440 5
400 403 437 445 466
441 6
407 409 439 446 469 482
442 7
283 328 371 431 433 531 552
443 5
404 405 444 448 463
444 4
405 443 447 465
445 7
400 406 440 447 466 467 504
446 5
408 409 438 441 469
447 5
405 406 444 445 467
448 6
401 402 404 436 443 461
449 4
392 410 434 450
450 8
410 411 412 434 435 449 477 478
451 5
398 420 433 487 488
452 4
318 386 458 562
453 5
419 430 439 471 483
454 8
377 414 416 459 484 495 496 516
455 4
387 420 456 493
456 4
396 417 455 493
457 7
390 399 414 462 495 520 521
458 8
318 422 452 485 532 562 598 666
459 4
377 379 454 484
460 4
427 429 472 509
461 5
436 448 463 480 497
462 5
390 428 457 476 521
463 4
443 461 465 498
464 5
437 438 466 468 506
465 4
444 463 467 501
466 4
440 445 464 505
467 4
445 447 465 503
468 4
438 464 469 500
469 5
441 446 468 482 499
470 6
430 471 515 2972 2988 3008
471 7
430 453 470 483 515 524 543
472 7
427 428 460 476 509 522 523
473 5
388 397 474 475 512
474 5
381 397 473 502 512
475 4
388 473 512 525
476 5
428 462 472 521 523
477 6
435 450 478 481 510 511
478 4
434 450 477 510
479 5
388 423 486 525 545
480 7
436 461 481 497 519 533 541
481 6
435 436 477 480 511 519
482 5
441 469 483 499 528
483 6
439 453 471 482 524 527
484 6
379 454 459 496 507 513
485 6
422 423 458 486 532 553
486 5
423 479 485 545 553
487 6
433 451 488 530 550 599
488 5
420 451 487 489 550
489 7
420 488 493 550 577 596 600
490 4
391 424 518 595
491 6
417 432 492 493 514 517
492 5
432 434 491 508 510
493 9
455 456 489 491 514 577 579 581 583
494 4
391 426 518 602
495 6
414 454 457 516 520 544
496 4
454 484 513 516
497 4
461 480 498 533
498 5
463 497 501 533 534
499 4
469 482 500 529
500 5