( G , 25442 , 3 .)