0( 4): * * * * 0 1 ( 3, *) ( 4, *) ( 6, *) ( 8, *) ( *, *) ( 10, *) [i1,i1,i1,i1,ic,i1] 0 1( 21): * * * * 1 0 ( 2, *) ( 5, *) ( 7, *) ( 9, *) ( *, *) ( 10, *) [i1,i1,i1,i1,ic,i1] 0 2( 30): * * * * 2 3 ( 1, *) ( *, *) ( 12, *) ( 13, *) ( *, *) ( 17, *) [r1,Cn,i1,i1,ic,i1] 1 3( 36): * * * * 3 2 ( 0, *) ( *, *) ( 11, *) ( 14, *) ( *, *) ( 17, *) [r1,Cn,i1,i1,ic,i1] 1 4( 41): * * * * 4 5 ( *, *) ( 0, *) ( *, *) ( 16, *) ( *, *) ( 18, *) [Cn,r1,Cn,i1,ic,i1] 1 5( 45): * * * * 5 4 ( *, *) ( 1, *) ( *, *) ( 15, *) ( *, *) ( 18, *) [Cn,r1,Cn,i1,ic,i1] 1 6( 47): * * * * 6 7 ( 11, *) ( *, *) ( 0, *) ( *, *) ( *, *) ( 19, *) [i1,Cn,r1,Cn,ic,i1] 1 7( 51): * * * * 7 6 ( 12, *) ( *, *) ( 1, *) ( *, *) ( *, *) ( 19, *) [i1,Cn,r1,Cn,ic,i1] 1 8( 56): * * * * 22 9 ( 14, *) ( 16, *) ( *, *) ( 0, *) ( *, *) ( 20, *) [i1,i1,Cn,r1,C+,i1] 1 9( 61): * * * * 21 8 ( 13, *) ( 15, *) ( *, *) ( 1, *) ( *, *) ( 20, *) [i1,i1,Cn,r1,C+,i1] 1 10( 76): * * * * 23 10 ( 17, *) ( 18, *) ( 19, *) ( 20, *) ( *, *) ( 1, 0) [i1,i1,i1,i1,C+,r1] 1 11( 80): * * * * 11 12 ( 6, *) ( *, *) ( 3, *) ( *, *) ( *, *) ( 24, *) [r1,Cn,r1,Cn,ic,i1] 2 12( 81): * * * * 12 11 ( 7, *) ( *, *) ( 2, *) ( *, *) ( *, *) ( 24, *) [r1,Cn,r1,Cn,ic,i1] 2 13( 82): * * * * 28 14 ( 9, *) ( *, *) ( *, *) ( 2, *) ( *, *) ( 25, *) [r1,Cn,Cn,r1,C+,i1] 2 14( 83): * * * * 27 13 ( 8, *) ( *, *) ( *, *) ( 3, *) ( *, *) ( 25, *) [r1,Cn,Cn,r1,C+,i1] 2 15( 84): * * * * 29 16 ( *, *) ( 9, *) ( *, *) ( 5, *) ( *, *) ( 26, *) [Cn,r1,Cn,r1,C+,i1] 2 16( 85): * * * * 30 15 ( *, *) ( 8, *) ( *, *) ( 4, *) ( *, *) ( 26, *) [Cn,r1,Cn,r1,C+,i1] 2 17( 93): * * * * 32 17 ( 10, *) ( *, *) ( 24, *) ( 25, *) ( *, *) ( 3, 2) [r1,Cn,i1,i1,C+,r1] 2 18( 95): * * * * 33 18 ( *, *) ( 10, *) ( *, *) ( 26, *) ( *, *) ( 5, 4) [Cn,r1,Cn,i1,C+,r1] 2 19( 99): * * * * 34 19 ( 24, *) ( *, *) ( 10, *) ( *, *) ( *, *) ( 7, 6) [i1,Cn,r1,Cn,C+,r1] 2 20( 101): * * * * 31 20 ( 25, *) ( 26, *) ( *, *) ( 10, *) ( *, *) ( 9, 8) [i1,i1,Cn,r1,C+,r1] 2 21( 129): * * * * 9 39 ( 28, *) ( 29, *) ( *, *) ( *, *) ( *, *) ( *, *) [i1,i1,Cn,Cn,C-,C+] 2 22( 134): * * * * 8 40 ( 27, *) ( 30, *) ( *, *) ( *, *) ( *, *) ( *, *) [i1,i1,Cn,Cn,C-,C+] 2 23( 140): * * * * 10 23 ( 32, *) ( 33, *) ( 34, *) ( *, *) ( *, *) ( *, *) [i1,i1,i1,Cn,C-,ic] 2 24( 154): * * * * 43 24 ( 19, *) ( *, *) ( 17, *) ( *, *) ( *, *) ( 12, 11) [r1,Cn,r1,Cn,C+,r1] 3 25( 155): * * * * 41 25 ( 20, *) ( *, *) ( *, *) ( 17, *) ( *, *) ( 14, 13) [r1,Cn,Cn,r1,C+,r1] 3 26( 156): * * * * 42 26 ( *, *) ( 20, *) ( *, *) ( 18, *) ( *, *) ( 16, 15) [Cn,r1,Cn,r1,C+,r1] 3 27( 171): * * * * 14 54 ( 22, *) ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) [r1,Cn,Cn,Cn,C-,C+] 3 28( 172): * * * * 13 55 ( 21, *) ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) [r1,Cn,Cn,Cn,C-,C+] 3 29( 173): * * * * 15 56 ( *, *) ( 21, *) ( *, *) ( *, *) ( *, *) ( *, *) [Cn,r1,Cn,Cn,C-,C+] 3 30( 174): * * * * 16 57 ( *, *) ( 22, *) ( *, *) ( *, *) ( *, *) ( *, *) [Cn,r1,Cn,Cn,C-,C+] 3 31( 177): * * * * 20 58 ( 41, *) ( 42, *) ( *, *) ( *, *) ( *, *) ( *, *) [i1,i1,Cn,Cn,C-,C+] 3 32( 178): * * * * 17 32 ( 23, *) ( *, *) ( 43, *) ( *, *) ( *, *) ( *, *) [r1,Cn,i1,Cn,C-,ic] 3 33( 183): * * * * 18 33 ( *, *) ( 23, *) ( *, *) ( *, *) ( *, *) ( *, *) [Cn,r1,Cn,Cn,C-,ic] 3 34( 184): * * * * 19 34 ( 43, *) ( *, *) ( 23, *) ( *, *) ( *, *) ( *, *) [i1,Cn,r1,Cn,C-,ic] 3 35( 208): * * * * 35 36 ( *, *) ( 44, *) ( *, *) ( *, *) ( *, *) ( 50, *) [Cn,i1,Cn,Cn,ic,i1] 3 36( 209): * * * * 36 35 ( *, *) ( 45, *) ( *, *) ( *, *) ( *, *) ( 50, *) [Cn,i1,Cn,Cn,ic,i1] 3 37( 218): * * * * 60 38 ( *, *) ( *, *) ( 46, *) ( *, *) ( *, *) ( 51, *) [Cn,Cn,i1,Cn,C+,i1] 3 38( 220): * * * * 61 37 ( *, *) ( *, *) ( 47, *) ( *, *) ( *, *) ( 51, *) [Cn,Cn,i1,Cn,C+,i1] 3 39( 240): * * * * 63 21 ( 55, *) ( 56, *) ( *, *) ( *, *) ( *, *) ( *, *) [i1,i1,Cn,Cn,C+,C-] 3 40( 247): * * * * 62 22 ( 54, *) ( 57, *) ( *, *) ( *, *) ( *, *) ( *, *) [i1,i1,Cn,Cn,C+,C-] 3 41( 248): * * * * 25 70 ( 31, *) ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) [r1,Cn,Cn,Cn,C-,C+] 4 42( 249): * * * * 26 71 ( *, *) ( 31, *) ( *, *) ( *, *) ( *, *) ( *, *) [Cn,r1,Cn,Cn,C-,C+] 4 43( 250): * * * * 24 43 ( 34, *) ( *, *) ( 32, *) ( *, *) ( *, *) ( *, *) [r1,Cn,r1,Cn,C-,ic] 4 44( 258): * * * * 44 45 ( *, *) ( 35, *) ( *, *) ( *, *) ( *, *) ( 64, *) [Cn,r1,Cn,Cn,ic,i1] 4 45( 259): * * * * 45 44 ( *, *) ( 36, *) ( *, *) ( *, *) ( *, *) ( 64, *) [Cn,r1,Cn,Cn,ic,i1] 4 46( 264): * * * * 77 47 ( *, *) ( *, *) ( 37, *) ( *, *) ( *, *) ( 65, *) [Cn,Cn,r1,Cn,C+,i1] 4 47( 265): * * * * 76 46 ( *, *) ( *, *) ( 38, *) ( *, *) ( *, *) ( 65, *) [Cn,Cn,r1,Cn,C+,i1] 4 48( 266): * * * * 78 89 ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) [Cn,Cn,Cn,Cn,C+,C+] 4 49( 267): * * * * 79 88 ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) [Cn,Cn,Cn,Cn,C+,C+] 4 50( 301): * * * * 81 50 ( *, *) ( 64, *) ( *, *) ( *, *) ( *, *) ( 36, 35) [Cn,i1,Cn,Cn,C+,r1] 4 51( 303): * * * * 80 51 ( *, *) ( *, *) ( 65, *) ( *, *) ( *, *) ( 38, 37) [Cn,Cn,i1,Cn,C+,r1] 4 52( 307): * * * * 86 52 ( 66, *) ( 68, *) ( *, *) ( *, *) ( *, *) ( *, *) [i1,i1,Cn,Cn,C+,rn] 4 53( 307): * * * * 87 53 ( 67, *) ( 69, *) ( *, *) ( *, *) ( *, *) ( *, *) [i1,i1,Cn,Cn,C+,rn] 4 54( 311): * * * * 82 27 ( 40, *) ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) [r1,Cn,Cn,Cn,C+,C-] 4 55( 312): * * * * 83 28 ( 39, *) ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) [r1,Cn,Cn,Cn,C+,C-] 4 56( 313): * * * * 84 29 ( *, *) ( 39, *) ( *, *) ( *, *) ( *, *) ( *, *) [Cn,r1,Cn,Cn,C+,C-] 4 57( 314): * * * * 85 30 ( *, *) ( 40, *) ( *, *) ( *, *) ( *, *) ( *, *) [Cn,r1,Cn,Cn,C+,C-] 4 58( 319): * * * * 90 31 ( 70, *) ( 71, *) ( *, *) ( *, *) ( *, *) ( *, *) [i1,i1,Cn,Cn,C+,C-] 4 59( 329): * * * * 59 59 ( 74, *) ( *, *) ( *, *) ( 75, *) ( *, *) ( *, *) [i1,Cn,Cn,i1,ic,ic] 4 60( 343): * * * * 37 91 ( *, *) ( *, *) ( 77, *) ( 78, *) ( *, *) ( *, *) [Cn,Cn,i1,i1,C-,C+] 4 61( 345): * * * * 38 92 ( *, *) ( *, *) ( 76, *) ( 79, *) ( *, *) ( *, *) [Cn,Cn,i1,i1,C-,C+] 4 62( 352): * * * * 40 63 ( 82, *) ( 85, *) ( *, *) ( 86, *) ( *, *) ( 90, *) [i1,i1,Cn,i1,C-,i1] 4 63( 355): * * * * 39 62 ( 83, *) ( 84, *) ( *, *) ( 87, *) ( *, *) ( 90, *) [i1,i1,Cn,i1,C-,i1] 4 64( 371): * * * * 95 64 ( *, *) ( 50, *) ( *, *) ( *, *) ( *, *) ( 45, 44) [Cn,r1,Cn,Cn,C+,r1] 5 65( 374): * * * * 94 65 ( *, *) ( *, *) ( 51, *) ( *, *) ( *, *) ( 47, 46) [Cn,Cn,r1,Cn,C+,r1] 5 66( 376): * * * * 96 66 ( 52, *) ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) [r1,Cn,Cn,Cn,C+,rn] 5 67( 376): * * * * 97 67 ( 53, *) ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) [r1,Cn,Cn,Cn,C+,rn] 5 68( 377): * * * * 98 68 ( *, *) ( 52, *) ( *, *) ( *, *) ( *, *) ( *, *) [Cn,r1,Cn,Cn,C+,rn] 5 69( 377): * * * * 99 69 ( *, *) ( 53, *) ( *, *) ( *, *) ( *, *) ( *, *) [Cn,r1,Cn,Cn,C+,rn] 5 70( 378): * * * * 103 41 ( 58, *) ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) [r1,Cn,Cn,Cn,C+,C-] 5 71( 379): * * * * 104 42 ( *, *) ( 58, *) ( *, *) ( *, *) ( *, *) ( *, *) [Cn,r1,Cn,Cn,C+,C-] 5 72( 382): * * * * 109 73 ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) (100, *) [Cn,Cn,Cn,Cn,C+,i1] 5 73( 383): * * * * 108 72 ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) (100, *) [Cn,Cn,Cn,Cn,C+,i1] 5 74( 389): * * * * 74 74 ( 59, *) ( *, *) ( *, *) ( 93, *) ( *, *) ( *, *) [r1,Cn,Cn,i1,ic,ic] 5 75( 395): * * * * 110 75 ( 93, *) ( *, *) ( *, *) ( 59, *) ( *, *) ( *, *) [i1,Cn,Cn,r1,C+,ic] 5 76( 414): * * * * 47 115 ( *, *) ( *, *) ( 61, *) ( *, *) ( *, *) ( *, *) [Cn,Cn,r1,Cn,C-,C+] 5 77( 415): * * * * 46 116 ( *, *) ( *, *) ( 60, *) ( *, *) ( *, *) ( *, *) [Cn,Cn,r1,Cn,C-,C+] 5 78( 416): * * * * 48 117 ( *, *) ( *, *) ( *, *) ( 60, *) ( *, *) ( *, *) [Cn,Cn,Cn,r1,C-,C+] 5 79( 417): * * * * 49 118 ( *, *) ( *, *) ( *, *) ( 61, *) ( *, *) ( *, *) [Cn,Cn,Cn,r1,C-,C+] 5 80( 421): * * * * 51 119 ( *, *) ( *, *) ( 94, *) ( *, *) ( *, *) ( *, *) [Cn,Cn,i1,Cn,C-,C+] 5 81( 427): * * * * 50 81 ( *, *) ( 95, *) ( *, *) ( *, *) ( *, *) ( *, *) [Cn,i1,Cn,Cn,C-,ic] 5 82( 429): * * * * 54 83 ( 62, *) ( *, *) ( *, *) ( 96, *) ( *, *) (103, *) [r1,Cn,Cn,i1,C-,i1] 5 83( 430): * * * * 55 82 ( 63, *) ( *, *) ( *, *) ( 97, *) ( *, *) (103, *) [r1,Cn,Cn,i1,C-,i1] 5 84( 431): * * * * 56 85 ( *, *) ( 63, *) ( *, *) ( 99, *) ( *, *) (104, *) [Cn,r1,Cn,i1,C-,i1] 5 85( 432): * * * * 57 84 ( *, *) ( 62, *) ( *, *) ( 98, *) ( *, *) (104, *) [Cn,r1,Cn,i1,C-,i1] 5 86( 435): * * * * 52 87 ( 96, *) ( 98, *) ( *, *) ( 62, *) ( *, *) (105, *) [i1,i1,Cn,r1,C-,i2] 5 87( 435): * * * * 53 86 ( 97, *) ( 99, *) ( *, *) ( 63, *) ( *, *) (105, *) [i1,i1,Cn,r1,C-,i2] 5 88( 444): * * * * 111 49 ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) [Cn,Cn,Cn,Cn,C+,C-] 5 89( 445): * * * * 112 48 ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) [Cn,Cn,Cn,Cn,C+,C-] 5 90( 463): * * * * 58 90 (103, *) (104, *) ( *, *) (105, *) ( *, *) ( 63, 62) [i1,i1,Cn,i2,C-,r1] 5 91( 492): * * * * 123 60 ( *, *) ( *, *) (116, *) (117, *) ( *, *) ( *, *) [Cn,Cn,i1,i1,C+,C-] 5 92( 498): * * * * 124 61 ( *, *) ( *, *) (115, *) (118, *) ( *, *) ( *, *) [Cn,Cn,i1,i1,C+,C-] 5 93( 499): * * * * 129 93 ( 75, *) ( *, *) ( *, *) ( 74, *) ( *, *) ( *, *) [r1,Cn,Cn,r1,C+,ic] 6 94( 508): * * * * 65 137 ( *, *) ( *, *) ( 80, *) ( *, *) ( *, *) ( *, *) [Cn,Cn,r1,Cn,C-,C+] 6 95( 510): * * * * 64 95 ( *, *) ( 81, *) ( *, *) ( *, *) ( *, *) ( *, *) [Cn,r1,Cn,Cn,C-,ic] 6 96( 511): * * * * 66 97 ( 86, *) ( *, *) ( *, *) ( 82, *) ( *, *) (125, *) [r1,Cn,Cn,r1,C-,i2] 6 97( 511): * * * * 67 96 ( 87, *) ( *, *) ( *, *) ( 83, *) ( *, *) (125, *) [r1,Cn,Cn,r1,C-,i2] 6 98( 512): * * * * 68 99 ( *, *) ( 86, *) ( *, *) ( 85, *) ( *, *) (126, *) [Cn,r1,Cn,r1,C-,i2] 6 99( 512): * * * * 69 98 ( *, *) ( 87, *) ( *, *) ( 84, *) ( *, *) (126, *) [Cn,r1,Cn,r1,C-,i2] 6 100( 513): * * * * 130 100 ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) ( 73, 72) [Cn,Cn,Cn,Cn,C+,r1] 6 101( 519): * * * * 131 101 ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) [Cn,Cn,Cn,Cn,C+,rn] 6 102( 519): * * * * 132 102 ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) [Cn,Cn,Cn,Cn,C+,rn] 6 103( 527): * * * * 70 103 ( 90, *) ( *, *) ( *, *) (125, *) ( *, *) ( 83, 82) [r1,Cn,Cn,i2,C-,r1] 6 104( 528): * * * * 71 104 ( *, *) ( 90, *) ( *, *) (126, *) ( *, *) ( 85, 84) [Cn,r1,Cn,i2,C-,r1] 6 105( 531): * * * * 105 105 (125, *) (126, *) ( *, *) ( 90, *) ( *, *) ( 86, 87) [i1,i1,Cn,r1,rn,r2] 6 106( 538): * * * * 106 106 ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) [Cn,Cn,Cn,Cn,ic,ic] 6 107( 547): * * * * 147 107 ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) [Cn,Cn,Cn,Cn,C+,ic] 6 108( 557): * * * * 73 155 ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) [Cn,Cn,Cn,Cn,C-,C+] 6 109( 558): * * * * 72 156 ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) [Cn,Cn,Cn,Cn,C-,C+] 6 110( 569): * * * * 75 157 (129, *) ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) [i1,Cn,Cn,Cn,C-,C+] 6 111( 576): * * * * 88 159 ( *, *) ( *, *) ( *, *) (131, *) ( *, *) ( *, *) [Cn,Cn,Cn,i1,C-,C+] 6 112( 577): * * * * 89 158 ( *, *) ( *, *) ( *, *) (132, *) ( *, *) ( *, *) [Cn,Cn,Cn,i1,C-,C+] 6 113( 591): * * * * 148 113 ( *, *) ( *, *) (133, *) (135, *) ( *, *) ( *, *) [Cn,Cn,i1,i1,C+,rn] 6 114( 591): * * * * 149 114 ( *, *) ( *, *) (134, *) (136, *) ( *, *) ( *, *) [Cn,Cn,i1,i1,C+,rn] 6 115( 602): * * * * 150 76 ( *, *) ( *, *) ( 92, *) ( *, *) ( *, *) ( *, *) [Cn,Cn,r1,Cn,C+,C-] 6 116( 603): * * * * 151 77 ( *, *) ( *, *) ( 91, *) ( *, *) ( *, *) ( *, *) [Cn,Cn,r1,Cn,C+,C-] 6 117( 604): * * * * 153 78 ( *, *) ( *, *) ( *, *) ( 91, *) ( *, *) ( *, *) [Cn,Cn,Cn,r1,C+,C-] 6 118( 605): * * * * 152 79 ( *, *) ( *, *) ( *, *) ( 92, *) ( *, *) ( *, *) [Cn,Cn,Cn,r1,C+,C-] 6 119( 612): * * * * 160 80 ( *, *) ( *, *) (137, *) ( *, *) ( *, *) ( *, *) [Cn,Cn,i1,Cn,C+,C-] 6 120( 621): * * * * 120 120 ( *, *) (138, *) (139, *) (140, *) ( *, *) ( *, *) [Cn,i1,i1,i1,ic,ic] 6 121( 636): * * * * 121 122 (143, *) ( *, *) (145, *) ( *, *) ( *, *) (154, *) [i1,Cn,i1,Cn,ic,i1] 6 122( 637): * * * * 122 121 (144, *) ( *, *) (146, *) ( *, *) ( *, *) (154, *) [i1,Cn,i1,Cn,ic,i1] 6 123( 640): * * * * 91 124 ( *, *) ( *, *) (151, *) ( *, *) ( *, *) (160, *) [Cn,Cn,i1,Cn,C-,i1] 6 124( 645): * * * * 92 123 ( *, *) ( *, *) (150, *) ( *, *) ( *, *) (160, *) [Cn,Cn,i1,Cn,C-,i1] 6 125( 654): * * * * 125 125 (105, *) ( *, *) ( *, *) (103, *) ( *, *) ( 96, 97) [r1,Cn,Cn,r1,rn,r2] 7 126( 655): * * * * 126 126 ( *, *) (105, *) ( *, *) (104, *) ( *, *) ( 98, 99) [Cn,r1,Cn,r1,rn,r2] 7 127( 656): * * * * 166 127 ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) [Cn,Cn,Cn,Cn,C+,ic] 7 128( 658): * * * * 167 174 ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) [Cn,Cn,Cn,Cn,C+,C+] 7 129( 664): * * * * 93 178 (110, *) ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) [r1,Cn,Cn,Cn,C-,C+] 7 130( 667): * * * * 100 179 ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) [Cn,Cn,Cn,Cn,C-,C+] 7 131( 671): * * * * 101 180 ( *, *) ( *, *) ( *, *) (111, *) ( *, *) ( *, *) [Cn,Cn,Cn,r1,C-,C+] 7 132( 671): * * * * 102 181 ( *, *) ( *, *) ( *, *) (112, *) ( *, *) ( *, *) [Cn,Cn,Cn,r1,C-,C+] 7 133( 676): * * * * 170 133 ( *, *) ( *, *) (113, *) ( *, *) ( *, *) ( *, *) [Cn,Cn,r1,Cn,C+,rn] 7 134( 676): * * * * 171 134 ( *, *) ( *, *) (114, *) ( *, *) ( *, *) ( *, *) [Cn,Cn,r1,Cn,C+,rn] 7 135( 678): * * * * 168 135 ( *, *) ( *, *) ( *, *) (113, *) ( *, *) ( *, *) [Cn,Cn,Cn,r1,C+,rn] 7 136( 678): * * * * 169 136 ( *, *) ( *, *) ( *, *) (114, *) ( *, *) ( *, *) [Cn,Cn,Cn,r1,C+,rn] 7 137( 688): * * * * 183 94 ( *, *) ( *, *) (119, *) ( *, *) ( *, *) ( *, *) [Cn,Cn,r1,Cn,C+,C-] 7 138( 698): * * * * 138 138 ( *, *) (120, *) ( *, *) (161, *) ( *, *) ( *, *) [Cn,r1,Cn,i1,ic,ic] 7 139( 701): * * * * 139 139 ( *, *) ( *, *) (120, *) ( *, *) ( *, *) ( *, *) [Cn,Cn,r1,Cn,ic,ic] 7 140( 708): * * * * 184 140 ( *, *) (161, *) ( *, *) (120, *) ( *, *) ( *, *) [Cn,i1,Cn,r1,C+,ic] 7 141( 717): * * * * 185 142 ( *, *) ( *, *) (163, *) ( *, *) ( *, *) (175, *) [Cn,Cn,i1,Cn,C+,i1] 7 142( 718): * * * * 186 141 ( *, *) ( *, *) (162, *) ( *, *) ( *, *) (175, *) [Cn,Cn,i1,Cn,C+,i1] 7 143( 719): * * * * 143 144 (121, *) ( *, *) (164, *) ( *, *) ( *, *) (176, *) [r1,Cn,i1,Cn,ic,i1] 7 144( 720): * * * * 144 143 (122, *) ( *, *) (165, *) ( *, *) ( *, *) (176, *) [r1,Cn,i1,Cn,ic,i1] 7 145( 722): * * * * 145 146 (164, *) ( *, *) (121, *) ( *, *) ( *, *) (177, *) [i1,Cn,r1,Cn,ic,i2] 7 146( 722): * * * * 146 145 (165, *) ( *, *) (122, *) ( *, *) ( *, *) (177, *) [i1,Cn,r1,Cn,ic,i2] 7 147( 730): * * * * 107 191 ( *, *) ( *, *) ( *, *) (167, *) ( *, *) ( *, *) [Cn,Cn,Cn,i1,C-,C+] 7 148( 748): * * * * 113 149 ( *, *) ( *, *) (170, *) ( *, *) ( *, *) (182, *) [Cn,Cn,i1,Cn,C-,i2] 7 149( 748): * * * * 114 148 ( *, *) ( *, *) (171, *) ( *, *) ( *, *) (182, *) [Cn,Cn,i1,Cn,C-,i2] 7 150( 755): * * * * 115 151 ( *, *) ( *, *) (124, *) ( *, *) ( *, *) (183, *) [Cn,Cn,r1,Cn,C-,i1] 7 151( 756): * * * * 116 150 ( *, *) ( *, *) (123, *) ( *, *) ( *, *) (183, *) [Cn,Cn,r1,Cn,C-,i1] 7 152( 757): * * * * 118 193 ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) [Cn,Cn,Cn,Cn,C-,C+] 7 153( 758): * * * * 117 192 ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) [Cn,Cn,Cn,Cn,C-,C+] 7 154( 769): * * * * 190 154 (176, *) ( *, *) (177, *) ( *, *) ( *, *) (122,121) [i1,Cn,i2,Cn,C+,r1] 7 155( 771): * * * * 187 108 ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) [Cn,Cn,Cn,Cn,C+,C-] 7 156( 772): * * * * 188 109 ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) [Cn,Cn,Cn,Cn,C+,C-] 7 157( 781): * * * * 189 110 (178, *) ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) [i1,Cn,Cn,Cn,C+,C-] 7 158( 793): * * * * 192 112 ( *, *) ( *, *) ( *, *) (181, *) ( *, *) ( *, *) [Cn,Cn,Cn,i1,C+,C-] 7 159( 794): * * * * 193 111 ( *, *) ( *, *) ( *, *) (180, *) ( *, *) ( *, *) [Cn,Cn,Cn,i1,C+,C-] 7 160( 795): * * * * 119 160 ( *, *) ( *, *) (183, *) ( *, *) ( *, *) (124,123) [Cn,Cn,i1,Cn,C-,r1] 7 161( 820): * * * * 201 161 ( *, *) (140, *) ( *, *) (138, *) ( *, *) ( *, *) [Cn,r1,Cn,r1,C+,ic] 8 162( 825): * * * * 202 163 ( *, *) ( *, *) (142, *) ( *, *) ( *, *) (198, *) [Cn,Cn,r1,Cn,C+,i2] 8 163( 825): * * * * 203 162 ( *, *) ( *, *) (141, *) ( *, *) ( *, *) (198, *) [Cn,Cn,r1,Cn,C+,i2] 8 164( 826): * * * * 164 165 (145, *) ( *, *) (143, *) ( *, *) ( *, *) (199, *) [r1,Cn,r1,Cn,ic,i2] 8 165( 826): * * * * 165 164 (146, *) ( *, *) (144, *) ( *, *) ( *, *) (199, *) [r1,Cn,r1,Cn,ic,i2] 8 166( 830): * * * * 127 211 ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) [Cn,Cn,Cn,Cn,C-,C+] 8 167( 832): * * * * 128 212 ( *, *) ( *, *) ( *, *) (147, *) ( *, *) ( *, *) [Cn,Cn,Cn,r1,C-,C+] 8 168( 838): * * * * 135 213 ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) [Cn,Cn,Cn,Cn,C-,C+] 8 169( 838): * * * * 136 214 ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) [Cn,Cn,Cn,Cn,C-,C+] 8 170( 842): * * * * 133 171 ( *, *) ( *, *) (148, *) ( *, *) ( *, *) (200, *) [Cn,Cn,r1,Cn,C-,i2] 8 171( 842): * * * * 134 170 ( *, *) ( *, *) (149, *) ( *, *) ( *, *) (200, *) [Cn,Cn,r1,Cn,C-,i2] 8 172( 847): * * * * 206 172 ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) [Cn,Cn,Cn,Cn,C+,rn] 8 173( 847): * * * * 207 173 ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) [Cn,Cn,Cn,Cn,C+,rn] 8 174( 852): * * * * 204 128 ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) [Cn,Cn,Cn,Cn,C+,C-] 8 175( 853): * * * * 205 175 ( *, *) ( *, *) (198, *) ( *, *) ( *, *) (142,141) [Cn,Cn,i2,Cn,C+,r1] 8 176( 854): * * * * 209 176 (154, *) ( *, *) (199, *) ( *, *) ( *, *) (144,143) [r1,Cn,i2,Cn,C+,r1] 8 177( 856): * * * * 210 177 (199, *) ( *, *) (154, *) ( *, *) ( *, *) (145,146) [i1,Cn,r1,Cn,C+,r2] 8 178( 859): * * * * 208 129 (157, *) ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) [r1,Cn,Cn,Cn,C+,C-] 8 179( 863): * * * * 215 130 ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) [Cn,Cn,Cn,Cn,C+,C-] 8 180( 868): * * * * 216 131 ( *, *) ( *, *) ( *, *) (159, *) ( *, *) ( *, *) [Cn,Cn,Cn,r1,C+,C-] 8 181( 868): * * * * 217 132 ( *, *) ( *, *) ( *, *) (158, *) ( *, *) ( *, *) [Cn,Cn,Cn,r1,C+,C-] 8 182( 869): * * * * 182 182 ( *, *) ( *, *) (200, *) ( *, *) ( *, *) (148,149) [Cn,Cn,i1,Cn,rn,r2] 8 183( 874): * * * * 137 183 ( *, *) ( *, *) (160, *) ( *, *) ( *, *) (151,150) [Cn,Cn,r1,Cn,C-,r1] 8 184( 901): * * * * 140 232 ( *, *) (201, *) ( *, *) ( *, *) ( *, *) ( *, *) [Cn,i1,Cn,Cn,C-,C+] 8 185( 906): * * * * 141 234 ( *, *) ( *, *) (203, *) ( *, *) ( *, *) ( *, *) [Cn,Cn,i1,Cn,C-,C+] 8 186( 907): * * * * 142 233 ( *, *) ( *, *) (202, *) ( *, *) ( *, *) ( *, *) [Cn,Cn,i1,Cn,C-,C+] 8 187( 916): * * * * 155 188 ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) (215, *) [Cn,Cn,Cn,Cn,C-,i1] 8 188( 917): * * * * 156 187 ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) (215, *) [Cn,Cn,Cn,Cn,C-,i1] 8 189( 930): * * * * 157 189 (208, *) ( *, *) ( *, *) (210, *) ( *, *) ( *, *) [i1,Cn,Cn,i2,C-,ic] 8 190( 932): * * * * 154 190 (209, *) ( *, *) (210, *) ( *, *) ( *, *) ( *, *) [i1,Cn,i2,Cn,C-,ic] 8 191( 942): * * * * 229 147 ( *, *) ( *, *) ( *, *) (212, *) ( *, *) ( *, *) [Cn,Cn,Cn,i1,C+,C-] 8 192( 965): * * * * 158 153 ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) [Cn,Cn,Cn,Cn,C-,C-] 8 193( 966): * * * * 159 152 ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) [Cn,Cn,Cn,Cn,C-,C-] 8 194( 969): * * * * 194 195 ( *, *) (221, *) ( *, *) (224, *) ( *, *) (230, *) [Cn,i1,Cn,i1,ic,i1] 8 195( 974): * * * * 195 194 ( *, *) (220, *) ( *, *) (223, *) ( *, *) (230, *) [Cn,i1,Cn,i1,ic,i1] 8 196( 975): * * * * 196 197 ( *, *) (227, *) ( *, *) ( *, *) ( *, *) (231, *) [Cn,i1,Cn,Cn,ic,i1] 8 197( 977): * * * * 197 196 ( *, *) (228, *) ( *, *) ( *, *) ( *, *) (231, *) [Cn,i1,Cn,Cn,ic,i1] 8 198( 983): * * * * 235 198 ( *, *) ( *, *) (175, *) ( *, *) ( *, *) (162,163) [Cn,Cn,r1,Cn,C+,r2] 9 199( 984): * * * * 236 199 (177, *) ( *, *) (176, *) ( *, *) ( *, *) (164,165) [r1,Cn,r1,Cn,C+,r2] 9 200( 986): * * * * 200 200 ( *, *) ( *, *) (182, *) ( *, *) ( *, *) (170,171) [Cn,Cn,r1,Cn,rn,r2] 9 201( 999): * * * * 161 253 ( *, *) (184, *) ( *, *) ( *, *) ( *, *) ( *, *) [Cn,r1,Cn,Cn,C-,C+] 9 202(1003): * * * * 162 254 ( *, *) ( *, *) (186, *) ( *, *) ( *, *) ( *, *) [Cn,Cn,r1,Cn,C-,C+] 9 203(1003): * * * * 163 255 ( *, *) ( *, *) (185, *) ( *, *) ( *, *) ( *, *) [Cn,Cn,r1,Cn,C-,C+] 9 204(1009): * * * * 174 256 ( *, *) ( *, *) ( *, *) (235, *) ( *, *) ( *, *) [Cn,Cn,Cn,i2,C-,C+] 9 205(1010): * * * * 175 257 ( *, *) ( *, *) (235, *) ( *, *) ( *, *) ( *, *) [Cn,Cn,i2,Cn,C-,C+] 9 206(1013): * * * * 172 207 ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) (237, *) [Cn,Cn,Cn,Cn,C-,i2] 9 207(1013): * * * * 173 206 ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) (237, *) [Cn,Cn,Cn,Cn,C-,i2] 9 208(1016): * * * * 178 208 (189, *) ( *, *) ( *, *) (236, *) ( *, *) ( *, *) [r1,Cn,Cn,i2,C-,ic] 9 209(1017): * * * * 176 209 (190, *) ( *, *) (236, *) ( *, *) ( *, *) ( *, *) [r1,Cn,i2,Cn,C-,ic] 9 210(1019): * * * * 177 210 (236, *) ( *, *) (190, *) (189, *) ( *, *) ( *, *) [i1,Cn,r1,r1,C-,ic] 9 211(1033): * * * * 246 166 ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) [Cn,Cn,Cn,Cn,C+,C-] 9 212(1034): * * * * 247 167 ( *, *) ( *, *) ( *, *) (191, *) ( *, *) ( *, *) [Cn,Cn,Cn,r1,C+,C-] 9 213(1043): * * * * 258 168 ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) [Cn,Cn,Cn,Cn,C+,C-] 9 214(1043): * * * * 259 169 ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) [Cn,Cn,Cn,Cn,C+,C-] 9 215(1050): * * * * 179 215 ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) (188,187) [Cn,Cn,Cn,Cn,C-,r1] 9 216(1053): * * * * 180 216 ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) [Cn,Cn,Cn,Cn,C-,rn] 9 217(1053): * * * * 181 217 ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) [Cn,Cn,Cn,Cn,C-,rn] 9 218(1056): * * * * 218 219 ( *, *) (238, *) ( *, *) ( *, *) ( *, *) (248, *) [Cn,i1,Cn,Cn,ic,i1] 9 219(1057): * * * * 219 218 ( *, *) (239, *) ( *, *) ( *, *) ( *, *) (248, *) [Cn,i1,Cn,Cn,ic,i1] 9 220(1060): * * * * 220 221 ( *, *) (195, *) ( *, *) (241, *) ( *, *) (249, *) [Cn,r1,Cn,i1,ic,i2] 9 221(1060): * * * * 221 220 ( *, *) (194, *) ( *, *) (242, *) ( *, *) (249, *) [Cn,r1,Cn,i1,ic,i2] 9 222(1062): * * * * 262 222 ( *, *) ( *, *) (240, *) ( *, *) ( *, *) ( *, *) [Cn,Cn,i1,Cn,C+,ic] 9 223(1065): * * * * 264 224 ( *, *) (241, *) ( *, *) (195, *) ( *, *) (250, *) [Cn,i1,Cn,r1,C+,i1] 9 224(1066): * * * * 263 223 ( *, *) (242, *) ( *, *) (194, *) ( *, *) (250, *) [Cn,i1,Cn,r1,C+,i1] 9 225(1069): * * * * 225 226 ( *, *) (244, *) ( *, *) ( *, *) ( *, *) (251, *) [Cn,i1,Cn,Cn,ic,i2] 9 226(1069): * * * * 226 225 ( *, *) (245, *) ( *, *) ( *, *) ( *, *) (251, *) [Cn,i1,Cn,Cn,ic,i2] 9 227(1073): * * * * 227 228 ( *, *) (196, *) ( *, *) ( *, *) ( *, *) (252, *) [Cn,r1,Cn,Cn,ic,i1] 9 228(1074): * * * * 228 227 ( *, *) (197, *) ( *, *) ( *, *) ( *, *) (252, *) [Cn,r1,Cn,Cn,ic,i1] 9 229(1095): * * * * 191 229 ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) [Cn,Cn,Cn,Cn,C-,ic] 9 230(1109): * * * * 265 230 ( *, *) (249, *) ( *, *) (250, *) ( *, *) (195,194) [Cn,i2,Cn,i1,C+,r1] 9 231(1112): * * * * 269 231 ( *, *) (252, *) ( *, *) ( *, *) ( *, *) (197,196) [Cn,i1,Cn,Cn,C+,r1] 9 232(1124): * * * * 266 184 ( *, *) (253, *) ( *, *) ( *, *) ( *, *) ( *, *) [Cn,i1,Cn,Cn,C+,C-] 9 233(1126): * * * * 268 186 ( *, *) ( *, *) (254, *) ( *, *) ( *, *) ( *, *) [Cn,Cn,i1,Cn,C+,C-] 9 234(1127): * * * * 267 185 ( *, *) ( *, *) (255, *) ( *, *) ( *, *) ( *, *) [Cn,Cn,i1,Cn,C+,C-] 9 235(1144): * * * * 198 275 ( *, *) ( *, *) (205, *) (204, *) ( *, *) ( *, *) [Cn,Cn,r1,r1,C-,C+] 10 236(1145): * * * * 199 236 (210, *) ( *, *) (209, *) (208, *) ( *, *) ( *, *) [r1,Cn,r1,r1,C-,ic] 10 237(1151): * * * * 237 237 ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) (206,207) [Cn,Cn,Cn,Cn,rn,r2] 10 238(1153): * * * * 238 239 ( *, *) (218, *) ( *, *) ( *, *) ( *, *) (272, *) [Cn,r1,Cn,Cn,ic,i2] 10 239(1153): * * * * 239 238 ( *, *) (219, *) ( *, *) ( *, *) ( *, *) (272, *) [Cn,r1,Cn,Cn,ic,i2] 10 240(1154): * * * * 280 240 ( *, *) ( *, *) (222, *) ( *, *) ( *, *) ( *, *) [Cn,Cn,r1,Cn,C+,ic] 10 241(1155): * * * * 282 242 ( *, *) (223, *) ( *, *) (220, *) ( *, *) (273, *) [Cn,r1,Cn,r1,C+,i2] 10 242(1155): * * * * 283 241 ( *, *) (224, *) ( *, *) (221, *) ( *, *) (273, *) [Cn,r1,Cn,r1,C+,i2] 10 243(1156): * * * * 281 292 ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) [Cn,Cn,Cn,Cn,C+,C+] 10 244(1160): * * * * 244 245 ( *, *) (225, *) ( *, *) ( *, *) ( *, *) (274, *) [Cn,r1,Cn,Cn,ic,i2] 10 245(1160): * * * * 245 244 ( *, *) (226, *) ( *, *) ( *, *) ( *, *) (274, *) [Cn,r1,Cn,Cn,ic,i2] 10 246(1178): * * * * 211 246 ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) [Cn,Cn,Cn,Cn,C-,ic] 10 247(1179): * * * * 212 294 ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) [Cn,Cn,Cn,Cn,C-,C+] 10 248(1187): * * * * 285 248 ( *, *) (272, *) ( *, *) ( *, *) ( *, *) (219,218) [Cn,i2,Cn,Cn,C+,r1] 10 249(1188): * * * * 286 249 ( *, *) (230, *) ( *, *) (273, *) ( *, *) (220,221) [Cn,r1,Cn,i1,C+,r2] 10 250(1192): * * * * 284 250 ( *, *) (273, *) ( *, *) (230, *) ( *, *) (224,223) [Cn,i2,Cn,r1,C+,r1] 10 251(1199): * * * * 290 251 ( *, *) (274, *) ( *, *) ( *, *) ( *, *) (225,226) [Cn,i1,Cn,Cn,C+,r2] 10 252(1200): * * * * 291 252 ( *, *) (231, *) ( *, *) ( *, *) ( *, *) (228,227) [Cn,r1,Cn,Cn,C+,r1] 10 253(1206): * * * * 287 201 ( *, *) (232, *) ( *, *) ( *, *) ( *, *) ( *, *) [Cn,r1,Cn,Cn,C+,C-] 10 254(1208): * * * * 288 202 ( *, *) ( *, *) (233, *) ( *, *) ( *, *) ( *, *) [Cn,Cn,r1,Cn,C+,C-] 10 255(1208): * * * * 289 203 ( *, *) ( *, *) (234, *) ( *, *) ( *, *) ( *, *) [Cn,Cn,r1,Cn,C+,C-] 10 256(1214): * * * * 294 204 ( *, *) ( *, *) ( *, *) (275, *) ( *, *) ( *, *) [Cn,Cn,Cn,i2,C+,C-] 10 257(1215): * * * * 295 205 ( *, *) ( *, *) (275, *) ( *, *) ( *, *) ( *, *) [Cn,Cn,i2,Cn,C+,C-] 10 258(1220): * * * * 213 258 ( *, *) ( *, *) ( *, *) (276, *) ( *, *) ( *, *) [Cn,Cn,Cn,i2,C-,rn] 10 259(1220): * * * * 214 259 ( *, *) ( *, *) ( *, *) (277, *) ( *, *) ( *, *) [Cn,Cn,Cn,i2,C-,rn] 10 260(1233): * * * * 303 261 ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) (293, *) [Cn,Cn,Cn,Cn,C+,i1] 10 261(1234): * * * * 304 260 ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) (293, *) [Cn,Cn,Cn,Cn,C+,i1] 10 262(1242): * * * * 222 306 ( *, *) ( *, *) (280, *) (281, *) ( *, *) ( *, *) [Cn,Cn,i1,i1,C-,C+] 10 263(1243): * * * * 224 307 ( *, *) (283, *) ( *, *) ( *, *) ( *, *) ( *, *) [Cn,i1,Cn,Cn,C-,C+] 10 264(1244): * * * * 223 308 ( *, *) (282, *) ( *, *) ( *, *) ( *, *) ( *, *) [Cn,i1,Cn,Cn,C-,C+] 10 265(1250): * * * * 230 265 ( *, *) (286, *) ( *, *) ( *, *) ( *, *) ( *, *) [Cn,i2,Cn,Cn,C-,ic] 10 266(1260): * * * * 232 266 ( *, *) (287, *) ( *, *) (290, *) ( *, *) ( *, *) [Cn,i1,Cn,i2,C-,ic] 10 267(1263): * * * * 234 268 ( *, *) ( *, *) (289, *) ( *, *) ( *, *) (295, *) [Cn,Cn,i1,Cn,C-,i1] 10 268(1264): * * * * 233 267 ( *, *) ( *, *) (288, *) ( *, *) ( *, *) (295, *) [Cn,Cn,i1,Cn,C-,i1] 10 269(1265): * * * * 231 269 ( *, *) (291, *) ( *, *) ( *, *) ( *, *) ( *, *) [Cn,i1,Cn,Cn,C-,ic] 10 270(1293): * * * * 270 271 (296, *) ( *, *) (298, *) (301, *) ( *, *) (305, *) [i1,Cn,i1,i1,ic,i1] 10 271(1296): * * * * 271 270 (297, *) ( *, *) (299, *) (300, *) ( *, *) (305, *) [i1,Cn,i1,i1,ic,i1] 10 272(1300): * * * * 310 272 ( *, *) (248, *) ( *, *) ( *, *) ( *, *) (238,239) [Cn,r1,Cn,Cn,C+,r2] 11 273(1301): * * * * 309 273 ( *, *) (250, *) ( *, *) (249, *) ( *, *) (241,242) [Cn,r1,Cn,r1,C+,r2] 11 274(1304): * * * * 311 274 ( *, *) (251, *) ( *, *) ( *, *) ( *, *) (244,245) [Cn,r1,Cn,Cn,C+,r2] 11 275(1305): * * * * 313 235 ( *, *) ( *, *) (257, *) (256, *) ( *, *) ( *, *) [Cn,Cn,r1,r1,C+,C-] 11 276(1307): * * * * 276 276 ( *, *) ( *, *) ( *, *) (258, *) ( *, *) ( *, *) [Cn,Cn,Cn,r1,rn,rn] 11 277(1307): * * * * 277 277 ( *, *) ( *, *) ( *, *) (259, *) ( *, *) ( *, *) [Cn,Cn,Cn,r1,rn,rn] 11 278(1312): * * * * 319 279 ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) (312, *) [Cn,Cn,Cn,Cn,C+,i2] 11 279(1312): * * * * 320 278 ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) (312, *) [Cn,Cn,Cn,Cn,C+,i2] 11 280(1315): * * * * 240 330 ( *, *) ( *, *) (262, *) ( *, *) ( *, *) ( *, *) [Cn,Cn,r1,Cn,C-,C+] 11 281(1316): * * * * 243 331 ( *, *) ( *, *) ( *, *) (262, *) ( *, *) ( *, *) [Cn,Cn,Cn,r1,C-,C+] 11 282(1318): * * * * 241 332 ( *, *) (264, *) ( *, *) ( *, *) ( *, *) ( *, *) [Cn,r1,Cn,Cn,C-,C+] 11 283(1318): * * * * 242 333 ( *, *) (263, *) ( *, *) ( *, *) ( *, *) ( *, *) [Cn,r1,Cn,Cn,C-,C+] 11 284(1324): * * * * 250 334 ( *, *) (309, *) ( *, *) ( *, *) ( *, *) ( *, *) [Cn,i2,Cn,Cn,C-,C+] 11 285(1330): * * * * 248 285 ( *, *) (310, *) ( *, *) ( *, *) ( *, *) ( *, *) [Cn,i2,Cn,Cn,C-,ic] 11 286(1332): * * * * 249 286 ( *, *) (265, *) ( *, *) ( *, *) ( *, *) ( *, *) [Cn,r1,Cn,Cn,C-,ic] 11 287(1338): * * * * 253 287 ( *, *) (266, *) ( *, *) (311, *) ( *, *) ( *, *) [Cn,r1,Cn,i2,C-,ic] 11 288(1339): * * * * 254 289 ( *, *) ( *, *) (268, *) ( *, *) ( *, *) (313, *) [Cn,Cn,r1,Cn,C-,i2] 11 289(1339): * * * * 255 288 ( *, *) ( *, *) (267, *) ( *, *) ( *, *) (313, *) [Cn,Cn,r1,Cn,C-,i2] 11 290(1342): * * * * 251 290 ( *, *) (311, *) ( *, *) (266, *) ( *, *) ( *, *) [Cn,i1,Cn,r1,C-,ic] 11 291(1343): * * * * 252 291 ( *, *) (269, *) ( *, *) ( *, *) ( *, *) ( *, *) [Cn,r1,Cn,Cn,C-,ic] 11 292(1351): * * * * 321 243 ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) [Cn,Cn,Cn,Cn,C+,C-] 11 293(1352): * * * * 322 293 ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) (261,260) [Cn,Cn,Cn,Cn,C+,r1] 11 294(1374): * * * * 256 247 ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) [Cn,Cn,Cn,Cn,C-,C-] 11 295(1376): * * * * 257 295 ( *, *) ( *, *) (313, *) ( *, *) ( *, *) (268,267) [Cn,Cn,i2,Cn,C-,r1] 11 296(1379): * * * * 296 297 (270, *) ( *, *) (314, *) (316, *) ( *, *) (323, *) [r1,Cn,i1,i1,ic,i2] 11 297(1379): * * * * 297 296 (271, *) ( *, *) (315, *) (317, *) ( *, *) (323, *) [r1,Cn,i1,i1,ic,i2] 11 298(1382): * * * * 298 299 (314, *) ( *, *) (270, *) ( *, *) ( *, *) (324, *) [i1,Cn,r1,Cn,ic,i1] 11 299(1383): * * * * 299 298 (315, *) ( *, *) (271, *) ( *, *) ( *, *) (324, *) [i1,Cn,r1,Cn,ic,i1] 11 300(1384): * * * * 337 301 (317, *) ( *, *) ( *, *) (271, *) ( *, *) (325, *) [i1,Cn,Cn,r1,C+,i1] 11 301(1385): * * * * 336 300 (316, *) ( *, *) ( *, *) (270, *) ( *, *) (325, *) [i1,Cn,Cn,r1,C+,i1] 11 302(1389): * * * * 302 302 ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) [Cn,Cn,Cn,Cn,ic,ic] 11 303(1403): * * * * 260 342 ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) [Cn,Cn,Cn,Cn,C-,C+] 11 304(1404): * * * * 261 343 ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) [Cn,Cn,Cn,Cn,C-,C+] 11 305(1418): * * * * 338 305 (323, *) ( *, *) (324, *) (325, *) ( *, *) (271,270) [i2,Cn,i1,i1,C+,r1] 11 306(1421): * * * * 339 262 ( *, *) ( *, *) (330, *) (331, *) ( *, *) ( *, *) [Cn,Cn,i1,i1,C+,C-] 11 307(1424): * * * * 341 263 ( *, *) (333, *) ( *, *) ( *, *) ( *, *) ( *, *) [Cn,i1,Cn,Cn,C+,C-] 11 308(1425): * * * * 340 264 ( *, *) (332, *) ( *, *) ( *, *) ( *, *) ( *, *) [Cn,i1,Cn,Cn,C+,C-] 11 309(1434): * * * * 273 349 ( *, *) (284, *) ( *, *) ( *, *) ( *, *) ( *, *) [Cn,r1,Cn,Cn,C-,C+] 12 310(1437): * * * * 272 310 ( *, *) (285, *) ( *, *) ( *, *) ( *, *) ( *, *) [Cn,r1,Cn,Cn,C-,ic] 12 311(1438): * * * * 274 311 ( *, *) (290, *) ( *, *) (287, *) ( *, *) ( *, *) [Cn,r1,Cn,r1,C-,ic] 12 312(1442): * * * * 344 312 ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) (278,279) [Cn,Cn,Cn,Cn,C+,r2] 12 313(1446): * * * * 275 313 ( *, *) ( *, *) (295, *) ( *, *) ( *, *) (288,289) [Cn,Cn,r1,Cn,C-,r2] 12 314(1448): * * * * 314 315 (298, *) ( *, *) (296, *) ( *, *) ( *, *) (345, *) [r1,Cn,r1,Cn,ic,i2] 12 315(1448): * * * * 315 314 (299, *) ( *, *) (297, *) ( *, *) ( *, *) (345, *) [r1,Cn,r1,Cn,ic,i2] 12 316(1449): * * * * 352 317 (301, *) ( *, *) ( *, *) (296, *) ( *, *) (346, *) [r1,Cn,Cn,r1,C+,i2] 12 317(1449): * * * * 353 316 (300, *) ( *, *) ( *, *) (297, *) ( *, *) (346, *) [r1,Cn,Cn,r1,C+,i2] 12 318(1453): * * * * 354 318 ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) [Cn,Cn,Cn,Cn,C+,ic] 12 319(1461): * * * * 278 368 ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) [Cn,Cn,Cn,Cn,C-,C+] 12 320(1461): * * * * 279 369 ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) [Cn,Cn,Cn,Cn,C-,C+] 12 321(1469): * * * * 292 370 ( *, *) ( *, *) ( *, *) (344, *) ( *, *) ( *, *) [Cn,Cn,Cn,i2,C-,C+] 12 322(1470): * * * * 293 371 ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) [Cn,Cn,Cn,Cn,C-,C+] 12 323(1483): * * * * 356 323 (305, *) ( *, *) (345, *) (346, *) ( *, *) (296,297) [r1,Cn,i1,i1,C+,r2] 12 324(1486): * * * * 357 324 (345, *) ( *, *) (305, *) ( *, *) ( *, *) (299,298) [i2,Cn,r1,Cn,C+,r1] 12 325(1487): * * * * 355 325 (346, *) ( *, *) ( *, *) (305, *) ( *, *) (301,300) [i2,Cn,Cn,r1,C+,r1] 12 326(1491): * * * * 362 326 ( *, *) ( *, *) (347, *) ( *, *) ( *, *) ( *, *) [Cn,Cn,i2,Cn,C+,rn] 12 327(1491): * * * * 363 327 ( *, *) ( *, *) (348, *) ( *, *) ( *, *) ( *, *) [Cn,Cn,i2,Cn,C+,rn] 12 328(1492): * * * * 364 328 ( *, *) (347, *) ( *, *) ( *, *) ( *, *) ( *, *) [Cn,i2,Cn,Cn,C+,rn] 12 329(1492): * * * * 365 329 ( *, *) (348, *) ( *, *) ( *, *) ( *, *) ( *, *) [Cn,i2,Cn,Cn,C+,rn] 12 330(1493): * * * * 358 280 ( *, *) ( *, *) (306, *) ( *, *) ( *, *) ( *, *) [Cn,Cn,r1,Cn,C+,C-] 12 331(1494): * * * * 359 281 ( *, *) ( *, *) ( *, *) (306, *) ( *, *) ( *, *) [Cn,Cn,Cn,r1,C+,C-] 12 332(1496): * * * * 360 282 ( *, *) (308, *) ( *, *) ( *, *) ( *, *) ( *, *) [Cn,r1,Cn,Cn,C+,C-] 12 333(1496): * * * * 361 283 ( *, *) (307, *) ( *, *) ( *, *) ( *, *) ( *, *) [Cn,r1,Cn,Cn,C+,C-] 12 334(1504): * * * * 372 284 ( *, *) (349, *) ( *, *) ( *, *) ( *, *) ( *, *) [Cn,i2,Cn,Cn,C+,C-] 12 335(1521): * * * * 335 335 ( *, *) ( *, *) (351, *) ( *, *) ( *, *) ( *, *) [Cn,Cn,i2,Cn,ic,ic] 12 336(1529): * * * * 301 376 (352, *) ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) [i1,Cn,Cn,Cn,C-,C+] 12 337(1530): * * * * 300 375 (353, *) ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) [i1,Cn,Cn,Cn,C-,C+] 12 338(1531): * * * * 305 338 (356, *) ( *, *) (357, *) ( *, *) ( *, *) ( *, *) [i2,Cn,i1,Cn,C-,ic] 12 339(1536): * * * * 306 339 ( *, *) ( *, *) (358, *) ( *, *) ( *, *) ( *, *) [Cn,Cn,i1,Cn,C-,ic] 12 340(1539): * * * * 308 341 ( *, *) (360, *) ( *, *) (364, *) ( *, *) (372, *) [Cn,i1,Cn,i1,C-,i1] 12 341(1540): * * * * 307 340 ( *, *) (361, *) ( *, *) (365, *) ( *, *) (372, *) [Cn,i1,Cn,i1,C-,i1] 12 342(1547): * * * * 374 303 ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) [Cn,Cn,Cn,Cn,C+,C-] 12 343(1548): * * * * 373 304 ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) [Cn,Cn,Cn,Cn,C+,C-] 12 344(1555): * * * * 312 382 ( *, *) ( *, *) ( *, *) (321, *) ( *, *) ( *, *) [Cn,Cn,Cn,r1,C-,C+] 13 345(1557): * * * * 379 345 (324, *) ( *, *) (323, *) ( *, *) ( *, *) (314,315) [r1,Cn,r1,Cn,C+,r2] 13 346(1558): * * * * 378 346 (325, *) ( *, *) ( *, *) (323, *) ( *, *) (316,317) [r1,Cn,Cn,r1,C+,r2] 13 347(1560): * * * * 380 347 ( *, *) (328, *) (326, *) ( *, *) ( *, *) ( *, *) [Cn,r1,r1,Cn,C+,rn] 13 348(1560): * * * * 381 348 ( *, *) (329, *) (327, *) ( *, *) ( *, *) ( *, *) [Cn,r1,r1,Cn,C+,rn] 13 349(1561): * * * * 383 309 ( *, *) (334, *) ( *, *) ( *, *) ( *, *) ( *, *) [Cn,r1,Cn,Cn,C+,C-] 13 350(1569): * * * * 386 350 ( *, *) ( *, *) (377, *) ( *, *) ( *, *) ( *, *) [Cn,Cn,i2,Cn,C+,ic] 13 351(1574): * * * * 351 351 ( *, *) ( *, *) (335, *) ( *, *) ( *, *) ( *, *) [Cn,Cn,r1,Cn,ic,ic] 13 352(1576): * * * * 316 393 (336, *) ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) [r1,Cn,Cn,Cn,C-,C+] 13 353(1576): * * * * 317 394 (337, *) ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) [r1,Cn,Cn,Cn,C-,C+] 13 354(1580): * * * * 318 395 ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) [Cn,Cn,Cn,Cn,C-,C+] 13 355(1584): * * * * 325 396 (378, *) ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) [i2,Cn,Cn,Cn,C-,C+] 13 356(1588): * * * * 323 356 (338, *) ( *, *) (379, *) ( *, *) ( *, *) ( *, *) [r1,Cn,i1,Cn,C-,ic] 13 357(1589): * * * * 324 357 (379, *) ( *, *) (338, *) ( *, *) ( *, *) ( *, *) [i2,Cn,r1,Cn,C-,ic] 13 358(1590): * * * * 330 358 ( *, *) ( *, *) (339, *) ( *, *) ( *, *) ( *, *) [Cn,Cn,r1,Cn,C-,ic] 13 359(1591): * * * * 331 397 ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) [Cn,Cn,Cn,Cn,C-,C+] 13 360(1595): * * * * 332 361 ( *, *) (340, *) ( *, *) (380, *) ( *, *) (383, *) [Cn,r1,Cn,i2,C-,i2] 13 361(1595): * * * * 333 360 ( *, *) (341, *) ( *, *) (381, *) ( *, *) (383, *) [Cn,r1,Cn,i2,C-,i2] 13 362(1597): * * * * 326 363 ( *, *) ( *, *) (380, *) ( *, *) ( *, *) (384, *) [Cn,Cn,i2,Cn,C-,i2] 13 363(1597): * * * * 327 362 ( *, *) ( *, *) (381, *) ( *, *) ( *, *) (384, *) [Cn,Cn,i2,Cn,C-,i2] 13 364(1598): * * * * 328 365 ( *, *) (380, *) ( *, *) (340, *) ( *, *) (385, *) [Cn,i2,Cn,r1,C-,i2] 13 365(1598): * * * * 329 364 ( *, *) (381, *) ( *, *) (341, *) ( *, *) (385, *) [Cn,i2,Cn,r1,C-,i2] 13 366(1600): * * * * 389 366 ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) [Cn,Cn,Cn,Cn,C+,rn] 13 367(1600): * * * * 390 367 ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) [Cn,Cn,Cn,Cn,C+,rn] 13 368(1606): * * * * 387 319 ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) [Cn,Cn,Cn,Cn,C+,C-] 13 369(1606): * * * * 388 320 ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) [Cn,Cn,Cn,Cn,C+,C-] 13 370(1611): * * * * 397 321 ( *, *) ( *, *) ( *, *) (382, *) ( *, *) ( *, *) [Cn,Cn,Cn,i2,C+,C-] 13 371(1613): * * * * 398 322 ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) [Cn,Cn,Cn,Cn,C+,C-] 13 372(1623): * * * * 334 372 ( *, *) (383, *) ( *, *) (385, *) ( *, *) (341,340) [Cn,i2,Cn,i2,C-,r1] 13 373(1640): * * * * 343 374 ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) (398, *) [Cn,Cn,Cn,Cn,C-,i1] 13 374(1641): * * * * 342 373 ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) (398, *) [Cn,Cn,Cn,Cn,C-,i1] 13 375(1644): * * * * 404 337 (394, *) ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) [i1,Cn,Cn,Cn,C+,C-] 13 376(1645): * * * * 403 336 (393, *) ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) [i1,Cn,Cn,Cn,C+,C-] 13 377(1646): * * * * 406 377 ( *, *) ( *, *) (350, *) ( *, *) ( *, *) ( *, *) [Cn,Cn,r1,Cn,C+,ic] 14 378(1650): * * * * 346 409 (355, *) ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) [r1,Cn,Cn,Cn,C-,C+] 14 379(1651): * * * * 345 379 (357, *) ( *, *) (356, *) ( *, *) ( *, *) ( *, *) [r1,Cn,r1,Cn,C-,ic] 14 380(1652): * * * * 347 381 ( *, *) (364, *) (362, *) (360, *) ( *, *) (405, *) [Cn,r1,r1,r1,C-,i2] 14 381(1652): * * * * 348 380 ( *, *) (365, *) (363, *) (361, *) ( *, *) (405, *) [Cn,r1,r1,r1,C-,i2] 14 382(1657): * * * * 410 344 ( *, *) ( *, *) ( *, *) (370, *) ( *, *) ( *, *) [Cn,Cn,Cn,r1,C+,C-] 14 383(1662): * * * * 349 383 ( *, *) (372, *) ( *, *) (405, *) ( *, *) (360,361) [Cn,r1,Cn,i2,C-,r2] 14 384(1664): * * * * 384 384 ( *, *) ( *, *) (405, *) ( *, *) ( *, *) (362,363) [Cn,Cn,i2,Cn,rn,r2] 14 385(1665): * * * * 385 385 ( *, *) (405, *) ( *, *) (372, *) ( *, *) (364,365) [Cn,i2,Cn,r1,rn,r2] 14 386(1674): * * * * 350 423 ( *, *) ( *, *) (406, *) ( *, *) ( *, *) ( *, *) [Cn,Cn,i2,Cn,C-,C+] 14 387(1682): * * * * 368 388 ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) (410, *) [Cn,Cn,Cn,Cn,C-,i2] 14 388(1682): * * * * 369 387 ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) (410, *) [Cn,Cn,Cn,Cn,C-,i2] 14 389(1685): * * * * 366 390 ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) (411, *) [Cn,Cn,Cn,Cn,C-,i2] 14 390(1685): * * * * 367 389 ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) (411, *) [Cn,Cn,Cn,Cn,C-,i2] 14 391(1689): * * * * 419 391 (407, *) ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) [i2,Cn,Cn,Cn,C+,rn] 14 392(1689): * * * * 420 392 (408, *) ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) [i2,Cn,Cn,Cn,C+,rn] 14 393(1692): * * * * 417 352 (376, *) ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) [r1,Cn,Cn,Cn,C+,C-] 14 394(1692): * * * * 418 353 (375, *) ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) [r1,Cn,Cn,Cn,C+,C-] 14 395(1695): * * * * 421 354 ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) [Cn,Cn,Cn,Cn,C+,C-] 14 396(1698): * * * * 424 355 (409, *) ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) [i2,Cn,Cn,Cn,C+,C-] 14 397(1704): * * * * 370 359 ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) [Cn,Cn,Cn,Cn,C-,C-] 14 398(1706): * * * * 371 398 ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) (374,373) [Cn,Cn,Cn,Cn,C-,r1] 14 399(1708): * * * * 399 399 ( *, *) (412, *) ( *, *) (413, *) ( *, *) ( *, *) [Cn,i2,Cn,i1,ic,ic] 14 400(1711): * * * * 400 400 (412, *) ( *, *) ( *, *) (414, *) ( *, *) ( *, *) [i2,Cn,Cn,i1,ic,ic] 14 401(1713): * * * * 401 402 ( *, *) (415, *) ( *, *) ( *, *) ( *, *) (422, *) [Cn,i1,Cn,Cn,ic,i1] 14 402(1714): * * * * 402 401 ( *, *) (416, *) ( *, *) ( *, *) ( *, *) (422, *) [Cn,i1,Cn,Cn,ic,i1] 14 403(1717): * * * * 376 404 (417, *) ( *, *) ( *, *) (419, *) ( *, *) (424, *) [i1,Cn,Cn,i1,C-,i1] 14 404(1718): * * * * 375 403 (418, *) ( *, *) ( *, *) (420, *) ( *, *) (424, *) [i1,Cn,Cn,i1,C-,i1] 14 405(1721): * * * * 405 405 ( *, *) (385, *) (384, *) (383, *) ( *, *) (380,381) [Cn,r1,r1,r1,rn,r2] 15 406(1723): * * * * 377 429 ( *, *) ( *, *) (386, *) ( *, *) ( *, *) ( *, *) [Cn,Cn,r1,Cn,C-,C+] 15 407(1727): * * * * 426 407 (391, *) ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) [r1,Cn,Cn,Cn,C+,rn] 15 408(1727): * * * * 427 408 (392, *) ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) [r1,Cn,Cn,Cn,C+,rn] 15 409(1730): * * * * 430 378 (396, *) ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) [r1,Cn,Cn,Cn,C+,C-] 15 410(1733): * * * * 382 410 ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) (387,388) [Cn,Cn,Cn,Cn,C-,r2] 15 411(1735): * * * * 411 411 ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) (389,390) [Cn,Cn,Cn,Cn,rn,r2] 15 412(1740): * * * * 412 412 (400, *) (399, *) ( *, *) (425, *) ( *, *) ( *, *) [r1,r1,Cn,i1,ic,ic] 15 413(1741): * * * * 432 413 ( *, *) (425, *) ( *, *) (399, *) ( *, *) ( *, *) [Cn,i2,Cn,r1,C+,ic] 15 414(1742): * * * * 433 414 (425, *) ( *, *) ( *, *) (400, *) ( *, *) ( *, *) [i2,Cn,Cn,r1,C+,ic] 15 415(1743): * * * * 415 416 ( *, *) (401, *) ( *, *) ( *, *) ( *, *) (428, *) [Cn,r1,Cn,Cn,ic,i2] 15 416(1743): * * * * 416 415 ( *, *) (402, *) ( *, *) ( *, *) ( *, *) (428, *) [Cn,r1,Cn,Cn,ic,i2] 15 417(1751): * * * * 393 418 (403, *) ( *, *) ( *, *) (426, *) ( *, *) (430, *) [r1,Cn,Cn,i2,C-,i2] 15 418(1751): * * * * 394 417 (404, *) ( *, *) ( *, *) (427, *) ( *, *) (430, *) [r1,Cn,Cn,i2,C-,i2] 15 419(1754): * * * * 391 420 (426, *) ( *, *) ( *, *) (403, *) ( *, *) (431, *) [i2,Cn,Cn,r1,C-,i2] 15 420(1754): * * * * 392 419 (427, *) ( *, *) ( *, *) (404, *) ( *, *) (431, *) [i2,Cn,Cn,r1,C-,i2] 15 421(1756): * * * * 395 421 ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) [Cn,Cn,Cn,Cn,C-,ic] 15 422(1759): * * * * 435 422 ( *, *) (428, *) ( *, *) ( *, *) ( *, *) (402,401) [Cn,i2,Cn,Cn,C+,r1] 15 423(1761): * * * * 434 386 ( *, *) ( *, *) (429, *) ( *, *) ( *, *) ( *, *) [Cn,Cn,i2,Cn,C+,C-] 15 424(1770): * * * * 396 424 (430, *) ( *, *) ( *, *) (431, *) ( *, *) (404,403) [i2,Cn,Cn,i2,C-,r1] 15 425(1776): * * * * 439 425 (414, *) (413, *) ( *, *) (412, *) ( *, *) ( *, *) [r1,r1,Cn,r1,C+,ic] 16 426(1780): * * * * 407 427 (419, *) ( *, *) ( *, *) (417, *) ( *, *) (438, *) [r1,Cn,Cn,r1,C-,i2] 16 427(1780): * * * * 408 426 (420, *) ( *, *) ( *, *) (418, *) ( *, *) (438, *) [r1,Cn,Cn,r1,C-,i2] 16 428(1782): * * * * 441 428 ( *, *) (422, *) ( *, *) ( *, *) ( *, *) (415,416) [Cn,r1,Cn,Cn,C+,r2] 16 429(1783): * * * * 440 406 ( *, *) ( *, *) (423, *) ( *, *) ( *, *) ( *, *) [Cn,Cn,r1,Cn,C+,C-] 16 430(1788): * * * * 409 430 (424, *) ( *, *) ( *, *) (438, *) ( *, *) (417,418) [r1,Cn,Cn,i2,C-,r2] 16 431(1789): * * * * 431 431 (438, *) ( *, *) ( *, *) (424, *) ( *, *) (419,420) [i2,Cn,Cn,r1,rn,r2] 16 432(1793): * * * * 413 449 ( *, *) (439, *) ( *, *) ( *, *) ( *, *) ( *, *) [Cn,i2,Cn,Cn,C-,C+] 16 433(1794): * * * * 414 450 (439, *) ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) [i2,Cn,Cn,Cn,C-,C+] 16 434(1798): * * * * 423 434 ( *, *) ( *, *) (440, *) ( *, *) ( *, *) ( *, *) [Cn,Cn,i2,Cn,C-,ic] 16 435(1801): * * * * 422 435 ( *, *) (441, *) ( *, *) ( *, *) ( *, *) ( *, *) [Cn,i2,Cn,Cn,C-,ic] 16 436(1809): * * * * 436 437 (443, *) ( *, *) (447, *) ( *, *) ( *, *) (448, *) [i1,Cn,i1,Cn,ic,i1] 16 437(1810): * * * * 437 436 (442, *) ( *, *) (446, *) ( *, *) ( *, *) (448, *) [i1,Cn,i1,Cn,ic,i1] 16 438(1811): * * * * 438 438 (431, *) ( *, *) ( *, *) (430, *) ( *, *) (426,427) [r1,Cn,Cn,r1,rn,r2] 17 439(1812): * * * * 425 456 (433, *) (432, *) ( *, *) ( *, *) ( *, *) ( *, *) [r1,r1,Cn,Cn,C-,C+] 17 440(1814): * * * * 429 440 ( *, *) ( *, *) (434, *) ( *, *) ( *, *) ( *, *) [Cn,Cn,r1,Cn,C-,ic] 17 441(1815): * * * * 428 441 ( *, *) (435, *) ( *, *) ( *, *) ( *, *) ( *, *) [Cn,r1,Cn,Cn,C-,ic] 17 442(1823): * * * * 442 443 (437, *) ( *, *) (451, *) ( *, *) ( *, *) (453, *) [r1,Cn,i2,Cn,ic,i2] 17 443(1823): * * * * 443 442 (436, *) ( *, *) (452, *) ( *, *) ( *, *) (453, *) [r1,Cn,i2,Cn,ic,i2] 17 444(1824): * * * * 444 445 ( *, *) (451, *) ( *, *) ( *, *) ( *, *) (454, *) [Cn,i2,Cn,Cn,ic,i2] 17 445(1824): * * * * 445 444 ( *, *) (452, *) ( *, *) ( *, *) ( *, *) (454, *) [Cn,i2,Cn,Cn,ic,i2] 17 446(1825): * * * * 446 447 (451, *) ( *, *) (437, *) ( *, *) ( *, *) (455, *) [i2,Cn,r1,Cn,ic,i2] 17 447(1825): * * * * 447 446 (452, *) ( *, *) (436, *) ( *, *) ( *, *) (455, *) [i2,Cn,r1,Cn,ic,i2] 17 448(1830): * * * * 459 448 (453, *) ( *, *) (455, *) ( *, *) ( *, *) (437,436) [i2,Cn,i2,Cn,C+,r1] 17 449(1831): * * * * 457 432 ( *, *) (456, *) ( *, *) ( *, *) ( *, *) ( *, *) [Cn,i2,Cn,Cn,C+,C-] 17 450(1832): * * * * 458 433 (456, *) ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) [i2,Cn,Cn,Cn,C+,C-] 17 451(1834): * * * * 451 452 (446, *) (444, *) (442, *) ( *, *) ( *, *) (460, *) [r1,r1,r1,Cn,ic,i2] 18 452(1834): * * * * 452 451 (447, *) (445, *) (443, *) ( *, *) ( *, *) (460, *) [r1,r1,r1,Cn,ic,i2] 18 453(1838): * * * * 462 453 (448, *) ( *, *) (460, *) ( *, *) ( *, *) (442,443) [r1,Cn,i2,Cn,C+,r2] 18 454(1839): * * * * 463 454 ( *, *) (460, *) ( *, *) ( *, *) ( *, *) (444,445) [Cn,i2,Cn,Cn,C+,r2] 18 455(1840): * * * * 464 455 (460, *) ( *, *) (448, *) ( *, *) ( *, *) (446,447) [i2,Cn,r1,Cn,C+,r2] 18 456(1841): * * * * 461 439 (450, *) (449, *) ( *, *) ( *, *) ( *, *) ( *, *) [r1,r1,Cn,Cn,C+,C-] 18 457(1842): * * * * 449 457 ( *, *) (461, *) ( *, *) (463, *) ( *, *) ( *, *) [Cn,i2,Cn,i2,C-,ic] 18 458(1843): * * * * 450 458 (461, *) ( *, *) ( *, *) (464, *) ( *, *) ( *, *) [i2,Cn,Cn,i2,C-,ic] 18 459(1844): * * * * 448 459 (462, *) ( *, *) (464, *) ( *, *) ( *, *) ( *, *) [i2,Cn,i2,Cn,C-,ic] 18 460(1845): * * * * 465 460 (455, *) (454, *) (453, *) ( *, *) ( *, *) (451,452) [r1,r1,r1,Cn,C+,r2] 19 461(1846): * * * * 456 461 (458, *) (457, *) ( *, *) (465, *) ( *, *) ( *, *) [r1,r1,Cn,i2,C-,ic] 19 462(1847): * * * * 453 462 (459, *) ( *, *) (465, *) ( *, *) ( *, *) ( *, *) [r1,Cn,i2,Cn,C-,ic] 19 463(1848): * * * * 454 463 ( *, *) (465, *) ( *, *) (457, *) ( *, *) ( *, *) [Cn,i2,Cn,r1,C-,ic] 19 464(1849): * * * * 455 464 (465, *) ( *, *) (459, *) (458, *) ( *, *) ( *, *) [i2,Cn,r1,r1,C-,ic] 19 465(1850): * * * * 460 465 (464, *) (463, *) (462, *) (461, *) ( *, *) ( *, *) [r1,r1,r1,r1,C-,ic] 20