[stdout]
33350405 3153648 (32285, 1033)
