set-n-levels:8
insert:TMX:290
insert:NRD:535
insert:GWT:548
insert:TLL:5924
insert:ENF:6823
insert:KEV:6124
insert:HEM:6025
insert:HEL:6024
insert:BSK:345
insert:ELG:302
insert:HTN:3779
insert:URC:4387
insert:HRB:45126
insert:DLC:38121
insert:NYI:72
get-min-key
list-heap
insert:TKD:41
insert:ABJ:53
insert:BYK:74
insert:DJO:66
insert:HGO:95
insert:MJC:77
insert:JYV:6225
insert:KAU:6323
insert:KEM:6524
insert:KAJ:6427
insert:LDY:557
insert:BHX:520
insert:CVT:521
insert:BNI:65
insert:CBQ:48
get-min-key
list-heap
insert:ENU:67
insert:QUS:126
insert:DJE:3310
insert:EBM:319
insert:SFA:3410
insert:TOE:338
insert:LRL:91
insert:LFW:61
insert:HHN:497
insert:MHG:498
insert:XFW:539
insert:KEL:5410
insert:LBC:5310
insert:EME:537
insert:WVN:538
get-min-key
list-heap
insert:BMK:536
insert:ENA:60151
insert:FAI:64146
insert:FBK:64147
insert:GAL:64156
insert:GKN:62145
insert:SGY:59135
insert:HOM:59151
insert:ILI:59154
insert:UTO:65153
insert:NGB:29121
insert:NKG:31118
insert:HFE:31117
insert:TAO:36120
insert:SHA:31121
insert:YNT:37121
insert:CKG:29106
insert:CTU:30103
insert:HME:316
insert:INZ:272
insert:YEV:68133
insert:YFB:6368
insert:YFC:4566
insert:IVL:6827
insert:JOE:6229
insert:GKA:6145
insert:MAG:5145
insert:HGU:5144
insert:LAE:6146
insert:POM:9147
insert:WWK:3143
insert:VEY:6320
insert:YAM:4684
insert:YAV:5097
insert:YAW:4462
insert:YAY:5156
insert:YAZ:49125
insert:YBB:6889
insert:YDQ:55120
insert:GHA:322
insert:PKO:92
insert:OUA:121
insert:BOY:114
insert:ACC:50
get-min-key
list-heap
insert:TML:90
insert:GLO:512
insert:OGX:315
insert:IAM:289
insert:COO:62
insert:TLM:354
insert:ORN:350
insert:MUW:352
insert:AZR:270
insert:TGR:336
insert:LOO:332
insert:XIC:27102
insert:KHG:3976
insert:QAS:361
insert:TAF:353
insert:YFO:54101
insert:YHM:4379
insert:YHU:4572
insert:YHY:60115
insert:YHZ:4463
insert:YIB:4891
insert:YIO:7277
insert:YJN:4573
insert:YND:4574
insert:YNM:4977
insert:YOC:67139
insert:YOD:54110
insert:YOJ:58117
insert:YOW:4575
insert:YRM:52114
insert:YRT:6292
insert:YSB:4680
insert:YSC:4571
insert:YSJ:4565
insert:YWA:4577
insert:YED:53112
insert:YEG:53113
insert:YEK:6194
insert:YEN:49102
insert:YET:53116
insert:YEU:7985
insert:YWG:4997
insert:YWK:5266
insert:YWL:52122
insert:YWY:63123
insert:YXC:49115
insert:YYU:4982
insert:SPY:46
insert:ASK:64
insert:ABV:97
insert:AKR:75
insert:YYW:5088
insert:YYY:4868
insert:YYZ:4378
insert:YZD:4377
insert:CZL:366
insert:TEE:358
insert:HRM:323
insert:TID:355
insert:TIN:27
insert:LXA:7
get-min-key
list-heap
get-max-level:TMX
get-max-level:NRD
get-max-level:GWT
get-max-level:TLL
get-max-level:ENF
get-max-level:KEV
get-max-level:HEM
get-max-level:HEL
get-max-level:BSK
get-max-level:ELG
get-max-level:HTN
get-max-level:URC
get-max-level:HRB
get-max-level:DLC
get-max-level:NYI
get-max-level:TKD
get-max-level:ABJ
get-max-level:BYK
get-max-level:DJO
get-max-level:HGO
get-max-level:MJC
get-max-level:JYV
get-max-level:KAU
get-max-level:KEM
get-max-level:KAJ
get-max-level:LDY
get-max-level:BHX
get-max-level:CVT
get-max-level:BNI
get-max-level:CBQ
get-max-level:ENU
get-max-level:QUS
get-max-level:DJE
get-max-level:EBM
get-max-level:SFA
get-max-level:TOE
get-max-level:LRL
get-max-level:LFW
get-max-level:HHN
get-max-level:MHG
get-max-level:XFW
get-max-level:KEL
get-max-level:LBC
get-max-level:EME
get-max-level:WVN
get-max-level:BMK
get-max-level:ENA
get-max-level:FAI
get-max-level:FBK
get-max-level:GAL
get-max-level:GKN
get-max-level:SGY
get-max-level:HOM
get-max-level:ILI
get-max-level:UTO
get-max-level:NGB
get-max-level:NKG
get-max-level:HFE
get-max-level:TAO
get-max-level:SHA
get-max-level:YNT
get-max-level:CKG
get-max-level:LXA
get-max-level:CTU
get-max-level:HME
get-max-level:INZ
get-max-level:YEV
get-max-level:YFB
get-max-level:YFC
get-max-level:IVL
get-max-level:JOE
get-max-level:GKA
get-max-level:MAG
get-max-level:HGU
get-max-level:LAE
get-max-level:POM
get-max-level:WWK
get-max-level:VEY
get-max-level:YAM
get-max-level:YAV
get-max-level:YAW
get-max-level:YAY
get-max-level:YAZ
get-max-level:YBB
get-max-level:YDQ
get-max-level:GHA
get-max-level:PKO
get-max-level:OUA
get-max-level:BOY
get-max-level:ACC
get-max-level:TML
get-max-level:GLO
get-max-level:OGX
get-max-level:IAM
get-max-level:COO
get-max-level:TLM
get-max-level:ORN
get-max-level:MUW
get-max-level:AZR
get-max-level:TGR
get-max-level:LOO
get-max-level:XIC
get-max-level:KHG
get-max-level:QAS
get-max-level:TAF
get-max-level:YFO
get-max-level:YHM
get-max-level:YHU
get-max-level:YHY
get-max-level:YHZ
get-max-level:YIB
get-max-level:YIO
get-max-level:YJN
get-max-level:YND
get-max-level:YNM
get-max-level:YOC
get-max-level:YOD
get-max-level:YOJ
get-max-level:YOW
get-max-level:YRM
get-max-level:YRT
get-max-level:YSB
get-max-level:YSC
get-max-level:YSJ
get-max-level:YWA
get-max-level:YED
get-max-level:YEG
get-max-level:YEK
get-max-level:YEN
get-max-level:YET
get-max-level:YEU
get-max-level:YWG
get-max-level:YWK
get-max-level:YWL
get-max-level:YWY
get-max-level:YXC
get-max-level:YYU
get-max-level:SPY
get-max-level:ASK
get-max-level:ABV
get-max-level:AKR
get-max-level:YYW
get-max-level:YYY
get-max-level:YYZ
get-max-level:YZD
get-max-level:CZL
get-max-level:TEE
get-max-level:HRM
get-max-level:TID
get-max-level:TIN
