# Benchmark Comparison: impl-search-enhance

## With LeanKG
- Total Tokens: 63882
- Input: 11658
- Cached: 52032

## Without LeanKG
- Total Tokens: 22339
- Input: 1284
- Cached: 20672

## Overhead
- Token Delta: 41543
