The operation @ on two numbers produces a number equal to their sum minus 2. The value of (1 @ 2 @ 3 @ ... @ 2017)
