# HG changeset patch # User Shinji KONO # Date 1635923774 -32400 # Node ID b78dc85d76d64f0115b4ee9821b2cebe24b91aca # Parent 61a0491a627b8294f3311d6ec95d4037db815618 ... diff -r 61a0491a627b -r b78dc85d76d6 fig/tree-invariant.svg --- a/fig/tree-invariant.svg Wed Nov 03 16:14:09 2021 +0900 +++ b/fig/tree-invariant.svg Wed Nov 03 16:16:14 2021 +0900 @@ -1,336 +1,370 @@ - + + + + + + + + + + + - Produced by OmniGraffle 7.18.5\n2021-11-02 10:28:31 +0000 + Produced by OmniGraffle 7.18.5\n2021-11-03 06:50:44 +0000 Canvas 1 - + Layer 1 + + + + + + + + + + + + - - + + + + 5 + - - + + + + 3 + - - + + - - + + - - + + - - + + - + - + - + - + - + - - + + - - + + - - + + - - + + - - + + - - + + - + - + - + - + - + - - + + - - + + - - + + - + - + - - + + - - + + - - + + - - + + - - + + - - + + - + - + - + - + - + - - + + - - + + - - + + - + - + - - + + - - + + - - + + - - + + - - + + - - + + - - + + - + - + - + - + - + - - + + - - + + - - + + - + - + - - + + - - + + - - + + - - + + - - + + - - + + - + - + - + - + - + - - + + - - + + - - + + - + - - - - - + - - + + - - + + - - + + - - + + - - + + - + - + - + - + - + - - + + - - + + + + + + [] + + + + + [] +