2 ;; Bungled heights in `avltree_splitroot'.
4 #0x00000000 (n = 1) (=) 1
5 #0x00000003 (n = 4) (+) 7
6 #0x00000002 (n = 2) (+) 9
7 #0x00000001 (n = 1) (=) 10
8 #0x0000000c (n = 13) (+) 15
9 #0x00000004 (n = 1) (=) 16
10 #0x00000007 (n = 4) (+) 20
11 #0x00000006 (n = 2) (+) 21
12 #0x00000005 (n = 1) (=) 22
13 #0x0000000b (n = 8) (-) 23
14 #0x00000008 (n = 1) (=) 25
15 #0x0000000a (n = 3) (=) 26
16 #0x00000009 (n = 1) (=) 27
17 #0x0000001d (n = 30) (=) 28
18 #0x0000000d (n = 1) (=) 29
19 #0x00000011 (n = 5) (+) 32
20 #0x0000000e (n = 1) (=) 37
21 #0x00000010 (n = 3) (=) 41
22 #0x0000000f (n = 1) (=) 42
23 #0x0000001c (n = 16) (+) 44
24 #0x00000012 (n = 1) (=) 45
25 #0x00000015 (n = 4) (+) 46
26 #0x00000014 (n = 2) (+) 51
27 #0x00000013 (n = 1) (=) 52
28 #0x0000001b (n = 10) (=) 55
29 #0x00000016 (n = 1) (=) 56
30 #0x00000017 (n = 2) (-) 57
31 #0x0000001a (n = 5) (=) 58
32 #0x00000018 (n = 1) (=) 59
33 #0x00000019 (n = 2) (-) 61
35 #0x0000001f (n = 2) (+) 3
36 #0x0000001e (n = 1) (=) 4
37 #0x00000023 (n = 6) (=) 6
38 #0x00000020 (n = 1) (=) 9
39 #0x00000022 (n = 3) (=) 10
40 #0x00000021 (n = 1) (=) 12
41 #0x00000029 (n = 12) (=) 15
42 #0x00000025 (n = 2) (+) 16
43 #0x00000024 (n = 1) (=) 17
44 #0x00000028 (n = 5) (=) 19
45 #0x00000026 (n = 1) (=) 20
46 #0x00000027 (n = 2) (-) 25
48 #0x00000000 (n = 1) (=) 1
49 #0x0000001f (n = 2) (-) 3
50 #0x0000001e (n = 4) (-) 4
51 #0x00000023 (n = 1) (=) 6
52 #0x00000003 (n = 8) (-) 7
53 #0x00000002 (n = 1) (=) 9
54 #0x00000001 (n = 3) (=) 10
55 #0x00000021 (n = 1) (=) 12
56 #0x0000000c (n = 19) (=) 15
57 #0x00000004 (n = 1) (=) 16
58 #0x00000024 (n = 3) (=) 17
59 #0x00000028 (n = 1) (=) 19
60 #0x00000007 (n = 6) (=) 20
61 #0x00000006 (n = 2) (+) 21
62 #0x00000005 (n = 1) (=) 22
63 #0x0000000b (n = 10) (-) 23
64 #0x00000008 (n = 1) (=) 25
65 #0x0000000a (n = 3) (=) 26
66 #0x00000009 (n = 1) (=) 27
67 #0x0000001d (n = 36) (=) 28
68 #0x0000000d (n = 1) (=) 29
69 #0x00000011 (n = 5) (+) 32
70 #0x0000000e (n = 1) (=) 37
71 #0x00000010 (n = 3) (=) 41
72 #0x0000000f (n = 1) (=) 42
73 #0x0000001c (n = 16) (+) 44
74 #0x00000012 (n = 1) (=) 45
75 #0x00000015 (n = 4) (+) 46
76 #0x00000014 (n = 2) (+) 51
77 #0x00000013 (n = 1) (=) 52
78 #0x0000001b (n = 10) (=) 55
79 #0x00000016 (n = 1) (=) 56
80 #0x00000017 (n = 2) (-) 57
81 #0x0000001a (n = 5) (=) 58
82 #0x00000018 (n = 1) (=) 59
83 #0x00000019 (n = 2) (-) 61
85 #0x00000020 (n = 2) (+) 9
86 #0x00000022 (n = 1) (=) 10
87 #0x00000029 (n = 6) (=) 15
88 #0x00000025 (n = 1) (=) 16
89 #0x00000026 (n = 3) (=) 20
90 #0x00000027 (n = 1) (=) 25