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

[1.0, 'Loading target model', 'Target model loaded', 'TargetModel', 'config', 'device', 'dtype', 'model', 'vocab_size']