#include "config.hpp" #include "treewalk.hpp" #include "work.hpp" #include using namespace std; /*void test_conjecture(){ uint64_t end=(1L<(S); ind_t pos=0; it.move_next(); Semigroup Snew=remove_generator(S,it.get_gen(),pos++); while(it.move_next()){ Semigroup T=remove_generator(S,it.get_gen(),pos++); print_Semigroup_gen(T); } S=Snew; } /*cout<<"**************************"<