P
Initializing...
Length comparison is PolyTimeDecidable · Prove2Me