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


