|
|
2 2 |
|
|
WARNING: Output truncated! -3*a - 3 -3*a - 2 2704 -3*a - 3 -2*a - 1 7424 -3*a - 3 a + 1 2816 -3*a - 3 3*a + 2 1280 -3*a - 3 4*a + 3 6080 -3*a - 3 4*a + 4 6080 -2*a - 3 -2*a - 1 704 -2*a - 3 2*a - 1 6080 -2*a - 3 -a 7424 -2*a - 3 1 7936 -2*a - 3 a + 1 2880 -2*a - 3 2*a + 2 1024 -2*a - 3 3*a + 2 7424 -2*a - 3 4*a + 2 5120 -2*a - 3 4*a + 3 1280 -2*a - 3 4*a + 4 2304 -a - 3 -2*a 5120 -a - 3 a 704 -a - 3 -a + 1 4864 -a - 3 1 7424 -a - 3 a + 1 2880 -a - 3 2*a + 1 7424 -a - 3 a + 2 1280 -a - 3 2*a + 2 1024 -a - 3 3*a + 2 7936 -a - 3 2*a + 3 3520 -a - 3 4*a + 4 2304 -3 -1 2704 -3 2*a - 1 1280 -3 a 7424 -3 -2*a + 1 1280 -3 -a + 1 7424 -3 1 1280 -3 a + 1 2816 -3 -a + 2 2816 -3 2 1024 -3 a + 2 6080 -3 -a + 3 6080 -3 3 1296 -3 4 3136 -3 4*a + 4 6080 a - 3 2*a - 3 7424 a - 3 -3*a - 2 6416 a - 3 a - 2 144 a - 3 -1 6464 a - 3 a - 1 2816 a - 3 -a + 1 7424 a - 3 1 4864 a - 3 -3*a + 2 5456 a - 3 -2*a + 2 1024 a - 3 -a + 2 256 a - 3 a + 2 7600 a - 3 -2*a + 3 2816 a - 3 -a + 3 1600 a - 3 3 6336 a - 3 -2*a + 4 9216 a - 3 4 2624 2*a - 3 2*a - 3 7936 2*a - 3 a 8384 ... a + 1 -1 2880 a + 1 a - 1 7424 a + 1 -a 7936 a + 1 a 256 a + 1 1 2816 a + 1 a + 1 1280 a + 1 2*a + 1 2816 a + 1 2 9216 a + 1 a + 2 3280 a + 1 3*a + 2 2304 a + 1 -a + 3 6080 a + 1 4 9280 2*a + 1 -3*a - 2 7424 2*a + 1 4*a - 2 5120 2*a + 1 -2*a - 1 1984 2*a + 1 2*a - 1 2880 2*a + 1 a 1856 2*a + 1 2*a 5120 2*a + 1 a + 1 704 2*a + 1 2*a + 1 256 2*a + 1 2*a + 2 9216 2*a + 1 3*a + 2 1280 2*a + 1 4 7936 3*a + 1 -3*a - 2 2304 3*a + 1 -2*a - 1 704 3*a + 1 a 5696 3*a + 1 a + 1 1216 3*a + 1 2*a + 1 7424 3*a + 1 3*a + 2 256 3*a + 1 4*a + 2 1024 3*a + 1 4*a + 3 6400 4*a + 1 a - 2 9280 4*a + 1 -1 5904 4*a + 1 -a 4864 4*a + 1 4*a 1216 4*a + 1 a + 1 7424 4*a + 1 2*a + 1 2816 4*a + 1 4*a + 3 80 4*a + 1 4*a + 4 3520 -3*a + 2 -2*a - 1 5584 -3*a + 2 a - 1 2816 -3*a + 2 2*a - 1 1520 -3*a + 2 a 464 -3*a + 2 -3*a + 1 6336 -3*a + 2 a + 1 1984 -3*a + 2 -2*a + 2 5120 -3*a + 2 -a + 2 7424 -3*a + 2 2 1024 -3*a + 2 -2*a + 3 304 -3*a + 2 -a + 3 1280 -3*a + 2 -3*a + 4 7920 -3*a + 2 4 2304 -3*a + 2 a + 4 5776 -2*a + 2 2*a - 3 1024 -2*a + 2 -a - 2 320 -2*a + 2 3*a - 2 2816 -2*a + 2 a - 1 4096 -2*a + 2 -2*a + 1 5120 -2*a + 2 -a + 1 1024 -2*a + 2 1 4096 WARNING: Output truncated! -3*a - 3 -3*a - 2 2704 -3*a - 3 -2*a - 1 7424 -3*a - 3 a + 1 2816 -3*a - 3 3*a + 2 1280 -3*a - 3 4*a + 3 6080 -3*a - 3 4*a + 4 6080 -2*a - 3 -2*a - 1 704 -2*a - 3 2*a - 1 6080 -2*a - 3 -a 7424 -2*a - 3 1 7936 -2*a - 3 a + 1 2880 -2*a - 3 2*a + 2 1024 -2*a - 3 3*a + 2 7424 -2*a - 3 4*a + 2 5120 -2*a - 3 4*a + 3 1280 -2*a - 3 4*a + 4 2304 -a - 3 -2*a 5120 -a - 3 a 704 -a - 3 -a + 1 4864 -a - 3 1 7424 -a - 3 a + 1 2880 -a - 3 2*a + 1 7424 -a - 3 a + 2 1280 -a - 3 2*a + 2 1024 -a - 3 3*a + 2 7936 -a - 3 2*a + 3 3520 -a - 3 4*a + 4 2304 -3 -1 2704 -3 2*a - 1 1280 -3 a 7424 -3 -2*a + 1 1280 -3 -a + 1 7424 -3 1 1280 -3 a + 1 2816 -3 -a + 2 2816 -3 2 1024 -3 a + 2 6080 -3 -a + 3 6080 -3 3 1296 -3 4 3136 -3 4*a + 4 6080 a - 3 2*a - 3 7424 a - 3 -3*a - 2 6416 a - 3 a - 2 144 a - 3 -1 6464 a - 3 a - 1 2816 a - 3 -a + 1 7424 a - 3 1 4864 a - 3 -3*a + 2 5456 a - 3 -2*a + 2 1024 a - 3 -a + 2 256 a - 3 a + 2 7600 a - 3 -2*a + 3 2816 a - 3 -a + 3 1600 a - 3 3 6336 a - 3 -2*a + 4 9216 a - 3 4 2624 2*a - 3 2*a - 3 7936 2*a - 3 a 8384 ... a + 1 -1 2880 a + 1 a - 1 7424 a + 1 -a 7936 a + 1 a 256 a + 1 1 2816 a + 1 a + 1 1280 a + 1 2*a + 1 2816 a + 1 2 9216 a + 1 a + 2 3280 a + 1 3*a + 2 2304 a + 1 -a + 3 6080 a + 1 4 9280 2*a + 1 -3*a - 2 7424 2*a + 1 4*a - 2 5120 2*a + 1 -2*a - 1 1984 2*a + 1 2*a - 1 2880 2*a + 1 a 1856 2*a + 1 2*a 5120 2*a + 1 a + 1 704 2*a + 1 2*a + 1 256 2*a + 1 2*a + 2 9216 2*a + 1 3*a + 2 1280 2*a + 1 4 7936 3*a + 1 -3*a - 2 2304 3*a + 1 -2*a - 1 704 3*a + 1 a 5696 3*a + 1 a + 1 1216 3*a + 1 2*a + 1 7424 3*a + 1 3*a + 2 256 3*a + 1 4*a + 2 1024 3*a + 1 4*a + 3 6400 4*a + 1 a - 2 9280 4*a + 1 -1 5904 4*a + 1 -a 4864 4*a + 1 4*a 1216 4*a + 1 a + 1 7424 4*a + 1 2*a + 1 2816 4*a + 1 4*a + 3 80 4*a + 1 4*a + 4 3520 -3*a + 2 -2*a - 1 5584 -3*a + 2 a - 1 2816 -3*a + 2 2*a - 1 1520 -3*a + 2 a 464 -3*a + 2 -3*a + 1 6336 -3*a + 2 a + 1 1984 -3*a + 2 -2*a + 2 5120 -3*a + 2 -a + 2 7424 -3*a + 2 2 1024 -3*a + 2 -2*a + 3 304 -3*a + 2 -a + 3 1280 -3*a + 2 -3*a + 4 7920 -3*a + 2 4 2304 -3*a + 2 a + 4 5776 -2*a + 2 2*a - 3 1024 -2*a + 2 -a - 2 320 -2*a + 2 3*a - 2 2816 -2*a + 2 a - 1 4096 -2*a + 2 -2*a + 1 5120 -2*a + 2 -a + 1 1024 -2*a + 2 1 4096 |
|
|