read  `ZipeiNie.txt`:

K:=12:

print(`Theorem 1.4 in Zipei Nie's paper  arXiv:2301.05704v1 [math.CO], for n from 1 to`, K, ` are`):

print(seq(Th14(n),n=1..K)):

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


print(`Theorem 2.1 in Zipei Nie's paper   arXiv:2301.05704v1 [math.CO], for n from 3 to`, K, ` are`):

print(seq(Th21(n),n=3..K)):



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


print(`Theorem 2.2 in Zipei Nie's paper,   arXiv:2301.05704v1 [math.CO],  for n from 3 to`, K, ` are`):

print(seq(Th22(n),n=3..K)):



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


print(`Theorem 2.3 in Zipei Nie's paper,   arXiv:2301.05704v1 [math.CO], for n from 3 to`, K, ` are`):

print(seq(Th23(n),n=3..K)):


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


print(`This took`, time(), `seconds. `):

quit: