isnocconsyniltp2nilyisnocconsxystp2consxxsyisnocystp2xsyisnoc1cons2nil0tp22ORIENTEDFULL