chiark - git - mdw - xyla/blob - t/avl-avltest.ref

   1 ;;;-------------------------------------------------------------------------
   2 ;;; Insertion.
   3
   4 ;; Starting point for the following tests.
   5 tree dump, ht = 4
   6         #0x00000000 (n =   1)               (=) 110
   7         #0x00000002 (n =   3)           (=) 120
   8         #0x00000001 (n =   1)               (=) 130
   9         #0x00000004 (n =   5)       (-) 140
  10         #0x00000003 (n =   1)           (=) 150
  11         #0x0000000a (n =  11)   (=) 200
  12         #0x00000005 (n =   1)           (=) 310
  13         #0x00000009 (n =   5)       (+) 320
  14         #0x00000006 (n =   1)               (=) 330
  15         #0x00000008 (n =   3)           (=) 340
  16         #0x00000007 (n =   1)               (=) 350
  17
  18 ;; Counter-biased parent.
  19 305
  20 XYLA-AVL INSERT parent = (left child): ascend tree
  21 XYLA-AVL INSERT parent + (left child)
  22 tree dump, ht = 4
  23         #0x0000000b (n =   1)               (=) 110
  24         #0x0000000d (n =   3)           (=) 120
  25         #0x0000000c (n =   1)               (=) 130
  26         #0x0000000f (n =   5)       (-) 140
  27         #0x0000000e (n =   1)           (=) 150
  28         #0x00000015 (n =  12)   (=) 200
  29         #0x00000016 (n =   1)               (=) 305
  30         #0x00000010 (n =   2)           (-) 310
  31         #0x00000014 (n =   6)       (=) 320
  32         #0x00000011 (n =   1)               (=) 330
  33         #0x00000013 (n =   3)           (=) 340
  34         #0x00000012 (n =   1)               (=) 350
  35 155
  36 XYLA-AVL INSERT parent = (right child): ascend tree
  37 XYLA-AVL INSERT parent - (right child)
  38 tree dump, ht = 4
  39         #0x00000017 (n =   1)               (=) 110
  40         #0x00000019 (n =   3)           (=) 120
  41         #0x00000018 (n =   1)               (=) 130
  42         #0x0000001b (n =   6)       (=) 140
  43         #0x0000001a (n =   2)           (+) 150
  44         #0x00000022 (n =   1)               (=) 155
  45         #0x00000021 (n =  12)   (=) 200
  46         #0x0000001c (n =   1)           (=) 310
  47         #0x00000020 (n =   5)       (+) 320
  48         #0x0000001d (n =   1)               (=) 330
  49         #0x0000001f (n =   3)           (=) 340
  50         #0x0000001e (n =   1)               (=) 350
  51
  52 ;; Cobiased parent, outer descendant.
  53 105
  54 XYLA-AVL INSERT parent = (left child): ascend tree
  55 XYLA-AVL INSERT parent = (left child): ascend tree
  56 XYLA-AVL INSERT parent -, node - (left child)
  57 tree dump, ht = 4
  58         #0x0000002e (n =   1)               (=) 105
  59         #0x00000023 (n =   2)           (-) 110
  60         #0x00000025 (n =   6)       (=) 120
  61         #0x00000024 (n =   1)               (=) 130
  62         #0x00000027 (n =   3)           (=) 140
  63         #0x00000026 (n =   1)               (=) 150
  64         #0x0000002d (n =  12)   (=) 200
  65         #0x00000028 (n =   1)           (=) 310
  66         #0x0000002c (n =   5)       (+) 320
  67         #0x00000029 (n =   1)               (=) 330
  68         #0x0000002b (n =   3)           (=) 340
  69         #0x0000002a (n =   1)               (=) 350
  70 355
  71 XYLA-AVL INSERT parent = (right child): ascend tree
  72 XYLA-AVL INSERT parent = (right child): ascend tree
  73 XYLA-AVL INSERT parent +, node + (right child)
  74 tree dump, ht = 4
  75         #0x0000002f (n =   1)               (=) 110
  76         #0x00000031 (n =   3)           (=) 120
  77         #0x00000030 (n =   1)               (=) 130
  78         #0x00000033 (n =   5)       (-) 140
  79         #0x00000032 (n =   1)           (=) 150
  80         #0x00000039 (n =  12)   (=) 200
  81         #0x00000034 (n =   1)               (=) 310
  82         #0x00000038 (n =   3)           (=) 320
  83         #0x00000035 (n =   1)               (=) 330
  84         #0x00000037 (n =   6)       (=) 340
  85         #0x00000036 (n =   2)           (+) 350
  86         #0x0000003a (n =   1)               (=) 355
  87
  88 ;; Cobiased parent, inner descendant.
  89 125
  90 XYLA-AVL INSERT parent = (left child): ascend tree
  91 XYLA-AVL INSERT parent = (right child): ascend tree
  92 XYLA-AVL INSERT parent -, node +, child - (left child)
  93 tree dump, ht = 4
  94         #0x0000003b (n =   1)               (=) 110
  95         #0x0000003d (n =   3)           (=) 120
  96         #0x00000046 (n =   1)               (=) 125
  97         #0x0000003c (n =   6)       (=) 130
  98         #0x0000003f (n =   2)           (+) 140
  99         #0x0000003e (n =   1)               (=) 150
 100         #0x00000045 (n =  12)   (=) 200
 101         #0x00000040 (n =   1)           (=) 310
 102         #0x00000044 (n =   5)       (+) 320
 103         #0x00000041 (n =   1)               (=) 330
 104         #0x00000043 (n =   3)           (=) 340
 105         #0x00000042 (n =   1)               (=) 350
 106 135
 107 XYLA-AVL INSERT parent = (right child): ascend tree
 108 XYLA-AVL INSERT parent = (right child): ascend tree
 109 XYLA-AVL INSERT parent -, node +, child + (left child)
 110 tree dump, ht = 4
 111         #0x00000047 (n =   1)               (=) 110
 112         #0x00000049 (n =   2)           (-) 120
 113         #0x00000048 (n =   6)       (=) 130
 114         #0x00000052 (n =   1)               (=) 135
 115         #0x0000004b (n =   3)           (=) 140
 116         #0x0000004a (n =   1)               (=) 150
 117         #0x00000051 (n =  12)   (=) 200
 118         #0x0000004c (n =   1)           (=) 310
 119         #0x00000050 (n =   5)       (+) 320
 120         #0x0000004d (n =   1)               (=) 330
 121         #0x0000004f (n =   3)           (=) 340
 122         #0x0000004e (n =   1)               (=) 350
 123 110
 124 130
 125 150
 126 tree dump, ht = 4
 127         #0x00000055 (n =   1)           (=) 120
 128         #0x00000057 (n =   2)       (-) 140
 129         #0x0000005d (n =   8)   (+) 200
 130         #0x00000058 (n =   1)           (=) 310
 131         #0x0000005c (n =   5)       (+) 320
 132         #0x00000059 (n =   1)               (=) 330
 133         #0x0000005b (n =   3)           (=) 340
 134         #0x0000005a (n =   1)               (=) 350
 135 135
 136 XYLA-AVL INSERT parent = (right child): ascend tree
 137 XYLA-AVL INSERT parent -, node +, child = (left child)
 138 tree dump, ht = 4
 139         #0x00000055 (n =   1)           (=) 120
 140         #0x0000005e (n =   3)       (=) 135
 141         #0x00000057 (n =   1)           (=) 140
 142         #0x0000005d (n =   9)   (+) 200
 143         #0x00000058 (n =   1)           (=) 310
 144         #0x0000005c (n =   5)       (+) 320
 145         #0x00000059 (n =   1)               (=) 330
 146         #0x0000005b (n =   3)           (=) 340
 147         #0x0000005a (n =   1)               (=) 350
 148 335
 149 XYLA-AVL INSERT parent = (right child): ascend tree
 150 XYLA-AVL INSERT parent = (left child): ascend tree
 151 XYLA-AVL INSERT parent +, node -, child + (right child)
 152 tree dump, ht = 4
 153         #0x0000005f (n =   1)               (=) 110
 154         #0x00000061 (n =   3)           (=) 120
 155         #0x00000060 (n =   1)               (=) 130
 156         #0x00000063 (n =   5)       (-) 140
 157         #0x00000062 (n =   1)           (=) 150
 158         #0x00000069 (n =  12)   (=) 200
 159         #0x00000064 (n =   1)               (=) 310
 160         #0x00000068 (n =   2)           (-) 320
 161         #0x00000065 (n =   6)       (=) 330
 162         #0x0000006a (n =   1)               (=) 335
 163         #0x00000067 (n =   3)           (=) 340
 164         #0x00000066 (n =   1)               (=) 350
 165 325
 166 XYLA-AVL INSERT parent = (left child): ascend tree
 167 XYLA-AVL INSERT parent = (left child): ascend tree
 168 XYLA-AVL INSERT parent +, node -, child - (right child)
 169 tree dump, ht = 4
 170         #0x0000006b (n =   1)               (=) 110
 171         #0x0000006d (n =   3)           (=) 120
 172         #0x0000006c (n =   1)               (=) 130
 173         #0x0000006f (n =   5)       (-) 140
 174         #0x0000006e (n =   1)           (=) 150
 175         #0x00000075 (n =  12)   (=) 200
 176         #0x00000070 (n =   1)               (=) 310
 177         #0x00000074 (n =   3)           (=) 320
 178         #0x00000076 (n =   1)               (=) 325
 179         #0x00000071 (n =   6)       (=) 330
 180         #0x00000073 (n =   2)           (+) 340
 181         #0x00000072 (n =   1)               (=) 350
 182 350
 183 330
 184 310
 185 tree dump, ht = 4
 186         #0x00000077 (n =   1)               (=) 110
 187         #0x00000079 (n =   3)           (=) 120
 188         #0x00000078 (n =   1)               (=) 130
 189         #0x0000007b (n =   5)       (-) 140
 190         #0x0000007a (n =   1)           (=) 150
 191         #0x00000081 (n =   8)   (-) 200
 192         #0x00000080 (n =   2)       (+) 320
 193         #0x0000007f (n =   1)           (=) 340
 194 325
 195 XYLA-AVL INSERT parent = (left child): ascend tree
 196 XYLA-AVL INSERT parent +, node -, child = (right child)
 197 tree dump, ht = 4
 198         #0x00000077 (n =   1)               (=) 110
 199         #0x00000079 (n =   3)           (=) 120
 200         #0x00000078 (n =   1)               (=) 130
 201         #0x0000007b (n =   5)       (-) 140
 202         #0x0000007a (n =   1)           (=) 150
 203         #0x00000081 (n =   9)   (-) 200
 204         #0x00000080 (n =   1)           (=) 320
 205         #0x00000082 (n =   3)       (=) 325
 206         #0x0000007f (n =   1)           (=) 340
 207
 208 ;; Ascend tree.
 209 125
 210 135
 211 tree dump, ht = 4
 212         #0x00000083 (n =   1)               (=) 110
 213         #0x00000085 (n =   3)           (=) 120
 214         #0x0000008e (n =   1)               (=) 125
 215         #0x00000084 (n =   7)       (=) 130
 216         #0x0000008f (n =   1)               (=) 135
 217         #0x00000087 (n =   3)           (=) 140
 218         #0x00000086 (n =   1)               (=) 150
 219         #0x0000008d (n =  13)   (=) 200
 220         #0x00000088 (n =   1)           (=) 310
 221         #0x0000008c (n =   5)       (+) 320
 222         #0x00000089 (n =   1)               (=) 330
 223         #0x0000008b (n =   3)           (=) 340
 224         #0x0000008a (n =   1)               (=) 350
 225 105
 226 XYLA-AVL INSERT parent = (left child): ascend tree
 227 XYLA-AVL INSERT parent = (left child): ascend tree
 228 XYLA-AVL INSERT parent = (left child): ascend tree
 229 XYLA-AVL INSERT parent = (left child): extend tree
 230 tree dump, ht = 5
 231         #0x00000090 (n =   1)                   (=) 105
 232         #0x00000083 (n =   2)               (-) 110
 233         #0x00000085 (n =   4)           (-) 120
 234         #0x0000008e (n =   1)               (=) 125
 235         #0x00000084 (n =   8)       (-) 130
 236         #0x0000008f (n =   1)               (=) 135
 237         #0x00000087 (n =   3)           (=) 140
 238         #0x00000086 (n =   1)               (=) 150
 239         #0x0000008d (n =  14)   (-) 200
 240         #0x00000088 (n =   1)           (=) 310
 241         #0x0000008c (n =   5)       (+) 320
 242         #0x00000089 (n =   1)               (=) 330
 243         #0x0000008b (n =   3)           (=) 340
 244         #0x0000008a (n =   1)               (=) 350
 245 325
 246 335
 247 tree dump, ht = 4
 248         #0x00000091 (n =   1)               (=) 110
 249         #0x00000093 (n =   3)           (=) 120
 250         #0x00000092 (n =   1)               (=) 130
 251         #0x00000095 (n =   5)       (-) 140
 252         #0x00000094 (n =   1)           (=) 150
 253         #0x0000009b (n =  13)   (=) 200
 254         #0x00000096 (n =   1)               (=) 310
 255         #0x0000009a (n =   3)           (=) 320
 256         #0x0000009c (n =   1)               (=) 325
 257         #0x00000097 (n =   7)       (=) 330
 258         #0x0000009d (n =   1)               (=) 335
 259         #0x00000099 (n =   3)           (=) 340
 260         #0x00000098 (n =   1)               (=) 350
 261 355
 262 XYLA-AVL INSERT parent = (right child): ascend tree
 263 XYLA-AVL INSERT parent = (right child): ascend tree
 264 XYLA-AVL INSERT parent = (right child): ascend tree
 265 XYLA-AVL INSERT parent = (right child): extend tree
 266 tree dump, ht = 5
 267         #0x00000091 (n =   1)               (=) 110
 268         #0x00000093 (n =   3)           (=) 120
 269         #0x00000092 (n =   1)               (=) 130
 270         #0x00000095 (n =   5)       (-) 140
 271         #0x00000094 (n =   1)           (=) 150
 272         #0x0000009b (n =  14)   (+) 200
 273         #0x00000096 (n =   1)               (=) 310
 274         #0x0000009a (n =   3)           (=) 320
 275         #0x0000009c (n =   1)               (=) 325
 276         #0x00000097 (n =   8)       (+) 330
 277         #0x0000009d (n =   1)               (=) 335
 278         #0x00000099 (n =   4)           (+) 340
 279         #0x00000098 (n =   2)               (+) 350
 280         #0x0000009e (n =   1)                   (=) 355
 281
 282 ;;;-------------------------------------------------------------------------
 283 ;;; Removal.
 284
 285 ;; Starting point for the following tests.
 286 tree dump, ht = 4
 287         #0x000000a0 (n =   2)           (+) 110
 288         #0x0000009f (n =   1)               (=) 120
 289         #0x000000a3 (n =   5)       (=) 130
 290         #0x000000a1 (n =   1)               (=) 140
 291         #0x000000a2 (n =   2)           (-) 150
 292         #0x000000a9 (n =  11)   (=) 200
 293         #0x000000a5 (n =   2)           (+) 310
 294         #0x000000a4 (n =   1)               (=) 320
 295         #0x000000a8 (n =   5)       (=) 330
 296         #0x000000a6 (n =   1)               (=) 340
 297         #0x000000a7 (n =   2)           (-) 350
 298
 299 ;; Cobiased parent.
 300 120
 301 tree dump, ht = 4
 302         #0x000000ab (n =   1)           (=) 110
 303         #0x000000ae (n =   4)       (+) 130
 304         #0x000000ac (n =   1)               (=) 140
 305         #0x000000ad (n =   2)           (-) 150
 306         #0x000000b4 (n =  10)   (=) 200
 307         #0x000000b0 (n =   2)           (+) 310
 308         #0x000000af (n =   1)               (=) 320
 309         #0x000000b3 (n =   5)       (=) 330
 310         #0x000000b1 (n =   1)               (=) 340
 311         #0x000000b2 (n =   2)           (-) 350
 312 140
 313 XYLA-AVL REMOVE parent - (left child)
 314 XYLA-AVL REMOVE parent + (right child)
 315 XYLA-AVL REMOVE parent = (left child)
 316 tree dump, ht = 4
 317         #0x000000ab (n =   1)           (=) 110
 318         #0x000000ae (n =   3)       (=) 130
 319         #0x000000ad (n =   1)           (=) 150
 320         #0x000000b4 (n =   9)   (+) 200
 321         #0x000000b0 (n =   2)           (+) 310
 322         #0x000000af (n =   1)               (=) 320
 323         #0x000000b3 (n =   5)       (=) 330
 324         #0x000000b1 (n =   1)               (=) 340
 325         #0x000000b2 (n =   2)           (-) 350
 326 340
 327 tree dump, ht = 4
 328         #0x000000b6 (n =   2)           (+) 110
 329         #0x000000b5 (n =   1)               (=) 120
 330         #0x000000b9 (n =   5)       (=) 130
 331         #0x000000b7 (n =   1)               (=) 140
 332         #0x000000b8 (n =   2)           (-) 150
 333         #0x000000bf (n =  10)   (=) 200
 334         #0x000000bb (n =   2)           (+) 310
 335         #0x000000ba (n =   1)               (=) 320
 336         #0x000000be (n =   4)       (-) 330
 337         #0x000000bd (n =   1)           (=) 350
 338 320
 339 XYLA-AVL REMOVE parent + (right child)
 340 XYLA-AVL REMOVE parent - (left child)
 341 XYLA-AVL REMOVE parent = (right child)
 342 tree dump, ht = 4
 343         #0x000000b6 (n =   2)           (+) 110
 344         #0x000000b5 (n =   1)               (=) 120
 345         #0x000000b9 (n =   5)       (=) 130
 346         #0x000000b7 (n =   1)               (=) 140
 347         #0x000000b8 (n =   2)           (-) 150
 348         #0x000000bf (n =   9)   (-) 200
 349         #0x000000bb (n =   1)           (=) 310
 350         #0x000000be (n =   3)       (=) 330
 351         #0x000000bd (n =   1)           (=) 350
 352
 353 ;; Balanced parent.
 354 120
 355 140
 356 tree dump, ht = 4
 357         #0x000000c1 (n =   1)           (=) 110
 358         #0x000000c4 (n =   3)       (=) 130
 359         #0x000000c3 (n =   1)           (=) 150
 360         #0x000000ca (n =   9)   (+) 200
 361         #0x000000c6 (n =   2)           (+) 310
 362         #0x000000c5 (n =   1)               (=) 320
 363         #0x000000c9 (n =   5)       (=) 330
 364         #0x000000c7 (n =   1)               (=) 340
 365         #0x000000c8 (n =   2)           (-) 350
 366 110
 367 XYLA-AVL REMOVE parent = (left child)
 368 tree dump, ht = 4
 369         #0x000000c4 (n =   2)       (+) 130
 370         #0x000000c3 (n =   1)           (=) 150
 371         #0x000000ca (n =   8)   (+) 200
 372         #0x000000c6 (n =   2)           (+) 310
 373         #0x000000c5 (n =   1)               (=) 320
 374         #0x000000c9 (n =   5)       (=) 330
 375         #0x000000c7 (n =   1)               (=) 340
 376         #0x000000c8 (n =   2)           (-) 350
 377 320
 378 340
 379 tree dump, ht = 4
 380         #0x000000cc (n =   2)           (+) 110
 381         #0x000000cb (n =   1)               (=) 120
 382         #0x000000cf (n =   5)       (=) 130
 383         #0x000000cd (n =   1)               (=) 140
 384         #0x000000ce (n =   2)           (-) 150
 385         #0x000000d5 (n =   9)   (-) 200
 386         #0x000000d1 (n =   1)           (=) 310
 387         #0x000000d4 (n =   3)       (=) 330
 388         #0x000000d3 (n =   1)           (=) 350
 389 350
 390 XYLA-AVL REMOVE parent = (right child)
 391 tree dump, ht = 4
 392         #0x000000cc (n =   2)           (+) 110
 393         #0x000000cb (n =   1)               (=) 120
 394         #0x000000cf (n =   5)       (=) 130
 395         #0x000000cd (n =   1)               (=) 140
 396         #0x000000ce (n =   2)           (-) 150
 397         #0x000000d5 (n =   8)   (-) 200
 398         #0x000000d1 (n =   1)           (=) 310
 399         #0x000000d4 (n =   2)       (-) 330
 400
 401 ;; Counter-biased parent, balanced or counter-biased sibling.
 402 120
 403 155
 404 tree dump, ht = 4
 405         #0x000000d7 (n =   1)           (=) 110
 406         #0x000000da (n =   5)       (+) 130
 407         #0x000000d8 (n =   1)               (=) 140
 408         #0x000000d9 (n =   3)           (=) 150
 409         #0x000000e1 (n =   1)               (=) 155
 410         #0x000000e0 (n =  11)   (=) 200
 411         #0x000000dc (n =   2)           (+) 310
 412         #0x000000db (n =   1)               (=) 320
 413         #0x000000df (n =   5)       (=) 330
 414         #0x000000dd (n =   1)               (=) 340
 415         #0x000000de (n =   2)           (-) 350
 416 110
 417 XYLA-AVL REMOVE parent +, sibling = (left child)
 418 tree dump, ht = 4
 419         #0x000000da (n =   2)           (+) 130
 420         #0x000000d8 (n =   1)               (=) 140
 421         #0x000000d9 (n =   4)       (-) 150
 422         #0x000000e1 (n =   1)           (=) 155
 423         #0x000000e0 (n =  10)   (=) 200
 424         #0x000000dc (n =   2)           (+) 310
 425         #0x000000db (n =   1)               (=) 320
 426         #0x000000df (n =   5)       (=) 330
 427         #0x000000dd (n =   1)               (=) 340
 428         #0x000000de (n =   2)           (-) 350
 429 120
 430 140
 431 155
 432 tree dump, ht = 4
 433         #0x000000e3 (n =   1)           (=) 110
 434         #0x000000e6 (n =   4)       (+) 130
 435         #0x000000e5 (n =   2)           (+) 150
 436         #0x000000ed (n =   1)               (=) 155
 437         #0x000000ec (n =  10)   (=) 200
 438         #0x000000e8 (n =   2)           (+) 310
 439         #0x000000e7 (n =   1)               (=) 320
 440         #0x000000eb (n =   5)       (=) 330
 441         #0x000000e9 (n =   1)               (=) 340
 442         #0x000000ea (n =   2)           (-) 350
 443 110
 444 XYLA-AVL REMOVE parent +, sibling + (left child)
 445 XYLA-AVL REMOVE parent = (left child)
 446 tree dump, ht = 4
 447         #0x000000e6 (n =   1)           (=) 130
 448         #0x000000e5 (n =   3)       (=) 150
 449         #0x000000ed (n =   1)           (=) 155
 450         #0x000000ec (n =   9)   (+) 200
 451         #0x000000e8 (n =   2)           (+) 310
 452         #0x000000e7 (n =   1)               (=) 320
 453         #0x000000eb (n =   5)       (=) 330
 454         #0x000000e9 (n =   1)               (=) 340
 455         #0x000000ea (n =   2)           (-) 350
 456 310
 457 330
 458 320
 459 tree dump, ht = 4
 460         #0x000000ef (n =   2)           (+) 110
 461         #0x000000ee (n =   1)               (=) 120
 462         #0x000000f2 (n =   5)       (=) 130
 463         #0x000000f0 (n =   1)               (=) 140
 464         #0x000000f1 (n =   2)           (-) 150
 465         #0x000000f8 (n =   8)   (-) 200
 466         #0x000000f5 (n =   2)       (+) 340
 467         #0x000000f6 (n =   1)           (=) 350
 468 340
 469 XYLA-AVL REMOVE parent -, sibling = (right child)
 470 tree dump, ht = 4
 471         #0x000000ef (n =   2)       (+) 110
 472         #0x000000ee (n =   1)           (=) 120
 473         #0x000000f2 (n =   7)   (+) 130
 474         #0x000000f0 (n =   1)               (=) 140
 475         #0x000000f1 (n =   2)           (-) 150
 476         #0x000000f8 (n =   4)       (-) 200
 477         #0x000000f6 (n =   1)           (=) 350
 478
 479 ;; Counter-biased parent, cobiased sibling.
 480 120
 481 tree dump, ht = 4
 482         #0x000000fa (n =   1)           (=) 110
 483         #0x000000fd (n =   4)       (+) 130
 484         #0x000000fb (n =   1)               (=) 140
 485         #0x000000fc (n =   2)           (-) 150
 486         #0x00000103 (n =  10)   (=) 200
 487         #0x000000ff (n =   2)           (+) 310
 488         #0x000000fe (n =   1)               (=) 320
 489         #0x00000102 (n =   5)       (=) 330
 490         #0x00000100 (n =   1)               (=) 340
 491         #0x00000101 (n =   2)           (-) 350
 492 110
 493 XYLA-AVL REMOVE parent +, sibling -, nibling = (left child)
 494 XYLA-AVL REMOVE parent = (left child)
 495 tree dump, ht = 4
 496         #0x000000fd (n =   1)           (=) 130
 497         #0x000000fb (n =   3)       (=) 140
 498         #0x000000fc (n =   1)           (=) 150
 499         #0x00000103 (n =   9)   (+) 200
 500         #0x000000ff (n =   2)           (+) 310
 501         #0x000000fe (n =   1)               (=) 320
 502         #0x00000102 (n =   5)       (=) 330
 503         #0x00000100 (n =   1)               (=) 340
 504         #0x00000101 (n =   2)           (-) 350
 505 155
 506 145
 507 tree dump, ht = 5
 508         #0x00000105 (n =   2)           (+) 110
 509         #0x00000104 (n =   1)               (=) 120
 510         #0x00000108 (n =   7)       (+) 130
 511         #0x00000106 (n =   2)               (+) 140
 512         #0x00000110 (n =   1)                   (=) 145
 513         #0x00000107 (n =   4)           (-) 150
 514         #0x0000010f (n =   1)               (=) 155
 515         #0x0000010e (n =  13)   (-) 200
 516         #0x0000010a (n =   2)           (+) 310
 517         #0x00000109 (n =   1)               (=) 320
 518         #0x0000010d (n =   5)       (=) 330
 519         #0x0000010b (n =   1)               (=) 340
 520         #0x0000010c (n =   2)           (-) 350
 521 120
 522 XYLA-AVL REMOVE parent + (right child)
 523 XYLA-AVL REMOVE parent +, sibling -, nibling + (left child)
 524 XYLA-AVL REMOVE parent - (left child)
 525 XYLA-AVL REMOVE shorten tree
 526 tree dump, ht = 4
 527         #0x00000105 (n =   1)               (=) 110
 528         #0x00000108 (n =   2)           (-) 130
 529         #0x00000106 (n =   6)       (=) 140
 530         #0x00000110 (n =   1)               (=) 145
 531         #0x00000107 (n =   3)           (=) 150
 532         #0x0000010f (n =   1)               (=) 155
 533         #0x0000010e (n =  12)   (=) 200
 534         #0x0000010a (n =   2)           (+) 310
 535         #0x00000109 (n =   1)               (=) 320
 536         #0x0000010d (n =   5)       (=) 330
 537         #0x0000010b (n =   1)               (=) 340
 538         #0x0000010c (n =   2)           (-) 350
 539 155
 540 135
 541 tree dump, ht = 5
 542         #0x00000112 (n =   2)           (+) 110
 543         #0x00000111 (n =   1)               (=) 120
 544         #0x00000115 (n =   7)       (+) 130
 545         #0x0000011d (n =   1)                   (=) 135
 546         #0x00000113 (n =   2)               (-) 140
 547         #0x00000114 (n =   4)           (-) 150
 548         #0x0000011c (n =   1)               (=) 155
 549         #0x0000011b (n =  13)   (-) 200
 550         #0x00000117 (n =   2)           (+) 310
 551         #0x00000116 (n =   1)               (=) 320
 552         #0x0000011a (n =   5)       (=) 330
 553         #0x00000118 (n =   1)               (=) 340
 554         #0x00000119 (n =   2)           (-) 350
 555 120
 556 XYLA-AVL REMOVE parent + (right child)
 557 XYLA-AVL REMOVE parent +, sibling -, nibling - (left child)
 558 XYLA-AVL REMOVE parent - (left child)
 559 XYLA-AVL REMOVE shorten tree
 560 tree dump, ht = 4
 561         #0x00000112 (n =   1)               (=) 110
 562         #0x00000115 (n =   3)           (=) 130
 563         #0x0000011d (n =   1)               (=) 135
 564         #0x00000113 (n =   6)       (=) 140
 565         #0x00000114 (n =   2)           (+) 150
 566         #0x0000011c (n =   1)               (=) 155
 567         #0x0000011b (n =  12)   (=) 200
 568         #0x00000117 (n =   2)           (+) 310
 569         #0x00000116 (n =   1)               (=) 320
 570         #0x0000011a (n =   5)       (=) 330
 571         #0x00000118 (n =   1)               (=) 340
 572         #0x00000119 (n =   2)           (-) 350
 573 340
 574 tree dump, ht = 4
 575         #0x0000011f (n =   2)           (+) 110
 576         #0x0000011e (n =   1)               (=) 120
 577         #0x00000122 (n =   5)       (=) 130
 578         #0x00000120 (n =   1)               (=) 140
 579         #0x00000121 (n =   2)           (-) 150
 580         #0x00000128 (n =  10)   (=) 200
 581         #0x00000124 (n =   2)           (+) 310
 582         #0x00000123 (n =   1)               (=) 320
 583         #0x00000127 (n =   4)       (-) 330
 584         #0x00000126 (n =   1)           (=) 350
 585 350
 586 XYLA-AVL REMOVE parent -, sibling +, nibling = (right child)
 587 XYLA-AVL REMOVE parent = (right child)
 588 tree dump, ht = 4
 589         #0x0000011f (n =   2)           (+) 110
 590         #0x0000011e (n =   1)               (=) 120
 591         #0x00000122 (n =   5)       (=) 130
 592         #0x00000120 (n =   1)               (=) 140
 593         #0x00000121 (n =   2)           (-) 150
 594         #0x00000128 (n =   9)   (-) 200
 595         #0x00000124 (n =   1)           (=) 310
 596         #0x00000123 (n =   3)       (=) 320
 597         #0x00000127 (n =   1)           (=) 330
 598 tree dump, ht = 4
 599         #0x0000012a (n =   2)           (+) 110
 600         #0x00000129 (n =   1)               (=) 120
 601         #0x0000012d (n =   5)       (=) 130
 602         #0x0000012b (n =   1)               (=) 140
 603         #0x0000012c (n =   2)           (-) 150
 604         #0x00000133 (n =  11)   (=) 200
 605         #0x0000012f (n =   2)           (+) 310
 606         #0x0000012e (n =   1)               (=) 320
 607         #0x00000132 (n =   5)       (=) 330
 608         #0x00000130 (n =   1)               (=) 340
 609         #0x00000131 (n =   2)           (-) 350
 610 305
 611 325
 612 tree dump, ht = 5
 613         #0x0000012a (n =   2)           (+) 110
 614         #0x00000129 (n =   1)               (=) 120
 615         #0x0000012d (n =   5)       (=) 130
 616         #0x0000012b (n =   1)               (=) 140
 617         #0x0000012c (n =   2)           (-) 150
 618         #0x00000133 (n =  13)   (+) 200
 619         #0x00000134 (n =   1)               (=) 305
 620         #0x0000012f (n =   4)           (+) 310
 621         #0x0000012e (n =   2)               (+) 320
 622         #0x00000135 (n =   1)                   (=) 325
 623         #0x00000132 (n =   7)       (-) 330
 624         #0x00000130 (n =   1)               (=) 340
 625         #0x00000131 (n =   2)           (-) 350
 626 340
 627 XYLA-AVL REMOVE parent - (left child)
 628 XYLA-AVL REMOVE parent -, sibling +, nibling + (right child)
 629 XYLA-AVL REMOVE parent + (right child)
 630 XYLA-AVL REMOVE shorten tree
 631 tree dump, ht = 4
 632         #0x0000012a (n =   2)           (+) 110
 633         #0x00000129 (n =   1)               (=) 120
 634         #0x0000012d (n =   5)       (=) 130
 635         #0x0000012b (n =   1)               (=) 140
 636         #0x0000012c (n =   2)           (-) 150
 637         #0x00000133 (n =  12)   (=) 200
 638         #0x00000134 (n =   1)               (=) 305
 639         #0x0000012f (n =   2)           (-) 310
 640         #0x0000012e (n =   6)       (=) 320
 641         #0x00000135 (n =   1)               (=) 325
 642         #0x00000132 (n =   3)           (=) 330
 643         #0x00000131 (n =   1)               (=) 350
 644 tree dump, ht = 4
 645         #0x00000137 (n =   2)           (+) 110
 646         #0x00000136 (n =   1)               (=) 120
 647         #0x0000013a (n =   5)       (=) 130
 648         #0x00000138 (n =   1)               (=) 140
 649         #0x00000139 (n =   2)           (-) 150
 650         #0x00000140 (n =  11)   (=) 200
 651         #0x0000013c (n =   2)           (+) 310
 652         #0x0000013b (n =   1)               (=) 320
 653         #0x0000013f (n =   5)       (=) 330
 654         #0x0000013d (n =   1)               (=) 340
 655         #0x0000013e (n =   2)           (-) 350
 656 305
 657 315
 658 tree dump, ht = 5
 659         #0x00000137 (n =   2)           (+) 110
 660         #0x00000136 (n =   1)               (=) 120
 661         #0x0000013a (n =   5)       (=) 130
 662         #0x00000138 (n =   1)               (=) 140
 663         #0x00000139 (n =   2)           (-) 150
 664         #0x00000140 (n =  13)   (+) 200
 665         #0x00000141 (n =   1)               (=) 305
 666         #0x0000013c (n =   4)           (+) 310
 667         #0x00000142 (n =   1)                   (=) 315
 668         #0x0000013b (n =   2)               (-) 320
 669         #0x0000013f (n =   7)       (-) 330
 670         #0x0000013d (n =   1)               (=) 340
 671         #0x0000013e (n =   2)           (-) 350
 672 340
 673 XYLA-AVL REMOVE parent - (left child)
 674 XYLA-AVL REMOVE parent -, sibling +, nibling - (right child)
 675 XYLA-AVL REMOVE parent + (right child)
 676 XYLA-AVL REMOVE shorten tree
 677 tree dump, ht = 4
 678         #0x00000137 (n =   2)           (+) 110
 679         #0x00000136 (n =   1)               (=) 120
 680         #0x0000013a (n =   5)       (=) 130
 681         #0x00000138 (n =   1)               (=) 140
 682         #0x00000139 (n =   2)           (-) 150
 683         #0x00000140 (n =  12)   (=) 200
 684         #0x00000141 (n =   1)               (=) 305
 685         #0x0000013c (n =   3)           (=) 310
 686         #0x00000142 (n =   1)               (=) 315
 687         #0x0000013b (n =   6)       (=) 320
 688         #0x0000013f (n =   2)           (+) 330
 689         #0x0000013e (n =   1)               (=) 350
 690
 691 ;;;-------------------------------------------------------------------------
 692 ;;; Joining.
 693
 694 ;; Splice, short counter-biased node.
 695 tree dump, ht = 4
 696         #0x00000143 (n =   1)               (=) 1
 697         #0x00000144 (n =   3)           (=) 2
 698         #0x00000145 (n =   1)               (=) 3
 699         #0x00000146 (n =   7)       (=) 4
 700         #0x00000147 (n =   1)               (=) 5
 701         #0x00000148 (n =   3)           (=) 6
 702         #0x00000149 (n =   1)               (=) 7
 703         #0x0000014a (n =  13)   (=) 8
 704         #0x0000014b (n =   1)               (=) 9
 705         #0x0000014c (n =   3)           (=) 10
 706         #0x0000014d (n =   1)               (=) 11
 707         #0x0000014e (n =   5)       (-) 12
 708         #0x0000014f (n =   1)           (=) 13
 709 tree dump, ht = 2
 710         #0x00000151 (n =   1)       (=) 15
 711         #0x00000152 (n =   3)   (=) 16
 712         #0x00000153 (n =   1)       (=) 17
 713 14
 714 XYLA-AVL JOIN short subtree (right child)
 715 XYLA-AVL JOIN ascent, node = (right child)
 716 XYLA-AVL JOIN extend tree (right child)
 717 tree dump, ht = 5
 718         #0x00000143 (n =   1)               (=) 1
 719         #0x00000144 (n =   3)           (=) 2
 720         #0x00000145 (n =   1)               (=) 3
 721         #0x00000146 (n =   7)       (=) 4
 722         #0x00000147 (n =   1)               (=) 5
 723         #0x00000148 (n =   3)           (=) 6
 724         #0x00000149 (n =   1)               (=) 7
 725         #0x0000014a (n =  17)   (+) 8
 726         #0x0000014b (n =   1)               (=) 9
 727         #0x0000014c (n =   3)           (=) 10
 728         #0x0000014d (n =   1)               (=) 11
 729         #0x0000014e (n =   9)       (+) 12
 730         #0x0000014f (n =   1)               (=) 13
 731         #0x00000154 (n =   5)           (+) 14
 732         #0x00000151 (n =   1)                   (=) 15
 733         #0x00000152 (n =   3)               (=) 16
 734         #0x00000153 (n =   1)                   (=) 17
 735 tree dump, ht = 2
 736         #0x00000155 (n =   1)       (=) 1
 737         #0x00000156 (n =   3)   (=) 2
 738         #0x00000157 (n =   1)       (=) 3
 739 tree dump, ht = 4
 740         #0x00000164 (n =   1)           (=) 5
 741         #0x00000163 (n =   5)       (+) 6
 742         #0x00000162 (n =   1)               (=) 7
 743         #0x00000161 (n =   3)           (=) 8
 744         #0x00000160 (n =   1)               (=) 9
 745         #0x0000015f (n =  13)   (=) 10
 746         #0x0000015e (n =   1)               (=) 11
 747         #0x0000015d (n =   3)           (=) 12
 748         #0x0000015c (n =   1)               (=) 13
 749         #0x0000015b (n =   7)       (=) 14
 750         #0x0000015a (n =   1)               (=) 15
 751         #0x00000159 (n =   3)           (=) 16
 752         #0x00000158 (n =   1)               (=) 17
 753 4
 754 XYLA-AVL JOIN short subtree (left child)
 755 XYLA-AVL JOIN ascent, node = (left child)
 756 XYLA-AVL JOIN extend tree (left child)
 757 tree dump, ht = 5
 758         #0x00000155 (n =   1)                   (=) 1
 759         #0x00000156 (n =   3)               (=) 2
 760         #0x00000157 (n =   1)                   (=) 3
 761         #0x00000166 (n =   5)           (-) 4
 762         #0x00000164 (n =   1)               (=) 5
 763         #0x00000163 (n =   9)       (-) 6
 764         #0x00000162 (n =   1)               (=) 7
 765         #0x00000161 (n =   3)           (=) 8
 766         #0x00000160 (n =   1)               (=) 9
 767         #0x0000015f (n =  17)   (-) 10
 768         #0x0000015e (n =   1)               (=) 11
 769         #0x0000015d (n =   3)           (=) 12
 770         #0x0000015c (n =   1)               (=) 13
 771         #0x0000015b (n =   7)       (=) 14
 772         #0x0000015a (n =   1)               (=) 15
 773         #0x00000159 (n =   3)           (=) 16
 774         #0x00000158 (n =   1)               (=) 17
 775
 776 ;; Splice, standard balanced or counter-biased node.
 777 tree dump, ht = 4
 778         #0x00000167 (n =   1)               (=) 1
 779         #0x00000168 (n =   3)           (=) 2
 780         #0x00000169 (n =   1)               (=) 3
 781         #0x0000016a (n =   7)       (=) 4
 782         #0x0000016b (n =   1)               (=) 5
 783         #0x0000016c (n =   3)           (=) 6
 784         #0x0000016d (n =   1)               (=) 7
 785         #0x0000016e (n =  15)   (=) 8
 786         #0x0000016f (n =   1)               (=) 9
 787         #0x00000170 (n =   3)           (=) 10
 788         #0x00000171 (n =   1)               (=) 11
 789         #0x00000172 (n =   7)       (=) 12
 790         #0x00000173 (n =   1)               (=) 13
 791         #0x00000174 (n =   3)           (=) 14
 792         #0x00000175 (n =   1)               (=) 15
 793 tree dump, ht = 2
 794         #0x00000176 (n =   1)       (=) 17
 795         #0x00000177 (n =   3)   (=) 18
 796         #0x00000178 (n =   1)       (=) 19
 797 16
 798 XYLA-AVL JOIN splice, node = (right child)
 799 XYLA-AVL JOIN ascent, node = (right child)
 800 XYLA-AVL JOIN extend tree (right child)
 801 tree dump, ht = 5
 802         #0x00000167 (n =   1)               (=) 1
 803         #0x00000168 (n =   3)           (=) 2
 804         #0x00000169 (n =   1)               (=) 3
 805         #0x0000016a (n =   7)       (=) 4
 806         #0x0000016b (n =   1)               (=) 5
 807         #0x0000016c (n =   3)           (=) 6
 808         #0x0000016d (n =   1)               (=) 7
 809         #0x0000016e (n =  19)   (+) 8
 810         #0x0000016f (n =   1)               (=) 9
 811         #0x00000170 (n =   3)           (=) 10
 812         #0x00000171 (n =   1)               (=) 11
 813         #0x00000172 (n =  11)       (+) 12
 814         #0x00000173 (n =   1)                   (=) 13
 815         #0x00000174 (n =   3)               (=) 14
 816         #0x00000175 (n =   1)                   (=) 15
 817         #0x00000179 (n =   7)           (=) 16
 818         #0x00000176 (n =   1)                   (=) 17
 819         #0x00000177 (n =   3)               (=) 18
 820         #0x00000178 (n =   1)                   (=) 19
 821 tree dump, ht = 4
 822         #0x0000017a (n =   1)               (=) 1
 823         #0x0000017b (n =   3)           (=) 2
 824         #0x0000017c (n =   1)               (=) 3
 825         #0x0000017d (n =   7)       (=) 4
 826         #0x0000017e (n =   1)               (=) 5
 827         #0x0000017f (n =   3)           (=) 6
 828         #0x00000180 (n =   1)               (=) 7
 829         #0x00000181 (n =  13)   (=) 8
 830         #0x00000182 (n =   1)               (=) 9
 831         #0x00000183 (n =   3)           (=) 10
 832         #0x00000184 (n =   1)               (=) 11
 833         #0x00000185 (n =   5)       (-) 12
 834         #0x00000186 (n =   1)           (=) 13
 835 tree dump, ht = 1
 836         #0x00000188 (n =   1)   (=) 15
 837 14
 838 XYLA-AVL JOIN splice, node - (right child)
 839 tree dump, ht = 4
 840         #0x0000017a (n =   1)               (=) 1
 841         #0x0000017b (n =   3)           (=) 2
 842         #0x0000017c (n =   1)               (=) 3
 843         #0x0000017d (n =   7)       (=) 4
 844         #0x0000017e (n =   1)               (=) 5
 845         #0x0000017f (n =   3)           (=) 6
 846         #0x00000180 (n =   1)               (=) 7
 847         #0x00000181 (n =  15)   (=) 8
 848         #0x00000182 (n =   1)               (=) 9
 849         #0x00000183 (n =   3)           (=) 10
 850         #0x00000184 (n =   1)               (=) 11
 851         #0x00000185 (n =   7)       (=) 12
 852         #0x00000186 (n =   1)               (=) 13
 853         #0x00000189 (n =   3)           (=) 14
 854         #0x00000188 (n =   1)               (=) 15
 855 tree dump, ht = 2
 856         #0x0000018a (n =   1)       (=) 1
 857         #0x0000018b (n =   3)   (=) 2
 858         #0x0000018c (n =   1)       (=) 3
 859 tree dump, ht = 4
 860         #0x0000019b (n =   1)               (=) 5
 861         #0x0000019a (n =   3)           (=) 6
 862         #0x00000199 (n =   1)               (=) 7
 863         #0x00000198 (n =   7)       (=) 8
 864         #0x00000197 (n =   1)               (=) 9
 865         #0x00000196 (n =   3)           (=) 10
 866         #0x00000195 (n =   1)               (=) 11
 867         #0x00000194 (n =  15)   (=) 12
 868         #0x00000193 (n =   1)               (=) 13
 869         #0x00000192 (n =   3)           (=) 14
 870         #0x00000191 (n =   1)               (=) 15
 871         #0x00000190 (n =   7)       (=) 16
 872         #0x0000018f (n =   1)               (=) 17
 873         #0x0000018e (n =   3)           (=) 18
 874         #0x0000018d (n =   1)               (=) 19
 875 4
 876 XYLA-AVL JOIN splice, node = (left child)
 877 XYLA-AVL JOIN ascent, node = (left child)
 878 XYLA-AVL JOIN extend tree (left child)
 879 tree dump, ht = 5
 880         #0x0000018a (n =   1)                   (=) 1
 881         #0x0000018b (n =   3)               (=) 2
 882         #0x0000018c (n =   1)                   (=) 3
 883         #0x0000019c (n =   7)           (=) 4
 884         #0x0000019b (n =   1)                   (=) 5
 885         #0x0000019a (n =   3)               (=) 6
 886         #0x00000199 (n =   1)                   (=) 7
 887         #0x00000198 (n =  11)       (-) 8
 888         #0x00000197 (n =   1)               (=) 9
 889         #0x00000196 (n =   3)           (=) 10
 890         #0x00000195 (n =   1)               (=) 11
 891         #0x00000194 (n =  19)   (-) 12
 892         #0x00000193 (n =   1)               (=) 13
 893         #0x00000192 (n =   3)           (=) 14
 894         #0x00000191 (n =   1)               (=) 15
 895         #0x00000190 (n =   7)       (=) 16
 896         #0x0000018f (n =   1)               (=) 17
 897         #0x0000018e (n =   3)           (=) 18
 898         #0x0000018d (n =   1)               (=) 19
 899 tree dump, ht = 1
 900         #0x0000019d (n =   1)   (=) 1
 901 tree dump, ht = 4
 902         #0x000001aa (n =   1)           (=) 3
 903         #0x000001a9 (n =   5)       (+) 4
 904         #0x000001a8 (n =   1)               (=) 5
 905         #0x000001a7 (n =   3)           (=) 6
 906         #0x000001a6 (n =   1)               (=) 7
 907         #0x000001a5 (n =  13)   (=) 8
 908         #0x000001a4 (n =   1)               (=) 9
 909         #0x000001a3 (n =   3)           (=) 10
 910         #0x000001a2 (n =   1)               (=) 11
 911         #0x000001a1 (n =   7)       (=) 12
 912         #0x000001a0 (n =   1)               (=) 13
 913         #0x0000019f (n =   3)           (=) 14
 914         #0x0000019e (n =   1)               (=) 15
 915 2
 916 XYLA-AVL JOIN splice, node + (left child)
 917 tree dump, ht = 4
 918         #0x0000019d (n =   1)               (=) 1
 919         #0x000001ac (n =   3)           (=) 2
 920         #0x000001aa (n =   1)               (=) 3
 921         #0x000001a9 (n =   7)       (=) 4
 922         #0x000001a8 (n =   1)               (=) 5
 923         #0x000001a7 (n =   3)           (=) 6
 924         #0x000001a6 (n =   1)               (=) 7
 925         #0x000001a5 (n =  15)   (=) 8
 926         #0x000001a4 (n =   1)               (=) 9
 927         #0x000001a3 (n =   3)           (=) 10
 928         #0x000001a2 (n =   1)               (=) 11
 929         #0x000001a1 (n =   7)       (=) 12
 930         #0x000001a0 (n =   1)               (=) 13
 931         #0x0000019f (n =   3)           (=) 14
 932         #0x0000019e (n =   1)               (=) 15
 933
 934 ;; Splice, cobiased node, balanced or counter-biased parent.
 935 tree dump, ht = 5
 936         #0x000001ad (n =   1)               (=) 1
 937         #0x000001ae (n =   3)           (=) 2
 938         #0x000001af (n =   1)               (=) 3
 939         #0x000001b0 (n =   7)       (=) 4
 940         #0x000001b1 (n =   1)               (=) 5
 941         #0x000001b2 (n =   3)           (=) 6
 942         #0x000001b3 (n =   1)               (=) 7
 943         #0x000001b4 (n =  17)   (+) 8
 944         #0x000001b5 (n =   1)               (=) 9
 945         #0x000001b6 (n =   3)           (=) 10
 946         #0x000001b7 (n =   1)               (=) 11
 947         #0x000001b8 (n =   9)       (+) 12
 948         #0x000001bd (n =   1)                   (=) 13
 949         #0x000001b9 (n =   2)               (-) 14
 950         #0x000001ba (n =   5)           (=) 15
 951         #0x000001bb (n =   2)               (+) 16
 952         #0x000001bc (n =   1)                   (=) 17
 953 tree dump, ht = 1
 954         #0x000001be (n =   1)   (=) 19
 955 18
 956 XYLA-AVL JOIN splice, node +, parent = (right child)
 957 XYLA-AVL JOIN ascent, node + (right child)
 958 tree dump, ht = 5
 959         #0x000001ad (n =   1)               (=) 1
 960         #0x000001ae (n =   3)           (=) 2
 961         #0x000001af (n =   1)               (=) 3
 962         #0x000001b0 (n =   7)       (=) 4
 963         #0x000001b1 (n =   1)               (=) 5
 964         #0x000001b2 (n =   3)           (=) 6
 965         #0x000001b3 (n =   1)               (=) 7
 966         #0x000001b4 (n =  19)   (+) 8
 967         #0x000001b5 (n =   1)                   (=) 9
 968         #0x000001b6 (n =   3)               (=) 10
 969         #0x000001b7 (n =   1)                   (=) 11
 970         #0x000001b8 (n =   6)           (=) 12
 971         #0x000001bd (n =   1)                   (=) 13
 972         #0x000001b9 (n =   2)               (-) 14
 973         #0x000001ba (n =  11)       (=) 15
 974         #0x000001bb (n =   2)               (+) 16
 975         #0x000001bc (n =   1)                   (=) 17
 976         #0x000001bf (n =   4)           (-) 18
 977         #0x000001be (n =   1)               (=) 19
 978 tree dump, ht = 5
 979         #0x000001c0 (n =   1)               (=) 1
 980         #0x000001c1 (n =   3)           (=) 2
 981         #0x000001c2 (n =   1)               (=) 3
 982         #0x000001c3 (n =   7)       (=) 4
 983         #0x000001c4 (n =   1)               (=) 5
 984         #0x000001c5 (n =   3)           (=) 6
 985         #0x000001c6 (n =   1)               (=) 7
 986         #0x000001c7 (n =  15)   (+) 8
 987         #0x000001cf (n =   1)                   (=) 9
 988         #0x000001c8 (n =   2)               (-) 10
 989         #0x000001c9 (n =   4)           (-) 11
 990         #0x000001ca (n =   1)               (=) 12
 991         #0x000001cb (n =   7)       (-) 13
 992         #0x000001cd (n =   2)           (+) 15
 993         #0x000001ce (n =   1)               (=) 16
 994 tree dump, ht = 1
 995         #0x000001d0 (n =   1)   (=) 18
 996 17
 997 XYLA-AVL JOIN splice, node +, parent - (right child)
 998 tree dump, ht = 5
 999         #0x000001c0 (n =   1)               (=) 1
