comment: Rebuild-offset=5
initialize: rebuild-offset = 5 bounding-box = [(0.0,0.0),(10.0,10.0)]
insert(ATL): successful {Atlanta, (1.0,4.0)}
insert(JFK): successful {New York, (9.0,4.0)}
insert(BWI): successful {Baltimore, (8.0,9.0)}
insert(IAD): successful {Dulles, (2.0,1.0)}
insert(ORD): successful {Chicago, (2.0,6.0)}
insert(DFW): successful {Dallas-Fort Worth, (3.0,8.0)}
insert(DCA): successful {Washington, (6.0,7.0)}
insert(LAX): successful {Los Angeles, (4.0,2.0)}
insert(SEA): successful {Seattle, (5.0,4.0)}
insert(SFO): successful {San Francisco, (7.0,1.0)}
alert: The following insertion should result in a duplicate-point exception
insert(PVD): Failure due to exception: "Insertion of duplicate point"
list:
  (x=5.0) 10:0
  (y=5.0) 5:0
  (x=7.5) 2:0
  [BWI: (8.0,9.0)]
  [DCA: (6.0,7.0)]
  (x=7.5) 3:0
  [JFK: (9.0,4.0)]
  (y=2.5) 2:0
  [SEA: (5.0,4.0)]
  [SFO: (7.0,1.0)]
  (y=5.0) 5:0
  (x=2.5) 2:0
  [DFW: (3.0,8.0)]
  [ORD: (2.0,6.0)]
  (x=2.5) 3:0
  [LAX: (4.0,2.0)]
  (y=2.5) 2:0
  [ATL: (1.0,4.0)]
  [IAD: (2.0,1.0)]
Tree structure:
  | | | [BWI: (8.0,9.0)]
  | | (x=7.5) 2:0
  | | | [DCA: (6.0,7.0)]
  | (y=5.0) 5:0
  | | | [JFK: (9.0,4.0)]
  | | (x=7.5) 3:0
  | | | | [SEA: (5.0,4.0)]
  | | | (y=2.5) 2:0
  | | | | [SFO: (7.0,1.0)]
  (x=5.0) 10:0
  | | | [DFW: (3.0,8.0)]
  | | (x=2.5) 2:0
  | | | [ORD: (2.0,6.0)]
  | (y=5.0) 5:0
  | | | [LAX: (4.0,2.0)]
  | | (x=2.5) 3:0
  | | | | [ATL: (1.0,4.0)]
  | | | (y=2.5) 2:0
  | | | | [IAD: (2.0,1.0)]
size: 10
delete-count: 0
delete(ORD): successful
list:
  (x=5.0) 9:0
  (y=5.0) 5:0
  (x=7.5) 2:0
  [BWI: (8.0,9.0)]
  [DCA: (6.0,7.0)]
  (x=7.5) 3:0
  [JFK: (9.0,4.0)]
  (y=2.5) 2:0
  [SEA: (5.0,4.0)]
  [SFO: (7.0,1.0)]
  (y=5.0) 4:0
  (x=2.5) 1:0
  [DFW: (3.0,8.0)]
  [null]
  (x=2.5) 3:0
  [LAX: (4.0,2.0)]
  (y=2.5) 2:0
  [ATL: (1.0,4.0)]
  [IAD: (2.0,1.0)]
Tree structure:
  | | | [BWI: (8.0,9.0)]
  | | (x=7.5) 2:0
  | | | [DCA: (6.0,7.0)]
  | (y=5.0) 5:0
  | | | [JFK: (9.0,4.0)]
  | | (x=7.5) 3:0
  | | | | [SEA: (5.0,4.0)]
  | | | (y=2.5) 2:0
  | | | | [SFO: (7.0,1.0)]
  (x=5.0) 9:0
  | | | [DFW: (3.0,8.0)]
  | | (x=2.5) 1:0
  | | | [null]
  | (y=5.0) 4:0
  | | | [LAX: (4.0,2.0)]
  | | (x=2.5) 3:0
  | | | | [ATL: (1.0,4.0)]
  | | | (y=2.5) 2:0
  | | | | [IAD: (2.0,1.0)]
size: 9
delete-count: 1
delete(DFW): successful
list:
  (x=5.0) 8:0
  (y=5.0) 5:0
  (x=7.5) 2:0
  [BWI: (8.0,9.0)]
  [DCA: (6.0,7.0)]
  (x=7.5) 3:0
  [JFK: (9.0,4.0)]
  (y=2.5) 2:0
  [SEA: (5.0,4.0)]
  [SFO: (7.0,1.0)]
  (y=5.0) 3:0
  (x=2.5) 0:0
  [null]
  [null]
  (x=2.5) 3:0
  [LAX: (4.0,2.0)]
  (y=2.5) 2:0
  [ATL: (1.0,4.0)]
  [IAD: (2.0,1.0)]
Tree structure:
  | | | [BWI: (8.0,9.0)]
  | | (x=7.5) 2:0
  | | | [DCA: (6.0,7.0)]
  | (y=5.0) 5:0
  | | | [JFK: (9.0,4.0)]
  | | (x=7.5) 3:0
  | | | | [SEA: (5.0,4.0)]
  | | | (y=2.5) 2:0
  | | | | [SFO: (7.0,1.0)]
  (x=5.0) 8:0
  | | | [null]
  | | (x=2.5) 0:0
  | | | [null]
  | (y=5.0) 3:0
  | | | [LAX: (4.0,2.0)]
  | | (x=2.5) 3:0
  | | | | [ATL: (1.0,4.0)]
  | | | (y=2.5) 2:0
  | | | | [IAD: (2.0,1.0)]
