doc validation_proof file.tbl logot.gif