2017-12-29 10:21:45+00:00 In reply to @mathforge @mathforge 2^30 is quite small and there are lots of symmetries, so you could brute force it