main =  ((2 * (123 + 4214 % (1230)) - 1231) / 2) * 412412