A verified and finalised version of PICOLA, with no more planned changes