alert: test04b - Testing on a larger data set
insert(290, TMX) into [H1]: successful
insert(535, NRD) into [H1]: successful
insert(548, GWT) into [H1]: successful
insert(5924, TLL) into [H1]: successful
insert(6823, ENF) into [H1]: successful
insert(6124, KEV) into [H1]: successful
insert(6025, HEM) into [H1]: successful
insert(6024, HEL) into [H1]: successful
insert(345, BSK) into [H1]: successful
insert(302, ELG) into [H1]: successful
insert(3779, HTN) into [H1]: successful
insert(4387, URC) into [H1]: successful
insert(45126, HRB) into [H1]: successful
insert(38121, DLC) into [H1]: successful
insert(172, NYI) into [H1]: successful
list[H1]:
  (45126, HRB) [15]
  (38121, DLC) [2]
  []
  (172, NYI) [1]
  []
  []
  (6823, ENF) [12]
  (6124, KEV) [5]
  (6025, HEM) [2]
  []
  (302, ELG) [1]
  []
  []
  (6024, HEL) [2]
  []
  (345, BSK) [1]
  []
  []
  (5924, TLL) [6]
  (4387, URC) [2]
  []
  (3779, HTN) [1]
  []
  []
  (548, GWT) [3]
  []
  (535, NRD) [2]
  []
  (290, TMX) [1]
  []
  []
Formatted structure:
  | (38121, DLC) [2]
  | | (172, NYI) [1]
  (45126, HRB) [15]
  | | | (6025, HEM) [2]
  | | | | (302, ELG) [1]
  | | (6124, KEV) [5]
  | | | (6024, HEL) [2]
  | | | | (345, BSK) [1]
  | (6823, ENF) [12]
  | | | (4387, URC) [2]
  | | | | (3779, HTN) [1]
  | | (5924, TLL) [6]
  | | | (548, GWT) [3]
  | | | | (535, NRD) [2]
  | | | | | (290, TMX) [1]
size[H1]: 15
peek-key[H1]: 45126
peek-value[H1]: HRB
comment: This merges a heap with itself, which should have no effect
merge[H1] with [H1]: successful
list[H1]:
  (45126, HRB) [15]
  (38121, DLC) [2]
  []
  (172, NYI) [1]
  []
  []
  (6823, ENF) [12]
  (6124, KEV) [5]
  (6025, HEM) [2]
  []
  (302, ELG) [1]
  []
  []
  (6024, HEL) [2]
  []
  (345, BSK) [1]
  []
  []
  (5924, TLL) [6]
  (4387, URC) [2]
  []
  (3779, HTN) [1]
  []
  []
  (548, GWT) [3]
  []
  (535, NRD) [2]
  []
  (290, TMX) [1]
  []
  []
Formatted structure:
  | (38121, DLC) [2]
  | | (172, NYI) [1]
  (45126, HRB) [15]
  | | | (6025, HEM) [2]
  | | | | (302, ELG) [1]
  | | (6124, KEV) [5]
  | | | (6024, HEL) [2]
  | | | | (345, BSK) [1]
  | (6823, ENF) [12]
  | | | (4387, URC) [2]
  | | | | (3779, HTN) [1]
  | | (5924, TLL) [6]
  | | | (548, GWT) [3]
  | | | | (535, NRD) [2]
  | | | | | (290, TMX) [1]
insert(41, TKD) into [H2]: successful
insert(53, ABJ) into [H2]: successful
insert(74, BYK) into [H2]: successful
insert(66, DJO) into [H2]: successful
insert(95, HGO) into [H2]: successful
insert(77, MJC) into [H2]: successful
insert(6225, JYV) into [H2]: successful
insert(6323, KAU) into [H2]: successful
insert(6524, KEM) into [H2]: successful
insert(6427, KAJ) into [H2]: successful
insert(557, LDY) into [H2]: successful
insert(520, BHX) into [H2]: successful
insert(521, CVT) into [H2]: successful
insert(65, BNI) into [H2]: successful
insert(48, CBQ) into [H2]: successful
list[H2]:
  (6524, KEM) [15]
  (6427, KAJ) [6]
  (521, CVT) [2]
  []
  (520, BHX) [1]
  []
  []
  (557, LDY) [3]
  (48, CBQ) [1]
  []
  []
  (65, BNI) [1]
  []
  []
  (6323, KAU) [8]
  []
  (6225, JYV) [7]
  []
  (95, HGO) [6]
  (77, MJC) [1]
  []
  []
  (74, BYK) [4]
  (66, DJO) [1]
  []
  []
  (53, ABJ) [2]
  []
  (41, TKD) [1]
  []
  []
Formatted structure:
  | | (521, CVT) [2]
  | | | (520, BHX) [1]
  | (6427, KAJ) [6]
  | | | (48, CBQ) [1]
  | | (557, LDY) [3]
  | | | (65, BNI) [1]
  (6524, KEM) [15]
  | (6323, KAU) [8]
  | | (6225, JYV) [7]
  | | | | (77, MJC) [1]
  | | | (95, HGO) [6]
  | | | | | (66, DJO) [1]
  | | | | (74, BYK) [4]
  | | | | | (53, ABJ) [2]
  | | | | | | (41, TKD) [1]
size[H2]: 15
peek-key[H2]: 6524
peek-value[H2]: KEM
merge[H1] with [H2]: successful
list[H1]:
  (45126, HRB) [30]
  (6823, ENF) [12]
  (6124, KEV) [5]
  (6025, HEM) [2]
  []
  (302, ELG) [1]
  []
  []
  (6024, HEL) [2]
  []
  (345, BSK) [1]
  []
  []
  (5924, TLL) [6]
  (4387, URC) [2]
  []
  (3779, HTN) [1]
  []
  []
  (548, GWT) [3]
  []
  (535, NRD) [2]
  []
  (290, TMX) [1]
  []
  []
  (38121, DLC) [17]
  (172, NYI) [1]
  []
  []
  (6524, KEM) [15]
  (6427, KAJ) [6]
  (521, CVT) [2]
  []
  (520, BHX) [1]
  []
  []
  (557, LDY) [3]
  (48, CBQ) [1]
  []
  []
  (65, BNI) [1]
  []
  []
  (6323, KAU) [8]
  []
  (6225, JYV) [7]
  []
  (95, HGO) [6]
  (77, MJC) [1]
  []
  []
  (74, BYK) [4]
  (66, DJO) [1]
  []
  []
  (53, ABJ) [2]
  []
  (41, TKD) [1]
  []
  []
Formatted structure:
  | | | (6025, HEM) [2]
  | | | | (302, ELG) [1]
  | | (6124, KEV) [5]
  | | | (6024, HEL) [2]
  | | | | (345, BSK) [1]
  | (6823, ENF) [12]
  | | | (4387, URC) [2]
  | | | | (3779, HTN) [1]
  | | (5924, TLL) [6]
  | | | (548, GWT) [3]
  | | | | (535, NRD) [2]
  | | | | | (290, TMX) [1]
  (45126, HRB) [30]
  | | (172, NYI) [1]
  | (38121, DLC) [17]
  | | | | (521, CVT) [2]
  | | | | | (520, BHX) [1]
  | | | (6427, KAJ) [6]
  | | | | | (48, CBQ) [1]
  | | | | (557, LDY) [3]
  | | | | | (65, BNI) [1]
  | | (6524, KEM) [15]
  | | | (6323, KAU) [8]
  | | | | (6225, JYV) [7]
  | | | | | | (77, MJC) [1]
  | | | | | (95, HGO) [6]
  | | | | | | | (66, DJO) [1]
  | | | | | | (74, BYK) [4]
  | | | | | | | (53, ABJ) [2]
  | | | | | | | | (41, TKD) [1]
size[H1]: 30
peek-key[H1]: 45126
peek-value[H1]: HRB
list[H2]:
  []
Formatted structure:
size[H2]: 0
peek-key[H2]: null
peek-value[H2]: null
comment: Merges (non-empty) H1 with H1 (should do nothing)
merge[H1] with [H1]: successful
list[H1]:
  (45126, HRB) [30]
  (6823, ENF) [12]
  (6124, KEV) [5]
  (6025, HEM) [2]
  []
  (302, ELG) [1]
  []
  []
  (6024, HEL) [2]
  []
  (345, BSK) [1]
  []
  []
  (5924, TLL) [6]
  (4387, URC) [2]
  []
  (3779, HTN) [1]
  []
  []
  (548, GWT) [3]
  []
  (535, NRD) [2]
  []
  (290, TMX) [1]
  []
  []
  (38121, DLC) [17]
  (172, NYI) [1]
  []
  []
  (6524, KEM) [15]
  (6427, KAJ) [6]
  (521, CVT) [2]
  []
  (520, BHX) [1]
  []
  []
  (557, LDY) [3]
  (48, CBQ) [1]
  []
  []
  (65, BNI) [1]
  []
  []
  (6323, KAU) [8]
  []
  (6225, JYV) [7]
  []
  (95, HGO) [6]
  (77, MJC) [1]
  []
  []
  (74, BYK) [4]
  (66, DJO) [1]
  []
  []
  (53, ABJ) [2]
  []
  (41, TKD) [1]
  []
  []
Formatted structure:
  | | | (6025, HEM) [2]
  | | | | (302, ELG) [1]
  | | (6124, KEV) [5]
  | | | (6024, HEL) [2]
  | | | | (345, BSK) [1]
  | (6823, ENF) [12]
  | | | (4387, URC) [2]
  | | | | (3779, HTN) [1]
  | | (5924, TLL) [6]
  | | | (548, GWT) [3]
  | | | | (535, NRD) [2]
  | | | | | (290, TMX) [1]
  (45126, HRB) [30]
  | | (172, NYI) [1]
  | (38121, DLC) [17]
  | | | | (521, CVT) [2]
  | | | | | (520, BHX) [1]
  | | | (6427, KAJ) [6]
  | | | | | (48, CBQ) [1]
  | | | | (557, LDY) [3]
  | | | | | (65, BNI) [1]
  | | (6524, KEM) [15]
  | | | (6323, KAU) [8]
  | | | | (6225, JYV) [7]
  | | | | | | (77, MJC) [1]
  | | | | | (95, HGO) [6]
  | | | | | | | (66, DJO) [1]
  | | | | | | (74, BYK) [4]
  | | | | | | | (53, ABJ) [2]
  | | | | | | | | (41, TKD) [1]
comment: Merges (empty) H2 with H2 (should do nothing)
merge[H2] with [H2]: successful
list[H2]:
  []
Formatted structure:
comment: Merges empty H2 with H1 (H2 should get everything)
merge[H2] with [H1]: successful
list[H1]:
  []
Formatted structure:
list[H2]:
  (45126, HRB) [30]
  (6823, ENF) [12]
  (6124, KEV) [5]
  (6025, HEM) [2]
  []
  (302, ELG) [1]
  []
  []
  (6024, HEL) [2]
  []
  (345, BSK) [1]
  []
  []
  (5924, TLL) [6]
  (4387, URC) [2]
  []
  (3779, HTN) [1]
  []
  []
  (548, GWT) [3]
  []
  (535, NRD) [2]
  []
  (290, TMX) [1]
  []
  []
  (38121, DLC) [17]
  (172, NYI) [1]
  []
  []
  (6524, KEM) [15]
  (6427, KAJ) [6]
  (521, CVT) [2]
  []
  (520, BHX) [1]
  []
  []
  (557, LDY) [3]
  (48, CBQ) [1]
  []
  []
  (65, BNI) [1]
  []
  []
  (6323, KAU) [8]
  []
  (6225, JYV) [7]
  []
  (95, HGO) [6]
  (77, MJC) [1]
  []
  []
  (74, BYK) [4]
  (66, DJO) [1]
  []
  []
  (53, ABJ) [2]
  []
  (41, TKD) [1]
  []
  []
