MARKEL CORP

Ticker: MKL CUSIP: 570535104 Class: COMMON STOCK

STATE BOARD OF ADMINISTRATION OF FLORIDA RETIREMENT SYSTEM's Holding History (CIK: 0000938076)

Note: Option positions (PUT/CALL) are excluded.

Q4 2025

Shares 12,237 Value ($000) $26,305 Avg Close $2025.92 Range $1812.24 - $2207.59

Q3 2025

Shares 12,764 Value ($000) $24,397 Avg Close $1960.42 Range $1889.91 - $2075.92

Q2 2025

Shares 10,291 Value ($000) $20,555 Avg Close $1875.20 Range $1621.89 - $2004.24

Q1 2025

Shares 11,775 Value ($000) $22,015 Avg Close $1839.75 Range $1641.51 - $2063.68

Q4 2024

Shares 9,755 Value ($000) $16,839 Avg Close $1659.34 Range $1521.25 - $1809.11

Q3 2024

Shares 14,883 Value ($000) $23,345 Avg Close $1565.15 Range $1491.03 - $1660.74

Q2 2024

Shares 14,265 Value ($000) $22,477 Avg Close $1552.86 Range $1417.65 - $1670.24

Q1 2024

Shares 18,771 Value ($000) $23,978 Avg Close $1466.28 Range $1342.66 - $1534.62

Q4 2023

Shares 16,065 Value ($000) $22,811 Avg Close $1418.73 Range $1295.65 - $1528.08

Q3 2023

Shares 12,392 Value ($000) $18,247 Avg Close $1463.82 Range $1345.00 - $1560.00

Q2 2023

Shares 14,630 Value ($000) $20,236 Avg Close $1340.97 Range $1272.43 - $1400.00

Q1 2023

Shares 18,771 Value ($000) $23,978 Avg Close $1328.48 Range $1186.56 - $1458.56

Q4 2022

Shares 15,581 Value ($000) $20,528 Avg Close $1237.05 Range $1085.09 - $1356.37

Q3 2022

Shares 16,941 Value ($000) $18,368 Avg Close $1220.12 Range $1064.09 - $1335.10

Q2 2022

Shares 14,031 Value ($000) $18,146 Avg Close $1372.21 Range $1251.77 - $1519.25

Q1 2022

Shares 15,751 Value ($000) $23,237 Avg Close $1291.81 Range $1180.00 - $1513.00

Q4 2021

Shares 15,590 Value ($000) $19,238 Avg Close $1261.86 Range $1179.00 - $1343.56

Q3 2021

Shares 15,605 Value ($000) $18,650 Avg Close $1232.92 Range $1175.35 - $1288.00

Q2 2021

Shares 16,671 Value ($000) $19,784 Avg Close $1198.75 Range $1138.00 - $1268.96

Q1 2021

Shares 16,951 Value ($000) $19,318 Avg Close $1078.65 Range $942.44 - $1169.50

Q4 2020

Shares 17,532 Value ($000) $18,116 Avg Close $996.82 Range $913.04 - $1073.43

Q3 2020

Shares 18,400 Value ($000) $17,916 Avg Close $1015.77 Range $881.00 - $1124.00

Q2 2020

Shares 18,790 Value ($000) $17,346 Avg Close $908.95 Range $761.06 - $1049.56

Q1 2020

Shares 18,229 Value ($000) $16,915 Avg Close $1143.50 Range $710.52 - $1347.64

Q4 2019

Shares 17,388 Value ($000) $19,877 Avg Close $1138.97 Range $1100.00 - $1216.47

Q3 2019

Shares 17,408 Value ($000) $20,575 Avg Close $1136.16 Range $1065.01 - $1204.45

Q2 2019

Shares 16,955 Value ($000) $18,474 Avg Close $1047.93 Range $970.42 - $1099.00

Q1 2019

Shares 18,572 Value ($000) $18,502 Avg Close $1015.52 Range $950.16 - $1081.00

Q4 2018

Shares 18,336 Value ($000) $19,034 Avg Close $1093.58 Range $954.39 - $1203.43

Q3 2018

Shares 17,716 Value ($000) $21,055 Avg Close $1176.81 Range $1078.02 - $1228.32

Q2 2018

Shares 18,761 Value ($000) $20,343 Avg Close $1129.38 Range $1083.92 - $1180.00

Q1 2018

Shares 17,878 Value ($000) $20,922 Avg Close $1125.56 Range $1049.95 - $1194.98

Q4 2017

Shares 18,923 Value ($000) $21,556 Avg Close $1093.18 Range $1054.20 - $1157.30

Q3 2017

Shares 18,274 Value ($000) $19,516 Avg Close $1034.02 Range $963.79 - $1086.68

Q2 2017

Shares 18,274 Value ($000) $17,833 Avg Close $970.65 Range $936.95 - $996.38

Q1 2017

Shares 17,518 Value ($000) $17,095 Avg Close $945.13 Range $887.40 - $992.00

Q4 2016

Shares 17,913 Value ($000) $16,202 Avg Close $891.63 Range $811.05 - $931.94

Q3 2016

Shares 18,459 Value ($000) $17,144 Avg Close $933.01 Range $909.84 - $961.78

Q2 2016

Shares 19,599 Value ($000) $18,673 Avg Close $931.24 Range $880.01 - $989.18

Q1 2016

Shares 15,466 Value ($000) $13,789 Avg Close $859.54 Range $805.03 - $895.03

Q4 2015

Shares 15,466 Value ($000) $13,662 Avg Close $870.15 Range $791.97 - $937.91

Q3 2015

