interactive-gcd-xor (#12469) - Basecamp