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