read `AmalGerry.txt`:

t0:=time():

K:=3:

for g from 3 to 3+K do
print(`Checking with gran=`,g):
run_nlp(T4,v4,3,7,g);
print(``):
print(`This took`, time()-t0, `seconds. `):
print(``):
t0:=time():
print(``):
print(`-----------------------`):
print(``):
od:

print(``):
print(`------------------------`):
print(``):
quit: