0( 9): 0 0 * 0 0 1 ( *, *) ( *, *) ( 2, *) ( *, *) ( *, *) ( 4, *) [ic,ic,i1,ic,ic,i1] 0 1( 18): 1 1 * 1 1 0 ( *, *) ( *, *) ( 3, *) ( *, *) ( *, *) ( 4, *) [ic,ic,i1,ic,ic,i1] 0 2( 64): 2 7 * 9 2 3 ( *, *) ( *, *) ( 0, *) ( *, *) ( *, *) ( 5, *) [ic,C+,r1,C+,ic,i1] 1 3( 73): 3 6 * 8 3 2 ( *, *) ( *, *) ( 1, *) ( *, *) ( *, *) ( 5, *) [ic,C+,r1,C+,ic,i1] 1 4( 100): 4 4 * 4 10 4 ( *, *) ( *, *) ( 5, *) ( *, *) ( *, *) ( 1, 0) [ic,ic,i1,ic,C+,r1] 1 5( 140): 5 14 * 15 13 5 ( *, *) ( *, *) ( 4, *) ( *, *) ( *, *) ( 3, 2) [ic,C+,r1,C+,C+,r1] 2 6( 163): 17 3 * 19 6 7 ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) ( 14, *) [C+,C-,Cn,C+,ic,i1] 2 7( 164): 16 2 * 18 7 6 ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) ( 14, *) [C+,C-,Cn,C+,ic,i1] 2 8( 177): 8 19 * 3 22 9 ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) ( 15, *) [ic,C+,Cn,C-,C+,i1] 2 9( 179): 9 18 * 2 21 8 ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) ( 15, *) [ic,C+,Cn,C-,C+,i1] 2 10( 199): 10 10 * 20 4 10 ( *, *) ( *, *) ( 13, *) ( *, *) ( *, *) ( *, *) [ic,ic,i1,C+,C-,ic] 2 11( 227): 24 27 * 27 29 12 ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) ( 23, *) [C+,C+,Cn,C+,C+,i1] 3 12( 228): 25 26 * 26 30 11 ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) ( 23, *) [C+,C+,Cn,C+,C+,i1] 3 13( 266): 13 32 * 28 5 13 ( *, *) ( *, *) ( 10, *) ( *, *) ( *, *) ( *, *) [ic,C+,r1,C+,C-,ic] 3 14( 273): 33 5 * 34 32 14 ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) ( 7, 6) [C+,C-,Cn,C+,C+,r1] 3 15( 275): 15 34 * 5 31 15 ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) ( 9, 8) [ic,C+,Cn,C-,C+,r1] 3 16( 303): 7 16 * 36 16 17 ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) ( 33, *) [C-,ic,Cn,C+,ic,i1] 3 17( 304): 6 17 * 35 17 16 ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) ( 33, *) [C-,ic,Cn,C+,ic,i1] 3 18( 308): 36 9 * 7 37 19 ( *, *) ( *, *) ( 26, *) ( *, *) ( *, *) ( 34, *) [C+,C-,i1,C-,C+,i1] 3 19( 317): 35 8 * 6 38 18 ( *, *) ( *, *) ( 27, *) ( *, *) ( *, *) ( 34, *) [C+,C-,i1,C-,C+,i1] 3 20( 325): 20 20 * 10 20 20 ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) [ic,ic,Cn,C-,ic,ic] 3 21( 331): 21 37 * 21 9 40 ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) [ic,C+,Cn,ic,C-,C+] 3 22( 339): 22 38 * 22 8 39 ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) [ic,C+,Cn,ic,C-,C+] 3 23( 362): 42 43 * 43 41 23 ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) ( 12, 11) [C+,C+,Cn,C+,C+,r1] 4 24( 377): 11 45 * 47 51 25 ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) ( 42, *) [C-,C+,Cn,C+,C+,i1] 4 25( 379): 12 44 * 46 52 24 ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) ( 42, *) [C-,C+,Cn,C+,C+,i1] 4 26( 385): 46 12 * 12 54 27 ( *, *) ( *, *) ( 18, *) ( *, *) ( *, *) ( 43, *) [C+,C-,r1,C-,C+,i1] 4 27( 388): 47 11 * 11 53 26 ( *, *) ( *, *) ( 19, *) ( *, *) ( *, *) ( 43, *) [C+,C-,r1,C-,C+,i1] 4 28( 394): 28 50 * 13 55 28 ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) [ic,C+,Cn,C-,C+,ic] 4 29( 406): 51 53 * 48 11 62 ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) [C+,C+,Cn,C+,C-,C+] 4 30( 407): 52 54 * 49 12 61 ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) [C+,C+,Cn,C+,C-,C+] 4 31( 425): 31 56 * 55 15 63 ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) [ic,C+,Cn,C+,C-,C+] 4 32( 432): 57 13 * 50 14 32 ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) [C+,C-,Cn,C+,C-,ic] 4 33( 435): 14 33 * 60 57 33 ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) ( 17, 16) [C-,ic,Cn,C+,C+,r1] 4 34( 437): 60 15 * 14 56 34 ( *, *) ( *, *) ( 43, *) ( *, *) ( *, *) ( 19, 18) [C+,C-,i1,C-,C+,r1] 4 35( 484): 19 35 * 17 64 36 ( *, *) ( *, *) ( 47, *) ( *, *) ( *, *) ( 60, *) [C-,ic,i1,C-,C+,i1] 4 36( 490): 18 36 * 16 65 35 ( *, *) ( *, *) ( 46, *) ( *, *) ( *, *) ( 60, *) [C-,ic,i1,C-,C+,i1] 4 37( 497): 65 21 * 37 18 69 ( *, *) ( *, *) ( 54, *) ( *, *) ( *, *) ( *, *) [C+,C-,i1,ic,C-,C+] 4 38( 499): 64 22 * 38 19 68 ( *, *) ( *, *) ( 53, *) ( *, *) ( *, *) ( *, *) [C+,C-,i1,ic,C-,C+] 4 39( 520): 39 68 * 39 66 22 ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) [ic,C+,Cn,ic,C+,C-] 4 40( 523): 40 69 * 40 67 21 ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) [ic,C+,Cn,ic,C+,C-] 4 41( 537): 73 74 * 72 23 79 ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) [C+,C+,Cn,C+,C-,C+] 5 42( 542): 23 75 * 78 73 42 ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) ( 25, 24) [C-,C+,Cn,C+,C+,r1] 5 43( 544): 78 23 * 23 74 43 ( *, *) ( *, *) ( 34, *) ( *, *) ( *, *) ( 27, 26) [C+,C-,r1,C-,C+,r1] 5 44( 562): 80 25 * 80 85 45 ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) ( 75, *) [C+,C-,Cn,C+,C+,i1] 5 45( 563): 81 24 * 81 86 44 ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) ( 75, *) [C+,C-,Cn,C+,C+,i1] 5 46( 576): 26 80 * 25 88 47 ( *, *) ( *, *) ( 36, *) ( *, *) ( *, *) ( 78, *) [C-,C+,r1,C-,C+,i1] 5 47( 578): 27 81 * 24 87 46 ( *, *) ( *, *) ( 35, *) ( *, *) ( *, *) ( 78, *) [C-,C+,r1,C-,C+,i1] 5 48( 588): 83 90 * 29 90 100 ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) [C+,C+,Cn,C-,C+,C+] 5 49( 589): 82 89 * 30 89 99 ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) [C+,C+,Cn,C-,C+,C+] 5 50( 591): 84 28 * 32 91 50 ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) [C+,C-,Cn,C-,C+,ic] 5 51( 598): 29 86 * 83 24 102 ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) [C-,C+,Cn,C+,C-,C+] 5 52( 599): 30 85 * 82 25 101 ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) [C-,C+,Cn,C+,C-,C+] 5 53( 608): 87 29 * 90 27 104 ( *, *) ( *, *) ( 38, *) ( *, *) ( *, *) ( *, *) [C+,C-,r1,C+,C-,C+] 5 54( 610): 88 30 * 89 26 103 ( *, *) ( *, *) ( 37, *) ( *, *) ( *, *) ( *, *) [C+,C-,r1,C+,C-,C+] 5 55( 617): 55 91 * 31 28 105 ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) [ic,C+,Cn,C-,C-,C+] 5 56( 618): 92 31 * 91 34 106 ( *, *) ( *, *) ( 74, *) ( *, *) ( *, *) ( *, *) [C+,C-,i1,C+,C-,C+] 5 57( 627): 32 57 * 84 33 57 ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) [C-,ic,Cn,C+,C-,ic] 5 58( 647): 58 97 * 58 95 58 ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) [ic,C+,Cn,ic,C+,rn] 5 59( 647): 59 98 * 59 96 59 ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) [ic,C+,Cn,ic,C+,rn] 5 60( 650): 34 60 * 33 92 60 ( *, *) ( *, *) ( 78, *) ( *, *) ( *, *) ( 36, 35) [C-,ic,i1,C-,C+,r1] 5 61( 655): 101 103 * 99 93 30 ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) [C+,C+,Cn,C+,C+,C-] 5 62( 657): 102 104 * 100 94 29 ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) [C+,C+,Cn,C+,C+,C-] 5 63( 675): 63 106 * 105 107 31 ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) [ic,C+,Cn,C+,C+,C-] 5 64( 702): 38 64 * 64 35 113 ( *, *) ( *, *) ( 87, *) ( *, *) ( *, *) ( *, *) [C-,ic,i1,ic,C-,C+] 5 65( 705): 37 65 * 65 36 112 ( *, *) ( *, *) ( 88, *) ( *, *) ( *, *) ( *, *) [C-,ic,i1,ic,C-,C+] 5 66( 707): 66 111 * 109 39 67 ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) (107, *) [ic,C+,Cn,C+,C-,i1] 5 67( 714): 67 110 * 108 40 66 ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) (107, *) [ic,C+,Cn,C+,C-,i1] 5 68( 722): 113 39 * 68 111 38 ( *, *) ( *, *) (104, *) ( *, *) ( *, *) ( *, *) [C+,C-,i1,ic,C+,C-] 5 69( 726): 112 40 * 69 110 37 ( *, *) ( *, *) (103, *) ( *, *) ( *, *) ( *, *) [C+,C-,i1,ic,C+,C-] 5 70( 732): 115 117 * 115 117 127 ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) [C+,C+,Cn,C+,C+,C+] 6 71( 733): 114 118 * 114 118 126 ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) [C+,C+,Cn,C+,C+,C+] 6 72( 737): 116 119 * 41 119 133 ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) [C+,C+,Cn,C-,C+,C+] 6 73( 745): 41 120 * 116 42 134 ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) [C-,C+,Cn,C+,C-,C+] 6 74( 747): 121 41 * 119 43 135 ( *, *) ( *, *) ( 56, *) ( *, *) ( *, *) ( *, *) [C+,C-,r1,C+,C-,C+] 6 75( 757): 130 42 * 130 120 75 ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) ( 45, 44) [C+,C-,Cn,C+,C+,r1] 6 76( 758): 128 124 * 131 122 76 ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) [C+,C+,Cn,C+,C+,rn] 6 77( 758): 129 125 * 132 123 77 ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) [C+,C+,Cn,C+,C+,rn] 6 78( 763): 43 130 * 42 121 78 ( *, *) ( *, *) ( 60, *) ( *, *) ( *, *) ( 47, 46) [C-,C+,r1,C-,C+,r1] 6 79( 776): 134 135 * 133 136 41 ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) [C+,C+,Cn,C+,C+,C-] 6 80( 800): 44 46 * 44 144 81 ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) (130, *) [C-,C-,Cn,C-,C+,i1] 6 81( 803): 45 47 * 45 145 80 ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) (130, *) [C-,C-,Cn,C-,C+,i1] 6 82( 807): 49 138 * 52 146 160 ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) [C-,C+,Cn,C-,C+,C+] 6 83( 809): 48 139 * 51 147 161 ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) [C-,C+,Cn,C-,C+,C+] 6 84( 811): 50 84 * 57 148 84 ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) [C-,ic,Cn,C-,C+,ic] 6 85( 817): 144 52 * 138 44 163 ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) [C+,C-,Cn,C+,C-,C+] 6 86( 818): 145 51 * 139 45 164 ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) [C+,C-,Cn,C+,C-,C+] 6 87( 826): 53 145 * 147 47 166 ( *, *) ( *, *) ( 64, *) ( *, *) ( *, *) ( *, *) [C-,C+,r1,C+,C-,C+] 6 88( 828): 54 144 * 146 46 165 ( *, *) ( *, *) ( 65, *) ( *, *) ( *, *) ( *, *) [C-,C+,r1,C+,C-,C+] 6 89( 833): 146 49 * 54 49 167 ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) [C+,C-,Cn,C-,C-,C+] 6 90( 834): 147 48 * 53 48 168 ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) [C+,C-,Cn,C-,C-,C+] 6 91( 841): 148 55 * 56 50 169 ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) [C+,C-,Cn,C-,C-,C+] 6 92( 845): 56 92 * 148 60 170 ( *, *) ( *, *) (121, *) ( *, *) ( *, *) ( *, *) [C-,ic,i1,C+,C-,C+] 6 93( 850): 153 156 * 140 61 94 ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) (136, *) [C+,C+,Cn,C+,C-,i1] 6 94( 853): 154 155 * 141 62 93 ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) (136, *) [C+,C+,Cn,C+,C-,i1] 6 95( 856): 95 151 * 142 58 96 ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) (137, *) [ic,C+,Cn,C+,C-,i2] 6 96( 856): 96 152 * 143 59 95 ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) (137, *) [ic,C+,Cn,C+,C-,i2] 6 97( 877): 158 58 * 97 151 97 ( *, *) ( *, *) (124, *) ( *, *) ( *, *) ( *, *) [C+,C-,i1,ic,C+,rn] 6 98( 877): 159 59 * 98 152 98 ( *, *) ( *, *) (125, *) ( *, *) ( *, *) ( *, *) [C+,C-,i1,ic,C+,rn] 6 99( 880): 160 167 * 61 149 49 ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) [C+,C+,Cn,C-,C+,C-] 6 100( 881): 161 168 * 62 150 48 ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) [C+,C+,Cn,C-,C+,C-] 6 101( 886): 61 163 * 160 153 52 ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) [C-,C+,Cn,C+,C+,C-] 6 102( 888): 62 164 * 161 154 51 ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) [C-,C+,Cn,C+,C+,C-] 6 103( 894): 165 61 * 167 156 54 ( *, *) ( *, *) ( 69, *) ( *, *) ( *, *) ( *, *) [C+,C-,r1,C+,C+,C-] 6 104( 897): 166 62 * 168 155 53 ( *, *) ( *, *) ( 68, *) ( *, *) ( *, *) ( *, *) [C+,C-,r1,C+,C+,C-] 6 105( 902): 105 169 * 63 157 55 ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) [ic,C+,Cn,C-,C+,C-] 6 106( 908): 170 63 * 169 171 56 ( *, *) ( *, *) (135, *) ( *, *) ( *, *) ( *, *) [C+,C-,i1,C+,C+,C-] 6 107( 917): 107 171 * 162 63 107 ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) ( 67, 66) [ic,C+,Cn,C+,C-,r1] 6 108( 932): 108 173 * 67 108 109 ( *, *) ( *, *) (143, *) ( *, *) ( *, *) (162, *) [ic,C+,i1,C-,ic,i1] 6 109( 937): 109 172 * 66 109 108 ( *, *) ( *, *) (142, *) ( *, *) ( *, *) (162, *) [ic,C+,i1,C-,ic,i1] 6 110( 941): 174 67 * 173 69 111 ( *, *) ( *, *) (156, *) ( *, *) ( *, *) (171, *) [C+,C-,i1,C+,C-,i1] 6 111( 943): 175 66 * 172 68 110 ( *, *) ( *, *) (155, *) ( *, *) ( *, *) (171, *) [C+,C-,i1,C+,C-,i1] 6 112( 955): 69 112 * 112 174 65 ( *, *) ( *, *) (165, *) ( *, *) ( *, *) ( *, *) [C-,ic,i1,ic,C+,C-] 6 113( 960): 68 113 * 113 175 64 ( *, *) ( *, *) (166, *) ( *, *) ( *, *) ( *, *) [C-,ic,i1,ic,C+,C-] 6 114( 972): 71 180 * 71 184 204 ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) [C-,C+,Cn,C-,C+,C+] 7 115( 973): 70 179 * 70 185 203 ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) [C-,C+,Cn,C-,C+,C+] 7 116( 975): 72 181 * 73 186 207 ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) [C-,C+,Cn,C-,C+,C+] 7 117( 979): 185 70 * 179 70 210 ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) [C+,C-,Cn,C+,C-,C+] 7 118( 980): 184 71 * 180 71 211 ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) [C+,C-,Cn,C+,C-,C+] 7 119( 985): 186 72 * 74 72 212 ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) [C+,C-,Cn,C-,C-,C+] 7 120( 987): 189 73 * 181 75 213 ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) [C+,C-,Cn,C+,C-,C+] 7 121( 989): 74 189 * 186 78 214 ( *, *) ( *, *) ( 92, *) ( *, *) ( *, *) ( *, *) [C-,C+,r1,C+,C-,C+] 7 122( 996): 195 193 * 182 76 123 ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) (178, *) [C+,C+,Cn,C+,C-,i2] 7 123( 996): 196 194 * 183 77 122 ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) (178, *) [C+,C+,Cn,C+,C-,i2] 7 124(1006): 197 76 * 201 193 124 ( *, *) ( *, *) ( 97, *) ( *, *) ( *, *) ( *, *) [C+,C-,r1,C+,C+,rn] 7 125(1006): 198 77 * 202 194 125 ( *, *) ( *, *) ( 98, *) ( *, *) ( *, *) ( *, *) [C+,C-,r1,C+,C+,rn] 7 126(1008): 204 211 * 204 188 71 ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) [C+,C+,Cn,C+,C+,C-] 7 127(1009): 203 210 * 203 187 70 ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) [C+,C+,Cn,C+,C+,C-] 7 128(1011): 76 199 * 205 195 128 ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) [C-,C+,Cn,C+,C+,rn] 7 129(1011): 77 200 * 206 196 129 ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) [C-,C+,Cn,C+,C+,rn] 7 130(1014): 75 78 * 75 189 130 ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) ( 81, 80) [C-,C-,Cn,C-,C+,r1] 7 131(1016): 205 201 * 76 190 131 ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) [C+,C+,Cn,C-,C+,rn] 7 132(1016): 206 202 * 77 191 132 ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) [C+,C+,Cn,C-,C+,rn] 7 133(1019): 207 212 * 79 192 72 ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) [C+,C+,Cn,C-,C+,C-] 7 134(1025): 79 213 * 207 216 73 ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) [C-,C+,Cn,C+,C+,C-] 7 135(1029): 214 79 * 212 217 74 ( *, *) ( *, *) (106, *) ( *, *) ( *, *) ( *, *) [C+,C-,r1,C+,C+,C-] 7 136(1035): 216 217 * 208 79 136 ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) ( 94, 93) [C+,C+,Cn,C+,C-,r1] 7 137(1038): 137 215 * 209 137 137 ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) ( 95, 96) [ic,C+,Cn,C+,rn,r2] 7 138(1059): 225 82 * 85 225 241 ( *, *) ( *, *) (179, *) ( *, *) ( *, *) ( *, *) [C+,C-,i1,C-,C+,C+] 7 139(1060): 224 83 * 86 224 240 ( *, *) ( *, *) (180, *) ( *, *) ( *, *) ( *, *) [C+,C-,i1,C-,C+,C+] 7 140(1063): 218 222 * 93 227 141 ( *, *) ( *, *) (183, *) ( *, *) ( *, *) (208, *) [C+,C+,i1,C-,C+,i1] 7 141(1065): 219 223 * 94 226 140 ( *, *) ( *, *) (182, *) ( *, *) ( *, *) (208, *) [C+,C+,i1,C-,C+,i1] 7 142(1073): 142 220 * 95 142 143 ( *, *) ( *, *) (109, *) ( *, *) ( *, *) (209, *) [ic,C+,r1,C-,ic,i2] 7 143(1073): 143 221 * 96 143 142 ( *, *) ( *, *) (108, *) ( *, *) ( *, *) (209, *) [ic,C+,r1,C-,ic,i2] 7 144(1081): 85 88 * 225 80 243 ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) [C-,C-,Cn,C+,C-,C+] 7 145(1083): 86 87 * 224 81 244 ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) [C-,C-,Cn,C+,C-,C+] 7 146(1092): 89 225 * 88 82 245 ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) [C-,C+,Cn,C-,C-,C+] 7 147(1093): 90 224 * 87 83 246 ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) [C-,C+,Cn,C-,C-,C+] 7 148(1096): 91 148 * 92 84 247 ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) [C-,ic,Cn,C-,C-,C+] 7 149(1101): 229 237 * 227 99 248 ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) [C+,C+,Cn,C+,C-,C+] 7 150(1103): 228 236 * 226 100 249 ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) [C+,C+,Cn,C+,C-,C+] 7 151(1113): 230 95 * 220 97 152 ( *, *) ( *, *) (193, *) ( *, *) ( *, *) (215, *) [C+,C-,i1,C+,C-,i2] 7 152(1113): 231 96 * 221 98 151 ( *, *) ( *, *) (194, *) ( *, *) ( *, *) (215, *) [C+,C-,i1,C+,C-,i2] 7 153(1116): 93 233 * 218 101 154 ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) (216, *) [C-,C+,Cn,C+,C-,i1] 7 154(1117): 94 232 * 219 102 153 ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) (216, *) [C-,C+,Cn,C+,C-,i1] 7 155(1123): 235 94 * 223 104 156 ( *, *) ( *, *) (111, *) ( *, *) ( *, *) (217, *) [C+,C-,r1,C+,C-,i1] 7 156(1126): 234 93 * 222 103 155 ( *, *) ( *, *) (110, *) ( *, *) ( *, *) (217, *) [C+,C-,r1,C+,C-,i1] 7 157(1133): 157 238 * 239 105 157 ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) [ic,C+,Cn,C+,C-,ic] 7 158(1137): 97 158 * 158 230 158 ( *, *) ( *, *) (197, *) ( *, *) ( *, *) ( *, *) [C-,ic,i1,ic,C+,rn] 7 159(1137): 98 159 * 159 231 159 ( *, *) ( *, *) (198, *) ( *, *) ( *, *) ( *, *) [C-,ic,i1,ic,C+,rn] 7 160(1142): 99 241 * 101 229 82 ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) [C-,C+,Cn,C-,C+,C-] 7 161(1143): 100 240 * 102 228 83 ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) [C-,C+,Cn,C-,C+,C-] 7 162(1144): 162 242 * 107 239 162 ( *, *) ( *, *) (209, *) ( *, *) ( *, *) (109,108) [ic,C+,i2,C-,C+,r1] 7 163(1149): 243 101 * 241 233 85 ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) [C+,C-,Cn,C+,C+,C-] 7 164(1150): 244 102 * 240 232 86 ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) [C+,C-,Cn,C+,C+,C-] 7 165(1155): 103 243 * 245 234 88 ( *, *) ( *, *) (112, *) ( *, *) ( *, *) ( *, *) [C-,C+,r1,C+,C+,C-] 7 166(1158): 104 244 * 246 235 87 ( *, *) ( *, *) (113, *) ( *, *) ( *, *) ( *, *) [C-,C+,r1,C+,C+,C-] 7 167(1163): 245 99 * 103 237 89 ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) [C+,C-,Cn,C-,C+,C-] 7 168(1165): 246 100 * 104 236 90 ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) [C+,C-,Cn,C-,C+,C-] 7 169(1170): 247 105 * 106 238 91 ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) [C+,C-,Cn,C-,C+,C-] 7 170(1177): 106 170 * 247 250 92 ( *, *) ( *, *) (214, *) ( *, *) ( *, *) ( *, *) [C-,ic,i1,C+,C+,C-] 7 171(1185): 250 107 * 242 106 171 ( *, *) ( *, *) (217, *) ( *, *) ( *, *) (111,110) [C+,C-,i1,C+,C-,r1] 7 172(1194): 252 109 * 111 172 173 ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) (242, *) [C+,C-,Cn,C-,ic,i1] 7 173(1201): 251 108 * 110 173 172 ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) (242, *) [C+,C-,Cn,C-,ic,i1] 7 174(1202): 110 174 * 251 112 175 ( *, *) ( *, *) (234, *) ( *, *) ( *, *) (250, *) [C-,ic,i1,C+,C-,i1] 7 175(1210): 111 175 * 252 113 174 ( *, *) ( *, *) (235, *) ( *, *) ( *, *) (250, *) [C-,ic,i1,C+,C-,i1] 7 176(1216): 257 255 * 257 253 176 ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) [C+,C+,Cn,C+,C+,rn] 8 177(1216): 258 256 * 258 254 177 ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) [C+,C+,Cn,C+,C+,rn] 8 178(1220): 261 260 * 259 178 178 ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) (122,123) [C+,C+,Cn,C+,rn,r2] 8 179(1227): 269 115 * 117 269 296 ( *, *) ( *, *) (138, *) ( *, *) ( *, *) ( *, *) [C+,C-,r1,C-,C+,C+] 8 180(1228): 268 114 * 118 268 295 ( *, *) ( *, *) (139, *) ( *, *) ( *, *) ( *, *) [C+,C-,r1,C-,C+,C+] 8 181(1230): 270 116 * 120 270 297 ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) [C+,C-,Cn,C-,C+,C+] 8 182(1232): 266 264 * 122 271 183 ( *, *) ( *, *) (141, *) ( *, *) ( *, *) (259, *) [C+,C+,r1,C-,C+,i2] 8 183(1232): 267 265 * 123 272 182 ( *, *) ( *, *) (140, *) ( *, *) ( *, *) (259, *) [C+,C+,r1,C-,C+,i2] 8 184(1239): 118 268 * 268 114 302 ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) [C-,C+,Cn,C+,C-,C+] 8 185(1240): 117 269 * 269 115 301 ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) [C-,C+,Cn,C+,C-,C+] 8 186(1243): 119 270 * 121 116 303 ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) [C-,C+,Cn,C-,C-,C+] 8 187(1249): 275 286 * 263 127 305 ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) [C+,C+,Cn,C+,C-,C+] 8 188(1250): 276 285 * 262 126 304 ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) [C+,C+,Cn,C+,C-,C+] 8 189(1251): 120 121 * 270 130 306 ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) [C-,C-,Cn,C+,C-,C+] 8 190(1252): 277 273 * 271 131 307 ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) [C+,C+,Cn,C+,C-,C+] 8 191(1252): 278 274 * 272 132 308 ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) [C+,C+,Cn,C+,C-,C+] 8 192(1258): 279 287 * 280 133 309 ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) [C+,C+,Cn,C+,C-,C+] 8 193(1263): 281 122 * 264 124 194 ( *, *) ( *, *) (151, *) ( *, *) ( *, *) (260, *) [C+,C-,r1,C+,C-,i2] 8 194(1263): 282 123 * 265 125 193 ( *, *) ( *, *) (152, *) ( *, *) ( *, *) (260, *) [C+,C-,r1,C+,C-,i2] 8 195(1266): 122 283 * 266 128 196 ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) (261, *) [C-,C+,Cn,C+,C-,i2] 8 196(1266): 123 284 * 267 129 195 ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) (261, *) [C-,C+,Cn,C+,C-,i2] 8 197(1272): 124 289 * 293 281 197 ( *, *) ( *, *) (158, *) ( *, *) ( *, *) ( *, *) [C-,C+,r1,C+,C+,rn] 8 198(1272): 125 290 * 294 282 198 ( *, *) ( *, *) (159, *) ( *, *) ( *, *) ( *, *) [C-,C+,r1,C+,C+,rn] 8 199(1275): 289 128 * 291 283 199 ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) [C+,C-,Cn,C+,C+,rn] 8 200(1275): 290 129 * 292 284 200 ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) [C+,C-,Cn,C+,C+,rn] 8 201(1278): 293 131 * 124 273 201 ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) [C+,C-,Cn,C-,C+,rn] 8 202(1278): 294 132 * 125 274 202 ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) [C+,C-,Cn,C-,C+,rn] 8 203(1280): 127 296 * 127 275 115 ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) [C-,C+,Cn,C-,C+,C-] 8 204(1281): 126 295 * 126 276 114 ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) [C-,C+,Cn,C-,C+,C-] 8 205(1283): 131 291 * 128 277 205 ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) [C-,C+,Cn,C-,C+,rn] 8 206(1283): 132 292 * 129 278 206 ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) [C-,C+,Cn,C-,C+,rn] 8 207(1284): 133 297 * 134 279 116 ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) [C-,C+,Cn,C-,C+,C-] 8 208(1286): 298 300 * 136 280 208 ( *, *) ( *, *) (259, *) ( *, *) ( *, *) (141,140) [C+,C+,i2,C-,C+,r1] 8 209(1288): 209 299 * 137 288 209 ( *, *) ( *, *) (162, *) ( *, *) ( *, *) (142,143) [ic,C+,r1,C-,C+,r2] 8 210(1291): 301 127 * 296 286 117 ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) [C+,C-,Cn,C+,C+,C-] 8 211(1292): 302 126 * 295 285 118 ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) [C+,C-,Cn,C+,C+,C-] 8 212(1295): 303 133 * 135 287 119 ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) [C+,C-,Cn,C-,C+,C-] 8 213(1300): 306 134 * 297 311 120 ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) [C+,C-,Cn,C+,C+,C-] 8 214(1303): 135 306 * 303 312 121 ( *, *) ( *, *) (170, *) ( *, *) ( *, *) ( *, *) [C-,C+,r1,C+,C+,C-] 8 215(1310): 310 137 * 299 215 215 ( *, *) ( *, *) (260, *) ( *, *) ( *, *) (151,152) [C+,C-,i1,C+,rn,r2] 8 216(1313): 136 311 * 298 134 216 ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) (154,153) [C-,C+,Cn,C+,C-,r1] 8 217(1315): 312 136 * 300 135 217 ( *, *) ( *, *) (171, *) ( *, *) ( *, *) (156,155) [C+,C-,r1,C+,C-,r1] 8 218(1329): 140 313 * 153 320 219 ( *, *) ( *, *) (267, *) ( *, *) ( *, *) (298, *) [C-,C+,i1,C-,C+,i1] 8 219(1332): 141 314 * 154 319 218 ( *, *) ( *, *) (266, *) ( *, *) ( *, *) (298, *) [C-,C+,i1,C-,C+,i1] 8 220(1342): 315 142 * 151 220 221 ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) (299, *) [C+,C-,Cn,C-,ic,i2] 8 221(1342): 316 143 * 152 221 220 ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) (299, *) [C+,C-,Cn,C-,ic,i2] 8 222(1344): 317 140 * 156 322 223 ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) (300, *) [C+,C-,Cn,C-,C+,i1] 8 223(1345): 318 141 * 155 321 222 ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) (300, *) [C+,C-,Cn,C-,C+,i1] 8 224(1358): 139 147 * 145 139 333 ( *, *) ( *, *) (268, *) ( *, *) ( *, *) ( *, *) [C-,C-,i1,C-,C-,C+] 8 225(1359): 138 146 * 144 138 332 ( *, *) ( *, *) (269, *) ( *, *) ( *, *) ( *, *) [C-,C-,i1,C-,C-,C+] 8 226(1361): 319 321 * 150 141 334 ( *, *) ( *, *) (271, *) ( *, *) ( *, *) ( *, *) [C+,C+,i1,C-,C-,C+] 8 227(1362): 320 322 * 149 140 335 ( *, *) ( *, *) (272, *) ( *, *) ( *, *) ( *, *) [C+,C+,i1,C-,C-,C+] 8 228(1368): 150 324 * 319 161 337 ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) [C-,C+,Cn,C+,C-,C+] 8 229(1369): 149 323 * 320 160 336 ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) [C-,C+,Cn,C+,C-,C+] 8 230(1376): 151 230 * 315 158 231 ( *, *) ( *, *) (281, *) ( *, *) ( *, *) (310, *) [C-,ic,i1,C+,C-,i2] 8 231(1376): 152 231 * 316 159 230 ( *, *) ( *, *) (282, *) ( *, *) ( *, *) (310, *) [C-,ic,i1,C+,C-,i2] 8 232(1380): 326 154 * 314 164 233 ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) (311, *) [C+,C-,Cn,C+,C-,i1] 8 233(1381): 325 153 * 313 163 232 ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) (311, *) [C+,C-,Cn,C+,C-,i1] 8 234(1386): 156 325 * 317 165 235 ( *, *) ( *, *) (174, *) ( *, *) ( *, *) (312, *) [C-,C+,r1,C+,C-,i1] 8 235(1387): 155 326 * 318 166 234 ( *, *) ( *, *) (175, *) ( *, *) ( *, *) (312, *) [C-,C+,r1,C+,C-,i1] 8 236(1395): 328 150 * 321 168 339 ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) [C+,C-,Cn,C+,C-,C+] 8 237(1396): 327 149 * 322 167 338 ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) [C+,C-,Cn,C+,C-,C+] 8 238(1399): 329 157 * 330 169 238 ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) [C+,C-,Cn,C+,C-,ic] 8 239(1404): 239 330 * 157 162 239 ( *, *) ( *, *) (288, *) ( *, *) ( *, *) ( *, *) [ic,C+,i2,C-,C-,ic] 8 240(1409): 333 161 * 164 324 139 ( *, *) ( *, *) (295, *) ( *, *) ( *, *) ( *, *) [C+,C-,i1,C-,C+,C-] 8 241(1410): 332 160 * 163 323 138 ( *, *) ( *, *) (296, *) ( *, *) ( *, *) ( *, *) [C+,C-,i1,C-,C+,C-] 8 242(1413): 331 162 * 171 330 242 ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) (173,172) [C+,C-,Cn,C-,C+,r1] 8 243(1414): 163 165 * 332 325 144 ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) [C-,C-,Cn,C+,C+,C-] 8 244(1416): 164 166 * 333 326 145 ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) [C-,C-,Cn,C+,C+,C-] 8 245(1421): 167 332 * 165 327 146 ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) [C-,C+,Cn,C-,C+,C-] 8 246(1422): 168 333 * 166 328 147 ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) [C-,C+,Cn,C-,C+,C-] 8 247(1429): 169 247 * 170 329 148 ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) [C-,ic,Cn,C-,C+,C-] 8 248(1435): 336 338 * 335 338 149 ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) [C+,C+,Cn,C+,C+,C-] 8 249(1437): 337 339 * 334 339 150 ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) [C+,C+,Cn,C+,C+,C-] 8 250(1447): 171 250 * 331 170 250 ( *, *) ( *, *) (312, *) ( *, *) ( *, *) (175,174) [C-,ic,i1,C+,C-,r1] 8 251(1465): 173 251 * 174 251 252 ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) (331, *) [C-,ic,Cn,C-,ic,i1] 8 252(1476): 172 252 * 175 252 251 ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) (331, *) [C-,ic,Cn,C-,ic,i1] 8 253(1478): 344 342 * 340 176 353 ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) [C+,C+,Cn,C+,C-,C+] 9 254(1478): 345 343 * 341 177 354 ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) [C+,C+,Cn,C+,C-,C+] 9 255(1481): 347 176 * 349 342 255 ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) [C+,C-,Cn,C+,C+,rn] 9 256(1481): 348 177 * 350 343 256 ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) [C+,C-,Cn,C+,C+,rn] 9 257(1483): 176 349 * 176 344 257 ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) [C-,C+,Cn,C-,C+,rn] 9 258(1483): 177 350 * 177 345 258 ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) [C-,C+,Cn,C-,C+,rn] 9 259(1484): 352 351 * 178 346 259 ( *, *) ( *, *) (208, *) ( *, *) ( *, *) (182,183) [C+,C+,r1,C-,C+,r2] 9 260(1489): 355 178 * 351 260 260 ( *, *) ( *, *) (215, *) ( *, *) ( *, *) (193,194) [C+,C-,r1,C+,rn,r2] 9 261(1490): 178 356 * 352 261 261 ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) (195,196) [C-,C+,Cn,C+,rn,r2] 9 262(1497): 364 361 * 188 364 386 ( *, *) ( *, *) (340, *) ( *, *) ( *, *) ( *, *) [C+,C+,i1,C-,C+,C+] 9 263(1498): 363 362 * 187 363 387 ( *, *) ( *, *) (341, *) ( *, *) ( *, *) ( *, *) [C+,C+,i1,C-,C+,C+] 9 264(1500): 359 182 * 193 365 265 ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) (351, *) [C+,C-,Cn,C-,C+,i2] 9 265(1500): 360 183 * 194 366 264 ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) (351, *) [C+,C-,Cn,C-,C+,i2] 9 266(1501): 182 357 * 195 367 267 ( *, *) ( *, *) (219, *) ( *, *) ( *, *) (352, *) [C-,C+,r1,C-,C+,i2] 9 267(1501): 183 358 * 196 368 266 ( *, *) ( *, *) (218, *) ( *, *) ( *, *) (352, *) [C-,C+,r1,C-,C+,i2] 9 268(1509): 180 184 * 184 180 392 ( *, *) ( *, *) (224, *) ( *, *) ( *, *) ( *, *) [C-,C-,r1,C-,C-,C+] 9 269(1510): 179 185 * 185 179 391 ( *, *) ( *, *) (225, *) ( *, *) ( *, *) ( *, *) [C-,C-,r1,C-,C-,C+] 9 270(1513): 181 186 * 189 181 393 ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) [C-,C-,Cn,C-,C-,C+] 9 271(1515): 367 365 * 190 182 394 ( *, *) ( *, *) (226, *) ( *, *) ( *, *) ( *, *) [C+,C+,r1,C-,C-,C+] 9 272(1515): 368 366 * 191 183 395 ( *, *) ( *, *) (227, *) ( *, *) ( *, *) ( *, *) [C+,C+,r1,C-,C-,C+] 9 273(1520): 371 190 * 365 201 398 ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) [C+,C-,Cn,C+,C-,C+] 9 274(1520): 372 191 * 366 202 399 ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) [C+,C-,Cn,C+,C-,C+] 9 275(1522): 187 374 * 363 203 397 ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) [C-,C+,Cn,C+,C-,C+] 9 276(1523): 188 373 * 364 204 396 ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) [C-,C+,Cn,C+,C-,C+] 9 277(1524): 190 369 * 367 205 400 ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) [C-,C+,Cn,C+,C-,C+] 9 278(1524): 191 370 * 368 206 401 ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) [C-,C+,Cn,C+,C-,C+] 9 279(1528): 192 375 * 376 207 402 ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) [C-,C+,Cn,C+,C-,C+] 9 280(1530): 376 377 * 192 208 403 ( *, *) ( *, *) (346, *) ( *, *) ( *, *) ( *, *) [C+,C+,i2,C-,C-,C+] 9 281(1534): 193 378 * 359 197 282 ( *, *) ( *, *) (230, *) ( *, *) ( *, *) (355, *) [C-,C+,r1,C+,C-,i2] 9 282(1534): 194 379 * 360 198 281 ( *, *) ( *, *) (231, *) ( *, *) ( *, *) (355, *) [C-,C+,r1,C+,C-,i2] 9 283(1535): 378 195 * 357 199 284 ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) (356, *) [C+,C-,Cn,C+,C-,i2] 9 284(1535): 379 196 * 358 200 283 ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) (356, *) [C+,C-,Cn,C+,C-,i2] 9 285(1537): 380 188 * 361 211 404 ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) [C+,C-,Cn,C+,C-,C+] 9 286(1538): 381 187 * 362 210 405 ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) [C+,C-,Cn,C+,C-,C+] 9 287(1541): 382 192 * 377 212 409 ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) [C+,C-,Cn,C+,C-,C+] 9 288(1547): 288 383 * 288 209 288 ( *, *) ( *, *) (239, *) ( *, *) ( *, *) ( *, *) [ic,C+,r1,rn,C-,ic] 9 289(1548): 199 197 * 384 378 289 ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) [C-,C-,Cn,C+,C+,rn] 9 290(1548): 200 198 * 385 379 290 ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) [C-,C-,Cn,C+,C+,rn] 9 291(1550): 384 205 * 199 369 291 ( *, *) ( *, *) (349, *) ( *, *) ( *, *) ( *, *) [C+,C-,i1,C-,C+,rn] 9 292(1550): 385 206 * 200 370 292 ( *, *) ( *, *) (350, *) ( *, *) ( *, *) ( *, *) [C+,C-,i1,C-,C+,rn] 9 293(1553): 201 384 * 197 371 293 ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) [C-,C+,Cn,C-,C+,rn] 9 294(1553): 202 385 * 198 372 294 ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) [C-,C+,Cn,C-,C+,rn] 9 295(1554): 392 204 * 211 373 180 ( *, *) ( *, *) (240, *) ( *, *) ( *, *) ( *, *) [C+,C-,r1,C-,C+,C-] 9 296(1555): 391 203 * 210 374 179 ( *, *) ( *, *) (241, *) ( *, *) ( *, *) ( *, *) [C+,C-,r1,C-,C+,C-] 9 297(1556): 393 207 * 213 375 181 ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) [C+,C-,Cn,C-,C+,C-] 9 298(1559): 208 388 * 216 376 298 ( *, *) ( *, *) (352, *) ( *, *) ( *, *) (219,218) [C-,C+,i2,C-,C+,r1] 9 299(1563): 389 209 * 215 383 299 ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) (220,221) [C+,C-,Cn,C-,C+,r2] 9 300(1564): 390 208 * 217 377 300 ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) (223,222) [C+,C-,Cn,C-,C+,r1] 9 301(1566): 210 391 * 391 381 185 ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) [C-,C+,Cn,C+,C+,C-] 9 302(1567): 211 392 * 392 380 184 ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) [C-,C+,Cn,C+,C+,C-] 9 303(1570): 212 393 * 214 382 186 ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) [C-,C+,Cn,C-,C+,C-] 9 304(1575): 396 404 * 386 404 188 ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) [C+,C+,Cn,C+,C+,C-] 9 305(1576): 397 405 * 387 405 187 ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) [C+,C+,Cn,C+,C+,C-] 9 306(1577): 213 214 * 393 406 189 ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) [C-,C-,Cn,C+,C+,C-] 9 307(1578): 400 398 * 394 407 190 ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) [C+,C+,Cn,C+,C+,C-] 9 308(1578): 401 399 * 395 408 191 ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) [C+,C+,Cn,C+,C+,C-] 9 309(1584): 402 409 * 403 409 192 ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) [C+,C+,Cn,C+,C+,C-] 9 310(1593): 215 310 * 389 310 310 ( *, *) ( *, *) (355, *) ( *, *) ( *, *) (230,231) [C-,ic,i1,C+,rn,r2] 9 311(1594): 406 216 * 388 213 311 ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) (233,232) [C+,C-,Cn,C+,C-,r1] 9 312(1596): 217 406 * 390 214 312 ( *, *) ( *, *) (250, *) ( *, *) ( *, *) (235,234) [C-,C+,r1,C+,C-,r1] 9 313(1622): 410 218 * 233 412 314 ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) (388, *) [C+,C-,Cn,C-,C+,i1] 9 314(1624): 411 219 * 232 413 313 ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) (388, *) [C+,C-,Cn,C-,C+,i1] 9 315(1630): 220 315 * 230 315 316 ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) (389, *) [C-,ic,Cn,C-,ic,i2] 9 316(1630): 221 316 * 231 316 315 ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) (389, *) [C-,ic,Cn,C-,ic,i2] 9 317(1637): 222 410 * 234 415 318 ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) (390, *) [C-,C+,Cn,C-,C+,i1] 9 318(1639): 223 411 * 235 414 317 ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) (390, *) [C-,C+,Cn,C-,C+,i1] 9 319(1652): 226 413 * 228 219 422 ( *, *) ( *, *) (367, *) ( *, *) ( *, *) ( *, *) [C-,C+,i1,C-,C-,C+] 9 320(1653): 227 412 * 229 218 421 ( *, *) ( *, *) (368, *) ( *, *) ( *, *) ( *, *) [C-,C+,i1,C-,C-,C+] 9 321(1659): 414 226 * 236 223 424 ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) [C+,C-,Cn,C-,C-,C+] 9 322(1661): 415 227 * 237 222 423 ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) [C+,C-,Cn,C-,C-,C+] 9 323(1663): 417 229 * 412 241 426 ( *, *) ( *, *) (374, *) ( *, *) ( *, *) ( *, *) [C+,C-,i1,C+,C-,C+] 9 324(1665): 416 228 * 413 240 425 ( *, *) ( *, *) (373, *) ( *, *) ( *, *) ( *, *) [C+,C-,i1,C+,C-,C+] 9 325(1666): 233 234 * 410 243 326 ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) (406, *) [C-,C-,Cn,C+,C-,i1] 9 326(1667): 232 235 * 411 244 325 ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) (406, *) [C-,C-,Cn,C+,C-,i1] 9 327(1673): 237 417 * 415 245 427 ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) [C-,C+,Cn,C+,C-,C+] 9 328(1675): 236 416 * 414 246 428 ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) [C-,C+,Cn,C+,C-,C+] 9 329(1680): 238 329 * 420 247 329 ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) [C-,ic,Cn,C+,C-,ic] 9 330(1684): 420 239 * 238 242 330 ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) [C+,C-,Cn,C-,C-,ic] 9 331(1690): 242 331 * 250 420 331 ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) (252,251) [C-,ic,Cn,C-,C+,r1] 9 332(1700): 241 245 * 243 417 225 ( *, *) ( *, *) (391, *) ( *, *) ( *, *) ( *, *) [C-,C-,i1,C-,C+,C-] 9 333(1701): 240 246 * 244 416 224 ( *, *) ( *, *) (392, *) ( *, *) ( *, *) ( *, *) [C-,C-,i1,C-,C+,C-] 9 334(1705): 422 424 * 249 418 226 ( *, *) ( *, *) (394, *) ( *, *) ( *, *) ( *, *) [C+,C+,i1,C-,C+,C-] 9 335(1708): 421 423 * 248 419 227 ( *, *) ( *, *) (395, *) ( *, *) ( *, *) ( *, *) [C+,C+,i1,C-,C+,C-] 9 336(1709): 248 426 * 421 427 229 ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) [C-,C+,Cn,C+,C+,C-] 9 337(1710): 249 425 * 422 428 228 ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) [C-,C+,Cn,C+,C+,C-] 9 338(1717): 427 248 * 423 248 237 ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) [C+,C-,Cn,C+,C-,C-] 9 339(1719): 428 249 * 424 249 236 ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) [C+,C-,Cn,C+,C-,C-] 9 340(1737): 431 429 * 253 431 441 ( *, *) ( *, *) (262, *) ( *, *) ( *, *) ( *, *) [C+,C+,r1,C-,C+,C+] 10 341(1737): 432 430 * 254 432 442 ( *, *) ( *, *) (263, *) ( *, *) ( *, *) ( *, *) [C+,C+,r1,C-,C+,C+] 10 342(1739): 433 253 * 429 255 445 ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) [C+,C-,Cn,C+,C-,C+] 10 343(1739): 434 254 * 430 256 446 ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) [C+,C-,Cn,C+,C-,C+] 10 344(1740): 253 435 * 431 257 447 ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) [C-,C+,Cn,C+,C-,C+] 10 345(1740): 254 436 * 432 258 448 ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) [C-,C+,Cn,C+,C-,C+] 10 346(1742): 438 437 * 346 259 449 ( *, *) ( *, *) (280, *) ( *, *) ( *, *) ( *, *) [C+,C+,r1,rn,C-,C+] 10 347(1744): 255 439 * 439 433 347 ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) [C-,C+,Cn,C+,C+,rn] 10 348(1744): 256 440 * 440 434 348 ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) [C-,C+,Cn,C+,C+,rn] 10 349(1745): 439 257 * 255 435 349 ( *, *) ( *, *) (291, *) ( *, *) ( *, *) ( *, *) [C+,C-,r1,C-,C+,rn] 10 350(1745): 440 258 * 256 436 350 ( *, *) ( *, *) (292, *) ( *, *) ( *, *) ( *, *) [C+,C-,r1,C-,C+,rn] 10 351(1746): 444 259 * 260 437 351 ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) (264,265) [C+,C-,Cn,C-,C+,r2] 10 352(1747): 259 443 * 261 438 352 ( *, *) ( *, *) (298, *) ( *, *) ( *, *) (266,267) [C-,C+,r1,C-,C+,r2] 10 353(1749): 447 445 * 441 451 253 ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) [C+,C+,Cn,C+,C+,C-] 10 354(1749): 448 446 * 442 452 254 ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) [C+,C+,Cn,C+,C+,C-] 10 355(1754): 260 450 * 444 355 355 ( *, *) ( *, *) (310, *) ( *, *) ( *, *) (281,282) [C-,C+,r1,C+,rn,r2] 10 356(1755): 450 261 * 443 356 356 ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) (283,284) [C+,C-,Cn,C+,rn,r2] 10 357(1769): 453 266 * 283 457 358 ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) (443, *) [C+,C-,Cn,C-,C+,i2] 10 358(1769): 454 267 * 284 458 357 ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) (443, *) [C+,C-,Cn,C-,C+,i2] 10 359(1770): 264 453 * 281 459 360 ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) (444, *) [C-,C+,Cn,C-,C+,i2] 10 360(1770): 265 454 * 282 460 359 ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) (444, *) [C-,C+,Cn,C-,C+,i2] 10 361(1772): 456 262 * 285 461 475 ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) [C+,C-,Cn,C-,C+,C+] 10 362(1773): 455 263 * 286 462 476 ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) [C+,C-,Cn,C-,C+,C+] 10 363(1785): 263 462 * 275 263 480 ( *, *) ( *, *) (432, *) ( *, *) ( *, *) ( *, *) [C-,C+,i1,C-,C-,C+] 10 364(1786): 262 461 * 276 262 481 ( *, *) ( *, *) (431, *) ( *, *) ( *, *) ( *, *) [C-,C+,i1,C-,C-,C+] 10 365(1787): 459 271 * 273 264 482 ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) [C+,C-,Cn,C-,C-,C+] 10 366(1787): 460 272 * 274 265 483 ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) [C+,C-,Cn,C-,C-,C+] 10 367(1789): 271 457 * 277 266 484 ( *, *) ( *, *) (319, *) ( *, *) ( *, *) ( *, *) [C-,C+,r1,C-,C-,C+] 10 368(1789): 272 458 * 278 267 485 ( *, *) ( *, *) (320, *) ( *, *) ( *, *) ( *, *) [C-,C+,r1,C-,C-,C+] 10 369(1795): 463 277 * 457 291 486 ( *, *) ( *, *) (435, *) ( *, *) ( *, *) ( *, *) [C+,C-,i1,C+,C-,C+] 10 370(1795): 464 278 * 458 292 487 ( *, *) ( *, *) (436, *) ( *, *) ( *, *) ( *, *) [C+,C-,i1,C+,C-,C+] 10 371(1798): 273 463 * 459 293 488 ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) [C-,C+,Cn,C+,C-,C+] 10 372(1798): 274 464 * 460 294 489 ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) [C-,C+,Cn,C+,C-,C+] 10 373(1799): 470 276 * 461 295 490 ( *, *) ( *, *) (324, *) ( *, *) ( *, *) ( *, *) [C+,C-,r1,C+,C-,C+] 10 374(1800): 469 275 * 462 296 491 ( *, *) ( *, *) (323, *) ( *, *) ( *, *) ( *, *) [C+,C-,r1,C+,C-,C+] 10 375(1801): 471 279 * 467 297 492 ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) [C+,C-,Cn,C+,C-,C+] 10 376(1804): 280 467 * 279 298 493 ( *, *) ( *, *) (438, *) ( *, *) ( *, *) ( *, *) [C-,C+,i2,C-,C-,C+] 10 377(1805): 468 280 * 287 300 494 ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) [C+,C-,Cn,C-,C-,C+] 10 378(1807): 283 281 * 453 289 379 ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) (450, *) [C-,C-,Cn,C+,C-,i2] 10 379(1807): 284 282 * 454 290 378 ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) (450, *) [C-,C-,Cn,C+,C-,i2] 10 380(1809): 285 470 * 456 302 496 ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) [C-,C+,Cn,C+,C-,C+] 10 381(1810): 286 469 * 455 301 495 ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) [C-,C+,Cn,C+,C-,C+] 10 382(1812): 287 471 * 468 303 501 ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) [C-,C+,Cn,C+,C-,C+] 10 383(1816): 474 288 * 383 299 383 ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) [C+,C-,Cn,rn,C-,ic] 10 384(1824): 291 293 * 289 463 384 ( *, *) ( *, *) (439, *) ( *, *) ( *, *) ( *, *) [C-,C-,i1,C-,C+,rn] 10 385(1824): 292 294 * 290 464 385 ( *, *) ( *, *) (440, *) ( *, *) ( *, *) ( *, *) [C-,C-,i1,C-,C+,rn] 10 386(1829): 481 475 * 304 466 262 ( *, *) ( *, *) (441, *) ( *, *) ( *, *) ( *, *) [C+,C+,i1,C-,C+,C-] 10 387(1830): 480 476 * 305 465 263 ( *, *) ( *, *) (442, *) ( *, *) ( *, *) ( *, *) [C+,C+,i1,C-,C+,C-] 10 388(1831): 477 298 * 311 467 388 ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) (314,313) [C+,C-,Cn,C-,C+,r1] 10 389(1834): 299 389 * 310 474 389 ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) (315,316) [C-,ic,Cn,C-,C+,r2] 10 390(1836): 300 477 * 312 468 390 ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) (318,317) [C-,C+,Cn,C-,C+,r1] 10 391(1839): 296 301 * 301 469 269 ( *, *) ( *, *) (332, *) ( *, *) ( *, *) ( *, *) [C-,C-,r1,C-,C+,C-] 10 392(1840): 295 302 * 302 470 268 ( *, *) ( *, *) (333, *) ( *, *) ( *, *) ( *, *) [C-,C-,r1,C-,C+,C-] 10 393(1844): 297 303 * 306 471 270 ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) [C-,C-,Cn,C-,C+,C-] 10 394(1845): 484 482 * 307 472 271 ( *, *) ( *, *) (334, *) ( *, *) ( *, *) ( *, *) [C+,C+,r1,C-,C+,C-] 10 395(1845): 485 483 * 308 473 272 ( *, *) ( *, *) (335, *) ( *, *) ( *, *) ( *, *) [C+,C+,r1,C-,C+,C-] 10 396(1848): 304 490 * 481 496 276 ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) [C-,C+,Cn,C+,C+,C-] 10 397(1849): 305 491 * 480 495 275 ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) [C-,C+,Cn,C+,C+,C-] 10 398(1851): 488 307 * 482 497 273 ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) [C+,C-,Cn,C+,C+,C-] 10 399(1851): 489 308 * 483 498 274 ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) [C+,C-,Cn,C+,C+,C-] 10 400(1853): 307 486 * 484 499 277 ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) [C-,C+,Cn,C+,C+,C-] 10 401(1853): 308 487 * 485 500 278 ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) [C-,C+,Cn,C+,C+,C-] 10 402(1856): 309 492 * 493 501 279 ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) [C-,C+,Cn,C+,C+,C-] 10 403(1858): 493 494 * 309 502 280 ( *, *) ( *, *) (449, *) ( *, *) ( *, *) ( *, *) [C+,C+,i2,C-,C+,C-] 10 404(1863): 496 304 * 475 304 285 ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) [C+,C-,Cn,C+,C-,C-] 10 405(1864): 495 305 * 476 305 286 ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) [C+,C-,Cn,C+,C-,C-] 10 406(1865): 311 312 * 477 306 406 ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) (326,325) [C-,C-,Cn,C+,C-,r1] 10 407(1867): 499 497 * 478 307 407 ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) [C+,C+,Cn,C+,C-,rn] 10 408(1867): 500 498 * 479 308 408 ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) [C+,C+,Cn,C+,C-,rn] 10 409(1870): 501 309 * 494 309 287 ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) [C+,C-,Cn,C+,C-,C-] 10 410(1895): 313 317 * 325 503 411 ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) (477, *) [C-,C-,Cn,C-,C+,i1] 10 411(1897): 314 318 * 326 504 410 ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) (477, *) [C-,C-,Cn,C-,C+,i1] 10 412(1913): 503 320 * 323 313 509 ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) [C+,C-,Cn,C-,C-,C+] 10 413(1916): 504 319 * 324 314 510 ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) [C+,C-,Cn,C-,C-,C+] 10 414(1917): 321 504 * 328 318 512 ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) [C-,C+,Cn,C-,C-,C+] 10 415(1920): 322 503 * 327 317 511 ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) [C-,C+,Cn,C-,C-,C+] 10 416(1930): 324 328 * 504 333 514 ( *, *) ( *, *) (470, *) ( *, *) ( *, *) ( *, *) [C-,C-,i1,C+,C-,C+] 10 417(1931): 323 327 * 503 332 513 ( *, *) ( *, *) (469, *) ( *, *) ( *, *) ( *, *) [C-,C-,i1,C+,C-,C+] 10 418(1938): 505 508 * 508 334 419 ( *, *) ( *, *) (472, *) ( *, *) ( *, *) (502, *) [C+,C+,i1,C+,C-,i1] 10 419(1940): 506 507 * 507 335 418 ( *, *) ( *, *) (473, *) ( *, *) ( *, *) (502, *) [C+,C+,i1,C+,C-,i1] 10 420(1942): 330 420 * 329 331 420 ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) [C-,ic,Cn,C-,C-,ic] 10 421(1954): 335 509 * 336 506 320 ( *, *) ( *, *) (485, *) ( *, *) ( *, *) ( *, *) [C-,C+,i1,C-,C+,C-] 10 422(1956): 334 510 * 337 505 319 ( *, *) ( *, *) (484, *) ( *, *) ( *, *) ( *, *) [C-,C+,i1,C-,C+,C-] 10 423(1957): 511 335 * 338 507 322 ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) [C+,C-,Cn,C-,C+,C-] 10 424(1960): 512 334 * 339 508 321 ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) [C+,C-,Cn,C-,C+,C-] 10 425(1966): 514 337 * 510 514 324 ( *, *) ( *, *) (490, *) ( *, *) ( *, *) ( *, *) [C+,C-,i1,C+,C+,C-] 10 426(1967): 513 336 * 509 513 323 ( *, *) ( *, *) (491, *) ( *, *) ( *, *) ( *, *) [C+,C-,i1,C+,C+,C-] 10 427(1975): 338 513 * 511 336 327 ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) [C-,C+,Cn,C+,C-,C-] 10 428(1976): 339 514 * 512 337 328 ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) [C-,C+,Cn,C+,C-,C-] 10 429(1990): 515 340 * 342 517 525 ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) [C+,C-,Cn,C-,C+,C+] 11 430(1990): 516 341 * 343 518 526 ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) [C+,C-,Cn,C-,C+,C+] 11 431(1992): 340 517 * 344 340 530 ( *, *) ( *, *) (364, *) ( *, *) ( *, *) ( *, *) [C-,C+,r1,C-,C-,C+] 11 432(1992): 341 518 * 345 341 531 ( *, *) ( *, *) (363, *) ( *, *) ( *, *) ( *, *) [C-,C+,r1,C-,C-,C+] 11 433(1994): 342 519 * 515 347 532 ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) [C-,C+,Cn,C+,C-,C+] 11 434(1994): 343 520 * 516 348 533 ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) [C-,C+,Cn,C+,C-,C+] 11 435(1995): 519 344 * 517 349 534 ( *, *) ( *, *) (369, *) ( *, *) ( *, *) ( *, *) [C+,C-,r1,C+,C-,C+] 11 436(1995): 520 345 * 518 350 535 ( *, *) ( *, *) (370, *) ( *, *) ( *, *) ( *, *) [C+,C-,r1,C+,C-,C+] 11 437(1996): 524 346 * 437 351 536 ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) [C+,C-,Cn,rn,C-,C+] 11 438(1997): 346 523 * 438 352 537 ( *, *) ( *, *) (376, *) ( *, *) ( *, *) ( *, *) [C-,C+,r1,rn,C-,C+] 11 439(2000): 349 347 * 347 519 439 ( *, *) ( *, *) (384, *) ( *, *) ( *, *) ( *, *) [C-,C-,r1,C-,C+,rn] 11 440(2000): 350 348 * 348 520 440 ( *, *) ( *, *) (385, *) ( *, *) ( *, *) ( *, *) [C-,C-,r1,C-,C+,rn] 11 441(2002): 530 525 * 353 521 340 ( *, *) ( *, *) (386, *) ( *, *) ( *, *) ( *, *) [C+,C+,r1,C-,C+,C-] 11 442(2002): 531 526 * 354 522 341 ( *, *) ( *, *) (387, *) ( *, *) ( *, *) ( *, *) [C+,C+,r1,C-,C+,C-] 11 443(2003): 527 352 * 356 523 443 ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) (357,358) [C+,C-,Cn,C-,C+,r2] 11 444(2004): 351 527 * 355 524 444 ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) (359,360) [C-,C+,Cn,C-,C+,r2] 11 445(2006): 532 353 * 525 538 342 ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) [C+,C-,Cn,C+,C+,C-] 11 446(2006): 533 354 * 526 539 343 ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) [C+,C-,Cn,C+,C+,C-] 11 447(2007): 353 534 * 530 542 344 ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) [C-,C+,Cn,C+,C+,C-] 11 448(2007): 354 535 * 531 543 345 ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) [C-,C+,Cn,C+,C+,C-] 11 449(2009): 537 536 * 449 544 346 ( *, *) ( *, *) (403, *) ( *, *) ( *, *) ( *, *) [C+,C+,r1,rn,C+,C-] 11 450(2011): 356 355 * 527 450 450 ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) (378,379) [C-,C-,Cn,C+,rn,r2] 11 451(2012): 542 538 * 528 353 451 ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) [C+,C+,Cn,C+,C-,rn] 11 452(2012): 543 539 * 529 354 452 ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) [C+,C+,Cn,C+,C-,rn] 11 453(2027): 357 359 * 378 545 454 ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) (527, *) [C-,C-,Cn,C-,C+,i2] 11 454(2027): 358 360 * 379 546 453 ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) (527, *) [C-,C-,Cn,C-,C+,i2] 11 455(2030): 362 547 * 381 547 560 ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) [C-,C+,Cn,C-,C+,C+] 11 456(2031): 361 548 * 380 548 561 ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) [C-,C+,Cn,C-,C+,C+] 11 457(2041): 545 367 * 369 357 566 ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) [C+,C-,Cn,C-,C-,C+] 11 458(2041): 546 368 * 370 358 567 ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) [C+,C-,Cn,C-,C-,C+] 11 459(2044): 365 545 * 371 359 570 ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) [C-,C+,Cn,C-,C-,C+] 11 460(2044): 366 546 * 372 360 571 ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) [C-,C+,Cn,C-,C-,C+] 11 461(2045): 548 364 * 373 361 569 ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) [C+,C-,Cn,C-,C-,C+] 11 462(2046): 547 363 * 374 362 568 ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) [C+,C-,Cn,C-,C-,C+] 11 463(2049): 369 371 * 545 384 572 ( *, *) ( *, *) (519, *) ( *, *) ( *, *) ( *, *) [C-,C-,i1,C+,C-,C+] 11 464(2049): 370 372 * 546 385 573 ( *, *) ( *, *) (520, *) ( *, *) ( *, *) ( *, *) [C-,C-,i1,C+,C-,C+] 11 465(2054): 552 549 * 549 387 575 ( *, *) ( *, *) (522, *) ( *, *) ( *, *) ( *, *) [C+,C+,i1,C+,C-,C+] 11 466(2055): 553 550 * 550 386 574 ( *, *) ( *, *) (521, *) ( *, *) ( *, *) ( *, *) [C+,C+,i1,C+,C-,C+] 11 467(2056): 551 376 * 375 388 576 ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) [C+,C-,Cn,C-,C-,C+] 11 468(2057): 377 551 * 382 390 577 ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) [C-,C+,Cn,C-,C-,C+] 11 469(2064): 374 381 * 547 391 583 ( *, *) ( *, *) (417, *) ( *, *) ( *, *) ( *, *) [C-,C-,r1,C+,C-,C+] 11 470(2065): 373 380 * 548 392 582 ( *, *) ( *, *) (416, *) ( *, *) ( *, *) ( *, *) [C-,C-,r1,C+,C-,C+] 11 471(2068): 375 382 * 551 393 584 ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) [C-,C-,Cn,C+,C-,C+] 11 472(2070): 556 554 * 558 394 473 ( *, *) ( *, *) (418, *) ( *, *) ( *, *) (544, *) [C+,C+,r1,C+,C-,i2] 11 473(2070): 557 555 * 559 395 472 ( *, *) ( *, *) (419, *) ( *, *) ( *, *) (544, *) [C+,C+,r1,C+,C-,i2] 11 474(2073): 383 474 * 474 389 474 ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) [C-,ic,Cn,rn,C-,ic] 11 475(2084): 561 386 * 404 550 361 ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) [C+,C-,Cn,C-,C+,C-] 11 476(2085): 560 387 * 405 549 362 ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) [C+,C-,Cn,C-,C+,C-] 11 477(2086): 388 390 * 406 551 477 ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) (411,410) [C-,C-,Cn,C-,C+,r1] 11 478(2088): 562 564 * 407 558 478 ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) [C+,C+,Cn,C-,C+,rn] 11 479(2088): 563 565 * 408 559 479 ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) [C+,C+,Cn,C-,C+,rn] 11 480(2094): 387 568 * 397 552 363 ( *, *) ( *, *) (531, *) ( *, *) ( *, *) ( *, *) [C-,C+,i1,C-,C+,C-] 11 481(2095): 386 569 * 396 553 364 ( *, *) ( *, *) (530, *) ( *, *) ( *, *) ( *, *) [C-,C+,i1,C-,C+,C-] 11 482(2097): 570 394 * 398 554 365 ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) [C+,C-,Cn,C-,C+,C-] 11 483(2097): 571 395 * 399 555 366 ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) [C+,C-,Cn,C-,C+,C-] 11 484(2099): 394 566 * 400 556 367 ( *, *) ( *, *) (422, *) ( *, *) ( *, *) ( *, *) [C-,C+,r1,C-,C+,C-] 11 485(2099): 395 567 * 401 557 368 ( *, *) ( *, *) (421, *) ( *, *) ( *, *) ( *, *) [C-,C+,r1,C-,C+,C-] 11 486(2104): 572 400 * 566 578 369 ( *, *) ( *, *) (534, *) ( *, *) ( *, *) ( *, *) [C+,C-,i1,C+,C+,C-] 11 487(2104): 573 401 * 567 579 370 ( *, *) ( *, *) (535, *) ( *, *) ( *, *) ( *, *) [C+,C-,i1,C+,C+,C-] 11 488(2107): 398 572 * 570 580 371 ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) [C-,C+,Cn,C+,C+,C-] 11 489(2107): 399 573 * 571 581 372 ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) [C-,C+,Cn,C+,C+,C-] 11 490(2108): 582 396 * 569 582 373 ( *, *) ( *, *) (425, *) ( *, *) ( *, *) ( *, *) [C+,C-,r1,C+,C+,C-] 11 491(2109): 583 397 * 568 583 374 ( *, *) ( *, *) (426, *) ( *, *) ( *, *) ( *, *) [C+,C-,r1,C+,C+,C-] 11 492(2110): 584 402 * 576 584 375 ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) [C+,C-,Cn,C+,C+,C-] 11 493(2113): 403 576 * 402 585 376 ( *, *) ( *, *) (537, *) ( *, *) ( *, *) ( *, *) [C-,C+,i2,C-,C+,C-] 11 494(2118): 577 403 * 409 586 377 ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) [C+,C-,Cn,C-,C+,C-] 11 495(2121): 405 583 * 560 397 381 ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) [C-,C+,Cn,C+,C-,C-] 11 496(2122): 404 582 * 561 396 380 ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) [C-,C+,Cn,C+,C-,C-] 11 497(2124): 580 407 * 564 398 497 ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) [C+,C-,Cn,C+,C-,rn] 11 498(2124): 581 408 * 565 399 498 ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) [C+,C-,Cn,C+,C-,rn] 11 499(2126): 407 578 * 562 400 499 ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) [C-,C+,Cn,C+,C-,rn] 11 500(2126): 408 579 * 563 401 500 ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) [C-,C+,Cn,C+,C-,rn] 11 501(2127): 409 584 * 577 402 382 ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) [C-,C+,Cn,C+,C-,C-] 11 502(2131): 585 586 * 586 403 502 ( *, *) ( *, *) (544, *) ( *, *) ( *, *) (419,418) [C+,C+,i2,C+,C-,r1] 11 503(2174): 412 415 * 417 410 591 ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) [C-,C-,Cn,C-,C-,C+] 11 504(2175): 413 414 * 416 411 592 ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) [C-,C-,Cn,C-,C-,C+] 11 505(2188): 418 588 * 590 422 506 ( *, *) ( *, *) (556, *) ( *, *) ( *, *) (585, *) [C-,C+,i1,C+,C-,i1] 11 506(2189): 419 587 * 589 421 505 ( *, *) ( *, *) (557, *) ( *, *) ( *, *) (585, *) [C-,C+,i1,C+,C-,i1] 11 507(2192): 589 419 * 419 423 508 ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) (586, *) [C+,C-,Cn,C-,C-,i1] 11 508(2193): 590 418 * 418 424 507 ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) (586, *) [C+,C-,Cn,C-,C-,i1] 11 509(2204): 591 421 * 426 587 412 ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) [C+,C-,Cn,C-,C+,C-] 11 510(2206): 592 422 * 425 588 413 ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) [C+,C-,Cn,C-,C+,C-] 11 511(2208): 423 591 * 427 589 415 ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) [C-,C+,Cn,C-,C+,C-] 11 512(2210): 424 592 * 428 590 414 ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) [C-,C+,Cn,C-,C+,C-] 11 513(2216): 426 427 * 591 426 417 ( *, *) ( *, *) (583, *) ( *, *) ( *, *) ( *, *) [C-,C-,i1,C+,C-,C-] 11 514(2218): 425 428 * 592 425 416 ( *, *) ( *, *) (582, *) ( *, *) ( *, *) ( *, *) [C-,C-,i1,C+,C-,C-] 11 515(2222): 429 595 * 433 595 604 ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) [C-,C+,Cn,C-,C+,C+] 12 516(2222): 430 596 * 434 596 605 ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) [C-,C+,Cn,C-,C+,C+] 12 517(2224): 595 431 * 435 429 612 ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) [C+,C-,Cn,C-,C-,C+] 12 518(2224): 596 432 * 436 430 613 ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) [C+,C-,Cn,C-,C-,C+] 12 519(2225): 435 433 * 595 439 614 ( *, *) ( *, *) (463, *) ( *, *) ( *, *) ( *, *) [C-,C-,r1,C+,C-,C+] 12 520(2225): 436 434 * 596 440 615 ( *, *) ( *, *) (464, *) ( *, *) ( *, *) ( *, *) [C-,C-,r1,C+,C-,C+] 12 521(2227): 602 597 * 600 441 616 ( *, *) ( *, *) (466, *) ( *, *) ( *, *) ( *, *) [C+,C+,r1,C+,C-,C+] 12 522(2227): 603 598 * 601 442 617 ( *, *) ( *, *) (465, *) ( *, *) ( *, *) ( *, *) [C+,C+,r1,C+,C-,C+] 12 523(2228): 599 438 * 523 443 618 ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) [C+,C-,Cn,rn,C-,C+] 12 524(2229): 437 599 * 524 444 619 ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) [C-,C+,Cn,rn,C-,C+] 12 525(2235): 604 441 * 445 597 429 ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) [C+,C-,Cn,C-,C+,C-] 12 526(2235): 605 442 * 446 598 430 ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) [C+,C-,Cn,C-,C+,C-] 12 527(2236): 443 444 * 450 599 527 ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) (453,454) [C-,C-,Cn,C-,C+,r2] 12 528(2237): 608 606 * 451 600 528 ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) [C+,C+,Cn,C-,C+,rn] 12 529(2237): 609 607 * 452 601 529 ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) [C+,C+,Cn,C-,C+,rn] 12 530(2238): 441 612 * 447 602 431 ( *, *) ( *, *) (481, *) ( *, *) ( *, *) ( *, *) [C-,C+,r1,C-,C+,C-] 12 531(2238): 442 613 * 448 603 432 ( *, *) ( *, *) (480, *) ( *, *) ( *, *) ( *, *) [C-,C+,r1,C-,C+,C-] 12 532(2239): 445 614 * 604 620 433 ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) [C-,C+,Cn,C+,C+,C-] 12 533(2239): 446 615 * 605 621 434 ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) [C-,C+,Cn,C+,C+,C-] 12 534(2241): 614 447 * 612 624 435 ( *, *) ( *, *) (486, *) ( *, *) ( *, *) ( *, *) [C+,C-,r1,C+,C+,C-] 12 535(2241): 615 448 * 613 625 436 ( *, *) ( *, *) (487, *) ( *, *) ( *, *) ( *, *) [C+,C-,r1,C+,C+,C-] 12 536(2242): 619 449 * 536 626 437 ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) [C+,C-,Cn,rn,C+,C-] 12 537(2243): 449 618 * 537 627 438 ( *, *) ( *, *) (493, *) ( *, *) ( *, *) ( *, *) [C-,C+,r1,rn,C+,C-] 12 538(2245): 620 451 * 606 445 538 ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) [C+,C-,Cn,C+,C-,rn] 12 539(2245): 621 452 * 607 446 539 ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) [C+,C-,Cn,C+,C-,rn] 12 540(2247): 622 540 * 610 540 540 ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) [C+,rn,Cn,C+,rn,rn] 12 541(2247): 623 541 * 611 541 541 ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) [C+,rn,Cn,C+,rn,rn] 12 542(2249): 451 624 * 608 447 542 ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) [C-,C+,Cn,C+,C-,rn] 12 543(2249): 452 625 * 609 448 543 ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) [C-,C+,Cn,C+,C-,rn] 12 544(2251): 627 626 * 628 449 544 ( *, *) ( *, *) (502, *) ( *, *) ( *, *) (472,473) [C+,C+,r1,C+,C-,r2] 12 545(2281): 457 459 * 463 453 645 ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) [C-,C-,Cn,C-,C-,C+] 12 546(2281): 458 460 * 464 454 646 ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) [C-,C-,Cn,C-,C-,C+] 12 547(2283): 462 455 * 469 455 648 ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) [C-,C-,Cn,C-,C-,C+] 12 548(2284): 461 456 * 470 456 647 ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) [C-,C-,Cn,C-,C-,C+] 12 549(2292): 629 465 * 465 476 649 ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) [C+,C-,Cn,C-,C-,C+] 12 550(2293): 630 466 * 466 475 650 ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) [C+,C-,Cn,C-,C-,C+] 12 551(2294): 467 468 * 471 477 651 ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) [C-,C-,Cn,C-,C-,C+] 12 552(2304): 465 633 * 629 480 654 ( *, *) ( *, *) (603, *) ( *, *) ( *, *) ( *, *) [C-,C+,i1,C+,C-,C+] 12 553(2305): 466 634 * 630 481 655 ( *, *) ( *, *) (602, *) ( *, *) ( *, *) ( *, *) [C-,C+,i1,C+,C-,C+] 12 554(2307): 635 472 * 639 482 555 ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) (626, *) [C+,C-,Cn,C+,C-,i2] 12 555(2307): 636 473 * 640 483 554 ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) (626, *) [C+,C-,Cn,C+,C-,i2] 12 556(2309): 472 631 * 637 484 557 ( *, *) ( *, *) (505, *) ( *, *) ( *, *) (627, *) [C-,C+,r1,C+,C-,i2] 12 557(2309): 473 632 * 638 485 556 ( *, *) ( *, *) (506, *) ( *, *) ( *, *) (627, *) [C-,C+,r1,C+,C-,i2] 12 558(2310): 637 639 * 472 478 559 ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) (628, *) [C+,C+,Cn,C-,C-,i2] 12 559(2310): 638 640 * 473 479 558 ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) (628, *) [C+,C+,Cn,C-,C-,i2] 12 560(2321): 476 648 * 495 629 455 ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) [C-,C+,Cn,C-,C+,C-] 12 561(2322): 475 647 * 496 630 456 ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) [C-,C+,Cn,C-,C+,C-] 12 562(2324): 478 641 * 499 637 562 ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) [C-,C+,Cn,C-,C+,rn] 12 563(2324): 479 642 * 500 638 563 ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) [C-,C+,Cn,C-,C+,rn] 12 564(2326): 643 478 * 497 639 564 ( *, *) ( *, *) (610, *) ( *, *) ( *, *) ( *, *) [C+,C-,i2,C-,C+,rn] 12 565(2326): 644 479 * 498 640 565 ( *, *) ( *, *) (611, *) ( *, *) ( *, *) ( *, *) [C+,C-,i2,C-,C+,rn] 12 566(2335): 645 484 * 486 631 457 ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) [C+,C-,Cn,C-,C+,C-] 12 567(2335): 646 485 * 487 632 458 ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) [C+,C-,Cn,C-,C+,C-] 12 568(2336): 648 480 * 491 633 462 ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) [C+,C-,Cn,C-,C+,C-] 12 569(2337): 647 481 * 490 634 461 ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) [C+,C-,Cn,C-,C+,C-] 12 570(2338): 482 645 * 488 635 459 ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) [C-,C+,Cn,C-,C+,C-] 12 571(2338): 483 646 * 489 636 460 ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) [C-,C+,Cn,C-,C+,C-] 12 572(2344): 486 488 * 645 652 463 ( *, *) ( *, *) (614, *) ( *, *) ( *, *) ( *, *) [C-,C-,i1,C+,C+,C-] 12 573(2344): 487 489 * 646 653 464 ( *, *) ( *, *) (615, *) ( *, *) ( *, *) ( *, *) [C-,C-,i1,C+,C+,C-] 12 574(2349): 655 650 * 650 655 466 ( *, *) ( *, *) (616, *) ( *, *) ( *, *) ( *, *) [C+,C+,i1,C+,C+,C-] 12 575(2350): 654 649 * 649 654 465 ( *, *) ( *, *) (617, *) ( *, *) ( *, *) ( *, *) [C+,C+,i1,C+,C+,C-] 12 576(2352): 651 493 * 492 656 467 ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) [C+,C-,Cn,C-,C+,C-] 12 577(2353): 494 651 * 501 657 468 ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) [C-,C+,Cn,C-,C+,C-] 12 578(2358): 652 499 * 641 486 578 ( *, *) ( *, *) (624, *) ( *, *) ( *, *) ( *, *) [C+,C-,i1,C+,C-,rn] 12 579(2358): 653 500 * 642 487 579 ( *, *) ( *, *) (625, *) ( *, *) ( *, *) ( *, *) [C+,C-,i1,C+,C-,rn] 12 580(2359): 497 652 * 643 488 580 ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) [C-,C+,Cn,C+,C-,rn] 12 581(2359): 498 653 * 644 489 581 ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) [C-,C+,Cn,C+,C-,rn] 12 582(2361): 490 496 * 647 490 470 ( *, *) ( *, *) (514, *) ( *, *) ( *, *) ( *, *) [C-,C-,r1,C+,C-,C-] 12 583(2362): 491 495 * 648 491 469 ( *, *) ( *, *) (513, *) ( *, *) ( *, *) ( *, *) [C-,C-,r1,C+,C-,C-] 12 584(2363): 492 501 * 651 492 471 ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) [C-,C-,Cn,C+,C-,C-] 12 585(2366): 502 656 * 657 493 585 ( *, *) ( *, *) (627, *) ( *, *) ( *, *) (506,505) [C-,C+,i2,C+,C-,r1] 12 586(2367): 657 502 * 502 494 586 ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) (508,507) [C+,C-,Cn,C-,C-,r1] 12 587(2396): 658 506 * 658 509 588 ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) (656, *) [C+,C-,Cn,C+,C-,i1] 12 588(2398): 659 505 * 659 510 587 ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) (656, *) [C+,C-,Cn,C+,C-,i1] 12 589(2404): 507 658 * 506 511 590 ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) (657, *) [C-,C+,Cn,C-,C-,i1] 12 590(2406): 508 659 * 505 512 589 ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) (657, *) [C-,C+,Cn,C-,C-,i1] 12 591(2415): 509 511 * 513 658 503 ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) [C-,C-,Cn,C-,C+,C-] 12 592(2418): 510 512 * 514 659 504 ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) [C-,C-,Cn,C-,C+,C-] 12 593(2423): 662 593 * 660 593 593 ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) [C+,rn,Cn,C+,rn,rn] 13 594(2423): 663 594 * 661 594 594 ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) [C+,rn,Cn,C+,rn,rn] 13 595(2429): 517 515 * 519 515 680 ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) [C-,C-,Cn,C-,C-,C+] 13 596(2429): 518 516 * 520 516 681 ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) [C-,C-,Cn,C-,C-,C+] 13 597(2433): 664 521 * 666 525 682 ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) [C+,C-,Cn,C+,C-,C+] 13 598(2433): 665 522 * 667 526 683 ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) [C+,C-,Cn,C+,C-,C+] 13 599(2434): 523 524 * 599 527 684 ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) [C-,C-,Cn,rn,C-,C+] 13 600(2435): 668 666 * 521 528 685 ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) [C+,C+,Cn,C-,C-,C+] 13 601(2435): 669 667 * 522 529 686 ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) [C+,C+,Cn,C-,C-,C+] 13 602(2437): 521 670 * 668 530 691 ( *, *) ( *, *) (553, *) ( *, *) ( *, *) ( *, *) [C-,C+,r1,C+,C-,C+] 13 603(2437): 522 671 * 669 531 692 ( *, *) ( *, *) (552, *) ( *, *) ( *, *) ( *, *) [C-,C+,r1,C+,C-,C+] 13 604(2441): 525 680 * 532 664 515 ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) [C-,C+,Cn,C-,C+,C-] 13 605(2441): 526 681 * 533 665 516 ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) [C-,C+,Cn,C-,C+,C-] 13 606(2443): 674 528 * 538 666 606 ( *, *) ( *, *) (660, *) ( *, *) ( *, *) ( *, *) [C+,C-,i2,C-,C+,rn] 13 607(2443): 675 529 * 539 667 607 ( *, *) ( *, *) (661, *) ( *, *) ( *, *) ( *, *) [C+,C-,i2,C-,C+,rn] 13 608(2445): 528 676 * 542 668 608 ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) [C-,C+,Cn,C-,C+,rn] 13 609(2445): 529 677 * 543 669 609 ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) [C-,C+,Cn,C-,C+,rn] 13 610(2446): 678 610 * 540 672 610 ( *, *) ( *, *) (564, *) ( *, *) ( *, *) ( *, *) [C+,rn,r1,C-,C+,rn] 13 611(2446): 679 611 * 541 673 611 ( *, *) ( *, *) (565, *) ( *, *) ( *, *) ( *, *) [C+,rn,r1,C-,C+,rn] 13 612(2448): 680 530 * 534 670 517 ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) [C+,C-,Cn,C-,C+,C-] 13 613(2448): 681 531 * 535 671 518 ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) [C+,C-,Cn,C-,C+,C-] 13 614(2450): 534 532 * 680 689 519 ( *, *) ( *, *) (572, *) ( *, *) ( *, *) ( *, *) [C-,C-,r1,C+,C+,C-] 13 615(2450): 535 533 * 681 690 520 ( *, *) ( *, *) (573, *) ( *, *) ( *, *) ( *, *) [C-,C-,r1,C+,C+,C-] 13 616(2451): 691 682 * 685 691 521 ( *, *) ( *, *) (574, *) ( *, *) ( *, *) ( *, *) [C+,C+,r1,C+,C+,C-] 13 617(2451): 692 683 * 686 692 522 ( *, *) ( *, *) (575, *) ( *, *) ( *, *) ( *, *) [C+,C+,r1,C+,C+,C-] 13 618(2453): 684 537 * 618 693 523 ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) [C+,C-,Cn,rn,C+,C-] 13 619(2454): 536 684 * 619 694 524 ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) [C-,C+,Cn,rn,C+,C-] 13 620(2455): 538 689 * 674 532 620 ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) [C-,C+,Cn,C+,C-,rn] 13 621(2455): 539 690 * 675 533 621 ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) [C-,C+,Cn,C+,C-,rn] 13 622(2456): 540 687 * 678 622 622 ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) [C-,C+,Cn,C+,rn,rn] 13 623(2456): 541 688 * 679 623 623 ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) [C-,C+,Cn,C+,rn,rn] 13 624(2459): 689 542 * 676 534 624 ( *, *) ( *, *) (578, *) ( *, *) ( *, *) ( *, *) [C+,C-,r1,C+,C-,rn] 13 625(2459): 690 543 * 677 535 625 ( *, *) ( *, *) (579, *) ( *, *) ( *, *) ( *, *) [C+,C-,r1,C+,C-,rn] 13 626(2460): 694 544 * 696 536 626 ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) (554,555) [C+,C-,Cn,C+,C-,r2] 13 627(2461): 544 693 * 695 537 627 ( *, *) ( *, *) (585, *) ( *, *) ( *, *) (556,557) [C-,C+,r1,C+,C-,r2] 13 628(2462): 695 696 * 544 628 628 ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) (558,559) [C+,C+,Cn,C-,rn,r2] 13 629(2490): 549 702 * 552 560 707 ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) [C-,C+,Cn,C-,C-,C+] 13 630(2491): 550 701 * 553 561 708 ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) [C-,C+,Cn,C-,C-,C+] 13 631(2499): 697 556 * 699 566 632 ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) (693, *) [C+,C-,Cn,C+,C-,i2] 13 632(2499): 698 557 * 700 567 631 ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) (693, *) [C+,C-,Cn,C+,C-,i2] 13 633(2501): 702 552 * 702 568 710 ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) [C+,C-,Cn,C+,C-,C+] 13 634(2502): 701 553 * 701 569 709 ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) [C+,C-,Cn,C+,C-,C+] 13 635(2504): 554 697 * 703 570 636 ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) (694, *) [C-,C+,Cn,C+,C-,i2] 13 636(2504): 555 698 * 704 571 635 ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) (694, *) [C-,C+,Cn,C+,C-,i2] 13 637(2507): 558 699 * 556 562 638 ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) (695, *) [C-,C+,Cn,C-,C-,i2] 13 638(2507): 559 700 * 557 563 637 ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) (695, *) [C-,C+,Cn,C-,C-,i2] 13 639(2510): 703 558 * 554 564 640 ( *, *) ( *, *) (672, *) ( *, *) ( *, *) (696, *) [C+,C-,i2,C-,C-,i2] 13 640(2510): 704 559 * 555 565 639 ( *, *) ( *, *) (673, *) ( *, *) ( *, *) (696, *) [C+,C-,i2,C-,C-,i2] 13 641(2516): 705 562 * 578 699 641 ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) [C+,C-,Cn,C-,C+,rn] 13 642(2516): 706 563 * 579 700 642 ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) [C+,C-,Cn,C-,C+,rn] 13 643(2518): 564 705 * 580 703 643 ( *, *) ( *, *) (678, *) ( *, *) ( *, *) ( *, *) [C-,C+,i2,C-,C+,rn] 13 644(2518): 565 706 * 581 704 644 ( *, *) ( *, *) (679, *) ( *, *) ( *, *) ( *, *) [C-,C+,i2,C-,C+,rn] 13 645(2529): 566 570 * 572 697 545 ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) [C-,C-,Cn,C-,C+,C-] 13 646(2529): 567 571 * 573 698 546 ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) [C-,C-,Cn,C-,C+,C-] 13 647(2532): 569 561 * 582 701 548 ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) [C-,C-,Cn,C-,C+,C-] 13 648(2533): 568 560 * 583 702 547 ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) [C-,C-,Cn,C-,C+,C-] 13 649(2542): 707 575 * 575 710 549 ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) [C+,C-,Cn,C-,C+,C-] 13 650(2543): 708 574 * 574 709 550 ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) [C+,C-,Cn,C-,C+,C-] 13 651(2544): 576 577 * 584 711 551 ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) [C-,C-,Cn,C-,C+,C-] 13 652(2550): 578 580 * 705 572 652 ( *, *) ( *, *) (689, *) ( *, *) ( *, *) ( *, *) [C-,C-,i1,C+,C-,rn] 13 653(2550): 579 581 * 706 573 653 ( *, *) ( *, *) (690, *) ( *, *) ( *, *) ( *, *) [C-,C-,i1,C+,C-,rn] 13 654(2554): 575 710 * 707 575 552 ( *, *) ( *, *) (692, *) ( *, *) ( *, *) ( *, *) [C-,C+,i1,C+,C-,C-] 13 655(2555): 574 709 * 708 574 553 ( *, *) ( *, *) (691, *) ( *, *) ( *, *) ( *, *) [C-,C+,i1,C+,C-,C-] 13 656(2557): 711 585 * 711 576 656 ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) (588,587) [C+,C-,Cn,C+,C-,r1] 13 657(2559): 586 711 * 585 577 657 ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) (590,589) [C-,C+,Cn,C-,C-,r1] 13 658(2582): 587 589 * 587 591 659 ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) (711, *) [C-,C-,Cn,C-,C-,i1] 13 659(2583): 588 590 * 588 592 658 ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) (711, *) [C-,C-,Cn,C-,C-,i1] 13 660(2593): 714 660 * 593 712 660 ( *, *) ( *, *) (606, *) ( *, *) ( *, *) ( *, *) [C+,rn,r1,C-,C+,rn] 14 661(2593): 715 661 * 594 713 661 ( *, *) ( *, *) (607, *) ( *, *) ( *, *) ( *, *) [C+,rn,r1,C-,C+,rn] 14 662(2594): 593 716 * 714 662 662 ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) [C-,C+,Cn,C+,rn,rn] 14 663(2594): 594 717 * 715 663 663 ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) [C-,C+,Cn,C+,rn,rn] 14 664(2602): 597 723 * 719 604 731 ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) [C-,C+,Cn,C+,C-,C+] 14 665(2602): 598 724 * 720 605 732 ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) [C-,C+,Cn,C+,C-,C+] 14 666(2604): 719 600 * 597 606 733 ( *, *) ( *, *) (712, *) ( *, *) ( *, *) ( *, *) [C+,C-,i2,C-,C-,C+] 14 667(2604): 720 601 * 598 607 734 ( *, *) ( *, *) (713, *) ( *, *) ( *, *) ( *, *) [C+,C-,i2,C-,C-,C+] 14 668(2606): 600 721 * 602 608 735 ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) [C-,C+,Cn,C-,C-,C+] 14 669(2606): 601 722 * 603 609 736 ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) [C-,C+,Cn,C-,C-,C+] 14 670(2608): 723 602 * 721 612 737 ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) [C+,C-,Cn,C+,C-,C+] 14 671(2608): 724 603 * 722 613 738 ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) [C+,C-,Cn,C+,C-,C+] 14 672(2610): 725 672 * 672 610 673 ( *, *) ( *, *) (639, *) ( *, *) ( *, *) (718, *) [C+,rn,r1,rn,C-,i2] 14 673(2610): 726 673 * 673 611 672 ( *, *) ( *, *) (640, *) ( *, *) ( *, *) (718, *) [C+,rn,r1,rn,C-,i2] 14 674(2613): 606 729 * 620 719 674 ( *, *) ( *, *) (714, *) ( *, *) ( *, *) ( *, *) [C-,C+,i2,C-,C+,rn] 14 675(2613): 607 730 * 621 720 675 ( *, *) ( *, *) (715, *) ( *, *) ( *, *) ( *, *) [C-,C+,i2,C-,C+,rn] 14 676(2615): 729 608 * 624 721 676 ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) [C+,C-,Cn,C-,C+,rn] 14 677(2615): 730 609 * 625 722 677 ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) [C+,C-,Cn,C-,C+,rn] 14 678(2617): 610 727 * 622 725 678 ( *, *) ( *, *) (643, *) ( *, *) ( *, *) ( *, *) [C-,C+,r1,C-,C+,rn] 14 679(2617): 611 728 * 623 726 679 ( *, *) ( *, *) (644, *) ( *, *) ( *, *) ( *, *) [C-,C+,r1,C-,C+,rn] 14 680(2619): 612 604 * 614 723 595 ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) [C-,C-,Cn,C-,C+,C-] 14 681(2619): 613 605 * 615 724 596 ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) [C-,C-,Cn,C-,C+,C-] 14 682(2622): 731 616 * 733 737 597 ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) [C+,C-,Cn,C+,C+,C-] 14 683(2622): 732 617 * 734 738 598 ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) [C+,C-,Cn,C+,C+,C-] 14 684(2624): 618 619 * 684 739 599 ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) [C-,C-,Cn,rn,C+,C-] 14 685(2625): 735 733 * 616 740 600 ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) [C+,C+,Cn,C-,C+,C-] 14 686(2625): 736 734 * 617 741 601 ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) [C+,C+,Cn,C-,C+,C-] 14 687(2627): 687 622 * 727 687 687 ( *, *) ( *, *) (716, *) ( *, *) ( *, *) ( *, *) [rn,C-,i1,C+,rn,rn] 14 688(2627): 688 623 * 728 688 688 ( *, *) ( *, *) (717, *) ( *, *) ( *, *) ( *, *) [rn,C-,i1,C+,rn,rn] 14 689(2630): 624 620 * 729 614 689 ( *, *) ( *, *) (652, *) ( *, *) ( *, *) ( *, *) [C-,C-,r1,C+,C-,rn] 14 690(2630): 625 621 * 730 615 690 ( *, *) ( *, *) (653, *) ( *, *) ( *, *) ( *, *) [C-,C-,r1,C+,C-,rn] 14 691(2631): 616 737 * 735 616 602 ( *, *) ( *, *) (655, *) ( *, *) ( *, *) ( *, *) [C-,C+,r1,C+,C-,C-] 14 692(2631): 617 738 * 736 617 603 ( *, *) ( *, *) (654, *) ( *, *) ( *, *) ( *, *) [C-,C+,r1,C+,C-,C-] 14 693(2632): 739 627 * 742 618 693 ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) (631,632) [C+,C-,Cn,C+,C-,r2] 14 694(2633): 626 739 * 743 619 694 ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) (635,636) [C-,C+,Cn,C+,C-,r2] 14 695(2635): 628 742 * 627 695 695 ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) (637,638) [C-,C+,Cn,C-,rn,r2] 14 696(2636): 743 628 * 626 696 696 ( *, *) ( *, *) (718, *) ( *, *) ( *, *) (639,640) [C+,C-,i2,C-,rn,r2] 14 697(2662): 631 635 * 744 645 698 ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) (739, *) [C-,C-,Cn,C+,C-,i2] 14 698(2662): 632 636 * 745 646 697 ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) (739, *) [C-,C-,Cn,C+,C-,i2] 14 699(2668): 744 637 * 631 641 700 ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) (742, *) [C+,C-,Cn,C-,C-,i2] 14 700(2668): 745 638 * 632 642 699 ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) (742, *) [C+,C-,Cn,C-,C-,i2] 14 701(2669): 634 630 * 634 647 747 ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) [C-,C-,Cn,C-,C-,C+] 14 702(2670): 633 629 * 633 648 746 ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) [C-,C-,Cn,C-,C-,C+] 14 703(2671): 639 744 * 635 643 704 ( *, *) ( *, *) (725, *) ( *, *) ( *, *) (743, *) [C-,C+,i2,C-,C-,i2] 14 704(2671): 640 745 * 636 644 703 ( *, *) ( *, *) (726, *) ( *, *) ( *, *) (743, *) [C-,C+,i2,C-,C-,i2] 14 705(2681): 641 643 * 652 744 705 ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) [C-,C-,Cn,C-,C+,rn] 14 706(2681): 642 644 * 653 745 706 ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) [C-,C-,Cn,C-,C+,rn] 14 707(2698): 649 746 * 654 746 629 ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) [C-,C+,Cn,C-,C+,C-] 14 708(2699): 650 747 * 655 747 630 ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) [C-,C+,Cn,C-,C+,C-] 14 709(2705): 747 655 * 747 650 634 ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) [C+,C-,Cn,C+,C-,C-] 14 710(2706): 746 654 * 746 649 633 ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) [C+,C-,Cn,C+,C-,C-] 14 711(2708): 656 657 * 656 651 711 ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) (659,658) [C-,C-,Cn,C-,C-,r1] 14 712(2731): 748 712 * 712 660 752 ( *, *) ( *, *) (666, *) ( *, *) ( *, *) ( *, *) [C+,rn,r1,rn,C-,C+] 15 713(2731): 749 713 * 713 661 753 ( *, *) ( *, *) (667, *) ( *, *) ( *, *) ( *, *) [C+,rn,r1,rn,C-,C+] 15 714(2732): 660 750 * 662 748 714 ( *, *) ( *, *) (674, *) ( *, *) ( *, *) ( *, *) [C-,C+,r1,C-,C+,rn] 15 715(2732): 661 751 * 663 749 715 ( *, *) ( *, *) (675, *) ( *, *) ( *, *) ( *, *) [C-,C+,r1,C-,C+,rn] 15 716(2733): 716 662 * 750 716 716 ( *, *) ( *, *) (687, *) ( *, *) ( *, *) ( *, *) [rn,C-,r1,C+,rn,rn] 15 717(2733): 717 663 * 751 717 717 ( *, *) ( *, *) (688, *) ( *, *) ( *, *) ( *, *) [rn,C-,r1,C+,rn,rn] 15 718(2734): 754 718 * 718 718 718 ( *, *) ( *, *) (696, *) ( *, *) ( *, *) (672,673) [C+,rn,r1,rn,rn,r2] 15 719(2741): 666 755 * 664 674 759 ( *, *) ( *, *) (748, *) ( *, *) ( *, *) ( *, *) [C-,C+,i2,C-,C-,C+] 15 720(2741): 667 756 * 665 675 760 ( *, *) ( *, *) (749, *) ( *, *) ( *, *) ( *, *) [C-,C+,i2,C-,C-,C+] 15 721(2743): 755 668 * 670 676 761 ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) [C+,C-,Cn,C-,C-,C+] 15 722(2743): 756 669 * 671 677 762 ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) [C+,C-,Cn,C-,C-,C+] 15 723(2745): 670 664 * 755 680 763 ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) [C-,C-,Cn,C+,C-,C+] 15 724(2745): 671 665 * 756 681 764 ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) [C-,C-,Cn,C+,C-,C+] 15 725(2746): 672 757 * 725 678 726 ( *, *) ( *, *) (703, *) ( *, *) ( *, *) (754, *) [C-,C+,r1,rn,C-,i2] 15 726(2746): 673 758 * 726 679 725 ( *, *) ( *, *) (704, *) ( *, *) ( *, *) (754, *) [C-,C+,r1,rn,C-,i2] 15 727(2751): 727 678 * 687 757 727 ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) [rn,C-,Cn,C-,C+,rn] 15 728(2751): 728 679 * 688 758 728 ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) [rn,C-,Cn,C-,C+,rn] 15 729(2753): 676 674 * 689 755 729 ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) [C-,C-,Cn,C-,C+,rn] 15 730(2753): 677 675 * 690 756 730 ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) [C-,C-,Cn,C-,C+,rn] 15 731(2758): 682 763 * 759 763 664 ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) [C-,C+,Cn,C+,C+,C-] 15 732(2758): 683 764 * 760 764 665 ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) [C-,C+,Cn,C+,C+,C-] 15 733(2760): 759 685 * 682 765 666 ( *, *) ( *, *) (752, *) ( *, *) ( *, *) ( *, *) [C+,C-,i2,C-,C+,C-] 15 734(2760): 760 686 * 683 766 667 ( *, *) ( *, *) (753, *) ( *, *) ( *, *) ( *, *) [C+,C-,i2,C-,C+,C-] 15 735(2762): 685 761 * 691 768 668 ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) [C-,C+,Cn,C-,C+,C-] 15 736(2762): 686 762 * 692 769 669 ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) [C-,C+,Cn,C-,C+,C-] 15 737(2765): 763 691 * 761 682 670 ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) [C+,C-,Cn,C+,C-,C-] 15 738(2765): 764 692 * 762 683 671 ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) [C+,C-,Cn,C+,C-,C-] 15 739(2766): 693 694 * 767 684 739 ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) (697,698) [C-,C-,Cn,C+,C-,r2] 15 740(2767): 768 765 * 768 685 740 ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) [C+,C+,Cn,C+,C-,rn] 15 741(2767): 769 766 * 769 686 741 ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) [C+,C+,Cn,C+,C-,rn] 15 742(2769): 767 695 * 693 742 742 ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) (699,700) [C+,C-,Cn,C-,rn,r2] 15 743(2770): 696 767 * 694 743 743 ( *, *) ( *, *) (754, *) ( *, *) ( *, *) (703,704) [C-,C+,i2,C-,rn,r2] 15 744(2800): 699 703 * 697 705 745 ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) (767, *) [C-,C-,Cn,C-,C-,i2] 15 745(2800): 700 704 * 698 706 744 ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) (767, *) [C-,C-,Cn,C-,C-,i2] 15 746(2826): 710 707 * 710 707 702 ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) [C-,C-,Cn,C-,C-,C-] 15 747(2827): 709 708 * 709 708 701 ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) [C-,C-,Cn,C-,C-,C-] 15 748(2836): 712 770 * 748 714 772 ( *, *) ( *, *) (719, *) ( *, *) ( *, *) ( *, *) [C-,C+,r1,rn,C-,C+] 16 749(2836): 713 771 * 749 715 773 ( *, *) ( *, *) (720, *) ( *, *) ( *, *) ( *, *) [C-,C+,r1,rn,C-,C+] 16 750(2837): 750 714 * 716 770 750 ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) [rn,C-,Cn,C-,C+,rn] 16 751(2837): 751 715 * 717 771 751 ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) [rn,C-,Cn,C-,C+,rn] 16 752(2838): 772 752 * 752 774 712 ( *, *) ( *, *) (733, *) ( *, *) ( *, *) ( *, *) [C+,rn,r1,rn,C+,C-] 16 753(2838): 773 753 * 753 775 713 ( *, *) ( *, *) (734, *) ( *, *) ( *, *) ( *, *) [C+,rn,r1,rn,C+,C-] 16 754(2839): 718 776 * 754 754 754 ( *, *) ( *, *) (743, *) ( *, *) ( *, *) (725,726) [C-,C+,r1,rn,rn,r2] 16 755(2847): 721 719 * 723 729 777 ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) [C-,C-,Cn,C-,C-,C+] 16 756(2847): 722 720 * 724 730 778 ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) [C-,C-,Cn,C-,C-,C+] 16 757(2851): 757 725 * 757 727 758 ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) (776, *) [rn,C-,Cn,rn,C-,i2] 16 758(2851): 758 726 * 758 728 757 ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) (776, *) [rn,C-,Cn,rn,C-,i2] 16 759(2861): 733 777 * 731 779 719 ( *, *) ( *, *) (772, *) ( *, *) ( *, *) ( *, *) [C-,C+,i2,C-,C+,C-] 16 760(2861): 734 778 * 732 780 720 ( *, *) ( *, *) (773, *) ( *, *) ( *, *) ( *, *) [C-,C+,i2,C-,C+,C-] 16 761(2864): 777 735 * 737 781 721 ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) [C+,C-,Cn,C-,C+,C-] 16 762(2864): 778 736 * 738 782 722 ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) [C+,C-,Cn,C-,C+,C-] 16 763(2867): 737 731 * 777 731 723 ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) [C-,C-,Cn,C+,C-,C-] 16 764(2867): 738 732 * 778 732 724 ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) [C-,C-,Cn,C+,C-,C-] 16 765(2870): 779 740 * 781 733 765 ( *, *) ( *, *) (774, *) ( *, *) ( *, *) ( *, *) [C+,C-,i2,C+,C-,rn] 16 766(2870): 780 741 * 782 734 766 ( *, *) ( *, *) (775, *) ( *, *) ( *, *) ( *, *) [C+,C-,i2,C+,C-,rn] 16 767(2873): 742 743 * 739 767 767 ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) (744,745) [C-,C-,Cn,C-,rn,r2] 16 768(2874): 740 781 * 740 735 768 ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) [C-,C+,Cn,C-,C-,rn] 16 769(2874): 741 782 * 741 736 769 ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) [C-,C+,Cn,C-,C-,rn] 16 770(2912): 770 748 * 770 750 783 ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) [rn,C-,Cn,rn,C-,C+] 17 771(2912): 771 749 * 771 751 784 ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) [rn,C-,Cn,rn,C-,C+] 17 772(2914): 752 783 * 772 785 748 ( *, *) ( *, *) (759, *) ( *, *) ( *, *) ( *, *) [C-,C+,r1,rn,C+,C-] 17 773(2914): 753 784 * 773 786 749 ( *, *) ( *, *) (760, *) ( *, *) ( *, *) ( *, *) [C-,C+,r1,rn,C+,C-] 17 774(2915): 785 774 * 787 752 774 ( *, *) ( *, *) (765, *) ( *, *) ( *, *) ( *, *) [C+,rn,r1,C+,C-,rn] 17 775(2915): 786 775 * 788 753 775 ( *, *) ( *, *) (766, *) ( *, *) ( *, *) ( *, *) [C+,rn,r1,C+,C-,rn] 17 776(2916): 776 754 * 776 776 776 ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) (757,758) [rn,C-,Cn,rn,rn,r2] 17 777(2934): 761 759 * 763 789 755 ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) [C-,C-,Cn,C-,C+,C-] 17 778(2934): 762 760 * 764 790 756 ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) [C-,C-,Cn,C-,C+,C-] 17 779(2940): 765 789 * 789 759 779 ( *, *) ( *, *) (785, *) ( *, *) ( *, *) ( *, *) [C-,C+,i2,C+,C-,rn] 17 780(2940): 766 790 * 790 760 780 ( *, *) ( *, *) (786, *) ( *, *) ( *, *) ( *, *) [C-,C+,i2,C+,C-,rn] 17 781(2942): 789 768 * 765 761 781 ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) [C+,C-,Cn,C-,C-,rn] 17 782(2942): 790 769 * 766 762 782 ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) [C+,C-,Cn,C-,C-,rn] 17 783(2964): 783 772 * 783 791 770 ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) [rn,C-,Cn,rn,C+,C-] 18 784(2964): 784 773 * 784 792 771 ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) [rn,C-,Cn,rn,C+,C-] 18 785(2966): 774 791 * 793 772 785 ( *, *) ( *, *) (779, *) ( *, *) ( *, *) ( *, *) [C-,C+,r1,C+,C-,rn] 18 786(2966): 775 792 * 794 773 786 ( *, *) ( *, *) (780, *) ( *, *) ( *, *) ( *, *) [C-,C+,r1,C+,C-,rn] 18 787(2967): 793 787 * 774 787 787 ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) [C+,rn,Cn,C-,rn,rn] 18 788(2967): 794 788 * 775 788 788 ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) [C+,rn,Cn,C-,rn,rn] 18 789(2987): 781 779 * 779 777 789 ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) [C-,C-,Cn,C-,C-,rn] 18 790(2987): 782 780 * 780 778 790 ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) [C-,C-,Cn,C-,C-,rn] 18 791(2997): 791 785 * 795 783 791 ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) [rn,C-,Cn,C+,C-,rn] 19 792(2997): 792 786 * 796 784 792 ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) [rn,C-,Cn,C+,C-,rn] 19 793(2998): 787 795 * 785 793 793 ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) [C-,C+,Cn,C-,rn,rn] 19 794(2998): 788 796 * 786 794 794 ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) [C-,C+,Cn,C-,rn,rn] 19 795(3013): 795 793 * 791 795 795 ( *, *) ( *, *) (797, *) ( *, *) ( *, *) ( *, *) [rn,C-,i2,C-,rn,rn] 20 796(3013): 796 794 * 792 796 796 ( *, *) ( *, *) (798, *) ( *, *) ( *, *) ( *, *) [rn,C-,i2,C-,rn,rn] 20 797(3016): 797 797 * 797 797 797 ( *, *) ( *, *) (795, *) ( *, *) ( *, *) ( *, *) [rn,rn,r1,rn,rn,rn] 21 798(3016): 798 798 * 798 798 798 ( *, *) ( *, *) (796, *) ( *, *) ( *, *) ( *, *) [rn,rn,r1,rn,rn,rn] 21