0( 6): * * * 0 * 1 ( 2, *) ( 4, *) ( 6, *) ( *, *) ( 8, *) ( 10, *) [i1,i1,i1,ic,i1,i1] 0 1( 38): * * * 1 * 0 ( 3, *) ( 5, *) ( 7, *) ( *, *) ( 9, *) ( 10, *) [i1,i1,i1,ic,i1,i1] 0 2( 45): * * * 2 * 3 ( 0, *) ( *, *) ( 12, *) ( *, *) ( 13, *) ( 19, *) [r1,Cn,i1,ic,i1,i1] 1 3( 48): * * * 3 * 2 ( 1, *) ( *, *) ( 11, *) ( *, *) ( 14, *) ( 19, *) [r1,Cn,i1,ic,i1,i1] 1 4( 53): * * * 4 * 5 ( *, *) ( 0, *) ( *, *) ( *, *) ( 15, *) ( 20, *) [Cn,r1,Cn,ic,i1,i1] 1 5( 55): * * * 5 * 4 ( *, *) ( 1, *) ( *, *) ( *, *) ( 16, *) ( 20, *) [Cn,r1,Cn,ic,i1,i1] 1 6( 69): * * * 22 * 7 ( 12, *) ( *, *) ( 0, *) ( *, *) ( 17, *) ( 21, *) [i1,Cn,r1,C+,i1,i1] 1 7( 70): * * * 23 * 6 ( 11, *) ( *, *) ( 1, *) ( *, *) ( 18, *) ( 21, *) [i1,Cn,r1,C+,i1,i1] 1 8( 92): * * * 25 * 27 ( 13, *) ( 15, *) ( 17, *) ( *, *) ( 0, *) ( *, *) [i1,i1,i1,C+,r1,C+] 1 9( 96): * * * 24 * 26 ( 14, *) ( 16, *) ( 18, *) ( *, *) ( 1, *) ( *, *) [i1,i1,i1,C+,r1,C+] 1 10( 104): * * * 10 * 10 ( 19, *) ( 20, *) ( 21, *) ( *, *) ( *, *) ( 1, 0) [i1,i1,i1,ic,Cn,r1] 1 11( 110): * * * 31 * 12 ( 7, *) ( *, *) ( 3, *) ( *, *) ( 29, *) ( 30, *) [r1,Cn,r1,C+,i1,i1] 2 12( 111): * * * 32 * 11 ( 6, *) ( *, *) ( 2, *) ( *, *) ( 28, *) ( 30, *) [r1,Cn,r1,C+,i1,i1] 2 13( 122): * * * 36 * 40 ( 8, *) ( *, *) ( 28, *) ( *, *) ( 2, *) ( *, *) [r1,Cn,i1,C+,r1,C+] 2 14( 124): * * * 35 * 41 ( 9, *) ( *, *) ( 29, *) ( *, *) ( 3, *) ( *, *) [r1,Cn,i1,C+,r1,C+] 2 15( 126): * * * 38 * 43 ( *, *) ( 8, *) ( *, *) ( *, *) ( 4, *) ( *, *) [Cn,r1,Cn,C+,r1,C+] 2 16( 129): * * * 37 * 42 ( *, *) ( 9, *) ( *, *) ( *, *) ( 5, *) ( *, *) [Cn,r1,Cn,C+,r1,C+] 2 17( 132): * * * 34 * 45 ( 28, *) ( *, *) ( 8, *) ( *, *) ( 6, *) ( *, *) [i1,Cn,r1,C+,r1,C+] 2 18( 133): * * * 33 * 44 ( 29, *) ( *, *) ( 9, *) ( *, *) ( 7, *) ( *, *) [i1,Cn,r1,C+,r1,C+] 2 19( 135): * * * 19 * 19 ( 10, *) ( *, *) ( 30, *) ( *, *) ( *, *) ( 3, 2) [r1,Cn,i1,ic,Cn,r1] 2 20( 137): * * * 20 * 20 ( *, *) ( 10, *) ( *, *) ( *, *) ( *, *) ( 5, 4) [Cn,r1,Cn,ic,Cn,r1] 2 21( 142): * * * 39 * 21 ( 30, *) ( *, *) ( 10, *) ( *, *) ( *, *) ( 7, 6) [i1,Cn,r1,C+,Cn,r1] 2 22( 172): * * * 6 * 23 ( 32, *) ( *, *) ( *, *) ( *, *) ( *, *) ( 39, *) [i1,Cn,Cn,C-,Cn,i1] 2 23( 173): * * * 7 * 22 ( 31, *) ( *, *) ( *, *) ( *, *) ( *, *) ( 39, *) [i1,Cn,Cn,C-,Cn,i1] 2 24( 188): * * * 9 * 51 ( 35, *) ( 37, *) ( *, *) ( *, *) ( *, *) ( *, *) [i1,i1,Cn,C-,Cn,C+] 2 25( 193): * * * 8 * 50 ( 36, *) ( 38, *) ( *, *) ( *, *) ( *, *) ( *, *) [i1,i1,Cn,C-,Cn,C+] 2 26( 208): * * * 51 * 9 ( 41, *) ( 42, *) ( 44, *) ( *, *) ( 47, *) ( *, *) [i1,i1,i1,C+,i1,C-] 2 27( 211): * * * 50 * 8 ( 40, *) ( 43, *) ( 45, *) ( *, *) ( 46, *) ( *, *) [i1,i1,i1,C+,i1,C-] 2 28( 216): * * * 53 * 55 ( 17, *) ( *, *) ( 13, *) ( *, *) ( 12, *) ( *, *) [r1,Cn,r1,C+,r1,C+] 3 29( 217): * * * 52 * 56 ( 18, *) ( *, *) ( 14, *) ( *, *) ( 11, *) ( *, *) [r1,Cn,r1,C+,r1,C+] 3 30( 218): * * * 54 * 30 ( 21, *) ( *, *) ( 19, *) ( *, *) ( *, *) ( 12, 11) [r1,Cn,r1,C+,Cn,r1] 3 31( 233): * * * 11 * 32 ( 23, *) ( *, *) ( *, *) ( *, *) ( *, *) ( 54, *) [r1,Cn,Cn,C-,Cn,i1] 3 32( 235): * * * 12 * 31 ( 22, *) ( *, *) ( *, *) ( *, *) ( *, *) ( 54, *) [r1,Cn,Cn,C-,Cn,i1] 3 33( 238): * * * 18 * 71 ( 52, *) ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) [i1,Cn,Cn,C-,Cn,C+] 3 34( 239): * * * 17 * 70 ( 53, *) ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) [i1,Cn,Cn,C-,Cn,C+] 3 35( 249): * * * 14 * 75 ( 24, *) ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) [r1,Cn,Cn,C-,Cn,C+] 3 36( 250): * * * 13 * 74 ( 25, *) ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) [r1,Cn,Cn,C-,Cn,C+] 3 37( 253): * * * 16 * 77 ( *, *) ( 24, *) ( *, *) ( *, *) ( *, *) ( *, *) [Cn,r1,Cn,C-,Cn,C+] 3 38( 256): * * * 15 * 76 ( *, *) ( 25, *) ( *, *) ( *, *) ( *, *) ( *, *) [Cn,r1,Cn,C-,Cn,C+] 3 39( 277): * * * 21 * 39 ( 54, *) ( *, *) ( *, *) ( *, *) ( *, *) ( 23, 22) [i1,Cn,Cn,C-,Cn,r1] 3 40( 278): * * * 74 * 13 ( 27, *) ( *, *) ( 55, *) ( *, *) ( 57, *) ( *, *) [r1,Cn,i1,C+,i1,C-] 3 41( 279): * * * 75 * 14 ( 26, *) ( *, *) ( 56, *) ( *, *) ( 58, *) ( *, *) [r1,Cn,i1,C+,i1,C-] 3 42( 282): * * * 77 * 16 ( *, *) ( 26, *) ( *, *) ( *, *) ( 60, *) ( *, *) [Cn,r1,Cn,C+,i1,C-] 3 43( 284): * * * 76 * 15 ( *, *) ( 27, *) ( *, *) ( *, *) ( 59, *) ( *, *) [Cn,r1,Cn,C+,i1,C-] 3 44( 286): * * * 71 * 18 ( 56, *) ( *, *) ( 26, *) ( *, *) ( 62, *) ( *, *) [i1,Cn,r1,C+,i1,C-] 3 45( 288): * * * 70 * 17 ( 55, *) ( *, *) ( 27, *) ( *, *) ( 61, *) ( *, *) [i1,Cn,r1,C+,i1,C-] 3 46( 295): * * * 72 * 46 ( 57, *) ( 59, *) ( 61, *) ( *, *) ( 27, *) ( *, *) [i1,i1,i1,C+,r1,rn] 3 47( 295): * * * 73 * 47 ( 58, *) ( 60, *) ( 62, *) ( *, *) ( 26, *) ( *, *) [i1,i1,i1,C+,r1,rn] 3 48( 297): * * * 79 * 49 ( *, *) ( 63, *) ( *, *) ( *, *) ( 68, *) ( 69, *) [Cn,i1,Cn,C+,i1,i1] 3 49( 300): * * * 80 * 48 ( *, *) ( 64, *) ( *, *) ( *, *) ( 67, *) ( 69, *) [Cn,i1,Cn,C+,i1,i1] 3 50( 345): * * * 27 * 25 ( 74, *) ( 76, *) ( *, *) ( *, *) ( *, *) ( *, *) [i1,i1,Cn,C-,Cn,C-] 3 51( 349): * * * 26 * 24 ( 75, *) ( 77, *) ( *, *) ( *, *) ( *, *) ( *, *) [i1,i1,Cn,C-,Cn,C-] 3 52( 354): * * * 29 * 90 ( 33, *) ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) [r1,Cn,Cn,C-,Cn,C+] 4 53( 355): * * * 28 * 89 ( 34, *) ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) [r1,Cn,Cn,C-,Cn,C+] 4 54( 364): * * * 30 * 54 ( 39, *) ( *, *) ( *, *) ( *, *) ( *, *) ( 32, 31) [r1,Cn,Cn,C-,Cn,r1] 4 55( 365): * * * 89 * 28 ( 45, *) ( *, *) ( 40, *) ( *, *) ( 83, *) ( *, *) [r1,Cn,r1,C+,i1,C-] 4 56( 366): * * * 90 * 29 ( 44, *) ( *, *) ( 41, *) ( *, *) ( 84, *) ( *, *) [r1,Cn,r1,C+,i1,C-] 4 57( 368): * * * 93 * 57 ( 46, *) ( *, *) ( 83, *) ( *, *) ( 40, *) ( *, *) [r1,Cn,i1,C+,r1,rn] 4 58( 368): * * * 94 * 58 ( 47, *) ( *, *) ( 84, *) ( *, *) ( 41, *) ( *, *) [r1,Cn,i1,C+,r1,rn] 4 59( 369): * * * 95 * 59 ( *, *) ( 46, *) ( *, *) ( *, *) ( 43, *) ( *, *) [Cn,r1,Cn,C+,r1,rn] 4 60( 369): * * * 96 * 60 ( *, *) ( 47, *) ( *, *) ( *, *) ( 42, *) ( *, *) [Cn,r1,Cn,C+,r1,rn] 4 61( 372): * * * 91 * 61 ( 83, *) ( *, *) ( 46, *) ( *, *) ( 45, *) ( *, *) [i1,Cn,r1,C+,r1,rn] 4 62( 372): * * * 92 * 62 ( 84, *) ( *, *) ( 47, *) ( *, *) ( 44, *) ( *, *) [i1,Cn,r1,C+,r1,rn] 4 63( 374): * * * 99 * 64 ( *, *) ( 48, *) ( *, *) ( *, *) ( 85, *) ( 87, *) [Cn,r1,Cn,C+,i1,i1] 4 64( 376): * * * 98 * 63 ( *, *) ( 49, *) ( *, *) ( *, *) ( 86, *) ( 87, *) [Cn,r1,Cn,C+,i1,i1] 4 65( 377): * * * 101 * 66 ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) ( 88, *) [Cn,Cn,Cn,C+,Cn,i1] 4 66( 379): * * * 100 * 65 ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) ( 88, *) [Cn,Cn,Cn,C+,Cn,i1] 4 67( 403): * * * 102 * 108 ( *, *) ( 86, *) ( *, *) ( *, *) ( 49, *) ( *, *) [Cn,i1,Cn,C+,r1,C+] 4 68( 404): * * * 103 * 109 ( *, *) ( 85, *) ( *, *) ( *, *) ( 48, *) ( *, *) [Cn,i1,Cn,C+,r1,C+] 4 69( 434): * * * 107 * 69 ( *, *) ( 87, *) ( *, *) ( *, *) ( *, *) ( 49, 48) [Cn,i1,Cn,C+,Cn,r1] 4 70( 440): * * * 45 * 34 ( 89, *) ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) [i1,Cn,Cn,C-,Cn,C-] 4 71( 443): * * * 44 * 33 ( 90, *) ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) [i1,Cn,Cn,C-,Cn,C-] 4 72( 449): * * * 46 * 72 ( 93, *) ( 95, *) ( *, *) ( *, *) ( *, *) ( *, *) [i1,i1,Cn,C-,Cn,rn] 4 73( 449): * * * 47 * 73 ( 94, *) ( 96, *) ( *, *) ( *, *) ( *, *) ( *, *) [i1,i1,Cn,C-,Cn,rn] 4 74( 450): * * * 40 * 36 ( 50, *) ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) [r1,Cn,Cn,C-,Cn,C-] 4 75( 451): * * * 41 * 35 ( 51, *) ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) [r1,Cn,Cn,C-,Cn,C-] 4 76( 454): * * * 43 * 38 ( *, *) ( 50, *) ( *, *) ( *, *) ( *, *) ( *, *) [Cn,r1,Cn,C-,Cn,C-] 4 77( 456): * * * 42 * 37 ( *, *) ( 51, *) ( *, *) ( *, *) ( *, *) ( *, *) [Cn,r1,Cn,C-,Cn,C-] 4 78( 472): * * * 78 * 78 ( 97, *) ( *, *) ( *, *) ( *, *) (104, *) ( *, *) [i1,Cn,Cn,ic,i1,ic] 4 79( 486): * * * 48 * 80 ( *, *) ( 99, *) (100, *) ( *, *) ( *, *) (107, *) [Cn,i1,i1,C-,Cn,i1] 4 80( 488): * * * 49 * 79 ( *, *) ( 98, *) (101, *) ( *, *) ( *, *) (107, *) [Cn,i1,i1,C-,Cn,i1] 4 81( 496): * * * 81 * 112 ( *, *) ( *, *) (105, *) ( *, *) ( *, *) ( *, *) [Cn,Cn,i1,ic,Cn,C+] 4 82( 500): * * * 82 * 113 ( *, *) ( *, *) (106, *) ( *, *) ( *, *) ( *, *) [Cn,Cn,i1,ic,Cn,C+] 4 83( 527): * * * 114 * 83 ( 61, *) ( *, *) ( 57, *) ( *, *) ( 55, *) ( *, *) [r1,Cn,r1,C+,r1,rn] 5 84( 527): * * * 115 * 84 ( 62, *) ( *, *) ( 58, *) ( *, *) ( 56, *) ( *, *) [r1,Cn,r1,C+,r1,rn] 5 85( 531): * * * 117 * 121 ( *, *) ( 68, *) ( *, *) ( *, *) ( 63, *) ( *, *) [Cn,r1,Cn,C+,r1,C+] 5 86( 532): * * * 116 * 122 ( *, *) ( 67, *) ( *, *) ( *, *) ( 64, *) ( *, *) [Cn,r1,Cn,C+,r1,C+] 5 87( 541): * * * 119 * 87 ( *, *) ( 69, *) ( *, *) ( *, *) ( *, *) ( 64, 63) [Cn,r1,Cn,C+,Cn,r1] 5 88( 542): * * * 120 * 88 ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) ( 66, 65) [Cn,Cn,Cn,C+,Cn,r1] 5 89( 545): * * * 55 * 53 ( 70, *) ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) [r1,Cn,Cn,C-,Cn,C-] 5 90( 546): * * * 56 * 52 ( 71, *) ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) [r1,Cn,Cn,C-,Cn,C-] 5 91( 547): * * * 61 * 91 (114, *) ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) [i1,Cn,Cn,C-,Cn,rn] 5 92( 547): * * * 62 * 92 (115, *) ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) [i1,Cn,Cn,C-,Cn,rn] 5 93( 549): * * * 57 * 93 ( 72, *) ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) [r1,Cn,Cn,C-,Cn,rn] 5 94( 549): * * * 58 * 94 ( 73, *) ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) [r1,Cn,Cn,C-,Cn,rn] 5 95( 552): * * * 59 * 95 ( *, *) ( 72, *) ( *, *) ( *, *) ( *, *) ( *, *) [Cn,r1,Cn,C-,Cn,rn] 5 96( 552): * * * 60 * 96 ( *, *) ( 73, *) ( *, *) ( *, *) ( *, *) ( *, *) [Cn,r1,Cn,C-,Cn,rn] 5 97( 570): * * * 97 * 97 ( 78, *) ( *, *) ( *, *) ( *, *) (118, *) ( *, *) [r1,Cn,Cn,ic,i1,ic] 5 98( 571): * * * 64 * 99 ( *, *) ( 80, *) ( *, *) ( *, *) ( *, *) (119, *) [Cn,r1,Cn,C-,Cn,i1] 5 99( 573): * * * 63 * 98 ( *, *) ( 79, *) ( *, *) ( *, *) ( *, *) (119, *) [Cn,r1,Cn,C-,Cn,i1] 5 100( 576): * * * 66 * 101 ( *, *) ( *, *) ( 79, *) ( *, *) ( *, *) (120, *) [Cn,Cn,r1,C-,Cn,i1] 5 101( 578): * * * 65 * 100 ( *, *) ( *, *) ( 80, *) ( *, *) ( *, *) (120, *) [Cn,Cn,r1,C-,Cn,i1] 5 102( 582): * * * 67 * 140 ( *, *) (116, *) ( *, *) ( *, *) ( *, *) ( *, *) [Cn,i1,Cn,C-,Cn,C+] 5 103( 583): * * * 68 * 139 ( *, *) (117, *) ( *, *) ( *, *) ( *, *) ( *, *) [Cn,i1,Cn,C-,Cn,C+] 5 104( 600): * * * 130 * 143 (118, *) ( *, *) ( *, *) ( *, *) ( 78, *) ( *, *) [i1,Cn,Cn,C+,r1,C+] 5 105( 607): * * * 129 * 141 ( *, *) ( *, *) ( 81, *) ( *, *) ( *, *) ( *, *) [Cn,Cn,r1,C+,Cn,C+] 5 106( 609): * * * 128 * 142 ( *, *) ( *, *) ( 82, *) ( *, *) ( *, *) ( *, *) [Cn,Cn,r1,C+,Cn,C+] 5 107( 649): * * * 69 * 107 ( *, *) (119, *) (120, *) ( *, *) ( *, *) ( 80, 79) [Cn,i1,i1,C-,Cn,r1] 5 108( 672): * * * 140 * 67 ( *, *) (122, *) ( *, *) ( *, *) (123, *) ( *, *) [Cn,i1,Cn,C+,i1,C-] 5 109( 674): * * * 139 * 68 ( *, *) (121, *) ( *, *) ( *, *) (124, *) ( *, *) [Cn,i1,Cn,C+,i1,C-] 5 110( 710): * * * 147 * 111 (133, *) ( *, *) ( *, *) ( *, *) ( *, *) (144, *) [i1,Cn,Cn,C+,Cn,i1] 5 111( 716): * * * 146 * 110 (134, *) ( *, *) ( *, *) ( *, *) ( *, *) (144, *) [i1,Cn,Cn,C+,Cn,i1] 5 112( 718): * * * 112 * 81 ( *, *) ( *, *) (141, *) ( *, *) ( *, *) ( *, *) [Cn,Cn,i1,ic,Cn,C-] 5 113( 728): * * * 113 * 82 ( *, *) ( *, *) (142, *) ( *, *) ( *, *) ( *, *) [Cn,Cn,i1,ic,Cn,C-] 5 114( 730): * * * 83 * 114 ( 91, *) ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) [r1,Cn,Cn,C-,Cn,rn] 6 115( 730): * * * 84 * 115 ( 92, *) ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) [r1,Cn,Cn,C-,Cn,rn] 6 116( 735): * * * 86 * 163 ( *, *) (102, *) ( *, *) ( *, *) ( *, *) ( *, *) [Cn,r1,Cn,C-,Cn,C+] 6 117( 736): * * * 85 * 162 ( *, *) (103, *) ( *, *) ( *, *) ( *, *) ( *, *) [Cn,r1,Cn,C-,Cn,C+] 6 118( 740): * * * 153 * 166 (104, *) ( *, *) ( *, *) ( *, *) ( 97, *) ( *, *) [r1,Cn,Cn,C+,r1,C+] 6 119( 762): * * * 87 * 119 ( *, *) (107, *) ( *, *) ( *, *) ( *, *) ( 99, 98) [Cn,r1,Cn,C-,Cn,r1] 6 120( 763): * * * 88 * 120 ( *, *) ( *, *) (107, *) ( *, *) ( *, *) (101,100) [Cn,Cn,r1,C-,Cn,r1] 6 121( 774): * * * 162 * 85 ( *, *) (109, *) ( *, *) ( *, *) (149, *) ( *, *) [Cn,r1,Cn,C+,i1,C-] 6 122( 775): * * * 163 * 86 ( *, *) (108, *) ( *, *) ( *, *) (148, *) ( *, *) [Cn,r1,Cn,C+,i1,C-] 6 123( 782): * * * 164 * 123 ( *, *) (148, *) ( *, *) ( *, *) (108, *) ( *, *) [Cn,i1,Cn,C+,r1,rn] 6 124( 782): * * * 165 * 124 ( *, *) (149, *) ( *, *) ( *, *) (109, *) ( *, *) [Cn,i1,Cn,C+,r1,rn] 6 125( 794): * * * 171 * 125 ( *, *) ( *, *) ( *, *) ( *, *) (152, *) ( *, *) [Cn,Cn,Cn,C+,i1,ic] 6 126( 819): * * * 173 * 188 ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) [Cn,Cn,Cn,C+,Cn,C+] 6 127( 820): * * * 172 * 187 ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) [Cn,Cn,Cn,C+,Cn,C+] 6 128( 835): * * * 106 * 190 ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) [Cn,Cn,Cn,C-,Cn,C+] 6 129( 836): * * * 105 * 189 ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) [Cn,Cn,Cn,C-,Cn,C+] 6 130( 837): * * * 104 * 191 (153, *) ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) [i1,Cn,Cn,C-,Cn,C+] 6 131( 859): * * * 176 * 132 (156, *) ( *, *) ( *, *) ( *, *) ( *, *) (167, *) [i1,Cn,Cn,C+,Cn,i2] 6 132( 859): * * * 177 * 131 (157, *) ( *, *) ( *, *) ( *, *) ( *, *) (167, *) [i1,Cn,Cn,C+,Cn,i2] 6 133( 860): * * * 174 * 134 (110, *) ( *, *) ( *, *) ( *, *) ( *, *) (168, *) [r1,Cn,Cn,C+,Cn,i1] 6 134( 861): * * * 175 * 133 (111, *) ( *, *) ( *, *) ( *, *) ( *, *) (168, *) [r1,Cn,Cn,C+,Cn,i1] 6 135( 864): * * * 180 * 192 (158, *) ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) [i1,Cn,Cn,C+,Cn,C+] 6 136( 865): * * * 181 * 193 (159, *) ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) [i1,Cn,Cn,C+,Cn,C+] 6 137( 876): * * * 137 * 137 ( *, *) ( *, *) (160, *) ( *, *) ( *, *) ( *, *) [Cn,Cn,i1,ic,Cn,rn] 6 138( 876): * * * 138 * 138 ( *, *) ( *, *) (161, *) ( *, *) ( *, *) ( *, *) [Cn,Cn,i1,ic,Cn,rn] 6 139( 884): * * * 109 * 103 ( *, *) (162, *) ( *, *) ( *, *) ( *, *) ( *, *) [Cn,i1,Cn,C-,Cn,C-] 6 140( 885): * * * 108 * 102 ( *, *) (163, *) ( *, *) ( *, *) ( *, *) ( *, *) [Cn,i1,Cn,C-,Cn,C-] 6 141( 895): * * * 189 * 105 ( *, *) ( *, *) (112, *) ( *, *) ( *, *) ( *, *) [Cn,Cn,r1,C+,Cn,C-] 6 142( 896): * * * 190 * 106 ( *, *) ( *, *) (113, *) ( *, *) ( *, *) ( *, *) [Cn,Cn,r1,C+,Cn,C-] 6 143( 906): * * * 191 * 104 (166, *) ( *, *) ( *, *) ( *, *) (167, *) ( *, *) [i1,Cn,Cn,C+,i2,C-] 6 144( 916): * * * 186 * 144 (168, *) ( *, *) ( *, *) ( *, *) ( *, *) (111,110) [i1,Cn,Cn,C+,Cn,r1] 6 145( 927): * * * 145 * 145 ( *, *) (169, *) (170, *) ( *, *) (178, *) ( *, *) [Cn,i1,i1,ic,i1,ic] 6 146( 931): * * * 111 * 147 (175, *) ( *, *) (177, *) ( *, *) (181, *) (186, *) [i1,Cn,i1,C-,i1,i1] 6 147( 934): * * * 110 * 146 (174, *) ( *, *) (176, *) ( *, *) (180, *) (186, *) [i1,Cn,i1,C-,i1,i1] 6 148( 967): * * * 198 * 148 ( *, *) (123, *) ( *, *) ( *, *) (122, *) ( *, *) [Cn,r1,Cn,C+,r1,rn] 7 149( 967): * * * 199 * 149 ( *, *) (124, *) ( *, *) ( *, *) (121, *) ( *, *) [Cn,r1,Cn,C+,r1,rn] 7 150( 979): * * * 201 * 225 ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) [Cn,Cn,Cn,C+,Cn,C+] 7 151( 980): * * * 202 * 226 ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) [Cn,Cn,Cn,C+,Cn,C+] 7 152( 981): * * * 203 * 228 ( *, *) ( *, *) ( *, *) ( *, *) (125, *) ( *, *) [Cn,Cn,Cn,C+,r1,C+] 7 153( 984): * * * 118 * 227 (130, *) ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) [r1,Cn,Cn,C-,Cn,C+] 7 154( 990): * * * 211 * 229 (196, *) ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) [i1,Cn,Cn,C+,Cn,C+] 7 155( 990): * * * 212 * 230 (197, *) ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) [i1,Cn,Cn,C+,Cn,C+] 7 156( 998): * * * 204 * 157 (131, *) ( *, *) ( *, *) ( *, *) ( *, *) (200, *) [r1,Cn,Cn,C+,Cn,i2] 7 157( 998): * * * 205 * 156 (132, *) ( *, *) ( *, *) ( *, *) ( *, *) (200, *) [r1,Cn,Cn,C+,Cn,i2] 7 158(1000): * * * 209 * 233 (135, *) ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) [r1,Cn,Cn,C+,Cn,C+] 7 159(1001): * * * 210 * 232 (136, *) ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) [r1,Cn,Cn,C+,Cn,C+] 7 160(1007): * * * 221 * 160 ( *, *) ( *, *) (137, *) ( *, *) ( *, *) ( *, *) [Cn,Cn,r1,C+,Cn,rn] 7 161(1007): * * * 222 * 161 ( *, *) ( *, *) (138, *) ( *, *) ( *, *) ( *, *) [Cn,Cn,r1,C+,Cn,rn] 7 162(1017): * * * 121 * 117 ( *, *) (139, *) ( *, *) ( *, *) ( *, *) ( *, *) [Cn,r1,Cn,C-,Cn,C-] 7 163(1018): * * * 122 * 116 ( *, *) (140, *) ( *, *) ( *, *) ( *, *) ( *, *) [Cn,r1,Cn,C-,Cn,C-] 7 164(1020): * * * 123 * 164 ( *, *) (198, *) ( *, *) ( *, *) ( *, *) ( *, *) [Cn,i1,Cn,C-,Cn,rn] 7 165(1020): * * * 124 * 165 ( *, *) (199, *) ( *, *) ( *, *) ( *, *) ( *, *) [Cn,i1,Cn,C-,Cn,rn] 7 166(1027): * * * 227 * 118 (143, *) ( *, *) ( *, *) ( *, *) (200, *) ( *, *) [r1,Cn,Cn,C+,i2,C-] 7 167(1036): * * * 224 * 167 (200, *) ( *, *) ( *, *) ( *, *) (143, *) (131,132) [i1,Cn,Cn,C+,r1,r2] 7 168(1039): * * * 223 * 168 (144, *) ( *, *) ( *, *) ( *, *) ( *, *) (134,133) [r1,Cn,Cn,C+,Cn,r1] 7 169(1041): * * * 169 * 169 ( *, *) (145, *) ( *, *) ( *, *) (206, *) ( *, *) [Cn,r1,Cn,ic,i1,ic] 7 170(1044): * * * 236 * 170 ( *, *) ( *, *) (145, *) ( *, *) (207, *) ( *, *) [Cn,Cn,r1,C+,i1,ic] 7 171(1057): * * * 125 * 171 ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) [Cn,Cn,Cn,C-,Cn,ic] 7 172(1061): * * * 127 * 250 ( *, *) ( *, *) (202, *) ( *, *) ( *, *) ( *, *) [Cn,Cn,i1,C-,Cn,C+] 7 173(1062): * * * 126 * 251 ( *, *) ( *, *) (201, *) ( *, *) ( *, *) ( *, *) [Cn,Cn,i1,C-,Cn,C+] 7 174(1068): * * * 133 * 175 (147, *) ( *, *) (204, *) ( *, *) (209, *) (223, *) [r1,Cn,i1,C-,i1,i1] 7 175(1070): * * * 134 * 174 (146, *) ( *, *) (205, *) ( *, *) (210, *) (223, *) [r1,Cn,i1,C-,i1,i1] 7 176(1076): * * * 131 * 177 (204, *) ( *, *) (147, *) ( *, *) (211, *) (224, *) [i1,Cn,r1,C-,i1,i2] 7 177(1076): * * * 132 * 176 (205, *) ( *, *) (146, *) ( *, *) (212, *) (224, *) [i1,Cn,r1,C-,i1,i2] 7 178(1077): * * * 239 * 253 ( *, *) (206, *) (207, *) ( *, *) (145, *) ( *, *) [Cn,i1,i1,C+,r1,C+] 7 179(1085): * * * 179 * 252 ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) [Cn,Cn,Cn,ic,Cn,C+] 7 180(1098): * * * 135 * 257 (209, *) ( *, *) (211, *) ( *, *) (147, *) ( *, *) [i1,Cn,i1,C-,r1,C+] 7 181(1099): * * * 136 * 256 (210, *) ( *, *) (212, *) ( *, *) (146, *) ( *, *) [i1,Cn,i1,C-,r1,C+] 7 182(1102): * * * 240 * 254 ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) [Cn,Cn,Cn,C+,Cn,C+] 7 183(1104): * * * 241 * 255 ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) [Cn,Cn,Cn,C+,Cn,C+] 7 184(1116): * * * 237 * 185 ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) (231, *) [Cn,Cn,Cn,C+,Cn,i1] 7 185(1117): * * * 238 * 184 ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) (231, *) [Cn,Cn,Cn,C+,Cn,i1] 7 186(1145): * * * 144 * 186 (223, *) ( *, *) (224, *) ( *, *) ( *, *) (147,146) [i1,Cn,i2,C-,Cn,r1] 7 187(1147): * * * 250 * 127 ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) [Cn,Cn,Cn,C+,Cn,C-] 7 188(1148): * * * 251 * 126 ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) [Cn,Cn,Cn,C+,Cn,C-] 7 189(1164): * * * 141 * 129 ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) [Cn,Cn,Cn,C-,Cn,C-] 7 190(1166): * * * 142 * 128 ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) [Cn,Cn,Cn,C-,Cn,C-] 7 191(1167): * * * 143 * 130 (227, *) ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) [i1,Cn,Cn,C-,Cn,C-] 7 192(1188): * * * 257 * 135 (233, *) ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) [i1,Cn,Cn,C+,Cn,C-] 7 193(1189): * * * 256 * 136 (232, *) ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) [i1,Cn,Cn,C+,Cn,C-] 7 194(1211): * * * 262 * 195 ( *, *) (245, *) (247, *) ( *, *) ( *, *) (258, *) [Cn,i1,i1,C+,Cn,i1] 7 195(1213): * * * 261 * 194 ( *, *) (244, *) (246, *) ( *, *) ( *, *) (258, *) [Cn,i1,i1,C+,Cn,i1] 7 196(1214): * * * 263 * 270 (154, *) ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) [r1,Cn,Cn,C+,Cn,C+] 8 197(1214): * * * 264 * 271 (155, *) ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) [r1,Cn,Cn,C+,Cn,C+] 8 198(1218): * * * 148 * 198 ( *, *) (164, *) ( *, *) ( *, *) ( *, *) ( *, *) [Cn,r1,Cn,C-,Cn,rn] 8 199(1218): * * * 149 * 199 ( *, *) (165, *) ( *, *) ( *, *) ( *, *) ( *, *) [Cn,r1,Cn,C-,Cn,rn] 8 200(1221): * * * 269 * 200 (167, *) ( *, *) ( *, *) ( *, *) (166, *) (156,157) [r1,Cn,Cn,C+,r1,r2] 8 201(1227): * * * 150 * 295 ( *, *) ( *, *) (173, *) ( *, *) ( *, *) ( *, *) [Cn,Cn,r1,C-,Cn,C+] 8 202(1228): * * * 151 * 294 ( *, *) ( *, *) (172, *) ( *, *) ( *, *) ( *, *) [Cn,Cn,r1,C-,Cn,C+] 8 203(1229): * * * 152 * 296 ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) [Cn,Cn,Cn,C-,Cn,C+] 8 204(1234): * * * 156 * 205 (176, *) ( *, *) (174, *) ( *, *) (263, *) (269, *) [r1,Cn,r1,C-,i1,i2] 8 205(1234): * * * 157 * 204 (177, *) ( *, *) (175, *) ( *, *) (264, *) (269, *) [r1,Cn,r1,C-,i1,i2] 8 206(1235): * * * 281 * 299 ( *, *) (178, *) ( *, *) ( *, *) (169, *) ( *, *) [Cn,r1,Cn,C+,r1,C+] 8 207(1236): * * * 275 * 300 ( *, *) ( *, *) (178, *) ( *, *) (170, *) ( *, *) [Cn,Cn,r1,C+,r1,C+] 8 208(1238): * * * 276 * 298 ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) [Cn,Cn,Cn,C+,Cn,C+] 8 209(1245): * * * 158 * 305 (180, *) ( *, *) (263, *) ( *, *) (174, *) ( *, *) [r1,Cn,i1,C-,r1,C+] 8 210(1246): * * * 159 * 306 (181, *) ( *, *) (264, *) ( *, *) (175, *) ( *, *) [r1,Cn,i1,C-,r1,C+] 8 211(1247): * * * 154 * 307 (263, *) ( *, *) (180, *) ( *, *) (176, *) ( *, *) [i1,Cn,r1,C-,r1,C+] 8 212(1247): * * * 155 * 308 (264, *) ( *, *) (181, *) ( *, *) (177, *) ( *, *) [i1,Cn,r1,C-,r1,C+] 8 213(1249): * * * 278 * 302 ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) [Cn,Cn,Cn,C+,Cn,C+] 8 214(1250): * * * 277 * 301 ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) [Cn,Cn,Cn,C+,Cn,C+] 8 215(1253): * * * 282 * 303 ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) [Cn,Cn,Cn,C+,Cn,C+] 8 216(1253): * * * 283 * 304 ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) [Cn,Cn,Cn,C+,Cn,C+] 8 217(1266): * * * 279 * 218 ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) (272, *) [Cn,Cn,Cn,C+,Cn,i2] 8 218(1266): * * * 280 * 217 ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) (272, *) [Cn,Cn,Cn,C+,Cn,i2] 8 219(1274): * * * 292 * 219 ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) [Cn,Cn,Cn,C+,Cn,rn] 8 220(1274): * * * 293 * 220 ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) [Cn,Cn,Cn,C+,Cn,rn] 8 221(1279): * * * 160 * 221 ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) [Cn,Cn,Cn,C-,Cn,rn] 8 222(1279): * * * 161 * 222 ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) [Cn,Cn,Cn,C-,Cn,rn] 8 223(1287): * * * 168 * 223 (186, *) ( *, *) (269, *) ( *, *) ( *, *) (175,174) [r1,Cn,i2,C-,Cn,r1] 8 224(1290): * * * 167 * 224 (269, *) ( *, *) (186, *) ( *, *) ( *, *) (176,177) [i1,Cn,r1,C-,Cn,r2] 8 225(1291): * * * 295 * 150 ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) [Cn,Cn,Cn,C+,Cn,C-] 8 226(1292): * * * 294 * 151 ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) [Cn,Cn,Cn,C+,Cn,C-] 8 227(1296): * * * 166 * 153 (191, *) ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) [r1,Cn,Cn,C-,Cn,C-] 8 228(1301): * * * 296 * 152 ( *, *) ( *, *) ( *, *) ( *, *) (272, *) ( *, *) [Cn,Cn,Cn,C+,i2,C-] 8 229(1306): * * * 307 * 154 (270, *) ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) [i1,Cn,Cn,C+,Cn,C-] 8 230(1306): * * * 308 * 155 (271, *) ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) [i1,Cn,Cn,C+,Cn,C-] 8 231(1313): * * * 297 * 231 ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) (185,184) [Cn,Cn,Cn,C+,Cn,r1] 8 232(1316): * * * 306 * 159 (193, *) ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) [r1,Cn,Cn,C+,Cn,C-] 8 233(1317): * * * 305 * 158 (192, *) ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) [r1,Cn,Cn,C+,Cn,C-] 8 234(1318): * * * 312 * 234 (273, *) ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) [i1,Cn,Cn,C+,Cn,rn] 8 235(1318): * * * 313 * 235 (274, *) ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) [i1,Cn,Cn,C+,Cn,rn] 8 236(1328): * * * 170 * 236 ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) [Cn,Cn,Cn,C-,Cn,ic] 8 237(1329): * * * 184 * 238 ( *, *) ( *, *) (279, *) ( *, *) ( *, *) (297, *) [Cn,Cn,i1,C-,Cn,i1] 8 238(1332): * * * 185 * 237 ( *, *) ( *, *) (280, *) ( *, *) ( *, *) (297, *) [Cn,Cn,i1,C-,Cn,i1] 8 239(1354): * * * 178 * 330 ( *, *) (281, *) ( *, *) ( *, *) ( *, *) ( *, *) [Cn,i1,Cn,C-,Cn,C+] 8 240(1360): * * * 182 * 331 ( *, *) ( *, *) (283, *) ( *, *) ( *, *) ( *, *) [Cn,Cn,i1,C-,Cn,C+] 8 241(1363): * * * 183 * 332 ( *, *) ( *, *) (282, *) ( *, *) ( *, *) ( *, *) [Cn,Cn,i1,C-,Cn,C+] 8 242(1372): * * * 318 * 243 ( *, *) (286, *) (288, *) ( *, *) ( *, *) (309, *) [Cn,i1,i1,C+,Cn,i2] 8 243(1372): * * * 319 * 242 ( *, *) (287, *) (289, *) ( *, *) ( *, *) (309, *) [Cn,i1,i1,C+,Cn,i2] 8 244(1384): * * * 320 * 245 ( *, *) (195, *) ( *, *) ( *, *) ( *, *) (310, *) [Cn,r1,Cn,C+,Cn,i1] 8 245(1385): * * * 321 * 244 ( *, *) (194, *) ( *, *) ( *, *) ( *, *) (310, *) [Cn,r1,Cn,C+,Cn,i1] 8 246(1386): * * * 322 * 247 ( *, *) ( *, *) (195, *) ( *, *) ( *, *) (311, *) [Cn,Cn,r1,C+,Cn,i1] 8 247(1387): * * * 323 * 246 ( *, *) ( *, *) (194, *) ( *, *) ( *, *) (311, *) [Cn,Cn,r1,C+,Cn,i1] 8 248(1391): * * * 327 * 334 ( *, *) (290, *) ( *, *) ( *, *) ( *, *) ( *, *) [Cn,i1,Cn,C+,Cn,C+] 8 249(1393): * * * 326 * 333 ( *, *) (291, *) ( *, *) ( *, *) ( *, *) ( *, *) [Cn,i1,Cn,C+,Cn,C+] 8 250(1407): * * * 187 * 172 ( *, *) ( *, *) (294, *) ( *, *) ( *, *) ( *, *) [Cn,Cn,i1,C-,Cn,C-] 8 251(1408): * * * 188 * 173 ( *, *) ( *, *) (295, *) ( *, *) ( *, *) ( *, *) [Cn,Cn,i1,C-,Cn,C-] 8 252(1420): * * * 252 * 179 ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) [Cn,Cn,Cn,ic,Cn,C-] 8 253(1432): * * * 330 * 178 ( *, *) (299, *) (300, *) ( *, *) (309, *) ( *, *) [Cn,i1,i1,C+,i2,C-] 8 254(1434): * * * 331 * 182 ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) [Cn,Cn,Cn,C+,Cn,C-] 8 255(1436): * * * 332 * 183 ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) [Cn,Cn,Cn,C+,Cn,C-] 8 256(1442): * * * 193 * 181 (306, *) ( *, *) (308, *) ( *, *) (313, *) ( *, *) [i1,Cn,i1,C-,i1,C-] 8 257(1443): * * * 192 * 180 (305, *) ( *, *) (307, *) ( *, *) (312, *) ( *, *) [i1,Cn,i1,C-,i1,C-] 8 258(1448): * * * 329 * 258 ( *, *) (310, *) (311, *) ( *, *) ( *, *) (195,194) [Cn,i1,i1,C+,Cn,r1] 8 259(1453): * * * 259 * 260 ( *, *) (316, *) ( *, *) ( *, *) (324, *) (328, *) [Cn,i1,Cn,ic,i1,i1] 8 260(1459): * * * 260 * 259 ( *, *) (317, *) ( *, *) ( *, *) (325, *) (328, *) [Cn,i1,Cn,ic,i1,i1] 8 261(1468): * * * 195 * 262 ( *, *) (320, *) ( *, *) ( *, *) (326, *) (329, *) [Cn,i1,Cn,C-,i1,i1] 8 262(1475): * * * 194 * 261 ( *, *) (321, *) ( *, *) ( *, *) (327, *) (329, *) [Cn,i1,Cn,C-,i1,i1] 8 263(1477): * * * 196 * 344 (211, *) ( *, *) (209, *) ( *, *) (204, *) ( *, *) [r1,Cn,r1,C-,r1,C+] 9 264(1477): * * * 197 * 345 (212, *) ( *, *) (210, *) ( *, *) (205, *) ( *, *) [r1,Cn,r1,C-,r1,C+] 9 265(1478): * * * 335 * 342 ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) [Cn,Cn,Cn,C+,Cn,C+] 9 266(1478): * * * 336 * 343 ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) [Cn,Cn,Cn,C+,Cn,C+] 9 267(1481): * * * 339 * 267 ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) [Cn,Cn,Cn,C+,Cn,rn] 9 268(1481): * * * 340 * 268 ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) [Cn,Cn,Cn,C+,Cn,rn] 9 269(1485): * * * 200 * 269 (224, *) ( *, *) (223, *) ( *, *) ( *, *) (204,205) [r1,Cn,r1,C-,Cn,r2] 9 270(1486): * * * 344 * 196 (229, *) ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) [r1,Cn,Cn,C+,Cn,C-] 9 271(1486): * * * 345 * 197 (230, *) ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) [r1,Cn,Cn,C+,Cn,C-] 9 272(1490): * * * 341 * 272 ( *, *) ( *, *) ( *, *) ( *, *) (228, *) (217,218) [Cn,Cn,Cn,C+,r1,r2] 9 273(1491): * * * 348 * 273 (234, *) ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) [r1,Cn,Cn,C+,Cn,rn] 9 274(1491): * * * 349 * 274 (235, *) ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) [r1,Cn,Cn,C+,Cn,rn] 9 275(1495): * * * 207 * 369 ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) [Cn,Cn,Cn,C-,Cn,C+] 9 276(1496): * * * 208 * 368 ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) [Cn,Cn,Cn,C-,Cn,C+] 9 277(1497): * * * 214 * 370 ( *, *) ( *, *) (336, *) ( *, *) ( *, *) ( *, *) [Cn,Cn,i1,C-,Cn,C+] 9 278(1498): * * * 213 * 371 ( *, *) ( *, *) (335, *) ( *, *) ( *, *) ( *, *) [Cn,Cn,i1,C-,Cn,C+] 9 279(1501): * * * 217 * 280 ( *, *) ( *, *) (237, *) ( *, *) ( *, *) (341, *) [Cn,Cn,r1,C-,Cn,i2] 9 280(1501): * * * 218 * 279 ( *, *) ( *, *) (238, *) ( *, *) ( *, *) (341, *) [Cn,Cn,r1,C-,Cn,i2] 9 281(1508): * * * 206 * 375 ( *, *) (239, *) ( *, *) ( *, *) ( *, *) ( *, *) [Cn,r1,Cn,C-,Cn,C+] 9 282(1514): * * * 215 * 376 ( *, *) ( *, *) (241, *) ( *, *) ( *, *) ( *, *) [Cn,Cn,r1,C-,Cn,C+] 9 283(1514): * * * 216 * 377 ( *, *) ( *, *) (240, *) ( *, *) ( *, *) ( *, *) [Cn,Cn,r1,C-,Cn,C+] 9 284(1527): * * * 362 * 378 ( *, *) (337, *) ( *, *) ( *, *) ( *, *) ( *, *) [Cn,i1,Cn,C+,Cn,C+] 9 285(1527): * * * 363 * 379 ( *, *) (338, *) ( *, *) ( *, *) ( *, *) ( *, *) [Cn,i1,Cn,C+,Cn,C+] 9 286(1532): * * * 356 * 287 ( *, *) (242, *) ( *, *) ( *, *) ( *, *) (346, *) [Cn,r1,Cn,C+,Cn,i2] 9 287(1532): * * * 357 * 286 ( *, *) (243, *) ( *, *) ( *, *) ( *, *) (346, *) [Cn,r1,Cn,C+,Cn,i2] 9 288(1534): * * * 354 * 289 ( *, *) ( *, *) (242, *) ( *, *) ( *, *) (347, *) [Cn,Cn,r1,C+,Cn,i2] 9 289(1534): * * * 355 * 288 ( *, *) ( *, *) (243, *) ( *, *) ( *, *) (347, *) [Cn,Cn,r1,C+,Cn,i2] 9 290(1539): * * * 365 * 381 ( *, *) (248, *) ( *, *) ( *, *) ( *, *) ( *, *) [Cn,r1,Cn,C+,Cn,C+] 9 291(1540): * * * 364 * 380 ( *, *) (249, *) ( *, *) ( *, *) ( *, *) ( *, *) [Cn,r1,Cn,C+,Cn,C+] 9 292(1551): * * * 219 * 292 ( *, *) ( *, *) (339, *) ( *, *) ( *, *) ( *, *) [Cn,Cn,i1,C-,Cn,rn] 9 293(1551): * * * 220 * 293 ( *, *) ( *, *) (340, *) ( *, *) ( *, *) ( *, *) [Cn,Cn,i1,C-,Cn,rn] 9 294(1554): * * * 226 * 202 ( *, *) ( *, *) (250, *) ( *, *) ( *, *) ( *, *) [Cn,Cn,r1,C-,Cn,C-] 9 295(1555): * * * 225 * 201 ( *, *) ( *, *) (251, *) ( *, *) ( *, *) ( *, *) [Cn,Cn,r1,C-,Cn,C-] 9 296(1558): * * * 228 * 203 ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) [Cn,Cn,Cn,C-,Cn,C-] 9 297(1559): * * * 231 * 297 ( *, *) ( *, *) (341, *) ( *, *) ( *, *) (238,237) [Cn,Cn,i2,C-,Cn,r1] 9 298(1565): * * * 368 * 208 ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) [Cn,Cn,Cn,C+,Cn,C-] 9 299(1572): * * * 375 * 206 ( *, *) (253, *) ( *, *) ( *, *) (346, *) ( *, *) [Cn,r1,Cn,C+,i2,C-] 9 300(1573): * * * 369 * 207 ( *, *) ( *, *) (253, *) ( *, *) (347, *) ( *, *) [Cn,Cn,r1,C+,i2,C-] 9 301(1575): * * * 370 * 214 ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) [Cn,Cn,Cn,C+,Cn,C-] 9 302(1576): * * * 371 * 213 ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) [Cn,Cn,Cn,C+,Cn,C-] 9 303(1579): * * * 376 * 215 ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) [Cn,Cn,Cn,C+,Cn,C-] 9 304(1579): * * * 377 * 216 ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) [Cn,Cn,Cn,C+,Cn,C-] 9 305(1587): * * * 233 * 209 (257, *) ( *, *) (344, *) ( *, *) (348, *) ( *, *) [r1,Cn,i1,C-,i1,C-] 9 306(1588): * * * 232 * 210 (256, *) ( *, *) (345, *) ( *, *) (349, *) ( *, *) [r1,Cn,i1,C-,i1,C-] 9 307(1589): * * * 229 * 211 (344, *) ( *, *) (257, *) ( *, *) (350, *) ( *, *) [i1,Cn,r1,C-,i2,C-] 9 308(1589): * * * 230 * 212 (345, *) ( *, *) (256, *) ( *, *) (351, *) ( *, *) [i1,Cn,r1,C-,i2,C-] 9 309(1592): * * * 372 * 309 ( *, *) (346, *) (347, *) ( *, *) (253, *) (242,243) [Cn,i1,i1,C+,r1,r2] 9 310(1595): * * * 373 * 310 ( *, *) (258, *) ( *, *) ( *, *) ( *, *) (245,244) [Cn,r1,Cn,C+,Cn,r1] 9 311(1596): * * * 374 * 311 ( *, *) ( *, *) (258, *) ( *, *) ( *, *) (247,246) [Cn,Cn,r1,C+,Cn,r1] 9 312(1604): * * * 234 * 312 (348, *) ( *, *) (350, *) ( *, *) (257, *) ( *, *) [i1,Cn,i2,C-,r1,rn] 9 313(1604): * * * 235 * 313 (349, *) ( *, *) (351, *) ( *, *) (256, *) ( *, *) [i1,Cn,i2,C-,r1,rn] 9 314(1606): * * * 384 * 315 ( *, *) (352, *) ( *, *) ( *, *) (359, *) (366, *) [Cn,i1,Cn,C+,i1,i1] 9 315(1608): * * * 385 * 314 ( *, *) (353, *) ( *, *) ( *, *) (358, *) (366, *) [Cn,i1,Cn,C+,i1,i1] 9 316(1610): * * * 316 * 317 ( *, *) (259, *) ( *, *) ( *, *) (360, *) (367, *) [Cn,r1,Cn,ic,i1,i2] 9 317(1610): * * * 317 * 316 ( *, *) (260, *) ( *, *) ( *, *) (361, *) (367, *) [Cn,r1,Cn,ic,i1,i2] 9 318(1626): * * * 242 * 319 ( *, *) (356, *) ( *, *) ( *, *) (362, *) (372, *) [Cn,i1,Cn,C-,i1,i2] 9 319(1626): * * * 243 * 318 ( *, *) (357, *) ( *, *) ( *, *) (363, *) (372, *) [Cn,i1,Cn,C-,i1,i2] 9 320(1633): * * * 244 * 321 ( *, *) (261, *) ( *, *) ( *, *) (364, *) (373, *) [Cn,r1,Cn,C-,i1,i1] 9 321(1635): * * * 245 * 320 ( *, *) (262, *) ( *, *) ( *, *) (365, *) (373, *) [Cn,r1,Cn,C-,i1,i1] 9 322(1637): * * * 246 * 323 ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) (374, *) [Cn,Cn,Cn,C-,Cn,i1] 9 323(1639): * * * 247 * 322 ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) (374, *) [Cn,Cn,Cn,C-,Cn,i1] 9 324(1642): * * * 387 * 393 ( *, *) (360, *) ( *, *) ( *, *) (259, *) ( *, *) [Cn,i1,Cn,C+,r1,C+] 9 325(1643): * * * 388 * 392 ( *, *) (361, *) ( *, *) ( *, *) (260, *) ( *, *) [Cn,i1,Cn,C+,r1,C+] 9 326(1656): * * * 249 * 394 ( *, *) (364, *) ( *, *) ( *, *) (261, *) ( *, *) [Cn,i1,Cn,C-,r1,C+] 9 327(1657): * * * 248 * 395 ( *, *) (365, *) ( *, *) ( *, *) (262, *) ( *, *) [Cn,i1,Cn,C-,r1,C+] 9 328(1687): * * * 328 * 328 ( *, *) (367, *) ( *, *) ( *, *) ( *, *) (260,259) [Cn,i2,Cn,ic,Cn,r1] 9 329(1691): * * * 258 * 329 ( *, *) (373, *) ( *, *) ( *, *) ( *, *) (262,261) [Cn,i1,Cn,C-,Cn,r1] 9 330(1704): * * * 253 * 239 ( *, *) (375, *) ( *, *) ( *, *) ( *, *) ( *, *) [Cn,i1,Cn,C-,Cn,C-] 9 331(1706): * * * 254 * 240 ( *, *) ( *, *) (377, *) ( *, *) ( *, *) ( *, *) [Cn,Cn,i1,C-,Cn,C-] 9 332(1707): * * * 255 * 241 ( *, *) ( *, *) (376, *) ( *, *) ( *, *) ( *, *) [Cn,Cn,i1,C-,Cn,C-] 9 333(1722): * * * 394 * 249 ( *, *) (380, *) ( *, *) ( *, *) ( *, *) ( *, *) [Cn,i1,Cn,C+,Cn,C-] 9 334(1724): * * * 395 * 248 ( *, *) (381, *) ( *, *) ( *, *) ( *, *) ( *, *) [Cn,i1,Cn,C+,Cn,C-] 9 335(1737): * * * 265 * 405 ( *, *) ( *, *) (278, *) ( *, *) ( *, *) ( *, *) [Cn,Cn,r1,C-,Cn,C+] 10 336(1737): * * * 266 * 406 ( *, *) ( *, *) (277, *) ( *, *) ( *, *) ( *, *) [Cn,Cn,r1,C-,Cn,C+] 10 337(1741): * * * 402 * 409 ( *, *) (284, *) ( *, *) ( *, *) ( *, *) ( *, *) [Cn,r1,Cn,C+,Cn,C+] 10 338(1741): * * * 403 * 410 ( *, *) (285, *) ( *, *) ( *, *) ( *, *) ( *, *) [Cn,r1,Cn,C+,Cn,C+] 10 339(1745): * * * 267 * 339 ( *, *) ( *, *) (292, *) ( *, *) ( *, *) ( *, *) [Cn,Cn,r1,C-,Cn,rn] 10 340(1745): * * * 268 * 340 ( *, *) ( *, *) (293, *) ( *, *) ( *, *) ( *, *) [Cn,Cn,r1,C-,Cn,rn] 10 341(1747): * * * 272 * 341 ( *, *) ( *, *) (297, *) ( *, *) ( *, *) (279,280) [Cn,Cn,r1,C-,Cn,r2] 10 342(1749): * * * 405 * 265 ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) [Cn,Cn,Cn,C+,Cn,C-] 10 343(1749): * * * 406 * 266 ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) [Cn,Cn,Cn,C+,Cn,C-] 10 344(1752): * * * 270 * 263 (307, *) ( *, *) (305, *) ( *, *) (398, *) ( *, *) [r1,Cn,r1,C-,i2,C-] 10 345(1752): * * * 271 * 264 (308, *) ( *, *) (306, *) ( *, *) (399, *) ( *, *) [r1,Cn,r1,C-,i2,C-] 10 346(1753): * * * 408 * 346 ( *, *) (309, *) ( *, *) ( *, *) (299, *) (286,287) [Cn,r1,Cn,C+,r1,r2] 10 347(1754): * * * 407 * 347 ( *, *) ( *, *) (309, *) ( *, *) (300, *) (288,289) [Cn,Cn,r1,C+,r1,r2] 10 348(1758): * * * 273 * 348 (312, *) ( *, *) (398, *) ( *, *) (305, *) ( *, *) [r1,Cn,i2,C-,r1,rn] 10 349(1758): * * * 274 * 349 (313, *) ( *, *) (399, *) ( *, *) (306, *) ( *, *) [r1,Cn,i2,C-,r1,rn] 10 350(1760): * * * 350 * 350 (398, *) ( *, *) (312, *) ( *, *) (307, *) ( *, *) [i1,Cn,r1,rn,r1,rn] 10 351(1760): * * * 351 * 351 (399, *) ( *, *) (313, *) ( *, *) (308, *) ( *, *) [i1,Cn,r1,rn,r1,rn] 10 352(1762): * * * 413 * 353 ( *, *) (314, *) ( *, *) ( *, *) (400, *) (404, *) [Cn,r1,Cn,C+,i1,i2] 10 353(1762): * * * 414 * 352 ( *, *) (315, *) ( *, *) ( *, *) (401, *) (404, *) [Cn,r1,Cn,C+,i1,i2] 10 354(1770): * * * 288 * 355 ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) (407, *) [Cn,Cn,Cn,C-,Cn,i2] 10 355(1770): * * * 289 * 354 ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) (407, *) [Cn,Cn,Cn,C-,Cn,i2] 10 356(1775): * * * 286 * 357 ( *, *) (318, *) ( *, *) ( *, *) (402, *) (408, *) [Cn,r1,Cn,C-,i1,i2] 10 357(1775): * * * 287 * 356 ( *, *) (319, *) ( *, *) ( *, *) (403, *) (408, *) [Cn,r1,Cn,C-,i1,i2] 10 358(1777): * * * 416 * 427 ( *, *) (401, *) ( *, *) ( *, *) (315, *) ( *, *) [Cn,i1,Cn,C+,r1,C+] 10 359(1778): * * * 415 * 426 ( *, *) (400, *) ( *, *) ( *, *) (314, *) ( *, *) [Cn,i1,Cn,C+,r1,C+] 10 360(1779): * * * 418 * 428 ( *, *) (324, *) ( *, *) ( *, *) (316, *) ( *, *) [Cn,r1,Cn,C+,r1,C+] 10 361(1779): * * * 419 * 429 ( *, *) (325, *) ( *, *) ( *, *) (317, *) ( *, *) [Cn,r1,Cn,C+,r1,C+] 10 362(1791): * * * 284 * 430 ( *, *) (402, *) ( *, *) ( *, *) (318, *) ( *, *) [Cn,i1,Cn,C-,r1,C+] 10 363(1791): * * * 285 * 431 ( *, *) (403, *) ( *, *) ( *, *) (319, *) ( *, *) [Cn,i1,Cn,C-,r1,C+] 10 364(1793): * * * 291 * 432 ( *, *) (326, *) ( *, *) ( *, *) (320, *) ( *, *) [Cn,r1,Cn,C-,r1,C+] 10 365(1794): * * * 290 * 433 ( *, *) (327, *) ( *, *) ( *, *) (321, *) ( *, *) [Cn,r1,Cn,C-,r1,C+] 10 366(1819): * * * 425 * 366 ( *, *) (404, *) ( *, *) ( *, *) ( *, *) (315,314) [Cn,i2,Cn,C+,Cn,r1] 10 367(1821): * * * 367 * 367 ( *, *) (328, *) ( *, *) ( *, *) ( *, *) (316,317) [Cn,r1,Cn,ic,Cn,r2] 10 368(1826): * * * 298 * 276 ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) [Cn,Cn,Cn,C-,Cn,C-] 10 369(1828): * * * 300 * 275 ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) [Cn,Cn,Cn,C-,Cn,C-] 10 370(1829): * * * 301 * 277 ( *, *) ( *, *) (406, *) ( *, *) ( *, *) ( *, *) [Cn,Cn,i1,C-,Cn,C-] 10 371(1830): * * * 302 * 278 ( *, *) ( *, *) (405, *) ( *, *) ( *, *) ( *, *) [Cn,Cn,i1,C-,Cn,C-] 10 372(1832): * * * 309 * 372 ( *, *) (408, *) ( *, *) ( *, *) ( *, *) (318,319) [Cn,i1,Cn,C-,Cn,r2] 10 373(1835): * * * 310 * 373 ( *, *) (329, *) ( *, *) ( *, *) ( *, *) (321,320) [Cn,r1,Cn,C-,Cn,r1] 10 374(1836): * * * 311 * 374 ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) (323,322) [Cn,Cn,Cn,C-,Cn,r1] 10 375(1843): * * * 299 * 281 ( *, *) (330, *) ( *, *) ( *, *) ( *, *) ( *, *) [Cn,r1,Cn,C-,Cn,C-] 10 376(1846): * * * 303 * 282 ( *, *) ( *, *) (332, *) ( *, *) ( *, *) ( *, *) [Cn,Cn,r1,C-,Cn,C-] 10 377(1846): * * * 304 * 283 ( *, *) ( *, *) (331, *) ( *, *) ( *, *) ( *, *) [Cn,Cn,r1,C-,Cn,C-] 10 378(1855): * * * 430 * 284 ( *, *) (409, *) ( *, *) ( *, *) ( *, *) ( *, *) [Cn,i1,Cn,C+,Cn,C-] 10 379(1855): * * * 431 * 285 ( *, *) (410, *) ( *, *) ( *, *) ( *, *) ( *, *) [Cn,i1,Cn,C+,Cn,C-] 10 380(1868): * * * 432 * 291 ( *, *) (333, *) ( *, *) ( *, *) ( *, *) ( *, *) [Cn,r1,Cn,C+,Cn,C-] 10 381(1869): * * * 433 * 290 ( *, *) (334, *) ( *, *) ( *, *) ( *, *) ( *, *) [Cn,r1,Cn,C+,Cn,C-] 10 382(1873): * * * 438 * 382 ( *, *) (411, *) ( *, *) ( *, *) ( *, *) ( *, *) [Cn,i1,Cn,C+,Cn,rn] 10 383(1873): * * * 439 * 383 ( *, *) (412, *) ( *, *) ( *, *) ( *, *) ( *, *) [Cn,i1,Cn,C+,Cn,rn] 10 384(1888): * * * 314 * 385 ( *, *) (413, *) ( *, *) ( *, *) ( *, *) (425, *) [Cn,i1,Cn,C-,Cn,i1] 10 385(1889): * * * 315 * 384 ( *, *) (414, *) ( *, *) ( *, *) ( *, *) (425, *) [Cn,i1,Cn,C-,Cn,i1] 10 386(1906): * * * 386 * 453 ( *, *) ( *, *) (417, *) ( *, *) ( *, *) ( *, *) [Cn,Cn,i1,ic,Cn,C+] 10 387(1909): * * * 324 * 455 ( *, *) (418, *) ( *, *) ( *, *) ( *, *) ( *, *) [Cn,i1,Cn,C-,Cn,C+] 10 388(1910): * * * 325 * 454 ( *, *) (419, *) ( *, *) ( *, *) ( *, *) ( *, *) [Cn,i1,Cn,C-,Cn,C+] 10 389(1927): * * * 444 * 389 ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) [Cn,Cn,Cn,C+,Cn,ic] 10 390(1932): * * * 447 * 456 ( *, *) ( *, *) (422, *) ( *, *) ( *, *) ( *, *) [Cn,Cn,i1,C+,Cn,C+] 10 391(1933): * * * 448 * 457 ( *, *) ( *, *) (423, *) ( *, *) ( *, *) ( *, *) [Cn,Cn,i1,C+,Cn,C+] 10 392(1962): * * * 454 * 325 ( *, *) (429, *) ( *, *) ( *, *) (435, *) ( *, *) [Cn,i1,Cn,C+,i1,C-] 10 393(1963): * * * 455 * 324 ( *, *) (428, *) ( *, *) ( *, *) (434, *) ( *, *) [Cn,i1,Cn,C+,i1,C-] 10 394(1969): * * * 333 * 326 ( *, *) (432, *) ( *, *) ( *, *) (438, *) ( *, *) [Cn,i1,Cn,C-,i1,C-] 10 395(1972): * * * 334 * 327 ( *, *) (433, *) ( *, *) ( *, *) (439, *) ( *, *) [Cn,i1,Cn,C-,i1,C-] 10 396(1977): * * * 396 * 397 (440, *) ( *, *) (442, *) ( *, *) (446, *) (452, *) [i1,Cn,i1,ic,i1,i1] 10 397(1987): * * * 397 * 396 (441, *) ( *, *) (443, *) ( *, *) (445, *) (452, *) [i1,Cn,i1,ic,i1,i1] 10 398(1989): * * * 398 * 398 (350, *) ( *, *) (348, *) ( *, *) (344, *) ( *, *) [r1,Cn,r1,rn,r1,rn] 11 399(1989): * * * 399 * 399 (351, *) ( *, *) (349, *) ( *, *) (345, *) ( *, *) [r1,Cn,r1,rn,r1,rn] 11 400(1991): * * * 458 * 463 ( *, *) (359, *) ( *, *) ( *, *) (352, *) ( *, *) [Cn,r1,Cn,C+,r1,C+] 11 401(1991): * * * 459 * 464 ( *, *) (358, *) ( *, *) ( *, *) (353, *) ( *, *) [Cn,r1,Cn,C+,r1,C+] 11 402(1993): * * * 337 * 465 ( *, *) (362, *) ( *, *) ( *, *) (356, *) ( *, *) [Cn,r1,Cn,C-,r1,C+] 11 403(1993): * * * 338 * 466 ( *, *) (363, *) ( *, *) ( *, *) (357, *) ( *, *) [Cn,r1,Cn,C-,r1,C+] 11 404(1999): * * * 462 * 404 ( *, *) (366, *) ( *, *) ( *, *) ( *, *) (352,353) [Cn,r1,Cn,C+,Cn,r2] 11 405(2002): * * * 342 * 335 ( *, *) ( *, *) (371, *) ( *, *) ( *, *) ( *, *) [Cn,Cn,r1,C-,Cn,C-] 11 406(2002): * * * 343 * 336 ( *, *) ( *, *) (370, *) ( *, *) ( *, *) ( *, *) [Cn,Cn,r1,C-,Cn,C-] 11 407(2004): * * * 347 * 407 ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) (354,355) [Cn,Cn,Cn,C-,Cn,r2] 11 408(2005): * * * 346 * 408 ( *, *) (372, *) ( *, *) ( *, *) ( *, *) (356,357) [Cn,r1,Cn,C-,Cn,r2] 11 409(2008): * * * 465 * 337 ( *, *) (378, *) ( *, *) ( *, *) ( *, *) ( *, *) [Cn,r1,Cn,C+,Cn,C-] 11 410(2008): * * * 466 * 338 ( *, *) (379, *) ( *, *) ( *, *) ( *, *) ( *, *) [Cn,r1,Cn,C+,Cn,C-] 11 411(2014): * * * 475 * 411 ( *, *) (382, *) ( *, *) ( *, *) ( *, *) ( *, *) [Cn,r1,Cn,C+,Cn,rn] 11 412(2014): * * * 476 * 412 ( *, *) (383, *) ( *, *) ( *, *) ( *, *) ( *, *) [Cn,r1,Cn,C+,Cn,rn] 11 413(2020): * * * 352 * 414 ( *, *) (384, *) ( *, *) ( *, *) ( *, *) (462, *) [Cn,r1,Cn,C-,Cn,i2] 11 414(2020): * * * 353 * 413 ( *, *) (385, *) ( *, *) ( *, *) ( *, *) (462, *) [Cn,r1,Cn,C-,Cn,i2] 11 415(2025): * * * 359 * 498 ( *, *) (458, *) ( *, *) ( *, *) ( *, *) ( *, *) [Cn,i1,Cn,C-,Cn,C+] 11 416(2026): * * * 358 * 499 ( *, *) (459, *) ( *, *) ( *, *) ( *, *) ( *, *) [Cn,i1,Cn,C-,Cn,C+] 11 417(2036): * * * 483 * 504 ( *, *) ( *, *) (386, *) ( *, *) ( *, *) ( *, *) [Cn,Cn,r1,C+,Cn,C+] 11 418(2039): * * * 360 * 505 ( *, *) (387, *) ( *, *) ( *, *) ( *, *) ( *, *) [Cn,r1,Cn,C-,Cn,C+] 11 419(2039): * * * 361 * 506 ( *, *) (388, *) ( *, *) ( *, *) ( *, *) ( *, *) [Cn,r1,Cn,C-,Cn,C+] 11 420(2048): * * * 484 * 507 ( *, *) ( *, *) (460, *) ( *, *) ( *, *) ( *, *) [Cn,Cn,i1,C+,Cn,C+] 11 421(2048): * * * 485 * 508 ( *, *) ( *, *) (461, *) ( *, *) ( *, *) ( *, *) [Cn,Cn,i1,C+,Cn,C+] 11 422(2064): * * * 486 * 512 ( *, *) ( *, *) (390, *) ( *, *) ( *, *) ( *, *) [Cn,Cn,r1,C+,Cn,C+] 11 423(2065): * * * 487 * 511 ( *, *) ( *, *) (391, *) ( *, *) ( *, *) ( *, *) [Cn,Cn,r1,C+,Cn,C+] 11 424(2067): * * * 488 * 513 ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) [Cn,Cn,Cn,C+,Cn,C+] 11 425(2080): * * * 366 * 425 ( *, *) (462, *) ( *, *) ( *, *) ( *, *) (385,384) [Cn,i2,Cn,C-,Cn,r1] 11 426(2100): * * * 498 * 359 ( *, *) (463, *) ( *, *) ( *, *) (469, *) ( *, *) [Cn,i1,Cn,C+,i1,C-] 11 427(2101): * * * 499 * 358 ( *, *) (464, *) ( *, *) ( *, *) (470, *) ( *, *) [Cn,i1,Cn,C+,i1,C-] 11 428(2102): * * * 505 * 360 ( *, *) (393, *) ( *, *) ( *, *) (471, *) ( *, *) [Cn,r1,Cn,C+,i2,C-] 11 429(2102): * * * 506 * 361 ( *, *) (392, *) ( *, *) ( *, *) (472, *) ( *, *) [Cn,r1,Cn,C+,i2,C-] 11 430(2115): * * * 378 * 362 ( *, *) (465, *) ( *, *) ( *, *) (473, *) ( *, *) [Cn,i1,Cn,C-,i2,C-] 11 431(2115): * * * 379 * 363 ( *, *) (466, *) ( *, *) ( *, *) (474, *) ( *, *) [Cn,i1,Cn,C-,i2,C-] 11 432(2116): * * * 380 * 364 ( *, *) (394, *) ( *, *) ( *, *) (475, *) ( *, *) [Cn,r1,Cn,C-,i1,C-] 11 433(2117): * * * 381 * 365 ( *, *) (395, *) ( *, *) ( *, *) (476, *) ( *, *) [Cn,r1,Cn,C-,i1,C-] 11 434(2120): * * * 502 * 434 ( *, *) (471, *) ( *, *) ( *, *) (393, *) ( *, *) [Cn,i2,Cn,C+,r1,rn] 11 435(2120): * * * 503 * 435 ( *, *) (472, *) ( *, *) ( *, *) (392, *) ( *, *) [Cn,i2,Cn,C+,r1,rn] 11 436(2123): * * * 500 * 436 ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) [Cn,Cn,Cn,C+,Cn,rn] 11 437(2123): * * * 501 * 437 ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) [Cn,Cn,Cn,C+,Cn,rn] 11 438(2132): * * * 382 * 438 ( *, *) (475, *) ( *, *) ( *, *) (394, *) ( *, *) [Cn,i1,Cn,C-,r1,rn] 11 439(2132): * * * 383 * 439 ( *, *) (476, *) ( *, *) ( *, *) (395, *) ( *, *) [Cn,i1,Cn,C-,r1,rn] 11 440(2135): * * * 440 * 441 (396, *) ( *, *) (477, *) ( *, *) (479, *) (496, *) [r1,Cn,i1,ic,i1,i2] 11 441(2135): * * * 441 * 440 (397, *) ( *, *) (478, *) ( *, *) (480, *) (496, *) [r1,Cn,i1,ic,i1,i2] 11 442(2142): * * * 516 * 443 (477, *) ( *, *) (396, *) ( *, *) (482, *) (497, *) [i1,Cn,r1,C+,i1,i1] 11 443(2143): * * * 515 * 442 (478, *) ( *, *) (397, *) ( *, *) (481, *) (497, *) [i1,Cn,r1,C+,i1,i1] 11 444(2152): * * * 389 * 444 ( *, *) ( *, *) ( *, *) ( *, *) (488, *) ( *, *) [Cn,Cn,Cn,C-,i1,ic] 11 445(2161): * * * 519 * 525 (480, *) ( *, *) (481, *) ( *, *) (397, *) ( *, *) [i1,Cn,i1,C+,r1,C+] 11 446(2163): * * * 518 * 524 (479, *) ( *, *) (482, *) ( *, *) (396, *) ( *, *) [i1,Cn,i1,C+,r1,C+] 11 447(2173): * * * 390 * 522 ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) [Cn,Cn,Cn,C-,Cn,C+] 11 448(2176): * * * 391 * 523 ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) [Cn,Cn,Cn,C-,Cn,C+] 11 449(2183): * * * 517 * 449 ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) [Cn,Cn,Cn,C+,Cn,ic] 11 450(2188): * * * 521 * 451 ( *, *) ( *, *) (494, *) ( *, *) ( *, *) (514, *) [Cn,Cn,i1,C+,Cn,i1] 11 451(2189): * * * 520 * 450 ( *, *) ( *, *) (495, *) ( *, *) ( *, *) (514, *) [Cn,Cn,i1,C+,Cn,i1] 11 452(2195): * * * 452 * 452 (496, *) ( *, *) (497, *) ( *, *) ( *, *) (397,396) [i2,Cn,i1,ic,Cn,r1] 11 453(2199): * * * 453 * 386 ( *, *) ( *, *) (504, *) ( *, *) ( *, *) ( *, *) [Cn,Cn,i1,ic,Cn,C-] 11 454(2201): * * * 392 * 388 ( *, *) (506, *) ( *, *) ( *, *) ( *, *) ( *, *) [Cn,i1,Cn,C-,Cn,C-] 11 455(2203): * * * 393 * 387 ( *, *) (505, *) ( *, *) ( *, *) ( *, *) ( *, *) [Cn,i1,Cn,C-,Cn,C-] 11 456(2217): * * * 522 * 390 ( *, *) ( *, *) (512, *) ( *, *) ( *, *) ( *, *) [Cn,Cn,i1,C+,Cn,C-] 11 457(2219): * * * 523 * 391 ( *, *) ( *, *) (511, *) ( *, *) ( *, *) ( *, *) [Cn,Cn,i1,C+,Cn,C-] 11 458(2221): * * * 400 * 538 ( *, *) (415, *) ( *, *) ( *, *) ( *, *) ( *, *) [Cn,r1,Cn,C-,Cn,C+] 12 459(2221): * * * 401 * 539 ( *, *) (416, *) ( *, *) ( *, *) ( *, *) ( *, *) [Cn,r1,Cn,C-,Cn,C+] 12 460(2225): * * * 532 * 546 ( *, *) ( *, *) (420, *) ( *, *) ( *, *) ( *, *) [Cn,Cn,r1,C+,Cn,C+] 12 461(2225): * * * 533 * 547 ( *, *) ( *, *) (421, *) ( *, *) ( *, *) ( *, *) [Cn,Cn,r1,C+,Cn,C+] 12 462(2233): * * * 404 * 462 ( *, *) (425, *) ( *, *) ( *, *) ( *, *) (413,414) [Cn,r1,Cn,C-,Cn,r2] 12 463(2240): * * * 538 * 400 ( *, *) (426, *) ( *, *) ( *, *) (526, *) ( *, *) [Cn,r1,Cn,C+,i2,C-] 12 464(2240): * * * 539 * 401 ( *, *) (427, *) ( *, *) ( *, *) (527, *) ( *, *) [Cn,r1,Cn,C+,i2,C-] 12 465(2244): * * * 409 * 402 ( *, *) (430, *) ( *, *) ( *, *) (528, *) ( *, *) [Cn,r1,Cn,C-,i2,C-] 12 466(2244): * * * 410 * 403 ( *, *) (431, *) ( *, *) ( *, *) (529, *) ( *, *) [Cn,r1,Cn,C-,i2,C-] 12 467(2245): * * * 540 * 467 ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) [Cn,Cn,Cn,C+,Cn,rn] 12 468(2245): * * * 541 * 468 ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) [Cn,Cn,Cn,C+,Cn,rn] 12 469(2246): * * * 542 * 469 ( *, *) (526, *) ( *, *) ( *, *) (426, *) ( *, *) [Cn,i2,Cn,C+,r1,rn] 12 470(2246): * * * 543 * 470 ( *, *) (527, *) ( *, *) ( *, *) (427, *) ( *, *) [Cn,i2,Cn,C+,r1,rn] 12 471(2248): * * * 544 * 471 ( *, *) (434, *) ( *, *) ( *, *) (428, *) ( *, *) [Cn,r1,Cn,C+,r1,rn] 12 472(2248): * * * 545 * 472 ( *, *) (435, *) ( *, *) ( *, *) (429, *) ( *, *) [Cn,r1,Cn,C+,r1,rn] 12 473(2253): * * * 473 * 473 ( *, *) (528, *) ( *, *) ( *, *) (430, *) ( *, *) [Cn,i1,Cn,rn,r1,rn] 12 474(2253): * * * 474 * 474 ( *, *) (529, *) ( *, *) ( *, *) (431, *) ( *, *) [Cn,i1,Cn,rn,r1,rn] 12 475(2254): * * * 411 * 475 ( *, *) (438, *) ( *, *) ( *, *) (432, *) ( *, *) [Cn,r1,Cn,C-,r1,rn] 12 476(2254): * * * 412 * 476 ( *, *) (439, *) ( *, *) ( *, *) (433, *) ( *, *) [Cn,r1,Cn,C-,r1,rn] 12 477(2255): * * * 551 * 478 (442, *) ( *, *) (440, *) ( *, *) (530, *) (537, *) [r1,Cn,r1,C+,i1,i2] 12 478(2255): * * * 552 * 477 (443, *) ( *, *) (441, *) ( *, *) (531, *) (537, *) [r1,Cn,r1,C+,i1,i2] 12 479(2269): * * * 556 * 575 (446, *) ( *, *) (530, *) ( *, *) (440, *) ( *, *) [r1,Cn,i1,C+,r1,C+] 12 480(2269): * * * 557 * 576 (445, *) ( *, *) (531, *) ( *, *) (441, *) ( *, *) [r1,Cn,i1,C+,r1,C+] 12 481(2271): * * * 554 * 578 (531, *) ( *, *) (445, *) ( *, *) (443, *) ( *, *) [i1,Cn,r1,C+,r1,C+] 12 482(2272): * * * 553 * 577 (530, *) ( *, *) (446, *) ( *, *) (442, *) ( *, *) [i1,Cn,r1,C+,r1,C+] 12 483(2275): * * * 417 * 570 ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) [Cn,Cn,Cn,C-,Cn,C+] 12 484(2280): * * * 420 * 571 ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) [Cn,Cn,Cn,C-,Cn,C+] 12 485(2280): * * * 421 * 572 ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) [Cn,Cn,Cn,C-,Cn,C+] 12 486(2283): * * * 422 * 574 ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) [Cn,Cn,Cn,C-,Cn,C+] 12 487(2284): * * * 423 * 573 ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) [Cn,Cn,Cn,C-,Cn,C+] 12 488(2285): * * * 424 * 579 ( *, *) ( *, *) ( *, *) ( *, *) (444, *) ( *, *) [Cn,Cn,Cn,C-,r1,C+] 12 489(2296): * * * 555 * 489 ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) [Cn,Cn,Cn,C+,Cn,ic] 12 490(2302): * * * 559 * 585 ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) [Cn,Cn,Cn,C+,Cn,C+] 12 491(2303): * * * 558 * 582 ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) [Cn,Cn,Cn,C+,Cn,C+] 12 492(2304): * * * 561 * 583 ( *, *) ( *, *) (536, *) ( *, *) ( *, *) ( *, *) [Cn,Cn,i1,C+,Cn,C+] 12 493(2305): * * * 562 * 584 ( *, *) ( *, *) (535, *) ( *, *) ( *, *) ( *, *) [Cn,Cn,i1,C+,Cn,C+] 12 494(2309): * * * 565 * 495 ( *, *) ( *, *) (450, *) ( *, *) ( *, *) (550, *) [Cn,Cn,r1,C+,Cn,i2] 12 495(2309): * * * 566 * 494 ( *, *) ( *, *) (451, *) ( *, *) ( *, *) (550, *) [Cn,Cn,r1,C+,Cn,i2] 12 496(2314): * * * 496 * 496 (452, *) ( *, *) (537, *) ( *, *) ( *, *) (440,441) [r1,Cn,i1,ic,Cn,r2] 12 497(2315): * * * 567 * 497 (537, *) ( *, *) (452, *) ( *, *) ( *, *) (443,442) [i2,Cn,r1,C+,Cn,r1] 12 498(2319): * * * 426 * 415 ( *, *) (538, *) ( *, *) ( *, *) ( *, *) ( *, *) [Cn,i1,Cn,C-,Cn,C-] 12 499(2320): * * * 427 * 416 ( *, *) (539, *) ( *, *) ( *, *) ( *, *) ( *, *) [Cn,i1,Cn,C-,Cn,C-] 12 500(2325): * * * 436 * 500 ( *, *) ( *, *) (544, *) ( *, *) ( *, *) ( *, *) [Cn,Cn,i2,C-,Cn,rn] 12 501(2325): * * * 437 * 501 ( *, *) ( *, *) (545, *) ( *, *) ( *, *) ( *, *) [Cn,Cn,i2,C-,Cn,rn] 12 502(2328): * * * 434 * 502 ( *, *) (544, *) ( *, *) ( *, *) ( *, *) ( *, *) [Cn,i2,Cn,C-,Cn,rn] 12 503(2328): * * * 435 * 503 ( *, *) (545, *) ( *, *) ( *, *) ( *, *) ( *, *) [Cn,i2,Cn,C-,Cn,rn] 12 504(2329): * * * 570 * 417 ( *, *) ( *, *) (453, *) ( *, *) ( *, *) ( *, *) [Cn,Cn,r1,C+,Cn,C-] 12 505(2333): * * * 428 * 418 ( *, *) (455, *) ( *, *) ( *, *) ( *, *) ( *, *) [Cn,r1,Cn,C-,Cn,C-] 12 506(2333): * * * 429 * 419 ( *, *) (454, *) ( *, *) ( *, *) ( *, *) ( *, *) [Cn,r1,Cn,C-,Cn,C-] 12 507(2345): * * * 571 * 420 ( *, *) ( *, *) (546, *) ( *, *) ( *, *) ( *, *) [Cn,Cn,i1,C+,Cn,C-] 12 508(2345): * * * 572 * 421 ( *, *) ( *, *) (547, *) ( *, *) ( *, *) ( *, *) [Cn,Cn,i1,C+,Cn,C-] 12 509(2357): * * * 568 * 509 ( *, *) ( *, *) (548, *) ( *, *) ( *, *) ( *, *) [Cn,Cn,i1,C+,Cn,rn] 12 510(2357): * * * 569 * 510 ( *, *) ( *, *) (549, *) ( *, *) ( *, *) ( *, *) [Cn,Cn,i1,C+,Cn,rn] 12 511(2361): * * * 573 * 423 ( *, *) ( *, *) (457, *) ( *, *) ( *, *) ( *, *) [Cn,Cn,r1,C+,Cn,C-] 12 512(2362): * * * 574 * 422 ( *, *) ( *, *) (456, *) ( *, *) ( *, *) ( *, *) [Cn,Cn,r1,C+,Cn,C-] 12 513(2365): * * * 579 * 424 ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) [Cn,Cn,Cn,C+,Cn,C-] 12 514(2366): * * * 586 * 514 ( *, *) ( *, *) (550, *) ( *, *) ( *, *) (451,450) [Cn,Cn,i2,C+,Cn,r1] 12 515(2369): * * * 443 * 516 (552, *) ( *, *) ( *, *) ( *, *) ( *, *) (567, *) [i1,Cn,Cn,C-,Cn,i1] 12 516(2371): * * * 442 * 515 (551, *) ( *, *) ( *, *) ( *, *) ( *, *) (567, *) [i1,Cn,Cn,C-,Cn,i1] 12 517(2377): * * * 449 * 517 ( *, *) ( *, *) (555, *) ( *, *) (559, *) ( *, *) [Cn,Cn,i2,C-,i1,ic] 12 518(2386): * * * 446 * 589 (556, *) ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) [i1,Cn,Cn,C-,Cn,C+] 12 519(2388): * * * 445 * 590 (557, *) ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) [i1,Cn,Cn,C-,Cn,C+] 12 520(2404): * * * 451 * 521 ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) (586, *) [Cn,Cn,Cn,C-,Cn,i1] 12 521(2406): * * * 450 * 520 ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) (586, *) [Cn,Cn,Cn,C-,Cn,i1] 12 522(2416): * * * 456 * 447 ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) [Cn,Cn,Cn,C-,Cn,C-] 12 523(2417): * * * 457 * 448 ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) [Cn,Cn,Cn,C-,Cn,C-] 12 524(2419): * * * 589 * 446 (575, *) ( *, *) (577, *) ( *, *) (580, *) ( *, *) [i1,Cn,i1,C+,i1,C-] 12 525(2420): * * * 590 * 445 (576, *) ( *, *) (578, *) ( *, *) (581, *) ( *, *) [i1,Cn,i1,C+,i1,C-] 12 526(2423): * * * 591 * 526 ( *, *) (469, *) ( *, *) ( *, *) (463, *) ( *, *) [Cn,r1,Cn,C+,r1,rn] 13 527(2423): * * * 592 * 527 ( *, *) (470, *) ( *, *) ( *, *) (464, *) ( *, *) [Cn,r1,Cn,C+,r1,rn] 13 528(2424): * * * 528 * 528 ( *, *) (473, *) ( *, *) ( *, *) (465, *) ( *, *) [Cn,r1,Cn,rn,r1,rn] 13 529(2424): * * * 529 * 529 ( *, *) (474, *) ( *, *) ( *, *) (466, *) ( *, *) [Cn,r1,Cn,rn,r1,rn] 13 530(2427): * * * 593 * 606 (482, *) ( *, *) (479, *) ( *, *) (477, *) ( *, *) [r1,Cn,r1,C+,r1,C+] 13 531(2427): * * * 594 * 607 (481, *) ( *, *) (480, *) ( *, *) (478, *) ( *, *) [r1,Cn,r1,C+,r1,C+] 13 532(2429): * * * 460 * 604 ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) [Cn,Cn,Cn,C-,Cn,C+] 13 533(2429): * * * 461 * 605 ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) [Cn,Cn,Cn,C-,Cn,C+] 13 534(2432): * * * 595 * 608 ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) [Cn,Cn,Cn,C+,Cn,C+] 13 535(2437): * * * 599 * 613 ( *, *) ( *, *) (493, *) ( *, *) ( *, *) ( *, *) [Cn,Cn,r1,C+,Cn,C+] 13 536(2437): * * * 600 * 614 ( *, *) ( *, *) (492, *) ( *, *) ( *, *) ( *, *) [Cn,Cn,r1,C+,Cn,C+] 13 537(2438): * * * 601 * 537 (497, *) ( *, *) (496, *) ( *, *) ( *, *) (477,478) [r1,Cn,r1,C+,Cn,r2] 13 538(2442): * * * 463 * 458 ( *, *) (498, *) ( *, *) ( *, *) ( *, *) ( *, *) [Cn,r1,Cn,C-,Cn,C-] 13 539(2442): * * * 464 * 459 ( *, *) (499, *) ( *, *) ( *, *) ( *, *) ( *, *) [Cn,r1,Cn,C-,Cn,C-] 13 540(2443): * * * 467 * 540 ( *, *) ( *, *) (591, *) ( *, *) ( *, *) ( *, *) [Cn,Cn,i2,C-,Cn,rn] 13 541(2443): * * * 468 * 541 ( *, *) ( *, *) (592, *) ( *, *) ( *, *) ( *, *) [Cn,Cn,i2,C-,Cn,rn] 13 542(2444): * * * 469 * 542 ( *, *) (591, *) ( *, *) ( *, *) ( *, *) ( *, *) [Cn,i2,Cn,C-,Cn,rn] 13 543(2444): * * * 470 * 543 ( *, *) (592, *) ( *, *) ( *, *) ( *, *) ( *, *) [Cn,i2,Cn,C-,Cn,rn] 13 544(2447): * * * 471 * 544 ( *, *) (502, *) (500, *) ( *, *) ( *, *) ( *, *) [Cn,r1,r1,C-,Cn,rn] 13 545(2447): * * * 472 * 545 ( *, *) (503, *) (501, *) ( *, *) ( *, *) ( *, *) [Cn,r1,r1,C-,Cn,rn] 13 546(2450): * * * 604 * 460 ( *, *) ( *, *) (507, *) ( *, *) ( *, *) ( *, *) [Cn,Cn,r1,C+,Cn,C-] 13 547(2450): * * * 605 * 461 ( *, *) ( *, *) (508, *) ( *, *) ( *, *) ( *, *) [Cn,Cn,r1,C+,Cn,C-] 13 548(2459): * * * 602 * 548 ( *, *) ( *, *) (509, *) ( *, *) ( *, *) ( *, *) [Cn,Cn,r1,C+,Cn,rn] 13 549(2459): * * * 603 * 549 ( *, *) ( *, *) (510, *) ( *, *) ( *, *) ( *, *) [Cn,Cn,r1,C+,Cn,rn] 13 550(2461): * * * 616 * 550 ( *, *) ( *, *) (514, *) ( *, *) ( *, *) (494,495) [Cn,Cn,r1,C+,Cn,r2] 13 551(2463): * * * 477 * 552 (516, *) ( *, *) ( *, *) ( *, *) ( *, *) (601, *) [r1,Cn,Cn,C-,Cn,i2] 13 552(2463): * * * 478 * 551 (515, *) ( *, *) ( *, *) ( *, *) ( *, *) (601, *) [r1,Cn,Cn,C-,Cn,i2] 13 553(2465): * * * 482 * 625 (593, *) ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) [i1,Cn,Cn,C-,Cn,C+] 13 554(2466): * * * 481 * 624 (594, *) ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) [i1,Cn,Cn,C-,Cn,C+] 13 555(2471): * * * 489 * 555 ( *, *) ( *, *) (517, *) ( *, *) (595, *) ( *, *) [Cn,Cn,r1,C-,i1,ic] 13 556(2476): * * * 479 * 628 (518, *) ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) [r1,Cn,Cn,C-,Cn,C+] 13 557(2476): * * * 480 * 629 (519, *) ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) [r1,Cn,Cn,C-,Cn,C+] 13 558(2482): * * * 491 * 630 ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) [Cn,Cn,Cn,C-,Cn,C+] 13 559(2483): * * * 490 * 634 ( *, *) ( *, *) (595, *) ( *, *) (517, *) ( *, *) [Cn,Cn,i2,C-,r1,C+] 13 560(2487): * * * 617 * 631 ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) [Cn,Cn,Cn,C+,Cn,C+] 13 561(2490): * * * 492 * 632 ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) [Cn,Cn,Cn,C-,Cn,C+] 13 562(2491): * * * 493 * 633 ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) [Cn,Cn,Cn,C-,Cn,C+] 13 563(2504): * * * 622 * 564 ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) (615, *) [Cn,Cn,Cn,C+,Cn,i2] 13 564(2504): * * * 623 * 563 ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) (615, *) [Cn,Cn,Cn,C+,Cn,i2] 13 565(2507): * * * 494 * 566 ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) (616, *) [Cn,Cn,Cn,C-,Cn,i2] 13 566(2507): * * * 495 * 565 ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) (616, *) [Cn,Cn,Cn,C-,Cn,i2] 13 567(2513): * * * 497 * 567 (601, *) ( *, *) ( *, *) ( *, *) ( *, *) (516,515) [i2,Cn,Cn,C-,Cn,r1] 13 568(2517): * * * 509 * 568 ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) [Cn,Cn,Cn,C-,Cn,rn] 13 569(2517): * * * 510 * 569 ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) [Cn,Cn,Cn,C-,Cn,rn] 13 570(2524): * * * 504 * 483 ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) [Cn,Cn,Cn,C-,Cn,C-] 13 571(2530): * * * 507 * 484 ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) [Cn,Cn,Cn,C-,Cn,C-] 13 572(2530): * * * 508 * 485 ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) [Cn,Cn,Cn,C-,Cn,C-] 13 573(2532): * * * 511 * 487 ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) [Cn,Cn,Cn,C-,Cn,C-] 13 574(2533): * * * 512 * 486 ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) [Cn,Cn,Cn,C-,Cn,C-] 13 575(2535): * * * 628 * 479 (524, *) ( *, *) (606, *) ( *, *) (609, *) ( *, *) [r1,Cn,i1,C+,i2,C-] 13 576(2535): * * * 629 * 480 (525, *) ( *, *) (607, *) ( *, *) (610, *) ( *, *) [r1,Cn,i1,C+,i2,C-] 13 577(2536): * * * 625 * 482 (606, *) ( *, *) (524, *) ( *, *) (611, *) ( *, *) [i1,Cn,r1,C+,i1,C-] 13 578(2537): * * * 624 * 481 (607, *) ( *, *) (525, *) ( *, *) (612, *) ( *, *) [i1,Cn,r1,C+,i1,C-] 13 579(2545): * * * 513 * 488 ( *, *) ( *, *) ( *, *) ( *, *) (616, *) ( *, *) [Cn,Cn,Cn,C-,i2,C-] 13 580(2549): * * * 626 * 580 (609, *) ( *, *) (611, *) ( *, *) (524, *) ( *, *) [i2,Cn,i1,C+,r1,rn] 13 581(2549): * * * 627 * 581 (610, *) ( *, *) (612, *) ( *, *) (525, *) ( *, *) [i2,Cn,i1,C+,r1,rn] 13 582(2552): * * * 630 * 491 ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) [Cn,Cn,Cn,C+,Cn,C-] 13 583(2554): * * * 632 * 492 ( *, *) ( *, *) (614, *) ( *, *) ( *, *) ( *, *) [Cn,Cn,i1,C+,Cn,C-] 13 584(2555): * * * 633 * 493 ( *, *) ( *, *) (613, *) ( *, *) ( *, *) ( *, *) [Cn,Cn,i1,C+,Cn,C-] 13 585(2556): * * * 634 * 490 ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) [Cn,Cn,Cn,C+,Cn,C-] 13 586(2559): * * * 514 * 586 ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) (521,520) [Cn,Cn,Cn,C-,Cn,r1] 13 587(2574): * * * 639 * 588 ( *, *) (619, *) ( *, *) ( *, *) ( *, *) (635, *) [Cn,i1,Cn,C+,Cn,i1] 13 588(2576): * * * 638 * 587 ( *, *) (618, *) ( *, *) ( *, *) ( *, *) (635, *) [Cn,i1,Cn,C+,Cn,i1] 13 589(2590): * * * 524 * 518 (628, *) ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) [i1,Cn,Cn,C-,Cn,C-] 13 590(2591): * * * 525 * 519 (629, *) ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) [i1,Cn,Cn,C-,Cn,C-] 13 591(2593): * * * 526 * 591 ( *, *) (542, *) (540, *) ( *, *) ( *, *) ( *, *) [Cn,r1,r1,C-,Cn,rn] 14 592(2593): * * * 527 * 592 ( *, *) (543, *) (541, *) ( *, *) ( *, *) ( *, *) [Cn,r1,r1,C-,Cn,rn] 14 593(2595): * * * 530 * 649 (553, *) ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) [r1,Cn,Cn,C-,Cn,C+] 14 594(2595): * * * 531 * 650 (554, *) ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) [r1,Cn,Cn,C-,Cn,C+] 14 595(2599): * * * 534 * 660 ( *, *) ( *, *) (559, *) ( *, *) (555, *) ( *, *) [Cn,Cn,r1,C-,r1,C+] 14 596(2600): * * * 642 * 655 ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) [Cn,Cn,Cn,C+,Cn,C+] 14 597(2602): * * * 643 * 656 ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) [Cn,Cn,Cn,C+,Cn,C+] 14 598(2602): * * * 644 * 657 ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) [Cn,Cn,Cn,C+,Cn,C+] 14 599(2606): * * * 535 * 658 ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) [Cn,Cn,Cn,C-,Cn,C+] 14 600(2606): * * * 536 * 659 ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) [Cn,Cn,Cn,C-,Cn,C+] 14 601(2611): * * * 537 * 601 (567, *) ( *, *) ( *, *) ( *, *) ( *, *) (551,552) [r1,Cn,Cn,C-,Cn,r2] 14 602(2615): * * * 548 * 602 ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) [Cn,Cn,Cn,C-,Cn,rn] 14 603(2615): * * * 549 * 603 ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) [Cn,Cn,Cn,C-,Cn,rn] 14 604(2619): * * * 546 * 532 ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) [Cn,Cn,Cn,C-,Cn,C-] 14 605(2619): * * * 547 * 533 ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) [Cn,Cn,Cn,C-,Cn,C-] 14 606(2620): * * * 649 * 530 (577, *) ( *, *) (575, *) ( *, *) (640, *) ( *, *) [r1,Cn,r1,C+,i2,C-] 14 607(2620): * * * 650 * 531 (578, *) ( *, *) (576, *) ( *, *) (641, *) ( *, *) [r1,Cn,r1,C+,i2,C-] 14 608(2623): * * * 660 * 534 ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) [Cn,Cn,Cn,C+,Cn,C-] 14 609(2628): * * * 653 * 609 (580, *) ( *, *) (640, *) ( *, *) (575, *) ( *, *) [r1,Cn,i1,C+,r1,rn] 14 610(2628): * * * 654 * 610 (581, *) ( *, *) (641, *) ( *, *) (576, *) ( *, *) [r1,Cn,i1,C+,r1,rn] 14 611(2629): * * * 651 * 611 (640, *) ( *, *) (580, *) ( *, *) (577, *) ( *, *) [i2,Cn,r1,C+,r1,rn] 14 612(2629): * * * 652 * 612 (641, *) ( *, *) (581, *) ( *, *) (578, *) ( *, *) [i2,Cn,r1,C+,r1,rn] 14 613(2631): * * * 658 * 535 ( *, *) ( *, *) (584, *) ( *, *) ( *, *) ( *, *) [Cn,Cn,r1,C+,Cn,C-] 14 614(2631): * * * 659 * 536 ( *, *) ( *, *) (583, *) ( *, *) ( *, *) ( *, *) [Cn,Cn,r1,C+,Cn,C-] 14 615(2633): * * * 662 * 615 ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) (563,564) [Cn,Cn,Cn,C+,Cn,r2] 14 616(2635): * * * 550 * 616 ( *, *) ( *, *) ( *, *) ( *, *) (579, *) (565,566) [Cn,Cn,Cn,C-,r1,r2] 14 617(2649): * * * 560 * 671 ( *, *) ( *, *) (642, *) ( *, *) ( *, *) ( *, *) [Cn,Cn,i2,C-,Cn,C+] 14 618(2658): * * * 664 * 619 ( *, *) (588, *) ( *, *) ( *, *) ( *, *) (661, *) [Cn,r1,Cn,C+,Cn,i2] 14 619(2658): * * * 665 * 618 ( *, *) (587, *) ( *, *) ( *, *) ( *, *) (661, *) [Cn,r1,Cn,C+,Cn,i2] 14 620(2660): * * * 668 * 673 ( *, *) (645, *) ( *, *) ( *, *) ( *, *) ( *, *) [Cn,i1,Cn,C+,Cn,C+] 14 621(2661): * * * 669 * 672 ( *, *) (646, *) ( *, *) ( *, *) ( *, *) ( *, *) [Cn,i1,Cn,C+,Cn,C+] 14 622(2671): * * * 563 * 623 ( *, *) ( *, *) (647, *) ( *, *) ( *, *) (662, *) [Cn,Cn,i2,C-,Cn,i2] 14 623(2671): * * * 564 * 622 ( *, *) ( *, *) (648, *) ( *, *) ( *, *) (662, *) [Cn,Cn,i2,C-,Cn,i2] 14 624(2677): * * * 578 * 554 (650, *) ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) [i1,Cn,Cn,C-,Cn,C-] 14 625(2678): * * * 577 * 553 (649, *) ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) [i1,Cn,Cn,C-,Cn,C-] 14 626(2679): * * * 580 * 626 (653, *) ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) [i2,Cn,Cn,C-,Cn,rn] 14 627(2679): * * * 581 * 627 (654, *) ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) [i2,Cn,Cn,C-,Cn,rn] 14 628(2687): * * * 575 * 556 (589, *) ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) [r1,Cn,Cn,C-,Cn,C-] 14 629(2687): * * * 576 * 557 (590, *) ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) [r1,Cn,Cn,C-,Cn,C-] 14 630(2691): * * * 582 * 558 ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) [Cn,Cn,Cn,C-,Cn,C-] 14 631(2693): * * * 671 * 560 ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) [Cn,Cn,Cn,C+,Cn,C-] 14 632(2698): * * * 583 * 561 ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) [Cn,Cn,Cn,C-,Cn,C-] 14 633(2699): * * * 584 * 562 ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) [Cn,Cn,Cn,C-,Cn,C-] 14 634(2700): * * * 585 * 559 ( *, *) ( *, *) (660, *) ( *, *) (662, *) ( *, *) [Cn,Cn,i2,C-,i2,C-] 14 635(2702): * * * 670 * 635 ( *, *) (661, *) ( *, *) ( *, *) ( *, *) (588,587) [Cn,i2,Cn,C+,Cn,r1] 14 636(2710): * * * 636 * 636 ( *, *) (663, *) ( *, *) ( *, *) (666, *) ( *, *) [Cn,i2,Cn,ic,i1,ic] 14 637(2712): * * * 637 * 637 (663, *) ( *, *) ( *, *) ( *, *) (667, *) ( *, *) [i2,Cn,Cn,ic,i1,ic] 14 638(2717): * * * 588 * 639 ( *, *) (664, *) ( *, *) ( *, *) (668, *) (670, *) [Cn,i1,Cn,C-,i1,i1] 14 639(2718): * * * 587 * 638 ( *, *) (665, *) ( *, *) ( *, *) (669, *) (670, *) [Cn,i1,Cn,C-,i1,i1] 14 640(2733): * * * 678 * 640 (611, *) ( *, *) (609, *) ( *, *) (606, *) ( *, *) [r1,Cn,r1,C+,r1,rn] 15 641(2733): * * * 679 * 641 (612, *) ( *, *) (610, *) ( *, *) (607, *) ( *, *) [r1,Cn,r1,C+,r1,rn] 15 642(2737): * * * 596 * 685 ( *, *) ( *, *) (617, *) ( *, *) ( *, *) ( *, *) [Cn,Cn,r1,C-,Cn,C+] 15 643(2741): * * * 597 * 686 ( *, *) ( *, *) (676, *) ( *, *) ( *, *) ( *, *) [Cn,Cn,i2,C-,Cn,C+] 15 644(2741): * * * 598 * 687 ( *, *) ( *, *) (677, *) ( *, *) ( *, *) ( *, *) [Cn,Cn,i2,C-,Cn,C+] 15 645(2744): * * * 682 * 688 ( *, *) (620, *) ( *, *) ( *, *) ( *, *) ( *, *) [Cn,r1,Cn,C+,Cn,C+] 15 646(2744): * * * 683 * 689 ( *, *) (621, *) ( *, *) ( *, *) ( *, *) ( *, *) [Cn,r1,Cn,C+,Cn,C+] 15 647(2746): * * * 647 * 648 ( *, *) ( *, *) (622, *) ( *, *) ( *, *) (680, *) [Cn,Cn,r1,rn,Cn,i2] 15 648(2746): * * * 648 * 647 ( *, *) ( *, *) (623, *) ( *, *) ( *, *) (680, *) [Cn,Cn,r1,rn,Cn,i2] 15 649(2749): * * * 606 * 593 (625, *) ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) [r1,Cn,Cn,C-,Cn,C-] 15 650(2749): * * * 607 * 594 (624, *) ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) [r1,Cn,Cn,C-,Cn,C-] 15 651(2750): * * * 611 * 651 (678, *) ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) [i2,Cn,Cn,C-,Cn,rn] 15 652(2750): * * * 612 * 652 (679, *) ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) [i2,Cn,Cn,C-,Cn,rn] 15 653(2752): * * * 609 * 653 (626, *) ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) [r1,Cn,Cn,C-,Cn,rn] 15 654(2752): * * * 610 * 654 (627, *) ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) [r1,Cn,Cn,C-,Cn,rn] 15 655(2756): * * * 685 * 596 ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) [Cn,Cn,Cn,C+,Cn,C-] 15 656(2758): * * * 686 * 597 ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) [Cn,Cn,Cn,C+,Cn,C-] 15 657(2758): * * * 687 * 598 ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) [Cn,Cn,Cn,C+,Cn,C-] 15 658(2762): * * * 613 * 599 ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) [Cn,Cn,Cn,C-,Cn,C-] 15 659(2762): * * * 614 * 600 ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) [Cn,Cn,Cn,C-,Cn,C-] 15 660(2763): * * * 608 * 595 ( *, *) ( *, *) (634, *) ( *, *) (680, *) ( *, *) [Cn,Cn,r1,C-,i2,C-] 15 661(2764): * * * 684 * 661 ( *, *) (635, *) ( *, *) ( *, *) ( *, *) (618,619) [Cn,r1,Cn,C+,Cn,r2] 15 662(2770): * * * 615 * 662 ( *, *) ( *, *) (680, *) ( *, *) (634, *) (622,623) [Cn,Cn,i2,C-,r1,r2] 15 663(2774): * * * 663 * 663 (637, *) (636, *) ( *, *) ( *, *) (681, *) ( *, *) [r1,r1,Cn,ic,i1,ic] 15 664(2778): * * * 618 * 665 ( *, *) (638, *) ( *, *) ( *, *) (682, *) (684, *) [Cn,r1,Cn,C-,i1,i2] 15 665(2778): * * * 619 * 664 ( *, *) (639, *) ( *, *) ( *, *) (683, *) (684, *) [Cn,r1,Cn,C-,i1,i2] 15 666(2779): * * * 694 * 704 ( *, *) (681, *) ( *, *) ( *, *) (636, *) ( *, *) [Cn,i2,Cn,C+,r1,C+] 15 667(2780): * * * 695 * 705 (681, *) ( *, *) ( *, *) ( *, *) (637, *) ( *, *) [i2,Cn,Cn,C+,r1,C+] 15 668(2784): * * * 620 * 706 ( *, *) (682, *) ( *, *) ( *, *) (638, *) ( *, *) [Cn,i1,Cn,C-,r1,C+] 15 669(2785): * * * 621 * 707 ( *, *) (683, *) ( *, *) ( *, *) (639, *) ( *, *) [Cn,i1,Cn,C-,r1,C+] 15 670(2807): * * * 635 * 670 ( *, *) (684, *) ( *, *) ( *, *) ( *, *) (639,638) [Cn,i2,Cn,C-,Cn,r1] 15 671(2812): * * * 631 * 617 ( *, *) ( *, *) (685, *) ( *, *) ( *, *) ( *, *) [Cn,Cn,i2,C-,Cn,C-] 15 672(2823): * * * 707 * 621 ( *, *) (689, *) ( *, *) ( *, *) ( *, *) ( *, *) [Cn,i1,Cn,C+,Cn,C-] 15 673(2824): * * * 706 * 620 ( *, *) (688, *) ( *, *) ( *, *) ( *, *) ( *, *) [Cn,i1,Cn,C+,Cn,C-] 15 674(2832): * * * 709 * 675 (700, *) ( *, *) ( *, *) ( *, *) ( *, *) (708, *) [i1,Cn,Cn,C+,Cn,i1] 15 675(2833): * * * 710 * 674 (701, *) ( *, *) ( *, *) ( *, *) ( *, *) (708, *) [i1,Cn,Cn,C+,Cn,i1] 15 676(2836): * * * 676 * 711 ( *, *) ( *, *) (643, *) ( *, *) ( *, *) ( *, *) [Cn,Cn,r1,rn,Cn,C+] 16 677(2836): * * * 677 * 712 ( *, *) ( *, *) (644, *) ( *, *) ( *, *) ( *, *) [Cn,Cn,r1,rn,Cn,C+] 16 678(2837): * * * 640 * 678 (651, *) ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) [r1,Cn,Cn,C-,Cn,rn] 16 679(2837): * * * 641 * 679 (652, *) ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) [r1,Cn,Cn,C-,Cn,rn] 16 680(2839): * * * 680 * 680 ( *, *) ( *, *) (662, *) ( *, *) (660, *) (647,648) [Cn,Cn,r1,rn,r1,r2] 16 681(2841): * * * 715 * 724 (667, *) (666, *) ( *, *) ( *, *) (663, *) ( *, *) [r1,r1,Cn,C+,r1,C+] 16 682(2843): * * * 645 * 725 ( *, *) (668, *) ( *, *) ( *, *) (664, *) ( *, *) [Cn,r1,Cn,C-,r1,C+] 16 683(2843): * * * 646 * 726 ( *, *) (669, *) ( *, *) ( *, *) (665, *) ( *, *) [Cn,r1,Cn,C-,r1,C+] 16 684(2856): * * * 661 * 684 ( *, *) (670, *) ( *, *) ( *, *) ( *, *) (664,665) [Cn,r1,Cn,C-,Cn,r2] 16 685(2858): * * * 655 * 642 ( *, *) ( *, *) (671, *) ( *, *) ( *, *) ( *, *) [Cn,Cn,r1,C-,Cn,C-] 16 686(2861): * * * 656 * 643 ( *, *) ( *, *) (711, *) ( *, *) ( *, *) ( *, *) [Cn,Cn,i2,C-,Cn,C-] 16 687(2861): * * * 657 * 644 ( *, *) ( *, *) (712, *) ( *, *) ( *, *) ( *, *) [Cn,Cn,i2,C-,Cn,C-] 16 688(2868): * * * 725 * 645 ( *, *) (673, *) ( *, *) ( *, *) ( *, *) ( *, *) [Cn,r1,Cn,C+,Cn,C-] 16 689(2868): * * * 726 * 646 ( *, *) (672, *) ( *, *) ( *, *) ( *, *) ( *, *) [Cn,r1,Cn,C+,Cn,C-] 16 690(2870): * * * 730 * 690 ( *, *) ( *, *) (713, *) ( *, *) ( *, *) ( *, *) [Cn,Cn,i2,C+,Cn,rn] 16 691(2870): * * * 731 * 691 ( *, *) ( *, *) (714, *) ( *, *) ( *, *) ( *, *) [Cn,Cn,i2,C+,Cn,rn] 16 692(2871): * * * 732 * 692 ( *, *) (713, *) ( *, *) ( *, *) ( *, *) ( *, *) [Cn,i2,Cn,C+,Cn,rn] 16 693(2871): * * * 733 * 693 ( *, *) (714, *) ( *, *) ( *, *) ( *, *) ( *, *) [Cn,i2,Cn,C+,Cn,rn] 16 694(2879): * * * 666 * 743 ( *, *) (715, *) ( *, *) ( *, *) ( *, *) ( *, *) [Cn,i2,Cn,C-,Cn,C+] 16 695(2880): * * * 667 * 744 (715, *) ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) [i2,Cn,Cn,C-,Cn,C+] 16 696(2884): * * * 736 * 697 ( *, *) (720, *) ( *, *) ( *, *) ( *, *) (727, *) [Cn,i2,Cn,C+,Cn,i2] 16 697(2884): * * * 737 * 696 ( *, *) (721, *) ( *, *) ( *, *) ( *, *) (727, *) [Cn,i2,Cn,C+,Cn,i2] 16 698(2885): * * * 738 * 699 (720, *) ( *, *) ( *, *) ( *, *) ( *, *) (728, *) [i2,Cn,Cn,C+,Cn,i2] 16 699(2885): * * * 739 * 698 (721, *) ( *, *) ( *, *) ( *, *) ( *, *) (728, *) [i2,Cn,Cn,C+,Cn,i2] 16 700(2888): * * * 734 * 701 (674, *) ( *, *) ( *, *) ( *, *) ( *, *) (729, *) [r1,Cn,Cn,C+,Cn,i2] 16 701(2888): * * * 735 * 700 (675, *) ( *, *) ( *, *) ( *, *) ( *, *) (729, *) [r1,Cn,Cn,C+,Cn,i2] 16 702(2889): * * * 740 * 746 (723, *) ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) [i1,Cn,Cn,C+,Cn,C+] 16 703(2890): * * * 741 * 745 (722, *) ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) [i1,Cn,Cn,C+,Cn,C+] 16 704(2899): * * * 743 * 666 ( *, *) (724, *) ( *, *) ( *, *) (727, *) ( *, *) [Cn,i2,Cn,C+,i2,C-] 16 705(2900): * * * 744 * 667 (724, *) ( *, *) ( *, *) ( *, *) (728, *) ( *, *) [i2,Cn,Cn,C+,i2,C-] 16 706(2903): * * * 673 * 668 ( *, *) (725, *) ( *, *) ( *, *) (732, *) ( *, *) [Cn,i1,Cn,C-,i1,C-] 16 707(2904): * * * 672 * 669 ( *, *) (726, *) ( *, *) ( *, *) (733, *) ( *, *) [Cn,i1,Cn,C-,i1,C-] 16 708(2905): * * * 742 * 708 (729, *) ( *, *) ( *, *) ( *, *) ( *, *) (675,674) [i2,Cn,Cn,C+,Cn,r1] 16 709(2909): * * * 674 * 710 (734, *) ( *, *) (738, *) ( *, *) (741, *) (742, *) [i1,Cn,i1,C-,i1,i1] 16 710(2910): * * * 675 * 709 (735, *) ( *, *) (739, *) ( *, *) (740, *) (742, *) [i1,Cn,i1,C-,i1,i1] 16 711(2914): * * * 711 * 676 ( *, *) ( *, *) (686, *) ( *, *) ( *, *) ( *, *) [Cn,Cn,r1,rn,Cn,C-] 17 712(2914): * * * 712 * 677 ( *, *) ( *, *) (687, *) ( *, *) ( *, *) ( *, *) [Cn,Cn,r1,rn,Cn,C-] 17 713(2915): * * * 750 * 713 ( *, *) (692, *) (690, *) ( *, *) ( *, *) ( *, *) [Cn,r1,r1,C+,Cn,rn] 17 714(2915): * * * 751 * 714 ( *, *) (693, *) (691, *) ( *, *) ( *, *) ( *, *) [Cn,r1,r1,C+,Cn,rn] 17 715(2917): * * * 681 * 763 (695, *) (694, *) ( *, *) ( *, *) ( *, *) ( *, *) [r1,r1,Cn,C-,Cn,C+] 17 716(2920): * * * 756 * 764 ( *, *) (747, *) ( *, *) ( *, *) ( *, *) ( *, *) [Cn,i2,Cn,C+,Cn,C+] 17 717(2920): * * * 757 * 765 ( *, *) (748, *) ( *, *) ( *, *) ( *, *) ( *, *) [Cn,i2,Cn,C+,Cn,C+] 17 718(2921): * * * 758 * 766 (747, *) ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) [i2,Cn,Cn,C+,Cn,C+] 17 719(2921): * * * 759 * 767 (748, *) ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) [i2,Cn,Cn,C+,Cn,C+] 17 720(2922): * * * 752 * 721 (698, *) (696, *) ( *, *) ( *, *) ( *, *) (749, *) [r1,r1,Cn,C+,Cn,i2] 17 721(2922): * * * 753 * 720 (699, *) (697, *) ( *, *) ( *, *) ( *, *) (749, *) [r1,r1,Cn,C+,Cn,i2] 17 722(2924): * * * 754 * 768 (703, *) ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) [r1,Cn,Cn,C+,Cn,C+] 17 723(2924): * * * 755 * 769 (702, *) ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) [r1,Cn,Cn,C+,Cn,C+] 17 724(2930): * * * 763 * 681 (705, *) (704, *) ( *, *) ( *, *) (749, *) ( *, *) [r1,r1,Cn,C+,i2,C-] 17 725(2935): * * * 688 * 682 ( *, *) (706, *) ( *, *) ( *, *) (750, *) ( *, *) [Cn,r1,Cn,C-,i2,C-] 17 726(2935): * * * 689 * 683 ( *, *) (707, *) ( *, *) ( *, *) (751, *) ( *, *) [Cn,r1,Cn,C-,i2,C-] 17 727(2936): * * * 761 * 727 ( *, *) (749, *) ( *, *) ( *, *) (704, *) (696,697) [Cn,i2,Cn,C+,r1,r2] 17 728(2937): * * * 762 * 728 (749, *) ( *, *) ( *, *) ( *, *) (705, *) (698,699) [i2,Cn,Cn,C+,r1,r2] 17 729(2938): * * * 760 * 729 (708, *) ( *, *) ( *, *) ( *, *) ( *, *) (700,701) [r1,Cn,Cn,C+,Cn,r2] 17 730(2942): * * * 690 * 730 ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) [Cn,Cn,Cn,C-,Cn,rn] 17 731(2942): * * * 691 * 731 ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) [Cn,Cn,Cn,C-,Cn,rn] 17 732(2943): * * * 692 * 732 ( *, *) (750, *) ( *, *) ( *, *) (706, *) ( *, *) [Cn,i2,Cn,C-,r1,rn] 17 733(2943): * * * 693 * 733 ( *, *) (751, *) ( *, *) ( *, *) (707, *) ( *, *) [Cn,i2,Cn,C-,r1,rn] 17 734(2944): * * * 700 * 735 (709, *) ( *, *) (752, *) ( *, *) (754, *) (760, *) [r1,Cn,i2,C-,i1,i2] 17 735(2944): * * * 701 * 734 (710, *) ( *, *) (753, *) ( *, *) (755, *) (760, *) [r1,Cn,i2,C-,i1,i2] 17 736(2947): * * * 696 * 737 ( *, *) (752, *) ( *, *) ( *, *) (756, *) (761, *) [Cn,i2,Cn,C-,i1,i2] 17 737(2947): * * * 697 * 736 ( *, *) (753, *) ( *, *) ( *, *) (757, *) (761, *) [Cn,i2,Cn,C-,i1,i2] 17 738(2949): * * * 698 * 739 (752, *) ( *, *) (709, *) ( *, *) (758, *) (762, *) [i2,Cn,r1,C-,i1,i2] 17 739(2949): * * * 699 * 738 (753, *) ( *, *) (710, *) ( *, *) (759, *) (762, *) [i2,Cn,r1,C-,i1,i2] 17 740(2950): * * * 702 * 772 (755, *) ( *, *) (759, *) ( *, *) (710, *) ( *, *) [i1,Cn,i1,C-,r1,C+] 17 741(2951): * * * 703 * 773 (754, *) ( *, *) (758, *) ( *, *) (709, *) ( *, *) [i1,Cn,i1,C-,r1,C+] 17 742(2956): * * * 708 * 742 (760, *) ( *, *) (762, *) ( *, *) ( *, *) (710,709) [i2,Cn,i2,C-,Cn,r1] 17 743(2957): * * * 704 * 694 ( *, *) (763, *) ( *, *) ( *, *) ( *, *) ( *, *) [Cn,i2,Cn,C-,Cn,C-] 17 744(2958): * * * 705 * 695 (763, *) ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) [i2,Cn,Cn,C-,Cn,C-] 17 745(2961): * * * 773 * 703 (768, *) ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) [i1,Cn,Cn,C+,Cn,C-] 17 746(2962): * * * 772 * 702 (769, *) ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) [i1,Cn,Cn,C+,Cn,C-] 17 747(2963): * * * 774 * 777 (718, *) (716, *) ( *, *) ( *, *) ( *, *) ( *, *) [r1,r1,Cn,C+,Cn,C+] 18 748(2963): * * * 775 * 778 (719, *) (717, *) ( *, *) ( *, *) ( *, *) ( *, *) [r1,r1,Cn,C+,Cn,C+] 18 749(2965): * * * 776 * 749 (728, *) (727, *) ( *, *) ( *, *) (724, *) (720,721) [r1,r1,Cn,C+,r1,r2] 18 750(2967): * * * 713 * 750 ( *, *) (732, *) ( *, *) ( *, *) (725, *) ( *, *) [Cn,r1,Cn,C-,r1,rn] 18 751(2967): * * * 714 * 751 ( *, *) (733, *) ( *, *) ( *, *) (726, *) ( *, *) [Cn,r1,Cn,C-,r1,rn] 18 752(2968): * * * 720 * 753 (738, *) (736, *) (734, *) ( *, *) (774, *) (776, *) [r1,r1,r1,C-,i1,i2] 18 753(2968): * * * 721 * 752 (739, *) (737, *) (735, *) ( *, *) (775, *) (776, *) [r1,r1,r1,C-,i1,i2] 18 754(2970): * * * 722 * 781 (741, *) ( *, *) (774, *) ( *, *) (734, *) ( *, *) [r1,Cn,i2,C-,r1,C+] 18 755(2970): * * * 723 * 782 (740, *) ( *, *) (775, *) ( *, *) (735, *) ( *, *) [r1,Cn,i2,C-,r1,C+] 18 756(2971): * * * 716 * 783 ( *, *) (774, *) ( *, *) ( *, *) (736, *) ( *, *) [Cn,i2,Cn,C-,r1,C+] 18 757(2971): * * * 717 * 784 ( *, *) (775, *) ( *, *) ( *, *) (737, *) ( *, *) [Cn,i2,Cn,C-,r1,C+] 18 758(2972): * * * 718 * 785 (774, *) ( *, *) (741, *) ( *, *) (738, *) ( *, *) [i2,Cn,r1,C-,r1,C+] 18 759(2972): * * * 719 * 786 (775, *) ( *, *) (740, *) ( *, *) (739, *) ( *, *) [i2,Cn,r1,C-,r1,C+] 18 760(2976): * * * 729 * 760 (742, *) ( *, *) (776, *) ( *, *) ( *, *) (734,735) [r1,Cn,i2,C-,Cn,r2] 18 761(2977): * * * 727 * 761 ( *, *) (776, *) ( *, *) ( *, *) ( *, *) (736,737) [Cn,i2,Cn,C-,Cn,r2] 18 762(2978): * * * 728 * 762 (776, *) ( *, *) (742, *) ( *, *) ( *, *) (738,739) [i2,Cn,r1,C-,Cn,r2] 18 763(2979): * * * 724 * 715 (744, *) (743, *) ( *, *) ( *, *) ( *, *) ( *, *) [r1,r1,Cn,C-,Cn,C-] 18 764(2980): * * * 783 * 716 ( *, *) (777, *) ( *, *) ( *, *) ( *, *) ( *, *) [Cn,i2,Cn,C+,Cn,C-] 18 765(2980): * * * 784 * 717 ( *, *) (778, *) ( *, *) ( *, *) ( *, *) ( *, *) [Cn,i2,Cn,C+,Cn,C-] 18 766(2981): * * * 785 * 718 (777, *) ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) [i2,Cn,Cn,C+,Cn,C-] 18 767(2981): * * * 786 * 719 (778, *) ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) [i2,Cn,Cn,C+,Cn,C-] 18 768(2984): * * * 781 * 722 (745, *) ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) [r1,Cn,Cn,C+,Cn,C-] 18 769(2984): * * * 782 * 723 (746, *) ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) [r1,Cn,Cn,C+,Cn,C-] 18 770(2985): * * * 787 * 770 (779, *) ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) [i2,Cn,Cn,C+,Cn,rn] 18 771(2985): * * * 788 * 771 (780, *) ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) [i2,Cn,Cn,C+,Cn,rn] 18 772(2992): * * * 746 * 740 (782, *) ( *, *) (786, *) ( *, *) (788, *) ( *, *) [i1,Cn,i1,C-,i1,C-] 18 773(2993): * * * 745 * 741 (781, *) ( *, *) (785, *) ( *, *) (787, *) ( *, *) [i1,Cn,i1,C-,i1,C-] 18 774(2994): * * * 747 * 789 (758, *) (756, *) (754, *) ( *, *) (752, *) ( *, *) [r1,r1,r1,C-,r1,C+] 19 775(2994): * * * 748 * 790 (759, *) (757, *) (755, *) ( *, *) (753, *) ( *, *) [r1,r1,r1,C-,r1,C+] 19 776(2995): * * * 749 * 776 (762, *) (761, *) (760, *) ( *, *) ( *, *) (752,753) [r1,r1,r1,C-,Cn,r2] 19 777(2996): * * * 789 * 747 (766, *) (764, *) ( *, *) ( *, *) ( *, *) ( *, *) [r1,r1,Cn,C+,Cn,C-] 19 778(2996): * * * 790 * 748 (767, *) (765, *) ( *, *) ( *, *) ( *, *) ( *, *) [r1,r1,Cn,C+,Cn,C-] 19 779(2997): * * * 791 * 779 (770, *) ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) [r1,Cn,Cn,C+,Cn,rn] 19 780(2997): * * * 792 * 780 (771, *) ( *, *) ( *, *) ( *, *) ( *, *) ( *, *) [r1,Cn,Cn,C+,Cn,rn] 19 781(3004): * * * 768 * 754 (773, *) ( *, *) (789, *) ( *, *) (791, *) ( *, *) [r1,Cn,i2,C-,i2,C-] 19 782(3004): * * * 769 * 755 (772, *) ( *, *) (790, *) ( *, *) (792, *) ( *, *) [r1,Cn,i2,C-,i2,C-] 19 783(3005): * * * 764 * 756 ( *, *) (789, *) ( *, *) ( *, *) (793, *) ( *, *) [Cn,i2,Cn,C-,i2,C-] 19 784(3005): * * * 765 * 757 ( *, *) (790, *) ( *, *) ( *, *) (794, *) ( *, *) [Cn,i2,Cn,C-,i2,C-] 19 785(3006): * * * 766 * 758 (789, *) ( *, *) (773, *) ( *, *) (795, *) ( *, *) [i2,Cn,r1,C-,i2,C-] 19 786(3006): * * * 767 * 759 (790, *) ( *, *) (772, *) ( *, *) (796, *) ( *, *) [i2,Cn,r1,C-,i2,C-] 19 787(3009): * * * 770 * 787 (791, *) ( *, *) (795, *) ( *, *) (773, *) ( *, *) [i2,Cn,i2,C-,r1,rn] 19 788(3009): * * * 771 * 788 (792, *) ( *, *) (796, *) ( *, *) (772, *) ( *, *) [i2,Cn,i2,C-,r1,rn] 19 789(3011): * * * 777 * 774 (785, *) (783, *) (781, *) ( *, *) (797, *) ( *, *) [r1,r1,r1,C-,i2,C-] 20 790(3011): * * * 778 * 775 (786, *) (784, *) (782, *) ( *, *) (798, *) ( *, *) [r1,r1,r1,C-,i2,C-] 20 791(3013): * * * 779 * 791 (787, *) ( *, *) (797, *) ( *, *) (781, *) ( *, *) [r1,Cn,i2,C-,r1,rn] 20 792(3013): * * * 780 * 792 (788, *) ( *, *) (798, *) ( *, *) (782, *) ( *, *) [r1,Cn,i2,C-,r1,rn] 20 793(3014): * * * 793 * 793 ( *, *) (797, *) ( *, *) ( *, *) (783, *) ( *, *) [Cn,i2,Cn,rn,r1,rn] 20 794(3014): * * * 794 * 794 ( *, *) (798, *) ( *, *) ( *, *) (784, *) ( *, *) [Cn,i2,Cn,rn,r1,rn] 20 795(3015): * * * 795 * 795 (797, *) ( *, *) (787, *) ( *, *) (785, *) ( *, *) [i2,Cn,r1,rn,r1,rn] 20 796(3015): * * * 796 * 796 (798, *) ( *, *) (788, *) ( *, *) (786, *) ( *, *) [i2,Cn,r1,rn,r1,rn] 20 797(3016): * * * 797 * 797 (795, *) (793, *) (791, *) ( *, *) (789, *) ( *, *) [r1,r1,r1,rn,r1,rn] 21 798(3016): * * * 798 * 798 (796, *) (794, *) (792, *) ( *, *) (790, *) ( *, *) [r1,r1,r1,rn,r1,rn] 21