Summary: Benchmark - LA0155_vericoded.lean

Summary: Benchmark - LA0156_vericoded.lean

Summary: Benchmark - LA0159_vericoded.lean

Summary: Benchmark - LA0160_vericoded.lean

Summary: Benchmark - LA0161_vericoded.lean

Summary: Benchmark - LA0167_vericoded.lean

Summary: Benchmark - LA0176_vericoded.lean

Summary: Benchmark - LA0177_vericoded.lean

Summary: Benchmark - LA0178_vericoded.lean

Summary: Benchmark - LA0182_vericoded.lean

Summary: Benchmark - LA0185_vericoded.lean

Summary: Benchmark - LA0189_vericoded.lean

Summary: Benchmark - LA0190_vericoded.lean

Summary: Benchmark - LA0194_vericoded.lean

Summary: Benchmark - LA0196_vericoded.lean

Summary: Benchmark - LA0198_vericoded.lean