Debug: a = 8539777831492675800, b = 436
3723343134530806648800