C=PRAG_RT6N1(|L);