Succinct (PROVE) Diagramm

FXEMPIRE
PROVERang #588
Succinct