Formatted structure:
  | | | (6025, HEM) [2]
  | | | | (302, ELG) [1]
  | | (6124, KEV) [5]
  | | | (6024, HEL) [2]
  | | | | (345, BSK) [1]
  | (6823, ENF) [12]
  | | | (4387, URC) [2]
  | | | | (3779, HTN) [1]
  | | (5924, TLL) [6]
  | | | (548, GWT) [3]
  | | | | (535, NRD) [2]
  | | | | | (290, TMX) [1]
  (45126, HRB) [30]
  | | (172, NYI) [1]
  | (38121, DLC) [17]
  | | | | (521, CVT) [2]
  | | | | | (520, BHX) [1]
  | | | (6427, KAJ) [6]
  | | | | | (48, CBQ) [1]
  | | | | (557, LDY) [3]
  | | | | | (65, BNI) [1]
  | | (6524, KEM) [15]
  | | | (6323, KAU) [8]
  | | | | (6225, JYV) [7]
  | | | | | | (77, MJC) [1]
  | | | | | (95, HGO) [6]
  | | | | | | | (66, DJO) [1]
  | | | | | | (74, BYK) [4]
  | | | | | | | (53, ABJ) [2]
  | | | | | | | | (41, TKD) [1]
comment: Merges H2 with empty H1 (H2 should keep everything)
merge[H2] with [H1]: successful
list[H1]:
  []
Formatted structure:
size[H1]: 0
peek-key[H1]: null
peek-value[H1]: null
list[H2]:
  (45126, HRB) [30]
  (6823, ENF) [12]
  (6124, KEV) [5]
  (6025, HEM) [2]
  []
  (302, ELG) [1]
  []
  []
  (6024, HEL) [2]
  []
  (345, BSK) [1]
  []
  []
  (5924, TLL) [6]
  (4387, URC) [2]
  []
  (3779, HTN) [1]
  []
  []
  (548, GWT) [3]
  []
  (535, NRD) [2]
  []
  (290, TMX) [1]
  []
  []
  (38121, DLC) [17]
  (172, NYI) [1]
  []
  []
  (6524, KEM) [15]
  (6427, KAJ) [6]
  (521, CVT) [2]
  []
  (520, BHX) [1]
  []
  []
  (557, LDY) [3]
  (48, CBQ) [1]
  []
  []
  (65, BNI) [1]
  []
  []
  (6323, KAU) [8]
  []
  (6225, JYV) [7]
  []
  (95, HGO) [6]
  (77, MJC) [1]
  []
  []
  (74, BYK) [4]
  (66, DJO) [1]
  []
  []
  (53, ABJ) [2]
  []
  (41, TKD) [1]
  []
  []
Formatted structure:
  | | | (6025, HEM) [2]
  | | | | (302, ELG) [1]
  | | (6124, KEV) [5]
  | | | (6024, HEL) [2]
  | | | | (345, BSK) [1]
  | (6823, ENF) [12]
  | | | (4387, URC) [2]
  | | | | (3779, HTN) [1]
  | | (5924, TLL) [6]
  | | | (548, GWT) [3]
  | | | | (535, NRD) [2]
  | | | | | (290, TMX) [1]
  (45126, HRB) [30]
  | | (172, NYI) [1]
  | (38121, DLC) [17]
  | | | | (521, CVT) [2]
  | | | | | (520, BHX) [1]
  | | | (6427, KAJ) [6]
  | | | | | (48, CBQ) [1]
  | | | | (557, LDY) [3]
  | | | | | (65, BNI) [1]
  | | (6524, KEM) [15]
  | | | (6323, KAU) [8]
  | | | | (6225, JYV) [7]
  | | | | | | (77, MJC) [1]
  | | | | | (95, HGO) [6]
  | | | | | | | (66, DJO) [1]
  | | | | | | (74, BYK) [4]
  | | | | | | | (53, ABJ) [2]
  | | | | | | | | (41, TKD) [1]
size[H2]: 30
peek-key[H2]: 45126
peek-value[H2]: HRB
insert(67, ENU) into [H3]: successful
insert(126, QUS) into [H3]: successful
insert(3310, DJE) into [H3]: successful
insert(319, EBM) into [H3]: successful
insert(3410, SFA) into [H3]: successful
insert(338, TOE) into [H3]: successful
insert(91, LRL) into [H3]: successful
insert(61, LFW) into [H3]: successful
insert(497, HHN) into [H3]: successful
insert(498, MHG) into [H3]: successful
insert(539, XFW) into [H3]: successful
insert(5410, KEL) into [H3]: successful
insert(5310, LBC) into [H3]: successful
insert(537, EME) into [H3]: successful
insert(538, WVN) into [H3]: successful
list[H3]:
  (5410, KEL) [15]
  (5310, LBC) [3]
  (538, WVN) [1]
  []
  []
  (537, EME) [1]
  []
  []
  (3410, SFA) [11]
  (3310, DJE) [5]
  (539, XFW) [2]
  []
  (319, EBM) [1]
  []
  []
  (126, QUS) [2]
  []
  (67, ENU) [1]
  []
  []
  (498, MHG) [5]
  []
  (497, HHN) [4]
  []
  (338, TOE) [3]
  (61, LFW) [1]
  []
  []
  (91, LRL) [1]
  []
  []
Formatted structure:
  | | (538, WVN) [1]
  | (5310, LBC) [3]
  | | (537, EME) [1]
  (5410, KEL) [15]
  | | | (539, XFW) [2]
  | | | | (319, EBM) [1]
  | | (3310, DJE) [5]
  | | | (126, QUS) [2]
  | | | | (67, ENU) [1]
  | (3410, SFA) [11]
  | | (498, MHG) [5]
  | | | (497, HHN) [4]
  | | | | | (61, LFW) [1]
  | | | | (338, TOE) [3]
  | | | | | (91, LRL) [1]
size[H3]: 15
peek-key[H3]: 5410
peek-value[H3]: KEL
insert(536, BMK) into [H4]: successful
insert(60151, ENA) into [H4]: successful
insert(64146, FAI) into [H4]: successful
insert(64147, FBK) into [H4]: successful
insert(64156, GAL) into [H4]: successful
insert(62145, GKN) into [H4]: successful
insert(59135, SGY) into [H4]: successful
insert(59151, HOM) into [H4]: successful
insert(59154, ILI) into [H4]: successful
insert(65153, UTO) into [H4]: successful
insert(29121, NGB) into [H4]: successful
insert(31118, NKG) into [H4]: successful
insert(31117, HFE) into [H4]: successful
insert(36120, TAO) into [H4]: successful
insert(31121, SHA) into [H4]: successful
insert(37121, YNT) into [H4]: successful
insert(29106, CKG) into [H4]: successful
insert(30103, CTU) into [H4]: successful
insert(316, HME) into [H4]: successful
insert(272, INZ) into [H4]: successful
insert(68133, YEV) into [H4]: successful
insert(6368, YFB) into [H4]: successful
insert(4566, YFC) into [H4]: successful
insert(6827, IVL) into [H4]: successful
insert(6229, JOE) into [H4]: successful
insert(6145, GKA) into [H4]: successful
insert(5145, MAG) into [H4]: successful
insert(5144, HGU) into [H4]: successful
insert(6146, LAE) into [H4]: successful
insert(9147, POM) into [H4]: successful
insert(3143, WWK) into [H4]: successful
insert(6320, VEY) into [H4]: successful
insert(4684, YAM) into [H4]: successful
insert(5097, YAV) into [H4]: successful
insert(4462, YAW) into [H4]: successful
insert(5156, YAY) into [H4]: successful
insert(49125, YAZ) into [H4]: successful
insert(6889, YBB) into [H4]: successful
insert(55120, YDQ) into [H4]: successful
insert(322, GHA) into [H4]: successful
insert(92, PKO) into [H4]: successful
insert(121, OUA) into [H4]: successful
insert(114, BOY) into [H4]: successful
insert(50, ACC) into [H4]: successful
list[H4]:
  (68133, YEV) [44]
  (55120, YDQ) [21]
  (322, GHA) [3]
  (121, OUA) [1]
  []
  []
  (92, PKO) [1]
  []
  []
  (49125, YAZ) [17]
  (6889, YBB) [1]
  []
  []
  (9147, POM) [15]
  (6320, VEY) [6]
  (5097, YAV) [2]
  []
  (4684, YAM) [1]
  []
  []
  (5156, YAY) [3]
  []
  (4462, YAW) [2]
  []
  (3143, WWK) [1]
  []
  []
  (6827, IVL) [8]
  (6229, JOE) [3]
  (5145, MAG) [1]
  []
  []
  (6145, GKA) [1]
  []
  []
  (6368, YFB) [4]
  (4566, YFC) [1]
  []
  []
  (6146, LAE) [2]
  []
  (5144, HGU) [1]
  []
  []
  (65153, UTO) [22]
  (37121, YNT) [10]
  (30103, CTU) [4]
  (29106, CKG) [1]
  []
  []
  (316, HME) [2]
  []
  (272, INZ) [1]
  []
  []
  (36120, TAO) [5]
  (31121, SHA) [1]
  []
  []
  (31118, NKG) [3]
  (31117, HFE) [1]
  []
  []
  (29121, NGB) [1]
  []
  []
  (64156, GAL) [11]
  (64147, FBK) [5]
  (50, ACC) [1]
  []
  []
  (64146, FAI) [3]
  []
  (60151, ENA) [2]
  []
  (536, BMK) [1]
  []
  []
  (62145, GKN) [5]
  (59135, SGY) [2]
  []
  (114, BOY) [1]
  []
  []
  (59154, ILI) [2]
  []
  (59151, HOM) [1]
  []
  []
Formatted structure:
  | | | (121, OUA) [1]
  | | (322, GHA) [3]
  | | | (92, PKO) [1]
  | (55120, YDQ) [21]
  | | | (6889, YBB) [1]
  | | (49125, YAZ) [17]
  | | | | | (5097, YAV) [2]
  | | | | | | (4684, YAM) [1]
  | | | | (6320, VEY) [6]
  | | | | | (5156, YAY) [3]
  | | | | | | (4462, YAW) [2]
  | | | | | | | (3143, WWK) [1]
  | | | (9147, POM) [15]
  | | | | | | (5145, MAG) [1]
  | | | | | (6229, JOE) [3]
  | | | | | | (6145, GKA) [1]
  | | | | (6827, IVL) [8]
  | | | | | | (4566, YFC) [1]
  | | | | | (6368, YFB) [4]
  | | | | | | (6146, LAE) [2]
  | | | | | | | (5144, HGU) [1]
  (68133, YEV) [44]
  | | | | (29106, CKG) [1]
  | | | (30103, CTU) [4]
  | | | | (316, HME) [2]
  | | | | | (272, INZ) [1]
  | | (37121, YNT) [10]
  | | | | (31121, SHA) [1]
  | | | (36120, TAO) [5]
  | | | | | (31117, HFE) [1]
  | | | | (31118, NKG) [3]
  | | | | | (29121, NGB) [1]
  | (65153, UTO) [22]
  | | | | (50, ACC) [1]
  | | | (64147, FBK) [5]
  | | | | (64146, FAI) [3]
  | | | | | (60151, ENA) [2]
  | | | | | | (536, BMK) [1]
  | | (64156, GAL) [11]
  | | | | (59135, SGY) [2]
  | | | | | (114, BOY) [1]
  | | | (62145, GKN) [5]
  | | | | (59154, ILI) [2]
  | | | | | (59151, HOM) [1]
size[H4]: 44
peek-key[H4]: 68133
peek-value[H4]: YEV
insert(90, TML) into [H5]: successful
insert(512, GLO) into [H5]: successful
insert(315, OGX) into [H5]: successful
insert(289, IAM) into [H5]: successful
insert(62, COO) into [H5]: successful
insert(354, TLM) into [H5]: successful
insert(350, ORN) into [H5]: successful
insert(352, MUW) into [H5]: successful
insert(270, AZR) into [H5]: successful
insert(336, TGR) into [H5]: successful
insert(332, LOO) into [H5]: successful
insert(27102, XIC) into [H5]: successful
insert(3976, KHG) into [H5]: successful
insert(361, QAS) into [H5]: successful
insert(353, TAF) into [H5]: successful
insert(54101, YFO) into [H5]: successful
insert(4379, YHM) into [H5]: successful
insert(4572, YHU) into [H5]: successful
insert(60115, YHY) into [H5]: successful
insert(4463, YHZ) into [H5]: successful
insert(4891, YIB) into [H5]: successful
insert(7277, YIO) into [H5]: successful
insert(4573, YJN) into [H5]: successful
insert(4574, YND) into [H5]: successful
insert(4977, YNM) into [H5]: successful
insert(67139, YOC) into [H5]: successful
insert(54110, YOD) into [H5]: successful
insert(58117, YOJ) into [H5]: successful
insert(4575, YOW) into [H5]: successful
insert(52114, YRM) into [H5]: successful
insert(6292, YRT) into [H5]: successful
insert(4680, YSB) into [H5]: successful
insert(4571, YSC) into [H5]: successful
insert(4565, YSJ) into [H5]: successful
insert(4577, YWA) into [H5]: successful
insert(53112, YED) into [H5]: successful
insert(53113, YEG) into [H5]: successful
insert(6194, YEK) into [H5]: successful
insert(49102, YEN) into [H5]: successful
insert(53116, YET) into [H5]: successful
insert(7985, YEU) into [H5]: successful
insert(4997, YWG) into [H5]: successful
insert(5266, YWK) into [H5]: successful
insert(52122, YWL) into [H5]: successful
insert(63123, YWY) into [H5]: successful
insert(49115, YXC) into [H5]: successful
insert(4982, YYU) into [H5]: successful
insert(46, SPY) into [H5]: successful
insert(64, ASK) into [H5]: successful
insert(97, ABV) into [H5]: successful
insert(75, AKR) into [H5]: successful
insert(5088, YYW) into [H5]: successful
insert(4868, YYY) into [H5]: successful
insert(4378, YYZ) into [H5]: successful
insert(4377, YZD) into [H5]: successful
insert(366, CZL) into [H5]: successful
insert(358, TEE) into [H5]: successful
insert(323, HRM) into [H5]: successful
insert(355, TID) into [H5]: successful
insert(27, TIN) into [H5]: successful
insert(7, LXA) into [H5]: successful
list[H5]:
  (67139, YOC) [61]
  (60115, YHY) [30]
  (7277, YIO) [11]
  (4891, YIB) [5]
  (4463, YHZ) [2]
  []
  (7, LXA) [1]
  []
  []
  (4868, YYY) [2]
  []
  (4378, YYZ) [1]
  []
  []
  (4977, YNM) [5]
  (358, TEE) [2]
  []
  (323, HRM) [1]
  []
  []
  (4574, YND) [2]
  []
  (4573, YJN) [1]
  []
  []
  (54101, YFO) [18]
  (4572, YHU) [2]
  []
  (4379, YHM) [1]
  []
  []
  (27102, XIC) [15]
  (3976, KHG) [3]
  (353, TAF) [1]
  []
  []
  (361, QAS) [1]
  []
  []
  (512, GLO) [11]
  (352, MUW) [5]
  (332, LOO) [1]
  []
  []
  (350, ORN) [3]
  []
  (315, OGX) [2]
  []
  (289, IAM) [1]
  []
  []
  (354, TLM) [5]
  (336, TGR) [2]
  []
  (270, AZR) [1]
  []
  []
  (90, TML) [2]
  []
  (62, COO) [1]
  []
  []
  (63123, YWY) [30]
  (49115, YXC) [11]
  (5088, YYW) [5]
  (4377, YZD) [2]
  []
  (27, TIN) [1]
  []
  []
  (64, ASK) [2]
  []
  (46, SPY) [1]
  []
  []
  (4982, YYU) [5]
  (355, TID) [2]
  []
  (97, ABV) [1]
  []
  []
  (366, CZL) [2]
  []
  (75, AKR) [1]
  []
  []
  (58117, YOJ) [18]
  (53113, YEG) [8]
  (7985, YEU) [3]
  (4997, YWG) [1]
  []
  []
  (6194, YEK) [1]
  []
  []
  (52114, YRM) [4]
  (4575, YOW) [1]
  []
  []
  (4571, YSC) [2]
  []
  (4565, YSJ) [1]
  []
  []
  (54110, YOD) [9]
  (53112, YED) [4]
  (6292, YRT) [1]
  []
  []
  (52122, YWL) [2]
  []
  (49102, YEN) [1]
  []
  []
  (53116, YET) [4]
  (5266, YWK) [1]
  []
  []
  (4680, YSB) [2]
  []
  (4577, YWA) [1]
  []
  []
Formatted structure:
  | | | | (4463, YHZ) [2]
  | | | | | (7, LXA) [1]
  | | | (4891, YIB) [5]
  | | | | (4868, YYY) [2]
  | | | | | (4378, YYZ) [1]
  | | (7277, YIO) [11]
  | | | | (358, TEE) [2]
  | | | | | (323, HRM) [1]
  | | | (4977, YNM) [5]
  | | | | (4574, YND) [2]
  | | | | | (4573, YJN) [1]
  | (60115, YHY) [30]
  | | | (4572, YHU) [2]
  | | | | (4379, YHM) [1]
  | | (54101, YFO) [18]
  | | | | | (353, TAF) [1]
  | | | | (3976, KHG) [3]
  | | | | | (361, QAS) [1]
  | | | (27102, XIC) [15]
  | | | | | | (332, LOO) [1]
  | | | | | (352, MUW) [5]
  | | | | | | (350, ORN) [3]
  | | | | | | | (315, OGX) [2]
  | | | | | | | | (289, IAM) [1]
  | | | | (512, GLO) [11]
  | | | | | | (336, TGR) [2]
  | | | | | | | (270, AZR) [1]
  | | | | | (354, TLM) [5]
  | | | | | | (90, TML) [2]
  | | | | | | | (62, COO) [1]
  (67139, YOC) [61]
  | | | | (4377, YZD) [2]
  | | | | | (27, TIN) [1]
  | | | (5088, YYW) [5]
  | | | | (64, ASK) [2]
  | | | | | (46, SPY) [1]
  | | (49115, YXC) [11]
  | | | | (355, TID) [2]
  | | | | | (97, ABV) [1]
  | | | (4982, YYU) [5]
  | | | | (366, CZL) [2]
  | | | | | (75, AKR) [1]
  | (63123, YWY) [30]
  | | | | | (4997, YWG) [1]
  | | | | (7985, YEU) [3]
  | | | | | (6194, YEK) [1]
  | | | (53113, YEG) [8]
  | | | | | (4575, YOW) [1]
  | | | | (52114, YRM) [4]
  | | | | | (4571, YSC) [2]
  | | | | | | (4565, YSJ) [1]
  | | (58117, YOJ) [18]
  | | | | | (6292, YRT) [1]
  | | | | (53112, YED) [4]
  | | | | | (52122, YWL) [2]
  | | | | | | (49102, YEN) [1]
  | | | (54110, YOD) [9]
  | | | | | (5266, YWK) [1]
  | | | | (53116, YET) [4]
  | | | | | (4680, YSB) [2]
  | | | | | | (4577, YWA) [1]
size[H5]: 61
peek-key[H5]: 67139
peek-value[H5]: YOC
merge[H3] with [H4]: successful
list[H3]:
  (68133, YEV) [59]
  (65153, UTO) [22]
  (37121, YNT) [10]
  (30103, CTU) [4]
  (29106, CKG) [1]
  []
  []
  (316, HME) [2]
  []
  (272, INZ) [1]
  []
  []
  (36120, TAO) [5]
  (31121, SHA) [1]
  []
  []
  (31118, NKG) [3]
  (31117, HFE) [1]
  []
  []
  (29121, NGB) [1]
  []
  []
  (64156, GAL) [11]
  (64147, FBK) [5]
  (50, ACC) [1]
  []
  []
  (64146, FAI) [3]
  []
  (60151, ENA) [2]
  []
  (536, BMK) [1]
  []
  []
  (62145, GKN) [5]
  (59135, SGY) [2]
  []
  (114, BOY) [1]
  []
  []
  (59154, ILI) [2]
  []
  (59151, HOM) [1]
  []
  []
  (55120, YDQ) [36]
  (49125, YAZ) [17]
  (6889, YBB) [1]
  []
  []
  (9147, POM) [15]
  (6320, VEY) [6]
  (5097, YAV) [2]
  []
  (4684, YAM) [1]
  []
  []
  (5156, YAY) [3]
  []
  (4462, YAW) [2]
  []
  (3143, WWK) [1]
  []
  []
  (6827, IVL) [8]
  (6229, JOE) [3]
  (5145, MAG) [1]
  []
  []
  (6145, GKA) [1]
  []
  []
  (6368, YFB) [4]
  (4566, YFC) [1]
  []
  []
  (6146, LAE) [2]
  []
  (5144, HGU) [1]
  []
  []
  (5410, KEL) [18]
  (5310, LBC) [6]
  (537, EME) [1]
  []
  []
  (538, WVN) [4]
  []
  (322, GHA) [3]
  (121, OUA) [1]
  []
  []
  (92, PKO) [1]
  []
  []
  (3410, SFA) [11]
  (3310, DJE) [5]
  (539, XFW) [2]
  []
  (319, EBM) [1]
  []
  []
  (126, QUS) [2]
  []
  (67, ENU) [1]
  []
  []
  (498, MHG) [5]
  []
  (497, HHN) [4]
  []
  (338, TOE) [3]
  (61, LFW) [1]
  []
  []
  (91, LRL) [1]
  []
  []
Formatted structure:
  | | | | (29106, CKG) [1]
  | | | (30103, CTU) [4]
  | | | | (316, HME) [2]
  | | | | | (272, INZ) [1]
  | | (37121, YNT) [10]
  | | | | (31121, SHA) [1]
  | | | (36120, TAO) [5]
  | | | | | (31117, HFE) [1]
  | | | | (31118, NKG) [3]
  | | | | | (29121, NGB) [1]
  | (65153, UTO) [22]
  | | | | (50, ACC) [1]
  | | | (64147, FBK) [5]
  | | | | (64146, FAI) [3]
  | | | | | (60151, ENA) [2]
  | | | | | | (536, BMK) [1]
  | | (64156, GAL) [11]
  | | | | (59135, SGY) [2]
  | | | | | (114, BOY) [1]
  | | | (62145, GKN) [5]
  | | | | (59154, ILI) [2]
  | | | | | (59151, HOM) [1]
  (68133, YEV) [59]
  | | | (6889, YBB) [1]
  | | (49125, YAZ) [17]
  | | | | | (5097, YAV) [2]
  | | | | | | (4684, YAM) [1]
  | | | | (6320, VEY) [6]
  | | | | | (5156, YAY) [3]
  | | | | | | (4462, YAW) [2]
  | | | | | | | (3143, WWK) [1]
  | | | (9147, POM) [15]
  | | | | | | (5145, MAG) [1]
  | | | | | (6229, JOE) [3]
  | | | | | | (6145, GKA) [1]
  | | | | (6827, IVL) [8]
  | | | | | | (4566, YFC) [1]
  | | | | | (6368, YFB) [4]
  | | | | | | (6146, LAE) [2]
  | | | | | | | (5144, HGU) [1]
  | (55120, YDQ) [36]
  | | | | (537, EME) [1]
  | | | (5310, LBC) [6]
  | | | | (538, WVN) [4]
  | | | | | | (121, OUA) [1]
  | | | | | (322, GHA) [3]
  | | | | | | (92, PKO) [1]
  | | (5410, KEL) [18]
  | | | | | (539, XFW) [2]
  | | | | | | (319, EBM) [1]
  | | | | (3310, DJE) [5]
  | | | | | (126, QUS) [2]
  | | | | | | (67, ENU) [1]
  | | | (3410, SFA) [11]
  | | | | (498, MHG) [5]
  | | | | | (497, HHN) [4]
  | | | | | | | (61, LFW) [1]
  | | | | | | (338, TOE) [3]
  | | | | | | | (91, LRL) [1]
size[H3]: 59
peek-key[H3]: 68133
peek-value[H3]: YEV
list[H4]:
  []
