[stdout]
197997326 3389246 (26042, 7603)
