FXEMPIRE
PROVERang #471
Succinct