cycle1: P0 -enum< P1 >elim- P2

P0= {<123,084,765>}

P1= {<023,184,765>, <123,804,765>, <123,784,065>}

P2= {<123,804,765>}