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