# Benchmark Comparison: find-codeelement

## With LeanKG
- Total Tokens: 15204
- Input: 15171
- Cached: 0

## Without LeanKG
- Total Tokens: 5271
- Input: 5271
- Cached: 0

## Overhead
- Token Delta: 9933
