I applied the corrected decider to the DB and it decided 2,035,610 machines (more info at [Decider] Backward reasoning). In particular it has decided Skelet’s machines 18 and 25. Actually its funny but both of these machines are [Decider] Translated cyclers with higher parameters that what we looked for. Machine 18 has big “S” and Machine 25 has big “P”, with the notations of https://groups.google.com/g/busy-beaver-discuss/c/lcr_6buFz_8.