( 7 , 42 ^ 1146 ^ 72£