A 1-dimensional formal group over the prismatization of Spf Z_p - 42Papers