[stdout]
118331033 9976712 (36601, 3233)
