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