From dcd82476cb02d30d1487e0ecf5cee9d9be1fbb15 Mon Sep 17 00:00:00 2001 From: Marcin Chrzanowski Date: Tue, 20 Dec 2022 22:38:18 +0100 Subject: Generate images from SVGs --- figures/subtree-with-hole.svg | 1276 +++++++++++++++++++++++++++++++++++++++++ 1 file changed, 1276 insertions(+) create mode 100644 figures/subtree-with-hole.svg (limited to 'figures/subtree-with-hole.svg') diff --git a/figures/subtree-with-hole.svg b/figures/subtree-with-hole.svg new file mode 100644 index 0000000..a2e2eaa --- /dev/null +++ b/figures/subtree-with-hole.svg @@ -0,0 +1,1276 @@ + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + -- cgit v1.2.3