read DET:
print(` the Gessel-Xin identities `):

print(` (5.47) in Theorem 31 of Krathenthaler's Adv. Det. Cal.: A complement `):
 SRproof(binomial(3*m+3*n+2,m+n),m,n,N,40,40);

print(` (5.48) in Theorem 31 of Krathenthaler's Adv. Det. Cal.: A complement `):
 SRproof(binomial(3*m+3*n+1,m+n)/(3*m+3*n+1),m,n,N,40,40);


print(` (5.49) in Theorem 31 of Krathenthaler's Adv. Det. Cal.: A complement `):
 SRproof(binomial(3*m+3*n+4,m+n+1)/(3*m+3*n+4),m,n,N,40,40);

print(` (5.50) in Theorem 31 of Krathenthaler's Adv. Det. Cal.: A complement `):
 SRproof(binomial(3*m+3*n+2,m+n+1)/(3*m+3*n+2),m,n,N,40,40);

print(` (5.51) in Theorem 31 of Krathenthaler's Adv. Det. Cal.: A complement `):
 SRproof(binomial(3*m+3*n+5,m+n+2)/(3*m+3*n+5),m,n,N,40,40);

print(` (5.52) in Theorem 31 of Krathenthaler's Adv. Det. Cal.: A complement `):
 SRproof(2*binomial(3*m+3*n+1,m+n+1)/(3*m+3*n+1),m,n,N,40,40);

print(` (5.53) in Theorem 31 of Krathenthaler's Adv. Det. Cal.: A complement `):
 SRproof(2*binomial(3*m+3*n+4,m+n+2)/(3*m+3*n+4),m,n,N,40,40);

quit: