merged Atoms.m with ExhaustiveSearch.m