[stdout]
306752981 16115613 (36601, 8381)
