Adding some more judges, here and there.
[and.git] / NEERC / xtra / tests / 04.a
blobde4d4ee3a7d21a09a6fd088b585b48856c735bca
1 252
2 953
3 1408
4 2376
5 4112
6 4632
7 6015
8 6023
9 7195
10 7298
11 8605
12 10321
13 10625
14 12058
15 14047
16 15626
17 17066
18 19056
19 21032
20 22646
21 23214
22 23893
23 24039
24 25501
25 27162
26 28914
27 30092
28 31218
29 32497
30 32677
31 32980
32 33080
33 34133
34 34592
35 35768
36 35850
37 35999
38 37290
39 38489
40 39496
41 39798
42 40944
43 42113
44 42727
45 43247
46 43385
47 43944
48 44204
49 45246
50 45458
51 45762
52 45975
53 46632
54 46719
55 48139
56 48262
57 50223
58 52170
59 52479
60 53392
61 55056
62 56385
63 56467
64 57257
65 58784
66 58970
67 60730
68 61331
69 61360
70 62958
71 64638
72 64897
73 66250
74 67335
75 69298
76 69745
77 70537
78 70547
79 71929
80 72256
81 72423
82 73446
83 73916
84 74383
85 75721
86 75748
87 76967
88 77678
89 78103
90 79734
91 79945
92 81148
93 82959
94 84509
95 85034
96 86327
97 87864
98 89807
99 90066
100 91600
101 91765
102 91894
103 91915
104 92409
105 94134
106 95809
107 96027
108 96634
109 98457
110 99763
111 101270
112 103037
113 103541
114 105164
115 105393
116 107293
117 109270
118 109350
119 110540
120 110761
121 112544
122 113742
123 114356
124 115757
125 116259
126 117754
127 118386
128 119749
129 121349
130 122420
131 123552
132 125470
133 126970
134 127326
135 128650
136 130623
137 131100
138 132052
139 133919
140 135434
141 136904
142 136973
143 137859
144 138959
145 139358
146 139855
147 141598
148 141664
149 141760
150 142366
151 143256
152 144436
153 144856
154 146184
155 146841
156 148785
157 150456
158 152050
159 152361
160 153645
161 154536
162 154729
163 155970
164 156795
165 157931
166 158460
167 159059
168 159548
169 159870
170 161106
171 161357
172 161980
173 162727
174 162847
175 163227
176 164603
177 165459
178 166865
179 168443
180 168994
181 170368
182 171116
183 172896
184 174542
185 174920
186 175898
187 176780
188 177081
189 177493
190 177553
191 177927
192 179799
193 181040
194 182252
195 184109
196 185464
197 185791
198 187474
199 188233
200 189599
201 191229
202 192354
203 192471
204 192887
205 194713
206 195775
207 197530
208 197707
209 199241
210 200636
211 201343
212 202315
213 203961
214 204390
215 205619
216 206829
217 208183
218 209572
219 210811
220 211783
221 212756
222 213643
223 214185
224 214661
225 215798
226 217113
227 217770
228 218411
229 218900
230 220530
231 221156
232 222615
233 223042
234 224542
235 226160
236 226570
237 226603
238 226883
239 228567
240 230182
241 230929
242 231719
243 232230
244 233206
245 234107
246 234461
247 234970
248 235962
249 236666
250 236747
251 237833
252 239320
253 240079
254 241929
255 243368
256 244341
257 246064
258 247032
259 248755
260 250601
261 251789
262 252756
263 253684
264 254839
265 255234
266 256757
267 257070
268 258220
269 260072
270 261013
271 262758
272 263094
273 264561
274 265760
275 266534
276 266778
277 268067
278 268077
279 268879
280 270522
281 271960
282 272818
283 274002
284 274411
285 274743
286 275249
287 275847
288 277621
289 278418
290 280336
291 281881
292 282048
293 282200
294 283271
295 283568
296 283939
297 284813
298 285450
299 286619
300 286834
301 287755
302 289745
303 290170
304 291685
305 293006
306 294516
307 296206
308 296693
309 297804
310 299467
311 300662
312 302010
313 302232
314 304034
315 305736
316 307068
317 308477
318 308670
319 309128
320 310948
321 311763
322 312958
323 313975
324 314804
325 316065
326 316163
327 317437
328 317993
329 318850
330 319416
331 319971
332 320185
333 320222
334 320377
335 321490
336 322348
337 322943
338 324836
339 326693
340 328138
341 328966
342 329328
343 330008
344 331830
345 333209
346 334489
347 334704
348 335584
349 336448
350 336476
351 336838
352 337421
353 338312
354 339420
355 340861
356 341950
357 342503
358 343492
359 343796
360 344487
361 345483
362 346799
363 347051
364 347839
365 348990
366 350938
367 351046
368 351650
369 351877
370 353675
371 353953
372 354846
373 355902
374 357840
375 357996
376 358305
377 359194
378 361131
379 362835
380 363544
381 364271
382 365184
383 365745
384 365812
385 366603
386 367854
387 368380
388 368617
389 368839
390 370303
391 372043
392 373331
393 374929
394 376103
395 377546
396 378153
397 379524
398 381182
399 381795
400 383317
401 385131
402 387089
403 387455
404 388089
405 388656
406 389656
407 390085
408 391672
409 392060
410 392760
411 393316
412 394823
413 395007
414 396536
415 396749
416 397555
417 398496
418 398990
419 399374
420 400967
421 401586
422 401611
423 403452
424 403839
425 404466
426 405174
427 405892
428 407267
429 408230
430 409587
431 410327
432 411240
433 412849
434 413235
435 415172
436 415676
437 415966
438 416908
439 417119
440 419083
441 420249
442 421028
443 421594
444 422585
445 424163
446 424500
447 425880
448 427748
449 428169
450 429162
451 430698
452 431206
453 431457
454 433411
455 434182
456 435747
457 437451
458 438218
459 438293
460 440119
461 441465
462 442364
463 443867
464 444474
465 444995
466 445372
467 446587
468 446958
469 448266
470 450203
471 450322
472 451603
473 451775
474 453439
475 454372
476 456284
477 456691
478 458274
479 459307
480 460156
481 461125
482 461307
483 462217
484 462581
485 464360
486 465676
487 466277
488 468202
489 468305
490 468787
491 469704
492 471429
493 472527
494 474445
495 475271
496 476240
497 476356
498 476863
499 477693
500 477826
501 478690
502 479630
503 480308
504 481215
505 481225
506 482350
507 482614
508 482665
509 483992
510 485284
511 486330
512 488208
513 489186
514 489965
515 491801
516 492377
517 492401
518 493357
519 494665
520 494770
521 495527
522 496792
523 496844
524 498713
525 500664
526 502494
527 504031
528 504924
529 505537
530 506169
531 507985
532 509703
533 510057
534 511744
535 512062
536 513807
537 514747
538 515962
539 516533
540 516753
541 516901
542 518170
543 518371
544 519986
545 521482
546 522263
547 522319
548 522907
549 524867
550 525369
551 526146
552 526418
553 526674
554 527482
555 529179
556 529265
557 530060
558 531892
559 533264
560 535067
561 535959
562 537851
563 539468
564 540557
565 541889
566 542584
567 543959
568 544187
569 545067
570 545335
571 546607
572 546870
573 548709
574 549812
575 550000
576 551250
577 551481
578 552947
579 554660
580 556537
581 557256
582 557616
583 558413
584 558538
585 559381
586 560468
587 561941
588 563176
589 564852
590 565754
591 566726
592 568383
593 568869
594 569575
595 569656
596 569891
597 571398
598 572661
599 572755
600 573076
601 574479
602 575378
603 576570
604 577623
605 578146
606 578308
607 579909
608 580417
609 581961
610 583357
611 584716
612 586666
613 588256
614 589976
615 591039
616 591934
617 592355
618 592712
619 593121
620 594327
621 596122
622 597922
623 599806
624 600750
625 602335
626 603110
627 604571
628 605753
629 606499
630 607970
631 608592
632 610112
633 611849
634 611853
635 612417
636 612915
637 614395
638 615991
639 617930
640 619570
641 620024
642 620436
643 622388
644 622734
645 622749
646 623302
647 624481
648 625823
649 626368
650 627522
651 628460
652 629382
653 630894
654 631960
655 632523
656 633204
657 634240
658 635321
659 635742
660 637725
661 638795
662 638974
663 639989
664 640841
665 641609
666 642370
667 643394
668 644928
669 646075
670 646413
671 648024
672 649457
673 650091
674 651728
675 652585
676 653220
677 654816
678 656426
679 657079
680 658839
681 659270
682 659568
683 660470
684 660804
685 661143
686 662166
687 662534
688 662955
689 663296
690 665184
691 665209
692 665933
693 666592
694 667622
695 668857
696 669731
697 670769
698 671397
699 673012
700 673143
701 674258
702 675356
703 677285
704 678487
705 678904
706 680378
707 682220
708 682639
709 682727
710 683151
711 684050
712 686023
713 686971
714 687857
715 689403
716 689830
717 690778
718 692552
719 694119
720 694362
721 696022
722 696762
723 698511
724 700032
725 701879
726 702328
727 703478
728 705156
729 705901
730 707247
731 708036
732 709323
733 709457
734 709830
735 710943
736 711737
737 712525
738 714134
739 715220
740 716550
741 717956
742 719266
743 720505
744 721840
745 722461
746 722762
747 724287
748 725503
749 726669
750 727872
751 729202
752 729965
753 731772
754 732235
755 733706
756 734230
757 735354
758 736992
759 737526
760 738409
761 740152
762 741087
763 741488
764 742522
765 742631
766 743067
767 743356
768 743945
769 745336
770 746345
771 747515
772 748547
773 750165
774 751528
775 752427
776 753160
777 754794
778 754997
779 755895
780 757643
781 759619
782 760595
783 762333
784 763456
785 763710
786 764874
787 766351
788 768262
789 769401
790 769987
791 771054
792 772696
793 774239
794 775937
795 777650
796 778084
797 778185
798 779528
799 781016
800 782512
801 783039
802 784961
803 786045
804 787265
805 788213
806 788672
807 789687
808 790273
809 792098
810 792634
811 793763
812 793865
813 795382
814 795923
815 797699
816 798698
817 799827
818 800059
819 800519
820 802413
821 803107
822 803165
823 803502
824 804139
825 805450
826 805669
827 807063
828 808643
829 808971
830 809905
831 811554
832 812510
833 813659
834 815534
835 815757
836 817377
837 819157
838 820414
839 821038
840 821879
841 822567
842 824091
843 825183
844 826568
845 827653
846 828777
847 830111
848 830710
849 831926
850 832263
851 833780
852 834494
853 835243
854 836847
855 838682
856 838767
857 840637
858 842000
859 843520
860 845118
861 845281
862 846107
863 846723
864 847666
865 848538
866 850219
867 850607
868 852597
869 853247
870 854443
871 855117
872 856096
873 857472
874 859144
875 860207
876 861946
877 863078
878 864815
879 866026
880 866686
881 868640
882 870069
883 870223
884 870867
885 871287
886 872840
887 873802
888 875532
889 877232
890 877508
891 879079
892 879722
893 879858
894 880277
895 881418
896 883376
897 885338
898 886768
899 888555
900 888674
901 888928
902 889424
903 889440
904 889452
905 890147
906 891916
907 892644
908 892978
909 894244
910 895413
911 896523
912 896975
913 898415
914 899155
915 899437
916 901425
917 902405
918 903422
919 904444
920 905293
921 906230
922 906616
923 907050
924 908952
925 910886
926 911782
927 912661
928 913699
929 915044
930 915539
931 916573
932 918399
933 919839
934 919998
935 921408
936 921891
937 922999
938 923880
939 925057
940 926432
941 926683
942 928676
943 930317
944 932091
945 932519
946 933304
947 933520
948 934604
949 936461
950 938348
951 939576
952 939828
953 941199
954 942600
955 943005
956 944600
957 944999
958 946217
959 946612
960 948361
961 948963
962 950493
963 951643
964 952607
965 953823
966 955791
967 957310
968 957774
969 958511
970 958869
971 959775
972 959869
973 959878
974 960440
975 960762
976 961721
977 962046
978 963403
979 964085
980 964381
981 965017
982 965855
983 966551
984 966827
985 967277
986 968588
987 969769
988 970739
989 972270
990 972400
991 973558
992 973745
993 975713
994 976184
995 977745
996 979159
997 979904
998 980391
999 981307
1000 982870