validation_proof doc logot.gif file.tbl