Debug: a = 477252461, b = 1032684 492850980435324