; search time: 0.17
; plan length: 9
(sendtohome-b ha h n1 h0 n0 n2 n3)
(sendtohome h2 s2 h n2 ha n1)
(sendtohome-b sa s n1 s0 n0 n3 n4)
(sendtohome-b s2 s n2 sa n1 n4 n5)
(sendtohome-b ca c n1 c0 n0 n5 n6)
(sendtohome-b c2 c n2 ca n1 n6 n7)
(sendtohome da d2 d n1 d0 n0)
(sendtohome-b d2 d n2 da n1 n7 n8)
(solve-goal)
