-
Notifications
You must be signed in to change notification settings - Fork 5
/
Copy pathcho-2-intermediate.sgf
863 lines (863 loc) · 81.1 KB
/
cho-2-intermediate.sgf
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
(;C[Cho Chikun's Encyclopedia of Life & Death (Vol 1)]
(;AB[bh][cb][cc][cd][ce][cf][cg][ci][eb]AW[ba][bb][bc][bd][be]C[problem 1])
(;AB[ab][bg][bh][cb][cc][cd][ce][cf][eb]AW[ag][ba][bb][bc][bd][be][bf]C[problem 2])
(;AB[af][ag][bh][cb][cc][cd][ce][cf][cg][ch][eb]AW[ba][bb][bc][bd][be][bf][bg]C[problem 3])
(;AB[bh][cb][cc][cd][ce][cf][cg][ch][eb]AW[bb][bc][bd][be][bf][bg]C[problem 4])
(;AB[bf][cd][ce][cf][dc][ec][fb][fc]AW[bb][be][cc][db][ea][eb]C[problem 5])
(;AB[bc][bd][be][cd][db][dc][dd]AW[bf][cb][cc][ce][cg][da][de][eb][ec][ed]C[problem 6])
(;AB[bd][cb][cd][ce][cf][db][dc][dd][de][ec][ee][fd]AW[ad][bc][be][bf][bh][cc][cg][df][eb][ef][fb][fe][ff][gc][gd]C[problem 7])
(;AB[cb][cd][ce][cf][cg][db][dc][dd]AW[bc][be][bf][bg][cc][ch][de][df][dg][dh][eb][ec][ed]C[problem 8])
(;AB[bd][cb][cd][ce][cf][cg][db][dc][dd]AW[bb][bc][be][bf][bg][cc][ch][de][df][dg][dh][eb][ec][ed]C[problem 9])
(;AB[af][bf][cd][ce][cg][dc][eb][ed]AW[ae][bc][bd][be][ca][cc]C[problem 10])
(;AB[af][bf][cc][cd][ce][cf][da][db]AW[ae][bb][bc][bd][be][ca]C[problem 11])
(;AB[af][bf][cc][cd][ce][cf][da][db][ec]AW[ae][bb][bc][bd][be][cb]C[problem 12])
(;AB[bb][bc][bd][be][cb]AW[bf][bh][cc][cd][ce][cf][db][ec]C[problem 13])
(;AB[ab][bf][bh][cc][cd][ce][cf][da][db][ec]AW[bb][bc][bd][be][ca][cb]C[problem 14])
(;AB[ab][ac][af][bf][cc][cd][ce][da][db]AW[ae][bb][bc][bd][ca][cb]C[problem 15])
(;AB[bb][bc][bd][be][bf][ca][cb]AW[ab][ac][af][bg][bh][cc][cd][ce][cf][db][dc][fb]C[problem 16])
(;AB[bb][bc][bd][cb][db]AW[be][bg][cc][cd][ce][dc][eb][ec][gb]C[problem 17])
(;AB[ae][bf][bg][cc][cd][ce][dc][eb][ec][gb]AW[bb][bc][bd][be][cb][db]C[problem 18])
(;AB[ae][be][cc][cd][ce][dc][eb][ec]AW[ad][bb][bc][bd][cb][db]C[problem 19])
(;AB[ae][be][cd][ce][dc][eb][ec]AW[ad][bb][bc][bd][cb][db]C[problem 20])
(;AB[ab][ac][be][bg][ce][db][dc][dd][de][fb]AW[ad][bb][bd][ca][cb][cc][cd]C[problem 21])
(;AB[ae][bb][bc][bd][be][cb][db]AW[ab][ac][af][bf][cc][cd][ce][cf][dc][eb][ec]C[problem 22])
(;AB[ae][ba][be][cd][ce][dd][ea][eb][ec][ed]AW[bb][bc][bd][cc][da][db][dc]C[problem 23])
(;AB[db][ef][fc][fd][fe][ff][ga][gb]AW[da][dc][de][ea][ec][ed][ee]C[problem 24])
(;AB[aa][ae][ba][bc][bd][be][cb]AW[bf][ca][cd][ce][cf][da][db][dc]C[problem 25])
(;AB[af][ba][bb][bd][be][cb][cd][dc]AW[ae][bf][bh][ca][ce][cf][db][dd][eb][ed][gb]C[problem 26])
(;AB[ab][ad][ae][bb][bd][be]AW[af][bf][cd][ce][cf][dc][eb][fc]C[problem 27])
(;AB[ba][bb][bc][bf][bg][cd][cf]AW[ad][af][bh][bi][ca][cb][cc][cg][dd][df][dg][ec]C[problem 28])
(;AB[af][bf][cg][db][dc][dd][de][df]AW[ab][bb][be][cb][cd]C[problem 29])
(;AB[ba][bb][bd][bf][cb][cd][ce][db][dc]AW[ab][ag][bc][bg][ca][cf][da][dd][de][df][ea][eb][ec]C[problem 30])
(;AB[ac][bb][bd][cb][cd][da][db]AW[ad][ae][ba][be][ce][dd][de][ea][eb][ec]C[problem 31])
(;AB[ad][af][bf][ca][cf][db][de][df][eb][fc][fd]AW[ac][ba][bb][be][cb][cd][ce][dc][ec]C[problem 32])
(;AB[bf][cb][cf][db][df][ec][ed][ee]AW[ad][ba][bb][bc][cc][dc][dd][de]C[problem 33])
(;AB[ag][bd][cd][cf][ci][cj][db][dd][de][di][eh][fe][fg]AW[ad][ba][bb][bc][be][bh][ce][ch][df][dg]C[problem 34])
(;AB[ai][bd][cd][cf][ci][cj][db][dd][de][di][eh][fe][fg]AW[ad][ba][bb][bc][be][bf][ce][ch][df][dg]C[problem 35])
(;AB[ai][bd][cd][cf][ci][cj][db][dd][de][di][eh][fe][fg]AW[ad][ag][ba][bb][bc][be][ce][ch][df][dg]C[problem 36])
(;AB[ag][bg][bi][cb][cg][db][dc][dd][de][df]AW[af][ba][bb][bc][be][bf][cf]C[problem 37])
(;AB[ag][bg][cb][cg][dc][dd][de][df]AW[ab][af][bb][bc][bd][bf]C[problem 38])
(;AB[af][bf][cf][db][dc][dd][de][df]AW[aa][ae][bb][bc][be][cb][ce]C[problem 39])
(;AB[be][bf][da][dd][de][df][fa][fb][fc][fd]AW[ab][ae][bb][bc][bd][ca][dc][ec]C[problem 40])
(;AB[af][bf][cf][dd][df][eb][ec][ee]AW[ba][bb][cb][cd][ce][db]C[problem 41])
(;AB[be][ce][ch][db][de][ee][fb][fc][fd]AW[ab][ad][bb][bc][bd][dd][ed]C[problem 42])
(;AB[ad][be][ce][ch][de][ec][ee][fb][fc][fd]AW[ab][bb][bc][bd][cd][db][dd][ed]C[problem 43])
(;AB[ab][bc][bd][be][cc][eb]AW[bf][cb][cd][ce][cf][da][dc][ec]C[problem 44])
(;AB[ad][af][bb][bd][be][bf][cc]AW[bc][bg][cb][cd][ce][cf][cg][db][dd]C[problem 45])
(;AB[bg][bi][cb][cd][cg][db][dd][df]AW[ba][bb][bc][bd][bf]C[problem 46])
(;AB[ag][bg][bi][cb][cd][cg][db][dd][de][df]AW[ba][bb][bc][bd][bf][ce]C[problem 47])
(;AB[bg][cb][cd][cf][ch][db][dd][df][ee]AW[ba][bb][bc][bd][bf][ce]C[problem 48])
(;AB[bb][bc][bd][bf][bg]AW[bh][cb][cd][cf][ch][db][dd][df]C[problem 49])
(;AB[bg][bi][cg][db][dc][dd][de][df]AW[bb][bc][bd][be][bf]C[problem 50])
(;AB[ab][af][bg][bi][cg][db][dc][dd][de][df]AW[ae][bb][bc][bd][be][bf][ca]C[problem 51])
(;AB[ae][bb][bf][bg][cb][cc][cd][ce][dc][ea][eb][ec]AW[ab][ac][bc][bd][be][bh][cf][cg][ch][da][de][fa][fb][fc][fd][fe]C[problem 52])
(;AB[bb][bc][bd][bf][cd][ch][dc][dd][de][df][dg]AW[ba][bh][bi][cb][cc][cf][cg][db][dh][di][eb][ec][ed][ee][ef][eg]C[problem 53])
(;AB[ab][bb][cb][cc][cd][ce][cf]AW[ac][af][bd][bg][cg][db][de][df][dh][ec][fe]C[problem 54])
(;AB[bd][be][bf][bg][bh][cf][db][df][ed][ee][ef]AW[bi][cb][cc][ce][cg][ch][ci][dd][de][ec][eg][fc][fd][fg][gf]C[problem 55])
(;AB[bd][be][bf][bg][bh][cf][db][df][ed][ee][ef]AW[bb][bi][cc][ce][cg][ch][ci][dd][de][ec][eg][fc][fd][fg][gf]C[problem 56])
(;AB[ab][bb][cb][da][db][dc][dd][de][eb]AW[ba][bc][cd][cf][ch][df][ea][ec][ed][ee][fb][gc]C[problem 57])
(;AB[aj][bc][bd][bg][bj][ce][cj][da][de][di][dj][ea][ee][eh][fa][fb][fc][fd][fe][fg]AW[af][ai][be][bf][bi][ca][cb][cc][cd][cf][ch][ci][db][dd][df][dg][dh][eb][ec][ed]C[problem 58])
(;AB[ab][ae][aj][bb][bh][bj][cb][cc][ci][cj][dd][de][df][dh][ei]AW[ac][ai][bc][bd][be][bg][bi][ce][cf][cg][ch]C[problem 59])
(;AB[bb][bd][be][cb][cd][dc]AW[bf][cc][ce][cg][db][dd][de][eb][fc]C[problem 60])
(;AB[bf][bh][cb][cc][cf][ch][ci][dc][dd][de][df][dg]AW[af][ag][bb][bc][be][bg][ca][ce][cg][db][dh][eb][ec][eg][eh][fe]C[problem 61])
(;AB[bb][bc][be][bf][bg][cc][ce]AW[bh][cb][cd][cf][cg][ch][db][dc][de][ee]C[problem 62])
(;AB[bb][bc][be][cc][ce]AW[cb][cd][ch][db][dc][de][df]C[problem 63])
(;AB[bb][bc][be][bf][cc][dd][de]AW[ba][bg][cb][cf][cg][dc][eb][ed][ee][ef]C[problem 64])
(;AB[bc][be][bf][ce][dd][de]AW[bg][cb][cf][ch][dc][df][eb][ed][ee]C[problem 65])
(;AB[ab][bb][bc][be][bg][cc][cd][cf][cg][ch]AW[ad][ai][ba][bd][bh][cb][ce][ci][db][dd][df][dh][di][ed][ee][ef][fh]C[problem 66])
(;AB[bb][bc][be][bf][cd][dd]AW[cb][cc][ce][cf][cg][ch][ci][dc][de][ed][gc]C[problem 67])
(;AB[bg][bi][cb][cc][ce][cf][cg][dc][ed][ef]AW[ba][bb][bc][be][bf][cd]C[problem 68])
(;AB[ag][bf][bg][cb][cc][cf][dc][dd][de]AW[ae][af][ba][bb][bc][be][cd]C[problem 69])
(;AB[af][bf][ce][cf][db][dd][ec][ed]AW[ae][ba][bc][be][cd][dc]C[problem 70])
(;AB[ba][bb][bd][be][cc]AW[af][bf][cd][ce][cf][db][dc]C[problem 71])
(;AB[af][bf][cb][cf][db][dc][dd]AW[ab][ba][bb][bd][be][cc]C[problem 72])
(;AB[af][bf][ca][ce][cf][da][db][dc][dd]AW[ab][ba][bb][bd][be][cb]C[problem 73])
(;AB[ad][be][bf][cf][da][de][df][ea][eb][ec][ed]AW[ab][ba][bb][bd][cd][ce][db][dc][dd]C[problem 74])
(;AB[bg][bi][cb][cd][ce][cf][cg][db][dd][ec]AW[ba][bb][bd][be][bf][cc]C[problem 75])
(;AB[bg][bi][cb][cd][cf][cg][db][dd][ec]AW[ba][bb][bd][be][bf][cc]C[problem 76])
(;AB[bb][bd][be][bf][ca][cc]AW[bg][bi][cb][cd][cf][cg][db][dc][dd]C[problem 77])
(;AB[bb][bd][be][ca][cc]AW[cb][ce][cf][cg][ch][db][dd][ec]C[problem 78])
(;AB[aa][bb][bf][ca][ce][cf][db][dd][eb][ec][ed]AW[ab][ac][bc][bd][be][cb][cc][dc]C[problem 79])
(;AB[ac][ae][bd][bf][bg][cb][cg][db][dc][dd][de][df]AW[ab][bb][bc][be][cc][cd][ce][cf]C[problem 80])
(;AB[bc][bd][be][cb][cc][ce][dc][dd]AW[aa][bb][bf][ca][cf][db][de][df][eb][ec][ed]C[problem 81])
(;AB[bc][be][bf][bg][cb][cc][cd][ce]AW[aa][ad][bb][bd][bh][ca][cf][cg][ci][db][de][ec][ee]C[problem 82])
(;AB[de][df][ec][ee][fb][fc][fe][gc][gd][ge][hc][ib][ic][id]AW[da][dg][eb][ed][ef][eh][fa][fd][ff][gb][gf][hb][hd][he][ia][ie][jb][jc][jd][je]C[problem 83])
(;AB[aa][ag][bb][bd][bf][bh][ca][cd][cf][db][df][eb][ed][ee][fa][fe][gb][gc][gd][ge]AW[ae][af][bc][be][cb][cc][ce][dc][dd][de][ec][fb][fc][fd]C[problem 84])
(;AB[ae][af][bb][bf][ca][cf][df][eb][ed][ee][ef][fb][fc]AW[ba][bd][be][cc][ce][da][dc][dd][de][ec]C[problem 85])
(;AB[ac][bb][bc][bg][ca][cc][dc][dd][de][df][dg]AW[ad][bd][bf][bh][cb][cd][ce][ch][db][dh][eb][ec][ed][ee][ef][eg]C[problem 86])
(;AB[ah][bb][bd][bh][cd][ce][cf][cg][ch][db][dc][ec][fc][gc][ha][hb][hc]AW[ad][ae][ag][bc][be][bf][bg][cb][cc][da][ea][eb][fb][ga][gb]C[problem 87])
(;AB[bb][bf][ca][ce][cf][cg][ch][da][db][dc][dd][de]AW[ad][af][bc][bd][be][bg][bh][cb][cc][cd][ci][dh][di][ee][eg][fb][fc][fe]C[problem 88])
(;AB[ad][be][bf][cc][ce][dc][dd][de]AW[ab][bd][bg][cb][cd][cf][cg][db][ec][ed][ee][ef]C[problem 89])
(;AB[bc][bd][be][bf][bh][cb][ch][db][de][df][dg][di][ec]AW[ac][af][bb][bg][cc][cd][ce][cf][cg]C[problem 90])
(;AB[bc][bd][be][bf][bg][bi][cb][ci][db][de][df][dg][dh][di][ec]AW[aa][ac][ag][bb][bh][ca][cc][cd][ce][cf][cg][ch]C[problem 91])
(;AB[ac][ad][ah][bb][bh][cc][cg][ch][dc][df][ec][ed][ee][ef]AW[bc][bd][be][bf][bg][cb][cd][cf][dd][de]C[problem 92])
(;AB[ab][ac][ae][ba][be][ce][dd][ea][eb][ec][ed]AW[ad][bb][bc][bd][da][db][dc]C[problem 93])
(;AB[ae][bc][bd][bf][cc][cf][db][dc][dd][de][df]AW[ac][ad][bb][bg][cb][ce][cg][da][dg][eb][ec][ed][ee][ef]C[problem 94])
(;AB[ae][ag][bc][bd][be][bg][cc][ce][cf][db][dc]AW[ac][ad][bb][bh][cb][cg][ci][da][dd][de][df][dg][eb][ec][ed]C[problem 95])
(;AB[bc][cb][cc][dc][dd][de][eb]AW[ac][bb][bd][cd][cf][df][ed][ef][fb][fc]C[problem 96])
(;AB[bc][cb][cd]AW[bd][ce][cf][db][dd][ed][fc]C[problem 97])
(;AB[bd][ce][cf][ch][db][de][ec][ee][fd][gc]AW[bc][be][cb][cd][dd][ed]C[problem 98])
(;AB[be][bg][ce][dd][eb][ec][ee]AW[ba][bd][cd][da][db]C[problem 99])
(;AB[ac][bc][bf][bg][ca][cb][cc][ce]AW[ah][bd][bh][cf][cg][da][db][dc][df][ed][ee]C[problem 100])
(;AB[ab][be][bf][cf][da][db][df][ec][ed][ee][fb]AW[bb][bc][bd][cb][cd][ce][dc][dd][de]C[problem 101])
(;AB[bb][bf][cf][da][db][df][eb][ec][ed][ee]AW[bc][bd][be][ca][cb][ce][dc][dd][de]C[problem 102])
(;AB[bb][bf][cf][db][de][df][eb][ec][ed]AW[bc][bd][be][cb][ce][da][dc][dd]C[problem 103])
(;AB[ad][bd][bf][ce][de][eb][ec][ed]AW[bc][cb][cd][db][dc][dd]C[problem 104])
(;AB[ae][bc][bd][cb][cd][db]AW[be][bf][cc][dc][dd][de][eb][fc]C[problem 105])
(;AB[bc][cb][db]AW[cc][cd][cf][dc][eb][ec]C[problem 106])
(;AB[bb][bc][bd][cb][db]AW[be][cc][cd][ce][cg][eb][ec]C[problem 107])
(;AB[bc][bd][be][cb][db]AW[bf][bh][cc][cd][ce][cg][eb][ec]C[problem 108])
(;AB[bf][cc][cd][ce][cg][eb][ec][ee]AW[bc][bd][be][bi][cb][db]C[problem 109])
(;AB[af][bf][cc][cd][ce][cf][dc][eb][ec]AW[ae][bc][bd][be][cb][db]C[problem 110])
(;AB[ae][ba][bc][bd][bf][bg][cb][db][dc]AW[ab][bb][bh][cc][cd][cf][cg][ch][da][dd][ea][eb][ec][ed]C[problem 111])
(;AB[ac][af][ba][bb][bg][bi][cd][ce][cf][ch][de][eb][ec][ed][gb]AW[ab][ae][bc][bd][be][bf][cb][cc][db][dc][dd]C[problem 112])
(;AB[af][bf][cd][ce][cf][ea][eb][ec]AW[ae][bc][bd][be][da][db]C[problem 113])
(;AB[bf][bh][cc][cg][dc][eb][ec][ee][eg]AW[bc][be][cb][ce][db]C[problem 114])
(;AB[be][bg][ca][cc][cd][de][ee][fa][fb][fc][fd][fe]AW[bb][bc][bd][cb][ea][eb][ec][ed]C[problem 115])
(;AB[be][bg][cc][cd][db][de][ee][fa][fb][fc][fd][fe]AW[ba][bc][bd][cb][da][ea][eb][ec][ed]C[problem 116])
(;AB[bc][cb][db][dc][dd][de][ec][ee][fd]AW[bd][bg][cc][cd][cf][eb][ef][fa][fc][ff][gb][gd][ge]C[problem 117])
(;AB[af][bc][bf][cb][cd][db][dd][de][df][dg]AW[ag][be][bg][cf][ch][ci][dc][eb][ed][eh][fc][fd][ff]C[problem 118])
(;AB[ac][ba][bc][cb][cf][db][dc][df][fg]AW[ab][cc][cd][ce][da][dd][eb][ec][ee]C[problem 119])
(;AB[ad][bd][bf][cc][cd][db]AW[aa][ab][bc][bg][ca][cb][cf][cg][dc][de][ec][fc]C[problem 120])
(;AB[ae][bc][be][bg][cc][cf][df][eb][ef][fb][fc][fd][fe][ff]AW[bb][bd][cd][ce][db][dc][de][ec][ed][ee]C[problem 121])
(;AB[bc][ca][cb][cc][cd][dc][ed][ee][ef][eg]AW[ab][bd][be][cf][ch][dd][de][eb][ec][gc]C[problem 122])
(;AB[ac][bc][be][cb][cc][da]AW[ba][bf][ce][cf][db][dc][dd][eb]C[problem 123])
(;AB[af][bc][bd][bf][cb][cd][ce][cf][db]AW[ae][bb][bg][cc][cg][dc][de][df][dg][ea][eb][ec]C[problem 124])
(;AB[bg][cc][cg][da][db][dc][dd][de][df]AW[aa][ab][ac][ba][bc][bf][ca][cb][cd][ce][cf]C[problem 125])
(;AB[aa][ab][ac][ba][bc][bf][cb][cd][ce][cf]AW[bg][bi][cc][cg][da][db][dc][dd][de][df][dg]C[problem 126])
(;AB[ab][bc][bf][cd][ce][cg][db][dc][dd][eb][fb]AW[bb][bd][cb][cc]C[problem 127])
(;AB[af][bf][ce][cf][db][dc][dd]AW[ab][ae][ba][bd][cc]C[problem 128])
(;AB[af][bf][cd][cf][dd][eb][ec][ef]AW[ab][bd][be][ca][cc][dc]C[problem 129])
(;AB[ba][cb][cc]AW[ca][ce][cf][da][db][dc][dd]C[problem 130])
(;AB[ba][bd][cb][cc]AW[be][bg][cd][ce][db][dc]C[problem 131])
(;AB[ba][cb][cc]AW[bf][ce][db][dc][dd]C[problem 132])
(;AB[ac][bd][cb][cc]AW[ba][be][cd][ce][dc][ec]C[problem 133])
(;AB[bc][ca][cc][db]AW[cd][ce][cg][dc][ea][eb][ec]C[problem 134])
(;AB[ac][bb][bd][cb][cc]AW[ae][ba][be][cd][cf][dc][dd][fc]C[problem 135])
(;AB[bd][cb][cc]AW[be][cd][ce][dc][ec]C[problem 136])
(;AB[bd][be][cb][cc]AW[bf][cd][ce][cf][db][dc][fb]C[problem 137])
(;AB[bf][cd][ce][cf][da][db][dc]AW[bb][bd][be][cb][cc]C[problem 138])
(;AB[ab][bf][cd][ce][cf][da][db][dc]AW[bb][bd][be][ca][cb][cc]C[problem 139])
(;AB[ab][ae][bd][be][cb][cc][da][ea]AW[af][ba][bf][ca][cd][ce][cf][db][dc][ed][fb]C[problem 140])
(;AB[af][bd][be][cb][cc]AW[ae][bf][bh][cd][ce][cf][db][dc]C[problem 141])
(;AB[ae][ba][bf][bg][cd][ce][ci][db][dc][dd][ed][fb][fc]AW[ac][bd][be][bh][cb][cc][cf][cg][ef][fd][fe][hb][hd]C[problem 142])
(;AB[ae][ba][bf][bg][ca][cd][ce][ci][db][dc][dd][ed][fb][fc]AW[ab][ac][bd][be][bh][cb][cc][cf][cg][ef][fd][fe][hb][hd]C[problem 143])
(;AB[ae][ba][bb][bf][bg][ca][cd][ce][ci][db][dc][dd][ed][fb][fc]AW[ab][ac][bc][bd][be][bh][cb][cc][cf][cg][ef][fd][fe][hb][hd]C[problem 144])
(;AB[ab][bd][be][cb][cc][da]AW[ba][bb][bf][ce][cf][db][dd][eb][fd]C[problem 145])
(;AB[cd][ce][cf][da][db][dc]AW[bd][ca][cb][cc][cj]C[problem 146])
(;AB[bb][be][bf][cd][cg][eb][eg][fc][fd][ff]AW[bd][ca][cb][cc][ce][dc][de][ec]C[problem 147])
(;AB[bd][be][cb][cc][ce][dc][dd]AW[ac][ae][af][bf][cf][db][de][df][eb][ec][ed]C[problem 148])
(;AB[ad][bd][ca][cb][cc]AW[ae][be][cd][ce][db][dc]C[problem 149])
(;AB[be][cd][ce][da][db][dc][ed]AW[ad][bd][ca][cb][cc]C[problem 150])
(;AB[be][cd][ce][db][dc][ed]AW[ad][bd][ca][cb][cc]C[problem 151])
(;AB[ae][bd][be][ca][cb][cc]AW[ac][af][ba][bf][ce][cf][da][db][dc][dd]C[problem 152])
(;AB[bd][be][ca][cb][cc]AW[af][bf][cd][ce][cf][da][db][dc]C[problem 153])
(;AB[bf][cd][ce][cf][da][db][dc]AW[ae][bd][be][ca][cb][cc]C[problem 154])
(;AB[ac][bf][cd][ce][cf][da][db][dc]AW[ae][bb][bd][be][ca][cb][cc]C[problem 155])
(;AB[bf][cd][ce][cf][db][dc][dd]AW[ae][bd][be][ca][cb][cc]C[problem 156])
(;AB[ba][bb][bf][bg][cb][ce][dc][dd][df][ec][fb][fc]AW[aa][ab][ac][bc][be][cc][cd][db][eb]C[problem 157])
(;AB[ad][bd][cb][cc][db]AW[ae][be][ca][cd][ce][ea][eb][ec][ed]C[problem 158])
(;AB[aa][ad][bd][cb][cc][db]AW[ba][be][cd][cf][dc][dd][eb][fc]C[problem 159])
(;AB[ad][bd][cb][cc][da][db]AW[ab][bf][cd][ce][dc][ea][eb][ec]C[problem 160])
(;AB[cd][cf][ch][dc][dd][eb][fc]AW[bc][bd][cc][da][db]C[problem 161])
(;AB[ba][cd][cf][ch][dc][dd][eb][fc]AW[bb][bc][bd][cc][da][db]C[problem 162])
(;AB[be][cd][ce][dc][ea][eb][ed]AW[aa][ad][bd][cb][cc][da]C[problem 163])
(;AB[ac][bd][be][cb][cc][db]AW[ae][ba][bf][cd][ce][cf][dc][eb][ec]C[problem 164])
(;AB[bd][be][cb][cc][db]AW[ae][bf][cd][ce][cf][dc][eb][ec]C[problem 165])
(;AB[af][bf][ca][cd][ce][cf][dd][ec][fa][fb][fc]AW[ae][bd][be][cb][cc][dc][ea][eb]C[problem 166])
(;AB[ad][af][bd][be][cb][cc][da][db]AW[ac][bc][bf][bg][cd][ce][dc][ec][fb]C[problem 167])
(;AB[bc][bd][cd][dc]AW[be][cb][cc][ce][ci][dd][ei][fc][gd]C[problem 168])
(;AB[af][be][cc][cd][ce][cf][cg]AW[bd][bf][bg][cb][ch][cj][dc][df][dg][dh][eb][ed]C[problem 169])
(;AB[ab][ba][bd][bf][cd][ce][cf][cg][db][dc][de][ee][ef]AW[ad][bc][be][bh][bi][cb][cc][dd][dg][dh][eb][ec][ed][eh][fe][ff][fg]C[problem 170])
(;AB[ag][bh][cb][cc][ce][cf][cg][ch][dd][ec][ed][fb]AW[bb][bd][be][bf][bg][cd][db][dc][de][df][eb]C[problem 171])
(;AB[ae][be][cb][cc]AW[bb][bf][bh][cf][db][dd][de][ec][fb]C[problem 172])
(;AB[ab][ae][bd][bg][ca][cb][cc][ch][dd][de][df][dg][dh]AW[ba][bb][bc][bf][bh][bj][ce][cf][cg][ci][db][ec][ei][fc][fe][fg]C[problem 173])
(;AB[ae][bd][bg][cb][cc][ch][dd][de][df][dg][dh]AW[be][bf][bh][bj][ce][cf][cg][ci][db][ec][ei][fc][fe][fg]C[problem 174])
(;AB[ae][be][bg][cb][cc][ch][dd][de][df][dg][dh]AW[ac][ai][bf][bh][bj][ce][cf][cg][ci][db][di][ec][eh][fe][fg][gc]C[problem 175])
(;AB[ag][bf][bg][bh][bi][cf][cg][db][dc][dg][dj][ed][ee][ef][fc][fg][fh][fi]AW[ae][af][be][cb][cc][ce][ch][dd][de][df][dh][eg][eh]C[problem 176])
(;AB[bc][cd][ce][cf][cg][db][dc][fb]AW[bb][bd][cb][cc]C[problem 177])
(;AB[bb][bd][cb][cc][ch][da][dd][de][df][dg][dh][fg]AW[ac][bg][bh][cd][ce][cf][cg][ci][db][dc][eb][fc][ic]C[problem 178])
(;AB[bf][bh][ce][cf][dc][dd][fc]AW[bc][be][cc][cd]C[problem 179])
(;AB[bf][ce][cg][da][dc][dd][de][eb][fc]AW[ba][bc][be][cc][cd][db]C[problem 180])
(;AB[cc][cd][db]AW[ce][cf][ci][dc][dd][eb][fc]C[problem 181])
(;AB[be][cc][cd][dd]AW[bf][bh][ce][cf][dc][ec][ee][ef][fc]C[problem 182])
(;AB[bg][ce][cf][ch][da][dc][eb][ec][ee][ff][gc]AW[ad][be][bf][cc][cd][db][dd]C[problem 183])
(;AB[bd][cc][cd][ce]AW[be][bf][cf][dc][de][df][ec]C[problem 184])
(;AB[ba][bd][cc][ce][cf]AW[be][bf][cg][db][dc][dg][ee][fc]C[problem 185])
(;AB[be][bf][cf][dc][dd][de][fc]AW[bd][cc][cd][ce][db]C[problem 186])
(;AB[be][bf][bg][cf][dc][dd][de][eb][fc]AW[ae][bd][cc][cd][ce][db]C[problem 187])
(;AB[ae][ba][bd][cc][cd][ce][db]AW[be][bf][bg][cf][da][dc][dd][de][eb][fc]C[problem 188])
(;AB[ae][bc][be][cd][ce]AW[ad][bb][bd][bg][cf][dc][dd][de][df]C[problem 189])
(;AB[bf][ce][db][dc][dd][de]AW[ad][bb][be][cc][cd]C[problem 190])
(;AB[bb][ca][cc][cd][db]AW[ce][cg][da][dc][dd][de][ea][eb]C[problem 191])
(;AB[bb][cc][cd]AW[bd][ce][cg][dc][de][ed]C[problem 192])
(;AB[bb][ca][cc][cd]AW[cb][cf][cg][ci][db][dc][dd][de]C[problem 193])
(;AB[bb][be][ca][cc][cd]AW[ac][cb][cf][cg][ci][db][dc][dd][de]C[problem 194])
(;AB[bb][cc][cd][dc]AW[cb][cf][cg][db][dd][de][ec]C[problem 195])
(;AB[af][ag][ba][bg][cb][cg][dc][dg][eb][ed][ee][ef]AW[ab][bb][be][bf][cc][cd][cf][dd][de][df]C[problem 196])
(;AB[ac][bc][bf][cb][ce][cg][dc][dd][de][eb]AW[ab][bb][bd][be][cc][cd][db]C[problem 197])
(;AB[bf][bh][cb][cf][db][dc][dd][de]AW[ba][bb][be][cc][cd][ce]C[problem 198])
(;AB[af][ba][bb][be][cc][cd][ce]AW[ab][bf][bh][cb][cf][db][dc][dd][de][df]C[problem 199])
(;AB[ab][af][bf][ce][cf][dc][dd][de][eb][fb]AW[ad][ba][bb][be][cc][cd][db]C[problem 200])
(;AB[ab][bg][cb][ce][cf][ch][db][dc][dd]AW[ac][ba][bb][be][cc][cd]C[problem 201])
(;AB[ah][bc][bh][ca][cb][cg][dc][dd][de][df][dg][eb]AW[af][ag][ba][bb][be][bg][cc][cd][ce][cf]C[problem 202])
(;AB[af][ag][bg][ca][cb][cg][db][dc][dd][de][df][dg]AW[ae][ba][bb][bf][cc][cd][ce][cf]C[problem 203])
(;AB[ag][bd][bg][cb][cc][cg][da][db][dd][de][df][dg]AW[ad][ae][af][bb][bc][bf][ca][cd][ce][cf]C[problem 204])
(;AB[ac][bg][ca][cb][cc][cg][dd][df][ec]AW[ae][bb][bc][bf][cd][ce]C[problem 205])
(;AB[ad][bc][cb][cg][ci][da][dc][de][df][dg][eb][ec][ed]AW[ba][bb][bd][be][cc][cd][ce][dd]C[problem 206])
(;AB[ag][bg][cb][ce][cf][cg][db][dd][de][fb]AW[ba][bb][be][bf][cc][cd]C[problem 207])
(;AB[ae][ba][bb][bc][bf][cd][ce]AW[ac][af][ag][bh][ca][cb][cc][cf][cg][dd][de][ec]C[problem 208])
(;AB[bg][cc][cg][da][dc][de][df][dg][eb][ec][ed]AW[ad][ba][bc][cb][cd][ce][cf][db][dd]C[problem 209])
(;AB[af][ag][bg][cb][ce][cf][cg][db][dd][de][fb]AW[ad][ba][bb][be][bf][cc][cd]C[problem 210])
(;AB[ab][af][ag][bg][cf][cg][db][dc][dd][de]AW[ac][ba][bb][be][bf][cb][cc][cd]C[problem 211])
(;AB[ag][bg][cb][ce][cf][cg][db][dc][dd][de]AW[ab][ba][bb][be][bf][cc][cd]C[problem 212])
(;AB[ba][bb][be][bf][cc][cd][ce][dc][eb]AW[ab][bc][bg][cb][cf][cg][db][de][ec][ed][fb]C[problem 213])
(;AB[ba][bb][cc][cd][ce]AW[bf][cb][cf][db][dc][dd][de][df]C[problem 214])
(;AB[bf][cb][cf][db][dc][dd][de][df]AW[ac][ba][bb][cc][cd][ce]C[problem 215])
(;AB[ac][ba][bb][ca][cc][cd][ce]AW[ab][af][bf][cb][cf][da][db][dc][dd][de]C[problem 216])
(;AB[bf][ca][cb][cf][dc][dd][de][df][eb]AW[ad][ba][bb][cc][cd][ce]C[problem 217])
(;AB[af][bg][bi][ca][cb][cf][cg][dc][de][eb][ee]AW[ba][bb][be][bf][cc][cd][ce]C[problem 218])
(;AB[af][bg][cb][cf][ch][db][dc][dd][de][df]AW[ba][bb][be][bf][cc][cd][ce]C[problem 219])
(;AB[ac][bg][ca][cb][cf][cg][dc][de][eb][ee]AW[ad][ba][bb][bf][cc][cd][ce]C[problem 220])
(;AB[ac][bg][ca][cb][cf][cg][dc][de][eb][ee]AW[ba][bb][bd][bf][cc][cd][ce]C[problem 221])
(;AB[ah][bh][cb][cf][cg][ch][da][db][dc][dd][de][eb]AW[ba][bb][bf][bg][ca][cc][cd][ce]C[problem 222])
(;AB[ah][bh][cb][cf][cg][ch][db][dc][dd][de]AW[ba][bb][bf][bg][cc][cd][ce]C[problem 223])
(;AB[ab][ad][ah][bc][bh][cb][cf][cg][ch][db][dc][dd][de]AW[ae][ba][bb][bd][be][bf][bg][cc][cd][ce]C[problem 224])
(;AB[ad][ah][bh][ca][cb][cf][cg][ch][dc][dd][de][eb]AW[ba][bb][be][bf][bg][cc][cd][ce]C[problem 225])
(;AB[ad][ah][bh][cb][cf][cg][ch][db][dc][dd][de]AW[ba][bb][bd][bf][bg][cc][cd][ce]C[problem 226])
(;AB[af][bg][ca][cb][cg][ci][db][dc][dd][de][df]AW[ba][bb][be][bf][cc][cd][cf]C[problem 227])
(;AB[bg][bi][cb][cg][db][dc][de][df][dg][fc]AW[ba][bb][bf][cc][cd][cf]C[problem 228])
(;AB[ad][bc][bg][bh][cb][db][dc][dd][de][df][dg]AW[ab][ba][bb][be][bf][cc][cd][cf]C[problem 229])
(;AB[ad][bg][bh][cb][db][dc][dd][de][df][dg]AW[af][ba][bb][bf][cc][cd][cf]C[problem 230])
(;AB[ba][bb][bf][cc][cd][cf]AW[af][bg][cb][cg][db][dc][dd][de][df][dg]C[problem 231])
(;AB[af][ag][bg][cb][cg][db][dc][dd][de][dg]AW[ad][ba][bb][bf][cc][cd][cf]C[problem 232])
(;AB[ba][bb][bf][cc][cd][ce][cf]AW[af][bg][bi][ca][cb][cg][dc][dd][de][df][dg][eb]C[problem 233])
(;AB[ba][bb][bf][cc][cd][ce][cf]AW[af][be][bg][cb][cg][db][dc][dd][de][df][dg]C[problem 234])
(;AB[bh][ca][cb][ch][dc][dd][de][df][dg][eb]AW[ba][bb][bg][cc][cd][cf]C[problem 235])
(;AB[bc][bg][bi][ca][cb][cg][ci][cj][cl][dc][dd][de][df][dg][dh][eb][ec]AW[ag][ah][ba][bb][bd][bf][bh][cc][cd][ce][cf][ch][di][ei][fd][ff][fh][gb][gd]C[problem 236])
(;AB[bg][cb][cg][ci][db][dc][dd][ee][ef][eg]AW[ba][bb][bf][cc][cd][de][df]C[problem 237])
(;AB[ad][bf][bg][cg][db][dc][dg][ec][ef][eg][fc][fd][fe]AW[ac][be][cc][cd][cf][dd][de][df][ed][ee]C[problem 238])
(;AB[ad][bf][bg][cg][db][dc][dg][ec][ef][eg][fc][fd][fe]AW[be][cb][cc][cd][cf][dd][de][df][ed][ee]C[problem 239])
(;AB[bf][bh][cb][ce][cf][db][dc][ee]AW[ad][bb][be][ca][cc][cd]C[problem 240])
(;AB[ef][eh][fb][fe][ff][gb][gc][he][ib]AW[da][dd][eb][ee][fa][fc][fd]C[problem 241])
(;AB[bc][bf][bh][cb][ce][cf][db][dc][ee]AW[ac][ad][bb][be][ca][cc][cd]C[problem 242])
(;AB[bb][be][ca][cc][cd][ce]AW[bf][bh][cb][cf][db][dc][dd][de]C[problem 243])
(;AB[bg][cb][cf][cg][db][dc][dd][de]AW[aa][bb][be][bf][ca][cc][cd][ce]C[problem 244])
(;AB[ad][bb][be][cc][cd]AW[af][bf][ce][cg][db][dd][de][eb]C[problem 245])
(;AB[bb][be][cc][cd]AW[bf][ce][cf][db][dc][dd]C[problem 246])
(;AB[bb][be][cc][cd]AW[bf][ce][cf][db][dc][ee][fc]C[problem 247])
(;AB[bf][ce][cf][db][dc][dd]AW[ad][bb][be][cc][cd]C[problem 248])
(;AB[bb][be][cc][cd]AW[bf][ca][cf][dd][de][eb][ec]C[problem 249])
(;AB[ba][be][cc][cd]AW[af][bf][cf][db][dd][de][eb][fd]C[problem 250])
(;AB[ae][ba][be][cc][cd]AW[af][bf][ce][cf][da][db][dc][dd]C[problem 251])
(;AB[ag][bg][ce][cf][cg][db][dc][dd]AW[ab][ba][be][bf][cc][cd]C[problem 252])
(;AB[af][bg][ce][cf][ch][db][dc][dd]AW[ad][bb][be][bf][cc][cd]C[problem 253])
(;AB[ac][af][bb][be][bf][cc][cd]AW[ab][ag][bg][cb][ce][cf][db][dc][dd][dg]C[problem 254])
(;AB[bb][bi][ce][cf][cg][ch][ci][db][dc][dd]AW[bc][be][bf][bg][bh][cc][cd]C[problem 255])
(;AB[ag][be][bg][cc][cd][cf][cg]AW[ah][bh][cb][ce][ch][db][dc][dd][de][df][dg][dh]C[problem 256])
(;AB[bb][bg][cd][ch][dd][dg][ea][ec][ed][gc]AW[ab][bc][bd][be][cc][dc]C[problem 257])
(;AB[ce][cf][ch][dc][dd][ed][fc][gb][gd]AW[cc][cd][db][eb][ec]C[problem 258])
(;AB[be][bj][ce][cj][dd][di][eg][fe][gb][gc][gd][gg]AW[ae][bd][bf][bi][cf][ch][df][hb][hc][he][jc]C[problem 259])
(;AB[ae][bc][bd][be][cb][cc]AW[ab][af][bf][cd][ce][cf][db][dc]C[problem 260])
(;AB[bc][bd][be][cb]AW[bf][cc][cd][ce][cf][db][dc]C[problem 261])
(;AB[bf][cc][ce][cf][dc][fc]AW[bc][bd][be][cb]C[problem 262])
(;AB[ab][ad][ba][bf][cc][ce][cf][db][dc]AW[ac][bc][bd][be][ca][cb]C[problem 263])
(;AB[bf][cc][cd][ce][cf][dc][fc]AW[bc][bd][be][cb]C[problem 264])
(;AB[bc][bd][be][cb]AW[bf][cd][ce][cf][db][dc][fb]C[problem 265])
(;AB[bf][cd][ce][cf][db][dc][fb]AW[bc][bd][be][cb]C[problem 266])
(;AB[bf][cc][cd][ce][cf][db][dc][fb]AW[bc][bd][be][ca][cb]C[problem 267])
(;AB[bf][bh][cd][ce][cf][db][dc]AW[bc][bd][be][ca][cb]C[problem 268])
(;AB[ab][bf][bh][cd][ce][cf][db][dc]AW[aa][bc][bd][be][ca][cb]C[problem 269])
(;AB[bf][cd][ce][cf][da][db][dc]AW[ae][bc][bd][be][cb]C[problem 270])
(;AB[bc][bd][be][cb][db]AW[ab][bf][bh][ce][cf][dc][eb][ec][gb]C[problem 271])
(;AB[ab][bf][cd][ce][cf][dd][eb][ec]AW[ae][bc][bd][be][cb][db]C[problem 272])
(;AB[ab][bf][cd][ce][cg][dc][eb][ec]AW[bc][bd][be][cb][da][db]C[problem 273])
(;AB[bc][be][bf][cb][cd]AW[bg][cc][cf][cg][db][dc][dd]C[problem 274])
(;AB[cc][cf][cg][ci][db][dc][dd][de]AW[ba][bc][be][cb][ce]C[problem 275])
(;AB[bc][be][cb][ce]AW[ae][cf][cg][db][dc][dd][de]C[problem 276])
(;AB[bb][bc][be][cb][ce]AW[ab][cc][cf][cg][ci][db][dc][dd][de]C[problem 277])
(;AB[bf][cf][da][db][dc][dd][de][df]AW[ae][bc][be][cb][ce]C[problem 278])
(;AB[af][bf][cf][dc][dd][de][df][eb]AW[ae][bc][be][cb][ce]C[problem 279])
(;AB[ab][af][bf][cf][dc][dd][de][df][eb]AW[ae][bb][bc][be][cb][ce]C[problem 280])
(;AB[bg][cg][db][dc][dd][de][df]AW[bc][be][cb][ce]C[problem 281])
(;AB[bg][bi][cf][cg][da][db][dc][dd][de]AW[af][bc][be][bf][cb][ce]C[problem 282])
(;AB[af][bf][cc][cf][da][db][dc][dd][de]AW[ae][bb][bc][be][cb][cd][ce]C[problem 283])
(;AB[bf][bg][bh][ca][cg][da][db][dc][dd][de][df]AW[af][ba][bb][be][cb][cd][ce][cf]C[problem 284])
(;AB[ab][ag][bg][ca][cf][da][db][dc][dd][de][df]AW[ae][ba][bb][bf][cb][cc][cd][ce]C[problem 285])
(;AB[ab][ag][bg][ca][cf][da][db][dc][dd][de][df]AW[ac][ae][ba][bb][bf][cb][cd][ce]C[problem 286])
(;AB[ac][ag][bg][ca][cf][da][db][dc][dd][de][df]AW[ad][ae][ba][bb][bf][cb][cd][ce]C[problem 287])
(;AB[bc][be][bf][bg][bj][cf][ch][ci][cj][db][dj][eb][ec][ed][ej][fe][ff][fh]AW[bb][bd][cb][ce][cg][ck][dc][dd][df][dg][dh][di][ee]C[problem 288])
(;AB[ac][bc][be][bf][bg][bj][cf][ch][ci][cj][db][dj][eb][ec][ed][ej][fe][ff][fh]AW[ad][bb][bd][cb][ce][cg][ck][dc][dd][df][dg][dh][di][ee]C[problem 289])
(;AB[bc][bf][cc][da][db][df][ec][ed][ee][fb]AW[ac][bb][bd][cb][dc][dd]C[problem 290])
(;AB[ba][bf][ca][cf][db][df][eb][ec][ed][ee]AW[bb][bc][be][cb][ce][dc][dd][de]C[problem 291])
(;AB[bf][bh][cc][cf][db][df][ec][ed][ee][fb]AW[bb][be][cb][ce][dc][dd][de]C[problem 292])
(;AB[bb][bc][be][cb][cd]AW[af][bf][cc][cf][db][dc][dd][de]C[problem 293])
(;AB[cc][cg][db][dc][dd][de][df]AW[bb][bc][cb][cd][ce]C[problem 294])
(;AB[ae][bh][cc][cg][ch][db][dc][dd][de][df]AW[bb][bc][bf][bg][bj][cb][cd][ce][cf]C[problem 295])
(;AB[af][bb][bc][be][bf][ca][cb][ce]AW[ag][ba][bd][bg][cc][cf][da][db][dc][de][df][ed]C[problem 296])
(;AB[ab][bb][bh][bi][cg][da][db][dc][dd][de][df][dh]AW[ac][ba][bc][bf][bg][cb][ce]C[problem 297])
(;AB[bb][bh][bi][cg][da][db][dc][dd][de][df][dh]AW[bc][bd][bf][bg][cb][ce]C[problem 298])
(;AB[ab][ag][ah][bb][bh][cf][cg][ch][da][db][dc][dd][de]AW[ac][ae][ba][bc][bf][bg][cb][cd][ce]C[problem 299])
(;AB[ac][ae][bd][bf][bh][cf][db][dc][df][ec][ef][fc][fe][gd]AW[ab][bb][bc][be][cc][cd][ce][dd][ed]C[problem 300])
(;AB[bc][bi][cb][cf][cg][ch][cj][db][dc][dd][de]AW[ac][bb][bf][bg][cc][cd][ce]C[problem 301])
(;AB[ba][bc][bi][cb][cf][cg][ch][cj][db][dc][dd][de]AW[ab][ac][bb][bf][bg][cc][cd][ce]C[problem 302])
(;AB[ba][bd][bh][cg][ch][da][db][dc][dd][de][df]AW[bb][bf][bg][cb][cc][cd][ce][cf]C[problem 303])
(;AB[bb][bf][bg][cb][cc][cd][ce][cf]AW[ba][bd][bh][ca][cg][ch][db][dc][dd][de][df]C[problem 304])
(;AB[ah][bh][cg][db][dc][dd][de][df][dg]AW[bb][bf][bg][cb][ce][cf]C[problem 305])
(;AB[af][be][cc][ce]AW[bf][bh][cf][dd][de][df][eb][ec]C[problem 306])
(;AB[af][ba][bb][be][cc][ce]AW[ab][bf][bh][ca][cf][dd][de][df][eb][ec]C[problem 307])
(;AB[ae][bc][be][bf][bg][cd][ce]AW[ad][ag][bb][bd][bh][cf][ch][dc][df][ed]C[problem 308])
(;AB[ag][bh][cb][cg][ch][db][dc][df][ed][ee][ef]AW[ba][bb][bc][bg][cc][ce][cf][de]C[problem 309])
(;AB[ab][ca][cb][cc][cg][ci][dd][dg][ec][ef]AW[ba][bb][bc][bg][ce][cf]C[problem 310])
(;AB[ab][ad][ca][cb][cc][cg][ci][dd][dg][ec][ef]AW[ae][ba][bb][bc][cd][ce][cf]C[problem 311])
(;AB[bc][bd][ce][cg][dg]AW[bh][cb][cc][cd][ch][dh][ec][ee][eg][fh]C[problem 312])
(;AB[bb][bc][cd][ce][cf]AW[bg][cb][cc][ch][dd][df][dg][ec][gc]C[problem 313])
(;AB[ag][bb][bc][bf][ce][cf][cg]AW[bg][bh][bi][cb][cc][ch][dd][de][df][dg][eb]C[problem 314])
(;AB[bb][bc][cd][ce]AW[cb][cc][cf][cg][dd][de][ec]C[problem 315])
(;AB[bb][bc][bf][bg][cd][ce]AW[ba][bh][cb][cf][cg][ch][dc][dd][de][eb]C[problem 316])
(;AB[bb][bc][bf][bg][cd][ce]AW[ba][bh][cb][cc][cf][cg][ch][dd][ec][ef]C[problem 317])
(;AB[ab][ae][bc][bd][bh][bi][ce][cf][cg][de][dg][ef]AW[af][bb][be][bf][bj][cb][cc][cd][ci][ck][ed][eh][ej][fg][ge]C[problem 318])
(;AB[be][ce][db][dc][dd][de]AW[ab][ad][bd][cb][cd]C[problem 319])
(;AB[ad][bf][ca][cf][ci][da][dc][eb][ed][ee][fb][gc][ge]AW[ac][ba][bb][be][cb][cd][db][dd][ec]C[problem 320])
(;AB[bf][ce][cf][dd][eb][ec]AW[bd][be][cb]C[problem 321])
(;AB[be][bg][ce][db][dd][eb][ed][fc]AW[ab][ae][bd][ca][cb][cd][dc]C[problem 322])
(;AB[be][bf][cf][db][df][eb][ec][ed][ee]AW[ac][bb][bd][cb][ce][dd]C[problem 323])
(;AB[ad][bd][ce][da][de][ea][eb][ec][ed]AW[ac][ba][bc][ca][db][dc][dd]C[problem 324])
(;AB[ae][bd][cb][cd][db]AW[be][bg][ce][dc][de][eb][ed]C[problem 325])
(;AB[ae][ba][bd][cb][cd][db]AW[ab][be][bg][ce][dc][de][eb][ed]C[problem 326])
(;AB[af][bd][be][ca][cb][cd][dc]AW[bf][bh][cc][ce][cf][da][db][dd][eb][ed][fb]C[problem 327])
(;AB[bd][bf][ce][de][ea][eb][ec][ed]AW[bb][bc][cd][da][db][dc]C[problem 328])
(;AB[ad][bc][bd][ca][da][db][dc]AW[ac][bb][be][bg][ce][dd][ea][eb][ec][ee]C[problem 329])
(;AB[bf][cc][cf][dd][df][ea][eb][ec][ed]AW[be][cb][cd][ce][db][dc]C[problem 330])
(;AB[bd][cb][cd][dc]AW[be][bg][ce][dd][eb][ed][fc]C[problem 331])
(;AB[be][bg][cf][dd][eb][ec][ed][eg][fb][ff]AW[bc][cd][ce][db][dc][de]C[problem 332])
(;AB[bg][bi][cc][cg][dd][dg][ea][ec][ed][ef][fb][gc]AW[bf][cb][cd][ce][cf][db][dc][eb]C[problem 333])
(;AB[be][cb][cd][dd]AW[bf][bh][ce][cg][db][de][ec][ed]C[problem 334])
(;AB[bb][be][bf][cd][cf][df][eb][ec][ed][ee][ef]AW[ad][bd][cb][ce][db][dc][dd][de]C[problem 335])
(;AB[af][bb][bf][cf][db][df][eb][ec][ed][ee][ef]AW[ad][be][ca][cb][ce][dc][dd][de]C[problem 336])
(;AB[bb][bf][cf][da][db][de][ec][ed][ef][fb]AW[bc][bd][be][ca][cb][dc][dd]C[problem 337])
(;AB[bd][cb][cd][dc][dd]AW[bb][be][bf][db][de][eb][ec][ed][ee]C[problem 338])
(;AB[bc][bf][ca][cf][db][df][eb][ec][ed][ee]AW[ba][bb][be][cb][cd][ce][dc][dd]C[problem 339])
(;AB[ac][bc][bf][cc][cf][ch][db][eb][ec][ed][ee]AW[ab][bb][be][cb][cd][ce][da][dc][dd]C[problem 340])
(;AB[af][bd][bf][cf][db][de][df][eb][ec][ed]AW[ae][be][ca][cb][cd][ce][dc][dd]C[problem 341])
(;AB[cb][ce][dc][dd]AW[ch][db][de][df][dg][eb][ec][ed]C[problem 342])
(;AB[bc][bj][cd][cg][ch][ci][cj][dd][df][ec][ee][ef][eg]AW[af][bd][be][bg][bh][bi][ce][cf][de][ed][fd][gd][hb][id]C[problem 343])
(;AB[be][bf][cb][cd][ce][cg][ch][dc][dd]AW[bb][bd][bg][bh][cf][ci][db][de][df][di][eb][ec][ed]C[problem 344])
(;AB[bg][db][de][df][dg][eb][ec][ed]AW[bb][ca][cb][ce][dc][dd]C[problem 345])
(;AB[cd][db][de][df][dh][eb][ec][ed][eg]AW[cb][cc][ce][dc][dd]C[problem 346])
(;AB[cd][ch][dc][df][dg][ec][ed][ee]AW[cc][ce][cf][dd][de]C[problem 347])
(;AB[ba][bd][cb][cd][ch][dc][df][dg][ec][ed][ee]AW[ad][bb][bc][cc][ce][cf][dd][de]C[problem 348])
(;AB[bf][cc][ce]AW[bg][bi][cg][dd][de][df][eb][ec]C[problem 349])
(;AB[cf][dd][df][eb][ec][ed][ef]AW[bf][bi][cc][ce][ch][eh][fd][gc][gf][gh]C[problem 350])
(;AB[be][bf][cb][cd][dc]AW[af][bg][ce][cf][cg][dd][eb][ed][fc]C[problem 351])
(;AB[bg][dd][df][eb][ec][eg]AW[be][cc][ch]C[problem 352])
(;AB[be][cd][dc][dd][df][eb]AW[bb][bd][cc][db]C[problem 353])
(;AB[be][bg][cd][ce][dc][eb][ec][gb]AW[ae][bb][bd][cc][db]C[problem 354])
(;AB[ae][bb][bd][cc][db][ea]AW[ac][be][bg][cd][ce][dc][eb][ec][gb]C[problem 355])
(;AB[bb][bd][cc][db]AW[cd][ce][cg][da][dc][eb][ec][gb]C[problem 356])
(;AB[bb][bd][be][cc][db][ea]AW[bf][bh][cd][ce][cg][dc][eb][ec][fa][gb]C[problem 357])
(;AB[bc][be][cd][ce][da][dc][eb][ec]AW[ad][bb][bd][cb][cc][db]C[problem 358])
(;AB[af][be][bg][cb][cd][ce][dc][eb][ec]AW[ad][ae][bb][bc][bd][cc][da][db]C[problem 359])
(;AB[af][bb][bd][bg][cc][db][dc][dd][de][ea]AW[ad][be][bf][bh][cd][ce][cg][df][dg][eb][ec][ed][ee][gb]C[problem 360])
(;AB[bb][bd][cc]AW[be][cb][cd][dc][ed][ef]C[problem 361])
(;AB[af][bg][cd][ce][cf][cg][da][dc][eb][ec]AW[bb][bd][be][bf][cb][cc][db]C[problem 362])
(;AB[ae][be][ce][dc][de][eb][ec]AW[ad][bc][bd][cc][da][db]C[problem 363])
(;AB[bb][bf][ce][cg][db][dc][dd][de][fc]AW[ab][bd][be][cb][cc][cd]C[problem 364])
(;AB[bf][ce][cg][db][dc][dd][de][fc]AW[bb][bd][be][cc][cd]C[problem 365])
(;AB[bf][ce][cg][db][dc][dd][de][fc]AW[ba][bd][be][cc][cd]C[problem 366])
(;AB[bd][cc][db][dc]AW[be][cd][cf][dd][eb][ec][ed]C[problem 367])
(;AB[bb][cc][db][dc]AW[ca][cd][ce][cg][eb][ec][ed]C[problem 368])
(;AB[ad][bb][bd][cc][db][dc]AW[ba][be][ca][cd][ce][cg][eb][ec][ed]C[problem 369])
(;AB[bd][cc][cd][db]AW[be][bg][ce][dc][de][eb][ec][gc]C[problem 370])
(;AB[bd][bf][cb][cc][cd][cf][de][df][dg][eh][ff][fh]AW[ae][af][be][bg][ce][cg][ci][da][db][dc][dd][dh][ei][fd]C[problem 371])
(;AB[be][bg][cf][db][dc][dd][de][ea]AW[ae][bd][cb][cc][cd][eb][ec][gb]C[problem 372])
(;AB[ae][bd][bf][cd][ce][cg][ch][eb][ec][ed][ee][eh][fg][gb]AW[bc][bg][cc][cf][db][dc][dd][de][df][ea]C[problem 373])
(;AB[ae][be][ce][db][dc][dd][de]AW[bd][ca][cb][cc][cd]C[problem 374])
(;AB[be][bg][ce][da][db][dc][dd][de]AW[bd][ca][cb][cc][cd]C[problem 375])
(;AB[bc][cc][da][db][dc]AW[bd][bf][cd][dd][ea][eb][ec][ed]C[problem 376])
(;AB[ae][be][ce][da][db][dc][dd][de]AW[ad][bd][ca][cb][cc][cd]C[problem 377])
(;AB[be][bg][ce][da][db][dc][dd][de]AW[ad][bd][ca][cb][cc][cd]C[problem 378])
(;AB[ad][bd][ca][cb][cc][cd]AW[ab][be][ce][db][dc][dd][de]C[problem 379])
(;AB[ac][bc][be][ce][da][db][dc][dd][de]AW[ad][bd][ca][cb][cc][cd]C[problem 380])
(;AB[ae][bb][be][cd][cf][dd][ea][eb][ec][ed]AW[ad][bc][bd][cc][da][db][dc]C[problem 381])
(;AB[bd][cb][cc][cd][db]AW[be][bg][ce][dc][dd][de][eb][fc][gb]C[problem 382])
(;AB[be][bg][ce][dc][dd][de][eb][fc]AW[bd][cb][cc][cd][db]C[problem 383])
(;AB[ae][ba][bb][be][ce][dc][dd][de][ea][eb]AW[ab][ad][bd][cb][cc][cd][da][db]C[problem 384])
(;AB[ae][bd][cb][cc][cd][db][ea]AW[ad][be][bg][ce][dc][dd][de][eb][fb]C[problem 385])
(;AB[ae][bc][bd][cc][db][dc][ea]AW[ad][be][bg][cd][ce][eb][ed][ee][fb]C[problem 386])
(;AB[ae][bd][cb][cc][cd][db][ea]AW[ba][be][bf][dc][dd][de][dg][eb][fb]C[problem 387])
(;AB[bd][be][cb][cc][cd]AW[af][bf][ce][da][db][dc][dd][de]C[problem 388])
(;AB[bd][be][cb][cc][cd]AW[bf][ce][cg][db][dc][dd][de][fb]C[problem 389])
(;AB[bf][ce][cg][db][dc][dd][de][fb]AW[bd][be][cb][cc][cd]C[problem 390])
(;AB[bd][be][cb][cc][cd]AW[ba][bf][ce][cg][db][dd][de][ec]C[problem 391])
(;AB[ba][bf][ce][cg][db][dc][dd][de]AW[bd][be][ca][cb][cc][cd][ci]C[problem 392])
(;AB[bf][ce][cg][db][dc][dd][de][fb]AW[ae][bd][be][cb][cc][cd]C[problem 393])
(;AB[af][bf][ce][cg][da][db][dc][dd][de]AW[ae][bd][be][ca][cb][cc][cd]C[problem 394])
(;AB[bf][ce][cg][da][db][dc][dd][de]AW[bd][be][ca][cb][cc][cd]C[problem 395])
(;AB[bf][ce][cg][db][dc][dd][de][fb]AW[ae][bd][be][ca][cb][cc][cd]C[problem 396])
(;AB[bd][be][cb][cc][cd][db]AW[bf][bh][ce][cg][da][dc][dd][de][eb][fc][gb]C[problem 397])
(;AB[af][bd][be][cb][cc][cd][db]AW[ae][bf][bh][ce][cf][da][dc][dd][eb][fc]C[problem 398])
(;AB[ae][bf][ce][cg][dc][dd][de][eb][fc]AW[bd][be][cb][cc][cd][db]C[problem 399])
(;AB[ad][ba][bd][ce][db][dc][dd][de][df]AW[ae][be][bf][cb][cc][cf][ch][da][dg][eb][eg][fc][fe][gb]C[problem 400])
(;AB[ae][be][ca][cb][cc][ce]AW[ad][af][ba][bf][cf][da][db][dc][dd][de][df]C[problem 401])
(;AB[ab][ae][be][ca][cb][cc][ce]AW[af][ba][bc][bf][cf][da][db][dc][de][df][ed]C[problem 402])
(;AB[be][cb][cc][ce]AW[bf][bh][cf][db][dc][dd][de][fb]C[problem 403])
(;AB[be][cb][cc][ce][da]AW[bf][bh][cf][db][dc][dd][de][df][fb]C[problem 404])
(;AB[af][be][cb][cc][ce]AW[bf][bh][cf][db][dc][dd][de][df][fb]C[problem 405])
(;AB[ab][be][ca][cb][cc][ce]AW[ae][ba][bf][bh][cf][db][dc][dd][df][ef]C[problem 406])
(;AB[bf][bh][cf][db][dc][de][ee][fb]AW[ab][be][cb][cc][ce]C[problem 407])
(;AB[ac][bf][bg][dc][de][df][ec][fb][gc]AW[ab][be][cb][cc][ce]C[problem 408])
(;AB[bf][bg][dd][df][eb][ec][ef]AW[be][cb][cc][ce]C[problem 409])
(;AB[be][cb][cc][ce][dd]AW[bd][bf][bh][cf][db][de][df][ec][ed]C[problem 410])
(;AB[ae][af][bf][cf][da][db][de][df][ec][ed][fb]AW[ac][ad][ba][be][cb][cc][ce][dd]C[problem 411])
(;AB[ae][be][ca][cb][cc][ce][dc][dd]AW[af][bc][bf][cf][da][db][de][df][ec][ed][fb]C[problem 412])
(;AB[ae][be][ca][cb][cc][ce][dd][de]AW[ad][af][ba][bf][cf][da][db][dc][df][ed][ee][ef][fc]C[problem 413])
(;AB[ae][bd][bf][bh][cg][db][de][df][ec][ed][fb]AW[be][cb][cc][cd][ce][cf][da][dc]C[problem 414])
(;AB[ae][bf][cf][da][dc][dd][de][df][eb][fc]AW[ac][be][cb][cc][cd][ce][ci][db]C[problem 415])
(;AB[ad][be][cb][cc][ce][db]AW[ae][bd][bf][bh][cf][dc][dd][df][eb][fc]C[problem 416])
(;AB[ad][bd][be][cb][cc][ce][db]AW[ab][ae][bf][bh][cd][cf][dc][dd][df][eb][ef][fc]C[problem 417])
(;AB[ab][be][cb][cc][ce][db]AW[ad][ae][bf][cf][dc][dd][df][eb][fc]C[problem 418])
(;AB[ad][bd][bg][ce][cg][da][dc][dd][dg][ea][eb][ee]AW[ac][bb][be][bf][cb][cc][cd][db]C[problem 419])
(;AB[bg][ce][cg][da][dc][dd][dg][ea][eb][ee]AW[bc][be][bf][cb][cc][db]C[problem 420])
(;AB[be][cb][cc][cd][ce][db]AW[ac][ae][bf][bh][cf][dc][dd][de][eb][fc]C[problem 421])
(;AB[ae][bg][ch][dc][dg][eb][ec][ed][ee]AW[af][cb][cc][ce][cf][db][fd]C[problem 422])
(;AB[bc][be][cc][ce][dc]AW[bd][bf][cf][de][df][eb][ec][ed]C[problem 423])
(;AB[ad][ba][bc][be][bg][cc][ce][cg][dc][df]AW[bd][bh][cd][ch][dd][de][dg][eb][ec][ed][eg][ff]C[problem 424])
(;AB[bc][cb][cc][cd][de][ee][fe][gd][ge]AW[bd][be][ce][cf][ci][db][dd][ed][fd][gc][hc]C[problem 425])
(;AB[bc][cc][ce][dc][dd]AW[bd][bg][cd][cg][de][df][eb][fc][fe]C[problem 426])
(;AB[cb][cc][cd]AW[ce][cg][db][dc][dd][de]C[problem 427])
(;AB[ab][bf][bh][ca][cf][db][dc][dd][de][fb]AW[ad][ba][be][cb][cc][cd]C[problem 428])
(;AB[ab][bf][bh][ca][cf][db][dc][dd][de][fb]AW[ba][bc][be][cb][cc][cd]C[problem 429])
(;AB[be][cb][cc][cd]AW[bc][bf][bh][cf][db][dc][dd][de][fb]C[problem 430])
(;AB[ab][bf][bg][db][dd][df][eb][ed]AW[ba][bc][be][cb][cc][cd][da]C[problem 431])
(;AB[be][cb][cc][cd][dc]AW[bc][bf][cf][dd][de][eb][ec]C[problem 432])
(;AB[bf][bh][ce][cf][db][dc][dd]AW[ad][be][cb][cc][cd]C[problem 433])
(;AB[ab][bf][ca][ce][cf][db][dc][dd]AW[ad][af][ba][be][cb][cc][cd]C[problem 434])
(;AB[af][bf][ce][cf][db][dc][dd][fb]AW[ad][bb][be][cb][cc][cd]C[problem 435])
(;AB[af][ag][ba][bc][be][cb][cc][cd][da]AW[ab][ah][bf][bg][ce][db][dc][dd][de][eb]C[problem 436])
(;AB[bf][bg][ce][db][dc][dd][de][fb]AW[ad][af][be][cb][cc][cd]C[problem 437])
(;AB[ad][be][ca][cb][cc][cd]AW[ae][af][bf][ce][cf][da][db][dc][dd]C[problem 438])
(;AB[af][bb][bf][cf][db][dc][dd][de][ea][fb]AW[ab][be][ca][cb][cc][cd][da]C[problem 439])
(;AB[af][bb][bf][ce][db][dc][dd][df]AW[ae][ba][be][cb][cc][cd]C[problem 440])
(;AB[ae][be][cb][cc][cd]AW[bd][bg][ce][cf][da][db][dc][dd]C[problem 441])
(;AB[ad][ba][bd][ce][db][dc][dd][de]AW[ae][be][bg][cb][cc][cd][cf][dg][eb][eg][fb][fd][ff]C[problem 442])
(;AB[ae][ba][be][cb][cc][cd]AW[ab][bf][ca][ce][cf][db][dc][dd][fb]C[problem 443])
(;AB[ae][be][cb][cc][cd][da]AW[bf][ca][ce][cf][db][dd][eb][ed][ef]C[problem 444])
(;AB[ab][bf][ce][ch][db][de][dg][eb][ed]AW[ae][bc][be][cb][cc][cd]C[problem 445])
(;AB[bd][bf][ce][cf][da][db][dc][dd]AW[ae][bc][be][cb][cc][cd]C[problem 446])
(;AB[bg][ce][cf][cg][db][dc][dd][fb]AW[be][bf][cb][cc][cd]C[problem 447])
(;AB[af][bg][ce][cf][cg][db][dc][dd][fb]AW[bd][be][bf][cb][cc][cd]C[problem 448])
(;AB[ad][be][bf][cb][cc][cd]AW[af][ag][bg][ce][cf][cg][da][db][dc][dd]C[problem 449])
(;AB[be][bf][ca][cb][cc][cd]AW[af][ag][bg][ce][cf][cg][da][db][dc][dd]C[problem 450])
(;AB[be][bf][cb][cc][cd][dd]AW[af][bg][ce][cf][ch][db][dc][ee][fc]C[problem 451])
(;AB[bd][bg][ce][cg][db][dc][dd][de][fb]AW[be][bf][cb][cc][cd]C[problem 452])
(;AB[bc][be][bf][cb][cc][cd]AW[ad][bd][ca][ce][cf][cg][ci][db][dc][dd][fc]C[problem 453])
(;AB[ae][ba][be][bf][ca][cb][cc][cd][cg][ch]AW[ab][af][bg][bi][ce][cf][ci][da][db][dc][dd][dg][dh]C[problem 454])
(;AB[bc][bd][bg][ce][cg][db][dc][dd][de][fb]AW[bb][be][bf][cb][cc][cd]C[problem 455])
(;AB[bc][bd][bh][ce][ci][db][dc][dd][de][eg][ei][fb]AW[bb][be][bf][cb][cc][cd][cg]C[problem 456])
(;AB[ac][ag][bc][bg][cf][cg][da][db][dc][dd][de]AW[ad][bd][be][bf][cb][cc][cd]C[problem 457])
(;AB[af][bg][ce][cf][cg][db][dc][dd]AW[ad][be][bf][cb][cc][cd]C[problem 458])
(;AB[ab][af][bg][ce][cf][cg][db][dc][dd]AW[ad][be][bf][cb][cc][cd][da]C[problem 459])
(;AB[ag][bc][bg][ce][cf][da][db][dc][dd][dg]AW[ab][bb][be][bf][cb][cc][cd]C[problem 460])
(;AB[ad][be][bg][cd][ce][db][dd][ec][fb][fc]AW[bc][bd][cb][cc][dc][ea][eb]C[problem 461])
(;AB[ae][af][ba][bf][cb][cc][cd][ce]AW[ad][ag][bb][bc][bg][cf][cg][db][de][eb][ed]C[problem 462])
(;AB[db][dc][dd][de]AW[cb][cc][cd]C[problem 463])
(;AB[ab][af][bg][ce][cg][ch][db][dc][dd][de][df][dg]AW[ad][be][bf][cb][cc][cd][cf][da]C[problem 464])
(;AB[ag][bd][be][bf][bh][bj][ch][db][dc][dd][de][df][dg]AW[af][bc][bg][cb][cc][cd][ce][cf][cg]C[problem 465])
(;AB[be][cb][cd][ce][dc]AW[bc][bg][cf][ch][de][df][eb][ec][ed]C[problem 466])
(;AB[af][bf][cf][db][dc][df][ec][ed][ee]AW[ab][ba][be][cc][ce][dd]C[problem 467])
(;AB[af][bf][cf][db][dc][df][ec][ed][ee]AW[ba][bd][be][cc][ce][dd]C[problem 468])
(;AB[af][bf][cf][db][dc][df][ec][ed][ee]AW[ba][be][cb][cc][ce][dd]C[problem 469])
(;AB[bg][bi][cb][cg][db][dc][df][ed][ee]AW[ag][ba][bb][bf][cc][ce][dd]C[problem 470])
(;AB[ab][bb][be][cc][cd][ce][cf][ch][df][dg][dh]AW[ac][ag][ba][bd][bf][bg][bh][cb][cg][ci][cj][dc][dd][de][eb][ef][eh][ei][fe]C[problem 471])
(;AB[ac][ba][be][cb][cc][cd][ce]AW[ad][bb][bc][bf][cf][ch][db][dd][de][ec]C[problem 472])
(;AB[aa][ae][be][cb][cc][cd][da]AW[af][bf][ca][ce][dc][dd][de][ea][eb]C[problem 473])
(;AB[bf][bh][ca][cf][da][db][dc][dd][de][df]AW[ba][be][cb][cc][cd][ce]C[problem 474])
(;AB[bf][bh][cf][da][db][dc][dd][de][df]AW[be][cb][cc][cd][ce]C[problem 475])
(;AB[ba][be][cb][cc][cd][ce]AW[bb][bc][bf][bg][db][dc][dd][de][df][fb]C[problem 476])
(;AB[ac][ba][be][cb][cc][cd][ce]AW[ad][bb][bc][bf][bg][db][dc][dd][de][df][fb]C[problem 477])
(;AB[ab][ae][af][bf][bg][db][dc][dd][de][df]AW[ad][be][cb][cc][cd][ce]C[problem 478])
(;AB[ae][ba][be][bf][cb][cc][cd][ce]AW[ab][bb][bc][bd][bg][cf][ch][db][dc][dd][df][fb][fd]C[problem 479])
(;AB[ad][bb][be][cb][cc][cd][ce]AW[ab][ae][bc][bf][bh][cf][da][db][dc][dd][de][df]C[problem 480])
(;AB[bb][bc][bd][bf][cf][db][dd][de][df][ec]AW[ad][be][ca][cb][cc][cd][ce]C[problem 481])
(;AB[be][cb][cc][cd][ce]AW[bb][bf][bh][cf][db][dc][dd][de][df][fb]C[problem 482])
(;AB[bb][bc][bf][bh][cf][db][dc][dd][de][df]AW[ac][af][ba][be][cb][cc][cd][ce]C[problem 483])
(;AB[be][cb][cc][cd][ce]AW[af][bf][cf][db][dc][dd][de][df][fb]C[problem 484])
(;AB[ab][ae][af][bf][cf][db][dc][dd][de][df][fb]AW[ad][bb][be][cb][cc][cd][ce]C[problem 485])
(;AB[ad][be][cb][cc][cd][ce]AW[ac][ae][af][bf][cf][db][dc][dd][de][df][fb]C[problem 486])
(;AB[ae][af][bf][cf][db][dc][dd][de][df][fb]AW[ad][be][cb][cc][cd][ce]C[problem 487])
(;AB[ae][af][bb][bf][cf][db][dc][dd][de][df][fb]AW[ab][ad][be][cb][cc][cd][ce]C[problem 488])
(;AB[ae][be][ca][cb][cc][cd][ce]AW[ab][af][bf][cf][da][db][dc][dd][de][df]C[problem 489])
(;AB[ae][be][ca][cb][cc][cd][ce]AW[ac][af][bf][cf][da][db][dc][dd][de][df]C[problem 490])
(;AB[ba][bb][bc][bg][cf][ch][db][dc][dd][de][df]AW[ab][be][bf][ca][cb][cc][cd][ce]C[problem 491])
(;AB[ba][bb][bc][bg][cf][ch][db][dc][dd][de][df]AW[ad][be][bf][ca][cb][cc][cd][ce]C[problem 492])
(;AB[ba][bg][bi][cb][cf][cg][db][dc][dd][de]AW[ae][bb][bc][bf][ca][cc][cd][ce]C[problem 493])
(;AB[bg][bi][cb][cf][cg][db][dc][dd][de]AW[aa][ae][bb][bf][ca][cc][cd][ce]C[problem 494])
(;AB[af][ba][cb][cf][cg][ci][cj][db][dc][dd][de]AW[ab][ag][bb][bf][cc][cd][ce]C[problem 495])
(;AB[af][ba][cb][cf][cg][ci][db][dc][dd][de]AW[ab][ae][bb][bf][cc][cd][ce]C[problem 496])
(;AB[ab][bg][cb][cf][cg][db][dc][dd][de]AW[ac][af][bb][bf][cc][cd][ce]C[problem 497])
(;AB[af][bb][bf][cc][cd][ce]AW[ad][bg][cb][cf][cg][db][dc][dd][de]C[problem 498])
(;AB[ba][bg][cb][cf][cg][db][dc][dd][de][ef]AW[af][bb][bd][bf][ca][cc][cd][ce]C[problem 499])
(;AB[ab][bg][cb][cf][cg][db][dc][dd][de][ef]AW[af][bb][bc][bf][ca][cc][cd][ce]C[problem 500])
(;AB[af][bb][bf][cc][cd][ce][da]AW[bc][bg][cb][cf][cg][dc][dd][de][ea][eb]C[problem 501])
(;AB[ac][af][bb][bf][cc][cd][ce]AW[ag][bd][bg][cb][cg][db][dc][dd][de][df]C[problem 502])
(;AB[bf][cb][cf][db][dc][dd][de]AW[bb][bg][cc][cd][ce][cg][df][dg][ec][ee][fc][ff]C[problem 503])
(;AB[bb][cc][cd][ce]AW[bf][cf][db][dc][dd][df][ef]C[problem 504])
(;AB[bb][bd][cc][cd][ce][db][dd]AW[be][bf][cg][da][dc][de][df][eb][ec][ed]C[problem 505])
(;AB[ba][bf][cc][cd][ce][fc][fd][ic]AW[bc][bd][bg][bi][cg][dd][de][df][eb][ec]C[problem 506])
(;AB[bb][bf][bg][bh][cc][cd][ce][df][ef][fb][fc][fd][ff]AW[bc][bi][cb][cf][cg][ch][ci][da][dc][dd][de][eb]C[problem 507])
(;AB[bb][be][bf][cf][ci][dd][de][df][eb][ec][gb]AW[ab][bd][cb][cc][cd][ce][db]C[problem 508])
(;AB[be][cf][ci][dd][de][df][eb][ec][gb]AW[bb][cc][cd][ce][db]C[problem 509])
(;AB[ba][cb][cc][cd][ce][db]AW[ab][bb][be][cf][dc][de][df][eb][ec]C[problem 510])
(;AB[ad][ba][cb][cc][cd][ce][db]AW[ab][ac][bb][be][cf][de][df][eb][ec]C[problem 511])
(;AB[ad][bg][cg][db][dc][dd][de][df]AW[ac][ca][cb][cc][cd][ce]C[problem 512])
(;AB[bf][cf][dc][dd][de][df][ea][eb][fc]AW[cb][cc][cd][ce][da][db]C[problem 513])
(;AB[cb][cc][cd][ce][cf][db]AW[ae][bd][bg][ch][dc][dd][de][df][dg][eb][fc]C[problem 514])
(;AB[ab][ac][ag][bb][bg][bh][cb][cc][cd][ce][cf]AW[ad][ah][ba][bc][bd][be][bi][bj][ca][cg][ch][ci][db][df][dg][ec][ed][ee]C[problem 515])
(;AB[ae][af][bg][cg][db][dc][dd][de][df][dg][fb]AW[ab][ad][cb][cc][cd][ce][cf]C[problem 516])
(;AB[ad][bg][cg][db][dc][dd][de][df][dg][fb]AW[ac][cb][cc][cd][ce][cf]C[problem 517])
(;AB[ag][bb][bh][ca][cg][db][df][dg][eb][ed][ee]AW[ac][ba][bc][bg][cb][cc][cd][ce][cf]C[problem 518])
(;AB[ab][bb][bh][ca][cg][da][db][dc][dd][de][df][dh]AW[ac][ba][bc][cb][cc][cd][ce]C[problem 519])
(;AB[ae][af][bf][cf][dd][df][eb][ed][ee][fb]AW[ad][be][cb][cc][cd][ce][db][de]C[problem 520])
(;AB[ab][bf][ce][cf][dc][dd][eb][fc]AW[ad][be][cb][cc][cd][db]C[problem 521])
(;AB[af][bf][ce][cf][dc][dd][eb][fc]AW[ad][be][cb][cc][cd][db]C[problem 522])
(;AB[ad][be][cb][cc][cd][db]AW[af][bf][ce][cf][dc][dd][eb][fc]C[problem 523])
(;AB[aa][ac][bb][bf][bh][ce][cg][de][eb][ec]AW[ad][af][be][cb][cc][cd][db]C[problem 524])
(;AB[ab][af][bb][bc][bh][cf][cg][ch][dc][dd][de][eb][fc]AW[ae][ba][bf][cb][cc][cd][ce][db]C[problem 525])
(;AB[ab][bb][bc][bg][bh][cf][cg][ch][dc][dd][de][eb][fc]AW[ae][ag][ba][bf][cb][cc][cd][ce][db]C[problem 526])
(;AB[ad][be][bf][cb][cc][cd][cf][db]AW[ab][af][bg][ce][cg][dc][dd][de][df][eb][fc]C[problem 527])
(;AB[ae][ba][bf][cc][cd][ce][dc]AW[bc][bd][bg][bh][cf][dd][de][dg][eb][ec][fd]C[problem 528])
(;AB[bb][be][bg][ce][de][eb][ec][ed][gb]AW[ba][bd][cd][db][dc]C[problem 529])
(;AB[ad][bb][be][bg][ce][de][eb][ec][ed][gb]AW[ba][bc][bd][cd][db][dc]C[problem 530])
(;AB[bb][be][bg][ce][de][eb][ec][ed][gb]AW[bd][cb][cd][db][dc]C[problem 531])
(;AB[bb][be][bg][ce][de][eb][ec][ed][gb]AW[ae][ba][bd][cd][db][dc][ea]C[problem 532])
(;AB[bd][cb][ce][da][dc][dd][de]AW[bf][cc][cf][db][df][eb][ec][ed][ee][fb]C[problem 533])
(;AB[ac][ad][be][ce][da][db][dc][dd]AW[bc][bd][bf][cb][cf][de][ea][eb][ec][ed][ef]C[problem 534])
(;AB[bc][be][bf][cf][ch][eb][ed][eg][ei][fb][fc][fe][ff][gb]AW[ab][bd][cd][ce][db][dc][de][df][ea][ec]C[problem 535])
(;AB[ad][bc][be][bf][cf][ch][eb][ed][eg][ei][fb][fc][fe][ff][gb]AW[ab][ac][bd][cd][ce][db][dc][de][df][ea][ec]C[problem 536])
(;AB[bb][be][bf][cb][cf][ch][eb][ed][eg][ei][fb][fc][fe][ff][gb]AW[ad][bc][bd][cd][ce][db][dc][de][df][ea][ec]C[problem 537])
(;AB[ab][ae][bd][cd][db][dc]AW[be][bg][ce][da][dd][de][eb][ec]C[problem 538])
(;AB[bc][bd][cd][db][dc]AW[bb][be][ce][ch][dd][de][eb][ec]C[problem 539])
(;AB[be][bg][ce][dd][de][eb][ec][gb]AW[bd][cb][cd][db][dc]C[problem 540])
(;AB[ce][cg][dd][de][eb][ec]AW[bd][cd][db][dc]C[problem 541])
(;AB[bb][ce][cg][dd][de][eb][ec]AW[ba][bd][cd][db][dc]C[problem 542])
(;AB[bb][be][bg][cb][ce][dd][ec][ed][fb][gc]AW[ae][ba][bc][bd][cd][db][dc][eb]C[problem 543])
(;AB[ce][cf][ch][dd][eb][ec][ed]AW[bd][be][cd][db][dc]C[problem 544])
(;AB[bb][be][bf][dd][de][ec][fb][fc]AW[ba][bd][cd][db][dc][eb]C[problem 545])
(;AB[bb][be][bf][dd][de][ec][fb][fc]AW[bc][bd][cd][db][dc][eb]C[problem 546])
(;AB[bd][be][bf][cd][db][dc][ea]AW[bg][cc][ce][cf][ch][dd][eb][ec][ed][fa]C[problem 547])
(;AB[bd][be][bf][bg][cd][db][dc]AW[bb][bc][bh][cc][ce][cf][cg][ci][dd][ed][fb][fc]C[problem 548])
(;AB[bh][cc][ce][cf][cg][ci][dd][ec][ed][fb][gc]AW[bd][be][bf][bg][cd][db][dc][eb]C[problem 549])
(;AB[bd][be][bf][bg][cd][db][dc][eb]AW[bh][cc][ce][cf][ch][dd][ea][ec][ed][ef][fb][gc]C[problem 550])
(;AB[ad][bd][cd][db][dc]AW[be][bg][ce][da][dd][ea][eb][ed][fc]C[problem 551])
(;AB[ad][bd][cd][da][db][dc]AW[ae][bb][be][ce][de][ea][eb][ec][ed]C[problem 552])
(;AB[ad][ae][be][cd][ce][db][dc][dd]AW[ac][af][bb][bd][bf][cc][cf][da][df][ea][eb][ee][fc][fd]C[problem 553])
(;AB[ab][ae][af][bc][bf][cf][de][eb][ec][ed][ee]AW[ad][bb][be][cc][cd][ce][db][dc][dd]C[problem 554])
(;AB[ad][bd][cc][cd][da][db][dc]AW[ac][bb][bc][bf][cb][ce][dd][de][ec][fb][fd]C[problem 555])
(;AB[ad][bd][cc][cd][da][db][dc][dd]AW[bb][bc][be][ca][ce][de][ea][eb][ec][ed][ee]C[problem 556])
(;AB[ba][bb][bc][be][bf][de][eb][ed][ee][fb]AW[ad][bd][cb][cd][da][db][dc][dd]C[problem 557])
(;AB[ad][ba][bd][cd][db][dc][dd]AW[ab][be][ca][cb][ce][de][eb][ec][ed][ee]C[problem 558])
(;AB[ad][ba][bc][bd][cd][db][dc][dd]AW[ab][bb][be][bg][cb][ce][de][eb][ec][ed][ee][gb]C[problem 559])
(;AB[bb][bd][cd][db][dc][dd]AW[ad][bc][be][bg][ce][de][eb][ec][ed][ee][gb]C[problem 560])
(;AB[ab][ae][bd][cd][db][dc][dd]AW[bb][be][bg][cb][ce][de][eb][ec][ed][ee][gb]C[problem 561])
(;AB[ad][bb][be][bg][ce][de][eb][ec][ed][ee][gb]AW[ac][ba][bd][cd][db][dc][dd]C[problem 562])
(;AB[bb][bc][be][bg][ce][de][eb][ec][ed][ee][gb]AW[ac][ba][bd][cd][db][dc][dd]C[problem 563])
(;AB[bb][be][bg][ce][de][eb][ec][ed][ee][gb]AW[bd][cb][cd][db][dc][dd]C[problem 564])
(;AB[bb][be][bg][cb][ce][de][eb][ed][ee][fb]AW[bc][bd][ca][cd][db][dc][dd]C[problem 565])
(;AB[bd][cd][db][dc][dd]AW[bc][be][bg][ce][de][eb][ed][ee][fb]C[problem 566])
(;AB[bb][be][bg][ce][de][eb][ed][ee][fb]AW[bc][bd][cd][db][dc][dd]C[problem 567])
(;AB[ad][bb][be][bg][cb][ce][de][eb][ed][ee][fb]AW[ac][bc][bd][cd][da][db][dc][dd]C[problem 568])
(;AB[bb][bc][be][bg][ce][de][eb][ed][ee][fb]AW[ae][ba][bd][ca][cd][db][dc][dd]C[problem 569])
(;AB[bd][cb][cd][db][dc][dd][eb]AW[ad][bb][be][bg][ce][de][ec][ed][fb][gc]C[problem 570])
(;AB[bc][bf][bh][cb][ce][cf][ec][ed][ee][fb][gc]AW[bd][be][cd][db][dc][dd][eb]C[problem 571])
(;AB[be][cb][ce][de][eb][ec][ed][ee]AW[bd][cd][da][db][dc][dd]C[problem 572])
(;AB[ad][bd][cd][da][db][dc][dd]AW[ae][bb][be][ce][de][ea][eb][ec][ed][ee]C[problem 573])
(;AB[ae][bb][be][ce][de][ea][eb][ec][ed][ee]AW[ad][bd][cd][da][db][dc][dd]C[problem 574])
(;AB[be][bg][ce][de][eb][ec][ed][ee]AW[bd][cb][cd][dc][dd]C[problem 575])
(;AB[bc][be][bg][ce][de][eb][ec][ed][ee]AW[ac][bd][cb][cd][dc][dd]C[problem 576])
(;AB[bd][cb][cd][dc][dd]AW[bc][be][bg][ce][de][eb][ec][ed][ee]C[problem 577])
(;AB[be][bg][ce][db][de][eb][ec][ed][ee]AW[ae][bd][cb][cd][dc][dd]C[problem 578])
(;AB[bb][bc][be][bf][de][ec][ed][ee]AW[ac][bd][cb][cd][dc][dd]C[problem 579])
(;AB[ba][bb][bf][ce][cg][db][de][eb][ec][ed][ee]AW[ae][bd][be][ca][cb][cd][dc][dd]C[problem 580])
(;AB[ad][af][bd][bg][cb][cc][ce][cf][ch][de][eb][ec][ed]AW[ac][bc][be][bf][cd][da][db][dc][dd]C[problem 581])
(;AB[ad][bb][bf][cf][de][df][eb][ec][ed][ee]AW[ac][bc][cd][ce][db][dc][dd]C[problem 582])
(;AB[bc][bf][bh][cf][de][df][eb][ec][ed][ee]AW[bb][cd][ce][db][dc][dd]C[problem 583])
(;AB[ab][bc][bf][cf][de][df][eb][ec][ed][ee]AW[ad][bb][cd][ce][db][dc][dd]C[problem 584])
(;AB[bc][bf][bh][cf][de][eb][ec][ed][ee][gb]AW[bb][cd][ce][db][dc][dd][ea]C[problem 585])
(;AB[bd][cb][cd][dc][ec]AW[bc][be][bg][ce][dd][de][fb][fc][fd]C[problem 586])
(;AB[bb][cf][ch][dd][df][eb][ec][ed][gb]AW[cb][cd][ce][db][dc]C[problem 587])
(;AB[cd][ce][cg][de][eb][ec][ed][gb]AW[bc][bd][db][dc][dd]C[problem 588])
(;AB[bf][cf][da][de][ea][eb][ec][ed][ef]AW[aa][bb][be][ca][db][dc][dd]C[problem 589])
(;AB[ba][bf][cf][da][de][ea][eb][ec][ed][ef]AW[bb][be][ca][cb][db][dc][dd]C[problem 590])
(;AB[bb][be][ca][db][dc][dd]AW[bf][cd][cf][da][de][ea][eb][ec][ed][ef]C[problem 591])
(;AB[bb][be][bg][ce][dc][de][ed][fb][fc][fd]AW[bc][bd][cd][db][dd][eb][ec]C[problem 592])
(;AB[bb][be][ce][cg][de][ed][fb][fc][fd]AW[bd][cc][cd][db][dd][eb][ec]C[problem 593])
(;AB[aa][ab][af][bg][bh][ce][cf][da][de][ea][ee][fa][fb][fc][fd][ge]AW[ad][ae][ba][be][bf][ca][cc][cd][db][dd][eb][ec][ed]C[problem 594])
(;AB[ba][be][bf][ca][cb][cf][da][eg][fb][fc][fd][fe][ff]AW[ad][bd][cd][ce][db][dc][de][ea][ec][ed][ee]C[problem 595])
(;AB[ba][bf][cb][ce][cf][df][eb][ee][fc][fe][fg]AW[bb][be][ca][da][db][dc][dd][de]C[problem 596])
(;AB[ba][bf][cb][ce][cf][df][eb][ee][fc][fe][fg]AW[bc][be][ca][da][db][dc][dd][de]C[problem 597])
(;AB[ba][bf][ce][cf][df][eb][ee][fc][fe][fg]AW[bc][be][da][db][dc][dd][de]C[problem 598])
(;AB[ba][bf][cf][df][eb][ee][fc][fe][fg]AW[bc][be][db][dc][dd][de]C[problem 599])
(;AB[ba][bf][cf][df][eb][ee][fc][fe][fg]AW[be][cb][db][dc][dd][de]C[problem 600])
(;AB[ac][bb][be][cd][db][dc][dd][de]AW[bc][bd][ce][cf][da][df][eb][ec][ed][ee]C[problem 601])
(;AB[bb][bf][cg][db][dc][dd][de][df][di][eg][eh][ei]AW[bd][be][ce][cf][ch][ci][cj][dg][dh][eb][ec][ef][fd][fe][ff]C[problem 602])
(;AB[ag][bg][cf][cg][dc][dd][de]AW[ae][af][bd][bf][cd][ce]C[problem 603])
(;AB[bg][cd][cf][cg][dd][ec][ed][ef][fd][gc]AW[ae][bd][bf][cc][ce][fc]C[problem 604])
(;AB[ad][bc][be][cd]AW[af][bf][ce][cg][dc][de][df][ed][gc]C[problem 605])
(;AB[ba][cb][dc][df][eb][ed][ee]AW[bb][bc][cc][ci][ck][dd][de][dg][ef][fe][ff][gb][gd]C[problem 606])
(;AB[ae][af][bc][be][bg][cb][cd][cf][eb][eg][fc][fe][gb]AW[ad][bb][bd][cc][ce][da][db][dc][de][ed]C[problem 607])
(;AB[ae][af][bc][be][bg][cb][cf][eb][eg][fc][fe][gb]AW[ad][bd][cc][ce][da][db][dc][dd][de][ed]C[problem 608])
(;AB[bb][bg][cc][cg][dc][dd][dg][ee][ef]AW[ab][ac][ad][ae][bc][be][bf][cd][cf][df]C[problem 609])
(;AB[ad][bb][bh][cc][ch][dc][dd][dh][ee][ef][eh][fd]AW[ab][ac][bc][be][cd][de][df][dg]C[problem 610])
(;AB[ad][bb][bh][cc][ch][dc][dd][dh][ee][ef][eh][fd]AW[ab][ae][bc][be][cd][de][df][dg]C[problem 611])
(;AB[ad][bc][be][cc][ce][dd][ed]AW[bf][cd][cf][dc][de][eb][ee][fd]C[problem 612])
(;AB[bb][bk][cb][cc][cd][ce][cf][cg][ch][ci][cj][cl]AW[ac][bc][bd][be][bf][bg][bh]C[problem 613])
(;AB[bb][bk][cb][cc][cd][ce][cf][ch][cj][cl][dh][dj]AW[bc][bd][be][bf][bg][bh][bj][ci]C[problem 614])
(;AB[bb][bk][cb][cc][cd][ce][cg][ci][cj][cl][dg][eh][ej]AW[bc][bd][be][bf][bg][bi][bj][ch]C[problem 615])
(;AB[aj][bb][bj][cb][cc][cd][ce][cf][cg][cj][dh][di]AW[ai][bc][bd][be][bf][bg][bi][ch]C[problem 616])
(;AB[ab][bc][bd][be][bf][bg][bi][bj][ch]AW[ac][bb][bk][cb][cc][cd][ce][cg][ci][cj][ck][dg][eh][ej]C[problem 617])
(;AB[bb][bj][cb][cc][cd][cf][ch][ci][ck][df][eg][ei]AW[ac][bc][bd][be][bf][bh][bi][cg]C[problem 618])
(;AB[bb][bj][cb][cc][cd][cf][ch][ci][ck][df][eg][ei]AW[ai][bc][bd][be][bf][bh][bi][cg]C[problem 619])
(;AB[ac][aj][bc][bd][be][bf][bh][bi][cg]AW[ae][bb][bj][bk][cb][cc][cd][cf][ch][ci][df][eg][ei]C[problem 620])
(;AB[bd][be][bf][bh][bi][bj][cg]AW[bc][bk][cc][cd][cf][ch][ci][cj][ck][df][eg][ei]C[problem 621])
(;AB[bc][bk][cc][cd][cf][ch][ci][cj][ck][df][eg][ei]AW[bd][be][bf][bh][bi][bj][cg]C[problem 622])
(;AB[aj][bc][bj][cc][cd][ce][cf][cg][cj][dh][di]AW[ad][ai][bd][be][bf][bg][bi][ch]C[problem 623])
(;AB[aj][bc][bj][cc][cd][ce][cf][ci][cj][dg][dh]AW[ad][ai][bd][be][bf][bh][bi][cg]C[problem 624])
(;AB[be][bf][bh][bi][cg]AW[bb][cc][cd][ce][cf][ch][ci][cj][cl][ef][eh]C[problem 625])
(;AB[be][bg][ce][df][dg]AW[cc][cd][ch][ci][ck][de][ee][eh][ff]C[problem 626])
(;AB[ag][bb][bf][bj][cb][cc][cd][ch][ci][cj][de][df][dg]AW[bc][bd][be][bg][bh][bi][ce][cf][cg]C[problem 627])
(;AB[bc][bd][bg][bh][cd][ce][cf][cg]AW[bb][bi][cb][cc][ch][ci][dd][de][df][dg]C[problem 628])
(;AB[bc][bj][cc][cd][ce][cj][df][dg][dh][di][dj]AW[bd][be][bf][bi][cf][cg][ch][ci]C[problem 629])
(;AB[bc][bj][cc][cd][ce][ch][ci][cj][df][dg]AW[ag][bd][be][bh][bi][cf][cg]C[problem 630])
(;AB[bc][bj][cc][cd][ce][ch][ci][cj][df][dg]AW[ai][bd][be][bh][bi][cf][cg]C[problem 631])
(;AB[bc][bj][bk][cc][cd][ce][ch][ci][df][dg]AW[ad][bd][be][bh][bi][cf][cg]C[problem 632])
(;AB[bb][bc][bj][bk][cd][ce][ch][ci][dc][df][dg][dj]AW[ac][ai][aj][bd][be][bh][bi][cf][cg]C[problem 633])
(;AB[bb][bc][bj][bk][cd][ce][ci][dc][df][dg][dh][dj]AW[ac][aj][bd][be][bh][bi][cf][cg]C[problem 634])
(;AB[bc][bj][bk][cc][cd][ce][ci][df][dg][dh][dj]AW[ad][bd][be][bh][bi][cf][cg]C[problem 635])
(;AB[bb][bd][be][bh][bi][cc][cf][cg][de]AW[ac][bc][bj][cb][cd][ce][ch][ci][dd][dj][ed][ee][eg]C[problem 636])
(;AB[be][bh][bi][bj][cg][dg]AW[bd][bk][cb][cc][ce][cj][ck][df][dh][eg][eh]C[problem 637])
(;AB[bc][bf][bg][cd][ce]AW[bb][cb][cc][cf][cg][ch][ci][cj][cl][dd][ec][ef]C[problem 638])
(;AB[bb][bh][cb][cc][cg][ch][dc][dd][de][df]AW[ad][ag][bc][bf][bg][cd][ce]C[problem 639])
(;AB[ag][bc][bf][bg][cd][ce][cf]AW[bb][bh][cc][cg][ch][db][dd][de][df]C[problem 640])
(;AB[bc][bf][bg][bh][cd][ce]AW[bb][bi][cb][cc][cf][cg][ch][ci][dd][ec][ef]C[problem 641])
(;AB[bc][bf][bg][bh][cd][ce]AW[ai][bb][bi][cb][cc][cf][cg][ch][ci][dd][ec][ef]C[problem 642])
(;AB[ah][ba][bh][cb][cf][cg][ch][dc][dd][de][eb]AW[ad][ae][bb][bc][bf][bg][cc][cd][ce]C[problem 643])
(;AB[af][ai][bb][bi][cb][cf][cg][ch][ci][db][dc][dd][de]AW[ae][ah][bc][bf][bg][bh][cc][cd][ce]C[problem 644])
(;AB[bb][bc][be][bg][bh][cd][ce][cf][de]AW[ab][ad][ba][bi][cb][cc][ch][ci][dd][df][dg][ec][ee]C[problem 645])
(;AB[bb][bc][be][bg][bh][cd][ce][cf][de]AW[ab][ac][ba][bi][cb][cc][ch][ci][dd][df][dg][ec][ee]C[problem 646])
(;AB[bc][bh][bl][cd][ce][cj][ck][dc][df][dg][dh][di][dl]AW[ad][af][be][bj][cf][cg][ch][ci]C[problem 647])
(;AB[ab][bb][bi][cb][cc][cd][ce][ci][df][dg][dh][di]AW[ac][ag][bc][bd][be][cf][cg][ch]C[problem 648])
(;AB[ad][bb][bd][cb][cg][ch][cj][de][df][ec][ed]AW[ae][bc][be][bg][cd][ce][dd]C[problem 649])
(;AB[bb][bj][cb][cf][ci][ck][dc][de][dh][ed][ee][ef][eg]AW[bc][be][bh][cd][ce][cg][df]C[problem 650])
(;AB[bb][bj][cb][ci][ck][dc][de][dh][ed][ee][ef][eg]AW[bc][be][bh][cd][cg][df]C[problem 651])
(;AB[bb][bj][cb][ce][ci][ck][dc][de][dh][ed][ee][ef][eg]AW[bc][be][bh][cd][cf][cg][df]C[problem 652])
(;AB[bb][bj][cb][ce][ci][ck][dc][de][dh][ed][ee][ef][eg]AW[ad][bc][be][cd][cf][cg][df]C[problem 653])
(;AB[bb][bj][cb][ce][ci][ck][dc][de][dh][ed][ee][ef][eg]AW[ad][bc][be][bh][cd][cg][df]C[problem 654])
(;AB[ab][ah][ba][bh][ca][cg][ch][db][de][df][ec][ed][fb]AW[ag][bb][bc][be][bg][cc][ce][cf][dc]C[problem 655])
(;AB[aj][bb][be][bj][cb][cf][ci][dc][de][df][dg][dh][di][ec][ed]AW[ae][bc][bf][bh][bi][cd][ce][cg][ch][dd]C[problem 656])
(;AB[ad][bc][bj][cc][cj][dc][dg][dj][ed][ee][ef][eh]AW[bd][be][bg][bi][ce][ch][ci][de][df]C[problem 657])
(;AB[ad][bc][bj][bl][cc][cd][cj][dd][dg][dj][ee][ef][eh]AW[ae][bd][be][bg][bi][ce][ch][ci][de][df]C[problem 658])
(;AB[ab][bc][bg][cd][ce][cf][dd][ec][ed][ee]AW[bb][bh][ca][cc][cg][ch][db][dc][eb][eg][eh][fc][fd][fe]C[problem 659])
(;AB[bb][bc][be][bg][cd][ce][cf][de]AW[ab][ad][ba][cb][cc][ch][cj][dd][df][dg][ec][ee]C[problem 660])
(;AB[bb][bc][cd][ce][cf][de]AW[bg][cb][cc][ch][ck][dd][df][dg][ec][ee]C[problem 661])
(;AB[bd][ce][cf][cg][de][ff]AW[bc][bh][cc][dh][ed][ef][eg][fe]C[problem 662])
(;AB[bd][ce][cf][cg][de][ee][ff]AW[bc][bh][cc][ch][dh][ed][ef][eg][fe]C[problem 663])
(;AB[bb][bh][cb][ch][dc][dd][de][df][dg]AW[bc][be][bg][cd][ce][cf]C[problem 664])
(;AB[bh][cc][cg][dc][dd][de][df][dg]AW[af][bc][bg][cd][ce][cf]C[problem 665])
(;AB[ah][cc][cd][ch][ci][ck][cl][de][df][dg]AW[ag][bd][bh][ce][cf][cg]C[problem 666])
(;AB[ag][ba][bg][cb][cg][db][df][dg][ec][ed][ee]AW[ab][ad][bb][bf][cc][cf][dc][dd][de]C[problem 667])
(;AB[af][bc][cc][cd][ch][ci][ck][de][df][dg]AW[ad][ag][bd][bh][ce][cf][cg]C[problem 668])
(;AB[ag][bc][cc][cd][ch][ci][ck][de][ef][eh]AW[ad][bd][bf][bh][ce][cf][cg]C[problem 669])
(;AB[af][bc][cc][cd][ch][ci][ck][de][ef][eh]AW[ad][bd][bf][bh][ce][cf][cg]C[problem 670])
(;AB[ae][bb][bi][bk][cb][cc][cg][ci][dd][de][df][dg]AW[ac][af][bc][bg][bh][cd][ce][cf]C[problem 671])
(;AB[ac][bc][bi][cc][ch][ci][dd][de][df][dg]AW[ad][ah][bd][bh][cd][ce][cf][cg]C[problem 672])
(;AB[ag][bc][bd][bg][cd][ce][cf][cg]AW[ad][be][bh][cb][cc][ch][dd][de][df][dg][dh][ec]C[problem 673])
(;AB[ad][ah][bd][bh][cd][cf][cg][de]AW[ac][bc][bi][cc][ce][ch][cj][dd][dg][dh][ed][ee][ef]C[problem 674])
(;AB[bd][bh][cd][ce][cf][cg][ch]AW[bc][bi][cc][ci][dc][dd][de][df][dg][dh][di]C[problem 675])
(;AB[ac][bc][bi][bk][cc][ci][dc][dd][de][df][dg][dh][di]AW[ad][bd][bh][cd][ce][cf][cg][ch]C[problem 676])
(;AB[bc][bi][bk][cc][ci][dc][dd][de][df][dg][dh][di]AW[ad][bd][bh][cd][ce][cf][cg][ch]C[problem 677])
(;AB[ah][bc][bj][cc][ci][ck][dc][dd][de][df][dg][dh][di]AW[ad][ag][bd][bh][cd][ce][cf][cg][ch]C[problem 678])
(;AB[ad][ah][bd][bh][cd][ce][cf][cg][ch]AW[ac][af][ai][bc][bi][cc][ci][dc][dd][de][df][dg][dh][di]C[problem 679])
(;AB[ad][ae][ag][ba][bg][ca][cg][db][dc][dd][de][df][dg]AW[ab][af][bb][bf][cb][cc][cd][ce][cf]C[problem 680])
(;AB[ad][bb][bi][bk][cb][ch][ci][db][dc][dd][de][df][dg]AW[ab][ae][bc][bg][bh][cc][cd][ce][cf][cg]C[problem 681])
(;AB[ad][bb][bi][bk][cb][ch][ci][db][dc][dd][de][df][dg]AW[ab][af][bc][bg][bh][cc][cd][ce][cf][cg]C[problem 682])
(;AB[ac][bc][bg][bh][cc][cd][ce][cf][cg]AW[bb][be][bi][bk][cb][ch][ci][dc][dd][de][df][dg]C[problem 683])
(;AB[bb][be][bi][cb][ch][ci][ck][dc][dd][de][df][dg]AW[ac][ah][bc][bg][bh][cd][ce][cf][cg]C[problem 684])
(;AB[bb][be][bi][cb][cc][ch][ci][ck][dc][dd][de][df][dg]AW[ac][bc][bd][bg][bh][cd][ce][cf][cg]C[problem 685])
(;AB[ac][bc][bg][bh][cc][cd][ce][cf][cg]AW[ab][ai][bb][be][bi][cb][ch][ci][dc][dd][de][df][dg]C[problem 686])
(;AB[ac][ag][bc][bh][cc][cd][ce][cf][ch]AW[ae][ah][bb][bi][bk][cb][ci][dc][dd][de][df][dh][di][ff]C[problem 687])
(;AB[bb][bi][bk][cb][ch][ci][dc][dd][de][df][dg]AW[bc][bg][bh][cc][cd][ce][cf]C[problem 688])
(;AB[ac][bb][bi][cb][cg][ch][cj][dc][dd][de][df]AW[af][ah][bc][bg][bh][cc][cd][ce][cf]C[problem 689])
(;AB[ac][ad][ah][bc][bh][bi][cc][cd][ce][cf][cg]AW[ae][ai][bb][bd][be][bf][bj][bl][cb][ch][ci][cj][dc][dg][dh][ed][ee][ef]C[problem 690])
(;AB[ac][ad][ah][bc][bh][bi][cc][cd][ce][cf][cg]AW[ae][ai][bb][bd][be][bg][bj][cb][ch][ci][cj][dc][dg][dh][ed][ee][ef]C[problem 691])
(;AB[ad][aj][bd][bh][bi][cd][ce][cf][cg][de][dg]AW[ak][bc][bf][bj][bl][cc][ch][cj][dd][df][dh][ec][ee][ef][eg][ej]C[problem 692])
(;AB[ad][ai][bd][cd][ce][cf][cg][ch]AW[ac][ae][bc][be][bf][bj][cc][ci][ck][dd][de][df][dh][eh]C[problem 693])
(;AB[ad][ag][bd][bi][cd][ce][cf][cg][ch]AW[ac][aj][bc][be][bf][cc][ci][cj][ck][dd][de][df][dg][dh]C[problem 694])
(;AB[ah][bd][bi][cd][ce][cf][cg][ch][ci]AW[ac][bc][bf][bg][bh][bj][bk][cc][dc][dd][de][df][dg][dh][di][dj]C[problem 695])
(;AB[ad][ah][bd][bi][cd][ce][cf][cg][ch]AW[af][aj][bc][bj][cc][ci][cj][dd][de][df][dg][dh]C[problem 696])
(;AB[ac][bc][bj][cc][cd][ci][cj][de][df][dg][dh]AW[ad][af][ai][bd][bi][ce][cf][cg][ch]C[problem 697])
(;AB[ad][ah][bd][bi][ce][cf][cg][ch]AW[aj][bc][bj][cc][cd][ci][cj][de][df][dg][dh]C[problem 698])
(;AB[ad][ah][bd][bi][ce][cf][cg][ch]AW[af][bc][bj][cc][cd][ci][cj][de][df][dg][dh]C[problem 699])
(;AB[aj][bc][bj][cc][cd][ci][cj][de][df][dg][dh]AW[ad][ah][bd][bi][ce][cf][cg][ch]C[problem 700])
(;AB[ai][aj][bc][bj][cc][cd][ci][cj][de][df][dg][dh]AW[ad][ah][bd][bh][bi][ce][cf][cg][ch]C[problem 701])
(;AB[af][aj][bc][bj][cc][cd][ci][cj][de][df][dg][dh]AW[ad][ah][bd][bf][bi][ce][cf][cg][ch]C[problem 702])
(;AB[ac][ai][aj][bc][bj][cc][cd][cj][de][df][dg][dh][di]AW[ad][ah][bd][bf][bi][ce][cf][cg][ch]C[problem 703])
(;AB[aj][bc][bj][cc][cd][ci][cj][de][df][dg][dh]AW[ae][ah][bd][bi][ce][cf][cg][ch]C[problem 704])
(;AB[ac][bc][bj][cd][ci][cj][dd][de][df][dh][ei]AW[ae][ah][bd][bi][ce][cf][cg][ch]C[problem 705])
(;AB[bb][bf][cc][cf][dc][dg][ed][fd][fe]AW[bc][bh][cd][ce][ci][df][ee][eg][eh]C[problem 706])
(;AB[bb][bg][bj][cc][ch][ci][cj][db][dd][de][df][dg]AW[bc][bf][bh][bi][cd][ce][cf][cg]C[problem 707])
(;AB[bc][bd][bh][bi][cd][ce][cf][cg][ch]AW[bb][bf][bj][bl][cb][cc][ci][cj][dd][de][df][dg][dh]C[problem 708])
(;AB[be][cb][cd][ch][ci][db][dc][dg][ed][ee][ef][eg][fc]AW[af][bb][bc][ca][cc][cf][cg][dd][de][df]C[problem 709])
(;AB[ag][bg][cb][cd][cg][db][dc][dg][ed][ee][ef]AW[af][bb][bc][bf][cc][cf][dd][de][df]C[problem 710])
(;AB[ac][ah][bc][bg][bh][cb][cc][cd][ce][cg]AW[aa][ad][bb][be][bi][ca][ch][cj][da][db][dc][de][df][dg][fc]C[problem 711])
(;AB[af][bb][bf][cb][cd][ce][cf]AW[ba][bg][ca][cg][db][dc][dd][de][df][dg]C[problem 712])
(;AB[ag][bd][bh][bi][cd][cf][cg]AW[ad][bc][bj][bl][cc][ci][cj][dc][de][df][dg][dh][ec]C[problem 713])
(;AB[ae][bd][bg][bh][bi][cd][ce][cf][ch]AW[bc][bf][bj][cc][cg][ci][ck][dd][de][df][dg][dh][di]C[problem 714])
(;AB[ae][bd][bh][bi][cd][ce][cf][ch]AW[bc][bf][bj][cc][ci][ck][dd][de][df][dg][dh][di]C[problem 715])
(;AB[ag][ah][ba][bh][cb][ch][dc][df][dg][dh][eb][ed][ee]AW[af][bb][bc][bg][ce][cf][cg][dd][de]C[problem 716])
(;AB[ab][ag][ah][ba][bh][cb][ch][dc][df][dg][dh][eb][ed][ee]AW[af][bb][bc][bg][cc][ce][cf][cg][dd]C[problem 717])
(;AB[af][be][bg][ce][cg][dc][dd][de][df]AW[ac][bh][cc][ch][db][dg][dh][eb][ec][ed][ee][ef]C[problem 718])
(;AB[bb][bc][bf][cc][ce][dc][dd][de]AW[ba][bg][cb][cf][cg][db][ec][ed][ee][ef]C[problem 719])
(;AB[af][bb][be][bf][cb][ce][dc][dd][de]AW[ab][ag][ba][bg][ca][cf][db][df][eb][ec][ed][ee][ef]C[problem 720])
(;AB[bc][bf][cc][cf][cg][dd][de][df]AW[bb][bg][bh][cb][ch][dg][ec][ee][ef][eg][fc]C[problem 721])
(;AB[bc][bh][bj][cc][ch][dc][dh][ed][ee][ef][eg]AW[bd][bf][bg][cd][cg][dd][de][df][dg]C[problem 722])
(;AB[bb][bc][bh][bi][cc][cf][dc][dh][ed][ee][ef][eg][eh]AW[bd][bf][bg][cd][cg][dd][de][df][dg]C[problem 723])
(;AB[bd][bf][bg][cd][cg][dd][de][df][dg]AW[bc][bh][bi][cc][ce][dc][dh][ed][ee][ef][eg][eh]C[problem 724])
(;AB[bb][bc][bh][bj][cc][ch][dc][dh][ed][ee][ef][eg]AW[ac][ah][bd][bg][cd][cg][dd][de][df][dg]C[problem 725])
(;AB[bc][bh][bj][cc][ch][dc][dh][ed][ee][ef][eg]AW[ad][bd][bg][cd][cg][dd][de][df][dg]C[problem 726])
(;AB[bc][bh][bj][cc][ch][dc][dg][dh][ed][ee][ef]AW[ah][bd][bf][bg][cd][cg][dd][de][df]C[problem 727])
(;AB[bc][bh][bj][cc][ch][dc][dg][dh][ed][ee][ef]AW[ad][ah][bd][bg][cd][cg][dd][de][df]C[problem 728])
(;AB[ac][bc][bh][bj][cc][ch][dc][dh][ed][ee][ef][eg]AW[ad][ah][bd][bg][cd][cg][dd][de][df][dg]C[problem 729])
(;AB[ab][ac][bd][bg][cd][cg][dc][dd][de][df][dg]AW[ba][bb][bc][bh][bi][ca][cc][db][dh][di][ec][ee][ef][eg][fc]C[problem 730])
(;AB[be][bh][ce][ch][da][dd][de][df][dg][dh][eb][ec][ed][fb]AW[bb][bd][bi][bj][ca][cd][db][dc][di][ee][eg][eh][ei][fc][fd][fe][hb][hc]C[problem 731])
(;AB[ae][ag][be][bh][ce][ch][da][dd][de][df][dg][dh][eb][ec][ed][fb]AW[ah][bb][bd][bf][bi][bj][cb][cd][db][dc][di][ee][eg][eh][ei][fc][fd][fe][hb][hc]C[problem 732])
(;AB[ab][bd][bg][cd][cg][db][dc][dd][de][df][ed]AW[ac][bc][bh][bj][cb][ch][da][dh][eb][ec][ee][ef][eg][fd][gc]C[problem 733])
(;AB[ad][bd][bg][cd][de][df][dg]AW[bc][bh][cc][ch][dc][dh][ed][ee][eg][eh]C[problem 734])
(;AB[bb][bh][cb][cg][ci][db][dg][ec][ed][ee][ef][eg]AW[bc][be][bf][bg][cc][dc][dd][de][df]C[problem 735])
(;AB[ba][bg][bh][ca][cb][cg][dc][dg][eb][ed][ee][ef][eg]AW[bb][bc][bf][cc][cf][dd][de][df]C[problem 736])
(;AB[ae][bb][bc][bf][cc][cf][dd][de][df]AW[ba][bd][bg][ca][cb][cg][dc][dg][eb][ed][ee][ef][eg]C[problem 737])
(;AB[bc][bi][cc][ch][cj][dc][dg][dh][ed][ee][ef]AW[bd][bg][bh][cd][cg][dd][de][df]C[problem 738])
(;AB[bc][bf][bg][cf][dc][dd][de][df]AW[bb][bh][cb][cg][ci][db][dg][ec][ed][ee][ef]C[problem 739])
(;AB[ai][bd][bg][bh][cd][cg][dd][de][df][dg]AW[ah][bc][bi][bj][cc][ch][dc][dh][ed][ee][ef][eg][eh]C[problem 740])
(;AB[ai][bd][bg][bh][cd][cg][dd][de][df][dg]AW[bc][be][bi][bj][cc][ch][dc][dh][ed][ee][ef][eg][eh]C[problem 741])
(;AB[ac][bd][bg][bh][cd][cg][dd][de][df][dg]AW[ad][bb][bc][bi][bj][ch][dc][dh][ec][ed][ee][ef][eg][eh]C[problem 742])
(;AB[ac][bd][bg][bh][cd][cg][dd][de][df][dg]AW[ah][bb][bc][bi][bj][ch][dc][dh][ec][ed][ee][ef][eg][eh]C[problem 743])
(;AB[bd][bf][bg][bh][cd][dd][de][df][dg]AW[bc][bi][cc][cg][ch][cj][dc][dh][ed][ee][ef][eg]C[problem 744])
(;AB[bd][bg][bh][cd][cg][dd][de][dg]AW[bc][bi][cc][ch][cj][dc][dh][ed][ee][ef][eg]C[problem 745])
(;AB[ac][af][bc][cc][cf][cg][dd][de][df]AW[ag][bb][bh][bj][cb][cd][ce][ch][dc][dg][ec][ed][ee][ef][eg]C[problem 746])
(;AB[ac][af][bc][bd][cd][cg][de][df]AW[ab][bb][bh][cc][ch][dc][dd][dg][dh][ee][ef]C[problem 747])
(;AB[ag][bc][bg][cc][cd][ce][cg][df][dg]AW[bb][bd][be][bh][cb][ch][dc][dd][de][dh][ef][eg][eh]C[problem 748])
(;AB[ad][bc][bg][cd][cg][dd][de][df][dg]AW[ag][ah][bb][bh][cb][cc][cf][ch][dh][ec][ed][ee][ef][eg]C[problem 749])
(;AB[ab][ac][ag][bc][bf][bg][cc][cf][dd][de][df]AW[aa][ae][ah][bb][be][bh][cb][ch][dc][dg][eb][ed][ee][ef][eg]C[problem 750])
(;AB[ab][bb][bc][bf][cc][cf][cg][dc][dd][de]AW[ad][ba][bg][bh][cb][ch][db][df][dg][dh][ec][ed][ee]C[problem 751])
(;AB[ac][bc][cc][cf][cg][dc][dd][df][ee][ef]AW[ab][ae][bb][bg][bh][cb][ch][db][dg][ec][ed][eg][fe][ff][fg]C[problem 752])
(;AB[ac][bc][bf][bg][bh][cd][cf][dd][de][df]AW[ab][ae][af][ai][bb][bd][bi][cb][cg][ch][ci][dc][dg][ec][ed][ee][ef]C[problem 753])
(;AB[ac][bc][bf][bg][ce][cf][dc][dd][df][ee][ef]AW[ag][bb][bh][bi][cb][cc][cg][db][dg][ec][ed][eg][fe][ff][fg]C[problem 754])
(;AB[ac][ae][af][bc][bg][cd][cg][de][df]AW[ag][ah][bb][bh][cc][ch][db][dd][dg][dh][ed][ee][ef]C[problem 755])
(;AB[ab][ad][bb][bd][bf][cc][cf][dc][de][df]AW[ac][af][ag][ba][be][bg][cb][cg][db][dg][ec][ed][ef][ff]C[problem 756])
(;AB[ag][bd][bg][cc][cg][dc][dd][de][df]AW[ah][bb][bc][bh][cb][ce][ch][db][dg][dh][ec][ed][ee][ef]C[problem 757])
(;AB[ae][ah][bc][bi][cc][ci][dc][df][dh][ed][ee][eh][fc][ff][fg][fh]AW[bd][be][bf][cd][cg][ch][dd][de][dg][ef][eg]C[problem 758])
(;AB[bd][bf][cd][cg][ch][dd][de][dg][ef][eg]AW[ah][bc][bi][cc][cf][ci][dc][df][dh][ed][ee][eh][fc][ff][fg][fh]C[problem 759])
(;AB[ae][ah][bc][bi][cc][ci][dc][df][dh][ed][ee][eh][fc][ff][fg][fh]AW[ag][bd][bf][cd][cg][ch][dd][de][dg][ef][eg]C[problem 760])
(;AB[ah][bc][bi][cc][cf][ci][dc][df][dh][ed][ee][eh][fc][ff][fg][fh]AW[ag][bd][bf][cd][cg][ch][dd][de][dg][ef][eg]C[problem 761])
(;AB[bc][bg][bh][cc][ch][ci][dc][df][ec][ed][eh][fe][ff][fg][fh]AW[ag][bd][bf][cd][cg][dd][de][dg][ee][ef][eg]C[problem 762])
(;AB[ae][af][bc][bd][bg][cg][dd][de][dg][ee][ef][eg]AW[ab][ac][ad][bb][bh][cb][cf][ch][dc][df][dh][ec][ed][eh][fe][ff][fg][gd]C[problem 763])
(;AB[ae][af][ag][bc][bd][cg][ch][dd][de][dg][ed][ef][eg]AW[ab][ac][ad][ai][bb][bi][cb][cd][ci][dc][df][dh][ec][eh][fd][fe][ff][fg][fh]C[problem 764])
(;AB[ad][ag][ah][bc][bd][bh][cc][cf][cg][dd][de][df]AW[ai][bb][be][bf][bi][cb][ch][ci][dc][dg][ec][ed][ee][ef][eg]C[problem 765])
(;AB[ae][bc][bf][cc][cf][dc][df][ec][ed][ee]AW[bb][bd][bg][cb][cg][db][dd][de][dg][eb][ef][eg][fc][fd][fe]C[problem 766])
(;AB[ab][af][bb][bf][cb][ce][db][dc][de][ec][ed][ee]AW[ac][bc][be][bg][cd][cf][da][dd][df][eb][ef][fb][fc][fd][fe]C[problem 767])
(;AB[bc][bh][bj][cc][ce][ch][dc][dh][ec][eg][eh][fd][fe][ff]AW[bd][be][bg][cd][cg][dd][df][dg][ed][ee]C[problem 768])
(;AB[ad][bc][bh][bj][cc][ch][dc][dh][ec][eg][eh][fd][fe][ff]AW[bd][be][bg][cd][cg][dd][df][dg][ed][ee]C[problem 769])
(;AB[ah][bd][bg][cd][cg][dd][df][dg][ed][ee]AW[ad][bc][bh][bj][cc][ch][dc][dh][ec][eg][eh][fd][fe][ff]C[problem 770])
(;AB[af][bd][bg][cd][cg][dd][dg][ed][ee][ef][eg]AW[ae][ag][bc][bh][bj][cc][ch][dc][dh][ec][eh][fd][fe][ff][fg]C[problem 771])
(;AB[bg][bh][cc][ch][dc][de][di][ed][fc][fe][ff][fg][fh]AW[bd][bf][cd][cg][dd][dg][ee][ef][eg]C[problem 772])
(;AB[bb][bh][bj][cb][ch][dc][dg][dh][ec][ed][ee][ef]AW[bc][bg][cc][cg][dd][de][df]C[problem 773])
(;AB[ae][bc][be][bg][cc][cg][dd][de][df]AW[ag][bb][bh][bj][cb][cd][ch][db][dc][dg][dh][ed][ee][ef]C[problem 774])
(;AB[bc][be][bg][cc][cg][dd][de][df]AW[ag][bb][bh][bj][cb][ch][db][dc][dg][dh][ed][ee][ef]C[problem 775])
(;AB[bd][bh][cd][ch][dd][de][df][dg]AW[bc][bf][bi][bk][cc][ci][dc][di][ec][ed][ee][ef][eg][eh]C[problem 776])
(;AB[ac][bb][bh][bi][cb][ci][dc][di][ec][ed][ee][ef][eg][eh]AW[bc][be][bg][cc][cf][cg][ch][dd][de][dh]C[problem 777])
(;AB[ad][af][bc][bg][cc][cg][dd][de][df][dg]AW[ag][ah][bb][be][bh][cb][cf][ch][dc][dh][ec][ed][ee][ef][eg]C[problem 778])
(;AB[ad][ag][bc][bg][cc][ce][cg][dc][dd][de][df]AW[ab][ah][bb][be][bf][bh][cb][ch][db][dg][eb][ed][ee][ef][eg]C[problem 779])
(;AB[ad][ag][ah][bd][bh][cd][ch][dd][de][df][dg]AW[ac][ai][bc][bf][bi][cc][cf][ci][dc][dh][di][ed][ee][ef][eg]C[problem 780])
(;AB[ae][af][bd][bh][cd][ch][dd][de][df][dg]AW[ac][ad][ai][bc][be][bi][cc][ce][ci][dc][dh][di][ec][ee][ef][eg]C[problem 781])
(;AB[ac][af][ag][bd][bh][cd][ch][dd][de][df][dg]AW[ad][ah][ai][bc][bi][cc][ci][dc][dh][di][ec][ed][ee][ef][eg]C[problem 782])
(;AB[ac][bc][bf][bg][cc][cg][dc][dd][de][df]AW[ab][ah][bb][be][bh][cb][cf][ch][db][dg][dh][ec][ed][ee][ef]C[problem 783])
(;AB[ac][af][ag][bc][bg][cc][cg][dc][dd][de][df]AW[ab][ah][bb][bd][bh][cb][ce][ch][db][dg][dh][ec][ed][ee][ef]C[problem 784])
(;AB[ac][ae][af][bc][bg][cc][cg][dc][dd][df][dg]AW[ad][ag][ah][bb][be][bh][cb][cd][ch][db][dh][ec][ed][ef][eh][fe][ff]C[problem 785])
(;AB[af][ag][ah][bc][bd][bh][cc][ch][dd][de][df][dg][dh]AW[ab][ai][bb][be][bf][bi][bj][cb][cd][ci][db][dc][di][ed][ee][ef][eg][eh]C[problem 786])
(;AB[ac][bc][bd][bg][bh][cc][ch][dd][de][df][dg]AW[ab][ag][ah][bb][bi][cb][cd][cg][ci][dc][dh][di][ec][ed][ee][ef][eg]C[problem 787])
(;AB[bc][bg][cc][cf][cg][dc][dd][de][df]AW[ag][bb][bh][bj][cb][ch][db][dg][dh][ec][ed][ee][ef]C[problem 788])
(;AB[bb][be][bh][bj][cb][ch][db][dg][dh][ec][ed][ee][ef]AW[ag][bc][bg][cc][cf][cg][dc][dd][de][df]C[problem 789])
(;AB[bc][bg][cc][cf][cg][dc][dd][de][df]AW[bb][be][bh][bj][cb][ch][db][dg][dh][ec][ed][ee][ef]C[problem 790])
(;AB[bb][bh][bj][cb][ch][db][df][dg][dh][ec][ed][ee]AW[bc][bg][cc][ce][cf][cg][dc][dd][de]C[problem 791])
(;AB[bc][bg][cc][ce][cg][dd][de]AW[bb][bh][cb][ch][dc][df][dg][dh][ec][ed][ee]C[problem 792])
(;AB[ad][af][ag][bc][be][bf][bi][cc][ch][cj][dc][dg][dh][ed][ee][ef]AW[ah][bd][bg][bh][cd][ce][cf][cg][de][df]C[problem 793])
(;AB[bb][bc][bd][bg][cc][ce][cf][cg]AW[ac][ah][ba][bh][cb][ch][db][dc][dd][de][df][dg]C[problem 794])
(;AB[ab][ac][bb][bi][cb][cf][ch][ci][dc][dg][ec][ed][ee][ef]AW[ad][bc][be][bg][bh][cc][ce][dd][de][df]C[problem 795])
(;AB[ac][bc][bf][bg][cc][cd][de][df][dg][dh][ee][eg][ff]AW[ab][ad][ai][bb][bh][bj][cb][cg][ch][cj][db][dc][dd][di][dj][fd][fg][fi][ge][gg][hd]C[problem 796])
(;AB[ac][bc][bf][bg][bi][cc][cd][ci][de][df][dg][dh][ee][eg][ff]AW[ab][ad][bb][bh][bj][cb][cg][ch][cj][db][dc][dd][di][dj][fd][fe][fg][fi][ge][gg][hd]C[problem 797])
(;AB[bc][bh][cc][cd][ce][cf][cg][dg][ee][ef]AW[ac][bb][bd][bg][bi][cb][ch][ci][dc][ec][eh][fd][fe][fg]C[problem 798])
(;AB[ah][cc][cd][ce][cf][cj][ck][cl][cm][de][dh][dj][ee][ei][ff][fg][fh][fj]AW[ai][bh][cg][ci][df][dg][di][ef][eg][eh]C[problem 799])
(;AB[ac][ag][bc][be][bf][bg][cc][df][dg]AW[ab][ae][bb][bh][cb][ch][dc][dd][dh][ee][ef][eg][eh]C[problem 800])
(;AB[ag][bd][cc][ce][cf][dc][dd][de]AW[af][bb][bc][bi][cb][cg][ch][db][df][ec][ed][ee][ef]C[problem 801])
(;AB[ac][bc][bg][cc][ce][cg]AW[bb][cb][ch][ci][ck][dc][dd][de][df][dg]C[problem 802])
(;AB[ac][ae][ag][bc][bg][cc][cd][cg]AW[ab][ah][bb][bd][bh][cb][ch][dc][dd][de][df][dg]C[problem 803])
(;AB[ac][ag][bc][be][bg][cc][ce][cg][dd][df]AW[ad][ae][ah][bb][bh][cb][ch][dc][de][dg][dh][ec][ed][ee][ef]C[problem 804])
(;AB[ae][ag][bc][bg][cc][ce][cg][de]AW[ac][bb][bh][cb][ch][dc][dd][dg][dh][ee][ef]C[problem 805])
(;AB[ac][ae][ag][bc][bg][cc][cd][dd][de]AW[ab][bb][bd][bh][cb][cg][ci][dc][df][ec][ed][ee]C[problem 806])
(;AB[ah][bd][bi][bk][cd][ci][dd][de][df][di][dj][dk][eg][ek][fg][fk][gg][gj][gk][hh][hi]AW[af][ag][bh][ce][cf][ch][dh][eh][ei][ej][fh][fj][gh][gi]C[problem 807])
(;AB[bd][bi][cd][ci][dd][de][df][di][dj][dk][eg][ek][fg][fk][gg][gj][gk][hh][hi]AW[be][bh][ce][cf][ch][dh][eh][ei][ej][fh][fj][gh][gi]C[problem 808])
(;AB[ah][bb][bc][bd][bg][bh][cc][ce][cf][cg]AW[ad][ai][be][bi][cb][cd][ch][ci][db][dc][dd][de][df][dg]C[problem 809])
(;AB[ab][ag][bb][bc][bg][cc][cd][cf][cg]AW[ad][ah][ba][bd][bf][bh][cb][ch][db][dd][de][df][dg]C[problem 810])
(;AB[ac][af][bc][bd][bh][cd][cf][cg][ch]AW[ab][ad][ag][ai][bb][bi][cc][ci][dc][dd][de][df][dg][dh]C[problem 811])
(;AB[ag][be][bg][cc][ce][cf][cg][dc][dd]AW[ae][ah][bb][bh][cb][ch][db][de][df][dg][dh][ec][ed]C[problem 812])
(;AB[ag][bc][bg][cc][ce][cf][cg][dc][dd]AW[ab][ae][ah][bb][bh][cb][ch][db][de][df][dg][dh][ec][ed]C[problem 813])
(;AB[ah][bc][bd][be][bh][cc][cf][cg][ch][dc][dd][de]AW[ab][af][ai][bb][bf][bi][cb][ce][ci][db][df][dg][dh][di][ec][ed][ee]C[problem 814])
(;AB[ac][ae][bc][bg][cf][cg][dd][de][df]AW[ab][ah][bb][bh][cc][ch][dc][dg][ed][ee][ef][eg]C[problem 815])
(;AB[ab][bc][bf][bg][ce][cf][dc][dd][de]AW[ah][bb][bh][cb][cd][cg][ch][db][df][ec][ed][ee][ef]C[problem 816])
(;AB[ad][ah][bc][bd][bg][bh][cc][cg][dc][de][df][dg][dh]AW[ac][ai][bb][bf][bi][cb][ch][ci][db][dd][di][ec][ed][ee][ef][eg][eh]C[problem 817])
(;AB[ac][af][bc][bd][be][bh][cg][ch][dd][de][df]AW[ab][ah][ai][bb][bf][bi][cc][cd][ci][dc][dh][di][ed][ee][ef][eg]C[problem 818])
(;AB[ac][ah][bc][be][bf][bh][cc][dd][de]AW[ab][ae][ai][bb][bi][cb][cf][cg][ch][ci][dc][df][ec][ed][ee]C[problem 819])
(;AB[ac][ad][af][ah][bc][bh][cc][cg][dd][de][df][dg]AW[ab][ai][bb][bd][bi][cb][cd][ch][dc][dh][ec][ed][ee][ef][eg][eh]C[problem 820])
(;AB[ab][ac][bb][bd][bi][bj][cb][cj][dc][dd][de][df][dg][dh][di][dj]AW[ad][ae][ai][bc][bh][cc][cd][ce][cf][ch][ci]C[problem 821])
(;AB[ab][ai][bb][bd][bi][cb][ci][dc][dd][de][df][dg][dh]AW[ac][ad][ah][bc][bh][cc][cd][ce][cg][ch]C[problem 822])
(;AB[af][bb][bf][cb][cc][cg][dc][de][df][dg][ec][ed]AW[ag][ba][be][bg][bh][ca][ch][db][dd][dh][eb][ee][ef][eg][eh][fb][fc][fd]C[problem 823])
(;AB[ac][af][bc][bf][bg][cc][cg][dc][dd][de][dg][ef][eg]AW[ag][ah][bb][be][bh][cb][ce][ch][db][df][dh][eb][ec][ed][ee][eh][ff][fg]C[problem 824])
(;AB[ad][af][ag][bc][bg][cc][cg][dc][dd][df][ef]AW[ah][bb][bh][cb][cd][ce][ch][db][dg][ec][ed][eg][fe][ff][fg]C[problem 825])
(;AB[ab][af][bb][be][bf][cf][db][dc][ec][ed]AW[ag][ba][bg][ca][ce][cg][da][dd][df][dg][eb][ee][fb][fc][fd]C[problem 826])
(;AB[ad][ae][af][ag][bc][bg][cc][dc][de][ec][ed][ee]AW[ab][ac][ah][bb][bd][bh][cb][ch][db][df][dg][dh][eb][ef][fb][fc][fd][fe]C[problem 827])
(;AB[ad][bd][bf][cc][cf][cg][dc][ec][ed][fd][fe][ff]AW[bb][bc][bg][bh][cb][cd][ch][db][dg][eb][eg][fc][fg][gc][gd][ge][gf]C[problem 828])
(;AB[bc][bd][be][bf][cf][df][ef][fc][fd][fe][ff]AW[ac][af][bb][bg][cb][ce][cg][db][dg][eb][ee][eg][fb][fg][gc][gd][ge][gf]C[problem 829])
(;AB[ad][ae][bf][bg][cc][cf][dc][dg][ed][ee][ef][eg]AW[ac][ag][bb][bh][cb][cg][ch][db][dd][dh][ec][eh][fc][fd][fe][ff][fg]C[problem 830])
(;AB[ah][bb][bh][cb][ch][dc][dd][df][dh][eg][eh][fc][fd][fe][ff]AW[ag][bg][cc][cd][ce][cg][de][dg][ee][ef]C[problem 831])
(;AB[bb][bh][cb][cc][ce][cf][ch][db][dh][eb][ec][ed][ee][eh][fg]AW[ac][af][bc][cd][cg][dc][dd][de][df][dg]C[problem 832])
(;AB[af][ag][bd][be][bf][bh][cd][ch][dd][dh][ed][ee][ef][eg]AW[ac][ad][ae][ah][ai][bc][bi][cc][ci][dc][df][dg][di][ec][eh][ei][fd][fe][ff][fg]C[problem 833])
(;AB[ae][bc][bd][be][ce][dc][de][ec][ed]AW[af][ba][bb][bf][ca][cf][dd][df][ea][ee][ef][fb][fc][fd]C[problem 834])
(;AB[ag][be][bg][ce][cg][dg][ec][ed][ee][ef][eg]AW[ae][ah][bd][bh][cc][cf][ch][db][df][dh][eb][eh][fc][fe][ff][fg][gc]C[problem 835])
(;AB[bc][bg][cc][cg][dc][dg][ec][eg][fc][fh][gd][gh][hd][he][hf][hg]AW[bd][bf][cd][cf][dd][df][ed][ef][fd][fg][ge][gf]C[problem 836])
(;AB[af][ba][bf][cb][cf][db][df][eb][ef][fc][fd][fe]AW[ab][bb][be][cc][ce][dc][de][ec][ed]C[problem 837])
(;AB[ag][ba][bg][cb][cf][db][dd][df][eb][ef][fc][fd][fe][ff]AW[ab][bb][bf][cc][ce][dc][de][ec][ed][ee]C[problem 838])
(;AB[bb][bc][bh][cd][ch][dd][dh][ed][eg][eh][fd][fe][ff]AW[ac][bd][bg][ce][cf][cg][de][dg][ee][ef]C[problem 839])
(;AB[ab][ag][ah][bb][bh][cc][ch][dc][de][dh][ec][ef][eg][fc][fd][fe]AW[ac][af][bc][be][bg][cd][ce][cg][dd][dg][ed]C[problem 840])
(;AB[aj][bc][bi][bj][cc][ch][dc][dh][ed][ee][eh][fc][ff][fg][fi]AW[ah][ai][bd][bf][bh][cd][cg][dd][dg][eg]C[problem 841])
(;AB[ag][bc][bi][bj][cc][ch][dc][dh][ed][ee][eh][fc][ff][fg][fi]AW[ai][bd][bf][bh][cd][cg][dd][de][dg][eg]C[problem 842])
(;AB[af][bc][bl][cb][ck][cm][dc][df][dg][dj][ee][eg][ff][fj][gf][gi][hg]AW[be][bi][bj][ce][cf][cg][ch][ci][de][dh][eh][fg][fh]C[problem 843])
(;AB[ac][ag][ah][bc][bh][cc][cd][cg][de][df][dg]AW[ab][ae][ai][bb][bi][cb][ce][cf][ch][dc][dh][eb][ed][ee][ef][eg][eh]C[problem 844])
(;AB[ce][cf][cg][ch][dc][dd][dh][ec][eg][eh][fd][fe]AW[be][bf][bg][bh][cc][cd][ci][db][di][eb][ei][fc][ff][fg][fh][gc][gd][ge]C[problem 845])
(;AB[be][bf][cd][cg][db][dc][df][eb][ee][fc][fd]AW[ad][ae][af][bd][bg][bh][cb][cc][ch][da][dh][ea][ef][eg][fb][fe][gb][gc][gd]C[problem 846])
(;AB[bd][be][cb][cc][cf][db][df][dg][ec][ed][eg][fe][ff][fg]AW[ad][ae][bb][bc][bf][bh][ca][cg][da][dh][eb][ee][eh][fb][fc][fd][fh][ge][gf][gg]C[problem 847])
(;AB[bf][cd][ce][cg][dc][dg][ec][ef][eg][fd][fe][ff]AW[ae][af][bc][bd][bg][cc][ch][db][de][df][dh][eb][eh][fb][fc][fg][fh][gd][ge][gf]C[problem 848])
(;AB[bc][bd][be][cb][cf][db][df][ec][ef][fc][fd][fe]AW[ac][ad][ae][bb][bf][bh][ca][cc][cg][da][dg][eb][eg][fb][ff][gc][gd][ge]C[problem 849])
(;AB[bb][bc][bd][cb][ce][cf][db][dg][ec][ef][eg][fd][fe]AW[ab][ac][ad][ba][be][bf][bh][ca][cc][cg][da][dh][eb][eh][fc][ff][fg][gb][gd][ge]C[problem 850])
(;AB[bd][be][cc][cd][cf][db][dg][eb][ec][eg][fd][fe][ff][fg]AW[ad][ae][bb][bc][bf][bh][cb][cg][da][df][dh][ea][eh][fb][fc][fh][gc][gd][ge][gf][gg]C[problem 851])
(;AB[be][bf][bg][cd][cg][df][ef][eg][fc][fd][fe]AW[ae][af][ag][bc][bd][bh][cb][ch][db][dg][dh][eb][eh][ff][fg][gb][gc][gd][ge]C[problem 852])
(;AB[bd][be][bf][cc][cf][db][dc][dg][eb][ee][eg][fc][fd][ff][fg]AW[ad][ae][af][bb][bc][bg][cb][cd][cg][da][dh][ea][eh][fb][fe][fh][gc][gd][ge][gf][gg]C[problem 853])
(;AB[bc][bd][be][bf][cb][ce][cg][db][dg][ec][ee][ef][fd][fe]AW[ac][ad][ae][af][bb][bg][bh][ca][ch][da][df][dh][eb][eg][fc][ff][fg][gb][gd][ge]C[problem 854])
(;AB[bc][bd][be][bf][cb][cf][db][df][eb][ec][ee][fc][fd]AW[ac][ad][ae][af][bb][bg][ca][cd][cg][da][dg][ea][ef][eg][fb][fe][gb][gc][gd][ge]C[problem 855])
(;AB[bc][bd][be][bf][cf][db][df][eb][ec][ed][ee]AW[ac][ad][ae][af][bb][bg][ca][cg][da][dg][ea][ef][eg][fb][fc][fd][fe]C[problem 856])
(;AB[be][bf][cc][cd][cg][ch][db][dh][eb][eh][fc][fi][gc][ge][gi][hc][hd][he][hf][hg][hh]AW[ce][dc][dd][de][dg][ec][eg][fd][fe][fh][gd][gf][gg][gh]C[problem 857])
(;AB[be][bf][cc][cd][cg][ch][db][df][dh][eb][eh][fc][fi][gc][ge][gi][hc][hd][he][hf][hg][hh]AW[ce][cf][dc][dd][de][dg][ec][eg][fd][ff][fh][gd][gf][gg][gh]C[problem 858])
(;AB[ad][bc][be][cc][ce][cg][ch][dd][de]AW[bb][bg][bi][cb][ci][dc][dg][dh][di][ec][ed][ee][ef]C[problem 859])
(;AB[ad][ai][bb][bf][bi][cc][ci][dc][dg][dh][di][ec][ed][ee][ef]AW[ah][be][bh][cd][cf][cg][ch][dd][de][df]C[problem 860])
(;AB[ah][ai][bb][bd][bi][cb][cd][ci][db][de][di][eb][ee][ef][eg][eh][fc]AW[ag][bc][be][bf][bh][cc][cf][ch][dc][dd][df][dg][dh]C[problem 861])
)