mul_2_13.m

修正的euclid算法matlab程序

%shengfa=[                                                                                                                                                                                                                                                                                                                                                                            b0+x*b1+x^2*b2+x^3*b3+x^4*b4+x^5*b5+x^6*b6+x^7*b7+x^8*b8+x^9*b9+x^10*b10+x^11*b11+x^12*b12,                                                                                                                                                                                                                                                                                                                                                              x^12*b11+x^11*b10+x^10*b9+x^9*b8+x^8*b7+x^7*b6+x^6*b5+x^5*b4+(b3+b12)*x^4+(b2+b12)*x^3+x^2*b1+(b12+b0)*x+b12,                                                                                                                                                                                                                                                                                                                                              x^12*b10+x^11*b9+x^10*b8+x^9*b7+x^8*b6+x^7*b5+x^6*b4+(b3+b12)*x^5+(b2+b12+b11)*x^4+(b1+b11)*x^3+(b12+b0)*x^2+(b11+b12)*x+b11,                                                                                                                                                                                                                                                                                                                                x^12*b9+x^11*b8+x^10*b7+x^9*b6+x^8*b5+x^7*b4+(b3+b12)*x^6+(b2+b12+b11)*x^5+(b11+b10+b1)*x^4+(b12+b0+b10)*x^3+(b11+b12)*x^2+(b11+b10)*x+b10,                                                                                                                                                                                                                                                                                                                     x^12*b8+x^11*b7+x^10*b6+x^9*b5+x^8*b4+(b3+b12)*x^7+(b2+b12+b11)*x^6+(b11+b10+b1)*x^5+(b12+b0+b10+b9)*x^4+(b11+b9+b12)*x^3+(b11+b10)*x^2+(b9+b10)*x+b9,                                                                                                                                                                                                                                                                                                          x^12*b7+x^11*b6+x^10*b5+x^9*b4+(b3+b12)*x^8+(b2+b12+b11)*x^7+(b11+b10+b1)*x^6+(b12+b0+b10+b9)*x^5+(b11+b12+b9+b8)*x^4+(b11+b10+b8)*x^3+(b9+b10)*x^2+(b8+b9)*x+b8,                                                                                                                                                                                                                                                                                               x^12*b6+x^11*b5+x^10*b4+(b3+b12)*x^9+(b2+b12+b11)*x^8+(b11+b10+b1)*x^7+(b12+b0+b10+b9)*x^6+(b11+b12+b9+b8)*x^5+(b11+b10+b8+b7)*x^4+(b7+b9+b10)*x^3+(b8+b9)*x^2+(b8+b7)*x+b7,                                                                                                                                                                                                                                                                                    x^12*b5+x^11*b4+(b3+b12)*x^10+(b2+b12+b11)*x^9+(b11+b10+b1)*x^8+(b12+b0+b10+b9)*x^7+(b11+b12+b9+b8)*x^6+(b11+b10+b8+b7)*x^5+(b7+b9+b10+b6)*x^4+(b6+b8+b9)*x^3+(b8+b7)*x^2+(b6+b7)*x+b6,                                                                                                                                                                                                                                                                         x^12*b4+(b3+b12)*x^11+(b2+b12+b11)*x^10+(b11+b10+b1)*x^9+(b12+b0+b10+b9)*x^8+(b11+b12+b9+b8)*x^7+(b11+b10+b8+b7)*x^6+(b7+b9+b10+b6)*x^5+(b6+b8+b9+b5)*x^4+(b5+b7+b8)*x^3+(b6+b7)*x^2+(b5+b6)*x+b5,                                                                                                                                                                                                                                                              (b3+b12)*x^12+(b2+b12+b11)*x^11+(b11+b10+b1)*x^10+(b12+b0+b10+b9)*x^9+(b11+b12+b9+b8)*x^8+(b11+b10+b8+b7)*x^7+(b7+b9+b10+b6)*x^6+(b6+b8+b9+b5)*x^5+(b5+b8+b4+b7)*x^4+(b7+b4+b6)*x^3+(b5+b6)*x^2+(b5+b4)*x+b4,                                                                                                                                                                                                                                         (b2+b12+b11)*x^12+(b11+b10+b1)*x^11+(b12+b0+b10+b9)*x^10+(b11+b12+b9+b8)*x^9+(b11+b10+b8+b7)*x^8+(b7+b9+b10+b6)*x^7+(b6+b8+b9+b5)*x^6+(b5+b8+b4+b7)*x^5+(b4+b6+b12+b7+b3)*x^4+(b3+b12+b6+b5)*x^3+(b5+b4)*x^2+(b4+b12+b3)*x+b3+b12,                                                                                                                                                                                                                        (b11+b10+b1)*x^12+(b12+b0+b10+b9)*x^11+(b11+b12+b9+b8)*x^10+(b11+b10+b8+b7)*x^9+(b7+b9+b10+b6)*x^8+(b6+b8+b9+b5)*x^7+(b5+b8+b4+b7)*x^6+(b4+b6+b12+b7+b3)*x^5+(b11+b3+b5+b6+b2)*x^4+(b12+b11+b5+b4+b2)*x^3+(b4+b12+b3)*x^2+(b3+b2+b11)*x+b2+b12+b11,                                                                                                                                                                                                       (b12+b0+b10+b9)*x^12+(b11+b12+b9+b8)*x^11+(b11+b10+b8+b7)*x^10+(b7+b9+b10+b6)*x^9+(b6+b8+b9+b5)*x^8+(b5+b8+b4+b7)*x^7+(b4+b6+b12+b7+b3)*x^6+(b11+b3+b5+b6+b2)*x^5+(b2+b5+b4+b12+b1+b10)*x^4+(b11+b10+b12+b3+b1+b4)*x^3+(b3+b2+b11)*x^2+(b2+b10+b1+b12)*x+b11+b10+b1,                                                                                                                                                                                     (b11+b12+b9+b8)*x^12+(b11+b10+b8+b7)*x^11+(b7+b9+b10+b6)*x^10+(b6+b8+b9+b5)*x^9+(b5+b8+b4+b7)*x^8+(b4+b6+b12+b7+b3)*x^7+(b11+b3+b5+b6+b2)*x^6+(b2+b5+b4+b12+b1+b10)*x^5+(b11+b1+b0+b9+b3+b4)*x^4+(b11+b2+b0+b3+b12+b9+b10)*x^3+(b2+b10+b1+b12)*x^2+(b0+b11+b9+b12+b1)*x+b12+b0+b10+b9,                                                                                                                                                                                       (b11+b10+b8+b7)*x^12+(b7+b9+b10+b6)*x^11+(b6+b8+b9+b5)*x^10+(b5+b8+b4+b7)*x^9+(b4+b6+b12+b7+b3)*x^8+(b11+b3+b5+b6+b2)*x^7+(b2+b5+b4+b12+b1+b10)*x^6+(b11+b1+b0+b9+b3+b4)*x^5+(b3+b10+b8+b2+b0)*x^4+(b1+b11+b9+b8+b2+b10)*x^3+(b0+b11+b9+b12+b1)*x^2+(b8+b11+b0+b10)*x+b11+b12+b9+b8,                                                                                                                                                                                         (b7+b9+b10+b6)*x^12+(b6+b8+b9+b5)*x^11+(b5+b8+b4+b7)*x^10+(b4+b6+b12+b7+b3)*x^9+(b11+b3+b5+b6+b2)*x^8+(b2+b5+b4+b12+b1+b10)*x^7+(b11+b1+b0+b9+b3+b4)*x^6+(b3+b10+b8+b2+b0)*x^5+(b9+b7+b2+b1)*x^4+(b7+b8+b9+b0+b1+b10+b12)*x^3+(b8+b11+b0+b10)*x^2+(b10+b7+b12+b9)*x+b11+b10+b8+b7,                                                                                                                                                                                            (b6+b8+b9+b5)*x^12+(b5+b8+b4+b7)*x^11+(b4+b6+b12+b7+b3)*x^10+(b11+b3+b5+b6+b2)*x^9+(b2+b5+b4+b12+b1+b10)*x^8+(b11+b1+b0+b9+b3+b4)*x^7+(b3+b10+b8+b2+b0)*x^6+(b9+b7+b2+b1)*x^5+(b6+b12+b8+b1+b0)*x^4+(b8+b9+b11+b0+b7+b6)*x^3+(b10+b7+b12+b9)*x^2+(b6+b11+b8+b9)*x+b7+b9+b10+b6,                                                                                                                                                                                            (b5+b8+b4+b7)*x^12+(b4+b6+b12+b7+b3)*x^11+(b11+b3+b5+b6+b2)*x^10+(b2+b5+b4+b12+b1+b10)*x^9+(b11+b1+b0+b9+b3+b4)*x^8+(b3+b10+b8+b2+b0)*x^7+(b9+b7+b2+b1)*x^6+(b6+b12+b8+b1+b0)*x^5+(b0+b11+b7+b5)*x^4+(b7+b8+b6+b10+b12+b5)*x^3+(b6+b11+b8+b9)*x^2+(b5+b7+b8+b10)*x+b6+b8+b9+b5,                                                                                                                                                                                            (b4+b6+b12+b7+b3)*x^12+(b11+b3+b5+b6+b2)*x^11+(b2+b5+b4+b12+b1+b10)*x^10+(b11+b1+b0+b9+b3+b4)*x^9+(b3+b10+b8+b2+b0)*x^8+(b9+b7+b2+b1)*x^7+(b6+b12+b8+b1+b0)*x^6+(b0+b11+b7+b5)*x^5+(b12+b10+b4+b6)*x^4+(b9+b4+b6+b5+b11+b7)*x^3+(b5+b7+b8+b10)*x^2+(b6+b7+b4+b9)*x+b5+b8+b4+b7,                                                                                                                                                                                (b11+b3+b5+b6+b2)*x^12+(b2+b5+b4+b12+b1+b10)*x^11+(b11+b1+b0+b9+b3+b4)*x^10+(b3+b10+b8+b2+b0)*x^9+(b9+b7+b2+b1)*x^8+(b6+b12+b8+b1+b0)*x^7+(b0+b11+b7+b5)*x^6+(b12+b10+b4+b6)*x^5+(b11+b5+b9+b12+b3)*x^4+(b6+b10+b4+b3+b12+b8+b5)*x^3+(b6+b7+b4+b9)*x^2+(b8+b3+b12+b5+b6)*x+b4+b6+b12+b7+b3,                                                                                                                                                                    (b2+b5+b4+b12+b1+b10)*x^12+(b11+b1+b0+b9+b3+b4)*x^11+(b3+b10+b8+b2+b0)*x^10+(b9+b7+b2+b1)*x^9+(b6+b12+b8+b1+b0)*x^8+(b0+b11+b7+b5)*x^7+(b12+b10+b4+b6)*x^6+(b11+b5+b9+b12+b3)*x^5+(b12+b8+b11+b10+b4+b2)*x^4+(b3+b11+b9+b5+b7+b2+b4)*x^3+(b8+b3+b12+b5+b6)*x^2+(b2+b11+b7+b12+b5+b4)*x+b3+b11+b2+b5+b6,                                                                                                                                                    (b11+b1+b0+b9+b3+b4)*x^12+(b3+b10+b8+b2+b0)*x^11+(b9+b7+b2+b1)*x^10+(b6+b12+b8+b1+b0)*x^9+(b0+b11+b7+b5)*x^8+(b12+b10+b4+b6)*x^7+(b11+b5+b9+b12+b3)*x^6+(b12+b8+b11+b10+b4+b2)*x^5+(b10+b3+b11+b12+b9+b7+b1)*x^4+(b1+b10+b2+b8+b4+b3+b6)*x^3+(b2+b11+b7+b12+b5+b4)*x^2+(b11+b12+b4+b6+b3+b1+b10)*x+b10+b12+b2+b4+b5+b1,                                                                                                                                       (b3+b10+b8+b2+b0)*x^12+(b9+b7+b2+b1)*x^11+(b6+b12+b8+b1+b0)*x^10+(b0+b11+b7+b5)*x^9+(b12+b10+b4+b6)*x^8+(b11+b5+b9+b12+b3)*x^7+(b12+b8+b11+b10+b4+b2)*x^6+(b10+b3+b11+b12+b9+b7+b1)*x^5+(b8+b11+b10+b0+b6+b9+b2)*x^4+(b5+b1+b7+b2+b12+b3+b9+b0)*x^3+(b11+b12+b4+b6+b3+b1+b10)*x^2+(b0+b3+b10+b11+b5+b2+b12+b9)*x+b11+b1+b0+b9+b3+b4,                                                                                                                                   (b9+b7+b2+b1)*x^12+(b6+b12+b8+b1+b0)*x^11+(b0+b11+b7+b5)*x^10+(b12+b10+b4+b6)*x^9+(b11+b5+b9+b12+b3)*x^8+(b12+b8+b11+b10+b4+b2)*x^7+(b10+b3+b11+b12+b9+b7+b1)*x^6+(b8+b11+b10+b0+b6+b9+b2)*x^5+(b1+b7+b12+b5+b10+b8+b9)*x^4+(b0+b11+b8+b6+b12+b4+b2+b1)*x^3+(b0+b3+b10+b11+b5+b2+b12+b9)*x^2+(b8+b1+b10+b9+b11+b2+b4)*x+b3+b10+b8+b0+b2,                                                                                                                             (b6+b12+b8+b1+b0)*x^12+(b0+b11+b7+b5)*x^11+(b12+b10+b4+b6)*x^10+(b11+b5+b9+b12+b3)*x^9+(b12+b8+b11+b10+b4+b2)*x^8+(b10+b3+b11+b12+b9+b7+b1)*x^7+(b8+b11+b10+b0+b6+b9+b2)*x^6+(b1+b7+b12+b5+b10+b8+b9)*x^5+(b11+b4+b8+b0+b12+b7+b9+b6)*x^4+(b10+b12+b5+b7+b1+b11+b3+b0)*x^3+(b8+b1+b10+b9+b11+b2+b4)*x^2+(b0+b7+b9+b3+b8+b10+b1)*x+b1+b9+b2+b7,                                                                                                                   (b0+b11+b7+b5)*x^12+(b12+b10+b4+b6)*x^11+(b11+b5+b9+b12+b3)*x^10+(b12+b8+b11+b10+b4+b2)*x^9+(b10+b3+b11+b12+b9+b7+b1)*x^8+(b8+b11+b10+b0+b6+b9+b2)*x^7+(b1+b7+b12+b5+b10+b8+b9)*x^6+(b11+b4+b8+b0+b12+b7+b9+b6)*x^5+(b5+b6+b11+b7+b8+b3+b10)*x^4+(b4+b2+b10+b6+b11+b0+b12+b9)*x^3+(b0+b7+b9+b3+b8+b10+b1)*x^2+(b7+b2+b12+b6+b8+b0+b9)*x+b0+b6+b12+b8+b1,                                                                                                            (b12+b10+b4+b6)*x^12+(b11+b5+b9+b12+b3)*x^11+(b12+b8+b11+b10+b4+b2)*x^10+(b10+b3+b11+b12+b9+b7+b1)*x^9+(b8+b11+b10+b0+b6+b9+b2)*x^8+(b1+b7+b12+b5+b10+b8+b9)*x^7+(b11+b4+b8+b0+b12+b7+b9+b6)*x^6+(b5+b6+b11+b7+b8+b3+b10)*x^5+(b10+b2+b12+b6+b5+b7+b4+b9)*x^4+(b11+b9+b3+b8+b1+b10+b5)*x^3+(b7+b2+b12+b6+b8+b0+b9)*x^2+(b5+b12+b11+b6+b7+b1+b8)*x+b11+b7+b5+b0,                                                                                        (b11+b5+b9+b12+b3)*x^12+(b12+b8+b11+b10+b4+b2)*x^11+(b10+b3+b11+b12+b9+b7+b1)*x^10+(b8+b11+b10+b0+b6+b9+b2)*x^9+(b1+b7+b12+b5+b10+b8+b9)*x^8+(b11+b4+b8+b0+b12+b7+b9+b6)*x^7+(b5+b6+b11+b7+b8+b3+b10)*x^6+(b10+b2+b12+b6+b5+b7+b4+b9)*x^5+(b11+b9+b3+b4+b1+b5+b12+b8+b6)*x^4+(b2+b9+b4+b8+b10+b0+b7)*x^3+(b5+b12+b11+b6+b7+b1+b8)*x^2+(b5+b0+b10+b12+b4+b7+b6+b11)*x+b12+b10+b4+b6,                                                                         (b12+b8+b11+b10+b4+b2)*x^12+(b10+b3+b11+b12+b9+b7+b1)*x^11+(b8+b11+b10+b0+b6+b9+b2)*x^10+(b1+b7+b12+b5+b10+b8+b9)*x^9+(b11+b4+b8+b0+b12+b7+b9+b6)*x^8+(b5+b6+b11+b7+b8+b3+b10)*x^7+(b10+b2+b12+b6+b5+b7+b4+b9)*x^6+(b11+b9+b3+b4+b1+b5+b12+b8+b6)*x^5+(b8+b11+b0+b12+b7+b4+b2+b3+b10+b5)*x^4+(b6+b7+b9+b8+b3+b1)*x^3+(b5+b0+b10+b12+b4+b7+b6+b11)*x^2+(b5+b3+b4+b11+b9+b6+b10)*x+b11+b5+b9+b12+b3,                                                              (b10+b3+b11+b12+b9+b7+b1)*x^12+(b8+b11+b10+b0+b6+b9+b2)*x^11+(b1+b7+b12+b5+b10+b8+b9)*x^10+(b11+b4+b8+b0+b12+b7+b9+b6)*x^9+(b5+b6+b11+b7+b8+b3+b10)*x^8+(b10+b2+b12+b6+b5+b7+b4+b9)*x^7+(b11+b9+b3+b4+b1+b5+b12+b8+b6)*x^6+(b8+b11+b0+b12+b7+b4+b2+b3+b10+b5)*x^5+(b12+b7+b1+b10+b11+b4+b6+b9+b2+b3)*x^4+(b7+b8+b0+b6+b2+b5)*x^3+(b5+b3+b4+b11+b9+b6+b10)*x^2+(b3+b4+b2+b9+b10+b8+b5)*x+b12+b8+b11+b10+b4+b2,                                                (b8+b11+b10+b0+b6+b9+b2)*x^12+(b1+b7+b12+b5+b10+b8+b9)*x^11+(b11+b4+b8+b0+b12+b7+b9+b6)*x^10+(b5+b6+b11+b7+b8+b3+b10)*x^9+(b10+b2+b12+b6+b5+b7+b4+b9)*x^8+(b11+b9+b3+b4+b1+b5+b12+b8+b6)*x^7+(b8+b11+b0+b12+b7+b4+b2+b3+b10+b5)*x^6+(b12+b7+b1+b10+b11+b4+b6+b9+b2+b3)*x^5+(b2+b11+b8+b5+b0+b1+b6+b3+b12+b10+b9)*x^4+(b1+b4+b6+b7+b12+b5)*x^3+(b3+b4+b2+b9+b10+b8+b5)*x^2+(b3+b4+b9+b1+b2+b7+b8)*x+b10+b3+b11+b12+b9+b7+b1,                                 (b1+b7+b12+b5+b10+b8+b9)*x^12+(b11+b4+b8+b0+b12+b7+b9+b6)*x^11+(b5+b6+b11+b7+b8+b3+b10)*x^10+(b10+b2+b12+b6+b5+b7+b4+b9)*x^9+(b11+b9+b3+b4+b1+b5+b12+b8+b6)*x^8+(b8+b11+b0+b12+b7+b4+b2+b3+b10+b5)*x^7+(b12+b7+b1+b10+b11+b4+b6+b9+b2+b3)*x^6+(b2+b11+b8+b5+b0+b1+b6+b3+b12+b10+b9)*x^5+(b0+b1+b8+b4+b7+b10+b9+b5+b11+b2+b12)*x^4+(b6+b0+b3+b11+b5+b4)*x^3+(b3+b4+b9+b1+b2+b7+b8)*x^2+(b2+b3+b12+b1+b0+b6+b8+b7)*x+b9+b2+b11+b0+b10+b6+b8,              (b11+b4+b8+b0+b12+b7+b9+b6)*x^12+(b5+b6+b11+b7+b8+b3+b10)*x^11+(b10+b2+b12+b6+b5+b7+b4+b9)*x^10+(b11+b9+b3+b4+b1+b5+b12+b8+b6)*x^9+(b8+b11+b0+b12+b7+b4+b2+b3+b10+b5)*x^8+(b12+b7+b1+b10+b11+b4+b6+b9+b2+b3)*x^7+(b2+b11+b8+b5+b0+b1+b6+b3+b12+b10+b9)*x^6+(b0+b1+b8+b4+b7+b10+b9+b5+b11+b2+b12)*x^5+(b6+b1+b11+b7+b8+b0+b3+b9+b4+b12+b10)*x^4+(b3+b10+b5+b4+b2+b12)*x^3+(b2+b3+b12+b1+b0+b6+b8+b7)*x^2+(b6+b12+b7+b0+b11+b2+b1+b5)*x+b12+b9+b1+b10+b8+b7+b5,        (b5+b6+b11+b7+b8+b3+b10)*x^12+(b10+b2+b12+b6+b5+b7+b4+b9)*x^11+(b11+b9+b3+b4+b1+b5+b12+b8+b6)*x^10+(b8+b11+b0+b12+b7+b4+b2+b3+b10+b5)*x^9+(b12+b7+b1+b10+b11+b4+b6+b9+b2+b3)*x^8+(b2+b11+b8+b5+b0+b1+b6+b3+b12+b10+b9)*x^7+(b0+b1+b8+b4+b7+b10+b9+b5+b11+b2+b12)*x^6+(b6+b1+b11+b7+b8+b0+b3+b9+b4+b12+b10)*x^5+(b5+b2+b0+b6+b3+b7+b8+b10+b9+b11)*x^4+(b2+b3+b1+b9+b4+b11)*x^3+(b6+b12+b7+b0+b11+b2+b1+b5)*x^2+(b4+b6+b10+b0+b1+b5+b11)*x+b4+b6+b7+b0+b11+b12+b8+b9,     (b10+b2+b12+b6+b5+b7+b4+b9)*x^12+(b11+b9+b3+b4+b1+b5+b12+b8+b6)*x^11+(b8+b11+b0+b12+b7+b4+b2+b3+b10+b5)*x^10+(b12+b7+b1+b10+b11+b4+b6+b9+b2+b3)*x^9+(b2+b11+b8+b5+b0+b1+b6+b3+b12+b10+b9)*x^8+(b0+b1+b8+b4+b7+b10+b9+b5+b11+b2+b12)*x^7+(b6+b1+b11+b7+b8+b0+b3+b9+b4+b12+b10)*x^6+(b5+b2+b0+b6+b3+b7+b8+b10+b9+b11)*x^5+(b10+b2+b4+b1+b9+b7+b8+b5+b6)*x^4+(b3+b1+b2+b10+b12+b8+b0)*x^3+(b4+b6+b10+b0+b1+b5+b11)*x^2+(b3+b4+b10+b12+b5+b0+b9)*x+b6+b10+b11+b3+b5+b8+b7, (b11+b9+b3+b4+b1+b5+b12+b8+b6)*x^12+(b8+b11+b0+b12+b7+b4+b2+b3+b10+b5)*x^11+(b12+b7+b1+b10+b11+b4+b6+b9+b2+b3)*x^10+(b2+b11+b8+b5+b0+b1+b6+b3+b12+b10+b9)*x^9+(b0+b1+b8+b4+b7+b10+b9+b5+b11+b2+b12)*x^8+(b6+b1+b11+b7+b8+b0+b3+b9+b4+b12+b10)*x^7+(b5+b2+b0+b6+b3+b7+b8+b10+b9+b11)*x^6+(b10+b2+b4+b1+b9+b7+b8+b5+b6)*x^5+(b3+b0+b1+b6+b8+b9+b5+b4+b7)*x^4+(b0+b9+b7+b1+b11+b2+b12)*x^3+(b3+b4+b10+b12+b5+b0+b9)*x^2+(b3+b11+b9+b2+b8+b4+b12)*x+b9+b7+b6+b4+b2+b10+b5+b12,      (b8+b11+b0+b12+b7+b4+b2+b3+b10+b5)*x^12+(b12+b7+b1+b10+b11+b4+b6+b9+b2+b3)*x^11+(b2+b11+b8+b5+b0+b1+b6+b3+b12+b10+b9)*x^10+(b0+b1+b8+b4+b7+b10+b9+b5+b11+b2+b12)*x^9+(b6+b1+b11+b7+b8+b0+b3+b9+b4+b12+b10)*x^8+(b5+b2+b0+b6+b3+b7+b8+b10+b9+b11)*x^7+(b10+b2+b4+b1+b9+b7+b8+b5+b6)*x^6+(b3+b0+b1+b6+b8+b9+b5+b4+b7)*x^5+(b5+b4+b6+b0+b7+b2+b8+b3)*x^4+(b11+b0+b6+b1+b8+b10)*x^3+(b3+b11+b9+b2+b8+b4+b12)*x^2+(b7+b8+b11+b2+b3+b10+b1)*x+b6+b8+b4+b5+b12+b1+b9+b11+b3,               (b12+b7+b1+b10+b11+b4+b6+b9+b2+b3)*x^12+(b2+b11+b8+b5+b0+b1+b6+b3+b12+b10+b9)*x^11+(b0+b1+b8+b4+b7+b10+b9+b5+b11+b2+b12)*x^10+(b6+b1+b11+b7+b8+b0+b3+b9+b4+b12+b10)*x^9+(b5+b2+b0+b6+b3+b7+b8+b10+b9+b11)*x^8+(b10+b2+b4+b1+b9+b7+b8+b5+b6)*x^7+(b3+b0+b1+b6+b8+b9+b5+b4+b7)*x^6+(b5+b4+b6+b0+b7+b2+b8+b3)*x^5+(b2+b5+b12+b7+b4+b6+b1+b3)*x^4+(b5+b0+b9+b7+b10)*x^3+(b7+b8+b11+b2+b3+b10+b1)*x^2+(b1+b0+b6+b9+b2+b7+b10)*x+b7+b10+b11+b12+b8+b2+b3+b4+b0+b5,                        (b2+b11+b8+b5+b0+b1+b6+b3+b12+b10+b9)*x^12+(b0+b1+b8+b4+b7+b10+b9+b5+b11+b2+b12)*x^11+(b6+b1+b11+b7+b8+b0+b3+b9+b4+b12+b10)*x^10+(b5+b2+b0+b6+b3+b7+b8+b10+b9+b11)*x^9+(b10+b2+b4+b1+b9+b7+b8+b5+b6)*x^8+(b3+b0+b1+b6+b8+b9+b5+b4+b7)*x^7+(b5+b4+b6+b0+b7+b2+b8+b3)*x^6+(b2+b5+b12+b7+b4+b6+b1+b3)*x^5+(b11+b0+b2+b1+b6+b3+b5+b4+b12)*x^4+(b8+b4+b9+b12+b6)*x^3+(b1+b0+b6+b9+b2+b7+b10)*x^2+(b8+b0+b9+b1+b5+b6)*x+b12+b10+b1+b9+b11+b7+b4+b6+b2+b3,                                  (b0+b1+b8+b4+b7+b10+b9+b5+b11+b2+b12)*x^12+(b6+b1+b11+b7+b8+b0+b3+b9+b4+b12+b10)*x^11+(b5+b2+b0+b6+b3+b7+b8+b10+b9+b11)*x^10+(b10+b2+b4+b1+b9+b7+b8+b5+b6)*x^9+(b3+b0+b1+b6+b8+b9+b5+b4+b7)*x^8+(b5+b4+b6+b0+b7+b2+b8+b3)*x^7+(b2+b5+b12+b7+b4+b6+b1+b3)*x^6+(b11+b0+b2+b1+b6+b3+b5+b4+b12)*x^5+(b2+b5+b1+b0+b11+b10+b4+b3)*x^4+(b12+b11+b7+b5+b3+b8)*x^3+(b8+b0+b9+b1+b5+b6)*x^2+(b0+b7+b4+b8+b5)*x+b5+b6+b9+b10+b11+b12+b8+b2+b3+b1+b0,                                                  (b6+b1+b11+b7+b8+b0+b3+b9+b4+b12+b10)*x^12+(b5+b2+b0+b6+b3+b7+b8+b10+b9+b11)*x^11+(b10+b2+b4+b1+b9+b7+b8+b5+b6)*x^10+(b3+b0+b1+b6+b8+b9+b5+b4+b7)*x^9+(b5+b4+b6+b0+b7+b2+b8+b3)*x^8+(b2+b5+b12+b7+b4+b6+b1+b3)*x^7+(b11+b0+b2+b1+b6+b3+b5+b4+b12)*x^6+(b2+b5+b1+b0+b11+b10+b4+b3)*x^5+(b9+b1+b2+b10+b3+b0+b4)*x^4+(b7+b11+b4+b6+b10+b12+b2)*x^3+(b0+b7+b4+b8+b5)*x^2+(b4+b3+b6+b7)*x+b12+b8+b2+b4+b1+b0+b9+b10+b5+b7+b11,                                                                    (b5+b2+b0+b6+b3+b7+b8+b10+b9+b11)*x^12+(b10+b2+b4+b1+b9+b7+b8+b5+b6)*x^11+(b3+b0+b1+b6+b8+b9+b5+b4+b7)*x^10+(b5+b4+b6+b0+b7+b2+b8+b3)*x^9+(b2+b5+b12+b7+b4+b6+b1+b3)*x^8+(b11+b0+b2+b1+b6+b3+b5+b4+b12)*x^7+(b2+b5+b1+b0+b11+b10+b4+b3)*x^6+(b9+b1+b2+b10+b3+b0+b4)*x^5+(b3+b8+b9+b1+b0+b2)*x^4+(b9+b6+b10+b5+b1+b12+b11+b3)*x^3+(b4+b3+b6+b7)*x^2+(b6+b2+b3+b5)*x+b4+b1+b0+b3+b10+b6+b7+b9+b11+b12+b8,                                                                                  (b10+b2+b4+b1+b9+b7+b8+b5+b6)*x^12+(b3+b0+b1+b6+b8+b9+b5+b4+b7)*x^11+(b5+b4+b6+b0+b7+b2+b8+b3)*x^10+(b2+b5+b12+b7+b4+b6+b1+b3)*x^9+(b11+b0+b2+b1+b6+b3+b5+b4+b12)*x^8+(b2+b5+b1+b0+b11+b10+b4+b3)*x^7+(b9+b1+b2+b10+b3+b0+b4)*x^6+(b3+b8+b9+b1+b0+b2)*x^5+(b1+b12+b8+b2+b0+b7)*x^4+(b9+b4+b0+b11+b5+b8+b10+b2)*x^3+(b6+b2+b3+b5)*x^2+(b4+b2+b1+b5+b12)*x+b9+b10+b11+b8+b3+b5+b0+b2+b6+b7,                                                                                                  (b3+b0+b1+b6+b8+b9+b5+b4+b7)*x^12+(b5+b4+b6+b0+b7+b2+b8+b3)*x^11+(b2+b5+b12+b7+b4+b6+b1+b3)*x^10+(b11+b0+b2+b1+b6+b3+b5+b4+b12)*x^9+(b2+b5+b1+b0+b11+b10+b4+b3)*x^8+(b9+b1+b2+b10+b3+b0+b4)*x^7+(b3+b8+b9+b1+b0+b2)*x^6+(b1+b12+b8+b2+b0+b7)*x^5+(b11+b1+b7+b6+b0)*x^4+(b1+b8+b9+b4+b7+b10+b3)*x^3+(b4+b2+b1+b5+b12)*x^2+(b11+b0+b3+b1+b4)*x+b2+b9+b8+b6+b1+b5+b10+b7+b4,                                                                                                                 (b5+b4+b6+b0+b7+b2+b8+b3)*x^12+(b2+b5+b12+b7+b4+b6+b1+b3)*x^11+(b11+b0+b2+b1+b6+b3+b5+b4+b12)*x^10+(b2+b5+b1+b0+b11+b10+b4+b3)*x^9+(b9+b1+b2+b10+b3+b0+b4)*x^8+(b3+b8+b9+b1+b0+b2)*x^7+(b1+b12+b8+b2+b0+b7)*x^6+(b11+b1+b7+b6+b0)*x^5+(b5+b6+b0+b10)*x^4+(b8+b9+b3+b2+b7+b0+b12+b6)*x^3+(b11+b0+b3+b1+b4)*x^2+(b0+b10+b3+b2)*x+b3+b5+b8+b4+b9+b0+b7+b6+b1,                                                                                                                                         (b2+b5+b12+b7+b4+b6+b1+b3)*x^12+(b11+b0+b2+b1+b6+b3+b5+b4+b12)*x^11+(b2+b5+b1+b0+b11+b10+b4+b3)*x^10+(b9+b1+b2+b10+b3+b0+b4)*x^9+(b3+b8+b9+b1+b0+b2)*x^8+(b1+b12+b8+b2+b0+b7)*x^7+(b11+b1+b7+b6+b0)*x^6+(b5+b6+b0+b10)*x^5+(b12+b4+b9+b5)*x^4+(b5+b7+b11+b8+b2+b1+b6)*x^3+(b0+b10+b3+b2)*x^2+(b2+b1+b9)*x+b4+b5+b6+b7+b8+b2+b3+b0,                                                                                                                                            (b11+b0+b2+b1+b6+b3+b5+b4+b12)*x^12+(b2+b5+b1+b0+b11+b10+b4+b3)*x^11+(b9+b1+b2+b10+b3+b0+b4)*x^10+(b3+b8+b9+b1+b0+b2)*x^9+(b1+b12+b8+b2+b0+b7)*x^8+(b11+b1+b7+b6+b0)*x^7+(b5+b6+b0+b10)*x^6+(b12+b4+b9+b5)*x^5+(b11+b3+b8+b4+b12)*x^4+(b4+b5+b10+b0+b6+b7+b12+b1)*x^3+(b2+b1+b9)*x^2+(b12+b8+b0+b1)*x+b2+b12+b5+b4+b6+b3+b7+b1,                                                                                                                                                   (b2+b5+b1+b0+b11+b10+b4+b3)*x^12+(b9+b1+b2+b10+b3+b0+b4)*x^11+(b3+b8+b9+b1+b0+b2)*x^10+(b1+b12+b8+b2+b0+b7)*x^9+(b11+b1+b7+b6+b0)*x^8+(b5+b6+b0+b10)*x^7+(b12+b4+b9+b5)*x^6+(b11+b3+b8+b4+b12)*x^5+(b10+b7+b2+b11+b3)*x^4+(b11+b3+b0+b9+b5+b4+b6+b12)*x^3+(b12+b8+b0+b1)*x^2+(b11+b0+b7)*x+b1+b0+b2+b3+b4+b5+b6+b11+b12,                                                                                                                                                             (b9+b1+b2+b10+b3+b0+b4)*x^12+(b3+b8+b9+b1+b0+b2)*x^11+(b1+b12+b8+b2+b0+b7)*x^10+(b11+b1+b7+b6+b0)*x^9+(b5+b6+b0+b10)*x^8+(b12+b4+b9+b5)*x^7+(b11+b3+b8+b4+b12)*x^6+(b10+b7+b2+b11+b3)*x^5+(b10+b6+b12+b2+b9+b1)*x^4+(b12+b2+b4+b8+b10+b5+b11+b3)*x^3+(b11+b0+b7)*x^2+(b10+b12+b6)*x+b11+b1+b0+b2+b3+b4+b5+b10,                                                                                                                                                                 (b3+b8+b9+b1+b0+b2)*x^12+(b1+b12+b8+b2+b0+b7)*x^11+(b11+b1+b7+b6+b0)*x^10+(b5+b6+b0+b10)*x^9+(b12+b4+b9+b5)*x^8+(b11+b3+b8+b4+b12)*x^7+(b10+b7+b2+b11+b3)*x^6+(b10+b6+b12+b2+b9+b1)*x^5+(b8+b11+b9+b12+b0+b5+b1)*x^4+(b10+b2+b1+b7+b4+b9+b11+b3)*x^3+(b10+b12+b6)*x^2+(b5+b11+b9)*x+b3+b1+b0+b2+b4+b9+b10,                                                                                                                                                                 (b1+b12+b8+b2+b0+b7)*x^12+(b11+b1+b7+b6+b0)*x^11+(b5+b6+b0+b10)*x^10+(b12+b4+b9+b5)*x^9+(b11+b3+b8+b4+b12)*x^8+(b10+b7+b2+b11+b3)*x^7+(b10+b6+b12+b2+b9+b1)*x^6+(b8+b11+b9+b12+b0+b5+b1)*x^5+(b4+b11+b0+b10+b8+b7)*x^4+(b3+b8+b12+b6+b0+b2+b1+b9+b10)*x^3+(b5+b11+b9)*x^2+(b4+b10+b8)*x+b2+b3+b9+b8+b1+b0,                                                                                                                                                                (b11+b1+b7+b6+b0)*x^12+(b5+b6+b0+b10)*x^11+(b12+b4+b9+b5)*x^10+(b11+b3+b8+b4+b12)*x^9+(b10+b7+b2+b11+b3)*x^8+(b10+b6+b12+b2+b9+b1)*x^7+(b8+b11+b9+b12+b0+b5+b1)*x^6+(b4+b11+b0+b10+b8+b7)*x^5+(b7+b3+b6+b9+b10)*x^4+(b7+b0+b2+b12+b9+b11+b8+b1+b5)*x^3+(b4+b10+b8)*x^2+(b9+b12+b3+b7)*x+b12+b8+b7+b1+b0+b2,                                                                                                                                                            (b5+b6+b0+b10)*x^12+(b12+b4+b9+b5)*x^11+(b11+b3+b8+b4+b12)*x^10+(b10+b7+b2+b11+b3)*x^9+(b10+b6+b12+b2+b9+b1)*x^8+(b8+b11+b9+b12+b0+b5+b1)*x^7+(b4+b11+b0+b10+b8+b7)*x^6+(b7+b3+b6+b9+b10)*x^5+(b8+b5+b2+b6+b12+b9)*x^4+(b1+b7+b0+b11+b4+b8+b10+b6)*x^3+(b9+b12+b3+b7)*x^2+(b12+b2+b11+b8+b6)*x+b6+b7+b11+b0+b1,                                                                                                                                                     (b12+b4+b9+b5)*x^12+(b11+b3+b8+b4+b12)*x^11+(b10+b7+b2+b11+b3)*x^10+(b10+b6+b12+b2+b9+b1)*x^9+(b8+b11+b9+b12+b0+b5+b1)*x^8+(b4+b11+b0+b10+b8+b7)*x^7+(b7+b3+b6+b9+b10)*x^6+(b8+b5+b2+b6+b12+b9)*x^5+(b5+b8+b4+b7+b11+b1)*x^4+(b5+b0+b10+b7+b3+b12+b9+b6)*x^3+(b12+b2+b11+b8+b6)*x^2+(b5+b11+b10+b7+b1)*x+b6+b10+b0+b5,                                                                                                                                                (b11+b3+b8+b4+b12)*x^12+(b10+b7+b2+b11+b3)*x^11+(b10+b6+b12+b2+b9+b1)*x^10+(b8+b11+b9+b12+b0+b5+b1)*x^9+(b4+b11+b0+b10+b8+b7)*x^8+(b7+b3+b6+b9+b10)*x^7+(b8+b5+b2+b6+b12+b9)*x^6+(b5+b8+b4+b7+b11+b1)*x^5+(b10+b0+b7+b4+b6+b3)*x^4+(b4+b2+b5+b8+b6+b11+b9)*x^3+(b5+b11+b10+b7+b1)*x^2+(b9+b10+b4+b12+b6+b0)*x+b12+b4+b9+b5,                                                                                                                                       (b10+b7+b2+b11+b3)*x^12+(b10+b6+b12+b2+b9+b1)*x^11+(b8+b11+b9+b12+b0+b5+b1)*x^10+(b4+b11+b0+b10+b8+b7)*x^9+(b7+b3+b6+b9+b10)*x^8+(b8+b5+b2+b6+b12+b9)*x^7+(b5+b8+b4+b7+b11+b1)*x^6+(b10+b0+b7+b4+b6+b3)*x^5+(b6+b12+b9+b3+b5+b2)*x^4+(b7+b12+b3+b10+b4+b1+b5+b8)*x^3+(b9+b10+b4+b12+b6+b0)*x^2+(b8+b11+b9+b5+b3)*x+b11+b3+b8+b4+b12,                                                                                                                              (b10+b6+b12+b2+b9+b1)*x^12+(b8+b11+b9+b12+b0+b5+b1)*x^11+(b4+b11+b0+b10+b8+b7)*x^10+(b7+b3+b6+b9+b10)*x^9+(b8+b5+b2+b6+b12+b9)*x^8+(b5+b8+b4+b7+b11+b1)*x^7+(b10+b0+b7+b4+b6+b3)*x^6+(b6+b12+b9+b3+b5+b2)*x^5+(b1+b11+b2+b12+b5+b8+b4)*x^4+(b0+b9+b7+b3+b11+b12+b4+b2+b6)*x^3+(b8+b11+b9+b5+b3)*x^2+(b12+b8+b2+b7+b4+b10)*x+b10+b3+b2+b7+b11,                                                                                                                (b8+b11+b9+b12+b0+b5+b1)*x^12+(b4+b11+b0+b10+b8+b7)*x^11+(b7+b3+b6+b9+b10)*x^10+(b8+b5+b2+b6+b12+b9)*x^9+(b5+b8+b4+b7+b11+b1)*x^8+(b10+b0+b7+b4+b6+b3)*x^7+(b6+b12+b9+b3+b5+b2)*x^6+(b1+b11+b2+b12+b5+b8+b4)*x^5+(b7+b1+b10+b0+b4+b3+b11)*x^4+(b8+b12+b1+b3+b10+b11+b5+b6+b2)*x^3+(b12+b8+b2+b7+b4+b10)*x^2+(b11+b1+b3+b7+b9+b6+b12)*x+b9+b12+b2+b10+b6+b1,                                                                                                               (b4+b11+b0+b10+b8+b7)*x^12+(b7+b3+b6+b9+b10)*x^11+(b8+b5+b2+b6+b12+b9)*x^10+(b5+b8+b4+b7+b11+b1)*x^9+(b10+b0+b7+b4+b6+b3)*x^8+(b6+b12+b9+b3+b5+b2)*x^7+(b1+b11+b2+b12+b5+b8+b4)*x^6+(b7+b1+b10+b0+b4+b3+b11)*x^5+(b3+b2+b0+b9+b6+b10)*x^4+(b2+b0+b7+b9+b11+b4+b5+b1+b10)*x^3+(b11+b1+b3+b7+b9+b6+b12)*x^2+(b5+b8+b11+b0+b2+b10+b6)*x+b8+b1+b5+b11+b9+b12+b0,                                                                                                                       (b7+b3+b6+b9+b10)*x^12+(b8+b5+b2+b6+b12+b9)*x^11+(b5+b8+b4+b7+b11+b1)*x^10+(b10+b0+b7+b4+b6+b3)*x^9+(b6+b12+b9+b3+b5+b2)*x^8+(b1+b11+b2+b12+b5+b8+b4)*x^7+(b7+b1+b10+b0+b4+b3+b11)*x^6+(b3+b2+b0+b9+b6+b10)*x^5+(b8+b5+b2+b9+b1)*x^4+(b8+b4+b9+b3+b0+b1+b12+b6+b10)*x^3+(b5+b8+b11+b0+b2+b10+b6)*x^2+(b12+b4+b1+b7+b5+b9+b10)*x+b7+b10+b11+b8+b4+b0,                                                                                                                             (b8+b5+b2+b6+b12+b9)*x^12+(b5+b8+b4+b7+b11+b1)*x^11+(b10+b0+b7+b4+b6+b3)*x^10+(b6+b12+b9+b3+b5+b2)*x^9+(b1+b11+b2+b12+b5+b8+b4)*x^8+(b7+b1+b10+b0+b4+b3+b11)*x^7+(b3+b2+b0+b9+b6+b10)*x^6+(b8+b5+b2+b9+b1)*x^5+(b7+b12+b1+b8+b0+b4)*x^4+(b3+b0+b2+b7+b9+b11+b5+b8)*x^3+(b12+b4+b1+b7+b5+b9+b10)*x^2+(b8+b3+b11+b0+b9+b6+b4)*x+b3+b10+b9+b7+b6,                                                                                                                            (b5+b8+b4+b7+b11+b1)*x^12+(b10+b0+b7+b4+b6+b3)*x^11+(b6+b12+b9+b3+b5+b2)*x^10+(b1+b11+b2+b12+b5+b8+b4)*x^9+(b7+b1+b10+b0+b4+b3+b11)*x^8+(b3+b2+b0+b9+b6+b10)*x^7+(b8+b5+b2+b9+b1)*x^6+(b7+b12+b1+b8+b0+b4)*x^5+(b11+b0+b6+b7+b12+b3)*x^4+(b7+b8+b6+b4+b2+b1+b10)*x^3+(b8+b3+b11+b0+b9+b6+b4)*x^2+(b3+b7+b8+b10+b12+b5+b2)*x+b5+b6+b8+b2+b9+b12,                                                                                                                           (b10+b0+b7+b4+b6+b3)*x^12+(b6+b12+b9+b3+b5+b2)*x^11+(b1+b11+b2+b12+b5+b8+b4)*x^10+(b7+b1+b10+b0+b4+b3+b11)*x^9+(b3+b2+b0+b9+b6+b10)*x^8+(b8+b5+b2+b9+b1)*x^7+(b7+b12+b1+b8+b0+b4)*x^6+(b11+b0+b6+b7+b12+b3)*x^5+(b2+b5+b10+b11+b6)*x^4+(b5+b3+b9+b1+b0+b6+b7)*x^3+(b3+b7+b8+b10+b12+b5+b2)*x^2+(b2+b1+b9+b12+b4+b6+b11+b7)*x+b5+b1+b11+b8+b7+b4,                                                                                                                          (b6+b12+b9+b3+b5+b2)*x^12+(b1+b11+b2+b12+b5+b8+b4)*x^11+(b7+b1+b10+b0+b4+b3+b11)*x^10+(b3+b2+b0+b9+b6+b10)*x^9+(b8+b5+b2+b9+b1)*x^8+(b7+b12+b1+b8+b0+b4)*x^7+(b11+b0+b6+b7+b12+b3)*x^6+(b2+b5+b10+b11+b6)*x^5+(b4+b5+b1+b10+b9)*x^4+(b0+b5+b8+b4+b2+b6+b12)*x^3+(b2+b1+b9+b12+b4+b6+b11+b7)*x^2+(b10+b3+b0+b8+b6+b11+b1+b5)*x+b6+b0+b3+b4+b7+b10,                                                                                                                                 (b1+b11+b2+b12+b5+b8+b4)*x^12+(b7+b1+b10+b0+b4+b3+b11)*x^11+(b3+b2+b0+b9+b6+b10)*x^10+(b8+b5+b2+b9+b1)*x^9+(b7+b12+b1+b8+b0+b4)*x^8+(b11+b0+b6+b7+b12+b3)*x^7+(b2+b5+b10+b11+b6)*x^6+(b4+b5+b1+b10+b9)*x^5+(b9+b3+b0+b4+b8)*x^4+(b4+b3+b11+b7+b5+b1)*x^3+(b10+b3+b0+b8+b6+b11+b1+b5)*x^2+(b0+b2+b10+b4+b5+b9+b7+b12)*x+b6+b9+b2+b5+b3+b12,                                                                                                                                    (b7+b1+b10+b0+b4+b3+b11)*x^12+(b3+b2+b0+b9+b6+b10)*x^11+(b8+b5+b2+b9+b1)*x^10+(b7+b12+b1+b8+b0+b4)*x^9+(b11+b0+b6+b7+b12+b3)*x^8+(b2+b5+b10+b11+b6)*x^7+(b4+b5+b1+b10+b9)*x^6+(b9+b3+b0+b4+b8)*x^5+(b12+b3+b2+b8+b7)*x^4+(b10+b12+b0+b4+b2+b3+b6)*x^3+(b0+b2+b10+b4+b5+b9+b7+b12)*x^2+(b3+b6+b8+b11+b1+b4+b9)*x+b1+b2+b5+b4+b11+b8+b12,                                                                                                                                       (b3+b2+b0+b9+b6+b10)*x^12+(b8+b5+b2+b9+b1)*x^11+(b7+b12+b1+b8+b0+b4)*x^10+(b11+b0+b6+b7+b12+b3)*x^9+(b2+b5+b10+b11+b6)*x^8+(b4+b5+b1+b10+b9)*x^7+(b9+b3+b0+b4+b8)*x^6+(b12+b3+b2+b8+b7)*x^5+(b11+b2+b12+b6+b1+b7)*x^4+(b9+b2+b1+b3+b11+b12+b5)*x^3+(b3+b6+b8+b11+b1+b4+b9)*x^2+(b3+b2+b0+b7+b10+b5+b8+b12)*x+b0+b3+b4+b7+b10+b11+b1,                                                                                                                                      (b8+b5+b2+b9+b1)*x^12+(b7+b12+b1+b8+b0+b4)*x^11+(b11+b0+b6+b7+b12+b3)*x^10+(b2+b5+b10+b11+b6)*x^9+(b4+b5+b1+b10+b9)*x^8+(b9+b3+b0+b4+b8)*x^7+(b12+b3+b2+b8+b7)*x^6+(b11+b2+b12+b6+b1+b7)*x^5+(b11+b10+b1+b5+b6+b0+b12)*x^4+(b1+b11+b0+b4+b2+b10+b8)*x^3+(b3+b2+b0+b7+b10+b5+b8+b12)*x^2+(b7+b9+b4+b1+b6+b11+b2)*x+b6+b0+b2+b3+b9+b10,                                                                                                                                         (b7+b12+b1+b8+b0+b4)*x^12+(b11+b0+b6+b7+b12+b3)*x^11+(b2+b5+b10+b11+b6)*x^10+(b4+b5+b1+b10+b9)*x^9+(b9+b3+b0+b4+b8)*x^8+(b12+b3+b2+b8+b7)*x^7+(b11+b2+b12+b6+b1+b7)*x^6+(b11+b10+b1+b5+b6+b0+b12)*x^5+(b5+b11+b4+b10+b0+b9)*x^4+(b10+b0+b7+b1+b9+b12+b3)*x^3+(b7+b9+b4+b1+b6+b11+b2)*x^2+(b6+b8+b5+b3+b0+b1+b10)*x+b9+b1+b5+b2+b8,                                                                                                                                        (b11+b0+b6+b7+b12+b3)*x^12+(b2+b5+b10+b11+b6)*x^11+(b4+b5+b1+b10+b9)*x^10+(b9+b3+b0+b4+b8)*x^9+(b12+b3+b2+b8+b7)*x^8+(b11+b2+b12+b6+b1+b7)*x^7+(b11+b10+b1+b5+b6+b0+b12)*x^6+(b5+b11+b4+b10+b0+b9)*x^5+(b8+b4+b10+b3+b9)*x^4+(b11+b8+b0+b12+b2+b9+b6)*x^3+(b6+b8+b5+b3+b0+b1+b10)*x^2+(b2+b12+b4+b5+b7+b0+b9)*x+b1+b0+b4+b7+b12+b8,                                                                                                                                              (b2+b5+b10+b11+b6)*x^12+(b4+b5+b1+b10+b9)*x^11+(b9+b3+b0+b4+b8)*x^10+(b12+b3+b2+b8+b7)*x^9+(b11+b2+b12+b6+b1+b7)*x^8+(b11+b10+b1+b5+b6+b0+b12)*x^7+(b5+b11+b4+b10+b0+b9)*x^6+(b8+b4+b10+b3+b9)*x^5+(b2+b9+b8+b7+b3)*x^4+(b7+b1+b11+b12+b5+b10+b8)*x^3+(b2+b12+b4+b5+b7+b0+b9)*x^2+(b3+b4+b11+b8+b6+b1)*x+b3+b6+b7+b11+b12+b0,                                                                                                                                           (b4+b5+b1+b10+b9)*x^12+(b9+b3+b0+b4+b8)*x^11+(b12+b3+b2+b8+b7)*x^10+(b11+b2+b12+b6+b1+b7)*x^9+(b11+b10+b1+b5+b6+b0+b12)*x^8+(b5+b11+b4+b10+b0+b9)*x^7+(b8+b4+b10+b3+b9)*x^6+(b2+b9+b8+b7+b3)*x^5+(b8+b2+b6+b1+b7+b12)*x^4+(b9+b0+b10+b11+b7+b4+b6+b12)*x^3+(b3+b4+b11+b8+b6+b1)*x^2+(b12+b10+b3+b7+b0+b2+b5)*x+b5+b6+b10+b2+b11,                                                                                                                                         (b9+b3+b0+b4+b8)*x^12+(b12+b3+b2+b8+b7)*x^11+(b11+b2+b12+b6+b1+b7)*x^10+(b11+b10+b1+b5+b6+b0+b12)*x^9+(b5+b11+b4+b10+b0+b9)*x^8+(b8+b4+b10+b3+b9)*x^7+(b2+b9+b8+b7+b3)*x^6+(b8+b2+b6+b1+b7+b12)*x^5+(b11+b6+b0+b12+b7+b5+b1)*x^4+(b8+b9+b5+b3+b11+b6+b10)*x^3+(b12+b10+b3+b7+b0+b2+b5)*x^2+(b6+b9+b1+b4+b11+b2)*x+b9+b1+b4+b5+b10,                                                                                                                                      (b12+b3+b2+b8+b7)*x^12+(b11+b2+b12+b6+b1+b7)*x^11+(b11+b10+b1+b5+b6+b0+b12)*x^10+(b5+b11+b4+b10+b0+b9)*x^9+(b8+b4+b10+b3+b9)*x^8+(b2+b9+b8+b7+b3)*x^7+(b8+b2+b6+b1+b7+b12)*x^6+(b11+b6+b0+b12+b7+b5+b1)*x^5+(b0+b6+b5+b11+b10+b4)*x^4+(b7+b8+b5+b4+b2+b10+b9+b12)*x^3+(b6+b9+b1+b4+b11+b2)*x^2+(b3+b5+b8+b10+b1+b0)*x+b3+b4+b9+b8+b0,                                                                                                                                  (b11+b2+b12+b6+b1+b7)*x^12+(b11+b10+b1+b5+b6+b0+b12)*x^11+(b5+b11+b4+b10+b0+b9)*x^10+(b8+b4+b10+b3+b9)*x^9+(b2+b9+b8+b7+b3)*x^8+(b8+b2+b6+b1+b7+b12)*x^7+(b11+b6+b0+b12+b7+b5+b1)*x^6+(b0+b6+b5+b11+b10+b4)*x^5+(b3+b4+b10+b5+b9)*x^4+(b4+b11+b8+b1+b3+b9+b12+b6+b7)*x^3+(b3+b5+b8+b10+b1+b0)*x^2+(b2+b12+b7+b0+b4+b9)*x+b8+b2+b7+b3+b12,                                                                                                                                  (b11+b10+b1+b5+b6+b0+b12)*x^12+(b5+b11+b4+b10+b0+b9)*x^11+(b8+b4+b10+b3+b9)*x^10+(b2+b9+b8+b7+b3)*x^9+(b8+b2+b6+b1+b7+b12)*x^8+(b11+b6+b0+b12+b7+b5+b1)*x^7+(b0+b6+b5+b11+b10+b4)*x^6+(b3+b4+b10+b5+b9)*x^5+(b3+b9+b4+b2+b8)*x^4+(b0+b7+b5+b6+b3+b10+b12+b2+b8+b11)*x^3+(b2+b12+b7+b0+b4+b9)*x^2+(b11+b8+b1+b3+b6)*x+b6+b11+b1+b2+b12+b7,                                                                                                                                              (b5+b11+b4+b10+b0+b9)*x^12+(b8+b4+b10+b3+b9)*x^11+(b2+b9+b8+b7+b3)*x^10+(b8+b2+b6+b1+b7+b12)*x^9+(b11+b6+b0+b12+b7+b5+b1)*x^8+(b0+b6+b5+b11+b10+b4)*x^7+(b3+b4+b10+b5+b9)*x^6+(b3+b9+b4+b2+b8)*x^5+(b2+b1+b8+b7+b3)*x^4+(b4+b11+b1+b2+b7+b6+b10+b9+b5)*x^3+(b11+b8+b1+b3+b6)*x^2+(b2+b10+b5+b0+b7)*x+b1+b0+b5+b6+b10+b11+b12,                                                                                                                                                        (b8+b4+b10+b3+b9)*x^12+(b2+b9+b8+b7+b3)*x^11+(b8+b2+b6+b1+b7+b12)*x^10+(b11+b6+b0+b12+b7+b5+b1)*x^9+(b0+b6+b5+b11+b10+b4)*x^8+(b3+b4+b10+b5+b9)*x^7+(b3+b9+b4+b2+b8)*x^6+(b2+b1+b8+b7+b3)*x^5+(b6+b7+b0+b1+b2)*x^4+(b8+b6+b3+b4+b10+b9+b0+b1+b5)*x^3+(b2+b10+b5+b0+b7)*x^2+(b1+b12+b4+b9+b6)*x+b4+b5+b9+b0+b11+b10,                                                                                                                                                                    (b2+b9+b8+b7+b3)*x^12+(b8+b2+b6+b1+b7+b12)*x^11+(b11+b6+b0+b12+b7+b5+b1)*x^10+(b0+b6+b5+b11+b10+b4)*x^9+(b3+b4+b10+b5+b9)*x^8+(b3+b9+b4+b2+b8)*x^7+(b2+b1+b8+b7+b3)*x^6+(b6+b7+b0+b1+b2)*x^5+(b1+b0+b6+b5)*x^4+(b8+b2+b9+b0+b3+b5+b4+b7)*x^3+(b1+b12+b4+b9+b6)*x^2+(b3+b8+b0+b11+b5)*x+b3+b10+b9+b4+b8,                                                                                                                                                                             (b8+b2+b6+b1+b7+b12)*x^12+(b11+b6+b0+b12+b7+b5+b1)*x^11+(b0+b6+b5+b11+b10+b4)*x^10+(b3+b4+b10+b5+b9)*x^9+(b3+b9+b4+b2+b8)*x^8+(b2+b1+b8+b7+b3)*x^7+(b6+b7+b0+b1+b2)*x^6+(b1+b0+b6+b5)*x^5+(b5+b4+b0)*x^4+(b6+b2+b8+b7+b4+b3+b12+b1)*x^3+(b3+b8+b0+b11+b5)*x^2+(b2+b4+b7+b10)*x+b9+b7+b3+b2+b8,                                                                                                                                                                                  (b11+b6+b0+b12+b7+b5+b1)*x^12+(b0+b6+b5+b11+b10+b4)*x^11+(b3+b4+b10+b5+b9)*x^10+(b3+b9+b4+b2+b8)*x^9+(b2+b1+b8+b7+b3)*x^8+(b6+b7+b0+b1+b2)*x^7+(b1+b0+b6+b5)*x^6+(b5+b4+b0)*x^5+(b4+b3)*x^4+(b2+b0+b7+b11+b12+b5+b3+b1+b6)*x^3+(b2+b4+b7+b10)*x^2+(b3+b12+b1+b9+b6)*x+b8+b7+b1+b6+b2+b12,                                                                                                                                                                                           (b0+b6+b5+b11+b10+b4)*x^12+(b3+b4+b10+b5+b9)*x^11+(b3+b9+b4+b2+b8)*x^10+(b2+b1+b8+b7+b3)*x^9+(b6+b7+b0+b1+b2)*x^8+(b1+b0+b6+b5)*x^7+(b5+b4+b0)*x^6+(b4+b3)*x^5+(b3+b2)*x^4+(b2+b5+b1+b11+b6+b10+b4+b0+b12)*x^3+(b3+b12+b1+b9+b6)*x^2+(b5+b2+b0+b8+b11)*x+b6+b1+b0+b5+b12+b7+b11,                                                                                                                                                                                                       (b3+b4+b10+b5+b9)*x^12+(b3+b9+b4+b2+b8)*x^11+(b2+b1+b8+b7+b3)*x^10+(b6+b7+b0+b1+b2)*x^9+(b1+b0+b6+b5)*x^8+(b5+b4+b0)*x^7+(b4+b3)*x^6+(b3+b2)*x^5+(b2+b12+b1)*x^4+(b10+b11+b4+b9+b0+b3+b1+b12+b5)*x^3+(b5+b2+b0+b8+b11)*x^2+(b4+b12+b1+b10+b7)*x+b4+b5+b6+b0+b11+b10,                                                                                                                                                                                                                 (b3+b9+b4+b2+b8)*x^12+(b2+b1+b8+b7+b3)*x^11+(b6+b7+b0+b1+b2)*x^10+(b1+b0+b6+b5)*x^9+(b5+b4+b0)*x^8+(b4+b3)*x^7+(b3+b2)*x^6+(b2+b12+b1)*x^5+(b12+b11+b0+b1)*x^4+(b11+b10+b0+b4+b8+b9+b2+b3)*x^3+(b4+b12+b1+b10+b7)*x^2+(b6+b3+b0+b9+b11)*x+b10+b4+b9+b3+b5,                                                                                                                                                                                                                          (b2+b1+b8+b7+b3)*x^12+(b6+b7+b0+b1+b2)*x^11+(b1+b0+b6+b5)*x^10+(b5+b4+b0)*x^9+(b4+b3)*x^8+(b3+b2)*x^7+(b2+b12+b1)*x^6+(b12+b11+b0+b1)*x^5+(b0+b10+b11)*x^4+(b1+b8+b7+b12+b3+b2+b9+b10)*x^3+(b6+b3+b0+b9+b11)*x^2+(b2+b8+b5+b10)*x+b9+b2+b3+b4+b8,                                                                                                                                                                                                                                   (b6+b7+b0+b1+b2)*x^12+(b1+b0+b6+b5)*x^11+(b5+b4+b0)*x^10+(b4+b3)*x^9+(b3+b2)*x^8+(b2+b12+b1)*x^7+(b12+b11+b0+b1)*x^6+(b0+b10+b11)*x^5+(b9+b10+b12)*x^4+(b0+b7+b1+b11+b9+b6+b2+b8)*x^3+(b2+b8+b5+b10)*x^2+(b9+b4+b7+b1)*x+b1+b3+b7+b2+b8,                                                                                                                                                                                                                                            (b1+b0+b6+b5)*x^12+(b5+b4+b0)*x^11+(b4+b3)*x^10+(b3+b2)*x^9+(b2+b12+b1)*x^8+(b12+b11+b0+b1)*x^7+(b0+b10+b11)*x^6+(b9+b10+b12)*x^5+(b11+b8+b9)*x^4+(b6+b1+b7+b10+b0+b8+b5)*x^3+(b9+b4+b7+b1)*x^2+(b3+b0+b6+b8)*x+b6+b1+b0+b2+b7,                                                                                                                                                                                                                                                        (b5+b4+b0)*x^12+(b4+b3)*x^11+(b3+b2)*x^10+(b2+b12+b1)*x^9+(b12+b11+b0+b1)*x^8+(b0+b10+b11)*x^7+(b9+b10+b12)*x^6+(b11+b8+b9)*x^5+(b7+b10+b8)*x^4+(b7+b6+b5+b4+b0+b9)*x^3+(b3+b0+b6+b8)*x^2+(b2+b7+b5)*x+b0+b5+b6+b1,                                                                                                                                                                                                                                                                 (b4+b3)*x^12+(b3+b2)*x^11+(b2+b12+b1)*x^10+(b12+b11+b0+b1)*x^9+(b0+b10+b11)*x^8+(b9+b10+b12)*x^7+(b11+b8+b9)*x^6+(b7+b10+b8)*x^5+(b9+b6+b7)*x^4+(b5+b6+b3+b4+b8)*x^3+(b2+b7+b5)*x^2+(b1+b4+b6)*x+b4+b5+b0,                                                                                                                                                                                                                                                                 (b3+b2)*x^12+(b2+b12+b1)*x^11+(b12+b11+b0+b1)*x^10+(b0+b10+b11)*x^9+(b9+b10+b12)*x^8+(b11+b8+b9)*x^7+(b7+b10+b8)*x^6+(b9+b6+b7)*x^5+(b5+b6+b8)*x^4+(b7+b3+b4+b2+b5)*x^3+(b1+b4+b6)*x^2+(b3+b5+b0)*x+b3+b4,                                                                                                                                                                                                                                                                 (b2+b12+b1)*x^12+(b12+b11+b0+b1)*x^11+(b0+b10+b11)*x^10+(b9+b10+b12)*x^9+(b11+b8+b9)*x^8+(b7+b10+b8)*x^7+(b9+b6+b7)*x^6+(b5+b6+b8)*x^5+(b5+b4+b7)*x^4+(b1+b2+b4+b3+b6)*x^3+(b3+b5+b0)*x^2+(b2+b4)*x+b2+b3,                                                                                                                                                                                                                                                     (b12+b11+b0+b1)*x^12+(b0+b10+b11)*x^11+(b9+b10+b12)*x^10+(b11+b8+b9)*x^9+(b7+b10+b8)*x^8+(b9+b6+b7)*x^7+(b5+b6+b8)*x^6+(b5+b4+b7)*x^5+(b12+b4+b6+b3)*x^4+(b1+b0+b5+b12+b3+b2)*x^3+(b2+b4)*x^2+(b12+b3+b1)*x+b2+b12+b1,                                                                                                                                                                                                                                             (b0+b10+b11)*x^12+(b9+b10+b12)*x^11+(b11+b8+b9)*x^10+(b7+b10+b8)*x^9+(b9+b6+b7)*x^8+(b5+b6+b8)*x^7+(b5+b4+b7)*x^6+(b12+b4+b6+b3)*x^5+(b3+b11+b5+b2)*x^4+(b4+b12+b0+b2+b11+b1)*x^3+(b12+b3+b1)*x^2+(b11+b0+b2)*x+b11+b1+b0+b12,                                                                                                                                                                                                                                        (b9+b10+b12)*x^12+(b11+b8+b9)*x^11+(b7+b10+b8)*x^10+(b9+b6+b7)*x^9+(b5+b6+b8)*x^8+(b5+b4+b7)*x^7+(b12+b4+b6+b3)*x^6+(b3+b11+b5+b2)*x^5+(b2+b10+b12+b4+b1)*x^4+(b11+b3+b12+b0+b1+b10)*x^3+(b11+b0+b2)*x^2+(b12+b10+b1)*x+b11+b0+b10,                                                                                                                                                                                                                               (b11+b8+b9)*x^12+(b7+b10+b8)*x^11+(b9+b6+b7)*x^10+(b5+b6+b8)*x^9+(b5+b4+b7)*x^8+(b12+b4+b6+b3)*x^7+(b3+b11+b5+b2)*x^6+(b2+b10+b12+b4+b1)*x^5+(b1+b0+b11+b9+b3)*x^4+(b10+b0+b9+b2+b12+b11)*x^3+(b12+b10+b1)*x^2+(b9+b12+b11+b0)*x+b9+b10+b12,                                                                                                                                                                                                                     (b7+b10+b8)*x^12+(b9+b6+b7)*x^11+(b5+b6+b8)*x^10+(b5+b4+b7)*x^9+(b12+b4+b6+b3)*x^8+(b3+b11+b5+b2)*x^7+(b2+b10+b12+b4+b1)*x^6+(b1+b0+b11+b9+b3)*x^5+(b0+b12+b2+b8+b10)*x^4+(b8+b10+b12+b9+b1+b11)*x^3+(b9+b12+b11+b0)*x^2+(b12+b8+b11+b10)*x+b11+b8+b9,                                                                                                                                                                                                           (b9+b6+b7)*x^12+(b5+b6+b8)*x^11+(b5+b4+b7)*x^10+(b12+b4+b6+b3)*x^9+(b3+b11+b5+b2)*x^8+(b2+b10+b12+b4+b1)*x^7+(b1+b0+b11+b9+b3)*x^6+(b0+b12+b2+b8+b10)*x^5+(b12+b9+b1+b11+b7)*x^4+(b12+b11+b0+b8+b7+b9+b10)*x^3+(b12+b8+b11+b10)*x^2+(b11+b7+b9+b10)*x+b7+b10+b8,                                                                                                                                                                                                  (b5+b6+b8)*x^12+(b5+b4+b7)*x^11+(b12+b4+b6+b3)*x^10+(b3+b11+b5+b2)*x^9+(b2+b10+b12+b4+b1)*x^8+(b1+b0+b11+b9+b3)*x^7+(b0+b12+b2+b8+b10)*x^6+(b12+b9+b1+b11+b7)*x^5+(b10+b0+b12+b8+b6+b11)*x^4+(b11+b12+b9+b10+b7+b8+b6)*x^3+(b11+b7+b9+b10)*x^2+(b8+b9+b10+b6)*x+b9+b6+b7,                                                                                                                                                                                         (b5+b4+b7)*x^12+(b12+b4+b6+b3)*x^11+(b3+b11+b5+b2)*x^10+(b2+b10+b12+b4+b1)*x^9+(b1+b0+b11+b9+b3)*x^8+(b0+b12+b2+b8+b10)*x^7+(b12+b9+b1+b11+b7)*x^6+(b10+b0+b12+b8+b6+b11)*x^5+(b11+b5+b9+b7+b12+b10)*x^4+(b10+b8+b9+b11+b7+b6+b5)*x^3+(b8+b9+b10+b6)*x^2+(b8+b5+b7+b9)*x+b5+b6+b8,                                                                                                                                                                                (b12+b4+b6+b3)*x^12+(b3+b11+b5+b2)*x^11+(b2+b10+b12+b4+b1)*x^10+(b1+b0+b11+b9+b3)*x^9+(b0+b12+b2+b8+b10)*x^8+(b12+b9+b1+b11+b7)*x^7+(b10+b0+b12+b8+b6+b11)*x^6+(b11+b5+b9+b7+b12+b10)*x^5+(b4+b11+b9+b6+b10+b8)*x^4+(b6+b9+b7+b4+b10+b8+b5)*x^3+(b8+b5+b7+b9)*x^2+(b7+b4+b8+b6)*x+b5+b4+b7,                                                                                                                                                           (b3+b11+b5+b2)*x^12+(b2+b10+b12+b4+b1)*x^11+(b1+b0+b11+b9+b3)*x^10+(b0+b12+b2+b8+b10)*x^9+(b12+b9+b1+b11+b7)*x^8+(b10+b0+b12+b8+b6+b11)*x^7+(b11+b5+b9+b7+b12+b10)*x^6+(b4+b11+b9+b6+b10+b8)*x^5+(b12+b8+b3+b7+b5+b10+b9)*x^4+(b12+b6+b9+b4+b3+b8+b5+b7)*x^3+(b7+b4+b8+b6)*x^2+(b7+b6+b12+b5+b3)*x+b12+b4+b6+b3,                                                                                                                                      (b2+b10+b12+b4+b1)*x^12+(b1+b0+b11+b9+b3)*x^11+(b0+b12+b2+b8+b10)*x^10+(b12+b9+b1+b11+b7)*x^9+(b10+b0+b12+b8+b6+b11)*x^8+(b11+b5+b9+b7+b12+b10)*x^7+(b4+b11+b9+b6+b10+b8)*x^6+(b12+b8+b3+b7+b5+b10+b9)*x^5+(b8+b6+b4+b11+b9+b12+b7+b2)*x^4+(b6+b3+b11+b2+b8+b7+b5+b4)*x^3+(b7+b6+b12+b5+b3)*x^2+(b12+b6+b11+b4+b5+b2)*x+b3+b5+b2+b11,                                                                                                             (b1+b0+b11+b9+b3)*x^12+(b0+b12+b2+b8+b10)*x^11+(b12+b9+b1+b11+b7)*x^10+(b10+b0+b12+b8+b6+b11)*x^9+(b11+b5+b9+b7+b12+b10)*x^8+(b4+b11+b9+b6+b10+b8)*x^7+(b12+b8+b3+b7+b5+b10+b9)*x^6+(b8+b6+b4+b11+b9+b12+b7+b2)*x^5+(b3+b1+b10+b5+b7+b11+b6+b12+b8)*x^4+(b1+b5+b3+b7+b10+b2+b6+b4)*x^3+(b12+b6+b11+b4+b5+b2)*x^2+(b3+b11+b1+b5+b12+b10+b4)*x+b2+b10+b12+b4+b1,                                                                                       (b0+b12+b2+b8+b10)*x^12+(b12+b9+b1+b11+b7)*x^11+(b10+b0+b12+b8+b6+b11)*x^10+(b11+b5+b9+b7+b12+b10)*x^9+(b4+b11+b9+b6+b10+b8)*x^8+(b12+b8+b3+b7+b5+b10+b9)*x^7+(b8+b6+b4+b11+b9+b12+b7+b2)*x^6+(b3+b1+b10+b5+b7+b11+b6+b12+b8)*x^5+(b2+b6+b11+b4+b9+b7+b0+b5+b10)*x^4+(b3+b2+b9+b5+b4+b1+b6+b12+b0)*x^3+(b3+b11+b1+b5+b12+b10+b4)*x^2+(b3+b9+b4+b2+b12+b10+b0+b11)*x+b1+b0+b11+b9+b3,                                                                              (b12+b9+b1+b11+b7)*x^12+(b10+b0+b12+b8+b6+b11)*x^11+(b11+b5+b9+b7+b12+b10)*x^10+(b4+b11+b9+b6+b10+b8)*x^9+(b12+b8+b3+b7+b5+b10+b9)*x^8+(b8+b6+b4+b11+b9+b12+b7+b2)*x^7+(b3+b1+b10+b5+b7+b11+b6+b12+b8)*x^6+(b2+b6+b11+b4+b9+b7+b0+b5+b10)*x^5+(b4+b1+b6+b8+b9+b10+b3+b5)*x^4+(b1+b3+b2+b11+b0+b8+b5+b4)*x^3+(b3+b9+b4+b2+b12+b10+b0+b11)*x^2+(b2+b1+b8+b9+b10+b3+b12+b11)*x+b0+b2+b10+b12+b8,                                                                       (b10+b0+b12+b8+b6+b11)*x^12+(b11+b5+b9+b7+b12+b10)*x^11+(b4+b11+b9+b6+b10+b8)*x^10+(b12+b8+b3+b7+b5+b10+b9)*x^9+(b8+b6+b4+b11+b9+b12+b7+b2)*x^8+(b3+b1+b10+b5+b7+b11+b6+b12+b8)*x^7+(b2+b6+b11+b4+b9+b7+b0+b5+b10)*x^6+(b4+b1+b6+b8+b9+b10+b3+b5)*x^5+(b7+b4+b12+b5+b9+b3+b0+b8+b2)*x^4+(b1+b3+b7+b2+b0+b4+b10)*x^3+(b2+b1+b8+b9+b10+b3+b12+b11)*x^2+(b1+b8+b2+b10+b9+b7+b0+b11)*x+b7+b12+b11+b9+b1,                                                                    (b11+b5+b9+b7+b12+b10)*x^12+(b4+b11+b9+b6+b10+b8)*x^11+(b12+b8+b3+b7+b5+b10+b9)*x^10+(b8+b6+b4+b11+b9+b12+b7+b2)*x^9+(b3+b1+b10+b5+b7+b11+b6+b12+b8)*x^8+(b2+b6+b11+b4+b9+b7+b0+b5+b10)*x^7+(b4+b1+b6+b8+b9+b10+b3+b5)*x^6+(b7+b4+b12+b5+b9+b3+b0+b8+b2)*x^5+(b12+b7+b8+b1+b6+b3+b11+b4+b2)*x^4+(b6+b0+b1+b2+b3+b9)*x^3+(b1+b8+b2+b10+b9+b7+b0+b11)*x^2+(b7+b10+b1+b8+b0+b9+b6)*x+b12+b8+b6+b10+b11+b0,                                                               (b4+b11+b9+b6+b10+b8)*x^12+(b12+b8+b3+b7+b5+b10+b9)*x^11+(b8+b6+b4+b11+b9+b12+b7+b2)*x^10+(b3+b1+b10+b5+b7+b11+b6+b12+b8)*x^9+(b2+b6+b11+b4+b9+b7+b0+b5+b10)*x^8+(b4+b1+b6+b8+b9+b10+b3+b5)*x^7+(b7+b4+b12+b5+b9+b3+b0+b8+b2)*x^6+(b12+b7+b8+b1+b6+b3+b11+b4+b2)*x^5+(b3+b11+b6+b2+b12+b1+b10+b0+b7+b5)*x^4+(b12+b2+b1+b5+b0+b8)*x^3+(b7+b10+b1+b8+b0+b9+b6)*x^2+(b9+b0+b5+b7+b6+b8)*x+b11+b5+b9+b7+b12+b10,                                                         (b12+b8+b3+b7+b5+b10+b9)*x^12+(b8+b6+b4+b11+b9+b12+b7+b2)*x^11+(b3+b1+b10+b5+b7+b11+b6+b12+b8)*x^10+(b2+b6+b11+b4+b9+b7+b0+b5+b10)*x^9+(b4+b1+b6+b8+b9+b10+b3+b5)*x^8+(b7+b4+b12+b5+b9+b3+b0+b8+b2)*x^7+(b12+b7+b8+b1+b6+b3+b11+b4+b2)*x^6+(b3+b11+b6+b2+b12+b1+b10+b0+b7+b5)*x^5+(b1+b11+b6+b2+b12+b9+b4+b10+b0+b5)*x^4+(b4+b7+b0+b11+b1)*x^3+(b9+b0+b5+b7+b6+b8)*x^2+(b7+b8+b4+b6+b12+b5)*x+b4+b11+b9+b6+b10+b8,                                      (b8+b6+b4+b11+b9+b12+b7+b2)*x^12+(b3+b1+b10+b5+b7+b11+b6+b12+b8)*x^11+(b2+b6+b11+b4+b9+b7+b0+b5+b10)*x^10+(b4+b1+b6+b8+b9+b10+b3+b5)*x^9+(b7+b4+b12+b5+b9+b3+b0+b8+b2)*x^8+(b12+b7+b8+b1+b6+b3+b11+b4+b2)*x^7+(b3+b11+b6+b2+b12+b1+b10+b0+b7+b5)*x^6+(b1+b11+b6+b2+b12+b9+b4+b10+b0+b5)*x^5+(b0+b4+b11+b5+b9+b1+b3+b8+b10+b12)*x^4+(b3+b6+b10+b0+b12)*x^3+(b7+b8+b4+b6+b12+b5)*x^2+(b3+b5+b7+b4+b12+b6+b11)*x+b12+b8+b3+b7+b5+b10+b9,                                (b3+b1+b10+b5+b7+b11+b6+b12+b8)*x^12+(b2+b6+b11+b4+b9+b7+b0+b5+b10)*x^11+(b4+b1+b6+b8+b9+b10+b3+b5)*x^10+(b7+b4+b12+b5+b9+b3+b0+b8+b2)*x^9+(b12+b7+b8+b1+b6+b3+b11+b4+b2)*x^8+(b3+b11+b6+b2+b12+b1+b10+b0+b7+b5)*x^7+(b1+b11+b6+b2+b12+b9+b4+b10+b0+b5)*x^6+(b0+b4+b11+b5+b9+b1+b3+b8+b10+b12)*x^5+(b0+b11+b4+b7+b3+b2+b8+b10+b9)*x^4+(b11+b5+b2+b9)*x^3+(b3+b5+b7+b4+b12+b6+b11)*x^2+(b3+b10+b11+b5+b4+b6+b2)*x+b8+b6+b4+b11+b9+b12+b7+b2,                              (b2+b6+b11+b4+b9+b7+b0+b5+b10)*x^12+(b4+b1+b6+b8+b9+b10+b3+b5)*x^11+(b7+b4+b12+b5+b9+b3+b0+b8+b2)*x^10+(b12+b7+b8+b1+b6+b3+b11+b4+b2)*x^9+(b3+b11+b6+b2+b12+b1+b10+b0+b7+b5)*x^8+(b1+b11+b6+b2+b12+b9+b4+b10+b0+b5)*x^7+(b0+b4+b11+b5+b9+b1+b3+b8+b10+b12)*x^6+(b0+b11+b4+b7+b3+b2+b8+b10+b9)*x^5+(b8+b2+b1+b6+b9+b7+b12+b10+b3)*x^4+(b8+b1+b4+b10)*x^3+(b3+b10+b11+b5+b4+b6+b2)*x^2+(b5+b3+b9+b2+b1+b4+b10)*x+b3+b1+b10+b5+b7+b11+b6+b12+b8,                               (b4+b1+b6+b8+b9+b10+b3+b5)*x^12+(b7+b4+b12+b5+b9+b3+b0+b8+b2)*x^11+(b12+b7+b8+b1+b6+b3+b11+b4+b2)*x^10+(b3+b11+b6+b2+b12+b1+b10+b0+b7+b5)*x^9+(b1+b11+b6+b2+b12+b9+b4+b10+b0+b5)*x^8+(b0+b4+b11+b5+b9+b1+b3+b8+b10+b12)*x^7+(b0+b11+b4+b7+b3+b2+b8+b10+b9)*x^6+(b8+b2+b1+b6+b9+b7+b12+b10+b3)*x^5+(b0+b8+b2+b5+b11+b6+b7+b9+b1)*x^4+(b3+b0+b7+b9)*x^3+(b5+b3+b9+b2+b1+b4+b10)*x^2+(b4+b8+b3+b12+b2+b1+b0+b9)*x+b9+b6+b0+b5+b11+b7+b2+b4+b10,                                      (b7+b4+b12+b5+b9+b3+b0+b8+b2)*x^12+(b12+b7+b8+b1+b6+b3+b11+b4+b2)*x^11+(b3+b11+b6+b2+b12+b1+b10+b0+b7+b5)*x^10+(b1+b11+b6+b2+b12+b9+b4+b10+b0+b5)*x^9+(b0+b4+b11+b5+b9+b1+b3+b8+b10+b12)*x^8+(b0+b11+b4+b7+b3+b2+b8+b10+b9)*x^7+(b8+b2+b1+b6+b9+b7+b12+b10+b3)*x^6+(b0+b8+b2+b5+b11+b6+b7+b9+b1)*x^5+(b5+b0+b7+b1+b4+b10+b8+b6)*x^4+(b2+b6+b8)*x^3+(b4+b8+b3+b12+b2+b1+b0+b9)*x^2+(b2+b11+b7+b1+b0+b8+b3)*x+b3+b10+b8+b4+b9+b5+b1+b6,                                        (b12+b7+b8+b1+b6+b3+b11+b4+b2)*x^12+(b3+b11+b6+b2+b12+b1+b10+b0+b7+b5)*x^11+(b1+b11+b6+b2+b12+b9+b4+b10+b0+b5)*x^10+(b0+b4+b11+b5+b9+b1+b3+b8+b10+b12)*x^9+(b0+b11+b4+b7+b3+b2+b8+b10+b9)*x^8+(b8+b2+b1+b6+b9+b7+b12+b10+b3)*x^7+(b0+b8+b2+b5+b11+b6+b7+b9+b1)*x^6+(b5+b0+b7+b1+b4+b10+b8+b6)*x^5+(b5+b3+b0+b7+b12+b4+b6+b9)*x^4+(b5+b1+b7)*x^3+(b2+b11+b7+b1+b0+b8+b3)*x^2+(b10+b1+b7+b6+b2+b12+b0)*x+b4+b0+b2+b3+b5+b7+b9+b12+b8,                                         (b3+b11+b6+b2+b12+b1+b10+b0+b7+b5)*x^12+(b1+b11+b6+b2+b12+b9+b4+b10+b0+b5)*x^11+(b0+b4+b11+b5+b9+b1+b3+b8+b10+b12)*x^10+(b0+b11+b4+b7+b3+b2+b8+b10+b9)*x^9+(b8+b2+b1+b6+b9+b7+b12+b10+b3)*x^8+(b0+b8+b2+b5+b11+b6+b7+b9+b1)*x^7+(b5+b0+b7+b1+b4+b10+b8+b6)*x^6+(b5+b3+b0+b7+b12+b4+b6+b9)*x^5+(b4+b3+b8+b5+b2+b12+b6+b11)*x^4+(b0+b12+b6+b4)*x^3+(b10+b1+b7+b6+b2+b12+b0)*x^2+(b1+b5+b6+b9+b11+b0)*x+b12+b6+b7+b3+b4+b11+b1+b2+b8,                                                      (b1+b11+b6+b2+b12+b9+b4+b10+b0+b5)*x^12+(b0+b4+b11+b5+b9+b1+b3+b8+b10+b12)*x^11+(b0+b11+b4+b7+b3+b2+b8+b10+b9)*x^10+(b8+b2+b1+b6+b9+b7+b12+b10+b3)*x^9+(b0+b8+b2+b5+b11+b6+b7+b9+b1)*x^8+(b5+b0+b7+b1+b4+b10+b8+b6)*x^7+(b5+b3+b0+b7+b12+b4+b6+b9)*x^6+(b4+b3+b8+b5+b2+b12+b6+b11)*x^5+(b7+b4+b3+b1+b11+b2+b5+b10)*x^4+(b11+b3+b5)*x^3+(b1+b5+b6+b9+b11+b0)*x^2+(b4+b10+b5+b0+b8)*x+b10+b11+b12+b1+b0+b2+b3+b5+b6+b7,                                                             (b0+b4+b11+b5+b9+b1+b3+b8+b10+b12)*x^12+(b0+b11+b4+b7+b3+b2+b8+b10+b9)*x^11+(b8+b2+b1+b6+b9+b7+b12+b10+b3)*x^10+(b0+b8+b2+b5+b11+b6+b7+b9+b1)*x^9+(b5+b0+b7+b1+b4+b10+b8+b6)*x^8+(b5+b3+b0+b7+b12+b4+b6+b9)*x^7+(b4+b3+b8+b5+b2+b12+b6+b11)*x^6+(b7+b4+b3+b1+b11+b2+b5+b10)*x^5+(b2+b9+b4+b3+b6+b10+b1+b12+b0)*x^4+(b2+b10+b4+b12)*x^3+(b4+b10+b5+b0+b8)*x^2+(b7+b4+b3+b9)*x+b1+b0+b2+b4+b5+b6+b9+b10+b11+b12,                                                                      (b0+b11+b4+b7+b3+b2+b8+b10+b9)*x^12+(b8+b2+b1+b6+b9+b7+b12+b10+b3)*x^11+(b0+b8+b2+b5+b11+b6+b7+b9+b1)*x^10+(b5+b0+b7+b1+b4+b10+b8+b6)*x^9+(b5+b3+b0+b7+b12+b4+b6+b9)*x^8+(b4+b3+b8+b5+b2+b12+b6+b11)*x^7+(b7+b4+b3+b1+b11+b2+b5+b10)*x^6+(b2+b9+b4+b3+b6+b10+b1+b12+b0)*x^5+(b5+b0+b11+b1+b8+b3+b9+b2)*x^4+(b11+b1+b12+b3+b9)*x^3+(b7+b4+b3+b9)*x^2+(b2+b3+b6+b8)*x+b10+b11+b12+b8+b0+b3+b4+b1+b9+b5,                                                                         (b8+b2+b1+b6+b9+b7+b12+b10+b3)*x^12+(b0+b8+b2+b5+b11+b6+b7+b9+b1)*x^11+(b5+b0+b7+b1+b4+b10+b8+b6)*x^10+(b5+b3+b0+b7+b12+b4+b6+b9)*x^9+(b4+b3+b8+b5+b2+b12+b6+b11)*x^8+(b7+b4+b3+b1+b11+b2+b5+b10)*x^7+(b2+b9+b4+b3+b6+b10+b1+b12+b0)*x^6+(b5+b0+b11+b1+b8+b3+b9+b2)*x^5+(b7+b0+b10+b1+b4+b2+b8+b12)*x^4+(b0+b11+b10+b8+b2)*x^3+(b2+b3+b6+b8)*x^2+(b5+b1+b2+b12+b7)*x+b11+b8+b0+b2+b3+b4+b7+b9+b10,                                                                    (b0+b8+b2+b5+b11+b6+b7+b9+b1)*x^12+(b5+b0+b7+b1+b4+b10+b8+b6)*x^11+(b5+b3+b0+b7+b12+b4+b6+b9)*x^10+(b4+b3+b8+b5+b2+b12+b6+b11)*x^9+(b7+b4+b3+b1+b11+b2+b5+b10)*x^8+(b2+b9+b4+b3+b6+b10+b1+b12+b0)*x^7+(b5+b0+b11+b1+b8+b3+b9+b2)*x^6+(b7+b0+b10+b1+b4+b2+b8+b12)*x^5+(b3+b9+b6+b0+b7+b1+b11+b12)*x^4+(b7+b9+b10+b1+b12)*x^3+(b5+b1+b2+b12+b7)*x^2+(b11+b12+b1+b4+b6+b0)*x+b6+b10+b2+b3+b12+b8+b1+b7+b9,                                                              (b5+b0+b7+b1+b4+b10+b8+b6)*x^12+(b5+b3+b0+b7+b12+b4+b6+b9)*x^11+(b4+b3+b8+b5+b2+b12+b6+b11)*x^10+(b7+b4+b3+b1+b11+b2+b5+b10)*x^9+(b2+b9+b4+b3+b6+b10+b1+b12+b0)*x^8+(b5+b0+b11+b1+b8+b3+b9+b2)*x^7+(b7+b0+b10+b1+b4+b2+b8+b12)*x^6+(b3+b9+b6+b0+b7+b1+b11+b12)*x^5+(b0+b12+b6+b8+b5+b10+b2+b11)*x^4+(b8+b6+b9+b11+b0+b12)*x^3+(b11+b12+b1+b4+b6+b0)*x^2+(b3+b12+b11+b5+b10+b0)*x+b1+b5+b6+b9+b11+b7+b8+b0+b2,                                                                 (b5+b3+b0+b7+b12+b4+b6+b9)*x^12+(b4+b3+b8+b5+b2+b12+b6+b11)*x^11+(b7+b4+b3+b1+b11+b2+b5+b10)*x^10+(b2+b9+b4+b3+b6+b10+b1+b12+b0)*x^9+(b5+b0+b11+b1+b8+b3+b9+b2)*x^8+(b7+b0+b10+b1+b4+b2+b8+b12)*x^7+(b3+b9+b6+b0+b7+b1+b11+b12)*x^6+(b0+b12+b6+b8+b5+b10+b2+b11)*x^5+(b1+b11+b9+b12+b7+b10+b5+b4)*x^4+(b5+b10+b11+b12+b7+b8)*x^3+(b3+b12+b11+b5+b10+b0)*x^2+(b10+b11+b9+b2+b4)*x+b8+b1+b0+b4+b5+b6+b7+b10,                                                                  (b4+b3+b8+b5+b2+b12+b6+b11)*x^12+(b7+b4+b3+b1+b11+b2+b5+b10)*x^11+(b2+b9+b4+b3+b6+b10+b1+b12+b0)*x^10+(b5+b0+b11+b1+b8+b3+b9+b2)*x^9+(b7+b0+b10+b1+b4+b2+b8+b12)*x^8+(b3+b9+b6+b0+b7+b1+b11+b12)*x^7+(b0+b12+b6+b8+b5+b10+b2+b11)*x^6+(b1+b11+b9+b12+b7+b10+b5+b4)*x^5+(b3+b8+b6+b4+b9+b0+b11+b10)*x^4+(b9+b6+b11+b10+b7+b4)*x^3+(b10+b11+b9+b2+b4)*x^2+(b3+b9+b8+b10+b12+b1)*x+b5+b6+b7+b9+b12+b0+b3+b4,                                                            (b7+b4+b3+b1+b11+b2+b5+b10)*x^12+(b2+b9+b4+b3+b6+b10+b1+b12+b0)*x^11+(b5+b0+b11+b1+b8+b3+b9+b2)*x^10+(b7+b0+b10+b1+b4+b2+b8+b12)*x^9+(b3+b9+b6+b0+b7+b1+b11+b12)*x^8+(b0+b12+b6+b8+b5+b10+b2+b11)*x^7+(b1+b11+b9+b12+b7+b10+b5+b4)*x^6+(b3+b8+b6+b4+b9+b0+b11+b10)*x^5+(b7+b2+b5+b10+b3+b12+b9+b8)*x^4+(b3+b6+b5+b9+b10+b8+b12)*x^3+(b3+b9+b8+b10+b12+b1)*x^2+(b7+b2+b8+b0+b11+b9)*x+b8+b6+b12+b3+b11+b5+b2+b4,                                                      (b2+b9+b4+b3+b6+b10+b1+b12+b0)*x^12+(b5+b0+b11+b1+b8+b3+b9+b2)*x^11+(b7+b0+b10+b1+b4+b2+b8+b12)*x^10+(b3+b9+b6+b0+b7+b1+b11+b12)*x^9+(b0+b12+b6+b8+b5+b10+b2+b11)*x^8+(b1+b11+b9+b12+b7+b10+b5+b4)*x^7+(b3+b8+b6+b4+b9+b0+b11+b10)*x^6+(b7+b2+b5+b10+b3+b12+b9+b8)*x^5+(b2+b12+b1+b7+b11+b4+b6+b8+b9)*x^4+(b11+b2+b5+b8+b7+b12+b4+b9)*x^3+(b7+b2+b8+b0+b11+b9)*x^2+(b7+b1+b12+b8+b10+b6)*x+b7+b4+b11+b2+b1+b10+b5+b3,                                           (b5+b0+b11+b1+b8+b3+b9+b2)*x^12+(b7+b0+b10+b1+b4+b2+b8+b12)*x^11+(b3+b9+b6+b0+b7+b1+b11+b12)*x^10+(b0+b12+b6+b8+b5+b10+b2+b11)*x^9+(b1+b11+b9+b12+b7+b10+b5+b4)*x^8+(b3+b8+b6+b4+b9+b0+b11+b10)*x^7+(b7+b2+b5+b10+b3+b12+b9+b8)*x^6+(b2+b12+b1+b7+b11+b4+b6+b8+b9)*x^5+(b3+b11+b0+b5+b10+b8+b1+b7+b6)*x^4+(b8+b7+b11+b4+b6+b3+b12+b10+b1)*x^3+(b7+b1+b12+b8+b10+b6)*x^2+(b6+b7+b9+b12+b0+b5+b11)*x+b12+b0+b2+b3+b1+b6+b9+b10+b4,                                    (b7+b0+b10+b1+b4+b2+b8+b12)*x^12+(b3+b9+b6+b0+b7+b1+b11+b12)*x^11+(b0+b12+b6+b8+b5+b10+b2+b11)*x^10+(b1+b11+b9+b12+b7+b10+b5+b4)*x^9+(b3+b8+b6+b4+b9+b0+b11+b10)*x^8+(b7+b2+b5+b10+b3+b12+b9+b8)*x^7+(b2+b12+b1+b7+b11+b4+b6+b8+b9)*x^6+(b3+b11+b0+b5+b10+b8+b1+b7+b6)*x^5+(b0+b9+b12+b10+b6+b5+b2+b7+b4)*x^4+(b6+b9+b7+b0+b11+b5+b3+b2+b10+b12)*x^3+(b6+b7+b9+b12+b0+b5+b11)*x^2+(b12+b4+b8+b6+b11+b10+b5)*x+b9+b11+b8+b0+b2+b3+b1+b5,                                    (b3+b9+b6+b0+b7+b1+b11+b12)*x^12+(b0+b12+b6+b8+b5+b10+b2+b11)*x^11+(b1+b11+b9+b12+b7+b10+b5+b4)*x^10+(b3+b8+b6+b4+b9+b0+b11+b10)*x^9+(b7+b2+b5+b10+b3+b12+b9+b8)*x^8+(b2+b12+b1+b7+b11+b4+b6+b8+b9)*x^7+(b3+b11+b0+b5+b10+b8+b1+b7+b6)*x^6+(b0+b9+b12+b10+b6+b5+b2+b7+b4)*x^5+(b5+b9+b11+b1+b8+b3+b6+b4)*x^4+(b5+b1+b2+b9+b6+b11+b4+b8+b10)*x^3+(b12+b4+b8+b6+b11+b10+b5)*x^2+(b9+b7+b11+b4+b3+b10+b5+b12)*x+b8+b1+b0+b2+b4+b7+b10+b12,                                (b0+b12+b6+b8+b5+b10+b2+b11)*x^12+(b1+b11+b9+b12+b7+b10+b5+b4)*x^11+(b3+b8+b6+b4+b9+b0+b11+b10)*x^10+(b7+b2+b5+b10+b3+b12+b9+b8)*x^9+(b2+b12+b1+b7+b11+b4+b6+b8+b9)*x^8+(b3+b11+b0+b5+b10+b8+b1+b7+b6)*x^7+(b0+b9+b12+b10+b6+b5+b2+b7+b4)*x^6+(b5+b9+b11+b1+b8+b3+b6+b4)*x^5+(b4+b2+b12+b5+b3+b10+b8+b7+b0)*x^4+(b0+b4+b5+b10+b7+b3+b1+b8+b9)*x^3+(b9+b7+b11+b4+b3+b10+b5+b12)*x^2+(b2+b3+b8+b6+b11+b4+b9+b10)*x+b1+b0+b3+b6+b7+b9+b11+b12,                                   (b1+b11+b9+b12+b7+b10+b5+b4)*x^12+(b3+b8+b6+b4+b9+b0+b11+b10)*x^11+(b7+b2+b5+b10+b3+b12+b9+b8)*x^10+(b2+b12+b1+b7+b11+b4+b6+b8+b9)*x^9+(b3+b11+b0+b5+b10+b8+b1+b7+b6)*x^8+(b0+b9+b12+b10+b6+b5+b2+b7+b4)*x^7+(b5+b9+b11+b1+b8+b3+b6+b4)*x^6+(b4+b2+b12+b5+b3+b10+b8+b7+b0)*x^5+(b6+b9+b11+b4+b1+b12+b7+b3+b2)*x^4+(b2+b9+b6+b0+b8+b4+b3+b7)*x^3+(b2+b3+b8+b6+b11+b4+b9+b10)*x^2+(b3+b1+b2+b7+b5+b8+b9+b10)*x+b10+b11+b12+b8+b6+b0+b2+b5,                              (b3+b8+b6+b4+b9+b0+b11+b10)*x^12+(b7+b2+b5+b10+b3+b12+b9+b8)*x^11+(b2+b12+b1+b7+b11+b4+b6+b8+b9)*x^10+(b3+b11+b0+b5+b10+b8+b1+b7+b6)*x^9+(b0+b9+b12+b10+b6+b5+b2+b7+b4)*x^8+(b5+b9+b11+b1+b8+b3+b6+b4)*x^7+(b4+b2+b12+b5+b3+b10+b8+b7+b0)*x^6+(b6+b9+b11+b4+b1+b12+b7+b3+b2)*x^5+(b5+b12+b6+b1+b3+b8+b2+b10+b0+b11)*x^4+(b12+b2+b6+b1+b7+b3+b5+b8)*x^3+(b3+b1+b2+b7+b5+b8+b9+b10)*x^2+(b1+b2+b7+b9+b6+b8+b4+b0)*x+b1+b11+b9+b12+b7+b10+b5+b4,                        (b7+b2+b5+b10+b3+b12+b9+b8)*x^12+(b2+b12+b1+b7+b11+b4+b6+b8+b9)*x^11+(b3+b11+b0+b5+b10+b8+b1+b7+b6)*x^10+(b0+b9+b12+b10+b6+b5+b2+b7+b4)*x^9+(b5+b9+b11+b1+b8+b3+b6+b4)*x^8+(b4+b2+b12+b5+b3+b10+b8+b7+b0)*x^7+(b6+b9+b11+b4+b1+b12+b7+b3+b2)*x^6+(b5+b12+b6+b1+b3+b8+b2+b10+b0+b11)*x^5+(b5+b2+b0+b11+b9+b4+b1+b7+b12+b10)*x^4+(b5+b11+b0+b6+b1+b4+b7+b2)*x^3+(b1+b2+b7+b9+b6+b8+b4+b0)*x^2+(b0+b7+b8+b1+b6+b12+b3+b5)*x+b4+b6+b0+b3+b11+b9+b10+b8,              (b2+b12+b1+b7+b11+b4+b6+b8+b9)*x^12+(b3+b11+b0+b5+b10+b8+b1+b7+b6)*x^11+(b0+b9+b12+b10+b6+b5+b2+b7+b4)*x^10+(b5+b9+b11+b1+b8+b3+b6+b4)*x^9+(b4+b2+b12+b5+b3+b10+b8+b7+b0)*x^8+(b6+b9+b11+b4+b1+b12+b7+b3+b2)*x^7+(b5+b12+b6+b1+b3+b8+b2+b10+b0+b11)*x^6+(b5+b2+b0+b11+b9+b4+b1+b7+b12+b10)*x^5+(b11+b8+b1+b6+b3+b0+b10+b9+b4+b12)*x^4+(b10+b6+b4+b0+b12+b3+b5+b1)*x^3+(b0+b7+b8+b1+b6+b12+b3+b5)*x^2+(b2+b7+b5+b12+b11+b4+b0+b6)*x+b12+b3+b2+b9+b7+b10+b5+b8,                 (b3+b11+b0+b5+b10+b8+b1+b7+b6)*x^12+(b0+b9+b12+b10+b6+b5+b2+b7+b4)*x^11+(b5+b9+b11+b1+b8+b3+b6+b4)*x^10+(b4+b2+b12+b5+b3+b10+b8+b7+b0)*x^9+(b6+b9+b11+b4+b1+b12+b7+b3+b2)*x^8+(b5+b12+b6+b1+b3+b8+b2+b10+b0+b11)*x^7+(b5+b2+b0+b11+b9+b4+b1+b7+b12+b10)*x^6+(b11+b8+b1+b6+b3+b0+b10+b9+b4+b12)*x^5+(b9+b0+b5+b2+b7+b8+b10+b3+b11)*x^4+(b9+b0+b5+b3+b2+b11+b4)*x^3+(b2+b7+b5+b12+b11+b4+b0+b6)*x^2+(b11+b4+b3+b5+b6+b1+b10)*x+b1+b8+b12+b11+b4+b2+b6+b9+b7,                    (b0+b9+b12+b10+b6+b5+b2+b7+b4)*x^12+(b5+b9+b11+b1+b8+b3+b6+b4)*x^11+(b4+b2+b12+b5+b3+b10+b8+b7+b0)*x^10+(b6+b9+b11+b4+b1+b12+b7+b3+b2)*x^9+(b5+b12+b6+b1+b3+b8+b2+b10+b0+b11)*x^8+(b5+b2+b0+b11+b9+b4+b1+b7+b12+b10)*x^7+(b11+b8+b1+b6+b3+b0+b10+b9+b4+b12)*x^6+(b9+b0+b5+b2+b7+b8+b10+b3+b11)*x^5+(b10+b1+b9+b2+b7+b8+b4+b6)*x^4+(b3+b10+b2+b4+b1+b12+b8)*x^3+(b11+b4+b3+b5+b6+b1+b10)*x^2+(b12+b3+b10+b4+b5+b2+b0+b9)*x+b7+b10+b11+b8+b1+b0+b3+b5+b6,                   (b5+b9+b11+b1+b8+b3+b6+b4)*x^12+(b4+b2+b12+b5+b3+b10+b8+b7+b0)*x^11+(b6+b9+b11+b4+b1+b12+b7+b3+b2)*x^10+(b5+b12+b6+b1+b3+b8+b2+b10+b0+b11)*x^9+(b5+b2+b0+b11+b9+b4+b1+b7+b12+b10)*x^8+(b11+b8+b1+b6+b3+b0+b10+b9+b4+b12)*x^7+(b9+b0+b5+b2+b7+b8+b10+b3+b11)*x^6+(b10+b1+b9+b2+b7+b8+b4+b6)*x^5+(b6+b9+b7+b8+b1+b0+b3+b5)*x^4+(b11+b12+b9+b0+b7+b1+b3+b2)*x^3+(b12+b3+b10+b4+b5+b2+b0+b9)*x^2+(b3+b1+b4+b2+b12+b8+b11+b9)*x+b0+b2+b4+b5+b6+b7+b9+b10+b12,                  (b4+b2+b12+b5+b3+b10+b8+b7+b0)*x^12+(b6+b9+b11+b4+b1+b12+b7+b3+b2)*x^11+(b5+b12+b6+b1+b3+b8+b2+b10+b0+b11)*x^10+(b5+b2+b0+b11+b9+b4+b1+b7+b12+b10)*x^9+(b11+b8+b1+b6+b3+b0+b10+b9+b4+b12)*x^8+(b9+b0+b5+b2+b7+b8+b10+b3+b11)*x^7+(b10+b1+b9+b2+b7+b8+b4+b6)*x^6+(b6+b9+b7+b8+b1+b0+b3+b5)*x^5+(b5+b7+b0+b4+b2+b12+b8+b6)*x^4+(b0+b6+b12+b1+b11+b2+b10+b8)*x^3+(b3+b1+b4+b2+b12+b8+b11+b9)*x^2+(b7+b3+b10+b12+b8+b11+b2+b1+b0)*x+b9+b4+b11+b6+b5+b1+b8+b3,                     (b6+b9+b11+b4+b1+b12+b7+b3+b2)*x^12+(b5+b12+b6+b1+b3+b8+b2+b10+b0+b11)*x^11+(b5+b2+b0+b11+b9+b4+b1+b7+b12+b10)*x^10+(b11+b8+b1+b6+b3+b0+b10+b9+b4+b12)*x^9+(b9+b0+b5+b2+b7+b8+b10+b3+b11)*x^8+(b10+b1+b9+b2+b7+b8+b4+b6)*x^7+(b6+b9+b7+b8+b1+b0+b3+b5)*x^6+(b5+b7+b0+b4+b2+b12+b8+b6)*x^5+(b11+b5+b1+b3+b6+b7+b4)*x^4+(b11+b10+b0+b5+b1+b9+b7)*x^3+(b7+b3+b10+b12+b8+b11+b2+b1+b0)*x^2+(b9+b10+b12+b11+b2+b1+b7+b0+b6)*x+b3+b4+b0+b2+b10+b5+b7+b12+b8,                                (b5+b12+b6+b1+b3+b8+b2+b10+b0+b11)*x^12+(b5+b2+b0+b11+b9+b4+b1+b7+b12+b10)*x^11+(b11+b8+b1+b6+b3+b0+b10+b9+b4+b12)*x^10+(b9+b0+b5+b2+b7+b8+b10+b3+b11)*x^9+(b10+b1+b9+b2+b7+b8+b4+b6)*x^8+(b6+b9+b7+b8+b1+b0+b3+b5)*x^7+(b5+b7+b0+b4+b2+b12+b8+b6)*x^6+(b11+b5+b1+b3+b6+b7+b4)*x^5+(b10+b4+b3+b12+b5+b2+b0+b6)*x^4+(b10+b4+b0+b8+b6+b9)*x^3+(b9+b10+b12+b11+b2+b1+b7+b0+b6)*x^2+(b5+b8+b10+b9+b11+b6+b0+b1)*x+b4+b3+b9+b2+b11+b7+b6+b12+b1,                                               (b5+b2+b0+b11+b9+b4+b1+b7+b12+b10)*x^12+(b11+b8+b1+b6+b3+b0+b10+b9+b4+b12)*x^11+(b9+b0+b5+b2+b7+b8+b10+b3+b11)*x^10+(b10+b1+b9+b2+b7+b8+b4+b6)*x^9+(b6+b9+b7+b8+b1+b0+b3+b5)*x^8+(b5+b7+b0+b4+b2+b12+b8+b6)*x^7+(b11+b5+b1+b3+b6+b7+b4)*x^6+(b10+b4+b3+b12+b5+b2+b0+b6)*x^5+(b3+b12+b4+b9+b1+b5+b2+b11)*x^4+(b9+b3+b7+b5+b8)*x^3+(b5+b8+b10+b9+b11+b6+b0+b1)*x^2+(b10+b9+b4+b0+b8+b5+b7)*x+b3+b5+b6+b10+b11+b12+b8+b0+b2+b1,                                                      (b11+b8+b1+b6+b3+b0+b10+b9+b4+b12)*x^12+(b9+b0+b5+b2+b7+b8+b10+b3+b11)*x^11+(b10+b1+b9+b2+b7+b8+b4+b6)*x^10+(b6+b9+b7+b8+b1+b0+b3+b5)*x^9+(b5+b7+b0+b4+b2+b12+b8+b6)*x^8+(b11+b5+b1+b3+b6+b7+b4)*x^7+(b10+b4+b3+b12+b5+b2+b0+b6)*x^6+(b3+b12+b4+b9+b1+b5+b2+b11)*x^5+(b10+b0+b1+b8+b4+b2+b12+b11+b3)*x^4+(b12+b7+b6+b8+b2+b4)*x^3+(b10+b9+b4+b0+b8+b5+b7)*x^2+(b6+b3+b4+b9+b7+b8)*x+b4+b5+b7+b9+b10+b11+b12+b1+b0+b2,                                                             (b9+b0+b5+b2+b7+b8+b10+b3+b11)*x^12+(b10+b1+b9+b2+b7+b8+b4+b6)*x^11+(b6+b9+b7+b8+b1+b0+b3+b5)*x^10+(b5+b7+b0+b4+b2+b12+b8+b6)*x^9+(b11+b5+b1+b3+b6+b7+b4)*x^8+(b10+b4+b3+b12+b5+b2+b0+b6)*x^7+(b3+b12+b4+b9+b1+b5+b2+b11)*x^6+(b10+b0+b1+b8+b4