← The library
Every number that had to be settled, and how

Working
Notes

Four games rest on arithmetic that either holds or doesn’t. This is the record of checking.