Summary: Benchmark - LA0136_vericoded.lean

Summary: Benchmark - LA0133_vericoded.lean

Summary: Benchmark - LA0132_vericoded.lean

Summary: Benchmark - LA0129_vericoded.lean

Summary: Benchmark - LA0126_vericoded.lean

Summary: Benchmark - LA0125_vericoded.lean

Summary: Benchmark - LA0120_vericoded.lean

Summary: Benchmark - LA0119_vericoded.lean

Summary: Benchmark - LA0115_vericoded.lean

Summary: Benchmark - LA0114_vericoded.lean

Summary: Benchmark - LA0113_vericoded.lean

Summary: Benchmark - LA0110_vericoded.lean

Summary: Benchmark - LA0109_vericoded.lean

Summary: Benchmark - LA0107_vericoded.lean

Summary: Benchmark - LA0102_vericoded.lean

Summary: Benchmark - LA0101_vericoded.lean