pres-typex/ex2.html

   1 <html>
   2 <head><title></title>
   3 <meta http-equiv='content-type' content='text/html;charset=utf-8'/>
   4 <style>
   5 /* -*-CSS-*- */
   6 button {
   7 border-radius: 5px;
   8 border: none;
   9 }
  10 div#data {
  11 position: absolute;
  12 top: 0%;
  13 left: 50%;
  14 width: 50%;
  15 height: 50%;
  16 overflow: auto;
  17 }
  18 div#tree {
  19 position: absolute;
  20 top: 50%;
  21 left: 0%;
  22 width: 100%;
  23 height: 50%;
  24 overflow: hidden;
  25 }
  26 div#svg {
  27 position: absolute;
  28 left:0%;
  29 right:0%;
  30 top:10%;
  31 bottom:0%;
  32 overflow: auto;
  33 }
  34 div#automata {
  35 white-space: pre;
  36 overflow: auto;
  37 position: absolute;
  38 width: 50%;
  39 top: 0%;
  40 left: 0%;
  41 height: 50%;
  42 }
  43 @-webkit-keyframes fadein {
  44 from { fill-opacity: 0; }
  45 to { fill-opacity: 1; }
  46 }
  47
  48 @-moz-keyframes fadein {
  49 from { fill-opacity: 0; }
  50 to { fill-opacity: 1; }
  51 }
  52
  53 @keyframes fadein {
  54 from { fill-opacity: 0; }
  55 to { fill-opacity: 1; }
  56 }
  57
  58 .blink {
  59 -webkit-animation: fadein 1.2s ease-in alternate infinite;
  60 -moz-animation: fadein 1.2s ease-in alternate infinite;
  61 animation: fadein 1.2s ease-in alternate infinite;
  62 }
  63
  64 </style>
  65 </head>
  66 <body>
  67 <div id='automata' >Internal UID: 0
  68 States: { q₀ q₁ q₂ q₃ q₄ q₅ q₆ q₇ q₈ q₉ q₁₀ q₁₁ q₁₂ q₁₃ }
  69 Number of states: 14
  70 Starting states: { q₀ }
  71 Selection states: { q₁₃ }
  72 Ranked states: 0:{ q₀ q₁ q₂ q₃ q₄ q₈ q₉ }, 1:{ q₅ q₆ q₇ q₁₀ }, 2:{ q₁₁ q₁₂ q₁₃ }
  73 Alternating transitions:
  74 ___________________________________________________________________
  75 q₁, ∑     →  •q₀
  76 ___________________________________________________________________
  77 q₂, ∑     →  •q₁
  78 ___________________________________________________________________
  79 q₃, ∑     →  ↑q₂ ∧ ↑? ∨ ↑q₃ ∧ ↑? ∨ ←q₃ ∧ ←?
  80 ___________________________________________________________________
  81 q₄, {M}   →  •q₃ ∧ ¬is-attribute? ∧ is-element?
  82 q₄, ∑-{M} →  ⊥
  83 ___________________________________________________________________
  84 q₅, ∑     →  ↓q₅ ∧ ↓? ∨ →q₅ ∧ →? ∨ •q₄
  85 ___________________________________________________________________
  86 q₆, {A}   →  ↓q₅ ∧ ↓? ∧ ¬is-attribute? ∧ is-element?
  87 q₆, ∑-{A} →  ⊥
  88 ___________________________________________________________________
  89 q₇, {P}   →  ↓q₇ ∧ ↓? ∨ →q₇ ∧ →? ∨ is-element?
  90 q₇, ∑-{P} →  ↓q₇ ∧ ↓? ∨ →q₇ ∧ →?
  91 ___________________________________________________________________
  92 q₈, {Q}   →  is-element?
  93 q₈, ∑-{Q} →  ⊥
  94 ___________________________________________________________________
  95 q₉, ∑     →  ↑q₈ ∧ ↑? ∨ ←q₉ ∧ ←?
  96 ___________________________________________________________________
  97 q₁₀, ∑    →  (↑q₈ ∧ ↑? ∨ ←q₉ ∧ ←? ∨ ↓q₇ ∧ ↓?) ∧ •q₆
  98 ___________________________________________________________________
  99 q₁₁, ∑    →  ↑q₁₀ ∧ ↑? ∨ ←q₁₁ ∧ ←?
 100 ___________________________________________________________________
 101 q₁₂, ∑    →  (↑q₁₀ ∧ ↑? ∨ ←q₁₁ ∧ ←?) ∧ ¬is-attribute? ∧ is-element?
 102 ___________________________________________________________________
 103 q₁₃, ∑    →  •q₁₂
 104 ___________________________________________________________________
 105 </div>
 106 <div id='data' > </div>
 107 <script type='text/javascript'>
 108 var tree = new Array();
 109 var current_node = null;
 110 var nil_id = 'node-1';
 111 var last_id = 129;
 112 var rounds = 3;
 113 // -*-Javascript-*-
 114
 115 var hide_nodes = function () {
 116 var v = document.getElementById('relnodes').value;
 117 for(i = 0; i < last_id; i++) {
 118 var id = 'node' + i;
 119 var rect = document.getElementById(id);
 120
 121 if ((v-0) <= tree[id].max)
 122 rect.style.fillOpacity = 1;
 123 else
 124 rect.style.fillOpacity = 0.3;
 125 }
 126 };
 127
 128 var activate_parent = function () {
 129 if (current_node) activate(tree[current_node].par);
 130 };
 131 var activate_previous = function () {
 132 if (current_node) activate(tree[current_node].ps);
 133 };
 134 var activate_next = function () {
 135 if (current_node) activate(tree[current_node].ns);
 136 };
 137 var activate_first = function () {
 138 if (current_node) activate(tree[current_node].fc);
 139 };
 140 var buttons = document.getElementsByTagName("button");
 141 var activate = function (id)
 142 {
 143 if (id == nil_id) return;
 144 if (current_node) {
 145 var rect = document.getElementById(current_node);
 146 rect.style.fillOpacity = 1.0;
 147 rect.style.stroke = 'black';
 148 rect.classList.remove('blink');
 149 };
 150 hide_nodes();
 151 current_node = id;
 152 buttons[0].disabled = tree[id].par == nil_id;
 153 buttons[1].disabled = tree[id].ps == nil_id;
 154 buttons[2].disabled = tree[id].fc == nil_id;
 155 buttons[3].disabled = tree[id].ns == nil_id;
 156
 157 var node = document.getElementById(id);
 158 var div = document.getElementById('svg');
 159 var node_dim = node.getBBox();
 160 var div_dim = div.getBoundingClientRect();
 161 var nx = node_dim.x;
 162 var ny = node_dim.y;
 163 var hs = nx - (div_dim.width / 2 - node_dim.width / 2);
 164 var vs = ny - (div_dim.height / 2 - node_dim.height / 2);
 165 div.scrollLeft = hs;
 166 div.scrollTop = vs;
 167 node.style.stroke = 'red';
 168 old_node = node;
 169 node.classList.add('blink');
 170
 171 var d = document.getElementById('data');
 172 var msg = '';
 173 for (i=0; i <= rounds; i++)
 174 msg += ('<p>round ' + i + ':<br/>new states:') + tree[id].dlist[i]
 175 + '<br/>all states:' + tree[id].flist[i] + '</p>\n';
 176 d.innerHTML = msg;
 177 return;
 178 };
 179
 180
 181 </script>
 182 <div id='tree'>
 183 <div id='controls'><button onclick='activate_parent();'>↑</button>
 184 <button onclick='activate_previous();'>←</button>
 185 <button onclick='activate_first();'>↓</button>
 186 <button onclick='activate_next();'>→</button>
 187 <select id='relnodes' onchange='hide_nodes();'>
 188 <option value='-1'>All nodes</option>
 189 <option value='0'>Relevant nodes on pass 0</option>
 190  <option value='1'>Relevant nodes on pass 1</option>
 191  <option value='2'>Relevant nodes on pass 2</option>
 192  <option value='3'>Relevant nodes on pass 3</option>
 193 </select>
 194 </div>
 195 <div id='svg'>
 196
 197    <svg id='svgimg' width='' height='' xmlns="http://www.w3.org/2000/svg" version="1.1">
 198 <script type='text/javascript'><![CDATA[ tree['node0'] = { marked: false, fc: 'node1', ns: 'node-1', par: 'node-1', ps: 'node-1', max: 1, dlist: ['{ q₀ q₁ q₂ }', '{ q₅ q₇ }', '{  }', '{  }'], flist: ['{ q₀ q₁ q₂ q₅ q₇ }', '{ q₀ q₁ q₂ q₅ q₇ }', '{ q₀ q₁ q₂ q₅ q₇ }', '{ q₀ q₁ q₂ q₅ q₇ }'] };]]></script>
 199 <rect id="node0" onclick="activate('node0');" x="50" y="50"width="110" height="22" style="fill:rgb(61,115,212);stroke:rgb(0,0,0);stroke-width:2;stroke-dasharray:2,2"/><text x="60" y="65" style="fill:rgb(0,0,0);font-size:17;font-family:typewriter;" onclick="activate('node0');" >#document</text>
 200 <script type='text/javascript'><![CDATA[ tree['node1'] = { marked: false, fc: 'node2', ns: 'node-1', par: 'node0', ps: 'node-1', max: 1, dlist: ['{ q₃ }', '{ q₅ q₆ q₇ q₁₀ }', '{  }', '{  }'], flist: ['{ q₃ q₅ q₆ q₇ q₁₀ }', '{ q₃ q₅ q₆ q₇ q₁₀ }', '{ q₃ q₅ q₆ q₇ q₁₀ }', '{ q₃ q₅ q₆ q₇ q₁₀ }'] };]]></script>
 201 <rect id="node1" onclick="activate('node1');" x="50" y="90"width="30" height="22" style="fill:rgb(69,113,204);stroke:rgb(0,0,0);stroke-width:2;stroke-dasharray:2,2"/><text x="60" y="105" style="fill:rgb(255,255,255);font-size:17;font-family:typewriter;" onclick="activate('node1');" >A</text>
 202 <script type='text/javascript'><![CDATA[ tree['node2'] = { marked: false, fc: 'node-1', ns: 'node3', par: 'node1', ps: 'node-1', max: 2, dlist: ['{ q₃ }', '{ q₅ q₇ }', '{ q₁₁ }', '{  }'], flist: ['{ q₃ q₅ q₇ }', '{ q₃ q₅ q₇ }', '{ q₃ q₅ q₇ q₁₁ }', '{ q₃ q₅ q₇ q₁₁ }'] };]]></script>
 203 <rect id="node2" onclick="activate('node2');" x="50" y="130"width="50" height="22" style="fill:rgb(69,113,204);stroke:rgb(0,0,0);stroke-width:2;stroke-dasharray:2,2"/><text x="60" y="145" style="fill:rgb(255,255,255);font-size:17;font-family:typewriter;" onclick="activate('node2');" >@id</text>
 204 <line x1="75" y1="112" x2="75" y2="130"style="stroke:rgb(0,0,0);stroke-width:2"/>
 205 <line x1="100" y1="141" x2="100" y2="141"style="stroke:rgb(0,0,0);stroke-width:2"/>
 206 <script type='text/javascript'><![CDATA[ tree['node3'] = { marked: false, fc: 'node-1', ns: 'node4', par: 'node1', ps: 'node2', max: 2, dlist: ['{ q₃ }', '{ q₅ q₇ }', '{ q₁₁ }', '{  }'], flist: ['{ q₃ q₅ q₇ }', '{ q₃ q₅ q₇ }', '{ q₃ q₅ q₇ q₁₁ }', '{ q₃ q₅ q₇ q₁₁ }'] };]]></script>
 207 <rect id="node3" onclick="activate('node3');" x="100" y="130"width="60" height="22" style="fill:rgb(69,113,204);stroke:rgb(0,0,0);stroke-width:2;stroke-dasharray:2,2"/><text x="110" y="145" style="fill:rgb(255,255,255);font-size:17;font-family:typewriter;" onclick="activate('node3');" >@pre</text>
 208 <line x1="160" y1="141" x2="160" y2="141"style="stroke:rgb(0,0,0);stroke-width:2"/>
 209 <script type='text/javascript'><![CDATA[ tree['node4'] = { marked: false, fc: 'node-1', ns: 'node5', par: 'node1', ps: 'node3', max: 2, dlist: ['{ q₃ }', '{ q₅ q₇ }', '{ q₁₁ }', '{  }'], flist: ['{ q₃ q₅ q₇ }', '{ q₃ q₅ q₇ }', '{ q₃ q₅ q₇ q₁₁ }', '{ q₃ q₅ q₇ q₁₁ }'] };]]></script>
 210 <rect id="node4" onclick="activate('node4');" x="160" y="130"width="70" height="22" style="fill:rgb(69,113,204);stroke:rgb(0,0,0);stroke-width:2;stroke-dasharray:2,2"/><text x="170" y="145" style="fill:rgb(255,255,255);font-size:17;font-family:typewriter;" onclick="activate('node4');" >@post</text>
 211 <line x1="230" y1="141" x2="230" y2="141"style="stroke:rgb(0,0,0);stroke-width:2"/>
 212 <script type='text/javascript'><![CDATA[ tree['node5'] = { marked: false, fc: 'node-1', ns: 'node6', par: 'node1', ps: 'node4', max: 2, dlist: ['{ q₃ }', '{ q₅ q₇ }', '{ q₁₁ }', '{  }'], flist: ['{ q₃ q₅ q₇ }', '{ q₃ q₅ q₇ }', '{ q₃ q₅ q₇ q₁₁ }', '{ q₃ q₅ q₇ q₁₁ }'] };]]></script>
 213 <rect id="node5" onclick="activate('node5');" x="230" y="130"width="110" height="22" style="fill:rgb(69,113,204);stroke:rgb(0,0,0);stroke-width:2;stroke-dasharray:2,2"/><text x="240" y="145" style="fill:rgb(255,255,255);font-size:17;font-family:typewriter;" onclick="activate('node5');" >@xml:lang</text>
 214 <line x1="340" y1="141" x2="340" y2="141"style="stroke:rgb(0,0,0);stroke-width:2"/>
 215 <script type='text/javascript'><![CDATA[ tree['node6'] = { marked: true, fc: 'node7', ns: 'node20', par: 'node1', ps: 'node5', max: 2, dlist: ['{ q₃ }', '{ q₅ q₇ }', '{ q₁₁ q₁₂ q₁₃ }', '{  }'], flist: ['{ q₃ q₅ q₇ }', '{ q₃ q₅ q₇ }', '{ q₃ q₅ q₇ q₁₁ q₁₂ q₁₃ }', '{ q₃ q₅ q₇ q₁₁ q₁₂ q₁₃ }'] };]]></script>
 216 <rect id="node6" onclick="activate('node6');" x="340" y="130"width="30" height="22" style="fill:rgb(65,114,208);stroke:rgb(0,0,0);stroke-width:4"/><text x="350" y="145" style="fill:rgb(0,0,0);font-size:17;font-family:typewriter;" onclick="activate('node6');" >B</text>
 217 <script type='text/javascript'><![CDATA[ tree['node7'] = { marked: false, fc: 'node-1', ns: 'node8', par: 'node6', ps: 'node-1', max: 0, dlist: ['{ q₃ }', '{  }', '{  }', '{  }'], flist: ['{ q₃ }', '{ q₃ }', '{ q₃ }', '{ q₃ }'] };]]></script>
 218 <rect id="node7" onclick="activate('node7');" x="340" y="170"width="50" height="22" style="fill:rgb(5,3,12);stroke:rgb(0,0,0);stroke-width:2;stroke-dasharray:2,2"/><text x="350" y="185" style="fill:rgb(255,255,255);font-size:17;font-family:typewriter;" onclick="activate('node7');" >@id</text>
 219 <line x1="365" y1="152" x2="365" y2="170"style="stroke:rgb(0,0,0);stroke-width:2"/>
 220 <line x1="390" y1="181" x2="390" y2="181"style="stroke:rgb(0,0,0);stroke-width:2"/>
 221 <script type='text/javascript'><![CDATA[ tree['node8'] = { marked: false, fc: 'node-1', ns: 'node9', par: 'node6', ps: 'node7', max: 0, dlist: ['{ q₃ }', '{  }', '{  }', '{  }'], flist: ['{ q₃ }', '{ q₃ }', '{ q₃ }', '{ q₃ }'] };]]></script>
 222 <rect id="node8" onclick="activate('node8');" x="390" y="170"width="60" height="22" style="fill:rgb(5,3,12);stroke:rgb(0,0,0);stroke-width:2;stroke-dasharray:2,2"/><text x="400" y="185" style="fill:rgb(255,255,255);font-size:17;font-family:typewriter;" onclick="activate('node8');" >@pre</text>
 223 <line x1="450" y1="181" x2="450" y2="181"style="stroke:rgb(0,0,0);stroke-width:2"/>
 224 <script type='text/javascript'><![CDATA[ tree['node9'] = { marked: false, fc: 'node-1', ns: 'node10', par: 'node6', ps: 'node8', max: 0, dlist: ['{ q₃ }', '{  }', '{  }', '{  }'], flist: ['{ q₃ }', '{ q₃ }', '{ q₃ }', '{ q₃ }'] };]]></script>
 225 <rect id="node9" onclick="activate('node9');" x="450" y="170"width="70" height="22" style="fill:rgb(5,3,12);stroke:rgb(0,0,0);stroke-width:2;stroke-dasharray:2,2"/><text x="460" y="185" style="fill:rgb(255,255,255);font-size:17;font-family:typewriter;" onclick="activate('node9');" >@post</text>
 226 <line x1="520" y1="181" x2="520" y2="181"style="stroke:rgb(0,0,0);stroke-width:2"/>
 227 <script type='text/javascript'><![CDATA[ tree['node10'] = { marked: false, fc: 'node11', ns: 'node15', par: 'node6', ps: 'node9', max: 0, dlist: ['{ q₃ }', '{  }', '{  }', '{  }'], flist: ['{ q₃ }', '{ q₃ }', '{ q₃ }', '{ q₃ }'] };]]></script>
 228 <rect id="node10" onclick="activate('node10');" x="520" y="170"width="30" height="22" style="fill:rgb(5,3,12);stroke:rgb(0,0,0);stroke-width:2;stroke-dasharray:2,2"/><text x="530" y="185" style="fill:rgb(255,255,255);font-size:17;font-family:typewriter;" onclick="activate('node10');" >C</text>
 229 <script type='text/javascript'><![CDATA[ tree['node11'] = { marked: false, fc: 'node-1', ns: 'node12', par: 'node10', ps: 'node-1', max: 0, dlist: ['{ q₃ }', '{  }', '{  }', '{  }'], flist: ['{ q₃ }', '{ q₃ }', '{ q₃ }', '{ q₃ }'] };]]></script>
 230 <rect id="node11" onclick="activate('node11');" x="520" y="210"width="50" height="22" style="fill:rgb(5,3,12);stroke:rgb(0,0,0);stroke-width:2;stroke-dasharray:2,2"/><text x="530" y="225" style="fill:rgb(255,255,255);font-size:17;font-family:typewriter;" onclick="activate('node11');" >@id</text>
 231 <line x1="545" y1="192" x2="545" y2="210"style="stroke:rgb(0,0,0);stroke-width:2"/>
 232 <line x1="570" y1="221" x2="570" y2="221"style="stroke:rgb(0,0,0);stroke-width:2"/>
 233 <script type='text/javascript'><![CDATA[ tree['node12'] = { marked: false, fc: 'node-1', ns: 'node13', par: 'node10', ps: 'node11', max: 0, dlist: ['{ q₃ }', '{  }', '{  }', '{  }'], flist: ['{ q₃ }', '{ q₃ }', '{ q₃ }', '{ q₃ }'] };]]></script>
 234 <rect id="node12" onclick="activate('node12');" x="570" y="210"width="60" height="22" style="fill:rgb(5,3,12);stroke:rgb(0,0,0);stroke-width:2;stroke-dasharray:2,2"/><text x="580" y="225" style="fill:rgb(255,255,255);font-size:17;font-family:typewriter;" onclick="activate('node12');" >@pre</text>
 235 <line x1="630" y1="221" x2="630" y2="221"style="stroke:rgb(0,0,0);stroke-width:2"/>
 236 <script type='text/javascript'><![CDATA[ tree['node13'] = { marked: false, fc: 'node-1', ns: 'node14', par: 'node10', ps: 'node12', max: 0, dlist: ['{ q₃ }', '{  }', '{  }', '{  }'], flist: ['{ q₃ }', '{ q₃ }', '{ q₃ }', '{ q₃ }'] };]]></script>
 237 <rect id="node13" onclick="activate('node13');" x="630" y="210"width="70" height="22" style="fill:rgb(5,3,12);stroke:rgb(0,0,0);stroke-width:2;stroke-dasharray:2,2"/><text x="640" y="225" style="fill:rgb(255,255,255);font-size:17;font-family:typewriter;" onclick="activate('node13');" >@post</text>
 238 <line x1="700" y1="221" x2="700" y2="221"style="stroke:rgb(0,0,0);stroke-width:2"/>
 239 <script type='text/javascript'><![CDATA[ tree['node14'] = { marked: false, fc: 'node-1', ns: 'node-1', par: 'node10', ps: 'node13', max: 0, dlist: ['{ q₃ }', '{  }', '{  }', '{  }'], flist: ['{ q₃ }', '{ q₃ }', '{ q₃ }', '{ q₃ }'] };]]></script>
 240 <rect id="node14" onclick="activate('node14');" x="700" y="210"width="70" height="22" style="fill:rgb(5,3,12);stroke:rgb(0,0,0);stroke-width:2;stroke-dasharray:2,2"/><text x="710" y="225" style="fill:rgb(255,255,255);font-size:17;font-family:typewriter;" onclick="activate('node14');" >#text</text>
 241 <line x1="550" y1="181" x2="780" y2="181"style="stroke:rgb(0,0,0);stroke-width:2"/>
 242 <script type='text/javascript'><![CDATA[ tree['node15'] = { marked: false, fc: 'node16', ns: 'node-1', par: 'node6', ps: 'node10', max: 0, dlist: ['{ q₃ }', '{  }', '{  }', '{  }'], flist: ['{ q₃ }', '{ q₃ }', '{ q₃ }', '{ q₃ }'] };]]></script>
 243 <rect id="node15" onclick="activate('node15');" x="780" y="170"width="30" height="22" style="fill:rgb(5,3,12);stroke:rgb(0,0,0);stroke-width:2;stroke-dasharray:2,2"/><text x="790" y="185" style="fill:rgb(255,255,255);font-size:17;font-family:typewriter;" onclick="activate('node15');" >D</text>
 244 <script type='text/javascript'><![CDATA[ tree['node16'] = { marked: false, fc: 'node-1', ns: 'node17', par: 'node15', ps: 'node-1', max: 0, dlist: ['{ q₃ }', '{  }', '{  }', '{  }'], flist: ['{ q₃ }', '{ q₃ }', '{ q₃ }', '{ q₃ }'] };]]></script>
 245 <rect id="node16" onclick="activate('node16');" x="780" y="210"width="50" height="22" style="fill:rgb(5,3,12);stroke:rgb(0,0,0);stroke-width:2;stroke-dasharray:2,2"/><text x="790" y="225" style="fill:rgb(255,255,255);font-size:17;font-family:typewriter;" onclick="activate('node16');" >@id</text>
 246 <line x1="805" y1="192" x2="805" y2="210"style="stroke:rgb(0,0,0);stroke-width:2"/>
 247 <line x1="830" y1="221" x2="830" y2="221"style="stroke:rgb(0,0,0);stroke-width:2"/>
 248 <script type='text/javascript'><![CDATA[ tree['node17'] = { marked: false, fc: 'node-1', ns: 'node18', par: 'node15', ps: 'node16', max: 0, dlist: ['{ q₃ }', '{  }', '{  }', '{  }'], flist: ['{ q₃ }', '{ q₃ }', '{ q₃ }', '{ q₃ }'] };]]></script>
 249 <rect id="node17" onclick="activate('node17');" x="830" y="210"width="60" height="22" style="fill:rgb(5,3,12);stroke:rgb(0,0,0);stroke-width:2;stroke-dasharray:2,2"/><text x="840" y="225" style="fill:rgb(255,255,255);font-size:17;font-family:typewriter;" onclick="activate('node17');" >@pre</text>
 250 <line x1="890" y1="221" x2="890" y2="221"style="stroke:rgb(0,0,0);stroke-width:2"/>
 251 <script type='text/javascript'><![CDATA[ tree['node18'] = { marked: false, fc: 'node-1', ns: 'node19', par: 'node15', ps: 'node17', max: 0, dlist: ['{ q₃ }', '{  }', '{  }', '{  }'], flist: ['{ q₃ }', '{ q₃ }', '{ q₃ }', '{ q₃ }'] };]]></script>
 252 <rect id="node18" onclick="activate('node18');" x="890" y="210"width="70" height="22" style="fill:rgb(5,3,12);stroke:rgb(0,0,0);stroke-width:2;stroke-dasharray:2,2"/><text x="900" y="225" style="fill:rgb(255,255,255);font-size:17;font-family:typewriter;" onclick="activate('node18');" >@post</text>
 253 <line x1="960" y1="221" x2="960" y2="221"style="stroke:rgb(0,0,0);stroke-width:2"/>
 254 <script type='text/javascript'><![CDATA[ tree['node19'] = { marked: false, fc: 'node-1', ns: 'node-1', par: 'node15', ps: 'node18', max: 0, dlist: ['{ q₃ }', '{  }', '{  }', '{  }'], flist: ['{ q₃ }', '{ q₃ }', '{ q₃ }', '{ q₃ }'] };]]></script>
 255 <rect id="node19" onclick="activate('node19');" x="960" y="210"width="70" height="22" style="fill:rgb(5,3,12);stroke:rgb(0,0,0);stroke-width:2;stroke-dasharray:2,2"/><text x="970" y="225" style="fill:rgb(255,255,255);font-size:17;font-family:typewriter;" onclick="activate('node19');" >#text</text>
 256 <line x1="370" y1="141" x2="1050" y2="141"style="stroke:rgb(0,0,0);stroke-width:2"/>
 257 <script type='text/javascript'><![CDATA[ tree['node20'] = { marked: true, fc: 'node21', ns: 'node113', par: 'node1', ps: 'node6', max: 2, dlist: ['{ q₃ }', '{ q₅ q₇ }', '{ q₁₁ q₁₂ q₁₃ }', '{  }'], flist: ['{ q₃ q₅ q₇ }', '{ q₃ q₅ q₇ }', '{ q₃ q₅ q₇ q₁₁ q₁₂ q₁₃ }', '{ q₃ q₅ q₇ q₁₁ q₁₂ q₁₃ }'] };]]></script>
 258 <rect id="node20" onclick="activate('node20');" x="1050" y="130"width="30" height="22" style="fill:rgb(65,114,208);stroke:rgb(0,0,0);stroke-width:4"/><text x="1060" y="145" style="fill:rgb(0,0,0);font-size:17;font-family:typewriter;" onclick="activate('node20');" >E</text>
 259 <script type='text/javascript'><![CDATA[ tree['node21'] = { marked: false, fc: 'node-1', ns: 'node22', par: 'node20', ps: 'node-1', max: 1, dlist: ['{ q₃ }', '{ q₅ q₇ }', '{  }', '{  }'], flist: ['{ q₃ q₅ q₇ }', '{ q₃ q₅ q₇ }', '{ q₃ q₅ q₇ }', '{ q₃ q₅ q₇ }'] };]]></script>
 260 <rect id="node21" onclick="activate('node21');" x="1050" y="170"width="50" height="22" style="fill:rgb(81,110,192);stroke:rgb(0,0,0);stroke-width:2;stroke-dasharray:2,2"/><text x="1060" y="185" style="fill:rgb(255,255,255);font-size:17;font-family:typewriter;" onclick="activate('node21');" >@id</text>
 261 <line x1="1075" y1="152" x2="1075" y2="170"style="stroke:rgb(0,0,0);stroke-width:2"/>
 262 <line x1="1100" y1="181" x2="1100" y2="181"style="stroke:rgb(0,0,0);stroke-width:2"/>
 263 <script type='text/javascript'><![CDATA[ tree['node22'] = { marked: false, fc: 'node-1', ns: 'node23', par: 'node20', ps: 'node21', max: 1, dlist: ['{ q₃ }', '{ q₅ q₇ }', '{  }', '{  }'], flist: ['{ q₃ q₅ q₇ }', '{ q₃ q₅ q₇ }', '{ q₃ q₅ q₇ }', '{ q₃ q₅ q₇ }'] };]]></script>
 264 <rect id="node22" onclick="activate('node22');" x="1100" y="170"width="60" height="22" style="fill:rgb(81,110,192);stroke:rgb(0,0,0);stroke-width:2;stroke-dasharray:2,2"/><text x="1110" y="185" style="fill:rgb(255,255,255);font-size:17;font-family:typewriter;" onclick="activate('node22');" >@pre</text>
 265 <line x1="1160" y1="181" x2="1160" y2="181"style="stroke:rgb(0,0,0);stroke-width:2"/>
 266 <script type='text/javascript'><![CDATA[ tree['node23'] = { marked: false, fc: 'node-1', ns: 'node24', par: 'node20', ps: 'node22', max: 1, dlist: ['{ q₃ }', '{ q₅ q₇ }', '{  }', '{  }'], flist: ['{ q₃ q₅ q₇ }', '{ q₃ q₅ q₇ }', '{ q₃ q₅ q₇ }', '{ q₃ q₅ q₇ }'] };]]></script>
 267 <rect id="node23" onclick="activate('node23');" x="1160" y="170"width="70" height="22" style="fill:rgb(81,110,192);stroke:rgb(0,0,0);stroke-width:2;stroke-dasharray:2,2"/><text x="1170" y="185" style="fill:rgb(255,255,255);font-size:17;font-family:typewriter;" onclick="activate('node23');" >@post</text>
 268 <line x1="1230" y1="181" x2="1230" y2="181"style="stroke:rgb(0,0,0);stroke-width:2"/>
 269 <script type='text/javascript'><![CDATA[ tree['node24'] = { marked: false, fc: 'node25', ns: 'node39', par: 'node20', ps: 'node23', max: 1, dlist: ['{ q₃ }', '{ q₅ q₇ }', '{  }', '{  }'], flist: ['{ q₃ q₅ q₇ }', '{ q₃ q₅ q₇ }', '{ q₃ q₅ q₇ }', '{ q₃ q₅ q₇ }'] };]]></script>
 270 <rect id="node24" onclick="activate('node24');" x="1230" y="170"width="30" height="22" style="fill:rgb(81,110,192);stroke:rgb(0,0,0);stroke-width:2;stroke-dasharray:2,2"/><text x="1240" y="185" style="fill:rgb(255,255,255);font-size:17;font-family:typewriter;" onclick="activate('node24');" >F</text>
 271 <script type='text/javascript'><![CDATA[ tree['node25'] = { marked: false, fc: 'node-1', ns: 'node26', par: 'node24', ps: 'node-1', max: 0, dlist: ['{ q₃ }', '{  }', '{  }', '{  }'], flist: ['{ q₃ }', '{ q₃ }', '{ q₃ }', '{ q₃ }'] };]]></script>
 272 <rect id="node25" onclick="activate('node25');" x="1230" y="210"width="50" height="22" style="fill:rgb(5,3,12);stroke:rgb(0,0,0);stroke-width:2;stroke-dasharray:2,2"/><text x="1240" y="225" style="fill:rgb(255,255,255);font-size:17;font-family:typewriter;" onclick="activate('node25');" >@id</text>
 273 <line x1="1255" y1="192" x2="1255" y2="210"style="stroke:rgb(0,0,0);stroke-width:2"/>
 274 <line x1="1280" y1="221" x2="1280" y2="221"style="stroke:rgb(0,0,0);stroke-width:2"/>
 275 <script type='text/javascript'><![CDATA[ tree['node26'] = { marked: false, fc: 'node-1', ns: 'node27', par: 'node24', ps: 'node25', max: 0, dlist: ['{ q₃ }', '{  }', '{  }', '{  }'], flist: ['{ q₃ }', '{ q₃ }', '{ q₃ }', '{ q₃ }'] };]]></script>
 276 <rect id="node26" onclick="activate('node26');" x="1280" y="210"width="60" height="22" style="fill:rgb(5,3,12);stroke:rgb(0,0,0);stroke-width:2;stroke-dasharray:2,2"/><text x="1290" y="225" style="fill:rgb(255,255,255);font-size:17;font-family:typewriter;" onclick="activate('node26');" >@pre</text>
 277 <line x1="1340" y1="221" x2="1340" y2="221"style="stroke:rgb(0,0,0);stroke-width:2"/>
 278 <script type='text/javascript'><![CDATA[ tree['node27'] = { marked: false, fc: 'node-1', ns: 'node28', par: 'node24', ps: 'node26', max: 0, dlist: ['{ q₃ }', '{  }', '{  }', '{  }'], flist: ['{ q₃ }', '{ q₃ }', '{ q₃ }', '{ q₃ }'] };]]></script>
 279 <rect id="node27" onclick="activate('node27');" x="1340" y="210"width="70" height="22" style="fill:rgb(5,3,12);stroke:rgb(0,0,0);stroke-width:2;stroke-dasharray:2,2"/><text x="1350" y="225" style="fill:rgb(255,255,255);font-size:17;font-family:typewriter;" onclick="activate('node27');" >@post</text>
 280 <line x1="1410" y1="221" x2="1410" y2="221"style="stroke:rgb(0,0,0);stroke-width:2"/>
 281 <script type='text/javascript'><![CDATA[ tree['node28'] = { marked: false, fc: 'node29', ns: 'node33', par: 'node24', ps: 'node27', max: 0, dlist: ['{ q₃ }', '{  }', '{  }', '{  }'], flist: ['{ q₃ }', '{ q₃ }', '{ q₃ }', '{ q₃ }'] };]]></script>
 282 <rect id="node28" onclick="activate('node28');" x="1410" y="210"width="30" height="22" style="fill:rgb(5,3,12);stroke:rgb(0,0,0);stroke-width:2;stroke-dasharray:2,2"/><text x="1420" y="225" style="fill:rgb(255,255,255);font-size:17;font-family:typewriter;" onclick="activate('node28');" >G</text>
 283 <script type='text/javascript'><![CDATA[ tree['node29'] = { marked: false, fc: 'node-1', ns: 'node30', par: 'node28', ps: 'node-1', max: 0, dlist: ['{ q₃ }', '{  }', '{  }', '{  }'], flist: ['{ q₃ }', '{ q₃ }', '{ q₃ }', '{ q₃ }'] };]]></script>
 284 <rect id="node29" onclick="activate('node29');" x="1410" y="250"width="50" height="22" style="fill:rgb(5,3,12);stroke:rgb(0,0,0);stroke-width:2;stroke-dasharray:2,2"/><text x="1420" y="265" style="fill:rgb(255,255,255);font-size:17;font-family:typewriter;" onclick="activate('node29');" >@id</text>
 285 <line x1="1435" y1="232" x2="1435" y2="250"style="stroke:rgb(0,0,0);stroke-width:2"/>
 286 <line x1="1460" y1="261" x2="1460" y2="261"style="stroke:rgb(0,0,0);stroke-width:2"/>
 287 <script type='text/javascript'><![CDATA[ tree['node30'] = { marked: false, fc: 'node-1', ns: 'node31', par: 'node28', ps: 'node29', max: 0, dlist: ['{ q₃ }', '{  }', '{  }', '{  }'], flist: ['{ q₃ }', '{ q₃ }', '{ q₃ }', '{ q₃ }'] };]]></script>
 288 <rect id="node30" onclick="activate('node30');" x="1460" y="250"width="60" height="22" style="fill:rgb(5,3,12);stroke:rgb(0,0,0);stroke-width:2;stroke-dasharray:2,2"/><text x="1470" y="265" style="fill:rgb(255,255,255);font-size:17;font-family:typewriter;" onclick="activate('node30');" >@pre</text>
 289 <line x1="1520" y1="261" x2="1520" y2="261"style="stroke:rgb(0,0,0);stroke-width:2"/>
 290 <script type='text/javascript'><![CDATA[ tree['node31'] = { marked: false, fc: 'node-1', ns: 'node32', par: 'node28', ps: 'node30', max: 0, dlist: ['{ q₃ }', '{  }', '{  }', '{  }'], flist: ['{ q₃ }', '{ q₃ }', '{ q₃ }', '{ q₃ }'] };]]></script>
 291 <rect id="node31" onclick="activate('node31');" x="1520" y="250"width="70" height="22" style="fill:rgb(5,3,12);stroke:rgb(0,0,0);stroke-width:2;stroke-dasharray:2,2"/><text x="1530" y="265" style="fill:rgb(255,255,255);font-size:17;font-family:typewriter;" onclick="activate('node31');" >@post</text>
 292 <line x1="1590" y1="261" x2="1590" y2="261"style="stroke:rgb(0,0,0);stroke-width:2"/>
 293 <script type='text/javascript'><![CDATA[ tree['node32'] = { marked: false, fc: 'node-1', ns: 'node-1', par: 'node28', ps: 'node31', max: 0, dlist: ['{ q₃ }', '{  }', '{  }', '{  }'], flist: ['{ q₃ }', '{ q₃ }', '{ q₃ }', '{ q₃ }'] };]]></script>
 294 <rect id="node32" onclick="activate('node32');" x="1590" y="250"width="70" height="22" style="fill:rgb(5,3,12);stroke:rgb(0,0,0);stroke-width:2;stroke-dasharray:2,2"/><text x="1600" y="265" style="fill:rgb(255,255,255);font-size:17;font-family:typewriter;" onclick="activate('node32');" >#text</text>
 295 <line x1="1440" y1="221" x2="1670" y2="221"style="stroke:rgb(0,0,0);stroke-width:2"/>
 296 <script type='text/javascript'><![CDATA[ tree['node33'] = { marked: false, fc: 'node34', ns: 'node-1', par: 'node24', ps: 'node28', max: 0, dlist: ['{ q₃ }', '{  }', '{  }', '{  }'], flist: ['{ q₃ }', '{ q₃ }', '{ q₃ }', '{ q₃ }'] };]]></script>
 297 <rect id="node33" onclick="activate('node33');" x="1670" y="210"width="30" height="22" style="fill:rgb(5,3,12);stroke:rgb(0,0,0);stroke-width:2;stroke-dasharray:2,2"/><text x="1680" y="225" style="fill:rgb(255,255,255);font-size:17;font-family:typewriter;" onclick="activate('node33');" >H</text>
 298 <script type='text/javascript'><![CDATA[ tree['node34'] = { marked: false, fc: 'node-1', ns: 'node35', par: 'node33', ps: 'node-1', max: 0, dlist: ['{ q₃ }', '{  }', '{  }', '{  }'], flist: ['{ q₃ }', '{ q₃ }', '{ q₃ }', '{ q₃ }'] };]]></script>
 299 <rect id="node34" onclick="activate('node34');" x="1670" y="250"width="50" height="22" style="fill:rgb(5,3,12);stroke:rgb(0,0,0);stroke-width:2;stroke-dasharray:2,2"/><text x="1680" y="265" style="fill:rgb(255,255,255);font-size:17;font-family:typewriter;" onclick="activate('node34');" >@id</text>
 300 <line x1="1695" y1="232" x2="1695" y2="250"style="stroke:rgb(0,0,0);stroke-width:2"/>
 301 <line x1="1720" y1="261" x2="1720" y2="261"style="stroke:rgb(0,0,0);stroke-width:2"/>
 302 <script type='text/javascript'><![CDATA[ tree['node35'] = { marked: false, fc: 'node-1', ns: 'node36', par: 'node33', ps: 'node34', max: 0, dlist: ['{ q₃ }', '{  }', '{  }', '{  }'], flist: ['{ q₃ }', '{ q₃ }', '{ q₃ }', '{ q₃ }'] };]]></script>
 303 <rect id="node35" onclick="activate('node35');" x="1720" y="250"width="60" height="22" style="fill:rgb(5,3,12);stroke:rgb(0,0,0);stroke-width:2;stroke-dasharray:2,2"/><text x="1730" y="265" style="fill:rgb(255,255,255);font-size:17;font-family:typewriter;" onclick="activate('node35');" >@pre</text>
 304 <line x1="1780" y1="261" x2="1780" y2="261"style="stroke:rgb(0,0,0);stroke-width:2"/>
 305 <script type='text/javascript'><![CDATA[ tree['node36'] = { marked: false, fc: 'node-1', ns: 'node37', par: 'node33', ps: 'node35', max: 0, dlist: ['{ q₃ }', '{  }', '{  }', '{  }'], flist: ['{ q₃ }', '{ q₃ }', '{ q₃ }', '{ q₃ }'] };]]></script>
 306 <rect id="node36" onclick="activate('node36');" x="1780" y="250"width="70" height="22" style="fill:rgb(5,3,12);stroke:rgb(0,0,0);stroke-width:2;stroke-dasharray:2,2"/><text x="1790" y="265" style="fill:rgb(255,255,255);font-size:17;font-family:typewriter;" onclick="activate('node36');" >@post</text>
 307 <line x1="1850" y1="261" x2="1850" y2="261"style="stroke:rgb(0,0,0);stroke-width:2"/>
 308 <script type='text/javascript'><![CDATA[ tree['node37'] = { marked: false, fc: 'node-1', ns: 'node38', par: 'node33', ps: 'node36', max: 0, dlist: ['{ q₃ }', '{  }', '{  }', '{  }'], flist: ['{ q₃ }', '{ q₃ }', '{ q₃ }', '{ q₃ }'] };]]></script>
 309 <rect id="node37" onclick="activate('node37');" x="1850" y="250"width="90" height="22" style="fill:rgb(5,3,12);stroke:rgb(0,0,0);stroke-width:2;stroke-dasharray:2,2"/><text x="1860" y="265" style="fill:rgb(255,255,255);font-size:17;font-family:typewriter;" onclick="activate('node37');" >@idrefs</text>
 310 <line x1="1940" y1="261" x2="1940" y2="261"style="stroke:rgb(0,0,0);stroke-width:2"/>
 311 <script type='text/javascript'><![CDATA[ tree['node38'] = { marked: false, fc: 'node-1', ns: 'node-1', par: 'node33', ps: 'node37', max: 0, dlist: ['{ q₃ }', '{  }', '{  }', '{  }'], flist: ['{ q₃ }', '{ q₃ }', '{ q₃ }', '{ q₃ }'] };]]></script>
 312 <rect id="node38" onclick="activate('node38');" x="1940" y="250"width="70" height="22" style="fill:rgb(5,3,12);stroke:rgb(0,0,0);stroke-width:2;stroke-dasharray:2,2"/><text x="1950" y="265" style="fill:rgb(255,255,255);font-size:17;font-family:typewriter;" onclick="activate('node38');" >#text</text>
 313 <line x1="1260" y1="181" x2="2030" y2="181"style="stroke:rgb(0,0,0);stroke-width:2"/>
 314 <script type='text/javascript'><![CDATA[ tree['node39'] = { marked: false, fc: 'node40', ns: 'node53', par: 'node20', ps: 'node24', max: 1, dlist: ['{ q₃ }', '{ q₅ q₇ }', '{  }', '{  }'], flist: ['{ q₃ q₅ q₇ }', '{ q₃ q₅ q₇ }', '{ q₃ q₅ q₇ }', '{ q₃ q₅ q₇ }'] };]]></script>
 315 <rect id="node39" onclick="activate('node39');" x="2030" y="170"width="30" height="22" style="fill:rgb(81,110,192);stroke:rgb(0,0,0);stroke-width:2;stroke-dasharray:2,2"/><text x="2040" y="185" style="fill:rgb(255,255,255);font-size:17;font-family:typewriter;" onclick="activate('node39');" >I</text>
 316 <script type='text/javascript'><![CDATA[ tree['node40'] = { marked: false, fc: 'node-1', ns: 'node41', par: 'node39', ps: 'node-1', max: 0, dlist: ['{ q₃ }', '{  }', '{  }', '{  }'], flist: ['{ q₃ }', '{ q₃ }', '{ q₃ }', '{ q₃ }'] };]]></script>
 317 <rect id="node40" onclick="activate('node40');" x="2030" y="210"width="50" height="22" style="fill:rgb(5,3,12);stroke:rgb(0,0,0);stroke-width:2;stroke-dasharray:2,2"/><text x="2040" y="225" style="fill:rgb(255,255,255);font-size:17;font-family:typewriter;" onclick="activate('node40');" >@id</text>
 318 <line x1="2055" y1="192" x2="2055" y2="210"style="stroke:rgb(0,0,0);stroke-width:2"/>
 319 <line x1="2080" y1="221" x2="2080" y2="221"style="stroke:rgb(0,0,0);stroke-width:2"/>
 320 <script type='text/javascript'><![CDATA[ tree['node41'] = { marked: false, fc: 'node-1', ns: 'node42', par: 'node39', ps: 'node40', max: 0, dlist: ['{ q₃ }', '{  }', '{  }', '{  }'], flist: ['{ q₃ }', '{ q₃ }', '{ q₃ }', '{ q₃ }'] };]]></script>
 321 <rect id="node41" onclick="activate('node41');" x="2080" y="210"width="60" height="22" style="fill:rgb(5,3,12);stroke:rgb(0,0,0);stroke-width:2;stroke-dasharray:2,2"/><text x="2090" y="225" style="fill:rgb(255,255,255);font-size:17;font-family:typewriter;" onclick="activate('node41');" >@pre</text>
 322 <line x1="2140" y1="221" x2="2140" y2="221"style="stroke:rgb(0,0,0);stroke-width:2"/>
 323 <script type='text/javascript'><![CDATA[ tree['node42'] = { marked: false, fc: 'node-1', ns: 'node43', par: 'node39', ps: 'node41', max: 0, dlist: ['{ q₃ }', '{  }', '{  }', '{  }'], flist: ['{ q₃ }', '{ q₃ }', '{ q₃ }', '{ q₃ }'] };]]></script>
 324 <rect id="node42" onclick="activate('node42');" x="2140" y="210"width="70" height="22" style="fill:rgb(5,3,12);stroke:rgb(0,0,0);stroke-width:2;stroke-dasharray:2,2"/><text x="2150" y="225" style="fill:rgb(255,255,255);font-size:17;font-family:typewriter;" onclick="activate('node42');" >@post</text>
 325 <line x1="2210" y1="221" x2="2210" y2="221"style="stroke:rgb(0,0,0);stroke-width:2"/>
 326 <script type='text/javascript'><![CDATA[ tree['node43'] = { marked: false, fc: 'node44', ns: 'node48', par: 'node39', ps: 'node42', max: 0, dlist: ['{ q₃ }', '{  }', '{  }', '{  }'], flist: ['{ q₃ }', '{ q₃ }', '{ q₃ }', '{ q₃ }'] };]]></script>
 327 <rect id="node43" onclick="activate('node43');" x="2210" y="210"width="30" height="22" style="fill:rgb(5,3,12);stroke:rgb(0,0,0);stroke-width:2;stroke-dasharray:2,2"/><text x="2220" y="225" style="fill:rgb(255,255,255);font-size:17;font-family:typewriter;" onclick="activate('node43');" >J</text>
 328 <script type='text/javascript'><![CDATA[ tree['node44'] = { marked: false, fc: 'node-1', ns: 'node45', par: 'node43', ps: 'node-1', max: 0, dlist: ['{ q₃ }', '{  }', '{  }', '{  }'], flist: ['{ q₃ }', '{ q₃ }', '{ q₃ }', '{ q₃ }'] };]]></script>
 329 <rect id="node44" onclick="activate('node44');" x="2210" y="250"width="50" height="22" style="fill:rgb(5,3,12);stroke:rgb(0,0,0);stroke-width:2;stroke-dasharray:2,2"/><text x="2220" y="265" style="fill:rgb(255,255,255);font-size:17;font-family:typewriter;" onclick="activate('node44');" >@id</text>
 330 <line x1="2235" y1="232" x2="2235" y2="250"style="stroke:rgb(0,0,0);stroke-width:2"/>
 331 <line x1="2260" y1="261" x2="2260" y2="261"style="stroke:rgb(0,0,0);stroke-width:2"/>
 332 <script type='text/javascript'><![CDATA[ tree['node45'] = { marked: false, fc: 'node-1', ns: 'node46', par: 'node43', ps: 'node44', max: 0, dlist: ['{ q₃ }', '{  }', '{  }', '{  }'], flist: ['{ q₃ }', '{ q₃ }', '{ q₃ }', '{ q₃ }'] };]]></script>
 333 <rect id="node45" onclick="activate('node45');" x="2260" y="250"width="60" height="22" style="fill:rgb(5,3,12);stroke:rgb(0,0,0);stroke-width:2;stroke-dasharray:2,2"/><text x="2270" y="265" style="fill:rgb(255,255,255);font-size:17;font-family:typewriter;" onclick="activate('node45');" >@pre</text>
 334 <line x1="2320" y1="261" x2="2320" y2="261"style="stroke:rgb(0,0,0);stroke-width:2"/>
 335 <script type='text/javascript'><![CDATA[ tree['node46'] = { marked: false, fc: 'node-1', ns: 'node47', par: 'node43', ps: 'node45', max: 0, dlist: ['{ q₃ }', '{  }', '{  }', '{  }'], flist: ['{ q₃ }', '{ q₃ }', '{ q₃ }', '{ q₃ }'] };]]></script>
 336 <rect id="node46" onclick="activate('node46');" x="2320" y="250"width="70" height="22" style="fill:rgb(5,3,12);stroke:rgb(0,0,0);stroke-width:2;stroke-dasharray:2,2"/><text x="2330" y="265" style="fill:rgb(255,255,255);font-size:17;font-family:typewriter;" onclick="activate('node46');" >@post</text>
 337 <line x1="2390" y1="261" x2="2390" y2="261"style="stroke:rgb(0,0,0);stroke-width:2"/>
 338 <script type='text/javascript'><![CDATA[ tree['node47'] = { marked: false, fc: 'node-1', ns: 'node-1', par: 'node43', ps: 'node46', max: 0, dlist: ['{ q₃ }', '{  }', '{  }', '{  }'], flist: ['{ q₃ }', '{ q₃ }', '{ q₃ }', '{ q₃ }'] };]]></script>
 339 <rect id="node47" onclick="activate('node47');" x="2390" y="250"width="70" height="22" style="fill:rgb(5,3,12);stroke:rgb(0,0,0);stroke-width:2;stroke-dasharray:2,2"/><text x="2400" y="265" style="fill:rgb(255,255,255);font-size:17;font-family:typewriter;" onclick="activate('node47');" >#text</text>
 340 <line x1="2240" y1="221" x2="2470" y2="221"style="stroke:rgb(0,0,0);stroke-width:2"/>
 341 <script type='text/javascript'><![CDATA[ tree['node48'] = { marked: false, fc: 'node49', ns: 'node-1', par: 'node39', ps: 'node43', max: 0, dlist: ['{ q₃ }', '{  }', '{  }', '{  }'], flist: ['{ q₃ }', '{ q₃ }', '{ q₃ }', '{ q₃ }'] };]]></script>
 342 <rect id="node48" onclick="activate('node48');" x="2470" y="210"width="30" height="22" style="fill:rgb(5,3,12);stroke:rgb(0,0,0);stroke-width:2;stroke-dasharray:2,2"/><text x="2480" y="225" style="fill:rgb(255,255,255);font-size:17;font-family:typewriter;" onclick="activate('node48');" >K</text>
 343 <script type='text/javascript'><![CDATA[ tree['node49'] = { marked: false, fc: 'node-1', ns: 'node50', par: 'node48', ps: 'node-1', max: 0, dlist: ['{ q₃ }', '{  }', '{  }', '{  }'], flist: ['{ q₃ }', '{ q₃ }', '{ q₃ }', '{ q₃ }'] };]]></script>
 344 <rect id="node49" onclick="activate('node49');" x="2470" y="250"width="50" height="22" style="fill:rgb(5,3,12);stroke:rgb(0,0,0);stroke-width:2;stroke-dasharray:2,2"/><text x="2480" y="265" style="fill:rgb(255,255,255);font-size:17;font-family:typewriter;" onclick="activate('node49');" >@id</text>
 345 <line x1="2495" y1="232" x2="2495" y2="250"style="stroke:rgb(0,0,0);stroke-width:2"/>
 346 <line x1="2520" y1="261" x2="2520" y2="261"style="stroke:rgb(0,0,0);stroke-width:2"/>
 347 <script type='text/javascript'><![CDATA[ tree['node50'] = { marked: false, fc: 'node-1', ns: 'node51', par: 'node48', ps: 'node49', max: 0, dlist: ['{ q₃ }', '{  }', '{  }', '{  }'], flist: ['{ q₃ }', '{ q₃ }', '{ q₃ }', '{ q₃ }'] };]]></script>
 348 <rect id="node50" onclick="activate('node50');" x="2520" y="250"width="60" height="22" style="fill:rgb(5,3,12);stroke:rgb(0,0,0);stroke-width:2;stroke-dasharray:2,2"/><text x="2530" y="265" style="fill:rgb(255,255,255);font-size:17;font-family:typewriter;" onclick="activate('node50');" >@pre</text>
 349 <line x1="2580" y1="261" x2="2580" y2="261"style="stroke:rgb(0,0,0);stroke-width:2"/>
 350 <script type='text/javascript'><![CDATA[ tree['node51'] = { marked: false, fc: 'node-1', ns: 'node52', par: 'node48', ps: 'node50', max: 0, dlist: ['{ q₃ }', '{  }', '{  }', '{  }'], flist: ['{ q₃ }', '{ q₃ }', '{ q₃ }', '{ q₃ }'] };]]></script>
 351 <rect id="node51" onclick="activate('node51');" x="2580" y="250"width="70" height="22" style="fill:rgb(5,3,12);stroke:rgb(0,0,0);stroke-width:2;stroke-dasharray:2,2"/><text x="2590" y="265" style="fill:rgb(255,255,255);font-size:17;font-family:typewriter;" onclick="activate('node51');" >@post</text>
 352 <line x1="2650" y1="261" x2="2650" y2="261"style="stroke:rgb(0,0,0);stroke-width:2"/>
 353 <script type='text/javascript'><![CDATA[ tree['node52'] = { marked: false, fc: 'node-1', ns: 'node-1', par: 'node48', ps: 'node51', max: 0, dlist: ['{ q₃ }', '{  }', '{  }', '{  }'], flist: ['{ q₃ }', '{ q₃ }', '{ q₃ }', '{ q₃ }'] };]]></script>
 354 <rect id="node52" onclick="activate('node52');" x="2650" y="250"width="70" height="22" style="fill:rgb(5,3,12);stroke:rgb(0,0,0);stroke-width:2;stroke-dasharray:2,2"/><text x="2660" y="265" style="fill:rgb(255,255,255);font-size:17;font-family:typewriter;" onclick="activate('node52');" >#text</text>
 355 <line x1="2060" y1="181" x2="2740" y2="181"style="stroke:rgb(0,0,0);stroke-width:2"/>
 356 <script type='text/javascript'><![CDATA[ tree['node53'] = { marked: false, fc: 'node54', ns: 'node85', par: 'node20', ps: 'node39', max: 1, dlist: ['{ q₃ }', '{ q₅ q₇ }', '{  }', '{  }'], flist: ['{ q₃ q₅ q₇ }', '{ q₃ q₅ q₇ }', '{ q₃ q₅ q₇ }', '{ q₃ q₅ q₇ }'] };]]></script>
 357 <rect id="node53" onclick="activate('node53');" x="2740" y="170"width="30" height="22" style="fill:rgb(81,110,192);stroke:rgb(0,0,0);stroke-width:2;stroke-dasharray:2,2"/><text x="2750" y="185" style="fill:rgb(255,255,255);font-size:17;font-family:typewriter;" onclick="activate('node53');" >L</text>
 358 <script type='text/javascript'><![CDATA[ tree['node54'] = { marked: false, fc: 'node-1', ns: 'node55', par: 'node53', ps: 'node-1', max: 1, dlist: ['{ q₃ }', '{ q₅ q₇ }', '{  }', '{  }'], flist: ['{ q₃ q₅ q₇ }', '{ q₃ q₅ q₇ }', '{ q₃ q₅ q₇ }', '{ q₃ q₅ q₇ }'] };]]></script>
 359 <rect id="node54" onclick="activate('node54');" x="2740" y="210"width="50" height="22" style="fill:rgb(81,110,192);stroke:rgb(0,0,0);stroke-width:2;stroke-dasharray:2,2"/><text x="2750" y="225" style="fill:rgb(255,255,255);font-size:17;font-family:typewriter;" onclick="activate('node54');" >@id</text>
 360 <line x1="2765" y1="192" x2="2765" y2="210"style="stroke:rgb(0,0,0);stroke-width:2"/>
 361 <line x1="2790" y1="221" x2="2790" y2="221"style="stroke:rgb(0,0,0);stroke-width:2"/>
 362 <script type='text/javascript'><![CDATA[ tree['node55'] = { marked: false, fc: 'node-1', ns: 'node56', par: 'node53', ps: 'node54', max: 1, dlist: ['{ q₃ }', '{ q₅ q₇ }', '{  }', '{  }'], flist: ['{ q₃ q₅ q₇ }', '{ q₃ q₅ q₇ }', '{ q₃ q₅ q₇ }', '{ q₃ q₅ q₇ }'] };]]></script>
 363 <rect id="node55" onclick="activate('node55');" x="2790" y="210"width="60" height="22" style="fill:rgb(81,110,192);stroke:rgb(0,0,0);stroke-width:2;stroke-dasharray:2,2"/><text x="2800" y="225" style="fill:rgb(255,255,255);font-size:17;font-family:typewriter;" onclick="activate('node55');" >@pre</text>
 364 <line x1="2850" y1="221" x2="2850" y2="221"style="stroke:rgb(0,0,0);stroke-width:2"/>
 365 <script type='text/javascript'><![CDATA[ tree['node56'] = { marked: false, fc: 'node-1', ns: 'node57', par: 'node53', ps: 'node55', max: 1, dlist: ['{ q₃ }', '{ q₅ q₇ }', '{  }', '{  }'], flist: ['{ q₃ q₅ q₇ }', '{ q₃ q₅ q₇ }', '{ q₃ q₅ q₇ }', '{ q₃ q₅ q₇ }'] };]]></script>
 366 <rect id="node56" onclick="activate('node56');" x="2850" y="210"width="70" height="22" style="fill:rgb(81,110,192);stroke:rgb(0,0,0);stroke-width:2;stroke-dasharray:2,2"/><text x="2860" y="225" style="fill:rgb(255,255,255);font-size:17;font-family:typewriter;" onclick="activate('node56');" >@post</text>
 367 <line x1="2920" y1="221" x2="2920" y2="221"style="stroke:rgb(0,0,0);stroke-width:2"/>
 368 <script type='text/javascript'><![CDATA[ tree['node57'] = { marked: false, fc: 'node-1', ns: 'node58', par: 'node53', ps: 'node56', max: 1, dlist: ['{ q₃ }', '{ q₅ q₇ }', '{  }', '{  }'], flist: ['{ q₃ q₅ q₇ }', '{ q₃ q₅ q₇ }', '{ q₃ q₅ q₇ }', '{ q₃ q₅ q₇ }'] };]]></script>
 369 <rect id="node57" onclick="activate('node57');" x="2920" y="210"width="100" height="22" style="fill:rgb(81,110,192);stroke:rgb(0,0,0);stroke-width:2;stroke-dasharray:2,2"/><text x="2930" y="225" style="fill:rgb(255,255,255);font-size:17;font-family:typewriter;" onclick="activate('node57');" >#comment</text>
 370 <line x1="3020" y1="221" x2="3020" y2="221"style="stroke:rgb(0,0,0);stroke-width:2"/>
 371 <script type='text/javascript'><![CDATA[ tree['node58'] = { marked: false, fc: 'node-1', ns: 'node59', par: 'node53', ps: 'node57', max: 1, dlist: ['{ q₃ }', '{ q₅ q₇ }', '{  }', '{  }'], flist: ['{ q₃ q₅ q₇ }', '{ q₃ q₅ q₇ }', '{ q₃ q₅ q₇ }', '{ q₃ q₅ q₇ }'] };]]></script>
 372 <rect id="node58" onclick="activate('node58');" x="3020" y="210"width="70" height="22" style="fill:rgb(81,110,192);stroke:rgb(0,0,0);stroke-width:2;stroke-dasharray:2,2"/><text x="3030" y="225" style="fill:rgb(255,255,255);font-size:17;font-family:typewriter;" onclick="activate('node58');" >#text</text>
 373 <line x1="3090" y1="221" x2="3090" y2="221"style="stroke:rgb(0,0,0);stroke-width:2"/>
 374 <script type='text/javascript'><![CDATA[ tree['node59'] = { marked: false, fc: 'node60', ns: 'node63', par: 'node53', ps: 'node58', max: 1, dlist: ['{ q₃ q₄ }', '{ q₅ q₇ }', '{  }', '{  }'], flist: ['{ q₃ q₄ q₅ q₇ }', '{ q₃ q₄ q₅ q₇ }', '{ q₃ q₄ q₅ q₇ }', '{ q₃ q₄ q₅ q₇ }'] };]]></script>
 375 <rect id="node59" onclick="activate('node59');" x="3090" y="210"width="30" height="22" style="fill:rgb(89,108,184);stroke:rgb(0,0,0);stroke-width:2;stroke-dasharray:2,2"/><text x="3100" y="225" style="fill:rgb(255,255,255);font-size:17;font-family:typewriter;" onclick="activate('node59');" >M</text>
 376 <script type='text/javascript'><![CDATA[ tree['node60'] = { marked: false, fc: 'node-1', ns: 'node61', par: 'node59', ps: 'node-1', max: 0, dlist: ['{ q₃ }', '{  }', '{  }', '{  }'], flist: ['{ q₃ }', '{ q₃ }', '{ q₃ }', '{ q₃ }'] };]]></script>
 377 <rect id="node60" onclick="activate('node60');" x="3090" y="250"width="50" height="22" style="fill:rgb(5,3,12);stroke:rgb(0,0,0);stroke-width:2;stroke-dasharray:2,2"/><text x="3100" y="265" style="fill:rgb(255,255,255);font-size:17;font-family:typewriter;" onclick="activate('node60');" >@id</text>
 378 <line x1="3115" y1="232" x2="3115" y2="250"style="stroke:rgb(0,0,0);stroke-width:2"/>
 379 <line x1="3140" y1="261" x2="3140" y2="261"style="stroke:rgb(0,0,0);stroke-width:2"/>
 380 <script type='text/javascript'><![CDATA[ tree['node61'] = { marked: false, fc: 'node-1', ns: 'node62', par: 'node59', ps: 'node60', max: 0, dlist: ['{ q₃ }', '{  }', '{  }', '{  }'], flist: ['{ q₃ }', '{ q₃ }', '{ q₃ }', '{ q₃ }'] };]]></script>
 381 <rect id="node61" onclick="activate('node61');" x="3140" y="250"width="60" height="22" style="fill:rgb(5,3,12);stroke:rgb(0,0,0);stroke-width:2;stroke-dasharray:2,2"/><text x="3150" y="265" style="fill:rgb(255,255,255);font-size:17;font-family:typewriter;" onclick="activate('node61');" >@pre</text>
 382 <line x1="3200" y1="261" x2="3200" y2="261"style="stroke:rgb(0,0,0);stroke-width:2"/>
 383 <script type='text/javascript'><![CDATA[ tree['node62'] = { marked: false, fc: 'node-1', ns: 'node-1', par: 'node59', ps: 'node61', max: 0, dlist: ['{ q₃ }', '{  }', '{  }', '{  }'], flist: ['{ q₃ }', '{ q₃ }', '{ q₃ }', '{ q₃ }'] };]]></script>
 384 <rect id="node62" onclick="activate('node62');" x="3200" y="250"width="70" height="22" style="fill:rgb(5,3,12);stroke:rgb(0,0,0);stroke-width:2;stroke-dasharray:2,2"/><text x="3210" y="265" style="fill:rgb(255,255,255);font-size:17;font-family:typewriter;" onclick="activate('node62');" >@post</text>
 385 <line x1="3120" y1="221" x2="3280" y2="221"style="stroke:rgb(0,0,0);stroke-width:2"/>
 386 <script type='text/javascript'><![CDATA[ tree['node63'] = { marked: false, fc: 'node-1', ns: 'node64', par: 'node53', ps: 'node59', max: 1, dlist: ['{ q₃ }', '{ q₇ }', '{  }', '{  }'], flist: ['{ q₃ q₇ }', '{ q₃ q₇ }', '{ q₃ q₇ }', '{ q₃ q₇ }'] };]]></script>
 387 <rect id="node63" onclick="activate('node63');" x="3280" y="210"width="70" height="22" style="fill:rgb(105,104,168);stroke:rgb(0,0,0);stroke-width:2;stroke-dasharray:2,2"/><text x="3290" y="225" style="fill:rgb(255,255,255);font-size:17;font-family:typewriter;" onclick="activate('node63');" >#text</text>
 388 <line x1="3350" y1="221" x2="3350" y2="221"style="stroke:rgb(0,0,0);stroke-width:2"/>
 389 <script type='text/javascript'><![CDATA[ tree['node64'] = { marked: false, fc: 'node65', ns: 'node78', par: 'node53', ps: 'node63', max: 1, dlist: ['{ q₃ }', '{ q₇ }', '{  }', '{  }'], flist: ['{ q₃ q₇ }', '{ q₃ q₇ }', '{ q₃ q₇ }', '{ q₃ q₇ }'] };]]></script>
 390 <rect id="node64" onclick="activate('node64');" x="3350" y="210"width="30" height="22" style="fill:rgb(105,104,168);stroke:rgb(0,0,0);stroke-width:2;stroke-dasharray:2,2"/><text x="3360" y="225" style="fill:rgb(255,255,255);font-size:17;font-family:typewriter;" onclick="activate('node64');" >N</text>
 391 <script type='text/javascript'><![CDATA[ tree['node65'] = { marked: false, fc: 'node-1', ns: 'node66', par: 'node64', ps: 'node-1', max: 1, dlist: ['{ q₃ }', '{ q₇ }', '{  }', '{  }'], flist: ['{ q₃ q₇ }', '{ q₃ q₇ }', '{ q₃ q₇ }', '{ q₃ q₇ }'] };]]></script>
 392 <rect id="node65" onclick="activate('node65');" x="3350" y="250"width="50" height="22" style="fill:rgb(105,104,168);stroke:rgb(0,0,0);stroke-width:2;stroke-dasharray:2,2"/><text x="3360" y="265" style="fill:rgb(255,255,255);font-size:17;font-family:typewriter;" onclick="activate('node65');" >@id</text>
 393 <line x1="3375" y1="232" x2="3375" y2="250"style="stroke:rgb(0,0,0);stroke-width:2"/>
 394 <line x1="3400" y1="261" x2="3400" y2="261"style="stroke:rgb(0,0,0);stroke-width:2"/>
 395 <script type='text/javascript'><![CDATA[ tree['node66'] = { marked: false, fc: 'node-1', ns: 'node67', par: 'node64', ps: 'node65', max: 1, dlist: ['{ q₃ }', '{ q₇ }', '{  }', '{  }'], flist: ['{ q₃ q₇ }', '{ q₃ q₇ }', '{ q₃ q₇ }', '{ q₃ q₇ }'] };]]></script>
 396 <rect id="node66" onclick="activate('node66');" x="3400" y="250"width="60" height="22" style="fill:rgb(105,104,168);stroke:rgb(0,0,0);stroke-width:2;stroke-dasharray:2,2"/><text x="3410" y="265" style="fill:rgb(255,255,255);font-size:17;font-family:typewriter;" onclick="activate('node66');" >@pre</text>
 397 <line x1="3460" y1="261" x2="3460" y2="261"style="stroke:rgb(0,0,0);stroke-width:2"/>
 398 <script type='text/javascript'><![CDATA[ tree['node67'] = { marked: false, fc: 'node-1', ns: 'node68', par: 'node64', ps: 'node66', max: 1, dlist: ['{ q₃ }', '{ q₇ }', '{  }', '{  }'], flist: ['{ q₃ q₇ }', '{ q₃ q₇ }', '{ q₃ q₇ }', '{ q₃ q₇ }'] };]]></script>
 399 <rect id="node67" onclick="activate('node67');" x="3460" y="250"width="70" height="22" style="fill:rgb(105,104,168);stroke:rgb(0,0,0);stroke-width:2;stroke-dasharray:2,2"/><text x="3470" y="265" style="fill:rgb(255,255,255);font-size:17;font-family:typewriter;" onclick="activate('node67');" >@post</text>
 400 <line x1="3530" y1="261" x2="3530" y2="261"style="stroke:rgb(0,0,0);stroke-width:2"/>
 401 <script type='text/javascript'><![CDATA[ tree['node68'] = { marked: false, fc: 'node69', ns: 'node73', par: 'node64', ps: 'node67', max: 1, dlist: ['{ q₃ }', '{ q₇ }', '{  }', '{  }'], flist: ['{ q₃ q₇ }', '{ q₃ q₇ }', '{ q₃ q₇ }', '{ q₃ q₇ }'] };]]></script>
 402 <rect id="node68" onclick="activate('node68');" x="3530" y="250"width="30" height="22" style="fill:rgb(105,104,168);stroke:rgb(0,0,0);stroke-width:2;stroke-dasharray:2,2"/><text x="3540" y="265" style="fill:rgb(255,255,255);font-size:17;font-family:typewriter;" onclick="activate('node68');" >O</text>
 403 <script type='text/javascript'><![CDATA[ tree['node69'] = { marked: false, fc: 'node-1', ns: 'node70', par: 'node68', ps: 'node-1', max: 0, dlist: ['{ q₃ }', '{  }', '{  }', '{  }'], flist: ['{ q₃ }', '{ q₃ }', '{ q₃ }', '{ q₃ }'] };]]></script>
 404 <rect id="node69" onclick="activate('node69');" x="3530" y="290"width="50" height="22" style="fill:rgb(5,3,12);stroke:rgb(0,0,0);stroke-width:2;stroke-dasharray:2,2"/><text x="3540" y="305" style="fill:rgb(255,255,255);font-size:17;font-family:typewriter;" onclick="activate('node69');" >@id</text>
 405 <line x1="3555" y1="272" x2="3555" y2="290"style="stroke:rgb(0,0,0);stroke-width:2"/>
 406 <line x1="3580" y1="301" x2="3580" y2="301"style="stroke:rgb(0,0,0);stroke-width:2"/>
 407 <script type='text/javascript'><![CDATA[ tree['node70'] = { marked: false, fc: 'node-1', ns: 'node71', par: 'node68', ps: 'node69', max: 0, dlist: ['{ q₃ }', '{  }', '{  }', '{  }'], flist: ['{ q₃ }', '{ q₃ }', '{ q₃ }', '{ q₃ }'] };]]></script>
 408 <rect id="node70" onclick="activate('node70');" x="3580" y="290"width="60" height="22" style="fill:rgb(5,3,12);stroke:rgb(0,0,0);stroke-width:2;stroke-dasharray:2,2"/><text x="3590" y="305" style="fill:rgb(255,255,255);font-size:17;font-family:typewriter;" onclick="activate('node70');" >@pre</text>
 409 <line x1="3640" y1="301" x2="3640" y2="301"style="stroke:rgb(0,0,0);stroke-width:2"/>
 410 <script type='text/javascript'><![CDATA[ tree['node71'] = { marked: false, fc: 'node-1', ns: 'node72', par: 'node68', ps: 'node70', max: 0, dlist: ['{ q₃ }', '{  }', '{  }', '{  }'], flist: ['{ q₃ }', '{ q₃ }', '{ q₃ }', '{ q₃ }'] };]]></script>
 411 <rect id="node71" onclick="activate('node71');" x="3640" y="290"width="70" height="22" style="fill:rgb(5,3,12);stroke:rgb(0,0,0);stroke-width:2;stroke-dasharray:2,2"/><text x="3650" y="305" style="fill:rgb(255,255,255);font-size:17;font-family:typewriter;" onclick="activate('node71');" >@post</text>
 412 <line x1="3710" y1="301" x2="3710" y2="301"style="stroke:rgb(0,0,0);stroke-width:2"/>
 413 <script type='text/javascript'><![CDATA[ tree['node72'] = { marked: false, fc: 'node-1', ns: 'node-1', par: 'node68', ps: 'node71', max: 0, dlist: ['{ q₃ }', '{  }', '{  }', '{  }'], flist: ['{ q₃ }', '{ q₃ }', '{ q₃ }', '{ q₃ }'] };]]></script>
 414 <rect id="node72" onclick="activate('node72');" x="3710" y="290"width="70" height="22" style="fill:rgb(5,3,12);stroke:rgb(0,0,0);stroke-width:2;stroke-dasharray:2,2"/><text x="3720" y="305" style="fill:rgb(255,255,255);font-size:17;font-family:typewriter;" onclick="activate('node72');" >#text</text>
 415 <line x1="3560" y1="261" x2="3790" y2="261"style="stroke:rgb(0,0,0);stroke-width:2"/>
 416 <script type='text/javascript'><![CDATA[ tree['node73'] = { marked: false, fc: 'node74', ns: 'node-1', par: 'node64', ps: 'node68', max: 1, dlist: ['{ q₃ }', '{ q₇ }', '{  }', '{  }'], flist: ['{ q₃ q₇ }', '{ q₃ q₇ }', '{ q₃ q₇ }', '{ q₃ q₇ }'] };]]></script>
 417 <rect id="node73" onclick="activate('node73');" x="3790" y="250"width="30" height="22" style="fill:rgb(105,104,168);stroke:rgb(0,0,0);stroke-width:2;stroke-dasharray:2,2"/><text x="3800" y="265" style="fill:rgb(255,255,255);font-size:17;font-family:typewriter;" onclick="activate('node73');" >P</text>
 418 <script type='text/javascript'><![CDATA[ tree['node74'] = { marked: false, fc: 'node-1', ns: 'node75', par: 'node73', ps: 'node-1', max: 0, dlist: ['{ q₃ }', '{  }', '{  }', '{  }'], flist: ['{ q₃ }', '{ q₃ }', '{ q₃ }', '{ q₃ }'] };]]></script>
 419 <rect id="node74" onclick="activate('node74');" x="3790" y="290"width="50" height="22" style="fill:rgb(5,3,12);stroke:rgb(0,0,0);stroke-width:2;stroke-dasharray:2,2"/><text x="3800" y="305" style="fill:rgb(255,255,255);font-size:17;font-family:typewriter;" onclick="activate('node74');" >@id</text>
 420 <line x1="3815" y1="272" x2="3815" y2="290"style="stroke:rgb(0,0,0);stroke-width:2"/>
 421 <line x1="3840" y1="301" x2="3840" y2="301"style="stroke:rgb(0,0,0);stroke-width:2"/>
 422 <script type='text/javascript'><![CDATA[ tree['node75'] = { marked: false, fc: 'node-1', ns: 'node76', par: 'node73', ps: 'node74', max: 0, dlist: ['{ q₃ }', '{  }', '{  }', '{  }'], flist: ['{ q₃ }', '{ q₃ }', '{ q₃ }', '{ q₃ }'] };]]></script>
 423 <rect id="node75" onclick="activate('node75');" x="3840" y="290"width="60" height="22" style="fill:rgb(5,3,12);stroke:rgb(0,0,0);stroke-width:2;stroke-dasharray:2,2"/><text x="3850" y="305" style="fill:rgb(255,255,255);font-size:17;font-family:typewriter;" onclick="activate('node75');" >@pre</text>
 424 <line x1="3900" y1="301" x2="3900" y2="301"style="stroke:rgb(0,0,0);stroke-width:2"/>
 425 <script type='text/javascript'><![CDATA[ tree['node76'] = { marked: false, fc: 'node-1', ns: 'node77', par: 'node73', ps: 'node75', max: 0, dlist: ['{ q₃ }', '{  }', '{  }', '{  }'], flist: ['{ q₃ }', '{ q₃ }', '{ q₃ }', '{ q₃ }'] };]]></script>
 426 <rect id="node76" onclick="activate('node76');" x="3900" y="290"width="70" height="22" style="fill:rgb(5,3,12);stroke:rgb(0,0,0);stroke-width:2;stroke-dasharray:2,2"/><text x="3910" y="305" style="fill:rgb(255,255,255);font-size:17;font-family:typewriter;" onclick="activate('node76');" >@post</text>
 427 <line x1="3970" y1="301" x2="3970" y2="301"style="stroke:rgb(0,0,0);stroke-width:2"/>
 428 <script type='text/javascript'><![CDATA[ tree['node77'] = { marked: false, fc: 'node-1', ns: 'node-1', par: 'node73', ps: 'node76', max: 0, dlist: ['{ q₃ }', '{  }', '{  }', '{  }'], flist: ['{ q₃ }', '{ q₃ }', '{ q₃ }', '{ q₃ }'] };]]></script>
 429 <rect id="node77" onclick="activate('node77');" x="3970" y="290"width="70" height="22" style="fill:rgb(5,3,12);stroke:rgb(0,0,0);stroke-width:2;stroke-dasharray:2,2"/><text x="3980" y="305" style="fill:rgb(255,255,255);font-size:17;font-family:typewriter;" onclick="activate('node77');" >#text</text>
 430 <line x1="3380" y1="221" x2="4060" y2="221"style="stroke:rgb(0,0,0);stroke-width:2"/>
 431 <script type='text/javascript'><![CDATA[ tree['node78'] = { marked: false, fc: 'node-1', ns: 'node79', par: 'node53', ps: 'node64', max: 0, dlist: ['{ q₃ }', '{  }', '{  }', '{  }'], flist: ['{ q₃ }', '{ q₃ }', '{ q₃ }', '{ q₃ }'] };]]></script>
 432 <rect id="node78" onclick="activate('node78');" x="4060" y="210"width="70" height="22" style="fill:rgb(5,3,12);stroke:rgb(0,0,0);stroke-width:2;stroke-dasharray:2,2"/><text x="4070" y="225" style="fill:rgb(255,255,255);font-size:17;font-family:typewriter;" onclick="activate('node78');" >?myPI</text>
 433 <line x1="4130" y1="221" x2="4130" y2="221"style="stroke:rgb(0,0,0);stroke-width:2"/>
 434 <script type='text/javascript'><![CDATA[ tree['node79'] = { marked: false, fc: 'node80', ns: 'node-1', par: 'node53', ps: 'node78', max: 0, dlist: ['{ q₃ q₈ }', '{  }', '{  }', '{  }'], flist: ['{ q₃ q₈ }', '{ q₃ q₈ }', '{ q₃ q₈ }', '{ q₃ q₈ }'] };]]></script>
 435 <rect id="node79" onclick="activate('node79');" x="4130" y="210"width="30" height="22" style="fill:rgb(101,105,172);stroke:rgb(0,0,0);stroke-width:2;stroke-dasharray:2,2"/><text x="4140" y="225" style="fill:rgb(255,255,255);font-size:17;font-family:typewriter;" onclick="activate('node79');" >Q</text>
 436 <script type='text/javascript'><![CDATA[ tree['node80'] = { marked: false, fc: 'node-1', ns: 'node81', par: 'node79', ps: 'node-1', max: 0, dlist: ['{ q₃ q₉ }', '{  }', '{  }', '{  }'], flist: ['{ q₃ q₉ }', '{ q₃ q₉ }', '{ q₃ q₉ }', '{ q₃ q₉ }'] };]]></script>
 437 <rect id="node80" onclick="activate('node80');" x="4130" y="250"width="50" height="22" style="fill:rgb(97,106,176);stroke:rgb(0,0,0);stroke-width:2;stroke-dasharray:2,2"/><text x="4140" y="265" style="fill:rgb(255,255,255);font-size:17;font-family:typewriter;" onclick="activate('node80');" >@id</text>
 438 <line x1="4155" y1="232" x2="4155" y2="250"style="stroke:rgb(0,0,0);stroke-width:2"/>
 439 <line x1="4180" y1="261" x2="4180" y2="261"style="stroke:rgb(0,0,0);stroke-width:2"/>
 440 <script type='text/javascript'><![CDATA[ tree['node81'] = { marked: false, fc: 'node-1', ns: 'node82', par: 'node79', ps: 'node80', max: 0, dlist: ['{ q₃ q₉ }', '{  }', '{  }', '{  }'], flist: ['{ q₃ q₉ }', '{ q₃ q₉ }', '{ q₃ q₉ }', '{ q₃ q₉ }'] };]]></script>
 441 <rect id="node81" onclick="activate('node81');" x="4180" y="250"width="60" height="22" style="fill:rgb(97,106,176);stroke:rgb(0,0,0);stroke-width:2;stroke-dasharray:2,2"/><text x="4190" y="265" style="fill:rgb(255,255,255);font-size:17;font-family:typewriter;" onclick="activate('node81');" >@pre</text>
 442 <line x1="4240" y1="261" x2="4240" y2="261"style="stroke:rgb(0,0,0);stroke-width:2"/>
 443 <script type='text/javascript'><![CDATA[ tree['node82'] = { marked: false, fc: 'node-1', ns: 'node83', par: 'node79', ps: 'node81', max: 0, dlist: ['{ q₃ q₉ }', '{  }', '{  }', '{  }'], flist: ['{ q₃ q₉ }', '{ q₃ q₉ }', '{ q₃ q₉ }', '{ q₃ q₉ }'] };]]></script>
 444 <rect id="node82" onclick="activate('node82');" x="4240" y="250"width="70" height="22" style="fill:rgb(97,106,176);stroke:rgb(0,0,0);stroke-width:2;stroke-dasharray:2,2"/><text x="4250" y="265" style="fill:rgb(255,255,255);font-size:17;font-family:typewriter;" onclick="activate('node82');" >@post</text>
 445 <line x1="4310" y1="261" x2="4310" y2="261"style="stroke:rgb(0,0,0);stroke-width:2"/>
 446 <script type='text/javascript'><![CDATA[ tree['node83'] = { marked: false, fc: 'node-1', ns: 'node84', par: 'node79', ps: 'node82', max: 0, dlist: ['{ q₃ q₉ }', '{  }', '{  }', '{  }'], flist: ['{ q₃ q₉ }', '{ q₃ q₉ }', '{ q₃ q₉ }', '{ q₃ q₉ }'] };]]></script>
 447 <rect id="node83" onclick="activate('node83');" x="4310" y="250"width="90" height="22" style="fill:rgb(97,106,176);stroke:rgb(0,0,0);stroke-width:2;stroke-dasharray:2,2"/><text x="4320" y="265" style="fill:rgb(255,255,255);font-size:17;font-family:typewriter;" onclick="activate('node83');" >@idrefs</text>
 448 <line x1="4400" y1="261" x2="4400" y2="261"style="stroke:rgb(0,0,0);stroke-width:2"/>
 449 <script type='text/javascript'><![CDATA[ tree['node84'] = { marked: false, fc: 'node-1', ns: 'node-1', par: 'node79', ps: 'node83', max: 0, dlist: ['{ q₃ q₉ }', '{  }', '{  }', '{  }'], flist: ['{ q₃ q₉ }', '{ q₃ q₉ }', '{ q₃ q₉ }', '{ q₃ q₉ }'] };]]></script>
 450 <rect id="node84" onclick="activate('node84');" x="4400" y="250"width="70" height="22" style="fill:rgb(97,106,176);stroke:rgb(0,0,0);stroke-width:2;stroke-dasharray:2,2"/><text x="4410" y="265" style="fill:rgb(255,255,255);font-size:17;font-family:typewriter;" onclick="activate('node84');" >#text</text>
 451 <line x1="2770" y1="181" x2="4490" y2="181"style="stroke:rgb(0,0,0);stroke-width:2"/>
 452 <script type='text/javascript'><![CDATA[ tree['node85'] = { marked: false, fc: 'node86', ns: 'node99', par: 'node20', ps: 'node53', max: 0, dlist: ['{ q₃ }', '{  }', '{  }', '{  }'], flist: ['{ q₃ }', '{ q₃ }', '{ q₃ }', '{ q₃ }'] };]]></script>
 453 <rect id="node85" onclick="activate('node85');" x="4490" y="170"width="30" height="22" style="fill:rgb(5,3,12);stroke:rgb(0,0,0);stroke-width:2;stroke-dasharray:2,2"/><text x="4500" y="185" style="fill:rgb(255,255,255);font-size:17;font-family:typewriter;" onclick="activate('node85');" >R</text>
 454 <script type='text/javascript'><![CDATA[ tree['node86'] = { marked: false, fc: 'node-1', ns: 'node87', par: 'node85', ps: 'node-1', max: 0, dlist: ['{ q₃ }', '{  }', '{  }', '{  }'], flist: ['{ q₃ }', '{ q₃ }', '{ q₃ }', '{ q₃ }'] };]]></script>
 455 <rect id="node86" onclick="activate('node86');" x="4490" y="210"width="50" height="22" style="fill:rgb(5,3,12);stroke:rgb(0,0,0);stroke-width:2;stroke-dasharray:2,2"/><text x="4500" y="225" style="fill:rgb(255,255,255);font-size:17;font-family:typewriter;" onclick="activate('node86');" >@id</text>
 456 <line x1="4515" y1="192" x2="4515" y2="210"style="stroke:rgb(0,0,0);stroke-width:2"/>
 457 <line x1="4540" y1="221" x2="4540" y2="221"style="stroke:rgb(0,0,0);stroke-width:2"/>
 458 <script type='text/javascript'><![CDATA[ tree['node87'] = { marked: false, fc: 'node-1', ns: 'node88', par: 'node85', ps: 'node86', max: 0, dlist: ['{ q₃ }', '{  }', '{  }', '{  }'], flist: ['{ q₃ }', '{ q₃ }', '{ q₃ }', '{ q₃ }'] };]]></script>
 459 <rect id="node87" onclick="activate('node87');" x="4540" y="210"width="60" height="22" style="fill:rgb(5,3,12);stroke:rgb(0,0,0);stroke-width:2;stroke-dasharray:2,2"/><text x="4550" y="225" style="fill:rgb(255,255,255);font-size:17;font-family:typewriter;" onclick="activate('node87');" >@pre</text>
 460 <line x1="4600" y1="221" x2="4600" y2="221"style="stroke:rgb(0,0,0);stroke-width:2"/>
 461 <script type='text/javascript'><![CDATA[ tree['node88'] = { marked: false, fc: 'node-1', ns: 'node89', par: 'node85', ps: 'node87', max: 0, dlist: ['{ q₃ }', '{  }', '{  }', '{  }'], flist: ['{ q₃ }', '{ q₃ }', '{ q₃ }', '{ q₃ }'] };]]></script>
 462 <rect id="node88" onclick="activate('node88');" x="4600" y="210"width="70" height="22" style="fill:rgb(5,3,12);stroke:rgb(0,0,0);stroke-width:2;stroke-dasharray:2,2"/><text x="4610" y="225" style="fill:rgb(255,255,255);font-size:17;font-family:typewriter;" onclick="activate('node88');" >@post</text>
 463 <line x1="4670" y1="221" x2="4670" y2="221"style="stroke:rgb(0,0,0);stroke-width:2"/>
 464 <script type='text/javascript'><![CDATA[ tree['node89'] = { marked: false, fc: 'node90', ns: 'node94', par: 'node85', ps: 'node88', max: 0, dlist: ['{ q₃ }', '{  }', '{  }', '{  }'], flist: ['{ q₃ }', '{ q₃ }', '{ q₃ }', '{ q₃ }'] };]]></script>
 465 <rect id="node89" onclick="activate('node89');" x="4670" y="210"width="30" height="22" style="fill:rgb(5,3,12);stroke:rgb(0,0,0);stroke-width:2;stroke-dasharray:2,2"/><text x="4680" y="225" style="fill:rgb(255,255,255);font-size:17;font-family:typewriter;" onclick="activate('node89');" >S</text>
 466 <script type='text/javascript'><![CDATA[ tree['node90'] = { marked: false, fc: 'node-1', ns: 'node91', par: 'node89', ps: 'node-1', max: 0, dlist: ['{ q₃ }', '{  }', '{  }', '{  }'], flist: ['{ q₃ }', '{ q₃ }', '{ q₃ }', '{ q₃ }'] };]]></script>
 467 <rect id="node90" onclick="activate('node90');" x="4670" y="250"width="50" height="22" style="fill:rgb(5,3,12);stroke:rgb(0,0,0);stroke-width:2;stroke-dasharray:2,2"/><text x="4680" y="265" style="fill:rgb(255,255,255);font-size:17;font-family:typewriter;" onclick="activate('node90');" >@id</text>
 468 <line x1="4695" y1="232" x2="4695" y2="250"style="stroke:rgb(0,0,0);stroke-width:2"/>
 469 <line x1="4720" y1="261" x2="4720" y2="261"style="stroke:rgb(0,0,0);stroke-width:2"/>
 470 <script type='text/javascript'><![CDATA[ tree['node91'] = { marked: false, fc: 'node-1', ns: 'node92', par: 'node89', ps: 'node90', max: 0, dlist: ['{ q₃ }', '{  }', '{  }', '{  }'], flist: ['{ q₃ }', '{ q₃ }', '{ q₃ }', '{ q₃ }'] };]]></script>
 471 <rect id="node91" onclick="activate('node91');" x="4720" y="250"width="60" height="22" style="fill:rgb(5,3,12);stroke:rgb(0,0,0);stroke-width:2;stroke-dasharray:2,2"/><text x="4730" y="265" style="fill:rgb(255,255,255);font-size:17;font-family:typewriter;" onclick="activate('node91');" >@pre</text>
 472 <line x1="4780" y1="261" x2="4780" y2="261"style="stroke:rgb(0,0,0);stroke-width:2"/>
 473 <script type='text/javascript'><![CDATA[ tree['node92'] = { marked: false, fc: 'node-1', ns: 'node93', par: 'node89', ps: 'node91', max: 0, dlist: ['{ q₃ }', '{  }', '{  }', '{  }'], flist: ['{ q₃ }', '{ q₃ }', '{ q₃ }', '{ q₃ }'] };]]></script>
 474 <rect id="node92" onclick="activate('node92');" x="4780" y="250"width="70" height="22" style="fill:rgb(5,3,12);stroke:rgb(0,0,0);stroke-width:2;stroke-dasharray:2,2"/><text x="4790" y="265" style="fill:rgb(255,255,255);font-size:17;font-family:typewriter;" onclick="activate('node92');" >@post</text>
 475 <line x1="4850" y1="261" x2="4850" y2="261"style="stroke:rgb(0,0,0);stroke-width:2"/>
 476 <script type='text/javascript'><![CDATA[ tree['node93'] = { marked: false, fc: 'node-1', ns: 'node-1', par: 'node89', ps: 'node92', max: 0, dlist: ['{ q₃ }', '{  }', '{  }', '{  }'], flist: ['{ q₃ }', '{ q₃ }', '{ q₃ }', '{ q₃ }'] };]]></script>
 477 <rect id="node93" onclick="activate('node93');" x="4850" y="250"width="70" height="22" style="fill:rgb(5,3,12);stroke:rgb(0,0,0);stroke-width:2;stroke-dasharray:2,2"/><text x="4860" y="265" style="fill:rgb(255,255,255);font-size:17;font-family:typewriter;" onclick="activate('node93');" >#text</text>
 478 <line x1="4700" y1="221" x2="4930" y2="221"style="stroke:rgb(0,0,0);stroke-width:2"/>
 479 <script type='text/javascript'><![CDATA[ tree['node94'] = { marked: false, fc: 'node95', ns: 'node-1', par: 'node85', ps: 'node89', max: 0, dlist: ['{ q₃ }', '{  }', '{  }', '{  }'], flist: ['{ q₃ }', '{ q₃ }', '{ q₃ }', '{ q₃ }'] };]]></script>
 480 <rect id="node94" onclick="activate('node94');" x="4930" y="210"width="30" height="22" style="fill:rgb(5,3,12);stroke:rgb(0,0,0);stroke-width:2;stroke-dasharray:2,2"/><text x="4940" y="225" style="fill:rgb(255,255,255);font-size:17;font-family:typewriter;" onclick="activate('node94');" >T</text>
 481 <script type='text/javascript'><![CDATA[ tree['node95'] = { marked: false, fc: 'node-1', ns: 'node96', par: 'node94', ps: 'node-1', max: 0, dlist: ['{ q₃ }', '{  }', '{  }', '{  }'], flist: ['{ q₃ }', '{ q₃ }', '{ q₃ }', '{ q₃ }'] };]]></script>
 482 <rect id="node95" onclick="activate('node95');" x="4930" y="250"width="50" height="22" style="fill:rgb(5,3,12);stroke:rgb(0,0,0);stroke-width:2;stroke-dasharray:2,2"/><text x="4940" y="265" style="fill:rgb(255,255,255);font-size:17;font-family:typewriter;" onclick="activate('node95');" >@id</text>
 483 <line x1="4955" y1="232" x2="4955" y2="250"style="stroke:rgb(0,0,0);stroke-width:2"/>
 484 <line x1="4980" y1="261" x2="4980" y2="261"style="stroke:rgb(0,0,0);stroke-width:2"/>
 485 <script type='text/javascript'><![CDATA[ tree['node96'] = { marked: false, fc: 'node-1', ns: 'node97', par: 'node94', ps: 'node95', max: 0, dlist: ['{ q₃ }', '{  }', '{  }', '{  }'], flist: ['{ q₃ }', '{ q₃ }', '{ q₃ }', '{ q₃ }'] };]]></script>
 486 <rect id="node96" onclick="activate('node96');" x="4980" y="250"width="60" height="22" style="fill:rgb(5,3,12);stroke:rgb(0,0,0);stroke-width:2;stroke-dasharray:2,2"/><text x="4990" y="265" style="fill:rgb(255,255,255);font-size:17;font-family:typewriter;" onclick="activate('node96');" >@pre</text>
 487 <line x1="5040" y1="261" x2="5040" y2="261"style="stroke:rgb(0,0,0);stroke-width:2"/>
 488 <script type='text/javascript'><![CDATA[ tree['node97'] = { marked: false, fc: 'node-1', ns: 'node98', par: 'node94', ps: 'node96', max: 0, dlist: ['{ q₃ }', '{  }', '{  }', '{  }'], flist: ['{ q₃ }', '{ q₃ }', '{ q₃ }', '{ q₃ }'] };]]></script>
 489 <rect id="node97" onclick="activate('node97');" x="5040" y="250"width="70" height="22" style="fill:rgb(5,3,12);stroke:rgb(0,0,0);stroke-width:2;stroke-dasharray:2,2"/><text x="5050" y="265" style="fill:rgb(255,255,255);font-size:17;font-family:typewriter;" onclick="activate('node97');" >@post</text>
 490 <line x1="5110" y1="261" x2="5110" y2="261"style="stroke:rgb(0,0,0);stroke-width:2"/>
 491 <script type='text/javascript'><![CDATA[ tree['node98'] = { marked: false, fc: 'node-1', ns: 'node-1', par: 'node94', ps: 'node97', max: 0, dlist: ['{ q₃ }', '{  }', '{  }', '{  }'], flist: ['{ q₃ }', '{ q₃ }', '{ q₃ }', '{ q₃ }'] };]]></script>
 492 <rect id="node98" onclick="activate('node98');" x="5110" y="250"width="70" height="22" style="fill:rgb(5,3,12);stroke:rgb(0,0,0);stroke-width:2;stroke-dasharray:2,2"/><text x="5120" y="265" style="fill:rgb(255,255,255);font-size:17;font-family:typewriter;" onclick="activate('node98');" >#text</text>
 493 <line x1="4520" y1="181" x2="5200" y2="181"style="stroke:rgb(0,0,0);stroke-width:2"/>
 494 <script type='text/javascript'><![CDATA[ tree['node99'] = { marked: false, fc: 'node100', ns: 'node-1', par: 'node20', ps: 'node85', max: 0, dlist: ['{ q₃ }', '{  }', '{  }', '{  }'], flist: ['{ q₃ }', '{ q₃ }', '{ q₃ }', '{ q₃ }'] };]]></script>
 495 <rect id="node99" onclick="activate('node99');" x="5200" y="170"width="30" height="22" style="fill:rgb(5,3,12);stroke:rgb(0,0,0);stroke-width:2;stroke-dasharray:2,2"/><text x="5210" y="185" style="fill:rgb(255,255,255);font-size:17;font-family:typewriter;" onclick="activate('node99');" >U</text>
 496 <script type='text/javascript'><![CDATA[ tree['node100'] = { marked: false, fc: 'node-1', ns: 'node101', par: 'node99', ps: 'node-1', max: 0, dlist: ['{ q₃ }', '{  }', '{  }', '{  }'], flist: ['{ q₃ }', '{ q₃ }', '{ q₃ }', '{ q₃ }'] };]]></script>
 497 <rect id="node100" onclick="activate('node100');" x="5200" y="210"width="50" height="22" style="fill:rgb(5,3,12);stroke:rgb(0,0,0);stroke-width:2;stroke-dasharray:2,2"/><text x="5210" y="225" style="fill:rgb(255,255,255);font-size:17;font-family:typewriter;" onclick="activate('node100');" >@id</text>
 498 <line x1="5225" y1="192" x2="5225" y2="210"style="stroke:rgb(0,0,0);stroke-width:2"/>
 499 <line x1="5250" y1="221" x2="5250" y2="221"style="stroke:rgb(0,0,0);stroke-width:2"/>
 500 <script type='text/javascript'><![CDATA[ tree['node101'] = { marked: false, fc: 'node-1', ns: 'node102', par: 'node99', ps: 'node100', max: 0, dlist: ['{ q₃ }', '{  }', '{  }', '{  }'], flist: ['{ q₃ }', '{ q₃ }', '{ q₃ }', '{ q₃ }'] };]]></script>
 501 <rect id="node101" onclick="activate('node101');" x="5250" y="210"width="60" height="22" style="fill:rgb(5,3,12);stroke:rgb(0,0,0);stroke-width:2;stroke-dasharray:2,2"/><text x="5260" y="225" style="fill:rgb(255,255,255);font-size:17;font-family:typewriter;" onclick="activate('node101');" >@pre</text>
 502 <line x1="5310" y1="221" x2="5310" y2="221"style="stroke:rgb(0,0,0);stroke-width:2"/>
 503 <script type='text/javascript'><![CDATA[ tree['node102'] = { marked: false, fc: 'node-1', ns: 'node103', par: 'node99', ps: 'node101', max: 0, dlist: ['{ q₃ }', '{  }', '{  }', '{  }'], flist: ['{ q₃ }', '{ q₃ }', '{ q₃ }', '{ q₃ }'] };]]></script>
 504 <rect id="node102" onclick="activate('node102');" x="5310" y="210"width="70" height="22" style="fill:rgb(5,3,12);stroke:rgb(0,0,0);stroke-width:2;stroke-dasharray:2,2"/><text x="5320" y="225" style="fill:rgb(255,255,255);font-size:17;font-family:typewriter;" onclick="activate('node102');" >@post</text>
 505 <line x1="5380" y1="221" x2="5380" y2="221"style="stroke:rgb(0,0,0);stroke-width:2"/>
 506 <script type='text/javascript'><![CDATA[ tree['node103'] = { marked: false, fc: 'node104', ns: 'node108', par: 'node99', ps: 'node102', max: 0, dlist: ['{ q₃ }', '{  }', '{  }', '{  }'], flist: ['{ q₃ }', '{ q₃ }', '{ q₃ }', '{ q₃ }'] };]]></script>
 507 <rect id="node103" onclick="activate('node103');" x="5380" y="210"width="30" height="22" style="fill:rgb(5,3,12);stroke:rgb(0,0,0);stroke-width:2;stroke-dasharray:2,2"/><text x="5390" y="225" style="fill:rgb(255,255,255);font-size:17;font-family:typewriter;" onclick="activate('node103');" >V</text>
 508 <script type='text/javascript'><![CDATA[ tree['node104'] = { marked: false, fc: 'node-1', ns: 'node105', par: 'node103', ps: 'node-1', max: 0, dlist: ['{ q₃ }', '{  }', '{  }', '{  }'], flist: ['{ q₃ }', '{ q₃ }', '{ q₃ }', '{ q₃ }'] };]]></script>
 509 <rect id="node104" onclick="activate('node104');" x="5380" y="250"width="50" height="22" style="fill:rgb(5,3,12);stroke:rgb(0,0,0);stroke-width:2;stroke-dasharray:2,2"/><text x="5390" y="265" style="fill:rgb(255,255,255);font-size:17;font-family:typewriter;" onclick="activate('node104');" >@id</text>
 510 <line x1="5405" y1="232" x2="5405" y2="250"style="stroke:rgb(0,0,0);stroke-width:2"/>
 511 <line x1="5430" y1="261" x2="5430" y2="261"style="stroke:rgb(0,0,0);stroke-width:2"/>
 512 <script type='text/javascript'><![CDATA[ tree['node105'] = { marked: false, fc: 'node-1', ns: 'node106', par: 'node103', ps: 'node104', max: 0, dlist: ['{ q₃ }', '{  }', '{  }', '{  }'], flist: ['{ q₃ }', '{ q₃ }', '{ q₃ }', '{ q₃ }'] };]]></script>
 513 <rect id="node105" onclick="activate('node105');" x="5430" y="250"width="60" height="22" style="fill:rgb(5,3,12);stroke:rgb(0,0,0);stroke-width:2;stroke-dasharray:2,2"/><text x="5440" y="265" style="fill:rgb(255,255,255);font-size:17;font-family:typewriter;" onclick="activate('node105');" >@pre</text>
 514 <line x1="5490" y1="261" x2="5490" y2="261"style="stroke:rgb(0,0,0);stroke-width:2"/>
 515 <script type='text/javascript'><![CDATA[ tree['node106'] = { marked: false, fc: 'node-1', ns: 'node107', par: 'node103', ps: 'node105', max: 0, dlist: ['{ q₃ }', '{  }', '{  }', '{  }'], flist: ['{ q₃ }', '{ q₃ }', '{ q₃ }', '{ q₃ }'] };]]></script>
 516 <rect id="node106" onclick="activate('node106');" x="5490" y="250"width="70" height="22" style="fill:rgb(5,3,12);stroke:rgb(0,0,0);stroke-width:2;stroke-dasharray:2,2"/><text x="5500" y="265" style="fill:rgb(255,255,255);font-size:17;font-family:typewriter;" onclick="activate('node106');" >@post</text>
 517 <line x1="5560" y1="261" x2="5560" y2="261"style="stroke:rgb(0,0,0);stroke-width:2"/>
 518 <script type='text/javascript'><![CDATA[ tree['node107'] = { marked: false, fc: 'node-1', ns: 'node-1', par: 'node103', ps: 'node106', max: 0, dlist: ['{ q₃ }', '{  }', '{  }', '{  }'], flist: ['{ q₃ }', '{ q₃ }', '{ q₃ }', '{ q₃ }'] };]]></script>
 519 <rect id="node107" onclick="activate('node107');" x="5560" y="250"width="70" height="22" style="fill:rgb(5,3,12);stroke:rgb(0,0,0);stroke-width:2;stroke-dasharray:2,2"/><text x="5570" y="265" style="fill:rgb(255,255,255);font-size:17;font-family:typewriter;" onclick="activate('node107');" >#text</text>
 520 <line x1="5410" y1="221" x2="5640" y2="221"style="stroke:rgb(0,0,0);stroke-width:2"/>
 521 <script type='text/javascript'><![CDATA[ tree['node108'] = { marked: false, fc: 'node109', ns: 'node-1', par: 'node99', ps: 'node103', max: 0, dlist: ['{ q₃ }', '{  }', '{  }', '{  }'], flist: ['{ q₃ }', '{ q₃ }', '{ q₃ }', '{ q₃ }'] };]]></script>
 522 <rect id="node108" onclick="activate('node108');" x="5640" y="210"width="30" height="22" style="fill:rgb(5,3,12);stroke:rgb(0,0,0);stroke-width:2;stroke-dasharray:2,2"/><text x="5650" y="225" style="fill:rgb(255,255,255);font-size:17;font-family:typewriter;" onclick="activate('node108');" >W</text>
 523 <script type='text/javascript'><![CDATA[ tree['node109'] = { marked: false, fc: 'node-1', ns: 'node110', par: 'node108', ps: 'node-1', max: 0, dlist: ['{ q₃ }', '{  }', '{  }', '{  }'], flist: ['{ q₃ }', '{ q₃ }', '{ q₃ }', '{ q₃ }'] };]]></script>
 524 <rect id="node109" onclick="activate('node109');" x="5640" y="250"width="50" height="22" style="fill:rgb(5,3,12);stroke:rgb(0,0,0);stroke-width:2;stroke-dasharray:2,2"/><text x="5650" y="265" style="fill:rgb(255,255,255);font-size:17;font-family:typewriter;" onclick="activate('node109');" >@id</text>
 525 <line x1="5665" y1="232" x2="5665" y2="250"style="stroke:rgb(0,0,0);stroke-width:2"/>
 526 <line x1="5690" y1="261" x2="5690" y2="261"style="stroke:rgb(0,0,0);stroke-width:2"/>
 527 <script type='text/javascript'><![CDATA[ tree['node110'] = { marked: false, fc: 'node-1', ns: 'node111', par: 'node108', ps: 'node109', max: 0, dlist: ['{ q₃ }', '{  }', '{  }', '{  }'], flist: ['{ q₃ }', '{ q₃ }', '{ q₃ }', '{ q₃ }'] };]]></script>
 528 <rect id="node110" onclick="activate('node110');" x="5690" y="250"width="60" height="22" style="fill:rgb(5,3,12);stroke:rgb(0,0,0);stroke-width:2;stroke-dasharray:2,2"/><text x="5700" y="265" style="fill:rgb(255,255,255);font-size:17;font-family:typewriter;" onclick="activate('node110');" >@pre</text>
 529 <line x1="5750" y1="261" x2="5750" y2="261"style="stroke:rgb(0,0,0);stroke-width:2"/>
 530 <script type='text/javascript'><![CDATA[ tree['node111'] = { marked: false, fc: 'node-1', ns: 'node112', par: 'node108', ps: 'node110', max: 0, dlist: ['{ q₃ }', '{  }', '{  }', '{  }'], flist: ['{ q₃ }', '{ q₃ }', '{ q₃ }', '{ q₃ }'] };]]></script>
 531 <rect id="node111" onclick="activate('node111');" x="5750" y="250"width="70" height="22" style="fill:rgb(5,3,12);stroke:rgb(0,0,0);stroke-width:2;stroke-dasharray:2,2"/><text x="5760" y="265" style="fill:rgb(255,255,255);font-size:17;font-family:typewriter;" onclick="activate('node111');" >@post</text>
 532 <line x1="5820" y1="261" x2="5820" y2="261"style="stroke:rgb(0,0,0);stroke-width:2"/>
 533 <script type='text/javascript'><![CDATA[ tree['node112'] = { marked: false, fc: 'node-1', ns: 'node-1', par: 'node108', ps: 'node111', max: 0, dlist: ['{ q₃ }', '{  }', '{  }', '{  }'], flist: ['{ q₃ }', '{ q₃ }', '{ q₃ }', '{ q₃ }'] };]]></script>
 534 <rect id="node112" onclick="activate('node112');" x="5820" y="250"width="70" height="22" style="fill:rgb(5,3,12);stroke:rgb(0,0,0);stroke-width:2;stroke-dasharray:2,2"/><text x="5830" y="265" style="fill:rgb(255,255,255);font-size:17;font-family:typewriter;" onclick="activate('node112');" >#text</text>
 535 <line x1="1080" y1="141" x2="5920" y2="141"style="stroke:rgb(0,0,0);stroke-width:2"/>
 536 <script type='text/javascript'><![CDATA[ tree['node113'] = { marked: true, fc: 'node114', ns: 'node-1', par: 'node1', ps: 'node20', max: 2, dlist: ['{ q₃ }', '{  }', '{ q₁₁ q₁₂ q₁₃ }', '{  }'], flist: ['{ q₃ }', '{ q₃ }', '{ q₃ q₁₁ q₁₂ q₁₃ }', '{ q₃ q₁₁ q₁₂ q₁₃ }'] };]]></script>
 537 <rect id="node113" onclick="activate('node113');" x="5920" y="130"width="30" height="22" style="fill:rgb(21,62,252);stroke:rgb(0,0,0);stroke-width:4"/><text x="5930" y="145" style="fill:rgb(255,255,255);font-size:17;font-family:typewriter;" onclick="activate('node113');" >X</text>
 538 <script type='text/javascript'><![CDATA[ tree['node114'] = { marked: false, fc: 'node-1', ns: 'node115', par: 'node113', ps: 'node-1', max: 0, dlist: ['{ q₃ }', '{  }', '{  }', '{  }'], flist: ['{ q₃ }', '{ q₃ }', '{ q₃ }', '{ q₃ }'] };]]></script>
 539 <rect id="node114" onclick="activate('node114');" x="5920" y="170"width="50" height="22" style="fill:rgb(5,3,12);stroke:rgb(0,0,0);stroke-width:2;stroke-dasharray:2,2"/><text x="5930" y="185" style="fill:rgb(255,255,255);font-size:17;font-family:typewriter;" onclick="activate('node114');" >@id</text>
 540 <line x1="5945" y1="152" x2="5945" y2="170"style="stroke:rgb(0,0,0);stroke-width:2"/>
 541 <line x1="5970" y1="181" x2="5970" y2="181"style="stroke:rgb(0,0,0);stroke-width:2"/>
 542 <script type='text/javascript'><![CDATA[ tree['node115'] = { marked: false, fc: 'node-1', ns: 'node116', par: 'node113', ps: 'node114', max: 0, dlist: ['{ q₃ }', '{  }', '{  }', '{  }'], flist: ['{ q₃ }', '{ q₃ }', '{ q₃ }', '{ q₃ }'] };]]></script>
 543 <rect id="node115" onclick="activate('node115');" x="5970" y="170"width="60" height="22" style="fill:rgb(5,3,12);stroke:rgb(0,0,0);stroke-width:2;stroke-dasharray:2,2"/><text x="5980" y="185" style="fill:rgb(255,255,255);font-size:17;font-family:typewriter;" onclick="activate('node115');" >@pre</text>
 544 <line x1="6030" y1="181" x2="6030" y2="181"style="stroke:rgb(0,0,0);stroke-width:2"/>
 545 <script type='text/javascript'><![CDATA[ tree['node116'] = { marked: false, fc: 'node-1', ns: 'node117', par: 'node113', ps: 'node115', max: 0, dlist: ['{ q₃ }', '{  }', '{  }', '{  }'], flist: ['{ q₃ }', '{ q₃ }', '{ q₃ }', '{ q₃ }'] };]]></script>
 546 <rect id="node116" onclick="activate('node116');" x="6030" y="170"width="70" height="22" style="fill:rgb(5,3,12);stroke:rgb(0,0,0);stroke-width:2;stroke-dasharray:2,2"/><text x="6040" y="185" style="fill:rgb(255,255,255);font-size:17;font-family:typewriter;" onclick="activate('node116');" >@post</text>
 547 <line x1="6100" y1="181" x2="6100" y2="181"style="stroke:rgb(0,0,0);stroke-width:2"/>
 548 <script type='text/javascript'><![CDATA[ tree['node117'] = { marked: false, fc: 'node118', ns: 'node122', par: 'node113', ps: 'node116', max: 0, dlist: ['{ q₃ }', '{  }', '{  }', '{  }'], flist: ['{ q₃ }', '{ q₃ }', '{ q₃ }', '{ q₃ }'] };]]></script>
 549 <rect id="node117" onclick="activate('node117');" x="6100" y="170"width="30" height="22" style="fill:rgb(5,3,12);stroke:rgb(0,0,0);stroke-width:2;stroke-dasharray:2,2"/><text x="6110" y="185" style="fill:rgb(255,255,255);font-size:17;font-family:typewriter;" onclick="activate('node117');" >Y</text>
 550 <script type='text/javascript'><![CDATA[ tree['node118'] = { marked: false, fc: 'node-1', ns: 'node119', par: 'node117', ps: 'node-1', max: 0, dlist: ['{ q₃ }', '{  }', '{  }', '{  }'], flist: ['{ q₃ }', '{ q₃ }', '{ q₃ }', '{ q₃ }'] };]]></script>
 551 <rect id="node118" onclick="activate('node118');" x="6100" y="210"width="50" height="22" style="fill:rgb(5,3,12);stroke:rgb(0,0,0);stroke-width:2;stroke-dasharray:2,2"/><text x="6110" y="225" style="fill:rgb(255,255,255);font-size:17;font-family:typewriter;" onclick="activate('node118');" >@id</text>
 552 <line x1="6125" y1="192" x2="6125" y2="210"style="stroke:rgb(0,0,0);stroke-width:2"/>
 553 <line x1="6150" y1="221" x2="6150" y2="221"style="stroke:rgb(0,0,0);stroke-width:2"/>
 554 <script type='text/javascript'><![CDATA[ tree['node119'] = { marked: false, fc: 'node-1', ns: 'node120', par: 'node117', ps: 'node118', max: 0, dlist: ['{ q₃ }', '{  }', '{  }', '{  }'], flist: ['{ q₃ }', '{ q₃ }', '{ q₃ }', '{ q₃ }'] };]]></script>
 555 <rect id="node119" onclick="activate('node119');" x="6150" y="210"width="60" height="22" style="fill:rgb(5,3,12);stroke:rgb(0,0,0);stroke-width:2;stroke-dasharray:2,2"/><text x="6160" y="225" style="fill:rgb(255,255,255);font-size:17;font-family:typewriter;" onclick="activate('node119');" >@pre</text>
 556 <line x1="6210" y1="221" x2="6210" y2="221"style="stroke:rgb(0,0,0);stroke-width:2"/>
 557 <script type='text/javascript'><![CDATA[ tree['node120'] = { marked: false, fc: 'node-1', ns: 'node121', par: 'node117', ps: 'node119', max: 0, dlist: ['{ q₃ }', '{  }', '{  }', '{  }'], flist: ['{ q₃ }', '{ q₃ }', '{ q₃ }', '{ q₃ }'] };]]></script>
 558 <rect id="node120" onclick="activate('node120');" x="6210" y="210"width="70" height="22" style="fill:rgb(5,3,12);stroke:rgb(0,0,0);stroke-width:2;stroke-dasharray:2,2"/><text x="6220" y="225" style="fill:rgb(255,255,255);font-size:17;font-family:typewriter;" onclick="activate('node120');" >@post</text>
 559 <line x1="6280" y1="221" x2="6280" y2="221"style="stroke:rgb(0,0,0);stroke-width:2"/>
 560 <script type='text/javascript'><![CDATA[ tree['node121'] = { marked: false, fc: 'node-1', ns: 'node-1', par: 'node117', ps: 'node120', max: 0, dlist: ['{ q₃ }', '{  }', '{  }', '{  }'], flist: ['{ q₃ }', '{ q₃ }', '{ q₃ }', '{ q₃ }'] };]]></script>
 561 <rect id="node121" onclick="activate('node121');" x="6280" y="210"width="70" height="22" style="fill:rgb(5,3,12);stroke:rgb(0,0,0);stroke-width:2;stroke-dasharray:2,2"/><text x="6290" y="225" style="fill:rgb(255,255,255);font-size:17;font-family:typewriter;" onclick="activate('node121');" >#text</text>
 562 <line x1="6130" y1="181" x2="6360" y2="181"style="stroke:rgb(0,0,0);stroke-width:2"/>
 563 <script type='text/javascript'><![CDATA[ tree['node122'] = { marked: false, fc: 'node123', ns: 'node-1', par: 'node113', ps: 'node117', max: 0, dlist: ['{ q₃ }', '{  }', '{  }', '{  }'], flist: ['{ q₃ }', '{ q₃ }', '{ q₃ }', '{ q₃ }'] };]]></script>
 564 <rect id="node122" onclick="activate('node122');" x="6360" y="170"width="30" height="22" style="fill:rgb(5,3,12);stroke:rgb(0,0,0);stroke-width:2;stroke-dasharray:2,2"/><text x="6370" y="185" style="fill:rgb(255,255,255);font-size:17;font-family:typewriter;" onclick="activate('node122');" >Z</text>
 565 <script type='text/javascript'><![CDATA[ tree['node123'] = { marked: false, fc: 'node-1', ns: 'node124', par: 'node122', ps: 'node-1', max: 0, dlist: ['{ q₃ }', '{  }', '{  }', '{  }'], flist: ['{ q₃ }', '{ q₃ }', '{ q₃ }', '{ q₃ }'] };]]></script>
 566 <rect id="node123" onclick="activate('node123');" x="6360" y="210"width="50" height="22" style="fill:rgb(5,3,12);stroke:rgb(0,0,0);stroke-width:2;stroke-dasharray:2,2"/><text x="6370" y="225" style="fill:rgb(255,255,255);font-size:17;font-family:typewriter;" onclick="activate('node123');" >@id</text>
 567 <line x1="6385" y1="192" x2="6385" y2="210"style="stroke:rgb(0,0,0);stroke-width:2"/>
 568 <line x1="6410" y1="221" x2="6410" y2="221"style="stroke:rgb(0,0,0);stroke-width:2"/>
 569 <script type='text/javascript'><![CDATA[ tree['node124'] = { marked: false, fc: 'node-1', ns: 'node125', par: 'node122', ps: 'node123', max: 0, dlist: ['{ q₃ }', '{  }', '{  }', '{  }'], flist: ['{ q₃ }', '{ q₃ }', '{ q₃ }', '{ q₃ }'] };]]></script>
 570 <rect id="node124" onclick="activate('node124');" x="6410" y="210"width="60" height="22" style="fill:rgb(5,3,12);stroke:rgb(0,0,0);stroke-width:2;stroke-dasharray:2,2"/><text x="6420" y="225" style="fill:rgb(255,255,255);font-size:17;font-family:typewriter;" onclick="activate('node124');" >@pre</text>
 571 <line x1="6470" y1="221" x2="6470" y2="221"style="stroke:rgb(0,0,0);stroke-width:2"/>
 572 <script type='text/javascript'><![CDATA[ tree['node125'] = { marked: false, fc: 'node-1', ns: 'node126', par: 'node122', ps: 'node124', max: 0, dlist: ['{ q₃ }', '{  }', '{  }', '{  }'], flist: ['{ q₃ }', '{ q₃ }', '{ q₃ }', '{ q₃ }'] };]]></script>
 573 <rect id="node125" onclick="activate('node125');" x="6470" y="210"width="70" height="22" style="fill:rgb(5,3,12);stroke:rgb(0,0,0);stroke-width:2;stroke-dasharray:2,2"/><text x="6480" y="225" style="fill:rgb(255,255,255);font-size:17;font-family:typewriter;" onclick="activate('node125');" >@post</text>
 574 <line x1="6540" y1="221" x2="6540" y2="221"style="stroke:rgb(0,0,0);stroke-width:2"/>
 575 <script type='text/javascript'><![CDATA[ tree['node126'] = { marked: false, fc: 'node-1', ns: 'node127', par: 'node122', ps: 'node125', max: 0, dlist: ['{ q₃ }', '{  }', '{  }', '{  }'], flist: ['{ q₃ }', '{ q₃ }', '{ q₃ }', '{ q₃ }'] };]]></script>
 576 <rect id="node126" onclick="activate('node126');" x="6540" y="210"width="90" height="22" style="fill:rgb(5,3,12);stroke:rgb(0,0,0);stroke-width:2;stroke-dasharray:2,2"/><text x="6550" y="225" style="fill:rgb(255,255,255);font-size:17;font-family:typewriter;" onclick="activate('node126');" >@idrefs</text>
 577 <line x1="6630" y1="221" x2="6630" y2="221"style="stroke:rgb(0,0,0);stroke-width:2"/>
 578 <script type='text/javascript'><![CDATA[ tree['node127'] = { marked: false, fc: 'node-1', ns: 'node128', par: 'node122', ps: 'node126', max: 0, dlist: ['{ q₃ }', '{  }', '{  }', '{  }'], flist: ['{ q₃ }', '{ q₃ }', '{ q₃ }', '{ q₃ }'] };]]></script>
 579 <rect id="node127" onclick="activate('node127');" x="6630" y="210"width="110" height="22" style="fill:rgb(5,3,12);stroke:rgb(0,0,0);stroke-width:2;stroke-dasharray:2,2"/><text x="6640" y="225" style="fill:rgb(255,255,255);font-size:17;font-family:typewriter;" onclick="activate('node127');" >@xml:lang</text>
 580 <line x1="6740" y1="221" x2="6740" y2="221"style="stroke:rgb(0,0,0);stroke-width:2"/>
 581 <script type='text/javascript'><![CDATA[ tree['node128'] = { marked: false, fc: 'node-1', ns: 'node-1', par: 'node122', ps: 'node127', max: 0, dlist: ['{ q₃ }', '{  }', '{  }', '{  }'], flist: ['{ q₃ }', '{ q₃ }', '{ q₃ }', '{ q₃ }'] };]]></script>
 582 <rect id="node128" onclick="activate('node128');" x="6740" y="210"width="70" height="22" style="fill:rgb(5,3,12);stroke:rgb(0,0,0);stroke-width:2;stroke-dasharray:2,2"/><text x="6750" y="225" style="fill:rgb(255,255,255);font-size:17;font-family:typewriter;" onclick="activate('node128');" >#text</text>
 583 <line x1="65" y1="72" x2="65" y2="90"style="stroke:rgb(0,0,0);stroke-width:2"/>
 584 </svg>
 585 </div></div><script type='text/javascript'>
 586 window.onload = function () {
 587 var svg = document.getElementById('svgimg');
 588 svg.setAttribute('width', 6850);
 589 svg.setAttribute('height', 330);
 590 activate('node0');
 591 };
 592
 593 </script></body></html>