ANN: PROVABLEPRIME 1.1.2 released