[May 13th 2022] Bacward resoning has been debugged!

The bug that was found in [Decider] Backward reasoning by @atticuscul, @modderme123, @pg132 and @DunDunDunDone, has been debugged by @modderme123!!

This resulted in 2,243,340 machines to be decided! There now remain “only” 1,330,882 machines to decide :partying_face: :partying_face:. The index file of undecided machines has been updated and is available here.

Less importantly: