class of expander graphs arising in computational number theory