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