Bouncers.bs.zst (1.4 MB) – full-DB run done.
I’d overlooked that Tony’s program had the line if (a3 - a2 <= a2 - a1) return false ; // Ignore arithmetic or descending progressions – so I could have saved time by excluding the cyclers and translated cyclers the program forbade itself from solving. 
Some other data collection got interrupted and set back by… I think it might have been a cat paw mashing a power button, not sure. So, deeper FAR on a later date, and broader CPS once uni implements cycle detection (or decides not to).
1 Like