PredictionBook is now read-only ( read more ).
Created by Ivan on 2022-11-26; known on 2022-12-02; judged wrong by Ivan on 2022-12-04.