files / problems / smale-tau / compute / q2 / cand5.txt
34 B · on GitHub
STATS nodes 7 67 880 16141 396475