?- test_sup_vr_by_triples(P/N,7).
start, [date(2006/6/20), time(9:16:26)]
complete
successfully expanded by adding a ranking :
r(((((3, 3), 1), 3), 3))complete
successfully expanded by adding a ranking :
r(((((3, 3), 1), 3), 2))complete
successfully expanded by adding a ranking :
r(((((3, 3), 1), 3), 1))complete
successfully expanded by adding a ranking :
r(((((3, 3), 1), 2), 2))complete
successfully expanded by adding a ranking :
r(((((3, 3), 1), 2), 1))complete
successfully expanded by adding a ranking :
r(((((3, 3), 1), 1), 1))complete
successfully expanded by adding a ranking :
r(((((3, 2), 2), 3), 3))complete
successfully expanded by adding a ranking :
r(((((3, 2), 1), 3), 3))complete
successfully expanded by adding a ranking :
r(((((3, 2), 1), 3), 2))complete
successfully expanded by adding a ranking :
r(((((3, 2), 1), 3), 1))complete
successfully expanded by adding a ranking :
r(((((3, 2), 1), 2), 2))complete
successfully expanded by adding a ranking :
r(((((3, 2), 1), 2), 1))complete
successfully expanded by adding a ranking :
r(((((3, 2), 1), 1), 1))complete
successfully expanded by adding a ranking :
r(((((3, 1), 1), 2), 2))complete
successfully expanded by adding a ranking :
r(((((3, 1), 1), 2), 1))complete
successfully expanded by adding a ranking :
r(((((3, 1), 1), 1), 1))complete
successfully expanded by adding a ranking :
r(((((3, 1), 1), 2), 2))complete
successfully expanded by adding a ranking :
r(((((3, 1), 1), 2), 1))complete
successfully expanded by adding a ranking :
r(((((3, 1), 1), 1), 1))complete
successfully expanded by adding a ranking :
r(((((4, 4), 5), 6), 7))complete
successfully expanded by adding a ranking :
r(((((4, 4), 5), 6), 6))complete
successfully expanded by adding a ranking :
r(((((4, 4), 4), 6), 7))complete
successfully expanded by adding a ranking :
r(((((4, 4), 4), 6), 6))complete
successfully expanded by adding a ranking :
r(((((4, 4), 4), 6), 5))complete
successfully expanded by adding a ranking :
r(((((4, 4), 4), 5), 5))complete
successfully expanded by adding a ranking :
r(((((4, 4), 3), 6), 7))complete
successfully expanded by adding a ranking :
r(((((4, 4), 3), 6), 6))complete
successfully expanded by adding a ranking :
r(((((4, 4), 3), 6), 5))complete
successfully expanded by adding a ranking :
r(((((4, 4), 3), 6), 4))complete
successfully expanded by adding a ranking :
r(((((4, 4), 3), 5), 5))complete
successfully expanded by adding a ranking :
r(((((4, 4), 3), 5), 4))complete
successfully expanded by adding a ranking :
r(((((4, 4), 3), 4), 4))complete
successfully expanded by adding a ranking :
r(((((4, 3), 3), 4), 4))complete
successfully expanded by adding a ranking :
r(((((6, 4), 5), 6), 7))complete
successfully expanded by adding a ranking :
r(((((6, 4), 5), 6), 6))complete
successfully expanded by adding a ranking :
r(((((6, 4), 4), 6), 7))complete
successfully expanded by adding a ranking :
r(((((6, 4), 4), 6), 6))complete
successfully expanded by adding a ranking :
r(((((6, 4), 4), 6), 5))complete
successfully expanded by adding a ranking :
r(((((6, 4), 4), 5), 5))complete

P = 101
N = 5040 

Yes
?-



% file output start time , [date(2006/6/20), time(16:3:35)]

%----------  start from here ------------%

64:[r(((((1, 2), 2), 3), 3)), r(((((1, 2), 1), 3), 3)), r(((((1, 2), 1), 3), 2)), r(((((1, 2), 1), 3), 1)), r(((((1, 2), 1), 2), 2)), r(((((1, 2), 1), 2), 1)), r(((((1, 2), 1), 1), 1)), r(((((1, 1), 1), 2), 2)), r(((((1, 1), 1), 2), 1)), r(((((1, 1), 1), 1), 1)), r(((((3, 4), 5), 6), 7)), r(((((3, 4), 5), 6), 6)), r(((((3, 4), 4), 6), 7)), r(((((3, 4), 4), 6), 6)), r(((((3, 4), 4), 6), 5)), r(((((3, 4), 4), 5), 5)), r(((((3, 4), 3), 6), 7)), r(((((3, 4), 3), 6), 6)), r(((((3, 4), 3), 6), 5)), r(((((3, 4), 3), 6), 4)), r(((((3, 4), 3), 5), 5)), r(((((3, 4), 3), 5), 4)), r(((((3, 4), 3), 4), 4)), r(((((3, 4), 2), 6), 7)), r(((((3, 4), 2), 6), 6)), r(((((3, 4), 2), 6), 5)), r(((((3, 4), 2), 6), 4)), r(((((3, 4), 2), 6), 3)), r(((((3, 4), 2), 5), 5)), r(((((3, 4), 2), 5), 4)), r(((((3, 4), 2), 5), 3)), r(((((3, 4), 2), 4), 4)), r(((((3, 4), 2), 4), 3)), r(((((3, 4), 2), 3), 3)), r(((((3, 4), 1), 6), 7)), r(((((3, 4), 1), 6), 6)), r(((((3, 4), 1), 6), 5)), r(((((3, 4), 1), 6), 4)), r(((((3, 4), 1), 6), 3)), r(((((3, 4), 1), 6), 2)), r(((((3, 4), 1), 6), 1)), r(((((3, 4), 1), 5), 5)), r(((((3, 4), 1), 5), 4)), r(((((3, 4), 1), 5), 3)), r(((((3, 4), 1), 5), 2)), r(((((3, 4), 1), 5), 1)), r(((((3, 4), 1), 4), 4)), r(((((3, 4), 1), 4), 3)), r(((((3, 4), 1), 4), 2)), r(((((3, 4), 1), 4), 1)), r(((((3, 4), 1), 3), 3)), r(((((3, 4), 1), 3), 2)), r(((((3, 4), 1), 3), 1)), r(((((3, 4), 1), 2), 2)), r(((((3, 4), 1), 2), 1)), r(((((3, 4), 1), 1), 1)), r(((((3, 3), 3), 4), 4)), r(((((3, 3), 2), 4), 4)), r(((((3, 3), 2), 4), 3)), r(((((3, 3), 2), 3), 3)), r(((((3, 3), 1), 4), 4)), r(((((3, 3), 1), 4), 3)), r(((((3, 3), 1), 4), 2)), r(((((3, 3), 1), 4), 1))]
 (e, f, g): * :sp:f
 (d, f, g): * :sp:f
 (d, e, g): * :sc:e
 (d, e, f): * :sc:e
 (c, f, g): * :sp:f
 (c, e, g): * :sc:e
 (c, e, f): * :sc:e
 (c, d, g): * :sp:d
 (c, d, f): * :sp:d
 (c, d, e): * :sp:d
 (b, f, g): * :sp:f
 (b, e, g): * :sc:e
 (b, e, f): * :sc:e
 (b, d, g): * :sp:d
 (b, d, f): * :sp:d
 (b, d, e): * :sp:d
 (b, c, g): * :sc:c
 (b, c, f): * :sc:c
 (b, c, e): * :sc:c
 (b, c, d): * :sc:c
 (a, f, g): * :sp:f
 (a, e, g): * :sc:e
 (a, e, f): * :sc:e
 (a, d, g): * :sp:d
 (a, d, f): * :sp:d
 (a, d, e): * :sp:d
 (a, c, g): * :sc:c
 (a, c, f): * :sc:c
 (a, c, e): * :sc:c
 (a, c, d): * :sc:c
 (a, b, g): * :sp:b
 (a, b, f): * :sp:b
 (a, b, e): * :sp:b
 (a, b, d): * :sp:b
 (a, b, c): * :sp:b
time:368.937
65:[r(((((3, 3), 1), 3), 3)), r(((((1, 2), 2), 3), 3)), r(((((1, 2), 1), 3), 3)), r(((((1, 2), 1), 3), 2)), r(((((1, 2), 1), 3), 1)), r(((((1, 2), 1), 2), 2)), r(((((1, 2), 1), 2), 1)), r(((((1, 2), 1), 1), 1)), r(((((1, 1), 1), 2), 2)), r(((((1, 1), 1), 2), 1)), r(((((1, 1), 1), 1), 1)), r(((((3, 4), 5), 6), 7)), r(((((3, 4), 5), 6), 6)), r(((((3, 4), 4), 6), 7)), r(((((3, 4), 4), 6), 6)), r(((((3, 4), 4), 6), 5)), r(((((3, 4), 4), 5), 5)), r(((((3, 4), 3), 6), 7)), r(((((3, 4), 3), 6), 6)), r(((((3, 4), 3), 6), 5)), r(((((3, 4), 3), 6), 4)), r(((((3, 4), 3), 5), 5)), r(((((3, 4), 3), 5), 4)), r(((((3, 4), 3), 4), 4)), r(((((3, 4), 2), 6), 7)), r(((((3, 4), 2), 6), 6)), r(((((3, 4), 2), 6), 5)), r(((((3, 4), 2), 6), 4)), r(((((3, 4), 2), 6), 3)), r(((((3, 4), 2), 5), 5)), r(((((3, 4), 2), 5), 4)), r(((((3, 4), 2), 5), 3)), r(((((3, 4), 2), 4), 4)), r(((((3, 4), 2), 4), 3)), r(((((3, 4), 2), 3), 3)), r(((((3, 4), 1), 6), 7)), r(((((3, 4), 1), 6), 6)), r(((((3, 4), 1), 6), 5)), r(((((3, 4), 1), 6), 4)), r(((((3, 4), 1), 6), 3)), r(((((3, 4), 1), 6), 2)), r(((((3, 4), 1), 6), 1)), r(((((3, 4), 1), 5), 5)), r(((((3, 4), 1), 5), 4)), r(((((3, 4), 1), 5), 3)), r(((((3, 4), 1), 5), 2)), r(((((3, 4), 1), 5), 1)), r(((((3, 4), 1), 4), 4)), r(((((3, 4), 1), 4), 3)), r(((((3, 4), 1), 4), 2)), r(((((3, 4), 1), 4), 1)), r(((((3, 4), 1), 3), 3)), r(((((3, 4), 1), 3), 2)), r(((((3, 4), 1), 3), 1)), r(((((3, 4), 1), 2), 2)), r(((((3, 4), 1), 2), 1)), r(((((3, 4), 1), 1), 1)), r(((((3, 3), 3), 4), 4)), r(((((3, 3), 2), 4), 4)), r(((((3, 3), 2), 4), 3)), r(((((3, 3), 2), 3), 3)), r(((((3, 3), 1), 4), 4)), r(((((3, 3), 1), 4), 3)), r(((((3, 3), 1), 4), 2)), r(((((3, 3), 1), 4), 1))]
 (e, f, g): * :sp:f
 (d, f, g): * :sp:f
 (d, e, g): * :sc:e
 (d, e, f): * :sc:e
 (c, f, g): * :sp:f
 (c, e, g): * :sc:e
 (c, e, f): * :sc:e
 (c, d, g): * :sp:d
 (c, d, f): * :sp:d
 (c, d, e): * :sp:d
 (b, f, g): * :sp:f
 (b, e, g): * :sc:e
 (b, e, f): * :sc:e
 (b, d, g): * :sp:d
 (b, d, f): * :sp:d
 (b, d, e): * :sp:d
 (b, c, g): * :sc:c
 (b, c, f): * :sc:c
 (b, c, e): * :sc:c
 (b, c, d): * :sc:c
 (a, f, g): * :sp:f
 (a, e, g): * :sc:e
 (a, e, f): * :sc:e
 (a, d, g): * :sp:d
 (a, d, f): * :sp:d
 (a, d, e): * :sp:d
 (a, c, g): * :sc:c
 (a, c, f): * :sc:c
 (a, c, e): * :sc:c
 (a, c, d): * :sc:c
 (a, b, g): * :sp:b
 (a, b, f): * :sp:b
 (a, b, e): * :sp:b
 (a, b, d): * :sp:b
 (a, b, c): * :sp:b
time:287.969
66:[r(((((3, 3), 1), 3), 2)), r(((((1, 1), 1), 1), 1)), r(((((1, 1), 1), 2), 1)), r(((((1, 1), 1), 2), 2)), r(((((1, 2), 1), 1), 1)), r(((((1, 2), 1), 2), 1)), r(((((1, 2), 1), 2), 2)), r(((((1, 2), 1), 3), 1)), r(((((1, 2), 1), 3), 2)), r(((((1, 2), 1), 3), 3)), r(((((1, 2), 2), 3), 3)), r(((((3, 3), 1), 3), 3)), r(((((3, 3), 1), 4), 1)), r(((((3, 3), 1), 4), 2)), r(((((3, 3), 1), 4), 3)), r(((((3, 3), 1), 4), 4)), r(((((3, 3), 2), 3), 3)), r(((((3, 3), 2), 4), 3)), r(((((3, 3), 2), 4), 4)), r(((((3, 3), 3), 4), 4)), r(((((3, 4), 1), 1), 1)), r(((((3, 4), 1), 2), 1)), r(((((3, 4), 1), 2), 2)), r(((((3, 4), 1), 3), 1)), r(((((3, 4), 1), 3), 2)), r(((((3, 4), 1), 3), 3)), r(((((3, 4), 1), 4), 1)), r(((((3, 4), 1), 4), 2)), r(((((3, 4), 1), 4), 3)), r(((((3, 4), 1), 4), 4)), r(((((3, 4), 1), 5), 1)), r(((((3, 4), 1), 5), 2)), r(((((3, 4), 1), 5), 3)), r(((((3, 4), 1), 5), 4)), r(((((3, 4), 1), 5), 5)), r(((((3, 4), 1), 6), 1)), r(((((3, 4), 1), 6), 2)), r(((((3, 4), 1), 6), 3)), r(((((3, 4), 1), 6), 4)), r(((((3, 4), 1), 6), 5)), r(((((3, 4), 1), 6), 6)), r(((((3, 4), 1), 6), 7)), r(((((3, 4), 2), 3), 3)), r(((((3, 4), 2), 4), 3)), r(((((3, 4), 2), 4), 4)), r(((((3, 4), 2), 5), 3)), r(((((3, 4), 2), 5), 4)), r(((((3, 4), 2), 5), 5)), r(((((3, 4), 2), 6), 3)), r(((((3, 4), 2), 6), 4)), r(((((3, 4), 2), 6), 5)), r(((((3, 4), 2), 6), 6)), r(((((3, 4), 2), 6), 7)), r(((((3, 4), 3), 4), 4)), r(((((3, 4), 3), 5), 4)), r(((((3, 4), 3), 5), 5)), r(((((3, 4), 3), 6), 4)), r(((((3, 4), 3), 6), 5)), r(((((3, 4), 3), 6), 6)), r(((((3, 4), 3), 6), 7)), r(((((3, 4), 4), 5), 5)), r(((((3, 4), 4), 6), 5)), r(((((3, 4), 4), 6), 6)), r(((((3, 4), 4), 6), 7)), r(((((3, 4), 5), 6), 6)), r(((((3, 4), 5), 6), 7))]
 (e, f, g): * :sp:f
 (d, f, g): * :sp:f
 (d, e, g): * :sc:e
 (d, e, f): * :sc:e
 (c, f, g): * :sp:f
 (c, e, g): * :sc:e
 (c, e, f): * :sc:e
 (c, d, g): * :sp:d
 (c, d, f): * :sp:d
 (c, d, e): * :sp:d
 (b, f, g): * :sp:f
 (b, e, g): * :sc:e
 (b, e, f): * :sc:e
 (b, d, g): * :sp:d
 (b, d, f): * :sp:d
 (b, d, e): * :sp:d
 (b, c, g): * :sc:c
 (b, c, f): * :sc:c
 (b, c, e): * :sc:c
 (b, c, d): * :sc:c
 (a, f, g): * :sp:f
 (a, e, g): * :sc:e
 (a, e, f): * :sc:e
 (a, d, g): * :sp:d
 (a, d, f): * :sp:d
 (a, d, e): * :sp:d
 (a, c, g): * :sc:c
 (a, c, f): * :sc:c
 (a, c, e): * :sc:c
 (a, c, d): * :sc:c
 (a, b, g): * :sp:b
 (a, b, f): * :sp:b
 (a, b, e): * :sp:b
 (a, b, d): * :sp:b
 (a, b, c): * :sp:b
time:300.375
67:[r(((((3, 3), 1), 3), 1)), r(((((1, 1), 1), 1), 1)), r(((((1, 1), 1), 2), 1)), r(((((1, 1), 1), 2), 2)), r(((((1, 2), 1), 1), 1)), r(((((1, 2), 1), 2), 1)), r(((((1, 2), 1), 2), 2)), r(((((1, 2), 1), 3), 1)), r(((((1, 2), 1), 3), 2)), r(((((1, 2), 1), 3), 3)), r(((((1, 2), 2), 3), 3)), r(((((3, 3), 1), 3), 2)), r(((((3, 3), 1), 3), 3)), r(((((3, 3), 1), 4), 1)), r(((((3, 3), 1), 4), 2)), r(((((3, 3), 1), 4), 3)), r(((((3, 3), 1), 4), 4)), r(((((3, 3), 2), 3), 3)), r(((((3, 3), 2), 4), 3)), r(((((3, 3), 2), 4), 4)), r(((((3, 3), 3), 4), 4)), r(((((3, 4), 1), 1), 1)), r(((((3, 4), 1), 2), 1)), r(((((3, 4), 1), 2), 2)), r(((((3, 4), 1), 3), 1)), r(((((3, 4), 1), 3), 2)), r(((((3, 4), 1), 3), 3)), r(((((3, 4), 1), 4), 1)), r(((((3, 4), 1), 4), 2)), r(((((3, 4), 1), 4), 3)), r(((((3, 4), 1), 4), 4)), r(((((3, 4), 1), 5), 1)), r(((((3, 4), 1), 5), 2)), r(((((3, 4), 1), 5), 3)), r(((((3, 4), 1), 5), 4)), r(((((3, 4), 1), 5), 5)), r(((((3, 4), 1), 6), 1)), r(((((3, 4), 1), 6), 2)), r(((((3, 4), 1), 6), 3)), r(((((3, 4), 1), 6), 4)), r(((((3, 4), 1), 6), 5)), r(((((3, 4), 1), 6), 6)), r(((((3, 4), 1), 6), 7)), r(((((3, 4), 2), 3), 3)), r(((((3, 4), 2), 4), 3)), r(((((3, 4), 2), 4), 4)), r(((((3, 4), 2), 5), 3)), r(((((3, 4), 2), 5), 4)), r(((((3, 4), 2), 5), 5)), r(((((3, 4), 2), 6), 3)), r(((((3, 4), 2), 6), 4)), r(((((3, 4), 2), 6), 5)), r(((((3, 4), 2), 6), 6)), r(((((3, 4), 2), 6), 7)), r(((((3, 4), 3), 4), 4)), r(((((3, 4), 3), 5), 4)), r(((((3, 4), 3), 5), 5)), r(((((3, 4), 3), 6), 4)), r(((((3, 4), 3), 6), 5)), r(((((3, 4), 3), 6), 6)), r(((((3, 4), 3), 6), 7)), r(((((3, 4), 4), 5), 5)), r(((((3, 4), 4), 6), 5)), r(((((3, 4), 4), 6), 6)), r(((((3, 4), 4), 6), 7)), r(((((3, 4), 5), 6), 6)), r(((((3, 4), 5), 6), 7))]
 (e, f, g): * :sp:f
 (d, f, g): * :sp:f
 (d, e, g): * :sc:e
 (d, e, f): * :sc:e
 (c, f, g): * :sp:f
 (c, e, g): * :sc:e
 (c, e, f): * :sc:e
 (c, d, g): * :sp:d
 (c, d, f): * :sp:d
 (c, d, e): * :sp:d
 (b, f, g): * :sp:f
 (b, e, g): * :sc:e
 (b, e, f): * :sc:e
 (b, d, g): * :sp:d
 (b, d, f): * :sp:d
 (b, d, e): * :sp:d
 (b, c, g): * :sc:c
 (b, c, f): * :sc:c
 (b, c, e): * :sc:c
 (b, c, d): * :sc:c
 (a, f, g): * :sp:f
 (a, e, g): * :sc:e
 (a, e, f): * :sc:e
 (a, d, g): * :sp:d
 (a, d, f): * :sp:d
 (a, d, e): * :sp:d
 (a, c, g): * :sc:c
 (a, c, f): * :sc:c
 (a, c, e): * :sc:c
 (a, c, d): * :sc:c
 (a, b, g): * :sp:b
 (a, b, f): * :sp:b
 (a, b, e): * :sp:b
 (a, b, d): * :sp:b
 (a, b, c): * :sp:b
time:308.266
68:[r(((((3, 3), 1), 2), 2)), r(((((1, 1), 1), 1), 1)), r(((((1, 1), 1), 2), 1)), r(((((1, 1), 1), 2), 2)), r(((((1, 2), 1), 1), 1)), r(((((1, 2), 1), 2), 1)), r(((((1, 2), 1), 2), 2)), r(((((1, 2), 1), 3), 1)), r(((((1, 2), 1), 3), 2)), r(((((1, 2), 1), 3), 3)), r(((((1, 2), 2), 3), 3)), r(((((3, 3), 1), 3), 1)), r(((((3, 3), 1), 3), 2)), r(((((3, 3), 1), 3), 3)), r(((((3, 3), 1), 4), 1)), r(((((3, 3), 1), 4), 2)), r(((((3, 3), 1), 4), 3)), r(((((3, 3), 1), 4), 4)), r(((((3, 3), 2), 3), 3)), r(((((3, 3), 2), 4), 3)), r(((((3, 3), 2), 4), 4)), r(((((3, 3), 3), 4), 4)), r(((((3, 4), 1), 1), 1)), r(((((3, 4), 1), 2), 1)), r(((((3, 4), 1), 2), 2)), r(((((3, 4), 1), 3), 1)), r(((((3, 4), 1), 3), 2)), r(((((3, 4), 1), 3), 3)), r(((((3, 4), 1), 4), 1)), r(((((3, 4), 1), 4), 2)), r(((((3, 4), 1), 4), 3)), r(((((3, 4), 1), 4), 4)), r(((((3, 4), 1), 5), 1)), r(((((3, 4), 1), 5), 2)), r(((((3, 4), 1), 5), 3)), r(((((3, 4), 1), 5), 4)), r(((((3, 4), 1), 5), 5)), r(((((3, 4), 1), 6), 1)), r(((((3, 4), 1), 6), 2)), r(((((3, 4), 1), 6), 3)), r(((((3, 4), 1), 6), 4)), r(((((3, 4), 1), 6), 5)), r(((((3, 4), 1), 6), 6)), r(((((3, 4), 1), 6), 7)), r(((((3, 4), 2), 3), 3)), r(((((3, 4), 2), 4), 3)), r(((((3, 4), 2), 4), 4)), r(((((3, 4), 2), 5), 3)), r(((((3, 4), 2), 5), 4)), r(((((3, 4), 2), 5), 5)), r(((((3, 4), 2), 6), 3)), r(((((3, 4), 2), 6), 4)), r(((((3, 4), 2), 6), 5)), r(((((3, 4), 2), 6), 6)), r(((((3, 4), 2), 6), 7)), r(((((3, 4), 3), 4), 4)), r(((((3, 4), 3), 5), 4)), r(((((3, 4), 3), 5), 5)), r(((((3, 4), 3), 6), 4)), r(((((3, 4), 3), 6), 5)), r(((((3, 4), 3), 6), 6)), r(((((3, 4), 3), 6), 7)), r(((((3, 4), 4), 5), 5)), r(((((3, 4), 4), 6), 5)), r(((((3, 4), 4), 6), 6)), r(((((3, 4), 4), 6), 7)), r(((((3, 4), 5), 6), 6)), r(((((3, 4), 5), 6), 7))]
 (e, f, g): * :sp:f
 (d, f, g): * :sp:f
 (d, e, g): * :sc:e
 (d, e, f): * :sc:e
 (c, f, g): * :sp:f
 (c, e, g): * :sc:e
 (c, e, f): * :sc:e
 (c, d, g): * :sp:d
 (c, d, f): * :sp:d
 (c, d, e): * :sp:d
 (b, f, g): * :sp:f
 (b, e, g): * :sc:e
 (b, e, f): * :sc:e
 (b, d, g): * :sp:d
 (b, d, f): * :sp:d
 (b, d, e): * :sp:d
 (b, c, g): * :sc:c
 (b, c, f): * :sc:c
 (b, c, e): * :sc:c
 (b, c, d): * :sc:c
 (a, f, g): * :sp:f
 (a, e, g): * :sc:e
 (a, e, f): * :sc:e
 (a, d, g): * :sp:d
 (a, d, f): * :sp:d
 (a, d, e): * :sp:d
 (a, c, g): * :sc:c
 (a, c, f): * :sc:c
 (a, c, e): * :sc:c
 (a, c, d): * :sc:c
 (a, b, g): * :sp:b
 (a, b, f): * :sp:b
 (a, b, e): * :sp:b
 (a, b, d): * :sp:b
 (a, b, c): * :sp:b
