P
Initializing...
A sufficient integer linear system for the auxiliary function, from presentations whose degree in ω grows with T·a · Prove2Me