main = print (sum (filter ( \n -> False ) [1..] ))