FXEMPIRE
PROVERang #563
Succinct