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