;;;------------------------------------------------------------------------- ;;; Insertion. ;; Starting point for the following tests. tree dump, ht = 4 #0x00000000 (n = 1) (=) 110 #0x00000002 (n = 3) (=) 120 #0x00000001 (n = 1) (=) 130 #0x00000004 (n = 5) (-) 140 #0x00000003 (n = 1) (=) 150 #0x0000000a (n = 11) (=) 200 #0x00000005 (n = 1) (=) 310 #0x00000009 (n = 5) (+) 320 #0x00000006 (n = 1) (=) 330 #0x00000008 (n = 3) (=) 340 #0x00000007 (n = 1) (=) 350 ;; Counter-biased parent. 305 tree dump, ht = 4 #0x0000000e (n = 1) (=) 110 #0x0000000d (n = 3) (=) 120 #0x0000000f (n = 1) (=) 130 #0x0000000c (n = 5) (-) 140 #0x00000010 (n = 1) (=) 150 #0x0000000b (n = 12) (=) 200 #0x00000016 (n = 1) (=) 305 #0x00000012 (n = 2) (-) 310 #0x00000011 (n = 6) (=) 320 #0x00000014 (n = 1) (=) 330 #0x00000013 (n = 3) (=) 340 #0x00000015 (n = 1) (=) 350 155 tree dump, ht = 4 #0x0000001a (n = 1) (=) 110 #0x00000019 (n = 3) (=) 120 #0x0000001b (n = 1) (=) 130 #0x00000018 (n = 6) (=) 140 #0x0000001c (n = 2) (+) 150 #0x00000022 (n = 1) (=) 155 #0x00000017 (n = 12) (=) 200 #0x0000001e (n = 1) (=) 310 #0x0000001d (n = 5) (+) 320 #0x00000020 (n = 1) (=) 330 #0x0000001f (n = 3) (=) 340 #0x00000021 (n = 1) (=) 350 ;; Cobiased parent, outer descendant. 105 tree dump, ht = 4 #0x0000002e (n = 1) (=) 105 #0x00000026 (n = 2) (-) 110 #0x00000025 (n = 6) (=) 120 #0x00000027 (n = 1) (=) 130 #0x00000024 (n = 3) (=) 140 #0x00000028 (n = 1) (=) 150 #0x00000023 (n = 12) (=) 200 #0x0000002a (n = 1) (=) 310 #0x00000029 (n = 5) (+) 320 #0x0000002c (n = 1) (=) 330 #0x0000002b (n = 3) (=) 340 #0x0000002d (n = 1) (=) 350 355 tree dump, ht = 4 #0x00000032 (n = 1) (=) 110 #0x00000031 (n = 3) (=) 120 #0x00000033 (n = 1) (=) 130 #0x00000030 (n = 5) (-) 140 #0x00000034 (n = 1) (=) 150 #0x0000002f (n = 12) (=) 200 #0x00000036 (n = 1) (=) 310 #0x00000035 (n = 3) (=) 320 #0x00000038 (n = 1) (=) 330 #0x00000037 (n = 6) (=) 340 #0x00000039 (n = 2) (+) 350 #0x0000003a (n = 1) (=) 355 ;; Cobiased parent, inner descendant. 125 tree dump, ht = 4 #0x0000003e (n = 1) (=) 110 #0x0000003d (n = 3) (=) 120 #0x00000046 (n = 1) (=) 125 #0x0000003f (n = 6) (=) 130 #0x0000003c (n = 2) (+) 140 #0x00000040 (n = 1) (=) 150 #0x0000003b (n = 12) (=) 200 #0x00000042 (n = 1) (=) 310 #0x00000041 (n = 5) (+) 320 #0x00000044 (n = 1) (=) 330 #0x00000043 (n = 3) (=) 340 #0x00000045 (n = 1) (=) 350 135 tree dump, ht = 4 #0x0000004a (n = 1) (=) 110 #0x00000049 (n = 2) (-) 120 #0x0000004b (n = 6) (=) 130 #0x00000052 (n = 1) (=) 135 #0x00000048 (n = 3) (=) 140 #0x0000004c (n = 1) (=) 150 #0x00000047 (n = 12) (=) 200 #0x0000004e (n = 1) (=) 310 #0x0000004d (n = 5) (+) 320 #0x00000050 (n = 1) (=) 330 #0x0000004f (n = 3) (=) 340 #0x00000051 (n = 1) (=) 350 110 130 150 tree dump, ht = 4 #0x00000055 (n = 1) (=) 120 #0x00000054 (n = 2) (-) 140 #0x00000053 (n = 8) (+) 200 #0x0000005a (n = 1) (=) 310 #0x00000059 (n = 5) (+) 320 #0x0000005c (n = 1) (=) 330 #0x0000005b (n = 3) (=) 340 #0x0000005d (n = 1) (=) 350 135 tree dump, ht = 4 #0x00000055 (n = 1) (=) 120 #0x0000005e (n = 3) (=) 135 #0x00000054 (n = 1) (=) 140 #0x00000053 (n = 9) (+) 200 #0x0000005a (n = 1) (=) 310 #0x00000059 (n = 5) (+) 320 #0x0000005c (n = 1) (=) 330 #0x0000005b (n = 3) (=) 340 #0x0000005d (n = 1) (=) 350 335 tree dump, ht = 4 #0x00000062 (n = 1) (=) 110 #0x00000061 (n = 3) (=) 120 #0x00000063 (n = 1) (=) 130 #0x00000060 (n = 5) (-) 140 #0x00000064 (n = 1) (=) 150 #0x0000005f (n = 12) (=) 200 #0x00000066 (n = 1) (=) 310 #0x00000065 (n = 2) (-) 320 #0x00000068 (n = 6) (=) 330 #0x0000006a (n = 1) (=) 335 #0x00000067 (n = 3) (=) 340 #0x00000069 (n = 1) (=) 350 325 tree dump, ht = 4 #0x0000006e (n = 1) (=) 110 #0x0000006d (n = 3) (=) 120 #0x0000006f (n = 1) (=) 130 #0x0000006c (n = 5) (-) 140 #0x00000070 (n = 1) (=) 150 #0x0000006b (n = 12) (=) 200 #0x00000072 (n = 1) (=) 310 #0x00000071 (n = 3) (=) 320 #0x00000076 (n = 1) (=) 325 #0x00000074 (n = 6) (=) 330 #0x00000073 (n = 2) (+) 340 #0x00000075 (n = 1) (=) 350 350 330 310 tree dump, ht = 4 #0x0000007a (n = 1) (=) 110 #0x00000079 (n = 3) (=) 120 #0x0000007b (n = 1) (=) 130 #0x00000078 (n = 5) (-) 140 #0x0000007c (n = 1) (=) 150 #0x00000077 (n = 8) (-) 200 #0x0000007d (n = 2) (+) 320 #0x0000007f (n = 1) (=) 340 325 tree dump, ht = 4 #0x0000007a (n = 1) (=) 110 #0x00000079 (n = 3) (=) 120 #0x0000007b (n = 1) (=) 130 #0x00000078 (n = 5) (-) 140 #0x0000007c (n = 1) (=) 150 #0x00000077 (n = 9) (-) 200 #0x0000007d (n = 1) (=) 320 #0x00000082 (n = 3) (=) 325 #0x0000007f (n = 1) (=) 340 ;; Ascend tree. 125 135 tree dump, ht = 4 #0x00000086 (n = 1) (=) 110 #0x00000085 (n = 3) (=) 120 #0x0000008e (n = 1) (=) 125 #0x00000087 (n = 7) (=) 130 #0x0000008f (n = 1) (=) 135 #0x00000084 (n = 3) (=) 140 #0x00000088 (n = 1) (=) 150 #0x00000083 (n = 13) (=) 200 #0x0000008a (n = 1) (=) 310 #0x00000089 (n = 5) (+) 320 #0x0000008c (n = 1) (=) 330 #0x0000008b (n = 3) (=) 340 #0x0000008d (n = 1) (=) 350 105 tree dump, ht = 5 #0x00000090 (n = 1) (=) 105 #0x00000086 (n = 2) (-) 110 #0x00000085 (n = 4) (-) 120 #0x0000008e (n = 1) (=) 125 #0x00000087 (n = 8) (-) 130 #0x0000008f (n = 1) (=) 135 #0x00000084 (n = 3) (=) 140 #0x00000088 (n = 1) (=) 150 #0x00000083 (n = 14) (-) 200 #0x0000008a (n = 1) (=) 310 #0x00000089 (n = 5) (+) 320 #0x0000008c (n = 1) (=) 330 #0x0000008b (n = 3) (=) 340 #0x0000008d (n = 1) (=) 350 325 335 tree dump, ht = 4 #0x00000094 (n = 1) (=) 110 #0x00000093 (n = 3) (=) 120 #0x00000095 (n = 1) (=) 130 #0x00000092 (n = 5) (-) 140 #0x00000096 (n = 1) (=) 150 #0x00000091 (n = 13) (=) 200 #0x00000098 (n = 1) (=) 310 #0x00000097 (n = 3) (=) 320 #0x0000009c (n = 1) (=) 325 #0x0000009a (n = 7) (=) 330 #0x0000009d (n = 1) (=) 335 #0x00000099 (n = 3) (=) 340 #0x0000009b (n = 1) (=) 350 355 tree dump, ht = 5 #0x00000094 (n = 1) (=) 110 #0x00000093 (n = 3) (=) 120 #0x00000095 (n = 1) (=) 130 #0x00000092 (n = 5) (-) 140 #0x00000096 (n = 1) (=) 150 #0x00000091 (n = 14) (+) 200 #0x00000098 (n = 1) (=) 310 #0x00000097 (n = 3) (=) 320 #0x0000009c (n = 1) (=) 325 #0x0000009a (n = 8) (+) 330 #0x0000009d (n = 1) (=) 335 #0x00000099 (n = 4) (+) 340 #0x0000009b (n = 2) (+) 350 #0x0000009e (n = 1) (=) 355 ;;;------------------------------------------------------------------------- ;;; Removal. ;; Starting point for the following tests. tree dump, ht = 4 #0x000000a0 (n = 2) (+) 110 #0x0000009f (n = 1) (=) 120 #0x000000a3 (n = 5) (=) 130 #0x000000a1 (n = 1) (=) 140 #0x000000a2 (n = 2) (-) 150 #0x000000a9 (n = 11) (=) 200 #0x000000a5 (n = 2) (+) 310 #0x000000a4 (n = 1) (=) 320 #0x000000a8 (n = 5) (=) 330 #0x000000a6 (n = 1) (=) 340 #0x000000a7 (n = 2) (-) 350 ;; Cobiased parent. 120 tree dump, ht = 4 #0x000000ac (n = 1) (=) 110 #0x000000ab (n = 4) (+) 130 #0x000000af (n = 1) (=) 140 #0x000000ae (n = 2) (-) 150 #0x000000aa (n = 10) (=) 200 #0x000000b1 (n = 2) (+) 310 #0x000000b2 (n = 1) (=) 320 #0x000000b0 (n = 5) (=) 330 #0x000000b4 (n = 1) (=) 340 #0x000000b3 (n = 2) (-) 350 140 tree dump, ht = 4 #0x000000ac (n = 1) (=) 110 #0x000000ab (n = 3) (=) 130 #0x000000ae (n = 1) (=) 150 #0x000000aa (n = 9) (+) 200 #0x000000b1 (n = 2) (+) 310 #0x000000b2 (n = 1) (=) 320 #0x000000b0 (n = 5) (=) 330 #0x000000b4 (n = 1) (=) 340 #0x000000b3 (n = 2) (-) 350 340 tree dump, ht = 4 #0x000000b7 (n = 2) (+) 110 #0x000000b8 (n = 1) (=) 120 #0x000000b6 (n = 5) (=) 130 #0x000000ba (n = 1) (=) 140 #0x000000b9 (n = 2) (-) 150 #0x000000b5 (n = 10) (=) 200 #0x000000bc (n = 2) (+) 310 #0x000000bd (n = 1) (=) 320 #0x000000bb (n = 4) (-) 330 #0x000000be (n = 1) (=) 350 320 tree dump, ht = 4 #0x000000b7 (n = 2) (+) 110 #0x000000b8 (n = 1) (=) 120 #0x000000b6 (n = 5) (=) 130 #0x000000ba (n = 1) (=) 140 #0x000000b9 (n = 2) (-) 150 #0x000000b5 (n = 9) (-) 200 #0x000000bc (n = 1) (=) 310 #0x000000bb (n = 3) (=) 330 #0x000000be (n = 1) (=) 350 ;; Balanced parent. 120 140 tree dump, ht = 4 #0x000000c2 (n = 1) (=) 110 #0x000000c1 (n = 3) (=) 130 #0x000000c4 (n = 1) (=) 150 #0x000000c0 (n = 9) (+) 200 #0x000000c7 (n = 2) (+) 310 #0x000000c8 (n = 1) (=) 320 #0x000000c6 (n = 5) (=) 330 #0x000000ca (n = 1) (=) 340 #0x000000c9 (n = 2) (-) 350 110 tree dump, ht = 4 #0x000000c1 (n = 2) (+) 130 #0x000000c4 (n = 1) (=) 150 #0x000000c0 (n = 8) (+) 200 #0x000000c7 (n = 2) (+) 310 #0x000000c8 (n = 1) (=) 320 #0x000000c6 (n = 5) (=) 330 #0x000000ca (n = 1) (=) 340 #0x000000c9 (n = 2) (-) 350 320 340 tree dump, ht = 4 #0x000000cd (n = 2) (+) 110 #0x000000ce (n = 1) (=) 120 #0x000000cc (n = 5) (=) 130 #0x000000d0 (n = 1) (=) 140 #0x000000cf (n = 2) (-) 150 #0x000000cb (n = 9) (-) 200 #0x000000d2 (n = 1) (=) 310 #0x000000d1 (n = 3) (=) 330 #0x000000d4 (n = 1) (=) 350 350 tree dump, ht = 4 #0x000000cd (n = 2) (+) 110 #0x000000ce (n = 1) (=) 120 #0x000000cc (n = 5) (=) 130 #0x000000d0 (n = 1) (=) 140 #0x000000cf (n = 2) (-) 150 #0x000000cb (n = 8) (-) 200 #0x000000d2 (n = 1) (=) 310 #0x000000d1 (n = 2) (-) 330 ;; Counter-biased parent, balanced or counter-biased sibling. 120 155 tree dump, ht = 4 #0x000000d8 (n = 1) (=) 110 #0x000000d7 (n = 5) (+) 130 #0x000000db (n = 1) (=) 140 #0x000000da (n = 3) (=) 150 #0x000000e1 (n = 1) (=) 155 #0x000000d6 (n = 11) (=) 200 #0x000000dd (n = 2) (+) 310 #0x000000de (n = 1) (=) 320 #0x000000dc (n = 5) (=) 330 #0x000000e0 (n = 1) (=) 340 #0x000000df (n = 2) (-) 350 110 tree dump, ht = 4 #0x000000d7 (n = 2) (+) 130 #0x000000db (n = 1) (=) 140 #0x000000da (n = 4) (-) 150 #0x000000e1 (n = 1) (=) 155 #0x000000d6 (n = 10) (=) 200 #0x000000dd (n = 2) (+) 310 #0x000000de (n = 1) (=) 320 #0x000000dc (n = 5) (=) 330 #0x000000e0 (n = 1) (=) 340 #0x000000df (n = 2) (-) 350 120 140 155 tree dump, ht = 4 #0x000000e4 (n = 1) (=) 110 #0x000000e3 (n = 4) (+) 130 #0x000000e6 (n = 2) (+) 150 #0x000000ed (n = 1) (=) 155 #0x000000e2 (n = 10) (=) 200 #0x000000e9 (n = 2) (+) 310 #0x000000ea (n = 1) (=) 320 #0x000000e8 (n = 5) (=) 330 #0x000000ec (n = 1) (=) 340 #0x000000eb (n = 2) (-) 350 110 tree dump, ht = 4 #0x000000e3 (n = 1) (=) 130 #0x000000e6 (n = 3) (=) 150 #0x000000ed (n = 1) (=) 155 #0x000000e2 (n = 9) (+) 200 #0x000000e9 (n = 2) (+) 310 #0x000000ea (n = 1) (=) 320 #0x000000e8 (n = 5) (=) 330 #0x000000ec (n = 1) (=) 340 #0x000000eb (n = 2) (-) 350 310 330 320 tree dump, ht = 4 #0x000000f0 (n = 2) (+) 110 #0x000000f1 (n = 1) (=) 120 #0x000000ef (n = 5) (=) 130 #0x000000f3 (n = 1) (=) 140 #0x000000f2 (n = 2) (-) 150 #0x000000ee (n = 8) (-) 200 #0x000000f8 (n = 2) (+) 340 #0x000000f7 (n = 1) (=) 350 340 tree dump, ht = 4 #0x000000f0 (n = 2) (+) 110 #0x000000f1 (n = 1) (=) 120 #0x000000ef (n = 7) (+) 130 #0x000000f3 (n = 1) (=) 140 #0x000000f2 (n = 2) (-) 150 #0x000000ee (n = 4) (-) 200 #0x000000f7 (n = 1) (=) 350 ;; Counter-biased parent, cobiased sibling. 120 tree dump, ht = 4 #0x000000fb (n = 1) (=) 110 #0x000000fa (n = 4) (+) 130 #0x000000fe (n = 1) (=) 140 #0x000000fd (n = 2) (-) 150 #0x000000f9 (n = 10) (=) 200 #0x00000100 (n = 2) (+) 310 #0x00000101 (n = 1) (=) 320 #0x000000ff (n = 5) (=) 330 #0x00000103 (n = 1) (=) 340 #0x00000102 (n = 2) (-) 350 110 tree dump, ht = 4 #0x000000fa (n = 1) (=) 130 #0x000000fe (n = 3) (=) 140 #0x000000fd (n = 1) (=) 150 #0x000000f9 (n = 9) (+) 200 #0x00000100 (n = 2) (+) 310 #0x00000101 (n = 1) (=) 320 #0x000000ff (n = 5) (=) 330 #0x00000103 (n = 1) (=) 340 #0x00000102 (n = 2) (-) 350 155 145 tree dump, ht = 5 #0x00000106 (n = 2) (+) 110 #0x00000107 (n = 1) (=) 120 #0x00000105 (n = 7) (+) 130 #0x00000109 (n = 2) (+) 140 #0x00000110 (n = 1) (=) 145 #0x00000108 (n = 4) (-) 150 #0x0000010f (n = 1) (=) 155 #0x00000104 (n = 13) (-) 200 #0x0000010b (n = 2) (+) 310 #0x0000010c (n = 1) (=) 320 #0x0000010a (n = 5) (=) 330 #0x0000010e (n = 1) (=) 340 #0x0000010d (n = 2) (-) 350 120 tree dump, ht = 4 #0x00000106 (n = 1) (=) 110 #0x00000105 (n = 2) (-) 130 #0x00000109 (n = 6) (=) 140 #0x00000110 (n = 1) (=) 145 #0x00000108 (n = 3) (=) 150 #0x0000010f (n = 1) (=) 155 #0x00000104 (n = 12) (=) 200 #0x0000010b (n = 2) (+) 310 #0x0000010c (n = 1) (=) 320 #0x0000010a (n = 5) (=) 330 #0x0000010e (n = 1) (=) 340 #0x0000010d (n = 2) (-) 350 155 135 tree dump, ht = 5 #0x00000113 (n = 2) (+) 110 #0x00000114 (n = 1) (=) 120 #0x00000112 (n = 7) (+) 130 #0x0000011d (n = 1) (=) 135 #0x00000116 (n = 2) (-) 140 #0x00000115 (n = 4) (-) 150 #0x0000011c (n = 1) (=) 155 #0x00000111 (n = 13) (-) 200 #0x00000118 (n = 2) (+) 310 #0x00000119 (n = 1) (=) 320 #0x00000117 (n = 5) (=) 330 #0x0000011b (n = 1) (=) 340 #0x0000011a (n = 2) (-) 350 120 tree dump, ht = 4 #0x00000113 (n = 1) (=) 110 #0x00000112 (n = 3) (=) 130 #0x0000011d (n = 1) (=) 135 #0x00000116 (n = 6) (=) 140 #0x00000115 (n = 2) (+) 150 #0x0000011c (n = 1) (=) 155 #0x00000111 (n = 12) (=) 200 #0x00000118 (n = 2) (+) 310 #0x00000119 (n = 1) (=) 320 #0x00000117 (n = 5) (=) 330 #0x0000011b (n = 1) (=) 340 #0x0000011a (n = 2) (-) 350 340 tree dump, ht = 4 #0x00000120 (n = 2) (+) 110 #0x00000121 (n = 1) (=) 120 #0x0000011f (n = 5) (=) 130 #0x00000123 (n = 1) (=) 140 #0x00000122 (n = 2) (-) 150 #0x0000011e (n = 10) (=) 200 #0x00000125 (n = 2) (+) 310 #0x00000126 (n = 1) (=) 320 #0x00000124 (n = 4) (-) 330 #0x00000127 (n = 1) (=) 350 350 tree dump, ht = 4 #0x00000120 (n = 2) (+) 110 #0x00000121 (n = 1) (=) 120 #0x0000011f (n = 5) (=) 130 #0x00000123 (n = 1) (=) 140 #0x00000122 (n = 2) (-) 150 #0x0000011e (n = 9) (-) 200 #0x00000125 (n = 1) (=) 310 #0x00000126 (n = 3) (=) 320 #0x00000124 (n = 1) (=) 330 tree dump, ht = 4 #0x0000012b (n = 2) (+) 110 #0x0000012c (n = 1) (=) 120 #0x0000012a (n = 5) (=) 130 #0x0000012e (n = 1) (=) 140 #0x0000012d (n = 2) (-) 150 #0x00000129 (n = 11) (=) 200 #0x00000130 (n = 2) (+) 310 #0x00000131 (n = 1) (=) 320 #0x0000012f (n = 5) (=) 330 #0x00000133 (n = 1) (=) 340 #0x00000132 (n = 2) (-) 350 305 325 tree dump, ht = 5 #0x0000012b (n = 2) (+) 110 #0x0000012c (n = 1) (=) 120 #0x0000012a (n = 5) (=) 130 #0x0000012e (n = 1) (=) 140 #0x0000012d (n = 2) (-) 150 #0x00000129 (n = 13) (+) 200 #0x00000134 (n = 1) (=) 305 #0x00000130 (n = 4) (+) 310 #0x00000131 (n = 2) (+) 320 #0x00000135 (n = 1) (=) 325 #0x0000012f (n = 7) (-) 330 #0x00000133 (n = 1) (=) 340 #0x00000132 (n = 2) (-) 350 340 tree dump, ht = 4 #0x0000012b (n = 2) (+) 110 #0x0000012c (n = 1) (=) 120 #0x0000012a (n = 5) (=) 130 #0x0000012e (n = 1) (=) 140 #0x0000012d (n = 2) (-) 150 #0x00000129 (n = 12) (=) 200 #0x00000134 (n = 1) (=) 305 #0x00000130 (n = 2) (-) 310 #0x00000131 (n = 6) (=) 320 #0x00000135 (n = 1) (=) 325 #0x0000012f (n = 3) (=) 330 #0x00000132 (n = 1) (=) 350 tree dump, ht = 4 #0x00000138 (n = 2) (+) 110 #0x00000139 (n = 1) (=) 120 #0x00000137 (n = 5) (=) 130 #0x0000013b (n = 1) (=) 140 #0x0000013a (n = 2) (-) 150 #0x00000136 (n = 11) (=) 200 #0x0000013d (n = 2) (+) 310 #0x0000013e (n = 1) (=) 320 #0x0000013c (n = 5) (=) 330 #0x00000140 (n = 1) (=) 340 #0x0000013f (n = 2) (-) 350 305 315 tree dump, ht = 5 #0x00000138 (n = 2) (+) 110 #0x00000139 (n = 1) (=) 120 #0x00000137 (n = 5) (=) 130 #0x0000013b (n = 1) (=) 140 #0x0000013a (n = 2) (-) 150 #0x00000136 (n = 13) (+) 200 #0x00000141 (n = 1) (=) 305 #0x0000013d (n = 4) (+) 310 #0x00000142 (n = 1) (=) 315 #0x0000013e (n = 2) (-) 320 #0x0000013c (n = 7) (-) 330 #0x00000140 (n = 1) (=) 340 #0x0000013f (n = 2) (-) 350 340 tree dump, ht = 4 #0x00000138 (n = 2) (+) 110 #0x00000139 (n = 1) (=) 120 #0x00000137 (n = 5) (=) 130 #0x0000013b (n = 1) (=) 140 #0x0000013a (n = 2) (-) 150 #0x00000136 (n = 12) (=) 200 #0x00000141 (n = 1) (=) 305 #0x0000013d (n = 3) (=) 310 #0x00000142 (n = 1) (=) 315 #0x0000013e (n = 6) (=) 320 #0x0000013c (n = 2) (+) 330 #0x0000013f (n = 1) (=) 350 ;;;------------------------------------------------------------------------- ;;; Joining. ;; Splice, short counter-biased node. tree dump, ht = 4 #0x00000143 (n = 1) (=) 1 #0x00000144 (n = 3) (=) 2 #0x00000145 (n = 1) (=) 3 #0x00000146 (n = 7) (=) 4 #0x00000147 (n = 1) (=) 5 #0x00000148 (n = 3) (=) 6 #0x00000149 (n = 1) (=) 7 #0x0000014a (n = 13) (=) 8 #0x0000014b (n = 1) (=) 9 #0x0000014c (n = 3) (=) 10 #0x0000014d (n = 1) (=) 11 #0x0000014e (n = 5) (-) 12 #0x0000014f (n = 1) (=) 13 tree dump, ht = 2 #0x00000151 (n = 1) (=) 15 #0x00000152 (n = 3) (=) 16 #0x00000153 (n = 1) (=) 17 14 tree dump, ht = 5 #0x00000143 (n = 1) (=) 1 #0x00000144 (n = 3) (=) 2 #0x00000145 (n = 1) (=) 3 #0x00000146 (n = 7) (=) 4 #0x00000147 (n = 1) (=) 5 #0x00000148 (n = 3) (=) 6 #0x00000149 (n = 1) (=) 7 #0x0000014a (n = 17) (+) 8 #0x0000014b (n = 1) (=) 9 #0x0000014c (n = 3) (=) 10 #0x0000014d (n = 1) (=) 11 #0x0000014e (n = 9) (+) 12 #0x0000014f (n = 1) (=) 13 #0x00000154 (n = 5) (+) 14 #0x00000151 (n = 1) (=) 15 #0x00000152 (n = 3) (=) 16 #0x00000153 (n = 1) (=) 17 tree dump, ht = 2 #0x00000155 (n = 1) (=) 1 #0x00000156 (n = 3) (=) 2 #0x00000157 (n = 1) (=) 3 tree dump, ht = 4 #0x00000164 (n = 1) (=) 5 #0x00000163 (n = 5) (+) 6 #0x00000162 (n = 1) (=) 7 #0x00000161 (n = 3) (=) 8 #0x00000160 (n = 1) (=) 9 #0x0000015f (n = 13) (=) 10 #0x0000015e (n = 1) (=) 11 #0x0000015d (n = 3) (=) 12 #0x0000015c (n = 1) (=) 13 #0x0000015b (n = 7) (=) 14 #0x0000015a (n = 1) (=) 15 #0x00000159 (n = 3) (=) 16 #0x00000158 (n = 1) (=) 17 4 tree dump, ht = 5 #0x00000155 (n = 1) (=) 1 #0x00000156 (n = 3) (=) 2 #0x00000157 (n = 1) (=) 3 #0x00000166 (n = 5) (-) 4 #0x00000164 (n = 1) (=) 5 #0x00000163 (n = 9) (-) 6 #0x00000162 (n = 1) (=) 7 #0x00000161 (n = 3) (=) 8 #0x00000160 (n = 1) (=) 9 #0x0000015f (n = 17) (-) 10 #0x0000015e (n = 1) (=) 11 #0x0000015d (n = 3) (=) 12 #0x0000015c (n = 1) (=) 13 #0x0000015b (n = 7) (=) 14 #0x0000015a (n = 1) (=) 15 #0x00000159 (n = 3) (=) 16 #0x00000158 (n = 1) (=) 17 ;; Splice, standard balanced or counter-biased node. tree dump, ht = 4 #0x00000167 (n = 1) (=) 1 #0x00000168 (n = 3) (=) 2 #0x00000169 (n = 1) (=) 3 #0x0000016a (n = 7) (=) 4 #0x0000016b (n = 1) (=) 5 #0x0000016c (n = 3) (=) 6 #0x0000016d (n = 1) (=) 7 #0x0000016e (n = 15) (=) 8 #0x0000016f (n = 1) (=) 9 #0x00000170 (n = 3) (=) 10 #0x00000171 (n = 1) (=) 11 #0x00000172 (n = 7) (=) 12 #0x00000173 (n = 1) (=) 13 #0x00000174 (n = 3) (=) 14 #0x00000175 (n = 1) (=) 15 tree dump, ht = 2 #0x00000176 (n = 1) (=) 17 #0x00000177 (n = 3) (=) 18 #0x00000178 (n = 1) (=) 19 16 tree dump, ht = 5 #0x00000167 (n = 1) (=) 1 #0x00000168 (n = 3) (=) 2 #0x00000169 (n = 1) (=) 3 #0x0000016a (n = 7) (=) 4 #0x0000016b (n = 1) (=) 5 #0x0000016c (n = 3) (=) 6 #0x0000016d (n = 1) (=) 7 #0x0000016e (n = 19) (+) 8 #0x0000016f (n = 1) (=) 9 #0x00000170 (n = 3) (=) 10 #0x00000171 (n = 1) (=) 11 #0x00000172 (n = 11) (+) 12 #0x00000173 (n = 1) (=) 13 #0x00000174 (n = 3) (=) 14 #0x00000175 (n = 1) (=) 15 #0x00000179 (n = 7) (=) 16 #0x00000176 (n = 1) (=) 17 #0x00000177 (n = 3) (=) 18 #0x00000178 (n = 1) (=) 19 tree dump, ht = 4 #0x0000017a (n = 1) (=) 1 #0x0000017b (n = 3) (=) 2 #0x0000017c (n = 1) (=) 3 #0x0000017d (n = 7) (=) 4 #0x0000017e (n = 1) (=) 5 #0x0000017f (n = 3) (=) 6 #0x00000180 (n = 1) (=) 7 #0x00000181 (n = 13) (=) 8 #0x00000182 (n = 1) (=) 9 #0x00000183 (n = 3) (=) 10 #0x00000184 (n = 1) (=) 11 #0x00000185 (n = 5) (-) 12 #0x00000186 (n = 1) (=) 13 tree dump, ht = 1 #0x00000188 (n = 1) (=) 15 14 tree dump, ht = 4 #0x0000017a (n = 1) (=) 1 #0x0000017b (n = 3) (=) 2 #0x0000017c (n = 1) (=) 3 #0x0000017d (n = 7) (=) 4 #0x0000017e (n = 1) (=) 5 #0x0000017f (n = 3) (=) 6 #0x00000180 (n = 1) (=) 7 #0x00000181 (n = 15) (=) 8 #0x00000182 (n = 1) (=) 9 #0x00000183 (n = 3) (=) 10 #0x00000184 (n = 1) (=) 11 #0x00000185 (n = 7) (=) 12 #0x00000186 (n = 1) (=) 13 #0x00000189 (n = 3) (=) 14 #0x00000188 (n = 1) (=) 15 tree dump, ht = 2 #0x0000018a (n = 1) (=) 1 #0x0000018b (n = 3) (=) 2 #0x0000018c (n = 1) (=) 3 tree dump, ht = 4 #0x0000019b (n = 1) (=) 5 #0x0000019a (n = 3) (=) 6 #0x00000199 (n = 1) (=) 7 #0x00000198 (n = 7) (=) 8 #0x00000197 (n = 1) (=) 9 #0x00000196 (n = 3) (=) 10 #0x00000195 (n = 1) (=) 11 #0x00000194 (n = 15) (=) 12 #0x00000193 (n = 1) (=) 13 #0x00000192 (n = 3) (=) 14 #0x00000191 (n = 1) (=) 15 #0x00000190 (n = 7) (=) 16 #0x0000018f (n = 1) (=) 17 #0x0000018e (n = 3) (=) 18 #0x0000018d (n = 1) (=) 19 4 tree dump, ht = 5 #0x0000018a (n = 1) (=) 1 #0x0000018b (n = 3) (=) 2 #0x0000018c (n = 1) (=) 3 #0x0000019c (n = 7) (=) 4 #0x0000019b (n = 1) (=) 5 #0x0000019a (n = 3) (=) 6 #0x00000199 (n = 1) (=) 7 #0x00000198 (n = 11) (-) 8 #0x00000197 (n = 1) (=) 9 #0x00000196 (n = 3) (=) 10 #0x00000195 (n = 1) (=) 11 #0x00000194 (n = 19) (-) 12 #0x00000193 (n = 1) (=) 13 #0x00000192 (n = 3) (=) 14 #0x00000191 (n = 1) (=) 15 #0x00000190 (n = 7) (=) 16 #0x0000018f (n = 1) (=) 17 #0x0000018e (n = 3) (=) 18 #0x0000018d (n = 1) (=) 19 tree dump, ht = 1 #0x0000019d (n = 1) (=) 1 tree dump, ht = 4 #0x000001aa (n = 1) (=) 3 #0x000001a9 (n = 5) (+) 4 #0x000001a8 (n = 1) (=) 5 #0x000001a7 (n = 3) (=) 6 #0x000001a6 (n = 1) (=) 7 #0x000001a5 (n = 13) (=) 8 #0x000001a4 (n = 1) (=) 9 #0x000001a3 (n = 3) (=) 10 #0x000001a2 (n = 1) (=) 11 #0x000001a1 (n = 7) (=) 12 #0x000001a0 (n = 1) (=) 13 #0x0000019f (n = 3) (=) 14 #0x0000019e (n = 1) (=) 15 2 tree dump, ht = 4 #0x0000019d (n = 1) (=) 1 #0x000001ac (n = 3) (=) 2 #0x000001aa (n = 1) (=) 3 #0x000001a9 (n = 7) (=) 4 #0x000001a8 (n = 1) (=) 5 #0x000001a7 (n = 3) (=) 6 #0x000001a6 (n = 1) (=) 7 #0x000001a5 (n = 15) (=) 8 #0x000001a4 (n = 1) (=) 9 #0x000001a3 (n = 3) (=) 10 #0x000001a2 (n = 1) (=) 11 #0x000001a1 (n = 7) (=) 12 #0x000001a0 (n = 1) (=) 13 #0x0000019f (n = 3) (=) 14 #0x0000019e (n = 1) (=) 15 ;; Splice, cobiased node, balanced or counter-biased parent. tree dump, ht = 5 #0x000001ad (n = 1) (=) 1 #0x000001ae (n = 3) (=) 2 #0x000001af (n = 1) (=) 3 #0x000001b0 (n = 7) (=) 4 #0x000001b1 (n = 1) (=) 5 #0x000001b2 (n = 3) (=) 6 #0x000001b3 (n = 1) (=) 7 #0x000001b4 (n = 17) (+) 8 #0x000001b5 (n = 1) (=) 9 #0x000001b6 (n = 3) (=) 10 #0x000001b7 (n = 1) (=) 11 #0x000001b8 (n = 9) (+) 12 #0x000001bd (n = 1) (=) 13 #0x000001b9 (n = 2) (-) 14 #0x000001ba (n = 5) (=) 15 #0x000001bb (n = 2) (+) 16 #0x000001bc (n = 1) (=) 17 tree dump, ht = 1 #0x000001be (n = 1) (=) 19 18 tree dump, ht = 5 #0x000001ad (n = 1) (=) 1 #0x000001ae (n = 3) (=) 2 #0x000001af (n = 1) (=) 3 #0x000001b0 (n = 7) (=) 4 #0x000001b1 (n = 1) (=) 5 #0x000001b2 (n = 3) (=) 6 #0x000001b3 (n = 1) (=) 7 #0x000001b4 (n = 19) (+) 8 #0x000001b5 (n = 1) (=) 9 #0x000001b6 (n = 3) (=) 10 #0x000001b7 (n = 1) (=) 11 #0x000001b8 (n = 6) (=) 12 #0x000001bd (n = 1) (=) 13 #0x000001b9 (n = 2) (-) 14 #0x000001ba (n = 11) (=) 15 #0x000001bb (n = 2) (+) 16 #0x000001bc (n = 1) (=) 17 #0x000001bf (n = 4) (-) 18 #0x000001be (n = 1) (=) 19 tree dump, ht = 5 #0x000001c0 (n = 1) (=) 1 #0x000001c1 (n = 3) (=) 2 #0x000001c2 (n = 1) (=) 3 #0x000001c3 (n = 7) (=) 4 #0x000001c4 (n = 1) (=) 5 #0x000001c5 (n = 3) (=) 6 #0x000001c6 (n = 1) (=) 7 #0x000001c7 (n = 15) (+) 8 #0x000001cf (n = 1) (=) 9 #0x000001c8 (n = 2) (-) 10 #0x000001c9 (n = 4) (-) 11 #0x000001ca (n = 1) (=) 12 #0x000001cb (n = 7) (-) 13 #0x000001cd (n = 2) (+) 15 #0x000001ce (n = 1) (=) 16 tree dump, ht = 1 #0x000001d0 (n = 1) (=) 18 17 tree dump, ht = 5 #0x000001c0 (n = 1) (=) 1 #0x000001c1 (n = 3) (=) 2 #0x000001c2 (n = 1) (=) 3 #0x000001c3 (n = 7) (=) 4 #0x000001c4 (n = 1) (=) 5 #0x000001c5 (n = 3) (=) 6 #0x000001c6 (n = 1) (=) 7 #0x000001c7 (n = 17) (+) 8 #0x000001cf (n = 1) (=) 9 #0x000001c8 (n = 2) (-) 10 #0x000001c9 (n = 4) (-) 11 #0x000001ca (n = 1) (=) 12 #0x000001cb (n = 9) (=) 13 #0x000001cd (n = 2) (+) 15 #0x000001ce (n = 1) (=) 16 #0x000001d1 (n = 4) (-) 17 #0x000001d0 (n = 1) (=) 18 tree dump, ht = 1 #0x000001d2 (n = 1) (=) 1 tree dump, ht = 5 #0x000001e2 (n = 1) (=) 3 #0x000001e1 (n = 2) (-) 4 #0x000001e0 (n = 5) (=) 5 #0x000001e3 (n = 1) (=) 6 #0x000001df (n = 2) (-) 7 #0x000001de (n = 9) (-) 8 #0x000001dd (n = 1) (=) 9 #0x000001dc (n = 3) (=) 10 #0x000001db (n = 1) (=) 11 #0x000001da (n = 17) (-) 12 #0x000001d9 (n = 1) (=) 13 #0x000001d8 (n = 3) (=) 14 #0x000001d7 (n = 1) (=) 15 #0x000001d6 (n = 7) (=) 16 #0x000001d5 (n = 1) (=) 17 #0x000001d4 (n = 3) (=) 18 #0x000001d3 (n = 1) (=) 19 2 tree dump, ht = 5 #0x000001d2 (n = 1) (=) 1 #0x000001e4 (n = 4) (+) 2 #0x000001e2 (n = 1) (=) 3 #0x000001e1 (n = 2) (-) 4 #0x000001e0 (n = 11) (=) 5 #0x000001e3 (n = 1) (=) 6 #0x000001df (n = 2) (-) 7 #0x000001de (n = 6) (=) 8 #0x000001dd (n = 1) (=) 9 #0x000001dc (n = 3) (=) 10 #0x000001db (n = 1) (=) 11 #0x000001da (n = 19) (-) 12 #0x000001d9 (n = 1) (=) 13 #0x000001d8 (n = 3) (=) 14 #0x000001d7 (n = 1) (=) 15 #0x000001d6 (n = 7) (=) 16 #0x000001d5 (n = 1) (=) 17 #0x000001d4 (n = 3) (=) 18 #0x000001d3 (n = 1) (=) 19 tree dump, ht = 1 #0x000001e5 (n = 1) (=) 1 tree dump, ht = 5 #0x000001f4 (n = 1) (=) 3 #0x000001f3 (n = 2) (-) 4 #0x000001f1 (n = 7) (+) 6 #0x000001f0 (n = 1) (=) 7 #0x000001ef (n = 4) (+) 8 #0x000001ee (n = 2) (+) 9 #0x000001f5 (n = 1) (=) 10 #0x000001ed (n = 15) (-) 11 #0x000001ec (n = 1) (=) 12 #0x000001eb (n = 3) (=) 13 #0x000001ea (n = 1) (=) 14 #0x000001e9 (n = 7) (=) 15 #0x000001e8 (n = 1) (=) 16 #0x000001e7 (n = 3) (=) 17 #0x000001e6 (n = 1) (=) 18 2 tree dump, ht = 5 #0x000001e5 (n = 1) (=) 1 #0x000001f6 (n = 4) (+) 2 #0x000001f4 (n = 1) (=) 3 #0x000001f3 (n = 2) (-) 4 #0x000001f1 (n = 9) (=) 6 #0x000001f0 (n = 1) (=) 7 #0x000001ef (n = 4) (+) 8 #0x000001ee (n = 2) (+) 9 #0x000001f5 (n = 1) (=) 10 #0x000001ed (n = 17) (-) 11 #0x000001ec (n = 1) (=) 12 #0x000001eb (n = 3) (=) 13 #0x000001ea (n = 1) (=) 14 #0x000001e9 (n = 7) (=) 15 #0x000001e8 (n = 1) (=) 16 #0x000001e7 (n = 3) (=) 17 #0x000001e6 (n = 1) (=) 18 ;; Splice, cobiased node, cobiased parent. tree dump, ht = 4 #0x000001f7 (n = 1) (=) 1 #0x000001f8 (n = 3) (=) 2 #0x000001f9 (n = 1) (=) 3 #0x000001fa (n = 7) (=) 4 #0x000001fb (n = 1) (=) 5 #0x000001fc (n = 3) (=) 6 #0x000001fd (n = 1) (=) 7 #0x000001fe (n = 12) (=) 8 #0x000001ff (n = 1) (=) 9 #0x00000200 (n = 4) (+) 10 #0x00000201 (n = 2) (+) 11 #0x00000202 (n = 1) (=) 12 tree dump, ht = 1 #0x00000203 (n = 1) (=) 14 13 tree dump, ht = 4 #0x000001f7 (n = 1) (=) 1 #0x000001f8 (n = 3) (=) 2 #0x000001f9 (n = 1) (=) 3 #0x000001fa (n = 7) (=) 4 #0x000001fb (n = 1) (=) 5 #0x000001fc (n = 3) (=) 6 #0x000001fd (n = 1) (=) 7 #0x000001fe (n = 14) (=) 8 #0x000001ff (n = 1) (=) 9 #0x00000200 (n = 2) (-) 10 #0x00000201 (n = 6) (=) 11 #0x00000202 (n = 1) (=) 12 #0x00000204 (n = 3) (=) 13 #0x00000203 (n = 1) (=) 14 tree dump, ht = 1 #0x00000205 (n = 1) (=) 1 tree dump, ht = 4 #0x00000211 (n = 1) (=) 3 #0x00000210 (n = 2) (-) 4 #0x0000020f (n = 4) (-) 5 #0x0000020e (n = 1) (=) 6 #0x0000020d (n = 12) (=) 7 #0x0000020c (n = 1) (=) 8 #0x0000020b (n = 3) (=) 9 #0x0000020a (n = 1) (=) 10 #0x00000209 (n = 7) (=) 11 #0x00000208 (n = 1) (=) 12 #0x00000207 (n = 3) (=) 13 #0x00000206 (n = 1) (=) 14 2 tree dump, ht = 4 #0x00000205 (n = 1) (=) 1 #0x00000212 (n = 3) (=) 2 #0x00000211 (n = 1) (=) 3 #0x00000210 (n = 6) (=) 4 #0x0000020f (n = 2) (+) 5 #0x0000020e (n = 1) (=) 6 #0x0000020d (n = 14) (=) 7 #0x0000020c (n = 1) (=) 8 #0x0000020b (n = 3) (=) 9 #0x0000020a (n = 1) (=) 10 #0x00000209 (n = 7) (=) 11 #0x00000208 (n = 1) (=) 12 #0x00000207 (n = 3) (=) 13 #0x00000206 (n = 1) (=) 14 ;; Ascent, cobiased node. tree dump, ht = 4 #0x00000213 (n = 1) (=) 1 #0x00000214 (n = 3) (=) 2 #0x00000215 (n = 1) (=) 3 #0x00000216 (n = 7) (=) 4 #0x00000217 (n = 1) (=) 5 #0x00000218 (n = 3) (=) 6 #0x00000219 (n = 1) (=) 7 #0x0000021a (n = 13) (=) 8 #0x0000021b (n = 1) (=) 9 #0x0000021c (n = 5) (+) 10 #0x0000021d (n = 1) (=) 11 #0x0000021e (n = 3) (=) 12 #0x0000021f (n = 1) (=) 13 tree dump, ht = 1 #0x00000220 (n = 1) (=) 15 14 tree dump, ht = 4 #0x00000213 (n = 1) (=) 1 #0x00000214 (n = 3) (=) 2 #0x00000215 (n = 1) (=) 3 #0x00000216 (n = 7) (=) 4 #0x00000217 (n = 1) (=) 5 #0x00000218 (n = 3) (=) 6 #0x00000219 (n = 1) (=) 7 #0x0000021a (n = 15) (=) 8 #0x0000021b (n = 1) (=) 9 #0x0000021c (n = 3) (=) 10 #0x0000021d (n = 1) (=) 11 #0x0000021e (n = 7) (=) 12 #0x0000021f (n = 1) (=) 13 #0x00000221 (n = 3) (=) 14 #0x00000220 (n = 1) (=) 15 tree dump, ht = 1 #0x00000222 (n = 1) (=) 1 tree dump, ht = 4 #0x0000022f (n = 1) (=) 3 #0x0000022e (n = 3) (=) 4 #0x0000022d (n = 1) (=) 5 #0x0000022c (n = 5) (-) 6 #0x0000022b (n = 1) (=) 7 #0x0000022a (n = 13) (=) 8 #0x00000229 (n = 1) (=) 9 #0x00000228 (n = 3) (=) 10 #0x00000227 (n = 1) (=) 11 #0x00000226 (n = 7) (=) 12 #0x00000225 (n = 1) (=) 13 #0x00000224 (n = 3) (=) 14 #0x00000223 (n = 1) (=) 15 2 tree dump, ht = 4 #0x00000222 (n = 1) (=) 1 #0x00000230 (n = 3) (=) 2 #0x0000022f (n = 1) (=) 3 #0x0000022e (n = 7) (=) 4 #0x0000022d (n = 1) (=) 5 #0x0000022c (n = 3) (=) 6 #0x0000022b (n = 1) (=) 7 #0x0000022a (n = 15) (=) 8 #0x00000229 (n = 1) (=) 9 #0x00000228 (n = 3) (=) 10 #0x00000227 (n = 1) (=) 11 #0x00000226 (n = 7) (=) 12 #0x00000225 (n = 1) (=) 13 #0x00000224 (n = 3) (=) 14 #0x00000223 (n = 1) (=) 15 ;; Ascent, counter-biased node. tree dump, ht = 5 #0x00000231 (n = 1) (=) 1 #0x00000232 (n = 3) (=) 2 #0x00000233 (n = 1) (=) 3 #0x00000234 (n = 7) (=) 4 #0x00000235 (n = 1) (=) 5 #0x00000236 (n = 3) (=) 6 #0x00000237 (n = 1) (=) 7 #0x00000238 (n = 16) (+) 8 #0x00000240 (n = 1) (=) 9 #0x00000239 (n = 2) (-) 10 #0x0000023a (n = 4) (-) 11 #0x0000023b (n = 1) (=) 12 #0x0000023c (n = 8) (-) 13 #0x0000023d (n = 1) (=) 14 #0x0000023e (n = 3) (=) 15 #0x0000023f (n = 1) (=) 16 tree dump, ht = 1 #0x00000241 (n = 1) (=) 18 17 tree dump, ht = 5 #0x00000231 (n = 1) (=) 1 #0x00000232 (n = 3) (=) 2 #0x00000233 (n = 1) (=) 3 #0x00000234 (n = 7) (=) 4 #0x00000235 (n = 1) (=) 5 #0x00000236 (n = 3) (=) 6 #0x00000237 (n = 1) (=) 7 #0x00000238 (n = 18) (+) 8 #0x00000240 (n = 1) (=) 9 #0x00000239 (n = 2) (-) 10 #0x0000023a (n = 4) (-) 11 #0x0000023b (n = 1) (=) 12 #0x0000023c (n = 10) (=) 13 #0x0000023d (n = 1) (=) 14 #0x0000023e (n = 5) (+) 15 #0x0000023f (n = 1) (=) 16 #0x00000242 (n = 3) (=) 17 #0x00000241 (n = 1) (=) 18 tree dump, ht = 1 #0x00000243 (n = 1) (=) 1 tree dump, ht = 5 #0x00000252 (n = 1) (=) 3 #0x00000251 (n = 3) (=) 4 #0x00000250 (n = 1) (=) 5 #0x0000024f (n = 8) (+) 6 #0x0000024e (n = 1) (=) 7 #0x0000024d (n = 4) (+) 8 #0x0000024c (n = 2) (+) 9 #0x00000253 (n = 1) (=) 10 #0x0000024b (n = 16) (-) 11 #0x0000024a (n = 1) (=) 12 #0x00000249 (n = 3) (=) 13 #0x00000248 (n = 1) (=) 14 #0x00000247 (n = 7) (=) 15 #0x00000246 (n = 1) (=) 16 #0x00000245 (n = 3) (=) 17 #0x00000244 (n = 1) (=) 18 2 tree dump, ht = 5 #0x00000243 (n = 1) (=) 1 #0x00000254 (n = 3) (=) 2 #0x00000252 (n = 1) (=) 3 #0x00000251 (n = 5) (-) 4 #0x00000250 (n = 1) (=) 5 #0x0000024f (n = 10) (=) 6 #0x0000024e (n = 1) (=) 7 #0x0000024d (n = 4) (+) 8 #0x0000024c (n = 2) (+) 9 #0x00000253 (n = 1) (=) 10 #0x0000024b (n = 18) (-) 11 #0x0000024a (n = 1) (=) 12 #0x00000249 (n = 3) (=) 13 #0x00000248 (n = 1) (=) 14 #0x00000247 (n = 7) (=) 15 #0x00000246 (n = 1) (=) 16 #0x00000245 (n = 3) (=) 17 #0x00000244 (n = 1) (=) 18 ;; Ascent, balanced node. tree dump, ht = 4 #0x00000255 (n = 1) (=) 1 #0x00000256 (n = 3) (=) 2 #0x00000257 (n = 1) (=) 3 #0x00000258 (n = 7) (=) 4 #0x00000259 (n = 1) (=) 5 #0x0000025a (n = 3) (=) 6 #0x0000025b (n = 1) (=) 7 #0x0000025c (n = 15) (=) 8 #0x0000025d (n = 1) (=) 9 #0x0000025e (n = 3) (=) 10 #0x0000025f (n = 1) (=) 11 #0x00000260 (n = 7) (=) 12 #0x00000261 (n = 1) (=) 13 #0x00000262 (n = 3) (=) 14 #0x00000263 (n = 1) (=) 15 tree dump, ht = 1 #0x00000264 (n = 1) (=) 17 16 tree dump, ht = 5 #0x00000255 (n = 1) (=) 1 #0x00000256 (n = 3) (=) 2 #0x00000257 (n = 1) (=) 3 #0x00000258 (n = 7) (=) 4 #0x00000259 (n = 1) (=) 5 #0x0000025a (n = 3) (=) 6 #0x0000025b (n = 1) (=) 7 #0x0000025c (n = 17) (+) 8 #0x0000025d (n = 1) (=) 9 #0x0000025e (n = 3) (=) 10 #0x0000025f (n = 1) (=) 11 #0x00000260 (n = 9) (+) 12 #0x00000261 (n = 1) (=) 13 #0x00000262 (n = 5) (+) 14 #0x00000263 (n = 1) (=) 15 #0x00000265 (n = 3) (=) 16 #0x00000264 (n = 1) (=) 17 tree dump, ht = 1 #0x00000266 (n = 1) (=) 1 tree dump, ht = 4 #0x00000267 (n = 1) (=) 3 #0x00000268 (n = 3) (=) 4 #0x00000269 (n = 1) (=) 5 #0x0000026a (n = 7) (=) 6 #0x0000026b (n = 1) (=) 7 #0x0000026c (n = 3) (=) 8 #0x0000026d (n = 1) (=) 9 #0x0000026e (n = 15) (=) 10 #0x0000026f (n = 1) (=) 11 #0x00000270 (n = 3) (=) 12 #0x00000271 (n = 1) (=) 13 #0x00000272 (n = 7) (=) 14 #0x00000273 (n = 1) (=) 15 #0x00000274 (n = 3) (=) 16 #0x00000275 (n = 1) (=) 17 2 tree dump, ht = 5 #0x00000266 (n = 1) (=) 1 #0x00000276 (n = 3) (=) 2 #0x00000267 (n = 1) (=) 3 #0x00000268 (n = 5) (-) 4 #0x00000269 (n = 1) (=) 5 #0x0000026a (n = 9) (-) 6 #0x0000026b (n = 1) (=) 7 #0x0000026c (n = 3) (=) 8 #0x0000026d (n = 1) (=) 9 #0x0000026e (n = 17) (-) 10 #0x0000026f (n = 1) (=) 11 #0x00000270 (n = 3) (=) 12 #0x00000271 (n = 1) (=) 13 #0x00000272 (n = 7) (=) 14 #0x00000273 (n = 1) (=) 15 #0x00000274 (n = 3) (=) 16 #0x00000275 (n = 1) (=) 17