#succinctlaps $PROVE @Succinct

PROVEBSC
PROVE
--
--