PredictionBook is now read-only ( read more ).

A258107 to be proven to be finite by January 1, 2045.

Created by JoshuaZ on 2015-08-10; known on 2045-01-01