0( 7): * 0 0 * 0 1 ( 2, *) ( *, *) ( *, *) ( 4, *) ( *, *) ( 6, *) [i1,ic,ic,i1,ic,i1] 0 1( 36): * 1 1 * 1 0 ( 3, *) ( *, *) ( *, *) ( 5, *) ( *, *) ( 6, *) [i1,ic,ic,i1,ic,i1] 0 2( 46): * 12 2 * 2 3 ( 0, *) ( *, *) ( *, *) ( 8, *) ( *, *) ( 9, *) [r1,C+,ic,i1,ic,i1] 1 3( 50): * 11 3 * 3 2 ( 1, *) ( *, *) ( *, *) ( 7, *) ( *, *) ( 9, *) [r1,C+,ic,i1,ic,i1] 1 4( 85): * 4 13 * 15 5 ( 8, *) ( *, *) ( *, *) ( 0, *) ( *, *) ( 10, *) [i1,ic,C+,r1,C+,i1] 1 5( 87): * 5 14 * 16 4 ( 7, *) ( *, *) ( *, *) ( 1, *) ( *, *) ( 10, *) [i1,ic,C+,r1,C+,i1] 1 6( 103): * 6 6 * 17 6 ( 9, *) ( *, *) ( *, *) ( 10, *) ( *, *) ( 1, 0) [i1,ic,ic,i1,C+,r1] 1 7( 114): * 20 21 * 25 8 ( 5, *) ( *, *) ( *, *) ( 3, *) ( *, *) ( 18, *) [r1,C+,C+,r1,C+,i1] 2 8( 117): * 19 22 * 26 7 ( 4, *) ( *, *) ( *, *) ( 2, *) ( *, *) ( 18, *) [r1,C+,C+,r1,C+,i1] 2 9( 136): * 29 9 * 28 9 ( 6, *) ( *, *) ( *, *) ( 18, *) ( *, *) ( 3, 2) [r1,C+,ic,i1,C+,r1] 2 10( 143): * 10 30 * 27 10 ( 18, *) ( *, *) ( *, *) ( 6, *) ( *, *) ( 5, 4) [i1,ic,C+,r1,C+,r1] 2 11( 147): * 3 31 * 11 12 ( *, *) ( *, *) ( *, *) ( 20, *) ( *, *) ( 29, *) [Cn,C-,C+,i1,ic,i1] 2 12( 152): * 2 32 * 12 11 ( *, *) ( *, *) ( *, *) ( 19, *) ( *, *) ( 29, *) [Cn,C-,C+,i1,ic,i1] 2 13( 172): * 34 4 * 36 14 ( 22, *) ( *, *) ( *, *) ( *, *) ( *, *) ( 30, *) [i1,C+,C-,Cn,C+,i1] 2 14( 173): * 33 5 * 35 13 ( 21, *) ( *, *) ( *, *) ( *, *) ( *, *) ( 30, *) [i1,C+,C-,Cn,C+,i1] 2 15( 186): * 15 36 * 4 37 ( 26, *) ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) [i1,ic,C+,Cn,C-,C+] 2 16( 191): * 16 35 * 5 38 ( 25, *) ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) [i1,ic,C+,Cn,C-,C+] 2 17( 201): * 17 17 * 6 17 ( 28, *) ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) [i1,ic,ic,Cn,C-,ic] 2 18( 219): * 42 43 * 41 18 ( 10, *) ( *, *) ( *, *) ( 9, *) ( *, *) ( 8, 7) [r1,C+,C+,r1,C+,r1] 3 19( 231): * 8 44 * 52 20 ( *, *) ( *, *) ( *, *) ( 12, *) ( *, *) ( 42, *) [Cn,C-,C+,r1,C+,i1] 3 20( 232): * 7 45 * 53 19 ( *, *) ( *, *) ( *, *) ( 11, *) ( *, *) ( 42, *) [Cn,C-,C+,r1,C+,i1] 3 21( 233): * 47 7 * 51 22 ( 14, *) ( *, *) ( *, *) ( *, *) ( *, *) ( 43, *) [r1,C+,C-,Cn,C+,i1] 3 22( 235): * 46 8 * 50 21 ( 13, *) ( *, *) ( *, *) ( *, *) ( *, *) ( 43, *) [r1,C+,C-,Cn,C+,i1] 3 23( 238): * 48 54 * 54 61 ( 39, *) ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) [i1,C+,C+,Cn,C+,C+] 3 24( 239): * 49 55 * 55 60 ( 40, *) ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) [i1,C+,C+,Cn,C+,C+] 3 25( 251): * 53 51 * 7 65 ( 16, *) ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) [r1,C+,C+,Cn,C-,C+] 3 26( 252): * 52 50 * 8 64 ( 15, *) ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) [r1,C+,C+,Cn,C-,C+] 3 27( 257): * 27 56 * 10 66 ( 41, *) ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) [i1,ic,C+,Cn,C-,C+] 3 28( 260): * 57 28 * 9 28 ( 17, *) ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) [r1,C+,ic,Cn,C-,ic] 3 29( 270): * 9 58 * 57 29 ( *, *) ( *, *) ( *, *) ( 42, *) ( *, *) ( 12, 11) [Cn,C-,C+,i1,C+,r1] 3 30( 277): * 59 10 * 56 30 ( 43, *) ( *, *) ( *, *) ( *, *) ( *, *) ( 14, 13) [i1,C+,C-,Cn,C+,r1] 3 31( 303): * 31 11 * 31 32 ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) ( 58, *) [Cn,ic,C-,Cn,ic,i1] 3 32( 304): * 32 12 * 32 31 ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) ( 58, *) [Cn,ic,C-,Cn,ic,i1] 3 33( 309): * 14 33 * 67 34 ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) ( 59, *) [Cn,C-,ic,Cn,C+,i1] 3 34( 313): * 13 34 * 68 33 ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) ( 59, *) [Cn,C-,ic,Cn,C+,i1] 3 35( 332): * 67 16 * 14 71 ( 51, *) ( *, *) ( *, *) ( 54, *) ( *, *) ( *, *) [i1,C+,C-,i1,C-,C+] 3 36( 341): * 68 15 * 13 72 ( 50, *) ( *, *) ( *, *) ( 55, *) ( *, *) ( *, *) [i1,C+,C-,i1,C-,C+] 3 37( 347): * 37 72 * 69 15 ( 64, *) ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) [i1,ic,C+,Cn,C+,C-] 3 38( 351): * 38 71 * 70 16 ( 65, *) ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) [i1,ic,C+,Cn,C+,C-] 3 39( 354): * 73 75 * 75 82 ( 23, *) ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) [r1,C+,C+,Cn,C+,C+] 4 40( 355): * 74 76 * 76 81 ( 24, *) ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) [r1,C+,C+,Cn,C+,C+] 4 41( 358): * 78 77 * 18 87 ( 27, *) ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) [r1,C+,C+,Cn,C-,C+] 4 42( 363): * 18 79 * 78 42 ( *, *) ( *, *) ( *, *) ( 29, *) ( *, *) ( 20, 19) [Cn,C-,C+,r1,C+,r1] 4 43( 364): * 80 18 * 77 43 ( 30, *) ( *, *) ( *, *) ( *, *) ( *, *) ( 22, 21) [r1,C+,C-,Cn,C+,r1] 4 44( 377): * 89 19 * 92 45 ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) ( 79, *) [Cn,C+,C-,Cn,C+,i1] 4 45( 379): * 88 20 * 93 44 ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) ( 79, *) [Cn,C+,C-,Cn,C+,i1] 4 46( 381): * 22 89 * 95 47 ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) ( 80, *) [Cn,C-,C+,Cn,C+,i1] 4 47( 382): * 21 88 * 94 46 ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) ( 80, *) [Cn,C-,C+,Cn,C+,i1] 4 48( 391): * 23 91 * 96 109 ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) [Cn,C-,C+,Cn,C+,C+] 4 49( 392): * 24 90 * 97 108 ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) [Cn,C-,C+,Cn,C+,C+] 4 50( 410): * 95 26 * 22 111 ( 36, *) ( *, *) ( *, *) ( 76, *) ( *, *) ( *, *) [r1,C+,C-,i1,C-,C+] 4 51( 412): * 94 25 * 21 110 ( 35, *) ( *, *) ( *, *) ( 75, *) ( *, *) ( *, *) [r1,C+,C-,i1,C-,C+] 4 52( 414): * 26 92 * 19 114 ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) [Cn,C-,C+,Cn,C-,C+] 4 53( 415): * 25 93 * 20 115 ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) [Cn,C-,C+,Cn,C-,C+] 4 54( 418): * 96 23 * 23 112 ( 75, *) ( *, *) ( *, *) ( 35, *) ( *, *) ( *, *) [i1,C+,C-,r1,C-,C+] 4 55( 421): * 97 24 * 24 113 ( 76, *) ( *, *) ( *, *) ( 36, *) ( *, *) ( *, *) [i1,C+,C-,r1,C-,C+] 4 56( 427): * 98 27 * 30 116 ( 77, *) ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) [i1,C+,C-,Cn,C-,C+] 4 57( 430): * 28 101 * 29 57 ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) [Cn,C-,C+,Cn,C-,ic] 4 58( 435): * 58 29 * 101 58 ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) ( 32, 31) [Cn,ic,C-,Cn,C+,r1] 4 59( 438): * 30 59 * 98 59 ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) ( 34, 33) [Cn,C-,ic,Cn,C+,r1] 4 60( 440): * 108 113 * 99 24 ( 81, *) ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) [i1,C+,C+,Cn,C+,C-] 4 61( 443): * 109 112 * 100 23 ( 82, *) ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) [i1,C+,C+,Cn,C+,C-] 4 62( 448): * 62 106 * 104 62 ( 85, *) ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) [i1,ic,C+,Cn,C+,rn] 4 63( 448): * 63 107 * 105 63 ( 86, *) ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) [i1,ic,C+,Cn,C+,rn] 4 64( 452): * 114 111 * 103 26 ( 37, *) ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) [r1,C+,C+,Cn,C+,C-] 4 65( 453): * 115 110 * 102 25 ( 38, *) ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) [r1,C+,C+,Cn,C+,C-] 4 66( 466): * 66 116 * 117 27 ( 87, *) ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) [i1,ic,C+,Cn,C+,C-] 4 67( 491): * 35 67 * 33 120 ( *, *) ( *, *) ( *, *) ( 96, *) ( *, *) ( *, *) [Cn,C-,ic,i1,C-,C+] 4 68( 493): * 36 68 * 34 121 ( *, *) ( *, *) ( *, *) ( 97, *) ( *, *) ( *, *) [Cn,C-,ic,i1,C-,C+] 4 69( 509): * 69 119 * 37 70 (103, *) ( *, *) ( *, *) (105, *) ( *, *) (117, *) [i1,ic,C+,i1,C-,i1] 4 70( 514): * 70 118 * 38 69 (102, *) ( *, *) ( *, *) (104, *) ( *, *) (117, *) [i1,ic,C+,i1,C-,i1] 4 71( 515): * 120 38 * 118 35 (110, *) ( *, *) ( *, *) (112, *) ( *, *) ( *, *) [i1,C+,C-,i1,C+,C-] 4 72( 516): * 121 37 * 119 36 (111, *) ( *, *) ( *, *) (113, *) ( *, *) ( *, *) [i1,C+,C-,i1,C+,C-] 4 73( 528): * 39 124 * 127 142 ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) [Cn,C-,C+,Cn,C+,C+] 5 74( 529): * 40 125 * 126 141 ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) [Cn,C-,C+,Cn,C+,C+] 5 75( 533): * 127 39 * 39 147 ( 54, *) ( *, *) ( *, *) ( 51, *) ( *, *) ( *, *) [r1,C+,C-,r1,C-,C+] 5 76( 534): * 126 40 * 40 148 ( 55, *) ( *, *) ( *, *) ( 50, *) ( *, *) ( *, *) [r1,C+,C-,r1,C-,C+] 5 77( 538): * 129 41 * 43 149 ( 56, *) ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) [r1,C+,C-,Cn,C-,C+] 5 78( 539): * 41 128 * 42 150 ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) [Cn,C-,C+,Cn,C-,C+] 5 79( 542): * 136 42 * 128 79 ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) ( 45, 44) [Cn,C+,C-,Cn,C+,r1] 5 80( 543): * 43 136 * 129 80 ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) ( 47, 46) [Cn,C-,C+,Cn,C+,r1] 5 81( 545): * 141 148 * 130 40 ( 60, *) ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) [r1,C+,C+,Cn,C+,C-] 5 82( 546): * 142 147 * 131 39 ( 61, *) ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) [r1,C+,C+,Cn,C+,C-] 5 83( 547): * 143 139 * 132 83 (122, *) ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) [i1,C+,C+,Cn,C+,rn] 5 84( 547): * 144 140 * 133 84 (123, *) ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) [i1,C+,C+,Cn,C+,rn] 5 85( 550): * 145 137 * 134 85 ( 62, *) ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) [r1,C+,C+,Cn,C+,rn] 5 86( 550): * 146 138 * 135 86 ( 63, *) ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) [r1,C+,C+,Cn,C+,rn] 5 87( 555): * 150 149 * 151 41 ( 66, *) ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) [r1,C+,C+,Cn,C+,C-] 5 88( 562): * 45 47 * 153 89 ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) (136, *) [Cn,C-,C-,Cn,C+,i1] 5 89( 563): * 44 46 * 154 88 ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) (136, *) [Cn,C-,C-,Cn,C+,i1] 5 90( 586): * 156 49 * 156 169 ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) [Cn,C+,C-,Cn,C+,C+] 5 91( 587): * 155 48 * 155 170 ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) [Cn,C+,C-,Cn,C+,C+] 5 92( 598): * 154 52 * 44 172 ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) [Cn,C+,C-,Cn,C-,C+] 5 93( 599): * 153 53 * 45 171 ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) [Cn,C+,C-,Cn,C-,C+] 5 94( 603): * 51 153 * 47 173 ( *, *) ( *, *) ( *, *) (127, *) ( *, *) ( *, *) [Cn,C-,C+,i1,C-,C+] 5 95( 605): * 50 154 * 46 174 ( *, *) ( *, *) ( *, *) (126, *) ( *, *) ( *, *) [Cn,C-,C+,i1,C-,C+] 5 96( 611): * 54 155 * 48 176 ( *, *) ( *, *) ( *, *) ( 67, *) ( *, *) ( *, *) [Cn,C-,C+,r1,C-,C+] 5 97( 613): * 55 156 * 49 175 ( *, *) ( *, *) ( *, *) ( 68, *) ( *, *) ( *, *) [Cn,C-,C+,r1,C-,C+] 5 98( 620): * 56 98 * 59 177 ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) [Cn,C-,ic,Cn,C-,C+] 5 99( 621): * 158 164 * 60 179 (130, *) ( *, *) ( *, *) (133, *) ( *, *) ( *, *) [i1,C+,C+,i1,C-,C+] 5 100( 624): * 157 163 * 61 178 (131, *) ( *, *) ( *, *) (132, *) ( *, *) ( *, *) [i1,C+,C+,i1,C-,C+] 5 101( 627): * 101 57 * 58 101 ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) [Cn,ic,C-,Cn,C-,ic] 5 102( 628): * 166 161 * 65 103 ( 70, *) ( *, *) ( *, *) (134, *) ( *, *) (151, *) [r1,C+,C+,i1,C-,i1] 5 103( 631): * 165 162 * 64 102 ( 69, *) ( *, *) ( *, *) (135, *) ( *, *) (151, *) [r1,C+,C+,i1,C-,i1] 5 104( 641): * 104 159 * 62 105 (134, *) ( *, *) ( *, *) ( 70, *) ( *, *) (152, *) [i1,ic,C+,r1,C-,i2] 5 105( 641): * 105 160 * 63 104 (135, *) ( *, *) ( *, *) ( 69, *) ( *, *) (152, *) [i1,ic,C+,r1,C-,i2] 5 106( 642): * 167 62 * 159 106 (137, *) ( *, *) ( *, *) (139, *) ( *, *) ( *, *) [i1,C+,C-,i1,C+,rn] 5 107( 642): * 168 63 * 160 107 (138, *) ( *, *) ( *, *) (140, *) ( *, *) ( *, *) [i1,C+,C-,i1,C+,rn] 5 108( 651): * 60 169 * 158 49 ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) [Cn,C-,C+,Cn,C+,C-] 5 109( 654): * 61 170 * 157 48 ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) [Cn,C-,C+,Cn,C+,C-] 5 110( 660): * 173 65 * 161 51 ( 71, *) ( *, *) ( *, *) (147, *) ( *, *) ( *, *) [r1,C+,C-,i1,C+,C-] 5 111( 661): * 174 64 * 162 50 ( 72, *) ( *, *) ( *, *) (148, *) ( *, *) ( *, *) [r1,C+,C-,i1,C+,C-] 5 112( 665): * 176 61 * 163 54 (147, *) ( *, *) ( *, *) ( 71, *) ( *, *) ( *, *) [i1,C+,C-,r1,C+,C-] 5 113( 666): * 175 60 * 164 55 (148, *) ( *, *) ( *, *) ( 72, *) ( *, *) ( *, *) [i1,C+,C-,r1,C+,C-] 5 114( 668): * 64 172 * 165 52 ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) [Cn,C-,C+,Cn,C+,C-] 5 115( 669): * 65 171 * 166 53 ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) [Cn,C-,C+,Cn,C+,C-] 5 116( 676): * 177 66 * 180 56 (149, *) ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) [i1,C+,C-,Cn,C+,C-] 5 117( 682): * 117 180 * 66 117 (151, *) ( *, *) ( *, *) (152, *) ( *, *) ( 70, 69) [i1,ic,C+,i2,C-,r1] 5 118( 710): * 182 70 * 71 119 (161, *) ( *, *) ( *, *) ( *, *) ( *, *) (180, *) [i1,C+,C-,Cn,C-,i1] 5 119( 716): * 183 69 * 72 118 (162, *) ( *, *) ( *, *) ( *, *) ( *, *) (180, *) [i1,C+,C-,Cn,C-,i1] 5 120( 723): * 71 120 * 182 67 ( *, *) ( *, *) ( *, *) (176, *) ( *, *) ( *, *) [Cn,C-,ic,i1,C+,C-] 5 121( 727): * 72 121 * 183 68 ( *, *) ( *, *) ( *, *) (175, *) ( *, *) ( *, *) [Cn,C-,ic,i1,C+,C-] 5 122( 730): * 188 186 * 184 122 ( 83, *) ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) [r1,C+,C+,Cn,C+,rn] 6 123( 730): * 189 187 * 185 123 ( 84, *) ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) [r1,C+,C+,Cn,C+,rn] 6 124( 732): * 191 73 * 191 209 ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) [Cn,C+,C-,Cn,C+,C+] 6 125( 733): * 192 74 * 192 208 ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) [Cn,C+,C-,Cn,C+,C+] 6 126( 741): * 76 192 * 74 216 ( *, *) ( *, *) ( *, *) ( 95, *) ( *, *) ( *, *) [Cn,C-,C+,r1,C-,C+] 6 127( 742): * 75 191 * 73 217 ( *, *) ( *, *) ( *, *) ( 94, *) ( *, *) ( *, *) [Cn,C-,C+,r1,C-,C+] 6 128( 745): * 193 78 * 79 218 ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) [Cn,C+,C-,Cn,C-,C+] 6 129( 746): * 77 193 * 80 219 ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) [Cn,C-,C+,Cn,C-,C+] 6 130( 748): * 196 203 * 81 220 ( 99, *) ( *, *) ( *, *) (185, *) ( *, *) ( *, *) [r1,C+,C+,i1,C-,C+] 6 131( 749): * 197 202 * 82 221 (100, *) ( *, *) ( *, *) (184, *) ( *, *) ( *, *) [r1,C+,C+,i1,C-,C+] 6 132( 750): * 198 194 * 83 222 (184, *) ( *, *) ( *, *) (100, *) ( *, *) ( *, *) [i1,C+,C+,r1,C-,C+] 6 133( 750): * 199 195 * 84 223 (185, *) ( *, *) ( *, *) ( 99, *) ( *, *) ( *, *) [i1,C+,C+,r1,C-,C+] 6 134( 754): * 204 200 * 85 135 (104, *) ( *, *) ( *, *) (102, *) ( *, *) (190, *) [r1,C+,C+,r1,C-,i2] 6 135( 754): * 205 201 * 86 134 (105, *) ( *, *) ( *, *) (103, *) ( *, *) (190, *) [r1,C+,C+,r1,C-,i2] 6 136( 757): * 79 80 * 193 136 ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) ( 89, 88) [Cn,C-,C-,Cn,C+,r1] 6 137( 760): * 206 85 * 200 137 (106, *) ( *, *) ( *, *) (186, *) ( *, *) ( *, *) [r1,C+,C-,i1,C+,rn] 6 138( 760): * 207 86 * 201 138 (107, *) ( *, *) ( *, *) (187, *) ( *, *) ( *, *) [r1,C+,C-,i1,C+,rn] 6 139( 765): * 212 83 * 194 139 (186, *) ( *, *) ( *, *) (106, *) ( *, *) ( *, *) [i1,C+,C-,r1,C+,rn] 6 140( 765): * 213 84 * 195 140 (187, *) ( *, *) ( *, *) (107, *) ( *, *) ( *, *) [i1,C+,C-,r1,C+,rn] 6 141( 766): * 81 208 * 196 74 ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) [Cn,C-,C+,Cn,C+,C-] 6 142( 767): * 82 209 * 197 73 ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) [Cn,C-,C+,Cn,C+,C-] 6 143( 769): * 83 214 * 198 143 ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) [Cn,C-,C+,Cn,C+,rn] 6 144( 769): * 84 215 * 199 144 ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) [Cn,C-,C+,Cn,C+,rn] 6 145( 770): * 85 210 * 204 145 ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) [Cn,C-,C+,Cn,C+,rn] 6 146( 770): * 86 211 * 205 146 ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) [Cn,C-,C+,Cn,C+,rn] 6 147( 772): * 217 82 * 202 75 (112, *) ( *, *) ( *, *) (110, *) ( *, *) ( *, *) [r1,C+,C-,r1,C+,C-] 6 148( 773): * 216 81 * 203 76 (113, *) ( *, *) ( *, *) (111, *) ( *, *) ( *, *) [r1,C+,C-,r1,C+,C-] 6 149( 777): * 219 87 * 225 77 (116, *) ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) [r1,C+,C-,Cn,C+,C-] 6 150( 778): * 87 218 * 226 78 ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) [Cn,C-,C+,Cn,C+,C-] 6 151( 783): * 226 225 * 87 151 (117, *) ( *, *) ( *, *) (190, *) ( *, *) (103,102) [r1,C+,C+,i2,C-,r1] 6 152( 785): * 152 224 * 152 152 (190, *) ( *, *) ( *, *) (117, *) ( *, *) (104,105) [i1,ic,C+,r1,rn,r2] 6 153( 817): * 93 94 * 88 238 ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) [Cn,C-,C-,Cn,C-,C+] 6 154( 818): * 92 95 * 89 239 ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) [Cn,C-,C-,Cn,C-,C+] 6 155( 835): * 91 96 * 91 241 ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) [Cn,C-,C-,Cn,C-,C+] 6 156( 836): * 90 97 * 90 240 ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) [Cn,C-,C-,Cn,C-,C+] 6 157( 847): * 100 229 * 109 243 ( *, *) ( *, *) ( *, *) (198, *) ( *, *) ( *, *) [Cn,C-,C+,i1,C-,C+] 6 158( 848): * 99 228 * 108 242 ( *, *) ( *, *) ( *, *) (199, *) ( *, *) ( *, *) [Cn,C-,C+,i1,C-,C+] 6 159( 859): * 230 104 * 106 160 (200, *) ( *, *) ( *, *) ( *, *) ( *, *) (224, *) [i1,C+,C-,Cn,C-,i2] 6 160( 859): * 231 105 * 107 159 (201, *) ( *, *) ( *, *) ( *, *) ( *, *) (224, *) [i1,C+,C-,Cn,C-,i2] 6 161( 860): * 234 102 * 110 162 (118, *) ( *, *) ( *, *) ( *, *) ( *, *) (225, *) [r1,C+,C-,Cn,C-,i1] 6 162( 861): * 235 103 * 111 161 (119, *) ( *, *) ( *, *) ( *, *) ( *, *) (225, *) [r1,C+,C-,Cn,C-,i1] 6 163( 864): * 237 100 * 112 245 (202, *) ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) [i1,C+,C-,Cn,C-,C+] 6 164( 865): * 236 99 * 113 246 (203, *) ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) [i1,C+,C-,Cn,C-,C+] 6 165( 869): * 103 233 * 114 166 ( *, *) ( *, *) ( *, *) (205, *) ( *, *) (226, *) [Cn,C-,C+,i1,C-,i1] 6 166( 871): * 102 232 * 115 165 ( *, *) ( *, *) ( *, *) (204, *) ( *, *) (226, *) [Cn,C-,C+,i1,C-,i1] 6 167( 875): * 106 167 * 230 167 ( *, *) ( *, *) ( *, *) (212, *) ( *, *) ( *, *) [Cn,C-,ic,i1,C+,rn] 6 168( 875): * 107 168 * 231 168 ( *, *) ( *, *) ( *, *) (213, *) ( *, *) ( *, *) [Cn,C-,ic,i1,C+,rn] 6 169( 878): * 240 108 * 228 90 ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) [Cn,C+,C-,Cn,C+,C-] 6 170( 879): * 241 109 * 229 91 ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) [Cn,C+,C-,Cn,C+,C-] 6 171( 886): * 238 115 * 232 93 ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) [Cn,C+,C-,Cn,C+,C-] 6 172( 888): * 239 114 * 233 92 ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) [Cn,C+,C-,Cn,C+,C-] 6 173( 892): * 110 238 * 234 94 ( *, *) ( *, *) ( *, *) (217, *) ( *, *) ( *, *) [Cn,C-,C+,i1,C+,C-] 6 174( 893): * 111 239 * 235 95 ( *, *) ( *, *) ( *, *) (216, *) ( *, *) ( *, *) [Cn,C-,C+,i1,C+,C-] 6 175( 899): * 113 240 * 236 97 ( *, *) ( *, *) ( *, *) (121, *) ( *, *) ( *, *) [Cn,C-,C+,r1,C+,C-] 6 176( 900): * 112 241 * 237 96 ( *, *) ( *, *) ( *, *) (120, *) ( *, *) ( *, *) [Cn,C-,C+,r1,C+,C-] 6 177( 910): * 116 177 * 244 98 ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) [Cn,C-,ic,Cn,C+,C-] 6 178( 911): * 243 245 * 245 100 (221, *) ( *, *) ( *, *) (222, *) ( *, *) ( *, *) [i1,C+,C+,i1,C+,C-] 6 179( 913): * 242 246 * 246 99 (220, *) ( *, *) ( *, *) (223, *) ( *, *) ( *, *) [i1,C+,C+,i1,C+,C-] 6 180( 916): * 244 117 * 116 180 (225, *) ( *, *) ( *, *) ( *, *) ( *, *) (119,118) [i1,C+,C-,Cn,C-,r1] 6 181( 923): * 181 181 * 181 181 ( *, *) ( *, *) ( *, *) (227, *) ( *, *) ( *, *) [Cn,ic,ic,i1,ic,ic] 6 182( 947): * 118 182 * 120 183 ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) (244, *) [Cn,C-,ic,Cn,C-,i1] 6 183( 949): * 119 183 * 121 182 ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) (244, *) [Cn,C-,ic,Cn,C-,i1] 6 184( 964): * 249 247 * 122 255 (132, *) ( *, *) ( *, *) (131, *) ( *, *) ( *, *) [r1,C+,C+,r1,C-,C+] 7 185( 964): * 250 248 * 123 256 (133, *) ( *, *) ( *, *) (130, *) ( *, *) ( *, *) [r1,C+,C+,r1,C-,C+] 7 186( 965): * 253 122 * 247 186 (139, *) ( *, *) ( *, *) (137, *) ( *, *) ( *, *) [r1,C+,C-,r1,C+,rn] 7 187( 965): * 254 123 * 248 187 (140, *) ( *, *) ( *, *) (138, *) ( *, *) ( *, *) [r1,C+,C-,r1,C+,rn] 7 188( 966): * 122 251 * 249 188 ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) [Cn,C-,C+,Cn,C+,rn] 7 189( 966): * 123 252 * 250 189 ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) [Cn,C-,C+,Cn,C+,rn] 7 190( 968): * 258 257 * 190 190 (152, *) ( *, *) ( *, *) (151, *) ( *, *) (134,135) [r1,C+,C+,r1,rn,r2] 7 191( 979): * 124 127 * 124 275 ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) [Cn,C-,C-,Cn,C-,C+] 7 192( 980): * 125 126 * 125 276 ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) [Cn,C-,C-,Cn,C-,C+] 7 193( 987): * 128 129 * 136 277 ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) [Cn,C-,C-,Cn,C-,C+] 7 194( 990): * 263 132 * 139 280 (247, *) ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) [i1,C+,C-,Cn,C-,C+] 7 195( 990): * 264 133 * 140 281 (248, *) ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) [i1,C+,C-,Cn,C-,C+] 7 196( 992): * 130 260 * 141 279 ( *, *) ( *, *) ( *, *) (250, *) ( *, *) ( *, *) [Cn,C-,C+,i1,C-,C+] 7 197( 993): * 131 259 * 142 278 ( *, *) ( *, *) ( *, *) (249, *) ( *, *) ( *, *) [Cn,C-,C+,i1,C-,C+] 7 198( 994): * 132 261 * 143 282 ( *, *) ( *, *) ( *, *) (157, *) ( *, *) ( *, *) [Cn,C-,C+,r1,C-,C+] 7 199( 994): * 133 262 * 144 283 ( *, *) ( *, *) ( *, *) (158, *) ( *, *) ( *, *) [Cn,C-,C+,r1,C-,C+] 7 200( 998): * 265 134 * 137 201 (159, *) ( *, *) ( *, *) ( *, *) ( *, *) (257, *) [r1,C+,C-,Cn,C-,i2] 7 201( 998): * 266 135 * 138 200 (160, *) ( *, *) ( *, *) ( *, *) ( *, *) (257, *) [r1,C+,C-,Cn,C-,i2] 7 202(1000): * 269 131 * 147 288 (163, *) ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) [r1,C+,C-,Cn,C-,C+] 7 203(1001): * 270 130 * 148 287 (164, *) ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) [r1,C+,C-,Cn,C-,C+] 7 204(1003): * 134 267 * 145 205 ( *, *) ( *, *) ( *, *) (166, *) ( *, *) (258, *) [Cn,C-,C+,r1,C-,i2] 7 205(1003): * 135 268 * 146 204 ( *, *) ( *, *) ( *, *) (165, *) ( *, *) (258, *) [Cn,C-,C+,r1,C-,i2] 7 206(1004): * 137 271 * 265 206 ( *, *) ( *, *) ( *, *) (253, *) ( *, *) ( *, *) [Cn,C-,C+,i1,C+,rn] 7 207(1004): * 138 272 * 266 207 ( *, *) ( *, *) ( *, *) (254, *) ( *, *) ( *, *) [Cn,C-,C+,i1,C+,rn] 7 208(1008): * 276 141 * 260 125 ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) [Cn,C+,C-,Cn,C+,C-] 7 209(1009): * 275 142 * 259 124 ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) [Cn,C+,C-,Cn,C+,C-] 7 210(1011): * 271 145 * 267 210 ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) [Cn,C+,C-,Cn,C+,rn] 7 211(1011): * 272 146 * 268 211 ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) [Cn,C+,C-,Cn,C+,rn] 7 212(1013): * 139 273 * 263 212 ( *, *) ( *, *) ( *, *) (167, *) ( *, *) ( *, *) [Cn,C-,C+,r1,C+,rn] 7 213(1013): * 140 274 * 264 213 ( *, *) ( *, *) ( *, *) (168, *) ( *, *) ( *, *) [Cn,C-,C+,r1,C+,rn] 7 214(1015): * 273 143 * 261 214 ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) [Cn,C+,C-,Cn,C+,rn] 7 215(1015): * 274 144 * 262 215 ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) [Cn,C+,C-,Cn,C+,rn] 7 216(1022): * 148 276 * 270 126 ( *, *) ( *, *) ( *, *) (174, *) ( *, *) ( *, *) [Cn,C-,C+,r1,C+,C-] 7 217(1023): * 147 275 * 269 127 ( *, *) ( *, *) ( *, *) (173, *) ( *, *) ( *, *) [Cn,C-,C+,r1,C+,C-] 7 218(1025): * 277 150 * 285 128 ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) [Cn,C+,C-,Cn,C+,C-] 7 219(1028): * 149 277 * 286 129 ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) [Cn,C-,C+,Cn,C+,C-] 7 220(1030): * 279 287 * 287 130 (179, *) ( *, *) ( *, *) (256, *) ( *, *) ( *, *) [r1,C+,C+,i1,C+,C-] 7 221(1031): * 278 288 * 288 131 (178, *) ( *, *) ( *, *) (255, *) ( *, *) ( *, *) [r1,C+,C+,i1,C+,C-] 7 222(1033): * 282 280 * 289 132 (255, *) ( *, *) ( *, *) (178, *) ( *, *) ( *, *) [i1,C+,C+,r1,C+,C-] 7 223(1033): * 283 281 * 290 133 (256, *) ( *, *) ( *, *) (179, *) ( *, *) ( *, *) [i1,C+,C+,r1,C+,C-] 7 224(1036): * 284 152 * 224 224 (257, *) ( *, *) ( *, *) ( *, *) ( *, *) (159,160) [i1,C+,C-,Cn,rn,r2] 7 225(1039): * 286 151 * 149 225 (180, *) ( *, *) ( *, *) ( *, *) ( *, *) (162,161) [r1,C+,C-,Cn,C-,r1] 7 226(1040): * 151 285 * 150 226 ( *, *) ( *, *) ( *, *) (258, *) ( *, *) (166,165) [Cn,C-,C+,i2,C-,r1] 7 227(1050): * 227 291 * 292 227 ( *, *) ( *, *) ( *, *) (181, *) ( *, *) ( *, *) [Cn,ic,C+,r1,C+,ic] 7 228(1102): * 296 158 * 169 297 ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) [Cn,C+,C-,Cn,C-,C+] 7 229(1104): * 295 157 * 170 298 ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) [Cn,C+,C-,Cn,C-,C+] 7 230(1109): * 159 230 * 167 231 ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) (284, *) [Cn,C-,ic,Cn,C-,i2] 7 231(1109): * 160 231 * 168 230 ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) (284, *) [Cn,C-,ic,Cn,C-,i2] 7 232(1116): * 294 166 * 171 233 ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) (285, *) [Cn,C+,C-,Cn,C-,i1] 7 233(1117): * 293 165 * 172 232 ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) (285, *) [Cn,C+,C-,Cn,C-,i1] 7 234(1121): * 161 294 * 173 235 ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) (286, *) [Cn,C-,C+,Cn,C-,i1] 7 235(1122): * 162 293 * 174 234 ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) (286, *) [Cn,C-,C+,Cn,C-,i1] 7 236(1127): * 164 296 * 175 299 ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) [Cn,C-,C+,Cn,C-,C+] 7 237(1130): * 163 295 * 176 300 ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) [Cn,C-,C+,Cn,C-,C+] 7 238(1149): * 171 173 * 294 153 ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) [Cn,C-,C-,Cn,C+,C-] 7 239(1150): * 172 174 * 293 154 ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) [Cn,C-,C-,Cn,C+,C-] 7 240(1164): * 169 175 * 296 156 ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) [Cn,C-,C-,Cn,C+,C-] 7 241(1166): * 170 176 * 295 155 ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) [Cn,C-,C-,Cn,C+,C-] 7 242(1179): * 179 297 * 299 158 ( *, *) ( *, *) ( *, *) (283, *) ( *, *) ( *, *) [Cn,C-,C+,i1,C+,C-] 7 243(1181): * 178 298 * 300 157 ( *, *) ( *, *) ( *, *) (282, *) ( *, *) ( *, *) [Cn,C-,C+,i1,C+,C-] 7 244(1183): * 180 244 * 177 244 ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) (183,182) [Cn,C-,ic,Cn,C-,r1] 7 245(1188): * 300 178 * 178 163 (288, *) ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) [i1,C+,C-,Cn,C-,C-] 7 246(1189): * 299 179 * 179 164 (287, *) ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) [i1,C+,C-,Cn,C-,C-] 7 247(1214): * 305 184 * 186 309 (194, *) ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) [r1,C+,C-,Cn,C-,C+] 8 248(1214): * 306 185 * 187 310 (195, *) ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) [r1,C+,C-,Cn,C-,C+] 8 249(1215): * 184 303 * 188 311 ( *, *) ( *, *) ( *, *) (197, *) ( *, *) ( *, *) [Cn,C-,C+,r1,C-,C+] 8 250(1215): * 185 304 * 189 312 ( *, *) ( *, *) ( *, *) (196, *) ( *, *) ( *, *) [Cn,C-,C+,r1,C-,C+] 8 251(1216): * 307 188 * 303 251 ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) [Cn,C+,C-,Cn,C+,rn] 8 252(1216): * 308 189 * 304 252 ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) [Cn,C+,C-,Cn,C+,rn] 8 253(1217): * 186 307 * 305 253 ( *, *) ( *, *) ( *, *) (206, *) ( *, *) ( *, *) [Cn,C-,C+,r1,C+,rn] 8 254(1217): * 187 308 * 306 254 ( *, *) ( *, *) ( *, *) (207, *) ( *, *) ( *, *) [Cn,C-,C+,r1,C+,rn] 8 255(1219): * 311 309 * 315 184 (222, *) ( *, *) ( *, *) (221, *) ( *, *) ( *, *) [r1,C+,C+,r1,C+,C-] 8 256(1219): * 312 310 * 316 185 (223, *) ( *, *) ( *, *) (220, *) ( *, *) ( *, *) [r1,C+,C+,r1,C+,C-] 8 257(1221): * 313 190 * 257 257 (224, *) ( *, *) ( *, *) ( *, *) ( *, *) (200,201) [r1,C+,C-,Cn,rn,r2] 8 258(1222): * 190 314 * 258 258 ( *, *) ( *, *) ( *, *) (226, *) ( *, *) (204,205) [Cn,C-,C+,r1,rn,r2] 8 259(1249): * 323 197 * 209 325 ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) [Cn,C+,C-,Cn,C-,C+] 8 260(1250): * 322 196 * 208 324 ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) [Cn,C+,C-,Cn,C-,C+] 8 261(1253): * 318 198 * 214 326 ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) [Cn,C+,C-,Cn,C-,C+] 8 262(1253): * 319 199 * 215 327 ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) [Cn,C+,C-,Cn,C-,C+] 8 263(1254): * 194 318 * 212 328 ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) [Cn,C-,C+,Cn,C-,C+] 8 264(1254): * 195 319 * 213 329 ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) [Cn,C-,C+,Cn,C-,C+] 8 265(1262): * 200 320 * 206 266 ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) (313, *) [Cn,C-,C+,Cn,C-,i2] 8 266(1262): * 201 321 * 207 265 ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) (313, *) [Cn,C-,C+,Cn,C-,i2] 8 267(1266): * 320 204 * 210 268 ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) (314, *) [Cn,C+,C-,Cn,C-,i2] 8 268(1266): * 321 205 * 211 267 ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) (314, *) [Cn,C+,C-,Cn,C-,i2] 8 269(1267): * 202 323 * 217 331 ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) [Cn,C-,C+,Cn,C-,C+] 8 270(1268): * 203 322 * 216 332 ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) [Cn,C-,C+,Cn,C-,C+] 8 271(1275): * 210 206 * 320 271 ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) [Cn,C-,C-,Cn,C+,rn] 8 272(1275): * 211 207 * 321 272 ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) [Cn,C-,C-,Cn,C+,rn] 8 273(1279): * 214 212 * 318 273 ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) [Cn,C-,C-,Cn,C+,rn] 8 274(1279): * 215 213 * 319 274 ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) [Cn,C-,C-,Cn,C+,rn] 8 275(1291): * 209 217 * 323 191 ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) [Cn,C-,C-,Cn,C+,C-] 8 276(1292): * 208 216 * 322 192 ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) [Cn,C-,C-,Cn,C+,C-] 8 277(1300): * 218 219 * 330 193 ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) [Cn,C-,C-,Cn,C+,C-] 8 278(1304): * 221 325 * 331 197 ( *, *) ( *, *) ( *, *) (311, *) ( *, *) ( *, *) [Cn,C-,C+,i1,C+,C-] 8 279(1305): * 220 324 * 332 196 ( *, *) ( *, *) ( *, *) (312, *) ( *, *) ( *, *) [Cn,C-,C+,i1,C+,C-] 8 280(1306): * 328 222 * 335 194 (309, *) ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) [i1,C+,C-,Cn,C+,C-] 8 281(1306): * 329 223 * 336 195 (310, *) ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) [i1,C+,C-,Cn,C+,C-] 8 282(1309): * 222 326 * 333 198 ( *, *) ( *, *) ( *, *) (243, *) ( *, *) ( *, *) [Cn,C-,C+,r1,C+,C-] 8 283(1309): * 223 327 * 334 199 ( *, *) ( *, *) ( *, *) (242, *) ( *, *) ( *, *) [Cn,C-,C+,r1,C+,C-] 8 284(1312): * 224 284 * 284 284 ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) (230,231) [Cn,C-,ic,Cn,rn,r2] 8 285(1313): * 330 226 * 218 285 ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) (233,232) [Cn,C+,C-,Cn,C-,r1] 8 286(1314): * 225 330 * 219 286 ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) (235,234) [Cn,C-,C+,Cn,C-,r1] 8 287(1316): * 332 220 * 220 203 (246, *) ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) [r1,C+,C-,Cn,C-,C-] 8 288(1317): * 331 221 * 221 202 (245, *) ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) [r1,C+,C-,Cn,C-,C-] 8 289(1318): * 333 335 * 222 289 (315, *) ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) [i1,C+,C+,Cn,C-,rn] 8 290(1318): * 334 336 * 223 290 (316, *) ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) [i1,C+,C+,Cn,C-,rn] 8 291(1328): * 337 227 * 342 291 ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) [Cn,C+,C-,Cn,C+,ic] 8 292(1355): * 292 342 * 227 344 ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) [Cn,ic,C+,Cn,C-,C+] 8 293(1380): * 233 235 * 239 294 ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) (330, *) [Cn,C-,C-,Cn,C-,i1] 8 294(1381): * 232 234 * 238 293 ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) (330, *) [Cn,C-,C-,Cn,C-,i1] 8 295(1394): * 229 237 * 241 346 ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) [Cn,C-,C-,Cn,C-,C+] 8 296(1397): * 228 236 * 240 345 ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) [Cn,C-,C-,Cn,C-,C+] 8 297(1434): * 345 242 * 345 228 ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) [Cn,C+,C-,Cn,C+,C-] 8 298(1436): * 346 243 * 346 229 ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) [Cn,C+,C-,Cn,C+,C-] 8 299(1450): * 246 345 * 242 236 ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) [Cn,C-,C+,Cn,C-,C-] 8 300(1451): * 245 346 * 243 237 ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) [Cn,C-,C+,Cn,C-,C-] 8 301(1465): * 301 348 * 301 302 ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) (343, *) [Cn,ic,C+,Cn,ic,i1] 8 302(1476): * 302 347 * 302 301 ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) (343, *) [Cn,ic,C+,Cn,ic,i1] 8 303(1478): * 349 249 * 251 351 ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) [Cn,C+,C-,Cn,C-,C+] 9 304(1478): * 350 250 * 252 352 ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) [Cn,C+,C-,Cn,C-,C+] 9 305(1479): * 247 349 * 253 353 ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) [Cn,C-,C+,Cn,C-,C+] 9 306(1479): * 248 350 * 254 354 ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) [Cn,C-,C+,Cn,C-,C+] 9 307(1481): * 251 253 * 349 307 ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) [Cn,C-,C-,Cn,C+,rn] 9 308(1481): * 252 254 * 350 308 ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) [Cn,C-,C-,Cn,C+,rn] 9 309(1486): * 353 255 * 358 247 (280, *) ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) [r1,C+,C-,Cn,C+,C-] 9 310(1486): * 354 256 * 359 248 (281, *) ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) [r1,C+,C-,Cn,C+,C-] 9 311(1487): * 255 351 * 356 249 ( *, *) ( *, *) ( *, *) (278, *) ( *, *) ( *, *) [Cn,C-,C+,r1,C+,C-] 9 312(1487): * 256 352 * 357 250 ( *, *) ( *, *) ( *, *) (279, *) ( *, *) ( *, *) [Cn,C-,C+,r1,C+,C-] 9 313(1488): * 257 355 * 313 313 ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) (265,266) [Cn,C-,C+,Cn,rn,r2] 9 314(1490): * 355 258 * 314 314 ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) (267,268) [Cn,C+,C-,Cn,rn,r2] 9 315(1491): * 356 358 * 255 315 (289, *) ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) [r1,C+,C+,Cn,C-,rn] 9 316(1491): * 357 359 * 256 316 (290, *) ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) [r1,C+,C+,Cn,C-,rn] 9 317(1495): * 362 365 * 365 366 ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) [Cn,C+,C+,Cn,C+,C+] 9 318(1521): * 261 263 * 273 369 ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) [Cn,C-,C-,Cn,C-,C+] 9 319(1521): * 262 264 * 274 370 ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) [Cn,C-,C-,Cn,C-,C+] 9 320(1535): * 267 265 * 271 321 ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) (355, *) [Cn,C-,C-,Cn,C-,i2] 9 321(1535): * 268 266 * 272 320 ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) (355, *) [Cn,C-,C-,Cn,C-,i2] 9 322(1537): * 260 270 * 276 371 ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) [Cn,C-,C-,Cn,C-,C+] 9 323(1538): * 259 269 * 275 372 ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) [Cn,C-,C-,Cn,C-,C+] 9 324(1575): * 371 279 * 371 260 ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) [Cn,C+,C-,Cn,C+,C-] 9 325(1576): * 372 278 * 372 259 ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) [Cn,C+,C-,Cn,C+,C-] 9 326(1579): * 369 282 * 373 261 ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) [Cn,C+,C-,Cn,C+,C-] 9 327(1579): * 370 283 * 374 262 ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) [Cn,C+,C-,Cn,C+,C-] 9 328(1580): * 280 369 * 375 263 ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) [Cn,C-,C+,Cn,C+,C-] 9 329(1580): * 281 370 * 376 264 ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) [Cn,C-,C+,Cn,C+,C-] 9 330(1594): * 285 286 * 277 330 ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) (294,293) [Cn,C-,C-,Cn,C-,r1] 9 331(1597): * 288 372 * 278 269 ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) [Cn,C-,C+,Cn,C-,C-] 9 332(1598): * 287 371 * 279 270 ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) [Cn,C-,C+,Cn,C-,C-] 9 333(1600): * 289 373 * 282 333 ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) [Cn,C-,C+,Cn,C-,rn] 9 334(1600): * 290 374 * 283 334 ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) [Cn,C-,C+,Cn,C-,rn] 9 335(1602): * 375 289 * 280 335 (358, *) ( *, *) ( *, *) (360, *) ( *, *) ( *, *) [i1,C+,C-,i2,C-,rn] 9 336(1602): * 376 290 * 281 336 (359, *) ( *, *) ( *, *) (361, *) ( *, *) ( *, *) [i1,C+,C-,i2,C-,rn] 9 337(1615): * 291 337 * 383 337 ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) [Cn,C-,ic,Cn,C+,ic] 9 338(1630): * 338 377 * 338 339 ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) (367, *) [Cn,ic,C+,Cn,ic,i2] 9 339(1630): * 339 378 * 339 338 ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) (367, *) [Cn,ic,C+,Cn,ic,i2] 9 340(1637): * 381 379 * 385 341 ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) (368, *) [Cn,C+,C+,Cn,C+,i1] 9 341(1639): * 382 380 * 384 340 ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) (368, *) [Cn,C+,C+,Cn,C+,i1] 9 342(1648): * 383 292 * 291 389 ( *, *) ( *, *) ( *, *) (365, *) ( *, *) ( *, *) [Cn,C+,C-,i1,C-,C+] 9 343(1690): * 343 388 * 387 343 ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) (302,301) [Cn,ic,C+,Cn,C+,r1] 9 344(1702): * 344 389 * 386 292 ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) [Cn,ic,C+,Cn,C+,C-] 9 345(1718): * 297 299 * 297 296 ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) [Cn,C-,C-,Cn,C-,C-] 9 346(1720): * 298 300 * 298 295 ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) [Cn,C-,C-,Cn,C-,C-] 9 347(1728): * 391 302 * 347 348 ( *, *) ( *, *) ( *, *) (380, *) ( *, *) (388, *) [Cn,C+,C-,i1,ic,i1] 9 348(1730): * 390 301 * 348 347 ( *, *) ( *, *) ( *, *) (379, *) ( *, *) (388, *) [Cn,C+,C-,i1,ic,i1] 9 349(1739): * 303 305 * 307 395 ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) [Cn,C-,C-,Cn,C-,C+] 10 350(1739): * 304 306 * 308 396 ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) [Cn,C-,C-,Cn,C-,C+] 10 351(1749): * 395 311 * 397 303 ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) [Cn,C+,C-,Cn,C+,C-] 10 352(1749): * 396 312 * 398 304 ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) [Cn,C+,C-,Cn,C+,C-] 10 353(1750): * 309 395 * 399 305 ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) [Cn,C-,C+,Cn,C+,C-] 10 354(1750): * 310 396 * 400 306 ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) [Cn,C-,C+,Cn,C+,C-] 10 355(1755): * 314 313 * 355 355 ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) (320,321) [Cn,C-,C-,Cn,rn,r2] 10 356(1756): * 315 397 * 311 356 ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) [Cn,C-,C+,Cn,C-,rn] 10 357(1756): * 316 398 * 312 357 ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) [Cn,C-,C+,Cn,C-,rn] 10 358(1757): * 399 315 * 309 358 (335, *) ( *, *) ( *, *) (392, *) ( *, *) ( *, *) [r1,C+,C-,i2,C-,rn] 10 359(1757): * 400 316 * 310 359 (336, *) ( *, *) ( *, *) (393, *) ( *, *) ( *, *) [r1,C+,C-,i2,C-,rn] 10 360(1760): * 401 360 * 360 360 (392, *) ( *, *) ( *, *) (335, *) ( *, *) ( *, *) [i1,C+,rn,r1,rn,rn] 10 361(1760): * 402 361 * 361 361 (393, *) ( *, *) ( *, *) (336, *) ( *, *) ( *, *) [i1,C+,rn,r1,rn,rn] 10 362(1766): * 317 405 * 410 418 ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) [Cn,C-,C+,Cn,C+,C+] 10 363(1770): * 406 403 * 411 364 ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) (394, *) [Cn,C+,C+,Cn,C+,i2] 10 364(1770): * 407 404 * 412 363 ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) (394, *) [Cn,C+,C+,Cn,C+,i2] 10 365(1783): * 410 317 * 317 420 ( *, *) ( *, *) ( *, *) (342, *) ( *, *) ( *, *) [Cn,C+,C-,r1,C-,C+] 10 366(1828): * 418 420 * 413 317 ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) [Cn,C+,C+,Cn,C+,C-] 10 367(1834): * 367 416 * 415 367 ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) (338,339) [Cn,ic,C+,Cn,C+,r2] 10 368(1836): * 419 417 * 414 368 ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) (341,340) [Cn,C+,C+,Cn,C+,r1] 10 369(1850): * 326 328 * 421 318 ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) [Cn,C-,C-,Cn,C+,C-] 10 370(1850): * 327 329 * 422 319 ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) [Cn,C-,C-,Cn,C+,C-] 10 371(1863): * 324 332 * 324 322 ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) [Cn,C-,C-,Cn,C-,C-] 10 372(1864): * 325 331 * 325 323 ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) [Cn,C-,C-,Cn,C-,C-] 10 373(1866): * 421 333 * 326 373 ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) [Cn,C+,C-,Cn,C-,rn] 10 374(1866): * 422 334 * 327 374 ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) [Cn,C+,C-,Cn,C-,rn] 10 375(1872): * 335 421 * 328 375 ( *, *) ( *, *) ( *, *) (401, *) ( *, *) ( *, *) [Cn,C-,C+,i2,C-,rn] 10 376(1872): * 336 422 * 329 376 ( *, *) ( *, *) ( *, *) (402, *) ( *, *) ( *, *) [Cn,C-,C+,i2,C-,rn] 10 377(1880): * 423 338 * 377 378 ( *, *) ( *, *) ( *, *) (403, *) ( *, *) (416, *) [Cn,C+,C-,i1,ic,i2] 10 378(1880): * 424 339 * 378 377 ( *, *) ( *, *) ( *, *) (404, *) ( *, *) (416, *) [Cn,C+,C-,i1,ic,i2] 10 379(1891): * 426 340 * 429 380 ( *, *) ( *, *) ( *, *) (348, *) ( *, *) (417, *) [Cn,C+,C-,r1,C+,i1] 10 380(1894): * 425 341 * 430 379 ( *, *) ( *, *) ( *, *) (347, *) ( *, *) (417, *) [Cn,C+,C-,r1,C+,i1] 10 381(1895): * 340 428 * 431 382 ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) (419, *) [Cn,C-,C+,Cn,C+,i1] 10 382(1897): * 341 427 * 432 381 ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) (419, *) [Cn,C-,C+,Cn,C+,i1] 10 383(1907): * 342 383 * 337 436 ( *, *) ( *, *) ( *, *) (410, *) ( *, *) ( *, *) [Cn,C-,ic,i1,C-,C+] 10 384(1917): * 432 430 * 341 438 ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) [Cn,C+,C+,Cn,C-,C+] 10 385(1920): * 431 429 * 340 437 ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) [Cn,C+,C+,Cn,C-,C+] 10 386(1936): * 386 434 * 344 386 ( *, *) ( *, *) ( *, *) (415, *) ( *, *) ( *, *) [Cn,ic,C+,i2,C-,ic] 10 387(1942): * 387 433 * 343 387 ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) [Cn,ic,C+,Cn,C-,ic] 10 388(1944): * 435 343 * 433 388 ( *, *) ( *, *) ( *, *) (417, *) ( *, *) (348,347) [Cn,C+,C-,i1,C+,r1] 10 389(1952): * 436 344 * 434 342 ( *, *) ( *, *) ( *, *) (420, *) ( *, *) ( *, *) [Cn,C+,C-,i1,C+,C-] 10 390(1978): * 348 390 * 390 391 (424, *) ( *, *) ( *, *) (426, *) ( *, *) (435, *) [i1,C-,ic,i1,ic,i1] 10 391(1988): * 347 391 * 391 390 (423, *) ( *, *) ( *, *) (425, *) ( *, *) (435, *) [i1,C-,ic,i1,ic,i1] 10 392(1989): * 439 392 * 392 392 (360, *) ( *, *) ( *, *) (358, *) ( *, *) ( *, *) [r1,C+,rn,r1,rn,rn] 11 393(1989): * 440 393 * 393 393 (361, *) ( *, *) ( *, *) (359, *) ( *, *) ( *, *) [r1,C+,rn,r1,rn,rn] 11 394(2004): * 445 444 * 443 394 ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) (363,364) [Cn,C+,C+,Cn,C+,r2] 11 395(2006): * 351 353 * 446 349 ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) [Cn,C-,C-,Cn,C+,C-] 11 396(2006): * 352 354 * 447 350 ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) [Cn,C-,C-,Cn,C+,C-] 11 397(2012): * 446 356 * 351 397 ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) [Cn,C+,C-,Cn,C-,rn] 11 398(2012): * 447 357 * 352 398 ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) [Cn,C+,C-,Cn,C-,rn] 11 399(2013): * 358 446 * 353 399 ( *, *) ( *, *) ( *, *) (439, *) ( *, *) ( *, *) [Cn,C-,C+,i2,C-,rn] 11 400(2013): * 359 447 * 354 400 ( *, *) ( *, *) ( *, *) (440, *) ( *, *) ( *, *) [Cn,C-,C+,i2,C-,rn] 11 401(2017): * 360 448 * 401 401 ( *, *) ( *, *) ( *, *) (375, *) ( *, *) ( *, *) [Cn,C-,C+,r1,rn,rn] 11 402(2017): * 361 449 * 402 402 ( *, *) ( *, *) ( *, *) (376, *) ( *, *) ( *, *) [Cn,C-,C+,r1,rn,rn] 11 403(2023): * 450 363 * 457 404 ( *, *) ( *, *) ( *, *) (377, *) ( *, *) (444, *) [Cn,C+,C-,r1,C+,i2] 11 404(2023): * 451 364 * 458 403 ( *, *) ( *, *) ( *, *) (378, *) ( *, *) (444, *) [Cn,C+,C-,r1,C+,i2] 11 405(2024): * 456 362 * 456 471 ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) [Cn,C+,C-,Cn,C+,C+] 11 406(2027): * 363 452 * 459 407 ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) (445, *) [Cn,C-,C+,Cn,C+,i2] 11 407(2027): * 364 453 * 460 406 ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) (445, *) [Cn,C-,C+,Cn,C+,i2] 11 408(2030): * 461 455 * 461 472 ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) [Cn,C+,C+,Cn,C+,C+] 11 409(2031): * 462 454 * 462 473 ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) [Cn,C+,C+,Cn,C+,C+] 11 410(2037): * 365 456 * 362 476 ( *, *) ( *, *) ( *, *) (383, *) ( *, *) ( *, *) [Cn,C-,C+,r1,C-,C+] 11 411(2044): * 459 457 * 363 477 ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) [Cn,C+,C+,Cn,C-,C+] 11 412(2044): * 460 458 * 364 478 ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) [Cn,C+,C+,Cn,C-,C+] 11 413(2053): * 464 467 * 366 479 ( *, *) ( *, *) ( *, *) (443, *) ( *, *) ( *, *) [Cn,C+,C+,i2,C-,C+] 11 414(2057): * 465 463 * 368 480 ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) [Cn,C+,C+,Cn,C-,C+] 11 415(2073): * 415 466 * 367 415 ( *, *) ( *, *) ( *, *) (386, *) ( *, *) ( *, *) [Cn,ic,C+,r1,C-,ic] 11 416(2078): * 468 367 * 466 416 ( *, *) ( *, *) ( *, *) (444, *) ( *, *) (377,378) [Cn,C+,C-,i1,C+,r2] 11 417(2081): * 469 368 * 463 417 ( *, *) ( *, *) ( *, *) (388, *) ( *, *) (380,379) [Cn,C+,C-,r1,C+,r1] 11 418(2083): * 366 471 * 464 362 ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) [Cn,C-,C+,Cn,C+,C-] 11 419(2086): * 368 470 * 465 419 ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) (382,381) [Cn,C-,C+,Cn,C+,r1] 11 420(2092): * 476 366 * 467 365 ( *, *) ( *, *) ( *, *) (389, *) ( *, *) ( *, *) [Cn,C+,C-,r1,C+,C-] 11 421(2123): * 373 375 * 369 421 ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) [Cn,C-,C-,Cn,C-,rn] 11 422(2123): * 374 376 * 370 422 ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) [Cn,C-,C-,Cn,C-,rn] 11 423(2137): * 377 423 * 423 424 (391, *) ( *, *) ( *, *) (450, *) ( *, *) (468, *) [r1,C-,ic,i1,ic,i2] 11 424(2137): * 378 424 * 424 423 (390, *) ( *, *) ( *, *) (451, *) ( *, *) (468, *) [r1,C-,ic,i1,ic,i2] 11 425(2145): * 380 481 * 485 426 (450, *) ( *, *) ( *, *) (391, *) ( *, *) (469, *) [i1,C-,C+,r1,C+,i1] 11 426(2146): * 379 482 * 486 425 (451, *) ( *, *) ( *, *) (390, *) ( *, *) (469, *) [i1,C-,C+,r1,C+,i1] 11 427(2149): * 481 382 * 483 428 ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) (470, *) [Cn,C+,C-,Cn,C+,i1] 11 428(2150): * 482 381 * 484 427 ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) (470, *) [Cn,C+,C-,Cn,C+,i1] 11 429(2170): * 486 385 * 379 492 ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) [Cn,C+,C-,Cn,C-,C+] 11 430(2171): * 485 384 * 380 491 ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) [Cn,C+,C-,Cn,C-,C+] 11 431(2174): * 385 484 * 381 493 ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) [Cn,C-,C+,Cn,C-,C+] 11 432(2175): * 384 483 * 382 494 ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) [Cn,C-,C+,Cn,C-,C+] 11 433(2177): * 487 387 * 388 433 ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) [Cn,C+,C-,Cn,C-,ic] 11 434(2183): * 488 386 * 389 434 ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) [Cn,C+,C-,Cn,C-,ic] 11 435(2194): * 388 435 * 487 435 (468, *) ( *, *) ( *, *) (469, *) ( *, *) (391,390) [i2,C-,ic,i1,C+,r1] 11 436(2198): * 389 436 * 488 383 ( *, *) ( *, *) ( *, *) (476, *) ( *, *) ( *, *) [Cn,C-,ic,i1,C+,C-] 11 437(2208): * 493 492 * 489 385 ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) [Cn,C+,C+,Cn,C+,C-] 11 438(2210): * 494 491 * 490 384 ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) [Cn,C+,C+,Cn,C+,C-] 11 439(2220): * 392 495 * 439 439 ( *, *) ( *, *) ( *, *) (399, *) ( *, *) ( *, *) [Cn,C-,C+,r1,rn,rn] 12 440(2220): * 393 496 * 440 440 ( *, *) ( *, *) ( *, *) (400, *) ( *, *) ( *, *) [Cn,C-,C+,r1,rn,rn] 12 441(2222): * 499 497 * 499 505 ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) [Cn,C+,C+,Cn,C+,C+] 12 442(2222): * 500 498 * 500 506 ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) [Cn,C+,C+,Cn,C+,C+] 12 443(2229): * 502 501 * 394 509 ( *, *) ( *, *) ( *, *) (413, *) ( *, *) ( *, *) [Cn,C+,C+,r1,C-,C+] 12 444(2234): * 503 394 * 501 444 ( *, *) ( *, *) ( *, *) (416, *) ( *, *) (403,404) [Cn,C+,C-,r1,C+,r2] 12 445(2236): * 394 504 * 502 445 ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) (406,407) [Cn,C-,C+,Cn,C+,r2] 12 446(2245): * 397 399 * 395 446 ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) [Cn,C-,C-,Cn,C-,rn] 12 447(2245): * 398 400 * 396 447 ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) [Cn,C-,C-,Cn,C-,rn] 12 448(2248): * 448 401 * 448 448 ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) [Cn,rn,C-,Cn,rn,rn] 12 449(2248): * 449 402 * 449 449 ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) [Cn,rn,C-,Cn,rn,rn] 12 450(2257): * 403 510 * 516 451 (425, *) ( *, *) ( *, *) (423, *) ( *, *) (503, *) [r1,C-,C+,r1,C+,i2] 12 451(2257): * 404 511 * 517 450 (426, *) ( *, *) ( *, *) (424, *) ( *, *) (503, *) [r1,C-,C+,r1,C+,i2] 12 452(2259): * 510 406 * 514 453 ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) (504, *) [Cn,C+,C-,Cn,C+,i2] 12 453(2259): * 511 407 * 515 452 ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) (504, *) [Cn,C+,C-,Cn,C+,i2] 12 454(2261): * 513 409 * 518 533 ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) [Cn,C+,C-,Cn,C+,C+] 12 455(2262): * 512 408 * 519 532 ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) [Cn,C+,C-,Cn,C+,C+] 12 456(2275): * 405 410 * 405 538 ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) [Cn,C-,C-,Cn,C-,C+] 12 457(2278): * 516 411 * 403 539 ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) [Cn,C+,C-,Cn,C-,C+] 12 458(2278): * 517 412 * 404 540 ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) [Cn,C+,C-,Cn,C-,C+] 12 459(2281): * 411 514 * 406 541 ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) [Cn,C-,C+,Cn,C-,C+] 12 460(2281): * 412 515 * 407 542 ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) [Cn,C-,C+,Cn,C-,C+] 12 461(2283): * 408 519 * 408 544 ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) [Cn,C-,C+,Cn,C-,C+] 12 462(2284): * 409 518 * 409 543 ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) [Cn,C-,C+,Cn,C-,C+] 12 463(2290): * 521 414 * 417 546 ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) [Cn,C+,C-,Cn,C-,C+] 12 464(2291): * 413 522 * 418 545 ( *, *) ( *, *) ( *, *) (502, *) ( *, *) ( *, *) [Cn,C-,C+,i2,C-,C+] 12 465(2294): * 414 520 * 419 547 ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) [Cn,C-,C+,Cn,C-,C+] 12 466(2296): * 525 415 * 416 466 ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) [Cn,C+,C-,Cn,C-,ic] 12 467(2302): * 526 413 * 420 548 ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) [Cn,C+,C-,Cn,C-,C+] 12 468(2312): * 416 468 * 525 468 (435, *) ( *, *) ( *, *) (503, *) ( *, *) (423,424) [r1,C-,ic,i1,C+,r2] 12 469(2316): * 417 531 * 521 469 (503, *) ( *, *) ( *, *) (435, *) ( *, *) (426,425) [i2,C-,C+,r1,C+,r1] 12 470(2317): * 531 419 * 520 470 ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) (428,427) [Cn,C+,C-,Cn,C+,r1] 12 471(2318): * 538 418 * 522 405 ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) [Cn,C+,C-,Cn,C+,C-] 12 472(2321): * 544 532 * 523 408 ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) [Cn,C+,C+,Cn,C+,C-] 12 473(2322): * 543 533 * 524 409 ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) [Cn,C+,C+,Cn,C+,C-] 12 474(2324): * 534 536 * 529 474 ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) [Cn,C+,C+,Cn,C+,rn] 12 475(2324): * 535 537 * 530 475 ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) [Cn,C+,C+,Cn,C+,rn] 12 476(2330): * 420 538 * 526 410 ( *, *) ( *, *) ( *, *) (436, *) ( *, *) ( *, *) [Cn,C-,C+,r1,C+,C-] 12 477(2338): * 541 539 * 527 411 ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) [Cn,C+,C+,Cn,C+,C-] 12 478(2338): * 542 540 * 528 412 ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) [Cn,C+,C+,Cn,C+,C-] 12 479(2348): * 545 548 * 548 413 ( *, *) ( *, *) ( *, *) (509, *) ( *, *) ( *, *) [Cn,C+,C+,i2,C+,C-] 12 480(2353): * 547 546 * 549 414 ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) [Cn,C+,C+,Cn,C+,C-] 12 481(2369): * 427 425 * 550 482 (510, *) ( *, *) ( *, *) ( *, *) ( *, *) (531, *) [i1,C-,C-,Cn,C+,i1] 12 482(2371): * 428 426 * 551 481 (511, *) ( *, *) ( *, *) ( *, *) ( *, *) (531, *) [i1,C-,C-,Cn,C+,i1] 12 483(2381): * 550 432 * 427 557 ( *, *) ( *, *) ( *, *) (518, *) ( *, *) ( *, *) [Cn,C+,C-,i1,C-,C+] 12 484(2384): * 551 431 * 428 556 ( *, *) ( *, *) ( *, *) (519, *) ( *, *) ( *, *) [Cn,C+,C-,i1,C-,C+] 12 485(2385): * 430 550 * 425 559 (516, *) ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) [i1,C-,C+,Cn,C-,C+] 12 486(2387): * 429 551 * 426 558 (517, *) ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) [i1,C-,C+,Cn,C-,C+] 12 487(2391): * 433 487 * 435 487 (525, *) ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) [i2,C-,ic,Cn,C-,ic] 12 488(2393): * 434 488 * 436 488 ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) [Cn,C-,ic,Cn,C-,ic] 12 489(2404): * 554 552 * 437 490 ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) (549, *) [Cn,C+,C+,Cn,C-,i1] 12 490(2406): * 555 553 * 438 489 ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) (549, *) [Cn,C+,C+,Cn,C-,i1] 12 491(2411): * 559 438 * 553 430 ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) [Cn,C+,C-,Cn,C+,C-] 12 492(2414): * 558 437 * 552 429 ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) [Cn,C+,C-,Cn,C+,C-] 12 493(2415): * 437 556 * 554 431 ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) [Cn,C-,C+,Cn,C+,C-] 12 494(2418): * 438 557 * 555 432 ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) [Cn,C-,C+,Cn,C+,C-] 12 495(2423): * 495 439 * 495 495 ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) [Cn,rn,C-,Cn,rn,rn] 13 496(2423): * 496 440 * 496 496 ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) [Cn,rn,C-,Cn,rn,rn] 13 497(2425): * 560 441 * 562 571 ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) [Cn,C+,C-,Cn,C+,C+] 13 498(2425): * 561 442 * 563 572 ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) [Cn,C+,C-,Cn,C+,C+] 13 499(2429): * 441 562 * 441 579 ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) [Cn,C-,C+,Cn,C-,C+] 13 500(2429): * 442 563 * 442 580 ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) [Cn,C-,C+,Cn,C-,C+] 13 501(2432): * 565 443 * 444 581 ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) [Cn,C+,C-,Cn,C-,C+] 13 502(2434): * 443 564 * 445 582 ( *, *) ( *, *) ( *, *) (464, *) ( *, *) ( *, *) [Cn,C-,C+,r1,C-,C+] 13 503(2439): * 444 570 * 565 503 (469, *) ( *, *) ( *, *) (468, *) ( *, *) (450,451) [r1,C-,C+,r1,C+,r2] 13 504(2440): * 570 445 * 564 504 ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) (452,453) [Cn,C+,C-,Cn,C+,r2] 13 505(2441): * 579 571 * 566 441 ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) [Cn,C+,C+,Cn,C+,C-] 13 506(2441): * 580 572 * 567 442 ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) [Cn,C+,C+,Cn,C+,C-] 13 507(2445): * 575 573 * 568 507 ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) [Cn,C+,C+,Cn,C+,rn] 13 508(2445): * 576 574 * 569 508 ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) [Cn,C+,C+,Cn,C+,rn] 13 509(2454): * 582 581 * 583 443 ( *, *) ( *, *) ( *, *) (479, *) ( *, *) ( *, *) [Cn,C+,C+,r1,C+,C-] 13 510(2463): * 452 450 * 585 511 (481, *) ( *, *) ( *, *) ( *, *) ( *, *) (570, *) [r1,C-,C-,Cn,C+,i2] 13 511(2463): * 453 451 * 586 510 (482, *) ( *, *) ( *, *) ( *, *) ( *, *) (570, *) [r1,C-,C-,Cn,C+,i2] 13 512(2465): * 455 588 * 588 606 (561, *) ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) [i1,C-,C+,Cn,C+,C+] 13 513(2466): * 454 587 * 587 605 (560, *) ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) [i1,C-,C+,Cn,C+,C+] 13 514(2473): * 585 459 * 452 609 ( *, *) ( *, *) ( *, *) (562, *) ( *, *) ( *, *) [Cn,C+,C-,i1,C-,C+] 13 515(2473): * 586 460 * 453 610 ( *, *) ( *, *) ( *, *) (563, *) ( *, *) ( *, *) [Cn,C+,C-,i1,C-,C+] 13 516(2475): * 457 585 * 450 613 (485, *) ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) [r1,C-,C+,Cn,C-,C+] 13 517(2475): * 458 586 * 451 614 (486, *) ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) [r1,C-,C+,Cn,C-,C+] 13 518(2477): * 587 462 * 454 612 ( *, *) ( *, *) ( *, *) (483, *) ( *, *) ( *, *) [Cn,C+,C-,r1,C-,C+] 13 519(2478): * 588 461 * 455 611 ( *, *) ( *, *) ( *, *) (484, *) ( *, *) ( *, *) [Cn,C+,C-,r1,C-,C+] 13 520(2485): * 589 465 * 470 615 ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) [Cn,C+,C-,Cn,C-,C+] 13 521(2486): * 463 589 * 469 617 (565, *) ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) [i2,C-,C+,Cn,C-,C+] 13 522(2487): * 592 464 * 471 616 ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) [Cn,C+,C-,Cn,C-,C+] 13 523(2490): * 600 591 * 472 618 ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) [Cn,C+,C+,Cn,C-,C+] 13 524(2491): * 599 590 * 473 619 ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) [Cn,C+,C+,Cn,C-,C+] 13 525(2492): * 466 525 * 468 525 (487, *) ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) [r1,C-,ic,Cn,C-,ic] 13 526(2497): * 467 592 * 476 620 ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) [Cn,C-,C+,Cn,C-,C+] 13 527(2504): * 593 595 * 477 528 ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) (583, *) [Cn,C+,C+,Cn,C-,i2] 13 528(2504): * 594 596 * 478 527 ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) (583, *) [Cn,C+,C+,Cn,C-,i2] 13 529(2507): * 597 601 * 474 530 ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) (584, *) [Cn,C+,C+,Cn,C-,i2] 13 530(2507): * 598 602 * 475 529 ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) (584, *) [Cn,C+,C+,Cn,C-,i2] 13 531(2513): * 470 469 * 589 531 (570, *) ( *, *) ( *, *) ( *, *) ( *, *) (482,481) [i2,C-,C-,Cn,C+,r1] 13 532(2514): * 606 472 * 591 455 ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) [Cn,C+,C-,Cn,C+,C-] 13 533(2515): * 605 473 * 590 454 ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) [Cn,C+,C-,Cn,C+,C-] 13 534(2516): * 474 603 * 597 534 ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) [Cn,C-,C+,Cn,C+,rn] 13 535(2516): * 475 604 * 598 535 ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) [Cn,C-,C+,Cn,C+,rn] 13 536(2520): * 607 474 * 601 536 ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) [Cn,C+,C-,Cn,C+,rn] 13 537(2520): * 608 475 * 602 537 ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) [Cn,C+,C-,Cn,C+,rn] 13 538(2524): * 471 476 * 592 456 ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) [Cn,C-,C-,Cn,C+,C-] 13 539(2528): * 613 477 * 595 457 ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) [Cn,C+,C-,Cn,C+,C-] 13 540(2528): * 614 478 * 596 458 ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) [Cn,C+,C-,Cn,C+,C-] 13 541(2529): * 477 609 * 593 459 ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) [Cn,C-,C+,Cn,C+,C-] 13 542(2529): * 478 610 * 594 460 ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) [Cn,C-,C+,Cn,C+,C-] 13 543(2532): * 473 612 * 599 462 ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) [Cn,C-,C+,Cn,C+,C-] 13 544(2533): * 472 611 * 600 461 ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) [Cn,C-,C+,Cn,C+,C-] 13 545(2540): * 479 616 * 620 464 ( *, *) ( *, *) ( *, *) (582, *) ( *, *) ( *, *) [Cn,C-,C+,i2,C+,C-] 13 546(2541): * 617 480 * 621 463 ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) [Cn,C+,C-,Cn,C+,C-] 13 547(2544): * 480 615 * 622 465 ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) [Cn,C-,C+,Cn,C+,C-] 13 548(2556): * 620 479 * 479 467 ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) [Cn,C+,C-,Cn,C-,C-] 13 549(2559): * 622 621 * 480 549 ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) (490,489) [Cn,C+,C+,Cn,C-,r1] 13 550(2570): * 483 485 * 481 628 (585, *) ( *, *) ( *, *) (587, *) ( *, *) ( *, *) [i1,C-,C-,i1,C-,C+] 13 551(2572): * 484 486 * 482 627 (586, *) ( *, *) ( *, *) (588, *) ( *, *) ( *, *) [i1,C-,C-,i1,C-,C+] 13 552(2577): * 625 489 * 492 553 ( *, *) ( *, *) ( *, *) (602, *) ( *, *) (621, *) [Cn,C+,C-,i1,C-,i1] 13 553(2578): * 626 490 * 491 552 ( *, *) ( *, *) ( *, *) (601, *) ( *, *) (621, *) [Cn,C+,C-,i1,C-,i1] 13 554(2582): * 489 623 * 493 555 ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) (622, *) [Cn,C-,C+,Cn,C-,i1] 13 555(2583): * 490 624 * 494 554 ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) (622, *) [Cn,C-,C+,Cn,C-,i1] 13 556(2587): * 627 493 * 623 484 ( *, *) ( *, *) ( *, *) (611, *) ( *, *) ( *, *) [Cn,C+,C-,i1,C+,C-] 13 557(2588): * 628 494 * 624 483 ( *, *) ( *, *) ( *, *) (612, *) ( *, *) ( *, *) [Cn,C+,C-,i1,C+,C-] 13 558(2589): * 492 627 * 625 486 (614, *) ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) [i1,C-,C+,Cn,C+,C-] 13 559(2592): * 491 628 * 626 485 (613, *) ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) [i1,C-,C+,Cn,C+,C-] 13 560(2595): * 497 631 * 631 646 (513, *) ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) [r1,C-,C+,Cn,C+,C+] 14 561(2595): * 498 632 * 632 647 (512, *) ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) [r1,C-,C+,Cn,C+,C+] 14 562(2597): * 631 499 * 497 652 ( *, *) ( *, *) ( *, *) (514, *) ( *, *) ( *, *) [Cn,C+,C-,r1,C-,C+] 14 563(2597): * 632 500 * 498 653 ( *, *) ( *, *) ( *, *) (515, *) ( *, *) ( *, *) [Cn,C+,C-,r1,C-,C+] 14 564(2600): * 633 502 * 504 654 ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) [Cn,C+,C-,Cn,C-,C+] 14 565(2601): * 501 633 * 503 655 (521, *) ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) [r1,C-,C+,Cn,C-,C+] 14 566(2602): * 640 634 * 505 656 ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) [Cn,C+,C+,Cn,C-,C+] 14 567(2602): * 641 635 * 506 657 ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) [Cn,C+,C+,Cn,C-,C+] 14 568(2606): * 638 636 * 507 658 ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) [Cn,C+,C+,Cn,C-,C+] 14 569(2606): * 639 637 * 508 659 ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) [Cn,C+,C+,Cn,C-,C+] 14 570(2611): * 504 503 * 633 570 (531, *) ( *, *) ( *, *) ( *, *) ( *, *) (510,511) [r1,C-,C-,Cn,C+,r2] 14 571(2612): * 646 505 * 634 497 ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) [Cn,C+,C-,Cn,C+,C-] 14 572(2612): * 647 506 * 635 498 ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) [Cn,C+,C-,Cn,C+,C-] 14 573(2614): * 648 507 * 636 573 ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) [Cn,C+,C-,Cn,C+,rn] 14 574(2614): * 649 508 * 637 574 ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) [Cn,C+,C-,Cn,C+,rn] 14 575(2615): * 507 644 * 638 575 ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) [Cn,C-,C+,Cn,C+,rn] 14 576(2615): * 508 645 * 639 576 ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) [Cn,C-,C+,Cn,C+,rn] 14 577(2617): * 650 577 * 642 577 ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) [Cn,C+,rn,Cn,C+,rn] 14 578(2617): * 651 578 * 643 578 ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) [Cn,C+,rn,Cn,C+,rn] 14 579(2619): * 505 652 * 640 499 ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) [Cn,C-,C+,Cn,C+,C-] 14 580(2619): * 506 653 * 641 500 ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) [Cn,C-,C+,Cn,C+,C-] 14 581(2623): * 655 509 * 661 501 ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) [Cn,C+,C-,Cn,C+,C-] 14 582(2624): * 509 654 * 660 502 ( *, *) ( *, *) ( *, *) (545, *) ( *, *) ( *, *) [Cn,C-,C+,r1,C+,C-] 14 583(2633): * 660 661 * 509 583 ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) (527,528) [Cn,C+,C+,Cn,C-,r2] 14 584(2635): * 662 663 * 584 584 ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) (529,530) [Cn,C+,C+,Cn,rn,r2] 14 585(2645): * 514 516 * 510 678 (550, *) ( *, *) ( *, *) (631, *) ( *, *) ( *, *) [r1,C-,C-,i1,C-,C+] 14 586(2645): * 515 517 * 511 679 (551, *) ( *, *) ( *, *) (632, *) ( *, *) ( *, *) [r1,C-,C-,i1,C-,C+] 14 587(2647): * 518 513 * 513 681 (631, *) ( *, *) ( *, *) (550, *) ( *, *) ( *, *) [i1,C-,C-,r1,C-,C+] 14 588(2648): * 519 512 * 512 680 (632, *) ( *, *) ( *, *) (551, *) ( *, *) ( *, *) [i1,C-,C-,r1,C-,C+] 14 589(2654): * 520 521 * 531 682 (633, *) ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) [i2,C-,C-,Cn,C-,C+] 14 590(2655): * 664 524 * 533 683 ( *, *) ( *, *) ( *, *) (636, *) ( *, *) ( *, *) [Cn,C+,C-,i1,C-,C+] 14 591(2656): * 665 523 * 532 684 ( *, *) ( *, *) ( *, *) (637, *) ( *, *) ( *, *) [Cn,C+,C-,i1,C-,C+] 14 592(2659): * 522 526 * 538 686 ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) [Cn,C-,C-,Cn,C-,C+] 14 593(2662): * 527 668 * 541 594 ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) (660, *) [Cn,C-,C+,Cn,C-,i2] 14 594(2662): * 528 669 * 542 593 ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) (660, *) [Cn,C-,C+,Cn,C-,i2] 14 595(2666): * 672 527 * 539 596 ( *, *) ( *, *) ( *, *) (642, *) ( *, *) (661, *) [Cn,C+,C-,i2,C-,i2] 14 596(2666): * 673 528 * 540 595 ( *, *) ( *, *) ( *, *) (643, *) ( *, *) (661, *) [Cn,C+,C-,i2,C-,i2] 14 597(2668): * 529 666 * 534 598 ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) (662, *) [Cn,C-,C+,Cn,C-,i2] 14 598(2668): * 530 667 * 535 597 ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) (662, *) [Cn,C-,C+,Cn,C-,i2] 14 599(2669): * 524 670 * 543 689 ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) [Cn,C-,C+,Cn,C-,C+] 14 600(2670): * 523 671 * 544 688 ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) [Cn,C-,C+,Cn,C-,C+] 14 601(2674): * 674 529 * 536 602 ( *, *) ( *, *) ( *, *) (553, *) ( *, *) (663, *) [Cn,C+,C-,r1,C-,i2] 14 602(2674): * 675 530 * 537 601 ( *, *) ( *, *) ( *, *) (552, *) ( *, *) (663, *) [Cn,C+,C-,r1,C-,i2] 14 603(2676): * 676 534 * 666 603 ( *, *) ( *, *) ( *, *) (644, *) ( *, *) ( *, *) [Cn,C+,C-,i1,C+,rn] 14 604(2676): * 677 535 * 667 604 ( *, *) ( *, *) ( *, *) (645, *) ( *, *) ( *, *) [Cn,C+,C-,i1,C+,rn] 14 605(2677): * 533 681 * 664 513 (646, *) ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) [i1,C-,C+,Cn,C+,C-] 14 606(2678): * 532 680 * 665 512 (647, *) ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) [i1,C-,C+,Cn,C+,C-] 14 607(2680): * 536 676 * 674 607 (650, *) ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) [i2,C-,C+,Cn,C+,rn] 14 608(2680): * 537 677 * 675 608 (651, *) ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) [i2,C-,C+,Cn,C+,rn] 14 609(2684): * 678 541 * 668 514 ( *, *) ( *, *) ( *, *) (652, *) ( *, *) ( *, *) [Cn,C+,C-,i1,C+,C-] 14 610(2684): * 679 542 * 669 515 ( *, *) ( *, *) ( *, *) (653, *) ( *, *) ( *, *) [Cn,C+,C-,i1,C+,C-] 14 611(2685): * 680 544 * 671 519 ( *, *) ( *, *) ( *, *) (556, *) ( *, *) ( *, *) [Cn,C+,C-,r1,C+,C-] 14 612(2686): * 681 543 * 670 518 ( *, *) ( *, *) ( *, *) (557, *) ( *, *) ( *, *) [Cn,C+,C-,r1,C+,C-] 14 613(2688): * 539 678 * 672 516 (559, *) ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) [r1,C-,C+,Cn,C+,C-] 14 614(2688): * 540 679 * 673 517 (558, *) ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) [r1,C-,C+,Cn,C+,C-] 14 615(2692): * 682 547 * 685 520 ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) [Cn,C+,C-,Cn,C+,C-] 14 616(2693): * 686 545 * 686 522 ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) [Cn,C+,C-,Cn,C+,C-] 14 617(2694): * 546 682 * 687 521 (655, *) ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) [i2,C-,C+,Cn,C+,C-] 14 618(2698): * 688 684 * 688 523 ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) [Cn,C+,C+,Cn,C+,C-] 14 619(2699): * 689 683 * 689 524 ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) [Cn,C+,C+,Cn,C+,C-] 14 620(2704): * 548 686 * 545 526 ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) [Cn,C-,C+,Cn,C-,C-] 14 621(2707): * 687 549 * 546 621 ( *, *) ( *, *) ( *, *) (663, *) ( *, *) (553,552) [Cn,C+,C-,i2,C-,r1] 14 622(2708): * 549 685 * 547 622 ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) (555,554) [Cn,C-,C+,Cn,C-,r1] 14 623(2720): * 691 554 * 556 624 ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) (685, *) [Cn,C+,C-,Cn,C-,i1] 14 624(2721): * 690 555 * 557 623 ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) (685, *) [Cn,C+,C-,Cn,C-,i1] 14 625(2723): * 552 691 * 558 626 (673, *) ( *, *) ( *, *) (675, *) ( *, *) (687, *) [i1,C-,C+,i1,C-,i1] 14 626(2725): * 553 690 * 559 625 (672, *) ( *, *) ( *, *) (674, *) ( *, *) (687, *) [i1,C-,C+,i1,C-,i1] 14 627(2728): * 556 558 * 691 551 (679, *) ( *, *) ( *, *) (680, *) ( *, *) ( *, *) [i1,C-,C-,i1,C+,C-] 14 628(2729): * 557 559 * 690 550 (678, *) ( *, *) ( *, *) (681, *) ( *, *) ( *, *) [i1,C-,C-,i1,C+,C-] 14 629(2732): * 694 629 * 692 629 ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) [Cn,C+,rn,Cn,C+,rn] 15 630(2732): * 695 630 * 693 630 ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) [Cn,C+,rn,Cn,C+,rn] 15 631(2736): * 562 560 * 560 711 (587, *) ( *, *) ( *, *) (585, *) ( *, *) ( *, *) [r1,C-,C-,r1,C-,C+] 15 632(2736): * 563 561 * 561 712 (588, *) ( *, *) ( *, *) (586, *) ( *, *) ( *, *) [r1,C-,C-,r1,C-,C+] 15 633(2739): * 564 565 * 570 713 (589, *) ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) [r1,C-,C-,Cn,C-,C+] 15 634(2740): * 699 566 * 571 714 ( *, *) ( *, *) ( *, *) (692, *) ( *, *) ( *, *) [Cn,C+,C-,i2,C-,C+] 15 635(2740): * 700 567 * 572 715 ( *, *) ( *, *) ( *, *) (693, *) ( *, *) ( *, *) [Cn,C+,C-,i2,C-,C+] 15 636(2742): * 701 568 * 573 716 ( *, *) ( *, *) ( *, *) (590, *) ( *, *) ( *, *) [Cn,C+,C-,r1,C-,C+] 15 637(2742): * 702 569 * 574 717 ( *, *) ( *, *) ( *, *) (591, *) ( *, *) ( *, *) [Cn,C+,C-,r1,C-,C+] 15 638(2743): * 568 697 * 575 718 ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) [Cn,C-,C+,Cn,C-,C+] 15 639(2743): * 569 698 * 576 719 ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) [Cn,C-,C+,Cn,C-,C+] 15 640(2745): * 566 703 * 579 722 ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) [Cn,C-,C+,Cn,C-,C+] 15 641(2745): * 567 704 * 580 723 ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) [Cn,C-,C+,Cn,C-,C+] 15 642(2746): * 705 642 * 577 643 ( *, *) ( *, *) ( *, *) (595, *) ( *, *) (696, *) [Cn,C+,rn,r1,C-,i2] 15 643(2746): * 706 643 * 578 642 ( *, *) ( *, *) ( *, *) (596, *) ( *, *) (696, *) [Cn,C+,rn,r1,C-,i2] 15 644(2748): * 709 575 * 697 644 ( *, *) ( *, *) ( *, *) (603, *) ( *, *) ( *, *) [Cn,C+,C-,r1,C+,rn] 15 645(2748): * 710 576 * 698 645 ( *, *) ( *, *) ( *, *) (604, *) ( *, *) ( *, *) [Cn,C+,C-,r1,C+,rn] 15 646(2749): * 571 711 * 699 560 (605, *) ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) [r1,C-,C+,Cn,C+,C-] 15 647(2749): * 572 712 * 700 561 (606, *) ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) [r1,C-,C+,Cn,C+,C-] 15 648(2750): * 573 709 * 701 648 (694, *) ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) [i2,C-,C+,Cn,C+,rn] 15 649(2750): * 574 710 * 702 649 (695, *) ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) [i2,C-,C+,Cn,C+,rn] 15 650(2751): * 577 707 * 705 650 (607, *) ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) [r1,C-,C+,Cn,C+,rn] 15 651(2751): * 578 708 * 706 651 (608, *) ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) [r1,C-,C+,Cn,C+,rn] 15 652(2754): * 711 579 * 703 562 ( *, *) ( *, *) ( *, *) (609, *) ( *, *) ( *, *) [Cn,C+,C-,r1,C+,C-] 15 653(2754): * 712 580 * 704 563 ( *, *) ( *, *) ( *, *) (610, *) ( *, *) ( *, *) [Cn,C+,C-,r1,C+,C-] 15 654(2756): * 713 582 * 721 564 ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) [Cn,C+,C-,Cn,C+,C-] 15 655(2757): * 581 713 * 724 565 (617, *) ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) [r1,C-,C+,Cn,C+,C-] 15 656(2758): * 722 714 * 722 566 ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) [Cn,C+,C+,Cn,C+,C-] 15 657(2758): * 723 715 * 723 567 ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) [Cn,C+,C+,Cn,C+,C-] 15 658(2762): * 718 716 * 726 568 ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) [Cn,C+,C+,Cn,C+,C-] 15 659(2762): * 719 717 * 727 569 ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) [Cn,C+,C+,Cn,C+,C-] 15 660(2766): * 583 721 * 582 660 ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) (593,594) [Cn,C-,C+,Cn,C-,r2] 15 661(2768): * 724 583 * 581 661 ( *, *) ( *, *) ( *, *) (696, *) ( *, *) (595,596) [Cn,C+,C-,i2,C-,r2] 15 662(2769): * 584 720 * 662 662 ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) (597,598) [Cn,C-,C+,Cn,rn,r2] 15 663(2771): * 725 584 * 663 663 ( *, *) ( *, *) ( *, *) (621, *) ( *, *) (601,602) [Cn,C+,C-,r1,rn,r2] 15 664(2786): * 590 733 * 605 734 (699, *) ( *, *) ( *, *) (701, *) ( *, *) ( *, *) [i1,C-,C+,i1,C-,C+] 15 665(2787): * 591 732 * 606 735 (700, *) ( *, *) ( *, *) (702, *) ( *, *) ( *, *) [i1,C-,C+,i1,C-,C+] 15 666(2789): * 728 597 * 603 667 ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) (720, *) [Cn,C+,C-,Cn,C-,i2] 15 667(2789): * 729 598 * 604 666 ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) (720, *) [Cn,C+,C-,Cn,C-,i2] 15 668(2790): * 730 593 * 609 669 ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) (721, *) [Cn,C+,C-,Cn,C-,i2] 15 669(2790): * 731 594 * 610 668 ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) (721, *) [Cn,C+,C-,Cn,C-,i2] 15 670(2792): * 733 599 * 612 738 ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) [Cn,C+,C-,Cn,C-,C+] 15 671(2793): * 732 600 * 611 737 ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) [Cn,C+,C-,Cn,C-,C+] 15 672(2794): * 595 730 * 613 673 (626, *) ( *, *) ( *, *) (705, *) ( *, *) (724, *) [r1,C-,C+,i2,C-,i2] 15 673(2794): * 596 731 * 614 672 (625, *) ( *, *) ( *, *) (706, *) ( *, *) (724, *) [r1,C-,C+,i2,C-,i2] 15 674(2798): * 601 728 * 607 675 (705, *) ( *, *) ( *, *) (626, *) ( *, *) (725, *) [i2,C-,C+,r1,C-,i2] 15 675(2798): * 602 729 * 608 674 (706, *) ( *, *) ( *, *) (625, *) ( *, *) (725, *) [i2,C-,C+,r1,C-,i2] 15 676(2806): * 603 607 * 728 676 (707, *) ( *, *) ( *, *) (709, *) ( *, *) ( *, *) [i2,C-,C-,i1,C+,rn] 15 677(2806): * 604 608 * 729 677 (708, *) ( *, *) ( *, *) (710, *) ( *, *) ( *, *) [i2,C-,C-,i1,C+,rn] 15 678(2808): * 609 613 * 730 585 (628, *) ( *, *) ( *, *) (711, *) ( *, *) ( *, *) [r1,C-,C-,i1,C+,C-] 15 679(2808): * 610 614 * 731 586 (627, *) ( *, *) ( *, *) (712, *) ( *, *) ( *, *) [r1,C-,C-,i1,C+,C-] 15 680(2810): * 611 606 * 732 588 (712, *) ( *, *) ( *, *) (627, *) ( *, *) ( *, *) [i1,C-,C-,r1,C+,C-] 15 681(2811): * 612 605 * 733 587 (711, *) ( *, *) ( *, *) (628, *) ( *, *) ( *, *) [i1,C-,C-,r1,C+,C-] 15 682(2816): * 615 617 * 736 589 (713, *) ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) [i2,C-,C-,Cn,C+,C-] 15 683(2817): * 734 619 * 738 590 ( *, *) ( *, *) ( *, *) (716, *) ( *, *) ( *, *) [Cn,C+,C-,i1,C+,C-] 15 684(2818): * 735 618 * 737 591 ( *, *) ( *, *) ( *, *) (717, *) ( *, *) ( *, *) [Cn,C+,C-,i1,C+,C-] 15 685(2821): * 736 622 * 615 685 ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) (624,623) [Cn,C+,C-,Cn,C-,r1] 15 686(2822): * 616 620 * 616 592 ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) [Cn,C-,C-,Cn,C-,C-] 15 687(2825): * 621 736 * 617 687 (724, *) ( *, *) ( *, *) (725, *) ( *, *) (626,625) [i2,C-,C+,i2,C-,r1] 15 688(2826): * 618 737 * 618 600 ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) [Cn,C-,C+,Cn,C-,C-] 15 689(2827): * 619 738 * 619 599 ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) [Cn,C-,C+,Cn,C-,C-] 15 690(2832): * 624 626 * 628 691 (730, *) ( *, *) ( *, *) ( *, *) ( *, *) (736, *) [i1,C-,C-,Cn,C-,i1] 15 691(2833): * 623 625 * 627 690 (731, *) ( *, *) ( *, *) ( *, *) ( *, *) (736, *) [i1,C-,C-,Cn,C-,i1] 15 692(2836): * 739 692 * 629 743 ( *, *) ( *, *) ( *, *) (634, *) ( *, *) ( *, *) [Cn,C+,rn,r1,C-,C+] 16 693(2836): * 740 693 * 630 744 ( *, *) ( *, *) ( *, *) (635, *) ( *, *) ( *, *) [Cn,C+,rn,r1,C-,C+] 16 694(2837): * 629 741 * 739 694 (648, *) ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) [r1,C-,C+,Cn,C+,rn] 16 695(2837): * 630 742 * 740 695 (649, *) ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) [r1,C-,C+,Cn,C+,rn] 16 696(2839): * 745 696 * 696 696 ( *, *) ( *, *) ( *, *) (661, *) ( *, *) (642,643) [Cn,C+,rn,r1,rn,r2] 16 697(2844): * 746 638 * 644 754 ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) [Cn,C+,C-,Cn,C-,C+] 16 698(2844): * 747 639 * 645 755 ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) [Cn,C+,C-,Cn,C-,C+] 16 699(2845): * 634 750 * 646 752 (664, *) ( *, *) ( *, *) (739, *) ( *, *) ( *, *) [r1,C-,C+,i2,C-,C+] 16 700(2845): * 635 751 * 647 753 (665, *) ( *, *) ( *, *) (740, *) ( *, *) ( *, *) [r1,C-,C+,i2,C-,C+] 16 701(2846): * 636 746 * 648 756 (739, *) ( *, *) ( *, *) (664, *) ( *, *) ( *, *) [i2,C-,C+,r1,C-,C+] 16 702(2846): * 637 747 * 649 757 (740, *) ( *, *) ( *, *) (665, *) ( *, *) ( *, *) [i2,C-,C+,r1,C-,C+] 16 703(2848): * 750 640 * 652 760 ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) [Cn,C+,C-,Cn,C-,C+] 16 704(2848): * 751 641 * 653 761 ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) [Cn,C+,C-,Cn,C-,C+] 16 705(2851): * 642 748 * 650 706 (674, *) ( *, *) ( *, *) (672, *) ( *, *) (745, *) [r1,C-,C+,r1,C-,i2] 16 706(2851): * 643 749 * 651 705 (675, *) ( *, *) ( *, *) (673, *) ( *, *) (745, *) [r1,C-,C+,r1,C-,i2] 16 707(2852): * 707 650 * 748 707 (676, *) ( *, *) ( *, *) (741, *) ( *, *) ( *, *) [r1,rn,C-,i1,C+,rn] 16 708(2852): * 708 651 * 749 708 (677, *) ( *, *) ( *, *) (742, *) ( *, *) ( *, *) [r1,rn,C-,i1,C+,rn] 16 709(2855): * 644 648 * 746 709 (741, *) ( *, *) ( *, *) (676, *) ( *, *) ( *, *) [i2,C-,C-,r1,C+,rn] 16 710(2855): * 645 649 * 747 710 (742, *) ( *, *) ( *, *) (677, *) ( *, *) ( *, *) [i2,C-,C-,r1,C+,rn] 16 711(2857): * 652 646 * 750 631 (681, *) ( *, *) ( *, *) (678, *) ( *, *) ( *, *) [r1,C-,C-,r1,C+,C-] 16 712(2857): * 653 647 * 751 632 (680, *) ( *, *) ( *, *) (679, *) ( *, *) ( *, *) [r1,C-,C-,r1,C+,C-] 16 713(2859): * 654 655 * 759 633 (682, *) ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) [r1,C-,C-,Cn,C+,C-] 16 714(2860): * 752 656 * 760 634 ( *, *) ( *, *) ( *, *) (743, *) ( *, *) ( *, *) [Cn,C+,C-,i2,C+,C-] 16 715(2860): * 753 657 * 761 635 ( *, *) ( *, *) ( *, *) (744, *) ( *, *) ( *, *) [Cn,C+,C-,i2,C+,C-] 16 716(2862): * 756 658 * 762 636 ( *, *) ( *, *) ( *, *) (683, *) ( *, *) ( *, *) [Cn,C+,C-,r1,C+,C-] 16 717(2862): * 757 659 * 763 637 ( *, *) ( *, *) ( *, *) (684, *) ( *, *) ( *, *) [Cn,C+,C-,r1,C+,C-] 16 718(2864): * 658 754 * 764 638 ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) [Cn,C-,C+,Cn,C+,C-] 16 719(2864): * 659 755 * 765 639 ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) [Cn,C-,C+,Cn,C+,C-] 16 720(2865): * 758 662 * 720 720 ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) (666,667) [Cn,C+,C-,Cn,rn,r2] 16 721(2866): * 759 660 * 654 721 ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) (668,669) [Cn,C+,C-,Cn,C-,r2] 16 722(2867): * 656 760 * 656 640 ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) [Cn,C-,C+,Cn,C-,C-] 16 723(2867): * 657 761 * 657 641 ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) [Cn,C-,C+,Cn,C-,C-] 16 724(2869): * 661 759 * 655 724 (687, *) ( *, *) ( *, *) (745, *) ( *, *) (672,673) [r1,C-,C+,i2,C-,r2] 16 725(2872): * 663 758 * 725 725 (745, *) ( *, *) ( *, *) (687, *) ( *, *) (674,675) [i2,C-,C+,r1,rn,r2] 16 726(2874): * 764 762 * 658 726 ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) [Cn,C+,C+,Cn,C-,rn] 16 727(2874): * 765 763 * 659 727 ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) [Cn,C+,C+,Cn,C-,rn] 16 728(2885): * 666 674 * 676 729 (748, *) ( *, *) ( *, *) ( *, *) ( *, *) (758, *) [i2,C-,C-,Cn,C-,i2] 16 729(2885): * 667 675 * 677 728 (749, *) ( *, *) ( *, *) ( *, *) ( *, *) (758, *) [i2,C-,C-,Cn,C-,i2] 16 730(2888): * 668 672 * 678 731 (690, *) ( *, *) ( *, *) ( *, *) ( *, *) (759, *) [r1,C-,C-,Cn,C-,i2] 16 731(2888): * 669 673 * 679 730 (691, *) ( *, *) ( *, *) ( *, *) ( *, *) (759, *) [r1,C-,C-,Cn,C-,i2] 16 732(2889): * 671 665 * 680 767 (751, *) ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) [i1,C-,C-,Cn,C-,C+] 16 733(2890): * 670 664 * 681 766 (750, *) ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) [i1,C-,C-,Cn,C-,C+] 16 734(2901): * 683 766 * 766 664 (752, *) ( *, *) ( *, *) (756, *) ( *, *) ( *, *) [i1,C-,C+,i1,C+,C-] 16 735(2902): * 684 767 * 767 665 (753, *) ( *, *) ( *, *) (757, *) ( *, *) ( *, *) [i1,C-,C+,i1,C+,C-] 16 736(2905): * 685 687 * 682 736 (759, *) ( *, *) ( *, *) ( *, *) ( *, *) (691,690) [i2,C-,C-,Cn,C-,r1] 16 737(2906): * 767 688 * 684 671 ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) [Cn,C+,C-,Cn,C-,C-] 16 738(2907): * 766 689 * 683 670 ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) [Cn,C+,C-,Cn,C-,C-] 16 739(2912): * 692 768 * 694 770 (701, *) ( *, *) ( *, *) (699, *) ( *, *) ( *, *) [r1,C-,C+,r1,C-,C+] 17 740(2912): * 693 769 * 695 771 (702, *) ( *, *) ( *, *) (700, *) ( *, *) ( *, *) [r1,C-,C+,r1,C-,C+] 17 741(2913): * 741 694 * 768 741 (709, *) ( *, *) ( *, *) (707, *) ( *, *) ( *, *) [r1,rn,C-,r1,C+,rn] 17 742(2913): * 742 695 * 769 742 (710, *) ( *, *) ( *, *) (708, *) ( *, *) ( *, *) [r1,rn,C-,r1,C+,rn] 17 743(2914): * 770 743 * 773 692 ( *, *) ( *, *) ( *, *) (714, *) ( *, *) ( *, *) [Cn,C+,rn,r1,C+,C-] 17 744(2914): * 771 744 * 774 693 ( *, *) ( *, *) ( *, *) (715, *) ( *, *) ( *, *) [Cn,C+,rn,r1,C+,C-] 17 745(2916): * 696 772 * 745 745 (725, *) ( *, *) ( *, *) (724, *) ( *, *) (705,706) [r1,C-,C+,r1,rn,r2] 17 746(2921): * 697 701 * 709 777 (768, *) ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) [i2,C-,C-,Cn,C-,C+] 17 747(2921): * 698 702 * 710 778 (769, *) ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) [i2,C-,C-,Cn,C-,C+] 17 748(2922): * 748 705 * 707 749 (728, *) ( *, *) ( *, *) ( *, *) ( *, *) (772, *) [r1,rn,C-,Cn,C-,i2] 17 749(2922): * 749 706 * 708 748 (729, *) ( *, *) ( *, *) ( *, *) ( *, *) (772, *) [r1,rn,C-,Cn,C-,i2] 17 750(2924): * 703 699 * 711 779 (733, *) ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) [r1,C-,C-,Cn,C-,C+] 17 751(2924): * 704 700 * 712 780 (732, *) ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) [r1,C-,C-,Cn,C-,C+] 17 752(2931): * 714 779 * 779 699 (734, *) ( *, *) ( *, *) (770, *) ( *, *) ( *, *) [r1,C-,C+,i2,C+,C-] 17 753(2931): * 715 780 * 780 700 (735, *) ( *, *) ( *, *) (771, *) ( *, *) ( *, *) [r1,C-,C+,i2,C+,C-] 17 754(2932): * 777 718 * 783 697 ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) [Cn,C+,C-,Cn,C+,C-] 17 755(2932): * 778 719 * 784 698 ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) [Cn,C+,C-,Cn,C+,C-] 17 756(2933): * 716 777 * 781 701 (770, *) ( *, *) ( *, *) (734, *) ( *, *) ( *, *) [i2,C-,C+,r1,C+,C-] 17 757(2933): * 717 778 * 782 702 (771, *) ( *, *) ( *, *) (735, *) ( *, *) ( *, *) [i2,C-,C+,r1,C+,C-] 17 758(2937): * 720 725 * 758 758 (772, *) ( *, *) ( *, *) ( *, *) ( *, *) (728,729) [i2,C-,C-,Cn,rn,r2] 17 759(2938): * 721 724 * 713 759 (736, *) ( *, *) ( *, *) ( *, *) ( *, *) (730,731) [r1,C-,C-,Cn,C-,r2] 17 760(2939): * 779 722 * 714 703 ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) [Cn,C+,C-,Cn,C-,C-] 17 761(2939): * 780 723 * 715 704 ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) [Cn,C+,C-,Cn,C-,C-] 17 762(2941): * 781 726 * 716 762 ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) [Cn,C+,C-,Cn,C-,rn] 17 763(2941): * 782 727 * 717 763 ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) [Cn,C+,C-,Cn,C-,rn] 17 764(2942): * 726 783 * 718 764 ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) [Cn,C-,C+,Cn,C-,rn] 17 765(2942): * 727 784 * 719 765 ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) [Cn,C-,C+,Cn,C-,rn] 17 766(2961): * 738 734 * 734 733 (779, *) ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) [i1,C-,C-,Cn,C-,C-] 17 767(2962): * 737 735 * 735 732 (780, *) ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) [i1,C-,C-,Cn,C-,C-] 17 768(2963): * 768 739 * 741 785 (746, *) ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) [r1,rn,C-,Cn,C-,C+] 18 769(2963): * 769 740 * 742 786 (747, *) ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) [r1,rn,C-,Cn,C-,C+] 18 770(2964): * 743 785 * 787 739 (756, *) ( *, *) ( *, *) (752, *) ( *, *) ( *, *) [r1,C-,C+,r1,C+,C-] 18 771(2964): * 744 786 * 788 740 (757, *) ( *, *) ( *, *) (753, *) ( *, *) ( *, *) [r1,C-,C+,r1,C+,C-] 18 772(2965): * 772 745 * 772 772 (758, *) ( *, *) ( *, *) ( *, *) ( *, *) (748,749) [r1,rn,C-,Cn,rn,r2] 18 773(2966): * 787 773 * 743 773 ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) [Cn,C+,rn,Cn,C-,rn] 18 774(2966): * 788 774 * 744 774 ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) [Cn,C+,rn,Cn,C-,rn] 18 775(2967): * 775 789 * 775 775 ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) [Cn,rn,C+,Cn,rn,rn] 18 776(2967): * 776 790 * 776 776 ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) [Cn,rn,C+,Cn,rn,rn] 18 777(2981): * 754 756 * 791 746 (785, *) ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) [i2,C-,C-,Cn,C+,C-] 18 778(2981): * 755 757 * 792 747 (786, *) ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) [i2,C-,C-,Cn,C+,C-] 18 779(2984): * 760 752 * 752 750 (766, *) ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) [r1,C-,C-,Cn,C-,C-] 18 780(2984): * 761 753 * 753 751 (767, *) ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) [r1,C-,C-,Cn,C-,C-] 18 781(2985): * 762 791 * 756 781 (787, *) ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) [i2,C-,C+,Cn,C-,rn] 18 782(2985): * 763 792 * 757 782 (788, *) ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) [i2,C-,C+,Cn,C-,rn] 18 783(2986): * 791 764 * 754 783 ( *, *) ( *, *) ( *, *) (789, *) ( *, *) ( *, *) [Cn,C+,C-,i2,C-,rn] 18 784(2986): * 792 765 * 755 784 ( *, *) ( *, *) ( *, *) (790, *) ( *, *) ( *, *) [Cn,C+,C-,i2,C-,rn] 18 785(2996): * 785 770 * 793 768 (777, *) ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) [r1,rn,C-,Cn,C+,C-] 19 786(2996): * 786 771 * 794 769 (778, *) ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) [r1,rn,C-,Cn,C+,C-] 19 787(2997): * 773 793 * 770 787 (781, *) ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) [r1,C-,C+,Cn,C-,rn] 19 788(2997): * 774 794 * 771 788 (782, *) ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) [r1,C-,C+,Cn,C-,rn] 19 789(2999): * 795 775 * 789 789 ( *, *) ( *, *) ( *, *) (783, *) ( *, *) ( *, *) [Cn,C+,C-,r1,rn,rn] 19 790(2999): * 796 776 * 790 790 ( *, *) ( *, *) ( *, *) (784, *) ( *, *) ( *, *) [Cn,C+,C-,r1,rn,rn] 19 791(3008): * 783 781 * 777 791 (793, *) ( *, *) ( *, *) (795, *) ( *, *) ( *, *) [i2,C-,C-,i2,C-,rn] 19 792(3008): * 784 782 * 778 792 (794, *) ( *, *) ( *, *) (796, *) ( *, *) ( *, *) [i2,C-,C-,i2,C-,rn] 19 793(3012): * 793 787 * 785 793 (791, *) ( *, *) ( *, *) (797, *) ( *, *) ( *, *) [r1,rn,C-,i2,C-,rn] 20 794(3012): * 794 788 * 786 794 (792, *) ( *, *) ( *, *) (798, *) ( *, *) ( *, *) [r1,rn,C-,i2,C-,rn] 20 795(3015): * 789 795 * 795 795 (797, *) ( *, *) ( *, *) (791, *) ( *, *) ( *, *) [i2,C-,rn,r1,rn,rn] 20 796(3015): * 790 796 * 796 796 (798, *) ( *, *) ( *, *) (792, *) ( *, *) ( *, *) [i2,C-,rn,r1,rn,rn] 20 797(3016): * 797 797 * 797 797 (795, *) ( *, *) ( *, *) (793, *) ( *, *) ( *, *) [r1,rn,rn,r1,rn,rn] 21 798(3016): * 798 798 * 798 798 (796, *) ( *, *) ( *, *) (794, *) ( *, *) ( *, *) [r1,rn,rn,r1,rn,rn] 21