The following is a sorted list of chromatic polynomials for n = 7: x^7 - 21*x^6 + 175*x^5 - 735*x^4 + 1624*x^3 - 1764*x^2 + 720*x x^7 - 20*x^6 + 160*x^5 - 650*x^4 + 1399*x^3 - 1490*x^2 + 600*x x^7 - 19*x^6 + 145*x^5 - 565*x^4 + 1174*x^3 - 1216*x^2 + 480*x x^7 - 19*x^6 + 146*x^5 - 575*x^4 + 1209*x^3 - 1266*x^2 + 504*x x^7 - 18*x^6 + 130*x^5 - 480*x^4 + 949*x^3 - 942*x^2 + 360*x x^7 - 18*x^6 + 131*x^5 - 490*x^4 + 984*x^3 - 992*x^2 + 384*x x^7 - 18*x^6 + 132*x^5 - 500*x^4 + 1019*x^3 - 1042*x^2 + 408*x x^7 - 18*x^6 + 133*x^5 - 509*x^4 + 1048*x^3 - 1081*x^2 + 426*x x^7 - 17*x^6 + 115*x^5 - 395*x^4 + 724*x^3 - 668*x^2 + 240*x x^7 - 17*x^6 + 117*x^5 - 415*x^4 + 794*x^3 - 768*x^2 + 288*x x^7 - 17*x^6 + 118*x^5 - 425*x^4 + 829*x^3 - 818*x^2 + 312*x x^7 - 17*x^6 + 119*x^5 - 435*x^4 + 864*x^3 - 868*x^2 + 336*x x^7 - 17*x^6 + 119*x^5 - 434*x^4 + 858*x^3 - 857*x^2 + 330*x x^7 - 17*x^6 + 120*x^5 - 443*x^4 + 887*x^3 - 896*x^2 + 348*x x^7 - 16*x^6 + 100*x^5 - 310*x^4 + 499*x^3 - 394*x^2 + 120*x x^7 - 16*x^6 + 103*x^5 - 340*x^4 + 604*x^3 - 544*x^2 + 192*x x^7 - 16*x^6 + 104*x^5 - 350*x^4 + 639*x^3 - 594*x^2 + 216*x x^7 - 16*x^6 + 105*x^5 - 360*x^4 + 674*x^3 - 644*x^2 + 240*x x^7 - 16*x^6 + 105*x^5 - 359*x^4 + 668*x^3 - 633*x^2 + 234*x x^7 - 16*x^6 + 106*x^5 - 370*x^4 + 709*x^3 - 694*x^2 + 264*x x^7 - 16*x^6 + 106*x^5 - 369*x^4 + 703*x^3 - 683*x^2 + 258*x x^7 - 16*x^6 + 106*x^5 - 368*x^4 + 697*x^3 - 672*x^2 + 252*x x^7 - 16*x^6 + 107*x^5 - 378*x^4 + 732*x^3 - 722*x^2 + 276*x x^7 - 16*x^6 + 107*x^5 - 377*x^4 + 726*x^3 - 711*x^2 + 270*x x^7 - 16*x^6 + 108*x^5 - 385*x^4 + 750*x^3 - 742*x^2 + 284*x x^7 - 15*x^6 + 85*x^5 - 225*x^4 + 274*x^3 - 120*x^2 x^7 - 15*x^6 + 89*x^5 - 265*x^4 + 414*x^3 - 320*x^2 + 96*x x^7 - 15*x^6 + 91*x^5 - 285*x^4 + 484*x^3 - 420*x^2 + 144*x x^7 - 15*x^6 + 92*x^5 - 295*x^4 + 519*x^3 - 470*x^2 + 168*x x^7 - 15*x^6 + 92*x^5 - 294*x^4 + 513*x^3 - 459*x^2 + 162*x x^7 - 15*x^6 + 92*x^5 - 293*x^4 + 507*x^3 - 448*x^2 + 156*x x^7 - 15*x^6 + 93*x^5 - 305*x^4 + 554*x^3 - 520*x^2 + 192*x x^7 - 15*x^6 + 93*x^5 - 304*x^4 + 548*x^3 - 509*x^2 + 186*x x^7 - 15*x^6 + 93*x^5 - 303*x^4 + 542*x^3 - 498*x^2 + 180*x x^7 - 15*x^6 + 93*x^5 - 302*x^4 + 536*x^3 - 487*x^2 + 174*x x^7 - 15*x^6 + 94*x^5 - 313*x^4 + 577*x^3 - 548*x^2 + 204*x x^7 - 15*x^6 + 94*x^5 - 312*x^4 + 571*x^3 - 537*x^2 + 198*x x^7 - 15*x^6 + 94*x^5 - 311*x^4 + 565*x^3 - 526*x^2 + 192*x x^7 - 15*x^6 + 95*x^5 - 322*x^4 + 606*x^3 - 587*x^2 + 222*x x^7 - 15*x^6 + 95*x^5 - 321*x^4 + 600*x^3 - 576*x^2 + 216*x x^7 - 15*x^6 + 95*x^5 - 320*x^4 + 594*x^3 - 565*x^2 + 210*x x^7 - 15*x^6 + 95*x^5 - 319*x^4 + 589*x^3 - 557*x^2 + 206*x x^7 - 15*x^6 + 96*x^5 - 329*x^4 + 624*x^3 - 607*x^2 + 230*x x^7 - 14*x^6 + 75*x^5 - 190*x^4 + 224*x^3 - 96*x^2 x^7 - 14*x^6 + 78*x^5 - 220*x^4 + 329*x^3 - 246*x^2 + 72*x x^7 - 14*x^6 + 79*x^5 - 230*x^4 + 364*x^3 - 296*x^2 + 96*x x^7 - 14*x^6 + 79*x^5 - 227*x^4 + 346*x^3 - 263*x^2 + 78*x x^7 - 14*x^6 + 80*x^5 - 240*x^4 + 399*x^3 - 346*x^2 + 120*x x^7 - 14*x^6 + 80*x^5 - 238*x^4 + 387*x^3 - 324*x^2 + 108*x x^7 - 14*x^6 + 81*x^5 - 248*x^4 + 422*x^3 - 374*x^2 + 132*x x^7 - 14*x^6 + 81*x^5 - 247*x^4 + 416*x^3 - 363*x^2 + 126*x x^7 - 14*x^6 + 81*x^5 - 246*x^4 + 410*x^3 - 352*x^2 + 120*x x^7 - 14*x^6 + 82*x^5 - 257*x^4 + 451*x^3 - 413*x^2 + 150*x x^7 - 14*x^6 + 82*x^5 - 256*x^4 + 445*x^3 - 402*x^2 + 144*x x^7 - 14*x^6 + 82*x^5 - 255*x^4 + 439*x^3 - 391*x^2 + 138*x x^7 - 14*x^6 + 82*x^5 - 254*x^4 + 433*x^3 - 380*x^2 + 132*x x^7 - 14*x^6 + 82*x^5 - 253*x^4 + 428*x^3 - 372*x^2 + 128*x x^7 - 14*x^6 + 83*x^5 - 265*x^4 + 474*x^3 - 441*x^2 + 162*x x^7 - 14*x^6 + 83*x^5 - 264*x^4 + 468*x^3 - 430*x^2 + 156*x x^7 - 14*x^6 + 83*x^5 - 263*x^4 + 463*x^3 - 422*x^2 + 152*x x^7 - 14*x^6 + 83*x^5 - 262*x^4 + 457*x^3 - 411*x^2 + 146*x x^7 - 14*x^6 + 83*x^5 - 261*x^4 + 452*x^3 - 403*x^2 + 142*x x^7 - 14*x^6 + 84*x^5 - 273*x^4 + 497*x^3 - 469*x^2 + 174*x x^7 - 14*x^6 + 84*x^5 - 272*x^4 + 491*x^3 - 458*x^2 + 168*x x^7 - 14*x^6 + 84*x^5 - 272*x^4 + 492*x^3 - 461*x^2 + 170*x x^7 - 14*x^6 + 85*x^5 - 280*x^4 + 516*x^3 - 492*x^2 + 184*x x^7 - 13*x^6 + 65*x^5 - 155*x^4 + 174*x^3 - 72*x^2 x^7 - 13*x^6 + 66*x^5 - 161*x^4 + 185*x^3 - 78*x^2 x^7 - 13*x^6 + 67*x^5 - 175*x^4 + 244*x^3 - 172*x^2 + 48*x x^7 - 13*x^6 + 68*x^5 - 185*x^4 + 279*x^3 - 222*x^2 + 72*x x^7 - 13*x^6 + 68*x^5 - 182*x^4 + 261*x^3 - 189*x^2 + 54*x x^7 - 13*x^6 + 69*x^5 - 191*x^4 + 290*x^3 - 228*x^2 + 72*x x^7 - 13*x^6 + 69*x^5 - 189*x^4 + 278*x^3 - 206*x^2 + 60*x x^7 - 13*x^6 + 70*x^5 - 201*x^4 + 325*x^3 - 278*x^2 + 96*x x^7 - 13*x^6 + 70*x^5 - 200*x^4 + 319*x^3 - 267*x^2 + 90*x x^7 - 13*x^6 + 70*x^5 - 199*x^4 + 313*x^3 - 256*x^2 + 84*x x^7 - 13*x^6 + 70*x^5 - 195*x^4 + 291*x^3 - 218*x^2 + 64*x x^7 - 13*x^6 + 71*x^5 - 209*x^4 + 348*x^3 - 306*x^2 + 108*x x^7 - 13*x^6 + 71*x^5 - 208*x^4 + 342*x^3 - 295*x^2 + 102*x x^7 - 13*x^6 + 71*x^5 - 207*x^4 + 336*x^3 - 284*x^2 + 96*x x^7 - 13*x^6 + 71*x^5 - 207*x^4 + 337*x^3 - 287*x^2 + 98*x x^7 - 13*x^6 + 71*x^5 - 206*x^4 + 330*x^3 - 273*x^2 + 90*x x^7 - 13*x^6 + 71*x^5 - 206*x^4 + 331*x^3 - 276*x^2 + 92*x x^7 - 13*x^6 + 72*x^5 - 217*x^4 + 371*x^3 - 334*x^2 + 120*x x^7 - 13*x^6 + 72*x^5 - 216*x^4 + 365*x^3 - 323*x^2 + 114*x x^7 - 13*x^6 + 72*x^5 - 216*x^4 + 366*x^3 - 326*x^2 + 116*x x^7 - 13*x^6 + 72*x^5 - 215*x^4 + 359*x^3 - 312*x^2 + 108*x x^7 - 13*x^6 + 72*x^5 - 215*x^4 + 360*x^3 - 315*x^2 + 110*x x^7 - 13*x^6 + 72*x^5 - 214*x^4 + 355*x^3 - 307*x^2 + 106*x x^7 - 13*x^6 + 72*x^5 - 213*x^4 + 349*x^3 - 296*x^2 + 100*x x^7 - 13*x^6 + 73*x^5 - 224*x^4 + 389*x^3 - 354*x^2 + 128*x x^7 - 13*x^6 + 73*x^5 - 223*x^4 + 383*x^3 - 343*x^2 + 122*x x^7 - 13*x^6 + 73*x^5 - 223*x^4 + 384*x^3 - 346*x^2 + 124*x x^7 - 13*x^6 + 74*x^5 - 231*x^4 + 408*x^3 - 377*x^2 + 138*x x^7 - 13*x^6 + 74*x^5 - 230*x^4 + 401*x^3 - 363*x^2 + 130*x x^7 - 13*x^6 + 75*x^5 - 238*x^4 + 426*x^3 - 397*x^2 + 146*x x^7 - 12*x^6 + 55*x^5 - 120*x^4 + 124*x^3 - 48*x^2 x^7 - 12*x^6 + 56*x^5 - 130*x^4 + 159*x^3 - 98*x^2 + 24*x x^7 - 12*x^6 + 56*x^5 - 126*x^4 + 135*x^3 - 54*x^2 x^7 - 12*x^6 + 57*x^5 - 132*x^4 + 146*x^3 - 60*x^2 x^7 - 12*x^6 + 58*x^5 - 144*x^4 + 193*x^3 - 132*x^2 + 36*x x^7 - 12*x^6 + 58*x^5 - 137*x^4 + 154*x^3 - 64*x^2 x^7 - 12*x^6 + 59*x^5 - 154*x^4 + 228*x^3 - 182*x^2 + 60*x x^7 - 12*x^6 + 59*x^5 - 153*x^4 + 222*x^3 - 171*x^2 + 54*x x^7 - 12*x^6 + 59*x^5 - 152*x^4 + 216*x^3 - 160*x^2 + 48*x x^7 - 12*x^6 + 59*x^5 - 151*x^4 + 210*x^3 - 149*x^2 + 42*x x^7 - 12*x^6 + 60*x^5 - 162*x^4 + 251*x^3 - 210*x^2 + 72*x x^7 - 12*x^6 + 60*x^5 - 161*x^4 + 245*x^3 - 199*x^2 + 66*x x^7 - 12*x^6 + 60*x^5 - 160*x^4 + 239*x^3 - 188*x^2 + 60*x x^7 - 12*x^6 + 60*x^5 - 160*x^4 + 240*x^3 - 191*x^2 + 62*x x^7 - 12*x^6 + 60*x^5 - 159*x^4 + 234*x^3 - 180*x^2 + 56*x x^7 - 12*x^6 + 60*x^5 - 158*x^4 + 227*x^3 - 166*x^2 + 48*x x^7 - 12*x^6 + 60*x^5 - 157*x^4 + 223*x^3 - 161*x^2 + 46*x x^7 - 12*x^6 + 61*x^5 - 169*x^4 + 268*x^3 - 227*x^2 + 78*x x^7 - 12*x^6 + 61*x^5 - 168*x^4 + 262*x^3 - 216*x^2 + 72*x x^7 - 12*x^6 + 61*x^5 - 168*x^4 + 263*x^3 - 219*x^2 + 74*x x^7 - 12*x^6 + 61*x^5 - 167*x^4 + 256*x^3 - 205*x^2 + 66*x x^7 - 12*x^6 + 61*x^5 - 167*x^4 + 257*x^3 - 208*x^2 + 68*x x^7 - 12*x^6 + 61*x^5 - 167*x^4 + 258*x^3 - 211*x^2 + 70*x x^7 - 12*x^6 + 61*x^5 - 166*x^4 + 252*x^3 - 200*x^2 + 64*x x^7 - 12*x^6 + 62*x^5 - 177*x^4 + 291*x^3 - 255*x^2 + 90*x x^7 - 12*x^6 + 62*x^5 - 176*x^4 + 286*x^3 - 247*x^2 + 86*x x^7 - 12*x^6 + 62*x^5 - 176*x^4 + 287*x^3 - 250*x^2 + 88*x x^7 - 12*x^6 + 62*x^5 - 175*x^4 + 280*x^3 - 236*x^2 + 80*x x^7 - 12*x^6 + 62*x^5 - 175*x^4 + 281*x^3 - 239*x^2 + 82*x x^7 - 12*x^6 + 62*x^5 - 174*x^4 + 275*x^3 - 228*x^2 + 76*x x^7 - 12*x^6 + 62*x^5 - 174*x^4 + 276*x^3 - 231*x^2 + 78*x x^7 - 12*x^6 + 62*x^5 - 173*x^4 + 271*x^3 - 223*x^2 + 74*x x^7 - 12*x^6 + 62*x^5 - 172*x^4 + 265*x^3 - 212*x^2 + 68*x x^7 - 12*x^6 + 63*x^5 - 183*x^4 + 304*x^3 - 267*x^2 + 94*x x^7 - 12*x^6 + 63*x^5 - 183*x^4 + 305*x^3 - 270*x^2 + 96*x x^7 - 12*x^6 + 63*x^5 - 181*x^4 + 293*x^3 - 248*x^2 + 84*x x^7 - 12*x^6 + 63*x^5 - 181*x^4 + 294*x^3 - 251*x^2 + 86*x x^7 - 12*x^6 + 64*x^5 - 189*x^4 + 318*x^3 - 282*x^2 + 100*x x^7 - 12*x^6 + 66*x^5 - 202*x^4 + 351*x^3 - 319*x^2 + 115*x x^7 - 11*x^6 + 45*x^5 - 85*x^4 + 74*x^3 - 24*x^2 x^7 - 11*x^6 + 47*x^5 - 97*x^4 + 96*x^3 - 36*x^2 x^7 - 11*x^6 + 48*x^5 - 106*x^4 + 125*x^3 - 75*x^2 + 18*x x^7 - 11*x^6 + 48*x^5 - 103*x^4 + 107*x^3 - 42*x^2 x^7 - 11*x^6 + 49*x^5 - 113*x^4 + 142*x^3 - 92*x^2 + 24*x x^7 - 11*x^6 + 49*x^5 - 109*x^4 + 118*x^3 - 48*x^2 x^7 - 11*x^6 + 49*x^5 - 108*x^4 + 115*x^3 - 46*x^2 x^7 - 11*x^6 + 50*x^5 - 122*x^4 + 171*x^3 - 131*x^2 + 42*x x^7 - 11*x^6 + 50*x^5 - 121*x^4 + 165*x^3 - 120*x^2 + 36*x x^7 - 11*x^6 + 50*x^5 - 120*x^4 + 159*x^3 - 109*x^2 + 30*x x^7 - 11*x^6 + 50*x^5 - 120*x^4 + 160*x^3 - 112*x^2 + 32*x x^7 - 11*x^6 + 50*x^5 - 119*x^4 + 155*x^3 - 104*x^2 + 28*x x^7 - 11*x^6 + 51*x^5 - 129*x^4 + 188*x^3 - 148*x^2 + 48*x x^7 - 11*x^6 + 51*x^5 - 129*x^4 + 189*x^3 - 151*x^2 + 50*x x^7 - 11*x^6 + 51*x^5 - 128*x^4 + 182*x^3 - 137*x^2 + 42*x x^7 - 11*x^6 + 51*x^5 - 128*x^4 + 183*x^3 - 140*x^2 + 44*x x^7 - 11*x^6 + 51*x^5 - 128*x^4 + 184*x^3 - 143*x^2 + 46*x x^7 - 11*x^6 + 51*x^5 - 127*x^4 + 178*x^3 - 132*x^2 + 40*x x^7 - 11*x^6 + 51*x^5 - 127*x^4 + 179*x^3 - 135*x^2 + 42*x x^7 - 11*x^6 + 51*x^5 - 126*x^4 + 172*x^3 - 121*x^2 + 34*x x^7 - 11*x^6 + 51*x^5 - 125*x^4 + 168*x^3 - 116*x^2 + 32*x x^7 - 11*x^6 + 52*x^5 - 136*x^4 + 206*x^3 - 168*x^2 + 56*x x^7 - 11*x^6 + 52*x^5 - 136*x^4 + 207*x^3 - 171*x^2 + 58*x x^7 - 11*x^6 + 52*x^5 - 135*x^4 + 200*x^3 - 157*x^2 + 50*x x^7 - 11*x^6 + 52*x^5 - 135*x^4 + 201*x^3 - 160*x^2 + 52*x x^7 - 11*x^6 + 52*x^5 - 135*x^4 + 202*x^3 - 163*x^2 + 54*x x^7 - 11*x^6 + 52*x^5 - 134*x^4 + 196*x^3 - 152*x^2 + 48*x x^7 - 11*x^6 + 52*x^5 - 134*x^4 + 197*x^3 - 155*x^2 + 50*x x^7 - 11*x^6 + 52*x^5 - 133*x^4 + 191*x^3 - 144*x^2 + 44*x x^7 - 11*x^6 + 52*x^5 - 132*x^4 + 185*x^3 - 133*x^2 + 38*x x^7 - 11*x^6 + 53*x^5 - 143*x^4 + 225*x^3 - 191*x^2 + 66*x x^7 - 11*x^6 + 53*x^5 - 142*x^4 + 219*x^3 - 180*x^2 + 60*x x^7 - 11*x^6 + 53*x^5 - 142*x^4 + 220*x^3 - 183*x^2 + 62*x x^7 - 11*x^6 + 53*x^5 - 141*x^4 + 214*x^3 - 172*x^2 + 56*x x^7 - 11*x^6 + 53*x^5 - 141*x^4 + 215*x^3 - 175*x^2 + 58*x x^7 - 11*x^6 + 53*x^5 - 140*x^4 + 209*x^3 - 164*x^2 + 52*x x^7 - 11*x^6 + 53*x^5 - 140*x^4 + 210*x^3 - 167*x^2 + 54*x x^7 - 11*x^6 + 53*x^5 - 138*x^4 + 200*x^3 - 151*x^2 + 46*x x^7 - 11*x^6 + 54*x^5 - 149*x^4 + 239*x^3 - 206*x^2 + 72*x x^7 - 11*x^6 + 54*x^5 - 147*x^4 + 228*x^3 - 187*x^2 + 62*x x^7 - 11*x^6 + 55*x^5 - 153*x^4 + 243*x^3 - 204*x^2 + 69*x x^7 - 10*x^6 + 35*x^5 - 50*x^4 + 24*x^3 x^7 - 10*x^6 + 38*x^5 - 68*x^4 + 57*x^3 - 18*x^2 x^7 - 10*x^6 + 39*x^5 - 74*x^4 + 68*x^3 - 24*x^2 x^7 - 10*x^6 + 40*x^5 - 82*x^4 + 91*x^3 - 52*x^2 + 12*x x^7 - 10*x^6 + 40*x^5 - 80*x^4 + 79*x^3 - 30*x^2 x^7 - 10*x^6 + 40*x^5 - 79*x^4 + 76*x^3 - 28*x^2 x^7 - 10*x^6 + 41*x^5 - 90*x^4 + 114*x^3 - 80*x^2 + 24*x x^7 - 10*x^6 + 41*x^5 - 89*x^4 + 108*x^3 - 69*x^2 + 18*x x^7 - 10*x^6 + 41*x^5 - 88*x^4 + 104*x^3 - 64*x^2 + 16*x x^7 - 10*x^6 + 41*x^5 - 87*x^4 + 100*x^3 - 59*x^2 + 14*x x^7 - 10*x^6 + 41*x^5 - 85*x^4 + 87*x^3 - 34*x^2 x^7 - 10*x^6 + 41*x^5 - 84*x^4 + 84*x^3 - 32*x^2 x^7 - 10*x^6 + 42*x^5 - 96*x^4 + 127*x^3 - 92*x^2 + 28*x x^7 - 10*x^6 + 42*x^5 - 96*x^4 + 128*x^3 - 95*x^2 + 30*x x^7 - 10*x^6 + 42*x^5 - 95*x^4 + 121*x^3 - 81*x^2 + 22*x x^7 - 10*x^6 + 42*x^5 - 95*x^4 + 122*x^3 - 84*x^2 + 24*x x^7 - 10*x^6 + 42*x^5 - 94*x^4 + 117*x^3 - 76*x^2 + 20*x x^7 - 10*x^6 + 42*x^5 - 90*x^4 + 95*x^3 - 38*x^2 x^7 - 10*x^6 + 43*x^5 - 103*x^4 + 144*x^3 - 109*x^2 + 34*x x^7 - 10*x^6 + 43*x^5 - 103*x^4 + 145*x^3 - 112*x^2 + 36*x x^7 - 10*x^6 + 43*x^5 - 103*x^4 + 146*x^3 - 115*x^2 + 38*x x^7 - 10*x^6 + 43*x^5 - 102*x^4 + 140*x^3 - 104*x^2 + 32*x x^7 - 10*x^6 + 43*x^5 - 102*x^4 + 141*x^3 - 107*x^2 + 34*x x^7 - 10*x^6 + 43*x^5 - 101*x^4 + 134*x^3 - 93*x^2 + 26*x x^7 - 10*x^6 + 43*x^5 - 101*x^4 + 135*x^3 - 96*x^2 + 28*x x^7 - 10*x^6 + 43*x^5 - 101*x^4 + 136*x^3 - 99*x^2 + 30*x x^7 - 10*x^6 + 43*x^5 - 100*x^4 + 130*x^3 - 88*x^2 + 24*x x^7 - 10*x^6 + 43*x^5 - 99*x^4 + 126*x^3 - 83*x^2 + 22*x x^7 - 10*x^6 + 44*x^5 - 109*x^4 + 158*x^3 - 124*x^2 + 40*x x^7 - 10*x^6 + 44*x^5 - 109*x^4 + 159*x^3 - 127*x^2 + 42*x x^7 - 10*x^6 + 44*x^5 - 108*x^4 + 153*x^3 - 116*x^2 + 36*x x^7 - 10*x^6 + 44*x^5 - 108*x^4 + 154*x^3 - 119*x^2 + 38*x x^7 - 10*x^6 + 44*x^5 - 107*x^4 + 149*x^3 - 111*x^2 + 34*x x^7 - 10*x^6 + 44*x^5 - 106*x^4 + 144*x^3 - 103*x^2 + 30*x x^7 - 10*x^6 + 45*x^5 - 115*x^4 + 173*x^3 - 142*x^2 + 48*x x^7 - 10*x^6 + 45*x^5 - 113*x^4 + 164*x^3 - 128*x^2 + 41*x x^7 - 10*x^6 + 45*x^5 - 112*x^4 + 159*x^3 - 120*x^2 + 37*x x^7 - 10*x^6 + 45*x^5 - 111*x^4 + 153*x^3 - 109*x^2 + 31*x x^7 - 10*x^6 + 45*x^5 - 110*x^4 + 150*x^3 - 107*x^2 + 31*x x^7 - 9*x^6 + 29*x^5 - 39*x^4 + 18*x^3 x^7 - 9*x^6 + 31*x^5 - 51*x^4 + 40*x^3 - 12*x^2 x^7 - 9*x^6 + 32*x^5 - 58*x^4 + 57*x^3 - 29*x^2 + 6*x x^7 - 9*x^6 + 32*x^5 - 57*x^4 + 51*x^3 - 18*x^2 x^7 - 9*x^6 + 32*x^5 - 56*x^4 + 48*x^3 - 16*x^2 x^7 - 9*x^6 + 32*x^5 - 55*x^4 + 45*x^3 - 14*x^2 x^7 - 9*x^6 + 33*x^5 - 63*x^4 + 66*x^3 - 36*x^2 + 8*x x^7 - 9*x^6 + 33*x^5 - 62*x^4 + 59*x^3 - 22*x^2 x^7 - 9*x^6 + 33*x^5 - 61*x^4 + 56*x^3 - 20*x^2 x^7 - 9*x^6 + 34*x^5 - 70*x^4 + 83*x^3 - 53*x^2 + 14*x x^7 - 9*x^6 + 34*x^5 - 70*x^4 + 84*x^3 - 56*x^2 + 16*x x^7 - 9*x^6 + 34*x^5 - 70*x^4 + 85*x^3 - 59*x^2 + 18*x x^7 - 9*x^6 + 34*x^5 - 69*x^4 + 79*x^3 - 48*x^2 + 12*x x^7 - 9*x^6 + 34*x^5 - 68*x^4 + 75*x^3 - 43*x^2 + 10*x x^7 - 9*x^6 + 34*x^5 - 67*x^4 + 67*x^3 - 26*x^2 x^7 - 9*x^6 + 34*x^5 - 66*x^4 + 64*x^3 - 24*x^2 x^7 - 9*x^6 + 34*x^5 - 65*x^4 + 61*x^3 - 22*x^2 x^7 - 9*x^6 + 35*x^5 - 77*x^4 + 102*x^3 - 76*x^2 + 24*x x^7 - 9*x^6 + 35*x^5 - 76*x^4 + 97*x^3 - 68*x^2 + 20*x x^7 - 9*x^6 + 35*x^5 - 76*x^4 + 98*x^3 - 71*x^2 + 22*x x^7 - 9*x^6 + 35*x^5 - 75*x^4 + 92*x^3 - 60*x^2 + 16*x x^7 - 9*x^6 + 35*x^5 - 75*x^4 + 93*x^3 - 63*x^2 + 18*x x^7 - 9*x^6 + 35*x^5 - 74*x^4 + 88*x^3 - 55*x^2 + 14*x x^7 - 9*x^6 + 36*x^5 - 82*x^4 + 110*x^3 - 80*x^2 + 24*x x^7 - 9*x^6 + 36*x^5 - 82*x^4 + 111*x^3 - 83*x^2 + 26*x x^7 - 9*x^6 + 36*x^5 - 81*x^4 + 106*x^3 - 75*x^2 + 22*x x^7 - 9*x^6 + 36*x^5 - 81*x^4 + 107*x^3 - 78*x^2 + 24*x x^7 - 9*x^6 + 36*x^5 - 81*x^4 + 108*x^3 - 80*x^2 + 25*x x^7 - 9*x^6 + 36*x^5 - 80*x^4 + 103*x^3 - 72*x^2 + 21*x x^7 - 9*x^6 + 36*x^5 - 79*x^4 + 98*x^3 - 64*x^2 + 17*x x^7 - 9*x^6 + 36*x^5 - 78*x^4 + 94*x^3 - 59*x^2 + 15*x x^7 - 9*x^6 + 36*x^5 - 75*x^4 + 78*x^3 - 31*x^2 x^7 - 8*x^6 + 23*x^5 - 28*x^4 + 12*x^3 x^7 - 8*x^6 + 24*x^5 - 34*x^4 + 23*x^3 - 6*x^2 x^7 - 8*x^6 + 24*x^5 - 31*x^4 + 14*x^3 x^7 - 8*x^6 + 25*x^5 - 38*x^4 + 28*x^3 - 8*x^2 x^7 - 8*x^6 + 26*x^5 - 44*x^4 + 39*x^3 - 14*x^2 x^7 - 8*x^6 + 26*x^5 - 44*x^4 + 41*x^3 - 20*x^2 + 4*x x^7 - 8*x^6 + 26*x^5 - 43*x^4 + 36*x^3 - 12*x^2 x^7 - 8*x^6 + 26*x^5 - 42*x^4 + 33*x^3 - 10*x^2 x^7 - 8*x^6 + 27*x^5 - 50*x^4 + 54*x^3 - 32*x^2 + 8*x x^7 - 8*x^6 + 27*x^5 - 50*x^4 + 55*x^3 - 35*x^2 + 10*x x^7 - 8*x^6 + 27*x^5 - 49*x^4 + 50*x^3 - 27*x^2 + 6*x x^7 - 8*x^6 + 27*x^5 - 48*x^4 + 44*x^3 - 16*x^2 x^7 - 8*x^6 + 27*x^5 - 47*x^4 + 41*x^3 - 14*x^2 x^7 - 8*x^6 + 28*x^5 - 56*x^4 + 68*x^3 - 47*x^2 + 14*x x^7 - 8*x^6 + 28*x^5 - 55*x^4 + 63*x^3 - 39*x^2 + 10*x x^7 - 8*x^6 + 28*x^5 - 55*x^4 + 64*x^3 - 42*x^2 + 12*x x^7 - 8*x^6 + 28*x^5 - 55*x^4 + 65*x^3 - 44*x^2 + 13*x x^7 - 8*x^6 + 28*x^5 - 54*x^4 + 60*x^3 - 36*x^2 + 9*x x^7 - 8*x^6 + 28*x^5 - 53*x^4 + 56*x^3 - 31*x^2 + 7*x x^7 - 8*x^6 + 28*x^5 - 51*x^4 + 47*x^3 - 17*x^2 x^7 - 8*x^6 + 28*x^5 - 50*x^4 + 44*x^3 - 15*x^2 x^7 - 7*x^6 + 17*x^5 - 17*x^4 + 6*x^3 x^7 - 7*x^6 + 18*x^5 - 20*x^4 + 8*x^3 x^7 - 7*x^6 + 19*x^5 - 25*x^4 + 16*x^3 - 4*x^2 x^7 - 7*x^6 + 19*x^5 - 23*x^4 + 10*x^3 x^7 - 7*x^6 + 20*x^5 - 30*x^4 + 24*x^3 - 8*x^2 x^7 - 7*x^6 + 20*x^5 - 30*x^4 + 25*x^3 - 11*x^2 + 2*x x^7 - 7*x^6 + 20*x^5 - 29*x^4 + 21*x^3 - 6*x^2 x^7 - 7*x^6 + 21*x^5 - 35*x^4 + 34*x^3 - 18*x^2 + 4*x x^7 - 7*x^6 + 21*x^5 - 35*x^4 + 35*x^3 - 21*x^2 + 6*x x^7 - 7*x^6 + 21*x^5 - 35*x^4 + 35*x^3 - 20*x^2 + 5*x x^7 - 7*x^6 + 21*x^5 - 34*x^4 + 29*x^3 - 10*x^2 x^7 - 7*x^6 + 21*x^5 - 34*x^4 + 31*x^3 - 15*x^2 + 3*x x^7 - 7*x^6 + 21*x^5 - 33*x^4 + 27*x^3 - 9*x^2 x^7 - 7*x^6 + 21*x^5 - 32*x^4 + 24*x^3 - 7*x^2 x^7 - 6*x^6 + 11*x^5 - 6*x^4 x^7 - 6*x^6 + 13*x^5 - 12*x^4 + 4*x^3 x^7 - 6*x^6 + 14*x^5 - 16*x^4 + 9*x^3 - 2*x^2 x^7 - 6*x^6 + 14*x^5 - 15*x^4 + 6*x^3 x^7 - 6*x^6 + 15*x^5 - 20*x^4 + 14*x^3 - 4*x^2 x^7 - 6*x^6 + 15*x^5 - 20*x^4 + 15*x^3 - 6*x^2 + x x^7 - 6*x^6 + 15*x^5 - 20*x^4 + 15*x^3 - 5*x^2 x^7 - 6*x^6 + 15*x^5 - 19*x^4 + 12*x^3 - 3*x^2 x^7 - 6*x^6 + 15*x^5 - 17*x^4 + 7*x^3 x^7 - 5*x^6 + 8*x^5 - 4*x^4 x^7 - 5*x^6 + 9*x^5 - 7*x^4 + 2*x^3 x^7 - 5*x^6 + 10*x^5 - 10*x^4 + 4*x^3 x^7 - 5*x^6 + 10*x^5 - 10*x^4 + 5*x^3 - x^2 x^7 - 5*x^6 + 10*x^5 - 9*x^4 + 3*x^3 x^7 - 4*x^6 + 5*x^5 - 2*x^4 x^7 - 4*x^6 + 6*x^5 - 4*x^4 + x^3 x^7 - 4*x^6 + 6*x^5 - 3*x^4 x^7 - 3*x^6 + 2*x^5 x^7 - 3*x^6 + 3*x^5 - x^4 x^7 - 2*x^6 + x^5 x^7 - x^6 x^7