# Benchmark Comparison: debug-indexing-failure

## With LeanKG
- Total Tokens: 0
- Input: 0
- Cached: 0
- Files Referenced: []

## Without LeanKG
- Total Tokens: 0
- Input: 0
- Cached: 0
- Files Referenced: []

## Overhead
- Token Delta: 0
