2 ><Network Width="15.0" Height="9.0"
10 ><![CDATA[interface]]></ShapeName
15 /><RGB R="255" G="255" B="255"
16 /><RGB R="255" G="255" B="255"/></ShapeStyle
17 ><double value="0.25"/></Circle></Shape
22 ><![CDATA[interface]]></string
23 ><Position X="0.0" Y="0.25"/></Port></Principals
24 ><Auxiliaries/></Ports
27 ><list-int/></maybe-list-int></Info></Symbol
30 ><![CDATA[lambda]]></ShapeName
37 /><RGB R="0" G="0" B="0"
38 /><RGB R="255" G="215" B="0"/></ShapeStyle
40 ><Position X="0.0" Y="-0.6"
41 /><Position X="-0.7" Y="0.3"
42 /><Position X="0.7" Y="0.3"/></list-DoublePoint></Polygon
46 /><RGB R="0" G="0" B="0"
47 /><RGB R="255" G="255" B="255"/></ShapeStyle
49 ><Position X="-0.15" Y="-0.25"
50 /><Position X="0.35" Y="0.25"/></list-DoublePoint></Lines
54 /><RGB R="0" G="0" B="0"
55 /><RGB R="255" G="255" B="255"/></ShapeStyle
57 ><Position X="0.1" Y="0.0"
59 Y="0.25"/></list-DoublePoint></Lines></list-Shape></Composite></Shape
64 ><![CDATA[res]]></string
65 ><Position X="0.0" Y="-0.55"/></Port></Principals
69 ><![CDATA[body]]></string
70 ><Position X="0.4" Y="0.3"/></Port
73 ><![CDATA[var]]></string
74 ><Position X="-0.4" Y="0.3"/></Port></Auxiliaries></Ports
76 ><maybe-list-int/></Info></Symbol
79 ><![CDATA[application]]></ShapeName
84 /><RGB R="0" G="0" B="0"
85 /><RGB R="255" G="215" B="0"/></ShapeStyle
87 ><![CDATA[@]]></string></TextInEllipse></Shape
92 ><![CDATA[func]]></string
93 ><Position X="-0.3" Y="0.3"/></Port></Principals
97 ><![CDATA[res]]></string
98 ><Position X="0.0" Y="-0.35"/></Port
101 ><![CDATA[arg]]></string
102 ><Position X="0.3" Y="0.3"/></Port></Auxiliaries></Ports
104 ><maybe-list-int/></Info></Symbol
107 ><![CDATA[evaluation]]></ShapeName
114 /><RGB R="0" G="0" B="0"
115 /><RGB R="144" G="238" B="144"/></ShapeStyle
116 ><double value="0.5"/></Circle
120 /><RGB R="0" G="0" B="0"
121 /><RGB R="255" G="255" B="255"/></ShapeStyle
123 ><Position X="-0.2" Y="-0.2"
124 /><Position X="-0.2" Y="0.2"/></list-DoublePoint></Lines
128 /><RGB R="0" G="0" B="0"
129 /><RGB R="255" G="255" B="255"/></ShapeStyle
131 ><Position X="0.2" Y="-0.2"
132 /><Position X="0.2" Y="0.2"/></list-DoublePoint></Lines
136 /><RGB R="0" G="0" B="0"
137 /><RGB R="255" G="255" B="255"/></ShapeStyle
139 ><Position X="-0.3" Y="0.25"
140 /><Position X="0.0" Y="0.4"
142 Y="0.25"/></list-DoublePoint></Lines></list-Shape></Composite></Shape
147 ><![CDATA[arg]]></string
148 ><Position X="0.0" Y="0.5"/></Port></Principals
152 ><![CDATA[res]]></string
153 ><Position X="0.0" Y="-0.5"/></Port></Auxiliaries></Ports
155 ><maybe-list-int/></Info></Symbol
158 ><![CDATA[beforeApplication]]></ShapeName
165 /><RGB R="0" G="0" B="0"
166 /><RGB R="255" G="215" B="0"/></ShapeStyle
168 ><Position X="0.0" Y="-0.5"
169 /><Position X="-0.7" Y="0.25"
170 /><Position X="0.7" Y="0.25"/></list-DoublePoint></Polygon
174 /><RGB R="0" G="0" B="0"
175 /><RGB R="200" G="255" B="255"/></ShapeStyle
177 ><![CDATA[@]]></string></Text></list-Shape></Composite></Shape
182 ><![CDATA[res]]></string
183 ><Position X="0.0" Y="-0.5"/></Port></Principals
187 ><![CDATA[arg]]></string
188 ><Position X="0.4" Y="0.25"/></Port
191 ><![CDATA[func]]></string
192 ><Position X="-0.4" Y="0.25"/></Port></Auxiliaries></Ports
194 ><maybe-list-int/></Info></Symbol
197 ><![CDATA[copy]]></ShapeName
202 /><RGB R="0" G="0" B="0"
203 /><RGB R="192" G="192" B="192"/></ShapeStyle
205 ><![CDATA[c]]></string></TextInEllipse></Shape
210 ><![CDATA[src]]></string
211 ><Position X="0.0" Y="0.3"/></Port></Principals
215 ><![CDATA[fst_target]]></string
216 ><Position X="-0.3" Y="-0.3"/></Port
219 ><![CDATA[snd_target]]></string
220 ><Position X="0.3" Y="-0.3"/></Port></Auxiliaries></Ports
222 ><maybe-list-int/></Info></Symbol
225 ><![CDATA[duplicator]]></ShapeName
232 /><RGB R="250" G="0" B="0"
233 /><RGB R="255" G="255" B="255"/></ShapeStyle
234 ><double value="0.5"/></Circle
238 /><RGB R="250" G="0" B="0"
239 /><RGB R="255" G="255" B="255"/></ShapeStyle
241 /><double value="70.0"
242 /><double value="270.0"
243 /><Position X="0.0" Y="-0.18"/></Arc
247 /><RGB R="250" G="0" B="0"
248 /><RGB R="255" G="255" B="255"/></ShapeStyle
250 /><double value="150.0"
251 /><double value="90.0"
253 Y="0.18"/></Arc></list-Shape></Composite></Shape
258 ><![CDATA[down]]></string
259 ><Position X="0.0" Y="0.5"/></Port></Principals
263 ><![CDATA[copy1]]></string
264 ><Position X="-0.3" Y="-0.3"/></Port
267 ><![CDATA[copy2]]></string
268 ><Position X="0.3" Y="-0.3"/></Port></Auxiliaries></Ports
271 ><list-int/></maybe-list-int></Info></Symbol
274 ><![CDATA[Erase]]></ShapeName
281 /><RGB R="250" G="0" B="0"
282 /><RGB R="255" G="255" B="255"/></ShapeStyle
283 ><double value="0.5"/></Circle
287 /><RGB R="250" G="0" B="0"
288 /><RGB R="255" G="255" B="255"/></ShapeStyle
290 /><double value="90.0"
291 /><double value="270.0"
292 /><Position X="0.0" Y="-0.18"/></Arc
296 /><RGB R="250" G="0" B="0"
297 /><RGB R="255" G="255" B="255"/></ShapeStyle
299 /><double value="90.0"
300 /><double value="270.0"
302 Y="0.18"/></Arc></list-Shape></Composite></Shape
307 ><![CDATA[down]]></string
308 ><Position X="0.0" Y="0.5"/></Port></Principals
309 ><Auxiliaries/></Ports
312 ><list-int/></maybe-list-int></Info></Symbol
315 ><![CDATA[Nil]]></ShapeName
322 /><RGB R="0" G="0" B="0"
323 /><RGB R="200" G="255" B="255"/></ShapeStyle
325 ><Position X="0.0" Y="-0.7"
326 /><Position X="-0.7" Y="0.15"
327 /><Position X="0.7" Y="0.15"/></list-DoublePoint></Polygon
331 /><RGB R="0" G="0" B="0"
332 /><RGB R="200" G="255" B="255"/></ShapeStyle
334 ><![CDATA[Nil]]></string></Text></list-Shape></Composite></Shape
339 ><![CDATA[res]]></string
340 ><Position X="0.0" Y="-0.65"/></Port></Principals
341 ><Auxiliaries/></Ports
343 ><maybe-list-int/></Info></Symbol
346 ><![CDATA[Cons]]></ShapeName
353 /><RGB R="0" G="0" B="0"
354 /><RGB R="200" G="255" B="255"/></ShapeStyle
356 ><Position X="0.0" Y="-0.7"
357 /><Position X="-0.7" Y="0.15"
358 /><Position X="0.7" Y="0.15"/></list-DoublePoint></Polygon
362 /><RGB R="0" G="0" B="0"
363 /><RGB R="200" G="255" B="255"/></ShapeStyle
365 ><![CDATA[Cons]]></string></Text></list-Shape></Composite></Shape
370 ><![CDATA[res]]></string
371 ><Position X="0.0" Y="-0.65"/></Port></Principals
375 ><![CDATA[head]]></string
376 ><Position X="-0.4" Y="0.25"/></Port
379 ><![CDATA[tail]]></string
380 ><Position X="0.4" Y="0.25"/></Port></Auxiliaries></Ports
382 ><maybe-list-int/></Info></Symbol
385 ><![CDATA[True]]></ShapeName
392 /><RGB R="0" G="0" B="0"
393 /><RGB R="200" G="255" B="255"/></ShapeStyle
395 ><Position X="0.0" Y="-0.7"
396 /><Position X="-0.7" Y="0.15"
397 /><Position X="0.7" Y="0.15"/></list-DoublePoint></Polygon
401 /><RGB R="0" G="0" B="0"
402 /><RGB R="200" G="255" B="255"/></ShapeStyle
404 ><![CDATA[True]]></string></Text></list-Shape></Composite></Shape
409 ><![CDATA[res]]></string
410 ><Position X="0.0" Y="-0.65"/></Port></Principals
411 ><Auxiliaries/></Ports
413 ><maybe-list-int/></Info></Symbol
416 ><![CDATA[False]]></ShapeName
423 /><RGB R="0" G="0" B="0"
424 /><RGB R="200" G="255" B="255"/></ShapeStyle
426 ><Position X="0.0" Y="-0.7"
427 /><Position X="-0.7" Y="0.15"
428 /><Position X="0.7" Y="0.15"/></list-DoublePoint></Polygon
432 /><RGB R="0" G="0" B="0"
433 /><RGB R="200" G="255" B="255"/></ShapeStyle
435 ><![CDATA[False]]></string></Text></list-Shape></Composite></Shape
440 ><![CDATA[res]]></string
441 ><Position X="0.0" Y="-0.65"/></Port></Principals
442 ><Auxiliaries/></Ports
444 ><maybe-list-int/></Info></Symbol
447 ><![CDATA[Zero]]></ShapeName
454 /><RGB R="0" G="0" B="0"
455 /><RGB R="200" G="255" B="255"/></ShapeStyle
457 ><Position X="0.0" Y="-0.7"
458 /><Position X="-0.7" Y="0.15"
459 /><Position X="0.7" Y="0.15"/></list-DoublePoint></Polygon
463 /><RGB R="0" G="0" B="0"
464 /><RGB R="200" G="255" B="255"/></ShapeStyle
466 ><![CDATA[Zero]]></string></Text></list-Shape></Composite></Shape
471 ><![CDATA[res]]></string
472 ><Position X="0.0" Y="-0.65"/></Port></Principals
473 ><Auxiliaries/></Ports
475 ><maybe-list-int/></Info></Symbol
478 ><![CDATA[Succ]]></ShapeName
485 /><RGB R="0" G="0" B="0"
486 /><RGB R="200" G="255" B="255"/></ShapeStyle
488 ><Position X="0.0" Y="-0.7"
489 /><Position X="-0.7" Y="0.15"
490 /><Position X="0.7" Y="0.15"/></list-DoublePoint></Polygon
494 /><RGB R="0" G="0" B="0"
495 /><RGB R="200" G="255" B="255"/></ShapeStyle
497 ><![CDATA[Succ]]></string></Text></list-Shape></Composite></Shape
502 ><![CDATA[res]]></string
503 ><Position X="0.0" Y="-0.65"/></Port></Principals
507 ><![CDATA[arg]]></string
508 ><Position X="0.0" Y="0.25"/></Port></Auxiliaries></Ports
510 ><maybe-list-int/></Info></Symbol></Palette
514 ><![CDATA[evaluate_lambda]]></Name
516 ><Network Width="15.0" Height="9.0"
521 ><Position X="2.0" Y="2.0"
523 ><![CDATA[Node 1]]></Name
527 ><![CDATA[evaluation]]></Shape
529 ><list-int/></Info></Node
531 ><Position X="2.008125" Y="0.6322916666666667"
533 ><![CDATA[Node 3]]></Name
537 ><![CDATA[interface]]></Shape
539 ><list-int/></Info></Node
541 ><Position X="2.8812499999999996" Y="5.420625000000001"
543 ><![CDATA[Node 4]]></Name
547 ><![CDATA[interface]]></Shape
549 ><list-int/></Info></Node
551 ><Position X="1.1295833333333334" Y="5.394166666666667"
553 ><![CDATA[Node 5]]></Name
557 ><![CDATA[interface]]></Shape
559 ><list-int/></Info></Node
561 ><Position X="1.984375" Y="3.96875"
563 ><![CDATA[Node 6]]></Name
567 ><![CDATA[lambda]]></Shape
569 ><list-int/></Info></Node></Nodes
575 ><![CDATA[res]]></PortFrom
579 ><![CDATA[interface]]></PortTo
582 ><list-int/></Info></Edge
587 ><![CDATA[arg]]></PortFrom
591 ><![CDATA[res]]></PortTo
594 ><list-int/></Info></Edge
599 ><![CDATA[interface]]></PortFrom
603 ><![CDATA[var]]></PortTo
606 ><list-int/></Info></Edge
611 ><![CDATA[body]]></PortFrom
615 ><![CDATA[interface]]></PortTo
618 ><list-int/></Info></Edge></Edges></Network></LHS
620 ><Network Width="15.0" Height="9.0"
625 ><Position X="2.008125" Y="0.6322916666666667"
627 ><![CDATA[Node 3]]></Name
631 ><![CDATA[interface]]></Shape
633 ><list-int/></Info></Node
635 ><Position X="2.8812499999999996" Y="5.420625000000001"
637 ><![CDATA[Node 4]]></Name
641 ><![CDATA[interface]]></Shape
643 ><list-int/></Info></Node
645 ><Position X="1.1295833333333334" Y="5.394166666666667"
647 ><![CDATA[Node 5]]></Name
651 ><![CDATA[interface]]></Shape
653 ><list-int/></Info></Node
655 ><Position X="2.0108333333333337" Y="4.021666666666667"
657 ><![CDATA[Node 6]]></Name
661 ><![CDATA[lambda]]></Shape
663 ><list-int/></Info></Node></Nodes
669 ><![CDATA[var]]></PortFrom
673 ><![CDATA[interface]]></PortTo
676 ><list-int/></Info></Edge
681 ><![CDATA[body]]></PortFrom
685 ><![CDATA[interface]]></PortTo
688 ><list-int/></Info></Edge
693 ><![CDATA[res]]></PortFrom
697 ><![CDATA[interface]]></PortTo
700 ><list-int/></Info></Edge></Edges></Network></RHS
702 ><MappingElement lhs="3" rhs="3"
703 /><MappingElement lhs="4" rhs="4"
704 /><MappingElement lhs="5" rhs="5"/></Mapping></INRule
707 ><![CDATA[evaluate_application]]></Name
709 ><Network Width="15.0" Height="9.0"
714 ><Position X="2.0" Y="2.0"
716 ><![CDATA[Node 1]]></Name
720 ><![CDATA[evaluation]]></Shape
722 ><list-int/></Info></Node
724 ><Position X="2.008125" Y="0.5529166666666667"
726 ><![CDATA[Node 3]]></Name
730 ><![CDATA[interface]]></Shape
732 ><list-int/></Info></Node
734 ><Position X="2.6695833333333336" Y="5.447083333333333"
736 ><![CDATA[Node 4]]></Name
740 ><![CDATA[interface]]></Shape
742 ><list-int/></Info></Node
744 ><Position X="1.3147916666666666" Y="5.5"
746 ><![CDATA[Node 5]]></Name
750 ><![CDATA[interface]]></Shape
752 ><list-int/></Info></Node
754 ><Position X="1.9843750000000009" Y="3.942291666666667"
756 ><![CDATA[Node 6]]></Name
760 ><![CDATA[beforeApplication]]></Shape
762 ><list-int/></Info></Node></Nodes
768 ><![CDATA[res]]></PortFrom
772 ><![CDATA[interface]]></PortTo
775 ><list-int/></Info></Edge
780 ><![CDATA[arg]]></PortFrom
784 ><![CDATA[res]]></PortTo
787 ><list-int/></Info></Edge
792 ><![CDATA[interface]]></PortFrom
796 ><![CDATA[func]]></PortTo
799 ><list-int/></Info></Edge
804 ><![CDATA[arg]]></PortFrom
808 ><![CDATA[interface]]></PortTo
811 ><list-int/></Info></Edge></Edges></Network></LHS
813 ><Network Width="15.0" Height="9.0"
818 ><Position X="2.008125" Y="0.5529166666666667"
820 ><![CDATA[Node 3]]></Name
824 ><![CDATA[interface]]></Shape
826 ><list-int/></Info></Node
828 ><Position X="2.6695833333333336" Y="5.447083333333333"
830 ><![CDATA[Node 4]]></Name
834 ><![CDATA[interface]]></Shape
836 ><list-int/></Info></Node
838 ><Position X="1.3147916666666666" Y="5.5"
840 ><![CDATA[Node 5]]></Name
844 ><![CDATA[interface]]></Shape
846 ><list-int/></Info></Node
848 ><Position X="2.0372916666666665" Y="2.0108333333333333"
850 ><![CDATA[Node 6]]></Name
854 ><![CDATA[application]]></Shape
856 ><list-int/></Info></Node
858 ><Position X="1.3229166666666667" Y="3.757083333333333"
860 ><![CDATA[Node 7]]></Name
864 ><![CDATA[evaluation]]></Shape
866 ><list-int/></Info></Node
868 ><Position X="2.672291666666667" Y="3.7306250000000007"
870 ><![CDATA[Node 8]]></Name
874 ><![CDATA[evaluation]]></Shape
876 ><list-int/></Info></Node></Nodes
882 ><![CDATA[interface]]></PortFrom
886 ><![CDATA[res]]></PortTo
889 ><list-int/></Info></Edge
894 ><![CDATA[func]]></PortFrom
898 ><![CDATA[res]]></PortTo
901 ><list-int/></Info></Edge
906 ><![CDATA[arg]]></PortFrom
910 ><![CDATA[interface]]></PortTo
913 ><list-int/></Info></Edge
918 ><![CDATA[arg]]></PortFrom
922 ><![CDATA[res]]></PortTo
925 ><list-int/></Info></Edge
930 ><![CDATA[arg]]></PortFrom
934 ><![CDATA[interface]]></PortTo
937 ><list-int/></Info></Edge></Edges></Network></RHS
939 ><MappingElement lhs="3" rhs="3"
940 /><MappingElement lhs="4" rhs="4"
941 /><MappingElement lhs="5" rhs="5"/></Mapping></INRule
944 ><![CDATA[application_lambda]]></Name
946 ><Network Width="15.0" Height="9.0"
951 ><Position X="3.2591666666666668" Y="1.9470833333333335"
953 ><![CDATA[Node 1]]></Name
957 ><![CDATA[application]]></Shape
959 ><list-int/></Info></Node
961 ><Position X="3.278125" Y="0.579375"
963 ><![CDATA[Node 3]]></Name
967 ><![CDATA[interface]]></Shape
969 ><list-int/></Info></Node
971 ><Position X="3.558333333333333" Y="5.420624999999999"
973 ><![CDATA[Node 4]]></Name
977 ><![CDATA[interface]]></Shape
979 ><list-int/></Info></Node
981 ><Position X="2.537291666666667" Y="5.394166666666667"
983 ><![CDATA[Node 5]]></Name
987 ><![CDATA[interface]]></Shape
989 ><list-int/></Info></Node
991 ><Position X="1.3677083333333333" Y="5.394166666666667"
993 ><![CDATA[Node 6]]></Name
997 ><![CDATA[interface]]></Shape
999 ><list-int/></Info></Node
1001 ><Position X="2.116666666666667" Y="4.101041666666667"
1003 ><![CDATA[Node 7]]></Name
1007 ><![CDATA[lambda]]></Shape
1009 ><list-int/></Info></Node></Nodes
1015 ><![CDATA[arg]]></PortFrom
1019 ><![CDATA[interface]]></PortTo
1022 ><list-int/></Info></Edge
1027 ><![CDATA[res]]></PortFrom
1031 ><![CDATA[interface]]></PortTo
1034 ><list-int/></Info></Edge
1039 ><![CDATA[var]]></PortFrom
1043 ><![CDATA[interface]]></PortTo
1046 ><list-int/></Info></Edge
1051 ><![CDATA[body]]></PortFrom
1055 ><![CDATA[interface]]></PortTo
1058 ><list-int/></Info></Edge
1063 ><![CDATA[func]]></PortFrom
1067 ><![CDATA[res]]></PortTo
1070 ><list-int/></Info></Edge></Edges></Network></LHS
1072 ><Network Width="15.0" Height="9.0"
1077 ><Position X="3.278125" Y="0.579375"
1079 ><![CDATA[Node 3]]></Name
1083 ><![CDATA[interface]]></Shape
1085 ><list-int/></Info></Node
1087 ><Position X="3.558333333333333" Y="5.420624999999999"
1089 ><![CDATA[Node 4]]></Name
1093 ><![CDATA[interface]]></Shape
1095 ><list-int/></Info></Node
1097 ><Position X="2.537291666666667" Y="5.394166666666667"
1099 ><![CDATA[Node 5]]></Name
1103 ><![CDATA[interface]]></Shape
1105 ><list-int/></Info></Node
1107 ><Position X="1.3677083333333333" Y="5.394166666666667"
1109 ><![CDATA[Node 6]]></Name
1113 ><![CDATA[interface]]></Shape
1115 ><list-int/></Info></Node
1117 ><Position X="3.254375" Y="2.2225"
1119 ><![CDATA[Node 7]]></Name
1123 ><![CDATA[evaluation]]></Shape
1125 ><list-int/></Info></Node></Nodes
1131 ><![CDATA[interface]]></PortFrom
1135 ><![CDATA[res]]></PortTo
1138 ><list-int/></Info></Edge
1143 ><![CDATA[interface]]></PortFrom
1147 ><![CDATA[arg]]></PortTo
1150 ><list-int/></Info></Edge
1155 ><![CDATA[interface]]></PortFrom
1159 ><![CDATA[interface]]></PortTo
1161 ><Position X="1.3758333333333332" Y="4.048125"
1162 /><Position X="3.5454166666666667" Y="4.048125000000001"/></Via
1164 ><list-int/></Info></Edge></Edges></Network></RHS
1166 ><MappingElement lhs="3" rhs="3"
1167 /><MappingElement lhs="4" rhs="4"
1168 /><MappingElement lhs="5" rhs="5"
1169 /><MappingElement lhs="6" rhs="6"/></Mapping></INRule
1172 ><![CDATA[Copy_Lambda]]></Name
1174 ><Network Width="15.0" Height="9.0"
1179 ><Position X="2.0" Y="2.0"
1181 ><![CDATA[Node 1]]></Name
1185 ><![CDATA[copy]]></Shape
1187 ><list-int/></Info></Node
1189 ><Position X="1.1879166666666667" Y="0.5264583333333334"
1191 ><![CDATA[Node 3]]></Name
1195 ><![CDATA[interface]]></Shape
1197 ><list-int/></Info></Node
1199 ><Position X="2.6377083333333338" Y="0.6058333333333333"
1201 ><![CDATA[Node 4]]></Name
1205 ><![CDATA[interface]]></Shape
1207 ><list-int/></Info></Node
1209 ><Position X="2.6431250000000004" Y="5.4470833333333335"
1211 ><![CDATA[Node 5]]></Name
1215 ><![CDATA[interface]]></Shape
1217 ><list-int/></Info></Node
1219 ><Position X="1.103125" Y="5.473541666666667"
1221 ><![CDATA[Node 6]]></Name
1225 ><![CDATA[interface]]></Shape
1227 ><list-int/></Info></Node
1229 ><Position X="2.0108333333333337" Y="3.9952083333333337"
1231 ><![CDATA[Node 7]]></Name
1235 ><![CDATA[lambda]]></Shape
1237 ><list-int/></Info></Node></Nodes
1243 ><![CDATA[snd_target]]></PortFrom
1247 ><![CDATA[interface]]></PortTo
1250 ><list-int/></Info></Edge
1255 ><![CDATA[fst_target]]></PortFrom
1259 ><![CDATA[interface]]></PortTo
1262 ><list-int/></Info></Edge
1267 ><![CDATA[res]]></PortFrom
1271 ><![CDATA[src]]></PortTo
1274 ><list-int/></Info></Edge
1279 ><![CDATA[interface]]></PortFrom
1283 ><![CDATA[var]]></PortTo
1286 ><list-int/></Info></Edge
1291 ><![CDATA[body]]></PortFrom
1295 ><![CDATA[interface]]></PortTo
1298 ><list-int/></Info></Edge></Edges></Network></LHS
1300 ><Network Width="15.0" Height="9.0"
1305 ><Position X="1.1879166666666667" Y="0.5264583333333334"
1307 ><![CDATA[Node 3]]></Name
1311 ><![CDATA[interface]]></Shape
1313 ><list-int/></Info></Node
1315 ><Position X="2.6377083333333338" Y="0.6058333333333333"
1317 ><![CDATA[Node 4]]></Name
1321 ><![CDATA[interface]]></Shape
1323 ><list-int/></Info></Node
1325 ><Position X="2.6431250000000004" Y="5.473541666666668"
1327 ><![CDATA[Node 5]]></Name
1331 ><![CDATA[interface]]></Shape
1333 ><list-int/></Info></Node
1335 ><Position X="1.1560416666666664" Y="5.5"
1337 ><![CDATA[Node 6]]></Name
1341 ><![CDATA[interface]]></Shape
1343 ><list-int/></Info></Node
1345 ><Position X="1.2170833333333335" Y="4.206875000000001"
1347 ><![CDATA[Node 9]]></Name
1351 ><![CDATA[duplicator]]></Shape
1353 ><list-int/></Info></Node
1355 ><Position X="2.6458333333333335" Y="4.2597916666666675"
1357 ><![CDATA[Node 10]]></Name
1361 ><![CDATA[duplicator]]></Shape
1363 ><list-int/></Info></Node
1365 ><Position X="2.6987500000000004" Y="2.2489583333333334"
1367 ><![CDATA[Node 11]]></Name
1371 ><![CDATA[lambda]]></Shape
1373 ><list-int/></Info></Node
1375 ><Position X="1.11125" Y="2.301875000000001"
1377 ><![CDATA[Node 12]]></Name
1381 ><![CDATA[lambda]]></Shape
1383 ><list-int/></Info></Node></Nodes
1389 ><![CDATA[down]]></PortFrom
1393 ><![CDATA[interface]]></PortTo
1396 ><list-int/></Info></Edge
1401 ><![CDATA[down]]></PortFrom
1405 ><![CDATA[interface]]></PortTo
1408 ><list-int/></Info></Edge
1413 ><![CDATA[var]]></PortFrom
1417 ><![CDATA[copy2]]></PortTo
1420 ><list-int/></Info></Edge
1425 ><![CDATA[body]]></PortFrom
1429 ><![CDATA[copy2]]></PortTo
1432 ><list-int/></Info></Edge
1437 ><![CDATA[interface]]></PortFrom
1441 ><![CDATA[res]]></PortTo
1444 ><list-int/></Info></Edge
1449 ><![CDATA[interface]]></PortFrom
1453 ><![CDATA[res]]></PortTo
1456 ><list-int/></Info></Edge
1461 ><![CDATA[var]]></PortFrom
1465 ><![CDATA[copy1]]></PortTo
1468 ><list-int/></Info></Edge
1473 ><![CDATA[body]]></PortFrom
1477 ><![CDATA[copy1]]></PortTo
1480 ><list-int/></Info></Edge></Edges></Network></RHS
1482 ><MappingElement lhs="3" rhs="3"
1483 /><MappingElement lhs="4" rhs="4"
1484 /><MappingElement lhs="5" rhs="5"
1485 /><MappingElement lhs="6" rhs="6"/></Mapping></INRule
1488 ><![CDATA[Duplicator_duplicator]]></Name
1490 ><Network Width="15.0" Height="9.0"
1495 ><Position X="2.0" Y="2.0"
1497 ><![CDATA[Node 1]]></Name
1501 ><![CDATA[duplicator]]></Shape
1503 ><list-int/></Info></Node
1505 ><Position X="4.0" Y="2.0"
1507 ><![CDATA[Node 2]]></Name
1511 ><![CDATA[duplicator]]></Shape
1513 ><list-int/></Info></Node
1515 ><Position X="1.690625" Y="0.5"
1517 ><![CDATA[Node 3]]></Name
1521 ><![CDATA[interface]]></Shape
1523 ><list-int/></Info></Node
1525 ><Position X="2.29375" Y="0.5"
1527 ><![CDATA[Node 4]]></Name
1531 ><![CDATA[interface]]></Shape
1533 ><list-int/></Info></Node
1535 ><Position X="3.2143749999999995" Y="4.045416666666667"
1537 ><![CDATA[Node 5]]></Name
1541 ><![CDATA[interface]]></Shape
1543 ><list-int/></Info></Node
1545 ><Position X="4.77" Y="4.045416666666667"
1547 ><![CDATA[Node 6]]></Name
1551 ><![CDATA[interface]]></Shape
1553 ><list-int/></Info></Node></Nodes
1559 ><![CDATA[down]]></PortFrom
1563 ><![CDATA[down]]></PortTo
1566 ><list-int/></Info></Edge
1571 ><![CDATA[copy2]]></PortFrom
1575 ><![CDATA[interface]]></PortTo
1578 ><list-int/></Info></Edge
1583 ><![CDATA[copy1]]></PortFrom
1587 ><![CDATA[interface]]></PortTo
1590 ><list-int/></Info></Edge
1595 ><![CDATA[copy2]]></PortFrom
1599 ><![CDATA[interface]]></PortTo
1601 ><Position X="4.7625" Y="1.6933333333333338"/></Via
1603 ><list-int/></Info></Edge
1608 ><![CDATA[copy1]]></PortFrom
1612 ><![CDATA[interface]]></PortTo
1614 ><Position X="3.201458333333334" Y="1.6933333333333334"/></Via
1616 ><list-int/></Info></Edge></Edges></Network></LHS
1618 ><Network Width="15.0" Height="9.0"
1623 ><Position X="1.690625" Y="0.5"
1625 ><![CDATA[Node 3]]></Name
1629 ><![CDATA[interface]]></Shape
1631 ><list-int/></Info></Node
1633 ><Position X="2.29375" Y="0.5"
1635 ><![CDATA[Node 4]]></Name
1639 ><![CDATA[interface]]></Shape
1641 ><list-int/></Info></Node
1643 ><Position X="3.2143749999999995" Y="4.045416666666667"
1645 ><![CDATA[Node 5]]></Name
1649 ><![CDATA[interface]]></Shape
1651 ><list-int/></Info></Node
1653 ><Position X="4.77" Y="4.045416666666667"
1655 ><![CDATA[Node 6]]></Name
1659 ><![CDATA[interface]]></Shape
1661 ><list-int/></Info></Node></Nodes
1667 ><![CDATA[interface]]></PortFrom
1671 ><![CDATA[interface]]></PortTo
1674 ><list-int/></Info></Edge
1679 ><![CDATA[interface]]></PortFrom
1683 ><![CDATA[interface]]></PortTo
1686 ><list-int/></Info></Edge></Edges></Network></RHS
1688 ><MappingElement lhs="3" rhs="3"
1689 /><MappingElement lhs="4" rhs="4"
1690 /><MappingElement lhs="5" rhs="5"
1691 /><MappingElement lhs="6" rhs="6"/></Mapping></INRule
1694 ><![CDATA[Erase_Lambda]]></Name
1696 ><Network Width="15.0" Height="9.0"
1701 ><Position X="2.0" Y="2.0"
1703 ><![CDATA[Node 1]]></Name
1707 ><![CDATA[Erase]]></Shape
1709 ><list-int/></Info></Node
1711 ><Position X="2.590208333333334" Y="5.473541666666666"
1713 ><![CDATA[Node 3]]></Name
1717 ><![CDATA[interface]]></Shape
1719 ><list-int/></Info></Node
1721 ><Position X="1.5" Y="5.5"
1723 ><![CDATA[Node 4]]></Name
1727 ><![CDATA[interface]]></Shape
1729 ><list-int/></Info></Node
1731 ><Position X="2.0108333333333333" Y="4.206875"
1733 ><![CDATA[Node 5]]></Name
1737 ><![CDATA[lambda]]></Shape
1739 ><list-int/></Info></Node></Nodes
1745 ><![CDATA[down]]></PortFrom
1749 ><![CDATA[res]]></PortTo
1752 ><list-int/></Info></Edge
1757 ><![CDATA[var]]></PortFrom
1761 ><![CDATA[interface]]></PortTo
1764 ><list-int/></Info></Edge
1769 ><![CDATA[body]]></PortFrom
1773 ><![CDATA[interface]]></PortTo
1776 ><list-int/></Info></Edge></Edges></Network></LHS
1778 ><Network Width="15.0" Height="9.0"
1783 ><Position X="2.590208333333334" Y="5.473541666666666"
1785 ><![CDATA[Node 3]]></Name
1789 ><![CDATA[interface]]></Shape
1791 ><list-int/></Info></Node
1793 ><Position X="1.5" Y="5.5"
1795 ><![CDATA[Node 4]]></Name
1799 ><![CDATA[interface]]></Shape
1801 ><list-int/></Info></Node
1803 ><Position X="1.5081250000000002" Y="3.677708333333334"
1805 ><![CDATA[Node 5]]></Name
1809 ><![CDATA[Erase]]></Shape
1811 ><list-int/></Info></Node
1813 ><Position X="2.5664583333333337" Y="3.6512500000000006"
1815 ><![CDATA[Node 6]]></Name
1819 ><![CDATA[Erase]]></Shape
1821 ><list-int/></Info></Node></Nodes
1827 ><![CDATA[down]]></PortFrom
1831 ><![CDATA[interface]]></PortTo
1834 ><list-int/></Info></Edge
1839 ><![CDATA[down]]></PortFrom
1843 ><![CDATA[interface]]></PortTo
1846 ><list-int/></Info></Edge></Edges></Network></RHS
1848 ><MappingElement lhs="3" rhs="3"
1849 /><MappingElement lhs="4" rhs="4"/></Mapping></INRule
1852 ><![CDATA[Erase_Application]]></Name
1854 ><Network Width="15.0" Height="9.0"
1859 ><Position X="2.0" Y="2.0"
1861 ><![CDATA[Node 1]]></Name
1865 ><![CDATA[Erase]]></Shape
1867 ><list-int/></Info></Node
1869 ><Position X="4.2910416666666675" Y="2.200833333333333"
1871 ><![CDATA[Node 2]]></Name
1875 ><![CDATA[application]]></Shape
1877 ><list-int/></Info></Node
1879 ><Position X="4.3100000000000005" Y="0.7381249999999997"
1881 ><![CDATA[Node 3]]></Name
1885 ><![CDATA[interface]]></Shape
1887 ><list-int/></Info></Node
1889 ><Position X="4.601041666666666" Y="4.653333333333333"
1891 ><![CDATA[Node 4]]></Name
1895 ><![CDATA[interface]]></Shape
1897 ><list-int/></Info></Node></Nodes
1903 ><![CDATA[down]]></PortFrom
1907 ><![CDATA[func]]></PortTo
1910 ><list-int/></Info></Edge
1915 ><![CDATA[arg]]></PortFrom
1919 ><![CDATA[interface]]></PortTo
1922 ><list-int/></Info></Edge
1927 ><![CDATA[res]]></PortFrom
1931 ><![CDATA[interface]]></PortTo
1934 ><list-int/></Info></Edge></Edges></Network></LHS
1936 ><Network Width="15.0" Height="9.0"
1941 ><Position X="4.3100000000000005" Y="0.7381249999999997"
1943 ><![CDATA[Node 3]]></Name
1947 ><![CDATA[interface]]></Shape
1949 ><list-int/></Info></Node
1951 ><Position X="4.601041666666666" Y="4.653333333333333"
1953 ><![CDATA[Node 4]]></Name
1957 ><![CDATA[interface]]></Shape
1959 ><list-int/></Info></Node
1961 ><Position X="2.275416666666667" Y="1.27"
1963 ><![CDATA[Node 5]]></Name
1967 ><![CDATA[Erase]]></Shape
1969 ><list-int/></Info></Node
1971 ><Position X="4.603750000000001" Y="3.2808333333333337"
1973 ><![CDATA[Node 6]]></Name
1977 ><![CDATA[Erase]]></Shape
1979 ><list-int/></Info></Node></Nodes
1985 ><![CDATA[down]]></PortFrom
1989 ><![CDATA[interface]]></PortTo
1991 ><Position X="4.286250000000001" Y="1.74625"/></Via
1993 ><list-int/></Info></Edge
1998 ><![CDATA[down]]></PortFrom
2002 ><![CDATA[interface]]></PortTo
2005 ><list-int/></Info></Edge></Edges></Network></RHS
2007 ><MappingElement lhs="3" rhs="3"
2008 /><MappingElement lhs="4" rhs="4"/></Mapping></INRule
2011 ><![CDATA[Erase_Evaluator]]></Name
2013 ><Network Width="15.0" Height="9.0"
2018 ><Position X="2.0" Y="2.0"
2020 ><![CDATA[Node 1]]></Name
2024 ><![CDATA[Erase]]></Shape
2026 ><list-int/></Info></Node
2028 ><Position X="4.0" Y="2.0"
2030 ><![CDATA[Node 2]]></Name
2034 ><![CDATA[evaluation]]></Shape
2036 ><list-int/></Info></Node
2038 ><Position X="4.018958333333334" Y="0.6058333333333334"
2040 ><![CDATA[Node 3]]></Name
2044 ><![CDATA[interface]]></Shape
2046 ><list-int/></Info></Node></Nodes
2052 ><![CDATA[down]]></PortFrom
2056 ><![CDATA[arg]]></PortTo
2059 ><list-int/></Info></Edge
2064 ><![CDATA[res]]></PortFrom
2068 ><![CDATA[interface]]></PortTo
2071 ><list-int/></Info></Edge></Edges></Network></LHS
2073 ><Network Width="15.0" Height="9.0"
2078 ><Position X="4.018958333333334" Y="0.6058333333333334"
2080 ><![CDATA[Node 3]]></Name
2084 ><![CDATA[interface]]></Shape
2086 ><list-int/></Info></Node
2088 ><Position X="2.54" Y="1.825625"
2090 ><![CDATA[Node 4]]></Name
2094 ><![CDATA[Erase]]></Shape
2096 ><list-int/></Info></Node></Nodes
2102 ><![CDATA[down]]></PortFrom
2106 ><![CDATA[interface]]></PortTo
2108 ><Position X="3.9952083333333337" Y="2.328333333333333"/></Via
2110 ><list-int/></Info></Edge></Edges></Network></RHS
2112 ><MappingElement lhs="3" rhs="3"/></Mapping></INRule
2115 ><![CDATA[Erase_preApplication]]></Name
2117 ><Network Width="15.0" Height="9.0"
2122 ><Position X="2.0" Y="2.0"
2124 ><![CDATA[Node 1]]></Name
2128 ><![CDATA[Erase]]></Shape
2130 ><list-int/></Info></Node
2132 ><Position X="2.4843750000000004" Y="5.473541666666668"
2134 ><![CDATA[Node 3]]></Name
2138 ><![CDATA[interface]]></Shape
2140 ><list-int/></Info></Node
2142 ><Position X="1.5" Y="5.5"
2144 ><![CDATA[Node 4]]></Name
2148 ><![CDATA[interface]]></Shape
2150 ><list-int/></Info></Node
2152 ><Position X="1.9843750000000002" Y="4.1275"
2154 ><![CDATA[Node 5]]></Name
2158 ><![CDATA[beforeApplication]]></Shape
2160 ><list-int/></Info></Node></Nodes
2166 ><![CDATA[down]]></PortFrom
2170 ><![CDATA[res]]></PortTo
2173 ><list-int/></Info></Edge
2178 ><![CDATA[func]]></PortFrom
2182 ><![CDATA[interface]]></PortTo
2185 ><list-int/></Info></Edge
2190 ><![CDATA[arg]]></PortFrom
2194 ><![CDATA[interface]]></PortTo
2197 ><list-int/></Info></Edge></Edges></Network></LHS
2199 ><Network Width="15.0" Height="9.0"
2204 ><Position X="2.4843750000000004" Y="5.473541666666668"
2206 ><![CDATA[Node 3]]></Name
2210 ><![CDATA[interface]]></Shape
2212 ><list-int/></Info></Node
2214 ><Position X="1.5" Y="5.5"
2216 ><![CDATA[Node 4]]></Name
2220 ><![CDATA[interface]]></Shape
2222 ><list-int/></Info></Node
2224 ><Position X="1.3229166666666667" Y="3.5983333333333336"
2226 ><![CDATA[Node 5]]></Name
2230 ><![CDATA[Erase]]></Shape
2232 ><list-int/></Info></Node
2234 ><Position X="2.8045833333333334" Y="3.5718750000000004"
2236 ><![CDATA[Node 6]]></Name
2240 ><![CDATA[Erase]]></Shape
2242 ><list-int/></Info></Node></Nodes
2248 ><![CDATA[down]]></PortFrom
2252 ><![CDATA[interface]]></PortTo
2255 ><list-int/></Info></Edge
2260 ><![CDATA[down]]></PortFrom
2264 ><![CDATA[interface]]></PortTo
2267 ><list-int/></Info></Edge></Edges></Network></RHS
2269 ><MappingElement lhs="3" rhs="3"
2270 /><MappingElement lhs="4" rhs="4"/></Mapping></INRule
2273 ><![CDATA[Erase_Copy]]></Name
2275 ><Network Width="15.0" Height="9.0"
2280 ><Position X="2.0" Y="2.0"
2282 ><![CDATA[Node 1]]></Name
2286 ><![CDATA[Erase]]></Shape
2288 ><list-int/></Info></Node
2290 ><Position X="4.0529166666666665" Y="2.211666666666667"
2292 ><![CDATA[Node 2]]></Name
2296 ><![CDATA[copy]]></Shape
2298 ><list-int/></Info></Node
2300 ><Position X="3.4104166666666673" Y="0.8174999999999999"
2302 ><![CDATA[Node 3]]></Name
2306 ><![CDATA[interface]]></Shape
2308 ><list-int/></Info></Node
2310 ><Position X="4.860208333333334" Y="0.8175000000000001"
2312 ><![CDATA[Node 4]]></Name
2316 ><![CDATA[interface]]></Shape
2318 ><list-int/></Info></Node></Nodes
2324 ><![CDATA[down]]></PortFrom
2328 ><![CDATA[src]]></PortTo
2331 ><list-int/></Info></Edge
2336 ><![CDATA[snd_target]]></PortFrom
2340 ><![CDATA[interface]]></PortTo
2343 ><list-int/></Info></Edge
2348 ><![CDATA[fst_target]]></PortFrom
2352 ><![CDATA[interface]]></PortTo
2355 ><list-int/></Info></Edge></Edges></Network></LHS
2357 ><Network Width="15.0" Height="9.0"
2362 ><Position X="3.4104166666666673" Y="0.8174999999999999"
2364 ><![CDATA[Node 3]]></Name
2368 ><![CDATA[interface]]></Shape
2370 ><list-int/></Info></Node
2372 ><Position X="4.860208333333334" Y="0.8175000000000001"
2374 ><![CDATA[Node 4]]></Name
2378 ><![CDATA[interface]]></Shape
2380 ><list-int/></Info></Node
2382 ><Position X="2.354791666666667" Y="2.672291666666667"
2384 ><![CDATA[Node 5]]></Name
2388 ><![CDATA[Erase]]></Shape
2390 ><list-int/></Info></Node
2392 ><Position X="6.164791666666667" Y="2.6722916666666667"
2394 ><![CDATA[Node 6]]></Name
2398 ><![CDATA[Erase]]></Shape
2400 ><list-int/></Info></Node></Nodes
2406 ><![CDATA[down]]></PortFrom
2410 ><![CDATA[interface]]></PortTo
2412 ><Position X="3.3866666666666667" Y="3.148541666666667"/></Via
2414 ><list-int/></Info></Edge
2419 ><![CDATA[down]]></PortFrom
2423 ><![CDATA[interface]]></PortTo
2425 ><Position X="4.841875000000001" Y="3.175"/></Via
2427 ><list-int/></Info></Edge></Edges></Network></RHS
2429 ><MappingElement lhs="3" rhs="3"
2430 /><MappingElement lhs="4" rhs="4"/></Mapping></INRule
2433 ><![CDATA[Erase_Duplicator]]></Name
2435 ><Network Width="15.0" Height="9.0"
2440 ><Position X="2.0" Y="2.0"
2442 ><![CDATA[Node 1]]></Name
2446 ><![CDATA[Erase]]></Shape
2448 ><list-int/></Info></Node
2450 ><Position X="4.0" Y="2.0"
2452 ><![CDATA[Node 2]]></Name
2456 ><![CDATA[duplicator]]></Shape
2458 ><list-int/></Info></Node
2460 ><Position X="2.8283333333333336" Y="0.6058333333333332"
2462 ><![CDATA[Node 3]]></Name
2466 ><![CDATA[interface]]></Shape
2468 ><list-int/></Info></Node
2470 ><Position X="5.124791666666667" Y="0.6322916666666667"
2472 ><![CDATA[Node 4]]></Name
2476 ><![CDATA[interface]]></Shape
2478 ><list-int/></Info></Node></Nodes
2484 ><![CDATA[down]]></PortFrom
2488 ><![CDATA[down]]></PortTo
2491 ><list-int/></Info></Edge
2496 ><![CDATA[copy2]]></PortFrom
2500 ><![CDATA[interface]]></PortTo
2503 ><list-int/></Info></Edge
2508 ><![CDATA[copy1]]></PortFrom
2512 ><![CDATA[interface]]></PortTo
2515 ><list-int/></Info></Edge></Edges></Network></LHS
2517 ><Network Width="15.0" Height="9.0"
2522 ><Position X="2.8283333333333336" Y="0.6058333333333332"
2524 ><![CDATA[Node 3]]></Name
2528 ><![CDATA[interface]]></Shape
2530 ><list-int/></Info></Node
2532 ><Position X="5.124791666666667" Y="0.6322916666666667"
2534 ><![CDATA[Node 4]]></Name
2538 ><![CDATA[interface]]></Shape
2540 ><list-int/></Info></Node
2542 ><Position X="1.508125" Y="2.3283333333333336"
2544 ><![CDATA[Node 5]]></Name
2548 ><![CDATA[Erase]]></Shape
2550 ><list-int/></Info></Node
2552 ><Position X="6.588125000000001" Y="2.3283333333333336"
2554 ><![CDATA[Node 6]]></Name
2558 ><![CDATA[Erase]]></Shape
2560 ><list-int/></Info></Node></Nodes
2566 ><![CDATA[interface]]></PortFrom
2570 ><![CDATA[down]]></PortTo
2572 ><Position X="2.804583333333334" Y="2.8045833333333334"/></Via
2574 ><list-int/></Info></Edge
2579 ><![CDATA[interface]]></PortFrom
2583 ><![CDATA[down]]></PortTo
2585 ><Position X="5.106458333333333" Y="2.8045833333333334"/></Via
2587 ><list-int/></Info></Edge></Edges></Network></RHS
2589 ><MappingElement lhs="3" rhs="3"
2590 /><MappingElement lhs="4" rhs="4"/></Mapping></INRule
2593 ><![CDATA[Erase_Erase]]></Name
2595 ><Network Width="15.0" Height="9.0"
2600 ><Position X="2.0" Y="2.0"
2602 ><![CDATA[Node 1]]></Name
2606 ><![CDATA[Erase]]></Shape
2608 ><list-int/></Info></Node
2610 ><Position X="4.0" Y="2.0"
2612 ><![CDATA[Node 2]]></Name
2616 ><![CDATA[Erase]]></Shape
2618 ><list-int/></Info></Node></Nodes
2624 ><![CDATA[down]]></PortFrom
2628 ><![CDATA[down]]></PortTo
2631 ><list-int/></Info></Edge></Edges></Network></LHS
2633 ><Network Width="15.0" Height="9.0"
2637 /><Edges/></Network></RHS
2641 ><![CDATA[Copy_Application]]></Name
2643 ><Network Width="15.0" Height="9.0"
2648 ><Position X="2.0" Y="2.0"
2650 ><![CDATA[Node 1]]></Name
2654 ><![CDATA[copy]]></Shape
2656 ><list-int/></Info></Node
2658 ><Position X="3.6560416666666664" Y="2.88875"
2660 ><![CDATA[Node 2]]></Name
2664 ><![CDATA[application]]></Shape
2666 ><list-int/></Info></Node
2668 ><Position X="1.5583333333333336" Y="0.5264583333333334"
2670 ><![CDATA[Node 3]]></Name
2674 ><![CDATA[interface]]></Shape
2676 ><list-int/></Info></Node
2678 ><Position X="2.5318750000000003" Y="0.5529166666666667"
2680 ><![CDATA[Node 4]]></Name
2684 ><![CDATA[interface]]></Shape
2686 ><list-int/></Info></Node
2688 ><Position X="2.6587500000000004" Y="5.130208333333333"
2690 ><![CDATA[Node 5]]></Name
2694 ><![CDATA[interface]]></Shape
2696 ><list-int/></Info></Node
2698 ><Position X="3.9660416666666674" Y="5.1295833333333345"
2700 ><![CDATA[Node 6]]></Name
2704 ><![CDATA[interface]]></Shape
2706 ><list-int/></Info></Node></Nodes
2712 ><![CDATA[src]]></PortFrom
2716 ><![CDATA[func]]></PortTo
2718 ><Position X="1.9843750000000009" Y="3.1750000000000003"/></Via
2720 ><list-int/></Info></Edge
2725 ><![CDATA[snd_target]]></PortFrom
2729 ><![CDATA[interface]]></PortTo
2732 ><list-int/></Info></Edge
2737 ><![CDATA[fst_target]]></PortFrom
2741 ><![CDATA[interface]]></PortTo
2744 ><list-int/></Info></Edge
2749 ><![CDATA[arg]]></PortFrom
2753 ><![CDATA[interface]]></PortTo
2756 ><list-int/></Info></Edge
2761 ><![CDATA[res]]></PortFrom
2765 ><![CDATA[interface]]></PortTo
2767 ><Position X="2.6458333333333335" Y="2.513541666666667"/></Via
2769 ><list-int/></Info></Edge></Edges></Network></LHS
2771 ><Network Width="15.0" Height="9.0"
2776 ><Position X="1.5583333333333336" Y="0.5264583333333334"
2778 ><![CDATA[Node 3]]></Name
2782 ><![CDATA[interface]]></Shape
2784 ><list-int/></Info></Node
2786 ><Position X="4.913125" Y="0.3677083333333333"
2788 ><![CDATA[Node 4]]></Name
2792 ><![CDATA[interface]]></Shape
2794 ><list-int/></Info></Node
2796 ><Position X="3.0291666666666663" Y="5.050833333333333"
2798 ><![CDATA[Node 5]]></Name
2802 ><![CDATA[interface]]></Shape
2804 ><list-int/></Info></Node
2806 ><Position X="6.05625" Y="4.997291666666667"
2808 ><![CDATA[Node 6]]></Name
2812 ><![CDATA[interface]]></Shape
2814 ><list-int/></Info></Node
2816 ><Position X="6.058958333333335" Y="3.810000000000001"
2818 ><![CDATA[Node 7]]></Name
2822 ><![CDATA[copy]]></Shape
2824 ><list-int/></Info></Node
2826 ><Position X="3.0427083333333336" Y="3.8364583333333333"
2828 ><![CDATA[Node 8]]></Name
2832 ><![CDATA[copy]]></Shape
2834 ><list-int/></Info></Node
2836 ><Position X="2.7781250000000006" Y="1.6933333333333338"
2838 ><![CDATA[Node 9]]></Name
2842 ><![CDATA[application]]></Shape
2844 ><list-int/></Info></Node
2846 ><Position X="6.058958333333334" Y="1.7197916666666666"
2848 ><![CDATA[Node 10]]></Name
2852 ><![CDATA[application]]></Shape
2854 ><list-int/></Info></Node></Nodes
2860 ><![CDATA[func]]></PortFrom
2864 ><![CDATA[interface]]></PortTo
2866 ><Position X="1.5345833333333332" Y="1.9843750000000004"/></Via
2868 ><list-int/></Info></Edge
2873 ><![CDATA[func]]></PortFrom
2877 ><![CDATA[interface]]></PortTo
2879 ><Position X="4.894791666666666" Y="2.0108333333333333"/></Via
2881 ><list-int/></Info></Edge
2886 ><![CDATA[src]]></PortFrom
2890 ><![CDATA[interface]]></PortTo
2893 ><list-int/></Info></Edge
2898 ><![CDATA[src]]></PortFrom
2902 ><![CDATA[interface]]></PortTo
2905 ><list-int/></Info></Edge
2910 ><![CDATA[res]]></PortFrom
2914 ><![CDATA[snd_target]]></PortTo
2916 ><Position X="4.339166666666666" Y="1.3758333333333332"/></Via
2918 ><list-int/></Info></Edge
2923 ><![CDATA[res]]></PortFrom
2927 ><![CDATA[fst_target]]></PortTo
2929 ><Position X="1.9314583333333337" Y="1.349375"
2930 /><Position X="1.9314583333333337" Y="3.5189583333333334"/></Via
2932 ><list-int/></Info></Edge
2937 ><![CDATA[arg]]></PortFrom
2941 ><![CDATA[fst_target]]></PortTo
2944 ><list-int/></Info></Edge
2949 ><![CDATA[arg]]></PortFrom
2953 ><![CDATA[snd_target]]></PortTo
2956 ><list-int/></Info></Edge></Edges></Network></RHS
2958 ><MappingElement lhs="3" rhs="3"
2959 /><MappingElement lhs="4" rhs="4"
2960 /><MappingElement lhs="5" rhs="5"
2961 /><MappingElement lhs="6" rhs="6"/></Mapping></INRule
2964 ><![CDATA[Copy_Evaluator]]></Name
2966 ><Network Width="15.0" Height="9.0"
2971 ><Position X="2.0" Y="2.0"
2973 ><![CDATA[Node 1]]></Name
2977 ><![CDATA[copy]]></Shape
2979 ><list-int/></Info></Node
2981 ><Position X="4.026458333333333" Y="1.7883333333333333"
2983 ><![CDATA[Node 2]]></Name
2987 ><![CDATA[evaluation]]></Shape
2989 ><list-int/></Info></Node
2991 ><Position X="1.4789583333333334" Y="0.6058333333333333"
2993 ><![CDATA[Node 3]]></Name
2997 ><![CDATA[interface]]></Shape
2999 ><list-int/></Info></Node
3001 ><Position X="2.5583333333333336" Y="0.6322916666666667"
3003 ><![CDATA[Node 4]]></Name
3007 ><![CDATA[interface]]></Shape
3009 ><list-int/></Info></Node
3011 ><Position X="6.045416666666667" Y="1.0291666666666668"
3013 ><![CDATA[Node 5]]></Name
3017 ><![CDATA[interface]]></Shape
3019 ><list-int/></Info></Node></Nodes
3025 ><![CDATA[src]]></PortFrom
3029 ><![CDATA[arg]]></PortTo
3032 ><list-int/></Info></Edge
3037 ><![CDATA[snd_target]]></PortFrom
3041 ><![CDATA[interface]]></PortTo
3044 ><list-int/></Info></Edge
3049 ><![CDATA[fst_target]]></PortFrom
3053 ><![CDATA[interface]]></PortTo
3056 ><list-int/></Info></Edge
3061 ><![CDATA[res]]></PortFrom
3065 ><![CDATA[interface]]></PortTo
3068 ><list-int/></Info></Edge></Edges></Network></LHS
3070 ><Network Width="15.0" Height="9.0"
3075 ><Position X="1.9816666666666665" Y="0.6322916666666668"
3077 ><![CDATA[Node 3]]></Name
3081 ><![CDATA[interface]]></Shape
3083 ><list-int/></Info></Node
3085 ><Position X="5.945" Y="0.6852083333333334"
3087 ><![CDATA[Node 4]]></Name
3091 ><![CDATA[interface]]></Shape
3093 ><list-int/></Info></Node
3095 ><Position X="3.822916666666667" Y="5.262500000000001"
3097 ><![CDATA[Node 5]]></Name
3101 ><![CDATA[interface]]></Shape
3103 ><list-int/></Info></Node
3105 ><Position X="3.8364583333333337" Y="3.571875"
3107 ><![CDATA[Node 6]]></Name
3111 ><![CDATA[copy]]></Shape
3113 ><list-int/></Info></Node
3115 ><Position X="2.831041666666667" Y="2.407708333333333"
3117 ><![CDATA[Node 7]]></Name
3121 ><![CDATA[evaluation]]></Shape
3123 ><list-int/></Info></Node
3125 ><Position X="5.000625" Y="2.407708333333333"
3127 ><![CDATA[Node 8]]></Name
3131 ><![CDATA[evaluation]]></Shape
3133 ><list-int/></Info></Node></Nodes
3139 ><![CDATA[arg]]></PortFrom
3143 ><![CDATA[interface]]></PortTo
3145 ><Position X="1.9579166666666667" Y="2.8839583333333336"/></Via
3147 ><list-int/></Info></Edge
3152 ><![CDATA[arg]]></PortFrom
3156 ><![CDATA[interface]]></PortTo
3158 ><Position X="5.926666666666668" Y="2.8839583333333336"/></Via
3160 ><list-int/></Info></Edge
3165 ><![CDATA[src]]></PortFrom
3169 ><![CDATA[interface]]></PortTo
3172 ><list-int/></Info></Edge
3177 ><![CDATA[fst_target]]></PortFrom
3181 ><![CDATA[res]]></PortTo
3183 ><Position X="3.5189583333333334" Y="1.905"/></Via
3185 ><list-int/></Info></Edge
3190 ><![CDATA[snd_target]]></PortFrom
3194 ><![CDATA[res]]></PortTo
3196 ><Position X="4.1275" Y="1.9050000000000002"/></Via
3198 ><list-int/></Info></Edge></Edges></Network></RHS
3200 ><MappingElement lhs="3" rhs="3"
3201 /><MappingElement lhs="4" rhs="4"
3202 /><MappingElement lhs="5" rhs="5"/></Mapping></INRule
3205 ><![CDATA[Copy_preApplication]]></Name
3207 ><Network Width="15.0" Height="9.0"
3212 ><Position X="2.0" Y="2.0"
3214 ><![CDATA[Node 1]]></Name
3218 ><![CDATA[copy]]></Shape
3220 ><list-int/></Info></Node
3222 ><Position X="1.1614583333333335" Y="0.5264583333333334"
3224 ><![CDATA[Node 3]]></Name
3228 ><![CDATA[interface]]></Shape
3230 ><list-int/></Info></Node
3232 ><Position X="2.9022916666666667" Y="0.579375"
3234 ><![CDATA[Node 4]]></Name
3238 ><![CDATA[interface]]></Shape
3240 ><list-int/></Info></Node
3242 ><Position X="2.4579166666666667" Y="5.526458333333334"
3244 ><![CDATA[Node 5]]></Name
3248 ><![CDATA[interface]]></Shape
3250 ><list-int/></Info></Node
3252 ><Position X="1.5" Y="5.5"
3254 ><![CDATA[Node 6]]></Name
3258 ><![CDATA[interface]]></Shape
3260 ><list-int/></Info></Node
3262 ><Position X="2.0108333333333337" Y="3.8100000000000005"
3264 ><![CDATA[Node 7]]></Name
3268 ><![CDATA[beforeApplication]]></Shape
3270 ><list-int/></Info></Node></Nodes
3276 ><![CDATA[snd_target]]></PortFrom
3280 ><![CDATA[interface]]></PortTo
3283 ><list-int/></Info></Edge
3288 ><![CDATA[fst_target]]></PortFrom
3292 ><![CDATA[interface]]></PortTo
3295 ><list-int/></Info></Edge
3300 ><![CDATA[src]]></PortFrom
3304 ><![CDATA[res]]></PortTo
3307 ><list-int/></Info></Edge
3312 ><![CDATA[func]]></PortFrom
3316 ><![CDATA[interface]]></PortTo
3319 ><list-int/></Info></Edge
3324 ><![CDATA[arg]]></PortFrom
3328 ><![CDATA[interface]]></PortTo
3331 ><list-int/></Info></Edge></Edges></Network></LHS
3333 ><Network Width="15.0" Height="9.0"
3338 ><Position X="0.8704166666666667" Y="0.5264583333333334"
3340 ><![CDATA[Node 3]]></Name
3344 ><![CDATA[interface]]></Shape
3346 ><list-int/></Info></Node
3348 ><Position X="2.214374999999999" Y="0.5529166666666667"
3350 ><![CDATA[Node 4]]></Name
3354 ><![CDATA[interface]]></Shape
3356 ><list-int/></Info></Node
3358 ><Position X="0.8120833333333325" Y="5.5"
3360 ><![CDATA[Node 6]]></Name
3364 ><![CDATA[interface]]></Shape
3366 ><list-int/></Info></Node
3368 ><Position X="0.846666666666667" Y="4.312708333333333"
3370 ><![CDATA[Node 9]]></Name
3374 ><![CDATA[copy]]></Shape
3376 ><list-int/></Info></Node
3378 ><Position X="2.1960416666666664" Y="5.503333333333334"
3380 ><![CDATA[Node 12]]></Name
3384 ><![CDATA[interface]]></Shape
3386 ><list-int/></Info></Node
3388 ><Position X="2.196041666666667" Y="4.312708333333333"
3390 ><![CDATA[Node 13]]></Name
3394 ><![CDATA[copy]]></Shape
3396 ><list-int/></Info></Node
3398 ><Position X="0.8466666666666668" Y="1.9579166666666667"
3400 ><![CDATA[Node 14]]></Name
3404 ><![CDATA[beforeApplication]]></Shape
3406 ><list-int/></Info></Node
3408 ><Position X="2.4870833333333335" Y="1.9843750000000002"
3410 ><![CDATA[Node 15]]></Name
3414 ><![CDATA[beforeApplication]]></Shape
3416 ><list-int/></Info></Node></Nodes
3422 ><![CDATA[src]]></PortFrom
3426 ><![CDATA[interface]]></PortTo
3429 ><list-int/></Info></Edge
3434 ><![CDATA[interface]]></PortFrom
3438 ><![CDATA[src]]></PortTo
3441 ><list-int/></Info></Edge
3446 ><![CDATA[res]]></PortFrom
3450 ><![CDATA[interface]]></PortTo
3453 ><list-int/></Info></Edge
3458 ><![CDATA[func]]></PortFrom
3462 ><![CDATA[fst_target]]></PortTo
3465 ><list-int/></Info></Edge
3470 ><![CDATA[arg]]></PortFrom
3474 ><![CDATA[fst_target]]></PortTo
3477 ><list-int/></Info></Edge
3482 ><![CDATA[interface]]></PortFrom
3486 ><![CDATA[res]]></PortTo
3489 ><list-int/></Info></Edge
3494 ><![CDATA[func]]></PortFrom
3498 ><![CDATA[snd_target]]></PortTo
3501 ><list-int/></Info></Edge
3506 ><![CDATA[arg]]></PortFrom
3510 ><![CDATA[snd_target]]></PortTo
3513 ><list-int/></Info></Edge></Edges></Network></RHS
3515 ><MappingElement lhs="3" rhs="3"
3516 /><MappingElement lhs="4" rhs="4"
3517 /><MappingElement lhs="5" rhs="12"
3518 /><MappingElement lhs="6" rhs="6"/></Mapping></INRule
3521 ><![CDATA[Copy_Duplicator]]></Name
3523 ><Network Width="15.0" Height="9.0"
3528 ><Position X="2.0" Y="2.0"
3530 ><![CDATA[Node 1]]></Name
3534 ><![CDATA[copy]]></Shape
3536 ><list-int/></Info></Node
3538 ><Position X="3.9735416666666667" Y="1.7883333333333333"
3540 ><![CDATA[Node 2]]></Name
3544 ><![CDATA[duplicator]]></Shape
3546 ><list-int/></Info></Node
3548 ><Position X="1.4789583333333334" Y="0.5"
3550 ><![CDATA[Node 3]]></Name
3554 ><![CDATA[interface]]></Shape
3556 ><list-int/></Info></Node
3558 ><Position X="2.267291666666667" Y="0.5"
3560 ><![CDATA[Node 4]]></Name
3564 ><![CDATA[interface]]></Shape
3566 ><list-int/></Info></Node
3568 ><Position X="3.5318750000000003" Y="0.4735416666666667"
3570 ><![CDATA[Node 5]]></Name
3574 ><![CDATA[interface]]></Shape
3576 ><list-int/></Info></Node
3578 ><Position X="4.690625" Y="0.5"
3580 ><![CDATA[Node 6]]></Name
3584 ><![CDATA[interface]]></Shape
3586 ><list-int/></Info></Node></Nodes
3592 ><![CDATA[src]]></PortFrom
3596 ><![CDATA[down]]></PortTo
3599 ><list-int/></Info></Edge
3604 ><![CDATA[snd_target]]></PortFrom
3608 ><![CDATA[interface]]></PortTo
3611 ><list-int/></Info></Edge
3616 ><![CDATA[fst_target]]></PortFrom
3620 ><![CDATA[interface]]></PortTo
3623 ><list-int/></Info></Edge
3628 ><![CDATA[copy2]]></PortFrom
3632 ><![CDATA[interface]]></PortTo
3635 ><list-int/></Info></Edge
3640 ><![CDATA[copy1]]></PortFrom
3644 ><![CDATA[interface]]></PortTo
3647 ><list-int/></Info></Edge></Edges></Network></LHS
3649 ><Network Width="15.0" Height="9.0"
3654 ><Position X="1.4789583333333334" Y="0.5"
3656 ><![CDATA[Node 3]]></Name
3660 ><![CDATA[interface]]></Shape
3662 ><list-int/></Info></Node
3664 ><Position X="2.29375" Y="0.5"
3666 ><![CDATA[Node 4]]></Name
3670 ><![CDATA[interface]]></Shape
3672 ><list-int/></Info></Node
3674 ><Position X="7.844583333333335" Y="5.500625"
3676 ><![CDATA[Node 5]]></Name
3680 ><![CDATA[interface]]></Shape
3682 ><list-int/></Info></Node
3684 ><Position X="9.267916666666672" Y="5.606458333333333"
3686 ><![CDATA[Node 6]]></Name
3690 ><![CDATA[interface]]></Shape
3692 ><list-int/></Info></Node
3694 ><Position X="7.884583333333335" Y="4.259791666666667"
3696 ><![CDATA[Node 7]]></Name
3700 ><![CDATA[copy]]></Shape
3702 ><list-int/></Info></Node
3704 ><Position X="9.260416666666671" Y="4.312708333333333"
3706 ><![CDATA[Node 8]]></Name
3710 ><![CDATA[copy]]></Shape
3712 ><list-int/></Info></Node
3714 ><Position X="2.460625000000001" Y="3.175000000000001"
3716 ><![CDATA[Node 9]]></Name
3720 ><![CDATA[duplicator]]></Shape
3722 ><list-int/></Info></Node
3724 ><Position X="4.788958333333334" Y="1.2435416666666672"
3726 ><![CDATA[Node 10]]></Name
3730 ><![CDATA[duplicator]]></Shape
3732 ><list-int/></Info></Node></Nodes
3738 ><![CDATA[src]]></PortFrom
3742 ><![CDATA[interface]]></PortTo
3745 ><list-int/></Info></Edge
3750 ><![CDATA[interface]]></PortFrom
3754 ><![CDATA[src]]></PortTo
3757 ><list-int/></Info></Edge
3762 ><![CDATA[down]]></PortFrom
3766 ><![CDATA[interface]]></PortTo
3768 ><Position X="1.4552083333333334" Y="3.6512500000000006"/></Via
3770 ><list-int/></Info></Edge
3775 ><![CDATA[interface]]></PortFrom
3779 ><![CDATA[down]]></PortTo
3781 ><Position X="2.2754166666666666" Y="1.7197916666666666"/></Via
3783 ><list-int/></Info></Edge
3788 ><![CDATA[copy2]]></PortFrom
3792 ><![CDATA[snd_target]]></PortTo
3794 ><Position X="9.551458333333334" Y="2.857500000000001"/></Via
3796 ><list-int/></Info></Edge
3801 ><![CDATA[fst_target]]></PortFrom
3805 ><![CDATA[copy1]]></PortTo
3807 ><Position X="7.567083333333334" Y="0.39687500000000003"
3808 /><Position X="4.4714583333333335" Y="0.3968750000000003"/></Via
3810 ><list-int/></Info></Edge
3815 ><![CDATA[copy2]]></PortFrom
3819 ><![CDATA[fst_target]]></PortTo
3821 ><Position X="8.942916666666669" Y="0.9260416666666667"/></Via
3823 ><list-int/></Info></Edge
3828 ><![CDATA[copy1]]></PortFrom
3832 ><![CDATA[snd_target]]></PortTo
3834 ><Position X="2.1431250000000004" Y="2.248958333333334"
3835 /><Position X="8.202083333333333" Y="2.248958333333334"/></Via
3837 ><list-int/></Info></Edge></Edges></Network></RHS
3839 ><MappingElement lhs="3" rhs="3"
3840 /><MappingElement lhs="4" rhs="4"
3841 /><MappingElement lhs="5" rhs="5"
3842 /><MappingElement lhs="6" rhs="6"/></Mapping></INRule
3845 ><![CDATA[Duplicator_Lambda]]></Name
3847 ><Network Width="15.0" Height="9.0"
3852 ><Position X="2.0" Y="2.0"
3854 ><![CDATA[Node 1]]></Name
3858 ><![CDATA[duplicator]]></Shape
3860 ><list-int/></Info></Node
3862 ><Position X="0.9233333333333333" Y="0.5"
3864 ><![CDATA[Node 3]]></Name
3868 ><![CDATA[interface]]></Shape
3870 ><list-int/></Info></Node
3872 ><Position X="2.92875" Y="0.5529166666666667"
3874 ><![CDATA[Node 4]]></Name
3878 ><![CDATA[interface]]></Shape
3880 ><list-int/></Info></Node
3882 ><Position X="2.6695833333333336" Y="5.4470833333333335"
3884 ><![CDATA[Node 5]]></Name
3888 ><![CDATA[interface]]></Shape
3890 ><list-int/></Info></Node
3892 ><Position X="1.3147916666666666" Y="5.473541666666667"
3894 ><![CDATA[Node 6]]></Name
3898 ><![CDATA[interface]]></Shape
3900 ><list-int/></Info></Node
3902 ><Position X="1.984375" Y="4.101041666666667"
3904 ><![CDATA[Node 7]]></Name
3908 ><![CDATA[lambda]]></Shape
3910 ><list-int/></Info></Node></Nodes
3916 ><![CDATA[copy2]]></PortFrom
3920 ><![CDATA[interface]]></PortTo
3923 ><list-int/></Info></Edge
3928 ><![CDATA[copy1]]></PortFrom
3932 ><![CDATA[interface]]></PortTo
3935 ><list-int/></Info></Edge
3940 ><![CDATA[down]]></PortFrom
3944 ><![CDATA[res]]></PortTo
3947 ><list-int/></Info></Edge
3952 ><![CDATA[var]]></PortFrom
3956 ><![CDATA[interface]]></PortTo
3959 ><list-int/></Info></Edge
3964 ><![CDATA[body]]></PortFrom
3968 ><![CDATA[interface]]></PortTo
3971 ><list-int/></Info></Edge></Edges></Network></LHS
3973 ><Network Width="15.0" Height="9.0"
3978 ><Position X="0.9233333333333333" Y="0.5264583333333334"
3980 ><![CDATA[Node 3]]></Name
3984 ><![CDATA[interface]]></Shape
3986 ><list-int/></Info></Node
3988 ><Position X="2.92875" Y="0.5529166666666667"
3990 ><![CDATA[Node 4]]></Name
3994 ><![CDATA[interface]]></Shape
3996 ><list-int/></Info></Node
3998 ><Position X="2.907708333333334" Y="5.579375"
4000 ><![CDATA[Node 5]]></Name
4004 ><![CDATA[interface]]></Shape
4006 ><list-int/></Info></Node
4008 ><Position X="0.9179166666666665" Y="5.579375"
4010 ><![CDATA[Node 6]]></Name
4014 ><![CDATA[interface]]></Shape
4016 ><list-int/></Info></Node
4018 ><Position X="0.9260416666666668" Y="4.153958333333334"
4020 ><![CDATA[Node 7]]></Name
4024 ><![CDATA[duplicator]]></Shape
4026 ><list-int/></Info></Node
4028 ><Position X="2.9104166666666673" Y="4.153958333333334"
4030 ><![CDATA[Node 8]]></Name
4034 ><![CDATA[duplicator]]></Shape
4036 ><list-int/></Info></Node
4038 ><Position X="0.8995833333333334" Y="2.143125"
4040 ><![CDATA[Node 11]]></Name
4044 ><![CDATA[lambda]]></Shape
4046 ><list-int/></Info></Node
4048 ><Position X="2.910416666666667" Y="2.1166666666666667"
4050 ><![CDATA[Node 12]]></Name
4054 ><![CDATA[lambda]]></Shape
4056 ><list-int/></Info></Node></Nodes
4062 ><![CDATA[down]]></PortFrom
4066 ><![CDATA[interface]]></PortTo
4069 ><list-int/></Info></Edge
4074 ><![CDATA[down]]></PortFrom
4078 ><![CDATA[interface]]></PortTo
4081 ><list-int/></Info></Edge
4086 ><![CDATA[interface]]></PortFrom
4090 ><![CDATA[res]]></PortTo
4093 ><list-int/></Info></Edge
4098 ><![CDATA[var]]></PortFrom
4102 ><![CDATA[copy1]]></PortTo
4105 ><list-int/></Info></Edge
4110 ><![CDATA[body]]></PortFrom
4114 ><![CDATA[copy1]]></PortTo
4117 ><list-int/></Info></Edge
4122 ><![CDATA[interface]]></PortFrom
4126 ><![CDATA[res]]></PortTo
4129 ><list-int/></Info></Edge
4134 ><![CDATA[var]]></PortFrom
4138 ><![CDATA[copy2]]></PortTo
4141 ><list-int/></Info></Edge
4146 ><![CDATA[body]]></PortFrom
4150 ><![CDATA[copy2]]></PortTo
4153 ><list-int/></Info></Edge></Edges></Network></RHS
4155 ><MappingElement lhs="3" rhs="3"
4156 /><MappingElement lhs="4" rhs="4"
4157 /><MappingElement lhs="5" rhs="5"
4158 /><MappingElement lhs="6" rhs="6"/></Mapping></INRule
4161 ><![CDATA[Duplicator_Application]]></Name
4163 ><Network Width="15.0" Height="9.0"
4168 ><Position X="2.0" Y="2.0"
4170 ><![CDATA[Node 1]]></Name
4174 ><![CDATA[duplicator]]></Shape
4176 ><list-int/></Info></Node
4178 ><Position X="3.576666666666666" Y="3.444375"
4180 ><![CDATA[Node 2]]></Name
4184 ><![CDATA[application]]></Shape
4186 ><list-int/></Info></Node
4188 ><Position X="1.3466666666666667" Y="0.47354166666666664"
4190 ><![CDATA[Node 3]]></Name
4194 ><![CDATA[interface]]></Shape
4196 ><list-int/></Info></Node
4198 ><Position X="2.584791666666667" Y="0.5529166666666667"
4200 ><![CDATA[Node 4]]></Name
4204 ><![CDATA[interface]]></Shape
4206 ><list-int/></Info></Node
4208 ><Position X="5.860208333333334" Y="2.8283333333333336"
4210 ><![CDATA[Node 5]]></Name
4214 ><![CDATA[interface]]></Shape
4216 ><list-int/></Info></Node
4218 ><Position X="4.839166666666666" Y="5.288333333333334"
4220 ><![CDATA[Node 6]]></Name
4224 ><![CDATA[interface]]></Shape
4226 ><list-int/></Info></Node></Nodes
4232 ><![CDATA[down]]></PortFrom
4236 ><![CDATA[func]]></PortTo
4239 ><list-int/></Info></Edge
4244 ><![CDATA[copy2]]></PortFrom
4248 ><![CDATA[interface]]></PortTo
4251 ><list-int/></Info></Edge
4256 ><![CDATA[copy1]]></PortFrom
4260 ><![CDATA[interface]]></PortTo
4263 ><list-int/></Info></Edge
4268 ><![CDATA[arg]]></PortFrom
4272 ><![CDATA[interface]]></PortTo
4275 ><list-int/></Info></Edge
4280 ><![CDATA[res]]></PortFrom
4284 ><![CDATA[interface]]></PortTo
4287 ><list-int/></Info></Edge></Edges></Network></LHS
4289 ><Network Width="15.0" Height="9.0"
4294 ><Position X="1.3466666666666667" Y="0.47354166666666664"
4296 ><![CDATA[Node 3]]></Name
4300 ><![CDATA[interface]]></Shape
4302 ><list-int/></Info></Node
4304 ><Position X="3.378541666666667" Y="0.44708333333333333"
4306 ><![CDATA[Node 4]]></Name
4310 ><![CDATA[interface]]></Shape
4312 ><list-int/></Info></Node
4314 ><Position X="8.082708333333334" Y="4.495208333333334"
4316 ><![CDATA[Node 5]]></Name
4320 ><![CDATA[interface]]></Shape
4322 ><list-int/></Info></Node
4324 ><Position X="3.039999999999999" Y="5.870416666666667"
4326 ><![CDATA[Node 6]]></Name
4330 ><![CDATA[interface]]></Shape
4332 ><list-int/></Info></Node
4334 ><Position X="2.196041666666667" Y="2.037291666666667"
4336 ><![CDATA[Node 7]]></Name
4340 ><![CDATA[application]]></Shape
4342 ><list-int/></Info></Node
4344 ><Position X="4.180416666666667" Y="2.0902083333333334"
4346 ><![CDATA[Node 8]]></Name
4350 ><![CDATA[application]]></Shape
4352 ><list-int/></Info></Node
4354 ><Position X="3.0427083333333336" Y="4.101041666666667"
4356 ><![CDATA[Node 9]]></Name
4360 ><![CDATA[duplicator]]></Shape
4362 ><list-int/></Info></Node
4364 ><Position X="8.096249999999998" Y="2.7781249999999997"
4366 ><![CDATA[Node 10]]></Name
4370 ><![CDATA[duplicator]]></Shape
4372 ><list-int/></Info></Node></Nodes
4378 ><![CDATA[func]]></PortFrom
4382 ><![CDATA[interface]]></PortTo
4384 ><Position X="1.3229166666666667" Y="2.3018750000000003"/></Via
4386 ><list-int/></Info></Edge
4391 ><![CDATA[interface]]></PortFrom
4395 ><![CDATA[func]]></PortTo
4397 ><Position X="3.360208333333334" Y="2.38125"/></Via
4399 ><list-int/></Info></Edge
4404 ><![CDATA[down]]></PortFrom
4408 ><![CDATA[interface]]></PortTo
4411 ><list-int/></Info></Edge
4416 ><![CDATA[down]]></PortFrom
4420 ><![CDATA[interface]]></PortTo
4423 ><list-int/></Info></Edge
4428 ><![CDATA[copy1]]></PortFrom
4432 ><![CDATA[res]]></PortTo
4434 ><Position X="7.7787500000000005" Y="1.2964583333333335"
4435 /><Position X="2.1695833333333336" Y="1.2964583333333335"/></Via
4437 ><list-int/></Info></Edge
4442 ><![CDATA[res]]></PortFrom
4446 ><![CDATA[copy2]]></PortTo
4448 ><Position X="4.153958333333334" Y="0.6879166666666666"
4449 /><Position X="8.413749999999999" Y="0.6879166666666665"/></Via
4451 ><list-int/></Info></Edge
4456 ><![CDATA[copy1]]></PortFrom
4460 ><![CDATA[arg]]></PortTo
4463 ><list-int/></Info></Edge
4468 ><![CDATA[arg]]></PortFrom
4472 ><![CDATA[copy2]]></PortTo
4475 ><list-int/></Info></Edge></Edges></Network></RHS
4477 ><MappingElement lhs="3" rhs="3"
4478 /><MappingElement lhs="4" rhs="4"
4479 /><MappingElement lhs="5" rhs="5"
4480 /><MappingElement lhs="6" rhs="6"/></Mapping></INRule
4483 ><![CDATA[Duplicator_Evaluator]]></Name
4485 ><Network Width="15.0" Height="9.0"
4490 ><Position X="2.0" Y="2.0"
4492 ><![CDATA[Node 1]]></Name
4496 ><![CDATA[duplicator]]></Shape
4498 ><list-int/></Info></Node
4500 ><Position X="4.0" Y="2.0"
4502 ><![CDATA[Node 2]]></Name
4506 ><![CDATA[evaluation]]></Shape
4508 ><list-int/></Info></Node
4510 ><Position X="1.5847916666666668" Y="0.5529166666666666"
4512 ><![CDATA[Node 3]]></Name
4516 ><![CDATA[interface]]></Shape
4518 ><list-int/></Info></Node
4520 ><Position X="2.426041666666667" Y="0.5529166666666667"
4522 ><![CDATA[Node 4]]></Name
4526 ><![CDATA[interface]]></Shape
4528 ><list-int/></Info></Node
4530 ><Position X="4.008125" Y="0.44708333333333333"
4532 ><![CDATA[Node 5]]></Name
4536 ><![CDATA[interface]]></Shape
4538 ><list-int/></Info></Node></Nodes
4544 ><![CDATA[down]]></PortFrom
4548 ><![CDATA[arg]]></PortTo
4551 ><list-int/></Info></Edge
4556 ><![CDATA[copy2]]></PortFrom
4560 ><![CDATA[interface]]></PortTo
4563 ><list-int/></Info></Edge
4568 ><![CDATA[copy1]]></PortFrom
4572 ><![CDATA[interface]]></PortTo
4575 ><list-int/></Info></Edge
4580 ><![CDATA[res]]></PortFrom
4584 ><![CDATA[interface]]></PortTo
4587 ><list-int/></Info></Edge></Edges></Network></LHS
4589 ><Network Width="15.0" Height="9.0"
4594 ><Position X="1.5847916666666668" Y="0.5529166666666666"
4596 ><![CDATA[Node 3]]></Name
4600 ><![CDATA[interface]]></Shape
4602 ><list-int/></Info></Node
4604 ><Position X="5.257083333333336" Y="0.5793750000000001"
4606 ><![CDATA[Node 4]]></Name
4610 ><![CDATA[interface]]></Shape
4612 ><list-int/></Info></Node
4614 ><Position X="3.2672916666666674" Y="5.7387500000000005"
4616 ><![CDATA[Node 5]]></Name
4620 ><![CDATA[interface]]></Shape
4622 ><list-int/></Info></Node
4624 ><Position X="2.3283333333333336" Y="1.878541666666667"
4626 ><![CDATA[Node 6]]></Name
4630 ><![CDATA[evaluation]]></Shape
4632 ><list-int/></Info></Node
4634 ><Position X="4.471458333333333" Y="1.878541666666667"
4636 ><![CDATA[Node 7]]></Name
4640 ><![CDATA[evaluation]]></Shape
4642 ><list-int/></Info></Node
4644 ><Position X="3.2808333333333337" Y="4.048125000000001"
4646 ><![CDATA[Node 8]]></Name
4650 ><![CDATA[duplicator]]></Shape
4652 ><list-int/></Info></Node></Nodes
4658 ><![CDATA[arg]]></PortFrom
4662 ><![CDATA[interface]]></PortTo
4664 ><Position X="1.5610416666666669" Y="2.3547916666666673"/></Via
4666 ><list-int/></Info></Edge
4671 ><![CDATA[interface]]></PortFrom
4675 ><![CDATA[arg]]></PortTo
4677 ><Position X="5.238750000000001" Y="2.354791666666667"/></Via
4679 ><list-int/></Info></Edge
4684 ><![CDATA[interface]]></PortFrom
4688 ><![CDATA[down]]></PortTo
4691 ><list-int/></Info></Edge
4696 ><![CDATA[copy1]]></PortFrom
4700 ><![CDATA[res]]></PortTo
4702 ><Position X="2.9633333333333334" Y="1.3758333333333337"/></Via
4704 ><list-int/></Info></Edge
4709 ><![CDATA[res]]></PortFrom
4713 ><![CDATA[copy2]]></PortTo
4715 ><Position X="3.5718750000000004" Y="1.3758333333333337"/></Via
4717 ><list-int/></Info></Edge></Edges></Network></RHS
4719 ><MappingElement lhs="3" rhs="3"
4720 /><MappingElement lhs="4" rhs="4"
4721 /><MappingElement lhs="5" rhs="5"/></Mapping></INRule
4724 ><![CDATA[Duplicator_preApplication]]></Name
4726 ><Network Width="15.0" Height="9.0"
4731 ><Position X="2.0" Y="2.0"
4733 ><![CDATA[Node 1]]></Name
4737 ><![CDATA[duplicator]]></Shape
4739 ><list-int/></Info></Node
4741 ><Position X="1.29375" Y="0.5264583333333333"
4743 ><![CDATA[Node 3]]></Name
4747 ><![CDATA[interface]]></Shape
4749 ><list-int/></Info></Node
4751 ><Position X="2.955208333333333" Y="0.6058333333333334"
4753 ><![CDATA[Node 4]]></Name
4757 ><![CDATA[interface]]></Shape
4759 ><list-int/></Info></Node
4761 ><Position X="2.8018750000000003" Y="5.5"
4763 ><![CDATA[Node 5]]></Name
4767 ><![CDATA[interface]]></Shape
4769 ><list-int/></Info></Node
4771 ><Position X="1.2354166666666666" Y="5.5"
4773 ><![CDATA[Node 6]]></Name
4777 ><![CDATA[interface]]></Shape
4779 ><list-int/></Info></Node
4781 ><Position X="2.037291666666667" Y="3.862916666666667"
4783 ><![CDATA[Node 7]]></Name
4787 ><![CDATA[beforeApplication]]></Shape
4789 ><list-int/></Info></Node></Nodes
4795 ><![CDATA[copy2]]></PortFrom
4799 ><![CDATA[interface]]></PortTo
4802 ><list-int/></Info></Edge
4807 ><![CDATA[copy1]]></PortFrom
4811 ><![CDATA[interface]]></PortTo
4814 ><list-int/></Info></Edge
4819 ><![CDATA[down]]></PortFrom
4823 ><![CDATA[res]]></PortTo
4826 ><list-int/></Info></Edge
4831 ><![CDATA[func]]></PortFrom
4835 ><![CDATA[interface]]></PortTo
4838 ><list-int/></Info></Edge
4843 ><![CDATA[arg]]></PortFrom
4847 ><![CDATA[interface]]></PortTo
4850 ><list-int/></Info></Edge></Edges></Network></LHS
4852 ><Network Width="15.0" Height="9.0"
4857 ><Position X="1.29375" Y="0.5264583333333333"
4859 ><![CDATA[Node 3]]></Name
4863 ><![CDATA[interface]]></Shape
4865 ><list-int/></Info></Node
4867 ><Position X="2.955208333333333" Y="0.6322916666666668"
4869 ><![CDATA[Node 4]]></Name
4873 ><![CDATA[interface]]></Shape
4875 ><list-int/></Info></Node
4877 ><Position X="2.934166666666667" Y="5.526458333333333"
4879 ><![CDATA[Node 5]]></Name
4883 ><![CDATA[interface]]></Shape
4885 ><list-int/></Info></Node
4887 ><Position X="1.2883333333333333" Y="5.5"
4889 ><![CDATA[Node 6]]></Name
4893 ><![CDATA[interface]]></Shape
4895 ><list-int/></Info></Node
4897 ><Position X="1.2964583333333337" Y="4.1275"
4899 ><![CDATA[Node 7]]></Name
4903 ><![CDATA[duplicator]]></Shape
4905 ><list-int/></Info></Node
4907 ><Position X="2.936875" Y="4.1275"
4909 ><![CDATA[Node 8]]></Name
4913 ><![CDATA[duplicator]]></Shape
4915 ><list-int/></Info></Node
4917 ><Position X="1.3229166666666667" Y="2.037291666666667"
4919 ><![CDATA[Node 11]]></Name
4923 ><![CDATA[beforeApplication]]></Shape
4925 ><list-int/></Info></Node
4927 ><Position X="2.9368750000000006" Y="2.0108333333333337"
4929 ><![CDATA[Node 12]]></Name
4933 ><![CDATA[beforeApplication]]></Shape
4935 ><list-int/></Info></Node></Nodes
4941 ><![CDATA[down]]></PortFrom
4945 ><![CDATA[interface]]></PortTo
4948 ><list-int/></Info></Edge
4953 ><![CDATA[down]]></PortFrom
4957 ><![CDATA[interface]]></PortTo
4960 ><list-int/></Info></Edge
4965 ><![CDATA[interface]]></PortFrom
4969 ><![CDATA[res]]></PortTo
4972 ><list-int/></Info></Edge
4977 ><![CDATA[func]]></PortFrom
4981 ><![CDATA[copy1]]></PortTo
4984 ><list-int/></Info></Edge
4989 ><![CDATA[arg]]></PortFrom
4993 ><![CDATA[copy1]]></PortTo
4996 ><list-int/></Info></Edge
5001 ><![CDATA[interface]]></PortFrom
5005 ><![CDATA[res]]></PortTo
5008 ><list-int/></Info></Edge
5013 ><![CDATA[func]]></PortFrom
5017 ><![CDATA[copy2]]></PortTo
5020 ><list-int/></Info></Edge
5025 ><![CDATA[arg]]></PortFrom
5029 ><![CDATA[copy2]]></PortTo
5032 ><list-int/></Info></Edge></Edges></Network></RHS
5034 ><MappingElement lhs="3" rhs="3"
5035 /><MappingElement lhs="4" rhs="4"
5036 /><MappingElement lhs="5" rhs="5"
5037 /><MappingElement lhs="6" rhs="6"/></Mapping></INRule
5040 ><![CDATA[Evaluator_Nil]]></Name
5042 ><Network Width="15.0" Height="9.0"
5047 ><Position X="2.0" Y="2.0"
5049 ><![CDATA[Node 1]]></Name
5053 ><![CDATA[evaluation]]></Shape
5055 ><list-int/></Info></Node
5057 ><Position X="2.0" Y="4.0"
5059 ><![CDATA[Node 2]]></Name
5063 ><![CDATA[Nil]]></Shape
5065 ><list-int/></Info></Node
5067 ><Position X="2.008125" Y="0.44708333333333333"
5069 ><![CDATA[Node 3]]></Name
5073 ><![CDATA[interface]]></Shape
5075 ><list-int/></Info></Node></Nodes
5081 ><![CDATA[arg]]></PortFrom
5085 ><![CDATA[res]]></PortTo
5088 ><list-int/></Info></Edge
5093 ><![CDATA[res]]></PortFrom
5097 ><![CDATA[interface]]></PortTo
5100 ><list-int/></Info></Edge></Edges></Network></LHS
5102 ><Network Width="15.0" Height="9.0"
5107 ><Position X="2.0" Y="4.0"
5109 ><![CDATA[Node 2]]></Name
5113 ><![CDATA[Nil]]></Shape
5115 ><list-int/></Info></Node
5117 ><Position X="2.008125" Y="0.44708333333333333"
5119 ><![CDATA[Node 3]]></Name
5123 ><![CDATA[interface]]></Shape
5125 ><list-int/></Info></Node></Nodes
5131 ><![CDATA[interface]]></PortFrom
5135 ><![CDATA[res]]></PortTo
5138 ><list-int/></Info></Edge></Edges></Network></RHS
5140 ><MappingElement lhs="3" rhs="3"/></Mapping></INRule
5143 ><![CDATA[Evaluator_Cons]]></Name
5145 ><Network Width="15.0" Height="9.0"
5150 ><Position X="2.0" Y="2.0"
5152 ><![CDATA[Node 1]]></Name
5156 ><![CDATA[evaluation]]></Shape
5158 ><list-int/></Info></Node
5160 ><Position X="2.0" Y="4.0"
5162 ><![CDATA[Node 2]]></Name
5166 ><![CDATA[Cons]]></Shape
5168 ><list-int/></Info></Node
5170 ><Position X="2.008125" Y="0.47354166666666664"
5172 ><![CDATA[Node 3]]></Name
5176 ><![CDATA[interface]]></Shape
5178 ><list-int/></Info></Node
5180 ><Position X="0.9762500000000001" Y="4.732708333333333"
5182 ><![CDATA[Node 4]]></Name
5186 ><![CDATA[interface]]></Shape
5188 ><list-int/></Info></Node
5190 ><Position X="3.24625" Y="4.970833333333333"
5192 ><![CDATA[Node 5]]></Name
5196 ><![CDATA[interface]]></Shape
5198 ><list-int/></Info></Node></Nodes
5204 ><![CDATA[arg]]></PortFrom
5208 ><![CDATA[res]]></PortTo
5211 ><list-int/></Info></Edge
5216 ><![CDATA[res]]></PortFrom
5220 ><![CDATA[interface]]></PortTo
5223 ><list-int/></Info></Edge
5228 ><![CDATA[tail]]></PortFrom
5232 ><![CDATA[interface]]></PortTo
5235 ><list-int/></Info></Edge
5240 ><![CDATA[head]]></PortFrom
5244 ><![CDATA[interface]]></PortTo
5247 ><list-int/></Info></Edge></Edges></Network></LHS
5249 ><Network Width="15.0" Height="9.0"
5254 ><Position X="2.0" Y="1.9891666666666663"
5256 ><![CDATA[Node 2]]></Name
5260 ><![CDATA[Cons]]></Shape
5262 ><list-int/></Info></Node
5264 ><Position X="2.008125" Y="0.47354166666666664"
5266 ><![CDATA[Node 3]]></Name
5270 ><![CDATA[interface]]></Shape
5272 ><list-int/></Info></Node
5274 ><Position X="0.9762500000000001" Y="4.732708333333333"
5276 ><![CDATA[Node 4]]></Name
5280 ><![CDATA[interface]]></Shape
5282 ><list-int/></Info></Node
5284 ><Position X="3.24625" Y="4.970833333333333"
5286 ><![CDATA[Node 5]]></Name
5290 ><![CDATA[interface]]></Shape
5292 ><list-int/></Info></Node
5294 ><Position X="1.031875" Y="3.4660416666666674"
5296 ><![CDATA[Node 6]]></Name
5300 ><![CDATA[evaluation]]></Shape
5302 ><list-int/></Info></Node
5304 ><Position X="3.2543750000000005" Y="3.466041666666667"
5306 ><![CDATA[Node 7]]></Name
5310 ><![CDATA[evaluation]]></Shape
5312 ><list-int/></Info></Node></Nodes
5318 ><![CDATA[res]]></PortFrom
5322 ><![CDATA[interface]]></PortTo
5325 ><list-int/></Info></Edge
5330 ><![CDATA[res]]></PortFrom
5334 ><![CDATA[head]]></PortTo
5337 ><list-int/></Info></Edge
5342 ><![CDATA[tail]]></PortFrom
5346 ><![CDATA[res]]></PortTo
5349 ><list-int/></Info></Edge
5354 ><![CDATA[arg]]></PortFrom
5358 ><![CDATA[interface]]></PortTo
5361 ><list-int/></Info></Edge
5366 ><![CDATA[arg]]></PortFrom
5370 ><![CDATA[interface]]></PortTo
5373 ><list-int/></Info></Edge></Edges></Network></RHS
5375 ><MappingElement lhs="3" rhs="3"
5376 /><MappingElement lhs="4" rhs="4"
5377 /><MappingElement lhs="5" rhs="5"/></Mapping></INRule
5380 ><![CDATA[Evaluator_True]]></Name
5382 ><Network Width="15.0" Height="9.0"
5387 ><Position X="2.0" Y="2.0"
5389 ><![CDATA[Node 1]]></Name
5393 ><![CDATA[evaluation]]></Shape
5395 ><list-int/></Info></Node
5397 ><Position X="2.0" Y="4.0"
5399 ><![CDATA[Node 2]]></Name
5403 ><![CDATA[True]]></Shape
5405 ><list-int/></Info></Node
5407 ><Position X="2.008125" Y="0.44708333333333333"
5409 ><![CDATA[Node 3]]></Name
5413 ><![CDATA[interface]]></Shape
5415 ><list-int/></Info></Node></Nodes
5421 ><![CDATA[arg]]></PortFrom
5425 ><![CDATA[res]]></PortTo
5428 ><list-int/></Info></Edge
5433 ><![CDATA[res]]></PortFrom
5437 ><![CDATA[interface]]></PortTo
5440 ><list-int/></Info></Edge></Edges></Network></LHS
5442 ><Network Width="15.0" Height="9.0"
5447 ><Position X="2.0" Y="4.0"
5449 ><![CDATA[Node 2]]></Name
5453 ><![CDATA[True]]></Shape
5455 ><list-int/></Info></Node
5457 ><Position X="2.008125" Y="0.44708333333333333"
5459 ><![CDATA[Node 3]]></Name
5463 ><![CDATA[interface]]></Shape
5465 ><list-int/></Info></Node></Nodes
5471 ><![CDATA[res]]></PortFrom
5475 ><![CDATA[interface]]></PortTo
5478 ><list-int/></Info></Edge></Edges></Network></RHS
5480 ><MappingElement lhs="3" rhs="3"/></Mapping></INRule
5483 ><![CDATA[Evaluator_False]]></Name
5485 ><Network Width="15.0" Height="9.0"
5490 ><Position X="2.0" Y="2.0"
5492 ><![CDATA[Node 1]]></Name
5496 ><![CDATA[evaluation]]></Shape
5498 ><list-int/></Info></Node
5500 ><Position X="2.0" Y="4.0"
5502 ><![CDATA[Node 2]]></Name
5506 ><![CDATA[False]]></Shape
5508 ><list-int/></Info></Node
5510 ><Position X="2.008125" Y="0.5"
5512 ><![CDATA[Node 3]]></Name
5516 ><![CDATA[interface]]></Shape
5518 ><list-int/></Info></Node></Nodes
5524 ><![CDATA[arg]]></PortFrom
5528 ><![CDATA[res]]></PortTo
5531 ><list-int/></Info></Edge
5536 ><![CDATA[res]]></PortFrom
5540 ><![CDATA[interface]]></PortTo
5543 ><list-int/></Info></Edge></Edges></Network></LHS
5545 ><Network Width="15.0" Height="9.0"
5550 ><Position X="2.0" Y="4.0"
5552 ><![CDATA[Node 2]]></Name
5556 ><![CDATA[False]]></Shape
5558 ><list-int/></Info></Node
5560 ><Position X="2.008125" Y="0.5"
5562 ><![CDATA[Node 3]]></Name
5566 ><![CDATA[interface]]></Shape
5568 ><list-int/></Info></Node></Nodes
5574 ><![CDATA[res]]></PortFrom
5578 ><![CDATA[interface]]></PortTo
5581 ><list-int/></Info></Edge></Edges></Network></RHS
5583 ><MappingElement lhs="3" rhs="3"/></Mapping></INRule
5586 ><![CDATA[Evaluator_Zero]]></Name
5588 ><Network Width="15.0" Height="9.0"
5593 ><Position X="2.0" Y="2.0"
5595 ><![CDATA[Node 1]]></Name
5599 ><![CDATA[evaluation]]></Shape
5601 ><list-int/></Info></Node
5603 ><Position X="2.0" Y="4.0"
5605 ><![CDATA[Node 2]]></Name
5609 ><![CDATA[Zero]]></Shape
5611 ><list-int/></Info></Node
5613 ><Position X="2.008125" Y="0.47354166666666675"
5615 ><![CDATA[Node 3]]></Name
5619 ><![CDATA[interface]]></Shape
5621 ><list-int/></Info></Node></Nodes
5627 ><![CDATA[arg]]></PortFrom
5631 ><![CDATA[res]]></PortTo
5634 ><list-int/></Info></Edge
5639 ><![CDATA[res]]></PortFrom
5643 ><![CDATA[interface]]></PortTo
5646 ><list-int/></Info></Edge></Edges></Network></LHS
5648 ><Network Width="15.0" Height="9.0"
5653 ><Position X="2.0" Y="4.0"
5655 ><![CDATA[Node 2]]></Name
5659 ><![CDATA[Zero]]></Shape
5661 ><list-int/></Info></Node
5663 ><Position X="2.008125" Y="0.47354166666666675"
5665 ><![CDATA[Node 3]]></Name
5669 ><![CDATA[interface]]></Shape
5671 ><list-int/></Info></Node></Nodes
5677 ><![CDATA[res]]></PortFrom
5681 ><![CDATA[interface]]></PortTo
5684 ><list-int/></Info></Edge></Edges></Network></RHS
5686 ><MappingElement lhs="3" rhs="3"/></Mapping></INRule
5689 ><![CDATA[Evaluator_Succ]]></Name
5691 ><Network Width="15.0" Height="9.0"
5696 ><Position X="2.0" Y="2.0"
5698 ><![CDATA[Node 1]]></Name
5702 ><![CDATA[evaluation]]></Shape
5704 ><list-int/></Info></Node
5706 ><Position X="2.0" Y="4.0"
5708 ><![CDATA[Node 2]]></Name
5712 ><![CDATA[Succ]]></Shape
5714 ><list-int/></Info></Node
5716 ><Position X="2.008125" Y="0.5529166666666667"
5718 ><![CDATA[Node 3]]></Name
5722 ><![CDATA[interface]]></Shape
5724 ><list-int/></Info></Node
5726 ><Position X="1.9816666666666667" Y="5.076666666666667"
5728 ><![CDATA[Node 4]]></Name
5732 ><![CDATA[interface]]></Shape
5734 ><list-int/></Info></Node></Nodes
5740 ><![CDATA[arg]]></PortFrom
5744 ><![CDATA[res]]></PortTo
5747 ><list-int/></Info></Edge
5752 ><![CDATA[res]]></PortFrom
5756 ><![CDATA[interface]]></PortTo
5759 ><list-int/></Info></Edge
5764 ><![CDATA[arg]]></PortFrom
5768 ><![CDATA[interface]]></PortTo
5771 ><list-int/></Info></Edge></Edges></Network></LHS
5773 ><Network Width="15.0" Height="9.0"
5778 ><Position X="1.9735416666666665" Y="2.1479166666666667"
5780 ><![CDATA[Node 2]]></Name
5784 ><![CDATA[Succ]]></Shape
5786 ><list-int/></Info></Node
5788 ><Position X="1.981666666666667" Y="0.5529166666666667"
5790 ><![CDATA[Node 3]]></Name
5794 ><![CDATA[interface]]></Shape
5796 ><list-int/></Info></Node
5798 ><Position X="1.9816666666666667" Y="5.076666666666667"
5800 ><![CDATA[Node 4]]></Name
5804 ><![CDATA[interface]]></Shape
5806 ><list-int/></Info></Node
5808 ><Position X="1.9579166666666667" Y="3.6512500000000006"
5810 ><![CDATA[Node 5]]></Name
5814 ><![CDATA[evaluation]]></Shape
5816 ><list-int/></Info></Node></Nodes
5822 ><![CDATA[interface]]></PortFrom
5826 ><![CDATA[res]]></PortTo
5829 ><list-int/></Info></Edge
5834 ><![CDATA[arg]]></PortFrom
5838 ><![CDATA[res]]></PortTo
5841 ><list-int/></Info></Edge
5846 ><![CDATA[arg]]></PortFrom
5850 ><![CDATA[interface]]></PortTo
5853 ><list-int/></Info></Edge></Edges></Network></RHS
5855 ><MappingElement lhs="3" rhs="3"
5856 /><MappingElement lhs="4" rhs="4"/></Mapping></INRule
5859 ><![CDATA[Erase_Nil]]></Name
5861 ><Network Width="15.0" Height="9.0"
5866 ><Position X="2.0" Y="2.0"
5868 ><![CDATA[Node 1]]></Name
5872 ><![CDATA[Erase]]></Shape
5874 ><list-int/></Info></Node
5876 ><Position X="2.0" Y="4.0"
5878 ><![CDATA[Node 2]]></Name
5882 ><![CDATA[Nil]]></Shape
5884 ><list-int/></Info></Node></Nodes
5890 ><![CDATA[down]]></PortFrom
5894 ><![CDATA[res]]></PortTo
5897 ><list-int/></Info></Edge></Edges></Network></LHS
5899 ><Network Width="15.0" Height="9.0"
5903 /><Edges/></Network></RHS
5907 ><![CDATA[Erase_Cons]]></Name
5909 ><Network Width="15.0" Height="9.0"
5914 ><Position X="2.0" Y="2.0"
5916 ><![CDATA[Node 1]]></Name
5920 ><![CDATA[Erase]]></Shape
5922 ><list-int/></Info></Node
5924 ><Position X="2.0" Y="4.0"
5926 ><![CDATA[Node 2]]></Name
5930 ><![CDATA[Cons]]></Shape
5932 ><list-int/></Info></Node
5934 ><Position X="1.0820833333333333" Y="4.865"
5936 ><![CDATA[Node 3]]></Name
5940 ><![CDATA[interface]]></Shape
5942 ><list-int/></Info></Node
5944 ><Position X="2.7964583333333333" Y="4.8914583333333335"
5946 ><![CDATA[Node 4]]></Name
5950 ><![CDATA[interface]]></Shape
5952 ><list-int/></Info></Node></Nodes
5958 ><![CDATA[down]]></PortFrom
5962 ><![CDATA[res]]></PortTo
5965 ><list-int/></Info></Edge
5970 ><![CDATA[tail]]></PortFrom
5974 ><![CDATA[interface]]></PortTo
5977 ><list-int/></Info></Edge
5982 ><![CDATA[head]]></PortFrom
5986 ><![CDATA[interface]]></PortTo
5989 ><list-int/></Info></Edge></Edges></Network></LHS
5991 ><Network Width="15.0" Height="9.0"
5996 ><Position X="1.0820833333333333" Y="4.865"
5998 ><![CDATA[Node 3]]></Name
6002 ><![CDATA[interface]]></Shape
6004 ><list-int/></Info></Node
6006 ><Position X="2.7964583333333333" Y="4.8914583333333335"
6008 ><![CDATA[Node 4]]></Name
6012 ><![CDATA[interface]]></Shape
6014 ><list-int/></Info></Node
6016 ><Position X="1.0847916666666668" Y="3.042708333333333"
6018 ><![CDATA[Node 5]]></Name
6022 ><![CDATA[Erase]]></Shape
6024 ><list-int/></Info></Node
6026 ><Position X="2.778125" Y="3.0162500000000003"
6028 ><![CDATA[Node 6]]></Name
6032 ><![CDATA[Erase]]></Shape
6034 ><list-int/></Info></Node></Nodes
6040 ><![CDATA[down]]></PortFrom
6044 ><![CDATA[interface]]></PortTo
6047 ><list-int/></Info></Edge
6052 ><![CDATA[down]]></PortFrom
6056 ><![CDATA[interface]]></PortTo
6059 ><list-int/></Info></Edge></Edges></Network></RHS
6061 ><MappingElement lhs="3" rhs="3"
6062 /><MappingElement lhs="4" rhs="4"/></Mapping></INRule
6065 ><![CDATA[Erase_True]]></Name
6067 ><Network Width="15.0" Height="9.0"
6072 ><Position X="2.0" Y="2.0"
6074 ><![CDATA[Node 1]]></Name
6078 ><![CDATA[Erase]]></Shape
6080 ><list-int/></Info></Node
6082 ><Position X="2.0" Y="4.0"
6084 ><![CDATA[Node 2]]></Name
6088 ><![CDATA[True]]></Shape
6090 ><list-int/></Info></Node></Nodes
6096 ><![CDATA[down]]></PortFrom
6100 ><![CDATA[res]]></PortTo
6103 ><list-int/></Info></Edge></Edges></Network></LHS
6105 ><Network Width="15.0" Height="9.0"
6109 /><Edges/></Network></RHS
6113 ><![CDATA[Erase_False]]></Name
6115 ><Network Width="15.0" Height="9.0"
6120 ><Position X="2.0" Y="2.0"
6122 ><![CDATA[Node 1]]></Name
6126 ><![CDATA[Erase]]></Shape
6128 ><list-int/></Info></Node
6130 ><Position X="2.0" Y="4.0"
6132 ><![CDATA[Node 2]]></Name
6136 ><![CDATA[False]]></Shape
6138 ><list-int/></Info></Node></Nodes
6144 ><![CDATA[down]]></PortFrom
6148 ><![CDATA[res]]></PortTo
6151 ><list-int/></Info></Edge></Edges></Network></LHS
6153 ><Network Width="15.0" Height="9.0"
6157 /><Edges/></Network></RHS
6161 ><![CDATA[Erase_Zero]]></Name
6163 ><Network Width="15.0" Height="9.0"
6168 ><Position X="2.0" Y="2.0"
6170 ><![CDATA[Node 1]]></Name
6174 ><![CDATA[Erase]]></Shape
6176 ><list-int/></Info></Node
6178 ><Position X="2.0" Y="4.0"
6180 ><![CDATA[Node 2]]></Name
6184 ><![CDATA[Zero]]></Shape
6186 ><list-int/></Info></Node></Nodes
6192 ><![CDATA[down]]></PortFrom
6196 ><![CDATA[res]]></PortTo
6199 ><list-int/></Info></Edge></Edges></Network></LHS
6201 ><Network Width="15.0" Height="9.0"
6205 /><Edges/></Network></RHS
6209 ><![CDATA[Erase_Succ]]></Name
6211 ><Network Width="15.0" Height="9.0"
6216 ><Position X="2.0" Y="2.0"
6218 ><![CDATA[Node 1]]></Name
6222 ><![CDATA[Erase]]></Shape
6224 ><list-int/></Info></Node
6226 ><Position X="2.0" Y="4.0"
6228 ><![CDATA[Node 2]]></Name
6232 ><![CDATA[Succ]]></Shape
6234 ><list-int/></Info></Node
6236 ><Position X="1.981666666666667" Y="4.970833333333333"
6238 ><![CDATA[Node 3]]></Name
6242 ><![CDATA[interface]]></Shape
6244 ><list-int/></Info></Node></Nodes
6250 ><![CDATA[down]]></PortFrom
6254 ><![CDATA[res]]></PortTo
6257 ><list-int/></Info></Edge
6262 ><![CDATA[arg]]></PortFrom
6266 ><![CDATA[interface]]></PortTo
6269 ><list-int/></Info></Edge></Edges></Network></LHS
6271 ><Network Width="15.0" Height="9.0"
6276 ><Position X="1.9735416666666665" Y="2.0"
6278 ><![CDATA[Node 1]]></Name
6282 ><![CDATA[Erase]]></Shape
6284 ><list-int/></Info></Node
6286 ><Position X="1.981666666666667" Y="4.970833333333333"
6288 ><![CDATA[Node 3]]></Name
6292 ><![CDATA[interface]]></Shape
6294 ><list-int/></Info></Node></Nodes
6300 ><![CDATA[down]]></PortFrom
6304 ><![CDATA[interface]]></PortTo
6307 ><list-int/></Info></Edge></Edges></Network></RHS
6309 ><MappingElement lhs="3" rhs="3"/></Mapping></INRule
6312 ><![CDATA[Copy_Nil]]></Name
6314 ><Network Width="15.0" Height="9.0"
6319 ><Position X="2.0" Y="2.0"
6321 ><![CDATA[Node 1]]></Name
6325 ><![CDATA[copy]]></Shape
6327 ><list-int/></Info></Node
6329 ><Position X="2.0" Y="4.0"
6331 ><![CDATA[Node 2]]></Name
6335 ><![CDATA[Nil]]></Shape
6337 ><list-int/></Info></Node
6339 ><Position X="0.6852083333333334" Y="0.44708333333333333"
6341 ><![CDATA[Node 3]]></Name
6345 ><![CDATA[interface]]></Shape
6347 ><list-int/></Info></Node
6349 ><Position X="3.3520833333333337" Y="0.420625"
6351 ><![CDATA[Node 4]]></Name
6355 ><![CDATA[interface]]></Shape
6357 ><list-int/></Info></Node></Nodes
6363 ><![CDATA[src]]></PortFrom
6367 ><![CDATA[res]]></PortTo
6370 ><list-int/></Info></Edge
6375 ><![CDATA[snd_target]]></PortFrom
6379 ><![CDATA[interface]]></PortTo
6382 ><list-int/></Info></Edge
6387 ><![CDATA[fst_target]]></PortFrom
6391 ><![CDATA[interface]]></PortTo
6394 ><list-int/></Info></Edge></Edges></Network></LHS
6396 ><Network Width="15.0" Height="9.0"
6401 ><Position X="0.6852083333333334" Y="0.44708333333333333"
6403 ><![CDATA[Node 3]]></Name
6407 ><![CDATA[interface]]></Shape
6409 ><list-int/></Info></Node
6411 ><Position X="3.3520833333333337" Y="0.420625"
6413 ><![CDATA[Node 4]]></Name
6417 ><![CDATA[interface]]></Shape
6419 ><list-int/></Info></Node
6421 ><Position X="0.6879166666666667" Y="2.4606250000000003"
6423 ><![CDATA[Node 5]]></Name
6427 ><![CDATA[Nil]]></Shape
6429 ><list-int/></Info></Node
6431 ><Position X="3.33375" Y="2.460625"
6433 ><![CDATA[Node 6]]></Name
6437 ><![CDATA[Nil]]></Shape
6439 ><list-int/></Info></Node></Nodes
6445 ><![CDATA[interface]]></PortFrom
6449 ><![CDATA[res]]></PortTo
6452 ><list-int/></Info></Edge
6457 ><![CDATA[interface]]></PortFrom
6461 ><![CDATA[res]]></PortTo
6464 ><list-int/></Info></Edge></Edges></Network></RHS
6466 ><MappingElement lhs="3" rhs="3"
6467 /><MappingElement lhs="4" rhs="4"/></Mapping></INRule
6470 ><![CDATA[Copy_Cons]]></Name
6472 ><Network Width="15.0" Height="9.0"
6477 ><Position X="2.0" Y="2.0"
6479 ><![CDATA[Node 1]]></Name
6483 ><![CDATA[copy]]></Shape
6485 ><list-int/></Info></Node
6487 ><Position X="2.0" Y="4.0"
6489 ><![CDATA[Node 2]]></Name
6493 ><![CDATA[Cons]]></Shape
6495 ><list-int/></Info></Node
6497 ><Position X="0.738125" Y="0.5"
6499 ><![CDATA[Node 3]]></Name
6503 ><![CDATA[interface]]></Shape
6505 ><list-int/></Info></Node
6507 ><Position X="3.166875" Y="0.6058333333333333"
6509 ><![CDATA[Node 4]]></Name
6513 ><![CDATA[interface]]></Shape
6515 ><list-int/></Info></Node
6517 ><Position X="0.738125" Y="4.970833333333333"
6519 ><![CDATA[Node 5]]></Name
6523 ><![CDATA[interface]]></Shape
6525 ><list-int/></Info></Node
6527 ><Position X="3.2197916666666666" Y="4.944375"
6529 ><![CDATA[Node 6]]></Name
6533 ><![CDATA[interface]]></Shape
6535 ><list-int/></Info></Node></Nodes
6541 ><![CDATA[src]]></PortFrom
6545 ><![CDATA[res]]></PortTo
6548 ><list-int/></Info></Edge
6553 ><![CDATA[snd_target]]></PortFrom
6557 ><![CDATA[interface]]></PortTo
6560 ><list-int/></Info></Edge
6565 ><![CDATA[fst_target]]></PortFrom
6569 ><![CDATA[interface]]></PortTo
6572 ><list-int/></Info></Edge
6577 ><![CDATA[tail]]></PortFrom
6581 ><![CDATA[interface]]></PortTo
6584 ><list-int/></Info></Edge
6589 ><![CDATA[head]]></PortFrom
6593 ><![CDATA[interface]]></PortTo
6596 ><list-int/></Info></Edge></Edges></Network></LHS
6598 ><Network Width="15.0" Height="9.0"
6603 ><Position X="1.0291666666666668" Y="0.5"
6605 ><![CDATA[Node 3]]></Name
6609 ><![CDATA[interface]]></Shape
6611 ><list-int/></Info></Node
6613 ><Position X="3.4314583333333326" Y="0.6058333333333333"
6615 ><![CDATA[Node 4]]></Name
6619 ><![CDATA[interface]]></Shape
6621 ><list-int/></Info></Node
6623 ><Position X="1.0556249999999998" Y="4.970833333333333"
6625 ><![CDATA[Node 5]]></Name
6629 ><![CDATA[interface]]></Shape
6631 ><list-int/></Info></Node
6633 ><Position X="3.3520833333333324" Y="4.9972916666666665"
6635 ><![CDATA[Node 6]]></Name
6639 ><![CDATA[interface]]></Shape
6641 ><list-int/></Info></Node
6643 ><Position X="1.0054166666666666" Y="2.037291666666667"
6645 ><![CDATA[Node 7]]></Name
6649 ><![CDATA[Cons]]></Shape
6651 ><list-int/></Info></Node
6653 ><Position X="3.4131250000000004" Y="1.957916666666667"
6655 ><![CDATA[Node 8]]></Name
6659 ><![CDATA[Cons]]></Shape
6661 ><list-int/></Info></Node
6663 ><Position X="1.058333333333333" Y="3.783541666666667"
6665 ><![CDATA[Node 9]]></Name
6669 ><![CDATA[copy]]></Shape
6671 ><list-int/></Info></Node
6673 ><Position X="3.3602083333333335" Y="3.704166666666667"
6675 ><![CDATA[Node 10]]></Name
6679 ><![CDATA[copy]]></Shape
6681 ><list-int/></Info></Node></Nodes
6687 ><![CDATA[interface]]></PortFrom
6691 ><![CDATA[res]]></PortTo
6694 ><list-int/></Info></Edge
6699 ><![CDATA[interface]]></PortFrom
6703 ><![CDATA[res]]></PortTo
6706 ><list-int/></Info></Edge
6711 ><![CDATA[src]]></PortFrom
6715 ><![CDATA[interface]]></PortTo
6718 ><list-int/></Info></Edge
6723 ><![CDATA[src]]></PortFrom
6727 ><![CDATA[interface]]></PortTo
6730 ><list-int/></Info></Edge
6735 ><![CDATA[fst_target]]></PortFrom
6739 ><![CDATA[head]]></PortTo
6742 ><list-int/></Info></Edge
6747 ><![CDATA[snd_target]]></PortFrom
6751 ><![CDATA[head]]></PortTo
6754 ><list-int/></Info></Edge
6759 ><![CDATA[tail]]></PortFrom
6763 ><![CDATA[fst_target]]></PortTo
6766 ><list-int/></Info></Edge
6771 ><![CDATA[tail]]></PortFrom
6775 ><![CDATA[snd_target]]></PortTo
6778 ><list-int/></Info></Edge></Edges></Network></RHS
6780 ><MappingElement lhs="3" rhs="3"
6781 /><MappingElement lhs="4" rhs="4"
6782 /><MappingElement lhs="5" rhs="5"
6783 /><MappingElement lhs="6" rhs="6"/></Mapping></INRule
6786 ><![CDATA[Copy_True]]></Name
6788 ><Network Width="15.0" Height="9.0"
6793 ><Position X="2.0" Y="2.0"
6795 ><![CDATA[Node 1]]></Name
6799 ><![CDATA[copy]]></Shape
6801 ><list-int/></Info></Node
6803 ><Position X="2.0" Y="4.0"
6805 ><![CDATA[Node 2]]></Name
6809 ><![CDATA[True]]></Shape
6811 ><list-int/></Info></Node
6813 ><Position X="0.5" Y="0.5"
6815 ><![CDATA[Node 3]]></Name
6819 ><![CDATA[interface]]></Shape
6821 ><list-int/></Info></Node
6823 ><Position X="3.1933333333333334" Y="0.44708333333333333"
6825 ><![CDATA[Node 4]]></Name
6829 ><![CDATA[interface]]></Shape
6831 ><list-int/></Info></Node></Nodes
6837 ><![CDATA[src]]></PortFrom
6841 ><![CDATA[res]]></PortTo
6844 ><list-int/></Info></Edge
6849 ><![CDATA[snd_target]]></PortFrom
6853 ><![CDATA[interface]]></PortTo
6856 ><list-int/></Info></Edge
6861 ><![CDATA[fst_target]]></PortFrom
6865 ><![CDATA[interface]]></PortTo
6868 ><list-int/></Info></Edge></Edges></Network></LHS
6870 ><Network Width="15.0" Height="9.0"
6875 ><Position X="0.5" Y="0.5"
6877 ><![CDATA[Node 3]]></Name
6881 ><![CDATA[interface]]></Shape
6883 ><list-int/></Info></Node
6885 ><Position X="3.1933333333333334" Y="0.44708333333333333"
6887 ><![CDATA[Node 4]]></Name
6891 ><![CDATA[interface]]></Shape
6893 ><list-int/></Info></Node
6895 ><Position X="0.6350000000000001" Y="2.3283333333333336"
6897 ><![CDATA[Node 5]]></Name
6901 ><![CDATA[True]]></Shape
6903 ><list-int/></Info></Node
6905 ><Position X="3.2808333333333337" Y="2.38125"
6907 ><![CDATA[Node 6]]></Name
6911 ><![CDATA[True]]></Shape
6913 ><list-int/></Info></Node></Nodes
6919 ><![CDATA[interface]]></PortFrom
6923 ><![CDATA[res]]></PortTo
6926 ><list-int/></Info></Edge
6931 ><![CDATA[interface]]></PortFrom
6935 ><![CDATA[res]]></PortTo
6938 ><list-int/></Info></Edge></Edges></Network></RHS
6940 ><MappingElement lhs="3" rhs="3"
6941 /><MappingElement lhs="4" rhs="4"/></Mapping></INRule
6944 ><![CDATA[Copy_False]]></Name
6946 ><Network Width="15.0" Height="9.0"
6951 ><Position X="2.0" Y="2.0"
6953 ><![CDATA[Node 1]]></Name
6957 ><![CDATA[copy]]></Shape
6959 ><list-int/></Info></Node
6961 ><Position X="2.0" Y="4.0"
6963 ><![CDATA[Node 2]]></Name
6967 ><![CDATA[False]]></Shape
6969 ><list-int/></Info></Node
6971 ><Position X="0.5" Y="0.5"
6973 ><![CDATA[Node 3]]></Name
6977 ><![CDATA[interface]]></Shape
6979 ><list-int/></Info></Node
6981 ><Position X="3.537291666666667" Y="0.420625"
6983 ><![CDATA[Node 4]]></Name
6987 ><![CDATA[interface]]></Shape
6989 ><list-int/></Info></Node></Nodes
6995 ><![CDATA[src]]></PortFrom
6999 ><![CDATA[res]]></PortTo
7002 ><list-int/></Info></Edge
7007 ><![CDATA[snd_target]]></PortFrom
7011 ><![CDATA[interface]]></PortTo
7014 ><list-int/></Info></Edge
7019 ><![CDATA[fst_target]]></PortFrom
7023 ><![CDATA[interface]]></PortTo
7026 ><list-int/></Info></Edge></Edges></Network></LHS
7028 ><Network Width="15.0" Height="9.0"
7033 ><Position X="0.5" Y="0.5"
7035 ><![CDATA[Node 3]]></Name
7039 ><![CDATA[interface]]></Shape
7041 ><list-int/></Info></Node
7043 ><Position X="3.537291666666667" Y="0.420625"
7045 ><![CDATA[Node 4]]></Name
7049 ><![CDATA[interface]]></Shape
7051 ><list-int/></Info></Node
7053 ><Position X="0.7143750000000001" Y="2.2225"
7055 ><![CDATA[Node 5]]></Name
7059 ><![CDATA[False]]></Shape
7061 ><list-int/></Info></Node
7063 ><Position X="3.545416666666667" Y="2.196041666666667"
7065 ><![CDATA[Node 6]]></Name
7069 ><![CDATA[False]]></Shape
7071 ><list-int/></Info></Node></Nodes
7077 ><![CDATA[interface]]></PortFrom
7081 ><![CDATA[res]]></PortTo
7084 ><list-int/></Info></Edge
7089 ><![CDATA[interface]]></PortFrom
7093 ><![CDATA[res]]></PortTo
7096 ><list-int/></Info></Edge></Edges></Network></RHS
7098 ><MappingElement lhs="3" rhs="3"
7099 /><MappingElement lhs="4" rhs="4"/></Mapping></INRule
7102 ><![CDATA[Copy_Zero]]></Name
7104 ><Network Width="15.0" Height="9.0"
7109 ><Position X="2.0" Y="2.0"
7111 ><![CDATA[Node 1]]></Name
7115 ><![CDATA[copy]]></Shape
7117 ><list-int/></Info></Node
7119 ><Position X="2.0" Y="4.0"
7121 ><![CDATA[Node 2]]></Name
7125 ><![CDATA[Zero]]></Shape
7127 ><list-int/></Info></Node
7129 ><Position X="0.5" Y="0.5"
7131 ><![CDATA[Node 3]]></Name
7135 ><![CDATA[interface]]></Shape
7137 ><list-int/></Info></Node
7139 ><Position X="3.166875" Y="0.5264583333333334"
7141 ><![CDATA[Node 4]]></Name
7145 ><![CDATA[interface]]></Shape
7147 ><list-int/></Info></Node></Nodes
7153 ><![CDATA[src]]></PortFrom
7157 ><![CDATA[res]]></PortTo
7160 ><list-int/></Info></Edge
7165 ><![CDATA[snd_target]]></PortFrom
7169 ><![CDATA[interface]]></PortTo
7172 ><list-int/></Info></Edge
7177 ><![CDATA[fst_target]]></PortFrom
7181 ><![CDATA[interface]]></PortTo
7184 ><list-int/></Info></Edge></Edges></Network></LHS
7186 ><Network Width="15.0" Height="9.0"
7191 ><Position X="0.5" Y="0.5"
7193 ><![CDATA[Node 3]]></Name
7197 ><![CDATA[interface]]></Shape
7199 ><list-int/></Info></Node
7201 ><Position X="3.166875" Y="0.5264583333333334"
7203 ><![CDATA[Node 4]]></Name
7207 ><![CDATA[interface]]></Shape
7209 ><list-int/></Info></Node
7211 ><Position X="0.6085416666666666" Y="2.4077083333333333"
7213 ><![CDATA[Node 5]]></Name
7217 ><![CDATA[Zero]]></Shape
7219 ><list-int/></Info></Node
7221 ><Position X="3.8100000000000005" Y="2.354791666666667"
7223 ><![CDATA[Node 6]]></Name
7227 ><![CDATA[Zero]]></Shape
7229 ><list-int/></Info></Node></Nodes
7235 ><![CDATA[interface]]></PortFrom
7239 ><![CDATA[res]]></PortTo
7242 ><list-int/></Info></Edge
7247 ><![CDATA[interface]]></PortFrom
7251 ><![CDATA[res]]></PortTo
7254 ><list-int/></Info></Edge></Edges></Network></RHS
7256 ><MappingElement lhs="3" rhs="3"
7257 /><MappingElement lhs="4" rhs="4"/></Mapping></INRule
7260 ><![CDATA[Copy_Succ]]></Name
7262 ><Network Width="15.0" Height="9.0"
7267 ><Position X="2.0" Y="2.0"
7269 ><![CDATA[Node 1]]></Name
7273 ><![CDATA[copy]]></Shape
7275 ><list-int/></Info></Node
7277 ><Position X="2.0" Y="4.0"
7279 ><![CDATA[Node 2]]></Name
7283 ><![CDATA[Succ]]></Shape
7285 ><list-int/></Info></Node
7287 ><Position X="0.5" Y="0.5"
7289 ><![CDATA[Node 3]]></Name
7293 ><![CDATA[interface]]></Shape
7295 ><list-int/></Info></Node
7297 ><Position X="3.1933333333333334" Y="0.5529166666666667"
7299 ><![CDATA[Node 4]]></Name
7303 ><![CDATA[interface]]></Shape
7305 ><list-int/></Info></Node
7307 ><Position X="2.0081249999999997" Y="5.050208333333333"
7309 ><![CDATA[Node 5]]></Name
7313 ><![CDATA[interface]]></Shape
7315 ><list-int/></Info></Node></Nodes
7321 ><![CDATA[src]]></PortFrom
7325 ><![CDATA[res]]></PortTo
7328 ><list-int/></Info></Edge
7333 ><![CDATA[snd_target]]></PortFrom
7337 ><![CDATA[interface]]></PortTo
7340 ><list-int/></Info></Edge
7345 ><![CDATA[fst_target]]></PortFrom
7349 ><![CDATA[interface]]></PortTo
7352 ><list-int/></Info></Edge
7357 ><![CDATA[arg]]></PortFrom
7361 ><![CDATA[interface]]></PortTo
7364 ><list-int/></Info></Edge></Edges></Network></LHS
7366 ><Network Width="15.0" Height="9.0"
7371 ><Position X="0.5" Y="0.5"
7373 ><![CDATA[Node 3]]></Name
7377 ><![CDATA[interface]]></Shape
7379 ><list-int/></Info></Node
7381 ><Position X="3.1933333333333334" Y="0.5529166666666667"
7383 ><![CDATA[Node 4]]></Name
7387 ><![CDATA[interface]]></Shape
7389 ><list-int/></Info></Node
7391 ><Position X="2.0081249999999997" Y="5.050208333333333"
7393 ><![CDATA[Node 5]]></Name
7397 ><![CDATA[interface]]></Shape
7399 ><list-int/></Info></Node
7401 ><Position X="2.090208333333334" Y="3.65125"
7403 ><![CDATA[Node 6]]></Name
7407 ><![CDATA[copy]]></Shape
7409 ><list-int/></Info></Node
7411 ><Position X="0.6349999999999999" Y="2.116666666666667"
7413 ><![CDATA[Node 7]]></Name
7417 ><![CDATA[Succ]]></Shape
7419 ><list-int/></Info></Node
7421 ><Position X="3.1750000000000003" Y="1.9579166666666667"
7423 ><![CDATA[Node 8]]></Name
7427 ><![CDATA[Succ]]></Shape
7429 ><list-int/></Info></Node></Nodes
7435 ><![CDATA[src]]></PortFrom
7439 ><![CDATA[interface]]></PortTo
7442 ><list-int/></Info></Edge
7447 ><![CDATA[interface]]></PortFrom
7451 ><![CDATA[res]]></PortTo
7454 ><list-int/></Info></Edge
7459 ><![CDATA[interface]]></PortFrom
7463 ><![CDATA[res]]></PortTo
7466 ><list-int/></Info></Edge
7471 ><![CDATA[arg]]></PortFrom
7475 ><![CDATA[fst_target]]></PortTo
7478 ><list-int/></Info></Edge
7483 ><![CDATA[snd_target]]></PortFrom
7487 ><![CDATA[arg]]></PortTo
7490 ><list-int/></Info></Edge></Edges></Network></RHS
7492 ><MappingElement lhs="3" rhs="3"
7493 /><MappingElement lhs="4" rhs="4"
7494 /><MappingElement lhs="5" rhs="5"/></Mapping></INRule
7497 ><![CDATA[Duplicator_Nil]]></Name
7499 ><Network Width="15.0" Height="9.0"
7504 ><Position X="2.0" Y="2.0"
7506 ><![CDATA[Node 1]]></Name
7510 ><![CDATA[duplicator]]></Shape
7512 ><list-int/></Info></Node
7514 ><Position X="2.0" Y="4.0"
7516 ><![CDATA[Node 2]]></Name
7520 ><![CDATA[Nil]]></Shape
7522 ><list-int/></Info></Node
7524 ><Position X="0.6322916666666667" Y="0.39416666666666667"
7526 ><![CDATA[Node 3]]></Name
7530 ><![CDATA[interface]]></Shape
7532 ><list-int/></Info></Node
7534 ><Position X="3.3785416666666666" Y="0.39416666666666667"
7536 ><![CDATA[Node 4]]></Name
7540 ><![CDATA[interface]]></Shape
7542 ><list-int/></Info></Node></Nodes
7548 ><![CDATA[down]]></PortFrom
7552 ><![CDATA[res]]></PortTo
7555 ><list-int/></Info></Edge
7560 ><![CDATA[copy2]]></PortFrom
7564 ><![CDATA[interface]]></PortTo
7567 ><list-int/></Info></Edge
7572 ><![CDATA[copy1]]></PortFrom
7576 ><![CDATA[interface]]></PortTo
7579 ><list-int/></Info></Edge></Edges></Network></LHS
7581 ><Network Width="15.0" Height="9.0"
7586 ><Position X="0.6322916666666667" Y="0.39416666666666667"
7588 ><![CDATA[Node 3]]></Name
7592 ><![CDATA[interface]]></Shape
7594 ><list-int/></Info></Node
7596 ><Position X="3.3785416666666666" Y="0.39416666666666667"
7598 ><![CDATA[Node 4]]></Name
7602 ><![CDATA[interface]]></Shape
7604 ><list-int/></Info></Node
7606 ><Position X="0.6085416666666668" Y="1.905"
7608 ><![CDATA[Node 5]]></Name
7612 ><![CDATA[Nil]]></Shape
7614 ><list-int/></Info></Node
7616 ><Position X="3.3602083333333335" Y="1.957916666666667"
7618 ><![CDATA[Node 6]]></Name
7622 ><![CDATA[Nil]]></Shape
7624 ><list-int/></Info></Node></Nodes
7630 ><![CDATA[interface]]></PortFrom
7634 ><![CDATA[res]]></PortTo
7637 ><list-int/></Info></Edge
7642 ><![CDATA[interface]]></PortFrom
7646 ><![CDATA[res]]></PortTo
7649 ><list-int/></Info></Edge></Edges></Network></RHS
7651 ><MappingElement lhs="3" rhs="3"
7652 /><MappingElement lhs="4" rhs="4"/></Mapping></INRule
7655 ><![CDATA[Duplicator_Cons]]></Name
7657 ><Network Width="15.0" Height="9.0"
7662 ><Position X="2.0" Y="2.0"
7664 ><![CDATA[Node 1]]></Name
7668 ><![CDATA[duplicator]]></Shape
7670 ><list-int/></Info></Node
7672 ><Position X="2.0" Y="4.0"
7674 ><![CDATA[Node 2]]></Name
7678 ><![CDATA[Cons]]></Shape
7680 ><list-int/></Info></Node
7682 ><Position X="0.6322916666666667" Y="0.39416666666666667"
7684 ><![CDATA[Node 3]]></Name
7688 ><![CDATA[interface]]></Shape
7690 ><list-int/></Info></Node
7692 ><Position X="3.378541666666667" Y="0.39416666666666667"
7694 ><![CDATA[Node 4]]></Name
7698 ><![CDATA[interface]]></Shape
7700 ><list-int/></Info></Node
7702 ><Position X="0.9233333333333333" Y="4.7856250000000005"
7704 ><![CDATA[Node 5]]></Name
7708 ><![CDATA[interface]]></Shape
7710 ><list-int/></Info></Node
7712 ><Position X="3.2462500000000003" Y="4.970833333333334"
7714 ><![CDATA[Node 6]]></Name
7718 ><![CDATA[interface]]></Shape
7720 ><list-int/></Info></Node></Nodes
7726 ><![CDATA[down]]></PortFrom
7730 ><![CDATA[res]]></PortTo
7733 ><list-int/></Info></Edge
7738 ><![CDATA[copy2]]></PortFrom
7742 ><![CDATA[interface]]></PortTo
7745 ><list-int/></Info></Edge
7750 ><![CDATA[copy1]]></PortFrom
7754 ><![CDATA[interface]]></PortTo
7757 ><list-int/></Info></Edge
7762 ><![CDATA[tail]]></PortFrom
7766 ><![CDATA[interface]]></PortTo
7769 ><list-int/></Info></Edge
7774 ><![CDATA[head]]></PortFrom
7778 ><![CDATA[interface]]></PortTo
7781 ><list-int/></Info></Edge></Edges></Network></LHS
7783 ><Network Width="15.0" Height="9.0"
7788 ><Position X="0.6322916666666667" Y="0.39416666666666667"
7790 ><![CDATA[Node 3]]></Name
7794 ><![CDATA[interface]]></Shape
7796 ><list-int/></Info></Node
7798 ><Position X="3.378541666666667" Y="0.39416666666666667"
7800 ><![CDATA[Node 4]]></Name
7804 ><![CDATA[interface]]></Shape
7806 ><list-int/></Info></Node
7808 ><Position X="0.6852083333333333" Y="4.838541666666667"
7810 ><![CDATA[Node 5]]></Name
7814 ><![CDATA[interface]]></Shape
7816 ><list-int/></Info></Node
7818 ><Position X="3.325625" Y="4.970833333333334"
7820 ><![CDATA[Node 6]]></Name
7824 ><![CDATA[interface]]></Shape
7826 ><list-int/></Info></Node
7828 ><Position X="0.635" Y="1.8520833333333335"
7830 ><![CDATA[Node 7]]></Name
7834 ><![CDATA[Cons]]></Shape
7836 ><list-int/></Info></Node
7838 ><Position X="3.386666666666667" Y="1.74625"
7840 ><![CDATA[Node 8]]></Name
7844 ><![CDATA[Cons]]></Shape
7846 ><list-int/></Info></Node
7848 ><Position X="0.6879166666666668" Y="3.4924999999999997"
7850 ><![CDATA[Node 9]]></Name
7854 ><![CDATA[duplicator]]></Shape
7856 ><list-int/></Info></Node
7858 ><Position X="3.33375" Y="3.65125"
7860 ><![CDATA[Node 10]]></Name
7864 ><![CDATA[duplicator]]></Shape
7866 ><list-int/></Info></Node></Nodes
7872 ><![CDATA[interface]]></PortFrom
7876 ><![CDATA[res]]></PortTo
7879 ><list-int/></Info></Edge
7884 ><![CDATA[interface]]></PortFrom
7888 ><![CDATA[res]]></PortTo
7891 ><list-int/></Info></Edge
7896 ><![CDATA[interface]]></PortFrom
7900 ><![CDATA[down]]></PortTo
7903 ><list-int/></Info></Edge
7908 ><![CDATA[down]]></PortFrom
7912 ><![CDATA[interface]]></PortTo
7915 ><list-int/></Info></Edge
7920 ><![CDATA[copy1]]></PortFrom
7924 ><![CDATA[head]]></PortTo
7927 ><list-int/></Info></Edge
7932 ><![CDATA[copy2]]></PortFrom
7936 ><![CDATA[head]]></PortTo
7939 ><list-int/></Info></Edge
7944 ><![CDATA[copy1]]></PortFrom
7948 ><![CDATA[tail]]></PortTo
7951 ><list-int/></Info></Edge
7956 ><![CDATA[tail]]></PortFrom
7960 ><![CDATA[copy2]]></PortTo
7963 ><list-int/></Info></Edge></Edges></Network></RHS
7965 ><MappingElement lhs="3" rhs="3"
7966 /><MappingElement lhs="4" rhs="4"
7967 /><MappingElement lhs="5" rhs="5"
7968 /><MappingElement lhs="6" rhs="6"/></Mapping></INRule
7971 ><![CDATA[Duplicator_True]]></Name
7973 ><Network Width="15.0" Height="9.0"
7978 ><Position X="2.0" Y="2.0"
7980 ><![CDATA[Node 1]]></Name
7984 ><![CDATA[duplicator]]></Shape
7986 ><list-int/></Info></Node
7988 ><Position X="2.0" Y="4.0"
7990 ><![CDATA[Node 2]]></Name
7994 ><![CDATA[True]]></Shape
7996 ><list-int/></Info></Node
7998 ><Position X="0.5" Y="0.5"
8000 ><![CDATA[Node 3]]></Name
8004 ><![CDATA[interface]]></Shape
8006 ><list-int/></Info></Node
8008 ><Position X="3.3520833333333333" Y="0.5529166666666667"
8010 ><![CDATA[Node 4]]></Name
8014 ><![CDATA[interface]]></Shape
8016 ><list-int/></Info></Node></Nodes
8022 ><![CDATA[down]]></PortFrom
8026 ><![CDATA[res]]></PortTo
8029 ><list-int/></Info></Edge
8034 ><![CDATA[copy2]]></PortFrom
8038 ><![CDATA[interface]]></PortTo
8041 ><list-int/></Info></Edge
8046 ><![CDATA[copy1]]></PortFrom
8050 ><![CDATA[interface]]></PortTo
8053 ><list-int/></Info></Edge></Edges></Network></LHS
8055 ><Network Width="15.0" Height="9.0"
8060 ><Position X="0.5" Y="0.5"
8062 ><![CDATA[Node 3]]></Name
8066 ><![CDATA[interface]]></Shape
8068 ><list-int/></Info></Node
8070 ><Position X="3.3520833333333333" Y="0.5529166666666667"
8072 ><![CDATA[Node 4]]></Name
8076 ><![CDATA[interface]]></Shape
8078 ><list-int/></Info></Node
8080 ><Position X="0.5820833333333334" Y="2.275416666666667"
8082 ><![CDATA[Node 5]]></Name
8086 ><![CDATA[True]]></Shape
8088 ><list-int/></Info></Node
8090 ><Position X="3.3602083333333335" Y="2.328333333333333"
8092 ><![CDATA[Node 6]]></Name
8096 ><![CDATA[True]]></Shape
8098 ><list-int/></Info></Node></Nodes
8104 ><![CDATA[interface]]></PortFrom
8108 ><![CDATA[res]]></PortTo
8111 ><list-int/></Info></Edge
8116 ><![CDATA[interface]]></PortFrom
8120 ><![CDATA[res]]></PortTo
8123 ><list-int/></Info></Edge></Edges></Network></RHS
8125 ><MappingElement lhs="3" rhs="3"
8126 /><MappingElement lhs="4" rhs="4"/></Mapping></INRule
8129 ><![CDATA[Duplicator_False]]></Name
8131 ><Network Width="15.0" Height="9.0"
8136 ><Position X="2.0" Y="2.0"
8138 ><![CDATA[Node 1]]></Name
8142 ><![CDATA[duplicator]]></Shape
8144 ><list-int/></Info></Node
8146 ><Position X="2.0" Y="4.0"
8148 ><![CDATA[Node 2]]></Name
8152 ><![CDATA[False]]></Shape
8154 ><list-int/></Info></Node
8156 ><Position X="0.5" Y="0.5"
8158 ><![CDATA[Node 3]]></Name
8162 ><![CDATA[interface]]></Shape
8164 ><list-int/></Info></Node
8166 ><Position X="3.0610416666666667" Y="0.5264583333333334"
8168 ><![CDATA[Node 4]]></Name
8172 ><![CDATA[interface]]></Shape
8174 ><list-int/></Info></Node></Nodes
8180 ><![CDATA[down]]></PortFrom
8184 ><![CDATA[res]]></PortTo
8187 ><list-int/></Info></Edge
8192 ><![CDATA[copy2]]></PortFrom
8196 ><![CDATA[interface]]></PortTo
8199 ><list-int/></Info></Edge
8204 ><![CDATA[copy1]]></PortFrom
8208 ><![CDATA[interface]]></PortTo
8211 ><list-int/></Info></Edge></Edges></Network></LHS
8213 ><Network Width="15.0" Height="9.0"
8218 ><Position X="0.5" Y="0.5"
8220 ><![CDATA[Node 3]]></Name
8224 ><![CDATA[interface]]></Shape
8226 ><list-int/></Info></Node
8228 ><Position X="3.0610416666666667" Y="0.5264583333333334"
8230 ><![CDATA[Node 4]]></Name
8234 ><![CDATA[interface]]></Shape
8236 ><list-int/></Info></Node
8238 ><Position X="0.7408333333333335" Y="2.3018750000000003"
8240 ><![CDATA[Node 5]]></Name
8244 ><![CDATA[False]]></Shape
8246 ><list-int/></Info></Node
8248 ><Position X="3.0427083333333336" Y="2.2754166666666666"
8250 ><![CDATA[Node 6]]></Name
8254 ><![CDATA[False]]></Shape
8256 ><list-int/></Info></Node></Nodes
8262 ><![CDATA[interface]]></PortFrom
8266 ><![CDATA[res]]></PortTo
8269 ><list-int/></Info></Edge
8274 ><![CDATA[interface]]></PortFrom
8278 ><![CDATA[res]]></PortTo
8281 ><list-int/></Info></Edge></Edges></Network></RHS
8283 ><MappingElement lhs="3" rhs="3"
8284 /><MappingElement lhs="4" rhs="4"/></Mapping></INRule
8287 ><![CDATA[Duplicator_Zero]]></Name
8289 ><Network Width="15.0" Height="9.0"
8294 ><Position X="2.0" Y="2.0"
8296 ><![CDATA[Node 1]]></Name
8300 ><![CDATA[duplicator]]></Shape
8302 ><list-int/></Info></Node
8304 ><Position X="2.0" Y="4.0"
8306 ><![CDATA[Node 2]]></Name
8310 ><![CDATA[Zero]]></Shape
8312 ><list-int/></Info></Node
8314 ><Position X="0.5" Y="0.5"
8316 ><![CDATA[Node 3]]></Name
8320 ><![CDATA[interface]]></Shape
8322 ><list-int/></Info></Node
8324 ><Position X="3.2197916666666666" Y="0.5529166666666666"
8326 ><![CDATA[Node 4]]></Name
8330 ><![CDATA[interface]]></Shape
8332 ><list-int/></Info></Node></Nodes
8338 ><![CDATA[down]]></PortFrom
8342 ><![CDATA[res]]></PortTo
8345 ><list-int/></Info></Edge
8350 ><![CDATA[copy2]]></PortFrom
8354 ><![CDATA[interface]]></PortTo
8357 ><list-int/></Info></Edge
8362 ><![CDATA[copy1]]></PortFrom
8366 ><![CDATA[interface]]></PortTo
8369 ><list-int/></Info></Edge></Edges></Network></LHS
8371 ><Network Width="15.0" Height="9.0"
8376 ><Position X="0.5" Y="0.5"
8378 ><![CDATA[Node 3]]></Name
8382 ><![CDATA[interface]]></Shape
8384 ><list-int/></Info></Node
8386 ><Position X="1.5" Y="0.5"
8388 ><![CDATA[Node 4]]></Name
8392 ><![CDATA[interface]]></Shape
8394 ><list-int/></Info></Node
8396 ><Position X="0.5820833333333334" Y="2.4870833333333335"
8398 ><![CDATA[Node 5]]></Name
8402 ><![CDATA[Zero]]></Shape
8404 ><list-int/></Info></Node
8406 ><Position X="2.0108333333333337" Y="2.354791666666667"
8408 ><![CDATA[Node 6]]></Name
8412 ><![CDATA[Zero]]></Shape
8414 ><list-int/></Info></Node></Nodes
8420 ><![CDATA[interface]]></PortFrom
8424 ><![CDATA[res]]></PortTo
8427 ><list-int/></Info></Edge
8432 ><![CDATA[interface]]></PortFrom
8436 ><![CDATA[res]]></PortTo
8439 ><list-int/></Info></Edge></Edges></Network></RHS
8441 ><MappingElement lhs="3" rhs="3"
8442 /><MappingElement lhs="4" rhs="4"/></Mapping></INRule
8445 ><![CDATA[Duplicator_Succ]]></Name
8447 ><Network Width="15.0" Height="9.0"
8452 ><Position X="2.0" Y="2.0"
8454 ><![CDATA[Node 1]]></Name
8458 ><![CDATA[duplicator]]></Shape
8460 ><list-int/></Info></Node
8462 ><Position X="2.0" Y="4.0"
8464 ><![CDATA[Node 2]]></Name
8468 ><![CDATA[Succ]]></Shape
8470 ><list-int/></Info></Node
8472 ><Position X="0.5" Y="0.5"
8474 ><![CDATA[Node 3]]></Name
8478 ><![CDATA[interface]]></Shape
8480 ><list-int/></Info></Node
8482 ><Position X="3.1139583333333336" Y="0.5"
8484 ><![CDATA[Node 4]]></Name
8488 ><![CDATA[interface]]></Shape
8490 ><list-int/></Info></Node
8492 ><Position X="2.008125" Y="5.473541666666667"
8494 ><![CDATA[Node 5]]></Name
8498 ><![CDATA[interface]]></Shape
8500 ><list-int/></Info></Node></Nodes
8506 ><![CDATA[down]]></PortFrom
8510 ><![CDATA[res]]></PortTo
8513 ><list-int/></Info></Edge
8518 ><![CDATA[copy2]]></PortFrom
8522 ><![CDATA[interface]]></PortTo
8525 ><list-int/></Info></Edge
8530 ><![CDATA[copy1]]></PortFrom
8534 ><![CDATA[interface]]></PortTo
8537 ><list-int/></Info></Edge
8542 ><![CDATA[arg]]></PortFrom
8546 ><![CDATA[interface]]></PortTo
8549 ><list-int/></Info></Edge></Edges></Network></LHS
8551 ><Network Width="15.0" Height="9.0"
8556 ><Position X="0.6058333333333333" Y="0.5"
8558 ><![CDATA[Node 3]]></Name
8562 ><![CDATA[interface]]></Shape
8564 ><list-int/></Info></Node
8566 ><Position X="3.1139583333333336" Y="0.5"
8568 ><![CDATA[Node 4]]></Name
8572 ><![CDATA[interface]]></Shape
8574 ><list-int/></Info></Node
8576 ><Position X="2.008125" Y="5.473541666666667"
8578 ><![CDATA[Node 5]]></Name
8582 ><![CDATA[interface]]></Shape
8584 ><list-int/></Info></Node
8586 ><Position X="0.5820833333333334" Y="2.0902083333333334"
8588 ><![CDATA[Node 6]]></Name
8592 ><![CDATA[Succ]]></Shape
8594 ><list-int/></Info></Node
8596 ><Position X="3.1220833333333338" Y="1.9050000000000002"
8598 ><![CDATA[Node 7]]></Name
8602 ><![CDATA[Succ]]></Shape
8604 ><list-int/></Info></Node
8606 ><Position X="2.0108333333333333" Y="3.6777083333333334"
8608 ><![CDATA[Node 8]]></Name
8612 ><![CDATA[duplicator]]></Shape
8614 ><list-int/></Info></Node></Nodes
8620 ><![CDATA[interface]]></PortFrom
8624 ><![CDATA[res]]></PortTo
8627 ><list-int/></Info></Edge
8632 ><![CDATA[interface]]></PortFrom
8636 ><![CDATA[res]]></PortTo
8639 ><list-int/></Info></Edge
8644 ><![CDATA[arg]]></PortFrom
8648 ><![CDATA[copy1]]></PortTo
8651 ><list-int/></Info></Edge
8656 ><![CDATA[arg]]></PortFrom
8660 ><![CDATA[copy2]]></PortTo
8663 ><list-int/></Info></Edge
8668 ><![CDATA[down]]></PortFrom
8672 ><![CDATA[interface]]></PortTo
8675 ><list-int/></Info></Edge></Edges></Network></RHS
8677 ><MappingElement lhs="3" rhs="3"
8678 /><MappingElement lhs="4" rhs="4"
8679 /><MappingElement lhs="5"
8680 rhs="5"/></Mapping></INRule></Rules></Document>