From Prototypes to Sparse ECG Explanations: SHAP-driven Counterfactuals for Multivariate Time-series Multi-class Classification | Synapse