5120*h0(3)^2-832*h0(3)-87,
64*h0(2)+32*h0(3)-29,
64*h0(1)-32*h0(3)-3,
h0(0)+h0(3),
256*h1(5)+160*h0(3)-51,
256*h1(4)-160*h0(3)-89,
512*h1(3)+416*h0(3)-87,
512*h1(2)-288*h0(3)+87,
512*h1(1)-32*h0(3)+15,
512*h1(0)-96*h0(3)+9
;