( G , 12580 , 3 .)