files / problems / ramsey-r55 / compute / dumps / circ_39.txt

55 B · on GitHub

DONE n=39 scanned=418132 legal=418132 hits=0 sec=0.300