################################ # Diagram information ################################ name = "dbox" edges = [[1, 2], [2, 5], [3, 5], [3, 4], [4, 6], [1, 6], [5, 6]] nodes = [1, 2, 3, 4] internal_masses = [m[1], m[2], m[3], m[4], m[5], m[6], m[7]] external_masses = [0, 0, 0, 0] U = x[1]*x[3] + x[1]*x[4] + x[1]*x[5] + x[1]*x[7] + x[2]*x[3] + x[2]*x[4] + x[2]*x[5] + x[2]*x[7] + x[3]*x[6] + x[3]*x[7] + x[4]*x[6] + x[4]*x[7] + x[5]*x[6] + x[5]*x[7] + x[6]*x[7] F = -m[1]*x[1]^2*x[3] - m[1]*x[1]^2*x[4] - m[1]*x[1]^2*x[5] - m[1]*x[1]^2*x[7] + (-m[1] - m[2])*x[1]*x[2]*x[3] + (-m[1] - m[2])*x[1]*x[2]*x[4] + (-m[1] - m[2])*x[1]*x[2]*x[5] + (-m[1] - m[2])*x[1]*x[2]*x[7] - m[3]*x[1]*x[3]^2 + (-m[3] - m[4])*x[1]*x[3]*x[4] + (-m[3] - m[5] + s)*x[1]*x[3]*x[5] + (-m[1] - m[6])*x[1]*x[3]*x[6] + (-m[1] - m[3] - m[7])*x[1]*x[3]*x[7] - m[4]*x[1]*x[4]^2 + (-m[4] - m[5])*x[1]*x[4]*x[5] + (-m[1] - m[6])*x[1]*x[4]*x[6] + (-m[1] - m[4] - m[7] + t)*x[1]*x[4]*x[7] - m[5]*x[1]*x[5]^2 + (-m[1] - m[6])*x[1]*x[5]*x[6] + (-m[1] - m[5] - m[7])*x[1]*x[5]*x[7] + (-m[1] - m[6])*x[1]*x[6]*x[7] - m[7]*x[1]*x[7]^2 - m[2]*x[2]^2*x[3] - m[2]*x[2]^2*x[4] - m[2]*x[2]^2*x[5] - m[2]*x[2]^2*x[7] - m[3]*x[2]*x[3]^2 + (-m[3] - m[4])*x[2]*x[3]*x[4] + (-m[3] - m[5] + s)*x[2]*x[3]*x[5] + (-m[2] - m[6] + s)*x[2]*x[3]*x[6] + (-m[2] - m[3] - m[7])*x[2]*x[3]*x[7] - m[4]*x[2]*x[4]^2 + (-m[4] - m[5])*x[2]*x[4]*x[5] + (-m[2] - m[6] + s)*x[2]*x[4]*x[6] + (-m[2] - m[4] - m[7])*x[2]*x[4]*x[7] - m[5]*x[2]*x[5]^2 + (-m[2] - m[6] + s)*x[2]*x[5]*x[6] + (-m[2] - m[5] - m[7] + s)*x[2]*x[5]*x[7] + (-m[2] - m[6] + s)*x[2]*x[6]*x[7] - m[7]*x[2]*x[7]^2 - m[3]*x[3]^2*x[6] - m[3]*x[3]^2*x[7] + (-m[3] - m[4])*x[3]*x[4]*x[6] + (-m[3] - m[4])*x[3]*x[4]*x[7] + (-m[3] - m[5] + s)*x[3]*x[5]*x[6] + (-m[3] - m[5] + s)*x[3]*x[5]*x[7] - m[6]*x[3]*x[6]^2 + (-m[3] - m[6] - m[7] + s)*x[3]*x[6]*x[7] - m[7]*x[3]*x[7]^2 - m[4]*x[4]^2*x[6] - m[4]*x[4]^2*x[7] + (-m[4] - m[5])*x[4]*x[5]*x[6] + (-m[4] - m[5])*x[4]*x[5]*x[7] - m[6]*x[4]*x[6]^2 + (-m[4] - m[6] - m[7])*x[4]*x[6]*x[7] - m[7]*x[4]*x[7]^2 - m[5]*x[5]^2*x[6] - m[5]*x[5]^2*x[7] - m[6]*x[5]*x[6]^2 + (-m[5] - m[6] - m[7])*x[5]*x[6]*x[7] - m[7]*x[5]*x[7]^2 - m[6]*x[6]^2*x[7] - m[7]*x[6]*x[7]^2 parameters = [m[1], m[2], m[3], m[4], m[5], m[6], m[7], s, t] variables = [x[1], x[2], x[3], x[4], x[5], x[6], x[7]] χ_generic = 159 f_vector = [45, 171, 291, 282, 167, 60, 12] ################################ # Component 1 ################################ D[1] = m[1] χ[1] = 146 weights[1] = [[-1, 0, 0, 1, 1, 0, 1], [-1, 0, 1, 0, 1, 0, 1], [-1, 0, 1, 1, 0, 0, 1], [-1, 0, 1, 1, 1, 0, 0], [-1, 0, 0, 0, 1, 0, 1], [-1, 0, 0, 1, 0, 0, 1], [-1, 0, 0, 1, 1, 0, 0], [-1, 0, 1, 0, 0, 0, 1], [-1, 0, 1, 0, 1, 0, 0], [-1, 0, 1, 1, 0, 0, 0], [-1, 0, 0, 0, 0, 0, 1], [-1, 0, 0, 0, 1, 0, 0], [-1, 0, 0, 1, 0, 0, 0], [-1, 0, 1, 0, 0, 0, 0], [-1, 0, 0, 0, 0, 0, 0]] computed_with[1] = ["PLD_sym", "PLD_num"] ################################ # Component 2 ################################ D[2] = m[1] - m[2] χ[2] = 146 weights[2] = [[-1, -1, 0, 1, 1, 0, 1], [-1, -1, 1, 0, 1, 0, 1], [-1, -1, 1, 1, 0, 0, 1], [-1, -1, 1, 1, 1, 0, 0], [-1, -1, 0, 0, 1, 0, 1], [-1, -1, 0, 1, 0, 0, 1], [-1, -1, 0, 1, 1, 0, 0], [-1, -1, 1, 0, 0, 0, 1]] computed_with[2] = ["PLD_sym"] ################################ # Component 3 ################################ D[3] = m[1] - m[6] χ[3] = 146 weights[3] = [[-1, 0, 0, 1, 1, -1, 1], [-1, 0, 1, 0, 1, -1, 1], [-1, 0, 1, 1, 0, -1, 1], [-1, 0, 1, 1, 1, -1, 0], [-1, 0, 0, 0, 1, -1, 1], [-1, 0, 0, 1, 0, -1, 1], [-1, 0, 0, 1, 1, -1, 0], [-1, 0, 1, 0, 0, -1, 1]] computed_with[3] = ["PLD_sym"] ################################ # Component 4 ################################ D[4] = m[1]^2 - m[1]*m[2] - m[1]*m[6] + m[1]*s + m[2]*m[6] χ[4] = 146 weights[4] = [[-1, -1, 0, 1, 1, -1, 1], [-1, -1, 1, 0, 1, -1, 1], [-1, -1, 1, 1, 0, -1, 1], [-1, -1, 1, 1, 1, -1, 0], [-1, -1, 0, 0, 1, -1, 1], [-1, -1, 0, 1, 0, -1, 1], [-1, -1, 0, 1, 1, -1, 0], [-1, -1, 1, 0, 0, -1, 1], [-1, -1, 1, 0, 1, -1, 0], [-1, -1, 1, 1, 0, -1, 0], [-1, -1, 0, 0, 0, -1, 1], [-1, -1, 0, 0, 1, -1, 0], [-1, -1, 0, 1, 0, -1, 0], [-1, -1, 1, 0, 0, -1, 0], [-1, -1, 0, 0, 0, -1, 0]] computed_with[4] = ["PLD_sym", "PLD_num"] ################################ # Component 5 ################################ D[5] = m[1]^2*m[2]^2 - 2*m[1]^2*m[2]*m[4] - 2*m[1]^2*m[2]*m[7] + m[1]^2*m[4]^2 - 2*m[1]^2*m[4]*m[7] + m[1]^2*m[7]^2 - 2*m[1]*m[2]^3 + 4*m[1]*m[2]^2*m[4] + 4*m[1]*m[2]^2*m[7] - 2*m[1]*m[2]^2*t - 2*m[1]*m[2]*m[4]^2 + 4*m[1]*m[2]*m[4]*m[7] + 2*m[1]*m[2]*m[4]*t - 2*m[1]*m[2]*m[7]^2 + 2*m[1]*m[2]*m[7]*t + m[2]^4 - 2*m[2]^3*m[4] - 2*m[2]^3*m[7] + 2*m[2]^3*t + m[2]^2*m[4]^2 - 2*m[2]^2*m[4]*m[7] - 2*m[2]^2*m[4]*t + m[2]^2*m[7]^2 - 2*m[2]^2*m[7]*t + m[2]^2*t^2 χ[5] = 158 weights[5] = [[-1, -1, 0, -1, 0, 0, -1]] computed_with[5] = ["PLD_num"] ################################ # Component 6 ################################ D[6] = m[1]^2*m[3]^2 - 2*m[1]^2*m[3]*m[4] + m[1]^2*m[4]^2 - 2*m[1]*m[2]*m[3]^2 + 4*m[1]*m[2]*m[3]*m[4] - m[1]*m[2]*m[3]*t - 2*m[1]*m[2]*m[4]^2 + m[1]*m[2]*m[4]*t - m[1]*m[3]^2*t + m[1]*m[3]*m[4]*t + m[1]*m[3]*m[7]*t - m[1]*m[4]*m[7]*t + m[2]^2*m[3]^2 - 2*m[2]^2*m[3]*m[4] + m[2]^2*m[3]*t + m[2]^2*m[4]^2 - m[2]^2*m[4]*t + m[2]*m[3]^2*t - m[2]*m[3]*m[4]*t - m[2]*m[3]*m[7]*t + m[2]*m[3]*t^2 + m[2]*m[4]*m[7]*t χ[6] = 158 weights[6] = [[-1, -1, -1, -1, 0, 0, -1]] computed_with[6] = ["PLD_num"] ################################ # Component 7 ################################ D[7] = m[1]^2*m[3]^2 - 2*m[1]^2*m[3]*m[4] + m[1]^2*m[4]^2 - 2*m[1]*m[3]^3 + 4*m[1]*m[3]^2*m[4] - 2*m[1]*m[3]^2*m[7] - 2*m[1]*m[3]^2*t - 2*m[1]*m[3]*m[4]^2 + 4*m[1]*m[3]*m[4]*m[7] + 2*m[1]*m[3]*m[4]*t - 2*m[1]*m[4]^2*m[7] + m[3]^4 - 2*m[3]^3*m[4] - 2*m[3]^3*m[7] + 2*m[3]^3*t + m[3]^2*m[4]^2 + 4*m[3]^2*m[4]*m[7] - 2*m[3]^2*m[4]*t + m[3]^2*m[7]^2 - 2*m[3]^2*m[7]*t + m[3]^2*t^2 - 2*m[3]*m[4]^2*m[7] - 2*m[3]*m[4]*m[7]^2 + 2*m[3]*m[4]*m[7]*t + m[4]^2*m[7]^2 χ[7] = 158 weights[7] = [[-1, 0, -1, -1, 0, 0, -1]] computed_with[7] = ["PLD_num"] ################################ # Component 8 ################################ D[8] = m[1]^2*m[4]^2 - 2*m[1]^2*m[4]*m[5] + m[1]^2*m[5]^2 - 2*m[1]*m[4]^2*m[5] - 2*m[1]*m[4]^2*m[7] + 4*m[1]*m[4]*m[5]^2 + 4*m[1]*m[4]*m[5]*m[7] + 2*m[1]*m[4]*m[5]*t - 2*m[1]*m[5]^3 - 2*m[1]*m[5]^2*m[7] - 2*m[1]*m[5]^2*t + m[4]^2*m[5]^2 - 2*m[4]^2*m[5]*m[7] + m[4]^2*m[7]^2 - 2*m[4]*m[5]^3 + 4*m[4]*m[5]^2*m[7] - 2*m[4]*m[5]^2*t - 2*m[4]*m[5]*m[7]^2 + 2*m[4]*m[5]*m[7]*t + m[5]^4 - 2*m[5]^3*m[7] + 2*m[5]^3*t + m[5]^2*m[7]^2 - 2*m[5]^2*m[7]*t + m[5]^2*t^2 χ[8] = 158 weights[8] = [[-1, 0, 0, -1, -1, 0, -1]] computed_with[8] = ["PLD_num"] ################################ # Component 9 ################################ D[9] = m[1]^2*m[4]^2 - 2*m[1]^2*m[4]*m[5] + m[1]^2*m[5]^2 - 2*m[1]*m[4]^2*m[6] + 4*m[1]*m[4]*m[5]*m[6] + m[1]*m[4]*m[5]*t + m[1]*m[4]*m[6]*t - m[1]*m[4]*m[7]*t - 2*m[1]*m[5]^2*m[6] - m[1]*m[5]^2*t - m[1]*m[5]*m[6]*t + m[1]*m[5]*m[7]*t + m[4]^2*m[6]^2 - 2*m[4]*m[5]*m[6]^2 - m[4]*m[5]*m[6]*t - m[4]*m[6]^2*t + m[4]*m[6]*m[7]*t + m[5]^2*m[6]^2 + m[5]^2*m[6]*t + m[5]*m[6]^2*t - m[5]*m[6]*m[7]*t + m[5]*m[6]*t^2 χ[9] = 158 weights[9] = [[-1, 0, 0, -1, -1, -1, -1]] computed_with[9] = ["PLD_num"] ################################ # Component 10 ################################ D[10] = m[1]^2*m[4]^2 - 2*m[1]^2*m[4]*m[6] - 2*m[1]^2*m[4]*m[7] + m[1]^2*m[6]^2 - 2*m[1]^2*m[6]*m[7] + m[1]^2*m[7]^2 - 2*m[1]*m[4]^2*m[6] + 4*m[1]*m[4]*m[6]^2 + 4*m[1]*m[4]*m[6]*m[7] + 2*m[1]*m[4]*m[6]*t - 2*m[1]*m[6]^3 + 4*m[1]*m[6]^2*m[7] - 2*m[1]*m[6]^2*t - 2*m[1]*m[6]*m[7]^2 + 2*m[1]*m[6]*m[7]*t + m[4]^2*m[6]^2 - 2*m[4]*m[6]^3 - 2*m[4]*m[6]^2*m[7] - 2*m[4]*m[6]^2*t + m[6]^4 - 2*m[6]^3*m[7] + 2*m[6]^3*t + m[6]^2*m[7]^2 - 2*m[6]^2*m[7]*t + m[6]^2*t^2 χ[10] = 158 weights[10] = [[-1, 0, 0, -1, 0, -1, -1]] computed_with[10] = ["PLD_num"] ################################ # Component 11 ################################ D[11] = m[1]^4 - 2*m[1]^3*m[2] - 2*m[1]^3*m[5] - 2*m[1]^3*m[7] + 2*m[1]^3*s + m[1]^2*m[2]^2 + 4*m[1]^2*m[2]*m[5] + 4*m[1]^2*m[2]*m[7] - 2*m[1]^2*m[2]*s + m[1]^2*m[5]^2 - 2*m[1]^2*m[5]*m[7] - 2*m[1]^2*m[5]*s + m[1]^2*m[7]^2 - 2*m[1]^2*m[7]*s + m[1]^2*s^2 - 2*m[1]*m[2]^2*m[5] - 2*m[1]*m[2]^2*m[7] - 2*m[1]*m[2]*m[5]^2 + 4*m[1]*m[2]*m[5]*m[7] + 2*m[1]*m[2]*m[5]*s - 2*m[1]*m[2]*m[7]^2 + 2*m[1]*m[2]*m[7]*s + m[2]^2*m[5]^2 - 2*m[2]^2*m[5]*m[7] + m[2]^2*m[7]^2 χ[11] = 158 weights[11] = [[-1, -1, 0, 0, -1, 0, -1]] computed_with[11] = ["PLD_num"] ################################ # Component 12 ################################ D[12] = m[1]^4 - 2*m[1]^3*m[3] - 2*m[1]^3*m[5] - 4*m[1]^3*m[7] + 2*m[1]^3*s + m[1]^2*m[3]^2 + 4*m[1]^2*m[3]*m[5] + 2*m[1]^2*m[3]*m[7] - 2*m[1]^2*m[3]*s + m[1]^2*m[5]^2 + 2*m[1]^2*m[5]*m[7] - 2*m[1]^2*m[5]*s + 6*m[1]^2*m[7]^2 - 2*m[1]^2*m[7]*s + m[1]^2*s^2 - 2*m[1]*m[3]^2*m[5] - 2*m[1]*m[3]^2*m[7] - 2*m[1]*m[3]*m[5]^2 + 8*m[1]*m[3]*m[5]*m[7] + 2*m[1]*m[3]*m[5]*s + 2*m[1]*m[3]*m[7]^2 + 4*m[1]*m[3]*m[7]*s - 2*m[1]*m[5]^2*m[7] + 2*m[1]*m[5]*m[7]^2 + 4*m[1]*m[5]*m[7]*s - 4*m[1]*m[7]^3 - 2*m[1]*m[7]^2*s - 2*m[1]*m[7]*s^2 + m[3]^2*m[5]^2 - 2*m[3]^2*m[5]*m[7] + m[3]^2*m[7]^2 - 2*m[3]*m[5]^2*m[7] + 4*m[3]*m[5]*m[7]^2 + 2*m[3]*m[5]*m[7]*s - 2*m[3]*m[7]^3 - 2*m[3]*m[7]^2*s + m[5]^2*m[7]^2 - 2*m[5]*m[7]^3 - 2*m[5]*m[7]^2*s + m[7]^4 + 2*m[7]^3*s + m[7]^2*s^2 χ[12] = 158 weights[12] = [[-1, 0, -1, 0, -1, 0, -1]] computed_with[12] = ["PLD_num"] ################################ # Component 13 ################################ D[13] = m[1]^4 - 2*m[1]^3*m[3] - 2*m[1]^3*m[6] - 2*m[1]^3*m[7] + 2*m[1]^3*s + m[1]^2*m[3]^2 + 4*m[1]^2*m[3]*m[6] - 2*m[1]^2*m[3]*m[7] - 2*m[1]^2*m[3]*s + m[1]^2*m[6]^2 + 4*m[1]^2*m[6]*m[7] - 2*m[1]^2*m[6]*s + m[1]^2*m[7]^2 - 2*m[1]^2*m[7]*s + m[1]^2*s^2 - 2*m[1]*m[3]^2*m[6] - 2*m[1]*m[3]*m[6]^2 + 4*m[1]*m[3]*m[6]*m[7] + 2*m[1]*m[3]*m[6]*s - 2*m[1]*m[6]^2*m[7] - 2*m[1]*m[6]*m[7]^2 + 2*m[1]*m[6]*m[7]*s + m[3]^2*m[6]^2 - 2*m[3]*m[6]^2*m[7] + m[6]^2*m[7]^2 χ[13] = 158 weights[13] = [[-1, 0, -1, 0, 0, -1, -1]] computed_with[13] = ["PLD_num"] ################################ # Component 14 ################################ D[14] = m[1]^4 - 4*m[1]^3*m[4] - 4*m[1]^3*m[7] - 4*m[1]^3*t + 6*m[1]^2*m[4]^2 + 4*m[1]^2*m[4]*m[7] + 4*m[1]^2*m[4]*t + 6*m[1]^2*m[7]^2 + 4*m[1]^2*m[7]*t + 6*m[1]^2*t^2 - 4*m[1]*m[4]^3 + 4*m[1]*m[4]^2*m[7] + 4*m[1]*m[4]^2*t + 4*m[1]*m[4]*m[7]^2 - 40*m[1]*m[4]*m[7]*t + 4*m[1]*m[4]*t^2 - 4*m[1]*m[7]^3 + 4*m[1]*m[7]^2*t + 4*m[1]*m[7]*t^2 - 4*m[1]*t^3 + m[4]^4 - 4*m[4]^3*m[7] - 4*m[4]^3*t + 6*m[4]^2*m[7]^2 + 4*m[4]^2*m[7]*t + 6*m[4]^2*t^2 - 4*m[4]*m[7]^3 + 4*m[4]*m[7]^2*t + 4*m[4]*m[7]*t^2 - 4*m[4]*t^3 + m[7]^4 - 4*m[7]^3*t + 6*m[7]^2*t^2 - 4*m[7]*t^3 + t^4 χ[14] = 158 weights[14] = [[-1, 0, 0, -1, 0, 0, -1]] computed_with[14] = ["PLD_num"] ################################ # Component 15 ################################ D[15] = m[1]^4*m[3] - 3*m[1]^3*m[2]*m[3] - m[1]^3*m[2]*m[5] + m[1]^3*m[2]*s + m[1]^3*m[3]^2 - m[1]^3*m[3]*m[5] - m[1]^3*m[3]*m[7] + m[1]^3*m[3]*s + m[1]^3*m[5]*m[7] - m[1]^3*m[7]*s + 3*m[1]^2*m[2]^2*m[3] + 3*m[1]^2*m[2]^2*m[5] - 2*m[1]^2*m[2]^2*s - 2*m[1]^2*m[2]*m[3]^2 + m[1]^2*m[2]*m[3]*m[5] + 3*m[1]^2*m[2]*m[3]*m[7] - m[1]^2*m[2]*m[3]*s + m[1]^2*m[2]*m[5]^2 - 3*m[1]^2*m[2]*m[5]*m[7] - 2*m[1]^2*m[2]*m[5]*s + m[1]^2*m[2]*m[7]*s + m[1]^2*m[2]*s^2 + m[1]^2*m[3]^2*s - 2*m[1]^2*m[3]*m[7]*s + m[1]^2*m[7]^2*s - m[1]*m[2]^3*m[3] - 3*m[1]*m[2]^3*m[5] + m[1]*m[2]^3*s + m[1]*m[2]^2*m[3]^2 + m[1]*m[2]^2*m[3]*m[5] - 3*m[1]*m[2]^2*m[3]*m[7] - 2*m[1]*m[2]^2*m[5]^2 + 3*m[1]*m[2]^2*m[5]*m[7] + 3*m[1]*m[2]^2*m[5]*s + m[1]*m[2]^2*m[7]*s - m[1]*m[2]^2*s^2 - m[1]*m[2]*m[3]^2*s - m[1]*m[2]*m[3]*m[5]*s + 3*m[1]*m[2]*m[3]*m[7]*s + m[1]*m[2]*m[3]*s^2 + m[1]*m[2]*m[5]*m[7]*s - 2*m[1]*m[2]*m[7]^2*s - m[1]*m[2]*m[7]*s^2 + m[2]^4*m[5] - m[2]^3*m[3]*m[5] + m[2]^3*m[3]*m[7] + m[2]^3*m[5]^2 - m[2]^3*m[5]*m[7] - m[2]^3*m[5]*s - m[2]^3*m[7]*s + m[2]^2*m[3]*m[5]*s - m[2]^2*m[3]*m[7]*s - m[2]^2*m[5]*m[7]*s + m[2]^2*m[7]^2*s + m[2]^2*m[7]*s^2 χ[15] = 158 weights[15] = [[-1, -1, -1, 0, -1, 0, -1]] computed_with[15] = ["PLD_num"] ################################ # Component 16 ################################ D[16] = m[1]^4*m[5] - m[1]^3*m[3]*m[5] - m[1]^3*m[3]*m[6] + m[1]^3*m[3]*m[7] + m[1]^3*m[5]^2 - 3*m[1]^3*m[5]*m[6] - m[1]^3*m[5]*m[7] + m[1]^3*m[5]*s + m[1]^3*m[6]*s - m[1]^3*m[7]*s + m[1]^2*m[3]^2*m[6] + m[1]^2*m[3]*m[5]*m[6] + 3*m[1]^2*m[3]*m[6]^2 - 3*m[1]^2*m[3]*m[6]*m[7] - 2*m[1]^2*m[3]*m[6]*s - 2*m[1]^2*m[5]^2*m[6] + m[1]^2*m[5]^2*s + 3*m[1]^2*m[5]*m[6]^2 + 3*m[1]^2*m[5]*m[6]*m[7] - m[1]^2*m[5]*m[6]*s - 2*m[1]^2*m[5]*m[7]*s - 2*m[1]^2*m[6]^2*s + m[1]^2*m[6]*m[7]*s + m[1]^2*m[6]*s^2 + m[1]^2*m[7]^2*s - 2*m[1]*m[3]^2*m[6]^2 + m[1]*m[3]*m[5]*m[6]^2 - m[1]*m[3]*m[5]*m[6]*s - 3*m[1]*m[3]*m[6]^3 + 3*m[1]*m[3]*m[6]^2*m[7] + 3*m[1]*m[3]*m[6]^2*s + m[1]*m[3]*m[6]*m[7]*s + m[1]*m[5]^2*m[6]^2 - m[1]*m[5]^2*m[6]*s - m[1]*m[5]*m[6]^3 - 3*m[1]*m[5]*m[6]^2*m[7] + 3*m[1]*m[5]*m[6]*m[7]*s + m[1]*m[5]*m[6]*s^2 + m[1]*m[6]^3*s + m[1]*m[6]^2*m[7]*s - m[1]*m[6]^2*s^2 - 2*m[1]*m[6]*m[7]^2*s - m[1]*m[6]*m[7]*s^2 + m[3]^2*m[6]^3 - m[3]*m[5]*m[6]^3 + m[3]*m[5]*m[6]^2*s + m[3]*m[6]^4 - m[3]*m[6]^3*m[7] - m[3]*m[6]^3*s - m[3]*m[6]^2*m[7]*s + m[5]*m[6]^3*m[7] - m[5]*m[6]^2*m[7]*s - m[6]^3*m[7]*s + m[6]^2*m[7]^2*s + m[6]^2*m[7]*s^2 χ[16] = 158 weights[16] = [[-1, 0, -1, 0, -1, -1, -1]] computed_with[16] = ["PLD_num"] ################################ # Component 17 ################################ D[17] = m[1]^4*s^4 + 4*m[1]^3*m[2]*s^3*t - 4*m[1]^3*m[4]*s^4 - 8*m[1]^3*m[4]*s^3*t + 4*m[1]^3*m[6]*s^3*t - 4*m[1]^3*m[7]*s^4 - 8*m[1]^3*m[7]*s^3*t - 4*m[1]^3*s^4*t + 6*m[1]^2*m[2]^2*s^2*t^2 - 4*m[1]^2*m[2]*m[4]*s^3*t - 16*m[1]^2*m[2]*m[4]*s^2*t^2 - 8*m[1]^2*m[2]*m[6]*s^3*t + 4*m[1]^2*m[2]*m[6]*s^2*t^2 - 4*m[1]^2*m[2]*m[7]*s^3*t - 16*m[1]^2*m[2]*m[7]*s^2*t^2 - 12*m[1]^2*m[2]*s^3*t^2 + 6*m[1]^2*m[4]^2*s^4 + 16*m[1]^2*m[4]^2*s^3*t + 16*m[1]^2*m[4]^2*s^2*t^2 - 4*m[1]^2*m[4]*m[6]*s^3*t - 16*m[1]^2*m[4]*m[6]*s^2*t^2 + 4*m[1]^2*m[4]*m[7]*s^4 - 32*m[1]^2*m[4]*m[7]*s^3*t - 32*m[1]^2*m[4]*m[7]*s^2*t^2 + 4*m[1]^2*m[4]*s^4*t + 16*m[1]^2*m[4]*s^3*t^2 + 6*m[1]^2*m[6]^2*s^2*t^2 - 4*m[1]^2*m[6]*m[7]*s^3*t - 16*m[1]^2*m[6]*m[7]*s^2*t^2 - 12*m[1]^2*m[6]*s^3*t^2 + 6*m[1]^2*m[7]^2*s^4 + 16*m[1]^2*m[7]^2*s^3*t + 16*m[1]^2*m[7]^2*s^2*t^2 + 4*m[1]^2*m[7]*s^4*t + 16*m[1]^2*m[7]*s^3*t^2 + 6*m[1]^2*s^4*t^2 + 4*m[1]*m[2]^3*s*t^3 + 4*m[1]*m[2]^2*m[4]*s^2*t^2 - 8*m[1]*m[2]^2*m[4]*s*t^3 - 16*m[1]*m[2]^2*m[6]*s^2*t^2 - 4*m[1]*m[2]^2*m[6]*s*t^3 + 4*m[1]*m[2]^2*m[7]*s^2*t^2 - 8*m[1]*m[2]^2*m[7]*s*t^3 - 12*m[1]*m[2]^2*s^2*t^3 - 4*m[1]*m[2]*m[4]^2*s^3*t - 16*m[1]*m[2]*m[4]^2*s^2*t^2 + 16*m[1]*m[2]*m[4]*m[6]*s^3*t + 56*m[1]*m[2]*m[4]*m[6]*s^2*t^2 + 16*m[1]*m[2]*m[4]*m[6]*s*t^3 + 40*m[1]*m[2]*m[4]*m[7]*s^3*t + 32*m[1]*m[2]*m[4]*m[7]*s^2*t^2 - 8*m[1]*m[2]*m[4]*s^3*t^2 + 16*m[1]*m[2]*m[4]*s^2*t^3 - 16*m[1]*m[2]*m[6]^2*s^2*t^2 - 4*m[1]*m[2]*m[6]^2*s*t^3 + 16*m[1]*m[2]*m[6]*m[7]*s^3*t + 56*m[1]*m[2]*m[6]*m[7]*s^2*t^2 + 16*m[1]*m[2]*m[6]*m[7]*s*t^3 + 16*m[1]*m[2]*m[6]*s^3*t^2 - 8*m[1]*m[2]*m[6]*s^2*t^3 - 4*m[1]*m[2]*m[7]^2*s^3*t - 16*m[1]*m[2]*m[7]^2*s^2*t^2 - 8*m[1]*m[2]*m[7]*s^3*t^2 + 16*m[1]*m[2]*m[7]*s^2*t^3 + 12*m[1]*m[2]*s^3*t^3 - 4*m[1]*m[4]^3*s^4 - 8*m[1]*m[4]^3*s^3*t - 4*m[1]*m[4]^2*m[6]*s^3*t - 16*m[1]*m[4]^2*m[6]*s^2*t^2 + 4*m[1]*m[4]^2*m[7]*s^4 + 8*m[1]*m[4]^2*m[7]*s^3*t + 4*m[1]*m[4]^2*s^4*t + 16*m[1]*m[4]^2*s^3*t^2 + 4*m[1]*m[4]*m[6]^2*s^2*t^2 - 8*m[1]*m[4]*m[6]^2*s*t^3 + 40*m[1]*m[4]*m[6]*m[7]*s^3*t + 32*m[1]*m[4]*m[6]*m[7]*s^2*t^2 - 8*m[1]*m[4]*m[6]*s^3*t^2 + 16*m[1]*m[4]*m[6]*s^2*t^3 + 4*m[1]*m[4]*m[7]^2*s^4 + 8*m[1]*m[4]*m[7]^2*s^3*t - 40*m[1]*m[4]*m[7]*s^4*t - 32*m[1]*m[4]*m[7]*s^3*t^2 + 4*m[1]*m[4]*s^4*t^2 - 8*m[1]*m[4]*s^3*t^3 + 4*m[1]*m[6]^3*s*t^3 + 4*m[1]*m[6]^2*m[7]*s^2*t^2 - 8*m[1]*m[6]^2*m[7]*s*t^3 - 12*m[1]*m[6]^2*s^2*t^3 - 4*m[1]*m[6]*m[7]^2*s^3*t - 16*m[1]*m[6]*m[7]^2*s^2*t^2 - 8*m[1]*m[6]*m[7]*s^3*t^2 + 16*m[1]*m[6]*m[7]*s^2*t^3 + 12*m[1]*m[6]*s^3*t^3 - 4*m[1]*m[7]^3*s^4 - 8*m[1]*m[7]^3*s^3*t + 4*m[1]*m[7]^2*s^4*t + 16*m[1]*m[7]^2*s^3*t^2 + 4*m[1]*m[7]*s^4*t^2 - 8*m[1]*m[7]*s^3*t^3 - 4*m[1]*s^4*t^3 + m[2]^4*t^4 + 4*m[2]^3*m[4]*s*t^3 - 8*m[2]^3*m[6]*s*t^3 - 4*m[2]^3*m[6]*t^4 + 4*m[2]^3*m[7]*s*t^3 - 4*m[2]^3*s*t^4 + 6*m[2]^2*m[4]^2*s^2*t^2 - 16*m[2]^2*m[4]*m[6]*s^2*t^2 - 4*m[2]^2*m[4]*m[6]*s*t^3 + 4*m[2]^2*m[4]*m[7]*s^2*t^2 - 12*m[2]^2*m[4]*s^2*t^3 + 16*m[2]^2*m[6]^2*s^2*t^2 + 16*m[2]^2*m[6]^2*s*t^3 + 6*m[2]^2*m[6]^2*t^4 - 16*m[2]^2*m[6]*m[7]*s^2*t^2 - 4*m[2]^2*m[6]*m[7]*s*t^3 + 16*m[2]^2*m[6]*s^2*t^3 + 4*m[2]^2*m[6]*s*t^4 + 6*m[2]^2*m[7]^2*s^2*t^2 - 12*m[2]^2*m[7]*s^2*t^3 + 6*m[2]^2*s^2*t^4 + 4*m[2]*m[4]^3*s^3*t - 8*m[2]*m[4]^2*m[6]*s^3*t + 4*m[2]*m[4]^2*m[6]*s^2*t^2 - 4*m[2]*m[4]^2*m[7]*s^3*t - 12*m[2]*m[4]^2*s^3*t^2 - 16*m[2]*m[4]*m[6]^2*s^2*t^2 - 4*m[2]*m[4]*m[6]^2*s*t^3 - 48*m[2]*m[4]*m[6]*m[7]*s^3*t - 40*m[2]*m[4]*m[6]*m[7]*s^2*t^2 + 16*m[2]*m[4]*m[6]*s^3*t^2 - 8*m[2]*m[4]*m[6]*s^2*t^3 - 4*m[2]*m[4]*m[7]^2*s^3*t - 8*m[2]*m[4]*m[7]*s^3*t^2 + 12*m[2]*m[4]*s^3*t^3 - 8*m[2]*m[6]^3*s*t^3 - 4*m[2]*m[6]^3*t^4 - 16*m[2]*m[6]^2*m[7]*s^2*t^2 - 4*m[2]*m[6]^2*m[7]*s*t^3 + 16*m[2]*m[6]^2*s^2*t^3 + 4*m[2]*m[6]^2*s*t^4 - 8*m[2]*m[6]*m[7]^2*s^3*t + 4*m[2]*m[6]*m[7]^2*s^2*t^2 + 16*m[2]*m[6]*m[7]*s^3*t^2 - 8*m[2]*m[6]*m[7]*s^2*t^3 - 8*m[2]*m[6]*s^3*t^3 + 4*m[2]*m[6]*s^2*t^4 + 4*m[2]*m[7]^3*s^3*t - 12*m[2]*m[7]^2*s^3*t^2 + 12*m[2]*m[7]*s^3*t^3 - 4*m[2]*s^3*t^4 + m[4]^4*s^4 + 4*m[4]^3*m[6]*s^3*t - 4*m[4]^3*m[7]*s^4 - 4*m[4]^3*s^4*t + 6*m[4]^2*m[6]^2*s^2*t^2 - 4*m[4]^2*m[6]*m[7]*s^3*t - 12*m[4]^2*m[6]*s^3*t^2 + 6*m[4]^2*m[7]^2*s^4 + 4*m[4]^2*m[7]*s^4*t + 6*m[4]^2*s^4*t^2 + 4*m[4]*m[6]^3*s*t^3 + 4*m[4]*m[6]^2*m[7]*s^2*t^2 - 12*m[4]*m[6]^2*s^2*t^3 - 4*m[4]*m[6]*m[7]^2*s^3*t - 8*m[4]*m[6]*m[7]*s^3*t^2 + 12*m[4]*m[6]*s^3*t^3 - 4*m[4]*m[7]^3*s^4 + 4*m[4]*m[7]^2*s^4*t + 4*m[4]*m[7]*s^4*t^2 - 4*m[4]*s^4*t^3 + m[6]^4*t^4 + 4*m[6]^3*m[7]*s*t^3 - 4*m[6]^3*s*t^4 + 6*m[6]^2*m[7]^2*s^2*t^2 - 12*m[6]^2*m[7]*s^2*t^3 + 6*m[6]^2*s^2*t^4 + 4*m[6]*m[7]^3*s^3*t - 12*m[6]*m[7]^2*s^3*t^2 + 12*m[6]*m[7]*s^3*t^3 - 4*m[6]*s^3*t^4 + m[7]^4*s^4 - 4*m[7]^3*s^4*t + 6*m[7]^2*s^4*t^2 - 4*m[7]*s^4*t^3 + s^4*t^4 χ[17] = 158 weights[17] = [[-1, -1, 0, -1, 0, -1, -1]] computed_with[17] = ["PLD_num"] ################################ # Component 18 ################################ D[18] = m[1]^4*s^4 + 4*m[1]^3*m[3]*s^3*t - 4*m[1]^3*m[4]*s^4 - 8*m[1]^3*m[4]*s^3*t + 4*m[1]^3*m[5]*s^3*t - 4*m[1]^3*m[7]*s^4 - 4*m[1]^3*s^4*t + 6*m[1]^2*m[3]^2*s^2*t^2 - 4*m[1]^2*m[3]*m[4]*s^3*t - 16*m[1]^2*m[3]*m[4]*s^2*t^2 - 8*m[1]^2*m[3]*m[5]*s^3*t + 4*m[1]^2*m[3]*m[5]*s^2*t^2 - 4*m[1]^2*m[3]*m[7]*s^3*t - 12*m[1]^2*m[3]*s^3*t^2 + 6*m[1]^2*m[4]^2*s^4 + 16*m[1]^2*m[4]^2*s^3*t + 16*m[1]^2*m[4]^2*s^2*t^2 - 4*m[1]^2*m[4]*m[5]*s^3*t - 16*m[1]^2*m[4]*m[5]*s^2*t^2 + 4*m[1]^2*m[4]*m[7]*s^4 + 8*m[1]^2*m[4]*m[7]*s^3*t + 4*m[1]^2*m[4]*s^4*t + 16*m[1]^2*m[4]*s^3*t^2 + 6*m[1]^2*m[5]^2*s^2*t^2 - 4*m[1]^2*m[5]*m[7]*s^3*t - 12*m[1]^2*m[5]*s^3*t^2 + 6*m[1]^2*m[7]^2*s^4 + 4*m[1]^2*m[7]*s^4*t + 6*m[1]^2*s^4*t^2 + 4*m[1]*m[3]^3*s*t^3 + 4*m[1]*m[3]^2*m[4]*s^2*t^2 - 8*m[1]*m[3]^2*m[4]*s*t^3 - 16*m[1]*m[3]^2*m[5]*s^2*t^2 - 4*m[1]*m[3]^2*m[5]*s*t^3 + 4*m[1]*m[3]^2*m[7]*s^2*t^2 - 12*m[1]*m[3]^2*s^2*t^3 - 4*m[1]*m[3]*m[4]^2*s^3*t - 16*m[1]*m[3]*m[4]^2*s^2*t^2 + 16*m[1]*m[3]*m[4]*m[5]*s^3*t + 56*m[1]*m[3]*m[4]*m[5]*s^2*t^2 + 16*m[1]*m[3]*m[4]*m[5]*s*t^3 + 40*m[1]*m[3]*m[4]*m[7]*s^3*t + 32*m[1]*m[3]*m[4]*m[7]*s^2*t^2 - 8*m[1]*m[3]*m[4]*s^3*t^2 + 16*m[1]*m[3]*m[4]*s^2*t^3 - 16*m[1]*m[3]*m[5]^2*s^2*t^2 - 4*m[1]*m[3]*m[5]^2*s*t^3 - 48*m[1]*m[3]*m[5]*m[7]*s^3*t - 40*m[1]*m[3]*m[5]*m[7]*s^2*t^2 + 16*m[1]*m[3]*m[5]*s^3*t^2 - 8*m[1]*m[3]*m[5]*s^2*t^3 - 4*m[1]*m[3]*m[7]^2*s^3*t - 8*m[1]*m[3]*m[7]*s^3*t^2 + 12*m[1]*m[3]*s^3*t^3 - 4*m[1]*m[4]^3*s^4 - 8*m[1]*m[4]^3*s^3*t - 4*m[1]*m[4]^2*m[5]*s^3*t - 16*m[1]*m[4]^2*m[5]*s^2*t^2 + 4*m[1]*m[4]^2*m[7]*s^4 - 32*m[1]*m[4]^2*m[7]*s^3*t - 32*m[1]*m[4]^2*m[7]*s^2*t^2 + 4*m[1]*m[4]^2*s^4*t + 16*m[1]*m[4]^2*s^3*t^2 + 4*m[1]*m[4]*m[5]^2*s^2*t^2 - 8*m[1]*m[4]*m[5]^2*s*t^3 + 40*m[1]*m[4]*m[5]*m[7]*s^3*t + 32*m[1]*m[4]*m[5]*m[7]*s^2*t^2 - 8*m[1]*m[4]*m[5]*s^3*t^2 + 16*m[1]*m[4]*m[5]*s^2*t^3 + 4*m[1]*m[4]*m[7]^2*s^4 + 8*m[1]*m[4]*m[7]^2*s^3*t - 40*m[1]*m[4]*m[7]*s^4*t - 32*m[1]*m[4]*m[7]*s^3*t^2 + 4*m[1]*m[4]*s^4*t^2 - 8*m[1]*m[4]*s^3*t^3 + 4*m[1]*m[5]^3*s*t^3 + 4*m[1]*m[5]^2*m[7]*s^2*t^2 - 12*m[1]*m[5]^2*s^2*t^3 - 4*m[1]*m[5]*m[7]^2*s^3*t - 8*m[1]*m[5]*m[7]*s^3*t^2 + 12*m[1]*m[5]*s^3*t^3 - 4*m[1]*m[7]^3*s^4 + 4*m[1]*m[7]^2*s^4*t + 4*m[1]*m[7]*s^4*t^2 - 4*m[1]*s^4*t^3 + m[3]^4*t^4 + 4*m[3]^3*m[4]*s*t^3 - 8*m[3]^3*m[5]*s*t^3 - 4*m[3]^3*m[5]*t^4 + 4*m[3]^3*m[7]*s*t^3 - 4*m[3]^3*s*t^4 + 6*m[3]^2*m[4]^2*s^2*t^2 - 16*m[3]^2*m[4]*m[5]*s^2*t^2 - 4*m[3]^2*m[4]*m[5]*s*t^3 + 4*m[3]^2*m[4]*m[7]*s^2*t^2 - 8*m[3]^2*m[4]*m[7]*s*t^3 - 12*m[3]^2*m[4]*s^2*t^3 + 16*m[3]^2*m[5]^2*s^2*t^2 + 16*m[3]^2*m[5]^2*s*t^3 + 6*m[3]^2*m[5]^2*t^4 - 16*m[3]^2*m[5]*m[7]*s^2*t^2 - 4*m[3]^2*m[5]*m[7]*s*t^3 + 16*m[3]^2*m[5]*s^2*t^3 + 4*m[3]^2*m[5]*s*t^4 + 6*m[3]^2*m[7]^2*s^2*t^2 - 12*m[3]^2*m[7]*s^2*t^3 + 6*m[3]^2*s^2*t^4 + 4*m[3]*m[4]^3*s^3*t - 8*m[3]*m[4]^2*m[5]*s^3*t + 4*m[3]*m[4]^2*m[5]*s^2*t^2 - 4*m[3]*m[4]^2*m[7]*s^3*t - 16*m[3]*m[4]^2*m[7]*s^2*t^2 - 12*m[3]*m[4]^2*s^3*t^2 - 16*m[3]*m[4]*m[5]^2*s^2*t^2 - 4*m[3]*m[4]*m[5]^2*s*t^3 + 16*m[3]*m[4]*m[5]*m[7]*s^3*t + 56*m[3]*m[4]*m[5]*m[7]*s^2*t^2 + 16*m[3]*m[4]*m[5]*m[7]*s*t^3 + 16*m[3]*m[4]*m[5]*s^3*t^2 - 8*m[3]*m[4]*m[5]*s^2*t^3 - 4*m[3]*m[4]*m[7]^2*s^3*t - 16*m[3]*m[4]*m[7]^2*s^2*t^2 - 8*m[3]*m[4]*m[7]*s^3*t^2 + 16*m[3]*m[4]*m[7]*s^2*t^3 + 12*m[3]*m[4]*s^3*t^3 - 8*m[3]*m[5]^3*s*t^3 - 4*m[3]*m[5]^3*t^4 - 16*m[3]*m[5]^2*m[7]*s^2*t^2 - 4*m[3]*m[5]^2*m[7]*s*t^3 + 16*m[3]*m[5]^2*s^2*t^3 + 4*m[3]*m[5]^2*s*t^4 - 8*m[3]*m[5]*m[7]^2*s^3*t + 4*m[3]*m[5]*m[7]^2*s^2*t^2 + 16*m[3]*m[5]*m[7]*s^3*t^2 - 8*m[3]*m[5]*m[7]*s^2*t^3 - 8*m[3]*m[5]*s^3*t^3 + 4*m[3]*m[5]*s^2*t^4 + 4*m[3]*m[7]^3*s^3*t - 12*m[3]*m[7]^2*s^3*t^2 + 12*m[3]*m[7]*s^3*t^3 - 4*m[3]*s^3*t^4 + m[4]^4*s^4 + 4*m[4]^3*m[5]*s^3*t - 4*m[4]^3*m[7]*s^4 - 8*m[4]^3*m[7]*s^3*t - 4*m[4]^3*s^4*t + 6*m[4]^2*m[5]^2*s^2*t^2 - 4*m[4]^2*m[5]*m[7]*s^3*t - 16*m[4]^2*m[5]*m[7]*s^2*t^2 - 12*m[4]^2*m[5]*s^3*t^2 + 6*m[4]^2*m[7]^2*s^4 + 16*m[4]^2*m[7]^2*s^3*t + 16*m[4]^2*m[7]^2*s^2*t^2 + 4*m[4]^2*m[7]*s^4*t + 16*m[4]^2*m[7]*s^3*t^2 + 6*m[4]^2*s^4*t^2 + 4*m[4]*m[5]^3*s*t^3 + 4*m[4]*m[5]^2*m[7]*s^2*t^2 - 8*m[4]*m[5]^2*m[7]*s*t^3 - 12*m[4]*m[5]^2*s^2*t^3 - 4*m[4]*m[5]*m[7]^2*s^3*t - 16*m[4]*m[5]*m[7]^2*s^2*t^2 - 8*m[4]*m[5]*m[7]*s^3*t^2 + 16*m[4]*m[5]*m[7]*s^2*t^3 + 12*m[4]*m[5]*s^3*t^3 - 4*m[4]*m[7]^3*s^4 - 8*m[4]*m[7]^3*s^3*t + 4*m[4]*m[7]^2*s^4*t + 16*m[4]*m[7]^2*s^3*t^2 + 4*m[4]*m[7]*s^4*t^2 - 8*m[4]*m[7]*s^3*t^3 - 4*m[4]*s^4*t^3 + m[5]^4*t^4 + 4*m[5]^3*m[7]*s*t^3 - 4*m[5]^3*s*t^4 + 6*m[5]^2*m[7]^2*s^2*t^2 - 12*m[5]^2*m[7]*s^2*t^3 + 6*m[5]^2*s^2*t^4 + 4*m[5]*m[7]^3*s^3*t - 12*m[5]*m[7]^2*s^3*t^2 + 12*m[5]*m[7]*s^3*t^3 - 4*m[5]*s^3*t^4 + m[7]^4*s^4 - 4*m[7]^3*s^4*t + 6*m[7]^2*s^4*t^2 - 4*m[7]*s^4*t^3 + s^4*t^4 χ[18] = 158 weights[18] = [[-1, 0, -1, -1, -1, 0, -1]] computed_with[18] = ["PLD_num"] ################################ # Component 19 ################################ D[19] = m[2] χ[19] = 142 weights[19] = [[0, -1, 0, 1, 1, 0, 1], [0, -1, 1, 0, 1, 0, 1], [0, -1, 1, 1, 0, 0, 1], [0, -1, 1, 1, 1, 0, 0], [0, -1, 0, 0, 1, 0, 1], [0, -1, 0, 1, 0, 0, 1], [0, -1, 0, 1, 1, 0, 0], [0, -1, 1, 0, 0, 0, 1], [0, -1, 1, 0, 1, 0, 0], [0, -1, 1, 1, 0, 0, 0], [0, -1, 0, 0, 0, 0, 1], [0, -1, 0, 0, 1, 0, 0], [0, -1, 0, 1, 0, 0, 0], [0, -1, 1, 0, 0, 0, 0], [0, -1, 0, 0, 0, 0, 0]] computed_with[19] = ["PLD_sym", "PLD_num"] ################################ # Component 20 ################################ D[20] = m[2]^2 - 2*m[2]*m[6] - 2*m[2]*s + m[6]^2 - 2*m[6]*s + s^2 χ[20] = 146 weights[20] = [[0, -1, 0, 1, 1, -1, 1], [0, -1, 1, 0, 1, -1, 1], [0, -1, 1, 1, 0, -1, 1], [0, -1, 1, 1, 1, -1, 0], [0, -1, 0, 0, 1, -1, 1], [0, -1, 0, 1, 0, -1, 1], [0, -1, 0, 1, 1, -1, 0], [0, -1, 1, 0, 0, -1, 1], [0, -1, 1, 0, 1, -1, 0], [0, -1, 1, 1, 0, -1, 0], [0, -1, 0, 0, 0, -1, 1], [0, -1, 0, 0, 1, -1, 0], [0, -1, 0, 1, 0, -1, 0], [0, -1, 1, 0, 0, -1, 0], [0, -1, 0, 0, 0, -1, 0]] computed_with[20] = ["PLD_sym", "PLD_num"] ################################ # Component 21 ################################ D[21] = m[2]^2*m[3]^2*m[4] - 2*m[2]^2*m[3]*m[4]^2 - m[2]^2*m[3]*m[4]*s + m[2]^2*m[4]^3 + m[2]^2*m[4]^2*s - m[2]*m[3]^3*m[4] - m[2]*m[3]^3*m[6] + m[2]*m[3]^3*m[7] + 3*m[2]*m[3]^2*m[4]^2 + m[2]*m[3]^2*m[4]*m[6] - 3*m[2]*m[3]^2*m[4]*m[7] + m[2]*m[3]^2*m[6]*s - m[2]*m[3]^2*m[7]*s - 3*m[2]*m[3]*m[4]^3 + m[2]*m[3]*m[4]^2*m[6] + 3*m[2]*m[3]*m[4]^2*m[7] - m[2]*m[3]*m[4]^2*s - m[2]*m[3]*m[4]*m[6]*s + 3*m[2]*m[3]*m[4]*m[7]*s + m[2]*m[3]*m[4]*s^2 + m[2]*m[4]^4 - m[2]*m[4]^3*m[6] - m[2]*m[4]^3*m[7] + m[2]*m[4]^3*s - 2*m[2]*m[4]^2*m[7]*s + m[3]^4*m[6] - 3*m[3]^3*m[4]*m[6] + m[3]^3*m[4]*s + m[3]^3*m[6]^2 - m[3]^3*m[6]*m[7] - m[3]^3*m[6]*s - m[3]^3*m[7]*s + 3*m[3]^2*m[4]^2*m[6] - 2*m[3]^2*m[4]^2*s - 2*m[3]^2*m[4]*m[6]^2 + 3*m[3]^2*m[4]*m[6]*m[7] + 3*m[3]^2*m[4]*m[6]*s + m[3]^2*m[4]*m[7]*s - m[3]^2*m[4]*s^2 - m[3]^2*m[6]*m[7]*s + m[3]^2*m[7]^2*s + m[3]^2*m[7]*s^2 - m[3]*m[4]^3*m[6] + m[3]*m[4]^3*s + m[3]*m[4]^2*m[6]^2 - 3*m[3]*m[4]^2*m[6]*m[7] - 2*m[3]*m[4]^2*m[6]*s + m[3]*m[4]^2*m[7]*s + m[3]*m[4]^2*s^2 + m[3]*m[4]*m[6]*m[7]*s - 2*m[3]*m[4]*m[7]^2*s - m[3]*m[4]*m[7]*s^2 + m[4]^3*m[6]*m[7] - m[4]^3*m[7]*s + m[4]^2*m[7]^2*s χ[21] = 158 weights[21] = [[0, -1, -1, -1, 0, -1, -1]] computed_with[21] = ["PLD_num"] ################################ # Component 22 ################################ D[22] = m[2]^2*m[4]^2 - 2*m[2]^2*m[4]*m[5] + m[2]^2*m[5]^2 - 2*m[2]*m[4]^3 + 4*m[2]*m[4]^2*m[5] - 2*m[2]*m[4]^2*m[7] - 2*m[2]*m[4]^2*s - 2*m[2]*m[4]*m[5]^2 + 4*m[2]*m[4]*m[5]*m[7] + 2*m[2]*m[4]*m[5]*s - 2*m[2]*m[5]^2*m[7] + m[4]^4 - 2*m[4]^3*m[5] - 2*m[4]^3*m[7] + 2*m[4]^3*s + m[4]^2*m[5]^2 + 4*m[4]^2*m[5]*m[7] - 2*m[4]^2*m[5]*s + m[4]^2*m[7]^2 - 2*m[4]^2*m[7]*s + m[4]^2*s^2 - 2*m[4]*m[5]^2*m[7] - 2*m[4]*m[5]*m[7]^2 + 2*m[4]*m[5]*m[7]*s + m[5]^2*m[7]^2 χ[22] = 158 weights[22] = [[0, -1, 0, -1, -1, 0, -1]] computed_with[22] = ["PLD_num"] ################################ # Component 23 ################################ D[23] = m[2]^2*m[4]^2 - 2*m[2]^2*m[4]*m[6] - 2*m[2]^2*m[4]*m[7] + m[2]^2*m[6]^2 - 2*m[2]^2*m[6]*m[7] + m[2]^2*m[7]^2 - 2*m[2]*m[4]^3 + 4*m[2]*m[4]^2*m[6] + 2*m[2]*m[4]^2*m[7] - 2*m[2]*m[4]^2*s - 2*m[2]*m[4]*m[6]^2 + 8*m[2]*m[4]*m[6]*m[7] + 2*m[2]*m[4]*m[6]*s + 2*m[2]*m[4]*m[7]^2 + 4*m[2]*m[4]*m[7]*s - 2*m[2]*m[6]^2*m[7] + 4*m[2]*m[6]*m[7]^2 + 2*m[2]*m[6]*m[7]*s - 2*m[2]*m[7]^3 - 2*m[2]*m[7]^2*s + m[4]^4 - 2*m[4]^3*m[6] - 4*m[4]^3*m[7] + 2*m[4]^3*s + m[4]^2*m[6]^2 + 2*m[4]^2*m[6]*m[7] - 2*m[4]^2*m[6]*s + 6*m[4]^2*m[7]^2 - 2*m[4]^2*m[7]*s + m[4]^2*s^2 - 2*m[4]*m[6]^2*m[7] + 2*m[4]*m[6]*m[7]^2 + 4*m[4]*m[6]*m[7]*s - 4*m[4]*m[7]^3 - 2*m[4]*m[7]^2*s - 2*m[4]*m[7]*s^2 + m[6]^2*m[7]^2 - 2*m[6]*m[7]^3 - 2*m[6]*m[7]^2*s + m[7]^4 + 2*m[7]^3*s + m[7]^2*s^2 χ[23] = 158 weights[23] = [[0, -1, 0, -1, 0, -1, -1]] computed_with[23] = ["PLD_num"] ################################ # Component 24 ################################ D[24] = m[2]^2*m[4]^2*m[5] - 2*m[2]^2*m[4]*m[5]^2 + m[2]^2*m[5]^3 - m[2]*m[4]^3*m[5] - m[2]*m[4]^3*m[6] + m[2]*m[4]^3*m[7] + 3*m[2]*m[4]^2*m[5]^2 + m[2]*m[4]^2*m[5]*m[6] - 3*m[2]*m[4]^2*m[5]*m[7] - 2*m[2]*m[4]^2*m[5]*s - 3*m[2]*m[4]*m[5]^3 + m[2]*m[4]*m[5]^2*m[6] + 3*m[2]*m[4]*m[5]^2*m[7] + 3*m[2]*m[4]*m[5]^2*s - m[2]*m[4]*m[5]*m[6]*s + m[2]*m[4]*m[5]*m[7]*s + m[2]*m[5]^4 - m[2]*m[5]^3*m[6] - m[2]*m[5]^3*m[7] - m[2]*m[5]^3*s + m[2]*m[5]^2*m[6]*s - m[2]*m[5]^2*m[7]*s + m[4]^4*m[6] - 3*m[4]^3*m[5]*m[6] + m[4]^3*m[5]*s + m[4]^3*m[6]^2 - m[4]^3*m[6]*m[7] + m[4]^3*m[6]*s - m[4]^3*m[7]*s + 3*m[4]^2*m[5]^2*m[6] - 2*m[4]^2*m[5]^2*s - 2*m[4]^2*m[5]*m[6]^2 + 3*m[4]^2*m[5]*m[6]*m[7] - m[4]^2*m[5]*m[6]*s + m[4]^2*m[5]*m[7]*s + m[4]^2*m[5]*s^2 + m[4]^2*m[6]^2*s - 2*m[4]^2*m[6]*m[7]*s + m[4]^2*m[7]^2*s - m[4]*m[5]^3*m[6] + m[4]*m[5]^3*s + m[4]*m[5]^2*m[6]^2 - 3*m[4]*m[5]^2*m[6]*m[7] + m[4]*m[5]^2*m[7]*s - m[4]*m[5]^2*s^2 - m[4]*m[5]*m[6]^2*s + 3*m[4]*m[5]*m[6]*m[7]*s + m[4]*m[5]*m[6]*s^2 - 2*m[4]*m[5]*m[7]^2*s - m[4]*m[5]*m[7]*s^2 + m[5]^3*m[6]*m[7] - m[5]^3*m[7]*s - m[5]^2*m[6]*m[7]*s + m[5]^2*m[7]^2*s + m[5]^2*m[7]*s^2 χ[24] = 158 weights[24] = [[0, -1, 0, -1, -1, -1, -1]] computed_with[24] = ["PLD_num"] ################################ # Component 25 ################################ D[25] = m[2]^4 - 4*m[2]^3*m[5] - 4*m[2]^3*m[7] - 4*m[2]^3*s + 6*m[2]^2*m[5]^2 + 4*m[2]^2*m[5]*m[7] + 4*m[2]^2*m[5]*s + 6*m[2]^2*m[7]^2 + 4*m[2]^2*m[7]*s + 6*m[2]^2*s^2 - 4*m[2]*m[5]^3 + 4*m[2]*m[5]^2*m[7] + 4*m[2]*m[5]^2*s + 4*m[2]*m[5]*m[7]^2 - 40*m[2]*m[5]*m[7]*s + 4*m[2]*m[5]*s^2 - 4*m[2]*m[7]^3 + 4*m[2]*m[7]^2*s + 4*m[2]*m[7]*s^2 - 4*m[2]*s^3 + m[5]^4 - 4*m[5]^3*m[7] - 4*m[5]^3*s + 6*m[5]^2*m[7]^2 + 4*m[5]^2*m[7]*s + 6*m[5]^2*s^2 - 4*m[5]*m[7]^3 + 4*m[5]*m[7]^2*s + 4*m[5]*m[7]*s^2 - 4*m[5]*s^3 + m[7]^4 - 4*m[7]^3*s + 6*m[7]^2*s^2 - 4*m[7]*s^3 + s^4 χ[25] = 158 weights[25] = [[0, -1, 0, 0, -1, 0, -1]] computed_with[25] = ["PLD_num"] ################################ # Component 26 ################################ D[26] = m[3] χ[26] = 142 weights[26] = [[0, 1, -1, 0, 0, 1, 1], [1, 0, -1, 0, 0, 1, 1], [1, 1, -1, 0, 0, 0, 1], [1, 1, -1, 0, 0, 1, 0], [0, 0, -1, 0, 0, 1, 1], [0, 1, -1, 0, 0, 0, 1], [0, 1, -1, 0, 0, 1, 0], [1, 0, -1, 0, 0, 0, 1], [1, 0, -1, 0, 0, 1, 0], [1, 1, -1, 0, 0, 0, 0], [0, 0, -1, 0, 0, 0, 1], [0, 0, -1, 0, 0, 1, 0], [0, 1, -1, 0, 0, 0, 0], [1, 0, -1, 0, 0, 0, 0], [0, 0, -1, 0, 0, 0, 0]] computed_with[26] = ["PLD_sym", "PLD_num"] ################################ # Component 27 ################################ D[27] = m[3] - m[4] χ[27] = 146 weights[27] = [[0, 1, -1, -1, 0, 1, 1], [1, 0, -1, -1, 0, 1, 1], [1, 1, -1, -1, 0, 0, 1], [1, 1, -1, -1, 0, 1, 0]] computed_with[27] = ["PLD_sym"] ################################ # Component 28 ################################ D[28] = m[3]*m[4] - m[3]*m[5] - m[4]^2 + m[4]*m[5] - m[4]*s χ[28] = 146 weights[28] = [[0, 1, -1, -1, -1, 1, 1], [1, 0, -1, -1, -1, 1, 1], [1, 1, -1, -1, -1, 0, 1], [1, 1, -1, -1, -1, 1, 0], [0, 0, -1, -1, -1, 1, 1], [0, 1, -1, -1, -1, 0, 1], [0, 1, -1, -1, -1, 1, 0], [1, 0, -1, -1, -1, 0, 1], [1, 0, -1, -1, -1, 1, 0], [1, 1, -1, -1, -1, 0, 0], [0, 0, -1, -1, -1, 0, 1], [0, 0, -1, -1, -1, 1, 0], [0, 1, -1, -1, -1, 0, 0], [1, 0, -1, -1, -1, 0, 0], [0, 0, -1, -1, -1, 0, 0]] computed_with[28] = ["PLD_num"] ################################ # Component 29 ################################ D[29] = m[3]^2 - 2*m[3]*m[5] - 2*m[3]*s + m[5]^2 - 2*m[5]*s + s^2 χ[29] = 146 weights[29] = [[0, 1, -1, 0, -1, 1, 1], [1, 0, -1, 0, -1, 1, 1], [1, 1, -1, 0, -1, 0, 1], [1, 1, -1, 0, -1, 1, 0], [0, 0, -1, 0, -1, 1, 1], [0, 1, -1, 0, -1, 0, 1], [0, 1, -1, 0, -1, 1, 0], [1, 0, -1, 0, -1, 0, 1], [1, 0, -1, 0, -1, 1, 0], [1, 1, -1, 0, -1, 0, 0], [0, 0, -1, 0, -1, 0, 1], [0, 0, -1, 0, -1, 1, 0], [0, 1, -1, 0, -1, 0, 0], [1, 0, -1, 0, -1, 0, 0], [0, 0, -1, 0, -1, 0, 0]] computed_with[29] = ["PLD_sym", "PLD_num"] ################################ # Component 30 ################################ D[30] = m[3]^2*m[4]^2 - 2*m[3]^2*m[4]*m[6] - 2*m[3]^2*m[4]*m[7] + m[3]^2*m[6]^2 - 2*m[3]^2*m[6]*m[7] + m[3]^2*m[7]^2 - 2*m[3]*m[4]^3 + 4*m[3]*m[4]^2*m[6] + 4*m[3]*m[4]^2*m[7] - 2*m[3]*m[4]^2*s - 2*m[3]*m[4]*m[6]^2 + 4*m[3]*m[4]*m[6]*m[7] + 2*m[3]*m[4]*m[6]*s - 2*m[3]*m[4]*m[7]^2 + 2*m[3]*m[4]*m[7]*s + m[4]^4 - 2*m[4]^3*m[6] - 2*m[4]^3*m[7] + 2*m[4]^3*s + m[4]^2*m[6]^2 - 2*m[4]^2*m[6]*m[7] - 2*m[4]^2*m[6]*s + m[4]^2*m[7]^2 - 2*m[4]^2*m[7]*s + m[4]^2*s^2 χ[30] = 158 weights[30] = [[0, 0, -1, -1, 0, -1, -1]] computed_with[30] = ["PLD_num"] ################################ # Component 31 ################################ D[31] = m[3]^4 - 4*m[3]^3*m[6] - 4*m[3]^3*m[7] - 4*m[3]^3*s + 6*m[3]^2*m[6]^2 + 4*m[3]^2*m[6]*m[7] + 4*m[3]^2*m[6]*s + 6*m[3]^2*m[7]^2 + 4*m[3]^2*m[7]*s + 6*m[3]^2*s^2 - 4*m[3]*m[6]^3 + 4*m[3]*m[6]^2*m[7] + 4*m[3]*m[6]^2*s + 4*m[3]*m[6]*m[7]^2 - 40*m[3]*m[6]*m[7]*s + 4*m[3]*m[6]*s^2 - 4*m[3]*m[7]^3 + 4*m[3]*m[7]^2*s + 4*m[3]*m[7]*s^2 - 4*m[3]*s^3 + m[6]^4 - 4*m[6]^3*m[7] - 4*m[6]^3*s + 6*m[6]^2*m[7]^2 + 4*m[6]^2*m[7]*s + 6*m[6]^2*s^2 - 4*m[6]*m[7]^3 + 4*m[6]*m[7]^2*s + 4*m[6]*m[7]*s^2 - 4*m[6]*s^3 + m[7]^4 - 4*m[7]^3*s + 6*m[7]^2*s^2 - 4*m[7]*s^3 + s^4 χ[31] = 158 weights[31] = [[0, 0, -1, 0, 0, -1, -1]] computed_with[31] = ["PLD_num"] ################################ # Component 32 ################################ D[32] = m[4] χ[32] = 146 weights[32] = [[0, 1, 0, -1, 0, 1, 1], [1, 0, 0, -1, 0, 1, 1], [1, 1, 0, -1, 0, 0, 1], [1, 1, 0, -1, 0, 1, 0], [0, 0, 0, -1, 0, 1, 1], [0, 1, 0, -1, 0, 0, 1], [0, 1, 0, -1, 0, 1, 0], [1, 0, 0, -1, 0, 0, 1], [1, 0, 0, -1, 0, 1, 0], [1, 1, 0, -1, 0, 0, 0], [0, 0, 0, -1, 0, 0, 1], [0, 0, 0, -1, 0, 1, 0], [0, 1, 0, -1, 0, 0, 0], [1, 0, 0, -1, 0, 0, 0], [0, 0, 0, -1, 0, 0, 0]] computed_with[32] = ["PLD_sym", "PLD_num"] ################################ # Component 33 ################################ D[33] = m[4] - m[5] χ[33] = 146 weights[33] = [[0, 1, 0, -1, -1, 1, 1], [1, 0, 0, -1, -1, 1, 1], [1, 1, 0, -1, -1, 0, 1], [1, 1, 0, -1, -1, 1, 0]] computed_with[33] = ["PLD_sym"] ################################ # Component 34 ################################ D[34] = m[5] χ[34] = 142 weights[34] = [[0, 1, 0, 0, -1, 1, 1], [1, 0, 0, 0, -1, 1, 1], [1, 1, 0, 0, -1, 0, 1], [1, 1, 0, 0, -1, 1, 0], [0, 0, 0, 0, -1, 1, 1], [0, 1, 0, 0, -1, 0, 1], [0, 1, 0, 0, -1, 1, 0], [1, 0, 0, 0, -1, 0, 1], [1, 0, 0, 0, -1, 1, 0], [1, 1, 0, 0, -1, 0, 0], [0, 0, 0, 0, -1, 0, 1], [0, 0, 0, 0, -1, 1, 0], [0, 1, 0, 0, -1, 0, 0], [1, 0, 0, 0, -1, 0, 0], [0, 0, 0, 0, -1, 0, 0]] computed_with[34] = ["PLD_sym", "PLD_num"] ################################ # Component 35 ################################ D[35] = m[6] χ[35] = 142 weights[35] = [[0, 0, 0, 1, 1, -1, 1], [0, 0, 1, 0, 1, -1, 1], [0, 0, 1, 1, 0, -1, 1], [0, 0, 1, 1, 1, -1, 0], [0, 0, 0, 0, 1, -1, 1], [0, 0, 0, 1, 0, -1, 1], [0, 0, 0, 1, 1, -1, 0], [0, 0, 1, 0, 0, -1, 1], [0, 0, 1, 0, 1, -1, 0], [0, 0, 1, 1, 0, -1, 0], [0, 0, 0, 0, 0, -1, 1], [0, 0, 0, 0, 1, -1, 0], [0, 0, 0, 1, 0, -1, 0], [0, 0, 1, 0, 0, -1, 0], [0, 0, 0, 0, 0, -1, 0]] computed_with[35] = ["PLD_sym", "PLD_num"] ################################ # Component 36 ################################ D[36] = m[7] χ[36] = 132 weights[36] = [[0, 1, 1, 1, 1, 1, -1], [1, 0, 1, 1, 1, 1, -1], [1, 1, 0, 1, 1, 1, -1], [1, 1, 1, 0, 1, 1, -1], [1, 1, 1, 1, 0, 1, -1], [1, 1, 1, 1, 1, 0, -1], [0, 0, 1, 1, 1, 1, -1], [0, 1, 0, 1, 1, 1, -1], [0, 1, 1, 0, 1, 1, -1], [0, 1, 1, 1, 0, 1, -1], [0, 1, 1, 1, 1, 0, -1], [1, 0, 0, 1, 1, 1, -1], [1, 0, 1, 0, 1, 1, -1], [1, 0, 1, 1, 0, 1, -1], [1, 0, 1, 1, 1, 0, -1], [1, 1, 0, 0, 1, 1, -1], [1, 1, 0, 1, 0, 1, -1], [1, 1, 0, 1, 1, 0, -1], [1, 1, 1, 0, 0, 1, -1], [1, 1, 1, 0, 1, 0, -1], [1, 1, 1, 1, 0, 0, -1], [0, 0, 0, 1, 1, 1, -1], [0, 0, 1, 0, 1, 1, -1], [0, 0, 1, 1, 0, 1, -1], [0, 0, 1, 1, 1, 0, -1], [0, 1, 0, 0, 1, 1, -1], [0, 1, 0, 1, 0, 1, -1], [0, 1, 0, 1, 1, 0, -1], [0, 1, 1, 0, 0, 1, -1], [0, 1, 1, 0, 1, 0, -1], [0, 1, 1, 1, 0, 0, -1], [1, 0, 0, 0, 1, 1, -1], [1, 0, 0, 1, 0, 1, -1], [1, 0, 0, 1, 1, 0, -1], [1, 0, 1, 0, 0, 1, -1], [1, 0, 1, 0, 1, 0, -1], [1, 0, 1, 1, 0, 0, -1], [1, 1, 0, 0, 0, 1, -1], [1, 1, 0, 0, 1, 0, -1], [1, 1, 0, 1, 0, 0, -1], [1, 1, 1, 0, 0, 0, -1], [0, 0, 0, 0, 1, 1, -1], [0, 0, 0, 1, 0, 1, -1], [0, 0, 0, 1, 1, 0, -1], [0, 0, 1, 0, 0, 1, -1], [0, 0, 1, 0, 1, 0, -1], [0, 0, 1, 1, 0, 0, -1], [0, 1, 0, 0, 0, 1, -1], [0, 1, 0, 0, 1, 0, -1], [0, 1, 0, 1, 0, 0, -1], [0, 1, 1, 0, 0, 0, -1], [1, 0, 0, 0, 0, 1, -1], [1, 0, 0, 0, 1, 0, -1], [1, 0, 0, 1, 0, 0, -1], [1, 0, 1, 0, 0, 0, -1], [1, 1, 0, 0, 0, 0, -1], [0, 0, 0, 0, 0, 1, -1], [0, 0, 0, 0, 1, 0, -1], [0, 0, 0, 1, 0, 0, -1], [0, 0, 1, 0, 0, 0, -1], [0, 1, 0, 0, 0, 0, -1], [1, 0, 0, 0, 0, 0, -1], [0, 0, 0, 0, 0, 0, -1]] computed_with[36] = ["PLD_sym", "PLD_num"] ################################ # Component 37 ################################ D[37] = s χ[37] = 51 weights[37] = [[-1, 0, -1, 0, -1, 0, 0], [-1, -1, 0, 1, 1, -1, 1], [-1, -1, 1, 0, 1, -1, 1], [-1, -1, 1, 1, 0, -1, 1], [-1, -1, 1, 1, 1, -1, 0], [1, 2, 0, 1, 0, 2, 2], [0, 1, -1, -1, -1, 1, 1], [0, -1, -1, 0, -1, 0, 0], [0, -1, -1, 0, 0, -1, 0], [1, 0, 1, 2, 2, 0, 2], [0, -1, 0, -1, 0, -1, 0], [1, 0, 2, 1, 2, 0, 2], [0, -1, 0, 0, -1, 0, -1], [0, -1, 0, 0, -1, -1, 0], [1, 0, 2, 2, 1, 0, 2], [0, -1, 0, 0, 0, -1, -1], [1, 0, 2, 2, 2, 0, 1], [2, 1, 0, 1, 0, 2, 2], [1, 0, -1, -1, -1, 1, 1], [0, 0, -1, 0, 0, -1, -1], [0, 0, -1, 0, -1, -1, 0], [2, 2, 0, 1, 0, 1, 2], [1, 1, -1, -1, -1, 0, 1], [0, 0, -1, 0, -1, 0, -1], [2, 2, 0, 1, 0, 2, 1], [1, 1, -1, -1, -1, 1, 0], [-1, 0, -1, -1, -1, 0, 0], [-1, -1, 0, 0, 1, -1, 1], [-1, 0, -1, 0, -1, 0, -1], [0, 1, 0, 1, 0, 1, 1], [-1, -1, -1, 0, -1, 0, 0], [-1, 0, -1, 0, -1, -1, 0], [-1, -1, 0, 1, 0, -1, 1], [-1, 0, -1, 0, 0, -1, -1], [-1, -1, 0, 1, 1, -1, 0], [-1, -1, -1, 0, 0, -1, 0], [0, 0, 1, 2, 2, 0, 2], [-1, -1, 1, 0, 0, -1, 1], [-1, -1, 1, 0, 1, -1, 0], [-1, -1, 0, -1, 0, -1, 0], [0, 0, 2, 1, 2, 0, 2], [-1, -1, 0, 0, -1, 0, -1], [-1, -1, 1, 1, 0, -1, 0], [-1, -1, 0, 0, -1, -1, 0], [0, 0, 2, 2, 1, 0, 2], [-1, -1, 0, 0, 0, -1, -1], [0, 0, 2, 2, 2, 0, 1], [1, 2, 0, 0, 0, 2, 2], [1, 1, 0, 1, 0, 2, 2], [1, 2, 0, 1, 0, 1, 2], [1, 2, 0, 1, 0, 2, 1], [0, 0, -1, -1, -1, 1, 1], [0, 1, -1, -1, -1, 0, 1], [0, 1, -1, -1, -1, 1, 0], [0, -1, -1, -1, -1, 0, 0], [0, -1, -1, -1, 0, -1, 0], [1, 0, 1, 1, 2, 0, 2], [0, -1, -1, 0, -1, 0, -1], [1, 0, 0, 1, 0, 1, 1], [0, -1, -1, 0, -1, -1, 0], [1, 0, 1, 2, 1, 0, 2], [0, -1, -1, 0, 0, -1, -1], [1, 0, 1, 2, 2, 0, 1], [1, 0, 0, 1, 1, 0, 1], [0, -1, 0, -1, -1, 0, -1], [0, -1, 0, -1, -1, -1, 0], [1, 0, 2, 1, 1, 0, 2], [0, -1, 0, -1, 0, -1, -1], [1, 0, 2, 1, 2, 0, 1], [1, 0, 1, 0, 1, 0, 1], [1, 0, 1, 1, 0, 1, 0], [0, -1, 0, 0, -1, -1, -1], [1, 0, 2, 2, 1, 0, 1], [1, 0, 1, 1, 0, 0, 1], [1, 0, 1, 1, 1, 0, 0], [2, 1, 0, 0, 0, 2, 2], [2, 1, 0, 1, 0, 1, 2], [2, 1, 0, 1, 0, 2, 1], [1, 0, -1, -1, -1, 0, 1], [1, 0, -1, -1, -1, 1, 0], [1, 1, 0, 1, 1, 0, 0], [0, 0, -1, -1, 0, -1, -1], [0, 0, -1, 0, -1, -1, -1], [2, 2, 0, 1, 0, 1, 1], [1, 1, -1, -1, -1, 0, 0], [1, 1, 0, 1, 0, 0, 1], [0, 0, -1, -1, -1, -1, 0], [2, 2, 0, 0, 0, 1, 2], [1, 1, 0, 1, 0, 1, 0], [0, 0, -1, -1, -1, 0, -1], [2, 2, 0, 0, 0, 2, 1], [0, 1, 0, 0, 0, 1, 1], [-1, -1, -1, -1, -1, 0, 0], [-1, 0, -1, -1, -1, -1, 0], [-1, -1, 0, 0, 0, -1, 1], [-1, -1, 0, 0, 1, -1, 0], [-1, -1, -1, -1, 0, -1, 0], [0, 0, 1, 1, 2, 0, 2], [0, 1, 0, 1, 0, 1, 0], [-1, -1, -1, 0, -1, 0, -1], [-1, 0, -1, 0, -1, -1, -1], [-1, -1, 0, 1, 0, -1, 0], [0, 0, 0, 1, 0, 1, 1], [0, 1, 0, 1, 0, 0, 1], [-1, -1, -1, 0, -1, -1, 0], [0, 0, 1, 2, 1, 0, 2], [0, 1, 0, 1, 1, 0, 0], [-1, -1, -1, 0, 0, -1, -1], [0, 0, 1, 2, 2, 0, 1], [0, 0, 0, 1, 1, 0, 1], [-1, -1, 1, 0, 0, -1, 0], [-1, -1, 0, -1, -1, -1, 0], [0, 0, 2, 1, 1, 0, 2], [0, 0, 2, 1, 2, 0, 1], [0, 0, 1, 0, 1, 0, 1], [0, 0, 1, 1, 0, 1, 0], [-1, -1, 0, 0, -1, -1, -1], [0, 0, 2, 2, 1, 0, 1], [0, 0, 1, 1, 0, 0, 1], [0, 0, 1, 1, 1, 0, 0], [1, 1, 0, 0, 0, 2, 2], [1, 2, 0, 0, 0, 1, 2], [1, 2, 0, 0, 0, 2, 1], [1, 1, 0, 1, 0, 1, 2], [1, 1, 0, 1, 0, 2, 1], [1, 2, 0, 1, 0, 1, 1], [0, 0, -1, -1, -1, 0, 1], [0, 0, -1, -1, -1, 1, 0], [0, 1, -1, -1, -1, 0, 0], [0, -1, -1, -1, -1, 0, -1], [1, 0, 0, 0, 0, 1, 1], [0, -1, -1, -1, -1, -1, 0], [1, 0, 1, 1, 1, 0, 2], [0, -1, -1, -1, 0, -1, -1], [1, 0, 1, 1, 2, 0, 1], [1, 0, 0, 0, 1, 0, 1], [1, 0, 0, 1, 0, 1, 0], [0, -1, -1, 0, -1, -1, -1], [1, 0, 1, 2, 1, 0, 1], [1, 0, 0, 1, 0, 0, 1], [1, 0, 0, 1, 1, 0, 0], [1, 0, 1, 0, 0, 1, 0], [0, -1, 0, -1, -1, -1, -1], [1, 0, 2, 1, 1, 0, 1], [1, 0, 1, 0, 0, 0, 1], [1, 0, 1, 0, 1, 0, 0], [1, 0, 1, 1, 0, 0, 0], [2, 1, 0, 0, 0, 1, 2], [2, 1, 0, 0, 0, 2, 1], [2, 1, 0, 1, 0, 1, 1], [1, 0, -1, -1, -1, 0, 0], [1, 1, 0, 0, 1, 0, 0], [1, 1, 0, 1, 0, 0, 0], [0, 0, -1, -1, -1, -1, -1], [2, 2, 0, 0, 0, 1, 1], [1, 1, 0, 0, 0, 0, 1], [1, 1, 0, 0, 0, 1, 0], [-1, -1, 0, 0, 0, -1, 0], [0, 0, 0, 0, 0, 1, 1], [0, 1, 0, 0, 0, 0, 1], [-1, -1, -1, -1, -1, -1, 0], [0, 0, 1, 1, 1, 0, 2], [0, 0, 1, 1, 2, 0, 1], [0, 0, 0, 0, 1, 0, 1], [0, 0, 0, 1, 0, 1, 0], [0, 1, 0, 1, 0, 0, 0], [-1, -1, -1, 0, -1, -1, -1], [0, 0, 1, 2, 1, 0, 1], [0, 0, 0, 1, 0, 0, 1], [0, 0, 0, 1, 1, 0, 0], [0, 0, 2, 1, 1, 0, 1], [0, 0, 1, 0, 0, 0, 1], [0, 0, 1, 1, 0, 0, 0], [1, 1, 0, 0, 0, 1, 2], [1, 1, 0, 0, 0, 2, 1], [1, 2, 0, 0, 0, 1, 1], [1, 1, 0, 1, 0, 1, 1], [0, 0, -1, -1, -1, 0, 0], [1, 0, 0, 0, 0, 1, 0], [0, -1, -1, -1, -1, -1, -1], [1, 0, 1, 1, 1, 0, 1], [1, 0, 0, 0, 0, 0, 1], [1, 0, 0, 0, 1, 0, 0], [1, 0, 0, 1, 0, 0, 0], [1, 0, 1, 0, 0, 0, 0], [2, 1, 0, 0, 0, 1, 1], [1, 1, 0, 0, 0, 0, 0], [0, 0, 1, 1, 1, 0, 1], [0, 0, 0, 0, 0, 0, 1], [0, 0, 0, 1, 0, 0, 0], [1, 1, 0, 0, 0, 1, 1], [1, 0, 0, 0, 0, 0, 0]] computed_with[37] = ["PLD_sym", "PLD_num"] ################################ # Component 38 ################################ D[38] = s + t χ[38] = 127 weights[38] = [[-1, 0, -1, -1, -1, 0, -1], [-1, -1, 0, -1, 0, -1, -1], [0, 1, 0, 0, 0, 1, 0], [-1, -1, -1, -1, -1, 0, -1], [-1, 0, -1, -1, -1, -1, -1], [0, 1, 0, 0, 1, 0, 0], [-1, -1, -1, -1, 0, -1, -1], [0, 0, 1, 0, 0, 1, 0], [-1, -1, 0, -1, -1, -1, -1], [0, 0, 1, 0, 1, 0, 0], [0, 0, 0, 0, 0, 1, 0], [0, 1, 0, 0, 0, 0, 0], [-1, -1, -1, -1, -1, -1, -1], [0, 0, 0, 0, 1, 0, 0], [0, 0, 1, 0, 0, 0, 0], [0, 0, 0, 0, 0, 0, 0]] computed_with[38] = ["PLD_num"] ################################ # Component 39 ################################ D[39] = t χ[39] = 110 weights[39] = [[-1, 0, 0, -1, 0, 0, -1], [-1, 0, -1, -1, 0, 0, -1], [-1, 0, 0, -1, -1, 0, -1], [0, 1, 1, 0, 1, 1, 0], [-1, -1, 0, -1, 0, 0, -1], [-1, 0, 0, -1, 0, -1, -1], [0, 1, 0, 0, 1, 1, 0], [-1, -1, -1, -1, 0, 0, -1], [0, 1, 1, 0, 0, 1, 0], [-1, 0, 0, -1, -1, -1, -1], [0, 0, 1, 0, 1, 1, 0], [0, 1, 1, 0, 1, 0, 0], [0, 0, 0, 0, 1, 1, 0], [0, 1, 1, 0, 0, 0, 0], [-1, -1, -1, -1, -1, -1, -1], [0, 0, 0, 0, 0, 0, 0]] computed_with[39] = ["PLD_num"]