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
;