Searching in tests/simple_abc9