
0
0
0
1
0
2
0
3
0
4
0
5
0
6
0
7
0
8
0
9
0
10
0
11
0
12
0
13
0
14
0
15
0
16
0
17
0
18
0
19
0
20
0
21
0
22
0
23
0
24
0
25
0
26
0
27
0
28
0
29
0
30
0
31
0
32
0
33
0
34
0
35
0
36
0
37
0
38
0
39
0
40
0
41
0
42
0
43
0
44
0
45
0
46
0
47
0
48
0
49
0
50
0
51
0
52
0
53
0
54
0
55
0
56
0
57
0
58
0
59
0
60
0
61
0
62
0
63
0
64
0
65
0
66
0
67
0
68
0
69
0
70
0
71
0
72
0
73
0
74
0
75
0
76
0
77
0
78
0
79
0
80
0
81
0
82
0
83
0
84
0
85
0
86
0
87
0
88
0
89
0
90
0
91
0
92
0
93
0
94
0
95
0
96
0
97
0
98
0
99
0
100
0
101
0
102
0
103
0
104
0
105
0
106
0
107
0
108
0
109
0
110
0
111
0
112
0
113
0
114
0
115
0
116
0
117
0
118
0
119
0
120
0
121
0
122
0
123
0
124
0
125
0
126
0
127
0
128
0
129
0
130
0
131
0
132
0
133
0
134
0
135
0
136
0
137
0
138
0
139
0
140
0
141
0
142
0
143
0
144
0
145
0
146
0
147
0
148
0
149
0
150
0
151
0
152
0
153
0
154
0
155
0
156
(-1 : 0 : 1)
157
(-2*a : -a + 1 : 1)
158
(-72*a - 144/5 : -682/25*a + 1091/25 : 1)
159
0
160
0
161
0
162
0
163
0
164
0
165
0
166
0
167
0
168
0
169
0
170
0
171
0
172
0
173
0
174
0
175
0
176
0
177
0
178
0
179
0
180
0
181
(-a - 1 : a + 1 : 1)
182
(-a : -a + 1 : 1)
183
0
184
0
185
0
186
0
187
0
188
0
189
0
190
0
191
0
192
0
193
0
194
0
195
0
196
0
197
0
198
0
199
0
200
0
201
0
202
0
203
0
204
0
205
0
206
0
207
0
208
0
209
0
210
0
211
0
212
0
213
0
214
0
215
0
216
0
217
0
218
0
219
0
220
0
221
(-a + 1 : 1 : 1)
222
(0 : -a : 1)
223
0
224
0
225
0
226
0
227
0
228
0
229
0
230
(-1 : -a : 1)
231
(2 : -5*a + 2 : 1)
232
Error with code
233
(1 : -1 : 1)
234
0
235
0
236
0
237
0
238
0
239
0
240
0
241
0
242
0
243
0
244
0
245
0
246
0
247
0
248
0
249
0
250
0
251
0
252
(0 : -a - 1 : 1)
253
0
254
0
255
0
256
0
257
0
258
0
259
0
260
0
261
0
262
0
263
0
264
0
265
0
266
0
267
0
268
0
269
0
270
0
271
0
272
0
273
0
274
0
275
(-1/4 : -1/2*a - 1/8 : 1)
276
(2*a : -2*a - 1 : 1)
277
(-21/4 : 17/8 : 1)
Error with code
278
(7 : -21 : 1)
Error with code
279
0
280
0
281
0
282
0
283
0
284
0
285
(0 : -a : 1)
286
0
287
0
288
0
289
(0 : -a : 1)
290
(2 : -a + 1 : 1)
291
(-1 : 0 : 1)
292
(-2*a + 5 : -7*a + 9 : 1)
293
(-a + 1 : -3 : 1)
294
(11*a + 19/4 : -6*a - 23/8 : 1)
Error with code
295
0
296
0
297
0
298
0
299
0
300
0
301
0
302
0
303
0
304
0
305
0
306
0
307
0
308
0
309
0
310
0
311
0
312
0
313
0
314
0
315
0
316
0
317
0
318
0
319
(-2*a + 3 : -4*a + 7 : 1)
320
(a - 1 : -a + 2 : 1)
321
(0 : 0 : 1)
322
(2*a - 1/4 : -3/2*a + 1/8 : 1)
Error with code
323
(0 : -a - 1 : 1)
324
0
325
0
326
0
327
0
328
0
329
0
330
0
331
0
332
0
333
(0 : -a : 1)
334
(-7*a + 10 : -2*a + 2 : 1)
335
0
336
0
337
(-a + 2 : -2*a + 3 : 1)
338
0
339
0
340
0
341
0
342
0
343
0
344
0
345
0
346
0
347
0
348
0
349
0
350
0
351
0
352
0
353
0
354
0
355
0
356
(a : -1 : 1)
357
(11/4*a + 3/4 : -7/4*a - 15/8 : 1)
Error with code
358
0
359
0
360
0
361
0
362
0
363
0
364
0
365
0
366
0
367
0
368
0
369
0
370
0
371
0
372
0
373
0
374
0
375
0
376
0
377
0
378
(0 : 0 : 1)
379
(0 : -a - 1 : 1)
380
0
381
0
382
0
383
0
384
0
385
0
386
0
387
0
388
0
389
0
390
0
391
0
392
(0 : -a - 1 : 1)
393
(a : -2*a - 1 : 1)
394
(0 : 0 : 1)
395
(0 : -a : 1)
396
0
397
0
398
0
399
0
400
0
401
0
402
0
403
0
404
0
405
0
406
0
407
0
408
0
409
0
410
0
411
0
412
0
413
0
414
0
415
0
416
(-a : 0 : 1)
417
(13*a + 11 : -99*a - 65 : 1)
418
(-10*a + 7 : 27*a - 33 : 1)
419
(-12*a + 20 : 42*a - 70 : 1)
420
(1 : 0 : 1)
421
0
422
0
423
(a + 1 : -3*a - 2 : 1)
424
0
425
0
426
0
427
0
428
0
429
0
430
0
431
0
432
(-a : -a : 1)
Error with code
433
(6*a + 5 : 26*a + 14 : 1)
Error with code
434
0
435
0
436
(1/4*a - 1/2 : -3/4*a + 3/8 : 1)
437
(-a + 2 : -a - 2 : 1)
438
0
439
0
440
0
441
0
442
0
443
0
444
0
445
0
446
0
447
0
448
0
449
0
450
0
451
0
452
0
453
0
454
0
455
0
456
0
457
0
458
0
459
(-a + 1 : -a + 1 : 1)
460
(a + 7 : 11*a + 4 : 1)
461
0
462
0
463
(-1 : 0 : 1)
Error with code
464
(a + 1 : 3*a - 2 : 1)
465
(-21/4*a + 23/4 : -3/4*a + 21/8 : 1)
Error with code
466
(2*a + 4 : -2*a - 8 : 1)
467
0
468
0
469
0
470
0
471
0
472
0
473
0
474
0
475
0
476
0
477
0
478
0
479
0
480
0
481
0
482
(-a : a : 1)
483
(-1 : 0 : 1)
484
(3/4*a - 9/4 : 3/4*a - 7/8 : 1)
Error with code
485
(1 : -2*a + 1 : 1)
486
0
487
(0 : -a : 1)
488
(-a + 2 : -1 : 1)
489
(0 : -a : 1)
490
(-4*a + 3 : 9*a - 12 : 1)
491
0
492
0
493
(a : -2*a - 2 : 1)
494
(6*a + 7 : 23*a + 17 : 1)
495
0
496
0
497
0
498
0
499
0
500
0
501
0
502
0
503
(0 : -a : 1)
504
(-2*a + 1 : a + 4 : 1)
505
0
506
0
507
0
508
0
509
(-1 : 0 : 1)
510
(a - 1 : -a - 1 : 1)
511
(6*a - 45/4 : -7/2*a + 41/8 : 1)
Error with code
512
(5*a + 6 : -13*a - 5 : 1)
Error with code
513
(-a : a - 1 : 1)
514
(0 : -2*a + 1 : 1)
515
(0 : 1 : 1)
516
(0 : 0 : 1)
517
0
518
0
519
0
520
0
521
0
522
0
523
0
524
0
525
0
526
0
527
0
528
0
529
0
530
0
531
0
532
0
533
0
534
0
535
0
536
0
537
(1 : -a - 1 : 1)
538
(3*a + 1 : -12*a - 7 : 1)
539
0
540
(0 : -a : 1)
541
(-a - 1 : a + 3 : 1)
542
(13*a - 19 : a - 8 : 1)
543
(0 : -a - 1 : 1)
544
0
545
0
546
0
547
(0 : -a : 1)
548
(9/4*a + 3/2 : -7/2*a - 19/8 : 1)
Error with code
549
0
550
0
551
0
552
0
553
0
554
0
555
(3*a + 2 : -9*a - 6 : 1)
556
(-7/4*a + 1 : -3/8 : 1)
557
(6*a + 1 : -15*a - 9 : 1)
558
(a + 3 : -4*a + 4 : 1)
559
(-61/4*a - 29/4 : 45/4*a + 61/8 : 1)
Error with code
560
(61/4*a - 47/2 : -4*a + 29/8 : 1)
Error with code
561
(1/4*a - 1/4 : -3/2*a - 3/8 : 1)
562
(2 : -1 : 1)
563
0
564
0
565
0
566
0
567
0
568
0
569
0
570
0
571
0
572
0
573
(a + 1 : -3*a - 2 : 1)
574
(a + 1 : -3*a - 4 : 1)
575
0
576
0
577
0
578
(0 : -a : 1)
579
0
580
0
581
0
582
0
583
0
584
0
585
(0 : 0 : 1)
586
0
587
(0 : -a - 1 : 1)
588
(6*a + 5 : 17*a + 11 : 1)
589
(-5/4*a - 13/4 : 7/4*a + 1/8 : 1)
Error with code
590
(-5*a + 11 : a - 9 : 1)
Error with code
591
0
592
0
593
0
594
(1 : -a : 1)
595
0
596
0
597
0
598
0
599
(0 : 0 : 1)
600
(-a + 2 : -a : 1)
601
0
602
0
603
0
604
0
605
0
606
0
607
(0 : 0 : 1)
608
(a : -3*a - 1 : 1)
609
(0 : -1 : 1)
610
(11/4*a + 3/4 : -9/4*a - 11/8 : 1)
Error with code
611
0
612
0
613
0
614
0
615
0
616
0
617
0
618
0
619
0
620
(-a : -3*a : 1)
621
(2*a + 2 : -7*a - 3 : 1)
622
(0 : -a - 1 : 1)
623
(-1 : -2*a + 3 : 1)
624
(-2*a + 17 : -68*a + 43 : 1)
625
0
626
0
627
0
628
0
629
0
630
0
631
0
632
0
633
0
634
0
635
(0 : -a : 1)
636
(a + 2 : 2*a + 2 : 1)
637
0
638
0
639
0
640
0
641
(-a - 1 : -a - 1 : 1)
642
(3*a - 3 : -6*a + 8 : 1)
643
(22*a + 13 : -147*a - 89 : 1)
644
(-7*a + 12 : -7*a + 13 : 1)
645
(-10*a - 12 : 0 : 1)
Error with code
646
(6*a + 4 : 0 : 1)
Error with code
647
0
648
0
649
(-a + 1 : -a + 1 : 1)
650
(a - 1 : -2*a : 1)
651
(-a + 1 : -1 : 1)
652
(-a : 1 : 1)
653
(2 : a + 1 : 1)
654
(3 : 2*a - 6 : 1)
655
0
656
0
657
0
658
0
659
0
660
0
661
(2 : -a + 1 : 1)
662
0
663
0
664
0
665
0
666
0
667
0
668
0
669
0
670
(-a + 2 : -3*a + 2 : 1)
671
(-26*a + 44 : -198*a + 317 : 1)
672
0
673
0
674
0
675
(a - 1 : -2*a + 2 : 1)
676
(-5*a + 4 : -9*a + 16 : 1)
Error with code
677
(a : -a - 1 : 1)
678
(2 : -a : 1)
679
(2 : -3*a + 1 : 1)
680
Error with code
681
0
682
0
683
0
684
0
685
(1 : -2*a + 1 : 1)
686
0
687
0
688
0
689
0
690
0
691
0
692
(a : -2*a - 1 : 1)
693
Error with code
694
(-2*a + 2 : 1 : 1)
695
(a : -a : 1)
696
(3*a + 3/4 : -2*a - 7/8 : 1)
Error with code
697
(-1 : 1 : 1)
698
(-a - 5/4 : 5/8 : 1)
Error with code
699
(a + 1 : -2*a - 1 : 1)
700
0
701
0
702
(0 : -a : 1)
703
(a : -5*a + 8 : 1)
704
(a : 1 : 1)
Error with code
705
0
706
0
707
0
708
0
709
0
710
0
711
0
712
0
713
0
714
0
715
0
716
0
717
0
718
(0 : 0 : 1)
719
0
720
0
721
(-a : 0 : 1)
722
(-2*a - 9/4 : 1/2*a + 5/8 : 1)
Error with code
723
0
724
0
725
0
726
0
727
0
728
0
729
0
730
0
731
(-1 : 1 : 1)
732
(-a + 3/4 : 1/2*a - 3/8 : 1)
Error with code
733
(0 : -a : 1)
734
(3/4*a - 5/4 : -1/4*a - 3/8 : 1)
Error with code
735
(-a : 1 : 1)
736
(9 : -4*a + 28 : 1)
737
(0 : 1 : 1)
738
(-3*a + 1 : -2*a - 1 : 1)
739
(0 : -a : 1)
740
(-a : 0 : 1)
741
(-21*a + 32 : -128*a + 209 : 1)
742
(1 : -5*a + 6 : 1)
743
(12*a + 5 : -37*a - 26 : 1)
744
(-a + 2 : 2*a - 4 : 1)
745
0
746
0
747
0
748
0
749
0
750
(a - 2 : a : 1)
751
(20*a + 14 : -147*a - 99 : 1)
752
(-13*a + 14 : -9*a + 18 : 1)
753
(15*a + 22 : -122*a - 140 : 1)
754
0
755
0
756
0
757
0
758
0
759
0
760
(-1 : -a : 1)
761
(3 : -5*a + 3 : 1)
762
(-1 : 1 : 1)
763
(-1/4 : 1/8 : 1)
Error with code
764
(-a + 1 : -a + 1 : 1)
765
(2*a + 1 : -5*a - 4 : 1)
766
(-2*a + 3 : -a : 1)
767
(19/4*a + 3/4 : -13/4*a - 23/8 : 1)
Error with code
768
0
769
0
770
0
771
0
772
0
773
0
774
0
775
0
776
0
777
0
778
(-1 : 2 : 1)
779
(2 : -3*a + 1 : 1)
780
0
781
0
782
0
783
0
784
0
785
0
786
0
787
0
788
0
789
0
790
0
791
0
792
0
793
0
794
(1 : 0 : 1)
795
(a : a : 1)
796
0
797
0
798
0
799
0
800
0
801
0
802
(0 : -2*a + 2 : 1)
803
(2*a : -5*a - 2 : 1)
804
0
805
0
806
0
807
0
808
0
809
0
810
0
811
0
812
0
813
0
814
0
815
0
816
0
817
0
818
0
819
0
820
(0 : -a : 1)
821
(-2*a : -4*a : 1)
822
Error with code
823
(a : -2*a - 1 : 1)
824
(a + 1 : -4*a - 3 : 1)
825
(-1 : 0 : 1)
826
(-9*a + 18 : -60*a + 85 : 1)
827
0
828
0
829
(2 : 2*a - 2 : 1)
830
0
831
0
832
0
833
0
834
(a + 1 : a : 1)
835
(1 : -2*a - 1 : 1)
836
(-3*a + 5 : -8*a + 12 : 1)
837
(a : 0 : 1)
838
(2*a + 1 : -4*a + 4 : 1)
839
(190*a + 115 : -3964*a - 2448 : 1)
840
(-401/4*a - 241/4 : 321/4*a + 401/8 : 1)
Error with code
841
(296344/3481*a + 82216/3481 : -207490804/205379*a - 127038812/205379 : 1)
842
(-127/4*a + 259/4 : 1025/4*a - 3589/8 : 1)
843
(353*a - 2281/4 : -177*a + 2277/8 : 1)
Error with code
844
0
845
0
846
0
847
0
848
(-a + 1 : 0 : 1)
849
(-2*a + 1 : 2*a - 1 : 1)
850
0
851
0
852
(1/2*a - 5/4 : -5/4*a + 1/8 : 1)
853
(-a : -1 : 1)
854
0
855
0
856
0
857
0
858
(0 : 0 : 1)
859
0
860
0
861
(0 : 0 : 1)
862
(7/4*a - 5/4 : -1/4*a - 11/8 : 1)
Error with code
863
CPU time: 719.36 s,  Wall time: 59854.40 s
