Summary: Benchmark - LA0113_vericoded.lean

Summary: Benchmark - LA0114_vericoded.lean

Summary: Benchmark - LA0115_vericoded.lean

Summary: Benchmark - LA0119_vericoded.lean

Summary: Benchmark - LA0120_vericoded.lean

Summary: Benchmark - LA0125_vericoded.lean

Summary: Benchmark - LA0126_vericoded.lean

Summary: Benchmark - LA0129_vericoded.lean

Summary: Benchmark - LA0132_vericoded.lean

Summary: Benchmark - LA0133_vericoded.lean

Summary: Benchmark - LA0136_vericoded.lean

Summary: Benchmark - LA0137_vericoded.lean

Summary: Benchmark - LA0140_vericoded.lean

Summary: Benchmark - LA0146_vericoded.lean

Summary: Benchmark - LA0147_vericoded.lean

Summary: Benchmark - LA0152_vericoded.lean