time:321.203
69:[r(((((3, 3), 1), 2), 1)), r(((((1, 1), 1), 1), 1)), r(((((1, 1), 1), 2), 1)), r(((((1, 1), 1), 2), 2)), r(((((1, 2), 1), 1), 1)), r(((((1, 2), 1), 2), 1)), r(((((1, 2), 1), 2), 2)), r(((((1, 2), 1), 3), 1)), r(((((1, 2), 1), 3), 2)), r(((((1, 2), 1), 3), 3)), r(((((1, 2), 2), 3), 3)), r(((((3, 3), 1), 2), 2)), r(((((3, 3), 1), 3), 1)), r(((((3, 3), 1), 3), 2)), r(((((3, 3), 1), 3), 3)), r(((((3, 3), 1), 4), 1)), r(((((3, 3), 1), 4), 2)), r(((((3, 3), 1), 4), 3)), r(((((3, 3), 1), 4), 4)), r(((((3, 3), 2), 3), 3)), r(((((3, 3), 2), 4), 3)), r(((((3, 3), 2), 4), 4)), r(((((3, 3), 3), 4), 4)), r(((((3, 4), 1), 1), 1)), r(((((3, 4), 1), 2), 1)), r(((((3, 4), 1), 2), 2)), r(((((3, 4), 1), 3), 1)), r(((((3, 4), 1), 3), 2)), r(((((3, 4), 1), 3), 3)), r(((((3, 4), 1), 4), 1)), r(((((3, 4), 1), 4), 2)), r(((((3, 4), 1), 4), 3)), r(((((3, 4), 1), 4), 4)), r(((((3, 4), 1), 5), 1)), r(((((3, 4), 1), 5), 2)), r(((((3, 4), 1), 5), 3)), r(((((3, 4), 1), 5), 4)), r(((((3, 4), 1), 5), 5)), r(((((3, 4), 1), 6), 1)), r(((((3, 4), 1), 6), 2)), r(((((3, 4), 1), 6), 3)), r(((((3, 4), 1), 6), 4)), r(((((3, 4), 1), 6), 5)), r(((((3, 4), 1), 6), 6)), r(((((3, 4), 1), 6), 7)), r(((((3, 4), 2), 3), 3)), r(((((3, 4), 2), 4), 3)), r(((((3, 4), 2), 4), 4)), r(((((3, 4), 2), 5), 3)), r(((((3, 4), 2), 5), 4)), r(((((3, 4), 2), 5), 5)), r(((((3, 4), 2), 6), 3)), r(((((3, 4), 2), 6), 4)), r(((((3, 4), 2), 6), 5)), r(((((3, 4), 2), 6), 6)), r(((((3, 4), 2), 6), 7)), r(((((3, 4), 3), 4), 4)), r(((((3, 4), 3), 5), 4)), r(((((3, 4), 3), 5), 5)), r(((((3, 4), 3), 6), 4)), r(((((3, 4), 3), 6), 5)), r(((((3, 4), 3), 6), 6)), r(((((3, 4), 3), 6), 7)), r(((((3, 4), 4), 5), 5)), r(((((3, 4), 4), 6), 5)), r(((((3, 4), 4), 6), 6)), r(((((3, 4), 4), 6), 7)), r(((((3, 4), 5), 6), 6)), r(((((3, 4), 5), 6), 7))]
 (e, f, g): * :sp:f
 (d, f, g): * :sp:f
 (d, e, g): * :sc:e
 (d, e, f): * :sc:e
 (c, f, g): * :sp:f
 (c, e, g): * :sc:e
 (c, e, f): * :sc:e
 (c, d, g): * :sp:d
 (c, d, f): * :sp:d
 (c, d, e): * :sp:d
 (b, f, g): * :sp:f
 (b, e, g): * :sc:e
 (b, e, f): * :sc:e
 (b, d, g): * :sp:d
 (b, d, f): * :sp:d
 (b, d, e): * :sp:d
 (b, c, g): * :sc:c
 (b, c, f): * :sc:c
 (b, c, e): * :sc:c
 (b, c, d): * :sc:c
 (a, f, g): * :sp:f
 (a, e, g): * :sc:e
 (a, e, f): * :sc:e
 (a, d, g): * :sp:d
 (a, d, f): * :sp:d
 (a, d, e): * :sp:d
 (a, c, g): * :sc:c
 (a, c, f): * :sc:c
 (a, c, e): * :sc:c
 (a, c, d): * :sc:c
 (a, b, g): * :sp:b
 (a, b, f): * :sp:b
 (a, b, e): * :sp:b
 (a, b, d): * :sp:b
 (a, b, c): * :sp:b
time:326.312
70:[r(((((3, 3), 1), 1), 1)), r(((((1, 1), 1), 1), 1)), r(((((1, 1), 1), 2), 1)), r(((((1, 1), 1), 2), 2)), r(((((1, 2), 1), 1), 1)), r(((((1, 2), 1), 2), 1)), r(((((1, 2), 1), 2), 2)), r(((((1, 2), 1), 3), 1)), r(((((1, 2), 1), 3), 2)), r(((((1, 2), 1), 3), 3)), r(((((1, 2), 2), 3), 3)), r(((((3, 3), 1), 2), 1)), r(((((3, 3), 1), 2), 2)), r(((((3, 3), 1), 3), 1)), r(((((3, 3), 1), 3), 2)), r(((((3, 3), 1), 3), 3)), r(((((3, 3), 1), 4), 1)), r(((((3, 3), 1), 4), 2)), r(((((3, 3), 1), 4), 3)), r(((((3, 3), 1), 4), 4)), r(((((3, 3), 2), 3), 3)), r(((((3, 3), 2), 4), 3)), r(((((3, 3), 2), 4), 4)), r(((((3, 3), 3), 4), 4)), r(((((3, 4), 1), 1), 1)), r(((((3, 4), 1), 2), 1)), r(((((3, 4), 1), 2), 2)), r(((((3, 4), 1), 3), 1)), r(((((3, 4), 1), 3), 2)), r(((((3, 4), 1), 3), 3)), r(((((3, 4), 1), 4), 1)), r(((((3, 4), 1), 4), 2)), r(((((3, 4), 1), 4), 3)), r(((((3, 4), 1), 4), 4)), r(((((3, 4), 1), 5), 1)), r(((((3, 4), 1), 5), 2)), r(((((3, 4), 1), 5), 3)), r(((((3, 4), 1), 5), 4)), r(((((3, 4), 1), 5), 5)), r(((((3, 4), 1), 6), 1)), r(((((3, 4), 1), 6), 2)), r(((((3, 4), 1), 6), 3)), r(((((3, 4), 1), 6), 4)), r(((((3, 4), 1), 6), 5)), r(((((3, 4), 1), 6), 6)), r(((((3, 4), 1), 6), 7)), r(((((3, 4), 2), 3), 3)), r(((((3, 4), 2), 4), 3)), r(((((3, 4), 2), 4), 4)), r(((((3, 4), 2), 5), 3)), r(((((3, 4), 2), 5), 4)), r(((((3, 4), 2), 5), 5)), r(((((3, 4), 2), 6), 3)), r(((((3, 4), 2), 6), 4)), r(((((3, 4), 2), 6), 5)), r(((((3, 4), 2), 6), 6)), r(((((3, 4), 2), 6), 7)), r(((((3, 4), 3), 4), 4)), r(((((3, 4), 3), 5), 4)), r(((((3, 4), 3), 5), 5)), r(((((3, 4), 3), 6), 4)), r(((((3, 4), 3), 6), 5)), r(((((3, 4), 3), 6), 6)), r(((((3, 4), 3), 6), 7)), r(((((3, 4), 4), 5), 5)), r(((((3, 4), 4), 6), 5)), r(((((3, 4), 4), 6), 6)), r(((((3, 4), 4), 6), 7)), r(((((3, 4), 5), 6), 6)), r(((((3, 4), 5), 6), 7))]
 (e, f, g): * :sp:f
 (d, f, g): * :sp:f
 (d, e, g): * :sc:e
 (d, e, f): * :sc:e
 (c, f, g): * :sp:f
 (c, e, g): * :sc:e
 (c, e, f): * :sc:e
 (c, d, g): * :sp:d
 (c, d, f): * :sp:d
 (c, d, e): * :sp:d
 (b, f, g): * :sp:f
 (b, e, g): * :sc:e
 (b, e, f): * :sc:e
 (b, d, g): * :sp:d
 (b, d, f): * :sp:d
 (b, d, e): * :sp:d
 (b, c, g): * :sc:c
 (b, c, f): * :sc:c
 (b, c, e): * :sc:c
 (b, c, d): * :sc:c
 (a, f, g): * :sp:f
 (a, e, g): * :sc:e
 (a, e, f): * :sc:e
 (a, d, g): * :sp:d
 (a, d, f): * :sp:d
 (a, d, e): * :sp:d
 (a, c, g): * :sc:c
 (a, c, f): * :sc:c
 (a, c, e): * :sc:c
 (a, c, d): * :sc:c
 (a, b, g): * :sp:b
 (a, b, f): * :sp:b
 (a, b, e): * :sp:b
 (a, b, d): * :sp:b
 (a, b, c): * :sp:b
time:340.187
71:[r(((((3, 2), 2), 3), 3)), r(((((1, 1), 1), 1), 1)), r(((((1, 1), 1), 2), 1)), r(((((1, 1), 1), 2), 2)), r(((((1, 2), 1), 1), 1)), r(((((1, 2), 1), 2), 1)), r(((((1, 2), 1), 2), 2)), r(((((1, 2), 1), 3), 1)), r(((((1, 2), 1), 3), 2)), r(((((1, 2), 1), 3), 3)), r(((((1, 2), 2), 3), 3)), r(((((3, 3), 1), 1), 1)), r(((((3, 3), 1), 2), 1)), r(((((3, 3), 1), 2), 2)), r(((((3, 3), 1), 3), 1)), r(((((3, 3), 1), 3), 2)), r(((((3, 3), 1), 3), 3)), r(((((3, 3), 1), 4), 1)), r(((((3, 3), 1), 4), 2)), r(((((3, 3), 1), 4), 3)), r(((((3, 3), 1), 4), 4)), r(((((3, 3), 2), 3), 3)), r(((((3, 3), 2), 4), 3)), r(((((3, 3), 2), 4), 4)), r(((((3, 3), 3), 4), 4)), r(((((3, 4), 1), 1), 1)), r(((((3, 4), 1), 2), 1)), r(((((3, 4), 1), 2), 2)), r(((((3, 4), 1), 3), 1)), r(((((3, 4), 1), 3), 2)), r(((((3, 4), 1), 3), 3)), r(((((3, 4), 1), 4), 1)), r(((((3, 4), 1), 4), 2)), r(((((3, 4), 1), 4), 3)), r(((((3, 4), 1), 4), 4)), r(((((3, 4), 1), 5), 1)), r(((((3, 4), 1), 5), 2)), r(((((3, 4), 1), 5), 3)), r(((((3, 4), 1), 5), 4)), r(((((3, 4), 1), 5), 5)), r(((((3, 4), 1), 6), 1)), r(((((3, 4), 1), 6), 2)), r(((((3, 4), 1), 6), 3)), r(((((3, 4), 1), 6), 4)), r(((((3, 4), 1), 6), 5)), r(((((3, 4), 1), 6), 6)), r(((((3, 4), 1), 6), 7)), r(((((3, 4), 2), 3), 3)), r(((((3, 4), 2), 4), 3)), r(((((3, 4), 2), 4), 4)), r(((((3, 4), 2), 5), 3)), r(((((3, 4), 2), 5), 4)), r(((((3, 4), 2), 5), 5)), r(((((3, 4), 2), 6), 3)), r(((((3, 4), 2), 6), 4)), r(((((3, 4), 2), 6), 5)), r(((((3, 4), 2), 6), 6)), r(((((3, 4), 2), 6), 7)), r(((((3, 4), 3), 4), 4)), r(((((3, 4), 3), 5), 4)), r(((((3, 4), 3), 5), 5)), r(((((3, 4), 3), 6), 4)), r(((((3, 4), 3), 6), 5)), r(((((3, 4), 3), 6), 6)), r(((((3, 4), 3), 6), 7)), r(((((3, 4), 4), 5), 5)), r(((((3, 4), 4), 6), 5)), r(((((3, 4), 4), 6), 6)), r(((((3, 4), 4), 6), 7)), r(((((3, 4), 5), 6), 6)), r(((((3, 4), 5), 6), 7))]
 (e, f, g): * :sp:f
 (d, f, g): * :sp:f
 (d, e, g): * :sc:e
 (d, e, f): * :sc:e
 (c, f, g): * :sp:f
 (c, e, g): * :sc:e
 (c, e, f): * :sc:e
 (c, d, g): * :sp:d
 (c, d, f): * :sp:d
 (c, d, e): * :sp:d
 (b, f, g): * :sp:f
 (b, e, g): * :sc:e
 (b, e, f): * :sc:e
 (b, d, g): * :sp:d
 (b, d, f): * :sp:d
 (b, d, e): * :sp:d
 (b, c, g): * :sc:c
 (b, c, f): * :sc:c
 (b, c, e): * :sc:c
 (b, c, d): * :sc:c
 (a, f, g): * :sp:f
 (a, e, g): * :sc:e
 (a, e, f): * :sc:e
 (a, d, g): * :sp:d
 (a, d, f): * :sp:d
 (a, d, e): * :sp:d
 (a, c, g): * :sc:c
 (a, c, f): * :sc:c
 (a, c, e): * :sc:c
 (a, c, d): * :sc:c
 (a, b, g): * :sp:b
 (a, b, f): * :sp:b
 (a, b, e): * :sp:b
 (a, b, d): * :sp:b
 (a, b, c): * :sp:b
time:375.359
72:[r(((((3, 2), 1), 3), 3)), r(((((1, 1), 1), 1), 1)), r(((((1, 1), 1), 2), 1)), r(((((1, 1), 1), 2), 2)), r(((((1, 2), 1), 1), 1)), r(((((1, 2), 1), 2), 1)), r(((((1, 2), 1), 2), 2)), r(((((1, 2), 1), 3), 1)), r(((((1, 2), 1), 3), 2)), r(((((1, 2), 1), 3), 3)), r(((((1, 2), 2), 3), 3)), r(((((3, 2), 2), 3), 3)), r(((((3, 3), 1), 1), 1)), r(((((3, 3), 1), 2), 1)), r(((((3, 3), 1), 2), 2)), r(((((3, 3), 1), 3), 1)), r(((((3, 3), 1), 3), 2)), r(((((3, 3), 1), 3), 3)), r(((((3, 3), 1), 4), 1)), r(((((3, 3), 1), 4), 2)), r(((((3, 3), 1), 4), 3)), r(((((3, 3), 1), 4), 4)), r(((((3, 3), 2), 3), 3)), r(((((3, 3), 2), 4), 3)), r(((((3, 3), 2), 4), 4)), r(((((3, 3), 3), 4), 4)), r(((((3, 4), 1), 1), 1)), r(((((3, 4), 1), 2), 1)), r(((((3, 4), 1), 2), 2)), r(((((3, 4), 1), 3), 1)), r(((((3, 4), 1), 3), 2)), r(((((3, 4), 1), 3), 3)), r(((((3, 4), 1), 4), 1)), r(((((3, 4), 1), 4), 2)), r(((((3, 4), 1), 4), 3)), r(((((3, 4), 1), 4), 4)), r(((((3, 4), 1), 5), 1)), r(((((3, 4), 1), 5), 2)), r(((((3, 4), 1), 5), 3)), r(((((3, 4), 1), 5), 4)), r(((((3, 4), 1), 5), 5)), r(((((3, 4), 1), 6), 1)), r(((((3, 4), 1), 6), 2)), r(((((3, 4), 1), 6), 3)), r(((((3, 4), 1), 6), 4)), r(((((3, 4), 1), 6), 5)), r(((((3, 4), 1), 6), 6)), r(((((3, 4), 1), 6), 7)), r(((((3, 4), 2), 3), 3)), r(((((3, 4), 2), 4), 3)), r(((((3, 4), 2), 4), 4)), r(((((3, 4), 2), 5), 3)), r(((((3, 4), 2), 5), 4)), r(((((3, 4), 2), 5), 5)), r(((((3, 4), 2), 6), 3)), r(((((3, 4), 2), 6), 4)), r(((((3, 4), 2), 6), 5)), r(((((3, 4), 2), 6), 6)), r(((((3, 4), 2), 6), 7)), r(((((3, 4), 3), 4), 4)), r(((((3, 4), 3), 5), 4)), r(((((3, 4), 3), 5), 5)), r(((((3, 4), 3), 6), 4)), r(((((3, 4), 3), 6), 5)), r(((((3, 4), 3), 6), 6)), r(((((3, 4), 3), 6), 7)), r(((((3, 4), 4), 5), 5)), r(((((3, 4), 4), 6), 5)), r(((((3, 4), 4), 6), 6)), r(((((3, 4), 4), 6), 7)), r(((((3, 4), 5), 6), 6)), r(((((3, 4), 5), 6), 7))]
 (e, f, g): * :sp:f
 (d, f, g): * :sp:f
 (d, e, g): * :sc:e
 (d, e, f): * :sc:e
 (c, f, g): * :sp:f
 (c, e, g): * :sc:e
 (c, e, f): * :sc:e
 (c, d, g): * :sp:d
 (c, d, f): * :sp:d
 (c, d, e): * :sp:d
 (b, f, g): * :sp:f
 (b, e, g): * :sc:e
 (b, e, f): * :sc:e
 (b, d, g): * :sp:d
 (b, d, f): * :sp:d
 (b, d, e): * :sp:d
 (b, c, g): * :sc:c
 (b, c, f): * :sc:c
 (b, c, e): * :sc:c
 (b, c, d): * :sc:c
 (a, f, g): * :sp:f
 (a, e, g): * :sc:e
 (a, e, f): * :sc:e
 (a, d, g): * :sp:d
 (a, d, f): * :sp:d
 (a, d, e): * :sp:d
 (a, c, g): * :sc:c
 (a, c, f): * :sc:c
 (a, c, e): * :sc:c
 (a, c, d): * :sc:c
 (a, b, g): * :sp:b
 (a, b, f): * :sp:b
 (a, b, e): * :sp:b
 (a, b, d): * :sp:b
 (a, b, c): * :sp:b
time:1859.47
73:[r(((((3, 2), 1), 3), 2)), r(((((1, 1), 1), 1), 1)), r(((((1, 1), 1), 2), 1)), r(((((1, 1), 1), 2), 2)), r(((((1, 2), 1), 1), 1)), r(((((1, 2), 1), 2), 1)), r(((((1, 2), 1), 2), 2)), r(((((1, 2), 1), 3), 1)), r(((((1, 2), 1), 3), 2)), r(((((1, 2), 1), 3), 3)), r(((((1, 2), 2), 3), 3)), r(((((3, 2), 1), 3), 3)), r(((((3, 2), 2), 3), 3)), r(((((3, 3), 1), 1), 1)), r(((((3, 3), 1), 2), 1)), r(((((3, 3), 1), 2), 2)), r(((((3, 3), 1), 3), 1)), r(((((3, 3), 1), 3), 2)), r(((((3, 3), 1), 3), 3)), r(((((3, 3), 1), 4), 1)), r(((((3, 3), 1), 4), 2)), r(((((3, 3), 1), 4), 3)), r(((((3, 3), 1), 4), 4)), r(((((3, 3), 2), 3), 3)), r(((((3, 3), 2), 4), 3)), r(((((3, 3), 2), 4), 4)), r(((((3, 3), 3), 4), 4)), r(((((3, 4), 1), 1), 1)), r(((((3, 4), 1), 2), 1)), r(((((3, 4), 1), 2), 2)), r(((((3, 4), 1), 3), 1)), r(((((3, 4), 1), 3), 2)), r(((((3, 4), 1), 3), 3)), r(((((3, 4), 1), 4), 1)), r(((((3, 4), 1), 4), 2)), r(((((3, 4), 1), 4), 3)), r(((((3, 4), 1), 4), 4)), r(((((3, 4), 1), 5), 1)), r(((((3, 4), 1), 5), 2)), r(((((3, 4), 1), 5), 3)), r(((((3, 4), 1), 5), 4)), r(((((3, 4), 1), 5), 5)), r(((((3, 4), 1), 6), 1)), r(((((3, 4), 1), 6), 2)), r(((((3, 4), 1), 6), 3)), r(((((3, 4), 1), 6), 4)), r(((((3, 4), 1), 6), 5)), r(((((3, 4), 1), 6), 6)), r(((((3, 4), 1), 6), 7)), r(((((3, 4), 2), 3), 3)), r(((((3, 4), 2), 4), 3)), r(((((3, 4), 2), 4), 4)), r(((((3, 4), 2), 5), 3)), r(((((3, 4), 2), 5), 4)), r(((((3, 4), 2), 5), 5)), r(((((3, 4), 2), 6), 3)), r(((((3, 4), 2), 6), 4)), r(((((3, 4), 2), 6), 5)), r(((((3, 4), 2), 6), 6)), r(((((3, 4), 2), 6), 7)), r(((((3, 4), 3), 4), 4)), r(((((3, 4), 3), 5), 4)), r(((((3, 4), 3), 5), 5)), r(((((3, 4), 3), 6), 4)), r(((((3, 4), 3), 6), 5)), r(((((3, 4), 3), 6), 6)), r(((((3, 4), 3), 6), 7)), r(((((3, 4), 4), 5), 5)), r(((((3, 4), 4), 6), 5)), r(((((3, 4), 4), 6), 6)), r(((((3, 4), 4), 6), 7)), r(((((3, 4), 5), 6), 6)), r(((((3, 4), 5), 6), 7))]
 (e, f, g): * :sp:f
 (d, f, g): * :sp:f
 (d, e, g): * :sc:e
 (d, e, f): * :sc:e
 (c, f, g): * :sp:f
 (c, e, g): * :sc:e
 (c, e, f): * :sc:e
 (c, d, g): * :sp:d
 (c, d, f): * :sp:d
 (c, d, e): * :sp:d
 (b, f, g): * :sp:f
 (b, e, g): * :sc:e
 (b, e, f): * :sc:e
 (b, d, g): * :sp:d
 (b, d, f): * :sp:d
 (b, d, e): * :sp:d
 (b, c, g): * :sc:c
 (b, c, f): * :sc:c
 (b, c, e): * :sc:c
 (b, c, d): * :sc:c
 (a, f, g): * :sp:f
 (a, e, g): * :sc:e
 (a, e, f): * :sc:e
 (a, d, g): * :sp:d
 (a, d, f): * :sp:d
 (a, d, e): * :sp:d
 (a, c, g): * :sc:c
 (a, c, f): * :sc:c
 (a, c, e): * :sc:c
 (a, c, d): * :sc:c
 (a, b, g): * :sp:b
 (a, b, f): * :sp:b
 (a, b, e): * :sp:b
 (a, b, d): * :sp:b
 (a, b, c): * :sp:b
