Digits:=20;
read "everything.txt":
read "funcarith.txt":
read "func_file.txt":
read "genfulleigens.txt":
read "algo24.txt":

T:=gasket(7);

genalllevel(T,3,"../data/");