Renal Dysfunction, Stroke Risk Scores (CHADS 2 , CHA 2 DS 2 -VASc, and R 2 CHADS 2 ), and the Risk of Thromboembolic Events After Catheter Ablation of Atrial Fibrillation | Synapse