5120*h0(3)^2-1664*h0(3)+105,
32*h0(2)-64*h0(3)+5,
32*h0(1)+64*h0(3)-21,
h0(0)+h0(3),
128*h1(5)+160*h0(3)-45,
128*h1(4)-160*h0(3)-25,
256*h1(3)+288*h0(3)-63,
256*h1(2)+96*h0(3)-15,
256*h1(1)-416*h0(3)+105,
256*h1(0)+32*h0(3)-15
;