(empty tree)
;; join
-1 2 3 4 5 6 7 8 9
11 12 13
(no key)
1 2 3 4 5 6 7 8 9 11 12 13
-1 2 3 4 5 6 7 8 9
11 12 13
10
1 2 3 4 5 6 7 8 9 10 11 12 13
-1 2 3 4 5 6 7 8 9
11
10
1 2 3 4 5 6 7 8 9 10 11
-1 2 3 4 5 6 7 8 9
(empty tree)
10
1 2 3 4 5 6 7 8 9 10
-1 2 3 4 5 6 7 8 9
(empty tree)
(no key)
1 2 3 4 5 6 7 8 9
-1 2 3 4 5 6 7 8 9
11 12 13 14 15 16 17 18 19 20
10
1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20
:
:;; join
-" K ( 11+ 13+ 12+ K *k~ K )
-" K ( 11+ 13+ 12+ K 10k~ K )
-" K ( 11+ K 10k~ K )
-" K ( K 10k~ K )
-" K ( K *k~ K )
-" K ( 11+ 12+ 13+ 14+ 15+ 16+ 17+ 18+ 19+ 20+ K 10k~ K )
+" ( 11+ 13+ 12+ K *k~ K )
+" ( 11+ 13+ 12+ K 10k~ K )
+" ( 11+ K 10k~ K )
+" ( K 10k~ K )
+" ( K *k~ K )
+" ( 11+ 12+ 13+ 14+ 15+ 16+ 17+ 18+ 19+ 20+ K 10k~ K )
:
:;; split
(empty tree)
;; join
-1 2 3 4 5 6 7 8 9
11 12 13
(no key)
1 2 3 4 5 6 7 8 9 11 12 13
-1 2 3 4 5 6 7 8 9
11 12 13
10
1 2 3 4 5 6 7 8 9 10 11 12 13
-1 2 3 4 5 6 7 8 9
11
10
1 2 3 4 5 6 7 8 9 10 11
-1 2 3 4 5 6 7 8 9
(empty tree)
10
1 2 3 4 5 6 7 8 9 10
-1 2 3 4 5 6 7 8 9
(empty tree)
(no key)
1 2 3 4 5 6 7 8 9
-1 2 3 4 5 6 7 8 9
11 12 13 14 15 16 17 18 19 20
10
1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20
(empty tree)
;; join
-1 2 3 4 5 6 7 8 9
11 12 13
(no key)
1 2 3 4 5 6 7 8 9 11 12 13
-1 2 3 4 5 6 7 8 9
11 12 13
10
1 2 3 4 5 6 7 8 9 10 11 12 13
-1 2 3 4 5 6 7 8 9
11
10
1 2 3 4 5 6 7 8 9 10 11
-1 2 3 4 5 6 7 8 9
(empty tree)
10
1 2 3 4 5 6 7 8 9 10
-1 2 3 4 5 6 7 8 9
(empty tree)
(no key)
1 2 3 4 5 6 7 8 9
-1 2 3 4 5 6 7 8 9
11 12 13 14 15 16 17 18 19 20
10
1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20
(empty tree)
;; join
-1 2 3 4 5 6 7 8 9
11 12 13
(no key)
1 2 3 4 5 6 7 8 9 11 12 13
-1 2 3 4 5 6 7 8 9
11 12 13
10
1 2 3 4 5 6 7 8 9 10 11 12 13
-1 2 3 4 5 6 7 8 9
11
10
1 2 3 4 5 6 7 8 9 10 11
-1 2 3 4 5 6 7 8 9
(empty tree)
10
1 2 3 4 5 6 7 8 9 10
-1 2 3 4 5 6 7 8 9
(empty tree)
(no key)
1 2 3 4 5 6 7 8 9
-1 2 3 4 5 6 7 8 9
11 12 13 14 15 16 17 18 19 20
10
1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20