Shares 12,088 Value ($000) $9,693 Avg Close $846.01 Range $775.00 - $898.08

Q2 2015

Shares 21,415 Value ($000) $17,147 Avg Close $777.66 Range $736.96 - $821.00

Q1 2015

Shares 16,120 Value ($000) $12,396 Avg Close $722.91 Range $660.05 - $783.50

Q4 2014

Shares 18,076 Value ($000) $12,343 Avg Close $678.17 Range $632.65 - $707.36

Q3 2014

Shares 18,076 Value ($000) $11,499 Avg Close $645.09 Range $623.90 - $666.00

Q2 2014

Shares 17,282 Value ($000) $11,331 Avg Close $630.07 Range $593.76 - $655.75

Q1 2014

Shares 17,244 Value ($000) $10,279 Avg Close $569.59 Range $527.17 - $596.87

Q4 2013

Shares 21,464 Value ($000) $12,457 Avg Close $542.65 Range $511.06 - $582.59

Q3 2013

Shares 18,961 Value ($000) $9,817 Avg Close $525.40 Range $506.64 - $549.09

Q2 2013

Shares 18,506 Value ($000) $9,752 Avg Close $523.59 Range $501.76 - $546.94

Period	Shares	Value ($000)	Average Close	Price Range
Q4 2025	12,237	$26,305	$2025.92	$1812.24 - $2207.59
Q3 2025	12,764	$24,397	$1960.42	$1889.91 - $2075.92
Q2 2025	10,291	$20,555	$1875.20	$1621.89 - $2004.24
Q1 2025	11,775	$22,015	$1839.75	$1641.51 - $2063.68
Q4 2024	9,755	$16,839	$1659.34	$1521.25 - $1809.11
Q3 2024	14,883	$23,345	$1565.15	$1491.03 - $1660.74
Q2 2024	14,265	$22,477	$1552.86	$1417.65 - $1670.24
Q1 2024	18,771	$23,978	$1466.28	$1342.66 - $1534.62
Q4 2023	16,065	$22,811	$1418.73	$1295.65 - $1528.08
Q3 2023	12,392	$18,247	$1463.82	$1345.00 - $1560.00
Q2 2023	14,630	$20,236	$1340.97	$1272.43 - $1400.00
Q1 2023	18,771	$23,978	$1328.48	$1186.56 - $1458.56
Q4 2022	15,581	$20,528	$1237.05	$1085.09 - $1356.37
Q3 2022	16,941	$18,368	$1220.12	$1064.09 - $1335.10
Q2 2022	14,031	$18,146	$1372.21	$1251.77 - $1519.25
Q1 2022	15,751	$23,237	$1291.81	$1180.00 - $1513.00
Q4 2021	15,590	$19,238	$1261.86	$1179.00 - $1343.56
Q3 2021	15,605	$18,650	$1232.92	$1175.35 - $1288.00
Q2 2021	16,671	$19,784	$1198.75	$1138.00 - $1268.96
Q1 2021	16,951	$19,318	$1078.65	$942.44 - $1169.50
Q4 2020	17,532	$18,116	$996.82	$913.04 - $1073.43
Q3 2020	18,400	$17,916	$1015.77	$881.00 - $1124.00
Q2 2020	18,790	$17,346	$908.95	$761.06 - $1049.56
Q1 2020	18,229	$16,915	$1143.50	$710.52 - $1347.64
Q4 2019	17,388	$19,877	$1138.97	$1100.00 - $1216.47
Q3 2019	17,408	$20,575	$1136.16	$1065.01 - $1204.45
Q2 2019	16,955	$18,474	$1047.93	$970.42 - $1099.00
Q1 2019	18,572	$18,502	$1015.52	$950.16 - $1081.00
Q4 2018	18,336	$19,034	$1093.58	$954.39 - $1203.43
Q3 2018	17,716	$21,055	$1176.81	$1078.02 - $1228.32
Q2 2018	18,761	$20,343	$1129.38	$1083.92 - $1180.00
Q1 2018	17,878	$20,922	$1125.56	$1049.95 - $1194.98
Q4 2017	18,923	$21,556	$1093.18	$1054.20 - $1157.30
Q3 2017	18,274	$19,516	$1034.02	$963.79 - $1086.68
Q2 2017	18,274	$17,833	$970.65	$936.95 - $996.38
Q1 2017	17,518	$17,095	$945.13	$887.40 - $992.00
Q4 2016	17,913	$16,202	$891.63	$811.05 - $931.94
Q3 2016	18,459	$17,144	$933.01	$909.84 - $961.78
Q2 2016	19,599	$18,673	$931.24	$880.01 - $989.18
Q1 2016	15,466	$13,789	$859.54	$805.03 - $895.03
Q4 2015	15,466	$13,662	$870.15	$791.97 - $937.91
Q3 2015	12,088	$9,693	$846.01	$775.00 - $898.08
Q2 2015	21,415	$17,147	$777.66	$736.96 - $821.00
Q1 2015	16,120	$12,396	$722.91	$660.05 - $783.50
Q4 2014	18,076	$12,343	$678.17	$632.65 - $707.36
Q3 2014	18,076	$11,499	$645.09	$623.90 - $666.00
Q2 2014	17,282	$11,331	$630.07	$593.76 - $655.75
Q1 2014	17,244	$10,279	$569.59	$527.17 - $596.87
Q4 2013	21,464	$12,457	$542.65	$511.06 - $582.59
Q3 2013	18,961	$9,817	$525.40	$506.64 - $549.09
Q2 2013	18,506	$9,752	$523.59	$501.76 - $546.94