Mi sono appena accorto che mi son mangiato una parte della risposta:

Quando trovi il conto nel while, tu imposti solo la variabile trovato, ma low e high restano le stesse e visto che non esci dal while ti ritrovi in un loop infinito