ctbl:=[ [ 1, 136, 136, 425, 1360 ], [ 1, 4*E(7)+4*E(7)^2+32*E(7)^3+4*E(7)^4+32*E(7)^5+32*E(7)^6, 32*E(7)+32*E(7)^2+4*E(7)^3+32*E(7)^4+4*E(7)^5+4*E(7)^6, 75, -40 ], [ 1, 32*E(7)+32*E(7)^2+4*E(7)^3+32*E(7)^4+4*E(7)^5+4*E(7)^6, 4*E(7)+4*E(7)^2+32*E(7)^3+4*E(7)^4+32*E(7)^5+32*E(7)^6, 75, -40 ], [ 1, 10, 10, 5, -26 ], [ 1, -4, -4, -9, 16 ] ];