A Nearly-m log n Time Solver for SDD Linear Systems | Synapse