[stdout]
308858120 2123072 (26042, 11860)
