true=>dom(a).
true=>dom(b).
true=>dom(c).
true=>dom(d).
true=>dom(e).
true=>dom(f).
true=>dom(g).
true=>dom(h).
true=>dom(i).
true=>dom(l).
true=>dom(m).
true=>dom(n).
true=>dom(o).
true=>dom(p).
true=>dom(q).
true=>dom(r).
true=>dom(s).
true=>col(a, b, c, l), col(d, e, f, m).
true=>col(b, f, g, n), col(c, e, g, o).
true=>col(b, d, h, p), col(a, e, h, q).
true=>col(c, d, i, r), col(a, f, i, s).
el(n, o)=>goal.
el(p, q)=>goal.
el(s, r)=>goal.
el(_G301, _G301), pl(g, _G301), pl(h, _G301), pl(i, _G301)=>goal.
col(_G301, _G302, _G303, _G304)=>pl(_G301, _G304).
col(_G301, _G302, _G303, _G304)=>pl(_G302, _G304).
col(_G301, _G302, _G303, _G304)=>pl(_G303, _G304).
pl(_G301, _G302)=>ep(_G301, _G301).
ep(_G301, _G302)=>ep(_G302, _G301).
ep(_G301, _G302), ep(_G302, _G303)=>ep(_G301, _G303).
pl(_G301, _G302)=>el(_G302, _G302).
el(_G301, _G302)=>el(_G302, _G301).
el(_G301, _G302), el(_G302, _G303)=>el(_G301, _G303).
ep(_G301, _G302), pl(_G302, _G303)=>pl(_G301, _G303).
pl(_G301, _G302), el(_G302, _G303)=>pl(_G301, _G303).
col(_G301, _G302, _G303, _G310), col(_G304, _G305, _G306, _G311), col(_G302, _G306, _G307, _G312), col(_G303, _G305, _G307, _G313), col(_G302, _G304, _G308, _G314), col(_G301, _G305, _G308, _G315), col(_G303, _G304, _G309, _G316), col(_G301, _G306, _G309, _G317)=>dom(_G380), col(_G307, _G308, _G309, _G380);pl(_G301, _G311);pl(_G302, _G311);pl(_G303, _G311);pl(_G304, _G310);pl(_G305, _G310);pl(_G306, _G310).
pl(_G303, _G301), pl(_G303, _G302), pl(_G304, _G301), pl(_G304, _G302)=>ep(_G303, _G304);el(_G301, _G302).
ep(_G301, _G301), ep(_G302, _G302)=>dom(_G313), pl(_G301, _G313), pl(_G302, _G313).
el(_G303, _G303), el(_G302, _G302)=>dom(_G301), pl(_G301, _G302), pl(_G301, _G303).