#!/bin/sh
[ -z "$(cat ${1:-/dev/stdin}|sed -nE \
'/(^[ThisIg0+1-9].*	.*	.*	|^\.\r$)/! ='\
|tr '\n' ' '|tee /dev/stderr)" ]&&exit 0
echo;exit 1