FXEMPIRE
PROVERang #530
Succinct