# file: /home/runner/work/FlashSpec/FlashSpec/flashspec/kernels/verify_kernel.py
# hypothesis_version: 6.170.13

[1.0, 'BATCH_SIZE', 'BLOCK_B', 'GAMMA', 'verify_tokens']