This page is dedicated to my paper A word avoiding the morphic images of its factors of length 7.

xhx.c is the backtracking program proving Theorem 1. It takes about 15 seconds.

Usage:
./xhx

To compile:
gcc -O3 -o xhx xhx.c