0( 787): 0 * * 0 0 0 ( *, *) ( 1, *) ( *, *) ( *, *) ( *, *) ( *, *) [ic,i1,Cn,rn,rn,rn] 6 1( 969): 2 * * 1 1 1 ( *, *) ( 0, *) ( *, *) ( *, *) ( *, *) ( *, *) [C+,r1,Cn,rn,rn,rn] 7 2(1222): 1 * * 2 2 2 ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) [C-,Cn,Cn,rn,rn,rn] 8 3(1311): 7 * * 6 3 3 ( *, *) ( *, *) ( 5, *) ( *, *) ( *, *) ( *, *) [C+,Cn,i1,C+,rn,rn] 8 4(1488): 10 * * 9 4 4 ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) [C+,Cn,Cn,C+,rn,rn] 9 5(1489): 11 * * 8 5 5 ( *, *) ( *, *) ( 3, *) ( *, *) ( *, *) ( *, *) [C+,Cn,r1,C+,rn,rn] 9 6(1561): 13 * * 3 12 6 ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) [C+,Cn,Cn,C-,C+,rn] 9 7(1592): 3 * * 13 7 7 ( *, *) (10, *) (11, *) ( *, *) ( *, *) ( *, *) [C-,i1,i1,C+,rn,rn] 9 8(1746): 16 * * 5 14 8 ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) [C+,Cn,Cn,C-,C+,rn] 10 9(1748): 17 * * 4 15 9 ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) [C+,Cn,Cn,C-,C+,rn] 10 10(1753): 4 * * 17 10 10 ( *, *) ( 7, *) ( *, *) ( *, *) ( *, *) ( *, *) [C-,r1,Cn,C+,rn,rn] 10 11(1754): 5 * * 16 11 11 ( *, *) ( *, *) ( 7, *) ( *, *) ( *, *) ( *, *) [C-,Cn,r1,C+,rn,rn] 10 12(1817): 20 * * 12 6 12 ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) (18,19) [C+,Cn,Cn,rn,C-,i2] 10 13(1832): 6 * * 7 20 13 ( *, *) (17, *) ( *, *) ( *, *) ( *, *) ( *, *) [C-,i1,Cn,C-,C+,rn] 10 14(1996): 23 * * 14 8 25 ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) [C+,Cn,Cn,rn,C-,C+] 11 15(1998): 24 * * 15 9 15 ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) (21,22) [C+,Cn,Cn,rn,C-,i2] 11 16(2004): 8 * * 11 23 16 ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) [C-,Cn,Cn,C-,C+,rn] 11 17(2005): 9 * * 10 24 17 ( *, *) (13, *) ( *, *) ( *, *) ( *, *) ( *, *) [C-,r1,Cn,C-,C+,rn] 11 18(2016): 26 * * 18 18 19 ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) (12, *) [C+,Cn,Cn,rn,rn,r2] 11 19(2016): 27 * * 19 19 18 ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) (12, *) [C+,Cn,Cn,rn,rn,r2] 11 20(2074): 12 * * 20 13 20 ( *, *) (24, *) ( *, *) ( *, *) ( *, *) (26,27) [C-,i1,Cn,rn,C-,i2] 11 21(2220): 29 * * 21 21 22 ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) (15, *) [C+,Cn,Cn,rn,rn,r2] 12 22(2220): 30 * * 22 22 21 ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) (15, *) [C+,Cn,Cn,rn,rn,r2] 12 23(2229): 14 * * 23 16 32 ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) [C-,Cn,Cn,rn,C-,C+] 12 24(2231): 15 * * 24 17 24 ( *, *) (20, *) ( *, *) ( *, *) ( *, *) (29,30) [C-,r1,Cn,rn,C-,i2] 12 25(2242): 32 * * 25 33 14 ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) [C+,Cn,Cn,rn,C+,C-] 12 26(2253): 18 * * 26 26 27 ( *, *) (29, *) ( *, *) ( *, *) ( *, *) (20, *) [C-,i1,Cn,rn,rn,r2] 12 27(2253): 19 * * 27 27 26 ( *, *) (30, *) ( *, *) ( *, *) ( *, *) (20, *) [C-,i1,Cn,rn,rn,r2] 12 28(2314): 28 * * 28 34 28 ( *, *) ( *, *) (31, *) ( *, *) ( *, *) ( *, *) [rn,Cn,i1,ic,C+,rn] 12 29(2424): 21 * * 29 29 30 ( *, *) (26, *) ( *, *) ( *, *) ( *, *) (24, *) [C-,r1,Cn,rn,rn,r2] 13 30(2424): 22 * * 30 30 29 ( *, *) (27, *) ( *, *) ( *, *) ( *, *) (24, *) [C-,r1,Cn,rn,rn,r2] 13 31(2438): 31 * * 36 35 31 ( *, *) ( *, *) (28, *) ( *, *) ( *, *) ( *, *) [rn,Cn,r1,C+,C+,rn] 13 32(2454): 25 * * 32 39 23 ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) [C-,Cn,Cn,rn,C+,C-] 13 33(2460): 39 * * 40 25 33 ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) [C+,Cn,Cn,C+,C-,rn] 13 34(2493): 34 * * 42 28 34 ( *, *) ( *, *) (35, *) ( *, *) ( *, *) (37,38) [rn,Cn,i1,C+,C-,i2] 13 35(2607): 35 * * 46 31 35 ( *, *) ( *, *) (34, *) ( *, *) ( *, *) (43,44) [rn,Cn,r1,C+,C-,i2] 14 36(2611): 36 * * 31 47 36 ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) [rn,Cn,Cn,C-,C+,rn] 14 37(2628): 37 * * 48 37 38 ( *, *) ( *, *) (43, *) ( *, *) ( *, *) (34, *) [rn,Cn,i1,C+,rn,r2] 14 38(2628): 38 * * 49 38 37 ( *, *) ( *, *) (44, *) ( *, *) ( *, *) (34, *) [rn,Cn,i1,C+,rn,r2] 14 39(2633): 33 * * 50 32 39 ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) [C-,Cn,Cn,C+,C-,rn] 14 40(2636): 50 * * 33 40 40 ( *, *) ( *, *) (45, *) ( *, *) ( *, *) ( *, *) [C+,Cn,i2,C-,rn,rn] 14 41(2637): 51 * * 41 41 41 ( *, *) (45, *) ( *, *) ( *, *) ( *, *) ( *, *) [C+,i2,Cn,rn,rn,rn] 14 42(2640): 42 * * 34 42 42 ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) (48,49) [rn,Cn,Cn,C-,ic,i2] 14 43(2733): 43 * * 52 43 44 ( *, *) ( *, *) (37, *) ( *, *) ( *, *) (35, *) [rn,Cn,r1,C+,rn,r2] 15 44(2733): 44 * * 53 44 43 ( *, *) ( *, *) (38, *) ( *, *) ( *, *) (35, *) [rn,Cn,r1,C+,rn,r2] 15 45(2734): 54 * * 45 45 45 ( *, *) (41, *) (40, *) ( *, *) ( *, *) ( *, *) [C+,r1,r1,rn,rn,rn] 15 46(2735): 46 * * 35 55 46 ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) (52,53) [rn,Cn,Cn,C-,C+,i2] 15 47(2739): 47 * * 55 36 58 ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) [rn,Cn,Cn,C+,C-,C+] 15 48(2752): 48 * * 37 56 49 ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) (42, *) [rn,Cn,Cn,C-,C+,r2] 15 49(2752): 49 * * 38 57 48 ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) (42, *) [rn,Cn,Cn,C-,C+,r2] 15 50(2770): 40 * * 39 50 50 ( *, *) ( *, *) (54, *) ( *, *) ( *, *) ( *, *) [C-,Cn,i2,C-,rn,rn] 15 51(2771): 41 * * 51 51 51 ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) [C-,Cn,Cn,rn,rn,rn] 15 52(2837): 52 * * 43 60 53 ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) (46, *) [rn,Cn,Cn,C-,C+,r2] 16 53(2837): 53 * * 44 61 52 ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) (46, *) [rn,Cn,Cn,C-,C+,r2] 16 54(2839): 45 * * 54 54 54 ( *, *) ( *, *) (50, *) ( *, *) ( *, *) ( *, *) [C-,Cn,r1,rn,rn,rn] 16 55(2842): 55 * * 47 46 63 ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) [rn,Cn,Cn,C-,C-,C+] 16 56(2850): 56 * * 56 48 56 ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) [rn,Cn,Cn,rn,C-,ic] 16 57(2850): 57 * * 57 49 57 ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) [rn,Cn,Cn,rn,C-,ic] 16 58(2859): 58 * * 63 65 47 ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) [rn,Cn,Cn,C+,C+,C-] 16 59(2865): 64 * * 62 59 59 ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) [C+,Cn,Cn,C+,rn,rn] 16 60(2912): 60 * * 60 52 67 ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) [rn,Cn,Cn,rn,C-,C+] 17 61(2912): 61 * * 61 53 66 ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) [rn,Cn,Cn,rn,C-,C+] 17 62(2928): 72 * * 59 70 62 ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) [C+,Cn,Cn,C-,C+,rn] 17 63(2929): 63 * * 58 69 55 ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) [rn,Cn,Cn,C-,C+,C-] 17 64(2936): 59 * * 72 64 64 ( *, *) (68, *) ( *, *) ( *, *) ( *, *) ( *, *) [C-,i2,Cn,C+,rn,rn] 17 65(2938): 65 * * 71 58 65 ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) [rn,Cn,Cn,C+,C-,rn] 17 66(2964): 66 * * 66 74 61 ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) [rn,Cn,Cn,rn,C+,C-] 18 67(2964): 67 * * 67 75 60 ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) [rn,Cn,Cn,rn,C+,C-] 18 68(2965): 68 * * 73 68 68 ( *, *) (64, *) ( *, *) ( *, *) ( *, *) ( *, *) [rn,r1,Cn,C+,rn,rn] 18 69(2973): 69 * * 78 63 69 ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) (74,75) [rn,Cn,Cn,C+,C-,i2] 18 70(2975): 79 * * 70 62 70 ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) (76,77) [C+,Cn,Cn,rn,C-,i2] 18 71(2976): 71 * * 65 78 71 ( *, *) ( *, *) (73, *) ( *, *) ( *, *) ( *, *) [rn,Cn,i2,C-,C+,rn] 18 72(2977): 62 * * 64 79 72 ( *, *) (73, *) ( *, *) ( *, *) ( *, *) ( *, *) [C-,i2,Cn,C-,C+,rn] 18 73(2995): 73 * * 68 80 73 ( *, *) (72, *) (71, *) ( *, *) ( *, *) ( *, *) [rn,r1,r1,C-,C+,rn] 19 74(2997): 74 * * 81 66 75 ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) (69, *) [rn,Cn,Cn,C+,C-,r2] 19 75(2997): 75 * * 82 67 74 ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) (69, *) [rn,Cn,Cn,C+,C-,r2] 19 76(2999): 83 * * 76 76 77 ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) (70, *) [C+,Cn,Cn,rn,rn,r2] 19 77(2999): 84 * * 77 77 76 ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) (70, *) [C+,Cn,Cn,rn,rn,r2] 19 78(3001): 78 * * 69 71 78 ( *, *) ( *, *) (80, *) ( *, *) ( *, *) (81,82) [rn,Cn,i2,C-,C-,i2] 19 79(3002): 70 * * 79 72 79 ( *, *) (80, *) ( *, *) ( *, *) ( *, *) (83,84) [C-,i2,Cn,rn,C-,i2] 19 80(3010): 80 * * 80 73 80 ( *, *) (79, *) (78, *) ( *, *) ( *, *) (85,86) [rn,r1,r1,rn,C-,i2] 20 81(3013): 81 * * 74 81 82 ( *, *) ( *, *) (85, *) ( *, *) ( *, *) (78, *) [rn,Cn,i2,C-,rn,r2] 20 82(3013): 82 * * 75 82 81 ( *, *) ( *, *) (86, *) ( *, *) ( *, *) (78, *) [rn,Cn,i2,C-,rn,r2] 20 83(3014): 76 * * 83 83 84 ( *, *) (85, *) ( *, *) ( *, *) ( *, *) (79, *) [C-,i2,Cn,rn,rn,r2] 20 84(3014): 77 * * 84 84 83 ( *, *) (86, *) ( *, *) ( *, *) ( *, *) (79, *) [C-,i2,Cn,rn,rn,r2] 20 85(3016): 85 * * 85 85 86 ( *, *) (83, *) (81, *) ( *, *) ( *, *) (80, *) [rn,r1,r1,rn,rn,r2] 21 86(3016): 86 * * 86 86 85 ( *, *) (84, *) (82, *) ( *, *) ( *, *) (80, *) [rn,r1,r1,rn,rn,r2] 21