1000         #0x000001c1 (n =   3)           (=) 2
1001         #0x000001c2 (n =   1)               (=) 3
1002         #0x000001c3 (n =   7)       (=) 4
1003         #0x000001c4 (n =   1)               (=) 5
1004         #0x000001c5 (n =   3)           (=) 6
1005         #0x000001c6 (n =   1)               (=) 7
1006         #0x000001c7 (n =  17)   (+) 8
1007         #0x000001cf (n =   1)                   (=) 9
1008         #0x000001c8 (n =   2)               (-) 10
1009         #0x000001c9 (n =   4)           (-) 11
1010         #0x000001ca (n =   1)               (=) 12
1011         #0x000001cb (n =   9)       (=) 13
1012         #0x000001cd (n =   2)               (+) 15
1013         #0x000001ce (n =   1)                   (=) 16
1014         #0x000001d1 (n =   4)           (-) 17
1015         #0x000001d0 (n =   1)               (=) 18
1016 tree dump, ht = 1
1017         #0x000001d2 (n =   1)   (=) 1
1018 tree dump, ht = 5
1019         #0x000001e2 (n =   1)                   (=) 3
1020         #0x000001e1 (n =   2)               (-) 4
1021         #0x000001e0 (n =   5)           (=) 5
1022         #0x000001e3 (n =   1)                   (=) 6
1023         #0x000001df (n =   2)               (-) 7
1024         #0x000001de (n =   9)       (-) 8
1025         #0x000001dd (n =   1)               (=) 9
1026         #0x000001dc (n =   3)           (=) 10
1027         #0x000001db (n =   1)               (=) 11
1028         #0x000001da (n =  17)   (-) 12
1029         #0x000001d9 (n =   1)               (=) 13
1030         #0x000001d8 (n =   3)           (=) 14
1031         #0x000001d7 (n =   1)               (=) 15
1032         #0x000001d6 (n =   7)       (=) 16
1033         #0x000001d5 (n =   1)               (=) 17
1034         #0x000001d4 (n =   3)           (=) 18
1035         #0x000001d3 (n =   1)               (=) 19
1036 2
1037 XYLA-AVL JOIN splice, node -, parent = (left child)
1038 XYLA-AVL JOIN ascent, node - (left child)
1039 tree dump, ht = 5
1040         #0x000001d2 (n =   1)               (=) 1
1041         #0x000001e4 (n =   4)           (+) 2
1042         #0x000001e2 (n =   1)                   (=) 3
1043         #0x000001e1 (n =   2)               (-) 4
1044         #0x000001e0 (n =  11)       (=) 5
1045         #0x000001e3 (n =   1)                   (=) 6
1046         #0x000001df (n =   2)               (-) 7
1047         #0x000001de (n =   6)           (=) 8
1048         #0x000001dd (n =   1)                   (=) 9
1049         #0x000001dc (n =   3)               (=) 10
1050         #0x000001db (n =   1)                   (=) 11
1051         #0x000001da (n =  19)   (-) 12
1052         #0x000001d9 (n =   1)               (=) 13
1053         #0x000001d8 (n =   3)           (=) 14
1054         #0x000001d7 (n =   1)               (=) 15
1055         #0x000001d6 (n =   7)       (=) 16
1056         #0x000001d5 (n =   1)               (=) 17
1057         #0x000001d4 (n =   3)           (=) 18
1058         #0x000001d3 (n =   1)               (=) 19
1059 tree dump, ht = 1
1060         #0x000001e5 (n =   1)   (=) 1
1061 tree dump, ht = 5
1062         #0x000001f4 (n =   1)               (=) 3
1063         #0x000001f3 (n =   2)           (-) 4
1064         #0x000001f1 (n =   7)       (+) 6
1065         #0x000001f0 (n =   1)               (=) 7
1066         #0x000001ef (n =   4)           (+) 8
1067         #0x000001ee (n =   2)               (+) 9
1068         #0x000001f5 (n =   1)                   (=) 10
1069         #0x000001ed (n =  15)   (-) 11
1070         #0x000001ec (n =   1)               (=) 12
1071         #0x000001eb (n =   3)           (=) 13
1072         #0x000001ea (n =   1)               (=) 14
1073         #0x000001e9 (n =   7)       (=) 15
1074         #0x000001e8 (n =   1)               (=) 16
1075         #0x000001e7 (n =   3)           (=) 17
1076         #0x000001e6 (n =   1)               (=) 18
1077 2
1078 XYLA-AVL JOIN splice, node -, parent + (left child)
1079 tree dump, ht = 5
1080         #0x000001e5 (n =   1)               (=) 1
1081         #0x000001f6 (n =   4)           (+) 2
1082         #0x000001f4 (n =   1)                   (=) 3
1083         #0x000001f3 (n =   2)               (-) 4
1084         #0x000001f1 (n =   9)       (=) 6
1085         #0x000001f0 (n =   1)               (=) 7
1086         #0x000001ef (n =   4)           (+) 8
1087         #0x000001ee (n =   2)               (+) 9
1088         #0x000001f5 (n =   1)                   (=) 10
1089         #0x000001ed (n =  17)   (-) 11
1090         #0x000001ec (n =   1)               (=) 12
1091         #0x000001eb (n =   3)           (=) 13
1092         #0x000001ea (n =   1)               (=) 14
1093         #0x000001e9 (n =   7)       (=) 15
1094         #0x000001e8 (n =   1)               (=) 16
1095         #0x000001e7 (n =   3)           (=) 17
1096         #0x000001e6 (n =   1)               (=) 18
1097
1098 ;; Splice, cobiased node, cobiased parent.
1099 tree dump, ht = 4
1100         #0x000001f7 (n =   1)               (=) 1
1101         #0x000001f8 (n =   3)           (=) 2
1102         #0x000001f9 (n =   1)               (=) 3
1103         #0x000001fa (n =   7)       (=) 4
1104         #0x000001fb (n =   1)               (=) 5
1105         #0x000001fc (n =   3)           (=) 6
1106         #0x000001fd (n =   1)               (=) 7
1107         #0x000001fe (n =  12)   (=) 8
1108         #0x000001ff (n =   1)           (=) 9
1109         #0x00000200 (n =   4)       (+) 10
1110         #0x00000201 (n =   2)           (+) 11
1111         #0x00000202 (n =   1)               (=) 12
1112 tree dump, ht = 1
1113         #0x00000203 (n =   1)   (=) 14
1114 13
1115 XYLA-AVL JOIN splice, node +, parent + (right child)
1116 tree dump, ht = 4
1117         #0x000001f7 (n =   1)               (=) 1
1118         #0x000001f8 (n =   3)           (=) 2
1119         #0x000001f9 (n =   1)               (=) 3
1120         #0x000001fa (n =   7)       (=) 4
1121         #0x000001fb (n =   1)               (=) 5
1122         #0x000001fc (n =   3)           (=) 6
1123         #0x000001fd (n =   1)               (=) 7
1124         #0x000001fe (n =  14)   (=) 8
1125         #0x000001ff (n =   1)               (=) 9
1126         #0x00000200 (n =   2)           (-) 10
1127         #0x00000201 (n =   6)       (=) 11
1128         #0x00000202 (n =   1)               (=) 12
1129         #0x00000204 (n =   3)           (=) 13
1130         #0x00000203 (n =   1)               (=) 14
1131 tree dump, ht = 1
1132         #0x00000205 (n =   1)   (=) 1
1133 tree dump, ht = 4
1134         #0x00000211 (n =   1)               (=) 3
1135         #0x00000210 (n =   2)           (-) 4
1136         #0x0000020f (n =   4)       (-) 5
1137         #0x0000020e (n =   1)           (=) 6
1138         #0x0000020d (n =  12)   (=) 7
1139         #0x0000020c (n =   1)               (=) 8
1140         #0x0000020b (n =   3)           (=) 9
1141         #0x0000020a (n =   1)               (=) 10
1142         #0x00000209 (n =   7)       (=) 11
1143         #0x00000208 (n =   1)               (=) 12
1144         #0x00000207 (n =   3)           (=) 13
1145         #0x00000206 (n =   1)               (=) 14
1146 2
1147 XYLA-AVL JOIN splice, node -, parent - (left child)
1148 tree dump, ht = 4
1149         #0x00000205 (n =   1)               (=) 1
1150         #0x00000212 (n =   3)           (=) 2
1151         #0x00000211 (n =   1)               (=) 3
1152         #0x00000210 (n =   6)       (=) 4
1153         #0x0000020f (n =   2)           (+) 5
1154         #0x0000020e (n =   1)               (=) 6
1155         #0x0000020d (n =  14)   (=) 7
1156         #0x0000020c (n =   1)               (=) 8
1157         #0x0000020b (n =   3)           (=) 9
1158         #0x0000020a (n =   1)               (=) 10
1159         #0x00000209 (n =   7)       (=) 11
1160         #0x00000208 (n =   1)               (=) 12
1161         #0x00000207 (n =   3)           (=) 13
1162         #0x00000206 (n =   1)               (=) 14
1163
1164 ;; Ascent, cobiased node.
1165 tree dump, ht = 4
1166         #0x00000213 (n =   1)               (=) 1
1167         #0x00000214 (n =   3)           (=) 2
1168         #0x00000215 (n =   1)               (=) 3
1169         #0x00000216 (n =   7)       (=) 4
1170         #0x00000217 (n =   1)               (=) 5
1171         #0x00000218 (n =   3)           (=) 6
1172         #0x00000219 (n =   1)               (=) 7
1173         #0x0000021a (n =  13)   (=) 8
1174         #0x0000021b (n =   1)           (=) 9
1175         #0x0000021c (n =   5)       (+) 10
1176         #0x0000021d (n =   1)               (=) 11
1177         #0x0000021e (n =   3)           (=) 12
1178         #0x0000021f (n =   1)               (=) 13
1179 tree dump, ht = 1
1180         #0x00000220 (n =   1)   (=) 15
1181 14
1182 XYLA-AVL JOIN splice, node = (right child)
1183 XYLA-AVL JOIN ascent, node + (right child)
1184 tree dump, ht = 4
1185         #0x00000213 (n =   1)               (=) 1
1186         #0x00000214 (n =   3)           (=) 2
1187         #0x00000215 (n =   1)               (=) 3
1188         #0x00000216 (n =   7)       (=) 4
1189         #0x00000217 (n =   1)               (=) 5
1190         #0x00000218 (n =   3)           (=) 6
1191         #0x00000219 (n =   1)               (=) 7
1192         #0x0000021a (n =  15)   (=) 8
1193         #0x0000021b (n =   1)               (=) 9
1194         #0x0000021c (n =   3)           (=) 10
1195         #0x0000021d (n =   1)               (=) 11
1196         #0x0000021e (n =   7)       (=) 12
1197         #0x0000021f (n =   1)               (=) 13
1198         #0x00000221 (n =   3)           (=) 14
1199         #0x00000220 (n =   1)               (=) 15
1200 tree dump, ht = 1
1201         #0x00000222 (n =   1)   (=) 1
1202 tree dump, ht = 4
1203         #0x0000022f (n =   1)               (=) 3
1204         #0x0000022e (n =   3)           (=) 4
1205         #0x0000022d (n =   1)               (=) 5
1206         #0x0000022c (n =   5)       (-) 6
1207         #0x0000022b (n =   1)           (=) 7
1208         #0x0000022a (n =  13)   (=) 8
1209         #0x00000229 (n =   1)               (=) 9
1210         #0x00000228 (n =   3)           (=) 10
1211         #0x00000227 (n =   1)               (=) 11
1212         #0x00000226 (n =   7)       (=) 12
1213         #0x00000225 (n =   1)               (=) 13
1214         #0x00000224 (n =   3)           (=) 14
1215         #0x00000223 (n =   1)               (=) 15
1216 2
1217 XYLA-AVL JOIN splice, node = (left child)
1218 XYLA-AVL JOIN ascent, node - (left child)
1219 tree dump, ht = 4
1220         #0x00000222 (n =   1)               (=) 1
1221         #0x00000230 (n =   3)           (=) 2
1222         #0x0000022f (n =   1)               (=) 3
1223         #0x0000022e (n =   7)       (=) 4
1224         #0x0000022d (n =   1)               (=) 5
1225         #0x0000022c (n =   3)           (=) 6
1226         #0x0000022b (n =   1)               (=) 7
1227         #0x0000022a (n =  15)   (=) 8
1228         #0x00000229 (n =   1)               (=) 9
1229         #0x00000228 (n =   3)           (=) 10
1230         #0x00000227 (n =   1)               (=) 11
1231         #0x00000226 (n =   7)       (=) 12
1232         #0x00000225 (n =   1)               (=) 13
1233         #0x00000224 (n =   3)           (=) 14
1234         #0x00000223 (n =   1)               (=) 15
1235
1236 ;; Ascent, counter-biased node.
1237 tree dump, ht = 5
1238         #0x00000231 (n =   1)               (=) 1
1239         #0x00000232 (n =   3)           (=) 2
1240         #0x00000233 (n =   1)               (=) 3
1241         #0x00000234 (n =   7)       (=) 4
1242         #0x00000235 (n =   1)               (=) 5
1243         #0x00000236 (n =   3)           (=) 6
1244         #0x00000237 (n =   1)               (=) 7
1245         #0x00000238 (n =  16)   (+) 8
1246         #0x00000240 (n =   1)                   (=) 9
1247         #0x00000239 (n =   2)               (-) 10
1248         #0x0000023a (n =   4)           (-) 11
1249         #0x0000023b (n =   1)               (=) 12
1250         #0x0000023c (n =   8)       (-) 13
1251         #0x0000023d (n =   1)               (=) 14
1252         #0x0000023e (n =   3)           (=) 15
1253         #0x0000023f (n =   1)               (=) 16
1254 tree dump, ht = 1
1255         #0x00000241 (n =   1)   (=) 18
1256 17
1257 XYLA-AVL JOIN splice, node = (right child)
1258 XYLA-AVL JOIN ascent, node - (right child)
1259 tree dump, ht = 5
1260         #0x00000231 (n =   1)               (=) 1
1261         #0x00000232 (n =   3)           (=) 2
1262         #0x00000233 (n =   1)               (=) 3
1263         #0x00000234 (n =   7)       (=) 4
1264         #0x00000235 (n =   1)               (=) 5
1265         #0x00000236 (n =   3)           (=) 6
1266         #0x00000237 (n =   1)               (=) 7
1267         #0x00000238 (n =  18)   (+) 8
1268         #0x00000240 (n =   1)                   (=) 9
1269         #0x00000239 (n =   2)               (-) 10
1270         #0x0000023a (n =   4)           (-) 11
1271         #0x0000023b (n =   1)               (=) 12
1272         #0x0000023c (n =  10)       (=) 13
1273         #0x0000023d (n =   1)               (=) 14
1274         #0x0000023e (n =   5)           (+) 15
1275         #0x0000023f (n =   1)                   (=) 16
1276         #0x00000242 (n =   3)               (=) 17
1277         #0x00000241 (n =   1)                   (=) 18
1278 tree dump, ht = 1
1279         #0x00000243 (n =   1)   (=) 1
1280 tree dump, ht = 5
1281         #0x00000252 (n =   1)               (=) 3
1282         #0x00000251 (n =   3)           (=) 4
1283         #0x00000250 (n =   1)               (=) 5
1284         #0x0000024f (n =   8)       (+) 6
1285         #0x0000024e (n =   1)               (=) 7
1286         #0x0000024d (n =   4)           (+) 8
1287         #0x0000024c (n =   2)               (+) 9
1288         #0x00000253 (n =   1)                   (=) 10
1289         #0x0000024b (n =  16)   (-) 11
1290         #0x0000024a (n =   1)               (=) 12
1291         #0x00000249 (n =   3)           (=) 13
1292         #0x00000248 (n =   1)               (=) 14
1293         #0x00000247 (n =   7)       (=) 15
1294         #0x00000246 (n =   1)               (=) 16
1295         #0x00000245 (n =   3)           (=) 17
1296         #0x00000244 (n =   1)               (=) 18
1297 2
1298 XYLA-AVL JOIN splice, node = (left child)
1299 XYLA-AVL JOIN ascent, node + (left child)
1300 tree dump, ht = 5
1301         #0x00000243 (n =   1)                   (=) 1
1302         #0x00000254 (n =   3)               (=) 2
1303         #0x00000252 (n =   1)                   (=) 3
1304         #0x00000251 (n =   5)           (-) 4
1305         #0x00000250 (n =   1)               (=) 5
1306         #0x0000024f (n =  10)       (=) 6
1307         #0x0000024e (n =   1)               (=) 7
1308         #0x0000024d (n =   4)           (+) 8
1309         #0x0000024c (n =   2)               (+) 9
1310         #0x00000253 (n =   1)                   (=) 10
1311         #0x0000024b (n =  18)   (-) 11
1312         #0x0000024a (n =   1)               (=) 12
1313         #0x00000249 (n =   3)           (=) 13
1314         #0x00000248 (n =   1)               (=) 14
1315         #0x00000247 (n =   7)       (=) 15
1316         #0x00000246 (n =   1)               (=) 16
1317         #0x00000245 (n =   3)           (=) 17
1318         #0x00000244 (n =   1)               (=) 18
1319
1320 ;; Ascent, balanced node.
1321 tree dump, ht = 4
1322         #0x00000255 (n =   1)               (=) 1
1323         #0x00000256 (n =   3)           (=) 2
1324         #0x00000257 (n =   1)               (=) 3
1325         #0x00000258 (n =   7)       (=) 4
1326         #0x00000259 (n =   1)               (=) 5
1327         #0x0000025a (n =   3)           (=) 6
1328         #0x0000025b (n =   1)               (=) 7
1329         #0x0000025c (n =  15)   (=) 8
1330         #0x0000025d (n =   1)               (=) 9
1331         #0x0000025e (n =   3)           (=) 10
1332         #0x0000025f (n =   1)               (=) 11
1333         #0x00000260 (n =   7)       (=) 12
1334         #0x00000261 (n =   1)               (=) 13
1335         #0x00000262 (n =   3)           (=) 14
1336         #0x00000263 (n =   1)               (=) 15
1337 tree dump, ht = 1
1338         #0x00000264 (n =   1)   (=) 17
1339 16
1340 XYLA-AVL JOIN splice, node = (right child)
1341 XYLA-AVL JOIN ascent, node = (right child)
1342 XYLA-AVL JOIN ascent, node = (right child)
1343 XYLA-AVL JOIN extend tree (right child)
1344 tree dump, ht = 5
1345         #0x00000255 (n =   1)               (=) 1
1346         #0x00000256 (n =   3)           (=) 2
1347         #0x00000257 (n =   1)               (=) 3
1348         #0x00000258 (n =   7)       (=) 4
1349         #0x00000259 (n =   1)               (=) 5
1350         #0x0000025a (n =   3)           (=) 6
1351         #0x0000025b (n =   1)               (=) 7
1352         #0x0000025c (n =  17)   (+) 8
1353         #0x0000025d (n =   1)               (=) 9
1354         #0x0000025e (n =   3)           (=) 10
1355         #0x0000025f (n =   1)               (=) 11
1356         #0x00000260 (n =   9)       (+) 12
1357         #0x00000261 (n =   1)               (=) 13
1358         #0x00000262 (n =   5)           (+) 14
1359         #0x00000263 (n =   1)                   (=) 15
1360         #0x00000265 (n =   3)               (=) 16
1361         #0x00000264 (n =   1)                   (=) 17
1362 tree dump, ht = 1
1363         #0x00000266 (n =   1)   (=) 1
1364 tree dump, ht = 4
1365         #0x00000267 (n =   1)               (=) 3
1366         #0x00000268 (n =   3)           (=) 4
1367         #0x00000269 (n =   1)               (=) 5
1368         #0x0000026a (n =   7)       (=) 6
1369         #0x0000026b (n =   1)               (=) 7
1370         #0x0000026c (n =   3)           (=) 8
1371         #0x0000026d (n =   1)               (=) 9
1372         #0x0000026e (n =  15)   (=) 10
1373         #0x0000026f (n =   1)               (=) 11
1374         #0x00000270 (n =   3)           (=) 12
1375         #0x00000271 (n =   1)               (=) 13
1376         #0x00000272 (n =   7)       (=) 14
1377         #0x00000273 (n =   1)               (=) 15
1378         #0x00000274 (n =   3)           (=) 16
1379         #0x00000275 (n =   1)               (=) 17
1380 2
1381 XYLA-AVL JOIN splice, node = (left child)
1382 XYLA-AVL JOIN ascent, node = (left child)
1383 XYLA-AVL JOIN ascent, node = (left child)
1384 XYLA-AVL JOIN extend tree (left child)
1385 tree dump, ht = 5
1386         #0x00000266 (n =   1)                   (=) 1
1387         #0x00000276 (n =   3)               (=) 2
1388         #0x00000267 (n =   1)                   (=) 3
1389         #0x00000268 (n =   5)           (-) 4
1390         #0x00000269 (n =   1)               (=) 5
1391         #0x0000026a (n =   9)       (-) 6
1392         #0x0000026b (n =   1)               (=) 7
1393         #0x0000026c (n =   3)           (=) 8
1394         #0x0000026d (n =   1)               (=) 9
1395         #0x0000026e (n =  17)   (-) 10
1396         #0x0000026f (n =   1)               (=) 11
1397         #0x00000270 (n =   3)           (=) 12
1398         #0x00000271 (n =   1)               (=) 13
1399         #0x00000272 (n =   7)       (=) 14
1400         #0x00000273 (n =   1)               (=) 15
1401         #0x00000274 (n =   3)           (=) 16
1402         #0x00000275 (n =   1)               (=) 17
1403
1404 ;;;----- That's all, folks -------------------------------------------------