################################ # 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 = [m2, m2, m2, m2, m2, m2, m2] 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 = -m2*x[1]^2*x[3] - m2*x[1]^2*x[4] - m2*x[1]^2*x[5] - m2*x[1]^2*x[7] - 2*m2*x[1]*x[2]*x[3] - 2*m2*x[1]*x[2]*x[4] - 2*m2*x[1]*x[2]*x[5] - 2*m2*x[1]*x[2]*x[7] - m2*x[1]*x[3]^2 - 2*m2*x[1]*x[3]*x[4] + (-2*m2 + s)*x[1]*x[3]*x[5] - 2*m2*x[1]*x[3]*x[6] - 3*m2*x[1]*x[3]*x[7] - m2*x[1]*x[4]^2 - 2*m2*x[1]*x[4]*x[5] - 2*m2*x[1]*x[4]*x[6] + (-3*m2 + t)*x[1]*x[4]*x[7] - m2*x[1]*x[5]^2 - 2*m2*x[1]*x[5]*x[6] - 3*m2*x[1]*x[5]*x[7] - 2*m2*x[1]*x[6]*x[7] - m2*x[1]*x[7]^2 - m2*x[2]^2*x[3] - m2*x[2]^2*x[4] - m2*x[2]^2*x[5] - m2*x[2]^2*x[7] - m2*x[2]*x[3]^2 - 2*m2*x[2]*x[3]*x[4] + (-2*m2 + s)*x[2]*x[3]*x[5] + (-2*m2 + s)*x[2]*x[3]*x[6] - 3*m2*x[2]*x[3]*x[7] - m2*x[2]*x[4]^2 - 2*m2*x[2]*x[4]*x[5] + (-2*m2 + s)*x[2]*x[4]*x[6] - 3*m2*x[2]*x[4]*x[7] - m2*x[2]*x[5]^2 + (-2*m2 + s)*x[2]*x[5]*x[6] + (-3*m2 + s)*x[2]*x[5]*x[7] + (-2*m2 + s)*x[2]*x[6]*x[7] - m2*x[2]*x[7]^2 - m2*x[3]^2*x[6] - m2*x[3]^2*x[7] - 2*m2*x[3]*x[4]*x[6] - 2*m2*x[3]*x[4]*x[7] + (-2*m2 + s)*x[3]*x[5]*x[6] + (-2*m2 + s)*x[3]*x[5]*x[7] - m2*x[3]*x[6]^2 + (-3*m2 + s)*x[3]*x[6]*x[7] - m2*x[3]*x[7]^2 - m2*x[4]^2*x[6] - m2*x[4]^2*x[7] - 2*m2*x[4]*x[5]*x[6] - 2*m2*x[4]*x[5]*x[7] - m2*x[4]*x[6]^2 - 3*m2*x[4]*x[6]*x[7] - m2*x[4]*x[7]^2 - m2*x[5]^2*x[6] - m2*x[5]^2*x[7] - m2*x[5]*x[6]^2 - 3*m2*x[5]*x[6]*x[7] - m2*x[5]*x[7]^2 - m2*x[6]^2*x[7] - m2*x[6]*x[7]^2 parameters = [m2, s, t] variables = [x[1], x[2], x[3], x[4], x[5], x[6], x[7]] χ_generic = 111 f_vector = [45, 171, 291, 282, 167, 60, 12] ################################ # Component 1 ################################ D[1] = m2 χ[1] = 12 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], [0, 1, -1, 0, 0, 1, 1], [0, 1, 0, -1, 0, 1, 1], [0, 1, 0, 0, -1, 1, 1], [0, 1, 1, 1, 1, 1, -1], [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], [1, 0, -1, 0, 0, 1, 1], [1, 0, 0, -1, 0, 1, 1], [1, 0, 0, 0, -1, 1, 1], [1, 0, 1, 1, 1, 1, -1], [1, 1, -1, 0, 0, 0, 1], [1, 1, -1, 0, 0, 1, 0], [0, 0, 0, 1, 1, -1, 1], [1, 1, 0, 1, 1, 1, -1], [1, 1, 0, -1, 0, 0, 1], [1, 1, 0, -1, 0, 1, 0], [0, 0, 1, 0, 1, -1, 1], [1, 1, 1, 0, 1, 1, -1], [1, 1, 0, 0, -1, 0, 1], [1, 1, 0, 0, -1, 1, 0], [0, 0, 1, 1, 0, -1, 1], [1, 1, 1, 1, 0, 1, -1], [0, 0, 1, 1, 1, -1, 0], [1, 1, 1, 1, 1, 0, -1], [-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, 0], [-1, -1, 0, 1, 1, 0, 1], [-1, 0, 0, 1, 1, -1, 1], [-1, 0, 1, 0, 0, 0, 1], [-1, 0, 1, 0, 1, 0, 0], [-1, 0, 0, -1, 0, 0, 0], [-1, -1, 1, 0, 1, 0, 1], [-1, 0, 1, 0, 1, -1, 1], [-1, 0, 1, 1, 0, 0, 0], [-1, 0, 0, 0, -1, 0, 0], [-1, -1, 1, 1, 0, 0, 1], [-1, 0, 1, 1, 0, -1, 1], [-1, 0, 0, 0, 0, 0, -1], [-1, -1, 1, 1, 1, 0, 0], [-1, 0, 1, 1, 1, -1, 0], [0, 1, -1, -1, 0, 1, 1], [0, 0, -1, 0, 0, 1, 1], [0, 1, -1, 0, 0, 0, 1], [0, 1, -1, 0, 0, 1, 0], [0, 1, 0, -1, -1, 1, 1], [0, 0, 0, -1, 0, 1, 1], [0, 1, 0, -1, 0, 0, 1], [0, 1, 0, -1, 0, 1, 0], [0, 0, 0, 0, -1, 1, 1], [0, 1, 0, 0, -1, 0, 1], [0, 1, 0, 0, -1, 1, 0], [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], [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, 0], [0, -1, 1, 0, 0, 0, 1], [0, -1, 1, 0, 1, 0, 0], [0, -1, 0, -1, 0, 0, 0], [0, -1, 1, 1, 0, 0, 0], [0, -1, 0, 0, -1, 0, 0], [0, -1, 0, 0, 0, 0, -1], [1, 0, -1, -1, 0, 1, 1], [1, 0, -1, 0, 0, 0, 1], [1, 0, -1, 0, 0, 1, 0], [1, 0, 0, -1, -1, 1, 1], [1, 0, 0, -1, 0, 0, 1], [1, 0, 0, -1, 0, 1, 0], [1, 0, 0, 0, -1, 0, 1], [1, 0, 0, 0, -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, 1, -1, 0, 0, 0, 0], [0, 0, -1, 0, 0, -1, 0], [1, 1, -1, -1, 0, 0, 1], [0, 0, -1, 0, 0, 0, -1], [1, 1, -1, -1, 0, 1, 0], [0, 0, 0, 0, 1, -1, 1], [0, 0, 0, 1, 0, -1, 1], [0, 0, 0, 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, 0, 0, 0], [0, 0, 0, -1, 0, -1, 0], [1, 1, 0, -1, -1, 0, 1], [0, 0, 0, -1, 0, 0, -1], [1, 1, 0, -1, -1, 1, 0], [0, 0, 1, 0, 0, -1, 1], [0, 0, 1, 0, 1, -1, 0], [1, 1, 1, 0, 0, 1, -1], [1, 1, 1, 0, 1, 0, -1], [1, 1, 0, 0, -1, 0, 0], [0, 0, 0, 0, -1, -1, 0], [0, 0, 0, 0, -1, 0, -1], [0, 0, 1, 1, 0, -1, 0], [1, 1, 1, 1, 0, 0, -1], [0, 0, 0, 0, 0, -1, -1], [-1, 0, 0, 0, 0, 0, 1], [-1, 0, 0, 0, 1, 0, 0], [-1, 0, -1, -1, 0, 0, 0], [-1, -1, 0, 0, 1, 0, 1], [-1, 0, 0, 0, 1, -1, 1], [-1, 0, 0, 1, 0, 0, 0], [-1, -1, 0, 1, 0, 0, 1], [-1, 0, 0, 1, 0, -1, 1], [-1, 0, -1, 0, 0, 0, -1], [-1, -1, 0, 1, 1, 0, 0], [-1, 0, 0, 1, 1, -1, 0], [-1, -1, -1, 0, 0, 0, 0], [-1, 0, -1, 0, 0, -1, 0], [-1, 0, 1, 0, 0, 0, 0], [-1, 0, 0, -1, -1, 0, 0], [-1, -1, 1, 0, 0, 0, 1], [-1, 0, 1, 0, 0, -1, 1], [-1, -1, 1, 0, 1, 0, 0], [-1, 0, 1, 0, 1, -1, 0], [-1, -1, 0, -1, 0, 0, 0], [-1, 0, 0, -1, 0, -1, 0], [-1, 0, 0, 0, -1, 0, -1], [-1, -1, 1, 1, 0, 0, 0], [-1, 0, 1, 1, 0, -1, 0], [-1, -1, 0, 0, -1, 0, 0], [-1, 0, 0, 0, -1, -1, 0], [-1, -1, 0, 0, 0, 0, -1], [-1, 0, 0, 0, 0, -1, -1], [0, 0, -1, -1, 0, 1, 1], [0, 1, -1, -1, 0, 0, 1], [0, 1, -1, -1, 0, 1, 0], [0, 0, -1, 0, 0, 0, 1], [0, 0, -1, 0, 0, 1, 0], [0, 1, -1, 0, 0, 0, 0], [0, 0, 0, -1, -1, 1, 1], [0, 1, 0, -1, -1, 0, 1], [0, 1, 0, -1, -1, 1, 0], [0, 0, 0, -1, 0, 0, 1], [0, 0, 0, -1, 0, 1, 0], [0, 1, 0, -1, 0, 0, 0], [0, 0, 0, 0, -1, 0, 1], [0, 0, 0, 0, -1, 1, 0], [0, 1, 0, 0, -1, 0, 0], [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], [0, -1, 0, 0, 0, 0, 1], [0, -1, 0, 0, 1, 0, 0], [0, -1, -1, -1, 0, 0, 0], [0, -1, 0, 1, 0, 0, 0], [0, -1, -1, 0, 0, 0, -1], [0, -1, 1, 0, 0, 0, 0], [0, -1, 0, -1, -1, 0, 0], [0, -1, 0, -1, 0, 0, -1], [1, 0, -1, -1, 0, 0, 1], [1, 0, -1, -1, 0, 1, 0], [1, 0, -1, 0, 0, 0, 0], [1, 0, 0, -1, -1, 0, 1], [1, 0, 0, -1, -1, 1, 0], [1, 0, 0, -1, 0, 0, 0], [1, 0, 0, 0, -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, 1, 0, 0, 1, -1], [1, 0, 1, 0, 1, 0, -1], [1, 0, 1, 1, 0, 0, -1], [1, 1, -1, -1, 0, 0, 0], [0, 0, -1, -1, 0, -1, 0], [0, 0, -1, -1, 0, 0, -1], [0, 0, 0, 0, 0, -1, 1], [0, 0, 0, 0, 1, -1, 0], [0, 0, 0, 1, 0, -1, 0], [1, 1, 0, 0, 0, 1, -1], [1, 1, 0, 0, 1, 0, -1], [1, 1, 0, 1, 0, 0, -1], [0, 0, 0, -1, 0, -1, -1], [1, 1, 0, -1, -1, 0, 0], [0, 0, 0, -1, -1, -1, 0], [0, 0, 0, -1, -1, 0, -1], [0, 0, 1, 0, 0, -1, 0], [1, 1, 1, 0, 0, 0, -1], [0, 0, 0, 0, -1, -1, -1], [-1, 0, 0, 0, 0, 0, 0], [-1, -1, 0, 0, 0, 0, 1], [-1, 0, 0, 0, 0, -1, 1], [-1, -1, 0, 0, 1, 0, 0], [-1, 0, 0, 0, 1, -1, 0], [-1, -1, -1, -1, 0, 0, 0], [-1, 0, -1, -1, 0, -1, 0], [-1, -1, 0, 1, 0, 0, 0], [-1, 0, 0, 1, 0, -1, 0], [-1, -1, -1, 0, 0, 0, -1], [-1, -1, 1, 0, 0, 0, 0], [-1, 0, 1, 0, 0, -1, 0], [-1, -1, 0, -1, -1, 0, 0], [-1, 0, 0, -1, -1, -1, 0], [-1, 0, 0, 0, -1, -1, -1], [0, 0, -1, -1, 0, 0, 1], [0, 0, -1, -1, 0, 1, 0], [0, 1, -1, -1, 0, 0, 0], [0, 0, -1, 0, 0, 0, 0], [0, 0, 0, -1, -1, 0, 1], [0, 0, 0, -1, -1, 1, 0], [0, 1, 0, -1, -1, 0, 0], [0, 0, 0, -1, 0, 0, 0], [0, 0, 0, 0, -1, 0, 0], [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], [0, -1, 0, 0, 0, 0, 0], [0, -1, -1, -1, 0, 0, -1], [1, 0, -1, -1, 0, 0, 0], [1, 0, 0, -1, -1, 0, 0], [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], [0, 0, 0, 0, 0, -1, 0], [1, 1, 0, 0, 0, 0, -1], [0, 0, 0, -1, -1, -1, -1], [-1, -1, 0, 0, 0, 0, 0], [-1, 0, 0, 0, 0, -1, 0], [0, 0, -1, -1, 0, 0, 0], [0, 0, 0, -1, -1, 0, 0], [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[1] = ["PLD_sym", "PLD_num"] ################################ # Component 2 ################################ D[2] = m2 + 4//9*s χ[2] = 109 weights[2] = [[-1, 0, -1, 0, -1, 0, -1], [0, -1, 0, -1, 0, -1, -1]] computed_with[2] = ["PLD_sym"] ################################ # Component 3 ################################ D[3] = m2 - 1//4*s χ[3] = 90 weights[3] = [[0, 1, -1, 0, -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, -1, 0], [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], [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], [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], [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, -1, -1, 0], [0, -1, 1, 0, 0, -1, 0], [1, 0, -1, 0, -1, 0, 0], [0, 0, -1, 0, -1, 0, 0], [0, -1, 0, 0, 0, -1, 0]] computed_with[3] = ["PLD_sym", "PLD_num"] ################################ # Component 4 ################################ D[4] = m2 - 1//9*s χ[4] = 109 weights[4] = [[0, -1, 0, 0, -1, 0, -1], [0, 0, -1, 0, 0, -1, -1]] computed_with[4] = ["PLD_sym"] ################################ # Component 5 ################################ D[5] = m2 - 1//9*t χ[5] = 110 weights[5] = [[-1, 0, 0, -1, 0, 0, -1]] computed_with[5] = ["PLD_sym"] ################################ # Component 6 ################################ D[6] = m2 - s χ[6] = 105 weights[6] = [[0, -1, 0, 0, -1, 0, -1], [0, -1, 0, 0, -1, 0, -1], [0, -1, 0, 0, -1, 0, -1], [0, 0, -1, 0, 0, -1, -1], [0, 0, -1, 0, 0, -1, -1], [0, 0, -1, 0, 0, -1, -1]] computed_with[6] = ["PLD_sym"] ################################ # Component 7 ################################ D[7] = m2 - t χ[7] = 108 weights[7] = [[-1, 0, 0, -1, 0, 0, -1], [-1, 0, 0, -1, 0, 0, -1], [-1, 0, 0, -1, 0, 0, -1]] computed_with[7] = ["PLD_sym"] ################################ # Component 8 ################################ D[8] = m2*s + 4*m2*t - s*t χ[8] = 109 weights[8] = [[-1, -1, -1, -1, -1, -1, -1]] computed_with[8] = ["PLD_num"] ################################ # Component 9 ################################ D[9] = m2*s + m2*t - 1//9*s*t χ[9] = 109 weights[9] = [[-1, 0, -1, -1, 0, -1, -1], [-1, -1, 0, -1, -1, 0, -1]] computed_with[9] = ["PLD_num"] ################################ # Component 10 ################################ D[10] = m2*s + m2*t - s*t χ[10] = 105 weights[10] = [[-1, 0, -1, -1, 0, -1, -1], [-1, 0, -1, -1, 0, -1, -1], [-1, 0, -1, -1, 0, -1, -1], [-1, -1, 0, -1, -1, 0, -1], [-1, -1, 0, -1, -1, 0, -1], [-1, -1, 0, -1, -1, 0, -1]] computed_with[10] = ["PLD_num"] ################################ # Component 11 ################################ D[11] = m2^2*s - 10//9*m2*s*t - 4//9*m2*t^2 + 1//9*s*t^2 χ[11] = 109 weights[11] = [[-1, 0, -1, -1, -1, 0, -1], [-1, -1, 0, -1, 0, -1, -1]] computed_with[11] = ["PLD_sym", "PLD_num"] ################################ # Component 12 ################################ D[12] = m2^2*s^2 + 8//3*m2^2*s*t + 16//9*m2^2*t^2 - 10//9*m2*s^2*t - 8//9*m2*s*t^2 + 1//9*s^2*t^2 χ[12] = 110 weights[12] = [[-1, -1, -1, -1, -1, -1, -1]] computed_with[12] = ["PLD_num"] ################################ # Component 13 ################################ D[13] = s χ[13] = 13 weights[13] = [[0, 1, -1, 0, -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, -1, 0], [1, 0, -1, 0, -1, 1, 1], [1, 1, -1, 0, -1, 0, 1], [1, 1, -1, 0, -1, 1, 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], [0, 1, -1, -1, -1, 1, 1], [0, 0, -1, 0, -1, 1, 1], [0, 1, -1, 0, -1, 0, 1], [0, 1, -1, 0, -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, 0, 0, -1, 0, -1], [0, -1, 1, 1, 0, -1, 0], [1, 0, -1, -1, -1, 1, 1], [1, 0, -1, 0, -1, 0, 1], [1, 0, -1, 0, -1, 1, 0], [0, 0, -1, 0, 0, -1, -1], [1, 1, -1, 0, -1, 0, 0], [1, 1, -1, -1, -1, 0, 1], [1, 1, -1, -1, -1, 1, 0], [-1, -1, 0, 0, 1, -1, 1], [-1, 0, -1, 0, -1, 0, -1], [0, 1, 0, 1, 0, 1, 1], [-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, 1], [-1, -1, 1, 0, 1, -1, 0], [-1, -1, 0, 0, -1, 0, -1], [-1, -1, 1, 1, 0, -1, 0], [0, 0, -1, -1, -1, 1, 1], [0, 1, -1, -1, -1, 0, 1], [0, 1, -1, -1, -1, 1, 0], [0, 0, -1, 0, -1, 0, 1], [0, 0, -1, 0, -1, 1, 0], [0, 1, -1, 0, -1, 0, 0], [0, -1, 0, 0, 0, -1, 1], [0, -1, 0, 0, 1, -1, 0], [0, -1, -1, 0, -1, 0, -1], [0, -1, 0, 1, 0, -1, 0], [1, 0, 0, 1, 0, 1, 1], [0, -1, -1, 0, -1, -1, 0], [0, -1, -1, 0, 0, -1, -1], [1, 0, 0, 1, 1, 0, 1], [0, -1, 0, -1, -1, 0, -1], [0, -1, 1, 0, 0, -1, 0], [0, -1, 0, -1, 0, -1, -1], [1, 0, 1, 0, 1, 0, 1], [1, 0, 1, 1, 0, 1, 0], [0, -1, 0, 0, -1, -1, -1], [1, 0, 1, 1, 0, 0, 1], [1, 0, 1, 1, 1, 0, 0], [1, 0, -1, -1, -1, 0, 1], [1, 0, -1, -1, -1, 1, 0], [1, 0, -1, 0, -1, 0, 0], [1, 1, 0, 1, 1, 0, 0], [0, 0, -1, -1, 0, -1, -1], [0, 0, -1, 0, -1, -1, -1], [1, 1, -1, -1, -1, 0, 0], [1, 1, 0, 1, 0, 0, 1], [1, 1, 0, 1, 0, 1, 0], [0, 1, 0, 0, 0, 1, 1], [-1, -1, 0, 0, 0, -1, 1], [-1, -1, 0, 0, 1, -1, 0], [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], [0, 1, 0, 1, 1, 0, 0], [-1, -1, -1, 0, 0, -1, -1], [0, 0, 0, 1, 1, 0, 1], [-1, -1, 1, 0, 0, -1, 0], [0, 0, 1, 0, 1, 0, 1], [0, 0, 1, 1, 0, 1, 0], [-1, -1, 0, 0, -1, -1, -1], [0, 0, 1, 1, 0, 0, 1], [0, 0, 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], [0, 0, -1, 0, -1, 0, 0], [0, -1, -1, -1, -1, 0, -1], [0, -1, 0, 0, 0, -1, 0], [1, 0, 0, 0, 0, 1, 1], [0, -1, -1, -1, 0, -1, -1], [1, 0, 0, 0, 1, 0, 1], [1, 0, 0, 1, 0, 1, 0], [0, -1, -1, 0, -1, -1, -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, 1, 0, 0, 0, 1], [1, 0, 1, 0, 1, 0, 0], [1, 0, 1, 1, 0, 0, 0], [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], [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], [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, 0, 1, 0, 0, 1], [0, 0, 0, 1, 1, 0, 0], [0, 0, 1, 0, 0, 0, 1], [0, 0, 1, 1, 0, 0, 0], [0, 0, -1, -1, -1, 0, 0], [1, 0, 0, 0, 0, 1, 0], [0, -1, -1, -1, -1, -1, -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], [1, 1, 0, 0, 0, 0, 0], [0, 0, 0, 0, 0, 0, 1], [0, 0, 0, 1, 0, 0, 0], [1, 0, 0, 0, 0, 0, 0]] computed_with[13] = ["PLD_sym", "PLD_num"] ################################ # Component 14 ################################ D[14] = s + t χ[14] = 83 weights[14] = [[-1, 0, -1, -1, -1, 0, -1], [-1, 0, -1, -1, 0, -1, -1], [-1, -1, 0, -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[14] = ["PLD_sym", "PLD_num"] ################################ # Component 15 ################################ D[15] = t χ[15] = 64 weights[15] = [[-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[15] = ["PLD_sym", "PLD_num"]