i31 , 143 .)