freecell-2 113.39 31 3334144 10 (sendtohome-b ha h0 num([n2,n3]) n1 n0 h) (sendtohome-b da d0 num([n3,n4]) n1 n0 d) (sendtofree card([c2,ca]) num([n4,n3])) (sendtohome-b d2 da num([n4,n5]) n2 n1 d) (sendtonewcol card([ca,sa]) num([n5,n4])) (sendtohome-b h2 ha num([n4,n5]) n2 n1 h) (sendtohome-b ca c0 num([n5,n6]) n1 n0 c) (homefromfreecell c2 ca num([n3,n4]) n2 n1 c) (sendtohome-b sa s0 num([n6,n7]) n1 n0 s) (sendtohome-b s2 sa num([n7,n8]) n2 n1 s) freecell-2 97.32 37 3334144 9 (move card([sa,h2,ha])) (sendtohome card([ca,d2]) c0 n1 n0 c) (sendtohome-b c2 ca num([n2,n3]) n2 n1 c) (sendtohome-b da d0 num([n3,n4]) n1 n0 d) (sendtohome card([sa,h2]) s0 n1 n0 s) (sendtohome-b ha h0 num([n4,n5]) n1 n0 h) (sendtohome-b s2 sa num([n5,n6]) n2 n1 s) (sendtohome-b d2 da num([n6,n7]) n2 n1 d) (sendtohome-b h2 ha num([n7,n8]) n2 n1 h) freecell-2 114.97 39 3334144 10 (move card([ha,s2,ca])) (sendtofree card([c2,sa]) num([n4,n3])) (sendtohome card([ha,s2]) h0 n1 n0 h) (sendtohome-b h2 ha num([n3,n4]) n2 n1 h) (sendtohome card([sa,d2]) s0 n1 n0 s) (sendtohome-b s2 sa num([n4,n5]) n2 n1 s) (sendtohome-b da d0 num([n5,n6]) n1 n0 d) (sendtohome-b d2 da num([n6,n7]) n2 n1 d) (sendtohome-b ca c0 num([n7,n8]) n1 n0 c) (homefromfreecell c2 ca num([n3,n4]) n2 n1 c) freecell-2 78.68 38 3334144 8 (sendtohome-b ca c0 num([n2,n3]) n1 n0 c) (sendtohome-b c2 ca num([n3,n4]) n2 n1 c) (sendtohome card([da,d2]) d0 n1 n0 d) (sendtohome-b d2 da num([n4,n5]) n2 n1 d) (sendtohome-b ha h0 num([n5,n6]) n1 n0 h) (sendtohome card([h2,s2]) ha n2 n1 h) (sendtohome-b sa s0 num([n6,n7]) n1 n0 s) (sendtohome-b s2 sa num([n7,n8]) n2 n1 s) freecell-2 100.82 31 3334144 10 (move card([da,c2,sa])) (sendtofree card([h2,ha]) num([n4,n3])) (sendtohome-b sa s0 num([n2,n3]) n1 n0 s) (sendtohome card([da,c2]) d0 n1 n0 d) (sendtohome-b d2 da num([n3,n4]) n2 n1 d) (sendtohome-b ha h0 num([n4,n5]) n1 n0 h) (homefromfreecell h2 ha num([n3,n4]) n2 n1 h) (sendtohome-b s2 sa num([n5,n6]) n2 n1 s) (sendtohome-b ca c0 num([n6,n7]) n1 n0 c) (sendtohome-b c2 ca num([n7,n8]) n2 n1 c)