Summary: Benchmark - LA0217_vericoded.lean

Summary: Benchmark - LA0216_vericoded.lean

Summary: Benchmark - LA0212_vericoded.lean

Summary: Benchmark - LA0211_vericoded.lean

Summary: Benchmark - LA0210_vericoded.lean

Summary: Benchmark - LA0208_vericoded.lean

Summary: Benchmark - LA0206_vericoded.lean

Summary: Benchmark - LA0203_vericoded.lean

Summary: Benchmark - LA0201_vericoded.lean

Summary: Benchmark - LA0200_vericoded.lean

Summary: Benchmark - LA0199_vericoded.lean

Summary: Benchmark - LA0198_vericoded.lean

Summary: Benchmark - LA0196_vericoded.lean

Summary: Benchmark - LA0194_vericoded.lean

Summary: Benchmark - LA0190_vericoded.lean

Summary: Benchmark - LA0189_vericoded.lean