files / problems / ramsey-r55 / compute / dumps / circ_38.txt
HIT n=38 deg=18 S=3 4 7 8 10 11 13 16 18 mask=339352 HIT n=38 deg=19 S=3 4 5 7 8 9 13 14 16 19 mask=615352 HIT n=38 deg=18 S=2 4 5 6 7 9 12 13 16 mask=78580 HIT n=38 deg=19 S=2 3 10 11 13 15 16 17 18 19 mask=1027084 HIT n=38 deg=18 S=2 3 5 6 7 8 13 16 18 mask=336364 HIT n=38 deg=18 S=2 3 4 11 12 14 15 17 18 mask=448540 HIT n=38 deg=18 S=2 3 4 8 10 11 13 14 15 mask=60700 HIT n=38 deg=19 S=2 3 4 6 7 11 13 15 18 19 mask=829660 HIT n=38 deg=19 S=2 3 4 5 7 8 11 12 13 19 mask=539068 HIT n=38 deg=18 S=1 6 9 10 14 15 16 17 18 mask=509506 HIT n=38 deg=18 S=1 5 8 9 10 12 14 16 17 mask=218914 HIT n=38 deg=19 S=1 5 6 7 9 12 16 17 18 19 mask=987874 HIT n=38 deg=19 S=1 5 6 7 8 9 10 13 16 19 mask=600034 HIT n=38 deg=19 S=1 4 9 10 11 12 14 15 17 19 mask=712210 HIT n=38 deg=18 S=1 4 5 6 7 8 9 12 14 mask=21490 HIT n=38 deg=19 S=1 3 8 10 11 14 15 17 18 19 mask=969994 HIT n=38 deg=18 S=1 2 6 10 11 12 15 17 18 mask=433222 HIT n=38 deg=19 S=1 2 5 6 9 12 14 15 17 19 mask=709222 DONE n=38 scanned=418132 legal=418132 hits=18 sec=0.345