CoveringCodes Lean K_9(9,5) syndrome tail repair table

This dataset contains the generated syndrome tail repair table used by the Lean formalization of the covering-code upper bound K_9(9,5) <= 729 in the covering-codes-lean repository. The table stores one three-coordinate tail choice for each of the 9^6 syndromes of a systematic linear nonary code with three free coordinates and six parity-check equations. The main Lean proof uses this table to verify that every syndrome has a correction of support at most five.