Trying tricky implementation
Search with memoization complete. (Deterministic guru)
The conjecture is broken. Damn.