mil_infer 0.5.2

Sovereign Apple Neural Engine compiler, decompiler, and runtime: native HWX Mach-O emitter + decompiler, MIL DAG graph scheduler, on-chip ANE backprop/SGD training, zero-copy IOSurface/Espresso execution.
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77

//! Generated ANEC non-square const-weight matmul emission
//! parameters - recovered by sweeping all (K, N) pairs on the
//! multiples-of-32 grid in 32..=2048 through the reference compiler
//! (/tmp/mmgrid), M=1 `[1,1,1,K] x [1,N,1,K]` transpose_y form.
//! Indexed (k/32-1)*64 + (n/32-1):
//!   bits[0..12)  f14 - text 0xc4 / blob 0xbe8
//!   bit 16       big - text 0x1d4 = 0x244404 when set
//! The narrow regime (ceil(N/16) in 5..=8) is structural and derived
//! by the emitter, not tabled. u32::MAX marks unprobed pairs.
//! All 4096 pairs compiled with the standard 43-symbol plan.
#[rustfmt::skip]
pub(crate) static MM_NS_TABLE: &[u32] = &[
0,0,0,0,0,0,0,0,0,0,0,0,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,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,5,5,
0,0,0,0,0,0,0,0,1,1,1,1,1,1,1,1,2,2,2,2,2,2,2,2,3,3,3,3,3,3,3,3,3,4,4,4,4,4,4,4,4,5,5,5,5,5,5,5,5,6,6,6,6,6,6,6,6,6,7,7,7,7,7,7,
0,0,0,0,0,0,1,1,1,1,1,1,2,2,2,2,2,2,3,3,3,3,3,3,4,4,4,4,4,4,4,5,5,5,5,5,5,6,6,6,6,6,6,7,7,7,7,7,7,8,8,8,8,8,8,8,9,9,9,9,9,9,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,0,1,1,1,1,2,2,2,2,3,3,3,3,4,4,4,4,5,5,5,5,6,6,6,6,6,7,7,7,7,8,8,8,8,9,9,9,9,10,10,10,10,11,11,11,11,12,12,12,12,12,13,13,13,13,14,14,14,14,15,15,
0,0,0,1,1,1,1,2,2,2,3,3,3,3,4,4,4,5,5,5,5,6,6,6,7,7,7,7,8,8,8,8,9,9,9,10,10,10,10,11,11,11,12,12,12,12,13,13,13,14,14,14,14,15,15,15,15,16,16,16,17,17,17,17,
0,0,0,1,1,1,2,2,2,3,3,3,4,4,4,5,5,5,6,6,6,7,7,7,8,8,8,8,9,9,9,10,10,10,11,11,11,12,12,12,13,13,13,14,14,14,15,15,15,16,16,16,16,17,17,17,18,18,18,19,19,19,20,20,
0,0,1,1,1,2,2,2,3,3,3,4,4,5,5,5,6,6,6,7,7,7,8,8,9,9,9,10,10,10,11,11,11,12,12,12,13,13,14,14,14,15,15,15,16,16,16,17,17,18,18,18,19,19,19,20,20,20,21,21,21,22,22,23,
0,0,1,1,2,2,2,3,3,4,4,4,5,5,6,6,6,7,7,8,8,8,9,9,10,10,10,11,11,12,12,12,13,13,14,14,14,15,15,16,16,16,17,17,18,18,18,19,19,20,20,20,21,21,22,22,65558,65559,65559,65560,65560,65560,65561,65561,
0,0,1,1,2,2,3,3,3,4,4,5,5,6,6,7,7,7,8,8,9,9,10,10,11,11,11,12,12,13,13,14,14,14,15,15,16,16,17,17,18,18,18,19,19,20,20,21,21,22,22,65558,65559,65559,65560,65560,65561,65561,65561,65562,65562,65563,65563,65564,
0,0,1,1,2,2,3,3,4,4,5,5,6,6,7,7,8,8,9,9,10,10,11,11,12,12,12,13,13,14,14,15,15,16,16,17,17,18,18,19,19,20,20,21,21,22,65558,65559,65559,65560,65560,65560,65561,65561,65562,65562,65563,65563,65564,65564,65565,65565,65566,65566,
0,1,1,2,2,3,3,4,4,5,5,6,6,7,7,8,8,9,9,10,10,11,11,12,13,13,14,14,15,15,16,16,17,17,18,18,19,19,20,20,21,21,65558,65558,65559,65559,65560,65560,65561,65562,65562,65563,65563,65564,65564,65565,65565,65566,65566,65567,65567,65568,65568,65569,
0,1,1,2,2,3,3,4,5,5,6,6,7,7,8,8,9,10,10,11,11,12,12,13,14,14,15,15,16,16,17,17,18,19,19,20,20,21,21,65558,65558,65559,65560,65560,65561,65561,65562,65562,65563,65564,65564,65565,65565,65566,65566,65567,65567,65568,65569,65569,65570,65570,65571,65571,
0,1,1,2,3,3,4,4,5,6,6,7,7,8,9,9,10,10,11,12,12,13,13,14,15,15,16,16,17,18,18,19,19,20,21,21,65558,65558,65559,65560,65560,65561,65561,65562,65563,65563,65564,65564,65565,65566,65566,65567,65567,65568,65569,65569,65570,65570,65571,65572,65572,65573,65573,65574,
0,1,1,2,3,3,4,5,5,6,7,7,8,8,9,10,10,11,12,12,13,14,14,15,16,16,17,17,18,19,19,20,21,21,65558,65559,65559,65560,65560,65561,65562,65562,65563,65564,65564,65565,65566,65566,65567,65568,65568,65569,65569,65570,65571,65571,65572,65573,65573,65574,65575,65575,65576,65576,
0,1,2,2,3,4,4,5,6,6,7,8,8,9,10,10,11,12,12,13,14,14,15,16,17,17,18,19,19,20,21,21,65558,65559,65559,65560,65561,65561,65562,65563,65563,65564,65565,65565,65566,65567,65567,65568,65569,65570,65570,65571,65572,65572,65573,65574,65574,65575,65576,65576,65577,65578,65578,65579,
0,1,2,2,3,4,5,5,6,7,7,8,9,10,10,11,12,12,13,14,15,15,16,17,18,18,19,20,20,21,65558,65559,65559,65560,65561,65561,65562,65563,65564,65564,65565,65566,65566,65567,65568,65569,65569,65570,65571,65572,65572,65573,65574,65574,65575,65576,65577,65577,65578,65579,65579,65580,65581,65582,
0,1,2,3,3,4,5,6,6,7,8,9,9,10,11,12,12,13,14,15,15,16,17,18,19,19,20,21,65558,65558,65559,65560,65561,65561,65562,65563,65564,65564,65565,65566,65567,65567,65568,65569,65570,65570,65571,65572,65573,65574,65574,65575,65576,65577,65577,65578,65579,65580,65580,65581,65582,65583,65583,65584,
0,1,2,3,4,4,5,6,7,8,8,9,10,11,12,12,13,14,15,16,16,17,18,19,20,20,65557,65558,65559,65560,65560,65561,65562,65563,65564,65564,65565,65566,65567,65568,65568,65569,65570,65571,65572,65572,65573,65574,65575,65576,65576,65577,65578,65579,65580,65580,65581,65582,65583,65584,65584,65585,65586,65587,
0,1,2,3,4,5,5,6,7,8,9,10,10,11,12,13,14,15,15,16,17,18,19,20,21,65557,65558,65559,65560,65561,65562,65562,65563,65564,65565,65566,65567,65567,65568,65569,65570,65571,65572,65572,65573,65574,65575,65576,65577,65578,65578,65579,65580,65581,65582,65583,65583,65584,65585,65586,65587,65588,65588,65589,
0,1,2,3,4,5,6,7,7,8,9,10,11,12,13,14,14,15,16,17,18,19,20,21,65558,65558,65559,65560,65561,65562,65563,65564,65565,65565,65566,65567,65568,65569,65570,65571,65572,65572,65573,65574,65575,65576,65577,65578,65579,65580,65580,65581,65582,65583,65584,65585,65586,65587,65587,65588,65589,65590,65591,65592,
0,1,2,3,4,5,6,7,8,9,10,11,11,12,13,14,15,16,17,18,19,20,21,65558,65559,65559,65560,65561,65562,65563,65564,65565,65566,65567,65568,65569,65570,65570,65571,65572,65573,65574,65575,65576,65577,65578,65579,65580,65581,65582,65582,65583,65584,65585,65586,65587,65588,65589,65590,65591,65592,65593,65593,65594,
0,1,2,3,4,5,6,7,8,9,10,11,12,13,14,15,16,17,18,19,20,21,65558,65559,65560,65560,65561,65562,65563,65564,65565,65566,65567,65568,65569,65570,65571,65572,65573,65574,65575,65576,65577,65578,65579,65580,65581,65582,65583,65584,65584,65585,65586,65587,65588,65589,65590,65591,65592,65593,65594,65595,65596,65597,
1,2,3,4,5,6,7,8,9,10,11,12,13,14,15,16,17,18,19,20,21,65558,65559,65560,65561,65562,65563,65564,65565,65566,65567,65568,65569,65570,65571,65572,65573,65574,65575,65576,65577,65578,65579,65580,65581,65582,65583,65584,65585,65586,65587,65588,65589,65590,65591,65592,65593,65594,65595,65596,65597,65598,65599,65600,
1,2,3,4,5,6,7,8,9,10,11,12,13,14,15,16,17,18,19,20,65557,65558,65559,65560,65562,65563,65564,65565,65566,65567,65568,65569,65570,65571,65572,65573,65574,65575,65576,65577,65578,65579,65580,65581,65582,65583,65584,65585,65586,65588,65589,65590,65591,65592,65593,65594,65595,65596,65597,65598,65599,65600,65601,65602,
1,2,3,4,5,6,7,8,9,10,11,12,14,15,16,17,18,19,20,65557,65558,65559,65560,65561,65563,65564,65565,65566,65567,65568,65569,65570,65571,65572,65573,65574,65575,65577,65578,65579,65580,65581,65582,65583,65584,65585,65586,65587,65588,65590,65591,65592,65593,65594,65595,65596,65597,65598,65599,65600,65601,65602,65604,65605,
1,2,3,4,5,6,7,8,10,11,12,13,14,15,16,17,19,20,65557,65558,65559,65560,65561,65562,65564,65565,65566,65567,65568,65569,65570,65571,65572,65574,65575,65576,65577,65578,65579,65580,65581,65583,65584,65585,65586,65587,65588,65589,65590,65592,65593,65594,65595,65596,65597,65598,65599,65600,65602,65603,65604,65605,65606,65607,
1,2,3,4,5,6,8,9,10,11,12,13,15,16,17,18,19,20,65558,65559,65560,65561,65562,65563,65565,65566,65567,65568,65569,65570,65571,65573,65574,65575,65576,65577,65578,65580,65581,65582,65583,65584,65585,65587,65588,65589,65590,65591,65592,65594,65595,65596,65597,65598,65599,65600,65602,65603,65604,65605,65606,65607,65609,65610,
1,2,3,4,6,7,8,9,10,12,13,14,15,16,18,19,20,65557,65558,65560,65561,65562,65563,65564,65566,65567,65568,65569,65570,65572,65573,65574,65575,65576,65578,65579,65580,65581,65582,65584,65585,65586,65587,65588,65590,65591,65592,65593,65594,65596,65597,65598,65599,65600,65602,65603,65604,65605,65606,65608,65609,65610,65611,65612,
1,2,3,4,6,7,8,9,11,12,13,14,16,17,18,19,21,65558,65559,65560,65562,65563,65564,65565,65567,65568,65569,65570,65571,65573,65574,65575,65576,65578,65579,65580,65581,65583,65584,65585,65586,65588,65589,65590,65591,65593,65594,65595,65596,65598,65599,65600,65601,65602,65604,65605,65606,65607,65609,65610,65611,65612,65614,65615,
1,2,3,5,6,7,8,10,11,12,14,15,16,17,19,20,65557,65559,65560,65561,65562,65564,65565,65566,65568,65569,65570,65571,65573,65574,65575,65576,65578,65579,65580,65582,65583,65584,65585,65587,65588,65589,65591,65592,65593,65594,65596,65597,65598,65600,65601,65602,65603,65605,65606,65607,65608,65610,65611,65612,65614,65615,65616,65617,
1,2,3,5,6,7,9,10,11,13,14,15,17,18,19,21,65558,65559,65561,65562,65563,65565,65566,65567,65569,65570,65571,65572,65574,65575,65576,65578,65579,65580,65582,65583,65584,65586,65587,65588,65590,65591,65592,65594,65595,65596,65598,65599,65600,65602,65603,65604,65605,65607,65608,65609,65611,65612,65613,65615,65616,65617,65619,65620,
1,2,4,5,6,8,9,10,12,13,14,16,17,19,20,65557,65559,65560,65561,65563,65564,65565,65567,65568,65570,65571,65572,65574,65575,65576,65578,65579,65580,65582,65583,65584,65586,65587,65589,65590,65591,65593,65594,65595,65597,65598,65599,65601,65602,65604,65605,65606,65608,65609,65610,65612,65613,65614,65616,65617,65618,65620,65621,65623,
1,2,4,5,7,8,9,11,12,14,15,16,18,19,21,65558,65559,65561,65562,65564,65565,65566,65568,65569,65571,65572,65573,65575,65576,65578,65579,65580,65582,65583,65585,65586,65587,65589,65590,65592,65593,65594,65596,65597,65599,65600,65601,65603,65604,65606,65607,65608,65610,65611,65613,65614,65615,65617,65618,65620,65621,65622,65624,65625,
1,2,4,5,7,8,10,11,12,14,15,17,18,20,65557,65559,65560,65561,65563,65564,65566,65567,65569,65570,65572,65573,65574,65576,65577,65579,65580,65582,65583,65584,65586,65587,65589,65590,65592,65593,65595,65596,65597,65599,65600,65602,65603,65605,65606,65608,65609,65610,65612,65613,65615,65616,65618,65619,65620,65622,65623,65625,65626,65628,
1,2,4,5,7,8,10,11,13,14,16,17,19,20,65558,65559,65561,65562,65564,65565,65567,65568,65570,65571,65573,65574,65575,65577,65578,65580,65581,65583,65584,65586,65587,65589,65590,65592,65593,65595,65596,65598,65599,65601,65602,65604,65605,65607,65608,65610,65611,65612,65614,65615,65617,65618,65620,65621,65623,65624,65626,65627,65629,65630,
1,3,4,6,7,9,10,12,13,15,16,18,19,65557,65558,65560,65561,65563,65564,65566,65567,65569,65570,65572,65574,65575,65577,65578,65580,65581,65583,65584,65586,65587,65589,65590,65592,65593,65595,65596,65598,65599,65601,65602,65604,65605,65607,65608,65610,65612,65613,65615,65616,65618,65619,65621,65622,65624,65625,65627,65628,65630,65631,65633,
1,3,4,6,7,9,10,12,14,15,17,18,20,65557,65559,65560,65562,65564,65565,65567,65568,65570,65571,65573,65575,65576,65578,65579,65581,65582,65584,65585,65587,65589,65590,65592,65593,65595,65596,65598,65599,65601,65603,65604,65606,65607,65609,65610,65612,65614,65615,65617,65618,65620,65621,65623,65624,65626,65628,65629,65631,65632,65634,65635,
1,3,4,6,8,9,11,12,14,16,17,19,20,65558,65560,65561,65563,65564,65566,65568,65569,65571,65572,65574,65576,65577,65579,65580,65582,65584,65585,65587,65588,65590,65592,65593,65595,65596,65598,65600,65601,65603,65604,65606,65608,65609,65611,65612,65614,65616,65617,65619,65620,65622,65624,65625,65627,65628,65630,65632,65633,65635,65636,65638,
1,3,4,6,8,9,11,13,14,16,18,19,65557,65558,65560,65562,65563,65565,65567,65568,65570,65572,65573,65575,65577,65578,65580,65581,65583,65585,65586,65588,65590,65591,65593,65595,65596,65598,65599,65601,65603,65604,65606,65608,65609,65611,65613,65614,65616,65618,65619,65621,65622,65624,65626,65627,65629,65631,65632,65634,65636,65637,65639,65640,
1,3,5,6,8,10,11,13,15,16,18,20,65557,65559,65561,65562,65564,65566,65567,65569,65571,65572,65574,65576,65578,65579,65581,65583,65584,65586,65588,65589,65591,65593,65594,65596,65598,65599,65601,65603,65604,65606,65608,65609,65611,65613,65614,65616,65618,65620,65621,65623,65625,65626,65628,65630,65631,65633,65635,65636,65638,65640,65641,65643,
1,3,5,6,8,10,12,13,15,17,18,20,65558,65560,65561,65563,65565,65566,65568,65570,65572,65573,65575,65577,65579,65580,65582,65584,65585,65587,65589,65591,65592,65594,65596,65597,65599,65601,65603,65604,65606,65608,65609,65611,65613,65615,65616,65618,65620,65622,65623,65625,65627,65628,65630,65632,65634,65635,65637,65639,65640,65642,65644,65646,
1,3,5,7,8,10,12,14,15,17,19,65557,65558,65560,65562,65564,65565,65567,65569,65571,65572,65574,65576,65578,65580,65581,65583,65585,65587,65588,65590,65592,65594,65595,65597,65599,65601,65602,65604,65606,65608,65609,65611,65613,65615,65616,65618,65620,65622,65624,65625,65627,65629,65631,65632,65634,65636,65638,65639,65641,65643,65645,65646,65648,
1,3,5,7,9,10,12,14,16,18,19,65557,65559,65561,65563,65564,65566,65568,65570,65572,65573,65575,65577,65579,65581,65582,65584,65586,65588,65590,65591,65593,65595,65597,65599,65600,65602,65604,65606,65608,65609,65611,65613,65615,65617,65618,65620,65622,65624,65626,65627,65629,65631,65633,65635,65636,65638,65640,65642,65644,65645,65647,65649,65651,
1,3,5,7,9,11,12,14,16,18,20,65558,65559,65561,65563,65565,65567,65569,65570,65572,65574,65576,65578,65580,65582,65583,65585,65587,65589,65591,65593,65594,65596,65598,65600,65602,65604,65605,65607,65609,65611,65613,65615,65616,65618,65620,65622,65624,65626,65628,65629,65631,65633,65635,65637,65639,65640,65642,65644,65646,65648,65650,65651,65653,
1,3,5,7,9,11,13,15,16,18,20,65558,65560,65562,65564,65566,65567,65569,65571,65573,65575,65577,65579,65581,65583,65584,65586,65588,65590,65592,65594,65596,65598,65599,65601,65603,65605,65607,65609,65611,65613,65614,65616,65618,65620,65622,65624,65626,65628,65630,65631,65633,65635,65637,65639,65641,65643,65645,65646,65648,65650,65652,65654,65656,
1,3,5,7,9,11,13,15,17,19,65557,65559,65560,65562,65564,65566,65568,65570,65572,65574,65576,65578,65580,65582,65584,65585,65587,65589,65591,65593,65595,65597,65599,65601,65603,65605,65607,65608,65610,65612,65614,65616,65618,65620,65622,65624,65626,65628,65630,65632,65633,65635,65637,65639,65641,65643,65645,65647,65649,65651,65653,65655,65656,65658,
1,3,5,7,9,11,13,15,17,19,65557,65559,65561,65563,65565,65567,65569,65571,65573,65575,65577,65579,65581,65583,65585,65586,65588,65590,65592,65594,65596,65598,65600,65602,65604,65606,65608,65610,65612,65614,65616,65618,65620,65622,65624,65626,65628,65630,65632,65634,65635,65637,65639,65641,65643,65645,65647,65649,65651,65653,65655,65657,65659,65661,
2,4,6,8,10,12,14,16,18,20,65558,65560,65562,65564,65566,65568,65570,65572,65574,65576,65578,65580,65582,65584,65586,65588,65590,65592,65594,65596,65598,65600,65602,65604,65606,65608,65610,65612,65614,65616,65618,65620,65622,65624,65626,65628,65630,65632,65634,65636,65638,65640,65642,65644,65646,65648,65650,65652,65654,65656,65658,65660,65662,65664,
2,4,6,8,10,12,14,16,18,20,65558,65560,65562,65564,65566,65568,65570,65572,65574,65576,65578,65580,65582,65584,65587,65589,65591,65593,65595,65597,65599,65601,65603,65605,65607,65609,65611,65613,65615,65617,65619,65621,65623,65625,65627,65629,65631,65633,65635,65638,65640,65642,65644,65646,65648,65650,65652,65654,65656,65658,65660,65662,65664,65666,
2,4,6,8,10,12,14,16,18,20,65558,65560,65563,65565,65567,65569,65571,65573,65575,65577,65579,65581,65583,65585,65588,65590,65592,65594,65596,65598,65600,65602,65604,65606,65608,65610,65612,65615,65617,65619,65621,65623,65625,65627,65629,65631,65633,65635,65637,65640,65642,65644,65646,65648,65650,65652,65654,65656,65658,65660,65662,65664,65667,65669,
2,4,6,8,10,12,14,16,19,65557,65559,65561,65563,65565,65567,65569,65572,65574,65576,65578,65580,65582,65584,65586,65589,65591,65593,65595,65597,65599,65601,65603,65605,65608,65610,65612,65614,65616,65618,65620,65622,65625,65627,65629,65631,65633,65635,65637,65639,65642,65644,65646,65648,65650,65652,65654,65656,65658,65661,65663,65665,65667,65669,65671,
2,4,6,8,10,12,15,17,19,65557,65559,65561,65564,65566,65568,65570,65572,65574,65577,65579,65581,65583,65585,65587,65590,65592,65594,65596,65598,65600,65602,65605,65607,65609,65611,65613,65615,65618,65620,65622,65624,65626,65628,65631,65633,65635,65637,65639,65641,65644,65646,65648,65650,65652,65654,65656,65659,65661,65663,65665,65667,65669,65672,65674,
2,4,6,8,11,13,15,17,19,65558,65560,65562,65564,65566,65569,65571,65573,65575,65577,65580,65582,65584,65586,65588,65591,65593,65595,65597,65599,65602,65604,65606,65608,65610,65613,65615,65617,65619,65621,65624,65626,65628,65630,65632,65635,65637,65639,65641,65643,65646,65648,65650,65652,65654,65657,65659,65661,65663,65665,65668,65670,65672,65674,65676,
2,4,6,8,11,13,15,17,20,65558,65560,65562,65565,65567,65569,65571,65574,65576,65578,65580,65583,65585,65587,65589,65592,65594,65596,65598,65600,65603,65605,65607,65609,65612,65614,65616,65618,65621,65623,65625,65627,65630,65632,65634,65636,65639,65641,65643,65645,65648,65650,65652,65654,65656,65659,65661,65663,65665,65668,65670,65672,65674,65677,65679,
2,4,6,9,11,13,15,18,20,65558,65561,65563,65565,65567,65570,65572,65574,65577,65579,65581,65583,65586,65588,65590,65593,65595,65597,65599,65602,65604,65606,65608,65611,65613,65615,65618,65620,65622,65624,65627,65629,65631,65634,65636,65638,65640,65643,65645,65647,65650,65652,65654,65656,65659,65661,65663,65665,65668,65670,65672,65675,65677,65679,65681,
2,4,6,9,11,13,16,18,65556,65559,65561,65563,65566,65568,65570,65573,65575,65577,65580,65582,65584,65587,65589,65591,65594,65596,65598,65600,65603,65605,65607,65610,65612,65614,65617,65619,65621,65624,65626,65628,65631,65633,65635,65638,65640,65642,65645,65647,65649,65652,65654,65656,65658,65661,65663,65665,65668,65670,65672,65675,65677,65679,65682,65684,
2,4,7,9,11,14,16,18,65557,65559,65561,65564,65566,65569,65571,65573,65576,65578,65580,65583,65585,65587,65590,65592,65595,65597,65599,65602,65604,65606,65609,65611,65613,65616,65618,65620,65623,65625,65628,65630,65632,65635,65637,65639,65642,65644,65646,65649,65651,65654,65656,65658,65661,65663,65665,65668,65670,65672,65675,65677,65679,65682,65684,65687,
2,4,7,9,12,14,16,19,65557,65560,65562,65564,65567,65569,65572,65574,65576,65579,65581,65584,65586,65588,65591,65593,65596,65598,65600,65603,65605,65608,65610,65612,65615,65617,65620,65622,65624,65627,65629,65632,65634,65636,65639,65641,65644,65646,65648,65651,65653,65656,65658,65660,65663,65665,65668,65670,65672,65675,65677,65680,65682,65684,65687,65689,
2,4,7,9,12,14,17,19,65557,65560,65562,65565,65567,65570,65572,65575,65577,65579,65582,65584,65587,65589,65592,65594,65597,65599,65601,65604,65606,65609,65611,65614,65616,65618,65621,65623,65626,65628,65631,65633,65636,65638,65640,65643,65645,65648,65650,65653,65655,65658,65660,65662,65665,65667,65670,65672,65675,65677,65679,65682,65684,65687,65689,65692,
2,4,7,9,12,14,17,19,65558,65560,65563,65565,65568,65570,65573,65575,65578,65580,65583,65585,65588,65590,65593,65595,65598,65600,65602,65605,65607,65610,65612,65615,65617,65620,65622,65625,65627,65630,65632,65635,65637,65640,65642,65645,65647,65650,65652,65655,65657,65660,65662,65664,65667,65669,65672,65674,65677,65679,65682,65684,65687,65689,65692,65694,
2,5,7,10,12,15,17,20,65558,65561,65563,65566,65568,65571,65573,65576,65578,65581,65583,65586,65588,65591,65593,65596,65599,65601,65604,65606,65609,65611,65614,65616,65619,65621,65624,65626,65629,65631,65634,65636,65639,65641,65644,65646,65649,65651,65654,65656,65659,65662,65664,65667,65669,65672,65674,65677,65679,65682,65684,65687,65689,65692,65694,65697,
2,5,7,10,12,15,17,20,65559,65561,65564,65566,65569,65571,65574,65576,65579,65582,65584,65587,65589,65592,65594,65597,65600,65602,65605,65607,65610,65612,65615,65617,65620,65623,65625,65628,65630,65633,65635,65638,65640,65643,65646,65648,65651,65653,65656,65658,65661,65664,65666,65669,65671,65674,65676,65679,65681,65684,65687,65689,65692,65694,65697,65699,
2,5,7,10,13,15,18,20,65559,65562,65564,65567,65569,65572,65575,65577,65580,65582,65585,65588,65590,65593,65595,65598,65601,65603,65606,65608,65611,65614,65616,65619,65621,65624,65627,65629,65632,65634,65637,65640,65642,65645,65647,65650,65653,65655,65658,65660,65663,65666,65668,65671,65673,65676,65679,65681,65684,65686,65689,65692,65694,65697,65699,65702,
];