print "1..1\nok 1\n";
1;