repos / INblobs / headblob
summary | shortlog | log | tree | annotate | headblob | filehistory
plain
/ examples /
examples/LafontAritmetic.INblobs
1 <Document
2 ><Network Width="15.0" Height="9.0"
3 ><Info
4 ><unit/></Info
5 ><Nodes
6 ><Node id="N1"
7 ><Position X="3.2014583333333335" Y="2.143125"
8 /><Name
9 ><![CDATA[Node 1]]></Name
10 ><LabelAbove
11 >True</LabelAbove
12 ><Shape
13 ><![CDATA[Add]]></Shape
14 ><Info
15 ><list-int/></Info></Node
16 ><Node id="N2"
17 ><Position X="2.3283333333333336" Y="3.65125"
18 /><Name
19 ><![CDATA[Node 2]]></Name
20 ><LabelAbove
21 >True</LabelAbove
22 ><Shape
23 ><![CDATA[S]]></Shape
24 ><Info
25 ><list-int/></Info></Node
26 ><Node id="N3"
27 ><Position X="2.3283333333333336" Y="5.3975"
28 /><Name
29 ><![CDATA[Node 3]]></Name
30 ><LabelAbove
31 >True</LabelAbove
32 ><Shape
33 ><![CDATA[Z]]></Shape
34 ><Info
35 ><list-int/></Info></Node
36 ><Node id="N4"
37 ><Position X="3.7041666666666675" Y="4.153958333333334"
38 /><Name
39 ><![CDATA[Node 4]]></Name
40 ><LabelAbove
41 >True</LabelAbove
42 ><Shape
43 ><![CDATA[Z]]></Shape
44 ><Info
45 ><list-int/></Info></Node
46 ><Node id="N5"
47 ><Position X="3.2279166666666668" Y="0.6085416666666668"
48 /><Name
49 ><![CDATA[Node 5]]></Name
50 ><LabelAbove
51 >True</LabelAbove
52 ><Shape
53 ><![CDATA[interface]]></Shape
54 ><Info
55 ><list-int/></Info></Node></Nodes
56 ><Edges
57 ><Edge id="E1"
58 ><From
59 >1</From
60 ><PortFrom
61 ><![CDATA[up]]></PortFrom
62 ><To
63 >5</To
64 ><PortTo
65 ><![CDATA[interface]]></PortTo
66 ><Via
67 /><Info
68 ><list-int/></Info></Edge
69 ><Edge id="E2"
70 ><From
71 >2</From
72 ><PortFrom
73 ><![CDATA[up]]></PortFrom
74 ><To
75 >1</To
76 ><PortTo
77 ><![CDATA[left]]></PortTo
78 ><Via
79 /><Info
80 ><list-int/></Info></Edge
81 ><Edge id="E3"
82 ><From
83 >2</From
84 ><PortFrom
85 ><![CDATA[down]]></PortFrom
86 ><To
87 >3</To
88 ><PortTo
89 ><![CDATA[up]]></PortTo
90 ><Via
91 /><Info
92 ><list-int/></Info></Edge
93 ><Edge id="E4"
94 ><From
95 >4</From
96 ><PortFrom
97 ><![CDATA[up]]></PortFrom
98 ><To
99 >1</To
100 ><PortTo
101 ><![CDATA[right]]></PortTo
102 ><Via
103 /><Info
104 ><list-int/></Info></Edge></Edges></Network
105 ><Palette
106 ><Symbol
107 ><ShapeName
108 ><![CDATA[interface]]></ShapeName
109 ><Shape
110 ><Circle
111 ><ShapeStyle
112 ><int value="2"
113 /><RGB R="255" G="255" B="255"
114 /><RGB R="255" G="255" B="255"/></ShapeStyle
115 ><double value="0.25"/></Circle></Shape
116 ><Ports
117 ><Principals
118 ><Port
119 ><string
120 ><![CDATA[interface]]></string
121 ><Position X="0.0" Y="0.25"/></Port></Principals
122 ><Auxiliaries/></Ports
123 ><Info
124 ><maybe-list-int
125 ><list-int/></maybe-list-int></Info></Symbol
126 ><Symbol
127 ><ShapeName
128 ><![CDATA[Add]]></ShapeName
129 ><Shape
130 ><TextInEllipse
131 ><ShapeStyle
132 ><int value="2"
133 /><RGB R="250" G="0" B="0"
134 /><RGB R="255" G="255" B="255"/></ShapeStyle
135 ><string
136 ><![CDATA["+"]]></string></TextInEllipse></Shape
137 ><Ports
138 ><Principals
139 ><Port
140 ><string
141 ><![CDATA[left]]></string
142 ><Position X="-0.5" Y="0.0"/></Port></Principals
143 ><Auxiliaries
144 ><Port
145 ><string
146 ><![CDATA[up]]></string
147 ><Position X="0.0" Y="-0.5"/></Port
148 ><Port
149 ><string
150 ><![CDATA[right]]></string
151 ><Position X="0.5" Y="0.0"/></Port></Auxiliaries></Ports
152 ><Info
153 ><maybe-list-int
154 ><list-int/></maybe-list-int></Info></Symbol
155 ><Symbol
156 ><ShapeName
157 ><![CDATA[Z]]></ShapeName
158 ><Shape
159 ><TextInEllipse
160 ><ShapeStyle
161 ><int value="2"
162 /><RGB R="250" G="0" B="0"
163 /><RGB R="255" G="255" B="255"/></ShapeStyle
164 ><string
165 ><![CDATA["0"]]></string></TextInEllipse></Shape
166 ><Ports
167 ><Principals
168 ><Port
169 ><string
170 ><![CDATA[up]]></string
171 ><Position X="0.0" Y="-0.5"/></Port></Principals
172 ><Auxiliaries/></Ports
173 ><Info
174 ><maybe-list-int
175 ><list-int/></maybe-list-int></Info></Symbol
176 ><Symbol
177 ><ShapeName
178 ><![CDATA[S]]></ShapeName
179 ><Shape
180 ><TextInEllipse
181 ><ShapeStyle
182 ><int value="2"
183 /><RGB R="250" G="0" B="0"
184 /><RGB R="255" G="255" B="255"/></ShapeStyle
185 ><string
186 ><![CDATA["S"]]></string></TextInEllipse></Shape
187 ><Ports
188 ><Principals
189 ><Port
190 ><string
191 ><![CDATA[up]]></string
192 ><Position X="0.0" Y="-0.5"/></Port></Principals
193 ><Auxiliaries
194 ><Port
195 ><string
196 ><![CDATA[down]]></string
197 ><Position X="0.0" Y="0.5"/></Port></Auxiliaries></Ports
198 ><Info
199 ><maybe-list-int
200 ><list-int/></maybe-list-int></Info></Symbol
201 ><Symbol
202 ><ShapeName
203 ><![CDATA[Mult]]></ShapeName
204 ><Shape
205 ><TextInEllipse
206 ><ShapeStyle
207 ><int value="2"
208 /><RGB R="250" G="0" B="0"
209 /><RGB R="255" G="255" B="255"/></ShapeStyle
210 ><string
211 ><![CDATA["x"]]></string></TextInEllipse></Shape
212 ><Ports
213 ><Principals
214 ><Port
215 ><string
216 ><![CDATA[left]]></string
217 ><Position X="-0.5" Y="0.0"/></Port></Principals
218 ><Auxiliaries
219 ><Port
220 ><string
221 ><![CDATA[up]]></string
222 ><Position X="0.0" Y="-0.5"/></Port
223 ><Port
224 ><string
225 ><![CDATA[right]]></string
226 ><Position X="0.5" Y="0.0"/></Port></Auxiliaries></Ports
227 ><Info
228 ><maybe-list-int
229 ><list-int/></maybe-list-int></Info></Symbol
230 ><Symbol
231 ><ShapeName
232 ><![CDATA[Max]]></ShapeName
233 ><Shape
234 ><TextInEllipse
235 ><ShapeStyle
236 ><int value="2"
237 /><RGB R="250" G="0" B="0"
238 /><RGB R="255" G="255" B="255"/></ShapeStyle
239 ><string
240 ><![CDATA["Max"]]></string></TextInEllipse></Shape
241 ><Ports
242 ><Principals
243 ><Port
244 ><string
245 ><![CDATA[left]]></string
246 ><Position X="-0.5" Y="0.0"/></Port></Principals
247 ><Auxiliaries
248 ><Port
249 ><string
250 ><![CDATA[up]]></string
251 ><Position X="0.0" Y="-0.5"/></Port
252 ><Port
253 ><string
254 ><![CDATA[right]]></string
255 ><Position X="0.5" Y="0.0"/></Port></Auxiliaries></Ports
256 ><Info
257 ><maybe-list-int
258 ><list-int/></maybe-list-int></Info></Symbol
259 ><Symbol
260 ><ShapeName
261 ><![CDATA[Dupl]]></ShapeName
262 ><Shape
263 ><TextInEllipse
264 ><ShapeStyle
265 ><int value="2"
266 /><RGB R="250" G="0" B="0"
267 /><RGB R="255" G="255" B="255"/></ShapeStyle
268 ><string
269 ><![CDATA["Dupl"]]></string></TextInEllipse></Shape
270 ><Ports
271 ><Principals
272 ><Port
273 ><string
274 ><![CDATA[down]]></string
275 ><Position X="0.0" Y="0.5"/></Port></Principals
276 ><Auxiliaries
277 ><Port
278 ><string
279 ><![CDATA[left]]></string
280 ><Position X="-0.5" Y="0.0"/></Port
281 ><Port
282 ><string
283 ><![CDATA[right]]></string
284 ><Position X="0.5" Y="0.0"/></Port></Auxiliaries></Ports
285 ><Info
286 ><maybe-list-int
287 ><list-int/></maybe-list-int></Info></Symbol
288 ><Symbol
289 ><ShapeName
290 ><![CDATA[Aux]]></ShapeName
291 ><Shape
292 ><TextInEllipse
293 ><ShapeStyle
294 ><int value="2"
295 /><RGB R="250" G="0" B="0"
296 /><RGB R="255" G="255" B="255"/></ShapeStyle
297 ><string
298 ><![CDATA["Aux"]]></string></TextInEllipse></Shape
299 ><Ports
300 ><Principals
301 ><Port
302 ><string
303 ><![CDATA[right]]></string
304 ><Position X="0.5" Y="0.0"/></Port></Principals
305 ><Auxiliaries
306 ><Port
307 ><string
308 ><![CDATA[left]]></string
309 ><Position X="-0.5" Y="0.0"/></Port
310 ><Port
311 ><string
312 ><![CDATA[up]]></string
313 ><Position X="0.0" Y="-0.5"/></Port></Auxiliaries></Ports
314 ><Info
315 ><maybe-list-int
316 ><list-int/></maybe-list-int></Info></Symbol
317 ><Symbol
318 ><ShapeName
319 ><![CDATA[Erase]]></ShapeName
320 ><Shape
321 ><Composite
322 ><list-Shape
323 ><Circle
324 ><ShapeStyle
325 ><int value="2"
326 /><RGB R="250" G="0" B="0"
327 /><RGB R="255" G="255" B="255"/></ShapeStyle
328 ><double value="0.5"/></Circle
329 ><Arc
330 ><ShapeStyle
331 ><int value="2"
332 /><RGB R="250" G="0" B="0"
333 /><RGB R="255" G="255" B="255"/></ShapeStyle
334 ><double value="0.2"
335 /><double value="90.0"
336 /><double value="270.0"
337 /><Position X="0.0" Y="-0.18"/></Arc
338 ><Arc
339 ><ShapeStyle
340 ><int value="2"
341 /><RGB R="250" G="0" B="0"
342 /><RGB R="255" G="255" B="255"/></ShapeStyle
343 ><double value="0.2"
344 /><double value="90.0"
345 /><double value="270.0"
346 /><Position X="0.0"
347 Y="0.18"/></Arc></list-Shape></Composite></Shape
348 ><Ports
349 ><Principals
350 ><Port
351 ><string
352 ><![CDATA[down]]></string
353 ><Position X="0.0" Y="0.5"/></Port></Principals
354 ><Auxiliaries/></Ports
355 ><Info
356 ><maybe-list-int
357 ><list-int/></maybe-list-int></Info></Symbol></Palette
358 ><Rules
359 ><INRule
360 ><Name
361 ><![CDATA[add_zero]]></Name
362 ><LHS
363 ><Network Width="15.0" Height="9.0"
364 ><Info
365 ><unit/></Info
366 ><Nodes
367 ><Node id="N1"
368 ><Position X="4.0" Y="2.0"
369 /><Name
370 ><![CDATA[Node 1]]></Name
371 ><LabelAbove
372 >True</LabelAbove
373 ><Shape
374 ><![CDATA[Add]]></Shape
375 ><Info
376 ><list-int/></Info></Node
377 ><Node id="N2"
378 ><Position X="2.0" Y="4.0"
379 /><Name
380 ><![CDATA[Node 2]]></Name
381 ><LabelAbove
382 >True</LabelAbove
383 ><Shape
384 ><![CDATA[Z]]></Shape
385 ><Info
386 ><list-int/></Info></Node
387 ><Node id="N3"
388 ><Position X="4.018958333333334" Y="0.42062499999999997"
389 /><Name
390 ><![CDATA[Node 3]]></Name
391 ><LabelAbove
392 >True</LabelAbove
393 ><Shape
394 ><![CDATA[interface]]></Shape
395 ><Info
396 ><list-int/></Info></Node
397 ><Node id="N4"
398 ><Position X="5.8656250000000005" Y="3.966041666666667"
399 /><Name
400 ><![CDATA[Node 4]]></Name
401 ><LabelAbove
402 >True</LabelAbove
403 ><Shape
404 ><![CDATA[interface]]></Shape
405 ><Info
406 ><list-int/></Info></Node></Nodes
407 ><Edges
408 ><Edge id="E1"
409 ><From
410 >1</From
411 ><PortFrom
412 ><![CDATA[left]]></PortFrom
413 ><To
414 >2</To
415 ><PortTo
416 ><![CDATA[up]]></PortTo
417 ><Via
418 /><Info
419 ><list-int/></Info></Edge
420 ><Edge id="E2"
421 ><From
422 >1</From
423 ><PortFrom
424 ><![CDATA[right]]></PortFrom
425 ><To
426 >4</To
427 ><PortTo
428 ><![CDATA[interface]]></PortTo
429 ><Via
430 /><Info
431 ><list-int/></Info></Edge
432 ><Edge id="E3"
433 ><From
434 >1</From
435 ><PortFrom
436 ><![CDATA[up]]></PortFrom
437 ><To
438 >3</To
439 ><PortTo
440 ><![CDATA[interface]]></PortTo
441 ><Via
442 /><Info
443 ><list-int/></Info></Edge></Edges></Network></LHS
444 ><RHS
445 ><Network Width="15.0" Height="9.0"
446 ><Info
447 ><unit/></Info
448 ><Nodes
449 ><Node id="N3"
450 ><Position X="4.018958333333334" Y="0.42062499999999997"
451 /><Name
452 ><![CDATA[Node 3]]></Name
453 ><LabelAbove
454 >True</LabelAbove
455 ><Shape
456 ><![CDATA[interface]]></Shape
457 ><Info
458 ><list-int/></Info></Node
459 ><Node id="N4"
460 ><Position X="5.8656250000000005" Y="3.966041666666667"
461 /><Name
462 ><![CDATA[Node 4]]></Name
463 ><LabelAbove
464 >True</LabelAbove
465 ><Shape
466 ><![CDATA[interface]]></Shape
467 ><Info
468 ><list-int/></Info></Node></Nodes
469 ><Edges
470 ><Edge id="E1"
471 ><From
472 >3</From
473 ><PortFrom
474 ><![CDATA[interface]]></PortFrom
475 ><To
476 >4</To
477 ><PortTo
478 ><![CDATA[interface]]></PortTo
479 ><Via
480 /><Info
481 ><list-int/></Info></Edge></Edges></Network></RHS
482 ><Mapping
483 ><MappingElement lhs="3" rhs="3"
484 /><MappingElement lhs="4" rhs="4"/></Mapping></INRule
485 ><INRule
486 ><Name
487 ><![CDATA[add_succ]]></Name
488 ><LHS
489 ><Network Width="15.0" Height="9.0"
490 ><Info
491 ><unit/></Info
492 ><Nodes
493 ><Node id="N1"
494 ><Position X="4.0" Y="2.0"
495 /><Name
496 ><![CDATA[Node 1]]></Name
497 ><LabelAbove
498 >True</LabelAbove
499 ><Shape
500 ><![CDATA[Add]]></Shape
501 ><Info
502 ><list-int/></Info></Node
503 ><Node id="N2"
504 ><Position X="2.0" Y="4.0"
505 /><Name
506 ><![CDATA[Node 2]]></Name
507 ><LabelAbove
508 >True</LabelAbove
509 ><Shape
510 ><![CDATA[S]]></Shape
511 ><Info
512 ><list-int/></Info></Node
513 ><Node id="N3"
514 ><Position X="4.018958333333334" Y="0.36770833333333325"
515 /><Name
516 ><![CDATA[Node 3]]></Name
517 ><LabelAbove
518 >True</LabelAbove
519 ><Shape
520 ><![CDATA[interface]]></Shape
521 ><Info
522 ><list-int/></Info></Node
523 ><Node id="N4"
524 ><Position X="5.945" Y="5.024375000000001"
525 /><Name
526 ><![CDATA[Node 4]]></Name
527 ><LabelAbove
528 >True</LabelAbove
529 ><Shape
530 ><![CDATA[interface]]></Shape
531 ><Info
532 ><list-int/></Info></Node
533 ><Node id="N5"
534 ><Position X="0.8175" Y="4.944375"
535 /><Name
536 ><![CDATA[Node 5]]></Name
537 ><LabelAbove
538 >True</LabelAbove
539 ><Shape
540 ><![CDATA[interface]]></Shape
541 ><Info
542 ><list-int/></Info></Node></Nodes
543 ><Edges
544 ><Edge id="E1"
545 ><From
546 >1</From
547 ><PortFrom
548 ><![CDATA[left]]></PortFrom
549 ><To
550 >2</To
551 ><PortTo
552 ><![CDATA[up]]></PortTo
553 ><Via
554 /><Info
555 ><list-int/></Info></Edge
556 ><Edge id="E2"
557 ><From
558 >1</From
559 ><PortFrom
560 ><![CDATA[right]]></PortFrom
561 ><To
562 >4</To
563 ><PortTo
564 ><![CDATA[interface]]></PortTo
565 ><Via
566 /><Info
567 ><list-int/></Info></Edge
568 ><Edge id="E3"
569 ><From
570 >1</From
571 ><PortFrom
572 ><![CDATA[up]]></PortFrom
573 ><To
574 >3</To
575 ><PortTo
576 ><![CDATA[interface]]></PortTo
577 ><Via
578 /><Info
579 ><list-int/></Info></Edge
580 ><Edge id="E4"
581 ><From
582 >2</From
583 ><PortFrom
584 ><![CDATA[down]]></PortFrom
585 ><To
586 >5</To
587 ><PortTo
588 ><![CDATA[interface]]></PortTo
589 ><Via
590 /><Info
591 ><list-int/></Info></Edge></Edges></Network></LHS
592 ><RHS
593 ><Network Width="15.0" Height="9.0"
594 ><Info
595 ><unit/></Info
596 ><Nodes
597 ><Node id="N3"
598 ><Position X="4.018958333333334" Y="0.36770833333333325"
599 /><Name
600 ><![CDATA[Node 3]]></Name
601 ><LabelAbove
602 >True</LabelAbove
603 ><Shape
604 ><![CDATA[interface]]></Shape
605 ><Info
606 ><list-int/></Info></Node
607 ><Node id="N4"
608 ><Position X="5.945" Y="5.024375000000001"
609 /><Name
610 ><![CDATA[Node 4]]></Name
611 ><LabelAbove
612 >True</LabelAbove
613 ><Shape
614 ><![CDATA[interface]]></Shape
615 ><Info
616 ><list-int/></Info></Node
617 ><Node id="N5"
618 ><Position X="0.8175" Y="4.944375"
619 /><Name
620 ><![CDATA[Node 5]]></Name
621 ><LabelAbove
622 >True</LabelAbove
623 ><Shape
624 ><![CDATA[interface]]></Shape
625 ><Info
626 ><list-int/></Info></Node
627 ><Node id="N6"
628 ><Position X="3.995208333333334" Y="1.7462500000000003"
629 /><Name
630 ><![CDATA[Node 6]]></Name
631 ><LabelAbove
632 >True</LabelAbove
633 ><Shape
634 ><![CDATA[S]]></Shape
635 ><Info
636 ><list-int/></Info></Node
637 ><Node id="N7"
638 ><Position X="3.96875" Y="3.783541666666667"
639 /><Name
640 ><![CDATA[Node 7]]></Name
641 ><LabelAbove
642 >True</LabelAbove
643 ><Shape
644 ><![CDATA[Add]]></Shape
645 ><Info
646 ><list-int/></Info></Node></Nodes
647 ><Edges
648 ><Edge id="E1"
649 ><From
650 >7</From
651 ><PortFrom
652 ><![CDATA[left]]></PortFrom
653 ><To
654 >5</To
655 ><PortTo
656 ><![CDATA[interface]]></PortTo
657 ><Via
658 /><Info
659 ><list-int/></Info></Edge
660 ><Edge id="E2"
661 ><From
662 >7</From
663 ><PortFrom
664 ><![CDATA[right]]></PortFrom
665 ><To
666 >4</To
667 ><PortTo
668 ><![CDATA[interface]]></PortTo
669 ><Via
670 /><Info
671 ><list-int/></Info></Edge
672 ><Edge id="E3"
673 ><From
674 >3</From
675 ><PortFrom
676 ><![CDATA[interface]]></PortFrom
677 ><To
678 >6</To
679 ><PortTo
680 ><![CDATA[up]]></PortTo
681 ><Via
682 /><Info
683 ><list-int/></Info></Edge
684 ><Edge id="E4"
685 ><From
686 >6</From
687 ><PortFrom
688 ><![CDATA[down]]></PortFrom
689 ><To
690 >7</To
691 ><PortTo
692 ><![CDATA[up]]></PortTo
693 ><Via
694 /><Info
695 ><list-int/></Info></Edge></Edges></Network></RHS
696 ><Mapping
697 ><MappingElement lhs="3" rhs="3"
698 /><MappingElement lhs="4" rhs="4"
699 /><MappingElement lhs="5" rhs="5"/></Mapping></INRule
700 ><INRule
701 ><Name
702 ><![CDATA[mult_zero]]></Name
703 ><LHS
704 ><Network Width="15.0" Height="9.0"
705 ><Info
706 ><unit/></Info
707 ><Nodes
708 ><Node id="N1"
709 ><Position X="4.0" Y="2.0"
710 /><Name
711 ><![CDATA[Node 1]]></Name
712 ><LabelAbove
713 >True</LabelAbove
714 ><Shape
715 ><![CDATA[Mult]]></Shape
716 ><Info
717 ><list-int/></Info></Node
718 ><Node id="N2"
719 ><Position X="2.0" Y="4.0"
720 /><Name
721 ><![CDATA[Node 2]]></Name
722 ><LabelAbove
723 >True</LabelAbove
724 ><Shape
725 ><![CDATA[Z]]></Shape
726 ><Info
727 ><list-int/></Info></Node
728 ><Node id="N3"
729 ><Position X="4.018958333333334" Y="0.5264583333333333"
730 /><Name
731 ><![CDATA[Node 3]]></Name
732 ><LabelAbove
733 >True</LabelAbove
734 ><Shape
735 ><![CDATA[interface]]></Shape
736 ><Info
737 ><list-int/></Info></Node
738 ><Node id="N4"
739 ><Position X="5.706875000000001" Y="4.521666666666667"
740 /><Name
741 ><![CDATA[Node 4]]></Name
742 ><LabelAbove
743 >True</LabelAbove
744 ><Shape
745 ><![CDATA[interface]]></Shape
746 ><Info
747 ><list-int/></Info></Node></Nodes
748 ><Edges
749 ><Edge id="E1"
750 ><From
751 >1</From
752 ><PortFrom
753 ><![CDATA[left]]></PortFrom
754 ><To
755 >2</To
756 ><PortTo
757 ><![CDATA[up]]></PortTo
758 ><Via
759 /><Info
760 ><list-int/></Info></Edge
761 ><Edge id="E2"
762 ><From
763 >1</From
764 ><PortFrom
765 ><![CDATA[right]]></PortFrom
766 ><To
767 >4</To
768 ><PortTo
769 ><![CDATA[interface]]></PortTo
770 ><Via
771 /><Info
772 ><list-int/></Info></Edge
773 ><Edge id="E3"
774 ><From
775 >1</From
776 ><PortFrom
777 ><![CDATA[up]]></PortFrom
778 ><To
779 >3</To
780 ><PortTo
781 ><![CDATA[interface]]></PortTo
782 ><Via
783 /><Info
784 ><list-int/></Info></Edge></Edges></Network></LHS
785 ><RHS
786 ><Network Width="15.0" Height="9.0"
787 ><Info
788 ><unit/></Info
789 ><Nodes
790 ><Node id="N3"
791 ><Position X="4.018958333333334" Y="0.5264583333333333"
792 /><Name
793 ><![CDATA[Node 3]]></Name
794 ><LabelAbove
795 >True</LabelAbove
796 ><Shape
797 ><![CDATA[interface]]></Shape
798 ><Info
799 ><list-int/></Info></Node
800 ><Node id="N4"
801 ><Position X="5.706875000000001" Y="4.548125000000001"
802 /><Name
803 ><![CDATA[Node 4]]></Name
804 ><LabelAbove
805 >True</LabelAbove
806 ><Shape
807 ><![CDATA[interface]]></Shape
808 ><Info
809 ><list-int/></Info></Node
810 ><Node id="N5"
811 ><Position X="4.0216666666666665" Y="2.407708333333334"
812 /><Name
813 ><![CDATA[Node 5]]></Name
814 ><LabelAbove
815 >True</LabelAbove
816 ><Shape
817 ><![CDATA[Z]]></Shape
818 ><Info
819 ><list-int/></Info></Node
820 ><Node id="N6"
821 ><Position X="5.6885416666666675" Y="2.592916666666667"
822 /><Name
823 ><![CDATA[Node 6]]></Name
824 ><LabelAbove
825 >True</LabelAbove
826 ><Shape
827 ><![CDATA[Erase]]></Shape
828 ><Info
829 ><list-int/></Info></Node></Nodes
830 ><Edges
831 ><Edge id="E1"
832 ><From
833 >3</From
834 ><PortFrom
835 ><![CDATA[interface]]></PortFrom
836 ><To
837 >5</To
838 ><PortTo
839 ><![CDATA[up]]></PortTo
840 ><Via
841 /><Info
842 ><list-int/></Info></Edge
843 ><Edge id="E2"
844 ><From
845 >6</From
846 ><PortFrom
847 ><![CDATA[down]]></PortFrom
848 ><To
849 >4</To
850 ><PortTo
851 ><![CDATA[interface]]></PortTo
852 ><Via
853 /><Info
854 ><list-int/></Info></Edge></Edges></Network></RHS
855 ><Mapping
856 ><MappingElement lhs="3" rhs="3"
857 /><MappingElement lhs="4" rhs="4"/></Mapping></INRule
858 ><INRule
859 ><Name
860 ><![CDATA[mult_succ]]></Name
861 ><LHS
862 ><Network Width="15.0" Height="9.0"
863 ><Info
864 ><unit/></Info
865 ><Nodes
866 ><Node id="N1"
867 ><Position X="4.0" Y="2.0"
868 /><Name
869 ><![CDATA[Node 1]]></Name
870 ><LabelAbove
871 >True</LabelAbove
872 ><Shape
873 ><![CDATA[Mult]]></Shape
874 ><Info
875 ><list-int/></Info></Node
876 ><Node id="N2"
877 ><Position X="2.0" Y="4.0"
878 /><Name
879 ><![CDATA[Node 2]]></Name
880 ><LabelAbove
881 >True</LabelAbove
882 ><Shape
883 ><![CDATA[S]]></Shape
884 ><Info
885 ><list-int/></Info></Node
886 ><Node id="N3"
887 ><Position X="4.018958333333334" Y="0.579375"
888 /><Name
889 ><![CDATA[Node 3]]></Name
890 ><LabelAbove
891 >True</LabelAbove
892 ><Shape
893 ><![CDATA[interface]]></Shape
894 ><Info
895 ><list-int/></Info></Node
896 ><Node id="N4"
897 ><Position X="6.024375" Y="4.786250000000001"
898 /><Name
899 ><![CDATA[Node 4]]></Name
900 ><LabelAbove
901 >True</LabelAbove
902 ><Shape
903 ><![CDATA[interface]]></Shape
904 ><Info
905 ><list-int/></Info></Node
906 ><Node id="N5"
907 ><Position X="0.6058333333333334" Y="4.8914583333333335"
908 /><Name
909 ><![CDATA[Node 5]]></Name
910 ><LabelAbove
911 >True</LabelAbove
912 ><Shape
913 ><![CDATA[interface]]></Shape
914 ><Info
915 ><list-int/></Info></Node></Nodes
916 ><Edges
917 ><Edge id="E1"
918 ><From
919 >1</From
920 ><PortFrom
921 ><![CDATA[left]]></PortFrom
922 ><To
923 >2</To
924 ><PortTo
925 ><![CDATA[up]]></PortTo
926 ><Via
927 /><Info
928 ><list-int/></Info></Edge
929 ><Edge id="E2"
930 ><From
931 >1</From
932 ><PortFrom
933 ><![CDATA[right]]></PortFrom
934 ><To
935 >4</To
936 ><PortTo
937 ><![CDATA[interface]]></PortTo
938 ><Via
939 /><Info
940 ><list-int/></Info></Edge
941 ><Edge id="E3"
942 ><From
943 >1</From
944 ><PortFrom
945 ><![CDATA[up]]></PortFrom
946 ><To
947 >3</To
948 ><PortTo
949 ><![CDATA[interface]]></PortTo
950 ><Via
951 /><Info
952 ><list-int/></Info></Edge
953 ><Edge id="E4"
954 ><From
955 >2</From
956 ><PortFrom
957 ><![CDATA[down]]></PortFrom
958 ><To
959 >5</To
960 ><PortTo
961 ><![CDATA[interface]]></PortTo
962 ><Via
963 /><Info
964 ><list-int/></Info></Edge></Edges></Network></LHS
965 ><RHS
966 ><Network Width="15.0" Height="9.0"
967 ><Info
968 ><unit/></Info
969 ><Nodes
970 ><Node id="N3"
971 ><Position X="4.018958333333334" Y="0.579375"
972 /><Name
973 ><![CDATA[Node 3]]></Name
974 ><LabelAbove
975 >True</LabelAbove
976 ><Shape
977 ><![CDATA[interface]]></Shape
978 ><Info
979 ><list-int/></Info></Node
980 ><Node id="N4"
981 ><Position X="6.42125" Y="4.839166666666667"
982 /><Name
983 ><![CDATA[Node 4]]></Name
984 ><LabelAbove
985 >True</LabelAbove
986 ><Shape
987 ><![CDATA[interface]]></Shape
988 ><Info
989 ><list-int/></Info></Node
990 ><Node id="N5"
991 ><Position X="0.6058333333333334" Y="4.8914583333333335"
992 /><Name
993 ><![CDATA[Node 5]]></Name
994 ><LabelAbove
995 >True</LabelAbove
996 ><Shape
997 ><![CDATA[interface]]></Shape
998 ><Info
999 ><list-int/></Info></Node
1000 ><Node id="N6"
1001 ><Position X="4.021666666666667" Y="2.0108333333333333"
1002 /><Name
1003 ><![CDATA[Node 6]]></Name
1004 ><LabelAbove
1005 >True</LabelAbove
1006 ><Shape
1007 ><![CDATA[Add]]></Shape
1008 ><Info
1009 ><list-int/></Info></Node
1010 ><Node id="N7"
1011 ><Position X="2.4077083333333333" Y="3.386666666666667"
1012 /><Name
1013 ><![CDATA[Node 7]]></Name
1014 ><LabelAbove
1015 >True</LabelAbove
1016 ><Shape
1017 ><![CDATA[Mult]]></Shape
1018 ><Info
1019 ><list-int/></Info></Node
1020 ><Node id="N8"
1021 ><Position X="5.1329166666666675" Y="3.7306250000000003"
1022 /><Name
1023 ><![CDATA[Node 8]]></Name
1024 ><LabelAbove
1025 >True</LabelAbove
1026 ><Shape
1027 ><![CDATA[Dupl]]></Shape
1028 ><Info
1029 ><list-int/></Info></Node></Nodes
1030 ><Edges
1031 ><Edge id="E1"
1032 ><From
1033 >5</From
1034 ><PortFrom
1035 ><![CDATA[interface]]></PortFrom
1036 ><To
1037 >7</To
1038 ><PortTo
1039 ><![CDATA[left]]></PortTo
1040 ><Via
1041 /><Info
1042 ><list-int/></Info></Edge
1043 ><Edge id="E2"
1044 ><From
1045 >8</From
1046 ><PortFrom
1047 ><![CDATA[down]]></PortFrom
1048 ><To
1049 >4</To
1050 ><PortTo
1051 ><![CDATA[interface]]></PortTo
1052 ><Via
1053 /><Info
1054 ><list-int/></Info></Edge
1055 ><Edge id="E3"
1056 ><From
1057 >3</From
1058 ><PortFrom
1059 ><![CDATA[interface]]></PortFrom
1060 ><To
1061 >6</To
1062 ><PortTo
1063 ><![CDATA[up]]></PortTo
1064 ><Via
1065 /><Info
1066 ><list-int/></Info></Edge
1067 ><Edge id="E4"
1068 ><From
1069 >6</From
1070 ><PortFrom
1071 ><![CDATA[left]]></PortFrom
1072 ><To
1073 >7</To
1074 ><PortTo
1075 ><![CDATA[up]]></PortTo
1076 ><Via
1077 /><Info
1078 ><list-int/></Info></Edge
1079 ><Edge id="E5"
1080 ><From
1081 >7</From
1082 ><PortFrom
1083 ><![CDATA[right]]></PortFrom
1084 ><To
1085 >8</To
1086 ><PortTo
1087 ><![CDATA[left]]></PortTo
1088 ><Via
1089 /><Info
1090 ><list-int/></Info></Edge
1091 ><Edge id="E6"
1092 ><From
1093 >8</From
1094 ><PortFrom
1095 ><![CDATA[right]]></PortFrom
1096 ><To
1097 >6</To
1098 ><PortTo
1099 ><![CDATA[right]]></PortTo
1100 ><Via
1101 /><Info
1102 ><list-int/></Info></Edge></Edges></Network></RHS
1103 ><Mapping
1104 ><MappingElement lhs="3" rhs="3"
1105 /><MappingElement lhs="4" rhs="4"
1106 /><MappingElement lhs="5" rhs="5"/></Mapping></INRule
1107 ><INRule
1108 ><Name
1109 ><![CDATA[dupl_zero]]></Name
1110 ><LHS
1111 ><Network Width="15.0" Height="9.0"
1112 ><Info
1113 ><unit/></Info
1114 ><Nodes
1115 ><Node id="N1"
1116 ><Position X="2.0" Y="2.0"
1117 /><Name
1118 ><![CDATA[Node 1]]></Name
1119 ><LabelAbove
1120 >True</LabelAbove
1121 ><Shape
1122 ><![CDATA[Dupl]]></Shape
1123 ><Info
1124 ><list-int/></Info></Node
1125 ><Node id="N2"
1126 ><Position X="2.0" Y="4.0"
1127 /><Name
1128 ><![CDATA[Node 2]]></Name
1129 ><LabelAbove
1130 >True</LabelAbove
1131 ><Shape
1132 ><![CDATA[Z]]></Shape
1133 ><Info
1134 ><list-int/></Info></Node
1135 ><Node id="N3"
1136 ><Position X="1.5054166666666666" Y="0.5"
1137 /><Name
1138 ><![CDATA[Node 3]]></Name
1139 ><LabelAbove
1140 >True</LabelAbove
1141 ><Shape
1142 ><![CDATA[interface]]></Shape
1143 ><Info
1144 ><list-int/></Info></Node
1145 ><Node id="N4"
1146 ><Position X="2.5054166666666666" Y="0.5"
1147 /><Name
1148 ><![CDATA[Node 4]]></Name
1149 ><LabelAbove
1150 >True</LabelAbove
1151 ><Shape
1152 ><![CDATA[interface]]></Shape
1153 ><Info
1154 ><list-int/></Info></Node></Nodes
1155 ><Edges
1156 ><Edge id="E1"
1157 ><From
1158 >1</From
1159 ><PortFrom
1160 ><![CDATA[down]]></PortFrom
1161 ><To
1162 >2</To
1163 ><PortTo
1164 ><![CDATA[up]]></PortTo
1165 ><Via
1166 /><Info
1167 ><list-int/></Info></Edge
1168 ><Edge id="E2"
1169 ><From
1170 >1</From
1171 ><PortFrom
1172 ><![CDATA[right]]></PortFrom
1173 ><To
1174 >4</To
1175 ><PortTo
1176 ><![CDATA[interface]]></PortTo
1177 ><Via
1178 /><Info
1179 ><list-int/></Info></Edge
1180 ><Edge id="E3"
1181 ><From
1182 >1</From
1183 ><PortFrom
1184 ><![CDATA[left]]></PortFrom
1185 ><To
1186 >3</To
1187 ><PortTo
1188 ><![CDATA[interface]]></PortTo
1189 ><Via
1190 /><Info
1191 ><list-int/></Info></Edge></Edges></Network></LHS
1192 ><RHS
1193 ><Network Width="15.0" Height="9.0"
1194 ><Info
1195 ><unit/></Info
1196 ><Nodes
1197 ><Node id="N3"
1198 ><Position X="1.5054166666666666" Y="0.5"
1199 /><Name
1200 ><![CDATA[Node 3]]></Name
1201 ><LabelAbove
1202 >True</LabelAbove
1203 ><Shape
1204 ><![CDATA[interface]]></Shape
1205 ><Info
1206 ><list-int/></Info></Node
1207 ><Node id="N4"
1208 ><Position X="2.5054166666666666" Y="0.5"
1209 /><Name
1210 ><![CDATA[Node 4]]></Name
1211 ><LabelAbove
1212 >True</LabelAbove
1213 ><Shape
1214 ><![CDATA[interface]]></Shape
1215 ><Info
1216 ><list-int/></Info></Node
1217 ><Node id="N5"
1218 ><Position X="1.508125" Y="2.3283333333333336"
1219 /><Name
1220 ><![CDATA[Node 5]]></Name
1221 ><LabelAbove
1222 >True</LabelAbove
1223 ><Shape
1224 ><![CDATA[Z]]></Shape
1225 ><Info
1226 ><list-int/></Info></Node
1227 ><Node id="N6"
1228 ><Position X="2.4870833333333335" Y="2.3283333333333336"
1229 /><Name
1230 ><![CDATA[Node 6]]></Name
1231 ><LabelAbove
1232 >True</LabelAbove
1233 ><Shape
1234 ><![CDATA[Z]]></Shape
1235 ><Info
1236 ><list-int/></Info></Node></Nodes
1237 ><Edges
1238 ><Edge id="E1"
1239 ><From
1240 >3</From
1241 ><PortFrom
1242 ><![CDATA[interface]]></PortFrom
1243 ><To
1244 >5</To
1245 ><PortTo
1246 ><![CDATA[up]]></PortTo
1247 ><Via
1248 /><Info
1249 ><list-int/></Info></Edge
1250 ><Edge id="E2"
1251 ><From
1252 >4</From
1253 ><PortFrom
1254 ><![CDATA[interface]]></PortFrom
1255 ><To
1256 >6</To
1257 ><PortTo
1258 ><![CDATA[up]]></PortTo
1259 ><Via
1260 /><Info
1261 ><list-int/></Info></Edge></Edges></Network></RHS
1262 ><Mapping
1263 ><MappingElement lhs="3" rhs="3"
1264 /><MappingElement lhs="4" rhs="4"/></Mapping></INRule
1265 ><INRule
1266 ><Name
1267 ><![CDATA[dupl_succ]]></Name
1268 ><LHS
1269 ><Network Width="15.0" Height="9.0"
1270 ><Info
1271 ><unit/></Info
1272 ><Nodes
1273 ><Node id="N1"
1274 ><Position X="2.0" Y="2.0"
1275 /><Name
1276 ><![CDATA[Node 1]]></Name
1277 ><LabelAbove
1278 >True</LabelAbove
1279 ><Shape
1280 ><![CDATA[Dupl]]></Shape
1281 ><Info
1282 ><list-int/></Info></Node
1283 ><Node id="N2"
1284 ><Position X="2.0" Y="4.0"
1285 /><Name
1286 ><![CDATA[Node 2]]></Name
1287 ><LabelAbove
1288 >True</LabelAbove
1289 ><Shape
1290 ><![CDATA[S]]></Shape
1291 ><Info
1292 ><list-int/></Info></Node
1293 ><Node id="N3"
1294 ><Position X="1.5054166666666666" Y="0.4735416666666667"
1295 /><Name
1296 ><![CDATA[Node 3]]></Name
1297 ><LabelAbove
1298 >True</LabelAbove
1299 ><Shape
1300 ><![CDATA[interface]]></Shape
1301 ><Info
1302 ><list-int/></Info></Node
1303 ><Node id="N4"
1304 ><Position X="2.505416666666667" Y="0.5264583333333333"
1305 /><Name
1306 ><![CDATA[Node 4]]></Name
1307 ><LabelAbove
1308 >True</LabelAbove
1309 ><Shape
1310 ><![CDATA[interface]]></Shape
1311 ><Info
1312 ><list-int/></Info></Node
1313 ><Node id="N5"
1314 ><Position X="0.7910416666666666" Y="4.9972916666666665"
1315 /><Name
1316 ><![CDATA[Node 5]]></Name
1317 ><LabelAbove
1318 >True</LabelAbove
1319 ><Shape
1320 ><![CDATA[interface]]></Shape
1321 ><Info
1322 ><list-int/></Info></Node></Nodes
1323 ><Edges
1324 ><Edge id="E1"
1325 ><From
1326 >1</From
1327 ><PortFrom
1328 ><![CDATA[down]]></PortFrom
1329 ><To
1330 >2</To
1331 ><PortTo
1332 ><![CDATA[up]]></PortTo
1333 ><Via
1334 /><Info
1335 ><list-int/></Info></Edge
1336 ><Edge id="E2"
1337 ><From
1338 >1</From
1339 ><PortFrom
1340 ><![CDATA[right]]></PortFrom
1341 ><To
1342 >4</To
1343 ><PortTo
1344 ><![CDATA[interface]]></PortTo
1345 ><Via
1346 /><Info
1347 ><list-int/></Info></Edge
1348 ><Edge id="E3"
1349 ><From
1350 >1</From
1351 ><PortFrom
1352 ><![CDATA[left]]></PortFrom
1353 ><To
1354 >3</To
1355 ><PortTo
1356 ><![CDATA[interface]]></PortTo
1357 ><Via
1358 /><Info
1359 ><list-int/></Info></Edge
1360 ><Edge id="E4"
1361 ><From
1362 >2</From
1363 ><PortFrom
1364 ><![CDATA[down]]></PortFrom
1365 ><To
1366 >5</To
1367 ><PortTo
1368 ><![CDATA[interface]]></PortTo
1369 ><Via
1370 /><Info
1371 ><list-int/></Info></Edge></Edges></Network></LHS
1372 ><RHS
1373 ><Network Width="15.0" Height="9.0"
1374 ><Info
1375 ><unit/></Info
1376 ><Nodes
1377 ><Node id="N3"
1378 ><Position X="1.5054166666666666" Y="0.4735416666666667"
1379 /><Name
1380 ><![CDATA[Node 3]]></Name
1381 ><LabelAbove
1382 >True</LabelAbove
1383 ><Shape
1384 ><![CDATA[interface]]></Shape
1385 ><Info
1386 ><list-int/></Info></Node
1387 ><Node id="N4"
1388 ><Position X="2.505416666666667" Y="0.5264583333333333"
1389 /><Name
1390 ><![CDATA[Node 4]]></Name
1391 ><LabelAbove
1392 >True</LabelAbove
1393 ><Shape
1394 ><![CDATA[interface]]></Shape
1395 ><Info
1396 ><list-int/></Info></Node
1397 ><Node id="N5"
1398 ><Position X="0.7910416666666666" Y="4.917916666666667"
1399 /><Name
1400 ><![CDATA[Node 5]]></Name
1401 ><LabelAbove
1402 >True</LabelAbove
1403 ><Shape
1404 ><![CDATA[interface]]></Shape
1405 ><Info
1406 ><list-int/></Info></Node
1407 ><Node id="N6"
1408 ><Position X="2.0108333333333337" Y="4.206875"
1409 /><Name
1410 ><![CDATA[Node 6]]></Name
1411 ><LabelAbove
1412 >True</LabelAbove
1413 ><Shape
1414 ><![CDATA[Dupl]]></Shape
1415 ><Info
1416 ><list-int/></Info></Node
1417 ><Node id="N7"
1418 ><Position X="1.5345833333333334" Y="1.9843750000000002"
1419 /><Name
1420 ><![CDATA[Node 7]]></Name
1421 ><LabelAbove
1422 >True</LabelAbove
1423 ><Shape
1424 ><![CDATA[S]]></Shape
1425 ><Info
1426 ><list-int/></Info></Node
1427 ><Node id="N8"
1428 ><Position X="2.4870833333333335" Y="1.9314583333333337"
1429 /><Name
1430 ><![CDATA[Node 8]]></Name
1431 ><LabelAbove
1432 >True</LabelAbove
1433 ><Shape
1434 ><![CDATA[S]]></Shape
1435 ><Info
1436 ><list-int/></Info></Node></Nodes
1437 ><Edges
1438 ><Edge id="E1"
1439 ><From
1440 >6</From
1441 ><PortFrom
1442 ><![CDATA[down]]></PortFrom
1443 ><To
1444 >5</To
1445 ><PortTo
1446 ><![CDATA[interface]]></PortTo
1447 ><Via
1448 /><Info
1449 ><list-int/></Info></Edge
1450 ><Edge id="E2"
1451 ><From
1452 >7</From
1453 ><PortFrom
1454 ><![CDATA[up]]></PortFrom
1455 ><To
1456 >3</To
1457 ><PortTo
1458 ><![CDATA[interface]]></PortTo
1459 ><Via
1460 /><Info
1461 ><list-int/></Info></Edge
1462 ><Edge id="E3"
1463 ><From
1464 >4</From
1465 ><PortFrom
1466 ><![CDATA[interface]]></PortFrom
1467 ><To
1468 >8</To
1469 ><PortTo
1470 ><![CDATA[up]]></PortTo
1471 ><Via
1472 /><Info
1473 ><list-int/></Info></Edge
1474 ><Edge id="E4"
1475 ><From
1476 >6</From
1477 ><PortFrom
1478 ><![CDATA[left]]></PortFrom
1479 ><To
1480 >7</To
1481 ><PortTo
1482 ><![CDATA[down]]></PortTo
1483 ><Via
1484 /><Info
1485 ><list-int/></Info></Edge
1486 ><Edge id="E5"
1487 ><From
1488 >6</From
1489 ><PortFrom
1490 ><![CDATA[right]]></PortFrom
1491 ><To
1492 >8</To
1493 ><PortTo
1494 ><![CDATA[down]]></PortTo
1495 ><Via
1496 /><Info
1497 ><list-int/></Info></Edge></Edges></Network></RHS
1498 ><Mapping
1499 ><MappingElement lhs="3" rhs="3"
1500 /><MappingElement lhs="4" rhs="4"
1501 /><MappingElement lhs="5" rhs="5"/></Mapping></INRule
1502 ><INRule
1503 ><Name
1504 ><![CDATA[erase_zero]]></Name
1505 ><LHS
1506 ><Network Width="15.0" Height="9.0"
1507 ><Info
1508 ><unit/></Info
1509 ><Nodes
1510 ><Node id="N1"
1511 ><Position X="2.0" Y="2.0"
1512 /><Name
1513 ><![CDATA[Node 1]]></Name
1514 ><LabelAbove
1515 >True</LabelAbove
1516 ><Shape
1517 ><![CDATA[Erase]]></Shape
1518 ><Info
1519 ><list-int/></Info></Node
1520 ><Node id="N2"
1521 ><Position X="2.0" Y="4.0"
1522 /><Name
1523 ><![CDATA[Node 2]]></Name
1524 ><LabelAbove
1525 >True</LabelAbove
1526 ><Shape
1527 ><![CDATA[Z]]></Shape
1528 ><Info
1529 ><list-int/></Info></Node></Nodes
1530 ><Edges
1531 ><Edge id="E1"
1532 ><From
1533 >1</From
1534 ><PortFrom
1535 ><![CDATA[down]]></PortFrom
1536 ><To
1537 >2</To
1538 ><PortTo
1539 ><![CDATA[up]]></PortTo
1540 ><Via
1541 /><Info
1542 ><list-int/></Info></Edge></Edges></Network></LHS
1543 ><RHS
1544 ><Network Width="15.0" Height="9.0"
1545 ><Info
1546 ><unit/></Info
1547 ><Nodes
1548 /><Edges/></Network></RHS
1549 ><Mapping/></INRule
1550 ><INRule
1551 ><Name
1552 ><![CDATA[erase_succ]]></Name
1553 ><LHS
1554 ><Network Width="15.0" Height="9.0"
1555 ><Info
1556 ><unit/></Info
1557 ><Nodes
1558 ><Node id="N1"
1559 ><Position X="2.0" Y="2.0"
1560 /><Name
1561 ><![CDATA[Node 1]]></Name
1562 ><LabelAbove
1563 >True</LabelAbove
1564 ><Shape
1565 ><![CDATA[Erase]]></Shape
1566 ><Info
1567 ><list-int/></Info></Node
1568 ><Node id="N2"
1569 ><Position X="2.0" Y="4.0"
1570 /><Name
1571 ><![CDATA[Node 2]]></Name
1572 ><LabelAbove
1573 >True</LabelAbove
1574 ><Shape
1575 ><![CDATA[S]]></Shape
1576 ><Info
1577 ><list-int/></Info></Node
1578 ><Node id="N3"
1579 ><Position X="0.8704166666666666" Y="4.759166666666667"
1580 /><Name
1581 ><![CDATA[Node 3]]></Name
1582 ><LabelAbove
1583 >True</LabelAbove
1584 ><Shape
1585 ><![CDATA[interface]]></Shape
1586 ><Info
1587 ><list-int/></Info></Node></Nodes
1588 ><Edges
1589 ><Edge id="E1"
1590 ><From
1591 >1</From
1592 ><PortFrom
1593 ><![CDATA[down]]></PortFrom
1594 ><To
1595 >2</To
1596 ><PortTo
1597 ><![CDATA[up]]></PortTo
1598 ><Via
1599 /><Info
1600 ><list-int/></Info></Edge
1601 ><Edge id="E2"
1602 ><From
1603 >2</From
1604 ><PortFrom
1605 ><![CDATA[down]]></PortFrom
1606 ><To
1607 >3</To
1608 ><PortTo
1609 ><![CDATA[interface]]></PortTo
1610 ><Via
1611 /><Info
1612 ><list-int/></Info></Edge></Edges></Network></LHS
1613 ><RHS
1614 ><Network Width="15.0" Height="9.0"
1615 ><Info
1616 ><unit/></Info
1617 ><Nodes
1618 ><Node id="N1"
1619 ><Position X="2.0" Y="2.0"
1620 /><Name
1621 ><![CDATA[Node 1]]></Name
1622 ><LabelAbove
1623 >True</LabelAbove
1624 ><Shape
1625 ><![CDATA[Erase]]></Shape
1626 ><Info
1627 ><list-int/></Info></Node
1628 ><Node id="N3"
1629 ><Position X="0.9233333333333332" Y="4.759166666666667"
1630 /><Name
1631 ><![CDATA[Node 3]]></Name
1632 ><LabelAbove
1633 >True</LabelAbove
1634 ><Shape
1635 ><![CDATA[interface]]></Shape
1636 ><Info
1637 ><list-int/></Info></Node></Nodes
1638 ><Edges
1639 ><Edge id="E1"
1640 ><From
1641 >1</From
1642 ><PortFrom
1643 ><![CDATA[down]]></PortFrom
1644 ><To
1645 >3</To
1646 ><PortTo
1647 ><![CDATA[interface]]></PortTo
1648 ><Via
1649 /><Info
1650 ><list-int/></Info></Edge></Edges></Network></RHS
1651 ><Mapping
1652 ><MappingElement lhs="3" rhs="3"/></Mapping></INRule
1653 ><INRule
1654 ><Name
1655 ><![CDATA[max_zero]]></Name
1656 ><LHS
1657 ><Network Width="15.0" Height="9.0"
1658 ><Info
1659 ><unit/></Info
1660 ><Nodes
1661 ><Node id="N1"
1662 ><Position X="4.0" Y="2.0"
1663 /><Name
1664 ><![CDATA[Node 1]]></Name
1665 ><LabelAbove
1666 >True</LabelAbove
1667 ><Shape
1668 ><![CDATA[Max]]></Shape
1669 ><Info
1670 ><list-int/></Info></Node
1671 ><Node id="N2"
1672 ><Position X="2.0" Y="4.0"
1673 /><Name
1674 ><![CDATA[Node 2]]></Name
1675 ><LabelAbove
1676 >True</LabelAbove
1677 ><Shape
1678 ><![CDATA[Z]]></Shape
1679 ><Info
1680 ><list-int/></Info></Node
1681 ><Node id="N3"
1682 ><Position X="4.018958333333334" Y="0.579375"
1683 /><Name
1684 ><![CDATA[Node 3]]></Name
1685 ><LabelAbove
1686 >True</LabelAbove
1687 ><Shape
1688 ><![CDATA[interface]]></Shape
1689 ><Info
1690 ><list-int/></Info></Node
1691 ><Node id="N4"
1692 ><Position X="4.51625" Y="4.548125000000001"
1693 /><Name
1694 ><![CDATA[Node 4]]></Name
1695 ><LabelAbove
1696 >True</LabelAbove
1697 ><Shape
1698 ><![CDATA[interface]]></Shape
1699 ><Info
1700 ><list-int/></Info></Node></Nodes
1701 ><Edges
1702 ><Edge id="E1"
1703 ><From
1704 >1</From
1705 ><PortFrom
1706 ><![CDATA[left]]></PortFrom
1707 ><To
1708 >2</To
1709 ><PortTo
1710 ><![CDATA[up]]></PortTo
1711 ><Via
1712 /><Info
1713 ><list-int/></Info></Edge
1714 ><Edge id="E2"
1715 ><From
1716 >1</From
1717 ><PortFrom
1718 ><![CDATA[right]]></PortFrom
1719 ><To
1720 >4</To
1721 ><PortTo
1722 ><![CDATA[interface]]></PortTo
1723 ><Via
1724 /><Info
1725 ><list-int/></Info></Edge
1726 ><Edge id="E3"
1727 ><From
1728 >1</From
1729 ><PortFrom
1730 ><![CDATA[up]]></PortFrom
1731 ><To
1732 >3</To
1733 ><PortTo
1734 ><![CDATA[interface]]></PortTo
1735 ><Via
1736 /><Info
1737 ><list-int/></Info></Edge></Edges></Network></LHS
1738 ><RHS
1739 ><Network Width="15.0" Height="9.0"
1740 ><Info
1741 ><unit/></Info
1742 ><Nodes
1743 ><Node id="N3"
1744 ><Position X="4.018958333333334" Y="0.579375"
1745 /><Name
1746 ><![CDATA[Node 3]]></Name
1747 ><LabelAbove
1748 >True</LabelAbove
1749 ><Shape
1750 ><![CDATA[interface]]></Shape
1751 ><Info
1752 ><list-int/></Info></Node
1753 ><Node id="N4"
1754 ><Position X="4.51625" Y="4.548125000000001"
1755 /><Name
1756 ><![CDATA[Node 4]]></Name
1757 ><LabelAbove
1758 >True</LabelAbove
1759 ><Shape
1760 ><![CDATA[interface]]></Shape
1761 ><Info
1762 ><list-int/></Info></Node></Nodes
1763 ><Edges
1764 ><Edge id="E1"
1765 ><From
1766 >3</From
1767 ><PortFrom
1768 ><![CDATA[interface]]></PortFrom
1769 ><To
1770 >4</To
1771 ><PortTo
1772 ><![CDATA[interface]]></PortTo
1773 ><Via
1774 /><Info
1775 ><list-int/></Info></Edge></Edges></Network></RHS
1776 ><Mapping
1777 ><MappingElement lhs="3" rhs="3"
1778 /><MappingElement lhs="4" rhs="4"/></Mapping></INRule
1779 ><INRule
1780 ><Name
1781 ><![CDATA[max_succ]]></Name
1782 ><LHS
1783 ><Network Width="15.0" Height="9.0"
1784 ><Info
1785 ><unit/></Info
1786 ><Nodes
1787 ><Node id="N1"
1788 ><Position X="4.0" Y="2.0"
1789 /><Name
1790 ><![CDATA[Node 1]]></Name
1791 ><LabelAbove
1792 >True</LabelAbove
1793 ><Shape
1794 ><![CDATA[Max]]></Shape
1795 ><Info
1796 ><list-int/></Info></Node
1797 ><Node id="N2"
1798 ><Position X="2.0" Y="4.0"
1799 /><Name
1800 ><![CDATA[Node 2]]></Name
1801 ><LabelAbove
1802 >True</LabelAbove
1803 ><Shape
1804 ><![CDATA[S]]></Shape
1805 ><Info
1806 ><list-int/></Info></Node
1807 ><Node id="N3"
1808 ><Position X="4.018958333333334" Y="0.5264583333333334"
1809 /><Name
1810 ><![CDATA[Node 3]]></Name
1811 ><LabelAbove
1812 >True</LabelAbove
1813 ><Shape
1814 ><![CDATA[interface]]></Shape
1815 ><Info
1816 ><list-int/></Info></Node
1817 ><Node id="N4"
1818 ><Position X="4.542708333333334" Y="5.077291666666667"
1819 /><Name
1820 ><![CDATA[Node 4]]></Name
1821 ><LabelAbove
1822 >True</LabelAbove
1823 ><Shape
1824 ><![CDATA[interface]]></Shape
1825 ><Info
1826 ><list-int/></Info></Node
1827 ><Node id="N5"
1828 ><Position X="0.5529166666666667" Y="4.944375"
1829 /><Name
1830 ><![CDATA[Node 5]]></Name
1831 ><LabelAbove
1832 >True</LabelAbove
1833 ><Shape
1834 ><![CDATA[interface]]></Shape
1835 ><Info
1836 ><list-int/></Info></Node></Nodes
1837 ><Edges
1838 ><Edge id="E1"
1839 ><From
1840 >1</From
1841 ><PortFrom
1842 ><![CDATA[left]]></PortFrom
1843 ><To
1844 >2</To
1845 ><PortTo
1846 ><![CDATA[up]]></PortTo
1847 ><Via
1848 /><Info
1849 ><list-int/></Info></Edge
1850 ><Edge id="E2"
1851 ><From
1852 >1</From
1853 ><PortFrom
1854 ><![CDATA[right]]></PortFrom
1855 ><To
1856 >4</To
1857 ><PortTo
1858 ><![CDATA[interface]]></PortTo
1859 ><Via
1860 /><Info
1861 ><list-int/></Info></Edge
1862 ><Edge id="E3"
1863 ><From
1864 >1</From
1865 ><PortFrom
1866 ><![CDATA[up]]></PortFrom
1867 ><To
1868 >3</To
1869 ><PortTo
1870 ><![CDATA[interface]]></PortTo
1871 ><Via
1872 /><Info
1873 ><list-int/></Info></Edge
1874 ><Edge id="E4"
1875 ><From
1876 >2</From
1877 ><PortFrom
1878 ><![CDATA[down]]></PortFrom
1879 ><To
1880 >5</To
1881 ><PortTo
1882 ><![CDATA[interface]]></PortTo
1883 ><Via
1884 /><Info
1885 ><list-int/></Info></Edge></Edges></Network></LHS
1886 ><RHS
1887 ><Network Width="15.0" Height="9.0"
1888 ><Info
1889 ><unit/></Info
1890 ><Nodes
1891 ><Node id="N3"
1892 ><Position X="3.7014583333333335" Y="0.5"
1893 /><Name
1894 ><![CDATA[Node 3]]></Name
1895 ><LabelAbove
1896 >True</LabelAbove
1897 ><Shape
1898 ><![CDATA[interface]]></Shape
1899 ><Info
1900 ><list-int/></Info></Node
1901 ><Node id="N4"
1902 ><Position X="4.19875" Y="4.971458333333334"
1903 /><Name
1904 ><![CDATA[Node 4]]></Name
1905 ><LabelAbove
1906 >True</LabelAbove
1907 ><Shape
1908 ><![CDATA[interface]]></Shape
1909 ><Info
1910 ><list-int/></Info></Node
1911 ><Node id="N5"
1912 ><Position X="3.2252083333333337" Y="4.970833333333334"
1913 /><Name
1914 ><![CDATA[Node 5]]></Name
1915 ><LabelAbove
1916 >True</LabelAbove
1917 ><Shape
1918 ><![CDATA[interface]]></Shape
1919 ><Info
1920 ><list-int/></Info></Node
1921 ><Node id="N6"
1922 ><Position X="3.704166666666667" Y="2.778125"
1923 /><Name
1924 ><![CDATA[Node 6]]></Name
1925 ><LabelAbove
1926 >True</LabelAbove
1927 ><Shape
1928 ><![CDATA[Aux]]></Shape
1929 ><Info
1930 ><list-int/></Info></Node></Nodes
1931 ><Edges
1932 ><Edge id="E1"
1933 ><From
1934 >5</From
1935 ><PortFrom
1936 ><![CDATA[interface]]></PortFrom
1937 ><To
1938 >6</To
1939 ><PortTo
1940 ><![CDATA[left]]></PortTo
1941 ><Via
1942 /><Info
1943 ><list-int/></Info></Edge
1944 ><Edge id="E2"
1945 ><From
1946 >6</From
1947 ><PortFrom
1948 ><![CDATA[right]]></PortFrom
1949 ><To
1950 >4</To
1951 ><PortTo
1952 ><![CDATA[interface]]></PortTo
1953 ><Via
1954 /><Info
1955 ><list-int/></Info></Edge
1956 ><Edge id="E3"
1957 ><From
1958 >6</From
1959 ><PortFrom
1960 ><![CDATA[up]]></PortFrom
1961 ><To
1962 >3</To
1963 ><PortTo
1964 ><![CDATA[interface]]></PortTo
1965 ><Via
1966 /><Info
1967 ><list-int/></Info></Edge></Edges></Network></RHS
1968 ><Mapping
1969 ><MappingElement lhs="3" rhs="3"
1970 /><MappingElement lhs="4" rhs="4"
1971 /><MappingElement lhs="5" rhs="5"/></Mapping></INRule
1972 ><INRule
1973 ><Name
1974 ><![CDATA[aux_zero]]></Name
1975 ><LHS
1976 ><Network Width="15.0" Height="9.0"
1977 ><Info
1978 ><unit/></Info
1979 ><Nodes
1980 ><Node id="N1"
1981 ><Position X="2.0" Y="2.0"
1982 /><Name
1983 ><![CDATA[Node 1]]></Name
1984 ><LabelAbove
1985 >True</LabelAbove
1986 ><Shape
1987 ><![CDATA[Aux]]></Shape
1988 ><Info
1989 ><list-int/></Info></Node
1990 ><Node id="N2"
1991 ><Position X="4.0" Y="4.0"
1992 /><Name
1993 ><![CDATA[Node 2]]></Name
1994 ><LabelAbove
1995 >True</LabelAbove
1996 ><Shape
1997 ><![CDATA[Z]]></Shape
1998 ><Info
1999 ><list-int/></Info></Node
2000 ><Node id="N3"
2001 ><Position X="1.5054166666666668" Y="4.257083333333334"
2002 /><Name
2003 ><![CDATA[Node 3]]></Name
2004 ><LabelAbove
2005 >True</LabelAbove
2006 ><Shape
2007 ><![CDATA[interface]]></Shape
2008 ><Info
2009 ><list-int/></Info></Node
2010 ><Node id="N4"
2011 ><Position X="2.0027083333333335" Y="0.36770833333333336"
2012 /><Name
2013 ><![CDATA[Node 4]]></Name
2014 ><LabelAbove
2015 >True</LabelAbove
2016 ><Shape
2017 ><![CDATA[interface]]></Shape
2018 ><Info
2019 ><list-int/></Info></Node></Nodes
2020 ><Edges
2021 ><Edge id="E1"
2022 ><From
2023 >1</From
2024 ><PortFrom
2025 ><![CDATA[right]]></PortFrom
2026 ><To
2027 >2</To
2028 ><PortTo
2029 ><![CDATA[up]]></PortTo
2030 ><Via
2031 /><Info
2032 ><list-int/></Info></Edge
2033 ><Edge id="E2"
2034 ><From
2035 >1</From
2036 ><PortFrom
2037 ><![CDATA[up]]></PortFrom
2038 ><To
2039 >4</To
2040 ><PortTo
2041 ><![CDATA[interface]]></PortTo
2042 ><Via
2043 /><Info
2044 ><list-int/></Info></Edge
2045 ><Edge id="E3"
2046 ><From
2047 >1</From
2048 ><PortFrom
2049 ><![CDATA[left]]></PortFrom
2050 ><To
2051 >3</To
2052 ><PortTo
2053 ><![CDATA[interface]]></PortTo
2054 ><Via
2055 /><Info
2056 ><list-int/></Info></Edge></Edges></Network></LHS
2057 ><RHS
2058 ><Network Width="15.0" Height="9.0"
2059 ><Info
2060 ><unit/></Info
2061 ><Nodes
2062 ><Node id="N3"
2063 ><Position X="1.5054166666666668" Y="4.257083333333334"
2064 /><Name
2065 ><![CDATA[Node 3]]></Name
2066 ><LabelAbove
2067 >True</LabelAbove
2068 ><Shape
2069 ><![CDATA[interface]]></Shape
2070 ><Info
2071 ><list-int/></Info></Node
2072 ><Node id="N4"
2073 ><Position X="2.0027083333333335" Y="0.36770833333333336"
2074 /><Name
2075 ><![CDATA[Node 4]]></Name
2076 ><LabelAbove
2077 >True</LabelAbove
2078 ><Shape
2079 ><![CDATA[interface]]></Shape
2080 ><Info
2081 ><list-int/></Info></Node
2082 ><Node id="N5"
2083 ><Position X="1.9843750000000004" Y="2.2225"
2084 /><Name
2085 ><![CDATA[Node 5]]></Name
2086 ><LabelAbove
2087 >True</LabelAbove
2088 ><Shape
2089 ><![CDATA[S]]></Shape
2090 ><Info
2091 ><list-int/></Info></Node></Nodes
2092 ><Edges
2093 ><Edge id="E1"
2094 ><From
2095 >3</From
2096 ><PortFrom
2097 ><![CDATA[interface]]></PortFrom
2098 ><To
2099 >5</To
2100 ><PortTo
2101 ><![CDATA[down]]></PortTo
2102 ><Via
2103 /><Info
2104 ><list-int/></Info></Edge
2105 ><Edge id="E2"
2106 ><From
2107 >4</From
2108 ><PortFrom
2109 ><![CDATA[interface]]></PortFrom
2110 ><To
2111 >5</To
2112 ><PortTo
2113 ><![CDATA[up]]></PortTo
2114 ><Via
2115 /><Info
2116 ><list-int/></Info></Edge></Edges></Network></RHS
2117 ><Mapping
2118 ><MappingElement lhs="3" rhs="3"
2119 /><MappingElement lhs="4" rhs="4"/></Mapping></INRule
2120 ><INRule
2121 ><Name
2122 ><![CDATA[aux_succ]]></Name
2123 ><LHS
2124 ><Network Width="15.0" Height="9.0"
2125 ><Info
2126 ><unit/></Info
2127 ><Nodes
2128 ><Node id="N1"
2129 ><Position X="2.0" Y="2.0"
2130 /><Name
2131 ><![CDATA[Node 1]]></Name
2132 ><LabelAbove
2133 >True</LabelAbove
2134 ><Shape
2135 ><![CDATA[Aux]]></Shape
2136 ><Info
2137 ><list-int/></Info></Node
2138 ><Node id="N2"
2139 ><Position X="2.4918749999999994" Y="3.312083333333333"
2140 /><Name
2141 ><![CDATA[Node 2]]></Name
2142 ><LabelAbove
2143 >True</LabelAbove
2144 ><Shape
2145 ><![CDATA[S]]></Shape
2146 ><Info
2147 ><list-int/></Info></Node
2148 ><Node id="N3"
2149 ><Position X="1.5054166666666666" Y="4.3100000000000005"
2150 /><Name
2151 ><![CDATA[Node 3]]></Name
2152 ><LabelAbove
2153 >True</LabelAbove
2154 ><Shape
2155 ><![CDATA[interface]]></Shape
2156 ><Info
2157 ><list-int/></Info></Node
2158 ><Node id="N4"
2159 ><Position X="2.0027083333333335" Y="0.4735416666666667"
2160 /><Name
2161 ><![CDATA[Node 4]]></Name
2162 ><LabelAbove
2163 >True</LabelAbove
2164 ><Shape
2165 ><![CDATA[interface]]></Shape
2166 ><Info
2167 ><list-int/></Info></Node
2168 ><Node id="N5"
2169 ><Position X="4.124791666666667" Y="4.838541666666667"
2170 /><Name
2171 ><![CDATA[Node 5]]></Name
2172 ><LabelAbove
2173 >True</LabelAbove
2174 ><Shape
2175 ><![CDATA[interface]]></Shape
2176 ><Info
2177 ><list-int/></Info></Node></Nodes
2178 ><Edges
2179 ><Edge id="E1"
2180 ><From
2181 >1</From
2182 ><PortFrom
2183 ><![CDATA[right]]></PortFrom
2184 ><To
2185 >2</To
2186 ><PortTo
2187 ><![CDATA[up]]></PortTo
2188 ><Via
2189 /><Info
2190 ><list-int/></Info></Edge
2191 ><Edge id="E2"
2192 ><From
2193 >1</From
2194 ><PortFrom
2195 ><![CDATA[up]]></PortFrom
2196 ><To
2197 >4</To
2198 ><PortTo
2199 ><![CDATA[interface]]></PortTo
2200 ><Via
2201 /><Info
2202 ><list-int/></Info></Edge
2203 ><Edge id="E3"
2204 ><From
2205 >1</From
2206 ><PortFrom
2207 ><![CDATA[left]]></PortFrom
2208 ><To
2209 >3</To
2210 ><PortTo
2211 ><![CDATA[interface]]></PortTo
2212 ><Via
2213 /><Info
2214 ><list-int/></Info></Edge
2215 ><Edge id="E4"
2216 ><From
2217 >2</From
2218 ><PortFrom
2219 ><![CDATA[down]]></PortFrom
2220 ><To
2221 >5</To
2222 ><PortTo
2223 ><![CDATA[interface]]></PortTo
2224 ><Via
2225 /><Info
2226 ><list-int/></Info></Edge></Edges></Network></LHS
2227 ><RHS
2228 ><Network Width="15.0" Height="9.0"
2229 ><Info
2230 ><unit/></Info
2231 ><Nodes
2232 ><Node id="N3"
2233 ><Position X="1.5054166666666666" Y="5.050833333333334"
2234 /><Name
2235 ><![CDATA[Node 3]]></Name
2236 ><LabelAbove
2237 >True</LabelAbove
2238 ><Shape
2239 ><![CDATA[interface]]></Shape
2240 ><Info
2241 ><list-int/></Info></Node
2242 ><Node id="N4"
2243 ><Position X="2.0027083333333335" Y="0.34125"
2244 /><Name
2245 ><![CDATA[Node 4]]></Name
2246 ><LabelAbove
2247 >True</LabelAbove
2248 ><Shape
2249 ><![CDATA[interface]]></Shape
2250 ><Info
2251 ><list-int/></Info></Node
2252 ><Node id="N5"
2253 ><Position X="2.484375" Y="5.02375"
2254 /><Name
2255 ><![CDATA[Node 5]]></Name
2256 ><LabelAbove
2257 >True</LabelAbove
2258 ><Shape
2259 ><![CDATA[interface]]></Shape
2260 ><Info
2261 ><list-int/></Info></Node
2262 ><Node id="N6"
2263 ><Position X="1.9843750000000002" Y="1.666875"
2264 /><Name
2265 ><![CDATA[Node 6]]></Name
2266 ><LabelAbove
2267 >True</LabelAbove
2268 ><Shape
2269 ><![CDATA[S]]></Shape
2270 ><Info
2271 ><list-int/></Info></Node
2272 ><Node id="N7"
2273 ><Position X="1.9843750000000004" Y="3.3072916666666665"
2274 /><Name
2275 ><![CDATA[Node 7]]></Name
2276 ><LabelAbove
2277 >True</LabelAbove
2278 ><Shape
2279 ><![CDATA[Max]]></Shape
2280 ><Info
2281 ><list-int/></Info></Node></Nodes
2282 ><Edges
2283 ><Edge id="E1"
2284 ><From
2285 >7</From
2286 ><PortFrom
2287 ><![CDATA[left]]></PortFrom
2288 ><To
2289 >3</To
2290 ><PortTo
2291 ><![CDATA[interface]]></PortTo
2292 ><Via
2293 /><Info
2294 ><list-int/></Info></Edge
2295 ><Edge id="E2"
2296 ><From
2297 >7</From
2298 ><PortFrom
2299 ><![CDATA[right]]></PortFrom
2300 ><To
2301 >5</To
2302 ><PortTo
2303 ><![CDATA[interface]]></PortTo
2304 ><Via
2305 /><Info
2306 ><list-int/></Info></Edge
2307 ><Edge id="E3"
2308 ><From
2309 >4</From
2310 ><PortFrom
2311 ><![CDATA[interface]]></PortFrom
2312 ><To
2313 >6</To
2314 ><PortTo
2315 ><![CDATA[up]]></PortTo
2316 ><Via
2317 /><Info
2318 ><list-int/></Info></Edge
2319 ><Edge id="E4"
2320 ><From
2321 >6</From
2322 ><PortFrom
2323 ><![CDATA[down]]></PortFrom
2324 ><To
2325 >7</To
2326 ><PortTo
2327 ><![CDATA[up]]></PortTo
2328 ><Via
2329 /><Info
2330 ><list-int/></Info></Edge></Edges></Network></RHS
2331 ><Mapping
2332 ><MappingElement lhs="3" rhs="3"
2333 /><MappingElement lhs="4" rhs="4"
2334 /><MappingElement lhs="5"
2335 rhs="5"/></Mapping></INRule></Rules></Document>
Crece desde el pueblo el futuro / crece desde el pie