import re s=open(0).read() assert re.fullmatch('[1-9] [1-9] [1-9] [1-9] [1-9] [1-9] [1-9] [1-9] [1-9] [1-9]\n',s)