squarepacker/s12-lower-bound: s(12) >= 7943/2000 (v1.1)

s(12) >= 7943/2000 = 3.9715

Evan Daniel's 1736 points (evand/square-packing) moved to the container [0, 7943/2000]^2 and re-weighted by linear programming (the idea of Route B of Joshua Levy's Squares Project), verified on the angle net N = 96000 by Daniel's verifier and by an independent checker (full [0, 90] degree range, no symmetry assumed). Includes a write-up (paper/s12_lower_3.9715.pdf); the v1.0 files are kept. See README.md for the proof outline, the verification table and the credits. Not peer reviewed.