P

Succinct

PROVE #498