0(31):    0    2    0    0     ( *, *)   ( *, *)   ( *, *)   ( *, *)     [ic,C+,rn,rn]   3
 1(31):    1    3    1    1     ( *, *)   ( *, *)   ( *, *)   ( *, *)     [ic,C+,rn,rn]   3
 2(42):    6    0    4    2     ( *, *)   ( *, *)   ( *, *)   ( *, *)     [C+,C-,C+,rn]   4
 3(42):    7    1    5    3     ( *, *)   ( *, *)   ( *, *)   ( *, *)     [C+,C-,C+,rn]   4
 4(54):    9    4    2    5     ( *, *)   ( *, *)   ( *, *)   ( 8, *)     [C+,rn,C-,i2]   5
 5(54):   10    5    3    4     ( *, *)   ( *, *)   ( *, *)   ( 8, *)     [C+,rn,C-,i2]   5
 6(55):    2    6    9    6     ( *, *)   ( *, *)   ( *, *)   ( *, *)     [C-,ic,C+,rn]   5
 7(55):    3    7   10    7     ( *, *)   ( *, *)   ( *, *)   ( *, *)     [C-,ic,C+,rn]   5
 8(61):   11    8    8    8     ( *, *)   ( *, *)   ( *, *)   ( 4, 5)     [C+,rn,rn,r2]   6
 9(63):    4   12    6   10     ( *, *)   ( *, *)   ( *, *)   (11, *)     [C-,C+,C-,i2]   6
10(63):    5   13    7    9     ( *, *)   ( *, *)   ( *, *)   (11, *)     [C-,C+,C-,i2]   6
11(69):    8   14   11   11     ( *, *)   ( *, *)   ( *, *)   ( 9,10)     [C-,C+,rn,r2]   7
12(70):   12    9   12   13     ( *, *)   ( *, *)   ( *, *)   (14, *)     [rn,C-,ic,i2]   7
13(70):   13   10   13   12     ( *, *)   ( *, *)   ( *, *)   (14, *)     [rn,C-,ic,i2]   7
14(74):   14   11   15   14     ( *, *)   ( *, *)   ( *, *)   (12,13)     [rn,C-,C+,r2]   8
15(77):   15   15   14   15     ( *, *)   ( *, *)   ( *, *)   ( *, *)     [rn,rn,C-,ic]   9