[stdout]
433546425 12181 (41925, 10341)
