# Benchmark Comparison: find-codeelement

## With LeanKG
- Total Tokens: 16696
- Input: 14282
- Cached: 2336
- Files Referenced: []

## Without LeanKG
- Total Tokens: 16689
- Input: 14282
- Cached: 2336
- Files Referenced: []

## Overhead
- Token Delta: 7
