[Demo] Covering Erdős–Straus residue classes

Mission

Reduce the Erdős–Straus conjecture to as few primes as elementary identities allow, and check what is left by computer.