colorable v colorable1 :- edge(N3,N1),edge(N7,N5),edge(N8,N5),edge(N8,N0),edge(N10,N6),edge(N12,N8),edge(N12,N6),edge(N13,N1),edge(N13,N3),edge(N13,N11),edge(N13,N4),edge(N15,N1),edge(N16,N11),edge(N17,N5),edge(N17,N14),edge(N18,N4),edge(N19,N9),edge(N19,N7),edge(N20,N15),edge(N20,N16),edge(N21,N10),edge(N21,N12),edge(N22,N15),edge(N22,N5),edge(N22,N12),edge(N24,N3),edge(N25,N4),edge(N25,N2),edge(N25,N18),edge(N25,N20),edge(N26,N12),edge(N26,N25),edge(N27,N18),edge(N28,N19),edge(N28,N14),edge(N28,N10),edge(N29,N12),edge(N29,N23),edge(N29,N0),edge(N29,N1).
