TEXAS RANGERS 3

HITTING

Player	POS	AB	R	H	HR	RBI	BB	SO	SB	AVG
Marcus Semien	2B	5	0	1	0	0	0	2	0	.200
Josh Jung	3B	4	0	1	0	1	0	3	0	.250
Josh Smith	SS	4	0	0	0	0	0	1	0	.000
Nathaniel Lowe	1B	4	0	2	0	0	0	1	0	.500
Adolis García	RF	3	1	1	0	0	1	1	0	.333
Corey Seager	SS	3	1	0	0	0	1	1	0	.000
José Leclerc	P	3	0	0	0	0	0	2	0	.000

PITCHING

Player	IP	H	ER	BB	SO	BF	ERA	WHIP
GOGlenn Otto Jr.	6.0	3	2	2	2	25	3.00	0.83
Jonathan Hernández	1.2	2	0	1	0	7	0.00	1.80
José Leclerc	1.0	0	0	0	2	3	0.00	0.00
MMMatt Moore	0.1	0	0	0	0	1	0.00	0.00

MIAMI MARLINS 2

HITTING

Player	POS	AB	R	H	HR	RBI	BB	SO	SB	AVG
Trevor Rogers	P	22	2	4	0	0	2	9	0	.182
JJ Bleday	CF	4	0	1	0	0	0	0	0	.250
Jerar Encarnacion	RF	3	0	0	0	0	1	1	0	.000
Miguel Rojas	2B	3	1	1	0	0	0	0	0	.333
Steven Okert	P	3	1	1	0	0	3	1	0	.333
Tommy Nance	P	2	0	0	0	0	0	0	0	.000

PITCHING

Player	IP	H	ER	BB	SO	BF	ERA	WHIP
Trevor Rogers	6.1	4	2	2	9	24	2.84	0.95
JBJeff Brigham	1.1	1	0	0	2	5	0.00	0.75
Steven Okert	0.2	1	1	3	1	6	13.50	6.00
Tommy Nance	0.2	0	0	0	0	2	0.00	0.00

The line score is derived from the play log rather than read from a stored innings table, because the play log covers 2015 onward where that table starts in 2023. The two were compared on their overlap and agree on every inning-half except the ones the stored table marks unplayed, which is the case shown as X above: when the home club leads after the top of the last inning it does not bat, and printing a zero there would say it batted and failed to score. Games before 2015 have no play log and so no line score, only the final. Batting average in the hitting table is this game alone, not the season. Earned run average and WHIP in the pitching table are likewise this appearance, which is why a one-inning reliever who allowed a run reads 9.00. Innings come from the out count rather than the stored decimal: “6.1” means six innings and one out. No venue is shown because no MLB fixture in this database carries one.