mil_infer 0.5.2

//! Generated ANEC non-square conv1x1 emission parameters - recovered
//! by sweeping all (Cin, Cout) pairs on the multiples-of-32 grid in
//! 32..=2048 through the reference compiler (/tmp/cnsgrid). Same
//! packing as conv_chan_table, indexed (cin/32-1)*64 + (cout/32-1):
//!   bits[0..12)  f14   - text 0x14 / blob 0xbe8
//!   bits[12..16) pad16 - (field@0x158 - Cin*16)/16
//!   bit 16       big   - text 0x124 = 0x244404 when set
//! Every probed pair emitted the standard 43-symbol plan - no
//! variant windows in the ns plane. u32::MAX marks pairs whose
//! compile failed; the emitter falls back to the per-pass
//! kern-chunk formula for off-grid shapes.
#[rustfmt::skip]
pub(crate) static CONV_NS_TABLE: &[u32] = &[
0,0,0,0,0,0,0,0,0,0,0,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,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,5,5,5,
0,0,0,0,0,0,0,1,1,1,1,1,1,1,1,2,
2,2,2,2,2,2,2,2,3,3,3,3,3,3,3,3,
4,4,4,4,4,4,4,4,5,5,5,5,5,5,5,5,
5,6,6,6,6,6,6,6,6,7,7,7,7,7,7,7,
0,0,0,0,0,1,1,1,1,1,1,2,2,2,2,2,
2,3,3,3,3,3,3,3,4,4,4,4,4,4,5,5,
5,5,5,5,6,6,6,6,6,6,7,7,7,7,7,7,
7,8,8,8,8,8,8,9,9,9,9,9,9,10,10,10,
0,0,0,0,1,1,1,1,1,2,2,2,2,2,3,3,
3,3,3,4,4,4,4,4,5,5,5,5,5,6,6,6,
6,6,7,7,7,7,7,8,8,8,8,8,9,9,9,9,
9,10,10,10,10,10,11,11,11,11,11,12,12,12,12,12,
0,0,0,1,1,1,1,2,2,2,2,3,3,3,3,4,
4,4,4,5,5,5,5,5,6,6,6,6,7,7,7,7,
8,8,8,8,9,9,9,9,10,10,10,10,11,11,11,11,
11,12,12,12,12,13,13,13,13,14,14,14,14,15,15,15,
0,0,1,1,1,1,2,2,2,3,3,3,3,4,4,4,
5,5,5,5,6,6,6,6,7,7,7,8,8,8,8,9,
9,9,10,10,10,10,11,11,11,12,12,12,12,13,13,13,
13,14,14,14,15,15,15,15,16,16,16,17,17,17,17,18,
0,0,1,1,1,2,2,2,3,3,3,4,4,4,5,5,
5,6,6,6,7,7,7,7,8,8,8,9,9,9,10,10,
10,11,11,11,12,12,12,13,13,13,14,14,14,15,15,15,
15,16,16,16,17,17,17,18,18,18,19,19,19,20,20,20,
1,1,1,1,2,2,2,3,3,3,4,4,5,5,5,6,
6,6,7,7,7,8,8,8,9,9,10,10,10,11,11,11,
12,12,12,13,13,14,14,14,15,15,15,16,16,16,17,17,
17,18,18,19,19,19,20,20,20,21,21,21,22,22,23,23,
1,1,1,1,2,2,3,3,3,4,4,5,5,5,6,6,
7,7,7,8,8,9,9,9,10,10,11,11,11,12,12,13,
13,13,14,14,15,15,15,16,16,17,17,17,18,18,19,19,
19,20,20,21,21,21,22,22,73751,73751,73751,73752,73752,73753,73753,73753,
1,1,1,2,2,3,3,3,4,4,5,5,6,6,7,7,
7,8,8,9,9,10,10,10,11,11,12,12,13,13,14,14,
14,15,15,16,16,17,17,18,18,18,19,19,20,20,21,21,
21,22,22,77847,77847,77848,77848,77849,77849,77849,77850,77850,77851,77851,77852,77852,
1,1,1,2,2,3,3,4,4,5,5,6,6,7,7,8,
8,9,9,10,10,11,11,11,12,12,13,13,14,14,15,15,
16,16,17,17,18,18,19,19,20,20,21,21,22,22,73751,73751,
73751,73752,73752,73753,73753,73754,73754,73755,73755,73756,73756,73757,73757,73758,73758,73759,
1,1,2,2,3,3,4,4,5,5,6,6,7,7,8,8,
9,9,10,10,11,11,12,12,13,14,14,15,15,16,16,17,
17,18,18,19,19,20,20,21,21,22,77846,77847,77847,77848,77848,77849,
77849,77850,77851,77851,77852,77852,77853,77853,77854,77854,77855,77855,77856,77856,77857,77857,
1,1,2,2,3,3,4,5,5,6,6,7,7,8,8,9,
10,10,11,11,12,12,13,13,14,15,15,16,16,17,17,18,
19,19,20,20,21,21,22,73750,73751,73752,73752,73753,73753,73754,73754,73755,
73755,73756,73757,73757,73758,73758,73759,73759,73760,73761,73761,73762,73762,73763,73763,73764,
1,1,2,2,3,4,4,5,5,6,7,7,8,8,9,10,
10,11,11,12,13,13,14,14,15,16,16,17,17,18,19,19,
20,20,21,22,77846,77847,77847,77848,77849,77849,77850,77850,77851,77852,77852,77853,
77853,77854,77855,77855,77856,77856,77857,77858,77858,77859,77859,77860,77861,77861,77862,77862,
2,2,2,3,3,4,5,5,6,7,7,8,8,9,10,10,
11,12,12,13,14,14,15,15,16,17,17,18,19,19,20,21,
21,22,73751,73751,73752,73752,73753,73754,73754,73755,73756,73756,73757,73758,73758,73759,
73759,73760,73761,73761,73762,73763,73763,73764,73765,73765,73766,73767,73767,73768,73768,73769,
2,2,2,3,4,4,5,6,6,7,8,8,9,10,10,11,
12,12,13,14,14,15,16,16,17,18,19,19,20,21,21,22,
77847,77847,77848,77849,77849,77850,77851,77851,77852,77853,77853,77854,77855,77855,77856,77857,
77857,77858,77859,77860,77860,77861,77862,77862,77863,77864,77864,77865,77866,77866,77867,77868,
2,2,2,3,4,5,5,6,7,7,8,9,10,10,11,12,
12,13,14,15,15,16,17,17,18,19,20,20,21,22,73751,73751,
73752,73753,73753,73754,73755,73756,73756,73757,73758,73758,73759,73760,73761,73761,73762,73763,
73763,73764,73765,73766,73766,73767,73768,73769,73769,73770,73771,73771,73772,73773,73774,73774,
2,2,3,3,4,5,6,6,7,8,9,9,10,11,12,12,
13,14,15,15,16,17,18,18,19,20,21,22,77846,77847,77848,77849,
77849,77850,77851,77852,77852,77853,77854,77855,77855,77856,77857,77858,77858,77859,77860,77861,
77861,77862,77863,77864,77865,77865,77866,77867,77868,77868,77869,77870,77871,77871,77872,77873,
2,2,3,3,4,5,6,7,7,8,9,10,11,11,12,13,
14,15,15,16,17,18,19,19,20,21,73750,73751,73751,73752,73753,73754,
73755,73755,73756,73757,73758,73759,73759,73760,73761,73762,73763,73763,73764,73765,73766,73767,
73767,73768,73769,73770,73771,73771,73772,73773,73774,73775,73775,73776,73777,73778,73779,73779,
2,2,3,4,5,5,6,7,8,9,10,10,11,12,13,14,
15,15,16,17,18,19,20,20,21,77846,77847,77848,77849,77850,77850,77851,
77852,77853,77854,77855,77855,77856,77857,77858,77859,77860,77860,77861,77862,77863,77864,77865,
77865,77866,77867,77868,77869,77870,77871,77871,77872,77873,77874,77875,77876,77876,77877,77878,
2,2,3,4,5,6,7,7,8,9,10,11,12,13,14,14,
15,16,17,18,19,20,21,21,73750,73751,73752,73753,73754,73755,73756,73757,
73757,73758,73759,73760,73761,73762,73763,73764,73764,73765,73766,73767,73768,73769,73770,73771,
73771,73772,73773,73774,73775,73776,73777,73778,73779,73779,73780,73781,73782,73783,73784,73785,
3,3,3,4,5,6,7,8,9,10,11,11,12,13,14,15,
16,17,18,19,20,21,22,77846,77847,77848,77849,77850,77851,77852,77853,77854,
77855,77856,77857,77858,77858,77859,77860,77861,77862,77863,77864,77865,77866,77867,77868,77869,
77869,77870,77871,77872,77873,77874,77875,77876,77877,77878,77879,77880,77881,77881,77882,77883,
3,3,3,4,5,6,7,8,9,10,11,12,13,14,15,16,
17,18,19,20,21,22,73751,73751,73752,73753,73754,73755,73756,73757,73758,73759,
73760,73761,73762,73763,73764,73765,73766,73767,73768,73769,73770,73771,73772,73773,73774,73775,
73775,73776,73777,73778,73779,73780,73781,73782,73783,73784,73785,73786,73787,73788,73789,73790,
3,3,3,4,5,6,7,8,9,10,11,12,13,14,15,16,
17,18,19,20,21,77846,77847,77848,77849,77850,77851,77852,77853,77854,77855,77856,
77857,77858,77859,77860,77861,77862,77863,77864,77865,77866,77867,77868,77869,77870,77871,77872,
77873,77874,77875,77876,77877,77878,77879,77880,77881,77882,77883,77884,77885,77886,77887,77888,
3,3,4,5,6,7,8,9,10,11,12,13,14,15,16,17,
18,19,20,21,73750,73751,73752,73753,73755,73756,73757,73758,73759,73760,73761,73762,
73763,73764,73765,73766,73767,73768,73769,73770,73771,73772,73773,73774,73775,73776,73777,73778,
73779,73781,73782,73783,73784,73785,73786,73787,73788,73789,73790,73791,73792,73793,73794,73795,
3,3,4,5,6,7,8,9,10,11,12,14,15,16,17,18,
19,20,21,77846,77847,77848,77849,77850,77852,77853,77854,77855,77856,77857,77858,77859,
77860,77861,77862,77863,77865,77866,77867,77868,77869,77870,77871,77872,77873,77874,77875,77876,
77877,77879,77880,77881,77882,77883,77884,77885,77886,77887,77888,77889,77890,77892,77893,77894,
3,3,4,5,6,7,8,10,11,12,13,14,15,16,17,19,
20,21,73750,73751,73752,73753,73754,73755,73757,73758,73759,73760,73761,73762,73763,73764,
73766,73767,73768,73769,73770,73771,73772,73773,73775,73776,73777,73778,73779,73780,73781,73782,
73783,73785,73786,73787,73788,73789,73790,73791,73792,73794,73795,73796,73797,73798,73799,73800,
3,3,4,5,6,8,9,10,11,12,13,15,16,17,18,19,
20,22,77847,77848,77849,77850,77851,77852,77854,77855,77856,77857,77858,77859,77861,77862,
77863,77864,77865,77866,77868,77869,77870,77871,77872,77873,77875,77876,77877,77878,77879,77880,
77881,77883,77884,77885,77886,77887,77888,77890,77891,77892,77893,77894,77895,77897,77898,77899,
4,4,4,5,7,8,9,10,11,13,14,15,16,17,19,20,
21,73750,73751,73753,73754,73755,73756,73757,73759,73760,73761,73762,73763,73765,73766,73767,
73768,73769,73771,73772,73773,73774,73775,73777,73778,73779,73780,73781,73783,73784,73785,73786,
73787,73789,73790,73791,73792,73793,73795,73796,73797,73798,73799,73801,73802,73803,73804,73805,
4,4,4,6,7,8,9,11,12,13,14,16,17,18,19,21,
22,77847,77848,77850,77851,77852,77853,77854,77856,77857,77858,77859,77861,77862,77863,77864,
77866,77867,77868,77869,77871,77872,77873,77874,77876,77877,77878,77879,77881,77882,77883,77884,
77885,77887,77888,77889,77890,77892,77893,77894,77895,77897,77898,77899,77900,77902,77903,77904,
4,4,5,6,7,8,10,11,12,14,15,16,17,19,20,21,
73751,73752,73753,73754,73756,73757,73758,73759,73761,73762,73763,73765,73766,73767,73768,73770,
73771,73772,73774,73775,73776,73777,73779,73780,73781,73783,73784,73785,73786,73788,73789,73790,
73791,73793,73794,73795,73797,73798,73799,73800,73802,73803,73804,73806,73807,73808,73809,73811,
4,4,5,6,7,9,10,11,13,14,15,17,18,19,21,22,
77847,77849,77850,77851,77853,77854,77855,77856,77858,77859,77860,77862,77863,77864,77866,77867,
77868,77870,77871,77872,77874,77875,77876,77878,77879,77880,77882,77883,77884,77886,77887,77888,
77889,77891,77892,77893,77895,77896,77897,77899,77900,77901,77903,77904,77905,77907,77908,77909,
4,4,5,6,8,9,10,12,13,14,16,17,19,20,21,73751,
73752,73753,73755,73756,73757,73759,73760,73761,73763,73764,73766,73767,73768,73770,73771,73772,
73774,73775,73776,73778,73779,73781,73782,73783,73785,73786,73787,73789,73790,73791,73793,73794,
73795,73797,73798,73800,73801,73802,73804,73805,73806,73808,73809,73810,73812,73813,73815,73816,
4,4,5,6,8,9,11,12,13,15,16,18,19,20,22,77847,
77849,77850,77851,77853,77854,77856,77857,77858,77860,77861,77863,77864,77865,77867,77868,77870,
77871,77872,77874,77875,77877,77878,77879,77881,77882,77884,77885,77886,77888,77889,77891,77892,
77893,77895,77896,77898,77899,77900,77902,77903,77905,77906,77907,77909,77910,77912,77913,77914,
4,4,5,7,8,10,11,12,14,15,17,18,20,21,73751,73752,
73753,73755,73756,73758,73759,73761,73762,73763,73765,73766,73768,73769,73771,73772,73774,73775,
73776,73778,73779,73781,73782,73784,73785,73787,73788,73789,73791,73792,73794,73795,73797,73798,
73799,73801,73802,73804,73805,73807,73808,73810,73811,73812,73814,73815,73817,73818,73820,73821,
5,5,5,7,8,10,11,13,14,16,17,19,20,22,77847,77849,
77850,77852,77853,77855,77856,77858,77859,77860,77862,77863,77865,77866,77868,77869,77871,77872,
77874,77875,77877,77878,77880,77881,77883,77884,77886,77887,77889,77890,77892,77893,77895,77896,
77897,77899,77900,77902,77903,77905,77906,77908,77909,77911,77912,77914,77915,77917,77918,77920,
5,5,6,7,9,10,12,13,15,16,18,19,21,73750,73752,73753,
73755,73756,73758,73759,73761,73762,73764,73765,73767,73769,73770,73772,73773,73775,73776,73778,
73779,73781,73782,73784,73785,73787,73788,73790,73791,73793,73794,73796,73797,73799,73800,73802,
73803,73805,73807,73808,73810,73811,73813,73814,73816,73817,73819,73820,73822,73823,73825,73826,
5,5,6,7,9,10,12,14,15,17,18,20,21,77847,77848,77850,
77852,77853,77855,77856,77858,77859,77861,77862,77864,77866,77867,77869,77870,77872,77873,77875,
77877,77878,77880,77881,77883,77884,77886,77887,77889,77891,77892,77894,77895,77897,77898,77900,
77901,77903,77905,77906,77908,77909,77911,77912,77914,77916,77917,77919,77920,77922,77923,77925,
5,5,6,7,9,11,12,14,15,17,19,20,22,73751,73753,73755,
73756,73758,73759,73761,73763,73764,73766,73767,73769,73771,73772,73774,73775,73777,73779,73780,
73782,73783,73785,73787,73788,73790,73791,73793,73795,73796,73798,73799,73801,73803,73804,73806,
73807,73809,73811,73812,73814,73815,73817,73819,73820,73822,73823,73825,73827,73828,73830,73831,
5,5,6,8,9,11,13,14,16,18,19,21,77846,77848,77850,77851,
77853,77855,77856,77858,77860,77861,77863,77864,77866,77868,77869,77871,77873,77874,77876,77878,
77879,77881,77883,77884,77886,77887,77889,77891,77892,77894,77896,77897,77899,77901,77902,77904,
77905,77907,77909,77910,77912,77914,77915,77917,77919,77920,77922,77924,77925,77927,77928,77930,
5,5,6,8,10,11,13,15,16,18,20,21,73751,73753,73754,73756,
73758,73759,73761,73763,73764,73766,73768,73769,73771,73773,73775,73776,73778,73780,73781,73783,
73785,73786,73788,73790,73791,73793,73795,73796,73798,73800,73801,73803,73805,73806,73808,73810,
73811,73813,73815,73817,73818,73820,73822,73823,73825,73827,73828,73830,73832,73833,73835,73837,
5,5,6,8,10,12,13,15,17,18,20,22,77848,77849,77851,77853,
77854,77856,77858,77860,77861,77863,77865,77866,77868,77870,77872,77873,77875,77877,77879,77880,
77882,77884,77885,77887,77889,77891,77892,77894,77896,77897,77899,77901,77903,77904,77906,77908,
77909,77911,77913,77915,77916,77918,77920,77922,77923,77925,77927,77928,77930,77932,77934,77935,
6,6,7,8,10,12,14,15,17,19,21,73750,73752,73754,73756,73757,
73759,73761,73763,73764,73766,73768,73770,73771,73773,73775,73777,73779,73780,73782,73784,73786,
73787,73789,73791,73793,73794,73796,73798,73800,73801,73803,73805,73807,73808,73810,73812,73814,
73815,73817,73819,73821,73823,73824,73826,73828,73830,73831,73833,73835,73837,73838,73840,73842,
6,6,7,8,10,12,14,16,17,19,21,77847,77849,77850,77852,77854,
77856,77858,77859,77861,77863,77865,77867,77868,77870,77872,77874,77876,77877,77879,77881,77883,
77885,77886,77888,77890,77892,77894,77895,77897,77899,77901,77903,77904,77906,77908,77910,77912,
77913,77915,77917,77919,77921,77922,77924,77926,77928,77930,77931,77933,77935,77937,77939,77940,
6,6,7,9,11,12,14,16,18,20,22,73751,73753,73755,73757,73759,
73761,73762,73764,73766,73768,73770,73772,73773,73775,73777,73779,73781,73783,73785,73786,73788,
73790,73792,73794,73796,73797,73799,73801,73803,73805,73807,73808,73810,73812,73814,73816,73818,
73819,73821,73823,73825,73827,73829,73831,73832,73834,73836,73838,73840,73842,73843,73845,73847,
6,6,7,9,11,13,15,16,18,20,22,77848,77850,77852,77854,77855,
77857,77859,77861,77863,77865,77867,77869,77870,77872,77874,77876,77878,77880,77882,77884,77886,
77887,77889,77891,77893,77895,77897,77899,77901,77902,77904,77906,77908,77910,77912,77914,77916,
77917,77919,77921,77923,77925,77927,77929,77931,77933,77934,77936,77938,77940,77942,77944,77946,
6,6,7,9,11,13,15,17,19,21,73751,73752,73754,73756,73758,73760,
73762,73764,73766,73768,73770,73772,73774,73775,73777,73779,73781,73783,73785,73787,73789,73791,
73793,73795,73797,73799,73800,73802,73804,73806,73808,73810,73812,73814,73816,73818,73820,73822,
73823,73825,73827,73829,73831,73833,73835,73837,73839,73841,73843,73845,73847,73848,73850,73852,
6,6,7,9,11,13,15,17,19,21,77847,77849,77851,77853,77855,77857,
77859,77861,77863,77865,77867,77869,77871,77872,77874,77876,77878,77880,77882,77884,77886,77888,
77890,77892,77894,77896,77898,77900,77902,77904,77906,77908,77910,77912,77914,77916,77918,77920,
77921,77923,77925,77927,77929,77931,77933,77935,77937,77939,77941,77943,77945,77947,77949,77951,
6,6,7,9,11,13,15,17,19,21,73751,73753,73755,73757,73759,73761,
73763,73765,73767,73769,73771,73773,73775,73777,73779,73781,73783,73785,73787,73789,73791,73793,
73795,73797,73799,73801,73803,73805,73807,73809,73811,73813,73815,73817,73819,73821,73823,73825,
73827,73829,73831,73833,73835,73837,73839,73841,73843,73845,73847,73849,73851,73853,73855,73857,
7,7,8,10,12,14,16,18,20,22,77848,77850,77852,77854,77856,77858,
77860,77862,77864,77866,77868,77870,77872,77874,77877,77879,77881,77883,77885,77887,77889,77891,
77893,77895,77897,77899,77901,77903,77905,77907,77909,77911,77913,77915,77917,77919,77921,77923,
77925,77928,77930,77932,77934,77936,77938,77940,77942,77944,77946,77948,77950,77952,77954,77956,
7,7,8,10,12,14,16,18,20,22,73752,73755,73757,73759,73761,73763,
73765,73767,73769,73771,73773,73775,73777,73779,73782,73784,73786,73788,73790,73792,73794,73796,
73798,73800,73802,73804,73807,73809,73811,73813,73815,73817,73819,73821,73823,73825,73827,73829,
73831,73834,73836,73838,73840,73842,73844,73846,73848,73850,73852,73854,73856,73859,73861,73863,
7,7,8,10,12,14,16,19,21,77847,77849,77851,77853,77855,77857,77860,
77862,77864,77866,77868,77870,77872,77874,77876,77879,77881,77883,77885,77887,77889,77891,77893,
77896,77898,77900,77902,77904,77906,77908,77910,77913,77915,77917,77919,77921,77923,77925,77927,
77929,77932,77934,77936,77938,77940,77942,77944,77946,77949,77951,77953,77955,77957,77959,77961,
7,7,8,10,12,15,17,19,21,73751,73753,73756,73758,73760,73762,73764,
73766,73769,73771,73773,73775,73777,73779,73781,73784,73786,73788,73790,73792,73794,73797,73799,
73801,73803,73805,73807,73810,73812,73814,73816,73818,73820,73823,73825,73827,73829,73831,73833,
73835,73838,73840,73842,73844,73846,73848,73851,73853,73855,73857,73859,73861,73864,73866,73868,
7,7,8,10,13,15,17,19,21,77848,77850,77852,77854,77856,77859,77861,
77863,77865,77867,77870,77872,77874,77876,77878,77881,77883,77885,77887,77889,77892,77894,77896,
77898,77900,77903,77905,77907,77909,77911,77914,77916,77918,77920,77922,77925,77927,77929,77931,
77933,77936,77938,77940,77942,77944,77947,77949,77951,77953,77955,77958,77960,77962,77964,77966,
7,7,8,11,13,15,17,20,22,73752,73754,73757,73759,73761,73763,73766,
73768,73770,73772,73775,73777,73779,73781,73783,73786,73788,73790,73792,73795,73797,73799,73801,
73804,73806,73808,73810,73813,73815,73817,73819,73822,73824,73826,73828,73831,73833,73835,73837,
73839,73842,73844,73846,73848,73851,73853,73855,73857,73860,73862,73864,73866,73869,73871,73873,
7,7,9,11,13,15,18,20,22,77849,77851,77853,77855,77858,77860,77862,
77865,77867,77869,77871,77874,77876,77878,77880,77883,77885,77887,77890,77892,77894,77896,77899,
77901,77903,77906,77908,77910,77912,77915,77917,77919,77922,77924,77926,77928,77931,77933,77935,
77937,77940,77942,77944,77947,77949,77951,77953,77956,77958,77960,77963,77965,77967,77969,77972,
8,8,9,11,13,16,18,20,73751,73753,73755,73758,73760,73762,73765,73767,
73769,73772,73774,73776,73779,73781,73783,73785,73788,73790,73792,73795,73797,73799,73802,73804,
73806,73809,73811,73813,73816,73818,73820,73823,73825,73827,73830,73832,73834,73837,73839,73841,
73843,73846,73848,73850,73853,73855,73857,73860,73862,73864,73867,73869,73871,73874,73876,73878,
8,8,9,11,14,16,18,21,77847,77849,77852,77854,77857,77859,77861,77864,
77866,77868,77871,77873,77875,77878,77880,77882,77885,77887,77890,77892,77894,77897,77899,77901,
77904,77906,77908,77911,77913,77916,77918,77920,77923,77925,77927,77930,77932,77934,77937,77939,
77941,77944,77946,77949,77951,77953,77956,77958,77960,77963,77965,77967,77970,77972,77975,77977,
8,8,9,11,14,16,19,21,73751,73754,73756,73759,73761,73763,73766,73768,
73771,73773,73775,73778,73780,73783,73785,73787,73790,73792,73795,73797,73799,73802,73804,73807,
73809,73811,73814,73816,73819,73821,73823,73826,73828,73831,73833,73835,73838,73840,73843,73845,
73847,73850,73852,73855,73857,73859,73862,73864,73867,73869,73871,73874,73876,73879,73881,73883,
8,8,9,12,14,17,19,21,77848,77850,77853,77855,77858,77860,77863,77865,
77867,77870,77872,77875,77877,77880,77882,77884,77887,77889,77892,77894,77897,77899,77902,77904,
77906,77909,77911,77914,77916,77919,77921,77924,77926,77928,77931,77933,77936,77938,77941,77943,
77945,77948,77950,77953,77955,77958,77960,77963,77965,77967,77970,77972,77975,77977,77980,77982,
8,8,9,12,14,17,19,22,73752,73755,73757,73760,73762,73765,73767,73770,
73772,73775,73777,73780,73782,73785,73787,73789,73792,73794,73797,73799,73802,73804,73807,73809,
73812,73814,73817,73819,73822,73824,73827,73829,73832,73834,73837,73839,73842,73844,73847,73849,
73851,73854,73856,73859,73861,73864,73866,73869,73871,73874,73876,73879,73881,73884,73886,73889,
8,8,10,12,15,17,20,22,77849,77851,77854,77856,77859,77861,77864,77866,
77869,77871,77874,77876,77879,77881,77884,77886,77889,77892,77894,77897,77899,77902,77904,77907,
77909,77912,77914,77917,77919,77922,77924,77927,77929,77932,77934,77937,77939,77942,77944,77947,
77949,77952,77955,77957,77960,77962,77965,77967,77970,77972,77975,77977,77980,77982,77985,77987,
8,8,10,12,15,17,20,23,73753,73756,73758,73761,73763,73766,73768,73771,
73774,73776,73779,73781,73784,73786,73789,73791,73794,73797,73799,73802,73804,73807,73809,73812,
73815,73817,73820,73822,73825,73827,73830,73832,73835,73838,73840,73843,73845,73848,73850,73853,
73855,73858,73861,73863,73866,73868,73871,73873,73876,73879,73881,73884,73886,73889,73891,73894,
9,9,10,12,15,18,20,23,77849,77852,77855,77857,77860,77862,77865,77868,
77870,77873,77875,77878,77881,77883,77886,77888,77891,77894,77896,77899,77901,77904,77907,77909,
77912,77914,77917,77920,77922,77925,77927,77930,77933,77935,77938,77940,77943,77946,77948,77951,
77953,77956,77959,77961,77964,77966,77969,77972,77974,77977,77979,77982,77985,77987,77990,77992,
];