48486154240*h1(7)^2-21038751744*h1(7)+2148378345, 69632*h1(6)+208896*h1(7)-65605, 69632*h1(5)-208896*h1(7)+34389, 4352*h1(4)+4352*h1(7)-135, 361216*h1(3)-65280*h1(7)+18855, 5779456*h1(2)+3133440*h1(7)-834075, 5779456*h1(1)-3133440*h1(7)+535275, 10624*h1(0)+1920*h1(7)-225, 68*h0(5)-15, 68*h0(4)-25, 5644*h0(3)+4352*h1(7)-1257, 90304*h0(2)-208896*h1(7)+55605, 90304*h0(1)+208896*h1(7)-35685, 166*h0(0)-128*h1(7)+15 ;