main = show [ 1 | True , ]