# HG changeset patch # User Shinji KONO # Date 1635849130 -32400 # Node ID 41e1c9e9718d9d87196f4970537772b57896e7a5 # Parent 0dbbcab02864e994ecc774a88c2f672a39f72807 add fig diff -r 0dbbcab02864 -r 41e1c9e9718d fig/tree-invariant.graffle Binary file fig/tree-invariant.graffle has changed diff -r 0dbbcab02864 -r 41e1c9e9718d fig/tree-invariant.svg --- /dev/null Thu Jan 01 00:00:00 1970 +0000 +++ b/fig/tree-invariant.svg Tue Nov 02 19:32:10 2021 +0900 @@ -0,0 +1,337 @@ + + + + + + + + + + + Produced by OmniGraffle 7.18.5\n2021-11-02 10:28:31 +0000 + + Canvas 1 + + + Layer 1 + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + +