# file: C:\Users\Min\.grok\worktrees\flashspec\dev-2\flashspec\serve\metrics.py
# hypothesis_version: 6.169.3

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