records = [
    {"name": "alpha", "value": 3},
    {"name": "beta", "value": 7},
    {"name": "gamma", "value": 5},
]
values = [record["value"] for record in records]
average = sum(values) / len(values)

print(
    f"count={len(values)} min={min(values)} max={max(values)} "
    f"mean={average:.2f}"
)