Tree-search on the life of Galois