(define (problem FreeCell6-4) (:domain freecell) (:objects diamond club heart spade N0 N1 N2 N3 N4 N5 N6 heart6 diamond3 spadeA spade3 spade5 heart2 diamond5 heart4 spade6 club2 heartA club6 spade4 heart5 spade2 club4 diamond6 clubA club3 club5 diamondA heart3 diamond4 diamond2 diamond0 club0 heart0 spade0 ) (:init (successor N1 N0) (successor N2 N1) (successor N3 N2) (successor N4 N3) (successor N5 N4) (successor N6 N5) (cellspace N3) (clear heart6) (on heart6 heart2) (on heart2 heartA) (on heartA club4) (on club4 diamondA) (bottomcol diamondA) (clear diamond3) (on diamond3 diamond5) (on diamond5 club6) (on club6 diamond6) (on diamond6 heart3) (bottomcol heart3) (clear spadeA) (on spadeA heart4) (on heart4 spade4) (on spade4 clubA) (on clubA diamond4) (bottomcol diamond4) (clear spade3) (on spade3 spade6) (on spade6 heart5) (on heart5 club3) (on club3 diamond2) (bottomcol diamond2) (clear spade5) (on spade5 club2) (on club2 spade2) (on spade2 club5) (bottomcol club5) (colspace N0) (value heart6 N6) (suit heart6 heart) (value diamond3 N3) (suit diamond3 diamond) (canstack diamond3 club4) (canstack diamond3 spade4) (value spadeA N1) (suit spadeA spade) (canstack spadeA diamond2) (canstack spadeA heart2) (value spade3 N3) (suit spade3 spade) (canstack spade3 diamond4) (canstack spade3 heart4) (value spade5 N5) (suit spade5 spade) (canstack spade5 diamond6) (canstack spade5 heart6) (value heart2 N2) (suit heart2 heart) (canstack heart2 club3) (canstack heart2 spade3) (value diamond5 N5) (suit diamond5 diamond) (canstack diamond5 club6) (canstack diamond5 spade6) (value heart4 N4) (suit heart4 heart) (canstack heart4 club5) (canstack heart4 spade5) (value spade6 N6) (suit spade6 spade) (value club2 N2) (suit club2 club) (canstack club2 diamond3) (canstack club2 heart3) (value heartA N1) (suit heartA heart) (canstack heartA club2) (canstack heartA spade2) (value club6 N6) (suit club6 club) (value spade4 N4) (suit spade4 spade) (canstack spade4 diamond5) (canstack spade4 heart5) (value heart5 N5) (suit heart5 heart) (canstack heart5 club6) (canstack heart5 spade6) (value spade2 N2) (suit spade2 spade) (canstack spade2 diamond3) (canstack spade2 heart3) (value club4 N4) (suit club4 club) (canstack club4 diamond5) (canstack club4 heart5) (value diamond6 N6) (suit diamond6 diamond) (value clubA N1) (suit clubA club) (canstack clubA diamond2) (canstack clubA heart2) (value club3 N3) (suit club3 club) (canstack club3 diamond4) (canstack club3 heart4) (value club5 N5) (suit club5 club) (canstack club5 diamond6) (canstack club5 heart6) (value diamondA N1) (suit diamondA diamond) (canstack diamondA club2) (canstack diamondA spade2) (value heart3 N3) (suit heart3 heart) (canstack heart3 club4) (canstack heart3 spade4) (value diamond4 N4) (suit diamond4 diamond) (canstack diamond4 club5) (canstack diamond4 spade5) (value diamond2 N2) (suit diamond2 diamond) (canstack diamond2 club3) (canstack diamond2 spade3) (home diamond0) (value diamond0 N0) (suit diamond0 diamond) (home club0) (value club0 N0) (suit club0 club) (home heart0) (value heart0 N0) (suit heart0 heart) (home spade0) (value spade0 N0) (suit spade0 spade) ) (:goal (and (home diamond6) (home club6) (home heart6) (home spade6) )))