Das Remainder Extraction Program: Ein Vier-Phasen-Plan zur Reduktion von SM-Parametern mittels exakter Ganzzahlarithmetik | Synapse