FXEMPIRE
PROVERanque #512
Succinct