$PROVE

Short

Entry point 1.42

SL 1.6