read `Hardin.txt`:


N:=1000:
print(`The first`, N, `terms of OEIS sequence A172555 Number of 2*n X 8 binary arrays with row sums 4 and column sums n, using the empirically guessed, but absolutely certain recurrence`):
print(`obtained via the Kauers-Koutschan guessing with little date method are`):

print(``):
lprint(A172555(N)):
print(``):
print(`--------------------------`):
print(``):
print(`this took`, time(),` seconds. `):
print(``):
quit: