Bipartite Maps  (Thm 4.5) 

> # bipartite maps
subs(eta(t)=eta[0],subs( seq(((D@@i)(eta))(t)=eta[i],i=1..20),convert(bigODEbipartite,D)));
 

`+`(`-`(`*`(11520, `*`(`^`(t, 14), `*`(`^`(eta[2], 5))))), `-`(`*`(19200, `*`(`^`(t, 14), `*`(`^`(eta[2], 3), `*`(eta[4]))))), `*`(17280, `*`(`^`(t, 14), `*`(`^`(eta[2], 2), `*`(`^`(eta[3], 2))))), `-...
`+`(`-`(`*`(11520, `*`(`^`(t, 14), `*`(`^`(eta[2], 5))))), `-`(`*`(19200, `*`(`^`(t, 14), `*`(`^`(eta[2], 3), `*`(eta[4]))))), `*`(17280, `*`(`^`(t, 14), `*`(`^`(eta[2], 2), `*`(`^`(eta[3], 2))))), `-...
`+`(`-`(`*`(11520, `*`(`^`(t, 14), `*`(`^`(eta[2], 5))))), `-`(`*`(19200, `*`(`^`(t, 14), `*`(`^`(eta[2], 3), `*`(eta[4]))))), `*`(17280, `*`(`^`(t, 14), `*`(`^`(eta[2], 2), `*`(`^`(eta[3], 2))))), `-...
`+`(`-`(`*`(11520, `*`(`^`(t, 14), `*`(`^`(eta[2], 5))))), `-`(`*`(19200, `*`(`^`(t, 14), `*`(`^`(eta[2], 3), `*`(eta[4]))))), `*`(17280, `*`(`^`(t, 14), `*`(`^`(eta[2], 2), `*`(`^`(eta[3], 2))))), `-...
`+`(`-`(`*`(11520, `*`(`^`(t, 14), `*`(`^`(eta[2], 5))))), `-`(`*`(19200, `*`(`^`(t, 14), `*`(`^`(eta[2], 3), `*`(eta[4]))))), `*`(17280, `*`(`^`(t, 14), `*`(`^`(eta[2], 2), `*`(`^`(eta[3], 2))))), `-...
`+`(`-`(`*`(11520, `*`(`^`(t, 14), `*`(`^`(eta[2], 5))))), `-`(`*`(19200, `*`(`^`(t, 14), `*`(`^`(eta[2], 3), `*`(eta[4]))))), `*`(17280, `*`(`^`(t, 14), `*`(`^`(eta[2], 2), `*`(`^`(eta[3], 2))))), `-...
`+`(`-`(`*`(11520, `*`(`^`(t, 14), `*`(`^`(eta[2], 5))))), `-`(`*`(19200, `*`(`^`(t, 14), `*`(`^`(eta[2], 3), `*`(eta[4]))))), `*`(17280, `*`(`^`(t, 14), `*`(`^`(eta[2], 2), `*`(`^`(eta[3], 2))))), `-...
`+`(`-`(`*`(11520, `*`(`^`(t, 14), `*`(`^`(eta[2], 5))))), `-`(`*`(19200, `*`(`^`(t, 14), `*`(`^`(eta[2], 3), `*`(eta[4]))))), `*`(17280, `*`(`^`(t, 14), `*`(`^`(eta[2], 2), `*`(`^`(eta[3], 2))))), `-...
`+`(`-`(`*`(11520, `*`(`^`(t, 14), `*`(`^`(eta[2], 5))))), `-`(`*`(19200, `*`(`^`(t, 14), `*`(`^`(eta[2], 3), `*`(eta[4]))))), `*`(17280, `*`(`^`(t, 14), `*`(`^`(eta[2], 2), `*`(`^`(eta[3], 2))))), `-...
`+`(`-`(`*`(11520, `*`(`^`(t, 14), `*`(`^`(eta[2], 5))))), `-`(`*`(19200, `*`(`^`(t, 14), `*`(`^`(eta[2], 3), `*`(eta[4]))))), `*`(17280, `*`(`^`(t, 14), `*`(`^`(eta[2], 2), `*`(`^`(eta[3], 2))))), `-...
`+`(`-`(`*`(11520, `*`(`^`(t, 14), `*`(`^`(eta[2], 5))))), `-`(`*`(19200, `*`(`^`(t, 14), `*`(`^`(eta[2], 3), `*`(eta[4]))))), `*`(17280, `*`(`^`(t, 14), `*`(`^`(eta[2], 2), `*`(`^`(eta[3], 2))))), `-...
`+`(`-`(`*`(11520, `*`(`^`(t, 14), `*`(`^`(eta[2], 5))))), `-`(`*`(19200, `*`(`^`(t, 14), `*`(`^`(eta[2], 3), `*`(eta[4]))))), `*`(17280, `*`(`^`(t, 14), `*`(`^`(eta[2], 2), `*`(`^`(eta[3], 2))))), `-...
`+`(`-`(`*`(11520, `*`(`^`(t, 14), `*`(`^`(eta[2], 5))))), `-`(`*`(19200, `*`(`^`(t, 14), `*`(`^`(eta[2], 3), `*`(eta[4]))))), `*`(17280, `*`(`^`(t, 14), `*`(`^`(eta[2], 2), `*`(`^`(eta[3], 2))))), `-...
`+`(`-`(`*`(11520, `*`(`^`(t, 14), `*`(`^`(eta[2], 5))))), `-`(`*`(19200, `*`(`^`(t, 14), `*`(`^`(eta[2], 3), `*`(eta[4]))))), `*`(17280, `*`(`^`(t, 14), `*`(`^`(eta[2], 2), `*`(`^`(eta[3], 2))))), `-...
`+`(`-`(`*`(11520, `*`(`^`(t, 14), `*`(`^`(eta[2], 5))))), `-`(`*`(19200, `*`(`^`(t, 14), `*`(`^`(eta[2], 3), `*`(eta[4]))))), `*`(17280, `*`(`^`(t, 14), `*`(`^`(eta[2], 2), `*`(`^`(eta[3], 2))))), `-...
`+`(`-`(`*`(11520, `*`(`^`(t, 14), `*`(`^`(eta[2], 5))))), `-`(`*`(19200, `*`(`^`(t, 14), `*`(`^`(eta[2], 3), `*`(eta[4]))))), `*`(17280, `*`(`^`(t, 14), `*`(`^`(eta[2], 2), `*`(`^`(eta[3], 2))))), `-...
`+`(`-`(`*`(11520, `*`(`^`(t, 14), `*`(`^`(eta[2], 5))))), `-`(`*`(19200, `*`(`^`(t, 14), `*`(`^`(eta[2], 3), `*`(eta[4]))))), `*`(17280, `*`(`^`(t, 14), `*`(`^`(eta[2], 2), `*`(`^`(eta[3], 2))))), `-...
`+`(`-`(`*`(11520, `*`(`^`(t, 14), `*`(`^`(eta[2], 5))))), `-`(`*`(19200, `*`(`^`(t, 14), `*`(`^`(eta[2], 3), `*`(eta[4]))))), `*`(17280, `*`(`^`(t, 14), `*`(`^`(eta[2], 2), `*`(`^`(eta[3], 2))))), `-...
`+`(`-`(`*`(11520, `*`(`^`(t, 14), `*`(`^`(eta[2], 5))))), `-`(`*`(19200, `*`(`^`(t, 14), `*`(`^`(eta[2], 3), `*`(eta[4]))))), `*`(17280, `*`(`^`(t, 14), `*`(`^`(eta[2], 2), `*`(`^`(eta[3], 2))))), `-...
`+`(`-`(`*`(11520, `*`(`^`(t, 14), `*`(`^`(eta[2], 5))))), `-`(`*`(19200, `*`(`^`(t, 14), `*`(`^`(eta[2], 3), `*`(eta[4]))))), `*`(17280, `*`(`^`(t, 14), `*`(`^`(eta[2], 2), `*`(`^`(eta[3], 2))))), `-...
`+`(`-`(`*`(11520, `*`(`^`(t, 14), `*`(`^`(eta[2], 5))))), `-`(`*`(19200, `*`(`^`(t, 14), `*`(`^`(eta[2], 3), `*`(eta[4]))))), `*`(17280, `*`(`^`(t, 14), `*`(`^`(eta[2], 2), `*`(`^`(eta[3], 2))))), `-...
`+`(`-`(`*`(11520, `*`(`^`(t, 14), `*`(`^`(eta[2], 5))))), `-`(`*`(19200, `*`(`^`(t, 14), `*`(`^`(eta[2], 3), `*`(eta[4]))))), `*`(17280, `*`(`^`(t, 14), `*`(`^`(eta[2], 2), `*`(`^`(eta[3], 2))))), `-...
`+`(`-`(`*`(11520, `*`(`^`(t, 14), `*`(`^`(eta[2], 5))))), `-`(`*`(19200, `*`(`^`(t, 14), `*`(`^`(eta[2], 3), `*`(eta[4]))))), `*`(17280, `*`(`^`(t, 14), `*`(`^`(eta[2], 2), `*`(`^`(eta[3], 2))))), `-...
`+`(`-`(`*`(11520, `*`(`^`(t, 14), `*`(`^`(eta[2], 5))))), `-`(`*`(19200, `*`(`^`(t, 14), `*`(`^`(eta[2], 3), `*`(eta[4]))))), `*`(17280, `*`(`^`(t, 14), `*`(`^`(eta[2], 2), `*`(`^`(eta[3], 2))))), `-...
`+`(`-`(`*`(11520, `*`(`^`(t, 14), `*`(`^`(eta[2], 5))))), `-`(`*`(19200, `*`(`^`(t, 14), `*`(`^`(eta[2], 3), `*`(eta[4]))))), `*`(17280, `*`(`^`(t, 14), `*`(`^`(eta[2], 2), `*`(`^`(eta[3], 2))))), `-...
`+`(`-`(`*`(11520, `*`(`^`(t, 14), `*`(`^`(eta[2], 5))))), `-`(`*`(19200, `*`(`^`(t, 14), `*`(`^`(eta[2], 3), `*`(eta[4]))))), `*`(17280, `*`(`^`(t, 14), `*`(`^`(eta[2], 2), `*`(`^`(eta[3], 2))))), `-...
`+`(`-`(`*`(11520, `*`(`^`(t, 14), `*`(`^`(eta[2], 5))))), `-`(`*`(19200, `*`(`^`(t, 14), `*`(`^`(eta[2], 3), `*`(eta[4]))))), `*`(17280, `*`(`^`(t, 14), `*`(`^`(eta[2], 2), `*`(`^`(eta[3], 2))))), `-...
`+`(`-`(`*`(11520, `*`(`^`(t, 14), `*`(`^`(eta[2], 5))))), `-`(`*`(19200, `*`(`^`(t, 14), `*`(`^`(eta[2], 3), `*`(eta[4]))))), `*`(17280, `*`(`^`(t, 14), `*`(`^`(eta[2], 2), `*`(`^`(eta[3], 2))))), `-...
`+`(`-`(`*`(11520, `*`(`^`(t, 14), `*`(`^`(eta[2], 5))))), `-`(`*`(19200, `*`(`^`(t, 14), `*`(`^`(eta[2], 3), `*`(eta[4]))))), `*`(17280, `*`(`^`(t, 14), `*`(`^`(eta[2], 2), `*`(`^`(eta[3], 2))))), `-...
`+`(`-`(`*`(11520, `*`(`^`(t, 14), `*`(`^`(eta[2], 5))))), `-`(`*`(19200, `*`(`^`(t, 14), `*`(`^`(eta[2], 3), `*`(eta[4]))))), `*`(17280, `*`(`^`(t, 14), `*`(`^`(eta[2], 2), `*`(`^`(eta[3], 2))))), `-...
`+`(`-`(`*`(11520, `*`(`^`(t, 14), `*`(`^`(eta[2], 5))))), `-`(`*`(19200, `*`(`^`(t, 14), `*`(`^`(eta[2], 3), `*`(eta[4]))))), `*`(17280, `*`(`^`(t, 14), `*`(`^`(eta[2], 2), `*`(`^`(eta[3], 2))))), `-...
`+`(`-`(`*`(11520, `*`(`^`(t, 14), `*`(`^`(eta[2], 5))))), `-`(`*`(19200, `*`(`^`(t, 14), `*`(`^`(eta[2], 3), `*`(eta[4]))))), `*`(17280, `*`(`^`(t, 14), `*`(`^`(eta[2], 2), `*`(`^`(eta[3], 2))))), `-...
`+`(`-`(`*`(11520, `*`(`^`(t, 14), `*`(`^`(eta[2], 5))))), `-`(`*`(19200, `*`(`^`(t, 14), `*`(`^`(eta[2], 3), `*`(eta[4]))))), `*`(17280, `*`(`^`(t, 14), `*`(`^`(eta[2], 2), `*`(`^`(eta[3], 2))))), `-...
`+`(`-`(`*`(11520, `*`(`^`(t, 14), `*`(`^`(eta[2], 5))))), `-`(`*`(19200, `*`(`^`(t, 14), `*`(`^`(eta[2], 3), `*`(eta[4]))))), `*`(17280, `*`(`^`(t, 14), `*`(`^`(eta[2], 2), `*`(`^`(eta[3], 2))))), `-...
`+`(`-`(`*`(11520, `*`(`^`(t, 14), `*`(`^`(eta[2], 5))))), `-`(`*`(19200, `*`(`^`(t, 14), `*`(`^`(eta[2], 3), `*`(eta[4]))))), `*`(17280, `*`(`^`(t, 14), `*`(`^`(eta[2], 2), `*`(`^`(eta[3], 2))))), `-...
`+`(`-`(`*`(11520, `*`(`^`(t, 14), `*`(`^`(eta[2], 5))))), `-`(`*`(19200, `*`(`^`(t, 14), `*`(`^`(eta[2], 3), `*`(eta[4]))))), `*`(17280, `*`(`^`(t, 14), `*`(`^`(eta[2], 2), `*`(`^`(eta[3], 2))))), `-...
`+`(`-`(`*`(11520, `*`(`^`(t, 14), `*`(`^`(eta[2], 5))))), `-`(`*`(19200, `*`(`^`(t, 14), `*`(`^`(eta[2], 3), `*`(eta[4]))))), `*`(17280, `*`(`^`(t, 14), `*`(`^`(eta[2], 2), `*`(`^`(eta[3], 2))))), `-...
`+`(`-`(`*`(11520, `*`(`^`(t, 14), `*`(`^`(eta[2], 5))))), `-`(`*`(19200, `*`(`^`(t, 14), `*`(`^`(eta[2], 3), `*`(eta[4]))))), `*`(17280, `*`(`^`(t, 14), `*`(`^`(eta[2], 2), `*`(`^`(eta[3], 2))))), `-...
`+`(`-`(`*`(11520, `*`(`^`(t, 14), `*`(`^`(eta[2], 5))))), `-`(`*`(19200, `*`(`^`(t, 14), `*`(`^`(eta[2], 3), `*`(eta[4]))))), `*`(17280, `*`(`^`(t, 14), `*`(`^`(eta[2], 2), `*`(`^`(eta[3], 2))))), `-...
`+`(`-`(`*`(11520, `*`(`^`(t, 14), `*`(`^`(eta[2], 5))))), `-`(`*`(19200, `*`(`^`(t, 14), `*`(`^`(eta[2], 3), `*`(eta[4]))))), `*`(17280, `*`(`^`(t, 14), `*`(`^`(eta[2], 2), `*`(`^`(eta[3], 2))))), `-...
`+`(`-`(`*`(11520, `*`(`^`(t, 14), `*`(`^`(eta[2], 5))))), `-`(`*`(19200, `*`(`^`(t, 14), `*`(`^`(eta[2], 3), `*`(eta[4]))))), `*`(17280, `*`(`^`(t, 14), `*`(`^`(eta[2], 2), `*`(`^`(eta[3], 2))))), `-...
`+`(`-`(`*`(11520, `*`(`^`(t, 14), `*`(`^`(eta[2], 5))))), `-`(`*`(19200, `*`(`^`(t, 14), `*`(`^`(eta[2], 3), `*`(eta[4]))))), `*`(17280, `*`(`^`(t, 14), `*`(`^`(eta[2], 2), `*`(`^`(eta[3], 2))))), `-...
`+`(`-`(`*`(11520, `*`(`^`(t, 14), `*`(`^`(eta[2], 5))))), `-`(`*`(19200, `*`(`^`(t, 14), `*`(`^`(eta[2], 3), `*`(eta[4]))))), `*`(17280, `*`(`^`(t, 14), `*`(`^`(eta[2], 2), `*`(`^`(eta[3], 2))))), `-...
`+`(`-`(`*`(11520, `*`(`^`(t, 14), `*`(`^`(eta[2], 5))))), `-`(`*`(19200, `*`(`^`(t, 14), `*`(`^`(eta[2], 3), `*`(eta[4]))))), `*`(17280, `*`(`^`(t, 14), `*`(`^`(eta[2], 2), `*`(`^`(eta[3], 2))))), `-...
`+`(`-`(`*`(11520, `*`(`^`(t, 14), `*`(`^`(eta[2], 5))))), `-`(`*`(19200, `*`(`^`(t, 14), `*`(`^`(eta[2], 3), `*`(eta[4]))))), `*`(17280, `*`(`^`(t, 14), `*`(`^`(eta[2], 2), `*`(`^`(eta[3], 2))))), `-...
`+`(`-`(`*`(11520, `*`(`^`(t, 14), `*`(`^`(eta[2], 5))))), `-`(`*`(19200, `*`(`^`(t, 14), `*`(`^`(eta[2], 3), `*`(eta[4]))))), `*`(17280, `*`(`^`(t, 14), `*`(`^`(eta[2], 2), `*`(`^`(eta[3], 2))))), `-...
`+`(`-`(`*`(11520, `*`(`^`(t, 14), `*`(`^`(eta[2], 5))))), `-`(`*`(19200, `*`(`^`(t, 14), `*`(`^`(eta[2], 3), `*`(eta[4]))))), `*`(17280, `*`(`^`(t, 14), `*`(`^`(eta[2], 2), `*`(`^`(eta[3], 2))))), `-...
`+`(`-`(`*`(11520, `*`(`^`(t, 14), `*`(`^`(eta[2], 5))))), `-`(`*`(19200, `*`(`^`(t, 14), `*`(`^`(eta[2], 3), `*`(eta[4]))))), `*`(17280, `*`(`^`(t, 14), `*`(`^`(eta[2], 2), `*`(`^`(eta[3], 2))))), `-...
`+`(`-`(`*`(11520, `*`(`^`(t, 14), `*`(`^`(eta[2], 5))))), `-`(`*`(19200, `*`(`^`(t, 14), `*`(`^`(eta[2], 3), `*`(eta[4]))))), `*`(17280, `*`(`^`(t, 14), `*`(`^`(eta[2], 2), `*`(`^`(eta[3], 2))))), `-...
`+`(`-`(`*`(11520, `*`(`^`(t, 14), `*`(`^`(eta[2], 5))))), `-`(`*`(19200, `*`(`^`(t, 14), `*`(`^`(eta[2], 3), `*`(eta[4]))))), `*`(17280, `*`(`^`(t, 14), `*`(`^`(eta[2], 2), `*`(`^`(eta[3], 2))))), `-...
`+`(`-`(`*`(11520, `*`(`^`(t, 14), `*`(`^`(eta[2], 5))))), `-`(`*`(19200, `*`(`^`(t, 14), `*`(`^`(eta[2], 3), `*`(eta[4]))))), `*`(17280, `*`(`^`(t, 14), `*`(`^`(eta[2], 2), `*`(`^`(eta[3], 2))))), `-...
`+`(`-`(`*`(11520, `*`(`^`(t, 14), `*`(`^`(eta[2], 5))))), `-`(`*`(19200, `*`(`^`(t, 14), `*`(`^`(eta[2], 3), `*`(eta[4]))))), `*`(17280, `*`(`^`(t, 14), `*`(`^`(eta[2], 2), `*`(`^`(eta[3], 2))))), `-...
`+`(`-`(`*`(11520, `*`(`^`(t, 14), `*`(`^`(eta[2], 5))))), `-`(`*`(19200, `*`(`^`(t, 14), `*`(`^`(eta[2], 3), `*`(eta[4]))))), `*`(17280, `*`(`^`(t, 14), `*`(`^`(eta[2], 2), `*`(`^`(eta[3], 2))))), `-...
`+`(`-`(`*`(11520, `*`(`^`(t, 14), `*`(`^`(eta[2], 5))))), `-`(`*`(19200, `*`(`^`(t, 14), `*`(`^`(eta[2], 3), `*`(eta[4]))))), `*`(17280, `*`(`^`(t, 14), `*`(`^`(eta[2], 2), `*`(`^`(eta[3], 2))))), `-...
`+`(`-`(`*`(11520, `*`(`^`(t, 14), `*`(`^`(eta[2], 5))))), `-`(`*`(19200, `*`(`^`(t, 14), `*`(`^`(eta[2], 3), `*`(eta[4]))))), `*`(17280, `*`(`^`(t, 14), `*`(`^`(eta[2], 2), `*`(`^`(eta[3], 2))))), `-...
`+`(`-`(`*`(11520, `*`(`^`(t, 14), `*`(`^`(eta[2], 5))))), `-`(`*`(19200, `*`(`^`(t, 14), `*`(`^`(eta[2], 3), `*`(eta[4]))))), `*`(17280, `*`(`^`(t, 14), `*`(`^`(eta[2], 2), `*`(`^`(eta[3], 2))))), `-...
`+`(`-`(`*`(11520, `*`(`^`(t, 14), `*`(`^`(eta[2], 5))))), `-`(`*`(19200, `*`(`^`(t, 14), `*`(`^`(eta[2], 3), `*`(eta[4]))))), `*`(17280, `*`(`^`(t, 14), `*`(`^`(eta[2], 2), `*`(`^`(eta[3], 2))))), `-...
`+`(`-`(`*`(11520, `*`(`^`(t, 14), `*`(`^`(eta[2], 5))))), `-`(`*`(19200, `*`(`^`(t, 14), `*`(`^`(eta[2], 3), `*`(eta[4]))))), `*`(17280, `*`(`^`(t, 14), `*`(`^`(eta[2], 2), `*`(`^`(eta[3], 2))))), `-...
`+`(`-`(`*`(11520, `*`(`^`(t, 14), `*`(`^`(eta[2], 5))))), `-`(`*`(19200, `*`(`^`(t, 14), `*`(`^`(eta[2], 3), `*`(eta[4]))))), `*`(17280, `*`(`^`(t, 14), `*`(`^`(eta[2], 2), `*`(`^`(eta[3], 2))))), `-...
`+`(`-`(`*`(11520, `*`(`^`(t, 14), `*`(`^`(eta[2], 5))))), `-`(`*`(19200, `*`(`^`(t, 14), `*`(`^`(eta[2], 3), `*`(eta[4]))))), `*`(17280, `*`(`^`(t, 14), `*`(`^`(eta[2], 2), `*`(`^`(eta[3], 2))))), `-...
`+`(`-`(`*`(11520, `*`(`^`(t, 14), `*`(`^`(eta[2], 5))))), `-`(`*`(19200, `*`(`^`(t, 14), `*`(`^`(eta[2], 3), `*`(eta[4]))))), `*`(17280, `*`(`^`(t, 14), `*`(`^`(eta[2], 2), `*`(`^`(eta[3], 2))))), `-...
`+`(`-`(`*`(11520, `*`(`^`(t, 14), `*`(`^`(eta[2], 5))))), `-`(`*`(19200, `*`(`^`(t, 14), `*`(`^`(eta[2], 3), `*`(eta[4]))))), `*`(17280, `*`(`^`(t, 14), `*`(`^`(eta[2], 2), `*`(`^`(eta[3], 2))))), `-...
`+`(`-`(`*`(11520, `*`(`^`(t, 14), `*`(`^`(eta[2], 5))))), `-`(`*`(19200, `*`(`^`(t, 14), `*`(`^`(eta[2], 3), `*`(eta[4]))))), `*`(17280, `*`(`^`(t, 14), `*`(`^`(eta[2], 2), `*`(`^`(eta[3], 2))))), `-...
`+`(`-`(`*`(11520, `*`(`^`(t, 14), `*`(`^`(eta[2], 5))))), `-`(`*`(19200, `*`(`^`(t, 14), `*`(`^`(eta[2], 3), `*`(eta[4]))))), `*`(17280, `*`(`^`(t, 14), `*`(`^`(eta[2], 2), `*`(`^`(eta[3], 2))))), `-...
`+`(`-`(`*`(11520, `*`(`^`(t, 14), `*`(`^`(eta[2], 5))))), `-`(`*`(19200, `*`(`^`(t, 14), `*`(`^`(eta[2], 3), `*`(eta[4]))))), `*`(17280, `*`(`^`(t, 14), `*`(`^`(eta[2], 2), `*`(`^`(eta[3], 2))))), `-...
`+`(`-`(`*`(11520, `*`(`^`(t, 14), `*`(`^`(eta[2], 5))))), `-`(`*`(19200, `*`(`^`(t, 14), `*`(`^`(eta[2], 3), `*`(eta[4]))))), `*`(17280, `*`(`^`(t, 14), `*`(`^`(eta[2], 2), `*`(`^`(eta[3], 2))))), `-...
`+`(`-`(`*`(11520, `*`(`^`(t, 14), `*`(`^`(eta[2], 5))))), `-`(`*`(19200, `*`(`^`(t, 14), `*`(`^`(eta[2], 3), `*`(eta[4]))))), `*`(17280, `*`(`^`(t, 14), `*`(`^`(eta[2], 2), `*`(`^`(eta[3], 2))))), `-...
`+`(`-`(`*`(11520, `*`(`^`(t, 14), `*`(`^`(eta[2], 5))))), `-`(`*`(19200, `*`(`^`(t, 14), `*`(`^`(eta[2], 3), `*`(eta[4]))))), `*`(17280, `*`(`^`(t, 14), `*`(`^`(eta[2], 2), `*`(`^`(eta[3], 2))))), `-...
`+`(`-`(`*`(11520, `*`(`^`(t, 14), `*`(`^`(eta[2], 5))))), `-`(`*`(19200, `*`(`^`(t, 14), `*`(`^`(eta[2], 3), `*`(eta[4]))))), `*`(17280, `*`(`^`(t, 14), `*`(`^`(eta[2], 2), `*`(`^`(eta[3], 2))))), `-...
`+`(`-`(`*`(11520, `*`(`^`(t, 14), `*`(`^`(eta[2], 5))))), `-`(`*`(19200, `*`(`^`(t, 14), `*`(`^`(eta[2], 3), `*`(eta[4]))))), `*`(17280, `*`(`^`(t, 14), `*`(`^`(eta[2], 2), `*`(`^`(eta[3], 2))))), `-...
`+`(`-`(`*`(11520, `*`(`^`(t, 14), `*`(`^`(eta[2], 5))))), `-`(`*`(19200, `*`(`^`(t, 14), `*`(`^`(eta[2], 3), `*`(eta[4]))))), `*`(17280, `*`(`^`(t, 14), `*`(`^`(eta[2], 2), `*`(`^`(eta[3], 2))))), `-...
`+`(`-`(`*`(11520, `*`(`^`(t, 14), `*`(`^`(eta[2], 5))))), `-`(`*`(19200, `*`(`^`(t, 14), `*`(`^`(eta[2], 3), `*`(eta[4]))))), `*`(17280, `*`(`^`(t, 14), `*`(`^`(eta[2], 2), `*`(`^`(eta[3], 2))))), `-...
`+`(`-`(`*`(11520, `*`(`^`(t, 14), `*`(`^`(eta[2], 5))))), `-`(`*`(19200, `*`(`^`(t, 14), `*`(`^`(eta[2], 3), `*`(eta[4]))))), `*`(17280, `*`(`^`(t, 14), `*`(`^`(eta[2], 2), `*`(`^`(eta[3], 2))))), `-...
`+`(`-`(`*`(11520, `*`(`^`(t, 14), `*`(`^`(eta[2], 5))))), `-`(`*`(19200, `*`(`^`(t, 14), `*`(`^`(eta[2], 3), `*`(eta[4]))))), `*`(17280, `*`(`^`(t, 14), `*`(`^`(eta[2], 2), `*`(`^`(eta[3], 2))))), `-...
`+`(`-`(`*`(11520, `*`(`^`(t, 14), `*`(`^`(eta[2], 5))))), `-`(`*`(19200, `*`(`^`(t, 14), `*`(`^`(eta[2], 3), `*`(eta[4]))))), `*`(17280, `*`(`^`(t, 14), `*`(`^`(eta[2], 2), `*`(`^`(eta[3], 2))))), `-...
`+`(`-`(`*`(11520, `*`(`^`(t, 14), `*`(`^`(eta[2], 5))))), `-`(`*`(19200, `*`(`^`(t, 14), `*`(`^`(eta[2], 3), `*`(eta[4]))))), `*`(17280, `*`(`^`(t, 14), `*`(`^`(eta[2], 2), `*`(`^`(eta[3], 2))))), `-...
`+`(`-`(`*`(11520, `*`(`^`(t, 14), `*`(`^`(eta[2], 5))))), `-`(`*`(19200, `*`(`^`(t, 14), `*`(`^`(eta[2], 3), `*`(eta[4]))))), `*`(17280, `*`(`^`(t, 14), `*`(`^`(eta[2], 2), `*`(`^`(eta[3], 2))))), `-...
`+`(`-`(`*`(11520, `*`(`^`(t, 14), `*`(`^`(eta[2], 5))))), `-`(`*`(19200, `*`(`^`(t, 14), `*`(`^`(eta[2], 3), `*`(eta[4]))))), `*`(17280, `*`(`^`(t, 14), `*`(`^`(eta[2], 2), `*`(`^`(eta[3], 2))))), `-...
`+`(`-`(`*`(11520, `*`(`^`(t, 14), `*`(`^`(eta[2], 5))))), `-`(`*`(19200, `*`(`^`(t, 14), `*`(`^`(eta[2], 3), `*`(eta[4]))))), `*`(17280, `*`(`^`(t, 14), `*`(`^`(eta[2], 2), `*`(`^`(eta[3], 2))))), `-...
`+`(`-`(`*`(11520, `*`(`^`(t, 14), `*`(`^`(eta[2], 5))))), `-`(`*`(19200, `*`(`^`(t, 14), `*`(`^`(eta[2], 3), `*`(eta[4]))))), `*`(17280, `*`(`^`(t, 14), `*`(`^`(eta[2], 2), `*`(`^`(eta[3], 2))))), `-...
`+`(`-`(`*`(11520, `*`(`^`(t, 14), `*`(`^`(eta[2], 5))))), `-`(`*`(19200, `*`(`^`(t, 14), `*`(`^`(eta[2], 3), `*`(eta[4]))))), `*`(17280, `*`(`^`(t, 14), `*`(`^`(eta[2], 2), `*`(`^`(eta[3], 2))))), `-...
`+`(`-`(`*`(11520, `*`(`^`(t, 14), `*`(`^`(eta[2], 5))))), `-`(`*`(19200, `*`(`^`(t, 14), `*`(`^`(eta[2], 3), `*`(eta[4]))))), `*`(17280, `*`(`^`(t, 14), `*`(`^`(eta[2], 2), `*`(`^`(eta[3], 2))))), `-...
`+`(`-`(`*`(11520, `*`(`^`(t, 14), `*`(`^`(eta[2], 5))))), `-`(`*`(19200, `*`(`^`(t, 14), `*`(`^`(eta[2], 3), `*`(eta[4]))))), `*`(17280, `*`(`^`(t, 14), `*`(`^`(eta[2], 2), `*`(`^`(eta[3], 2))))), `-...
`+`(`-`(`*`(11520, `*`(`^`(t, 14), `*`(`^`(eta[2], 5))))), `-`(`*`(19200, `*`(`^`(t, 14), `*`(`^`(eta[2], 3), `*`(eta[4]))))), `*`(17280, `*`(`^`(t, 14), `*`(`^`(eta[2], 2), `*`(`^`(eta[3], 2))))), `-...
`+`(`-`(`*`(11520, `*`(`^`(t, 14), `*`(`^`(eta[2], 5))))), `-`(`*`(19200, `*`(`^`(t, 14), `*`(`^`(eta[2], 3), `*`(eta[4]))))), `*`(17280, `*`(`^`(t, 14), `*`(`^`(eta[2], 2), `*`(`^`(eta[3], 2))))), `-...
`+`(`-`(`*`(11520, `*`(`^`(t, 14), `*`(`^`(eta[2], 5))))), `-`(`*`(19200, `*`(`^`(t, 14), `*`(`^`(eta[2], 3), `*`(eta[4]))))), `*`(17280, `*`(`^`(t, 14), `*`(`^`(eta[2], 2), `*`(`^`(eta[3], 2))))), `-...
`+`(`-`(`*`(11520, `*`(`^`(t, 14), `*`(`^`(eta[2], 5))))), `-`(`*`(19200, `*`(`^`(t, 14), `*`(`^`(eta[2], 3), `*`(eta[4]))))), `*`(17280, `*`(`^`(t, 14), `*`(`^`(eta[2], 2), `*`(`^`(eta[3], 2))))), `-...
`+`(`-`(`*`(11520, `*`(`^`(t, 14), `*`(`^`(eta[2], 5))))), `-`(`*`(19200, `*`(`^`(t, 14), `*`(`^`(eta[2], 3), `*`(eta[4]))))), `*`(17280, `*`(`^`(t, 14), `*`(`^`(eta[2], 2), `*`(`^`(eta[3], 2))))), `-...
`+`(`-`(`*`(11520, `*`(`^`(t, 14), `*`(`^`(eta[2], 5))))), `-`(`*`(19200, `*`(`^`(t, 14), `*`(`^`(eta[2], 3), `*`(eta[4]))))), `*`(17280, `*`(`^`(t, 14), `*`(`^`(eta[2], 2), `*`(`^`(eta[3], 2))))), `-...
`+`(`-`(`*`(11520, `*`(`^`(t, 14), `*`(`^`(eta[2], 5))))), `-`(`*`(19200, `*`(`^`(t, 14), `*`(`^`(eta[2], 3), `*`(eta[4]))))), `*`(17280, `*`(`^`(t, 14), `*`(`^`(eta[2], 2), `*`(`^`(eta[3], 2))))), `-...
`+`(`-`(`*`(11520, `*`(`^`(t, 14), `*`(`^`(eta[2], 5))))), `-`(`*`(19200, `*`(`^`(t, 14), `*`(`^`(eta[2], 3), `*`(eta[4]))))), `*`(17280, `*`(`^`(t, 14), `*`(`^`(eta[2], 2), `*`(`^`(eta[3], 2))))), `-...
`+`(`-`(`*`(11520, `*`(`^`(t, 14), `*`(`^`(eta[2], 5))))), `-`(`*`(19200, `*`(`^`(t, 14), `*`(`^`(eta[2], 3), `*`(eta[4]))))), `*`(17280, `*`(`^`(t, 14), `*`(`^`(eta[2], 2), `*`(`^`(eta[3], 2))))), `-...
`+`(`-`(`*`(11520, `*`(`^`(t, 14), `*`(`^`(eta[2], 5))))), `-`(`*`(19200, `*`(`^`(t, 14), `*`(`^`(eta[2], 3), `*`(eta[4]))))), `*`(17280, `*`(`^`(t, 14), `*`(`^`(eta[2], 2), `*`(`^`(eta[3], 2))))), `-...
`+`(`-`(`*`(11520, `*`(`^`(t, 14), `*`(`^`(eta[2], 5))))), `-`(`*`(19200, `*`(`^`(t, 14), `*`(`^`(eta[2], 3), `*`(eta[4]))))), `*`(17280, `*`(`^`(t, 14), `*`(`^`(eta[2], 2), `*`(`^`(eta[3], 2))))), `-...
`+`(`-`(`*`(11520, `*`(`^`(t, 14), `*`(`^`(eta[2], 5))))), `-`(`*`(19200, `*`(`^`(t, 14), `*`(`^`(eta[2], 3), `*`(eta[4]))))), `*`(17280, `*`(`^`(t, 14), `*`(`^`(eta[2], 2), `*`(`^`(eta[3], 2))))), `-...
`+`(`-`(`*`(11520, `*`(`^`(t, 14), `*`(`^`(eta[2], 5))))), `-`(`*`(19200, `*`(`^`(t, 14), `*`(`^`(eta[2], 3), `*`(eta[4]))))), `*`(17280, `*`(`^`(t, 14), `*`(`^`(eta[2], 2), `*`(`^`(eta[3], 2))))), `-...
`+`(`-`(`*`(11520, `*`(`^`(t, 14), `*`(`^`(eta[2], 5))))), `-`(`*`(19200, `*`(`^`(t, 14), `*`(`^`(eta[2], 3), `*`(eta[4]))))), `*`(17280, `*`(`^`(t, 14), `*`(`^`(eta[2], 2), `*`(`^`(eta[3], 2))))), `-...
`+`(`-`(`*`(11520, `*`(`^`(t, 14), `*`(`^`(eta[2], 5))))), `-`(`*`(19200, `*`(`^`(t, 14), `*`(`^`(eta[2], 3), `*`(eta[4]))))), `*`(17280, `*`(`^`(t, 14), `*`(`^`(eta[2], 2), `*`(`^`(eta[3], 2))))), `-...
`+`(`-`(`*`(11520, `*`(`^`(t, 14), `*`(`^`(eta[2], 5))))), `-`(`*`(19200, `*`(`^`(t, 14), `*`(`^`(eta[2], 3), `*`(eta[4]))))), `*`(17280, `*`(`^`(t, 14), `*`(`^`(eta[2], 2), `*`(`^`(eta[3], 2))))), `-...
`+`(`-`(`*`(11520, `*`(`^`(t, 14), `*`(`^`(eta[2], 5))))), `-`(`*`(19200, `*`(`^`(t, 14), `*`(`^`(eta[2], 3), `*`(eta[4]))))), `*`(17280, `*`(`^`(t, 14), `*`(`^`(eta[2], 2), `*`(`^`(eta[3], 2))))), `-...
`+`(`-`(`*`(11520, `*`(`^`(t, 14), `*`(`^`(eta[2], 5))))), `-`(`*`(19200, `*`(`^`(t, 14), `*`(`^`(eta[2], 3), `*`(eta[4]))))), `*`(17280, `*`(`^`(t, 14), `*`(`^`(eta[2], 2), `*`(`^`(eta[3], 2))))), `-...
`+`(`-`(`*`(11520, `*`(`^`(t, 14), `*`(`^`(eta[2], 5))))), `-`(`*`(19200, `*`(`^`(t, 14), `*`(`^`(eta[2], 3), `*`(eta[4]))))), `*`(17280, `*`(`^`(t, 14), `*`(`^`(eta[2], 2), `*`(`^`(eta[3], 2))))), `-...
`+`(`-`(`*`(11520, `*`(`^`(t, 14), `*`(`^`(eta[2], 5))))), `-`(`*`(19200, `*`(`^`(t, 14), `*`(`^`(eta[2], 3), `*`(eta[4]))))), `*`(17280, `*`(`^`(t, 14), `*`(`^`(eta[2], 2), `*`(`^`(eta[3], 2))))), `-...
`+`(`-`(`*`(11520, `*`(`^`(t, 14), `*`(`^`(eta[2], 5))))), `-`(`*`(19200, `*`(`^`(t, 14), `*`(`^`(eta[2], 3), `*`(eta[4]))))), `*`(17280, `*`(`^`(t, 14), `*`(`^`(eta[2], 2), `*`(`^`(eta[3], 2))))), `-...
`+`(`-`(`*`(11520, `*`(`^`(t, 14), `*`(`^`(eta[2], 5))))), `-`(`*`(19200, `*`(`^`(t, 14), `*`(`^`(eta[2], 3), `*`(eta[4]))))), `*`(17280, `*`(`^`(t, 14), `*`(`^`(eta[2], 2), `*`(`^`(eta[3], 2))))), `-...
`+`(`-`(`*`(11520, `*`(`^`(t, 14), `*`(`^`(eta[2], 5))))), `-`(`*`(19200, `*`(`^`(t, 14), `*`(`^`(eta[2], 3), `*`(eta[4]))))), `*`(17280, `*`(`^`(t, 14), `*`(`^`(eta[2], 2), `*`(`^`(eta[3], 2))))), `-...
`+`(`-`(`*`(11520, `*`(`^`(t, 14), `*`(`^`(eta[2], 5))))), `-`(`*`(19200, `*`(`^`(t, 14), `*`(`^`(eta[2], 3), `*`(eta[4]))))), `*`(17280, `*`(`^`(t, 14), `*`(`^`(eta[2], 2), `*`(`^`(eta[3], 2))))), `-...
`+`(`-`(`*`(11520, `*`(`^`(t, 14), `*`(`^`(eta[2], 5))))), `-`(`*`(19200, `*`(`^`(t, 14), `*`(`^`(eta[2], 3), `*`(eta[4]))))), `*`(17280, `*`(`^`(t, 14), `*`(`^`(eta[2], 2), `*`(`^`(eta[3], 2))))), `-...
`+`(`-`(`*`(11520, `*`(`^`(t, 14), `*`(`^`(eta[2], 5))))), `-`(`*`(19200, `*`(`^`(t, 14), `*`(`^`(eta[2], 3), `*`(eta[4]))))), `*`(17280, `*`(`^`(t, 14), `*`(`^`(eta[2], 2), `*`(`^`(eta[3], 2))))), `-...
`+`(`-`(`*`(11520, `*`(`^`(t, 14), `*`(`^`(eta[2], 5))))), `-`(`*`(19200, `*`(`^`(t, 14), `*`(`^`(eta[2], 3), `*`(eta[4]))))), `*`(17280, `*`(`^`(t, 14), `*`(`^`(eta[2], 2), `*`(`^`(eta[3], 2))))), `-...
`+`(`-`(`*`(11520, `*`(`^`(t, 14), `*`(`^`(eta[2], 5))))), `-`(`*`(19200, `*`(`^`(t, 14), `*`(`^`(eta[2], 3), `*`(eta[4]))))), `*`(17280, `*`(`^`(t, 14), `*`(`^`(eta[2], 2), `*`(`^`(eta[3], 2))))), `-...
`+`(`-`(`*`(11520, `*`(`^`(t, 14), `*`(`^`(eta[2], 5))))), `-`(`*`(19200, `*`(`^`(t, 14), `*`(`^`(eta[2], 3), `*`(eta[4]))))), `*`(17280, `*`(`^`(t, 14), `*`(`^`(eta[2], 2), `*`(`^`(eta[3], 2))))), `-...
`+`(`-`(`*`(11520, `*`(`^`(t, 14), `*`(`^`(eta[2], 5))))), `-`(`*`(19200, `*`(`^`(t, 14), `*`(`^`(eta[2], 3), `*`(eta[4]))))), `*`(17280, `*`(`^`(t, 14), `*`(`^`(eta[2], 2), `*`(`^`(eta[3], 2))))), `-...
`+`(`-`(`*`(11520, `*`(`^`(t, 14), `*`(`^`(eta[2], 5))))), `-`(`*`(19200, `*`(`^`(t, 14), `*`(`^`(eta[2], 3), `*`(eta[4]))))), `*`(17280, `*`(`^`(t, 14), `*`(`^`(eta[2], 2), `*`(`^`(eta[3], 2))))), `-...
`+`(`-`(`*`(11520, `*`(`^`(t, 14), `*`(`^`(eta[2], 5))))), `-`(`*`(19200, `*`(`^`(t, 14), `*`(`^`(eta[2], 3), `*`(eta[4]))))), `*`(17280, `*`(`^`(t, 14), `*`(`^`(eta[2], 2), `*`(`^`(eta[3], 2))))), `-...
`+`(`-`(`*`(11520, `*`(`^`(t, 14), `*`(`^`(eta[2], 5))))), `-`(`*`(19200, `*`(`^`(t, 14), `*`(`^`(eta[2], 3), `*`(eta[4]))))), `*`(17280, `*`(`^`(t, 14), `*`(`^`(eta[2], 2), `*`(`^`(eta[3], 2))))), `-...
`+`(`-`(`*`(11520, `*`(`^`(t, 14), `*`(`^`(eta[2], 5))))), `-`(`*`(19200, `*`(`^`(t, 14), `*`(`^`(eta[2], 3), `*`(eta[4]))))), `*`(17280, `*`(`^`(t, 14), `*`(`^`(eta[2], 2), `*`(`^`(eta[3], 2))))), `-...
`+`(`-`(`*`(11520, `*`(`^`(t, 14), `*`(`^`(eta[2], 5))))), `-`(`*`(19200, `*`(`^`(t, 14), `*`(`^`(eta[2], 3), `*`(eta[4]))))), `*`(17280, `*`(`^`(t, 14), `*`(`^`(eta[2], 2), `*`(`^`(eta[3], 2))))), `-...
`+`(`-`(`*`(11520, `*`(`^`(t, 14), `*`(`^`(eta[2], 5))))), `-`(`*`(19200, `*`(`^`(t, 14), `*`(`^`(eta[2], 3), `*`(eta[4]))))), `*`(17280, `*`(`^`(t, 14), `*`(`^`(eta[2], 2), `*`(`^`(eta[3], 2))))), `-...
`+`(`-`(`*`(11520, `*`(`^`(t, 14), `*`(`^`(eta[2], 5))))), `-`(`*`(19200, `*`(`^`(t, 14), `*`(`^`(eta[2], 3), `*`(eta[4]))))), `*`(17280, `*`(`^`(t, 14), `*`(`^`(eta[2], 2), `*`(`^`(eta[3], 2))))), `-...
`+`(`-`(`*`(11520, `*`(`^`(t, 14), `*`(`^`(eta[2], 5))))), `-`(`*`(19200, `*`(`^`(t, 14), `*`(`^`(eta[2], 3), `*`(eta[4]))))), `*`(17280, `*`(`^`(t, 14), `*`(`^`(eta[2], 2), `*`(`^`(eta[3], 2))))), `-...
`+`(`-`(`*`(11520, `*`(`^`(t, 14), `*`(`^`(eta[2], 5))))), `-`(`*`(19200, `*`(`^`(t, 14), `*`(`^`(eta[2], 3), `*`(eta[4]))))), `*`(17280, `*`(`^`(t, 14), `*`(`^`(eta[2], 2), `*`(`^`(eta[3], 2))))), `-...
`+`(`-`(`*`(11520, `*`(`^`(t, 14), `*`(`^`(eta[2], 5))))), `-`(`*`(19200, `*`(`^`(t, 14), `*`(`^`(eta[2], 3), `*`(eta[4]))))), `*`(17280, `*`(`^`(t, 14), `*`(`^`(eta[2], 2), `*`(`^`(eta[3], 2))))), `-...
`+`(`-`(`*`(11520, `*`(`^`(t, 14), `*`(`^`(eta[2], 5))))), `-`(`*`(19200, `*`(`^`(t, 14), `*`(`^`(eta[2], 3), `*`(eta[4]))))), `*`(17280, `*`(`^`(t, 14), `*`(`^`(eta[2], 2), `*`(`^`(eta[3], 2))))), `-...
`+`(`-`(`*`(11520, `*`(`^`(t, 14), `*`(`^`(eta[2], 5))))), `-`(`*`(19200, `*`(`^`(t, 14), `*`(`^`(eta[2], 3), `*`(eta[4]))))), `*`(17280, `*`(`^`(t, 14), `*`(`^`(eta[2], 2), `*`(`^`(eta[3], 2))))), `-...
`+`(`-`(`*`(11520, `*`(`^`(t, 14), `*`(`^`(eta[2], 5))))), `-`(`*`(19200, `*`(`^`(t, 14), `*`(`^`(eta[2], 3), `*`(eta[4]))))), `*`(17280, `*`(`^`(t, 14), `*`(`^`(eta[2], 2), `*`(`^`(eta[3], 2))))), `-...
`+`(`-`(`*`(11520, `*`(`^`(t, 14), `*`(`^`(eta[2], 5))))), `-`(`*`(19200, `*`(`^`(t, 14), `*`(`^`(eta[2], 3), `*`(eta[4]))))), `*`(17280, `*`(`^`(t, 14), `*`(`^`(eta[2], 2), `*`(`^`(eta[3], 2))))), `-...
`+`(`-`(`*`(11520, `*`(`^`(t, 14), `*`(`^`(eta[2], 5))))), `-`(`*`(19200, `*`(`^`(t, 14), `*`(`^`(eta[2], 3), `*`(eta[4]))))), `*`(17280, `*`(`^`(t, 14), `*`(`^`(eta[2], 2), `*`(`^`(eta[3], 2))))), `-...
`+`(`-`(`*`(11520, `*`(`^`(t, 14), `*`(`^`(eta[2], 5))))), `-`(`*`(19200, `*`(`^`(t, 14), `*`(`^`(eta[2], 3), `*`(eta[4]))))), `*`(17280, `*`(`^`(t, 14), `*`(`^`(eta[2], 2), `*`(`^`(eta[3], 2))))), `-...
`+`(`-`(`*`(11520, `*`(`^`(t, 14), `*`(`^`(eta[2], 5))))), `-`(`*`(19200, `*`(`^`(t, 14), `*`(`^`(eta[2], 3), `*`(eta[4]))))), `*`(17280, `*`(`^`(t, 14), `*`(`^`(eta[2], 2), `*`(`^`(eta[3], 2))))), `-...
`+`(`-`(`*`(11520, `*`(`^`(t, 14), `*`(`^`(eta[2], 5))))), `-`(`*`(19200, `*`(`^`(t, 14), `*`(`^`(eta[2], 3), `*`(eta[4]))))), `*`(17280, `*`(`^`(t, 14), `*`(`^`(eta[2], 2), `*`(`^`(eta[3], 2))))), `-...
`+`(`-`(`*`(11520, `*`(`^`(t, 14), `*`(`^`(eta[2], 5))))), `-`(`*`(19200, `*`(`^`(t, 14), `*`(`^`(eta[2], 3), `*`(eta[4]))))), `*`(17280, `*`(`^`(t, 14), `*`(`^`(eta[2], 2), `*`(`^`(eta[3], 2))))), `-...
`+`(`-`(`*`(11520, `*`(`^`(t, 14), `*`(`^`(eta[2], 5))))), `-`(`*`(19200, `*`(`^`(t, 14), `*`(`^`(eta[2], 3), `*`(eta[4]))))), `*`(17280, `*`(`^`(t, 14), `*`(`^`(eta[2], 2), `*`(`^`(eta[3], 2))))), `-...
`+`(`-`(`*`(11520, `*`(`^`(t, 14), `*`(`^`(eta[2], 5))))), `-`(`*`(19200, `*`(`^`(t, 14), `*`(`^`(eta[2], 3), `*`(eta[4]))))), `*`(17280, `*`(`^`(t, 14), `*`(`^`(eta[2], 2), `*`(`^`(eta[3], 2))))), `-...
`+`(`-`(`*`(11520, `*`(`^`(t, 14), `*`(`^`(eta[2], 5))))), `-`(`*`(19200, `*`(`^`(t, 14), `*`(`^`(eta[2], 3), `*`(eta[4]))))), `*`(17280, `*`(`^`(t, 14), `*`(`^`(eta[2], 2), `*`(`^`(eta[3], 2))))), `-...
`+`(`-`(`*`(11520, `*`(`^`(t, 14), `*`(`^`(eta[2], 5))))), `-`(`*`(19200, `*`(`^`(t, 14), `*`(`^`(eta[2], 3), `*`(eta[4]))))), `*`(17280, `*`(`^`(t, 14), `*`(`^`(eta[2], 2), `*`(`^`(eta[3], 2))))), `-...
`+`(`-`(`*`(11520, `*`(`^`(t, 14), `*`(`^`(eta[2], 5))))), `-`(`*`(19200, `*`(`^`(t, 14), `*`(`^`(eta[2], 3), `*`(eta[4]))))), `*`(17280, `*`(`^`(t, 14), `*`(`^`(eta[2], 2), `*`(`^`(eta[3], 2))))), `-...
`+`(`-`(`*`(11520, `*`(`^`(t, 14), `*`(`^`(eta[2], 5))))), `-`(`*`(19200, `*`(`^`(t, 14), `*`(`^`(eta[2], 3), `*`(eta[4]))))), `*`(17280, `*`(`^`(t, 14), `*`(`^`(eta[2], 2), `*`(`^`(eta[3], 2))))), `-...
`+`(`-`(`*`(11520, `*`(`^`(t, 14), `*`(`^`(eta[2], 5))))), `-`(`*`(19200, `*`(`^`(t, 14), `*`(`^`(eta[2], 3), `*`(eta[4]))))), `*`(17280, `*`(`^`(t, 14), `*`(`^`(eta[2], 2), `*`(`^`(eta[3], 2))))), `-...
`+`(`-`(`*`(11520, `*`(`^`(t, 14), `*`(`^`(eta[2], 5))))), `-`(`*`(19200, `*`(`^`(t, 14), `*`(`^`(eta[2], 3), `*`(eta[4]))))), `*`(17280, `*`(`^`(t, 14), `*`(`^`(eta[2], 2), `*`(`^`(eta[3], 2))))), `-...
`+`(`-`(`*`(11520, `*`(`^`(t, 14), `*`(`^`(eta[2], 5))))), `-`(`*`(19200, `*`(`^`(t, 14), `*`(`^`(eta[2], 3), `*`(eta[4]))))), `*`(17280, `*`(`^`(t, 14), `*`(`^`(eta[2], 2), `*`(`^`(eta[3], 2))))), `-...
`+`(`-`(`*`(11520, `*`(`^`(t, 14), `*`(`^`(eta[2], 5))))), `-`(`*`(19200, `*`(`^`(t, 14), `*`(`^`(eta[2], 3), `*`(eta[4]))))), `*`(17280, `*`(`^`(t, 14), `*`(`^`(eta[2], 2), `*`(`^`(eta[3], 2))))), `-...
`+`(`-`(`*`(11520, `*`(`^`(t, 14), `*`(`^`(eta[2], 5))))), `-`(`*`(19200, `*`(`^`(t, 14), `*`(`^`(eta[2], 3), `*`(eta[4]))))), `*`(17280, `*`(`^`(t, 14), `*`(`^`(eta[2], 2), `*`(`^`(eta[3], 2))))), `-...
`+`(`-`(`*`(11520, `*`(`^`(t, 14), `*`(`^`(eta[2], 5))))), `-`(`*`(19200, `*`(`^`(t, 14), `*`(`^`(eta[2], 3), `*`(eta[4]))))), `*`(17280, `*`(`^`(t, 14), `*`(`^`(eta[2], 2), `*`(`^`(eta[3], 2))))), `-...
`+`(`-`(`*`(11520, `*`(`^`(t, 14), `*`(`^`(eta[2], 5))))), `-`(`*`(19200, `*`(`^`(t, 14), `*`(`^`(eta[2], 3), `*`(eta[4]))))), `*`(17280, `*`(`^`(t, 14), `*`(`^`(eta[2], 2), `*`(`^`(eta[3], 2))))), `-...
`+`(`-`(`*`(11520, `*`(`^`(t, 14), `*`(`^`(eta[2], 5))))), `-`(`*`(19200, `*`(`^`(t, 14), `*`(`^`(eta[2], 3), `*`(eta[4]))))), `*`(17280, `*`(`^`(t, 14), `*`(`^`(eta[2], 2), `*`(`^`(eta[3], 2))))), `-...
`+`(`-`(`*`(11520, `*`(`^`(t, 14), `*`(`^`(eta[2], 5))))), `-`(`*`(19200, `*`(`^`(t, 14), `*`(`^`(eta[2], 3), `*`(eta[4]))))), `*`(17280, `*`(`^`(t, 14), `*`(`^`(eta[2], 2), `*`(`^`(eta[3], 2))))), `-...
`+`(`-`(`*`(11520, `*`(`^`(t, 14), `*`(`^`(eta[2], 5))))), `-`(`*`(19200, `*`(`^`(t, 14), `*`(`^`(eta[2], 3), `*`(eta[4]))))), `*`(17280, `*`(`^`(t, 14), `*`(`^`(eta[2], 2), `*`(`^`(eta[3], 2))))), `-...
`+`(`-`(`*`(11520, `*`(`^`(t, 14), `*`(`^`(eta[2], 5))))), `-`(`*`(19200, `*`(`^`(t, 14), `*`(`^`(eta[2], 3), `*`(eta[4]))))), `*`(17280, `*`(`^`(t, 14), `*`(`^`(eta[2], 2), `*`(`^`(eta[3], 2))))), `-...
`+`(`-`(`*`(11520, `*`(`^`(t, 14), `*`(`^`(eta[2], 5))))), `-`(`*`(19200, `*`(`^`(t, 14), `*`(`^`(eta[2], 3), `*`(eta[4]))))), `*`(17280, `*`(`^`(t, 14), `*`(`^`(eta[2], 2), `*`(`^`(eta[3], 2))))), `-...
`+`(`-`(`*`(11520, `*`(`^`(t, 14), `*`(`^`(eta[2], 5))))), `-`(`*`(19200, `*`(`^`(t, 14), `*`(`^`(eta[2], 3), `*`(eta[4]))))), `*`(17280, `*`(`^`(t, 14), `*`(`^`(eta[2], 2), `*`(`^`(eta[3], 2))))), `-...
`+`(`-`(`*`(11520, `*`(`^`(t, 14), `*`(`^`(eta[2], 5))))), `-`(`*`(19200, `*`(`^`(t, 14), `*`(`^`(eta[2], 3), `*`(eta[4]))))), `*`(17280, `*`(`^`(t, 14), `*`(`^`(eta[2], 2), `*`(`^`(eta[3], 2))))), `-...
`+`(`-`(`*`(11520, `*`(`^`(t, 14), `*`(`^`(eta[2], 5))))), `-`(`*`(19200, `*`(`^`(t, 14), `*`(`^`(eta[2], 3), `*`(eta[4]))))), `*`(17280, `*`(`^`(t, 14), `*`(`^`(eta[2], 2), `*`(`^`(eta[3], 2))))), `-...
`+`(`-`(`*`(11520, `*`(`^`(t, 14), `*`(`^`(eta[2], 5))))), `-`(`*`(19200, `*`(`^`(t, 14), `*`(`^`(eta[2], 3), `*`(eta[4]))))), `*`(17280, `*`(`^`(t, 14), `*`(`^`(eta[2], 2), `*`(`^`(eta[3], 2))))), `-...
`+`(`-`(`*`(11520, `*`(`^`(t, 14), `*`(`^`(eta[2], 5))))), `-`(`*`(19200, `*`(`^`(t, 14), `*`(`^`(eta[2], 3), `*`(eta[4]))))), `*`(17280, `*`(`^`(t, 14), `*`(`^`(eta[2], 2), `*`(`^`(eta[3], 2))))), `-...
`+`(`-`(`*`(11520, `*`(`^`(t, 14), `*`(`^`(eta[2], 5))))), `-`(`*`(19200, `*`(`^`(t, 14), `*`(`^`(eta[2], 3), `*`(eta[4]))))), `*`(17280, `*`(`^`(t, 14), `*`(`^`(eta[2], 2), `*`(`^`(eta[3], 2))))), `-...
`+`(`-`(`*`(11520, `*`(`^`(t, 14), `*`(`^`(eta[2], 5))))), `-`(`*`(19200, `*`(`^`(t, 14), `*`(`^`(eta[2], 3), `*`(eta[4]))))), `*`(17280, `*`(`^`(t, 14), `*`(`^`(eta[2], 2), `*`(`^`(eta[3], 2))))), `-...
`+`(`-`(`*`(11520, `*`(`^`(t, 14), `*`(`^`(eta[2], 5))))), `-`(`*`(19200, `*`(`^`(t, 14), `*`(`^`(eta[2], 3), `*`(eta[4]))))), `*`(17280, `*`(`^`(t, 14), `*`(`^`(eta[2], 2), `*`(`^`(eta[3], 2))))), `-...
`+`(`-`(`*`(11520, `*`(`^`(t, 14), `*`(`^`(eta[2], 5))))), `-`(`*`(19200, `*`(`^`(t, 14), `*`(`^`(eta[2], 3), `*`(eta[4]))))), `*`(17280, `*`(`^`(t, 14), `*`(`^`(eta[2], 2), `*`(`^`(eta[3], 2))))), `-...
`+`(`-`(`*`(11520, `*`(`^`(t, 14), `*`(`^`(eta[2], 5))))), `-`(`*`(19200, `*`(`^`(t, 14), `*`(`^`(eta[2], 3), `*`(eta[4]))))), `*`(17280, `*`(`^`(t, 14), `*`(`^`(eta[2], 2), `*`(`^`(eta[3], 2))))), `-...
`+`(`-`(`*`(11520, `*`(`^`(t, 14), `*`(`^`(eta[2], 5))))), `-`(`*`(19200, `*`(`^`(t, 14), `*`(`^`(eta[2], 3), `*`(eta[4]))))), `*`(17280, `*`(`^`(t, 14), `*`(`^`(eta[2], 2), `*`(`^`(eta[3], 2))))), `-...
`+`(`-`(`*`(11520, `*`(`^`(t, 14), `*`(`^`(eta[2], 5))))), `-`(`*`(19200, `*`(`^`(t, 14), `*`(`^`(eta[2], 3), `*`(eta[4]))))), `*`(17280, `*`(`^`(t, 14), `*`(`^`(eta[2], 2), `*`(`^`(eta[3], 2))))), `-...
`+`(`-`(`*`(11520, `*`(`^`(t, 14), `*`(`^`(eta[2], 5))))), `-`(`*`(19200, `*`(`^`(t, 14), `*`(`^`(eta[2], 3), `*`(eta[4]))))), `*`(17280, `*`(`^`(t, 14), `*`(`^`(eta[2], 2), `*`(`^`(eta[3], 2))))), `-...
`+`(`-`(`*`(11520, `*`(`^`(t, 14), `*`(`^`(eta[2], 5))))), `-`(`*`(19200, `*`(`^`(t, 14), `*`(`^`(eta[2], 3), `*`(eta[4]))))), `*`(17280, `*`(`^`(t, 14), `*`(`^`(eta[2], 2), `*`(`^`(eta[3], 2))))), `-...
`+`(`-`(`*`(11520, `*`(`^`(t, 14), `*`(`^`(eta[2], 5))))), `-`(`*`(19200, `*`(`^`(t, 14), `*`(`^`(eta[2], 3), `*`(eta[4]))))), `*`(17280, `*`(`^`(t, 14), `*`(`^`(eta[2], 2), `*`(`^`(eta[3], 2))))), `-...
`+`(`-`(`*`(11520, `*`(`^`(t, 14), `*`(`^`(eta[2], 5))))), `-`(`*`(19200, `*`(`^`(t, 14), `*`(`^`(eta[2], 3), `*`(eta[4]))))), `*`(17280, `*`(`^`(t, 14), `*`(`^`(eta[2], 2), `*`(`^`(eta[3], 2))))), `-...
`+`(`-`(`*`(11520, `*`(`^`(t, 14), `*`(`^`(eta[2], 5))))), `-`(`*`(19200, `*`(`^`(t, 14), `*`(`^`(eta[2], 3), `*`(eta[4]))))), `*`(17280, `*`(`^`(t, 14), `*`(`^`(eta[2], 2), `*`(`^`(eta[3], 2))))), `-...
`+`(`-`(`*`(11520, `*`(`^`(t, 14), `*`(`^`(eta[2], 5))))), `-`(`*`(19200, `*`(`^`(t, 14), `*`(`^`(eta[2], 3), `*`(eta[4]))))), `*`(17280, `*`(`^`(t, 14), `*`(`^`(eta[2], 2), `*`(`^`(eta[3], 2))))), `-...
`+`(`-`(`*`(11520, `*`(`^`(t, 14), `*`(`^`(eta[2], 5))))), `-`(`*`(19200, `*`(`^`(t, 14), `*`(`^`(eta[2], 3), `*`(eta[4]))))), `*`(17280, `*`(`^`(t, 14), `*`(`^`(eta[2], 2), `*`(`^`(eta[3], 2))))), `-...
`+`(`-`(`*`(11520, `*`(`^`(t, 14), `*`(`^`(eta[2], 5))))), `-`(`*`(19200, `*`(`^`(t, 14), `*`(`^`(eta[2], 3), `*`(eta[4]))))), `*`(17280, `*`(`^`(t, 14), `*`(`^`(eta[2], 2), `*`(`^`(eta[3], 2))))), `-...
`+`(`-`(`*`(11520, `*`(`^`(t, 14), `*`(`^`(eta[2], 5))))), `-`(`*`(19200, `*`(`^`(t, 14), `*`(`^`(eta[2], 3), `*`(eta[4]))))), `*`(17280, `*`(`^`(t, 14), `*`(`^`(eta[2], 2), `*`(`^`(eta[3], 2))))), `-...
`+`(`-`(`*`(11520, `*`(`^`(t, 14), `*`(`^`(eta[2], 5))))), `-`(`*`(19200, `*`(`^`(t, 14), `*`(`^`(eta[2], 3), `*`(eta[4]))))), `*`(17280, `*`(`^`(t, 14), `*`(`^`(eta[2], 2), `*`(`^`(eta[3], 2))))), `-...
`+`(`-`(`*`(11520, `*`(`^`(t, 14), `*`(`^`(eta[2], 5))))), `-`(`*`(19200, `*`(`^`(t, 14), `*`(`^`(eta[2], 3), `*`(eta[4]))))), `*`(17280, `*`(`^`(t, 14), `*`(`^`(eta[2], 2), `*`(`^`(eta[3], 2))))), `-...
`+`(`-`(`*`(11520, `*`(`^`(t, 14), `*`(`^`(eta[2], 5))))), `-`(`*`(19200, `*`(`^`(t, 14), `*`(`^`(eta[2], 3), `*`(eta[4]))))), `*`(17280, `*`(`^`(t, 14), `*`(`^`(eta[2], 2), `*`(`^`(eta[3], 2))))), `-...
`+`(`-`(`*`(11520, `*`(`^`(t, 14), `*`(`^`(eta[2], 5))))), `-`(`*`(19200, `*`(`^`(t, 14), `*`(`^`(eta[2], 3), `*`(eta[4]))))), `*`(17280, `*`(`^`(t, 14), `*`(`^`(eta[2], 2), `*`(`^`(eta[3], 2))))), `-...
`+`(`-`(`*`(11520, `*`(`^`(t, 14), `*`(`^`(eta[2], 5))))), `-`(`*`(19200, `*`(`^`(t, 14), `*`(`^`(eta[2], 3), `*`(eta[4]))))), `*`(17280, `*`(`^`(t, 14), `*`(`^`(eta[2], 2), `*`(`^`(eta[3], 2))))), `-...
`+`(`-`(`*`(11520, `*`(`^`(t, 14), `*`(`^`(eta[2], 5))))), `-`(`*`(19200, `*`(`^`(t, 14), `*`(`^`(eta[2], 3), `*`(eta[4]))))), `*`(17280, `*`(`^`(t, 14), `*`(`^`(eta[2], 2), `*`(`^`(eta[3], 2))))), `-...
`+`(`-`(`*`(11520, `*`(`^`(t, 14), `*`(`^`(eta[2], 5))))), `-`(`*`(19200, `*`(`^`(t, 14), `*`(`^`(eta[2], 3), `*`(eta[4]))))), `*`(17280, `*`(`^`(t, 14), `*`(`^`(eta[2], 2), `*`(`^`(eta[3], 2))))), `-...
`+`(`-`(`*`(11520, `*`(`^`(t, 14), `*`(`^`(eta[2], 5))))), `-`(`*`(19200, `*`(`^`(t, 14), `*`(`^`(eta[2], 3), `*`(eta[4]))))), `*`(17280, `*`(`^`(t, 14), `*`(`^`(eta[2], 2), `*`(`^`(eta[3], 2))))), `-...
`+`(`-`(`*`(11520, `*`(`^`(t, 14), `*`(`^`(eta[2], 5))))), `-`(`*`(19200, `*`(`^`(t, 14), `*`(`^`(eta[2], 3), `*`(eta[4]))))), `*`(17280, `*`(`^`(t, 14), `*`(`^`(eta[2], 2), `*`(`^`(eta[3], 2))))), `-...
`+`(`-`(`*`(11520, `*`(`^`(t, 14), `*`(`^`(eta[2], 5))))), `-`(`*`(19200, `*`(`^`(t, 14), `*`(`^`(eta[2], 3), `*`(eta[4]))))), `*`(17280, `*`(`^`(t, 14), `*`(`^`(eta[2], 2), `*`(`^`(eta[3], 2))))), `-...
`+`(`-`(`*`(11520, `*`(`^`(t, 14), `*`(`^`(eta[2], 5))))), `-`(`*`(19200, `*`(`^`(t, 14), `*`(`^`(eta[2], 3), `*`(eta[4]))))), `*`(17280, `*`(`^`(t, 14), `*`(`^`(eta[2], 2), `*`(`^`(eta[3], 2))))), `-...
`+`(`-`(`*`(11520, `*`(`^`(t, 14), `*`(`^`(eta[2], 5))))), `-`(`*`(19200, `*`(`^`(t, 14), `*`(`^`(eta[2], 3), `*`(eta[4]))))), `*`(17280, `*`(`^`(t, 14), `*`(`^`(eta[2], 2), `*`(`^`(eta[3], 2))))), `-...
`+`(`-`(`*`(11520, `*`(`^`(t, 14), `*`(`^`(eta[2], 5))))), `-`(`*`(19200, `*`(`^`(t, 14), `*`(`^`(eta[2], 3), `*`(eta[4]))))), `*`(17280, `*`(`^`(t, 14), `*`(`^`(eta[2], 2), `*`(`^`(eta[3], 2))))), `-...
`+`(`-`(`*`(11520, `*`(`^`(t, 14), `*`(`^`(eta[2], 5))))), `-`(`*`(19200, `*`(`^`(t, 14), `*`(`^`(eta[2], 3), `*`(eta[4]))))), `*`(17280, `*`(`^`(t, 14), `*`(`^`(eta[2], 2), `*`(`^`(eta[3], 2))))), `-...
`+`(`-`(`*`(11520, `*`(`^`(t, 14), `*`(`^`(eta[2], 5))))), `-`(`*`(19200, `*`(`^`(t, 14), `*`(`^`(eta[2], 3), `*`(eta[4]))))), `*`(17280, `*`(`^`(t, 14), `*`(`^`(eta[2], 2), `*`(`^`(eta[3], 2))))), `-...
`+`(`-`(`*`(11520, `*`(`^`(t, 14), `*`(`^`(eta[2], 5))))), `-`(`*`(19200, `*`(`^`(t, 14), `*`(`^`(eta[2], 3), `*`(eta[4]))))), `*`(17280, `*`(`^`(t, 14), `*`(`^`(eta[2], 2), `*`(`^`(eta[3], 2))))), `-...
`+`(`-`(`*`(11520, `*`(`^`(t, 14), `*`(`^`(eta[2], 5))))), `-`(`*`(19200, `*`(`^`(t, 14), `*`(`^`(eta[2], 3), `*`(eta[4]))))), `*`(17280, `*`(`^`(t, 14), `*`(`^`(eta[2], 2), `*`(`^`(eta[3], 2))))), `-...
`+`(`-`(`*`(11520, `*`(`^`(t, 14), `*`(`^`(eta[2], 5))))), `-`(`*`(19200, `*`(`^`(t, 14), `*`(`^`(eta[2], 3), `*`(eta[4]))))), `*`(17280, `*`(`^`(t, 14), `*`(`^`(eta[2], 2), `*`(`^`(eta[3], 2))))), `-...
`+`(`-`(`*`(11520, `*`(`^`(t, 14), `*`(`^`(eta[2], 5))))), `-`(`*`(19200, `*`(`^`(t, 14), `*`(`^`(eta[2], 3), `*`(eta[4]))))), `*`(17280, `*`(`^`(t, 14), `*`(`^`(eta[2], 2), `*`(`^`(eta[3], 2))))), `-...
`+`(`-`(`*`(11520, `*`(`^`(t, 14), `*`(`^`(eta[2], 5))))), `-`(`*`(19200, `*`(`^`(t, 14), `*`(`^`(eta[2], 3), `*`(eta[4]))))), `*`(17280, `*`(`^`(t, 14), `*`(`^`(eta[2], 2), `*`(`^`(eta[3], 2))))), `-...
`+`(`-`(`*`(11520, `*`(`^`(t, 14), `*`(`^`(eta[2], 5))))), `-`(`*`(19200, `*`(`^`(t, 14), `*`(`^`(eta[2], 3), `*`(eta[4]))))), `*`(17280, `*`(`^`(t, 14), `*`(`^`(eta[2], 2), `*`(`^`(eta[3], 2))))), `-...
`+`(`-`(`*`(11520, `*`(`^`(t, 14), `*`(`^`(eta[2], 5))))), `-`(`*`(19200, `*`(`^`(t, 14), `*`(`^`(eta[2], 3), `*`(eta[4]))))), `*`(17280, `*`(`^`(t, 14), `*`(`^`(eta[2], 2), `*`(`^`(eta[3], 2))))), `-...
`+`(`-`(`*`(11520, `*`(`^`(t, 14), `*`(`^`(eta[2], 5))))), `-`(`*`(19200, `*`(`^`(t, 14), `*`(`^`(eta[2], 3), `*`(eta[4]))))), `*`(17280, `*`(`^`(t, 14), `*`(`^`(eta[2], 2), `*`(`^`(eta[3], 2))))), `-...
`+`(`-`(`*`(11520, `*`(`^`(t, 14), `*`(`^`(eta[2], 5))))), `-`(`*`(19200, `*`(`^`(t, 14), `*`(`^`(eta[2], 3), `*`(eta[4]))))), `*`(17280, `*`(`^`(t, 14), `*`(`^`(eta[2], 2), `*`(`^`(eta[3], 2))))), `-...
`+`(`-`(`*`(11520, `*`(`^`(t, 14), `*`(`^`(eta[2], 5))))), `-`(`*`(19200, `*`(`^`(t, 14), `*`(`^`(eta[2], 3), `*`(eta[4]))))), `*`(17280, `*`(`^`(t, 14), `*`(`^`(eta[2], 2), `*`(`^`(eta[3], 2))))), `-...
`+`(`-`(`*`(11520, `*`(`^`(t, 14), `*`(`^`(eta[2], 5))))), `-`(`*`(19200, `*`(`^`(t, 14), `*`(`^`(eta[2], 3), `*`(eta[4]))))), `*`(17280, `*`(`^`(t, 14), `*`(`^`(eta[2], 2), `*`(`^`(eta[3], 2))))), `-...
`+`(`-`(`*`(11520, `*`(`^`(t, 14), `*`(`^`(eta[2], 5))))), `-`(`*`(19200, `*`(`^`(t, 14), `*`(`^`(eta[2], 3), `*`(eta[4]))))), `*`(17280, `*`(`^`(t, 14), `*`(`^`(eta[2], 2), `*`(`^`(eta[3], 2))))), `-...
`+`(`-`(`*`(11520, `*`(`^`(t, 14), `*`(`^`(eta[2], 5))))), `-`(`*`(19200, `*`(`^`(t, 14), `*`(`^`(eta[2], 3), `*`(eta[4]))))), `*`(17280, `*`(`^`(t, 14), `*`(`^`(eta[2], 2), `*`(`^`(eta[3], 2))))), `-...
`+`(`-`(`*`(11520, `*`(`^`(t, 14), `*`(`^`(eta[2], 5))))), `-`(`*`(19200, `*`(`^`(t, 14), `*`(`^`(eta[2], 3), `*`(eta[4]))))), `*`(17280, `*`(`^`(t, 14), `*`(`^`(eta[2], 2), `*`(`^`(eta[3], 2))))), `-...
`+`(`-`(`*`(11520, `*`(`^`(t, 14), `*`(`^`(eta[2], 5))))), `-`(`*`(19200, `*`(`^`(t, 14), `*`(`^`(eta[2], 3), `*`(eta[4]))))), `*`(17280, `*`(`^`(t, 14), `*`(`^`(eta[2], 2), `*`(`^`(eta[3], 2))))), `-...
`+`(`-`(`*`(11520, `*`(`^`(t, 14), `*`(`^`(eta[2], 5))))), `-`(`*`(19200, `*`(`^`(t, 14), `*`(`^`(eta[2], 3), `*`(eta[4]))))), `*`(17280, `*`(`^`(t, 14), `*`(`^`(eta[2], 2), `*`(`^`(eta[3], 2))))), `-...
`+`(`-`(`*`(11520, `*`(`^`(t, 14), `*`(`^`(eta[2], 5))))), `-`(`*`(19200, `*`(`^`(t, 14), `*`(`^`(eta[2], 3), `*`(eta[4]))))), `*`(17280, `*`(`^`(t, 14), `*`(`^`(eta[2], 2), `*`(`^`(eta[3], 2))))), `-...
`+`(`-`(`*`(11520, `*`(`^`(t, 14), `*`(`^`(eta[2], 5))))), `-`(`*`(19200, `*`(`^`(t, 14), `*`(`^`(eta[2], 3), `*`(eta[4]))))), `*`(17280, `*`(`^`(t, 14), `*`(`^`(eta[2], 2), `*`(`^`(eta[3], 2))))), `-...
`+`(`-`(`*`(11520, `*`(`^`(t, 14), `*`(`^`(eta[2], 5))))), `-`(`*`(19200, `*`(`^`(t, 14), `*`(`^`(eta[2], 3), `*`(eta[4]))))), `*`(17280, `*`(`^`(t, 14), `*`(`^`(eta[2], 2), `*`(`^`(eta[3], 2))))), `-...
`+`(`-`(`*`(11520, `*`(`^`(t, 14), `*`(`^`(eta[2], 5))))), `-`(`*`(19200, `*`(`^`(t, 14), `*`(`^`(eta[2], 3), `*`(eta[4]))))), `*`(17280, `*`(`^`(t, 14), `*`(`^`(eta[2], 2), `*`(`^`(eta[3], 2))))), `-...
`+`(`-`(`*`(11520, `*`(`^`(t, 14), `*`(`^`(eta[2], 5))))), `-`(`*`(19200, `*`(`^`(t, 14), `*`(`^`(eta[2], 3), `*`(eta[4]))))), `*`(17280, `*`(`^`(t, 14), `*`(`^`(eta[2], 2), `*`(`^`(eta[3], 2))))), `-...
`+`(`-`(`*`(11520, `*`(`^`(t, 14), `*`(`^`(eta[2], 5))))), `-`(`*`(19200, `*`(`^`(t, 14), `*`(`^`(eta[2], 3), `*`(eta[4]))))), `*`(17280, `*`(`^`(t, 14), `*`(`^`(eta[2], 2), `*`(`^`(eta[3], 2))))), `-...
`+`(`-`(`*`(11520, `*`(`^`(t, 14), `*`(`^`(eta[2], 5))))), `-`(`*`(19200, `*`(`^`(t, 14), `*`(`^`(eta[2], 3), `*`(eta[4]))))), `*`(17280, `*`(`^`(t, 14), `*`(`^`(eta[2], 2), `*`(`^`(eta[3], 2))))), `-...
`+`(`-`(`*`(11520, `*`(`^`(t, 14), `*`(`^`(eta[2], 5))))), `-`(`*`(19200, `*`(`^`(t, 14), `*`(`^`(eta[2], 3), `*`(eta[4]))))), `*`(17280, `*`(`^`(t, 14), `*`(`^`(eta[2], 2), `*`(`^`(eta[3], 2))))), `-...
`+`(`-`(`*`(11520, `*`(`^`(t, 14), `*`(`^`(eta[2], 5))))), `-`(`*`(19200, `*`(`^`(t, 14), `*`(`^`(eta[2], 3), `*`(eta[4]))))), `*`(17280, `*`(`^`(t, 14), `*`(`^`(eta[2], 2), `*`(`^`(eta[3], 2))))), `-...
`+`(`-`(`*`(11520, `*`(`^`(t, 14), `*`(`^`(eta[2], 5))))), `-`(`*`(19200, `*`(`^`(t, 14), `*`(`^`(eta[2], 3), `*`(eta[4]))))), `*`(17280, `*`(`^`(t, 14), `*`(`^`(eta[2], 2), `*`(`^`(eta[3], 2))))), `-...
`+`(`-`(`*`(11520, `*`(`^`(t, 14), `*`(`^`(eta[2], 5))))), `-`(`*`(19200, `*`(`^`(t, 14), `*`(`^`(eta[2], 3), `*`(eta[4]))))), `*`(17280, `*`(`^`(t, 14), `*`(`^`(eta[2], 2), `*`(`^`(eta[3], 2))))), `-...
`+`(`-`(`*`(11520, `*`(`^`(t, 14), `*`(`^`(eta[2], 5))))), `-`(`*`(19200, `*`(`^`(t, 14), `*`(`^`(eta[2], 3), `*`(eta[4]))))), `*`(17280, `*`(`^`(t, 14), `*`(`^`(eta[2], 2), `*`(`^`(eta[3], 2))))), `-...
`+`(`-`(`*`(11520, `*`(`^`(t, 14), `*`(`^`(eta[2], 5))))), `-`(`*`(19200, `*`(`^`(t, 14), `*`(`^`(eta[2], 3), `*`(eta[4]))))), `*`(17280, `*`(`^`(t, 14), `*`(`^`(eta[2], 2), `*`(`^`(eta[3], 2))))), `-...
`+`(`-`(`*`(11520, `*`(`^`(t, 14), `*`(`^`(eta[2], 5))))), `-`(`*`(19200, `*`(`^`(t, 14), `*`(`^`(eta[2], 3), `*`(eta[4]))))), `*`(17280, `*`(`^`(t, 14), `*`(`^`(eta[2], 2), `*`(`^`(eta[3], 2))))), `-...
`+`(`-`(`*`(11520, `*`(`^`(t, 14), `*`(`^`(eta[2], 5))))), `-`(`*`(19200, `*`(`^`(t, 14), `*`(`^`(eta[2], 3), `*`(eta[4]))))), `*`(17280, `*`(`^`(t, 14), `*`(`^`(eta[2], 2), `*`(`^`(eta[3], 2))))), `-...
`+`(`-`(`*`(11520, `*`(`^`(t, 14), `*`(`^`(eta[2], 5))))), `-`(`*`(19200, `*`(`^`(t, 14), `*`(`^`(eta[2], 3), `*`(eta[4]))))), `*`(17280, `*`(`^`(t, 14), `*`(`^`(eta[2], 2), `*`(`^`(eta[3], 2))))), `-...
`+`(`-`(`*`(11520, `*`(`^`(t, 14), `*`(`^`(eta[2], 5))))), `-`(`*`(19200, `*`(`^`(t, 14), `*`(`^`(eta[2], 3), `*`(eta[4]))))), `*`(17280, `*`(`^`(t, 14), `*`(`^`(eta[2], 2), `*`(`^`(eta[3], 2))))), `-...
`+`(`-`(`*`(11520, `*`(`^`(t, 14), `*`(`^`(eta[2], 5))))), `-`(`*`(19200, `*`(`^`(t, 14), `*`(`^`(eta[2], 3), `*`(eta[4]))))), `*`(17280, `*`(`^`(t, 14), `*`(`^`(eta[2], 2), `*`(`^`(eta[3], 2))))), `-...
`+`(`-`(`*`(11520, `*`(`^`(t, 14), `*`(`^`(eta[2], 5))))), `-`(`*`(19200, `*`(`^`(t, 14), `*`(`^`(eta[2], 3), `*`(eta[4]))))), `*`(17280, `*`(`^`(t, 14), `*`(`^`(eta[2], 2), `*`(`^`(eta[3], 2))))), `-...
`+`(`-`(`*`(11520, `*`(`^`(t, 14), `*`(`^`(eta[2], 5))))), `-`(`*`(19200, `*`(`^`(t, 14), `*`(`^`(eta[2], 3), `*`(eta[4]))))), `*`(17280, `*`(`^`(t, 14), `*`(`^`(eta[2], 2), `*`(`^`(eta[3], 2))))), `-...
`+`(`-`(`*`(11520, `*`(`^`(t, 14), `*`(`^`(eta[2], 5))))), `-`(`*`(19200, `*`(`^`(t, 14), `*`(`^`(eta[2], 3), `*`(eta[4]))))), `*`(17280, `*`(`^`(t, 14), `*`(`^`(eta[2], 2), `*`(`^`(eta[3], 2))))), `-...
`+`(`-`(`*`(11520, `*`(`^`(t, 14), `*`(`^`(eta[2], 5))))), `-`(`*`(19200, `*`(`^`(t, 14), `*`(`^`(eta[2], 3), `*`(eta[4]))))), `*`(17280, `*`(`^`(t, 14), `*`(`^`(eta[2], 2), `*`(`^`(eta[3], 2))))), `-...
`+`(`-`(`*`(11520, `*`(`^`(t, 14), `*`(`^`(eta[2], 5))))), `-`(`*`(19200, `*`(`^`(t, 14), `*`(`^`(eta[2], 3), `*`(eta[4]))))), `*`(17280, `*`(`^`(t, 14), `*`(`^`(eta[2], 2), `*`(`^`(eta[3], 2))))), `-...
`+`(`-`(`*`(11520, `*`(`^`(t, 14), `*`(`^`(eta[2], 5))))), `-`(`*`(19200, `*`(`^`(t, 14), `*`(`^`(eta[2], 3), `*`(eta[4]))))), `*`(17280, `*`(`^`(t, 14), `*`(`^`(eta[2], 2), `*`(`^`(eta[3], 2))))), `-...
`+`(`-`(`*`(11520, `*`(`^`(t, 14), `*`(`^`(eta[2], 5))))), `-`(`*`(19200, `*`(`^`(t, 14), `*`(`^`(eta[2], 3), `*`(eta[4]))))), `*`(17280, `*`(`^`(t, 14), `*`(`^`(eta[2], 2), `*`(`^`(eta[3], 2))))), `-...
`+`(`-`(`*`(11520, `*`(`^`(t, 14), `*`(`^`(eta[2], 5))))), `-`(`*`(19200, `*`(`^`(t, 14), `*`(`^`(eta[2], 3), `*`(eta[4]))))), `*`(17280, `*`(`^`(t, 14), `*`(`^`(eta[2], 2), `*`(`^`(eta[3], 2))))), `-...
`+`(`-`(`*`(11520, `*`(`^`(t, 14), `*`(`^`(eta[2], 5))))), `-`(`*`(19200, `*`(`^`(t, 14), `*`(`^`(eta[2], 3), `*`(eta[4]))))), `*`(17280, `*`(`^`(t, 14), `*`(`^`(eta[2], 2), `*`(`^`(eta[3], 2))))), `-...
`+`(`-`(`*`(11520, `*`(`^`(t, 14), `*`(`^`(eta[2], 5))))), `-`(`*`(19200, `*`(`^`(t, 14), `*`(`^`(eta[2], 3), `*`(eta[4]))))), `*`(17280, `*`(`^`(t, 14), `*`(`^`(eta[2], 2), `*`(`^`(eta[3], 2))))), `-...
`+`(`-`(`*`(11520, `*`(`^`(t, 14), `*`(`^`(eta[2], 5))))), `-`(`*`(19200, `*`(`^`(t, 14), `*`(`^`(eta[2], 3), `*`(eta[4]))))), `*`(17280, `*`(`^`(t, 14), `*`(`^`(eta[2], 2), `*`(`^`(eta[3], 2))))), `-...
`+`(`-`(`*`(11520, `*`(`^`(t, 14), `*`(`^`(eta[2], 5))))), `-`(`*`(19200, `*`(`^`(t, 14), `*`(`^`(eta[2], 3), `*`(eta[4]))))), `*`(17280, `*`(`^`(t, 14), `*`(`^`(eta[2], 2), `*`(`^`(eta[3], 2))))), `-...
`+`(`-`(`*`(11520, `*`(`^`(t, 14), `*`(`^`(eta[2], 5))))), `-`(`*`(19200, `*`(`^`(t, 14), `*`(`^`(eta[2], 3), `*`(eta[4]))))), `*`(17280, `*`(`^`(t, 14), `*`(`^`(eta[2], 2), `*`(`^`(eta[3], 2))))), `-...
`+`(`-`(`*`(11520, `*`(`^`(t, 14), `*`(`^`(eta[2], 5))))), `-`(`*`(19200, `*`(`^`(t, 14), `*`(`^`(eta[2], 3), `*`(eta[4]))))), `*`(17280, `*`(`^`(t, 14), `*`(`^`(eta[2], 2), `*`(`^`(eta[3], 2))))), `-...
`+`(`-`(`*`(11520, `*`(`^`(t, 14), `*`(`^`(eta[2], 5))))), `-`(`*`(19200, `*`(`^`(t, 14), `*`(`^`(eta[2], 3), `*`(eta[4]))))), `*`(17280, `*`(`^`(t, 14), `*`(`^`(eta[2], 2), `*`(`^`(eta[3], 2))))), `-...
`+`(`-`(`*`(11520, `*`(`^`(t, 14), `*`(`^`(eta[2], 5))))), `-`(`*`(19200, `*`(`^`(t, 14), `*`(`^`(eta[2], 3), `*`(eta[4]))))), `*`(17280, `*`(`^`(t, 14), `*`(`^`(eta[2], 2), `*`(`^`(eta[3], 2))))), `-...
`+`(`-`(`*`(11520, `*`(`^`(t, 14), `*`(`^`(eta[2], 5))))), `-`(`*`(19200, `*`(`^`(t, 14), `*`(`^`(eta[2], 3), `*`(eta[4]))))), `*`(17280, `*`(`^`(t, 14), `*`(`^`(eta[2], 2), `*`(`^`(eta[3], 2))))), `-...
`+`(`-`(`*`(11520, `*`(`^`(t, 14), `*`(`^`(eta[2], 5))))), `-`(`*`(19200, `*`(`^`(t, 14), `*`(`^`(eta[2], 3), `*`(eta[4]))))), `*`(17280, `*`(`^`(t, 14), `*`(`^`(eta[2], 2), `*`(`^`(eta[3], 2))))), `-...
`+`(`-`(`*`(11520, `*`(`^`(t, 14), `*`(`^`(eta[2], 5))))), `-`(`*`(19200, `*`(`^`(t, 14), `*`(`^`(eta[2], 3), `*`(eta[4]))))), `*`(17280, `*`(`^`(t, 14), `*`(`^`(eta[2], 2), `*`(`^`(eta[3], 2))))), `-...
`+`(`-`(`*`(11520, `*`(`^`(t, 14), `*`(`^`(eta[2], 5))))), `-`(`*`(19200, `*`(`^`(t, 14), `*`(`^`(eta[2], 3), `*`(eta[4]))))), `*`(17280, `*`(`^`(t, 14), `*`(`^`(eta[2], 2), `*`(`^`(eta[3], 2))))), `-...
`+`(`-`(`*`(11520, `*`(`^`(t, 14), `*`(`^`(eta[2], 5))))), `-`(`*`(19200, `*`(`^`(t, 14), `*`(`^`(eta[2], 3), `*`(eta[4]))))), `*`(17280, `*`(`^`(t, 14), `*`(`^`(eta[2], 2), `*`(`^`(eta[3], 2))))), `-...
`+`(`-`(`*`(11520, `*`(`^`(t, 14), `*`(`^`(eta[2], 5))))), `-`(`*`(19200, `*`(`^`(t, 14), `*`(`^`(eta[2], 3), `*`(eta[4]))))), `*`(17280, `*`(`^`(t, 14), `*`(`^`(eta[2], 2), `*`(`^`(eta[3], 2))))), `-...
`+`(`-`(`*`(11520, `*`(`^`(t, 14), `*`(`^`(eta[2], 5))))), `-`(`*`(19200, `*`(`^`(t, 14), `*`(`^`(eta[2], 3), `*`(eta[4]))))), `*`(17280, `*`(`^`(t, 14), `*`(`^`(eta[2], 2), `*`(`^`(eta[3], 2))))), `-...
`+`(`-`(`*`(11520, `*`(`^`(t, 14), `*`(`^`(eta[2], 5))))), `-`(`*`(19200, `*`(`^`(t, 14), `*`(`^`(eta[2], 3), `*`(eta[4]))))), `*`(17280, `*`(`^`(t, 14), `*`(`^`(eta[2], 2), `*`(`^`(eta[3], 2))))), `-...
`+`(`-`(`*`(11520, `*`(`^`(t, 14), `*`(`^`(eta[2], 5))))), `-`(`*`(19200, `*`(`^`(t, 14), `*`(`^`(eta[2], 3), `*`(eta[4]))))), `*`(17280, `*`(`^`(t, 14), `*`(`^`(eta[2], 2), `*`(`^`(eta[3], 2))))), `-...
`+`(`-`(`*`(11520, `*`(`^`(t, 14), `*`(`^`(eta[2], 5))))), `-`(`*`(19200, `*`(`^`(t, 14), `*`(`^`(eta[2], 3), `*`(eta[4]))))), `*`(17280, `*`(`^`(t, 14), `*`(`^`(eta[2], 2), `*`(`^`(eta[3], 2))))), `-...
`+`(`-`(`*`(11520, `*`(`^`(t, 14), `*`(`^`(eta[2], 5))))), `-`(`*`(19200, `*`(`^`(t, 14), `*`(`^`(eta[2], 3), `*`(eta[4]))))), `*`(17280, `*`(`^`(t, 14), `*`(`^`(eta[2], 2), `*`(`^`(eta[3], 2))))), `-...
`+`(`-`(`*`(11520, `*`(`^`(t, 14), `*`(`^`(eta[2], 5))))), `-`(`*`(19200, `*`(`^`(t, 14), `*`(`^`(eta[2], 3), `*`(eta[4]))))), `*`(17280, `*`(`^`(t, 14), `*`(`^`(eta[2], 2), `*`(`^`(eta[3], 2))))), `-...
`+`(`-`(`*`(11520, `*`(`^`(t, 14), `*`(`^`(eta[2], 5))))), `-`(`*`(19200, `*`(`^`(t, 14), `*`(`^`(eta[2], 3), `*`(eta[4]))))), `*`(17280, `*`(`^`(t, 14), `*`(`^`(eta[2], 2), `*`(`^`(eta[3], 2))))), `-...
`+`(`-`(`*`(11520, `*`(`^`(t, 14), `*`(`^`(eta[2], 5))))), `-`(`*`(19200, `*`(`^`(t, 14), `*`(`^`(eta[2], 3), `*`(eta[4]))))), `*`(17280, `*`(`^`(t, 14), `*`(`^`(eta[2], 2), `*`(`^`(eta[3], 2))))), `-...
`+`(`-`(`*`(11520, `*`(`^`(t, 14), `*`(`^`(eta[2], 5))))), `-`(`*`(19200, `*`(`^`(t, 14), `*`(`^`(eta[2], 3), `*`(eta[4]))))), `*`(17280, `*`(`^`(t, 14), `*`(`^`(eta[2], 2), `*`(`^`(eta[3], 2))))), `-...
`+`(`-`(`*`(11520, `*`(`^`(t, 14), `*`(`^`(eta[2], 5))))), `-`(`*`(19200, `*`(`^`(t, 14), `*`(`^`(eta[2], 3), `*`(eta[4]))))), `*`(17280, `*`(`^`(t, 14), `*`(`^`(eta[2], 2), `*`(`^`(eta[3], 2))))), `-...
`+`(`-`(`*`(11520, `*`(`^`(t, 14), `*`(`^`(eta[2], 5))))), `-`(`*`(19200, `*`(`^`(t, 14), `*`(`^`(eta[2], 3), `*`(eta[4]))))), `*`(17280, `*`(`^`(t, 14), `*`(`^`(eta[2], 2), `*`(`^`(eta[3], 2))))), `-...
`+`(`-`(`*`(11520, `*`(`^`(t, 14), `*`(`^`(eta[2], 5))))), `-`(`*`(19200, `*`(`^`(t, 14), `*`(`^`(eta[2], 3), `*`(eta[4]))))), `*`(17280, `*`(`^`(t, 14), `*`(`^`(eta[2], 2), `*`(`^`(eta[3], 2))))), `-...
`+`(`-`(`*`(11520, `*`(`^`(t, 14), `*`(`^`(eta[2], 5))))), `-`(`*`(19200, `*`(`^`(t, 14), `*`(`^`(eta[2], 3), `*`(eta[4]))))), `*`(17280, `*`(`^`(t, 14), `*`(`^`(eta[2], 2), `*`(`^`(eta[3], 2))))), `-...
`+`(`-`(`*`(11520, `*`(`^`(t, 14), `*`(`^`(eta[2], 5))))), `-`(`*`(19200, `*`(`^`(t, 14), `*`(`^`(eta[2], 3), `*`(eta[4]))))), `*`(17280, `*`(`^`(t, 14), `*`(`^`(eta[2], 2), `*`(`^`(eta[3], 2))))), `-...
`+`(`-`(`*`(11520, `*`(`^`(t, 14), `*`(`^`(eta[2], 5))))), `-`(`*`(19200, `*`(`^`(t, 14), `*`(`^`(eta[2], 3), `*`(eta[4]))))), `*`(17280, `*`(`^`(t, 14), `*`(`^`(eta[2], 2), `*`(`^`(eta[3], 2))))), `-...
`+`(`-`(`*`(11520, `*`(`^`(t, 14), `*`(`^`(eta[2], 5))))), `-`(`*`(19200, `*`(`^`(t, 14), `*`(`^`(eta[2], 3), `*`(eta[4]))))), `*`(17280, `*`(`^`(t, 14), `*`(`^`(eta[2], 2), `*`(`^`(eta[3], 2))))), `-...
`+`(`-`(`*`(11520, `*`(`^`(t, 14), `*`(`^`(eta[2], 5))))), `-`(`*`(19200, `*`(`^`(t, 14), `*`(`^`(eta[2], 3), `*`(eta[4]))))), `*`(17280, `*`(`^`(t, 14), `*`(`^`(eta[2], 2), `*`(`^`(eta[3], 2))))), `-...
`+`(`-`(`*`(11520, `*`(`^`(t, 14), `*`(`^`(eta[2], 5))))), `-`(`*`(19200, `*`(`^`(t, 14), `*`(`^`(eta[2], 3), `*`(eta[4]))))), `*`(17280, `*`(`^`(t, 14), `*`(`^`(eta[2], 2), `*`(`^`(eta[3], 2))))), `-...
`+`(`-`(`*`(11520, `*`(`^`(t, 14), `*`(`^`(eta[2], 5))))), `-`(`*`(19200, `*`(`^`(t, 14), `*`(`^`(eta[2], 3), `*`(eta[4]))))), `*`(17280, `*`(`^`(t, 14), `*`(`^`(eta[2], 2), `*`(`^`(eta[3], 2))))), `-...
`+`(`-`(`*`(11520, `*`(`^`(t, 14), `*`(`^`(eta[2], 5))))), `-`(`*`(19200, `*`(`^`(t, 14), `*`(`^`(eta[2], 3), `*`(eta[4]))))), `*`(17280, `*`(`^`(t, 14), `*`(`^`(eta[2], 2), `*`(`^`(eta[3], 2))))), `-...
`+`(`-`(`*`(11520, `*`(`^`(t, 14), `*`(`^`(eta[2], 5))))), `-`(`*`(19200, `*`(`^`(t, 14), `*`(`^`(eta[2], 3), `*`(eta[4]))))), `*`(17280, `*`(`^`(t, 14), `*`(`^`(eta[2], 2), `*`(`^`(eta[3], 2))))), `-...
`+`(`-`(`*`(11520, `*`(`^`(t, 14), `*`(`^`(eta[2], 5))))), `-`(`*`(19200, `*`(`^`(t, 14), `*`(`^`(eta[2], 3), `*`(eta[4]))))), `*`(17280, `*`(`^`(t, 14), `*`(`^`(eta[2], 2), `*`(`^`(eta[3], 2))))), `-...
`+`(`-`(`*`(11520, `*`(`^`(t, 14), `*`(`^`(eta[2], 5))))), `-`(`*`(19200, `*`(`^`(t, 14), `*`(`^`(eta[2], 3), `*`(eta[4]))))), `*`(17280, `*`(`^`(t, 14), `*`(`^`(eta[2], 2), `*`(`^`(eta[3], 2))))), `-...
`+`(`-`(`*`(11520, `*`(`^`(t, 14), `*`(`^`(eta[2], 5))))), `-`(`*`(19200, `*`(`^`(t, 14), `*`(`^`(eta[2], 3), `*`(eta[4]))))), `*`(17280, `*`(`^`(t, 14), `*`(`^`(eta[2], 2), `*`(`^`(eta[3], 2))))), `-...
`+`(`-`(`*`(11520, `*`(`^`(t, 14), `*`(`^`(eta[2], 5))))), `-`(`*`(19200, `*`(`^`(t, 14), `*`(`^`(eta[2], 3), `*`(eta[4]))))), `*`(17280, `*`(`^`(t, 14), `*`(`^`(eta[2], 2), `*`(`^`(eta[3], 2))))), `-...
`+`(`-`(`*`(11520, `*`(`^`(t, 14), `*`(`^`(eta[2], 5))))), `-`(`*`(19200, `*`(`^`(t, 14), `*`(`^`(eta[2], 3), `*`(eta[4]))))), `*`(17280, `*`(`^`(t, 14), `*`(`^`(eta[2], 2), `*`(`^`(eta[3], 2))))), `-...
`+`(`-`(`*`(11520, `*`(`^`(t, 14), `*`(`^`(eta[2], 5))))), `-`(`*`(19200, `*`(`^`(t, 14), `*`(`^`(eta[2], 3), `*`(eta[4]))))), `*`(17280, `*`(`^`(t, 14), `*`(`^`(eta[2], 2), `*`(`^`(eta[3], 2))))), `-...
`+`(`-`(`*`(11520, `*`(`^`(t, 14), `*`(`^`(eta[2], 5))))), `-`(`*`(19200, `*`(`^`(t, 14), `*`(`^`(eta[2], 3), `*`(eta[4]))))), `*`(17280, `*`(`^`(t, 14), `*`(`^`(eta[2], 2), `*`(`^`(eta[3], 2))))), `-...
`+`(`-`(`*`(11520, `*`(`^`(t, 14), `*`(`^`(eta[2], 5))))), `-`(`*`(19200, `*`(`^`(t, 14), `*`(`^`(eta[2], 3), `*`(eta[4]))))), `*`(17280, `*`(`^`(t, 14), `*`(`^`(eta[2], 2), `*`(`^`(eta[3], 2))))), `-...
`+`(`-`(`*`(11520, `*`(`^`(t, 14), `*`(`^`(eta[2], 5))))), `-`(`*`(19200, `*`(`^`(t, 14), `*`(`^`(eta[2], 3), `*`(eta[4]))))), `*`(17280, `*`(`^`(t, 14), `*`(`^`(eta[2], 2), `*`(`^`(eta[3], 2))))), `-...
`+`(`-`(`*`(11520, `*`(`^`(t, 14), `*`(`^`(eta[2], 5))))), `-`(`*`(19200, `*`(`^`(t, 14), `*`(`^`(eta[2], 3), `*`(eta[4]))))), `*`(17280, `*`(`^`(t, 14), `*`(`^`(eta[2], 2), `*`(`^`(eta[3], 2))))), `-...
`+`(`-`(`*`(11520, `*`(`^`(t, 14), `*`(`^`(eta[2], 5))))), `-`(`*`(19200, `*`(`^`(t, 14), `*`(`^`(eta[2], 3), `*`(eta[4]))))), `*`(17280, `*`(`^`(t, 14), `*`(`^`(eta[2], 2), `*`(`^`(eta[3], 2))))), `-...
`+`(`-`(`*`(11520, `*`(`^`(t, 14), `*`(`^`(eta[2], 5))))), `-`(`*`(19200, `*`(`^`(t, 14), `*`(`^`(eta[2], 3), `*`(eta[4]))))), `*`(17280, `*`(`^`(t, 14), `*`(`^`(eta[2], 2), `*`(`^`(eta[3], 2))))), `-...
`+`(`-`(`*`(11520, `*`(`^`(t, 14), `*`(`^`(eta[2], 5))))), `-`(`*`(19200, `*`(`^`(t, 14), `*`(`^`(eta[2], 3), `*`(eta[4]))))), `*`(17280, `*`(`^`(t, 14), `*`(`^`(eta[2], 2), `*`(`^`(eta[3], 2))))), `-...
`+`(`-`(`*`(11520, `*`(`^`(t, 14), `*`(`^`(eta[2], 5))))), `-`(`*`(19200, `*`(`^`(t, 14), `*`(`^`(eta[2], 3), `*`(eta[4]))))), `*`(17280, `*`(`^`(t, 14), `*`(`^`(eta[2], 2), `*`(`^`(eta[3], 2))))), `-...
`+`(`-`(`*`(11520, `*`(`^`(t, 14), `*`(`^`(eta[2], 5))))), `-`(`*`(19200, `*`(`^`(t, 14), `*`(`^`(eta[2], 3), `*`(eta[4]))))), `*`(17280, `*`(`^`(t, 14), `*`(`^`(eta[2], 2), `*`(`^`(eta[3], 2))))), `-...
`+`(`-`(`*`(11520, `*`(`^`(t, 14), `*`(`^`(eta[2], 5))))), `-`(`*`(19200, `*`(`^`(t, 14), `*`(`^`(eta[2], 3), `*`(eta[4]))))), `*`(17280, `*`(`^`(t, 14), `*`(`^`(eta[2], 2), `*`(`^`(eta[3], 2))))), `-...
`+`(`-`(`*`(11520, `*`(`^`(t, 14), `*`(`^`(eta[2], 5))))), `-`(`*`(19200, `*`(`^`(t, 14), `*`(`^`(eta[2], 3), `*`(eta[4]))))), `*`(17280, `*`(`^`(t, 14), `*`(`^`(eta[2], 2), `*`(`^`(eta[3], 2))))), `-...
`+`(`-`(`*`(11520, `*`(`^`(t, 14), `*`(`^`(eta[2], 5))))), `-`(`*`(19200, `*`(`^`(t, 14), `*`(`^`(eta[2], 3), `*`(eta[4]))))), `*`(17280, `*`(`^`(t, 14), `*`(`^`(eta[2], 2), `*`(`^`(eta[3], 2))))), `-...
`+`(`-`(`*`(11520, `*`(`^`(t, 14), `*`(`^`(eta[2], 5))))), `-`(`*`(19200, `*`(`^`(t, 14), `*`(`^`(eta[2], 3), `*`(eta[4]))))), `*`(17280, `*`(`^`(t, 14), `*`(`^`(eta[2], 2), `*`(`^`(eta[3], 2))))), `-...
`+`(`-`(`*`(11520, `*`(`^`(t, 14), `*`(`^`(eta[2], 5))))), `-`(`*`(19200, `*`(`^`(t, 14), `*`(`^`(eta[2], 3), `*`(eta[4]))))), `*`(17280, `*`(`^`(t, 14), `*`(`^`(eta[2], 2), `*`(`^`(eta[3], 2))))), `-...
`+`(`-`(`*`(11520, `*`(`^`(t, 14), `*`(`^`(eta[2], 5))))), `-`(`*`(19200, `*`(`^`(t, 14), `*`(`^`(eta[2], 3), `*`(eta[4]))))), `*`(17280, `*`(`^`(t, 14), `*`(`^`(eta[2], 2), `*`(`^`(eta[3], 2))))), `-...
`+`(`-`(`*`(11520, `*`(`^`(t, 14), `*`(`^`(eta[2], 5))))), `-`(`*`(19200, `*`(`^`(t, 14), `*`(`^`(eta[2], 3), `*`(eta[4]))))), `*`(17280, `*`(`^`(t, 14), `*`(`^`(eta[2], 2), `*`(`^`(eta[3], 2))))), `-...		 (5.2.1)