PredictionBook is now read-only ( read more ).
Created by niplav on 2022-11-22; known on 2023-06-01; judged wrong by niplav on 2023-01-22.