-
Notifications
You must be signed in to change notification settings - Fork 0
/
karyHeap-test.txt
1035 lines (1035 loc) · 8.93 KB
/
karyHeap-test.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
IN 6807
IN 5249
IN 73
IN 3658
IN 8930
IN 1272
IN 7544
IN 878
IN 7923
IN 7709
IN 4440
IN 8165
IN 4492
IN 3042
IN 7987
IN 2503
IN 2327
IN 1729
IN 8840
IN 2612
IN 4303
IN 3169
IN 7709
IN 7157
IN 9560
IN 933
IN 3099
IN 278
IN 1816
IN 5335
IN 9097
IN 7826
IN 3512
IN 9267
IN 3810
IN 7633
IN 979
IN 9149
IN 6579
IN 8821
IN 1967
IN 672
IN 1393
IN 9336
IN 5485
IN 1745
IN 5228
IN 4091
IN 194
IN 6357
IN 5001
IN 1153
IN 6708
IN 7944
IN 5668
IN 1490
IN 8124
IN 2196
IN 9530
IN 903
IN 7722
IN 4666
IN 8549
IN 8024
IN 7801
IN 6853
IN 977
IN 7408
IN 8228
IN 4933
IN 298
IN 8981
IN 8635
IN 8013
IN 3865
IN 9814
IN 9063
IN 4536
IN 9425
IN 1669
IN 4115
IN 94
EX
IN 5629
IN 6501
IN 6517
IN 4195
IN 105
IN 404
IN 9451
IN 4298
IN 2188
IN 1123
IN 9505
IN 6882
IN 6752
IN 1566
IN 6716
IN 337
IN 4438
IN 3144
IN 1501
IN 4897
IN 3871
IN 5828
IN 1137
IN 9358
IN 3177
IN 2397
IN 2294
IN 7904
IN 1609
IN 6231
IN 9745
IN 4175
IN 3635
IN 6298
IN 8142
IN 399
IN 7968
IN 412
IN 260
IN 3557
IN 1594
IN 8008
IN 6395
IN 5968
IN 9113
IN 4530
IN 1006
IN 962
IN 7942
IN 5365
IN 2082
IN 9852
IN 767
IN 3821
IN 5695
IN 4712
IN 3671
IN 9901
IN 8590
IN 4831
IN 4738
IN 3057
IN 1616
IN 9790
IN 5640
IN 679
IN 7335
IN 7006
IN 7972
IN 6098
IN 9095
IN 5319
IN 3454
IN 5223
IN 2289
IN 6760
IN 8905
IN 6126
IN 6123
IN 9506
IN 5813
IN 6770
IN 5238
IN 9094
IN 6220
IN 7844
IN 2366
IN 534
IN 5226
IN 5394
IN 1363
IN 8738
IN 7844
IN 9590
IN 6550
IN 5159
IN 8623
IN 4947
IN 7385
IN 7217
IN 5272
IN 5539
IN 9247
IN 2385
IN 3496
IN 4885
IN 623
IN 2420
IN 8144
IN 1968
EX
IN 5735
IN 9915
IN 1625
IN 3534
IN 6042
IN 6011
IN 4679
IN 4152
IN 5244
IN 7295
IN 8818
IN 396
IN 7692
IN 1815
IN 2991
IN 33
IN 2669
IN 9397
IN 9553
IN 547
IN 5825
IN 1210
IN 9662
IN 211
IN 3808
IN 3377
IN 2761
IN 625
IN 7335
IN 1868
IN 7995
IN 2776
IN 2767
IN 7439
IN 9874
IN 9331
IN 556
IN 6301
IN 8872
IN 560
IN 94
IN 8984
IN 3755
IN 9789
IN 1407
IN 8015
IN 193
IN 2769
IN 5680
IN 3455
IN 6855
IN 7506
IN 963
IN 3502
IN 6676
IN 3108
IN 3249
IN 2331
IN 7844
IN 7638
IN 808
IN 9997
IN 8651
IN 4849
IN 5203
IN 5731
IN 6531
IN 8014
IN 5419
IN 6775
IN 2009
IN 180
EX
IN 7929
IN 5223
IN 4054
IN 8260
IN 6737
IN 1545
IN 7317
IN 7525
IN 4200
IN 4256
IN 1564
IN 597
IN 6648
IN 7704
IN 5550
IN 5150
IN 1976
IN 1412
IN 8554
IN 2797
IN 2504
IN 8381
IN 4748
IN 7065
IN 9378
IN 7699
IN 8209
IN 5129
IN 8553
IN 5483
IN 447
IN 4607
IN 773
IN 5322
IN 4305
IN 5176
IN 53
IN 7224
IN 4630
IN 366
IN 5400
IN 444
IN 5370
IN 285
EX
IN 3016
IN 3898
IN 8155
IN 1133
IN 5557
IN 6576
IN 3178
IN 8266
IN 7357
IN 1711
IN 7878
IN 614
IN 4819
IN 5737
IN 3133
IN 591
IN 3720
IN 8762
IN 6633
IN 6197
IN 6031
IN 8588
IN 589
IN 4873
IN 8877
IN 7304
IN 9358
IN 1200
IN 7254
IN 8960
IN 4915
IN 3947
IN 5480
IN 7730
IN 9955
IN 4546
IN 7107
IN 1238
IN 0
IN 4926
IN 5035
IN 4857
IN 1113
IN 114
IN 9593
IN 1360
IN 8354
IN 8418
IN 5357
IN 2585
IN 3729
IN 1015
IN 6563
IN 6102
IN 917
IN 6643
IN 9419
IN 2967
IN 7747
IN 5269
IN 5395
IN 3303
IN 4473
IN 9103
IN 1748
IN 4385
IN 5658
IN 3459
IN 5406
IN 3930
IN 9824
IN 5132
IN 973
IN 9603
IN 6897
IN 7920
IN 3950
IN 5231
IN 8480
IN 203
IN 3900
IN 4520
IN 2533
IN 1258
IN 7003
IN 8676
IN 950
IN 3934
IN 8780
IN 9879
IN 1832
IN 2574
IN 3549
IN 4542
IN 6249
IN 2771
IN 6310
IN 5879
IN 983
IN 9970
IN 2040
IN 2723
IN 3650
IN 2971
IN 3229
IN 318
IN 7746
IN 299
IN 7230
IN 5621
IN 776
IN 124
IN 8244
IN 6958
IN 7696
IN 6771
IN 9064
IN 1560
IN 6598
IN 8751
IN 9940
IN 4503
IN 9551
IN 2801
IN 7205
IN 5080
IN 418
IN 9274
IN 9649
IN 413
IN 3320
IN 9025
IN 2012
IN 1783
IN 4788
IN 4117
IN 4008
IN 1550
IN 5324
IN 9195
IN 1257
IN 4511
IN 5690
IN 8666
IN 2410
IN 593
IN 553
IN 9565
IN 960
IN 8742
IN 1403
IN 4352
IN 7307
IN 6141
IN 4910
IN 3200
IN 2799
IN 3127
IN 171
IN 7787
IN 4414
IN 1625
IN 6641
IN 9517
IN 5348
IN 1842
IN 4315
IN 5974
IN 1445
IN 1373
IN 2220
IN 9911
IN 9239
IN 5054
IN 1305
IN 6929
IN 2253
IN 4189
IN 5166
IN 4356
IN 9304
IN 9860
IN 5898
IN 5592
IN 1720
IN 6116
IN 1580
IN 8867
IN 9352
IN 6939
IN 8698
IN 4901
IN 811
IN 6616
IN 6891
IN 8671
IN 1728
EX
IN 6671
IN 1661
IN 7045
IN 3120
IN 240
IN 7158
IN 9453
IN 9627
IN 5350
IN 3711
IN 5563
IN 9594
IN 7533
IN 1727
IN 7827
IN 8795
IN 9531
IN 7442
IN 1516
IN 5006
IN 8515
IN 6924
IN 2601
IN 7097
IN 8661
IN 7103
IN 4324
IN 108
IN 4936
IN 2281
IN 7015
IN 3710
IN 3216
IN 1905
IN 5973
IN 7781
IN 2720
IN 791
IN 1169
IN 7865
IN 5827
IN 9536
IN 6728
IN 7125
IN 384
IN 167
IN 9949
IN 476
IN 6046
IN 1576
IN 8666
IN 7467
IN 520
IN 7384
IN 1991
IN 5210
IN 3258
IN 8211
IN 8744
IN 9518
IN 5718
IN 1934
IN 6825
IN 767
IN 8689
IN 9818
IN 3014
IN 1825
IN 2918
IN 8028
IN 3029
IN 8034
IN 6727
IN 1240
IN 3754
IN 6540
IN 8396
IN 935
IN 3083
IN 8048
IN 6865
IN 7011
IN 5252
IN 3064
IN 7876
IN 7237
IN 2675
IN 245
IN 2710
IN 415
IN 8192
IN 4710
IN 4747
IN 3037
IN 1299
IN 8447
IN 9715
IN 1693
IN 9579
IN 7129
IN 5164
IN 3979
IN 3501
IN 5525
IN 289
IN 4958
IN 4033
IN 1800
IN 5089
IN 7670
IN 5217
IN 846
IN 1038
IN 9543
IN 338
IN 5936
IN 3321
IN 7719
IN 6496
IN 1247
IN 3788
IN 8359
IN 5987
IN 5035
IN 5235
IN 3912
IN 5684
IN 5989
IN 3784
IN 3734
IN 2667
IN 519
IN 2615
IN 7045
IN 5976
IN 6661
EX
IN 5825
IN 2819
IN 1631
IN 2903
IN 2698
IN 6798
IN 2639
IN 4004
IN 9503
IN 679
IN 8765
IN 7391
IN 4107
IN 4924
IN 4365
IN 7121
IN 4454
IN 7106
IN 7450
IN 1703
IN 832
EX
IN 1032
IN 2141
IN 1654
IN 1977
IN 2217
IN 3900
IN 7289
IN 3465
IN 4747
IN 3622
IN 9879
IN 9317
IN 1516
IN 4048
IN 2762
IN 1029
IN 9039
IN 2708
IN 5903
IN 2657
IN 761
IN 5752
IN 1466
IN 8621
IN 4557
IN 6996
IN 6955
IN 6930
IN 1494
IN 5555
IN 2221
IN 9312
IN 2293
IN 1427
IN 2232
IN 7444
IN 4791
IN 2198
IN 9152
IN 4856
IN 3570
IN 4303
IN 7439
IN 2914
IN 5799
IN 6766
IN 1835
IN 1921
IN 6043
IN 2752
IN 4086
IN 9719
IN 9150
IN 8410
IN 8623
IN 4669
IN 9605
IN 9943
IN 7311
IN 2431
IN 7992
IN 9816
IN 8699
IN 6971
IN 639
IN 1370
IN 5836
IN 9891
IN 2857
IN 4833
IN 3328
IN 8177
IN 4410
IN 7683
IN 5176
IN 3489
IN 2091
IN 434
IN 4711
IN 6904
IN 1026
IN 4891
IN 790
IN 522
EX
IN 9364
IN 6890
IN 4884
IN 6813
IN 1441
IN 7127
IN 6179
IN 5784
IN 4537
IN 9870
IN 7561
IN 2581
IN 4165
IN 5802
IN 7732
IN 7332
IN 7854
IN 9759
IN 9847
IN 2377
IN 462
IN 9010
IN 3819
IN 8150
IN 3377
IN 941
IN 3836
IN 6720
IN 2299
IN 6112
IN 4759
IN 9956
IN 4390
IN 6152
IN 48
IN 5014
IN 9044
IN 4918
IN 150
IN 101
IN 1295
IN 9821
IN 5731
IN 4501
IN 8245
IN 4961
IN 6057
IN 3510
IN 3928
IN 805
IN 2173
IN 2137
IN 9669
IN 9096
IN 4503
IN 7421
IN 8675
IN 8518
IN 4300
IN 6489
IN 262
IN 2054
IN 8263
IN 8643
IN 4889
IN 5250
IN 6735
IN 9415
IN 1364
IN 2494
IN 963
IN 7758
IN 5652
IN 5092
IN 7316
IN 6714
IN 1420
IN 8060
IN 7450
IN 3368
IN 8741
IN 1847
IN 9196
IN 4787
IN 2501
IN 8234
IN 3128
IN 571
IN 7448
IN 7875
IN 7253
IN 1871
IN 9329
IN 2293
IN 3719
IN 3471
IN 8820
IN 5764
IN 1079
IN 2630
IN 4410
IN 8080
IN 6113
IN 3342
IN 8138
IN 8382
IN 6044
IN 8828
IN 8393
IN 3575
IN 980
IN 9000
IN 5596
IN 5947
IN 7370
IN 6087
IN 6543
IN 2733
IN 2852
IN 261
IN 6824
IN 4400
IN 2380
IN 778
IN 1857
IN 3423
IN 9498
IN 7014
IN 2845
IN 1662
IN 8509
IN 6610
IN 6849
IN 9218
IN 9290
IN 5055
IN 5743
IN 8555
IN 6385
IN 6534
IN 6275
IN 7321
IN 1151
IN 1226
IN 5251
IN 4459
IN 2783
IN 6714
IN 6437
IN 7879
IN 7698
IN 4100
IN 3137
IN 4285
IN 5878
IN 8284
IN 342
IN 4915
IN 5960
IN 3067
IN 5140
IN 707
IN 3566
IN 728
IN 562
IN 6363
IN 1969
IN 2890
IN 2623
IN 2278
IN 7313
IN 5761
IN 7010
IN 4840
IN 6978
IN 6000
IN 7394
IN 4507
IN 7656
IN 6551
IN 1786
IN 3431
IN 4544
EX
EX
IN 739
IN 8776
IN 7584
IN 4252
IN 4108
IN 5514
IN 1454
IN 5019
IN 3028
IN 6671
IN 2370
IN 6663
IN 7947
IN 4024
IN 4543
IN 6854
IN 6008
IN 4981
IN 552
IN 6288
IN 8163
IN 8359
IN 1019
IN 5379
IN 5356
IN 9461
IN 8487
IN 8353
IN 3899
IN 5788
IN 4244
IN 9880
IN 2466
IN 8283
IN 5274
IN 236
IN 8909
IN 8567
IN 1834
IN 7939
IN 9684
IN 9651
IN 9549
IN 9266
IN 7467
IN 110
IN 9589
IN 6327
IN 7773
IN 5581
IN 9295
IN 7936
IN 7874
IN 5435
IN 8231
IN 6972
IN 3028
IN 9798
IN 9070
IN 4587
IN 6297