Formatted structure:
size[H4]: 0
peek-key[H4]: null
peek-value[H4]: null
comment: This merges an empty heap with a non-empty heap
merge[H4] with [H5]: successful
list[H4]:
  (67139, YOC) [61]
  (60115, YHY) [30]
  (7277, YIO) [11]
  (4891, YIB) [5]
  (4463, YHZ) [2]
  []
  (7, LXA) [1]
  []
  []
  (4868, YYY) [2]
  []
  (4378, YYZ) [1]
  []
  []
  (4977, YNM) [5]
  (358, TEE) [2]
  []
  (323, HRM) [1]
  []
  []
  (4574, YND) [2]
  []
  (4573, YJN) [1]
  []
  []
  (54101, YFO) [18]
  (4572, YHU) [2]
  []
  (4379, YHM) [1]
  []
  []
  (27102, XIC) [15]
  (3976, KHG) [3]
  (353, TAF) [1]
  []
  []
  (361, QAS) [1]
  []
  []
  (512, GLO) [11]
  (352, MUW) [5]
  (332, LOO) [1]
  []
  []
  (350, ORN) [3]
  []
  (315, OGX) [2]
  []
  (289, IAM) [1]
  []
  []
  (354, TLM) [5]
  (336, TGR) [2]
  []
  (270, AZR) [1]
  []
  []
  (90, TML) [2]
  []
  (62, COO) [1]
  []
  []
  (63123, YWY) [30]
  (49115, YXC) [11]
  (5088, YYW) [5]
  (4377, YZD) [2]
  []
  (27, TIN) [1]
  []
  []
  (64, ASK) [2]
  []
  (46, SPY) [1]
  []
  []
  (4982, YYU) [5]
  (355, TID) [2]
  []
  (97, ABV) [1]
  []
  []
  (366, CZL) [2]
  []
  (75, AKR) [1]
  []
  []
  (58117, YOJ) [18]
  (53113, YEG) [8]
  (7985, YEU) [3]
  (4997, YWG) [1]
  []
  []
  (6194, YEK) [1]
  []
  []
  (52114, YRM) [4]
  (4575, YOW) [1]
  []
  []
  (4571, YSC) [2]
  []
  (4565, YSJ) [1]
  []
  []
  (54110, YOD) [9]
  (53112, YED) [4]
  (6292, YRT) [1]
  []
  []
  (52122, YWL) [2]
  []
  (49102, YEN) [1]
  []
  []
  (53116, YET) [4]
  (5266, YWK) [1]
  []
  []
  (4680, YSB) [2]
  []
  (4577, YWA) [1]
  []
  []
Formatted structure:
  | | | | (4463, YHZ) [2]
  | | | | | (7, LXA) [1]
  | | | (4891, YIB) [5]
  | | | | (4868, YYY) [2]
  | | | | | (4378, YYZ) [1]
  | | (7277, YIO) [11]
  | | | | (358, TEE) [2]
  | | | | | (323, HRM) [1]
  | | | (4977, YNM) [5]
  | | | | (4574, YND) [2]
  | | | | | (4573, YJN) [1]
  | (60115, YHY) [30]
  | | | (4572, YHU) [2]
  | | | | (4379, YHM) [1]
  | | (54101, YFO) [18]
  | | | | | (353, TAF) [1]
  | | | | (3976, KHG) [3]
  | | | | | (361, QAS) [1]
  | | | (27102, XIC) [15]
  | | | | | | (332, LOO) [1]
  | | | | | (352, MUW) [5]
  | | | | | | (350, ORN) [3]
  | | | | | | | (315, OGX) [2]
  | | | | | | | | (289, IAM) [1]
  | | | | (512, GLO) [11]
  | | | | | | (336, TGR) [2]
  | | | | | | | (270, AZR) [1]
  | | | | | (354, TLM) [5]
  | | | | | | (90, TML) [2]
  | | | | | | | (62, COO) [1]
  (67139, YOC) [61]
  | | | | (4377, YZD) [2]
  | | | | | (27, TIN) [1]
  | | | (5088, YYW) [5]
  | | | | (64, ASK) [2]
  | | | | | (46, SPY) [1]
  | | (49115, YXC) [11]
  | | | | (355, TID) [2]
  | | | | | (97, ABV) [1]
  | | | (4982, YYU) [5]
  | | | | (366, CZL) [2]
  | | | | | (75, AKR) [1]
  | (63123, YWY) [30]
  | | | | | (4997, YWG) [1]
  | | | | (7985, YEU) [3]
  | | | | | (6194, YEK) [1]
  | | | (53113, YEG) [8]
  | | | | | (4575, YOW) [1]
  | | | | (52114, YRM) [4]
  | | | | | (4571, YSC) [2]
  | | | | | | (4565, YSJ) [1]
  | | (58117, YOJ) [18]
  | | | | | (6292, YRT) [1]
  | | | | (53112, YED) [4]
  | | | | | (52122, YWL) [2]
  | | | | | | (49102, YEN) [1]
  | | | (54110, YOD) [9]
  | | | | | (5266, YWK) [1]
  | | | | (53116, YET) [4]
  | | | | | (4680, YSB) [2]
  | | | | | | (4577, YWA) [1]
size[H4]: 61
peek-key[H4]: 67139
peek-value[H4]: YOC
list[H5]:
  []
Formatted structure:
size[H5]: 0
peek-key[H5]: null
peek-value[H5]: null
merge[H2] with [H3]: successful
list[H2]:
  (68133, YEV) [89]
  (55120, YDQ) [36]
  (49125, YAZ) [17]
  (6889, YBB) [1]
  []
  []
  (9147, POM) [15]
  (6320, VEY) [6]
  (5097, YAV) [2]
  []
  (4684, YAM) [1]
  []
  []
  (5156, YAY) [3]
  []
  (4462, YAW) [2]
  []
  (3143, WWK) [1]
  []
  []
  (6827, IVL) [8]
  (6229, JOE) [3]
  (5145, MAG) [1]
  []
  []
  (6145, GKA) [1]
  []
  []
  (6368, YFB) [4]
  (4566, YFC) [1]
  []
  []
  (6146, LAE) [2]
  []
  (5144, HGU) [1]
  []
  []
  (5410, KEL) [18]
  (5310, LBC) [6]
  (537, EME) [1]
  []
  []
  (538, WVN) [4]
  []
  (322, GHA) [3]
  (121, OUA) [1]
  []
  []
  (92, PKO) [1]
  []
  []
  (3410, SFA) [11]
  (3310, DJE) [5]
  (539, XFW) [2]
  []
  (319, EBM) [1]
  []
  []
  (126, QUS) [2]
  []
  (67, ENU) [1]
  []
  []
  (498, MHG) [5]
  []
  (497, HHN) [4]
  []
  (338, TOE) [3]
  (61, LFW) [1]
  []
  []
  (91, LRL) [1]
  []
  []
  (65153, UTO) [52]
  (64156, GAL) [11]
  (64147, FBK) [5]
  (50, ACC) [1]
  []
  []
  (64146, FAI) [3]
  []
  (60151, ENA) [2]
  []
  (536, BMK) [1]
  []
  []
  (62145, GKN) [5]
  (59135, SGY) [2]
  []
  (114, BOY) [1]
  []
  []
  (59154, ILI) [2]
  []
  (59151, HOM) [1]
  []
  []
  (45126, HRB) [40]
  (38121, DLC) [17]
  (172, NYI) [1]
  []
  []
  (6524, KEM) [15]
  (6427, KAJ) [6]
  (521, CVT) [2]
  []
  (520, BHX) [1]
  []
  []
  (557, LDY) [3]
  (48, CBQ) [1]
  []
  []
  (65, BNI) [1]
  []
  []
  (6323, KAU) [8]
  []
  (6225, JYV) [7]
  []
  (95, HGO) [6]
  (77, MJC) [1]
  []
  []
  (74, BYK) [4]
  (66, DJO) [1]
  []
  []
  (53, ABJ) [2]
  []
  (41, TKD) [1]
  []
  []
  (37121, YNT) [22]
  (36120, TAO) [5]
  (31121, SHA) [1]
  []
  []
  (31118, NKG) [3]
  (31117, HFE) [1]
  []
  []
  (29121, NGB) [1]
  []
  []
  (30103, CTU) [16]
  (316, HME) [2]
  []
  (272, INZ) [1]
  []
  []
  (29106, CKG) [13]
  []
  (6823, ENF) [12]
  (6124, KEV) [5]
  (6025, HEM) [2]
  []
  (302, ELG) [1]
  []
  []
  (6024, HEL) [2]
  []
  (345, BSK) [1]
  []
  []
  (5924, TLL) [6]
  (4387, URC) [2]
  []
  (3779, HTN) [1]
  []
  []
  (548, GWT) [3]
  []
  (535, NRD) [2]
  []
  (290, TMX) [1]
  []
  []
Formatted structure:
  | | | (6889, YBB) [1]
  | | (49125, YAZ) [17]
  | | | | | (5097, YAV) [2]
  | | | | | | (4684, YAM) [1]
  | | | | (6320, VEY) [6]
  | | | | | (5156, YAY) [3]
  | | | | | | (4462, YAW) [2]
  | | | | | | | (3143, WWK) [1]
  | | | (9147, POM) [15]
  | | | | | | (5145, MAG) [1]
  | | | | | (6229, JOE) [3]
  | | | | | | (6145, GKA) [1]
  | | | | (6827, IVL) [8]
  | | | | | | (4566, YFC) [1]
  | | | | | (6368, YFB) [4]
  | | | | | | (6146, LAE) [2]
  | | | | | | | (5144, HGU) [1]
  | (55120, YDQ) [36]
  | | | | (537, EME) [1]
  | | | (5310, LBC) [6]
  | | | | (538, WVN) [4]
  | | | | | | (121, OUA) [1]
  | | | | | (322, GHA) [3]
  | | | | | | (92, PKO) [1]
  | | (5410, KEL) [18]
  | | | | | (539, XFW) [2]
  | | | | | | (319, EBM) [1]
  | | | | (3310, DJE) [5]
  | | | | | (126, QUS) [2]
  | | | | | | (67, ENU) [1]
  | | | (3410, SFA) [11]
  | | | | (498, MHG) [5]
  | | | | | (497, HHN) [4]
  | | | | | | | (61, LFW) [1]
  | | | | | | (338, TOE) [3]
  | | | | | | | (91, LRL) [1]
  (68133, YEV) [89]
  | | | | (50, ACC) [1]
  | | | (64147, FBK) [5]
  | | | | (64146, FAI) [3]
  | | | | | (60151, ENA) [2]
  | | | | | | (536, BMK) [1]
  | | (64156, GAL) [11]
  | | | | (59135, SGY) [2]
  | | | | | (114, BOY) [1]
  | | | (62145, GKN) [5]
  | | | | (59154, ILI) [2]
  | | | | | (59151, HOM) [1]
  | (65153, UTO) [52]
  | | | | (172, NYI) [1]
  | | | (38121, DLC) [17]
  | | | | | | (521, CVT) [2]
  | | | | | | | (520, BHX) [1]
  | | | | | (6427, KAJ) [6]
  | | | | | | | (48, CBQ) [1]
  | | | | | | (557, LDY) [3]
  | | | | | | | (65, BNI) [1]
  | | | | (6524, KEM) [15]
  | | | | | (6323, KAU) [8]
  | | | | | | (6225, JYV) [7]
  | | | | | | | | (77, MJC) [1]
  | | | | | | | (95, HGO) [6]
  | | | | | | | | | (66, DJO) [1]
  | | | | | | | | (74, BYK) [4]
  | | | | | | | | | (53, ABJ) [2]
  | | | | | | | | | | (41, TKD) [1]
  | | (45126, HRB) [40]
  | | | | | (31121, SHA) [1]
  | | | | (36120, TAO) [5]
  | | | | | | (31117, HFE) [1]
  | | | | | (31118, NKG) [3]
  | | | | | | (29121, NGB) [1]
  | | | (37121, YNT) [22]
  | | | | | (316, HME) [2]
  | | | | | | (272, INZ) [1]
  | | | | (30103, CTU) [16]
  | | | | | (29106, CKG) [13]
  | | | | | | | | (6025, HEM) [2]
  | | | | | | | | | (302, ELG) [1]
  | | | | | | | (6124, KEV) [5]
  | | | | | | | | (6024, HEL) [2]
  | | | | | | | | | (345, BSK) [1]
  | | | | | | (6823, ENF) [12]
  | | | | | | | | (4387, URC) [2]
  | | | | | | | | | (3779, HTN) [1]
  | | | | | | | (5924, TLL) [6]
  | | | | | | | | (548, GWT) [3]
  | | | | | | | | | (535, NRD) [2]
  | | | | | | | | | | (290, TMX) [1]
