Debug: a = 689748332, b = 888826746
613066765490487672