; total time: 2.42
; plan length: 15
(sendtofree c3 h3 n4 n3)
(sendtohome-b ha h n1 h0 n0 n1 n2)
(sendtohome-b da d n1 d0 n0 n2 n3)
(sendtohome-b h2 h n2 ha n1 n3 n4)
(sendtohome-b h3 h n3 h2 n2 n4 n5)
(sendtohome-b d2 d n2 da n1 n5 n6)
(sendtohome d3 c2 d n3 d2 n2)
(sendtofree c2 ca n3 n2)
(sendtohome ca sa c n1 c0 n0)
(homefromfreecell c2 c n2 ca n1 n2 n3)
(homefromfreecell c3 c n3 c2 n2 n3 n4)
(sendtohome-b sa s n1 s0 n0 n6 n7)
(sendtofree s3 s2 n4 n3)
(sendtohome-b s2 s n2 sa n1 n7 n8)
(homefromfreecell s3 s n3 s2 n2 n3 n4)