size[H2]: 89
list[H3]:
  []
Formatted structure:
size[H3]: 0
merge[H2] with [H5]: successful
list[H2]:
  (68133, YEV) [89]
  (55120, YDQ) [36]
  (49125, YAZ) [17]
  (6889, YBB) [1]
  []
  []
  (9147, POM) [15]
  (6320, VEY) [6]
  (5097, YAV) [2]
  []
  (4684, YAM) [1]
  []
  []
  (5156, YAY) [3]
  []
  (4462, YAW) [2]
  []
  (3143, WWK) [1]
  []
  []
  (6827, IVL) [8]
  (6229, JOE) [3]
  (5145, MAG) [1]
  []
  []
  (6145, GKA) [1]
  []
  []
  (6368, YFB) [4]
  (4566, YFC) [1]
  []
  []
  (6146, LAE) [2]
  []
  (5144, HGU) [1]
  []
  []
  (5410, KEL) [18]
  (5310, LBC) [6]
  (537, EME) [1]
  []
  []
  (538, WVN) [4]
  []
  (322, GHA) [3]
  (121, OUA) [1]
  []
  []
  (92, PKO) [1]
  []
  []
  (3410, SFA) [11]
  (3310, DJE) [5]
  (539, XFW) [2]
  []
  (319, EBM) [1]
  []
  []
  (126, QUS) [2]
  []
  (67, ENU) [1]
  []
  []
  (498, MHG) [5]
  []
  (497, HHN) [4]
  []
  (338, TOE) [3]
  (61, LFW) [1]
  []
  []
  (91, LRL) [1]
  []
  []
  (65153, UTO) [52]
  (64156, GAL) [11]
  (64147, FBK) [5]
  (50, ACC) [1]
  []
  []
  (64146, FAI) [3]
  []
  (60151, ENA) [2]
  []
  (536, BMK) [1]
  []
  []
  (62145, GKN) [5]
  (59135, SGY) [2]
  []
  (114, BOY) [1]
  []
  []
  (59154, ILI) [2]
  []
  (59151, HOM) [1]
  []
  []
  (45126, HRB) [40]
  (38121, DLC) [17]
  (172, NYI) [1]
  []
  []
  (6524, KEM) [15]
  (6427, KAJ) [6]
  (521, CVT) [2]
  []
  (520, BHX) [1]
  []
  []
  (557, LDY) [3]
  (48, CBQ) [1]
  []
  []
  (65, BNI) [1]
  []
  []
  (6323, KAU) [8]
  []
  (6225, JYV) [7]
  []
  (95, HGO) [6]
  (77, MJC) [1]
  []
  []
  (74, BYK) [4]
  (66, DJO) [1]
  []
  []
  (53, ABJ) [2]
  []
  (41, TKD) [1]
  []
  []
  (37121, YNT) [22]
  (36120, TAO) [5]
  (31121, SHA) [1]
  []
  []
  (31118, NKG) [3]
  (31117, HFE) [1]
  []
  []
  (29121, NGB) [1]
  []
  []
  (30103, CTU) [16]
  (316, HME) [2]
  []
  (272, INZ) [1]
  []
  []
  (29106, CKG) [13]
  []
  (6823, ENF) [12]
  (6124, KEV) [5]
  (6025, HEM) [2]
  []
  (302, ELG) [1]
  []
  []
  (6024, HEL) [2]
  []
  (345, BSK) [1]
  []
  []
  (5924, TLL) [6]
  (4387, URC) [2]
  []
  (3779, HTN) [1]
  []
  []
  (548, GWT) [3]
  []
  (535, NRD) [2]
  []
  (290, TMX) [1]
  []
  []
Formatted structure:
  | | | (6889, YBB) [1]
  | | (49125, YAZ) [17]
  | | | | | (5097, YAV) [2]
  | | | | | | (4684, YAM) [1]
  | | | | (6320, VEY) [6]
  | | | | | (5156, YAY) [3]
  | | | | | | (4462, YAW) [2]
  | | | | | | | (3143, WWK) [1]
  | | | (9147, POM) [15]
  | | | | | | (5145, MAG) [1]
  | | | | | (6229, JOE) [3]
  | | | | | | (6145, GKA) [1]
  | | | | (6827, IVL) [8]
  | | | | | | (4566, YFC) [1]
  | | | | | (6368, YFB) [4]
  | | | | | | (6146, LAE) [2]
  | | | | | | | (5144, HGU) [1]
  | (55120, YDQ) [36]
  | | | | (537, EME) [1]
  | | | (5310, LBC) [6]
  | | | | (538, WVN) [4]
  | | | | | | (121, OUA) [1]
  | | | | | (322, GHA) [3]
  | | | | | | (92, PKO) [1]
  | | (5410, KEL) [18]
  | | | | | (539, XFW) [2]
  | | | | | | (319, EBM) [1]
  | | | | (3310, DJE) [5]
  | | | | | (126, QUS) [2]
  | | | | | | (67, ENU) [1]
  | | | (3410, SFA) [11]
  | | | | (498, MHG) [5]
  | | | | | (497, HHN) [4]
  | | | | | | | (61, LFW) [1]
  | | | | | | (338, TOE) [3]
  | | | | | | | (91, LRL) [1]
  (68133, YEV) [89]
  | | | | (50, ACC) [1]
  | | | (64147, FBK) [5]
  | | | | (64146, FAI) [3]
  | | | | | (60151, ENA) [2]
  | | | | | | (536, BMK) [1]
  | | (64156, GAL) [11]
  | | | | (59135, SGY) [2]
  | | | | | (114, BOY) [1]
  | | | (62145, GKN) [5]
  | | | | (59154, ILI) [2]
  | | | | | (59151, HOM) [1]
  | (65153, UTO) [52]
  | | | | (172, NYI) [1]
  | | | (38121, DLC) [17]
  | | | | | | (521, CVT) [2]
  | | | | | | | (520, BHX) [1]
  | | | | | (6427, KAJ) [6]
  | | | | | | | (48, CBQ) [1]
  | | | | | | (557, LDY) [3]
  | | | | | | | (65, BNI) [1]
  | | | | (6524, KEM) [15]
  | | | | | (6323, KAU) [8]
  | | | | | | (6225, JYV) [7]
  | | | | | | | | (77, MJC) [1]
  | | | | | | | (95, HGO) [6]
  | | | | | | | | | (66, DJO) [1]
  | | | | | | | | (74, BYK) [4]
  | | | | | | | | | (53, ABJ) [2]
  | | | | | | | | | | (41, TKD) [1]
  | | (45126, HRB) [40]
  | | | | | (31121, SHA) [1]
  | | | | (36120, TAO) [5]
  | | | | | | (31117, HFE) [1]
  | | | | | (31118, NKG) [3]
  | | | | | | (29121, NGB) [1]
  | | | (37121, YNT) [22]
  | | | | | (316, HME) [2]
  | | | | | | (272, INZ) [1]
  | | | | (30103, CTU) [16]
  | | | | | (29106, CKG) [13]
  | | | | | | | | (6025, HEM) [2]
  | | | | | | | | | (302, ELG) [1]
  | | | | | | | (6124, KEV) [5]
  | | | | | | | | (6024, HEL) [2]
  | | | | | | | | | (345, BSK) [1]
  | | | | | | (6823, ENF) [12]
  | | | | | | | | (4387, URC) [2]
  | | | | | | | | | (3779, HTN) [1]
  | | | | | | | (5924, TLL) [6]
  | | | | | | | | (548, GWT) [3]
  | | | | | | | | | (535, NRD) [2]
  | | | | | | | | | | (290, TMX) [1]
size[H2]: 89
list[H5]:
  []
Formatted structure:
size[H5]: 0
update-key(YEV) to 5900 in [H2]: successful
update-key(YDQ) to 5000 in [H2]: successful
update-key(KEL) to 186 in [H2]: successful
list[H2]:
  (65153, UTO) [89]
  (49125, YAZ) [36]
  (9147, POM) [17]
  (6889, YBB) [1]
  []
  []
  (6827, IVL) [15]
  (6320, VEY) [6]
  (5097, YAV) [2]
  []
  (4684, YAM) [1]
  []
  []
  (5156, YAY) [3]
  []
  (4462, YAW) [2]
  []
  (3143, WWK) [1]
  []
  []
  (6368, YFB) [8]
  (6229, JOE) [3]
  (5145, MAG) [1]
  []
  []
  (6145, GKA) [1]
  []
  []
  (6146, LAE) [4]
  (4566, YFC) [1]
  []
  []
  (5144, HGU) [2]
  []
  (5000, YDQ) [1]
  []
  []
  (5310, LBC) [18]
  (538, WVN) [6]
  (537, EME) [1]
  []
  []
  (322, GHA) [4]
  []
  (186, KEL) [3]
  (121, OUA) [1]
  []
  []
  (92, PKO) [1]
  []
  []
  (3410, SFA) [11]
  (3310, DJE) [5]
  (539, XFW) [2]
  []
  (319, EBM) [1]
  []
  []
  (126, QUS) [2]
  []
  (67, ENU) [1]
  []
  []
  (498, MHG) [5]
  []
  (497, HHN) [4]
  []
  (338, TOE) [3]
  (61, LFW) [1]
  []
  []
  (91, LRL) [1]
  []
  []
  (64156, GAL) [52]
  (64147, FBK) [11]
  (64146, FAI) [5]
  (50, ACC) [1]
  []
  []
  (60151, ENA) [3]
  []
  (5900, YEV) [2]
  []
  (536, BMK) [1]
  []
  []
  (62145, GKN) [5]
  (59135, SGY) [2]
  []
  (114, BOY) [1]
  []
  []
  (59154, ILI) [2]
  []
  (59151, HOM) [1]
  []
  []
  (45126, HRB) [40]
  (38121, DLC) [17]
  (172, NYI) [1]
  []
  []
  (6524, KEM) [15]
  (6427, KAJ) [6]
  (521, CVT) [2]
  []
  (520, BHX) [1]
  []
  []
  (557, LDY) [3]
  (48, CBQ) [1]
  []
  []
  (65, BNI) [1]
  []
  []
  (6323, KAU) [8]
  []
  (6225, JYV) [7]
  []
  (95, HGO) [6]
  (77, MJC) [1]
  []
  []
  (74, BYK) [4]
  (66, DJO) [1]
  []
  []
  (53, ABJ) [2]
  []
  (41, TKD) [1]
  []
  []
  (37121, YNT) [22]
  (36120, TAO) [5]
  (31121, SHA) [1]
  []
  []
  (31118, NKG) [3]
  (31117, HFE) [1]
  []
  []
  (29121, NGB) [1]
  []
  []
  (30103, CTU) [16]
  (316, HME) [2]
  []
  (272, INZ) [1]
  []
  []
  (29106, CKG) [13]
  []
  (6823, ENF) [12]
  (6124, KEV) [5]
  (6025, HEM) [2]
  []
  (302, ELG) [1]
  []
  []
  (6024, HEL) [2]
  []
  (345, BSK) [1]
  []
  []
  (5924, TLL) [6]
  (4387, URC) [2]
  []
  (3779, HTN) [1]
  []
  []
  (548, GWT) [3]
  []
  (535, NRD) [2]
  []
  (290, TMX) [1]
  []
  []
