P
Initializing...
Dris-index case k >= 13 with s = 1 is impossible · Prove2Me