rocks in the Washakie Basin /