check verify --tolerances $TOLERANCES --input-file $INPUT
