FXEMPIRE
PROVERang #528
Succinct