File: testcase-large-exact8.h

package info (click to toggle)
cliquer 1.21-1
  • links: PTS, VCS
  • area: main
  • in suites: jessie, jessie-kfreebsd, stretch, wheezy
  • size: 484 kB
  • sloc: ansic: 5,394; makefile: 180
file content (862 lines) | stat: -rw-r--r-- 34,783 bytes parent folder | download | duplicates (2)
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
int large_exact_8_sized_cliques[][N] = {
	{ 8  ,0,9,186,225,409,535,569,573 },
	{ 8  ,0,12,86,142,176,236,324,367 },
	{ 8  ,0,20,109,134,196,339,375,498 },
	{ 8  ,0,20,109,134,196,375,498,571 },
	{ 8  ,0,79,87,133,186,264,384,421 },
	{ 8  ,0,79,87,186,264,354,384,421 },
	{ 8  ,0,109,134,183,375,498,513,571 },
	{ 8  ,0,109,134,196,375,498,513,571 },
	{ 8  ,1,8,47,243,286,469,509,585 },
	{ 8  ,1,15,151,236,334,356,367,531 },
	{ 8  ,1,15,158,236,258,260,356,456 },
	{ 8  ,1,15,158,236,258,260,373,456 },
	{ 8  ,1,39,176,286,323,358,443,575 },
	{ 8  ,1,153,267,315,464,466,555,590 },
	{ 8  ,2,16,155,258,375,377,402,433 },
	{ 8  ,2,28,90,327,350,376,495,559 },
	{ 8  ,2,53,80,222,459,466,547,571 },
	{ 8  ,2,53,80,222,466,547,571,593 },
	{ 8  ,2,99,125,145,163,225,334,563 },
	{ 8  ,2,152,269,350,376,410,485,590 },
	{ 8  ,3,15,284,373,507,529,530,584 },
	{ 8  ,3,23,138,141,171,230,236,408 },
	{ 8  ,3,23,138,171,178,230,236,408 },
	{ 8  ,3,23,138,171,178,236,401,408 },
	{ 8  ,3,23,138,171,182,306,364,408 },
	{ 8  ,3,23,138,171,182,306,401,408 },
	{ 8  ,3,23,138,171,306,364,408,409 },
	{ 8  ,3,23,171,178,236,302,401,408 },
	{ 8  ,3,61,92,103,284,327,495,559 },
	{ 8  ,3,61,92,148,284,327,495,559 },
	{ 8  ,3,61,92,284,327,495,559,587 },
	{ 8  ,3,89,141,241,276,282,547,571 },
	{ 8  ,3,125,241,276,282,483,488,571 },
	{ 8  ,3,222,290,306,312,547,552,571 },
	{ 8  ,4,53,74,466,547,552,566,585 },
	{ 8  ,4,74,444,466,547,552,566,585 },
	{ 8  ,4,113,137,165,260,384,502,554 },
	{ 8  ,4,116,165,311,325,333,436,467 },
	{ 8  ,5,8,17,123,178,284,358,407 },
	{ 8  ,5,8,66,74,123,127,198,444 },
	{ 8  ,5,8,66,74,123,127,444,524 },
	{ 8  ,5,8,66,74,123,198,400,444 },
	{ 8  ,5,8,74,198,331,400,444,590 },
	{ 8  ,5,8,89,127,198,286,297,335 },
	{ 8  ,5,10,114,158,246,361,483,542 },
	{ 8  ,5,61,84,143,348,417,499,524 },
	{ 8  ,5,61,143,348,417,455,499,524 },
	{ 8  ,5,94,95,194,202,273,408,501 },
	{ 8  ,5,98,123,177,198,267,400,484 },
	{ 8  ,5,123,358,388,400,492,501,580 },
	{ 8  ,5,167,365,368,446,479,540,574 },
	{ 8  ,5,198,304,331,335,358,444,525 },
	{ 8  ,5,241,368,430,465,547,566,590 },
	{ 8  ,6,29,61,284,378,409,561,594 },
	{ 8  ,6,29,152,284,378,388,409,561 },
	{ 8  ,6,29,152,284,378,388,409,594 },
	{ 8  ,6,29,152,284,378,388,561,594 },
	{ 8  ,6,29,152,284,378,409,561,594 },
	{ 8  ,6,29,152,284,388,409,561,594 },
	{ 8  ,6,29,152,378,388,409,561,594 },
	{ 8  ,6,29,284,378,388,409,561,594 },
	{ 8  ,6,131,132,327,450,542,561,593 },
	{ 8  ,6,152,284,306,378,409,561,594 },
	{ 8  ,6,152,284,378,388,409,502,561 },
	{ 8  ,6,152,284,378,388,409,502,594 },
	{ 8  ,6,152,284,378,388,409,561,594 },
	{ 8  ,6,152,284,378,388,502,561,594 },
	{ 8  ,6,152,284,378,409,502,561,594 },
	{ 8  ,6,152,284,388,409,502,561,594 },
	{ 8  ,6,152,378,388,409,502,561,594 },
	{ 8  ,6,284,378,388,409,502,561,594 },
	{ 8  ,7,41,61,63,166,353,507,517 },
	{ 8  ,7,41,63,89,255,353,507,529 },
	{ 8  ,7,44,61,63,138,166,303,517 },
	{ 8  ,7,58,77,144,208,333,472,511 },
	{ 8  ,7,77,144,165,208,333,366,472 },
	{ 8  ,7,77,144,208,333,366,472,511 },
	{ 8  ,7,150,152,159,197,251,346,470 },
	{ 8  ,7,152,159,197,224,251,346,470 },
	{ 8  ,7,165,188,255,338,467,513,593 },
	{ 8  ,7,179,327,353,454,507,518,529 },
	{ 8  ,8,33,93,102,166,348,444,559 },
	{ 8  ,8,33,93,166,348,388,444,559 },
	{ 8  ,8,68,167,177,243,284,408,548 },
	{ 8  ,8,115,137,208,232,260,262,413 },
	{ 8  ,8,217,241,283,325,477,493,497 },
	{ 8  ,9,14,249,251,328,373,480,570 },
	{ 8  ,9,15,126,151,247,328,340,568 },
	{ 8  ,9,93,170,381,396,433,523,570 },
	{ 8  ,9,105,115,170,196,216,258,538 },
	{ 8  ,9,115,171,174,216,244,362,538 },
	{ 8  ,9,129,171,174,216,244,362,538 },
	{ 8  ,9,196,264,297,307,389,404,476 },
	{ 8  ,9,226,228,247,323,433,440,544 },
	{ 8  ,9,236,247,373,440,441,480,544 },
	{ 8  ,10,18,85,159,257,286,450,560 },
	{ 8  ,10,26,85,99,159,428,527,582 },
	{ 8  ,10,31,141,189,311,358,370,489 },
	{ 8  ,11,18,44,54,159,308,535,581 },
	{ 8  ,11,18,44,159,244,308,535,581 },
	{ 8  ,11,18,54,159,182,308,535,581 },
	{ 8  ,11,18,159,182,244,308,535,581 },
	{ 8  ,11,19,129,157,159,244,278,538 },
	{ 8  ,11,41,103,349,353,372,380,554 },
	{ 8  ,11,44,191,349,517,554,581,587 },
	{ 8  ,11,54,76,239,246,282,459,489 },
	{ 8  ,11,57,156,191,280,341,408,435 },
	{ 8  ,11,57,191,248,280,341,408,435 },
	{ 8  ,11,59,135,209,299,435,524,535 },
	{ 8  ,11,76,135,209,299,435,524,535 },
	{ 8  ,11,80,208,301,357,396,448,472 },
	{ 8  ,11,152,244,246,390,533,537,549 },
	{ 8  ,11,152,246,282,353,390,537,549 },
	{ 8  ,11,152,246,353,390,533,537,549 },
	{ 8  ,11,152,310,355,464,467,526,590 },
	{ 8  ,11,157,261,278,337,430,491,580 },
	{ 8  ,11,244,332,357,398,467,499,524 },
	{ 8  ,12,23,41,86,205,206,331,357 },
	{ 8  ,12,23,205,214,312,349,408,423 },
	{ 8  ,12,24,62,159,205,231,312,423 },
	{ 8  ,12,24,62,159,205,231,312,509 },
	{ 8  ,12,24,62,159,205,231,423,509 },
	{ 8  ,12,24,62,159,205,312,408,423 },
	{ 8  ,12,24,62,159,205,312,423,509 },
	{ 8  ,12,24,62,159,231,258,423,430 },
	{ 8  ,12,24,62,159,231,312,423,509 },
	{ 8  ,12,24,62,159,231,312,448,509 },
	{ 8  ,12,24,62,205,231,312,423,509 },
	{ 8  ,12,24,62,210,231,312,423,509 },
	{ 8  ,12,24,62,221,236,480,508,561 },
	{ 8  ,12,24,159,205,231,312,423,509 },
	{ 8  ,12,24,210,312,368,405,423,509 },
	{ 8  ,12,24,210,312,368,408,423,547 },
	{ 8  ,12,26,73,140,277,291,480,584 },
	{ 8  ,12,27,76,102,137,187,431,496 },
	{ 8  ,12,27,76,102,183,187,431,496 },
	{ 8  ,12,41,71,169,202,227,480,496 },
	{ 8  ,12,45,100,116,126,202,203,214 },
	{ 8  ,12,45,100,128,243,371,442,509 },
	{ 8  ,12,45,100,128,243,371,442,550 },
	{ 8  ,12,62,159,205,231,312,423,509 },
	{ 8  ,12,62,159,205,312,349,408,423 },
	{ 8  ,12,62,159,205,312,349,423,509 },
	{ 8  ,12,71,110,126,169,242,584,598 },
	{ 8  ,12,71,110,169,242,258,584,598 },
	{ 8  ,12,71,128,190,315,441,442,592 },
	{ 8  ,12,71,170,217,265,301,477,573 },
	{ 8  ,12,86,110,111,262,312,431,480 },
	{ 8  ,12,86,142,176,236,324,367,575 },
	{ 8  ,12,110,116,171,244,258,434,459 },
	{ 8  ,12,110,126,169,173,221,584,598 },
	{ 8  ,12,110,183,273,312,349,478,526 },
	{ 8  ,12,116,159,244,245,398,423,478 },
	{ 8  ,12,162,178,187,242,244,284,425 },
	{ 8  ,12,162,178,242,244,284,425,578 },
	{ 8  ,12,162,178,242,284,425,521,578 },
	{ 8  ,12,162,242,284,425,521,531,578 },
	{ 8  ,12,165,243,312,341,408,434,472 },
	{ 8  ,12,173,182,184,319,466,508,584 },
	{ 8  ,12,173,221,265,284,477,481,561 },
	{ 8  ,12,182,184,217,301,405,466,508 },
	{ 8  ,13,94,191,279,313,334,392,441 },
	{ 8  ,13,183,186,234,384,419,572,593 },
	{ 8  ,14,20,169,339,354,444,479,588 },
	{ 8  ,14,73,219,453,466,513,570,576 },
	{ 8  ,14,73,444,453,466,513,534,570 },
	{ 8  ,14,77,79,87,231,277,417,568 },
	{ 8  ,15,70,150,183,192,334,432,508 },
	{ 8  ,15,70,183,192,334,375,432,508 },
	{ 8  ,15,74,86,151,236,334,356,367 },
	{ 8  ,15,84,115,258,285,350,438,524 },
	{ 8  ,15,95,151,236,334,356,367,531 },
	{ 8  ,15,95,151,334,356,367,531,568 },
	{ 8  ,15,96,151,334,356,367,531,568 },
	{ 8  ,15,96,163,334,340,375,531,568 },
	{ 8  ,15,115,244,278,310,402,426,589 },
	{ 8  ,15,158,236,258,260,297,373,456 },
	{ 8  ,15,158,236,258,297,373,420,456 },
	{ 8  ,15,163,334,340,375,431,531,568 },
	{ 8  ,15,220,247,340,375,488,533,578 },
	{ 8  ,15,241,272,310,427,438,477,582 },
	{ 8  ,16,23,50,96,180,239,386,504 },
	{ 8  ,16,23,50,105,205,312,345,365 },
	{ 8  ,16,23,60,182,306,383,414,450 },
	{ 8  ,16,23,60,182,306,383,414,473 },
	{ 8  ,16,23,96,182,209,306,414,450 },
	{ 8  ,16,23,96,182,209,414,450,459 },
	{ 8  ,16,23,117,183,240,326,445,456 },
	{ 8  ,16,23,117,183,240,445,456,528 },
	{ 8  ,16,24,127,133,182,183,332,527 },
	{ 8  ,16,27,76,133,183,209,450,459 },
	{ 8  ,16,27,76,133,183,450,459,508 },
	{ 8  ,16,27,133,183,209,264,450,459 },
	{ 8  ,16,27,133,183,209,264,459,596 },
	{ 8  ,16,27,133,183,264,450,459,508 },
	{ 8  ,16,27,133,183,264,459,508,596 },
	{ 8  ,16,38,104,208,267,289,464,522 },
	{ 8  ,16,63,113,156,450,474,493,591 },
	{ 8  ,16,102,124,204,245,321,352,450 },
	{ 8  ,16,102,152,182,264,306,376,527 },
	{ 8  ,16,133,182,183,209,264,450,459 },
	{ 8  ,16,133,182,183,264,450,459,508 },
	{ 8  ,17,38,59,162,178,284,391,407 },
	{ 8  ,17,38,59,178,284,358,391,407 },
	{ 8  ,17,59,119,126,147,194,220,584 },
	{ 8  ,17,70,124,253,352,430,533,537 },
	{ 8  ,17,74,149,224,253,411,415,482 },
	{ 8  ,17,74,185,262,381,397,572,591 },
	{ 8  ,17,82,187,192,244,352,397,589 },
	{ 8  ,17,109,196,285,324,468,496,591 },
	{ 8  ,17,188,196,335,399,411,420,519 },
	{ 8  ,17,188,335,399,411,420,482,519 },
	{ 8  ,18,54,125,190,196,275,543,586 },
	{ 8  ,18,85,159,257,286,410,450,560 },
	{ 8  ,18,100,135,233,254,322,495,502 },
	{ 8  ,18,100,233,254,322,489,495,502 },
	{ 8  ,18,171,244,301,355,400,581,596 },
	{ 8  ,19,27,200,244,251,253,346,390 },
	{ 8  ,19,27,200,244,253,346,390,533 },
	{ 8  ,19,31,178,287,332,383,391,524 },
	{ 8  ,19,35,94,107,246,345,492,589 },
	{ 8  ,19,40,244,251,327,346,372,498 },
	{ 8  ,19,53,200,244,251,390,523,541 },
	{ 8  ,19,53,200,244,251,523,541,552 },
	{ 8  ,19,59,178,209,332,371,391,524 },
	{ 8  ,19,77,178,209,332,371,391,524 },
	{ 8  ,19,77,178,287,332,383,391,524 },
	{ 8  ,19,77,178,287,383,391,451,524 },
	{ 8  ,19,212,311,345,479,490,525,539 },
	{ 8  ,20,22,66,174,242,398,444,453 },
	{ 8  ,20,42,144,333,366,472,511,558 },
	{ 8  ,20,73,107,120,280,432,480,551 },
	{ 8  ,20,83,272,443,462,527,551,565 },
	{ 8  ,20,88,102,131,151,363,444,595 },
	{ 8  ,20,88,102,131,348,363,444,595 },
	{ 8  ,20,116,249,264,333,364,398,402 },
	{ 8  ,20,134,196,339,348,354,444,479 },
	{ 8  ,21,58,120,138,141,307,494,570 },
	{ 8  ,21,162,178,196,292,326,340,375 },
	{ 8  ,22,57,140,183,192,212,454,561 },
	{ 8  ,22,69,110,250,252,298,338,593 },
	{ 8  ,22,69,110,250,252,338,571,593 },
	{ 8  ,22,69,250,252,298,338,415,593 },
	{ 8  ,22,86,257,481,502,536,558,561 },
	{ 8  ,22,140,183,192,212,454,508,561 },
	{ 8  ,22,170,183,252,281,338,571,593 },
	{ 8  ,23,38,44,95,125,277,409,502 },
	{ 8  ,23,38,44,125,277,409,502,535 },
	{ 8  ,23,41,69,74,86,194,236,351 },
	{ 8  ,23,54,76,239,246,282,459,489 },
	{ 8  ,23,60,245,312,321,339,473,498 },
	{ 8  ,23,60,312,321,339,401,473,498 },
	{ 8  ,23,66,87,128,312,350,552,573 },
	{ 8  ,23,66,95,123,128,403,549,578 },
	{ 8  ,23,68,96,194,349,408,501,581 },
	{ 8  ,23,68,96,194,349,408,556,581 },
	{ 8  ,23,76,239,246,282,350,459,489 },
	{ 8  ,23,114,141,230,248,257,312,472 },
	{ 8  ,23,114,178,230,257,350,376,472 },
	{ 8  ,23,123,262,271,369,400,486,548 },
	{ 8  ,23,128,242,354,374,465,479,588 },
	{ 8  ,23,128,242,354,374,465,479,594 },
	{ 8  ,23,128,242,354,374,465,588,594 },
	{ 8  ,23,128,242,354,374,479,588,594 },
	{ 8  ,23,128,242,354,465,479,588,594 },
	{ 8  ,23,128,242,374,465,479,588,594 },
	{ 8  ,23,128,295,365,374,465,578,581 },
	{ 8  ,23,128,354,374,465,479,588,594 },
	{ 8  ,23,138,171,182,238,306,364,408 },
	{ 8  ,23,138,171,182,238,306,364,450 },
	{ 8  ,23,138,171,182,268,364,408,581 },
	{ 8  ,23,138,171,182,306,364,408,581 },
	{ 8  ,23,138,171,306,364,408,409,581 },
	{ 8  ,23,138,178,230,239,380,408,472 },
	{ 8  ,23,141,230,248,257,312,349,408 },
	{ 8  ,23,141,230,248,257,312,408,472 },
	{ 8  ,23,149,164,194,257,285,339,350 },
	{ 8  ,23,164,194,257,285,337,339,350 },
	{ 8  ,23,164,194,257,327,337,350,556 },
	{ 8  ,23,164,194,257,337,339,350,556 },
	{ 8  ,23,178,230,239,257,350,408,472 },
	{ 8  ,23,178,230,239,257,380,408,472 },
	{ 8  ,23,205,214,312,349,369,408,423 },
	{ 8  ,23,230,239,257,312,350,408,472 },
	{ 8  ,23,230,239,257,312,380,408,472 },
	{ 8  ,23,242,354,374,465,479,588,594 },
	{ 8  ,23,245,246,295,345,427,459,492 },
	{ 8  ,24,28,137,307,450,452,507,508 },
	{ 8  ,24,41,89,121,135,231,312,532 },
	{ 8  ,24,41,89,121,231,312,434,476 },
	{ 8  ,24,41,238,353,430,450,537,554 },
	{ 8  ,24,41,243,312,429,447,476,509 },
	{ 8  ,24,62,159,205,231,312,423,509 },
	{ 8  ,24,62,159,231,312,423,495,509 },
	{ 8  ,24,124,238,353,430,450,537,554 },
	{ 8  ,24,183,221,354,450,452,508,561 },
	{ 8  ,24,210,312,368,405,423,476,509 },
	{ 8  ,24,210,312,368,408,423,476,547 },
	{ 8  ,24,221,339,354,450,452,508,561 },
	{ 8  ,26,60,99,225,383,428,457,482 },
	{ 8  ,26,73,95,140,277,291,480,584 },
	{ 8  ,26,116,128,174,212,244,366,399 },
	{ 8  ,26,136,172,239,293,479,512,586 },
	{ 8  ,27,28,137,307,450,452,507,508 },
	{ 8  ,27,28,137,307,450,452,508,559 },
	{ 8  ,27,28,183,264,307,450,452,508 },
	{ 8  ,27,28,183,307,450,452,508,559 },
	{ 8  ,27,35,106,218,264,307,450,515 },
	{ 8  ,27,59,190,234,496,519,551,589 },
	{ 8  ,27,122,218,374,405,430,462,566 },
	{ 8  ,27,183,264,307,354,450,452,508 },
	{ 8  ,27,195,230,278,359,366,409,489 },
	{ 8  ,28,31,107,217,234,333,376,507 },
	{ 8  ,28,38,178,179,483,493,520,598 },
	{ 8  ,28,58,177,289,293,333,407,449 },
	{ 8  ,28,74,101,131,327,450,497,561 },
	{ 8  ,28,75,116,118,213,232,374,575 },
	{ 8  ,28,75,116,118,213,374,491,575 },
	{ 8  ,28,75,118,213,374,407,490,575 },
	{ 8  ,28,75,118,213,374,407,491,575 },
	{ 8  ,28,82,121,214,333,477,490,493 },
	{ 8  ,28,90,124,164,177,179,327,559 },
	{ 8  ,28,90,164,179,327,350,376,559 },
	{ 8  ,28,98,258,350,438,477,500,560 },
	{ 8  ,28,107,156,213,232,507,517,581 },
	{ 8  ,28,107,177,217,333,469,483,493 },
	{ 8  ,28,109,113,134,183,293,330,375 },
	{ 8  ,28,109,113,134,183,293,330,454 },
	{ 8  ,28,109,113,134,183,293,330,559 },
	{ 8  ,29,55,235,292,375,445,446,571 },
	{ 8  ,29,55,292,375,445,446,451,571 },
	{ 8  ,29,61,136,254,314,324,550,559 },
	{ 8  ,29,152,284,378,388,409,561,594 },
	{ 8  ,29,227,296,311,374,375,455,544 },
	{ 8  ,30,33,46,85,313,348,371,428 },
	{ 8  ,30,48,202,378,559,560,581,595 },
	{ 8  ,30,67,130,342,362,435,482,573 },
	{ 8  ,30,72,124,132,138,327,502,550 },
	{ 8  ,30,72,132,138,327,502,550,581 },
	{ 8  ,30,72,132,138,327,502,550,586 },
	{ 8  ,30,90,124,164,177,179,327,559 },
	{ 8  ,30,115,145,163,186,252,361,461 },
	{ 8  ,31,54,68,92,237,288,492,580 },
	{ 8  ,31,54,92,184,348,453,479,548 },
	{ 8  ,31,54,92,237,288,492,535,580 },
	{ 8  ,31,56,69,79,136,165,255,470 },
	{ 8  ,31,70,179,292,330,343,514,546 },
	{ 8  ,31,76,163,262,350,431,459,508 },
	{ 8  ,31,116,128,372,379,440,441,454 },
	{ 8  ,32,34,49,99,274,577,579,595 },
	{ 8  ,32,34,99,122,135,218,274,579 },
	{ 8  ,32,34,99,122,135,270,411,429 },
	{ 8  ,32,34,152,218,291,326,335,429 },
	{ 8  ,32,49,86,97,263,379,483,517 },
	{ 8  ,32,49,86,263,379,429,434,517 },
	{ 8  ,32,49,86,263,379,434,483,517 },
	{ 8  ,32,49,86,379,403,429,434,517 },
	{ 8  ,32,49,97,250,538,579,580,595 },
	{ 8  ,32,58,202,218,259,326,346,389 },
	{ 8  ,32,70,218,274,317,455,518,595 },
	{ 8  ,32,72,86,152,263,277,429,583 },
	{ 8  ,32,86,99,122,135,145,218,429 },
	{ 8  ,32,86,99,122,135,145,411,429 },
	{ 8  ,32,86,99,122,135,270,411,429 },
	{ 8  ,32,86,99,122,145,193,411,429 },
	{ 8  ,32,86,151,152,208,403,487,506 },
	{ 8  ,32,87,190,345,437,539,561,580 },
	{ 8  ,33,93,102,166,243,367,447,500 },
	{ 8  ,33,93,102,267,294,444,466,559 },
	{ 8  ,33,93,102,267,348,444,466,559 },
	{ 8  ,33,93,129,166,348,388,444,479 },
	{ 8  ,34,57,66,74,116,224,411,444 },
	{ 8  ,34,57,66,74,116,224,411,445 },
	{ 8  ,34,57,66,74,166,224,411,444 },
	{ 8  ,34,57,66,74,166,224,411,445 },
	{ 8  ,34,57,66,135,166,224,411,445 },
	{ 8  ,34,57,74,116,224,399,411,444 },
	{ 8  ,34,57,74,166,224,367,411,445 },
	{ 8  ,34,57,74,181,335,411,444,565 },
	{ 8  ,34,57,74,335,399,411,444,577 },
	{ 8  ,34,66,74,116,126,445,481,547 },
	{ 8  ,34,66,74,116,127,224,411,444 },
	{ 8  ,34,66,74,116,134,224,411,444 },
	{ 8  ,34,66,116,126,312,445,481,547 },
	{ 8  ,34,69,99,136,520,545,579,592 },
	{ 8  ,34,74,116,127,224,399,411,444 },
	{ 8  ,34,74,116,134,224,270,399,411 },
	{ 8  ,34,74,116,134,224,399,411,444 },
	{ 8  ,34,74,127,335,399,411,444,577 },
	{ 8  ,34,125,155,176,234,270,324,560 },
	{ 8  ,34,152,368,429,448,476,509,549 },
	{ 8  ,35,41,86,121,135,312,363,545 },
	{ 8  ,35,41,86,121,311,312,434,476 },
	{ 8  ,35,41,86,311,312,434,476,541 },
	{ 8  ,35,46,196,264,297,307,378,476 },
	{ 8  ,35,46,196,264,297,307,378,541 },
	{ 8  ,35,46,196,264,297,307,476,541 },
	{ 8  ,35,46,196,264,297,378,476,541 },
	{ 8  ,35,46,196,264,307,311,476,541 },
	{ 8  ,35,46,196,264,307,378,476,541 },
	{ 8  ,35,46,196,297,307,378,411,476 },
	{ 8  ,35,46,196,297,307,378,476,541 },
	{ 8  ,35,46,264,297,307,378,476,541 },
	{ 8  ,35,57,68,92,94,288,307,408 },
	{ 8  ,35,57,68,96,148,367,448,568 },
	{ 8  ,35,86,312,329,345,363,439,541 },
	{ 8  ,35,86,312,329,363,439,541,552 },
	{ 8  ,35,121,141,248,312,408,482,532 },
	{ 8  ,35,134,295,405,421,439,440,572 },
	{ 8  ,35,196,264,297,307,378,476,541 },
	{ 8  ,35,295,405,421,439,440,572,582 },
	{ 8  ,37,64,67,77,86,135,296,573 },
	{ 8  ,37,64,71,94,162,363,436,595 },
	{ 8  ,37,64,71,162,363,378,436,595 },
	{ 8  ,37,86,112,152,176,193,208,346 },
	{ 8  ,37,105,148,177,221,254,544,559 },
	{ 8  ,37,111,152,236,346,375,513,544 },
	{ 8  ,37,130,339,348,362,479,482,573 },
	{ 8  ,37,152,176,236,269,286,346,388 },
	{ 8  ,37,162,169,183,354,384,436,466 },
	{ 8  ,38,46,59,163,284,358,476,568 },
	{ 8  ,38,59,86,407,466,481,483,536 },
	{ 8  ,38,59,162,178,284,391,407,425 },
	{ 8  ,38,64,84,267,321,341,352,471 },
	{ 8  ,38,64,133,258,436,471,473,523 },
	{ 8  ,38,86,466,474,481,487,502,561 },
	{ 8  ,38,103,154,215,240,457,531,554 },
	{ 8  ,38,104,267,289,415,419,485,589 },
	{ 8  ,38,178,181,236,371,416,440,460 },
	{ 8  ,39,42,89,123,210,231,312,532 },
	{ 8  ,39,47,82,235,285,446,509,516 },
	{ 8  ,39,64,119,200,291,296,539,546 },
	{ 8  ,39,120,186,244,295,355,458,530 },
	{ 8  ,39,120,186,244,355,429,458,530 },
	{ 8  ,40,140,196,240,326,445,456,468 },
	{ 8  ,41,44,61,254,349,495,554,581 },
	{ 8  ,41,61,63,100,103,349,353,372 },
	{ 8  ,41,61,72,86,351,429,476,517 },
	{ 8  ,41,61,72,86,351,429,476,536 },
	{ 8  ,41,61,86,351,429,434,476,517 },
	{ 8  ,41,61,86,351,429,434,476,536 },
	{ 8  ,41,69,169,202,255,351,384,387 },
	{ 8  ,41,83,121,135,246,312,349,495 },
	{ 8  ,41,86,89,121,135,312,363,545 },
	{ 8  ,41,86,89,135,205,312,363,545 },
	{ 8  ,41,86,308,352,426,450,541,542 },
	{ 8  ,41,100,249,326,351,385,400,500 },
	{ 8  ,41,116,203,249,315,333,450,507 },
	{ 8  ,41,116,203,249,315,363,380,450 },
	{ 8  ,41,117,149,169,183,253,487,537 },
	{ 8  ,41,169,202,255,291,351,387,542 },
	{ 8  ,43,171,182,218,330,350,559,590 },
	{ 8  ,44,56,125,136,173,265,311,587 },
	{ 8  ,44,61,63,138,166,232,280,517 },
	{ 8  ,44,61,63,138,166,232,303,517 },
	{ 8  ,44,61,138,166,232,280,394,409 },
	{ 8  ,44,61,138,166,232,280,409,517 },
	{ 8  ,44,61,295,349,386,495,554,581 },
	{ 8  ,44,63,138,166,232,280,517,575 },
	{ 8  ,44,63,138,166,232,303,517,575 },
	{ 8  ,44,63,138,166,280,322,517,575 },
	{ 8  ,45,46,109,498,503,508,513,580 },
	{ 8  ,45,58,240,281,399,444,513,580 },
	{ 8  ,45,111,129,308,444,513,550,596 },
	{ 8  ,45,189,234,371,456,509,549,584 },
	{ 8  ,45,210,249,265,373,429,500,560 },
	{ 8  ,46,56,57,250,252,254,278,497 },
	{ 8  ,46,57,66,284,347,408,411,435 },
	{ 8  ,46,60,120,171,355,416,435,590 },
	{ 8  ,46,60,120,241,355,416,435,590 },
	{ 8  ,46,64,111,133,209,347,416,435 },
	{ 8  ,46,114,221,241,313,358,372,462 },
	{ 8  ,46,125,157,173,346,410,461,516 },
	{ 8  ,46,125,196,264,307,311,476,541 },
	{ 8  ,46,125,196,264,307,378,476,541 },
	{ 8  ,46,196,216,264,297,307,378,407 },
	{ 8  ,46,196,264,297,307,378,476,541 },
	{ 8  ,46,196,264,297,378,462,476,541 },
	{ 8  ,46,221,249,262,452,480,508,561 },
	{ 8  ,46,298,317,338,400,401,513,545 },
	{ 8  ,47,51,135,143,153,243,446,470 },
	{ 8  ,47,73,82,154,307,363,438,508 },
	{ 8  ,47,86,97,177,270,352,375,571 },
	{ 8  ,47,86,97,270,334,352,375,571 },
	{ 8  ,47,86,236,270,334,352,375,571 },
	{ 8  ,48,56,123,167,247,267,295,400 },
	{ 8  ,49,86,97,263,379,425,483,517 },
	{ 8  ,49,178,234,326,330,419,572,593 },
	{ 8  ,50,56,91,303,406,407,447,558 },
	{ 8  ,51,56,96,151,172,281,300,403 },
	{ 8  ,51,56,170,172,330,491,563,588 },
	{ 8  ,51,86,134,151,172,281,300,403 },
	{ 8  ,51,86,134,151,172,281,300,529 },
	{ 8  ,51,130,147,225,262,371,398,569 },
	{ 8  ,51,143,295,319,388,459,510,586 },
	{ 8  ,52,61,79,266,452,475,554,570 },
	{ 8  ,52,102,125,244,264,331,476,541 },
	{ 8  ,52,139,172,201,246,491,515,569 },
	{ 8  ,52,139,172,201,246,515,539,569 },
	{ 8  ,52,158,167,307,332,390,452,559 },
	{ 8  ,52,158,244,246,340,390,537,559 },
	{ 8  ,52,158,244,246,390,410,537,559 },
	{ 8  ,52,158,246,390,410,504,537,559 },
	{ 8  ,53,74,174,212,216,244,332,400 },
	{ 8  ,53,76,102,232,331,450,496,517 },
	{ 8  ,54,56,89,125,163,167,282,563 },
	{ 8  ,54,76,137,163,246,282,459,508 },
	{ 8  ,54,110,238,368,444,453,479,534 },
	{ 8  ,54,125,128,190,417,485,543,589 },
	{ 8  ,55,73,254,375,423,444,461,544 },
	{ 8  ,55,102,131,152,254,293,333,500 },
	{ 8  ,55,102,131,152,293,333,500,551 },
	{ 8  ,55,161,235,259,375,378,418,581 },
	{ 8  ,55,192,236,245,369,393,408,511 },
	{ 8  ,55,214,327,369,378,393,418,534 },
	{ 8  ,56,57,136,250,252,254,278,497 },
	{ 8  ,56,57,153,165,323,341,345,588 },
	{ 8  ,56,57,165,323,341,345,474,588 },
	{ 8  ,56,75,118,213,407,491,575,590 },
	{ 8  ,57,66,82,135,166,224,411,445 },
	{ 8  ,57,68,148,177,186,284,358,568 },
	{ 8  ,57,68,167,177,186,284,358,568 },
	{ 8  ,57,82,83,153,224,238,345,490 },
	{ 8  ,57,148,177,186,284,358,391,490 },
	{ 8  ,57,148,177,186,284,358,490,568 },
	{ 8  ,57,167,177,186,284,358,490,568 },
	{ 8  ,57,171,191,306,347,401,408,435 },
	{ 8  ,57,191,248,280,341,347,408,435 },
	{ 8  ,58,134,156,218,326,389,405,572 },
	{ 8  ,59,68,163,167,186,284,358,568 },
	{ 8  ,59,89,116,147,265,481,547,594 },
	{ 8  ,59,112,162,178,284,391,425,524 },
	{ 8  ,59,130,258,337,339,350,456,550 },
	{ 8  ,60,97,255,352,368,541,555,590 },
	{ 8  ,61,65,86,252,338,478,527,553 },
	{ 8  ,61,65,86,252,338,478,527,583 },
	{ 8  ,61,70,100,103,122,328,526,566 },
	{ 8  ,61,86,183,252,338,478,527,583 },
	{ 8  ,61,92,143,288,321,348,453,510 },
	{ 8  ,61,185,196,280,340,361,531,536 },
	{ 8  ,61,232,280,361,394,462,500,531 },
	{ 8  ,61,254,333,341,343,413,472,594 },
	{ 8  ,62,174,295,326,331,343,382,400 },
	{ 8  ,64,134,163,189,290,381,388,451 },
	{ 8  ,65,125,136,250,311,362,475,489 },
	{ 8  ,65,125,136,311,362,475,479,489 },
	{ 8  ,65,125,136,311,362,479,489,586 },
	{ 8  ,65,125,136,321,362,479,489,586 },
	{ 8  ,66,68,71,94,202,227,403,496 },
	{ 8  ,66,68,92,101,109,368,438,580 },
	{ 8  ,66,68,101,109,138,368,438,580 },
	{ 8  ,66,68,101,138,368,385,438,580 },
	{ 8  ,66,92,101,109,134,233,295,440 },
	{ 8  ,66,92,101,109,233,295,368,440 },
	{ 8  ,66,109,134,135,233,295,440,454 },
	{ 8  ,66,109,135,243,247,295,443,522 },
	{ 8  ,66,124,135,353,431,454,541,573 },
	{ 8  ,66,124,135,353,454,523,541,573 },
	{ 8  ,66,124,353,433,454,523,541,573 },
	{ 8  ,66,172,380,385,429,471,523,529 },
	{ 8  ,66,315,380,385,429,471,523,529 },
	{ 8  ,66,315,380,385,429,471,523,556 },
	{ 8  ,68,74,101,108,109,112,130,590 },
	{ 8  ,68,74,101,108,109,130,438,590 },
	{ 8  ,68,92,101,341,368,438,538,580 },
	{ 8  ,68,101,138,368,385,438,538,580 },
	{ 8  ,68,106,141,176,311,370,539,575 },
	{ 8  ,68,106,141,176,370,503,539,575 },
	{ 8  ,68,106,154,200,325,468,538,596 },
	{ 8  ,68,106,154,370,438,503,539,597 },
	{ 8  ,69,74,169,253,263,336,444,566 },
	{ 8  ,69,74,169,253,263,411,444,566 },
	{ 8  ,69,74,253,263,411,415,444,566 },
	{ 8  ,69,79,140,165,275,537,544,564 },
	{ 8  ,69,110,252,471,474,571,572,593 },
	{ 8  ,69,140,165,275,471,537,544,564 },
	{ 8  ,69,140,275,471,537,544,559,564 },
	{ 8  ,69,144,169,242,361,537,544,567 },
	{ 8  ,69,144,169,305,361,537,544,567 },
	{ 8  ,69,144,169,361,379,537,544,567 },
	{ 8  ,69,150,173,266,398,453,470,509 },
	{ 8  ,69,169,202,250,298,351,384,598 },
	{ 8  ,70,108,212,284,293,330,548,588 },
	{ 8  ,70,108,293,330,343,514,548,588 },
	{ 8  ,70,126,292,340,375,405,488,571 },
	{ 8  ,71,85,92,123,349,359,423,495 },
	{ 8  ,71,109,208,459,520,579,587,598 },
	{ 8  ,71,116,227,321,353,380,399,441 },
	{ 8  ,71,130,188,258,359,378,399,573 },
	{ 8  ,71,188,258,335,359,399,420,598 },
	{ 8  ,72,75,93,152,251,367,396,586 },
	{ 8  ,72,75,93,259,365,367,398,586 },
	{ 8  ,72,77,123,225,367,383,524,573 },
	{ 8  ,72,77,225,367,383,511,524,573 },
	{ 8  ,72,78,156,167,200,277,298,307 },
	{ 8  ,72,86,152,263,368,429,476,517 },
	{ 8  ,72,86,196,266,354,361,414,530 },
	{ 8  ,72,88,132,266,327,450,541,542 },
	{ 8  ,72,93,159,197,259,267,389,449 },
	{ 8  ,72,93,159,224,259,367,394,581 },
	{ 8  ,72,123,124,159,225,367,515,573 },
	{ 8  ,72,123,156,281,349,369,403,599 },
	{ 8  ,72,124,152,225,353,409,541,573 },
	{ 8  ,72,124,204,414,447,450,457,515 },
	{ 8  ,72,124,225,344,383,457,511,573 },
	{ 8  ,72,124,225,367,383,457,511,573 },
	{ 8  ,72,152,159,197,445,527,530,583 },
	{ 8  ,72,152,263,326,368,429,445,476 },
	{ 8  ,72,159,167,211,216,428,533,583 },
	{ 8  ,72,159,211,216,428,445,533,583 },
	{ 8  ,73,100,233,254,277,322,489,502 },
	{ 8  ,73,100,233,254,322,489,495,502 },
	{ 8  ,73,107,156,307,378,487,534,577 },
	{ 8  ,73,117,183,240,385,446,474,513 },
	{ 8  ,73,140,182,185,282,432,508,521 },
	{ 8  ,73,153,216,250,445,525,551,578 },
	{ 8  ,74,91,101,427,441,450,524,562 },
	{ 8  ,74,101,209,299,427,450,524,562 },
	{ 8  ,74,110,169,221,263,298,480,584 },
	{ 8  ,74,112,162,178,244,425,511,524 },
	{ 8  ,75,168,321,386,396,401,412,493 },
	{ 8  ,75,190,321,396,412,479,539,586 },
	{ 8  ,76,79,86,145,208,252,453,506 },
	{ 8  ,76,86,271,274,466,481,483,571 },
	{ 8  ,77,84,225,234,371,511,524,569 },
	{ 8  ,77,84,225,371,398,511,524,569 },
	{ 8  ,77,97,228,289,366,387,492,594 },
	{ 8  ,77,140,228,289,366,387,427,492 },
	{ 8  ,77,144,165,259,315,361,417,570 },
	{ 8  ,77,178,225,234,371,511,524,569 },
	{ 8  ,77,178,225,371,472,511,524,569 },
	{ 8  ,78,103,199,310,438,448,494,525 },
	{ 8  ,78,144,176,311,370,374,570,575 },
	{ 8  ,78,144,176,311,374,417,570,575 },
	{ 8  ,78,145,172,176,438,467,486,582 },
	{ 8  ,79,113,123,133,178,523,532,544 },
	{ 8  ,79,140,165,178,275,537,544,564 },
	{ 8  ,80,86,89,206,313,331,439,571 },
	{ 8  ,82,120,138,437,480,494,506,549 },
	{ 8  ,82,153,224,238,273,479,490,526 },
	{ 8  ,83,121,135,175,226,228,349,495 },
	{ 8  ,83,121,135,228,246,349,446,495 },
	{ 8  ,84,88,131,256,325,348,381,388 },
	{ 8  ,84,124,135,163,225,431,511,541 },
	{ 8  ,86,142,172,176,324,347,367,575 },
	{ 8  ,86,236,341,352,368,374,375,571 },
	{ 8  ,86,267,277,313,334,343,395,432 },
	{ 8  ,88,102,124,131,327,363,450,541 },
	{ 8  ,89,93,121,194,198,319,342,543 },
	{ 8  ,89,125,215,366,412,422,427,457 },
	{ 8  ,90,139,164,194,285,306,370,376 },
	{ 8  ,90,139,194,209,212,306,370,548 },
	{ 8  ,90,175,200,291,398,401,426,564 },
	{ 8  ,90,175,200,291,401,426,440,521 },
	{ 8  ,90,175,200,291,401,426,521,564 },
	{ 8  ,90,175,200,346,426,521,544,564 },
	{ 8  ,90,175,346,350,376,426,495,578 },
	{ 8  ,92,93,152,166,348,388,517,548 },
	{ 8  ,92,93,152,284,348,388,517,548 },
	{ 8  ,92,93,166,348,388,479,517,548 },
	{ 8  ,92,134,153,229,272,284,388,529 },
	{ 8  ,92,139,166,321,348,479,517,548 },
	{ 8  ,93,110,129,166,224,348,444,479 },
	{ 8  ,93,159,257,326,410,450,486,551 },
	{ 8  ,95,137,140,163,187,419,476,568 },
	{ 8  ,96,100,126,203,214,340,389,568 },
	{ 8  ,97,121,175,263,352,376,483,590 },
	{ 8  ,99,105,145,163,319,410,426,544 },
	{ 8  ,99,125,145,163,225,334,426,563 },
	{ 8  ,99,140,198,199,399,519,541,590 },
	{ 8  ,99,163,225,253,334,340,358,568 },
	{ 8  ,100,111,126,182,218,326,375,431 },
	{ 8  ,100,111,126,182,218,353,375,431 },
	{ 8  ,100,126,218,340,353,363,375,431 },
	{ 8  ,101,115,237,244,469,524,535,562 },
	{ 8  ,101,233,246,294,295,427,432,505 },
	{ 8  ,102,110,238,273,305,452,490,534 },
	{ 8  ,102,114,178,254,333,341,343,472 },
	{ 8  ,102,124,204,245,321,369,450,548 },
	{ 8  ,102,148,187,243,284,405,476,548 },
	{ 8  ,102,238,267,284,389,405,444,476 },
	{ 8  ,102,240,264,327,434,496,527,536 },
	{ 8  ,103,142,146,236,303,401,535,565 },
	{ 8  ,105,145,163,319,410,426,461,544 },
	{ 8  ,106,132,155,257,410,420,450,593 },
	{ 8  ,106,132,257,326,410,420,450,593 },
	{ 8  ,106,144,176,311,370,374,527,575 },
	{ 8  ,106,154,370,438,503,539,564,597 },
	{ 8  ,106,154,370,438,539,546,579,597 },
	{ 8  ,106,156,157,218,326,371,410,487 },
	{ 8  ,107,188,428,439,467,563,576,582 },
	{ 8  ,108,158,230,236,239,334,467,566 },
	{ 8  ,109,113,178,218,326,330,340,375 },
	{ 8  ,109,128,255,314,352,547,559,589 },
	{ 8  ,109,138,228,238,247,425,518,521 },
	{ 8  ,109,140,196,326,445,456,468,476 },
	{ 8  ,109,162,255,314,352,547,558,559 },
	{ 8  ,109,182,218,350,376,559,590,599 },
	{ 8  ,109,222,253,293,336,457,508,591 },
	{ 8  ,109,222,293,298,336,422,508,591 },
	{ 8  ,109,222,293,336,422,457,508,591 },
	{ 8  ,110,116,129,159,249,297,411,478 },
	{ 8  ,110,116,129,159,249,312,411,478 },
	{ 8  ,110,126,169,173,179,507,584,598 },
	{ 8  ,110,126,169,173,221,507,584,598 },
	{ 8  ,110,147,225,262,335,337,569,572 },
	{ 8  ,110,152,159,244,251,298,390,530 },
	{ 8  ,110,153,224,238,273,479,490,526 },
	{ 8  ,110,166,258,348,434,444,459,598 },
	{ 8  ,110,169,173,221,507,530,584,598 },
	{ 8  ,111,148,182,218,353,375,431,531 },
	{ 8  ,111,163,212,346,350,375,419,544 },
	{ 8  ,111,163,212,350,375,419,431,544 },
	{ 8  ,112,158,162,244,318,390,410,425 },
	{ 8  ,112,158,244,246,340,390,537,559 },
	{ 8  ,112,158,244,246,390,410,537,559 },
	{ 8  ,112,162,178,244,284,425,511,524 },
	{ 8  ,112,162,178,284,391,425,511,524 },
	{ 8  ,113,153,231,314,335,419,539,552 },
	{ 8  ,113,165,178,275,341,537,544,567 },
	{ 8  ,113,165,178,341,472,537,544,567 },
	{ 8  ,114,164,216,448,484,525,551,577 },
	{ 8  ,115,123,127,189,198,278,381,402 },
	{ 8  ,115,222,237,244,524,535,562,569 },
	{ 8  ,116,128,129,174,212,244,366,399 },
	{ 8  ,116,159,244,245,249,364,398,478 },
	{ 8  ,118,188,196,258,297,420,456,479 },
	{ 8  ,118,261,407,441,490,525,576,586 },
	{ 8  ,120,186,193,243,277,313,442,568 },
	{ 8  ,121,185,247,333,398,399,422,562 },
	{ 8  ,121,214,312,349,369,408,423,482 },
	{ 8  ,123,176,190,223,278,321,409,532 },
	{ 8  ,123,177,240,315,358,375,445,525 },
	{ 8  ,123,178,210,223,291,302,358,420 },
	{ 8  ,123,239,257,268,284,382,403,578 },
	{ 8  ,125,128,243,307,374,417,465,578 },
	{ 8  ,125,136,265,311,362,479,489,586 },
	{ 8  ,125,185,196,240,247,260,340,399 },
	{ 8  ,125,185,196,240,247,260,340,464 },
	{ 8  ,125,185,196,240,247,260,340,502 },
	{ 8  ,125,185,196,240,247,260,399,502 },
	{ 8  ,125,185,196,240,247,340,399,502 },
	{ 8  ,125,185,196,240,260,340,399,502 },
	{ 8  ,125,185,196,247,260,340,399,502 },
	{ 8  ,125,185,240,247,260,340,399,502 },
	{ 8  ,125,196,216,259,307,374,378,417 },
	{ 8  ,125,196,240,247,260,340,399,502 },
	{ 8  ,125,203,223,231,321,328,453,568 },
	{ 8  ,125,203,231,321,325,328,396,535 },
	{ 8  ,125,235,260,321,366,490,586,587 },
	{ 8  ,126,292,326,340,375,405,488,571 },
	{ 8  ,126,292,326,375,445,488,525,571 },
	{ 8  ,127,196,335,399,411,444,577,598 },
	{ 8  ,128,233,242,354,374,465,588,594 },
	{ 8  ,128,242,354,374,465,479,588,594 },
	{ 8  ,128,242,374,465,479,538,588,594 },
	{ 8  ,129,256,348,381,388,444,451,459 },
	{ 8  ,130,188,347,370,411,435,475,576 },
	{ 8  ,130,342,347,370,411,435,475,576 },
	{ 8  ,132,223,257,450,457,488,520,529 },
	{ 8  ,132,257,446,450,457,488,520,529 },
	{ 8  ,133,142,258,264,402,404,523,596 },
	{ 8  ,133,142,258,264,402,435,523,596 },
	{ 8  ,134,163,189,290,381,388,451,459 },
	{ 8  ,135,176,186,271,277,313,522,545 },
	{ 8  ,135,202,203,250,271,452,463,481 },
	{ 8  ,135,202,250,271,452,463,481,511 },
	{ 8  ,137,140,163,187,419,431,476,568 },
	{ 8  ,138,139,165,306,385,470,549,552 },
	{ 8  ,138,144,240,296,333,364,478,570 },
	{ 8  ,138,178,230,239,368,380,408,472 },
	{ 8  ,138,198,230,239,268,408,472,586 },
	{ 8  ,138,218,247,389,448,464,472,590 },
	{ 8  ,139,141,246,370,436,451,539,575 },
	{ 8  ,140,165,178,275,471,537,544,564 },
	{ 8  ,141,153,176,311,358,394,553,582 },
	{ 8  ,141,153,238,257,284,364,408,520 },
	{ 8  ,141,153,238,257,284,364,490,520 },
	{ 8  ,141,186,257,284,354,421,481,561 },
	{ 8  ,141,230,248,257,312,349,408,533 },
	{ 8  ,141,230,248,257,312,408,472,533 },
	{ 8  ,141,230,248,257,312,408,481,533 },
	{ 8  ,142,146,232,236,303,401,535,565 },
	{ 8  ,142,160,232,310,355,392,494,595 },
	{ 8  ,142,196,258,264,402,404,523,596 },
	{ 8  ,142,236,303,401,454,535,552,565 },
	{ 8  ,144,151,152,247,442,448,527,568 },
	{ 8  ,144,176,311,358,370,374,570,575 },
	{ 8  ,146,178,221,236,241,265,350,565 },
	{ 8  ,147,209,235,354,370,371,398,414 },
	{ 8  ,148,182,237,290,309,331,432,505 },
	{ 8  ,148,323,333,433,439,485,493,582 },
	{ 8  ,148,358,374,405,407,416,430,491 },
	{ 8  ,150,152,159,266,286,464,506,509 },
	{ 8  ,150,152,184,368,403,421,448,464 },
	{ 8  ,152,284,378,388,409,502,561,594 },
	{ 8  ,153,216,261,441,490,525,576,586 },
	{ 8  ,154,160,253,404,413,457,579,594 },
	{ 8  ,154,167,200,307,316,335,390,411 },
	{ 8  ,154,167,297,307,316,335,390,411 },
	{ 8  ,154,253,404,413,457,538,579,594 },
	{ 8  ,154,292,311,358,370,374,375,453 },
	{ 8  ,158,188,236,258,297,373,420,456 },
	{ 8  ,158,188,258,297,373,420,456,479 },
	{ 8  ,164,177,198,441,469,484,490,525 },
	{ 8  ,164,216,407,441,453,490,525,576 },
	{ 8  ,164,405,407,416,444,452,590,598 },
	{ 8  ,165,178,275,344,471,537,544,564 },
	{ 8  ,167,214,297,307,316,335,343,390 },
	{ 8  ,167,214,297,307,316,335,390,411 },
	{ 8  ,167,219,273,366,392,396,422,479 },
	{ 8  ,167,219,366,392,396,412,422,479 },
	{ 8  ,169,190,263,298,303,336,496,517 },
	{ 8  ,173,221,265,284,354,477,481,561 },
	{ 8  ,173,292,370,410,461,526,554,592 },
	{ 8  ,175,200,259,315,401,404,440,521 },
	{ 8  ,175,200,259,401,404,426,440,521 },
	{ 8  ,175,200,291,401,404,426,440,521 },
	{ 8  ,178,210,223,291,302,358,420,506 },
	{ 8  ,178,239,287,411,413,472,565,566 },
	{ 8  ,178,258,305,378,434,436,446,551 },
	{ 8  ,178,281,344,411,429,469,471,564 },
	{ 8  ,179,182,284,327,330,381,574,584 },
	{ 8  ,185,196,240,247,260,340,399,502 },
	{ 8  ,188,196,258,297,373,420,456,479 },
	{ 8  ,194,209,212,306,347,370,435,453 },
	{ 8  ,194,209,212,306,370,435,453,548 },
	{ 8  ,194,209,285,306,347,370,435,453 },
	{ 8  ,202,255,291,387,503,555,559,564 },
	{ 8  ,206,289,347,370,411,435,453,576 },
	{ 8  ,206,342,347,370,411,435,453,576 },
	{ 8  ,206,342,347,370,411,435,475,576 },
	{ 8  ,208,286,347,412,431,443,560,587 },
	{ 8  ,210,216,331,358,420,444,475,557 },
	{ 8  ,212,315,345,396,420,479,519,539 },
	{ 8  ,214,297,307,316,330,335,343,390 },
	{ 8  ,215,247,328,440,472,516,540,544 },
	{ 8  ,216,253,263,358,391,407,444,475 },
	{ 8  ,216,261,407,441,490,525,576,586 },
	{ 8  ,219,271,313,396,422,520,522,598 },
	{ 8  ,222,237,244,524,535,562,569,581 },
	{ 8  ,222,253,336,356,413,457,555,594 },
	{ 8  ,222,253,336,356,457,555,591,594 },
	{ 8  ,226,236,247,373,375,379,440,544 },
	{ 8  ,226,247,373,375,379,433,440,544 },
	{ 8  ,229,257,271,313,380,422,520,529 },
	{ 8  ,230,236,239,312,350,368,500,531 },
	{ 8  ,232,233,244,246,295,332,345,427 },
	{ 8  ,232,233,244,246,295,345,427,459 },
	{ 8  ,233,330,378,465,471,501,590,595 },
	{ 8  ,236,247,373,375,379,440,441,544 },
	{ 8  ,236,247,373,375,440,441,480,544 },
	{ 8  ,237,244,398,512,524,535,562,581 },
	{ 8  ,237,244,398,524,535,562,569,581 },
	{ 8  ,244,398,399,422,511,524,562,569 },
	{ 8  ,263,277,292,326,343,395,429,456 },
	{ 8  ,265,306,378,409,561,579,594,595 },
	{ 8  ,284,291,330,443,546,558,559,587 },
	{ 8  ,362,375,405,423,431,444,452,544 },
	{ 0 }
};