SERIAL-7 Benchmark for Machine-Verifiable Structured Outputs | HACKOBAR_