time:400.328
74:[r(((((3, 2), 1), 3), 1)), r(((((1, 1), 1), 1), 1)), r(((((1, 1), 1), 2), 1)), r(((((1, 1), 1), 2), 2)), r(((((1, 2), 1), 1), 1)), r(((((1, 2), 1), 2), 1)), r(((((1, 2), 1), 2), 2)), r(((((1, 2), 1), 3), 1)), r(((((1, 2), 1), 3), 2)), r(((((1, 2), 1), 3), 3)), r(((((1, 2), 2), 3), 3)), r(((((3, 2), 1), 3), 2)), r(((((3, 2), 1), 3), 3)), r(((((3, 2), 2), 3), 3)), r(((((3, 3), 1), 1), 1)), r(((((3, 3), 1), 2), 1)), r(((((3, 3), 1), 2), 2)), r(((((3, 3), 1), 3), 1)), r(((((3, 3), 1), 3), 2)), r(((((3, 3), 1), 3), 3)), r(((((3, 3), 1), 4), 1)), r(((((3, 3), 1), 4), 2)), r(((((3, 3), 1), 4), 3)), r(((((3, 3), 1), 4), 4)), r(((((3, 3), 2), 3), 3)), r(((((3, 3), 2), 4), 3)), r(((((3, 3), 2), 4), 4)), r(((((3, 3), 3), 4), 4)), r(((((3, 4), 1), 1), 1)), r(((((3, 4), 1), 2), 1)), r(((((3, 4), 1), 2), 2)), r(((((3, 4), 1), 3), 1)), r(((((3, 4), 1), 3), 2)), r(((((3, 4), 1), 3), 3)), r(((((3, 4), 1), 4), 1)), r(((((3, 4), 1), 4), 2)), r(((((3, 4), 1), 4), 3)), r(((((3, 4), 1), 4), 4)), r(((((3, 4), 1), 5), 1)), r(((((3, 4), 1), 5), 2)), r(((((3, 4), 1), 5), 3)), r(((((3, 4), 1), 5), 4)), r(((((3, 4), 1), 5), 5)), r(((((3, 4), 1), 6), 1)), r(((((3, 4), 1), 6), 2)), r(((((3, 4), 1), 6), 3)), r(((((3, 4), 1), 6), 4)), r(((((3, 4), 1), 6), 5)), r(((((3, 4), 1), 6), 6)), r(((((3, 4), 1), 6), 7)), r(((((3, 4), 2), 3), 3)), r(((((3, 4), 2), 4), 3)), r(((((3, 4), 2), 4), 4)), r(((((3, 4), 2), 5), 3)), r(((((3, 4), 2), 5), 4)), r(((((3, 4), 2), 5), 5)), r(((((3, 4), 2), 6), 3)), r(((((3, 4), 2), 6), 4)), r(((((3, 4), 2), 6), 5)), r(((((3, 4), 2), 6), 6)), r(((((3, 4), 2), 6), 7)), r(((((3, 4), 3), 4), 4)), r(((((3, 4), 3), 5), 4)), r(((((3, 4), 3), 5), 5)), r(((((3, 4), 3), 6), 4)), r(((((3, 4), 3), 6), 5)), r(((((3, 4), 3), 6), 6)), r(((((3, 4), 3), 6), 7)), r(((((3, 4), 4), 5), 5)), r(((((3, 4), 4), 6), 5)), r(((((3, 4), 4), 6), 6)), r(((((3, 4), 4), 6), 7)), r(((((3, 4), 5), 6), 6)), r(((((3, 4), 5), 6), 7))]
 (e, f, g): * :sp:f
 (d, f, g): * :sp:f
 (d, e, g): * :sc:e
 (d, e, f): * :sc:e
 (c, f, g): * :sp:f
 (c, e, g): * :sc:e
 (c, e, f): * :sc:e
 (c, d, g): * :sp:d
 (c, d, f): * :sp:d
 (c, d, e): * :sp:d
 (b, f, g): * :sp:f
 (b, e, g): * :sc:e
 (b, e, f): * :sc:e
 (b, d, g): * :sp:d
 (b, d, f): * :sp:d
 (b, d, e): * :sp:d
 (b, c, g): * :sc:c
 (b, c, f): * :sc:c
 (b, c, e): * :sc:c
 (b, c, d): * :sc:c
 (a, f, g): * :sp:f
 (a, e, g): * :sc:e
 (a, e, f): * :sc:e
 (a, d, g): * :sp:d
 (a, d, f): * :sp:d
 (a, d, e): * :sp:d
 (a, c, g): * :sc:c
 (a, c, f): * :sc:c
 (a, c, e): * :sc:c
 (a, c, d): * :sc:c
 (a, b, g): * :sp:b
 (a, b, f): * :sp:b
 (a, b, e): * :sp:b
 (a, b, d): * :sp:b
 (a, b, c): * :sp:b
time:702.907
75:[r(((((3, 2), 1), 2), 2)), r(((((1, 1), 1), 1), 1)), r(((((1, 1), 1), 2), 1)), r(((((1, 1), 1), 2), 2)), r(((((1, 2), 1), 1), 1)), r(((((1, 2), 1), 2), 1)), r(((((1, 2), 1), 2), 2)), r(((((1, 2), 1), 3), 1)), r(((((1, 2), 1), 3), 2)), r(((((1, 2), 1), 3), 3)), r(((((1, 2), 2), 3), 3)), r(((((3, 2), 1), 3), 1)), r(((((3, 2), 1), 3), 2)), r(((((3, 2), 1), 3), 3)), r(((((3, 2), 2), 3), 3)), r(((((3, 3), 1), 1), 1)), r(((((3, 3), 1), 2), 1)), r(((((3, 3), 1), 2), 2)), r(((((3, 3), 1), 3), 1)), r(((((3, 3), 1), 3), 2)), r(((((3, 3), 1), 3), 3)), r(((((3, 3), 1), 4), 1)), r(((((3, 3), 1), 4), 2)), r(((((3, 3), 1), 4), 3)), r(((((3, 3), 1), 4), 4)), r(((((3, 3), 2), 3), 3)), r(((((3, 3), 2), 4), 3)), r(((((3, 3), 2), 4), 4)), r(((((3, 3), 3), 4), 4)), r(((((3, 4), 1), 1), 1)), r(((((3, 4), 1), 2), 1)), r(((((3, 4), 1), 2), 2)), r(((((3, 4), 1), 3), 1)), r(((((3, 4), 1), 3), 2)), r(((((3, 4), 1), 3), 3)), r(((((3, 4), 1), 4), 1)), r(((((3, 4), 1), 4), 2)), r(((((3, 4), 1), 4), 3)), r(((((3, 4), 1), 4), 4)), r(((((3, 4), 1), 5), 1)), r(((((3, 4), 1), 5), 2)), r(((((3, 4), 1), 5), 3)), r(((((3, 4), 1), 5), 4)), r(((((3, 4), 1), 5), 5)), r(((((3, 4), 1), 6), 1)), r(((((3, 4), 1), 6), 2)), r(((((3, 4), 1), 6), 3)), r(((((3, 4), 1), 6), 4)), r(((((3, 4), 1), 6), 5)), r(((((3, 4), 1), 6), 6)), r(((((3, 4), 1), 6), 7)), r(((((3, 4), 2), 3), 3)), r(((((3, 4), 2), 4), 3)), r(((((3, 4), 2), 4), 4)), r(((((3, 4), 2), 5), 3)), r(((((3, 4), 2), 5), 4)), r(((((3, 4), 2), 5), 5)), r(((((3, 4), 2), 6), 3)), r(((((3, 4), 2), 6), 4)), r(((((3, 4), 2), 6), 5)), r(((((3, 4), 2), 6), 6)), r(((((3, 4), 2), 6), 7)), r(((((3, 4), 3), 4), 4)), r(((((3, 4), 3), 5), 4)), r(((((3, 4), 3), 5), 5)), r(((((3, 4), 3), 6), 4)), r(((((3, 4), 3), 6), 5)), r(((((3, 4), 3), 6), 6)), r(((((3, 4), 3), 6), 7)), r(((((3, 4), 4), 5), 5)), r(((((3, 4), 4), 6), 5)), r(((((3, 4), 4), 6), 6)), r(((((3, 4), 4), 6), 7)), r(((((3, 4), 5), 6), 6)), r(((((3, 4), 5), 6), 7))]
 (e, f, g): * :sp:f
 (d, f, g): * :sp:f
 (d, e, g): * :sc:e
 (d, e, f): * :sc:e
 (c, f, g): * :sp:f
 (c, e, g): * :sc:e
 (c, e, f): * :sc:e
 (c, d, g): * :sp:d
 (c, d, f): * :sp:d
 (c, d, e): * :sp:d
 (b, f, g): * :sp:f
 (b, e, g): * :sc:e
 (b, e, f): * :sc:e
 (b, d, g): * :sp:d
 (b, d, f): * :sp:d
 (b, d, e): * :sp:d
 (b, c, g): * :sc:c
 (b, c, f): * :sc:c
 (b, c, e): * :sc:c
 (b, c, d): * :sc:c
 (a, f, g): * :sp:f
 (a, e, g): * :sc:e
 (a, e, f): * :sc:e
 (a, d, g): * :sp:d
 (a, d, f): * :sp:d
 (a, d, e): * :sp:d
 (a, c, g): * :sc:c
 (a, c, f): * :sc:c
 (a, c, e): * :sc:c
 (a, c, d): * :sc:c
 (a, b, g): * :sp:b
 (a, b, f): * :sp:b
 (a, b, e): * :sp:b
 (a, b, d): * :sp:b
 (a, b, c): * :sp:b
time:421.157
76:[r(((((3, 2), 1), 2), 1)), r(((((1, 1), 1), 1), 1)), r(((((1, 1), 1), 2), 1)), r(((((1, 1), 1), 2), 2)), r(((((1, 2), 1), 1), 1)), r(((((1, 2), 1), 2), 1)), r(((((1, 2), 1), 2), 2)), r(((((1, 2), 1), 3), 1)), r(((((1, 2), 1), 3), 2)), r(((((1, 2), 1), 3), 3)), r(((((1, 2), 2), 3), 3)), r(((((3, 2), 1), 2), 2)), r(((((3, 2), 1), 3), 1)), r(((((3, 2), 1), 3), 2)), r(((((3, 2), 1), 3), 3)), r(((((3, 2), 2), 3), 3)), r(((((3, 3), 1), 1), 1)), r(((((3, 3), 1), 2), 1)), r(((((3, 3), 1), 2), 2)), r(((((3, 3), 1), 3), 1)), r(((((3, 3), 1), 3), 2)), r(((((3, 3), 1), 3), 3)), r(((((3, 3), 1), 4), 1)), r(((((3, 3), 1), 4), 2)), r(((((3, 3), 1), 4), 3)), r(((((3, 3), 1), 4), 4)), r(((((3, 3), 2), 3), 3)), r(((((3, 3), 2), 4), 3)), r(((((3, 3), 2), 4), 4)), r(((((3, 3), 3), 4), 4)), r(((((3, 4), 1), 1), 1)), r(((((3, 4), 1), 2), 1)), r(((((3, 4), 1), 2), 2)), r(((((3, 4), 1), 3), 1)), r(((((3, 4), 1), 3), 2)), r(((((3, 4), 1), 3), 3)), r(((((3, 4), 1), 4), 1)), r(((((3, 4), 1), 4), 2)), r(((((3, 4), 1), 4), 3)), r(((((3, 4), 1), 4), 4)), r(((((3, 4), 1), 5), 1)), r(((((3, 4), 1), 5), 2)), r(((((3, 4), 1), 5), 3)), r(((((3, 4), 1), 5), 4)), r(((((3, 4), 1), 5), 5)), r(((((3, 4), 1), 6), 1)), r(((((3, 4), 1), 6), 2)), r(((((3, 4), 1), 6), 3)), r(((((3, 4), 1), 6), 4)), r(((((3, 4), 1), 6), 5)), r(((((3, 4), 1), 6), 6)), r(((((3, 4), 1), 6), 7)), r(((((3, 4), 2), 3), 3)), r(((((3, 4), 2), 4), 3)), r(((((3, 4), 2), 4), 4)), r(((((3, 4), 2), 5), 3)), r(((((3, 4), 2), 5), 4)), r(((((3, 4), 2), 5), 5)), r(((((3, 4), 2), 6), 3)), r(((((3, 4), 2), 6), 4)), r(((((3, 4), 2), 6), 5)), r(((((3, 4), 2), 6), 6)), r(((((3, 4), 2), 6), 7)), r(((((3, 4), 3), 4), 4)), r(((((3, 4), 3), 5), 4)), r(((((3, 4), 3), 5), 5)), r(((((3, 4), 3), 6), 4)), r(((((3, 4), 3), 6), 5)), r(((((3, 4), 3), 6), 6)), r(((((3, 4), 3), 6), 7)), r(((((3, 4), 4), 5), 5)), r(((((3, 4), 4), 6), 5)), r(((((3, 4), 4), 6), 6)), r(((((3, 4), 4), 6), 7)), r(((((3, 4), 5), 6), 6)), r(((((3, 4), 5), 6), 7))]
 (e, f, g): * :sp:f
 (d, f, g): * :sp:f
 (d, e, g): * :sc:e
 (d, e, f): * :sc:e
 (c, f, g): * :sp:f
 (c, e, g): * :sc:e
 (c, e, f): * :sc:e
 (c, d, g): * :sp:d
 (c, d, f): * :sp:d
 (c, d, e): * :sp:d
 (b, f, g): * :sp:f
 (b, e, g): * :sc:e
 (b, e, f): * :sc:e
 (b, d, g): * :sp:d
 (b, d, f): * :sp:d
 (b, d, e): * :sp:d
 (b, c, g): * :sc:c
 (b, c, f): * :sc:c
 (b, c, e): * :sc:c
 (b, c, d): * :sc:c
 (a, f, g): * :sp:f
 (a, e, g): * :sc:e
 (a, e, f): * :sc:e
 (a, d, g): * :sp:d
 (a, d, f): * :sp:d
 (a, d, e): * :sp:d
 (a, c, g): * :sc:c
 (a, c, f): * :sc:c
 (a, c, e): * :sc:c
 (a, c, d): * :sc:c
 (a, b, g): * :sp:b
 (a, b, f): * :sp:b
 (a, b, e): * :sp:b
 (a, b, d): * :sp:b
 (a, b, c): * :sp:b
time:430.156
77:[r(((((3, 2), 1), 1), 1)), r(((((1, 1), 1), 1), 1)), r(((((1, 1), 1), 2), 1)), r(((((1, 1), 1), 2), 2)), r(((((1, 2), 1), 1), 1)), r(((((1, 2), 1), 2), 1)), r(((((1, 2), 1), 2), 2)), r(((((1, 2), 1), 3), 1)), r(((((1, 2), 1), 3), 2)), r(((((1, 2), 1), 3), 3)), r(((((1, 2), 2), 3), 3)), r(((((3, 2), 1), 2), 1)), r(((((3, 2), 1), 2), 2)), r(((((3, 2), 1), 3), 1)), r(((((3, 2), 1), 3), 2)), r(((((3, 2), 1), 3), 3)), r(((((3, 2), 2), 3), 3)), r(((((3, 3), 1), 1), 1)), r(((((3, 3), 1), 2), 1)), r(((((3, 3), 1), 2), 2)), r(((((3, 3), 1), 3), 1)), r(((((3, 3), 1), 3), 2)), r(((((3, 3), 1), 3), 3)), r(((((3, 3), 1), 4), 1)), r(((((3, 3), 1), 4), 2)), r(((((3, 3), 1), 4), 3)), r(((((3, 3), 1), 4), 4)), r(((((3, 3), 2), 3), 3)), r(((((3, 3), 2), 4), 3)), r(((((3, 3), 2), 4), 4)), r(((((3, 3), 3), 4), 4)), r(((((3, 4), 1), 1), 1)), r(((((3, 4), 1), 2), 1)), r(((((3, 4), 1), 2), 2)), r(((((3, 4), 1), 3), 1)), r(((((3, 4), 1), 3), 2)), r(((((3, 4), 1), 3), 3)), r(((((3, 4), 1), 4), 1)), r(((((3, 4), 1), 4), 2)), r(((((3, 4), 1), 4), 3)), r(((((3, 4), 1), 4), 4)), r(((((3, 4), 1), 5), 1)), r(((((3, 4), 1), 5), 2)), r(((((3, 4), 1), 5), 3)), r(((((3, 4), 1), 5), 4)), r(((((3, 4), 1), 5), 5)), r(((((3, 4), 1), 6), 1)), r(((((3, 4), 1), 6), 2)), r(((((3, 4), 1), 6), 3)), r(((((3, 4), 1), 6), 4)), r(((((3, 4), 1), 6), 5)), r(((((3, 4), 1), 6), 6)), r(((((3, 4), 1), 6), 7)), r(((((3, 4), 2), 3), 3)), r(((((3, 4), 2), 4), 3)), r(((((3, 4), 2), 4), 4)), r(((((3, 4), 2), 5), 3)), r(((((3, 4), 2), 5), 4)), r(((((3, 4), 2), 5), 5)), r(((((3, 4), 2), 6), 3)), r(((((3, 4), 2), 6), 4)), r(((((3, 4), 2), 6), 5)), r(((((3, 4), 2), 6), 6)), r(((((3, 4), 2), 6), 7)), r(((((3, 4), 3), 4), 4)), r(((((3, 4), 3), 5), 4)), r(((((3, 4), 3), 5), 5)), r(((((3, 4), 3), 6), 4)), r(((((3, 4), 3), 6), 5)), r(((((3, 4), 3), 6), 6)), r(((((3, 4), 3), 6), 7)), r(((((3, 4), 4), 5), 5)), r(((((3, 4), 4), 6), 5)), r(((((3, 4), 4), 6), 6)), r(((((3, 4), 4), 6), 7)), r(((((3, 4), 5), 6), 6)), r(((((3, 4), 5), 6), 7))]
 (e, f, g): * :sp:f
 (d, f, g): * :sp:f
 (d, e, g): * :sc:e
 (d, e, f): * :sc:e
 (c, f, g): * :sp:f
 (c, e, g): * :sc:e
 (c, e, f): * :sc:e
 (c, d, g): * :sp:d
 (c, d, f): * :sp:d
 (c, d, e): * :sp:d
 (b, f, g): * :sp:f
 (b, e, g): * :sc:e
 (b, e, f): * :sc:e
 (b, d, g): * :sp:d
 (b, d, f): * :sp:d
 (b, d, e): * :sp:d
 (b, c, g): * :sc:c
 (b, c, f): * :sc:c
 (b, c, e): * :sc:c
 (b, c, d): * :sc:c
 (a, f, g): * :sp:f
 (a, e, g): * :sc:e
 (a, e, f): * :sc:e
 (a, d, g): * :sp:d
 (a, d, f): * :sp:d
 (a, d, e): * :sp:d
 (a, c, g): * :sc:c
 (a, c, f): * :sc:c
 (a, c, e): * :sc:c
 (a, c, d): * :sc:c
 (a, b, g): * :sp:b
 (a, b, f): * :sp:b
 (a, b, e): * :sp:b
 (a, b, d): * :sp:b
 (a, b, c): * :sp:b
time:440.953
78:[r(((((3, 1), 1), 2), 2)), r(((((1, 1), 1), 1), 1)), r(((((1, 1), 1), 2), 1)), r(((((1, 1), 1), 2), 2)), r(((((1, 2), 1), 1), 1)), r(((((1, 2), 1), 2), 1)), r(((((1, 2), 1), 2), 2)), r(((((1, 2), 1), 3), 1)), r(((((1, 2), 1), 3), 2)), r(((((1, 2), 1), 3), 3)), r(((((1, 2), 2), 3), 3)), r(((((3, 2), 1), 1), 1)), r(((((3, 2), 1), 2), 1)), r(((((3, 2), 1), 2), 2)), r(((((3, 2), 1), 3), 1)), r(((((3, 2), 1), 3), 2)), r(((((3, 2), 1), 3), 3)), r(((((3, 2), 2), 3), 3)), r(((((3, 3), 1), 1), 1)), r(((((3, 3), 1), 2), 1)), r(((((3, 3), 1), 2), 2)), r(((((3, 3), 1), 3), 1)), r(((((3, 3), 1), 3), 2)), r(((((3, 3), 1), 3), 3)), r(((((3, 3), 1), 4), 1)), r(((((3, 3), 1), 4), 2)), r(((((3, 3), 1), 4), 3)), r(((((3, 3), 1), 4), 4)), r(((((3, 3), 2), 3), 3)), r(((((3, 3), 2), 4), 3)), r(((((3, 3), 2), 4), 4)), r(((((3, 3), 3), 4), 4)), r(((((3, 4), 1), 1), 1)), r(((((3, 4), 1), 2), 1)), r(((((3, 4), 1), 2), 2)), r(((((3, 4), 1), 3), 1)), r(((((3, 4), 1), 3), 2)), r(((((3, 4), 1), 3), 3)), r(((((3, 4), 1), 4), 1)), r(((((3, 4), 1), 4), 2)), r(((((3, 4), 1), 4), 3)), r(((((3, 4), 1), 4), 4)), r(((((3, 4), 1), 5), 1)), r(((((3, 4), 1), 5), 2)), r(((((3, 4), 1), 5), 3)), r(((((3, 4), 1), 5), 4)), r(((((3, 4), 1), 5), 5)), r(((((3, 4), 1), 6), 1)), r(((((3, 4), 1), 6), 2)), r(((((3, 4), 1), 6), 3)), r(((((3, 4), 1), 6), 4)), r(((((3, 4), 1), 6), 5)), r(((((3, 4), 1), 6), 6)), r(((((3, 4), 1), 6), 7)), r(((((3, 4), 2), 3), 3)), r(((((3, 4), 2), 4), 3)), r(((((3, 4), 2), 4), 4)), r(((((3, 4), 2), 5), 3)), r(((((3, 4), 2), 5), 4)), r(((((3, 4), 2), 5), 5)), r(((((3, 4), 2), 6), 3)), r(((((3, 4), 2), 6), 4)), r(((((3, 4), 2), 6), 5)), r(((((3, 4), 2), 6), 6)), r(((((3, 4), 2), 6), 7)), r(((((3, 4), 3), 4), 4)), r(((((3, 4), 3), 5), 4)), r(((((3, 4), 3), 5), 5)), r(((((3, 4), 3), 6), 4)), r(((((3, 4), 3), 6), 5)), r(((((3, 4), 3), 6), 6)), r(((((3, 4), 3), 6), 7)), r(((((3, 4), 4), 5), 5)), r(((((3, 4), 4), 6), 5)), r(((((3, 4), 4), 6), 6)), r(((((3, 4), 4), 6), 7)), r(((((3, 4), 5), 6), 6)), r(((((3, 4), 5), 6), 7))]
 (e, f, g): * :sp:f
 (d, f, g): * :sp:f
 (d, e, g): * :sc:e
 (d, e, f): * :sc:e
 (c, f, g): * :sp:f
 (c, e, g): * :sc:e
 (c, e, f): * :sc:e
 (c, d, g): * :sp:d
 (c, d, f): * :sp:d
 (c, d, e): * :sp:d
 (b, f, g): * :sp:f
 (b, e, g): * :sc:e
 (b, e, f): * :sc:e
 (b, d, g): * :sp:d
 (b, d, f): * :sp:d
 (b, d, e): * :sp:d
 (b, c, g): * :sc:c
 (b, c, f): * :sc:c
 (b, c, e): * :sc:c
 (b, c, d): * :sc:c
 (a, f, g): * :sp:f
 (a, e, g): * :sc:e
 (a, e, f): * :sc:e
 (a, d, g): * :sp:d
 (a, d, f): * :sp:d
 (a, d, e): * :sp:d
 (a, c, g): * :sc:c
 (a, c, f): * :sc:c
 (a, c, e): * :sc:c
 (a, c, d): * :sc:c
 (a, b, g): * :sp:b
 (a, b, f): * :sp:b
 (a, b, e): * :sp:b
 (a, b, d): * :sp:b
 (a, b, c): * :sp:b
