solve(Colors, MaxColor):-
  Colors=[C0,C1,C2,C3,C4,C5,C6,C7,C8,C9,C10,C11,C12,C13,C14,C15,C16,C17,C18,C19,C20,C21,C22,C23,C24,C25,C26,C27,C28,C29,C30,C31,C32,C33,C34,C35,C36,C37,C38,C39,C40,C41,C42,C43,C44,C45,C46,C47,C48,C49],
  fd_domain(Colors, 1, MaxColor),
  C0 #\= C3,
  C0 #\= C5,
  C0 #\= C8,
  C0 #\= C10,
  C0 #\= C42,
  C0 #\= C43,
  C0 #\= C45,
  C0 #\= C49,
  C1 #\= C5,
  C1 #\= C13,
  C1 #\= C15,
  C1 #\= C16,
  C1 #\= C20,
  C1 #\= C22,
  C1 #\= C24,
  C1 #\= C25,
  C1 #\= C27,
  C1 #\= C31,
  C1 #\= C35,
  C1 #\= C39,
  C1 #\= C45,
  C1 #\= C46,
  C1 #\= C47,
  C2 #\= C3,
  C2 #\= C9,
  C2 #\= C10,
  C2 #\= C12,
  C2 #\= C15,
  C2 #\= C21,
  C2 #\= C28,
  C2 #\= C36,
  C2 #\= C42,
  C2 #\= C46,
  C2 #\= C47,
  C2 #\= C48,
  C3 #\= C5,
  C3 #\= C7,
  C3 #\= C8,
  C3 #\= C9,
  C3 #\= C11,
  C3 #\= C25,
  C3 #\= C30,
  C3 #\= C33,
  C3 #\= C35,
  C3 #\= C36,
  C3 #\= C40,
  C3 #\= C45,
  C4 #\= C12,
  C4 #\= C15,
  C4 #\= C16,
  C4 #\= C20,
  C4 #\= C24,
  C4 #\= C26,
  C4 #\= C27,
  C4 #\= C30,
  C4 #\= C40,
  C4 #\= C43,
  C4 #\= C44,
  C4 #\= C45,
  C4 #\= C47,
  C5 #\= C7,
  C5 #\= C18,
  C5 #\= C25,
  C5 #\= C32,
  C5 #\= C37,
  C5 #\= C42,
  C5 #\= C43,
  C5 #\= C45,
  C5 #\= C46,
  C5 #\= C49,
  C6 #\= C15,
  C6 #\= C16,
  C6 #\= C17,
  C6 #\= C18,
  C6 #\= C20,
  C6 #\= C23,
  C6 #\= C24,
  C6 #\= C28,
  C6 #\= C29,
  C6 #\= C33,
  C6 #\= C35,
  C6 #\= C37,
  C6 #\= C41,
  C6 #\= C43,
  C6 #\= C45,
  C6 #\= C46,
  C7 #\= C9,
  C7 #\= C14,
  C7 #\= C18,
  C7 #\= C20,
  C7 #\= C21,
  C7 #\= C22,
  C7 #\= C24,
  C7 #\= C26,
  C7 #\= C31,
  C7 #\= C32,
  C7 #\= C35,
  C7 #\= C37,
  C7 #\= C40,
  C7 #\= C41,
  C7 #\= C44,
  C7 #\= C46,
  C7 #\= C47,
  C7 #\= C49,
  C8 #\= C11,
  C8 #\= C16,
  C8 #\= C17,
  C8 #\= C20,
  C8 #\= C27,
  C8 #\= C28,
  C8 #\= C31,
  C8 #\= C32,
  C8 #\= C34,
  C8 #\= C41,
  C8 #\= C43,
  C8 #\= C47,
  C9 #\= C10,
  C9 #\= C12,
  C9 #\= C14,
  C9 #\= C15,
  C9 #\= C19,
  C9 #\= C25,
  C9 #\= C26,
  C9 #\= C33,
  C9 #\= C35,
  C9 #\= C38,
  C9 #\= C43,
  C9 #\= C44,
  C10 #\= C17,
  C10 #\= C19,
  C10 #\= C20,
  C10 #\= C30,
  C10 #\= C31,
  C10 #\= C37,
  C10 #\= C38,
  C10 #\= C39,
  C10 #\= C42,
  C11 #\= C15,
  C11 #\= C18,
  C11 #\= C20,
  C11 #\= C22,
  C11 #\= C28,
  C11 #\= C31,
  C11 #\= C32,
  C11 #\= C33,
  C11 #\= C34,
  C11 #\= C35,
  C11 #\= C37,
  C11 #\= C41,
  C11 #\= C46,
  C11 #\= C47,
  C12 #\= C14,
  C12 #\= C16,
  C12 #\= C17,
  C12 #\= C20,
  C12 #\= C28,
  C12 #\= C29,
  C12 #\= C31,
  C12 #\= C43,
  C12 #\= C45,
  C12 #\= C48,
  C12 #\= C49,
  C13 #\= C14,
  C13 #\= C15,
  C13 #\= C19,
  C13 #\= C20,
  C13 #\= C23,
  C13 #\= C24,
  C13 #\= C26,
  C13 #\= C29,
  C13 #\= C41,
  C14 #\= C19,
  C14 #\= C23,
  C14 #\= C26,
  C14 #\= C29,
  C14 #\= C37,
  C14 #\= C39,
  C14 #\= C48,
  C14 #\= C49,
  C15 #\= C16,
  C15 #\= C19,
  C15 #\= C27,
  C15 #\= C30,
  C15 #\= C31,
  C15 #\= C33,
  C15 #\= C44,
  C15 #\= C48,
  C15 #\= C49,
  C16 #\= C17,
  C16 #\= C19,
  C16 #\= C25,
  C16 #\= C29,
  C16 #\= C30,
  C16 #\= C33,
  C16 #\= C35,
  C16 #\= C38,
  C16 #\= C41,
  C16 #\= C46,
  C16 #\= C48,
  C17 #\= C22,
  C17 #\= C23,
  C17 #\= C29,
  C17 #\= C32,
  C17 #\= C33,
  C17 #\= C44,
  C17 #\= C45,
  C17 #\= C46,
  C18 #\= C22,
  C18 #\= C28,
  C18 #\= C31,
  C18 #\= C33,
  C18 #\= C35,
  C18 #\= C42,
  C19 #\= C23,
  C19 #\= C26,
  C19 #\= C29,
  C19 #\= C38,
  C19 #\= C39,
  C19 #\= C42,
  C19 #\= C43,
  C19 #\= C45,
  C19 #\= C47,
  C19 #\= C49,
  C20 #\= C24,
  C20 #\= C28,
  C20 #\= C37,
  C20 #\= C40,
  C20 #\= C42,
  C20 #\= C44,
  C20 #\= C47,
  C21 #\= C22,
  C21 #\= C24,
  C21 #\= C25,
  C21 #\= C37,
  C21 #\= C44,
  C21 #\= C45,
  C22 #\= C27,
  C22 #\= C29,
  C22 #\= C30,
  C22 #\= C32,
  C22 #\= C41,
  C22 #\= C44,
  C22 #\= C47,
  C22 #\= C48,
  C22 #\= C49,
  C23 #\= C27,
  C23 #\= C29,
  C23 #\= C32,
  C23 #\= C34,
  C23 #\= C42,
  C23 #\= C43,
  C24 #\= C25,
  C24 #\= C27,
  C24 #\= C32,
  C24 #\= C40,
  C24 #\= C48,
  C25 #\= C34,
  C25 #\= C45,
  C25 #\= C46,
  C25 #\= C48,
  C26 #\= C27,
  C26 #\= C29,
  C26 #\= C30,
  C26 #\= C32,
  C26 #\= C33,
  C26 #\= C36,
  C26 #\= C42,
  C26 #\= C48,
  C27 #\= C29,
  C27 #\= C30,
  C27 #\= C32,
  C27 #\= C35,
  C27 #\= C41,
  C27 #\= C44,
  C27 #\= C45,
  C27 #\= C47,
  C27 #\= C48,
  C28 #\= C33,
  C28 #\= C34,
  C28 #\= C35,
  C28 #\= C36,
  C28 #\= C37,
  C28 #\= C43,
  C28 #\= C45,
  C29 #\= C31,
  C29 #\= C35,
  C29 #\= C43,
  C29 #\= C44,
  C29 #\= C45,
  C30 #\= C31,
  C30 #\= C37,
  C30 #\= C39,
  C31 #\= C33,
  C31 #\= C36,
  C31 #\= C38,
  C31 #\= C40,
  C31 #\= C46,
  C31 #\= C48,
  C32 #\= C34,
  C32 #\= C35,
  C32 #\= C36,
  C32 #\= C39,
  C32 #\= C42,
  C32 #\= C45,
  C32 #\= C47,
  C32 #\= C49,
  C33 #\= C34,
  C33 #\= C39,
  C33 #\= C41,
  C33 #\= C43,
  C33 #\= C44,
  C33 #\= C45,
  C33 #\= C46,
  C33 #\= C47,
  C34 #\= C35,
  C34 #\= C40,
  C34 #\= C43,
  C34 #\= C44,
  C34 #\= C45,
  C35 #\= C36,
  C35 #\= C39,
  C35 #\= C40,
  C35 #\= C41,
  C35 #\= C42,
  C35 #\= C45,
  C36 #\= C42,
  C36 #\= C45,
  C36 #\= C47,
  C36 #\= C49,
  C37 #\= C38,
  C37 #\= C39,
  C37 #\= C43,
  C38 #\= C41,
  C38 #\= C42,
  C38 #\= C48,
  C40 #\= C45,
  C40 #\= C46,
  C40 #\= C47,
  C41 #\= C42,
  C41 #\= C44,
  C42 #\= C44,
  C42 #\= C47,
  C42 #\= C49,
  C43 #\= C44,
  C43 #\= C47,
  C44 #\= C45,
  C44 #\= C49,
  C45 #\= C47,
  C45 #\= C49,
  C46 #\= C47,
  fd_labeling(Colors).