Slides for 2026 REBASEreadme

1 files changed, 404 insertions, 0 deletions

diff --git a/docs/2026_REBASE/assets/rich-lattice.gv b/docs/2026_REBASE/assets/rich-lattice.gv
new file mode 100644
index 00000000..848bca82
--- /dev/null
+++ b/docs/2026_REBASE/assets/rich-lattice.gv
@@ -0,0 +1,404 @@
+digraph RichLattice {
+graph [bgcolor="transparent", ranksep=0.35, nodesep=0.12, pad=0.08];
+node [shape=box, style="rounded,filled", fontname="Arial", fontsize=10, margin="0.06,0.04", color="#647674", penwidth=0.65];
+edge [arrowhead=none, color="#899895", penwidth=0.65];
+n0 [label="BOTTOM", tooltip="Type: Bot", fillcolor="#172e35", fontcolor="white"];
+n1 [label="Ctrl", tooltip="Type: Ctrl", fillcolor="#faedce", fontcolor="#172e35"];
+n2 [label="null", tooltip="Type: null", fillcolor="#faedce", fontcolor="#172e35"];
+n3 [label="ptr", tooltip="TypePtr: ptr", fillcolor="#cce4d6", fontcolor="#172e35"];
+n4 [label="nptr", tooltip="TypePtr: nptr", fillcolor="#cce4d6", fontcolor="#172e35"];
+n5 [label="i32", tooltip="TypeInteger: i32", fillcolor="#d3e7f5", fontcolor="#172e35"];
+n6 [label="i64", tooltip="TypeInteger: i64", fillcolor="#d3e7f5", fontcolor="#172e35"];
+n7 [label="bool", tooltip="TypeInteger: bool", fillcolor="#d3e7f5", fontcolor="#172e35"];
+n8 [label="i1", tooltip="TypeInteger: i1", fillcolor="#d3e7f5", fontcolor="#172e35"];
+n9 [label="u8", tooltip="TypeInteger: u8", fillcolor="#d3e7f5", fontcolor="#172e35"];
+n10 [label="0", tooltip="TypeInteger: 0", fillcolor="#d3e7f5", fontcolor="#172e35"];
+n11 [label="bool", tooltip="TypeInteger: bool", fillcolor="#d3e7f5", fontcolor="#172e35"];
+n12 [label="u8", tooltip="TypeInteger: u8", fillcolor="#d3e7f5", fontcolor="#172e35"];
+n13 [label="[1-255]", tooltip="TypeInteger: [1-255]", fillcolor="#d3e7f5", fontcolor="#172e35"];
+n14 [label="[-255-0]", tooltip="TypeInteger: [-255-0]", fillcolor="#d3e7f5", fontcolor="#172e35"];
+n15 [label="[-255--1]", tooltip="TypeInteger: [-255--1]", fillcolor="#d3e7f5", fontcolor="#172e35"];
+n16 [label="u8", tooltip="TypeInteger: u8", fillcolor="#d3e7f5", fontcolor="#172e35"];
+n17 [label="[1-255]", tooltip="TypeInteger: [1-255]", fillcolor="#d3e7f5", fontcolor="#172e35"];
+n18 [label="[-255-0]", tooltip="TypeInteger: [-255-0]", fillcolor="#d3e7f5", fontcolor="#172e35"];
+n19 [label="[-255--1]", tooltip="TypeInteger: [-255--1]", fillcolor="#d3e7f5", fontcolor="#172e35"];
+n20 [label="u8", tooltip="TypeInteger: u8", fillcolor="#d3e7f5", fontcolor="#172e35"];
+n21 [label="[1-255]", tooltip="TypeInteger: [1-255]", fillcolor="#d3e7f5", fontcolor="#172e35"];
+n22 [label="[-255-0]", tooltip="TypeInteger: [-255-0]", fillcolor="#d3e7f5", fontcolor="#172e35"];
+n23 [label="[-255--1]", tooltip="TypeInteger: [-255--1]", fillcolor="#d3e7f5", fontcolor="#172e35"];
+n24 [label="[1-255]", tooltip="TypeInteger: [1-255]", fillcolor="#d3e7f5", fontcolor="#172e35"];
+n25 [label="[-255-0]", tooltip="TypeInteger: [-255-0]", fillcolor="#d3e7f5", fontcolor="#172e35"];
+n26 [label="[-255--1]", tooltip="TypeInteger: [-255--1]", fillcolor="#d3e7f5", fontcolor="#172e35"];
+n27 [label="flt", tooltip="TypeFloat: flt", fillcolor="#c7eee9", fontcolor="#172e35"];
+n28 [label="f32", tooltip="TypeFloat: f32", fillcolor="#c7eee9", fontcolor="#172e35"];
+n29 [label="3.141592653589793", tooltip="TypeFloat: 3.141592653589793", fillcolor="#c7eee9", fontcolor="#172e35"];
+n30 [label="*void", tooltip="TypeMemPtr: *void", fillcolor="#cce4d6", fontcolor="#172e35"];
+n31 [label="PtrBot", tooltip="TypeMemPtr: PtrBot", fillcolor="#cce4d6", fontcolor="#172e35"];
+n32 [label="*test", tooltip="TypeMemPtr: *test {null !test; }", fillcolor="#cce4d6", fontcolor="#172e35"];
+n33 [label="*test", tooltip="TypeMemPtr: *test {null !test; }", fillcolor="#cce4d6", fontcolor="#172e35"];
+n34 [label="{0}", tooltip="TypeFunPtr: { i64 f32 -> i64 #0}", fillcolor="#dfd0ef", fontcolor="#172e35"];
+n35 [label="{b11}", tooltip="TypeFunPtr: { i64 f32 -> i64 #b11}?", fillcolor="#dfd0ef", fontcolor="#172e35"];
+n36 [label="FunBot", tooltip="TypeFunPtr: FunBot", fillcolor="#dfd0ef", fontcolor="#172e35"];
+n37 [label="{ALL}", tooltip="TypeFunPtr: { i64 -> Bot #ALL}?", fillcolor="#dfd0ef", fontcolor="#172e35"];
+n38 [label="{ALL}", tooltip="TypeFunPtr: { i64 i64 -> PtrBot #ALL}?", fillcolor="#dfd0ef", fontcolor="#172e35"];
+n39 [label="{0}", tooltip="TypeFunPtr: { i64 -> i32 #0}", fillcolor="#dfd0ef", fontcolor="#172e35"];
+n40 [label="{0}", tooltip="TypeFunPtr: { -> i32 #0}", fillcolor="#dfd0ef", fontcolor="#172e35"];
+n41 [label="{0}", tooltip="TypeFunPtr: { Top i64 -> i32 #0}", fillcolor="#dfd0ef", fontcolor="#172e35"];
+n42 [label="{0}", tooltip="TypeFunPtr: { i64 -> i32 #0}", fillcolor="#dfd0ef", fontcolor="#172e35"];
+n43 [label="{0}", tooltip="TypeFunPtr: { -> i32 #0}", fillcolor="#dfd0ef", fontcolor="#172e35"];
+n44 [label="{0}", tooltip="TypeFunPtr: { Bot i64 -> i32 #0}", fillcolor="#dfd0ef", fontcolor="#172e35"];
+n45 [label="#2:null", tooltip="TypeMem: #2:null", fillcolor="#a9c9e5", fontcolor="#172e35"];
+n46 [label="#2:0", tooltip="TypeMem: #2:0", fillcolor="#a9c9e5", fontcolor="#172e35"];
+n47 [label="MemBot", tooltip="TypeMem: MemBot", fillcolor="#a9c9e5", fontcolor="#172e35"];
+n48 [label="!test", tooltip="Field: !test:-2 : null", fillcolor="#e0ebc8", fontcolor="#172e35"];
+n49 [label="test", tooltip="Field: test:-2 : null", fillcolor="#e0ebc8", fontcolor="#172e35"];
+n50 [label="!flt ", tooltip="Field: !flt :-2 : f32", fillcolor="#e0ebc8", fontcolor="#172e35"];
+n51 [label="StructBot", tooltip="TypeStruct: StructBot", fillcolor="#e0ebc8", fontcolor="#172e35"];
+n52 [label="test", tooltip="TypeStruct: test {null !test; }", fillcolor="#e0ebc8", fontcolor="#172e35"];
+n53 [label="[]i64", tooltip="TypeStruct: []i64", fillcolor="#e0ebc8", fontcolor="#172e35"];
+n54 [label="[]u8", tooltip="TypeStruct: []u8", fillcolor="#e0ebc8", fontcolor="#172e35"];
+n55 [label="[]u8", tooltip="TypeStruct: [\"abc\"]", fillcolor="#e0ebc8", fontcolor="#172e35"];
+n56 [label="%SINT", tooltip="TypeStruct: %SINT {... }", fillcolor="#e0ebc8", fontcolor="#172e35"];
+n57 [label="%SFLT", tooltip="TypeStruct: %SFLT {... }", fillcolor="#e0ebc8", fontcolor="#172e35"];
+n58 [label="%SINT", tooltip="TypeStruct: %SINT {u32 !a; *%SFLT {... } !s2; ... }", fillcolor="#e0ebc8", fontcolor="#172e35"];
+n59 [label="%SFLT", tooltip="TypeStruct: %SFLT {f32 !b; *%SINT {u32 !a; *%SFLT {... } !s2; ... } !s1; ... }", fillcolor="#e0ebc8", fontcolor="#172e35"];
+n60 [label="%SFLT", tooltip="TypeStruct: %SFLT {f32 !b; *%SINT {u32 !a; *%SFLT !s2; } !s1; }", fillcolor="#e0ebc8", fontcolor="#172e35"];
+n61 [label="%SINT", tooltip="TypeStruct: %SINT {u32 !a; *%SFLT {f32 !b; *%SINT !s1; } !s2; }", fillcolor="#e0ebc8", fontcolor="#172e35"];
+n62 [label="calloc", tooltip="TypeStruct: calloc {{ i64 i64 -> PtrBot #ALL}? calloc; }", fillcolor="#e0ebc8", fontcolor="#172e35"];
+n63 [label="[BOT]", tooltip="TypeTuple: [BOT]", fillcolor="#f2d7e4", fontcolor="#172e35"];
+n64 [label="[  i64, *test {null !test; }]", tooltip="TypeTuple: [  i64, *test {null !test; }]", fillcolor="#f2d7e4", fontcolor="#172e35"];
+n65 [label="[  Ctrl, MemTop, i64]", tooltip="TypeTuple: [  Ctrl, MemTop, i64]", fillcolor="#f2d7e4", fontcolor="#172e35"];
+n66 [label="[  Ctrl, ~Ctrl]", tooltip="TypeTuple: [  Ctrl, ~Ctrl]", fillcolor="#f2d7e4", fontcolor="#172e35"];
+n67 [label="$[ALL]", tooltip="TypeRPC: $[ALL]", fillcolor="#f4d4b5", fontcolor="#172e35"];
+n68 [label="$[2]", tooltip="TypeRPC: $[2]", fillcolor="#f4d4b5", fontcolor="#172e35"];
+n69 [label="[\"abc\"]", tooltip="TypeConAryB: [\"abc\"]", fillcolor="#d9d5cc", fontcolor="#172e35"];
+n70 [label="[\"abcd\"]", tooltip="TypeConAryB: [\"abcd\"]", fillcolor="#d9d5cc", fontcolor="#172e35"];
+n71 [label="[i32]", tooltip="TypeConAryI: [i32]", fillcolor="#d9d5cc", fontcolor="#172e35"];
+n72 [label="TOP", tooltip="Type: Top", fillcolor="#172e35", fontcolor="white"];
+n73 [label="~Ctrl", tooltip="Type: ~Ctrl", fillcolor="#faedce", fontcolor="#172e35"];
+n74 [label="~nil", tooltip="Type: ~nil", fillcolor="#faedce", fontcolor="#172e35"];
+n75 [label="~ptr", tooltip="TypePtr: ~ptr", fillcolor="#cce4d6", fontcolor="#172e35"];
+n76 [label="~nptr", tooltip="TypePtr: ~nptr", fillcolor="#cce4d6", fontcolor="#172e35"];
+n77 [label="~i32", tooltip="TypeInteger: ~i32", fillcolor="#d3e7f5", fontcolor="#172e35"];
+n78 [label="~i64", tooltip="TypeInteger: ~i64", fillcolor="#d3e7f5", fontcolor="#172e35"];
+n79 [label="~bool", tooltip="TypeInteger: ~bool", fillcolor="#d3e7f5", fontcolor="#172e35"];
+n80 [label="~i1", tooltip="TypeInteger: ~i1", fillcolor="#d3e7f5", fontcolor="#172e35"];
+n81 [label="~u8", tooltip="TypeInteger: ~u8", fillcolor="#d3e7f5", fontcolor="#172e35"];
+n82 [label="0", tooltip="TypeInteger: 0", fillcolor="#d3e7f5", fontcolor="#172e35"];
+n83 [label="~bool", tooltip="TypeInteger: ~bool", fillcolor="#d3e7f5", fontcolor="#172e35"];
+n84 [label="~u8", tooltip="TypeInteger: ~u8", fillcolor="#d3e7f5", fontcolor="#172e35"];
+n85 [label="~[1-255]", tooltip="TypeInteger: ~[1-255]", fillcolor="#d3e7f5", fontcolor="#172e35"];
+n86 [label="~[-255-0]", tooltip="TypeInteger: ~[-255-0]", fillcolor="#d3e7f5", fontcolor="#172e35"];
+n87 [label="~[-255--1]", tooltip="TypeInteger: ~[-255--1]", fillcolor="#d3e7f5", fontcolor="#172e35"];
+n88 [label="~u8", tooltip="TypeInteger: ~u8", fillcolor="#d3e7f5", fontcolor="#172e35"];
+n89 [label="~[1-255]", tooltip="TypeInteger: ~[1-255]", fillcolor="#d3e7f5", fontcolor="#172e35"];
+n90 [label="~[-255-0]", tooltip="TypeInteger: ~[-255-0]", fillcolor="#d3e7f5", fontcolor="#172e35"];
+n91 [label="~[-255--1]", tooltip="TypeInteger: ~[-255--1]", fillcolor="#d3e7f5", fontcolor="#172e35"];
+n92 [label="~u8", tooltip="TypeInteger: ~u8", fillcolor="#d3e7f5", fontcolor="#172e35"];
+n93 [label="~[1-255]", tooltip="TypeInteger: ~[1-255]", fillcolor="#d3e7f5", fontcolor="#172e35"];
+n94 [label="~[-255-0]", tooltip="TypeInteger: ~[-255-0]", fillcolor="#d3e7f5", fontcolor="#172e35"];
+n95 [label="~[-255--1]", tooltip="TypeInteger: ~[-255--1]", fillcolor="#d3e7f5", fontcolor="#172e35"];
+n96 [label="~[1-255]", tooltip="TypeInteger: ~[1-255]", fillcolor="#d3e7f5", fontcolor="#172e35"];
+n97 [label="~[-255-0]", tooltip="TypeInteger: ~[-255-0]", fillcolor="#d3e7f5", fontcolor="#172e35"];
+n98 [label="~[-255--1]", tooltip="TypeInteger: ~[-255--1]", fillcolor="#d3e7f5", fontcolor="#172e35"];
+n99 [label="~flt", tooltip="TypeFloat: ~flt", fillcolor="#c7eee9", fontcolor="#172e35"];
+n100 [label="~f32", tooltip="TypeFloat: ~f32", fillcolor="#c7eee9", fontcolor="#172e35"];
+n101 [label="~*StructTop", tooltip="TypeMemPtr: ~*StructTop", fillcolor="#cce4d6", fontcolor="#172e35"];
+n102 [label="PtrTop", tooltip="TypeMemPtr: PtrTop", fillcolor="#cce4d6", fontcolor="#172e35"];
+n103 [label="~*test", tooltip="TypeMemPtr: ~*test {~nil test; ... }", fillcolor="#cce4d6", fontcolor="#172e35"];
+n104 [label="~*test", tooltip="TypeMemPtr: ~*test {~nil test; ... }", fillcolor="#cce4d6", fontcolor="#172e35"];
+n105 [label="{~0}", tooltip="TypeFunPtr: ~{ ~i64 ~f32 -> ~i64 #~0}", fillcolor="#dfd0ef", fontcolor="#172e35"];
+n106 [label="{~b11}", tooltip="TypeFunPtr: ~{ ~i64 ~f32 -> ~i64 #~b11}?", fillcolor="#dfd0ef", fontcolor="#172e35"];
+n107 [label="FunTop", tooltip="TypeFunPtr: FunTop", fillcolor="#dfd0ef", fontcolor="#172e35"];
+n108 [label="{~ALL}", tooltip="TypeFunPtr: ~{ ~i64 -> Top #~ALL}?", fillcolor="#dfd0ef", fontcolor="#172e35"];
+n109 [label="{~ALL}", tooltip="TypeFunPtr: ~{ ~i64 ~i64 -> PtrTop #~ALL}?", fillcolor="#dfd0ef", fontcolor="#172e35"];
+n110 [label="{~0}", tooltip="TypeFunPtr: ~{ ~i64 -> ~i32 #~0}", fillcolor="#dfd0ef", fontcolor="#172e35"];
+n111 [label="{~0}", tooltip="TypeFunPtr: ~{ -> ~i32 #~0}", fillcolor="#dfd0ef", fontcolor="#172e35"];
+n112 [label="{~0}", tooltip="TypeFunPtr: ~{ Bot ~i64 -> ~i32 #~0}", fillcolor="#dfd0ef", fontcolor="#172e35"];
+n113 [label="{~0}", tooltip="TypeFunPtr: ~{ ~i64 -> ~i32 #~0}", fillcolor="#dfd0ef", fontcolor="#172e35"];
+n114 [label="{~0}", tooltip="TypeFunPtr: ~{ -> ~i32 #~0}", fillcolor="#dfd0ef", fontcolor="#172e35"];
+n115 [label="{~0}", tooltip="TypeFunPtr: ~{ Top ~i64 -> ~i32 #~0}", fillcolor="#dfd0ef", fontcolor="#172e35"];
+n116 [label="#2:~nil", tooltip="TypeMem: #2:~nil", fillcolor="#a9c9e5", fontcolor="#172e35"];
+n117 [label="#2:0", tooltip="TypeMem: #2:0", fillcolor="#a9c9e5", fontcolor="#172e35"];
+n118 [label="MemTop", tooltip="TypeMem: MemTop", fillcolor="#a9c9e5", fontcolor="#172e35"];
+n119 [label="test", tooltip="Field: test:-2 : ~nil", fillcolor="#e0ebc8", fontcolor="#172e35"];
+n120 [label="!test", tooltip="Field: !test:-2 : ~nil", fillcolor="#e0ebc8", fontcolor="#172e35"];
+n121 [label="flt ", tooltip="Field: flt :-2 : ~f32", fillcolor="#e0ebc8", fontcolor="#172e35"];
+n122 [label="StructTop", tooltip="TypeStruct: StructTop", fillcolor="#e0ebc8", fontcolor="#172e35"];
+n123 [label="test", tooltip="TypeStruct: test {~nil test; ... }", fillcolor="#e0ebc8", fontcolor="#172e35"];
+n124 [label="[]i64", tooltip="TypeStruct: []i64", fillcolor="#e0ebc8", fontcolor="#172e35"];
+n125 [label="[]u8", tooltip="TypeStruct: []u8", fillcolor="#e0ebc8", fontcolor="#172e35"];
+n126 [label="[]u8", tooltip="TypeStruct: [\"abc\"]", fillcolor="#e0ebc8", fontcolor="#172e35"];
+n127 [label="%SINT", tooltip="TypeStruct: %SINT {}", fillcolor="#e0ebc8", fontcolor="#172e35"];
+n128 [label="%SFLT", tooltip="TypeStruct: %SFLT {}", fillcolor="#e0ebc8", fontcolor="#172e35"];
+n129 [label="%SINT", tooltip="TypeStruct: %SINT {~u32 a; ~*%SFLT {} s2; }", fillcolor="#e0ebc8", fontcolor="#172e35"];
+n130 [label="%SFLT", tooltip="TypeStruct: %SFLT {~f32 b; ~*%SINT {~u32 a; ~*%SFLT {} s2; } s1; }", fillcolor="#e0ebc8", fontcolor="#172e35"];
+n131 [label="%SFLT", tooltip="TypeStruct: %SFLT {~f32 b; ~*%SINT {~u32 a; ~*%SFLT s2; ... } s1; ... }", fillcolor="#e0ebc8", fontcolor="#172e35"];
+n132 [label="%SINT", tooltip="TypeStruct: %SINT {~u32 a; ~*%SFLT {~f32 b; ~*%SINT s1; ... } s2; ... }", fillcolor="#e0ebc8", fontcolor="#172e35"];
+n133 [label="calloc", tooltip="TypeStruct: calloc {~{ ~i64 ~i64 -> PtrTop #~ALL}? !calloc; ... }", fillcolor="#e0ebc8", fontcolor="#172e35"];
+n134 [label="[TOP]", tooltip="TypeTuple: [TOP]", fillcolor="#f2d7e4", fontcolor="#172e35"];
+n135 [label="[  ~i64, ~*test {~nil test; ... }]", tooltip="TypeTuple: [  ~i64, ~*test {~nil test; ... }]", fillcolor="#f2d7e4", fontcolor="#172e35"];
+n136 [label="[  ~Ctrl, MemBot, ~i64]", tooltip="TypeTuple: [  ~Ctrl, MemBot, ~i64]", fillcolor="#f2d7e4", fontcolor="#172e35"];
+n137 [label="[  ~Ctrl, Ctrl]", tooltip="TypeTuple: [  ~Ctrl, Ctrl]", fillcolor="#f2d7e4", fontcolor="#172e35"];
+n138 [label="$[]", tooltip="TypeRPC: $[]", fillcolor="#f4d4b5", fontcolor="#172e35"];
+n139 [label="$[-2]", tooltip="TypeRPC: $[-2]", fillcolor="#f4d4b5", fontcolor="#172e35"];
+n140 [label="[\"abc\"]", tooltip="TypeConAryB: [\"abc\"]", fillcolor="#d9d5cc", fontcolor="#172e35"];
+n141 [label="[\"abcd\"]", tooltip="TypeConAryB: [\"abcd\"]", fillcolor="#d9d5cc", fontcolor="#172e35"];
+n142 [label="[i32]", tooltip="TypeConAryI: [i32]", fillcolor="#d9d5cc", fontcolor="#172e35"];
+n1 -> n0;
+n2 -> n31;
+n2 -> n35;
+n2 -> n37;
+n2 -> n38;
+n3 -> n0;
+n4 -> n3;
+n5 -> n6;
+n6 -> n0;
+n7 -> n9;
+n8 -> n25;
+n9 -> n5;
+n10 -> n11;
+n10 -> n12;
+n10 -> n14;
+n10 -> n82;
+n11 -> n7;
+n11 -> n20;
+n12 -> n16;
+n13 -> n12;
+n13 -> n17;
+n14 -> n18;
+n15 -> n14;
+n15 -> n19;
+n16 -> n20;
+n17 -> n16;
+n17 -> n21;
+n18 -> n22;
+n19 -> n18;
+n19 -> n23;
+n20 -> n9;
+n21 -> n20;
+n21 -> n24;
+n22 -> n25;
+n23 -> n22;
+n23 -> n26;
+n24 -> n9;
+n25 -> n5;
+n26 -> n25;
+n27 -> n0;
+n28 -> n27;
+n29 -> n27;
+n30 -> n4;
+n30 -> n31;
+n31 -> n3;
+n32 -> n33;
+n33 -> n30;
+n34 -> n4;
+n34 -> n35;
+n35 -> n36;
+n36 -> n3;
+n37 -> n36;
+n38 -> n36;
+n39 -> n34;
+n39 -> n37;
+n39 -> n42;
+n39 -> n44;
+n40 -> n39;
+n40 -> n41;
+n41 -> n42;
+n41 -> n44;
+n42 -> n43;
+n43 -> n4;
+n43 -> n36;
+n44 -> n43;
+n45 -> n47;
+n46 -> n117;
+n47 -> n0;
+n48 -> n49;
+n49 -> n0;
+n50 -> n0;
+n51 -> n0;
+n52 -> n51;
+n53 -> n51;
+n54 -> n51;
+n55 -> n51;
+n56 -> n51;
+n57 -> n51;
+n58 -> n56;
+n59 -> n57;
+n60 -> n59;
+n61 -> n58;
+n62 -> n51;
+n63 -> n0;
+n64 -> n63;
+n65 -> n63;
+n66 -> n63;
+n67 -> n0;
+n68 -> n67;
+n69 -> n13;
+n69 -> n140;
+n70 -> n13;
+n70 -> n141;
+n71 -> n13;
+n71 -> n142;
+n72 -> n48;
+n72 -> n50;
+n72 -> n73;
+n72 -> n75;
+n72 -> n78;
+n72 -> n99;
+n72 -> n118;
+n72 -> n120;
+n72 -> n121;
+n72 -> n122;
+n72 -> n134;
+n72 -> n138;
+n73 -> n1;
+n74 -> n4;
+n75 -> n76;
+n75 -> n102;
+n75 -> n107;
+n76 -> n2;
+n76 -> n40;
+n76 -> n101;
+n76 -> n105;
+n76 -> n114;
+n77 -> n81;
+n77 -> n97;
+n78 -> n77;
+n79 -> n10;
+n79 -> n13;
+n79 -> n83;
+n80 -> n10;
+n80 -> n15;
+n81 -> n79;
+n81 -> n92;
+n81 -> n96;
+n82 -> n7;
+n82 -> n8;
+n83 -> n11;
+n83 -> n17;
+n83 -> n18;
+n83 -> n82;
+n84 -> n82;
+n84 -> n85;
+n85 -> n7;
+n85 -> n140;
+n85 -> n141;
+n85 -> n142;
+n86 -> n82;
+n86 -> n87;
+n87 -> n8;
+n87 -> n26;
+n88 -> n22;
+n88 -> n84;
+n88 -> n89;
+n89 -> n11;
+n89 -> n21;
+n89 -> n85;
+n90 -> n11;
+n90 -> n86;
+n90 -> n91;
+n91 -> n23;
+n91 -> n87;
+n92 -> n83;
+n92 -> n88;
+n92 -> n93;
+n93 -> n17;
+n93 -> n89;
+n94 -> n16;
+n94 -> n90;
+n94 -> n95;
+n95 -> n19;
+n95 -> n91;
+n96 -> n69;
+n96 -> n70;
+n96 -> n71;
+n96 -> n93;
+n97 -> n80;
+n97 -> n94;
+n97 -> n98;
+n98 -> n15;
+n98 -> n95;
+n99 -> n29;
+n99 -> n100;
+n100 -> n28;
+n101 -> n32;
+n101 -> n104;
+n102 -> n74;
+n102 -> n101;
+n103 -> n30;
+n104 -> n103;
+n105 -> n110;
+n106 -> n74;
+n106 -> n105;
+n107 -> n38;
+n107 -> n40;
+n107 -> n106;
+n107 -> n108;
+n107 -> n109;
+n107 -> n114;
+n108 -> n42;
+n108 -> n74;
+n108 -> n110;
+n109 -> n36;
+n109 -> n74;
+n110 -> n111;
+n111 -> n4;
+n111 -> n36;
+n112 -> n111;
+n113 -> n37;
+n113 -> n110;
+n113 -> n112;
+n114 -> n113;
+n114 -> n115;
+n115 -> n110;
+n115 -> n112;
+n116 -> n47;
+n117 -> n47;
+n118 -> n45;
+n118 -> n46;
+n118 -> n116;
+n119 -> n0;
+n120 -> n119;
+n121 -> n0;
+n122 -> n52;
+n122 -> n53;
+n122 -> n54;
+n122 -> n55;
+n122 -> n62;
+n122 -> n123;
+n122 -> n124;
+n122 -> n125;
+n122 -> n126;
+n122 -> n127;
+n122 -> n128;
+n122 -> n133;
+n123 -> n51;
+n124 -> n51;
+n125 -> n51;
+n126 -> n51;
+n127 -> n61;
+n127 -> n129;
+n128 -> n60;
+n128 -> n130;
+n129 -> n132;
+n130 -> n131;
+n131 -> n57;
+n132 -> n56;
+n133 -> n51;
+n134 -> n64;
+n134 -> n65;
+n134 -> n66;
+n134 -> n135;
+n134 -> n136;
+n134 -> n137;
+n135 -> n63;
+n136 -> n63;
+n137 -> n63;
+n138 -> n68;
+n138 -> n139;
+n139 -> n67;
+n140 -> n24;
+n141 -> n24;
+n142 -> n24;
+}