t , 51 , 1 ^ 1nil