(define (problem Plotting_4x6_3colours_19681seed_4goal.pddl)
(:domain plotting)
(:objects
n1 - number
n2 - number
n3 - number
n4 - number
n5 - number
n6 - number
c1 - colour
c2 - colour
c3 - colour
)
(:init
(coloured n1 n1 c3)
(coloured n1 n2 c2)
(coloured n1 n3 c2)
(coloured n1 n4 c2)
(coloured n1 n5 c2)
(coloured n1 n6 c2)
(coloured n2 n1 c2)
(coloured n2 n2 c1)
(coloured n2 n3 c2)
(coloured n2 n4 c2)
(coloured n2 n5 c2)
(coloured n2 n6 c1)
(coloured n3 n1 c3)
(coloured n3 n2 c3)
(coloured n3 n3 c1)
(coloured n3 n4 c3)
(coloured n3 n5 c3)
(coloured n3 n6 c3)
(coloured n4 n1 c2)
(coloured n4 n2 c3)
(coloured n4 n3 c1)
(coloured n4 n4 c1)
(coloured n4 n5 c2)
(coloured n4 n6 c1)
(hand wildcard)
(succ n2 n1)
(succ n3 n2)
(succ n4 n3)
(succ n5 n4)
(succ n6 n5)
(pred n1 n2)
(pred n2 n3)
(pred n3 n4)
(pred n4 n5)
(pred n5 n6)
(lt n1 n2)
(lt n1 n3)
(lt n1 n4)
(lt n1 n5)
(lt n1 n6)
(lt n2 n3)
(lt n2 n4)
(lt n2 n5)
(lt n2 n6)
(lt n3 n4)
(lt n3 n5)
(lt n3 n6)
(lt n4 n5)
(lt n4 n6)
(lt n5 n6)
(gt n6 n5)
(gt n6 n4)
(gt n6 n3)
(gt n6 n2)
(gt n6 n1)
(gt n5 n4)
(gt n5 n3)
(gt n5 n2)
(gt n5 n1)
(gt n4 n3)
(gt n4 n2)
(gt n4 n1)
(gt n3 n2)
(gt n3 n1)
(gt n2 n1)
(isfirstcolumn n1)
(islastcolumn n6)
(istoprow n1)
(isbottomrow n6)
(distance n1 n2 n1)
(distance n1 n3 n2)
(distance n1 n4 n3)
(distance n1 n5 n4)
(distance n2 n1 n1)
(distance n2 n3 n1)
(distance n2 n4 n2)
(distance n2 n5 n3)
(distance n3 n1 n2)
(distance n3 n2 n1)
(distance n3 n4 n1)
(distance n3 n5 n2)
(distance n4 n1 n3)
(distance n4 n2 n2)
(distance n4 n3 n1)
(distance n4 n5 n1)
(distance n5 n1 n4)
(distance n5 n2 n3)
(distance n5 n3 n2)
(distance n5 n4 n1)
)
(:goal
(exists (?x1 ?y1 ?x2 ?y2 ?x3 ?y3 - number)
(and
(or (not (= ?x1 ?x2)) (not (= ?y1 ?y2)))
(or (not (= ?x1 ?x3)) (not (= ?y1 ?y3)))
(or (not (= ?x2 ?x3)) (not (= ?y2 ?y3)))
(forall (?x4 ?y4 - number) (or
    (and (= ?x1 ?x4) (= ?y1 ?y4))
    (and (= ?x2 ?x4) (= ?y2 ?y4))
    (and (= ?x3 ?x4) (= ?y3 ?y4))
(coloured ?x4 ?y4 null)))))
)
)