read `GenBeukersZeta3.txt`:

K:=3000:

print(`For GBCZ3ck(0,0,0,0,0) (alias 2*Zeta(3)), in other words redoing  Beukers`):
TheoremZ3(0,0,0,0,0,K,[[1, 1], [1, 3],[] ]):

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

print(`For the following we have a proposed INTEGERATING factor `):

print(`For GBCZ3ck(0,1/2,1/2,0,1/2) ( that equals (conjecturally) -198 + 288 ln(2)):`):
TheoremZ3(0,1/2,1/2,0,1/2, K,[[1, 1], [2, 1],[] ] ):

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

print(`For GBCZ3ck(0,0,0,1/2,1/2) ( conjecturally -(2-4*ln(2))/(3-4*ln(2))):`):

TheoremZ3(0,0,0,1/2,1/2,K,[[2, 4], [1, 0],[ [0,1/2,0,1,{0},1], [1/2,1,0,2,{0},1 ]$3 ]] ):


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

print(`For GBCZ3ck(0,1/4,0,3/4,1/2), conjecturally  -(-1+ln(2))/(-2+3*ln(2)) :`):

TheoremZ3(0,1/4,0,3/4,1/2,K,  [[2, 6], [4, 1], [ [1/4,3/4,0,2,{0},1],  [3/4,1,0,4/3,{0},1], [3/4,1,0,4/3,{0},1] ] ] ):

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

print(``):
print(`For GBCZ3ck(0,0,0,1/3,2/3), not yet identified, possibly a first irrationality proof  of that constant `):
TheoremZ3(0,0,0,1/3,2/3,K,  [[3, 3], [3, 1], [ [1/3,1,0,3/2,{0},1],  [1/3,1,3/2,3,{2},3],[2/3,1,0,3/2,{0},1]] ]):


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

print(``):
print(`For GBCZ3ck(0,0,0,2/3,1/3), not yet identified, possibly a first irrationality proof  of that constant `):
TheoremZ3(0,0,0,2/3,1/3,K,[[3, 3], [3, 1], [[2/3, 1, 0, 3/2, {0}, 1]$2, [1/3, 2/3, 0, 3/4, {0}, 1], [1/3, 2/3, 3/2, 3, {1}, 3]]]):

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

print(``):
print(`For GBCZ3ck(0, 1/3, 2/3, 1/3, 2/3), not yet identified, possibly a first irrationality proof  of that constant `):
TheoremZ3(0,1/3,2/3,1/3,2/3,K,[[3, 3/2], [1, 0], [[1/3, 2/3, 0, 3, {1}, 3]$3, [2/3, 1, 0, 3/2, {0}, 1]$2, [0, 1/3, 0, 1, {0}, 1]]]):


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


print(``):
print(`For GBCZ3ck(0, 1/5, 0, 3/5, 2/5), not yet identified, possibly a first irrationality proof  of that constant `):
print(`TheoremZ3(0,1/5,0,3/5,2/5,K,[[5, 5/2], [5, 1], [[4/5, 1, 0, 5/4, {0}, 1]$2, [2/5, 4/5, 0, 5/2, {0}, 1]]]);`):

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

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

print(``):
print(`For the following we do NOT (yet) have a proposed INTEGERating factor, hence the last argument is 0. `):

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

print(`For GBCZ3ck(0, 1/2, 1/2, 1/3, 1/6), not yet identified, possibly a first irrationality proof  of that constant `):
TheoremZ3(0, 1/2, 1/2, 1/3, 1/6,K,0):
print(``):

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


print(`For GBCZ3ck(0, 1/2, 1/2, 1/6, 1/3), not yet identified, possibly a first irrationality proof  of that constant `):
TheoremZ3(0, 1/2, 1/2, 1/6, 1/3,K,0):
print(``):
print(`---------------------------------`):
print(``):


print(``):
print(`For GBCZ3ck( 1/3, 0, 2/3, 1/2, 5/6), not yet identified, possibly a first irrationality proof  of that constant `):
print(`TheoremZ3( 1/3, 0, 2/3, 1/2, 5/6,K,0);`):

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

print(``):
print(`For GBCZ3ck(  1/7, 0, 2/7, 3/7, 4/7), not yet identified, possibly a first irrationality proof  of that constant `):
print(`TheoremZ3(  1/7, 0, 2/7, 3/7, 4/7,K,0);`):


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


print(`For GBCZ3ck(  1/7, 0, 2/7, 5/7, 3/7) ,not yet identified, possibly a first irrationality proof  of that constant `):
TheoremZ3(  1/7, 0, 2/7, 5/7, 3/7,K,0):

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


print(``):
print(`For GBCZ3ck(  1/7, 0, 3/7, 4/7, 5/7) , not yet identified, possibly a first irrationality proof  of that constant `):
TheoremZ3(  1/7, 0, 3/7, 4/7, 5/7,K,0):

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

print(``):
print(`For GBCZ3ck(  1/7, 0, 4/7, 2/7, 5/7) , not yet identified, possibly a first irrationality proof  of that constant `):
TheoremZ3(  1/7, 0, 4/7, 2/7, 5/7,K,0):


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

print(``):
print(`For GBCZ3ck(  2/7, 0, 3/7, 4/7, 5/7) , not yet identified, possibly a first irrationality proof  of that constant `):
TheoremZ3(  2/7, 0, 3/7, 4/7, 5/7,K,0):

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

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

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

quit: