read rabbit:
 
print(`The output of Lewis for the proposed expression in the paper`):
print(`"A condensed condensation proof of a determinant conjectured`):
print(`by Kuperberg and Propp", by Amdeberhan and Ekhad is:`):
lprint(``):
Lewis(
(2*n+1)!^(m+1)*TP(2*n-m)*TP(m)*TP(m+a+b)*TP(2*n-m-a-b)/
TP(2*n+1)/TP(n-a)/TP(n-b)/TP(m+a)/TP(m+b)*
TP(n-m-a-1)*TP(n-m-b-1)*TP(a)*TP(b)*(a+b)!/TP(2*n-2*m-a-b-1)/TP(a+b)/a!/b!,
a,b,m);
 
 
quit: