optimize_dfa(dfa([0,1,2,3,4,5,6,7],[0,1],  [  [0,0,1],[0,1,5],[1,0,6],[1,1,2],[2,0,0],[2,1,2],[3,0,2],[3,1,6],[4,0,7],[4,1,5],[5,0,2],[5,1,6],[6,0,6],[6,1,4],[7,0,6],[7,1,2]  ]  ,0,[2]),OptDFA),write(OptDFA),nl,fail. 