# Benchmark Comparison: find-codeelement

## With LeanKG
- Total Tokens: 15916
- Input: 15870
- Cached: 0

## Without LeanKG
- Total Tokens: 16381
- Input: 298
- Cached: 16000

## Overhead
- Token Delta: -465
