25 , 577 ] + 13 25 547+16 25 , 407!