5120*h0(3)^2-4224*h0(3)+841,
32*h0(2)-64*h0(3)+29,
32*h0(1)+64*h0(3)-29,
2*h0(0)+2*h0(3)-1,
128*h1(5)-160*h0(3)+15,
128*h1(4)+160*h0(3)-85,
256*h1(3)-32*h0(3)+29,
256*h1(2)+416*h0(3)-203,
256*h1(1)-96*h0(3)+45,
256*h1(0)-288*h0(3)+141,
20480*h2(3)^2-29104*h0(3)+9251,
111*h2(2)+1760*h2(3)*h0(3)-854*h2(3),
29*h2(1)+160*h2(3)*h0(3)-74*h2(3),
1073*h2(0)-11520*h2(3)*h0(3)+5647*h2(3),
5120*h3(5)^2-7424*h0(3)+2411,
9*h3(4)-160*h3(5)*h0(3)+80*h3(5),
840*h3(3)+3680*h3(5)*h0(3)-1711*h3(5),
840*h3(2)-10720*h3(5)*h0(3)+5249*h3(5),
840*h3(1)+2080*h3(5)*h0(3)-1031*h3(5),
840*h3(0)+7520*h3(5)*h0(3)-3679*h3(5)
;