read `AMP.txt`:

K1:=4:
N1:=30:

   print(`Theorem 3 in the paper for k from 1 to`, K1, `and n from k to`, N1):
 
 if {seq(seq(expand(AnwkE(n1,w,k1)-Anwk(n1,w,k1)),n1=k1..N1),k1=1..K1)}={0} then
  print(`is true`):
else
 print(`is false`):
fi:


print(`----------------`):
print(``):
print(`This took`, time(), `seconds, `):
quit: