Digits:=20: read "everything.txt": read "func_file.txt": read "funcarith.txt": with(linalg): read "domatrix.txt": read "autoset.txt": read "algo24.txt": #read "funcdb.txt": read "genfulleigens.txt": read "gram.txt": read "setfuncs.txt": read "misc.txt": read "calcbm.txt": read "genlevel5.txt": read "genlevel6.txt":