Summary: Benchmark - LA0185_vericoded.lean

Summary: Benchmark - LA0182_vericoded.lean

Summary: Benchmark - LA0178_vericoded.lean

Summary: Benchmark - LA0177_vericoded.lean

Summary: Benchmark - LA0176_vericoded.lean

Summary: Benchmark - LA0167_vericoded.lean

Summary: Benchmark - LA0161_vericoded.lean

Summary: Benchmark - LA0160_vericoded.lean

Summary: Benchmark - LA0159_vericoded.lean

Summary: Benchmark - LA0156_vericoded.lean

Summary: Benchmark - LA0155_vericoded.lean

Summary: Benchmark - LA0152_vericoded.lean

Summary: Benchmark - LA0147_vericoded.lean

Summary: Benchmark - LA0146_vericoded.lean

Summary: Benchmark - LA0140_vericoded.lean

Summary: Benchmark - LA0137_vericoded.lean