Exact certificate search for the Collatz rewriting-system reduction - View it on GitHub