[stdout]
34480380 4839813 (32285, 1068)
