gap> Y:=FiltrationTerm(K,65);
Regular CW-complex of dimension 1

gap> Display(HomotopyGraph(Y));
