Searching in minigent/examples/1_poly/01-identity