read "itall.txt":

lvl:=3:
phatlvl:=8:
numphatpsis:=(3^(phatlvl+1)-3)/2:
path:=cat("../data/","level",lvl,"/"):

fd:=fopen(cat(path,phatlvl,"phat",lvl,"dets.txt"),READ):

mi:=100;
line:=readline(fd):
while line<>0 do
	startIndex:=1;
	while line[startIndex]<>"=" do
		startIndex:=startIndex+1;
	end do;
	startIndex:=startIndex+2;
	numstring:=substring(line,startIndex..length(line));
	num:=sscanf(numstring,"%g")[1];
	if abs(num)<mi and num<>0 then
		mi:=abs(num);
	end if;
	line:=readline(fd):
end do;
print("min=");
print(mi);
close(fd):