# ring B(a+7,b+8) minus (B(a,b)+tau): a d dI allowed : working tau_uvw
2 2 0 VSFRL : [(8, -1, -7), (5, 2, -7), (7, -2, -5), (8, -4, -4), (2, 5, -7), (4, 1, -5), (5, -1, -4), (6, -3, -3), (7, -5, -2), (8, -7, -1), (-1, 8, -7), (1, 4, -5), (2, 2, -4), (3, 0, -3), (4, -2, -2), (5, -4, -1), (-2, 7, -5), (-1, 5, -4), (0, 3, -3), (1, 1, -2), (2, -1, -1), (3, -3, 0), (4, -5, 1), (5, -7, 2), (-4, 8, -4), (-3, 6, -3), (-2, 4, -2), (-1, 2, -1), (0, 0, 0), (1, -2, 1), (2, -4, 2), (-5, 7, -2), (-4, 5, -1), (-3, 3, 0), (-2, 1, 1), (-1, -1, 2), (0, -3, 3), (1, -5, 4), (2, -7, 5), (-7, 8, -1), (-5, 4, 1), (-4, 2, 2), (-3, 0, 3), (-2, -2, 4), (-1, -4, 5), (-7, 5, 2), (-5, 1, 4), (-4, -1, 5), (-3, -3, 6), (-2, -5, 7), (-1, -7, 8), (-7, 2, 5), (-5, -2, 7), (-4, -4, 8), (-7, -1, 8)] (0.2s)
5 2 0 VSFRL : [(8, -1, -7), (5, 2, -7), (8, -4, -4), (2, 5, -7), (5, -1, -4), (8, -7, -1), (-1, 8, -7), (2, 2, -4), (5, -4, -1), (-1, 5, -4), (2, -1, -1), (5, -7, 2), (-4, 8, -4), (-1, 2, -1), (0, 0, 0), (2, -4, 2), (-4, 5, -1), (-1, -1, 2), (2, -7, 5), (-7, 8, -1), (-4, 2, 2), (-1, -4, 5), (-7, 5, 2), (-4, -1, 5), (-1, -7, 8), (-7, 2, 5), (-4, -4, 8), (-7, -1, 8)] (0.3s)
8 2 0 VSFRL : [(8, -1, -7), (5, 2, -7), (8, -4, -4), (2, 5, -7), (5, -1, -4), (8, -7, -1), (-1, 8, -7), (2, 2, -4), (5, -4, -1), (-1, 5, -4), (2, -1, -1), (5, -7, 2), (-4, 8, -4), (-1, 2, -1), (2, -4, 2), (-4, 5, -1), (-1, -1, 2), (2, -7, 5), (-7, 8, -1), (-4, 2, 2), (-1, -4, 5), (-7, 5, 2), (-4, -1, 5), (-1, -7, 8), (-7, 2, 5), (-4, -4, 8), (-7, -1, 8)] (0.3s)
11 2 0 VSFRL : [(8, -1, -7), (5, 2, -7), (8, -4, -4), (2, 5, -7), (5, -1, -4), (8, -7, -1), (-1, 8, -7), (2, 2, -4), (5, -4, -1), (-1, 5, -4), (2, -1, -1), (5, -7, 2), (-4, 8, -4), (-1, 2, -1), (2, -4, 2), (-4, 5, -1), (-1, -1, 2), (2, -7, 5), (-7, 8, -1), (-4, 2, 2), (-1, -4, 5), (-7, 5, 2), (-4, -1, 5), (-1, -7, 8), (-7, 2, 5), (-4, -4, 8), (-7, -1, 8)] (0.4s)
14 2 0 VSFRL : [(8, -1, -7), (5, 2, -7), (8, -4, -4), (2, 5, -7), (5, -1, -4), (8, -7, -1), (-1, 8, -7), (2, 2, -4), (5, -4, -1), (-1, 5, -4), (2, -1, -1), (5, -7, 2), (-4, 8, -4), (-1, 2, -1), (2, -4, 2), (-4, 5, -1), (-1, -1, 2), (2, -7, 5), (-7, 8, -1), (-4, 2, 2), (-1, -4, 5), (-7, 5, 2), (-4, -1, 5), (-1, -7, 8), (-7, 2, 5), (-4, -4, 8), (-7, -1, 8)] (0.6s)
17 2 0 VSFRL : [(8, -1, -7), (5, 2, -7), (8, -4, -4), (2, 5, -7), (5, -1, -4), (8, -7, -1), (-1, 8, -7), (2, 2, -4), (5, -4, -1), (-1, 5, -4), (2, -1, -1), (5, -7, 2), (-4, 8, -4), (-1, 2, -1), (2, -4, 2), (-4, 5, -1), (-1, -1, 2), (2, -7, 5), (-7, 8, -1), (-4, 2, 2), (-1, -4, 5), (-7, 5, 2), (-4, -1, 5), (-1, -7, 8), (-7, 2, 5), (-4, -4, 8), (-7, -1, 8)] (0.6s)
20 2 0 VSFRL : [(8, -1, -7), (5, 2, -7), (8, -4, -4), (2, 5, -7), (5, -1, -4), (8, -7, -1), (-1, 8, -7), (2, 2, -4), (5, -4, -1), (-1, 5, -4), (2, -1, -1), (5, -7, 2), (-4, 8, -4), (-1, 2, -1), (2, -4, 2), (-4, 5, -1), (-1, -1, 2), (2, -7, 5), (-7, 8, -1), (-4, 2, 2), (-1, -4, 5), (-7, 5, 2), (-4, -1, 5), (-1, -7, 8), (-7, 2, 5), (-4, -4, 8), (-7, -1, 8)] (0.8s)
23 2 0 VSFRL : [(8, -1, -7), (5, 2, -7), (8, -4, -4), (2, 5, -7), (5, -1, -4), (8, -7, -1), (-1, 8, -7), (2, 2, -4), (5, -4, -1), (-1, 5, -4), (2, -1, -1), (5, -7, 2), (-4, 8, -4), (-1, 2, -1), (2, -4, 2), (-4, 5, -1), (-1, -1, 2), (2, -7, 5), (-7, 8, -1), (-4, 2, 2), (-1, -4, 5), (-7, 5, 2), (-4, -1, 5), (-1, -7, 8), (-7, 2, 5), (-4, -4, 8), (-7, -1, 8)] (0.9s)
26 2 0 VSFRL : [(8, -1, -7), (5, 2, -7), (8, -4, -4), (2, 5, -7), (5, -1, -4), (8, -7, -1), (-1, 8, -7), (2, 2, -4), (5, -4, -1), (-1, 5, -4), (2, -1, -1), (5, -7, 2), (-4, 8, -4), (-1, 2, -1), (2, -4, 2), (-4, 5, -1), (-1, -1, 2), (2, -7, 5), (-7, 8, -1), (-4, 2, 2), (-1, -4, 5), (-7, 5, 2), (-4, -1, 5), (-1, -7, 8), (-7, 2, 5), (-4, -4, 8), (-7, -1, 8)] (1.0s)
3 3 3 VSFR : [(8, -1, -7), (5, 2, -7), (2, 2, -4), (5, -4, -1), (-1, 5, -4), (2, -1, -1), (-1, 2, -1), (2, -4, 2), (-1, -1, 2), (2, -7, 5), (-7, 8, -1), (-4, 2, 2), (-7, 5, 2), (-4, -1, 5), (-1, -7, 8)] (0.2s)
6 3 3 VSFR : [(8, -1, -7), (5, 2, -7), (2, 2, -4), (5, -4, -1), (-1, 5, -4), (2, -4, 2), (2, -7, 5), (-7, 8, -1), (-4, 2, 2), (-7, 5, 2), (-4, -1, 5), (-1, -7, 8)] (0.2s)
9 3 3 VSFR : [(8, -1, -7), (5, -4, -1), (-1, 5, -4), (-7, 8, -1), (-4, -1, 5), (-1, -7, 8)] (0.3s)
12 3 3 VSFR : [(8, -1, -7), (-7, 8, -1), (-1, -7, 8)] (0.3s)
15 3 3 VSFR : [] (0.5s)
18 3 3 VSFR : [] (0.5s)
21 3 3 VSFR : [] (0.6s)
24 3 3 VSFR : [] (0.6s)
4 4 6 VSFR : [(8, -1, -7), (5, 2, -7), (2, 2, -4), (5, -4, -1), (-1, 5, -4), (2, -1, -1), (-1, 2, -1), (2, -4, 2), (-1, -1, 2), (2, -7, 5), (-7, 8, -1), (-4, 2, 2), (-7, 5, 2), (-4, -1, 5), (-1, -7, 8)] (0.2s)
7 4 6 VSFR : [(8, -1, -7), (5, 2, -7), (2, 2, -4), (5, -4, -1), (-1, 5, -4), (2, -4, 2), (2, -7, 5), (-7, 8, -1), (-4, 2, 2), (-7, 5, 2), (-4, -1, 5), (-1, -7, 8)] (0.3s)
10 4 6 VSFR : [(8, -1, -7), (5, -4, -1), (-1, 5, -4), (-7, 8, -1), (-4, -1, 5), (-1, -7, 8)] (0.3s)
13 4 6 VSFR : [(8, -1, -7), (-7, 8, -1), (-1, -7, 8)] (0.4s)
16 4 6 VSFR : [] (0.5s)
19 4 6 VSFR : [] (0.5s)
22 4 6 VSFR : [] (0.6s)
25 4 6 VSFR : [] (0.7s)
# done