size: 8
delete-count: 2
delete(DCA): successful
list:
  (x=5.0) 7:0
  (y=5.0) 4:0
  (x=7.5) 1:0
  [BWI: (8.0,9.0)]
  [null]
  (x=7.5) 3:0
  [JFK: (9.0,4.0)]
  (y=2.5) 2:0
  [SEA: (5.0,4.0)]
  [SFO: (7.0,1.0)]
  (y=5.0) 3:0
  (x=2.5) 0:0
  [null]
  [null]
  (x=2.5) 3:0
  [LAX: (4.0,2.0)]
  (y=2.5) 2:0
  [ATL: (1.0,4.0)]
  [IAD: (2.0,1.0)]
Tree structure:
  | | | [BWI: (8.0,9.0)]
  | | (x=7.5) 1:0
  | | | [null]
  | (y=5.0) 4:0
  | | | [JFK: (9.0,4.0)]
  | | (x=7.5) 3:0
  | | | | [SEA: (5.0,4.0)]
  | | | (y=2.5) 2:0
  | | | | [SFO: (7.0,1.0)]
  (x=5.0) 7:0
  | | | [null]
  | | (x=2.5) 0:0
  | | | [null]
  | (y=5.0) 3:0
  | | | [LAX: (4.0,2.0)]
  | | (x=2.5) 3:0
  | | | | [ATL: (1.0,4.0)]
  | | | (y=2.5) 2:0
  | | | | [IAD: (2.0,1.0)]
size: 7
delete-count: 3
delete(LAX): successful
list:
  (x=5.0) 6:0
  (y=5.0) 4:0
  (x=7.5) 1:0
  [BWI: (8.0,9.0)]
  [null]
  (x=7.5) 3:0
  [JFK: (9.0,4.0)]
  (y=2.5) 2:0
  [SEA: (5.0,4.0)]
  [SFO: (7.0,1.0)]
  (y=5.0) 2:0
  (x=2.5) 0:0
  [null]
  [null]
  (x=2.5) 2:0
  [null]
  (y=2.5) 2:0
  [ATL: (1.0,4.0)]
  [IAD: (2.0,1.0)]
Tree structure:
  | | | [BWI: (8.0,9.0)]
  | | (x=7.5) 1:0
  | | | [null]
  | (y=5.0) 4:0
  | | | [JFK: (9.0,4.0)]
  | | (x=7.5) 3:0
  | | | | [SEA: (5.0,4.0)]
  | | | (y=2.5) 2:0
  | | | | [SFO: (7.0,1.0)]
  (x=5.0) 6:0
  | | | [null]
  | | (x=2.5) 0:0
  | | | [null]
  | (y=5.0) 2:0
  | | | [null]
  | | (x=2.5) 2:0
  | | | | [ATL: (1.0,4.0)]
  | | | (y=2.5) 2:0
  | | | | [IAD: (2.0,1.0)]
size: 6
delete-count: 4
alert: The following deletion should result in a nonexistent-point exception
delete-point((4.0,2.0)): Failure due to exception: "Deletion of nonexistent point"
delete(BWI): successful
list:
  (x=5.0) 5:0
  (y=5.0) 3:0
  (x=7.5) 0:0
  [null]
  [null]
  (x=7.5) 3:0
  [JFK: (9.0,4.0)]
  (y=2.5) 2:0
  [SEA: (5.0,4.0)]
  [SFO: (7.0,1.0)]
  (y=5.0) 2:0
  (x=2.5) 0:0
  [null]
  [null]
  (x=2.5) 2:0
  [null]
  (y=2.5) 2:0
  [ATL: (1.0,4.0)]
  [IAD: (2.0,1.0)]
Tree structure:
  | | | [null]
  | | (x=7.5) 0:0
  | | | [null]
  | (y=5.0) 3:0
  | | | [JFK: (9.0,4.0)]
  | | (x=7.5) 3:0
  | | | | [SEA: (5.0,4.0)]
  | | | (y=2.5) 2:0
  | | | | [SFO: (7.0,1.0)]
  (x=5.0) 5:0
  | | | [null]
  | | (x=2.5) 0:0
  | | | [null]
  | (y=5.0) 2:0
  | | | [null]
  | | (x=2.5) 2:0
  | | | | [ATL: (1.0,4.0)]
  | | | (y=2.5) 2:0
  | | | | [IAD: (2.0,1.0)]
size: 5
delete-count: 5
comment: The following deletion should result in a full rebuild
delete(JFK): successful
list:
  (x=5.0) 4:0
  (y=4.0) 2:0
  [SEA: (5.0,4.0)]
  [SFO: (7.0,1.0)]
  (y=4.0) 2:0
  [ATL: (1.0,4.0)]
  [IAD: (2.0,1.0)]
Tree structure:
  | | [SEA: (5.0,4.0)]
  | (y=4.0) 2:0
  | | [SFO: (7.0,1.0)]
  (x=5.0) 4:0
  | | [ATL: (1.0,4.0)]
  | (y=4.0) 2:0
  | | [IAD: (2.0,1.0)]
size: 4
delete-count: 0
clear: successful
list:
  [null]
Tree structure:
  [null]
size: 0
delete-count: 0
alert: The following deletion should result in a nonexistent-point exception
delete-point((6.0,7.0)): Failure due to exception: "Deletion of nonexistent point"
list:
  [null]
Tree structure:
  [null]
size: 0
delete-count: 0
