FXEMPIRE
PROVERank #521
Succinct