( G , 13139 * 3 .}