Skip to content

Instantly share code, notes, and snippets.

@antiagainst

antiagainst/unet-pack-allocation.mlir

Created May 3, 2023 18:09
Show Gist options
  • Save antiagainst/07e3bffc314ace011f9175fc3182dab6 to your computer and use it in GitHub Desktop.
Save antiagainst/07e3bffc314ace011f9175fc3182dab6 to your computer and use it in GitHub Desktop.
Download ZIP
Raw
unet-pack-allocation.mlir
%5:1283 = stream.resource.pack slices({
[0, 3] = %c640,
[0, 3] = %c153664,
[1, 3] = %c640,
[2, 6] = %c1280,
[3, 5] = %c640,
[3, 5] = %c1327104,
[4, 7] = %c1280,
[5, 989] = %c11796480,
[6, 8] = %c20480,
[6, 8] = %c23592960,
[7, 9] = %c256,
[7, 9] = %c256,
[8, 9] = %c81920,
[8, 10] = %c81920,
[9, 10] = %c11796480,
[10, 11] = %c81920,
[10, 11] = %c11796480,
[10, 12] = %c12293120,
[10, 996] = %c81920,
[12, 13] = %c106168320,
[12, 13] = %c20480,
[13, 17] = %c11796480,
[14, 16] = %c23592960,
[15, 17] = %c256,
[15, 17] = %c256,
[17, 18] = %c11796480,
[18, 19] = %c11796480,
[18, 20] = %c12293120,
[20, 21] = %c106168320,
[21, 60] = %c11796480,
[22, 24] = %c23592960,
[23, 25] = %c256,
[23, 25] = %c256,
[25, 26] = %c11796480,
[26, 27] = %c11796480,
[27, 38] = %c11796480,
[28, 30] = %c23592960,
[29, 30] = %c73728,
[30, 34] = %c11796480,
[31, 32] = %c11796480,
[31, 32] = %c11796480,
[32, 33] = %c23592960,
[32, 33] = %c23592960,
[33, 34] = %c3397386240,
[34, 35] = %c11796480,
[34, 35] = %c3397386240,
[35, 36] = %c11796480,
[35, 36] = %c1698693120,
[36, 37] = %c11796480,
[37, 38] = %c11796480,
[38, 51] = %c11796480,
[38, 1029] = %c327680,
[39, 41] = %c23592960,
[40, 41] = %c73728,
[40, 41] = %c102400,
[41, 42] = %c11796480,
[41, 42] = %c98560,
[42, 43] = %c11796480,
[42, 43] = %c197120,
[42, 44] = %c245760,
[43, 44] = %c23592960,
[44, 45] = %c35389440,
[45, 46] = %c102400,
[45, 46] = %c28385280,
[46, 47] = %c98560,
[46, 47] = %c28385280,
[47, 48] = %c98560,
[47, 48] = %c14192640,
[47, 49] = %c17694720,
[47, 49] = %c122880,
[49, 50] = %c11796480,
[50, 51] = %c11796480,
[51, 58] = %c11796480,
[52, 54] = %c23592960,
[53, 54] = %c73728,
[54, 55] = %c11796480,
[55, 56] = %c94371840,
[56, 57] = %c47185920,
[56, 57] = %c47185920,
[57, 58] = %c47185920,
[58, 59] = %c11796480,
[59, 60] = %c11796480,
[60, 931] = %c11796480,
[61, 63] = %c23592960,
[62, 64] = %c256,
[62, 64] = %c256,
[64, 65] = %c11796480,
[65, 66] = %c11796480,
[65, 67] = %c12293120,
[67, 68] = %c106168320,
[67, 68] = %c20480,
[68, 72] = %c11796480,
[69, 71] = %c23592960,
[70, 72] = %c256,
[70, 72] = %c256,
[72, 73] = %c11796480,
[73, 74] = %c11796480,
[73, 75] = %c12293120,
[75, 76] = %c106168320,
[76, 115] = %c11796480,
[77, 79] = %c23592960,
[78, 80] = %c256,
[78, 80] = %c256,
[80, 81] = %c11796480,
[81, 82] = %c11796480,
[82, 93] = %c11796480,
[83, 85] = %c23592960,
[84, 85] = %c73728,
[85, 89] = %c11796480,
[86, 87] = %c11796480,
[86, 87] = %c11796480,
[87, 88] = %c23592960,
[87, 88] = %c23592960,
[88, 89] = %c3397386240,
[89, 90] = %c11796480,
[89, 90] = %c3397386240,
[90, 91] = %c11796480,
[90, 91] = %c1698693120,
[91, 92] = %c11796480,
[92, 93] = %c11796480,
[93, 106] = %c11796480,
[94, 96] = %c23592960,
[95, 96] = %c73728,
[95, 96] = %c102400,
[96, 97] = %c11796480,
[96, 97] = %c98560,
[97, 98] = %c11796480,
[97, 98] = %c197120,
[97, 99] = %c245760,
[98, 99] = %c23592960,
[99, 100] = %c35389440,
[100, 101] = %c102400,
[100, 101] = %c28385280,
[101, 102] = %c98560,
[101, 102] = %c28385280,
[102, 103] = %c98560,
[102, 103] = %c14192640,
[102, 104] = %c17694720,
[102, 104] = %c122880,
[104, 105] = %c11796480,
[105, 106] = %c11796480,
[106, 113] = %c11796480,
[107, 109] = %c23592960,
[108, 109] = %c73728,
[109, 110] = %c11796480,
[110, 111] = %c94371840,
[111, 112] = %c47185920,
[111, 112] = %c47185920,
[112, 113] = %c47185920,
[113, 114] = %c11796480,
[114, 115] = %c11796480,
[115, 873] = %c11796480,
[115, 117] = %c12293120,
[117, 118] = %c26542080,
[118, 811] = %c2949120,
[119, 121] = %c5898240,
[120, 122] = %c256,
[120, 122] = %c256,
[122, 123] = %c2949120,
[123, 124] = %c2949120,
[123, 125] = %c3200000,
[125, 126] = %c26542080,
[125, 126] = %c40960,
[126, 130] = %c5898240,
[127, 129] = %c11796480,
[128, 130] = %c256,
[128, 130] = %c256,
[130, 131] = %c5898240,
[131, 132] = %c5898240,
[131, 133] = %c6400000,
[133, 134] = %c53084160,
[133, 134] = %c5898240,
[134, 173] = %c5898240,
[135, 137] = %c11796480,
[136, 138] = %c256,
[136, 138] = %c256,
[138, 139] = %c5898240,
[139, 140] = %c5898240,
[140, 151] = %c5898240,
[141, 143] = %c11796480,
[142, 143] = %c18432,
[143, 147] = %c5898240,
[144, 145] = %c5898240,
[144, 145] = %c5898240,
[145, 146] = %c11796480,
[145, 146] = %c11796480,
[146, 147] = %c424673280,
[147, 148] = %c5898240,
[147, 148] = %c424673280,
[148, 149] = %c5898240,
[148, 149] = %c212336640,
[149, 150] = %c5898240,
[150, 151] = %c5898240,
[151, 164] = %c5898240,
[152, 154] = %c11796480,
[153, 154] = %c18432,
[153, 154] = %c204800,
[154, 155] = %c5898240,
[154, 155] = %c197120,
[155, 156] = %c5898240,
[155, 156] = %c394240,
[155, 157] = %c491520,
[156, 157] = %c11796480,
[157, 158] = %c17694720,
[158, 159] = %c204800,
[158, 159] = %c14192640,
[159, 160] = %c197120,
[159, 160] = %c14192640,
[160, 161] = %c197120,
[160, 161] = %c7096320,
[160, 162] = %c8847360,
[160, 162] = %c245760,
[162, 163] = %c5898240,
[163, 164] = %c5898240,
[164, 171] = %c5898240,
[165, 167] = %c11796480,
[166, 167] = %c18432,
[167, 168] = %c5898240,
[168, 169] = %c47185920,
[169, 170] = %c23592960,
[169, 170] = %c23592960,
[170, 171] = %c23592960,
[171, 172] = %c5898240,
[172, 173] = %c5898240,
[173, 753] = %c5898240,
[174, 176] = %c11796480,
[175, 177] = %c256,
[175, 177] = %c256,
[177, 178] = %c5898240,
[178, 179] = %c5898240,
[178, 180] = %c6400000,
[180, 181] = %c53084160,
[180, 181] = %c40960,
[181, 185] = %c5898240,
[182, 184] = %c11796480,
[183, 185] = %c256,
[183, 185] = %c256,
[185, 186] = %c5898240,
[186, 187] = %c5898240,
[186, 188] = %c6400000,
[188, 189] = %c53084160,
[189, 228] = %c5898240,
[190, 192] = %c11796480,
[191, 193] = %c256,
[191, 193] = %c256,
[193, 194] = %c5898240,
[194, 195] = %c5898240,
[195, 206] = %c5898240,
[196, 198] = %c11796480,
[197, 198] = %c18432,
[198, 202] = %c5898240,
[199, 200] = %c5898240,
[199, 200] = %c5898240,
[200, 201] = %c11796480,
[200, 201] = %c11796480,
[201, 202] = %c424673280,
[202, 203] = %c5898240,
[202, 203] = %c424673280,
[203, 204] = %c5898240,
[203, 204] = %c212336640,
[204, 205] = %c5898240,
[205, 206] = %c5898240,
[206, 219] = %c5898240,
[207, 209] = %c11796480,
[208, 209] = %c18432,
[208, 209] = %c204800,
[209, 210] = %c5898240,
[209, 210] = %c197120,
[210, 211] = %c5898240,
[210, 211] = %c394240,
[210, 212] = %c491520,
[211, 212] = %c11796480,
[212, 213] = %c17694720,
[213, 214] = %c204800,
[213, 214] = %c14192640,
[214, 215] = %c197120,
[214, 215] = %c14192640,
[215, 216] = %c197120,
[215, 216] = %c7096320,
[215, 217] = %c8847360,
[215, 217] = %c245760,
[217, 218] = %c5898240,
[218, 219] = %c5898240,
[219, 226] = %c5898240,
[220, 222] = %c11796480,
[221, 222] = %c18432,
[222, 223] = %c5898240,
[223, 224] = %c47185920,
[224, 225] = %c23592960,
[224, 225] = %c23592960,
[225, 226] = %c23592960,
[226, 227] = %c5898240,
[227, 228] = %c5898240,
[228, 695] = %c5898240,
[228, 230] = %c6400000,
[230, 231] = %c13271040,
[231, 633] = %c1474560,
[232, 234] = %c2949120,
[233, 235] = %c256,
[233, 235] = %c256,
[235, 236] = %c1474560,
[236, 237] = %c1474560,
[236, 238] = %c1730560,
[238, 239] = %c13271040,
[238, 239] = %c81920,
[239, 243] = %c2949120,
[240, 242] = %c5898240,
[241, 243] = %c256,
[241, 243] = %c256,
[243, 244] = %c2949120,
[244, 245] = %c2949120,
[244, 246] = %c3461120,
[246, 247] = %c26542080,
[246, 247] = %c2949120,
[247, 286] = %c2949120,
[248, 250] = %c5898240,
[249, 251] = %c256,
[249, 251] = %c256,
[251, 252] = %c2949120,
[252, 253] = %c2949120,
[253, 264] = %c2949120,
[254, 256] = %c5898240,
[255, 256] = %c4608,
[256, 260] = %c2949120,
[257, 258] = %c2949120,
[257, 258] = %c2949120,
[258, 259] = %c5898240,
[258, 259] = %c5898240,
[259, 260] = %c53084160,
[260, 261] = %c2949120,
[260, 261] = %c53084160,
[261, 262] = %c2949120,
[261, 262] = %c26542080,
[262, 263] = %c2949120,
[263, 264] = %c2949120,
[264, 277] = %c2949120,
[265, 267] = %c5898240,
[266, 267] = %c4608,
[266, 267] = %c409600,
[267, 268] = %c2949120,
[267, 268] = %c394240,
[268, 269] = %c2949120,
[268, 269] = %c788480,
[268, 270] = %c983040,
[269, 270] = %c5898240,
[270, 271] = %c8847360,
[271, 272] = %c409600,
[271, 272] = %c7096320,
[272, 273] = %c394240,
[272, 273] = %c7096320,
[273, 274] = %c394240,
[273, 274] = %c3548160,
[273, 275] = %c4423680,
[273, 275] = %c491520,
[275, 276] = %c2949120,
[276, 277] = %c2949120,
[277, 284] = %c2949120,
[278, 280] = %c5898240,
[279, 280] = %c4608,
[280, 281] = %c2949120,
[281, 282] = %c23592960,
[282, 283] = %c11796480,
[282, 283] = %c11796480,
[283, 284] = %c11796480,
[284, 285] = %c2949120,
[285, 286] = %c2949120,
[286, 575] = %c2949120,
[287, 289] = %c5898240,
[288, 290] = %c256,
[288, 290] = %c256,
[290, 291] = %c2949120,
[291, 292] = %c2949120,
[291, 293] = %c3461120,
[293, 294] = %c26542080,
[293, 294] = %c81920,
[294, 298] = %c2949120,
[295, 297] = %c5898240,
[296, 298] = %c256,
[296, 298] = %c256,
[298, 299] = %c2949120,
[299, 300] = %c2949120,
[299, 301] = %c3461120,
[301, 302] = %c26542080,
[302, 341] = %c2949120,
[303, 305] = %c5898240,
[304, 306] = %c256,
[304, 306] = %c256,
[306, 307] = %c2949120,
[307, 308] = %c2949120,
[308, 319] = %c2949120,
[309, 311] = %c5898240,
[310, 311] = %c4608,
[311, 315] = %c2949120,
[312, 313] = %c2949120,
[312, 313] = %c2949120,
[313, 314] = %c5898240,
[313, 314] = %c5898240,
[314, 315] = %c53084160,
[315, 316] = %c2949120,
[315, 316] = %c53084160,
[316, 317] = %c2949120,
[316, 317] = %c26542080,
[317, 318] = %c2949120,
[318, 319] = %c2949120,
[319, 332] = %c2949120,
[320, 322] = %c5898240,
[321, 322] = %c4608,
[321, 322] = %c409600,
[322, 323] = %c2949120,
[322, 323] = %c394240,
[323, 324] = %c2949120,
[323, 324] = %c788480,
[323, 325] = %c983040,
[324, 325] = %c5898240,
[325, 326] = %c8847360,
[326, 327] = %c409600,
[326, 327] = %c7096320,
[327, 328] = %c394240,
[327, 328] = %c7096320,
[328, 329] = %c394240,
[328, 329] = %c3548160,
[328, 330] = %c4423680,
[328, 330] = %c491520,
[330, 331] = %c2949120,
[331, 332] = %c2949120,
[332, 339] = %c2949120,
[333, 335] = %c5898240,
[334, 335] = %c4608,
[335, 336] = %c2949120,
[336, 337] = %c23592960,
[337, 338] = %c11796480,
[337, 338] = %c11796480,
[338, 339] = %c11796480,
[339, 340] = %c2949120,
[340, 341] = %c2949120,
[341, 517] = %c2949120,
[341, 343] = %c3461120,
[343, 344] = %c6635520,
[344, 494] = %c737280,
[345, 347] = %c1474560,
[346, 348] = %c256,
[346, 348] = %c256,
[348, 349] = %c737280,
[349, 350] = %c737280,
[349, 351] = %c1003520,
[351, 352] = %c6635520,
[351, 352] = %c81920,
[352, 356] = %c737280,
[353, 355] = %c1474560,
[354, 356] = %c256,
[354, 356] = %c256,
[356, 357] = %c737280,
[357, 358] = %c737280,
[357, 359] = %c1003520,
[359, 360] = %c6635520,
[360, 475] = %c737280,
[361, 363] = %c1474560,
[362, 364] = %c256,
[362, 364] = %c256,
[364, 365] = %c737280,
[365, 366] = %c737280,
[365, 367] = %c1003520,
[367, 368] = %c6635520,
[367, 368] = %c81920,
[368, 372] = %c737280,
[369, 371] = %c1474560,
[370, 372] = %c256,
[370, 372] = %c256,
[372, 373] = %c737280,
[373, 374] = %c737280,
[373, 375] = %c1003520,
[375, 376] = %c6635520,
[376, 456] = %c737280,
[377, 379] = %c1474560,
[378, 380] = %c256,
[378, 380] = %c256,
[380, 381] = %c737280,
[381, 382] = %c737280,
[381, 383] = %c1003520,
[383, 384] = %c6635520,
[383, 384] = %c81920,
[384, 388] = %c737280,
[385, 387] = %c1474560,
[386, 388] = %c256,
[386, 388] = %c256,
[388, 389] = %c737280,
[389, 390] = %c737280,
[389, 391] = %c1003520,
[391, 392] = %c6635520,
[392, 437] = %c737280,
[393, 395] = %c1474560,
[394, 396] = %c256,
[394, 396] = %c256,
[396, 397] = %c737280,
[397, 398] = %c737280,
[398, 413] = %c737280,
[399, 401] = %c1474560,
[400, 401] = %c1152,
[401, 407] = %c737280,
[402, 403] = %c737280,
[402, 403] = %c737280,
[403, 404] = %c1474560,
[403, 404] = %c1474560,
[403, 405] = %c1638400,
[403, 405] = %c1638400,
[405, 406] = %c4096000,
[406, 407] = %c3317760,
[407, 408] = %c737280,
[407, 408] = %c3317760,
[408, 409] = %c737280,
[408, 409] = %c1658880,
[408, 410] = %c2048000,
[408, 410] = %c819200,
[410, 411] = %c819200,
[411, 412] = %c737280,
[412, 413] = %c737280,
[413, 428] = %c737280,
[414, 416] = %c1474560,
[415, 416] = %c1152,
[416, 417] = %c737280,
[416, 417] = %c409600,
[417, 418] = %c737280,
[417, 418] = %c394240,
[418, 419] = %c1474560,
[418, 419] = %c788480,
[418, 420] = %c1638400,
[418, 420] = %c983040,
[420, 421] = %c2457600,
[421, 422] = %c409600,
[421, 422] = %c1774080,
[422, 423] = %c394240,
[422, 423] = %c1774080,
[423, 424] = %c394240,
[423, 424] = %c887040,
[423, 425] = %c1228800,
[423, 425] = %c491520,
[425, 426] = %c819200,
[426, 427] = %c737280,
[427, 428] = %c737280,
[428, 435] = %c737280,
[429, 431] = %c1474560,
[430, 431] = %c1152,
[431, 432] = %c737280,
[432, 433] = %c5898240,
[433, 434] = %c2949120,
[433, 434] = %c2949120,
[434, 435] = %c2949120,
[435, 436] = %c737280,
[436, 437] = %c737280,
[437, 453] = %c737280,
[438, 440] = %c1474560,
[439, 441] = %c256,
[439, 441] = %c256,
[441, 442] = %c737280,
[442, 443] = %c737280,
[442, 444] = %c1003520,
[444, 445] = %c6635520,
[444, 445] = %c81920,
[445, 449] = %c737280,
[446, 448] = %c1474560,
[447, 449] = %c256,
[447, 449] = %c256,
[449, 450] = %c737280,
[450, 451] = %c737280,
[450, 452] = %c1003520,
[452, 453] = %c6635520,
[453, 455] = %c737280,
[454, 471] = %c1474560,
[457, 459] = %c2949120,
[458, 460] = %c256,
[458, 460] = %c256,
[460, 461] = %c1474560,
[461, 462] = %c1474560,
[461, 463] = %c2007040,
[463, 464] = %c13271040,
[463, 464] = %c81920,
[464, 468] = %c737280,
[465, 467] = %c1474560,
[466, 468] = %c256,
[466, 468] = %c256,
[468, 469] = %c737280,
[469, 470] = %c737280,
[469, 471] = %c1003520,
[471, 472] = %c6635520,
[471, 472] = %c737280,
[472, 474] = %c737280,
[473, 490] = %c1474560,
[476, 478] = %c2949120,
[477, 479] = %c256,
[477, 479] = %c256,
[479, 480] = %c1474560,
[480, 481] = %c1474560,
[480, 482] = %c2007040,
[482, 483] = %c13271040,
[482, 483] = %c81920,
[483, 487] = %c737280,
[484, 486] = %c1474560,
[485, 487] = %c256,
[485, 487] = %c256,
[487, 488] = %c737280,
[488, 489] = %c737280,
[488, 490] = %c1003520,
[490, 491] = %c6635520,
[490, 491] = %c737280,
[491, 493] = %c737280,
[492, 509] = %c1474560,
[495, 497] = %c2949120,
[496, 498] = %c256,
[496, 498] = %c256,
[498, 499] = %c1474560,
[499, 500] = %c1474560,
[499, 501] = %c2007040,
[501, 502] = %c13271040,
[501, 502] = %c81920,
[502, 506] = %c737280,
[503, 505] = %c1474560,
[504, 506] = %c256,
[504, 506] = %c256,
[506, 507] = %c737280,
[507, 508] = %c737280,
[507, 509] = %c1003520,
[509, 510] = %c6635520,
[509, 510] = %c737280,
[510, 511] = %c737280,
[511, 512] = %c2949120,
[511, 513] = %c3461120,
[513, 514] = %c26542080,
[514, 516] = %c2949120,
[515, 532] = %c5898240,
[518, 520] = %c11796480,
[519, 521] = %c256,
[519, 521] = %c256,
[521, 522] = %c5898240,
[522, 523] = %c5898240,
[522, 524] = %c6922240,
[524, 525] = %c53084160,
[524, 525] = %c81920,
[525, 529] = %c2949120,
[526, 528] = %c5898240,
[527, 529] = %c256,
[527, 529] = %c256,
[529, 530] = %c2949120,
[530, 531] = %c2949120,
[530, 532] = %c3461120,
[532, 533] = %c26542080,
[532, 533] = %c2949120,
[533, 572] = %c2949120,
[534, 536] = %c5898240,
[535, 537] = %c256,
[535, 537] = %c256,
[537, 538] = %c2949120,
[538, 539] = %c2949120,
[539, 550] = %c2949120,
[540, 542] = %c5898240,
[541, 542] = %c4608,
[542, 546] = %c2949120,
[543, 544] = %c2949120,
[543, 544] = %c2949120,
[544, 545] = %c5898240,
[544, 545] = %c5898240,
[545, 546] = %c53084160,
[546, 547] = %c2949120,
[546, 547] = %c53084160,
[547, 548] = %c2949120,
[547, 548] = %c26542080,
[548, 549] = %c2949120,
[549, 550] = %c2949120,
[550, 563] = %c2949120,
[551, 553] = %c5898240,
[552, 553] = %c4608,
[552, 553] = %c409600,
[553, 554] = %c2949120,
[553, 554] = %c394240,
[554, 555] = %c2949120,
[554, 555] = %c788480,
[554, 556] = %c983040,
[555, 556] = %c5898240,
[556, 557] = %c8847360,
[557, 558] = %c409600,
[557, 558] = %c7096320,
[558, 559] = %c394240,
[558, 559] = %c7096320,
[559, 560] = %c394240,
[559, 560] = %c3548160,
[559, 561] = %c4423680,
[559, 561] = %c491520,
[561, 562] = %c2949120,
[562, 563] = %c2949120,
[563, 570] = %c2949120,
[564, 566] = %c5898240,
[565, 566] = %c4608,
[566, 567] = %c2949120,
[567, 568] = %c23592960,
[568, 569] = %c11796480,
[568, 569] = %c11796480,
[569, 570] = %c11796480,
[570, 571] = %c2949120,
[571, 572] = %c2949120,
[572, 574] = %c2949120,
[573, 590] = %c5898240,
[576, 578] = %c11796480,
[577, 579] = %c256,
[577, 579] = %c256,
[579, 580] = %c5898240,
[580, 581] = %c5898240,
[580, 582] = %c6922240,
[582, 583] = %c53084160,
[582, 583] = %c81920,
[583, 587] = %c2949120,
[584, 586] = %c5898240,
[585, 587] = %c256,
[585, 587] = %c256,
[587, 588] = %c2949120,
[588, 589] = %c2949120,
[588, 590] = %c3461120,
[590, 591] = %c26542080,
[590, 591] = %c2949120,
[591, 630] = %c2949120,
[592, 594] = %c5898240,
[593, 595] = %c256,
[593, 595] = %c256,
[595, 596] = %c2949120,
[596, 597] = %c2949120,
[597, 608] = %c2949120,
[598, 600] = %c5898240,
[599, 600] = %c4608,
[600, 604] = %c2949120,
[601, 602] = %c2949120,
[601, 602] = %c2949120,
[602, 603] = %c5898240,
[602, 603] = %c5898240,
[603, 604] = %c53084160,
[604, 605] = %c2949120,
[604, 605] = %c53084160,
[605, 606] = %c2949120,
[605, 606] = %c26542080,
[606, 607] = %c2949120,
[607, 608] = %c2949120,
[608, 621] = %c2949120,
[609, 611] = %c5898240,
[610, 611] = %c4608,
[610, 611] = %c409600,
[611, 612] = %c2949120,
[611, 612] = %c394240,
[612, 613] = %c2949120,
[612, 613] = %c788480,
[612, 614] = %c983040,
[613, 614] = %c5898240,
[614, 615] = %c8847360,
[615, 616] = %c409600,
[615, 616] = %c7096320,
[616, 617] = %c394240,
[616, 617] = %c7096320,
[617, 618] = %c394240,
[617, 618] = %c3548160,
[617, 619] = %c4423680,
[617, 619] = %c491520,
[619, 620] = %c2949120,
[620, 621] = %c2949120,
[621, 628] = %c2949120,
[622, 624] = %c5898240,
[623, 624] = %c4608,
[624, 625] = %c2949120,
[625, 626] = %c23592960,
[626, 627] = %c11796480,
[626, 627] = %c11796480,
[627, 628] = %c11796480,
[628, 629] = %c2949120,
[629, 630] = %c2949120,
[630, 632] = %c2949120,
[631, 648] = %c4423680,
[634, 636] = %c8847360,
[635, 637] = %c256,
[635, 637] = %c256,
[637, 638] = %c4423680,
[638, 639] = %c4423680,
[638, 640] = %c5191680,
[640, 641] = %c39813120,
[640, 641] = %c81920,
[641, 645] = %c2949120,
[642, 644] = %c5898240,
[643, 645] = %c256,
[643, 645] = %c256,
[645, 646] = %c2949120,
[646, 647] = %c2949120,
[646, 648] = %c3461120,
[648, 649] = %c26542080,
[648, 649] = %c2949120,
[649, 688] = %c2949120,
[650, 652] = %c5898240,
[651, 653] = %c256,
[651, 653] = %c256,
[653, 654] = %c2949120,
[654, 655] = %c2949120,
[655, 666] = %c2949120,
[656, 658] = %c5898240,
[657, 658] = %c4608,
[658, 662] = %c2949120,
[659, 660] = %c2949120,
[659, 660] = %c2949120,
[660, 661] = %c5898240,
[660, 661] = %c5898240,
[661, 662] = %c53084160,
[662, 663] = %c2949120,
[662, 663] = %c53084160,
[663, 664] = %c2949120,
[663, 664] = %c26542080,
[664, 665] = %c2949120,
[665, 666] = %c2949120,
[666, 679] = %c2949120,
[667, 669] = %c5898240,
[668, 669] = %c4608,
[668, 669] = %c409600,
[669, 670] = %c2949120,
[669, 670] = %c394240,
[670, 671] = %c2949120,
[670, 671] = %c788480,
[670, 672] = %c983040,
[671, 672] = %c5898240,
[672, 673] = %c8847360,
[673, 674] = %c409600,
[673, 674] = %c7096320,
[674, 675] = %c394240,
[674, 675] = %c7096320,
[675, 676] = %c394240,
[675, 676] = %c3548160,
[675, 677] = %c4423680,
[675, 677] = %c491520,
[677, 678] = %c2949120,
[678, 679] = %c2949120,
[679, 686] = %c2949120,
[680, 682] = %c5898240,
[681, 682] = %c4608,
[682, 683] = %c2949120,
[683, 684] = %c23592960,
[684, 685] = %c11796480,
[684, 685] = %c11796480,
[685, 686] = %c11796480,
[686, 687] = %c2949120,
[687, 688] = %c2949120,
[688, 689] = %c2949120,
[689, 690] = %c11796480,
[689, 691] = %c12800000,
[691, 692] = %c106168320,
[692, 694] = %c11796480,
[693, 710] = %c17694720,
[696, 698] = %c35389440,
[697, 699] = %c256,
[697, 699] = %c256,
[699, 700] = %c17694720,
[700, 701] = %c17694720,
[700, 702] = %c19200000,
[702, 703] = %c159252480,
[702, 703] = %c40960,
[703, 707] = %c5898240,
[704, 706] = %c11796480,
[705, 707] = %c256,
[705, 707] = %c256,
[707, 708] = %c5898240,
[708, 709] = %c5898240,
[708, 710] = %c6400000,
[710, 711] = %c53084160,
[710, 711] = %c5898240,
[711, 750] = %c5898240,
[712, 714] = %c11796480,
[713, 715] = %c256,
[713, 715] = %c256,
[715, 716] = %c5898240,
[716, 717] = %c5898240,
[717, 728] = %c5898240,
[718, 720] = %c11796480,
[719, 720] = %c18432,
[720, 724] = %c5898240,
[721, 722] = %c5898240,
[721, 722] = %c5898240,
[722, 723] = %c11796480,
[722, 723] = %c11796480,
[723, 724] = %c424673280,
[724, 725] = %c5898240,
[724, 725] = %c424673280,
[725, 726] = %c5898240,
[725, 726] = %c212336640,
[726, 727] = %c5898240,
[727, 728] = %c5898240,
[728, 741] = %c5898240,
[729, 731] = %c11796480,
[730, 731] = %c18432,
[730, 731] = %c204800,
[731, 732] = %c5898240,
[731, 732] = %c197120,
[732, 733] = %c5898240,
[732, 733] = %c394240,
[732, 734] = %c491520,
[733, 734] = %c11796480,
[734, 735] = %c17694720,
[735, 736] = %c204800,
[735, 736] = %c14192640,
[736, 737] = %c197120,
[736, 737] = %c14192640,
[737, 738] = %c197120,
[737, 738] = %c7096320,
[737, 739] = %c8847360,
[737, 739] = %c245760,
[739, 740] = %c5898240,
[740, 741] = %c5898240,
[741, 748] = %c5898240,
[742, 744] = %c11796480,
[743, 744] = %c18432,
[744, 745] = %c5898240,
[745, 746] = %c47185920,
[746, 747] = %c23592960,
[746, 747] = %c23592960,
[747, 748] = %c23592960,
[748, 749] = %c5898240,
[749, 750] = %c5898240,
[750, 752] = %c5898240,
[751, 768] = %c11796480,
[754, 756] = %c23592960,
[755, 757] = %c256,
[755, 757] = %c256,
[757, 758] = %c11796480,
[758, 759] = %c11796480,
[758, 760] = %c12800000,
[760, 761] = %c106168320,
[760, 761] = %c40960,
[761, 765] = %c5898240,
[762, 764] = %c11796480,
[763, 765] = %c256,
[763, 765] = %c256,
[765, 766] = %c5898240,
[766, 767] = %c5898240,
[766, 768] = %c6400000,
[768, 769] = %c53084160,
[768, 769] = %c5898240,
[769, 808] = %c5898240,
[770, 772] = %c11796480,
[771, 773] = %c256,
[771, 773] = %c256,
[773, 774] = %c5898240,
[774, 775] = %c5898240,
[775, 786] = %c5898240,
[776, 778] = %c11796480,
[777, 778] = %c18432,
[778, 782] = %c5898240,
[779, 780] = %c5898240,
[779, 780] = %c5898240,
[780, 781] = %c11796480,
[780, 781] = %c11796480,
[781, 782] = %c424673280,
[782, 783] = %c5898240,
[782, 783] = %c424673280,
[783, 784] = %c5898240,
[783, 784] = %c212336640,
[784, 785] = %c5898240,
[785, 786] = %c5898240,
[786, 799] = %c5898240,
[787, 789] = %c11796480,
[788, 789] = %c18432,
[788, 789] = %c204800,
[789, 790] = %c5898240,
[789, 790] = %c197120,
[790, 791] = %c5898240,
[790, 791] = %c394240,
[790, 792] = %c491520,
[791, 792] = %c11796480,
[792, 793] = %c17694720,
[793, 794] = %c204800,
[793, 794] = %c14192640,
[794, 795] = %c197120,
[794, 795] = %c14192640,
[795, 796] = %c197120,
[795, 796] = %c7096320,
[795, 797] = %c8847360,
[795, 797] = %c245760,
[797, 798] = %c5898240,
[798, 799] = %c5898240,
[799, 806] = %c5898240,
[800, 802] = %c11796480,
[801, 802] = %c18432,
[802, 803] = %c5898240,
[803, 804] = %c47185920,
[804, 805] = %c23592960,
[804, 805] = %c23592960,
[805, 806] = %c23592960,
[806, 807] = %c5898240,
[807, 808] = %c5898240,
[808, 810] = %c5898240,
[809, 826] = %c8847360,
[812, 814] = %c17694720,
[813, 815] = %c256,
[813, 815] = %c256,
[815, 816] = %c8847360,
[816, 817] = %c8847360,
[816, 818] = %c9600000,
[818, 819] = %c79626240,
[818, 819] = %c40960,
[819, 823] = %c5898240,
[820, 822] = %c11796480,
[821, 823] = %c256,
[821, 823] = %c256,
[823, 824] = %c5898240,
[824, 825] = %c5898240,
[824, 826] = %c6400000,
[826, 827] = %c53084160,
[826, 827] = %c5898240,
[827, 866] = %c5898240,
[828, 830] = %c11796480,
[829, 831] = %c256,
[829, 831] = %c256,
[831, 832] = %c5898240,
[832, 833] = %c5898240,
[833, 844] = %c5898240,
[834, 836] = %c11796480,
[835, 836] = %c18432,
[836, 840] = %c5898240,
[837, 838] = %c5898240,
[837, 838] = %c5898240,
[838, 839] = %c11796480,
[838, 839] = %c11796480,
[839, 840] = %c424673280,
[840, 841] = %c5898240,
[840, 841] = %c424673280,
[841, 842] = %c5898240,
[841, 842] = %c212336640,
[842, 843] = %c5898240,
[843, 844] = %c5898240,
[844, 857] = %c5898240,
[845, 847] = %c11796480,
[846, 847] = %c18432,
[846, 847] = %c204800,
[847, 848] = %c5898240,
[847, 848] = %c197120,
[848, 849] = %c5898240,
[848, 849] = %c394240,
[848, 850] = %c491520,
[849, 850] = %c11796480,
[850, 851] = %c17694720,
[851, 852] = %c204800,
[851, 852] = %c14192640,
[852, 853] = %c197120,
[852, 853] = %c14192640,
[853, 854] = %c197120,
[853, 854] = %c7096320,
[853, 855] = %c8847360,
[853, 855] = %c245760,
[855, 856] = %c5898240,
[856, 857] = %c5898240,
[857, 864] = %c5898240,
[858, 860] = %c11796480,
[859, 860] = %c18432,
[860, 861] = %c5898240,
[861, 862] = %c47185920,
[862, 863] = %c23592960,
[862, 863] = %c23592960,
[863, 864] = %c23592960,
[864, 865] = %c5898240,
[865, 866] = %c5898240,
[866, 867] = %c5898240,
[867, 868] = %c23592960,
[867, 869] = %c24586240,
[869, 870] = %c212336640,
[870, 872] = %c23592960,
[871, 888] = %c35389440,
[874, 876] = %c70778880,
[875, 877] = %c256,
[875, 877] = %c256,
[877, 878] = %c35389440,
[878, 879] = %c35389440,
[878, 880] = %c36879360,
[880, 881] = %c318504960,
[880, 881] = %c20480,
[881, 885] = %c11796480,
[882, 884] = %c23592960,
[883, 885] = %c256,
[883, 885] = %c256,
[885, 886] = %c11796480,
[886, 887] = %c11796480,
[886, 888] = %c12293120,
[888, 889] = %c106168320,
[888, 889] = %c11796480,
[889, 928] = %c11796480,
[890, 892] = %c23592960,
[891, 893] = %c256,
[891, 893] = %c256,
[893, 894] = %c11796480,
[894, 895] = %c11796480,
[895, 906] = %c11796480,
[896, 898] = %c23592960,
[897, 898] = %c73728,
[898, 902] = %c11796480,
[899, 900] = %c11796480,
[899, 900] = %c11796480,
[900, 901] = %c23592960,
[900, 901] = %c23592960,
[901, 902] = %c3397386240,
[902, 903] = %c11796480,
[902, 903] = %c3397386240,
[903, 904] = %c11796480,
[903, 904] = %c1698693120,
[904, 905] = %c11796480,
[905, 906] = %c11796480,
[906, 919] = %c11796480,
[907, 909] = %c23592960,
[908, 909] = %c73728,
[908, 909] = %c102400,
[909, 910] = %c11796480,
[909, 910] = %c98560,
[910, 911] = %c11796480,
[910, 911] = %c197120,
[910, 912] = %c245760,
[911, 912] = %c23592960,
[912, 913] = %c35389440,
[913, 914] = %c102400,
[913, 914] = %c28385280,
[914, 915] = %c98560,
[914, 915] = %c28385280,
[915, 916] = %c98560,
[915, 916] = %c14192640,
[915, 917] = %c17694720,
[915, 917] = %c122880,
[917, 918] = %c11796480,
[918, 919] = %c11796480,
[919, 926] = %c11796480,
[920, 922] = %c23592960,
[921, 922] = %c73728,
[922, 923] = %c11796480,
[923, 924] = %c94371840,
[924, 925] = %c47185920,
[924, 925] = %c47185920,
[925, 926] = %c47185920,
[926, 927] = %c11796480,
[927, 928] = %c11796480,
[928, 930] = %c11796480,
[929, 946] = %c23592960,
[932, 934] = %c47185920,
[933, 935] = %c256,
[933, 935] = %c256,
[935, 936] = %c23592960,
[936, 937] = %c23592960,
[936, 938] = %c24586240,
[938, 939] = %c212336640,
[938, 939] = %c20480,
[939, 943] = %c11796480,
[940, 942] = %c23592960,
[941, 943] = %c256,
[941, 943] = %c256,
[943, 944] = %c11796480,
[944, 945] = %c11796480,
[944, 946] = %c12293120,
[946, 947] = %c106168320,
[946, 947] = %c11796480,
[947, 986] = %c11796480,
[948, 950] = %c23592960,
[949, 951] = %c256,
[949, 951] = %c256,
[951, 952] = %c11796480,
[952, 953] = %c11796480,
[953, 964] = %c11796480,
[954, 956] = %c23592960,
[955, 956] = %c73728,
[956, 960] = %c11796480,
[957, 958] = %c11796480,
[957, 958] = %c11796480,
[958, 959] = %c23592960,
[958, 959] = %c23592960,
[959, 960] = %c3397386240,
[960, 961] = %c11796480,
[960, 961] = %c3397386240,
[961, 962] = %c11796480,
[961, 962] = %c1698693120,
[962, 963] = %c11796480,
[963, 964] = %c11796480,
[964, 977] = %c11796480,
[965, 967] = %c23592960,
[966, 967] = %c73728,
[966, 967] = %c102400,
[967, 968] = %c11796480,
[967, 968] = %c98560,
[968, 969] = %c11796480,
[968, 969] = %c197120,
[968, 970] = %c245760,
[969, 970] = %c23592960,
[970, 971] = %c35389440,
[971, 972] = %c102400,
[971, 972] = %c28385280,
[972, 973] = %c98560,
[972, 973] = %c28385280,
[973, 974] = %c98560,
[973, 974] = %c14192640,
[973, 975] = %c17694720,
[973, 975] = %c122880,
[975, 976] = %c11796480,
[976, 977] = %c11796480,
[977, 984] = %c11796480,
[978, 980] = %c23592960,
[979, 980] = %c73728,
[980, 981] = %c11796480,
[981, 982] = %c94371840,
[982, 983] = %c47185920,
[982, 983] = %c47185920,
[983, 984] = %c47185920,
[984, 985] = %c11796480,
[985, 986] = %c11796480,
[986, 988] = %c11796480,
[987, 1004] = %c23592960,
[990, 992] = %c47185920,
[991, 993] = %c256,
[991, 993] = %c256,
[993, 994] = %c23592960,
[994, 995] = %c23592960,
[994, 996] = %c24586240,
[996, 997] = %c212336640,
[996, 997] = %c20480,
[997, 1001] = %c11796480,
[998, 1000] = %c23592960,
[999, 1001] = %c256,
[999, 1001] = %c256,
[1001, 1002] = %c11796480,
[1002, 1003] = %c11796480,
[1002, 1004] = %c12293120,
[1004, 1005] = %c106168320,
[1004, 1005] = %c11796480,
[1005, 1044] = %c11796480,
[1006, 1008] = %c23592960,
[1007, 1009] = %c256,
[1007, 1009] = %c256,
[1009, 1010] = %c11796480,
[1010, 1011] = %c11796480,
[1011, 1022] = %c11796480,
[1012, 1014] = %c23592960,
[1013, 1014] = %c73728,
[1014, 1018] = %c11796480,
[1015, 1016] = %c11796480,
[1015, 1016] = %c11796480,
[1016, 1017] = %c23592960,
[1016, 1017] = %c23592960,
[1017, 1018] = %c3397386240,
[1018, 1019] = %c11796480,
[1018, 1019] = %c3397386240,
[1019, 1020] = %c11796480,
[1019, 1020] = %c1698693120,
[1020, 1021] = %c11796480,
[1021, 1022] = %c11796480,
[1022, 1035] = %c11796480,
[1023, 1025] = %c23592960,
[1024, 1025] = %c73728,
[1024, 1025] = %c102400,
[1025, 1026] = %c11796480,
[1025, 1026] = %c98560,
[1026, 1027] = %c11796480,
[1026, 1027] = %c197120,
[1026, 1028] = %c245760,
[1027, 1028] = %c23592960,
[1028, 1029] = %c35389440,
[1029, 1030] = %c102400,
[1029, 1030] = %c28385280,
[1030, 1031] = %c98560,
[1030, 1031] = %c28385280,
[1031, 1032] = %c98560,
[1031, 1032] = %c14192640,
[1031, 1033] = %c17694720,
[1031, 1033] = %c122880,
[1033, 1034] = %c11796480,
[1034, 1035] = %c11796480,
[1035, 1042] = %c11796480,
[1036, 1038] = %c23592960,
[1037, 1038] = %c73728,
[1038, 1039] = %c11796480,
[1039, 1040] = %c94371840,
[1040, 1041] = %c47185920,
[1040, 1041] = %c47185920,
[1041, 1042] = %c47185920,
[1042, 1043] = %c11796480,
[1043, 1044] = %c11796480,
[1044, 1048] = %c11796480,
[1045, 1047] = %c23592960,
[1046, 1048] = %c256,
[1046, 1048] = %c256,
[1048, 1049] = %c11796480,
[1049, 1050] = %c11796480,
[1049, 1051] = %c12293120,
[1051, 1052] = %c106168320
}) : index
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment