attiyah's bsearch