Typo.
Added dual-core parallel version
Used leftM2 for simplification.
Used sequence for simplification.
Scales over any number of processing units.