PredictionBook is now read-only ( read more ).
Created by tmarkov on 2017-08-13; known on 2017-08-13; judged wrong by tmarkov on 2017-08-13.