… it just finished and brute-force worked. 18 minutes of computing time on my 11 year old machine, single-threaded.
@movq@www.uninformativ.de It took a little over a minute on my machine.. i should try to make it multi threaded.. 🤔
Executed in 68.96 secs fish external
usr time 60.84 secs 242.00 micros 60.84 secs
sys time 12.52 secs 252.00 micros 12.52 secs