((((((((1:0:1)2:1:2)3:2:3)4:3:4)5:4:5)6:5:6)7:6:13(8:5:6(9:4:5(10:3:4(11:2:3(12:1:2(13:0:1)))))))14:7:27(((((((15:0:1)16:1:2)17:2:3)18:3:4)19:4:5)20:5:6)21:6:13(22:5:6(23:4:5(24:3:4(25:2:3(26:1:2(27:0:1)))))))) ***** ExpBST Report size = 27 height = 7 height/log(size) = 1.47217 numRebalance = 0 failedRebalance = 0 exceedsHeight = 0 maxRebalanceDepth = 3 minRebalanceHeight = 3 rebalanceFactor = 2 removing ... removing 27 ((((((((1:0:1)2:1:2)3:2:3)4:3:4)5:4:5)6:5:6)7:6:13(8:5:6(9:4:5(10:3:4(11:2:3(12:1:2(13:0:1)))))))14:7:26(((((((15:0:1)16:1:2)17:2:3)18:3:4)19:4:5)20:5:6)21:6:12(22:4:5(23:3:4(24:2:3(25:1:2(26:0:1))))))) removing 26 ((((((((1:0:1)2:1:2)3:2:3)4:3:4)5:4:5)6:5:6)7:6:13(8:5:6(9:4:5(10:3:4(11:2:3(12:1:2(13:0:1)))))))14:7:25(((((((15:0:1)16:1:2)17:2:3)18:3:4)19:4:5)20:5:6)21:6:11(22:3:4(23:2:3(24:1:2(25:0:1)))))) removing 25 ((((((((1:0:1)2:1:2)3:2:3)4:3:4)5:4:5)6:5:6)7:6:13(8:5:6(9:4:5(10:3:4(11:2:3(12:1:2(13:0:1)))))))14:7:24(((((((15:0:1)16:1:2)17:2:3)18:3:4)19:4:5)20:5:6)21:6:10(22:2:3(23:1:2(24:0:1))))) removing 24 ((((((((1:0:1)2:1:2)3:2:3)4:3:4)5:4:5)6:5:6)7:6:13(8:5:6(9:4:5(10:3:4(11:2:3(12:1:2(13:0:1)))))))14:7:23(((((((15:0:1)16:1:2)17:2:3)18:3:4)19:4:5)20:5:6)21:6:9(22:1:2(23:0:1)))) removing 23 ((((((((1:0:1)2:1:2)3:2:3)4:3:4)5:4:5)6:5:6)7:6:13(8:5:6(9:4:5(10:3:4(11:2:3(12:1:2(13:0:1)))))))14:7:22(((((((15:0:1)16:1:2)17:2:3)18:3:4)19:4:5)20:5:6)21:6:8(22:0:1))) removing 22 ((((((((1:0:1)2:1:2)3:2:3)4:3:4)5:4:5)6:5:6)7:6:13(8:5:6(9:4:5(10:3:4(11:2:3(12:1:2(13:0:1)))))))14:7:21(((((15:0:1)16:1:2)17:2:3)18:3:4)19:4:7(20:1:2(21:0:1)))) removing 21 ((((((((1:0:1)2:1:2)3:2:3)4:3:4)5:4:5)6:5:6)7:6:13(8:5:6(9:4:5(10:3:4(11:2:3(12:1:2(13:0:1)))))))14:7:20(((((15:0:1)16:1:2)17:2:3)18:3:4)19:4:6(20:0:1))) removing 20 ((((((((1:0:1)2:1:2)3:2:3)4:3:4)5:4:5)6:5:6)7:6:13(8:5:6(9:4:5(10:3:4(11:2:3(12:1:2(13:0:1)))))))14:7:19(((((15:0:1)16:1:2)17:2:3)18:3:4)19:4:5)) removing 19 ((((((((1:0:1)2:1:2)3:2:3)4:3:4)5:4:5)6:5:6)7:6:13(8:5:6(9:4:5(10:3:4(11:2:3(12:1:2(13:0:1)))))))14:7:18((((15:0:1)16:1:2)17:2:3)18:3:4)) removing 18 ((((((((1:0:1)2:1:2)3:2:3)4:3:4)5:4:5)6:5:6)7:6:13(8:5:6(9:4:5(10:3:4(11:2:3(12:1:2(13:0:1)))))))14:7:17(((15:0:1)16:1:2)17:2:3)) removing 17 ((((((((1:0:1)2:1:2)3:2:3)4:3:4)5:4:5)6:5:6)7:6:13(8:5:6(9:4:5(10:3:4(11:2:3(12:1:2(13:0:1)))))))14:7:16((15:0:1)16:1:2)) removing 16 ((((((((1:0:1)2:1:2)3:2:3)4:3:4)5:4:5)6:5:6)7:6:13(8:5:6(9:4:5(10:3:4(11:2:3(12:1:2(13:0:1)))))))14:7:15(15:0:1)) removing 15 ((((((((1:0:1)2:1:2)3:2:3)4:3:4)5:4:5)6:5:6)7:6:13(8:5:6(9:4:5(10:3:4(11:2:3(12:1:2(13:0:1)))))))14:7:14) removing 9 ((((((((1:0:1)2:1:2)3:2:3)4:3:4)5:4:5)6:5:6)7:6:12(8:4:5(10:3:4(11:2:3(12:1:2(13:0:1))))))14:7:13) ***** ExpBST Report size = 13 height = 7 height/log(size) = 1.89167 numRebalance = 1 failedRebalance = 0 exceedsHeight = 0 maxRebalanceDepth = 3 minRebalanceHeight = 3 rebalanceFactor = 2