read `AmalGerry.txt`:

t0:=time():

K:=1:

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

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