The Mets’ 10-run 12th against Washington was baseball’s biggest extra inning since 1983

This is an ingested summary. Full reporting is available at the primary source below.