(all(1) == any(all(1), all(2), all(3))) and print "y1\n"; (all(1,4) == any(all(1,4), all(2), all(3))) and print "y2\n"; __OUTPUT__ y1