)\state.logN O1PQ