FXEMPIRE
PROVERank #533
Succinct