; search time: 34.23
; plan length: 22
(sendtofree diamond4 diamond3 n2 n1)
(sendtofree diamonda spade2 n1 n0)
(homefromfreecell diamonda diamond n1 diamond0 n0 n0 n1)
(sendtofree diamond2 cluba n1 n0)
(homefromfreecell diamond2 diamond n2 diamonda n1 n0 n1)
(sendtohome diamond3 club2 diamond n3 diamond2 n2)
(homefromfreecell diamond4 diamond n4 diamond3 n3 n1 n2)
(sendtofree heart3 spadea n2 n1)
(sendtofree spadea hearta n1 n0)
(homefromfreecell spadea spade n1 spade0 n0 n0 n1)
(sendtohome cluba heart4 club n1 club0 n0)
(sendtohome-b club2 club n2 cluba n1 n0 n1)
(sendtohome club3 spade3 club n3 club2 n2)
(sendtohome spade2 club4 spade n2 spadea n1)
(sendtohome-b club4 club n4 club3 n3 n1 n2)
(sendtohome-b hearta heart n1 heart0 n0 n2 n3)
(sendtohome spade3 heart2 spade n3 spade2 n2)
(sendtohome heart2 spade4 heart n2 hearta n1)
(sendtohome-b spade4 spade n4 spade3 n3 n3 n4)
(homefromfreecell heart3 heart n3 heart2 n2 n1 n2)
(sendtohome-b heart4 heart n4 heart3 n3 n4 n5)
(solve-goal)