Formatted structure:
  | | | (6889, YBB) [1]
  | | (9147, POM) [17]
  | | | | | (5097, YAV) [2]
  | | | | | | (4684, YAM) [1]
  | | | | (6320, VEY) [6]
  | | | | | (5156, YAY) [3]
  | | | | | | (4462, YAW) [2]
  | | | | | | | (3143, WWK) [1]
  | | | (6827, IVL) [15]
  | | | | | | (5145, MAG) [1]
  | | | | | (6229, JOE) [3]
  | | | | | | (6145, GKA) [1]
  | | | | (6368, YFB) [8]
  | | | | | | (4566, YFC) [1]
  | | | | | (6146, LAE) [4]
  | | | | | | (5144, HGU) [2]
  | | | | | | | (5000, YDQ) [1]
  | (49125, YAZ) [36]
  | | | | (537, EME) [1]
  | | | (538, WVN) [6]
  | | | | (322, GHA) [4]
  | | | | | | (121, OUA) [1]
  | | | | | (186, KEL) [3]
  | | | | | | (92, PKO) [1]
  | | (5310, LBC) [18]
  | | | | | (539, XFW) [2]
  | | | | | | (319, EBM) [1]
  | | | | (3310, DJE) [5]
  | | | | | (126, QUS) [2]
  | | | | | | (67, ENU) [1]
  | | | (3410, SFA) [11]
  | | | | (498, MHG) [5]
  | | | | | (497, HHN) [4]
  | | | | | | | (61, LFW) [1]
  | | | | | | (338, TOE) [3]
  | | | | | | | (91, LRL) [1]
  (65153, UTO) [89]
  | | | | (50, ACC) [1]
  | | | (64146, FAI) [5]
  | | | | (60151, ENA) [3]
  | | | | | (5900, YEV) [2]
  | | | | | | (536, BMK) [1]
  | | (64147, FBK) [11]
  | | | | (59135, SGY) [2]
  | | | | | (114, BOY) [1]
  | | | (62145, GKN) [5]
  | | | | (59154, ILI) [2]
  | | | | | (59151, HOM) [1]
  | (64156, GAL) [52]
  | | | | (172, NYI) [1]
  | | | (38121, DLC) [17]
  | | | | | | (521, CVT) [2]
  | | | | | | | (520, BHX) [1]
  | | | | | (6427, KAJ) [6]
  | | | | | | | (48, CBQ) [1]
  | | | | | | (557, LDY) [3]
  | | | | | | | (65, BNI) [1]
  | | | | (6524, KEM) [15]
  | | | | | (6323, KAU) [8]
  | | | | | | (6225, JYV) [7]
  | | | | | | | | (77, MJC) [1]
  | | | | | | | (95, HGO) [6]
  | | | | | | | | | (66, DJO) [1]
  | | | | | | | | (74, BYK) [4]
  | | | | | | | | | (53, ABJ) [2]
  | | | | | | | | | | (41, TKD) [1]
  | | (45126, HRB) [40]
  | | | | | (31121, SHA) [1]
  | | | | (36120, TAO) [5]
  | | | | | | (31117, HFE) [1]
  | | | | | (31118, NKG) [3]
  | | | | | | (29121, NGB) [1]
  | | | (37121, YNT) [22]
  | | | | | (316, HME) [2]
  | | | | | | (272, INZ) [1]
  | | | | (30103, CTU) [16]
  | | | | | (29106, CKG) [13]
  | | | | | | | | (6025, HEM) [2]
  | | | | | | | | | (302, ELG) [1]
  | | | | | | | (6124, KEV) [5]
  | | | | | | | | (6024, HEL) [2]
  | | | | | | | | | (345, BSK) [1]
  | | | | | | (6823, ENF) [12]
  | | | | | | | | (4387, URC) [2]
  | | | | | | | | | (3779, HTN) [1]
  | | | | | | | (5924, TLL) [6]
  | | | | | | | | (548, GWT) [3]
  | | | | | | | | | (535, NRD) [2]
  | | | | | | | | | | (290, TMX) [1]
update-key(TKD) to 66123 in [H2]: successful
update-key(TKD) to 66124 in [H2]: successful
update-key(ABJ) to 11 in [H2]: successful
list[H2]:
  (66124, TKD) [89]
  (49125, YAZ) [36]
  (9147, POM) [17]
  (6889, YBB) [1]
  []
  []
  (6827, IVL) [15]
  (6320, VEY) [6]
  (5097, YAV) [2]
  []
  (4684, YAM) [1]
  []
  []
  (5156, YAY) [3]
  []
  (4462, YAW) [2]
  []
  (3143, WWK) [1]
  []
  []
  (6368, YFB) [8]
  (6229, JOE) [3]
  (5145, MAG) [1]
  []
  []
  (6145, GKA) [1]
  []
  []
  (6146, LAE) [4]
  (4566, YFC) [1]
  []
  []
  (5144, HGU) [2]
  []
  (5000, YDQ) [1]
  []
  []
  (5310, LBC) [18]
  (538, WVN) [6]
  (537, EME) [1]
  []
  []
  (322, GHA) [4]
  []
  (186, KEL) [3]
  (121, OUA) [1]
  []
  []
  (92, PKO) [1]
  []
  []
  (3410, SFA) [11]
  (3310, DJE) [5]
  (539, XFW) [2]
  []
  (319, EBM) [1]
  []
  []
  (126, QUS) [2]
  []
  (67, ENU) [1]
  []
  []
  (498, MHG) [5]
  []
  (497, HHN) [4]
  []
  (338, TOE) [3]
  (61, LFW) [1]
  []
  []
  (91, LRL) [1]
  []
  []
  (65153, UTO) [52]
  (64147, FBK) [11]
  (64146, FAI) [5]
  (50, ACC) [1]
  []
  []
  (60151, ENA) [3]
  []
  (5900, YEV) [2]
  []
  (536, BMK) [1]
  []
  []
  (62145, GKN) [5]
  (59135, SGY) [2]
  []
  (114, BOY) [1]
  []
  []
  (59154, ILI) [2]
  []
  (59151, HOM) [1]
  []
  []
  (64156, GAL) [40]
  (45126, HRB) [17]
  (172, NYI) [1]
  []
  []
  (38121, DLC) [15]
  (6427, KAJ) [6]
  (521, CVT) [2]
  []
  (520, BHX) [1]
  []
  []
  (557, LDY) [3]
  (48, CBQ) [1]
  []
  []
  (65, BNI) [1]
  []
  []
  (6524, KEM) [8]
  []
  (6323, KAU) [7]
  []
  (6225, JYV) [6]
  (77, MJC) [1]
  []
  []
  (95, HGO) [4]
  (66, DJO) [1]
  []
  []
  (74, BYK) [2]
  []
  (11, ABJ) [1]
  []
  []
  (37121, YNT) [22]
  (36120, TAO) [5]
  (31121, SHA) [1]
  []
  []
  (31118, NKG) [3]
  (31117, HFE) [1]
  []
  []
  (29121, NGB) [1]
  []
  []
  (30103, CTU) [16]
  (316, HME) [2]
  []
  (272, INZ) [1]
  []
  []
  (29106, CKG) [13]
  []
  (6823, ENF) [12]
  (6124, KEV) [5]
  (6025, HEM) [2]
  []
  (302, ELG) [1]
  []
  []
  (6024, HEL) [2]
  []
  (345, BSK) [1]
  []
  []
  (5924, TLL) [6]
  (4387, URC) [2]
  []
  (3779, HTN) [1]
  []
  []
  (548, GWT) [3]
  []
  (535, NRD) [2]
  []
  (290, TMX) [1]
  []
  []
Formatted structure:
  | | | (6889, YBB) [1]
  | | (9147, POM) [17]
  | | | | | (5097, YAV) [2]
  | | | | | | (4684, YAM) [1]
  | | | | (6320, VEY) [6]
  | | | | | (5156, YAY) [3]
  | | | | | | (4462, YAW) [2]
  | | | | | | | (3143, WWK) [1]
  | | | (6827, IVL) [15]
  | | | | | | (5145, MAG) [1]
  | | | | | (6229, JOE) [3]
  | | | | | | (6145, GKA) [1]
  | | | | (6368, YFB) [8]
  | | | | | | (4566, YFC) [1]
  | | | | | (6146, LAE) [4]
  | | | | | | (5144, HGU) [2]
  | | | | | | | (5000, YDQ) [1]
  | (49125, YAZ) [36]
  | | | | (537, EME) [1]
  | | | (538, WVN) [6]
  | | | | (322, GHA) [4]
  | | | | | | (121, OUA) [1]
  | | | | | (186, KEL) [3]
  | | | | | | (92, PKO) [1]
  | | (5310, LBC) [18]
  | | | | | (539, XFW) [2]
  | | | | | | (319, EBM) [1]
  | | | | (3310, DJE) [5]
  | | | | | (126, QUS) [2]
  | | | | | | (67, ENU) [1]
  | | | (3410, SFA) [11]
  | | | | (498, MHG) [5]
  | | | | | (497, HHN) [4]
  | | | | | | | (61, LFW) [1]
  | | | | | | (338, TOE) [3]
  | | | | | | | (91, LRL) [1]
  (66124, TKD) [89]
  | | | | (50, ACC) [1]
  | | | (64146, FAI) [5]
  | | | | (60151, ENA) [3]
  | | | | | (5900, YEV) [2]
  | | | | | | (536, BMK) [1]
  | | (64147, FBK) [11]
  | | | | (59135, SGY) [2]
  | | | | | (114, BOY) [1]
  | | | (62145, GKN) [5]
  | | | | (59154, ILI) [2]
  | | | | | (59151, HOM) [1]
  | (65153, UTO) [52]
  | | | | (172, NYI) [1]
  | | | (45126, HRB) [17]
  | | | | | | (521, CVT) [2]
  | | | | | | | (520, BHX) [1]
  | | | | | (6427, KAJ) [6]
  | | | | | | | (48, CBQ) [1]
  | | | | | | (557, LDY) [3]
  | | | | | | | (65, BNI) [1]
  | | | | (38121, DLC) [15]
  | | | | | (6524, KEM) [8]
  | | | | | | (6323, KAU) [7]
  | | | | | | | | (77, MJC) [1]
  | | | | | | | (6225, JYV) [6]
  | | | | | | | | | (66, DJO) [1]
  | | | | | | | | (95, HGO) [4]
  | | | | | | | | | (74, BYK) [2]
  | | | | | | | | | | (11, ABJ) [1]
  | | (64156, GAL) [40]
  | | | | | (31121, SHA) [1]
  | | | | (36120, TAO) [5]
  | | | | | | (31117, HFE) [1]
  | | | | | (31118, NKG) [3]
  | | | | | | (29121, NGB) [1]
  | | | (37121, YNT) [22]
  | | | | | (316, HME) [2]
  | | | | | | (272, INZ) [1]
  | | | | (30103, CTU) [16]
  | | | | | (29106, CKG) [13]
  | | | | | | | | (6025, HEM) [2]
  | | | | | | | | | (302, ELG) [1]
  | | | | | | | (6124, KEV) [5]
  | | | | | | | | (6024, HEL) [2]
  | | | | | | | | | (345, BSK) [1]
  | | | | | | (6823, ENF) [12]
  | | | | | | | | (4387, URC) [2]
  | | | | | | | | | (3779, HTN) [1]
  | | | | | | | (5924, TLL) [6]
  | | | | | | | | (548, GWT) [3]
  | | | | | | | | | (535, NRD) [2]
  | | | | | | | | | | (290, TMX) [1]
