PredictionBook is now read-only ( read more ).
Created by Leo on 2021-11-15; known on 2021-11-22; judged wrong by Leo on 2021-11-21.