FXEMPIRE
PROVERank #528
Succinct