N cond a-invariants 10 a^2 + a [a + 1, -a^2 + 1, a, -2*a^2 - 1, -a^2 - 1] 10 a^2 + a [1, a^2 + a, a^2 + 1, a^2 + 2, 0] 10 a^2 + a [a^2 + 1, -a^2, a + 1, -5724*a^2 - 2021*a - 8460, 323953*a^2 + 114423*a + 478792] 10 a^2 + a [1, a^2 - 1, 0, -6*a^2 - 2*a - 7, 8*a^2 + 3*a + 11] 10 a^2 + a [a^2 + 1, a^2 - 1, 0, -a^2, 0] 41 a + 3 [a^2 + 1, a - 1, 1, 0, 0] 65 -2*a^2 - a + 1 [a + 1, -a - 1, a + 1, -a^2 - 6, -a^2 + a - 4] 65 -2*a^2 - a + 1 [a + 1, -a - 1, a + 1, -a^2 - 1, -a] 82 2*a^2 - 3*a + 4 [a^2 + a + 1, a, a^2 + a, a^2 + a + 1, a^2 + a + 1] 104 -4*a + 2 [a + 1, a, 1, -9*a^2 + 4*a - 5, -8*a^2 + 4*a - 34] 200 4*a^2 - 4*a + 2 [1, -a + 1, a^2 + a + 1, -3*a^2 - 2*a - 5, 2*a^2 + a + 3] 200 4*a^2 - 4*a + 2 [1, -a^2 + a, a^2, -a^2 + 1, -a^2 + 1] 230 -2*a^2 - 3*a + 4 [a^2 + 1, -1, a^2 + 1, -2*a^2 - 2, -a - 1] 274 4*a^2 - 5*a + 4 [1, a + 1, a + 1, 2*a - 2, -1] 328 2*a^2 + 4*a - 2 [a + 1, 1, a^2 + a + 1, -3*a^2 + 4*a - 3, a^2 - 2*a - 3] 328 2*a + 6 [a + 1, a, a^2, 0, 0] 328 2*a^2 + 4*a - 2 [1, a^2 - a - 1, a + 1, -2*a^2 + 3*a - 2, a^2 - 3*a + 1] 404 5*a^2 - a + 1 [a^2 + a, 1, a^2 + 1, 0, 0] 430 a^2 + 5*a + 4 [a + 1, a^2 - a - 1, a + 1, -4*a^2 + 3*a - 4, a^2 - 7*a + 1] 430 a^2 + 5*a + 4 [1, a^2 + a - 1, a + 1, a^2 - 3*a + 1, -2*a^2 + 2*a - 1] 445 4*a^2 + a - 3 [a^2 + 1, -a^2 + 1, a + 1, -10*a^2 - 2*a - 17, 8*a^2 + 4*a + 6] 454 a - 8 [a^2 + a + 1, 0, a^2 + 1, 0, 0] 500 5*a^2 [a^2, a^2, a^2 + a, -3*a^2 - a - 6, -8*a^2 - 2*a - 12] 520 -4*a^2 - 2*a + 2 [a^2 + 1, a^2 - 1, a + 1, -139*a^2 - 47*a - 208, 1092*a^2 + 383*a + 1621] 520 -4*a^2 - 2*a + 2 [a^2 + 1, a^2 + a, a^2, -19*a^2 + 82*a - 80, 195*a^2 - 454*a + 232] 520 -4*a^2 - 2*a + 2 [a^2 + 1, a^2 + a, a^2, a^2 + 2*a, 7*a^2 - 14*a + 8] 524 a^2 - 7*a + 1 [a^2 + a, a^2 - a - 1, a^2 + 1, -20*a^2 - 5*a - 30, 47*a^2 + 16*a + 70] 548 a^2 - 8 [a^2, -a^2 + 1, a^2, -a^2, 0] 586 2*a^2 - 5*a - 4 [a^2 + a + 1, a^2 - a, a^2, a^2 + a - 4, a - 2] 702 -6*a^2 + 3*a [a^2 + a + 1, -a^2 + a + 1, a + 1, 2*a + 2, 2*a^2 + a + 3] 712 2*a^2 + 10 [a + 1, a - 1, a + 1, a^2 - 2*a + 1, 1] 760 -2*a^2 + 4*a + 6 [a^2 + 1, a^2 - a - 1, a^2 + 1, -51*a^2 - 15*a - 75, 232*a^2 + 83*a + 345] 802 a^2 + 7*a [a^2 + 1, a^2 - a, a, 0, 0] 820 -3*a^2 - 5*a + 3 [a, a^2 + a + 1, a^2 + a + 1, -a^2 + 2, -a^2 - 2] 856 -4*a^2 - 4*a + 2 [a^2 + 1, a^2 + a - 1, a^2 + a + 1, 2*a^2 - 3*a + 10, -12*a^2 + 4*a - 17] 908 a - 10 [a, a + 1, a^2, -a^2 + 3*a - 1, a^2 - 2] 916 -a^2 + a + 9 [a^2, -a^2 - 1, a^2 + 1, 0, 0] 920 -6*a^2 + 4*a - 10 [a + 1, a^2 + a, a^2, -16*a^2 - 6*a - 23, 28*a^2 + 10*a + 41] 920 8*a - 2 [1, -a^2, a^2 + 1, a^2 + a - 5, 3*a^2 + a - 8] 1000 10 [a^2 + 1, a^2 - a + 1, a^2 + a + 1, -6, -5*a^2 + a - 3] 1025 2*a^2 + a + 11 [a^2 + 1, 0, 0, 1, 0] 1030 -3*a^2 - 6*a + 2 [a + 1, -a^2 - a, a, -6*a^2 - 2*a - 8, 12*a^2 + 5*a + 18] 1048 -4*a^2 + 8*a - 10 [a + 1, -a, a, -a^2 + 1, -a + 1] 1154 a^2 - 8*a - 2 [a + 1, -a^2 + 1, a^2, -7*a^2 - 8, 7*a^2 + 3*a + 10] 1172 a^2 + 8*a [a, a + 1, a, a, 0] 1300 -3*a^2 - 7*a + 1 [a^2 + a, 0, a + 1, -3*a - 3, 2*a^2 - 3*a] 1331 11 [0, -1, 1, 0, 0] 1331 11 [0, -1, 1, -10, -20] 1402 4*a^2 - 5*a + 12 [a^2 + a + 1, a^2 + 1, a^2 + 1, 4*a^2 + 4, 3*a^2 + a + 5] 1432 4*a^2 + 6*a - 2 [a + 1, a^2 - a, a^2 + a, -a^2 - 5*a + 7, 6*a^2 - a - 11] 1472 8*a^2 - 4*a + 4 [0, -a^2 + a + 1, 0, -4*a^2 - 4, -5*a^2 - a - 6] 1516 a^2 + 7*a + 7 [a^2, -a^2 + 1, 1, -2*a^2 + 4, -5*a^2 + a - 2] 1544 -8*a^2 + 6*a - 2 [a + 1, -a + 1, a^2, -a^2 - 1, -1] 1570 4*a^2 - 9*a + 12 [a + 1, -a^2 - 1, a^2, -2*a^2 + a - 1, -1] 1592 8*a^2 - 4*a + 2 [a^2 + 1, 1, a + 1, -2*a + 2, 2*a^2 + 5] 1748 a^2 + 9*a + 2 [a^2, -a^2 + 1, a, -5*a^2 - 5, 4*a^2 + 2*a + 7] 1796 a^2 - 9*a - 3 [a^2, a, a^2 + a + 1, -a^2 - 1, -2*a^2 + a - 2] 1846 7*a^2 + 3*a [a^2 + 1, a^2, a^2 + a, a^2 + 1, a^2 + a + 1] 1846 7*a^2 + 3*a [a^2 + a + 1, a^2 - a - 1, a^2 + 1, -6*a^2 - 8, 2*a^2 + 3] 1886 a^2 - 6*a + 14 [a^2 + a + 1, -a^2 + 1, a, a + 2, a^2 + a + 2] 1900 a^2 - a + 13 [a, a - 1, a^2 + 1, -a^2, -2] 1930 6*a^2 - 7*a + 12 [a + 1, a^2 + a - 1, 1, -6*a^2 - 4*a - 8, -22*a^2 - 8*a - 33] 1976 -4*a^2 + 4*a - 14 [a^2 + 1, 1, a^2 + a + 1, 22*a^2 - 45*a + 3, -50*a^2 + 131*a - 117] 1990 -2*a^2 - 9*a + 8 [a^2 + 1, a, a^2, a^2 + 1, a^2 + 1] 1990 -a^2 - 3*a - 12 [1, a^2 - a, a^2, -16*a^2 - 6*a - 23, 43*a^2 + 15*a + 63] 2047 -2*a^2 - a + 13 [a^2 + 1, 1, a^2 + 1, 0, 0] 2080 2*a^2 - 10*a - 2 [a^2 + a + 1, a^2 + a - 1, 0, -a^2 - a, 0] 2120 2*a^2 - 4*a + 14 [a + 1, -a^2 + a, a + 1, -3*a^2 - 2*a - 3, a^2 + 4] 2140 -7*a^2 - a + 6 [a, 0, a, -8*a^2 + 5*a - 21, -7*a^2 - 15*a - 7] 2194 8*a^2 + a [1, a^2 + a, a^2, a^2 - a + 2, 0] 2300 9*a^2 - 5*a + 1 [a^2, -a, a^2 + 1, -1, -12*a^2 - 4*a - 18] 2371 11*a - 3 [0, a^2 - a + 1, 1, -a, 0] 2500 -a^2 - 3*a - 13 [a^2 + a, 1, a + 1, -a^2 - a, -a] 2525 8*a^2 - 3 [0, a - 1, 1, -11*a^2 - 5*a - 16, 27*a^2 + 10*a + 40] 2600 -8*a^2 + 6*a - 14 [a + 1, -a^2 + a, a, 5*a^2 - 21*a - 18, -51*a^2 + 29*a - 42] 2620 9*a^2 - 9*a + 7 [a^2 + 1, -a^2 + a + 1, a^2 + a + 1, -a^2 - 2, -a^2 - 2] 2671 2*a^2 - 2*a + 15 [a + 1, a^2 - a + 1, 1, -1, 0] 2744 14 [1, 0, 1, -1, 0] 2744 14 [1, 0, 1, -36, -70] 2770 -7*a^2 + 11*a - 12 [1, -a^2 + a + 1, a^2 + a + 1, -3*a^2 + 2*a - 2, -2*a^2 + a - 3] 2770 -9*a^2 + a [a + 1, -a^2 + a, a^2 + a, -2*a^2 + a - 2, -a^2 + a - 2] 2780 5*a^2 - 4*a + 16 [0, 1, a, a, 0] 2840 4*a^2 + 8*a - 6 [a + 1, a, a^2 + a, -22*a - 43, -9*a^2 + 63*a + 97] 2920 10*a^2 - 8*a + 2 [a^2 + 1, a^2 - 1, a^2 + 1, 38*a^2 - 33*a + 6, 7*a^2 - 144*a - 37] 2990 5*a^2 + 8*a - 2 [a + 1, -a, a + 1, -6*a - 11, -a^2 + 11*a + 10] 3008 12*a - 4 [0, -a^2 + a + 1, 0, -5*a^2 + 4*a - 9, -6*a^2 + 4*a - 14] 3040 6*a^2 - 10*a + 14 [a^2 + a + 1, -1, a^2 + a + 1, -4*a^2 + 5*a - 4, -4*a^2 + 5] 3040 6*a^2 - 10*a + 14 [a^2 + a + 1, -a^2 - 1, a^2 + a + 1, -4*a^2 - a, -4*a + 1] 3110 10*a^2 - 7*a + 8 [a^2 + 1, a^2 + 1, a + 1, a + 2, a^2 - a + 1] 3112 4*a^2 + 10*a + 2 [1, 1, a + 1, -7*a^2 - 11*a - 21, 23*a^2 + 19*a + 39] 3116 11*a^2 - 5*a + 11 [a^2 + a, -a + 1, a^2 + a + 1, -26*a^2 + 26*a + 8, -38*a^2 - 62*a + 150] 3160 -4*a^2 + 6*a + 10 [a^2 + 1, a^2 - 1, a^2 + a + 1, -6*a^2 + 19*a - 21, -20*a^2 + 31*a - 15] 3176 -10*a - 6 [1, a^2 - 1, a^2 + 1, -9*a^2 - 2*a - 11, 13*a^2 + 4*a + 19] 3208 2*a + 14 [1, -a^2 - a - 1, a^2 + 1, -21*a^2 - 7*a - 31, 104*a^2 + 37*a + 153] 3208 12*a - 2 [a^2 + 1, a^2 + 1, 1, -29*a^2 - 11*a - 42, 79*a^2 + 28*a + 117] 3250 -10*a^2 + 5*a [a^2 + 1, -a^2 - a + 1, a + 1, -2*a^2 - 9*a + 9, -8*a^2 - 3*a + 15] 3250 -10*a^2 + 5*a [1, a^2 + a - 1, a^2 + 1, a^2 - 5*a + 4, -a^2 + 6*a - 9] 3375 15 [1, 1, 1, 0, 0] 3375 15 [1, 1, 1, -10, -10] 3392 -11*a^2 + a - 5 [a^2 + a + 1, a, a^2 + a + 1, -a^2 + a - 2, -a^2 - 1] 3440 2*a^2 + 10*a + 8 [a, a^2 + a, a, 1, 1] 3551 a^2 - 15 [1, a - 1, a + 1, -1, -a] 3617 a + 15 [1, -a^2 - 1, a^2 + 1, -a^2 - 1, 0] 3680 -6*a^2 - 6*a + 10 [a^2 + a + 1, a^2 + a - 1, 0, -4*a^2 - 4*a - 24, -76*a^2 - 28*a - 64] 3680 -6*a^2 - 6*a + 10 [a^2 + a + 1, a^2 + a - 1, 0, a^2 + a + 6, 0] 3694 -9*a^2 + 8*a - 14 [a^2 + a + 1, a - 1, a + 1, -a^2 + 3*a - 1, 3*a^2 - 4*a + 1] 3800 12*a + 2 [1, -a, a^2 + a, -3*a^2 - 2, a^2 + 4] 3800 12*a + 2 [1, -a^2 + a, a^2 + a, -6*a^2 - 4*a - 5, -1] 3928 4*a^2 + 18 [a^2 + 1, -1, a^2 + a + 1, -2*a^2 - 2*a - 3, -a^2 - 1] 3950 9*a^2 + 2*a - 2 [a^2 + a + 1, -a + 1, 1, 2*a^2 - a + 1, a^2 + a - 1] 4100 7*a^2 - 13*a + 15 [a^2, -a^2 - a + 1, a^2 + 1, 12*a^2 + 2*a - 26, 45*a^2 + 16*a - 100] 4100 7*a^2 + 5*a - 7 [a, a^2 - 1, a^2 + 1, -a^2 + a, -a] 4100 7*a^2 - 13*a + 15 [a, -a^2 + a, a^2 + a + 1, -24*a^2 - 13*a - 33, 89*a^2 + 32*a + 128] 4120 -2*a^2 + 8*a + 10 [a + 1, -a + 1, a^2, -3*a^2 - a - 2, -a^2 - 2*a] 4168 2*a^2 - 8*a + 18 [a + 1, -a, a^2, -2*a^2 - 3, a^2 + 1] 4168 2*a^2 - 8*a + 18 [a^2 + 1, a^2 + a - 1, a^2 + a + 1, -5*a^2 - 4*a - 5, -16*a^2 - 4*a - 25] 4223 -a^2 + 2*a + 15 [a + 1, -a + 1, a + 1, -2*a, -a] 4264 10*a^2 + 4*a + 2 [a + 1, -a^2 + a, a, 5*a^2 - 5*a + 10, -7*a^2 + 5*a - 10] 4280 12*a^2 - 2*a + 6 [a^2 + 1, -a^2 + 1, a, -a^2 + 4*a + 1, 9*a^2 + 4*a + 11] 4280 12*a^2 - 2*a + 6 [1, -a + 1, a^2, -11*a^2 - 6*a - 8, 17*a^2 + 10*a + 32] 4288 12*a + 4 [0, -a^2 + 1, 0, -13*a^2 - 4*a - 16, 34*a^2 + 12*a + 52] 4370 9*a^2 + a - 8 [a^2 + 1, 0, a + 1, -28*a^2 - 5*a - 82, -56*a^2 + a - 180] 4370 9*a^2 + a - 8 [a^2 + 1, 0, a + 1, -23*a^2 - 5*a - 32, 59*a^2 + 19*a + 80] 4456 -4*a^2 + 6*a - 18 [1, -a^2 + a, 0, -2*a + 1, 1] 4462 8*a^2 - 9*a + 16 [1, -a^2 + a - 1, a + 1, -a^2 - a - 3, 2*a^2 + 3] 4577 a^2 + 17 [1, -a + 1, a + 1, -a, -a] 4639 a - 17 [1, a^2 + 1, a^2 + 1, 0, 0] 4670 -11*a^2 + 11*a - 8 [a + 1, a^2 - a - 1, a^2 + 1, -3*a^2 + 2*a, a^2 - 2*a - 1] 4780 -5*a^2 - 9*a + 11 [a, -a, 1, -4*a^2 - 2*a - 7, 8*a^2 + 3*a + 12] 4913 17 [1, -1, 1, -1, 0] 4945 -6*a + 19 [a + 1, -a^2 + a + 1, 1, -13*a^2 - 11*a - 18, 35*a^2 + 12*a + 48] 5000 10*a + 10 [a + 1, a^2 + a + 1, a^2 + 1, -172*a^2 - 64*a - 265, 1444*a^2 + 513*a + 2151] 5000 4*a^2 + 12*a + 2 [a^2 + 1, a^2 + a + 1, a^2 + 1, 5*a^2 - 2*a + 2, 4*a^2 - 3*a + 3] 5048 -4*a^2 + 14*a + 2 [a + 1, -a^2 - a, 0, -26*a + 12, 16*a^2 - 12*a + 104] 5210 -2*a^2 - 13*a + 4 [a + 1, a^2 - a - 1, 1, -5*a^2 - 2*a - 7, 5*a^2 + 3*a + 7] 5210 -12*a^2 + 7*a - 16 [1, a^2 + a + 1, a + 1, a^2 - a + 1, -a^2 - a - 1] 5290 -12*a^2 + 9*a - 4 [a^2 + 1, a^2 + a, 0, -702*a^2 - 248*a - 1042, 12820*a^2 + 4527*a + 18946] 5312 -12*a^2 + 8*a - 4 [0, -a^2 + 1, 0, -37*a^2 - 13*a - 51, 172*a^2 + 60*a + 256] 5330 -9*a^2 + 8*a - 18 [a^2 + 1, a^2 - a + 1, a^2 + 1, -a^2 - a - 3, -2*a^2 - 3] 5380 a^2 - 5*a + 19 [a^2, a^2 - 1, a^2 + 1, -a^2, -a^2] 5400 12*a^2 - 12*a + 6 [a + 1, a^2 - a - 1, a + 1, -5*a^2 + a - 7, 3*a^2 + 2*a + 7] 5420 -a^2 - 3*a - 17 [a^2, 1, a^2 + a + 1, -a^2 - 5*a + 6, -7*a^2 + 2*a + 6] 5480 12*a^2 - 6*a + 2 [a^2 + 1, -a^2, a^2 + a, -15*a - 13, -17*a^2 + 17*a - 23] 5560 4*a^2 + 12*a - 2 [a^2 + 1, a^2 + a + 1, a + 1, -893*a^2 - 318*a - 1319, 18249*a^2 + 6445*a + 26973] 5590 11*a^2 + a [a^2 + 1, -a^2 - 1, a^2 + a, -13*a^2 - 3*a - 20, -17*a^2 - 5*a - 26] 5750 5*a^2 + 10*a - 10 [1, -a^2 + 1, a^2 + 1, -8*a^2 - 3*a - 6, -8*a^2 - a - 9] 5750 -10*a^2 - 5*a [1, 0, a, -357*a^2 - 127*a - 527, 5022*a^2 + 1774*a + 7423] 5750 -10*a^2 - 5*a [a^2 + 1, a^2 + a - 1, a + 1, -5*a + 3, 2*a^2 - 3*a - 1] 5752 -12*a^2 + 2*a - 2 [a + 1, a, a, 0, 0] 6008 8*a^2 + 8*a - 2 [a + 1, -a^2 - a + 1, 1, -2*a^2 - 4*a + 3, -2*a^2 + 5] 6088 -2*a^2 - 4*a - 18 [1, -a^2 - 1, a^2 + a + 1, a^2 - a + 1, -a^2 - a - 1] 6098 -9*a^2 + 13*a - 16 [a^2 + a + 1, -a^2 + a - 1, 1, -a^2 + 2*a, a^2 - 1] 6145 2*a^2 + a + 19 [a^2 + 1, -1, a^2 + 1, -2*a^2 - a - 3, 0] 6184 10*a^2 + 4*a - 2 [1, -a^2 + a, 0, -9*a^2 + 2*a - 20, 24*a^2 + a + 34] 6220 -3*a^2 + 11*a + 9 [a^2, 1, 1, -5*a^2 + 9*a - 6, 6*a^2 - 5*a - 4] 6250 -5*a^2 + 10*a + 10 [a^2 + a + 1, a + 1, 1, 5*a^2 + a + 3, 5*a^2 + 3] 6257 2*a^2 - 2*a - 17 [a + 1, -a^2 - a - 1, 1, -a, 0] 6422 -5*a^2 + 9*a - 20 [a^2 + a + 1, a^2 - a, a^2 + a, a + 1, a^2 + a + 1] 6472 12*a^2 + 2*a + 2 [1, -a^2 + a, a, -1, -a + 1] 6550 -13*a^2 + 3*a - 4 [a^2 + a + 1, a^2, a^2 + a, a^2 + 3*a - 3, -a^2 - a + 5] 6560 -6*a^2 - 10*a + 6 [a^2 + a + 1, -a^2 + 1, a^2 + a + 1, -36*a^2 - 13*a - 55, -200*a^2 - 71*a - 295] 6560 -6*a^2 - 10*a + 6 [a^2 + a + 1, a^2 - a, 0, -83*a^2 - 20*a - 112, 394*a^2 + 124*a + 600] 6560 -6*a^2 - 10*a + 6 [a^2 + a + 1, a^2 - a, 0, -8*a^2 - 12, -21*a^2 - 9*a - 30] 6560 -6*a^2 + 2*a - 22 [a^2 + a + 1, 0, a^2 + a + 1, -a - 4, -2*a^2] 6560 2*a^2 + 14*a + 2 [a^2 + a + 1, 0, 0, 2*a^2 + 2, a^2] 6568 2*a + 18 [1, -a^2 - a + 1, a^2 + 1, 3*a^2 - 4*a, a^2 - a - 3] 6752 10*a^2 - 10*a + 18 [a^2 + a + 1, -a^2, 0, -a^2 + 3*a - 3, a^2 - 3*a - 1] 6760 -6*a^2 + 16*a + 2 [a + 1, -a^2 - a - 1, a^2 + 1, -40*a^2 - 10*a - 65, 216*a^2 + 85*a + 313] 6773 3*a^2 - 8*a - 13 [0, a + 1, 1, -5*a^2 + a - 6, 2*a^2 + 2*a + 4] 6859 19 [0, 1, 1, 1, 0] 7100 a^2 + 15*a - 1 [a^2, a, a^2 + a + 1, -4*a^2 - a - 7, a^2 + a + 2] 7240 12*a^2 + 4*a + 2 [1, -a + 1, 1, 2*a^2 - 5, 2*a^2 + a - 5] 7290 9*a^2 + 9*a [a + 1, -a^2 + a - 1, a + 1, -2*a^2 - 7*a + 10, -16*a^2 + 20*a + 1] 7290 9*a^2 + 9*a [1, -1, a^2 + 1, -140*a^2 - 66*a + 64, 682*a^2 - 1199*a + 493] 7290 9*a^2 + 9*a [a^2 + 1, a^2 - a, 0, -189*a^2 - 48*a - 243, 1560*a^2 + 583*a + 2263] 7290 9*a^2 + 9*a [a + 1, -a^2 + a - 1, a^2 + 1, -592*a^2 - 183*a - 870, 10526*a^2 + 3683*a + 15481] 7340 13*a^2 - 10*a + 12 [0, a^2 + a - 1, a^2 + a, -2*a + 2, -a^2 + a - 2] 7402 13*a^2 - 2*a + 2 [a^2 + a + 1, -a + 1, 1, a^2 - 2*a + 4, 2*a^2 - 2*a + 1] 7454 -9*a^2 - 8*a + 2 [a^2 + 1, -a - 1, 1, -a^2 + 2*a - 2, -a + 1] 7562 -9*a^2 + 14*a - 18 [a + 1, -1, a^2 + 1, -a^2 - 3*a - 1, -a^2 + a + 1] 7690 -13*a^2 + 12*a - 10 [a^2 + a + 1, -a^2 + 1, a^2 + a, -a^2, 0] 7790 8*a^2 + 9*a - 4 [a^2 + 1, a^2 - 1, a^2 + a, -5*a^2 - a - 1, -2*a^2 + 4*a - 1] 7900 3*a^2 - 11*a - 11 [a, -a^2 - a, 1, 5*a^2 + 2*a + 5, -2*a^2 - a - 2] 7960 12*a^2 - 10*a + 18 [1, -a + 1, 1, -107*a^2 - 40*a - 156, 837*a^2 + 288*a + 1235] 8000 20 [0, 1, 0, 4, 4] 8000 20 [0, 1, 0, -1, 0] 8020 7*a^2 + 12*a [a^2, -a^2 - 1, a^2, a^2 - 4*a + 3, -2*a^2 - a + 4] 8192 16*a [0, a^2, 0, -a^2 - 1, 0] 8200 4*a^2 + 2*a + 22 [a + 1, a^2 + a + 1, 1, 3*a^2 - 2, -3*a^2 - 3*a + 1] 8200 -10*a^2 + 8*a - 22 [a + 1, 1, 1, a^2 - a, a^2 - 2*a + 1] 8200 -6*a^2 + 8*a + 14 [a^2 + 1, -a^2 - a, 0, a^2 - 3*a + 3, -a^2 - a + 3] 8200 -12*a^2 + 14*a - 14 [a^2 + 1, -a^2 - 1, 1, 7*a^2 - 14*a, 5*a^2 - 36*a + 7] 8200 -10*a^2 + 8*a - 22 [1, -a, a^2, -133*a^2 - 80*a - 175, 1246*a^2 + 433*a + 1943] 8210 11*a^2 + 8*a + 2 [a^2 + a + 1, a^2 + a + 1, a^2, 5*a^2 + a + 10, 7*a^2 + a + 8] 8392 -4*a^2 + 12*a + 10 [a^2 + 1, -1, 1, 2*a^2 - 3*a - 18, 9*a^2 - 6*a - 21] 8441 -14*a^2 + 10*a - 5 [a^2 + 1, a^2, a^2 + a, a^2 - a - 5, a - 4] 8480 14*a^2 - 10*a + 6 [a^2 + a + 1, a^2 - a, 0, a, -2*a^2 + a - 2] 8488 -12*a^2 + 16*a - 14 [a^2 + 1, -a^2 - a, a^2 + a, -2*a^2 - 2*a, -2*a^2 + a + 2] 9160 4*a^2 - 4*a - 18 [1, a^2 + a, a^2, 29*a^2 - 66*a + 82, 108*a^2 + 88*a - 244] 9215 2*a^2 + a - 21 [a^2 + 1, -1, a^2 + 1, -4, -2] 9230 -4*a^2 + a + 20 [a^2 + 1, 1, 0, -5*a^2 + 6*a + 2, -5*a^2 + a + 8] 9230 -4*a^2 + a + 20 [a^2 + 1, a^2 + a - 1, a^2, -168*a^2 - 61*a - 251, 1426*a^2 + 503*a + 2107] 9261 21 [1, 0, 0, -4, -1] 9340 -3*a + 22 [0, a^2 + a + 1, a^2 + a, 2*a^2 + 2, 0] 9430 a^2 - 2*a + 22 [a + 1, -a^2 + a + 1, 1, -6*a^2 - 21*a - 20, 53*a^2 - 41*a + 97] 9430 a^2 - 2*a + 22 [a + 1, -a^2 + a + 1, 1, -a^2 - a, a^2 - a + 1] 9568 2*a^2 - 18*a + 2 [a^2 + a + 1, -1, a^2 + a + 1, -2*a^2 - 3, -a^2 - 1] 9568 2*a^2 - 18*a + 2 [a^2 + a + 1, -a^2, 0, 11*a^2 - 19*a + 13, a^2 + 26*a - 31] 9650 -a^2 - 8*a - 18 [a^2 + 1, -a^2 + 1, a^2 + a + 1, -4*a^2 - 3*a - 3, -5*a^2 - 3*a - 3] 9848 -14*a - 10 [a + 1, -a^2, a^2, -86*a^2 - 21*a - 124, 551*a^2 + 193*a + 802] 9880 -6*a^2 - 12*a + 14 [a + 1, a - 1, a^2 + 1, -50*a^2 + 2*a - 73, 167*a^2 + 80*a + 267] 9880 -6*a^2 - 12*a + 14 [a + 1, a - 1, a^2 + 1, -145*a^2 + 42*a - 253, -598*a^2 - 710*a - 1037] 9934 a^2 - 9*a - 16 [a + 1, a^2 - a - 1, a + 1, -5*a^2 - 2*a - 5, 5*a^2 + a + 5] 10040 -14*a^2 + 12*a - 14 [1, a - 1, a^2 + a + 1, -5*a^2 - 3*a - 10, 20*a^2 + 8*a + 31] 10097 -2*a^2 - 17*a + 13 [a^2 + 1, -a + 1, 1, -a^2 - 1, 0] 10312 -12*a^2 - 2*a + 6 [1, 1, a^2 + a + 1, -4*a^2 - 2, a^2 - 3*a + 3] 10328 -12*a^2 + 10*a - 22 [a^2 + 1, a^2, a^2, 0, 0] 10400 -14*a^2 - 2*a - 2 [a^2 + a + 1, -a, 0, -4*a^2 + 10*a - 6, 5*a^2 - 8*a] 10420 -11*a^2 + 15*a - 19 [a^2, 1, a^2 + a + 1, -8*a^2 - 3*a + 10, -14*a^2 + 3*a - 18] 10480 8*a^2 + 10*a - 8 [a^2, a^2 - 1, a^2 + a, -a - 2, -a^2 + a - 3] 10510 2*a^2 - 19*a + 4 [a^2 + a + 1, a^2 + a + 1, a^2 + 1, -2*a^2 - 3*a + 1, -3*a^2 + 3*a - 1] 10534 3*a^2 + 16*a - 10 [a^2 + a + 1, -a^2 - a, a, -2*a^2 + a - 2, 0] 10790 12*a^2 + 7*a [a^2 + 1, -a^2 + a + 1, a^2 + 1, 6*a^2 - 16*a + 4, 8*a^2 - 44*a + 43] 10792 10*a^2 - 12*a + 22 [a^2 + 1, a^2, a, a^2 + 1, a + 1] 10820 a^2 + 3*a - 23 [a, -a - 1, a^2 + 1, -2*a^2 - 2, 2*a^2 + 2] 11070 6*a^2 - 15*a + 24 [a^2 + a + 1, -a^2 + a - 1, a^2 + 1, 4*a^2 - 4*a + 1, 3*a^2 - 7*a + 7] 11272 -4*a^2 + 22 [1, -a^2 + a, a, -28*a^2 - 63*a + 129, -346*a^2 + 667*a + 257] 11402 -15*a^2 + 14*a - 10 [a^2 + a + 1, a, a^2 + a, 3*a^2 + 5*a + 3, a^2 + 3*a + 1] 11450 -14*a^2 + 11*a - 20 [a^2 + a + 1, a^2 + 1, 1, 3*a^2 + a + 7, -2*a^2 + 10*a + 1] 11546 -a^2 + 5*a + 20 [a^2 + 1, 1, 0, -5*a^2 + 2*a - 5, 3*a + 3] 11570 16*a^2 - 9*a + 20 [a + 1, -a^2, a^2, -101*a^2 - 39*a - 158, -704*a^2 - 303*a - 1038] 11570 16*a^2 - 9*a + 20 [a^2 + 1, -a^2 - a + 1, a^2, 3*a^2 - 17*a + 9, 2*a^2 - 26*a + 33] 11960 16*a^2 - 12*a + 2 [a + 1, -a + 1, a^2 + 1, -4*a^2 + 6*a - 5, -a^2 + 2*a - 3] 11960 16*a^2 - 12*a + 2 [a + 1, -a^2 - 1, a^2 + a + 1, -87*a^2 - 29*a - 127, 625*a^2 + 221*a + 923] 12008 -12*a^2 - 4*a + 6 [a + 1, -a^2, 0, 8*a^2 - 2*a + 10, -4*a^2 - 12*a - 4] 12098 15*a^2 + 2 [a + 1, a, 0, a^2, 0] 12248 -2*a^2 + 8*a + 18 [a^2 + 1, 1, 1, -102*a^2 - 34*a - 152, 671*a^2 + 236*a + 989] 12545 6*a^2 - 14*a + 25 [a + 1, a^2 + a + 1, 1, -14*a^2 - 6*a - 22, 23*a^2 + 8*a + 34] 12620 3*a^2 - 9*a - 17 [a + 1, -a^2 - a, a, -a^2 + 4*a - 7, 10*a^2 - 11*a - 4] 12742 2*a^2 - 21*a + 8 [a^2 + a + 1, -a^2 - a, a^2 + 1, -2*a^2 - a - 4, 0] 12766 -16*a^2 + 3*a - 4 [a + 1, a^2 - a - 1, 1, -2*a^2 - 2, a^2 + 1] 12820 17*a^2 - 9*a + 19 [a^2, -a^2 + a + 1, a^2 + 1, -8*a^2 - a - 18, 20*a^2 + 2*a + 14] 13000 -20*a + 10 [a^2 + 1, -a + 1, 0, 3*a^2 + 20*a - 52, a^2 + 84*a - 92] 13030 a^2 - 19*a [a^2 + a + 1, -a^2 - a, a^2 + 1, -2*a^2 - a, -a^2] 13274 -14*a^2 + a + 8 [a^2 + a + 1, -a + 1, a^2 + 1, -31*a^2 - 10*a - 41, 80*a^2 + 23*a + 123] 13448 2*a^2 - 8*a + 26 [a^2 + 1, -a^2 - a, a^2, -2*a + 1, 4*a^2 + 5] 13472 2*a^2 + 18*a + 2 [a^2 + a + 1, -1, a^2 + a + 1, -7*a^2 - 2*a - 10, 2*a^2 + a + 3] 13544 4*a^2 - 6*a + 26 [a^2 + 1, -a^2 + 1, a^2 + 1, -a^2 + 2*a - 5, a^2 - 2*a - 1] 13592 -8*a^2 - 14*a + 2 [1, -a^2 - 1, 1, -4*a^2 + 4*a - 4, a^2 + 4*a + 7] 13672 10*a^2 + 8*a - 14 [a + 1, -a^2 + a + 1, a + 1, -87*a^2 - 31*a - 129, 551*a^2 + 192*a + 815] 13672 6*a^2 - 20*a - 2 [a^2 + 1, -a - 1, 1, a^2 - 2, -a^2 + 3*a + 1] 13780 -11*a^2 + 17*a - 22 [a^2 + a, -a^2 - a, a, -2*a^2 - a - 1, a^2 - a + 3] 13876 7*a^2 + 13*a - 15 [a^2 + a, -a^2 - a - 1, a^2 + a + 1, 0, 0] 13982 15*a^2 + a [1, a^2 - 1, a^2 + 1, -2*a^2 - 1, a^2 + 1] 14050 5*a^2 - 19*a - 4 [a^2 + a + 1, 1, 1, 2*a^2 + 10*a - 10, 5*a^2 - 17*a + 19] 14104 -12*a^2 + 10*a - 26 [a + 1, -1, a^2 + 1, 4*a^2 + a + 6, 3*a^2 + 5] 14155 -3*a^2 - 18*a + 5 [0, -a^2 - 1, 1, 2*a^2 - 2*a + 2, -a] 14408 4*a^2 + 2*a + 26 [1, -a, 0, 2*a^2 - 3*a - 2, 3*a^2 - 2*a] 14438 17*a^2 + 2*a + 6 [a^2 + a + 1, a, a^2 + a, -2*a^2 - 2, -a^2 + a - 2] 14680 4*a^2 - 16*a - 10 [a^2 + 1, 1, a^2 + 1, 2*a^2 + a - 2, 4*a^2 + 2*a + 9] 14782 15*a^2 - 2 [1, a^2 - a, a^2 + a, -a, -a^2 + a - 2] 15124 -a^2 - 9*a - 21 [a, 1, 1, a^2 - 3*a + 2, a^2 - 4*a + 4] 15184 -16*a^2 + 14*a - 16 [a, a^2 + a + 1, 0, 2*a^2 + 2*a, a^2 + a - 1] 15220 -3*a^2 + 23*a - 9 [1, a^2 - a - 1, a^2 + a + 1, -a - 1, -2*a^2 + a - 2] 15490 19*a^2 - 8*a + 18 [a + 1, -a^2 + a, 0, -a^2 + a - 2, 0] 15550 13*a^2 - 9*a + 28 [a^2 + a + 1, -a^2 + a - 1, 1, a^2 - 2, a^2 - 2*a + 1] 15580 5*a^2 - 21*a - 1 [a^2 + a, -a^2 + a - 1, 1, a^2, 3*a^2 - a + 2] 15902 -16*a^2 + a [1, a, a, 0, 0] 16040 12*a^2 - 12*a + 26 [a + 1, -a^2 + 1, a^2 + 1, -2*a^2 + 2*a - 3, 3*a^2 + a + 3] 16318 2*a^2 - 13*a - 16 [a^2 + a + 1, a^2 + a - 1, 1, 3*a^2 + a + 6, 4*a^2 + a + 5] 16372 -3*a^2 - 8*a - 24 [0, a^2 + a - 1, a^2 + a, 2*a^2 + 4, a^2 + a + 1] 16376 -4*a^2 - 2*a + 26 [1, -a + 1, a + 1, -90*a^2 - 34*a - 133, 648*a^2 + 228*a + 957] 16384 4*a^2 - 12*a + 28 [0, a^2 + a - 1, 0, -a^2 - a - 3, 0] 16384 16*a^2 [0, -1, 0, -a^2 + 3*a - 3, a^2 - 3*a + 3] 16384 16*a^2 [0, -1, 0, -a^2 - a + 1, a^2 + a - 1] 16441 -a^2 - 10*a - 21 [a + 1, a, 0, -4, -a^2 - 6*a - 1] 16606 -13*a^2 - 7*a + 4 [a^2 + 1, a + 1, 1, 2*a^2 - a + 2, a^2 - 2*a + 3] 16924 -9*a^2 - 13*a + 7 [a, -a^2 - a - 1, a^2 + a + 1, -3*a^2 - a - 4, 8*a^2 + 3*a + 12] 16930 16*a^2 + a [1, -a, a, -a, 0] 17434 16*a^2 - 19*a + 16 [a^2 + a + 1, a^2 - 1, 1, -21*a^2 + 38*a - 19, -61*a^2 + 28*a + 39] 17480 12*a^2 - 8*a + 30 [a^2 + 1, -a^2 - a, a, -a^2 + 3*a - 6, -a^2 + 9*a - 10] 17480 2*a^2 + 20*a - 2 [1, -a - 1, a, -308*a^2 - 119*a - 444, 4275*a^2 + 1517*a + 6338] 17576 26 [1, -1, 1, -3, 3] 17630 -3*a^2 - 5*a + 28 [1, -a^2 - a + 1, a^2 + a + 1, -14*a^2 - 22*a - 28, -36*a^2 - 43*a - 57] 17800 -12*a^2 + 14*a - 26 [a^2 + 1, -1, 1, -a^2 + 6*a - 6, -2*a^2 + 9*a - 5] 17800 -18*a^2 + 12*a - 10 [a + 1, -a^2 - a + 1, a + 1, -4*a^2 - 3*a - 2, 3*a^2 + 2*a + 7] 17858 17*a^2 + 2 [1, -a^2 + a, a^2 + a, -a^2, -a^2 + a - 2] 18170 a^2 - 26 [1, 0, a + 1, -1, -a] 18170 a^2 + 14*a + 18 [a^2 + 1, a^2 - a + 1, a + 1, -643*a^2 - 227*a - 954, 11496*a^2 + 4062*a + 16993] 18860 -18*a^2 + 17*a - 10 [a^2, -a - 1, a^2 + a, 2*a^2 - 2*a - 4, -2*a^2 + 2*a - 1] 18862 -13*a^2 - 10*a + 2 [a^2 + a + 1, -a^2 - a, a, -a, 0] 19000 -10*a + 30 [1, -a^2 + a, a^2 + a + 1, -44*a^2 + 23*a + 29, -4*a^2 - 145*a + 224] 19106 -17*a^2 + a [1, -a^2 + 1, a^2 + 1, -3*a^2 - 2, -a^2 - 1] 19204 -15*a^2 - 3*a + 5 [a^2, -a^2 + a + 1, 1, -9*a^2 - 8, 8*a^2 + 4*a + 14] 19510 3*a^2 - 21*a - 4 [a^2 + a + 1, -a^2 - a, a^2 + a, -3*a^2 + a - 2, -a^2 + a - 2] 19570 -23*a + 12 [a + 1, a^2 - a, a^2 + a + 1, -41*a^2 - 15*a - 54, 157*a^2 + 53*a + 222] 19802 -17*a^2 + 13*a - 24 [a^2 + a + 1, a^2 - a, a^2 + a, -2*a^2 + 3*a - 5, -a^2 - a + 1] 19912 2*a^2 + 12*a + 22 [a + 1, a + 1, a^2 + 1, 5*a^2 + a + 9, a^2 + 1] 19912 -18*a^2 + 4*a - 2 [1, -a^2 - a - 1, a + 1, -5*a^2 - 2*a - 6, 17*a^2 + 6*a + 25] 19912 -18*a^2 + 4*a - 2 [a + 1, -a^2 + a + 1, a^2 + 1, -65*a^2 - 27*a - 27, 268*a^2 - 49*a + 363]