0( 10): 0 * * * 0 1 ( *, *) ( 3, *) ( 5, *) ( 7, *) ( *, *) ( 8, *) [ic,i1,i1,i1,ic,i1] 0 1( 31): 1 * * * 1 0 ( *, *) ( 2, *) ( 4, *) ( 6, *) ( *, *) ( 8, *) [ic,i1,i1,i1,ic,i1] 0 2( 58): 14 * * * 2 3 ( *, *) ( 1, *) ( *, *) ( 10, *) ( *, *) ( 11, *) [C+,r1,Cn,i1,ic,i1] 1 3( 63): 15 * * * 3 2 ( *, *) ( 0, *) ( *, *) ( 9, *) ( *, *) ( 11, *) [C+,r1,Cn,i1,ic,i1] 1 4( 64): 4 * * * 4 5 ( *, *) ( *, *) ( 1, *) ( *, *) ( *, *) ( 12, *) [ic,Cn,r1,Cn,ic,i1] 1 5( 73): 5 * * * 5 4 ( *, *) ( *, *) ( 0, *) ( *, *) ( *, *) ( 12, *) [ic,Cn,r1,Cn,ic,i1] 1 6( 76): 6 * * * 17 7 ( *, *) ( 10, *) ( *, *) ( 1, *) ( *, *) ( 13, *) [ic,i1,Cn,r1,C+,i1] 1 7( 81): 7 * * * 16 6 ( *, *) ( 9, *) ( *, *) ( 0, *) ( *, *) ( 13, *) [ic,i1,Cn,r1,C+,i1] 1 8( 102): 8 * * * 18 8 ( *, *) ( 11, *) ( 12, *) ( 13, *) ( *, *) ( 1, 0) [ic,i1,i1,i1,C+,r1] 1 9( 119): 20 * * * 22 10 ( *, *) ( 7, *) ( *, *) ( 3, *) ( *, *) ( 19, *) [C+,r1,Cn,r1,C+,i1] 2 10( 121): 21 * * * 23 9 ( *, *) ( 6, *) ( *, *) ( 2, *) ( *, *) ( 19, *) [C+,r1,Cn,r1,C+,i1] 2 11( 139): 27 * * * 25 11 ( *, *) ( 8, *) ( *, *) ( 19, *) ( *, *) ( 3, 2) [C+,r1,Cn,i1,C+,r1] 2 12( 140): 12 * * * 26 12 ( *, *) ( *, *) ( 8, *) ( *, *) ( *, *) ( 5, 4) [ic,Cn,r1,Cn,C+,r1] 2 13( 144): 13 * * * 24 13 ( *, *) ( 19, *) ( *, *) ( 8, *) ( *, *) ( 7, 6) [ic,i1,Cn,r1,C+,r1] 2 14( 147): 2 * * * 14 15 ( *, *) ( *, *) ( *, *) ( 21, *) ( *, *) ( 27, *) [C-,Cn,Cn,i1,ic,i1] 2 15( 152): 3 * * * 15 14 ( *, *) ( *, *) ( *, *) ( 20, *) ( *, *) ( 27, *) [C-,Cn,Cn,i1,ic,i1] 2 16( 184): 16 * * * 7 30 ( *, *) ( 22, *) ( *, *) ( *, *) ( *, *) ( *, *) [ic,i1,Cn,Cn,C-,C+] 2 17( 192): 17 * * * 6 31 ( *, *) ( 23, *) ( *, *) ( *, *) ( *, *) ( *, *) [ic,i1,Cn,Cn,C-,C+] 2 18( 198): 18 * * * 8 18 ( *, *) ( 25, *) ( 26, *) ( *, *) ( *, *) ( *, *) [ic,i1,i1,Cn,C-,ic] 2 19( 220): 33 * * * 32 19 ( *, *) ( 13, *) ( *, *) ( 11, *) ( *, *) ( 10, 9) [C+,r1,Cn,r1,C+,r1] 3 20( 231): 9 * * * 40 21 ( *, *) ( *, *) ( *, *) ( 15, *) ( *, *) ( 33, *) [C-,Cn,Cn,r1,C+,i1] 3 21( 232): 10 * * * 41 20 ( *, *) ( *, *) ( *, *) ( 14, *) ( *, *) ( 33, *) [C-,Cn,Cn,r1,C+,i1] 3 22( 254): 40 * * * 9 47 ( *, *) ( 16, *) ( *, *) ( *, *) ( *, *) ( *, *) [C+,r1,Cn,Cn,C-,C+] 3 23( 255): 41 * * * 10 46 ( *, *) ( 17, *) ( *, *) ( *, *) ( *, *) ( *, *) [C+,r1,Cn,Cn,C-,C+] 3 24( 258): 24 * * * 13 48 ( *, *) ( 32, *) ( *, *) ( *, *) ( *, *) ( *, *) [ic,i1,Cn,Cn,C-,C+] 3 25( 264): 42 * * * 11 25 ( *, *) ( 18, *) ( *, *) ( *, *) ( *, *) ( *, *) [C+,r1,Cn,Cn,C-,ic] 3 26( 266): 26 * * * 12 26 ( *, *) ( *, *) ( 18, *) ( *, *) ( *, *) ( *, *) [ic,Cn,r1,Cn,C-,ic] 3 27( 270): 11 * * * 42 27 ( *, *) ( *, *) ( *, *) ( 33, *) ( *, *) ( 15, 14) [C-,Cn,Cn,i1,C+,r1] 3 28( 310): 50 * * * 53 29 ( *, *) ( *, *) ( 36, *) ( *, *) ( *, *) ( 43, *) [C+,Cn,i1,Cn,C+,i1] 3 29( 315): 51 * * * 52 28 ( *, *) ( *, *) ( 37, *) ( *, *) ( *, *) ( 43, *) [C+,Cn,i1,Cn,C+,i1] 3 30( 342): 30 * * * 55 16 ( *, *) ( 47, *) ( *, *) ( *, *) ( *, *) ( *, *) [ic,i1,Cn,Cn,C+,C-] 3 31( 346): 31 * * * 54 17 ( *, *) ( 46, *) ( *, *) ( *, *) ( *, *) ( *, *) [ic,i1,Cn,Cn,C+,C-] 3 32( 359): 58 * * * 19 63 ( *, *) ( 24, *) ( *, *) ( *, *) ( *, *) ( *, *) [C+,r1,Cn,Cn,C-,C+] 4 33( 363): 19 * * * 58 33 ( *, *) ( *, *) ( *, *) ( 27, *) ( *, *) ( 21, 20) [C-,Cn,Cn,r1,C+,r1] 4 34( 381): 64 * * * 72 35 ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) ( 59, *) [C+,Cn,Cn,Cn,C+,i1] 4 35( 382): 65 * * * 71 34 ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) ( 59, *) [C+,Cn,Cn,Cn,C+,i1] 4 36( 385): 66 * * * 74 37 ( *, *) ( *, *) ( 28, *) ( *, *) ( *, *) ( 60, *) [C+,Cn,r1,Cn,C+,i1] 4 37( 388): 67 * * * 73 36 ( *, *) ( *, *) ( 29, *) ( *, *) ( *, *) ( 60, *) [C+,Cn,r1,Cn,C+,i1] 4 38( 389): 69 * * * 75 83 ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) [C+,Cn,Cn,Cn,C+,C+] 4 39( 390): 70 * * * 76 84 ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) [C+,Cn,Cn,Cn,C+,C+] 4 40( 414): 22 * * * 20 85 ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) [C-,Cn,Cn,Cn,C-,C+] 4 41( 415): 23 * * * 21 86 ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) [C-,Cn,Cn,Cn,C-,C+] 4 42( 430): 25 * * * 27 42 ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) [C-,Cn,Cn,Cn,C-,ic] 4 43( 439): 82 * * * 77 43 ( *, *) ( *, *) ( 60, *) ( *, *) ( *, *) ( 29, 28) [C+,Cn,i1,Cn,C+,r1] 4 44( 444): 44 * * * 80 44 ( *, *) ( 61, *) ( *, *) ( *, *) ( *, *) ( *, *) [ic,i1,Cn,Cn,C+,rn] 4 45( 444): 45 * * * 81 45 ( *, *) ( 62, *) ( *, *) ( *, *) ( *, *) ( *, *) [ic,i1,Cn,Cn,C+,rn] 4 46( 455): 86 * * * 78 23 ( *, *) ( 31, *) ( *, *) ( *, *) ( *, *) ( *, *) [C+,r1,Cn,Cn,C+,C-] 4 47( 457): 85 * * * 79 22 ( *, *) ( 30, *) ( *, *) ( *, *) ( *, *) ( *, *) [C+,r1,Cn,Cn,C+,C-] 4 48( 467): 48 * * * 87 24 ( *, *) ( 63, *) ( *, *) ( *, *) ( *, *) ( *, *) [ic,i1,Cn,Cn,C+,C-] 4 49( 477): 49 * * * 49 49 ( *, *) ( *, *) ( *, *) ( 68, *) ( *, *) ( *, *) [ic,Cn,Cn,i1,ic,ic] 4 50( 486): 28 * * * 88 51 ( *, *) ( 65, *) ( 66, *) ( *, *) ( *, *) ( 82, *) [C-,i1,i1,Cn,C+,i1] 4 51( 488): 29 * * * 89 50 ( *, *) ( 64, *) ( 67, *) ( *, *) ( *, *) ( 82, *) [C-,i1,i1,Cn,C+,i1] 4 52( 501): 89 * * * 29 90 ( *, *) ( *, *) ( 73, *) ( 75, *) ( *, *) ( *, *) [C+,Cn,i1,i1,C-,C+] 4 53( 502): 88 * * * 28 91 ( *, *) ( *, *) ( 74, *) ( 76, *) ( *, *) ( *, *) [C+,Cn,i1,i1,C-,C+] 4 54( 506): 54 * * * 31 55 ( *, *) ( 78, *) ( *, *) ( 80, *) ( *, *) ( 87, *) [ic,i1,Cn,i1,C-,i1] 4 55( 513): 55 * * * 30 54 ( *, *) ( 79, *) ( *, *) ( 81, *) ( *, *) ( 87, *) [ic,i1,Cn,i1,C-,i1] 4 56( 528): 93 * * * 95 103 ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) [C+,Cn,Cn,Cn,C+,C+] 5 57( 529): 92 * * * 94 102 ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) [C+,Cn,Cn,Cn,C+,C+] 5 58( 539): 32 * * * 33 108 ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) [C-,Cn,Cn,Cn,C-,C+] 5 59( 543): 100 * * * 96 59 ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) ( 35, 34) [C+,Cn,Cn,Cn,C+,r1] 5 60( 544): 101 * * * 97 60 ( *, *) ( *, *) ( 43, *) ( *, *) ( *, *) ( 37, 36) [C+,Cn,r1,Cn,C+,r1] 5 61( 551): 106 * * * 98 61 ( *, *) ( 44, *) ( *, *) ( *, *) ( *, *) ( *, *) [C+,r1,Cn,Cn,C+,rn] 5 62( 551): 107 * * * 99 62 ( *, *) ( 45, *) ( *, *) ( *, *) ( *, *) ( *, *) [C+,r1,Cn,Cn,C+,rn] 5 63( 556): 108 * * * 109 32 ( *, *) ( 48, *) ( *, *) ( *, *) ( *, *) ( *, *) [C+,r1,Cn,Cn,C+,C-] 5 64( 571): 34 * * * 113 65 ( *, *) ( 51, *) ( *, *) ( *, *) ( *, *) (100, *) [C-,r1,Cn,Cn,C+,i1] 5 65( 573): 35 * * * 112 64 ( *, *) ( 50, *) ( *, *) ( *, *) ( *, *) (100, *) [C-,r1,Cn,Cn,C+,i1] 5 66( 576): 36 * * * 115 67 ( *, *) ( *, *) ( 50, *) ( *, *) ( *, *) (101, *) [C-,Cn,r1,Cn,C+,i1] 5 67( 578): 37 * * * 114 66 ( *, *) ( *, *) ( 51, *) ( *, *) ( *, *) (101, *) [C-,Cn,r1,Cn,C+,i1] 5 68( 580): 68 * * * 118 68 ( *, *) ( *, *) ( *, *) ( 49, *) ( *, *) ( *, *) [ic,Cn,Cn,r1,C+,ic] 5 69( 582): 38 * * * 116 127 ( *, *) ( 92, *) ( *, *) ( *, *) ( *, *) ( *, *) [C-,i1,Cn,Cn,C+,C+] 5 70( 583): 39 * * * 117 126 ( *, *) ( 93, *) ( *, *) ( *, *) ( *, *) ( *, *) [C-,i1,Cn,Cn,C+,C+] 5 71( 603): 112 * * * 35 128 ( *, *) ( *, *) ( *, *) ( 95, *) ( *, *) ( *, *) [C+,Cn,Cn,i1,C-,C+] 5 72( 605): 113 * * * 34 129 ( *, *) ( *, *) ( *, *) ( 94, *) ( *, *) ( *, *) [C+,Cn,Cn,i1,C-,C+] 5 73( 608): 114 * * * 37 131 ( *, *) ( *, *) ( 52, *) ( *, *) ( *, *) ( *, *) [C+,Cn,r1,Cn,C-,C+] 5 74( 610): 115 * * * 36 130 ( *, *) ( *, *) ( 53, *) ( *, *) ( *, *) ( *, *) [C+,Cn,r1,Cn,C-,C+] 5 75( 612): 116 * * * 38 133 ( *, *) ( *, *) ( *, *) ( 52, *) ( *, *) ( *, *) [C+,Cn,Cn,r1,C-,C+] 5 76( 614): 117 * * * 39 132 ( *, *) ( *, *) ( *, *) ( 53, *) ( *, *) ( *, *) [C+,Cn,Cn,r1,C-,C+] 5 77( 619): 119 * * * 43 134 ( *, *) ( *, *) ( 97, *) ( *, *) ( *, *) ( *, *) [C+,Cn,i1,Cn,C-,C+] 5 78( 632): 123 * * * 46 79 ( *, *) ( 54, *) ( *, *) ( 98, *) ( *, *) (109, *) [C+,r1,Cn,i1,C-,i1] 5 79( 635): 122 * * * 47 78 ( *, *) ( 55, *) ( *, *) ( 99, *) ( *, *) (109, *) [C+,r1,Cn,i1,C-,i1] 5 80( 639): 80 * * * 44 81 ( *, *) ( 98, *) ( *, *) ( 54, *) ( *, *) (110, *) [ic,i1,Cn,r1,C-,i2] 5 81( 639): 81 * * * 45 80 ( *, *) ( 99, *) ( *, *) ( 55, *) ( *, *) (110, *) [ic,i1,Cn,r1,C-,i2] 5 82( 649): 43 * * * 119 82 ( *, *) (100, *) (101, *) ( *, *) ( *, *) ( 51, 50) [C-,i1,i1,Cn,C+,r1] 5 83( 652): 127 * * * 121 38 ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) [C+,Cn,Cn,Cn,C+,C-] 5 84( 653): 126 * * * 120 39 ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) [C+,Cn,Cn,Cn,C+,C-] 5 85( 668): 47 * * * 122 40 ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) [C-,Cn,Cn,Cn,C+,C-] 5 86( 669): 46 * * * 123 41 ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) [C-,Cn,Cn,Cn,C+,C-] 5 87( 681): 87 * * * 48 87 ( *, *) (109, *) ( *, *) (110, *) ( *, *) ( 55, 54) [ic,i1,Cn,i2,C-,r1] 5 88( 694): 53 * * * 50 139 ( *, *) (112, *) (115, *) (117, *) ( *, *) ( *, *) [C-,i1,i1,i1,C-,C+] 5 89( 696): 52 * * * 51 140 ( *, *) (113, *) (114, *) (116, *) ( *, *) ( *, *) [C-,i1,i1,i1,C-,C+] 5 90( 721): 140 * * * 138 52 ( *, *) ( *, *) (131, *) (133, *) ( *, *) ( *, *) [C+,Cn,i1,i1,C+,C-] 5 91( 724): 139 * * * 137 53 ( *, *) ( *, *) (130, *) (132, *) ( *, *) ( *, *) [C+,Cn,i1,i1,C+,C-] 5 92( 735): 57 * * * 146 162 ( *, *) ( 69, *) ( *, *) ( *, *) ( *, *) ( *, *) [C-,r1,Cn,Cn,C+,C+] 6 93( 736): 56 * * * 145 161 ( *, *) ( 70, *) ( *, *) ( *, *) ( *, *) ( *, *) [C-,r1,Cn,Cn,C+,C+] 6 94( 741): 146 * * * 57 165 ( *, *) ( *, *) ( *, *) ( 72, *) ( *, *) ( *, *) [C+,Cn,Cn,r1,C-,C+] 6 95( 742): 145 * * * 56 166 ( *, *) ( *, *) ( *, *) ( 71, *) ( *, *) ( *, *) [C+,Cn,Cn,r1,C-,C+] 6 96( 746): 147 * * * 59 167 ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) [C+,Cn,Cn,Cn,C-,C+] 6 97( 747): 148 * * * 60 168 ( *, *) ( *, *) ( 77, *) ( *, *) ( *, *) ( *, *) [C+,Cn,r1,Cn,C-,C+] 6 98( 755): 153 * * * 61 99 ( *, *) ( 80, *) ( *, *) ( 78, *) ( *, *) (143, *) [C+,r1,Cn,r1,C-,i2] 6 99( 755): 154 * * * 62 98 ( *, *) ( 81, *) ( *, *) ( 79, *) ( *, *) (143, *) [C+,r1,Cn,r1,C-,i2] 6 100( 762): 59 * * * 147 100 ( *, *) ( 82, *) ( *, *) ( *, *) ( *, *) ( 65, 64) [C-,r1,Cn,Cn,C+,r1] 6 101( 763): 60 * * * 148 101 ( *, *) ( *, *) ( 82, *) ( *, *) ( *, *) ( 67, 66) [C-,Cn,r1,Cn,C+,r1] 6 102( 766): 162 * * * 149 57 ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) [C+,Cn,Cn,Cn,C+,C-] 6 103( 767): 161 * * * 150 56 ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) [C+,Cn,Cn,Cn,C+,C-] 6 104( 768): 163 * * * 151 104 ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) [C+,Cn,Cn,Cn,C+,rn] 6 105( 768): 164 * * * 152 105 ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) [C+,Cn,Cn,Cn,C+,rn] 6 106( 770): 61 * * * 153 106 ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) [C-,Cn,Cn,Cn,C+,rn] 6 107( 770): 62 * * * 154 107 ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) [C-,Cn,Cn,Cn,C+,rn] 6 108( 778): 63 * * * 169 58 ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) [C-,Cn,Cn,Cn,C+,C-] 6 109( 784): 169 * * * 63 109 ( *, *) ( 87, *) ( *, *) (143, *) ( *, *) ( 79, 78) [C+,r1,Cn,i2,C-,r1] 6 110( 787): 110 * * * 110 110 ( *, *) (143, *) ( *, *) ( 87, *) ( *, *) ( 80, 81) [ic,i1,Cn,r1,rn,r2] 6 111( 805): 170 * * * 177 111 ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) [C+,Cn,Cn,Cn,C+,ic] 6 112( 823): 71 * * * 65 191 ( *, *) ( 88, *) ( *, *) (145, *) ( *, *) ( *, *) [C-,r1,Cn,i1,C-,C+] 6 113( 824): 72 * * * 64 192 ( *, *) ( 89, *) ( *, *) (146, *) ( *, *) ( *, *) [C-,r1,Cn,i1,C-,C+] 6 114( 826): 73 * * * 67 194 ( *, *) ( *, *) ( 89, *) ( *, *) ( *, *) ( *, *) [C-,Cn,r1,Cn,C-,C+] 6 115( 828): 74 * * * 66 193 ( *, *) ( *, *) ( 88, *) ( *, *) ( *, *) ( *, *) [C-,Cn,r1,Cn,C-,C+] 6 116( 829): 75 * * * 69 196 ( *, *) (146, *) ( *, *) ( 89, *) ( *, *) ( *, *) [C-,i1,Cn,r1,C-,C+] 6 117( 832): 76 * * * 70 195 ( *, *) (145, *) ( *, *) ( 88, *) ( *, *) ( *, *) [C-,i1,Cn,r1,C-,C+] 6 118( 838): 118 * * * 68 197 ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) [ic,Cn,Cn,Cn,C-,C+] 6 119( 843): 77 * * * 82 198 ( *, *) (147, *) (148, *) ( *, *) ( *, *) ( *, *) [C-,i1,i1,Cn,C-,C+] 6 120( 846): 179 * * * 84 200 ( *, *) ( *, *) ( *, *) (151, *) ( *, *) ( *, *) [C+,Cn,Cn,i1,C-,C+] 6 121( 849): 178 * * * 83 199 ( *, *) ( *, *) ( *, *) (152, *) ( *, *) ( *, *) [C+,Cn,Cn,i1,C-,C+] 6 122( 869): 79 * * * 85 123 ( *, *) ( *, *) ( *, *) (154, *) ( *, *) (169, *) [C-,Cn,Cn,i1,C-,i1] 6 123( 871): 78 * * * 86 122 ( *, *) ( *, *) ( *, *) (153, *) ( *, *) (169, *) [C-,Cn,Cn,i1,C-,i1] 6 124( 873): 188 * * * 180 124 ( *, *) ( *, *) (157, *) (159, *) ( *, *) ( *, *) [C+,Cn,i1,i1,C+,rn] 6 125( 873): 189 * * * 181 125 ( *, *) ( *, *) (158, *) (160, *) ( *, *) ( *, *) [C+,Cn,i1,i1,C+,rn] 6 126( 884): 84 * * * 179 70 ( *, *) (161, *) ( *, *) ( *, *) ( *, *) ( *, *) [C-,i1,Cn,Cn,C+,C-] 6 127( 885): 83 * * * 178 69 ( *, *) (162, *) ( *, *) ( *, *) ( *, *) ( *, *) [C-,i1,Cn,Cn,C+,C-] 6 128( 892): 191 * * * 182 71 ( *, *) ( *, *) ( *, *) (166, *) ( *, *) ( *, *) [C+,Cn,Cn,i1,C+,C-] 6 129( 893): 192 * * * 183 72 ( *, *) ( *, *) ( *, *) (165, *) ( *, *) ( *, *) [C+,Cn,Cn,i1,C+,C-] 6 130( 894): 193 * * * 185 74 ( *, *) ( *, *) ( 91, *) ( *, *) ( *, *) ( *, *) [C+,Cn,r1,Cn,C+,C-] 6 131( 897): 194 * * * 184 73 ( *, *) ( *, *) ( 90, *) ( *, *) ( *, *) ( *, *) [C+,Cn,r1,Cn,C+,C-] 6 132( 898): 195 * * * 187 76 ( *, *) ( *, *) ( *, *) ( 91, *) ( *, *) ( *, *) [C+,Cn,Cn,r1,C+,C-] 6 133( 901): 196 * * * 186 75 ( *, *) ( *, *) ( *, *) ( 90, *) ( *, *) ( *, *) [C+,Cn,Cn,r1,C+,C-] 6 134( 909): 198 * * * 201 77 ( *, *) ( *, *) (168, *) ( *, *) ( *, *) ( *, *) [C+,Cn,i1,Cn,C+,C-] 6 135( 932): 135 * * * 135 136 ( *, *) ( *, *) (176, *) ( *, *) ( *, *) (190, *) [ic,Cn,i1,Cn,ic,i1] 6 136( 937): 136 * * * 136 135 ( *, *) ( *, *) (175, *) ( *, *) ( *, *) (190, *) [ic,Cn,i1,Cn,ic,i1] 6 137( 945): 203 * * * 91 138 ( *, *) ( *, *) (185, *) ( *, *) ( *, *) (201, *) [C+,Cn,i1,Cn,C-,i1] 6 138( 948): 202 * * * 90 137 ( *, *) ( *, *) (184, *) ( *, *) ( *, *) (201, *) [C+,Cn,i1,Cn,C-,i1] 6 139( 953): 91 * * * 203 88 ( *, *) (191, *) (193, *) (195, *) ( *, *) ( *, *) [C-,i1,i1,i1,C+,C-] 6 140( 962): 90 * * * 202 89 ( *, *) (192, *) (194, *) (196, *) ( *, *) ( *, *) [C-,i1,i1,i1,C+,C-] 6 141( 966): 208 * * * 204 141 ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) [C+,Cn,Cn,Cn,C+,rn] 7 142( 966): 209 * * * 205 142 ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) [C+,Cn,Cn,Cn,C+,rn] 7 143( 969): 210 * * * 143 143 ( *, *) (110, *) ( *, *) (109, *) ( *, *) ( 98, 99) [C+,r1,Cn,r1,rn,r2] 7 144( 974): 213 * * * 216 235 ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) [C+,Cn,Cn,Cn,C+,C+] 7 145( 982): 95 * * * 93 238 ( *, *) (117, *) ( *, *) (112, *) ( *, *) ( *, *) [C-,r1,Cn,r1,C-,C+] 7 146( 983): 94 * * * 92 239 ( *, *) (116, *) ( *, *) (113, *) ( *, *) ( *, *) [C-,r1,Cn,r1,C-,C+] 7 147( 988): 96 * * * 100 240 ( *, *) (119, *) ( *, *) ( *, *) ( *, *) ( *, *) [C-,r1,Cn,Cn,C-,C+] 7 148( 989): 97 * * * 101 241 ( *, *) ( *, *) (119, *) ( *, *) ( *, *) ( *, *) [C-,Cn,r1,Cn,C-,C+] 7 149( 992): 219 * * * 102 243 ( *, *) ( *, *) ( *, *) (205, *) ( *, *) ( *, *) [C+,Cn,Cn,i1,C-,C+] 7 150( 993): 220 * * * 103 242 ( *, *) ( *, *) ( *, *) (204, *) ( *, *) ( *, *) [C+,Cn,Cn,i1,C-,C+] 7 151( 995): 221 * * * 104 244 ( *, *) ( *, *) ( *, *) (120, *) ( *, *) ( *, *) [C+,Cn,Cn,r1,C-,C+] 7 152( 995): 222 * * * 105 245 ( *, *) ( *, *) ( *, *) (121, *) ( *, *) ( *, *) [C+,Cn,Cn,r1,C-,C+] 7 153(1003): 98 * * * 106 154 ( *, *) ( *, *) ( *, *) (123, *) ( *, *) (210, *) [C-,Cn,Cn,r1,C-,i2] 7 154(1003): 99 * * * 107 153 ( *, *) ( *, *) ( *, *) (122, *) ( *, *) (210, *) [C-,Cn,Cn,r1,C-,i2] 7 155(1004): 229 * * * 223 155 ( *, *) ( *, *) ( *, *) (206, *) ( *, *) ( *, *) [C+,Cn,Cn,i1,C+,rn] 7 156(1004): 230 * * * 224 156 ( *, *) ( *, *) ( *, *) (207, *) ( *, *) ( *, *) [C+,Cn,Cn,i1,C+,rn] 7 157(1006): 231 * * * 225 157 ( *, *) ( *, *) (124, *) ( *, *) ( *, *) ( *, *) [C+,Cn,r1,Cn,C+,rn] 7 158(1006): 232 * * * 226 158 ( *, *) ( *, *) (125, *) ( *, *) ( *, *) ( *, *) [C+,Cn,r1,Cn,C+,rn] 7 159(1012): 233 * * * 217 159 ( *, *) ( *, *) ( *, *) (124, *) ( *, *) ( *, *) [C+,Cn,Cn,r1,C+,rn] 7 160(1012): 234 * * * 218 160 ( *, *) ( *, *) ( *, *) (125, *) ( *, *) ( *, *) [C+,Cn,Cn,r1,C+,rn] 7 161(1017): 103 * * * 220 93 ( *, *) (126, *) ( *, *) ( *, *) ( *, *) ( *, *) [C-,r1,Cn,Cn,C+,C-] 7 162(1018): 102 * * * 219 92 ( *, *) (127, *) ( *, *) ( *, *) ( *, *) ( *, *) [C-,r1,Cn,Cn,C+,C-] 7 163(1020): 104 * * * 221 163 ( *, *) (208, *) ( *, *) ( *, *) ( *, *) ( *, *) [C-,i1,Cn,Cn,C+,rn] 7 164(1020): 105 * * * 222 164 ( *, *) (209, *) ( *, *) ( *, *) ( *, *) ( *, *) [C-,i1,Cn,Cn,C+,rn] 7 165(1022): 239 * * * 228 94 ( *, *) ( *, *) ( *, *) (129, *) ( *, *) ( *, *) [C+,Cn,Cn,r1,C+,C-] 7 166(1023): 238 * * * 227 95 ( *, *) ( *, *) ( *, *) (128, *) ( *, *) ( *, *) [C+,Cn,Cn,r1,C+,C-] 7 167(1028): 240 * * * 247 96 ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) [C+,Cn,Cn,Cn,C+,C-] 7 168(1029): 241 * * * 248 97 ( *, *) ( *, *) (134, *) ( *, *) ( *, *) ( *, *) [C+,Cn,r1,Cn,C+,C-] 7 169(1040): 109 * * * 108 169 ( *, *) ( *, *) ( *, *) (210, *) ( *, *) (123,122) [C-,Cn,Cn,i2,C-,r1] 7 170(1057): 111 * * * 251 170 ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) [C-,Cn,Cn,Cn,C+,ic] 7 171(1061): 252 * * * 252 266 ( *, *) ( *, *) (212, *) ( *, *) ( *, *) ( *, *) [C+,Cn,i1,Cn,C+,C+] 7 172(1062): 253 * * * 253 267 ( *, *) ( *, *) (211, *) ( *, *) ( *, *) ( *, *) [C+,Cn,i1,Cn,C+,C+] 7 173(1063): 249 * * * 255 174 ( *, *) ( *, *) (215, *) ( *, *) ( *, *) (236, *) [C+,Cn,i1,Cn,C+,i1] 7 174(1065): 250 * * * 254 173 ( *, *) ( *, *) (214, *) ( *, *) ( *, *) (236, *) [C+,Cn,i1,Cn,C+,i1] 7 175(1073): 175 * * * 175 176 ( *, *) ( *, *) (136, *) ( *, *) ( *, *) (237, *) [ic,Cn,r1,Cn,ic,i2] 7 176(1073): 176 * * * 176 175 ( *, *) ( *, *) (135, *) ( *, *) ( *, *) (237, *) [ic,Cn,r1,Cn,ic,i2] 7 177(1086): 251 * * * 111 268 ( *, *) ( *, *) ( *, *) (216, *) ( *, *) ( *, *) [C+,Cn,Cn,i1,C-,C+] 7 178(1105): 121 * * * 127 270 ( *, *) (219, *) ( *, *) (222, *) ( *, *) ( *, *) [C-,i1,Cn,i1,C-,C+] 7 179(1106): 120 * * * 126 269 ( *, *) (220, *) ( *, *) (221, *) ( *, *) ( *, *) [C-,i1,Cn,i1,C-,C+] 7 180(1110): 256 * * * 124 181 ( *, *) ( *, *) (225, *) ( *, *) ( *, *) (246, *) [C+,Cn,i1,Cn,C-,i2] 7 181(1110): 257 * * * 125 180 ( *, *) ( *, *) (226, *) ( *, *) ( *, *) (246, *) [C+,Cn,i1,Cn,C-,i2] 7 182(1121): 258 * * * 128 183 ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) (247, *) [C+,Cn,Cn,Cn,C-,i1] 7 183(1122): 259 * * * 129 182 ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) (247, *) [C+,Cn,Cn,Cn,C-,i1] 7 184(1123): 261 * * * 131 185 ( *, *) ( *, *) (138, *) ( *, *) ( *, *) (248, *) [C+,Cn,r1,Cn,C-,i1] 7 185(1126): 260 * * * 130 184 ( *, *) ( *, *) (137, *) ( *, *) ( *, *) (248, *) [C+,Cn,r1,Cn,C-,i1] 7 186(1128): 262 * * * 133 272 ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) [C+,Cn,Cn,Cn,C-,C+] 7 187(1129): 263 * * * 132 273 ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) [C+,Cn,Cn,Cn,C-,C+] 7 188(1134): 124 * * * 256 188 ( *, *) (229, *) (231, *) (233, *) ( *, *) ( *, *) [C-,i1,i1,i1,C+,rn] 7 189(1134): 125 * * * 257 189 ( *, *) (230, *) (232, *) (234, *) ( *, *) ( *, *) [C-,i1,i1,i1,C+,rn] 7 190(1144): 190 * * * 265 190 ( *, *) ( *, *) (237, *) ( *, *) ( *, *) (136,135) [ic,Cn,i2,Cn,C+,r1] 7 191(1153): 128 * * * 258 112 ( *, *) (139, *) ( *, *) (238, *) ( *, *) ( *, *) [C-,r1,Cn,i1,C+,C-] 7 192(1154): 129 * * * 259 113 ( *, *) (140, *) ( *, *) (239, *) ( *, *) ( *, *) [C-,r1,Cn,i1,C+,C-] 7 193(1155): 130 * * * 260 115 ( *, *) ( *, *) (139, *) ( *, *) ( *, *) ( *, *) [C-,Cn,r1,Cn,C+,C-] 7 194(1158): 131 * * * 261 114 ( *, *) ( *, *) (140, *) ( *, *) ( *, *) ( *, *) [C-,Cn,r1,Cn,C+,C-] 7 195(1160): 132 * * * 263 117 ( *, *) (238, *) ( *, *) (139, *) ( *, *) ( *, *) [C-,i1,Cn,r1,C+,C-] 7 196(1162): 133 * * * 262 116 ( *, *) (239, *) ( *, *) (140, *) ( *, *) ( *, *) [C-,i1,Cn,r1,C+,C-] 7 197(1168): 197 * * * 264 118 ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) [ic,Cn,Cn,Cn,C+,C-] 7 198(1176): 134 * * * 271 119 ( *, *) (240, *) (241, *) ( *, *) ( *, *) ( *, *) [C-,i1,i1,Cn,C+,C-] 7 199(1180): 270 * * * 272 121 ( *, *) ( *, *) ( *, *) (245, *) ( *, *) ( *, *) [C+,Cn,Cn,i1,C+,C-] 7 200(1182): 269 * * * 273 120 ( *, *) ( *, *) ( *, *) (244, *) ( *, *) ( *, *) [C+,Cn,Cn,i1,C+,C-] 7 201(1184): 271 * * * 134 201 ( *, *) ( *, *) (248, *) ( *, *) ( *, *) (138,137) [C+,Cn,i1,Cn,C-,r1] 7 202(1211): 138 * * * 140 203 ( *, *) (259, *) (261, *) ( *, *) ( *, *) (271, *) [C-,i1,i1,Cn,C-,i1] 7 203(1213): 137 * * * 139 202 ( *, *) (258, *) (260, *) ( *, *) ( *, *) (271, *) [C-,i1,i1,Cn,C-,i1] 7 204(1215): 278 * * * 141 283 ( *, *) ( *, *) ( *, *) (150, *) ( *, *) ( *, *) [C+,Cn,Cn,r1,C-,C+] 8 205(1215): 279 * * * 142 284 ( *, *) ( *, *) ( *, *) (149, *) ( *, *) ( *, *) [C+,Cn,Cn,r1,C-,C+] 8 206(1217): 280 * * * 276 206 ( *, *) ( *, *) ( *, *) (155, *) ( *, *) ( *, *) [C+,Cn,Cn,r1,C+,rn] 8 207(1217): 281 * * * 277 207 ( *, *) ( *, *) ( *, *) (156, *) ( *, *) ( *, *) [C+,Cn,Cn,r1,C+,rn] 8 208(1218): 141 * * * 278 208 ( *, *) (163, *) ( *, *) ( *, *) ( *, *) ( *, *) [C-,r1,Cn,Cn,C+,rn] 8 209(1218): 142 * * * 279 209 ( *, *) (164, *) ( *, *) ( *, *) ( *, *) ( *, *) [C-,r1,Cn,Cn,C+,rn] 8 210(1222): 143 * * * 210 210 ( *, *) ( *, *) ( *, *) (169, *) ( *, *) (153,154) [C-,Cn,Cn,r1,rn,r2] 8 211(1227): 293 * * * 293 311 ( *, *) ( *, *) (172, *) ( *, *) ( *, *) ( *, *) [C+,Cn,r1,Cn,C+,C+] 8 212(1228): 292 * * * 292 310 ( *, *) ( *, *) (171, *) ( *, *) ( *, *) ( *, *) [C+,Cn,r1,Cn,C+,C+] 8 213(1229): 144 * * * 294 312 ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) [C-,Cn,Cn,Cn,C+,C+] 8 214(1232): 290 * * * 295 215 ( *, *) ( *, *) (174, *) ( *, *) ( *, *) (282, *) [C+,Cn,r1,Cn,C+,i2] 8 215(1232): 291 * * * 296 214 ( *, *) ( *, *) (173, *) ( *, *) ( *, *) (282, *) [C+,Cn,r1,Cn,C+,i2] 8 216(1242): 294 * * * 144 314 ( *, *) ( *, *) ( *, *) (177, *) ( *, *) ( *, *) [C+,Cn,Cn,r1,C-,C+] 8 217(1255): 297 * * * 159 315 ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) [C+,Cn,Cn,Cn,C-,C+] 8 218(1255): 298 * * * 160 316 ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) [C+,Cn,Cn,Cn,C-,C+] 8 219(1256): 149 * * * 162 317 ( *, *) (178, *) ( *, *) (279, *) ( *, *) ( *, *) [C-,r1,Cn,i1,C-,C+] 8 220(1257): 150 * * * 161 318 ( *, *) (179, *) ( *, *) (278, *) ( *, *) ( *, *) [C-,r1,Cn,i1,C-,C+] 8 221(1259): 151 * * * 163 319 ( *, *) (278, *) ( *, *) (179, *) ( *, *) ( *, *) [C-,i1,Cn,r1,C-,C+] 8 222(1259): 152 * * * 164 320 ( *, *) (279, *) ( *, *) (178, *) ( *, *) ( *, *) [C-,i1,Cn,r1,C-,C+] 8 223(1262): 301 * * * 155 224 ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) (285, *) [C+,Cn,Cn,Cn,C-,i2] 8 224(1262): 302 * * * 156 223 ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) (285, *) [C+,Cn,Cn,Cn,C-,i2] 8 225(1263): 303 * * * 157 226 ( *, *) ( *, *) (180, *) ( *, *) ( *, *) (286, *) [C+,Cn,r1,Cn,C-,i2] 8 226(1263): 304 * * * 158 225 ( *, *) ( *, *) (181, *) ( *, *) ( *, *) (286, *) [C+,Cn,r1,Cn,C-,i2] 8 227(1267): 306 * * * 166 324 ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) [C+,Cn,Cn,Cn,C-,C+] 8 228(1268): 305 * * * 165 325 ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) [C+,Cn,Cn,Cn,C-,C+] 8 229(1271): 155 * * * 301 229 ( *, *) (188, *) ( *, *) (280, *) ( *, *) ( *, *) [C-,r1,Cn,i1,C+,rn] 8 230(1271): 156 * * * 302 230 ( *, *) (189, *) ( *, *) (281, *) ( *, *) ( *, *) [C-,r1,Cn,i1,C+,rn] 8 231(1272): 157 * * * 303 231 ( *, *) ( *, *) (188, *) ( *, *) ( *, *) ( *, *) [C-,Cn,r1,Cn,C+,rn] 8 232(1272): 158 * * * 304 232 ( *, *) ( *, *) (189, *) ( *, *) ( *, *) ( *, *) [C-,Cn,r1,Cn,C+,rn] 8 233(1277): 159 * * * 297 233 ( *, *) (280, *) ( *, *) (188, *) ( *, *) ( *, *) [C-,i1,Cn,r1,C+,rn] 8 234(1277): 160 * * * 298 234 ( *, *) (281, *) ( *, *) (189, *) ( *, *) ( *, *) [C-,i1,Cn,r1,C+,rn] 8 235(1285): 312 * * * 299 144 ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) [C+,Cn,Cn,Cn,C+,C-] 8 236(1286): 313 * * * 300 236 ( *, *) ( *, *) (282, *) ( *, *) ( *, *) (174,173) [C+,Cn,i2,Cn,C+,r1] 8 237(1288): 237 * * * 307 237 ( *, *) ( *, *) (190, *) ( *, *) ( *, *) (175,176) [ic,Cn,r1,Cn,C+,r2] 8 238(1293): 166 * * * 306 145 ( *, *) (195, *) ( *, *) (191, *) ( *, *) ( *, *) [C-,r1,Cn,r1,C+,C-] 8 239(1294): 165 * * * 305 146 ( *, *) (196, *) ( *, *) (192, *) ( *, *) ( *, *) [C-,r1,Cn,r1,C+,C-] 8 240(1302): 167 * * * 322 147 ( *, *) (198, *) ( *, *) ( *, *) ( *, *) ( *, *) [C-,r1,Cn,Cn,C+,C-] 8 241(1303): 168 * * * 323 148 ( *, *) ( *, *) (198, *) ( *, *) ( *, *) ( *, *) [C-,Cn,r1,Cn,C+,C-] 8 242(1304): 318 * * * 324 150 ( *, *) ( *, *) ( *, *) (283, *) ( *, *) ( *, *) [C+,Cn,Cn,i1,C+,C-] 8 243(1305): 317 * * * 325 149 ( *, *) ( *, *) ( *, *) (284, *) ( *, *) ( *, *) [C+,Cn,Cn,i1,C+,C-] 8 244(1308): 319 * * * 326 151 ( *, *) ( *, *) ( *, *) (200, *) ( *, *) ( *, *) [C+,Cn,Cn,r1,C+,C-] 8 245(1308): 320 * * * 327 152 ( *, *) ( *, *) ( *, *) (199, *) ( *, *) ( *, *) [C+,Cn,Cn,r1,C+,C-] 8 246(1311): 321 * * * 246 246 ( *, *) ( *, *) (286, *) ( *, *) ( *, *) (180,181) [C+,Cn,i1,Cn,rn,r2] 8 247(1314): 322 * * * 167 247 ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) (183,182) [C+,Cn,Cn,Cn,C-,r1] 8 248(1315): 323 * * * 168 248 ( *, *) ( *, *) (201, *) ( *, *) ( *, *) (185,184) [C+,Cn,r1,Cn,C-,r1] 8 249(1329): 173 * * * 333 250 ( *, *) ( *, *) (291, *) ( *, *) ( *, *) (313, *) [C-,Cn,i1,Cn,C+,i1] 8 250(1332): 174 * * * 332 249 ( *, *) ( *, *) (290, *) ( *, *) ( *, *) (313, *) [C-,Cn,i1,Cn,C+,i1] 8 251(1352): 177 * * * 170 338 ( *, *) ( *, *) ( *, *) (294, *) ( *, *) ( *, *) [C-,Cn,Cn,i1,C-,C+] 8 252(1356): 171 * * * 171 340 ( *, *) ( *, *) (292, *) ( *, *) ( *, *) ( *, *) [C-,Cn,i1,Cn,C-,C+] 8 253(1357): 172 * * * 172 339 ( *, *) ( *, *) (293, *) ( *, *) ( *, *) ( *, *) [C-,Cn,i1,Cn,C-,C+] 8 254(1361): 332 * * * 174 341 ( *, *) ( *, *) (295, *) ( *, *) ( *, *) ( *, *) [C+,Cn,i1,Cn,C-,C+] 8 255(1362): 333 * * * 173 342 ( *, *) ( *, *) (296, *) ( *, *) ( *, *) ( *, *) [C+,Cn,i1,Cn,C-,C+] 8 256(1372): 180 * * * 188 257 ( *, *) (301, *) (303, *) ( *, *) ( *, *) (321, *) [C-,i1,i1,Cn,C-,i2] 8 257(1372): 181 * * * 189 256 ( *, *) (302, *) (304, *) ( *, *) ( *, *) (321, *) [C-,i1,i1,Cn,C-,i2] 8 258(1384): 182 * * * 191 259 ( *, *) (203, *) ( *, *) ( *, *) ( *, *) (322, *) [C-,r1,Cn,Cn,C-,i1] 8 259(1385): 183 * * * 192 258 ( *, *) (202, *) ( *, *) ( *, *) ( *, *) (322, *) [C-,r1,Cn,Cn,C-,i1] 8 260(1386): 185 * * * 193 261 ( *, *) ( *, *) (203, *) ( *, *) ( *, *) (323, *) [C-,Cn,r1,Cn,C-,i1] 8 261(1387): 184 * * * 194 260 ( *, *) ( *, *) (202, *) ( *, *) ( *, *) (323, *) [C-,Cn,r1,Cn,C-,i1] 8 262(1391): 186 * * * 196 344 ( *, *) (305, *) ( *, *) ( *, *) ( *, *) ( *, *) [C-,i1,Cn,Cn,C-,C+] 8 263(1393): 187 * * * 195 343 ( *, *) (306, *) ( *, *) ( *, *) ( *, *) ( *, *) [C-,i1,Cn,Cn,C-,C+] 8 264(1403): 264 * * * 197 264 ( *, *) ( *, *) ( *, *) (307, *) ( *, *) ( *, *) [ic,Cn,Cn,i2,C-,ic] 8 265(1404): 265 * * * 190 265 ( *, *) ( *, *) (307, *) ( *, *) ( *, *) ( *, *) [ic,Cn,i2,Cn,C-,ic] 8 266(1407): 340 * * * 335 171 ( *, *) ( *, *) (310, *) ( *, *) ( *, *) ( *, *) [C+,Cn,i1,Cn,C+,C-] 8 267(1408): 339 * * * 334 172 ( *, *) ( *, *) (311, *) ( *, *) ( *, *) ( *, *) [C+,Cn,i1,Cn,C+,C-] 8 268(1419): 338 * * * 336 177 ( *, *) ( *, *) ( *, *) (314, *) ( *, *) ( *, *) [C+,Cn,Cn,i1,C+,C-] 8 269(1438): 200 * * * 343 179 ( *, *) (318, *) ( *, *) (319, *) ( *, *) ( *, *) [C-,i1,Cn,i1,C+,C-] 8 270(1439): 199 * * * 344 178 ( *, *) (317, *) ( *, *) (320, *) ( *, *) ( *, *) [C-,i1,Cn,i1,C+,C-] 8 271(1448): 201 * * * 198 271 ( *, *) (322, *) (323, *) ( *, *) ( *, *) (203,202) [C-,i1,i1,Cn,C-,r1] 8 272(1449): 344 * * * 199 186 ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) [C+,Cn,Cn,Cn,C-,C-] 8 273(1452): 343 * * * 200 187 ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) [C+,Cn,Cn,Cn,C-,C-] 8 274(1456): 346 * * * 274 275 ( *, *) (328, *) ( *, *) (330, *) ( *, *) (337, *) [C+,i1,Cn,i1,ic,i1] 8 275(1458): 345 * * * 275 274 ( *, *) (329, *) ( *, *) (331, *) ( *, *) (337, *) [C+,i1,Cn,i1,ic,i1] 8 276(1479): 349 * * * 206 355 ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) [C+,Cn,Cn,Cn,C-,C+] 9 277(1479): 350 * * * 207 356 ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) [C+,Cn,Cn,Cn,C-,C+] 9 278(1480): 204 * * * 208 357 ( *, *) (221, *) ( *, *) (220, *) ( *, *) ( *, *) [C-,r1,Cn,r1,C-,C+] 9 279(1480): 205 * * * 209 358 ( *, *) (222, *) ( *, *) (219, *) ( *, *) ( *, *) [C-,r1,Cn,r1,C-,C+] 9 280(1482): 206 * * * 349 280 ( *, *) (233, *) ( *, *) (229, *) ( *, *) ( *, *) [C-,r1,Cn,r1,C+,rn] 9 281(1482): 207 * * * 350 281 ( *, *) (234, *) ( *, *) (230, *) ( *, *) ( *, *) [C-,r1,Cn,r1,C+,rn] 9 282(1484): 354 * * * 351 282 ( *, *) ( *, *) (236, *) ( *, *) ( *, *) (214,215) [C+,Cn,r1,Cn,C+,r2] 9 283(1487): 357 * * * 361 204 ( *, *) ( *, *) ( *, *) (242, *) ( *, *) ( *, *) [C+,Cn,Cn,r1,C+,C-] 9 284(1487): 358 * * * 362 205 ( *, *) ( *, *) ( *, *) (243, *) ( *, *) ( *, *) [C+,Cn,Cn,r1,C+,C-] 9 285(1488): 359 * * * 285 285 ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) (223,224) [C+,Cn,Cn,Cn,rn,r2] 9 286(1489): 360 * * * 286 286 ( *, *) ( *, *) (246, *) ( *, *) ( *, *) (225,226) [C+,Cn,r1,Cn,rn,r2] 9 287(1496): 365 * * * 365 381 ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) [C+,Cn,Cn,Cn,C+,C+] 9 288(1497): 367 * * * 367 382 ( *, *) ( *, *) (347, *) ( *, *) ( *, *) ( *, *) [C+,Cn,i1,Cn,C+,C+] 9 289(1498): 366 * * * 366 383 ( *, *) ( *, *) (348, *) ( *, *) ( *, *) ( *, *) [C+,Cn,i1,Cn,C+,C+] 9 290(1501): 214 * * * 368 291 ( *, *) ( *, *) (250, *) ( *, *) ( *, *) (354, *) [C-,Cn,r1,Cn,C+,i2] 9 291(1501): 215 * * * 369 290 ( *, *) ( *, *) (249, *) ( *, *) ( *, *) (354, *) [C-,Cn,r1,Cn,C+,i2] 9 292(1509): 212 * * * 212 385 ( *, *) ( *, *) (252, *) ( *, *) ( *, *) ( *, *) [C-,Cn,r1,Cn,C-,C+] 9 293(1510): 211 * * * 211 384 ( *, *) ( *, *) (253, *) ( *, *) ( *, *) ( *, *) [C-,Cn,r1,Cn,C-,C+] 9 294(1512): 216 * * * 213 386 ( *, *) ( *, *) ( *, *) (251, *) ( *, *) ( *, *) [C-,Cn,Cn,r1,C-,C+] 9 295(1515): 368 * * * 214 387 ( *, *) ( *, *) (254, *) ( *, *) ( *, *) ( *, *) [C+,Cn,r1,Cn,C-,C+] 9 296(1515): 369 * * * 215 388 ( *, *) ( *, *) (255, *) ( *, *) ( *, *) ( *, *) [C+,Cn,r1,Cn,C-,C+] 9 297(1527): 217 * * * 233 389 ( *, *) (349, *) ( *, *) ( *, *) ( *, *) ( *, *) [C-,i1,Cn,Cn,C-,C+] 9 298(1527): 218 * * * 234 390 ( *, *) (350, *) ( *, *) ( *, *) ( *, *) ( *, *) [C-,i1,Cn,Cn,C-,C+] 9 299(1529): 374 * * * 235 391 ( *, *) ( *, *) ( *, *) (351, *) ( *, *) ( *, *) [C+,Cn,Cn,i2,C-,C+] 9 300(1530): 375 * * * 236 392 ( *, *) ( *, *) (351, *) ( *, *) ( *, *) ( *, *) [C+,Cn,i2,Cn,C-,C+] 9 301(1532): 223 * * * 229 302 ( *, *) (256, *) ( *, *) ( *, *) ( *, *) (359, *) [C-,r1,Cn,Cn,C-,i2] 9 302(1532): 224 * * * 230 301 ( *, *) (257, *) ( *, *) ( *, *) ( *, *) (359, *) [C-,r1,Cn,Cn,C-,i2] 9 303(1534): 225 * * * 231 304 ( *, *) ( *, *) (256, *) ( *, *) ( *, *) (360, *) [C-,Cn,r1,Cn,C-,i2] 9 304(1534): 226 * * * 232 303 ( *, *) ( *, *) (257, *) ( *, *) ( *, *) (360, *) [C-,Cn,r1,Cn,C-,i2] 9 305(1539): 228 * * * 239 394 ( *, *) (262, *) ( *, *) ( *, *) ( *, *) ( *, *) [C-,r1,Cn,Cn,C-,C+] 9 306(1540): 227 * * * 238 393 ( *, *) (263, *) ( *, *) ( *, *) ( *, *) ( *, *) [C-,r1,Cn,Cn,C-,C+] 9 307(1547): 307 * * * 237 307 ( *, *) ( *, *) (265, *) (264, *) ( *, *) ( *, *) [ic,Cn,r1,r1,C-,ic] 9 308(1551): 378 * * * 370 308 ( *, *) ( *, *) (352, *) ( *, *) ( *, *) ( *, *) [C+,Cn,i1,Cn,C+,rn] 9 309(1551): 379 * * * 371 309 ( *, *) ( *, *) (353, *) ( *, *) ( *, *) ( *, *) [C+,Cn,i1,Cn,C+,rn] 9 310(1554): 385 * * * 372 212 ( *, *) ( *, *) (266, *) ( *, *) ( *, *) ( *, *) [C+,Cn,r1,Cn,C+,C-] 9 311(1555): 384 * * * 373 211 ( *, *) ( *, *) (267, *) ( *, *) ( *, *) ( *, *) [C+,Cn,r1,Cn,C+,C-] 9 312(1558): 235 * * * 374 213 ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) [C-,Cn,Cn,Cn,C+,C-] 9 313(1559): 236 * * * 375 313 ( *, *) ( *, *) (354, *) ( *, *) ( *, *) (250,249) [C-,Cn,i2,Cn,C+,r1] 9 314(1568): 386 * * * 376 216 ( *, *) ( *, *) ( *, *) (268, *) ( *, *) ( *, *) [C+,Cn,Cn,r1,C+,C-] 9 315(1581): 389 * * * 395 217 ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) [C+,Cn,Cn,Cn,C+,C-] 9 316(1581): 390 * * * 396 218 ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) [C+,Cn,Cn,Cn,C+,C-] 9 317(1582): 243 * * * 394 219 ( *, *) (270, *) ( *, *) (358, *) ( *, *) ( *, *) [C-,r1,Cn,i1,C+,C-] 9 318(1583): 242 * * * 393 220 ( *, *) (269, *) ( *, *) (357, *) ( *, *) ( *, *) [C-,r1,Cn,i1,C+,C-] 9 319(1586): 244 * * * 397 221 ( *, *) (357, *) ( *, *) (269, *) ( *, *) ( *, *) [C-,i1,Cn,r1,C+,C-] 9 320(1586): 245 * * * 398 222 ( *, *) (358, *) ( *, *) (270, *) ( *, *) ( *, *) [C-,i1,Cn,r1,C+,C-] 9 321(1592): 246 * * * 321 321 ( *, *) (359, *) (360, *) ( *, *) ( *, *) (256,257) [C-,i1,i1,Cn,rn,r2] 9 322(1595): 247 * * * 240 322 ( *, *) (271, *) ( *, *) ( *, *) ( *, *) (259,258) [C-,r1,Cn,Cn,C-,r1] 9 323(1596): 248 * * * 241 323 ( *, *) ( *, *) (271, *) ( *, *) ( *, *) (261,260) [C-,Cn,r1,Cn,C-,r1] 9 324(1597): 393 * * * 242 227 ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) [C+,Cn,Cn,Cn,C-,C-] 9 325(1598): 394 * * * 243 228 ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) [C+,Cn,Cn,Cn,C-,C-] 9 326(1599): 397 * * * 244 326 ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) [C+,Cn,Cn,Cn,C-,rn] 9 327(1599): 398 * * * 245 327 ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) [C+,Cn,Cn,Cn,C-,rn] 9 328(1612): 399 * * * 328 329 ( *, *) (274, *) ( *, *) (363, *) ( *, *) (377, *) [C+,r1,Cn,i1,ic,i2] 9 329(1612): 400 * * * 329 328 ( *, *) (275, *) ( *, *) (364, *) ( *, *) (377, *) [C+,r1,Cn,i1,ic,i2] 9 330(1619): 403 * * * 406 331 ( *, *) (363, *) ( *, *) (274, *) ( *, *) (380, *) [C+,i1,Cn,r1,C+,i1] 9 331(1620): 404 * * * 405 330 ( *, *) (364, *) ( *, *) (275, *) ( *, *) (380, *) [C+,i1,Cn,r1,C+,i1] 9 332(1652): 254 * * * 250 415 ( *, *) ( *, *) (368, *) ( *, *) ( *, *) ( *, *) [C-,Cn,i1,Cn,C-,C+] 9 333(1653): 255 * * * 249 414 ( *, *) ( *, *) (369, *) ( *, *) ( *, *) ( *, *) [C-,Cn,i1,Cn,C-,C+] 9 334(1662): 409 * * * 267 417 ( *, *) ( *, *) (373, *) ( *, *) ( *, *) ( *, *) [C+,Cn,i1,Cn,C-,C+] 9 335(1664): 410 * * * 266 416 ( *, *) ( *, *) (372, *) ( *, *) ( *, *) ( *, *) [C+,Cn,i1,Cn,C-,C+] 9 336(1670): 408 * * * 268 336 ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) [C+,Cn,Cn,Cn,C-,ic] 9 337(1686): 413 * * * 407 337 ( *, *) (377, *) ( *, *) (380, *) ( *, *) (275,274) [C+,i2,Cn,i1,C+,r1] 9 338(1697): 268 * * * 408 251 ( *, *) ( *, *) ( *, *) (386, *) ( *, *) ( *, *) [C-,Cn,Cn,i1,C+,C-] 9 339(1698): 267 * * * 409 253 ( *, *) ( *, *) (384, *) ( *, *) ( *, *) ( *, *) [C-,Cn,i1,Cn,C+,C-] 9 340(1699): 266 * * * 410 252 ( *, *) ( *, *) (385, *) ( *, *) ( *, *) ( *, *) [C-,Cn,i1,Cn,C+,C-] 9 341(1705): 415 * * * 411 254 ( *, *) ( *, *) (387, *) ( *, *) ( *, *) ( *, *) [C+,Cn,i1,Cn,C+,C-] 9 342(1708): 414 * * * 412 255 ( *, *) ( *, *) (388, *) ( *, *) ( *, *) ( *, *) [C+,Cn,i1,Cn,C+,C-] 9 343(1722): 273 * * * 269 263 ( *, *) (393, *) ( *, *) ( *, *) ( *, *) ( *, *) [C-,i1,Cn,Cn,C-,C-] 9 344(1724): 272 * * * 270 262 ( *, *) (394, *) ( *, *) ( *, *) ( *, *) ( *, *) [C-,i1,Cn,Cn,C-,C-] 9 345(1728): 275 * * * 345 346 ( *, *) ( *, *) ( *, *) (404, *) ( *, *) (413, *) [C-,Cn,Cn,i1,ic,i1] 9 346(1730): 274 * * * 346 345 ( *, *) ( *, *) ( *, *) (403, *) ( *, *) (413, *) [C-,Cn,Cn,i1,ic,i1] 9 347(1737): 418 * * * 418 426 ( *, *) ( *, *) (288, *) ( *, *) ( *, *) ( *, *) [C+,Cn,r1,Cn,C+,C+] 10 348(1737): 419 * * * 419 427 ( *, *) ( *, *) (289, *) ( *, *) ( *, *) ( *, *) [C+,Cn,r1,Cn,C+,C+] 10 349(1741): 276 * * * 280 428 ( *, *) (297, *) ( *, *) ( *, *) ( *, *) ( *, *) [C-,r1,Cn,Cn,C-,C+] 10 350(1741): 277 * * * 281 429 ( *, *) (298, *) ( *, *) ( *, *) ( *, *) ( *, *) [C-,r1,Cn,Cn,C-,C+] 10 351(1742): 422 * * * 282 430 ( *, *) ( *, *) (300, *) (299, *) ( *, *) ( *, *) [C+,Cn,r1,r1,C-,C+] 10 352(1745): 423 * * * 420 352 ( *, *) ( *, *) (308, *) ( *, *) ( *, *) ( *, *) [C+,Cn,r1,Cn,C+,rn] 10 353(1745): 424 * * * 421 353 ( *, *) ( *, *) (309, *) ( *, *) ( *, *) ( *, *) [C+,Cn,r1,Cn,C+,rn] 10 354(1747): 282 * * * 422 354 ( *, *) ( *, *) (313, *) ( *, *) ( *, *) (290,291) [C-,Cn,r1,Cn,C+,r2] 10 355(1750): 428 * * * 431 276 ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) [C+,Cn,Cn,Cn,C+,C-] 10 356(1750): 429 * * * 432 277 ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) [C+,Cn,Cn,Cn,C+,C-] 10 357(1751): 283 * * * 433 278 ( *, *) (319, *) ( *, *) (318, *) ( *, *) ( *, *) [C-,r1,Cn,r1,C+,C-] 10 358(1751): 284 * * * 434 279 ( *, *) (320, *) ( *, *) (317, *) ( *, *) ( *, *) [C-,r1,Cn,r1,C+,C-] 10 359(1753): 285 * * * 359 359 ( *, *) (321, *) ( *, *) ( *, *) ( *, *) (301,302) [C-,r1,Cn,Cn,rn,r2] 10 360(1754): 286 * * * 360 360 ( *, *) ( *, *) (321, *) ( *, *) ( *, *) (303,304) [C-,Cn,r1,Cn,rn,r2] 10 361(1756): 433 * * * 283 361 ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) [C+,Cn,Cn,Cn,C-,rn] 10 362(1756): 434 * * * 284 362 ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) [C+,Cn,Cn,Cn,C-,rn] 10 363(1765): 439 * * * 443 364 ( *, *) (330, *) ( *, *) (328, *) ( *, *) (425, *) [C+,r1,Cn,r1,C+,i2] 10 364(1765): 440 * * * 444 363 ( *, *) (331, *) ( *, *) (329, *) ( *, *) (425, *) [C+,r1,Cn,r1,C+,i2] 10 365(1784): 287 * * * 287 460 ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) [C-,Cn,Cn,Cn,C-,C+] 10 366(1785): 289 * * * 289 461 ( *, *) ( *, *) (419, *) ( *, *) ( *, *) ( *, *) [C-,Cn,i1,Cn,C-,C+] 10 367(1786): 288 * * * 288 462 ( *, *) ( *, *) (418, *) ( *, *) ( *, *) ( *, *) [C-,Cn,i1,Cn,C-,C+] 10 368(1789): 295 * * * 290 463 ( *, *) ( *, *) (332, *) ( *, *) ( *, *) ( *, *) [C-,Cn,r1,Cn,C-,C+] 10 369(1789): 296 * * * 291 464 ( *, *) ( *, *) (333, *) ( *, *) ( *, *) ( *, *) [C-,Cn,r1,Cn,C-,C+] 10 370(1796): 445 * * * 308 465 ( *, *) ( *, *) (420, *) ( *, *) ( *, *) ( *, *) [C+,Cn,i1,Cn,C-,C+] 10 371(1796): 446 * * * 309 466 ( *, *) ( *, *) (421, *) ( *, *) ( *, *) ( *, *) [C+,Cn,i1,Cn,C-,C+] 10 372(1799): 453 * * * 310 467 ( *, *) ( *, *) (335, *) ( *, *) ( *, *) ( *, *) [C+,Cn,r1,Cn,C-,C+] 10 373(1800): 452 * * * 311 468 ( *, *) ( *, *) (334, *) ( *, *) ( *, *) ( *, *) [C+,Cn,r1,Cn,C-,C+] 10 374(1803): 299 * * * 312 469 ( *, *) ( *, *) ( *, *) (422, *) ( *, *) ( *, *) [C-,Cn,Cn,i2,C-,C+] 10 375(1804): 300 * * * 313 470 ( *, *) ( *, *) (422, *) ( *, *) ( *, *) ( *, *) [C-,Cn,i2,Cn,C-,C+] 10 376(1811): 454 * * * 314 471 ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) [C+,Cn,Cn,Cn,C-,C+] 10 377(1820): 457 * * * 451 377 ( *, *) (337, *) ( *, *) (425, *) ( *, *) (328,329) [C+,r1,Cn,i1,C+,r2] 10 378(1823): 308 * * * 445 378 ( *, *) ( *, *) (423, *) ( *, *) ( *, *) ( *, *) [C-,Cn,i1,Cn,C+,rn] 10 379(1823): 309 * * * 446 379 ( *, *) ( *, *) (424, *) ( *, *) ( *, *) ( *, *) [C-,Cn,i1,Cn,C+,rn] 10 380(1825): 459 * * * 448 380 ( *, *) (425, *) ( *, *) (337, *) ( *, *) (331,330) [C+,i2,Cn,r1,C+,r1] 10 381(1826): 460 * * * 447 287 ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) [C+,Cn,Cn,Cn,C+,C-] 10 382(1829): 462 * * * 450 288 ( *, *) ( *, *) (426, *) ( *, *) ( *, *) ( *, *) [C+,Cn,i1,Cn,C+,C-] 10 383(1830): 461 * * * 449 289 ( *, *) ( *, *) (427, *) ( *, *) ( *, *) ( *, *) [C+,Cn,i1,Cn,C+,C-] 10 384(1839): 311 * * * 452 293 ( *, *) ( *, *) (339, *) ( *, *) ( *, *) ( *, *) [C-,Cn,r1,Cn,C+,C-] 10 385(1840): 310 * * * 453 292 ( *, *) ( *, *) (340, *) ( *, *) ( *, *) ( *, *) [C-,Cn,r1,Cn,C+,C-] 10 386(1842): 314 * * * 454 294 ( *, *) ( *, *) ( *, *) (338, *) ( *, *) ( *, *) [C-,Cn,Cn,r1,C+,C-] 10 387(1845): 463 * * * 455 295 ( *, *) ( *, *) (341, *) ( *, *) ( *, *) ( *, *) [C+,Cn,r1,Cn,C+,C-] 10 388(1845): 464 * * * 456 296 ( *, *) ( *, *) (342, *) ( *, *) ( *, *) ( *, *) [C+,Cn,r1,Cn,C+,C-] 10 389(1855): 315 * * * 472 297 ( *, *) (428, *) ( *, *) ( *, *) ( *, *) ( *, *) [C-,i1,Cn,Cn,C+,C-] 10 390(1855): 316 * * * 473 298 ( *, *) (429, *) ( *, *) ( *, *) ( *, *) ( *, *) [C-,i1,Cn,Cn,C+,C-] 10 391(1857): 469 * * * 471 299 ( *, *) ( *, *) ( *, *) (430, *) ( *, *) ( *, *) [C+,Cn,Cn,i2,C+,C-] 10 392(1858): 470 * * * 474 300 ( *, *) ( *, *) (430, *) ( *, *) ( *, *) ( *, *) [C+,Cn,i2,Cn,C+,C-] 10 393(1868): 324 * * * 318 306 ( *, *) (343, *) ( *, *) ( *, *) ( *, *) ( *, *) [C-,r1,Cn,Cn,C-,C-] 10 394(1869): 325 * * * 317 305 ( *, *) (344, *) ( *, *) ( *, *) ( *, *) ( *, *) [C-,r1,Cn,Cn,C-,C-] 10 395(1871): 472 * * * 315 395 ( *, *) ( *, *) ( *, *) (435, *) ( *, *) ( *, *) [C+,Cn,Cn,i2,C-,rn] 10 396(1871): 473 * * * 316 396 ( *, *) ( *, *) ( *, *) (436, *) ( *, *) ( *, *) [C+,Cn,Cn,i2,C-,rn] 10 397(1873): 326 * * * 319 397 ( *, *) (433, *) ( *, *) ( *, *) ( *, *) ( *, *) [C-,i1,Cn,Cn,C-,rn] 10 398(1873): 327 * * * 320 398 ( *, *) (434, *) ( *, *) ( *, *) ( *, *) ( *, *) [C-,i1,Cn,Cn,C-,rn] 10 399(1880): 328 * * * 399 400 ( *, *) ( *, *) ( *, *) (439, *) ( *, *) (457, *) [C-,Cn,Cn,i1,ic,i2] 10 400(1880): 329 * * * 400 399 ( *, *) ( *, *) ( *, *) (440, *) ( *, *) (457, *) [C-,Cn,Cn,i1,ic,i2] 10 401(1888): 475 * * * 478 402 ( *, *) (438, *) ( *, *) ( *, *) ( *, *) (458, *) [C+,i1,Cn,Cn,C+,i1] 10 402(1889): 476 * * * 477 401 ( *, *) (437, *) ( *, *) ( *, *) ( *, *) (458, *) [C+,i1,Cn,Cn,C+,i1] 10 403(1891): 330 * * * 479 404 ( *, *) ( *, *) ( *, *) (346, *) ( *, *) (459, *) [C-,Cn,Cn,r1,C+,i1] 10 404(1894): 331 * * * 480 403 ( *, *) ( *, *) ( *, *) (345, *) ( *, *) (459, *) [C-,Cn,Cn,r1,C+,i1] 10 405(1911): 480 * * * 331 484 ( *, *) (444, *) ( *, *) ( *, *) ( *, *) ( *, *) [C+,i1,Cn,Cn,C-,C+] 10 406(1912): 479 * * * 330 485 ( *, *) (443, *) ( *, *) ( *, *) ( *, *) ( *, *) [C+,i1,Cn,Cn,C-,C+] 10 407(1921): 481 * * * 337 407 ( *, *) (451, *) ( *, *) ( *, *) ( *, *) ( *, *) [C+,i2,Cn,Cn,C-,ic] 10 408(1927): 336 * * * 338 408 ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) [C-,Cn,Cn,Cn,C-,ic] 10 409(1932): 334 * * * 339 486 ( *, *) ( *, *) (452, *) ( *, *) ( *, *) ( *, *) [C-,Cn,i1,Cn,C-,C+] 10 410(1933): 335 * * * 340 487 ( *, *) ( *, *) (453, *) ( *, *) ( *, *) ( *, *) [C-,Cn,i1,Cn,C-,C+] 10 411(1938): 482 * * * 341 412 ( *, *) ( *, *) (455, *) ( *, *) ( *, *) (474, *) [C+,Cn,i1,Cn,C-,i1] 10 412(1940): 483 * * * 342 411 ( *, *) ( *, *) (456, *) ( *, *) ( *, *) (474, *) [C+,Cn,i1,Cn,C-,i1] 10 413(1944): 337 * * * 481 413 ( *, *) ( *, *) ( *, *) (459, *) ( *, *) (346,345) [C-,Cn,Cn,i1,C+,r1] 10 414(1954): 342 * * * 483 333 ( *, *) ( *, *) (464, *) ( *, *) ( *, *) ( *, *) [C-,Cn,i1,Cn,C+,C-] 10 415(1956): 341 * * * 482 332 ( *, *) ( *, *) (463, *) ( *, *) ( *, *) ( *, *) [C-,Cn,i1,Cn,C+,C-] 10 416(1965): 487 * * * 487 335 ( *, *) ( *, *) (467, *) ( *, *) ( *, *) ( *, *) [C+,Cn,i1,Cn,C+,C-] 10 417(1968): 486 * * * 486 334 ( *, *) ( *, *) (468, *) ( *, *) ( *, *) ( *, *) [C+,Cn,i1,Cn,C+,C-] 10 418(1992): 347 * * * 347 499 ( *, *) ( *, *) (367, *) ( *, *) ( *, *) ( *, *) [C-,Cn,r1,Cn,C-,C+] 11 419(1992): 348 * * * 348 500 ( *, *) ( *, *) (366, *) ( *, *) ( *, *) ( *, *) [C-,Cn,r1,Cn,C-,C+] 11 420(1995): 492 * * * 352 501 ( *, *) ( *, *) (370, *) ( *, *) ( *, *) ( *, *) [C+,Cn,r1,Cn,C-,C+] 11 421(1995): 493 * * * 353 502 ( *, *) ( *, *) (371, *) ( *, *) ( *, *) ( *, *) [C+,Cn,r1,Cn,C-,C+] 11 422(1997): 351 * * * 354 503 ( *, *) ( *, *) (375, *) (374, *) ( *, *) ( *, *) [C-,Cn,r1,r1,C-,C+] 11 423(2000): 352 * * * 492 423 ( *, *) ( *, *) (378, *) ( *, *) ( *, *) ( *, *) [C-,Cn,r1,Cn,C+,rn] 11 424(2000): 353 * * * 493 424 ( *, *) ( *, *) (379, *) ( *, *) ( *, *) ( *, *) [C-,Cn,r1,Cn,C+,rn] 11 425(2001): 498 * * * 494 425 ( *, *) (380, *) ( *, *) (377, *) ( *, *) (363,364) [C+,r1,Cn,r1,C+,r2] 11 426(2002): 499 * * * 495 347 ( *, *) ( *, *) (382, *) ( *, *) ( *, *) ( *, *) [C+,Cn,r1,Cn,C+,C-] 11 427(2002): 500 * * * 496 348 ( *, *) ( *, *) (383, *) ( *, *) ( *, *) ( *, *) [C+,Cn,r1,Cn,C+,C-] 11 428(2008): 355 * * * 504 349 ( *, *) (389, *) ( *, *) ( *, *) ( *, *) ( *, *) [C-,r1,Cn,Cn,C+,C-] 11 429(2008): 356 * * * 505 350 ( *, *) (390, *) ( *, *) ( *, *) ( *, *) ( *, *) [C-,r1,Cn,Cn,C+,C-] 11 430(2009): 503 * * * 506 351 ( *, *) ( *, *) (392, *) (391, *) ( *, *) ( *, *) [C+,Cn,r1,r1,C+,C-] 11 431(2013): 504 * * * 355 431 ( *, *) ( *, *) ( *, *) (488, *) ( *, *) ( *, *) [C+,Cn,Cn,i2,C-,rn] 11 432(2013): 505 * * * 356 432 ( *, *) ( *, *) ( *, *) (489, *) ( *, *) ( *, *) [C+,Cn,Cn,i2,C-,rn] 11 433(2014): 361 * * * 357 433 ( *, *) (397, *) ( *, *) ( *, *) ( *, *) ( *, *) [C-,r1,Cn,Cn,C-,rn] 11 434(2014): 362 * * * 358 434 ( *, *) (398, *) ( *, *) ( *, *) ( *, *) ( *, *) [C-,r1,Cn,Cn,C-,rn] 11 435(2016): 507 * * * 435 435 ( *, *) ( *, *) ( *, *) (395, *) ( *, *) ( *, *) [C+,Cn,Cn,r1,rn,rn] 11 436(2016): 508 * * * 436 436 ( *, *) ( *, *) ( *, *) (396, *) ( *, *) ( *, *) [C+,Cn,Cn,r1,rn,rn] 11 437(2020): 509 * * * 513 438 ( *, *) (402, *) ( *, *) ( *, *) ( *, *) (497, *) [C+,r1,Cn,Cn,C+,i2] 11 438(2020): 510 * * * 514 437 ( *, *) (401, *) ( *, *) ( *, *) ( *, *) (497, *) [C+,r1,Cn,Cn,C+,i2] 11 439(2023): 363 * * * 517 440 ( *, *) ( *, *) ( *, *) (399, *) ( *, *) (498, *) [C-,Cn,Cn,r1,C+,i2] 11 440(2023): 364 * * * 518 439 ( *, *) ( *, *) ( *, *) (400, *) ( *, *) (498, *) [C-,Cn,Cn,r1,C+,i2] 11 441(2025): 511 * * * 515 528 ( *, *) (491, *) ( *, *) ( *, *) ( *, *) ( *, *) [C+,i1,Cn,Cn,C+,C+] 11 442(2026): 512 * * * 516 529 ( *, *) (490, *) ( *, *) ( *, *) ( *, *) ( *, *) [C+,i1,Cn,Cn,C+,C+] 11 443(2040): 517 * * * 363 534 ( *, *) (406, *) ( *, *) ( *, *) ( *, *) ( *, *) [C+,r1,Cn,Cn,C-,C+] 11 444(2040): 518 * * * 364 535 ( *, *) (405, *) ( *, *) ( *, *) ( *, *) ( *, *) [C+,r1,Cn,Cn,C-,C+] 11 445(2048): 370 * * * 378 536 ( *, *) ( *, *) (492, *) ( *, *) ( *, *) ( *, *) [C-,Cn,i1,Cn,C-,C+] 11 446(2048): 371 * * * 379 537 ( *, *) ( *, *) (493, *) ( *, *) ( *, *) ( *, *) [C-,Cn,i1,Cn,C-,C+] 11 447(2050): 522 * * * 381 538 ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) [C+,Cn,Cn,Cn,C-,C+] 11 448(2051): 520 * * * 380 541 ( *, *) (494, *) ( *, *) ( *, *) ( *, *) ( *, *) [C+,i2,Cn,Cn,C-,C+] 11 449(2054): 523 * * * 383 540 ( *, *) ( *, *) (496, *) ( *, *) ( *, *) ( *, *) [C+,Cn,i1,Cn,C-,C+] 11 450(2055): 524 * * * 382 539 ( *, *) ( *, *) (495, *) ( *, *) ( *, *) ( *, *) [C+,Cn,i1,Cn,C-,C+] 11 451(2062): 521 * * * 377 451 ( *, *) (407, *) ( *, *) ( *, *) ( *, *) ( *, *) [C+,r1,Cn,Cn,C-,ic] 11 452(2064): 373 * * * 384 545 ( *, *) ( *, *) (409, *) ( *, *) ( *, *) ( *, *) [C-,Cn,r1,Cn,C-,C+] 11 453(2065): 372 * * * 385 544 ( *, *) ( *, *) (410, *) ( *, *) ( *, *) ( *, *) [C-,Cn,r1,Cn,C-,C+] 11 454(2067): 376 * * * 386 546 ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) [C-,Cn,Cn,Cn,C-,C+] 11 455(2070): 525 * * * 387 456 ( *, *) ( *, *) (411, *) ( *, *) ( *, *) (506, *) [C+,Cn,r1,Cn,C-,i2] 11 456(2070): 526 * * * 388 455 ( *, *) ( *, *) (412, *) ( *, *) ( *, *) (506, *) [C+,Cn,r1,Cn,C-,i2] 11 457(2078): 377 * * * 521 457 ( *, *) ( *, *) ( *, *) (498, *) ( *, *) (399,400) [C-,Cn,Cn,i1,C+,r2] 11 458(2080): 527 * * * 519 458 ( *, *) (497, *) ( *, *) ( *, *) ( *, *) (402,401) [C+,i2,Cn,Cn,C+,r1] 11 459(2081): 380 * * * 520 459 ( *, *) ( *, *) ( *, *) (413, *) ( *, *) (404,403) [C-,Cn,Cn,r1,C+,r1] 11 460(2093): 381 * * * 522 365 ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) [C-,Cn,Cn,Cn,C+,C-] 11 461(2094): 383 * * * 523 366 ( *, *) ( *, *) (500, *) ( *, *) ( *, *) ( *, *) [C-,Cn,i1,Cn,C+,C-] 11 462(2095): 382 * * * 524 367 ( *, *) ( *, *) (499, *) ( *, *) ( *, *) ( *, *) [C-,Cn,i1,Cn,C+,C-] 11 463(2099): 387 * * * 525 368 ( *, *) ( *, *) (415, *) ( *, *) ( *, *) ( *, *) [C-,Cn,r1,Cn,C+,C-] 11 464(2099): 388 * * * 526 369 ( *, *) ( *, *) (414, *) ( *, *) ( *, *) ( *, *) [C-,Cn,r1,Cn,C+,C-] 11 465(2105): 536 * * * 542 370 ( *, *) ( *, *) (501, *) ( *, *) ( *, *) ( *, *) [C+,Cn,i1,Cn,C+,C-] 11 466(2105): 537 * * * 543 371 ( *, *) ( *, *) (502, *) ( *, *) ( *, *) ( *, *) [C+,Cn,i1,Cn,C+,C-] 11 467(2108): 544 * * * 544 372 ( *, *) ( *, *) (416, *) ( *, *) ( *, *) ( *, *) [C+,Cn,r1,Cn,C+,C-] 11 468(2109): 545 * * * 545 373 ( *, *) ( *, *) (417, *) ( *, *) ( *, *) ( *, *) [C+,Cn,r1,Cn,C+,C-] 11 469(2112): 391 * * * 546 374 ( *, *) ( *, *) ( *, *) (503, *) ( *, *) ( *, *) [C-,Cn,Cn,i2,C+,C-] 11 470(2113): 392 * * * 547 375 ( *, *) ( *, *) (503, *) ( *, *) ( *, *) ( *, *) [C-,Cn,i2,Cn,C+,C-] 11 471(2128): 546 * * * 391 376 ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) [C+,Cn,Cn,Cn,C-,C-] 11 472(2130): 395 * * * 389 472 ( *, *) (504, *) ( *, *) (507, *) ( *, *) ( *, *) [C-,i1,Cn,i2,C-,rn] 11 473(2130): 396 * * * 390 473 ( *, *) (505, *) ( *, *) (508, *) ( *, *) ( *, *) [C-,i1,Cn,i2,C-,rn] 11 474(2131): 547 * * * 392 474 ( *, *) ( *, *) (506, *) ( *, *) ( *, *) (412,411) [C+,Cn,i2,Cn,C-,r1] 11 475(2149): 401 * * * 548 476 ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) (527, *) [C-,Cn,Cn,Cn,C+,i1] 11 476(2150): 402 * * * 549 475 ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) (527, *) [C-,Cn,Cn,Cn,C+,i1] 11 477(2165): 549 * * * 402 553 ( *, *) (513, *) ( *, *) (516, *) ( *, *) ( *, *) [C+,i1,Cn,i1,C-,C+] 11 478(2167): 548 * * * 401 552 ( *, *) (514, *) ( *, *) (515, *) ( *, *) ( *, *) [C+,i1,Cn,i1,C-,C+] 11 479(2170): 406 * * * 403 555 ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) [C-,Cn,Cn,Cn,C-,C+] 11 480(2171): 405 * * * 404 554 ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) [C-,Cn,Cn,Cn,C-,C+] 11 481(2177): 407 * * * 413 481 ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) [C-,Cn,Cn,Cn,C-,ic] 11 482(2188): 411 * * * 415 483 ( *, *) ( *, *) (525, *) ( *, *) ( *, *) (547, *) [C-,Cn,i1,Cn,C-,i1] 11 483(2189): 412 * * * 414 482 ( *, *) ( *, *) (526, *) ( *, *) ( *, *) (547, *) [C-,Cn,i1,Cn,C-,i1] 11 484(2200): 554 * * * 551 405 ( *, *) (535, *) ( *, *) ( *, *) ( *, *) ( *, *) [C+,i1,Cn,Cn,C+,C-] 11 485(2202): 555 * * * 550 406 ( *, *) (534, *) ( *, *) ( *, *) ( *, *) ( *, *) [C+,i1,Cn,Cn,C+,C-] 11 486(2217): 417 * * * 417 409 ( *, *) ( *, *) (545, *) ( *, *) ( *, *) ( *, *) [C-,Cn,i1,Cn,C-,C-] 11 487(2219): 416 * * * 416 410 ( *, *) ( *, *) (544, *) ( *, *) ( *, *) ( *, *) [C-,Cn,i1,Cn,C-,C-] 11 488(2220): 556 * * * 488 488 ( *, *) ( *, *) ( *, *) (431, *) ( *, *) ( *, *) [C+,Cn,Cn,r1,rn,rn] 12 489(2220): 557 * * * 489 489 ( *, *) ( *, *) ( *, *) (432, *) ( *, *) ( *, *) [C+,Cn,Cn,r1,rn,rn] 12 490(2221): 558 * * * 560 567 ( *, *) (442, *) ( *, *) ( *, *) ( *, *) ( *, *) [C+,r1,Cn,Cn,C+,C+] 12 491(2221): 559 * * * 561 568 ( *, *) (441, *) ( *, *) ( *, *) ( *, *) ( *, *) [C+,r1,Cn,Cn,C+,C+] 12 492(2225): 420 * * * 423 575 ( *, *) ( *, *) (445, *) ( *, *) ( *, *) ( *, *) [C-,Cn,r1,Cn,C-,C+] 12 493(2225): 421 * * * 424 576 ( *, *) ( *, *) (446, *) ( *, *) ( *, *) ( *, *) [C-,Cn,r1,Cn,C-,C+] 12 494(2226): 563 * * * 425 579 ( *, *) (448, *) ( *, *) ( *, *) ( *, *) ( *, *) [C+,r1,Cn,Cn,C-,C+] 12 495(2227): 564 * * * 426 577 ( *, *) ( *, *) (450, *) ( *, *) ( *, *) ( *, *) [C+,Cn,r1,Cn,C-,C+] 12 496(2227): 565 * * * 427 578 ( *, *) ( *, *) (449, *) ( *, *) ( *, *) ( *, *) [C+,Cn,r1,Cn,C-,C+] 12 497(2233): 566 * * * 562 497 ( *, *) (458, *) ( *, *) ( *, *) ( *, *) (437,438) [C+,r1,Cn,Cn,C+,r2] 12 498(2234): 425 * * * 563 498 ( *, *) ( *, *) ( *, *) (457, *) ( *, *) (439,440) [C-,Cn,Cn,r1,C+,r2] 12 499(2238): 426 * * * 564 418 ( *, *) ( *, *) (462, *) ( *, *) ( *, *) ( *, *) [C-,Cn,r1,Cn,C+,C-] 12 500(2238): 427 * * * 565 419 ( *, *) ( *, *) (461, *) ( *, *) ( *, *) ( *, *) [C-,Cn,r1,Cn,C+,C-] 12 501(2241): 575 * * * 580 420 ( *, *) ( *, *) (465, *) ( *, *) ( *, *) ( *, *) [C+,Cn,r1,Cn,C+,C-] 12 502(2241): 576 * * * 581 421 ( *, *) ( *, *) (466, *) ( *, *) ( *, *) ( *, *) [C+,Cn,r1,Cn,C+,C-] 12 503(2243): 430 * * * 582 422 ( *, *) ( *, *) (470, *) (469, *) ( *, *) ( *, *) [C-,Cn,r1,r1,C+,C-] 12 504(2250): 431 * * * 428 504 ( *, *) (472, *) ( *, *) (556, *) ( *, *) ( *, *) [C-,r1,Cn,i2,C-,rn] 12 505(2250): 432 * * * 429 505 ( *, *) (473, *) ( *, *) (557, *) ( *, *) ( *, *) [C-,r1,Cn,i2,C-,rn] 12 506(2251): 582 * * * 430 506 ( *, *) ( *, *) (474, *) ( *, *) ( *, *) (455,456) [C+,Cn,r1,Cn,C-,r2] 12 507(2253): 435 * * * 507 507 ( *, *) (556, *) ( *, *) (472, *) ( *, *) ( *, *) [C-,i1,Cn,r1,rn,rn] 12 508(2253): 436 * * * 508 508 ( *, *) (557, *) ( *, *) (473, *) ( *, *) ( *, *) [C-,i1,Cn,r1,rn,rn] 12 509(2259): 437 * * * 583 510 ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) (566, *) [C-,Cn,Cn,Cn,C+,i2] 12 510(2259): 438 * * * 584 509 ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) (566, *) [C-,Cn,Cn,Cn,C+,i2] 12 511(2261): 441 * * * 585 597 ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) [C-,Cn,Cn,Cn,C+,C+] 12 512(2262): 442 * * * 586 596 ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) [C-,Cn,Cn,Cn,C+,C+] 12 513(2273): 583 * * * 437 602 ( *, *) (477, *) ( *, *) (560, *) ( *, *) ( *, *) [C+,r1,Cn,i1,C-,C+] 12 514(2273): 584 * * * 438 603 ( *, *) (478, *) ( *, *) (561, *) ( *, *) ( *, *) [C+,r1,Cn,i1,C-,C+] 12 515(2276): 585 * * * 441 604 ( *, *) (561, *) ( *, *) (478, *) ( *, *) ( *, *) [C+,i1,Cn,r1,C-,C+] 12 516(2277): 586 * * * 442 605 ( *, *) (560, *) ( *, *) (477, *) ( *, *) ( *, *) [C+,i1,Cn,r1,C-,C+] 12 517(2278): 443 * * * 439 606 ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) [C-,Cn,Cn,Cn,C-,C+] 12 518(2278): 444 * * * 440 607 ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) [C-,Cn,Cn,Cn,C-,C+] 12 519(2288): 587 * * * 458 608 ( *, *) (562, *) ( *, *) ( *, *) ( *, *) ( *, *) [C+,i2,Cn,Cn,C-,C+] 12 520(2290): 448 * * * 459 609 ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) [C-,Cn,Cn,Cn,C-,C+] 12 521(2296): 451 * * * 457 521 ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) [C-,Cn,Cn,Cn,C-,ic] 12 522(2303): 447 * * * 460 612 ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) [C-,Cn,Cn,Cn,C-,C+] 12 523(2304): 449 * * * 461 613 ( *, *) ( *, *) (565, *) ( *, *) ( *, *) ( *, *) [C-,Cn,i1,Cn,C-,C+] 12 524(2305): 450 * * * 462 614 ( *, *) ( *, *) (564, *) ( *, *) ( *, *) ( *, *) [C-,Cn,i1,Cn,C-,C+] 12 525(2309): 455 * * * 463 526 ( *, *) ( *, *) (482, *) ( *, *) ( *, *) (582, *) [C-,Cn,r1,Cn,C-,i2] 12 526(2309): 456 * * * 464 525 ( *, *) ( *, *) (483, *) ( *, *) ( *, *) (582, *) [C-,Cn,r1,Cn,C-,i2] 12 527(2317): 458 * * * 587 527 ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) (476,475) [C-,Cn,Cn,Cn,C+,r1] 12 528(2319): 597 * * * 589 441 ( *, *) (568, *) ( *, *) ( *, *) ( *, *) ( *, *) [C+,i1,Cn,Cn,C+,C-] 12 529(2320): 596 * * * 588 442 ( *, *) (567, *) ( *, *) ( *, *) ( *, *) ( *, *) [C+,i1,Cn,Cn,C+,C-] 12 530(2326): 598 * * * 592 530 ( *, *) ( *, *) (573, *) ( *, *) ( *, *) ( *, *) [C+,Cn,i2,Cn,C+,rn] 12 531(2326): 599 * * * 593 531 ( *, *) ( *, *) (574, *) ( *, *) ( *, *) ( *, *) [C+,Cn,i2,Cn,C+,rn] 12 532(2327): 600 * * * 594 532 ( *, *) (573, *) ( *, *) ( *, *) ( *, *) ( *, *) [C+,i2,Cn,Cn,C+,rn] 12 533(2327): 601 * * * 595 533 ( *, *) (574, *) ( *, *) ( *, *) ( *, *) ( *, *) [C+,i2,Cn,Cn,C+,rn] 12 534(2332): 606 * * * 590 443 ( *, *) (485, *) ( *, *) ( *, *) ( *, *) ( *, *) [C+,r1,Cn,Cn,C+,C-] 12 535(2332): 607 * * * 591 444 ( *, *) (484, *) ( *, *) ( *, *) ( *, *) ( *, *) [C+,r1,Cn,Cn,C+,C-] 12 536(2345): 465 * * * 610 445 ( *, *) ( *, *) (575, *) ( *, *) ( *, *) ( *, *) [C-,Cn,i1,Cn,C+,C-] 12 537(2345): 466 * * * 611 446 ( *, *) ( *, *) (576, *) ( *, *) ( *, *) ( *, *) [C-,Cn,i1,Cn,C+,C-] 12 538(2346): 612 * * * 612 447 ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) [C+,Cn,Cn,Cn,C+,C-] 12 539(2349): 614 * * * 614 450 ( *, *) ( *, *) (577, *) ( *, *) ( *, *) ( *, *) [C+,Cn,i1,Cn,C+,C-] 12 540(2350): 613 * * * 613 449 ( *, *) ( *, *) (578, *) ( *, *) ( *, *) ( *, *) [C+,Cn,i1,Cn,C+,C-] 12 541(2351): 609 * * * 615 448 ( *, *) (579, *) ( *, *) ( *, *) ( *, *) ( *, *) [C+,i2,Cn,Cn,C+,C-] 12 542(2357): 610 * * * 465 542 ( *, *) ( *, *) (580, *) ( *, *) ( *, *) ( *, *) [C+,Cn,i1,Cn,C-,rn] 12 543(2357): 611 * * * 466 543 ( *, *) ( *, *) (581, *) ( *, *) ( *, *) ( *, *) [C+,Cn,i1,Cn,C-,rn] 12 544(2361): 467 * * * 467 453 ( *, *) ( *, *) (487, *) ( *, *) ( *, *) ( *, *) [C-,Cn,r1,Cn,C-,C-] 12 545(2362): 468 * * * 468 452 ( *, *) ( *, *) (486, *) ( *, *) ( *, *) ( *, *) [C-,Cn,r1,Cn,C-,C-] 12 546(2365): 471 * * * 469 454 ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) [C-,Cn,Cn,Cn,C-,C-] 12 547(2366): 474 * * * 470 547 ( *, *) ( *, *) (582, *) ( *, *) ( *, *) (483,482) [C-,Cn,i2,Cn,C-,r1] 12 548(2381): 478 * * * 475 621 ( *, *) ( *, *) ( *, *) (585, *) ( *, *) ( *, *) [C-,Cn,Cn,i1,C-,C+] 12 549(2384): 477 * * * 476 620 ( *, *) ( *, *) ( *, *) (586, *) ( *, *) ( *, *) [C-,Cn,Cn,i1,C-,C+] 12 550(2400): 618 * * * 485 551 ( *, *) (590, *) ( *, *) (594, *) ( *, *) (615, *) [C+,i1,Cn,i1,C-,i1] 12 551(2402): 619 * * * 484 550 ( *, *) (591, *) ( *, *) (595, *) ( *, *) (615, *) [C+,i1,Cn,i1,C-,i1] 12 552(2407): 621 * * * 616 478 ( *, *) (603, *) ( *, *) (604, *) ( *, *) ( *, *) [C+,i1,Cn,i1,C+,C-] 12 553(2408): 620 * * * 617 477 ( *, *) (602, *) ( *, *) (605, *) ( *, *) ( *, *) [C+,i1,Cn,i1,C+,C-] 12 554(2411): 484 * * * 619 480 ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) [C-,Cn,Cn,Cn,C+,C-] 12 555(2414): 485 * * * 618 479 ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) [C-,Cn,Cn,Cn,C+,C-] 12 556(2424): 488 * * * 556 556 ( *, *) (507, *) ( *, *) (504, *) ( *, *) ( *, *) [C-,r1,Cn,r1,rn,rn] 13 557(2424): 489 * * * 557 557 ( *, *) (508, *) ( *, *) (505, *) ( *, *) ( *, *) [C-,r1,Cn,r1,rn,rn] 13 558(2425): 490 * * * 624 635 ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) [C-,Cn,Cn,Cn,C+,C+] 13 559(2425): 491 * * * 625 636 ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) [C-,Cn,Cn,Cn,C+,C+] 13 560(2428): 624 * * * 490 643 ( *, *) (516, *) ( *, *) (513, *) ( *, *) ( *, *) [C+,r1,Cn,r1,C-,C+] 13 561(2428): 625 * * * 491 644 ( *, *) (515, *) ( *, *) (514, *) ( *, *) ( *, *) [C+,r1,Cn,r1,C-,C+] 13 562(2431): 626 * * * 497 645 ( *, *) (519, *) ( *, *) ( *, *) ( *, *) ( *, *) [C+,r1,Cn,Cn,C-,C+] 13 563(2432): 494 * * * 498 646 ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) [C-,Cn,Cn,Cn,C-,C+] 13 564(2437): 495 * * * 499 651 ( *, *) ( *, *) (524, *) ( *, *) ( *, *) ( *, *) [C-,Cn,r1,Cn,C-,C+] 13 565(2437): 496 * * * 500 652 ( *, *) ( *, *) (523, *) ( *, *) ( *, *) ( *, *) [C-,Cn,r1,Cn,C-,C+] 13 566(2440): 497 * * * 626 566 ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) (509,510) [C-,Cn,Cn,Cn,C+,r2] 13 567(2442): 635 * * * 627 490 ( *, *) (529, *) ( *, *) ( *, *) ( *, *) ( *, *) [C+,r1,Cn,Cn,C+,C-] 13 568(2442): 636 * * * 628 491 ( *, *) (528, *) ( *, *) ( *, *) ( *, *) ( *, *) [C+,r1,Cn,Cn,C+,C-] 13 569(2443): 637 * * * 629 569 ( *, *) ( *, *) (622, *) ( *, *) ( *, *) ( *, *) [C+,Cn,i2,Cn,C+,rn] 13 570(2443): 638 * * * 630 570 ( *, *) ( *, *) (623, *) ( *, *) ( *, *) ( *, *) [C+,Cn,i2,Cn,C+,rn] 13 571(2444): 639 * * * 631 571 ( *, *) (622, *) ( *, *) ( *, *) ( *, *) ( *, *) [C+,i2,Cn,Cn,C+,rn] 13 572(2444): 640 * * * 632 572 ( *, *) (623, *) ( *, *) ( *, *) ( *, *) ( *, *) [C+,i2,Cn,Cn,C+,rn] 13 573(2446): 641 * * * 633 573 ( *, *) (532, *) (530, *) ( *, *) ( *, *) ( *, *) [C+,r1,r1,Cn,C+,rn] 13 574(2446): 642 * * * 634 574 ( *, *) (533, *) (531, *) ( *, *) ( *, *) ( *, *) [C+,r1,r1,Cn,C+,rn] 13 575(2450): 501 * * * 649 492 ( *, *) ( *, *) (536, *) ( *, *) ( *, *) ( *, *) [C-,Cn,r1,Cn,C+,C-] 13 576(2450): 502 * * * 650 493 ( *, *) ( *, *) (537, *) ( *, *) ( *, *) ( *, *) [C-,Cn,r1,Cn,C+,C-] 13 577(2451): 651 * * * 651 495 ( *, *) ( *, *) (539, *) ( *, *) ( *, *) ( *, *) [C+,Cn,r1,Cn,C+,C-] 13 578(2451): 652 * * * 652 496 ( *, *) ( *, *) (540, *) ( *, *) ( *, *) ( *, *) [C+,Cn,r1,Cn,C+,C-] 13 579(2452): 646 * * * 653 494 ( *, *) (541, *) ( *, *) ( *, *) ( *, *) ( *, *) [C+,r1,Cn,Cn,C+,C-] 13 580(2459): 649 * * * 501 580 ( *, *) ( *, *) (542, *) ( *, *) ( *, *) ( *, *) [C+,Cn,r1,Cn,C-,rn] 13 581(2459): 650 * * * 502 581 ( *, *) ( *, *) (543, *) ( *, *) ( *, *) ( *, *) [C+,Cn,r1,Cn,C-,rn] 13 582(2461): 506 * * * 503 582 ( *, *) ( *, *) (547, *) ( *, *) ( *, *) (525,526) [C-,Cn,r1,Cn,C-,r2] 13 583(2473): 513 * * * 509 670 ( *, *) ( *, *) ( *, *) (624, *) ( *, *) ( *, *) [C-,Cn,Cn,i1,C-,C+] 13 584(2473): 514 * * * 510 671 ( *, *) ( *, *) ( *, *) (625, *) ( *, *) ( *, *) [C-,Cn,Cn,i1,C-,C+] 13 585(2477): 515 * * * 511 673 ( *, *) ( *, *) ( *, *) (548, *) ( *, *) ( *, *) [C-,Cn,Cn,r1,C-,C+] 13 586(2478): 516 * * * 512 672 ( *, *) ( *, *) ( *, *) (549, *) ( *, *) ( *, *) [C-,Cn,Cn,r1,C-,C+] 13 587(2485): 519 * * * 527 674 ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) [C-,Cn,Cn,Cn,C-,C+] 13 588(2488): 657 * * * 529 676 ( *, *) (627, *) ( *, *) (631, *) ( *, *) ( *, *) [C+,i1,Cn,i1,C-,C+] 13 589(2489): 656 * * * 528 675 ( *, *) (628, *) ( *, *) (632, *) ( *, *) ( *, *) [C+,i1,Cn,i1,C-,C+] 13 590(2506): 662 * * * 534 591 ( *, *) (550, *) ( *, *) (633, *) ( *, *) (653, *) [C+,r1,Cn,i2,C-,i2] 13 591(2506): 663 * * * 535 590 ( *, *) (551, *) ( *, *) (634, *) ( *, *) (653, *) [C+,r1,Cn,i2,C-,i2] 13 592(2510): 664 * * * 530 593 ( *, *) ( *, *) (633, *) ( *, *) ( *, *) (654, *) [C+,Cn,i2,Cn,C-,i2] 13 593(2510): 665 * * * 531 592 ( *, *) ( *, *) (634, *) ( *, *) ( *, *) (654, *) [C+,Cn,i2,Cn,C-,i2] 13 594(2511): 666 * * * 532 595 ( *, *) (633, *) ( *, *) (550, *) ( *, *) (655, *) [C+,i2,Cn,r1,C-,i2] 13 595(2511): 667 * * * 533 594 ( *, *) (634, *) ( *, *) (551, *) ( *, *) (655, *) [C+,i2,Cn,r1,C-,i2] 13 596(2514): 529 * * * 657 512 ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) [C-,Cn,Cn,Cn,C+,C-] 13 597(2515): 528 * * * 656 511 ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) [C-,Cn,Cn,Cn,C+,C-] 13 598(2518): 530 * * * 664 598 ( *, *) ( *, *) (641, *) ( *, *) ( *, *) ( *, *) [C-,Cn,i2,Cn,C+,rn] 13 599(2518): 531 * * * 665 599 ( *, *) ( *, *) (642, *) ( *, *) ( *, *) ( *, *) [C-,Cn,i2,Cn,C+,rn] 13 600(2520): 532 * * * 666 600 ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) [C-,Cn,Cn,Cn,C+,rn] 13 601(2520): 533 * * * 667 601 ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) [C-,Cn,Cn,Cn,C+,rn] 13 602(2523): 670 * * * 658 513 ( *, *) (553, *) ( *, *) (643, *) ( *, *) ( *, *) [C+,r1,Cn,i1,C+,C-] 13 603(2523): 671 * * * 659 514 ( *, *) (552, *) ( *, *) (644, *) ( *, *) ( *, *) [C+,r1,Cn,i1,C+,C-] 13 604(2525): 673 * * * 661 515 ( *, *) (644, *) ( *, *) (552, *) ( *, *) ( *, *) [C+,i1,Cn,r1,C+,C-] 13 605(2526): 672 * * * 660 516 ( *, *) (643, *) ( *, *) (553, *) ( *, *) ( *, *) [C+,i1,Cn,r1,C+,C-] 13 606(2528): 534 * * * 662 517 ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) [C-,Cn,Cn,Cn,C+,C-] 13 607(2528): 535 * * * 663 518 ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) [C-,Cn,Cn,Cn,C+,C-] 13 608(2538): 674 * * * 677 519 ( *, *) (645, *) ( *, *) ( *, *) ( *, *) ( *, *) [C+,i2,Cn,Cn,C+,C-] 13 609(2541): 541 * * * 678 520 ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) [C-,Cn,Cn,Cn,C+,C-] 13 610(2551): 542 * * * 536 610 ( *, *) ( *, *) (649, *) ( *, *) ( *, *) ( *, *) [C-,Cn,i1,Cn,C-,rn] 13 611(2551): 543 * * * 537 611 ( *, *) ( *, *) (650, *) ( *, *) ( *, *) ( *, *) [C-,Cn,i1,Cn,C-,rn] 13 612(2552): 538 * * * 538 522 ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) [C-,Cn,Cn,Cn,C-,C-] 13 613(2554): 540 * * * 540 523 ( *, *) ( *, *) (652, *) ( *, *) ( *, *) ( *, *) [C-,Cn,i1,Cn,C-,C-] 13 614(2555): 539 * * * 539 524 ( *, *) ( *, *) (651, *) ( *, *) ( *, *) ( *, *) [C-,Cn,i1,Cn,C-,C-] 13 615(2558): 678 * * * 541 615 ( *, *) (653, *) ( *, *) (655, *) ( *, *) (551,550) [C+,i2,Cn,i2,C-,r1] 13 616(2574): 680 * * * 552 617 ( *, *) (659, *) ( *, *) ( *, *) ( *, *) (677, *) [C+,i1,Cn,Cn,C-,i1] 13 617(2576): 679 * * * 553 616 ( *, *) (658, *) ( *, *) ( *, *) ( *, *) (677, *) [C+,i1,Cn,Cn,C-,i1] 13 618(2577): 550 * * * 555 619 ( *, *) ( *, *) ( *, *) (666, *) ( *, *) (678, *) [C-,Cn,Cn,i1,C-,i1] 13 619(2578): 551 * * * 554 618 ( *, *) ( *, *) ( *, *) (667, *) ( *, *) (678, *) [C-,Cn,Cn,i1,C-,i1] 13 620(2587): 553 * * * 679 549 ( *, *) ( *, *) ( *, *) (672, *) ( *, *) ( *, *) [C-,Cn,Cn,i1,C+,C-] 13 621(2588): 552 * * * 680 548 ( *, *) ( *, *) ( *, *) (673, *) ( *, *) ( *, *) [C-,Cn,Cn,i1,C+,C-] 13 622(2593): 683 * * * 681 622 ( *, *) (571, *) (569, *) ( *, *) ( *, *) ( *, *) [C+,r1,r1,Cn,C+,rn] 14 623(2593): 684 * * * 682 623 ( *, *) (572, *) (570, *) ( *, *) ( *, *) ( *, *) [C+,r1,r1,Cn,C+,rn] 14 624(2597): 560 * * * 558 700 ( *, *) ( *, *) ( *, *) (583, *) ( *, *) ( *, *) [C-,Cn,Cn,r1,C-,C+] 14 625(2597): 561 * * * 559 701 ( *, *) ( *, *) ( *, *) (584, *) ( *, *) ( *, *) [C-,Cn,Cn,r1,C-,C+] 14 626(2600): 562 * * * 566 702 ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) [C-,Cn,Cn,Cn,C-,C+] 14 627(2603): 688 * * * 567 703 ( *, *) (588, *) ( *, *) (681, *) ( *, *) ( *, *) [C+,r1,Cn,i2,C-,C+] 14 628(2603): 689 * * * 568 704 ( *, *) (589, *) ( *, *) (682, *) ( *, *) ( *, *) [C+,r1,Cn,i2,C-,C+] 14 629(2604): 690 * * * 569 705 ( *, *) ( *, *) (681, *) ( *, *) ( *, *) ( *, *) [C+,Cn,i2,Cn,C-,C+] 14 630(2604): 691 * * * 570 706 ( *, *) ( *, *) (682, *) ( *, *) ( *, *) ( *, *) [C+,Cn,i2,Cn,C-,C+] 14 631(2605): 692 * * * 571 707 ( *, *) (681, *) ( *, *) (588, *) ( *, *) ( *, *) [C+,i2,Cn,r1,C-,C+] 14 632(2605): 693 * * * 572 708 ( *, *) (682, *) ( *, *) (589, *) ( *, *) ( *, *) [C+,i2,Cn,r1,C-,C+] 14 633(2610): 696 * * * 573 634 ( *, *) (594, *) (592, *) (590, *) ( *, *) (687, *) [C+,r1,r1,r1,C-,i2] 14 634(2610): 697 * * * 574 633 ( *, *) (595, *) (593, *) (591, *) ( *, *) (687, *) [C+,r1,r1,r1,C-,i2] 14 635(2612): 567 * * * 688 558 ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) [C-,Cn,Cn,Cn,C+,C-] 14 636(2612): 568 * * * 689 559 ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) [C-,Cn,Cn,Cn,C+,C-] 14 637(2613): 569 * * * 690 637 ( *, *) ( *, *) (683, *) ( *, *) ( *, *) ( *, *) [C-,Cn,i2,Cn,C+,rn] 14 638(2613): 570 * * * 691 638 ( *, *) ( *, *) (684, *) ( *, *) ( *, *) ( *, *) [C-,Cn,i2,Cn,C+,rn] 14 639(2614): 571 * * * 692 639 ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) [C-,Cn,Cn,Cn,C+,rn] 14 640(2614): 572 * * * 693 640 ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) [C-,Cn,Cn,Cn,C+,rn] 14 641(2617): 573 * * * 696 641 ( *, *) ( *, *) (598, *) ( *, *) ( *, *) ( *, *) [C-,Cn,r1,Cn,C+,rn] 14 642(2617): 574 * * * 697 642 ( *, *) ( *, *) (599, *) ( *, *) ( *, *) ( *, *) [C-,Cn,r1,Cn,C+,rn] 14 643(2618): 700 * * * 694 560 ( *, *) (605, *) ( *, *) (602, *) ( *, *) ( *, *) [C+,r1,Cn,r1,C+,C-] 14 644(2618): 701 * * * 695 561 ( *, *) (604, *) ( *, *) (603, *) ( *, *) ( *, *) [C+,r1,Cn,r1,C+,C-] 14 645(2621): 702 * * * 709 562 ( *, *) (608, *) ( *, *) ( *, *) ( *, *) ( *, *) [C+,r1,Cn,Cn,C+,C-] 14 646(2623): 579 * * * 710 563 ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) [C-,Cn,Cn,Cn,C+,C-] 14 647(2628): 647 * * * 647 647 ( *, *) ( *, *) (685, *) ( *, *) ( *, *) ( *, *) [rn,Cn,i1,Cn,rn,rn] 14 648(2628): 648 * * * 648 648 ( *, *) ( *, *) (686, *) ( *, *) ( *, *) ( *, *) [rn,Cn,i1,Cn,rn,rn] 14 649(2630): 580 * * * 575 649 ( *, *) ( *, *) (610, *) ( *, *) ( *, *) ( *, *) [C-,Cn,r1,Cn,C-,rn] 14 650(2630): 581 * * * 576 650 ( *, *) ( *, *) (611, *) ( *, *) ( *, *) ( *, *) [C-,Cn,r1,Cn,C-,rn] 14 651(2631): 577 * * * 577 564 ( *, *) ( *, *) (614, *) ( *, *) ( *, *) ( *, *) [C-,Cn,r1,Cn,C-,C-] 14 652(2631): 578 * * * 578 565 ( *, *) ( *, *) (613, *) ( *, *) ( *, *) ( *, *) [C-,Cn,r1,Cn,C-,C-] 14 653(2634): 710 * * * 579 653 ( *, *) (615, *) ( *, *) (687, *) ( *, *) (590,591) [C+,r1,Cn,i2,C-,r2] 14 654(2636): 711 * * * 654 654 ( *, *) ( *, *) (687, *) ( *, *) ( *, *) (592,593) [C+,Cn,i2,Cn,rn,r2] 14 655(2637): 712 * * * 655 655 ( *, *) (687, *) ( *, *) (615, *) ( *, *) (594,595) [C+,i2,Cn,r1,rn,r2] 14 656(2655): 589 * * * 597 721 ( *, *) ( *, *) ( *, *) (693, *) ( *, *) ( *, *) [C-,Cn,Cn,i1,C-,C+] 14 657(2656): 588 * * * 596 722 ( *, *) ( *, *) ( *, *) (692, *) ( *, *) ( *, *) [C-,Cn,Cn,i1,C-,C+] 14 658(2658): 715 * * * 602 659 ( *, *) (617, *) ( *, *) ( *, *) ( *, *) (709, *) [C+,r1,Cn,Cn,C-,i2] 14 659(2658): 716 * * * 603 658 ( *, *) (616, *) ( *, *) ( *, *) ( *, *) (709, *) [C+,r1,Cn,Cn,C-,i2] 14 660(2660): 718 * * * 605 725 ( *, *) (694, *) ( *, *) ( *, *) ( *, *) ( *, *) [C+,i1,Cn,Cn,C-,C+] 14 661(2661): 717 * * * 604 724 ( *, *) (695, *) ( *, *) ( *, *) ( *, *) ( *, *) [C+,i1,Cn,Cn,C-,C+] 14 662(2666): 590 * * * 606 663 ( *, *) ( *, *) ( *, *) (696, *) ( *, *) (710, *) [C-,Cn,Cn,i2,C-,i2] 14 663(2666): 591 * * * 607 662 ( *, *) ( *, *) ( *, *) (697, *) ( *, *) (710, *) [C-,Cn,Cn,i2,C-,i2] 14 664(2671): 592 * * * 598 665 ( *, *) ( *, *) (696, *) ( *, *) ( *, *) (711, *) [C-,Cn,i2,Cn,C-,i2] 14 665(2671): 593 * * * 599 664 ( *, *) ( *, *) (697, *) ( *, *) ( *, *) (711, *) [C-,Cn,i2,Cn,C-,i2] 14 666(2674): 594 * * * 600 667 ( *, *) ( *, *) ( *, *) (618, *) ( *, *) (712, *) [C-,Cn,Cn,r1,C-,i2] 14 667(2674): 595 * * * 601 666 ( *, *) ( *, *) ( *, *) (619, *) ( *, *) (712, *) [C-,Cn,Cn,r1,C-,i2] 14 668(2676): 719 * * * 713 668 ( *, *) ( *, *) ( *, *) (698, *) ( *, *) ( *, *) [C+,Cn,Cn,i1,C+,rn] 14 669(2676): 720 * * * 714 669 ( *, *) ( *, *) ( *, *) (699, *) ( *, *) ( *, *) [C+,Cn,Cn,i1,C+,rn] 14 670(2684): 602 * * * 715 583 ( *, *) ( *, *) ( *, *) (700, *) ( *, *) ( *, *) [C-,Cn,Cn,i1,C+,C-] 14 671(2684): 603 * * * 716 584 ( *, *) ( *, *) ( *, *) (701, *) ( *, *) ( *, *) [C-,Cn,Cn,i1,C+,C-] 14 672(2685): 605 * * * 718 586 ( *, *) ( *, *) ( *, *) (620, *) ( *, *) ( *, *) [C-,Cn,Cn,r1,C+,C-] 14 673(2686): 604 * * * 717 585 ( *, *) ( *, *) ( *, *) (621, *) ( *, *) ( *, *) [C-,Cn,Cn,r1,C+,C-] 14 674(2692): 608 * * * 723 587 ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) [C-,Cn,Cn,Cn,C+,C-] 14 675(2695): 721 * * * 724 589 ( *, *) (704, *) ( *, *) (708, *) ( *, *) ( *, *) [C+,i1,Cn,i1,C+,C-] 14 676(2696): 722 * * * 725 588 ( *, *) (703, *) ( *, *) (707, *) ( *, *) ( *, *) [C+,i1,Cn,i1,C+,C-] 14 677(2702): 723 * * * 608 677 ( *, *) (709, *) ( *, *) ( *, *) ( *, *) (617,616) [C+,i2,Cn,Cn,C-,r1] 14 678(2707): 615 * * * 609 678 ( *, *) ( *, *) ( *, *) (712, *) ( *, *) (619,618) [C-,Cn,Cn,i2,C-,r1] 14 679(2720): 617 * * * 620 680 ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) (723, *) [C-,Cn,Cn,Cn,C-,i1] 14 680(2721): 616 * * * 621 679 ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) (723, *) [C-,Cn,Cn,Cn,C-,i1] 14 681(2731): 726 * * * 622 728 ( *, *) (631, *) (629, *) (627, *) ( *, *) ( *, *) [C+,r1,r1,r1,C-,C+] 15 682(2731): 727 * * * 623 729 ( *, *) (632, *) (630, *) (628, *) ( *, *) ( *, *) [C+,r1,r1,r1,C-,C+] 15 683(2732): 622 * * * 726 683 ( *, *) ( *, *) (637, *) ( *, *) ( *, *) ( *, *) [C-,Cn,r1,Cn,C+,rn] 15 684(2732): 623 * * * 727 684 ( *, *) ( *, *) (638, *) ( *, *) ( *, *) ( *, *) [C-,Cn,r1,Cn,C+,rn] 15 685(2733): 685 * * * 685 685 ( *, *) ( *, *) (647, *) ( *, *) ( *, *) ( *, *) [rn,Cn,r1,Cn,rn,rn] 15 686(2733): 686 * * * 686 686 ( *, *) ( *, *) (648, *) ( *, *) ( *, *) ( *, *) [rn,Cn,r1,Cn,rn,rn] 15 687(2734): 730 * * * 687 687 ( *, *) (655, *) (654, *) (653, *) ( *, *) (633,634) [C+,r1,r1,r1,rn,r2] 15 688(2740): 627 * * * 635 739 ( *, *) ( *, *) ( *, *) (726, *) ( *, *) ( *, *) [C-,Cn,Cn,i2,C-,C+] 15 689(2740): 628 * * * 636 740 ( *, *) ( *, *) ( *, *) (727, *) ( *, *) ( *, *) [C-,Cn,Cn,i2,C-,C+] 15 690(2741): 629 * * * 637 741 ( *, *) ( *, *) (726, *) ( *, *) ( *, *) ( *, *) [C-,Cn,i2,Cn,C-,C+] 15 691(2741): 630 * * * 638 742 ( *, *) ( *, *) (727, *) ( *, *) ( *, *) ( *, *) [C-,Cn,i2,Cn,C-,C+] 15 692(2742): 631 * * * 639 743 ( *, *) ( *, *) ( *, *) (657, *) ( *, *) ( *, *) [C-,Cn,Cn,r1,C-,C+] 15 693(2742): 632 * * * 640 744 ( *, *) ( *, *) ( *, *) (656, *) ( *, *) ( *, *) [C-,Cn,Cn,r1,C-,C+] 15 694(2744): 733 * * * 643 747 ( *, *) (660, *) ( *, *) ( *, *) ( *, *) ( *, *) [C+,r1,Cn,Cn,C-,C+] 15 695(2744): 734 * * * 644 748 ( *, *) (661, *) ( *, *) ( *, *) ( *, *) ( *, *) [C+,r1,Cn,Cn,C-,C+] 15 696(2746): 633 * * * 641 697 ( *, *) ( *, *) (664, *) (662, *) ( *, *) (730, *) [C-,Cn,r1,r1,C-,i2] 15 697(2746): 634 * * * 642 696 ( *, *) ( *, *) (665, *) (663, *) ( *, *) (730, *) [C-,Cn,r1,r1,C-,i2] 15 698(2748): 737 * * * 731 698 ( *, *) ( *, *) ( *, *) (668, *) ( *, *) ( *, *) [C+,Cn,Cn,r1,C+,rn] 15 699(2748): 738 * * * 732 699 ( *, *) ( *, *) ( *, *) (669, *) ( *, *) ( *, *) [C+,Cn,Cn,r1,C+,rn] 15 700(2754): 643 * * * 733 624 ( *, *) ( *, *) ( *, *) (670, *) ( *, *) ( *, *) [C-,Cn,Cn,r1,C+,C-] 15 701(2754): 644 * * * 734 625 ( *, *) ( *, *) ( *, *) (671, *) ( *, *) ( *, *) [C-,Cn,Cn,r1,C+,C-] 15 702(2756): 645 * * * 746 626 ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) [C-,Cn,Cn,Cn,C+,C-] 15 703(2759): 739 * * * 747 627 ( *, *) (676, *) ( *, *) (728, *) ( *, *) ( *, *) [C+,r1,Cn,i2,C+,C-] 15 704(2759): 740 * * * 748 628 ( *, *) (675, *) ( *, *) (729, *) ( *, *) ( *, *) [C+,r1,Cn,i2,C+,C-] 15 705(2760): 741 * * * 749 629 ( *, *) ( *, *) (728, *) ( *, *) ( *, *) ( *, *) [C+,Cn,i2,Cn,C+,C-] 15 706(2760): 742 * * * 750 630 ( *, *) ( *, *) (729, *) ( *, *) ( *, *) ( *, *) [C+,Cn,i2,Cn,C+,C-] 15 707(2761): 743 * * * 751 631 ( *, *) (728, *) ( *, *) (676, *) ( *, *) ( *, *) [C+,i2,Cn,r1,C+,C-] 15 708(2761): 744 * * * 752 632 ( *, *) (729, *) ( *, *) (675, *) ( *, *) ( *, *) [C+,i2,Cn,r1,C+,C-] 15 709(2764): 746 * * * 645 709 ( *, *) (677, *) ( *, *) ( *, *) ( *, *) (658,659) [C+,r1,Cn,Cn,C-,r2] 15 710(2768): 653 * * * 646 710 ( *, *) ( *, *) ( *, *) (730, *) ( *, *) (662,663) [C-,Cn,Cn,i2,C-,r2] 15 711(2770): 654 * * * 711 711 ( *, *) ( *, *) (730, *) ( *, *) ( *, *) (664,665) [C-,Cn,i2,Cn,rn,r2] 15 712(2771): 655 * * * 712 712 ( *, *) ( *, *) ( *, *) (678, *) ( *, *) (666,667) [C-,Cn,Cn,r1,rn,r2] 15 713(2789): 753 * * * 668 714 ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) (745, *) [C+,Cn,Cn,Cn,C-,i2] 15 714(2789): 754 * * * 669 713 ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) (745, *) [C+,Cn,Cn,Cn,C-,i2] 15 715(2790): 658 * * * 670 716 ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) (746, *) [C-,Cn,Cn,Cn,C-,i2] 15 716(2790): 659 * * * 671 715 ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) (746, *) [C-,Cn,Cn,Cn,C-,i2] 15 717(2792): 661 * * * 673 756 ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) [C-,Cn,Cn,Cn,C-,C+] 15 718(2793): 660 * * * 672 755 ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) [C-,Cn,Cn,Cn,C-,C+] 15 719(2804): 668 * * * 753 719 ( *, *) (735, *) ( *, *) (737, *) ( *, *) ( *, *) [C-,i2,Cn,i1,C+,rn] 15 720(2804): 669 * * * 754 720 ( *, *) (736, *) ( *, *) (738, *) ( *, *) ( *, *) [C-,i2,Cn,i1,C+,rn] 15 721(2817): 675 * * * 756 656 ( *, *) ( *, *) ( *, *) (744, *) ( *, *) ( *, *) [C-,Cn,Cn,i1,C+,C-] 15 722(2818): 676 * * * 755 657 ( *, *) ( *, *) ( *, *) (743, *) ( *, *) ( *, *) [C-,Cn,Cn,i1,C+,C-] 15 723(2821): 677 * * * 674 723 ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) (680,679) [C-,Cn,Cn,Cn,C-,r1] 15 724(2823): 756 * * * 675 661 ( *, *) (748, *) ( *, *) ( *, *) ( *, *) ( *, *) [C+,i1,Cn,Cn,C-,C-] 15 725(2824): 755 * * * 676 660 ( *, *) (747, *) ( *, *) ( *, *) ( *, *) ( *, *) [C+,i1,Cn,Cn,C-,C-] 15 726(2836): 681 * * * 683 759 ( *, *) ( *, *) (690, *) (688, *) ( *, *) ( *, *) [C-,Cn,r1,r1,C-,C+] 16 727(2836): 682 * * * 684 760 ( *, *) ( *, *) (691, *) (689, *) ( *, *) ( *, *) [C-,Cn,r1,r1,C-,C+] 16 728(2838): 759 * * * 761 681 ( *, *) (707, *) (705, *) (703, *) ( *, *) ( *, *) [C+,r1,r1,r1,C+,C-] 16 729(2838): 760 * * * 762 682 ( *, *) (708, *) (706, *) (704, *) ( *, *) ( *, *) [C+,r1,r1,r1,C+,C-] 16 730(2839): 687 * * * 730 730 ( *, *) ( *, *) (711, *) (710, *) ( *, *) (696,697) [C-,Cn,r1,r1,rn,r2] 16 731(2844): 763 * * * 698 767 ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) [C+,Cn,Cn,Cn,C-,C+] 16 732(2844): 764 * * * 699 768 ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) [C+,Cn,Cn,Cn,C-,C+] 16 733(2848): 694 * * * 700 770 ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) [C-,Cn,Cn,Cn,C-,C+] 16 734(2848): 695 * * * 701 771 ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) [C-,Cn,Cn,Cn,C-,C+] 16 735(2852): 735 * * * 765 735 ( *, *) (719, *) ( *, *) (757, *) ( *, *) ( *, *) [rn,r1,Cn,i1,C+,rn] 16 736(2852): 736 * * * 766 736 ( *, *) (720, *) ( *, *) (758, *) ( *, *) ( *, *) [rn,r1,Cn,i1,C+,rn] 16 737(2854): 698 * * * 763 737 ( *, *) (757, *) ( *, *) (719, *) ( *, *) ( *, *) [C-,i2,Cn,r1,C+,rn] 16 738(2854): 699 * * * 764 738 ( *, *) (758, *) ( *, *) (720, *) ( *, *) ( *, *) [C-,i2,Cn,r1,C+,rn] 16 739(2860): 703 * * * 770 688 ( *, *) ( *, *) ( *, *) (759, *) ( *, *) ( *, *) [C-,Cn,Cn,i2,C+,C-] 16 740(2860): 704 * * * 771 689 ( *, *) ( *, *) ( *, *) (760, *) ( *, *) ( *, *) [C-,Cn,Cn,i2,C+,C-] 16 741(2861): 705 * * * 772 690 ( *, *) ( *, *) (759, *) ( *, *) ( *, *) ( *, *) [C-,Cn,i2,Cn,C+,C-] 16 742(2861): 706 * * * 773 691 ( *, *) ( *, *) (760, *) ( *, *) ( *, *) ( *, *) [C-,Cn,i2,Cn,C+,C-] 16 743(2862): 707 * * * 774 692 ( *, *) ( *, *) ( *, *) (722, *) ( *, *) ( *, *) [C-,Cn,Cn,r1,C+,C-] 16 744(2862): 708 * * * 775 693 ( *, *) ( *, *) ( *, *) (721, *) ( *, *) ( *, *) [C-,Cn,Cn,r1,C+,C-] 16 745(2865): 769 * * * 745 745 ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) (713,714) [C+,Cn,Cn,Cn,rn,r2] 16 746(2866): 709 * * * 702 746 ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) (715,716) [C-,Cn,Cn,Cn,C-,r2] 16 747(2868): 770 * * * 703 694 ( *, *) (725, *) ( *, *) ( *, *) ( *, *) ( *, *) [C+,r1,Cn,Cn,C-,C-] 16 748(2868): 771 * * * 704 695 ( *, *) (724, *) ( *, *) ( *, *) ( *, *) ( *, *) [C+,r1,Cn,Cn,C-,C-] 16 749(2870): 772 * * * 705 749 ( *, *) ( *, *) (761, *) ( *, *) ( *, *) ( *, *) [C+,Cn,i2,Cn,C-,rn] 16 750(2870): 773 * * * 706 750 ( *, *) ( *, *) (762, *) ( *, *) ( *, *) ( *, *) [C+,Cn,i2,Cn,C-,rn] 16 751(2871): 774 * * * 707 751 ( *, *) (761, *) ( *, *) ( *, *) ( *, *) ( *, *) [C+,i2,Cn,Cn,C-,rn] 16 752(2871): 775 * * * 708 752 ( *, *) (762, *) ( *, *) ( *, *) ( *, *) ( *, *) [C+,i2,Cn,Cn,C-,rn] 16 753(2884): 713 * * * 719 754 ( *, *) (765, *) ( *, *) ( *, *) ( *, *) (769, *) [C-,i2,Cn,Cn,C-,i2] 16 754(2884): 714 * * * 720 753 ( *, *) (766, *) ( *, *) ( *, *) ( *, *) (769, *) [C-,i2,Cn,Cn,C-,i2] 16 755(2906): 725 * * * 722 718 ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) [C-,Cn,Cn,Cn,C-,C-] 16 756(2907): 724 * * * 721 717 ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) [C-,Cn,Cn,Cn,C-,C-] 16 757(2913): 757 * * * 776 757 ( *, *) (737, *) ( *, *) (735, *) ( *, *) ( *, *) [rn,r1,Cn,r1,C+,rn] 17 758(2913): 758 * * * 777 758 ( *, *) (738, *) ( *, *) (736, *) ( *, *) ( *, *) [rn,r1,Cn,r1,C+,rn] 17 759(2914): 728 * * * 779 726 ( *, *) ( *, *) (741, *) (739, *) ( *, *) ( *, *) [C-,Cn,r1,r1,C+,C-] 17 760(2914): 729 * * * 780 727 ( *, *) ( *, *) (742, *) (740, *) ( *, *) ( *, *) [C-,Cn,r1,r1,C+,C-] 17 761(2915): 779 * * * 728 761 ( *, *) (751, *) (749, *) ( *, *) ( *, *) ( *, *) [C+,r1,r1,Cn,C-,rn] 17 762(2915): 780 * * * 729 762 ( *, *) (752, *) (750, *) ( *, *) ( *, *) ( *, *) [C+,r1,r1,Cn,C-,rn] 17 763(2920): 731 * * * 737 781 ( *, *) (776, *) ( *, *) ( *, *) ( *, *) ( *, *) [C-,i2,Cn,Cn,C-,C+] 17 764(2920): 732 * * * 738 782 ( *, *) (777, *) ( *, *) ( *, *) ( *, *) ( *, *) [C-,i2,Cn,Cn,C-,C+] 17 765(2922): 765 * * * 735 766 ( *, *) (753, *) ( *, *) ( *, *) ( *, *) (778, *) [rn,r1,Cn,Cn,C-,i2] 17 766(2922): 766 * * * 736 765 ( *, *) (754, *) ( *, *) ( *, *) ( *, *) (778, *) [rn,r1,Cn,Cn,C-,i2] 17 767(2932): 781 * * * 783 731 ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) [C+,Cn,Cn,Cn,C+,C-] 17 768(2932): 782 * * * 784 732 ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) [C+,Cn,Cn,Cn,C+,C-] 17 769(2936): 745 * * * 769 769 ( *, *) (778, *) ( *, *) ( *, *) ( *, *) (753,754) [C-,i2,Cn,Cn,rn,r2] 17 770(2939): 747 * * * 739 733 ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) [C-,Cn,Cn,Cn,C-,C-] 17 771(2939): 748 * * * 740 734 ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) [C-,Cn,Cn,Cn,C-,C-] 17 772(2940): 749 * * * 741 772 ( *, *) ( *, *) (779, *) ( *, *) ( *, *) ( *, *) [C-,Cn,i2,Cn,C-,rn] 17 773(2940): 750 * * * 742 773 ( *, *) ( *, *) (780, *) ( *, *) ( *, *) ( *, *) [C-,Cn,i2,Cn,C-,rn] 17 774(2941): 751 * * * 743 774 ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) [C-,Cn,Cn,Cn,C-,rn] 17 775(2941): 752 * * * 744 775 ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) [C-,Cn,Cn,Cn,C-,rn] 17 776(2963): 776 * * * 757 785 ( *, *) (763, *) ( *, *) ( *, *) ( *, *) ( *, *) [rn,r1,Cn,Cn,C-,C+] 18 777(2963): 777 * * * 758 786 ( *, *) (764, *) ( *, *) ( *, *) ( *, *) ( *, *) [rn,r1,Cn,Cn,C-,C+] 18 778(2965): 778 * * * 778 778 ( *, *) (769, *) ( *, *) ( *, *) ( *, *) (765,766) [rn,r1,Cn,Cn,rn,r2] 18 779(2966): 761 * * * 759 779 ( *, *) ( *, *) (772, *) ( *, *) ( *, *) ( *, *) [C-,Cn,r1,Cn,C-,rn] 18 780(2966): 762 * * * 760 780 ( *, *) ( *, *) (773, *) ( *, *) ( *, *) ( *, *) [C-,Cn,r1,Cn,C-,rn] 18 781(2980): 767 * * * 789 763 ( *, *) (785, *) ( *, *) ( *, *) ( *, *) ( *, *) [C-,i2,Cn,Cn,C+,C-] 18 782(2980): 768 * * * 790 764 ( *, *) (786, *) ( *, *) ( *, *) ( *, *) ( *, *) [C-,i2,Cn,Cn,C+,C-] 18 783(2986): 789 * * * 767 783 ( *, *) ( *, *) ( *, *) (787, *) ( *, *) ( *, *) [C+,Cn,Cn,i2,C-,rn] 18 784(2986): 790 * * * 768 784 ( *, *) ( *, *) ( *, *) (788, *) ( *, *) ( *, *) [C+,Cn,Cn,i2,C-,rn] 18 785(2996): 785 * * * 791 776 ( *, *) (781, *) ( *, *) ( *, *) ( *, *) ( *, *) [rn,r1,Cn,Cn,C+,C-] 19 786(2996): 786 * * * 792 777 ( *, *) (782, *) ( *, *) ( *, *) ( *, *) ( *, *) [rn,r1,Cn,Cn,C+,C-] 19 787(2999): 795 * * * 787 787 ( *, *) ( *, *) ( *, *) (783, *) ( *, *) ( *, *) [C+,Cn,Cn,r1,rn,rn] 19 788(2999): 796 * * * 788 788 ( *, *) ( *, *) ( *, *) (784, *) ( *, *) ( *, *) [C+,Cn,Cn,r1,rn,rn] 19 789(3007): 783 * * * 781 789 ( *, *) (791, *) ( *, *) (795, *) ( *, *) ( *, *) [C-,i2,Cn,i2,C-,rn] 19 790(3007): 784 * * * 782 790 ( *, *) (792, *) ( *, *) (796, *) ( *, *) ( *, *) [C-,i2,Cn,i2,C-,rn] 19 791(3012): 791 * * * 785 791 ( *, *) (789, *) ( *, *) (797, *) ( *, *) ( *, *) [rn,r1,Cn,i2,C-,rn] 20 792(3012): 792 * * * 786 792 ( *, *) (790, *) ( *, *) (798, *) ( *, *) ( *, *) [rn,r1,Cn,i2,C-,rn] 20 793(3013): 793 * * * 793 793 ( *, *) ( *, *) (797, *) ( *, *) ( *, *) ( *, *) [rn,Cn,i2,Cn,rn,rn] 20 794(3013): 794 * * * 794 794 ( *, *) ( *, *) (798, *) ( *, *) ( *, *) ( *, *) [rn,Cn,i2,Cn,rn,rn] 20 795(3014): 787 * * * 795 795 ( *, *) (797, *) ( *, *) (789, *) ( *, *) ( *, *) [C-,i2,Cn,r1,rn,rn] 20 796(3014): 788 * * * 796 796 ( *, *) (798, *) ( *, *) (790, *) ( *, *) ( *, *) [C-,i2,Cn,r1,rn,rn] 20 797(3016): 797 * * * 797 797 ( *, *) (795, *) (793, *) (791, *) ( *, *) ( *, *) [rn,r1,r1,r1,rn,rn] 21 798(3016): 798 * * * 798 798 ( *, *) (796, *) (794, *) (792, *) ( *, *) ( *, *) [rn,r1,r1,r1,rn,rn] 21