0( 0): * 0 * * 0 1 ( 2, *) ( *, *) ( 4, *) ( 7, *) ( *, *) ( 8, *) [i1,ic,i1,i1,ic,i1] 0 1( 11): * 1 * * 1 0 ( 3, *) ( *, *) ( 5, *) ( 6, *) ( *, *) ( 8, *) [i1,ic,i1,i1,ic,i1] 0 2( 30): * 16 * * 2 3 ( 0, *) ( *, *) ( 10, *) ( 11, *) ( *, *) ( 13, *) [r1,C+,i1,i1,ic,i1] 1 3( 36): * 17 * * 3 2 ( 1, *) ( *, *) ( 9, *) ( 12, *) ( *, *) ( 13, *) [r1,C+,i1,i1,ic,i1] 1 4( 48): * 19 * * 4 5 ( 10, *) ( *, *) ( 0, *) ( *, *) ( *, *) ( 14, *) [i1,C+,r1,Cn,ic,i1] 1 5( 52): * 18 * * 5 4 ( 9, *) ( *, *) ( 1, *) ( *, *) ( *, *) ( 14, *) [i1,C+,r1,Cn,ic,i1] 1 6( 58): * 6 * * 21 7 ( 12, *) ( *, *) ( *, *) ( 1, *) ( *, *) ( 15, *) [i1,ic,Cn,r1,C+,i1] 1 7( 60): * 7 * * 20 6 ( 11, *) ( *, *) ( *, *) ( 0, *) ( *, *) ( 15, *) [i1,ic,Cn,r1,C+,i1] 1 8( 70): * 8 * * 22 8 ( 13, *) ( *, *) ( 14, *) ( 15, *) ( *, *) ( 1, 0) [i1,ic,i1,i1,C+,r1] 1 9( 80): * 26 * * 9 10 ( 5, *) ( *, *) ( 3, *) ( *, *) ( *, *) ( 23, *) [r1,C+,r1,Cn,ic,i1] 2 10( 81): * 25 * * 10 9 ( 4, *) ( *, *) ( 2, *) ( *, *) ( *, *) ( 23, *) [r1,C+,r1,Cn,ic,i1] 2 11( 82): * 28 * * 30 12 ( 7, *) ( *, *) ( *, *) ( 2, *) ( *, *) ( 24, *) [r1,C+,Cn,r1,C+,i1] 2 12( 83): * 27 * * 29 11 ( 6, *) ( *, *) ( *, *) ( 3, *) ( *, *) ( 24, *) [r1,C+,Cn,r1,C+,i1] 2 13( 93): * 34 * * 32 13 ( 8, *) ( *, *) ( 23, *) ( 24, *) ( *, *) ( 3, 2) [r1,C+,i1,i1,C+,r1] 2 14( 100): * 35 * * 33 14 ( 23, *) ( *, *) ( 8, *) ( *, *) ( *, *) ( 5, 4) [i1,C+,r1,Cn,C+,r1] 2 15( 103): * 15 * * 31 15 ( 24, *) ( *, *) ( *, *) ( 8, *) ( *, *) ( 7, 6) [i1,ic,Cn,r1,C+,r1] 2 16( 107): * 2 * * 16 17 ( *, *) ( *, *) ( *, *) ( 28, *) ( *, *) ( 34, *) [Cn,C-,Cn,i1,ic,i1] 2 17( 111): * 3 * * 17 16 ( *, *) ( *, *) ( *, *) ( 27, *) ( *, *) ( 34, *) [Cn,C-,Cn,i1,ic,i1] 2 18( 112): * 5 * * 18 19 ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) ( 35, *) [Cn,C-,Cn,Cn,ic,i1] 2 19( 119): * 4 * * 19 18 ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) ( 35, *) [Cn,C-,Cn,Cn,ic,i1] 2 20( 128): * 20 * * 7 36 ( 30, *) ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) [i1,ic,Cn,Cn,C-,C+] 2 21( 135): * 21 * * 6 37 ( 29, *) ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) [i1,ic,Cn,Cn,C-,C+] 2 22( 137): * 22 * * 8 22 ( 32, *) ( *, *) ( 33, *) ( *, *) ( *, *) ( *, *) [i1,ic,i1,Cn,C-,ic] 2 23( 154): * 40 * * 39 23 ( 14, *) ( *, *) ( 13, *) ( *, *) ( *, *) ( 10, 9) [r1,C+,r1,Cn,C+,r1] 3 24( 155): * 41 * * 38 24 ( 15, *) ( *, *) ( *, *) ( 13, *) ( *, *) ( 12, 11) [r1,C+,Cn,r1,C+,r1] 3 25( 157): * 10 * * 25 26 ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) ( 40, *) [Cn,C-,Cn,Cn,ic,i1] 3 26( 158): * 9 * * 26 25 ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) ( 40, *) [Cn,C-,Cn,Cn,ic,i1] 3 27( 161): * 12 * * 43 28 ( *, *) ( *, *) ( *, *) ( 17, *) ( *, *) ( 41, *) [Cn,C-,Cn,r1,C+,i1] 3 28( 162): * 11 * * 42 27 ( *, *) ( *, *) ( *, *) ( 16, *) ( *, *) ( 41, *) [Cn,C-,Cn,r1,C+,i1] 3 29( 171): * 43 * * 12 48 ( 21, *) ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) [r1,C+,Cn,Cn,C-,C+] 3 30( 172): * 42 * * 11 49 ( 20, *) ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) [r1,C+,Cn,Cn,C-,C+] 3 31( 176): * 31 * * 15 50 ( 38, *) ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) [i1,ic,Cn,Cn,C-,C+] 3 32( 178): * 44 * * 13 32 ( 22, *) ( *, *) ( 39, *) ( *, *) ( *, *) ( *, *) [r1,C+,i1,Cn,C-,ic] 3 33( 186): * 45 * * 14 33 ( 39, *) ( *, *) ( 22, *) ( *, *) ( *, *) ( *, *) [i1,C+,r1,Cn,C-,ic] 3 34( 189): * 13 * * 44 34 ( *, *) ( *, *) ( *, *) ( 41, *) ( *, *) ( 17, 16) [Cn,C-,Cn,i1,C+,r1] 3 35( 190): * 14 * * 45 35 ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) ( 19, 18) [Cn,C-,Cn,Cn,C+,r1] 3 36( 242): * 36 * * 54 20 ( 49, *) ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) [i1,ic,Cn,Cn,C+,C-] 3 37( 245): * 37 * * 55 21 ( 48, *) ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) [i1,ic,Cn,Cn,C+,C-] 3 38( 248): * 56 * * 24 60 ( 31, *) ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) [r1,C+,Cn,Cn,C-,C+] 4 39( 250): * 57 * * 23 39 ( 33, *) ( *, *) ( 32, *) ( *, *) ( *, *) ( *, *) [r1,C+,r1,Cn,C-,ic] 4 40( 251): * 23 * * 57 40 ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) ( 26, 25) [Cn,C-,Cn,Cn,C+,r1] 4 41( 253): * 24 * * 56 41 ( *, *) ( *, *) ( *, *) ( 34, *) ( *, *) ( 28, 27) [Cn,C-,Cn,r1,C+,r1] 4 42( 283): * 30 * * 28 74 ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) [Cn,C-,Cn,Cn,C-,C+] 4 43( 284): * 29 * * 27 73 ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) [Cn,C-,Cn,Cn,C-,C+] 4 44( 293): * 32 * * 34 44 ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) [Cn,C-,Cn,Cn,C-,ic] 4 45( 296): * 33 * * 35 45 ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) [Cn,C-,Cn,Cn,C-,ic] 4 46( 310): * 46 * * 70 46 ( 58, *) ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) [i1,ic,Cn,Cn,C+,rn] 4 47( 310): * 47 * * 71 47 ( 59, *) ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) [i1,ic,Cn,Cn,C+,rn] 4 48( 311): * 73 * * 68 29 ( 37, *) ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) [r1,C+,Cn,Cn,C+,C-] 4 49( 312): * 74 * * 69 30 ( 36, *) ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) [r1,C+,Cn,Cn,C+,C-] 4 50( 321): * 50 * * 75 31 ( 60, *) ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) [i1,ic,Cn,Cn,C+,C-] 4 51( 331): * 76 * * 51 51 ( 62, *) ( *, *) ( *, *) ( 65, *) ( *, *) ( *, *) [i1,C+,Cn,i1,ic,ic] 4 52( 335): * 52 * * 78 53 ( *, *) ( *, *) ( 64, *) ( *, *) ( *, *) ( 72, *) [Cn,ic,i1,Cn,C+,i1] 4 53( 336): * 53 * * 77 52 ( *, *) ( *, *) ( 63, *) ( *, *) ( *, *) ( 72, *) [Cn,ic,i1,Cn,C+,i1] 4 54( 348): * 54 * * 36 55 ( 69, *) ( *, *) ( *, *) ( 70, *) ( *, *) ( 75, *) [i1,ic,Cn,i1,C-,i1] 4 55( 349): * 55 * * 37 54 ( 68, *) ( *, *) ( *, *) ( 71, *) ( *, *) ( 75, *) [i1,ic,Cn,i1,C-,i1] 4 56( 369): * 38 * * 41 85 ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) [Cn,C-,Cn,Cn,C-,C+] 5 57( 370): * 39 * * 40 57 ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) [Cn,C-,Cn,Cn,C-,ic] 5 58( 376): * 83 * * 80 58 ( 46, *) ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) [r1,C+,Cn,Cn,C+,rn] 5 59( 376): * 84 * * 81 59 ( 47, *) ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) [r1,C+,Cn,Cn,C+,rn] 5 60( 378): * 85 * * 86 38 ( 50, *) ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) [r1,C+,Cn,Cn,C+,C-] 5 61( 384): * 89 * * 61 61 ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) [Cn,C+,Cn,Cn,ic,ic] 5 62( 389): * 88 * * 62 62 ( 51, *) ( *, *) ( *, *) ( 79, *) ( *, *) ( *, *) [r1,C+,Cn,i1,ic,ic] 5 63( 392): * 92 * * 93 64 ( *, *) ( *, *) ( 53, *) ( *, *) ( *, *) ( 82, *) [Cn,C+,r1,Cn,C+,i1] 5 64( 393): * 91 * * 94 63 ( *, *) ( *, *) ( 52, *) ( *, *) ( *, *) ( 82, *) [Cn,C+,r1,Cn,C+,i1] 5 65( 394): * 90 * * 97 65 ( 79, *) ( *, *) ( *, *) ( 51, *) ( *, *) ( *, *) [i1,C+,Cn,r1,C+,ic] 5 66( 397): * 66 * * 96 102 ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) [Cn,ic,Cn,Cn,C+,C+] 5 67( 398): * 67 * * 95 101 ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) [Cn,ic,Cn,Cn,C+,C+] 5 68( 429): * 100 * * 48 69 ( 55, *) ( *, *) ( *, *) ( 81, *) ( *, *) ( 86, *) [r1,C+,Cn,i1,C-,i1] 5 69( 430): * 99 * * 49 68 ( 54, *) ( *, *) ( *, *) ( 80, *) ( *, *) ( 86, *) [r1,C+,Cn,i1,C-,i1] 5 70( 434): * 70 * * 46 71 ( 80, *) ( *, *) ( *, *) ( 54, *) ( *, *) ( 87, *) [i1,ic,Cn,r1,C-,i2] 5 71( 434): * 71 * * 47 70 ( 81, *) ( *, *) ( *, *) ( 55, *) ( *, *) ( 87, *) [i1,ic,Cn,r1,C-,i2] 5 72( 443): * 72 * * 98 72 ( *, *) ( *, *) ( 82, *) ( *, *) ( *, *) ( 53, 52) [Cn,ic,i1,Cn,C+,r1] 5 73( 452): * 48 * * 100 43 ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) [Cn,C-,Cn,Cn,C+,C-] 5 74( 453): * 49 * * 99 42 ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) [Cn,C-,Cn,Cn,C+,C-] 5 75( 462): * 75 * * 50 75 ( 86, *) ( *, *) ( *, *) ( 87, *) ( *, *) ( 55, 54) [i1,ic,Cn,i2,C-,r1] 5 76( 470): * 51 * * 76 76 ( *, *) ( *, *) ( 89, *) ( 90, *) ( *, *) ( *, *) [Cn,C-,i1,i1,ic,ic] 5 77( 478): * 77 * * 53 106 ( *, *) ( *, *) ( 93, *) ( 95, *) ( *, *) ( *, *) [Cn,ic,i1,i1,C-,C+] 5 78( 482): * 78 * * 52 105 ( *, *) ( *, *) ( 94, *) ( 96, *) ( *, *) ( *, *) [Cn,ic,i1,i1,C-,C+] 5 79( 499): * 108 * * 109 79 ( 65, *) ( *, *) ( *, *) ( 62, *) ( *, *) ( *, *) [r1,C+,Cn,r1,C+,ic] 6 80( 511): * 111 * * 58 81 ( 70, *) ( *, *) ( *, *) ( 69, *) ( *, *) (107, *) [r1,C+,Cn,r1,C-,i2] 6 81( 511): * 112 * * 59 80 ( 71, *) ( *, *) ( *, *) ( 68, *) ( *, *) (107, *) [r1,C+,Cn,r1,C-,i2] 6 82( 517): * 113 * * 110 82 ( *, *) ( *, *) ( 72, *) ( *, *) ( *, *) ( 64, 63) [Cn,C+,r1,Cn,C+,r1] 6 83( 520): * 58 * * 111 83 ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) [Cn,C-,Cn,Cn,C+,rn] 6 84( 520): * 59 * * 112 84 ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) [Cn,C-,Cn,Cn,C+,rn] 6 85( 523): * 60 * * 116 56 ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) [Cn,C-,Cn,Cn,C+,C-] 6 86( 527): * 116 * * 60 86 ( 75, *) ( *, *) ( *, *) (107, *) ( *, *) ( 69, 68) [r1,C+,Cn,i2,C-,r1] 6 87( 530): * 87 * * 87 87 (107, *) ( *, *) ( *, *) ( 75, *) ( *, *) ( 70, 71) [i1,ic,Cn,r1,rn,r2] 6 88( 533): * 62 * * 88 88 ( *, *) ( *, *) ( *, *) (108, *) ( *, *) ( *, *) [Cn,C-,Cn,i1,ic,ic] 6 89( 536): * 61 * * 89 89 ( *, *) ( *, *) ( 76, *) ( *, *) ( *, *) ( *, *) [Cn,C-,r1,Cn,ic,ic] 6 90( 541): * 65 * * 124 90 ( *, *) ( *, *) ( *, *) ( 76, *) ( *, *) ( *, *) [Cn,C-,Cn,r1,C+,ic] 6 91( 544): * 64 * * 123 92 ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) (113, *) [Cn,C-,Cn,Cn,C+,i1] 6 92( 545): * 63 * * 122 91 ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) (113, *) [Cn,C-,Cn,Cn,C+,i1] 6 93( 561): * 122 * * 63 131 ( *, *) ( *, *) ( 77, *) ( *, *) ( *, *) ( *, *) [Cn,C+,r1,Cn,C-,C+] 6 94( 562): * 123 * * 64 130 ( *, *) ( *, *) ( 78, *) ( *, *) ( *, *) ( *, *) [Cn,C+,r1,Cn,C-,C+] 6 95( 563): * 95 * * 67 132 ( *, *) ( *, *) ( *, *) ( 77, *) ( *, *) ( *, *) [Cn,ic,Cn,r1,C-,C+] 6 96( 564): * 96 * * 66 133 ( *, *) ( *, *) ( *, *) ( 78, *) ( *, *) ( *, *) [Cn,ic,Cn,r1,C-,C+] 6 97( 568): * 124 * * 65 134 (109, *) ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) [i1,C+,Cn,Cn,C-,C+] 6 98( 574): * 98 * * 72 135 ( *, *) ( *, *) (110, *) ( *, *) ( *, *) ( *, *) [Cn,ic,i1,Cn,C-,C+] 6 99( 588): * 69 * * 74 100 ( *, *) ( *, *) ( *, *) (111, *) ( *, *) (116, *) [Cn,C-,Cn,i1,C-,i1] 6 100( 589): * 68 * * 73 99 ( *, *) ( *, *) ( *, *) (112, *) ( *, *) (116, *) [Cn,C-,Cn,i1,C-,i1] 6 101( 596): * 101 * * 126 67 ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) [Cn,ic,Cn,Cn,C+,C-] 6 102( 597): * 102 * * 125 66 ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) [Cn,ic,Cn,Cn,C+,C-] 6 103( 631): * 136 * * 103 104 (118, *) ( *, *) (121, *) ( *, *) ( *, *) (129, *) [i1,C+,i1,Cn,ic,i1] 6 104( 634): * 137 * * 104 103 (119, *) ( *, *) (120, *) ( *, *) ( *, *) (129, *) [i1,C+,i1,Cn,ic,i1] 6 105( 647): * 105 * * 139 78 ( *, *) ( *, *) (130, *) (133, *) ( *, *) ( *, *) [Cn,ic,i1,i1,C+,C-] 6 106( 653): * 106 * * 138 77 ( *, *) ( *, *) (131, *) (132, *) ( *, *) ( *, *) [Cn,ic,i1,i1,C+,C-] 6 107( 654): * 140 * * 107 107 ( 87, *) ( *, *) ( *, *) ( 86, *) ( *, *) ( 80, 81) [r1,C+,Cn,r1,rn,r2] 7 108( 657): * 79 * * 145 108 ( *, *) ( *, *) ( *, *) ( 88, *) ( *, *) ( *, *) [Cn,C-,Cn,r1,C+,ic] 7 109( 664): * 145 * * 79 155 ( 97, *) ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) [r1,C+,Cn,Cn,C-,C+] 7 110( 669): * 146 * * 82 156 ( *, *) ( *, *) ( 98, *) ( *, *) ( *, *) ( *, *) [Cn,C+,r1,Cn,C-,C+] 7 111( 674): * 80 * * 83 112 ( *, *) ( *, *) ( *, *) ( 99, *) ( *, *) (140, *) [Cn,C-,Cn,r1,C-,i2] 7 112( 674): * 81 * * 84 111 ( *, *) ( *, *) ( *, *) (100, *) ( *, *) (140, *) [Cn,C-,Cn,r1,C-,i2] 7 113( 679): * 82 * * 146 113 ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) ( 92, 91) [Cn,C-,Cn,Cn,C+,r1] 7 114( 682): * 114 * * 147 114 ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) [Cn,ic,Cn,Cn,C+,rn] 7 115( 682): * 115 * * 148 115 ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) [Cn,ic,Cn,Cn,C+,rn] 7 116( 696): * 86 * * 85 116 ( *, *) ( *, *) ( *, *) (140, *) ( *, *) (100, 99) [Cn,C-,Cn,i2,C-,r1] 7 117( 712): * 157 * * 164 117 ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) [Cn,C+,Cn,Cn,C+,ic] 7 118( 719): * 160 * * 118 119 (103, *) ( *, *) (144, *) ( *, *) ( *, *) (153, *) [r1,C+,i1,Cn,ic,i1] 7 119( 720): * 161 * * 119 118 (104, *) ( *, *) (143, *) ( *, *) ( *, *) (153, *) [r1,C+,i1,Cn,ic,i1] 7 120( 724): * 162 * * 120 121 (143, *) ( *, *) (104, *) ( *, *) ( *, *) (154, *) [i1,C+,r1,Cn,ic,i2] 7 121( 724): * 163 * * 121 120 (144, *) ( *, *) (103, *) ( *, *) ( *, *) (154, *) [i1,C+,r1,Cn,ic,i2] 7 122( 728): * 93 * * 92 174 ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) [Cn,C-,Cn,Cn,C-,C+] 7 123( 729): * 94 * * 91 175 ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) [Cn,C-,Cn,Cn,C-,C+] 7 124( 734): * 97 * * 90 176 ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) [Cn,C-,Cn,Cn,C-,C+] 7 125( 745): * 125 * * 102 178 ( *, *) ( *, *) ( *, *) (147, *) ( *, *) ( *, *) [Cn,ic,Cn,i1,C-,C+] 7 126( 746): * 126 * * 101 177 ( *, *) ( *, *) ( *, *) (148, *) ( *, *) ( *, *) [Cn,ic,Cn,i1,C-,C+] 7 127( 763): * 127 * * 165 127 ( *, *) ( *, *) (149, *) (151, *) ( *, *) ( *, *) [Cn,ic,i1,i1,C+,rn] 7 128( 763): * 128 * * 166 128 ( *, *) ( *, *) (150, *) (152, *) ( *, *) ( *, *) [Cn,ic,i1,i1,C+,rn] 7 129( 768): * 173 * * 172 129 (153, *) ( *, *) (154, *) ( *, *) ( *, *) (104,103) [i1,C+,i2,Cn,C+,r1] 7 130( 775): * 175 * * 167 94 ( *, *) ( *, *) (105, *) ( *, *) ( *, *) ( *, *) [Cn,C+,r1,Cn,C+,C-] 7 131( 776): * 174 * * 168 93 ( *, *) ( *, *) (106, *) ( *, *) ( *, *) ( *, *) [Cn,C+,r1,Cn,C+,C-] 7 132( 777): * 132 * * 170 95 ( *, *) ( *, *) ( *, *) (106, *) ( *, *) ( *, *) [Cn,ic,Cn,r1,C+,C-] 7 133( 778): * 133 * * 169 96 ( *, *) ( *, *) ( *, *) (105, *) ( *, *) ( *, *) [Cn,ic,Cn,r1,C+,C-] 7 134( 783): * 176 * * 171 97 (155, *) ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) [i1,C+,Cn,Cn,C+,C-] 7 135( 790): * 135 * * 179 98 ( *, *) ( *, *) (156, *) ( *, *) ( *, *) ( *, *) [Cn,ic,i1,Cn,C+,C-] 7 136( 801): * 103 * * 136 137 ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) (173, *) [Cn,C-,Cn,Cn,ic,i1] 7 137( 806): * 104 * * 137 136 ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) (173, *) [Cn,C-,Cn,Cn,ic,i1] 7 138( 812): * 138 * * 106 139 ( *, *) ( *, *) (168, *) ( *, *) ( *, *) (179, *) [Cn,ic,i1,Cn,C-,i1] 7 139( 814): * 139 * * 105 138 ( *, *) ( *, *) (167, *) ( *, *) ( *, *) (179, *) [Cn,ic,i1,Cn,C-,i1] 7 140( 818): * 107 * * 140 140 ( *, *) ( *, *) ( *, *) (116, *) ( *, *) (111,112) [Cn,C-,Cn,r1,rn,r2] 8 141( 821): * 181 * * 187 141 ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) [Cn,C+,Cn,Cn,C+,ic] 8 142( 823): * 182 * * 188 198 ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) [Cn,C+,Cn,Cn,C+,C+] 8 143( 826): * 185 * * 143 144 (120, *) ( *, *) (119, *) ( *, *) ( *, *) (180, *) [r1,C+,r1,Cn,ic,i2] 8 144( 826): * 186 * * 144 143 (121, *) ( *, *) (118, *) ( *, *) ( *, *) (180, *) [r1,C+,r1,Cn,ic,i2] 8 145( 831): * 109 * * 108 202 ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) [Cn,C-,Cn,Cn,C-,C+] 8 146( 836): * 110 * * 113 203 ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) [Cn,C-,Cn,Cn,C-,C+] 8 147( 840): * 147 * * 114 204 ( *, *) ( *, *) ( *, *) (125, *) ( *, *) ( *, *) [Cn,ic,Cn,r1,C-,C+] 8 148( 840): * 148 * * 115 205 ( *, *) ( *, *) ( *, *) (126, *) ( *, *) ( *, *) [Cn,ic,Cn,r1,C-,C+] 8 149( 846): * 196 * * 191 149 ( *, *) ( *, *) (127, *) ( *, *) ( *, *) ( *, *) [Cn,C+,r1,Cn,C+,rn] 8 150( 846): * 197 * * 192 150 ( *, *) ( *, *) (128, *) ( *, *) ( *, *) ( *, *) [Cn,C+,r1,Cn,C+,rn] 8 151( 848): * 151 * * 189 151 ( *, *) ( *, *) ( *, *) (127, *) ( *, *) ( *, *) [Cn,ic,Cn,r1,C+,rn] 8 152( 848): * 152 * * 190 152 ( *, *) ( *, *) ( *, *) (128, *) ( *, *) ( *, *) [Cn,ic,Cn,r1,C+,rn] 8 153( 854): * 200 * * 194 153 (129, *) ( *, *) (180, *) ( *, *) ( *, *) (119,118) [r1,C+,i2,Cn,C+,r1] 8 154( 855): * 201 * * 195 154 (180, *) ( *, *) (129, *) ( *, *) ( *, *) (120,121) [i1,C+,r1,Cn,C+,r2] 8 155( 859): * 202 * * 193 109 (134, *) ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) [r1,C+,Cn,Cn,C+,C-] 8 156( 866): * 203 * * 207 110 ( *, *) ( *, *) (135, *) ( *, *) ( *, *) ( *, *) [Cn,C+,r1,Cn,C+,C-] 8 157( 879): * 117 * * 210 157 ( *, *) ( *, *) (181, *) ( *, *) ( *, *) ( *, *) [Cn,C-,i1,Cn,C+,ic] 8 158( 885): * 209 * * 212 159 ( *, *) ( *, *) (184, *) ( *, *) ( *, *) (199, *) [Cn,C+,i1,Cn,C+,i1] 8 159( 886): * 208 * * 211 158 ( *, *) ( *, *) (183, *) ( *, *) ( *, *) (199, *) [Cn,C+,i1,Cn,C+,i1] 8 160( 887): * 118 * * 160 161 ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) (200, *) [Cn,C-,Cn,Cn,ic,i1] 8 161( 888): * 119 * * 161 160 ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) (200, *) [Cn,C-,Cn,Cn,ic,i1] 8 162( 889): * 120 * * 162 163 ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) (201, *) [Cn,C-,Cn,Cn,ic,i2] 8 163( 889): * 121 * * 163 162 ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) (201, *) [Cn,C-,Cn,Cn,ic,i2] 8 164( 899): * 210 * * 117 217 ( *, *) ( *, *) ( *, *) (188, *) ( *, *) ( *, *) [Cn,C+,Cn,i1,C-,C+] 8 165( 914): * 165 * * 127 166 ( *, *) ( *, *) (191, *) ( *, *) ( *, *) (206, *) [Cn,ic,i1,Cn,C-,i2] 8 166( 914): * 166 * * 128 165 ( *, *) ( *, *) (192, *) ( *, *) ( *, *) (206, *) [Cn,ic,i1,Cn,C-,i2] 8 167( 920): * 214 * * 130 168 ( *, *) ( *, *) (139, *) ( *, *) ( *, *) (207, *) [Cn,C+,r1,Cn,C-,i1] 8 168( 921): * 213 * * 131 167 ( *, *) ( *, *) (138, *) ( *, *) ( *, *) (207, *) [Cn,C+,r1,Cn,C-,i1] 8 169( 922): * 169 * * 133 218 ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) [Cn,ic,Cn,Cn,C-,C+] 8 170( 923): * 170 * * 132 219 ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) [Cn,ic,Cn,Cn,C-,C+] 8 171( 929): * 215 * * 134 171 (193, *) ( *, *) ( *, *) (195, *) ( *, *) ( *, *) [i1,C+,Cn,i2,C-,ic] 8 172( 933): * 216 * * 129 172 (194, *) ( *, *) (195, *) ( *, *) ( *, *) ( *, *) [i1,C+,i2,Cn,C-,ic] 8 173( 937): * 129 * * 216 173 ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) (137,136) [Cn,C-,Cn,Cn,C+,r1] 8 174( 940): * 131 * * 213 122 ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) [Cn,C-,Cn,Cn,C+,C-] 8 175( 941): * 130 * * 214 123 ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) [Cn,C-,Cn,Cn,C+,C-] 8 176( 948): * 134 * * 215 124 ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) [Cn,C-,Cn,Cn,C+,C-] 8 177( 958): * 177 * * 219 126 ( *, *) ( *, *) ( *, *) (205, *) ( *, *) ( *, *) [Cn,ic,Cn,i1,C+,C-] 8 178( 959): * 178 * * 218 125 ( *, *) ( *, *) ( *, *) (204, *) ( *, *) ( *, *) [Cn,ic,Cn,i1,C+,C-] 8 179( 962): * 179 * * 135 179 ( *, *) ( *, *) (207, *) ( *, *) ( *, *) (139,138) [Cn,ic,i1,Cn,C-,r1] 8 180( 984): * 224 * * 222 180 (154, *) ( *, *) (153, *) ( *, *) ( *, *) (143,144) [r1,C+,r1,Cn,C+,r2] 9 181( 989): * 141 * * 228 181 ( *, *) ( *, *) (157, *) ( *, *) ( *, *) ( *, *) [Cn,C-,r1,Cn,C+,ic] 9 182( 990): * 142 * * 229 239 ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) [Cn,C-,Cn,Cn,C+,C+] 9 183( 994): * 226 * * 230 184 ( *, *) ( *, *) (159, *) ( *, *) ( *, *) (223, *) [Cn,C+,r1,Cn,C+,i2] 9 184( 994): * 227 * * 231 183 ( *, *) ( *, *) (158, *) ( *, *) ( *, *) (223, *) [Cn,C+,r1,Cn,C+,i2] 9 185( 995): * 143 * * 185 186 ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) (224, *) [Cn,C-,Cn,Cn,ic,i2] 9 186( 995): * 144 * * 186 185 ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) (224, *) [Cn,C-,Cn,Cn,ic,i2] 9 187( 998): * 228 * * 141 241 ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) [Cn,C+,Cn,Cn,C-,C+] 9 188(1001): * 229 * * 142 242 ( *, *) ( *, *) ( *, *) (164, *) ( *, *) ( *, *) [Cn,C+,Cn,r1,C-,C+] 9 189(1007): * 189 * * 151 243 ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) [Cn,ic,Cn,Cn,C-,C+] 9 190(1007): * 190 * * 152 244 ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) [Cn,ic,Cn,Cn,C-,C+] 9 191(1012): * 234 * * 149 192 ( *, *) ( *, *) (165, *) ( *, *) ( *, *) (225, *) [Cn,C+,r1,Cn,C-,i2] 9 192(1012): * 235 * * 150 191 ( *, *) ( *, *) (166, *) ( *, *) ( *, *) (225, *) [Cn,C+,r1,Cn,C-,i2] 9 193(1016): * 236 * * 155 193 (171, *) ( *, *) ( *, *) (222, *) ( *, *) ( *, *) [r1,C+,Cn,i2,C-,ic] 9 194(1017): * 237 * * 153 194 (172, *) ( *, *) (222, *) ( *, *) ( *, *) ( *, *) [r1,C+,i2,Cn,C-,ic] 9 195(1020): * 238 * * 154 195 (222, *) ( *, *) (172, *) (171, *) ( *, *) ( *, *) [i1,C+,r1,r1,C-,ic] 9 196(1021): * 149 * * 234 196 ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) [Cn,C-,Cn,Cn,C+,rn] 9 197(1021): * 150 * * 235 197 ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) [Cn,C-,Cn,Cn,C+,rn] 9 198(1026): * 239 * * 232 142 ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) [Cn,C+,Cn,Cn,C+,C-] 9 199(1027): * 240 * * 233 199 ( *, *) ( *, *) (223, *) ( *, *) ( *, *) (159,158) [Cn,C+,i2,Cn,C+,r1] 9 200(1028): * 153 * * 237 200 ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) (161,160) [Cn,C-,Cn,Cn,C+,r1] 9 201(1029): * 154 * * 238 201 ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) (162,163) [Cn,C-,Cn,Cn,C+,r2] 9 202(1035): * 155 * * 236 145 ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) [Cn,C-,Cn,Cn,C+,C-] 9 203(1041): * 156 * * 245 146 ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) [Cn,C-,Cn,Cn,C+,C-] 9 204(1045): * 204 * * 246 147 ( *, *) ( *, *) ( *, *) (178, *) ( *, *) ( *, *) [Cn,ic,Cn,r1,C+,C-] 9 205(1045): * 205 * * 247 148 ( *, *) ( *, *) ( *, *) (177, *) ( *, *) ( *, *) [Cn,ic,Cn,r1,C+,C-] 9 206(1049): * 206 * * 206 206 ( *, *) ( *, *) (225, *) ( *, *) ( *, *) (165,166) [Cn,ic,i1,Cn,rn,r2] 9 207(1052): * 245 * * 156 207 ( *, *) ( *, *) (179, *) ( *, *) ( *, *) (168,167) [Cn,C+,r1,Cn,C-,r1] 9 208(1067): * 159 * * 255 209 ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) (240, *) [Cn,C-,Cn,Cn,C+,i1] 9 209(1068): * 158 * * 256 208 ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) (240, *) [Cn,C-,Cn,Cn,C+,i1] 9 210(1081): * 164 * * 157 259 ( *, *) ( *, *) (228, *) (229, *) ( *, *) ( *, *) [Cn,C-,i1,i1,C-,C+] 9 211(1085): * 255 * * 159 261 ( *, *) ( *, *) (230, *) ( *, *) ( *, *) ( *, *) [Cn,C+,i1,Cn,C-,C+] 9 212(1086): * 256 * * 158 260 ( *, *) ( *, *) (231, *) ( *, *) ( *, *) ( *, *) [Cn,C+,i1,Cn,C-,C+] 9 213(1093): * 168 * * 174 214 ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) (245, *) [Cn,C-,Cn,Cn,C-,i1] 9 214(1094): * 167 * * 175 213 ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) (245, *) [Cn,C-,Cn,Cn,C-,i1] 9 215(1101): * 171 * * 176 215 ( *, *) ( *, *) ( *, *) (238, *) ( *, *) ( *, *) [Cn,C-,Cn,i2,C-,ic] 9 216(1107): * 172 * * 173 216 ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) [Cn,C-,Cn,Cn,C-,ic] 9 217(1118): * 259 * * 257 164 ( *, *) ( *, *) ( *, *) (242, *) ( *, *) ( *, *) [Cn,C+,Cn,i1,C+,C-] 9 218(1134): * 218 * * 178 169 ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) [Cn,ic,Cn,Cn,C-,C-] 9 219(1135): * 219 * * 177 170 ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) [Cn,ic,Cn,Cn,C-,C-] 9 220(1138): * 263 * * 220 221 ( *, *) ( *, *) ( *, *) (253, *) ( *, *) (258, *) [Cn,C+,Cn,i1,ic,i1] 9 221(1141): * 262 * * 221 220 ( *, *) ( *, *) ( *, *) (252, *) ( *, *) (258, *) [Cn,C+,Cn,i1,ic,i1] 9 222(1145): * 265 * * 180 222 (195, *) ( *, *) (194, *) (193, *) ( *, *) ( *, *) [r1,C+,r1,r1,C-,ic] 10 223(1147): * 266 * * 264 223 ( *, *) ( *, *) (199, *) ( *, *) ( *, *) (183,184) [Cn,C+,r1,Cn,C+,r2] 10 224(1148): * 180 * * 265 224 ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) (185,186) [Cn,C-,Cn,Cn,C+,r2] 10 225(1150): * 267 * * 225 225 ( *, *) ( *, *) (206, *) ( *, *) ( *, *) (191,192) [Cn,C+,r1,Cn,rn,r2] 10 226(1158): * 183 * * 273 227 ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) (266, *) [Cn,C-,Cn,Cn,C+,i2] 10 227(1158): * 184 * * 274 226 ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) (266, *) [Cn,C-,Cn,Cn,C+,i2] 10 228(1163): * 187 * * 181 282 ( *, *) ( *, *) (210, *) ( *, *) ( *, *) ( *, *) [Cn,C-,r1,Cn,C-,C+] 10 229(1164): * 188 * * 182 283 ( *, *) ( *, *) ( *, *) (210, *) ( *, *) ( *, *) [Cn,C-,Cn,r1,C-,C+] 10 230(1168): * 273 * * 183 284 ( *, *) ( *, *) (211, *) ( *, *) ( *, *) ( *, *) [Cn,C+,r1,Cn,C-,C+] 10 231(1168): * 274 * * 184 285 ( *, *) ( *, *) (212, *) ( *, *) ( *, *) ( *, *) [Cn,C+,r1,Cn,C-,C+] 10 232(1174): * 275 * * 198 286 ( *, *) ( *, *) ( *, *) (264, *) ( *, *) ( *, *) [Cn,C+,Cn,i2,C-,C+] 10 233(1175): * 276 * * 199 287 ( *, *) ( *, *) (264, *) ( *, *) ( *, *) ( *, *) [Cn,C+,i2,Cn,C-,C+] 10 234(1177): * 191 * * 196 235 ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) (267, *) [Cn,C-,Cn,Cn,C-,i2] 10 235(1177): * 192 * * 197 234 ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) (267, *) [Cn,C-,Cn,Cn,C-,i2] 10 236(1181): * 193 * * 202 236 ( *, *) ( *, *) ( *, *) (265, *) ( *, *) ( *, *) [Cn,C-,Cn,i2,C-,ic] 10 237(1183): * 194 * * 200 237 ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) [Cn,C-,Cn,Cn,C-,ic] 10 238(1186): * 195 * * 201 238 ( *, *) ( *, *) ( *, *) (215, *) ( *, *) ( *, *) [Cn,C-,Cn,r1,C-,ic] 10 239(1194): * 198 * * 275 182 ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) [Cn,C-,Cn,Cn,C+,C-] 10 240(1196): * 199 * * 276 240 ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) (209,208) [Cn,C-,Cn,Cn,C+,r1] 10 241(1203): * 282 * * 277 187 ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) [Cn,C+,Cn,Cn,C+,C-] 10 242(1205): * 283 * * 278 188 ( *, *) ( *, *) ( *, *) (217, *) ( *, *) ( *, *) [Cn,C+,Cn,r1,C+,C-] 10 243(1212): * 243 * * 288 189 ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) [Cn,ic,Cn,Cn,C+,C-] 10 244(1212): * 244 * * 289 190 ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) [Cn,ic,Cn,Cn,C+,C-] 10 245(1217): * 207 * * 203 245 ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) (214,213) [Cn,C-,Cn,Cn,C-,r1] 10 246(1221): * 246 * * 204 246 ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) [Cn,ic,Cn,Cn,C-,rn] 10 247(1221): * 247 * * 205 247 ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) [Cn,ic,Cn,Cn,C-,rn] 10 248(1225): * 290 * * 248 249 ( *, *) ( *, *) ( *, *) (270, *) ( *, *) (279, *) [Cn,C+,Cn,i1,ic,i2] 10 249(1225): * 291 * * 249 248 ( *, *) ( *, *) ( *, *) (271, *) ( *, *) (279, *) [Cn,C+,Cn,i1,ic,i2] 10 250(1227): * 292 * * 250 251 ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) (280, *) [Cn,C+,Cn,Cn,ic,i1] 10 251(1228): * 293 * * 251 250 ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) (280, *) [Cn,C+,Cn,Cn,ic,i1] 10 252(1231): * 295 * * 298 253 ( *, *) ( *, *) ( *, *) (221, *) ( *, *) (281, *) [Cn,C+,Cn,r1,C+,i1] 10 253(1232): * 294 * * 297 252 ( *, *) ( *, *) ( *, *) (220, *) ( *, *) (281, *) [Cn,C+,Cn,r1,C+,i1] 10 254(1237): * 296 * * 254 254 ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) [Cn,C+,Cn,Cn,ic,ic] 10 255(1245): * 211 * * 208 304 ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) [Cn,C-,Cn,Cn,C-,C+] 10 256(1246): * 212 * * 209 305 ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) [Cn,C-,Cn,Cn,C-,C+] 10 257(1255): * 300 * * 217 257 ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) [Cn,C+,Cn,Cn,C-,ic] 10 258(1270): * 303 * * 299 258 ( *, *) ( *, *) ( *, *) (281, *) ( *, *) (221,220) [Cn,C+,Cn,i1,C+,r1] 10 259(1273): * 217 * * 300 210 ( *, *) ( *, *) (282, *) (283, *) ( *, *) ( *, *) [Cn,C-,i1,i1,C+,C-] 10 260(1277): * 305 * * 301 212 ( *, *) ( *, *) (285, *) ( *, *) ( *, *) ( *, *) [Cn,C+,i1,Cn,C+,C-] 10 261(1278): * 304 * * 302 211 ( *, *) ( *, *) (284, *) ( *, *) ( *, *) ( *, *) [Cn,C+,i1,Cn,C+,C-] 10 262(1293): * 221 * * 262 263 (290, *) ( *, *) (292, *) (295, *) ( *, *) (303, *) [i1,C-,i1,i1,ic,i1] 10 263(1296): * 220 * * 263 262 (291, *) ( *, *) (293, *) (294, *) ( *, *) (303, *) [i1,C-,i1,i1,ic,i1] 10 264(1298): * 306 * * 223 309 ( *, *) ( *, *) (233, *) (232, *) ( *, *) ( *, *) [Cn,C+,r1,r1,C-,C+] 11 265(1299): * 222 * * 224 265 ( *, *) ( *, *) ( *, *) (236, *) ( *, *) ( *, *) [Cn,C-,Cn,r1,C-,ic] 11 266(1302): * 223 * * 306 266 ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) (226,227) [Cn,C-,Cn,Cn,C+,r2] 11 267(1306): * 225 * * 267 267 ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) (234,235) [Cn,C-,Cn,Cn,rn,r2] 11 268(1308): * 312 * * 268 269 ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) (307, *) [Cn,C+,Cn,Cn,ic,i2] 11 269(1308): * 313 * * 269 268 ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) (307, *) [Cn,C+,Cn,Cn,ic,i2] 11 270(1310): * 314 * * 318 271 ( *, *) ( *, *) ( *, *) (248, *) ( *, *) (308, *) [Cn,C+,Cn,r1,C+,i2] 11 271(1310): * 315 * * 319 270 ( *, *) ( *, *) ( *, *) (249, *) ( *, *) (308, *) [Cn,C+,Cn,r1,C+,i2] 11 272(1313): * 316 * * 320 272 ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) [Cn,C+,Cn,Cn,C+,ic] 11 273(1319): * 230 * * 226 331 ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) [Cn,C-,Cn,Cn,C-,C+] 11 274(1319): * 231 * * 227 332 ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) [Cn,C-,Cn,Cn,C-,C+] 11 275(1325): * 232 * * 239 333 ( *, *) ( *, *) ( *, *) (306, *) ( *, *) ( *, *) [Cn,C-,Cn,i2,C-,C+] 11 276(1327): * 233 * * 240 334 ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) [Cn,C-,Cn,Cn,C-,C+] 11 277(1334): * 324 * * 241 277 ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) [Cn,C+,Cn,Cn,C-,ic] 11 278(1336): * 325 * * 242 335 ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) [Cn,C+,Cn,Cn,C-,C+] 11 279(1345): * 328 * * 322 279 ( *, *) ( *, *) ( *, *) (308, *) ( *, *) (248,249) [Cn,C+,Cn,i1,C+,r2] 11 280(1347): * 329 * * 323 280 ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) (251,250) [Cn,C+,Cn,Cn,C+,r1] 11 281(1349): * 330 * * 321 281 ( *, *) ( *, *) ( *, *) (258, *) ( *, *) (253,252) [Cn,C+,Cn,r1,C+,r1] 11 282(1355): * 241 * * 324 228 ( *, *) ( *, *) (259, *) ( *, *) ( *, *) ( *, *) [Cn,C-,r1,Cn,C+,C-] 11 283(1356): * 242 * * 325 229 ( *, *) ( *, *) ( *, *) (259, *) ( *, *) ( *, *) [Cn,C-,Cn,r1,C+,C-] 11 284(1360): * 331 * * 326 230 ( *, *) ( *, *) (261, *) ( *, *) ( *, *) ( *, *) [Cn,C+,r1,Cn,C+,C-] 11 285(1360): * 332 * * 327 231 ( *, *) ( *, *) (260, *) ( *, *) ( *, *) ( *, *) [Cn,C+,r1,Cn,C+,C-] 11 286(1366): * 333 * * 335 232 ( *, *) ( *, *) ( *, *) (309, *) ( *, *) ( *, *) [Cn,C+,Cn,i2,C+,C-] 11 287(1367): * 334 * * 336 233 ( *, *) ( *, *) (309, *) ( *, *) ( *, *) ( *, *) [Cn,C+,i2,Cn,C+,C-] 11 288(1375): * 288 * * 243 288 ( *, *) ( *, *) ( *, *) (310, *) ( *, *) ( *, *) [Cn,ic,Cn,i2,C-,rn] 11 289(1375): * 289 * * 244 289 ( *, *) ( *, *) ( *, *) (311, *) ( *, *) ( *, *) [Cn,ic,Cn,i2,C-,rn] 11 290(1379): * 248 * * 290 291 (262, *) ( *, *) (312, *) (314, *) ( *, *) (328, *) [r1,C-,i1,i1,ic,i2] 11 291(1379): * 249 * * 291 290 (263, *) ( *, *) (313, *) (315, *) ( *, *) (328, *) [r1,C-,i1,i1,ic,i2] 11 292(1382): * 250 * * 292 293 (312, *) ( *, *) (262, *) ( *, *) ( *, *) (329, *) [i1,C-,r1,Cn,ic,i1] 11 293(1383): * 251 * * 293 292 (313, *) ( *, *) (263, *) ( *, *) ( *, *) (329, *) [i1,C-,r1,Cn,ic,i1] 11 294(1384): * 253 * * 338 295 (315, *) ( *, *) ( *, *) (263, *) ( *, *) (330, *) [i1,C-,Cn,r1,C+,i1] 11 295(1385): * 252 * * 337 294 (314, *) ( *, *) ( *, *) (262, *) ( *, *) (330, *) [i1,C-,Cn,r1,C+,i1] 11 296(1392): * 254 * * 296 296 ( *, *) ( *, *) (317, *) ( *, *) ( *, *) ( *, *) [Cn,C-,i2,Cn,ic,ic] 11 297(1401): * 338 * * 253 343 ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) [Cn,C+,Cn,Cn,C-,C+] 11 298(1402): * 337 * * 252 342 ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) [Cn,C+,Cn,Cn,C-,C+] 11 299(1407): * 339 * * 258 299 ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) [Cn,C+,Cn,Cn,C-,ic] 11 300(1410): * 257 * * 259 300 ( *, *) ( *, *) (324, *) ( *, *) ( *, *) ( *, *) [Cn,C-,i1,Cn,C-,ic] 11 301(1414): * 340 * * 260 302 ( *, *) ( *, *) (327, *) ( *, *) ( *, *) (336, *) [Cn,C+,i1,Cn,C-,i1] 11 302(1415): * 341 * * 261 301 ( *, *) ( *, *) (326, *) ( *, *) ( *, *) (336, *) [Cn,C+,i1,Cn,C-,i1] 11 303(1418): * 258 * * 339 303 (328, *) ( *, *) (329, *) (330, *) ( *, *) (263,262) [i2,C-,i1,i1,C+,r1] 11 304(1426): * 261 * * 341 255 ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) [Cn,C-,Cn,Cn,C+,C-] 11 305(1427): * 260 * * 340 256 ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) [Cn,C-,Cn,Cn,C+,C-] 11 306(1435): * 264 * * 266 349 ( *, *) ( *, *) ( *, *) (275, *) ( *, *) ( *, *) [Cn,C-,Cn,r1,C-,C+] 12 307(1439): * 347 * * 346 307 ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) (268,269) [Cn,C+,Cn,Cn,C+,r2] 12 308(1441): * 348 * * 345 308 ( *, *) ( *, *) ( *, *) (279, *) ( *, *) (270,271) [Cn,C+,Cn,r1,C+,r2] 12 309(1444): * 349 * * 350 264 ( *, *) ( *, *) (287, *) (286, *) ( *, *) ( *, *) [Cn,C+,r1,r1,C+,C-] 12 310(1447): * 310 * * 310 310 ( *, *) ( *, *) ( *, *) (288, *) ( *, *) ( *, *) [Cn,ic,Cn,r1,rn,rn] 12 311(1447): * 311 * * 311 311 ( *, *) ( *, *) ( *, *) (289, *) ( *, *) ( *, *) [Cn,ic,Cn,r1,rn,rn] 12 312(1448): * 268 * * 312 313 (292, *) ( *, *) (290, *) ( *, *) ( *, *) (347, *) [r1,C-,r1,Cn,ic,i2] 12 313(1448): * 269 * * 313 312 (293, *) ( *, *) (291, *) ( *, *) ( *, *) (347, *) [r1,C-,r1,Cn,ic,i2] 12 314(1449): * 270 * * 351 315 (295, *) ( *, *) ( *, *) (290, *) ( *, *) (348, *) [r1,C-,Cn,r1,C+,i2] 12 315(1449): * 271 * * 352 314 (294, *) ( *, *) ( *, *) (291, *) ( *, *) (348, *) [r1,C-,Cn,r1,C+,i2] 12 316(1451): * 272 * * 353 316 ( *, *) ( *, *) (344, *) ( *, *) ( *, *) ( *, *) [Cn,C-,i2,Cn,C+,ic] 12 317(1456): * 317 * * 317 317 ( *, *) ( *, *) (296, *) ( *, *) ( *, *) ( *, *) [Cn,rn,r1,Cn,ic,ic] 12 318(1460): * 351 * * 270 363 ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) [Cn,C+,Cn,Cn,C-,C+] 12 319(1460): * 352 * * 271 364 ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) [Cn,C+,Cn,Cn,C-,C+] 12 320(1462): * 353 * * 272 365 ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) [Cn,C+,Cn,Cn,C-,C+] 12 321(1468): * 354 * * 281 366 ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) [Cn,C+,Cn,Cn,C-,C+] 12 322(1473): * 355 * * 279 322 ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) [Cn,C+,Cn,Cn,C-,ic] 12 323(1475): * 356 * * 280 323 ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) [Cn,C+,Cn,Cn,C-,ic] 12 324(1476): * 277 * * 282 324 ( *, *) ( *, *) (300, *) ( *, *) ( *, *) ( *, *) [Cn,C-,r1,Cn,C-,ic] 12 325(1477): * 278 * * 283 367 ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) [Cn,C-,Cn,Cn,C-,C+] 12 326(1481): * 357 * * 284 327 ( *, *) ( *, *) (302, *) ( *, *) ( *, *) (350, *) [Cn,C+,r1,Cn,C-,i2] 12 327(1481): * 358 * * 285 326 ( *, *) ( *, *) (301, *) ( *, *) ( *, *) (350, *) [Cn,C+,r1,Cn,C-,i2] 12 328(1483): * 279 * * 355 328 (303, *) ( *, *) (347, *) (348, *) ( *, *) (290,291) [r1,C-,i1,i1,C+,r2] 12 329(1486): * 280 * * 356 329 (347, *) ( *, *) (303, *) ( *, *) ( *, *) (293,292) [i2,C-,r1,Cn,C+,r1] 12 330(1487): * 281 * * 354 330 (348, *) ( *, *) ( *, *) (303, *) ( *, *) (295,294) [i2,C-,Cn,r1,C+,r1] 12 331(1497): * 284 * * 357 273 ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) [Cn,C-,Cn,Cn,C+,C-] 12 332(1497): * 285 * * 358 274 ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) [Cn,C-,Cn,Cn,C+,C-] 12 333(1502): * 286 * * 367 275 ( *, *) ( *, *) ( *, *) (349, *) ( *, *) ( *, *) [Cn,C-,Cn,i2,C+,C-] 12 334(1505): * 287 * * 368 276 ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) [Cn,C-,Cn,Cn,C+,C-] 12 335(1513): * 367 * * 286 278 ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) [Cn,C+,Cn,Cn,C-,C-] 12 336(1514): * 368 * * 287 336 ( *, *) ( *, *) (350, *) ( *, *) ( *, *) (302,301) [Cn,C+,i2,Cn,C-,r1] 12 337(1529): * 298 * * 295 373 (351, *) ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) [i1,C-,Cn,Cn,C-,C+] 12 338(1530): * 297 * * 294 372 (352, *) ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) [i1,C-,Cn,Cn,C-,C+] 12 339(1531): * 299 * * 303 339 (355, *) ( *, *) (356, *) ( *, *) ( *, *) ( *, *) [i2,C-,i1,Cn,C-,ic] 12 340(1537): * 301 * * 305 341 ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) (368, *) [Cn,C-,Cn,Cn,C-,i1] 12 341(1538): * 302 * * 304 340 ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) (368, *) [Cn,C-,Cn,Cn,C-,i1] 12 342(1545): * 373 * * 371 298 ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) [Cn,C+,Cn,Cn,C+,C-] 12 343(1546): * 372 * * 370 297 ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) [Cn,C+,Cn,Cn,C+,C-] 12 344(1551): * 344 * * 374 344 ( *, *) ( *, *) (316, *) ( *, *) ( *, *) ( *, *) [Cn,rn,r1,Cn,C+,ic] 13 345(1554): * 375 * * 308 379 ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) [Cn,C+,Cn,Cn,C-,C+] 13 346(1556): * 376 * * 307 346 ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) [Cn,C+,Cn,Cn,C-,ic] 13 347(1557): * 307 * * 376 347 (329, *) ( *, *) (328, *) ( *, *) ( *, *) (312,313) [r1,C-,r1,Cn,C+,r2] 13 348(1558): * 308 * * 375 348 (330, *) ( *, *) ( *, *) (328, *) ( *, *) (314,315) [r1,C-,Cn,r1,C+,r2] 13 349(1562): * 309 * * 380 306 ( *, *) ( *, *) ( *, *) (333, *) ( *, *) ( *, *) [Cn,C-,Cn,r1,C+,C-] 13 350(1566): * 380 * * 309 350 ( *, *) ( *, *) (336, *) ( *, *) ( *, *) (326,327) [Cn,C+,r1,Cn,C-,r2] 13 351(1576): * 318 * * 314 393 (337, *) ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) [r1,C-,Cn,Cn,C-,C+] 13 352(1576): * 319 * * 315 394 (338, *) ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) [r1,C-,Cn,Cn,C-,C+] 13 353(1577): * 320 * * 316 395 ( *, *) ( *, *) (374, *) ( *, *) ( *, *) ( *, *) [Cn,C-,i2,Cn,C-,C+] 13 354(1584): * 321 * * 330 396 (375, *) ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) [i2,C-,Cn,Cn,C-,C+] 13 355(1588): * 322 * * 328 355 (339, *) ( *, *) (376, *) ( *, *) ( *, *) ( *, *) [r1,C-,i1,Cn,C-,ic] 13 356(1589): * 323 * * 329 356 (376, *) ( *, *) (339, *) ( *, *) ( *, *) ( *, *) [i2,C-,r1,Cn,C-,ic] 13 357(1593): * 326 * * 331 358 ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) (380, *) [Cn,C-,Cn,Cn,C-,i2] 13 358(1593): * 327 * * 332 357 ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) (380, *) [Cn,C-,Cn,Cn,C-,i2] 13 359(1601): * 391 * * 385 359 ( *, *) ( *, *) (377, *) ( *, *) ( *, *) ( *, *) [Cn,C+,i2,Cn,C+,rn] 13 360(1601): * 392 * * 386 360 ( *, *) ( *, *) (378, *) ( *, *) ( *, *) ( *, *) [Cn,C+,i2,Cn,C+,rn] 13 361(1602): * 389 * * 387 361 ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) [Cn,C+,Cn,Cn,C+,rn] 13 362(1602): * 390 * * 388 362 ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) [Cn,C+,Cn,Cn,C+,rn] 13 363(1605): * 393 * * 383 318 ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) [Cn,C+,Cn,Cn,C+,C-] 13 364(1605): * 394 * * 384 319 ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) [Cn,C+,Cn,Cn,C+,C-] 13 365(1607): * 395 * * 382 320 ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) [Cn,C+,Cn,Cn,C+,C-] 13 366(1612): * 396 * * 397 321 ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) [Cn,C+,Cn,Cn,C+,C-] 13 367(1620): * 335 * * 333 325 ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) [Cn,C-,Cn,Cn,C-,C-] 13 368(1622): * 336 * * 334 368 ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) (341,340) [Cn,C-,Cn,Cn,C-,r1] 13 369(1625): * 398 * * 369 369 ( *, *) ( *, *) ( *, *) (381, *) ( *, *) ( *, *) [Cn,C+,Cn,i1,ic,ic] 13 370(1638): * 400 * * 343 371 ( *, *) ( *, *) ( *, *) (388, *) ( *, *) (397, *) [Cn,C+,Cn,i1,C-,i1] 13 371(1639): * 399 * * 342 370 ( *, *) ( *, *) ( *, *) (387, *) ( *, *) (397, *) [Cn,C+,Cn,i1,C-,i1] 13 372(1644): * 343 * * 400 338 (394, *) ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) [i1,C-,Cn,Cn,C+,C-] 13 373(1645): * 342 * * 399 337 (393, *) ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) [i1,C-,Cn,Cn,C+,C-] 13 374(1647): * 374 * * 344 405 ( *, *) ( *, *) (353, *) ( *, *) ( *, *) ( *, *) [Cn,rn,r1,Cn,C-,C+] 14 375(1650): * 345 * * 348 406 (354, *) ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) [r1,C-,Cn,Cn,C-,C+] 14 376(1651): * 346 * * 347 376 (356, *) ( *, *) (355, *) ( *, *) ( *, *) ( *, *) [r1,C-,r1,Cn,C-,ic] 14 377(1654): * 403 * * 401 377 ( *, *) ( *, *) (359, *) ( *, *) ( *, *) ( *, *) [Cn,C+,r1,Cn,C+,rn] 14 378(1654): * 404 * * 402 378 ( *, *) ( *, *) (360, *) ( *, *) ( *, *) ( *, *) [Cn,C+,r1,Cn,C+,rn] 14 379(1656): * 406 * * 407 345 ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) [Cn,C+,Cn,Cn,C+,C-] 14 380(1660): * 350 * * 349 380 ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) (357,358) [Cn,C-,Cn,Cn,C-,r2] 14 381(1666): * 411 * * 412 381 ( *, *) ( *, *) ( *, *) (369, *) ( *, *) ( *, *) [Cn,C+,Cn,r1,C+,ic] 14 382(1683): * 415 * * 365 382 ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) [Cn,C+,Cn,Cn,C-,ic] 14 383(1684): * 413 * * 363 384 ( *, *) ( *, *) ( *, *) (401, *) ( *, *) (407, *) [Cn,C+,Cn,i2,C-,i2] 14 384(1684): * 414 * * 364 383 ( *, *) ( *, *) ( *, *) (402, *) ( *, *) (407, *) [Cn,C+,Cn,i2,C-,i2] 14 385(1686): * 418 * * 359 386 ( *, *) ( *, *) (401, *) ( *, *) ( *, *) (408, *) [Cn,C+,i2,Cn,C-,i2] 14 386(1686): * 419 * * 360 385 ( *, *) ( *, *) (402, *) ( *, *) ( *, *) (408, *) [Cn,C+,i2,Cn,C-,i2] 14 387(1687): * 416 * * 361 388 ( *, *) ( *, *) ( *, *) (371, *) ( *, *) (409, *) [Cn,C+,Cn,r1,C-,i2] 14 388(1687): * 417 * * 362 387 ( *, *) ( *, *) ( *, *) (370, *) ( *, *) (409, *) [Cn,C+,Cn,r1,C-,i2] 14 389(1689): * 361 * * 416 389 (403, *) ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) [i2,C-,Cn,Cn,C+,rn] 14 390(1689): * 362 * * 417 390 (404, *) ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) [i2,C-,Cn,Cn,C+,rn] 14 391(1690): * 359 * * 418 391 ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) [Cn,C-,Cn,Cn,C+,rn] 14 392(1690): * 360 * * 419 392 ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) [Cn,C-,Cn,Cn,C+,rn] 14 393(1692): * 363 * * 413 351 (373, *) ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) [r1,C-,Cn,Cn,C+,C-] 14 394(1692): * 364 * * 414 352 (372, *) ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) [r1,C-,Cn,Cn,C+,C-] 14 395(1693): * 365 * * 415 353 ( *, *) ( *, *) (405, *) ( *, *) ( *, *) ( *, *) [Cn,C-,i2,Cn,C+,C-] 14 396(1698): * 366 * * 420 354 (406, *) ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) [i2,C-,Cn,Cn,C+,C-] 14 397(1705): * 420 * * 366 397 ( *, *) ( *, *) ( *, *) (409, *) ( *, *) (371,370) [Cn,C+,Cn,i2,C-,r1] 14 398(1711): * 369 * * 398 398 (410, *) ( *, *) ( *, *) (411, *) ( *, *) ( *, *) [i2,C-,Cn,i1,ic,ic] 14 399(1717): * 371 * * 373 400 (413, *) ( *, *) ( *, *) (416, *) ( *, *) (420, *) [i1,C-,Cn,i1,C-,i1] 14 400(1718): * 370 * * 372 399 (414, *) ( *, *) ( *, *) (417, *) ( *, *) (420, *) [i1,C-,Cn,i1,C-,i1] 14 401(1726): * 426 * * 377 402 ( *, *) ( *, *) (385, *) (383, *) ( *, *) (423, *) [Cn,C+,r1,r1,C-,i2] 15 402(1726): * 427 * * 378 401 ( *, *) ( *, *) (386, *) (384, *) ( *, *) (423, *) [Cn,C+,r1,r1,C-,i2] 15 403(1727): * 377 * * 426 403 (389, *) ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) [r1,C-,Cn,Cn,C+,rn] 15 404(1727): * 378 * * 427 404 (390, *) ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) [r1,C-,Cn,Cn,C+,rn] 15 405(1728): * 405 * * 425 374 ( *, *) ( *, *) (395, *) ( *, *) ( *, *) ( *, *) [Cn,rn,r1,Cn,C+,C-] 15 406(1730): * 379 * * 428 375 (396, *) ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) [r1,C-,Cn,Cn,C+,C-] 15 407(1734): * 428 * * 379 407 ( *, *) ( *, *) ( *, *) (423, *) ( *, *) (383,384) [Cn,C+,Cn,i2,C-,r2] 15 408(1736): * 430 * * 408 408 ( *, *) ( *, *) (423, *) ( *, *) ( *, *) (385,386) [Cn,C+,i2,Cn,rn,r2] 15 409(1737): * 429 * * 409 409 ( *, *) ( *, *) ( *, *) (397, *) ( *, *) (387,388) [Cn,C+,Cn,r1,rn,r2] 15 410(1740): * 410 * * 410 410 (398, *) ( *, *) ( *, *) (424, *) ( *, *) ( *, *) [r1,rn,Cn,i1,ic,ic] 15 411(1742): * 381 * * 435 411 (424, *) ( *, *) ( *, *) (398, *) ( *, *) ( *, *) [i2,C-,Cn,r1,C+,ic] 15 412(1746): * 435 * * 381 437 ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) [Cn,C+,Cn,Cn,C-,C+] 15 413(1751): * 383 * * 393 414 (399, *) ( *, *) ( *, *) (426, *) ( *, *) (428, *) [r1,C-,Cn,i2,C-,i2] 15 414(1751): * 384 * * 394 413 (400, *) ( *, *) ( *, *) (427, *) ( *, *) (428, *) [r1,C-,Cn,i2,C-,i2] 15 415(1752): * 382 * * 395 415 ( *, *) ( *, *) (425, *) ( *, *) ( *, *) ( *, *) [Cn,C-,i2,Cn,C-,ic] 15 416(1754): * 387 * * 389 417 (426, *) ( *, *) ( *, *) (399, *) ( *, *) (429, *) [i2,C-,Cn,r1,C-,i2] 15 417(1754): * 388 * * 390 416 (427, *) ( *, *) ( *, *) (400, *) ( *, *) (429, *) [i2,C-,Cn,r1,C-,i2] 15 418(1755): * 385 * * 391 419 ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) (430, *) [Cn,C-,Cn,Cn,C-,i2] 15 419(1755): * 386 * * 392 418 ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) (430, *) [Cn,C-,Cn,Cn,C-,i2] 15 420(1770): * 397 * * 396 420 (428, *) ( *, *) ( *, *) (429, *) ( *, *) (400,399) [i2,C-,Cn,i2,C-,r1] 15 421(1771): * 438 * * 421 422 ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) (436, *) [Cn,C+,Cn,Cn,ic,i1] 15 422(1772): * 439 * * 422 421 ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) (436, *) [Cn,C+,Cn,Cn,ic,i1] 15 423(1775): * 440 * * 423 423 ( *, *) ( *, *) (408, *) (407, *) ( *, *) (401,402) [Cn,C+,r1,r1,rn,r2] 16 424(1776): * 424 * * 441 424 (411, *) ( *, *) ( *, *) (410, *) ( *, *) ( *, *) [r1,rn,Cn,r1,C+,ic] 16 425(1779): * 425 * * 405 425 ( *, *) ( *, *) (415, *) ( *, *) ( *, *) ( *, *) [Cn,rn,r1,Cn,C-,ic] 16 426(1780): * 401 * * 403 427 (416, *) ( *, *) ( *, *) (413, *) ( *, *) (440, *) [r1,C-,Cn,r1,C-,i2] 16 427(1780): * 402 * * 404 426 (417, *) ( *, *) ( *, *) (414, *) ( *, *) (440, *) [r1,C-,Cn,r1,C-,i2] 16 428(1788): * 407 * * 406 428 (420, *) ( *, *) ( *, *) (440, *) ( *, *) (413,414) [r1,C-,Cn,i2,C-,r2] 16 429(1789): * 409 * * 429 429 (440, *) ( *, *) ( *, *) (420, *) ( *, *) (416,417) [i2,C-,Cn,r1,rn,r2] 16 430(1790): * 408 * * 430 430 ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) (418,419) [Cn,C-,Cn,Cn,rn,r2] 16 431(1791): * 444 * * 431 432 ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) (442, *) [Cn,C+,Cn,Cn,ic,i2] 16 432(1791): * 445 * * 432 431 ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) (442, *) [Cn,C+,Cn,Cn,ic,i2] 16 433(1792): * 446 * * 433 434 ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) (443, *) [Cn,C+,Cn,Cn,ic,i2] 16 434(1792): * 447 * * 434 433 ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) (443, *) [Cn,C+,Cn,Cn,ic,i2] 16 435(1794): * 412 * * 411 451 (441, *) ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) [i2,C-,Cn,Cn,C-,C+] 16 436(1802): * 450 * * 449 436 ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) (422,421) [Cn,C+,Cn,Cn,C+,r1] 16 437(1803): * 451 * * 448 412 ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) [Cn,C+,Cn,Cn,C+,C-] 16 438(1809): * 421 * * 438 439 (445, *) ( *, *) (447, *) ( *, *) ( *, *) (450, *) [i1,C-,i1,Cn,ic,i1] 16 439(1810): * 422 * * 439 438 (444, *) ( *, *) (446, *) ( *, *) ( *, *) (450, *) [i1,C-,i1,Cn,ic,i1] 16 440(1811): * 423 * * 440 440 (429, *) ( *, *) ( *, *) (428, *) ( *, *) (426,427) [r1,C-,Cn,r1,rn,r2] 17 441(1812): * 441 * * 424 458 (435, *) ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) [r1,rn,Cn,Cn,C-,C+] 17 442(1816): * 456 * * 454 442 ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) (431,432) [Cn,C+,Cn,Cn,C+,r2] 17 443(1817): * 457 * * 455 443 ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) (433,434) [Cn,C+,Cn,Cn,C+,r2] 17 444(1823): * 431 * * 444 445 (439, *) ( *, *) (452, *) ( *, *) ( *, *) (456, *) [r1,C-,i2,Cn,ic,i2] 17 445(1823): * 432 * * 445 444 (438, *) ( *, *) (453, *) ( *, *) ( *, *) (456, *) [r1,C-,i2,Cn,ic,i2] 17 446(1825): * 433 * * 446 447 (452, *) ( *, *) (439, *) ( *, *) ( *, *) (457, *) [i2,C-,r1,Cn,ic,i2] 17 447(1825): * 434 * * 447 446 (453, *) ( *, *) (438, *) ( *, *) ( *, *) (457, *) [i2,C-,r1,Cn,ic,i2] 17 448(1827): * 459 * * 437 448 ( *, *) ( *, *) ( *, *) (455, *) ( *, *) ( *, *) [Cn,C+,Cn,i2,C-,ic] 17 449(1829): * 460 * * 436 449 ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) [Cn,C+,Cn,Cn,C-,ic] 17 450(1830): * 436 * * 460 450 (456, *) ( *, *) (457, *) ( *, *) ( *, *) (439,438) [i2,C-,i2,Cn,C+,r1] 17 451(1832): * 437 * * 459 435 (458, *) ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) [i2,C-,Cn,Cn,C+,C-] 17 452(1834): * 452 * * 452 453 (446, *) ( *, *) (444, *) ( *, *) ( *, *) (461, *) [r1,rn,r1,Cn,ic,i2] 18 453(1834): * 453 * * 453 452 (447, *) ( *, *) (445, *) ( *, *) ( *, *) (461, *) [r1,rn,r1,Cn,ic,i2] 18 454(1836): * 463 * * 442 454 ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) [Cn,C+,Cn,Cn,C-,ic] 18 455(1837): * 464 * * 443 455 ( *, *) ( *, *) ( *, *) (448, *) ( *, *) ( *, *) [Cn,C+,Cn,r1,C-,ic] 18 456(1838): * 442 * * 463 456 (450, *) ( *, *) (461, *) ( *, *) ( *, *) (444,445) [r1,C-,i2,Cn,C+,r2] 18 457(1840): * 443 * * 464 457 (461, *) ( *, *) (450, *) ( *, *) ( *, *) (446,447) [i2,C-,r1,Cn,C+,r2] 18 458(1841): * 458 * * 462 441 (451, *) ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) [r1,rn,Cn,Cn,C+,C-] 18 459(1843): * 448 * * 451 459 (462, *) ( *, *) ( *, *) (464, *) ( *, *) ( *, *) [i2,C-,Cn,i2,C-,ic] 18 460(1844): * 449 * * 450 460 (463, *) ( *, *) (464, *) ( *, *) ( *, *) ( *, *) [i2,C-,i2,Cn,C-,ic] 18 461(1845): * 461 * * 465 461 (457, *) ( *, *) (456, *) ( *, *) ( *, *) (452,453) [r1,rn,r1,Cn,C+,r2] 19 462(1846): * 462 * * 458 462 (459, *) ( *, *) ( *, *) (465, *) ( *, *) ( *, *) [r1,rn,Cn,i2,C-,ic] 19 463(1847): * 454 * * 456 463 (460, *) ( *, *) (465, *) ( *, *) ( *, *) ( *, *) [r1,C-,i2,Cn,C-,ic] 19 464(1849): * 455 * * 457 464 (465, *) ( *, *) (460, *) (459, *) ( *, *) ( *, *) [i2,C-,r1,r1,C-,ic] 19 465(1850): * 465 * * 461 465 (464, *) ( *, *) (463, *) (462, *) ( *, *) ( *, *) [r1,rn,r1,r1,C-,ic] 20