For now, we consider only those infinitesimal characters that are symmetric i.e., in the usual coordinates, two coordinates are integral and two coordinates are (strictly) half-integral.
See the spin page for an explanation of the output below.
0( 0): * 0 0 0 ( 6, *) ( *, *) ( *, *) ( *, *) [i1,ic,ic,ic] 0 1( 5): * 1 1 3 ( 9, *) ( *, *) ( *, *) ( 4, *) [i1,ic,ic,i1] 0 2( 6): * 2 3 2 ( 8, *) ( *, *) ( 5, *) ( *, *) [i1,ic,i1,ic] 0 3( 8): * 3 2 1 ( 7, *) ( *, *) ( 5, *) ( 4, *) [i1,ic,i1,i1] 0 4( 13): * 4 12 4 ( 10, *) ( *, *) ( *, *) ( 3, 1) [i1,ic,C+,r1] 1 5( 17): * 13 5 12 ( 11, *) ( *, *) ( 3, 2) ( *, *) [i1,C+,r1,C+] 1 6( 22): * 14 6 6 ( 0, *) ( *, *) ( *, *) ( *, *) [r1,C+,ic,ic] 1 7( 23): * 16 8 9 ( 3, *) ( *, *) ( 11, *) ( 10, *) [r1,C+,i1,i1] 1 8( 24): * 15 7 8 ( 2, *) ( *, *) ( 11, *) ( *, *) [r1,C+,i1,ic] 1 9( 25): * 17 9 7 ( 1, *) ( *, *) ( *, *) ( 10, *) [r1,C+,ic,i1] 1 10( 27): * 20 19 10 ( 4, *) ( *, *) ( *, *) ( 9, 7) [r1,C+,C+,r1] 2 11( 28): * 18 11 19 ( 5, *) ( *, *) ( 8, 7) ( *, *) [r1,C+,r1,C+] 2 12( 30): * 21 4 5 ( 19, *) ( *, *) ( *, *) ( *, *) [i1,C+,C-,C-] 2 13( 38): * 5 13 21 ( *, *) ( *, *) ( *, *) ( *, *) [Cn,C-,ic,C+] 2 14( 39): * 6 24 14 ( *, *) ( *, *) ( *, *) ( *, *) [Cn,C-,C+,ic] 2 15( 40): * 8 22 15 ( *, *) ( *, *) ( *, *) ( *, *) [Cn,C-,C+,ic] 2 16( 41): * 7 25 17 ( *, *) ( *, *) ( *, *) ( 20, *) [Cn,C-,C+,i1] 2 17( 42): * 9 23 16 ( *, *) ( *, *) ( *, *) ( 20, *) [Cn,C-,C+,i1] 2 18( 46): * 11 27 28 ( *, *) ( *, *) ( *, *) ( *, *) [Cn,C-,C+,C+] 3 19( 47): * 28 10 11 ( 12, *) ( *, *) ( *, *) ( *, *) [r1,C+,C-,C-] 3 20( 48): * 10 29 20 ( *, *) ( *, *) ( *, *) ( 17, 16) [Cn,C-,C+,r1] 3 21( 54): * 12 34 13 ( *, *) ( *, *) ( *, *) ( *, *) [Cn,C-,C+,C-] 3 22( 56): * 36 15 42 ( *, *) ( *, *) ( *, *) ( *, *) [Cn,C+,C-,C+] 3 23( 57): * 38 17 41 ( *, *) ( *, *) ( *, *) ( *, *) [Cn,C+,C-,C+] 3 24( 58): * 35 14 39 ( *, *) ( *, *) ( *, *) ( *, *) [Cn,C+,C-,C+] 3 25( 59): * 37 16 40 ( *, *) ( *, *) ( *, *) ( *, *) [Cn,C+,C-,C+] 3 26( 61): * 26 26 43 ( *, *) ( *, *) ( 32, 33) ( *, *) [Cn,ic,i2,C+] 3 27( 64): * 47 18 44 ( *, *) ( *, *) ( *, *) ( *, *) [Cn,C+,C-,C+] 4 28( 68): * 19 45 18 ( *, *) ( *, *) ( *, *) ( *, *) [Cn,C-,C+,C-] 4 29( 69): * 46 20 48 ( *, *) ( *, *) ( *, *) ( *, *) [Cn,C+,C-,C+] 4 30( 70): * 54 30 51 ( *, *) ( *, *) ( *, *) ( *, *) [Cn,C+,rn,C+] 4 31( 70): * 55 31 52 ( *, *) ( *, *) ( *, *) ( *, *) [Cn,C+,rn,C+] 4 32( 71): * 56 33 49 ( *, *) ( *, *) ( 26, *) ( *, *) [Cn,C+,r2,C+] 4 33( 71): * 57 32 50 ( *, *) ( *, *) ( 26, *) ( *, *) [Cn,C+,r2,C+] 4 34( 74): * 34 21 34 ( *, *) ( *, *) ( *, *) ( *, *) [Cn,ic,C-,ic] 4 35( 76): * 24 35 61 ( 56, *) ( *, *) ( *, *) ( *, *) [i1,C-,ic,C+] 4 36( 77): * 22 37 58 ( 55, *) ( *, *) ( 47, *) ( *, *) [i1,C-,i1,C+] 4 37( 78): * 25 36 60 ( 54, *) ( *, *) ( 47, *) ( *, *) [i1,C-,i1,C+] 4 38( 79): * 23 38 59 ( 57, *) ( *, *) ( *, *) ( *, *) [i1,C-,ic,C+] 4 39( 80): * 61 39 24 ( *, *) ( *, *) ( *, *) ( *, *) [Cn,C+,ic,C-] 4 40( 81): * 60 41 25 ( *, *) ( *, *) ( 48, *) ( *, *) [Cn,C+,i1,C-] 4 41( 82): * 59 40 23 ( *, *) ( *, *) ( 48, *) ( *, *) [Cn,C+,i1,C-] 4 42( 83): * 58 42 22 ( *, *) ( *, *) ( *, *) ( *, *) [Cn,C+,ic,C-] 4 43( 84): * 43 62 26 ( *, *) ( *, *) ( *, *) ( *, *) [Cn,ic,C+,C-] 4 44( 87): * 66 64 27 ( *, *) ( *, *) ( *, *) ( *, *) [Cn,C+,C+,C-] 5 45( 90): * 65 28 64 ( *, *) ( *, *) ( *, *) ( *, *) [Cn,C+,C-,C+] 5 46( 93): * 29 65 67 ( *, *) ( *, *) ( *, *) ( *, *) [Cn,C-,C+,C+] 5 47( 94): * 27 47 66 ( 63, *) ( *, *) ( 37, 36) ( *, *) [i2,C-,r1,C+] 5 48( 95): * 67 48 29 ( *, *) ( *, *) ( 41, 40) ( *, *) [Cn,C+,r1,C-] 5 49( 96): * 76 71 32 ( *, *) ( *, *) ( *, *) ( *, *) [Cn,C+,C+,C-] 5 50( 96): * 77 70 33 ( *, *) ( *, *) ( *, *) ( *, *) [Cn,C+,C+,C-] 5 51( 97): * 74 69 30 ( *, *) ( *, *) ( *, *) ( *, *) [Cn,C+,C+,C-] 5 52( 97): * 75 68 31 ( *, *) ( *, *) ( *, *) ( *, *) [Cn,C+,C+,C-] 5 53( 98): * 78 73 72 ( *, *) ( *, *) ( *, *) ( *, *) [Cn,C+,C+,C+] 5 54(101): * 30 55 74 ( 37, *) ( *, *) ( 63, *) ( *, *) [r1,C-,i2,C+] 5 55(101): * 31 54 75 ( 36, *) ( *, *) ( 63, *) ( *, *) [r1,C-,i2,C+] 5 56(102): * 32 56 76 ( 35, *) ( *, *) ( *, *) ( *, *) [r1,C-,ic,C+] 5 57(102): * 33 57 77 ( 38, *) ( *, *) ( *, *) ( *, *) [r1,C-,ic,C+] 5 58(103): * 42 79 36 ( 75, *) ( *, *) ( *, *) ( *, *) [i1,C-,C+,C-] 5 59(104): * 41 80 38 ( 77, *) ( *, *) ( *, *) ( *, *) [i1,C-,C+,C-] 5 60(105): * 40 81 37 ( 74, *) ( *, *) ( *, *) ( *, *) [i1,C-,C+,C-] 5 61(106): * 39 82 35 ( 76, *) ( *, *) ( *, *) ( *, *) [i1,C-,C+,C-] 5 62(108): * 83 43 62 ( *, *) ( *, *) ( *, *) ( 70, 71) [Cn,C+,C-,i2] 5 63(111): * 63 63 88 ( 47, *) ( *, *) ( 54, 55) ( *, *) [r1,rn,r2,C+] 6 64(112): * 91 44 45 ( *, *) ( *, *) ( *, *) ( *, *) [Cn,C+,C-,C-] 6 65(113): * 45 46 91 ( *, *) ( *, *) ( *, *) ( *, *) [Cn,C-,C-,C+] 6 66(114): * 44 89 47 ( 88, *) ( *, *) ( *, *) ( *, *) [i2,C-,C+,C-] 6 67(115): * 48 90 46 ( *, *) ( *, *) ( *, *) ( *, *) [Cn,C-,C+,C-] 6 68(116): * 92 52 68 ( *, *) ( *, *) ( *, *) ( *, *) [Cn,C+,C-,rn] 6 69(116): * 93 51 69 ( *, *) ( *, *) ( *, *) ( *, *) [Cn,C+,C-,rn] 6 70(117): * 94 50 71 ( *, *) ( *, *) ( *, *) ( 62, *) [Cn,C+,C-,r2] 6 71(117): * 95 49 70 ( *, *) ( *, *) ( *, *) ( 62, *) [Cn,C+,C-,r2] 6 72(120): * 101 72 53 ( *, *) ( *, *) ( 84, 85) ( *, *) [Cn,C+,i2,C-] 6 73(121): * 102 53 73 ( *, *) ( *, *) ( *, *) ( 87, 85) [Cn,C+,C-,i2] 6 74(122): * 51 97 54 ( 60, *) ( *, *) ( *, *) ( *, *) [r1,C-,C+,C-] 6 75(122): * 52 96 55 ( 58, *) ( *, *) ( *, *) ( *, *) [r1,C-,C+,C-] 6 76(123): * 49 99 56 ( 61, *) ( *, *) ( *, *) ( *, *) [r1,C-,C+,C-] 6 77(123): * 50 98 57 ( 59, *) ( *, *) ( *, *) ( *, *) [r1,C-,C+,C-] 6 78(124): * 53 100 101 ( *, *) ( *, *) ( *, *) ( *, *) [Cn,C-,C+,C+] 6 79(125): * 104 58 81 ( 96, *) ( *, *) ( *, *) ( 89, *) [i1,C+,C-,i1] 6 80(126): * 105 59 80 ( 98, *) ( *, *) ( *, *) ( *, *) [i1,C+,C-,ic] 6 81(127): * 106 60 79 ( 97, *) ( *, *) ( *, *) ( 89, *) [i1,C+,C-,i1] 6 82(128): * 107 61 82 ( 99, *) ( *, *) ( *, *) ( *, *) [i1,C+,C-,ic] 6 83(130): * 62 103 83 (102, *) ( *, *) ( *, *) ( 94, 95) [i1,C-,C+,i2] 6 84(132): * 109 85 84 ( *, *) ( *, *) ( 72, *) ( *, *) [Cn,C+,r2,rn] 7 85(132): * 110 84 87 ( *, *) ( *, *) ( 72, *) ( 73, *) [Cn,C+,r2,r2] 7 86(132): * 111 86 86 ( *, *) ( *, *) ( *, *) ( *, *) [Cn,C+,rn,rn] 7 87(132): * 112 87 85 ( *, *) ( *, *) ( *, *) ( 73, *) [Cn,C+,rn,r2] 7 88(133): * 88 108 63 ( 66, *) ( *, *) ( *, *) ( *, *) [r1,rn,C+,C-] 7 89(134): * 118 66 89 (108, *) ( *, *) ( *, *) ( 81, 79) [i2,C+,C-,r1] 7 90(135): * 119 67 113 ( *, *) ( *, *) ( *, *) ( *, *) [Cn,C+,C-,C+] 7 91(136): * 64 113 65 ( *, *) ( *, *) ( *, *) ( *, *) [Cn,C-,C+,C-] 7 92(137): * 68 115 92 (109, *) ( *, *) ( *, *) ( *, *) [i1,C-,C+,rn] 7 93(137): * 69 114 93 (111, *) ( *, *) ( *, *) ( *, *) [i1,C-,C+,rn] 7 94(138): * 70 117 95 (112, *) ( *, *) ( *, *) ( 83, *) [i1,C-,C+,r2] 7 95(138): * 71 116 94 (110, *) ( *, *) ( *, *) ( 83, *) [i1,C-,C+,r2] 7 96(141): * 122 75 97 ( 79, *) ( *, *) ( *, *) (108, *) [r1,C+,C-,i2] 7 97(141): * 123 74 96 ( 81, *) ( *, *) ( *, *) (108, *) [r1,C+,C-,i2] 7 98(142): * 120 77 98 ( 80, *) ( *, *) ( *, *) ( *, *) [r1,C+,C-,ic] 7 99(142): * 121 76 99 ( 82, *) ( *, *) ( *, *) ( *, *) [r1,C+,C-,ic] 7 100(143): * 127 78 126 ( *, *) ( *, *) ( *, *) ( *, *) [Cn,C+,C-,C+] 7 101(144): * 72 124 78 ( *, *) ( *, *) ( *, *) ( *, *) [Cn,C-,C+,C-] 7 102(145): * 73 125 102 ( 83, *) ( *, *) ( *, *) (112,110) [r1,C-,C+,i2] 7 103(147): * 103 83 128 (125, *) ( *, *) ( *, *) ( *, *) [i1,ic,C-,C+] 7 104(149): * 79 104 106 ( *, *) ( *, *) ( *, *) (118, *) [Cn,C-,ic,i1] 7 105(150): * 80 106 105 ( *, *) ( *, *) (119, *) ( *, *) [Cn,C-,i1,ic] 7 106(151): * 81 105 104 ( *, *) ( *, *) (119, *) (118, *) [Cn,C-,i1,i1] 7 107(152): * 82 107 107 ( *, *) ( *, *) ( *, *) ( *, *) [Cn,C-,ic,ic] 7 108(153): * 129 88 108 ( 89, *) ( *, *) ( *, *) ( 96, 97) [r1,C+,C-,r2] 8 109(154): * 84 133 109 ( 92, *) ( *, *) ( *, *) ( *, *) [r1,C-,C+,rn] 8 110(154): * 85 130 112 ( 95, *) ( *, *) ( *, *) (102, *) [r1,C-,C+,r2] 8 111(154): * 86 132 111 ( 93, *) ( *, *) ( *, *) ( *, *) [r1,C-,C+,rn] 8 112(154): * 87 131 110 ( 94, *) ( *, *) ( *, *) (102, *) [r1,C-,C+,r2] 8 113(155): * 138 91 90 ( *, *) ( *, *) ( *, *) ( *, *) [Cn,C+,C-,C-] 8 114(156): * 139 93 134 (132, *) ( *, *) ( *, *) ( *, *) [i1,C+,C-,C+] 8 115(156): * 140 92 135 (133, *) ( *, *) ( *, *) ( *, *) [i1,C+,C-,C+] 8 116(157): * 141 95 136 (130, *) ( *, *) ( *, *) ( *, *) [i1,C+,C-,C+] 8 117(157): * 142 94 137 (131, *) ( *, *) ( *, *) ( *, *) [i1,C+,C-,C+] 8 118(158): * 89 138 118 ( *, *) ( *, *) ( *, *) (106,104) [Cn,C-,C+,r1] 8 119(159): * 90 119 138 ( *, *) ( *, *) (106,105) ( *, *) [Cn,C-,r1,C+] 8 120(162): * 98 142 120 ( *, *) ( *, *) ( *, *) ( *, *) [Cn,C-,C+,ic] 8 121(162): * 99 141 121 ( *, *) ( *, *) ( *, *) ( *, *) [Cn,C-,C+,ic] 8 122(163): * 96 140 123 ( *, *) ( *, *) ( *, *) (129, *) [Cn,C-,C+,i2] 8 123(163): * 97 139 122 ( *, *) ( *, *) ( *, *) (129, *) [Cn,C-,C+,i2] 8 124(164): * 143 101 145 ( *, *) ( *, *) ( *, *) ( *, *) [Cn,C+,C-,C+] 8 125(165): * 147 102 144 (103, *) ( *, *) ( *, *) ( *, *) [r1,C+,C-,C+] 8 126(166): * 146 145 100 ( *, *) ( *, *) ( *, *) ( *, *) [Cn,C+,C+,C-] 8 127(167): * 100 147 146 ( *, *) ( *, *) ( *, *) ( *, *) [Cn,C-,C+,C+] 8 128(170): * 128 128 103 (144, *) ( *, *) (136,137) ( *, *) [i1,ic,i2,C-] 8 129(175): * 108 148 129 ( *, *) ( *, *) ( *, *) (122,123) [Cn,C-,C+,r2] 9 130(176): * 149 110 153 (116, *) ( *, *) ( *, *) ( *, *) [r1,C+,C-,C+] 9 131(176): * 151 112 154 (117, *) ( *, *) ( *, *) ( *, *) [r1,C+,C-,C+] 9 132(176): * 152 111 155 (114, *) ( *, *) ( *, *) ( *, *) [r1,C+,C-,C+] 9 133(176): * 150 109 156 (115, *) ( *, *) ( *, *) ( *, *) [r1,C+,C-,C+] 9 134(177): * 158 134 114 (155, *) ( *, *) ( *, *) ( *, *) [i1,C+,rn,C-] 9 135(177): * 159 135 115 (156, *) ( *, *) ( *, *) ( *, *) [i1,C+,rn,C-] 9 136(178): * 160 137 116 (153, *) ( *, *) (128, *) ( *, *) [i1,C+,r2,C-] 9 137(178): * 161 136 117 (154, *) ( *, *) (128, *) ( *, *) [i1,C+,r2,C-] 9 138(181): * 113 118 119 ( *, *) ( *, *) ( *, *) ( *, *) [Cn,C-,C-,C-] 9 139(182): * 114 123 158 ( *, *) ( *, *) ( *, *) ( *, *) [Cn,C-,C-,C+] 9 140(182): * 115 122 159 ( *, *) ( *, *) ( *, *) ( *, *) [Cn,C-,C-,C+] 9 141(183): * 116 121 160 ( *, *) ( *, *) ( *, *) ( *, *) [Cn,C-,C-,C+] 9 142(183): * 117 120 161 ( *, *) ( *, *) ( *, *) ( *, *) [Cn,C-,C-,C+] 9 143(184): * 124 143 162 ( *, *) ( *, *) (149,150) ( *, *) [Cn,C-,i2,C+] 9 144(185): * 164 144 125 (128, *) ( *, *) (153,154) ( *, *) [r1,C+,i2,C-] 9 145(186): * 162 126 124 ( *, *) ( *, *) ( *, *) ( *, *) [Cn,C+,C-,C-] 9 146(189): * 126 163 127 ( *, *) ( *, *) ( *, *) ( *, *) [Cn,C-,C+,C-] 9 147(192): * 125 127 164 ( *, *) ( *, *) ( *, *) ( *, *) [Cn,C-,C-,C+] 9 148(193): * 148 129 165 ( *, *) ( *, *) ( *, *) ( *, *) [Cn,rn,C-,C+] 10 149(194): * 130 150 166 ( *, *) ( *, *) (143, *) ( *, *) [Cn,C-,r2,C+] 10 150(194): * 133 149 169 ( *, *) ( *, *) (143, *) ( *, *) [Cn,C-,r2,C+] 10 151(194): * 131 151 167 ( *, *) ( *, *) ( *, *) ( *, *) [Cn,C-,rn,C+] 10 152(194): * 132 152 168 ( *, *) ( *, *) ( *, *) ( *, *) [Cn,C-,rn,C+] 10 153(195): * 166 154 130 (136, *) ( *, *) (144, *) ( *, *) [r1,C+,r2,C-] 10 154(195): * 167 153 131 (137, *) ( *, *) (144, *) ( *, *) [r1,C+,r2,C-] 10 155(195): * 168 155 132 (134, *) ( *, *) ( *, *) ( *, *) [r1,C+,rn,C-] 10 156(195): * 169 156 133 (135, *) ( *, *) ( *, *) ( *, *) [r1,C+,rn,C-] 10 157(196): * 157 170 157 ( *, *) ( *, *) ( *, *) ( *, *) [Cn,rn,C+,rn] 10 158(198): * 134 159 139 ( *, *) ( *, *) (165, *) ( *, *) [Cn,C-,i2,C-] 10 159(198): * 135 158 140 ( *, *) ( *, *) (165, *) ( *, *) [Cn,C-,i2,C-] 10 160(199): * 136 160 141 ( *, *) ( *, *) ( *, *) ( *, *) [Cn,C-,ic,C-] 10 161(199): * 137 161 142 ( *, *) ( *, *) ( *, *) ( *, *) [Cn,C-,ic,C-] 10 162(200): * 145 171 143 ( *, *) ( *, *) ( *, *) ( *, *) [Cn,C-,C+,C-] 10 163(201): * 172 146 173 ( *, *) ( *, *) ( *, *) ( *, *) [Cn,C+,C-,C+] 10 164(205): * 144 173 147 ( *, *) ( *, *) ( *, *) ( *, *) [Cn,C-,C+,C-] 10 165(207): * 165 165 148 ( *, *) ( *, *) (158,159) ( *, *) [Cn,rn,r2,C-] 11 166(208): * 153 175 149 ( *, *) ( *, *) ( *, *) ( *, *) [Cn,C-,C+,C-] 11 167(208): * 154 174 151 ( *, *) ( *, *) ( *, *) ( *, *) [Cn,C-,C+,C-] 11 168(208): * 155 177 152 ( *, *) ( *, *) ( *, *) ( *, *) [Cn,C-,C+,C-] 11 169(208): * 156 176 150 ( *, *) ( *, *) ( *, *) ( *, *) [Cn,C-,C+,C-] 11 170(209): * 179 157 178 ( *, *) ( *, *) ( *, *) ( *, *) [Cn,C+,C-,C+] 11 171(211): * 181 162 171 ( *, *) ( *, *) ( *, *) (175,176) [Cn,C+,C-,i2] 11 172(212): * 163 181 180 (179, *) ( *, *) ( *, *) ( *, *) [i2,C-,C+,C+] 11 173(213): * 180 164 163 ( *, *) ( *, *) ( *, *) ( *, *) [Cn,C+,C-,C-] 11 174(217): * 182 167 174 ( *, *) ( *, *) ( *, *) ( *, *) [Cn,C+,C-,rn] 12 175(217): * 183 166 176 ( *, *) ( *, *) ( *, *) (171, *) [Cn,C+,C-,r2] 12 176(217): * 184 169 175 ( *, *) ( *, *) ( *, *) (171, *) [Cn,C+,C-,r2] 12 177(217): * 185 168 177 ( *, *) ( *, *) ( *, *) ( *, *) [Cn,C+,C-,rn] 12 178(218): * 186 178 170 ( *, *) ( *, *) ( *, *) ( *, *) [Cn,C+,rn,C-] 12 179(220): * 170 187 186 (172, *) ( *, *) ( *, *) ( *, *) [r1,C-,C+,C+] 12 180(221): * 173 180 172 (186, *) ( *, *) (182,183) ( *, *) [i2,C-,i2,C-] 12 181(222): * 171 172 181 (187, *) ( *, *) ( *, *) (183,184) [i2,C-,C-,i2] 12 182(224): * 174 183 182 (188, *) ( *, *) (180, *) ( *, *) [i2,C-,r2,rn] 13 183(224): * 175 182 184 (189, *) ( *, *) (180, *) (181, *) [i2,C-,r2,r2] 13 184(224): * 176 184 183 (191, *) ( *, *) ( *, *) (181, *) [i2,C-,rn,r2] 13 185(224): * 177 185 185 (190, *) ( *, *) ( *, *) ( *, *) [i2,C-,rn,rn] 13 186(226): * 178 186 179 (180, *) ( *, *) (188,189) ( *, *) [r1,C-,i2,C-] 13 187(227): * 187 179 187 (181, *) ( *, *) ( *, *) (191,189) [r1,rn,C-,i2] 13 188(228): * 188 189 188 (182, *) ( *, *) (186, *) ( *, *) [r1,rn,r2,rn] 14 189(228): * 189 188 191 (183, *) ( *, *) (186, *) (187, *) [r1,rn,r2,r2] 14 190(228): * 190 190 190 (185, *) ( *, *) ( *, *) ( *, *) [r1,rn,rn,rn] 14 191(228): * 191 191 189 (184, *) ( *, *) ( *, *) (187, *) [r1,rn,rn,r2] 14
0( 1): * * 0 0 ( 10, *) ( 8, *) ( *, *) ( *, *) [i1,i1,ic,ic] 0 1( 7): * * 3 2 ( 11, *) ( 9, *) ( 5, *) ( 4, *) [i1,i1,i1,i1] 0 2( 10): * * 2 1 ( 13, *) ( 7, *) ( *, *) ( 4, *) [i1,i1,ic,i1] 0 3( 11): * * 1 3 ( 12, *) ( 6, *) ( 5, *) ( *, *) [i1,i1,i1,ic] 0 4( 12): * * 17 4 ( 15, *) ( 14, *) ( *, *) ( 2, 1) [i1,i1,C+,r1] 1 5( 16): * * 5 17 ( 16, *) ( *, *) ( 3, 1) ( *, *) [i1,Cn,r1,C+] 1 6( 18): * * 21 6 ( *, *) ( 3, *) ( *, *) ( *, *) [Cn,r1,C+,ic] 1 7( 19): * * 19 9 ( *, *) ( 2, *) ( *, *) ( 14, *) [Cn,r1,C+,i1] 1 8( 20): * * 18 8 ( *, *) ( 0, *) ( *, *) ( *, *) [Cn,r1,C+,ic] 1 9( 21): * * 20 7 ( *, *) ( 1, *) ( *, *) ( 14, *) [Cn,r1,C+,i1] 1 10( 22): * * 10 10 ( 0, *) ( *, *) ( *, *) ( *, *) [r1,Cn,ic,ic] 1 11( 23): * * 12 13 ( 1, *) ( *, *) ( 16, *) ( 15, *) [r1,Cn,i1,i1] 1 12( 24): * * 11 12 ( 3, *) ( *, *) ( 16, *) ( *, *) [r1,Cn,i1,ic] 1 13( 25): * * 13 11 ( 2, *) ( *, *) ( *, *) ( 15, *) [r1,Cn,ic,i1] 1 14( 26): * * 23 14 ( *, *) ( 4, *) ( *, *) ( 9, 7) [Cn,r1,C+,r1] 2 15( 27): * * 28 15 ( 4, *) ( *, *) ( *, *) ( 13, 11) [r1,Cn,C+,r1] 2 16( 28): * * 16 28 ( 5, *) ( *, *) ( 12, 11) ( *, *) [r1,Cn,r1,C+] 2 17( 29): * * 4 5 ( 28, *) ( *, *) ( *, *) ( *, *) [i1,Cn,C-,C-] 2 18( 32): * * 8 29 ( *, *) ( 24, *) ( *, *) ( *, *) [Cn,i1,C-,C+] 2 19( 33): * * 7 30 ( *, *) ( 25, *) ( *, *) ( *, *) [Cn,i1,C-,C+] 2 20( 34): * * 9 32 ( *, *) ( 26, *) ( *, *) ( *, *) [Cn,i1,C-,C+] 2 21( 35): * * 6 31 ( *, *) ( 27, *) ( *, *) ( *, *) [Cn,i1,C-,C+] 2 22( 37): * * 22 33 ( *, *) ( *, *) ( 24, 25) ( *, *) [Cn,Cn,i2,C+] 2 23( 43): * * 14 35 ( *, *) ( *, *) ( *, *) ( *, *) [Cn,Cn,C-,C+] 3 24( 44): * * 25 36 ( *, *) ( 18, *) ( 22, *) ( *, *) [Cn,r1,r2,C+] 3 25( 44): * * 24 37 ( *, *) ( 19, *) ( 22, *) ( *, *) [Cn,r1,r2,C+] 3 26( 45): * * 26 38 ( *, *) ( 20, *) ( *, *) ( *, *) [Cn,r1,rn,C+] 3 27( 45): * * 27 39 ( *, *) ( 21, *) ( *, *) ( *, *) [Cn,r1,rn,C+] 3 28( 47): * * 15 16 ( 17, *) ( *, *) ( *, *) ( *, *) [r1,Cn,C-,C-] 3 29( 49): * * 29 18 ( *, *) ( 36, *) ( *, *) ( *, *) [Cn,i1,ic,C-] 3 30( 50): * * 32 19 ( *, *) ( 37, *) ( 35, *) ( *, *) [Cn,i1,i1,C-] 3 31( 51): * * 31 21 ( *, *) ( 39, *) ( *, *) ( *, *) [Cn,i1,ic,C-] 3 32( 52): * * 30 20 ( *, *) ( 38, *) ( 35, *) ( *, *) [Cn,i1,i1,C-] 3 33( 53): * * 42 22 ( *, *) ( *, *) ( *, *) ( *, *) [Cn,Cn,C+,C-] 3 34( 60): * * 34 47 ( *, *) ( 41, *) ( *, *) ( *, *) [Cn,i1,ic,C+] 3 35( 63): * * 35 23 ( *, *) ( *, *) ( 32, 30) ( *, *) [Cn,Cn,r1,C-] 4 36( 65): * * 49 24 ( *, *) ( 29, *) ( *, *) ( *, *) [Cn,r1,C+,C-] 4 37( 65): * * 48 25 ( *, *) ( 30, *) ( *, *) ( *, *) [Cn,r1,C+,C-] 4 38( 66): * * 51 26 ( *, *) ( 32, *) ( *, *) ( *, *) [Cn,r1,C+,C-] 4 39( 66): * * 50 27 ( *, *) ( 31, *) ( *, *) ( *, *) [Cn,r1,C+,C-] 4 40( 67): * * 53 52 ( *, *) ( *, *) ( *, *) ( *, *) [Cn,Cn,C+,C+] 4 41( 72): * * 56 57 ( *, *) ( 34, *) ( *, *) ( *, *) [Cn,r1,C+,C+] 4 42( 75): * * 33 42 ( *, *) ( 53, *) ( *, *) ( 48, 49) [Cn,i1,C-,i2] 4 43( 76): * * 43 65 ( 61, *) ( *, *) ( *, *) ( *, *) [i1,Cn,ic,C+] 4 44( 77): * * 45 62 ( 58, *) ( *, *) ( 55, *) ( *, *) [i1,Cn,i1,C+] 4 45( 78): * * 44 64 ( 59, *) ( *, *) ( 55, *) ( *, *) [i1,Cn,i1,C+] 4 46( 79): * * 46 63 ( 60, *) ( *, *) ( *, *) ( *, *) [i1,Cn,ic,C+] 4 47( 86): * * 66 34 ( *, *) ( 57, *) ( *, *) ( *, *) [Cn,i1,C+,C-] 4 48( 88): * * 37 49 ( *, *) ( 70, *) ( *, *) ( 42, *) [Cn,i1,C-,r2] 5 49( 88): * * 36 48 ( *, *) ( 68, *) ( *, *) ( 42, *) [Cn,i1,C-,r2] 5 50( 89): * * 39 50 ( *, *) ( 67, *) ( *, *) ( *, *) [Cn,i1,C-,rn] 5 51( 89): * * 38 51 ( *, *) ( 69, *) ( *, *) ( *, *) [Cn,i1,C-,rn] 5 52( 91): * * 52 40 ( *, *) ( *, *) ( 67, 68) ( *, *) [Cn,Cn,i2,C-] 5 53( 92): * * 40 53 ( *, *) ( 42, *) ( *, *) ( 70, 68) [Cn,r1,C-,i2] 5 54( 93): * * 72 74 ( *, *) ( *, *) ( *, *) ( *, *) [Cn,Cn,C+,C+] 5 55( 94): * * 55 73 ( 71, *) ( *, *) ( 45, 44) ( *, *) [i2,Cn,r1,C+] 5 56( 99): * * 41 76 ( *, *) ( 71, *) ( *, *) ( *, *) [Cn,i2,C-,C+] 5 57(100): * * 75 41 ( *, *) ( 47, *) ( *, *) ( *, *) [Cn,r1,C+,C-] 5 58(101): * * 59 77 ( 44, *) ( *, *) ( 71, *) ( *, *) [r1,Cn,i2,C+] 5 59(101): * * 58 78 ( 45, *) ( *, *) ( 71, *) ( *, *) [r1,Cn,i2,C+] 5 60(102): * * 60 79 ( 46, *) ( *, *) ( *, *) ( *, *) [r1,Cn,ic,C+] 5 61(102): * * 61 80 ( 43, *) ( *, *) ( *, *) ( *, *) [r1,Cn,ic,C+] 5 62(103): * * 82 44 ( 77, *) ( *, *) ( *, *) ( *, *) [i1,Cn,C+,C-] 5 63(104): * * 83 46 ( 79, *) ( *, *) ( *, *) ( *, *) [i1,Cn,C+,C-] 5 64(105): * * 84 45 ( 78, *) ( *, *) ( *, *) ( *, *) [i1,Cn,C+,C-] 5 65(106): * * 85 43 ( 80, *) ( *, *) ( *, *) ( *, *) [i1,Cn,C+,C-] 5 66(107): * * 47 66 ( *, *) ( *, *) ( *, *) ( *, *) [Cn,Cn,C-,ic] 5 67(110): * * 68 67 ( *, *) ( 50, *) ( 52, *) ( *, *) [Cn,r1,r2,rn] 6 68(110): * * 67 70 ( *, *) ( 49, *) ( 52, *) ( 53, *) [Cn,r1,r2,r2] 6 69(110): * * 69 69 ( *, *) ( 51, *) ( *, *) ( *, *) [Cn,r1,rn,rn] 6 70(110): * * 70 68 ( *, *) ( 48, *) ( *, *) ( 53, *) [Cn,r1,rn,r2] 6 71(111): * * 71 87 ( 55, *) ( 56, *) ( 58, 59) ( *, *) [r1,r1,r2,C+] 6 72(113): * * 54 90 ( *, *) ( *, *) ( *, *) ( *, *) [Cn,Cn,C-,C+] 6 73(114): * * 88 55 ( 87, *) ( *, *) ( *, *) ( *, *) [i2,Cn,C+,C-] 6 74(115): * * 89 54 ( *, *) ( *, *) ( *, *) ( *, *) [Cn,Cn,C+,C-] 6 75(118): * * 57 96 ( *, *) ( *, *) ( *, *) ( *, *) [Cn,Cn,C-,C+] 6 76(119): * * 96 56 ( *, *) ( 87, *) ( *, *) ( *, *) [Cn,i2,C+,C-] 6 77(122): * * 98 58 ( 62, *) ( *, *) ( *, *) ( *, *) [r1,Cn,C+,C-] 6 78(122): * * 97 59 ( 64, *) ( *, *) ( *, *) ( *, *) [r1,Cn,C+,C-] 6 79(123): * * 100 60 ( 63, *) ( *, *) ( *, *) ( *, *) [r1,Cn,C+,C-] 6 80(123): * * 99 61 ( 65, *) ( *, *) ( *, *) ( *, *) [r1,Cn,C+,C-] 6 81(124): * * 101 102 ( *, *) ( *, *) ( *, *) ( *, *) [Cn,Cn,C+,C+] 6 82(125): * * 62 84 ( 98, *) ( *, *) ( *, *) ( 88, *) [i1,Cn,C-,i1] 6 83(126): * * 63 83 (100, *) ( *, *) ( *, *) ( *, *) [i1,Cn,C-,ic] 6 84(127): * * 64 82 ( 97, *) ( *, *) ( *, *) ( 88, *) [i1,Cn,C-,i1] 6 85(128): * * 65 85 ( 99, *) ( *, *) ( *, *) ( *, *) [i1,Cn,C-,ic] 6 86(131): * * 104 86 (103, *) ( *, *) ( *, *) ( 91, 92) [i1,Cn,C+,i2] 6 87(133): * * 105 71 ( 73, *) ( 76, *) ( *, *) ( *, *) [r1,r1,C+,C-] 7 88(134): * * 73 88 (105, *) ( *, *) ( *, *) ( 84, 82) [i2,Cn,C-,r1] 7 89(135): * * 74 110 ( *, *) ( *, *) ( *, *) ( *, *) [Cn,Cn,C-,C+] 7 90(136): * * 110 72 ( *, *) ( *, *) ( *, *) ( *, *) [Cn,Cn,C+,C-] 7 91(137): * * 112 92 (109, *) ( *, *) ( *, *) ( 86, *) [i1,Cn,C+,r2] 7 92(137): * * 111 91 (107, *) ( *, *) ( *, *) ( 86, *) [i1,Cn,C+,r2] 7 93(138): * * 114 93 (106, *) ( *, *) ( *, *) ( *, *) [i1,Cn,C+,rn] 7 94(138): * * 113 94 (108, *) ( *, *) ( *, *) ( *, *) [i1,Cn,C+,rn] 7 95(139): * * 115 116 ( *, *) ( *, *) ( *, *) ( *, *) [Cn,Cn,C+,C+] 7 96(140): * * 76 75 ( *, *) ( *, *) ( *, *) ( *, *) [Cn,Cn,C-,C-] 7 97(141): * * 78 98 ( 84, *) ( *, *) ( *, *) (105, *) [r1,Cn,C-,i2] 7 98(141): * * 77 97 ( 82, *) ( *, *) ( *, *) (105, *) [r1,Cn,C-,i2] 7 99(142): * * 80 99 ( 85, *) ( *, *) ( *, *) ( *, *) [r1,Cn,C-,ic] 7 100(142): * * 79 100 ( 83, *) ( *, *) ( *, *) ( *, *) [r1,Cn,C-,ic] 7 101(143): * * 81 119 ( *, *) ( *, *) ( *, *) ( *, *) [Cn,Cn,C-,C+] 7 102(144): * * 117 81 ( *, *) ( *, *) ( *, *) ( *, *) [Cn,Cn,C+,C-] 7 103(145): * * 118 103 ( 86, *) ( *, *) ( *, *) (109,107) [r1,Cn,C+,i2] 7 104(148): * * 86 120 (118, *) (115, *) ( *, *) ( *, *) [i1,i1,C-,C+] 7 105(153): * * 87 105 ( 88, *) ( *, *) ( *, *) ( 97, 98) [r1,Cn,C-,r2] 8 106(154): * * 129 106 ( 93, *) ( *, *) ( *, *) ( *, *) [r1,Cn,C+,rn] 8 107(154): * * 126 109 ( 92, *) ( *, *) ( *, *) (103, *) [r1,Cn,C+,r2] 8 108(154): * * 128 108 ( 94, *) ( *, *) ( *, *) ( *, *) [r1,Cn,C+,rn] 8 109(154): * * 127 107 ( 91, *) ( *, *) ( *, *) (103, *) [r1,Cn,C+,r2] 8 110(155): * * 90 89 ( *, *) ( *, *) ( *, *) ( *, *) [Cn,Cn,C-,C-] 8 111(156): * * 92 130 (126, *) ( *, *) ( *, *) ( *, *) [i1,Cn,C-,C+] 8 112(156): * * 91 131 (127, *) ( *, *) ( *, *) ( *, *) [i1,Cn,C-,C+] 8 113(157): * * 94 132 (128, *) ( *, *) ( *, *) ( *, *) [i1,Cn,C-,C+] 8 114(157): * * 93 133 (129, *) ( *, *) ( *, *) ( *, *) [i1,Cn,C-,C+] 8 115(160): * * 95 135 ( *, *) (104, *) ( *, *) ( *, *) [Cn,r1,C-,C+] 8 116(161): * * 134 95 ( *, *) ( *, *) ( *, *) ( *, *) [Cn,Cn,C+,C-] 8 117(164): * * 102 137 ( *, *) ( *, *) ( *, *) ( *, *) [Cn,Cn,C-,C+] 8 118(165): * * 103 136 (104, *) ( *, *) ( *, *) ( *, *) [r1,Cn,C-,C+] 8 119(166): * * 137 101 ( *, *) ( *, *) ( *, *) ( *, *) [Cn,Cn,C+,C-] 8 120(168): * * 120 104 (136, *) (135, *) (130,131) ( *, *) [i1,i1,i2,C-] 8 121(171): * * 121 123 ( *, *) (140, *) ( *, *) (138, *) [Cn,i1,ic,i1] 8 122(172): * * 123 122 ( *, *) (142, *) (139, *) ( *, *) [Cn,i1,i1,ic] 8 123(173): * * 122 121 ( *, *) (141, *) (139, *) (138, *) [Cn,i1,i1,i1] 8 124(174): * * 124 124 ( *, *) (143, *) ( *, *) ( *, *) [Cn,i1,ic,ic] 8 125(175): * * 144 125 ( *, *) ( *, *) ( *, *) ( *, *) [Cn,Cn,C+,rn] 9 126(176): * * 107 145 (111, *) ( *, *) ( *, *) ( *, *) [r1,Cn,C-,C+] 9 127(176): * * 109 146 (112, *) ( *, *) ( *, *) ( *, *) [r1,Cn,C-,C+] 9 128(176): * * 108 147 (113, *) ( *, *) ( *, *) ( *, *) [r1,Cn,C-,C+] 9 129(176): * * 106 148 (114, *) ( *, *) ( *, *) ( *, *) [r1,Cn,C-,C+] 9 130(177): * * 131 111 (145, *) ( *, *) (120, *) ( *, *) [i1,Cn,r2,C-] 9 131(177): * * 130 112 (146, *) ( *, *) (120, *) ( *, *) [i1,Cn,r2,C-] 9 132(178): * * 132 113 (147, *) ( *, *) ( *, *) ( *, *) [i1,Cn,rn,C-] 9 133(178): * * 133 114 (148, *) ( *, *) ( *, *) ( *, *) [i1,Cn,rn,C-] 9 134(179): * * 116 150 ( *, *) (144, *) ( *, *) ( *, *) [Cn,i2,C-,C+] 9 135(180): * * 150 115 ( *, *) (120, *) ( *, *) ( *, *) [Cn,r1,C+,C-] 9 136(185): * * 136 118 (120, *) ( *, *) (145,146) ( *, *) [r1,Cn,i2,C-] 9 137(186): * * 119 117 ( *, *) ( *, *) ( *, *) ( *, *) [Cn,Cn,C-,C-] 9 138(187): * * 151 138 ( *, *) (149, *) ( *, *) (123,121) [Cn,i2,C+,r1] 9 139(188): * * 139 151 ( *, *) ( *, *) (123,122) ( *, *) [Cn,Cn,r1,C+] 9 140(190): * * 153 141 ( *, *) (121, *) ( *, *) (149, *) [Cn,r1,C+,i2] 9 141(190): * * 152 140 ( *, *) (123, *) ( *, *) (149, *) [Cn,r1,C+,i2] 9 142(191): * * 155 142 ( *, *) (122, *) ( *, *) ( *, *) [Cn,r1,C+,ic] 9 143(191): * * 154 143 ( *, *) (124, *) ( *, *) ( *, *) [Cn,r1,C+,ic] 9 144(193): * * 125 157 ( *, *) (134, *) ( *, *) ( *, *) [Cn,r1,C-,C+] 10 145(195): * * 146 126 (130, *) ( *, *) (136, *) ( *, *) [r1,Cn,r2,C-] 10 146(195): * * 145 127 (131, *) ( *, *) (136, *) ( *, *) [r1,Cn,r2,C-] 10 147(195): * * 147 128 (132, *) ( *, *) ( *, *) ( *, *) [r1,Cn,rn,C-] 10 148(195): * * 148 129 (133, *) ( *, *) ( *, *) ( *, *) [r1,Cn,rn,C-] 10 149(196): * * 158 149 ( *, *) (138, *) ( *, *) (140,141) [Cn,r1,C+,r2] 10 150(197): * * 135 134 ( *, *) (157, *) ( *, *) ( *, *) [Cn,i2,C-,C-] 10 151(202): * * 138 139 ( *, *) ( *, *) ( *, *) ( *, *) [Cn,Cn,C-,C-] 10 152(203): * * 141 164 ( *, *) (162, *) ( *, *) ( *, *) [Cn,i1,C-,C+] 10 153(203): * * 140 165 ( *, *) (160, *) ( *, *) ( *, *) [Cn,i1,C-,C+] 10 154(204): * * 143 166 ( *, *) (159, *) ( *, *) ( *, *) [Cn,i1,C-,C+] 10 155(204): * * 142 167 ( *, *) (161, *) ( *, *) ( *, *) [Cn,i1,C-,C+] 10 156(206): * * 156 168 ( *, *) ( *, *) (159,160) ( *, *) [Cn,Cn,i2,C+] 10 157(207): * * 157 144 ( *, *) (150, *) ( *, *) ( *, *) [Cn,r1,rn,C-] 11 158(209): * * 149 169 ( *, *) ( *, *) ( *, *) ( *, *) [Cn,Cn,C-,C+] 11 159(210): * * 160 170 ( *, *) (154, *) (156, *) ( *, *) [Cn,r1,r2,C+] 11 160(210): * * 159 171 ( *, *) (153, *) (156, *) ( *, *) [Cn,r1,r2,C+] 11 161(210): * * 161 172 ( *, *) (155, *) ( *, *) ( *, *) [Cn,r1,rn,C+] 11 162(210): * * 162 173 ( *, *) (152, *) ( *, *) ( *, *) [Cn,r1,rn,C+] 11 163(212): * * 176 175 (174, *) ( *, *) ( *, *) ( *, *) [i2,Cn,C+,C+] 11 164(214): * * 165 152 ( *, *) (173, *) (169, *) ( *, *) [Cn,i1,i2,C-] 11 165(214): * * 164 153 ( *, *) (171, *) (169, *) ( *, *) [Cn,i1,i2,C-] 11 166(215): * * 166 154 ( *, *) (170, *) ( *, *) ( *, *) [Cn,i1,ic,C-] 11 167(215): * * 167 155 ( *, *) (172, *) ( *, *) ( *, *) [Cn,i1,ic,C-] 11 168(216): * * 177 156 ( *, *) ( *, *) ( *, *) ( *, *) [Cn,Cn,C+,C-] 11 169(218): * * 169 158 ( *, *) ( *, *) (164,165) ( *, *) [Cn,Cn,r2,C-] 12 170(219): * * 184 159 ( *, *) (166, *) ( *, *) ( *, *) [Cn,r1,C+,C-] 12 171(219): * * 185 160 ( *, *) (165, *) ( *, *) ( *, *) [Cn,r1,C+,C-] 12 172(219): * * 182 161 ( *, *) (167, *) ( *, *) ( *, *) [Cn,r1,C+,C-] 12 173(219): * * 183 162 ( *, *) (164, *) ( *, *) ( *, *) [Cn,r1,C+,C-] 12 174(220): * * 187 186 (163, *) ( *, *) ( *, *) ( *, *) [r1,Cn,C+,C+] 12 175(221): * * 175 163 (186, *) ( *, *) (178,179) ( *, *) [i2,Cn,i2,C-] 12 176(222): * * 163 176 (187, *) ( *, *) ( *, *) (179,180) [i2,Cn,C-,i2] 12 177(223): * * 168 177 ( *, *) (187, *) ( *, *) (184,185) [Cn,i2,C-,i2] 12 178(224): * * 179 178 (188, *) ( *, *) (175, *) ( *, *) [i2,Cn,r2,rn] 13 179(224): * * 178 180 (189, *) ( *, *) (175, *) (176, *) [i2,Cn,r2,r2] 13 180(224): * * 180 179 (191, *) ( *, *) ( *, *) (176, *) [i2,Cn,rn,r2] 13 181(224): * * 181 181 (190, *) ( *, *) ( *, *) ( *, *) [i2,Cn,rn,rn] 13 182(225): * * 172 182 ( *, *) (188, *) ( *, *) ( *, *) [Cn,i2,C-,rn] 13 183(225): * * 173 183 ( *, *) (190, *) ( *, *) ( *, *) [Cn,i2,C-,rn] 13 184(225): * * 170 185 ( *, *) (189, *) ( *, *) (177, *) [Cn,i2,C-,r2] 13 185(225): * * 171 184 ( *, *) (191, *) ( *, *) (177, *) [Cn,i2,C-,r2] 13 186(226): * * 186 174 (175, *) ( *, *) (188,189) ( *, *) [r1,Cn,i2,C-] 13 187(227): * * 174 187 (176, *) (177, *) ( *, *) (191,189) [r1,r1,C-,i2] 13 188(228): * * 189 188 (178, *) (182, *) (186, *) ( *, *) [r1,r1,r2,rn] 14 189(228): * * 188 191 (179, *) (184, *) (186, *) (187, *) [r1,r1,r2,r2] 14 190(228): * * 190 190 (181, *) (183, *) ( *, *) ( *, *) [r1,r1,rn,rn] 14 191(228): * * 191 189 (180, *) (185, *) ( *, *) (187, *) [r1,r1,rn,r2] 14
0( 2): 0 * 2 0 ( *, *) ( 8, *) ( 5, *) ( *, *) [ic,i1,i1,ic] 0 1( 3): 1 * 1 1 ( *, *) ( 6, *) ( *, *) ( *, *) [ic,i1,ic,ic] 0 2( 4): 2 * 0 3 ( *, *) ( 7, *) ( 5, *) ( 4, *) [ic,i1,i1,i1] 0 3( 9): 3 * 3 2 ( *, *) ( 9, *) ( *, *) ( 4, *) [ic,i1,ic,i1] 0 4( 14): 4 * 11 4 ( *, *) ( 10, *) ( *, *) ( 3, 2) [ic,i1,C+,r1] 1 5( 15): 5 * 5 11 ( *, *) ( *, *) ( 2, 0) ( *, *) [ic,Cn,r1,C+] 1 6( 18): 18 * 15 6 ( *, *) ( 1, *) ( *, *) ( *, *) [C+,r1,C+,ic] 1 7( 19): 20 * 13 9 ( *, *) ( 2, *) ( *, *) ( 10, *) [C+,r1,C+,i1] 1 8( 20): 17 * 12 8 ( *, *) ( 0, *) ( *, *) ( *, *) [C+,r1,C+,ic] 1 9( 21): 19 * 14 7 ( *, *) ( 3, *) ( *, *) ( 10, *) [C+,r1,C+,i1] 1 10( 26): 27 * 21 10 ( *, *) ( 4, *) ( *, *) ( 9, 7) [C+,r1,C+,r1] 2 11( 31): 11 * 4 5 ( *, *) ( *, *) ( *, *) ( *, *) [ic,Cn,C-,C-] 2 12( 32): 35 * 8 28 ( *, *) ( 22, *) ( *, *) ( *, *) [C+,i1,C-,C+] 2 13( 33): 34 * 7 29 ( *, *) ( 23, *) ( *, *) ( *, *) [C+,i1,C-,C+] 2 14( 34): 36 * 9 31 ( *, *) ( 24, *) ( *, *) ( *, *) [C+,i1,C-,C+] 2 15( 35): 33 * 6 30 ( *, *) ( 25, *) ( *, *) ( *, *) [C+,i1,C-,C+] 2 16( 36): 37 * 16 32 ( *, *) ( *, *) ( 24, 25) ( *, *) [C+,Cn,i2,C+] 2 17( 39): 8 * 35 17 ( *, *) ( *, *) ( *, *) ( *, *) [C-,Cn,C+,ic] 2 18( 40): 6 * 33 18 ( *, *) ( *, *) ( *, *) ( *, *) [C-,Cn,C+,ic] 2 19( 41): 9 * 36 20 ( *, *) ( *, *) ( *, *) ( 27, *) [C-,Cn,C+,i1] 2 20( 42): 7 * 34 19 ( *, *) ( *, *) ( *, *) ( 27, *) [C-,Cn,C+,i1] 2 21( 43): 46 * 10 38 ( *, *) ( *, *) ( *, *) ( *, *) [C+,Cn,C-,C+] 3 22( 44): 49 * 22 40 ( *, *) ( 12, *) ( *, *) ( *, *) [C+,r1,rn,C+] 3 23( 44): 50 * 23 41 ( *, *) ( 13, *) ( *, *) ( *, *) [C+,r1,rn,C+] 3 24( 45): 47 * 25 42 ( *, *) ( 14, *) ( 16, *) ( *, *) [C+,r1,r2,C+] 3 25( 45): 48 * 24 43 ( *, *) ( 15, *) ( 16, *) ( *, *) [C+,r1,r2,C+] 3 26( 46): 51 * 39 45 ( *, *) ( *, *) ( *, *) ( *, *) [C+,Cn,C+,C+] 3 27( 48): 10 * 46 27 ( *, *) ( *, *) ( *, *) ( 20, 19) [C-,Cn,C+,r1] 3 28( 49): 53 * 28 12 ( *, *) ( 40, *) ( *, *) ( *, *) [C+,i1,ic,C-] 3 29( 50): 55 * 31 13 ( *, *) ( 41, *) ( 38, *) ( *, *) [C+,i1,i1,C-] 3 30( 51): 56 * 30 15 ( *, *) ( 43, *) ( *, *) ( *, *) [C+,i1,ic,C-] 3 31( 52): 54 * 29 14 ( *, *) ( 42, *) ( 38, *) ( *, *) [C+,i1,i1,C-] 3 32( 55): 57 * 52 16 ( *, *) ( *, *) ( *, *) ( *, *) [C+,Cn,C+,C-] 3 33( 56): 15 * 18 56 ( *, *) ( *, *) ( *, *) ( *, *) [C-,Cn,C-,C+] 3 34( 57): 13 * 20 55 ( *, *) ( *, *) ( *, *) ( *, *) [C-,Cn,C-,C+] 3 35( 58): 12 * 17 53 ( *, *) ( *, *) ( *, *) ( *, *) [C-,Cn,C-,C+] 3 36( 59): 14 * 19 54 ( *, *) ( *, *) ( *, *) ( *, *) [C-,Cn,C-,C+] 3 37( 62): 16 * 37 57 ( *, *) ( 51, *) ( 47, 48) ( *, *) [C-,i1,i2,C+] 3 38( 63): 66 * 38 21 ( *, *) ( *, *) ( 31, 29) ( *, *) [C+,Cn,r1,C-] 4 39( 64): 72 * 26 58 ( *, *) ( *, *) ( *, *) ( *, *) [C+,Cn,C-,C+] 4 40( 65): 67 * 59 22 ( *, *) ( 28, *) ( *, *) ( *, *) [C+,r1,C+,C-] 4 41( 65): 68 * 60 23 ( *, *) ( 29, *) ( *, *) ( *, *) [C+,r1,C+,C-] 4 42( 66): 69 * 61 24 ( *, *) ( 31, *) ( *, *) ( *, *) [C+,r1,C+,C-] 4 43( 66): 70 * 62 25 ( *, *) ( 30, *) ( *, *) ( *, *) [C+,r1,C+,C-] 4 44( 67): 71 * 65 64 ( *, *) ( *, *) ( *, *) ( *, *) [C+,Cn,C+,C+] 4 45( 68): 73 * 63 26 ( *, *) ( *, *) ( *, *) ( *, *) [C+,Cn,C+,C-] 4 46( 69): 21 * 27 66 ( *, *) ( *, *) ( *, *) ( *, *) [C-,Cn,C-,C+] 4 47( 70): 24 * 48 69 ( *, *) ( *, *) ( 37, *) ( *, *) [C-,Cn,r2,C+] 4 48( 70): 25 * 47 70 ( *, *) ( *, *) ( 37, *) ( *, *) [C-,Cn,r2,C+] 4 49( 71): 22 * 49 67 ( *, *) ( *, *) ( *, *) ( *, *) [C-,Cn,rn,C+] 4 50( 71): 23 * 50 68 ( *, *) ( *, *) ( *, *) ( *, *) [C-,Cn,rn,C+] 4 51( 72): 26 * 72 73 ( *, *) ( 37, *) ( *, *) ( *, *) [C-,r1,C+,C+] 4 52( 73): 74 * 32 52 ( *, *) ( 65, *) ( *, *) ( 61, 62) [C+,i1,C-,i2] 4 53( 80): 28 * 53 35 ( *, *) ( *, *) ( *, *) ( *, *) [C-,Cn,ic,C-] 4 54( 81): 31 * 55 36 ( *, *) ( *, *) ( 66, *) ( *, *) [C-,Cn,i1,C-] 4 55( 82): 29 * 54 34 ( *, *) ( *, *) ( 66, *) ( *, *) [C-,Cn,i1,C-] 4 56( 83): 30 * 56 33 ( *, *) ( *, *) ( *, *) ( *, *) [C-,Cn,ic,C-] 4 57( 85): 32 * 74 37 ( *, *) ( 73, *) ( *, *) ( *, *) [C-,i1,C+,C-] 4 58( 87): 86 * 80 39 ( *, *) ( *, *) ( *, *) ( *, *) [C+,Cn,C+,C-] 5 59( 88): 83 * 40 59 ( *, *) ( 78, *) ( *, *) ( *, *) [C+,i1,C-,rn] 5 60( 88): 84 * 41 60 ( *, *) ( 76, *) ( *, *) ( *, *) [C+,i1,C-,rn] 5 61( 89): 81 * 42 62 ( *, *) ( 75, *) ( *, *) ( 52, *) [C+,i1,C-,r2] 5 62( 89): 82 * 43 61 ( *, *) ( 77, *) ( *, *) ( 52, *) [C+,i1,C-,r2] 5 63( 90): 85 * 45 80 ( *, *) ( *, *) ( *, *) ( *, *) [C+,Cn,C-,C+] 5 64( 91): 87 * 64 44 ( *, *) ( *, *) ( 77, 78) ( *, *) [C+,Cn,i2,C-] 5 65( 92): 88 * 44 65 ( *, *) ( 52, *) ( *, *) ( 75, 77) [C+,r1,C-,i2] 5 66( 95): 38 * 66 46 ( *, *) ( *, *) ( 55, 54) ( *, *) [C-,Cn,r1,C-] 5 67( 96): 40 * 83 49 ( *, *) ( *, *) ( *, *) ( *, *) [C-,Cn,C+,C-] 5 68( 96): 41 * 84 50 ( *, *) ( *, *) ( *, *) ( *, *) [C-,Cn,C+,C-] 5 69( 97): 42 * 81 47 ( *, *) ( *, *) ( *, *) ( *, *) [C-,Cn,C+,C-] 5 70( 97): 43 * 82 48 ( *, *) ( *, *) ( *, *) ( *, *) [C-,Cn,C+,C-] 5 71( 98): 44 * 88 87 ( *, *) ( *, *) ( *, *) ( *, *) [C-,Cn,C+,C+] 5 72( 99): 39 * 51 86 ( *, *) ( 79, *) ( *, *) ( *, *) [C-,i2,C-,C+] 5 73(100): 45 * 85 51 ( *, *) ( 57, *) ( *, *) ( *, *) [C-,r1,C+,C-] 5 74(109): 52 * 57 74 ( *, *) ( *, *) ( *, *) ( 81, 82) [C-,Cn,C-,i2] 5 75(110): 90 * 75 77 ( *, *) ( 61, *) ( *, *) ( 65, *) [C+,r1,rn,r2] 6 76(110): 91 * 76 76 ( *, *) ( 60, *) ( *, *) ( *, *) [C+,r1,rn,rn] 6 77(110): 92 * 78 75 ( *, *) ( 62, *) ( 64, *) ( 65, *) [C+,r1,r2,r2] 6 78(110): 93 * 77 78 ( *, *) ( 59, *) ( 64, *) ( *, *) [C+,r1,r2,rn] 6 79(111): 79 * 79 94 ( *, *) ( 72, *) ( *, *) ( *, *) [rn,r1,rn,C+] 6 80(112): 96 * 58 63 ( *, *) ( *, *) ( *, *) ( *, *) [C+,Cn,C-,C-] 6 81(116): 61 * 69 82 ( *, *) ( *, *) ( *, *) ( 74, *) [C-,Cn,C-,r2] 6 82(116): 62 * 70 81 ( *, *) ( *, *) ( *, *) ( 74, *) [C-,Cn,C-,r2] 6 83(117): 59 * 67 83 ( *, *) ( *, *) ( *, *) ( *, *) [C-,Cn,C-,rn] 6 84(117): 60 * 68 84 ( *, *) ( *, *) ( *, *) ( *, *) [C-,Cn,C-,rn] 6 85(118): 63 * 73 96 ( *, *) ( *, *) ( *, *) ( *, *) [C-,Cn,C-,C+] 6 86(119): 58 * 96 72 ( *, *) ( 94, *) ( *, *) ( *, *) [C-,i2,C+,C-] 6 87(120): 64 * 87 71 ( *, *) ( *, *) ( 92, 93) ( *, *) [C-,Cn,i2,C-] 6 88(121): 65 * 71 88 ( *, *) ( *, *) ( *, *) ( 90, 92) [C-,Cn,C-,i2] 6 89(129): 89 * 97 89 ( *, *) ( *, *) ( *, *) ( *, *) [ic,Cn,C+,ic] 6 90(132): 75 * 90 92 ( *, *) ( *, *) ( *, *) ( 88, *) [C-,Cn,rn,r2] 7 91(132): 76 * 91 91 ( *, *) ( *, *) ( *, *) ( *, *) [C-,Cn,rn,rn] 7 92(132): 77 * 93 90 ( *, *) ( *, *) ( 87, *) ( 88, *) [C-,Cn,r2,r2] 7 93(132): 78 * 92 93 ( *, *) ( *, *) ( 87, *) ( *, *) [C-,Cn,r2,rn] 7 94(133): 94 * 102 79 ( *, *) ( 86, *) ( *, *) ( *, *) [rn,r1,C+,C-] 7 95(139): 111 * 105 106 ( *, *) ( *, *) ( *, *) ( *, *) [C+,Cn,C+,C+] 7 96(140): 80 * 86 85 ( *, *) ( *, *) ( *, *) ( *, *) [C-,Cn,C-,C-] 7 97(146): 97 * 89 112 ( *, *) (105, *) ( *, *) ( *, *) [ic,i1,C-,C+] 7 98(149): 113 * 98 100 ( *, *) ( *, *) ( *, *) (103, *) [C+,Cn,ic,i1] 7 99(150): 114 * 100 99 ( *, *) ( *, *) (104, *) ( *, *) [C+,Cn,i1,ic] 7 100(151): 115 * 99 98 ( *, *) ( *, *) (104, *) (103, *) [C+,Cn,i1,i1] 7 101(152): 116 * 101 101 ( *, *) ( *, *) ( *, *) ( *, *) [C+,Cn,ic,ic] 7 102(153): 102 * 94 102 ( *, *) ( *, *) ( *, *) ( *, *) [rn,Cn,C-,rn] 8 103(158): 126 * 120 103 ( *, *) ( *, *) ( *, *) (100, 98) [C+,Cn,C+,r1] 8 104(159): 127 * 104 120 ( *, *) ( *, *) (100, 99) ( *, *) [C+,Cn,r1,C+] 8 105(160): 133 * 95 119 ( *, *) ( 97, *) ( *, *) ( *, *) [C+,r1,C-,C+] 8 106(161): 128 * 118 95 ( *, *) ( *, *) ( *, *) ( *, *) [C+,Cn,C+,C-] 8 107(162): 131 * 123 107 ( *, *) ( *, *) ( *, *) ( *, *) [C+,Cn,C+,ic] 8 108(162): 132 * 124 108 ( *, *) ( *, *) ( *, *) ( *, *) [C+,Cn,C+,ic] 8 109(163): 129 * 121 110 ( *, *) ( *, *) ( *, *) (117, *) [C+,Cn,C+,i2] 8 110(163): 130 * 122 109 ( *, *) ( *, *) ( *, *) (117, *) [C+,Cn,C+,i2] 8 111(167): 95 * 133 128 ( *, *) ( *, *) ( *, *) ( *, *) [C-,Cn,C+,C+] 8 112(169): 112 * 112 97 ( *, *) (119, *) ( *, *) ( *, *) [ic,i1,ic,C-] 8 113(171): 98 * 113 115 ( *, *) (129, *) ( *, *) (126, *) [C-,i1,ic,i1] 8 114(172): 99 * 115 114 ( *, *) (131, *) (127, *) ( *, *) [C-,i1,i1,ic] 8 115(173): 100 * 114 113 ( *, *) (130, *) (127, *) (126, *) [C-,i1,i1,i1] 8 116(174): 101 * 116 116 ( *, *) (132, *) ( *, *) ( *, *) [C-,i1,ic,ic] 8 117(175): 139 * 134 117 ( *, *) ( *, *) ( *, *) (110,109) [C+,Cn,C+,r2] 9 118(179): 146 * 106 140 ( *, *) (134, *) ( *, *) ( *, *) [C+,i2,C-,C+] 9 119(180): 152 * 140 105 ( *, *) (112, *) ( *, *) ( *, *) [C+,r1,C+,C-] 9 120(181): 147 * 103 104 ( *, *) ( *, *) ( *, *) ( *, *) [C+,Cn,C-,C-] 9 121(182): 148 * 109 141 ( *, *) ( *, *) ( *, *) ( *, *) [C+,Cn,C-,C+] 9 122(182): 149 * 110 142 ( *, *) ( *, *) ( *, *) ( *, *) [C+,Cn,C-,C+] 9 123(183): 150 * 107 143 ( *, *) ( *, *) ( *, *) ( *, *) [C+,Cn,C-,C+] 9 124(183): 151 * 108 144 ( *, *) ( *, *) ( *, *) ( *, *) [C+,Cn,C-,C+] 9 125(184): 153 * 125 145 ( *, *) ( *, *) (137,138) ( *, *) [C+,Cn,i2,C+] 9 126(187): 103 * 147 126 ( *, *) (139, *) ( *, *) (115,113) [C-,i2,C+,r1] 9 127(188): 104 * 127 147 ( *, *) ( *, *) (115,114) ( *, *) [C-,Cn,r1,C+] 9 128(189): 106 * 146 111 ( *, *) ( *, *) ( *, *) ( *, *) [C-,Cn,C+,C-] 9 129(190): 109 * 148 130 ( *, *) (113, *) ( *, *) (139, *) [C-,r1,C+,i2] 9 130(190): 110 * 149 129 ( *, *) (115, *) ( *, *) (139, *) [C-,r1,C+,i2] 9 131(191): 107 * 150 131 ( *, *) (114, *) ( *, *) ( *, *) [C-,r1,C+,ic] 9 132(191): 108 * 151 132 ( *, *) (116, *) ( *, *) ( *, *) [C-,r1,C+,ic] 9 133(192): 105 * 111 152 ( *, *) ( *, *) ( *, *) ( *, *) [C-,Cn,C-,C+] 9 134(193): 159 * 117 154 ( *, *) (118, *) ( *, *) ( *, *) [C+,r1,C-,C+] 10 135(194): 160 * 135 157 ( *, *) ( *, *) ( *, *) ( *, *) [C+,Cn,rn,C+] 10 136(194): 161 * 136 156 ( *, *) ( *, *) ( *, *) ( *, *) [C+,Cn,rn,C+] 10 137(194): 162 * 138 158 ( *, *) ( *, *) (125, *) ( *, *) [C+,Cn,r2,C+] 10 138(194): 163 * 137 155 ( *, *) ( *, *) (125, *) ( *, *) [C+,Cn,r2,C+] 10 139(196): 117 * 159 139 ( *, *) (126, *) ( *, *) (130,129) [C-,r1,C+,r2] 10 140(197): 165 * 119 118 ( *, *) (154, *) ( *, *) ( *, *) [C+,i2,C-,C-] 10 141(198): 166 * 142 121 ( *, *) ( *, *) (154, *) ( *, *) [C+,Cn,i2,C-] 10 142(198): 167 * 141 122 ( *, *) ( *, *) (154, *) ( *, *) [C+,Cn,i2,C-] 10 143(199): 168 * 143 123 ( *, *) ( *, *) ( *, *) ( *, *) [C+,Cn,ic,C-] 10 144(199): 169 * 144 124 ( *, *) ( *, *) ( *, *) ( *, *) [C+,Cn,ic,C-] 10 145(200): 170 * 164 125 ( *, *) ( *, *) ( *, *) ( *, *) [C+,Cn,C+,C-] 10 146(201): 118 * 128 165 ( *, *) ( *, *) ( *, *) ( *, *) [C-,Cn,C-,C+] 10 147(202): 120 * 126 127 ( *, *) ( *, *) ( *, *) ( *, *) [C-,Cn,C-,C-] 10 148(203): 121 * 129 166 ( *, *) (163, *) ( *, *) ( *, *) [C-,i1,C-,C+] 10 149(203): 122 * 130 167 ( *, *) (161, *) ( *, *) ( *, *) [C-,i1,C-,C+] 10 150(204): 123 * 131 168 ( *, *) (160, *) ( *, *) ( *, *) [C-,i1,C-,C+] 10 151(204): 124 * 132 169 ( *, *) (162, *) ( *, *) ( *, *) [C-,i1,C-,C+] 10 152(205): 119 * 165 133 ( *, *) ( *, *) ( *, *) ( *, *) [C-,Cn,C+,C-] 10 153(206): 125 * 153 170 ( *, *) ( *, *) (162,163) ( *, *) [C-,Cn,i2,C+] 10 154(207): 175 * 154 134 ( *, *) (140, *) (141,142) ( *, *) [C+,r1,r2,C-] 11 155(208): 176 * 171 138 ( *, *) ( *, *) ( *, *) ( *, *) [C+,Cn,C+,C-] 11 156(208): 178 * 172 136 ( *, *) ( *, *) ( *, *) ( *, *) [C+,Cn,C+,C-] 11 157(208): 179 * 173 135 ( *, *) ( *, *) ( *, *) ( *, *) [C+,Cn,C+,C-] 11 158(208): 177 * 174 137 ( *, *) ( *, *) ( *, *) ( *, *) [C+,Cn,C+,C-] 11 159(209): 134 * 139 175 ( *, *) ( *, *) ( *, *) ( *, *) [C-,Cn,C-,C+] 11 160(210): 135 * 160 179 ( *, *) (150, *) ( *, *) ( *, *) [C-,r1,rn,C+] 11 161(210): 136 * 161 178 ( *, *) (149, *) ( *, *) ( *, *) [C-,r1,rn,C+] 11 162(210): 137 * 163 177 ( *, *) (151, *) (153, *) ( *, *) [C-,r1,r2,C+] 11 163(210): 138 * 162 176 ( *, *) (148, *) (153, *) ( *, *) [C-,r1,r2,C+] 11 164(211): 181 * 145 164 ( *, *) ( *, *) ( *, *) (171,174) [C+,Cn,C-,i2] 11 165(213): 140 * 152 146 ( *, *) ( *, *) ( *, *) ( *, *) [C-,Cn,C-,C-] 11 166(214): 141 * 167 148 ( *, *) (176, *) (175, *) ( *, *) [C-,i1,i2,C-] 11 167(214): 142 * 166 149 ( *, *) (178, *) (175, *) ( *, *) [C-,i1,i2,C-] 11 168(215): 143 * 168 150 ( *, *) (179, *) ( *, *) ( *, *) [C-,i1,ic,C-] 11 169(215): 144 * 169 151 ( *, *) (177, *) ( *, *) ( *, *) [C-,i1,ic,C-] 11 170(216): 145 * 181 153 ( *, *) ( *, *) ( *, *) ( *, *) [C-,Cn,C+,C-] 11 171(217): 182 * 155 174 ( *, *) ( *, *) ( *, *) (164, *) [C+,Cn,C-,r2] 12 172(217): 184 * 156 172 ( *, *) ( *, *) ( *, *) ( *, *) [C+,Cn,C-,rn] 12 173(217): 185 * 157 173 ( *, *) ( *, *) ( *, *) ( *, *) [C+,Cn,C-,rn] 12 174(217): 183 * 158 171 ( *, *) ( *, *) ( *, *) (164, *) [C+,Cn,C-,r2] 12 175(218): 154 * 175 159 ( *, *) ( *, *) (166,167) ( *, *) [C-,Cn,r2,C-] 12 176(219): 155 * 182 163 ( *, *) (166, *) ( *, *) ( *, *) [C-,r1,C+,C-] 12 177(219): 158 * 183 162 ( *, *) (169, *) ( *, *) ( *, *) [C-,r1,C+,C-] 12 178(219): 156 * 184 161 ( *, *) (167, *) ( *, *) ( *, *) [C-,r1,C+,C-] 12 179(219): 157 * 185 160 ( *, *) (168, *) ( *, *) ( *, *) [C-,r1,C+,C-] 12 180(220): 180 * 187 186 ( *, *) ( *, *) ( *, *) ( *, *) [rn,Cn,C+,C+] 12 181(223): 164 * 170 181 ( *, *) (187, *) ( *, *) (182,183) [C-,i2,C-,i2] 12 182(225): 171 * 176 183 ( *, *) (188, *) ( *, *) (181, *) [C-,i2,C-,r2] 13 183(225): 174 * 177 182 ( *, *) (190, *) ( *, *) (181, *) [C-,i2,C-,r2] 13 184(225): 172 * 178 184 ( *, *) (189, *) ( *, *) ( *, *) [C-,i2,C-,rn] 13 185(225): 173 * 179 185 ( *, *) (191, *) ( *, *) ( *, *) [C-,i2,C-,rn] 13 186(226): 186 * 186 180 ( *, *) ( *, *) (190,191) ( *, *) [rn,Cn,i2,C-] 13 187(227): 187 * 180 187 ( *, *) (181, *) ( *, *) (188,190) [rn,r1,C-,i2] 13 188(228): 188 * 188 190 ( *, *) (182, *) ( *, *) (187, *) [rn,r1,rn,r2] 14 189(228): 189 * 189 189 ( *, *) (184, *) ( *, *) ( *, *) [rn,r1,rn,rn] 14 190(228): 190 * 191 188 ( *, *) (183, *) (186, *) (187, *) [rn,r1,r2,r2] 14 191(228): 191 * 190 191 ( *, *) (185, *) (186, *) ( *, *) [rn,r1,r2,rn] 14