extract[H2]: TKD
extract[H2]: UTO
list[H2]:
  (64156, GAL) [87]
  (37121, YNT) [22]
  (36120, TAO) [5]
  (31121, SHA) [1]
  []
  []
  (31118, NKG) [3]
  (31117, HFE) [1]
  []
  []
  (29121, NGB) [1]
  []
  []
  (30103, CTU) [16]
  (316, HME) [2]
  []
  (272, INZ) [1]
  []
  []
  (29106, CKG) [13]
  []
  (6823, ENF) [12]
  (6124, KEV) [5]
  (6025, HEM) [2]
  []
  (302, ELG) [1]
  []
  []
  (6024, HEL) [2]
  []
  (345, BSK) [1]
  []
  []
  (5924, TLL) [6]
  (4387, URC) [2]
  []
  (3779, HTN) [1]
  []
  []
  (548, GWT) [3]
  []
  (535, NRD) [2]
  []
  (290, TMX) [1]
  []
  []
  (64147, FBK) [64]
  (62145, GKN) [22]
  (59154, ILI) [2]
  []
  (59151, HOM) [1]
  []
  []
  (59135, SGY) [19]
  (114, BOY) [1]
  []
  []
  (45126, HRB) [17]
  (172, NYI) [1]
  []
  []
  (38121, DLC) [15]
  (6427, KAJ) [6]
  (521, CVT) [2]
  []
  (520, BHX) [1]
  []
  []
  (557, LDY) [3]
  (48, CBQ) [1]
  []
  []
  (65, BNI) [1]
  []
  []
  (6524, KEM) [8]
  []
  (6323, KAU) [7]
  []
  (6225, JYV) [6]
  (77, MJC) [1]
  []
  []
  (95, HGO) [4]
  (66, DJO) [1]
  []
  []
  (74, BYK) [2]
  []
  (11, ABJ) [1]
  []
  []
  (64146, FAI) [41]
  (60151, ENA) [3]
  []
  (5900, YEV) [2]
  []
  (536, BMK) [1]
  []
  []
  (49125, YAZ) [37]
  (9147, POM) [18]
  (6889, YBB) [2]
  []
  (50, ACC) [1]
  []
  []
  (6827, IVL) [15]
  (6320, VEY) [6]
  (5097, YAV) [2]
  []
  (4684, YAM) [1]
  []
  []
  (5156, YAY) [3]
  []
  (4462, YAW) [2]
  []
  (3143, WWK) [1]
  []
  []
  (6368, YFB) [8]
  (6229, JOE) [3]
  (5145, MAG) [1]
  []
  []
  (6145, GKA) [1]
  []
  []
  (6146, LAE) [4]
  (4566, YFC) [1]
  []
  []
  (5144, HGU) [2]
  []
  (5000, YDQ) [1]
  []
  []
  (5310, LBC) [18]
  (538, WVN) [6]
  (537, EME) [1]
  []
  []
  (322, GHA) [4]
  []
  (186, KEL) [3]
  (121, OUA) [1]
  []
  []
  (92, PKO) [1]
  []
  []
  (3410, SFA) [11]
  (3310, DJE) [5]
  (539, XFW) [2]
  []
  (319, EBM) [1]
  []
  []
  (126, QUS) [2]
  []
  (67, ENU) [1]
  []
  []
  (498, MHG) [5]
  []
  (497, HHN) [4]
  []
  (338, TOE) [3]
  (61, LFW) [1]
  []
  []
  (91, LRL) [1]
  []
  []
Formatted structure:
  | | | (31121, SHA) [1]
  | | (36120, TAO) [5]
  | | | | (31117, HFE) [1]
  | | | (31118, NKG) [3]
  | | | | (29121, NGB) [1]
  | (37121, YNT) [22]
  | | | (316, HME) [2]
  | | | | (272, INZ) [1]
  | | (30103, CTU) [16]
  | | | (29106, CKG) [13]
  | | | | | | (6025, HEM) [2]
  | | | | | | | (302, ELG) [1]
  | | | | | (6124, KEV) [5]
  | | | | | | (6024, HEL) [2]
  | | | | | | | (345, BSK) [1]
  | | | | (6823, ENF) [12]
  | | | | | | (4387, URC) [2]
  | | | | | | | (3779, HTN) [1]
  | | | | | (5924, TLL) [6]
  | | | | | | (548, GWT) [3]
  | | | | | | | (535, NRD) [2]
  | | | | | | | | (290, TMX) [1]
  (64156, GAL) [87]
  | | | (59154, ILI) [2]
  | | | | (59151, HOM) [1]
  | | (62145, GKN) [22]
  | | | | (114, BOY) [1]
  | | | (59135, SGY) [19]
  | | | | | (172, NYI) [1]
  | | | | (45126, HRB) [17]
  | | | | | | | (521, CVT) [2]
  | | | | | | | | (520, BHX) [1]
  | | | | | | (6427, KAJ) [6]
  | | | | | | | | (48, CBQ) [1]
  | | | | | | | (557, LDY) [3]
  | | | | | | | | (65, BNI) [1]
  | | | | | (38121, DLC) [15]
  | | | | | | (6524, KEM) [8]
  | | | | | | | (6323, KAU) [7]
  | | | | | | | | | (77, MJC) [1]
  | | | | | | | | (6225, JYV) [6]
  | | | | | | | | | | (66, DJO) [1]
  | | | | | | | | | (95, HGO) [4]
  | | | | | | | | | | (74, BYK) [2]
  | | | | | | | | | | | (11, ABJ) [1]
  | (64147, FBK) [64]
  | | | (60151, ENA) [3]
  | | | | (5900, YEV) [2]
  | | | | | (536, BMK) [1]
  | | (64146, FAI) [41]
  | | | | | (6889, YBB) [2]
  | | | | | | (50, ACC) [1]
  | | | | (9147, POM) [18]
  | | | | | | | (5097, YAV) [2]
  | | | | | | | | (4684, YAM) [1]
  | | | | | | (6320, VEY) [6]
  | | | | | | | (5156, YAY) [3]
  | | | | | | | | (4462, YAW) [2]
  | | | | | | | | | (3143, WWK) [1]
  | | | | | (6827, IVL) [15]
  | | | | | | | | (5145, MAG) [1]
  | | | | | | | (6229, JOE) [3]
  | | | | | | | | (6145, GKA) [1]
  | | | | | | (6368, YFB) [8]
  | | | | | | | | (4566, YFC) [1]
  | | | | | | | (6146, LAE) [4]
  | | | | | | | | (5144, HGU) [2]
  | | | | | | | | | (5000, YDQ) [1]
  | | | (49125, YAZ) [37]
  | | | | | | (537, EME) [1]
  | | | | | (538, WVN) [6]
  | | | | | | (322, GHA) [4]
  | | | | | | | | (121, OUA) [1]
  | | | | | | | (186, KEL) [3]
  | | | | | | | | (92, PKO) [1]
  | | | | (5310, LBC) [18]
  | | | | | | | (539, XFW) [2]
  | | | | | | | | (319, EBM) [1]
  | | | | | | (3310, DJE) [5]
  | | | | | | | (126, QUS) [2]
  | | | | | | | | (67, ENU) [1]
  | | | | | (3410, SFA) [11]
  | | | | | | (498, MHG) [5]
  | | | | | | | (497, HHN) [4]
  | | | | | | | | | (61, LFW) [1]
  | | | | | | | | (338, TOE) [3]
  | | | | | | | | | (91, LRL) [1]
extract[H2]: GAL
extract[H2]: FBK
extract[H2]: FAI
extract[H2]: GKN
extract[H2]: ENA
list[H2]:
  (59154, ILI) [82]
  (37121, YNT) [22]
  (36120, TAO) [5]
  (31121, SHA) [1]
  []
  []
  (31118, NKG) [3]
  (31117, HFE) [1]
  []
  []
  (29121, NGB) [1]
  []
  []
  (30103, CTU) [16]
  (316, HME) [2]
  []
  (272, INZ) [1]
  []
  []
  (29106, CKG) [13]
  []
  (6823, ENF) [12]
  (6124, KEV) [5]
  (6025, HEM) [2]
  []
  (302, ELG) [1]
  []
  []
  (6024, HEL) [2]
  []
  (345, BSK) [1]
  []
  []
  (5924, TLL) [6]
  (4387, URC) [2]
  []
  (3779, HTN) [1]
  []
  []
  (548, GWT) [3]
  []
  (535, NRD) [2]
  []
  (290, TMX) [1]
  []
  []
  (59151, HOM) [59]
  (59135, SGY) [19]
  (114, BOY) [1]
  []
  []
  (45126, HRB) [17]
  (172, NYI) [1]
  []
  []
  (38121, DLC) [15]
  (6427, KAJ) [6]
  (521, CVT) [2]
  []
  (520, BHX) [1]
  []
  []
  (557, LDY) [3]
  (48, CBQ) [1]
  []
  []
  (65, BNI) [1]
  []
  []
  (6524, KEM) [8]
  []
  (6323, KAU) [7]
  []
  (6225, JYV) [6]
  (77, MJC) [1]
  []
  []
  (95, HGO) [4]
  (66, DJO) [1]
  []
  []
  (74, BYK) [2]
  []
  (11, ABJ) [1]
  []
  []
  (49125, YAZ) [39]
  (5310, LBC) [18]
  (538, WVN) [6]
  (537, EME) [1]
  []
  []
  (322, GHA) [4]
  []
  (186, KEL) [3]
  (121, OUA) [1]
  []
  []
  (92, PKO) [1]
  []
  []
  (3410, SFA) [11]
  (3310, DJE) [5]
  (539, XFW) [2]
  []
  (319, EBM) [1]
  []
  []
  (126, QUS) [2]
  []
  (67, ENU) [1]
  []
  []
  (498, MHG) [5]
  []
  (497, HHN) [4]
  []
  (338, TOE) [3]
  (61, LFW) [1]
  []
  []
  (91, LRL) [1]
  []
  []
  (9147, POM) [20]
  (6889, YBB) [4]
  (50, ACC) [1]
  []
  []
  (5900, YEV) [2]
  []
  (536, BMK) [1]
  []
  []
  (6827, IVL) [15]
  (6320, VEY) [6]
  (5097, YAV) [2]
  []
  (4684, YAM) [1]
  []
  []
  (5156, YAY) [3]
  []
  (4462, YAW) [2]
  []
  (3143, WWK) [1]
  []
  []
  (6368, YFB) [8]
  (6229, JOE) [3]
  (5145, MAG) [1]
  []
  []
  (6145, GKA) [1]
  []
  []
  (6146, LAE) [4]
  (4566, YFC) [1]
  []
  []
  (5144, HGU) [2]
  []
  (5000, YDQ) [1]
  []
  []
Formatted structure:
  | | | (31121, SHA) [1]
  | | (36120, TAO) [5]
  | | | | (31117, HFE) [1]
  | | | (31118, NKG) [3]
  | | | | (29121, NGB) [1]
  | (37121, YNT) [22]
  | | | (316, HME) [2]
  | | | | (272, INZ) [1]
  | | (30103, CTU) [16]
  | | | (29106, CKG) [13]
  | | | | | | (6025, HEM) [2]
  | | | | | | | (302, ELG) [1]
  | | | | | (6124, KEV) [5]
  | | | | | | (6024, HEL) [2]
  | | | | | | | (345, BSK) [1]
  | | | | (6823, ENF) [12]
  | | | | | | (4387, URC) [2]
  | | | | | | | (3779, HTN) [1]
  | | | | | (5924, TLL) [6]
  | | | | | | (548, GWT) [3]
  | | | | | | | (535, NRD) [2]
  | | | | | | | | (290, TMX) [1]
  (59154, ILI) [82]
  | | | (114, BOY) [1]
  | | (59135, SGY) [19]
  | | | | (172, NYI) [1]
  | | | (45126, HRB) [17]
  | | | | | | (521, CVT) [2]
  | | | | | | | (520, BHX) [1]
  | | | | | (6427, KAJ) [6]
  | | | | | | | (48, CBQ) [1]
  | | | | | | (557, LDY) [3]
  | | | | | | | (65, BNI) [1]
  | | | | (38121, DLC) [15]
  | | | | | (6524, KEM) [8]
  | | | | | | (6323, KAU) [7]
  | | | | | | | | (77, MJC) [1]
  | | | | | | | (6225, JYV) [6]
  | | | | | | | | | (66, DJO) [1]
  | | | | | | | | (95, HGO) [4]
  | | | | | | | | | (74, BYK) [2]
  | | | | | | | | | | (11, ABJ) [1]
  | (59151, HOM) [59]
  | | | | | (537, EME) [1]
  | | | | (538, WVN) [6]
  | | | | | (322, GHA) [4]
  | | | | | | | (121, OUA) [1]
  | | | | | | (186, KEL) [3]
  | | | | | | | (92, PKO) [1]
  | | | (5310, LBC) [18]
  | | | | | | (539, XFW) [2]
  | | | | | | | (319, EBM) [1]
  | | | | | (3310, DJE) [5]
  | | | | | | (126, QUS) [2]
  | | | | | | | (67, ENU) [1]
  | | | | (3410, SFA) [11]
  | | | | | (498, MHG) [5]
  | | | | | | (497, HHN) [4]
  | | | | | | | | (61, LFW) [1]
  | | | | | | | (338, TOE) [3]
  | | | | | | | | (91, LRL) [1]
  | | (49125, YAZ) [39]
  | | | | | (50, ACC) [1]
  | | | | (6889, YBB) [4]
  | | | | | (5900, YEV) [2]
  | | | | | | (536, BMK) [1]
  | | | (9147, POM) [20]
  | | | | | | (5097, YAV) [2]
  | | | | | | | (4684, YAM) [1]
  | | | | | (6320, VEY) [6]
  | | | | | | (5156, YAY) [3]
  | | | | | | | (4462, YAW) [2]
  | | | | | | | | (3143, WWK) [1]
  | | | | (6827, IVL) [15]
  | | | | | | | (5145, MAG) [1]
  | | | | | | (6229, JOE) [3]
  | | | | | | | (6145, GKA) [1]
  | | | | | (6368, YFB) [8]
  | | | | | | | (4566, YFC) [1]
  | | | | | | (6146, LAE) [4]
  | | | | | | | (5144, HGU) [2]
  | | | | | | | | (5000, YDQ) [1]
