FXEMPIRE
PROVERang #534
Succinct