# file: /home/runner/work/FlashSpec/FlashSpec/flashspec/kernels/_reference.py
# hypothesis_version: 6.170.11

[1.0]