added pause button
refactored sequence, simplifying next() (now idempotent) and binary search