repo.or.cz
/
and.git
/
blob
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
log
|
graphiclog1
|
graphiclog2
|
commit
|
commitdiff
|
tree
|
refs
|
edit
|
fork
blame
|
history
|
raw
|
HEAD
Adding some more judges, here and there.
[and.git]
/
NEERC
/
xtra
/
tests
/
04.a
blob
de4d4ee3a7d21a09a6fd088b585b48856c735bca
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