Generated Lean certificate payload for the Gijswijt-Polak 2025 SDP proof of K_2(13,1) >= 607

This archive contains the generated Lean proof payload for the covering-code lower bound K_2(13,1) >= 607, formalized in the covering-codes-lean repository. The files materialize the external certificate bundle named K_2_13_1-gp2025-sdp-generated. They are generated Lean modules used by the Gijswijt-Polak 2025 semidefinite-programming certificate pipeline and are intentionally stored outside the git repository because of their size and generated nature.