cycle2: P0 -enum< P3 -enum< P4 -enum< P5 >elim- P6

P0= {<123,784,605>}

P3= {<123,704,685>,<123,784,065>,<123,784,650>}

P4= {<103,724,685>,<123,074,685>,<123,740,685>, <123,084,765>,<123,780,654>}

P5= {<013,724,685>,<130,724,685>,<123,704,685>, <023,174,685>,<123,674,085>, <120,743,685>,<123,745,680>,<023,184,765>,<123,784,065>,<123,804,765>, <120,783,654><123,784,650><123,708,654>}

P6= {<123,804,765>}