-
Notifications
You must be signed in to change notification settings - Fork 1
/
ERDOSprob12.txt
100001 lines (100001 loc) · 681 KB
/
ERDOSprob12.txt
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
130
131
132
133
134
135
136
137
138
139
140
141
142
143
144
145
146
147
148
149
150
151
152
153
154
155
156
157
158
159
160
161
162
163
164
165
166
167
168
169
170
171
172
173
174
175
176
177
178
179
180
181
182
183
184
185
186
187
188
189
190
191
192
193
194
195
196
197
198
199
200
201
202
203
204
205
206
207
208
209
210
211
212
213
214
215
216
217
218
219
220
221
222
223
224
225
226
227
228
229
230
231
232
233
234
235
236
237
238
239
240
241
242
243
244
245
246
247
248
249
250
251
252
253
254
255
256
257
258
259
260
261
262
263
264
265
266
267
268
269
270
271
272
273
274
275
276
277
278
279
280
281
282
283
284
285
286
287
288
289
290
291
292
293
294
295
296
297
298
299
300
301
302
303
304
305
306
307
308
309
310
311
312
313
314
315
316
317
318
319
320
321
322
323
324
325
326
327
328
329
330
331
332
333
334
335
336
337
338
339
340
341
342
343
344
345
346
347
348
349
350
351
352
353
354
355
356
357
358
359
360
361
362
363
364
365
366
367
368
369
370
371
372
373
374
375
376
377
378
379
380
381
382
383
384
385
386
387
388
389
390
391
392
393
394
395
396
397
398
399
400
401
402
403
404
405
406
407
408
409
410
411
412
413
414
415
416
417
418
419
420
421
422
423
424
425
426
427
428
429
430
431
432
433
434
435
436
437
438
439
440
441
442
443
444
445
446
447
448
449
450
451
452
453
454
455
456
457
458
459
460
461
462
463
464
465
466
467
468
469
470
471
472
473
474
475
476
477
478
479
480
481
482
483
484
485
486
487
488
489
490
491
492
493
494
495
496
497
498
499
500
501
502
503
504
505
506
507
508
509
510
511
512
513
514
515
516
517
518
519
520
521
522
523
524
525
526
527
528
529
530
531
532
533
534
535
536
537
538
539
540
541
542
543
544
545
546
547
548
549
550
551
552
553
554
555
556
557
558
559
560
561
562
563
564
565
566
567
568
569
570
571
572
573
574
575
576
577
578
579
580
581
582
583
584
585
586
587
588
589
590
591
592
593
594
595
596
597
598
599
600
601
602
603
604
605
606
607
608
609
610
611
612
613
614
615
616
617
618
619
620
621
622
623
624
625
626
627
628
629
630
631
632
633
634
635
636
637
638
639
640
641
642
643
644
645
646
647
648
649
650
651
652
653
654
655
656
657
658
659
660
661
662
663
664
665
666
667
668
669
670
671
672
673
674
675
676
677
678
679
680
681
682
683
684
685
686
687
688
689
690
691
692
693
694
695
696
697
698
699
700
701
702
703
704
705
706
707
708
709
710
711
712
713
714
715
716
717
718
719
720
721
722
723
724
725
726
727
728
729
730
731
732
733
734
735
736
737
738
739
740
741
742
743
744
745
746
747
748
749
750
751
752
753
754
755
756
757
758
759
760
761
762
763
764
765
766
767
768
769
770
771
772
773
774
775
776
777
778
779
780
781
782
783
784
785
786
787
788
789
790
791
792
793
794
795
796
797
798
799
800
801
802
803
804
805
806
807
808
809
810
811
812
813
814
815
816
817
818
819
820
821
822
823
824
825
826
827
828
829
830
831
832
833
834
835
836
837
838
839
840
841
842
843
844
845
846
847
848
849
850
851
852
853
854
855
856
857
858
859
860
861
862
863
864
865
866
867
868
869
870
871
872
873
874
875
876
877
878
879
880
881
882
883
884
885
886
887
888
889
890
891
892
893
894
895
896
897
898
899
900
901
902
903
904
905
906
907
908
909
910
911
912
913
914
915
916
917
918
919
920
921
922
923
924
925
926
927
928
929
930
931
932
933
934
935
936
937
938
939
940
941
942
943
944
945
946
947
948
949
950
951
952
953
954
955
956
957
958
959
960
961
962
963
964
965
966
967
968
969
970
971
972
973
974
975
976
977
978
979
980
981
982
983
984
985
986
987
988
989
990
991
992
993
994
995
996
997
998
999
1000
289383
930886
692777
636915
747793
238335
885386
760492
516649
641421
202362
490027
368690
520059
897763
513926
180540
383426
89172
455736
5211
595368
702567
465782
722862
703135
513929
979802
634022
723058
898167
175011
478042
176229
377373
484421
413784
898537
575198
594324
798315
664370
803526
776091
268980
759956
806862
999170
906996
702305
420925
477084
336327
660336
126505
750846
621729
661313
925857
616124
353895
819582
100545
898814
233367
515434
990364
344043
313750
171087
426808
117276
947178
695788
393584
392754
612399
999932
95060
549676
993368
947739
210012
636226
698586
348094
297539
140795
480570
651434
960378
97467
710097
612902
570492
926652
260756
997301
560280
724286
953865
429689
228444
346619
558440
744729
958031
108117
738097
905771
834481
890675
698927
777856
254586
276965
455306
964683
406219
332871
805732
409503
530019
258270
363368
959708
486715
226340
518149
747796
700723
142618
122846
493451
892921
243555
192379
597488
537764
888228
792350
165193
441500
757034
87764
470124
324914
936987
275856
373743
346491
322227
148365
709859
281936
151432
452551
316437
899228
153275
975407
901474
276121
468858
794395
908235
573793
894428
366143
231011
335928
639529
318776
322404
964443
854538
118606
436840
344818
235128
670688
797369
569917
466996
987743
259470
512183
298490
295499
689772
206725
385644
755590
617505
268139
502954
469786
907669
338082
308542
388464
110197
939507
759355
228804
376348
573622
127828
949299
887343
195746
354340
755422
613810
267605
321801
425661
473730
811305
229320
178736
79444
248626
648522
503465
586708
473416
408282
213258
412924
167637
442062
305624
962600
532036
433452
419379
145550
947468
290071
487131
903881
684930
808933
845894
158660
370163
657199
387981
548899
252996
713773
739668
187190
681095
952926
116466
365084
911340
422090
327684
443376
855542
755936
379107
517445
219756
669179
418418
706887
89412
103348
451659
262009
402336
625210
166342
878206
319301
697713
667372
575321
401255
864819
229904
939811
915667
311705
346228
829150
565984
996658
763920
789224
602422
867269
821396
645630
740084
679292
811972
207672
647625
905385
741222
739299
306640
606042
783898
340713
352298
256190
280524
942590
688209
108581
288819
499336
937732
371155
495994
218004
160379
614769
85273
981776
668850
247255
721860
348142
445884
421993
223205
867621
679567
962504
690613
801961
262754
154259
518944
828202
613202
723506
936784
902021
222842
390868
789528
235189
608872
949908
849958
210498
448036
518808
457753
686248
132133
321648
772890
999754
517567
251746
690368
319529
514500
238046
473788
549797
86990
273303
505363
910253
294892
247686
519125
761152
613996
245975
209188
703729
895436
253414
543921
870460
388027
278050
266748
707556
308902
504794
697697
858699
571043
132002
90428
806403
144500
908538
522535
282134
104339
171692
502215
720504
755629
590964
298285
636429
576335
903177
202900
885238
416949
260289
495367
717988
392292
585795
658390
961682
655340
553541
453826
174232
172261
956042
690360
409117
266761
526309
903190
495425
618996
806367
214677
504234
730690
631626
764524
226057
349614
673168
328205
390358
726312
947386
565100
204346
602726
634994
204916
325578
893529
528946
532290
756970
799051
819080
799631
218593
830857
418627
541312
561886
439214
788355
193512
720090
909610
858969
966189
152274
806355
356620
925433
198987
498338
524566
487770
300606
372260
125849
107205
473059
648518
990783
436873
228458
967637
804289
620483
770478
149314
334471
645729
591100
723618
89438
211388
633074
631233
518157
933681
160358
550270
110699
633417
275569
668363
92622
228794
413173
319847
196431
217462
456682
539390
504292
745791
205057
355115
391521
796157
888574
631491
401947
462951
610537
393740
485054
614030
554098
241081
187516
653516
372231
746139
261796
785404
582338
974580
519218
513970
539862
784812
235379
894977
692685
299904
324176
433483
279207
199759
984857
889744
593499
469911
663950
505236
777560
367818
675105
810563
740049
421244
588711
519934
563291
558955
593614
133589
343768
828993
544918
552805
376882
844822
876982
326717
124030
593093
311574
530126
186593
781486
550253
850543
803074
327814
734713
478179
138377
474762
415775
727088
935710
806732
110294
400346
760235
871137
745691
305153
423943
122573
666328
300925
449291
306710
894018
836836
575055
387090
963858
378130
714904
698571
369633
689685
613073
722604
756851
419805
349250
767868
109485
639006
82195
414639
721120
80967
880226
686763
290596
963981
740865
887560
539036
127955
367770
433518
359211
322532
245196
272379
627321
858270
994984
384172
794427
344234
152040
647283
970072
307398
245830
370347
966950
982030
250573
653714
886059
626924
945082
189435
271232
829204
622954
630443
411898
945486
875640
684278
89159
250262
679262
989683
561041
539848
141723
208324
449122
454154
927335
937457
909365
102747
591171
311776
160269
725218
938701
914653
209933
450907
356728
862806
515797
748720
547084
121308
515334
742698
110991
798898
252715
801052
825171
218189
771559
752506
554010
709016
178224
173109
490000
333378
945053
955081
489114
671338
785147
575223
776787
332231
696532
292122
591281
323875
884850
390179
576590
202254
215350
311131
967857
381494
146081
554603
152433
887982
590181
97487
359415
79296
768825
765404
138722
796892
550551
230297
90032
399134
443181
898506
990415
767057
299708
380595
859999
501962
687483
475776
80154
191309
742587
139932
723382
895021
544266
313563
508860
903682
909211
277685
669086
564285
590930
735990
794583
197314
651476
754116
95820
641892
395528
538839
897525
897490
651136
101360
889618
247643
170337
80928
506582
804310
917955
370888
634225
426815
274570
543437
220853
460008
107722
811783
712350
363827
689126
621269
522071
726651
140528
430639
228398
241888
836610
928577
433890
498976
755199
754552
416931
126087
360099
448566
580952
377017
392735
89368
491298
918184
453195
696776
975266
423428
588954
552528
80308
297278
322197
372555
289672
250774
806445
305000
522325
560997
238283
648412
466127
598382
565421
914693
179334
987334
88421
548159
994985
522957
691761
578762
492972
631541
167716
561852
711850
703662
375482
550399
665154
801173
399015
486506
839851
476364
724790
942491
323172
570037
373537
360871
107280
576987
355856
146590
578341
563970
725352
587665
893069
149517
907361
974112
189300
706506
291638
104667
709364
581032
434154
136104
273679
413412
292538
734969
290636
916170
311956
162844
726814
304465
994314
922326
713886
660183
826969
701535
320152
924393
611790
637289
150109
734673
584264
395735
774548
374295
101877
704313
666833
353198
99355
665155
678468
588156
400960
982933
98823
323286
213171
275358
493245
572761
933990
210050
84100
409954
461075
668364
322042
235624
423919
456289
225844
293469
451238
841551
474976
526343
161956
365981
232475
953666
788967
446912
90192
361729
380902
756868
88131
465002
683174
549207
649718
692377
945487
757472
238957
725062
276125
713933
366797
312496
293418
893141
848153
971726
775474
596980
925393
843485
385948
372305
450030
269559
206898