CVP/LLL Lattice for Constrained Integer Validation Binary validates flag via matrix multiplication with 64-bit coefficients; solutions must be printable ASCII. Use LLL reduction + CVP in SageMath to ...