time:487.172
79:[r(((((3, 1), 1), 2), 1)), r(((((1, 1), 1), 1), 1)), r(((((1, 1), 1), 2), 1)), r(((((1, 1), 1), 2), 2)), r(((((1, 2), 1), 1), 1)), r(((((1, 2), 1), 2), 1)), r(((((1, 2), 1), 2), 2)), r(((((1, 2), 1), 3), 1)), r(((((1, 2), 1), 3), 2)), r(((((1, 2), 1), 3), 3)), r(((((1, 2), 2), 3), 3)), r(((((3, 1), 1), 2), 2)), r(((((3, 2), 1), 1), 1)), r(((((3, 2), 1), 2), 1)), r(((((3, 2), 1), 2), 2)), r(((((3, 2), 1), 3), 1)), r(((((3, 2), 1), 3), 2)), r(((((3, 2), 1), 3), 3)), r(((((3, 2), 2), 3), 3)), r(((((3, 3), 1), 1), 1)), r(((((3, 3), 1), 2), 1)), r(((((3, 3), 1), 2), 2)), r(((((3, 3), 1), 3), 1)), r(((((3, 3), 1), 3), 2)), r(((((3, 3), 1), 3), 3)), r(((((3, 3), 1), 4), 1)), r(((((3, 3), 1), 4), 2)), r(((((3, 3), 1), 4), 3)), r(((((3, 3), 1), 4), 4)), r(((((3, 3), 2), 3), 3)), r(((((3, 3), 2), 4), 3)), r(((((3, 3), 2), 4), 4)), r(((((3, 3), 3), 4), 4)), r(((((3, 4), 1), 1), 1)), r(((((3, 4), 1), 2), 1)), r(((((3, 4), 1), 2), 2)), r(((((3, 4), 1), 3), 1)), r(((((3, 4), 1), 3), 2)), r(((((3, 4), 1), 3), 3)), r(((((3, 4), 1), 4), 1)), r(((((3, 4), 1), 4), 2)), r(((((3, 4), 1), 4), 3)), r(((((3, 4), 1), 4), 4)), r(((((3, 4), 1), 5), 1)), r(((((3, 4), 1), 5), 2)), r(((((3, 4), 1), 5), 3)), r(((((3, 4), 1), 5), 4)), r(((((3, 4), 1), 5), 5)), r(((((3, 4), 1), 6), 1)), r(((((3, 4), 1), 6), 2)), r(((((3, 4), 1), 6), 3)), r(((((3, 4), 1), 6), 4)), r(((((3, 4), 1), 6), 5)), r(((((3, 4), 1), 6), 6)), r(((((3, 4), 1), 6), 7)), r(((((3, 4), 2), 3), 3)), r(((((3, 4), 2), 4), 3)), r(((((3, 4), 2), 4), 4)), r(((((3, 4), 2), 5), 3)), r(((((3, 4), 2), 5), 4)), r(((((3, 4), 2), 5), 5)), r(((((3, 4), 2), 6), 3)), r(((((3, 4), 2), 6), 4)), r(((((3, 4), 2), 6), 5)), r(((((3, 4), 2), 6), 6)), r(((((3, 4), 2), 6), 7)), r(((((3, 4), 3), 4), 4)), r(((((3, 4), 3), 5), 4)), r(((((3, 4), 3), 5), 5)), r(((((3, 4), 3), 6), 4)), r(((((3, 4), 3), 6), 5)), r(((((3, 4), 3), 6), 6)), r(((((3, 4), 3), 6), 7)), r(((((3, 4), 4), 5), 5)), r(((((3, 4), 4), 6), 5)), r(((((3, 4), 4), 6), 6)), r(((((3, 4), 4), 6), 7)), r(((((3, 4), 5), 6), 6)), r(((((3, 4), 5), 6), 7))]
 (e, f, g): * :sp:f
 (d, f, g): * :sp:f
 (d, e, g): * :sc:e
 (d, e, f): * :sc:e
 (c, f, g): * :sp:f
 (c, e, g): * :sc:e
 (c, e, f): * :sc:e
 (c, d, g): * :sp:d
 (c, d, f): * :sp:d
 (c, d, e): * :sp:d
 (b, f, g): * :sp:f
 (b, e, g): * :sc:e
 (b, e, f): * :sc:e
 (b, d, g): * :sp:d
 (b, d, f): * :sp:d
 (b, d, e): * :sp:d
 (b, c, g): * :sc:c
 (b, c, f): * :sc:c
 (b, c, e): * :sc:c
 (b, c, d): * :sc:c
 (a, f, g): * :sp:f
 (a, e, g): * :sc:e
 (a, e, f): * :sc:e
 (a, d, g): * :sp:d
 (a, d, f): * :sp:d
 (a, d, e): * :sp:d
 (a, c, g): * :sc:c
 (a, c, f): * :sc:c
 (a, c, e): * :sc:c
 (a, c, d): * :sc:c
 (a, b, g): * :sp:b
 (a, b, f): * :sp:b
 (a, b, e): * :sp:b
 (a, b, d): * :sp:b
 (a, b, c): * :sp:b
time:498.516
80:[r(((((3, 1), 1), 1), 1)), r(((((1, 1), 1), 1), 1)), r(((((1, 1), 1), 2), 1)), r(((((1, 1), 1), 2), 2)), r(((((1, 2), 1), 1), 1)), r(((((1, 2), 1), 2), 1)), r(((((1, 2), 1), 2), 2)), r(((((1, 2), 1), 3), 1)), r(((((1, 2), 1), 3), 2)), r(((((1, 2), 1), 3), 3)), r(((((1, 2), 2), 3), 3)), r(((((3, 1), 1), 2), 1)), r(((((3, 1), 1), 2), 2)), r(((((3, 2), 1), 1), 1)), r(((((3, 2), 1), 2), 1)), r(((((3, 2), 1), 2), 2)), r(((((3, 2), 1), 3), 1)), r(((((3, 2), 1), 3), 2)), r(((((3, 2), 1), 3), 3)), r(((((3, 2), 2), 3), 3)), r(((((3, 3), 1), 1), 1)), r(((((3, 3), 1), 2), 1)), r(((((3, 3), 1), 2), 2)), r(((((3, 3), 1), 3), 1)), r(((((3, 3), 1), 3), 2)), r(((((3, 3), 1), 3), 3)), r(((((3, 3), 1), 4), 1)), r(((((3, 3), 1), 4), 2)), r(((((3, 3), 1), 4), 3)), r(((((3, 3), 1), 4), 4)), r(((((3, 3), 2), 3), 3)), r(((((3, 3), 2), 4), 3)), r(((((3, 3), 2), 4), 4)), r(((((3, 3), 3), 4), 4)), r(((((3, 4), 1), 1), 1)), r(((((3, 4), 1), 2), 1)), r(((((3, 4), 1), 2), 2)), r(((((3, 4), 1), 3), 1)), r(((((3, 4), 1), 3), 2)), r(((((3, 4), 1), 3), 3)), r(((((3, 4), 1), 4), 1)), r(((((3, 4), 1), 4), 2)), r(((((3, 4), 1), 4), 3)), r(((((3, 4), 1), 4), 4)), r(((((3, 4), 1), 5), 1)), r(((((3, 4), 1), 5), 2)), r(((((3, 4), 1), 5), 3)), r(((((3, 4), 1), 5), 4)), r(((((3, 4), 1), 5), 5)), r(((((3, 4), 1), 6), 1)), r(((((3, 4), 1), 6), 2)), r(((((3, 4), 1), 6), 3)), r(((((3, 4), 1), 6), 4)), r(((((3, 4), 1), 6), 5)), r(((((3, 4), 1), 6), 6)), r(((((3, 4), 1), 6), 7)), r(((((3, 4), 2), 3), 3)), r(((((3, 4), 2), 4), 3)), r(((((3, 4), 2), 4), 4)), r(((((3, 4), 2), 5), 3)), r(((((3, 4), 2), 5), 4)), r(((((3, 4), 2), 5), 5)), r(((((3, 4), 2), 6), 3)), r(((((3, 4), 2), 6), 4)), r(((((3, 4), 2), 6), 5)), r(((((3, 4), 2), 6), 6)), r(((((3, 4), 2), 6), 7)), r(((((3, 4), 3), 4), 4)), r(((((3, 4), 3), 5), 4)), r(((((3, 4), 3), 5), 5)), r(((((3, 4), 3), 6), 4)), r(((((3, 4), 3), 6), 5)), r(((((3, 4), 3), 6), 6)), r(((((3, 4), 3), 6), 7)), r(((((3, 4), 4), 5), 5)), r(((((3, 4), 4), 6), 5)), r(((((3, 4), 4), 6), 6)), r(((((3, 4), 4), 6), 7)), r(((((3, 4), 5), 6), 6)), r(((((3, 4), 5), 6), 7))]
 (e, f, g): * :sp:f
 (d, f, g): * :sp:f
 (d, e, g): * :sc:e
 (d, e, f): * :sc:e
 (c, f, g): * :sp:f
 (c, e, g): * :sc:e
 (c, e, f): * :sc:e
 (c, d, g): * :sp:d
 (c, d, f): * :sp:d
 (c, d, e): * :sp:d
 (b, f, g): * :sp:f
 (b, e, g): * :sc:e
 (b, e, f): * :sc:e
 (b, d, g): * :sp:d
 (b, d, f): * :sp:d
 (b, d, e): * :sp:d
 (b, c, g): * :sc:c
 (b, c, f): * :sc:c
 (b, c, e): * :sc:c
 (b, c, d): * :sc:c
 (a, f, g): * :sp:f
 (a, e, g): * :sc:e
 (a, e, f): * :sc:e
 (a, d, g): * :sp:d
 (a, d, f): * :sp:d
 (a, d, e): * :sp:d
 (a, c, g): * :sc:c
 (a, c, f): * :sc:c
 (a, c, e): * :sc:c
 (a, c, d): * :sc:c
 (a, b, g): * :sp:b
 (a, b, f): * :sp:b
 (a, b, e): * :sp:b
 (a, b, d): * :sp:b
 (a, b, c): * :sp:b
time:510.563
81:[r(((((4, 4), 5), 6), 7)), r(((((1, 1), 1), 1), 1)), r(((((1, 1), 1), 2), 1)), r(((((1, 1), 1), 2), 2)), r(((((1, 2), 1), 1), 1)), r(((((1, 2), 1), 2), 1)), r(((((1, 2), 1), 2), 2)), r(((((1, 2), 1), 3), 1)), r(((((1, 2), 1), 3), 2)), r(((((1, 2), 1), 3), 3)), r(((((1, 2), 2), 3), 3)), r(((((3, 1), 1), 1), 1)), r(((((3, 1), 1), 2), 1)), r(((((3, 1), 1), 2), 2)), r(((((3, 2), 1), 1), 1)), r(((((3, 2), 1), 2), 1)), r(((((3, 2), 1), 2), 2)), r(((((3, 2), 1), 3), 1)), r(((((3, 2), 1), 3), 2)), r(((((3, 2), 1), 3), 3)), r(((((3, 2), 2), 3), 3)), r(((((3, 3), 1), 1), 1)), r(((((3, 3), 1), 2), 1)), r(((((3, 3), 1), 2), 2)), r(((((3, 3), 1), 3), 1)), r(((((3, 3), 1), 3), 2)), r(((((3, 3), 1), 3), 3)), r(((((3, 3), 1), 4), 1)), r(((((3, 3), 1), 4), 2)), r(((((3, 3), 1), 4), 3)), r(((((3, 3), 1), 4), 4)), r(((((3, 3), 2), 3), 3)), r(((((3, 3), 2), 4), 3)), r(((((3, 3), 2), 4), 4)), r(((((3, 3), 3), 4), 4)), r(((((3, 4), 1), 1), 1)), r(((((3, 4), 1), 2), 1)), r(((((3, 4), 1), 2), 2)), r(((((3, 4), 1), 3), 1)), r(((((3, 4), 1), 3), 2)), r(((((3, 4), 1), 3), 3)), r(((((3, 4), 1), 4), 1)), r(((((3, 4), 1), 4), 2)), r(((((3, 4), 1), 4), 3)), r(((((3, 4), 1), 4), 4)), r(((((3, 4), 1), 5), 1)), r(((((3, 4), 1), 5), 2)), r(((((3, 4), 1), 5), 3)), r(((((3, 4), 1), 5), 4)), r(((((3, 4), 1), 5), 5)), r(((((3, 4), 1), 6), 1)), r(((((3, 4), 1), 6), 2)), r(((((3, 4), 1), 6), 3)), r(((((3, 4), 1), 6), 4)), r(((((3, 4), 1), 6), 5)), r(((((3, 4), 1), 6), 6)), r(((((3, 4), 1), 6), 7)), r(((((3, 4), 2), 3), 3)), r(((((3, 4), 2), 4), 3)), r(((((3, 4), 2), 4), 4)), r(((((3, 4), 2), 5), 3)), r(((((3, 4), 2), 5), 4)), r(((((3, 4), 2), 5), 5)), r(((((3, 4), 2), 6), 3)), r(((((3, 4), 2), 6), 4)), r(((((3, 4), 2), 6), 5)), r(((((3, 4), 2), 6), 6)), r(((((3, 4), 2), 6), 7)), r(((((3, 4), 3), 4), 4)), r(((((3, 4), 3), 5), 4)), r(((((3, 4), 3), 5), 5)), r(((((3, 4), 3), 6), 4)), r(((((3, 4), 3), 6), 5)), r(((((3, 4), 3), 6), 6)), r(((((3, 4), 3), 6), 7)), r(((((3, 4), 4), 5), 5)), r(((((3, 4), 4), 6), 5)), r(((((3, 4), 4), 6), 6)), r(((((3, 4), 4), 6), 7)), r(((((3, 4), 5), 6), 6)), r(((((3, 4), 5), 6), 7))]
 (e, f, g): * :sp:f
 (d, f, g): * :sp:f
 (d, e, g): * :sc:e
 (d, e, f): * :sc:e
 (c, f, g): * :sp:f
 (c, e, g): * :sc:e
 (c, e, f): * :sc:e
 (c, d, g): * :sp:d
 (c, d, f): * :sp:d
 (c, d, e): * :sp:d
 (b, f, g): * :sp:f
 (b, e, g): * :sc:e
 (b, e, f): * :sc:e
 (b, d, g): * :sp:d
 (b, d, f): * :sp:d
 (b, d, e): * :sp:d
 (b, c, g): * :sc:c
 (b, c, f): * :sc:c
 (b, c, e): * :sc:c
 (b, c, d): * :sc:c
 (a, f, g): * :sp:f
 (a, e, g): * :sc:e
 (a, e, f): * :sc:e
 (a, d, g): * :sp:d
 (a, d, f): * :sp:d
 (a, d, e): * :sp:d
 (a, c, g): * :sc:c
 (a, c, f): * :sc:c
 (a, c, e): * :sc:c
 (a, c, d): * :sc:c
 (a, b, g): * :sp:b
 (a, b, f): * :sp:b
 (a, b, e): * :sp:b
 (a, b, d): * :sp:b
 (a, b, c): * :sp:b
time:521.719
82:[r(((((4, 4), 5), 6), 6)), r(((((1, 1), 1), 1), 1)), r(((((1, 1), 1), 2), 1)), r(((((1, 1), 1), 2), 2)), r(((((1, 2), 1), 1), 1)), r(((((1, 2), 1), 2), 1)), r(((((1, 2), 1), 2), 2)), r(((((1, 2), 1), 3), 1)), r(((((1, 2), 1), 3), 2)), r(((((1, 2), 1), 3), 3)), r(((((1, 2), 2), 3), 3)), r(((((3, 1), 1), 1), 1)), r(((((3, 1), 1), 2), 1)), r(((((3, 1), 1), 2), 2)), r(((((3, 2), 1), 1), 1)), r(((((3, 2), 1), 2), 1)), r(((((3, 2), 1), 2), 2)), r(((((3, 2), 1), 3), 1)), r(((((3, 2), 1), 3), 2)), r(((((3, 2), 1), 3), 3)), r(((((3, 2), 2), 3), 3)), r(((((3, 3), 1), 1), 1)), r(((((3, 3), 1), 2), 1)), r(((((3, 3), 1), 2), 2)), r(((((3, 3), 1), 3), 1)), r(((((3, 3), 1), 3), 2)), r(((((3, 3), 1), 3), 3)), r(((((3, 3), 1), 4), 1)), r(((((3, 3), 1), 4), 2)), r(((((3, 3), 1), 4), 3)), r(((((3, 3), 1), 4), 4)), r(((((3, 3), 2), 3), 3)), r(((((3, 3), 2), 4), 3)), r(((((3, 3), 2), 4), 4)), r(((((3, 3), 3), 4), 4)), r(((((3, 4), 1), 1), 1)), r(((((3, 4), 1), 2), 1)), r(((((3, 4), 1), 2), 2)), r(((((3, 4), 1), 3), 1)), r(((((3, 4), 1), 3), 2)), r(((((3, 4), 1), 3), 3)), r(((((3, 4), 1), 4), 1)), r(((((3, 4), 1), 4), 2)), r(((((3, 4), 1), 4), 3)), r(((((3, 4), 1), 4), 4)), r(((((3, 4), 1), 5), 1)), r(((((3, 4), 1), 5), 2)), r(((((3, 4), 1), 5), 3)), r(((((3, 4), 1), 5), 4)), r(((((3, 4), 1), 5), 5)), r(((((3, 4), 1), 6), 1)), r(((((3, 4), 1), 6), 2)), r(((((3, 4), 1), 6), 3)), r(((((3, 4), 1), 6), 4)), r(((((3, 4), 1), 6), 5)), r(((((3, 4), 1), 6), 6)), r(((((3, 4), 1), 6), 7)), r(((((3, 4), 2), 3), 3)), r(((((3, 4), 2), 4), 3)), r(((((3, 4), 2), 4), 4)), r(((((3, 4), 2), 5), 3)), r(((((3, 4), 2), 5), 4)), r(((((3, 4), 2), 5), 5)), r(((((3, 4), 2), 6), 3)), r(((((3, 4), 2), 6), 4)), r(((((3, 4), 2), 6), 5)), r(((((3, 4), 2), 6), 6)), r(((((3, 4), 2), 6), 7)), r(((((3, 4), 3), 4), 4)), r(((((3, 4), 3), 5), 4)), r(((((3, 4), 3), 5), 5)), r(((((3, 4), 3), 6), 4)), r(((((3, 4), 3), 6), 5)), r(((((3, 4), 3), 6), 6)), r(((((3, 4), 3), 6), 7)), r(((((3, 4), 4), 5), 5)), r(((((3, 4), 4), 6), 5)), r(((((3, 4), 4), 6), 6)), r(((((3, 4), 4), 6), 7)), r(((((3, 4), 5), 6), 6)), r(((((3, 4), 5), 6), 7)), r(((((4, 4), 5), 6), 7))]
 (e, f, g): * :sp:f
 (d, f, g): * :sp:f
 (d, e, g): * :sc:e
 (d, e, f): * :sc:e
 (c, f, g): * :sp:f
 (c, e, g): * :sc:e
 (c, e, f): * :sc:e
 (c, d, g): * :sp:d
 (c, d, f): * :sp:d
 (c, d, e): * :sp:d
 (b, f, g): * :sp:f
 (b, e, g): * :sc:e
 (b, e, f): * :sc:e
 (b, d, g): * :sp:d
 (b, d, f): * :sp:d
 (b, d, e): * :sp:d
 (b, c, g): * :sc:c
 (b, c, f): * :sc:c
 (b, c, e): * :sc:c
 (b, c, d): * :sc:c
 (a, f, g): * :sp:f
 (a, e, g): * :sc:e
 (a, e, f): * :sc:e
 (a, d, g): * :sp:d
 (a, d, f): * :sp:d
 (a, d, e): * :sp:d
 (a, c, g): * :sc:c
 (a, c, f): * :sc:c
 (a, c, e): * :sc:c
 (a, c, d): * :sc:c
 (a, b, g): * :sp:b
 (a, b, f): * :sp:b
 (a, b, e): * :sp:b
 (a, b, d): * :sp:b
 (a, b, c): * :sp:b
time:533.765
83:[r(((((4, 4), 4), 6), 7)), r(((((1, 1), 1), 1), 1)), r(((((1, 1), 1), 2), 1)), r(((((1, 1), 1), 2), 2)), r(((((1, 2), 1), 1), 1)), r(((((1, 2), 1), 2), 1)), r(((((1, 2), 1), 2), 2)), r(((((1, 2), 1), 3), 1)), r(((((1, 2), 1), 3), 2)), r(((((1, 2), 1), 3), 3)), r(((((1, 2), 2), 3), 3)), r(((((3, 1), 1), 1), 1)), r(((((3, 1), 1), 2), 1)), r(((((3, 1), 1), 2), 2)), r(((((3, 2), 1), 1), 1)), r(((((3, 2), 1), 2), 1)), r(((((3, 2), 1), 2), 2)), r(((((3, 2), 1), 3), 1)), r(((((3, 2), 1), 3), 2)), r(((((3, 2), 1), 3), 3)), r(((((3, 2), 2), 3), 3)), r(((((3, 3), 1), 1), 1)), r(((((3, 3), 1), 2), 1)), r(((((3, 3), 1), 2), 2)), r(((((3, 3), 1), 3), 1)), r(((((3, 3), 1), 3), 2)), r(((((3, 3), 1), 3), 3)), r(((((3, 3), 1), 4), 1)), r(((((3, 3), 1), 4), 2)), r(((((3, 3), 1), 4), 3)), r(((((3, 3), 1), 4), 4)), r(((((3, 3), 2), 3), 3)), r(((((3, 3), 2), 4), 3)), r(((((3, 3), 2), 4), 4)), r(((((3, 3), 3), 4), 4)), r(((((3, 4), 1), 1), 1)), r(((((3, 4), 1), 2), 1)), r(((((3, 4), 1), 2), 2)), r(((((3, 4), 1), 3), 1)), r(((((3, 4), 1), 3), 2)), r(((((3, 4), 1), 3), 3)), r(((((3, 4), 1), 4), 1)), r(((((3, 4), 1), 4), 2)), r(((((3, 4), 1), 4), 3)), r(((((3, 4), 1), 4), 4)), r(((((3, 4), 1), 5), 1)), r(((((3, 4), 1), 5), 2)), r(((((3, 4), 1), 5), 3)), r(((((3, 4), 1), 5), 4)), r(((((3, 4), 1), 5), 5)), r(((((3, 4), 1), 6), 1)), r(((((3, 4), 1), 6), 2)), r(((((3, 4), 1), 6), 3)), r(((((3, 4), 1), 6), 4)), r(((((3, 4), 1), 6), 5)), r(((((3, 4), 1), 6), 6)), r(((((3, 4), 1), 6), 7)), r(((((3, 4), 2), 3), 3)), r(((((3, 4), 2), 4), 3)), r(((((3, 4), 2), 4), 4)), r(((((3, 4), 2), 5), 3)), r(((((3, 4), 2), 5), 4)), r(((((3, 4), 2), 5), 5)), r(((((3, 4), 2), 6), 3)), r(((((3, 4), 2), 6), 4)), r(((((3, 4), 2), 6), 5)), r(((((3, 4), 2), 6), 6)), r(((((3, 4), 2), 6), 7)), r(((((3, 4), 3), 4), 4)), r(((((3, 4), 3), 5), 4)), r(((((3, 4), 3), 5), 5)), r(((((3, 4), 3), 6), 4)), r(((((3, 4), 3), 6), 5)), r(((((3, 4), 3), 6), 6)), r(((((3, 4), 3), 6), 7)), r(((((3, 4), 4), 5), 5)), r(((((3, 4), 4), 6), 5)), r(((((3, 4), 4), 6), 6)), r(((((3, 4), 4), 6), 7)), r(((((3, 4), 5), 6), 6)), r(((((3, 4), 5), 6), 7)), r(((((4, 4), 5), 6), 6)), r(((((4, 4), 5), 6), 7))]
 (e, f, g): * :sp:f
 (d, f, g): * :sp:f
 (d, e, g): * :sc:e
 (d, e, f): * :sc:e
 (c, f, g): * :sp:f
 (c, e, g): * :sc:e
 (c, e, f): * :sc:e
 (c, d, g): * :sp:d
 (c, d, f): * :sp:d
 (c, d, e): * :sp:d
 (b, f, g): * :sp:f
 (b, e, g): * :sc:e
 (b, e, f): * :sc:e
 (b, d, g): * :sp:d
 (b, d, f): * :sp:d
 (b, d, e): * :sp:d
 (b, c, g): * :sc:c
 (b, c, f): * :sc:c
 (b, c, e): * :sc:c
 (b, c, d): * :sc:c
 (a, f, g): * :sp:f
 (a, e, g): * :sc:e
 (a, e, f): * :sc:e
 (a, d, g): * :sp:d
 (a, d, f): * :sp:d
 (a, d, e): * :sp:d
 (a, c, g): * :sc:c
 (a, c, f): * :sc:c
 (a, c, e): * :sc:c
 (a, c, d): * :sc:c
 (a, b, g): * :sp:b
 (a, b, f): * :sp:b
 (a, b, e): * :sp:b
 (a, b, d): * :sp:b
 (a, b, c): * :sp:b
