files / problems / ramsey-r55 / compute / dumps / circ_40.txt
HIT n=40 deg=18 S=4 6 8 11 12 13 14 15 19 mask=588112 HIT n=40 deg=19 S=3 6 8 10 11 13 14 15 19 20 mask=1633608 HIT n=40 deg=21 S=3 6 8 9 10 11 13 14 15 19 20 mask=1634120 HIT n=40 deg=18 S=3 4 6 8 11 12 14 15 19 mask=579928 HIT n=40 deg=20 S=3 4 6 8 11 12 13 14 15 19 mask=588120 HIT n=40 deg=18 S=2 4 5 7 9 12 16 17 18 mask=463540 HIT n=40 deg=19 S=2 3 10 11 13 15 16 18 19 20 mask=1944588 HIT n=40 deg=21 S=2 3 10 11 13 15 16 17 18 19 20 mask=2075660 HIT n=40 deg=21 S=2 3 7 10 11 13 15 16 18 19 20 mask=1944716 HIT n=40 deg=18 S=2 3 4 12 13 15 16 18 19 mask=897052 HIT n=40 deg=18 S=2 3 4 11 12 13 15 16 18 mask=374812 HIT n=40 deg=20 S=2 3 4 11 12 13 15 16 18 19 mask=899100 HIT n=40 deg=19 S=1 5 6 7 8 9 10 14 17 20 mask=1198050 HIT n=40 deg=21 S=1 5 6 7 8 9 10 14 17 19 20 mask=1722338 HIT n=40 deg=21 S=1 5 6 7 8 9 10 11 14 17 20 mask=1200098 HIT n=40 deg=18 S=1 4 5 6 8 9 12 14 17 mask=152434 HIT n=40 deg=18 S=1 4 5 6 7 8 9 12 14 mask=21490 HIT n=40 deg=20 S=1 4 5 6 7 8 9 12 14 17 mask=152562 HIT n=40 deg=21 S=1 3 6 8 10 11 13 14 15 19 20 mask=1633610 HIT n=40 deg=19 S=1 2 5 7 9 10 16 17 18 20 mask=1509030 HIT n=40 deg=21 S=1 2 5 7 9 10 13 16 17 18 20 mask=1517222 HIT n=40 deg=18 S=1 2 4 5 7 12 16 17 18 mask=463030 HIT n=40 deg=20 S=1 2 4 5 7 9 12 16 17 18 mask=463542 HIT n=40 deg=21 S=1 2 3 5 7 9 10 16 17 18 20 mask=1509038 DONE n=40 scanned=722228 legal=722228 hits=24 sec=0.637