m . , 1 / 4 3 , 4 , ra . , 1 , 3 , haltIA 3 , 4 , 1 , 1 / 26