Searching in examples/extenderbased.triangle