FXEMPIRE
PROVERang #532
Succinct