mil_infer 0.5.2

//! Generated ANEC conv1x1 emission parameters - recovered by sweeping
//! `emit_conv1x1_dyn` against the reference compiler for every channel
//! count in `C = 32..=4096` (`/tmp/cdense` + `/tmp/cdense2` artifacts).
//!
//! `f14` (program-descriptor count) and the `0x158` row pad are ANEC
//! scheduler internals with no clean closed form - both are stored
//! verbatim per channel count. Packed u32 per `C-32`:
//!   bits[0..12)  f14   - text 0x14 / blob 0xbe8
//!   bits[12..16) pad16 - (field@0x158 - C*16)/16
//!   bit 16       big   - text 0x124 = 0x244404 when set, else 0x200004
//! `u32::MAX` marks the 59-symbol variant window `C in 713..=720`,
//! which uses a different program plan and is not yet emittable.
pub(crate) static CONV_CHAN_TABLE: &[u32] = &[
    0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0,
    0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0,
    0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0,
    0, 0, 0, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1,
    1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1,
    1, 1, 1, 1, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2,
    2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 3, 3, 3, 3, 3, 3, 3, 3, 3,
    3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3,
    3, 3, 4, 4, 4, 4, 4, 4, 4, 4, 4, 4, 4, 4, 4, 4, 4, 4, 4, 4, 4, 4, 4, 4, 4, 4, 4, 4, 4, 4, 4, 4,
    4, 4, 4, 4, 4, 4, 4, 5, 5, 5, 5, 5, 5, 5, 5, 5, 5, 5, 5, 5, 5, 5, 5, 5, 5, 5, 5, 5, 5, 5, 5, 5,
    5, 5, 5, 5, 5, 5, 5, 5, 5, 6, 6, 6, 6, 6, 6, 6, 6, 6, 6, 6, 6, 6, 6, 6, 6, 6, 6, 6, 6, 6, 6, 6,
    6, 6, 6, 6, 6, 6, 6, 6, 6, 7, 7, 7, 7, 7, 7, 7, 7, 7, 7, 7, 7, 7, 7, 7, 7, 7, 7, 7, 7, 7, 7, 7,
    7, 7, 7, 7, 7, 7, 8, 8, 8, 8, 8, 8, 8, 8, 8, 8, 8, 8, 8, 8, 8, 8, 8, 8, 8, 8, 8, 8, 8, 8, 8, 8,
    8, 9, 9, 9, 9, 9, 9, 9, 9, 9, 9, 9, 9, 9, 9, 9, 9, 9, 9, 9, 9, 9, 9, 9, 9, 9, 9, 10, 10, 10,
    10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 11, 11,
    11, 11, 11, 11, 11, 11, 11, 11, 11, 11, 11, 11, 11, 11, 11, 11, 11, 11, 11, 11, 11, 12, 12, 12,
    12, 12, 12, 12, 12, 12, 12, 12, 12, 12, 12, 12, 12, 12, 12, 12, 12, 12, 12, 12, 13, 13, 13, 13,
    13, 13, 13, 13, 13, 13, 13, 13, 13, 13, 13, 13, 13, 13, 13, 13, 13, 13, 14, 14, 14, 14, 14, 14,
    14, 14, 14, 14, 14, 14, 14, 14, 14, 14, 14, 14, 14, 14, 14, 15, 15, 15, 15, 15, 15, 15, 15, 15,
    15, 15, 15, 15, 15, 15, 15, 15, 15, 15, 15, 16, 16, 16, 16, 16, 16, 16, 16, 16, 16, 16, 16, 16,
    16, 16, 16, 16, 16, 16, 16, 17, 17, 17, 17, 17, 17, 17, 17, 17, 17, 17, 17, 17, 17, 17, 17, 17,
    17, 17, 18, 18, 18, 18, 18, 18, 18, 18, 18, 18, 18, 18, 18, 18, 18, 18, 18, 18, 19, 19, 19, 19,
    19, 19, 19, 19, 19, 19, 19, 19, 19, 19, 19, 19, 19, 19, 20, 20, 20, 20, 20, 20, 20, 20, 20, 20,
    20, 20, 20, 20, 20, 20, 20, 20, 21, 21, 21, 21, 21, 21, 21, 21, 21, 21, 21, 0xffffffff,
    0xffffffff, 0xffffffff, 0xffffffff, 0xffffffff, 0xffffffff, 0xffffffff, 0xffffffff, 65558,
    65558, 65558, 65558, 73750, 69654, 65558, 65558, 65558, 65558, 65558, 65558, 65558, 65558,
    77846, 73751, 69655, 65559, 65559, 65559, 65559, 65559, 65559, 65559, 65559, 73751, 69655,
    65559, 65559, 65559, 65559, 65559, 65560, 65560, 65560, 65560, 65560, 65560, 65560, 65560,
    65560, 65560, 65560, 65560, 65560, 86040, 81944, 77848, 73753, 69657, 65561, 65561, 65561,
    65561, 65561, 65561, 65561, 65561, 65561, 65561, 65561, 65561, 65561, 65561, 65562, 65562,
    65562, 65562, 73754, 69658, 65562, 65562, 65562, 65562, 65562, 65562, 65562, 65562, 77850,
    73755, 69659, 65563, 65563, 65563, 65563, 65563, 65563, 65563, 65563, 73755, 69659, 65563,
    65563, 65563, 65563, 65564, 65564, 65564, 65564, 65564, 65564, 65564, 65564, 65564, 65564,
    65564, 65564, 65564, 65564, 86044, 81949, 77853, 73757, 69661, 65565, 65565, 65565, 65565,
    65565, 65565, 65565, 65565, 65565, 65565, 65566, 65566, 65566, 65566, 65566, 65566, 65566,
    65566, 73758, 69662, 65566, 65566, 65566, 65566, 65566, 65567, 65567, 65567, 77855, 73759,
    69663, 65567, 65567, 65567, 65567, 65567, 65567, 65567, 65567, 73760, 69664, 65568, 65568,
    65568, 65568, 65568, 65568, 65568, 65568, 65568, 65568, 65568, 65568, 65569, 65569, 65569,
    65569, 65569, 65569, 86049, 81953, 77857, 73761, 69665, 65569, 65569, 65569, 65570, 65570,
    65570, 65570, 65570, 65570, 65570, 65570, 65570, 65570, 65570, 65570, 65570, 65570, 65571,
    73763, 69667, 65571, 65571, 65571, 65571, 65571, 65571, 65571, 65571, 77859, 73763, 69668,
    65572, 65572, 65572, 65572, 65572, 65572, 65572, 65572, 73764, 69668, 65572, 65572, 65573,
    65573, 65573, 65573, 65573, 65573, 65573, 65573, 65573, 65573, 65573, 65573, 65573, 65574,
    65574, 65574, 86054, 81958, 77862, 73766, 69670, 65574, 65574, 65574, 65574, 65574, 65575,
    65575, 65575, 65575, 65575, 65575, 65575, 65575, 65575, 65575, 65575, 65575, 65575, 73768,
    69672, 65576, 65576, 65576, 65576, 65576, 65576, 65576, 65576, 77864, 73768, 69673, 65577,
    65577, 65577, 65577, 65577, 65577, 65577, 65577, 73769, 69673, 65577, 65577, 65578, 65578,
    65578, 65578, 65578, 65578, 65578, 65578, 65578, 65578, 65578, 65578, 65579, 65579, 65579,
    65579, 86059, 81963, 77867, 73771, 69675, 65579, 65579, 65579, 65580, 65580, 65580, 65580,
    65580, 65580, 65580, 65580, 65580, 65580, 65580, 65580, 65581, 65581, 65581, 73773, 69677,
    65581, 65581, 65581, 65581, 65581, 65581, 65581, 65582, 77870, 73774, 69678, 65582, 65582,
    65582, 65582, 65582, 65582, 65582, 65582, 73775, 69679, 65583, 65583, 65583, 65583, 65583,
    65583, 65583, 65583, 65583, 65584, 65584, 65584, 65584, 65584, 65584, 65584, 65584, 65584,
    86064, 81968, 77872, 73777, 69681, 65585, 65585, 65585, 65585, 65585, 65585, 65585, 65585,
    65585, 65586, 65586, 65586, 65586, 65586, 65586, 65586, 65586, 65586, 73778, 69682, 65587,
    65587, 65587, 65587, 65587, 65587, 65587, 65587, 77875, 73779, 69683, 65587, 65588, 65588,
    65588, 65588, 65588, 65588, 65588, 73780, 69684, 65588, 65588, 65589, 65589, 65589, 65589,
    65589, 65589, 65589, 65589, 65589, 65589, 65589, 65590, 65590, 65590, 65590, 65590, 86070,
    81974, 77878, 73782, 69686, 65591, 65591, 65591, 65591, 65591, 65591, 65591, 65591, 65591,
    65591, 65591, 65592, 65592, 65592, 65592, 65592, 65592, 65592, 73784, 69688, 65592, 65592,
    65593, 65593, 65593, 65593, 65593, 65593, 77881, 73785, 69689, 65593, 65594, 65594, 65594,
    65594, 65594, 65594, 65594, 73786, 69690, 65594, 65594, 65595, 65595, 65595, 65595, 65595,
    65595, 65595, 65595, 65595, 65595, 65596, 65596, 65596, 65596, 65596, 65596, 86076, 81980,
    77884, 73788, 69693, 65597, 65597, 65597, 65597, 65597, 65597, 65597, 65597, 65597, 65597,
    65598, 65598, 65598, 65598, 65598, 65598, 65598, 65598, 73790, 69694, 65599, 65599, 65599,
    65599, 65599, 65599, 65599, 65599, 77887, 73791, 69696, 65600, 65600, 65600, 65600, 65600,
    65600, 65600, 65600, 73792, 69697, 65601, 65601, 65601, 65601, 65601, 65601, 65601, 65601,
    65601, 65602, 65602, 65602, 65602, 65602, 65602, 65602, 65602, 65602, 86082, 81987, 77891,
    73795, 69699, 65603, 65603, 65603, 65603, 65603, 65604, 65604, 65604, 65604, 65604, 65604,
    65604, 65604, 65604, 65604, 65605, 65605, 65605, 73797, 69701, 65605, 65605, 65605, 65605,
    65606, 65606, 65606, 65606, 77894, 73798, 69702, 65606, 65606, 65606, 65607, 65607, 65607,
    65607, 65607, 73799, 69703, 65607, 65607, 65608, 65608, 65608, 65608, 65608, 65608, 65608,
    65608, 65608, 65608, 65609, 65609, 65609, 65609, 65609, 65609, 86089, 81993, 77897, 73802,
    69706, 65610, 65610, 65610, 65610, 65610, 65610, 65610, 65611, 65611, 65611, 65611, 65611,
    65611, 65611, 65611, 65611, 65611, 65612, 73804, 69708, 65612, 65612, 65612, 65612, 65612,
    65612, 65613, 65613, 77901, 73805, 69709, 65613, 65613, 65613, 65613, 65614, 65614, 65614,
    65614, 73806, 69710, 65614, 65614, 65614, 65615, 65615, 65615, 65615, 65615, 65615, 65615,
    65615, 65615, 65616, 65616, 65616, 65616, 65616, 65616, 86096, 82000, 77904, 73809, 69713,
    65617, 65617, 65617, 65617, 65617, 65617, 65617, 65618, 65618, 65618, 65618, 65618, 65618,
    65618, 65618, 65619, 65619, 65619, 73811, 69715, 65619, 65619, 65619, 65619, 65620, 65620,
    65620, 65620, 77908, 73812, 69716, 65620, 65620, 65621, 65621, 65621, 65621, 65621, 65621,
    73813, 69717, 65622, 65622, 65622, 65622, 65622, 65622, 65622, 65622, 65622, 65623, 65623,
    65623, 65623, 65623, 65623, 65623, 65623, 65623, 86104, 82008, 77912, 73816, 69720, 65624,
    65624, 65624, 65625, 65625, 65625, 65625, 65625, 65625, 65625, 65625, 65625, 65626, 65626,
    65626, 65626, 65626, 65626, 73818, 69722, 65627, 65627, 65627, 65627, 65627, 65627, 65627,
    65627, 77916, 73820, 69724, 65628, 65628, 65628, 65628, 65628, 65628, 65629, 65629, 73821,
    69725, 65629, 65629, 65629, 65629, 65630, 65630, 65630, 65630, 65630, 65630, 65630, 65630,
    65631, 65631, 65631, 65631, 65631, 65631, 86111, 82015, 77920, 73824, 69728, 65632, 65632,
    65632, 65632, 65632, 65632, 65633, 65633, 65633, 65633, 65633, 65633, 65633, 65633, 65634,
    65634, 65634, 65634, 73826, 69730, 65634, 65634, 65635, 65635, 65635, 65635, 65635, 65635,
    77923, 73827, 69732, 65636, 65636, 65636, 65636, 65636, 65636, 65636, 65637, 73829, 69733,
    65637, 65637, 65637, 65637, 65637, 65638, 65638, 65638, 65638, 65638, 65638, 65638, 65638,
    65639, 65639, 65639, 65639, 65639, 86119, 82023, 77928, 73832, 69736, 65640, 65640, 65640,
    65640, 65640, 65641, 65641, 65641, 65641, 65641, 65641, 65641, 65641, 65642, 65642, 65642,
    65642, 65642, 73834, 69738, 65642, 65643, 65643, 65643, 65643, 65643, 65643, 65643, 77931,
    73836, 69740, 65644, 65644, 65644, 65644, 65644, 65645, 65645, 65645, 73837, 69741, 65645,
    65645, 65645, 65646, 65646, 65646, 65646, 65646, 65646, 65646, 65647, 65647, 65647, 65647,
    65647, 65647, 65647, 65647, 86128, 82032, 77936, 73840, 69744, 65648, 65648, 65648, 65649,
    65649, 65649, 65649, 65649, 65649, 65649, 65650, 65650, 65650, 65650, 65650, 65650, 65650,
    65650, 73843, 69747, 65651, 65651, 65651, 65651, 65651, 65652, 65652, 65652, 77940, 73844,
    69748, 65652, 65653, 65653, 65653, 65653, 65653, 65653, 65653, 73845, 69750, 65654, 65654,
    65654, 65654, 65654, 65654, 65655, 65655, 65655, 65655, 65655, 65655, 65655, 65656, 65656,
    65656, 65656, 65656, 86136, 82040, 77944, 73849, 69753, 65657, 65657, 65657, 65657, 65657,
    65658, 65658, 65658, 65658, 65658, 65658, 65658, 65659, 65659, 65659, 65659, 65659, 65659,
    73851, 69756, 65660, 65660, 65660, 65660, 65660, 65660, 65660, 65661, 77949, 73853, 69757,
    65661, 65661, 65661, 65662, 65662, 65662, 65662, 65662, 73854, 69758, 65663, 65663, 65663,
    65663, 65663, 65663, 65663, 65664, 65664, 65664, 65664, 65664, 65664, 65664, 65665, 65665,
    65665, 65665, 86145, 82049, 77953, 73858, 69762, 65666, 65666, 65666, 65666, 65666, 65667,
    65667, 65667, 65667, 65667, 65667, 65667, 65668, 65668, 65668, 65668, 65668, 65668, 73860,
    69765, 65669, 65669, 65669, 65669, 65669, 65669, 65670, 65670, 77958, 73862, 69766, 65670,
    65670, 65671, 65671, 65671, 65671, 65671, 65671, 73863, 69768, 65672, 65672, 65672, 65672,
    65672, 65673, 65673, 65673, 65673, 65673, 65673, 65673, 65674, 65674, 65674, 65674, 65674,
    65674, 86154, 82059, 77963, 73867, 69771, 65675, 65675, 65675, 65676, 65676, 65676, 65676,
    65676, 65676, 65676, 65677, 65677, 65677, 65677, 65677, 65677, 65678, 65678, 73870, 69774,
    65678, 65678, 65678, 65679, 65679, 65679, 65679, 65679, 77967, 73871, 69776, 65680, 65680,
    65680, 65680, 65680, 65681, 65681, 65681, 73873, 69777, 65681, 65681, 65682, 65682, 65682,
    65682, 65682, 65682, 65682, 65683, 65683, 65683, 65683, 65683, 65683, 65684, 65684, 65684,
    86164, 82068, 77972, 73876, 69781, 65685, 65685, 65685, 65685, 65685, 65686, 65686, 65686,
    65686, 65686, 65686, 65686, 65687, 65687, 65687, 65687, 65687, 65687, 73880, 69784, 65688,
    65688, 65688, 65688, 65688, 65689, 65689, 65689, 77977, 73881, 69785, 65690, 65690, 65690,
    65690, 65690, 65690, 65690, 65691, 73883, 69787, 65691, 65691, 65691, 65692, 65692, 65692,
    65692, 65692, 65692, 65693, 65693, 65693, 65693, 65693, 65693, 65693, 65694, 65694, 86174,
    82078, 77982, 73886, 69791, 65695, 65695, 65695, 65695, 65695, 65695, 65696, 65696, 65696,
    65696, 65696, 65696, 65697, 65697, 65697, 65697, 65697, 65697, 73890, 69794, 65698, 65698,
    65698, 65698, 65699, 65699, 65699, 65699, 77987, 73891, 69795, 65700, 65700, 65700, 65700,
    65700, 65700, 65701, 65701, 73893, 69797, 65701, 65701, 65702, 65702, 65702, 65702, 65702,
    65702, 65703, 65703, 65703, 65703, 65703, 65703, 65703, 65704, 65704, 65704, 86184, 82088,
    77992, 73897, 69801, 65705, 65705, 65705, 65705, 65706, 65706, 65706, 65706, 65706, 65706,
    65707, 65707, 65707, 65707, 65707, 65707, 65708, 65708, 73900, 69804, 65708, 65708, 65709,
    65709, 65709, 65709, 65709, 65709, 77998, 73902, 69806, 65710, 65710, 65710, 65711, 65711,
    65711, 65711, 65711, 73903, 69808, 65712, 65712, 65712, 65712, 65712, 65713, 65713, 65713,
    65713, 65713, 65713, 65714, 65714, 65714, 65714, 65714, 65714, 65715, 86195, 82099, 78003,
    73907, 69811, 65716, 65716, 65716, 65716, 65716, 65716, 65717, 65717, 65717, 65717, 65717,
    65717, 65718, 65718, 65718, 65718, 65718, 65718, 73911, 69815, 65719, 65719, 65719, 65719,
    65720, 65720, 65720, 65720, 78008, 73912, 69817, 65721, 65721, 65721, 65721, 65721, 65722,
    65722, 65722, 73914, 69818, 65722, 65723, 65723, 65723, 65723, 65723, 65723, 65724, 65724,
    65724, 65724, 65724, 65725, 65725, 65725, 65725, 65725, 65725, 86206, 82110, 78014, 73918,
    69822, 65726, 65727, 65727, 65727, 65727, 65727, 65727, 65728, 65728, 65728, 65728, 65728,
    65729, 65729, 65729, 65729, 65729, 65729, 73922, 69826, 65730, 65730, 65730, 65730, 65731,
    65731, 65731, 65731, 78019, 73923, 69828, 65732, 65732, 65732, 65732, 65733, 65733, 65733,
    65733, 73925, 69829, 65734, 65734, 65734, 65734, 65734, 65734, 65735, 65735, 65735, 65735,
    65735, 65736, 65736, 65736, 65736, 65736, 65736, 65737, 86217, 82121, 78025, 73929, 69833,
    65738, 65738, 65738, 65738, 65738, 65739, 65739, 65739, 65739, 65739, 65739, 65740, 65740,
    65740, 65740, 65740, 65740, 65741, 73933, 69837, 65741, 65741, 65742, 65742, 65742, 65742,
    65742, 65742, 78031, 73935, 69839, 65743, 65743, 65744, 65744, 65744, 65744, 65744, 65744,
    73937, 69841, 65745, 65745, 65745, 65746, 65746, 65746, 65746, 65746, 65746, 65747, 65747,
    65747, 65747, 65747, 65748, 65748, 65748, 65748, 86228, 82132, 78037, 73941, 69845, 65749,
    65749, 65750, 65750, 65750, 65750, 65750, 65750, 65751, 65751, 65751, 65751, 65751, 65752,
    65752, 65752, 65752, 65752, 73944, 69849, 65753, 65753, 65753, 65753, 65754, 65754, 65754,
    65754, 78042, 73947, 69851, 65755, 65755, 65755, 65755, 65756, 65756, 65756, 65756, 73948,
    69853, 65757, 65757, 65757, 65757, 65757, 65758, 65758, 65758, 65758, 65758, 65759, 65759,
    65759, 65759, 65759, 65760, 65760, 65760, 86240, 82144, 78048, 73953, 69857, 65761, 65761,
    65761, 65762, 65762, 65762, 65762, 65762, 65763, 65763, 65763, 65763, 65763, 65763, 65764,
    65764, 65764, 65764, 73956, 69861, 65765, 65765, 65765, 65765, 65766, 65766, 65766, 65766,
    78054, 73959, 69863, 65767, 65767, 65767, 65767, 65768, 65768, 65768, 65768, 73960, 69865,
    65769, 65769, 65769, 65769, 65770, 65770, 65770, 65770, 65770, 65771, 65771, 65771, 65771,
    65771, 65771, 65772, 65772, 65772, 86252, 82156, 78061, 73965, 69869, 65773, 65773, 65774,
    65774, 65774, 65774, 65774, 65775, 65775, 65775, 65775, 65775, 65776, 65776, 65776, 65776,
    65776, 65776, 73969, 69873, 65777, 65777, 65777, 65778, 65778, 65778, 65778, 65778, 78067,
    73971, 69875, 65779, 65779, 65780, 65780, 65780, 65780, 65780, 65781, 73973, 69877, 65781,
    65781, 65782, 65782, 65782, 65782, 65782, 65783, 65783, 65783, 65783, 65783, 65784, 65784,
    65784, 65784, 65784, 65785, 86265, 82169, 78073, 73977, 69882, 65786, 65786, 65786, 65786,
    65787, 65787, 65787, 65787, 65787, 65787, 65788, 65788, 65788, 65788, 65788, 65789, 65789,
    65789, 73981, 69885, 65790, 65790, 65790, 65790, 65790, 65791, 65791, 65791, 78079, 73983,
    69888, 65792, 65792, 65792, 65792, 65793, 65793, 65793, 65793, 73985, 69890, 65794, 65794,
    65794, 65794, 65795, 65795, 65795, 65795, 65795, 65796, 65796, 65796, 65796, 65796, 65797,
    65797, 65797, 65797, 86277, 82182, 78086, 73990, 69894, 65799, 65799, 65799, 65799, 65799,
    65800, 65800, 65800, 65800, 65800, 65801, 65801, 65801, 65801, 65801, 65802, 65802, 65802,
    73994, 69898, 65803, 65803, 65803, 65803, 65803, 65804, 65804, 65804, 78092, 73996, 69901,
    65805, 65805, 65805, 65805, 65806, 65806, 65806, 65806, 73998, 69903, 65807, 65807, 65807,
    65808, 65808, 65808, 65808, 65808, 65809, 65809, 65809, 65809, 65809, 65810, 65810, 65810,
    65810, 65810, 86291, 82195, 78099, 74003, 69907, 65812, 65812, 65812, 65812, 65812, 65813,
    65813, 65813, 65813, 65814, 65814, 65814, 65814, 65814, 65815, 65815, 65815, 65815, 74007,
    69912, 65816, 65816, 65816, 65816, 65817, 65817, 65817, 65817, 78105, 74010, 69914, 65818,
    65818, 65819, 65819, 65819, 65819, 65819, 65820, 74012, 69916, 65820, 65820, 65821, 65821,
    65821, 65821, 65821, 65822, 65822, 65822, 65822, 65823, 65823, 65823, 65823, 65823, 65824,
    65824, 86304, 82208, 78112, 74017, 69921, 65825, 65825, 65826, 65826, 65826, 65826, 65826,
    65827, 65827, 65827, 65827, 65827, 65828, 65828, 65828, 65828, 65829, 65829, 74021, 69925,
    65829, 65830, 65830, 65830, 65830, 65830, 65831, 65831, 78119, 74023, 69928, 65832, 65832,
    65832, 65832, 65833, 65833, 65833, 65833, 74025, 69930, 65834, 65834, 65834, 65835, 65835,
    65835, 65835, 65835, 65836, 65836, 65836, 65836, 65836, 65837, 65837, 65837, 65837, 65838,
    86318, 82222, 78126, 74030, 69935, 65839, 65839, 65839, 65840, 65840, 65840, 65840, 65840,
    65841, 65841, 65841, 65841, 65842, 65842, 65842, 65842, 65842, 65843, 74035, 69939, 65843,
    65843, 65844, 65844, 65844, 65844, 65845, 65845, 78133, 74037, 69941, 65846, 65846, 65846,
    65846, 65847, 65847, 65847, 65847, 74039, 69944, 65848, 65848, 65848, 65849, 65849, 65849,
    65849, 65849, 65850, 65850, 65850, 65850, 65851, 65851, 65851, 65851, 65851, 65852, 86332,
    82236, 78140, 74045, 69949, 65853, 65853, 65853, 65854, 65854, 65854, 65854, 65855, 65855,
    65855, 65855, 65855, 65856, 65856, 65856, 65856, 65857, 65857, 74049, 69953, 65857, 65858,
    65858, 65858, 65858, 65859, 65859, 65859, 78147, 74051, 69956, 65860, 65860, 65860, 65861,
    65861, 65861, 65861, 65862, 74054, 69958, 65862, 65862, 65863, 65863, 65863, 65863, 65864,
    65864, 65864, 65864, 65864, 65865, 65865, 65865, 65865, 65866, 65866, 65866, 86346, 82250,
    78155, 74059, 69963, 65867, 65868, 65868, 65868, 65868, 65869, 65869, 65869, 65869, 65869,
    65870, 65870, 65870, 65870, 65871, 65871, 65871, 65871, 74064, 69968, 65872, 65872, 65872,
    65873, 65873, 65873, 65873, 65874, 78162, 74066, 69970, 65874, 65875, 65875, 65875, 65875,
    65876, 65876, 65876, 74068, 69973, 65877, 65877, 65877, 65877, 65878, 65878, 65878, 65878,
    65879, 65879, 65879, 65879, 65880, 65880, 65880, 65880, 65880, 65881, 86361, 82265, 78169,
    74074, 69978, 65882, 65882, 65883, 65883, 65883, 65883, 65884, 65884, 65884, 65884, 65884,
    65885, 65885, 65885, 65885, 65886, 65886, 65886, 74078, 69983, 65887, 65887, 65887, 65888,
    65888, 65888, 65888, 65888, 78177, 74081, 69985, 65889, 65890, 65890, 65890, 65890, 65891,
    65891, 65891, 74083, 69988, 65892, 65892, 65892, 65892, 65893, 65893, 65893, 65893, 65894,
    65894, 65894, 65894, 65895, 65895, 65895, 65895, 65896, 65896, 86376, 82280, 78184, 74089,
    69993, 65897, 65897, 65898, 65898, 65898, 65898, 65899, 65899, 65899, 65899, 65900, 65900,
    65900, 65900, 65901, 65901, 65901, 65901, 74093, 69998, 65902, 65902, 65902, 65903, 65903,
    65903, 65903, 65904, 78192, 74096, 70000, 65905, 65905, 65905, 65905, 65906, 65906, 65906,
    65906, 74099, 70003, 65907, 65907, 65907, 65908, 65908, 65908, 65908, 65909, 65909, 65909,
    65909, 65910, 65910, 65910, 65910, 65911, 65911, 65911, 86391, 82296, 78200, 74104, 70008,
    65913, 65913, 65913, 65913, 65914, 65914, 65914, 65914, 65915, 65915, 65915, 65915, 65915,
    65916, 65916, 65916, 65916, 65917, 74109, 70013, 65917, 65918, 65918, 65918, 65918, 65919,
    65919, 65919, 78207, 74112, 70016, 65920, 65920, 65921, 65921, 65921, 65921, 65922, 65922,
    74114, 70018, 65923, 65923, 65923, 65923, 65924, 65924, 65924, 65924, 65925, 65925, 65925,
    65925, 65926, 65926, 65926, 65926, 65927, 65927, 86407, 82311, 78216, 74120, 70024, 65928,
    65929, 65929, 65929, 65929, 65929, 65930, 65930, 65930, 65930, 65931, 65931, 65931, 65931,
    65932, 65932, 65932, 65932, 74125, 70029, 65933, 65933, 65934, 65934, 65934, 65934, 65935,
    65935, 78223, 74127, 70032, 65936, 65936, 65936, 65937, 65937, 65937, 65937, 65938, 74130,
    70034, 65938, 65939, 65939, 65939, 65939, 65940, 65940, 65940, 65940, 65941, 65941, 65941,
    65941, 65942, 65942, 65942, 65942, 65943, 86423, 82327, 78232, 74136, 70040, 65944, 65945,
    65945, 65945, 65945, 65946, 65946, 65946, 65946, 65947, 65947, 65947, 65947, 65948, 65948,
    65948, 65948, 65949, 74141, 70045, 65949, 65950, 65950, 65950, 65950, 65951, 65951, 65951,
    78239, 74144, 70048, 65952, 65952, 65953, 65953, 65953, 65953, 65954, 65954, 74146, 70050,
    65955, 65955, 65955, 65955, 65956, 65956, 65956, 65956, 65957, 65957, 65957, 65958, 65958,
    65958, 65958, 65959, 65959, 65959, 86439, 82344, 78248, 74152, 70056, 65961, 65961, 65961,
    65961, 65962, 65962, 65962, 65962, 65963, 65963, 65963, 65963, 65964, 65964, 65964, 65964,
    65965, 65965, 74157, 70062, 65966, 65966, 65966, 65967, 65967, 65967, 65967, 65968, 78256,
    74160, 70064, 65969, 65969, 65969, 65969, 65970, 65970, 65970, 65970, 74163, 70067, 65971,
    65972, 65972, 65972, 65972, 65973, 65973, 65973, 65973, 65974, 65974, 65974, 65974, 65975,
    65975, 65975, 65975, 65976, 86456, 82360, 78264, 74169, 70073, 65977, 65978, 65978, 65978,
    65978, 65979, 65979, 65979, 65979, 65980, 65980, 65980, 65980, 65981, 65981, 65981, 65981,
    65982, 74174, 70078, 65983, 65983, 65983, 65983, 65984, 65984, 65984, 65984, 78273, 74177,
    70081, 65985, 65986, 65986, 65986, 65987, 65987, 65987, 65987, 74180, 70084, 65988, 65988,
    65989, 65989, 65989, 65989, 65990, 65990, 65990, 65990, 65991, 65991, 65991, 65992, 65992,
    65992, 65992, 65993, 86473, 82377, 78281, 74186, 70090, 65994, 65995, 65995, 65995, 65995,
    65996, 65996, 65996, 65996, 65997, 65997, 65997, 65997, 65998, 65998, 65998, 65999, 65999,
    74191, 70095, 66000, 66000, 66000, 66000, 66001, 66001, 66001, 66001, 78290, 74194, 70098,
    66003, 66003, 66003, 66003, 66004, 66004, 66004, 66004, 74197, 70101, 66005, 66006, 66006,
    66006, 66006, 66007, 66007, 66007, 66007, 66008, 66008, 66008, 66009, 66009, 66009, 66009,
    66010, 66010, 86490, 82394, 78299, 74203, 70107, 66012, 66012, 66012, 66012, 66013, 66013,
    66013, 66013, 66014, 66014, 66014, 66015, 66015, 66015, 66015, 66016, 66016, 66016, 74208,
    70113, 66017, 66017, 66018, 66018, 66018, 66018, 66019, 66019, 78307, 74211, 70116, 66020,
    66020, 66021, 66021, 66021, 66021, 66022, 66022, 74214, 70119, 66023, 66023, 66023, 66024,
    66024, 66024, 66024, 66025, 66025, 66025, 66026, 66026, 66026, 66026, 66027, 66027, 66027,
    66027, 86508, 82412, 78316, 74221, 70125, 66029, 66029, 66030, 66030, 66030, 66031, 66031,
    66031, 66031, 66032, 66032, 66032, 66032, 66033, 66033, 66033, 66034, 66034, 74226, 70130,
    66035, 66035, 66035, 66036, 66036, 66036, 66036, 66037, 78325, 74229, 70134, 66038, 66038,
    66038, 66039, 66039, 66039, 66039, 66040, 74232, 70136, 66041, 66041, 66041, 66041, 66042,
    66042, 66042, 66043, 66043, 66043, 66043, 66044, 66044, 66044, 66045, 66045, 66045, 66045,
    86526, 82430, 78334, 74239, 70143, 66047, 66047, 66048, 66048, 66048, 66048, 66049, 66049,
    66049, 66050, 66050, 66050, 66050, 66051, 66051, 66051, 66052, 66052, 74244, 70148, 66053,
    66053, 66053, 66054, 66054, 66054, 66054, 66055, 78343, 74247, 70152, 66056, 66056, 66056,
    66057, 66057, 66057, 66058, 66058, 74250, 70154, 66059, 66059, 66059, 66060, 66060, 66060,
    66060, 66061, 66061, 66061, 66062, 66062, 66062, 66062, 66063, 66063, 66063, 66064, 86544,
    82448, 78352, 74257, 70161, 66065, 66066, 66066, 66066, 66066, 66067, 66067, 66067, 66068,
    66068, 66068, 66069, 66069, 66069, 66069, 66070, 66070, 66070, 74263, 70167, 66071, 66071,
    66072, 66072, 66072, 66073, 66073, 66073, 78361, 74266, 70170, 66074, 66075, 66075, 66075,
    66075, 66076, 66076, 66076, 74269, 70173, 66077, 66077, 66078, 66078, 66078, 66079, 66079,
    66079, 66080, 66080, 66080, 66080, 66081, 66081, 66081, 66082, 66082, 66082, 86562, 82467,
    78371, 74275, 70180, 66084, 66084, 66084, 66085, 66085, 66085, 66086, 66086, 66086, 66087,
    66087, 66087, 66087, 66088, 66088, 66088, 66089, 66089, 74281, 70185, 66090, 66090, 66090,
    66091, 66091, 66091, 66092, 66092, 78380, 74284, 70189, 66093, 66093, 66094, 66094, 66094,
    66095, 66095, 66095, 74287, 70192, 66096, 66096, 66097, 66097, 66097, 66097, 66098, 66098,
    66098, 66099, 66099, 66099, 66100, 66100, 66100, 66100, 66101, 66101, 86581, 82486, 78390,
    74294, 70199, 66103, 66103, 66103, 66104, 66104, 66104, 66105, 66105, 66105, 66105, 66106,
    66106, 66106, 66107, 66107, 66107, 66108, 66108, 74300, 70204, 66109, 66109, 66109, 66110,
    66110, 66110, 66111, 66111, 78399, 74303, 70208, 66112, 66112, 66113, 66113, 66113, 66114,
    66114, 66114, 74306, 70211, 66115, 66115, 66116, 66116, 66116, 66117, 66117, 66117, 66117,
    66118, 66118, 66118, 66119, 66119, 66119, 66120, 66120, 66120, 86600, 82505, 78409, 74313,
    70218, 66122, 66122, 66123, 66123, 66123, 66124, 66124, 66124, 66124, 66125, 66125, 66125,
    66126, 66126, 66126, 66127, 66127, 66127, 74319, 70224, 66128, 66128, 66129, 66129, 66129,
    66130, 66130, 66130, 78419, 74323, 70227, 66131, 66132, 66132, 66132, 66133, 66133, 66133,
    66134, 74326, 70230, 66135, 66135, 66135, 66135, 66136, 66136, 66136, 66137, 66137, 66137,
    66138, 66138, 66138, 66138, 66139, 66139, 66139, 66140, 86620, 82524, 78429, 74333, 70237,
    66142, 66142, 66142, 66142, 66143, 66143, 66143, 66144, 66144, 66144, 66145, 66145, 66145,
    66146, 66146, 66146, 66146, 66147, 74339, 70243, 66148, 66148, 66148, 66149, 66149, 66149,
    66150, 66150, 78438, 74343, 70247, 66151, 66151, 66152, 66152, 66152, 66153, 66153, 66153,
    74346, 70250, 66154, 66155, 66155, 66155, 66155, 66156, 66156, 66156, 66157, 66157, 66157,
    66158, 66158, 66158, 66159, 66159, 66159, 66160, 86640, 82544, 78448, 74353, 70257, 66161,
    66162, 66162, 66162, 66163, 66163, 66163, 66164, 66164, 66164, 66165, 66165, 66165, 66165,
    66166, 66166, 66166, 66167, 74359, 70263, 66168, 66168, 66168, 66169, 66169, 66169, 66170,
    66170, 78458, 74363, 70267, 66171, 66171, 66172, 66172, 66172, 66173, 66173, 66173, 74366,
    70270, 66174, 66175, 66175, 66175, 66176, 66176, 66176, 66177, 66177, 66177, 66177, 66178,
    66178, 66178, 66179, 66179, 66179, 66180, 86660, 82564, 78469, 74373, 70277, 66182, 66182,
    66182, 66183, 66183, 66183, 66183, 66184, 66184, 66184, 66185, 66185, 66185, 66186, 66186,
    66186, 66187, 66187, 74379, 70284, 66188, 66188, 66189, 66189, 66189, 66190, 66190, 66190,
    78479, 74383, 70287, 66191, 66192, 66192, 66192, 66193, 66193, 66193, 66194, 74386, 70290,
    66195, 66195, 66195, 66196, 66196, 66196, 66197, 66197, 66197, 66198, 66198, 66198, 66199,
    66199, 66199, 66199, 66200, 66200, 86680, 82585, 78489,
];