extract[H2]: ILI
extract[H2]: HOM
extract[H2]: SGY
extract[H2]: YAZ
extract[H2]: HRB
extract[H2]: DLC
extract[H2]: YNT
extract[H2]: TAO
extract[H2]: SHA
extract[H2]: NKG
extract[H2]: HFE
extract[H2]: CTU
extract[H2]: NGB
extract[H2]: CKG
extract[H2]: POM
extract[H2]: YBB
extract[H2]: IVL
list[H2]:
  (6823, ENF) [65]
  (6368, YFB) [16]
  (6229, JOE) [5]
  (6145, GKA) [1]
  []
  []
  (5900, YEV) [3]
  (5145, MAG) [1]
  []
  []
  (536, BMK) [1]
  []
  []
  (6146, LAE) [10]
  (5144, HGU) [2]
  []
  (5000, YDQ) [1]
  []
  []
  (6124, KEV) [7]
  (6024, HEL) [3]
  (4566, YFC) [1]
  []
  []
  (345, BSK) [1]
  []
  []
  (6025, HEM) [3]
  (50, ACC) [1]
  []
  []
  (302, ELG) [1]
  []
  []
  (6524, KEM) [48]
  (6427, KAJ) [22]
  (6323, KAU) [10]
  (557, LDY) [3]
  (48, CBQ) [1]
  []
  []
  (65, BNI) [1]
  []
  []
  (6225, JYV) [6]
  (77, MJC) [1]
  []
  []
  (95, HGO) [4]
  (66, DJO) [1]
  []
  []
  (74, BYK) [2]
  []
  (11, ABJ) [1]
  []
  []
  (6320, VEY) [11]
  (5156, YAY) [3]
  []
  (4462, YAW) [2]
  []
  (3143, WWK) [1]
  []
  []
  (5097, YAV) [7]
  (4684, YAM) [1]
  []
  []
  (521, CVT) [5]
  (520, BHX) [2]
  []
  (114, BOY) [1]
  []
  []
  (316, HME) [2]
  []
  (272, INZ) [1]
  []
  []
  (5924, TLL) [25]
  (548, GWT) [3]
  []
  (535, NRD) [2]
  []
  (290, TMX) [1]
  []
  []
  (5310, LBC) [21]
  (4387, URC) [9]
  (3779, HTN) [1]
  []
  []
  (538, WVN) [7]
  (537, EME) [2]
  []
  (172, NYI) [1]
  []
  []
  (322, GHA) [4]
  []
  (186, KEL) [3]
  (121, OUA) [1]
  []
  []
  (92, PKO) [1]
  []
  []
  (3410, SFA) [11]
  (3310, DJE) [5]
  (539, XFW) [2]
  []
  (319, EBM) [1]
  []
  []
  (126, QUS) [2]
  []
  (67, ENU) [1]
  []
  []
  (498, MHG) [5]
  []
  (497, HHN) [4]
  []
  (338, TOE) [3]
  (61, LFW) [1]
  []
  []
  (91, LRL) [1]
  []
  []
Formatted structure:
  | | | (6145, GKA) [1]
  | | (6229, JOE) [5]
  | | | | (5145, MAG) [1]
  | | | (5900, YEV) [3]
  | | | | (536, BMK) [1]
  | (6368, YFB) [16]
  | | | (5144, HGU) [2]
  | | | | (5000, YDQ) [1]
  | | (6146, LAE) [10]
  | | | | | (4566, YFC) [1]
  | | | | (6024, HEL) [3]
  | | | | | (345, BSK) [1]
  | | | (6124, KEV) [7]
  | | | | | (50, ACC) [1]
  | | | | (6025, HEM) [3]
  | | | | | (302, ELG) [1]
  (6823, ENF) [65]
  | | | | | (48, CBQ) [1]
  | | | | (557, LDY) [3]
  | | | | | (65, BNI) [1]
  | | | (6323, KAU) [10]
  | | | | | (77, MJC) [1]
  | | | | (6225, JYV) [6]
  | | | | | | (66, DJO) [1]
  | | | | | (95, HGO) [4]
  | | | | | | (74, BYK) [2]
  | | | | | | | (11, ABJ) [1]
  | | (6427, KAJ) [22]
  | | | | (5156, YAY) [3]
  | | | | | (4462, YAW) [2]
  | | | | | | (3143, WWK) [1]
  | | | (6320, VEY) [11]
  | | | | | (4684, YAM) [1]
  | | | | (5097, YAV) [7]
  | | | | | | (520, BHX) [2]
  | | | | | | | (114, BOY) [1]
  | | | | | (521, CVT) [5]
  | | | | | | (316, HME) [2]
  | | | | | | | (272, INZ) [1]
  | (6524, KEM) [48]
  | | | (548, GWT) [3]
  | | | | (535, NRD) [2]
  | | | | | (290, TMX) [1]
  | | (5924, TLL) [25]
  | | | | | (3779, HTN) [1]
  | | | | (4387, URC) [9]
  | | | | | | (537, EME) [2]
  | | | | | | | (172, NYI) [1]
  | | | | | (538, WVN) [7]
  | | | | | | (322, GHA) [4]
  | | | | | | | | (121, OUA) [1]
  | | | | | | | (186, KEL) [3]
  | | | | | | | | (92, PKO) [1]
  | | | (5310, LBC) [21]
  | | | | | | (539, XFW) [2]
  | | | | | | | (319, EBM) [1]
  | | | | | (3310, DJE) [5]
  | | | | | | (126, QUS) [2]
  | | | | | | | (67, ENU) [1]
  | | | | (3410, SFA) [11]
  | | | | | (498, MHG) [5]
  | | | | | | (497, HHN) [4]
  | | | | | | | | (61, LFW) [1]
  | | | | | | | (338, TOE) [3]
  | | | | | | | | (91, LRL) [1]
extract[H2]: ENF
extract[H2]: KEM
extract[H2]: KAJ
extract[H2]: YFB
extract[H2]: KAU
extract[H2]: VEY
extract[H2]: JOE
extract[H2]: JYV
extract[H2]: LAE
extract[H2]: GKA
extract[H2]: KEV
extract[H2]: HEM
extract[H2]: HEL
extract[H2]: TLL
extract[H2]: YEV
extract[H2]: LBC
extract[H2]: YAY
extract[H2]: MAG
extract[H2]: HGU
extract[H2]: YAV
extract[H2]: YDQ
extract[H2]: YAM
extract[H2]: YFC
extract[H2]: YAW
extract[H2]: URC
extract[H2]: HTN
extract[H2]: SFA
extract[H2]: DJE
extract[H2]: WWK
extract[H2]: LDY
list[H2]:
  (548, GWT) [35]
  (345, BSK) [8]
  []
  (302, ELG) [7]
  (65, BNI) [2]
  []
  (50, ACC) [1]
  []
  []
  (95, HGO) [4]
  (66, DJO) [1]
  []
  []
  (74, BYK) [2]
  []
  (11, ABJ) [1]
  []
  []
  (539, XFW) [26]
  (538, WVN) [10]
  (322, GHA) [4]
  []
  (186, KEL) [3]
  (121, OUA) [1]
  []
  []
  (92, PKO) [1]
  []
  []
  (537, EME) [5]
  (172, NYI) [1]
  []
  []
  (535, NRD) [3]
  (77, MJC) [1]
  []
  []
  (290, TMX) [1]
  []
  []
  (536, BMK) [15]
  (521, CVT) [5]
  (520, BHX) [2]
  []
  (114, BOY) [1]
  []
  []
  (316, HME) [2]
  []
  (272, INZ) [1]
  []
  []
  (498, MHG) [9]
  (319, EBM) [4]
  (48, CBQ) [1]
  []
  []
  (126, QUS) [2]
  []
  (67, ENU) [1]
  []
  []
  (497, HHN) [4]
  []
  (338, TOE) [3]
  (61, LFW) [1]
  []
  []
  (91, LRL) [1]
  []
  []
Formatted structure:
  | (345, BSK) [8]
  | | | (65, BNI) [2]
  | | | | (50, ACC) [1]
  | | (302, ELG) [7]
  | | | | (66, DJO) [1]
  | | | (95, HGO) [4]
  | | | | (74, BYK) [2]
  | | | | | (11, ABJ) [1]
  (548, GWT) [35]
  | | | (322, GHA) [4]
  | | | | | (121, OUA) [1]
  | | | | (186, KEL) [3]
  | | | | | (92, PKO) [1]
  | | (538, WVN) [10]
  | | | | (172, NYI) [1]
  | | | (537, EME) [5]
  | | | | | (77, MJC) [1]
  | | | | (535, NRD) [3]
  | | | | | (290, TMX) [1]
  | (539, XFW) [26]
  | | | | (520, BHX) [2]
  | | | | | (114, BOY) [1]
  | | | (521, CVT) [5]
  | | | | (316, HME) [2]
  | | | | | (272, INZ) [1]
  | | (536, BMK) [15]
  | | | | | (48, CBQ) [1]
  | | | | (319, EBM) [4]
  | | | | | (126, QUS) [2]
  | | | | | | (67, ENU) [1]
  | | | (498, MHG) [9]
  | | | | (497, HHN) [4]
  | | | | | | (61, LFW) [1]
  | | | | | (338, TOE) [3]
  | | | | | | (91, LRL) [1]
extract[H2]: GWT
extract[H2]: XFW
extract[H2]: WVN
extract[H2]: EME
extract[H2]: BMK
extract[H2]: NRD
extract[H2]: CVT
extract[H2]: BHX
extract[H2]: MHG
extract[H2]: HHN
extract[H2]: BSK
extract[H2]: TOE
extract[H2]: GHA
extract[H2]: EBM
extract[H2]: HME
extract[H2]: ELG
extract[H2]: TMX
list[H2]:
  (272, INZ) [18]
  (186, KEL) [6]
  (92, PKO) [2]
  []
  (48, CBQ) [1]
  []
  []
  (121, OUA) [3]
  []
  (65, BNI) [2]
  []
  (50, ACC) [1]
  []
  []
  (172, NYI) [11]
  (126, QUS) [4]
  (67, ENU) [1]
  []
  []
  (77, MJC) [2]
  []
  (61, LFW) [1]
  []
  []
  (114, BOY) [6]
  (91, LRL) [1]
  []
  []
  (95, HGO) [4]
  (66, DJO) [1]
  []
  []
  (74, BYK) [2]
  []
  (11, ABJ) [1]
  []
  []
Formatted structure:
  | | (92, PKO) [2]
  | | | (48, CBQ) [1]
  | (186, KEL) [6]
  | | (121, OUA) [3]
  | | | (65, BNI) [2]
  | | | | (50, ACC) [1]
  (272, INZ) [18]
  | | | (67, ENU) [1]
  | | (126, QUS) [4]
  | | | (77, MJC) [2]
  | | | | (61, LFW) [1]
  | (172, NYI) [11]
  | | | (91, LRL) [1]
  | | (114, BOY) [6]
  | | | | (66, DJO) [1]
  | | | (95, HGO) [4]
  | | | | (74, BYK) [2]
  | | | | | (11, ABJ) [1]
extract[H2]: INZ
extract[H2]: KEL
extract[H2]: NYI
extract[H2]: QUS
extract[H2]: OUA
extract[H2]: BOY
extract[H2]: HGO
extract[H2]: PKO
extract[H2]: LRL
extract[H2]: MJC
extract[H2]: BYK
extract[H2]: ENU
extract[H2]: DJO
extract[H2]: BNI
extract[H2]: LFW
extract[H2]: ACC
extract[H2]: CBQ
list[H2]:
  (11, ABJ) [1]
  []
  []
Formatted structure:
  (11, ABJ) [1]
