domain GraphColoring
{
   Color    ::= { c0, c1, c2, c3, c4, c5 }.
   primitive Vertex   ::= (id: Integer).
   [Closed]
   primitive Edge     ::= (v1: Vertex, v2: Vertex).   
   [Closed(v)]
   primitive Coloring ::= (v: Vertex, c: Color).
   
   badColoring := Edge(u, w), Coloring(u, c), Coloring(w, c), u != w. 
   conforms    := !badColoring.
}

partial model RandomGraph of GraphColoring
{
	v0 is Vertex(0)
	v1 is Vertex(1)
	v2 is Vertex(2)
	v3 is Vertex(3)
	v4 is Vertex(4)
	v5 is Vertex(5)
	v6 is Vertex(6)
	v7 is Vertex(7)
	v8 is Vertex(8)
	v9 is Vertex(9)
	v10 is Vertex(10)
	v11 is Vertex(11)
	v12 is Vertex(12)
	v13 is Vertex(13)
	v14 is Vertex(14)
	v15 is Vertex(15)
	v16 is Vertex(16)
	v17 is Vertex(17)
	v18 is Vertex(18)
	v19 is Vertex(19)
	v20 is Vertex(20)
	v21 is Vertex(21)
	v22 is Vertex(22)
	v23 is Vertex(23)
	v24 is Vertex(24)

	Edge(v0, v1)
	Edge(v0, v5)
	Edge(v0, v6)
	Edge(v0, v7)
	Edge(v0, v10)
	Edge(v0, v12)
	Edge(v0, v17)
	Edge(v0, v20)
	Edge(v0, v24)
	Edge(v1, v3)
	Edge(v1, v4)
	Edge(v1, v7)
	Edge(v1, v9)
	Edge(v1, v10)
	Edge(v1, v12)
	Edge(v1, v13)
	Edge(v1, v15)
	Edge(v1, v16)
	Edge(v1, v17)
	Edge(v1, v19)
	Edge(v1, v21)
	Edge(v2, v4)
	Edge(v2, v9)
	Edge(v2, v12)
	Edge(v2, v14)
	Edge(v2, v16)
	Edge(v2, v17)
	Edge(v2, v18)
	Edge(v2, v19)
	Edge(v2, v21)
	Edge(v2, v22)
	Edge(v2, v23)
	Edge(v3, v6)
	Edge(v3, v12)
	Edge(v3, v13)
	Edge(v3, v16)
	Edge(v3, v21)
	Edge(v3, v23)
	Edge(v3, v24)
	Edge(v4, v6)
	Edge(v4, v7)
	Edge(v4, v8)
	Edge(v4, v10)
	Edge(v4, v14)
	Edge(v4, v17)
	Edge(v4, v18)
	Edge(v4, v20)
	Edge(v4, v22)
	Edge(v5, v6)
	Edge(v5, v8)
	Edge(v5, v9)
	Edge(v5, v10)
	Edge(v5, v13)
	Edge(v5, v15)
	Edge(v5, v16)
	Edge(v5, v17)
	Edge(v5, v18)
	Edge(v5, v19)
	Edge(v5, v24)
	Edge(v6, v7)
	Edge(v6, v8)
	Edge(v6, v9)
	Edge(v6, v12)
	Edge(v6, v14)
	Edge(v6, v16)
	Edge(v6, v17)
	Edge(v6, v18)
	Edge(v6, v20)
	Edge(v6, v21)
	Edge(v6, v22)
	Edge(v7, v8)
	Edge(v7, v13)
	Edge(v7, v15)
	Edge(v7, v16)
	Edge(v7, v19)
	Edge(v7, v20)
	Edge(v7, v22)
	Edge(v7, v23)
	Edge(v7, v24)
	Edge(v8, v11)
	Edge(v8, v18)
	Edge(v8, v20)
	Edge(v9, v13)
	Edge(v9, v14)
	Edge(v9, v15)
	Edge(v9, v16)
	Edge(v9, v17)
	Edge(v9, v18)
	Edge(v9, v19)
	Edge(v9, v20)
	Edge(v9, v21)
	Edge(v9, v22)
	Edge(v9, v23)
	Edge(v10, v13)
	Edge(v10, v15)
	Edge(v10, v17)
	Edge(v10, v18)
	Edge(v10, v19)
	Edge(v10, v20)
	Edge(v11, v12)
	Edge(v11, v15)
	Edge(v11, v17)
	Edge(v11, v19)
	Edge(v11, v22)
	Edge(v11, v24)
	Edge(v12, v13)
	Edge(v12, v15)
	Edge(v12, v16)
	Edge(v12, v19)
	Edge(v12, v21)
	Edge(v12, v24)
	Edge(v13, v14)
	Edge(v13, v15)
	Edge(v13, v16)
	Edge(v13, v17)
	Edge(v13, v18)
	Edge(v13, v21)
	Edge(v13, v22)
	Edge(v13, v23)
	Edge(v13, v24)
	Edge(v14, v15)
	Edge(v14, v16)
	Edge(v14, v22)
	Edge(v15, v16)
	Edge(v15, v17)
	Edge(v15, v20)
	Edge(v15, v21)
	Edge(v16, v17)
	Edge(v16, v19)
	Edge(v16, v21)
	Edge(v17, v19)
	Edge(v17, v22)
	Edge(v17, v23)
	Edge(v17, v24)
	Edge(v18, v19)
	Edge(v18, v21)
	Edge(v18, v24)
	Edge(v19, v22)
	Edge(v19, v24)
	Edge(v20, v21)
	Edge(v20, v23)
	Edge(v20, v24)

	Coloring(v0, _)
	Coloring(v1, _)
	Coloring(v2, _)
	Coloring(v3, _)
	Coloring(v4, _)
	Coloring(v5, _)
	Coloring(v6, _)
	Coloring(v7, _)
	Coloring(v8, _)
	Coloring(v9, _)
	Coloring(v10, _)
	Coloring(v11, _)
	Coloring(v12, _)
	Coloring(v13, _)
	Coloring(v14, _)
	Coloring(v15, _)
	Coloring(v16, _)
	Coloring(v17, _)
	Coloring(v18, _)
	Coloring(v19, _)
	Coloring(v20, _)
	Coloring(v21, _)
	Coloring(v22, _)
	Coloring(v23, _)
	Coloring(v24, _)

}