PredictionBook is now read-only ( read more ).
Created by Tot on 2021-09-06; known on 2023-01-01; judged wrong by Tot on 2023-01-02.