# file: /home/runner/work/FlashSpec/FlashSpec/flashspec/serve/metrics.py
# hypothesis_version: 6.170.11

[100, 250, 500, 1000, 2500, 10000, 'ServeMetrics']