1: emptyset -> 1 [ 2] * 2: 1 [ 1] - 3: 2 [ 3] * 4: 3 [ 4] * 5: 3,4 -> 7,8 -> 12,14 -> 16,18,19 -> 21,23 -> 27,28 -> 31,32 -> 33 [855] * 6: 4 [ 5] * 7: 4,5 -> 9,13 -> 16 [ 31] * 8: 4,5,6 -> 9 [ 11] * 9: 4,5,11 -> 20 [ 46] * 10: 4,6 -> 9,12 -> 16,19,20 -> 28,29 -> 32 [690] * 11: 4,11 -> 20 [ 47] * 12: 5 [ 6] * 13: 5,6 -> 9 [ 12] * 14: 5,6,7 -> 9 [ 13] * 15: 5,6,7,8 -> 16,19,20 -> 28,29 -> 32 [684] * 16: 5,6,8 -> 16,19,20 -> 28,29 -> 32 [685] * 17: 5,6,8,10 -> 21,23,26 -> 28 [309] * 18: 5,6,10 -> 15,21 -> 27,28 -> 31,32 -> 33 [828] * 19: 5,6,10,14 -> 21,23,26 -> 28 [310] * 20: 5,6,10,17 -> 21 [ 61] * 21: 5,6,14 -> 16,19 -> 21,23 -> 27,28 -> 31,32 -> 33 [857] * 22: 5,6,17 -> 21 [ 62] * 23: 5,7 -> 9 [ 14] * 24: 5,7,8 -> 16,19,20 -> 28,29 -> 32 [686] * 25: 5,7,8,11 -> 20 [ 48] * 26: 5,7,11 -> 20 [ 49] * 27: 5,8 -> 13,19,20 -> 28,29 -> 32 [675] * 28: 5,8,10 -> 21,23,26 -> 28 [311] * 29: 5,8,10,11 -> 26 [119] * 30: 5,8,11 -> 20 [ 50] * 31: 5,10 -> 15,21 -> 27,28 -> 31,32 -> 33 [829] * 32: 5,10,11 -> 26 [120] * 33: 5,10,11,12 -> 26 [121] * 34: 5,10,11,12,14 -> 26 [122] * 35: 5,10,11,12,17 -> 28 [190] * 36: 5,10,11,14 -> 26 [123] * 37: 5,10,11,17 -> 28 [191] * 38: 5,10,12 -> 21,23,26 -> 28 [312] * 39: 5,10,12,14 -> 21,23,26 -> 28 [313] * 40: 5,10,12,17 -> 21 [ 63] * 41: 5,10,14 -> 21,23,26 -> 28 [314] * 42: 5,10,17 -> 21 [ 64] * 43: 5,11 -> 20 [ 51] * 44: 5,11,12 -> 20 [ 52] * 45: 5,11,12,14 -> 25,26 -> 28 [329] * 46: 5,11,12,17 -> 28 [192] * 47: 5,11,14 -> 25,26 -> 28 [330] * 48: 5,11,17 -> 28 [193] * 49: 5,11,17,18 -> 28 [194] * 50: 5,11,17,22 -> 31,32 -> 33 [724] * 51: 5,11,18 -> 26 [124] * 52: 5,11,22 -> 30,31 -> 33 [712] * 53: 5,12 -> 16,19,20 -> 28,29 -> 32 [687] * 54: 5,12,14 -> 16,19 -> 21,23 -> 27,28 -> 31,32 -> 33 [858] * 55: 5,12,17 -> 21 [ 65] * 56: 5,14 -> 16,19 -> 21,23 -> 27,28 -> 31,32 -> 33 [859] * 57: 5,17 -> 21 [ 66] * 58: 5,17,18 -> 21 [ 67] * 59: 5,17,22 -> 27 [160] * 60: 5,18 -> 21,23,26 -> 28 [315] * 61: 5,22 -> 27,30 -> 32 [626] * 62: 6 [ 7] * 63: 6,7 -> 9,12 -> 16,19,20 -> 28,29 -> 32 [691] * 64: 6,7,8 -> 12 [ 18] * 65: 6,7,13 -> 16 [ 24] * 66: 6,8 -> 12 [ 19] * 67: 6,8,10 -> 18 [ 38] * 68: 6,10 -> 15,18 -> 23,26 -> 28,29 -> 32 [700] * 69: 6,10,13 -> 21,23 -> 27,28 -> 31,32 -> 33 [833] * 70: 6,10,13,14 -> 21,23 -> 27,28 -> 31,32 -> 33 [834] * 71: 6,10,13,17 -> 21 [ 68] * 72: 6,10,14 -> 18 [ 39] * 73: 6,10,17 -> 21 [ 69] * 74: 6,13 -> 16 [ 25] * 75: 6,13,14 -> 16 [ 26] * 76: 6,13,17 -> 21 [ 70] * 77: 6,14 -> 16,18,19 -> 21,23 -> 27,28 -> 31,32 -> 33 [852] * 78: 6,17 -> 21 [ 71] * 79: 7 [ 8] * 80: 7,8 -> 12,14 -> 16,18,19 -> 21,23 -> 27,28 -> 31,32 -> 33 [854] - 81: 7,8,11 -> 20 [ 53] * 82: 7,11 -> 20 [ 54] * 83: 7,11,13 -> 25,29 -> 32 [605] * 84: 7,13 -> 16 [ 27] * 85: 8 [ 9] * 86: 8,9 -> 16,19,20 -> 28,29 -> 32 [688] * 87: 8,9,10 -> 21,23,26 -> 28 [316] * 88: 8,9,10,11 -> 26 [125] * 89: 8,9,11 -> 20 [ 55] * 90: 8,10 -> 18 [ 40] * 91: 8,10,11 -> 26 [126] * 92: 8,11 -> 20 [ 56] * 93: 8,11,15 -> 26 [127] * 94: 8,11,24 -> 29 [337] * 95: 8,15 -> 23,26 -> 28,29 -> 32 [695] * 96: 8,24 -> 29 [338] * 97: 9 [ 10] - 98: 9,10 -> 15,21 -> 27,28 -> 31,32 -> 33 [830] * 99: 9,10,11 -> 26 [128] * 100: 9,10,11,12 -> 26 [129] * 101: 9,10,11,12,13 -> 28,29 -> 32 [632] * 102: 9,10,11,12,13,14 -> 28,29 -> 32 [633] * 103: 9,10,11,12,13,17 -> 28 [195] * 104: 9,10,11,12,14 -> 26 [130] * 105: 9,10,11,12,17 -> 28 [196] * 106: 9,10,11,13 -> 28,29 -> 32 [634] * 107: 9,10,11,13,14 -> 28,29 -> 32 [635] * 108: 9,10,11,13,17 -> 28 [197] * 109: 9,10,11,14 -> 26 [131] * 110: 9,10,11,17 -> 28 [198] * 111: 9,10,12 -> 21,23,26 -> 28 [317] * 112: 9,10,12,13 -> 21,23 -> 27,28 -> 31,32 -> 33 [835] * 113: 9,10,12,13,14 -> 21,23 -> 27,28 -> 31,32 -> 33 [836] * 114: 9,10,12,13,17 -> 21 [ 72] * 115: 9,10,12,14 -> 21,23,26 -> 28 [318] * 116: 9,10,12,17 -> 21 [ 73] * 117: 9,10,13 -> 21,23 -> 27,28 -> 31,32 -> 33 [837] * 118: 9,10,13,14 -> 21,23 -> 27,28 -> 31,32 -> 33 [838] * 119: 9,10,13,17 -> 21 [ 74] * 120: 9,10,14 -> 21,23,26 -> 28 [319] * 121: 9,10,17 -> 21 [ 75] * 122: 9,11 -> 20 [ 57] * 123: 9,11,12 -> 20 [ 58] * 124: 9,11,12,13 -> 25,29 -> 32 [606] * 125: 9,11,12,13,14 -> 25,29 -> 32 [607] * 126: 9,11,12,13,17 -> 28 [199] * 127: 9,11,12,14 -> 25,26 -> 28 [331] * 128: 9,11,12,17 -> 28 [200] * 129: 9,11,13 -> 25,29 -> 32 [608] * 130: 9,11,13,14 -> 25,29 -> 32 [609] * 131: 9,11,13,17 -> 28 [201] * 132: 9,11,13,17,18 -> 28 [202] * 133: 9,11,13,17,22 -> 31,32 -> 33 [725] * 134: 9,11,13,18 -> 28,29 -> 32 [636] * 135: 9,11,13,22 -> 31,32 -> 33 [726] * 136: 9,11,14 -> 25,26 -> 28 [332] * 137: 9,11,17 -> 28 [203] * 138: 9,11,17,18 -> 28 [204] * 139: 9,11,17,22 -> 31,32 -> 33 [727] * 140: 9,11,18 -> 26 [132] * 141: 9,11,22 -> 30,31 -> 33 [713] * 142: 9,12 -> 16,19,20 -> 28,29 -> 32 [689] - 143: 9,12,13 -> 16 [ 28] * 144: 9,12,13,14 -> 16 [ 29] * 145: 9,12,13,17 -> 21 [ 76] * 146: 9,12,14 -> 16,19 -> 21,23 -> 27,28 -> 31,32 -> 33 [860] * 147: 9,12,17 -> 21 [ 77] * 148: 9,13 -> 16 [ 30] - 149: 9,13,14 -> 16 [ 32] * 150: 9,13,17 -> 21 [ 78] * 151: 9,13,17,18 -> 21 [ 79] * 152: 9,13,17,22 -> 27 [161] * 153: 9,13,18 -> 21,23 -> 27,28 -> 31,32 -> 33 [839] * 154: 9,13,22 -> 27 [162] * 155: 9,14 -> 16,19 -> 21,23 -> 27,28 -> 31,32 -> 33 [861] * 156: 9,17 -> 21 [ 80] * 157: 9,17,18 -> 21 [ 81] * 158: 9,17,22 -> 27 [163] * 159: 9,18 -> 21,23,26 -> 28 [320] * 160: 9,22 -> 27,30 -> 32 [627] * 161: 10 [ 15] * 162: 10,11 -> 26 [133] * 163: 10,11,12 -> 26 [134] * 164: 10,11,12,13 -> 28,29 -> 32 [637] * 165: 10,11,12,13,14 -> 28,29 -> 32 [638] * 166: 10,11,12,13,17 -> 28 [205] * 167: 10,11,12,14 -> 26 [135] * 168: 10,11,12,17 -> 28 [206] * 169: 10,11,13 -> 28,29 -> 32 [639] * 170: 10,11,13,14 -> 28,29 -> 32 [640] * 171: 10,11,13,17 -> 28 [207] * 172: 10,11,13,17,19 -> 28 [208] * 173: 10,11,13,19 -> 28,29 -> 32 [641] * 174: 10,11,14 -> 26 [136] * 175: 10,11,16 -> 28,29 -> 32 [642] * 176: 10,11,16,17 -> 28 [209] * 177: 10,11,16,17,19 -> 28 [210] * 178: 10,11,16,19 -> 28,29 -> 32 [643] * 179: 10,11,17 -> 28 [211] * 180: 10,11,17,19 -> 28 [212] * 181: 10,11,19 -> 26 [137] * 182: 10,12 -> 18 [ 41] * 183: 10,12,13 -> 21,23 -> 27,28 -> 31,32 -> 33 [840] * 184: 10,12,13,14 -> 21,23 -> 27,28 -> 31,32 -> 33 [841] * 185: 10,12,13,17 -> 21 [ 82] * 186: 10,12,14 -> 18 [ 42] * 187: 10,12,17 -> 21 [ 83] * 188: 10,13 -> 21,23 -> 27,28 -> 31,32 -> 33 [842] * 189: 10,13,14 -> 21,23 -> 27,28 -> 31,32 -> 33 [843] * 190: 10,13,14,20 -> 28,29 -> 32 [644] * 191: 10,13,17 -> 21 [ 84] * 192: 10,13,17,19 -> 21 [ 85] * 193: 10,13,17,19,20 -> 28 [213] * 194: 10,13,17,20 -> 28 [214] * 195: 10,13,19 -> 21,23 -> 27,28 -> 31,32 -> 33 [844] * 196: 10,13,19,20 -> 28,29 -> 32 [645] * 197: 10,13,20 -> 28,29 -> 32 [646] * 198: 10,14 -> 18 [ 43] * 199: 10,14,20 -> 26 [138] * 200: 10,16 -> 21,23 -> 27,28 -> 31,32 -> 33 [845] * 201: 10,16,17 -> 21 [ 86] * 202: 10,16,17,19 -> 21 [ 87] * 203: 10,16,17,19,20 -> 28 [215] * 204: 10,16,17,20 -> 28 [216] * 205: 10,16,19 -> 21,23 -> 27,28 -> 31,32 -> 33 [846] * 206: 10,16,19,20 -> 28,29 -> 32 [647] * 207: 10,16,20 -> 28,29 -> 32 [648] * 208: 10,17 -> 21 [ 88] * 209: 10,17,19 -> 21 [ 89] * 210: 10,17,19,20 -> 28 [217] * 211: 10,17,19,25 -> 28 [218] * 212: 10,17,20 -> 28 [219] * 213: 10,17,25 -> 28 [220] * 214: 10,19 -> 21,23,26 -> 28 [321] * 215: 10,19,20 -> 26 [139] * 216: 10,19,25 -> 28 [221] * 217: 10,20 -> 26 [140] * 218: 10,25 -> 28 [222] * 219: 11 [ 16] * 220: 11,12 -> 20 [ 59] * 221: 11,12,13 -> 25,29 -> 32 [610] * 222: 11,12,13,14 -> 25,29 -> 32 [611] * 223: 11,12,13,14,15 -> 28,29 -> 32 [649] * 224: 11,12,13,14,24 -> 29 [339] * 225: 11,12,13,15 -> 28,29 -> 32 [650] * 226: 11,12,13,15,17 -> 28 [223] * 227: 11,12,13,17 -> 28 [224] * 228: 11,12,13,17,24 -> 32 [398] * 229: 11,12,13,24 -> 29 [340] * 230: 11,12,14 -> 25,26 -> 28 [333] * 231: 11,12,14,15 -> 26 [141] * 232: 11,12,14,24 -> 29 [341] * 233: 11,12,15 -> 26 [142] * 234: 11,12,15,17 -> 28 [225] * 235: 11,12,17 -> 28 [226] * 236: 11,12,17,24 -> 32 [399] * 237: 11,12,24 -> 29 [342] * 238: 11,13 -> 25,29 -> 32 [612] * 239: 11,13,14 -> 25,29 -> 32 [613] * 240: 11,13,14,15 -> 28,29 -> 32 [651] * 241: 11,13,14,24 -> 29 [343] * 242: 11,13,15 -> 28,29 -> 32 [652] * 243: 11,13,15,17 -> 28 [227] * 244: 11,13,15,17,18 -> 28 [228] * 245: 11,13,15,17,18,19 -> 28 [229] * 246: 11,13,15,17,19 -> 28 [230] * 247: 11,13,15,17,19,22 -> 31,32 -> 33 [728] * 248: 11,13,15,17,22 -> 31,32 -> 33 [729] * 249: 11,13,15,18 -> 28,29 -> 32 [653] * 250: 11,13,15,18,19 -> 28,29 -> 32 [654] * 251: 11,13,15,19 -> 28,29 -> 32 [655] * 252: 11,13,15,19,22 -> 31,32 -> 33 [730] * 253: 11,13,15,22 -> 31,32 -> 33 [731] * 254: 11,13,17 -> 28 [231] * 255: 11,13,17,18 -> 28 [232] * 256: 11,13,17,18,19 -> 28 [233] * 257: 11,13,17,18,19,24 -> 32 [400] * 258: 11,13,17,18,24 -> 32 [401] * 259: 11,13,17,19 -> 28 [234] * 260: 11,13,17,19,22 -> 31,32 -> 33 [732] * 261: 11,13,17,19,22,24 -> 32 [402] * 262: 11,13,17,19,24 -> 32 [403] * 263: 11,13,17,22 -> 31,32 -> 33 [733] * 264: 11,13,17,22,24 -> 32 [404] * 265: 11,13,17,24 -> 32 [405] * 266: 11,13,18 -> 28,29 -> 32 [656] * 267: 11,13,18,19 -> 28,29 -> 32 [657] * 268: 11,13,18,19,24 -> 29 [344] * 269: 11,13,18,24 -> 29 [345] * 270: 11,13,19 -> 28,29 -> 32 [658] * 271: 11,13,19,22 -> 31,32 -> 33 [734] * 272: 11,13,19,22,24 -> 32 [406] * 273: 11,13,19,24 -> 29 [346] * 274: 11,13,22 -> 31,32 -> 33 [735] * 275: 11,13,22,24 -> 32 [407] * 276: 11,13,24 -> 29 [347] * 277: 11,14 -> 25,26 -> 28 [334] * 278: 11,14,15 -> 26 [143] * 279: 11,14,24 -> 29 [348] * 280: 11,15 -> 26 [144] * 281: 11,15,16 -> 28,29 -> 32 [659] * 282: 11,15,16,17 -> 28 [235] * 283: 11,15,16,17,18 -> 28 [236] * 284: 11,15,16,17,18,19 -> 28 [237] * 285: 11,15,16,17,19 -> 28 [238] * 286: 11,15,16,17,19,22 -> 31,32 -> 33 [736] * 287: 11,15,16,17,22 -> 31,32 -> 33 [737] * 288: 11,15,16,18 -> 28,29 -> 32 [660] * 289: 11,15,16,18,19 -> 28,29 -> 32 [661] * 290: 11,15,16,19 -> 28,29 -> 32 [662] * 291: 11,15,16,19,22 -> 31,32 -> 33 [738] * 292: 11,15,16,22 -> 31,32 -> 33 [739] * 293: 11,15,17 -> 28 [239] * 294: 11,15,17,18 -> 28 [240] * 295: 11,15,17,18,19 -> 28 [241] * 296: 11,15,17,19 -> 28 [242] * 297: 11,15,17,19,22 -> 31,32 -> 33 [740] * 298: 11,15,17,22 -> 31,32 -> 33 [741] * 299: 11,15,18 -> 26 [145] * 300: 11,15,18,19 -> 26 [146] * 301: 11,15,19 -> 26 [147] * 302: 11,15,19,22 -> 30,31 -> 33 [714] * 303: 11,15,21 -> 28 [243] * 304: 11,15,21,22 -> 31,32 -> 33 [742] * 305: 11,15,22 -> 30,31 -> 33 [715] * 306: 11,16 -> 25,29 -> 32 [614] * 307: 11,16,17 -> 28 [244] * 308: 11,16,17,18 -> 28 [245] * 309: 11,16,17,18,19 -> 28 [246] * 310: 11,16,17,18,19,24 -> 32 [408] * 311: 11,16,17,18,24 -> 32 [409] * 312: 11,16,17,19 -> 28 [247] * 313: 11,16,17,19,22 -> 31,32 -> 33 [743] * 314: 11,16,17,19,22,24 -> 32 [410] * 315: 11,16,17,19,24 -> 32 [411] * 316: 11,16,17,22 -> 31,32 -> 33 [744] * 317: 11,16,17,22,24 -> 32 [412] * 318: 11,16,17,24 -> 32 [413] * 319: 11,16,18 -> 28,29 -> 32 [663] * 320: 11,16,18,19 -> 28,29 -> 32 [664] * 321: 11,16,18,19,24 -> 29 [349] * 322: 11,16,18,24 -> 29 [350] * 323: 11,16,19 -> 28,29 -> 32 [665] * 324: 11,16,19,22 -> 31,32 -> 33 [745] * 325: 11,16,19,22,24 -> 32 [414] * 326: 11,16,19,24 -> 29 [351] * 327: 11,16,22 -> 31,32 -> 33 [746] * 328: 11,16,22,24 -> 32 [415] * 329: 11,16,24 -> 29 [352] * 330: 11,17 -> 28 [248] * 331: 11,17,18 -> 28 [249] * 332: 11,17,18,19 -> 28 [250] * 333: 11,17,18,19,24 -> 32 [416] * 334: 11,17,18,24 -> 32 [417] * 335: 11,17,19 -> 28 [251] * 336: 11,17,19,22 -> 31,32 -> 33 [747] * 337: 11,17,19,22,24 -> 32 [418] * 338: 11,17,19,24 -> 32 [419] * 339: 11,17,22 -> 31,32 -> 33 [748] * 340: 11,17,22,23 -> 31,32 -> 33 [749] * 341: 11,17,22,23,24 -> 32 [420] * 342: 11,17,22,24 -> 32 [421] * 343: 11,17,23 -> 28 [252] * 344: 11,17,23,24 -> 32 [422] * 345: 11,17,24 -> 32 [423] * 346: 11,18 -> 26 [148] * 347: 11,18,19 -> 26 [149] * 348: 11,18,19,24 -> 29 [353] * 349: 11,18,24 -> 29 [354] * 350: 11,19 -> 26 [150] * 351: 11,19,22 -> 30,31 -> 33 [716] * 352: 11,19,22,24 -> 32 [424] * 353: 11,19,24 -> 29 [355] * 354: 11,21 -> 28 [253] * 355: 11,21,22 -> 31,32 -> 33 [750] * 356: 11,21,22,23 -> 31,32 -> 33 [751] * 357: 11,21,22,23,24 -> 32 [425] * 358: 11,21,22,24 -> 32 [426] * 359: 11,21,23 -> 28 [254] * 360: 11,21,23,24 -> 32 [427] * 361: 11,21,24 -> 32 [428] * 362: 11,22 -> 30,31 -> 33 [717] * 363: 11,22,23 -> 31,32 -> 33 [752] * 364: 11,22,23,24 -> 32 [429] * 365: 11,22,24 -> 32 [430] * 366: 11,23 -> 28,29 -> 32 [666] * 367: 11,23,24 -> 29 [356] * 368: 11,24 -> 29 [357] * 369: 11,24,27 -> 32 [431] * 370: 11,27 -> 31,32 -> 33 [753] * 371: 12 [ 17] - 372: 12,13 -> 16 [ 33] * 373: 12,13,14 -> 16 [ 34] * 374: 12,13,14,15 -> 23 [105] * 375: 12,13,14,24 -> 29 [358] * 376: 12,13,15 -> 23 [106] * 377: 12,13,15,17 -> 27,28 -> 31,32 -> 33 [813] * 378: 12,13,17 -> 21 [ 90] * 379: 12,13,17,24 -> 32 [432] * 380: 12,13,24 -> 29 [359] * 381: 12,14 -> 16,18,19 -> 21,23 -> 27,28 -> 31,32 -> 33 [853] - 382: 12,14,15 -> 23,26 -> 28,29 -> 32 [696] * 383: 12,14,24 -> 29 [360] * 384: 12,15 -> 23,26 -> 28,29 -> 32 [697] * 385: 12,15,17 -> 27,28 -> 31,32 -> 33 [814] * 386: 12,17 -> 21 [ 91] * 387: 12,17,24 -> 32 [433] * 388: 12,24 -> 29 [361] * 389: 13 [ 20] * 390: 13,14 -> 16 [ 35] * 391: 13,14,15 -> 23 [107] * 392: 13,14,15,20 -> 28,29 -> 32 [667] * 393: 13,14,20 -> 25,29 -> 32 [615] * 394: 13,14,20,24 -> 29 [362] * 395: 13,14,24 -> 29 [363] * 396: 13,15 -> 23 [108] * 397: 13,15,17 -> 27,28 -> 31,32 -> 33 [815] * 398: 13,15,17,18 -> 27,28 -> 31,32 -> 33 [816] * 399: 13,15,17,18,19 -> 27,28 -> 31,32 -> 33 [817] * 400: 13,15,17,18,19,20 -> 28 [255] * 401: 13,15,17,18,20 -> 28 [256] * 402: 13,15,17,19 -> 27,28 -> 31,32 -> 33 [818] * 403: 13,15,17,19,20 -> 28 [257] * 404: 13,15,17,19,20,22 -> 31,32 -> 33 [754] * 405: 13,15,17,19,22 -> 27 [164] * 406: 13,15,17,20 -> 28 [258] * 407: 13,15,17,20,22 -> 31,32 -> 33 [755] * 408: 13,15,17,22 -> 27 [165] * 409: 13,15,18 -> 23 [109] * 410: 13,15,18,19 -> 23 [110] * 411: 13,15,18,19,20 -> 28,29 -> 32 [668] * 412: 13,15,18,20 -> 28,29 -> 32 [669] * 413: 13,15,19 -> 23 [111] * 414: 13,15,19,20 -> 28,29 -> 32 [670] * 415: 13,15,19,20,22 -> 31,32 -> 33 [756] * 416: 13,15,19,22 -> 27 [166] * 417: 13,15,20 -> 28,29 -> 32 [671] * 418: 13,15,20,22 -> 31,32 -> 33 [757] * 419: 13,15,22 -> 27 [167] * 420: 13,17 -> 21 [ 92] * 421: 13,17,18 -> 21 [ 93] * 422: 13,17,18,19 -> 21 [ 94] * 423: 13,17,18,19,20 -> 28 [259] * 424: 13,17,18,19,20,24 -> 32 [434] * 425: 13,17,18,19,24 -> 32 [435] * 426: 13,17,18,20 -> 28 [260] * 427: 13,17,18,20,24 -> 32 [436] * 428: 13,17,18,24 -> 32 [437] * 429: 13,17,19 -> 21 [ 95] * 430: 13,17,19,20 -> 28 [261] * 431: 13,17,19,20,22 -> 31,32 -> 33 [758] * 432: 13,17,19,20,22,24 -> 32 [438] * 433: 13,17,19,20,24 -> 32 [439] * 434: 13,17,19,22 -> 27 [168] * 435: 13,17,19,22,24 -> 32 [440] * 436: 13,17,19,24 -> 32 [441] * 437: 13,17,20 -> 28 [262] * 438: 13,17,20,22 -> 31,32 -> 33 [759] * 439: 13,17,20,22,24 -> 32 [442] * 440: 13,17,20,24 -> 32 [443] * 441: 13,17,22 -> 27 [169] * 442: 13,17,22,24 -> 32 [444] * 443: 13,17,22,24,26 -> 32 [445] * 444: 13,17,22,26 -> 31,32 -> 33 [760] * 445: 13,17,24 -> 32 [446] * 446: 13,17,24,26 -> 32 [447] * 447: 13,17,24,30 -> 32 [448] * 448: 13,17,26 -> 28 [263] * 449: 13,17,30 -> 32 [449] * 450: 13,18 -> 21,23 -> 27,28 -> 31,32 -> 33 [847] * 451: 13,18,19 -> 21,23 -> 27,28 -> 31,32 -> 33 [848] * 452: 13,18,19,20 -> 28,29 -> 32 [672] * 453: 13,18,19,20,24 -> 29 [364] * 454: 13,18,19,24 -> 29 [365] * 455: 13,18,20 -> 28,29 -> 32 [673] * 456: 13,18,20,24 -> 29 [366] * 457: 13,18,24 -> 29 [367] * 458: 13,19 -> 21,23 -> 27,28 -> 31,32 -> 33 [849] * 459: 13,19,20 -> 28,29 -> 32 [674] - 460: 13,19,20,22 -> 31,32 -> 33 [761] * 461: 13,19,20,22,24 -> 32 [450] * 462: 13,19,20,24 -> 29 [368] * 463: 13,19,22 -> 27 [170] * 464: 13,19,22,24 -> 32 [451] * 465: 13,19,24 -> 29 [369] * 466: 13,20 -> 25,29 -> 32 [616] * 467: 13,20,22 -> 31,32 -> 33 [762] * 468: 13,20,22,24 -> 32 [452] * 469: 13,20,24 -> 29 [370] * 470: 13,22 -> 27 [171] * 471: 13,22,24 -> 32 [453] * 472: 13,22,24,26 -> 32 [454] * 473: 13,22,26 -> 31,32 -> 33 [763] * 474: 13,24 -> 29 [371] * 475: 13,24,26 -> 29 [372] * 476: 13,24,30 -> 32 [455] * 477: 13,26 -> 28,29 -> 32 [676] * 478: 13,30 -> 32 [456] * 479: 14 [ 21] * 480: 14,15 -> 23,26 -> 28,29 -> 32 [698] * 481: 14,15,20 -> 26 [151] * 482: 14,20 -> 25,26 -> 28 [335] * 483: 14,20,24 -> 29 [373] * 484: 14,24 -> 29 [374] * 485: 15 [ 22] * 486: 15,16 -> 23 [112] * 487: 15,16,17 -> 27,28 -> 31,32 -> 33 [819] * 488: 15,16,17,18 -> 27,28 -> 31,32 -> 33 [820] * 489: 15,16,17,18,19 -> 27,28 -> 31,32 -> 33 [821] * 490: 15,16,17,18,19,20 -> 28 [264] * 491: 15,16,17,18,20 -> 28 [265] * 492: 15,16,17,19 -> 27,28 -> 31,32 -> 33 [822] * 493: 15,16,17,19,20 -> 28 [266] * 494: 15,16,17,19,20,22 -> 31,32 -> 33 [764] * 495: 15,16,17,19,22 -> 27 [172] * 496: 15,16,17,20 -> 28 [267] * 497: 15,16,17,20,22 -> 31,32 -> 33 [765] * 498: 15,16,17,22 -> 27 [173] * 499: 15,16,18 -> 23 [113] * 500: 15,16,18,19 -> 23 [114] * 501: 15,16,18,19,20 -> 28,29 -> 32 [677] * 502: 15,16,18,20 -> 28,29 -> 32 [678] * 503: 15,16,19 -> 23 [115] * 504: 15,16,19,20 -> 28,29 -> 32 [679] * 505: 15,16,19,20,22 -> 31,32 -> 33 [766] * 506: 15,16,19,22 -> 27 [174] * 507: 15,16,20 -> 28,29 -> 32 [680] * 508: 15,16,20,22 -> 31,32 -> 33 [767] * 509: 15,16,22 -> 27 [175] * 510: 15,17 -> 27,28 -> 31,32 -> 33 [823] * 511: 15,17,18 -> 27,28 -> 31,32 -> 33 [824] * 512: 15,17,18,19 -> 27,28 -> 31,32 -> 33 [825] * 513: 15,17,18,19,20 -> 28 [268] * 514: 15,17,18,19,25 -> 28 [269] * 515: 15,17,18,20 -> 28 [270] * 516: 15,17,18,25 -> 28 [271] * 517: 15,17,19 -> 27,28 -> 31,32 -> 33 [826] * 518: 15,17,19,20 -> 28 [272] * 519: 15,17,19,20,22 -> 31,32 -> 33 [768] * 520: 15,17,19,22 -> 27 [176] * 521: 15,17,19,22,25 -> 31,32 -> 33 [769] * 522: 15,17,19,25 -> 28 [273] * 523: 15,17,20 -> 28 [274] * 524: 15,17,20,22 -> 31,32 -> 33 [770] * 525: 15,17,22 -> 27 [177] * 526: 15,17,22,25 -> 31,32 -> 33 [771] * 527: 15,17,25 -> 28 [275] * 528: 15,18 -> 23,26 -> 28,29 -> 32 [699] - 529: 15,18,19 -> 23,26 -> 28,29 -> 32 [701] * 530: 15,18,19,20 -> 26 [152] * 531: 15,18,19,25 -> 28 [276] * 532: 15,18,20 -> 26 [153] * 533: 15,18,25 -> 28 [277] * 534: 15,19 -> 23,26 -> 28,29 -> 32 [702] * 535: 15,19,20 -> 26 [154] * 536: 15,19,20,22 -> 30,31 -> 33 [718] * 537: 15,19,22 -> 27,30 -> 32 [628] * 538: 15,19,22,25 -> 31,32 -> 33 [772] * 539: 15,19,25 -> 28 [278] * 540: 15,20 -> 26 [155] * 541: 15,20,21 -> 28 [279] * 542: 15,20,21,22 -> 31,32 -> 33 [773] * 543: 15,20,22 -> 30,31 -> 33 [719] * 544: 15,21 -> 27,28 -> 31,32 -> 33 [827] - 545: 15,21,22 -> 27 [178] * 546: 15,21,22,25 -> 31,32 -> 33 [774] * 547: 15,21,25 -> 28 [280] * 548: 15,22 -> 27,30 -> 32 [629] * 549: 15,22,25 -> 31,32 -> 33 [775] * 550: 15,25 -> 28 [281] * 551: 16 [ 23] - 552: 16,17 -> 21 [ 96] * 553: 16,17,18 -> 21 [ 97] * 554: 16,17,18,19 -> 21 [ 98] * 555: 16,17,18,19,20 -> 28 [282] * 556: 16,17,18,19,20,24 -> 32 [457] * 557: 16,17,18,19,24 -> 32 [458] * 558: 16,17,18,20 -> 28 [283] * 559: 16,17,18,20,24 -> 32 [459] * 560: 16,17,18,24 -> 32 [460] * 561: 16,17,19 -> 21 [ 99] * 562: 16,17,19,20 -> 28 [284] * 563: 16,17,19,20,22 -> 31,32 -> 33 [776] * 564: 16,17,19,20,22,24 -> 32 [461] * 565: 16,17,19,20,24 -> 32 [462] * 566: 16,17,19,22 -> 27 [179] * 567: 16,17,19,22,24 -> 32 [463] * 568: 16,17,19,24 -> 32 [464] * 569: 16,17,20 -> 28 [285] * 570: 16,17,20,22 -> 31,32 -> 33 [777] * 571: 16,17,20,22,24 -> 32 [465] * 572: 16,17,20,24 -> 32 [466] * 573: 16,17,22 -> 27 [180] * 574: 16,17,22,24 -> 32 [467] * 575: 16,17,22,24,26 -> 32 [468] * 576: 16,17,22,26 -> 31,32 -> 33 [778] * 577: 16,17,24 -> 32 [469] * 578: 16,17,24,26 -> 32 [470] * 579: 16,17,24,30 -> 32 [471] * 580: 16,17,26 -> 28 [286] * 581: 16,17,30 -> 32 [472] * 582: 16,18 -> 21,23 -> 27,28 -> 31,32 -> 33 [850] * 583: 16,18,19 -> 21,23 -> 27,28 -> 31,32 -> 33 [851] - 584: 16,18,19,20 -> 28,29 -> 32 [681] * 585: 16,18,19,20,24 -> 29 [375] * 586: 16,18,19,24 -> 29 [376] * 587: 16,18,20 -> 28,29 -> 32 [682] * 588: 16,18,20,24 -> 29 [377] * 589: 16,18,24 -> 29 [378] * 590: 16,19 -> 21,23 -> 27,28 -> 31,32 -> 33 [856] - 591: 16,19,20 -> 28,29 -> 32 [683] - 592: 16,19,20,22 -> 31,32 -> 33 [779] * 593: 16,19,20,22,24 -> 32 [473] * 594: 16,19,20,24 -> 29 [379] * 595: 16,19,22 -> 27 [181] * 596: 16,19,22,24 -> 32 [474] * 597: 16,19,24 -> 29 [380] * 598: 16,20 -> 25,29 -> 32 [617] * 599: 16,20,22 -> 31,32 -> 33 [780] * 600: 16,20,22,24 -> 32 [475] * 601: 16,20,24 -> 29 [381] * 602: 16,22 -> 27 [182] * 603: 16,22,24 -> 32 [476] * 604: 16,22,24,26 -> 32 [477] * 605: 16,22,26 -> 31,32 -> 33 [781] * 606: 16,24 -> 29 [382] * 607: 16,24,26 -> 29 [383] * 608: 16,24,30 -> 32 [478] * 609: 16,26 -> 28,29 -> 32 [692] * 610: 16,30 -> 32 [479] * 611: 17 [ 36] * 612: 17,18 -> 21 [100] * 613: 17,18,19 -> 21 [101] * 614: 17,18,19,20 -> 28 [287] * 615: 17,18,19,20,24 -> 32 [480] * 616: 17,18,19,24 -> 32 [481] * 617: 17,18,19,24,25 -> 32 [482] * 618: 17,18,19,25 -> 28 [288] * 619: 17,18,20 -> 28 [289] * 620: 17,18,20,24 -> 32 [483] * 621: 17,18,24 -> 32 [484] * 622: 17,18,24,25 -> 32 [485] * 623: 17,18,25 -> 28 [290] * 624: 17,19 -> 21 [102] * 625: 17,19,20 -> 28 [291] * 626: 17,19,20,22 -> 31,32 -> 33 [782] * 627: 17,19,20,22,24 -> 32 [486] * 628: 17,19,20,24 -> 32 [487] * 629: 17,19,22 -> 27 [183] * 630: 17,19,22,24 -> 32 [488] * 631: 17,19,22,24,25 -> 32 [489] * 632: 17,19,22,25 -> 31,32 -> 33 [783] * 633: 17,19,24 -> 32 [490] * 634: 17,19,24,25 -> 32 [491] * 635: 17,19,25 -> 28 [292] * 636: 17,20 -> 28 [293] * 637: 17,20,22 -> 31,32 -> 33 [784] * 638: 17,20,22,23 -> 31,32 -> 33 [785] * 639: 17,20,22,23,24 -> 32 [492] * 640: 17,20,22,24 -> 32 [493] * 641: 17,20,23 -> 28 [294] * 642: 17,20,23,24 -> 32 [494] * 643: 17,20,24 -> 32 [495] * 644: 17,22 -> 27 [184] * 645: 17,22,23 -> 27 [185] * 646: 17,22,23,24 -> 32 [496] * 647: 17,22,23,24,25 -> 32 [497] * 648: 17,22,23,24,25,26 -> 32 [498] * 649: 17,22,23,24,26 -> 32 [499] * 650: 17,22,23,25 -> 31,32 -> 33 [786] * 651: 17,22,23,25,26 -> 31,32 -> 33 [787] * 652: 17,22,23,26 -> 31,32 -> 33 [788] * 653: 17,22,24 -> 32 [500] * 654: 17,22,24,25 -> 32 [501] * 655: 17,22,24,25,26 -> 32 [502] * 656: 17,22,24,26 -> 32 [503] * 657: 17,22,25 -> 31,32 -> 33 [789] * 658: 17,22,25,26 -> 31,32 -> 33 [790] * 659: 17,22,25,29 -> 32 [504] * 660: 17,22,26 -> 31,32 -> 33 [791] * 661: 17,22,29 -> 32 [505] * 662: 17,23 -> 27,28 -> 31,32 -> 33 [831] * 663: 17,23,24 -> 32 [506] * 664: 17,23,24,25 -> 32 [507] * 665: 17,23,24,25,26 -> 32 [508] * 666: 17,23,24,25,30 -> 32 [509] * 667: 17,23,24,26 -> 32 [510] * 668: 17,23,24,30 -> 32 [511] * 669: 17,23,25 -> 28 [295] * 670: 17,23,25,26 -> 28 [296] * 671: 17,23,25,30 -> 32 [512] * 672: 17,23,26 -> 28 [297] * 673: 17,23,30 -> 32 [513] * 674: 17,24 -> 32 [514] * 675: 17,24,25 -> 32 [515] * 676: 17,24,25,26 -> 32 [516] * 677: 17,24,25,30 -> 32 [517] * 678: 17,24,26 -> 32 [518] * 679: 17,24,30 -> 32 [519] * 680: 17,25 -> 28 [298] * 681: 17,25,26 -> 28 [299] * 682: 17,25,29 -> 32 [520] * 683: 17,25,29,30 -> 32 [521] * 684: 17,25,30 -> 32 [522] * 685: 17,26 -> 28 [300] * 686: 17,29 -> 32 [523] * 687: 17,29,30 -> 32 [524] * 688: 17,30 -> 32 [525] * 689: 18 [ 37] - 690: 18,19 -> 21,23,26 -> 28 [322] * 691: 18,19,20 -> 26 [156] * 692: 18,19,20,24 -> 29 [384] * 693: 18,19,24 -> 29 [385] * 694: 18,19,24,25 -> 32 [526] * 695: 18,19,25 -> 28 [301] * 696: 18,20 -> 26 [157] * 697: 18,20,24 -> 29 [386] * 698: 18,24 -> 29 [387] * 699: 18,24,25 -> 32 [527] * 700: 18,25 -> 28 [302] * 701: 19 [ 44] * 702: 19,20 -> 26 [158] * 703: 19,20,22 -> 30,31 -> 33 [720] * 704: 19,20,22,24 -> 32 [528] * 705: 19,20,24 -> 29 [388] * 706: 19,22 -> 27,30 -> 32 [630] * 707: 19,22,24 -> 32 [529] * 708: 19,22,24,25 -> 32 [530] * 709: 19,22,25 -> 31,32 -> 33 [792] * 710: 19,24 -> 29 [389] * 711: 19,24,25 -> 32 [531] * 712: 19,25 -> 28 [303] * 713: 20 [ 45] - 714: 20,21 -> 28 [304] * 715: 20,21,22 -> 31,32 -> 33 [793] * 716: 20,21,22,23 -> 31,32 -> 33 [794] * 717: 20,21,22,23,24 -> 32 [532] * 718: 20,21,22,24 -> 32 [533] * 719: 20,21,23 -> 28 [305] * 720: 20,21,23,24 -> 32 [534] * 721: 20,21,24 -> 32 [535] * 722: 20,22 -> 30,31 -> 33 [721] * 723: 20,22,23 -> 31,32 -> 33 [795] * 724: 20,22,23,24 -> 32 [536] * 725: 20,22,24 -> 32 [537] * 726: 20,23 -> 28,29 -> 32 [693] * 727: 20,23,24 -> 29 [390] * 728: 20,24 -> 29 [391] * 729: 20,24,27 -> 32 [538] * 730: 20,27 -> 31,32 -> 33 [796] * 731: 21 [ 60] - 732: 21,22 -> 27 [186] * 733: 21,22,23 -> 27 [187] * 734: 21,22,23,24 -> 32 [539] * 735: 21,22,23,24,25 -> 32 [540] * 736: 21,22,23,24,25,26 -> 32 [541] * 737: 21,22,23,24,26 -> 32 [542] * 738: 21,22,23,25 -> 31,32 -> 33 [797] * 739: 21,22,23,25,26 -> 31,32 -> 33 [798] * 740: 21,22,23,26 -> 31,32 -> 33 [799] * 741: 21,22,24 -> 32 [543] * 742: 21,22,24,25 -> 32 [544] * 743: 21,22,24,25,26 -> 32 [545] * 744: 21,22,24,26 -> 32 [546] * 745: 21,22,25 -> 31,32 -> 33 [800] * 746: 21,22,25,26 -> 31,32 -> 33 [801] * 747: 21,22,25,29 -> 32 [547] * 748: 21,22,26 -> 31,32 -> 33 [802] * 749: 21,22,29 -> 32 [548] * 750: 21,23 -> 27,28 -> 31,32 -> 33 [832] - 751: 21,23,24 -> 32 [549] * 752: 21,23,24,25 -> 32 [550] * 753: 21,23,24,25,26 -> 32 [551] * 754: 21,23,24,25,30 -> 32 [552] * 755: 21,23,24,26 -> 32 [553] * 756: 21,23,24,30 -> 32 [554] * 757: 21,23,25 -> 28 [306] * 758: 21,23,25,26 -> 28 [307] * 759: 21,23,25,30 -> 32 [555] * 760: 21,23,26 -> 28 [308] - 761: 21,23,30 -> 32 [556] * 762: 21,24 -> 32 [557] * 763: 21,24,25 -> 32 [558] * 764: 21,24,25,26 -> 32 [559] * 765: 21,24,25,30 -> 32 [560] * 766: 21,24,26 -> 32 [561] * 767: 21,24,30 -> 32 [562] * 768: 21,25 -> 28 [323] * 769: 21,25,26 -> 28 [324] * 770: 21,25,29 -> 32 [563] * 771: 21,25,29,30 -> 32 [564] * 772: 21,25,30 -> 32 [565] * 773: 21,26 -> 28 [325] * 774: 21,29 -> 32 [566] * 775: 21,29,30 -> 32 [567] * 776: 21,30 -> 32 [568] * 777: 22 [103] * 778: 22,23 -> 27 [188] * 779: 22,23,24 -> 32 [569] * 780: 22,23,24,25 -> 32 [570] * 781: 22,23,24,25,26 -> 32 [571] * 782: 22,23,24,26 -> 32 [572] * 783: 22,23,25 -> 31,32 -> 33 [803] * 784: 22,23,25,26 -> 31,32 -> 33 [804] * 785: 22,23,26 -> 31,32 -> 33 [805] * 786: 22,24 -> 32 [573] * 787: 22,24,25 -> 32 [574] * 788: 22,24,25,26 -> 32 [575] * 789: 22,24,26 -> 32 [576] * 790: 22,24,28 -> 32 [577] * 791: 22,25 -> 31,32 -> 33 [806] * 792: 22,25,26 -> 31,32 -> 33 [807] * 793: 22,25,29 -> 32 [578] * 794: 22,26 -> 30,31 -> 33 [722] * 795: 22,28 -> 31,32 -> 33 [808] * 796: 22,28,29 -> 32 [579] * 797: 22,29 -> 32 [580] * 798: 23 [104] - 799: 23,24 -> 29 [392] * 800: 23,24,25 -> 32 [581] * 801: 23,24,25,26 -> 32 [582] * 802: 23,24,25,30 -> 32 [583] * 803: 23,24,26 -> 29 [393] * 804: 23,24,30 -> 32 [584] * 805: 23,25 -> 28 [326] * 806: 23,25,26 -> 28 [327] * 807: 23,25,30 -> 32 [585] * 808: 23,26 -> 28,29 -> 32 [694] - 809: 23,30 -> 32 [586] * 810: 24 [116] * 811: 24,25 -> 32 [587] * 812: 24,25,26 -> 32 [588] * 813: 24,25,26,27 -> 32 [589] * 814: 24,25,27 -> 32 [590] * 815: 24,25,27,30 -> 32 [591] * 816: 24,25,30 -> 32 [592] * 817: 24,26 -> 29 [394] * 818: 24,26,27 -> 32 [593] * 819: 24,27 -> 32 [594] * 820: 24,27,28 -> 32 [595] * 821: 24,27,28,30 -> 32 [596] * 822: 24,27,30 -> 32 [597] * 823: 24,28 -> 32 [598] * 824: 24,28,30 -> 32 [599] * 825: 24,30 -> 32 [600] * 826: 24,30,31 -> 33 [707] * 827: 24,31 -> 33 [708] * 828: 25 [117] * 829: 25,26 -> 28 [328] - 830: 25,26,27 -> 31,32 -> 33 [809] * 831: 25,27 -> 31,32 -> 33 [810] * 832: 25,27,29 -> 32 [601] * 833: 25,27,29,30 -> 32 [602] * 834: 25,27,30 -> 32 [603] * 835: 25,29 -> 32 [604] - 836: 25,29,30 -> 32 [618] * 837: 25,30 -> 32 [619] * 838: 26 [118] - 839: 26,27 -> 31,32 -> 33 [811] * 840: 27 [159] - 841: 27,28 -> 31,32 -> 33 [812] - 842: 27,28,29 -> 32 [620] * 843: 27,28,29,30 -> 32 [621] * 844: 27,28,30 -> 32 [622] * 845: 27,29 -> 32 [623] * 846: 27,29,30 -> 32 [624] * 847: 27,30 -> 32 [625] - 848: 28 [189] - 849: 28,29 -> 32 [631] - 850: 28,29,30 -> 32 [703] * 851: 28,30 -> 32 [704] * 852: 29 [336] - 853: 29,30 -> 32 [705] * 854: 29,30,31 -> 33 [709] * 855: 29,31 -> 33 [710] * 856: 30 [395] * 857: 30,31 -> 33 [711] - 858: 31 [396] * 859: 31,32 -> 33 [723] - 860: 32 [397] - 861: 33 [706] - 862: 34 [862] *