time:550.25
84:[r(((((4, 4), 4), 6), 6)), r(((((1, 1), 1), 1), 1)), r(((((1, 1), 1), 2), 1)), r(((((1, 1), 1), 2), 2)), r(((((1, 2), 1), 1), 1)), r(((((1, 2), 1), 2), 1)), r(((((1, 2), 1), 2), 2)), r(((((1, 2), 1), 3), 1)), r(((((1, 2), 1), 3), 2)), r(((((1, 2), 1), 3), 3)), r(((((1, 2), 2), 3), 3)), r(((((3, 1), 1), 1), 1)), r(((((3, 1), 1), 2), 1)), r(((((3, 1), 1), 2), 2)), r(((((3, 2), 1), 1), 1)), r(((((3, 2), 1), 2), 1)), r(((((3, 2), 1), 2), 2)), r(((((3, 2), 1), 3), 1)), r(((((3, 2), 1), 3), 2)), r(((((3, 2), 1), 3), 3)), r(((((3, 2), 2), 3), 3)), r(((((3, 3), 1), 1), 1)), r(((((3, 3), 1), 2), 1)), r(((((3, 3), 1), 2), 2)), r(((((3, 3), 1), 3), 1)), r(((((3, 3), 1), 3), 2)), r(((((3, 3), 1), 3), 3)), r(((((3, 3), 1), 4), 1)), r(((((3, 3), 1), 4), 2)), r(((((3, 3), 1), 4), 3)), r(((((3, 3), 1), 4), 4)), r(((((3, 3), 2), 3), 3)), r(((((3, 3), 2), 4), 3)), r(((((3, 3), 2), 4), 4)), r(((((3, 3), 3), 4), 4)), r(((((3, 4), 1), 1), 1)), r(((((3, 4), 1), 2), 1)), r(((((3, 4), 1), 2), 2)), r(((((3, 4), 1), 3), 1)), r(((((3, 4), 1), 3), 2)), r(((((3, 4), 1), 3), 3)), r(((((3, 4), 1), 4), 1)), r(((((3, 4), 1), 4), 2)), r(((((3, 4), 1), 4), 3)), r(((((3, 4), 1), 4), 4)), r(((((3, 4), 1), 5), 1)), r(((((3, 4), 1), 5), 2)), r(((((3, 4), 1), 5), 3)), r(((((3, 4), 1), 5), 4)), r(((((3, 4), 1), 5), 5)), r(((((3, 4), 1), 6), 1)), r(((((3, 4), 1), 6), 2)), r(((((3, 4), 1), 6), 3)), r(((((3, 4), 1), 6), 4)), r(((((3, 4), 1), 6), 5)), r(((((3, 4), 1), 6), 6)), r(((((3, 4), 1), 6), 7)), r(((((3, 4), 2), 3), 3)), r(((((3, 4), 2), 4), 3)), r(((((3, 4), 2), 4), 4)), r(((((3, 4), 2), 5), 3)), r(((((3, 4), 2), 5), 4)), r(((((3, 4), 2), 5), 5)), r(((((3, 4), 2), 6), 3)), r(((((3, 4), 2), 6), 4)), r(((((3, 4), 2), 6), 5)), r(((((3, 4), 2), 6), 6)), r(((((3, 4), 2), 6), 7)), r(((((3, 4), 3), 4), 4)), r(((((3, 4), 3), 5), 4)), r(((((3, 4), 3), 5), 5)), r(((((3, 4), 3), 6), 4)), r(((((3, 4), 3), 6), 5)), r(((((3, 4), 3), 6), 6)), r(((((3, 4), 3), 6), 7)), r(((((3, 4), 4), 5), 5)), r(((((3, 4), 4), 6), 5)), r(((((3, 4), 4), 6), 6)), r(((((3, 4), 4), 6), 7)), r(((((3, 4), 5), 6), 6)), r(((((3, 4), 5), 6), 7)), r(((((4, 4), 4), 6), 7)), r(((((4, 4), 5), 6), 6)), r(((((4, 4), 5), 6), 7))]
 (e, f, g): * :sp:f
 (d, f, g): * :sp:f
 (d, e, g): * :sc:e
 (d, e, f): * :sc:e
 (c, f, g): * :sp:f
 (c, e, g): * :sc:e
 (c, e, f): * :sc:e
 (c, d, g): * :sp:d
 (c, d, f): * :sp:d
 (c, d, e): * :sp:d
 (b, f, g): * :sp:f
 (b, e, g): * :sc:e
 (b, e, f): * :sc:e
 (b, d, g): * :sp:d
 (b, d, f): * :sp:d
 (b, d, e): * :sp:d
 (b, c, g): * :sc:c
 (b, c, f): * :sc:c
 (b, c, e): * :sc:c
 (b, c, d): * :sc:c
 (a, f, g): * :sp:f
 (a, e, g): * :sc:e
 (a, e, f): * :sc:e
 (a, d, g): * :sp:d
 (a, d, f): * :sp:d
 (a, d, e): * :sp:d
 (a, c, g): * :sc:c
 (a, c, f): * :sc:c
 (a, c, e): * :sc:c
 (a, c, d): * :sc:c
 (a, b, g): * :sp:b
 (a, b, f): * :sp:b
 (a, b, e): * :sp:b
 (a, b, d): * :sp:b
 (a, b, c): * :sp:b
time:561.875
85:[r(((((4, 4), 4), 6), 5)), r(((((1, 1), 1), 1), 1)), r(((((1, 1), 1), 2), 1)), r(((((1, 1), 1), 2), 2)), r(((((1, 2), 1), 1), 1)), r(((((1, 2), 1), 2), 1)), r(((((1, 2), 1), 2), 2)), r(((((1, 2), 1), 3), 1)), r(((((1, 2), 1), 3), 2)), r(((((1, 2), 1), 3), 3)), r(((((1, 2), 2), 3), 3)), r(((((3, 1), 1), 1), 1)), r(((((3, 1), 1), 2), 1)), r(((((3, 1), 1), 2), 2)), r(((((3, 2), 1), 1), 1)), r(((((3, 2), 1), 2), 1)), r(((((3, 2), 1), 2), 2)), r(((((3, 2), 1), 3), 1)), r(((((3, 2), 1), 3), 2)), r(((((3, 2), 1), 3), 3)), r(((((3, 2), 2), 3), 3)), r(((((3, 3), 1), 1), 1)), r(((((3, 3), 1), 2), 1)), r(((((3, 3), 1), 2), 2)), r(((((3, 3), 1), 3), 1)), r(((((3, 3), 1), 3), 2)), r(((((3, 3), 1), 3), 3)), r(((((3, 3), 1), 4), 1)), r(((((3, 3), 1), 4), 2)), r(((((3, 3), 1), 4), 3)), r(((((3, 3), 1), 4), 4)), r(((((3, 3), 2), 3), 3)), r(((((3, 3), 2), 4), 3)), r(((((3, 3), 2), 4), 4)), r(((((3, 3), 3), 4), 4)), r(((((3, 4), 1), 1), 1)), r(((((3, 4), 1), 2), 1)), r(((((3, 4), 1), 2), 2)), r(((((3, 4), 1), 3), 1)), r(((((3, 4), 1), 3), 2)), r(((((3, 4), 1), 3), 3)), r(((((3, 4), 1), 4), 1)), r(((((3, 4), 1), 4), 2)), r(((((3, 4), 1), 4), 3)), r(((((3, 4), 1), 4), 4)), r(((((3, 4), 1), 5), 1)), r(((((3, 4), 1), 5), 2)), r(((((3, 4), 1), 5), 3)), r(((((3, 4), 1), 5), 4)), r(((((3, 4), 1), 5), 5)), r(((((3, 4), 1), 6), 1)), r(((((3, 4), 1), 6), 2)), r(((((3, 4), 1), 6), 3)), r(((((3, 4), 1), 6), 4)), r(((((3, 4), 1), 6), 5)), r(((((3, 4), 1), 6), 6)), r(((((3, 4), 1), 6), 7)), r(((((3, 4), 2), 3), 3)), r(((((3, 4), 2), 4), 3)), r(((((3, 4), 2), 4), 4)), r(((((3, 4), 2), 5), 3)), r(((((3, 4), 2), 5), 4)), r(((((3, 4), 2), 5), 5)), r(((((3, 4), 2), 6), 3)), r(((((3, 4), 2), 6), 4)), r(((((3, 4), 2), 6), 5)), r(((((3, 4), 2), 6), 6)), r(((((3, 4), 2), 6), 7)), r(((((3, 4), 3), 4), 4)), r(((((3, 4), 3), 5), 4)), r(((((3, 4), 3), 5), 5)), r(((((3, 4), 3), 6), 4)), r(((((3, 4), 3), 6), 5)), r(((((3, 4), 3), 6), 6)), r(((((3, 4), 3), 6), 7)), r(((((3, 4), 4), 5), 5)), r(((((3, 4), 4), 6), 5)), r(((((3, 4), 4), 6), 6)), r(((((3, 4), 4), 6), 7)), r(((((3, 4), 5), 6), 6)), r(((((3, 4), 5), 6), 7)), r(((((4, 4), 4), 6), 6)), r(((((4, 4), 4), 6), 7)), r(((((4, 4), 5), 6), 6)), r(((((4, 4), 5), 6), 7))]
 (e, f, g): * :sp:f
 (d, f, g): * :sp:f
 (d, e, g): * :sc:e
 (d, e, f): * :sc:e
 (c, f, g): * :sp:f
 (c, e, g): * :sc:e
 (c, e, f): * :sc:e
 (c, d, g): * :sp:d
 (c, d, f): * :sp:d
 (c, d, e): * :sp:d
 (b, f, g): * :sp:f
 (b, e, g): * :sc:e
 (b, e, f): * :sc:e
 (b, d, g): * :sp:d
 (b, d, f): * :sp:d
 (b, d, e): * :sp:d
 (b, c, g): * :sc:c
 (b, c, f): * :sc:c
 (b, c, e): * :sc:c
 (b, c, d): * :sc:c
 (a, f, g): * :sp:f
 (a, e, g): * :sc:e
 (a, e, f): * :sc:e
 (a, d, g): * :sp:d
 (a, d, f): * :sp:d
 (a, d, e): * :sp:d
 (a, c, g): * :sc:c
 (a, c, f): * :sc:c
 (a, c, e): * :sc:c
 (a, c, d): * :sc:c
 (a, b, g): * :sp:b
 (a, b, f): * :sp:b
 (a, b, e): * :sp:b
 (a, b, d): * :sp:b
 (a, b, c): * :sp:b
time:573.36
86:[r(((((4, 4), 4), 5), 5)), r(((((1, 1), 1), 1), 1)), r(((((1, 1), 1), 2), 1)), r(((((1, 1), 1), 2), 2)), r(((((1, 2), 1), 1), 1)), r(((((1, 2), 1), 2), 1)), r(((((1, 2), 1), 2), 2)), r(((((1, 2), 1), 3), 1)), r(((((1, 2), 1), 3), 2)), r(((((1, 2), 1), 3), 3)), r(((((1, 2), 2), 3), 3)), r(((((3, 1), 1), 1), 1)), r(((((3, 1), 1), 2), 1)), r(((((3, 1), 1), 2), 2)), r(((((3, 2), 1), 1), 1)), r(((((3, 2), 1), 2), 1)), r(((((3, 2), 1), 2), 2)), r(((((3, 2), 1), 3), 1)), r(((((3, 2), 1), 3), 2)), r(((((3, 2), 1), 3), 3)), r(((((3, 2), 2), 3), 3)), r(((((3, 3), 1), 1), 1)), r(((((3, 3), 1), 2), 1)), r(((((3, 3), 1), 2), 2)), r(((((3, 3), 1), 3), 1)), r(((((3, 3), 1), 3), 2)), r(((((3, 3), 1), 3), 3)), r(((((3, 3), 1), 4), 1)), r(((((3, 3), 1), 4), 2)), r(((((3, 3), 1), 4), 3)), r(((((3, 3), 1), 4), 4)), r(((((3, 3), 2), 3), 3)), r(((((3, 3), 2), 4), 3)), r(((((3, 3), 2), 4), 4)), r(((((3, 3), 3), 4), 4)), r(((((3, 4), 1), 1), 1)), r(((((3, 4), 1), 2), 1)), r(((((3, 4), 1), 2), 2)), r(((((3, 4), 1), 3), 1)), r(((((3, 4), 1), 3), 2)), r(((((3, 4), 1), 3), 3)), r(((((3, 4), 1), 4), 1)), r(((((3, 4), 1), 4), 2)), r(((((3, 4), 1), 4), 3)), r(((((3, 4), 1), 4), 4)), r(((((3, 4), 1), 5), 1)), r(((((3, 4), 1), 5), 2)), r(((((3, 4), 1), 5), 3)), r(((((3, 4), 1), 5), 4)), r(((((3, 4), 1), 5), 5)), r(((((3, 4), 1), 6), 1)), r(((((3, 4), 1), 6), 2)), r(((((3, 4), 1), 6), 3)), r(((((3, 4), 1), 6), 4)), r(((((3, 4), 1), 6), 5)), r(((((3, 4), 1), 6), 6)), r(((((3, 4), 1), 6), 7)), r(((((3, 4), 2), 3), 3)), r(((((3, 4), 2), 4), 3)), r(((((3, 4), 2), 4), 4)), r(((((3, 4), 2), 5), 3)), r(((((3, 4), 2), 5), 4)), r(((((3, 4), 2), 5), 5)), r(((((3, 4), 2), 6), 3)), r(((((3, 4), 2), 6), 4)), r(((((3, 4), 2), 6), 5)), r(((((3, 4), 2), 6), 6)), r(((((3, 4), 2), 6), 7)), r(((((3, 4), 3), 4), 4)), r(((((3, 4), 3), 5), 4)), r(((((3, 4), 3), 5), 5)), r(((((3, 4), 3), 6), 4)), r(((((3, 4), 3), 6), 5)), r(((((3, 4), 3), 6), 6)), r(((((3, 4), 3), 6), 7)), r(((((3, 4), 4), 5), 5)), r(((((3, 4), 4), 6), 5)), r(((((3, 4), 4), 6), 6)), r(((((3, 4), 4), 6), 7)), r(((((3, 4), 5), 6), 6)), r(((((3, 4), 5), 6), 7)), r(((((4, 4), 4), 6), 5)), r(((((4, 4), 4), 6), 6)), r(((((4, 4), 4), 6), 7)), r(((((4, 4), 5), 6), 6)), r(((((4, 4), 5), 6), 7))]
 (e, f, g): * :sp:f
 (d, f, g): * :sp:f
 (d, e, g): * :sc:e
 (d, e, f): * :sc:e
 (c, f, g): * :sp:f
 (c, e, g): * :sc:e
 (c, e, f): * :sc:e
 (c, d, g): * :sp:d
 (c, d, f): * :sp:d
 (c, d, e): * :sp:d
 (b, f, g): * :sp:f
 (b, e, g): * :sc:e
 (b, e, f): * :sc:e
 (b, d, g): * :sp:d
 (b, d, f): * :sp:d
 (b, d, e): * :sp:d
 (b, c, g): * :sc:c
 (b, c, f): * :sc:c
 (b, c, e): * :sc:c
 (b, c, d): * :sc:c
 (a, f, g): * :sp:f
 (a, e, g): * :sc:e
 (a, e, f): * :sc:e
 (a, d, g): * :sp:d
 (a, d, f): * :sp:d
 (a, d, e): * :sp:d
 (a, c, g): * :sc:c
 (a, c, f): * :sc:c
 (a, c, e): * :sc:c
 (a, c, d): * :sc:c
 (a, b, g): * :sp:b
 (a, b, f): * :sp:b
 (a, b, e): * :sp:b
 (a, b, d): * :sp:b
 (a, b, c): * :sp:b
time:586.078
87:[r(((((4, 4), 3), 6), 7)), r(((((1, 1), 1), 1), 1)), r(((((1, 1), 1), 2), 1)), r(((((1, 1), 1), 2), 2)), r(((((1, 2), 1), 1), 1)), r(((((1, 2), 1), 2), 1)), r(((((1, 2), 1), 2), 2)), r(((((1, 2), 1), 3), 1)), r(((((1, 2), 1), 3), 2)), r(((((1, 2), 1), 3), 3)), r(((((1, 2), 2), 3), 3)), r(((((3, 1), 1), 1), 1)), r(((((3, 1), 1), 2), 1)), r(((((3, 1), 1), 2), 2)), r(((((3, 2), 1), 1), 1)), r(((((3, 2), 1), 2), 1)), r(((((3, 2), 1), 2), 2)), r(((((3, 2), 1), 3), 1)), r(((((3, 2), 1), 3), 2)), r(((((3, 2), 1), 3), 3)), r(((((3, 2), 2), 3), 3)), r(((((3, 3), 1), 1), 1)), r(((((3, 3), 1), 2), 1)), r(((((3, 3), 1), 2), 2)), r(((((3, 3), 1), 3), 1)), r(((((3, 3), 1), 3), 2)), r(((((3, 3), 1), 3), 3)), r(((((3, 3), 1), 4), 1)), r(((((3, 3), 1), 4), 2)), r(((((3, 3), 1), 4), 3)), r(((((3, 3), 1), 4), 4)), r(((((3, 3), 2), 3), 3)), r(((((3, 3), 2), 4), 3)), r(((((3, 3), 2), 4), 4)), r(((((3, 3), 3), 4), 4)), r(((((3, 4), 1), 1), 1)), r(((((3, 4), 1), 2), 1)), r(((((3, 4), 1), 2), 2)), r(((((3, 4), 1), 3), 1)), r(((((3, 4), 1), 3), 2)), r(((((3, 4), 1), 3), 3)), r(((((3, 4), 1), 4), 1)), r(((((3, 4), 1), 4), 2)), r(((((3, 4), 1), 4), 3)), r(((((3, 4), 1), 4), 4)), r(((((3, 4), 1), 5), 1)), r(((((3, 4), 1), 5), 2)), r(((((3, 4), 1), 5), 3)), r(((((3, 4), 1), 5), 4)), r(((((3, 4), 1), 5), 5)), r(((((3, 4), 1), 6), 1)), r(((((3, 4), 1), 6), 2)), r(((((3, 4), 1), 6), 3)), r(((((3, 4), 1), 6), 4)), r(((((3, 4), 1), 6), 5)), r(((((3, 4), 1), 6), 6)), r(((((3, 4), 1), 6), 7)), r(((((3, 4), 2), 3), 3)), r(((((3, 4), 2), 4), 3)), r(((((3, 4), 2), 4), 4)), r(((((3, 4), 2), 5), 3)), r(((((3, 4), 2), 5), 4)), r(((((3, 4), 2), 5), 5)), r(((((3, 4), 2), 6), 3)), r(((((3, 4), 2), 6), 4)), r(((((3, 4), 2), 6), 5)), r(((((3, 4), 2), 6), 6)), r(((((3, 4), 2), 6), 7)), r(((((3, 4), 3), 4), 4)), r(((((3, 4), 3), 5), 4)), r(((((3, 4), 3), 5), 5)), r(((((3, 4), 3), 6), 4)), r(((((3, 4), 3), 6), 5)), r(((((3, 4), 3), 6), 6)), r(((((3, 4), 3), 6), 7)), r(((((3, 4), 4), 5), 5)), r(((((3, 4), 4), 6), 5)), r(((((3, 4), 4), 6), 6)), r(((((3, 4), 4), 6), 7)), r(((((3, 4), 5), 6), 6)), r(((((3, 4), 5), 6), 7)), r(((((4, 4), 4), 5), 5)), r(((((4, 4), 4), 6), 5)), r(((((4, 4), 4), 6), 6)), r(((((4, 4), 4), 6), 7)), r(((((4, 4), 5), 6), 6)), r(((((4, 4), 5), 6), 7))]
 (e, f, g): * :sp:f
 (d, f, g): * :sp:f
 (d, e, g): * :sc:e
 (d, e, f): * :sc:e
 (c, f, g): * :sp:f
 (c, e, g): * :sc:e
 (c, e, f): * :sc:e
 (c, d, g): * :sp:d
 (c, d, f): * :sp:d
 (c, d, e): * :sp:d
 (b, f, g): * :sp:f
 (b, e, g): * :sc:e
 (b, e, f): * :sc:e
 (b, d, g): * :sp:d
 (b, d, f): * :sp:d
 (b, d, e): * :sp:d
 (b, c, g): * :sc:c
 (b, c, f): * :sc:c
 (b, c, e): * :sc:c
 (b, c, d): * :sc:c
 (a, f, g): * :sp:f
 (a, e, g): * :sc:e
 (a, e, f): * :sc:e
 (a, d, g): * :sp:d
 (a, d, f): * :sp:d
 (a, d, e): * :sp:d
 (a, c, g): * :sc:c
 (a, c, f): * :sc:c
 (a, c, e): * :sc:c
 (a, c, d): * :sc:c
 (a, b, g): * :sp:b
 (a, b, f): * :sp:b
 (a, b, e): * :sp:b
 (a, b, d): * :sp:b
 (a, b, c): * :sp:b
