#succinct @Succinct
Correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, $PROVE
Correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, correr, $PROVE