read TILINGS:
#Monomer plus a 1x3 and 3x1
for m from 2 to 10 by 2 do
print(`Kasteleyn's formula for m=`, m, `is `, ProveKasteleyn1(m));
od:



print(`----------------------------------------------`):
print(`The whole ting took`, time(), `seconds of CPU time`);

quit: