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