0( 0): * 0 * * * 0 ( 2, *) ( *, *) ( 5, *) ( 6, *) ( 9, *) ( *, *) [i1,ic,i1,i1,i1,ic] 0 1( 13): * 1 * * * 1 ( 3, *) ( *, *) ( 4, *) ( 7, *) ( 8, *) ( *, *) [i1,ic,i1,i1,i1,ic] 0 2( 42): * 19 * * * 2 ( 0, *) ( *, *) ( 11, *) ( 13, *) ( 15, *) ( *, *) [r1,C+,i1,i1,i1,ic] 1 3( 43): * 18 * * * 3 ( 1, *) ( *, *) ( 10, *) ( 12, *) ( 14, *) ( *, *) [r1,C+,i1,i1,i1,ic] 1 4( 65): * 20 * * * 4 ( 10, *) ( *, *) ( 1, *) ( *, *) ( 17, *) ( *, *) [i1,C+,r1,Cn,i1,ic] 1 5( 74): * 21 * * * 5 ( 11, *) ( *, *) ( 0, *) ( *, *) ( 16, *) ( *, *) [i1,C+,r1,Cn,i1,ic] 1 6( 78): * 6 * * * 6 ( 13, *) ( *, *) ( *, *) ( 0, *) ( *, *) ( *, *) [i1,ic,Cn,r1,Cn,ic] 1 7( 84): * 7 * * * 7 ( 12, *) ( *, *) ( *, *) ( 1, *) ( *, *) ( *, *) [i1,ic,Cn,r1,Cn,ic] 1 8( 89): * 8 * * * 23 ( 14, *) ( *, *) ( 17, *) ( *, *) ( 1, *) ( *, *) [i1,ic,i1,Cn,r1,C+] 1 9( 91): * 9 * * * 24 ( 15, *) ( *, *) ( 16, *) ( *, *) ( 0, *) ( *, *) [i1,ic,i1,Cn,r1,C+] 1 10( 112): * 27 * * * 10 ( 4, *) ( *, *) ( 3, *) ( *, *) ( 25, *) ( *, *) [r1,C+,r1,Cn,i1,ic] 2 11( 113): * 28 * * * 11 ( 5, *) ( *, *) ( 2, *) ( *, *) ( 26, *) ( *, *) [r1,C+,r1,Cn,i1,ic] 2 12( 115): * 29 * * * 12 ( 7, *) ( *, *) ( *, *) ( 3, *) ( *, *) ( *, *) [r1,C+,Cn,r1,Cn,ic] 2 13( 116): * 30 * * * 13 ( 6, *) ( *, *) ( *, *) ( 2, *) ( *, *) ( *, *) [r1,C+,Cn,r1,Cn,ic] 2 14( 122): * 31 * * * 37 ( 8, *) ( *, *) ( 25, *) ( *, *) ( 3, *) ( *, *) [r1,C+,i1,Cn,r1,C+] 2 15( 124): * 32 * * * 38 ( 9, *) ( *, *) ( 26, *) ( *, *) ( 2, *) ( *, *) [r1,C+,i1,Cn,r1,C+] 2 16( 130): * 34 * * * 39 ( 26, *) ( *, *) ( 9, *) ( *, *) ( 5, *) ( *, *) [i1,C+,r1,Cn,r1,C+] 2 17( 131): * 33 * * * 40 ( 25, *) ( *, *) ( 8, *) ( *, *) ( 4, *) ( *, *) [i1,C+,r1,Cn,r1,C+] 2 18( 150): * 3 * * * 18 ( *, *) ( *, *) ( *, *) ( 29, *) ( 31, *) ( *, *) [Cn,C-,Cn,i1,i1,ic] 2 19( 153): * 2 * * * 19 ( *, *) ( *, *) ( *, *) ( 30, *) ( 32, *) ( *, *) [Cn,C-,Cn,i1,i1,ic] 2 20( 162): * 4 * * * 20 ( *, *) ( *, *) ( *, *) ( *, *) ( 33, *) ( *, *) [Cn,C-,Cn,Cn,i1,ic] 2 21( 166): * 5 * * * 21 ( *, *) ( *, *) ( *, *) ( *, *) ( 34, *) ( *, *) [Cn,C-,Cn,Cn,i1,ic] 2 22( 200): * 22 * * * 22 ( 35, *) ( *, *) ( 36, *) ( *, *) ( *, *) ( 41, 42) [i1,ic,i1,Cn,Cn,i2] 2 23( 206): * 23 * * * 8 ( 37, *) ( *, *) ( 40, *) ( *, *) ( 42, *) ( *, *) [i1,ic,i1,Cn,i1,C-] 2 24( 213): * 24 * * * 9 ( 38, *) ( *, *) ( 39, *) ( *, *) ( 41, *) ( *, *) [i1,ic,i1,Cn,i1,C-] 2 25( 216): * 46 * * * 48 ( 17, *) ( *, *) ( 14, *) ( *, *) ( 10, *) ( *, *) [r1,C+,r1,Cn,r1,C+] 3 26( 217): * 45 * * * 49 ( 16, *) ( *, *) ( 15, *) ( *, *) ( 11, *) ( *, *) [r1,C+,r1,Cn,r1,C+] 3 27( 221): * 10 * * * 27 ( *, *) ( *, *) ( *, *) ( *, *) ( 46, *) ( *, *) [Cn,C-,Cn,Cn,i1,ic] 3 28( 224): * 11 * * * 28 ( *, *) ( *, *) ( *, *) ( *, *) ( 45, *) ( *, *) [Cn,C-,Cn,Cn,i1,ic] 3 29( 229): * 12 * * * 29 ( *, *) ( *, *) ( *, *) ( 18, *) ( *, *) ( *, *) [Cn,C-,Cn,r1,Cn,ic] 3 30( 230): * 13 * * * 30 ( *, *) ( *, *) ( *, *) ( 19, *) ( *, *) ( *, *) [Cn,C-,Cn,r1,Cn,ic] 3 31( 243): * 14 * * * 63 ( *, *) ( *, *) ( *, *) ( *, *) ( 18, *) ( *, *) [Cn,C-,Cn,Cn,r1,C+] 3 32( 244): * 15 * * * 64 ( *, *) ( *, *) ( *, *) ( *, *) ( 19, *) ( *, *) [Cn,C-,Cn,Cn,r1,C+] 3 33( 246): * 17 * * * 66 ( *, *) ( *, *) ( *, *) ( *, *) ( 20, *) ( *, *) [Cn,C-,Cn,Cn,r1,C+] 3 34( 247): * 16 * * * 65 ( *, *) ( *, *) ( *, *) ( *, *) ( 21, *) ( *, *) [Cn,C-,Cn,Cn,r1,C+] 3 35( 262): * 61 * * * 35 ( 22, *) ( *, *) ( 47, *) ( *, *) ( *, *) ( 50, 51) [r1,C+,i1,Cn,Cn,i2] 3 36( 268): * 62 * * * 36 ( 47, *) ( *, *) ( 22, *) ( *, *) ( *, *) ( 52, 53) [i1,C+,r1,Cn,Cn,i2] 3 37( 278): * 63 * * * 14 ( 23, *) ( *, *) ( 48, *) ( *, *) ( 51, *) ( *, *) [r1,C+,i1,Cn,i1,C-] 3 38( 279): * 64 * * * 15 ( 24, *) ( *, *) ( 49, *) ( *, *) ( 50, *) ( *, *) [r1,C+,i1,Cn,i1,C-] 3 39( 287): * 65 * * * 16 ( 49, *) ( *, *) ( 24, *) ( *, *) ( 52, *) ( *, *) [i1,C+,r1,Cn,i1,C-] 3 40( 289): * 66 * * * 17 ( 48, *) ( *, *) ( 23, *) ( *, *) ( 53, *) ( *, *) [i1,C+,r1,Cn,i1,C-] 3 41( 291): * 41 * * * 42 ( 50, *) ( *, *) ( 52, *) ( *, *) ( 24, *) ( 22, *) [i1,ic,i1,Cn,r1,r2] 3 42( 291): * 42 * * * 41 ( 51, *) ( *, *) ( 53, *) ( *, *) ( 23, *) ( 22, *) [i1,ic,i1,Cn,r1,r2] 3 43( 333): * 70 * * * 74 ( 56, *) ( *, *) ( *, *) ( 58, *) ( *, *) ( *, *) [i1,C+,Cn,i1,Cn,C+] 3 44( 338): * 71 * * * 75 ( 57, *) ( *, *) ( *, *) ( 59, *) ( *, *) ( *, *) [i1,C+,Cn,i1,Cn,C+] 3 45( 356): * 26 * * * 84 ( *, *) ( *, *) ( *, *) ( *, *) ( 28, *) ( *, *) [Cn,C-,Cn,Cn,r1,C+] 4 46( 357): * 25 * * * 83 ( *, *) ( *, *) ( *, *) ( *, *) ( 27, *) ( *, *) [Cn,C-,Cn,Cn,r1,C+] 4 47( 360): * 82 * * * 47 ( 36, *) ( *, *) ( 35, *) ( *, *) ( *, *) ( 76, 77) [r1,C+,r1,Cn,Cn,i2] 4 48( 365): * 83 * * * 25 ( 40, *) ( *, *) ( 37, *) ( *, *) ( 77, *) ( *, *) [r1,C+,r1,Cn,i1,C-] 4 49( 366): * 84 * * * 26 ( 39, *) ( *, *) ( 38, *) ( *, *) ( 76, *) ( *, *) [r1,C+,r1,Cn,i1,C-] 4 50( 368): * 85 * * * 51 ( 41, *) ( *, *) ( 76, *) ( *, *) ( 38, *) ( 35, *) [r1,C+,i1,Cn,r1,r2] 4 51( 368): * 86 * * * 50 ( 42, *) ( *, *) ( 77, *) ( *, *) ( 37, *) ( 35, *) [r1,C+,i1,Cn,r1,r2] 4 52( 371): * 87 * * * 53 ( 76, *) ( *, *) ( 41, *) ( *, *) ( 39, *) ( 36, *) [i1,C+,r1,Cn,r1,r2] 4 53( 371): * 88 * * * 52 ( 77, *) ( *, *) ( 42, *) ( *, *) ( 40, *) ( 36, *) [i1,C+,r1,Cn,r1,r2] 4 54( 406): * 97 * * * 111 ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) [Cn,C+,Cn,Cn,Cn,C+] 4 55( 407): * 98 * * * 110 ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) [Cn,C+,Cn,Cn,Cn,C+] 4 56( 410): * 96 * * * 113 ( 43, *) ( *, *) ( *, *) ( 79, *) ( *, *) ( *, *) [r1,C+,Cn,i1,Cn,C+] 4 57( 412): * 95 * * * 112 ( 44, *) ( *, *) ( *, *) ( 78, *) ( *, *) ( *, *) [r1,C+,Cn,i1,Cn,C+] 4 58( 419): * 99 * * * 115 ( 79, *) ( *, *) ( *, *) ( 43, *) ( *, *) ( *, *) [i1,C+,Cn,r1,Cn,C+] 4 59( 420): * 100 * * * 114 ( 78, *) ( *, *) ( *, *) ( 44, *) ( *, *) ( *, *) [i1,C+,Cn,r1,Cn,C+] 4 60( 426): * 101 * * * 116 ( 81, *) ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) [i1,C+,Cn,Cn,Cn,C+] 4 61( 428): * 35 * * * 61 ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) ( 85, 86) [Cn,C-,Cn,Cn,Cn,i2] 4 62( 431): * 36 * * * 62 ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) ( 87, 88) [Cn,C-,Cn,Cn,Cn,i2] 4 63( 458): * 37 * * * 31 ( *, *) ( *, *) ( *, *) ( *, *) ( 86, *) ( *, *) [Cn,C-,Cn,Cn,i1,C-] 4 64( 459): * 38 * * * 32 ( *, *) ( *, *) ( *, *) ( *, *) ( 85, *) ( *, *) [Cn,C-,Cn,Cn,i1,C-] 4 65( 462): * 39 * * * 34 ( *, *) ( *, *) ( *, *) ( *, *) ( 87, *) ( *, *) [Cn,C-,Cn,Cn,i1,C-] 4 66( 464): * 40 * * * 33 ( *, *) ( *, *) ( *, *) ( *, *) ( 88, *) ( *, *) [Cn,C-,Cn,Cn,i1,C-] 4 67( 470): * 117 * * * 67 ( 90, *) ( *, *) ( *, *) ( 93, *) ( 94, *) (108,109) [i1,C+,Cn,i1,i1,i2] 4 68( 479): * 68 * * * 68 ( *, *) ( *, *) ( 92, *) ( *, *) ( *, *) ( *, *) [Cn,ic,i1,Cn,Cn,ic] 4 69( 483): * 69 * * * 69 ( *, *) ( *, *) ( 91, *) ( *, *) ( *, *) ( *, *) [Cn,ic,i1,Cn,Cn,ic] 4 70( 501): * 43 * * * 118 ( *, *) ( *, *) ( 97, *) ( 99, *) ( *, *) ( *, *) [Cn,C-,i1,i1,Cn,C+] 4 71( 502): * 44 * * * 119 ( *, *) ( *, *) ( 98, *) (100, *) ( *, *) ( *, *) [Cn,C-,i1,i1,Cn,C+] 4 72( 505): * 72 * * * 72 (104, *) ( *, *) ( *, *) (107, *) ( *, *) ( *, *) [i1,ic,Cn,i1,Cn,ic] 4 73( 508): * 73 * * * 73 (105, *) ( *, *) ( *, *) (106, *) ( *, *) ( *, *) [i1,ic,Cn,i1,Cn,ic] 4 74( 518): * 118 * * * 43 (113, *) ( *, *) ( *, *) (115, *) ( *, *) ( *, *) [i1,C+,Cn,i1,Cn,C-] 4 75( 525): * 119 * * * 44 (112, *) ( *, *) ( *, *) (114, *) ( *, *) ( *, *) [i1,C+,Cn,i1,Cn,C-] 4 76( 527): * 120 * * * 77 ( 52, *) ( *, *) ( 50, *) ( *, *) ( 49, *) ( 47, *) [r1,C+,r1,Cn,r1,r2] 5 77( 527): * 121 * * * 76 ( 53, *) ( *, *) ( 51, *) ( *, *) ( 48, *) ( 47, *) [r1,C+,r1,Cn,r1,r2] 5 78( 533): * 126 * * * 141 ( 59, *) ( *, *) ( *, *) ( 57, *) ( *, *) ( *, *) [r1,C+,Cn,r1,Cn,C+] 5 79( 534): * 125 * * * 142 ( 58, *) ( *, *) ( *, *) ( 56, *) ( *, *) ( *, *) [r1,C+,Cn,r1,Cn,C+] 5 80( 537): * 128 * * * 143 ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) [Cn,C+,Cn,Cn,Cn,C+] 5 81( 538): * 127 * * * 144 ( 60, *) ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) [r1,C+,Cn,Cn,Cn,C+] 5 82( 540): * 47 * * * 82 ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) (120,121) [Cn,C-,Cn,Cn,Cn,i2] 5 83( 553): * 48 * * * 46 ( *, *) ( *, *) ( *, *) ( *, *) (121, *) ( *, *) [Cn,C-,Cn,Cn,i1,C-] 5 84( 554): * 49 * * * 45 ( *, *) ( *, *) ( *, *) ( *, *) (120, *) ( *, *) [Cn,C-,Cn,Cn,i1,C-] 5 85( 557): * 50 * * * 86 ( *, *) ( *, *) ( *, *) ( *, *) ( 64, *) ( 61, *) [Cn,C-,Cn,Cn,r1,r2] 5 86( 557): * 51 * * * 85 ( *, *) ( *, *) ( *, *) ( *, *) ( 63, *) ( 61, *) [Cn,C-,Cn,Cn,r1,r2] 5 87( 559): * 52 * * * 88 ( *, *) ( *, *) ( *, *) ( *, *) ( 65, *) ( 62, *) [Cn,C-,Cn,Cn,r1,r2] 5 88( 559): * 53 * * * 87 ( *, *) ( *, *) ( *, *) ( *, *) ( 66, *) ( 62, *) [Cn,C-,Cn,Cn,r1,r2] 5 89( 566): * 146 * * * 89 ( *, *) ( *, *) ( *, *) ( *, *) (123, *) (135,136) [Cn,C+,Cn,Cn,i1,i2] 5 90( 568): * 145 * * * 90 ( 67, *) ( *, *) ( *, *) (122, *) (124, *) (137,138) [r1,C+,Cn,i1,i1,i2] 5 91( 575): * 149 * * * 91 ( *, *) ( *, *) ( 69, *) ( *, *) ( *, *) ( *, *) [Cn,C+,r1,Cn,Cn,ic] 5 92( 577): * 148 * * * 92 ( *, *) ( *, *) ( 68, *) ( *, *) ( *, *) ( *, *) [Cn,C+,r1,Cn,Cn,ic] 5 93( 579): * 147 * * * 93 (122, *) ( *, *) ( *, *) ( 67, *) ( *, *) (139,140) [i1,C+,Cn,r1,Cn,i2] 5 94( 602): * 152 * * * 165 (124, *) ( *, *) ( *, *) ( *, *) ( 67, *) ( *, *) [i1,C+,Cn,Cn,r1,C+] 5 95( 603): * 57 * * * 159 ( *, *) ( *, *) ( *, *) (126, *) ( *, *) ( *, *) [Cn,C-,Cn,i1,Cn,C+] 5 96( 605): * 56 * * * 160 ( *, *) ( *, *) ( *, *) (125, *) ( *, *) ( *, *) [Cn,C-,Cn,i1,Cn,C+] 5 97( 608): * 54 * * * 162 ( *, *) ( *, *) ( 70, *) ( *, *) ( *, *) ( *, *) [Cn,C-,r1,Cn,Cn,C+] 5 98( 610): * 55 * * * 161 ( *, *) ( *, *) ( 71, *) ( *, *) ( *, *) ( *, *) [Cn,C-,r1,Cn,Cn,C+] 5 99( 612): * 58 * * * 164 ( *, *) ( *, *) ( *, *) ( 70, *) ( *, *) ( *, *) [Cn,C-,Cn,r1,Cn,C+] 5 100( 614): * 59 * * * 163 ( *, *) ( *, *) ( *, *) ( 71, *) ( *, *) ( *, *) [Cn,C-,Cn,r1,Cn,C+] 5 101( 619): * 60 * * * 166 ( *, *) ( *, *) (128, *) ( *, *) ( *, *) ( *, *) [Cn,C-,i1,Cn,Cn,C+] 5 102( 622): * 153 * * * 167 (130, *) ( *, *) ( *, *) (132, *) ( *, *) ( *, *) [i1,C+,Cn,i1,Cn,C+] 5 103( 623): * 154 * * * 168 (129, *) ( *, *) ( *, *) (131, *) ( *, *) ( *, *) [i1,C+,Cn,i1,Cn,C+] 5 104( 629): * 155 * * * 104 ( 72, *) ( *, *) ( *, *) (134, *) ( *, *) ( *, *) [r1,C+,Cn,i1,Cn,ic] 5 105( 630): * 156 * * * 105 ( 73, *) ( *, *) ( *, *) (133, *) ( *, *) ( *, *) [r1,C+,Cn,i1,Cn,ic] 5 106( 638): * 106 * * * 106 (133, *) ( *, *) ( *, *) ( 73, *) ( *, *) ( *, *) [i1,ic,Cn,r1,Cn,ic] 5 107( 638): * 107 * * * 107 (134, *) ( *, *) ( *, *) ( 72, *) ( *, *) ( *, *) [i1,ic,Cn,r1,Cn,ic] 5 108( 644): * 157 * * * 109 (137, *) ( *, *) ( *, *) (139, *) ( *, *) ( 67, *) [i1,C+,Cn,i1,Cn,r2] 5 109( 644): * 158 * * * 108 (138, *) ( *, *) ( *, *) (140, *) ( *, *) ( 67, *) [i1,C+,Cn,i1,Cn,r2] 5 110( 655): * 161 * * * 55 ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) [Cn,C+,Cn,Cn,Cn,C-] 5 111( 657): * 162 * * * 54 ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) [Cn,C+,Cn,Cn,Cn,C-] 5 112( 660): * 159 * * * 57 ( 75, *) ( *, *) ( *, *) (141, *) ( *, *) ( *, *) [r1,C+,Cn,i1,Cn,C-] 5 113( 661): * 160 * * * 56 ( 74, *) ( *, *) ( *, *) (142, *) ( *, *) ( *, *) [r1,C+,Cn,i1,Cn,C-] 5 114( 663): * 163 * * * 59 (141, *) ( *, *) ( *, *) ( 75, *) ( *, *) ( *, *) [i1,C+,Cn,r1,Cn,C-] 5 115( 664): * 164 * * * 58 (142, *) ( *, *) ( *, *) ( 74, *) ( *, *) ( *, *) [i1,C+,Cn,r1,Cn,C-] 5 116( 677): * 166 * * * 60 (144, *) ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) [i1,C+,Cn,Cn,Cn,C-] 5 117( 684): * 67 * * * 117 ( *, *) ( *, *) (146, *) (147, *) (152, *) (157,158) [Cn,C-,i1,i1,i1,i2] 5 118( 721): * 74 * * * 70 ( *, *) ( *, *) (162, *) (164, *) ( *, *) ( *, *) [Cn,C-,i1,i1,Cn,C-] 5 119( 724): * 75 * * * 71 ( *, *) ( *, *) (161, *) (163, *) ( *, *) ( *, *) [Cn,C-,i1,i1,Cn,C-] 5 120( 731): * 76 * * * 121 ( *, *) ( *, *) ( *, *) ( *, *) ( 84, *) ( 82, *) [Cn,C-,Cn,Cn,r1,r2] 6 121( 731): * 77 * * * 120 ( *, *) ( *, *) ( *, *) ( *, *) ( 83, *) ( 82, *) [Cn,C-,Cn,Cn,r1,r2] 6 122( 734): * 175 * * * 122 ( 93, *) ( *, *) ( *, *) ( 90, *) ( *, *) (173,174) [r1,C+,Cn,r1,Cn,i2] 6 123( 739): * 179 * * * 194 ( *, *) ( *, *) ( *, *) ( *, *) ( 89, *) ( *, *) [Cn,C+,Cn,Cn,r1,C+] 6 124( 740): * 178 * * * 195 ( 94, *) ( *, *) ( *, *) ( *, *) ( 90, *) ( *, *) [r1,C+,Cn,Cn,r1,C+] 6 125( 741): * 79 * * * 192 ( *, *) ( *, *) ( *, *) ( 96, *) ( *, *) ( *, *) [Cn,C-,Cn,r1,Cn,C+] 6 126( 742): * 78 * * * 193 ( *, *) ( *, *) ( *, *) ( 95, *) ( *, *) ( *, *) [Cn,C-,Cn,r1,Cn,C+] 6 127( 746): * 81 * * * 196 ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) [Cn,C-,Cn,Cn,Cn,C+] 6 128( 747): * 80 * * * 197 ( *, *) ( *, *) (101, *) ( *, *) ( *, *) ( *, *) [Cn,C-,r1,Cn,Cn,C+] 6 129( 748): * 180 * * * 198 (103, *) ( *, *) ( *, *) (171, *) ( *, *) ( *, *) [r1,C+,Cn,i1,Cn,C+] 6 130( 749): * 181 * * * 199 (102, *) ( *, *) ( *, *) (172, *) ( *, *) ( *, *) [r1,C+,Cn,i1,Cn,C+] 6 131( 751): * 182 * * * 201 (171, *) ( *, *) ( *, *) (103, *) ( *, *) ( *, *) [i1,C+,Cn,r1,Cn,C+] 6 132( 751): * 183 * * * 200 (172, *) ( *, *) ( *, *) (102, *) ( *, *) ( *, *) [i1,C+,Cn,r1,Cn,C+] 6 133( 753): * 184 * * * 133 (106, *) ( *, *) ( *, *) (105, *) ( *, *) ( *, *) [r1,C+,Cn,r1,Cn,ic] 6 134( 753): * 185 * * * 134 (107, *) ( *, *) ( *, *) (104, *) ( *, *) ( *, *) [r1,C+,Cn,r1,Cn,ic] 6 135( 758): * 188 * * * 136 ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) ( 89, *) [Cn,C+,Cn,Cn,Cn,r2] 6 136( 758): * 189 * * * 135 ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) ( 89, *) [Cn,C+,Cn,Cn,Cn,r2] 6 137( 760): * 186 * * * 138 (108, *) ( *, *) ( *, *) (173, *) ( *, *) ( 90, *) [r1,C+,Cn,i1,Cn,r2] 6 138( 760): * 187 * * * 137 (109, *) ( *, *) ( *, *) (174, *) ( *, *) ( 90, *) [r1,C+,Cn,i1,Cn,r2] 6 139( 764): * 190 * * * 140 (173, *) ( *, *) ( *, *) (108, *) ( *, *) ( 93, *) [i1,C+,Cn,r1,Cn,r2] 6 140( 764): * 191 * * * 139 (174, *) ( *, *) ( *, *) (109, *) ( *, *) ( 93, *) [i1,C+,Cn,r1,Cn,r2] 6 141( 772): * 193 * * * 78 (114, *) ( *, *) ( *, *) (112, *) ( *, *) ( *, *) [r1,C+,Cn,r1,Cn,C-] 6 142( 773): * 192 * * * 79 (115, *) ( *, *) ( *, *) (113, *) ( *, *) ( *, *) [r1,C+,Cn,r1,Cn,C-] 6 143( 776): * 197 * * * 80 ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) [Cn,C+,Cn,Cn,Cn,C-] 6 144( 777): * 196 * * * 81 (116, *) ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) [r1,C+,Cn,Cn,Cn,C-] 6 145( 788): * 90 * * * 145 ( *, *) ( *, *) ( *, *) (175, *) (178, *) (186,187) [Cn,C-,Cn,i1,i1,i2] 6 146( 791): * 89 * * * 146 ( *, *) ( *, *) (117, *) ( *, *) (179, *) (188,189) [Cn,C-,r1,Cn,i1,i2] 6 147( 797): * 93 * * * 147 ( *, *) ( *, *) ( *, *) (117, *) ( *, *) (190,191) [Cn,C-,Cn,r1,Cn,i2] 6 148( 801): * 92 * * * 148 ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) [Cn,C-,Cn,Cn,Cn,ic] 6 149( 802): * 91 * * * 149 ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) [Cn,C-,Cn,Cn,Cn,ic] 6 150( 808): * 205 * * * 214 ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) [Cn,C+,Cn,Cn,Cn,C+] 6 151( 810): * 204 * * * 213 ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) [Cn,C+,Cn,Cn,Cn,C+] 6 152( 816): * 94 * * * 215 ( *, *) ( *, *) (179, *) ( *, *) (117, *) ( *, *) [Cn,C-,i1,Cn,r1,C+] 6 153( 846): * 102 * * * 217 ( *, *) ( *, *) ( *, *) (183, *) ( *, *) ( *, *) [Cn,C-,Cn,i1,Cn,C+] 6 154( 849): * 103 * * * 216 ( *, *) ( *, *) ( *, *) (182, *) ( *, *) ( *, *) [Cn,C-,Cn,i1,Cn,C+] 6 155( 868): * 104 * * * 155 ( *, *) ( *, *) ( *, *) (185, *) ( *, *) ( *, *) [Cn,C-,Cn,i1,Cn,ic] 6 156( 870): * 105 * * * 156 ( *, *) ( *, *) ( *, *) (184, *) ( *, *) ( *, *) [Cn,C-,Cn,i1,Cn,ic] 6 157( 873): * 108 * * * 158 ( *, *) ( *, *) (188, *) (190, *) ( *, *) (117, *) [Cn,C-,i1,i1,Cn,r2] 6 158( 873): * 109 * * * 157 ( *, *) ( *, *) (189, *) (191, *) ( *, *) (117, *) [Cn,C-,i1,i1,Cn,r2] 6 159( 892): * 112 * * * 95 ( *, *) ( *, *) ( *, *) (193, *) ( *, *) ( *, *) [Cn,C-,Cn,i1,Cn,C-] 6 160( 893): * 113 * * * 96 ( *, *) ( *, *) ( *, *) (192, *) ( *, *) ( *, *) [Cn,C-,Cn,i1,Cn,C-] 6 161( 894): * 110 * * * 98 ( *, *) ( *, *) (119, *) ( *, *) ( *, *) ( *, *) [Cn,C-,r1,Cn,Cn,C-] 6 162( 897): * 111 * * * 97 ( *, *) ( *, *) (118, *) ( *, *) ( *, *) ( *, *) [Cn,C-,r1,Cn,Cn,C-] 6 163( 898): * 114 * * * 100 ( *, *) ( *, *) ( *, *) (119, *) ( *, *) ( *, *) [Cn,C-,Cn,r1,Cn,C-] 6 164( 901): * 115 * * * 99 ( *, *) ( *, *) ( *, *) (118, *) ( *, *) ( *, *) [Cn,C-,Cn,r1,Cn,C-] 6 165( 905): * 215 * * * 94 (195, *) ( *, *) ( *, *) ( *, *) (202, *) ( *, *) [i1,C+,Cn,Cn,i2,C-] 6 166( 909): * 116 * * * 101 ( *, *) ( *, *) (197, *) ( *, *) ( *, *) ( *, *) [Cn,C-,i1,Cn,Cn,C-] 6 167( 912): * 217 * * * 102 (199, *) ( *, *) ( *, *) (200, *) ( *, *) ( *, *) [i1,C+,Cn,i1,Cn,C-] 6 168( 914): * 216 * * * 103 (198, *) ( *, *) ( *, *) (201, *) ( *, *) ( *, *) [i1,C+,Cn,i1,Cn,C-] 6 169( 933): * 218 * * * 169 (206, *) ( *, *) (209, *) ( *, *) (211, *) ( *, *) [i1,C+,i1,Cn,i1,ic] 6 170( 939): * 219 * * * 170 (207, *) ( *, *) (208, *) ( *, *) (212, *) ( *, *) [i1,C+,i1,Cn,i1,ic] 6 171( 964): * 222 * * * 227 (131, *) ( *, *) ( *, *) (129, *) ( *, *) ( *, *) [r1,C+,Cn,r1,Cn,C+] 7 172( 964): * 223 * * * 226 (132, *) ( *, *) ( *, *) (130, *) ( *, *) ( *, *) [r1,C+,Cn,r1,Cn,C+] 7 173( 965): * 224 * * * 174 (139, *) ( *, *) ( *, *) (137, *) ( *, *) (122, *) [r1,C+,Cn,r1,Cn,r2] 7 174( 965): * 225 * * * 173 (140, *) ( *, *) ( *, *) (138, *) ( *, *) (122, *) [r1,C+,Cn,r1,Cn,r2] 7 175( 971): * 122 * * * 175 ( *, *) ( *, *) ( *, *) (145, *) ( *, *) (224,225) [Cn,C-,Cn,r1,Cn,i2] 7 176( 972): * 232 * * * 241 ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) [Cn,C+,Cn,Cn,Cn,C+] 7 177( 973): * 231 * * * 240 ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) [Cn,C+,Cn,Cn,Cn,C+] 7 178( 977): * 124 * * * 244 ( *, *) ( *, *) ( *, *) ( *, *) (145, *) ( *, *) [Cn,C-,Cn,Cn,r1,C+] 7 179( 978): * 123 * * * 245 ( *, *) ( *, *) (152, *) ( *, *) (146, *) ( *, *) [Cn,C-,r1,Cn,r1,C+] 7 180( 992): * 129 * * * 247 ( *, *) ( *, *) ( *, *) (222, *) ( *, *) ( *, *) [Cn,C-,Cn,i1,Cn,C+] 7 181( 993): * 130 * * * 246 ( *, *) ( *, *) ( *, *) (223, *) ( *, *) ( *, *) [Cn,C-,Cn,i1,Cn,C+] 7 182( 995): * 131 * * * 249 ( *, *) ( *, *) ( *, *) (154, *) ( *, *) ( *, *) [Cn,C-,Cn,r1,Cn,C+] 7 183( 995): * 132 * * * 248 ( *, *) ( *, *) ( *, *) (153, *) ( *, *) ( *, *) [Cn,C-,Cn,r1,Cn,C+] 7 184(1002): * 133 * * * 184 ( *, *) ( *, *) ( *, *) (156, *) ( *, *) ( *, *) [Cn,C-,Cn,r1,Cn,ic] 7 185(1002): * 134 * * * 185 ( *, *) ( *, *) ( *, *) (155, *) ( *, *) ( *, *) [Cn,C-,Cn,r1,Cn,ic] 7 186(1004): * 137 * * * 187 ( *, *) ( *, *) ( *, *) (224, *) ( *, *) (145, *) [Cn,C-,Cn,i1,Cn,r2] 7 187(1004): * 138 * * * 186 ( *, *) ( *, *) ( *, *) (225, *) ( *, *) (145, *) [Cn,C-,Cn,i1,Cn,r2] 7 188(1006): * 135 * * * 189 ( *, *) ( *, *) (157, *) ( *, *) ( *, *) (146, *) [Cn,C-,r1,Cn,Cn,r2] 7 189(1006): * 136 * * * 188 ( *, *) ( *, *) (158, *) ( *, *) ( *, *) (146, *) [Cn,C-,r1,Cn,Cn,r2] 7 190(1012): * 139 * * * 191 ( *, *) ( *, *) ( *, *) (157, *) ( *, *) (147, *) [Cn,C-,Cn,r1,Cn,r2] 7 191(1012): * 140 * * * 190 ( *, *) ( *, *) ( *, *) (158, *) ( *, *) (147, *) [Cn,C-,Cn,r1,Cn,r2] 7 192(1022): * 142 * * * 125 ( *, *) ( *, *) ( *, *) (160, *) ( *, *) ( *, *) [Cn,C-,Cn,r1,Cn,C-] 7 193(1023): * 141 * * * 126 ( *, *) ( *, *) ( *, *) (159, *) ( *, *) ( *, *) [Cn,C-,Cn,r1,Cn,C-] 7 194(1026): * 245 * * * 123 ( *, *) ( *, *) ( *, *) ( *, *) (228, *) ( *, *) [Cn,C+,Cn,Cn,i2,C-] 7 195(1027): * 244 * * * 124 (165, *) ( *, *) ( *, *) ( *, *) (229, *) ( *, *) [r1,C+,Cn,Cn,i2,C-] 7 196(1028): * 144 * * * 127 ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) [Cn,C-,Cn,Cn,Cn,C-] 7 197(1029): * 143 * * * 128 ( *, *) ( *, *) (166, *) ( *, *) ( *, *) ( *, *) [Cn,C-,r1,Cn,Cn,C-] 7 198(1030): * 247 * * * 129 (168, *) ( *, *) ( *, *) (227, *) ( *, *) ( *, *) [r1,C+,Cn,i1,Cn,C-] 7 199(1031): * 246 * * * 130 (167, *) ( *, *) ( *, *) (226, *) ( *, *) ( *, *) [r1,C+,Cn,i1,Cn,C-] 7 200(1032): * 248 * * * 132 (226, *) ( *, *) ( *, *) (167, *) ( *, *) ( *, *) [i1,C+,Cn,r1,Cn,C-] 7 201(1032): * 249 * * * 131 (227, *) ( *, *) ( *, *) (168, *) ( *, *) ( *, *) [i1,C+,Cn,r1,Cn,C-] 7 202(1037): * 250 * * * 202 (229, *) ( *, *) ( *, *) ( *, *) (165, *) ( *, *) [i1,C+,Cn,Cn,r1,rn] 7 203(1058): * 251 * * * 203 ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) (242,243) [Cn,C+,Cn,Cn,Cn,i2] 7 204(1061): * 151 * * * 269 ( *, *) ( *, *) (232, *) ( *, *) ( *, *) ( *, *) [Cn,C-,i1,Cn,Cn,C+] 7 205(1062): * 150 * * * 270 ( *, *) ( *, *) (231, *) ( *, *) ( *, *) ( *, *) [Cn,C-,i1,Cn,Cn,C+] 7 206(1067): * 254 * * * 206 (169, *) ( *, *) (234, *) ( *, *) (237, *) ( *, *) [r1,C+,i1,Cn,i1,ic] 7 207(1069): * 255 * * * 207 (170, *) ( *, *) (233, *) ( *, *) (236, *) ( *, *) [r1,C+,i1,Cn,i1,ic] 7 208(1074): * 256 * * * 208 (233, *) ( *, *) (170, *) ( *, *) (238, *) ( *, *) [i1,C+,r1,Cn,i1,ic] 7 209(1074): * 257 * * * 209 (234, *) ( *, *) (169, *) ( *, *) (239, *) ( *, *) [i1,C+,r1,Cn,i1,ic] 7 210(1086): * 258 * * * 271 ( *, *) ( *, *) ( *, *) (235, *) ( *, *) ( *, *) [Cn,C+,Cn,i1,Cn,C+] 7 211(1097): * 262 * * * 272 (237, *) ( *, *) (239, *) ( *, *) (169, *) ( *, *) [i1,C+,i1,Cn,r1,C+] 7 212(1100): * 261 * * * 273 (236, *) ( *, *) (238, *) ( *, *) (170, *) ( *, *) [i1,C+,i1,Cn,r1,C+] 7 213(1140): * 269 * * * 151 ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) [Cn,C+,Cn,Cn,Cn,C-] 7 214(1141): * 270 * * * 150 ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) [Cn,C+,Cn,Cn,Cn,C-] 7 215(1175): * 165 * * * 152 ( *, *) ( *, *) (245, *) ( *, *) (250, *) ( *, *) [Cn,C-,i1,Cn,i2,C-] 7 216(1180): * 168 * * * 154 ( *, *) ( *, *) ( *, *) (249, *) ( *, *) ( *, *) [Cn,C-,Cn,i1,Cn,C-] 7 217(1182): * 167 * * * 153 ( *, *) ( *, *) ( *, *) (248, *) ( *, *) ( *, *) [Cn,C-,Cn,i1,Cn,C-] 7 218(1195): * 169 * * * 218 ( *, *) ( *, *) ( *, *) ( *, *) (262, *) ( *, *) [Cn,C-,Cn,Cn,i1,ic] 7 219(1198): * 170 * * * 219 ( *, *) ( *, *) ( *, *) ( *, *) (261, *) ( *, *) [Cn,C-,Cn,Cn,i1,ic] 7 220(1203): * 220 * * * 220 ( *, *) ( *, *) (266, *) ( *, *) ( *, *) ( *, *) [Cn,ic,i1,Cn,Cn,ic] 7 221(1209): * 221 * * * 221 ( *, *) ( *, *) (265, *) ( *, *) ( *, *) ( *, *) [Cn,ic,i1,Cn,Cn,ic] 7 222(1215): * 171 * * * 279 ( *, *) ( *, *) ( *, *) (180, *) ( *, *) ( *, *) [Cn,C-,Cn,r1,Cn,C+] 8 223(1215): * 172 * * * 278 ( *, *) ( *, *) ( *, *) (181, *) ( *, *) ( *, *) [Cn,C-,Cn,r1,Cn,C+] 8 224(1217): * 173 * * * 225 ( *, *) ( *, *) ( *, *) (186, *) ( *, *) (175, *) [Cn,C-,Cn,r1,Cn,r2] 8 225(1217): * 174 * * * 224 ( *, *) ( *, *) ( *, *) (187, *) ( *, *) (175, *) [Cn,C-,Cn,r1,Cn,r2] 8 226(1219): * 278 * * * 172 (200, *) ( *, *) ( *, *) (199, *) ( *, *) ( *, *) [r1,C+,Cn,r1,Cn,C-] 8 227(1219): * 279 * * * 171 (201, *) ( *, *) ( *, *) (198, *) ( *, *) ( *, *) [r1,C+,Cn,r1,Cn,C-] 8 228(1220): * 281 * * * 228 ( *, *) ( *, *) ( *, *) ( *, *) (194, *) ( *, *) [Cn,C+,Cn,Cn,r1,rn] 8 229(1221): * 280 * * * 229 (202, *) ( *, *) ( *, *) ( *, *) (195, *) ( *, *) [r1,C+,Cn,Cn,r1,rn] 8 230(1225): * 282 * * * 230 ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) (276,277) [Cn,C+,Cn,Cn,Cn,i2] 8 231(1227): * 177 * * * 307 ( *, *) ( *, *) (205, *) ( *, *) ( *, *) ( *, *) [Cn,C-,r1,Cn,Cn,C+] 8 232(1228): * 176 * * * 306 ( *, *) ( *, *) (204, *) ( *, *) ( *, *) ( *, *) [Cn,C-,r1,Cn,Cn,C+] 8 233(1233): * 288 * * * 233 (208, *) ( *, *) (207, *) ( *, *) (274, *) ( *, *) [r1,C+,r1,Cn,i1,ic] 8 234(1233): * 289 * * * 234 (209, *) ( *, *) (206, *) ( *, *) (275, *) ( *, *) [r1,C+,r1,Cn,i1,ic] 8 235(1242): * 290 * * * 308 ( *, *) ( *, *) ( *, *) (210, *) ( *, *) ( *, *) [Cn,C+,Cn,r1,Cn,C+] 8 236(1245): * 294 * * * 309 (212, *) ( *, *) (274, *) ( *, *) (207, *) ( *, *) [r1,C+,i1,Cn,r1,C+] 8 237(1246): * 293 * * * 310 (211, *) ( *, *) (275, *) ( *, *) (206, *) ( *, *) [r1,C+,i1,Cn,r1,C+] 8 238(1248): * 295 * * * 312 (274, *) ( *, *) (212, *) ( *, *) (208, *) ( *, *) [i1,C+,r1,Cn,r1,C+] 8 239(1248): * 296 * * * 311 (275, *) ( *, *) (211, *) ( *, *) (209, *) ( *, *) [i1,C+,r1,Cn,r1,C+] 8 240(1280): * 307 * * * 177 ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) [Cn,C+,Cn,Cn,Cn,C-] 8 241(1281): * 306 * * * 176 ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) [Cn,C+,Cn,Cn,Cn,C-] 8 242(1282): * 304 * * * 243 ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) (203, *) [Cn,C+,Cn,Cn,Cn,r2] 8 243(1282): * 305 * * * 242 ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) (203, *) [Cn,C+,Cn,Cn,Cn,r2] 8 244(1298): * 195 * * * 178 ( *, *) ( *, *) ( *, *) ( *, *) (280, *) ( *, *) [Cn,C-,Cn,Cn,i2,C-] 8 245(1299): * 194 * * * 179 ( *, *) ( *, *) (215, *) ( *, *) (281, *) ( *, *) [Cn,C-,r1,Cn,i2,C-] 8 246(1304): * 199 * * * 181 ( *, *) ( *, *) ( *, *) (278, *) ( *, *) ( *, *) [Cn,C-,Cn,i1,Cn,C-] 8 247(1305): * 198 * * * 180 ( *, *) ( *, *) ( *, *) (279, *) ( *, *) ( *, *) [Cn,C-,Cn,i1,Cn,C-] 8 248(1308): * 200 * * * 183 ( *, *) ( *, *) ( *, *) (217, *) ( *, *) ( *, *) [Cn,C-,Cn,r1,Cn,C-] 8 249(1308): * 201 * * * 182 ( *, *) ( *, *) ( *, *) (216, *) ( *, *) ( *, *) [Cn,C-,Cn,r1,Cn,C-] 8 250(1311): * 202 * * * 250 ( *, *) ( *, *) (281, *) ( *, *) (215, *) ( *, *) [Cn,C-,i1,Cn,r1,rn] 8 251(1324): * 203 * * * 251 ( *, *) ( *, *) (282, *) ( *, *) ( *, *) (304,305) [Cn,C-,i1,Cn,Cn,i2] 8 252(1330): * 318 * * * 252 ( *, *) ( *, *) (287, *) ( *, *) ( *, *) ( *, *) [Cn,C+,i1,Cn,Cn,ic] 8 253(1331): * 317 * * * 253 ( *, *) ( *, *) (286, *) ( *, *) ( *, *) ( *, *) [Cn,C+,i1,Cn,Cn,ic] 8 254(1333): * 206 * * * 254 ( *, *) ( *, *) ( *, *) ( *, *) (293, *) ( *, *) [Cn,C-,Cn,Cn,i1,ic] 8 255(1336): * 207 * * * 255 ( *, *) ( *, *) ( *, *) ( *, *) (294, *) ( *, *) [Cn,C-,Cn,Cn,i1,ic] 8 256(1340): * 208 * * * 256 ( *, *) ( *, *) ( *, *) ( *, *) (295, *) ( *, *) [Cn,C-,Cn,Cn,i1,ic] 8 257(1340): * 209 * * * 257 ( *, *) ( *, *) ( *, *) ( *, *) (296, *) ( *, *) [Cn,C-,Cn,Cn,i1,ic] 8 258(1347): * 210 * * * 327 ( *, *) ( *, *) ( *, *) (290, *) ( *, *) ( *, *) [Cn,C-,Cn,i1,Cn,C+] 8 259(1361): * 319 * * * 328 ( *, *) ( *, *) (292, *) ( *, *) ( *, *) ( *, *) [Cn,C+,i1,Cn,Cn,C+] 8 260(1362): * 320 * * * 329 ( *, *) ( *, *) (291, *) ( *, *) ( *, *) ( *, *) [Cn,C+,i1,Cn,Cn,C+] 8 261(1364): * 212 * * * 330 ( *, *) ( *, *) ( *, *) ( *, *) (219, *) ( *, *) [Cn,C-,Cn,Cn,r1,C+] 8 262(1366): * 211 * * * 331 ( *, *) ( *, *) ( *, *) ( *, *) (218, *) ( *, *) [Cn,C-,Cn,Cn,r1,C+] 8 263(1374): * 263 * * * 263 ( *, *) ( *, *) (299, *) ( *, *) ( *, *) ( *, *) [Cn,ic,i1,Cn,Cn,ic] 8 264(1374): * 264 * * * 264 ( *, *) ( *, *) (300, *) ( *, *) ( *, *) ( *, *) [Cn,ic,i1,Cn,Cn,ic] 8 265(1388): * 321 * * * 265 ( *, *) ( *, *) (221, *) ( *, *) ( *, *) ( *, *) [Cn,C+,r1,Cn,Cn,ic] 8 266(1389): * 322 * * * 266 ( *, *) ( *, *) (220, *) ( *, *) ( *, *) ( *, *) [Cn,C+,r1,Cn,Cn,ic] 8 267(1402): * 325 * * * 267 (301, *) ( *, *) ( *, *) (303, *) ( *, *) (313,314) [i1,C+,Cn,i2,Cn,i2] 8 268(1406): * 326 * * * 268 (302, *) ( *, *) (303, *) ( *, *) ( *, *) (315,316) [i1,C+,i2,Cn,Cn,i2] 8 269(1407): * 213 * * * 204 ( *, *) ( *, *) (306, *) ( *, *) ( *, *) ( *, *) [Cn,C-,i1,Cn,Cn,C-] 8 270(1408): * 214 * * * 205 ( *, *) ( *, *) (307, *) ( *, *) ( *, *) ( *, *) [Cn,C-,i1,Cn,Cn,C-] 8 271(1419): * 327 * * * 210 ( *, *) ( *, *) ( *, *) (308, *) ( *, *) ( *, *) [Cn,C+,Cn,i1,Cn,C-] 8 272(1444): * 331 * * * 211 (310, *) ( *, *) (311, *) ( *, *) (315, *) ( *, *) [i1,C+,i1,Cn,i1,C-] 8 273(1445): * 330 * * * 212 (309, *) ( *, *) (312, *) ( *, *) (316, *) ( *, *) [i1,C+,i1,Cn,i1,C-] 8 274(1477): * 336 * * * 343 (238, *) ( *, *) (236, *) ( *, *) (233, *) ( *, *) [r1,C+,r1,Cn,r1,C+] 9 275(1477): * 337 * * * 342 (239, *) ( *, *) (237, *) ( *, *) (234, *) ( *, *) [r1,C+,r1,Cn,r1,C+] 9 276(1483): * 340 * * * 277 ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) (230, *) [Cn,C+,Cn,Cn,Cn,r2] 9 277(1483): * 341 * * * 276 ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) (230, *) [Cn,C+,Cn,Cn,Cn,r2] 9 278(1487): * 226 * * * 223 ( *, *) ( *, *) ( *, *) (246, *) ( *, *) ( *, *) [Cn,C-,Cn,r1,Cn,C-] 9 279(1487): * 227 * * * 222 ( *, *) ( *, *) ( *, *) (247, *) ( *, *) ( *, *) [Cn,C-,Cn,r1,Cn,C-] 9 280(1488): * 229 * * * 280 ( *, *) ( *, *) ( *, *) ( *, *) (244, *) ( *, *) [Cn,C-,Cn,Cn,r1,rn] 9 281(1489): * 228 * * * 281 ( *, *) ( *, *) (250, *) ( *, *) (245, *) ( *, *) [Cn,C-,r1,Cn,r1,rn] 9 282(1493): * 230 * * * 282 ( *, *) ( *, *) (251, *) ( *, *) ( *, *) (340,341) [Cn,C-,r1,Cn,Cn,i2] 9 283(1496): * 350 * * * 369 ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) [Cn,C+,Cn,Cn,Cn,C+] 9 284(1497): * 353 * * * 370 ( *, *) ( *, *) (335, *) ( *, *) ( *, *) ( *, *) [Cn,C+,i1,Cn,Cn,C+] 9 285(1498): * 354 * * * 371 ( *, *) ( *, *) (334, *) ( *, *) ( *, *) ( *, *) [Cn,C+,i1,Cn,Cn,C+] 9 286(1502): * 351 * * * 286 ( *, *) ( *, *) (253, *) ( *, *) ( *, *) ( *, *) [Cn,C+,r1,Cn,Cn,ic] 9 287(1502): * 352 * * * 287 ( *, *) ( *, *) (252, *) ( *, *) ( *, *) ( *, *) [Cn,C+,r1,Cn,Cn,ic] 9 288(1503): * 233 * * * 288 ( *, *) ( *, *) ( *, *) ( *, *) (336, *) ( *, *) [Cn,C-,Cn,Cn,i1,ic] 9 289(1503): * 234 * * * 289 ( *, *) ( *, *) ( *, *) ( *, *) (337, *) ( *, *) [Cn,C-,Cn,Cn,i1,ic] 9 290(1511): * 235 * * * 372 ( *, *) ( *, *) ( *, *) (258, *) ( *, *) ( *, *) [Cn,C-,Cn,r1,Cn,C+] 9 291(1515): * 355 * * * 374 ( *, *) ( *, *) (260, *) ( *, *) ( *, *) ( *, *) [Cn,C+,r1,Cn,Cn,C+] 9 292(1515): * 356 * * * 373 ( *, *) ( *, *) (259, *) ( *, *) ( *, *) ( *, *) [Cn,C+,r1,Cn,Cn,C+] 9 293(1516): * 237 * * * 378 ( *, *) ( *, *) ( *, *) ( *, *) (254, *) ( *, *) [Cn,C-,Cn,Cn,r1,C+] 9 294(1517): * 236 * * * 377 ( *, *) ( *, *) ( *, *) ( *, *) (255, *) ( *, *) [Cn,C-,Cn,Cn,r1,C+] 9 295(1518): * 238 * * * 380 ( *, *) ( *, *) ( *, *) ( *, *) (256, *) ( *, *) [Cn,C-,Cn,Cn,r1,C+] 9 296(1518): * 239 * * * 379 ( *, *) ( *, *) ( *, *) ( *, *) (257, *) ( *, *) [Cn,C-,Cn,Cn,r1,C+] 9 297(1529): * 359 * * * 375 ( *, *) ( *, *) ( *, *) (338, *) ( *, *) ( *, *) [Cn,C+,Cn,i2,Cn,C+] 9 298(1530): * 360 * * * 376 ( *, *) ( *, *) (338, *) ( *, *) ( *, *) ( *, *) [Cn,C+,i2,Cn,Cn,C+] 9 299(1533): * 361 * * * 299 ( *, *) ( *, *) (263, *) ( *, *) ( *, *) ( *, *) [Cn,C+,r1,Cn,Cn,ic] 9 300(1533): * 362 * * * 300 ( *, *) ( *, *) (264, *) ( *, *) ( *, *) ( *, *) [Cn,C+,r1,Cn,Cn,ic] 9 301(1543): * 365 * * * 301 (267, *) ( *, *) ( *, *) (339, *) ( *, *) (344,345) [r1,C+,Cn,i2,Cn,i2] 9 302(1544): * 366 * * * 302 (268, *) ( *, *) (339, *) ( *, *) ( *, *) (346,347) [r1,C+,i2,Cn,Cn,i2] 9 303(1545): * 367 * * * 303 (339, *) ( *, *) (268, *) (267, *) ( *, *) (348,349) [i1,C+,r1,r1,Cn,i2] 9 304(1551): * 242 * * * 305 ( *, *) ( *, *) (340, *) ( *, *) ( *, *) (251, *) [Cn,C-,i1,Cn,Cn,r2] 9 305(1551): * 243 * * * 304 ( *, *) ( *, *) (341, *) ( *, *) ( *, *) (251, *) [Cn,C-,i1,Cn,Cn,r2] 9 306(1554): * 241 * * * 232 ( *, *) ( *, *) (269, *) ( *, *) ( *, *) ( *, *) [Cn,C-,r1,Cn,Cn,C-] 9 307(1555): * 240 * * * 231 ( *, *) ( *, *) (270, *) ( *, *) ( *, *) ( *, *) [Cn,C-,r1,Cn,Cn,C-] 9 308(1568): * 372 * * * 235 ( *, *) ( *, *) ( *, *) (271, *) ( *, *) ( *, *) [Cn,C+,Cn,r1,Cn,C-] 9 309(1587): * 377 * * * 236 (273, *) ( *, *) (343, *) ( *, *) (347, *) ( *, *) [r1,C+,i1,Cn,i1,C-] 9 310(1588): * 378 * * * 237 (272, *) ( *, *) (342, *) ( *, *) (346, *) ( *, *) [r1,C+,i1,Cn,i1,C-] 9 311(1590): * 379 * * * 239 (342, *) ( *, *) (272, *) ( *, *) (348, *) ( *, *) [i1,C+,r1,Cn,i2,C-] 9 312(1590): * 380 * * * 238 (343, *) ( *, *) (273, *) ( *, *) (349, *) ( *, *) [i1,C+,r1,Cn,i2,C-] 9 313(1601): * 381 * * * 314 (344, *) ( *, *) ( *, *) (348, *) ( *, *) (267, *) [i1,C+,Cn,i2,Cn,r2] 9 314(1601): * 382 * * * 313 (345, *) ( *, *) ( *, *) (349, *) ( *, *) (267, *) [i1,C+,Cn,i2,Cn,r2] 9 315(1603): * 383 * * * 316 (346, *) ( *, *) (348, *) ( *, *) (272, *) (268, *) [i1,C+,i2,Cn,r1,r2] 9 316(1603): * 384 * * * 315 (347, *) ( *, *) (349, *) ( *, *) (273, *) (268, *) [i1,C+,i2,Cn,r1,r2] 9 317(1623): * 253 * * * 317 ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) [Cn,C-,Cn,Cn,Cn,ic] 9 318(1625): * 252 * * * 318 ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) [Cn,C-,Cn,Cn,Cn,ic] 9 319(1659): * 259 * * * 398 ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) [Cn,C-,Cn,Cn,Cn,C+] 9 320(1661): * 260 * * * 397 ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) [Cn,C-,Cn,Cn,Cn,C+] 9 321(1668): * 265 * * * 321 ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) [Cn,C-,Cn,Cn,Cn,ic] 9 322(1669): * 266 * * * 322 ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) [Cn,C-,Cn,Cn,Cn,ic] 9 323(1674): * 396 * * * 399 ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) [Cn,C+,Cn,Cn,Cn,C+] 9 324(1676): * 395 * * * 400 ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) [Cn,C+,Cn,Cn,Cn,C+] 9 325(1678): * 267 * * * 325 ( *, *) ( *, *) ( *, *) (367, *) ( *, *) (381,382) [Cn,C-,Cn,i2,Cn,i2] 9 326(1683): * 268 * * * 326 ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) (383,384) [Cn,C-,Cn,Cn,Cn,i2] 9 327(1692): * 271 * * * 258 ( *, *) ( *, *) ( *, *) (372, *) ( *, *) ( *, *) [Cn,C-,Cn,i1,Cn,C-] 9 328(1705): * 398 * * * 259 ( *, *) ( *, *) (373, *) ( *, *) ( *, *) ( *, *) [Cn,C+,i1,Cn,Cn,C-] 9 329(1708): * 397 * * * 260 ( *, *) ( *, *) (374, *) ( *, *) ( *, *) ( *, *) [Cn,C+,i1,Cn,Cn,C-] 9 330(1713): * 273 * * * 261 ( *, *) ( *, *) ( *, *) ( *, *) (384, *) ( *, *) [Cn,C-,Cn,Cn,i1,C-] 9 331(1715): * 272 * * * 262 ( *, *) ( *, *) ( *, *) ( *, *) (383, *) ( *, *) [Cn,C-,Cn,Cn,i1,C-] 9 332(1727): * 402 * * * 332 ( *, *) ( *, *) ( *, *) (390, *) (393, *) ( *, *) [Cn,C+,Cn,i1,i1,ic] 9 333(1731): * 401 * * * 333 ( *, *) ( *, *) ( *, *) (389, *) (392, *) ( *, *) [Cn,C+,Cn,i1,i1,ic] 9 334(1737): * 405 * * * 413 ( *, *) ( *, *) (285, *) ( *, *) ( *, *) ( *, *) [Cn,C+,r1,Cn,Cn,C+] 10 335(1737): * 406 * * * 412 ( *, *) ( *, *) (284, *) ( *, *) ( *, *) ( *, *) [Cn,C+,r1,Cn,Cn,C+] 10 336(1738): * 274 * * * 416 ( *, *) ( *, *) ( *, *) ( *, *) (288, *) ( *, *) [Cn,C-,Cn,Cn,r1,C+] 10 337(1738): * 275 * * * 415 ( *, *) ( *, *) ( *, *) ( *, *) (289, *) ( *, *) [Cn,C-,Cn,Cn,r1,C+] 10 338(1742): * 409 * * * 414 ( *, *) ( *, *) (298, *) (297, *) ( *, *) ( *, *) [Cn,C+,r1,r1,Cn,C+] 10 339(1743): * 410 * * * 339 (303, *) ( *, *) (302, *) (301, *) ( *, *) (403,404) [r1,C+,r1,r1,Cn,i2] 10 340(1745): * 276 * * * 341 ( *, *) ( *, *) (304, *) ( *, *) ( *, *) (282, *) [Cn,C-,r1,Cn,Cn,r2] 10 341(1745): * 277 * * * 340 ( *, *) ( *, *) (305, *) ( *, *) ( *, *) (282, *) [Cn,C-,r1,Cn,Cn,r2] 10 342(1752): * 415 * * * 275 (311, *) ( *, *) (310, *) ( *, *) (403, *) ( *, *) [r1,C+,r1,Cn,i2,C-] 10 343(1752): * 416 * * * 274 (312, *) ( *, *) (309, *) ( *, *) (404, *) ( *, *) [r1,C+,r1,Cn,i2,C-] 10 344(1757): * 417 * * * 345 (313, *) ( *, *) ( *, *) (403, *) ( *, *) (301, *) [r1,C+,Cn,i2,Cn,r2] 10 345(1757): * 418 * * * 344 (314, *) ( *, *) ( *, *) (404, *) ( *, *) (301, *) [r1,C+,Cn,i2,Cn,r2] 10 346(1758): * 419 * * * 347 (315, *) ( *, *) (403, *) ( *, *) (310, *) (302, *) [r1,C+,i2,Cn,r1,r2] 10 347(1758): * 420 * * * 346 (316, *) ( *, *) (404, *) ( *, *) (309, *) (302, *) [r1,C+,i2,Cn,r1,r2] 10 348(1759): * 421 * * * 349 (403, *) ( *, *) (315, *) (313, *) (311, *) (303, *) [i1,C+,r1,r1,r1,r2] 10 349(1759): * 422 * * * 348 (404, *) ( *, *) (316, *) (314, *) (312, *) (303, *) [i1,C+,r1,r1,r1,r2] 10 350(1767): * 283 * * * 438 ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) [Cn,C-,Cn,Cn,Cn,C+] 10 351(1768): * 286 * * * 351 ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) [Cn,C-,Cn,Cn,Cn,ic] 10 352(1768): * 287 * * * 352 ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) [Cn,C-,Cn,Cn,Cn,ic] 10 353(1772): * 284 * * * 439 ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) [Cn,C-,Cn,Cn,Cn,C+] 10 354(1773): * 285 * * * 440 ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) [Cn,C-,Cn,Cn,Cn,C+] 10 355(1787): * 291 * * * 444 ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) [Cn,C-,Cn,Cn,Cn,C+] 10 356(1787): * 292 * * * 443 ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) [Cn,C-,Cn,Cn,Cn,C+] 10 357(1797): * 433 * * * 446 ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) [Cn,C+,Cn,Cn,Cn,C+] 10 358(1797): * 434 * * * 445 ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) [Cn,C+,Cn,Cn,Cn,C+] 10 359(1802): * 297 * * * 447 ( *, *) ( *, *) ( *, *) (409, *) ( *, *) ( *, *) [Cn,C-,Cn,i2,Cn,C+] 10 360(1805): * 298 * * * 448 ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) [Cn,C-,Cn,Cn,Cn,C+] 10 361(1806): * 299 * * * 361 ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) [Cn,C-,Cn,Cn,Cn,ic] 10 362(1806): * 300 * * * 362 ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) [Cn,C-,Cn,Cn,Cn,ic] 10 363(1809): * 437 * * * 450 ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) [Cn,C+,Cn,Cn,Cn,C+] 10 364(1810): * 436 * * * 449 ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) [Cn,C+,Cn,Cn,Cn,C+] 10 365(1813): * 301 * * * 365 ( *, *) ( *, *) ( *, *) (410, *) ( *, *) (417,418) [Cn,C-,Cn,i2,Cn,i2] 10 366(1815): * 302 * * * 366 ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) (419,420) [Cn,C-,Cn,Cn,Cn,i2] 10 367(1817): * 303 * * * 367 ( *, *) ( *, *) ( *, *) (325, *) ( *, *) (421,422) [Cn,C-,Cn,r1,Cn,i2] 10 368(1820): * 368 * * * 368 ( *, *) ( *, *) ( *, *) (411, *) ( *, *) ( *, *) [Cn,rn,Cn,i1,Cn,rn] 10 369(1826): * 438 * * * 283 ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) [Cn,C+,Cn,Cn,Cn,C-] 10 370(1829): * 439 * * * 284 ( *, *) ( *, *) (412, *) ( *, *) ( *, *) ( *, *) [Cn,C+,i1,Cn,Cn,C-] 10 371(1830): * 440 * * * 285 ( *, *) ( *, *) (413, *) ( *, *) ( *, *) ( *, *) [Cn,C+,i1,Cn,Cn,C-] 10 372(1841): * 308 * * * 290 ( *, *) ( *, *) ( *, *) (327, *) ( *, *) ( *, *) [Cn,C-,Cn,r1,Cn,C-] 10 373(1845): * 443 * * * 292 ( *, *) ( *, *) (328, *) ( *, *) ( *, *) ( *, *) [Cn,C+,r1,Cn,Cn,C-] 10 374(1845): * 444 * * * 291 ( *, *) ( *, *) (329, *) ( *, *) ( *, *) ( *, *) [Cn,C+,r1,Cn,Cn,C-] 10 375(1857): * 447 * * * 297 ( *, *) ( *, *) ( *, *) (414, *) ( *, *) ( *, *) [Cn,C+,Cn,i2,Cn,C-] 10 376(1858): * 448 * * * 298 ( *, *) ( *, *) (414, *) ( *, *) ( *, *) ( *, *) [Cn,C+,i2,Cn,Cn,C-] 10 377(1859): * 309 * * * 294 ( *, *) ( *, *) ( *, *) ( *, *) (420, *) ( *, *) [Cn,C-,Cn,Cn,i1,C-] 10 378(1860): * 310 * * * 293 ( *, *) ( *, *) ( *, *) ( *, *) (419, *) ( *, *) [Cn,C-,Cn,Cn,i1,C-] 10 379(1862): * 311 * * * 296 ( *, *) ( *, *) ( *, *) ( *, *) (421, *) ( *, *) [Cn,C-,Cn,Cn,i2,C-] 10 380(1862): * 312 * * * 295 ( *, *) ( *, *) ( *, *) ( *, *) (422, *) ( *, *) [Cn,C-,Cn,Cn,i2,C-] 10 381(1871): * 313 * * * 382 ( *, *) ( *, *) ( *, *) (421, *) ( *, *) (325, *) [Cn,C-,Cn,i2,Cn,r2] 10 382(1871): * 314 * * * 381 ( *, *) ( *, *) ( *, *) (422, *) ( *, *) (325, *) [Cn,C-,Cn,i2,Cn,r2] 10 383(1876): * 315 * * * 384 ( *, *) ( *, *) ( *, *) ( *, *) (331, *) (326, *) [Cn,C-,Cn,Cn,r1,r2] 10 384(1876): * 316 * * * 383 ( *, *) ( *, *) ( *, *) ( *, *) (330, *) (326, *) [Cn,C-,Cn,Cn,r1,r2] 10 385(1878): * 453 * * * 385 ( *, *) ( *, *) ( *, *) (425, *) (428, *) ( *, *) [Cn,C+,Cn,i1,i1,ic] 10 386(1878): * 454 * * * 386 ( *, *) ( *, *) ( *, *) (426, *) (429, *) ( *, *) [Cn,C+,Cn,i1,i1,ic] 10 387(1885): * 456 * * * 387 ( *, *) ( *, *) ( *, *) ( *, *) (431, *) ( *, *) [Cn,C+,Cn,Cn,i1,ic] 10 388(1886): * 455 * * * 388 ( *, *) ( *, *) ( *, *) ( *, *) (430, *) ( *, *) [Cn,C+,Cn,Cn,i1,ic] 10 389(1892): * 458 * * * 389 ( *, *) ( *, *) ( *, *) (333, *) ( *, *) ( *, *) [Cn,C+,Cn,r1,Cn,ic] 10 390(1893): * 457 * * * 390 ( *, *) ( *, *) ( *, *) (332, *) ( *, *) ( *, *) [Cn,C+,Cn,r1,Cn,ic] 10 391(1900): * 459 * * * 391 ( *, *) ( *, *) ( *, *) ( *, *) (432, *) (441,442) [Cn,C+,Cn,Cn,i1,i2] 10 392(1902): * 460 * * * 466 ( *, *) ( *, *) ( *, *) ( *, *) (333, *) ( *, *) [Cn,C+,Cn,Cn,r1,C+] 10 393(1905): * 461 * * * 467 ( *, *) ( *, *) ( *, *) ( *, *) (332, *) ( *, *) [Cn,C+,Cn,Cn,r1,C+] 10 394(1929): * 463 * * * 394 ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) (451,452) [Cn,C+,Cn,Cn,Cn,i2] 10 395(1932): * 324 * * * 468 ( *, *) ( *, *) (436, *) ( *, *) ( *, *) ( *, *) [Cn,C-,i1,Cn,Cn,C+] 10 396(1933): * 323 * * * 469 ( *, *) ( *, *) (437, *) ( *, *) ( *, *) ( *, *) [Cn,C-,i1,Cn,Cn,C+] 10 397(1957): * 329 * * * 320 ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) [Cn,C-,Cn,Cn,Cn,C-] 10 398(1960): * 328 * * * 319 ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) [Cn,C-,Cn,Cn,Cn,C-] 10 399(1973): * 469 * * * 323 ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) [Cn,C+,Cn,Cn,Cn,C-] 10 400(1974): * 468 * * * 324 ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) [Cn,C+,Cn,Cn,Cn,C-] 10 401(1983): * 333 * * * 401 (453, *) ( *, *) (455, *) (458, *) (460, *) ( *, *) [i1,C-,i1,i1,i1,ic] 10 402(1985): * 332 * * * 402 (454, *) ( *, *) (456, *) (457, *) (461, *) ( *, *) [i1,C-,i1,i1,i1,ic] 10 403(1989): * 470 * * * 404 (348, *) ( *, *) (346, *) (344, *) (342, *) (339, *) [r1,C+,r1,r1,r1,r2] 11 404(1989): * 471 * * * 403 (349, *) ( *, *) (347, *) (345, *) (343, *) (339, *) [r1,C+,r1,r1,r1,r2] 11 405(1990): * 334 * * * 478 ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) [Cn,C-,Cn,Cn,Cn,C+] 11 406(1990): * 335 * * * 477 ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) [Cn,C-,Cn,Cn,Cn,C+] 11 407(1994): * 474 * * * 482 ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) [Cn,C+,Cn,Cn,Cn,C+] 11 408(1994): * 475 * * * 481 ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) [Cn,C+,Cn,Cn,Cn,C+] 11 409(1996): * 338 * * * 483 ( *, *) ( *, *) ( *, *) (359, *) ( *, *) ( *, *) [Cn,C-,Cn,r1,Cn,C+] 11 410(1998): * 339 * * * 410 ( *, *) ( *, *) ( *, *) (365, *) ( *, *) (470,471) [Cn,C-,Cn,r1,Cn,i2] 11 411(2001): * 411 * * * 411 ( *, *) ( *, *) ( *, *) (368, *) ( *, *) ( *, *) [Cn,rn,Cn,r1,Cn,rn] 11 412(2002): * 477 * * * 335 ( *, *) ( *, *) (370, *) ( *, *) ( *, *) ( *, *) [Cn,C+,r1,Cn,Cn,C-] 11 413(2002): * 478 * * * 334 ( *, *) ( *, *) (371, *) ( *, *) ( *, *) ( *, *) [Cn,C+,r1,Cn,Cn,C-] 11 414(2009): * 483 * * * 338 ( *, *) ( *, *) (376, *) (375, *) ( *, *) ( *, *) [Cn,C+,r1,r1,Cn,C-] 11 415(2010): * 342 * * * 337 ( *, *) ( *, *) ( *, *) ( *, *) (470, *) ( *, *) [Cn,C-,Cn,Cn,i2,C-] 11 416(2010): * 343 * * * 336 ( *, *) ( *, *) ( *, *) ( *, *) (471, *) ( *, *) [Cn,C-,Cn,Cn,i2,C-] 11 417(2013): * 344 * * * 418 ( *, *) ( *, *) ( *, *) (470, *) ( *, *) (365, *) [Cn,C-,Cn,i2,Cn,r2] 11 418(2013): * 345 * * * 417 ( *, *) ( *, *) ( *, *) (471, *) ( *, *) (365, *) [Cn,C-,Cn,i2,Cn,r2] 11 419(2015): * 346 * * * 420 ( *, *) ( *, *) ( *, *) ( *, *) (378, *) (366, *) [Cn,C-,Cn,Cn,r1,r2] 11 420(2015): * 347 * * * 419 ( *, *) ( *, *) ( *, *) ( *, *) (377, *) (366, *) [Cn,C-,Cn,Cn,r1,r2] 11 421(2016): * 348 * * * 422 ( *, *) ( *, *) ( *, *) (381, *) (379, *) (367, *) [Cn,C-,Cn,r1,r1,r2] 11 422(2016): * 349 * * * 421 ( *, *) ( *, *) ( *, *) (382, *) (380, *) (367, *) [Cn,C-,Cn,r1,r1,r2] 11 423(2019): * 486 * * * 423 ( *, *) ( *, *) ( *, *) ( *, *) (472, *) ( *, *) [Cn,C+,Cn,Cn,i1,ic] 11 424(2019): * 487 * * * 424 ( *, *) ( *, *) ( *, *) ( *, *) (473, *) ( *, *) [Cn,C+,Cn,Cn,i1,ic] 11 425(2022): * 488 * * * 425 ( *, *) ( *, *) ( *, *) (385, *) ( *, *) ( *, *) [Cn,C+,Cn,r1,Cn,ic] 11 426(2022): * 489 * * * 426 ( *, *) ( *, *) ( *, *) (386, *) ( *, *) ( *, *) [Cn,C+,Cn,r1,Cn,ic] 11 427(2029): * 490 * * * 427 ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) (479,480) [Cn,C+,Cn,Cn,Cn,i2] 11 428(2032): * 492 * * * 508 ( *, *) ( *, *) ( *, *) ( *, *) (385, *) ( *, *) [Cn,C+,Cn,Cn,r1,C+] 11 429(2032): * 493 * * * 507 ( *, *) ( *, *) ( *, *) ( *, *) (386, *) ( *, *) [Cn,C+,Cn,Cn,r1,C+] 11 430(2034): * 494 * * * 510 ( *, *) ( *, *) ( *, *) ( *, *) (388, *) ( *, *) [Cn,C+,Cn,Cn,r1,C+] 11 431(2035): * 495 * * * 509 ( *, *) ( *, *) ( *, *) ( *, *) (387, *) ( *, *) [Cn,C+,Cn,Cn,r1,C+] 11 432(2047): * 496 * * * 513 ( *, *) ( *, *) ( *, *) ( *, *) (391, *) ( *, *) [Cn,C+,Cn,Cn,r1,C+] 11 433(2048): * 357 * * * 512 ( *, *) ( *, *) (474, *) ( *, *) ( *, *) ( *, *) [Cn,C-,i1,Cn,Cn,C+] 11 434(2048): * 358 * * * 511 ( *, *) ( *, *) (475, *) ( *, *) ( *, *) ( *, *) [Cn,C-,i1,Cn,Cn,C+] 11 435(2063): * 499 * * * 435 ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) (484,485) [Cn,C+,Cn,Cn,Cn,i2] 11 436(2064): * 364 * * * 519 ( *, *) ( *, *) (395, *) ( *, *) ( *, *) ( *, *) [Cn,C-,r1,Cn,Cn,C+] 11 437(2065): * 363 * * * 518 ( *, *) ( *, *) (396, *) ( *, *) ( *, *) ( *, *) [Cn,C-,r1,Cn,Cn,C+] 11 438(2082): * 369 * * * 350 ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) [Cn,C-,Cn,Cn,Cn,C-] 11 439(2084): * 370 * * * 353 ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) [Cn,C-,Cn,Cn,Cn,C-] 11 440(2085): * 371 * * * 354 ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) [Cn,C-,Cn,Cn,Cn,C-] 11 441(2088): * 505 * * * 442 ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) (391, *) [Cn,C+,Cn,Cn,Cn,r2] 11 442(2088): * 506 * * * 441 ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) (391, *) [Cn,C+,Cn,Cn,Cn,r2] 11 443(2097): * 373 * * * 356 ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) [Cn,C-,Cn,Cn,Cn,C-] 11 444(2097): * 374 * * * 355 ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) [Cn,C-,Cn,Cn,Cn,C-] 11 445(2106): * 511 * * * 358 ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) [Cn,C+,Cn,Cn,Cn,C-] 11 446(2106): * 512 * * * 357 ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) [Cn,C+,Cn,Cn,Cn,C-] 11 447(2111): * 375 * * * 359 ( *, *) ( *, *) ( *, *) (483, *) ( *, *) ( *, *) [Cn,C-,Cn,i2,Cn,C-] 11 448(2118): * 376 * * * 360 ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) [Cn,C-,Cn,Cn,Cn,C-] 11 449(2121): * 519 * * * 364 ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) [Cn,C+,Cn,Cn,Cn,C-] 11 450(2122): * 518 * * * 363 ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) [Cn,C+,Cn,Cn,Cn,C-] 11 451(2125): * 516 * * * 452 ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) (394, *) [Cn,C+,Cn,Cn,Cn,r2] 11 452(2125): * 517 * * * 451 ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) (394, *) [Cn,C+,Cn,Cn,Cn,r2] 11 453(2139): * 385 * * * 453 (401, *) ( *, *) (486, *) (488, *) (492, *) ( *, *) [r1,C-,i1,i1,i1,ic] 11 454(2139): * 386 * * * 454 (402, *) ( *, *) (487, *) (489, *) (493, *) ( *, *) [r1,C-,i1,i1,i1,ic] 11 455(2140): * 388 * * * 455 (486, *) ( *, *) (401, *) ( *, *) (494, *) ( *, *) [i1,C-,r1,Cn,i1,ic] 11 456(2141): * 387 * * * 456 (487, *) ( *, *) (402, *) ( *, *) (495, *) ( *, *) [i1,C-,r1,Cn,i1,ic] 11 457(2144): * 390 * * * 457 (489, *) ( *, *) ( *, *) (402, *) ( *, *) ( *, *) [i1,C-,Cn,r1,Cn,ic] 11 458(2147): * 389 * * * 458 (488, *) ( *, *) ( *, *) (401, *) ( *, *) ( *, *) [i1,C-,Cn,r1,Cn,ic] 11 459(2156): * 391 * * * 459 ( *, *) ( *, *) (491, *) ( *, *) (496, *) (505,506) [Cn,C-,i2,Cn,i1,i2] 11 460(2161): * 392 * * * 526 (492, *) ( *, *) (494, *) ( *, *) (401, *) ( *, *) [i1,C-,i1,Cn,r1,C+] 11 461(2163): * 393 * * * 525 (493, *) ( *, *) (495, *) ( *, *) (402, *) ( *, *) [i1,C-,i1,Cn,r1,C+] 11 462(2179): * 522 * * * 462 ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) (514,515) [Cn,C+,Cn,Cn,Cn,i2] 11 463(2182): * 394 * * * 463 ( *, *) ( *, *) (499, *) ( *, *) ( *, *) (516,517) [Cn,C-,i1,Cn,Cn,i2] 11 464(2186): * 524 * * * 464 ( *, *) ( *, *) (503, *) ( *, *) ( *, *) ( *, *) [Cn,C+,i1,Cn,Cn,ic] 11 465(2187): * 523 * * * 465 ( *, *) ( *, *) (504, *) ( *, *) ( *, *) ( *, *) [Cn,C+,i1,Cn,Cn,ic] 11 466(2212): * 526 * * * 392 ( *, *) ( *, *) ( *, *) ( *, *) (515, *) ( *, *) [Cn,C+,Cn,Cn,i1,C-] 11 467(2215): * 525 * * * 393 ( *, *) ( *, *) ( *, *) ( *, *) (514, *) ( *, *) [Cn,C+,Cn,Cn,i1,C-] 11 468(2217): * 400 * * * 395 ( *, *) ( *, *) (519, *) ( *, *) ( *, *) ( *, *) [Cn,C-,i1,Cn,Cn,C-] 11 469(2219): * 399 * * * 396 ( *, *) ( *, *) (518, *) ( *, *) ( *, *) ( *, *) [Cn,C-,i1,Cn,Cn,C-] 11 470(2220): * 403 * * * 471 ( *, *) ( *, *) ( *, *) (417, *) (415, *) (410, *) [Cn,C-,Cn,r1,r1,r2] 12 471(2220): * 404 * * * 470 ( *, *) ( *, *) ( *, *) (418, *) (416, *) (410, *) [Cn,C-,Cn,r1,r1,r2] 12 472(2223): * 528 * * * 539 ( *, *) ( *, *) ( *, *) ( *, *) (423, *) ( *, *) [Cn,C+,Cn,Cn,r1,C+] 12 473(2223): * 529 * * * 538 ( *, *) ( *, *) ( *, *) ( *, *) (424, *) ( *, *) [Cn,C+,Cn,Cn,r1,C+] 12 474(2225): * 407 * * * 541 ( *, *) ( *, *) (433, *) ( *, *) ( *, *) ( *, *) [Cn,C-,r1,Cn,Cn,C+] 12 475(2225): * 408 * * * 540 ( *, *) ( *, *) (434, *) ( *, *) ( *, *) ( *, *) [Cn,C-,r1,Cn,Cn,C+] 12 476(2233): * 476 * * * 476 ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) [Cn,rn,Cn,Cn,Cn,rn] 12 477(2235): * 412 * * * 406 ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) [Cn,C-,Cn,Cn,Cn,C-] 12 478(2235): * 413 * * * 405 ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) [Cn,C-,Cn,Cn,Cn,C-] 12 479(2237): * 534 * * * 480 ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) (427, *) [Cn,C+,Cn,Cn,Cn,r2] 12 480(2237): * 535 * * * 479 ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) (427, *) [Cn,C+,Cn,Cn,Cn,r2] 12 481(2239): * 540 * * * 408 ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) [Cn,C+,Cn,Cn,Cn,C-] 12 482(2239): * 541 * * * 407 ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) [Cn,C+,Cn,Cn,Cn,C-] 12 483(2242): * 414 * * * 409 ( *, *) ( *, *) ( *, *) (447, *) ( *, *) ( *, *) [Cn,C-,Cn,r1,Cn,C-] 12 484(2249): * 546 * * * 485 ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) (435, *) [Cn,C+,Cn,Cn,Cn,r2] 12 485(2249): * 547 * * * 484 ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) (435, *) [Cn,C+,Cn,Cn,Cn,r2] 12 486(2256): * 423 * * * 486 (455, *) ( *, *) (453, *) ( *, *) (528, *) ( *, *) [r1,C-,r1,Cn,i1,ic] 12 487(2256): * 424 * * * 487 (456, *) ( *, *) (454, *) ( *, *) (529, *) ( *, *) [r1,C-,r1,Cn,i1,ic] 12 488(2258): * 425 * * * 488 (458, *) ( *, *) ( *, *) (453, *) ( *, *) ( *, *) [r1,C-,Cn,r1,Cn,ic] 12 489(2258): * 426 * * * 489 (457, *) ( *, *) ( *, *) (454, *) ( *, *) ( *, *) [r1,C-,Cn,r1,Cn,ic] 12 490(2263): * 427 * * * 490 ( *, *) ( *, *) (527, *) ( *, *) ( *, *) (534,535) [Cn,C-,i2,Cn,Cn,i2] 12 491(2268): * 491 * * * 491 ( *, *) ( *, *) (459, *) ( *, *) (530, *) (536,537) [Cn,rn,r1,Cn,i1,i2] 12 492(2269): * 428 * * * 562 (460, *) ( *, *) (528, *) ( *, *) (453, *) ( *, *) [r1,C-,i1,Cn,r1,C+] 12 493(2269): * 429 * * * 561 (461, *) ( *, *) (529, *) ( *, *) (454, *) ( *, *) [r1,C-,i1,Cn,r1,C+] 12 494(2271): * 430 * * * 564 (528, *) ( *, *) (460, *) ( *, *) (455, *) ( *, *) [i1,C-,r1,Cn,r1,C+] 12 495(2272): * 431 * * * 563 (529, *) ( *, *) (461, *) ( *, *) (456, *) ( *, *) [i1,C-,r1,Cn,r1,C+] 12 496(2286): * 432 * * * 565 ( *, *) ( *, *) (530, *) ( *, *) (459, *) ( *, *) [Cn,C-,i2,Cn,r1,C+] 12 497(2298): * 554 * * * 497 ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) (542,543) [Cn,C+,Cn,Cn,Cn,i2] 12 498(2299): * 555 * * * 498 ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) (544,545) [Cn,C+,Cn,Cn,Cn,i2] 12 499(2300): * 435 * * * 499 ( *, *) ( *, *) (463, *) ( *, *) ( *, *) (546,547) [Cn,C-,r1,Cn,Cn,i2] 12 500(2303): * 556 * * * 568 ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) [Cn,C+,Cn,Cn,Cn,C+] 12 501(2304): * 559 * * * 569 ( *, *) ( *, *) (532, *) ( *, *) ( *, *) ( *, *) [Cn,C+,i1,Cn,Cn,C+] 12 502(2305): * 560 * * * 570 ( *, *) ( *, *) (533, *) ( *, *) ( *, *) ( *, *) [Cn,C+,i1,Cn,Cn,C+] 12 503(2308): * 557 * * * 503 ( *, *) ( *, *) (464, *) ( *, *) ( *, *) ( *, *) [Cn,C+,r1,Cn,Cn,ic] 12 504(2308): * 558 * * * 504 ( *, *) ( *, *) (465, *) ( *, *) ( *, *) ( *, *) [Cn,C+,r1,Cn,Cn,ic] 12 505(2326): * 441 * * * 506 ( *, *) ( *, *) (536, *) ( *, *) ( *, *) (459, *) [Cn,C-,i2,Cn,Cn,r2] 12 506(2326): * 442 * * * 505 ( *, *) ( *, *) (537, *) ( *, *) ( *, *) (459, *) [Cn,C-,i2,Cn,Cn,r2] 12 507(2341): * 561 * * * 429 ( *, *) ( *, *) ( *, *) ( *, *) (542, *) ( *, *) [Cn,C+,Cn,Cn,i2,C-] 12 508(2341): * 562 * * * 428 ( *, *) ( *, *) ( *, *) ( *, *) (543, *) ( *, *) [Cn,C+,Cn,Cn,i2,C-] 12 509(2342): * 563 * * * 431 ( *, *) ( *, *) ( *, *) ( *, *) (544, *) ( *, *) [Cn,C+,Cn,Cn,i1,C-] 12 510(2343): * 564 * * * 430 ( *, *) ( *, *) ( *, *) ( *, *) (545, *) ( *, *) [Cn,C+,Cn,Cn,i1,C-] 12 511(2345): * 445 * * * 434 ( *, *) ( *, *) (540, *) ( *, *) ( *, *) ( *, *) [Cn,C-,i1,Cn,Cn,C-] 12 512(2345): * 446 * * * 433 ( *, *) ( *, *) (541, *) ( *, *) ( *, *) ( *, *) [Cn,C-,i1,Cn,Cn,C-] 12 513(2354): * 565 * * * 432 ( *, *) ( *, *) ( *, *) ( *, *) (548, *) ( *, *) [Cn,C+,Cn,Cn,i2,C-] 12 514(2356): * 566 * * * 515 ( *, *) ( *, *) ( *, *) ( *, *) (467, *) (462, *) [Cn,C+,Cn,Cn,r1,r2] 12 515(2356): * 567 * * * 514 ( *, *) ( *, *) ( *, *) ( *, *) (466, *) (462, *) [Cn,C+,Cn,Cn,r1,r2] 12 516(2357): * 451 * * * 517 ( *, *) ( *, *) (546, *) ( *, *) ( *, *) (463, *) [Cn,C-,i1,Cn,Cn,r2] 12 517(2357): * 452 * * * 516 ( *, *) ( *, *) (547, *) ( *, *) ( *, *) (463, *) [Cn,C-,i1,Cn,Cn,r2] 12 518(2361): * 450 * * * 437 ( *, *) ( *, *) (469, *) ( *, *) ( *, *) ( *, *) [Cn,C-,r1,Cn,Cn,C-] 12 519(2362): * 449 * * * 436 ( *, *) ( *, *) (468, *) ( *, *) ( *, *) ( *, *) [Cn,C-,r1,Cn,Cn,C-] 12 520(2381): * 572 * * * 577 ( *, *) ( *, *) ( *, *) (551, *) ( *, *) ( *, *) [Cn,C+,Cn,i1,Cn,C+] 12 521(2384): * 573 * * * 576 ( *, *) ( *, *) ( *, *) (552, *) ( *, *) ( *, *) [Cn,C+,Cn,i1,Cn,C+] 12 522(2389): * 462 * * * 522 (554, *) ( *, *) (555, *) ( *, *) ( *, *) (566,567) [i2,C-,i1,Cn,Cn,i2] 12 523(2395): * 465 * * * 523 ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) [Cn,C-,Cn,Cn,Cn,ic] 12 524(2397): * 464 * * * 524 ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) [Cn,C-,Cn,Cn,Cn,ic] 12 525(2419): * 467 * * * 461 (561, *) ( *, *) (563, *) ( *, *) (566, *) ( *, *) [i1,C-,i1,Cn,i1,C-] 12 526(2420): * 466 * * * 460 (562, *) ( *, *) (564, *) ( *, *) (567, *) ( *, *) [i1,C-,i1,Cn,i1,C-] 12 527(2426): * 527 * * * 527 ( *, *) ( *, *) (490, *) ( *, *) ( *, *) (578,579) [Cn,rn,r1,Cn,Cn,i2] 13 528(2427): * 472 * * * 589 (494, *) ( *, *) (492, *) ( *, *) (486, *) ( *, *) [r1,C-,r1,Cn,r1,C+] 13 529(2427): * 473 * * * 588 (495, *) ( *, *) (493, *) ( *, *) (487, *) ( *, *) [r1,C-,r1,Cn,r1,C+] 13 530(2430): * 530 * * * 590 ( *, *) ( *, *) (496, *) ( *, *) (491, *) ( *, *) [Cn,rn,r1,Cn,r1,C+] 13 531(2436): * 585 * * * 531 ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) (580,581) [Cn,C+,Cn,Cn,Cn,i2] 13 532(2437): * 586 * * * 596 ( *, *) ( *, *) (501, *) ( *, *) ( *, *) ( *, *) [Cn,C+,r1,Cn,Cn,C+] 13 533(2437): * 587 * * * 595 ( *, *) ( *, *) (502, *) ( *, *) ( *, *) ( *, *) [Cn,C+,r1,Cn,Cn,C+] 13 534(2443): * 479 * * * 535 ( *, *) ( *, *) (578, *) ( *, *) ( *, *) (490, *) [Cn,C-,i2,Cn,Cn,r2] 13 535(2443): * 480 * * * 534 ( *, *) ( *, *) (579, *) ( *, *) ( *, *) (490, *) [Cn,C-,i2,Cn,Cn,r2] 13 536(2446): * 536 * * * 537 ( *, *) ( *, *) (505, *) ( *, *) ( *, *) (491, *) [Cn,rn,r1,Cn,Cn,r2] 13 537(2446): * 537 * * * 536 ( *, *) ( *, *) (506, *) ( *, *) ( *, *) (491, *) [Cn,rn,r1,Cn,Cn,r2] 13 538(2449): * 588 * * * 473 ( *, *) ( *, *) ( *, *) ( *, *) (580, *) ( *, *) [Cn,C+,Cn,Cn,i2,C-] 13 539(2449): * 589 * * * 472 ( *, *) ( *, *) ( *, *) ( *, *) (581, *) ( *, *) [Cn,C+,Cn,Cn,i2,C-] 13 540(2450): * 481 * * * 475 ( *, *) ( *, *) (511, *) ( *, *) ( *, *) ( *, *) [Cn,C-,r1,Cn,Cn,C-] 13 541(2450): * 482 * * * 474 ( *, *) ( *, *) (512, *) ( *, *) ( *, *) ( *, *) [Cn,C-,r1,Cn,Cn,C-] 13 542(2457): * 591 * * * 543 ( *, *) ( *, *) ( *, *) ( *, *) (507, *) (497, *) [Cn,C+,Cn,Cn,r1,r2] 13 543(2457): * 592 * * * 542 ( *, *) ( *, *) ( *, *) ( *, *) (508, *) (497, *) [Cn,C+,Cn,Cn,r1,r2] 13 544(2458): * 593 * * * 545 ( *, *) ( *, *) ( *, *) ( *, *) (509, *) (498, *) [Cn,C+,Cn,Cn,r1,r2] 13 545(2458): * 594 * * * 544 ( *, *) ( *, *) ( *, *) ( *, *) (510, *) (498, *) [Cn,C+,Cn,Cn,r1,r2] 13 546(2459): * 484 * * * 547 ( *, *) ( *, *) (516, *) ( *, *) ( *, *) (499, *) [Cn,C-,r1,Cn,Cn,r2] 13 547(2459): * 485 * * * 546 ( *, *) ( *, *) (517, *) ( *, *) ( *, *) (499, *) [Cn,C-,r1,Cn,Cn,r2] 13 548(2462): * 598 * * * 548 ( *, *) ( *, *) ( *, *) ( *, *) (513, *) ( *, *) [Cn,C+,Cn,Cn,r1,rn] 13 549(2473): * 601 * * * 618 ( *, *) ( *, *) ( *, *) (582, *) ( *, *) ( *, *) [Cn,C+,Cn,i1,Cn,C+] 13 550(2473): * 602 * * * 617 ( *, *) ( *, *) ( *, *) (583, *) ( *, *) ( *, *) [Cn,C+,Cn,i1,Cn,C+] 13 551(2477): * 603 * * * 620 ( *, *) ( *, *) ( *, *) (520, *) ( *, *) ( *, *) [Cn,C+,Cn,r1,Cn,C+] 13 552(2478): * 604 * * * 619 ( *, *) ( *, *) ( *, *) (521, *) ( *, *) ( *, *) [Cn,C+,Cn,r1,Cn,C+] 13 553(2485): * 605 * * * 621 ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) [Cn,C+,Cn,Cn,Cn,C+] 13 554(2493): * 497 * * * 554 (522, *) ( *, *) (585, *) ( *, *) ( *, *) (591,592) [r1,C-,i1,Cn,Cn,i2] 13 555(2495): * 498 * * * 555 (585, *) ( *, *) (522, *) ( *, *) ( *, *) (593,594) [i2,C-,r1,Cn,Cn,i2] 13 556(2498): * 500 * * * 622 ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) [Cn,C-,Cn,Cn,Cn,C+] 13 557(2500): * 503 * * * 557 ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) [Cn,C-,Cn,Cn,Cn,ic] 13 558(2500): * 504 * * * 558 ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) [Cn,C-,Cn,Cn,Cn,ic] 13 559(2501): * 501 * * * 624 ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) [Cn,C-,Cn,Cn,Cn,C+] 13 560(2502): * 502 * * * 623 ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) [Cn,C-,Cn,Cn,Cn,C+] 13 561(2535): * 507 * * * 493 (525, *) ( *, *) (588, *) ( *, *) (591, *) ( *, *) [r1,C-,i1,Cn,i2,C-] 13 562(2535): * 508 * * * 492 (526, *) ( *, *) (589, *) ( *, *) (592, *) ( *, *) [r1,C-,i1,Cn,i2,C-] 13 563(2536): * 509 * * * 495 (588, *) ( *, *) (525, *) ( *, *) (593, *) ( *, *) [i1,C-,r1,Cn,i1,C-] 13 564(2537): * 510 * * * 494 (589, *) ( *, *) (526, *) ( *, *) (594, *) ( *, *) [i1,C-,r1,Cn,i1,C-] 13 565(2546): * 513 * * * 496 ( *, *) ( *, *) (590, *) ( *, *) (598, *) ( *, *) [Cn,C-,i2,Cn,i2,C-] 13 566(2549): * 514 * * * 567 (591, *) ( *, *) (593, *) ( *, *) (525, *) (522, *) [i2,C-,i1,Cn,r1,r2] 13 567(2549): * 515 * * * 566 (592, *) ( *, *) (594, *) ( *, *) (526, *) (522, *) [i2,C-,i1,Cn,r1,r2] 13 568(2552): * 622 * * * 500 ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) [Cn,C+,Cn,Cn,Cn,C-] 13 569(2554): * 624 * * * 501 ( *, *) ( *, *) (596, *) ( *, *) ( *, *) ( *, *) [Cn,C+,i1,Cn,Cn,C-] 13 570(2555): * 623 * * * 502 ( *, *) ( *, *) (595, *) ( *, *) ( *, *) ( *, *) [Cn,C+,i1,Cn,Cn,C-] 13 571(2561): * 625 * * * 571 ( *, *) ( *, *) ( *, *) (599, *) (600, *) (615,616) [Cn,C+,Cn,i1,i1,i2] 13 572(2570): * 520 * * * 629 (601, *) ( *, *) ( *, *) (603, *) ( *, *) ( *, *) [i1,C-,Cn,i1,Cn,C+] 13 573(2572): * 521 * * * 628 (602, *) ( *, *) ( *, *) (604, *) ( *, *) ( *, *) [i1,C-,Cn,i1,Cn,C+] 13 574(2579): * 627 * * * 574 ( *, *) ( *, *) ( *, *) (613, *) ( *, *) ( *, *) [Cn,C+,Cn,i1,Cn,ic] 13 575(2580): * 626 * * * 575 ( *, *) ( *, *) ( *, *) (614, *) ( *, *) ( *, *) [Cn,C+,Cn,i1,Cn,ic] 13 576(2587): * 628 * * * 521 ( *, *) ( *, *) ( *, *) (619, *) ( *, *) ( *, *) [Cn,C+,Cn,i1,Cn,C-] 13 577(2588): * 629 * * * 520 ( *, *) ( *, *) ( *, *) (620, *) ( *, *) ( *, *) [Cn,C+,Cn,i1,Cn,C-] 13 578(2593): * 578 * * * 579 ( *, *) ( *, *) (534, *) ( *, *) ( *, *) (527, *) [Cn,rn,r1,Cn,Cn,r2] 14 579(2593): * 579 * * * 578 ( *, *) ( *, *) (535, *) ( *, *) ( *, *) (527, *) [Cn,rn,r1,Cn,Cn,r2] 14 580(2594): * 630 * * * 581 ( *, *) ( *, *) ( *, *) ( *, *) (538, *) (531, *) [Cn,C+,Cn,Cn,r1,r2] 14 581(2594): * 631 * * * 580 ( *, *) ( *, *) ( *, *) ( *, *) (539, *) (531, *) [Cn,C+,Cn,Cn,r1,r2] 14 582(2597): * 633 * * * 647 ( *, *) ( *, *) ( *, *) (549, *) ( *, *) ( *, *) [Cn,C+,Cn,r1,Cn,C+] 14 583(2597): * 634 * * * 646 ( *, *) ( *, *) ( *, *) (550, *) ( *, *) ( *, *) [Cn,C+,Cn,r1,Cn,C+] 14 584(2600): * 635 * * * 648 ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) [Cn,C+,Cn,Cn,Cn,C+] 14 585(2607): * 531 * * * 585 (555, *) ( *, *) (554, *) ( *, *) ( *, *) (630,631) [r1,C-,r1,Cn,Cn,i2] 14 586(2608): * 532 * * * 651 ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) [Cn,C-,Cn,Cn,Cn,C+] 14 587(2608): * 533 * * * 650 ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) [Cn,C-,Cn,Cn,Cn,C+] 14 588(2620): * 538 * * * 529 (563, *) ( *, *) (561, *) ( *, *) (630, *) ( *, *) [r1,C-,r1,Cn,i2,C-] 14 589(2620): * 539 * * * 528 (564, *) ( *, *) (562, *) ( *, *) (631, *) ( *, *) [r1,C-,r1,Cn,i2,C-] 14 590(2626): * 590 * * * 530 ( *, *) ( *, *) (565, *) ( *, *) (632, *) ( *, *) [Cn,rn,r1,Cn,i2,C-] 14 591(2628): * 542 * * * 592 (566, *) ( *, *) (630, *) ( *, *) (561, *) (554, *) [r1,C-,i1,Cn,r1,r2] 14 592(2628): * 543 * * * 591 (567, *) ( *, *) (631, *) ( *, *) (562, *) (554, *) [r1,C-,i1,Cn,r1,r2] 14 593(2629): * 544 * * * 594 (630, *) ( *, *) (566, *) ( *, *) (563, *) (555, *) [i2,C-,r1,Cn,r1,r2] 14 594(2629): * 545 * * * 593 (631, *) ( *, *) (567, *) ( *, *) (564, *) (555, *) [i2,C-,r1,Cn,r1,r2] 14 595(2631): * 650 * * * 533 ( *, *) ( *, *) (570, *) ( *, *) ( *, *) ( *, *) [Cn,C+,r1,Cn,Cn,C-] 14 596(2631): * 651 * * * 532 ( *, *) ( *, *) (569, *) ( *, *) ( *, *) ( *, *) [Cn,C+,r1,Cn,Cn,C-] 14 597(2634): * 597 * * * 597 ( *, *) ( *, *) ( *, *) (632, *) ( *, *) ( *, *) [Cn,rn,Cn,i2,Cn,rn] 14 598(2636): * 548 * * * 598 ( *, *) ( *, *) (632, *) ( *, *) (565, *) ( *, *) [Cn,C-,i2,Cn,r1,rn] 14 599(2638): * 655 * * * 599 ( *, *) ( *, *) ( *, *) (571, *) ( *, *) (644,645) [Cn,C+,Cn,r1,Cn,i2] 14 600(2644): * 656 * * * 672 ( *, *) ( *, *) ( *, *) ( *, *) (571, *) ( *, *) [Cn,C+,Cn,Cn,r1,C+] 14 601(2645): * 549 * * * 669 (572, *) ( *, *) ( *, *) (633, *) ( *, *) ( *, *) [r1,C-,Cn,i1,Cn,C+] 14 602(2645): * 550 * * * 668 (573, *) ( *, *) ( *, *) (634, *) ( *, *) ( *, *) [r1,C-,Cn,i1,Cn,C+] 14 603(2647): * 551 * * * 671 (633, *) ( *, *) ( *, *) (572, *) ( *, *) ( *, *) [i1,C-,Cn,r1,Cn,C+] 14 604(2648): * 552 * * * 670 (634, *) ( *, *) ( *, *) (573, *) ( *, *) ( *, *) [i1,C-,Cn,r1,Cn,C+] 14 605(2654): * 553 * * * 673 (635, *) ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) [i2,C-,Cn,Cn,Cn,C+] 14 606(2655): * 657 * * * 674 ( *, *) ( *, *) ( *, *) (640, *) ( *, *) ( *, *) [Cn,C+,Cn,i1,Cn,C+] 14 607(2656): * 658 * * * 675 ( *, *) ( *, *) ( *, *) (641, *) ( *, *) ( *, *) [Cn,C+,Cn,i1,Cn,C+] 14 608(2664): * 661 * * * 608 ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) (652,653) [Cn,C+,Cn,Cn,Cn,i2] 14 609(2665): * 659 * * * 609 ( *, *) ( *, *) ( *, *) (642, *) ( *, *) ( *, *) [Cn,C+,Cn,i2,Cn,ic] 14 610(2665): * 660 * * * 610 ( *, *) ( *, *) ( *, *) (643, *) ( *, *) ( *, *) [Cn,C+,Cn,i2,Cn,ic] 14 611(2672): * 664 * * * 611 ( *, *) ( *, *) (642, *) ( *, *) ( *, *) ( *, *) [Cn,C+,i2,Cn,Cn,ic] 14 612(2672): * 665 * * * 612 ( *, *) ( *, *) (643, *) ( *, *) ( *, *) ( *, *) [Cn,C+,i2,Cn,Cn,ic] 14 613(2673): * 662 * * * 613 ( *, *) ( *, *) ( *, *) (574, *) ( *, *) ( *, *) [Cn,C+,Cn,r1,Cn,ic] 14 614(2673): * 663 * * * 614 ( *, *) ( *, *) ( *, *) (575, *) ( *, *) ( *, *) [Cn,C+,Cn,r1,Cn,ic] 14 615(2676): * 666 * * * 616 ( *, *) ( *, *) ( *, *) (644, *) ( *, *) (571, *) [Cn,C+,Cn,i1,Cn,r2] 14 616(2676): * 667 * * * 615 ( *, *) ( *, *) ( *, *) (645, *) ( *, *) (571, *) [Cn,C+,Cn,i1,Cn,r2] 14 617(2684): * 668 * * * 550 ( *, *) ( *, *) ( *, *) (646, *) ( *, *) ( *, *) [Cn,C+,Cn,i1,Cn,C-] 14 618(2684): * 669 * * * 549 ( *, *) ( *, *) ( *, *) (647, *) ( *, *) ( *, *) [Cn,C+,Cn,i1,Cn,C-] 14 619(2685): * 670 * * * 552 ( *, *) ( *, *) ( *, *) (576, *) ( *, *) ( *, *) [Cn,C+,Cn,r1,Cn,C-] 14 620(2686): * 671 * * * 551 ( *, *) ( *, *) ( *, *) (577, *) ( *, *) ( *, *) [Cn,C+,Cn,r1,Cn,C-] 14 621(2692): * 673 * * * 553 ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) [Cn,C+,Cn,Cn,Cn,C-] 14 622(2703): * 568 * * * 556 ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) [Cn,C-,Cn,Cn,Cn,C-] 14 623(2705): * 570 * * * 560 ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) [Cn,C-,Cn,Cn,Cn,C-] 14 624(2706): * 569 * * * 559 ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) [Cn,C-,Cn,Cn,Cn,C-] 14 625(2714): * 571 * * * 625 (654, *) ( *, *) ( *, *) (655, *) (656, *) (666,667) [i2,C-,Cn,i1,i1,i2] 14 626(2724): * 575 * * * 626 (660, *) ( *, *) ( *, *) (663, *) ( *, *) ( *, *) [i1,C-,Cn,i1,Cn,ic] 14 627(2726): * 574 * * * 627 (659, *) ( *, *) ( *, *) (662, *) ( *, *) ( *, *) [i1,C-,Cn,i1,Cn,ic] 14 628(2728): * 576 * * * 573 (668, *) ( *, *) ( *, *) (670, *) ( *, *) ( *, *) [i1,C-,Cn,i1,Cn,C-] 14 629(2729): * 577 * * * 572 (669, *) ( *, *) ( *, *) (671, *) ( *, *) ( *, *) [i1,C-,Cn,i1,Cn,C-] 14 630(2733): * 580 * * * 631 (593, *) ( *, *) (591, *) ( *, *) (588, *) (585, *) [r1,C-,r1,Cn,r1,r2] 15 631(2733): * 581 * * * 630 (594, *) ( *, *) (592, *) ( *, *) (589, *) (585, *) [r1,C-,r1,Cn,r1,r2] 15 632(2734): * 632 * * * 632 ( *, *) ( *, *) (598, *) (597, *) (590, *) ( *, *) [Cn,rn,r1,r1,r1,rn] 15 633(2736): * 582 * * * 696 (603, *) ( *, *) ( *, *) (601, *) ( *, *) ( *, *) [r1,C-,Cn,r1,Cn,C+] 15 634(2736): * 583 * * * 695 (604, *) ( *, *) ( *, *) (602, *) ( *, *) ( *, *) [r1,C-,Cn,r1,Cn,C+] 15 635(2739): * 584 * * * 697 (605, *) ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) [r1,C-,Cn,Cn,Cn,C+] 15 636(2740): * 682 * * * 699 ( *, *) ( *, *) ( *, *) (678, *) ( *, *) ( *, *) [Cn,C+,Cn,i2,Cn,C+] 15 637(2740): * 683 * * * 698 ( *, *) ( *, *) ( *, *) (679, *) ( *, *) ( *, *) [Cn,C+,Cn,i2,Cn,C+] 15 638(2741): * 686 * * * 701 ( *, *) ( *, *) (678, *) ( *, *) ( *, *) ( *, *) [Cn,C+,i2,Cn,Cn,C+] 15 639(2741): * 687 * * * 700 ( *, *) ( *, *) (679, *) ( *, *) ( *, *) ( *, *) [Cn,C+,i2,Cn,Cn,C+] 15 640(2742): * 684 * * * 703 ( *, *) ( *, *) ( *, *) (606, *) ( *, *) ( *, *) [Cn,C+,Cn,r1,Cn,C+] 15 641(2742): * 685 * * * 702 ( *, *) ( *, *) ( *, *) (607, *) ( *, *) ( *, *) [Cn,C+,Cn,r1,Cn,C+] 15 642(2747): * 689 * * * 642 ( *, *) ( *, *) (611, *) (609, *) ( *, *) ( *, *) [Cn,C+,r1,r1,Cn,ic] 15 643(2747): * 690 * * * 643 ( *, *) ( *, *) (612, *) (610, *) ( *, *) ( *, *) [Cn,C+,r1,r1,Cn,ic] 15 644(2748): * 693 * * * 645 ( *, *) ( *, *) ( *, *) (615, *) ( *, *) (599, *) [Cn,C+,Cn,r1,Cn,r2] 15 645(2748): * 694 * * * 644 ( *, *) ( *, *) ( *, *) (616, *) ( *, *) (599, *) [Cn,C+,Cn,r1,Cn,r2] 15 646(2754): * 695 * * * 583 ( *, *) ( *, *) ( *, *) (617, *) ( *, *) ( *, *) [Cn,C+,Cn,r1,Cn,C-] 15 647(2754): * 696 * * * 582 ( *, *) ( *, *) ( *, *) (618, *) ( *, *) ( *, *) [Cn,C+,Cn,r1,Cn,C-] 15 648(2756): * 697 * * * 584 ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) [Cn,C+,Cn,Cn,Cn,C-] 15 649(2764): * 649 * * * 649 ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) [Cn,rn,Cn,Cn,Cn,rn] 15 650(2765): * 595 * * * 587 ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) [Cn,C-,Cn,Cn,Cn,C-] 15 651(2765): * 596 * * * 586 ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) [Cn,C-,Cn,Cn,Cn,C-] 15 652(2767): * 705 * * * 653 ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) (608, *) [Cn,C+,Cn,Cn,Cn,r2] 15 653(2767): * 706 * * * 652 ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) (608, *) [Cn,C+,Cn,Cn,Cn,r2] 15 654(2773): * 654 * * * 654 (625, *) ( *, *) ( *, *) (680, *) (681, *) (691,692) [r1,rn,Cn,i1,i1,i2] 15 655(2776): * 599 * * * 655 (680, *) ( *, *) ( *, *) (625, *) ( *, *) (693,694) [i2,C-,Cn,r1,Cn,i2] 15 656(2780): * 600 * * * 713 (681, *) ( *, *) ( *, *) ( *, *) (625, *) ( *, *) [i2,C-,Cn,Cn,r1,C+] 15 657(2786): * 606 * * * 714 (682, *) ( *, *) ( *, *) (684, *) ( *, *) ( *, *) [i1,C-,Cn,i1,Cn,C+] 15 658(2787): * 607 * * * 715 (683, *) ( *, *) ( *, *) (685, *) ( *, *) ( *, *) [i1,C-,Cn,i1,Cn,C+] 15 659(2795): * 609 * * * 659 (627, *) ( *, *) ( *, *) (689, *) ( *, *) ( *, *) [r1,C-,Cn,i2,Cn,ic] 15 660(2795): * 610 * * * 660 (626, *) ( *, *) ( *, *) (690, *) ( *, *) ( *, *) [r1,C-,Cn,i2,Cn,ic] 15 661(2796): * 608 * * * 661 ( *, *) ( *, *) (688, *) ( *, *) ( *, *) (705,706) [Cn,C-,i2,Cn,Cn,i2] 15 662(2799): * 613 * * * 662 (689, *) ( *, *) ( *, *) (627, *) ( *, *) ( *, *) [i2,C-,Cn,r1,Cn,ic] 15 663(2799): * 614 * * * 663 (690, *) ( *, *) ( *, *) (626, *) ( *, *) ( *, *) [i2,C-,Cn,r1,Cn,ic] 15 664(2801): * 611 * * * 664 ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) [Cn,C-,Cn,Cn,Cn,ic] 15 665(2801): * 612 * * * 665 ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) [Cn,C-,Cn,Cn,Cn,ic] 15 666(2806): * 615 * * * 667 (691, *) ( *, *) ( *, *) (693, *) ( *, *) (625, *) [i2,C-,Cn,i1,Cn,r2] 15 667(2806): * 616 * * * 666 (692, *) ( *, *) ( *, *) (694, *) ( *, *) (625, *) [i2,C-,Cn,i1,Cn,r2] 15 668(2808): * 617 * * * 602 (628, *) ( *, *) ( *, *) (695, *) ( *, *) ( *, *) [r1,C-,Cn,i1,Cn,C-] 15 669(2808): * 618 * * * 601 (629, *) ( *, *) ( *, *) (696, *) ( *, *) ( *, *) [r1,C-,Cn,i1,Cn,C-] 15 670(2810): * 619 * * * 604 (695, *) ( *, *) ( *, *) (628, *) ( *, *) ( *, *) [i1,C-,Cn,r1,Cn,C-] 15 671(2811): * 620 * * * 603 (696, *) ( *, *) ( *, *) (629, *) ( *, *) ( *, *) [i1,C-,Cn,r1,Cn,C-] 15 672(2815): * 713 * * * 600 ( *, *) ( *, *) ( *, *) ( *, *) (704, *) ( *, *) [Cn,C+,Cn,Cn,i2,C-] 15 673(2816): * 621 * * * 605 (697, *) ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) [i2,C-,Cn,Cn,Cn,C-] 15 674(2817): * 714 * * * 606 ( *, *) ( *, *) ( *, *) (703, *) ( *, *) ( *, *) [Cn,C+,Cn,i1,Cn,C-] 15 675(2818): * 715 * * * 607 ( *, *) ( *, *) ( *, *) (702, *) ( *, *) ( *, *) [Cn,C+,Cn,i1,Cn,C-] 15 676(2828): * 717 * * * 676 ( *, *) ( *, *) ( *, *) ( *, *) (711, *) ( *, *) [Cn,C+,Cn,Cn,i1,ic] 15 677(2831): * 716 * * * 677 ( *, *) ( *, *) ( *, *) ( *, *) (712, *) ( *, *) [Cn,C+,Cn,Cn,i1,ic] 15 678(2836): * 718 * * * 723 ( *, *) ( *, *) (638, *) (636, *) ( *, *) ( *, *) [Cn,C+,r1,r1,Cn,C+] 16 679(2836): * 719 * * * 722 ( *, *) ( *, *) (639, *) (637, *) ( *, *) ( *, *) [Cn,C+,r1,r1,Cn,C+] 16 680(2840): * 680 * * * 680 (655, *) ( *, *) ( *, *) (654, *) ( *, *) (720,721) [r1,rn,Cn,r1,Cn,i2] 16 681(2841): * 681 * * * 730 (656, *) ( *, *) ( *, *) ( *, *) (654, *) ( *, *) [r1,rn,Cn,Cn,r1,C+] 16 682(2845): * 636 * * * 732 (657, *) ( *, *) ( *, *) (718, *) ( *, *) ( *, *) [r1,C-,Cn,i2,Cn,C+] 16 683(2845): * 637 * * * 731 (658, *) ( *, *) ( *, *) (719, *) ( *, *) ( *, *) [r1,C-,Cn,i2,Cn,C+] 16 684(2846): * 640 * * * 734 (718, *) ( *, *) ( *, *) (657, *) ( *, *) ( *, *) [i2,C-,Cn,r1,Cn,C+] 16 685(2846): * 641 * * * 733 (719, *) ( *, *) ( *, *) (658, *) ( *, *) ( *, *) [i2,C-,Cn,r1,Cn,C+] 16 686(2847): * 638 * * * 736 ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) [Cn,C-,Cn,Cn,Cn,C+] 16 687(2847): * 639 * * * 735 ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) [Cn,C-,Cn,Cn,Cn,C+] 16 688(2849): * 688 * * * 688 ( *, *) ( *, *) (661, *) ( *, *) ( *, *) (724,725) [Cn,rn,r1,Cn,Cn,i2] 16 689(2850): * 642 * * * 689 (662, *) ( *, *) ( *, *) (659, *) ( *, *) ( *, *) [r1,C-,Cn,r1,Cn,ic] 16 690(2850): * 643 * * * 690 (663, *) ( *, *) ( *, *) (660, *) ( *, *) ( *, *) [r1,C-,Cn,r1,Cn,ic] 16 691(2852): * 691 * * * 692 (666, *) ( *, *) ( *, *) (720, *) ( *, *) (654, *) [r1,rn,Cn,i1,Cn,r2] 16 692(2852): * 692 * * * 691 (667, *) ( *, *) ( *, *) (721, *) ( *, *) (654, *) [r1,rn,Cn,i1,Cn,r2] 16 693(2855): * 644 * * * 694 (720, *) ( *, *) ( *, *) (666, *) ( *, *) (655, *) [i2,C-,Cn,r1,Cn,r2] 16 694(2855): * 645 * * * 693 (721, *) ( *, *) ( *, *) (667, *) ( *, *) (655, *) [i2,C-,Cn,r1,Cn,r2] 16 695(2857): * 646 * * * 634 (670, *) ( *, *) ( *, *) (668, *) ( *, *) ( *, *) [r1,C-,Cn,r1,Cn,C-] 16 696(2857): * 647 * * * 633 (671, *) ( *, *) ( *, *) (669, *) ( *, *) ( *, *) [r1,C-,Cn,r1,Cn,C-] 16 697(2859): * 648 * * * 635 (673, *) ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) [r1,C-,Cn,Cn,Cn,C-] 16 698(2860): * 731 * * * 637 ( *, *) ( *, *) ( *, *) (722, *) ( *, *) ( *, *) [Cn,C+,Cn,i2,Cn,C-] 16 699(2860): * 732 * * * 636 ( *, *) ( *, *) ( *, *) (723, *) ( *, *) ( *, *) [Cn,C+,Cn,i2,Cn,C-] 16 700(2861): * 735 * * * 639 ( *, *) ( *, *) (722, *) ( *, *) ( *, *) ( *, *) [Cn,C+,i2,Cn,Cn,C-] 16 701(2861): * 736 * * * 638 ( *, *) ( *, *) (723, *) ( *, *) ( *, *) ( *, *) [Cn,C+,i2,Cn,Cn,C-] 16 702(2862): * 733 * * * 641 ( *, *) ( *, *) ( *, *) (675, *) ( *, *) ( *, *) [Cn,C+,Cn,r1,Cn,C-] 16 703(2862): * 734 * * * 640 ( *, *) ( *, *) ( *, *) (674, *) ( *, *) ( *, *) [Cn,C+,Cn,r1,Cn,C-] 16 704(2865): * 737 * * * 704 ( *, *) ( *, *) ( *, *) ( *, *) (672, *) ( *, *) [Cn,C+,Cn,Cn,r1,rn] 16 705(2870): * 652 * * * 706 ( *, *) ( *, *) (724, *) ( *, *) ( *, *) (661, *) [Cn,C-,i2,Cn,Cn,r2] 16 706(2870): * 653 * * * 705 ( *, *) ( *, *) (725, *) ( *, *) ( *, *) (661, *) [Cn,C-,i2,Cn,Cn,r2] 16 707(2875): * 738 * * * 707 ( *, *) ( *, *) ( *, *) ( *, *) (726, *) ( *, *) [Cn,C+,Cn,Cn,i1,ic] 16 708(2875): * 739 * * * 708 ( *, *) ( *, *) ( *, *) ( *, *) (727, *) ( *, *) [Cn,C+,Cn,Cn,i1,ic] 16 709(2878): * 740 * * * 709 ( *, *) ( *, *) ( *, *) ( *, *) (728, *) ( *, *) [Cn,C+,Cn,Cn,i1,ic] 16 710(2878): * 741 * * * 710 ( *, *) ( *, *) ( *, *) ( *, *) (729, *) ( *, *) [Cn,C+,Cn,Cn,i1,ic] 16 711(2881): * 743 * * * 747 ( *, *) ( *, *) ( *, *) ( *, *) (676, *) ( *, *) [Cn,C+,Cn,Cn,r1,C+] 16 712(2882): * 742 * * * 746 ( *, *) ( *, *) ( *, *) ( *, *) (677, *) ( *, *) [Cn,C+,Cn,Cn,r1,C+] 16 713(2900): * 672 * * * 656 (730, *) ( *, *) ( *, *) ( *, *) (737, *) ( *, *) [i2,C-,Cn,Cn,i2,C-] 16 714(2901): * 674 * * * 657 (732, *) ( *, *) ( *, *) (734, *) ( *, *) ( *, *) [i1,C-,Cn,i1,Cn,C-] 16 715(2902): * 675 * * * 658 (731, *) ( *, *) ( *, *) (733, *) ( *, *) ( *, *) [i1,C-,Cn,i1,Cn,C-] 16 716(2908): * 677 * * * 716 (738, *) ( *, *) (740, *) ( *, *) (742, *) ( *, *) [i1,C-,i1,Cn,i1,ic] 16 717(2911): * 676 * * * 717 (739, *) ( *, *) (741, *) ( *, *) (743, *) ( *, *) [i1,C-,i1,Cn,i1,ic] 16 718(2912): * 678 * * * 749 (684, *) ( *, *) ( *, *) (682, *) ( *, *) ( *, *) [r1,C-,Cn,r1,Cn,C+] 17 719(2912): * 679 * * * 748 (685, *) ( *, *) ( *, *) (683, *) ( *, *) ( *, *) [r1,C-,Cn,r1,Cn,C+] 17 720(2913): * 720 * * * 721 (693, *) ( *, *) ( *, *) (691, *) ( *, *) (680, *) [r1,rn,Cn,r1,Cn,r2] 17 721(2913): * 721 * * * 720 (694, *) ( *, *) ( *, *) (692, *) ( *, *) (680, *) [r1,rn,Cn,r1,Cn,r2] 17 722(2914): * 748 * * * 679 ( *, *) ( *, *) (700, *) (698, *) ( *, *) ( *, *) [Cn,C+,r1,r1,Cn,C-] 17 723(2914): * 749 * * * 678 ( *, *) ( *, *) (701, *) (699, *) ( *, *) ( *, *) [Cn,C+,r1,r1,Cn,C-] 17 724(2915): * 724 * * * 725 ( *, *) ( *, *) (705, *) ( *, *) ( *, *) (688, *) [Cn,rn,r1,Cn,Cn,r2] 17 725(2915): * 725 * * * 724 ( *, *) ( *, *) (706, *) ( *, *) ( *, *) (688, *) [Cn,rn,r1,Cn,Cn,r2] 17 726(2918): * 753 * * * 760 ( *, *) ( *, *) ( *, *) ( *, *) (707, *) ( *, *) [Cn,C+,Cn,Cn,r1,C+] 17 727(2918): * 754 * * * 759 ( *, *) ( *, *) ( *, *) ( *, *) (708, *) ( *, *) [Cn,C+,Cn,Cn,r1,C+] 17 728(2919): * 755 * * * 762 ( *, *) ( *, *) ( *, *) ( *, *) (709, *) ( *, *) [Cn,C+,Cn,Cn,r1,C+] 17 729(2919): * 756 * * * 761 ( *, *) ( *, *) ( *, *) ( *, *) (710, *) ( *, *) [Cn,C+,Cn,Cn,r1,C+] 17 730(2930): * 730 * * * 681 (713, *) ( *, *) ( *, *) ( *, *) (750, *) ( *, *) [r1,rn,Cn,Cn,i2,C-] 17 731(2931): * 698 * * * 683 (715, *) ( *, *) ( *, *) (748, *) ( *, *) ( *, *) [r1,C-,Cn,i2,Cn,C-] 17 732(2931): * 699 * * * 682 (714, *) ( *, *) ( *, *) (749, *) ( *, *) ( *, *) [r1,C-,Cn,i2,Cn,C-] 17 733(2933): * 702 * * * 685 (748, *) ( *, *) ( *, *) (715, *) ( *, *) ( *, *) [i2,C-,Cn,r1,Cn,C-] 17 734(2933): * 703 * * * 684 (749, *) ( *, *) ( *, *) (714, *) ( *, *) ( *, *) [i2,C-,Cn,r1,Cn,C-] 17 735(2934): * 700 * * * 687 ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) [Cn,C-,Cn,Cn,Cn,C-] 17 736(2934): * 701 * * * 686 ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) [Cn,C-,Cn,Cn,Cn,C-] 17 737(2937): * 704 * * * 737 (750, *) ( *, *) ( *, *) ( *, *) (713, *) ( *, *) [i2,C-,Cn,Cn,r1,rn] 17 738(2945): * 707 * * * 738 (716, *) ( *, *) (751, *) ( *, *) (753, *) ( *, *) [r1,C-,i2,Cn,i1,ic] 17 739(2945): * 708 * * * 739 (717, *) ( *, *) (752, *) ( *, *) (754, *) ( *, *) [r1,C-,i2,Cn,i1,ic] 17 740(2948): * 709 * * * 740 (751, *) ( *, *) (716, *) ( *, *) (755, *) ( *, *) [i2,C-,r1,Cn,i1,ic] 17 741(2948): * 710 * * * 741 (752, *) ( *, *) (717, *) ( *, *) (756, *) ( *, *) [i2,C-,r1,Cn,i1,ic] 17 742(2950): * 712 * * * 769 (753, *) ( *, *) (755, *) ( *, *) (716, *) ( *, *) [i1,C-,i1,Cn,r1,C+] 17 743(2951): * 711 * * * 770 (754, *) ( *, *) (756, *) ( *, *) (717, *) ( *, *) [i1,C-,i1,Cn,r1,C+] 17 744(2953): * 767 * * * 744 ( *, *) ( *, *) ( *, *) (758, *) ( *, *) (763,764) [Cn,C+,Cn,i2,Cn,i2] 17 745(2955): * 768 * * * 745 ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) (765,766) [Cn,C+,Cn,Cn,Cn,i2] 17 746(2959): * 769 * * * 712 ( *, *) ( *, *) ( *, *) ( *, *) (766, *) ( *, *) [Cn,C+,Cn,Cn,i1,C-] 17 747(2960): * 770 * * * 711 ( *, *) ( *, *) ( *, *) ( *, *) (765, *) ( *, *) [Cn,C+,Cn,Cn,i1,C-] 17 748(2964): * 722 * * * 719 (733, *) ( *, *) ( *, *) (731, *) ( *, *) ( *, *) [r1,C-,Cn,r1,Cn,C-] 18 749(2964): * 723 * * * 718 (734, *) ( *, *) ( *, *) (732, *) ( *, *) ( *, *) [r1,C-,Cn,r1,Cn,C-] 18 750(2965): * 750 * * * 750 (737, *) ( *, *) ( *, *) ( *, *) (730, *) ( *, *) [r1,rn,Cn,Cn,r1,rn] 18 751(2969): * 751 * * * 751 (740, *) ( *, *) (738, *) ( *, *) (771, *) ( *, *) [r1,rn,r1,Cn,i1,ic] 18 752(2969): * 752 * * * 752 (741, *) ( *, *) (739, *) ( *, *) (772, *) ( *, *) [r1,rn,r1,Cn,i1,ic] 18 753(2970): * 726 * * * 781 (742, *) ( *, *) (771, *) ( *, *) (738, *) ( *, *) [r1,C-,i2,Cn,r1,C+] 18 754(2970): * 727 * * * 780 (743, *) ( *, *) (772, *) ( *, *) (739, *) ( *, *) [r1,C-,i2,Cn,r1,C+] 18 755(2972): * 728 * * * 783 (771, *) ( *, *) (742, *) ( *, *) (740, *) ( *, *) [i2,C-,r1,Cn,r1,C+] 18 756(2972): * 729 * * * 782 (772, *) ( *, *) (743, *) ( *, *) (741, *) ( *, *) [i2,C-,r1,Cn,r1,C+] 18 757(2974): * 778 * * * 757 ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) (773,774) [Cn,C+,Cn,Cn,Cn,i2] 18 758(2975): * 779 * * * 758 ( *, *) ( *, *) ( *, *) (744, *) ( *, *) (775,776) [Cn,C+,Cn,r1,Cn,i2] 18 759(2982): * 780 * * * 727 ( *, *) ( *, *) ( *, *) ( *, *) (773, *) ( *, *) [Cn,C+,Cn,Cn,i2,C-] 18 760(2982): * 781 * * * 726 ( *, *) ( *, *) ( *, *) ( *, *) (774, *) ( *, *) [Cn,C+,Cn,Cn,i2,C-] 18 761(2983): * 782 * * * 729 ( *, *) ( *, *) ( *, *) ( *, *) (775, *) ( *, *) [Cn,C+,Cn,Cn,i2,C-] 18 762(2983): * 783 * * * 728 ( *, *) ( *, *) ( *, *) ( *, *) (776, *) ( *, *) [Cn,C+,Cn,Cn,i2,C-] 18 763(2986): * 784 * * * 764 ( *, *) ( *, *) ( *, *) (775, *) ( *, *) (744, *) [Cn,C+,Cn,i2,Cn,r2] 18 764(2986): * 785 * * * 763 ( *, *) ( *, *) ( *, *) (776, *) ( *, *) (744, *) [Cn,C+,Cn,i2,Cn,r2] 18 765(2988): * 786 * * * 766 ( *, *) ( *, *) ( *, *) ( *, *) (747, *) (745, *) [Cn,C+,Cn,Cn,r1,r2] 18 766(2988): * 787 * * * 765 ( *, *) ( *, *) ( *, *) ( *, *) (746, *) (745, *) [Cn,C+,Cn,Cn,r1,r2] 18 767(2990): * 744 * * * 767 (777, *) ( *, *) ( *, *) (779, *) ( *, *) (784,785) [i2,C-,Cn,i2,Cn,i2] 18 768(2991): * 745 * * * 768 (778, *) ( *, *) (779, *) ( *, *) ( *, *) (786,787) [i2,C-,i2,Cn,Cn,i2] 18 769(2992): * 746 * * * 742 (781, *) ( *, *) (783, *) ( *, *) (787, *) ( *, *) [i1,C-,i1,Cn,i1,C-] 18 770(2993): * 747 * * * 743 (780, *) ( *, *) (782, *) ( *, *) (786, *) ( *, *) [i1,C-,i1,Cn,i1,C-] 18 771(2994): * 771 * * * 790 (755, *) ( *, *) (753, *) ( *, *) (751, *) ( *, *) [r1,rn,r1,Cn,r1,C+] 19 772(2994): * 772 * * * 789 (756, *) ( *, *) (754, *) ( *, *) (752, *) ( *, *) [r1,rn,r1,Cn,r1,C+] 19 773(2998): * 793 * * * 774 ( *, *) ( *, *) ( *, *) ( *, *) (759, *) (757, *) [Cn,C+,Cn,Cn,r1,r2] 19 774(2998): * 794 * * * 773 ( *, *) ( *, *) ( *, *) ( *, *) (760, *) (757, *) [Cn,C+,Cn,Cn,r1,r2] 19 775(2999): * 795 * * * 776 ( *, *) ( *, *) ( *, *) (763, *) (761, *) (758, *) [Cn,C+,Cn,r1,r1,r2] 19 776(2999): * 796 * * * 775 ( *, *) ( *, *) ( *, *) (764, *) (762, *) (758, *) [Cn,C+,Cn,r1,r1,r2] 19 777(3000): * 777 * * * 777 (767, *) ( *, *) ( *, *) (788, *) ( *, *) (791,792) [r1,rn,Cn,i2,Cn,i2] 19 778(3001): * 757 * * * 778 (768, *) ( *, *) (788, *) ( *, *) ( *, *) (793,794) [r1,C-,i2,Cn,Cn,i2] 19 779(3003): * 758 * * * 779 (788, *) ( *, *) (768, *) (767, *) ( *, *) (795,796) [i2,C-,r1,r1,Cn,i2] 19 780(3004): * 759 * * * 754 (770, *) ( *, *) (789, *) ( *, *) (793, *) ( *, *) [r1,C-,i2,Cn,i2,C-] 19 781(3004): * 760 * * * 753 (769, *) ( *, *) (790, *) ( *, *) (794, *) ( *, *) [r1,C-,i2,Cn,i2,C-] 19 782(3006): * 761 * * * 756 (789, *) ( *, *) (770, *) ( *, *) (795, *) ( *, *) [i2,C-,r1,Cn,i2,C-] 19 783(3006): * 762 * * * 755 (790, *) ( *, *) (769, *) ( *, *) (796, *) ( *, *) [i2,C-,r1,Cn,i2,C-] 19 784(3008): * 763 * * * 785 (791, *) ( *, *) ( *, *) (795, *) ( *, *) (767, *) [i2,C-,Cn,i2,Cn,r2] 19 785(3008): * 764 * * * 784 (792, *) ( *, *) ( *, *) (796, *) ( *, *) (767, *) [i2,C-,Cn,i2,Cn,r2] 19 786(3009): * 765 * * * 787 (793, *) ( *, *) (795, *) ( *, *) (770, *) (768, *) [i2,C-,i2,Cn,r1,r2] 19 787(3009): * 766 * * * 786 (794, *) ( *, *) (796, *) ( *, *) (769, *) (768, *) [i2,C-,i2,Cn,r1,r2] 19 788(3010): * 788 * * * 788 (779, *) ( *, *) (778, *) (777, *) ( *, *) (797,798) [r1,rn,r1,r1,Cn,i2] 20 789(3011): * 789 * * * 772 (782, *) ( *, *) (780, *) ( *, *) (797, *) ( *, *) [r1,rn,r1,Cn,i2,C-] 20 790(3011): * 790 * * * 771 (783, *) ( *, *) (781, *) ( *, *) (798, *) ( *, *) [r1,rn,r1,Cn,i2,C-] 20 791(3012): * 791 * * * 792 (784, *) ( *, *) ( *, *) (797, *) ( *, *) (777, *) [r1,rn,Cn,i2,Cn,r2] 20 792(3012): * 792 * * * 791 (785, *) ( *, *) ( *, *) (798, *) ( *, *) (777, *) [r1,rn,Cn,i2,Cn,r2] 20 793(3013): * 773 * * * 794 (786, *) ( *, *) (797, *) ( *, *) (780, *) (778, *) [r1,C-,i2,Cn,r1,r2] 20 794(3013): * 774 * * * 793 (787, *) ( *, *) (798, *) ( *, *) (781, *) (778, *) [r1,C-,i2,Cn,r1,r2] 20 795(3015): * 775 * * * 796 (797, *) ( *, *) (786, *) (784, *) (782, *) (779, *) [i2,C-,r1,r1,r1,r2] 20 796(3015): * 776 * * * 795 (798, *) ( *, *) (787, *) (785, *) (783, *) (779, *) [i2,C-,r1,r1,r1,r2] 20 797(3016): * 797 * * * 798 (795, *) ( *, *) (793, *) (791, *) (789, *) (788, *) [r1,rn,r1,r1,r1,r2] 21 798(3016): * 798 * * * 797 (796, *) ( *, *) (794, *) (792, *) (790, *) (788, *) [r1,rn,r1,r1,r1,r2] 21