[stdout]
129152730 10802474 (41797, 3090)
