5120*h0(3)^2-3392*h0(3)+441,
64*h0(2)+32*h0(3)-21,
64*h0(1)-32*h0(3)+21,
2*h0(0)+2*h0(3)-1,
256*h1(5)-160*h0(3)-49,
256*h1(4)+160*h0(3)-91,
512*h1(3)+96*h0(3)-21,
512*h1(2)+32*h0(3)-11,
512*h1(1)+288*h0(3)-147,
512*h1(0)-416*h0(3)+203
;