read `Armin.txt`:

K:=200:

print(`An Experimental (easily  rigorizable) proof of Armin Straub's conjecture that the number of (2k+1,2k+3)-core partitions`):
print(`into distinct parts equals 4^k, by checking it up to`, k=K):
print(``):
print(`By Shalosh B. Ekhad `):
print(``):
print(`Let a(k) be the number of (2k+1,2k+3)-core partitions into distinct parts`):
print(`The set of differences a(k)-4^k is, from k=1 to k=`, K, `is `):
print(``):
print({seq(a(i)-4^i,i=1..K)}):
print(``):

print(`This took`, time(), `seconds. `):

quit: