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
39 ><double value="0.5"/></Circle
43 /><RGB R="0" G="0" B="0"
44 /><RGB R="255" G="255" B="255"/></ShapeStyle
46 ><Position X="-0.25" Y="-0.25"
47 /><Position X="0.25" Y="0.25"/></list-DoublePoint></Lines
51 /><RGB R="0" G="0" B="0"
52 /><RGB R="255" G="255" B="255"/></ShapeStyle
54 ><Position X="0.0" Y="0.0"
56 Y="0.25"/></list-DoublePoint></Lines></list-Shape></Composite></Shape
61 ><![CDATA[res]]></string
62 ><Position X="0.0" Y="-0.35"/></Port></Principals
66 ><![CDATA[body]]></string
67 ><Position X="0.3" Y="0.3"/></Port
70 ><![CDATA[var]]></string
71 ><Position X="-0.3" Y="0.3"/></Port></Auxiliaries></Ports
73 ><maybe-list-int/></Info></Symbol
76 ><![CDATA[application]]></ShapeName
81 /><RGB R="0" G="0" B="0"
82 /><RGB R="255" G="215" B="0"/></ShapeStyle
84 ><![CDATA[@]]></string></TextInEllipse></Shape
89 ><![CDATA[func]]></string
90 ><Position X="-0.3" Y="0.3"/></Port></Principals
94 ><![CDATA[res]]></string
95 ><Position X="0.0" Y="-0.35"/></Port
98 ><![CDATA[arg]]></string
99 ><Position X="0.3" Y="0.3"/></Port></Auxiliaries></Ports
101 ><maybe-list-int/></Info></Symbol
104 ><![CDATA[evaluation]]></ShapeName
111 /><RGB R="0" G="0" B="0"
112 /><RGB R="144" G="238" B="144"/></ShapeStyle
113 ><double value="0.5"/></Circle
117 /><RGB R="0" G="0" B="0"
118 /><RGB R="255" G="255" B="255"/></ShapeStyle
120 ><Position X="-0.2" Y="-0.2"
121 /><Position X="-0.2" Y="0.2"/></list-DoublePoint></Lines
125 /><RGB R="0" G="0" B="0"
126 /><RGB R="255" G="255" B="255"/></ShapeStyle
128 ><Position X="0.2" Y="-0.2"
129 /><Position X="0.2" Y="0.2"/></list-DoublePoint></Lines
133 /><RGB R="0" G="0" B="0"
134 /><RGB R="255" G="255" B="255"/></ShapeStyle
136 ><Position X="-0.3" Y="0.25"
137 /><Position X="0.0" Y="0.4"
139 Y="0.25"/></list-DoublePoint></Lines></list-Shape></Composite></Shape
144 ><![CDATA[arg]]></string
145 ><Position X="0.0" Y="0.5"/></Port></Principals
149 ><![CDATA[res]]></string
150 ><Position X="0.0" Y="-0.5"/></Port></Auxiliaries></Ports
152 ><maybe-list-int/></Info></Symbol
155 ><![CDATA[evalReturn]]></ShapeName
162 /><RGB R="0" G="0" B="0"
163 /><RGB R="144" G="238" B="144"/></ShapeStyle
164 ><double value="0.5"/></Circle
168 /><RGB R="0" G="0" B="0"
169 /><RGB R="255" G="255" B="255"/></ShapeStyle
171 ><Position X="-0.2" Y="-0.2"
172 /><Position X="-0.2" Y="0.2"/></list-DoublePoint></Lines
176 /><RGB R="0" G="0" B="0"
177 /><RGB R="255" G="255" B="255"/></ShapeStyle
179 ><Position X="0.2" Y="-0.2"
180 /><Position X="0.2" Y="0.2"/></list-DoublePoint></Lines
184 /><RGB R="0" G="0" B="0"
185 /><RGB R="255" G="255" B="255"/></ShapeStyle
187 ><Position X="-0.3" Y="-0.25"
188 /><Position X="0.0" Y="-0.4"
190 Y="-0.25"/></list-DoublePoint></Lines></list-Shape></Composite></Shape
195 ><![CDATA[res]]></string
196 ><Position X="0.0" Y="-0.5"/></Port></Principals
200 ><![CDATA[arg]]></string
201 ><Position X="0.0" Y="0.5"/></Port></Auxiliaries></Ports
203 ><maybe-list-int/></Info></Symbol
206 ><![CDATA[beforeApplication]]></ShapeName
211 /><RGB R="0" G="0" B="0"
212 /><RGB R="192" G="192" B="192"/></ShapeStyle
214 ><![CDATA[a]]></string></TextInEllipse></Shape
219 ><![CDATA[res]]></string
220 ><Position X="0.0" Y="-0.3"/></Port></Principals
224 ><![CDATA[arg]]></string
225 ><Position X="0.3" Y="0.3"/></Port
228 ><![CDATA[func]]></string
229 ><Position X="-0.3" Y="0.3"/></Port></Auxiliaries></Ports
231 ><maybe-list-int/></Info></Symbol
234 ><![CDATA[copy]]></ShapeName
239 /><RGB R="0" G="0" B="0"
240 /><RGB R="192" G="192" B="192"/></ShapeStyle
242 ><![CDATA[c]]></string></TextInEllipse></Shape
247 ><![CDATA[src]]></string
248 ><Position X="0.0" Y="0.3"/></Port></Principals
252 ><![CDATA[fst_target]]></string
253 ><Position X="-0.3" Y="-0.3"/></Port
256 ><![CDATA[snd_target]]></string
257 ><Position X="0.3" Y="-0.3"/></Port></Auxiliaries></Ports
259 ><maybe-list-int/></Info></Symbol
262 ><![CDATA[duplicator]]></ShapeName
269 /><RGB R="250" G="0" B="0"
270 /><RGB R="255" G="255" B="255"/></ShapeStyle
271 ><double value="0.5"/></Circle
275 /><RGB R="250" G="0" B="0"
276 /><RGB R="255" G="255" B="255"/></ShapeStyle
278 /><double value="70.0"
279 /><double value="270.0"
280 /><Position X="0.0" Y="-0.18"/></Arc
284 /><RGB R="250" G="0" B="0"
285 /><RGB R="255" G="255" B="255"/></ShapeStyle
287 /><double value="150.0"
288 /><double value="90.0"
290 Y="0.18"/></Arc></list-Shape></Composite></Shape
295 ><![CDATA[down]]></string
296 ><Position X="0.0" Y="0.5"/></Port></Principals
300 ><![CDATA[copy1]]></string
301 ><Position X="-0.3" Y="-0.3"/></Port
304 ><![CDATA[copy2]]></string
305 ><Position X="0.3" Y="-0.3"/></Port></Auxiliaries></Ports
308 ><list-int/></maybe-list-int></Info></Symbol
311 ><![CDATA[Erase]]></ShapeName
318 /><RGB R="250" G="0" B="0"
319 /><RGB R="255" G="255" B="255"/></ShapeStyle
320 ><double value="0.5"/></Circle
324 /><RGB R="250" G="0" B="0"
325 /><RGB R="255" G="255" B="255"/></ShapeStyle
327 /><double value="90.0"
328 /><double value="270.0"
329 /><Position X="0.0" Y="-0.18"/></Arc
333 /><RGB R="250" G="0" B="0"
334 /><RGB R="255" G="255" B="255"/></ShapeStyle
336 /><double value="90.0"
337 /><double value="270.0"
339 Y="0.18"/></Arc></list-Shape></Composite></Shape
344 ><![CDATA[down]]></string
345 ><Position X="0.0" Y="0.5"/></Port></Principals
346 ><Auxiliaries/></Ports
349 ><list-int/></maybe-list-int></Info></Symbol
352 ><![CDATA[application']]></ShapeName
357 /><RGB R="0" G="0" B="0"
358 /><RGB R="255" G="215" B="0"/></ShapeStyle
360 ><![CDATA[@']]></string></TextInEllipse></Shape
365 ><![CDATA[arg]]></string
366 ><Position X="0.3" Y="0.3"/></Port></Principals
370 ><![CDATA[func]]></string
371 ><Position X="-0.3" Y="0.3"/></Port
374 ><![CDATA[res]]></string
375 ><Position X="0.0" Y="-0.35"/></Port></Auxiliaries></Ports
377 ><maybe-list-int/></Info></Symbol></Palette
381 ><![CDATA[evaluate_lambda]]></Name
383 ><Network Width="15.0" Height="9.0"
388 ><Position X="2.0" Y="2.0"
390 ><![CDATA[Node 1]]></Name
394 ><![CDATA[evaluation]]></Shape
396 ><list-int/></Info></Node
398 ><Position X="2.0" Y="4.0"
400 ><![CDATA[Node 2]]></Name
404 ><![CDATA[lambda]]></Shape
406 ><list-int/></Info></Node
408 ><Position X="2.008125" Y="0.6322916666666667"
410 ><![CDATA[Node 3]]></Name
414 ><![CDATA[interface]]></Shape
416 ><list-int/></Info></Node
418 ><Position X="2.8812499999999996" Y="5.420625000000001"
420 ><![CDATA[Node 4]]></Name
424 ><![CDATA[interface]]></Shape
426 ><list-int/></Info></Node
428 ><Position X="1.1295833333333334" Y="5.394166666666667"
430 ><![CDATA[Node 5]]></Name
434 ><![CDATA[interface]]></Shape
436 ><list-int/></Info></Node></Nodes
442 ><![CDATA[arg]]></PortFrom
446 ><![CDATA[res]]></PortTo
449 ><list-int/></Info></Edge
454 ><![CDATA[res]]></PortFrom
458 ><![CDATA[interface]]></PortTo
461 ><list-int/></Info></Edge
466 ><![CDATA[var]]></PortFrom
470 ><![CDATA[interface]]></PortTo
473 ><list-int/></Info></Edge
478 ><![CDATA[body]]></PortFrom
482 ><![CDATA[interface]]></PortTo
485 ><list-int/></Info></Edge></Edges></Network></LHS
487 ><Network Width="15.0" Height="9.0"
492 ><Position X="2.008125" Y="0.6322916666666667"
494 ><![CDATA[Node 3]]></Name
498 ><![CDATA[interface]]></Shape
500 ><list-int/></Info></Node
502 ><Position X="2.8812499999999996" Y="5.420625000000001"
504 ><![CDATA[Node 4]]></Name
508 ><![CDATA[interface]]></Shape
510 ><list-int/></Info></Node
512 ><Position X="1.1295833333333334" Y="5.394166666666667"
514 ><![CDATA[Node 5]]></Name
518 ><![CDATA[interface]]></Shape
520 ><list-int/></Info></Node
522 ><Position X="1.9843750000000004" Y="4.1275"
524 ><![CDATA[Node 6]]></Name
528 ><![CDATA[lambda]]></Shape
530 ><list-int/></Info></Node
532 ><Position X="1.9843750000000004" Y="2.2225"
534 ><![CDATA[Node 7]]></Name
538 ><![CDATA[evalReturn]]></Shape
540 ><list-int/></Info></Node></Nodes
546 ><![CDATA[var]]></PortFrom
550 ><![CDATA[interface]]></PortTo
553 ><list-int/></Info></Edge
558 ><![CDATA[body]]></PortFrom
562 ><![CDATA[interface]]></PortTo
565 ><list-int/></Info></Edge
570 ><![CDATA[interface]]></PortFrom
574 ><![CDATA[res]]></PortTo
577 ><list-int/></Info></Edge
582 ><![CDATA[arg]]></PortFrom
586 ><![CDATA[res]]></PortTo
589 ><list-int/></Info></Edge></Edges></Network></RHS
591 ><MappingElement lhs="3" rhs="3"
592 /><MappingElement lhs="4" rhs="4"
593 /><MappingElement lhs="5" rhs="5"/></Mapping></INRule
596 ><![CDATA[evaluate_application]]></Name
598 ><Network Width="15.0" Height="9.0"
603 ><Position X="2.0" Y="2.0"
605 ><![CDATA[Node 1]]></Name
609 ><![CDATA[evaluation]]></Shape
611 ><list-int/></Info></Node
613 ><Position X="2.0" Y="4.0"
615 ><![CDATA[Node 2]]></Name
619 ><![CDATA[beforeApplication]]></Shape
621 ><list-int/></Info></Node
623 ><Position X="2.008125" Y="0.5529166666666667"
625 ><![CDATA[Node 3]]></Name
629 ><![CDATA[interface]]></Shape
631 ><list-int/></Info></Node
633 ><Position X="2.6695833333333336" Y="5.447083333333333"
635 ><![CDATA[Node 4]]></Name
639 ><![CDATA[interface]]></Shape
641 ><list-int/></Info></Node
643 ><Position X="1.3147916666666666" Y="5.5"
645 ><![CDATA[Node 5]]></Name
649 ><![CDATA[interface]]></Shape
651 ><list-int/></Info></Node></Nodes
657 ><![CDATA[arg]]></PortFrom
661 ><![CDATA[res]]></PortTo
664 ><list-int/></Info></Edge
669 ><![CDATA[res]]></PortFrom
673 ><![CDATA[interface]]></PortTo
676 ><list-int/></Info></Edge
681 ><![CDATA[func]]></PortFrom
685 ><![CDATA[interface]]></PortTo
688 ><list-int/></Info></Edge
693 ><![CDATA[arg]]></PortFrom
697 ><![CDATA[interface]]></PortTo
700 ><list-int/></Info></Edge></Edges></Network></LHS
702 ><Network Width="15.0" Height="9.0"
707 ><Position X="2.008125" Y="0.5529166666666667"
709 ><![CDATA[Node 3]]></Name
713 ><![CDATA[interface]]></Shape
715 ><list-int/></Info></Node
717 ><Position X="2.6695833333333336" Y="5.447083333333333"
719 ><![CDATA[Node 4]]></Name
723 ><![CDATA[interface]]></Shape
725 ><list-int/></Info></Node
727 ><Position X="1.3147916666666666" Y="5.5"
729 ><![CDATA[Node 5]]></Name
733 ><![CDATA[interface]]></Shape
735 ><list-int/></Info></Node
737 ><Position X="2.0372916666666665" Y="2.0108333333333333"
739 ><![CDATA[Node 6]]></Name
743 ><![CDATA[application]]></Shape
745 ><list-int/></Info></Node
747 ><Position X="1.3229166666666667" Y="3.757083333333333"
749 ><![CDATA[Node 7]]></Name
753 ><![CDATA[evaluation]]></Shape
755 ><list-int/></Info></Node></Nodes
761 ><![CDATA[interface]]></PortFrom
765 ><![CDATA[res]]></PortTo
768 ><list-int/></Info></Edge
773 ><![CDATA[func]]></PortFrom
777 ><![CDATA[res]]></PortTo
780 ><list-int/></Info></Edge
785 ><![CDATA[arg]]></PortFrom
789 ><![CDATA[interface]]></PortTo
792 ><list-int/></Info></Edge
797 ><![CDATA[arg]]></PortFrom
801 ><![CDATA[interface]]></PortTo
804 ><list-int/></Info></Edge></Edges></Network></RHS
806 ><MappingElement lhs="3" rhs="3"
807 /><MappingElement lhs="4" rhs="4"
808 /><MappingElement lhs="5" rhs="5"/></Mapping></INRule
811 ><![CDATA[afterEvaluatingLeftSideOfApplication]]></Name
813 ><Network Width="15.0" Height="9.0"
818 ><Position X="2.306666666666666" Y="2.0"
820 ><![CDATA[Node 1]]></Name
824 ><![CDATA[application]]></Shape
826 ><list-int/></Info></Node
828 ><Position X="2.0" Y="4.0"
830 ><![CDATA[Node 2]]></Name
834 ><![CDATA[evalReturn]]></Shape
836 ><list-int/></Info></Node
838 ><Position X="2.3256250000000005" Y="0.579375"
840 ><![CDATA[Node 3]]></Name
844 ><![CDATA[interface]]></Shape
846 ><list-int/></Info></Node
848 ><Position X="3.7754166666666675" Y="5.420624999999999"
850 ><![CDATA[Node 4]]></Name
854 ><![CDATA[interface]]></Shape
856 ><list-int/></Info></Node
858 ><Position X="2.008125" Y="5.4470833333333335"
860 ><![CDATA[Node 5]]></Name
864 ><![CDATA[interface]]></Shape
866 ><list-int/></Info></Node></Nodes
872 ><![CDATA[func]]></PortFrom
876 ><![CDATA[res]]></PortTo
879 ><list-int/></Info></Edge
884 ><![CDATA[arg]]></PortFrom
888 ><![CDATA[interface]]></PortTo
891 ><list-int/></Info></Edge
896 ><![CDATA[res]]></PortFrom
900 ><![CDATA[interface]]></PortTo
903 ><list-int/></Info></Edge
908 ><![CDATA[arg]]></PortFrom
912 ><![CDATA[interface]]></PortTo
915 ><list-int/></Info></Edge></Edges></Network></LHS
917 ><Network Width="15.0" Height="9.0"
922 ><Position X="2.3256250000000005" Y="0.579375"
924 ><![CDATA[Node 3]]></Name
928 ><![CDATA[interface]]></Shape
930 ><list-int/></Info></Node
932 ><Position X="3.7754166666666675" Y="5.420624999999999"
934 ><![CDATA[Node 4]]></Name
938 ><![CDATA[interface]]></Shape
940 ><list-int/></Info></Node
942 ><Position X="2.034583333333334" Y="5.4470833333333335"
944 ><![CDATA[Node 5]]></Name
948 ><![CDATA[interface]]></Shape
950 ><list-int/></Info></Node
952 ><Position X="2.3283333333333336" Y="2.460625"
954 ><![CDATA[Node 6]]></Name
958 ><![CDATA[application']]></Shape
960 ><list-int/></Info></Node
962 ><Position X="3.783541666666667" Y="3.8893750000000002"
964 ><![CDATA[Node 7]]></Name
968 ><![CDATA[evaluation]]></Shape
970 ><list-int/></Info></Node></Nodes
976 ><![CDATA[interface]]></PortFrom
980 ><![CDATA[arg]]></PortTo
983 ><list-int/></Info></Edge
988 ><![CDATA[interface]]></PortFrom
992 ><![CDATA[func]]></PortTo
995 ><list-int/></Info></Edge
1000 ><![CDATA[arg]]></PortFrom
1004 ><![CDATA[res]]></PortTo
1007 ><list-int/></Info></Edge
1012 ><![CDATA[interface]]></PortFrom
1016 ><![CDATA[res]]></PortTo
1019 ><list-int/></Info></Edge></Edges></Network></RHS
1021 ><MappingElement lhs="3" rhs="3"
1022 /><MappingElement lhs="4" rhs="4"
1023 /><MappingElement lhs="5" rhs="5"/></Mapping></INRule
1026 ><![CDATA[afterEvaluatingRightSideOfApplication]]></Name
1028 ><Network Width="15.0" Height="9.0"
1033 ><Position X="2.0" Y="2.0"
1035 ><![CDATA[Node 1]]></Name
1039 ><![CDATA[application']]></Shape
1041 ><list-int/></Info></Node
1043 ><Position X="2.79375" Y="3.708958333333333"
1045 ><![CDATA[Node 2]]></Name
1049 ><![CDATA[evalReturn]]></Shape
1051 ><list-int/></Info></Node
1053 ><Position X="0.7645833333333334" Y="5.367708333333334"
1055 ><![CDATA[Node 3]]></Name
1059 ><![CDATA[interface]]></Shape
1061 ><list-int/></Info></Node
1063 ><Position X="2.0081249999999997" Y="0.4735416666666667"
1065 ><![CDATA[Node 4]]></Name
1069 ><![CDATA[interface]]></Shape
1071 ><list-int/></Info></Node
1073 ><Position X="2.7964583333333333" Y="5.34125"
1075 ><![CDATA[Node 5]]></Name
1079 ><![CDATA[interface]]></Shape
1081 ><list-int/></Info></Node></Nodes
1087 ><![CDATA[arg]]></PortFrom
1091 ><![CDATA[res]]></PortTo
1094 ><list-int/></Info></Edge
1099 ><![CDATA[res]]></PortFrom
1103 ><![CDATA[interface]]></PortTo
1106 ><list-int/></Info></Edge
1111 ><![CDATA[func]]></PortFrom
1115 ><![CDATA[interface]]></PortTo
1118 ><list-int/></Info></Edge
1123 ><![CDATA[arg]]></PortFrom
1127 ><![CDATA[interface]]></PortTo
1130 ><list-int/></Info></Edge></Edges></Network></LHS
1132 ><Network Width="15.0" Height="9.0"
1137 ><Position X="0.7645833333333334" Y="5.367708333333334"
1139 ><![CDATA[Node 3]]></Name
1143 ><![CDATA[interface]]></Shape
1145 ><list-int/></Info></Node
1147 ><Position X="2.0081249999999997" Y="0.4735416666666667"
1149 ><![CDATA[Node 4]]></Name
1153 ><![CDATA[interface]]></Shape
1155 ><list-int/></Info></Node
1157 ><Position X="2.7964583333333333" Y="5.34125"
1159 ><![CDATA[Node 5]]></Name
1163 ><![CDATA[interface]]></Shape
1165 ><list-int/></Info></Node
1167 ><Position X="1.9843750000000004" Y="2.5664583333333337"
1169 ><![CDATA[Node 6]]></Name
1173 ><![CDATA[application]]></Shape
1175 ><list-int/></Info></Node></Nodes
1181 ><![CDATA[interface]]></PortFrom
1185 ><![CDATA[res]]></PortTo
1188 ><list-int/></Info></Edge
1193 ><![CDATA[func]]></PortFrom
1197 ><![CDATA[interface]]></PortTo
1200 ><list-int/></Info></Edge
1205 ><![CDATA[arg]]></PortFrom
1209 ><![CDATA[interface]]></PortTo
1212 ><list-int/></Info></Edge></Edges></Network></RHS
1214 ><MappingElement lhs="3" rhs="3"
1215 /><MappingElement lhs="4" rhs="4"
1216 /><MappingElement lhs="5" rhs="5"/></Mapping></INRule
1219 ><![CDATA[application_lambda]]></Name
1221 ><Network Width="15.0" Height="9.0"
1226 ><Position X="3.2591666666666668" Y="1.9470833333333335"
1228 ><![CDATA[Node 1]]></Name
1232 ><![CDATA[application]]></Shape
1234 ><list-int/></Info></Node
1236 ><Position X="2.0" Y="4.0"
1238 ><![CDATA[Node 2]]></Name
1242 ><![CDATA[lambda]]></Shape
1244 ><list-int/></Info></Node
1246 ><Position X="3.278125" Y="0.579375"
1248 ><![CDATA[Node 3]]></Name
1252 ><![CDATA[interface]]></Shape
1254 ><list-int/></Info></Node
1256 ><Position X="3.558333333333333" Y="5.420624999999999"
1258 ><![CDATA[Node 4]]></Name
1262 ><![CDATA[interface]]></Shape
1264 ><list-int/></Info></Node
1266 ><Position X="2.537291666666667" Y="5.394166666666667"
1268 ><![CDATA[Node 5]]></Name
1272 ><![CDATA[interface]]></Shape
1274 ><list-int/></Info></Node
1276 ><Position X="1.3677083333333333" Y="5.394166666666667"
1278 ><![CDATA[Node 6]]></Name
1282 ><![CDATA[interface]]></Shape
1284 ><list-int/></Info></Node></Nodes
1290 ><![CDATA[func]]></PortFrom
1294 ><![CDATA[res]]></PortTo
1297 ><list-int/></Info></Edge
1302 ><![CDATA[arg]]></PortFrom
1306 ><![CDATA[interface]]></PortTo
1309 ><list-int/></Info></Edge
1314 ><![CDATA[res]]></PortFrom
1318 ><![CDATA[interface]]></PortTo
1321 ><list-int/></Info></Edge
1326 ><![CDATA[var]]></PortFrom
1330 ><![CDATA[interface]]></PortTo
1333 ><list-int/></Info></Edge
1338 ><![CDATA[body]]></PortFrom
1342 ><![CDATA[interface]]></PortTo
1345 ><list-int/></Info></Edge></Edges></Network></LHS
1347 ><Network Width="15.0" Height="9.0"
1352 ><Position X="3.278125" Y="0.579375"
1354 ><![CDATA[Node 3]]></Name
1358 ><![CDATA[interface]]></Shape
1360 ><list-int/></Info></Node
1362 ><Position X="3.558333333333333" Y="5.420624999999999"
1364 ><![CDATA[Node 4]]></Name
1368 ><![CDATA[interface]]></Shape
1370 ><list-int/></Info></Node
1372 ><Position X="2.537291666666667" Y="5.394166666666667"
1374 ><![CDATA[Node 5]]></Name
1378 ><![CDATA[interface]]></Shape
1380 ><list-int/></Info></Node
1382 ><Position X="1.3677083333333333" Y="5.394166666666667"
1384 ><![CDATA[Node 6]]></Name
1388 ><![CDATA[interface]]></Shape
1390 ><list-int/></Info></Node
1392 ><Position X="3.254375" Y="2.2225"
1394 ><![CDATA[Node 7]]></Name
1398 ><![CDATA[evaluation]]></Shape
1400 ><list-int/></Info></Node></Nodes
1406 ><![CDATA[interface]]></PortFrom
1410 ><![CDATA[res]]></PortTo
1413 ><list-int/></Info></Edge
1418 ><![CDATA[interface]]></PortFrom
1422 ><![CDATA[arg]]></PortTo
1425 ><list-int/></Info></Edge
1430 ><![CDATA[interface]]></PortFrom
1434 ><![CDATA[interface]]></PortTo
1436 ><Position X="1.3758333333333332" Y="4.048125"
1437 /><Position X="3.5454166666666667" Y="4.048125000000001"/></Via
1439 ><list-int/></Info></Edge></Edges></Network></RHS
1441 ><MappingElement lhs="3" rhs="3"
1442 /><MappingElement lhs="4" rhs="4"
1443 /><MappingElement lhs="5" rhs="5"
1444 /><MappingElement lhs="6" rhs="6"/></Mapping></INRule
1447 ><![CDATA[Copy_Lambda]]></Name
1449 ><Network Width="15.0" Height="9.0"
1454 ><Position X="2.0" Y="2.0"
1456 ><![CDATA[Node 1]]></Name
1460 ><![CDATA[copy]]></Shape
1462 ><list-int/></Info></Node
1464 ><Position X="2.0" Y="4.0"
1466 ><![CDATA[Node 2]]></Name
1470 ><![CDATA[lambda]]></Shape
1472 ><list-int/></Info></Node
1474 ><Position X="1.1879166666666667" Y="0.5264583333333334"
1476 ><![CDATA[Node 3]]></Name
1480 ><![CDATA[interface]]></Shape
1482 ><list-int/></Info></Node
1484 ><Position X="2.6377083333333338" Y="0.6058333333333333"
1486 ><![CDATA[Node 4]]></Name
1490 ><![CDATA[interface]]></Shape
1492 ><list-int/></Info></Node
1494 ><Position X="2.6431250000000004" Y="5.4470833333333335"
1496 ><![CDATA[Node 5]]></Name
1500 ><![CDATA[interface]]></Shape
1502 ><list-int/></Info></Node
1504 ><Position X="1.103125" Y="5.473541666666667"
1506 ><![CDATA[Node 6]]></Name
1510 ><![CDATA[interface]]></Shape
1512 ><list-int/></Info></Node></Nodes
1518 ><![CDATA[src]]></PortFrom
1522 ><![CDATA[res]]></PortTo
1525 ><list-int/></Info></Edge
1530 ><![CDATA[snd_target]]></PortFrom
1534 ><![CDATA[interface]]></PortTo
1537 ><list-int/></Info></Edge
1542 ><![CDATA[fst_target]]></PortFrom
1546 ><![CDATA[interface]]></PortTo
1549 ><list-int/></Info></Edge
1554 ><![CDATA[var]]></PortFrom
1558 ><![CDATA[interface]]></PortTo
1561 ><list-int/></Info></Edge
1566 ><![CDATA[body]]></PortFrom
1570 ><![CDATA[interface]]></PortTo
1573 ><list-int/></Info></Edge></Edges></Network></LHS
1575 ><Network Width="15.0" Height="9.0"
1580 ><Position X="1.1879166666666667" Y="0.5264583333333334"
1582 ><![CDATA[Node 3]]></Name
1586 ><![CDATA[interface]]></Shape
1588 ><list-int/></Info></Node
1590 ><Position X="2.6377083333333338" Y="0.6058333333333333"
1592 ><![CDATA[Node 4]]></Name
1596 ><![CDATA[interface]]></Shape
1598 ><list-int/></Info></Node
1600 ><Position X="2.6431250000000004" Y="5.473541666666668"
1602 ><![CDATA[Node 5]]></Name
1606 ><![CDATA[interface]]></Shape
1608 ><list-int/></Info></Node
1610 ><Position X="1.1560416666666664" Y="5.5"
1612 ><![CDATA[Node 6]]></Name
1616 ><![CDATA[interface]]></Shape
1618 ><list-int/></Info></Node
1620 ><Position X="1.2170833333333335" Y="1.9843750000000002"
1622 ><![CDATA[Node 7]]></Name
1626 ><![CDATA[lambda]]></Shape
1628 ><list-int/></Info></Node
1630 ><Position X="2.6458333333333335" Y="1.9579166666666667"
1632 ><![CDATA[Node 8]]></Name
1636 ><![CDATA[lambda]]></Shape
1638 ><list-int/></Info></Node
1640 ><Position X="1.2170833333333335" Y="4.206875000000001"
1642 ><![CDATA[Node 9]]></Name
1646 ><![CDATA[duplicator]]></Shape
1648 ><list-int/></Info></Node
1650 ><Position X="2.6458333333333335" Y="4.2597916666666675"
1652 ><![CDATA[Node 10]]></Name
1656 ><![CDATA[duplicator]]></Shape
1658 ><list-int/></Info></Node></Nodes
1664 ><![CDATA[interface]]></PortFrom
1668 ><![CDATA[res]]></PortTo
1671 ><list-int/></Info></Edge
1676 ><![CDATA[interface]]></PortFrom
1680 ><![CDATA[res]]></PortTo
1683 ><list-int/></Info></Edge
1688 ><![CDATA[down]]></PortFrom
1692 ><![CDATA[interface]]></PortTo
1695 ><list-int/></Info></Edge
1700 ><![CDATA[down]]></PortFrom
1704 ><![CDATA[interface]]></PortTo
1707 ><list-int/></Info></Edge
1712 ><![CDATA[body]]></PortFrom
1716 ><![CDATA[copy1]]></PortTo
1719 ><list-int/></Info></Edge
1724 ><![CDATA[body]]></PortFrom
1728 ><![CDATA[copy2]]></PortTo
1731 ><list-int/></Info></Edge
1736 ><![CDATA[var]]></PortFrom
1740 ><![CDATA[copy1]]></PortTo
1743 ><list-int/></Info></Edge
1748 ><![CDATA[copy2]]></PortFrom
1752 ><![CDATA[var]]></PortTo
1755 ><list-int/></Info></Edge></Edges></Network></RHS
1757 ><MappingElement lhs="3" rhs="3"
1758 /><MappingElement lhs="4" rhs="4"
1759 /><MappingElement lhs="5" rhs="5"
1760 /><MappingElement lhs="6" rhs="6"/></Mapping></INRule
1763 ><![CDATA[Duplicator_duplicator]]></Name
1765 ><Network Width="15.0" Height="9.0"
1770 ><Position X="2.0" Y="2.0"
1772 ><![CDATA[Node 1]]></Name
1776 ><![CDATA[duplicator]]></Shape
1778 ><list-int/></Info></Node
1780 ><Position X="4.0" Y="2.0"
1782 ><![CDATA[Node 2]]></Name
1786 ><![CDATA[duplicator]]></Shape
1788 ><list-int/></Info></Node
1790 ><Position X="1.690625" Y="0.5"
1792 ><![CDATA[Node 3]]></Name
1796 ><![CDATA[interface]]></Shape
1798 ><list-int/></Info></Node
1800 ><Position X="2.29375" Y="0.5"
1802 ><![CDATA[Node 4]]></Name
1806 ><![CDATA[interface]]></Shape
1808 ><list-int/></Info></Node
1810 ><Position X="3.2143749999999995" Y="4.045416666666667"
1812 ><![CDATA[Node 5]]></Name
1816 ><![CDATA[interface]]></Shape
1818 ><list-int/></Info></Node
1820 ><Position X="4.77" Y="4.045416666666667"
1822 ><![CDATA[Node 6]]></Name
1826 ><![CDATA[interface]]></Shape
1828 ><list-int/></Info></Node></Nodes
1834 ><![CDATA[down]]></PortFrom
1838 ><![CDATA[down]]></PortTo
1841 ><list-int/></Info></Edge
1846 ><![CDATA[copy2]]></PortFrom
1850 ><![CDATA[interface]]></PortTo
1853 ><list-int/></Info></Edge
1858 ><![CDATA[copy1]]></PortFrom
1862 ><![CDATA[interface]]></PortTo
1865 ><list-int/></Info></Edge
1870 ><![CDATA[copy2]]></PortFrom
1874 ><![CDATA[interface]]></PortTo
1876 ><Position X="4.7625" Y="1.6933333333333338"/></Via
1878 ><list-int/></Info></Edge
1883 ><![CDATA[copy1]]></PortFrom
1887 ><![CDATA[interface]]></PortTo
1889 ><Position X="3.201458333333334" Y="1.6933333333333334"/></Via
1891 ><list-int/></Info></Edge></Edges></Network></LHS
1893 ><Network Width="15.0" Height="9.0"
1898 ><Position X="1.690625" Y="0.5"
1900 ><![CDATA[Node 3]]></Name
1904 ><![CDATA[interface]]></Shape
1906 ><list-int/></Info></Node
1908 ><Position X="2.29375" Y="0.5"
1910 ><![CDATA[Node 4]]></Name
1914 ><![CDATA[interface]]></Shape
1916 ><list-int/></Info></Node
1918 ><Position X="3.2143749999999995" Y="4.045416666666667"
1920 ><![CDATA[Node 5]]></Name
1924 ><![CDATA[interface]]></Shape
1926 ><list-int/></Info></Node
1928 ><Position X="4.77" Y="4.045416666666667"
1930 ><![CDATA[Node 6]]></Name
1934 ><![CDATA[interface]]></Shape
1936 ><list-int/></Info></Node></Nodes
1942 ><![CDATA[interface]]></PortFrom
1946 ><![CDATA[interface]]></PortTo
1949 ><list-int/></Info></Edge
1954 ><![CDATA[interface]]></PortFrom
1958 ><![CDATA[interface]]></PortTo
1961 ><list-int/></Info></Edge></Edges></Network></RHS
1963 ><MappingElement lhs="3" rhs="3"
1964 /><MappingElement lhs="4" rhs="4"
1965 /><MappingElement lhs="5" rhs="5"
1966 /><MappingElement lhs="6" rhs="6"/></Mapping></INRule
1969 ><![CDATA[Erase_Lambda]]></Name
1971 ><Network Width="15.0" Height="9.0"
1976 ><Position X="2.0" Y="2.0"
1978 ><![CDATA[Node 1]]></Name
1982 ><![CDATA[Erase]]></Shape
1984 ><list-int/></Info></Node
1986 ><Position X="2.0" Y="4.0"
1988 ><![CDATA[Node 2]]></Name
1992 ><![CDATA[lambda]]></Shape
1994 ><list-int/></Info></Node
1996 ><Position X="2.590208333333334" Y="5.473541666666666"
1998 ><![CDATA[Node 3]]></Name
2002 ><![CDATA[interface]]></Shape
2004 ><list-int/></Info></Node
2006 ><Position X="1.5" Y="5.5"
2008 ><![CDATA[Node 4]]></Name
2012 ><![CDATA[interface]]></Shape
2014 ><list-int/></Info></Node></Nodes
2020 ><![CDATA[down]]></PortFrom
2024 ><![CDATA[res]]></PortTo
2027 ><list-int/></Info></Edge
2032 ><![CDATA[var]]></PortFrom
2036 ><![CDATA[interface]]></PortTo
2039 ><list-int/></Info></Edge
2044 ><![CDATA[body]]></PortFrom
2048 ><![CDATA[interface]]></PortTo
2051 ><list-int/></Info></Edge></Edges></Network></LHS
2053 ><Network Width="15.0" Height="9.0"
2058 ><Position X="2.590208333333334" Y="5.473541666666666"
2060 ><![CDATA[Node 3]]></Name
2064 ><![CDATA[interface]]></Shape
2066 ><list-int/></Info></Node
2068 ><Position X="1.5" Y="5.5"
2070 ><![CDATA[Node 4]]></Name
2074 ><![CDATA[interface]]></Shape
2076 ><list-int/></Info></Node
2078 ><Position X="1.5081250000000002" Y="3.677708333333334"
2080 ><![CDATA[Node 5]]></Name
2084 ><![CDATA[Erase]]></Shape
2086 ><list-int/></Info></Node
2088 ><Position X="2.5664583333333337" Y="3.6512500000000006"
2090 ><![CDATA[Node 6]]></Name
2094 ><![CDATA[Erase]]></Shape
2096 ><list-int/></Info></Node></Nodes
2102 ><![CDATA[down]]></PortFrom
2106 ><![CDATA[interface]]></PortTo
2109 ><list-int/></Info></Edge
2114 ><![CDATA[down]]></PortFrom
2118 ><![CDATA[interface]]></PortTo
2121 ><list-int/></Info></Edge></Edges></Network></RHS
2123 ><MappingElement lhs="3" rhs="3"
2124 /><MappingElement lhs="4" rhs="4"/></Mapping></INRule
2127 ><![CDATA[Erase_Application]]></Name
2129 ><Network Width="15.0" Height="9.0"
2134 ><Position X="2.0" Y="2.0"
2136 ><![CDATA[Node 1]]></Name
2140 ><![CDATA[Erase]]></Shape
2142 ><list-int/></Info></Node
2144 ><Position X="4.2910416666666675" Y="2.200833333333333"
2146 ><![CDATA[Node 2]]></Name
2150 ><![CDATA[application]]></Shape
2152 ><list-int/></Info></Node
2154 ><Position X="4.3100000000000005" Y="0.7381249999999997"
2156 ><![CDATA[Node 3]]></Name
2160 ><![CDATA[interface]]></Shape
2162 ><list-int/></Info></Node
2164 ><Position X="4.601041666666666" Y="4.653333333333333"
2166 ><![CDATA[Node 4]]></Name
2170 ><![CDATA[interface]]></Shape
2172 ><list-int/></Info></Node></Nodes
2178 ><![CDATA[down]]></PortFrom
2182 ><![CDATA[func]]></PortTo
2185 ><list-int/></Info></Edge
2190 ><![CDATA[arg]]></PortFrom
2194 ><![CDATA[interface]]></PortTo
2197 ><list-int/></Info></Edge
2202 ><![CDATA[res]]></PortFrom
2206 ><![CDATA[interface]]></PortTo
2209 ><list-int/></Info></Edge></Edges></Network></LHS
2211 ><Network Width="15.0" Height="9.0"
2216 ><Position X="4.3100000000000005" Y="0.7381249999999997"
2218 ><![CDATA[Node 3]]></Name
2222 ><![CDATA[interface]]></Shape
2224 ><list-int/></Info></Node
2226 ><Position X="4.601041666666666" Y="4.653333333333333"
2228 ><![CDATA[Node 4]]></Name
2232 ><![CDATA[interface]]></Shape
2234 ><list-int/></Info></Node
2236 ><Position X="2.275416666666667" Y="1.27"
2238 ><![CDATA[Node 5]]></Name
2242 ><![CDATA[Erase]]></Shape
2244 ><list-int/></Info></Node
2246 ><Position X="4.603750000000001" Y="3.2808333333333337"
2248 ><![CDATA[Node 6]]></Name
2252 ><![CDATA[Erase]]></Shape
2254 ><list-int/></Info></Node></Nodes
2260 ><![CDATA[down]]></PortFrom
2264 ><![CDATA[interface]]></PortTo
2266 ><Position X="4.286250000000001" Y="1.74625"/></Via
2268 ><list-int/></Info></Edge
2273 ><![CDATA[down]]></PortFrom
2277 ><![CDATA[interface]]></PortTo
2280 ><list-int/></Info></Edge></Edges></Network></RHS
2282 ><MappingElement lhs="3" rhs="3"
2283 /><MappingElement lhs="4" rhs="4"/></Mapping></INRule
2286 ><![CDATA[Erase_Evaluator]]></Name
2288 ><Network Width="15.0" Height="9.0"
2293 ><Position X="2.0" Y="2.0"
2295 ><![CDATA[Node 1]]></Name
2299 ><![CDATA[Erase]]></Shape
2301 ><list-int/></Info></Node
2303 ><Position X="4.0" Y="2.0"
2305 ><![CDATA[Node 2]]></Name
2309 ><![CDATA[evaluation]]></Shape
2311 ><list-int/></Info></Node
2313 ><Position X="4.018958333333334" Y="0.6058333333333334"
2315 ><![CDATA[Node 3]]></Name
2319 ><![CDATA[interface]]></Shape
2321 ><list-int/></Info></Node></Nodes
2327 ><![CDATA[down]]></PortFrom
2331 ><![CDATA[arg]]></PortTo
2334 ><list-int/></Info></Edge
2339 ><![CDATA[res]]></PortFrom
2343 ><![CDATA[interface]]></PortTo
2346 ><list-int/></Info></Edge></Edges></Network></LHS
2348 ><Network Width="15.0" Height="9.0"
2353 ><Position X="4.018958333333334" Y="0.6058333333333334"
2355 ><![CDATA[Node 3]]></Name
2359 ><![CDATA[interface]]></Shape
2361 ><list-int/></Info></Node
2363 ><Position X="2.54" Y="1.825625"
2365 ><![CDATA[Node 4]]></Name
2369 ><![CDATA[Erase]]></Shape
2371 ><list-int/></Info></Node></Nodes
2377 ><![CDATA[down]]></PortFrom
2381 ><![CDATA[interface]]></PortTo
2383 ><Position X="3.9952083333333337" Y="2.328333333333333"/></Via
2385 ><list-int/></Info></Edge></Edges></Network></RHS
2387 ><MappingElement lhs="3" rhs="3"/></Mapping></INRule
2390 ><![CDATA[Erase_EvaluatorReturning]]></Name
2392 ><Network Width="15.0" Height="9.0"
2397 ><Position X="2.0" Y="2.0"
2399 ><![CDATA[Node 1]]></Name
2403 ><![CDATA[Erase]]></Shape
2405 ><list-int/></Info></Node
2407 ><Position X="2.0" Y="4.0"
2409 ><![CDATA[Node 2]]></Name
2413 ><![CDATA[evalReturn]]></Shape
2415 ><list-int/></Info></Node
2417 ><Position X="2.008125" Y="5.6587499999999995"
2419 ><![CDATA[Node 3]]></Name
2423 ><![CDATA[interface]]></Shape
2425 ><list-int/></Info></Node></Nodes
2431 ><![CDATA[down]]></PortFrom
2435 ><![CDATA[res]]></PortTo
2438 ><list-int/></Info></Edge
2443 ><![CDATA[arg]]></PortFrom
2447 ><![CDATA[interface]]></PortTo
2450 ><list-int/></Info></Edge></Edges></Network></LHS
2452 ><Network Width="15.0" Height="9.0"
2457 ><Position X="2.008125" Y="5.6587499999999995"
2459 ><![CDATA[Node 3]]></Name
2463 ><![CDATA[interface]]></Shape
2465 ><list-int/></Info></Node
2467 ><Position X="2.0108333333333333" Y="3.624791666666667"
2469 ><![CDATA[Node 4]]></Name
2473 ><![CDATA[Erase]]></Shape
2475 ><list-int/></Info></Node></Nodes
2481 ><![CDATA[down]]></PortFrom
2485 ><![CDATA[interface]]></PortTo
2488 ><list-int/></Info></Edge></Edges></Network></RHS
2490 ><MappingElement lhs="3" rhs="3"/></Mapping></INRule
2493 ><![CDATA[Erase_preApplication]]></Name
2495 ><Network Width="15.0" Height="9.0"
2500 ><Position X="2.0" Y="2.0"
2502 ><![CDATA[Node 1]]></Name
2506 ><![CDATA[Erase]]></Shape
2508 ><list-int/></Info></Node
2510 ><Position X="2.0" Y="4.0"
2512 ><![CDATA[Node 2]]></Name
2516 ><![CDATA[beforeApplication]]></Shape
2518 ><list-int/></Info></Node
2520 ><Position X="2.4843750000000004" Y="5.473541666666668"
2522 ><![CDATA[Node 3]]></Name
2526 ><![CDATA[interface]]></Shape
2528 ><list-int/></Info></Node
2530 ><Position X="1.5" Y="5.5"
2532 ><![CDATA[Node 4]]></Name
2536 ><![CDATA[interface]]></Shape
2538 ><list-int/></Info></Node></Nodes
2544 ><![CDATA[down]]></PortFrom
2548 ><![CDATA[res]]></PortTo
2551 ><list-int/></Info></Edge
2556 ><![CDATA[func]]></PortFrom
2560 ><![CDATA[interface]]></PortTo
2563 ><list-int/></Info></Edge
2568 ><![CDATA[arg]]></PortFrom
2572 ><![CDATA[interface]]></PortTo
2575 ><list-int/></Info></Edge></Edges></Network></LHS
2577 ><Network Width="15.0" Height="9.0"
2582 ><Position X="2.4843750000000004" Y="5.473541666666668"
2584 ><![CDATA[Node 3]]></Name
2588 ><![CDATA[interface]]></Shape
2590 ><list-int/></Info></Node
2592 ><Position X="1.5" Y="5.5"
2594 ><![CDATA[Node 4]]></Name
2598 ><![CDATA[interface]]></Shape
2600 ><list-int/></Info></Node
2602 ><Position X="1.3229166666666667" Y="3.5983333333333336"
2604 ><![CDATA[Node 5]]></Name
2608 ><![CDATA[Erase]]></Shape
2610 ><list-int/></Info></Node
2612 ><Position X="2.8045833333333334" Y="3.5718750000000004"
2614 ><![CDATA[Node 6]]></Name
2618 ><![CDATA[Erase]]></Shape
2620 ><list-int/></Info></Node></Nodes
2626 ><![CDATA[down]]></PortFrom
2630 ><![CDATA[interface]]></PortTo
2633 ><list-int/></Info></Edge
2638 ><![CDATA[down]]></PortFrom
2642 ><![CDATA[interface]]></PortTo
2645 ><list-int/></Info></Edge></Edges></Network></RHS
2647 ><MappingElement lhs="3" rhs="3"
2648 /><MappingElement lhs="4" rhs="4"/></Mapping></INRule
2651 ><![CDATA[Erase_Copy]]></Name
2653 ><Network Width="15.0" Height="9.0"
2658 ><Position X="2.0" Y="2.0"
2660 ><![CDATA[Node 1]]></Name
2664 ><![CDATA[Erase]]></Shape
2666 ><list-int/></Info></Node
2668 ><Position X="4.0529166666666665" Y="2.211666666666667"
2670 ><![CDATA[Node 2]]></Name
2674 ><![CDATA[copy]]></Shape
2676 ><list-int/></Info></Node
2678 ><Position X="3.4104166666666673" Y="0.8174999999999999"
2680 ><![CDATA[Node 3]]></Name
2684 ><![CDATA[interface]]></Shape
2686 ><list-int/></Info></Node
2688 ><Position X="4.860208333333334" Y="0.8175000000000001"
2690 ><![CDATA[Node 4]]></Name
2694 ><![CDATA[interface]]></Shape
2696 ><list-int/></Info></Node></Nodes
2702 ><![CDATA[down]]></PortFrom
2706 ><![CDATA[src]]></PortTo
2709 ><list-int/></Info></Edge
2714 ><![CDATA[snd_target]]></PortFrom
2718 ><![CDATA[interface]]></PortTo
2721 ><list-int/></Info></Edge
2726 ><![CDATA[fst_target]]></PortFrom
2730 ><![CDATA[interface]]></PortTo
2733 ><list-int/></Info></Edge></Edges></Network></LHS
2735 ><Network Width="15.0" Height="9.0"
2740 ><Position X="3.4104166666666673" Y="0.8174999999999999"
2742 ><![CDATA[Node 3]]></Name
2746 ><![CDATA[interface]]></Shape
2748 ><list-int/></Info></Node
2750 ><Position X="4.860208333333334" Y="0.8175000000000001"
2752 ><![CDATA[Node 4]]></Name
2756 ><![CDATA[interface]]></Shape
2758 ><list-int/></Info></Node
2760 ><Position X="2.354791666666667" Y="2.672291666666667"
2762 ><![CDATA[Node 5]]></Name
2766 ><![CDATA[Erase]]></Shape
2768 ><list-int/></Info></Node
2770 ><Position X="6.164791666666667" Y="2.6722916666666667"
2772 ><![CDATA[Node 6]]></Name
2776 ><![CDATA[Erase]]></Shape
2778 ><list-int/></Info></Node></Nodes
2784 ><![CDATA[down]]></PortFrom
2788 ><![CDATA[interface]]></PortTo
2790 ><Position X="3.3866666666666667" Y="3.148541666666667"/></Via
2792 ><list-int/></Info></Edge
2797 ><![CDATA[down]]></PortFrom
2801 ><![CDATA[interface]]></PortTo
2803 ><Position X="4.841875000000001" Y="3.175"/></Via
2805 ><list-int/></Info></Edge></Edges></Network></RHS
2807 ><MappingElement lhs="3" rhs="3"
2808 /><MappingElement lhs="4" rhs="4"/></Mapping></INRule
2811 ><![CDATA[Erase_Duplicator]]></Name
2813 ><Network Width="15.0" Height="9.0"
2818 ><Position X="2.0" Y="2.0"
2820 ><![CDATA[Node 1]]></Name
2824 ><![CDATA[Erase]]></Shape
2826 ><list-int/></Info></Node
2828 ><Position X="4.0" Y="2.0"
2830 ><![CDATA[Node 2]]></Name
2834 ><![CDATA[duplicator]]></Shape
2836 ><list-int/></Info></Node
2838 ><Position X="2.8283333333333336" Y="0.6058333333333332"
2840 ><![CDATA[Node 3]]></Name
2844 ><![CDATA[interface]]></Shape
2846 ><list-int/></Info></Node
2848 ><Position X="5.124791666666667" Y="0.6322916666666667"
2850 ><![CDATA[Node 4]]></Name
2854 ><![CDATA[interface]]></Shape
2856 ><list-int/></Info></Node></Nodes
2862 ><![CDATA[down]]></PortFrom
2866 ><![CDATA[down]]></PortTo
2869 ><list-int/></Info></Edge
2874 ><![CDATA[copy2]]></PortFrom
2878 ><![CDATA[interface]]></PortTo
2881 ><list-int/></Info></Edge
2886 ><![CDATA[copy1]]></PortFrom
2890 ><![CDATA[interface]]></PortTo
2893 ><list-int/></Info></Edge></Edges></Network></LHS
2895 ><Network Width="15.0" Height="9.0"
2900 ><Position X="2.8283333333333336" Y="0.6058333333333332"
2902 ><![CDATA[Node 3]]></Name
2906 ><![CDATA[interface]]></Shape
2908 ><list-int/></Info></Node
2910 ><Position X="5.124791666666667" Y="0.6322916666666667"
2912 ><![CDATA[Node 4]]></Name
2916 ><![CDATA[interface]]></Shape
2918 ><list-int/></Info></Node
2920 ><Position X="1.508125" Y="2.3283333333333336"
2922 ><![CDATA[Node 5]]></Name
2926 ><![CDATA[Erase]]></Shape
2928 ><list-int/></Info></Node
2930 ><Position X="6.588125000000001" Y="2.3283333333333336"
2932 ><![CDATA[Node 6]]></Name
2936 ><![CDATA[Erase]]></Shape
2938 ><list-int/></Info></Node></Nodes
2944 ><![CDATA[interface]]></PortFrom
2948 ><![CDATA[down]]></PortTo
2950 ><Position X="2.804583333333334" Y="2.8045833333333334"/></Via
2952 ><list-int/></Info></Edge
2957 ><![CDATA[interface]]></PortFrom
2961 ><![CDATA[down]]></PortTo
2963 ><Position X="5.106458333333333" Y="2.8045833333333334"/></Via
2965 ><list-int/></Info></Edge></Edges></Network></RHS
2967 ><MappingElement lhs="3" rhs="3"
2968 /><MappingElement lhs="4" rhs="4"/></Mapping></INRule
2971 ><![CDATA[Erase_Erase]]></Name
2973 ><Network Width="15.0" Height="9.0"
2978 ><Position X="2.0" Y="2.0"
2980 ><![CDATA[Node 1]]></Name
2984 ><![CDATA[Erase]]></Shape
2986 ><list-int/></Info></Node
2988 ><Position X="4.0" Y="2.0"
2990 ><![CDATA[Node 2]]></Name
2994 ><![CDATA[Erase]]></Shape
2996 ><list-int/></Info></Node></Nodes
3002 ><![CDATA[down]]></PortFrom
3006 ><![CDATA[down]]></PortTo
3009 ><list-int/></Info></Edge></Edges></Network></LHS
3011 ><Network Width="15.0" Height="9.0"
3015 /><Edges/></Network></RHS
3019 ><![CDATA[Copy_Application]]></Name
3021 ><Network Width="15.0" Height="9.0"
3026 ><Position X="2.0" Y="2.0"
3028 ><![CDATA[Node 1]]></Name
3032 ><![CDATA[copy]]></Shape
3034 ><list-int/></Info></Node
3036 ><Position X="3.6560416666666664" Y="2.88875"
3038 ><![CDATA[Node 2]]></Name
3042 ><![CDATA[application]]></Shape
3044 ><list-int/></Info></Node
3046 ><Position X="1.5583333333333336" Y="0.5264583333333334"
3048 ><![CDATA[Node 3]]></Name
3052 ><![CDATA[interface]]></Shape
3054 ><list-int/></Info></Node
3056 ><Position X="2.5318750000000003" Y="0.5529166666666667"
3058 ><![CDATA[Node 4]]></Name
3062 ><![CDATA[interface]]></Shape
3064 ><list-int/></Info></Node
3066 ><Position X="2.6587500000000004" Y="5.130208333333333"
3068 ><![CDATA[Node 5]]></Name
3072 ><![CDATA[interface]]></Shape
3074 ><list-int/></Info></Node
3076 ><Position X="3.9660416666666674" Y="5.1295833333333345"
3078 ><![CDATA[Node 6]]></Name
3082 ><![CDATA[interface]]></Shape
3084 ><list-int/></Info></Node></Nodes
3090 ><![CDATA[src]]></PortFrom
3094 ><![CDATA[func]]></PortTo
3096 ><Position X="1.9843750000000009" Y="3.1750000000000003"/></Via
3098 ><list-int/></Info></Edge
3103 ><![CDATA[snd_target]]></PortFrom
3107 ><![CDATA[interface]]></PortTo
3110 ><list-int/></Info></Edge
3115 ><![CDATA[fst_target]]></PortFrom
3119 ><![CDATA[interface]]></PortTo
3122 ><list-int/></Info></Edge
3127 ><![CDATA[arg]]></PortFrom
3131 ><![CDATA[interface]]></PortTo
3134 ><list-int/></Info></Edge
3139 ><![CDATA[res]]></PortFrom
3143 ><![CDATA[interface]]></PortTo
3145 ><Position X="2.6458333333333335" Y="2.513541666666667"/></Via
3147 ><list-int/></Info></Edge></Edges></Network></LHS
3149 ><Network Width="15.0" Height="9.0"
3154 ><Position X="1.5583333333333336" Y="0.5264583333333334"
3156 ><![CDATA[Node 3]]></Name
3160 ><![CDATA[interface]]></Shape
3162 ><list-int/></Info></Node
3164 ><Position X="4.913125" Y="0.3677083333333333"
3166 ><![CDATA[Node 4]]></Name
3170 ><![CDATA[interface]]></Shape
3172 ><list-int/></Info></Node
3174 ><Position X="3.0291666666666663" Y="5.050833333333333"
3176 ><![CDATA[Node 5]]></Name
3180 ><![CDATA[interface]]></Shape
3182 ><list-int/></Info></Node
3184 ><Position X="6.05625" Y="4.997291666666667"
3186 ><![CDATA[Node 6]]></Name
3190 ><![CDATA[interface]]></Shape
3192 ><list-int/></Info></Node
3194 ><Position X="6.058958333333335" Y="3.810000000000001"
3196 ><![CDATA[Node 7]]></Name
3200 ><![CDATA[copy]]></Shape
3202 ><list-int/></Info></Node
3204 ><Position X="3.0427083333333336" Y="3.8364583333333333"
3206 ><![CDATA[Node 8]]></Name
3210 ><![CDATA[copy]]></Shape
3212 ><list-int/></Info></Node
3214 ><Position X="2.7781250000000006" Y="1.6933333333333338"
3216 ><![CDATA[Node 9]]></Name
3220 ><![CDATA[application]]></Shape
3222 ><list-int/></Info></Node
3224 ><Position X="6.058958333333334" Y="1.7197916666666666"
3226 ><![CDATA[Node 10]]></Name
3230 ><![CDATA[application]]></Shape
3232 ><list-int/></Info></Node></Nodes
3238 ><![CDATA[func]]></PortFrom
3242 ><![CDATA[interface]]></PortTo
3244 ><Position X="1.5345833333333332" Y="1.9843750000000004"/></Via
3246 ><list-int/></Info></Edge
3251 ><![CDATA[func]]></PortFrom
3255 ><![CDATA[interface]]></PortTo
3257 ><Position X="4.894791666666666" Y="2.0108333333333333"/></Via
3259 ><list-int/></Info></Edge
3264 ><![CDATA[src]]></PortFrom
3268 ><![CDATA[interface]]></PortTo
3271 ><list-int/></Info></Edge
3276 ><![CDATA[src]]></PortFrom
3280 ><![CDATA[interface]]></PortTo
3283 ><list-int/></Info></Edge
3288 ><![CDATA[res]]></PortFrom
3292 ><![CDATA[snd_target]]></PortTo
3294 ><Position X="4.339166666666666" Y="1.3758333333333332"/></Via
3296 ><list-int/></Info></Edge
3301 ><![CDATA[res]]></PortFrom
3305 ><![CDATA[fst_target]]></PortTo
3307 ><Position X="1.9314583333333337" Y="1.349375"
3308 /><Position X="1.9314583333333337" Y="3.5189583333333334"/></Via
3310 ><list-int/></Info></Edge
3315 ><![CDATA[arg]]></PortFrom
3319 ><![CDATA[fst_target]]></PortTo
3322 ><list-int/></Info></Edge
3327 ><![CDATA[arg]]></PortFrom
3331 ><![CDATA[snd_target]]></PortTo
3334 ><list-int/></Info></Edge></Edges></Network></RHS
3336 ><MappingElement lhs="3" rhs="3"
3337 /><MappingElement lhs="4" rhs="4"
3338 /><MappingElement lhs="5" rhs="5"
3339 /><MappingElement lhs="6" rhs="6"/></Mapping></INRule
3342 ><![CDATA[Copy_Evaluator]]></Name
3344 ><Network Width="15.0" Height="9.0"
3349 ><Position X="2.0" Y="2.0"
3351 ><![CDATA[Node 1]]></Name
3355 ><![CDATA[copy]]></Shape
3357 ><list-int/></Info></Node
3359 ><Position X="4.026458333333333" Y="1.7883333333333333"
3361 ><![CDATA[Node 2]]></Name
3365 ><![CDATA[evaluation]]></Shape
3367 ><list-int/></Info></Node
3369 ><Position X="1.4789583333333334" Y="0.6058333333333333"
3371 ><![CDATA[Node 3]]></Name
3375 ><![CDATA[interface]]></Shape
3377 ><list-int/></Info></Node
3379 ><Position X="2.5583333333333336" Y="0.6322916666666667"
3381 ><![CDATA[Node 4]]></Name
3385 ><![CDATA[interface]]></Shape
3387 ><list-int/></Info></Node
3389 ><Position X="6.045416666666667" Y="1.0291666666666668"
3391 ><![CDATA[Node 5]]></Name
3395 ><![CDATA[interface]]></Shape
3397 ><list-int/></Info></Node></Nodes
3403 ><![CDATA[src]]></PortFrom
3407 ><![CDATA[arg]]></PortTo
3410 ><list-int/></Info></Edge
3415 ><![CDATA[snd_target]]></PortFrom
3419 ><![CDATA[interface]]></PortTo
3422 ><list-int/></Info></Edge
3427 ><![CDATA[fst_target]]></PortFrom
3431 ><![CDATA[interface]]></PortTo
3434 ><list-int/></Info></Edge
3439 ><![CDATA[res]]></PortFrom
3443 ><![CDATA[interface]]></PortTo
3446 ><list-int/></Info></Edge></Edges></Network></LHS
3448 ><Network Width="15.0" Height="9.0"
3453 ><Position X="1.9816666666666665" Y="0.6322916666666668"
3455 ><![CDATA[Node 3]]></Name
3459 ><![CDATA[interface]]></Shape
3461 ><list-int/></Info></Node
3463 ><Position X="5.945" Y="0.6852083333333334"
3465 ><![CDATA[Node 4]]></Name
3469 ><![CDATA[interface]]></Shape
3471 ><list-int/></Info></Node
3473 ><Position X="3.822916666666667" Y="5.262500000000001"
3475 ><![CDATA[Node 5]]></Name
3479 ><![CDATA[interface]]></Shape
3481 ><list-int/></Info></Node
3483 ><Position X="3.8364583333333337" Y="3.571875"
3485 ><![CDATA[Node 6]]></Name
3489 ><![CDATA[copy]]></Shape
3491 ><list-int/></Info></Node
3493 ><Position X="2.831041666666667" Y="2.407708333333333"
3495 ><![CDATA[Node 7]]></Name
3499 ><![CDATA[evaluation]]></Shape
3501 ><list-int/></Info></Node
3503 ><Position X="5.000625" Y="2.407708333333333"
3505 ><![CDATA[Node 8]]></Name
3509 ><![CDATA[evaluation]]></Shape
3511 ><list-int/></Info></Node></Nodes
3517 ><![CDATA[arg]]></PortFrom
3521 ><![CDATA[interface]]></PortTo
3523 ><Position X="1.9579166666666667" Y="2.8839583333333336"/></Via
3525 ><list-int/></Info></Edge
3530 ><![CDATA[arg]]></PortFrom
3534 ><![CDATA[interface]]></PortTo
3536 ><Position X="5.926666666666668" Y="2.8839583333333336"/></Via
3538 ><list-int/></Info></Edge
3543 ><![CDATA[src]]></PortFrom
3547 ><![CDATA[interface]]></PortTo
3550 ><list-int/></Info></Edge
3555 ><![CDATA[fst_target]]></PortFrom
3559 ><![CDATA[res]]></PortTo
3561 ><Position X="3.5189583333333334" Y="1.905"/></Via
3563 ><list-int/></Info></Edge
3568 ><![CDATA[snd_target]]></PortFrom
3572 ><![CDATA[res]]></PortTo
3574 ><Position X="4.1275" Y="1.9050000000000002"/></Via
3576 ><list-int/></Info></Edge></Edges></Network></RHS
3578 ><MappingElement lhs="3" rhs="3"
3579 /><MappingElement lhs="4" rhs="4"
3580 /><MappingElement lhs="5" rhs="5"/></Mapping></INRule
3583 ><![CDATA[Copy_EvaluatorReturning]]></Name
3585 ><Network Width="15.0" Height="9.0"
3590 ><Position X="2.0" Y="2.0"
3592 ><![CDATA[Node 1]]></Name
3596 ><![CDATA[copy]]></Shape
3598 ><list-int/></Info></Node
3600 ><Position X="2.0" Y="4.0"
3602 ><![CDATA[Node 2]]></Name
3606 ><![CDATA[evalReturn]]></Shape
3608 ><list-int/></Info></Node
3610 ><Position X="1.5054166666666666" Y="0.579375"
3612 ><![CDATA[Node 3]]></Name
3616 ><![CDATA[interface]]></Shape
3618 ><list-int/></Info></Node
3620 ><Position X="2.5583333333333336" Y="0.579375"
3622 ><![CDATA[Node 4]]></Name
3626 ><![CDATA[interface]]></Shape
3628 ><list-int/></Info></Node
3630 ><Position X="2.008125" Y="5.605833333333333"
3632 ><![CDATA[Node 5]]></Name
3636 ><![CDATA[interface]]></Shape
3638 ><list-int/></Info></Node></Nodes
3644 ><![CDATA[src]]></PortFrom
3648 ><![CDATA[res]]></PortTo
3651 ><list-int/></Info></Edge
3656 ><![CDATA[snd_target]]></PortFrom
3660 ><![CDATA[interface]]></PortTo
3663 ><list-int/></Info></Edge
3668 ><![CDATA[fst_target]]></PortFrom
3672 ><![CDATA[interface]]></PortTo
3675 ><list-int/></Info></Edge
3680 ><![CDATA[arg]]></PortFrom
3684 ><![CDATA[interface]]></PortTo
3687 ><list-int/></Info></Edge></Edges></Network></LHS
3689 ><Network Width="15.0" Height="9.0"
3694 ><Position X="1.5054166666666666" Y="0.6058333333333333"
3696 ><![CDATA[Node 3]]></Name
3700 ><![CDATA[interface]]></Shape
3702 ><list-int/></Info></Node
3704 ><Position X="2.5583333333333336" Y="0.579375"
3706 ><![CDATA[Node 4]]></Name
3710 ><![CDATA[interface]]></Shape
3712 ><list-int/></Info></Node
3714 ><Position X="2.008125" Y="5.605833333333333"
3716 ><![CDATA[Node 5]]></Name
3720 ><![CDATA[interface]]></Shape
3722 ><list-int/></Info></Node
3724 ><Position X="2.0108333333333333" Y="4.101041666666667"
3726 ><![CDATA[Node 6]]></Name
3730 ><![CDATA[copy]]></Shape
3732 ><list-int/></Info></Node
3734 ><Position X="1.349375" Y="2.301875"
3736 ><![CDATA[Node 7]]></Name
3740 ><![CDATA[evalReturn]]></Shape
3742 ><list-int/></Info></Node
3744 ><Position X="2.751666666666667" Y="2.3018750000000003"
3746 ><![CDATA[Node 8]]></Name
3750 ><![CDATA[evalReturn]]></Shape
3752 ><list-int/></Info></Node></Nodes
3758 ><![CDATA[src]]></PortFrom
3762 ><![CDATA[interface]]></PortTo
3765 ><list-int/></Info></Edge
3770 ><![CDATA[interface]]></PortFrom
3774 ><![CDATA[res]]></PortTo
3777 ><list-int/></Info></Edge
3782 ><![CDATA[interface]]></PortFrom
3786 ><![CDATA[res]]></PortTo
3789 ><list-int/></Info></Edge
3794 ><![CDATA[arg]]></PortFrom
3798 ><![CDATA[fst_target]]></PortTo
3801 ><list-int/></Info></Edge
3806 ><![CDATA[arg]]></PortFrom
3810 ><![CDATA[snd_target]]></PortTo
3813 ><list-int/></Info></Edge></Edges></Network></RHS
3815 ><MappingElement lhs="3" rhs="3"
3816 /><MappingElement lhs="4" rhs="4"
3817 /><MappingElement lhs="5" rhs="5"/></Mapping></INRule
3820 ><![CDATA[Copy_preApplication]]></Name
3822 ><Network Width="15.0" Height="9.0"
3827 ><Position X="2.0" Y="2.0"
3829 ><![CDATA[Node 1]]></Name
3833 ><![CDATA[copy]]></Shape
3835 ><list-int/></Info></Node
3837 ><Position X="2.0" Y="4.0"
3839 ><![CDATA[Node 2]]></Name
3843 ><![CDATA[beforeApplication]]></Shape
3845 ><list-int/></Info></Node
3847 ><Position X="1.1614583333333335" Y="0.5264583333333334"
3849 ><![CDATA[Node 3]]></Name
3853 ><![CDATA[interface]]></Shape
3855 ><list-int/></Info></Node
3857 ><Position X="2.9022916666666667" Y="0.579375"
3859 ><![CDATA[Node 4]]></Name
3863 ><![CDATA[interface]]></Shape
3865 ><list-int/></Info></Node
3867 ><Position X="2.616666666666667" Y="5.420625"
3869 ><![CDATA[Node 5]]></Name
3873 ><![CDATA[interface]]></Shape
3875 ><list-int/></Info></Node
3877 ><Position X="1.5" Y="5.5"
3879 ><![CDATA[Node 6]]></Name
3883 ><![CDATA[interface]]></Shape
3885 ><list-int/></Info></Node></Nodes
3891 ><![CDATA[src]]></PortFrom
3895 ><![CDATA[res]]></PortTo
3898 ><list-int/></Info></Edge
3903 ><![CDATA[snd_target]]></PortFrom
3907 ><![CDATA[interface]]></PortTo
3910 ><list-int/></Info></Edge
3915 ><![CDATA[fst_target]]></PortFrom
3919 ><![CDATA[interface]]></PortTo
3922 ><list-int/></Info></Edge
3927 ><![CDATA[func]]></PortFrom
3931 ><![CDATA[interface]]></PortTo
3934 ><list-int/></Info></Edge
3939 ><![CDATA[arg]]></PortFrom
3943 ><![CDATA[interface]]></PortTo
3946 ><list-int/></Info></Edge></Edges></Network></LHS
3948 ><Network Width="15.0" Height="9.0"
3953 ><Position X="0.8704166666666667" Y="0.5264583333333334"
3955 ><![CDATA[Node 3]]></Name
3959 ><![CDATA[interface]]></Shape
3961 ><list-int/></Info></Node
3963 ><Position X="2.214374999999999" Y="0.5529166666666667"
3965 ><![CDATA[Node 4]]></Name
3969 ><![CDATA[interface]]></Shape
3971 ><list-int/></Info></Node
3973 ><Position X="0.8439583333333335" Y="5.526458333333333"
3975 ><![CDATA[Node 5]]></Name
3979 ><![CDATA[interface]]></Shape
3981 ><list-int/></Info></Node
3983 ><Position X="2.187916666666666" Y="5.5529166666666665"
3985 ><![CDATA[Node 6]]></Name
3989 ><![CDATA[interface]]></Shape
3991 ><list-int/></Info></Node
3993 ><Position X="0.8466666666666668" Y="1.9314583333333335"
3995 ><![CDATA[Node 7]]></Name
3999 ><![CDATA[beforeApplication]]></Shape
4001 ><list-int/></Info></Node
4003 ><Position X="2.1960416666666664" Y="1.9314583333333335"
4005 ><![CDATA[Node 8]]></Name
4009 ><![CDATA[beforeApplication]]></Shape
4011 ><list-int/></Info></Node
4013 ><Position X="0.846666666666667" Y="4.312708333333333"
4015 ><![CDATA[Node 9]]></Name
4019 ><![CDATA[copy]]></Shape
4021 ><list-int/></Info></Node
4023 ><Position X="2.1960416666666664" Y="4.339166666666667"
4025 ><![CDATA[Node 10]]></Name
4029 ><![CDATA[copy]]></Shape
4031 ><list-int/></Info></Node></Nodes
4037 ><![CDATA[src]]></PortFrom
4041 ><![CDATA[interface]]></PortTo
4044 ><list-int/></Info></Edge
4049 ><![CDATA[src]]></PortFrom
4053 ><![CDATA[interface]]></PortTo
4056 ><list-int/></Info></Edge
4061 ><![CDATA[interface]]></PortFrom
4065 ><![CDATA[res]]></PortTo
4068 ><list-int/></Info></Edge
4073 ><![CDATA[interface]]></PortFrom
4077 ><![CDATA[res]]></PortTo
4080 ><list-int/></Info></Edge
4085 ><![CDATA[func]]></PortFrom
4089 ><![CDATA[fst_target]]></PortTo
4092 ><list-int/></Info></Edge
4097 ><![CDATA[arg]]></PortFrom
4101 ><![CDATA[snd_target]]></PortTo
4104 ><list-int/></Info></Edge
4109 ><![CDATA[arg]]></PortFrom
4113 ><![CDATA[fst_target]]></PortTo
4116 ><list-int/></Info></Edge
4121 ><![CDATA[func]]></PortFrom
4125 ><![CDATA[snd_target]]></PortTo
4128 ><list-int/></Info></Edge></Edges></Network></RHS
4130 ><MappingElement lhs="3" rhs="3"
4131 /><MappingElement lhs="4" rhs="4"
4132 /><MappingElement lhs="5" rhs="6"
4133 /><MappingElement lhs="6" rhs="5"/></Mapping></INRule
4136 ><![CDATA[Copy_Duplicator]]></Name
4138 ><Network Width="15.0" Height="9.0"
4143 ><Position X="2.0" Y="2.0"
4145 ><![CDATA[Node 1]]></Name
4149 ><![CDATA[copy]]></Shape
4151 ><list-int/></Info></Node
4153 ><Position X="3.9735416666666667" Y="1.7883333333333333"
4155 ><![CDATA[Node 2]]></Name
4159 ><![CDATA[duplicator]]></Shape
4161 ><list-int/></Info></Node
4163 ><Position X="1.4789583333333334" Y="0.5"
4165 ><![CDATA[Node 3]]></Name
4169 ><![CDATA[interface]]></Shape
4171 ><list-int/></Info></Node
4173 ><Position X="2.267291666666667" Y="0.5"
4175 ><![CDATA[Node 4]]></Name
4179 ><![CDATA[interface]]></Shape
4181 ><list-int/></Info></Node
4183 ><Position X="3.5318750000000003" Y="0.4735416666666667"
4185 ><![CDATA[Node 5]]></Name
4189 ><![CDATA[interface]]></Shape
4191 ><list-int/></Info></Node
4193 ><Position X="4.690625" Y="0.5"
4195 ><![CDATA[Node 6]]></Name
4199 ><![CDATA[interface]]></Shape
4201 ><list-int/></Info></Node></Nodes
4207 ><![CDATA[src]]></PortFrom
4211 ><![CDATA[down]]></PortTo
4214 ><list-int/></Info></Edge
4219 ><![CDATA[snd_target]]></PortFrom
4223 ><![CDATA[interface]]></PortTo
4226 ><list-int/></Info></Edge
4231 ><![CDATA[fst_target]]></PortFrom
4235 ><![CDATA[interface]]></PortTo
4238 ><list-int/></Info></Edge
4243 ><![CDATA[copy2]]></PortFrom
4247 ><![CDATA[interface]]></PortTo
4250 ><list-int/></Info></Edge
4255 ><![CDATA[copy1]]></PortFrom
4259 ><![CDATA[interface]]></PortTo
4262 ><list-int/></Info></Edge></Edges></Network></LHS
4264 ><Network Width="15.0" Height="9.0"
4269 ><Position X="1.4789583333333334" Y="0.5"
4271 ><![CDATA[Node 3]]></Name
4275 ><![CDATA[interface]]></Shape
4277 ><list-int/></Info></Node
4279 ><Position X="2.29375" Y="0.5"
4281 ><![CDATA[Node 4]]></Name
4285 ><![CDATA[interface]]></Shape
4287 ><list-int/></Info></Node
4289 ><Position X="7.844583333333335" Y="5.500625"
4291 ><![CDATA[Node 5]]></Name
4295 ><![CDATA[interface]]></Shape
4297 ><list-int/></Info></Node
4299 ><Position X="9.267916666666672" Y="5.606458333333333"
4301 ><![CDATA[Node 6]]></Name
4305 ><![CDATA[interface]]></Shape
4307 ><list-int/></Info></Node
4309 ><Position X="7.884583333333335" Y="4.259791666666667"
4311 ><![CDATA[Node 7]]></Name
4315 ><![CDATA[copy]]></Shape
4317 ><list-int/></Info></Node
4319 ><Position X="9.260416666666671" Y="4.312708333333333"
4321 ><![CDATA[Node 8]]></Name
4325 ><![CDATA[copy]]></Shape
4327 ><list-int/></Info></Node
4329 ><Position X="2.460625000000001" Y="3.175000000000001"
4331 ><![CDATA[Node 9]]></Name
4335 ><![CDATA[duplicator]]></Shape
4337 ><list-int/></Info></Node
4339 ><Position X="4.788958333333334" Y="1.2435416666666672"
4341 ><![CDATA[Node 10]]></Name
4345 ><![CDATA[duplicator]]></Shape
4347 ><list-int/></Info></Node></Nodes
4353 ><![CDATA[src]]></PortFrom
4357 ><![CDATA[interface]]></PortTo
4360 ><list-int/></Info></Edge
4365 ><![CDATA[interface]]></PortFrom
4369 ><![CDATA[src]]></PortTo
4372 ><list-int/></Info></Edge
4377 ><![CDATA[down]]></PortFrom
4381 ><![CDATA[interface]]></PortTo
4383 ><Position X="1.4552083333333334" Y="3.6512500000000006"/></Via
4385 ><list-int/></Info></Edge
4390 ><![CDATA[interface]]></PortFrom
4394 ><![CDATA[down]]></PortTo
4396 ><Position X="2.2754166666666666" Y="1.7197916666666666"/></Via
4398 ><list-int/></Info></Edge
4403 ><![CDATA[copy2]]></PortFrom
4407 ><![CDATA[snd_target]]></PortTo
4409 ><Position X="9.551458333333334" Y="2.857500000000001"/></Via
4411 ><list-int/></Info></Edge
4416 ><![CDATA[fst_target]]></PortFrom
4420 ><![CDATA[copy1]]></PortTo
4422 ><Position X="7.567083333333334" Y="0.39687500000000003"
4423 /><Position X="4.4714583333333335" Y="0.3968750000000003"/></Via
4425 ><list-int/></Info></Edge
4430 ><![CDATA[copy2]]></PortFrom
4434 ><![CDATA[fst_target]]></PortTo
4436 ><Position X="8.942916666666669" Y="0.9260416666666667"/></Via
4438 ><list-int/></Info></Edge
4443 ><![CDATA[copy1]]></PortFrom
4447 ><![CDATA[snd_target]]></PortTo
4449 ><Position X="2.1431250000000004" Y="2.248958333333334"
4450 /><Position X="8.202083333333333" Y="2.248958333333334"/></Via
4452 ><list-int/></Info></Edge></Edges></Network></RHS
4454 ><MappingElement lhs="3" rhs="3"
4455 /><MappingElement lhs="4" rhs="4"
4456 /><MappingElement lhs="5" rhs="5"
4457 /><MappingElement lhs="6" rhs="6"/></Mapping></INRule
4460 ><![CDATA[Duplicator_Lambda]]></Name
4462 ><Network Width="15.0" Height="9.0"
4467 ><Position X="2.0" Y="2.0"
4469 ><![CDATA[Node 1]]></Name
4473 ><![CDATA[duplicator]]></Shape
4475 ><list-int/></Info></Node
4477 ><Position X="2.0" Y="4.0"
4479 ><![CDATA[Node 2]]></Name
4483 ><![CDATA[lambda]]></Shape
4485 ><list-int/></Info></Node
4487 ><Position X="0.9233333333333333" Y="0.5"
4489 ><![CDATA[Node 3]]></Name
4493 ><![CDATA[interface]]></Shape
4495 ><list-int/></Info></Node
4497 ><Position X="2.92875" Y="0.5529166666666667"
4499 ><![CDATA[Node 4]]></Name
4503 ><![CDATA[interface]]></Shape
4505 ><list-int/></Info></Node
4507 ><Position X="2.6695833333333336" Y="5.4470833333333335"
4509 ><![CDATA[Node 5]]></Name
4513 ><![CDATA[interface]]></Shape
4515 ><list-int/></Info></Node
4517 ><Position X="1.3147916666666666" Y="5.473541666666667"
4519 ><![CDATA[Node 6]]></Name
4523 ><![CDATA[interface]]></Shape
4525 ><list-int/></Info></Node></Nodes
4531 ><![CDATA[down]]></PortFrom
4535 ><![CDATA[res]]></PortTo
4538 ><list-int/></Info></Edge
4543 ><![CDATA[copy2]]></PortFrom
4547 ><![CDATA[interface]]></PortTo
4550 ><list-int/></Info></Edge
4555 ><![CDATA[copy1]]></PortFrom
4559 ><![CDATA[interface]]></PortTo
4562 ><list-int/></Info></Edge
4567 ><![CDATA[var]]></PortFrom
4571 ><![CDATA[interface]]></PortTo
4574 ><list-int/></Info></Edge
4579 ><![CDATA[body]]></PortFrom
4583 ><![CDATA[interface]]></PortTo
4586 ><list-int/></Info></Edge></Edges></Network></LHS
4588 ><Network Width="15.0" Height="9.0"
4593 ><Position X="0.9233333333333333" Y="0.5264583333333334"
4595 ><![CDATA[Node 3]]></Name
4599 ><![CDATA[interface]]></Shape
4601 ><list-int/></Info></Node
4603 ><Position X="2.92875" Y="0.5529166666666667"
4605 ><![CDATA[Node 4]]></Name
4609 ><![CDATA[interface]]></Shape
4611 ><list-int/></Info></Node
4613 ><Position X="2.907708333333334" Y="5.579375"
4615 ><![CDATA[Node 5]]></Name
4619 ><![CDATA[interface]]></Shape
4621 ><list-int/></Info></Node
4623 ><Position X="0.9179166666666665" Y="5.579375"
4625 ><![CDATA[Node 6]]></Name
4629 ><![CDATA[interface]]></Shape
4631 ><list-int/></Info></Node
4633 ><Position X="0.9260416666666668" Y="4.153958333333334"
4635 ><![CDATA[Node 7]]></Name
4639 ><![CDATA[duplicator]]></Shape
4641 ><list-int/></Info></Node
4643 ><Position X="2.9104166666666673" Y="4.153958333333334"
4645 ><![CDATA[Node 8]]></Name
4649 ><![CDATA[duplicator]]></Shape
4651 ><list-int/></Info></Node
4653 ><Position X="0.9260416666666667" Y="1.8785416666666668"
4655 ><![CDATA[Node 9]]></Name
4659 ><![CDATA[lambda]]></Shape
4661 ><list-int/></Info></Node
4663 ><Position X="2.910416666666667" Y="1.905"
4665 ><![CDATA[Node 10]]></Name
4669 ><![CDATA[lambda]]></Shape
4671 ><list-int/></Info></Node></Nodes
4677 ><![CDATA[down]]></PortFrom
4681 ><![CDATA[interface]]></PortTo
4684 ><list-int/></Info></Edge
4689 ><![CDATA[down]]></PortFrom
4693 ><![CDATA[interface]]></PortTo
4696 ><list-int/></Info></Edge
4701 ><![CDATA[interface]]></PortFrom
4705 ><![CDATA[res]]></PortTo
4708 ><list-int/></Info></Edge
4713 ><![CDATA[interface]]></PortFrom
4717 ><![CDATA[res]]></PortTo
4720 ><list-int/></Info></Edge
4725 ><![CDATA[copy1]]></PortFrom
4729 ><![CDATA[var]]></PortTo
4732 ><list-int/></Info></Edge
4737 ><![CDATA[body]]></PortFrom
4741 ><![CDATA[copy1]]></PortTo
4744 ><list-int/></Info></Edge
4749 ><![CDATA[var]]></PortFrom
4753 ><![CDATA[copy2]]></PortTo
4756 ><list-int/></Info></Edge
4761 ><![CDATA[body]]></PortFrom
4765 ><![CDATA[copy2]]></PortTo
4768 ><list-int/></Info></Edge></Edges></Network></RHS
4770 ><MappingElement lhs="3" rhs="3"
4771 /><MappingElement lhs="4" rhs="4"
4772 /><MappingElement lhs="5" rhs="5"
4773 /><MappingElement lhs="6" rhs="6"/></Mapping></INRule
4776 ><![CDATA[Duplicator_Application]]></Name
4778 ><Network Width="15.0" Height="9.0"
4783 ><Position X="2.0" Y="2.0"
4785 ><![CDATA[Node 1]]></Name
4789 ><![CDATA[duplicator]]></Shape
4791 ><list-int/></Info></Node
4793 ><Position X="3.576666666666666" Y="3.444375"
4795 ><![CDATA[Node 2]]></Name
4799 ><![CDATA[application]]></Shape
4801 ><list-int/></Info></Node
4803 ><Position X="1.3466666666666667" Y="0.47354166666666664"
4805 ><![CDATA[Node 3]]></Name
4809 ><![CDATA[interface]]></Shape
4811 ><list-int/></Info></Node
4813 ><Position X="2.584791666666667" Y="0.5529166666666667"
4815 ><![CDATA[Node 4]]></Name
4819 ><![CDATA[interface]]></Shape
4821 ><list-int/></Info></Node
4823 ><Position X="5.860208333333334" Y="2.8283333333333336"
4825 ><![CDATA[Node 5]]></Name
4829 ><![CDATA[interface]]></Shape
4831 ><list-int/></Info></Node
4833 ><Position X="4.839166666666666" Y="5.288333333333334"
4835 ><![CDATA[Node 6]]></Name
4839 ><![CDATA[interface]]></Shape
4841 ><list-int/></Info></Node></Nodes
4847 ><![CDATA[down]]></PortFrom
4851 ><![CDATA[func]]></PortTo
4854 ><list-int/></Info></Edge
4859 ><![CDATA[copy2]]></PortFrom
4863 ><![CDATA[interface]]></PortTo
4866 ><list-int/></Info></Edge
4871 ><![CDATA[copy1]]></PortFrom
4875 ><![CDATA[interface]]></PortTo
4878 ><list-int/></Info></Edge
4883 ><![CDATA[arg]]></PortFrom
4887 ><![CDATA[interface]]></PortTo
4890 ><list-int/></Info></Edge
4895 ><![CDATA[res]]></PortFrom
4899 ><![CDATA[interface]]></PortTo
4902 ><list-int/></Info></Edge></Edges></Network></LHS
4904 ><Network Width="15.0" Height="9.0"
4909 ><Position X="1.3466666666666667" Y="0.47354166666666664"
4911 ><![CDATA[Node 3]]></Name
4915 ><![CDATA[interface]]></Shape
4917 ><list-int/></Info></Node
4919 ><Position X="3.378541666666667" Y="0.44708333333333333"
4921 ><![CDATA[Node 4]]></Name
4925 ><![CDATA[interface]]></Shape
4927 ><list-int/></Info></Node
4929 ><Position X="8.082708333333334" Y="4.495208333333334"
4931 ><![CDATA[Node 5]]></Name
4935 ><![CDATA[interface]]></Shape
4937 ><list-int/></Info></Node
4939 ><Position X="3.039999999999999" Y="5.870416666666667"
4941 ><![CDATA[Node 6]]></Name
4945 ><![CDATA[interface]]></Shape
4947 ><list-int/></Info></Node
4949 ><Position X="2.196041666666667" Y="2.037291666666667"
4951 ><![CDATA[Node 7]]></Name
4955 ><![CDATA[application]]></Shape
4957 ><list-int/></Info></Node
4959 ><Position X="4.180416666666667" Y="2.0902083333333334"
4961 ><![CDATA[Node 8]]></Name
4965 ><![CDATA[application]]></Shape
4967 ><list-int/></Info></Node
4969 ><Position X="3.0427083333333336" Y="4.101041666666667"
4971 ><![CDATA[Node 9]]></Name
4975 ><![CDATA[duplicator]]></Shape
4977 ><list-int/></Info></Node
4979 ><Position X="8.096249999999998" Y="2.7781249999999997"
4981 ><![CDATA[Node 10]]></Name
4985 ><![CDATA[duplicator]]></Shape
4987 ><list-int/></Info></Node></Nodes
4993 ><![CDATA[func]]></PortFrom
4997 ><![CDATA[interface]]></PortTo
4999 ><Position X="1.3229166666666667" Y="2.3018750000000003"/></Via
5001 ><list-int/></Info></Edge
5006 ><![CDATA[interface]]></PortFrom
5010 ><![CDATA[func]]></PortTo
5012 ><Position X="3.360208333333334" Y="2.38125"/></Via
5014 ><list-int/></Info></Edge
5019 ><![CDATA[down]]></PortFrom
5023 ><![CDATA[interface]]></PortTo
5026 ><list-int/></Info></Edge
5031 ><![CDATA[down]]></PortFrom
5035 ><![CDATA[interface]]></PortTo
5038 ><list-int/></Info></Edge
5043 ><![CDATA[copy1]]></PortFrom
5047 ><![CDATA[res]]></PortTo
5049 ><Position X="7.7787500000000005" Y="1.2964583333333335"
5050 /><Position X="2.1695833333333336" Y="1.2964583333333335"/></Via
5052 ><list-int/></Info></Edge
5057 ><![CDATA[res]]></PortFrom
5061 ><![CDATA[copy2]]></PortTo
5063 ><Position X="4.153958333333334" Y="0.6879166666666666"
5064 /><Position X="8.413749999999999" Y="0.6879166666666665"/></Via
5066 ><list-int/></Info></Edge
5071 ><![CDATA[copy1]]></PortFrom
5075 ><![CDATA[arg]]></PortTo
5078 ><list-int/></Info></Edge
5083 ><![CDATA[arg]]></PortFrom
5087 ><![CDATA[copy2]]></PortTo
5090 ><list-int/></Info></Edge></Edges></Network></RHS
5092 ><MappingElement lhs="3" rhs="3"
5093 /><MappingElement lhs="4" rhs="4"
5094 /><MappingElement lhs="5" rhs="5"
5095 /><MappingElement lhs="6" rhs="6"/></Mapping></INRule
5098 ><![CDATA[Duplicator_Evaluator]]></Name
5100 ><Network Width="15.0" Height="9.0"
5105 ><Position X="2.0" Y="2.0"
5107 ><![CDATA[Node 1]]></Name
5111 ><![CDATA[duplicator]]></Shape
5113 ><list-int/></Info></Node
5115 ><Position X="4.0" Y="2.0"
5117 ><![CDATA[Node 2]]></Name
5121 ><![CDATA[evaluation]]></Shape
5123 ><list-int/></Info></Node
5125 ><Position X="1.5847916666666668" Y="0.5529166666666666"
5127 ><![CDATA[Node 3]]></Name
5131 ><![CDATA[interface]]></Shape
5133 ><list-int/></Info></Node
5135 ><Position X="2.426041666666667" Y="0.5529166666666667"
5137 ><![CDATA[Node 4]]></Name
5141 ><![CDATA[interface]]></Shape
5143 ><list-int/></Info></Node
5145 ><Position X="4.008125" Y="0.44708333333333333"
5147 ><![CDATA[Node 5]]></Name
5151 ><![CDATA[interface]]></Shape
5153 ><list-int/></Info></Node></Nodes
5159 ><![CDATA[down]]></PortFrom
5163 ><![CDATA[arg]]></PortTo
5166 ><list-int/></Info></Edge
5171 ><![CDATA[copy2]]></PortFrom
5175 ><![CDATA[interface]]></PortTo
5178 ><list-int/></Info></Edge
5183 ><![CDATA[copy1]]></PortFrom
5187 ><![CDATA[interface]]></PortTo
5190 ><list-int/></Info></Edge
5195 ><![CDATA[res]]></PortFrom
5199 ><![CDATA[interface]]></PortTo
5202 ><list-int/></Info></Edge></Edges></Network></LHS
5204 ><Network Width="15.0" Height="9.0"
5209 ><Position X="1.5847916666666668" Y="0.5529166666666666"
5211 ><![CDATA[Node 3]]></Name
5215 ><![CDATA[interface]]></Shape
5217 ><list-int/></Info></Node
5219 ><Position X="5.257083333333336" Y="0.5793750000000001"
5221 ><![CDATA[Node 4]]></Name
5225 ><![CDATA[interface]]></Shape
5227 ><list-int/></Info></Node
5229 ><Position X="3.2672916666666674" Y="5.7387500000000005"
5231 ><![CDATA[Node 5]]></Name
5235 ><![CDATA[interface]]></Shape
5237 ><list-int/></Info></Node
5239 ><Position X="2.3283333333333336" Y="1.878541666666667"
5241 ><![CDATA[Node 6]]></Name
5245 ><![CDATA[evaluation]]></Shape
5247 ><list-int/></Info></Node
5249 ><Position X="4.471458333333333" Y="1.878541666666667"
5251 ><![CDATA[Node 7]]></Name
5255 ><![CDATA[evaluation]]></Shape
5257 ><list-int/></Info></Node
5259 ><Position X="3.2808333333333337" Y="4.048125000000001"
5261 ><![CDATA[Node 8]]></Name
5265 ><![CDATA[duplicator]]></Shape
5267 ><list-int/></Info></Node></Nodes
5273 ><![CDATA[arg]]></PortFrom
5277 ><![CDATA[interface]]></PortTo
5279 ><Position X="1.5610416666666669" Y="2.3547916666666673"/></Via
5281 ><list-int/></Info></Edge
5286 ><![CDATA[interface]]></PortFrom
5290 ><![CDATA[arg]]></PortTo
5292 ><Position X="5.238750000000001" Y="2.354791666666667"/></Via
5294 ><list-int/></Info></Edge
5299 ><![CDATA[interface]]></PortFrom
5303 ><![CDATA[down]]></PortTo
5306 ><list-int/></Info></Edge
5311 ><![CDATA[copy1]]></PortFrom
5315 ><![CDATA[res]]></PortTo
5317 ><Position X="2.9633333333333334" Y="1.3758333333333337"/></Via
5319 ><list-int/></Info></Edge
5324 ><![CDATA[res]]></PortFrom
5328 ><![CDATA[copy2]]></PortTo
5330 ><Position X="3.5718750000000004" Y="1.3758333333333337"/></Via
5332 ><list-int/></Info></Edge></Edges></Network></RHS
5334 ><MappingElement lhs="3" rhs="3"
5335 /><MappingElement lhs="4" rhs="4"
5336 /><MappingElement lhs="5" rhs="5"/></Mapping></INRule
5339 ><![CDATA[Duplicator_EvaluatorReturning]]></Name
5341 ><Network Width="15.0" Height="9.0"
5346 ><Position X="2.0" Y="2.0"
5348 ><![CDATA[Node 1]]></Name
5352 ><![CDATA[duplicator]]></Shape
5354 ><list-int/></Info></Node
5356 ><Position X="2.0" Y="4.0"
5358 ><![CDATA[Node 2]]></Name
5362 ><![CDATA[evalReturn]]></Shape
5364 ><list-int/></Info></Node
5366 ><Position X="1.1349999999999998" Y="0.44708333333333333"
5368 ><![CDATA[Node 3]]></Name
5372 ><![CDATA[interface]]></Shape
5374 ><list-int/></Info></Node
5376 ><Position X="3.0081249999999997" Y="0.5529166666666667"
5378 ><![CDATA[Node 4]]></Name
5382 ><![CDATA[interface]]></Shape
5384 ><list-int/></Info></Node
5386 ><Position X="2.008125" Y="5.5529166666666665"
5388 ><![CDATA[Node 5]]></Name
5392 ><![CDATA[interface]]></Shape
5394 ><list-int/></Info></Node></Nodes
5400 ><![CDATA[down]]></PortFrom
5404 ><![CDATA[res]]></PortTo
5407 ><list-int/></Info></Edge
5412 ><![CDATA[copy2]]></PortFrom
5416 ><![CDATA[interface]]></PortTo
5419 ><list-int/></Info></Edge
5424 ><![CDATA[copy1]]></PortFrom
5428 ><![CDATA[interface]]></PortTo
5431 ><list-int/></Info></Edge
5436 ><![CDATA[arg]]></PortFrom
5440 ><![CDATA[interface]]></PortTo
5443 ><list-int/></Info></Edge></Edges></Network></LHS
5445 ><Network Width="15.0" Height="9.0"
5450 ><Position X="1.1349999999999998" Y="0.44708333333333333"
5452 ><![CDATA[Node 3]]></Name
5456 ><![CDATA[interface]]></Shape
5458 ><list-int/></Info></Node
5460 ><Position X="3.0081249999999997" Y="0.5529166666666667"
5462 ><![CDATA[Node 4]]></Name
5466 ><![CDATA[interface]]></Shape
5468 ><list-int/></Info></Node
5470 ><Position X="2.008125" Y="5.5529166666666665"
5472 ><![CDATA[Node 5]]></Name
5476 ><![CDATA[interface]]></Shape
5478 ><list-int/></Info></Node
5480 ><Position X="1.1377083333333333" Y="2.0108333333333333"
5482 ><![CDATA[Node 6]]></Name
5486 ><![CDATA[evalReturn]]></Shape
5488 ><list-int/></Info></Node
5490 ><Position X="2.9897916666666666" Y="1.9843750000000004"
5492 ><![CDATA[Node 7]]></Name
5496 ><![CDATA[evalReturn]]></Shape
5498 ><list-int/></Info></Node
5500 ><Position X="1.984375" Y="4.074583333333334"
5502 ><![CDATA[Node 8]]></Name
5506 ><![CDATA[duplicator]]></Shape
5508 ><list-int/></Info></Node></Nodes
5514 ><![CDATA[res]]></PortFrom
5518 ><![CDATA[interface]]></PortTo
5521 ><list-int/></Info></Edge
5526 ><![CDATA[interface]]></PortFrom
5530 ><![CDATA[res]]></PortTo
5533 ><list-int/></Info></Edge
5538 ><![CDATA[down]]></PortFrom
5542 ><![CDATA[interface]]></PortTo
5545 ><list-int/></Info></Edge
5550 ><![CDATA[copy1]]></PortFrom
5554 ><![CDATA[arg]]></PortTo
5557 ><list-int/></Info></Edge
5562 ><![CDATA[arg]]></PortFrom
5566 ><![CDATA[copy2]]></PortTo
5569 ><list-int/></Info></Edge></Edges></Network></RHS
5571 ><MappingElement lhs="3" rhs="3"
5572 /><MappingElement lhs="4" rhs="4"
5573 /><MappingElement lhs="5" rhs="5"/></Mapping></INRule
5576 ><![CDATA[Duplicator_preApplication]]></Name
5578 ><Network Width="15.0" Height="9.0"
5583 ><Position X="2.0" Y="2.0"
5585 ><![CDATA[Node 1]]></Name
5589 ><![CDATA[duplicator]]></Shape
5591 ><list-int/></Info></Node
5593 ><Position X="2.0" Y="4.0"
5595 ><![CDATA[Node 2]]></Name
5599 ><![CDATA[beforeApplication]]></Shape
5601 ><list-int/></Info></Node
5603 ><Position X="1.29375" Y="0.5264583333333333"
5605 ><![CDATA[Node 3]]></Name
5609 ><![CDATA[interface]]></Shape
5611 ><list-int/></Info></Node
5613 ><Position X="2.955208333333333" Y="0.6058333333333334"
5615 ><![CDATA[Node 4]]></Name
5619 ><![CDATA[interface]]></Shape
5621 ><list-int/></Info></Node
5623 ><Position X="2.8018750000000003" Y="5.5"
5625 ><![CDATA[Node 5]]></Name
5629 ><![CDATA[interface]]></Shape
5631 ><list-int/></Info></Node
5633 ><Position X="1.2354166666666666" Y="5.5"
5635 ><![CDATA[Node 6]]></Name
5639 ><![CDATA[interface]]></Shape
5641 ><list-int/></Info></Node></Nodes
5647 ><![CDATA[down]]></PortFrom
5651 ><![CDATA[res]]></PortTo
5654 ><list-int/></Info></Edge
5659 ><![CDATA[copy2]]></PortFrom
5663 ><![CDATA[interface]]></PortTo
5666 ><list-int/></Info></Edge
5671 ><![CDATA[copy1]]></PortFrom
5675 ><![CDATA[interface]]></PortTo
5678 ><list-int/></Info></Edge
5683 ><![CDATA[func]]></PortFrom
5687 ><![CDATA[interface]]></PortTo
5690 ><list-int/></Info></Edge
5695 ><![CDATA[arg]]></PortFrom
5699 ><![CDATA[interface]]></PortTo
5702 ><list-int/></Info></Edge></Edges></Network></LHS
5704 ><Network Width="15.0" Height="9.0"
5709 ><Position X="1.29375" Y="0.5264583333333333"
5711 ><![CDATA[Node 3]]></Name
5715 ><![CDATA[interface]]></Shape
5717 ><list-int/></Info></Node
5719 ><Position X="2.955208333333333" Y="0.6322916666666668"
5721 ><![CDATA[Node 4]]></Name
5725 ><![CDATA[interface]]></Shape
5727 ><list-int/></Info></Node
5729 ><Position X="2.934166666666667" Y="5.526458333333333"
5731 ><![CDATA[Node 5]]></Name
5735 ><![CDATA[interface]]></Shape
5737 ><list-int/></Info></Node
5739 ><Position X="1.2883333333333333" Y="5.5"
5741 ><![CDATA[Node 6]]></Name
5745 ><![CDATA[interface]]></Shape
5747 ><list-int/></Info></Node
5749 ><Position X="1.2964583333333337" Y="4.1275"
5751 ><![CDATA[Node 7]]></Name
5755 ><![CDATA[duplicator]]></Shape
5757 ><list-int/></Info></Node
5759 ><Position X="2.936875" Y="4.1275"
5761 ><![CDATA[Node 8]]></Name
5765 ><![CDATA[duplicator]]></Shape
5767 ><list-int/></Info></Node
5769 ><Position X="1.2964583333333335" Y="1.8520833333333333"
5771 ><![CDATA[Node 9]]></Name
5775 ><![CDATA[beforeApplication]]></Shape
5777 ><list-int/></Info></Node
5779 ><Position X="2.9368750000000006" Y="1.7991666666666668"
5781 ><![CDATA[Node 10]]></Name
5785 ><![CDATA[beforeApplication]]></Shape
5787 ><list-int/></Info></Node></Nodes
5793 ><![CDATA[down]]></PortFrom
5797 ><![CDATA[interface]]></PortTo
5800 ><list-int/></Info></Edge
5805 ><![CDATA[down]]></PortFrom
5809 ><![CDATA[interface]]></PortTo
5812 ><list-int/></Info></Edge
5817 ><![CDATA[interface]]></PortFrom
5821 ><![CDATA[res]]></PortTo
5824 ><list-int/></Info></Edge
5829 ><![CDATA[interface]]></PortFrom
5833 ><![CDATA[res]]></PortTo
5836 ><list-int/></Info></Edge
5841 ><![CDATA[func]]></PortFrom
5845 ><![CDATA[copy1]]></PortTo
5848 ><list-int/></Info></Edge
5853 ><![CDATA[func]]></PortFrom
5857 ><![CDATA[copy2]]></PortTo
5860 ><list-int/></Info></Edge
5865 ><![CDATA[arg]]></PortFrom
5869 ><![CDATA[copy1]]></PortTo
5872 ><list-int/></Info></Edge
5877 ><![CDATA[arg]]></PortFrom
5881 ><![CDATA[copy2]]></PortTo
5884 ><list-int/></Info></Edge></Edges></Network></RHS
5886 ><MappingElement lhs="3" rhs="3"
5887 /><MappingElement lhs="4" rhs="4"
5888 /><MappingElement lhs="5" rhs="5"
5889 /><MappingElement lhs="6"
5890 rhs="6"/></Mapping></INRule></Rules></Document>