The Remainder Extraction Program: A Four-Phase Plan for SM Parameter Reduction via Exact Integer Arithmetic | Synapse