time:604.25
88:[r(((((4, 4), 3), 6), 6)), r(((((1, 1), 1), 1), 1)), r(((((1, 1), 1), 2), 1)), r(((((1, 1), 1), 2), 2)), r(((((1, 2), 1), 1), 1)), r(((((1, 2), 1), 2), 1)), r(((((1, 2), 1), 2), 2)), r(((((1, 2), 1), 3), 1)), r(((((1, 2), 1), 3), 2)), r(((((1, 2), 1), 3), 3)), r(((((1, 2), 2), 3), 3)), r(((((3, 1), 1), 1), 1)), r(((((3, 1), 1), 2), 1)), r(((((3, 1), 1), 2), 2)), r(((((3, 2), 1), 1), 1)), r(((((3, 2), 1), 2), 1)), r(((((3, 2), 1), 2), 2)), r(((((3, 2), 1), 3), 1)), r(((((3, 2), 1), 3), 2)), r(((((3, 2), 1), 3), 3)), r(((((3, 2), 2), 3), 3)), r(((((3, 3), 1), 1), 1)), r(((((3, 3), 1), 2), 1)), r(((((3, 3), 1), 2), 2)), r(((((3, 3), 1), 3), 1)), r(((((3, 3), 1), 3), 2)), r(((((3, 3), 1), 3), 3)), r(((((3, 3), 1), 4), 1)), r(((((3, 3), 1), 4), 2)), r(((((3, 3), 1), 4), 3)), r(((((3, 3), 1), 4), 4)), r(((((3, 3), 2), 3), 3)), r(((((3, 3), 2), 4), 3)), r(((((3, 3), 2), 4), 4)), r(((((3, 3), 3), 4), 4)), r(((((3, 4), 1), 1), 1)), r(((((3, 4), 1), 2), 1)), r(((((3, 4), 1), 2), 2)), r(((((3, 4), 1), 3), 1)), r(((((3, 4), 1), 3), 2)), r(((((3, 4), 1), 3), 3)), r(((((3, 4), 1), 4), 1)), r(((((3, 4), 1), 4), 2)), r(((((3, 4), 1), 4), 3)), r(((((3, 4), 1), 4), 4)), r(((((3, 4), 1), 5), 1)), r(((((3, 4), 1), 5), 2)), r(((((3, 4), 1), 5), 3)), r(((((3, 4), 1), 5), 4)), r(((((3, 4), 1), 5), 5)), r(((((3, 4), 1), 6), 1)), r(((((3, 4), 1), 6), 2)), r(((((3, 4), 1), 6), 3)), r(((((3, 4), 1), 6), 4)), r(((((3, 4), 1), 6), 5)), r(((((3, 4), 1), 6), 6)), r(((((3, 4), 1), 6), 7)), r(((((3, 4), 2), 3), 3)), r(((((3, 4), 2), 4), 3)), r(((((3, 4), 2), 4), 4)), r(((((3, 4), 2), 5), 3)), r(((((3, 4), 2), 5), 4)), r(((((3, 4), 2), 5), 5)), r(((((3, 4), 2), 6), 3)), r(((((3, 4), 2), 6), 4)), r(((((3, 4), 2), 6), 5)), r(((((3, 4), 2), 6), 6)), r(((((3, 4), 2), 6), 7)), r(((((3, 4), 3), 4), 4)), r(((((3, 4), 3), 5), 4)), r(((((3, 4), 3), 5), 5)), r(((((3, 4), 3), 6), 4)), r(((((3, 4), 3), 6), 5)), r(((((3, 4), 3), 6), 6)), r(((((3, 4), 3), 6), 7)), r(((((3, 4), 4), 5), 5)), r(((((3, 4), 4), 6), 5)), r(((((3, 4), 4), 6), 6)), r(((((3, 4), 4), 6), 7)), r(((((3, 4), 5), 6), 6)), r(((((3, 4), 5), 6), 7)), r(((((4, 4), 3), 6), 7)), r(((((4, 4), 4), 5), 5)), r(((((4, 4), 4), 6), 5)), r(((((4, 4), 4), 6), 6)), r(((((4, 4), 4), 6), 7)), r(((((4, 4), 5), 6), 6)), r(((((4, 4), 5), 6), 7))]
 (e, f, g): * :sp:f
 (d, f, g): * :sp:f
 (d, e, g): * :sc:e
 (d, e, f): * :sc:e
 (c, f, g): * :sp:f
 (c, e, g): * :sc:e
 (c, e, f): * :sc:e
 (c, d, g): * :sp:d
 (c, d, f): * :sp:d
 (c, d, e): * :sp:d
 (b, f, g): * :sp:f
 (b, e, g): * :sc:e
 (b, e, f): * :sc:e
 (b, d, g): * :sp:d
 (b, d, f): * :sp:d
 (b, d, e): * :sp:d
 (b, c, g): * :sc:c
 (b, c, f): * :sc:c
 (b, c, e): * :sc:c
 (b, c, d): * :sc:c
 (a, f, g): * :sp:f
 (a, e, g): * :sc:e
 (a, e, f): * :sc:e
 (a, d, g): * :sp:d
 (a, d, f): * :sp:d
 (a, d, e): * :sp:d
 (a, c, g): * :sc:c
 (a, c, f): * :sc:c
 (a, c, e): * :sc:c
 (a, c, d): * :sc:c
 (a, b, g): * :sp:b
 (a, b, f): * :sp:b
 (a, b, e): * :sp:b
 (a, b, d): * :sp:b
 (a, b, c): * :sp:b
time:616.172
89:[r(((((4, 4), 3), 6), 5)), r(((((1, 1), 1), 1), 1)), r(((((1, 1), 1), 2), 1)), r(((((1, 1), 1), 2), 2)), r(((((1, 2), 1), 1), 1)), r(((((1, 2), 1), 2), 1)), r(((((1, 2), 1), 2), 2)), r(((((1, 2), 1), 3), 1)), r(((((1, 2), 1), 3), 2)), r(((((1, 2), 1), 3), 3)), r(((((1, 2), 2), 3), 3)), r(((((3, 1), 1), 1), 1)), r(((((3, 1), 1), 2), 1)), r(((((3, 1), 1), 2), 2)), r(((((3, 2), 1), 1), 1)), r(((((3, 2), 1), 2), 1)), r(((((3, 2), 1), 2), 2)), r(((((3, 2), 1), 3), 1)), r(((((3, 2), 1), 3), 2)), r(((((3, 2), 1), 3), 3)), r(((((3, 2), 2), 3), 3)), r(((((3, 3), 1), 1), 1)), r(((((3, 3), 1), 2), 1)), r(((((3, 3), 1), 2), 2)), r(((((3, 3), 1), 3), 1)), r(((((3, 3), 1), 3), 2)), r(((((3, 3), 1), 3), 3)), r(((((3, 3), 1), 4), 1)), r(((((3, 3), 1), 4), 2)), r(((((3, 3), 1), 4), 3)), r(((((3, 3), 1), 4), 4)), r(((((3, 3), 2), 3), 3)), r(((((3, 3), 2), 4), 3)), r(((((3, 3), 2), 4), 4)), r(((((3, 3), 3), 4), 4)), r(((((3, 4), 1), 1), 1)), r(((((3, 4), 1), 2), 1)), r(((((3, 4), 1), 2), 2)), r(((((3, 4), 1), 3), 1)), r(((((3, 4), 1), 3), 2)), r(((((3, 4), 1), 3), 3)), r(((((3, 4), 1), 4), 1)), r(((((3, 4), 1), 4), 2)), r(((((3, 4), 1), 4), 3)), r(((((3, 4), 1), 4), 4)), r(((((3, 4), 1), 5), 1)), r(((((3, 4), 1), 5), 2)), r(((((3, 4), 1), 5), 3)), r(((((3, 4), 1), 5), 4)), r(((((3, 4), 1), 5), 5)), r(((((3, 4), 1), 6), 1)), r(((((3, 4), 1), 6), 2)), r(((((3, 4), 1), 6), 3)), r(((((3, 4), 1), 6), 4)), r(((((3, 4), 1), 6), 5)), r(((((3, 4), 1), 6), 6)), r(((((3, 4), 1), 6), 7)), r(((((3, 4), 2), 3), 3)), r(((((3, 4), 2), 4), 3)), r(((((3, 4), 2), 4), 4)), r(((((3, 4), 2), 5), 3)), r(((((3, 4), 2), 5), 4)), r(((((3, 4), 2), 5), 5)), r(((((3, 4), 2), 6), 3)), r(((((3, 4), 2), 6), 4)), r(((((3, 4), 2), 6), 5)), r(((((3, 4), 2), 6), 6)), r(((((3, 4), 2), 6), 7)), r(((((3, 4), 3), 4), 4)), r(((((3, 4), 3), 5), 4)), r(((((3, 4), 3), 5), 5)), r(((((3, 4), 3), 6), 4)), r(((((3, 4), 3), 6), 5)), r(((((3, 4), 3), 6), 6)), r(((((3, 4), 3), 6), 7)), r(((((3, 4), 4), 5), 5)), r(((((3, 4), 4), 6), 5)), r(((((3, 4), 4), 6), 6)), r(((((3, 4), 4), 6), 7)), r(((((3, 4), 5), 6), 6)), r(((((3, 4), 5), 6), 7)), r(((((4, 4), 3), 6), 6)), r(((((4, 4), 3), 6), 7)), r(((((4, 4), 4), 5), 5)), r(((((4, 4), 4), 6), 5)), r(((((4, 4), 4), 6), 6)), r(((((4, 4), 4), 6), 7)), r(((((4, 4), 5), 6), 6)), r(((((4, 4), 5), 6), 7))]
 (e, f, g): * :sp:f
 (d, f, g): * :sp:f
 (d, e, g): * :sc:e
 (d, e, f): * :sc:e
 (c, f, g): * :sp:f
 (c, e, g): * :sc:e
 (c, e, f): * :sc:e
 (c, d, g): * :sp:d
 (c, d, f): * :sp:d
 (c, d, e): * :sp:d
 (b, f, g): * :sp:f
 (b, e, g): * :sc:e
 (b, e, f): * :sc:e
 (b, d, g): * :sp:d
 (b, d, f): * :sp:d
 (b, d, e): * :sp:d
 (b, c, g): * :sc:c
 (b, c, f): * :sc:c
 (b, c, e): * :sc:c
 (b, c, d): * :sc:c
 (a, f, g): * :sp:f
 (a, e, g): * :sc:e
 (a, e, f): * :sc:e
 (a, d, g): * :sp:d
 (a, d, f): * :sp:d
 (a, d, e): * :sp:d
 (a, c, g): * :sc:c
 (a, c, f): * :sc:c
 (a, c, e): * :sc:c
 (a, c, d): * :sc:c
 (a, b, g): * :sp:b
 (a, b, f): * :sp:b
 (a, b, e): * :sp:b
 (a, b, d): * :sp:b
 (a, b, c): * :sp:b
time:627.781
90:[r(((((4, 4), 3), 6), 4)), r(((((1, 1), 1), 1), 1)), r(((((1, 1), 1), 2), 1)), r(((((1, 1), 1), 2), 2)), r(((((1, 2), 1), 1), 1)), r(((((1, 2), 1), 2), 1)), r(((((1, 2), 1), 2), 2)), r(((((1, 2), 1), 3), 1)), r(((((1, 2), 1), 3), 2)), r(((((1, 2), 1), 3), 3)), r(((((1, 2), 2), 3), 3)), r(((((3, 1), 1), 1), 1)), r(((((3, 1), 1), 2), 1)), r(((((3, 1), 1), 2), 2)), r(((((3, 2), 1), 1), 1)), r(((((3, 2), 1), 2), 1)), r(((((3, 2), 1), 2), 2)), r(((((3, 2), 1), 3), 1)), r(((((3, 2), 1), 3), 2)), r(((((3, 2), 1), 3), 3)), r(((((3, 2), 2), 3), 3)), r(((((3, 3), 1), 1), 1)), r(((((3, 3), 1), 2), 1)), r(((((3, 3), 1), 2), 2)), r(((((3, 3), 1), 3), 1)), r(((((3, 3), 1), 3), 2)), r(((((3, 3), 1), 3), 3)), r(((((3, 3), 1), 4), 1)), r(((((3, 3), 1), 4), 2)), r(((((3, 3), 1), 4), 3)), r(((((3, 3), 1), 4), 4)), r(((((3, 3), 2), 3), 3)), r(((((3, 3), 2), 4), 3)), r(((((3, 3), 2), 4), 4)), r(((((3, 3), 3), 4), 4)), r(((((3, 4), 1), 1), 1)), r(((((3, 4), 1), 2), 1)), r(((((3, 4), 1), 2), 2)), r(((((3, 4), 1), 3), 1)), r(((((3, 4), 1), 3), 2)), r(((((3, 4), 1), 3), 3)), r(((((3, 4), 1), 4), 1)), r(((((3, 4), 1), 4), 2)), r(((((3, 4), 1), 4), 3)), r(((((3, 4), 1), 4), 4)), r(((((3, 4), 1), 5), 1)), r(((((3, 4), 1), 5), 2)), r(((((3, 4), 1), 5), 3)), r(((((3, 4), 1), 5), 4)), r(((((3, 4), 1), 5), 5)), r(((((3, 4), 1), 6), 1)), r(((((3, 4), 1), 6), 2)), r(((((3, 4), 1), 6), 3)), r(((((3, 4), 1), 6), 4)), r(((((3, 4), 1), 6), 5)), r(((((3, 4), 1), 6), 6)), r(((((3, 4), 1), 6), 7)), r(((((3, 4), 2), 3), 3)), r(((((3, 4), 2), 4), 3)), r(((((3, 4), 2), 4), 4)), r(((((3, 4), 2), 5), 3)), r(((((3, 4), 2), 5), 4)), r(((((3, 4), 2), 5), 5)), r(((((3, 4), 2), 6), 3)), r(((((3, 4), 2), 6), 4)), r(((((3, 4), 2), 6), 5)), r(((((3, 4), 2), 6), 6)), r(((((3, 4), 2), 6), 7)), r(((((3, 4), 3), 4), 4)), r(((((3, 4), 3), 5), 4)), r(((((3, 4), 3), 5), 5)), r(((((3, 4), 3), 6), 4)), r(((((3, 4), 3), 6), 5)), r(((((3, 4), 3), 6), 6)), r(((((3, 4), 3), 6), 7)), r(((((3, 4), 4), 5), 5)), r(((((3, 4), 4), 6), 5)), r(((((3, 4), 4), 6), 6)), r(((((3, 4), 4), 6), 7)), r(((((3, 4), 5), 6), 6)), r(((((3, 4), 5), 6), 7)), r(((((4, 4), 3), 6), 5)), r(((((4, 4), 3), 6), 6)), r(((((4, 4), 3), 6), 7)), r(((((4, 4), 4), 5), 5)), r(((((4, 4), 4), 6), 5)), r(((((4, 4), 4), 6), 6)), r(((((4, 4), 4), 6), 7)), r(((((4, 4), 5), 6), 6)), r(((((4, 4), 5), 6), 7))]
 (e, f, g): * :sp:f
 (d, f, g): * :sp:f
 (d, e, g): * :sc:e
 (d, e, f): * :sc:e
 (c, f, g): * :sp:f
 (c, e, g): * :sc:e
 (c, e, f): * :sc:e
 (c, d, g): * :sp:d
 (c, d, f): * :sp:d
 (c, d, e): * :sp:d
 (b, f, g): * :sp:f
 (b, e, g): * :sc:e
 (b, e, f): * :sc:e
 (b, d, g): * :sp:d
 (b, d, f): * :sp:d
 (b, d, e): * :sp:d
 (b, c, g): * :sc:c
 (b, c, f): * :sc:c
 (b, c, e): * :sc:c
 (b, c, d): * :sc:c
 (a, f, g): * :sp:f
 (a, e, g): * :sc:e
 (a, e, f): * :sc:e
 (a, d, g): * :sp:d
 (a, d, f): * :sp:d
 (a, d, e): * :sp:d
 (a, c, g): * :sc:c
 (a, c, f): * :sc:c
 (a, c, e): * :sc:c
 (a, c, d): * :sc:c
 (a, b, g): * :sp:b
 (a, b, f): * :sp:b
 (a, b, e): * :sp:b
 (a, b, d): * :sp:b
 (a, b, c): * :sp:b
time:639.297
91:[r(((((4, 4), 3), 5), 5)), r(((((1, 1), 1), 1), 1)), r(((((1, 1), 1), 2), 1)), r(((((1, 1), 1), 2), 2)), r(((((1, 2), 1), 1), 1)), r(((((1, 2), 1), 2), 1)), r(((((1, 2), 1), 2), 2)), r(((((1, 2), 1), 3), 1)), r(((((1, 2), 1), 3), 2)), r(((((1, 2), 1), 3), 3)), r(((((1, 2), 2), 3), 3)), r(((((3, 1), 1), 1), 1)), r(((((3, 1), 1), 2), 1)), r(((((3, 1), 1), 2), 2)), r(((((3, 2), 1), 1), 1)), r(((((3, 2), 1), 2), 1)), r(((((3, 2), 1), 2), 2)), r(((((3, 2), 1), 3), 1)), r(((((3, 2), 1), 3), 2)), r(((((3, 2), 1), 3), 3)), r(((((3, 2), 2), 3), 3)), r(((((3, 3), 1), 1), 1)), r(((((3, 3), 1), 2), 1)), r(((((3, 3), 1), 2), 2)), r(((((3, 3), 1), 3), 1)), r(((((3, 3), 1), 3), 2)), r(((((3, 3), 1), 3), 3)), r(((((3, 3), 1), 4), 1)), r(((((3, 3), 1), 4), 2)), r(((((3, 3), 1), 4), 3)), r(((((3, 3), 1), 4), 4)), r(((((3, 3), 2), 3), 3)), r(((((3, 3), 2), 4), 3)), r(((((3, 3), 2), 4), 4)), r(((((3, 3), 3), 4), 4)), r(((((3, 4), 1), 1), 1)), r(((((3, 4), 1), 2), 1)), r(((((3, 4), 1), 2), 2)), r(((((3, 4), 1), 3), 1)), r(((((3, 4), 1), 3), 2)), r(((((3, 4), 1), 3), 3)), r(((((3, 4), 1), 4), 1)), r(((((3, 4), 1), 4), 2)), r(((((3, 4), 1), 4), 3)), r(((((3, 4), 1), 4), 4)), r(((((3, 4), 1), 5), 1)), r(((((3, 4), 1), 5), 2)), r(((((3, 4), 1), 5), 3)), r(((((3, 4), 1), 5), 4)), r(((((3, 4), 1), 5), 5)), r(((((3, 4), 1), 6), 1)), r(((((3, 4), 1), 6), 2)), r(((((3, 4), 1), 6), 3)), r(((((3, 4), 1), 6), 4)), r(((((3, 4), 1), 6), 5)), r(((((3, 4), 1), 6), 6)), r(((((3, 4), 1), 6), 7)), r(((((3, 4), 2), 3), 3)), r(((((3, 4), 2), 4), 3)), r(((((3, 4), 2), 4), 4)), r(((((3, 4), 2), 5), 3)), r(((((3, 4), 2), 5), 4)), r(((((3, 4), 2), 5), 5)), r(((((3, 4), 2), 6), 3)), r(((((3, 4), 2), 6), 4)), r(((((3, 4), 2), 6), 5)), r(((((3, 4), 2), 6), 6)), r(((((3, 4), 2), 6), 7)), r(((((3, 4), 3), 4), 4)), r(((((3, 4), 3), 5), 4)), r(((((3, 4), 3), 5), 5)), r(((((3, 4), 3), 6), 4)), r(((((3, 4), 3), 6), 5)), r(((((3, 4), 3), 6), 6)), r(((((3, 4), 3), 6), 7)), r(((((3, 4), 4), 5), 5)), r(((((3, 4), 4), 6), 5)), r(((((3, 4), 4), 6), 6)), r(((((3, 4), 4), 6), 7)), r(((((3, 4), 5), 6), 6)), r(((((3, 4), 5), 6), 7)), r(((((4, 4), 3), 6), 4)), r(((((4, 4), 3), 6), 5)), r(((((4, 4), 3), 6), 6)), r(((((4, 4), 3), 6), 7)), r(((((4, 4), 4), 5), 5)), r(((((4, 4), 4), 6), 5)), r(((((4, 4), 4), 6), 6)), r(((((4, 4), 4), 6), 7)), r(((((4, 4), 5), 6), 6)), r(((((4, 4), 5), 6), 7))]
 (e, f, g): * :sp:f
 (d, f, g): * :sp:f
 (d, e, g): * :sc:e
 (d, e, f): * :sc:e
 (c, f, g): * :sp:f
 (c, e, g): * :sc:e
 (c, e, f): * :sc:e
 (c, d, g): * :sp:d
 (c, d, f): * :sp:d
 (c, d, e): * :sp:d
 (b, f, g): * :sp:f
 (b, e, g): * :sc:e
 (b, e, f): * :sc:e
 (b, d, g): * :sp:d
 (b, d, f): * :sp:d
 (b, d, e): * :sp:d
 (b, c, g): * :sc:c
 (b, c, f): * :sc:c
 (b, c, e): * :sc:c
 (b, c, d): * :sc:c
 (a, f, g): * :sp:f
 (a, e, g): * :sc:e
 (a, e, f): * :sc:e
 (a, d, g): * :sp:d
 (a, d, f): * :sp:d
 (a, d, e): * :sp:d
 (a, c, g): * :sc:c
 (a, c, f): * :sc:c
 (a, c, e): * :sc:c
 (a, c, d): * :sc:c
 (a, b, g): * :sp:b
 (a, b, f): * :sp:b
 (a, b, e): * :sp:b
 (a, b, d): * :sp:b
 (a, b, c): * :sp:b
time:652.375
92:[r(((((4, 4), 3), 5), 4)), r(((((1, 1), 1), 1), 1)), r(((((1, 1), 1), 2), 1)), r(((((1, 1), 1), 2), 2)), r(((((1, 2), 1), 1), 1)), r(((((1, 2), 1), 2), 1)), r(((((1, 2), 1), 2), 2)), r(((((1, 2), 1), 3), 1)), r(((((1, 2), 1), 3), 2)), r(((((1, 2), 1), 3), 3)), r(((((1, 2), 2), 3), 3)), r(((((3, 1), 1), 1), 1)), r(((((3, 1), 1), 2), 1)), r(((((3, 1), 1), 2), 2)), r(((((3, 2), 1), 1), 1)), r(((((3, 2), 1), 2), 1)), r(((((3, 2), 1), 2), 2)), r(((((3, 2), 1), 3), 1)), r(((((3, 2), 1), 3), 2)), r(((((3, 2), 1), 3), 3)), r(((((3, 2), 2), 3), 3)), r(((((3, 3), 1), 1), 1)), r(((((3, 3), 1), 2), 1)), r(((((3, 3), 1), 2), 2)), r(((((3, 3), 1), 3), 1)), r(((((3, 3), 1), 3), 2)), r(((((3, 3), 1), 3), 3)), r(((((3, 3), 1), 4), 1)), r(((((3, 3), 1), 4), 2)), r(((((3, 3), 1), 4), 3)), r(((((3, 3), 1), 4), 4)), r(((((3, 3), 2), 3), 3)), r(((((3, 3), 2), 4), 3)), r(((((3, 3), 2), 4), 4)), r(((((3, 3), 3), 4), 4)), r(((((3, 4), 1), 1), 1)), r(((((3, 4), 1), 2), 1)), r(((((3, 4), 1), 2), 2)), r(((((3, 4), 1), 3), 1)), r(((((3, 4), 1), 3), 2)), r(((((3, 4), 1), 3), 3)), r(((((3, 4), 1), 4), 1)), r(((((3, 4), 1), 4), 2)), r(((((3, 4), 1), 4), 3)), r(((((3, 4), 1), 4), 4)), r(((((3, 4), 1), 5), 1)), r(((((3, 4), 1), 5), 2)), r(((((3, 4), 1), 5), 3)), r(((((3, 4), 1), 5), 4)), r(((((3, 4), 1), 5), 5)), r(((((3, 4), 1), 6), 1)), r(((((3, 4), 1), 6), 2)), r(((((3, 4), 1), 6), 3)), r(((((3, 4), 1), 6), 4)), r(((((3, 4), 1), 6), 5)), r(((((3, 4), 1), 6), 6)), r(((((3, 4), 1), 6), 7)), r(((((3, 4), 2), 3), 3)), r(((((3, 4), 2), 4), 3)), r(((((3, 4), 2), 4), 4)), r(((((3, 4), 2), 5), 3)), r(((((3, 4), 2), 5), 4)), r(((((3, 4), 2), 5), 5)), r(((((3, 4), 2), 6), 3)), r(((((3, 4), 2), 6), 4)), r(((((3, 4), 2), 6), 5)), r(((((3, 4), 2), 6), 6)), r(((((3, 4), 2), 6), 7)), r(((((3, 4), 3), 4), 4)), r(((((3, 4), 3), 5), 4)), r(((((3, 4), 3), 5), 5)), r(((((3, 4), 3), 6), 4)), r(((((3, 4), 3), 6), 5)), r(((((3, 4), 3), 6), 6)), r(((((3, 4), 3), 6), 7)), r(((((3, 4), 4), 5), 5)), r(((((3, 4), 4), 6), 5)), r(((((3, 4), 4), 6), 6)), r(((((3, 4), 4), 6), 7)), r(((((3, 4), 5), 6), 6)), r(((((3, 4), 5), 6), 7)), r(((((4, 4), 3), 5), 5)), r(((((4, 4), 3), 6), 4)), r(((((4, 4), 3), 6), 5)), r(((((4, 4), 3), 6), 6)), r(((((4, 4), 3), 6), 7)), r(((((4, 4), 4), 5), 5)), r(((((4, 4), 4), 6), 5)), r(((((4, 4), 4), 6), 6)), r(((((4, 4), 4), 6), 7)), r(((((4, 4), 5), 6), 6)), r(((((4, 4), 5), 6), 7))]
 (e, f, g): * :sp:f
 (d, f, g): * :sp:f
 (d, e, g): * :sc:e
 (d, e, f): * :sc:e
 (c, f, g): * :sp:f
 (c, e, g): * :sc:e
 (c, e, f): * :sc:e
 (c, d, g): * :sp:d
 (c, d, f): * :sp:d
 (c, d, e): * :sp:d
 (b, f, g): * :sp:f
 (b, e, g): * :sc:e
 (b, e, f): * :sc:e
 (b, d, g): * :sp:d
 (b, d, f): * :sp:d
 (b, d, e): * :sp:d
 (b, c, g): * :sc:c
 (b, c, f): * :sc:c
 (b, c, e): * :sc:c
 (b, c, d): * :sc:c
 (a, f, g): * :sp:f
 (a, e, g): * :sc:e
 (a, e, f): * :sc:e
 (a, d, g): * :sp:d
 (a, d, f): * :sp:d
 (a, d, e): * :sp:d
 (a, c, g): * :sc:c
 (a, c, f): * :sc:c
 (a, c, e): * :sc:c
 (a, c, d): * :sc:c
 (a, b, g): * :sp:b
 (a, b, f): * :sp:b
 (a, b, e): * :sp:b
 (a, b, d): * :sp:b
 (a, b, c): * :sp:b
