Nach Einsicht
in das Schreiben vom 19. Mai 2017 (Poststempel), womit A._ das Revisionsgesuch vom 27. März 2017 gegen den Entscheid des Schweizerischen Bundesgerichts vom 31. Januar 2017 zurückzieht,

in Erwägung,
dass das Revisionsgesuch gemäss <ref-law> in Verbindung mit <ref-law> im Verfahren nach <ref-law> abzuschreiben ist,
dass in Anwendung von <ref-law> auf die Erhebung von Gerichtskosten zu verzichten ist,

verfügt der Einzelrichter:
1.
Das Verfahren wird infolge Rückzugs des Revisionsgesuchs abgeschrieben.
2.
Es werden keine Gerichtskosten erhoben.
3.
Diese Verfügung wird den Parteien, dem Versicherungsgericht des Kantons St. Gallen und dem Bundesamt für Sozialversicherungen schriftlich mitgeteilt.
Luzern, 26. Mai 2017
Im Namen der II. sozialrechtlichen Abteilung
des Schweizerischen Bundesgerichts
Der Einzelrichter: Meyer
Der Gerichtsschreiber: Fessler