FXEMPIRE
PROVERank #483
Succinct