31 5*a-2 [2] 31 5*a-3 [2] 36 6 [2, 5] 41 a+6 [7] 41 a-7 [7] 45 6*a-3 [2, 421] 49 7 [5] 55 a+7 [2, 3] 55 -a+8 [2, 3] 64 8 [2] 71 a+8 [2, 3] 71 a-9 [2, 3] 76 -8*a+2 [3] 76 -8*a+6 [3] 76 -8*a+2 [5] 76 -8*a+6 [5] 79 -8*a+3 [2] 79 -8*a+5 [2] 80 8*a-4 [2, 3] 81 9 [2, 3, 5] 89 a-10 [2, 3] 89 a+9 [2, 3] 95 2*a-11 [2, 3] 95 -2*a-9 [2, 3] 99 9*a-3 [2] 99 9*a-6 [2] 100 10 [3, 5] 100 10 [3, 5] 116 2*a+10 [5] 116 -2*a+12 [7] 116 2*a+10 [7] 116 -2*a+12 [5] 121 11 [5] 124 10*a-4 [2, 3] 124 10*a-6 [2, 3] 144 12 [2] 145 11*a-3 [2] 145 11*a-8 [3] 145 11*a-3 [3] 145 11*a-8 [2] 155 a-13 [2] 164 2*a-14 [2] 171 -12*a+3 [2, 3] 171 -12*a+9 [2, 3] 176 12*a-4 [2, 3] 176 12*a-8 [2, 3] 179 -12*a+5 [3] 179 12*a-7 [3] 180 12*a-6 [2, 3] 191 2*a+13 [2] 191 -2*a+15 [2] 196 14 [2, 3] 199 3*a+13 [3] 199 -3*a+16 [3] 199 -3*a+16 [2] 205 13*a-4 [2] 205 13*a-9 [2, 3] 205 13*a-9 [2] 205 13*a-4 [2, 3] 209 -13*a+5 [2] 209 -13*a+8 [2] 209 -a-14 [3] 209 -13*a+5 [2, 3] 209 -13*a+8 [2, 3] 209 a-15 [3] 209 -13*a+5 [2] 209 -13*a+8 [2] 209 -a-14 [2] 209 a-15 [2] 220 -2*a+16 [2, 3] 220 2*a+14 [2, 3] 220 -2*a+16 [2, 5] 220 2*a+14 [2, 5] 220 -2*a+16 [2, 3] 220 2*a+14 [2, 3] 225 15 [5] 225 15 [5] 229 -3*a-14 [] 229 3*a-17 [] 239 a+15 [] 239 a-16 [] 239 a-16 [2] 239 a+15 [2] 244 14*a-6 [3] 244 14*a-8 [3] 245 14*a-7 [3] 251 2*a+15 [] 251 -2*a+17 [] 256 16 [2] 256 16 [2] 256 16 [2] 269 -15*a+11 [] 269 -15*a+4 [] 269 -15*a+11 [3] 269 -15*a+4 [3] 271 a+16 [2] 271 a-17 [2] 275 15*a-10 [2, 3] 275 15*a-5 [2, 3] 279 15*a-6 [2] 279 15*a-9 [2] 279 15*a-6 [2] 279 15*a-9 [2] 279 15*a-6 [2] 289 17 [2] 304 -16*a+12 [2] 304 -16*a+4 [2] 305 a+17 [2] 305 a-18 [2] 311 16*a-11 [] 311 16*a-5 [] 316 -16*a+10 [3] 316 -16*a+6 [3] 319 16*a-7 [2] 319 16*a-9 [2] 319 2*a+17 [2] 319 -2*a+19 [2] 320 16*a-8 [2] 320 16*a-8 [2] 320 16*a-8 [2] 341 4*a+17 [2] 341 -4*a+21 [2] 356 2*a+18 [2] 356 2*a-20 [2] 359 17*a-10 [] 359 -17*a+7 [] 361 17*a-8 [3] 361 17*a-9 [3] 361 19 [3] 361 19 [2] 369 3*a+18 [] 369 3*a-21 [] 369 3*a+18 [2, 709] 369 3*a-21 [2, 709] 380 4*a-22 [2, 3] 380 4*a-22 [2] 380 -4*a-18 [2, 3] 380 -4*a-18 [2] 395 -2*a+21 [2] 395 2*a+19 [2] 396 18*a-12 [2] 396 18*a-12 [5] 396 18*a-6 [5] 396 18*a-12 [5] 401 -18*a+11 [] 401 18*a-7 [] 404 18*a-8 [] 404 18*a-10 [] 409 3*a+19 [] 409 -3*a+22 [] 419 a+20 [] 419 a-21 [] 419 a+20 [] 419 a-21 [] 431 -19*a+14 [] 431 -19*a+5 [] 431 -19*a+14 [2] 431 -19*a+5 [2] 431 -19*a+14 [3] 431 -19*a+5 [3] 441 21 [2] 441 21 [2] 441 21 [2] 445 19*a-12 [2] 445 -19*a+7 [2] 449 -19*a+11 [] 449 19*a-8 [] 449 -19*a+11 [3] 449 19*a-8 [3] 451 19*a-10 [] 451 19*a-9 [] 451 -3*a-20 [2] 451 3*a-23 [2] 451 19*a-10 [3] 451 19*a-9 [3] 464 4*a+20 [2, 3] 464 -4*a+24 [2, 3] 464 -4*a+24 [2] 464 4*a+20 [2] 475 -20*a+15 [2] 475 -20*a+5 [2] 475 -20*a+5 [2, 3] 479 2*a+21 [2] 479 -2*a+23 [2] 484 20*a-14 [3] 484 22 [3] 484 20*a-6 [3] 484 22 [3] 484 22 [2] 495 3*a+21 [2] 495 -3*a+24 [2] 495 3*a+21 [2] 495 -3*a+24 [2] 505 a+22 [2] 505 a-23 [5] 505 a+22 [5] 505 a-23 [2] 509 4*a+21 [] 509 -4*a+25 [] 509 4*a+21 [] 509 -4*a+25 [] 521 5*a+21 [2] 521 -5*a+26 [2] 524 2*a+22 [] 524 2*a-24 [] 529 23 [] 531 21*a-15 [] 531 21*a-6 [] 531 21*a-15 [] 531 21*a-6 [] 539 21*a-14 [3] 539 21*a-7 [2] 539 21*a-14 [2] 539 21*a-7 [3] 541 3*a+22 [3] 541 -3*a+25 [3] 545 -21*a+13 [2] 545 21*a-8 [2] 545 -21*a+13 [2, 3] 545 21*a-8 [2, 3] 549 21*a-12 [] 549 21*a-9 [] 549 21*a-12 [] 549 21*a-9 [2] 549 21*a-12 [2] 551 -21*a+10 [2] 551 -21*a+11 [2] 551 -a-23 [2] 551 a-24 [2] 556 4*a+22 [] 556 -4*a+26 [] 571 2*a+23 [] 571 -2*a+25 [] 576 24 [2] 576 24 [2] 576 24 [2] 576 24 [2] 580 22*a-16 [3] 580 22*a-6 [3] 589 22*a-7 [] 589 3*a-26 [3] 589 -3*a-23 [] 589 3*a-26 [] 589 3*a-26 [] 589 -3*a-23 [3] 596 -22*a+14 [] 596 -22*a+8 [] 596 -22*a+14 [5] 596 -22*a+8 [5] 601 22*a-13 [] 601 -22*a+9 [] 604 22*a-10 [3] 604 22*a-12 [3] 604 22*a-10 [2] 604 22*a-12 [2] 605 -4*a+27 [2] 605 22*a-11 [2] 605 4*a+23 [2] 605 22*a-11 [2] 605 22*a-11 [2] 620 2*a+24 [2] 620 2*a-26 [2] 620 2*a+24 [3] 620 2*a-26 [3] 639 3*a-27 [] 639 3*a+24 [] 639 3*a-27 [2] 639 3*a+24 [2] 641 23*a-16 [] 641 -23*a+7 [] 641 23*a-16 [] 641 -23*a+7 [] 649 a+25 [2] 649 a-26 [2] 649 -23*a+15 [] 649 -23*a+8 [] 649 a-26 [3] 649 -23*a+15 [2] 649 -23*a+8 [2] 649 a+25 [] 649 a+25 [3] 655 -23*a+14 [] 655 23*a-9 [] 655 -23*a+14 [] 655 23*a-9 [] 655 -23*a+14 [2] 655 23*a-9 [2] 656 4*a+24 [3] 656 4*a-28 [3] 671 2*a+25 [] 671 -2*a+27 [] 671 2*a+25 [] 671 -2*a+27 [] 676 26 [2] 676 26 [2] 676 26 [3, 67, 883] 676 26 [7, 823] 684 -24*a+18 [2] 684 -24*a+6 [2] 684 -24*a+18 [2] 695 24*a-17 [] 695 -24*a+7 [] 695 24*a-17 [3] 695 -24*a+7 [3] 695 24*a-17 [2] 695 -24*a+7 [2] 701 a+26 [3] 701 a-27 [3] 704 24*a-8 [2] 704 24*a-8 [2] 704 24*a-16 [2] 704 24*a-8 [2] 704 24*a-16 [2] 704 24*a-16 [2] 704 24*a-8 [2] 704 24*a-16 [2] 711 -24*a+15 [] 711 -24*a+9 [] 711 -24*a+15 [] 716 -24*a+10 [] 716 24*a-14 [] 719 -24*a+11 [] 719 24*a-13 [] 719 -24*a+11 [] 719 -24*a+11 [] 719 24*a-13 [] 719 -24*a+11 [2] 719 24*a-13 [3] 719 -24*a+11 [3] 719 24*a-13 [2] 725 5*a+25 [] 725 -5*a+30 [] 725 5*a+25 [2] 725 5*a+25 [3] 725 -5*a+30 [3] 725 -5*a+30 [2] 729 27 [3] 729 27 [3] 729 27 [3] 729 27 [3] 729 27 [3] 729 27 [3] 729 27 [3] 739 6*a+25 [] 739 -6*a+31 [] 751 25*a-7 [2] 755 a+27 [2] 755 a-28 [3] 755 a-28 [] 755 a+27 [3] 755 a-28 [2] 764 -4*a+30 [2] 764 4*a+26 [2] 769 25*a-16 [2] 769 -25*a+9 [2] 769 25*a-16 [] 769 -25*a+9 [] 775 25*a-10 [3] 775 25*a-15 [3] 775 25*a-10 [3] 775 25*a-10 [] 775 25*a-15 [] 775 25*a-10 [2] 775 25*a-15 [2] 779 25*a-11 [2] 779 -25*a+14 [2] 779 2*a+27 [] 779 -2*a+29 [] 781 5*a+26 [2] 781 -5*a+31 [2] 781 5*a+26 [2] 781 -5*a+31 [2] 801 3*a+27 [2] 801 3*a-30 [2] 809 26*a-19 [2] 809 -26*a+7 [2] 811 a+28 [3] 811 a-29 [3] 820 26*a-8 [2] 820 26*a-18 [2] 829 -26*a+17 [] 829 -26*a+9 [] 829 -26*a+17 [3] 829 -26*a+9 [3] 836 -2*a-28 [] 836 2*a-30 [] 836 -2*a-28 [3] 836 2*a-30 [3] 836 -26*a+16 [2] 836 -26*a+10 [2] 841 29 [2] 841 29 [2] 845 26*a-13 [2] 855 -6*a-27 [2] 855 6*a-33 [2] 855 -6*a-27 [2] 855 6*a-33 [2] 855 -6*a-27 [2] 855 6*a-33 [2] 855 -6*a-27 [2] 869 a+29 [2] 869 a-30 [2] 880 -4*a+32 [2] 880 4*a+28 [2, 3] 881 -27*a+19 [3] 881 27*a-8 [3] 895 2*a+29 [] 895 -2*a+31 [] 895 -2*a+31 [] 895 2*a+29 [] 899 -27*a+10 [2] 899 -5*a-28 [2] 899 -5*a+33 [2] 899 -27*a+10 [2] 899 27*a-17 [2] 900 30 [2, 5] 905 -27*a+11 [2] 905 27*a-16 [2] 905 -27*a+11 [] 905 27*a-16 [] 905 27*a-16 [7] 909 27*a-12 [] 909 27*a-15 [] 916 -6*a-28 [] 916 6*a-34 [] 919 -3*a-29 [3] 919 3*a-32 [3] 919 -3*a-29 [2] 919 3*a-32 [2] 931 -28*a+21 [] 931 -28*a+7 [] 944 28*a-20 [2] 944 28*a-8 [2] 956 2*a+30 [2] 956 2*a-32 [] 956 2*a+30 [] 956 2*a-32 [2] 956 2*a+30 [] 956 2*a-32 [] 961 -5*a-29 [] 961 5*a-34 [] 961 31 [] 961 31 [] 964 -28*a+10 [3] 964 -28*a+18 [3] 964 -28*a+10 [] 964 -28*a+18 [] 964 -28*a+10 [] 964 -28*a+18 [] 971 28*a-11 [3] 971 -28*a+17 [3] 979 -6*a-29 [2] 979 6*a-35 [2] 980 28*a-14 [2] 991 a+31 [] 991 a-32 [] 991 a+31 [2] 995 29*a-22 [2] 995 29*a-7 [2] 1004 4*a+30 [] 1004 -4*a+34 [3] 1004 -4*a+34 [5] 1004 4*a+30 [5] 1004 -4*a+34 [] 1004 4*a+30 [3] 1009 -29*a+21 [2] 1009 29*a-8 [2] 1009 -29*a+21 [2] 1009 29*a-8 [2] 1024 32 [2, 5, 617] 1024 32 [2] 1024 32 [2] 1024 32 [2] 1024 32 [2] 1024 32 [2] 1024 32 [2, 5, 617] 1024 32 [2] 1024 32 [2] 1025 5*a+30 [] 1025 5*a-35 [] 1025 5*a+30 [] 1025 5*a-35 [] 1025 5*a+30 [7] 1031 -29*a+10 [] 1031 -29*a+19 [] 1039 29*a-11 [] 1039 -29*a+18 [] 1039 29*a-11 [2] 1039 -29*a+18 [2] 1044 -6*a+36 [] 1044 -6*a+36 [] 1044 6*a+30 [] 1045 -3*a-31 [2] 1045 3*a-34 [2] 1045 -29*a+17 [] 1045 3*a-34 [2] 1045 -29*a+12 [2] 1045 -29*a+17 [2] 1045 -3*a-31 [2] 1045 -29*a+12 [] 1049 -29*a+13 [2] 1049 29*a-16 [] 1049 -29*a+13 [] 1049 29*a-16 [2] 1055 a+32 [] 1055 a-33 [] 1069 -4*a-31 [] 1076 -30*a+22 [] 1076 -30*a+8 [] 1076 -30*a+22 [] 1076 -30*a+8 [] 1084 2*a+32 [] 1084 2*a-34 [] 1084 2*a+32 [] 1084 2*a-34 [] 1084 2*a+32 [2, 3] 1084 2*a-34 [3] 1084 2*a+32 [3] 1084 2*a-34 [2, 3] 1089 30*a-9 [] 1089 33 [2] 1089 33 [2] 1100 30*a-10 [5] 1100 30*a-20 [5] 1100 30*a-10 [2] 1100 30*a-20 [2] 1111 -3*a-32 [] 1111 3*a-35 [2] 1111 6*a+31 [2] 1111 -6*a+37 [2] 1111 -3*a-32 [2] 1111 3*a-35 [] 1116 30*a-12 [2] 1116 30*a-18 [2] 1116 30*a-12 [2] 1116 30*a-12 [2] 1116 30*a-18 [2] 1116 30*a-18 [2] 1121 a+33 [2] 1121 a-34 [2] 1124 30*a-14 [] 1129 7*a+31 [] 1129 7*a-38 [] 1151 2*a+33 [] 1151 -2*a+35 [] 1151 -2*a+35 [2] 1156 34 [2, 3] 1159 31*a-22 [] 1159 -31*a+9 [] 1179 3*a+33 [] 1179 3*a-36 [] 1179 3*a+33 [] 1179 3*a-36 [] 1179 3*a+33 [] 1179 3*a-36 [] 1180 6*a+32 [] 1180 -6*a+38 [] 1180 6*a+32 [2] 1180 -6*a+38 [2, 3] 1180 6*a+32 [2, 3] 1180 6*a+32 [5] 1180 -6*a+38 [5] 1181 -31*a+11 [] 1181 31*a-20 [] 1181 -31*a+11 [] 1181 31*a-20 [] 1199 31*a-14 [3] 1199 -31*a+17 [3] 1201 31*a-15 [] 1201 31*a-16 [] 1205 4*a+33 [2] 1205 -4*a+37 [2] 1205 4*a+33 [2] 1205 -4*a+37 [2] 1216 -32*a+24 [2] 1216 -32*a+8 [2] 1216 -32*a+24 [2] 1216 -32*a+8 [2] 1220 2*a-36 [2] 1220 2*a+34 [3] 1220 2*a+34 [2, 3] 1220 2*a-36 [3] 1220 2*a+34 [2] 1220 2*a-36 [2, 3] 1220 2*a+34 [] 1220 2*a-36 [] 1225 35 [5] 1231 32*a-9 [2] 1244 32*a-10 [2] 1244 32*a-22 [2] 1255 -32*a+11 [2] 1255 -32*a+21 [] 1255 -32*a+11 [] 1255 -32*a+21 [2] 1271 32*a-19 [2] 1271 7*a+33 [] 1271 -32*a+13 [2] 1271 7*a+33 [2] 1271 7*a-40 [] 1271 -32*a+13 [2] 1276 32*a-14 [3] 1276 32*a-18 [3] 1276 -4*a+38 [2] 1279 -32*a+15 [3] 1279 32*a-17 [3] 1280 32*a-16 [2, 3] 1280 32*a-16 [2] 1280 32*a-16 [2] 1280 32*a-16 [2] 1280 32*a-16 [2, 3] 1280 32*a-16 [2] 1280 32*a-16 [2] 1280 32*a-16 [2] 1289 33*a-25 [2] 1289 33*a-8 [2] 1289 33*a-25 [] 1289 33*a-8 [] 1291 2*a+35 [] 1291 -2*a+37 [] 1296 36 [2, 3] 1305 33*a-24 [2] 1305 33*a-9 [2, 3] 1305 33*a-24 [2, 3] 1305 33*a-9 [2] 1305 33*a-9 [2] 1305 33*a-24 [2] 1305 33*a-9 [2] 1319 -33*a+10 [2] 1319 33*a-23 [2] 1324 -6*a-34 [3] 1324 6*a-40 [] 1324 -6*a-34 [] 1324 6*a-40 [3] 1331 33*a-11 [3] 1331 33*a-22 [] 1331 33*a-11 [] 1331 33*a-11 [] 1331 33*a-22 [] 1331 33*a-22 [3] 1345 -7*a-34 [] 1345 7*a-41 [] 1345 -7*a-34 [] 1345 7*a-41 [] 1345 7*a-41 [2] 1345 -7*a-34 [2] 1349 -33*a+20 [2] 1349 33*a-13 [2] 1349 -33*a+20 [] 1349 33*a-13 [] 1359 33*a-15 [] 1359 33*a-18 [] 1359 33*a-15 [5] 1364 -8*a+42 [2, 3] 1364 2*a-38 [3] 1364 2*a+36 [] 1364 2*a-38 [] 1364 8*a+34 [2] 1364 2*a+36 [5] 1364 8*a+34 [2] 1364 -8*a+42 [2] 1364 2*a+36 [5] 1364 2*a-38 [5] 1364 8*a+34 [2, 3] 1364 2*a-38 [5] 1364 2*a+36 [3] 1364 2*a+36 [] 1369 37 [229] 1369 37 [2] 1395 3*a+36 [2] 1395 3*a-39 [2] 1395 3*a-39 [2, 3] 1395 3*a-39 [2] 1395 3*a+36 [2] 1395 3*a+36 [2, 3] 1396 34*a-24 [3] 1396 -34*a+10 [] 1396 34*a-24 [] 1396 -34*a+10 [] 1396 34*a-24 [] 1405 a+37 [2] 1405 a-38 [2] 1420 -34*a+12 [2] 1420 -34*a+22 [5] 1420 -34*a+12 [5] 1420 -34*a+22 [2] 1420 -34*a+12 [] 1420 -34*a+22 [] 1421 7*a+35 [3] 1421 -7*a+42 [3] 1424 4*a+36 [2] 1424 4*a-40 [2] 1436 -34*a+14 [2] 1436 34*a-20 [2] 1441 34*a-15 [2] 1441 -34*a+19 [2] 1441 -8*a-35 [] 1441 -8*a+43 [] 1441 -8*a-35 [3] 1441 -8*a+43 [3] 1444 38 [] 1444 38 [] 1444 34*a-16 [5] 1444 38 [5] 1471 3*a+37 [] 1471 -3*a+40 [] 1471 3*a+37 [] 1471 -3*a+40 [] 1471 3*a+37 [2] 1471 -3*a+40 [] 1471 -3*a+40 [2] 1475 35*a-10 [3] 1475 35*a-10 [2] 1475 35*a-25 [3] 1475 35*a-10 [] 1475 35*a-25 [] 1475 35*a-25 [2] 1475 35*a-10 [3] 1476 6*a+36 [2] 1476 6*a-42 [2] 1476 6*a-42 [2] 1476 6*a-42 [5] 1476 6*a+36 [2] 1476 6*a-42 [2, 3] 1476 6*a+36 [5] 1481 a+38 [] 1481 a-39 [] 1481 a+38 [] 1501 -4*a+41 [2] 1511 -35*a+13 [3] 1511 35*a-22 [3] 1516 2*a-40 [3] 1516 2*a+38 [3] 1516 2*a+38 [] 1516 2*a-40 [] 1516 2*a+38 [] 1516 2*a-40 [] 1519 35*a-21 [] 1519 35*a-14 [2] 1519 35*a-21 [2] 1520 8*a-44 [2] 1520 8*a-44 [2, 3] 1520 -8*a-36 [2, 3] 1520 -8*a-36 [2] 1521 39 [2] 1521 39 [2] 1521 39 [2] 1525 35*a-20 [2] 1529 35*a-19 [] 1529 5*a+37 [3] 1529 5*a-42 [2] 1529 -35*a+16 [3] 1529 5*a+37 [2] 1529 5*a-42 [3] 1529 35*a-19 [] 1529 -35*a+16 [] 1529 35*a-19 [3] 1529 -35*a+16 [2] 1529 35*a-19 [2] 1549 -3*a-38 [] 1549 3*a-41 [] 1555 -6*a+43 [] 1555 6*a+37 [] 1555 -6*a+43 [2] 1555 6*a+37 [2] 1556 36*a-10 [] 1556 -36*a+26 [] 1571 36*a-11 [] 1571 -36*a+25 [] 1580 -4*a+42 [2] 1580 4*a+38 [2] 1580 4*a+38 [2] 1580 -4*a+42 [2] 1584 36*a-12 [2] 1584 36*a-12 [2] 1584 36*a-24 [2] 1584 36*a-24 [2] 1595 -2*a+41 [] 1595 36*a-13 [2] 1595 36*a-23 [2, 3] 1595 2*a+39 [] 1595 36*a-13 [2, 3] 1595 -2*a+41 [2] 1595 36*a-23 [2] 1595 36*a-13 [2] 1595 36*a-23 [2] 1595 2*a+39 [2] 1600 40 [2] 1600 40 [2] 1600 40 [2] 1604 -36*a+22 [2] 1604 36*a-14 [2] 1604 36*a-14 [] 1616 36*a-16 [2] 1616 36*a-16 [2] 1616 36*a-20 [2] 1616 36*a-20 [2] 1619 -36*a+17 [] 1619 36*a-19 [] 1619 -36*a+17 [] 1619 36*a-19 [] 1620 36*a-18 [2, 3] 1620 36*a-18 [2, 3] 1621 37*a-28 [] 1621 37*a-9 [] 1636 6*a+38 [] 1636 -6*a+44 [] 1639 -37*a+10 [] 1639 37*a-27 [] 1639 a+40 [2] 1639 a-41 [2] 1655 37*a-11 [3] 1655 -37*a+26 [] 1655 37*a-11 [] 1655 37*a-11 [2] 1655 -37*a+26 [] 1655 -37*a+26 [2] 1655 37*a-11 [] 1655 -37*a+26 [3] 1661 7*a+38 [] 1661 7*a-45 [] 1661 -4*a-39 [2] 1661 4*a-43 [2] 1661 7*a+38 [2] 1661 7*a-45 [2] 1676 2*a+40 [] 1676 2*a+40 [] 1676 2*a-42 [] 1676 2*a+40 [] 1676 2*a-42 [] 1676 2*a-42 [] 1681 -37*a+13 [] 1681 37*a-24 [] 1684 -8*a-38 [] 1684 8*a-46 [] 1691 37*a-14 [] 1691 -37*a+23 [] 1691 -5*a-39 [2] 1691 37*a-14 [2] 1691 -37*a+23 [] 1691 5*a-44 [2] 1691 -5*a-39 [2] 1691 37*a-14 [2] 1691 -37*a+23 [2] 1705 -37*a+16 [2] 1705 37*a-21 [] 1705 9*a+38 [3] 1705 9*a-47 [2] 1705 -37*a+16 [] 1705 9*a+38 [2] 1705 9*a-47 [2] 1705 -37*a+16 [3] 1705 37*a-21 [2] 1705 9*a-47 [2] 1705 9*a+38 [2] 1705 9*a+38 [2] 1705 9*a-47 [3] 1705 37*a-21 [] 1705 -37*a+16 [] 1711 37*a-19 [] 1711 -3*a+43 [] 1711 37*a-18 [2] 1711 37*a-19 [2] 1711 3*a+40 [3] 1711 -3*a+43 [2] 1711 37*a-19 [2] 1711 3*a+40 [2] 1721 a+41 [2] 1721 a-42 [2] 1724 -38*a+10 [] 1724 -38*a+28 [] 1724 -38*a+10 [] 1724 -38*a+28 [] 1745 -7*a-39 [] 1745 -7*a+46 [] 1756 38*a-12 [2] 1756 38*a-26 [2] 1756 38*a-26 [] 1756 38*a-12 [] 1756 38*a-26 [] 1756 38*a-12 [] 1756 38*a-12 [] 1756 38*a-26 [] 1756 38*a-12 [3] 1756 38*a-26 [3] 1764 42 [2] 1769 -8*a-39 [2] 1769 8*a-47 [2] 1775 5*a+40 [] 1775 5*a-45 [] 1775 5*a+40 [2, 3] 1775 5*a-45 [2, 3] 1780 38*a-24 [2] 1780 38*a-24 [2] 1780 -38*a+14 [2] 1780 -38*a+14 [2] 1789 38*a-15 [] 1789 -38*a+23 [] 1791 9*a+39 [] 1791 9*a+39 [2] 1791 -9*a+48 [] 1791 -9*a+48 [2] 1791 9*a+39 [2] 1795 -3*a-41 [2] 1795 3*a-44 [2] 1796 38*a-16 [2] 1796 -38*a+22 [2] 1804 38*a-20 [] 1804 -6*a-40 [3] 1804 38*a-18 [] 1804 38*a-20 [] 1804 -6*a-40 [] 1804 6*a-46 [] 1804 38*a-18 [] 1804 -6*a-40 [] 1804 6*a-46 [] 1804 6*a-46 [3] 1829 -39*a+28 [2] 1829 39*a-11 [2] 1831 7*a+40 [] 1831 7*a-47 [] 1831 7*a-47 [2] 1844 2*a+42 [] 1844 2*a-44 [] 1844 2*a+42 [] 1844 2*a-44 [] 1845 39*a-27 [2] 1845 39*a-12 [2] 1849 43 [] 1856 8*a+40 [2] 1856 -8*a+48 [2] 1856 8*a+40 [2] 1856 8*a+40 [2] 1856 8*a+40 [2] 1856 -8*a+48 [2] 1856 -8*a+48 [2] 1856 -8*a+48 [2] 1856 8*a+40 [2] 1859 39*a-13 [2] 1859 39*a-26 [2] 1861 5*a+41 [] 1861 -5*a+46 [] 1871 -39*a+25 [] 1871 39*a-14 [2] 1871 -39*a+25 [2] 1879 9*a-49 [] 1879 9*a+40 [] 1881 -39*a+15 [2] 1881 -39*a+24 [2] 1881 -3*a-42 [] 1881 3*a-45 [] 1881 3*a-45 [] 1881 -3*a-42 [2] 1881 3*a-45 [2] 1889 39*a-16 [] 1889 39*a-23 [] 1891 a-44 [2] 1891 a+43 [2] 1895 39*a-17 [] 1895 39*a-22 [] 1900 -40*a+10 [] 1900 -40*a+30 [] 1901 39*a-19 [] 1901 39*a-20 [] 1916 -4*a+46 [2] 1916 4*a+42 [] 1916 4*a+42 [2] 1916 -4*a+46 [] 1919 40*a-11 [2] 1919 -40*a+29 [2] 1936 44 [2] 1936 44 [3] 1945 8*a+41 [2] 1945 -8*a+49 [2] 1951 40*a-13 [2] 1951 40*a-27 [2] 1975 -40*a+25 [] 1975 -40*a+25 [2] 1975 -40*a+15 [] 1975 -40*a+25 [] 1975 -40*a+15 [2] 1980 6*a+42 [5] 1980 -6*a+48 [] 1980 6*a+42 [] 1980 -6*a+48 [5] 1980 6*a+42 [2] 1980 -6*a+48 [2] 1980 6*a+42 [2] 1984 40*a-16 [2] 1984 40*a-24 [2] 1984 40*a-24 [2] 1984 40*a-24 [2] 1984 40*a-24 [2] 1984 40*a-16 [2] 1984 40*a-16 [2] 1984 40*a-24 [2] 1991 40*a-17 [2] 1991 -40*a+23 [2] 1991 41*a-10 [2] 1991 41*a-31 [2] 1991 41*a-10 [3] 1991 41*a-31 [] 1991 41*a-10 [] 1991 41*a-31 [3] 1999 -40*a+19 [3] 1999 40*a-21 [3] 1999 -40*a+19 [2] 1999 40*a-21 [2] 2005 -4*a-43 [2] 2005 4*a-47 [2] 2005 -4*a-43 [2] 2005 4*a-47 [2] 2005 -4*a-43 [2] 2005 4*a-47 [2] 2005 4*a-47 [2] 2011 41*a-11 [] 2011 -41*a+30 [] 2020 2*a+44 [] 2020 2*a-46 [] 2020 2*a-46 [] 2025 45 [3, 5] 2036 -8*a+50 [] 2036 8*a+42 [] 2036 8*a+42 [] 2036 -8*a+50 [] 2039 -5*a-43 [] 2039 -5*a+48 [] 2039 -5*a-43 [] 2039 -5*a+48 [] 2059 -41*a+14 [] 2059 -41*a+27 [] 2071 41*a-15 [] 2071 -41*a+26 [] 2071 6*a+43 [2] 2071 -6*a+49 [2] 2071 41*a-15 [] 2071 -41*a+26 [] 2084 10*a+42 [] 2084 -10*a+52 [] 2084 10*a+42 [3] 2084 -10*a+52 [3] 2084 10*a+42 [2] 2084 10*a+42 [] 2084 -10*a+52 [2] 2095 -41*a+18 [] 2095 -41*a+23 [] 2096 4*a+44 [3] 2105 -42*a+11 [2] 2105 42*a-31 [2] 2111 2*a+45 [] 2111 -2*a+47 [] 2124 42*a-30 [] 2124 42*a-12 [] 2141 -42*a+13 [] 2141 42*a-29 [] 2155 9*a-52 [] 2155 9*a+43 [] 2156 42*a-14 [] 2156 42*a-28 [] 2156 42*a-14 [] 2156 42*a-28 [] 2161 a+46 [] 2161 a-47 [] 2180 42*a-16 [2] 2180 -42*a+26 [2] 2189 42*a-25 [2] 2189 4*a+45 [2] 2189 4*a+45 [] 2189 -4*a+49 [] 2189 -42*a+17 [2] 2189 -4*a+49 [2] 2195 7*a+44 [2] 2195 7*a-51 [] 2195 7*a+44 [] 2195 7*a-51 [2] 2196 42*a-18 [] 2196 42*a-24 [] 2201 -43*a+11 [] 2201 -43*a+32 [] 2204 -42*a+20 [3] 2204 2*a-48 [2, 3] 2204 -42*a+22 [3] 2204 -42*a+20 [2] 2205 42*a-21 [2] 2205 42*a-21 [2] 2205 42*a-21 [2] 2209 47 [] 2225 5*a+45 [] 2225 5*a-50 [] 2239 -43*a+13 [] 2239 43*a-30 [] 2239 -43*a+13 [2] 2239 43*a-30 [2] 2245 3*a+46 [] 2245 -3*a+49 [] 2255 43*a-29 [] 2255 a-48 [2] 2255 43*a-14 [] 2255 a+47 [2] 2255 a-48 [2] 2255 43*a-14 [3] 2255 a-48 [2] 2255 43*a-29 [3] 2281 -43*a+16 [] 2281 43*a-27 [] 2284 -4*a+50 [] 2291 43*a-17 [2] 2291 -43*a+26 [2] 2299 -43*a+18 [] 2299 -43*a+25 [] 2299 -2*a-47 [] 2299 2*a-49 [] 2299 -44*a+11 [2, 3] 2299 -44*a+33 [2, 3] 2304 48 [2] 2304 48 [2] 2304 48 [2] 2304 48 [2] 2304 48 [2] 2304 48 [2] 2304 48 [2] 2304 48 [2] 2304 48 [2] 2304 48 [2] 2304 48 [2] 2304 48 [2] 2304 48 [2] 2305 43*a-19 [3] 2305 -43*a+24 [3] 2321 5*a+46 [] 2321 -5*a+51 [] 2321 -8*a-45 [2] 2321 -8*a+53 [2] 2339 -44*a+13 [] 2339 -44*a+31 [] 2351 a+48 [2] 2351 a-49 [2] 2356 44*a-14 [] 2356 44*a-14 [3] 2356 -6*a-46 [] 2356 6*a-52 [] 2356 44*a-14 [2] 2356 44*a-30 [3] 2356 -6*a-46 [5] 2356 6*a-52 [3] 2356 44*a-30 [] 2356 -6*a-46 [3] 2356 -6*a-46 [] 2356 6*a-52 [5] 2356 6*a-52 [2] 2356 -6*a-46 [2] 2381 -4*a-47 [] 2381 4*a-51 [] 2381 -4*a-47 [] 2381 4*a-51 [] 2396 2*a-50 [] 2396 2*a+48 [] 2396 2*a-50 [] 2396 2*a+48 [] 2399 45*a-11 [] 2399 45*a-34 [] 2401 49 [2, 7] 2401 49 [37] 2404 -44*a+18 [] 2404 44*a-26 [] 2404 -44*a+18 [2] 2404 44*a-26 [2] 2419 5*a+47 [] 2419 5*a-52 [] 2419 5*a+47 [] 2419 5*a-52 [] 2420 8*a+46 [] 2420 -8*a+54 [] 2420 44*a-22 [2, 3] 2420 8*a+46 [3] 2420 44*a-22 [3] 2421 -45*a+33 [3] 2421 -45*a+12 [3] 2439 3*a+48 [] 2439 3*a-51 [] 2439 3*a+48 [] 2439 3*a-51 [] 2441 -45*a+13 [2] 2441 45*a-32 [2] 2449 9*a+46 [2] 2449 a+49 [2] 2449 a-50 [2] 2449 -9*a+55 [2] 2455 -6*a-47 [2] 2455 6*a-53 [2] 2459 45*a-14 [] 2459 -45*a+31 [] 2475 45*a-30 [2] 2475 45*a-30 [] 2475 45*a-15 [2] 2475 45*a-30 [2] 2475 45*a-15 [] 2475 45*a-15 [2] 2480 4*a-52 [2, 3] 2489 -45*a+16 [2] 2489 45*a-29 [2] 2489 7*a+47 [2] 2489 7*a-54 [2] 2489 -45*a+16 [] 2489 45*a-29 [] 2495 2*a+49 [] 2495 -2*a+51 [] 2501 -45*a+28 [] 2501 45*a-17 [] 2501 45*a-17 [] 2501 -45*a+28 [] 2511 45*a-27 [2] 2511 45*a-18 [2] 2519 45*a-19 [2] 2519 45*a-26 [2] 2521 -8*a-47 [3] 2521 8*a-55 [3] 2521 -8*a-47 [] 2521 8*a-55 [] 2521 -8*a-47 [] 2521 8*a-55 [] 2524 -46*a+12 [2] 2524 -46*a+34 [2] 2525 45*a-20 [] 2525 45*a-25 [] 2525 45*a-20 [] 2525 45*a-25 [2] 2525 45*a-25 [] 2529 45*a-21 [2] 2529 45*a-24 [2] 2545 46*a-13 [] 2545 -46*a+33 [] 2551 9*a+47 [] 2551 9*a-56 [] 2556 6*a-54 [2] 2556 6*a+48 [2] 2556 6*a-54 [2] 2556 6*a-54 [2] 2556 6*a+48 [2] 2564 -46*a+14 [2] 2564 46*a-32 [2] 2564 46*a-32 [] 2581 46*a-15 [2] 2581 46*a-31 [2] 2581 46*a-31 [2] 2591 -7*a-48 [] 2591 7*a-55 [] 2591 7*a-55 [] 2591 -7*a-48 [2] 2591 7*a-55 [3] 2591 -7*a-48 [3] 2591 7*a-55 [2] 2596 2*a+50 [] 2596 -46*a+16 [3] 2596 -46*a+30 [] 2596 2*a+50 [] 2596 2*a-52 [] 2596 -46*a+30 [] 2596 -46*a+16 [] 2596 -46*a+16 [] 2596 -46*a+16 [3] 2596 -46*a+30 [3] 2601 51 [2] 2601 51 [3] 2601 51 [] 2601 51 [] 2601 51 [2] 2605 -11*a-47 [2] 2605 -11*a+58 [2] 2605 -11*a-47 [2] 2605 -11*a+58 [2] 2605 -11*a-47 [2] 2605 -11*a+58 [2] 2609 -46*a+17 [] 2609 -46*a+29 [] 2621 -5*a-49 [] 2621 5*a-54 [] 2621 -5*a-49 [] 2621 5*a-54 [] 2624 8*a-56 [2] 2624 8*a+48 [2] 2624 8*a+48 [] 2624 8*a+48 [2] 2629 -47*a+12 [3] 2629 -47*a+35 [3] 2636 -46*a+20 [] 2636 46*a-26 [] 2636 -46*a+20 [] 2636 46*a-26 [] 2641 -46*a+21 [] 2641 46*a-25 [] 2644 46*a-22 [] 2644 46*a-24 [] 2644 46*a-22 [] 2644 46*a-24 [] 2645 46*a-23 [] 2645 46*a-23 [] 2655 9*a+48 [2] 2655 9*a+48 [2] 2655 -9*a+57 [2] 2655 -9*a+57 [2] 2684 -10*a-48 [2] 2684 10*a-58 [2] 2684 10*a-58 [] 2684 -10*a-48 [] 2684 10*a-58 [] 2684 -4*a+54 [] 2684 -10*a-48 [5] 2684 10*a-58 [5] 2684 -10*a-48 [] 2684 4*a+50 [] 2695 7*a+49 [2] 2695 -7*a+56 [2] 2695 7*a+49 [2] 2695 -7*a+56 [2] 2704 52 [2] 2705 -47*a+31 [] 2705 -47*a+16 [] 2711 -11*a-48 [2] 2711 -11*a+59 [2] 2719 -47*a+17 [2] 2719 47*a-30 [2] 2725 5*a+50 [] 2725 5*a-55 [] 2731 -47*a+18 [] 2731 -47*a+29 [] 2731 -47*a+18 [] 2731 -47*a+29 [] 2745 3*a+51 [2] 2745 3*a-54 [2] 2745 3*a+51 [2] 2745 3*a+51 [2] 2745 3*a-54 [2] 2755 -a-52 [] 2755 a-53 [] 2755 a-53 [2] 2755 -a-52 [2] 2755 -a-52 [] 2755 -a-52 [3] 2755 a-53 [3] 2759 -48*a+13 [2] 2759 48*a-35 [2] 2780 -48*a+14 [] 2780 48*a-34 [3] 2780 -48*a+14 [3] 2780 48*a-34 [] 2789 -4*a-51 [] 2789 4*a-55 [] 2791 -10*a-49 [] 2791 10*a-59 [] 2791 -10*a-49 [2] 2791 10*a-59 [2] 2791 -10*a-49 [] 2791 10*a-59 [] 2801 7*a+50 [2] 2801 -7*a+57 [2] 2804 2*a+52 [] 2804 2*a-54 [] 2809 53 [] 2816 48*a-16 [2, 3] 2816 48*a-32 [2, 3] 2816 48*a-16 [2] 2816 48*a-16 [2, 3] 2816 48*a-32 [2] 2816 48*a-16 [2] 2816 48*a-32 [2] 2816 48*a-16 [2, 3] 2816 48*a-32 [2, 3] 2816 48*a-32 [2] 2816 48*a-16 [2] 2816 48*a-32 [2] 2816 48*a-32 [2] 2816 48*a-16 [2] 2816 48*a-32 [2] 2816 48*a-16 [2] 2816 48*a-32 [2, 3] 2816 48*a-16 [2] 2831 48*a-17 [] 2831 -48*a+31 [] 2836 8*a+50 [3] 2836 -8*a+58 [3] 2836 8*a+50 [] 2836 -8*a+58 [] 2844 -48*a+18 [2] 2844 -48*a+30 [2] 2844 -48*a+18 [2] 2844 -48*a+30 [] 2844 -48*a+30 [2] 2844 -48*a+18 [] 2844 -48*a+18 [5] 2844 -48*a+30 [5] 2869 -49*a+13 [2] 2869 49*a-36 [2] 2871 6*a+51 [2] 2871 -6*a+57 [2] 2871 48*a-21 [] 2871 48*a-27 [] 2871 48*a-21 [2] 2871 48*a-27 [2] 2871 48*a-21 [2] 2871 48*a-27 [2] 2876 48*a-26 [2] 2876 -48*a+22 [2] 2880 48*a-24 [2] 2880 48*a-24 [2] 2880 48*a-24 [2] 2880 48*a-24 [2] 2880 48*a-24 [2] 2880 48*a-24 [2] 2880 48*a-24 [2] 2880 48*a-24 [2] 2891 49*a-14 [] 2900 10*a+50 [] 2900 -10*a+60 [] 2900 -10*a+60 [] 2900 10*a+50 [] 2900 10*a+50 [3] 2900 -10*a+60 [3] 2911 -2*a-53 [] 2911 -2*a+55 [] 2911 49*a-15 [] 2911 49*a-15 [] 2911 -49*a+34 [] 2911 -49*a+34 [] 2911 49*a-15 [2] 2911 -49*a+34 [2] 2911 49*a-15 [] 2916 54 [3] 2916 54 [] 2916 54 [] 2916 54 [3] 2916 54 [3] 2916 54 [3] 2916 54 [3] 2916 54 [3] 2916 54 [3] 2916 54 [3] 2916 54 [3] 2916 54 [3] 2916 54 [3] 2916 54 [3] 2916 54 [3] 2929 49*a-16 [2] 2929 49*a-33 [2] 2929 -11*a-50 [2] 2929 -11*a+61 [2] 2945 -8*a-51 [2] 2945 -8*a+59 [2] 2945 -8*a-51 [] 2945 -8*a+59 [] 2945 -8*a+59 [5] 2945 -49*a+17 [] 2945 49*a-32 [] 2945 -8*a-51 [5] 2945 -8*a+59 [2, 3] 2945 -8*a-51 [2] 2945 -8*a+59 [2] 2956 12*a+50 [] 2956 -12*a+62 [] 2969 a+54 [] 2969 a-55 [] 2979 -9*a-51 [] 2979 9*a-60 [] 2979 -9*a-51 [] 2979 9*a-60 [] 2980 6*a-58 [3] 2980 -6*a-52 [3] 2980 6*a-58 [] 2980 -6*a-52 [] 2980 6*a-58 [2] 2980 -6*a-52 [2] 2981 49*a-20 [] 2981 49*a-29 [] 2989 49*a-21 [] 2989 49*a-28 [] 2995 49*a-22 [] 2995 49*a-27 [2] 2995 49*a-27 [] 2995 49*a-22 [] 2995 49*a-22 [2] 2995 49*a-27 [2] 2995 49*a-27 [] 2999 -49*a+26 [] 2999 49*a-23 [2] 2999 -49*a+26 [2] 3001 49*a-24 [2] 3001 49*a-25 [2] 3004 50*a-14 [2] 3004 -50*a+36 [2] 3011 10*a+51 [] 3011 -10*a+61 [] 3020 2*a+54 [] 3020 2*a+54 [5] 3020 2*a+54 [] 3020 2*a-56 [] 3020 2*a-56 [] 3025 50*a-35 [3] 3025 50*a-15 [3] 3041 -11*a-51 [3] 3041 -11*a+62 [3] 3049 -5*a-53 [2] 3049 -5*a+58 [2] 3076 50*a-32 [] 3076 -50*a+18 [] 3091 9*a+52 [] 3091 9*a-61 [] 3095 -51*a+13 [] 3095 -51*a+13 [3] 3095 -51*a+38 [] 3095 -51*a+38 [3] 3100 50*a-20 [] 3100 50*a-30 [] 3100 50*a-20 [] 3116 50*a-22 [2] 3116 -50*a+28 [2] 3116 50*a-22 [] 3116 -50*a+28 [] 3116 -4*a+58 [3] 3116 -50*a+28 [] 3116 50*a-22 [] 3119 51*a-14 [2] 3119 -51*a+37 [2] 3124 10*a+52 [] 3124 -10*a+62 [] 3124 10*a+52 [] 3124 -10*a+62 [] 3131 -2*a+57 [] 3131 -7*a-53 [] 3131 -7*a+60 [] 3131 -2*a-55 [] 3136 56 [] 3136 56 [2] 3161 -5*a-54 [] 3161 5*a-59 [] 3161 -5*a-54 [2] 3161 5*a-59 [2] 3161 -5*a-54 [3] 3161 5*a-59 [3] 3179 51*a-34 [2] 3179 51*a-17 [2] 3191 a+56 [2] 3191 a-57 [2] 3195 -51*a+33 [2] 3195 -51*a+18 [2] 3195 -51*a+33 [2] 3195 -51*a+18 [2] 3195 -51*a+18 [2] 3204 6*a+54 [2] 3204 6*a-60 [2] 3204 6*a+54 [2] 3204 6*a-60 [2] 3205 9*a-62 [] 3205 -9*a-53 [] 3205 -9*a-53 [] 3205 9*a-62 [2] 3205 -9*a-53 [2] 3205 9*a-62 [] 3205 -9*a-53 [3] 3205 9*a-62 [3] 3211 -52*a+13 [2] 3231 -51*a+21 [2] 3231 51*a-30 [2] 3236 52*a-38 [2] 3239 10*a+53 [] 3239 10*a-63 [] 3239 -51*a+22 [] 3239 51*a-29 [] 3245 -51*a+23 [2] 3245 -51*a+28 [2] 3245 -51*a+23 [2] 3245 7*a+54 [2] 3245 7*a+54 [2] 3245 7*a-61 [2] 3245 7*a-61 [2] 3249 57 [2] 3249 57 [] 3249 57 [2] 3259 -52*a+15 [] 3259 52*a-37 [] 3275 5*a-60 [] 3280 52*a-36 [2] 3280 52*a-16 [2] 3284 -8*a-54 [] 3284 8*a-62 [] 3299 52*a-35 [] 3299 52*a-17 [] 3305 a+57 [2] 3305 a-58 [2] 3316 -52*a+18 [] 3316 -52*a+34 [] 3321 9*a+54 [7] 3329 53*a-13 [2] 3329 53*a-40 [2] 3331 52*a-19 [] 3331 -52*a+33 [] 3331 -52*a+33 [] 3331 52*a-19 [] 3344 4*a-60 [2] 3344 -52*a+32 [2] 3344 -52*a+20 [2] 3355 52*a-31 [2] 3355 -53*a+39 [2] 3355 -52*a+21 [2] 3355 -53*a+39 [2] 3355 53*a-14 [2] 3355 52*a-31 [2] 3355 -52*a+21 [2] 3356 10*a+54 [] 3356 10*a-64 [] 3364 52*a-22 [3] 3364 58 [] 3364 52*a-22 [17] 3364 52*a-30 [17] 3364 52*a-30 [] 3364 52*a-22 [] 3376 52*a-24 [2] 3376 52*a-28 [2] 3379 -53*a+38 [] 3379 53*a-15 [] 3380 52*a-26 [2, 709] 3391 5*a+56 [] 3391 -5*a+61 [] 3391 5*a+56 [2] 3391 -5*a+61 [2] 3401 53*a-37 [] 3401 -53*a+16 [] 3401 53*a-37 [2] 3401 -53*a+16 [2] 3420 12*a-66 [2] 3420 -12*a-54 [2] 3421 a+58 [2] 3421 -53*a+17 [] 3421 53*a-36 [] 3421 a-59 [2] 3439 9*a+55 [2] 3439 -9*a+64 [3] 3439 9*a+55 [3] 3439 -9*a+64 [3] 3439 9*a+55 [3] 3439 -9*a+64 [2] 3469 53*a-20 [] 3469 -53*a+33 [] 3475 10*a+55 [2] 3475 -10*a+65 [] 3476 2*a-60 [] 3476 2*a-60 [] 3476 2*a+58 [] 3476 2*a-60 [] 3476 2*a+58 [] 3476 2*a+58 [] 3476 -54*a+14 [] 3476 -54*a+40 [] 3476 -54*a+40 [] 3476 -54*a+40 [] 3479 7*a-63 [] 3479 7*a+56 [] 3481 59 [2] 3509 53*a-25 [3] 3509 53*a-28 [3] 3509 -11*a+66 [] 3509 11*a+55 [] 3509 -11*a+66 [3] 3509 11*a+55 [3] 3511 53*a-26 [2] 3511 53*a-27 [2] 3520 8*a+56 [2] 3520 -8*a+64 [2] 3520 8*a+56 [2] 3520 -8*a+64 [2] 3520 8*a+56 [2] 3520 -8*a+64 [2] 3520 -8*a+64 [2] 3520 -8*a+64 [2] 3520 8*a+56 [2] 3520 8*a+56 [2] 3520 8*a+56 [2] 3520 8*a+56 [2] 3520 8*a+56 [2] 3520 -8*a+64 [2] 3524 54*a-16 [2] 3524 -54*a+38 [2] 3529 3*a+58 [] 3529 3*a+58 [] 3529 -3*a+61 [] 3529 3*a+58 [2] 3529 -3*a+61 [2] 3545 54*a-17 [] 3545 -54*a+37 [] 3545 54*a-17 [] 3545 -54*a+37 [] 3555 6*a+57 [] 3555 -6*a+63 [] 3555 6*a+57 [2] 3555 -6*a+63 [2] 3564 54*a-36 [3] 3564 54*a-18 [3] 3564 54*a-36 [3] 3564 54*a-18 [3] 3580 -4*a+62 [] 3580 4*a+58 [] 3580 -4*a+62 [] 3580 4*a+58 [] 3580 4*a+58 [] 3580 -4*a+62 [2] 3580 4*a+58 [2] 3581 -54*a+19 [] 3581 54*a-35 [] 3595 -2*a-59 [2] 3595 -2*a+61 [2] 3596 -10*a-56 [3] 3596 -10*a+66 [3] 3596 -54*a+20 [] 3596 54*a-34 [] 3599 -55*a+14 [] 3599 -55*a+41 [] 3599 7*a+57 [] 3599 -7*a+64 [] 3599 7*a+57 [] 3599 -7*a+64 [] 3600 60 [2] 3600 60 [2] 3609 54*a-21 [2] 3620 -54*a+22 [] 3620 54*a-32 [] 3620 -54*a+22 [] 3620 -54*a+22 [3] 3629 -5*a-58 [2] 3629 -5*a+63 [2] 3636 54*a-30 [3] 3636 54*a-30 [] 3636 54*a-24 [] 3636 54*a-24 [3] 3644 54*a-26 [] 3644 54*a-28 [] 3645 54*a-27 [] 3645 54*a-27 [3] 3645 54*a-27 [3] 3645 54*a-27 [3] 3645 54*a-27 [3] 3645 54*a-27 [] 3645 54*a-27 [3] 3645 54*a-27 [3] 3645 54*a-27 [3] 3645 54*a-27 [3] 3649 3*a-62 [3] 3649 -3*a-59 [2] 3649 3*a-62 [2] 3659 a+60 [] 3659 a-61 [] 3664 -12*a-56 [2] 3664 -12*a-56 [3] 3671 -55*a+17 [2] 3671 55*a-38 [2] 3676 -6*a-58 [] 3676 6*a-64 [] 3681 9*a+57 [2] 3681 -9*a+66 [2] 3681 9*a+57 [2] 3681 -9*a+66 [2] 3691 55*a-18 [] 3691 55*a-37 [] 3716 2*a+60 [2] 3716 2*a-62 [2] 3719 10*a+57 [2] 3719 10*a-67 [2] 3721 61 [2] 3721 61 [] 3724 -56*a+14 [] 3724 -56*a+42 [] 3725 -55*a+20 [2] 3725 -55*a+35 [2] 3751 55*a-22 [2] 3751 55*a-33 [2] 3751 56*a-15 [] 3751 -56*a+41 [] 3751 55*a-33 [2] 3751 5*a-64 [3] 3751 55*a-22 [2] 3751 -5*a-59 [3] 3755 11*a+57 [] 3755 11*a-68 [] 3761 -55*a+23 [] 3761 -55*a+32 [] 3764 8*a+58 [] 3764 -8*a+66 [] 3775 55*a-25 [] 3775 55*a-30 [] 3776 56*a-40 [2] 3776 56*a-16 [2] 3781 a-62 [] 3781 a+61 [] 3781 a-62 [] 3799 56*a-17 [] 3799 56*a-39 [] 3799 56*a-17 [2] 3799 56*a-39 [2] 3805 9*a-67 [2] 3805 9*a+58 [2] 3805 9*a-67 [2] 3805 9*a+58 [2] 3820 56*a-38 [] 3820 56*a-38 [] 3820 56*a-18 [] 3824 4*a-64 [3] 3824 4*a+60 [3] 3839 -2*a+63 [2] 3839 -2*a-61 [2] 3839 -2*a+63 [] 3839 -2*a-61 [] 3839 -2*a+63 [] 3844 62 [2] 3844 62 [2] 3844 62 [2] 3856 -56*a+36 [] 3856 -56*a+20 [] 3879 -57*a+15 [2] 3879 -57*a+42 [] 3879 -57*a+15 [] 3879 -57*a+42 [2] 3884 56*a-22 [] 3884 -56*a+34 [] 3895 3*a+61 [2] 3895 56*a-23 [2] 3895 56*a-23 [] 3895 56*a-33 [] 3895 56*a-23 [2] 3895 56*a-33 [2] 3895 -3*a+64 [2] 3895 56*a-23 [2] 3895 56*a-33 [2] 3895 56*a-23 [2] 3895 56*a-33 [2] 3905 a-63 [2] 3905 a+62 [2] 3905 57*a-41 [2] 3905 a-63 [2] 3905 57*a-16 [2] 3905 57*a-16 [2] 3905 57*a-41 [2] 3916 -12*a-58 [] 3916 12*a-70 [] 3916 -56*a+26 [] 3916 56*a-30 [2] 3916 56*a-30 [] 3916 12*a-70 [5] 3916 -56*a+26 [2] 3916 12*a-70 [2] 3924 6*a+60 [] 3924 6*a-66 [] 3924 6*a+60 [] 3949 4*a+61 [2] 3951 57*a-18 [] 3951 57*a-39 [2] 3951 57*a-18 [2] 3964 2*a-64 [2] 3964 2*a+62 [2] 3969 63 [2] 3971 10*a+59 [] 3971 -10*a+69 [] 3971 57*a-19 [2, 3] 3971 57*a-38 [2, 3] 3971 -7*a+67 [2] 3971 7*a+60 [2] 3971 7*a+60 [] 3971 -7*a+67 [] 3980 58*a-14 [2] 3980 58*a-44 [2] 3980 58*a-14 [] 3980 58*a-44 [] 3980 58*a-44 [2] 3980 58*a-44 [] 3980 58*a-14 [2] 4005 57*a-36 [3] 4005 -57*a+21 [3] 4005 57*a-36 [2] 4005 -57*a+21 [2] 4009 -11*a-59 [] 4009 -11*a+70 [] 4009 -58*a+15 [2] 4009 58*a-43 [2] 4019 57*a-22 [] 4019 57*a-35 [] 4031 a+63 [2] 4031 a-64 [2] 4031 a+63 [3] 4031 a-64 [3] 4036 58*a-16 [2] 4036 -58*a+42 [2] 4036 -58*a+42 [] 4041 57*a-24 [] 4045 -12*a-59 [3] 4045 12*a-71 [3] 4051 6*a+61 [3] 4051 -6*a+67 [3] 4059 57*a-30 [2] 4059 57*a-30 [] 4059 57*a-27 [] 4059 57*a-27 [2] 4059 57*a-30 [] 4059 57*a-27 [2] 4059 57*a-30 [2] 4076 4*a+62 [] 4076 4*a+62 [] 4076 -4*a+66 [] 4079 -13*a-59 [] 4079 -13*a+72 [] 4096 64 [2, 5] 4096 64 [2] 4096 64 [2, 5, 617] 4096 64 [2] 4096 64 [2] 4096 64 [2] 4096 64 [2] 4096 64 [2] 4096 64 [2] 4096 64 [2, 5, 617] 4096 64 [2] 4096 64 [2, 5, 617] 4096 64 [2, 5, 617] 4096 64 [2] 4096 64 [2] 4096 64 [2, 5, 617] 4096 64 [2] 4096 64 [2] 4096 64 [2, 5, 617] 4096 64 [2] 4100 10*a+60 [3] 4100 10*a-70 [3] 4100 10*a+60 [] 4100 10*a-70 [] 4105 58*a-19 [] 4105 58*a-39 [] 4105 58*a-39 [2] 4111 -14*a-59 [2] 4111 -14*a+73 [2] 4124 -58*a+38 [] 4124 -58*a+20 [] 4129 5*a+62 [] 4129 5*a-67 [] 4141 -58*a+21 [] 4141 58*a-37 [] 4149 3*a+63 [] 4149 3*a-66 [] 4156 -58*a+36 [2] 4156 58*a-22 [2] 4159 a+64 [2] 4159 a-65 [2] 4169 58*a-23 [2] 4169 -58*a+35 [2] 4169 -59*a+16 [] 4169 59*a-43 [] 4180 6*a-68 [2] 4180 -6*a-62 [5] 4180 -58*a+34 [2] 4180 -58*a+24 [2] 4180 -6*a-62 [2] 4180 6*a-68 [5] 4180 -58*a+34 [2] 4180 -6*a-62 [2] 4180 -58*a+24 [2] 4180 -58*a+34 [2] 4180 -58*a+24 [2] 4180 6*a-68 [2] 4189 9*a+61 [] 4189 9*a-70 [] 4189 9*a-70 [2] 4189 9*a+61 [2] 4195 59*a-42 [2] 4196 58*a-32 [2] 4196 -58*a+26 [2] 4201 58*a-27 [2] 4201 -58*a+31 [2] 4205 4*a+63 [13] 4205 -4*a+67 [13] 4205 58*a-29 [2, 11] 4220 2*a+64 [2] 4220 2*a+64 [] 4220 2*a-66 [2] 4220 2*a+64 [] 4220 2*a+64 [3] 4220 2*a-66 [3] 4225 65 [] 4225 65 [] 4225 65 [3, 859] 4229 -7*a-62 [3] 4229 7*a-69 [3] 4231 10*a+61 [2] 4231 -10*a+71 [2] 4259 -5*a-63 [] 4259 -5*a+68 [] 4261 -59*a+20 [] 4261 -59*a+39 [] 4271 -11*a-61 [] 4271 -11*a+72 [] 4275 -60*a+15 [2] 4275 -60*a+45 [2] 4275 -60*a+45 [2] 4275 -60*a+15 [2] 4276 -8*a-62 [] 4276 8*a-70 [] 4276 -8*a-62 [] 4276 8*a-70 [] 4276 -8*a-62 [] 4276 8*a-70 [] 4279 3*a+64 [2] 4279 -3*a+67 [] 4279 -59*a+21 [] 4279 59*a-38 [] 4279 3*a+64 [] 4279 -3*a+67 [] 4279 -59*a+21 [] 4279 3*a+64 [] 4279 -3*a+67 [2] 4279 59*a-38 [] 4289 a+65 [] 4289 a-66 [] 4289 a-66 [2] 4289 a+65 [2] 4309 12*a+61 [] 4309 59*a-23 [] 4309 59*a-36 [] 4309 59*a-36 [] 4309 -12*a+73 [] 4309 12*a+61 [] 4309 -12*a+73 [] 4321 59*a-24 [] 4321 59*a-35 [] 4321 -9*a-62 [] 4321 9*a-71 [] 4321 59*a-24 [] 4321 59*a-35 [] 4331 59*a-25 [] 4331 59*a-34 [] 4345 13*a+61 [2] 4345 59*a-27 [] 4345 13*a-74 [2] 4345 13*a+61 [2] 4345 13*a-74 [2] 4345 59*a-32 [] 4351 -2*a-65 [2] 4351 59*a-29 [2] 4351 59*a-30 [2] 4351 -2*a+67 [2] 4351 59*a-29 [] 4351 59*a-30 [] 4356 60*a-42 [] 4356 60*a-18 [] 4356 60*a-42 [] 4356 66 [2] 4356 60*a-18 [] 4356 66 [2, 3] 4356 60*a-42 [] 4356 60*a-18 [] 4356 66 [] 4356 66 [] 4361 7*a+63 [] 4361 7*a-70 [] 4361 7*a-70 [2] 4364 10*a+62 [] 4364 -10*a+72 [] 4391 -5*a-64 [2] 4391 5*a-69 [2] 4400 60*a-20 [2, 3] 4400 60*a-40 [2] 4400 60*a-20 [2] 4405 -11*a-62 [] 4405 -11*a-62 [2] 4405 -11*a+73 [2] 4409 -8*a-63 [] 4409 8*a-71 [] 4409 -8*a-63 [3] 4409 8*a-71 [3] 4411 -3*a-65 [] 4411 61*a-15 [] 4411 3*a-68 [] 4411 61*a-46 [] 4411 -3*a-65 [2] 4411 3*a-68 [2] 4436 60*a-22 [] 4436 -60*a+38 [] 4444 12*a+62 [] 4444 6*a-70 [2] 4444 6*a-70 [3] 4444 -6*a-64 [2] 4444 -12*a+74 [] 4444 -6*a-64 [3] 4444 6*a-70 [] 4451 -60*a+23 [] 4451 -60*a+37 [] 4455 9*a+63 [2, 3] 4455 -9*a+72 [2, 3] 4455 9*a+63 [2, 3] 4455 9*a+63 [2, 3] 4455 -9*a+72 [2, 3] 4469 61*a-17 [] 4469 61*a-44 [] 4469 61*a-17 [2] 4469 61*a-44 [2] 4475 -60*a+25 [] 4475 -60*a+25 [3] 4475 -60*a+25 [2] 4475 60*a-35 [3] 4475 -60*a+25 [] 4475 60*a-35 [2] 4475 60*a-35 [] 4475 60*a-35 [] 4481 13*a+62 [] 4481 13*a-75 [] 4481 13*a-75 [] 4481 13*a+62 [] 4484 2*a+66 [] 4484 2*a-68 [] 4484 2*a-68 [2] 4484 2*a+66 [2] 4484 -60*a+26 [] 4484 60*a-34 [] 4489 67 [] 4489 67 [] 4495 7*a+64 [3] 4495 -7*a+71 [3] 4495 -7*a+71 [2] 4495 7*a+64 [2] 4496 60*a-32 [] 4496 60*a-28 [] 4496 60*a-32 [] 4496 60*a-32 [3] 4496 60*a-28 [3] 4499 -60*a+29 [2] 4499 60*a-31 [2] 4516 14*a+62 [] 4516 14*a-76 [] 4516 14*a+62 [2] 4516 14*a-76 [2] 4525 5*a-70 [2] 4525 5*a+65 [2] 4525 5*a-70 [] 4525 5*a+65 [] 4541 61*a-41 [] 4541 61*a-20 [] 4544 8*a+64 [2] 4544 8*a-72 [2] 4544 8*a+64 [2] 4544 8*a-72 [2] 4545 3*a+66 [] 4545 3*a+66 [2] 4545 3*a-69 [] 4545 3*a-69 [2] 4549 -62*a+15 [] 4549 62*a-47 [] 4561 -61*a+21 [2] 4561 61*a-40 [2] 4580 -62*a+16 [2] 4580 -62*a+46 [2] 4581 -12*a+75 [] 4581 12*a+63 [] 4591 9*a+64 [2] 4591 -9*a+73 [2] 4604 4*a+66 [2] 4604 -4*a+70 [2] 4609 61*a-24 [] 4609 61*a-37 [] 4609 61*a-24 [2] 4609 61*a-37 [2] 4619 13*a+63 [] 4619 13*a-76 [] 4619 -2*a-67 [] 4619 -2*a+69 [] 4619 13*a-76 [2] 4619 -2*a-67 [] 4619 -2*a+69 [] 4631 61*a-26 [2] 4636 10*a+64 [] 4636 10*a+64 [] 4636 10*a-74 [] 4636 10*a-74 [] 4636 62*a-44 [3] 4636 62*a-44 [] 4636 -62*a+18 [] 4636 62*a-44 [] 4636 62*a-44 [] 4636 -62*a+18 [] 4645 -61*a+33 [] 4645 -61*a+28 [3] 4645 -61*a+33 [3] 4649 61*a-29 [2] 4649 -61*a+32 [2] 4651 61*a-30 [] 4651 61*a-31 [] 4655 -14*a-63 [2] 4655 14*a-77 [2] 4679 11*a+64 [3] 4679 11*a-75 [] 4679 11*a+64 [] 4679 11*a-75 [3] 4681 3*a+67 [3] 4681 -3*a+70 [3] 4681 -8*a+73 [2] 4681 8*a+65 [] 4681 -8*a+73 [] 4681 8*a+65 [2] 4681 -8*a+73 [2] 4684 62*a-20 [] 4684 62*a-42 [] 4689 15*a+63 [] 4689 -15*a+78 [] 4689 15*a+63 [] 4689 -15*a+78 [] 4716 6*a+66 [] 4716 6*a-72 [] 4716 6*a-72 [] 4716 6*a+66 [] 4716 6*a+66 [] 4720 12*a+64 [2] 4720 -12*a+76 [2] 4720 -12*a+76 [] 4741 -4*a-67 [] 4741 4*a-71 [] 4756 2*a+68 [] 4756 2*a-70 [] 4756 62*a-24 [] 4756 62*a-38 [] 4756 2*a+68 [3] 4756 2*a-70 [3] 4761 69 [2] 4761 69 [] 4761 69 [2] 4769 -62*a+25 [3] 4769 62*a-37 [] 4769 7*a+66 [2] 4769 7*a-73 [2] 4769 -62*a+25 [] 4769 62*a-37 [3] 4775 10*a+65 [3] 4775 -10*a+75 [3] 4775 10*a+65 [] 4775 -10*a+75 [2] 4775 10*a+65 [2] 4775 -10*a+75 [] 4779 63*a-18 [] 4779 63*a-45 [] 4780 -62*a+36 [2, 3] 4796 -14*a-64 [] 4796 -14*a+78 [] 4796 62*a-28 [3] 4796 -62*a+34 [] 4796 62*a-28 [2] 4796 -62*a+34 [3] 4796 62*a-28 [] 4796 -62*a+34 [2] 4796 -62*a+34 [] 4796 62*a-28 [] 4796 -62*a+34 [] 4796 62*a-28 [] 4796 -62*a+34 [] 4799 5*a+67 [2] 4799 5*a-72 [] 4799 5*a+67 [] 4799 5*a-72 [2] 4804 62*a-30 [] 4804 62*a-32 [] 4804 62*a-32 [] 4804 62*a-30 [] 4804 62*a-32 [] 4805 62*a-31 [] 4805 -63*a+19 [2] 4805 63*a-44 [2] 4805 62*a-31 [] 4805 62*a-31 [] 4805 62*a-31 [2] 4805 62*a-31 [] 4829 -63*a+43 [2] 4829 a+69 [2] 4829 a+69 [] 4829 a-70 [] 4831 -15*a-64 [2] 4831 -15*a+79 [2] 4851 63*a-21 [2] 4851 63*a-21 [2] 4851 63*a-42 [2] 4861 12*a+65 [3] 4861 -12*a+77 [3] 4861 12*a+65 [] 4861 -12*a+77 [] 4864 -64*a+16 [2] 4864 -64*a+48 [2] 4864 -64*a+48 [2] 4864 -64*a+16 [2] 4864 -64*a+48 [2] 4864 -64*a+16 [] 4864 -64*a+48 [2] 4864 -64*a+16 [2] 4864 -64*a+48 [2] 4864 -64*a+16 [2] 4864 -64*a+16 [2] 4864 -64*a+48 [] 4869 9*a+66 [] 4869 -9*a+75 [] 4871 -63*a+22 [] 4871 63*a-41 [] 4880 4*a-72 [2] 4895 -64*a+17 [2] 4895 64*a-47 [2] 4895 -2*a+71 [] 4895 -2*a+71 [] 4895 -2*a-69 [] 4895 64*a-47 [] 4895 -2*a+71 [] 4895 -2*a-69 [] 4895 -64*a+17 [] 4895 -64*a+17 [] 4895 64*a-47 [] 4900 70 [3] 4905 63*a-24 [] 4905 -63*a+39 [] 4905 -63*a+39 [] 4905 63*a-24 [] 4905 -63*a+39 [3] 4916 -10*a-66 [] 4916 -10*a+76 [] 4924 64*a-18 [2] 4924 -64*a+46 [2] 4924 64*a-18 [] 4924 -64*a+46 [] 4939 -5*a-68 [] 4939 -5*a+73 [] 4939 -14*a-65 [2] 4939 -14*a+79 [2] 4949 63*a-35 [3] 4949 63*a-28 [3] 4951 64*a-19 [] 4951 64*a-45 [] 4951 64*a-19 [2] 4951 64*a-45 [2] 4951 64*a-45 [] 4959 -3*a-69 [] 4959 -63*a+30 [2] 4959 -63*a+33 [2] 4959 3*a-72 [] 4961 11*a-77 [2] 4961 63*a-31 [] 4961 63*a-32 [] 4961 11*a+66 [2] 4961 63*a-31 [] 4961 11*a+66 [] 4961 -8*a-67 [] 4961 -8*a+75 [] 4969 a-71 [] 4969 a+70 [] 4976 64*a-44 [3] 4996 6*a+68 [2] 4996 -6*a+74 [2] 4999 64*a-21 [] 4999 64*a-43 [] 5009 65*a-16 [2] 5009 65*a-49 [2] 5011 9*a+67 [] 5011 9*a-76 [] 5021 -4*a+73 [3] 5036 2*a+70 [3] 5036 2*a-72 [3] 5036 2*a+70 [] 5036 2*a-72 [] 5041 71 [] 5056 -64*a+24 [2] 5056 -64*a+24 [2] 5071 -64*a+39 [2] 5071 -65*a+18 [2] 5071 -65*a+47 [2] 5071 -64*a+25 [2] 5081 -5*a-69 [2] 5081 5*a-74 [2] 5084 -64*a+26 [3] 5084 -64*a+26 [2] 5084 64*a-38 [2] 5084 64*a-38 [3] 5095 64*a-27 [] 5095 64*a-37 [] 5101 3*a+70 [] 5101 -3*a+73 [] 5104 -8*a+76 [2] 5104 8*a+68 [2] 5105 11*a+67 [] 5105 -11*a+78 [] 5111 64*a-29 [] 5111 a-72 [2] 5111 a+71 [] 5111 a-72 [] 5111 -64*a+35 [] 5111 a+71 [2] 5120 64*a-32 [2] 5120 64*a-32 [2] 5120 64*a-32 [2] 5120 64*a-32 [2] 5120 64*a-32 [2] 5120 64*a-32 [2] 5120 64*a-32 [2] 5120 64*a-32 [2] 5120 64*a-32 [2] 5121 15*a+66 [] 5121 15*a-81 [] 5139 6*a+69 [] 5139 -6*a+75 [] 5155 -9*a-68 [] 5155 -9*a+77 [] 5164 4*a+70 [] 5164 -4*a+74 [] 5179 -2*a-71 [] 5179 -2*a+73 [] 5191 13*a-80 [2] 5191 65*a-23 [2] 5191 -65*a+42 [] 5191 13*a+67 [2] 5191 -65*a+42 [2] 5191 65*a-23 [] 5195 -7*a-69 [] 5195 7*a-76 [2] 5195 -7*a-69 [2] 5209 -65*a+24 [2] 5209 -65*a+41 [2] 5220 66*a-18 [2] 5220 66*a-48 [2] 5220 66*a-48 [] 5220 66*a-18 [] 5220 66*a-18 [2] 5220 66*a-48 [2] 5225 -5*a-70 [2] 5225 5*a-75 [2] 5225 -5*a-70 [] 5225 5*a-75 [] 5225 -65*a+25 [] 5225 -65*a+40 [] 5225 -65*a+40 [2] 5225 5*a-75 [3] 5239 65*a-26 [2] 5239 65*a-39 [2] 5245 3*a-74 [] 5245 -3*a-71 [] 5249 -66*a+19 [2] 5249 66*a-47 [2] 5249 -8*a-69 [2] 5249 -8*a+77 [2] 5249 -66*a+19 [2] 5249 66*a-47 [2] 5269 15*a-82 [] 5269 15*a+67 [] 5275 65*a-30 [] 5275 65*a-35 [] 5276 -66*a+20 [] 5276 66*a-46 [] 5279 -65*a+31 [2] 5279 65*a-34 [2] 5284 -6*a-70 [] 5284 6*a-76 [] 5284 -6*a-70 [] 5284 6*a-76 [] 5301 66*a-21 [2] 5301 -9*a-69 [] 5301 9*a-78 [] 5305 16*a+67 [] 5305 16*a-83 [] 5324 66*a-22 [3] 5329 73 [2] 5339 13*a+68 [2] 5339 13*a-81 [2] 5341 7*a-77 [] 5341 7*a+70 [] 5345 -66*a+43 [3] 5351 -10*a-69 [2] 5351 10*a-79 [2] 5364 -66*a+24 [] 5364 -66*a+42 [] 5364 -66*a+24 [] 5364 -66*a+42 [] 5371 67*a-18 [] 5371 67*a-49 [] 5380 -14*a-68 [2] 5380 14*a-82 [2] 5381 -66*a+25 [] 5381 -66*a+41 [] 5381 -66*a+25 [] 5381 -66*a+41 [] 5391 3*a-75 [2] 5391 3*a+72 [2] 5391 3*a-75 [2] 5391 3*a+72 [2] 5396 8*a-78 [2] 5396 -8*a-70 [2] 5396 8*a-78 [] 5396 66*a-26 [3] 5396 -66*a+40 [3] 5396 -8*a-70 [] 5396 8*a-78 [3] 5399 -11*a-69 [] 5399 -11*a+80 [] 5401 67*a-19 [] 5401 -67*a+48 [] 5401 -67*a+48 [] 5409 -66*a+27 [] 5409 66*a-39 [] 5409 -66*a+27 [2] 5409 66*a-39 [2] 5420 66*a-28 [] 5420 -66*a+38 [] 5420 -66*a+38 [3] 5420 -66*a+38 [] 5420 66*a-28 [] 5429 67*a-20 [] 5429 -67*a+47 [] 5431 -6*a-71 [] 5431 6*a-77 [] 5431 -6*a-71 [2] 5431 6*a-77 [2] 5436 66*a-30 [2] 5436 66*a-36 [2] 5436 66*a-36 [2] 5441 66*a-31 [2] 5441 -66*a+35 [2] 5444 66*a-32 [2] 5444 66*a-34 [2] 5445 -12*a+81 [3] 5445 66*a-33 [2] 5445 66*a-33 [2] 5445 66*a-33 [2] 5445 12*a+69 [3] 5445 66*a-33 [2] 5449 9*a+70 [] 5449 9*a-79 [] 5449 9*a+70 [] 5449 9*a-79 [] 5456 16*a+68 [2] 5456 -16*a+84 [2] 5471 -2*a-73 [] 5471 -2*a+75 [] 5476 74 [] 5489 7*a+71 [] 5489 -7*a+78 [] 5521 67*a-24 [] 5521 -67*a+43 [] 5521 67*a-24 [] 5521 67*a-24 [] 5521 -67*a+43 [] 5521 -67*a+43 [] 5524 -68*a+18 [] 5524 68*a-50 [] 5545 8*a-79 [] 5549 a-75 [2] 5555 -68*a+19 [3] 5555 -68*a+49 [3] 5555 -67*a+41 [2] 5555 -67*a+41 [2] 5555 -68*a+49 [] 5555 -68*a+19 [] 5555 -68*a+49 [3] 5569 -67*a+27 [] 5569 67*a-40 [] 5571 -15*a-69 [] 5571 -15*a+84 [] 5591 67*a-29 [] 5591 67*a-38 [] 5599 -9*a-71 [2] 5599 67*a-30 [3] 5599 9*a-80 [2] 5599 67*a-37 [3] 5605 4*a+73 [2] 5605 -67*a+31 [2] 5605 4*a+73 [2] 5605 -67*a+31 [2] 5605 -4*a+77 [] 5605 -67*a+31 [2] 5605 4*a+73 [] 5605 -4*a+77 [2] 5605 67*a-36 [2] 5605 4*a+73 [2] 5605 67*a-36 [2] 5605 -4*a+77 [2] 5605 -4*a+77 [2] 5605 67*a-36 [2] 5605 4*a+73 [3] 5611 67*a-33 [] 5611 67*a-34 [] 5611 67*a-33 [] 5611 67*a-34 [] 5620 2*a-76 [] 5620 2*a+74 [] 5620 2*a-76 [] 5620 2*a-76 [] 5620 2*a+74 [3] 5620 2*a+74 [] 5620 2*a-76 [3] 5620 2*a+74 [] 5620 2*a-76 [2] 5620 2*a+74 [2] 5636 68*a-22 [2] 5636 68*a-46 [2] 5636 68*a-22 [] 5636 68*a-22 [2] 5636 68*a-46 [] 5639 7*a+72 [] 5639 7*a-79 [] 5679 -69*a+51 [3] 5679 -69*a+18 [3] 5679 -69*a+18 [] 5679 -69*a+51 [] 5680 -68*a+44 [3] 5680 -68*a+24 [2] 5680 -68*a+44 [2] 5684 -14*a+84 [] 5684 14*a+70 [] 5689 -3*a-74 [2] 5689 3*a-77 [2] 5696 8*a+72 [2] 5696 8*a+72 [2] 5696 8*a+72 [2] 5696 8*a-80 [2] 5696 8*a+72 [2] 5696 8*a+72 [2] 5696 8*a-80 [2] 5699 68*a-43 [] 5699 a+75 [] 5699 a-76 [] 5699 68*a-25 [] 5699 a+75 [] 5699 a-76 [] 5711 -69*a+19 [] 5711 -69*a+50 [] 5716 -68*a+26 [] 5716 -68*a+42 [] 5716 -68*a+26 [] 5716 -68*a+42 [] 5725 -15*a-70 [] 5755 68*a-29 [] 5755 -68*a+39 [] 5755 -68*a+39 [3] 5756 -4*a+78 [3] 5764 68*a-30 [3] 5764 -68*a+38 [3] 5764 68*a-30 [] 5764 -68*a+38 [] 5764 68*a-30 [] 5769 69*a-48 [] 5769 -69*a+21 [] 5771 -2*a-75 [] 5771 -2*a+77 [] 5771 68*a-37 [] 5771 -68*a+31 [] 5776 76 [2] 5776 76 [2] 5776 68*a-36 [2] 5779 -68*a+33 [] 5779 68*a-35 [] 5780 68*a-34 [] 5780 68*a-34 [] 5780 68*a-34 [] 5780 68*a-34 [] 5780 68*a-34 [2] 5780 68*a-34 [] 5780 68*a-34 [] 5791 7*a+73 [2] 5791 7*a-80 [2] 5795 13*a+71 [2] 5795 -69*a+22 [2] 5795 69*a-47 [2] 5795 -69*a+22 [2] 5795 13*a-84 [2] 5795 69*a-47 [2] 5795 13*a-84 [2] 5804 10*a+72 [] 5804 -10*a+82 [] 5819 69*a-23 [] 5819 69*a-46 [] 5819 69*a-23 [] 5819 69*a-46 [] 5841 3*a+75 [] 5841 3*a-78 [] 5841 3*a+75 [2] 5841 3*a-78 [2] 5849 8*a+73 [2] 5849 -8*a+81 [2] 5851 a+76 [] 5851 a-77 [] 5881 -15*a-71 [] 5881 -15*a+86 [] 5884 -6*a+80 [] 5884 6*a+74 [] 5884 6*a+74 [2] 5884 -6*a+80 [2] 5884 6*a+74 [] 5884 -6*a+80 [] 5895 69*a-27 [] 5895 -69*a+42 [] 5900 70*a-20 [2] 5900 70*a-50 [2] 5900 70*a-50 [] 5900 70*a-20 [] 5900 70*a-50 [] 5904 12*a+72 [2] 5904 12*a-84 [2] 5905 9*a+73 [2] 5905 -9*a+82 [2] 5924 2*a-78 [] 5924 2*a+76 [] 5924 2*a-78 [2] 5929 70*a-21 [5] 5929 77 [] 5929 77 [2] 5929 77 [2] 5945 69*a-32 [2] 5945 -7*a-74 [2] 5945 -7*a+81 [3] 5945 -7*a+81 [2] 5945 69*a-32 [] 5945 -7*a-74 [3] 5945 69*a-37 [2] 5945 69*a-32 [2] 5949 69*a-33 [] 5949 69*a-36 [] 5951 -13*a-72 [2] 5951 -13*a+85 [2] 5951 69*a-34 [2] 5951 69*a-35 [2] 5956 70*a-48 [2] 5959 -17*a-71 [2] 5959 -17*a+88 [2] 5975 5*a+75 [2] 5975 5*a-80 [2] 5995 -71*a+18 [] 5995 -71*a+53 [] 5995 3*a+76 [2] 5995 -71*a+18 [] 5995 -71*a+53 [] 5995 -71*a+53 [2] 5995 3*a+76 [2] 5995 3*a+76 [2] 5995 3*a+76 [2] 5995 -71*a+18 [2] 6004 8*a+74 [3] 6004 -8*a+82 [3] 6004 8*a+74 [] 6004 -8*a+82 [] 6004 -70*a+46 [] 6005 a-78 [] 6005 a+77 [2] 6005 a+77 [] 6005 a-78 [2] 6025 -70*a+45 [] 6025 -70*a+25 [] 6039 -15*a-72 [] 6039 15*a-87 [2] 6039 -6*a+81 [2] 6039 6*a+75 [2] 6039 15*a-87 [2] 6039 -15*a-72 [2] 6039 6*a+75 [2] 6039 -6*a+81 [2] 6039 -15*a-72 [2] 6039 15*a-87 [] 6061 -71*a+20 [2] 6061 -9*a-74 [2, 3] 6061 -12*a-73 [2] 6061 -70*a+43 [2] 6061 12*a-85 [2] 6061 -71*a+51 [2] 6061 -9*a-74 [2] 6061 9*a-83 [2] 6061 -70*a+27 [2] 6079 -2*a-77 [] 6079 -2*a+79 [] 6080 16*a-88 [2] 6080 16*a-88 [2] 6080 -16*a-72 [2] 6080 16*a-88 [2] 6080 16*a-88 [2] 6080 -16*a-72 [2] 6080 -16*a-72 [2] 6080 16*a-88 [2] 6080 16*a-88 [2] 6080 -16*a-72 [2] 6080 -16*a-72 [2] 6084 78 [2] 6089 -70*a+29 [] 6089 70*a-41 [] 6100 70*a-40 [2] 6100 70*a-40 [3] 6101 7*a+75 [] 6101 7*a-82 [] 6101 7*a+75 [] 6101 7*a-82 [3] 6101 7*a+75 [3] 6101 7*a-82 [] 6109 -13*a-73 [] 6109 13*a-86 [] 6109 70*a-31 [] 6109 -70*a+39 [] 6116 10*a-84 [2] 6116 10*a+74 [2] 6116 10*a+74 [] 6116 10*a-84 [] 6116 70*a-38 [] 6116 -70*a+32 [] 6116 10*a-84 [] 6116 -70*a+32 [] 6116 70*a-38 [] 6119 17*a+72 [2] 6119 17*a-89 [] 6119 17*a+72 [] 6119 17*a-89 [2] 6124 70*a-34 [3] 6124 70*a-36 [] 6124 70*a-34 [] 6124 70*a-36 [] 6124 70*a-34 [] 6124 70*a-36 [3] 6145 -71*a+23 [] 6145 71*a-48 [] 6155 -14*a-73 [] 6155 -14*a+87 [] 6155 -14*a+87 [] 6155 -14*a-73 [] 6161 a+78 [] 6161 a-79 [] 6161 a+78 [] 6161 a-79 [] 6169 -71*a+24 [] 6169 -71*a+47 [] 6191 -72*a+53 [] 6191 71*a-46 [] 6191 72*a-19 [] 6191 -72*a+53 [] 6191 -71*a+25 [] 6191 72*a-19 [] 6191 72*a-19 [] 6191 72*a-19 [2] 6191 -72*a+53 [2] 6196 -6*a-76 [] 6196 6*a-82 [] 6199 15*a+73 [] 6199 15*a-88 [] 6220 -12*a+86 [] 6220 12*a+74 [] 6229 -71*a+27 [] 6229 -71*a+44 [] 6236 2*a+78 [] 6236 2*a+78 [2] 6236 2*a-80 [] 6236 2*a+78 [] 6236 2*a-80 [2] 6236 2*a-80 [] 6236 2*a-80 [] 6236 2*a+78 [2] 6241 79 [] 6241 16*a+73 [] 6241 79 [] 6245 71*a-28 [] 6245 71*a-43 [] 6255 72*a-51 [] 6255 -72*a+21 [] 6255 72*a-51 [] 6255 -72*a+21 [] 6259 71*a-29 [2] 6259 71*a-42 [2] 6275 10*a+75 [2] 6275 -10*a+85 [2] 6281 17*a+73 [2] 6281 -17*a+90 [] 6281 17*a+73 [] 6281 17*a+73 [] 6281 -17*a+90 [] 6281 17*a+73 [] 6281 17*a+73 [] 6281 -17*a+90 [2] 6284 72*a-22 [] 6284 -72*a+50 [] 6316 14*a+74 [] 6316 14*a-88 [] 6319 a+79 [2] 6319 a-80 [] 6319 a-80 [2] 6319 73*a-55 [2] 6319 a+79 [] 6319 a+79 [2] 6319 a-80 [2] 6319 73*a-18 [2] 6320 -8*a+84 [2] 6329 11*a+75 [] 6329 11*a-86 [] 6329 11*a+75 [] 6329 11*a-86 [] 6336 72*a-24 [2] 6336 72*a-48 [2] 6336 72*a-48 [2] 6336 72*a-24 [2] 6336 72*a-48 [2] 6336 72*a-24 [2] 6336 72*a-48 [2] 6359 -72*a+25 [2] 6359 72*a-47 [2] 6361 -15*a-74 [2] 6361 15*a-89 [2] 6379 9*a-85 [] 6380 4*a+78 [2] 6380 -4*a+82 [2] 6380 72*a-26 [2] 6380 72*a-26 [2] 6380 72*a-46 [2] 6380 4*a+78 [2] 6380 4*a+78 [2, 3] 6380 -4*a+82 [2, 3] 6380 -4*a+82 [2] 6395 -2*a-79 [] 6395 -2*a+81 [2] 6395 -2*a-79 [2] 6395 -2*a+81 [] 6399 -72*a+27 [2] 6399 -72*a+45 [] 6399 -72*a+27 [] 6400 80 [2] 6400 80 [2] 6400 80 [2] 6400 80 [2, 3] 6400 80 [2] 6400 80 [2] 6400 80 [2] 6400 80 [2] 6400 80 [2] 6400 80 [2] 6400 80 [2] 6404 -16*a-74 [2] 6421 -73*a+21 [] 6421 73*a-52 [] 6431 -72*a+29 [] 6431 72*a-43 [] 6436 -10*a-76 [2] 6436 -10*a+86 [2] 6445 -17*a-74 [] 6445 -17*a+91 [] 6455 72*a-41 [] 6455 -72*a+31 [] 6464 72*a-32 [] 6464 72*a-32 [2] 6464 72*a-32 [] 6476 72*a-38 [3] 6476 -72*a+34 [3] 6479 -72*a+35 [2] 6479 73*a-23 [] 6479 -73*a+50 [] 6479 -14*a+89 [2] 6479 73*a-23 [] 6479 -73*a+50 [] 6479 a+80 [2] 6479 -14*a-75 [2] 6479 73*a-23 [] 6479 a-81 [2] 6479 -73*a+50 [] 6484 74*a-56 [] 6484 74*a-18 [] 6521 -74*a+19 [2] 6521 74*a-55 [2] 6525 15*a+75 [] 6525 -15*a+90 [] 6525 15*a+75 [] 6525 15*a+75 [2] 6525 -15*a+90 [2] 6529 -73*a+25 [2] 6529 73*a-48 [2] 6541 -9*a-77 [] 6541 -9*a+86 [] 6544 12*a+76 [] 6544 -12*a+88 [] 6544 12*a+76 [] 6544 -12*a+88 [] 6551 -73*a+26 [2] 6551 73*a-47 [2] 6556 2*a-82 [3] 6556 2*a+80 [3] 6561 81 [3] 6561 81 [3] 6561 81 [3] 6561 81 [3] 6569 16*a+75 [] 6569 16*a-91 [] 6581 7*a+78 [] 6581 -7*a+85 [] 6589 -73*a+28 [] 6589 -73*a+45 [] 6599 10*a+77 [] 6599 10*a-87 [] 6605 73*a-29 [2] 6605 -73*a+44 [2] 6605 73*a-29 [] 6605 -73*a+44 [] 6611 17*a+75 [] 6611 -17*a+92 [] 6620 -74*a+52 [2] 6620 74*a-22 [] 6620 -74*a+52 [] 6620 74*a-22 [] 6631 -3*a-80 [2] 6631 3*a-83 [] 6631 73*a-31 [2] 6631 73*a-42 [2] 6631 -3*a-80 [] 6631 3*a-83 [2] 6631 73*a-31 [2] 6631 73*a-42 [2] 6631 -3*a-80 [] 6631 3*a-83 [] 6641 -73*a+32 [2] 6641 -73*a+41 [2] 6641 a+81 [] 6641 a-82 [] 6641 a+81 [2] 6641 a-82 [2] 6644 14*a+76 [] 6644 14*a-90 [] 6644 14*a+76 [2] 6644 14*a-90 [2] 6649 73*a-33 [] 6649 73*a-40 [] 6649 73*a-33 [2] 6649 73*a-40 [2] 6655 11*a+77 [2] 6655 -11*a+88 [2] 6655 -11*a+88 [3] 6676 74*a-24 [] 6676 74*a-50 [] 6701 -74*a+25 [] 6701 -74*a+49 [] 6705 -9*a-78 [2] 6705 9*a-87 [2] 6705 -9*a-78 [2] 6705 -9*a-78 [2] 6705 9*a-87 [2] 6719 -2*a-81 [] 6719 -2*a+83 [] 6724 82 [2] 6724 74*a-48 [3] 6725 -75*a+20 [2] 6725 -75*a+55 [2] 6736 -16*a-76 [3] 6736 16*a-92 [3] 6736 -16*a-76 [] 6736 16*a-92 [] 6745 74*a-27 [] 6745 74*a-27 [2] 6745 74*a-27 [] 6745 7*a-86 [] 6745 -74*a+47 [] 6745 -74*a+47 [2] 6759 75*a-21 [2] 6761 -13*a-77 [] 6761 13*a-90 [] 6764 -10*a-78 [] 6764 10*a-88 [] 6764 -74*a+46 [2] 6764 10*a-88 [3] 6764 -74*a+46 [] 6764 -10*a-78 [3] 6764 74*a-28 [2] 6775 5*a+80 [2] 6775 5*a-85 [] 6775 5*a+80 [] 6775 5*a-85 [2] 6791 75*a-22 [] 6791 75*a-53 [] 6791 75*a-53 [] 6791 75*a-22 [] 6795 3*a+81 [2] 6795 3*a+81 [2] 6795 3*a-84 [2] 6796 -74*a+30 [] 6796 74*a-44 [] 6796 74*a-44 [] 6805 a+82 [2] 6805 a-83 [2] 6805 a+82 [2] 6805 a-83 [2] 6805 a+82 [2] 6805 a-83 [2] 6809 -74*a+31 [2] 6809 74*a-43 [2] 6811 14*a+77 [] 6811 -14*a+91 [] 6820 -74*a+32 [2] 6820 74*a-42 [2] 6820 -74*a+32 [2] 6821 11*a+78 [] 6821 75*a-23 [] 6821 -11*a+89 [] 6821 -75*a+52 [] 6821 -75*a+52 [] 6829 -74*a+33 [] 6829 74*a-41 [] 6836 74*a-34 [] 6836 -74*a+40 [] 6836 -74*a+40 [3] 6844 74*a-36 [3] 6844 74*a-38 [3] 6844 6*a+80 [] 6844 -6*a+86 [] 6844 74*a-38 [] 6844 6*a+80 [] 6844 74*a-36 [] 6845 74*a-37 [2] 6845 74*a-37 [] 6849 75*a-24 [] 6849 75*a-51 [] 6876 12*a+78 [] 6876 -12*a+90 [] 6876 12*a+78 [2] 6876 -12*a+90 [2] 6889 83 [] 6905 16*a+77 [] 6905 16*a+77 [2] 6905 16*a-93 [2] 6905 16*a-93 [] 6921 -75*a+27 [2] 6921 75*a-48 [2] 6929 13*a+78 [3] 6929 13*a-91 [3] 6931 76*a-55 [] 6931 76*a-21 [] 6941 5*a+81 [2] 6971 a+83 [] 6971 a-84 [] 6975 75*a-45 [] 6980 -14*a-78 [] 6980 -14*a+92 [] 6980 -14*a-78 [] 6980 -14*a+92 [] 6980 -14*a-78 [2] 6980 -14*a+92 [2] 6989 75*a-31 [] 6989 -75*a+44 [] 6995 76*a-23 [2] 6995 76*a-53 [2] 7001 75*a-32 [] 7001 -75*a+43 [] 7011 75*a-33 [2] 7011 -75*a+42 [2] 7011 -6*a+87 [] 7011 75*a-33 [2] 7011 -75*a+42 [2] 7011 6*a+81 [] 7019 75*a-34 [] 7019 -75*a+41 [] 7029 15*a+78 [] 7029 -15*a+93 [2] 7029 75*a-36 [2] 7029 -15*a+93 [] 7029 75*a-39 [2] 7029 75*a-39 [2] 7029 75*a-36 [2] 7029 15*a+78 [2] 7031 75*a-38 [2] 7031 75*a-37 [2] 7039 -9*a-80 [] 7045 12*a+79 [2] 7045 -12*a+91 [2] 7045 12*a+79 [] 7045 -12*a+91 [] 7051 76*a-25 [2] 7051 76*a-51 [2] 7056 84 [2] 7056 84 [2] 7076 16*a-94 [] 7076 -76*a+26 [2] 7076 -76*a+50 [] 7076 -76*a+26 [] 7076 -76*a+50 [2] 7079 -7*a-81 [] 7079 -7*a+88 [] 7100 10*a-90 [] 7105 77*a-21 [2] 7105 77*a-56 [] 7105 77*a-21 [] 7105 77*a-56 [2] 7105 77*a-21 [] 7139 a+84 [] 7139 a-85 [] 7139 76*a-47 [] 7139 77*a-55 [] 7139 77*a-22 [] 7139 77*a-55 [2] 7145 8*a+81 [2] 7145 -8*a+89 [2] 7145 -8*a+89 [] 7145 8*a+81 [] 7151 -14*a-79 [2] 7151 -14*a+93 [2] 7164 18*a+78 [] 7164 -18*a+96 [] 7164 18*a+78 [] 7164 18*a+78 [] 7164 -18*a+96 [] 7164 -18*a+96 [] 7171 -76*a+45 [] 7180 -6*a-82 [2] 7184 76*a-32 [] 7184 -76*a+44 [] 7201 -15*a-79 [] 7201 -15*a+94 [] 7204 -76*a+34 [3] 7204 76*a-42 [] 7204 -76*a+34 [] 7204 76*a-42 [3] 7205 -78*a+19 [2] 7205 78*a-59 [2] 7205 -4*a-83 [2] 7205 4*a-87 [2] 7205 -4*a-83 [2] 7205 4*a-87 [2] 7205 -4*a-83 [2] 7220 76*a-38 [2] 7220 76*a-38 [2] 7220 2*a+84 [] 7220 2*a+84 [3] 7220 -2*a+86 [3] 7220 76*a-38 [] 7225 85 [] 7229 -77*a+25 [] 7229 77*a-52 [] 7249 7*a+82 [2] 7249 7*a-89 [2] 7255 -77*a+26 [] 7255 -77*a+51 [] 7271 13*a+80 [] 7271 13*a-93 [] 7271 -10*a+91 [] 7271 10*a+81 [] 7271 13*a+80 [2] 7271 13*a-93 [2] 7279 -77*a+50 [2] 7279 77*a-27 [2] 7295 -17*a-79 [] 7295 -17*a+96 [] 7295 -17*a+96 [] 7321 -77*a+48 [] 7321 77*a-29 [] 7321 -77*a+48 [] 7321 77*a-29 [] 7324 14*a-94 [] 7324 14*a+80 [] 7331 -11*a-81 [] 7331 -11*a+92 [] 7339 -18*a-79 [] 7339 77*a-47 [] 7339 -18*a-79 [] 7339 18*a-97 [] 7351 -6*a-83 [] 7351 6*a-89 [] 7351 -6*a-83 [] 7351 6*a-89 [] 7355 -77*a+31 [] 7355 77*a-46 [] 7355 -77*a+31 [] 7355 77*a-46 [] 7355 77*a-46 [] 7355 -77*a+31 [] 7355 -77*a+31 [] 7355 77*a-46 [] 7381 77*a-44 [2, 3] 7381 19*a+79 [2] 7381 19*a-98 [2] 7381 -9*a+91 [] 7381 9*a+82 [] 7389 -12*a-81 [] 7389 12*a-93 [] 7399 77*a-35 [3] 7399 77*a-35 [] 7399 77*a-42 [3] 7399 77*a-42 [] 7405 -77*a+36 [2] 7405 77*a-41 [] 7405 -77*a+36 [] 7405 77*a-41 [2] 7409 -77*a+37 [2] 7409 77*a-40 [2] 7409 -78*a+25 [] 7409 78*a-53 [] 7411 77*a-38 [] 7411 77*a-39 [] 7421 -79*a+59 [3] 7424 -16*a+96 [2] 7424 -16*a+96 [2] 7424 16*a+80 [2] 7424 16*a+80 [2] 7424 -16*a+96 [2] 7424 16*a+80 [2] 7424 -16*a+96 [2] 7424 -16*a+96 [2] 7424 -16*a+96 [2] 7424 16*a+80 [2] 7424 -16*a+96 [2] 7424 16*a+80 [2] 7424 16*a+80 [2] 7424 -16*a+96 [2] 7436 78*a-52 [2] 7436 78*a-26 [2] 7444 -10*a+92 [] 7444 10*a+82 [] 7444 10*a+82 [] 7444 -10*a+92 [] 7445 13*a+81 [] 7445 13*a-94 [] 7471 17*a-97 [2] 7471 3*a+85 [] 7471 -3*a+88 [] 7471 -17*a-80 [2] 7471 3*a+85 [2] 7471 -3*a+88 [] 7471 3*a+85 [] 7471 -3*a+88 [2] 7505 11*a+82 [2] 7505 11*a-93 [2] 7505 -78*a+29 [3] 7505 11*a-93 [] 7505 -78*a+49 [3] 7516 18*a+80 [2] 7516 18*a-98 [2] 7524 6*a-90 [] 7524 -78*a+48 [] 7524 -78*a+30 [] 7524 -78*a+30 [2] 7524 -78*a+48 [2] 7524 -6*a-84 [] 7524 6*a-90 [] 7551 15*a+81 [2] 7551 15*a-96 [2] 7556 78*a-32 [2] 7556 78*a-46 [2] 7556 78*a-32 [] 7556 78*a-46 [] 7556 78*a-32 [] 7556 78*a-46 [] 7556 78*a-32 [3] 7556 78*a-46 [3] 7559 -19*a-80 [2] 7559 -19*a+99 [2] 7580 78*a-44 [] 7591 -79*a+25 [2] 7591 79*a-54 [2] 7595 7*a+84 [2] 7595 7*a-91 [] 7595 7*a+84 [] 7595 7*a-91 [2] 7600 -80*a+60 [2] 7600 -80*a+20 [2] 7601 16*a+81 [2] 7601 -16*a+97 [2] 7601 78*a-41 [] 7605 78*a-39 [] 7605 78*a-39 [] 7619 79*a-26 [2] 7619 10*a+83 [] 7619 10*a-93 [] 7619 79*a-53 [2] 7639 80*a-59 [2] 7645 -3*a-86 [2] 7645 3*a-89 [2] 7645 79*a-52 [2] 7645 3*a-89 [] 7645 -79*a+27 [] 7645 79*a-52 [] 7649 17*a+81 [2] 7649 17*a-98 [2] 7649 17*a-98 [] 7655 a+87 [] 7655 a-88 [] 7676 14*a-96 [] 7676 -80*a+58 [] 7676 -14*a-82 [] 7676 80*a-22 [] 7711 79*a-49 [] 7711 -80*a+23 [] 7711 80*a-57 [] 7724 4*a+86 [] 7724 -4*a+90 [] 7739 -19*a+100 [] 7739 -19*a-81 [] 7739 -19*a+100 [] 7739 -19*a-81 [] 7739 -19*a-81 [] 7739 -19*a+100 [] 7744 80*a-24 [] 7744 80*a-24 [2] 7744 80*a-24 [2] 7744 80*a-56 [2] 7744 80*a-56 [2] 7744 88 [] 7745 79*a-47 [3] 7745 79*a-32 [3] 7771 -7*a+92 [] 7771 7*a+85 [] 7775 80*a-55 [] 7775 80*a-25 [] 7780 -16*a+98 [2] 7780 16*a+82 [2] 7780 16*a+82 [3] 7780 -16*a+98 [3] 7780 16*a+82 [] 7780 -16*a+98 [] 7795 79*a-37 [2] 7795 79*a-42 [2] 7796 10*a+84 [] 7796 10*a-94 [] 7799 79*a-38 [2] 7799 -79*a+41 [2] 7804 80*a-54 [2] 7804 80*a-26 [2] 7804 80*a-54 [] 7804 80*a-26 [] 7804 80*a-54 [] 7804 80*a-26 [] 7821 3*a+87 [2] 7821 3*a-90 [2] 7821 -81*a+60 [2] 7821 3*a+87 [2, 3] 7821 3*a+87 [2] 7821 -81*a+21 [2] 7855 -14*a-83 [] 7855 14*a-97 [] 7876 -18*a+100 [2] 7876 -18*a-82 [2] 7876 6*a+86 [] 7876 -6*a+92 [] 7876 6*a+86 [] 7879 -80*a+29 [] 7879 -80*a+29 [2] 7879 80*a-51 [] 7900 -80*a+50 [3] 7900 -80*a+30 [3] 7900 -80*a+30 [] 7900 -80*a+50 [] 7909 -15*a+98 [] 7909 9*a+85 [] 7909 -15*a-83 [] 7909 9*a-94 [] 7909 -15*a-83 [] 7909 -15*a+98 [] 7919 -80*a+31 [] 7919 80*a-49 [] 7920 -12*a+96 [2] 7921 89 [] 7921 89 [2] 7929 81*a-24 [2] 7929 -81*a+57 [2] 7936 80*a-48 [2] 7936 80*a-32 [2] 7936 80*a-48 [2] 7936 80*a-48 [2] 7936 80*a-48 [2] 7936 80*a-32 [2] 7936 80*a-48 [2] 7936 80*a-48 [2] 7936 80*a-32 [2] 7936 80*a-48 [2] 7936 80*a-32 [2] 7936 80*a-32 [2] 7936 80*a-48 [2] 7936 80*a-32 [2] 7936 80*a-48 [2] 7936 80*a-48 [2] 7936 80*a-32 [2] 7936 80*a-48 [2] 7936 80*a-32 [2] 7951 -80*a+33 [] 7951 -80*a+47 [] 7961 -81*a+25 [2] 7961 81*a-56 [2] 7964 80*a-34 [] 7964 -80*a+46 [] 7964 82*a-20 [3] 7964 82*a-62 [] 7964 82*a-62 [3] 7964 82*a-20 [2] 7964 82*a-62 [2] 7964 82*a-20 [] 7975 10*a+85 [] 7975 80*a-45 [3] 7975 80*a-35 [3] 7975 80*a-45 [2] 7975 80*a-35 [2] 7975 -10*a+95 [] 7979 13*a+84 [] 7979 13*a-97 [] 7991 -80*a+37 [] 7991 80*a-43 [] 7991 81*a-26 [] 7991 -81*a+55 [] 7991 -80*a+37 [] 7991 80*a-43 [] 7991 81*a-26 [] 7996 -80*a+38 [2] 7996 80*a-42 [2] 7999 3*a+88 [] 7999 -3*a+91 [] 8005 -82*a+21 [2] 8005 82*a-61 [2] 8009 a+89 [2] 8009 a-90 [2] 8019 81*a-27 [3] 8019 81*a-54 [3] 8019 81*a-54 [] 8019 81*a-27 [3] 8019 81*a-27 [3] 8019 81*a-54 [3] 8019 81*a-54 [3] 8020 -8*a-86 [3] 8020 8*a-94 [3] 8036 14*a+84 [2] 8036 14*a-98 [2] 8036 14*a+84 [] 8036 14*a-98 [] 8036 14*a-98 [] 8039 -11*a-85 [2] 8039 -11*a+96 [2] 8044 82*a-22 [] 8044 -82*a+60 [] 8044 -82*a+60 [] 8045 -81*a+28 [] 8045 81*a-53 [] 8055 6*a+87 [2] 8055 -6*a+93 [] 8055 -6*a+93 [] 8055 -6*a+93 [2] 8055 6*a+87 [] 8055 6*a+87 [] 8080 4*a-92 [2] 8081 82*a-59 [] 8089 -9*a-86 [] 8089 -9*a+95 [] 8091 -15*a-84 [] 8091 -15*a+99 [] 8091 -15*a-84 [] 8091 -15*a+99 [] 8105 -19*a+102 [] 8105 19*a+83 [] 8129 81*a-49 [] 8129 81*a-32 [] 8129 81*a-32 [] 8129 81*a-49 [] 8144 16*a+84 [3] 8144 -16*a+100 [3] 8149 -20*a+103 [] 8149 -20*a-83 [] 8159 -5*a+93 [2] 8159 -5*a-88 [] 8159 81*a-34 [] 8159 -81*a+47 [] 8159 -5*a+93 [] 8159 -5*a-88 [2] 8161 -13*a-85 [2] 8189 a+90 [2] 8189 a-91 [2] 8189 a-91 [2] 8191 -83*a+21 [] 8191 -83*a+62 [] 8191 -83*a+21 [2] 8191 -83*a+62 [2] 8195 -17*a-84 [2] 8195 17*a-101 [2] 8195 17*a-101 [2] 8195 -17*a-84 [2] 8195 17*a-101 [2] 8199 81*a-39 [] 8199 81*a-39 [2] 8199 81*a-42 [] 8199 81*a-42 [2] 8199 81*a-42 [2] 8201 81*a-40 [2] 8201 81*a-41 [2] 8201 -8*a-87 [] 8201 8*a-95 [] 8209 82*a-27 [2] 8209 82*a-55 [2] 8219 14*a+85 [] 8219 -14*a+99 [] 8236 -6*a-88 [] 8244 18*a-102 [] 8244 -18*a-84 [] 8261 -82*a+53 [] 8275 -15*a-85 [2] 8275 -15*a-85 [] 8276 2*a+90 [] 8276 2*a-92 [] 8281 91 [] 8284 12*a+86 [] 8284 12*a+86 [] 8284 -12*a+98 [3] 8284 -12*a+98 [] 8284 82*a-30 [] 8284 -82*a+52 [] 8305 83*a-59 [2] 8305 83*a-24 [] 8305 83*a-59 [] 8305 83*a-24 [2] 8324 82*a-32 [2] 8324 82*a-50 [2] 8329 16*a-101 [2] 8329 16*a+85 [2] 8339 10*a+87 [] 8339 10*a-97 [] 8339 10*a+87 [] 8339 10*a-97 [] 8345 -13*a-86 [] 8345 13*a-99 [] 8356 82*a-34 [2] 8356 82*a-48 [2] 8361 3*a+90 [] 8361 3*a-93 [] 8361 3*a+90 [] 8361 3*a-93 [] 8369 82*a-35 [2] 8369 -82*a+47 [2] 8371 -83*a+26 [2] 8371 83*a-57 [2] 8371 a+91 [] 8371 a-92 [] 8379 -84*a+21 [2] 8380 -82*a+36 [] 8380 -82*a+46 [] 8381 17*a+85 [] 8381 -17*a+102 [] 8384 8*a+88 [2] 8396 -82*a+38 [] 8396 82*a-44 [] 8396 82*a-44 [] 8396 -82*a+38 [] 8401 -83*a+27 [] 8401 83*a-56 [] 8404 -14*a+100 [] 8404 14*a+86 [] 8405 -11*a-87 [] 8405 82*a-41 [2] 8405 11*a-98 [] 8419 -6*a-89 [] 8419 6*a-95 [] 8420 -84*a+22 [2] 8420 84*a-62 [2] 8444 4*a+90 [] 8444 -4*a+94 [2] 8444 4*a+90 [2] 8444 -4*a+94 [] 8455 -83*a+29 [] 8455 83*a-54 [] 8455 9*a-97 [3] 8455 9*a+88 [3] 8455 -83*a+29 [3] 8455 9*a+88 [2] 8455 9*a-97 [2] 8464 92 [] 8464 92 [] 8464 92 [] 8464 92 [] 8469 -12*a+99 [] 8516 -16*a+102 [2] 8516 -16*a-86 [2] 8524 -10*a-88 [] 8524 10*a-98 [] 8525 -20*a+105 [2] 8525 -20*a+105 [2] 8525 5*a+90 [2] 8531 84*a-25 [] 8531 84*a-59 [] 8531 84*a-25 [] 8531 84*a-59 [] 8545 -3*a+94 [] 8545 3*a+91 [] 8555 -83*a+34 [] 8555 -83*a+49 [] 8555 -83*a+34 [] 8555 a+92 [] 8555 a-93 [] 8555 a-93 [] 8555 -83*a+49 [] 8564 -84*a+26 [] 8569 -17*a+103 [] 8569 -17*a+103 [3] 8569 85*a-21 [2] 8569 17*a+86 [] 8569 -8*a+97 [2] 8569 17*a+86 [2] 8569 -17*a+103 [2] 8569 17*a+86 [3] 8569 83*a-35 [] 8569 8*a+89 [2] 8569 -8*a+97 [2] 8569 83*a-35 [] 8569 8*a+89 [2] 8591 11*a-99 [] 8591 -83*a+37 [] 8591 -14*a-87 [] 8591 -14*a+101 [] 8591 83*a-46 [] 8591 11*a+88 [] 8591 83*a-46 [] 8591 11*a-99 [2] 8591 -83*a+37 [] 8595 84*a-27 [2] 8595 84*a-57 [2] 8595 84*a-27 [2] 8595 84*a-57 [2] 8599 83*a-38 [] 8599 83*a-45 [] 8604 6*a+90 [] 8604 6*a-96 [2] 8604 6*a-96 [] 8605 83*a-39 [] 8605 -83*a+44 [] 8609 -83*a+40 [] 8609 83*a-43 [] 8620 18*a+86 [2] 8620 18*a-104 [2] 8624 84*a-56 [] 8641 -9*a-89 [2] 8641 9*a-98 [2] 8644 2*a+92 [] 8644 2*a-94 [] 8649 15*a-102 [] 8649 -15*a-87 [] 8649 -15*a-87 [] 8649 15*a-102 [] 8651 84*a-29 [] 8651 -84*a+55 [] 8656 12*a+88 [] 8676 -84*a+54 [2] 8676 -84*a+30 [2] 8676 -84*a+54 [] 8676 -84*a+30 [2] 8676 -84*a+30 [] 8676 -84*a+54 [2] 8689 85*a-24 [2] 8689 85*a-24 [] 8689 85*a-61 [2] 8705 -16*a+103 [] 8705 16*a+87 [] 8711 -5*a+96 [] 8711 5*a+91 [] 8716 20*a+86 [] 8716 20*a-106 [] 8719 13*a-101 [] 8719 13*a+88 [] 8725 -85*a+25 [3] 8725 85*a-60 [3] 8756 -84*a+34 [2] 8756 -84*a+34 [2] 8756 84*a-50 [2] 8756 84*a-50 [2] 8756 -8*a+98 [3] 8759 17*a-104 [] 8759 17*a+87 [] 8761 -86*a+21 [] 8761 86*a-65 [] 8784 84*a-36 [2] 8791 6*a+91 [2] 8791 -6*a+97 [2] 8791 85*a-27 [2] 8791 -85*a+58 [2] 8795 84*a-37 [2] 8795 84*a-47 [] 8795 84*a-37 [] 8795 84*a-47 [2] 8804 84*a-38 [2] 8804 84*a-38 [2] 8804 -86*a+64 [2] 8804 -86*a+22 [] 8804 -86*a+64 [] 8804 -84*a+46 [2] 8804 -86*a+22 [2] 8819 -84*a+41 [] 8819 84*a-43 [] 8820 84*a-42 [2] 8820 84*a-42 [2] 8821 85*a-28 [] 8821 85*a-57 [] 8836 94 [2] 8836 94 [] 8839 15*a-103 [2] 8845 86*a-23 [] 8845 -86*a+63 [] 8845 12*a+89 [2] 8845 -12*a+101 [2] 8849 -85*a+29 [2] 8849 85*a-56 [2] 8896 -16*a+104 [2] 8896 -16*a+104 [] 8896 16*a+88 [] 8899 -85*a+54 [2] 8900 10*a-100 [3] 8900 10*a+90 [3] 8900 10*a-100 [3] 8909 -20*a+107 [] 8909 -20*a-87 [] 8921 85*a-32 [2] 8921 -85*a+53 [2] 8921 -86*a+61 [] 8921 -86*a+25 [] 8929 a+94 [] 8929 a-95 [] 8929 a+94 [] 8929 a-95 [] 8929 a-95 [] 8941 -85*a+33 [] 8941 -85*a+52 [] 8945 -8*a-91 [] 8945 -8*a+99 [] 8955 87*a-21 [] 8955 87*a-66 [2] 8955 87*a-21 [2] 8955 87*a-66 [] 8959 85*a-51 [2] 8959 85*a-34 [2] 8969 11*a-101 [2] 8969 11*a+90 [2] 8975 85*a-50 [] 8975 -85*a+35 [] 8999 -87*a+22 [] 8999 -87*a+65 [] 9019 -85*a+39 [2] 9019 -85*a+46 [2] 9020 2*a+94 [2] 9020 86*a-28 [] 9020 2*a+94 [] 9020 2*a-96 [2] 9020 86*a-58 [] 9025 95 [2] 9025 95 [] 9025 95 [2] 9031 85*a-42 [] 9031 85*a-43 [] 9036 12*a+90 [] 9036 -12*a+102 [] 9049 -86*a+29 [] 9049 -86*a+57 [] 9081 87*a-24 [2] 9081 -87*a+63 [2] 9089 -16*a+105 [] 9089 16*a+89 [] 9089 -5*a-93 [2] 9089 -5*a+98 [2] 9091 -10*a+101 [] 9091 10*a+91 [] 9104 20*a-108 [3] 9104 20*a+88 [3] 9104 20*a-108 [] 9104 20*a+88 [] 9119 a-96 [] 9119 a+95 [] 9124 86*a-54 [] 9136 -8*a+100 [3] 9145 -86*a+33 [] 9145 17*a-106 [2] 9145 -86*a+33 [] 9145 17*a+89 [2] 9145 -86*a+53 [] 9145 -86*a+53 [] 9151 21*a-109 [2] 9151 21*a+88 [2] 9155 87*a-26 [] 9155 -87*a+61 [] 9161 -11*a+102 [] 9161 -11*a-91 [] 9161 -11*a-91 [] 9161 -11*a+102 [] 9164 86*a-34 [] 9164 14*a+90 [2] 9164 86*a-34 [] 9164 -86*a+52 [] 9164 -86*a+52 [] 9196 -86*a+36 [] 9196 -86*a+50 [] 9196 4*a-98 [2] 9196 -4*a-94 [] 9196 -88*a+22 [2] 9196 4*a-98 [] 9196 -88*a+66 [2] 9196 -86*a+50 [] 9196 -88*a+22 [2] 9196 -88*a+66 [2] 9211 -2*a-95 [] 9211 -2*a+97 [] 9216 96 [2] 9216 96 [2] 9216 96 [2] 9216 96 [2] 9216 96 [2] 9216 96 [2] 9216 96 [2] 9216 96 [2] 9216 96 [2] 9216 96 [2] 9216 96 [2] 9216 96 [2] 9225 15*a-105 [] 9236 86*a-40 [] 9236 -86*a+46 [] 9236 86*a-40 [] 9241 -86*a+41 [] 9241 86*a-45 [] 9244 86*a-42 [2] 9244 86*a-44 [2] 9245 86*a-43 [] 9245 86*a-43 [] 9251 -19*a+108 [] 9251 7*a+93 [2, 5] 9251 19*a+89 [] 9251 -7*a+100 [2, 5] 9279 -87*a+30 [2] 9279 -87*a+57 [2] 9279 -87*a+30 [2] 9279 -87*a+57 [2] 9279 -87*a+30 [] 9279 -87*a+57 [] 9280 88*a-64 [2] 9280 88*a-64 [2] 9280 88*a-24 [2] 9281 -5*a-94 [] 9281 5*a-99 [] 9284 -10*a+102 [3] 9284 10*a+92 [3] 9295 -13*a+104 [] 9295 -13*a+104 [] 9295 13*a+91 [] 9301 -3*a-95 [] 9301 -20*a+109 [2] 9319 88*a-25 [] 9319 -88*a+63 [] 9329 87*a-32 [] 9329 87*a-55 [] 9341 -17*a+107 [] 9341 17*a+90 [] 9351 87*a-33 [] 9351 -87*a+54 [] 9356 -88*a+26 [] 9356 -88*a+62 [] 9356 -88*a+26 [3] 9356 -88*a+62 [] 9356 -88*a+26 [] 9356 -88*a+62 [] 9356 -88*a+26 [] 9359 14*a+91 [] 9359 -14*a+105 [] 9359 -14*a+105 [3] 9371 -87*a+34 [] 9371 -87*a+53 [] 9389 4*a-99 [] 9389 -4*a-95 [] 9391 88*a-27 [2] 9391 -88*a+61 [2] 9395 89*a-22 [2] 9395 89*a-67 [2] 9395 89*a-22 [2] 9396 18*a+90 [] 9396 -18*a+108 [] 9396 18*a+90 [2] 9396 -18*a+108 [2] 9405 -87*a+36 [2] 9405 -87*a+51 [2] 9405 -87*a+51 [2] 9405 -87*a+36 [2] 9405 -87*a+36 [2] 9405 -87*a+51 [2] 9409 97 [] 9409 97 [] 9424 88*a-28 [2] 9424 88*a-60 [] 9439 89*a-23 [] 9439 -89*a+66 [] 9449 -19*a-90 [] 9449 -19*a+109 [] 9449 -19*a+109 [2] 9449 -19*a-90 [2] 9455 88*a-59 [3] 9455 88*a-29 [2] 9455 88*a-29 [3] 9459 87*a-42 [] 9459 87*a-45 [] 9459 87*a-42 [] 9459 87*a-45 [] 9475 5*a-100 [2] 9475 5*a+95 [2] 9475 5*a-100 [] 9475 5*a+95 [] 9475 5*a+95 [] 9481 -89*a+65 [] 9481 -89*a+24 [] 9484 -88*a+30 [] 9484 -88*a+58 [] 9484 -88*a+30 [] 9484 -88*a+58 [] 9491 -13*a+105 [] 9491 13*a+92 [] 9491 -13*a+105 [] 9491 13*a+92 [] 9495 3*a+96 [2] 9495 3*a-99 [2] 9495 3*a+96 [2] 9495 3*a-99 [2] 9521 -89*a+25 [2] 9521 -89*a+64 [2] 9524 8*a-102 [] 9524 -8*a-94 [] 9549 21*a+90 [3] 9559 6*a-101 [] 9559 -6*a-95 [3] 9559 -89*a+63 [] 9559 6*a-101 [3] 9559 -88*a+33 [] 9559 -88*a+55 [] 9559 -6*a-95 [] 9559 -89*a+63 [3] 9559 -89*a+26 [] 9559 -89*a+26 [3] 9580 88*a-34 [2] 9580 88*a-54 [] 9580 88*a-54 [3] 9580 88*a-34 [] 9580 88*a-54 [2] 9580 88*a-54 [] 9580 88*a-34 [] 9580 88*a-54 [] 9595 -89*a+27 [] 9595 -89*a+27 [2] 9595 -89*a+62 [2] 9595 -18*a+109 [2] 9595 18*a+91 [2] 9595 18*a+91 [2] 9595 -89*a+62 [2] 9595 -18*a+109 [2] 9595 -89*a+27 [2] 9595 -89*a+62 [] 9596 90*a-22 [] 9596 90*a-68 [] 9599 -2*a-97 [2] 9599 -2*a+99 [2] 9599 88*a-35 [2] 9599 -88*a+53 [2] 9604 98 [13] 9629 -89*a+28 [] 9629 -89*a+61 [] 9631 -88*a+37 [] 9631 -88*a+51 [] 9655 -88*a+49 [] 9671 -5*a+101 [2] 9671 5*a+96 [2] 9671 -88*a+47 [2] 9671 5*a+96 [] 9671 88*a-41 [2] 9679 -88*a+43 [2] 9679 88*a-45 [2] 9680 88*a-44 [2] 9684 -90*a+24 [] 9684 -90*a+66 [] 9684 -90*a+66 [] 9691 -89*a+30 [] 9691 -89*a+59 [] 9719 89*a-31 [] 9719 -89*a+58 [] 9721 8*a-103 [] 9721 -8*a-95 [] 9745 89*a-32 [] 9745 89*a-57 [] 9756 6*a-102 [2] 9756 6*a+96 [2] 9756 6*a+96 [] 9769 -89*a+33 [2] 9769 -89*a+56 [2] 9791 -89*a+34 [] 9791 89*a-55 [] 9791 -89*a+34 [] 9791 89*a-55 [] 9796 2*a+98 [2] 9796 2*a-100 [2] 9796 -18*a+110 [] 9796 18*a+92 [] 9796 18*a+92 [2] 9799 -91*a+22 [2] 9801 99 [5] 9801 99 [2] 9811 89*a-35 [] 9811 89*a-54 [] 9820 12*a-106 [] 9820 -12*a-94 [] 9829 89*a-36 [] 9829 89*a-53 [] 9845 -91*a+68 [2] 9845 -91*a+68 [] 9845 -91*a+23 [2] 9845 -91*a+23 [] 9869 5*a+97 [] 9869 90*a-29 [] 9869 -90*a+61 [] 9869 90*a-29 [] 9869 -90*a+61 [] 9871 -89*a+39 [2] 9871 -89*a+50 [2] 9881 89*a-40 [2] 9881 89*a-49 [2] 9889 -91*a+67 [2] 9889 3*a-101 [2] 9889 -3*a-98 [2] 9889 91*a-24 [2] 9889 -3*a-98 [2] 9889 89*a-41 [2] 9889 -89*a+48 [2] 9895 89*a-42 [] 9895 89*a-47 [] 9895 89*a-42 [] 9895 89*a-47 [] 9895 89*a-47 [] 9900 90*a-60 [] 9900 90*a-30 [] 9900 90*a-60 [] 9900 90*a-60 [] 9900 90*a-30 [] 9900 90*a-60 [] 9900 90*a-30 [] 9900 90*a-30 [3] 9920 8*a-104 [2] 9920 8*a+96 [2] 9920 8*a+96 [2] 9941 17*a-110 [] 9941 17*a+93 [] 9949 -11*a+106 [] 9949 -11*a-95 [] 9949 -11*a+106 [] 9949 -11*a-95 [] 9955 21*a-113 [] 9956 -90*a+32 [2] 9956 90*a-58 [2] 9956 -90*a+32 [] 9956 90*a-58 [3] 9956 -90*a+32 [] 9956 90*a-58 [] 9956 90*a-58 [] 9980 -4*a+102 [2] 9980 4*a+98 [2] 9980 -4*a+102 [] 9980 4*a+98 [] 9980 -4*a+102 [] 9995 -2*a-99 [] 9995 -2*a+101 [] 9999 18*a+93 [] 9999 -18*a+111 [] 10004 22*a-114 [] 10004 22*a+92 [] 10004 90*a-34 [3] 10009 91*a-64 [] 10009 91*a-27 [] 10009 91*a-27 [] 10009 91*a-64 [] 10009 91*a-27 [] 10009 91*a-64 [] 10021 12*a-107 [] 10021 -12*a-95 [] 10021 -15*a+109 [2] 10021 -15*a-94 [2] 10021 -15*a+109 [2] 10021 -15*a-94 [2] 10045 91*a-28 [] 10045 91*a-63 [] 10045 91*a-63 [] 10045 91*a-63 [2] 10045 91*a-28 [2] 10045 91*a-63 [2] 10051 -92*a+23 [] 10051 -92*a+69 [] 10076 -10*a+106 [2] 10076 -10*a-96 [2] 10076 -10*a-96 [] 10076 -10*a+106 [] 10089 3*a+99 [] 10089 -90*a+39 [] 10089 3*a-102 [] 10089 90*a-51 [] 10089 3*a+99 [] 10089 3*a-102 [] 10089 90*a-51 [2] 10089 -90*a+39 [2] 10100 90*a-40 [] 10100 90*a-40 [] 10100 90*a-50 [] 10100 90*a-40 [] 10100 90*a-50 [] 10116 90*a-42 [2] 10116 90*a-48 [2] 10116 90*a-42 [] 10116 90*a-48 [] 10116 90*a-42 [] 10121 -8*a+105 [2] 10121 8*a+97 [2] 10139 92*a-67 [] 10139 -92*a+25 [] 10141 -91*a+31 [] 10141 91*a-60 [] 10151 -11*a+107 [] 10151 -11*a-96 [] 10156 -6*a+104 [] 10156 6*a+98 [3] 10156 -6*a+104 [3] 10161 21*a-114 [2] 10195 -91*a+33 [] 10195 -91*a+33 [] 10195 -91*a+33 [] 10195 91*a-58 [] 10195 91*a-58 [] 10196 2*a+100 [] 10196 2*a-102 [] 10201 101 [] 10204 18*a-112 [2] 10204 18*a-112 [] 10204 18*a+94 [2] 10204 18*a+94 [] 10211 -22*a+115 [] 10211 22*a+93 [] 10224 12*a+96 [2] 10224 12*a-108 [2] 10225 -15*a+110 [] 10225 15*a+95 [3] 10225 15*a+95 [] 10225 -15*a+110 [3] 10225 -15*a+110 [3] 10225 15*a+95 [] 10241 -91*a+35 [] 10241 7*a-105 [] 10241 -7*a-98 [] 10241 -91*a+56 [] 10261 19*a-113 [] 10261 -19*a-94 [] 10279 -91*a+37 [] 10279 10*a-107 [] 10279 10*a+97 [] 10279 -91*a+54 [] 10279 10*a+97 [2] 10279 10*a-107 [2] 10279 -91*a+37 [] 10279 -91*a+54 [] 10279 -91*a+54 [] 10279 -91*a+37 [] 10289 16*a-111 [] 10289 -16*a-95 [] 10291 3*a+100 [] 10291 -3*a+103 [] 10295 -13*a-96 [] 10295 -91*a+38 [2] 10295 -91*a+53 [2] 10295 13*a-109 [] 10295 -13*a-96 [] 10305 -93*a+24 [] 10305 -93*a+69 [] 10305 -93*a+24 [2] 10305 -93*a+69 [2] 10309 91*a-39 [2] 10321 -91*a+40 [] 10321 -91*a+51 [] 10324 8*a+98 [] 10324 -8*a+106 [] 10324 -8*a+106 [] 10324 8*a+98 [] 10324 -8*a+106 [] 10324 92*a-62 [] 10324 92*a-30 [] 10331 -91*a+41 [] 10331 -91*a+50 [] 10349 -91*a+47 [] 10349 93*a-68 [] 10349 93*a-25 [] 10349 91*a-44 [] 10351 91*a-45 [] 10351 91*a-46 [] 10351 91*a-45 [2] 10351 91*a-46 [2] 10355 11*a-108 [] 10355 -92*a+31 [3] 10355 11*a+97 [] 10364 -14*a-96 [2] 10369 21*a-115 [] 10369 21*a+94 [] 10384 -92*a+60 [] 10384 4*a-104 [] 10384 4*a-104 [2] 10404 102 [2] 10405 9*a-107 [] 10405 -9*a-98 [] 10405 9*a-107 [2] 10405 -9*a-98 [2] 10405 9*a-107 [] 10405 -9*a-98 [] 10405 9*a-107 [2] 10405 -9*a-98 [] 10411 18*a-113 [3] 10411 -92*a+33 [] 10411 -92*a+59 [] 10420 -22*a-94 [2] 10420 -22*a+116 [2] 10420 -22*a-94 [2] 10431 93*a-66 [] 10431 -93*a+27 [] 10431 93*a-66 [2] 10436 -92*a+34 [2] 10436 -92*a+58 [2] 10436 -92*a+34 [] 10436 -92*a+58 [] 10436 -92*a+34 [] 10436 -92*a+58 [] 10445 7*a+99 [] 10469 -19*a+114 [2] 10475 5*a+100 [] 10480 92*a-36 [] 10484 10*a-108 [] 10484 -10*a-98 [] 10484 10*a-108 [] 10484 -10*a-98 [] 10496 16*a+96 [] 10496 16*a-112 [2] 10496 16*a+96 [2] 10496 16*a-112 [2] 10501 13*a-110 [] 10501 13*a+97 [] 10505 -93*a+64 [] 10505 a+102 [] 10505 a-103 [] 10516 -92*a+54 [2] 10516 -94*a+24 [] 10516 -92*a+38 [2] 10516 -94*a+70 [] 10516 -94*a+70 [] 10516 -94*a+24 [] 10525 -20*a-95 [2] 10525 20*a-115 [2] 10531 -92*a+39 [] 10531 -92*a+53 [] 10561 -11*a-98 [2] 10561 11*a-109 [2] 10561 -94*a+25 [] 10561 94*a-69 [] 10561 -94*a+25 [] 10571 93*a-31 [] 10571 93*a-62 [] 10571 93*a-31 [2] 10571 14*a-111 [3] 10571 93*a-62 [] 10571 92*a-49 [3] 10571 93*a-31 [] 10571 -92*a+43 [3] 10580 92*a-46 [] 10580 92*a-46 [] 10580 92*a-46 [3] 10580 92*a-46 [3] 10604 2*a-104 [] 10604 -94*a+26 [2] 10604 -94*a+68 [2] 10609 103 [] 10620 18*a+96 [] 10620 -18*a+114 [] 10620 -18*a+114 [3] 10620 -18*a+114 [] 10620 18*a+96 [3] 10620 18*a+96 [] 10631 22*a-117 [2] 10631 22*a+95 [2] 10636 -12*a+110 [] 10636 12*a+98 [] 10645 -94*a+27 [] 10645 94*a-67 [] 10684 94*a-28 [2] 10684 -94*a+66 [2] 10684 94*a-28 [] 10684 -94*a+66 [] 10701 3*a-105 [] 10705 -16*a+113 [3] 10705 16*a+97 [3] 10711 a+103 [2] 10711 a-104 [2] 10729 -95*a+24 [] 10729 -95*a+71 [] 10729 -95*a+71 [] 10736 8*a+100 [2] 10736 8*a+100 [3] 10755 -93*a+39 [2] 10755 -93*a+39 [2] 10755 -93*a+54 [2] 10769 17*a-114 [] 10769 -93*a+40 [] 10769 93*a-53 [] 10775 -95*a+70 [3] 10775 -95*a+70 [] 10775 -95*a+25 [] 10780 -14*a+112 [2] 10780 14*a+98 [2] 10781 -93*a+41 [] 10781 -93*a+52 [] 10791 -21*a+117 [] 10791 -21*a+117 [2] 10791 -21*a-96 [] 10791 -21*a-96 [2] 10791 -21*a+117 [2] 10791 -21*a-96 [2] 10796 -4*a-102 [3] 10796 -4*a+106 [3] 10805 93*a-44 [2] 10805 -93*a+49 [2] 10809 93*a-45 [] 10809 93*a-48 [] 10809 93*a-45 [2] 10809 93*a-48 [2] 10809 93*a-45 [2] 10809 93*a-48 [2] 10811 93*a-46 [2] 10811 93*a-47 [2] 10816 104 [2] 10816 104 [2] 10816 104 [2] 10816 104 [2] 10831 18*a-115 [] 10831 -18*a-97 [] 10844 -22*a+118 [] 10844 -22*a-96 [] 10845 -12*a+111 [2] 10845 12*a+99 [2] 10845 -12*a+111 [2] 10845 12*a+99 [2] 10849 -15*a+113 [2] 10849 -15*a-98 [] 10849 -15*a+113 [] 10849 -15*a-98 [2] 10876 94*a-60 [] 10876 -94*a+34 [] 10895 -23*a+119 [] 10895 -23*a-96 [] 10895 -23*a+119 [] 10895 -23*a-96 [] 10895 -23*a+119 [3] 10895 -23*a-96 [3] 10900 10*a+100 [] 10900 10*a-110 [] 10900 10*a-110 [] 10900 10*a+100 [] 10900 10*a+100 [2] 10901 -94*a+35 [2] 10901 -94*a+59 [2] 10916 -16*a+114 [2] 10916 16*a+98 [2] 10919 a+104 [2] 10919 a-105 [2] 10924 -94*a+36 [] 10924 -94*a+58 [] 10924 -94*a+36 [] 10924 -94*a+58 [] 10939 -95*a+29 [] 10939 -95*a+66 [] 10944 -96*a+24 [2] 10944 -96*a+24 [2] 10944 -96*a+72 [2] 10944 -96*a+72 [2] 10945 -8*a+109 [] 10945 -8*a+109 [2] 10945 -8*a-101 [2] 10945 -8*a+109 [2] 10945 -94*a+57 [3] 10945 -94*a+57 [] 10945 -8*a-101 [] 10964 -94*a+38 [] 10964 94*a-56 [] 10980 6*a-108 [] 10980 6*a+102 [] 10981 -94*a+39 [] 10981 94*a-55 [] 10991 96*a-71 [] 10991 -14*a+113 [2] 10991 14*a+99 [2] 10991 -14*a+113 [] 11005 4*a-107 [2] 11005 -21*a+118 [] 11005 4*a-107 [2] 11005 -4*a-103 [2] 11005 -4*a-103 [2] 11009 -94*a+41 [] 11009 94*a-53 [] 11009 -95*a+31 [] 11009 95*a-64 [] 11009 -95*a+31 [] 11009 95*a-64 [] 11020 -2*a-104 [3] 11020 -94*a+52 [] 11020 -2*a-104 [] 11020 2*a-106 [3] 11020 2*a-106 [] 11020 2*a-106 [] 11020 -94*a+52 [3] 11025 105 [] 11036 -94*a+44 [2] 11036 94*a-50 [2] 11036 -94*a+44 [] 11036 94*a-50 [] 11041 -95*a+32 [] 11041 -95*a+63 [] 11041 -95*a+63 [] 11044 94*a-46 [] 11044 94*a-48 [] 11045 94*a-47 [] 11045 94*a-47 [] 11071 -95*a+33 [2] 11071 95*a-62 [2] 11099 -95*a+61 [] 11099 95*a-34 [] 11105 19*a-117 [] 11105 19*a+98 [3] 11105 19*a-117 [3] 11105 19*a+98 [] 11111 -10*a+111 [] 11111 10*a+101 [] 11119 3*a-107 [] 11120 96*a-68 [2] 11120 96*a-68 [2] 11120 -96*a+28 [2] 11129 a+105 [] 11129 a-106 [] 11129 16*a-115 [] 11129 16*a+99 [] 11129 a+105 [2] 11156 -8*a-102 [] 11156 8*a-110 [] 11159 96*a-67 [] 11161 97*a-24 [2] 11161 97*a-73 [2] 11164 20*a-118 [3] 11164 -20*a-98 [3] 11191 95*a-38 [] 11191 6*a+103 [] 11191 -6*a+109 [] 11191 95*a-38 [] 11191 95*a-57 [] 11191 95*a-57 [] 11196 96*a-30 [2] 11196 96*a-66 [2] 11196 96*a-30 [] 11196 96*a-66 [] 11204 -14*a+114 [] 11204 14*a+100 [] 11209 95*a-56 [] 11209 -95*a+39 [] 11216 4*a+104 [] 11216 4*a-108 [] 11221 -21*a-98 [] 11221 21*a-119 [] 11225 -95*a+55 [3] 11225 -95*a+55 [] 11231 96*a-65 [2] 11231 -96*a+31 [] 11231 -96*a+31 [2] 11231 96*a-65 [] 11236 106 [3] 11236 106 [] 11241 9*a+102 [2] 11241 -9*a+111 [2] 11241 9*a+102 [] 11241 -9*a+111 [] 11251 95*a-42 [] 11251 95*a-53 [] 11264 96*a-32 [2] 11264 96*a-64 [2] 11264 96*a-64 [2] 11264 96*a-32 [2] 11264 96*a-64 [2] 11264 96*a-64 [2] 11264 96*a-32 [2] 11264 96*a-32 [2] 11264 96*a-32 [2] 11264 96*a-64 [2] 11264 96*a-64 [2] 11264 96*a-32 [2] 11269 95*a-44 [] 11269 95*a-51 [] 11275 -15*a-100 [] 11275 95*a-45 [] 11275 -15*a-100 [2] 11275 -15*a-100 [3] 11275 15*a-115 [] 11275 15*a-115 [3] 11275 15*a-115 [2] 11275 95*a-50 [] 11281 95*a-47 [] 11281 95*a-48 [] 11295 -96*a+33 [] 11295 -96*a+63 [] 11295 -96*a+63 [] 11295 -96*a+33 [] 11311 -5*a-104 [] 11311 5*a-109 [] 11311 -5*a-104 [] 11311 5*a-109 [] 11321 -19*a+118 [] 11321 -19*a-99 [] 11324 96*a-34 [2] 11324 -96*a+62 [2] 11324 96*a-34 [] 11324 -96*a+62 [] 11331 3*a+105 [] 11331 3*a-108 [] 11345 13*a-114 [2] 11345 13*a+101 [2] 11351 -96*a+61 [2] 11369 -8*a-103 [] 11369 8*a-111 [] 11376 -96*a+60 [] 11380 98*a-24 [2] 11380 98*a-74 [2] 11381 -97*a+68 [2] 11405 -11*a-102 [2] 11405 -11*a+113 [2] 11420 96*a-38 [] 11420 -96*a+58 [] 11429 4*a+105 [] 11429 -4*a+109 [] 11429 -98*a+25 [] 11429 98*a-73 [] 11439 21*a+99 [] 11439 21*a-120 [2] 11439 21*a+99 [2] 11439 21*a-120 [] 11439 21*a+99 [] 11439 -96*a+39 [] 11439 21*a-120 [2] 11439 21*a+99 [2] 11439 96*a-57 [] 11439 21*a-120 [] 11439 21*a-120 [2] 11439 21*a+99 [2] 11444 2*a+106 [] 11444 2*a-108 [] 11444 2*a+106 [3] 11444 2*a-108 [3] 11455 9*a+103 [2] 11455 9*a-112 [2] 11455 9*a-112 [] 11455 9*a+103 [] 11456 -96*a+40 [] 11456 96*a-56 [] 11484 12*a+102 [3] 11484 -12*a+114 [3] 11495 7*a-111 [3] 11495 -96*a+43 [] 11495 -96*a+53 [] 11495 -96*a+53 [3] 11495 22*a-121 [2] 11495 22*a-121 [2] 11495 -96*a+43 [3] 11495 -22*a-99 [2] 11520 96*a-48 [2] 11520 96*a-48 [2] 11520 96*a-48 [2] 11520 96*a-48 [2] 11520 96*a-48 [2] 11520 96*a-48 [2] 11520 96*a-48 [2] 11520 96*a-48 [2] 11520 96*a-48 [2] 11520 96*a-48 [2] 11520 96*a-48 [2] 11520 96*a-48 [2] 11521 -97*a+33 [2] 11521 97*a-64 [2] 11521 -98*a+27 [] 11521 -98*a+71 [] 11525 5*a+105 [2] 11525 5*a-110 [2] 11539 -19*a-100 [2] 11539 -19*a+119 [2] 11539 -19*a-100 [2] 11555 a+107 [] 11555 a-108 [] 11561 16*a+101 [] 11561 16*a-117 [] 11561 16*a+101 [2] 11561 16*a+101 [] 11561 16*a-117 [2] 11564 98*a-70 [] 11564 98*a-28 [] 11584 8*a+104 [2] 11584 8*a+104 [2] 11584 8*a-112 [2] 11601 99*a-75 [] 11605 97*a-36 [3] 11605 97*a-61 [3] 11605 97*a-61 [2] 11605 97*a-61 [2] 11605 97*a-36 [2] 11605 -98*a+29 [2] 11605 -98*a+69 [2] 11605 -98*a+69 [2] 11605 -98*a+29 [2] 11619 6*a+105 [] 11619 -6*a+111 [] 11644 -4*a-106 [2] 11644 98*a-30 [] 11644 -98*a+68 [] 11644 -4*a+110 [2] 11644 -98*a+68 [2] 11644 -98*a+68 [] 11644 -98*a+68 [] 11644 98*a-30 [] 11644 98*a-30 [] 11664 108 [3] 11664 108 [3] 11664 108 [3] 11671 -97*a+39 [2] 11671 97*a-58 [2] 11671 -9*a-104 [2] 11701 -12*a+115 [] 11701 12*a+103 [] 11709 -15*a-102 [] 11709 15*a-117 [] 11716 -22*a-100 [] 11716 -22*a+122 [] 11716 -22*a-100 [] 11716 98*a-32 [] 11716 -22*a+122 [] 11731 97*a-43 [] 11731 -97*a+54 [] 11745 99*a-72 [3] 11755 -97*a+46 [] 11755 97*a-51 [] 11755 97*a-51 [] 11755 -97*a+46 [] 11755 -97*a+46 [] 11755 97*a-51 [] 11759 97*a-47 [] 11759 -97*a+50 [] 11761 -3*a-107 [] 11761 3*a-110 [] 11761 -3*a-107 [] 11761 3*a-110 [] 11771 a+108 [] 11771 a-109 [] 11779 -13*a-103 [] 11779 13*a-116 [] 11780 98*a-64 [2] 11780 -98*a+34 [2] 11780 -16*a+118 [] 11780 -98*a+34 [] 11780 -16*a-102 [] 11780 98*a-64 [] 11801 8*a+105 [] 11801 -8*a+113 [] 11809 -98*a+63 [2] 11809 -98*a+35 [2] 11824 24*a+100 [] 11836 6*a-112 [2] 11836 -6*a-106 [2] 11839 11*a+104 [] 11839 11*a-115 [] 11855 -14*a-103 [] 11855 -14*a+117 [] 11861 -98*a+37 [] 11861 -98*a+61 [] 11861 -4*a-107 [] 11861 4*a-111 [] 11876 2*a+108 [3] 11876 2*a-110 [3] 11881 109 [2] 11889 -9*a-105 [] 11889 9*a-114 [] 11905 -98*a+59 [2] 11905 98*a-39 [2] 11909 -99*a+31 [] 11909 99*a-68 [] 11916 -18*a-102 [] 11916 18*a-120 [] 11924 100*a-74 [] 11924 -100*a+26 [] 11924 98*a-40 [] 11924 -100*a+26 [2] 11924 100*a-74 [2] 11924 -100*a+26 [2] 11924 100*a-74 [2] 11924 98*a-58 [] 11929 15*a+103 [] 11929 15*a-118 [] 11929 7*a+106 [] 11929 -7*a+113 [2] 11929 7*a+106 [2] 11929 -7*a+113 [] 11929 7*a+106 [2] 11941 -98*a+41 [] 11941 98*a-57 [] 11956 98*a-56 [] 11956 98*a-56 [] 11956 98*a-42 [] 11969 -98*a+43 [2] 11969 98*a-55 [2] 11975 10*a+105 [] 11975 -10*a+115 [] 11975 10*a+105 [] 11975 10*a+105 [3] 11975 -10*a+115 [] 11975 10*a+105 [2] 11975 -10*a+115 [2] 11979 99*a-33 [] 11979 99*a-33 [2] 11979 99*a-66 [2] 11980 98*a-54 [2] 11980 98*a-44 [2] 11981 19*a+102 [] 11981 -19*a+121 [] 11989 a-110 [] 11989 a+109 [2] 11989 a+109 [] 11989 a-110 [2] 11995 -23*a-101 [2] 11995 23*a-124 [2] 11995 23*a-124 [] 11995 23*a-124 [2] 12001 98*a-47 [] 12001 98*a-47 [] 12001 -98*a+51 [] 12001 -98*a+51 [] 12004 98*a-48 [] 12004 98*a-50 [] 12011 -99*a+34 [] 12011 99*a-65 [] 12020 8*a+106 [] 12020 -8*a+114 [] 12020 8*a+106 [] 12020 -8*a+114 [] 12020 8*a+106 [] 12049 -24*a-101 [2] 12049 -24*a+125 [2] 12055 -6*a-107 [] 12055 6*a-113 [] 12055 -6*a-107 [3] 12055 6*a-113 [3] 12076 14*a+104 [] 12076 14*a-118 [] 12095 -99*a+37 [] 12095 99*a-62 [] 12100 100*a-70 [] 12100 110 [2] 12100 110 [3] 12100 100*a-70 [] 12100 100*a-70 [3] 12100 100*a-30 [3] 12100 100*a-30 [] 12101 101*a-25 [] 12101 101*a-76 [] 12105 21*a-123 [2] 12105 21*a-123 [2] 12105 -21*a-102 [2] 12119 -99*a+38 [2] 12119 -99*a+61 [2] 12141 -12*a-105 [] 12141 12*a-117 [] 12141 -12*a-105 [] 12141 12*a-117 [] 12141 -99*a+60 [] 12141 99*a-39 [] 12151 101*a-26 [2] 12151 -101*a+75 [2] 12151 -15*a-104 [] 12151 15*a-119 [] 12151 15*a-119 [] 12151 -15*a-104 [] 12151 -15*a-104 [3] 12151 15*a-119 [3] 12161 99*a-40 [] 12161 99*a-59 [] 12164 -22*a-102 [] 12164 -22*a+124 [] 12195 -99*a+57 [2] 12196 -10*a-106 [2] 12196 -10*a+116 [2] 12199 101*a-27 [] 12199 -101*a+74 [] 12205 -19*a-103 [] 12205 19*a-122 [] 12209 99*a-43 [] 12209 99*a-56 [] 12221 -13*a+118 [] 12221 99*a-44 [] 12221 99*a-55 [] 12221 13*a+105 [] 12221 -23*a+125 [2] 12224 -16*a+120 [2] 12239 -99*a+46 [] 12239 -99*a+53 [] 12244 -100*a+34 [] 12244 -100*a+66 [] 12245 -101*a+28 [3] 12245 99*a-52 [2] 12245 -101*a+73 [3] 12245 -101*a+28 [2] 12245 -101*a+73 [] 12245 99*a-47 [] 12245 99*a-47 [2] 12245 99*a-52 [] 12245 -101*a+28 [] 12245 -101*a+73 [2] 12249 99*a-48 [] 12249 99*a-51 [] 12269 -20*a-103 [] 12269 -20*a+123 [] 12275 -100*a+65 [] 12275 -100*a+35 [] 12276 6*a-114 [] 12276 6*a+108 [] 12276 24*a+102 [2] 12276 24*a+102 [] 12276 -24*a+126 [] 12289 101*a-72 [] 12289 -101*a+29 [] 12295 17*a-121 [] 12316 2*a+110 [3] 12316 2*a-112 [3] 12316 2*a+110 [2] 12316 2*a-112 [2] 12321 111 [2] 12329 -102*a+25 [] 12329 102*a-77 [] 12331 -9*a-107 [] 12331 9*a-116 [] 12331 21*a-124 [2] 12331 -101*a+30 [2] 12356 -100*a+38 [2] 12356 -100*a+62 [2] 12356 -100*a+38 [2] 12356 -100*a+62 [2] 12364 -12*a-106 [2] 12364 12*a-118 [2] 12371 7*a+108 [] 12371 7*a-115 [] 12380 -102*a+76 [2] 12391 22*a+103 [2] 12391 22*a-125 [2] 12401 -5*a-109 [2] 12401 5*a-114 [2] 12419 100*a-41 [] 12419 -100*a+59 [] 12419 10*a+107 [] 12419 10*a-117 [] 12419 10*a-117 [] 12419 10*a+107 [] 12419 10*a-117 [] 12419 10*a+107 [] 12431 a-112 [2] 12431 19*a+104 [2] 12431 19*a-123 [2] 12431 a+111 [2] 12431 19*a+104 [] 12431 19*a-123 [2] 12431 19*a-123 [] 12445 -101*a+33 [] 12445 -101*a+33 [] 12445 101*a-68 [] 12445 13*a+106 [2] 12445 13*a-119 [2] 12445 13*a+106 [2] 12445 13*a-119 [2] 12451 100*a-57 [] 12451 -100*a+43 [] 12475 -100*a+45 [] 12475 100*a-55 [] 12479 -101*a+34 [] 12479 -101*a+67 [] 12496 100*a-52 [2] 12505 24*a+103 [3] 12505 -24*a+127 [3] 12521 -17*a-105 [2] 12521 -17*a+122 [2] 12521 -17*a-105 [2] 12521 -17*a+122 [2] 12524 -4*a+114 [3] 12524 -14*a-106 [] 12524 -4*a+114 [] 12524 -14*a-106 [] 12524 -14*a+120 [] 12524 -4*a+114 [] 12524 -4*a-110 [] 12524 -4*a-110 [] 12524 -4*a-110 [3] 12524 -4*a+114 [] 12544 112 [2] 12544 112 [2] 12544 112 [] 12564 102*a-72 [] 12564 -102*a+30 [] 12569 -101*a+37 [] 12569 -101*a+64 [] 12569 -101*a+37 [] 12569 -101*a+64 [] 12569 -101*a+37 [2] 12569 -101*a+64 [2] 12589 -12*a-107 [] 12589 12*a-119 [] 12595 101*a-38 [] 12595 -7*a-109 [2] 12595 -7*a+116 [] 12595 -7*a-109 [] 12595 -101*a+63 [2] 12595 -7*a+116 [2] 12601 15*a+106 [2] 12601 -15*a+121 [2] 12620 -22*a+126 [] 12620 -22*a-104 [] 12644 10*a-118 [] 12644 -10*a-108 [] 12644 -102*a+32 [] 12644 -10*a-108 [] 12644 10*a-118 [] 12661 101*a-41 [] 12661 101*a-60 [] 12661 -103*a+76 [] 12671 13*a+107 [] 12671 13*a-120 [] 12676 -16*a+122 [2] 12676 -16*a-106 [2] 12676 -16*a-106 [] 12676 -16*a+122 [] 12689 -8*a-109 [2] 12689 -8*a+117 [2] 12709 101*a-44 [] 12709 -101*a+57 [] 12716 102*a-34 [] 12716 102*a-68 [] 12716 102*a-34 [] 12721 -101*a+45 [2] 12721 101*a-56 [2] 12736 -24*a+128 [] 12736 24*a+104 [] 12745 -101*a+48 [2] 12745 -101*a+53 [2] 12749 17*a-123 [2] 12749 4*a-115 [] 12749 102*a-35 [] 12749 -102*a+67 [] 12749 -4*a-111 [] 12749 101*a-52 [] 12749 4*a-115 [2] 12749 -101*a+49 [] 12749 -4*a-111 [2] 12749 17*a+106 [2] 12751 101*a-51 [2] 12751 -14*a+121 [] 12751 101*a-50 [2] 12751 -14*a-107 [] 12751 101*a-50 [2] 12751 101*a-51 [] 12751 101*a-51 [2] 12751 101*a-51 [] 12751 101*a-50 [] 12764 2*a+112 [] 12764 2*a-114 [] 12769 113 [2] 12780 -102*a+66 [2] 12780 -102*a+36 [2] 12780 -102*a+36 [2] 12781 9*a+109 [] 12781 -9*a+118 [] 12789 -21*a+126 [] 12789 -21*a+126 [2] 12789 21*a+105 [] 12789 21*a+105 [2] 12791 25*a+104 [] 12791 25*a-129 [] 12799 103*a-30 [] 12799 103*a-30 [2] 12799 103*a-73 [] 12816 12*a+108 [] 12816 12*a-120 [] 12820 18*a-124 [] 12820 -18*a-106 [] 12820 -18*a-106 [] 12820 18*a-124 [] 12820 18*a-124 [3] 12820 -18*a-106 [3] 12836 102*a-64 [2] 12871 -10*a-109 [] 12871 10*a-119 [] 12871 3*a+112 [2] 12871 -3*a+115 [2] 12871 -10*a-109 [2] 12871 10*a-119 [2] 12881 a+113 [2] 12881 a-114 [] 12881 -103*a+71 [3] 12881 a+113 [] 12881 a-114 [2] 12881 -103*a+32 [3] 12884 102*a-40 [] 12884 102*a-62 [] 12905 16*a+107 [2] 12911 23*a+105 [] 12911 -23*a+128 [] 12911 23*a+105 [] 12911 -23*a+128 [] 12924 102*a-60 [] 12924 102*a-60 [2] 12924 -102*a+42 [2] 12924 -102*a+42 [] 12941 102*a-43 [] 12941 102*a-59 [] 12951 6*a+111 [2] 12951 -6*a+117 [] 12951 -6*a+117 [2] 12951 6*a+111 [] 12951 6*a+111 [3] 12951 -6*a+117 [3] 12955 103*a-34 [] 12955 103*a-69 [] 12956 -102*a+44 [] 12956 20*a-126 [2] 12959 -11*a-109 [] 12959 -11*a-109 [] 12959 11*a-120 [] 12969 102*a-45 [2] 12969 -24*a+129 [2] 12969 -24*a-105 [2] 12969 -102*a+57 [2] 12969 -24*a-105 [2] 12969 -24*a+129 [2] 12980 14*a+108 [2] 12980 14*a+108 [3] 12989 102*a-47 [] 12989 -102*a+55 [] 12996 102*a-48 [] 12996 102*a-54 [] 13001 -102*a+49 [] 13001 102*a-53 [] 13001 -102*a+49 [] 13001 102*a-53 [] 13009 9*a+110 [] 13009 9*a+110 [] 13009 9*a-119 [] 13021 -21*a+127 [2] 13021 21*a+106 [2] 13025 -25*a+130 [2] 13025 25*a+105 [2] 13051 103*a-37 [] 13051 103*a-66 [] 13051 103*a-37 [] 13051 103*a-66 [] 13079 5*a+112 [2] 13079 -103*a+65 [] 13079 -103*a+38 [] 13079 105*a-79 [2] 13079 5*a-117 [2] 13079 5*a-117 [2] 13079 5*a+112 [2] 13079 5*a-117 [] 13079 5*a+112 [] 13079 5*a-117 [2] 13084 22*a+106 [] 13084 22*a-128 [] 13084 22*a+106 [2] 13084 22*a-128 [2] 13084 22*a+106 [] 13084 22*a-128 [] 13100 10*a+110 [2] 13100 10*a+110 [] 13100 10*a-120 [2] 13100 10*a-120 [] 13100 10*a-120 [] 13100 10*a+110 [] 13105 103*a-64 [] 13105 103*a-39 [] 13105 103*a-39 [] 13105 103*a-64 [] 13105 103*a-39 [] 13105 103*a-64 [] 13109 a+114 [] 13109 a-115 [] 13109 a+114 [] 13109 a-115 [] 13120 104*a-72 [2] 13120 104*a-32 [2] 13120 104*a-72 [2] 13120 104*a-32 [2] 13120 104*a-72 [2] 13120 104*a-32 [2] 13120 104*a-72 [2] 13120 104*a-72 [2] 13120 104*a-32 [2] 13121 -19*a-107 [] 13121 19*a-126 [] 13129 -103*a+40 [] 13129 -13*a-109 [] 13129 13*a-122 [] 13129 -13*a-109 [2] 13129 13*a-122 [2] 13136 16*a-124 [3] 13136 -16*a-108 [3] 13136 16*a-124 [] 13136 -16*a-108 [] 13145 -8*a-111 [3] 13145 -8*a-111 [] 13145 8*a-119 [3] 13171 -103*a+42 [] 13171 -103*a+61 [] 13180 -6*a-112 [] 13180 6*a-118 [] 13180 6*a-118 [3] 13180 -6*a-112 [3] 13189 -103*a+43 [] 13189 -103*a+60 [] 13189 11*a-121 [2] 13196 104*a-34 [] 13196 104*a-70 [] 13196 104*a-34 [] 13205 -4*a+117 [2] 13205 103*a-44 [2] 13205 -103*a+59 [2] 13205 4*a+113 [] 13205 4*a+113 [] 13205 -4*a+117 [] 13205 -4*a+117 [] 13205 4*a+113 [2] 13211 -17*a+125 [] 13211 -17*a-108 [] 13220 2*a+114 [2] 13220 2*a-116 [] 13220 2*a-116 [2] 13220 2*a+114 [] 13220 2*a+114 [] 13220 2*a-116 [] 13225 115 [] 13231 -104*a+69 [3] 13231 -104*a+35 [2] 13231 -104*a+35 [3] 13231 -104*a+69 [2] 13239 9*a+111 [] 13239 -9*a+120 [] 13255 21*a+107 [3] 13255 21*a-128 [2] 13255 21*a+107 [2] 13255 21*a-128 [] 13255 21*a-128 [3] 13259 103*a-50 [] 13259 -103*a+53 [] 13275 105*a-30 [2] 13275 105*a-75 [] 13275 105*a-30 [] 13279 7*a+112 [2] 13295 -104*a+37 [] 13295 -104*a+67 [] 13295 -104*a+37 [] 13295 -104*a+67 [] 13316 106*a-80 [2] 13319 22*a+107 [2] 13324 -104*a+66 [3] 13324 104*a-38 [] 13324 -104*a+66 [] 13339 a+115 [] 13339 a-116 [] 13351 -104*a+39 [2] 13351 -104*a+39 [2] 13351 -104*a+65 [2] 13355 19*a+108 [] 13355 19*a-127 [] 13361 -105*a+32 [2] 13361 -105*a+32 [2] 13361 -105*a+73 [2] 13361 -105*a+73 [2] 13361 13*a-123 [] 13361 13*a+110 [] 13369 -106*a+27 [2] 13369 106*a-79 [2] 13369 16*a+109 [2] 13369 16*a-125 [2] 13376 -104*a+40 [2] 13376 -104*a+64 [2] 13376 -104*a+40 [2] 13376 -104*a+64 [2] 13376 -104*a+64 [2] 13376 -104*a+64 [2] 13376 -8*a-112 [] 13401 -105*a+33 [] 13401 105*a-72 [] 13401 -105*a+33 [2] 13401 105*a-72 [2] 13411 -6*a-113 [] 13411 6*a-119 [] 13420 106*a-28 [2] 13420 -104*a+42 [3] 13420 104*a-62 [2] 13420 104*a-62 [] 13420 -104*a+42 [2] 13420 104*a-62 [3] 13420 104*a-62 [] 13420 -104*a+42 [] 13424 20*a+108 [] 13424 20*a-128 [3] 13424 20*a-128 [] 13424 20*a+108 [] 13424 20*a-128 [] 13424 20*a+108 [3] 13436 -4*a-114 [] 13436 -4*a+118 [] 13436 -4*a-114 [2] 13436 -4*a+118 [2] 13439 -104*a+61 [2] 13439 104*a-43 [2] 13441 24*a+107 [] 13445 17*a+109 [] 13445 -17*a+126 [] 13451 -2*a-115 [] 13451 -2*a+117 [] 13456 104*a-44 [2] 13456 116 [3] 13471 -104*a+45 [2] 13471 9*a+112 [2] 13471 9*a-121 [2] 13471 -104*a+59 [2] 13475 105*a-35 [] 13475 105*a-70 [] 13475 105*a-35 [] 13475 105*a-70 [3] 13475 105*a-35 [2] 13484 104*a-46 [] 13484 -104*a+58 [] 13509 -12*a+123 [] 13516 -104*a+50 [] 13516 104*a-54 [] 13516 104*a-54 [] 13516 -106*a+76 [] 13516 106*a-30 [] 13516 -104*a+50 [] 13519 104*a-51 [] 13519 104*a-53 [] 13519 18*a+109 [] 13519 -18*a+127 [2] 13525 15*a+110 [3] 13525 -15*a+125 [2] 13525 15*a+110 [] 13525 -15*a+125 [] 13525 -15*a+125 [3] 13525 15*a+110 [2] 13561 106*a-31 [2] 13561 -3*a+118 [] 13561 106*a-31 [] 13561 -106*a+75 [] 13564 10*a+112 [] 13564 -10*a+122 [] 13564 10*a+112 [] 13564 -10*a+122 [] 13571 a+116 [] 13571 a-117 [] 13571 a-117 [] 13591 -19*a-109 [2] 13591 -19*a+128 [2] 13599 -105*a+39 [] 13599 105*a-66 [] 13604 -16*a-110 [] 13604 16*a-126 [] 13604 106*a-74 [] 13604 106*a-74 [2] 13609 -8*a+121 [2] 13609 8*a+113 [2] 13609 -8*a+121 [] 13609 8*a+113 [] 13609 -107*a+80 [] 13609 -107*a+27 [] 13644 6*a+114 [] 13644 6*a-120 [] 13644 6*a+114 [] 13644 6*a-120 [3] 13644 6*a-120 [] 13644 6*a+114 [3] 13644 6*a-120 [] 13649 -105*a+41 [2] 13649 105*a-64 [2] 13655 11*a+112 [] 13655 11*a-123 [] 13661 107*a-79 [] 13661 107*a-28 [] 13661 107*a-79 [] 13661 107*a-28 [] 13671 105*a-63 [2] 13671 105*a-63 [] 13671 105*a-42 [] 13671 105*a-63 [] 13681 17*a+110 [] 13681 17*a-127 [] 13684 -106*a+34 [3] 13684 106*a-72 [3] 13709 -105*a+44 [] 13709 105*a-61 [] 13721 106*a-35 [2] 13721 106*a-71 [2] 13725 105*a-45 [] 13725 105*a-60 [] 13725 105*a-60 [] 13725 105*a-60 [] 13725 105*a-45 [] 13725 105*a-45 [] 13739 -105*a+46 [2] 13739 -105*a+59 [2] 13739 -105*a+46 [2] 13739 -105*a+59 [2] 13739 -105*a+46 [2] 13745 7*a-121 [] 13745 7*a+114 [] 13751 -105*a+47 [2] 13751 -105*a+58 [2] 13756 -106*a+36 [] 13756 -106*a+36 [3] 13759 107*a-30 [] 13759 107*a-77 [] 13761 15*a-126 [] 13761 15*a+111 [] 13769 105*a-49 [2] 13769 105*a-56 [2] 13775 -105*a+55 [] 13775 -105*a+50 [] 13775 -105*a+50 [] 13775 -105*a+55 [] 13775 -105*a+50 [] 13775 -105*a+55 [2] 13775 -105*a+55 [] 13779 105*a-51 [] 13779 105*a-54 [] 13795 -22*a-109 [2] 13795 22*a-131 [2] 13796 26*a+108 [] 13796 26*a-134 [] 13796 26*a-134 [2] 13796 26*a+108 [2] 13799 10*a+113 [] 13799 10*a-123 [] 13799 10*a-123 [] 13799 10*a+113 [] 13805 -107*a+31 [2] 13805 -107*a+76 [2] 13820 106*a-38 [3] 13820 -106*a+68 [3] 13844 8*a+114 [] 13849 106*a-67 [] 13849 106*a-67 [2] 13851 -108*a+27 [3] 13851 -108*a+81 [3] 13851 -108*a+27 [3] 13851 -108*a+81 [3] 13851 -108*a+81 [3] 13851 -108*a+27 [3] 13876 106*a-40 [] 13876 -106*a+66 [] 13876 106*a-40 [] 13876 -106*a+66 [] 13879 -6*a+121 [] 13879 6*a+115 [2] 13879 -6*a+121 [2] 13879 6*a+115 [] 13900 -20*a+130 [] 13900 20*a+110 [] 13900 20*a+110 [] 13900 -20*a+130 [] 13900 -20*a+130 [] 13904 4*a-120 [2] 13919 -2*a+119 [2] 13924 106*a-42 [3] 13924 118 [] 13924 106*a-42 [] 13924 118 [] 13924 -106*a+64 [] 13924 118 [] 13964 106*a-62 [] 13964 106*a-44 [] 13969 21*a+110 [] 13969 21*a-131 [] 13981 12*a+113 [2] 13981 -25*a+134 [] 13981 7*a-122 [2] 13981 7*a+115 [2] 13981 106*a-45 [2] 13981 -12*a+125 [] 13981 106*a-61 [2] 13981 12*a+113 [] 13981 25*a+109 [] 13996 106*a-46 [] 13996 106*a-60 [] 14004 108*a-30 [] 14004 -108*a+78 [] 14005 -107*a+36 [2] 14009 -106*a+59 [] 14009 106*a-47 [] 14009 -106*a+59 [] 14020 -106*a+58 [2] 14020 106*a-48 [2] 14020 -106*a+58 [] 14020 106*a-48 [] 14036 106*a-50 [] 14036 10*a+114 [] 14036 106*a-50 [] 14036 -10*a+124 [] 14036 106*a-56 [] 14036 106*a-56 [] 14036 10*a+114 [] 14036 -22*a+132 [] 14036 -10*a+124 [] 14036 22*a+110 [2] 14036 -22*a+132 [2] 14036 22*a+110 [] 14039 -107*a+37 [2] 14039 107*a-70 [2] 14039 26*a+109 [2] 14039 26*a-135 [2] 14041 106*a-51 [] 14041 a-119 [3] 14041 a+118 [] 14041 a-119 [] 14041 a+118 [3] 14041 106*a-51 [2] 14041 -106*a+55 [2] 14044 106*a-52 [] 14044 106*a-54 [] 14044 106*a-54 [2] 14069 19*a+111 [2] 14069 19*a-130 [2] 14069 19*a+111 [2] 14069 19*a-130 [2] 14069 19*a+111 [] 14069 19*a-130 [] 14071 -107*a+38 [] 14071 -107*a+69 [] 14080 16*a+112 [2] 14080 -16*a+128 [2, 3] 14080 16*a+112 [2] 14080 16*a+112 [2] 14080 -16*a+128 [2] 14080 -16*a+128 [2] 14080 -16*a+128 [2] 14080 16*a+112 [2] 14080 -16*a+128 [2] 14080 -16*a+128 [2, 3] 14080 16*a+112 [2] 14080 -16*a+128 [2] 14080 16*a+112 [2] 14080 -16*a+128 [2] 14080 -16*a+128 [2] 14080 -16*a+128 [2] 14080 -16*a+128 [2] 14080 16*a+112 [2] 14080 16*a+112 [2] 14080 16*a+112 [2] 14080 -16*a+128 [2] 14080 16*a+112 [2] 14080 16*a+112 [2] 14080 -16*a+128 [2] 14080 16*a+112 [2] 14080 -16*a+128 [2] 14080 -16*a+128 [2] 14080 -16*a+128 [2] 14080 -16*a+128 [2] 14080 16*a+112 [2] 14080 16*a+112 [2] 14080 -16*a+128 [2] 14080 16*a+112 [2] 14080 16*a+112 [2] 14081 -8*a-115 [] 14081 -8*a+123 [] 14101 107*a-39 [] 14129 107*a-67 [] 14129 -107*a+40 [] 14129 -11*a+125 [2] 14129 -11*a-114 [2] 14141 4*a+117 [] 14141 20*a+111 [2] 14141 4*a+117 [] 14141 -4*a+121 [] 14141 4*a+117 [3] 14141 -4*a+121 [] 14156 2*a+118 [] 14156 2*a-120 [] 14180 -108*a+74 [] 14180 108*a-34 [] 14180 -108*a+74 [2] 14180 108*a-34 [2] 14211 21*a+111 [] 14225 25*a+110 [] 14225 25*a-135 [3] 14225 25*a+110 [3] 14225 25*a-135 [] 14239 -107*a+45 [] 14239 -107*a+62 [] 14239 -15*a-113 [] 14239 -15*a+128 [] 14239 -15*a+128 [2] 14239 -15*a-113 [2] 14251 109*a-30 [] 14269 3*a+118 [2] 14269 -3*a+121 [2] 14275 -10*a+125 [3] 14275 10*a+115 [3] 14279 a+119 [] 14279 a-120 [] 14291 -108*a+37 [] 14291 108*a-71 [] 14299 -107*a+50 [] 14299 -107*a+50 [] 14299 107*a-57 [] 14299 107*a-57 [] 14305 -107*a+51 [] 14305 107*a-56 [] 14309 13*a+114 [] 14309 107*a-55 [] 14309 13*a-127 [] 14309 -107*a+52 [] 14311 107*a-53 [] 14311 107*a-54 [] 14320 8*a+116 [3] 14321 16*a+113 [2] 14321 -16*a+129 [2] 14341 -110*a+27 [] 14341 110*a-83 [] 14345 109*a-77 [2] 14345 109*a-32 [2] 14355 6*a+117 [] 14355 6*a+117 [] 14355 -6*a+123 [] 14355 -6*a+123 [] 14355 108*a-69 [2] 14355 -6*a+123 [] 14380 -4*a-118 [] 14384 108*a-68 [2] 14384 -108*a+40 [2] 14389 109*a-33 [] 14389 109*a-76 [] 14395 -2*a-119 [2] 14395 -2*a-119 [] 14395 -2*a+121 [] 14395 -2*a+121 [2] 14396 -110*a+28 [2] 14396 14*a+114 [] 14396 -14*a+128 [] 14396 -110*a+82 [2] 14396 -14*a+128 [] 14400 120 [2] 14400 120 [] 14431 109*a-34 [] 14431 -109*a+75 [] 14436 108*a-42 [2] 14436 -108*a+66 [2] 14436 -108*a+66 [] 14436 108*a-42 [] 14455 21*a+112 [2] 14455 -21*a+133 [2] 14455 21*a+112 [] 14455 -21*a+133 [] 14471 109*a-35 [2] 14471 -109*a+74 [2] 14471 -25*a-111 [2] 14471 109*a-35 [] 14471 -109*a+74 [] 14471 25*a-136 [2] 14479 -18*a-113 [] 14479 18*a-131 [] 14480 -108*a+44 [2] 14480 -108*a+44 [2] 14480 108*a-64 [2] 14481 -15*a-114 [2] 14481 -15*a+129 [2] 14499 108*a-63 [3] 14509 109*a-36 [] 14516 108*a-46 [3] 14516 -108*a+62 [3] 14516 -108*a+62 [] 14524 22*a+112 [2] 14524 -22*a+134 [2] 14531 26*a+111 [] 14531 -26*a+137 [] 14545 -109*a+37 [2] 14545 109*a-72 [2] 14551 13*a+115 [] 14551 13*a-128 [] 14555 108*a-49 [] 14564 -108*a+50 [] 14564 108*a-58 [] 14579 109*a-38 [] 14579 109*a-71 [] 14580 108*a-54 [3] 14580 108*a-54 [3] 14580 108*a-54 [3] 14580 108*a-54 [3] 14580 108*a-54 [3] 14580 108*a-54 [3] 14580 108*a-54 [3] 14580 108*a-54 [3] 14580 108*a-54 [3] 14580 108*a-54 [3] 14580 108*a-54 [3] 14580 108*a-54 [3] 14580 108*a-54 [3] 14580 108*a-54 [3] 14580 108*a-54 [3] 14580 108*a-54 [3] 14580 108*a-54 [3] 14580 108*a-54 [3] 14596 110*a-32 [2] 14596 110*a-78 [2] 14611 109*a-39 [] 14611 -109*a+70 [] 14636 2*a+120 [] 14645 -17*a-114 [] 14645 17*a-131 [] 14645 -111*a+28 [2] 14645 -111*a+83 [2] 14645 -111*a+28 [2] 14645 -111*a+83 [2] 14656 -24*a-112 [2] 14656 24*a-136 [2] 14656 -24*a-112 [2] 14695 109*a-67 [] 14695 109*a-42 [] 14695 109*a-42 [] 14695 109*a-67 [] 14701 -21*a-113 [] 14701 21*a-134 [] 14719 -109*a+66 [2] 14719 -109*a+43 [2] 14724 -18*a+132 [] 14724 18*a+114 [] 14725 -15*a-115 [3] 14725 15*a-130 [] 14725 110*a-35 [2] 14725 15*a-130 [] 14725 -15*a-115 [2] 14725 15*a-130 [] 14725 15*a-130 [3] 14725 -15*a-115 [] 14725 -15*a-115 [] 14725 15*a-130 [2] 14751 3*a+120 [] 14751 3*a-123 [] 14751 3*a-123 [3] 14751 3*a+120 [] 14751 3*a+120 [3] 14751 3*a-123 [] 14759 10*a+117 [] 14759 10*a-127 [] 14759 10*a-127 [] 14759 10*a+117 [] 14759 10*a-127 [] 14761 a+121 [2] 14761 a-122 [2] 14761 -109*a+45 [2] 14761 109*a-64 [2] 14764 110*a-74 [3] 14764 110*a-36 [3] 14779 -109*a+63 [] 14779 109*a-46 [] 14780 26*a+112 [] 14780 26*a-138 [] 14801 -111*a+31 [] 14801 111*a-80 [] 14801 -111*a+31 [] 14801 111*a-80 [] 14831 -109*a+50 [] 14831 -109*a+59 [] 14836 -110*a+38 [] 14836 110*a-72 [] 14836 -110*a+38 [3] 14836 110*a-72 [3] 14839 -27*a+139 [2] 14839 23*a+113 [3] 14839 -27*a-112 [2] 14845 109*a-52 [] 14845 109*a-57 [] 14849 109*a-53 [2] 14849 -109*a+56 [2] 14849 111*a-32 [] 14849 111*a-79 [] 14855 -11*a-117 [3] 14855 -11*a+128 [3] 14879 -2*a-121 [] 14879 -2*a+123 [] 14884 122 [] 14884 122 [] 14884 14*a+116 [] 14884 14*a-130 [] 14891 17*a+115 [] 14891 17*a-132 [] 14895 111*a-33 [] 14895 -111*a+78 [] 14895 111*a-33 [] 14895 -111*a+78 [] 14895 111*a-33 [] 14895 111*a-33 [] 14900 -110*a+40 [] 14900 -110*a+70 [3] 14900 -110*a+40 [2] 14900 -110*a+70 [2] 14905 -24*a-113 [] 14905 24*a-137 [] 14905 9*a+118 [2] 14905 -9*a+127 [2] 14945 7*a-126 [] 14945 7*a+119 [] 14949 21*a+114 [] 14949 21*a-135 [2] 14949 21*a-135 [] 14949 -12*a-117 [] 14949 12*a-129 [] 14949 21*a+114 [2] 14951 -112*a+29 [] 14951 112*a-83 [] 14956 110*a-42 [] 14956 110*a-68 [] 14956 110*a-42 [] 14956 110*a-68 [] 14975 5*a+120 [3] 14975 5*a-125 [3] 14975 5*a+120 [] 14975 5*a-125 [] 14975 5*a-125 [] 14995 3*a+121 [] 14995 -3*a+124 [] 14995 3*a+121 [] 14995 -3*a+124 [] 15004 110*a-66 [] 15004 112*a-30 [] 15004 -112*a+82 [] 15004 110*a-44 [] 15004 110*a-66 [2] 15004 10*a-128 [] 15004 -10*a-118 [] 15004 110*a-44 [2] 15004 -10*a-118 [] 15004 112*a-30 [3] 15004 110*a-66 [2] 15004 110*a-66 [] 15004 110*a-44 [] 15004 110*a-44 [] 15004 -112*a+82 [3] 15004 110*a-44 [2] 15005 a+122 [2] 15005 a-123 [2] 15020 22*a-136 [] 15020 22*a+114 [] 15020 22*a+114 [] 15020 22*a-136 [] 15020 22*a-136 [] 15021 111*a-75 [] 15021 111*a-36 [] 15025 -110*a+45 [] 15041 13*a+117 [2] 15041 13*a-130 [2] 15044 -110*a+64 [] 15044 -110*a+46 [] 15044 -110*a+46 [] 15044 -110*a+64 [] 15056 16*a+116 [3] 15059 111*a-74 [2] 15059 111*a-37 [2] 15076 110*a-48 [] 15076 110*a-62 [] 15084 6*a+120 [] 15084 6*a-126 [] 15084 6*a-126 [] 15089 -23*a-114 [2] 15089 23*a-137 [2] 15100 110*a-50 [] 15100 110*a-60 [] 15100 110*a-50 [] 15100 110*a-50 [] 15100 110*a-60 [] 15101 -11*a-118 [] 15101 -11*a+129 [] 15104 112*a-80 [2] 15104 112*a-32 [2] 15104 112*a-32 [2] 15104 112*a-80 [2] 15104 112*a-32 [2] 15121 -110*a+53 [] 15121 110*a-57 [] 15124 110*a-54 [] 15124 110*a-56 [] 15124 2*a+122 [] 15124 2*a-124 [] 15124 2*a+122 [] 15129 -111*a+39 [] 15129 111*a-72 [] 15129 111*a-72 [] 15129 123 [5, 577] 15129 123 [] 15129 123 [2] 15196 -12*a-118 [2] 15196 12*a-130 [2] 15219 111*a-42 [2] 15219 -111*a+69 [2] 15219 111*a-42 [2] 15220 18*a-134 [2] 15220 18*a+116 [2] 15220 18*a-134 [2] 15221 -25*a-114 [] 15221 25*a-139 [] 15241 -3*a-122 [] 15241 3*a-125 [] 15251 10*a-129 [] 15251 -10*a-119 [] 15251 10*a-129 [] 15259 -113*a+30 [] 15259 -113*a+83 [] 15271 22*a+115 [] 15271 -22*a+137 [] 15280 112*a-76 [2] 15284 -26*a-114 [] 15284 26*a-140 [] 15296 8*a+120 [2] 15296 8*a+120 [] 15319 112*a-37 [] 15319 112*a-75 [] 15329 111*a-47 [] 15329 111*a-64 [] 15341 23*a+115 [2] 15341 -23*a+138 [2] 15341 -23*a+138 [] 15345 -111*a+48 [2] 15345 111*a-63 [2] 15345 -111*a+48 [2] 15345 111*a-63 [2] 15345 27*a+114 [] 15345 111*a-63 [2] 15345 111*a-63 [2] 15345 -111*a+48 [2] 15345 -111*a+48 [2] 15345 27*a-141 [] 15345 27*a-141 [] 15345 27*a+114 [] 15345 27*a+114 [2] 15345 27*a-141 [2] 15345 27*a+114 [2] 15356 -112*a+38 [] 15356 -112*a+74 [] 15356 -4*a-122 [] 15356 -4*a+126 [] 15371 -2*a-123 [] 15371 -2*a+125 [] 15371 -111*a+50 [2] 15371 -111*a+61 [2] 15376 124 [3] 15380 14*a-132 [] 15389 17*a+117 [] 15389 17*a-134 [] 15391 112*a-39 [2] 15395 -111*a+53 [] 15395 -111*a+58 [] 15395 -111*a+53 [2] 15395 -111*a+58 [] 15395 -111*a+58 [2] 15395 -111*a+53 [] 15399 111*a-57 [] 15399 -9*a+129 [] 15399 111*a-57 [] 15399 9*a+120 [] 15399 111*a-54 [] 15409 -113*a+33 [2] 15409 -113*a+80 [2] 15409 -113*a+33 [] 15409 -113*a+80 [] 15424 -112*a+40 [] 15424 -112*a+40 [] 15424 -112*a+40 [] 15424 -112*a+40 [] 15424 -112*a+72 [] 15424 -112*a+40 [] 15424 -112*a+72 [] 15424 -112*a+72 [] 15424 -112*a+72 [] 15445 12*a-131 [] 15445 12*a-131 [3] 15445 -12*a-119 [] 15451 -21*a-116 [] 15451 -21*a+137 [] 15455 112*a-71 [] 15455 113*a-79 [2] 15455 112*a-41 [2] 15455 112*a-71 [2] 15455 -113*a+34 [2] 15455 112*a-71 [2] 15455 112*a-41 [] 15475 -25*a+140 [] 15484 -112*a+42 [] 15484 -112*a+42 [2] 15484 -112*a+70 [2] 15484 -112*a+70 [] 15489 3*a+123 [] 15489 3*a-126 [] 15499 -113*a+78 [2] 15499 a+124 [2] 15499 a-125 [2] 15511 -112*a+43 [] 15511 -112*a+69 [] 15516 -114*a+30 [] 15516 -114*a+30 [] 15516 -114*a+30 [2] 15539 -26*a-115 [] 15556 -16*a-118 [3] 15556 -16*a+134 [3] 15569 -114*a+31 [2] 15569 114*a-83 [2] 15580 6*a+122 [2] 15580 -6*a+128 [2] 15599 112*a-47 [] 15599 -112*a+65 [] 15605 -4*a-123 [2] 15605 4*a-127 [2] 15620 114*a-82 [2] 15620 2*a-126 [] 15620 114*a-32 [2] 15620 2*a+124 [] 15620 114*a-82 [] 15620 2*a-126 [] 15620 114*a-32 [] 15620 2*a-126 [2] 15620 2*a+124 [] 15631 112*a-63 [2] 15631 112*a-63 [] 15631 112*a-49 [] 15631 112*a-49 [2] 15641 -17*a-118 [] 15641 17*a-135 [] 15644 -112*a+50 [2] 15644 112*a-62 [2] 15649 9*a-130 [2] 15655 112*a-61 [3] 15655 -112*a+51 [3] 15655 -112*a+51 [] 15655 112*a-61 [] 15655 112*a-61 [] 15655 -112*a+51 [] 15671 112*a-53 [] 15671 -112*a+59 [] 15680 112*a-56 [2] 15680 112*a-56 [2] 15680 112*a-56 [] 15689 7*a+122 [2] 15689 7*a-129 [2] 15689 -113*a+40 [2] 15689 -113*a+73 [2] 15689 7*a+122 [2] 15689 7*a-129 [2] 15705 -21*a-117 [2] 15705 -21*a+138 [2] 15716 114*a-34 [2] 15716 -114*a+80 [2] 15721 -15*a-119 [] 15721 15*a-134 [] 15731 -25*a-116 [] 15731 25*a-141 [] 15751 -113*a+42 [] 15751 -113*a+71 [] 15751 10*a+121 [3] 15751 -10*a+131 [] 15751 -113*a+71 [2] 15761 114*a-35 [2] 15761 -114*a+79 [2] 15775 -115*a+30 [] 15775 -115*a+85 [] 15779 22*a+117 [] 15779 22*a-139 [] 15796 8*a+122 [] 15796 -8*a+130 [] 15796 26*a-142 [] 15804 114*a-36 [2] 15804 114*a-78 [2] 15804 114*a-36 [] 15804 114*a-78 [] 15805 -19*a+137 [] 15805 -19*a-118 [] 15829 -115*a+31 [] 15829 -115*a+84 [] 15859 -27*a-116 [] 15859 27*a-143 [] 15876 126 [2] 15881 115*a-32 [] 15881 115*a-83 [] 15884 14*a+120 [] 15884 14*a+120 [] 15884 -20*a+138 [] 15884 -14*a+134 [3] 15884 114*a-38 [] 15884 14*a+120 [3] 15884 114*a-76 [] 15884 -14*a+134 [] 15905 -113*a+49 [2] 15905 -113*a+64 [2] 15920 116*a-28 [2] 15921 -114*a+75 [2] 15921 -114*a+39 [2] 15921 24*a-141 [] 15921 -24*a-117 [] 15949 12*a+121 [] 15949 -12*a+133 [] 15955 113*a-54 [] 15955 -113*a+59 [] 15961 21*a+118 [] 15961 -21*a+139 [] 15975 15*a+120 [2] 15975 15*a-135 [2] 15975 15*a-135 [] 15979 -18*a-119 [] 15979 18*a-137 [] 15979 -115*a+34 [2, 5] 15979 -115*a+81 [2, 5] 15989 25*a+117 [] 15989 25*a-142 [] 15991 3*a-128 [] 15991 -3*a-125 [] 15991 3*a-128 [] 15991 -3*a-125 [2] 16001 a+126 [] 16001 a-127 [] 16020 114*a-72 [] 16020 -114*a+42 [] 16020 114*a-72 [2] 16020 -114*a+42 [] 16020 114*a-72 [] 16036 -116*a+30 [] 16036 116*a-86 [] 16036 -116*a+30 [] 16036 116*a-86 [] 16045 13*a+121 [] 16045 13*a-134 [] 16049 -8*a-123 [3] 16049 -8*a+131 [3] 16061 -19*a-119 [] 16061 -19*a+138 [] 16064 16*a+120 [] 16064 -16*a+136 [] 16064 -16*a+136 [] 16064 -16*a+136 [2] 16084 -6*a-124 [] 16084 6*a-130 [] 16105 11*a+122 [] 16105 -11*a+133 [] 16105 11*a+122 [] 16105 -11*a+133 [] 16105 11*a+122 [] 16105 -11*a+133 [] 16105 11*a+122 [] 16119 27*a+117 [3] 16124 -114*a+46 [] 16124 -114*a+46 [2] 16124 114*a-68 [2] 16155 -9*a-123 [2] 16155 9*a-132 [2] 16155 -9*a-123 [] 16155 -9*a-123 [2] 16155 9*a-132 [] 16155 9*a-132 [] 16164 114*a-48 [] 16164 -114*a+66 [] 16180 -24*a-118 [2] 16180 24*a-142 [2] 16181 114*a-65 [] 16181 -114*a+49 [] 16181 -114*a+49 [] 16195 116*a-33 [2] 16195 7*a-131 [2] 16195 -116*a+83 [2] 16195 7*a+124 [2] 16195 116*a-33 [2] 16195 7*a-131 [3] 16195 7*a+124 [3] 16195 -116*a+83 [2] 16195 -116*a+83 [2] 16209 -114*a+51 [] 16209 114*a-63 [2] 16209 -114*a+51 [2] 16209 114*a-63 [] 16209 -114*a+51 [2] 16209 114*a-63 [2] 16219 21*a-140 [] 16219 -21*a-119 [] 16219 21*a-140 [] 16220 -114*a+52 [] 16220 114*a-62 [] 16225 -115*a+40 [] 16225 -115*a+75 [] 16225 -115*a+75 [] 16225 5*a+125 [] 16225 5*a+125 [3] 16225 5*a-130 [] 16225 -115*a+40 [2] 16225 -115*a+75 [2] 16225 5*a-130 [2] 16225 -115*a+40 [] 16225 5*a-130 [3] 16236 18*a-138 [] 16236 -18*a-120 [] 16236 -18*a-120 [2] 16236 18*a-138 [2] 16236 18*a-138 [] 16236 18*a-138 [] 16236 18*a-138 [3] 16236 18*a-138 [] 16236 -18*a-120 [] 16236 -18*a-120 [] 16236 -18*a-120 [] 16236 114*a-54 [] 16241 114*a-55 [] 16241 -114*a+59 [] 16241 117*a-29 [] 16241 117*a-88 [] 16241 117*a-29 [] 16241 117*a-88 [] 16244 116*a-34 [] 16244 116*a-82 [] 16245 3*a+126 [] 16255 a+127 [] 16255 a-128 [] 16255 a-128 [] 16255 a+127 [] 16259 115*a-74 [] 16259 -115*a+41 [] 16291 116*a-35 [] 16291 116*a-35 [] 16291 116*a-81 [] 16316 -26*a-118 [] 16316 -26*a+144 [] 16319 19*a+120 [] 16319 19*a-139 [] 16321 -115*a+43 [] 16321 115*a-72 [] 16321 16*a+121 [] 16321 -16*a+137 [] 16339 6*a-131 [] 16339 -6*a-125 [] 16355 -117*a+31 [] 16355 -117*a+86 [] 16355 -117*a+31 [] 16355 -117*a+86 [] 16361 11*a-134 [] 16364 -4*a+130 [] 16379 -2*a-127 [] 16379 -2*a+129 [] 16379 -2*a-127 [] 16379 -2*a+129 [] 16379 -2*a-127 [] 16379 -2*a+129 [] 16379 -2*a-127 [] 16379 -2*a+129 [] 16379 -2*a+129 [2] 16384 128 [2] 16384 128 [2] 16384 128 [2] 16384 128 [2] 16384 128 [2] 16384 128 [2] 16384 128 [2] 16384 128 [2] 16384 128 [2] 16384 128 [2] 16384 128 [2] 16384 128 [2] 16384 128 [2] 16384 128 [2] 16384 128 [2] 16384 128 [2] 16384 128 [2] 16384 128 [2] 16384 128 [2] 16384 128 [2] 16384 128 [2] 16384 128 [2] 16384 128 [2] 16384 128 [2] 16384 128 [2] 16384 128 [2] 16400 20*a-140 [] 16409 -117*a+85 [] 16409 17*a+121 [] 16409 17*a-138 [] 16409 117*a-32 [] 16409 -117*a+85 [] 16409 -117*a+85 [2] 16409 117*a-32 [2] 16409 117*a-32 [] 16420 116*a-38 [] 16420 116*a-78 [] 16441 -24*a-119 [] 16441 -115*a+48 [] 16441 -115*a+67 [] 16441 24*a-143 [] 16444 -28*a-118 [] 16444 -28*a+146 [] 16444 -28*a-118 [] 16444 -28*a+146 [] 16444 -28*a+146 [2] 16444 -28*a-118 [2] 16444 -28*a-118 [] 16444 -28*a+146 [] 16451 7*a-132 [] 16479 21*a-141 [] 16479 21*a+120 [] 16481 5*a+126 [] 16489 115*a-51 [] 16489 -115*a+64 [] 16489 15*a+122 [] 16489 15*a-137 [] 16511 25*a+119 [2] 16511 a+128 [] 16511 a-129 [3] 16511 25*a-144 [2] 16511 a-129 [] 16511 -115*a+62 [] 16511 115*a-53 [] 16516 10*a+124 [] 16519 115*a-54 [] 16519 115*a-61 [] 16519 115*a-54 [] 16519 115*a-61 [] 16525 115*a-55 [2] 16525 115*a-60 [] 16525 115*a-55 [] 16525 115*a-60 [2] 16559 -117*a+82 [2] 16559 117*a-35 [2] 16564 -118*a+30 [3] 16564 -118*a+88 [3] 16564 -116*a+42 [] 16564 116*a-74 [] 16580 -16*a-122 [] 16580 -16*a+138 [] 16580 -16*a-122 [] 16580 -16*a+138 [] 16595 -116*a+43 [2] 16595 -116*a+73 [2] 16596 6*a+126 [] 16596 6*a-132 [] 16621 -118*a+31 [2] 16621 118*a-87 [2] 16631 -23*a-120 [] 16631 23*a-143 [] 16631 -23*a-120 [] 16631 23*a-143 [] 16631 -23*a-120 [2] 16631 23*a-143 [2] 16636 2*a+128 [] 16636 2*a-130 [] 16645 27*a+119 [] 16645 -27*a+146 [] 16649 -117*a+37 [2] 16649 117*a-80 [2] 16669 9*a-134 [] 16676 118*a-86 [] 16676 -118*a+32 [] 16676 -116*a+70 [] 16676 116*a-46 [] 16709 -28*a+147 [2] 16709 28*a+119 [2] 16731 117*a-78 [] 16731 117*a-39 [] 16756 18*a+122 [] 16756 116*a-66 [] 16756 18*a-140 [] 16756 -116*a+50 [] 16756 18*a+122 [] 16756 18*a-140 [] 16759 -3*a-128 [] 16759 3*a-131 [] 16759 -3*a-128 [] 16759 3*a-131 [] 16769 -117*a+40 [2] 16769 117*a-77 [] 16769 117*a-77 [2] 16769 -117*a+40 [] 16769 -117*a+40 [2] 16769 117*a-77 [2] 16775 25*a-145 [] 16775 -10*a+135 [3] 16775 -25*a-120 [2] 16775 25*a-145 [2] 16775 10*a+125 [3] 16775 -25*a-120 [] 16775 10*a+125 [2] 16775 -25*a-120 [3] 16775 -10*a+135 [2] 16775 25*a-145 [3] 16780 -118*a+34 [2] 16780 118*a-84 [2] 16780 118*a-84 [2] 16780 -118*a+34 [2] 16780 118*a-84 [2] 16795 116*a-53 [] 16795 116*a-63 [] 16805 -117*a+76 [2] 16805 117*a-41 [2] 16805 -117*a+76 [] 16805 117*a-41 [] 16819 -22*a+143 [] 16819 116*a-59 [2] 16819 22*a+121 [] 16819 116*a-57 [2] 16819 -13*a+137 [] 16819 -22*a+143 [] 16819 -13*a-124 [] 16819 22*a+121 [] 16820 -8*a+134 [3] 16820 8*a+126 [3] 16820 8*a+126 [] 16820 -8*a+134 [] 16831 -119*a+30 [] 16831 -119*a+89 [2] 16831 -119*a+30 [2] 16839 -117*a+75 [] 16871 -117*a+43 [] 16871 117*a-74 [] 16876 -118*a+36 [] 16876 -118*a+82 [] 16895 -23*a-121 [2] 16895 -2*a+131 [] 16895 -2*a+131 [] 16895 -23*a+144 [2] 16911 27*a+120 [] 16911 27*a-147 [] 16921 118*a-81 [] 16921 118*a-37 [] 16929 -117*a+45 [] 16929 -9*a-126 [] 16929 9*a-135 [] 16929 -117*a+45 [2] 16929 9*a-135 [2] 16945 119*a-32 [] 16945 119*a-87 [] 16945 119*a-32 [] 16945 119*a-87 [] 16969 -7*a+134 [] 16969 7*a+127 [] 16999 -119*a+33 [2] 16999 -5*a-128 [] 16999 -5*a+133 [] 16999 -119*a+86 [2] 16999 -119*a+33 [2] 16999 -119*a+86 [2] 17005 21*a-143 [2] 17005 21*a+122 [2] 17005 118*a-39 [2] 17005 118*a-79 [2] 17019 -18*a-123 [] 17019 18*a-141 [] 17019 3*a-132 [2] 17019 3*a+129 [2] 17036 -10*a-126 [] 17036 -10*a+136 [] 17039 -120*a+29 [] 17039 -120*a+29 [] 17039 120*a-91 [] 17039 120*a-91 [] 17044 -118*a+40 [] 17044 -118*a+40 [] 17044 -118*a+78 [] 17055 117*a-51 [] 17055 117*a-51 [2] 17055 117*a-66 [] 17055 117*a-66 [2] 17081 117*a-64 [2] 17081 -118*a+41 [3] 17081 117*a-64 [] 17081 13*a-138 [2] 17081 117*a-53 [2] 17081 13*a-138 [2] 17081 -118*a+41 [3] 17081 118*a-77 [3] 17081 -13*a-125 [2] 17081 117*a-53 [] 17081 117*a-64 [] 17081 117*a-53 [] 17084 -22*a-122 [2] 17084 -22*a+144 [2] 17100 -120*a+30 [] 17100 -120*a+90 [] 17100 -120*a+30 [] 17100 -120*a+90 [5] 17100 -120*a+30 [] 17100 -120*a+90 [] 17104 -16*a-124 [3] 17104 16*a-140 [3] 17105 19*a-142 [3] 17105 19*a+123 [] 17105 19*a+123 [3] 17116 6*a+128 [3] 17116 -6*a+134 [3] 17116 6*a+128 [] 17116 -6*a+134 [] 17141 11*a+126 [2] 17141 11*a-137 [2] 17141 4*a+129 [] 17141 -4*a+133 [] 17141 4*a+129 [] 17141 -4*a+133 [] 17149 118*a-43 [] 17149 -119*a+36 [] 17149 -119*a+83 [] 17149 -118*a+75 [] 17149 -119*a+83 [] 17149 -119*a+36 [] 17156 2*a+130 [] 17156 2*a-132 [] 17161 131 [] 17180 -118*a+44 [2] 17180 118*a-74 [2] 17195 17*a+124 [2] 17195 -17*a+141 [2] 17195 -17*a+141 [] 17195 -119*a+37 [2] 17195 -119*a+82 [] 17195 -17*a+141 [2] 17195 -119*a+37 [] 17216 -120*a+88 [] 17216 -120*a+88 [] 17236 118*a-46 [] 17236 118*a-46 [3] 17236 118*a-72 [] 17236 118*a-72 [] 17236 118*a-46 [] 17244 12*a+126 [] 17244 -12*a+138 [] 17244 12*a+126 [2] 17244 -12*a+138 [2] 17245 28*a+121 [] 17245 28*a-149 [] 17261 118*a-47 [] 17261 -118*a+71 [] 17261 5*a-134 [] 17271 -120*a+87 [] 17271 120*a-33 [2] 17271 -120*a+87 [2] 17271 120*a-33 [] 17275 15*a+125 [] 17275 -15*a+140 [] 17281 119*a-80 [] 17281 -119*a+39 [] 17284 18*a-142 [] 17305 -118*a+49 [] 17305 118*a-69 [] 17309 -29*a-121 [] 17309 -29*a+150 [] 17324 118*a-50 [] 17324 120*a-34 [] 17324 -120*a+86 [] 17341 118*a-51 [] 17341 118*a-67 [] 17344 8*a-136 [2] 17344 8*a-136 [] 17345 13*a-139 [] 17351 22*a+123 [] 17351 -22*a+145 [] 17356 118*a-52 [] 17356 118*a-66 [] 17356 118*a-52 [] 17369 16*a+125 [] 17369 16*a-141 [] 17369 16*a+125 [] 17369 16*a+125 [2] 17369 16*a-141 [2] 17380 118*a-54 [2] 17380 118*a-54 [] 17380 118*a-64 [2] 17380 118*a-54 [3] 17380 118*a-54 [2] 17380 118*a-64 [] 17380 26*a+122 [] 17380 118*a-64 [2] 17380 118*a-64 [3] 17380 26*a-148 [] 17404 118*a-60 [] 17404 -4*a+134 [2] 17404 118*a-58 [] 17404 -4*a-130 [] 17404 118*a-60 [] 17404 -4*a+134 [] 17405 -11*a-127 [2] 17405 -11*a+138 [3] 17405 -11*a-127 [3] 17419 -2*a-131 [] 17419 -2*a+133 [] 17424 132 [2, 173] 17431 -121*a+31 [] 17431 121*a-90 [] 17444 14*a+126 [2] 17444 14*a-140 [2] 17449 -27*a-122 [2] 17449 -27*a+149 [2] 17455 9*a+128 [] 17455 9*a-137 [] 17455 9*a-137 [3] 17455 9*a+128 [] 17455 9*a-137 [] 17495 7*a+129 [] 17495 7*a-136 [] 17505 24*a+123 [] 17516 120*a-82 [] 17516 -28*a+150 [] 17516 -120*a+38 [] 17516 -28*a-122 [] 17516 -28*a+150 [] 17516 -28*a-122 [] 17525 5*a+130 [] 17525 5*a-135 [] 17525 5*a+130 [3] 17525 5*a-135 [3] 17539 21*a+124 [] 17539 21*a-145 [] 17545 3*a+131 [2] 17545 3*a+131 [] 17545 119*a-47 [3] 17545 119*a-72 [3] 17545 121*a-33 [2] 17545 119*a-72 [2] 17555 a-133 [3] 17555 a+132 [] 17555 a+132 [3] 17555 a-133 [] 17559 120*a-39 [] 17559 120*a-81 [] 17559 120*a-39 [] 17559 120*a-81 [] 17564 -10*a-128 [3] 17564 10*a-138 [3] 17569 119*a-48 [] 17569 119*a-71 [] 17569 119*a-48 [] 17569 119*a-71 [] 17600 120*a-40 [2] 17600 120*a-80 [2] 17600 120*a-80 [2] 17600 120*a-80 [2] 17600 120*a-40 [2] 17609 8*a+129 [2] 17609 -8*a+137 [2] 17611 13*a+127 [3] 17611 13*a-140 [3] 17611 119*a-50 [] 17611 -119*a+69 [] 17620 -22*a-124 [] 17620 -22*a+146 [] 17620 -22*a+146 [] 17620 -22*a-124 [] 17620 -22*a+146 [] 17636 -16*a-126 [] 17636 16*a-142 [] 17636 -16*a-126 [] 17636 16*a-142 [] 17639 120*a-41 [] 17639 -120*a+79 [] 17639 -19*a-125 [] 17639 19*a-144 [] 17639 -19*a-125 [2] 17639 19*a-144 [2] 17644 122*a-30 [] 17644 122*a-92 [] 17644 122*a-30 [] 17644 122*a-92 [] 17644 122*a-30 [] 17644 122*a-92 [] 17645 119*a-52 [] 17645 119*a-67 [] 17669 -4*a-131 [] 17669 4*a-135 [] 17676 -120*a+42 [] 17676 -120*a+78 [] 17676 -120*a+42 [] 17676 -120*a+78 [] 17676 -120*a+78 [] 17681 -119*a+55 [] 17684 2*a+132 [] 17689 119*a-56 [] 17689 119*a-63 [] 17695 119*a-57 [] 17695 119*a-62 [] 17699 -119*a+58 [] 17699 119*a-61 [] 17699 -23*a-124 [] 17699 23*a-147 [] 17705 -122*a+31 [2] 17705 122*a-91 [2] 17711 -14*a+141 [2] 17711 14*a+127 [2] 17721 -27*a+150 [2] 17721 9*a+129 [2] 17721 -9*a+138 [2] 17721 -27*a-123 [2] 17721 -9*a+138 [2] 17721 -27*a-123 [2] 17721 -27*a+150 [2] 17725 -20*a+145 [] 17725 20*a+125 [] 17725 20*a+125 [] 17729 17*a+126 [] 17729 -17*a+143 [] 17761 -7*a-130 [2] 17761 -7*a+137 [2] 17764 -122*a+32 [2] 17764 122*a-90 [2] 17775 -120*a+45 [] 17775 -120*a+75 [] 17775 -120*a+75 [] 17776 -12*a-128 [2] 17776 12*a-140 [2] 17795 121*a-38 [] 17795 121*a-83 [] 17804 -120*a+46 [] 17804 -120*a+74 [] 17809 15*a+127 [] 17809 15*a-142 [] 17809 -21*a-125 [2] 17809 21*a-146 [2] 17811 3*a+132 [3] 17811 3*a-135 [3] 17821 -122*a+89 [] 17821 -122*a+33 [] 17839 121*a-39 [] 17839 -121*a+82 [] 17879 13*a+128 [2] 17891 22*a+125 [] 17891 22*a-147 [] 17900 120*a-70 [] 17905 -16*a-127 [3] 17905 16*a-143 [3] 17909 -19*a-126 [] 17909 19*a-145 [] 17919 120*a-51 [] 17919 123*a-93 [2] 17919 123*a-30 [2] 17919 -120*a+69 [] 17924 26*a+124 [3] 17924 26*a-150 [3] 17929 -122*a+35 [2] 17929 122*a-87 [2] 17964 -120*a+54 [3] 17964 120*a-66 [3] 17975 120*a-65 [] 17980 -122*a+36 [] 17980 -122*a+36 [] 17980 -122*a+86 [] 17980 -122*a+36 [3] 17980 -122*a+36 [] 17980 -122*a+86 [] 17984 120*a-56 [] 17984 120*a-56 [] 17984 120*a-56 [] 17984 120*a-64 [] 17984 120*a-64 [] 17984 120*a-64 [] 17984 120*a-64 [] 17984 120*a-56 [] 17984 120*a-56 [] 17991 120*a-63 [] 17991 -120*a+57 [] 17995 121*a-43 [2] 17995 121*a-78 [2] 17995 27*a+124 [2] 17995 -27*a+151 [2] 17995 121*a-78 [3] 17996 120*a-62 [3] 17996 -120*a+58 [] 17996 120*a-62 [] 17996 -120*a+58 [2] 17996 -120*a+58 [2] 17996 120*a-62 [2] 17996 120*a-62 [2] 18029 -121*a+44 [2] 18029 -121*a+77 [2] 18045 -12*a-129 [] 18045 12*a-141 [] 18045 -12*a-129 [2] 18049 -24*a-125 [2] 18049 -24*a+149 [2] 18076 122*a-38 [] 18076 -122*a+84 [] 18076 122*a-38 [2] 18076 -122*a+84 [2] 18076 122*a-38 [] 18076 -122*a+84 [] 18079 -15*a-128 [] 18079 3*a+133 [] 18079 -3*a+136 [] 18079 -15*a-128 [] 18079 -15*a+143 [] 18081 21*a+126 [2] 18081 21*a-147 [2] 18100 10*a-140 [3] 18100 10*a+130 [3] 18100 10*a+130 [2] 18100 10*a-140 [] 18100 10*a+130 [] 18100 10*a-140 [] 18100 10*a-140 [2] 18100 10*a+130 [] 18121 122*a-39 [] 18121 -122*a+83 [] 18145 -8*a+139 [] 18145 121*a-73 [] 18145 -8*a-131 [] 18164 122*a-40 [] 18164 122*a-82 [] 18164 -22*a-126 [] 18164 -22*a+148 [] 18164 -22*a+148 [] 18164 -22*a-126 [] 18176 16*a-144 [2] 18176 16*a+128 [2] 18176 16*a+128 [2] 18176 16*a-144 [2] 18176 16*a-144 [2] 18176 16*a+128 [2] 18176 16*a+128 [2] 18176 16*a+128 [2] 18176 16*a-144 [2] 18176 16*a+128 [2] 18176 16*a-144 [2] 18180 6*a-138 [2] 18180 6*a+132 [] 18181 19*a+127 [] 18181 19*a-146 [] 18199 26*a+125 [] 18199 26*a-151 [] 18205 -4*a+137 [2] 18205 -122*a+41 [2] 18205 -122*a+81 [2] 18205 4*a+133 [2] 18205 -4*a+137 [] 18205 -122*a+81 [2] 18205 4*a+133 [] 18209 11*a-141 [2] 18209 11*a+130 [2] 18220 2*a+134 [3] 18220 2*a-136 [3] 18220 2*a-136 [2] 18220 2*a+134 [2] 18225 135 [3] 18225 135 [3] 18225 135 [3] 18225 135 [3] 18225 135 [] 18225 135 [3] 18225 135 [3] 18225 135 [3] 18225 135 [3] 18229 -121*a+52 [] 18229 121*a-69 [] 18245 23*a+126 [] 18245 23*a-149 [] 18245 -121*a+68 [] 18245 -121*a+53 [] 18251 -14*a-129 [] 18251 -14*a+143 [] 18259 -9*a+140 [2] 18259 -9*a-131 [2] 18259 -124*a+31 [] 18259 -124*a+93 [] 18261 123*a-36 [] 18261 123*a-87 [] 18271 121*a-55 [] 18271 121*a-66 [] 18271 121*a-66 [2] 18271 121*a-55 [2] 18271 121*a-66 [2] 18271 121*a-55 [] 18281 121*a-65 [2] 18281 -122*a+43 [2] 18281 122*a-79 [2] 18281 121*a-56 [2] 18289 -121*a+57 [2] 18289 121*a-64 [2] 18299 121*a-59 [2] 18299 -121*a+62 [2] 18301 121*a-60 [] 18301 121*a-61 [] 18320 -124*a+92 [3] 18324 24*a+126 [] 18324 -24*a+150 [] 18324 -24*a+150 [] 18324 24*a+126 [] 18359 a+135 [2] 18359 a-136 [2] 18364 18*a+128 [] 18364 -18*a+146 [] 18379 -124*a+33 [] 18379 124*a-91 [] 18380 -122*a+76 [] 18380 122*a-46 [] 18380 122*a-46 [2] 18401 25*a+126 [] 18401 -25*a+151 [] 18409 29*a+125 [2] 18409 -29*a+154 [2] 18436 122*a-74 [] 18436 124*a-34 [] 18436 122*a-48 [] 18436 124*a-34 [] 18436 -124*a+90 [] 18449 -123*a+40 [] 18449 -16*a+145 [2] 18449 123*a-83 [] 18449 16*a+129 [2] 18449 -123*a+40 [] 18449 123*a-83 [] 18451 6*a+133 [] 18451 -6*a+139 [] 18475 -30*a+155 [] 18475 30*a+125 [2] 18475 -30*a+155 [2] 18475 30*a+125 [] 18476 26*a-152 [] 18476 -4*a+138 [] 18476 -4*a-134 [] 18476 26*a+126 [] 18491 -2*a-135 [] 18491 -2*a+137 [] 18491 124*a-35 [] 18491 124*a-89 [] 18496 136 [2] 18505 -122*a+51 [2] 18505 122*a-71 [2] 18521 -23*a-127 [] 18521 -23*a+150 [] 18524 14*a+130 [] 18524 14*a-144 [] 18531 -123*a+81 [] 18544 124*a-88 [] 18544 20*a+128 [] 18544 20*a-148 [] 18544 20*a-148 [3] 18544 20*a+128 [3] 18545 17*a+129 [2] 18545 -17*a+146 [2] 18556 -122*a+68 [2] 18569 122*a-67 [] 18569 -123*a+43 [] 18569 -122*a+55 [] 18569 -122*a+55 [2] 18569 122*a-67 [2] 18569 123*a-80 [] 18589 12*a-143 [] 18589 -122*a+57 [] 18589 122*a-65 [] 18601 125*a-32 [2] 18601 -125*a+93 [2] 18601 -125*a+93 [2] 18601 125*a-32 [2] 18601 -24*a+151 [] 18601 24*a+127 [] 18604 122*a-60 [] 18604 122*a-62 [] 18605 122*a-61 [2] 18605 122*a-61 [2] 18605 123*a-44 [] 18639 -18*a+147 [3] 18639 -123*a+78 [] 18639 18*a+129 [3] 18661 -125*a+33 [] 18661 -125*a+92 [] 18679 25*a+127 [] 18695 13*a+131 [] 18695 -13*a+144 [] 18701 -123*a+47 [] 18701 123*a-76 [] 18716 22*a-150 [] 18719 -125*a+34 [2] 18719 125*a-91 [2] 18724 -16*a+146 [] 18724 6*a+134 [] 18724 16*a+130 [] 18724 6*a+134 [2] 18724 -6*a+140 [] 18755 11*a-143 [2] 18755 123*a-49 [2] 18755 11*a+132 [2] 18755 -123*a+74 [2] 18756 30*a+126 [2] 18756 -30*a+156 [2] 18764 2*a+136 [] 18764 2*a-138 [] 18799 -14*a-131 [3] 18799 -14*a+145 [] 18799 23*a+128 [2] 18799 -23*a+151 [2] 18799 -14*a-131 [] 18799 -14*a+145 [3] 18801 123*a-51 [2] 18801 123*a-51 [3] 18801 123*a-72 [2] 18801 123*a-51 [2] 18801 123*a-72 [2] 18820 -124*a+42 [] 18820 -124*a+82 [] 18821 -123*a+71 [2] 18829 27*a+127 [2] 18829 125*a-89 [3] 18829 125*a-36 [3] 18829 -27*a+154 [2] 18845 -7*a+141 [] 18880 24*a+128 [2] 18880 24*a+128 [2] 18880 -24*a+152 [2] 18880 24*a+128 [2] 18880 -24*a+152 [2] 18881 123*a-67 [2] 18895 3*a+136 [3] 18895 -3*a+139 [3] 18895 3*a+136 [] 18895 -3*a+139 [] 18899 123*a-58 [] 18901 28*a+127 [] 18901 -28*a+155 [] 18905 a+137 [3] 18905 123*a-59 [3] 18905 a-138 [3] 18905 123*a-59 [] 18905 -123*a+64 [] 18905 a-138 [2] 18905 -123*a+64 [3] 18909 123*a-60 [2] 18909 123*a-63 [2] 18909 -21*a+150 [2] 18909 123*a-60 [2] 18909 123*a-63 [2] 18916 18*a+130 [2] 18916 18*a-148 [2] 18931 -124*a+45 [2] 18931 124*a-79 [2] 18945 126*a-93 [] 18945 -126*a+33 [] 18964 8*a-142 [] 18979 125*a-39 [] 18979 -125*a+86 [] 18995 -124*a+47 [2] 18995 -124*a+77 [2] 18995 22*a-151 [3] 18995 -124*a+77 [] 18999 6*a+135 [] 18999 -6*a+141 [] 18999 6*a+135 [2] 19004 -126*a+34 [2] 19004 -126*a+92 [2] 19009 19*a+130 [2] 19009 19*a-149 [2] 19024 124*a-76 [2] 19039 -2*a-137 [2] 19039 30*a+127 [] 19039 -30*a+157 [] 19044 138 [2] 19044 138 [2] 19076 14*a+132 [] 19076 14*a-146 [] 19076 -124*a+50 [] 19076 124*a-74 [] 19076 14*a+132 [] 19076 14*a-146 [] 19079 -23*a-129 [2] 19079 23*a-152 [2] 19099 124*a-73 [] 19099 -17*a-131 [] 19099 17*a-148 [] 19099 124*a-51 [] 19100 -20*a+150 [] 19100 20*a+130 [] 19100 20*a+130 [] 19100 20*a+130 [] 19100 -20*a+150 [] 19105 -127*a+31 [] 19105 127*a-96 [] 19111 -125*a+42 [] 19111 -125*a+83 [] 19111 -27*a+155 [] 19111 -125*a+42 [] 19111 -125*a+83 [] 19111 -27*a-128 [] 19111 -27*a+155 [2] 19156 -124*a+54 [] 19156 -124*a+70 [] 19161 -24*a-129 [] 19161 -24*a+153 [] 19161 -24*a-129 [2] 19161 -24*a+153 [2] 19171 124*a-55 [] 19171 -3*a-137 [] 19171 3*a-140 [] 19171 -3*a-137 [] 19171 -124*a+69 [] 19181 a+138 [] 19181 a-139 [] 19184 -28*a-128 [] 19184 -28*a+156 [] 19195 124*a-57 [2] 19195 -18*a-131 [] 19195 18*a-149 [] 19195 124*a-67 [2] 19220 -126*a+38 [3] 19220 126*a-88 [3] 19220 124*a-62 [3] 19220 124*a-62 [] 19220 124*a-62 [] 19225 -125*a+45 [2] 19225 125*a-80 [2] 19241 -8*a-135 [] 19241 8*a-143 [] 19241 -8*a-135 [] 19241 8*a-143 [] 19241 -8*a-135 [2] 19241 8*a-143 [2] 19249 13*a+133 [] 19249 13*a-146 [] 19255 29*a+128 [] 19255 29*a-157 [] 19255 29*a+128 [] 19276 -6*a-136 [] 19276 6*a-142 [] 19291 125*a-47 [] 19291 -125*a+78 [] 19291 125*a-47 [] 19291 -125*a+78 [] 19291 -127*a+93 [] 19291 -127*a+34 [] 19301 -4*a+141 [] 19316 126*a-40 [] 19316 2*a+138 [] 19316 2*a-140 [] 19316 126*a-40 [2] 19319 -26*a-129 [] 19319 26*a-155 [] 19319 -26*a-129 [] 19319 26*a-155 [] 19321 139 [] 19324 -30*a-128 [2] 19324 -30*a+158 [2] 19349 125*a-49 [] 19349 -125*a+76 [] 19349 -127*a+35 [2] 19349 -127*a+92 [2] 19361 126*a-41 [] 19361 -126*a+85 [] 19381 -20*a+151 [] 19395 27*a+129 [] 19395 27*a-156 [] 19395 27*a+129 [2] 19395 27*a-156 [2] 19404 126*a-84 [2] 19404 126*a-84 [] 19404 126*a-42 [] 19404 126*a-42 [2] 19405 127*a-36 [2] 19405 127*a-91 [2] 19405 127*a-36 [2] 19405 127*a-91 [2] 19420 -12*a+146 [] 19420 12*a+134 [] 19420 12*a+134 [] 19420 -12*a+146 [] 19449 3*a+138 [2] 19449 3*a-141 [2] 19456 -128*a+96 [2] 19456 -128*a+96 [] 19456 -128*a+96 [] 19456 -128*a+32 [] 19456 -128*a+32 [] 19456 -128*a+32 [2] 19456 -128*a+32 [2] 19459 127*a-37 [] 19459 127*a-90 [] 19475 -125*a+70 [] 19475 125*a-55 [2] 19475 125*a-55 [] 19475 -125*a+70 [2] 19475 125*a-55 [] 19475 -125*a+70 [] 19475 10*a+135 [3] 19475 -10*a+145 [3] 19475 10*a+135 [] 19475 10*a+135 [] 19484 -126*a+44 [2] 19484 126*a-82 [2] 19511 -127*a+89 [2] 19519 125*a-59 [] 19519 125*a-66 [] 19520 8*a+136 [2] 19520 8*a-144 [2] 19520 8*a-144 [2] 19525 125*a-65 [3] 19529 125*a-64 [2] 19531 125*a-62 [] 19531 125*a-63 [] 19541 29*a+129 [] 19541 -29*a+158 [] 19556 126*a-46 [2] 19556 -126*a+80 [2] 19580 -4*a-138 [2] 19580 -4*a+142 [2] 19580 128*a-94 [] 19580 -4*a-138 [3] 19580 -4*a+142 [3] 19580 -4*a+142 [3] 19580 -4*a-138 [3] 19589 -126*a+47 [2] 19589 -126*a+79 [2] 19589 -11*a-135 [] 19589 -11*a+146 [] 19589 -126*a+79 [] 19595 -2*a-139 [2] 19595 -2*a+141 [2] 19600 140 [3, 593] 19611 30*a+129 [] 19611 30*a-159 [] 19620 126*a-48 [] 19620 -126*a+78 [2] 19620 126*a-48 [2] 19636 -14*a-134 [] 19636 -14*a+148 [] 19639 128*a-35 [] 19639 9*a+136 [] 19639 -9*a+145 [] 19655 -127*a+41 [] 19655 127*a-86 [] 19676 126*a-50 [2] 19676 -126*a+76 [2] 19679 31*a+129 [] 19679 31*a-160 [] 19679 -7*a+144 [] 19679 31*a+129 [] 19681 -27*a-130 [2] 19681 27*a-157 [2] 19681 -27*a-130 [] 19681 27*a-157 [] 19701 12*a+135 [] 19701 -12*a+147 [] 19724 -126*a+74 [] 19724 -126*a+52 [] 19729 3*a+139 [] 19729 -3*a+142 [] 19739 a+140 [] 19739 a-141 [] 19745 -126*a+53 [] 19745 129*a-32 [2] 19745 129*a-97 [2] 19745 -126*a+73 [] 19745 129*a-32 [] 19745 129*a-97 [] 19745 -126*a+53 [] 19745 -126*a+73 [] 19745 129*a-32 [] 19745 129*a-97 [] 19745 -126*a+73 [] 19745 129*a-97 [2] 19745 -126*a+53 [] 19755 21*a+132 [] 19756 -28*a-130 [] 19756 -28*a+158 [] 19756 -10*a-136 [] 19764 126*a-72 [] 19764 126*a-54 [] 19764 126*a-54 [3] 19781 -126*a+55 [] 19801 8*a+137 [] 19801 -8*a+145 [] 19804 128*a-38 [] 19804 128*a-90 [] 19804 128*a-38 []