$PROVE #proveshort
$DOLO #doloshort
$LINEA #lineashort