; search time: 5.21
; plan length: 53
(sendtofree da s7 n4 n3)
(sendtofree d6 h7 n3 n2)
(sendtofree ca d7 n2 n1)
(homefromfreecell da d n1 d0 n0 n1 n2)
(sendtofree c7 d2 n2 n1)
(sendtohome-b d2 d n2 da n1 n0 n1)
(newcolfromfreecell ca n1 n0 n1 n2)
(sendtohome-b ca c n1 c0 n0 n0 n1)
(sendtofree s7 d5 n2 n1)
(sendtonewcol d5 sa n1 n0)
(sendtohome-b sa s n1 s0 n0 n0 n1)
(sendtofree d7 s4 n1 n0)
(sendtonewcol s4 d3 n1 n0)
(sendtohome-b d3 d n3 d2 n2 n0 n1)
(sendtonewcol c6 h5 n1 n0)
(move h5 c2 c6)
(sendtohome-b c2 c n2 ca n1 n0 n1)
(sendtonewcol h6 d4 n1 n0)
(sendtohome d4 c4 d n4 d3 n3)
(sendtohome-b d5 d n5 d4 n4 n0 n1)
(newcolfromfreecell d6 n1 n0 n0 n1)
(sendtohome-b d6 d n6 d5 n5 n0 n1)
(homefromfreecell d7 d n7 d6 n6 n1 n2)
(sendtofree h4 s6 n2 n1)
(sendtofree s6 c3 n1 n0)
(sendtonewcol c3 s2 n1 n0)
(sendtohome-b c3 c n3 c2 n2 n0 n1)
(newcolfromfreecell s7 n1 n0 n0 n1)
(sendtohome-b c4 c n4 c3 n3 n0 n1)
(newcolfromfreecell s6 n1 n0 n1 n2)
(sendtohome-b s2 s n2 sa n1 n0 n1)
(sendtofree h2 s5 n2 n1)
(sendtofree s5 s3 n1 n0)
(sendtonewcol s3 c5 n1 n0)
(sendtohome-b s3 s n3 s2 n2 n0 n1)
(newcolfromfreecell s5 n1 n0 n0 n1)
(sendtohome-b s4 s n4 s3 n3 n0 n1)
(newcolfromfreecell c7 n1 n0 n1 n2)
(sendtohome-b s5 s n5 s4 n4 n0 n1)
(newcolfromfreecell h4 n1 n0 n2 n3)
(sendtohome-b s6 s n6 s5 n5 n0 n1)
(sendtohome-b s7 s n7 s6 n6 n1 n2)
(sendtohome c5 ha c n5 c4 n4)
(sendtohome-b ha h n1 h0 n0 n2 n3)
(homefromfreecell h2 h n2 ha n1 n3 n4)
(sendtofree h7 h3 n4 n3)
(sendtohome-b h3 h n3 h2 n2 n3 n4)
(sendtohome-b h4 h n4 h3 n3 n4 n5)
(sendtohome h5 c6 h n5 h4 n4)
(sendtohome-b h6 h n6 h5 n5 n5 n6)
(homefromfreecell h7 h n7 h6 n6 n3 n4)
(sendtohome-b c6 c n6 c5 n5 n6 n7)
(sendtohome-b c7 c n7 c6 n6 n7 n8)
