Searching in tests/fig28-lutff-pair/ff