P
Initializing...
`segInvFullS 0 = 0` (round six, `segInvFullS_zero`) · Prove2Me