( 12 , 25 1 , 9 1,31 1,522,30