<239, 5> [ 116] [ 30*genFFq^9 + 28*genFFq^8 + 101*genFFq^7 + 158*genFFq^6 + 160*genFFq^5 + 178*genFFq^4 + 222*genFFq^3 + 212*genFFq^2 + 134*genFFq + 20] [ 6*genFFq^9 + 166*genFFq^8 + 199*genFFq^7 + 79*genFFq^6 + 199*genFFq^5 + 213*genFFq^4 + 16*genFFq^3 + 72*genFFq^2 + 68*genFFq + 201] [ 71*genFFq^9 + 193*genFFq^8 + 51*genFFq^7 + 223*genFFq^6 + 185*genFFq^5 + 39*genFFq^4 + 43*genFFq^3 + 118*genFFq^2 + 212*genFFq + 190] [ 177*genFFq^9 + 20*genFFq^8 + 184*genFFq^7 + 175*genFFq^6 + 233*genFFq^5 + 47*genFFq^4 + 201*genFFq^3 + 23*genFFq^2 + 184*genFFq + 142] [ 105*genFFq^9 + 227*genFFq^8 + 105*genFFq^7 + 42*genFFq^6 + 60*genFFq^5 + 3*genFFq^4 + 219*genFFq^3 + 22*genFFq^2 + 179*genFFq + 119] [ 186*genFFq^9 + 35*genFFq^8 + 171*genFFq^7 + 54*genFFq^6 + 53*genFFq^5 + 137*genFFq^4 + 87*genFFq^3 + 208*genFFq^2 + 114*genFFq + 30] [ 193*genFFq^9 + 69*genFFq^8 + 12*genFFq^7 + 198*genFFq^6 + 43*genFFq^5 + 77*genFFq^4 + 206*genFFq^3 + 161*genFFq^2 + 54*genFFq + 159] [ 129*genFFq^9 + 93*genFFq^8 + 30*genFFq^7 + 72*genFFq^6 + 193*genFFq^5 + 197*genFFq^4 + 199*genFFq^3 + 39*genFFq^2 + 179*genFFq + 131] [ 65*genFFq^9 + 15*genFFq^8 + 205*genFFq^7 + 21*genFFq^6 + 138*genFFq^5 + 201*genFFq^4 + 111*genFFq^3 + 171*genFFq^2 + 80*genFFq + 60] [ 33*genFFq^9 + 139*genFFq^8 + 201*genFFq^7 + 197*genFFq^6 + 149*genFFq^5 + 4*genFFq^4 + 163*genFFq^3 + 125*genFFq^2 + 134*genFFq + 69] <2879, 5> [ 2730] [ 195*genFFq^9 + 1116*genFFq^8 + 775*genFFq^7 + 2380*genFFq^6 + 430*genFFq^5 + 2749*genFFq^4 + 2311*genFFq^3 + 1496*genFFq^2 + 484*genFFq + 2217] [ 2474*genFFq^9 + 369*genFFq^8 + 1395*genFFq^7 + 615*genFFq^6 + 858*genFFq^5 + 1898*genFFq^4 + 2661*genFFq^3 + 2866*genFFq^2 + 1883*genFFq + 2837] [ 379*genFFq^9 + 287*genFFq^8 + 1159*genFFq^7 + 1835*genFFq^6 + 1157*genFFq^5 + 2078*genFFq^4 + 429*genFFq^3 + 1312*genFFq^2 + 804*genFFq + 160] [ 196*genFFq^9 + 574*genFFq^8 + 1897*genFFq^7 + 2124*genFFq^6 + 1675*genFFq^5 + 1571*genFFq^4 + 591*genFFq^3 + 942*genFFq^2 + 1898*genFFq + 437] [ 2459*genFFq^9 + 2056*genFFq^8 + 2048*genFFq^7 + 966*genFFq^6 + 2180*genFFq^5 + 2060*genFFq^4 + 2239*genFFq^3 + 1543*genFFq^2 + 449*genFFq + 984] [ 572*genFFq^9 + 542*genFFq^8 + 1074*genFFq^7 + 22*genFFq^6 + 1419*genFFq^5 + 836*genFFq^4 + 1062*genFFq^3 + 1859*genFFq^2 + 2167*genFFq + 1692] [ 2166*genFFq^9 + 332*genFFq^8 + 1914*genFFq^7 + 2730*genFFq^6 + 1868*genFFq^5 + 1290*genFFq^4 + 2079*genFFq^3 + 782*genFFq^2 + 1485*genFFq + 169] [ 188*genFFq^9 + 196*genFFq^8 + 327*genFFq^7 + 1857*genFFq^6 + 655*genFFq^5 + 1827*genFFq^4 + 2853*genFFq^3 + 1975*genFFq^2 + 1549*genFFq + 889] [ 2830*genFFq^9 + 8*genFFq^8 + 1185*genFFq^7 + 2132*genFFq^6 + 828*genFFq^5 + 1879*genFFq^4 + 949*genFFq^3 + 1490*genFFq^2 + 578*genFFq + 110] [ 386*genFFq^9 + 670*genFFq^8 + 781*genFFq^7 + 851*genFFq^6 + 1299*genFFq^5 + 2082*genFFq^4 + 1084*genFFq^3 + 1735*genFFq^2 + 1577*genFFq + 1501] <5519, 5> [ 1202] [ 2095*genFFq^9 + 4361*genFFq^8 + 2109*genFFq^7 + 3356*genFFq^6 + 1863*genFFq^5 + 3011*genFFq^4 + 2182*genFFq^3 + 2775*genFFq^2 + 4325*genFFq + 50] [4148*genFFq^9 + 1747*genFFq^8 + 1165*genFFq^7 + 4693*genFFq^6 + 2164*genFFq^5 + 1225*genFFq^4 + 1391*genFFq^3 + 4412*genFFq^2 + 3573*genFFq + 3959] [ 4125*genFFq^9 + 86*genFFq^8 + 3873*genFFq^7 + 3771*genFFq^6 + 3694*genFFq^5 + 3160*genFFq^4 + 179*genFFq^3 + 1834*genFFq^2 + 134*genFFq + 1505] [ 4481*genFFq^9 + 3900*genFFq^8 + 427*genFFq^7 + 312*genFFq^6 + 1692*genFFq^5 + 2724*genFFq^4 + 622*genFFq^3 + 2110*genFFq^2 + 5235*genFFq + 3538] [ 3821*genFFq^9 + 783*genFFq^8 + 413*genFFq^7 + 2501*genFFq^6 + 1918*genFFq^5 + 842*genFFq^4 + 2679*genFFq^3 + 4869*genFFq^2 + 1247*genFFq + 1557] [ 4518*genFFq^9 + 4980*genFFq^8 + 2166*genFFq^7 + 4447*genFFq^6 + 453*genFFq^5 + 2446*genFFq^4 + 666*genFFq^3 + 757*genFFq^2 + 2742*genFFq + 2634] [ 2047*genFFq^9 + 3893*genFFq^8 + 3399*genFFq^7 + 827*genFFq^6 + 1397*genFFq^5 + 3765*genFFq^4 + 2731*genFFq^3 + 4072*genFFq^2 + 4367*genFFq + 4439] [2663*genFFq^9 + 1844*genFFq^8 + 2861*genFFq^7 + 1973*genFFq^6 + 3948*genFFq^5 + 5275*genFFq^4 + 4634*genFFq^3 + 2578*genFFq^2 + 1736*genFFq + 1894] [ 3073*genFFq^9 + 4892*genFFq^8 + 2313*genFFq^7 + 1793*genFFq^6 + 4435*genFFq^5 + 1281*genFFq^4 + 5191*genFFq^3 + 2285*genFFq^2 + 2795*genFFq + 372] [1423*genFFq^9 + 4742*genFFq^8 + 2635*genFFq^7 + 5283*genFFq^6 + 2584*genFFq^5 + 4360*genFFq^4 + 2419*genFFq^3 + 2922*genFFq^2 + 4134*genFFq + 3577] <10559, 1> [ 7276] [ 94*genFFq + 8287] [ 7035*genFFq + 5288] [ 3983*genFFq + 956] [ 7103*genFFq + 5629] [ 4435*genFFq + 3428] [ 9826*genFFq + 1552] [ 438*genFFq + 7891] [ 5806*genFFq + 6745] [2964*genFFq + 10496] [ 4954*genFFq + 4571] <11519, 5> [ 7737] [ 2497*genFFq^9 + 9665*genFFq^8 + 2254*genFFq^7 + 1980*genFFq^6 + 2623*genFFq^5 + 10729*genFFq^4 + 3583*genFFq^3 + 10071*genFFq^2 + 388*genFFq + 11314] [ 9026*genFFq^9 + 6986*genFFq^8 + 9371*genFFq^7 + 469*genFFq^6 + 8674*genFFq^5 + 2671*genFFq^4 + 3727*genFFq^3 + 7958*genFFq^2 + 8917*genFFq + 11009] [ 7319*genFFq^9 + 10092*genFFq^8 + 7465*genFFq^7 + 11337*genFFq^6 + 9437*genFFq^5 + 2101*genFFq^4 + 1789*genFFq^3 + 1369*genFFq^2 + 8424*genFFq + 4268] [ 11185*genFFq^9 + 10323*genFFq^8 + 8989*genFFq^7 + 9334*genFFq^6 + 960*genFFq^5 + 1351*genFFq^4 + 7603*genFFq^3 + 7940*genFFq^2 + 853*genFFq + 7032] [ 6560*genFFq^9 + 7898*genFFq^8 + 4005*genFFq^7 + 5762*genFFq^6 + 4890*genFFq^5 + 861*genFFq^4 + 3923*genFFq^3 + 419*genFFq^2 + 6770*genFFq + 8857] [ 4428*genFFq^9 + 10314*genFFq^8 + 529*genFFq^7 + 7898*genFFq^6 + 8067*genFFq^5 + 10028*genFFq^4 + 10918*genFFq^3 + 1223*genFFq^2 + 489*genFFq + 11059] [ 9814*genFFq^9 + 4452*genFFq^8 + 6149*genFFq^7 + 7093*genFFq^6 + 3482*genFFq^5 + 7516*genFFq^4 + 3410*genFFq^3 + 2169*genFFq^2 + 11069*genFFq + 3199] [ 11240*genFFq^9 + 5148*genFFq^8 + 113*genFFq^7 + 1449*genFFq^6 + 9542*genFFq^5 + 10712*genFFq^4 + 3923*genFFq^3 + 4631*genFFq^2 + 11291*genFFq + 5458] [ 2254*genFFq^9 + 13*genFFq^8 + 11499*genFFq^7 + 8492*genFFq^6 + 767*genFFq^5 + 10516*genFFq^4 + 4347*genFFq^3 + 5479*genFFq^2 + 917*genFFq + 6690] [ 9161*genFFq^9 + 6951*genFFq^8 + 1729*genFFq^7 + 2116*genFFq^6 + 8561*genFFq^5 + 5160*genFFq^4 + 8120*genFFq^3 + 10595*genFFq^2 + 8674*genFFq + 2454] <12239, 5> [ 7704] [ 5108*genFFq^9 + 5592*genFFq^8 + 5463*genFFq^7 + 7467*genFFq^6 + 10881*genFFq^5 + 8596*genFFq^4 + 3575*genFFq^3 + 591*genFFq^2 + 4714*genFFq + 7649] [ 9657*genFFq^9 + 11391*genFFq^8 + 2288*genFFq^7 + 3190*genFFq^6 + 5129*genFFq^5 + 9359*genFFq^4 + 867*genFFq^3 + 10270*genFFq^2 + 6676*genFFq + 6907] [ 8770*genFFq^9 + 1447*genFFq^8 + 5562*genFFq^7 + 10068*genFFq^6 + 2527*genFFq^5 + 3873*genFFq^4 + 760*genFFq^3 + 2760*genFFq^2 + 5193*genFFq + 4399] [ 6300*genFFq^9 + 1367*genFFq^8 + 3865*genFFq^7 + 7506*genFFq^6 + 1117*genFFq^5 + 7115*genFFq^4 + 10310*genFFq^3 + 1473*genFFq^2 + 10861*genFFq + 928] [ 725*genFFq^9 + 10716*genFFq^8 + 9925*genFFq^7 + 11640*genFFq^6 + 5988*genFFq^5 + 9367*genFFq^4 + 8182*genFFq^3 + 5191*genFFq^2 + 7350*genFFq + 10988] [ 6345*genFFq^9 + 11254*genFFq^8 + 12082*genFFq^7 + 5863*genFFq^6 + 4532*genFFq^5 + 12112*genFFq^4 + 3225*genFFq^3 + 6268*genFFq^2 + 2154*genFFq + 789] [ 10708*genFFq^9 + 10723*genFFq^8 + 477*genFFq^7 + 9277*genFFq^6 + 9857*genFFq^5 + 206*genFFq^4 + 10606*genFFq^3 + 11270*genFFq^2 + 6703*genFFq + 6550] [ 4222*genFFq^9 + 1416*genFFq^8 + 3516*genFFq^7 + 1253*genFFq^6 + 9437*genFFq^5 + 10660*genFFq^4 + 5463*genFFq^3 + 4303*genFFq^2 + 10192*genFFq + 3382] [ 2743*genFFq^9 + 10129*genFFq^8 + 11782*genFFq^7 + 7775*genFFq^6 + 8614*genFFq^5 + 11439*genFFq^4 + 10116*genFFq^3 + 8046*genFFq^2 + 589*genFFq + 5116] [ 9799*genFFq^9 + 10789*genFFq^8 + 3500*genFFq^7 + 11800*genFFq^6 + 2983*genFFq^5 + 5542*genFFq^4 + 11638*genFFq^3 + 7605*genFFq^2 + 3317*genFFq + 5065] <14159, 5> [ 5721] [ 11526*genFFq^9 + 13032*genFFq^8 + 8801*genFFq^7 + 4474*genFFq^6 + 1364*genFFq^5 + 1146*genFFq^4 + 6025*genFFq^3 + 6814*genFFq^2 + 6626*genFFq + 13042] [ 47*genFFq^9 + 13712*genFFq^8 + 6760*genFFq^7 + 1105*genFFq^6 + 2992*genFFq^5 + 9303*genFFq^4 + 7555*genFFq^3 + 5819*genFFq^2 + 6114*genFFq + 8774] [ 2304*genFFq^9 + 9710*genFFq^8 + 12940*genFFq^7 + 11480*genFFq^6 + 3578*genFFq^5 + 8987*genFFq^4 + 9376*genFFq^3 + 7405*genFFq^2 + 8704*genFFq + 10641] [ 1773*genFFq^9 + 6222*genFFq^8 + 8701*genFFq^7 + 1350*genFFq^6 + 14028*genFFq^5 + 2351*genFFq^4 + 5327*genFFq^3 + 3630*genFFq^2 + 10205*genFFq + 4910] [ 12008*genFFq^9 + 3018*genFFq^8 + 9798*genFFq^7 + 10455*genFFq^6 + 8098*genFFq^5 + 6486*genFFq^4 + 9722*genFFq^3 + 12868*genFFq^2 + 7926*genFFq + 2471] [1211*genFFq^9 + 6513*genFFq^8 + 10172*genFFq^7 + 13404*genFFq^6 + 2285*genFFq^5 + 12651*genFFq^4 + 7417*genFFq^3 + 6666*genFFq^2 + 2029*genFFq + 13856] [ 11459*genFFq^9 + 11301*genFFq^8 + 3222*genFFq^7 + 4937*genFFq^6 + 9381*genFFq^5 + 8290*genFFq^4 + 9641*genFFq^3 + 6735*genFFq^2 + 12195*genFFq + 1067] [ 6711*genFFq^9 + 3799*genFFq^8 + 2680*genFFq^7 + 11025*genFFq^6 + 13751*genFFq^5 + 11129*genFFq^4 + 4875*genFFq^3 + 8699*genFFq^2 + 3700*genFFq + 8789] [ 5031*genFFq^9 + 13224*genFFq^8 + 2717*genFFq^7 + 3056*genFFq^6 + 1236*genFFq^5 + 11959*genFFq^4 + 3629*genFFq^3 + 7445*genFFq^2 + 6798*genFFq + 12868] [ 6888*genFFq^9 + 3132*genFFq^8 + 3540*genFFq^7 + 11350*genFFq^6 + 6968*genFFq^5 + 6322*genFFq^4 + 12183*genFFq^3 + 344*genFFq^2 + 5903*genFFq + 6448] <14519, 1> [ 2662] [ 7705*genFFq + 1134] [ 11162*genFFq + 9831] [ 5181*genFFq + 5336] [ 2936*genFFq + 14502] [ 4242*genFFq + 10032] [ 2032*genFFq + 14025] [ 7729*genFFq + 5915] [ 7522*genFFq + 9883] [ 560*genFFq + 12727] [ 10470*genFFq + 2449]