Removed unused imports from systematic_search.sage