#SuccinctLabs e $PROVE

PROVE
PROVE
--
--