time:663.813
93:[r(((((4, 4), 3), 4), 4)), r(((((1, 1), 1), 1), 1)), r(((((1, 1), 1), 2), 1)), r(((((1, 1), 1), 2), 2)), r(((((1, 2), 1), 1), 1)), r(((((1, 2), 1), 2), 1)), r(((((1, 2), 1), 2), 2)), r(((((1, 2), 1), 3), 1)), r(((((1, 2), 1), 3), 2)), r(((((1, 2), 1), 3), 3)), r(((((1, 2), 2), 3), 3)), r(((((3, 1), 1), 1), 1)), r(((((3, 1), 1), 2), 1)), r(((((3, 1), 1), 2), 2)), r(((((3, 2), 1), 1), 1)), r(((((3, 2), 1), 2), 1)), r(((((3, 2), 1), 2), 2)), r(((((3, 2), 1), 3), 1)), r(((((3, 2), 1), 3), 2)), r(((((3, 2), 1), 3), 3)), r(((((3, 2), 2), 3), 3)), r(((((3, 3), 1), 1), 1)), r(((((3, 3), 1), 2), 1)), r(((((3, 3), 1), 2), 2)), r(((((3, 3), 1), 3), 1)), r(((((3, 3), 1), 3), 2)), r(((((3, 3), 1), 3), 3)), r(((((3, 3), 1), 4), 1)), r(((((3, 3), 1), 4), 2)), r(((((3, 3), 1), 4), 3)), r(((((3, 3), 1), 4), 4)), r(((((3, 3), 2), 3), 3)), r(((((3, 3), 2), 4), 3)), r(((((3, 3), 2), 4), 4)), r(((((3, 3), 3), 4), 4)), r(((((3, 4), 1), 1), 1)), r(((((3, 4), 1), 2), 1)), r(((((3, 4), 1), 2), 2)), r(((((3, 4), 1), 3), 1)), r(((((3, 4), 1), 3), 2)), r(((((3, 4), 1), 3), 3)), r(((((3, 4), 1), 4), 1)), r(((((3, 4), 1), 4), 2)), r(((((3, 4), 1), 4), 3)), r(((((3, 4), 1), 4), 4)), r(((((3, 4), 1), 5), 1)), r(((((3, 4), 1), 5), 2)), r(((((3, 4), 1), 5), 3)), r(((((3, 4), 1), 5), 4)), r(((((3, 4), 1), 5), 5)), r(((((3, 4), 1), 6), 1)), r(((((3, 4), 1), 6), 2)), r(((((3, 4), 1), 6), 3)), r(((((3, 4), 1), 6), 4)), r(((((3, 4), 1), 6), 5)), r(((((3, 4), 1), 6), 6)), r(((((3, 4), 1), 6), 7)), r(((((3, 4), 2), 3), 3)), r(((((3, 4), 2), 4), 3)), r(((((3, 4), 2), 4), 4)), r(((((3, 4), 2), 5), 3)), r(((((3, 4), 2), 5), 4)), r(((((3, 4), 2), 5), 5)), r(((((3, 4), 2), 6), 3)), r(((((3, 4), 2), 6), 4)), r(((((3, 4), 2), 6), 5)), r(((((3, 4), 2), 6), 6)), r(((((3, 4), 2), 6), 7)), r(((((3, 4), 3), 4), 4)), r(((((3, 4), 3), 5), 4)), r(((((3, 4), 3), 5), 5)), r(((((3, 4), 3), 6), 4)), r(((((3, 4), 3), 6), 5)), r(((((3, 4), 3), 6), 6)), r(((((3, 4), 3), 6), 7)), r(((((3, 4), 4), 5), 5)), r(((((3, 4), 4), 6), 5)), r(((((3, 4), 4), 6), 6)), r(((((3, 4), 4), 6), 7)), r(((((3, 4), 5), 6), 6)), r(((((3, 4), 5), 6), 7)), r(((((4, 4), 3), 5), 4)), r(((((4, 4), 3), 5), 5)), r(((((4, 4), 3), 6), 4)), r(((((4, 4), 3), 6), 5)), r(((((4, 4), 3), 6), 6)), r(((((4, 4), 3), 6), 7)), r(((((4, 4), 4), 5), 5)), r(((((4, 4), 4), 6), 5)), r(((((4, 4), 4), 6), 6)), r(((((4, 4), 4), 6), 7)), r(((((4, 4), 5), 6), 6)), r(((((4, 4), 5), 6), 7))]
 (e, f, g): * :sp:f
 (d, f, g): * :sp:f
 (d, e, g): * :sc:e
 (d, e, f): * :sc:e
 (c, f, g): * :sp:f
 (c, e, g): * :sc:e
 (c, e, f): * :sc:e
 (c, d, g): * :sp:d
 (c, d, f): * :sp:d
 (c, d, e): * :sp:d
 (b, f, g): * :sp:f
 (b, e, g): * :sc:e
 (b, e, f): * :sc:e
 (b, d, g): * :sp:d
 (b, d, f): * :sp:d
 (b, d, e): * :sp:d
 (b, c, g): * :sc:c
 (b, c, f): * :sc:c
 (b, c, e): * :sc:c
 (b, c, d): * :sc:c
 (a, f, g): * :sp:f
 (a, e, g): * :sc:e
 (a, e, f): * :sc:e
 (a, d, g): * :sp:d
 (a, d, f): * :sp:d
 (a, d, e): * :sp:d
 (a, c, g): * :sc:c
 (a, c, f): * :sc:c
 (a, c, e): * :sc:c
 (a, c, d): * :sc:c
 (a, b, g): * :sp:b
 (a, b, f): * :sp:b
 (a, b, e): * :sp:b
 (a, b, d): * :sp:b
 (a, b, c): * :sp:b
time:677.235
94:[r(((((4, 3), 3), 4), 4)), r(((((1, 1), 1), 1), 1)), r(((((1, 1), 1), 2), 1)), r(((((1, 1), 1), 2), 2)), r(((((1, 2), 1), 1), 1)), r(((((1, 2), 1), 2), 1)), r(((((1, 2), 1), 2), 2)), r(((((1, 2), 1), 3), 1)), r(((((1, 2), 1), 3), 2)), r(((((1, 2), 1), 3), 3)), r(((((1, 2), 2), 3), 3)), r(((((3, 1), 1), 1), 1)), r(((((3, 1), 1), 2), 1)), r(((((3, 1), 1), 2), 2)), r(((((3, 2), 1), 1), 1)), r(((((3, 2), 1), 2), 1)), r(((((3, 2), 1), 2), 2)), r(((((3, 2), 1), 3), 1)), r(((((3, 2), 1), 3), 2)), r(((((3, 2), 1), 3), 3)), r(((((3, 2), 2), 3), 3)), r(((((3, 3), 1), 1), 1)), r(((((3, 3), 1), 2), 1)), r(((((3, 3), 1), 2), 2)), r(((((3, 3), 1), 3), 1)), r(((((3, 3), 1), 3), 2)), r(((((3, 3), 1), 3), 3)), r(((((3, 3), 1), 4), 1)), r(((((3, 3), 1), 4), 2)), r(((((3, 3), 1), 4), 3)), r(((((3, 3), 1), 4), 4)), r(((((3, 3), 2), 3), 3)), r(((((3, 3), 2), 4), 3)), r(((((3, 3), 2), 4), 4)), r(((((3, 3), 3), 4), 4)), r(((((3, 4), 1), 1), 1)), r(((((3, 4), 1), 2), 1)), r(((((3, 4), 1), 2), 2)), r(((((3, 4), 1), 3), 1)), r(((((3, 4), 1), 3), 2)), r(((((3, 4), 1), 3), 3)), r(((((3, 4), 1), 4), 1)), r(((((3, 4), 1), 4), 2)), r(((((3, 4), 1), 4), 3)), r(((((3, 4), 1), 4), 4)), r(((((3, 4), 1), 5), 1)), r(((((3, 4), 1), 5), 2)), r(((((3, 4), 1), 5), 3)), r(((((3, 4), 1), 5), 4)), r(((((3, 4), 1), 5), 5)), r(((((3, 4), 1), 6), 1)), r(((((3, 4), 1), 6), 2)), r(((((3, 4), 1), 6), 3)), r(((((3, 4), 1), 6), 4)), r(((((3, 4), 1), 6), 5)), r(((((3, 4), 1), 6), 6)), r(((((3, 4), 1), 6), 7)), r(((((3, 4), 2), 3), 3)), r(((((3, 4), 2), 4), 3)), r(((((3, 4), 2), 4), 4)), r(((((3, 4), 2), 5), 3)), r(((((3, 4), 2), 5), 4)), r(((((3, 4), 2), 5), 5)), r(((((3, 4), 2), 6), 3)), r(((((3, 4), 2), 6), 4)), r(((((3, 4), 2), 6), 5)), r(((((3, 4), 2), 6), 6)), r(((((3, 4), 2), 6), 7)), r(((((3, 4), 3), 4), 4)), r(((((3, 4), 3), 5), 4)), r(((((3, 4), 3), 5), 5)), r(((((3, 4), 3), 6), 4)), r(((((3, 4), 3), 6), 5)), r(((((3, 4), 3), 6), 6)), r(((((3, 4), 3), 6), 7)), r(((((3, 4), 4), 5), 5)), r(((((3, 4), 4), 6), 5)), r(((((3, 4), 4), 6), 6)), r(((((3, 4), 4), 6), 7)), r(((((3, 4), 5), 6), 6)), r(((((3, 4), 5), 6), 7)), r(((((4, 4), 3), 4), 4)), r(((((4, 4), 3), 5), 4)), r(((((4, 4), 3), 5), 5)), r(((((4, 4), 3), 6), 4)), r(((((4, 4), 3), 6), 5)), r(((((4, 4), 3), 6), 6)), r(((((4, 4), 3), 6), 7)), r(((((4, 4), 4), 5), 5)), r(((((4, 4), 4), 6), 5)), r(((((4, 4), 4), 6), 6)), r(((((4, 4), 4), 6), 7)), r(((((4, 4), 5), 6), 6)), r(((((4, 4), 5), 6), 7))]
 (e, f, g): * :sp:f
 (d, f, g): * :sp:f
 (d, e, g): * :sc:e
 (d, e, f): * :sc:e
 (c, f, g): * :sp:f
 (c, e, g): * :sc:e
 (c, e, f): * :sc:e
 (c, d, g): * :sp:d
 (c, d, f): * :sp:d
 (c, d, e): * :sp:d
 (b, f, g): * :sp:f
 (b, e, g): * :sc:e
 (b, e, f): * :sc:e
 (b, d, g): * :sp:d
 (b, d, f): * :sp:d
 (b, d, e): * :sp:d
 (b, c, g): * :sc:c
 (b, c, f): * :sc:c
 (b, c, e): * :sc:c
 (b, c, d): * :sc:c
 (a, f, g): * :sp:f
 (a, e, g): * :sc:e
 (a, e, f): * :sc:e
 (a, d, g): * :sp:d
 (a, d, f): * :sp:d
 (a, d, e): * :sp:d
 (a, c, g): * :sc:c
 (a, c, f): * :sc:c
 (a, c, e): * :sc:c
 (a, c, d): * :sc:c
 (a, b, g): * :sp:b
 (a, b, f): * :sp:b
 (a, b, e): * :sp:b
 (a, b, d): * :sp:b
 (a, b, c): * :sp:b
time:762.578
95:[r(((((6, 4), 5), 6), 7)), r(((((1, 1), 1), 1), 1)), r(((((1, 1), 1), 2), 1)), r(((((1, 1), 1), 2), 2)), r(((((1, 2), 1), 1), 1)), r(((((1, 2), 1), 2), 1)), r(((((1, 2), 1), 2), 2)), r(((((1, 2), 1), 3), 1)), r(((((1, 2), 1), 3), 2)), r(((((1, 2), 1), 3), 3)), r(((((1, 2), 2), 3), 3)), r(((((3, 1), 1), 1), 1)), r(((((3, 1), 1), 2), 1)), r(((((3, 1), 1), 2), 2)), r(((((3, 2), 1), 1), 1)), r(((((3, 2), 1), 2), 1)), r(((((3, 2), 1), 2), 2)), r(((((3, 2), 1), 3), 1)), r(((((3, 2), 1), 3), 2)), r(((((3, 2), 1), 3), 3)), r(((((3, 2), 2), 3), 3)), r(((((3, 3), 1), 1), 1)), r(((((3, 3), 1), 2), 1)), r(((((3, 3), 1), 2), 2)), r(((((3, 3), 1), 3), 1)), r(((((3, 3), 1), 3), 2)), r(((((3, 3), 1), 3), 3)), r(((((3, 3), 1), 4), 1)), r(((((3, 3), 1), 4), 2)), r(((((3, 3), 1), 4), 3)), r(((((3, 3), 1), 4), 4)), r(((((3, 3), 2), 3), 3)), r(((((3, 3), 2), 4), 3)), r(((((3, 3), 2), 4), 4)), r(((((3, 3), 3), 4), 4)), r(((((3, 4), 1), 1), 1)), r(((((3, 4), 1), 2), 1)), r(((((3, 4), 1), 2), 2)), r(((((3, 4), 1), 3), 1)), r(((((3, 4), 1), 3), 2)), r(((((3, 4), 1), 3), 3)), r(((((3, 4), 1), 4), 1)), r(((((3, 4), 1), 4), 2)), r(((((3, 4), 1), 4), 3)), r(((((3, 4), 1), 4), 4)), r(((((3, 4), 1), 5), 1)), r(((((3, 4), 1), 5), 2)), r(((((3, 4), 1), 5), 3)), r(((((3, 4), 1), 5), 4)), r(((((3, 4), 1), 5), 5)), r(((((3, 4), 1), 6), 1)), r(((((3, 4), 1), 6), 2)), r(((((3, 4), 1), 6), 3)), r(((((3, 4), 1), 6), 4)), r(((((3, 4), 1), 6), 5)), r(((((3, 4), 1), 6), 6)), r(((((3, 4), 1), 6), 7)), r(((((3, 4), 2), 3), 3)), r(((((3, 4), 2), 4), 3)), r(((((3, 4), 2), 4), 4)), r(((((3, 4), 2), 5), 3)), r(((((3, 4), 2), 5), 4)), r(((((3, 4), 2), 5), 5)), r(((((3, 4), 2), 6), 3)), r(((((3, 4), 2), 6), 4)), r(((((3, 4), 2), 6), 5)), r(((((3, 4), 2), 6), 6)), r(((((3, 4), 2), 6), 7)), r(((((3, 4), 3), 4), 4)), r(((((3, 4), 3), 5), 4)), r(((((3, 4), 3), 5), 5)), r(((((3, 4), 3), 6), 4)), r(((((3, 4), 3), 6), 5)), r(((((3, 4), 3), 6), 6)), r(((((3, 4), 3), 6), 7)), r(((((3, 4), 4), 5), 5)), r(((((3, 4), 4), 6), 5)), r(((((3, 4), 4), 6), 6)), r(((((3, 4), 4), 6), 7)), r(((((3, 4), 5), 6), 6)), r(((((3, 4), 5), 6), 7)), r(((((4, 3), 3), 4), 4)), r(((((4, 4), 3), 4), 4)), r(((((4, 4), 3), 5), 4)), r(((((4, 4), 3), 5), 5)), r(((((4, 4), 3), 6), 4)), r(((((4, 4), 3), 6), 5)), r(((((4, 4), 3), 6), 6)), r(((((4, 4), 3), 6), 7)), r(((((4, 4), 4), 5), 5)), r(((((4, 4), 4), 6), 5)), r(((((4, 4), 4), 6), 6)), r(((((4, 4), 4), 6), 7)), r(((((4, 4), 5), 6), 6)), r(((((4, 4), 5), 6), 7))]
 (e, f, g): * :sp:f
 (d, f, g): * :sp:f
 (d, e, g): * :sc:e
 (d, e, f): * :sc:e
 (c, f, g): * :sp:f
 (c, e, g): * :sc:e
 (c, e, f): * :sc:e
 (c, d, g): * :sp:d
 (c, d, f): * :sp:d
 (c, d, e): * :sp:d
 (b, f, g): * :sp:f
 (b, e, g): * :sc:e
 (b, e, f): * :sc:e
 (b, d, g): * :sp:d
 (b, d, f): * :sp:d
 (b, d, e): * :sp:d
 (b, c, g): * :sc:c
 (b, c, f): * :sc:c
 (b, c, e): * :sc:c
 (b, c, d): * :sc:c
 (a, f, g): * :sp:f
 (a, e, g): * :sc:e
 (a, e, f): * :sc:e
 (a, d, g): * :sp:d
 (a, d, f): * :sp:d
 (a, d, e): * :sp:d
 (a, c, g): * :sc:c
 (a, c, f): * :sc:c
 (a, c, e): * :sc:c
 (a, c, d): * :sc:c
 (a, b, g): * :sp:b
 (a, b, f): * :sp:b
 (a, b, e): * :sp:b
 (a, b, d): * :sp:b
 (a, b, c): * :sp:b
time:1190.42
96:[r(((((6, 4), 5), 6), 6)), r(((((1, 1), 1), 1), 1)), r(((((1, 1), 1), 2), 1)), r(((((1, 1), 1), 2), 2)), r(((((1, 2), 1), 1), 1)), r(((((1, 2), 1), 2), 1)), r(((((1, 2), 1), 2), 2)), r(((((1, 2), 1), 3), 1)), r(((((1, 2), 1), 3), 2)), r(((((1, 2), 1), 3), 3)), r(((((1, 2), 2), 3), 3)), r(((((3, 1), 1), 1), 1)), r(((((3, 1), 1), 2), 1)), r(((((3, 1), 1), 2), 2)), r(((((3, 2), 1), 1), 1)), r(((((3, 2), 1), 2), 1)), r(((((3, 2), 1), 2), 2)), r(((((3, 2), 1), 3), 1)), r(((((3, 2), 1), 3), 2)), r(((((3, 2), 1), 3), 3)), r(((((3, 2), 2), 3), 3)), r(((((3, 3), 1), 1), 1)), r(((((3, 3), 1), 2), 1)), r(((((3, 3), 1), 2), 2)), r(((((3, 3), 1), 3), 1)), r(((((3, 3), 1), 3), 2)), r(((((3, 3), 1), 3), 3)), r(((((3, 3), 1), 4), 1)), r(((((3, 3), 1), 4), 2)), r(((((3, 3), 1), 4), 3)), r(((((3, 3), 1), 4), 4)), r(((((3, 3), 2), 3), 3)), r(((((3, 3), 2), 4), 3)), r(((((3, 3), 2), 4), 4)), r(((((3, 3), 3), 4), 4)), r(((((3, 4), 1), 1), 1)), r(((((3, 4), 1), 2), 1)), r(((((3, 4), 1), 2), 2)), r(((((3, 4), 1), 3), 1)), r(((((3, 4), 1), 3), 2)), r(((((3, 4), 1), 3), 3)), r(((((3, 4), 1), 4), 1)), r(((((3, 4), 1), 4), 2)), r(((((3, 4), 1), 4), 3)), r(((((3, 4), 1), 4), 4)), r(((((3, 4), 1), 5), 1)), r(((((3, 4), 1), 5), 2)), r(((((3, 4), 1), 5), 3)), r(((((3, 4), 1), 5), 4)), r(((((3, 4), 1), 5), 5)), r(((((3, 4), 1), 6), 1)), r(((((3, 4), 1), 6), 2)), r(((((3, 4), 1), 6), 3)), r(((((3, 4), 1), 6), 4)), r(((((3, 4), 1), 6), 5)), r(((((3, 4), 1), 6), 6)), r(((((3, 4), 1), 6), 7)), r(((((3, 4), 2), 3), 3)), r(((((3, 4), 2), 4), 3)), r(((((3, 4), 2), 4), 4)), r(((((3, 4), 2), 5), 3)), r(((((3, 4), 2), 5), 4)), r(((((3, 4), 2), 5), 5)), r(((((3, 4), 2), 6), 3)), r(((((3, 4), 2), 6), 4)), r(((((3, 4), 2), 6), 5)), r(((((3, 4), 2), 6), 6)), r(((((3, 4), 2), 6), 7)), r(((((3, 4), 3), 4), 4)), r(((((3, 4), 3), 5), 4)), r(((((3, 4), 3), 5), 5)), r(((((3, 4), 3), 6), 4)), r(((((3, 4), 3), 6), 5)), r(((((3, 4), 3), 6), 6)), r(((((3, 4), 3), 6), 7)), r(((((3, 4), 4), 5), 5)), r(((((3, 4), 4), 6), 5)), r(((((3, 4), 4), 6), 6)), r(((((3, 4), 4), 6), 7)), r(((((3, 4), 5), 6), 6)), r(((((3, 4), 5), 6), 7)), r(((((4, 3), 3), 4), 4)), r(((((4, 4), 3), 4), 4)), r(((((4, 4), 3), 5), 4)), r(((((4, 4), 3), 5), 5)), r(((((4, 4), 3), 6), 4)), r(((((4, 4), 3), 6), 5)), r(((((4, 4), 3), 6), 6)), r(((((4, 4), 3), 6), 7)), r(((((4, 4), 4), 5), 5)), r(((((4, 4), 4), 6), 5)), r(((((4, 4), 4), 6), 6)), r(((((4, 4), 4), 6), 7)), r(((((4, 4), 5), 6), 6)), r(((((4, 4), 5), 6), 7)), r(((((6, 4), 5), 6), 7))]
 (e, f, g): * :sp:f
 (d, f, g): * :sp:f
 (d, e, g): * :sc:e
 (d, e, f): * :sc:e
 (c, f, g): * :sp:f
 (c, e, g): * :sc:e
 (c, e, f): * :sc:e
 (c, d, g): * :sp:d
 (c, d, f): * :sp:d
 (c, d, e): * :sp:d
 (b, f, g): * :sp:f
 (b, e, g): * :sc:e
 (b, e, f): * :sc:e
 (b, d, g): * :sp:d
 (b, d, f): * :sp:d
 (b, d, e): * :sp:d
 (b, c, g): * :sc:c
 (b, c, f): * :sc:c
 (b, c, e): * :sc:c
 (b, c, d): * :sc:c
 (a, f, g): * :sp:f
 (a, e, g): * :sc:e
 (a, e, f): * :sc:e
 (a, d, g): * :sp:d
 (a, d, f): * :sp:d
 (a, d, e): * :sp:d
 (a, c, g): * :sc:c
 (a, c, f): * :sc:c
 (a, c, e): * :sc:c
 (a, c, d): * :sc:c
 (a, b, g): * :sp:b
 (a, b, f): * :sp:b
 (a, b, e): * :sp:b
 (a, b, d): * :sp:b
 (a, b, c): * :sp:b
