Another better lower bound for n=17 square packing

The idea is to improve a recent result and prove that 4.5058 (?) ≤s(17) using these weights: But let’s first define s(17). Quoting the old ...