poli.txt

k0*k1*n9*n36*n39*l37 + k0*n1*n9*n36*n39*l37 + k0*n3*n9*n26*n36*n39*l37 + k0*n4*n6*n9*n36*n39*l37 + k0*n8*n9*n36*n39*l37 + k0*n9*n11*n12*n13*n36*n39*l37 + k0*n9*n14*n36*n39*l37 + k0*n9*n15*n22*n36*n39*l37 + k0*n9*n17*n19*n36*n39*l37 + k0*n9*n20*n36*n39*l37 + k0*n9*n23*n25*n36*n39*l37 + k0*n9*n27*n33*n36*n39*l37 + k0*n9*n28*n31*n32*n36*n39*l37 + k0*n9*n34*n36*n37*n38*n39*l37 + k0*n9*n35*n38*n39*l37 + k0*n9*n36*n39*l1*l37 + k0*n9*l37 + k1*n0*n9*n36*n39*l37 + k1*n2*n9*n25*n36*n39*l37 + k1*n3*n5*n9*n36*n39*l37 + k1*n7*n8*n9*n36*n39*l37 + k1*n9*n10*n11*n12*n36*n39*l37 + k1*n9*n13*n36*n39*l37 + k1*n9*n14*n21*n36*n39*l37 + k1*n9*n16*n18*n36*n39*l37 + k1*n9*n19*n36*n39*l37 + k1*n9*n22*n24*n36*n39*l37 + k1*n9*n26*n32*n36*n39*l37 + k1*n9*n27*n30*n31*n36*n39*l37 + k1*n9*n33*n36*n37*n38*n39*l37 + k1*n9*n35*n36*n39*l37 + k1*n9*n36*n39*l0*l37 + k1*n9*n36*n39*l37 + k1*n9*l37 + k2*n9*l37 + k3*n9*l37 + n0*n1*n9*n36*n39*l37 + n0*n3*n9*n26*n36*n39*l37 + n0*n4*n6*n9*n36*n39*l37 + n0*n8*n9*n36*n39*l37 + n0*n9*n11*n12*n13*n36*n39*l37 + n0*n9*n14*n36*n39*l37 + n0*n9*n15*n22*n36*n39*l37 + n0*n9*n17*n19*n36*n39*l37 + n0*n9*n20*n36*n39*l37 + n0*n9*n23*n25*n36*n39*l37 + n0*n9*n27*n33*n36*n39*l37 + n0*n9*n28*n31*n32*n36*n39*l37 + n0*n9*n34*n36*n37*n38*n39*l37 + n0*n9*n35*n38*n39*l37 + n0*n9*n36*n39*l1*l37 + n0*n9*l37 + n1*n2*n9*n25*n36*n39*l37 + n1*n3*n5*n9*n36*n39*l37 + n1*n7*n8*n9*n36*n39*l37 + n1*n9*n10*n11*n12*n36*n39*l37 + n1*n9*n13*n36*n39*l37 + n1*n9*n14*n21*n36*n39*l37 + n1*n9*n16*n18*n36*n39*l37 + n1*n9*n19*n36*n39*l37 + n1*n9*n22*n24*n36*n39*l37 + n1*n9*n26*n32*n36*n39*l37 + n1*n9*n27*n30*n31*n36*n39*l37 + n1*n9*n33*n36*n37*n38*n39*l37 + n1*n9*n35*n36*n39*l37 + n1*n9*n36*n39*l0*l37 + n1*n9*n36*n39*l37 + n1*n9*l37 + n2*n3*n9*n25*n26*n36*n39*l37 + n2*n4*n6*n9*n25*n36*n39*l37 + n2*n8*n9*n25*n36*n39*l37 + n2*n9*n11*n12*n13*n25*n36*n39*l37 + n2*n9*n14*n25*n36*n39*l37 + n2*n9*n15*n22*n25*n36*n39*l37 + n2*n9*n17*n19*n25*n36*n39*l37 + n2*n9*n20*n25*n36*n39*l37 + n2*n9*n23*n25*n36*n39*l37 + n2*n9*n25*n27*n33*n36*n39*l37 + n2*n9*n25*n28*n31*n32*n36*n39*l37 + n2*n9*n25*n34*n36*n37*n38*n39*l37 + n2*n9*n25*n35*n38*n39*l37 + n2*n9*n25*n36*n39*l1*l37 + n2*n9*n25*l37 + n2*n9*l37 + n3*n4*n5*n6*n9*n36*n39*l37 + n3*n5*n8*n9*n36*n39*l37 + n3*n5*n9*n11*n12*n13*n36*n39*l37 + n3*n5*n9*n14*n36*n39*l37 + n3*n5*n9*n15*n22*n36*n39*l37 + n3*n5*n9*n17*n19*n36*n39*l37 + n3*n5*n9*n20*n36*n39*l37 + n3*n5*n9*n23*n25*n36*n39*l37 + n3*n5*n9*n26*n36*n39*l37 + n3*n5*n9*n27*n33*n36*n39*l37 + n3*n5*n9*n28*n31*n32*n36*n39*l37 + n3*n5*n9*n34*n36*n37*n38*n39*l37 + n3*n5*n9*n35*n38*n39*l37 + n3*n5*n9*n36*n39*l1*l37 + n3*n5*n9*l37 + n3*n7*n8*n9*n26*n36*n39*l37 + n3*n9*n10*n11*n12*n26*n36*n39*l37 + n3*n9*n13*n26*n36*n39*l37 + n3*n9*n14*n21*n26*n36*n39*l37 + n3*n9*n16*n18*n26*n36*n39*l37 + n3*n9*n19*n26*n36*n39*l37 + n3*n9*n22*n24*n26*n36*n39*l37 + n3*n9*n26*n27*n30*n31*n36*n39*l37 + n3*n9*n26*n32*n36*n39*l37 + n3*n9*n26*n33*n36*n37*n38*n39*l37 + n3*n9*n26*n35*n36*n39*l37 + n3*n9*n26*n36*n39*l0*l37 + n3*n9*n26*n36*n39*l37 + n3*n9*n26*l37 + n3*n9*l37 + n4*n6*n7*n8*n9*n36*n39*l37 + n4*n6*n9*n10*n11*n12*n36*n39*l37 + n4*n6*n9*n13*n36*n39*l37 + n4*n6*n9*n14*n21*n36*n39*l37 + n4*n6*n9*n16*n18*n36*n39*l37 + n4*n6*n9*n19*n36*n39*l37 + n4*n6*n9*n22*n24*n36*n39*l37 + n4*n6*n9*n26*n32*n36*n39*l37 + n4*n6*n9*n27*n30*n31*n36*n39*l37 + n4*n6*n9*n33*n36*n37*n38*n39*l37 + n4*n6*n9*n35*n36*n39*l37 + n4*n6*n9*n36*n39*l0*l37 + n4*n6*n9*n36*n39*l37 + n4*n6*n9*l37 + n4*n9*n27*l37 + n5*n7*n9*l37 + n5*n9*n28*l37 + n6*n8*n9*l37 + n6 + n7*n8*n9*n11*n12*n13*n36*n39*l37 + n7*n8*n9*n14*n36*n39*l37 + n7*n8*n9*n15*n22*n36*n39*l37 + n7*n8*n9*n17*n19*n36*n39*l37 + n7*n8*n9*n20*n36*n39*l37 + n7*n8*n9*n23*n25*n36*n39*l37 + n7*n8*n9*n27*n33*n36*n39*l37 + n7*n8*n9*n28*n31*n32*n36*n39*l37 + n7*n8*n9*n34*n36*n37*n38*n39*l37 + n7*n8*n9*n35*n38*n39*l37 + n7*n8*n9*n36*n39*l1*l37 + n7*n8*n9*n36*n39*l37 + n7*n8*n9*l37 + n8*n9*n10*n11*n12*n36*n39*l37 + n8*n9*n13*n36*n39*l37 + n8*n9*n14*n21*n36*n39*l37 + n8*n9*n16*n18*n36*n39*l37 + n8*n9*n19*n36*n39*l37 + n8*n9*n22*n24*n36*n39*l37 + n8*n9*n26*n32*n36*n39*l37 + n8*n9*n27*n30*n31*n36*n39*l37 + n8*n9*n33*n36*n37*n38*n39*l37 + n8*n9*n35*n36*n39*l37 + n8*n9*n36*n39*l0*l37 + n8*n9*n36*n39*l37 + n8*n9*l37 + n9*n10*n11*n12*n13*n36*n39*l37 + n9*n10*n11*n12*n14*n36*n39*l37 + n9*n10*n11*n12*n15*n22*n36*n39*l37 + n9*n10*n11*n12*n17*n19*n36*n39*l37 + n9*n10*n11*n12*n20*n36*n39*l37 + n9*n10*n11*n12*n23*n25*n36*n39*l37 + n9*n10*n11*n12*n27*n33*n36*n39*l37 + n9*n10*n11*n12*n28*n31*n32*n36*n39*l37 + n9*n10*n11*n12*n34*n36*n37*n38*n39*l37 + n9*n10*n11*n12*n35*n38*n39*l37 + n9*n10*n11*n12*n36*n39*l1*l37 + n9*n10*n11*n12*l37 + n9*n10*n11*l37 + n9*n10*l37 + n9*n11*n12*n13*n14*n21*n36*n39*l37 + n9*n11*n12*n13*n16*n18*n36*n39*l37 + n9*n11*n12*n13*n19*n36*n39*l37 + n9*n11*n12*n13*n22*n24*n36*n39*l37 + n9*n11*n12*n13*n26*n32*n36*n39*l37 + n9*n11*n12*n13*n27*n30*n31*n36*n39*l37 + n9*n11*n12*n13*n33*n36*n37*n38*n39*l37 + n9*n11*n12*n13*n35*n36*n39*l37 + n9*n11*n12*n13*n36*n39*l0*l37 + n9*n11*n12*n13*l37 + n9*n12*n13*n14*l37 + n9*n13*n14*n15*l37 + n9*n13*n14*n36*n39*l37 + n9*n13*n15*n22*n36*n39*l37 + n9*n13*n17*n19*n36*n39*l37 + n9*n13*n20*n36*n39*l37 + n9*n13*n23*n25*n36*n39*l37 + n9*n13*n27*n33*n36*n39*l37 + n9*n13*n28*n31*n32*n36*n39*l37 + n9*n13*n34*n36*n37*n38*n39*l37 + n9*n13*n35*n38*n39*l37 + n9*n13*n36*n39*l1*l37 + n9*n13*l37 + n9*n14*n15*n21*n22*n36*n39*l37 + n9*n14*n16*n18*n36*n39*l37 + n9*n14*n17*n19*n21*n36*n39*l37 + n9*n14*n19*n36*n39*l37 + n9*n14*n20*n21*n36*n39*l37 + n9*n14*n21*n23*n25*n36*n39*l37 + n9*n14*n21*n27*n33*n36*n39*l37 + n9*n14*n21*n28*n31*n32*n36*n39*l37 + n9*n14*n21*n34*n36*n37*n38*n39*l37 + n9*n14*n21*n35*n38*n39*l37 + n9*n14*n21*n36*n39*l1*l37 + n9*n14*n21*n36*n39*l37 + n9*n14*n21*l37 + n9*n14*n22*n24*n36*n39*l37 + n9*n14*n26*n32*n36*n39*l37 + n9*n14*n27*n30*n31*n36*n39*l37 + n9*n14*n33*n36*n37*n38*n39*l37 + n9*n14*n35*n36*n39*l37 + n9*n14*n36*n39*l0*l37 + n9*n14*n36*n39*l37 + n9*n14*l37 + n9*n15*n16*n18*n22*n36*n39*l37 + n9*n15*n19*n22*n36*n39*l37 + n9*n15*n22*n24*n36*n39*l37 + n9*n15*n22*n26*n32*n36*n39*l37 + n9*n15*n22*n27*n30*n31*n36*n39*l37 + n9*n15*n22*n33*n36*n37*n38*n39*l37 + n9*n15*n22*n35*n36*n39*l37 + n9*n15*n22*n36*n39*l0*l37 + n9*n15*n22*n36*n39*l37 + n9*n15*n22*l37 + n9*n15*l37 + n9*n16*n17*n18*n19*n36*n39*l37 + n9*n16*n18*n20*n36*n39*l37 + n9*n16*n18*n23*n25*n36*n39*l37 + n9*n16*n18*n27*n33*n36*n39*l37 + n9*n16*n18*n28*n31*n32*n36*n39*l37 + n9*n16*n18*n34*n36*n37*n38*n39*l37 + n9*n16*n18*n35*n38*n39*l37 + n9*n16*n18*n36*n39*l1*l37 + n9*n16*n18*l37 + n9*n16*n23*l37 + n9*n16*l37 + n9*n17*n19*n22*n24*n36*n39*l37 + n9*n17*n19*n26*n32*n36*n39*l37 + n9*n17*n19*n27*n30*n31*n36*n39*l37 + n9*n17*n19*n33*n36*n37*n38*n39*l37 + n9*n17*n19*n35*n36*n39*l37 + n9*n17*n19*n36*n39*l0*l37 + n9*n17*n19*l37 + n9*n17*n24*l37 + n9*n18*n20*l37 + n9*n19*n20*n36*n39*l37 + n9*n19*n21*l37 + n9*n19*n23*n25*n36*n39*l37 + n9*n19*n27*n33*n36*n39*l37 + n9*n19*n28*n31*n32*n36*n39*l37 + n9*n19*n34*n36*n37*n38*n39*l37 + n9*n19*n35*n38*n39*l37 + n9*n19*n36*n39*l1*l37 + n9*n19*l37 + n9*n20*n22*n24*n36*n39*l37 + n9*n20*n26*n32*n36*n39*l37 + n9*n20*n27*n30*n31*n36*n39*l37 + n9*n20*n33*n36*n37*n38*n39*l37 + n9*n20*n35*n36*n39*l37 + n9*n20*n36*n39*l0*l37 + n9*n20*n36*n39*l37 + n9*n20*l37 + n9*n21*l37 + n9*n22*n23*n24*n25*n36*n39*l37 + n9*n22*n24*n27*n33*n36*n39*l37 + n9*n22*n24*n28*n31*n32*n36*n39*l37 + n9*n22*n24*n34*n36*n37*n38*n39*l37 + n9*n22*n24*n35*n38*n39*l37 + n9*n22*n24*n36*n39*l1*l37 + n9*n22*n24*l37 + n9*n22*l37 + n9*n23*n25*n26*n32*n36*n39*l37 + n9*n23*n25*n27*n30*n31*n36*n39*l37 + n9*n23*n25*n33*n36*n37*n38*n39*l37 + n9*n23*n25*n35*n36*n39*l37 + n9*n23*n25*n36*n39*l0*l37 + n9*n23*n25*n36*n39*l37 + n9*n23*n25*l37 + n9*n24*n26*l37 + n9*n25*n27*l37 + n9*n26*n27*n32*n33*n36*n39*l37 + n9*n26*n28*n31*n32*n36*n39*l37 + n9*n26*n32*n34*n36*n37*n38*n39*l37 + n9*n26*n32*n35*n38*n39*l37 + n9*n26*n32*n36*n39*l1*l37 + n9*n26*n32*l37 + n9*n27*n28*n30*n31*n32*n36*n39*l37 + n9*n27*n30*n31*n33*n36*n39*l37 + n9*n27*n30*n31*n34*n36*n37*n38*n39*l37 + n9*n27*n30*n31*n35*n38*n39*l37 + n9*n27*n30*n31*n36*n39*l1*l37 + n9*n27*n30*n31*l37 + n9*n27*n33*n35*n36*n39*l37 + n9*n27*n33*n36*n37*n38*n39*l37 + n9*n27*n33*n36*n39*l0*l37 + n9*n27*n33*n36*n39*l37 + n9*n27*n33*l37 + n9*n28*n31*n32*n33*n36*n37*n38*n39*l37 + n9*n28*n31*n32*n35*n36*n39*l37 + n9*n28*n31*n32*n36*n39*l0*l37 + n9*n28*n31*n32*n36*n39*l37 + n9*n28*n31*n32*l37 + n9*n28*n34*l37 + n9*n29*n32*n33*l37 + n9*n29*n35*l37 + n9*n30*n33*n34*l37 + n9*n33*n34*n36*n37*n38*n39*l37 + n9*n33*n35*n36*n37*n38*n39*l37 + n9*n33*n36*n37*n38*n39*l1*l37 + n9*n33*n36*n37*n38*l37 + n9*n34*n35*n36*n37*n38*n39*l37 + n9*n34*n36*n37*n38*n39*l0*l37 + n9*n34*n36*n37*n38*n39*l37 + n9*n34*n37*n38*n39*l37 + n9*n35*n36*n39*l1*l37 + n9*n35*n38*n39*l0*l37 + n9*n35*l37 + n9*n36*n39*l0*l1*l37 + n9*n36*n39*l1*l37 + n9*n36*l37 + n9*n37*l37 + n9*n38*l37 + n9*n39*l37 + n9*l0*l37 + n9*l1*l37 + n9*l2*l37 + n9*l3*l37 + n9*l11 + n11 + n20 + n22 + n28 + n33 + n39 + l13*l15 + l22*l37 + l24*l28 + l3