time:1208.97
97:[r(((((6, 4), 4), 6), 7)), r(((((1, 1), 1), 1), 1)), r(((((1, 1), 1), 2), 1)), r(((((1, 1), 1), 2), 2)), r(((((1, 2), 1), 1), 1)), r(((((1, 2), 1), 2), 1)), r(((((1, 2), 1), 2), 2)), r(((((1, 2), 1), 3), 1)), r(((((1, 2), 1), 3), 2)), r(((((1, 2), 1), 3), 3)), r(((((1, 2), 2), 3), 3)), r(((((3, 1), 1), 1), 1)), r(((((3, 1), 1), 2), 1)), r(((((3, 1), 1), 2), 2)), r(((((3, 2), 1), 1), 1)), r(((((3, 2), 1), 2), 1)), r(((((3, 2), 1), 2), 2)), r(((((3, 2), 1), 3), 1)), r(((((3, 2), 1), 3), 2)), r(((((3, 2), 1), 3), 3)), r(((((3, 2), 2), 3), 3)), r(((((3, 3), 1), 1), 1)), r(((((3, 3), 1), 2), 1)), r(((((3, 3), 1), 2), 2)), r(((((3, 3), 1), 3), 1)), r(((((3, 3), 1), 3), 2)), r(((((3, 3), 1), 3), 3)), r(((((3, 3), 1), 4), 1)), r(((((3, 3), 1), 4), 2)), r(((((3, 3), 1), 4), 3)), r(((((3, 3), 1), 4), 4)), r(((((3, 3), 2), 3), 3)), r(((((3, 3), 2), 4), 3)), r(((((3, 3), 2), 4), 4)), r(((((3, 3), 3), 4), 4)), r(((((3, 4), 1), 1), 1)), r(((((3, 4), 1), 2), 1)), r(((((3, 4), 1), 2), 2)), r(((((3, 4), 1), 3), 1)), r(((((3, 4), 1), 3), 2)), r(((((3, 4), 1), 3), 3)), r(((((3, 4), 1), 4), 1)), r(((((3, 4), 1), 4), 2)), r(((((3, 4), 1), 4), 3)), r(((((3, 4), 1), 4), 4)), r(((((3, 4), 1), 5), 1)), r(((((3, 4), 1), 5), 2)), r(((((3, 4), 1), 5), 3)), r(((((3, 4), 1), 5), 4)), r(((((3, 4), 1), 5), 5)), r(((((3, 4), 1), 6), 1)), r(((((3, 4), 1), 6), 2)), r(((((3, 4), 1), 6), 3)), r(((((3, 4), 1), 6), 4)), r(((((3, 4), 1), 6), 5)), r(((((3, 4), 1), 6), 6)), r(((((3, 4), 1), 6), 7)), r(((((3, 4), 2), 3), 3)), r(((((3, 4), 2), 4), 3)), r(((((3, 4), 2), 4), 4)), r(((((3, 4), 2), 5), 3)), r(((((3, 4), 2), 5), 4)), r(((((3, 4), 2), 5), 5)), r(((((3, 4), 2), 6), 3)), r(((((3, 4), 2), 6), 4)), r(((((3, 4), 2), 6), 5)), r(((((3, 4), 2), 6), 6)), r(((((3, 4), 2), 6), 7)), r(((((3, 4), 3), 4), 4)), r(((((3, 4), 3), 5), 4)), r(((((3, 4), 3), 5), 5)), r(((((3, 4), 3), 6), 4)), r(((((3, 4), 3), 6), 5)), r(((((3, 4), 3), 6), 6)), r(((((3, 4), 3), 6), 7)), r(((((3, 4), 4), 5), 5)), r(((((3, 4), 4), 6), 5)), r(((((3, 4), 4), 6), 6)), r(((((3, 4), 4), 6), 7)), r(((((3, 4), 5), 6), 6)), r(((((3, 4), 5), 6), 7)), r(((((4, 3), 3), 4), 4)), r(((((4, 4), 3), 4), 4)), r(((((4, 4), 3), 5), 4)), r(((((4, 4), 3), 5), 5)), r(((((4, 4), 3), 6), 4)), r(((((4, 4), 3), 6), 5)), r(((((4, 4), 3), 6), 6)), r(((((4, 4), 3), 6), 7)), r(((((4, 4), 4), 5), 5)), r(((((4, 4), 4), 6), 5)), r(((((4, 4), 4), 6), 6)), r(((((4, 4), 4), 6), 7)), r(((((4, 4), 5), 6), 6)), r(((((4, 4), 5), 6), 7)), r(((((6, 4), 5), 6), 6)), r(((((6, 4), 5), 6), 7))]
 (e, f, g): * :sp:f
 (d, f, g): * :sp:f
 (d, e, g): * :sc:e
 (d, e, f): * :sc:e
 (c, f, g): * :sp:f
 (c, e, g): * :sc:e
 (c, e, f): * :sc:e
 (c, d, g): * :sp:d
 (c, d, f): * :sp:d
 (c, d, e): * :sp:d
 (b, f, g): * :sp:f
 (b, e, g): * :sc:e
 (b, e, f): * :sc:e
 (b, d, g): * :sp:d
 (b, d, f): * :sp:d
 (b, d, e): * :sp:d
 (b, c, g): * :sc:c
 (b, c, f): * :sc:c
 (b, c, e): * :sc:c
 (b, c, d): * :sc:c
 (a, f, g): * :sp:f
 (a, e, g): * :sc:e
 (a, e, f): * :sc:e
 (a, d, g): * :sp:d
 (a, d, f): * :sp:d
 (a, d, e): * :sp:d
 (a, c, g): * :sc:c
 (a, c, f): * :sc:c
 (a, c, e): * :sc:c
 (a, c, d): * :sc:c
 (a, b, g): * :sp:b
 (a, b, f): * :sp:b
 (a, b, e): * :sp:b
 (a, b, d): * :sp:b
 (a, b, c): * :sp:b
time:1241.3
98:[r(((((6, 4), 4), 6), 6)), r(((((1, 1), 1), 1), 1)), r(((((1, 1), 1), 2), 1)), r(((((1, 1), 1), 2), 2)), r(((((1, 2), 1), 1), 1)), r(((((1, 2), 1), 2), 1)), r(((((1, 2), 1), 2), 2)), r(((((1, 2), 1), 3), 1)), r(((((1, 2), 1), 3), 2)), r(((((1, 2), 1), 3), 3)), r(((((1, 2), 2), 3), 3)), r(((((3, 1), 1), 1), 1)), r(((((3, 1), 1), 2), 1)), r(((((3, 1), 1), 2), 2)), r(((((3, 2), 1), 1), 1)), r(((((3, 2), 1), 2), 1)), r(((((3, 2), 1), 2), 2)), r(((((3, 2), 1), 3), 1)), r(((((3, 2), 1), 3), 2)), r(((((3, 2), 1), 3), 3)), r(((((3, 2), 2), 3), 3)), r(((((3, 3), 1), 1), 1)), r(((((3, 3), 1), 2), 1)), r(((((3, 3), 1), 2), 2)), r(((((3, 3), 1), 3), 1)), r(((((3, 3), 1), 3), 2)), r(((((3, 3), 1), 3), 3)), r(((((3, 3), 1), 4), 1)), r(((((3, 3), 1), 4), 2)), r(((((3, 3), 1), 4), 3)), r(((((3, 3), 1), 4), 4)), r(((((3, 3), 2), 3), 3)), r(((((3, 3), 2), 4), 3)), r(((((3, 3), 2), 4), 4)), r(((((3, 3), 3), 4), 4)), r(((((3, 4), 1), 1), 1)), r(((((3, 4), 1), 2), 1)), r(((((3, 4), 1), 2), 2)), r(((((3, 4), 1), 3), 1)), r(((((3, 4), 1), 3), 2)), r(((((3, 4), 1), 3), 3)), r(((((3, 4), 1), 4), 1)), r(((((3, 4), 1), 4), 2)), r(((((3, 4), 1), 4), 3)), r(((((3, 4), 1), 4), 4)), r(((((3, 4), 1), 5), 1)), r(((((3, 4), 1), 5), 2)), r(((((3, 4), 1), 5), 3)), r(((((3, 4), 1), 5), 4)), r(((((3, 4), 1), 5), 5)), r(((((3, 4), 1), 6), 1)), r(((((3, 4), 1), 6), 2)), r(((((3, 4), 1), 6), 3)), r(((((3, 4), 1), 6), 4)), r(((((3, 4), 1), 6), 5)), r(((((3, 4), 1), 6), 6)), r(((((3, 4), 1), 6), 7)), r(((((3, 4), 2), 3), 3)), r(((((3, 4), 2), 4), 3)), r(((((3, 4), 2), 4), 4)), r(((((3, 4), 2), 5), 3)), r(((((3, 4), 2), 5), 4)), r(((((3, 4), 2), 5), 5)), r(((((3, 4), 2), 6), 3)), r(((((3, 4), 2), 6), 4)), r(((((3, 4), 2), 6), 5)), r(((((3, 4), 2), 6), 6)), r(((((3, 4), 2), 6), 7)), r(((((3, 4), 3), 4), 4)), r(((((3, 4), 3), 5), 4)), r(((((3, 4), 3), 5), 5)), r(((((3, 4), 3), 6), 4)), r(((((3, 4), 3), 6), 5)), r(((((3, 4), 3), 6), 6)), r(((((3, 4), 3), 6), 7)), r(((((3, 4), 4), 5), 5)), r(((((3, 4), 4), 6), 5)), r(((((3, 4), 4), 6), 6)), r(((((3, 4), 4), 6), 7)), r(((((3, 4), 5), 6), 6)), r(((((3, 4), 5), 6), 7)), r(((((4, 3), 3), 4), 4)), r(((((4, 4), 3), 4), 4)), r(((((4, 4), 3), 5), 4)), r(((((4, 4), 3), 5), 5)), r(((((4, 4), 3), 6), 4)), r(((((4, 4), 3), 6), 5)), r(((((4, 4), 3), 6), 6)), r(((((4, 4), 3), 6), 7)), r(((((4, 4), 4), 5), 5)), r(((((4, 4), 4), 6), 5)), r(((((4, 4), 4), 6), 6)), r(((((4, 4), 4), 6), 7)), r(((((4, 4), 5), 6), 6)), r(((((4, 4), 5), 6), 7)), r(((((6, 4), 4), 6), 7)), r(((((6, 4), 5), 6), 6)), r(((((6, 4), 5), 6), 7))]
 (e, f, g): * :sp:f
 (d, f, g): * :sp:f
 (d, e, g): * :sc:e
 (d, e, f): * :sc:e
 (c, f, g): * :sp:f
 (c, e, g): * :sc:e
 (c, e, f): * :sc:e
 (c, d, g): * :sp:d
 (c, d, f): * :sp:d
 (c, d, e): * :sp:d
 (b, f, g): * :sp:f
 (b, e, g): * :sc:e
 (b, e, f): * :sc:e
 (b, d, g): * :sp:d
 (b, d, f): * :sp:d
 (b, d, e): * :sp:d
 (b, c, g): * :sc:c
 (b, c, f): * :sc:c
 (b, c, e): * :sc:c
 (b, c, d): * :sc:c
 (a, f, g): * :sp:f
 (a, e, g): * :sc:e
 (a, e, f): * :sc:e
 (a, d, g): * :sp:d
 (a, d, f): * :sp:d
 (a, d, e): * :sp:d
 (a, c, g): * :sc:c
 (a, c, f): * :sc:c
 (a, c, e): * :sc:c
 (a, c, d): * :sc:c
 (a, b, g): * :sp:b
 (a, b, f): * :sp:b
 (a, b, e): * :sp:b
 (a, b, d): * :sp:b
 (a, b, c): * :sp:b
time:1259.3
99:[r(((((6, 4), 4), 6), 5)), r(((((1, 1), 1), 1), 1)), r(((((1, 1), 1), 2), 1)), r(((((1, 1), 1), 2), 2)), r(((((1, 2), 1), 1), 1)), r(((((1, 2), 1), 2), 1)), r(((((1, 2), 1), 2), 2)), r(((((1, 2), 1), 3), 1)), r(((((1, 2), 1), 3), 2)), r(((((1, 2), 1), 3), 3)), r(((((1, 2), 2), 3), 3)), r(((((3, 1), 1), 1), 1)), r(((((3, 1), 1), 2), 1)), r(((((3, 1), 1), 2), 2)), r(((((3, 2), 1), 1), 1)), r(((((3, 2), 1), 2), 1)), r(((((3, 2), 1), 2), 2)), r(((((3, 2), 1), 3), 1)), r(((((3, 2), 1), 3), 2)), r(((((3, 2), 1), 3), 3)), r(((((3, 2), 2), 3), 3)), r(((((3, 3), 1), 1), 1)), r(((((3, 3), 1), 2), 1)), r(((((3, 3), 1), 2), 2)), r(((((3, 3), 1), 3), 1)), r(((((3, 3), 1), 3), 2)), r(((((3, 3), 1), 3), 3)), r(((((3, 3), 1), 4), 1)), r(((((3, 3), 1), 4), 2)), r(((((3, 3), 1), 4), 3)), r(((((3, 3), 1), 4), 4)), r(((((3, 3), 2), 3), 3)), r(((((3, 3), 2), 4), 3)), r(((((3, 3), 2), 4), 4)), r(((((3, 3), 3), 4), 4)), r(((((3, 4), 1), 1), 1)), r(((((3, 4), 1), 2), 1)), r(((((3, 4), 1), 2), 2)), r(((((3, 4), 1), 3), 1)), r(((((3, 4), 1), 3), 2)), r(((((3, 4), 1), 3), 3)), r(((((3, 4), 1), 4), 1)), r(((((3, 4), 1), 4), 2)), r(((((3, 4), 1), 4), 3)), r(((((3, 4), 1), 4), 4)), r(((((3, 4), 1), 5), 1)), r(((((3, 4), 1), 5), 2)), r(((((3, 4), 1), 5), 3)), r(((((3, 4), 1), 5), 4)), r(((((3, 4), 1), 5), 5)), r(((((3, 4), 1), 6), 1)), r(((((3, 4), 1), 6), 2)), r(((((3, 4), 1), 6), 3)), r(((((3, 4), 1), 6), 4)), r(((((3, 4), 1), 6), 5)), r(((((3, 4), 1), 6), 6)), r(((((3, 4), 1), 6), 7)), r(((((3, 4), 2), 3), 3)), r(((((3, 4), 2), 4), 3)), r(((((3, 4), 2), 4), 4)), r(((((3, 4), 2), 5), 3)), r(((((3, 4), 2), 5), 4)), r(((((3, 4), 2), 5), 5)), r(((((3, 4), 2), 6), 3)), r(((((3, 4), 2), 6), 4)), r(((((3, 4), 2), 6), 5)), r(((((3, 4), 2), 6), 6)), r(((((3, 4), 2), 6), 7)), r(((((3, 4), 3), 4), 4)), r(((((3, 4), 3), 5), 4)), r(((((3, 4), 3), 5), 5)), r(((((3, 4), 3), 6), 4)), r(((((3, 4), 3), 6), 5)), r(((((3, 4), 3), 6), 6)), r(((((3, 4), 3), 6), 7)), r(((((3, 4), 4), 5), 5)), r(((((3, 4), 4), 6), 5)), r(((((3, 4), 4), 6), 6)), r(((((3, 4), 4), 6), 7)), r(((((3, 4), 5), 6), 6)), r(((((3, 4), 5), 6), 7)), r(((((4, 3), 3), 4), 4)), r(((((4, 4), 3), 4), 4)), r(((((4, 4), 3), 5), 4)), r(((((4, 4), 3), 5), 5)), r(((((4, 4), 3), 6), 4)), r(((((4, 4), 3), 6), 5)), r(((((4, 4), 3), 6), 6)), r(((((4, 4), 3), 6), 7)), r(((((4, 4), 4), 5), 5)), r(((((4, 4), 4), 6), 5)), r(((((4, 4), 4), 6), 6)), r(((((4, 4), 4), 6), 7)), r(((((4, 4), 5), 6), 6)), r(((((4, 4), 5), 6), 7)), r(((((6, 4), 4), 6), 6)), r(((((6, 4), 4), 6), 7)), r(((((6, 4), 5), 6), 6)), r(((((6, 4), 5), 6), 7))]
 (e, f, g): * :sp:f
 (d, f, g): * :sp:f
 (d, e, g): * :sc:e
 (d, e, f): * :sc:e
 (c, f, g): * :sp:f
 (c, e, g): * :sc:e
 (c, e, f): * :sc:e
 (c, d, g): * :sp:d
 (c, d, f): * :sp:d
 (c, d, e): * :sp:d
 (b, f, g): * :sp:f
 (b, e, g): * :sc:e
 (b, e, f): * :sc:e
 (b, d, g): * :sp:d
 (b, d, f): * :sp:d
 (b, d, e): * :sp:d
 (b, c, g): * :sc:c
 (b, c, f): * :sc:c
 (b, c, e): * :sc:c
 (b, c, d): * :sc:c
 (a, f, g): * :sp:f
 (a, e, g): * :sc:e
 (a, e, f): * :sc:e
 (a, d, g): * :sp:d
 (a, d, f): * :sp:d
 (a, d, e): * :sp:d
 (a, c, g): * :sc:c
 (a, c, f): * :sc:c
 (a, c, e): * :sc:c
 (a, c, d): * :sc:c
 (a, b, g): * :sp:b
 (a, b, f): * :sp:b
 (a, b, e): * :sp:b
 (a, b, d): * :sp:b
 (a, b, c): * :sp:b
time:1278.09
100:[r(((((6, 4), 4), 5), 5)), r(((((1, 1), 1), 1), 1)), r(((((1, 1), 1), 2), 1)), r(((((1, 1), 1), 2), 2)), r(((((1, 2), 1), 1), 1)), r(((((1, 2), 1), 2), 1)), r(((((1, 2), 1), 2), 2)), r(((((1, 2), 1), 3), 1)), r(((((1, 2), 1), 3), 2)), r(((((1, 2), 1), 3), 3)), r(((((1, 2), 2), 3), 3)), r(((((3, 1), 1), 1), 1)), r(((((3, 1), 1), 2), 1)), r(((((3, 1), 1), 2), 2)), r(((((3, 2), 1), 1), 1)), r(((((3, 2), 1), 2), 1)), r(((((3, 2), 1), 2), 2)), r(((((3, 2), 1), 3), 1)), r(((((3, 2), 1), 3), 2)), r(((((3, 2), 1), 3), 3)), r(((((3, 2), 2), 3), 3)), r(((((3, 3), 1), 1), 1)), r(((((3, 3), 1), 2), 1)), r(((((3, 3), 1), 2), 2)), r(((((3, 3), 1), 3), 1)), r(((((3, 3), 1), 3), 2)), r(((((3, 3), 1), 3), 3)), r(((((3, 3), 1), 4), 1)), r(((((3, 3), 1), 4), 2)), r(((((3, 3), 1), 4), 3)), r(((((3, 3), 1), 4), 4)), r(((((3, 3), 2), 3), 3)), r(((((3, 3), 2), 4), 3)), r(((((3, 3), 2), 4), 4)), r(((((3, 3), 3), 4), 4)), r(((((3, 4), 1), 1), 1)), r(((((3, 4), 1), 2), 1)), r(((((3, 4), 1), 2), 2)), r(((((3, 4), 1), 3), 1)), r(((((3, 4), 1), 3), 2)), r(((((3, 4), 1), 3), 3)), r(((((3, 4), 1), 4), 1)), r(((((3, 4), 1), 4), 2)), r(((((3, 4), 1), 4), 3)), r(((((3, 4), 1), 4), 4)), r(((((3, 4), 1), 5), 1)), r(((((3, 4), 1), 5), 2)), r(((((3, 4), 1), 5), 3)), r(((((3, 4), 1), 5), 4)), r(((((3, 4), 1), 5), 5)), r(((((3, 4), 1), 6), 1)), r(((((3, 4), 1), 6), 2)), r(((((3, 4), 1), 6), 3)), r(((((3, 4), 1), 6), 4)), r(((((3, 4), 1), 6), 5)), r(((((3, 4), 1), 6), 6)), r(((((3, 4), 1), 6), 7)), r(((((3, 4), 2), 3), 3)), r(((((3, 4), 2), 4), 3)), r(((((3, 4), 2), 4), 4)), r(((((3, 4), 2), 5), 3)), r(((((3, 4), 2), 5), 4)), r(((((3, 4), 2), 5), 5)), r(((((3, 4), 2), 6), 3)), r(((((3, 4), 2), 6), 4)), r(((((3, 4), 2), 6), 5)), r(((((3, 4), 2), 6), 6)), r(((((3, 4), 2), 6), 7)), r(((((3, 4), 3), 4), 4)), r(((((3, 4), 3), 5), 4)), r(((((3, 4), 3), 5), 5)), r(((((3, 4), 3), 6), 4)), r(((((3, 4), 3), 6), 5)), r(((((3, 4), 3), 6), 6)), r(((((3, 4), 3), 6), 7)), r(((((3, 4), 4), 5), 5)), r(((((3, 4), 4), 6), 5)), r(((((3, 4), 4), 6), 6)), r(((((3, 4), 4), 6), 7)), r(((((3, 4), 5), 6), 6)), r(((((3, 4), 5), 6), 7)), r(((((4, 3), 3), 4), 4)), r(((((4, 4), 3), 4), 4)), r(((((4, 4), 3), 5), 4)), r(((((4, 4), 3), 5), 5)), r(((((4, 4), 3), 6), 4)), r(((((4, 4), 3), 6), 5)), r(((((4, 4), 3), 6), 6)), r(((((4, 4), 3), 6), 7)), r(((((4, 4), 4), 5), 5)), r(((((4, 4), 4), 6), 5)), r(((((4, 4), 4), 6), 6)), r(((((4, 4), 4), 6), 7)), r(((((4, 4), 5), 6), 6)), r(((((4, 4), 5), 6), 7)), r(((((6, 4), 4), 6), 5)), r(((((6, 4), 4), 6), 6)), r(((((6, 4), 4), 6), 7)), r(((((6, 4), 5), 6), 6)), r(((((6, 4), 5), 6), 7))]
 (e, f, g): * :sp:f
 (d, f, g): * :sp:f
 (d, e, g): * :sc:e
 (d, e, f): * :sc:e
 (c, f, g): * :sp:f
 (c, e, g): * :sc:e
 (c, e, f): * :sc:e
 (c, d, g): * :sp:d
 (c, d, f): * :sp:d
 (c, d, e): * :sp:d
 (b, f, g): * :sp:f
 (b, e, g): * :sc:e
 (b, e, f): * :sc:e
 (b, d, g): * :sp:d
 (b, d, f): * :sp:d
 (b, d, e): * :sp:d
 (b, c, g): * :sc:c
 (b, c, f): * :sc:c
 (b, c, e): * :sc:c
 (b, c, d): * :sc:c
 (a, f, g): * :sp:f
 (a, e, g): * :sc:e
 (a, e, f): * :sc:e
 (a, d, g): * :sp:d
 (a, d, f): * :sp:d
 (a, d, e): * :sp:d
 (a, c, g): * :sc:c
 (a, c, f): * :sc:c
 (a, c, e): * :sc:c
 (a, c, d): * :sc:c
 (a, b, g): * :sp:b
 (a, b, f): * :sp:b
 (a, b, e): * :sp:b
 (a, b, d): * :sp:b
 (a, b, c): * :sp:b
time:1299.58
%----------  end of data ------------%
% file output end time , [date(2006/6/20), time(16:3:35)]