compute_coefficients_H3lvks_det_24x26.cpp

#include <mex.h>


void print_usage() {
    mexPrintf("c = compute_coefficients_H3lvks_det_24x26(data)\n");
    mexPrintf(" where data = [x1;xp1;x2;xp2;x3;xp3] is a 12x1 vector.\n");
}

void compute_coeffs(double* coeffs);

void mexFunction(int nlhs, mxArray *plhs[], int nrhs, const mxArray *prhs[])
{
    if(nrhs != 1 || nlhs != 1) {
        print_usage();
        return;
    }
    
    // output matrix
    plhs[0] = mxCreateDoubleMatrix(753,1,mxREAL);
    double *coeffs = mxGetPr(plhs[0]);
        
    // make sure input is correct size
    if(mxGetM(prhs[0]) != 12 || mxGetN(prhs[0]) != 1) {
        print_usage();
        return;
    }
    
    // get pointers
    double *u = mxGetPr(prhs[0]);
    
    for(int i = 0; i < 12; i++)
        coeffs[i] = u[i];
    
    compute_coeffs(coeffs);
}


void compute_coeffs(double* coeffs) {
coeffs[12] = -coeffs[0]*coeffs[1]*coeffs[2]*coeffs[2] + coeffs[0]*coeffs[0]*coeffs[2]*coeffs[3];
coeffs[13] = -coeffs[0]*coeffs[1]*coeffs[2]*coeffs[3] + coeffs[0]*coeffs[0]*coeffs[3]*coeffs[3];
coeffs[14] = -coeffs[0]*coeffs[1]*coeffs[2]*coeffs[2]*coeffs[2] + coeffs[0]*coeffs[0]*coeffs[2]*coeffs[2]*coeffs[3] - coeffs[0]*coeffs[1]*coeffs[2]*coeffs[3]*coeffs[3] + coeffs[0]*coeffs[0]*coeffs[3]*coeffs[3]*coeffs[3];
coeffs[15] = -coeffs[0]*coeffs[1]*coeffs[2] + coeffs[0]*coeffs[0]*coeffs[3];
coeffs[16] = -coeffs[1]*coeffs[2]*coeffs[4]*coeffs[6] + coeffs[0]*coeffs[3]*coeffs[4]*coeffs[6];
coeffs[17] = -coeffs[1]*coeffs[2]*coeffs[4]*coeffs[7] + coeffs[0]*coeffs[3]*coeffs[4]*coeffs[7];
coeffs[18] = -coeffs[1]*coeffs[2]*coeffs[4]*coeffs[6]*coeffs[6] + coeffs[0]*coeffs[3]*coeffs[4]*coeffs[6]*coeffs[6] - coeffs[1]*coeffs[2]*coeffs[4]*coeffs[7]*coeffs[7] + coeffs[0]*coeffs[3]*coeffs[4]*coeffs[7]*coeffs[7];
coeffs[19] = -coeffs[1]*coeffs[2]*coeffs[4] + coeffs[0]*coeffs[3]*coeffs[4];
coeffs[20] = -coeffs[1]*coeffs[2]*coeffs[8]*coeffs[10] + coeffs[0]*coeffs[3]*coeffs[8]*coeffs[10];
coeffs[21] = -coeffs[1]*coeffs[2]*coeffs[8]*coeffs[11] + coeffs[0]*coeffs[3]*coeffs[8]*coeffs[11];
coeffs[22] = -coeffs[1]*coeffs[2]*coeffs[8]*coeffs[10]*coeffs[10] + coeffs[0]*coeffs[3]*coeffs[8]*coeffs[10]*coeffs[10] - coeffs[1]*coeffs[2]*coeffs[8]*coeffs[11]*coeffs[11] + coeffs[0]*coeffs[3]*coeffs[8]*coeffs[11]*coeffs[11];
coeffs[23] = -coeffs[1]*coeffs[2]*coeffs[8] + coeffs[0]*coeffs[3]*coeffs[8];
coeffs[24] = coeffs[1]*coeffs[2] - coeffs[0]*coeffs[3];
coeffs[25] = -coeffs[0]*coeffs[2]*coeffs[5]*coeffs[6] + coeffs[0]*coeffs[2]*coeffs[4]*coeffs[7];
coeffs[26] = -coeffs[0]*coeffs[3]*coeffs[5]*coeffs[6] + coeffs[0]*coeffs[3]*coeffs[4]*coeffs[7];
coeffs[27] = -coeffs[0]*coeffs[2]*coeffs[2]*coeffs[5]*coeffs[6] - coeffs[0]*coeffs[3]*coeffs[3]*coeffs[5]*coeffs[6] + coeffs[0]*coeffs[2]*coeffs[2]*coeffs[4]*coeffs[7] + coeffs[0]*coeffs[3]*coeffs[3]*coeffs[4]*coeffs[7];
coeffs[28] = -coeffs[0]*coeffs[5]*coeffs[6] + coeffs[0]*coeffs[4]*coeffs[7];
coeffs[29] = -coeffs[4]*coeffs[5]*coeffs[6]*coeffs[6] + coeffs[4]*coeffs[4]*coeffs[6]*coeffs[7];
coeffs[30] = -coeffs[4]*coeffs[5]*coeffs[6]*coeffs[7] + coeffs[4]*coeffs[4]*coeffs[7]*coeffs[7];
coeffs[31] = -coeffs[4]*coeffs[5]*coeffs[6]*coeffs[6]*coeffs[6] + coeffs[4]*coeffs[4]*coeffs[6]*coeffs[6]*coeffs[7] - coeffs[4]*coeffs[5]*coeffs[6]*coeffs[7]*coeffs[7] + coeffs[4]*coeffs[4]*coeffs[7]*coeffs[7]*coeffs[7];
coeffs[32] = -coeffs[4]*coeffs[5]*coeffs[6] + coeffs[4]*coeffs[4]*coeffs[7];
coeffs[33] = -coeffs[5]*coeffs[6]*coeffs[8]*coeffs[10] + coeffs[4]*coeffs[7]*coeffs[8]*coeffs[10];
coeffs[34] = -coeffs[5]*coeffs[6]*coeffs[8]*coeffs[11] + coeffs[4]*coeffs[7]*coeffs[8]*coeffs[11];
coeffs[35] = -coeffs[5]*coeffs[6]*coeffs[8]*coeffs[10]*coeffs[10] + coeffs[4]*coeffs[7]*coeffs[8]*coeffs[10]*coeffs[10] - coeffs[5]*coeffs[6]*coeffs[8]*coeffs[11]*coeffs[11] + coeffs[4]*coeffs[7]*coeffs[8]*coeffs[11]*coeffs[11];
coeffs[36] = -coeffs[5]*coeffs[6]*coeffs[8] + coeffs[4]*coeffs[7]*coeffs[8];
coeffs[37] = coeffs[5]*coeffs[6] - coeffs[4]*coeffs[7];
coeffs[38] = coeffs[0]*coeffs[0]*coeffs[2]*coeffs[4]*coeffs[6] + coeffs[1]*coeffs[1]*coeffs[2]*coeffs[4]*coeffs[6] - coeffs[0]*coeffs[2]*coeffs[2]*coeffs[4]*coeffs[6] - coeffs[0]*coeffs[3]*coeffs[3]*coeffs[4]*coeffs[6] - coeffs[0]*coeffs[2]*coeffs[4]*coeffs[4]*coeffs[6] - coeffs[0]*coeffs[2]*coeffs[5]*coeffs[5]*coeffs[6] + coeffs[0]*coeffs[2]*coeffs[4]*coeffs[6]*coeffs[6] + coeffs[0]*coeffs[2]*coeffs[4]*coeffs[7]*coeffs[7];
coeffs[39] = -coeffs[0]*coeffs[3]*coeffs[4]*coeffs[4]*coeffs[6] - coeffs[0]*coeffs[3]*coeffs[5]*coeffs[5]*coeffs[6] + coeffs[0]*coeffs[3]*coeffs[4]*coeffs[6]*coeffs[6] + coeffs[0]*coeffs[0]*coeffs[2]*coeffs[4]*coeffs[7] + coeffs[1]*coeffs[1]*coeffs[2]*coeffs[4]*coeffs[7] - coeffs[0]*coeffs[2]*coeffs[2]*coeffs[4]*coeffs[7] - coeffs[0]*coeffs[3]*coeffs[3]*coeffs[4]*coeffs[7] + coeffs[0]*coeffs[3]*coeffs[4]*coeffs[7]*coeffs[7];
coeffs[40] = -coeffs[0]*coeffs[2]*coeffs[2]*coeffs[4]*coeffs[4]*coeffs[6] - coeffs[0]*coeffs[3]*coeffs[3]*coeffs[4]*coeffs[4]*coeffs[6] - coeffs[0]*coeffs[2]*coeffs[2]*coeffs[5]*coeffs[5]*coeffs[6] - coeffs[0]*coeffs[3]*coeffs[3]*coeffs[5]*coeffs[5]*coeffs[6] + coeffs[0]*coeffs[0]*coeffs[2]*coeffs[4]*coeffs[6]*coeffs[6] + coeffs[1]*coeffs[1]*coeffs[2]*coeffs[4]*coeffs[6]*coeffs[6] + coeffs[0]*coeffs[0]*coeffs[2]*coeffs[4]*coeffs[7]*coeffs[7] + coeffs[1]*coeffs[1]*coeffs[2]*coeffs[4]*coeffs[7]*coeffs[7];
coeffs[41] = coeffs[0]*coeffs[2]*coeffs[4] - coeffs[0]*coeffs[2]*coeffs[6] - coeffs[0]*coeffs[4]*coeffs[6] + coeffs[2]*coeffs[4]*coeffs[6];
coeffs[42] = coeffs[0]*coeffs[3]*coeffs[4] - coeffs[0]*coeffs[3]*coeffs[6] - coeffs[0]*coeffs[4]*coeffs[7] + coeffs[2]*coeffs[4]*coeffs[7];
coeffs[43] = coeffs[0]*coeffs[0]*coeffs[2]*coeffs[4] + coeffs[1]*coeffs[1]*coeffs[2]*coeffs[4] - coeffs[0]*coeffs[2]*coeffs[2]*coeffs[6] - coeffs[0]*coeffs[3]*coeffs[3]*coeffs[6] - coeffs[0]*coeffs[4]*coeffs[4]*coeffs[6] - coeffs[0]*coeffs[5]*coeffs[5]*coeffs[6] + coeffs[2]*coeffs[4]*coeffs[6]*coeffs[6] + coeffs[2]*coeffs[4]*coeffs[7]*coeffs[7];
coeffs[44] = coeffs[2]*coeffs[4] - coeffs[0]*coeffs[6];
coeffs[45] = coeffs[0]*coeffs[2]*coeffs[9]*coeffs[10] - coeffs[0]*coeffs[2]*coeffs[8]*coeffs[11];
coeffs[46] = coeffs[0]*coeffs[3]*coeffs[9]*coeffs[10] - coeffs[0]*coeffs[3]*coeffs[8]*coeffs[11];
coeffs[47] = coeffs[0]*coeffs[2]*coeffs[2]*coeffs[9]*coeffs[10] + coeffs[0]*coeffs[3]*coeffs[3]*coeffs[9]*coeffs[10] - coeffs[0]*coeffs[2]*coeffs[2]*coeffs[8]*coeffs[11] - coeffs[0]*coeffs[3]*coeffs[3]*coeffs[8]*coeffs[11];
coeffs[48] = coeffs[0]*coeffs[9]*coeffs[10] - coeffs[0]*coeffs[8]*coeffs[11];
coeffs[49] = coeffs[0]*coeffs[0]*coeffs[2]*coeffs[8]*coeffs[10] + coeffs[1]*coeffs[1]*coeffs[2]*coeffs[8]*coeffs[10] - coeffs[0]*coeffs[2]*coeffs[2]*coeffs[8]*coeffs[10] - coeffs[0]*coeffs[3]*coeffs[3]*coeffs[8]*coeffs[10];
coeffs[50] = coeffs[0]*coeffs[0]*coeffs[2]*coeffs[8]*coeffs[11] + coeffs[1]*coeffs[1]*coeffs[2]*coeffs[8]*coeffs[11] - coeffs[0]*coeffs[2]*coeffs[2]*coeffs[8]*coeffs[11] - coeffs[0]*coeffs[3]*coeffs[3]*coeffs[8]*coeffs[11];
coeffs[51] = coeffs[0]*coeffs[0]*coeffs[2]*coeffs[8]*coeffs[10]*coeffs[10] + coeffs[1]*coeffs[1]*coeffs[2]*coeffs[8]*coeffs[10]*coeffs[10] - coeffs[0]*coeffs[2]*coeffs[2]*coeffs[8]*coeffs[10]*coeffs[10] - coeffs[0]*coeffs[3]*coeffs[3]*coeffs[8]*coeffs[10]*coeffs[10] + coeffs[0]*coeffs[0]*coeffs[2]*coeffs[8]*coeffs[11]*coeffs[11] + coeffs[1]*coeffs[1]*coeffs[2]*coeffs[8]*coeffs[11]*coeffs[11] - coeffs[0]*coeffs[2]*coeffs[2]*coeffs[8]*coeffs[11]*coeffs[11] - coeffs[0]*coeffs[3]*coeffs[3]*coeffs[8]*coeffs[11]*coeffs[11];
coeffs[52] = -coeffs[0]*coeffs[2]*coeffs[8]*coeffs[8]*coeffs[10] - coeffs[0]*coeffs[2]*coeffs[9]*coeffs[9]*coeffs[10] + coeffs[0]*coeffs[2]*coeffs[8]*coeffs[10]*coeffs[10] + coeffs[0]*coeffs[2]*coeffs[8]*coeffs[11]*coeffs[11];
coeffs[53] = -coeffs[0]*coeffs[3]*coeffs[8]*coeffs[8]*coeffs[10] - coeffs[0]*coeffs[3]*coeffs[9]*coeffs[9]*coeffs[10] + coeffs[0]*coeffs[3]*coeffs[8]*coeffs[10]*coeffs[10] + coeffs[0]*coeffs[3]*coeffs[8]*coeffs[11]*coeffs[11];
coeffs[54] = -coeffs[0]*coeffs[2]*coeffs[2]*coeffs[8]*coeffs[8]*coeffs[10] - coeffs[0]*coeffs[3]*coeffs[3]*coeffs[8]*coeffs[8]*coeffs[10] - coeffs[0]*coeffs[2]*coeffs[2]*coeffs[9]*coeffs[9]*coeffs[10] - coeffs[0]*coeffs[3]*coeffs[3]*coeffs[9]*coeffs[9]*coeffs[10] + coeffs[0]*coeffs[2]*coeffs[2]*coeffs[8]*coeffs[10]*coeffs[10] + coeffs[0]*coeffs[3]*coeffs[3]*coeffs[8]*coeffs[10]*coeffs[10] + coeffs[0]*coeffs[2]*coeffs[2]*coeffs[8]*coeffs[11]*coeffs[11] + coeffs[0]*coeffs[3]*coeffs[3]*coeffs[8]*coeffs[11]*coeffs[11];
coeffs[55] = -coeffs[0]*coeffs[8]*coeffs[10] + coeffs[2]*coeffs[8]*coeffs[10];
coeffs[56] = -coeffs[0]*coeffs[8]*coeffs[11] + coeffs[2]*coeffs[8]*coeffs[11];
coeffs[57] = coeffs[0]*coeffs[0]*coeffs[2]*coeffs[8] + coeffs[1]*coeffs[1]*coeffs[2]*coeffs[8] - coeffs[0]*coeffs[2]*coeffs[2]*coeffs[8] - coeffs[0]*coeffs[3]*coeffs[3]*coeffs[8] - coeffs[0]*coeffs[8]*coeffs[10]*coeffs[10] + coeffs[2]*coeffs[8]*coeffs[10]*coeffs[10] - coeffs[0]*coeffs[8]*coeffs[11]*coeffs[11] + coeffs[2]*coeffs[8]*coeffs[11]*coeffs[11];
coeffs[58] = coeffs[0]*coeffs[2]*coeffs[8] - coeffs[0]*coeffs[2]*coeffs[10];
coeffs[59] = coeffs[0]*coeffs[3]*coeffs[8] - coeffs[0]*coeffs[3]*coeffs[10];
coeffs[60] = coeffs[0]*coeffs[2]*coeffs[2]*coeffs[8] + coeffs[0]*coeffs[3]*coeffs[3]*coeffs[8] - coeffs[0]*coeffs[2]*coeffs[2]*coeffs[10] - coeffs[0]*coeffs[3]*coeffs[3]*coeffs[10] - coeffs[0]*coeffs[8]*coeffs[8]*coeffs[10] - coeffs[0]*coeffs[9]*coeffs[9]*coeffs[10] + coeffs[0]*coeffs[8]*coeffs[10]*coeffs[10] + coeffs[0]*coeffs[8]*coeffs[11]*coeffs[11];
coeffs[61] = -coeffs[0]*coeffs[8] + coeffs[2]*coeffs[8];
coeffs[62] = coeffs[0]*coeffs[8] - coeffs[0]*coeffs[10];
coeffs[63] = -coeffs[0]*coeffs[0]*coeffs[2] - coeffs[1]*coeffs[1]*coeffs[2] + coeffs[0]*coeffs[2]*coeffs[2] + coeffs[0]*coeffs[3]*coeffs[3];
coeffs[64] = coeffs[0] - coeffs[2];
coeffs[65] = coeffs[4]*coeffs[6]*coeffs[9]*coeffs[10] - coeffs[4]*coeffs[6]*coeffs[8]*coeffs[11];
coeffs[66] = coeffs[4]*coeffs[7]*coeffs[9]*coeffs[10] - coeffs[4]*coeffs[7]*coeffs[8]*coeffs[11];
coeffs[67] = coeffs[4]*coeffs[6]*coeffs[6]*coeffs[9]*coeffs[10] + coeffs[4]*coeffs[7]*coeffs[7]*coeffs[9]*coeffs[10] - coeffs[4]*coeffs[6]*coeffs[6]*coeffs[8]*coeffs[11] - coeffs[4]*coeffs[7]*coeffs[7]*coeffs[8]*coeffs[11];
coeffs[68] = coeffs[4]*coeffs[9]*coeffs[10] - coeffs[4]*coeffs[8]*coeffs[11];
coeffs[69] = coeffs[4]*coeffs[4]*coeffs[6]*coeffs[8]*coeffs[10] + coeffs[5]*coeffs[5]*coeffs[6]*coeffs[8]*coeffs[10] - coeffs[4]*coeffs[6]*coeffs[6]*coeffs[8]*coeffs[10] - coeffs[4]*coeffs[7]*coeffs[7]*coeffs[8]*coeffs[10];
coeffs[70] = coeffs[4]*coeffs[4]*coeffs[6]*coeffs[8]*coeffs[11] + coeffs[5]*coeffs[5]*coeffs[6]*coeffs[8]*coeffs[11] - coeffs[4]*coeffs[6]*coeffs[6]*coeffs[8]*coeffs[11] - coeffs[4]*coeffs[7]*coeffs[7]*coeffs[8]*coeffs[11];
coeffs[71] = coeffs[4]*coeffs[4]*coeffs[6]*coeffs[8]*coeffs[10]*coeffs[10] + coeffs[5]*coeffs[5]*coeffs[6]*coeffs[8]*coeffs[10]*coeffs[10] - coeffs[4]*coeffs[6]*coeffs[6]*coeffs[8]*coeffs[10]*coeffs[10] - coeffs[4]*coeffs[7]*coeffs[7]*coeffs[8]*coeffs[10]*coeffs[10] + coeffs[4]*coeffs[4]*coeffs[6]*coeffs[8]*coeffs[11]*coeffs[11] + coeffs[5]*coeffs[5]*coeffs[6]*coeffs[8]*coeffs[11]*coeffs[11] - coeffs[4]*coeffs[6]*coeffs[6]*coeffs[8]*coeffs[11]*coeffs[11] - coeffs[4]*coeffs[7]*coeffs[7]*coeffs[8]*coeffs[11]*coeffs[11];
coeffs[72] = -coeffs[4]*coeffs[6]*coeffs[8]*coeffs[8]*coeffs[10] - coeffs[4]*coeffs[6]*coeffs[9]*coeffs[9]*coeffs[10] + coeffs[4]*coeffs[6]*coeffs[8]*coeffs[10]*coeffs[10] + coeffs[4]*coeffs[6]*coeffs[8]*coeffs[11]*coeffs[11];
coeffs[73] = -coeffs[4]*coeffs[7]*coeffs[8]*coeffs[8]*coeffs[10] - coeffs[4]*coeffs[7]*coeffs[9]*coeffs[9]*coeffs[10] + coeffs[4]*coeffs[7]*coeffs[8]*coeffs[10]*coeffs[10] + coeffs[4]*coeffs[7]*coeffs[8]*coeffs[11]*coeffs[11];
coeffs[74] = -coeffs[4]*coeffs[6]*coeffs[6]*coeffs[8]*coeffs[8]*coeffs[10] - coeffs[4]*coeffs[7]*coeffs[7]*coeffs[8]*coeffs[8]*coeffs[10] - coeffs[4]*coeffs[6]*coeffs[6]*coeffs[9]*coeffs[9]*coeffs[10] - coeffs[4]*coeffs[7]*coeffs[7]*coeffs[9]*coeffs[9]*coeffs[10] + coeffs[4]*coeffs[6]*coeffs[6]*coeffs[8]*coeffs[10]*coeffs[10] + coeffs[4]*coeffs[7]*coeffs[7]*coeffs[8]*coeffs[10]*coeffs[10] + coeffs[4]*coeffs[6]*coeffs[6]*coeffs[8]*coeffs[11]*coeffs[11] + coeffs[4]*coeffs[7]*coeffs[7]*coeffs[8]*coeffs[11]*coeffs[11];
coeffs[75] = -coeffs[4]*coeffs[8]*coeffs[10] + coeffs[6]*coeffs[8]*coeffs[10];
coeffs[76] = -coeffs[4]*coeffs[8]*coeffs[11] + coeffs[6]*coeffs[8]*coeffs[11];
coeffs[77] = coeffs[4]*coeffs[4]*coeffs[6]*coeffs[8] + coeffs[5]*coeffs[5]*coeffs[6]*coeffs[8] - coeffs[4]*coeffs[6]*coeffs[6]*coeffs[8] - coeffs[4]*coeffs[7]*coeffs[7]*coeffs[8] - coeffs[4]*coeffs[8]*coeffs[10]*coeffs[10] + coeffs[6]*coeffs[8]*coeffs[10]*coeffs[10] - coeffs[4]*coeffs[8]*coeffs[11]*coeffs[11] + coeffs[6]*coeffs[8]*coeffs[11]*coeffs[11];
coeffs[78] = coeffs[4]*coeffs[6]*coeffs[8] - coeffs[4]*coeffs[6]*coeffs[10];
coeffs[79] = coeffs[4]*coeffs[7]*coeffs[8] - coeffs[4]*coeffs[7]*coeffs[10];
coeffs[80] = coeffs[4]*coeffs[6]*coeffs[6]*coeffs[8] + coeffs[4]*coeffs[7]*coeffs[7]*coeffs[8] - coeffs[4]*coeffs[6]*coeffs[6]*coeffs[10] - coeffs[4]*coeffs[7]*coeffs[7]*coeffs[10] - coeffs[4]*coeffs[8]*coeffs[8]*coeffs[10] - coeffs[4]*coeffs[9]*coeffs[9]*coeffs[10] + coeffs[4]*coeffs[8]*coeffs[10]*coeffs[10] + coeffs[4]*coeffs[8]*coeffs[11]*coeffs[11];
coeffs[81] = -coeffs[4]*coeffs[8] + coeffs[6]*coeffs[8];
coeffs[82] = coeffs[4]*coeffs[8] - coeffs[4]*coeffs[10];
coeffs[83] = -coeffs[4]*coeffs[4]*coeffs[6] - coeffs[5]*coeffs[5]*coeffs[6] + coeffs[4]*coeffs[6]*coeffs[6] + coeffs[4]*coeffs[7]*coeffs[7];
coeffs[84] = coeffs[4] - coeffs[6];
coeffs[85] = coeffs[9]*coeffs[10] - coeffs[8]*coeffs[11];
coeffs[86] = -coeffs[8]*coeffs[8]*coeffs[10] - coeffs[9]*coeffs[9]*coeffs[10] + coeffs[8]*coeffs[10]*coeffs[10] + coeffs[8]*coeffs[11]*coeffs[11];
coeffs[87] = coeffs[8] - coeffs[10];
coeffs[88] = -coeffs[1]*coeffs[3]*coeffs[4]*coeffs[7] + coeffs[0]*coeffs[3]*coeffs[5]*coeffs[7];
coeffs[89] = -coeffs[1]*coeffs[2]*coeffs[2]*coeffs[4]*coeffs[6] - coeffs[1]*coeffs[3]*coeffs[3]*coeffs[4]*coeffs[6] + coeffs[0]*coeffs[2]*coeffs[2]*coeffs[5]*coeffs[6] + coeffs[0]*coeffs[3]*coeffs[3]*coeffs[5]*coeffs[6] - coeffs[1]*coeffs[2]*coeffs[4]*coeffs[6]*coeffs[6] + coeffs[0]*coeffs[2]*coeffs[5]*coeffs[6]*coeffs[6] - coeffs[1]*coeffs[2]*coeffs[4]*coeffs[7]*coeffs[7] + coeffs[0]*coeffs[2]*coeffs[5]*coeffs[7]*coeffs[7];
coeffs[90] = -coeffs[1]*coeffs[3]*coeffs[4]*coeffs[6]*coeffs[6] + coeffs[0]*coeffs[3]*coeffs[5]*coeffs[6]*coeffs[6] - coeffs[1]*coeffs[2]*coeffs[2]*coeffs[4]*coeffs[7] - coeffs[1]*coeffs[3]*coeffs[3]*coeffs[4]*coeffs[7] + coeffs[0]*coeffs[2]*coeffs[2]*coeffs[5]*coeffs[7] + coeffs[0]*coeffs[3]*coeffs[3]*coeffs[5]*coeffs[7] - coeffs[1]*coeffs[3]*coeffs[4]*coeffs[7]*coeffs[7] + coeffs[0]*coeffs[3]*coeffs[5]*coeffs[7]*coeffs[7];
coeffs[91] = -coeffs[1]*coeffs[2]*coeffs[2]*coeffs[4]*coeffs[6]*coeffs[6] - coeffs[1]*coeffs[3]*coeffs[3]*coeffs[4]*coeffs[6]*coeffs[6] + coeffs[0]*coeffs[2]*coeffs[2]*coeffs[5]*coeffs[6]*coeffs[6] + coeffs[0]*coeffs[3]*coeffs[3]*coeffs[5]*coeffs[6]*coeffs[6] - coeffs[1]*coeffs[2]*coeffs[2]*coeffs[4]*coeffs[7]*coeffs[7] - coeffs[1]*coeffs[3]*coeffs[3]*coeffs[4]*coeffs[7]*coeffs[7] + coeffs[0]*coeffs[2]*coeffs[2]*coeffs[5]*coeffs[7]*coeffs[7] + coeffs[0]*coeffs[3]*coeffs[3]*coeffs[5]*coeffs[7]*coeffs[7];
coeffs[92] = -coeffs[1]*coeffs[2]*coeffs[4] + coeffs[0]*coeffs[2]*coeffs[5] - coeffs[1]*coeffs[4]*coeffs[6] + coeffs[0]*coeffs[5]*coeffs[6];
coeffs[93] = -coeffs[1]*coeffs[3]*coeffs[4] + coeffs[0]*coeffs[3]*coeffs[5] - coeffs[1]*coeffs[4]*coeffs[7] + coeffs[0]*coeffs[5]*coeffs[7];
coeffs[94] = -coeffs[1]*coeffs[2]*coeffs[2]*coeffs[4] - coeffs[1]*coeffs[3]*coeffs[3]*coeffs[4] + coeffs[0]*coeffs[2]*coeffs[2]*coeffs[5] + coeffs[0]*coeffs[3]*coeffs[3]*coeffs[5] - coeffs[1]*coeffs[4]*coeffs[6]*coeffs[6] + coeffs[0]*coeffs[5]*coeffs[6]*coeffs[6] - coeffs[1]*coeffs[4]*coeffs[7]*coeffs[7] + coeffs[0]*coeffs[5]*coeffs[7]*coeffs[7];
coeffs[95] = -coeffs[1]*coeffs[4] + coeffs[0]*coeffs[5];
coeffs[96] = -coeffs[4]*coeffs[7]*coeffs[12] - coeffs[4]*coeffs[6]*coeffs[13] + coeffs[0]*coeffs[3]*coeffs[25] + coeffs[0]*coeffs[2]*coeffs[26];
coeffs[97] = -coeffs[4]*coeffs[7]*coeffs[13] + coeffs[0]*coeffs[3]*coeffs[26];
coeffs[98] = -coeffs[4]*coeffs[6]*coeffs[6]*coeffs[12] - coeffs[4]*coeffs[7]*coeffs[7]*coeffs[12] + coeffs[0]*coeffs[2]*coeffs[2]*coeffs[25] + coeffs[0]*coeffs[3]*coeffs[3]*coeffs[25] - coeffs[4]*coeffs[6]*coeffs[14] + coeffs[0]*coeffs[2]*coeffs[27];
coeffs[99] = -coeffs[4]*coeffs[6]*coeffs[6]*coeffs[13] - coeffs[4]*coeffs[7]*coeffs[7]*coeffs[13] + coeffs[0]*coeffs[2]*coeffs[2]*coeffs[26] + coeffs[0]*coeffs[3]*coeffs[3]*coeffs[26] - coeffs[4]*coeffs[7]*coeffs[14] + coeffs[0]*coeffs[3]*coeffs[27];
coeffs[100] = -coeffs[4]*coeffs[6]*coeffs[6]*coeffs[14] - coeffs[4]*coeffs[7]*coeffs[7]*coeffs[14] + coeffs[0]*coeffs[2]*coeffs[2]*coeffs[27] + coeffs[0]*coeffs[3]*coeffs[3]*coeffs[27];
coeffs[101] = -coeffs[4]*coeffs[6]*coeffs[15] + coeffs[0]*coeffs[2]*coeffs[28] - coeffs[4]*coeffs[12] + coeffs[0]*coeffs[25];
coeffs[102] = -coeffs[4]*coeffs[7]*coeffs[15] + coeffs[0]*coeffs[3]*coeffs[28] - coeffs[4]*coeffs[13] + coeffs[0]*coeffs[26];
coeffs[103] = -coeffs[4]*coeffs[6]*coeffs[6]*coeffs[15] - coeffs[4]*coeffs[7]*coeffs[7]*coeffs[15] + coeffs[0]*coeffs[2]*coeffs[2]*coeffs[28] + coeffs[0]*coeffs[3]*coeffs[3]*coeffs[28] - coeffs[4]*coeffs[14] + coeffs[0]*coeffs[27];
coeffs[104] = -coeffs[4]*coeffs[15] + coeffs[0]*coeffs[28];
coeffs[105] = -coeffs[4]*coeffs[7]*coeffs[16] - coeffs[4]*coeffs[6]*coeffs[17] + coeffs[0]*coeffs[3]*coeffs[29] + coeffs[0]*coeffs[2]*coeffs[30];
coeffs[106] = -coeffs[4]*coeffs[7]*coeffs[17] + coeffs[0]*coeffs[3]*coeffs[30];
coeffs[107] = -coeffs[4]*coeffs[6]*coeffs[6]*coeffs[16] - coeffs[4]*coeffs[7]*coeffs[7]*coeffs[16] + coeffs[0]*coeffs[2]*coeffs[2]*coeffs[29] + coeffs[0]*coeffs[3]*coeffs[3]*coeffs[29] - coeffs[4]*coeffs[6]*coeffs[18] + coeffs[0]*coeffs[2]*coeffs[31];
coeffs[108] = -coeffs[4]*coeffs[6]*coeffs[6]*coeffs[17] - coeffs[4]*coeffs[7]*coeffs[7]*coeffs[17] + coeffs[0]*coeffs[2]*coeffs[2]*coeffs[30] + coeffs[0]*coeffs[3]*coeffs[3]*coeffs[30] - coeffs[4]*coeffs[7]*coeffs[18] + coeffs[0]*coeffs[3]*coeffs[31];
coeffs[109] = -coeffs[4]*coeffs[6]*coeffs[6]*coeffs[18] - coeffs[4]*coeffs[7]*coeffs[7]*coeffs[18] + coeffs[0]*coeffs[2]*coeffs[2]*coeffs[31] + coeffs[0]*coeffs[3]*coeffs[3]*coeffs[31];
coeffs[110] = -coeffs[4]*coeffs[6]*coeffs[19] + coeffs[0]*coeffs[2]*coeffs[32] - coeffs[4]*coeffs[16] + coeffs[0]*coeffs[29];
coeffs[111] = -coeffs[4]*coeffs[7]*coeffs[19] + coeffs[0]*coeffs[3]*coeffs[32] - coeffs[4]*coeffs[17] + coeffs[0]*coeffs[30];
coeffs[112] = -coeffs[4]*coeffs[6]*coeffs[6]*coeffs[19] - coeffs[4]*coeffs[7]*coeffs[7]*coeffs[19] + coeffs[0]*coeffs[2]*coeffs[2]*coeffs[32] + coeffs[0]*coeffs[3]*coeffs[3]*coeffs[32] - coeffs[4]*coeffs[18] + coeffs[0]*coeffs[31];
coeffs[113] = -coeffs[4]*coeffs[19] + coeffs[0]*coeffs[32];
coeffs[114] = -coeffs[4]*coeffs[7]*coeffs[20] - coeffs[4]*coeffs[6]*coeffs[21] + coeffs[0]*coeffs[3]*coeffs[33] + coeffs[0]*coeffs[2]*coeffs[34];
coeffs[115] = -coeffs[4]*coeffs[7]*coeffs[21] + coeffs[0]*coeffs[3]*coeffs[34];
coeffs[116] = -coeffs[4]*coeffs[6]*coeffs[6]*coeffs[20] - coeffs[4]*coeffs[7]*coeffs[7]*coeffs[20] + coeffs[0]*coeffs[2]*coeffs[2]*coeffs[33] + coeffs[0]*coeffs[3]*coeffs[3]*coeffs[33] - coeffs[4]*coeffs[6]*coeffs[22] + coeffs[0]*coeffs[2]*coeffs[35];
coeffs[117] = -coeffs[4]*coeffs[6]*coeffs[6]*coeffs[21] - coeffs[4]*coeffs[7]*coeffs[7]*coeffs[21] + coeffs[0]*coeffs[2]*coeffs[2]*coeffs[34] + coeffs[0]*coeffs[3]*coeffs[3]*coeffs[34] - coeffs[4]*coeffs[7]*coeffs[22] + coeffs[0]*coeffs[3]*coeffs[35];
coeffs[118] = -coeffs[4]*coeffs[6]*coeffs[6]*coeffs[22] - coeffs[4]*coeffs[7]*coeffs[7]*coeffs[22] + coeffs[0]*coeffs[2]*coeffs[2]*coeffs[35] + coeffs[0]*coeffs[3]*coeffs[3]*coeffs[35];
coeffs[119] = -coeffs[4]*coeffs[6]*coeffs[23] + coeffs[0]*coeffs[2]*coeffs[36] - coeffs[4]*coeffs[20] + coeffs[0]*coeffs[33];
coeffs[120] = -coeffs[4]*coeffs[7]*coeffs[23] + coeffs[0]*coeffs[3]*coeffs[36] - coeffs[4]*coeffs[21] + coeffs[0]*coeffs[34];
coeffs[121] = -coeffs[4]*coeffs[6]*coeffs[6]*coeffs[23] - coeffs[4]*coeffs[7]*coeffs[7]*coeffs[23] + coeffs[0]*coeffs[2]*coeffs[2]*coeffs[36] + coeffs[0]*coeffs[3]*coeffs[3]*coeffs[36] - coeffs[4]*coeffs[22] + coeffs[0]*coeffs[35];
coeffs[122] = -coeffs[4]*coeffs[23] + coeffs[0]*coeffs[36];
coeffs[123] = -coeffs[4]*coeffs[6]*coeffs[24] + coeffs[0]*coeffs[2]*coeffs[37];
coeffs[124] = -coeffs[4]*coeffs[7]*coeffs[24] + coeffs[0]*coeffs[3]*coeffs[37];
coeffs[125] = -coeffs[4]*coeffs[6]*coeffs[6]*coeffs[24] - coeffs[4]*coeffs[7]*coeffs[7]*coeffs[24] + coeffs[0]*coeffs[2]*coeffs[2]*coeffs[37] + coeffs[0]*coeffs[3]*coeffs[3]*coeffs[37];
coeffs[126] = -coeffs[4]*coeffs[24] + coeffs[0]*coeffs[37];
coeffs[127] = coeffs[0]*coeffs[2]*coeffs[2]*coeffs[38] + coeffs[0]*coeffs[3]*coeffs[3]*coeffs[38] + coeffs[0]*coeffs[2]*coeffs[40];
coeffs[128] = coeffs[0]*coeffs[2]*coeffs[2]*coeffs[39] + coeffs[0]*coeffs[3]*coeffs[3]*coeffs[39] + coeffs[0]*coeffs[3]*coeffs[40];
coeffs[129] = coeffs[0]*coeffs[2]*coeffs[2]*coeffs[40] + coeffs[0]*coeffs[3]*coeffs[3]*coeffs[40];
coeffs[130] = coeffs[0]*coeffs[3]*coeffs[41] + coeffs[0]*coeffs[2]*coeffs[42];
coeffs[131] = coeffs[0]*coeffs[3]*coeffs[42];
coeffs[132] = coeffs[0]*coeffs[2]*coeffs[2]*coeffs[41] + coeffs[0]*coeffs[3]*coeffs[3]*coeffs[41] + coeffs[0]*coeffs[2]*coeffs[43] + coeffs[0]*coeffs[38];
coeffs[133] = coeffs[0]*coeffs[2]*coeffs[2]*coeffs[42] + coeffs[0]*coeffs[3]*coeffs[3]*coeffs[42] + coeffs[0]*coeffs[3]*coeffs[43] + coeffs[0]*coeffs[39];
coeffs[134] = coeffs[0]*coeffs[2]*coeffs[2]*coeffs[43] + coeffs[0]*coeffs[3]*coeffs[3]*coeffs[43] + coeffs[0]*coeffs[40];
coeffs[135] = coeffs[0]*coeffs[2]*coeffs[44] + coeffs[0]*coeffs[41];
coeffs[136] = coeffs[0]*coeffs[3]*coeffs[44] + coeffs[0]*coeffs[42];
coeffs[137] = coeffs[0]*coeffs[2]*coeffs[2]*coeffs[44] + coeffs[0]*coeffs[3]*coeffs[3]*coeffs[44] + coeffs[0]*coeffs[43];
coeffs[138] = coeffs[0]*coeffs[44];
coeffs[139] = coeffs[8]*coeffs[11]*coeffs[12] + coeffs[8]*coeffs[10]*coeffs[13];
coeffs[140] = coeffs[8]*coeffs[11]*coeffs[13];
coeffs[141] = coeffs[8]*coeffs[10]*coeffs[10]*coeffs[12] + coeffs[8]*coeffs[11]*coeffs[11]*coeffs[12] + coeffs[8]*coeffs[10]*coeffs[14];
coeffs[142] = coeffs[8]*coeffs[10]*coeffs[10]*coeffs[13] + coeffs[8]*coeffs[11]*coeffs[11]*coeffs[13] + coeffs[8]*coeffs[11]*coeffs[14];
coeffs[143] = coeffs[8]*coeffs[10]*coeffs[10]*coeffs[14] + coeffs[8]*coeffs[11]*coeffs[11]*coeffs[14];
coeffs[144] = coeffs[0]*coeffs[3]*coeffs[46];
coeffs[145] = coeffs[0]*coeffs[2]*coeffs[2]*coeffs[45] + coeffs[0]*coeffs[3]*coeffs[3]*coeffs[45] + coeffs[0]*coeffs[2]*coeffs[47];
coeffs[146] = coeffs[0]*coeffs[2]*coeffs[2]*coeffs[46] + coeffs[0]*coeffs[3]*coeffs[3]*coeffs[46] + coeffs[0]*coeffs[3]*coeffs[47];
coeffs[147] = coeffs[0]*coeffs[2]*coeffs[2]*coeffs[47] + coeffs[0]*coeffs[3]*coeffs[3]*coeffs[47];
coeffs[148] = coeffs[8]*coeffs[10]*coeffs[15] + coeffs[8]*coeffs[12];
coeffs[149] = coeffs[8]*coeffs[11]*coeffs[15] + coeffs[8]*coeffs[13];
coeffs[150] = coeffs[8]*coeffs[10]*coeffs[10]*coeffs[15] + coeffs[8]*coeffs[11]*coeffs[11]*coeffs[15] + coeffs[8]*coeffs[14];
coeffs[151] = coeffs[0]*coeffs[2]*coeffs[48] + coeffs[0]*coeffs[45];
coeffs[152] = coeffs[0]*coeffs[3]*coeffs[48] + coeffs[0]*coeffs[46];
coeffs[153] = coeffs[0]*coeffs[2]*coeffs[2]*coeffs[48] + coeffs[0]*coeffs[3]*coeffs[3]*coeffs[48] + coeffs[0]*coeffs[47];
coeffs[154] = coeffs[8]*coeffs[15];
coeffs[155] = coeffs[0]*coeffs[48];
coeffs[156] = coeffs[0]*coeffs[2]*coeffs[2]*coeffs[49] + coeffs[0]*coeffs[3]*coeffs[3]*coeffs[49] + coeffs[0]*coeffs[2]*coeffs[51];
coeffs[157] = coeffs[0]*coeffs[2]*coeffs[2]*coeffs[50] + coeffs[0]*coeffs[3]*coeffs[3]*coeffs[50] + coeffs[0]*coeffs[3]*coeffs[51];
coeffs[158] = coeffs[0]*coeffs[2]*coeffs[2]*coeffs[51] + coeffs[0]*coeffs[3]*coeffs[3]*coeffs[51];
coeffs[159] = coeffs[0]*coeffs[2]*coeffs[2]*coeffs[54] + coeffs[0]*coeffs[3]*coeffs[3]*coeffs[54];
coeffs[160] = coeffs[0]*coeffs[3]*coeffs[55] + coeffs[0]*coeffs[2]*coeffs[56];
coeffs[161] = coeffs[0]*coeffs[3]*coeffs[56];
coeffs[162] = coeffs[0]*coeffs[2]*coeffs[2]*coeffs[55] + coeffs[0]*coeffs[3]*coeffs[3]*coeffs[55] + coeffs[0]*coeffs[2]*coeffs[57] + coeffs[0]*coeffs[49];
coeffs[163] = coeffs[0]*coeffs[2]*coeffs[2]*coeffs[56] + coeffs[0]*coeffs[3]*coeffs[3]*coeffs[56] + coeffs[0]*coeffs[3]*coeffs[57] + coeffs[0]*coeffs[50];
coeffs[164] = coeffs[0]*coeffs[2]*coeffs[2]*coeffs[57] + coeffs[0]*coeffs[3]*coeffs[3]*coeffs[57] + coeffs[0]*coeffs[51];
coeffs[165] = coeffs[0]*coeffs[3]*coeffs[59];
coeffs[166] = coeffs[0]*coeffs[2]*coeffs[2]*coeffs[58] + coeffs[0]*coeffs[3]*coeffs[3]*coeffs[58] + coeffs[0]*coeffs[2]*coeffs[60] + coeffs[0]*coeffs[52];
coeffs[167] = coeffs[0]*coeffs[2]*coeffs[2]*coeffs[59] + coeffs[0]*coeffs[3]*coeffs[3]*coeffs[59] + coeffs[0]*coeffs[3]*coeffs[60] + coeffs[0]*coeffs[53];
coeffs[168] = coeffs[0]*coeffs[2]*coeffs[2]*coeffs[60] + coeffs[0]*coeffs[3]*coeffs[3]*coeffs[60] + coeffs[0]*coeffs[54];
coeffs[169] = coeffs[0]*coeffs[2]*coeffs[61] + coeffs[0]*coeffs[55];
coeffs[170] = coeffs[0]*coeffs[3]*coeffs[61] + coeffs[0]*coeffs[56];
coeffs[171] = coeffs[0]*coeffs[2]*coeffs[2]*coeffs[61] + coeffs[0]*coeffs[3]*coeffs[3]*coeffs[61] + coeffs[0]*coeffs[57];
coeffs[172] = coeffs[0]*coeffs[2]*coeffs[62] + coeffs[0]*coeffs[58];
coeffs[173] = coeffs[0]*coeffs[3]*coeffs[62] + coeffs[0]*coeffs[59];
coeffs[174] = coeffs[0]*coeffs[2]*coeffs[2]*coeffs[62] + coeffs[0]*coeffs[3]*coeffs[3]*coeffs[62] + coeffs[0]*coeffs[60];
coeffs[175] = coeffs[0]*coeffs[61];
coeffs[176] = coeffs[0]*coeffs[62];
coeffs[177] = coeffs[12];
coeffs[178] = coeffs[13];
coeffs[179] = coeffs[0]*coeffs[2]*coeffs[63];
coeffs[180] = coeffs[0]*coeffs[3]*coeffs[63] + coeffs[14];
coeffs[181] = coeffs[0]*coeffs[2]*coeffs[2]*coeffs[63] + coeffs[0]*coeffs[3]*coeffs[3]*coeffs[63];
coeffs[182] = coeffs[0]*coeffs[2]*coeffs[64];
coeffs[183] = coeffs[0]*coeffs[3]*coeffs[64] + coeffs[15];
coeffs[184] = coeffs[0]*coeffs[2]*coeffs[2]*coeffs[64] + coeffs[0]*coeffs[3]*coeffs[3]*coeffs[64] + coeffs[0]*coeffs[63];
coeffs[185] = coeffs[0]*coeffs[64];
coeffs[186] = coeffs[8]*coeffs[11]*coeffs[16] + coeffs[8]*coeffs[10]*coeffs[17];
coeffs[187] = coeffs[8]*coeffs[11]*coeffs[17];
coeffs[188] = coeffs[8]*coeffs[10]*coeffs[10]*coeffs[16] + coeffs[8]*coeffs[11]*coeffs[11]*coeffs[16] + coeffs[8]*coeffs[10]*coeffs[18];
coeffs[189] = coeffs[8]*coeffs[10]*coeffs[10]*coeffs[17] + coeffs[8]*coeffs[11]*coeffs[11]*coeffs[17] + coeffs[8]*coeffs[11]*coeffs[18];
coeffs[190] = coeffs[8]*coeffs[10]*coeffs[10]*coeffs[18] + coeffs[8]*coeffs[11]*coeffs[11]*coeffs[18];
coeffs[191] = coeffs[0]*coeffs[3]*coeffs[66];
coeffs[192] = coeffs[0]*coeffs[2]*coeffs[2]*coeffs[65] + coeffs[0]*coeffs[3]*coeffs[3]*coeffs[65] + coeffs[0]*coeffs[2]*coeffs[67];
coeffs[193] = coeffs[0]*coeffs[2]*coeffs[2]*coeffs[66] + coeffs[0]*coeffs[3]*coeffs[3]*coeffs[66] + coeffs[0]*coeffs[3]*coeffs[67];
coeffs[194] = coeffs[0]*coeffs[2]*coeffs[2]*coeffs[67] + coeffs[0]*coeffs[3]*coeffs[3]*coeffs[67];
coeffs[195] = coeffs[8]*coeffs[10]*coeffs[19] + coeffs[8]*coeffs[16];
coeffs[196] = coeffs[8]*coeffs[11]*coeffs[19] + coeffs[8]*coeffs[17];
coeffs[197] = coeffs[8]*coeffs[10]*coeffs[10]*coeffs[19] + coeffs[8]*coeffs[11]*coeffs[11]*coeffs[19] + coeffs[8]*coeffs[18];
coeffs[198] = coeffs[0]*coeffs[2]*coeffs[68] + coeffs[0]*coeffs[65];
coeffs[199] = coeffs[0]*coeffs[3]*coeffs[68] + coeffs[0]*coeffs[66];
coeffs[200] = coeffs[0]*coeffs[2]*coeffs[2]*coeffs[68] + coeffs[0]*coeffs[3]*coeffs[3]*coeffs[68] + coeffs[0]*coeffs[67];
coeffs[201] = coeffs[8]*coeffs[19];
coeffs[202] = coeffs[0]*coeffs[68];
coeffs[203] = coeffs[0]*coeffs[2]*coeffs[2]*coeffs[69] + coeffs[0]*coeffs[3]*coeffs[3]*coeffs[69] + coeffs[0]*coeffs[2]*coeffs[71];
coeffs[204] = coeffs[0]*coeffs[2]*coeffs[2]*coeffs[70] + coeffs[0]*coeffs[3]*coeffs[3]*coeffs[70] + coeffs[0]*coeffs[3]*coeffs[71];
coeffs[205] = coeffs[0]*coeffs[2]*coeffs[2]*coeffs[71] + coeffs[0]*coeffs[3]*coeffs[3]*coeffs[71];
coeffs[206] = coeffs[0]*coeffs[2]*coeffs[2]*coeffs[74] + coeffs[0]*coeffs[3]*coeffs[3]*coeffs[74];
coeffs[207] = coeffs[0]*coeffs[3]*coeffs[75] + coeffs[0]*coeffs[2]*coeffs[76];
coeffs[208] = coeffs[0]*coeffs[3]*coeffs[76];
coeffs[209] = coeffs[0]*coeffs[2]*coeffs[2]*coeffs[75] + coeffs[0]*coeffs[3]*coeffs[3]*coeffs[75] + coeffs[0]*coeffs[2]*coeffs[77] + coeffs[0]*coeffs[69];
coeffs[210] = coeffs[0]*coeffs[2]*coeffs[2]*coeffs[76] + coeffs[0]*coeffs[3]*coeffs[3]*coeffs[76] + coeffs[0]*coeffs[3]*coeffs[77] + coeffs[0]*coeffs[70];
coeffs[211] = coeffs[0]*coeffs[2]*coeffs[2]*coeffs[77] + coeffs[0]*coeffs[3]*coeffs[3]*coeffs[77] + coeffs[0]*coeffs[71];
coeffs[212] = coeffs[0]*coeffs[3]*coeffs[79];
coeffs[213] = coeffs[0]*coeffs[2]*coeffs[2]*coeffs[78] + coeffs[0]*coeffs[3]*coeffs[3]*coeffs[78] + coeffs[0]*coeffs[2]*coeffs[80] + coeffs[0]*coeffs[72];
coeffs[214] = coeffs[0]*coeffs[2]*coeffs[2]*coeffs[79] + coeffs[0]*coeffs[3]*coeffs[3]*coeffs[79] + coeffs[0]*coeffs[3]*coeffs[80] + coeffs[0]*coeffs[73];
coeffs[215] = coeffs[0]*coeffs[2]*coeffs[2]*coeffs[80] + coeffs[0]*coeffs[3]*coeffs[3]*coeffs[80] + coeffs[0]*coeffs[74];
coeffs[216] = coeffs[0]*coeffs[2]*coeffs[81] + coeffs[0]*coeffs[75];
coeffs[217] = coeffs[0]*coeffs[3]*coeffs[81] + coeffs[0]*coeffs[76];
coeffs[218] = coeffs[0]*coeffs[2]*coeffs[2]*coeffs[81] + coeffs[0]*coeffs[3]*coeffs[3]*coeffs[81] + coeffs[0]*coeffs[77];
coeffs[219] = coeffs[0]*coeffs[2]*coeffs[82] + coeffs[0]*coeffs[78];
coeffs[220] = coeffs[0]*coeffs[3]*coeffs[82] + coeffs[0]*coeffs[79];
coeffs[221] = coeffs[0]*coeffs[2]*coeffs[2]*coeffs[82] + coeffs[0]*coeffs[3]*coeffs[3]*coeffs[82] + coeffs[0]*coeffs[80];
coeffs[222] = coeffs[0]*coeffs[81];
coeffs[223] = coeffs[0]*coeffs[82];
coeffs[224] = coeffs[16];
coeffs[225] = coeffs[17];
coeffs[226] = coeffs[0]*coeffs[2]*coeffs[83];
coeffs[227] = coeffs[0]*coeffs[3]*coeffs[83] + coeffs[18];
coeffs[228] = coeffs[0]*coeffs[2]*coeffs[2]*coeffs[83] + coeffs[0]*coeffs[3]*coeffs[3]*coeffs[83];
coeffs[229] = coeffs[0]*coeffs[2]*coeffs[84];
coeffs[230] = coeffs[0]*coeffs[3]*coeffs[84] + coeffs[19];
coeffs[231] = coeffs[0]*coeffs[2]*coeffs[2]*coeffs[84] + coeffs[0]*coeffs[3]*coeffs[3]*coeffs[84] + coeffs[0]*coeffs[83];
coeffs[232] = coeffs[0]*coeffs[84];
coeffs[233] = -coeffs[8]*coeffs[10]*coeffs[24];
coeffs[234] = -coeffs[8]*coeffs[11]*coeffs[24];
coeffs[235] = -coeffs[8]*coeffs[10]*coeffs[10]*coeffs[24] - coeffs[8]*coeffs[11]*coeffs[11]*coeffs[24];
coeffs[236] = coeffs[0]*coeffs[2]*coeffs[85];
coeffs[237] = coeffs[0]*coeffs[3]*coeffs[85];
coeffs[238] = coeffs[0]*coeffs[2]*coeffs[2]*coeffs[85] + coeffs[0]*coeffs[3]*coeffs[3]*coeffs[85];
coeffs[239] = -coeffs[8]*coeffs[24];
coeffs[240] = coeffs[0]*coeffs[85];
coeffs[241] = coeffs[20];
coeffs[242] = coeffs[21];
coeffs[243] = coeffs[22];
coeffs[244] = coeffs[0]*coeffs[2]*coeffs[86];
coeffs[245] = coeffs[0]*coeffs[3]*coeffs[86];
coeffs[246] = coeffs[0]*coeffs[2]*coeffs[2]*coeffs[86] + coeffs[0]*coeffs[3]*coeffs[3]*coeffs[86];
coeffs[247] = coeffs[23];
coeffs[248] = coeffs[0]*coeffs[2]*coeffs[87];
coeffs[249] = coeffs[0]*coeffs[3]*coeffs[87];
coeffs[250] = coeffs[0]*coeffs[2]*coeffs[2]*coeffs[87] + coeffs[0]*coeffs[3]*coeffs[3]*coeffs[87] + coeffs[0]*coeffs[86];
coeffs[251] = coeffs[0]*coeffs[87];
coeffs[252] = coeffs[4]*coeffs[6]*coeffs[6]*coeffs[38] + coeffs[4]*coeffs[7]*coeffs[7]*coeffs[38] + coeffs[4]*coeffs[6]*coeffs[40];
coeffs[253] = coeffs[4]*coeffs[6]*coeffs[6]*coeffs[39] + coeffs[4]*coeffs[7]*coeffs[7]*coeffs[39] + coeffs[4]*coeffs[7]*coeffs[40];
coeffs[254] = coeffs[4]*coeffs[6]*coeffs[6]*coeffs[40] + coeffs[4]*coeffs[7]*coeffs[7]*coeffs[40];
coeffs[255] = coeffs[4]*coeffs[7]*coeffs[41] + coeffs[4]*coeffs[6]*coeffs[42];
coeffs[256] = coeffs[4]*coeffs[7]*coeffs[42];
coeffs[257] = coeffs[4]*coeffs[6]*coeffs[6]*coeffs[41] + coeffs[4]*coeffs[7]*coeffs[7]*coeffs[41] + coeffs[4]*coeffs[6]*coeffs[43] + coeffs[4]*coeffs[38];
coeffs[258] = coeffs[4]*coeffs[6]*coeffs[6]*coeffs[42] + coeffs[4]*coeffs[7]*coeffs[7]*coeffs[42] + coeffs[4]*coeffs[7]*coeffs[43] + coeffs[4]*coeffs[39];
coeffs[259] = coeffs[4]*coeffs[6]*coeffs[6]*coeffs[43] + coeffs[4]*coeffs[7]*coeffs[7]*coeffs[43] + coeffs[4]*coeffs[40];
coeffs[260] = coeffs[4]*coeffs[6]*coeffs[44] + coeffs[4]*coeffs[41];
coeffs[261] = coeffs[4]*coeffs[7]*coeffs[44] + coeffs[4]*coeffs[42];
coeffs[262] = coeffs[4]*coeffs[6]*coeffs[6]*coeffs[44] + coeffs[4]*coeffs[7]*coeffs[7]*coeffs[44] + coeffs[4]*coeffs[43];
coeffs[263] = coeffs[4]*coeffs[44];
coeffs[264] = coeffs[8]*coeffs[11]*coeffs[25] + coeffs[8]*coeffs[10]*coeffs[26];
coeffs[265] = coeffs[8]*coeffs[11]*coeffs[26];
coeffs[266] = coeffs[8]*coeffs[10]*coeffs[10]*coeffs[25] + coeffs[8]*coeffs[11]*coeffs[11]*coeffs[25] + coeffs[8]*coeffs[10]*coeffs[27];
coeffs[267] = coeffs[8]*coeffs[10]*coeffs[10]*coeffs[26] + coeffs[8]*coeffs[11]*coeffs[11]*coeffs[26] + coeffs[8]*coeffs[11]*coeffs[27];
coeffs[268] = coeffs[8]*coeffs[10]*coeffs[10]*coeffs[27] + coeffs[8]*coeffs[11]*coeffs[11]*coeffs[27];
coeffs[269] = coeffs[4]*coeffs[7]*coeffs[46];
coeffs[270] = coeffs[4]*coeffs[6]*coeffs[6]*coeffs[45] + coeffs[4]*coeffs[7]*coeffs[7]*coeffs[45] + coeffs[4]*coeffs[6]*coeffs[47];
coeffs[271] = coeffs[4]*coeffs[6]*coeffs[6]*coeffs[46] + coeffs[4]*coeffs[7]*coeffs[7]*coeffs[46] + coeffs[4]*coeffs[7]*coeffs[47];
coeffs[272] = coeffs[4]*coeffs[6]*coeffs[6]*coeffs[47] + coeffs[4]*coeffs[7]*coeffs[7]*coeffs[47];
coeffs[273] = coeffs[8]*coeffs[10]*coeffs[28] + coeffs[8]*coeffs[25];
coeffs[274] = coeffs[8]*coeffs[11]*coeffs[28] + coeffs[8]*coeffs[26];
coeffs[275] = coeffs[8]*coeffs[10]*coeffs[10]*coeffs[28] + coeffs[8]*coeffs[11]*coeffs[11]*coeffs[28] + coeffs[8]*coeffs[27];
coeffs[276] = coeffs[4]*coeffs[6]*coeffs[48] + coeffs[4]*coeffs[45];
coeffs[277] = coeffs[4]*coeffs[7]*coeffs[48] + coeffs[4]*coeffs[46];
coeffs[278] = coeffs[4]*coeffs[6]*coeffs[6]*coeffs[48] + coeffs[4]*coeffs[7]*coeffs[7]*coeffs[48] + coeffs[4]*coeffs[47];
coeffs[279] = coeffs[8]*coeffs[28];
coeffs[280] = coeffs[4]*coeffs[48];
coeffs[281] = coeffs[4]*coeffs[6]*coeffs[6]*coeffs[49] + coeffs[4]*coeffs[7]*coeffs[7]*coeffs[49] + coeffs[4]*coeffs[6]*coeffs[51];
coeffs[282] = coeffs[4]*coeffs[6]*coeffs[6]*coeffs[50] + coeffs[4]*coeffs[7]*coeffs[7]*coeffs[50] + coeffs[4]*coeffs[7]*coeffs[51];
coeffs[283] = coeffs[4]*coeffs[6]*coeffs[6]*coeffs[51] + coeffs[4]*coeffs[7]*coeffs[7]*coeffs[51];
coeffs[284] = coeffs[4]*coeffs[6]*coeffs[6]*coeffs[54] + coeffs[4]*coeffs[7]*coeffs[7]*coeffs[54];
coeffs[285] = coeffs[4]*coeffs[7]*coeffs[55] + coeffs[4]*coeffs[6]*coeffs[56];
coeffs[286] = coeffs[4]*coeffs[7]*coeffs[56];
coeffs[287] = coeffs[4]*coeffs[6]*coeffs[6]*coeffs[55] + coeffs[4]*coeffs[7]*coeffs[7]*coeffs[55] + coeffs[4]*coeffs[6]*coeffs[57] + coeffs[4]*coeffs[49];
coeffs[288] = coeffs[4]*coeffs[6]*coeffs[6]*coeffs[56] + coeffs[4]*coeffs[7]*coeffs[7]*coeffs[56] + coeffs[4]*coeffs[7]*coeffs[57] + coeffs[4]*coeffs[50];
coeffs[289] = coeffs[4]*coeffs[6]*coeffs[6]*coeffs[57] + coeffs[4]*coeffs[7]*coeffs[7]*coeffs[57] + coeffs[4]*coeffs[51];
coeffs[290] = coeffs[4]*coeffs[7]*coeffs[59];
coeffs[291] = coeffs[4]*coeffs[6]*coeffs[6]*coeffs[58] + coeffs[4]*coeffs[7]*coeffs[7]*coeffs[58] + coeffs[4]*coeffs[6]*coeffs[60] + coeffs[4]*coeffs[52];
coeffs[292] = coeffs[4]*coeffs[6]*coeffs[6]*coeffs[59] + coeffs[4]*coeffs[7]*coeffs[7]*coeffs[59] + coeffs[4]*coeffs[7]*coeffs[60] + coeffs[4]*coeffs[53];
coeffs[293] = coeffs[4]*coeffs[6]*coeffs[6]*coeffs[60] + coeffs[4]*coeffs[7]*coeffs[7]*coeffs[60] + coeffs[4]*coeffs[54];
coeffs[294] = coeffs[4]*coeffs[6]*coeffs[61] + coeffs[4]*coeffs[55];
coeffs[295] = coeffs[4]*coeffs[7]*coeffs[61] + coeffs[4]*coeffs[56];
coeffs[296] = coeffs[4]*coeffs[6]*coeffs[6]*coeffs[61] + coeffs[4]*coeffs[7]*coeffs[7]*coeffs[61] + coeffs[4]*coeffs[57];
coeffs[297] = coeffs[4]*coeffs[6]*coeffs[62] + coeffs[4]*coeffs[58];
coeffs[298] = coeffs[4]*coeffs[7]*coeffs[62] + coeffs[4]*coeffs[59];
coeffs[299] = coeffs[4]*coeffs[6]*coeffs[6]*coeffs[62] + coeffs[4]*coeffs[7]*coeffs[7]*coeffs[62] + coeffs[4]*coeffs[60];
coeffs[300] = coeffs[4]*coeffs[61];
coeffs[301] = coeffs[4]*coeffs[62];
coeffs[302] = coeffs[25];
coeffs[303] = coeffs[26];
coeffs[304] = coeffs[4]*coeffs[6]*coeffs[63];
coeffs[305] = coeffs[4]*coeffs[7]*coeffs[63] + coeffs[27];
coeffs[306] = coeffs[4]*coeffs[6]*coeffs[6]*coeffs[63] + coeffs[4]*coeffs[7]*coeffs[7]*coeffs[63];
coeffs[307] = coeffs[4]*coeffs[6]*coeffs[64];
coeffs[308] = coeffs[4]*coeffs[7]*coeffs[64] + coeffs[28];
coeffs[309] = coeffs[4]*coeffs[6]*coeffs[6]*coeffs[64] + coeffs[4]*coeffs[7]*coeffs[7]*coeffs[64] + coeffs[4]*coeffs[63];
coeffs[310] = coeffs[4]*coeffs[64];
coeffs[311] = coeffs[8]*coeffs[11]*coeffs[29] + coeffs[8]*coeffs[10]*coeffs[30];
coeffs[312] = coeffs[8]*coeffs[11]*coeffs[30];
coeffs[313] = coeffs[8]*coeffs[10]*coeffs[10]*coeffs[29] + coeffs[8]*coeffs[11]*coeffs[11]*coeffs[29] + coeffs[8]*coeffs[10]*coeffs[31];
coeffs[314] = coeffs[8]*coeffs[10]*coeffs[10]*coeffs[30] + coeffs[8]*coeffs[11]*coeffs[11]*coeffs[30] + coeffs[8]*coeffs[11]*coeffs[31];
coeffs[315] = coeffs[8]*coeffs[10]*coeffs[10]*coeffs[31] + coeffs[8]*coeffs[11]*coeffs[11]*coeffs[31];
coeffs[316] = coeffs[4]*coeffs[7]*coeffs[66];
coeffs[317] = coeffs[4]*coeffs[6]*coeffs[6]*coeffs[65] + coeffs[4]*coeffs[7]*coeffs[7]*coeffs[65] + coeffs[4]*coeffs[6]*coeffs[67];
coeffs[318] = coeffs[4]*coeffs[6]*coeffs[6]*coeffs[66] + coeffs[4]*coeffs[7]*coeffs[7]*coeffs[66] + coeffs[4]*coeffs[7]*coeffs[67];
coeffs[319] = coeffs[4]*coeffs[6]*coeffs[6]*coeffs[67] + coeffs[4]*coeffs[7]*coeffs[7]*coeffs[67];
coeffs[320] = coeffs[8]*coeffs[10]*coeffs[32] + coeffs[8]*coeffs[29];
coeffs[321] = coeffs[8]*coeffs[11]*coeffs[32] + coeffs[8]*coeffs[30];
coeffs[322] = coeffs[8]*coeffs[10]*coeffs[10]*coeffs[32] + coeffs[8]*coeffs[11]*coeffs[11]*coeffs[32] + coeffs[8]*coeffs[31];
coeffs[323] = coeffs[4]*coeffs[6]*coeffs[68] + coeffs[4]*coeffs[65];
coeffs[324] = coeffs[4]*coeffs[7]*coeffs[68] + coeffs[4]*coeffs[66];
coeffs[325] = coeffs[4]*coeffs[6]*coeffs[6]*coeffs[68] + coeffs[4]*coeffs[7]*coeffs[7]*coeffs[68] + coeffs[4]*coeffs[67];
coeffs[326] = coeffs[8]*coeffs[32];
coeffs[327] = coeffs[4]*coeffs[68];
coeffs[328] = coeffs[4]*coeffs[6]*coeffs[6]*coeffs[69] + coeffs[4]*coeffs[7]*coeffs[7]*coeffs[69] + coeffs[4]*coeffs[6]*coeffs[71];
coeffs[329] = coeffs[4]*coeffs[6]*coeffs[6]*coeffs[70] + coeffs[4]*coeffs[7]*coeffs[7]*coeffs[70] + coeffs[4]*coeffs[7]*coeffs[71];
coeffs[330] = coeffs[4]*coeffs[6]*coeffs[6]*coeffs[71] + coeffs[4]*coeffs[7]*coeffs[7]*coeffs[71];
coeffs[331] = coeffs[4]*coeffs[6]*coeffs[6]*coeffs[74] + coeffs[4]*coeffs[7]*coeffs[7]*coeffs[74];
coeffs[332] = coeffs[4]*coeffs[7]*coeffs[75] + coeffs[4]*coeffs[6]*coeffs[76];
coeffs[333] = coeffs[4]*coeffs[7]*coeffs[76];
coeffs[334] = coeffs[4]*coeffs[6]*coeffs[6]*coeffs[75] + coeffs[4]*coeffs[7]*coeffs[7]*coeffs[75] + coeffs[4]*coeffs[6]*coeffs[77] + coeffs[4]*coeffs[69];
coeffs[335] = coeffs[4]*coeffs[6]*coeffs[6]*coeffs[76] + coeffs[4]*coeffs[7]*coeffs[7]*coeffs[76] + coeffs[4]*coeffs[7]*coeffs[77] + coeffs[4]*coeffs[70];
coeffs[336] = coeffs[4]*coeffs[6]*coeffs[6]*coeffs[77] + coeffs[4]*coeffs[7]*coeffs[7]*coeffs[77] + coeffs[4]*coeffs[71];
coeffs[337] = coeffs[4]*coeffs[7]*coeffs[79];
coeffs[338] = coeffs[4]*coeffs[6]*coeffs[6]*coeffs[78] + coeffs[4]*coeffs[7]*coeffs[7]*coeffs[78] + coeffs[4]*coeffs[6]*coeffs[80] + coeffs[4]*coeffs[72];
coeffs[339] = coeffs[4]*coeffs[6]*coeffs[6]*coeffs[79] + coeffs[4]*coeffs[7]*coeffs[7]*coeffs[79] + coeffs[4]*coeffs[7]*coeffs[80] + coeffs[4]*coeffs[73];
coeffs[340] = coeffs[4]*coeffs[6]*coeffs[6]*coeffs[80] + coeffs[4]*coeffs[7]*coeffs[7]*coeffs[80] + coeffs[4]*coeffs[74];
coeffs[341] = coeffs[4]*coeffs[6]*coeffs[81] + coeffs[4]*coeffs[75];
coeffs[342] = coeffs[4]*coeffs[7]*coeffs[81] + coeffs[4]*coeffs[76];
coeffs[343] = coeffs[4]*coeffs[6]*coeffs[6]*coeffs[81] + coeffs[4]*coeffs[7]*coeffs[7]*coeffs[81] + coeffs[4]*coeffs[77];
coeffs[344] = coeffs[4]*coeffs[6]*coeffs[82] + coeffs[4]*coeffs[78];
coeffs[345] = coeffs[4]*coeffs[7]*coeffs[82] + coeffs[4]*coeffs[79];
coeffs[346] = coeffs[4]*coeffs[6]*coeffs[6]*coeffs[82] + coeffs[4]*coeffs[7]*coeffs[7]*coeffs[82] + coeffs[4]*coeffs[80];
coeffs[347] = coeffs[4]*coeffs[81];
coeffs[348] = coeffs[4]*coeffs[82];
coeffs[349] = -coeffs[8]*coeffs[10]*coeffs[37];
coeffs[350] = -coeffs[8]*coeffs[11]*coeffs[37];
coeffs[351] = -coeffs[8]*coeffs[10]*coeffs[10]*coeffs[37] - coeffs[8]*coeffs[11]*coeffs[11]*coeffs[37];
coeffs[352] = coeffs[4]*coeffs[6]*coeffs[85];
coeffs[353] = coeffs[4]*coeffs[7]*coeffs[85];
coeffs[354] = coeffs[4]*coeffs[6]*coeffs[6]*coeffs[85] + coeffs[4]*coeffs[7]*coeffs[7]*coeffs[85];
coeffs[355] = -coeffs[8]*coeffs[37];
coeffs[356] = coeffs[4]*coeffs[85];
coeffs[357] = coeffs[33];
coeffs[358] = coeffs[34];
coeffs[359] = coeffs[35];
coeffs[360] = coeffs[4]*coeffs[6]*coeffs[86];
coeffs[361] = coeffs[4]*coeffs[7]*coeffs[86];
coeffs[362] = coeffs[4]*coeffs[6]*coeffs[6]*coeffs[86] + coeffs[4]*coeffs[7]*coeffs[7]*coeffs[86];
coeffs[363] = coeffs[36];
coeffs[364] = coeffs[4]*coeffs[6]*coeffs[87];
coeffs[365] = coeffs[4]*coeffs[7]*coeffs[87];
coeffs[366] = coeffs[4]*coeffs[6]*coeffs[6]*coeffs[87] + coeffs[4]*coeffs[7]*coeffs[7]*coeffs[87] + coeffs[4]*coeffs[86];
coeffs[367] = coeffs[4]*coeffs[87];
coeffs[368] = coeffs[8]*coeffs[10]*coeffs[10]*coeffs[38] + coeffs[8]*coeffs[11]*coeffs[11]*coeffs[38] + coeffs[8]*coeffs[10]*coeffs[40];
coeffs[369] = coeffs[8]*coeffs[10]*coeffs[10]*coeffs[39] + coeffs[8]*coeffs[11]*coeffs[11]*coeffs[39] + coeffs[8]*coeffs[11]*coeffs[40];
coeffs[370] = coeffs[8]*coeffs[10]*coeffs[10]*coeffs[40] + coeffs[8]*coeffs[11]*coeffs[11]*coeffs[40];
coeffs[371] = coeffs[8]*coeffs[11]*coeffs[41] + coeffs[8]*coeffs[10]*coeffs[42];
coeffs[372] = coeffs[8]*coeffs[11]*coeffs[42];
coeffs[373] = coeffs[8]*coeffs[10]*coeffs[10]*coeffs[41] + coeffs[8]*coeffs[11]*coeffs[11]*coeffs[41] + coeffs[8]*coeffs[10]*coeffs[43] + coeffs[8]*coeffs[38];
coeffs[374] = coeffs[8]*coeffs[10]*coeffs[10]*coeffs[42] + coeffs[8]*coeffs[11]*coeffs[11]*coeffs[42] + coeffs[8]*coeffs[11]*coeffs[43] + coeffs[8]*coeffs[39];
coeffs[375] = coeffs[8]*coeffs[10]*coeffs[10]*coeffs[43] + coeffs[8]*coeffs[11]*coeffs[11]*coeffs[43] + coeffs[8]*coeffs[40];
coeffs[376] = coeffs[8]*coeffs[10]*coeffs[44] + coeffs[8]*coeffs[41];
coeffs[377] = coeffs[8]*coeffs[11]*coeffs[44] + coeffs[8]*coeffs[42];
coeffs[378] = coeffs[8]*coeffs[10]*coeffs[10]*coeffs[44] + coeffs[8]*coeffs[11]*coeffs[11]*coeffs[44] + coeffs[8]*coeffs[43];
coeffs[379] = coeffs[8]*coeffs[44];
coeffs[380] = coeffs[40];
coeffs[381] = coeffs[41];
coeffs[382] = coeffs[42];
coeffs[383] = coeffs[43];
coeffs[384] = coeffs[44];
coeffs[385] = -coeffs[8]*coeffs[10]*coeffs[63];
coeffs[386] = -coeffs[8]*coeffs[11]*coeffs[63];
coeffs[387] = -coeffs[8]*coeffs[10]*coeffs[10]*coeffs[63] - coeffs[8]*coeffs[11]*coeffs[11]*coeffs[63];
coeffs[388] = coeffs[46];
coeffs[389] = coeffs[47];
coeffs[390] = -coeffs[8]*coeffs[10]*coeffs[64];
coeffs[391] = -coeffs[8]*coeffs[11]*coeffs[64];
coeffs[392] = -coeffs[8]*coeffs[10]*coeffs[10]*coeffs[64] - coeffs[8]*coeffs[11]*coeffs[11]*coeffs[64] - coeffs[8]*coeffs[63];
coeffs[393] = coeffs[48];
coeffs[394] = -coeffs[8]*coeffs[64];
coeffs[395] = coeffs[51];
coeffs[396] = coeffs[55];
coeffs[397] = coeffs[56];
coeffs[398] = coeffs[57];
coeffs[399] = coeffs[59];
coeffs[400] = coeffs[60];
coeffs[401] = coeffs[61];
coeffs[402] = coeffs[62];
coeffs[403] = -coeffs[8]*coeffs[10]*coeffs[83];
coeffs[404] = -coeffs[8]*coeffs[11]*coeffs[83];
coeffs[405] = -coeffs[8]*coeffs[10]*coeffs[10]*coeffs[83] - coeffs[8]*coeffs[11]*coeffs[11]*coeffs[83];
coeffs[406] = coeffs[66];
coeffs[407] = coeffs[67];
coeffs[408] = -coeffs[8]*coeffs[10]*coeffs[84];
coeffs[409] = -coeffs[8]*coeffs[11]*coeffs[84];
coeffs[410] = -coeffs[8]*coeffs[10]*coeffs[10]*coeffs[84] - coeffs[8]*coeffs[11]*coeffs[11]*coeffs[84] - coeffs[8]*coeffs[83];
coeffs[411] = coeffs[68];
coeffs[412] = -coeffs[8]*coeffs[84];
coeffs[413] = coeffs[71];
coeffs[414] = coeffs[75];
coeffs[415] = coeffs[76];
coeffs[416] = coeffs[77];
coeffs[417] = coeffs[79];
coeffs[418] = coeffs[80];
coeffs[419] = coeffs[81];
coeffs[420] = coeffs[82];
coeffs[421] = -coeffs[4]*coeffs[4]*coeffs[6]*coeffs[6]*coeffs[103] - coeffs[5]*coeffs[5]*coeffs[6]*coeffs[6]*coeffs[103] - coeffs[4]*coeffs[4]*coeffs[7]*coeffs[7]*coeffs[103] - coeffs[5]*coeffs[5]*coeffs[7]*coeffs[7]*coeffs[103] + coeffs[0]*coeffs[0]*coeffs[2]*coeffs[2]*coeffs[112] + coeffs[1]*coeffs[1]*coeffs[2]*coeffs[2]*coeffs[112] + coeffs[0]*coeffs[0]*coeffs[3]*coeffs[3]*coeffs[112] + coeffs[1]*coeffs[1]*coeffs[3]*coeffs[3]*coeffs[112] + coeffs[5]*coeffs[6]*coeffs[6]*coeffs[134] + coeffs[5]*coeffs[7]*coeffs[7]*coeffs[134] - coeffs[1]*coeffs[2]*coeffs[2]*coeffs[259] - coeffs[1]*coeffs[3]*coeffs[3]*coeffs[259] - coeffs[4]*coeffs[4]*coeffs[100] - coeffs[5]*coeffs[5]*coeffs[100] - coeffs[6]*coeffs[6]*coeffs[100] - coeffs[7]*coeffs[7]*coeffs[100] + coeffs[0]*coeffs[0]*coeffs[109] + coeffs[1]*coeffs[1]*coeffs[109] + coeffs[2]*coeffs[2]*coeffs[109] + coeffs[3]*coeffs[3]*coeffs[109] + coeffs[5]*coeffs[129] - coeffs[1]*coeffs[254];
coeffs[422] = coeffs[5]*coeffs[7]*coeffs[136] - coeffs[1]*coeffs[3]*coeffs[261] - coeffs[7]*coeffs[102] + coeffs[3]*coeffs[111] + coeffs[5]*coeffs[131] - coeffs[1]*coeffs[256] - coeffs[97] + coeffs[106];
coeffs[423] = -coeffs[4]*coeffs[4]*coeffs[6]*coeffs[104] - coeffs[5]*coeffs[5]*coeffs[6]*coeffs[104] + coeffs[0]*coeffs[0]*coeffs[2]*coeffs[113] + coeffs[1]*coeffs[1]*coeffs[2]*coeffs[113] + coeffs[5]*coeffs[6]*coeffs[6]*coeffs[135] + coeffs[5]*coeffs[7]*coeffs[7]*coeffs[135] - coeffs[1]*coeffs[2]*coeffs[2]*coeffs[260] - coeffs[1]*coeffs[3]*coeffs[3]*coeffs[260] - coeffs[4]*coeffs[4]*coeffs[101] - coeffs[5]*coeffs[5]*coeffs[101] - coeffs[6]*coeffs[6]*coeffs[101] - coeffs[7]*coeffs[7]*coeffs[101] + coeffs[0]*coeffs[0]*coeffs[110] + coeffs[1]*coeffs[1]*coeffs[110] + coeffs[2]*coeffs[2]*coeffs[110] + coeffs[3]*coeffs[3]*coeffs[110] + coeffs[5]*coeffs[6]*coeffs[137] - coeffs[1]*coeffs[2]*coeffs[262] - coeffs[6]*coeffs[103] + coeffs[2]*coeffs[112] + coeffs[5]*coeffs[132] - coeffs[1]*coeffs[257] - coeffs[98] + coeffs[107];
coeffs[424] = -coeffs[4]*coeffs[4]*coeffs[7]*coeffs[104] - coeffs[5]*coeffs[5]*coeffs[7]*coeffs[104] + coeffs[0]*coeffs[0]*coeffs[3]*coeffs[113] + coeffs[1]*coeffs[1]*coeffs[3]*coeffs[113] + coeffs[5]*coeffs[6]*coeffs[6]*coeffs[136] + coeffs[5]*coeffs[7]*coeffs[7]*coeffs[136] - coeffs[1]*coeffs[2]*coeffs[2]*coeffs[261] - coeffs[1]*coeffs[3]*coeffs[3]*coeffs[261] - coeffs[4]*coeffs[4]*coeffs[102] - coeffs[5]*coeffs[5]*coeffs[102] - coeffs[6]*coeffs[6]*coeffs[102] - coeffs[7]*coeffs[7]*coeffs[102] + coeffs[0]*coeffs[0]*coeffs[111] + coeffs[1]*coeffs[1]*coeffs[111] + coeffs[2]*coeffs[2]*coeffs[111] + coeffs[3]*coeffs[3]*coeffs[111] + coeffs[5]*coeffs[7]*coeffs[137] - coeffs[1]*coeffs[3]*coeffs[262] - coeffs[7]*coeffs[103] + coeffs[3]*coeffs[112] + coeffs[5]*coeffs[133] - coeffs[1]*coeffs[258] - coeffs[99] + coeffs[108];
coeffs[425] = -coeffs[4]*coeffs[4]*coeffs[6]*coeffs[6]*coeffs[104] - coeffs[5]*coeffs[5]*coeffs[6]*coeffs[6]*coeffs[104] - coeffs[4]*coeffs[4]*coeffs[7]*coeffs[7]*coeffs[104] - coeffs[5]*coeffs[5]*coeffs[7]*coeffs[7]*coeffs[104] + coeffs[0]*coeffs[0]*coeffs[2]*coeffs[2]*coeffs[113] + coeffs[1]*coeffs[1]*coeffs[2]*coeffs[2]*coeffs[113] + coeffs[0]*coeffs[0]*coeffs[3]*coeffs[3]*coeffs[113] + coeffs[1]*coeffs[1]*coeffs[3]*coeffs[3]*coeffs[113] + coeffs[5]*coeffs[6]*coeffs[6]*coeffs[137] + coeffs[5]*coeffs[7]*coeffs[7]*coeffs[137] - coeffs[1]*coeffs[2]*coeffs[2]*coeffs[262] - coeffs[1]*coeffs[3]*coeffs[3]*coeffs[262] - coeffs[4]*coeffs[4]*coeffs[103] - coeffs[5]*coeffs[5]*coeffs[103] - coeffs[6]*coeffs[6]*coeffs[103] - coeffs[7]*coeffs[7]*coeffs[103] + coeffs[0]*coeffs[0]*coeffs[112] + coeffs[1]*coeffs[1]*coeffs[112] + coeffs[2]*coeffs[2]*coeffs[112] + coeffs[3]*coeffs[3]*coeffs[112] + coeffs[5]*coeffs[134] - coeffs[1]*coeffs[259] - coeffs[100] + coeffs[109];
coeffs[426] = coeffs[5]*coeffs[6]*coeffs[138] - coeffs[1]*coeffs[2]*coeffs[263] - coeffs[6]*coeffs[104] + coeffs[2]*coeffs[113] + coeffs[5]*coeffs[135] - coeffs[1]*coeffs[260] - coeffs[101] + coeffs[110];
coeffs[427] = coeffs[5]*coeffs[7]*coeffs[138] - coeffs[1]*coeffs[3]*coeffs[263] - coeffs[7]*coeffs[104] + coeffs[3]*coeffs[113] + coeffs[5]*coeffs[136] - coeffs[1]*coeffs[261] - coeffs[102] + coeffs[111];
coeffs[428] = coeffs[5]*coeffs[6]*coeffs[6]*coeffs[138] + coeffs[5]*coeffs[7]*coeffs[7]*coeffs[138] - coeffs[1]*coeffs[2]*coeffs[2]*coeffs[263] - coeffs[1]*coeffs[3]*coeffs[3]*coeffs[263] - coeffs[4]*coeffs[4]*coeffs[104] - coeffs[5]*coeffs[5]*coeffs[104] - coeffs[6]*coeffs[6]*coeffs[104] - coeffs[7]*coeffs[7]*coeffs[104] + coeffs[0]*coeffs[0]*coeffs[113] + coeffs[1]*coeffs[1]*coeffs[113] + coeffs[2]*coeffs[2]*coeffs[113] + coeffs[3]*coeffs[3]*coeffs[113] + coeffs[5]*coeffs[137] - coeffs[1]*coeffs[262] - coeffs[103] + coeffs[112];
coeffs[429] = coeffs[5]*coeffs[138] - coeffs[1]*coeffs[263] - coeffs[104] + coeffs[113];
coeffs[430] = coeffs[9]*coeffs[10]*coeffs[10]*coeffs[98] + coeffs[9]*coeffs[11]*coeffs[11]*coeffs[98] + coeffs[5]*coeffs[6]*coeffs[6]*coeffs[141] + coeffs[5]*coeffs[7]*coeffs[7]*coeffs[141] - coeffs[1]*coeffs[2]*coeffs[2]*coeffs[266] - coeffs[1]*coeffs[3]*coeffs[3]*coeffs[266] + coeffs[9]*coeffs[10]*coeffs[100] + coeffs[5]*coeffs[6]*coeffs[143] - coeffs[1]*coeffs[2]*coeffs[268];
coeffs[431] = coeffs[9]*coeffs[10]*coeffs[10]*coeffs[99] + coeffs[9]*coeffs[11]*coeffs[11]*coeffs[99] + coeffs[5]*coeffs[6]*coeffs[6]*coeffs[142] + coeffs[5]*coeffs[7]*coeffs[7]*coeffs[142] - coeffs[1]*coeffs[2]*coeffs[2]*coeffs[267] - coeffs[1]*coeffs[3]*coeffs[3]*coeffs[267] + coeffs[9]*coeffs[11]*coeffs[100] + coeffs[5]*coeffs[7]*coeffs[143] - coeffs[1]*coeffs[3]*coeffs[268];
coeffs[432] = coeffs[9]*coeffs[10]*coeffs[10]*coeffs[100] + coeffs[9]*coeffs[11]*coeffs[11]*coeffs[100] + coeffs[5]*coeffs[6]*coeffs[6]*coeffs[143] + coeffs[5]*coeffs[7]*coeffs[7]*coeffs[143] - coeffs[1]*coeffs[2]*coeffs[2]*coeffs[268] - coeffs[1]*coeffs[3]*coeffs[3]*coeffs[268];
coeffs[433] = coeffs[5]*coeffs[6]*coeffs[6]*coeffs[147] + coeffs[5]*coeffs[7]*coeffs[7]*coeffs[147] - coeffs[1]*coeffs[2]*coeffs[2]*coeffs[272] - coeffs[1]*coeffs[3]*coeffs[3]*coeffs[272];
coeffs[434] = coeffs[9]*coeffs[11]*coeffs[101] + coeffs[9]*coeffs[10]*coeffs[102] + coeffs[5]*coeffs[7]*coeffs[148] + coeffs[5]*coeffs[6]*coeffs[149] - coeffs[1]*coeffs[3]*coeffs[273] - coeffs[1]*coeffs[2]*coeffs[274] + coeffs[9]*coeffs[96] + coeffs[5]*coeffs[139] - coeffs[1]*coeffs[264];
coeffs[435] = coeffs[9]*coeffs[11]*coeffs[102] + coeffs[5]*coeffs[7]*coeffs[149] - coeffs[1]*coeffs[3]*coeffs[274] + coeffs[9]*coeffs[97] + coeffs[5]*coeffs[140] - coeffs[1]*coeffs[265];
coeffs[436] = coeffs[9]*coeffs[10]*coeffs[10]*coeffs[101] + coeffs[9]*coeffs[11]*coeffs[11]*coeffs[101] + coeffs[5]*coeffs[6]*coeffs[6]*coeffs[148] + coeffs[5]*coeffs[7]*coeffs[7]*coeffs[148] - coeffs[1]*coeffs[2]*coeffs[2]*coeffs[273] - coeffs[1]*coeffs[3]*coeffs[3]*coeffs[273] + coeffs[9]*coeffs[10]*coeffs[103] + coeffs[5]*coeffs[6]*coeffs[150] - coeffs[1]*coeffs[2]*coeffs[275] + coeffs[9]*coeffs[98] + coeffs[5]*coeffs[141] - coeffs[1]*coeffs[266];
coeffs[437] = coeffs[9]*coeffs[10]*coeffs[10]*coeffs[102] + coeffs[9]*coeffs[11]*coeffs[11]*coeffs[102] + coeffs[5]*coeffs[6]*coeffs[6]*coeffs[149] + coeffs[5]*coeffs[7]*coeffs[7]*coeffs[149] - coeffs[1]*coeffs[2]*coeffs[2]*coeffs[274] - coeffs[1]*coeffs[3]*coeffs[3]*coeffs[274] + coeffs[9]*coeffs[11]*coeffs[103] + coeffs[5]*coeffs[7]*coeffs[150] - coeffs[1]*coeffs[3]*coeffs[275] + coeffs[9]*coeffs[99] + coeffs[5]*coeffs[142] - coeffs[1]*coeffs[267];
coeffs[438] = coeffs[9]*coeffs[10]*coeffs[10]*coeffs[103] + coeffs[9]*coeffs[11]*coeffs[11]*coeffs[103] + coeffs[5]*coeffs[6]*coeffs[6]*coeffs[150] + coeffs[5]*coeffs[7]*coeffs[7]*coeffs[150] - coeffs[1]*coeffs[2]*coeffs[2]*coeffs[275] - coeffs[1]*coeffs[3]*coeffs[3]*coeffs[275] + coeffs[9]*coeffs[100] + coeffs[5]*coeffs[143] - coeffs[1]*coeffs[268];
coeffs[439] = coeffs[5]*coeffs[7]*coeffs[152] - coeffs[1]*coeffs[3]*coeffs[277] + coeffs[5]*coeffs[144] - coeffs[1]*coeffs[269];
coeffs[440] = coeffs[5]*coeffs[6]*coeffs[6]*coeffs[151] + coeffs[5]*coeffs[7]*coeffs[7]*coeffs[151] - coeffs[1]*coeffs[2]*coeffs[2]*coeffs[276] - coeffs[1]*coeffs[3]*coeffs[3]*coeffs[276] + coeffs[5]*coeffs[6]*coeffs[153] - coeffs[1]*coeffs[2]*coeffs[278] + coeffs[5]*coeffs[145] - coeffs[1]*coeffs[270];
coeffs[441] = coeffs[5]*coeffs[6]*coeffs[6]*coeffs[152] + coeffs[5]*coeffs[7]*coeffs[7]*coeffs[152] - coeffs[1]*coeffs[2]*coeffs[2]*coeffs[277] - coeffs[1]*coeffs[3]*coeffs[3]*coeffs[277] + coeffs[5]*coeffs[7]*coeffs[153] - coeffs[1]*coeffs[3]*coeffs[278] + coeffs[5]*coeffs[146] - coeffs[1]*coeffs[271];
coeffs[442] = coeffs[5]*coeffs[6]*coeffs[6]*coeffs[153] + coeffs[5]*coeffs[7]*coeffs[7]*coeffs[153] - coeffs[1]*coeffs[2]*coeffs[2]*coeffs[278] - coeffs[1]*coeffs[3]*coeffs[3]*coeffs[278] + coeffs[5]*coeffs[147] - coeffs[1]*coeffs[272];
coeffs[443] = coeffs[9]*coeffs[10]*coeffs[104] + coeffs[5]*coeffs[6]*coeffs[154] - coeffs[1]*coeffs[2]*coeffs[279] + coeffs[9]*coeffs[101] + coeffs[5]*coeffs[148] - coeffs[1]*coeffs[273];
coeffs[444] = coeffs[9]*coeffs[11]*coeffs[104] + coeffs[5]*coeffs[7]*coeffs[154] - coeffs[1]*coeffs[3]*coeffs[279] + coeffs[9]*coeffs[102] + coeffs[5]*coeffs[149] - coeffs[1]*coeffs[274];
coeffs[445] = coeffs[9]*coeffs[10]*coeffs[10]*coeffs[104] + coeffs[9]*coeffs[11]*coeffs[11]*coeffs[104] + coeffs[5]*coeffs[6]*coeffs[6]*coeffs[154] + coeffs[5]*coeffs[7]*coeffs[7]*coeffs[154] - coeffs[1]*coeffs[2]*coeffs[2]*coeffs[279] - coeffs[1]*coeffs[3]*coeffs[3]*coeffs[279] + coeffs[9]*coeffs[103] + coeffs[5]*coeffs[150] - coeffs[1]*coeffs[275];
coeffs[446] = coeffs[5]*coeffs[6]*coeffs[155] - coeffs[1]*coeffs[2]*coeffs[280] + coeffs[5]*coeffs[151] - coeffs[1]*coeffs[276];
coeffs[447] = coeffs[5]*coeffs[7]*coeffs[155] - coeffs[1]*coeffs[3]*coeffs[280] + coeffs[5]*coeffs[152] - coeffs[1]*coeffs[277];
coeffs[448] = coeffs[5]*coeffs[6]*coeffs[6]*coeffs[155] + coeffs[5]*coeffs[7]*coeffs[7]*coeffs[155] - coeffs[1]*coeffs[2]*coeffs[2]*coeffs[280] - coeffs[1]*coeffs[3]*coeffs[3]*coeffs[280] + coeffs[5]*coeffs[153] - coeffs[1]*coeffs[278];
coeffs[449] = coeffs[9]*coeffs[104] + coeffs[5]*coeffs[154] - coeffs[1]*coeffs[279];
coeffs[450] = coeffs[5]*coeffs[155] - coeffs[1]*coeffs[280];
coeffs[451] = -coeffs[8]*coeffs[8]*coeffs[10]*coeffs[10]*coeffs[101] - coeffs[9]*coeffs[9]*coeffs[10]*coeffs[10]*coeffs[101] - coeffs[8]*coeffs[8]*coeffs[11]*coeffs[11]*coeffs[101] - coeffs[9]*coeffs[9]*coeffs[11]*coeffs[11]*coeffs[101] + coeffs[0]*coeffs[0]*coeffs[2]*coeffs[2]*coeffs[119] + coeffs[1]*coeffs[1]*coeffs[2]*coeffs[2]*coeffs[119] + coeffs[0]*coeffs[0]*coeffs[3]*coeffs[3]*coeffs[119] + coeffs[1]*coeffs[1]*coeffs[3]*coeffs[3]*coeffs[119] - coeffs[8]*coeffs[8]*coeffs[10]*coeffs[103] - coeffs[9]*coeffs[9]*coeffs[10]*coeffs[103] + coeffs[0]*coeffs[0]*coeffs[2]*coeffs[121] + coeffs[1]*coeffs[1]*coeffs[2]*coeffs[121] + coeffs[5]*coeffs[6]*coeffs[6]*coeffs[162] + coeffs[5]*coeffs[7]*coeffs[7]*coeffs[162] - coeffs[1]*coeffs[2]*coeffs[2]*coeffs[287] - coeffs[1]*coeffs[3]*coeffs[3]*coeffs[287] - coeffs[8]*coeffs[8]*coeffs[98] - coeffs[9]*coeffs[9]*coeffs[98] - coeffs[10]*coeffs[10]*coeffs[98] - coeffs[11]*coeffs[11]*coeffs[98] + coeffs[0]*coeffs[0]*coeffs[116] + coeffs[1]*coeffs[1]*coeffs[116] + coeffs[2]*coeffs[2]*coeffs[116] + coeffs[3]*coeffs[3]*coeffs[116] + coeffs[5]*coeffs[6]*coeffs[164] - coeffs[1]*coeffs[2]*coeffs[289] - coeffs[10]*coeffs[100] + coeffs[2]*coeffs[118] + coeffs[5]*coeffs[156] - coeffs[1]*coeffs[281];
coeffs[452] = -coeffs[8]*coeffs[8]*coeffs[10]*coeffs[10]*coeffs[102] - coeffs[9]*coeffs[9]*coeffs[10]*coeffs[10]*coeffs[102] - coeffs[8]*coeffs[8]*coeffs[11]*coeffs[11]*coeffs[102] - coeffs[9]*coeffs[9]*coeffs[11]*coeffs[11]*coeffs[102] + coeffs[0]*coeffs[0]*coeffs[2]*coeffs[2]*coeffs[120] + coeffs[1]*coeffs[1]*coeffs[2]*coeffs[2]*coeffs[120] + coeffs[0]*coeffs[0]*coeffs[3]*coeffs[3]*coeffs[120] + coeffs[1]*coeffs[1]*coeffs[3]*coeffs[3]*coeffs[120] - coeffs[8]*coeffs[8]*coeffs[11]*coeffs[103] - coeffs[9]*coeffs[9]*coeffs[11]*coeffs[103] + coeffs[0]*coeffs[0]*coeffs[3]*coeffs[121] + coeffs[1]*coeffs[1]*coeffs[3]*coeffs[121] + coeffs[5]*coeffs[6]*coeffs[6]*coeffs[163] + coeffs[5]*coeffs[7]*coeffs[7]*coeffs[163] - coeffs[1]*coeffs[2]*coeffs[2]*coeffs[288] - coeffs[1]*coeffs[3]*coeffs[3]*coeffs[288] - coeffs[8]*coeffs[8]*coeffs[99] - coeffs[9]*coeffs[9]*coeffs[99] - coeffs[10]*coeffs[10]*coeffs[99] - coeffs[11]*coeffs[11]*coeffs[99] + coeffs[0]*coeffs[0]*coeffs[117] + coeffs[1]*coeffs[1]*coeffs[117] + coeffs[2]*coeffs[2]*coeffs[117] + coeffs[3]*coeffs[3]*coeffs[117] + coeffs[5]*coeffs[7]*coeffs[164] - coeffs[1]*coeffs[3]*coeffs[289] - coeffs[11]*coeffs[100] + coeffs[3]*coeffs[118] + coeffs[5]*coeffs[157] - coeffs[1]*coeffs[282];
coeffs[453] = -coeffs[8]*coeffs[8]*coeffs[10]*coeffs[10]*coeffs[103] - coeffs[9]*coeffs[9]*coeffs[10]*coeffs[10]*coeffs[103] - coeffs[8]*coeffs[8]*coeffs[11]*coeffs[11]*coeffs[103] - coeffs[9]*coeffs[9]*coeffs[11]*coeffs[11]*coeffs[103] + coeffs[0]*coeffs[0]*coeffs[2]*coeffs[2]*coeffs[121] + coeffs[1]*coeffs[1]*coeffs[2]*coeffs[2]*coeffs[121] + coeffs[0]*coeffs[0]*coeffs[3]*coeffs[3]*coeffs[121] + coeffs[1]*coeffs[1]*coeffs[3]*coeffs[3]*coeffs[121] + coeffs[5]*coeffs[6]*coeffs[6]*coeffs[164] + coeffs[5]*coeffs[7]*coeffs[7]*coeffs[164] - coeffs[1]*coeffs[2]*coeffs[2]*coeffs[289] - coeffs[1]*coeffs[3]*coeffs[3]*coeffs[289] - coeffs[8]*coeffs[8]*coeffs[100] - coeffs[9]*coeffs[9]*coeffs[100] - coeffs[10]*coeffs[10]*coeffs[100] - coeffs[11]*coeffs[11]*coeffs[100] + coeffs[0]*coeffs[0]*coeffs[118] + coeffs[1]*coeffs[1]*coeffs[118] + coeffs[2]*coeffs[2]*coeffs[118] + coeffs[3]*coeffs[3]*coeffs[118] + coeffs[5]*coeffs[158] - coeffs[1]*coeffs[283];
coeffs[454] = coeffs[5]*coeffs[6]*coeffs[6]*coeffs[168] + coeffs[5]*coeffs[7]*coeffs[7]*coeffs[168] - coeffs[1]*coeffs[2]*coeffs[2]*coeffs[293] - coeffs[1]*coeffs[3]*coeffs[3]*coeffs[293] + coeffs[5]*coeffs[159] - coeffs[1]*coeffs[284];
coeffs[455] = coeffs[5]*coeffs[7]*coeffs[169] + coeffs[5]*coeffs[6]*coeffs[170] - coeffs[1]*coeffs[3]*coeffs[294] - coeffs[1]*coeffs[2]*coeffs[295] - coeffs[11]*coeffs[101] - coeffs[10]*coeffs[102] + coeffs[3]*coeffs[119] + coeffs[2]*coeffs[120] + coeffs[5]*coeffs[160] - coeffs[1]*coeffs[285] - coeffs[96] + coeffs[114];
coeffs[456] = coeffs[5]*coeffs[7]*coeffs[170] - coeffs[1]*coeffs[3]*coeffs[295] - coeffs[11]*coeffs[102] + coeffs[3]*coeffs[120] + coeffs[5]*coeffs[161] - coeffs[1]*coeffs[286] - coeffs[97] + coeffs[115];
coeffs[457] = -coeffs[8]*coeffs[8]*coeffs[10]*coeffs[104] - coeffs[9]*coeffs[9]*coeffs[10]*coeffs[104] + coeffs[0]*coeffs[0]*coeffs[2]*coeffs[122] + coeffs[1]*coeffs[1]*coeffs[2]*coeffs[122] + coeffs[5]*coeffs[6]*coeffs[6]*coeffs[169] + coeffs[5]*coeffs[7]*coeffs[7]*coeffs[169] - coeffs[1]*coeffs[2]*coeffs[2]*coeffs[294] - coeffs[1]*coeffs[3]*coeffs[3]*coeffs[294] - coeffs[8]*coeffs[8]*coeffs[101] - coeffs[9]*coeffs[9]*coeffs[101] - coeffs[10]*coeffs[10]*coeffs[101] - coeffs[11]*coeffs[11]*coeffs[101] + coeffs[0]*coeffs[0]*coeffs[119] + coeffs[1]*coeffs[1]*coeffs[119] + coeffs[2]*coeffs[2]*coeffs[119] + coeffs[3]*coeffs[3]*coeffs[119] + coeffs[5]*coeffs[6]*coeffs[171] - coeffs[1]*coeffs[2]*coeffs[296] - coeffs[10]*coeffs[103] + coeffs[2]*coeffs[121] + coeffs[5]*coeffs[162] - coeffs[1]*coeffs[287] - coeffs[98] + coeffs[116];
coeffs[458] = -coeffs[8]*coeffs[8]*coeffs[11]*coeffs[104] - coeffs[9]*coeffs[9]*coeffs[11]*coeffs[104] + coeffs[0]*coeffs[0]*coeffs[3]*coeffs[122] + coeffs[1]*coeffs[1]*coeffs[3]*coeffs[122] + coeffs[5]*coeffs[6]*coeffs[6]*coeffs[170] + coeffs[5]*coeffs[7]*coeffs[7]*coeffs[170] - coeffs[1]*coeffs[2]*coeffs[2]*coeffs[295] - coeffs[1]*coeffs[3]*coeffs[3]*coeffs[295] - coeffs[8]*coeffs[8]*coeffs[102] - coeffs[9]*coeffs[9]*coeffs[102] - coeffs[10]*coeffs[10]*coeffs[102] - coeffs[11]*coeffs[11]*coeffs[102] + coeffs[0]*coeffs[0]*coeffs[120] + coeffs[1]*coeffs[1]*coeffs[120] + coeffs[2]*coeffs[2]*coeffs[120] + coeffs[3]*coeffs[3]*coeffs[120] + coeffs[5]*coeffs[7]*coeffs[171] - coeffs[1]*coeffs[3]*coeffs[296] - coeffs[11]*coeffs[103] + coeffs[3]*coeffs[121] + coeffs[5]*coeffs[163] - coeffs[1]*coeffs[288] - coeffs[99] + coeffs[117];
coeffs[459] = -coeffs[8]*coeffs[8]*coeffs[10]*coeffs[10]*coeffs[104] - coeffs[9]*coeffs[9]*coeffs[10]*coeffs[10]*coeffs[104] - coeffs[8]*coeffs[8]*coeffs[11]*coeffs[11]*coeffs[104] - coeffs[9]*coeffs[9]*coeffs[11]*coeffs[11]*coeffs[104] + coeffs[0]*coeffs[0]*coeffs[2]*coeffs[2]*coeffs[122] + coeffs[1]*coeffs[1]*coeffs[2]*coeffs[2]*coeffs[122] + coeffs[0]*coeffs[0]*coeffs[3]*coeffs[3]*coeffs[122] + coeffs[1]*coeffs[1]*coeffs[3]*coeffs[3]*coeffs[122] + coeffs[5]*coeffs[6]*coeffs[6]*coeffs[171] + coeffs[5]*coeffs[7]*coeffs[7]*coeffs[171] - coeffs[1]*coeffs[2]*coeffs[2]*coeffs[296] - coeffs[1]*coeffs[3]*coeffs[3]*coeffs[296] - coeffs[8]*coeffs[8]*coeffs[103] - coeffs[9]*coeffs[9]*coeffs[103] - coeffs[10]*coeffs[10]*coeffs[103] - coeffs[11]*coeffs[11]*coeffs[103] + coeffs[0]*coeffs[0]*coeffs[121] + coeffs[1]*coeffs[1]*coeffs[121] + coeffs[2]*coeffs[2]*coeffs[121] + coeffs[3]*coeffs[3]*coeffs[121] + coeffs[5]*coeffs[164] - coeffs[1]*coeffs[289] - coeffs[100] + coeffs[118];
coeffs[460] = coeffs[5]*coeffs[7]*coeffs[173] - coeffs[1]*coeffs[3]*coeffs[298] + coeffs[5]*coeffs[165] - coeffs[1]*coeffs[290];
coeffs[461] = coeffs[5]*coeffs[6]*coeffs[6]*coeffs[172] + coeffs[5]*coeffs[7]*coeffs[7]*coeffs[172] - coeffs[1]*coeffs[2]*coeffs[2]*coeffs[297] - coeffs[1]*coeffs[3]*coeffs[3]*coeffs[297] + coeffs[5]*coeffs[6]*coeffs[174] - coeffs[1]*coeffs[2]*coeffs[299] + coeffs[5]*coeffs[166] - coeffs[1]*coeffs[291];
coeffs[462] = coeffs[5]*coeffs[6]*coeffs[6]*coeffs[173] + coeffs[5]*coeffs[7]*coeffs[7]*coeffs[173] - coeffs[1]*coeffs[2]*coeffs[2]*coeffs[298] - coeffs[1]*coeffs[3]*coeffs[3]*coeffs[298] + coeffs[5]*coeffs[7]*coeffs[174] - coeffs[1]*coeffs[3]*coeffs[299] + coeffs[5]*coeffs[167] - coeffs[1]*coeffs[292];
coeffs[463] = coeffs[5]*coeffs[6]*coeffs[6]*coeffs[174] + coeffs[5]*coeffs[7]*coeffs[7]*coeffs[174] - coeffs[1]*coeffs[2]*coeffs[2]*coeffs[299] - coeffs[1]*coeffs[3]*coeffs[3]*coeffs[299] + coeffs[5]*coeffs[168] - coeffs[1]*coeffs[293];
coeffs[464] = coeffs[5]*coeffs[6]*coeffs[175] - coeffs[1]*coeffs[2]*coeffs[300] - coeffs[10]*coeffs[104] + coeffs[2]*coeffs[122] + coeffs[5]*coeffs[169] - coeffs[1]*coeffs[294] - coeffs[101] + coeffs[119];
coeffs[465] = coeffs[5]*coeffs[7]*coeffs[175] - coeffs[1]*coeffs[3]*coeffs[300] - coeffs[11]*coeffs[104] + coeffs[3]*coeffs[122] + coeffs[5]*coeffs[170] - coeffs[1]*coeffs[295] - coeffs[102] + coeffs[120];
coeffs[466] = coeffs[5]*coeffs[6]*coeffs[6]*coeffs[175] + coeffs[5]*coeffs[7]*coeffs[7]*coeffs[175] - coeffs[1]*coeffs[2]*coeffs[2]*coeffs[300] - coeffs[1]*coeffs[3]*coeffs[3]*coeffs[300] - coeffs[8]*coeffs[8]*coeffs[104] - coeffs[9]*coeffs[9]*coeffs[104] - coeffs[10]*coeffs[10]*coeffs[104] - coeffs[11]*coeffs[11]*coeffs[104] + coeffs[0]*coeffs[0]*coeffs[122] + coeffs[1]*coeffs[1]*coeffs[122] + coeffs[2]*coeffs[2]*coeffs[122] + coeffs[3]*coeffs[3]*coeffs[122] + coeffs[5]*coeffs[171] - coeffs[1]*coeffs[296] - coeffs[103] + coeffs[121];
coeffs[467] = coeffs[5]*coeffs[6]*coeffs[176] - coeffs[1]*coeffs[2]*coeffs[301] + coeffs[5]*coeffs[172] - coeffs[1]*coeffs[297];
coeffs[468] = coeffs[5]*coeffs[7]*coeffs[176] - coeffs[1]*coeffs[3]*coeffs[301] + coeffs[5]*coeffs[173] - coeffs[1]*coeffs[298];
coeffs[469] = coeffs[5]*coeffs[6]*coeffs[6]*coeffs[176] + coeffs[5]*coeffs[7]*coeffs[7]*coeffs[176] - coeffs[1]*coeffs[2]*coeffs[2]*coeffs[301] - coeffs[1]*coeffs[3]*coeffs[3]*coeffs[301] + coeffs[5]*coeffs[174] - coeffs[1]*coeffs[299];
coeffs[470] = coeffs[5]*coeffs[175] - coeffs[1]*coeffs[300] - coeffs[104] + coeffs[122];
coeffs[471] = coeffs[5]*coeffs[176] - coeffs[1]*coeffs[301];
coeffs[472] = coeffs[0]*coeffs[0]*coeffs[2]*coeffs[2]*coeffs[125] + coeffs[1]*coeffs[1]*coeffs[2]*coeffs[2]*coeffs[125] + coeffs[0]*coeffs[0]*coeffs[3]*coeffs[3]*coeffs[125] + coeffs[1]*coeffs[1]*coeffs[3]*coeffs[3]*coeffs[125] + coeffs[5]*coeffs[6]*coeffs[6]*coeffs[181] + coeffs[5]*coeffs[7]*coeffs[7]*coeffs[181] - coeffs[1]*coeffs[2]*coeffs[2]*coeffs[306] - coeffs[1]*coeffs[3]*coeffs[3]*coeffs[306];
coeffs[473] = coeffs[5]*coeffs[7]*coeffs[183] - coeffs[1]*coeffs[3]*coeffs[308] + coeffs[3]*coeffs[124] + coeffs[5]*coeffs[178] - coeffs[1]*coeffs[303];
coeffs[474] = coeffs[0]*coeffs[0]*coeffs[2]*coeffs[126] + coeffs[1]*coeffs[1]*coeffs[2]*coeffs[126] + coeffs[5]*coeffs[6]*coeffs[6]*coeffs[182] + coeffs[5]*coeffs[7]*coeffs[7]*coeffs[182] - coeffs[1]*coeffs[2]*coeffs[2]*coeffs[307] - coeffs[1]*coeffs[3]*coeffs[3]*coeffs[307] + coeffs[0]*coeffs[0]*coeffs[123] + coeffs[1]*coeffs[1]*coeffs[123] + coeffs[2]*coeffs[2]*coeffs[123] + coeffs[3]*coeffs[3]*coeffs[123] + coeffs[5]*coeffs[6]*coeffs[184] - coeffs[1]*coeffs[2]*coeffs[309] + coeffs[2]*coeffs[125] + coeffs[5]*coeffs[179] - coeffs[1]*coeffs[304] - coeffs[103];
coeffs[475] = coeffs[0]*coeffs[0]*coeffs[3]*coeffs[126] + coeffs[1]*coeffs[1]*coeffs[3]*coeffs[126] + coeffs[5]*coeffs[6]*coeffs[6]*coeffs[183] + coeffs[5]*coeffs[7]*coeffs[7]*coeffs[183] - coeffs[1]*coeffs[2]*coeffs[2]*coeffs[308] - coeffs[1]*coeffs[3]*coeffs[3]*coeffs[308] + coeffs[0]*coeffs[0]*coeffs[124] + coeffs[1]*coeffs[1]*coeffs[124] + coeffs[2]*coeffs[2]*coeffs[124] + coeffs[3]*coeffs[3]*coeffs[124] + coeffs[5]*coeffs[7]*coeffs[184] - coeffs[1]*coeffs[3]*coeffs[309] + coeffs[3]*coeffs[125] + coeffs[5]*coeffs[180] - coeffs[1]*coeffs[305];
coeffs[476] = coeffs[0]*coeffs[0]*coeffs[2]*coeffs[2]*coeffs[126] + coeffs[1]*coeffs[1]*coeffs[2]*coeffs[2]*coeffs[126] + coeffs[0]*coeffs[0]*coeffs[3]*coeffs[3]*coeffs[126] + coeffs[1]*coeffs[1]*coeffs[3]*coeffs[3]*coeffs[126] + coeffs[5]*coeffs[6]*coeffs[6]*coeffs[184] + coeffs[5]*coeffs[7]*coeffs[7]*coeffs[184] - coeffs[1]*coeffs[2]*coeffs[2]*coeffs[309] - coeffs[1]*coeffs[3]*coeffs[3]*coeffs[309] + coeffs[0]*coeffs[0]*coeffs[125] + coeffs[1]*coeffs[1]*coeffs[125] + coeffs[2]*coeffs[2]*coeffs[125] + coeffs[3]*coeffs[3]*coeffs[125] + coeffs[5]*coeffs[181] - coeffs[1]*coeffs[306];
coeffs[477] = coeffs[5]*coeffs[6]*coeffs[185] - coeffs[1]*coeffs[2]*coeffs[310] + coeffs[2]*coeffs[126] + coeffs[5]*coeffs[182] - coeffs[1]*coeffs[307] - coeffs[104] + coeffs[123];
coeffs[478] = coeffs[5]*coeffs[7]*coeffs[185] - coeffs[1]*coeffs[3]*coeffs[310] + coeffs[3]*coeffs[126] + coeffs[5]*coeffs[183] - coeffs[1]*coeffs[308] + coeffs[124];
coeffs[479] = coeffs[5]*coeffs[6]*coeffs[6]*coeffs[185] + coeffs[5]*coeffs[7]*coeffs[7]*coeffs[185] - coeffs[1]*coeffs[2]*coeffs[2]*coeffs[310] - coeffs[1]*coeffs[3]*coeffs[3]*coeffs[310] + coeffs[0]*coeffs[0]*coeffs[126] + coeffs[1]*coeffs[1]*coeffs[126] + coeffs[2]*coeffs[2]*coeffs[126] + coeffs[3]*coeffs[3]*coeffs[126] + coeffs[5]*coeffs[184] - coeffs[1]*coeffs[309] + coeffs[125];
coeffs[480] = coeffs[5]*coeffs[185] - coeffs[1]*coeffs[310] + coeffs[126];
coeffs[481] = coeffs[9]*coeffs[10]*coeffs[10]*coeffs[107] + coeffs[9]*coeffs[11]*coeffs[11]*coeffs[107] + coeffs[5]*coeffs[6]*coeffs[6]*coeffs[188] + coeffs[5]*coeffs[7]*coeffs[7]*coeffs[188] - coeffs[1]*coeffs[2]*coeffs[2]*coeffs[313] - coeffs[1]*coeffs[3]*coeffs[3]*coeffs[313] + coeffs[9]*coeffs[10]*coeffs[109] + coeffs[5]*coeffs[6]*coeffs[190] - coeffs[1]*coeffs[2]*coeffs[315];
coeffs[482] = coeffs[9]*coeffs[10]*coeffs[10]*coeffs[108] + coeffs[9]*coeffs[11]*coeffs[11]*coeffs[108] + coeffs[5]*coeffs[6]*coeffs[6]*coeffs[189] + coeffs[5]*coeffs[7]*coeffs[7]*coeffs[189] - coeffs[1]*coeffs[2]*coeffs[2]*coeffs[314] - coeffs[1]*coeffs[3]*coeffs[3]*coeffs[314] + coeffs[9]*coeffs[11]*coeffs[109] + coeffs[5]*coeffs[7]*coeffs[190] - coeffs[1]*coeffs[3]*coeffs[315];
coeffs[483] = coeffs[9]*coeffs[10]*coeffs[10]*coeffs[109] + coeffs[9]*coeffs[11]*coeffs[11]*coeffs[109] + coeffs[5]*coeffs[6]*coeffs[6]*coeffs[190] + coeffs[5]*coeffs[7]*coeffs[7]*coeffs[190] - coeffs[1]*coeffs[2]*coeffs[2]*coeffs[315] - coeffs[1]*coeffs[3]*coeffs[3]*coeffs[315];
coeffs[484] = coeffs[5]*coeffs[6]*coeffs[6]*coeffs[194] + coeffs[5]*coeffs[7]*coeffs[7]*coeffs[194] - coeffs[1]*coeffs[2]*coeffs[2]*coeffs[319] - coeffs[1]*coeffs[3]*coeffs[3]*coeffs[319];
coeffs[485] = coeffs[9]*coeffs[11]*coeffs[110] + coeffs[9]*coeffs[10]*coeffs[111] + coeffs[5]*coeffs[7]*coeffs[195] + coeffs[5]*coeffs[6]*coeffs[196] - coeffs[1]*coeffs[3]*coeffs[320] - coeffs[1]*coeffs[2]*coeffs[321] + coeffs[9]*coeffs[105] + coeffs[5]*coeffs[186] - coeffs[1]*coeffs[311];
coeffs[486] = coeffs[9]*coeffs[11]*coeffs[111] + coeffs[5]*coeffs[7]*coeffs[196] - coeffs[1]*coeffs[3]*coeffs[321] + coeffs[9]*coeffs[106] + coeffs[5]*coeffs[187] - coeffs[1]*coeffs[312];
coeffs[487] = coeffs[9]*coeffs[10]*coeffs[10]*coeffs[110] + coeffs[9]*coeffs[11]*coeffs[11]*coeffs[110] + coeffs[5]*coeffs[6]*coeffs[6]*coeffs[195] + coeffs[5]*coeffs[7]*coeffs[7]*coeffs[195] - coeffs[1]*coeffs[2]*coeffs[2]*coeffs[320] - coeffs[1]*coeffs[3]*coeffs[3]*coeffs[320] + coeffs[9]*coeffs[10]*coeffs[112] + coeffs[5]*coeffs[6]*coeffs[197] - coeffs[1]*coeffs[2]*coeffs[322] + coeffs[9]*coeffs[107] + coeffs[5]*coeffs[188] - coeffs[1]*coeffs[313];
coeffs[488] = coeffs[9]*coeffs[10]*coeffs[10]*coeffs[111] + coeffs[9]*coeffs[11]*coeffs[11]*coeffs[111] + coeffs[5]*coeffs[6]*coeffs[6]*coeffs[196] + coeffs[5]*coeffs[7]*coeffs[7]*coeffs[196] - coeffs[1]*coeffs[2]*coeffs[2]*coeffs[321] - coeffs[1]*coeffs[3]*coeffs[3]*coeffs[321] + coeffs[9]*coeffs[11]*coeffs[112] + coeffs[5]*coeffs[7]*coeffs[197] - coeffs[1]*coeffs[3]*coeffs[322] + coeffs[9]*coeffs[108] + coeffs[5]*coeffs[189] - coeffs[1]*coeffs[314];
coeffs[489] = coeffs[9]*coeffs[10]*coeffs[10]*coeffs[112] + coeffs[9]*coeffs[11]*coeffs[11]*coeffs[112] + coeffs[5]*coeffs[6]*coeffs[6]*coeffs[197] + coeffs[5]*coeffs[7]*coeffs[7]*coeffs[197] - coeffs[1]*coeffs[2]*coeffs[2]*coeffs[322] - coeffs[1]*coeffs[3]*coeffs[3]*coeffs[322] + coeffs[9]*coeffs[109] + coeffs[5]*coeffs[190] - coeffs[1]*coeffs[315];
coeffs[490] = coeffs[5]*coeffs[7]*coeffs[199] - coeffs[1]*coeffs[3]*coeffs[324] + coeffs[5]*coeffs[191] - coeffs[1]*coeffs[316];
coeffs[491] = coeffs[5]*coeffs[6]*coeffs[6]*coeffs[198] + coeffs[5]*coeffs[7]*coeffs[7]*coeffs[198] - coeffs[1]*coeffs[2]*coeffs[2]*coeffs[323] - coeffs[1]*coeffs[3]*coeffs[3]*coeffs[323] + coeffs[5]*coeffs[6]*coeffs[200] - coeffs[1]*coeffs[2]*coeffs[325] + coeffs[5]*coeffs[192] - coeffs[1]*coeffs[317];
coeffs[492] = coeffs[5]*coeffs[6]*coeffs[6]*coeffs[199] + coeffs[5]*coeffs[7]*coeffs[7]*coeffs[199] - coeffs[1]*coeffs[2]*coeffs[2]*coeffs[324] - coeffs[1]*coeffs[3]*coeffs[3]*coeffs[324] + coeffs[5]*coeffs[7]*coeffs[200] - coeffs[1]*coeffs[3]*coeffs[325] + coeffs[5]*coeffs[193] - coeffs[1]*coeffs[318];
coeffs[493] = coeffs[5]*coeffs[6]*coeffs[6]*coeffs[200] + coeffs[5]*coeffs[7]*coeffs[7]*coeffs[200] - coeffs[1]*coeffs[2]*coeffs[2]*coeffs[325] - coeffs[1]*coeffs[3]*coeffs[3]*coeffs[325] + coeffs[5]*coeffs[194] - coeffs[1]*coeffs[319];
coeffs[494] = coeffs[9]*coeffs[10]*coeffs[113] + coeffs[5]*coeffs[6]*coeffs[201] - coeffs[1]*coeffs[2]*coeffs[326] + coeffs[9]*coeffs[110] + coeffs[5]*coeffs[195] - coeffs[1]*coeffs[320];
coeffs[495] = coeffs[9]*coeffs[11]*coeffs[113] + coeffs[5]*coeffs[7]*coeffs[201] - coeffs[1]*coeffs[3]*coeffs[326] + coeffs[9]*coeffs[111] + coeffs[5]*coeffs[196] - coeffs[1]*coeffs[321];
coeffs[496] = coeffs[9]*coeffs[10]*coeffs[10]*coeffs[113] + coeffs[9]*coeffs[11]*coeffs[11]*coeffs[113] + coeffs[5]*coeffs[6]*coeffs[6]*coeffs[201] + coeffs[5]*coeffs[7]*coeffs[7]*coeffs[201] - coeffs[1]*coeffs[2]*coeffs[2]*coeffs[326] - coeffs[1]*coeffs[3]*coeffs[3]*coeffs[326] + coeffs[9]*coeffs[112] + coeffs[5]*coeffs[197] - coeffs[1]*coeffs[322];
coeffs[497] = coeffs[5]*coeffs[6]*coeffs[202] - coeffs[1]*coeffs[2]*coeffs[327] + coeffs[5]*coeffs[198] - coeffs[1]*coeffs[323];
coeffs[498] = coeffs[5]*coeffs[7]*coeffs[202] - coeffs[1]*coeffs[3]*coeffs[327] + coeffs[5]*coeffs[199] - coeffs[1]*coeffs[324];
coeffs[499] = coeffs[5]*coeffs[6]*coeffs[6]*coeffs[202] + coeffs[5]*coeffs[7]*coeffs[7]*coeffs[202] - coeffs[1]*coeffs[2]*coeffs[2]*coeffs[327] - coeffs[1]*coeffs[3]*coeffs[3]*coeffs[327] + coeffs[5]*coeffs[200] - coeffs[1]*coeffs[325];
coeffs[500] = coeffs[9]*coeffs[113] + coeffs[5]*coeffs[201] - coeffs[1]*coeffs[326];
coeffs[501] = coeffs[5]*coeffs[202] - coeffs[1]*coeffs[327];
coeffs[502] = -coeffs[8]*coeffs[8]*coeffs[10]*coeffs[10]*coeffs[110] - coeffs[9]*coeffs[9]*coeffs[10]*coeffs[10]*coeffs[110] - coeffs[8]*coeffs[8]*coeffs[11]*coeffs[11]*coeffs[110] - coeffs[9]*coeffs[9]*coeffs[11]*coeffs[11]*coeffs[110] + coeffs[4]*coeffs[4]*coeffs[6]*coeffs[6]*coeffs[119] + coeffs[5]*coeffs[5]*coeffs[6]*coeffs[6]*coeffs[119] + coeffs[4]*coeffs[4]*coeffs[7]*coeffs[7]*coeffs[119] + coeffs[5]*coeffs[5]*coeffs[7]*coeffs[7]*coeffs[119] - coeffs[8]*coeffs[8]*coeffs[10]*coeffs[112] - coeffs[9]*coeffs[9]*coeffs[10]*coeffs[112] + coeffs[4]*coeffs[4]*coeffs[6]*coeffs[121] + coeffs[5]*coeffs[5]*coeffs[6]*coeffs[121] + coeffs[5]*coeffs[6]*coeffs[6]*coeffs[209] + coeffs[5]*coeffs[7]*coeffs[7]*coeffs[209] - coeffs[1]*coeffs[2]*coeffs[2]*coeffs[334] - coeffs[1]*coeffs[3]*coeffs[3]*coeffs[334] - coeffs[8]*coeffs[8]*coeffs[107] - coeffs[9]*coeffs[9]*coeffs[107] - coeffs[10]*coeffs[10]*coeffs[107] - coeffs[11]*coeffs[11]*coeffs[107] + coeffs[4]*coeffs[4]*coeffs[116] + coeffs[5]*coeffs[5]*coeffs[116] + coeffs[6]*coeffs[6]*coeffs[116] + coeffs[7]*coeffs[7]*coeffs[116] + coeffs[5]*coeffs[6]*coeffs[211] - coeffs[1]*coeffs[2]*coeffs[336] - coeffs[10]*coeffs[109] + coeffs[6]*coeffs[118] + coeffs[5]*coeffs[203] - coeffs[1]*coeffs[328];
coeffs[503] = -coeffs[8]*coeffs[8]*coeffs[10]*coeffs[10]*coeffs[111] - coeffs[9]*coeffs[9]*coeffs[10]*coeffs[10]*coeffs[111] - coeffs[8]*coeffs[8]*coeffs[11]*coeffs[11]*coeffs[111] - coeffs[9]*coeffs[9]*coeffs[11]*coeffs[11]*coeffs[111] + coeffs[4]*coeffs[4]*coeffs[6]*coeffs[6]*coeffs[120] + coeffs[5]*coeffs[5]*coeffs[6]*coeffs[6]*coeffs[120] + coeffs[4]*coeffs[4]*coeffs[7]*coeffs[7]*coeffs[120] + coeffs[5]*coeffs[5]*coeffs[7]*coeffs[7]*coeffs[120] - coeffs[8]*coeffs[8]*coeffs[11]*coeffs[112] - coeffs[9]*coeffs[9]*coeffs[11]*coeffs[112] + coeffs[4]*coeffs[4]*coeffs[7]*coeffs[121] + coeffs[5]*coeffs[5]*coeffs[7]*coeffs[121] + coeffs[5]*coeffs[6]*coeffs[6]*coeffs[210] + coeffs[5]*coeffs[7]*coeffs[7]*coeffs[210] - coeffs[1]*coeffs[2]*coeffs[2]*coeffs[335] - coeffs[1]*coeffs[3]*coeffs[3]*coeffs[335] - coeffs[8]*coeffs[8]*coeffs[108] - coeffs[9]*coeffs[9]*coeffs[108] - coeffs[10]*coeffs[10]*coeffs[108] - coeffs[11]*coeffs[11]*coeffs[108] + coeffs[4]*coeffs[4]*coeffs[117] + coeffs[5]*coeffs[5]*coeffs[117] + coeffs[6]*coeffs[6]*coeffs[117] + coeffs[7]*coeffs[7]*coeffs[117] + coeffs[5]*coeffs[7]*coeffs[211] - coeffs[1]*coeffs[3]*coeffs[336] - coeffs[11]*coeffs[109] + coeffs[7]*coeffs[118] + coeffs[5]*coeffs[204] - coeffs[1]*coeffs[329];
coeffs[504] = -coeffs[8]*coeffs[8]*coeffs[10]*coeffs[10]*coeffs[112] - coeffs[9]*coeffs[9]*coeffs[10]*coeffs[10]*coeffs[112] - coeffs[8]*coeffs[8]*coeffs[11]*coeffs[11]*coeffs[112] - coeffs[9]*coeffs[9]*coeffs[11]*coeffs[11]*coeffs[112] + coeffs[4]*coeffs[4]*coeffs[6]*coeffs[6]*coeffs[121] + coeffs[5]*coeffs[5]*coeffs[6]*coeffs[6]*coeffs[121] + coeffs[4]*coeffs[4]*coeffs[7]*coeffs[7]*coeffs[121] + coeffs[5]*coeffs[5]*coeffs[7]*coeffs[7]*coeffs[121] + coeffs[5]*coeffs[6]*coeffs[6]*coeffs[211] + coeffs[5]*coeffs[7]*coeffs[7]*coeffs[211] - coeffs[1]*coeffs[2]*coeffs[2]*coeffs[336] - coeffs[1]*coeffs[3]*coeffs[3]*coeffs[336] - coeffs[8]*coeffs[8]*coeffs[109] - coeffs[9]*coeffs[9]*coeffs[109] - coeffs[10]*coeffs[10]*coeffs[109] - coeffs[11]*coeffs[11]*coeffs[109] + coeffs[4]*coeffs[4]*coeffs[118] + coeffs[5]*coeffs[5]*coeffs[118] + coeffs[6]*coeffs[6]*coeffs[118] + coeffs[7]*coeffs[7]*coeffs[118] + coeffs[5]*coeffs[205] - coeffs[1]*coeffs[330];
coeffs[505] = coeffs[5]*coeffs[6]*coeffs[6]*coeffs[215] + coeffs[5]*coeffs[7]*coeffs[7]*coeffs[215] - coeffs[1]*coeffs[2]*coeffs[2]*coeffs[340] - coeffs[1]*coeffs[3]*coeffs[3]*coeffs[340] + coeffs[5]*coeffs[206] - coeffs[1]*coeffs[331];
coeffs[506] = coeffs[5]*coeffs[7]*coeffs[216] + coeffs[5]*coeffs[6]*coeffs[217] - coeffs[1]*coeffs[3]*coeffs[341] - coeffs[1]*coeffs[2]*coeffs[342] - coeffs[11]*coeffs[110] - coeffs[10]*coeffs[111] + coeffs[7]*coeffs[119] + coeffs[6]*coeffs[120] + coeffs[5]*coeffs[207] - coeffs[1]*coeffs[332] - coeffs[105] + coeffs[114];
coeffs[507] = coeffs[5]*coeffs[7]*coeffs[217] - coeffs[1]*coeffs[3]*coeffs[342] - coeffs[11]*coeffs[111] + coeffs[7]*coeffs[120] + coeffs[5]*coeffs[208] - coeffs[1]*coeffs[333] - coeffs[106] + coeffs[115];
coeffs[508] = -coeffs[8]*coeffs[8]*coeffs[10]*coeffs[113] - coeffs[9]*coeffs[9]*coeffs[10]*coeffs[113] + coeffs[4]*coeffs[4]*coeffs[6]*coeffs[122] + coeffs[5]*coeffs[5]*coeffs[6]*coeffs[122] + coeffs[5]*coeffs[6]*coeffs[6]*coeffs[216] + coeffs[5]*coeffs[7]*coeffs[7]*coeffs[216] - coeffs[1]*coeffs[2]*coeffs[2]*coeffs[341] - coeffs[1]*coeffs[3]*coeffs[3]*coeffs[341] - coeffs[8]*coeffs[8]*coeffs[110] - coeffs[9]*coeffs[9]*coeffs[110] - coeffs[10]*coeffs[10]*coeffs[110] - coeffs[11]*coeffs[11]*coeffs[110] + coeffs[4]*coeffs[4]*coeffs[119] + coeffs[5]*coeffs[5]*coeffs[119] + coeffs[6]*coeffs[6]*coeffs[119] + coeffs[7]*coeffs[7]*coeffs[119] + coeffs[5]*coeffs[6]*coeffs[218] - coeffs[1]*coeffs[2]*coeffs[343] - coeffs[10]*coeffs[112] + coeffs[6]*coeffs[121] + coeffs[5]*coeffs[209] - coeffs[1]*coeffs[334] - coeffs[107] + coeffs[116];
coeffs[509] = -coeffs[8]*coeffs[8]*coeffs[11]*coeffs[113] - coeffs[9]*coeffs[9]*coeffs[11]*coeffs[113] + coeffs[4]*coeffs[4]*coeffs[7]*coeffs[122] + coeffs[5]*coeffs[5]*coeffs[7]*coeffs[122] + coeffs[5]*coeffs[6]*coeffs[6]*coeffs[217] + coeffs[5]*coeffs[7]*coeffs[7]*coeffs[217] - coeffs[1]*coeffs[2]*coeffs[2]*coeffs[342] - coeffs[1]*coeffs[3]*coeffs[3]*coeffs[342] - coeffs[8]*coeffs[8]*coeffs[111] - coeffs[9]*coeffs[9]*coeffs[111] - coeffs[10]*coeffs[10]*coeffs[111] - coeffs[11]*coeffs[11]*coeffs[111] + coeffs[4]*coeffs[4]*coeffs[120] + coeffs[5]*coeffs[5]*coeffs[120] + coeffs[6]*coeffs[6]*coeffs[120] + coeffs[7]*coeffs[7]*coeffs[120] + coeffs[5]*coeffs[7]*coeffs[218] - coeffs[1]*coeffs[3]*coeffs[343] - coeffs[11]*coeffs[112] + coeffs[7]*coeffs[121] + coeffs[5]*coeffs[210] - coeffs[1]*coeffs[335] - coeffs[108] + coeffs[117];
coeffs[510] = -coeffs[8]*coeffs[8]*coeffs[10]*coeffs[10]*coeffs[113] - coeffs[9]*coeffs[9]*coeffs[10]*coeffs[10]*coeffs[113] - coeffs[8]*coeffs[8]*coeffs[11]*coeffs[11]*coeffs[113] - coeffs[9]*coeffs[9]*coeffs[11]*coeffs[11]*coeffs[113] + coeffs[4]*coeffs[4]*coeffs[6]*coeffs[6]*coeffs[122] + coeffs[5]*coeffs[5]*coeffs[6]*coeffs[6]*coeffs[122] + coeffs[4]*coeffs[4]*coeffs[7]*coeffs[7]*coeffs[122] + coeffs[5]*coeffs[5]*coeffs[7]*coeffs[7]*coeffs[122] + coeffs[5]*coeffs[6]*coeffs[6]*coeffs[218] + coeffs[5]*coeffs[7]*coeffs[7]*coeffs[218] - coeffs[1]*coeffs[2]*coeffs[2]*coeffs[343] - coeffs[1]*coeffs[3]*coeffs[3]*coeffs[343] - coeffs[8]*coeffs[8]*coeffs[112] - coeffs[9]*coeffs[9]*coeffs[112] - coeffs[10]*coeffs[10]*coeffs[112] - coeffs[11]*coeffs[11]*coeffs[112] + coeffs[4]*coeffs[4]*coeffs[121] + coeffs[5]*coeffs[5]*coeffs[121] + coeffs[6]*coeffs[6]*coeffs[121] + coeffs[7]*coeffs[7]*coeffs[121] + coeffs[5]*coeffs[211] - coeffs[1]*coeffs[336] - coeffs[109] + coeffs[118];
coeffs[511] = coeffs[5]*coeffs[7]*coeffs[220] - coeffs[1]*coeffs[3]*coeffs[345] + coeffs[5]*coeffs[212] - coeffs[1]*coeffs[337];
coeffs[512] = coeffs[5]*coeffs[6]*coeffs[6]*coeffs[219] + coeffs[5]*coeffs[7]*coeffs[7]*coeffs[219] - coeffs[1]*coeffs[2]*coeffs[2]*coeffs[344] - coeffs[1]*coeffs[3]*coeffs[3]*coeffs[344] + coeffs[5]*coeffs[6]*coeffs[221] - coeffs[1]*coeffs[2]*coeffs[346] + coeffs[5]*coeffs[213] - coeffs[1]*coeffs[338];
coeffs[513] = coeffs[5]*coeffs[6]*coeffs[6]*coeffs[220] + coeffs[5]*coeffs[7]*coeffs[7]*coeffs[220] - coeffs[1]*coeffs[2]*coeffs[2]*coeffs[345] - coeffs[1]*coeffs[3]*coeffs[3]*coeffs[345] + coeffs[5]*coeffs[7]*coeffs[221] - coeffs[1]*coeffs[3]*coeffs[346] + coeffs[5]*coeffs[214] - coeffs[1]*coeffs[339];
coeffs[514] = coeffs[5]*coeffs[6]*coeffs[6]*coeffs[221] + coeffs[5]*coeffs[7]*coeffs[7]*coeffs[221] - coeffs[1]*coeffs[2]*coeffs[2]*coeffs[346] - coeffs[1]*coeffs[3]*coeffs[3]*coeffs[346] + coeffs[5]*coeffs[215] - coeffs[1]*coeffs[340];
coeffs[515] = coeffs[5]*coeffs[6]*coeffs[222] - coeffs[1]*coeffs[2]*coeffs[347] - coeffs[10]*coeffs[113] + coeffs[6]*coeffs[122] + coeffs[5]*coeffs[216] - coeffs[1]*coeffs[341] - coeffs[110] + coeffs[119];
coeffs[516] = coeffs[5]*coeffs[7]*coeffs[222] - coeffs[1]*coeffs[3]*coeffs[347] - coeffs[11]*coeffs[113] + coeffs[7]*coeffs[122] + coeffs[5]*coeffs[217] - coeffs[1]*coeffs[342] - coeffs[111] + coeffs[120];
coeffs[517] = coeffs[5]*coeffs[6]*coeffs[6]*coeffs[222] + coeffs[5]*coeffs[7]*coeffs[7]*coeffs[222] - coeffs[1]*coeffs[2]*coeffs[2]*coeffs[347] - coeffs[1]*coeffs[3]*coeffs[3]*coeffs[347] - coeffs[8]*coeffs[8]*coeffs[113] - coeffs[9]*coeffs[9]*coeffs[113] - coeffs[10]*coeffs[10]*coeffs[113] - coeffs[11]*coeffs[11]*coeffs[113] + coeffs[4]*coeffs[4]*coeffs[122] + coeffs[5]*coeffs[5]*coeffs[122] + coeffs[6]*coeffs[6]*coeffs[122] + coeffs[7]*coeffs[7]*coeffs[122] + coeffs[5]*coeffs[218] - coeffs[1]*coeffs[343] - coeffs[112] + coeffs[121];
coeffs[518] = coeffs[5]*coeffs[6]*coeffs[223] - coeffs[1]*coeffs[2]*coeffs[348] + coeffs[5]*coeffs[219] - coeffs[1]*coeffs[344];
coeffs[519] = coeffs[5]*coeffs[7]*coeffs[223] - coeffs[1]*coeffs[3]*coeffs[348] + coeffs[5]*coeffs[220] - coeffs[1]*coeffs[345];
coeffs[520] = coeffs[5]*coeffs[6]*coeffs[6]*coeffs[223] + coeffs[5]*coeffs[7]*coeffs[7]*coeffs[223] - coeffs[1]*coeffs[2]*coeffs[2]*coeffs[348] - coeffs[1]*coeffs[3]*coeffs[3]*coeffs[348] + coeffs[5]*coeffs[221] - coeffs[1]*coeffs[346];
coeffs[521] = coeffs[5]*coeffs[222] - coeffs[1]*coeffs[347] - coeffs[113] + coeffs[122];
coeffs[522] = coeffs[5]*coeffs[223] - coeffs[1]*coeffs[348];
coeffs[523] = -coeffs[9]*coeffs[11]*coeffs[123] - coeffs[9]*coeffs[10]*coeffs[124] + coeffs[5]*coeffs[7]*coeffs[233] + coeffs[5]*coeffs[6]*coeffs[234] - coeffs[1]*coeffs[3]*coeffs[349] - coeffs[1]*coeffs[2]*coeffs[350];
coeffs[524] = -coeffs[9]*coeffs[11]*coeffs[124] + coeffs[5]*coeffs[7]*coeffs[234] - coeffs[1]*coeffs[3]*coeffs[350];
coeffs[525] = -coeffs[9]*coeffs[10]*coeffs[10]*coeffs[123] - coeffs[9]*coeffs[11]*coeffs[11]*coeffs[123] + coeffs[5]*coeffs[6]*coeffs[6]*coeffs[233] + coeffs[5]*coeffs[7]*coeffs[7]*coeffs[233] - coeffs[1]*coeffs[2]*coeffs[2]*coeffs[349] - coeffs[1]*coeffs[3]*coeffs[3]*coeffs[349] - coeffs[9]*coeffs[10]*coeffs[125] + coeffs[5]*coeffs[6]*coeffs[235] - coeffs[1]*coeffs[2]*coeffs[351];
coeffs[526] = -coeffs[9]*coeffs[10]*coeffs[10]*coeffs[124] - coeffs[9]*coeffs[11]*coeffs[11]*coeffs[124] + coeffs[5]*coeffs[6]*coeffs[6]*coeffs[234] + coeffs[5]*coeffs[7]*coeffs[7]*coeffs[234] - coeffs[1]*coeffs[2]*coeffs[2]*coeffs[350] - coeffs[1]*coeffs[3]*coeffs[3]*coeffs[350] - coeffs[9]*coeffs[11]*coeffs[125] + coeffs[5]*coeffs[7]*coeffs[235] - coeffs[1]*coeffs[3]*coeffs[351];
coeffs[527] = -coeffs[9]*coeffs[10]*coeffs[10]*coeffs[125] - coeffs[9]*coeffs[11]*coeffs[11]*coeffs[125] + coeffs[5]*coeffs[6]*coeffs[6]*coeffs[235] + coeffs[5]*coeffs[7]*coeffs[7]*coeffs[235] - coeffs[1]*coeffs[2]*coeffs[2]*coeffs[351] - coeffs[1]*coeffs[3]*coeffs[3]*coeffs[351];
coeffs[528] = coeffs[5]*coeffs[7]*coeffs[237] - coeffs[1]*coeffs[3]*coeffs[353];
coeffs[529] = coeffs[5]*coeffs[6]*coeffs[6]*coeffs[236] + coeffs[5]*coeffs[7]*coeffs[7]*coeffs[236] - coeffs[1]*coeffs[2]*coeffs[2]*coeffs[352] - coeffs[1]*coeffs[3]*coeffs[3]*coeffs[352] + coeffs[5]*coeffs[6]*coeffs[238] - coeffs[1]*coeffs[2]*coeffs[354];
coeffs[530] = coeffs[5]*coeffs[6]*coeffs[6]*coeffs[237] + coeffs[5]*coeffs[7]*coeffs[7]*coeffs[237] - coeffs[1]*coeffs[2]*coeffs[2]*coeffs[353] - coeffs[1]*coeffs[3]*coeffs[3]*coeffs[353] + coeffs[5]*coeffs[7]*coeffs[238] - coeffs[1]*coeffs[3]*coeffs[354];
coeffs[531] = coeffs[5]*coeffs[6]*coeffs[6]*coeffs[238] + coeffs[5]*coeffs[7]*coeffs[7]*coeffs[238] - coeffs[1]*coeffs[2]*coeffs[2]*coeffs[354] - coeffs[1]*coeffs[3]*coeffs[3]*coeffs[354];
coeffs[532] = -coeffs[9]*coeffs[10]*coeffs[126] + coeffs[5]*coeffs[6]*coeffs[239] - coeffs[1]*coeffs[2]*coeffs[355] - coeffs[9]*coeffs[123] + coeffs[5]*coeffs[233] - coeffs[1]*coeffs[349];
coeffs[533] = -coeffs[9]*coeffs[11]*coeffs[126] + coeffs[5]*coeffs[7]*coeffs[239] - coeffs[1]*coeffs[3]*coeffs[355] - coeffs[9]*coeffs[124] + coeffs[5]*coeffs[234] - coeffs[1]*coeffs[350];
coeffs[534] = -coeffs[9]*coeffs[10]*coeffs[10]*coeffs[126] - coeffs[9]*coeffs[11]*coeffs[11]*coeffs[126] + coeffs[5]*coeffs[6]*coeffs[6]*coeffs[239] + coeffs[5]*coeffs[7]*coeffs[7]*coeffs[239] - coeffs[1]*coeffs[2]*coeffs[2]*coeffs[355] - coeffs[1]*coeffs[3]*coeffs[3]*coeffs[355] - coeffs[9]*coeffs[125] + coeffs[5]*coeffs[235] - coeffs[1]*coeffs[351];
coeffs[535] = coeffs[5]*coeffs[6]*coeffs[240] - coeffs[1]*coeffs[2]*coeffs[356] + coeffs[5]*coeffs[236] - coeffs[1]*coeffs[352];
coeffs[536] = coeffs[5]*coeffs[7]*coeffs[240] - coeffs[1]*coeffs[3]*coeffs[356] + coeffs[5]*coeffs[237] - coeffs[1]*coeffs[353];
coeffs[537] = coeffs[5]*coeffs[6]*coeffs[6]*coeffs[240] + coeffs[5]*coeffs[7]*coeffs[7]*coeffs[240] - coeffs[1]*coeffs[2]*coeffs[2]*coeffs[356] - coeffs[1]*coeffs[3]*coeffs[3]*coeffs[356] + coeffs[5]*coeffs[238] - coeffs[1]*coeffs[354];
coeffs[538] = -coeffs[9]*coeffs[126] + coeffs[5]*coeffs[239] - coeffs[1]*coeffs[355];
coeffs[539] = coeffs[5]*coeffs[240] - coeffs[1]*coeffs[356];
coeffs[540] = coeffs[8]*coeffs[8]*coeffs[10]*coeffs[10]*coeffs[123] + coeffs[9]*coeffs[9]*coeffs[10]*coeffs[10]*coeffs[123] + coeffs[8]*coeffs[8]*coeffs[11]*coeffs[11]*coeffs[123] + coeffs[9]*coeffs[9]*coeffs[11]*coeffs[11]*coeffs[123] + coeffs[8]*coeffs[8]*coeffs[10]*coeffs[125] + coeffs[9]*coeffs[9]*coeffs[10]*coeffs[125] - coeffs[118];
coeffs[541] = coeffs[8]*coeffs[8]*coeffs[10]*coeffs[10]*coeffs[124] + coeffs[9]*coeffs[9]*coeffs[10]*coeffs[10]*coeffs[124] + coeffs[8]*coeffs[8]*coeffs[11]*coeffs[11]*coeffs[124] + coeffs[9]*coeffs[9]*coeffs[11]*coeffs[11]*coeffs[124] + coeffs[8]*coeffs[8]*coeffs[11]*coeffs[125] + coeffs[9]*coeffs[9]*coeffs[11]*coeffs[125] + coeffs[5]*coeffs[6]*coeffs[6]*coeffs[243] + coeffs[5]*coeffs[7]*coeffs[7]*coeffs[243] - coeffs[1]*coeffs[2]*coeffs[2]*coeffs[359] - coeffs[1]*coeffs[3]*coeffs[3]*coeffs[359];
coeffs[542] = coeffs[8]*coeffs[8]*coeffs[10]*coeffs[10]*coeffs[125] + coeffs[9]*coeffs[9]*coeffs[10]*coeffs[10]*coeffs[125] + coeffs[8]*coeffs[8]*coeffs[11]*coeffs[11]*coeffs[125] + coeffs[9]*coeffs[9]*coeffs[11]*coeffs[11]*coeffs[125];
coeffs[543] = coeffs[5]*coeffs[6]*coeffs[6]*coeffs[246] + coeffs[5]*coeffs[7]*coeffs[7]*coeffs[246] - coeffs[1]*coeffs[2]*coeffs[2]*coeffs[362] - coeffs[1]*coeffs[3]*coeffs[3]*coeffs[362];
coeffs[544] = coeffs[5]*coeffs[6]*coeffs[247] - coeffs[1]*coeffs[2]*coeffs[363] + coeffs[11]*coeffs[123] + coeffs[10]*coeffs[124] + coeffs[5]*coeffs[241] - coeffs[1]*coeffs[357] - coeffs[120];
coeffs[545] = coeffs[5]*coeffs[7]*coeffs[247] - coeffs[1]*coeffs[3]*coeffs[363] + coeffs[11]*coeffs[124] + coeffs[5]*coeffs[242] - coeffs[1]*coeffs[358];
coeffs[546] = coeffs[8]*coeffs[8]*coeffs[10]*coeffs[126] + coeffs[9]*coeffs[9]*coeffs[10]*coeffs[126] + coeffs[8]*coeffs[8]*coeffs[123] + coeffs[9]*coeffs[9]*coeffs[123] + coeffs[10]*coeffs[10]*coeffs[123] + coeffs[11]*coeffs[11]*coeffs[123] + coeffs[10]*coeffs[125] - coeffs[121];
coeffs[547] = coeffs[8]*coeffs[8]*coeffs[11]*coeffs[126] + coeffs[9]*coeffs[9]*coeffs[11]*coeffs[126] + coeffs[5]*coeffs[6]*coeffs[6]*coeffs[247] + coeffs[5]*coeffs[7]*coeffs[7]*coeffs[247] - coeffs[1]*coeffs[2]*coeffs[2]*coeffs[363] - coeffs[1]*coeffs[3]*coeffs[3]*coeffs[363] + coeffs[8]*coeffs[8]*coeffs[124] + coeffs[9]*coeffs[9]*coeffs[124] + coeffs[10]*coeffs[10]*coeffs[124] + coeffs[11]*coeffs[11]*coeffs[124] + coeffs[11]*coeffs[125] + coeffs[5]*coeffs[243] - coeffs[1]*coeffs[359];
coeffs[548] = coeffs[8]*coeffs[8]*coeffs[10]*coeffs[10]*coeffs[126] + coeffs[9]*coeffs[9]*coeffs[10]*coeffs[10]*coeffs[126] + coeffs[8]*coeffs[8]*coeffs[11]*coeffs[11]*coeffs[126] + coeffs[9]*coeffs[9]*coeffs[11]*coeffs[11]*coeffs[126] + coeffs[8]*coeffs[8]*coeffs[125] + coeffs[9]*coeffs[9]*coeffs[125] + coeffs[10]*coeffs[10]*coeffs[125] + coeffs[11]*coeffs[11]*coeffs[125];
coeffs[549] = coeffs[5]*coeffs[7]*coeffs[249] - coeffs[1]*coeffs[3]*coeffs[365];
coeffs[550] = coeffs[5]*coeffs[6]*coeffs[6]*coeffs[248] + coeffs[5]*coeffs[7]*coeffs[7]*coeffs[248] - coeffs[1]*coeffs[2]*coeffs[2]*coeffs[364] - coeffs[1]*coeffs[3]*coeffs[3]*coeffs[364] + coeffs[5]*coeffs[6]*coeffs[250] - coeffs[1]*coeffs[2]*coeffs[366] + coeffs[5]*coeffs[244] - coeffs[1]*coeffs[360];
coeffs[551] = coeffs[5]*coeffs[6]*coeffs[6]*coeffs[249] + coeffs[5]*coeffs[7]*coeffs[7]*coeffs[249] - coeffs[1]*coeffs[2]*coeffs[2]*coeffs[365] - coeffs[1]*coeffs[3]*coeffs[3]*coeffs[365] + coeffs[5]*coeffs[7]*coeffs[250] - coeffs[1]*coeffs[3]*coeffs[366] + coeffs[5]*coeffs[245] - coeffs[1]*coeffs[361];
coeffs[552] = coeffs[5]*coeffs[6]*coeffs[6]*coeffs[250] + coeffs[5]*coeffs[7]*coeffs[7]*coeffs[250] - coeffs[1]*coeffs[2]*coeffs[2]*coeffs[366] - coeffs[1]*coeffs[3]*coeffs[3]*coeffs[366] + coeffs[5]*coeffs[246] - coeffs[1]*coeffs[362];
coeffs[553] = coeffs[10]*coeffs[126] - coeffs[122] + coeffs[123];
coeffs[554] = coeffs[11]*coeffs[126] + coeffs[5]*coeffs[247] - coeffs[1]*coeffs[363] + coeffs[124];
coeffs[555] = coeffs[8]*coeffs[8]*coeffs[126] + coeffs[9]*coeffs[9]*coeffs[126] + coeffs[10]*coeffs[10]*coeffs[126] + coeffs[11]*coeffs[11]*coeffs[126] + coeffs[125];
coeffs[556] = coeffs[5]*coeffs[6]*coeffs[251] - coeffs[1]*coeffs[2]*coeffs[367] + coeffs[5]*coeffs[248] - coeffs[1]*coeffs[364];
coeffs[557] = coeffs[5]*coeffs[7]*coeffs[251] - coeffs[1]*coeffs[3]*coeffs[367] + coeffs[5]*coeffs[249] - coeffs[1]*coeffs[365];
coeffs[558] = coeffs[5]*coeffs[6]*coeffs[6]*coeffs[251] + coeffs[5]*coeffs[7]*coeffs[7]*coeffs[251] - coeffs[1]*coeffs[2]*coeffs[2]*coeffs[367] - coeffs[1]*coeffs[3]*coeffs[3]*coeffs[367] + coeffs[5]*coeffs[250] - coeffs[1]*coeffs[366];
coeffs[559] = coeffs[126];
coeffs[560] = coeffs[5]*coeffs[251] - coeffs[1]*coeffs[367];
coeffs[561] = coeffs[4]*coeffs[4]*coeffs[6]*coeffs[6]*coeffs[148] + coeffs[5]*coeffs[5]*coeffs[6]*coeffs[6]*coeffs[148] + coeffs[4]*coeffs[4]*coeffs[7]*coeffs[7]*coeffs[148] + coeffs[5]*coeffs[5]*coeffs[7]*coeffs[7]*coeffs[148] - coeffs[0]*coeffs[0]*coeffs[2]*coeffs[2]*coeffs[195] - coeffs[1]*coeffs[1]*coeffs[2]*coeffs[2]*coeffs[195] - coeffs[0]*coeffs[0]*coeffs[3]*coeffs[3]*coeffs[195] - coeffs[1]*coeffs[1]*coeffs[3]*coeffs[3]*coeffs[195] + coeffs[9]*coeffs[10]*coeffs[10]*coeffs[132] + coeffs[9]*coeffs[11]*coeffs[11]*coeffs[132] + coeffs[4]*coeffs[4]*coeffs[6]*coeffs[150] + coeffs[5]*coeffs[5]*coeffs[6]*coeffs[150] - coeffs[0]*coeffs[0]*coeffs[2]*coeffs[197] - coeffs[1]*coeffs[1]*coeffs[2]*coeffs[197] - coeffs[1]*coeffs[2]*coeffs[2]*coeffs[373] - coeffs[1]*coeffs[3]*coeffs[3]*coeffs[373] + coeffs[9]*coeffs[10]*coeffs[134] + coeffs[4]*coeffs[4]*coeffs[141] + coeffs[5]*coeffs[5]*coeffs[141] + coeffs[6]*coeffs[6]*coeffs[141] + coeffs[7]*coeffs[7]*coeffs[141] - coeffs[0]*coeffs[0]*coeffs[188] - coeffs[1]*coeffs[1]*coeffs[188] - coeffs[2]*coeffs[2]*coeffs[188] - coeffs[3]*coeffs[3]*coeffs[188] - coeffs[1]*coeffs[2]*coeffs[375] + coeffs[9]*coeffs[127] + coeffs[6]*coeffs[143] - coeffs[2]*coeffs[190] - coeffs[1]*coeffs[368];
coeffs[562] = coeffs[4]*coeffs[4]*coeffs[6]*coeffs[6]*coeffs[149] + coeffs[5]*coeffs[5]*coeffs[6]*coeffs[6]*coeffs[149] + coeffs[4]*coeffs[4]*coeffs[7]*coeffs[7]*coeffs[149] + coeffs[5]*coeffs[5]*coeffs[7]*coeffs[7]*coeffs[149] - coeffs[0]*coeffs[0]*coeffs[2]*coeffs[2]*coeffs[196] - coeffs[1]*coeffs[1]*coeffs[2]*coeffs[2]*coeffs[196] - coeffs[0]*coeffs[0]*coeffs[3]*coeffs[3]*coeffs[196] - coeffs[1]*coeffs[1]*coeffs[3]*coeffs[3]*coeffs[196] + coeffs[9]*coeffs[10]*coeffs[10]*coeffs[133] + coeffs[9]*coeffs[11]*coeffs[11]*coeffs[133] + coeffs[4]*coeffs[4]*coeffs[7]*coeffs[150] + coeffs[5]*coeffs[5]*coeffs[7]*coeffs[150] - coeffs[0]*coeffs[0]*coeffs[3]*coeffs[197] - coeffs[1]*coeffs[1]*coeffs[3]*coeffs[197] - coeffs[1]*coeffs[2]*coeffs[2]*coeffs[374] - coeffs[1]*coeffs[3]*coeffs[3]*coeffs[374] + coeffs[9]*coeffs[11]*coeffs[134] + coeffs[4]*coeffs[4]*coeffs[142] + coeffs[5]*coeffs[5]*coeffs[142] + coeffs[6]*coeffs[6]*coeffs[142] + coeffs[7]*coeffs[7]*coeffs[142] - coeffs[0]*coeffs[0]*coeffs[189] - coeffs[1]*coeffs[1]*coeffs[189] - coeffs[2]*coeffs[2]*coeffs[189] - coeffs[3]*coeffs[3]*coeffs[189] - coeffs[1]*coeffs[3]*coeffs[375] + coeffs[9]*coeffs[128] + coeffs[7]*coeffs[143] - coeffs[3]*coeffs[190] - coeffs[1]*coeffs[369];
coeffs[563] = coeffs[4]*coeffs[4]*coeffs[6]*coeffs[6]*coeffs[150] + coeffs[5]*coeffs[5]*coeffs[6]*coeffs[6]*coeffs[150] + coeffs[4]*coeffs[4]*coeffs[7]*coeffs[7]*coeffs[150] + coeffs[5]*coeffs[5]*coeffs[7]*coeffs[7]*coeffs[150] - coeffs[0]*coeffs[0]*coeffs[2]*coeffs[2]*coeffs[197] - coeffs[1]*coeffs[1]*coeffs[2]*coeffs[2]*coeffs[197] - coeffs[0]*coeffs[0]*coeffs[3]*coeffs[3]*coeffs[197] - coeffs[1]*coeffs[1]*coeffs[3]*coeffs[3]*coeffs[197] + coeffs[9]*coeffs[10]*coeffs[10]*coeffs[134] + coeffs[9]*coeffs[11]*coeffs[11]*coeffs[134] - coeffs[1]*coeffs[2]*coeffs[2]*coeffs[375] - coeffs[1]*coeffs[3]*coeffs[3]*coeffs[375] + coeffs[4]*coeffs[4]*coeffs[143] + coeffs[5]*coeffs[5]*coeffs[143] + coeffs[6]*coeffs[6]*coeffs[143] + coeffs[7]*coeffs[7]*coeffs[143] - coeffs[0]*coeffs[0]*coeffs[190] - coeffs[1]*coeffs[1]*coeffs[190] - coeffs[2]*coeffs[2]*coeffs[190] - coeffs[3]*coeffs[3]*coeffs[190] + coeffs[9]*coeffs[129] - coeffs[1]*coeffs[370];
coeffs[564] = coeffs[4]*coeffs[4]*coeffs[6]*coeffs[6]*coeffs[153] + coeffs[5]*coeffs[5]*coeffs[6]*coeffs[6]*coeffs[153] + coeffs[4]*coeffs[4]*coeffs[7]*coeffs[7]*coeffs[153] + coeffs[5]*coeffs[5]*coeffs[7]*coeffs[7]*coeffs[153] - coeffs[0]*coeffs[0]*coeffs[2]*coeffs[2]*coeffs[200] - coeffs[1]*coeffs[1]*coeffs[2]*coeffs[2]*coeffs[200] - coeffs[0]*coeffs[0]*coeffs[3]*coeffs[3]*coeffs[200] - coeffs[1]*coeffs[1]*coeffs[3]*coeffs[3]*coeffs[200] + coeffs[4]*coeffs[4]*coeffs[147] + coeffs[5]*coeffs[5]*coeffs[147] + coeffs[6]*coeffs[6]*coeffs[147] + coeffs[7]*coeffs[7]*coeffs[147] - coeffs[0]*coeffs[0]*coeffs[194] - coeffs[1]*coeffs[1]*coeffs[194] - coeffs[2]*coeffs[2]*coeffs[194] - coeffs[3]*coeffs[3]*coeffs[194];
coeffs[565] = coeffs[9]*coeffs[11]*coeffs[135] + coeffs[9]*coeffs[10]*coeffs[136] - coeffs[1]*coeffs[3]*coeffs[376] - coeffs[1]*coeffs[2]*coeffs[377] + coeffs[9]*coeffs[130] + coeffs[7]*coeffs[148] + coeffs[6]*coeffs[149] - coeffs[3]*coeffs[195] - coeffs[2]*coeffs[196] - coeffs[1]*coeffs[371] + coeffs[139] - coeffs[186];
coeffs[566] = coeffs[9]*coeffs[11]*coeffs[136] - coeffs[1]*coeffs[3]*coeffs[377] + coeffs[9]*coeffs[131] + coeffs[7]*coeffs[149] - coeffs[3]*coeffs[196] - coeffs[1]*coeffs[372] + coeffs[140] - coeffs[187];
coeffs[567] = coeffs[9]*coeffs[10]*coeffs[10]*coeffs[135] + coeffs[9]*coeffs[11]*coeffs[11]*coeffs[135] + coeffs[4]*coeffs[4]*coeffs[6]*coeffs[154] + coeffs[5]*coeffs[5]*coeffs[6]*coeffs[154] - coeffs[0]*coeffs[0]*coeffs[2]*coeffs[201] - coeffs[1]*coeffs[1]*coeffs[2]*coeffs[201] - coeffs[1]*coeffs[2]*coeffs[2]*coeffs[376] - coeffs[1]*coeffs[3]*coeffs[3]*coeffs[376] + coeffs[9]*coeffs[10]*coeffs[137] + coeffs[4]*coeffs[4]*coeffs[148] + coeffs[5]*coeffs[5]*coeffs[148] + coeffs[6]*coeffs[6]*coeffs[148] + coeffs[7]*coeffs[7]*coeffs[148] - coeffs[0]*coeffs[0]*coeffs[195] - coeffs[1]*coeffs[1]*coeffs[195] - coeffs[2]*coeffs[2]*coeffs[195] - coeffs[3]*coeffs[3]*coeffs[195] - coeffs[1]*coeffs[2]*coeffs[378] + coeffs[9]*coeffs[132] + coeffs[6]*coeffs[150] - coeffs[2]*coeffs[197] - coeffs[1]*coeffs[373] + coeffs[141] - coeffs[188];
coeffs[568] = coeffs[9]*coeffs[10]*coeffs[10]*coeffs[136] + coeffs[9]*coeffs[11]*coeffs[11]*coeffs[136] + coeffs[4]*coeffs[4]*coeffs[7]*coeffs[154] + coeffs[5]*coeffs[5]*coeffs[7]*coeffs[154] - coeffs[0]*coeffs[0]*coeffs[3]*coeffs[201] - coeffs[1]*coeffs[1]*coeffs[3]*coeffs[201] - coeffs[1]*coeffs[2]*coeffs[2]*coeffs[377] - coeffs[1]*coeffs[3]*coeffs[3]*coeffs[377] + coeffs[9]*coeffs[11]*coeffs[137] + coeffs[4]*coeffs[4]*coeffs[149] + coeffs[5]*coeffs[5]*coeffs[149] + coeffs[6]*coeffs[6]*coeffs[149] + coeffs[7]*coeffs[7]*coeffs[149] - coeffs[0]*coeffs[0]*coeffs[196] - coeffs[1]*coeffs[1]*coeffs[196] - coeffs[2]*coeffs[2]*coeffs[196] - coeffs[3]*coeffs[3]*coeffs[196] - coeffs[1]*coeffs[3]*coeffs[378] + coeffs[9]*coeffs[133] + coeffs[7]*coeffs[150] - coeffs[3]*coeffs[197] - coeffs[1]*coeffs[374] + coeffs[142] - coeffs[189];
coeffs[569] = coeffs[4]*coeffs[4]*coeffs[6]*coeffs[6]*coeffs[154] + coeffs[5]*coeffs[5]*coeffs[6]*coeffs[6]*coeffs[154] + coeffs[4]*coeffs[4]*coeffs[7]*coeffs[7]*coeffs[154] + coeffs[5]*coeffs[5]*coeffs[7]*coeffs[7]*coeffs[154] - coeffs[0]*coeffs[0]*coeffs[2]*coeffs[2]*coeffs[201] - coeffs[1]*coeffs[1]*coeffs[2]*coeffs[2]*coeffs[201] - coeffs[0]*coeffs[0]*coeffs[3]*coeffs[3]*coeffs[201] - coeffs[1]*coeffs[1]*coeffs[3]*coeffs[3]*coeffs[201] + coeffs[9]*coeffs[10]*coeffs[10]*coeffs[137] + coeffs[9]*coeffs[11]*coeffs[11]*coeffs[137] - coeffs[1]*coeffs[2]*coeffs[2]*coeffs[378] - coeffs[1]*coeffs[3]*coeffs[3]*coeffs[378] + coeffs[4]*coeffs[4]*coeffs[150] + coeffs[5]*coeffs[5]*coeffs[150] + coeffs[6]*coeffs[6]*coeffs[150] + coeffs[7]*coeffs[7]*coeffs[150] - coeffs[0]*coeffs[0]*coeffs[197] - coeffs[1]*coeffs[1]*coeffs[197] - coeffs[2]*coeffs[2]*coeffs[197] - coeffs[3]*coeffs[3]*coeffs[197] + coeffs[9]*coeffs[134] - coeffs[1]*coeffs[375] + coeffs[143] - coeffs[190];
coeffs[570] = coeffs[7]*coeffs[152] - coeffs[3]*coeffs[199] + coeffs[144] - coeffs[191];
coeffs[571] = coeffs[4]*coeffs[4]*coeffs[6]*coeffs[155] + coeffs[5]*coeffs[5]*coeffs[6]*coeffs[155] - coeffs[0]*coeffs[0]*coeffs[2]*coeffs[202] - coeffs[1]*coeffs[1]*coeffs[2]*coeffs[202] + coeffs[4]*coeffs[4]*coeffs[151] + coeffs[5]*coeffs[5]*coeffs[151] + coeffs[6]*coeffs[6]*coeffs[151] + coeffs[7]*coeffs[7]*coeffs[151] - coeffs[0]*coeffs[0]*coeffs[198] - coeffs[1]*coeffs[1]*coeffs[198] - coeffs[2]*coeffs[2]*coeffs[198] - coeffs[3]*coeffs[3]*coeffs[198] + coeffs[6]*coeffs[153] - coeffs[2]*coeffs[200] + coeffs[145] - coeffs[192];
coeffs[572] = coeffs[4]*coeffs[4]*coeffs[7]*coeffs[155] + coeffs[5]*coeffs[5]*coeffs[7]*coeffs[155] - coeffs[0]*coeffs[0]*coeffs[3]*coeffs[202] - coeffs[1]*coeffs[1]*coeffs[3]*coeffs[202] + coeffs[4]*coeffs[4]*coeffs[152] + coeffs[5]*coeffs[5]*coeffs[152] + coeffs[6]*coeffs[6]*coeffs[152] + coeffs[7]*coeffs[7]*coeffs[152] - coeffs[0]*coeffs[0]*coeffs[199] - coeffs[1]*coeffs[1]*coeffs[199] - coeffs[2]*coeffs[2]*coeffs[199] - coeffs[3]*coeffs[3]*coeffs[199] + coeffs[7]*coeffs[153] - coeffs[3]*coeffs[200] + coeffs[146] - coeffs[193];
coeffs[573] = coeffs[4]*coeffs[4]*coeffs[6]*coeffs[6]*coeffs[155] + coeffs[5]*coeffs[5]*coeffs[6]*coeffs[6]*coeffs[155] + coeffs[4]*coeffs[4]*coeffs[7]*coeffs[7]*coeffs[155] + coeffs[5]*coeffs[5]*coeffs[7]*coeffs[7]*coeffs[155] - coeffs[0]*coeffs[0]*coeffs[2]*coeffs[2]*coeffs[202] - coeffs[1]*coeffs[1]*coeffs[2]*coeffs[2]*coeffs[202] - coeffs[0]*coeffs[0]*coeffs[3]*coeffs[3]*coeffs[202] - coeffs[1]*coeffs[1]*coeffs[3]*coeffs[3]*coeffs[202] + coeffs[4]*coeffs[4]*coeffs[153] + coeffs[5]*coeffs[5]*coeffs[153] + coeffs[6]*coeffs[6]*coeffs[153] + coeffs[7]*coeffs[7]*coeffs[153] - coeffs[0]*coeffs[0]*coeffs[200] - coeffs[1]*coeffs[1]*coeffs[200] - coeffs[2]*coeffs[2]*coeffs[200] - coeffs[3]*coeffs[3]*coeffs[200] + coeffs[147] - coeffs[194];
coeffs[574] = coeffs[9]*coeffs[10]*coeffs[138] - coeffs[1]*coeffs[2]*coeffs[379] + coeffs[9]*coeffs[135] + coeffs[6]*coeffs[154] - coeffs[2]*coeffs[201] - coeffs[1]*coeffs[376] + coeffs[148] - coeffs[195];
coeffs[575] = coeffs[9]*coeffs[11]*coeffs[138] - coeffs[1]*coeffs[3]*coeffs[379] + coeffs[9]*coeffs[136] + coeffs[7]*coeffs[154] - coeffs[3]*coeffs[201] - coeffs[1]*coeffs[377] + coeffs[149] - coeffs[196];
coeffs[576] = coeffs[9]*coeffs[10]*coeffs[10]*coeffs[138] + coeffs[9]*coeffs[11]*coeffs[11]*coeffs[138] - coeffs[1]*coeffs[2]*coeffs[2]*coeffs[379] - coeffs[1]*coeffs[3]*coeffs[3]*coeffs[379] + coeffs[4]*coeffs[4]*coeffs[154] + coeffs[5]*coeffs[5]*coeffs[154] + coeffs[6]*coeffs[6]*coeffs[154] + coeffs[7]*coeffs[7]*coeffs[154] - coeffs[0]*coeffs[0]*coeffs[201] - coeffs[1]*coeffs[1]*coeffs[201] - coeffs[2]*coeffs[2]*coeffs[201] - coeffs[3]*coeffs[3]*coeffs[201] + coeffs[9]*coeffs[137] - coeffs[1]*coeffs[378] + coeffs[150] - coeffs[197];
coeffs[577] = coeffs[6]*coeffs[155] - coeffs[2]*coeffs[202] + coeffs[151] - coeffs[198];
coeffs[578] = coeffs[7]*coeffs[155] - coeffs[3]*coeffs[202] + coeffs[152] - coeffs[199];
coeffs[579] = coeffs[4]*coeffs[4]*coeffs[155] + coeffs[5]*coeffs[5]*coeffs[155] + coeffs[6]*coeffs[6]*coeffs[155] + coeffs[7]*coeffs[7]*coeffs[155] - coeffs[0]*coeffs[0]*coeffs[202] - coeffs[1]*coeffs[1]*coeffs[202] - coeffs[2]*coeffs[2]*coeffs[202] - coeffs[3]*coeffs[3]*coeffs[202] + coeffs[153] - coeffs[200];
coeffs[580] = coeffs[9]*coeffs[138] - coeffs[1]*coeffs[379] + coeffs[154] - coeffs[201];
coeffs[581] = coeffs[155] - coeffs[202];
coeffs[582] = coeffs[4]*coeffs[4]*coeffs[6]*coeffs[6]*coeffs[184] + coeffs[5]*coeffs[5]*coeffs[6]*coeffs[6]*coeffs[184] + coeffs[4]*coeffs[4]*coeffs[7]*coeffs[7]*coeffs[184] + coeffs[5]*coeffs[5]*coeffs[7]*coeffs[7]*coeffs[184] - coeffs[0]*coeffs[0]*coeffs[2]*coeffs[2]*coeffs[231] - coeffs[1]*coeffs[1]*coeffs[2]*coeffs[2]*coeffs[231] - coeffs[0]*coeffs[0]*coeffs[3]*coeffs[3]*coeffs[231] - coeffs[1]*coeffs[1]*coeffs[3]*coeffs[3]*coeffs[231] + coeffs[4]*coeffs[4]*coeffs[181] + coeffs[5]*coeffs[5]*coeffs[181] + coeffs[6]*coeffs[6]*coeffs[181] + coeffs[7]*coeffs[7]*coeffs[181] - coeffs[0]*coeffs[0]*coeffs[228] - coeffs[1]*coeffs[1]*coeffs[228] - coeffs[2]*coeffs[2]*coeffs[228] - coeffs[3]*coeffs[3]*coeffs[228];
coeffs[583] = -coeffs[1]*coeffs[3]*coeffs[384] + coeffs[7]*coeffs[183] - coeffs[3]*coeffs[230] - coeffs[1]*coeffs[382] + coeffs[178] - coeffs[225];
coeffs[584] = coeffs[4]*coeffs[4]*coeffs[6]*coeffs[185] + coeffs[5]*coeffs[5]*coeffs[6]*coeffs[185] - coeffs[0]*coeffs[0]*coeffs[2]*coeffs[232] - coeffs[1]*coeffs[1]*coeffs[2]*coeffs[232] + coeffs[4]*coeffs[4]*coeffs[182] + coeffs[5]*coeffs[5]*coeffs[182] + coeffs[6]*coeffs[6]*coeffs[182] + coeffs[7]*coeffs[7]*coeffs[182] - coeffs[0]*coeffs[0]*coeffs[229] - coeffs[1]*coeffs[1]*coeffs[229] - coeffs[2]*coeffs[2]*coeffs[229] - coeffs[3]*coeffs[3]*coeffs[229] + coeffs[6]*coeffs[184] - coeffs[2]*coeffs[231] - coeffs[137] + coeffs[179] - coeffs[226];
coeffs[585] = coeffs[4]*coeffs[4]*coeffs[7]*coeffs[185] + coeffs[5]*coeffs[5]*coeffs[7]*coeffs[185] - coeffs[0]*coeffs[0]*coeffs[3]*coeffs[232] - coeffs[1]*coeffs[1]*coeffs[3]*coeffs[232] - coeffs[1]*coeffs[2]*coeffs[2]*coeffs[384] - coeffs[1]*coeffs[3]*coeffs[3]*coeffs[384] + coeffs[4]*coeffs[4]*coeffs[183] + coeffs[5]*coeffs[5]*coeffs[183] + coeffs[6]*coeffs[6]*coeffs[183] + coeffs[7]*coeffs[7]*coeffs[183] - coeffs[0]*coeffs[0]*coeffs[230] - coeffs[1]*coeffs[1]*coeffs[230] - coeffs[2]*coeffs[2]*coeffs[230] - coeffs[3]*coeffs[3]*coeffs[230] + coeffs[7]*coeffs[184] - coeffs[3]*coeffs[231] - coeffs[1]*coeffs[383] + coeffs[180] - coeffs[227];
coeffs[586] = coeffs[4]*coeffs[4]*coeffs[6]*coeffs[6]*coeffs[185] + coeffs[5]*coeffs[5]*coeffs[6]*coeffs[6]*coeffs[185] + coeffs[4]*coeffs[4]*coeffs[7]*coeffs[7]*coeffs[185] + coeffs[5]*coeffs[5]*coeffs[7]*coeffs[7]*coeffs[185] - coeffs[0]*coeffs[0]*coeffs[2]*coeffs[2]*coeffs[232] - coeffs[1]*coeffs[1]*coeffs[2]*coeffs[2]*coeffs[232] - coeffs[0]*coeffs[0]*coeffs[3]*coeffs[3]*coeffs[232] - coeffs[1]*coeffs[1]*coeffs[3]*coeffs[3]*coeffs[232] + coeffs[4]*coeffs[4]*coeffs[184] + coeffs[5]*coeffs[5]*coeffs[184] + coeffs[6]*coeffs[6]*coeffs[184] + coeffs[7]*coeffs[7]*coeffs[184] - coeffs[0]*coeffs[0]*coeffs[231] - coeffs[1]*coeffs[1]*coeffs[231] - coeffs[2]*coeffs[2]*coeffs[231] - coeffs[3]*coeffs[3]*coeffs[231] + coeffs[181] - coeffs[228];
coeffs[587] = coeffs[6]*coeffs[185] - coeffs[2]*coeffs[232] - coeffs[138] + coeffs[182] - coeffs[229];
coeffs[588] = coeffs[7]*coeffs[185] - coeffs[3]*coeffs[232] - coeffs[1]*coeffs[384] + coeffs[183] - coeffs[230];
coeffs[589] = coeffs[4]*coeffs[4]*coeffs[185] + coeffs[5]*coeffs[5]*coeffs[185] + coeffs[6]*coeffs[6]*coeffs[185] + coeffs[7]*coeffs[7]*coeffs[185] - coeffs[0]*coeffs[0]*coeffs[232] - coeffs[1]*coeffs[1]*coeffs[232] - coeffs[2]*coeffs[2]*coeffs[232] - coeffs[3]*coeffs[3]*coeffs[232] + coeffs[184] - coeffs[231];
coeffs[590] = coeffs[185] - coeffs[232];
coeffs[591] = -coeffs[0]*coeffs[0]*coeffs[2]*coeffs[2]*coeffs[233] - coeffs[1]*coeffs[1]*coeffs[2]*coeffs[2]*coeffs[233] - coeffs[0]*coeffs[0]*coeffs[3]*coeffs[3]*coeffs[233] - coeffs[1]*coeffs[1]*coeffs[3]*coeffs[3]*coeffs[233] - coeffs[9]*coeffs[10]*coeffs[10]*coeffs[179] - coeffs[9]*coeffs[11]*coeffs[11]*coeffs[179] - coeffs[0]*coeffs[0]*coeffs[2]*coeffs[235] - coeffs[1]*coeffs[1]*coeffs[2]*coeffs[235] - coeffs[1]*coeffs[2]*coeffs[2]*coeffs[385] - coeffs[1]*coeffs[3]*coeffs[3]*coeffs[385] - coeffs[9]*coeffs[10]*coeffs[181] - coeffs[1]*coeffs[2]*coeffs[387] - coeffs[143];
coeffs[592] = -coeffs[0]*coeffs[0]*coeffs[2]*coeffs[2]*coeffs[234] - coeffs[1]*coeffs[1]*coeffs[2]*coeffs[2]*coeffs[234] - coeffs[0]*coeffs[0]*coeffs[3]*coeffs[3]*coeffs[234] - coeffs[1]*coeffs[1]*coeffs[3]*coeffs[3]*coeffs[234] - coeffs[9]*coeffs[10]*coeffs[10]*coeffs[180] - coeffs[9]*coeffs[11]*coeffs[11]*coeffs[180] - coeffs[0]*coeffs[0]*coeffs[3]*coeffs[235] - coeffs[1]*coeffs[1]*coeffs[3]*coeffs[235] - coeffs[1]*coeffs[2]*coeffs[2]*coeffs[386] - coeffs[1]*coeffs[3]*coeffs[3]*coeffs[386] - coeffs[9]*coeffs[11]*coeffs[181] - coeffs[1]*coeffs[3]*coeffs[387];
coeffs[593] = -coeffs[0]*coeffs[0]*coeffs[2]*coeffs[2]*coeffs[235] - coeffs[1]*coeffs[1]*coeffs[2]*coeffs[2]*coeffs[235] - coeffs[0]*coeffs[0]*coeffs[3]*coeffs[3]*coeffs[235] - coeffs[1]*coeffs[1]*coeffs[3]*coeffs[3]*coeffs[235] - coeffs[9]*coeffs[10]*coeffs[10]*coeffs[181] - coeffs[9]*coeffs[11]*coeffs[11]*coeffs[181] - coeffs[1]*coeffs[2]*coeffs[2]*coeffs[387] - coeffs[1]*coeffs[3]*coeffs[3]*coeffs[387];
coeffs[594] = -coeffs[0]*coeffs[0]*coeffs[2]*coeffs[2]*coeffs[238] - coeffs[1]*coeffs[1]*coeffs[2]*coeffs[2]*coeffs[238] - coeffs[0]*coeffs[0]*coeffs[3]*coeffs[3]*coeffs[238] - coeffs[1]*coeffs[1]*coeffs[3]*coeffs[3]*coeffs[238];
coeffs[595] = -coeffs[9]*coeffs[11]*coeffs[182] - coeffs[9]*coeffs[10]*coeffs[183] - coeffs[1]*coeffs[3]*coeffs[390] - coeffs[1]*coeffs[2]*coeffs[391] - coeffs[9]*coeffs[177] - coeffs[3]*coeffs[233] - coeffs[2]*coeffs[234] - coeffs[149];
coeffs[596] = -coeffs[9]*coeffs[11]*coeffs[183] - coeffs[1]*coeffs[3]*coeffs[391] - coeffs[9]*coeffs[178] - coeffs[3]*coeffs[234];
coeffs[597] = -coeffs[9]*coeffs[10]*coeffs[10]*coeffs[182] - coeffs[9]*coeffs[11]*coeffs[11]*coeffs[182] - coeffs[0]*coeffs[0]*coeffs[2]*coeffs[239] - coeffs[1]*coeffs[1]*coeffs[2]*coeffs[239] - coeffs[1]*coeffs[2]*coeffs[2]*coeffs[390] - coeffs[1]*coeffs[3]*coeffs[3]*coeffs[390] - coeffs[9]*coeffs[10]*coeffs[184] - coeffs[0]*coeffs[0]*coeffs[233] - coeffs[1]*coeffs[1]*coeffs[233] - coeffs[2]*coeffs[2]*coeffs[233] - coeffs[3]*coeffs[3]*coeffs[233] - coeffs[1]*coeffs[2]*coeffs[392] - coeffs[9]*coeffs[179] - coeffs[2]*coeffs[235] - coeffs[1]*coeffs[385] - coeffs[150];
coeffs[598] = -coeffs[9]*coeffs[10]*coeffs[10]*coeffs[183] - coeffs[9]*coeffs[11]*coeffs[11]*coeffs[183] - coeffs[0]*coeffs[0]*coeffs[3]*coeffs[239] - coeffs[1]*coeffs[1]*coeffs[3]*coeffs[239] - coeffs[1]*coeffs[2]*coeffs[2]*coeffs[391] - coeffs[1]*coeffs[3]*coeffs[3]*coeffs[391] - coeffs[9]*coeffs[11]*coeffs[184] - coeffs[0]*coeffs[0]*coeffs[234] - coeffs[1]*coeffs[1]*coeffs[234] - coeffs[2]*coeffs[2]*coeffs[234] - coeffs[3]*coeffs[3]*coeffs[234] - coeffs[1]*coeffs[3]*coeffs[392] - coeffs[9]*coeffs[180] - coeffs[3]*coeffs[235] - coeffs[1]*coeffs[386];
coeffs[599] = -coeffs[0]*coeffs[0]*coeffs[2]*coeffs[2]*coeffs[239] - coeffs[1]*coeffs[1]*coeffs[2]*coeffs[2]*coeffs[239] - coeffs[0]*coeffs[0]*coeffs[3]*coeffs[3]*coeffs[239] - coeffs[1]*coeffs[1]*coeffs[3]*coeffs[3]*coeffs[239] - coeffs[9]*coeffs[10]*coeffs[10]*coeffs[184] - coeffs[9]*coeffs[11]*coeffs[11]*coeffs[184] - coeffs[1]*coeffs[2]*coeffs[2]*coeffs[392] - coeffs[1]*coeffs[3]*coeffs[3]*coeffs[392] - coeffs[0]*coeffs[0]*coeffs[235] - coeffs[1]*coeffs[1]*coeffs[235] - coeffs[2]*coeffs[2]*coeffs[235] - coeffs[3]*coeffs[3]*coeffs[235] - coeffs[9]*coeffs[181] - coeffs[1]*coeffs[387];
coeffs[600] = -coeffs[1]*coeffs[3]*coeffs[393] - coeffs[3]*coeffs[237] - coeffs[1]*coeffs[388];
coeffs[601] = -coeffs[0]*coeffs[0]*coeffs[2]*coeffs[240] - coeffs[1]*coeffs[1]*coeffs[2]*coeffs[240] - coeffs[0]*coeffs[0]*coeffs[236] - coeffs[1]*coeffs[1]*coeffs[236] - coeffs[2]*coeffs[2]*coeffs[236] - coeffs[3]*coeffs[3]*coeffs[236] - coeffs[2]*coeffs[238] - coeffs[153];
coeffs[602] = -coeffs[0]*coeffs[0]*coeffs[3]*coeffs[240] - coeffs[1]*coeffs[1]*coeffs[3]*coeffs[240] - coeffs[1]*coeffs[2]*coeffs[2]*coeffs[393] - coeffs[1]*coeffs[3]*coeffs[3]*coeffs[393] - coeffs[0]*coeffs[0]*coeffs[237] - coeffs[1]*coeffs[1]*coeffs[237] - coeffs[2]*coeffs[2]*coeffs[237] - coeffs[3]*coeffs[3]*coeffs[237] - coeffs[3]*coeffs[238] - coeffs[1]*coeffs[389];
coeffs[603] = -coeffs[0]*coeffs[0]*coeffs[2]*coeffs[2]*coeffs[240] - coeffs[1]*coeffs[1]*coeffs[2]*coeffs[2]*coeffs[240] - coeffs[0]*coeffs[0]*coeffs[3]*coeffs[3]*coeffs[240] - coeffs[1]*coeffs[1]*coeffs[3]*coeffs[3]*coeffs[240] - coeffs[0]*coeffs[0]*coeffs[238] - coeffs[1]*coeffs[1]*coeffs[238] - coeffs[2]*coeffs[2]*coeffs[238] - coeffs[3]*coeffs[3]*coeffs[238];
coeffs[604] = -coeffs[9]*coeffs[10]*coeffs[185] - coeffs[1]*coeffs[2]*coeffs[394] - coeffs[9]*coeffs[182] - coeffs[2]*coeffs[239] - coeffs[1]*coeffs[390] - coeffs[154] - coeffs[233];
coeffs[605] = -coeffs[9]*coeffs[11]*coeffs[185] - coeffs[1]*coeffs[3]*coeffs[394] - coeffs[9]*coeffs[183] - coeffs[3]*coeffs[239] - coeffs[1]*coeffs[391] - coeffs[234];
coeffs[606] = -coeffs[9]*coeffs[10]*coeffs[10]*coeffs[185] - coeffs[9]*coeffs[11]*coeffs[11]*coeffs[185] - coeffs[1]*coeffs[2]*coeffs[2]*coeffs[394] - coeffs[1]*coeffs[3]*coeffs[3]*coeffs[394] - coeffs[0]*coeffs[0]*coeffs[239] - coeffs[1]*coeffs[1]*coeffs[239] - coeffs[2]*coeffs[2]*coeffs[239] - coeffs[3]*coeffs[3]*coeffs[239] - coeffs[9]*coeffs[184] - coeffs[1]*coeffs[392] - coeffs[235];
coeffs[607] = -coeffs[2]*coeffs[240] - coeffs[155] - coeffs[236];
coeffs[608] = -coeffs[3]*coeffs[240] - coeffs[1]*coeffs[393] - coeffs[237];
coeffs[609] = -coeffs[0]*coeffs[0]*coeffs[240] - coeffs[1]*coeffs[1]*coeffs[240] - coeffs[2]*coeffs[2]*coeffs[240] - coeffs[3]*coeffs[3]*coeffs[240] - coeffs[238];
coeffs[610] = -coeffs[9]*coeffs[185] - coeffs[1]*coeffs[394] - coeffs[239];
coeffs[611] = -coeffs[240];
coeffs[612] = coeffs[8]*coeffs[8]*coeffs[10]*coeffs[10]*coeffs[182] + coeffs[9]*coeffs[9]*coeffs[10]*coeffs[10]*coeffs[182] + coeffs[8]*coeffs[8]*coeffs[11]*coeffs[11]*coeffs[182] + coeffs[9]*coeffs[9]*coeffs[11]*coeffs[11]*coeffs[182] + coeffs[8]*coeffs[8]*coeffs[10]*coeffs[184] + coeffs[9]*coeffs[9]*coeffs[10]*coeffs[184] + coeffs[8]*coeffs[8]*coeffs[179] + coeffs[9]*coeffs[9]*coeffs[179] + coeffs[10]*coeffs[10]*coeffs[179] + coeffs[11]*coeffs[11]*coeffs[179] + coeffs[10]*coeffs[181] - coeffs[164];
coeffs[613] = coeffs[8]*coeffs[8]*coeffs[10]*coeffs[10]*coeffs[183] + coeffs[9]*coeffs[9]*coeffs[10]*coeffs[10]*coeffs[183] + coeffs[8]*coeffs[8]*coeffs[11]*coeffs[11]*coeffs[183] + coeffs[9]*coeffs[9]*coeffs[11]*coeffs[11]*coeffs[183] - coeffs[0]*coeffs[0]*coeffs[2]*coeffs[2]*coeffs[247] - coeffs[1]*coeffs[1]*coeffs[2]*coeffs[2]*coeffs[247] - coeffs[0]*coeffs[0]*coeffs[3]*coeffs[3]*coeffs[247] - coeffs[1]*coeffs[1]*coeffs[3]*coeffs[3]*coeffs[247] + coeffs[8]*coeffs[8]*coeffs[11]*coeffs[184] + coeffs[9]*coeffs[9]*coeffs[11]*coeffs[184] - coeffs[1]*coeffs[2]*coeffs[2]*coeffs[398] - coeffs[1]*coeffs[3]*coeffs[3]*coeffs[398] + coeffs[8]*coeffs[8]*coeffs[180] + coeffs[9]*coeffs[9]*coeffs[180] + coeffs[10]*coeffs[10]*coeffs[180] + coeffs[11]*coeffs[11]*coeffs[180] - coeffs[0]*coeffs[0]*coeffs[243] - coeffs[1]*coeffs[1]*coeffs[243] - coeffs[2]*coeffs[2]*coeffs[243] - coeffs[3]*coeffs[3]*coeffs[243] + coeffs[11]*coeffs[181] - coeffs[1]*coeffs[395];
coeffs[614] = coeffs[8]*coeffs[8]*coeffs[10]*coeffs[10]*coeffs[184] + coeffs[9]*coeffs[9]*coeffs[10]*coeffs[10]*coeffs[184] + coeffs[8]*coeffs[8]*coeffs[11]*coeffs[11]*coeffs[184] + coeffs[9]*coeffs[9]*coeffs[11]*coeffs[11]*coeffs[184] + coeffs[8]*coeffs[8]*coeffs[181] + coeffs[9]*coeffs[9]*coeffs[181] + coeffs[10]*coeffs[10]*coeffs[181] + coeffs[11]*coeffs[11]*coeffs[181];
coeffs[615] = -coeffs[0]*coeffs[0]*coeffs[2]*coeffs[2]*coeffs[250] - coeffs[1]*coeffs[1]*coeffs[2]*coeffs[2]*coeffs[250] - coeffs[0]*coeffs[0]*coeffs[3]*coeffs[3]*coeffs[250] - coeffs[1]*coeffs[1]*coeffs[3]*coeffs[3]*coeffs[250] - coeffs[0]*coeffs[0]*coeffs[246] - coeffs[1]*coeffs[1]*coeffs[246] - coeffs[2]*coeffs[2]*coeffs[246] - coeffs[3]*coeffs[3]*coeffs[246];
coeffs[616] = -coeffs[1]*coeffs[2]*coeffs[401] + coeffs[11]*coeffs[182] + coeffs[10]*coeffs[183] - coeffs[2]*coeffs[247] - coeffs[1]*coeffs[396] - coeffs[170] + coeffs[177] - coeffs[241];
coeffs[617] = -coeffs[1]*coeffs[3]*coeffs[401] + coeffs[11]*coeffs[183] - coeffs[3]*coeffs[247] - coeffs[1]*coeffs[397] + coeffs[178] - coeffs[242];
coeffs[618] = coeffs[8]*coeffs[8]*coeffs[10]*coeffs[185] + coeffs[9]*coeffs[9]*coeffs[10]*coeffs[185] + coeffs[8]*coeffs[8]*coeffs[182] + coeffs[9]*coeffs[9]*coeffs[182] + coeffs[10]*coeffs[10]*coeffs[182] + coeffs[11]*coeffs[11]*coeffs[182] + coeffs[10]*coeffs[184] - coeffs[171] + coeffs[179];
coeffs[619] = coeffs[8]*coeffs[8]*coeffs[11]*coeffs[185] + coeffs[9]*coeffs[9]*coeffs[11]*coeffs[185] - coeffs[1]*coeffs[2]*coeffs[2]*coeffs[401] - coeffs[1]*coeffs[3]*coeffs[3]*coeffs[401] + coeffs[8]*coeffs[8]*coeffs[183] + coeffs[9]*coeffs[9]*coeffs[183] + coeffs[10]*coeffs[10]*coeffs[183] + coeffs[11]*coeffs[11]*coeffs[183] - coeffs[0]*coeffs[0]*coeffs[247] - coeffs[1]*coeffs[1]*coeffs[247] - coeffs[2]*coeffs[2]*coeffs[247] - coeffs[3]*coeffs[3]*coeffs[247] + coeffs[11]*coeffs[184] - coeffs[1]*coeffs[398] + coeffs[180] - coeffs[243];
coeffs[620] = coeffs[8]*coeffs[8]*coeffs[10]*coeffs[10]*coeffs[185] + coeffs[9]*coeffs[9]*coeffs[10]*coeffs[10]*coeffs[185] + coeffs[8]*coeffs[8]*coeffs[11]*coeffs[11]*coeffs[185] + coeffs[9]*coeffs[9]*coeffs[11]*coeffs[11]*coeffs[185] + coeffs[8]*coeffs[8]*coeffs[184] + coeffs[9]*coeffs[9]*coeffs[184] + coeffs[10]*coeffs[10]*coeffs[184] + coeffs[11]*coeffs[11]*coeffs[184] + coeffs[181];
coeffs[621] = -coeffs[1]*coeffs[3]*coeffs[402] - coeffs[3]*coeffs[249] - coeffs[1]*coeffs[399];
coeffs[622] = -coeffs[0]*coeffs[0]*coeffs[2]*coeffs[251] - coeffs[1]*coeffs[1]*coeffs[2]*coeffs[251] - coeffs[0]*coeffs[0]*coeffs[248] - coeffs[1]*coeffs[1]*coeffs[248] - coeffs[2]*coeffs[2]*coeffs[248] - coeffs[3]*coeffs[3]*coeffs[248] - coeffs[2]*coeffs[250] - coeffs[174] - coeffs[244];
coeffs[623] = -coeffs[0]*coeffs[0]*coeffs[3]*coeffs[251] - coeffs[1]*coeffs[1]*coeffs[3]*coeffs[251] - coeffs[1]*coeffs[2]*coeffs[2]*coeffs[402] - coeffs[1]*coeffs[3]*coeffs[3]*coeffs[402] - coeffs[0]*coeffs[0]*coeffs[249] - coeffs[1]*coeffs[1]*coeffs[249] - coeffs[2]*coeffs[2]*coeffs[249] - coeffs[3]*coeffs[3]*coeffs[249] - coeffs[3]*coeffs[250] - coeffs[1]*coeffs[400] - coeffs[245];
coeffs[624] = -coeffs[0]*coeffs[0]*coeffs[2]*coeffs[2]*coeffs[251] - coeffs[1]*coeffs[1]*coeffs[2]*coeffs[2]*coeffs[251] - coeffs[0]*coeffs[0]*coeffs[3]*coeffs[3]*coeffs[251] - coeffs[1]*coeffs[1]*coeffs[3]*coeffs[3]*coeffs[251] - coeffs[0]*coeffs[0]*coeffs[250] - coeffs[1]*coeffs[1]*coeffs[250] - coeffs[2]*coeffs[2]*coeffs[250] - coeffs[3]*coeffs[3]*coeffs[250] - coeffs[246];
coeffs[625] = coeffs[10]*coeffs[185] - coeffs[175] + coeffs[182];
coeffs[626] = coeffs[11]*coeffs[185] - coeffs[1]*coeffs[401] + coeffs[183] - coeffs[247];
coeffs[627] = coeffs[8]*coeffs[8]*coeffs[185] + coeffs[9]*coeffs[9]*coeffs[185] + coeffs[10]*coeffs[10]*coeffs[185] + coeffs[11]*coeffs[11]*coeffs[185] + coeffs[184];
coeffs[628] = -coeffs[2]*coeffs[251] - coeffs[176] - coeffs[248];
coeffs[629] = -coeffs[3]*coeffs[251] - coeffs[1]*coeffs[402] - coeffs[249];
coeffs[630] = -coeffs[0]*coeffs[0]*coeffs[251] - coeffs[1]*coeffs[1]*coeffs[251] - coeffs[2]*coeffs[2]*coeffs[251] - coeffs[3]*coeffs[3]*coeffs[251] - coeffs[250];
coeffs[631] = coeffs[185];
coeffs[632] = -coeffs[251];
coeffs[633] = -coeffs[4]*coeffs[4]*coeffs[6]*coeffs[6]*coeffs[233] - coeffs[5]*coeffs[5]*coeffs[6]*coeffs[6]*coeffs[233] - coeffs[4]*coeffs[4]*coeffs[7]*coeffs[7]*coeffs[233] - coeffs[5]*coeffs[5]*coeffs[7]*coeffs[7]*coeffs[233] - coeffs[9]*coeffs[10]*coeffs[10]*coeffs[226] - coeffs[9]*coeffs[11]*coeffs[11]*coeffs[226] - coeffs[4]*coeffs[4]*coeffs[6]*coeffs[235] - coeffs[5]*coeffs[5]*coeffs[6]*coeffs[235] - coeffs[1]*coeffs[2]*coeffs[2]*coeffs[403] - coeffs[1]*coeffs[3]*coeffs[3]*coeffs[403] - coeffs[9]*coeffs[10]*coeffs[228] - coeffs[1]*coeffs[2]*coeffs[405] - coeffs[190];
coeffs[634] = -coeffs[4]*coeffs[4]*coeffs[6]*coeffs[6]*coeffs[234] - coeffs[5]*coeffs[5]*coeffs[6]*coeffs[6]*coeffs[234] - coeffs[4]*coeffs[4]*coeffs[7]*coeffs[7]*coeffs[234] - coeffs[5]*coeffs[5]*coeffs[7]*coeffs[7]*coeffs[234] - coeffs[9]*coeffs[10]*coeffs[10]*coeffs[227] - coeffs[9]*coeffs[11]*coeffs[11]*coeffs[227] - coeffs[4]*coeffs[4]*coeffs[7]*coeffs[235] - coeffs[5]*coeffs[5]*coeffs[7]*coeffs[235] - coeffs[1]*coeffs[2]*coeffs[2]*coeffs[404] - coeffs[1]*coeffs[3]*coeffs[3]*coeffs[404] - coeffs[9]*coeffs[11]*coeffs[228] - coeffs[1]*coeffs[3]*coeffs[405];
coeffs[635] = -coeffs[4]*coeffs[4]*coeffs[6]*coeffs[6]*coeffs[235] - coeffs[5]*coeffs[5]*coeffs[6]*coeffs[6]*coeffs[235] - coeffs[4]*coeffs[4]*coeffs[7]*coeffs[7]*coeffs[235] - coeffs[5]*coeffs[5]*coeffs[7]*coeffs[7]*coeffs[235] - coeffs[9]*coeffs[10]*coeffs[10]*coeffs[228] - coeffs[9]*coeffs[11]*coeffs[11]*coeffs[228] - coeffs[1]*coeffs[2]*coeffs[2]*coeffs[405] - coeffs[1]*coeffs[3]*coeffs[3]*coeffs[405];
coeffs[636] = -coeffs[4]*coeffs[4]*coeffs[6]*coeffs[6]*coeffs[238] - coeffs[5]*coeffs[5]*coeffs[6]*coeffs[6]*coeffs[238] - coeffs[4]*coeffs[4]*coeffs[7]*coeffs[7]*coeffs[238] - coeffs[5]*coeffs[5]*coeffs[7]*coeffs[7]*coeffs[238];
coeffs[637] = -coeffs[9]*coeffs[11]*coeffs[229] - coeffs[9]*coeffs[10]*coeffs[230] - coeffs[1]*coeffs[3]*coeffs[408] - coeffs[1]*coeffs[2]*coeffs[409] - coeffs[9]*coeffs[224] - coeffs[7]*coeffs[233] - coeffs[6]*coeffs[234] - coeffs[196];
coeffs[638] = -coeffs[9]*coeffs[11]*coeffs[230] - coeffs[1]*coeffs[3]*coeffs[409] - coeffs[9]*coeffs[225] - coeffs[7]*coeffs[234];
coeffs[639] = -coeffs[9]*coeffs[10]*coeffs[10]*coeffs[229] - coeffs[9]*coeffs[11]*coeffs[11]*coeffs[229] - coeffs[4]*coeffs[4]*coeffs[6]*coeffs[239] - coeffs[5]*coeffs[5]*coeffs[6]*coeffs[239] - coeffs[1]*coeffs[2]*coeffs[2]*coeffs[408] - coeffs[1]*coeffs[3]*coeffs[3]*coeffs[408] - coeffs[9]*coeffs[10]*coeffs[231] - coeffs[4]*coeffs[4]*coeffs[233] - coeffs[5]*coeffs[5]*coeffs[233] - coeffs[6]*coeffs[6]*coeffs[233] - coeffs[7]*coeffs[7]*coeffs[233] - coeffs[1]*coeffs[2]*coeffs[410] - coeffs[9]*coeffs[226] - coeffs[6]*coeffs[235] - coeffs[1]*coeffs[403] - coeffs[197];
coeffs[640] = -coeffs[9]*coeffs[10]*coeffs[10]*coeffs[230] - coeffs[9]*coeffs[11]*coeffs[11]*coeffs[230] - coeffs[4]*coeffs[4]*coeffs[7]*coeffs[239] - coeffs[5]*coeffs[5]*coeffs[7]*coeffs[239] - coeffs[1]*coeffs[2]*coeffs[2]*coeffs[409] - coeffs[1]*coeffs[3]*coeffs[3]*coeffs[409] - coeffs[9]*coeffs[11]*coeffs[231] - coeffs[4]*coeffs[4]*coeffs[234] - coeffs[5]*coeffs[5]*coeffs[234] - coeffs[6]*coeffs[6]*coeffs[234] - coeffs[7]*coeffs[7]*coeffs[234] - coeffs[1]*coeffs[3]*coeffs[410] - coeffs[9]*coeffs[227] - coeffs[7]*coeffs[235] - coeffs[1]*coeffs[404];
coeffs[641] = -coeffs[4]*coeffs[4]*coeffs[6]*coeffs[6]*coeffs[239] - coeffs[5]*coeffs[5]*coeffs[6]*coeffs[6]*coeffs[239] - coeffs[4]*coeffs[4]*coeffs[7]*coeffs[7]*coeffs[239] - coeffs[5]*coeffs[5]*coeffs[7]*coeffs[7]*coeffs[239] - coeffs[9]*coeffs[10]*coeffs[10]*coeffs[231] - coeffs[9]*coeffs[11]*coeffs[11]*coeffs[231] - coeffs[1]*coeffs[2]*coeffs[2]*coeffs[410] - coeffs[1]*coeffs[3]*coeffs[3]*coeffs[410] - coeffs[4]*coeffs[4]*coeffs[235] - coeffs[5]*coeffs[5]*coeffs[235] - coeffs[6]*coeffs[6]*coeffs[235] - coeffs[7]*coeffs[7]*coeffs[235] - coeffs[9]*coeffs[228] - coeffs[1]*coeffs[405];
coeffs[642] = -coeffs[1]*coeffs[3]*coeffs[411] - coeffs[7]*coeffs[237] - coeffs[1]*coeffs[406];
coeffs[643] = -coeffs[4]*coeffs[4]*coeffs[6]*coeffs[240] - coeffs[5]*coeffs[5]*coeffs[6]*coeffs[240] - coeffs[4]*coeffs[4]*coeffs[236] - coeffs[5]*coeffs[5]*coeffs[236] - coeffs[6]*coeffs[6]*coeffs[236] - coeffs[7]*coeffs[7]*coeffs[236] - coeffs[6]*coeffs[238] - coeffs[200];
coeffs[644] = -coeffs[4]*coeffs[4]*coeffs[7]*coeffs[240] - coeffs[5]*coeffs[5]*coeffs[7]*coeffs[240] - coeffs[1]*coeffs[2]*coeffs[2]*coeffs[411] - coeffs[1]*coeffs[3]*coeffs[3]*coeffs[411] - coeffs[4]*coeffs[4]*coeffs[237] - coeffs[5]*coeffs[5]*coeffs[237] - coeffs[6]*coeffs[6]*coeffs[237] - coeffs[7]*coeffs[7]*coeffs[237] - coeffs[7]*coeffs[238] - coeffs[1]*coeffs[407];
coeffs[645] = -coeffs[4]*coeffs[4]*coeffs[6]*coeffs[6]*coeffs[240] - coeffs[5]*coeffs[5]*coeffs[6]*coeffs[6]*coeffs[240] - coeffs[4]*coeffs[4]*coeffs[7]*coeffs[7]*coeffs[240] - coeffs[5]*coeffs[5]*coeffs[7]*coeffs[7]*coeffs[240] - coeffs[4]*coeffs[4]*coeffs[238] - coeffs[5]*coeffs[5]*coeffs[238] - coeffs[6]*coeffs[6]*coeffs[238] - coeffs[7]*coeffs[7]*coeffs[238];
coeffs[646] = -coeffs[9]*coeffs[10]*coeffs[232] - coeffs[1]*coeffs[2]*coeffs[412] - coeffs[9]*coeffs[229] - coeffs[6]*coeffs[239] - coeffs[1]*coeffs[408] - coeffs[201] - coeffs[233];
coeffs[647] = -coeffs[9]*coeffs[11]*coeffs[232] - coeffs[1]*coeffs[3]*coeffs[412] - coeffs[9]*coeffs[230] - coeffs[7]*coeffs[239] - coeffs[1]*coeffs[409] - coeffs[234];
coeffs[648] = -coeffs[9]*coeffs[10]*coeffs[10]*coeffs[232] - coeffs[9]*coeffs[11]*coeffs[11]*coeffs[232] - coeffs[1]*coeffs[2]*coeffs[2]*coeffs[412] - coeffs[1]*coeffs[3]*coeffs[3]*coeffs[412] - coeffs[4]*coeffs[4]*coeffs[239] - coeffs[5]*coeffs[5]*coeffs[239] - coeffs[6]*coeffs[6]*coeffs[239] - coeffs[7]*coeffs[7]*coeffs[239] - coeffs[9]*coeffs[231] - coeffs[1]*coeffs[410] - coeffs[235];
coeffs[649] = -coeffs[6]*coeffs[240] - coeffs[202] - coeffs[236];
coeffs[650] = -coeffs[7]*coeffs[240] - coeffs[1]*coeffs[411] - coeffs[237];
coeffs[651] = -coeffs[4]*coeffs[4]*coeffs[240] - coeffs[5]*coeffs[5]*coeffs[240] - coeffs[6]*coeffs[6]*coeffs[240] - coeffs[7]*coeffs[7]*coeffs[240] - coeffs[238];
coeffs[652] = -coeffs[9]*coeffs[232] - coeffs[1]*coeffs[412] - coeffs[239];
coeffs[653] = -coeffs[240];
coeffs[654] = coeffs[8]*coeffs[8]*coeffs[10]*coeffs[10]*coeffs[229] + coeffs[9]*coeffs[9]*coeffs[10]*coeffs[10]*coeffs[229] + coeffs[8]*coeffs[8]*coeffs[11]*coeffs[11]*coeffs[229] + coeffs[9]*coeffs[9]*coeffs[11]*coeffs[11]*coeffs[229] + coeffs[8]*coeffs[8]*coeffs[10]*coeffs[231] + coeffs[9]*coeffs[9]*coeffs[10]*coeffs[231] + coeffs[8]*coeffs[8]*coeffs[226] + coeffs[9]*coeffs[9]*coeffs[226] + coeffs[10]*coeffs[10]*coeffs[226] + coeffs[11]*coeffs[11]*coeffs[226] + coeffs[10]*coeffs[228] - coeffs[211];
coeffs[655] = coeffs[8]*coeffs[8]*coeffs[10]*coeffs[10]*coeffs[230] + coeffs[9]*coeffs[9]*coeffs[10]*coeffs[10]*coeffs[230] + coeffs[8]*coeffs[8]*coeffs[11]*coeffs[11]*coeffs[230] + coeffs[9]*coeffs[9]*coeffs[11]*coeffs[11]*coeffs[230] - coeffs[4]*coeffs[4]*coeffs[6]*coeffs[6]*coeffs[247] - coeffs[5]*coeffs[5]*coeffs[6]*coeffs[6]*coeffs[247] - coeffs[4]*coeffs[4]*coeffs[7]*coeffs[7]*coeffs[247] - coeffs[5]*coeffs[5]*coeffs[7]*coeffs[7]*coeffs[247] + coeffs[8]*coeffs[8]*coeffs[11]*coeffs[231] + coeffs[9]*coeffs[9]*coeffs[11]*coeffs[231] - coeffs[1]*coeffs[2]*coeffs[2]*coeffs[416] - coeffs[1]*coeffs[3]*coeffs[3]*coeffs[416] + coeffs[8]*coeffs[8]*coeffs[227] + coeffs[9]*coeffs[9]*coeffs[227] + coeffs[10]*coeffs[10]*coeffs[227] + coeffs[11]*coeffs[11]*coeffs[227] - coeffs[4]*coeffs[4]*coeffs[243] - coeffs[5]*coeffs[5]*coeffs[243] - coeffs[6]*coeffs[6]*coeffs[243] - coeffs[7]*coeffs[7]*coeffs[243] + coeffs[11]*coeffs[228] - coeffs[1]*coeffs[413];
coeffs[656] = coeffs[8]*coeffs[8]*coeffs[10]*coeffs[10]*coeffs[231] + coeffs[9]*coeffs[9]*coeffs[10]*coeffs[10]*coeffs[231] + coeffs[8]*coeffs[8]*coeffs[11]*coeffs[11]*coeffs[231] + coeffs[9]*coeffs[9]*coeffs[11]*coeffs[11]*coeffs[231] + coeffs[8]*coeffs[8]*coeffs[228] + coeffs[9]*coeffs[9]*coeffs[228] + coeffs[10]*coeffs[10]*coeffs[228] + coeffs[11]*coeffs[11]*coeffs[228];
coeffs[657] = -coeffs[4]*coeffs[4]*coeffs[6]*coeffs[6]*coeffs[250] - coeffs[5]*coeffs[5]*coeffs[6]*coeffs[6]*coeffs[250] - coeffs[4]*coeffs[4]*coeffs[7]*coeffs[7]*coeffs[250] - coeffs[5]*coeffs[5]*coeffs[7]*coeffs[7]*coeffs[250] - coeffs[4]*coeffs[4]*coeffs[246] - coeffs[5]*coeffs[5]*coeffs[246] - coeffs[6]*coeffs[6]*coeffs[246] - coeffs[7]*coeffs[7]*coeffs[246];
coeffs[658] = -coeffs[1]*coeffs[2]*coeffs[419] + coeffs[11]*coeffs[229] + coeffs[10]*coeffs[230] - coeffs[6]*coeffs[247] - coeffs[1]*coeffs[414] - coeffs[217] + coeffs[224] - coeffs[241];
coeffs[659] = -coeffs[1]*coeffs[3]*coeffs[419] + coeffs[11]*coeffs[230] - coeffs[7]*coeffs[247] - coeffs[1]*coeffs[415] + coeffs[225] - coeffs[242];
coeffs[660] = coeffs[8]*coeffs[8]*coeffs[10]*coeffs[232] + coeffs[9]*coeffs[9]*coeffs[10]*coeffs[232] + coeffs[8]*coeffs[8]*coeffs[229] + coeffs[9]*coeffs[9]*coeffs[229] + coeffs[10]*coeffs[10]*coeffs[229] + coeffs[11]*coeffs[11]*coeffs[229] + coeffs[10]*coeffs[231] - coeffs[218] + coeffs[226];
coeffs[661] = coeffs[8]*coeffs[8]*coeffs[11]*coeffs[232] + coeffs[9]*coeffs[9]*coeffs[11]*coeffs[232] - coeffs[1]*coeffs[2]*coeffs[2]*coeffs[419] - coeffs[1]*coeffs[3]*coeffs[3]*coeffs[419] + coeffs[8]*coeffs[8]*coeffs[230] + coeffs[9]*coeffs[9]*coeffs[230] + coeffs[10]*coeffs[10]*coeffs[230] + coeffs[11]*coeffs[11]*coeffs[230] - coeffs[4]*coeffs[4]*coeffs[247] - coeffs[5]*coeffs[5]*coeffs[247] - coeffs[6]*coeffs[6]*coeffs[247] - coeffs[7]*coeffs[7]*coeffs[247] + coeffs[11]*coeffs[231] - coeffs[1]*coeffs[416] + coeffs[227] - coeffs[243];
coeffs[662] = coeffs[8]*coeffs[8]*coeffs[10]*coeffs[10]*coeffs[232] + coeffs[9]*coeffs[9]*coeffs[10]*coeffs[10]*coeffs[232] + coeffs[8]*coeffs[8]*coeffs[11]*coeffs[11]*coeffs[232] + coeffs[9]*coeffs[9]*coeffs[11]*coeffs[11]*coeffs[232] + coeffs[8]*coeffs[8]*coeffs[231] + coeffs[9]*coeffs[9]*coeffs[231] + coeffs[10]*coeffs[10]*coeffs[231] + coeffs[11]*coeffs[11]*coeffs[231] + coeffs[228];
coeffs[663] = -coeffs[1]*coeffs[3]*coeffs[420] - coeffs[7]*coeffs[249] - coeffs[1]*coeffs[417];
coeffs[664] = -coeffs[4]*coeffs[4]*coeffs[6]*coeffs[251] - coeffs[5]*coeffs[5]*coeffs[6]*coeffs[251] - coeffs[4]*coeffs[4]*coeffs[248] - coeffs[5]*coeffs[5]*coeffs[248] - coeffs[6]*coeffs[6]*coeffs[248] - coeffs[7]*coeffs[7]*coeffs[248] - coeffs[6]*coeffs[250] - coeffs[221] - coeffs[244];
coeffs[665] = -coeffs[4]*coeffs[4]*coeffs[7]*coeffs[251] - coeffs[5]*coeffs[5]*coeffs[7]*coeffs[251] - coeffs[1]*coeffs[2]*coeffs[2]*coeffs[420] - coeffs[1]*coeffs[3]*coeffs[3]*coeffs[420] - coeffs[4]*coeffs[4]*coeffs[249] - coeffs[5]*coeffs[5]*coeffs[249] - coeffs[6]*coeffs[6]*coeffs[249] - coeffs[7]*coeffs[7]*coeffs[249] - coeffs[7]*coeffs[250] - coeffs[1]*coeffs[418] - coeffs[245];
coeffs[666] = -coeffs[4]*coeffs[4]*coeffs[6]*coeffs[6]*coeffs[251] - coeffs[5]*coeffs[5]*coeffs[6]*coeffs[6]*coeffs[251] - coeffs[4]*coeffs[4]*coeffs[7]*coeffs[7]*coeffs[251] - coeffs[5]*coeffs[5]*coeffs[7]*coeffs[7]*coeffs[251] - coeffs[4]*coeffs[4]*coeffs[250] - coeffs[5]*coeffs[5]*coeffs[250] - coeffs[6]*coeffs[6]*coeffs[250] - coeffs[7]*coeffs[7]*coeffs[250] - coeffs[246];
coeffs[667] = coeffs[10]*coeffs[232] - coeffs[222] + coeffs[229];
coeffs[668] = coeffs[11]*coeffs[232] - coeffs[1]*coeffs[419] + coeffs[230] - coeffs[247];
coeffs[669] = coeffs[8]*coeffs[8]*coeffs[232] + coeffs[9]*coeffs[9]*coeffs[232] + coeffs[10]*coeffs[10]*coeffs[232] + coeffs[11]*coeffs[11]*coeffs[232] + coeffs[231];
coeffs[670] = -coeffs[6]*coeffs[251] - coeffs[223] - coeffs[248];
coeffs[671] = -coeffs[7]*coeffs[251] - coeffs[1]*coeffs[420] - coeffs[249];
coeffs[672] = -coeffs[4]*coeffs[4]*coeffs[251] - coeffs[5]*coeffs[5]*coeffs[251] - coeffs[6]*coeffs[6]*coeffs[251] - coeffs[7]*coeffs[7]*coeffs[251] - coeffs[250];
coeffs[673] = coeffs[232];
coeffs[674] = -coeffs[251];
coeffs[675] = coeffs[4]*coeffs[4]*coeffs[6]*coeffs[6]*coeffs[273] + coeffs[5]*coeffs[5]*coeffs[6]*coeffs[6]*coeffs[273] + coeffs[4]*coeffs[4]*coeffs[7]*coeffs[7]*coeffs[273] + coeffs[5]*coeffs[5]*coeffs[7]*coeffs[7]*coeffs[273] - coeffs[0]*coeffs[0]*coeffs[2]*coeffs[2]*coeffs[320] - coeffs[1]*coeffs[1]*coeffs[2]*coeffs[2]*coeffs[320] - coeffs[0]*coeffs[0]*coeffs[3]*coeffs[3]*coeffs[320] - coeffs[1]*coeffs[1]*coeffs[3]*coeffs[3]*coeffs[320] + coeffs[9]*coeffs[10]*coeffs[10]*coeffs[257] + coeffs[9]*coeffs[11]*coeffs[11]*coeffs[257] + coeffs[4]*coeffs[4]*coeffs[6]*coeffs[275] + coeffs[5]*coeffs[5]*coeffs[6]*coeffs[275] - coeffs[0]*coeffs[0]*coeffs[2]*coeffs[322] - coeffs[1]*coeffs[1]*coeffs[2]*coeffs[322] - coeffs[5]*coeffs[6]*coeffs[6]*coeffs[373] - coeffs[5]*coeffs[7]*coeffs[7]*coeffs[373] + coeffs[9]*coeffs[10]*coeffs[259] + coeffs[4]*coeffs[4]*coeffs[266] + coeffs[5]*coeffs[5]*coeffs[266] + coeffs[6]*coeffs[6]*coeffs[266] + coeffs[7]*coeffs[7]*coeffs[266] - coeffs[0]*coeffs[0]*coeffs[313] - coeffs[1]*coeffs[1]*coeffs[313] - coeffs[2]*coeffs[2]*coeffs[313] - coeffs[3]*coeffs[3]*coeffs[313] - coeffs[5]*coeffs[6]*coeffs[375] + coeffs[9]*coeffs[252] + coeffs[6]*coeffs[268] - coeffs[2]*coeffs[315] - coeffs[5]*coeffs[368];
coeffs[676] = coeffs[4]*coeffs[4]*coeffs[6]*coeffs[6]*coeffs[274] + coeffs[5]*coeffs[5]*coeffs[6]*coeffs[6]*coeffs[274] + coeffs[4]*coeffs[4]*coeffs[7]*coeffs[7]*coeffs[274] + coeffs[5]*coeffs[5]*coeffs[7]*coeffs[7]*coeffs[274] - coeffs[0]*coeffs[0]*coeffs[2]*coeffs[2]*coeffs[321] - coeffs[1]*coeffs[1]*coeffs[2]*coeffs[2]*coeffs[321] - coeffs[0]*coeffs[0]*coeffs[3]*coeffs[3]*coeffs[321] - coeffs[1]*coeffs[1]*coeffs[3]*coeffs[3]*coeffs[321] + coeffs[9]*coeffs[10]*coeffs[10]*coeffs[258] + coeffs[9]*coeffs[11]*coeffs[11]*coeffs[258] + coeffs[4]*coeffs[4]*coeffs[7]*coeffs[275] + coeffs[5]*coeffs[5]*coeffs[7]*coeffs[275] - coeffs[0]*coeffs[0]*coeffs[3]*coeffs[322] - coeffs[1]*coeffs[1]*coeffs[3]*coeffs[322] - coeffs[5]*coeffs[6]*coeffs[6]*coeffs[374] - coeffs[5]*coeffs[7]*coeffs[7]*coeffs[374] + coeffs[9]*coeffs[11]*coeffs[259] + coeffs[4]*coeffs[4]*coeffs[267] + coeffs[5]*coeffs[5]*coeffs[267] + coeffs[6]*coeffs[6]*coeffs[267] + coeffs[7]*coeffs[7]*coeffs[267] - coeffs[0]*coeffs[0]*coeffs[314] - coeffs[1]*coeffs[1]*coeffs[314] - coeffs[2]*coeffs[2]*coeffs[314] - coeffs[3]*coeffs[3]*coeffs[314] - coeffs[5]*coeffs[7]*coeffs[375] + coeffs[9]*coeffs[253] + coeffs[7]*coeffs[268] - coeffs[3]*coeffs[315] - coeffs[5]*coeffs[369];
coeffs[677] = coeffs[4]*coeffs[4]*coeffs[6]*coeffs[6]*coeffs[275] + coeffs[5]*coeffs[5]*coeffs[6]*coeffs[6]*coeffs[275] + coeffs[4]*coeffs[4]*coeffs[7]*coeffs[7]*coeffs[275] + coeffs[5]*coeffs[5]*coeffs[7]*coeffs[7]*coeffs[275] - coeffs[0]*coeffs[0]*coeffs[2]*coeffs[2]*coeffs[322] - coeffs[1]*coeffs[1]*coeffs[2]*coeffs[2]*coeffs[322] - coeffs[0]*coeffs[0]*coeffs[3]*coeffs[3]*coeffs[322] - coeffs[1]*coeffs[1]*coeffs[3]*coeffs[3]*coeffs[322] + coeffs[9]*coeffs[10]*coeffs[10]*coeffs[259] + coeffs[9]*coeffs[11]*coeffs[11]*coeffs[259] - coeffs[5]*coeffs[6]*coeffs[6]*coeffs[375] - coeffs[5]*coeffs[7]*coeffs[7]*coeffs[375] + coeffs[4]*coeffs[4]*coeffs[268] + coeffs[5]*coeffs[5]*coeffs[268] + coeffs[6]*coeffs[6]*coeffs[268] + coeffs[7]*coeffs[7]*coeffs[268] - coeffs[0]*coeffs[0]*coeffs[315] - coeffs[1]*coeffs[1]*coeffs[315] - coeffs[2]*coeffs[2]*coeffs[315] - coeffs[3]*coeffs[3]*coeffs[315] + coeffs[9]*coeffs[254] - coeffs[5]*coeffs[370];
coeffs[678] = coeffs[4]*coeffs[4]*coeffs[6]*coeffs[6]*coeffs[278] + coeffs[5]*coeffs[5]*coeffs[6]*coeffs[6]*coeffs[278] + coeffs[4]*coeffs[4]*coeffs[7]*coeffs[7]*coeffs[278] + coeffs[5]*coeffs[5]*coeffs[7]*coeffs[7]*coeffs[278] - coeffs[0]*coeffs[0]*coeffs[2]*coeffs[2]*coeffs[325] - coeffs[1]*coeffs[1]*coeffs[2]*coeffs[2]*coeffs[325] - coeffs[0]*coeffs[0]*coeffs[3]*coeffs[3]*coeffs[325] - coeffs[1]*coeffs[1]*coeffs[3]*coeffs[3]*coeffs[325] + coeffs[4]*coeffs[4]*coeffs[272] + coeffs[5]*coeffs[5]*coeffs[272] + coeffs[6]*coeffs[6]*coeffs[272] + coeffs[7]*coeffs[7]*coeffs[272] - coeffs[0]*coeffs[0]*coeffs[319] - coeffs[1]*coeffs[1]*coeffs[319] - coeffs[2]*coeffs[2]*coeffs[319] - coeffs[3]*coeffs[3]*coeffs[319];
coeffs[679] = coeffs[9]*coeffs[11]*coeffs[260] + coeffs[9]*coeffs[10]*coeffs[261] - coeffs[5]*coeffs[7]*coeffs[376] - coeffs[5]*coeffs[6]*coeffs[377] + coeffs[9]*coeffs[255] + coeffs[7]*coeffs[273] + coeffs[6]*coeffs[274] - coeffs[3]*coeffs[320] - coeffs[2]*coeffs[321] - coeffs[5]*coeffs[371] + coeffs[264] - coeffs[311];
coeffs[680] = coeffs[9]*coeffs[11]*coeffs[261] - coeffs[5]*coeffs[7]*coeffs[377] + coeffs[9]*coeffs[256] + coeffs[7]*coeffs[274] - coeffs[3]*coeffs[321] - coeffs[5]*coeffs[372] + coeffs[265] - coeffs[312];
coeffs[681] = coeffs[9]*coeffs[10]*coeffs[10]*coeffs[260] + coeffs[9]*coeffs[11]*coeffs[11]*coeffs[260] + coeffs[4]*coeffs[4]*coeffs[6]*coeffs[279] + coeffs[5]*coeffs[5]*coeffs[6]*coeffs[279] - coeffs[0]*coeffs[0]*coeffs[2]*coeffs[326] - coeffs[1]*coeffs[1]*coeffs[2]*coeffs[326] - coeffs[5]*coeffs[6]*coeffs[6]*coeffs[376] - coeffs[5]*coeffs[7]*coeffs[7]*coeffs[376] + coeffs[9]*coeffs[10]*coeffs[262] + coeffs[4]*coeffs[4]*coeffs[273] + coeffs[5]*coeffs[5]*coeffs[273] + coeffs[6]*coeffs[6]*coeffs[273] + coeffs[7]*coeffs[7]*coeffs[273] - coeffs[0]*coeffs[0]*coeffs[320] - coeffs[1]*coeffs[1]*coeffs[320] - coeffs[2]*coeffs[2]*coeffs[320] - coeffs[3]*coeffs[3]*coeffs[320] - coeffs[5]*coeffs[6]*coeffs[378] + coeffs[9]*coeffs[257] + coeffs[6]*coeffs[275] - coeffs[2]*coeffs[322] - coeffs[5]*coeffs[373] + coeffs[266] - coeffs[313];
coeffs[682] = coeffs[9]*coeffs[10]*coeffs[10]*coeffs[261] + coeffs[9]*coeffs[11]*coeffs[11]*coeffs[261] + coeffs[4]*coeffs[4]*coeffs[7]*coeffs[279] + coeffs[5]*coeffs[5]*coeffs[7]*coeffs[279] - coeffs[0]*coeffs[0]*coeffs[3]*coeffs[326] - coeffs[1]*coeffs[1]*coeffs[3]*coeffs[326] - coeffs[5]*coeffs[6]*coeffs[6]*coeffs[377] - coeffs[5]*coeffs[7]*coeffs[7]*coeffs[377] + coeffs[9]*coeffs[11]*coeffs[262] + coeffs[4]*coeffs[4]*coeffs[274] + coeffs[5]*coeffs[5]*coeffs[274] + coeffs[6]*coeffs[6]*coeffs[274] + coeffs[7]*coeffs[7]*coeffs[274] - coeffs[0]*coeffs[0]*coeffs[321] - coeffs[1]*coeffs[1]*coeffs[321] - coeffs[2]*coeffs[2]*coeffs[321] - coeffs[3]*coeffs[3]*coeffs[321] - coeffs[5]*coeffs[7]*coeffs[378] + coeffs[9]*coeffs[258] + coeffs[7]*coeffs[275] - coeffs[3]*coeffs[322] - coeffs[5]*coeffs[374] + coeffs[267] - coeffs[314];
coeffs[683] = coeffs[4]*coeffs[4]*coeffs[6]*coeffs[6]*coeffs[279] + coeffs[5]*coeffs[5]*coeffs[6]*coeffs[6]*coeffs[279] + coeffs[4]*coeffs[4]*coeffs[7]*coeffs[7]*coeffs[279] + coeffs[5]*coeffs[5]*coeffs[7]*coeffs[7]*coeffs[279] - coeffs[0]*coeffs[0]*coeffs[2]*coeffs[2]*coeffs[326] - coeffs[1]*coeffs[1]*coeffs[2]*coeffs[2]*coeffs[326] - coeffs[0]*coeffs[0]*coeffs[3]*coeffs[3]*coeffs[326] - coeffs[1]*coeffs[1]*coeffs[3]*coeffs[3]*coeffs[326] + coeffs[9]*coeffs[10]*coeffs[10]*coeffs[262] + coeffs[9]*coeffs[11]*coeffs[11]*coeffs[262] - coeffs[5]*coeffs[6]*coeffs[6]*coeffs[378] - coeffs[5]*coeffs[7]*coeffs[7]*coeffs[378] + coeffs[4]*coeffs[4]*coeffs[275] + coeffs[5]*coeffs[5]*coeffs[275] + coeffs[6]*coeffs[6]*coeffs[275] + coeffs[7]*coeffs[7]*coeffs[275] - coeffs[0]*coeffs[0]*coeffs[322] - coeffs[1]*coeffs[1]*coeffs[322] - coeffs[2]*coeffs[2]*coeffs[322] - coeffs[3]*coeffs[3]*coeffs[322] + coeffs[9]*coeffs[259] - coeffs[5]*coeffs[375] + coeffs[268] - coeffs[315];
coeffs[684] = coeffs[7]*coeffs[277] - coeffs[3]*coeffs[324] + coeffs[269] - coeffs[316];
coeffs[685] = coeffs[4]*coeffs[4]*coeffs[6]*coeffs[280] + coeffs[5]*coeffs[5]*coeffs[6]*coeffs[280] - coeffs[0]*coeffs[0]*coeffs[2]*coeffs[327] - coeffs[1]*coeffs[1]*coeffs[2]*coeffs[327] + coeffs[4]*coeffs[4]*coeffs[276] + coeffs[5]*coeffs[5]*coeffs[276] + coeffs[6]*coeffs[6]*coeffs[276] + coeffs[7]*coeffs[7]*coeffs[276] - coeffs[0]*coeffs[0]*coeffs[323] - coeffs[1]*coeffs[1]*coeffs[323] - coeffs[2]*coeffs[2]*coeffs[323] - coeffs[3]*coeffs[3]*coeffs[323] + coeffs[6]*coeffs[278] - coeffs[2]*coeffs[325] + coeffs[270] - coeffs[317];
coeffs[686] = coeffs[4]*coeffs[4]*coeffs[7]*coeffs[280] + coeffs[5]*coeffs[5]*coeffs[7]*coeffs[280] - coeffs[0]*coeffs[0]*coeffs[3]*coeffs[327] - coeffs[1]*coeffs[1]*coeffs[3]*coeffs[327] + coeffs[4]*coeffs[4]*coeffs[277] + coeffs[5]*coeffs[5]*coeffs[277] + coeffs[6]*coeffs[6]*coeffs[277] + coeffs[7]*coeffs[7]*coeffs[277] - coeffs[0]*coeffs[0]*coeffs[324] - coeffs[1]*coeffs[1]*coeffs[324] - coeffs[2]*coeffs[2]*coeffs[324] - coeffs[3]*coeffs[3]*coeffs[324] + coeffs[7]*coeffs[278] - coeffs[3]*coeffs[325] + coeffs[271] - coeffs[318];
coeffs[687] = coeffs[4]*coeffs[4]*coeffs[6]*coeffs[6]*coeffs[280] + coeffs[5]*coeffs[5]*coeffs[6]*coeffs[6]*coeffs[280] + coeffs[4]*coeffs[4]*coeffs[7]*coeffs[7]*coeffs[280] + coeffs[5]*coeffs[5]*coeffs[7]*coeffs[7]*coeffs[280] - coeffs[0]*coeffs[0]*coeffs[2]*coeffs[2]*coeffs[327] - coeffs[1]*coeffs[1]*coeffs[2]*coeffs[2]*coeffs[327] - coeffs[0]*coeffs[0]*coeffs[3]*coeffs[3]*coeffs[327] - coeffs[1]*coeffs[1]*coeffs[3]*coeffs[3]*coeffs[327] + coeffs[4]*coeffs[4]*coeffs[278] + coeffs[5]*coeffs[5]*coeffs[278] + coeffs[6]*coeffs[6]*coeffs[278] + coeffs[7]*coeffs[7]*coeffs[278] - coeffs[0]*coeffs[0]*coeffs[325] - coeffs[1]*coeffs[1]*coeffs[325] - coeffs[2]*coeffs[2]*coeffs[325] - coeffs[3]*coeffs[3]*coeffs[325] + coeffs[272] - coeffs[319];
coeffs[688] = coeffs[9]*coeffs[10]*coeffs[263] - coeffs[5]*coeffs[6]*coeffs[379] + coeffs[9]*coeffs[260] + coeffs[6]*coeffs[279] - coeffs[2]*coeffs[326] - coeffs[5]*coeffs[376] + coeffs[273] - coeffs[320];
coeffs[689] = coeffs[9]*coeffs[11]*coeffs[263] - coeffs[5]*coeffs[7]*coeffs[379] + coeffs[9]*coeffs[261] + coeffs[7]*coeffs[279] - coeffs[3]*coeffs[326] - coeffs[5]*coeffs[377] + coeffs[274] - coeffs[321];
coeffs[690] = coeffs[9]*coeffs[10]*coeffs[10]*coeffs[263] + coeffs[9]*coeffs[11]*coeffs[11]*coeffs[263] - coeffs[5]*coeffs[6]*coeffs[6]*coeffs[379] - coeffs[5]*coeffs[7]*coeffs[7]*coeffs[379] + coeffs[4]*coeffs[4]*coeffs[279] + coeffs[5]*coeffs[5]*coeffs[279] + coeffs[6]*coeffs[6]*coeffs[279] + coeffs[7]*coeffs[7]*coeffs[279] - coeffs[0]*coeffs[0]*coeffs[326] - coeffs[1]*coeffs[1]*coeffs[326] - coeffs[2]*coeffs[2]*coeffs[326] - coeffs[3]*coeffs[3]*coeffs[326] + coeffs[9]*coeffs[262] - coeffs[5]*coeffs[378] + coeffs[275] - coeffs[322];
coeffs[691] = coeffs[6]*coeffs[280] - coeffs[2]*coeffs[327] + coeffs[276] - coeffs[323];
coeffs[692] = coeffs[7]*coeffs[280] - coeffs[3]*coeffs[327] + coeffs[277] - coeffs[324];
coeffs[693] = coeffs[4]*coeffs[4]*coeffs[280] + coeffs[5]*coeffs[5]*coeffs[280] + coeffs[6]*coeffs[6]*coeffs[280] + coeffs[7]*coeffs[7]*coeffs[280] - coeffs[0]*coeffs[0]*coeffs[327] - coeffs[1]*coeffs[1]*coeffs[327] - coeffs[2]*coeffs[2]*coeffs[327] - coeffs[3]*coeffs[3]*coeffs[327] + coeffs[278] - coeffs[325];
coeffs[694] = coeffs[9]*coeffs[263] - coeffs[5]*coeffs[379] + coeffs[279] - coeffs[326];
coeffs[695] = coeffs[280] - coeffs[327];
coeffs[696] = -coeffs[0]*coeffs[0]*coeffs[2]*coeffs[2]*coeffs[349] - coeffs[1]*coeffs[1]*coeffs[2]*coeffs[2]*coeffs[349] - coeffs[0]*coeffs[0]*coeffs[3]*coeffs[3]*coeffs[349] - coeffs[1]*coeffs[1]*coeffs[3]*coeffs[3]*coeffs[349] - coeffs[9]*coeffs[10]*coeffs[10]*coeffs[304] - coeffs[9]*coeffs[11]*coeffs[11]*coeffs[304] - coeffs[0]*coeffs[0]*coeffs[2]*coeffs[351] - coeffs[1]*coeffs[1]*coeffs[2]*coeffs[351] - coeffs[5]*coeffs[6]*coeffs[6]*coeffs[385] - coeffs[5]*coeffs[7]*coeffs[7]*coeffs[385] - coeffs[9]*coeffs[10]*coeffs[306] - coeffs[5]*coeffs[6]*coeffs[387] - coeffs[268];
coeffs[697] = -coeffs[0]*coeffs[0]*coeffs[2]*coeffs[2]*coeffs[350] - coeffs[1]*coeffs[1]*coeffs[2]*coeffs[2]*coeffs[350] - coeffs[0]*coeffs[0]*coeffs[3]*coeffs[3]*coeffs[350] - coeffs[1]*coeffs[1]*coeffs[3]*coeffs[3]*coeffs[350] - coeffs[9]*coeffs[10]*coeffs[10]*coeffs[305] - coeffs[9]*coeffs[11]*coeffs[11]*coeffs[305] - coeffs[0]*coeffs[0]*coeffs[3]*coeffs[351] - coeffs[1]*coeffs[1]*coeffs[3]*coeffs[351] - coeffs[5]*coeffs[6]*coeffs[6]*coeffs[386] - coeffs[5]*coeffs[7]*coeffs[7]*coeffs[386] - coeffs[9]*coeffs[11]*coeffs[306] - coeffs[5]*coeffs[7]*coeffs[387];
coeffs[698] = -coeffs[0]*coeffs[0]*coeffs[2]*coeffs[2]*coeffs[351] - coeffs[1]*coeffs[1]*coeffs[2]*coeffs[2]*coeffs[351] - coeffs[0]*coeffs[0]*coeffs[3]*coeffs[3]*coeffs[351] - coeffs[1]*coeffs[1]*coeffs[3]*coeffs[3]*coeffs[351] - coeffs[9]*coeffs[10]*coeffs[10]*coeffs[306] - coeffs[9]*coeffs[11]*coeffs[11]*coeffs[306] - coeffs[5]*coeffs[6]*coeffs[6]*coeffs[387] - coeffs[5]*coeffs[7]*coeffs[7]*coeffs[387];
coeffs[699] = -coeffs[0]*coeffs[0]*coeffs[2]*coeffs[2]*coeffs[354] - coeffs[1]*coeffs[1]*coeffs[2]*coeffs[2]*coeffs[354] - coeffs[0]*coeffs[0]*coeffs[3]*coeffs[3]*coeffs[354] - coeffs[1]*coeffs[1]*coeffs[3]*coeffs[3]*coeffs[354];
coeffs[700] = -coeffs[9]*coeffs[11]*coeffs[307] - coeffs[9]*coeffs[10]*coeffs[308] - coeffs[5]*coeffs[7]*coeffs[390] - coeffs[5]*coeffs[6]*coeffs[391] - coeffs[9]*coeffs[302] - coeffs[3]*coeffs[349] - coeffs[2]*coeffs[350] - coeffs[274];
coeffs[701] = -coeffs[9]*coeffs[11]*coeffs[308] - coeffs[5]*coeffs[7]*coeffs[391] - coeffs[9]*coeffs[303] - coeffs[3]*coeffs[350];
coeffs[702] = -coeffs[9]*coeffs[10]*coeffs[10]*coeffs[307] - coeffs[9]*coeffs[11]*coeffs[11]*coeffs[307] - coeffs[0]*coeffs[0]*coeffs[2]*coeffs[355] - coeffs[1]*coeffs[1]*coeffs[2]*coeffs[355] - coeffs[5]*coeffs[6]*coeffs[6]*coeffs[390] - coeffs[5]*coeffs[7]*coeffs[7]*coeffs[390] - coeffs[9]*coeffs[10]*coeffs[309] - coeffs[0]*coeffs[0]*coeffs[349] - coeffs[1]*coeffs[1]*coeffs[349] - coeffs[2]*coeffs[2]*coeffs[349] - coeffs[3]*coeffs[3]*coeffs[349] - coeffs[5]*coeffs[6]*coeffs[392] - coeffs[9]*coeffs[304] - coeffs[2]*coeffs[351] - coeffs[5]*coeffs[385] - coeffs[275];
coeffs[703] = -coeffs[9]*coeffs[10]*coeffs[10]*coeffs[308] - coeffs[9]*coeffs[11]*coeffs[11]*coeffs[308] - coeffs[0]*coeffs[0]*coeffs[3]*coeffs[355] - coeffs[1]*coeffs[1]*coeffs[3]*coeffs[355] - coeffs[5]*coeffs[6]*coeffs[6]*coeffs[391] - coeffs[5]*coeffs[7]*coeffs[7]*coeffs[391] - coeffs[9]*coeffs[11]*coeffs[309] - coeffs[0]*coeffs[0]*coeffs[350] - coeffs[1]*coeffs[1]*coeffs[350] - coeffs[2]*coeffs[2]*coeffs[350] - coeffs[3]*coeffs[3]*coeffs[350] - coeffs[5]*coeffs[7]*coeffs[392] - coeffs[9]*coeffs[305] - coeffs[3]*coeffs[351] - coeffs[5]*coeffs[386];
coeffs[704] = -coeffs[0]*coeffs[0]*coeffs[2]*coeffs[2]*coeffs[355] - coeffs[1]*coeffs[1]*coeffs[2]*coeffs[2]*coeffs[355] - coeffs[0]*coeffs[0]*coeffs[3]*coeffs[3]*coeffs[355] - coeffs[1]*coeffs[1]*coeffs[3]*coeffs[3]*coeffs[355] - coeffs[9]*coeffs[10]*coeffs[10]*coeffs[309] - coeffs[9]*coeffs[11]*coeffs[11]*coeffs[309] - coeffs[5]*coeffs[6]*coeffs[6]*coeffs[392] - coeffs[5]*coeffs[7]*coeffs[7]*coeffs[392] - coeffs[0]*coeffs[0]*coeffs[351] - coeffs[1]*coeffs[1]*coeffs[351] - coeffs[2]*coeffs[2]*coeffs[351] - coeffs[3]*coeffs[3]*coeffs[351] - coeffs[9]*coeffs[306] - coeffs[5]*coeffs[387];
coeffs[705] = -coeffs[5]*coeffs[7]*coeffs[393] - coeffs[3]*coeffs[353] - coeffs[5]*coeffs[388];
coeffs[706] = -coeffs[0]*coeffs[0]*coeffs[2]*coeffs[356] - coeffs[1]*coeffs[1]*coeffs[2]*coeffs[356] - coeffs[0]*coeffs[0]*coeffs[352] - coeffs[1]*coeffs[1]*coeffs[352] - coeffs[2]*coeffs[2]*coeffs[352] - coeffs[3]*coeffs[3]*coeffs[352] - coeffs[2]*coeffs[354] - coeffs[278];
coeffs[707] = -coeffs[0]*coeffs[0]*coeffs[3]*coeffs[356] - coeffs[1]*coeffs[1]*coeffs[3]*coeffs[356] - coeffs[5]*coeffs[6]*coeffs[6]*coeffs[393] - coeffs[5]*coeffs[7]*coeffs[7]*coeffs[393] - coeffs[0]*coeffs[0]*coeffs[353] - coeffs[1]*coeffs[1]*coeffs[353] - coeffs[2]*coeffs[2]*coeffs[353] - coeffs[3]*coeffs[3]*coeffs[353] - coeffs[3]*coeffs[354] - coeffs[5]*coeffs[389];
coeffs[708] = -coeffs[0]*coeffs[0]*coeffs[2]*coeffs[2]*coeffs[356] - coeffs[1]*coeffs[1]*coeffs[2]*coeffs[2]*coeffs[356] - coeffs[0]*coeffs[0]*coeffs[3]*coeffs[3]*coeffs[356] - coeffs[1]*coeffs[1]*coeffs[3]*coeffs[3]*coeffs[356] - coeffs[0]*coeffs[0]*coeffs[354] - coeffs[1]*coeffs[1]*coeffs[354] - coeffs[2]*coeffs[2]*coeffs[354] - coeffs[3]*coeffs[3]*coeffs[354];
coeffs[709] = -coeffs[9]*coeffs[10]*coeffs[310] - coeffs[5]*coeffs[6]*coeffs[394] - coeffs[9]*coeffs[307] - coeffs[2]*coeffs[355] - coeffs[5]*coeffs[390] - coeffs[279] - coeffs[349];
coeffs[710] = -coeffs[9]*coeffs[11]*coeffs[310] - coeffs[5]*coeffs[7]*coeffs[394] - coeffs[9]*coeffs[308] - coeffs[3]*coeffs[355] - coeffs[5]*coeffs[391] - coeffs[350];
coeffs[711] = -coeffs[9]*coeffs[10]*coeffs[10]*coeffs[310] - coeffs[9]*coeffs[11]*coeffs[11]*coeffs[310] - coeffs[5]*coeffs[6]*coeffs[6]*coeffs[394] - coeffs[5]*coeffs[7]*coeffs[7]*coeffs[394] - coeffs[0]*coeffs[0]*coeffs[355] - coeffs[1]*coeffs[1]*coeffs[355] - coeffs[2]*coeffs[2]*coeffs[355] - coeffs[3]*coeffs[3]*coeffs[355] - coeffs[9]*coeffs[309] - coeffs[5]*coeffs[392] - coeffs[351];
coeffs[712] = -coeffs[2]*coeffs[356] - coeffs[280] - coeffs[352];
coeffs[713] = -coeffs[3]*coeffs[356] - coeffs[5]*coeffs[393] - coeffs[353];
coeffs[714] = -coeffs[0]*coeffs[0]*coeffs[356] - coeffs[1]*coeffs[1]*coeffs[356] - coeffs[2]*coeffs[2]*coeffs[356] - coeffs[3]*coeffs[3]*coeffs[356] - coeffs[354];
coeffs[715] = -coeffs[9]*coeffs[310] - coeffs[5]*coeffs[394] - coeffs[355];
coeffs[716] = -coeffs[356];
coeffs[717] = coeffs[8]*coeffs[8]*coeffs[10]*coeffs[10]*coeffs[307] + coeffs[9]*coeffs[9]*coeffs[10]*coeffs[10]*coeffs[307] + coeffs[8]*coeffs[8]*coeffs[11]*coeffs[11]*coeffs[307] + coeffs[9]*coeffs[9]*coeffs[11]*coeffs[11]*coeffs[307] + coeffs[8]*coeffs[8]*coeffs[10]*coeffs[309] + coeffs[9]*coeffs[9]*coeffs[10]*coeffs[309] + coeffs[8]*coeffs[8]*coeffs[304] + coeffs[9]*coeffs[9]*coeffs[304] + coeffs[10]*coeffs[10]*coeffs[304] + coeffs[11]*coeffs[11]*coeffs[304] + coeffs[10]*coeffs[306] - coeffs[289];
coeffs[718] = coeffs[8]*coeffs[8]*coeffs[10]*coeffs[10]*coeffs[308] + coeffs[9]*coeffs[9]*coeffs[10]*coeffs[10]*coeffs[308] + coeffs[8]*coeffs[8]*coeffs[11]*coeffs[11]*coeffs[308] + coeffs[9]*coeffs[9]*coeffs[11]*coeffs[11]*coeffs[308] - coeffs[0]*coeffs[0]*coeffs[2]*coeffs[2]*coeffs[363] - coeffs[1]*coeffs[1]*coeffs[2]*coeffs[2]*coeffs[363] - coeffs[0]*coeffs[0]*coeffs[3]*coeffs[3]*coeffs[363] - coeffs[1]*coeffs[1]*coeffs[3]*coeffs[3]*coeffs[363] + coeffs[8]*coeffs[8]*coeffs[11]*coeffs[309] + coeffs[9]*coeffs[9]*coeffs[11]*coeffs[309] - coeffs[5]*coeffs[6]*coeffs[6]*coeffs[398] - coeffs[5]*coeffs[7]*coeffs[7]*coeffs[398] + coeffs[8]*coeffs[8]*coeffs[305] + coeffs[9]*coeffs[9]*coeffs[305] + coeffs[10]*coeffs[10]*coeffs[305] + coeffs[11]*coeffs[11]*coeffs[305] - coeffs[0]*coeffs[0]*coeffs[359] - coeffs[1]*coeffs[1]*coeffs[359] - coeffs[2]*coeffs[2]*coeffs[359] - coeffs[3]*coeffs[3]*coeffs[359] + coeffs[11]*coeffs[306] - coeffs[5]*coeffs[395];
coeffs[719] = coeffs[8]*coeffs[8]*coeffs[10]*coeffs[10]*coeffs[309] + coeffs[9]*coeffs[9]*coeffs[10]*coeffs[10]*coeffs[309] + coeffs[8]*coeffs[8]*coeffs[11]*coeffs[11]*coeffs[309] + coeffs[9]*coeffs[9]*coeffs[11]*coeffs[11]*coeffs[309] + coeffs[8]*coeffs[8]*coeffs[306] + coeffs[9]*coeffs[9]*coeffs[306] + coeffs[10]*coeffs[10]*coeffs[306] + coeffs[11]*coeffs[11]*coeffs[306];
coeffs[720] = -coeffs[0]*coeffs[0]*coeffs[2]*coeffs[2]*coeffs[366] - coeffs[1]*coeffs[1]*coeffs[2]*coeffs[2]*coeffs[366] - coeffs[0]*coeffs[0]*coeffs[3]*coeffs[3]*coeffs[366] - coeffs[1]*coeffs[1]*coeffs[3]*coeffs[3]*coeffs[366] - coeffs[0]*coeffs[0]*coeffs[362] - coeffs[1]*coeffs[1]*coeffs[362] - coeffs[2]*coeffs[2]*coeffs[362] - coeffs[3]*coeffs[3]*coeffs[362];
coeffs[721] = -coeffs[5]*coeffs[6]*coeffs[401] + coeffs[11]*coeffs[307] + coeffs[10]*coeffs[308] - coeffs[2]*coeffs[363] - coeffs[5]*coeffs[396] - coeffs[295] + coeffs[302] - coeffs[357];
coeffs[722] = -coeffs[5]*coeffs[7]*coeffs[401] + coeffs[11]*coeffs[308] - coeffs[3]*coeffs[363] - coeffs[5]*coeffs[397] + coeffs[303] - coeffs[358];
coeffs[723] = coeffs[8]*coeffs[8]*coeffs[10]*coeffs[310] + coeffs[9]*coeffs[9]*coeffs[10]*coeffs[310] + coeffs[8]*coeffs[8]*coeffs[307] + coeffs[9]*coeffs[9]*coeffs[307] + coeffs[10]*coeffs[10]*coeffs[307] + coeffs[11]*coeffs[11]*coeffs[307] + coeffs[10]*coeffs[309] - coeffs[296] + coeffs[304];
coeffs[724] = coeffs[8]*coeffs[8]*coeffs[11]*coeffs[310] + coeffs[9]*coeffs[9]*coeffs[11]*coeffs[310] - coeffs[5]*coeffs[6]*coeffs[6]*coeffs[401] - coeffs[5]*coeffs[7]*coeffs[7]*coeffs[401] + coeffs[8]*coeffs[8]*coeffs[308] + coeffs[9]*coeffs[9]*coeffs[308] + coeffs[10]*coeffs[10]*coeffs[308] + coeffs[11]*coeffs[11]*coeffs[308] - coeffs[0]*coeffs[0]*coeffs[363] - coeffs[1]*coeffs[1]*coeffs[363] - coeffs[2]*coeffs[2]*coeffs[363] - coeffs[3]*coeffs[3]*coeffs[363] + coeffs[11]*coeffs[309] - coeffs[5]*coeffs[398] + coeffs[305] - coeffs[359];
coeffs[725] = coeffs[8]*coeffs[8]*coeffs[10]*coeffs[10]*coeffs[310] + coeffs[9]*coeffs[9]*coeffs[10]*coeffs[10]*coeffs[310] + coeffs[8]*coeffs[8]*coeffs[11]*coeffs[11]*coeffs[310] + coeffs[9]*coeffs[9]*coeffs[11]*coeffs[11]*coeffs[310] + coeffs[8]*coeffs[8]*coeffs[309] + coeffs[9]*coeffs[9]*coeffs[309] + coeffs[10]*coeffs[10]*coeffs[309] + coeffs[11]*coeffs[11]*coeffs[309] + coeffs[306];
coeffs[726] = -coeffs[5]*coeffs[7]*coeffs[402] - coeffs[3]*coeffs[365] - coeffs[5]*coeffs[399];
coeffs[727] = -coeffs[0]*coeffs[0]*coeffs[2]*coeffs[367] - coeffs[1]*coeffs[1]*coeffs[2]*coeffs[367] - coeffs[0]*coeffs[0]*coeffs[364] - coeffs[1]*coeffs[1]*coeffs[364] - coeffs[2]*coeffs[2]*coeffs[364] - coeffs[3]*coeffs[3]*coeffs[364] - coeffs[2]*coeffs[366] - coeffs[299] - coeffs[360];
coeffs[728] = -coeffs[0]*coeffs[0]*coeffs[3]*coeffs[367] - coeffs[1]*coeffs[1]*coeffs[3]*coeffs[367] - coeffs[5]*coeffs[6]*coeffs[6]*coeffs[402] - coeffs[5]*coeffs[7]*coeffs[7]*coeffs[402] - coeffs[0]*coeffs[0]*coeffs[365] - coeffs[1]*coeffs[1]*coeffs[365] - coeffs[2]*coeffs[2]*coeffs[365] - coeffs[3]*coeffs[3]*coeffs[365] - coeffs[3]*coeffs[366] - coeffs[5]*coeffs[400] - coeffs[361];
coeffs[729] = -coeffs[0]*coeffs[0]*coeffs[2]*coeffs[2]*coeffs[367] - coeffs[1]*coeffs[1]*coeffs[2]*coeffs[2]*coeffs[367] - coeffs[0]*coeffs[0]*coeffs[3]*coeffs[3]*coeffs[367] - coeffs[1]*coeffs[1]*coeffs[3]*coeffs[3]*coeffs[367] - coeffs[0]*coeffs[0]*coeffs[366] - coeffs[1]*coeffs[1]*coeffs[366] - coeffs[2]*coeffs[2]*coeffs[366] - coeffs[3]*coeffs[3]*coeffs[366] - coeffs[362];
coeffs[730] = coeffs[10]*coeffs[310] - coeffs[300] + coeffs[307];
coeffs[731] = coeffs[11]*coeffs[310] - coeffs[5]*coeffs[401] + coeffs[308] - coeffs[363];
coeffs[732] = coeffs[8]*coeffs[8]*coeffs[310] + coeffs[9]*coeffs[9]*coeffs[310] + coeffs[10]*coeffs[10]*coeffs[310] + coeffs[11]*coeffs[11]*coeffs[310] + coeffs[309];
coeffs[733] = -coeffs[2]*coeffs[367] - coeffs[301] - coeffs[364];
coeffs[734] = -coeffs[3]*coeffs[367] - coeffs[5]*coeffs[402] - coeffs[365];
coeffs[735] = -coeffs[0]*coeffs[0]*coeffs[367] - coeffs[1]*coeffs[1]*coeffs[367] - coeffs[2]*coeffs[2]*coeffs[367] - coeffs[3]*coeffs[3]*coeffs[367] - coeffs[366];
coeffs[736] = coeffs[310];
coeffs[737] = -coeffs[367];
coeffs[738] = -coeffs[4]*coeffs[4]*coeffs[6]*coeffs[6]*coeffs[390] - coeffs[5]*coeffs[5]*coeffs[6]*coeffs[6]*coeffs[390] - coeffs[4]*coeffs[4]*coeffs[7]*coeffs[7]*coeffs[390] - coeffs[5]*coeffs[5]*coeffs[7]*coeffs[7]*coeffs[390] + coeffs[0]*coeffs[0]*coeffs[2]*coeffs[2]*coeffs[408] + coeffs[1]*coeffs[1]*coeffs[2]*coeffs[2]*coeffs[408] + coeffs[0]*coeffs[0]*coeffs[3]*coeffs[3]*coeffs[408] + coeffs[1]*coeffs[1]*coeffs[3]*coeffs[3]*coeffs[408] - coeffs[4]*coeffs[4]*coeffs[6]*coeffs[392] - coeffs[5]*coeffs[5]*coeffs[6]*coeffs[392] + coeffs[0]*coeffs[0]*coeffs[2]*coeffs[410] + coeffs[1]*coeffs[1]*coeffs[2]*coeffs[410] - coeffs[4]*coeffs[4]*coeffs[385] - coeffs[5]*coeffs[5]*coeffs[385] - coeffs[6]*coeffs[6]*coeffs[385] - coeffs[7]*coeffs[7]*coeffs[385] + coeffs[0]*coeffs[0]*coeffs[403] + coeffs[1]*coeffs[1]*coeffs[403] + coeffs[2]*coeffs[2]*coeffs[403] + coeffs[3]*coeffs[3]*coeffs[403] - coeffs[6]*coeffs[387] + coeffs[2]*coeffs[405] - coeffs[375];
coeffs[739] = -coeffs[4]*coeffs[4]*coeffs[6]*coeffs[6]*coeffs[391] - coeffs[5]*coeffs[5]*coeffs[6]*coeffs[6]*coeffs[391] - coeffs[4]*coeffs[4]*coeffs[7]*coeffs[7]*coeffs[391] - coeffs[5]*coeffs[5]*coeffs[7]*coeffs[7]*coeffs[391] + coeffs[0]*coeffs[0]*coeffs[2]*coeffs[2]*coeffs[409] + coeffs[1]*coeffs[1]*coeffs[2]*coeffs[2]*coeffs[409] + coeffs[0]*coeffs[0]*coeffs[3]*coeffs[3]*coeffs[409] + coeffs[1]*coeffs[1]*coeffs[3]*coeffs[3]*coeffs[409] - coeffs[9]*coeffs[10]*coeffs[10]*coeffs[383] - coeffs[9]*coeffs[11]*coeffs[11]*coeffs[383] - coeffs[4]*coeffs[4]*coeffs[7]*coeffs[392] - coeffs[5]*coeffs[5]*coeffs[7]*coeffs[392] + coeffs[0]*coeffs[0]*coeffs[3]*coeffs[410] + coeffs[1]*coeffs[1]*coeffs[3]*coeffs[410] - coeffs[4]*coeffs[4]*coeffs[386] - coeffs[5]*coeffs[5]*coeffs[386] - coeffs[6]*coeffs[6]*coeffs[386] - coeffs[7]*coeffs[7]*coeffs[386] + coeffs[0]*coeffs[0]*coeffs[404] + coeffs[1]*coeffs[1]*coeffs[404] + coeffs[2]*coeffs[2]*coeffs[404] + coeffs[3]*coeffs[3]*coeffs[404] - coeffs[9]*coeffs[380] - coeffs[7]*coeffs[387] + coeffs[3]*coeffs[405];
coeffs[740] = -coeffs[4]*coeffs[4]*coeffs[6]*coeffs[6]*coeffs[392] - coeffs[5]*coeffs[5]*coeffs[6]*coeffs[6]*coeffs[392] - coeffs[4]*coeffs[4]*coeffs[7]*coeffs[7]*coeffs[392] - coeffs[5]*coeffs[5]*coeffs[7]*coeffs[7]*coeffs[392] + coeffs[0]*coeffs[0]*coeffs[2]*coeffs[2]*coeffs[410] + coeffs[1]*coeffs[1]*coeffs[2]*coeffs[2]*coeffs[410] + coeffs[0]*coeffs[0]*coeffs[3]*coeffs[3]*coeffs[410] + coeffs[1]*coeffs[1]*coeffs[3]*coeffs[3]*coeffs[410] - coeffs[4]*coeffs[4]*coeffs[387] - coeffs[5]*coeffs[5]*coeffs[387] - coeffs[6]*coeffs[6]*coeffs[387] - coeffs[7]*coeffs[7]*coeffs[387] + coeffs[0]*coeffs[0]*coeffs[405] + coeffs[1]*coeffs[1]*coeffs[405] + coeffs[2]*coeffs[2]*coeffs[405] + coeffs[3]*coeffs[3]*coeffs[405];
coeffs[741] = -coeffs[9]*coeffs[10]*coeffs[384] - coeffs[9]*coeffs[381] - coeffs[7]*coeffs[390] - coeffs[6]*coeffs[391] + coeffs[3]*coeffs[408] + coeffs[2]*coeffs[409] - coeffs[377];
coeffs[742] = -coeffs[9]*coeffs[11]*coeffs[384] - coeffs[9]*coeffs[382] - coeffs[7]*coeffs[391] + coeffs[3]*coeffs[409];
coeffs[743] = -coeffs[4]*coeffs[4]*coeffs[6]*coeffs[394] - coeffs[5]*coeffs[5]*coeffs[6]*coeffs[394] + coeffs[0]*coeffs[0]*coeffs[2]*coeffs[412] + coeffs[1]*coeffs[1]*coeffs[2]*coeffs[412] - coeffs[4]*coeffs[4]*coeffs[390] - coeffs[5]*coeffs[5]*coeffs[390] - coeffs[6]*coeffs[6]*coeffs[390] - coeffs[7]*coeffs[7]*coeffs[390] + coeffs[0]*coeffs[0]*coeffs[408] + coeffs[1]*coeffs[1]*coeffs[408] + coeffs[2]*coeffs[2]*coeffs[408] + coeffs[3]*coeffs[3]*coeffs[408] - coeffs[6]*coeffs[392] + coeffs[2]*coeffs[410] - coeffs[378] - coeffs[385] + coeffs[403];
coeffs[744] = -coeffs[9]*coeffs[10]*coeffs[10]*coeffs[384] - coeffs[9]*coeffs[11]*coeffs[11]*coeffs[384] - coeffs[4]*coeffs[4]*coeffs[7]*coeffs[394] - coeffs[5]*coeffs[5]*coeffs[7]*coeffs[394] + coeffs[0]*coeffs[0]*coeffs[3]*coeffs[412] + coeffs[1]*coeffs[1]*coeffs[3]*coeffs[412] - coeffs[4]*coeffs[4]*coeffs[391] - coeffs[5]*coeffs[5]*coeffs[391] - coeffs[6]*coeffs[6]*coeffs[391] - coeffs[7]*coeffs[7]*coeffs[391] + coeffs[0]*coeffs[0]*coeffs[409] + coeffs[1]*coeffs[1]*coeffs[409] + coeffs[2]*coeffs[2]*coeffs[409] + coeffs[3]*coeffs[3]*coeffs[409] - coeffs[9]*coeffs[383] - coeffs[7]*coeffs[392] + coeffs[3]*coeffs[410] - coeffs[386] + coeffs[404];
coeffs[745] = -coeffs[4]*coeffs[4]*coeffs[6]*coeffs[6]*coeffs[394] - coeffs[5]*coeffs[5]*coeffs[6]*coeffs[6]*coeffs[394] - coeffs[4]*coeffs[4]*coeffs[7]*coeffs[7]*coeffs[394] - coeffs[5]*coeffs[5]*coeffs[7]*coeffs[7]*coeffs[394] + coeffs[0]*coeffs[0]*coeffs[2]*coeffs[2]*coeffs[412] + coeffs[1]*coeffs[1]*coeffs[2]*coeffs[2]*coeffs[412] + coeffs[0]*coeffs[0]*coeffs[3]*coeffs[3]*coeffs[412] + coeffs[1]*coeffs[1]*coeffs[3]*coeffs[3]*coeffs[412] - coeffs[4]*coeffs[4]*coeffs[392] - coeffs[5]*coeffs[5]*coeffs[392] - coeffs[6]*coeffs[6]*coeffs[392] - coeffs[7]*coeffs[7]*coeffs[392] + coeffs[0]*coeffs[0]*coeffs[410] + coeffs[1]*coeffs[1]*coeffs[410] + coeffs[2]*coeffs[2]*coeffs[410] + coeffs[3]*coeffs[3]*coeffs[410] - coeffs[387] + coeffs[405];
coeffs[746] = -coeffs[7]*coeffs[393] + coeffs[3]*coeffs[411] - coeffs[388] + coeffs[406];
coeffs[747] = -coeffs[4]*coeffs[4]*coeffs[393] - coeffs[5]*coeffs[5]*coeffs[393] - coeffs[6]*coeffs[6]*coeffs[393] - coeffs[7]*coeffs[7]*coeffs[393] + coeffs[0]*coeffs[0]*coeffs[411] + coeffs[1]*coeffs[1]*coeffs[411] + coeffs[2]*coeffs[2]*coeffs[411] + coeffs[3]*coeffs[3]*coeffs[411] - coeffs[389] + coeffs[407];
coeffs[748] = -coeffs[6]*coeffs[394] + coeffs[2]*coeffs[412] - coeffs[379] - coeffs[390] + coeffs[408];
coeffs[749] = -coeffs[9]*coeffs[384] - coeffs[7]*coeffs[394] + coeffs[3]*coeffs[412] - coeffs[391] + coeffs[409];
coeffs[750] = -coeffs[4]*coeffs[4]*coeffs[394] - coeffs[5]*coeffs[5]*coeffs[394] - coeffs[6]*coeffs[6]*coeffs[394] - coeffs[7]*coeffs[7]*coeffs[394] + coeffs[0]*coeffs[0]*coeffs[412] + coeffs[1]*coeffs[1]*coeffs[412] + coeffs[2]*coeffs[2]*coeffs[412] + coeffs[3]*coeffs[3]*coeffs[412] - coeffs[392] + coeffs[410];
coeffs[751] = -coeffs[393] + coeffs[411];
coeffs[752] = -coeffs[394] + coeffs[412];
}