darcs - INblobs

1 <Document

2 ><Network Width="15.0" Height="9.0"

3 ><Info

4 ><unit/></Info

5 ><Nodes

6 /><Edges/></Network

7 ><Palette

8 ><Symbol

9 ><ShapeName

10 ><![CDATA[interface]]></ShapeName

11 ><Shape

12 ><Circle

13 ><ShapeStyle

14 ><int value="2"

15 /><RGB R="255" G="255" B="255"

16 /><RGB R="255" G="255" B="255"/></ShapeStyle

17 ><double value="0.25"/></Circle></Shape

18 ><Ports

19 ><Principals

20 ><Port

21 ><string

22 ><![CDATA[interface]]></string

23 ><Position X="0.0" Y="0.25"/></Port></Principals

24 ><Auxiliaries/></Ports

25 ><Info

26 ><maybe-list-int

27 ><list-int/></maybe-list-int></Info></Symbol

28 ><Symbol

29 ><ShapeName

30 ><![CDATA[lambda]]></ShapeName

31 ><Shape

32 ><Composite

33 ><list-Shape

34 ><Polygon

35 ><ShapeStyle

36 ><int value="1"

37 /><RGB R="0" G="0" B="0"

38 /><RGB R="255" G="215" B="0"/></ShapeStyle

39 ><list-DoublePoint

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

43 ><Lines

44 ><ShapeStyle

45 ><int value="2"

46 /><RGB R="0" G="0" B="0"

47 /><RGB R="255" G="255" B="255"/></ShapeStyle

48 ><list-DoublePoint

49 ><Position X="-0.15" Y="-0.25"

50 /><Position X="0.35" Y="0.25"/></list-DoublePoint></Lines

51 ><Lines

52 ><ShapeStyle

53 ><int value="2"

54 /><RGB R="0" G="0" B="0"

55 /><RGB R="255" G="255" B="255"/></ShapeStyle

56 ><list-DoublePoint

57 ><Position X="0.1" Y="0.0"

58 /><Position X="-0.15"

59 Y="0.25"/></list-DoublePoint></Lines></list-Shape></Composite></Shape

60 ><Ports

61 ><Principals

62 ><Port

63 ><string

64 ><![CDATA[res]]></string

65 ><Position X="0.0" Y="-0.55"/></Port></Principals

66 ><Auxiliaries

67 ><Port

68 ><string

69 ><![CDATA[body]]></string

70 ><Position X="0.4" Y="0.3"/></Port

71 ><Port

72 ><string

73 ><![CDATA[var]]></string

74 ><Position X="-0.4" Y="0.3"/></Port></Auxiliaries></Ports

75 ><Info

76 ><maybe-list-int/></Info></Symbol

77 ><Symbol

78 ><ShapeName

79 ><![CDATA[application]]></ShapeName

80 ><Shape

81 ><TextInEllipse

82 ><ShapeStyle

83 ><int value="1"

84 /><RGB R="0" G="0" B="0"

85 /><RGB R="255" G="215" B="0"/></ShapeStyle

86 ><string

87 ><![CDATA[@]]></string></TextInEllipse></Shape

88 ><Ports

89 ><Principals

90 ><Port

91 ><string

92 ><![CDATA[func]]></string

93 ><Position X="-0.3" Y="0.3"/></Port></Principals

94 ><Auxiliaries

95 ><Port

96 ><string

97 ><![CDATA[res]]></string

98 ><Position X="0.0" Y="-0.35"/></Port

99 ><Port

100 ><string

101 ><![CDATA[arg]]></string

102 ><Position X="0.3" Y="0.3"/></Port></Auxiliaries></Ports

103 ><Info

104 ><maybe-list-int/></Info></Symbol

105 ><Symbol

106 ><ShapeName

107 ><![CDATA[evaluation]]></ShapeName

108 ><Shape

109 ><Composite

110 ><list-Shape

111 ><Circle

112 ><ShapeStyle

113 ><int value="1"

114 /><RGB R="0" G="0" B="0"

115 /><RGB R="144" G="238" B="144"/></ShapeStyle

116 ><double value="0.5"/></Circle

117 ><Lines

118 ><ShapeStyle

119 ><int value="2"

120 /><RGB R="0" G="0" B="0"

121 /><RGB R="255" G="255" B="255"/></ShapeStyle

122 ><list-DoublePoint

123 ><Position X="-0.2" Y="-0.2"

124 /><Position X="-0.2" Y="0.2"/></list-DoublePoint></Lines

125 ><Lines

126 ><ShapeStyle

127 ><int value="2"

128 /><RGB R="0" G="0" B="0"

129 /><RGB R="255" G="255" B="255"/></ShapeStyle

130 ><list-DoublePoint

131 ><Position X="0.2" Y="-0.2"

132 /><Position X="0.2" Y="0.2"/></list-DoublePoint></Lines

133 ><Lines

134 ><ShapeStyle

135 ><int value="2"

136 /><RGB R="0" G="0" B="0"

137 /><RGB R="255" G="255" B="255"/></ShapeStyle

138 ><list-DoublePoint

139 ><Position X="-0.3" Y="0.25"

140 /><Position X="0.0" Y="0.4"

141 /><Position X="0.3"

142 Y="0.25"/></list-DoublePoint></Lines></list-Shape></Composite></Shape

143 ><Ports

144 ><Principals

145 ><Port

146 ><string

147 ><![CDATA[arg]]></string

148 ><Position X="0.0" Y="0.5"/></Port></Principals

149 ><Auxiliaries

150 ><Port

151 ><string

152 ><![CDATA[res]]></string

153 ><Position X="0.0" Y="-0.5"/></Port></Auxiliaries></Ports

154 ><Info

155 ><maybe-list-int/></Info></Symbol

156 ><Symbol

157 ><ShapeName

158 ><![CDATA[beforeApplication]]></ShapeName

159 ><Shape

160 ><Composite

161 ><list-Shape

162 ><Polygon

163 ><ShapeStyle

164 ><int value="1"

165 /><RGB R="0" G="0" B="0"

166 /><RGB R="255" G="215" B="0"/></ShapeStyle

167 ><list-DoublePoint

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

171 ><Text

172 ><ShapeStyle

173 ><int value="1"

174 /><RGB R="0" G="0" B="0"

175 /><RGB R="200" G="255" B="255"/></ShapeStyle

176 ><string

177 ><![CDATA[@]]></string></Text></list-Shape></Composite></Shape

178 ><Ports

179 ><Principals

180 ><Port

181 ><string

182 ><![CDATA[res]]></string

183 ><Position X="0.0" Y="-0.5"/></Port></Principals

184 ><Auxiliaries

185 ><Port

186 ><string

187 ><![CDATA[arg]]></string

188 ><Position X="0.4" Y="0.25"/></Port

189 ><Port

190 ><string

191 ><![CDATA[func]]></string

192 ><Position X="-0.4" Y="0.25"/></Port></Auxiliaries></Ports

193 ><Info

194 ><maybe-list-int/></Info></Symbol

195 ><Symbol

196 ><ShapeName

197 ><![CDATA[copy]]></ShapeName

198 ><Shape

199 ><TextInEllipse

200 ><ShapeStyle

201 ><int value="1"

202 /><RGB R="0" G="0" B="0"

203 /><RGB R="192" G="192" B="192"/></ShapeStyle

204 ><string

205 ><![CDATA[c]]></string></TextInEllipse></Shape

206 ><Ports

207 ><Principals

208 ><Port

209 ><string

210 ><![CDATA[src]]></string

211 ><Position X="0.0" Y="0.3"/></Port></Principals

212 ><Auxiliaries

213 ><Port

214 ><string

215 ><![CDATA[fst_target]]></string

216 ><Position X="-0.3" Y="-0.3"/></Port

217 ><Port

218 ><string

219 ><![CDATA[snd_target]]></string

220 ><Position X="0.3" Y="-0.3"/></Port></Auxiliaries></Ports

221 ><Info

222 ><maybe-list-int/></Info></Symbol

223 ><Symbol

224 ><ShapeName

225 ><![CDATA[duplicator]]></ShapeName

226 ><Shape

227 ><Composite

228 ><list-Shape

229 ><Circle

230 ><ShapeStyle

231 ><int value="2"

232 /><RGB R="250" G="0" B="0"

233 /><RGB R="255" G="255" B="255"/></ShapeStyle

234 ><double value="0.5"/></Circle

235 ><Arc

236 ><ShapeStyle

237 ><int value="2"

238 /><RGB R="250" G="0" B="0"

239 /><RGB R="255" G="255" B="255"/></ShapeStyle

240 ><double value="0.2"

241 /><double value="70.0"

242 /><double value="270.0"

243 /><Position X="0.0" Y="-0.18"/></Arc

244 ><Arc

245 ><ShapeStyle

246 ><int value="2"

247 /><RGB R="250" G="0" B="0"

248 /><RGB R="255" G="255" B="255"/></ShapeStyle

249 ><double value="0.2"

250 /><double value="150.0"

251 /><double value="90.0"

252 /><Position X="0.0"

253 Y="0.18"/></Arc></list-Shape></Composite></Shape

254 ><Ports

255 ><Principals

256 ><Port

257 ><string

258 ><![CDATA[down]]></string

259 ><Position X="0.0" Y="0.5"/></Port></Principals

260 ><Auxiliaries

261 ><Port

262 ><string

263 ><![CDATA[copy1]]></string

264 ><Position X="-0.3" Y="-0.3"/></Port

265 ><Port

266 ><string

267 ><![CDATA[copy2]]></string

268 ><Position X="0.3" Y="-0.3"/></Port></Auxiliaries></Ports

269 ><Info

270 ><maybe-list-int

271 ><list-int/></maybe-list-int></Info></Symbol

272 ><Symbol

273 ><ShapeName

274 ><![CDATA[Erase]]></ShapeName

275 ><Shape

276 ><Composite

277 ><list-Shape

278 ><Circle

279 ><ShapeStyle

280 ><int value="2"

281 /><RGB R="250" G="0" B="0"

282 /><RGB R="255" G="255" B="255"/></ShapeStyle

283 ><double value="0.5"/></Circle

284 ><Arc

285 ><ShapeStyle

286 ><int value="2"

287 /><RGB R="250" G="0" B="0"

288 /><RGB R="255" G="255" B="255"/></ShapeStyle

289 ><double value="0.2"

290 /><double value="90.0"

291 /><double value="270.0"

292 /><Position X="0.0" Y="-0.18"/></Arc

293 ><Arc

294 ><ShapeStyle

295 ><int value="2"

296 /><RGB R="250" G="0" B="0"

297 /><RGB R="255" G="255" B="255"/></ShapeStyle

298 ><double value="0.2"

299 /><double value="90.0"

300 /><double value="270.0"

301 /><Position X="0.0"

302 Y="0.18"/></Arc></list-Shape></Composite></Shape

303 ><Ports

304 ><Principals

305 ><Port

306 ><string

307 ><![CDATA[down]]></string

308 ><Position X="0.0" Y="0.5"/></Port></Principals

309 ><Auxiliaries/></Ports

310 ><Info

311 ><maybe-list-int

312 ><list-int/></maybe-list-int></Info></Symbol

313 ><Symbol

314 ><ShapeName

315 ><![CDATA[Nil]]></ShapeName

316 ><Shape

317 ><Composite

318 ><list-Shape

319 ><Polygon

320 ><ShapeStyle

321 ><int value="1"

322 /><RGB R="0" G="0" B="0"

323 /><RGB R="200" G="255" B="255"/></ShapeStyle

324 ><list-DoublePoint

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

328 ><Text

329 ><ShapeStyle

330 ><int value="1"

331 /><RGB R="0" G="0" B="0"

332 /><RGB R="200" G="255" B="255"/></ShapeStyle

333 ><string

334 ><![CDATA[Nil]]></string></Text></list-Shape></Composite></Shape

335 ><Ports

336 ><Principals

337 ><Port

338 ><string

339 ><![CDATA[res]]></string

340 ><Position X="0.0" Y="-0.65"/></Port></Principals

341 ><Auxiliaries/></Ports

342 ><Info

343 ><maybe-list-int/></Info></Symbol

344 ><Symbol

345 ><ShapeName

346 ><![CDATA[Cons]]></ShapeName

347 ><Shape

348 ><Composite

349 ><list-Shape

350 ><Polygon

351 ><ShapeStyle

352 ><int value="1"

353 /><RGB R="0" G="0" B="0"

354 /><RGB R="200" G="255" B="255"/></ShapeStyle

355 ><list-DoublePoint

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

359 ><Text

360 ><ShapeStyle

361 ><int value="1"

362 /><RGB R="0" G="0" B="0"

363 /><RGB R="200" G="255" B="255"/></ShapeStyle

364 ><string

365 ><![CDATA[Cons]]></string></Text></list-Shape></Composite></Shape

366 ><Ports

367 ><Principals

368 ><Port

369 ><string

370 ><![CDATA[res]]></string

371 ><Position X="0.0" Y="-0.65"/></Port></Principals

372 ><Auxiliaries

373 ><Port

374 ><string

375 ><![CDATA[head]]></string

376 ><Position X="-0.4" Y="0.25"/></Port

377 ><Port

378 ><string

379 ><![CDATA[tail]]></string

380 ><Position X="0.4" Y="0.25"/></Port></Auxiliaries></Ports

381 ><Info

382 ><maybe-list-int/></Info></Symbol

383 ><Symbol

384 ><ShapeName

385 ><![CDATA[True]]></ShapeName

386 ><Shape

387 ><Composite

388 ><list-Shape

389 ><Polygon

390 ><ShapeStyle

391 ><int value="1"

392 /><RGB R="0" G="0" B="0"

393 /><RGB R="200" G="255" B="255"/></ShapeStyle

394 ><list-DoublePoint

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

398 ><Text

399 ><ShapeStyle

400 ><int value="1"

401 /><RGB R="0" G="0" B="0"

402 /><RGB R="200" G="255" B="255"/></ShapeStyle

403 ><string

404 ><![CDATA[True]]></string></Text></list-Shape></Composite></Shape

405 ><Ports

406 ><Principals

407 ><Port

408 ><string

409 ><![CDATA[res]]></string

410 ><Position X="0.0" Y="-0.65"/></Port></Principals

411 ><Auxiliaries/></Ports

412 ><Info

413 ><maybe-list-int/></Info></Symbol

414 ><Symbol

415 ><ShapeName

416 ><![CDATA[False]]></ShapeName

417 ><Shape

418 ><Composite

419 ><list-Shape

420 ><Polygon

421 ><ShapeStyle

422 ><int value="1"

423 /><RGB R="0" G="0" B="0"

424 /><RGB R="200" G="255" B="255"/></ShapeStyle

425 ><list-DoublePoint

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

429 ><Text

430 ><ShapeStyle

431 ><int value="1"

432 /><RGB R="0" G="0" B="0"

433 /><RGB R="200" G="255" B="255"/></ShapeStyle

434 ><string

435 ><![CDATA[False]]></string></Text></list-Shape></Composite></Shape

436 ><Ports

437 ><Principals

438 ><Port

439 ><string

440 ><![CDATA[res]]></string

441 ><Position X="0.0" Y="-0.65"/></Port></Principals

442 ><Auxiliaries/></Ports

443 ><Info

444 ><maybe-list-int/></Info></Symbol

445 ><Symbol

446 ><ShapeName

447 ><![CDATA[Zero]]></ShapeName

448 ><Shape

449 ><Composite

450 ><list-Shape

451 ><Polygon

452 ><ShapeStyle

453 ><int value="1"

454 /><RGB R="0" G="0" B="0"

455 /><RGB R="200" G="255" B="255"/></ShapeStyle

456 ><list-DoublePoint

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

460 ><Text

461 ><ShapeStyle

462 ><int value="1"

463 /><RGB R="0" G="0" B="0"

464 /><RGB R="200" G="255" B="255"/></ShapeStyle

465 ><string

466 ><![CDATA[Zero]]></string></Text></list-Shape></Composite></Shape

467 ><Ports

468 ><Principals

469 ><Port

470 ><string

471 ><![CDATA[res]]></string

472 ><Position X="0.0" Y="-0.65"/></Port></Principals

473 ><Auxiliaries/></Ports

474 ><Info

475 ><maybe-list-int/></Info></Symbol

476 ><Symbol

477 ><ShapeName

478 ><![CDATA[Succ]]></ShapeName

479 ><Shape

480 ><Composite

481 ><list-Shape

482 ><Polygon

483 ><ShapeStyle

484 ><int value="1"

485 /><RGB R="0" G="0" B="0"

486 /><RGB R="200" G="255" B="255"/></ShapeStyle

487 ><list-DoublePoint

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

491 ><Text

492 ><ShapeStyle

493 ><int value="1"

494 /><RGB R="0" G="0" B="0"

495 /><RGB R="200" G="255" B="255"/></ShapeStyle

496 ><string

497 ><![CDATA[Succ]]></string></Text></list-Shape></Composite></Shape

498 ><Ports

499 ><Principals

500 ><Port

501 ><string

502 ><![CDATA[res]]></string

503 ><Position X="0.0" Y="-0.65"/></Port></Principals

504 ><Auxiliaries

505 ><Port

506 ><string

507 ><![CDATA[arg]]></string

508 ><Position X="0.0" Y="0.25"/></Port></Auxiliaries></Ports

509 ><Info

510 ><maybe-list-int/></Info></Symbol></Palette

511 ><Rules

512 ><INRule

513 ><Name

514 ><![CDATA[evaluate_lambda]]></Name

515 ><LHS

516 ><Network Width="15.0" Height="9.0"

517 ><Info

518 ><unit/></Info

519 ><Nodes

520 ><Node id="N1"

521 ><Position X="2.0" Y="2.0"

522 /><Name

523 ><![CDATA[Node 1]]></Name

524 ><LabelAbove

525 >True</LabelAbove

526 ><Shape

527 ><![CDATA[evaluation]]></Shape

528 ><Info

529 ><list-int/></Info></Node

530 ><Node id="N3"

531 ><Position X="2.008125" Y="0.6322916666666667"

532 /><Name

533 ><![CDATA[Node 3]]></Name

534 ><LabelAbove

535 >True</LabelAbove

536 ><Shape

537 ><![CDATA[interface]]></Shape

538 ><Info

539 ><list-int/></Info></Node

540 ><Node id="N4"

541 ><Position X="2.8812499999999996" Y="5.420625000000001"

542 /><Name

543 ><![CDATA[Node 4]]></Name

544 ><LabelAbove

545 >True</LabelAbove

546 ><Shape

547 ><![CDATA[interface]]></Shape

548 ><Info

549 ><list-int/></Info></Node

550 ><Node id="N5"

551 ><Position X="1.1295833333333334" Y="5.394166666666667"

552 /><Name

553 ><![CDATA[Node 5]]></Name

554 ><LabelAbove

555 >True</LabelAbove

556 ><Shape

557 ><![CDATA[interface]]></Shape

558 ><Info

559 ><list-int/></Info></Node

560 ><Node id="N6"

561 ><Position X="1.984375" Y="3.96875"

562 /><Name

563 ><![CDATA[Node 6]]></Name

564 ><LabelAbove

565 >True</LabelAbove

566 ><Shape

567 ><![CDATA[lambda]]></Shape

568 ><Info

569 ><list-int/></Info></Node></Nodes

570 ><Edges

571 ><Edge id="E2"

572 ><From

573 >1</From

574 ><PortFrom

575 ><![CDATA[res]]></PortFrom

576 ><To

577 >3</To

578 ><PortTo

579 ><![CDATA[interface]]></PortTo

580 ><Via

581 /><Info

582 ><list-int/></Info></Edge

583 ><Edge id="E3"

584 ><From

585 >1</From

586 ><PortFrom

587 ><![CDATA[arg]]></PortFrom

588 ><To

589 >6</To

590 ><PortTo

591 ><![CDATA[res]]></PortTo

592 ><Via

593 /><Info

594 ><list-int/></Info></Edge

595 ><Edge id="E4"

596 ><From

597 >5</From

598 ><PortFrom

599 ><![CDATA[interface]]></PortFrom

600 ><To

601 >6</To

602 ><PortTo

603 ><![CDATA[var]]></PortTo

604 ><Via

605 /><Info

606 ><list-int/></Info></Edge

607 ><Edge id="E5"

608 ><From

609 >6</From

610 ><PortFrom

611 ><![CDATA[body]]></PortFrom

612 ><To

613 >4</To

614 ><PortTo

615 ><![CDATA[interface]]></PortTo

616 ><Via

617 /><Info

618 ><list-int/></Info></Edge></Edges></Network></LHS

619 ><RHS

620 ><Network Width="15.0" Height="9.0"

621 ><Info

622 ><unit/></Info

623 ><Nodes

624 ><Node id="N3"

625 ><Position X="2.008125" Y="0.6322916666666667"

626 /><Name

627 ><![CDATA[Node 3]]></Name

628 ><LabelAbove

629 >True</LabelAbove

630 ><Shape

631 ><![CDATA[interface]]></Shape

632 ><Info

633 ><list-int/></Info></Node

634 ><Node id="N4"

635 ><Position X="2.8812499999999996" Y="5.420625000000001"

636 /><Name

637 ><![CDATA[Node 4]]></Name

638 ><LabelAbove

639 >True</LabelAbove

640 ><Shape

641 ><![CDATA[interface]]></Shape

642 ><Info

643 ><list-int/></Info></Node

644 ><Node id="N5"

645 ><Position X="1.1295833333333334" Y="5.394166666666667"

646 /><Name

647 ><![CDATA[Node 5]]></Name

648 ><LabelAbove

649 >True</LabelAbove

650 ><Shape

651 ><![CDATA[interface]]></Shape

652 ><Info

653 ><list-int/></Info></Node

654 ><Node id="N6"

655 ><Position X="2.0108333333333337" Y="4.021666666666667"

656 /><Name

657 ><![CDATA[Node 6]]></Name

658 ><LabelAbove

659 >True</LabelAbove

660 ><Shape

661 ><![CDATA[lambda]]></Shape

662 ><Info

663 ><list-int/></Info></Node></Nodes

664 ><Edges

665 ><Edge id="E1"

666 ><From

667 >6</From

668 ><PortFrom

669 ><![CDATA[var]]></PortFrom

670 ><To

671 >5</To

672 ><PortTo

673 ><![CDATA[interface]]></PortTo

674 ><Via

675 /><Info

676 ><list-int/></Info></Edge

677 ><Edge id="E2"

678 ><From

679 >6</From

680 ><PortFrom

681 ><![CDATA[body]]></PortFrom

682 ><To

683 >4</To

684 ><PortTo

685 ><![CDATA[interface]]></PortTo

686 ><Via

687 /><Info

688 ><list-int/></Info></Edge

689 ><Edge id="E3"

690 ><From

691 >6</From

692 ><PortFrom

693 ><![CDATA[res]]></PortFrom

694 ><To

695 >3</To

696 ><PortTo

697 ><![CDATA[interface]]></PortTo

698 ><Via

699 /><Info

700 ><list-int/></Info></Edge></Edges></Network></RHS

701 ><Mapping

702 ><MappingElement lhs="3" rhs="3"

703 /><MappingElement lhs="4" rhs="4"

704 /><MappingElement lhs="5" rhs="5"/></Mapping></INRule

705 ><INRule

706 ><Name

707 ><![CDATA[evaluate_application]]></Name

708 ><LHS

709 ><Network Width="15.0" Height="9.0"

710 ><Info

711 ><unit/></Info

712 ><Nodes

713 ><Node id="N1"

714 ><Position X="2.0" Y="2.0"

715 /><Name

716 ><![CDATA[Node 1]]></Name

717 ><LabelAbove

718 >True</LabelAbove

719 ><Shape

720 ><![CDATA[evaluation]]></Shape

721 ><Info

722 ><list-int/></Info></Node

723 ><Node id="N3"

724 ><Position X="2.008125" Y="0.5529166666666667"

725 /><Name

726 ><![CDATA[Node 3]]></Name

727 ><LabelAbove

728 >True</LabelAbove

729 ><Shape

730 ><![CDATA[interface]]></Shape

731 ><Info

732 ><list-int/></Info></Node

733 ><Node id="N4"

734 ><Position X="2.6695833333333336" Y="5.447083333333333"

735 /><Name

736 ><![CDATA[Node 4]]></Name

737 ><LabelAbove

738 >True</LabelAbove

739 ><Shape

740 ><![CDATA[interface]]></Shape

741 ><Info

742 ><list-int/></Info></Node

743 ><Node id="N5"

744 ><Position X="1.3147916666666666" Y="5.5"

745 /><Name

746 ><![CDATA[Node 5]]></Name

747 ><LabelAbove

748 >True</LabelAbove

749 ><Shape

750 ><![CDATA[interface]]></Shape

751 ><Info

752 ><list-int/></Info></Node

753 ><Node id="N6"

754 ><Position X="1.9843750000000009" Y="3.942291666666667"

755 /><Name

756 ><![CDATA[Node 6]]></Name

757 ><LabelAbove

758 >True</LabelAbove

759 ><Shape

760 ><![CDATA[beforeApplication]]></Shape

761 ><Info

762 ><list-int/></Info></Node></Nodes

763 ><Edges

764 ><Edge id="E2"

765 ><From

766 >1</From

767 ><PortFrom

768 ><![CDATA[res]]></PortFrom

769 ><To

770 >3</To

771 ><PortTo

772 ><![CDATA[interface]]></PortTo

773 ><Via

774 /><Info

775 ><list-int/></Info></Edge

776 ><Edge id="E5"

777 ><From

778 >1</From

779 ><PortFrom

780 ><![CDATA[arg]]></PortFrom

781 ><To

782 >6</To

783 ><PortTo

784 ><![CDATA[res]]></PortTo

785 ><Via

786 /><Info

787 ><list-int/></Info></Edge

788 ><Edge id="E6"

789 ><From

790 >5</From

791 ><PortFrom

792 ><![CDATA[interface]]></PortFrom

793 ><To

794 >6</To

795 ><PortTo

796 ><![CDATA[func]]></PortTo

797 ><Via

798 /><Info

799 ><list-int/></Info></Edge

800 ><Edge id="E7"

801 ><From

802 >6</From

803 ><PortFrom

804 ><![CDATA[arg]]></PortFrom

805 ><To

806 >4</To

807 ><PortTo

808 ><![CDATA[interface]]></PortTo

809 ><Via

810 /><Info

811 ><list-int/></Info></Edge></Edges></Network></LHS

812 ><RHS

813 ><Network Width="15.0" Height="9.0"

814 ><Info

815 ><unit/></Info

816 ><Nodes

817 ><Node id="N3"

818 ><Position X="2.008125" Y="0.5529166666666667"

819 /><Name

820 ><![CDATA[Node 3]]></Name

821 ><LabelAbove

822 >True</LabelAbove

823 ><Shape

824 ><![CDATA[interface]]></Shape

825 ><Info

826 ><list-int/></Info></Node

827 ><Node id="N4"

828 ><Position X="2.6695833333333336" Y="5.447083333333333"

829 /><Name

830 ><![CDATA[Node 4]]></Name

831 ><LabelAbove

832 >True</LabelAbove

833 ><Shape

834 ><![CDATA[interface]]></Shape

835 ><Info

836 ><list-int/></Info></Node

837 ><Node id="N5"

838 ><Position X="1.3147916666666666" Y="5.5"

839 /><Name

840 ><![CDATA[Node 5]]></Name

841 ><LabelAbove

842 >True</LabelAbove

843 ><Shape

844 ><![CDATA[interface]]></Shape

845 ><Info

846 ><list-int/></Info></Node

847 ><Node id="N6"

848 ><Position X="2.0372916666666665" Y="2.0108333333333333"

849 /><Name

850 ><![CDATA[Node 6]]></Name

851 ><LabelAbove

852 >True</LabelAbove

853 ><Shape

854 ><![CDATA[application]]></Shape

855 ><Info

856 ><list-int/></Info></Node

857 ><Node id="N7"

858 ><Position X="1.3229166666666667" Y="3.757083333333333"

859 /><Name

860 ><![CDATA[Node 7]]></Name

861 ><LabelAbove

862 >True</LabelAbove

863 ><Shape

864 ><![CDATA[evaluation]]></Shape

865 ><Info

866 ><list-int/></Info></Node></Nodes

867 ><Edges

868 ><Edge id="E1"

869 ><From

870 >3</From

871 ><PortFrom

872 ><![CDATA[interface]]></PortFrom

873 ><To

874 >6</To

875 ><PortTo

876 ><![CDATA[res]]></PortTo

877 ><Via

878 /><Info

879 ><list-int/></Info></Edge

880 ><Edge id="E2"

881 ><From

882 >6</From

883 ><PortFrom

884 ><![CDATA[func]]></PortFrom

885 ><To

886 >7</To

887 ><PortTo

888 ><![CDATA[res]]></PortTo

889 ><Via

890 /><Info

891 ><list-int/></Info></Edge

892 ><Edge id="E3"

893 ><From

894 >7</From

895 ><PortFrom

896 ><![CDATA[arg]]></PortFrom

897 ><To

898 >5</To

899 ><PortTo

900 ><![CDATA[interface]]></PortTo

901 ><Via

902 /><Info

903 ><list-int/></Info></Edge

904 ><Edge id="E4"

905 ><From

906 >6</From

907 ><PortFrom

908 ><![CDATA[arg]]></PortFrom

909 ><To

910 >4</To

911 ><PortTo

912 ><![CDATA[interface]]></PortTo

913 ><Via

914 /><Info

915 ><list-int/></Info></Edge></Edges></Network></RHS

916 ><Mapping

917 ><MappingElement lhs="3" rhs="3"

918 /><MappingElement lhs="4" rhs="4"

919 /><MappingElement lhs="5" rhs="5"/></Mapping></INRule

920 ><INRule

921 ><Name

922 ><![CDATA[application_lambda]]></Name

923 ><LHS

924 ><Network Width="15.0" Height="9.0"

925 ><Info

926 ><unit/></Info

927 ><Nodes

928 ><Node id="N1"

929 ><Position X="3.2591666666666668" Y="1.9470833333333335"

930 /><Name

931 ><![CDATA[Node 1]]></Name

932 ><LabelAbove

933 >True</LabelAbove

934 ><Shape

935 ><![CDATA[application]]></Shape

936 ><Info

937 ><list-int/></Info></Node

938 ><Node id="N3"

939 ><Position X="3.278125" Y="0.579375"

940 /><Name

941 ><![CDATA[Node 3]]></Name

942 ><LabelAbove

943 >True</LabelAbove

944 ><Shape

945 ><![CDATA[interface]]></Shape

946 ><Info

947 ><list-int/></Info></Node

948 ><Node id="N4"

949 ><Position X="3.558333333333333" Y="5.420624999999999"

950 /><Name

951 ><![CDATA[Node 4]]></Name

952 ><LabelAbove

953 >True</LabelAbove

954 ><Shape

955 ><![CDATA[interface]]></Shape

956 ><Info

957 ><list-int/></Info></Node

958 ><Node id="N5"

959 ><Position X="2.537291666666667" Y="5.394166666666667"

960 /><Name

961 ><![CDATA[Node 5]]></Name

962 ><LabelAbove

963 >True</LabelAbove

964 ><Shape

965 ><![CDATA[interface]]></Shape

966 ><Info

967 ><list-int/></Info></Node

968 ><Node id="N6"

969 ><Position X="1.3677083333333333" Y="5.394166666666667"

970 /><Name

971 ><![CDATA[Node 6]]></Name

972 ><LabelAbove

973 >True</LabelAbove

974 ><Shape

975 ><![CDATA[interface]]></Shape

976 ><Info

977 ><list-int/></Info></Node

978 ><Node id="N7"

979 ><Position X="2.116666666666667" Y="4.101041666666667"

980 /><Name

981 ><![CDATA[Node 7]]></Name

982 ><LabelAbove

983 >True</LabelAbove

984 ><Shape

985 ><![CDATA[lambda]]></Shape

986 ><Info

987 ><list-int/></Info></Node></Nodes

988 ><Edges

989 ><Edge id="E2"

990 ><From

991 >1</From

992 ><PortFrom

993 ><![CDATA[arg]]></PortFrom

994 ><To

995 >4</To

996 ><PortTo

997 ><![CDATA[interface]]></PortTo

998 ><Via

999 /><Info

1000 ><list-int/></Info></Edge

1001 ><Edge id="E3"

1002 ><From

1003 >1</From

1004 ><PortFrom

1005 ><![CDATA[res]]></PortFrom

1006 ><To

1007 >3</To

1008 ><PortTo

1009 ><![CDATA[interface]]></PortTo

1010 ><Via

1011 /><Info

1012 ><list-int/></Info></Edge

1013 ><Edge id="E4"

1014 ><From

1015 >7</From

1016 ><PortFrom

1017 ><![CDATA[var]]></PortFrom

1018 ><To

1019 >6</To

1020 ><PortTo

1021 ><![CDATA[interface]]></PortTo

1022 ><Via

1023 /><Info

1024 ><list-int/></Info></Edge

1025 ><Edge id="E5"

1026 ><From

1027 >7</From

1028 ><PortFrom

1029 ><![CDATA[body]]></PortFrom

1030 ><To

1031 >5</To

1032 ><PortTo

1033 ><![CDATA[interface]]></PortTo

1034 ><Via

1035 /><Info

1036 ><list-int/></Info></Edge

1037 ><Edge id="E6"

1038 ><From

1039 >1</From

1040 ><PortFrom

1041 ><![CDATA[func]]></PortFrom

1042 ><To

1043 >7</To

1044 ><PortTo

1045 ><![CDATA[res]]></PortTo

1046 ><Via

1047 /><Info

1048 ><list-int/></Info></Edge></Edges></Network></LHS

1049 ><RHS

1050 ><Network Width="15.0" Height="9.0"

1051 ><Info

1052 ><unit/></Info

1053 ><Nodes

1054 ><Node id="N3"

1055 ><Position X="3.278125" Y="0.579375"

1056 /><Name

1057 ><![CDATA[Node 3]]></Name

1058 ><LabelAbove

1059 >True</LabelAbove

1060 ><Shape

1061 ><![CDATA[interface]]></Shape

1062 ><Info

1063 ><list-int/></Info></Node

1064 ><Node id="N4"

1065 ><Position X="3.558333333333333" Y="5.420624999999999"

1066 /><Name

1067 ><![CDATA[Node 4]]></Name

1068 ><LabelAbove

1069 >True</LabelAbove

1070 ><Shape

1071 ><![CDATA[interface]]></Shape

1072 ><Info

1073 ><list-int/></Info></Node

1074 ><Node id="N5"

1075 ><Position X="2.537291666666667" Y="5.394166666666667"

1076 /><Name

1077 ><![CDATA[Node 5]]></Name

1078 ><LabelAbove

1079 >True</LabelAbove

1080 ><Shape

1081 ><![CDATA[interface]]></Shape

1082 ><Info

1083 ><list-int/></Info></Node

1084 ><Node id="N6"

1085 ><Position X="1.3677083333333333" Y="5.394166666666667"

1086 /><Name

1087 ><![CDATA[Node 6]]></Name

1088 ><LabelAbove

1089 >True</LabelAbove

1090 ><Shape

1091 ><![CDATA[interface]]></Shape

1092 ><Info

1093 ><list-int/></Info></Node

1094 ><Node id="N7"

1095 ><Position X="3.254375" Y="2.2225"

1096 /><Name

1097 ><![CDATA[Node 7]]></Name

1098 ><LabelAbove

1099 >True</LabelAbove

1100 ><Shape

1101 ><![CDATA[evaluation]]></Shape

1102 ><Info

1103 ><list-int/></Info></Node></Nodes

1104 ><Edges

1105 ><Edge id="E1"

1106 ><From

1107 >3</From

1108 ><PortFrom

1109 ><![CDATA[interface]]></PortFrom

1110 ><To

1111 >7</To

1112 ><PortTo

1113 ><![CDATA[res]]></PortTo

1114 ><Via

1115 /><Info

1116 ><list-int/></Info></Edge

1117 ><Edge id="E2"

1118 ><From

1119 >5</From

1120 ><PortFrom

1121 ><![CDATA[interface]]></PortFrom

1122 ><To

1123 >7</To

1124 ><PortTo

1125 ><![CDATA[arg]]></PortTo

1126 ><Via

1127 /><Info

1128 ><list-int/></Info></Edge

1129 ><Edge id="E3"

1130 ><From

1131 >6</From

1132 ><PortFrom

1133 ><![CDATA[interface]]></PortFrom

1134 ><To

1135 >4</To

1136 ><PortTo

1137 ><![CDATA[interface]]></PortTo

1138 ><Via

1139 ><Position X="1.3758333333333332" Y="4.048125"

1140 /><Position X="3.5454166666666667" Y="4.048125000000001"/></Via

1141 ><Info

1142 ><list-int/></Info></Edge></Edges></Network></RHS

1143 ><Mapping

1144 ><MappingElement lhs="3" rhs="3"

1145 /><MappingElement lhs="4" rhs="4"

1146 /><MappingElement lhs="5" rhs="5"

1147 /><MappingElement lhs="6" rhs="6"/></Mapping></INRule

1148 ><INRule

1149 ><Name

1150 ><![CDATA[Copy_Lambda]]></Name

1151 ><LHS

1152 ><Network Width="15.0" Height="9.0"

1153 ><Info

1154 ><unit/></Info

1155 ><Nodes

1156 ><Node id="N1"

1157 ><Position X="2.0" Y="2.0"

1158 /><Name

1159 ><![CDATA[Node 1]]></Name

1160 ><LabelAbove

1161 >True</LabelAbove

1162 ><Shape

1163 ><![CDATA[copy]]></Shape

1164 ><Info

1165 ><list-int/></Info></Node

1166 ><Node id="N3"

1167 ><Position X="1.1879166666666667" Y="0.5264583333333334"

1168 /><Name

1169 ><![CDATA[Node 3]]></Name

1170 ><LabelAbove

1171 >True</LabelAbove

1172 ><Shape

1173 ><![CDATA[interface]]></Shape

1174 ><Info

1175 ><list-int/></Info></Node

1176 ><Node id="N4"

1177 ><Position X="2.6377083333333338" Y="0.6058333333333333"

1178 /><Name

1179 ><![CDATA[Node 4]]></Name

1180 ><LabelAbove

1181 >True</LabelAbove

1182 ><Shape

1183 ><![CDATA[interface]]></Shape

1184 ><Info

1185 ><list-int/></Info></Node

1186 ><Node id="N5"

1187 ><Position X="2.6431250000000004" Y="5.4470833333333335"

1188 /><Name

1189 ><![CDATA[Node 5]]></Name

1190 ><LabelAbove

1191 >True</LabelAbove

1192 ><Shape

1193 ><![CDATA[interface]]></Shape

1194 ><Info

1195 ><list-int/></Info></Node

1196 ><Node id="N6"

1197 ><Position X="1.103125" Y="5.473541666666667"

1198 /><Name

1199 ><![CDATA[Node 6]]></Name

1200 ><LabelAbove

1201 >True</LabelAbove

1202 ><Shape

1203 ><![CDATA[interface]]></Shape

1204 ><Info

1205 ><list-int/></Info></Node

1206 ><Node id="N7"

1207 ><Position X="2.0108333333333337" Y="3.9952083333333337"

1208 /><Name

1209 ><![CDATA[Node 7]]></Name

1210 ><LabelAbove

1211 >True</LabelAbove

1212 ><Shape

1213 ><![CDATA[lambda]]></Shape

1214 ><Info

1215 ><list-int/></Info></Node></Nodes

1216 ><Edges

1217 ><Edge id="E2"

1218 ><From

1219 >1</From

1220 ><PortFrom

1221 ><![CDATA[snd_target]]></PortFrom

1222 ><To

1223 >4</To

1224 ><PortTo

1225 ><![CDATA[interface]]></PortTo

1226 ><Via

1227 /><Info

1228 ><list-int/></Info></Edge

1229 ><Edge id="E3"

1230 ><From

1231 >1</From

1232 ><PortFrom

1233 ><![CDATA[fst_target]]></PortFrom

1234 ><To

1235 >3</To

1236 ><PortTo

1237 ><![CDATA[interface]]></PortTo

1238 ><Via

1239 /><Info

1240 ><list-int/></Info></Edge

1241 ><Edge id="E4"

1242 ><From

1243 >7</From

1244 ><PortFrom

1245 ><![CDATA[res]]></PortFrom

1246 ><To

1247 >1</To

1248 ><PortTo

1249 ><![CDATA[src]]></PortTo

1250 ><Via

1251 /><Info

1252 ><list-int/></Info></Edge

1253 ><Edge id="E5"

1254 ><From

1255 >6</From

1256 ><PortFrom

1257 ><![CDATA[interface]]></PortFrom

1258 ><To

1259 >7</To

1260 ><PortTo

1261 ><![CDATA[var]]></PortTo

1262 ><Via

1263 /><Info

1264 ><list-int/></Info></Edge

1265 ><Edge id="E6"

1266 ><From

1267 >7</From

1268 ><PortFrom

1269 ><![CDATA[body]]></PortFrom

1270 ><To

1271 >5</To

1272 ><PortTo

1273 ><![CDATA[interface]]></PortTo

1274 ><Via

1275 /><Info

1276 ><list-int/></Info></Edge></Edges></Network></LHS

1277 ><RHS

1278 ><Network Width="15.0" Height="9.0"

1279 ><Info

1280 ><unit/></Info

1281 ><Nodes

1282 ><Node id="N3"

1283 ><Position X="1.1879166666666667" Y="0.5264583333333334"

1284 /><Name

1285 ><![CDATA[Node 3]]></Name

1286 ><LabelAbove

1287 >True</LabelAbove

1288 ><Shape

1289 ><![CDATA[interface]]></Shape

1290 ><Info

1291 ><list-int/></Info></Node

1292 ><Node id="N4"

1293 ><Position X="2.6377083333333338" Y="0.6058333333333333"

1294 /><Name

1295 ><![CDATA[Node 4]]></Name

1296 ><LabelAbove

1297 >True</LabelAbove

1298 ><Shape

1299 ><![CDATA[interface]]></Shape

1300 ><Info

1301 ><list-int/></Info></Node

1302 ><Node id="N5"

1303 ><Position X="2.6431250000000004" Y="5.473541666666668"

1304 /><Name

1305 ><![CDATA[Node 5]]></Name

1306 ><LabelAbove

1307 >True</LabelAbove

1308 ><Shape

1309 ><![CDATA[interface]]></Shape

1310 ><Info

1311 ><list-int/></Info></Node

1312 ><Node id="N6"

1313 ><Position X="1.1560416666666664" Y="5.5"

1314 /><Name

1315 ><![CDATA[Node 6]]></Name

1316 ><LabelAbove

1317 >True</LabelAbove

1318 ><Shape

1319 ><![CDATA[interface]]></Shape

1320 ><Info

1321 ><list-int/></Info></Node

1322 ><Node id="N9"

1323 ><Position X="1.2170833333333335" Y="4.206875000000001"

1324 /><Name

1325 ><![CDATA[Node 9]]></Name

1326 ><LabelAbove

1327 >True</LabelAbove

1328 ><Shape

1329 ><![CDATA[duplicator]]></Shape

1330 ><Info

1331 ><list-int/></Info></Node

1332 ><Node id="N10"

1333 ><Position X="2.6458333333333335" Y="4.2597916666666675"

1334 /><Name

1335 ><![CDATA[Node 10]]></Name

1336 ><LabelAbove

1337 >True</LabelAbove

1338 ><Shape

1339 ><![CDATA[duplicator]]></Shape

1340 ><Info

1341 ><list-int/></Info></Node

1342 ><Node id="N11"

1343 ><Position X="2.6987500000000004" Y="2.2489583333333334"

1344 /><Name

1345 ><![CDATA[Node 11]]></Name

1346 ><LabelAbove

1347 >True</LabelAbove

1348 ><Shape

1349 ><![CDATA[lambda]]></Shape

1350 ><Info

1351 ><list-int/></Info></Node

1352 ><Node id="N12"

1353 ><Position X="1.11125" Y="2.301875000000001"

1354 /><Name

1355 ><![CDATA[Node 12]]></Name

1356 ><LabelAbove

1357 >True</LabelAbove

1358 ><Shape

1359 ><![CDATA[lambda]]></Shape

1360 ><Info

1361 ><list-int/></Info></Node></Nodes

1362 ><Edges

1363 ><Edge id="E3"

1364 ><From

1365 >10</From

1366 ><PortFrom

1367 ><![CDATA[down]]></PortFrom

1368 ><To

1369 >5</To

1370 ><PortTo

1371 ><![CDATA[interface]]></PortTo

1372 ><Via

1373 /><Info

1374 ><list-int/></Info></Edge

1375 ><Edge id="E4"

1376 ><From

1377 >9</From

1378 ><PortFrom

1379 ><![CDATA[down]]></PortFrom

1380 ><To

1381 >6</To

1382 ><PortTo

1383 ><![CDATA[interface]]></PortTo

1384 ><Via

1385 /><Info

1386 ><list-int/></Info></Edge

1387 ><Edge id="E8"

1388 ><From

1389 >11</From

1390 ><PortFrom

1391 ><![CDATA[var]]></PortFrom

1392 ><To

1393 >9</To

1394 ><PortTo

1395 ><![CDATA[copy2]]></PortTo

1396 ><Via

1397 /><Info

1398 ><list-int/></Info></Edge

1399 ><Edge id="E9"

1400 ><From

1401 >11</From

1402 ><PortFrom

1403 ><![CDATA[body]]></PortFrom

1404 ><To

1405 >10</To

1406 ><PortTo

1407 ><![CDATA[copy2]]></PortTo

1408 ><Via

1409 /><Info

1410 ><list-int/></Info></Edge

1411 ><Edge id="E10"

1412 ><From

1413 >4</From

1414 ><PortFrom

1415 ><![CDATA[interface]]></PortFrom

1416 ><To

1417 >11</To

1418 ><PortTo

1419 ><![CDATA[res]]></PortTo

1420 ><Via

1421 /><Info

1422 ><list-int/></Info></Edge

1423 ><Edge id="E11"

1424 ><From

1425 >3</From

1426 ><PortFrom

1427 ><![CDATA[interface]]></PortFrom

1428 ><To

1429 >12</To

1430 ><PortTo

1431 ><![CDATA[res]]></PortTo

1432 ><Via

1433 /><Info

1434 ><list-int/></Info></Edge

1435 ><Edge id="E12"

1436 ><From

1437 >12</From

1438 ><PortFrom

1439 ><![CDATA[var]]></PortFrom

1440 ><To

1441 >9</To

1442 ><PortTo

1443 ><![CDATA[copy1]]></PortTo

1444 ><Via

1445 /><Info

1446 ><list-int/></Info></Edge

1447 ><Edge id="E13"

1448 ><From

1449 >12</From

1450 ><PortFrom

1451 ><![CDATA[body]]></PortFrom

1452 ><To

1453 >10</To

1454 ><PortTo

1455 ><![CDATA[copy1]]></PortTo

1456 ><Via

1457 /><Info

1458 ><list-int/></Info></Edge></Edges></Network></RHS

1459 ><Mapping

1460 ><MappingElement lhs="3" rhs="3"

1461 /><MappingElement lhs="4" rhs="4"

1462 /><MappingElement lhs="5" rhs="5"

1463 /><MappingElement lhs="6" rhs="6"/></Mapping></INRule

1464 ><INRule

1465 ><Name

1466 ><![CDATA[Duplicator_duplicator]]></Name

1467 ><LHS

1468 ><Network Width="15.0" Height="9.0"

1469 ><Info

1470 ><unit/></Info

1471 ><Nodes

1472 ><Node id="N1"

1473 ><Position X="2.0" Y="2.0"

1474 /><Name

1475 ><![CDATA[Node 1]]></Name

1476 ><LabelAbove

1477 >True</LabelAbove

1478 ><Shape

1479 ><![CDATA[duplicator]]></Shape

1480 ><Info

1481 ><list-int/></Info></Node

1482 ><Node id="N2"

1483 ><Position X="4.0" Y="2.0"

1484 /><Name

1485 ><![CDATA[Node 2]]></Name

1486 ><LabelAbove

1487 >True</LabelAbove

1488 ><Shape

1489 ><![CDATA[duplicator]]></Shape

1490 ><Info

1491 ><list-int/></Info></Node

1492 ><Node id="N3"

1493 ><Position X="1.690625" Y="0.5"

1494 /><Name

1495 ><![CDATA[Node 3]]></Name

1496 ><LabelAbove

1497 >True</LabelAbove

1498 ><Shape

1499 ><![CDATA[interface]]></Shape

1500 ><Info

1501 ><list-int/></Info></Node

1502 ><Node id="N4"

1503 ><Position X="2.29375" Y="0.5"

1504 /><Name

1505 ><![CDATA[Node 4]]></Name

1506 ><LabelAbove

1507 >True</LabelAbove

1508 ><Shape

1509 ><![CDATA[interface]]></Shape

1510 ><Info

1511 ><list-int/></Info></Node

1512 ><Node id="N5"

1513 ><Position X="3.2143749999999995" Y="4.045416666666667"

1514 /><Name

1515 ><![CDATA[Node 5]]></Name

1516 ><LabelAbove

1517 >True</LabelAbove

1518 ><Shape

1519 ><![CDATA[interface]]></Shape

1520 ><Info

1521 ><list-int/></Info></Node

1522 ><Node id="N6"

1523 ><Position X="4.77" Y="4.045416666666667"

1524 /><Name

1525 ><![CDATA[Node 6]]></Name

1526 ><LabelAbove

1527 >True</LabelAbove

1528 ><Shape

1529 ><![CDATA[interface]]></Shape

1530 ><Info

1531 ><list-int/></Info></Node></Nodes

1532 ><Edges

1533 ><Edge id="E1"

1534 ><From

1535 >1</From

1536 ><PortFrom

1537 ><![CDATA[down]]></PortFrom

1538 ><To

1539 >2</To

1540 ><PortTo

1541 ><![CDATA[down]]></PortTo

1542 ><Via

1543 /><Info

1544 ><list-int/></Info></Edge

1545 ><Edge id="E2"

1546 ><From

1547 >1</From

1548 ><PortFrom

1549 ><![CDATA[copy2]]></PortFrom

1550 ><To

1551 >4</To

1552 ><PortTo

1553 ><![CDATA[interface]]></PortTo

1554 ><Via

1555 /><Info

1556 ><list-int/></Info></Edge

1557 ><Edge id="E3"

1558 ><From

1559 >1</From

1560 ><PortFrom

1561 ><![CDATA[copy1]]></PortFrom

1562 ><To

1563 >3</To

1564 ><PortTo

1565 ><![CDATA[interface]]></PortTo

1566 ><Via

1567 /><Info

1568 ><list-int/></Info></Edge

1569 ><Edge id="E4"

1570 ><From

1571 >2</From

1572 ><PortFrom

1573 ><![CDATA[copy2]]></PortFrom

1574 ><To

1575 >6</To

1576 ><PortTo

1577 ><![CDATA[interface]]></PortTo

1578 ><Via

1579 ><Position X="4.7625" Y="1.6933333333333338"/></Via

1580 ><Info

1581 ><list-int/></Info></Edge

1582 ><Edge id="E5"

1583 ><From

1584 >2</From

1585 ><PortFrom

1586 ><![CDATA[copy1]]></PortFrom

1587 ><To

1588 >5</To

1589 ><PortTo

1590 ><![CDATA[interface]]></PortTo

1591 ><Via

1592 ><Position X="3.201458333333334" Y="1.6933333333333334"/></Via

1593 ><Info

1594 ><list-int/></Info></Edge></Edges></Network></LHS

1595 ><RHS

1596 ><Network Width="15.0" Height="9.0"

1597 ><Info

1598 ><unit/></Info

1599 ><Nodes

1600 ><Node id="N3"

1601 ><Position X="1.690625" Y="0.5"

1602 /><Name

1603 ><![CDATA[Node 3]]></Name

1604 ><LabelAbove

1605 >True</LabelAbove

1606 ><Shape

1607 ><![CDATA[interface]]></Shape

1608 ><Info

1609 ><list-int/></Info></Node

1610 ><Node id="N4"

1611 ><Position X="2.29375" Y="0.5"

1612 /><Name

1613 ><![CDATA[Node 4]]></Name

1614 ><LabelAbove

1615 >True</LabelAbove

1616 ><Shape

1617 ><![CDATA[interface]]></Shape

1618 ><Info

1619 ><list-int/></Info></Node

1620 ><Node id="N5"

1621 ><Position X="3.2143749999999995" Y="4.045416666666667"

1622 /><Name

1623 ><![CDATA[Node 5]]></Name

1624 ><LabelAbove

1625 >True</LabelAbove

1626 ><Shape

1627 ><![CDATA[interface]]></Shape

1628 ><Info

1629 ><list-int/></Info></Node

1630 ><Node id="N6"

1631 ><Position X="4.77" Y="4.045416666666667"

1632 /><Name

1633 ><![CDATA[Node 6]]></Name

1634 ><LabelAbove

1635 >True</LabelAbove

1636 ><Shape

1637 ><![CDATA[interface]]></Shape

1638 ><Info

1639 ><list-int/></Info></Node></Nodes

1640 ><Edges

1641 ><Edge id="E1"

1642 ><From

1643 >3</From

1644 ><PortFrom

1645 ><![CDATA[interface]]></PortFrom

1646 ><To

1647 >5</To

1648 ><PortTo

1649 ><![CDATA[interface]]></PortTo

1650 ><Via

1651 /><Info

1652 ><list-int/></Info></Edge

1653 ><Edge id="E2"

1654 ><From

1655 >4</From

1656 ><PortFrom

1657 ><![CDATA[interface]]></PortFrom

1658 ><To

1659 >6</To

1660 ><PortTo

1661 ><![CDATA[interface]]></PortTo

1662 ><Via

1663 /><Info

1664 ><list-int/></Info></Edge></Edges></Network></RHS

1665 ><Mapping

1666 ><MappingElement lhs="3" rhs="3"

1667 /><MappingElement lhs="4" rhs="4"

1668 /><MappingElement lhs="5" rhs="5"

1669 /><MappingElement lhs="6" rhs="6"/></Mapping></INRule

1670 ><INRule

1671 ><Name

1672 ><![CDATA[Erase_Lambda]]></Name

1673 ><LHS

1674 ><Network Width="15.0" Height="9.0"

1675 ><Info

1676 ><unit/></Info

1677 ><Nodes

1678 ><Node id="N1"

1679 ><Position X="2.0" Y="2.0"

1680 /><Name

1681 ><![CDATA[Node 1]]></Name

1682 ><LabelAbove

1683 >True</LabelAbove

1684 ><Shape

1685 ><![CDATA[Erase]]></Shape

1686 ><Info

1687 ><list-int/></Info></Node

1688 ><Node id="N3"

1689 ><Position X="2.590208333333334" Y="5.473541666666666"

1690 /><Name

1691 ><![CDATA[Node 3]]></Name

1692 ><LabelAbove

1693 >True</LabelAbove

1694 ><Shape

1695 ><![CDATA[interface]]></Shape

1696 ><Info

1697 ><list-int/></Info></Node

1698 ><Node id="N4"

1699 ><Position X="1.5" Y="5.5"

1700 /><Name

1701 ><![CDATA[Node 4]]></Name

1702 ><LabelAbove

1703 >True</LabelAbove

1704 ><Shape

1705 ><![CDATA[interface]]></Shape

1706 ><Info

1707 ><list-int/></Info></Node

1708 ><Node id="N5"

1709 ><Position X="2.0108333333333333" Y="4.206875"

1710 /><Name

1711 ><![CDATA[Node 5]]></Name

1712 ><LabelAbove

1713 >True</LabelAbove

1714 ><Shape

1715 ><![CDATA[lambda]]></Shape

1716 ><Info

1717 ><list-int/></Info></Node></Nodes

1718 ><Edges

1719 ><Edge id="E1"

1720 ><From

1721 >1</From

1722 ><PortFrom

1723 ><![CDATA[down]]></PortFrom

1724 ><To

1725 >5</To

1726 ><PortTo

1727 ><![CDATA[res]]></PortTo

1728 ><Via

1729 /><Info

1730 ><list-int/></Info></Edge

1731 ><Edge id="E2"

1732 ><From

1733 >5</From

1734 ><PortFrom

1735 ><![CDATA[var]]></PortFrom

1736 ><To

1737 >4</To

1738 ><PortTo

1739 ><![CDATA[interface]]></PortTo

1740 ><Via

1741 /><Info

1742 ><list-int/></Info></Edge

1743 ><Edge id="E3"

1744 ><From

1745 >5</From

1746 ><PortFrom

1747 ><![CDATA[body]]></PortFrom

1748 ><To

1749 >3</To

1750 ><PortTo

1751 ><![CDATA[interface]]></PortTo

1752 ><Via

1753 /><Info

1754 ><list-int/></Info></Edge></Edges></Network></LHS

1755 ><RHS

1756 ><Network Width="15.0" Height="9.0"

1757 ><Info

1758 ><unit/></Info

1759 ><Nodes

1760 ><Node id="N3"

1761 ><Position X="2.590208333333334" Y="5.473541666666666"

1762 /><Name

1763 ><![CDATA[Node 3]]></Name

1764 ><LabelAbove

1765 >True</LabelAbove

1766 ><Shape

1767 ><![CDATA[interface]]></Shape

1768 ><Info

1769 ><list-int/></Info></Node

1770 ><Node id="N4"

1771 ><Position X="1.5" Y="5.5"

1772 /><Name

1773 ><![CDATA[Node 4]]></Name

1774 ><LabelAbove

1775 >True</LabelAbove

1776 ><Shape

1777 ><![CDATA[interface]]></Shape

1778 ><Info

1779 ><list-int/></Info></Node

1780 ><Node id="N5"

1781 ><Position X="1.5081250000000002" Y="3.677708333333334"

1782 /><Name

1783 ><![CDATA[Node 5]]></Name

1784 ><LabelAbove

1785 >True</LabelAbove

1786 ><Shape

1787 ><![CDATA[Erase]]></Shape

1788 ><Info

1789 ><list-int/></Info></Node

1790 ><Node id="N6"

1791 ><Position X="2.5664583333333337" Y="3.6512500000000006"

1792 /><Name

1793 ><![CDATA[Node 6]]></Name

1794 ><LabelAbove

1795 >True</LabelAbove

1796 ><Shape

1797 ><![CDATA[Erase]]></Shape

1798 ><Info

1799 ><list-int/></Info></Node></Nodes

1800 ><Edges

1801 ><Edge id="E1"

1802 ><From

1803 >5</From

1804 ><PortFrom

1805 ><![CDATA[down]]></PortFrom

1806 ><To

1807 >4</To

1808 ><PortTo

1809 ><![CDATA[interface]]></PortTo

1810 ><Via

1811 /><Info

1812 ><list-int/></Info></Edge

1813 ><Edge id="E2"

1814 ><From

1815 >6</From

1816 ><PortFrom

1817 ><![CDATA[down]]></PortFrom

1818 ><To

1819 >3</To

1820 ><PortTo

1821 ><![CDATA[interface]]></PortTo

1822 ><Via

1823 /><Info

1824 ><list-int/></Info></Edge></Edges></Network></RHS

1825 ><Mapping

1826 ><MappingElement lhs="3" rhs="3"

1827 /><MappingElement lhs="4" rhs="4"/></Mapping></INRule

1828 ><INRule

1829 ><Name

1830 ><![CDATA[Erase_Application]]></Name

1831 ><LHS

1832 ><Network Width="15.0" Height="9.0"

1833 ><Info

1834 ><unit/></Info

1835 ><Nodes

1836 ><Node id="N1"

1837 ><Position X="2.0" Y="2.0"

1838 /><Name

1839 ><![CDATA[Node 1]]></Name

1840 ><LabelAbove

1841 >True</LabelAbove

1842 ><Shape

1843 ><![CDATA[Erase]]></Shape

1844 ><Info

1845 ><list-int/></Info></Node

1846 ><Node id="N2"

1847 ><Position X="4.2910416666666675" Y="2.200833333333333"

1848 /><Name

1849 ><![CDATA[Node 2]]></Name

1850 ><LabelAbove

1851 >True</LabelAbove

1852 ><Shape

1853 ><![CDATA[application]]></Shape

1854 ><Info

1855 ><list-int/></Info></Node

1856 ><Node id="N3"

1857 ><Position X="4.3100000000000005" Y="0.7381249999999997"

1858 /><Name

1859 ><![CDATA[Node 3]]></Name

1860 ><LabelAbove

1861 >True</LabelAbove

1862 ><Shape

1863 ><![CDATA[interface]]></Shape

1864 ><Info

1865 ><list-int/></Info></Node

1866 ><Node id="N4"

1867 ><Position X="4.601041666666666" Y="4.653333333333333"

1868 /><Name

1869 ><![CDATA[Node 4]]></Name

1870 ><LabelAbove

1871 >True</LabelAbove

1872 ><Shape

1873 ><![CDATA[interface]]></Shape

1874 ><Info

1875 ><list-int/></Info></Node></Nodes

1876 ><Edges

1877 ><Edge id="E1"

1878 ><From

1879 >1</From

1880 ><PortFrom

1881 ><![CDATA[down]]></PortFrom

1882 ><To

1883 >2</To

1884 ><PortTo

1885 ><![CDATA[func]]></PortTo

1886 ><Via

1887 /><Info

1888 ><list-int/></Info></Edge

1889 ><Edge id="E2"

1890 ><From

1891 >2</From

1892 ><PortFrom

1893 ><![CDATA[arg]]></PortFrom

1894 ><To

1895 >4</To

1896 ><PortTo

1897 ><![CDATA[interface]]></PortTo

1898 ><Via

1899 /><Info

1900 ><list-int/></Info></Edge

1901 ><Edge id="E3"

1902 ><From

1903 >2</From

1904 ><PortFrom

1905 ><![CDATA[res]]></PortFrom

1906 ><To

1907 >3</To

1908 ><PortTo

1909 ><![CDATA[interface]]></PortTo

1910 ><Via

1911 /><Info

1912 ><list-int/></Info></Edge></Edges></Network></LHS

1913 ><RHS

1914 ><Network Width="15.0" Height="9.0"

1915 ><Info

1916 ><unit/></Info

1917 ><Nodes

1918 ><Node id="N3"

1919 ><Position X="4.3100000000000005" Y="0.7381249999999997"

1920 /><Name

1921 ><![CDATA[Node 3]]></Name

1922 ><LabelAbove

1923 >True</LabelAbove

1924 ><Shape

1925 ><![CDATA[interface]]></Shape

1926 ><Info

1927 ><list-int/></Info></Node

1928 ><Node id="N4"

1929 ><Position X="4.601041666666666" Y="4.653333333333333"

1930 /><Name

1931 ><![CDATA[Node 4]]></Name

1932 ><LabelAbove

1933 >True</LabelAbove

1934 ><Shape

1935 ><![CDATA[interface]]></Shape

1936 ><Info

1937 ><list-int/></Info></Node

1938 ><Node id="N5"

1939 ><Position X="2.275416666666667" Y="1.27"

1940 /><Name

1941 ><![CDATA[Node 5]]></Name

1942 ><LabelAbove

1943 >True</LabelAbove

1944 ><Shape

1945 ><![CDATA[Erase]]></Shape

1946 ><Info

1947 ><list-int/></Info></Node

1948 ><Node id="N6"

1949 ><Position X="4.603750000000001" Y="3.2808333333333337"

1950 /><Name

1951 ><![CDATA[Node 6]]></Name

1952 ><LabelAbove

1953 >True</LabelAbove

1954 ><Shape

1955 ><![CDATA[Erase]]></Shape

1956 ><Info

1957 ><list-int/></Info></Node></Nodes

1958 ><Edges

1959 ><Edge id="E1"

1960 ><From

1961 >5</From

1962 ><PortFrom

1963 ><![CDATA[down]]></PortFrom

1964 ><To

1965 >3</To

1966 ><PortTo

1967 ><![CDATA[interface]]></PortTo

1968 ><Via

1969 ><Position X="4.286250000000001" Y="1.74625"/></Via

1970 ><Info

1971 ><list-int/></Info></Edge

1972 ><Edge id="E2"

1973 ><From

1974 >6</From

1975 ><PortFrom

1976 ><![CDATA[down]]></PortFrom

1977 ><To

1978 >4</To

1979 ><PortTo

1980 ><![CDATA[interface]]></PortTo

1981 ><Via

1982 /><Info

1983 ><list-int/></Info></Edge></Edges></Network></RHS

1984 ><Mapping

1985 ><MappingElement lhs="3" rhs="3"

1986 /><MappingElement lhs="4" rhs="4"/></Mapping></INRule

1987 ><INRule

1988 ><Name

1989 ><![CDATA[Erase_Evaluator]]></Name

1990 ><LHS

1991 ><Network Width="15.0" Height="9.0"

1992 ><Info

1993 ><unit/></Info

1994 ><Nodes

1995 ><Node id="N1"

1996 ><Position X="2.0" Y="2.0"

1997 /><Name

1998 ><![CDATA[Node 1]]></Name

1999 ><LabelAbove

2000 >True</LabelAbove

2001 ><Shape

2002 ><![CDATA[Erase]]></Shape

2003 ><Info

2004 ><list-int/></Info></Node

2005 ><Node id="N2"

2006 ><Position X="4.0" Y="2.0"

2007 /><Name

2008 ><![CDATA[Node 2]]></Name

2009 ><LabelAbove

2010 >True</LabelAbove

2011 ><Shape

2012 ><![CDATA[evaluation]]></Shape

2013 ><Info

2014 ><list-int/></Info></Node

2015 ><Node id="N3"

2016 ><Position X="4.018958333333334" Y="0.6058333333333334"

2017 /><Name

2018 ><![CDATA[Node 3]]></Name

2019 ><LabelAbove

2020 >True</LabelAbove

2021 ><Shape

2022 ><![CDATA[interface]]></Shape

2023 ><Info

2024 ><list-int/></Info></Node></Nodes

2025 ><Edges

2026 ><Edge id="E1"

2027 ><From

2028 >1</From

2029 ><PortFrom

2030 ><![CDATA[down]]></PortFrom

2031 ><To

2032 >2</To

2033 ><PortTo

2034 ><![CDATA[arg]]></PortTo

2035 ><Via

2036 /><Info

2037 ><list-int/></Info></Edge

2038 ><Edge id="E2"

2039 ><From

2040 >2</From

2041 ><PortFrom

2042 ><![CDATA[res]]></PortFrom

2043 ><To

2044 >3</To

2045 ><PortTo

2046 ><![CDATA[interface]]></PortTo

2047 ><Via

2048 /><Info

2049 ><list-int/></Info></Edge></Edges></Network></LHS

2050 ><RHS

2051 ><Network Width="15.0" Height="9.0"

2052 ><Info

2053 ><unit/></Info

2054 ><Nodes

2055 ><Node id="N3"

2056 ><Position X="4.018958333333334" Y="0.6058333333333334"

2057 /><Name

2058 ><![CDATA[Node 3]]></Name

2059 ><LabelAbove

2060 >True</LabelAbove

2061 ><Shape

2062 ><![CDATA[interface]]></Shape

2063 ><Info

2064 ><list-int/></Info></Node

2065 ><Node id="N4"

2066 ><Position X="2.54" Y="1.825625"

2067 /><Name

2068 ><![CDATA[Node 4]]></Name

2069 ><LabelAbove

2070 >True</LabelAbove

2071 ><Shape

2072 ><![CDATA[Erase]]></Shape

2073 ><Info

2074 ><list-int/></Info></Node></Nodes

2075 ><Edges

2076 ><Edge id="E1"

2077 ><From

2078 >4</From

2079 ><PortFrom

2080 ><![CDATA[down]]></PortFrom

2081 ><To

2082 >3</To

2083 ><PortTo

2084 ><![CDATA[interface]]></PortTo

2085 ><Via

2086 ><Position X="3.9952083333333337" Y="2.328333333333333"/></Via

2087 ><Info

2088 ><list-int/></Info></Edge></Edges></Network></RHS

2089 ><Mapping

2090 ><MappingElement lhs="3" rhs="3"/></Mapping></INRule

2091 ><INRule

2092 ><Name

2093 ><![CDATA[Erase_preApplication]]></Name

2094 ><LHS

2095 ><Network Width="15.0" Height="9.0"

2096 ><Info

2097 ><unit/></Info

2098 ><Nodes

2099 ><Node id="N1"

2100 ><Position X="2.0" Y="2.0"

2101 /><Name

2102 ><![CDATA[Node 1]]></Name

2103 ><LabelAbove

2104 >True</LabelAbove

2105 ><Shape

2106 ><![CDATA[Erase]]></Shape

2107 ><Info

2108 ><list-int/></Info></Node

2109 ><Node id="N3"

2110 ><Position X="2.4843750000000004" Y="5.473541666666668"

2111 /><Name

2112 ><![CDATA[Node 3]]></Name

2113 ><LabelAbove

2114 >True</LabelAbove

2115 ><Shape

2116 ><![CDATA[interface]]></Shape

2117 ><Info

2118 ><list-int/></Info></Node

2119 ><Node id="N4"

2120 ><Position X="1.5" Y="5.5"

2121 /><Name

2122 ><![CDATA[Node 4]]></Name

2123 ><LabelAbove

2124 >True</LabelAbove

2125 ><Shape

2126 ><![CDATA[interface]]></Shape

2127 ><Info

2128 ><list-int/></Info></Node

2129 ><Node id="N5"

2130 ><Position X="1.9843750000000002" Y="4.1275"

2131 /><Name

2132 ><![CDATA[Node 5]]></Name

2133 ><LabelAbove

2134 >True</LabelAbove

2135 ><Shape

2136 ><![CDATA[beforeApplication]]></Shape

2137 ><Info

2138 ><list-int/></Info></Node></Nodes

2139 ><Edges

2140 ><Edge id="E1"

2141 ><From

2142 >1</From

2143 ><PortFrom

2144 ><![CDATA[down]]></PortFrom

2145 ><To

2146 >5</To

2147 ><PortTo

2148 ><![CDATA[res]]></PortTo

2149 ><Via

2150 /><Info

2151 ><list-int/></Info></Edge

2152 ><Edge id="E2"

2153 ><From

2154 >5</From

2155 ><PortFrom

2156 ><![CDATA[func]]></PortFrom

2157 ><To

2158 >4</To

2159 ><PortTo

2160 ><![CDATA[interface]]></PortTo

2161 ><Via

2162 /><Info

2163 ><list-int/></Info></Edge

2164 ><Edge id="E3"

2165 ><From

2166 >5</From

2167 ><PortFrom

2168 ><![CDATA[arg]]></PortFrom

2169 ><To

2170 >3</To

2171 ><PortTo

2172 ><![CDATA[interface]]></PortTo

2173 ><Via

2174 /><Info

2175 ><list-int/></Info></Edge></Edges></Network></LHS

2176 ><RHS

2177 ><Network Width="15.0" Height="9.0"

2178 ><Info

2179 ><unit/></Info

2180 ><Nodes

2181 ><Node id="N3"

2182 ><Position X="2.4843750000000004" Y="5.473541666666668"

2183 /><Name

2184 ><![CDATA[Node 3]]></Name

2185 ><LabelAbove

2186 >True</LabelAbove

2187 ><Shape

2188 ><![CDATA[interface]]></Shape

2189 ><Info

2190 ><list-int/></Info></Node

2191 ><Node id="N4"

2192 ><Position X="1.5" Y="5.5"

2193 /><Name

2194 ><![CDATA[Node 4]]></Name

2195 ><LabelAbove

2196 >True</LabelAbove

2197 ><Shape

2198 ><![CDATA[interface]]></Shape

2199 ><Info

2200 ><list-int/></Info></Node

2201 ><Node id="N5"

2202 ><Position X="1.3229166666666667" Y="3.5983333333333336"

2203 /><Name

2204 ><![CDATA[Node 5]]></Name

2205 ><LabelAbove

2206 >True</LabelAbove

2207 ><Shape

2208 ><![CDATA[Erase]]></Shape

2209 ><Info

2210 ><list-int/></Info></Node

2211 ><Node id="N6"

2212 ><Position X="2.8045833333333334" Y="3.5718750000000004"

2213 /><Name

2214 ><![CDATA[Node 6]]></Name

2215 ><LabelAbove

2216 >True</LabelAbove

2217 ><Shape

2218 ><![CDATA[Erase]]></Shape

2219 ><Info

2220 ><list-int/></Info></Node></Nodes

2221 ><Edges

2222 ><Edge id="E1"

2223 ><From

2224 >5</From

2225 ><PortFrom

2226 ><![CDATA[down]]></PortFrom

2227 ><To

2228 >4</To

2229 ><PortTo

2230 ><![CDATA[interface]]></PortTo

2231 ><Via

2232 /><Info

2233 ><list-int/></Info></Edge

2234 ><Edge id="E2"

2235 ><From

2236 >6</From

2237 ><PortFrom

2238 ><![CDATA[down]]></PortFrom

2239 ><To

2240 >3</To

2241 ><PortTo

2242 ><![CDATA[interface]]></PortTo

2243 ><Via

2244 /><Info

2245 ><list-int/></Info></Edge></Edges></Network></RHS

2246 ><Mapping

2247 ><MappingElement lhs="3" rhs="3"

2248 /><MappingElement lhs="4" rhs="4"/></Mapping></INRule

2249 ><INRule

2250 ><Name

2251 ><![CDATA[Erase_Copy]]></Name

2252 ><LHS

2253 ><Network Width="15.0" Height="9.0"

2254 ><Info

2255 ><unit/></Info

2256 ><Nodes

2257 ><Node id="N1"

2258 ><Position X="2.0" Y="2.0"

2259 /><Name

2260 ><![CDATA[Node 1]]></Name

2261 ><LabelAbove

2262 >True</LabelAbove

2263 ><Shape

2264 ><![CDATA[Erase]]></Shape

2265 ><Info

2266 ><list-int/></Info></Node

2267 ><Node id="N2"

2268 ><Position X="4.0529166666666665" Y="2.211666666666667"

2269 /><Name

2270 ><![CDATA[Node 2]]></Name

2271 ><LabelAbove

2272 >True</LabelAbove

2273 ><Shape

2274 ><![CDATA[copy]]></Shape

2275 ><Info

2276 ><list-int/></Info></Node

2277 ><Node id="N3"

2278 ><Position X="3.4104166666666673" Y="0.8174999999999999"

2279 /><Name

2280 ><![CDATA[Node 3]]></Name

2281 ><LabelAbove

2282 >True</LabelAbove

2283 ><Shape

2284 ><![CDATA[interface]]></Shape

2285 ><Info

2286 ><list-int/></Info></Node

2287 ><Node id="N4"

2288 ><Position X="4.860208333333334" Y="0.8175000000000001"

2289 /><Name

2290 ><![CDATA[Node 4]]></Name

2291 ><LabelAbove

2292 >True</LabelAbove

2293 ><Shape

2294 ><![CDATA[interface]]></Shape

2295 ><Info

2296 ><list-int/></Info></Node></Nodes

2297 ><Edges

2298 ><Edge id="E1"

2299 ><From

2300 >1</From

2301 ><PortFrom

2302 ><![CDATA[down]]></PortFrom

2303 ><To

2304 >2</To

2305 ><PortTo

2306 ><![CDATA[src]]></PortTo

2307 ><Via

2308 /><Info

2309 ><list-int/></Info></Edge

2310 ><Edge id="E2"

2311 ><From

2312 >2</From

2313 ><PortFrom

2314 ><![CDATA[snd_target]]></PortFrom

2315 ><To

2316 >4</To

2317 ><PortTo

2318 ><![CDATA[interface]]></PortTo

2319 ><Via

2320 /><Info

2321 ><list-int/></Info></Edge

2322 ><Edge id="E3"

2323 ><From

2324 >2</From

2325 ><PortFrom

2326 ><![CDATA[fst_target]]></PortFrom

2327 ><To

2328 >3</To

2329 ><PortTo

2330 ><![CDATA[interface]]></PortTo

2331 ><Via

2332 /><Info

2333 ><list-int/></Info></Edge></Edges></Network></LHS

2334 ><RHS

2335 ><Network Width="15.0" Height="9.0"

2336 ><Info

2337 ><unit/></Info

2338 ><Nodes

2339 ><Node id="N3"

2340 ><Position X="3.4104166666666673" Y="0.8174999999999999"

2341 /><Name

2342 ><![CDATA[Node 3]]></Name

2343 ><LabelAbove

2344 >True</LabelAbove

2345 ><Shape

2346 ><![CDATA[interface]]></Shape

2347 ><Info

2348 ><list-int/></Info></Node

2349 ><Node id="N4"

2350 ><Position X="4.860208333333334" Y="0.8175000000000001"

2351 /><Name

2352 ><![CDATA[Node 4]]></Name

2353 ><LabelAbove

2354 >True</LabelAbove

2355 ><Shape

2356 ><![CDATA[interface]]></Shape

2357 ><Info

2358 ><list-int/></Info></Node

2359 ><Node id="N5"

2360 ><Position X="2.354791666666667" Y="2.672291666666667"

2361 /><Name

2362 ><![CDATA[Node 5]]></Name

2363 ><LabelAbove

2364 >True</LabelAbove

2365 ><Shape

2366 ><![CDATA[Erase]]></Shape

2367 ><Info

2368 ><list-int/></Info></Node

2369 ><Node id="N6"

2370 ><Position X="6.164791666666667" Y="2.6722916666666667"

2371 /><Name

2372 ><![CDATA[Node 6]]></Name

2373 ><LabelAbove

2374 >True</LabelAbove

2375 ><Shape

2376 ><![CDATA[Erase]]></Shape

2377 ><Info

2378 ><list-int/></Info></Node></Nodes

2379 ><Edges

2380 ><Edge id="E1"

2381 ><From

2382 >5</From

2383 ><PortFrom

2384 ><![CDATA[down]]></PortFrom

2385 ><To

2386 >3</To

2387 ><PortTo

2388 ><![CDATA[interface]]></PortTo

2389 ><Via

2390 ><Position X="3.3866666666666667" Y="3.148541666666667"/></Via

2391 ><Info

2392 ><list-int/></Info></Edge

2393 ><Edge id="E2"

2394 ><From

2395 >6</From

2396 ><PortFrom

2397 ><![CDATA[down]]></PortFrom

2398 ><To

2399 >4</To

2400 ><PortTo

2401 ><![CDATA[interface]]></PortTo

2402 ><Via

2403 ><Position X="4.841875000000001" Y="3.175"/></Via

2404 ><Info

2405 ><list-int/></Info></Edge></Edges></Network></RHS

2406 ><Mapping

2407 ><MappingElement lhs="3" rhs="3"

2408 /><MappingElement lhs="4" rhs="4"/></Mapping></INRule

2409 ><INRule

2410 ><Name

2411 ><![CDATA[Erase_Duplicator]]></Name

2412 ><LHS

2413 ><Network Width="15.0" Height="9.0"

2414 ><Info

2415 ><unit/></Info

2416 ><Nodes

2417 ><Node id="N1"

2418 ><Position X="2.0" Y="2.0"

2419 /><Name

2420 ><![CDATA[Node 1]]></Name

2421 ><LabelAbove

2422 >True</LabelAbove

2423 ><Shape

2424 ><![CDATA[Erase]]></Shape

2425 ><Info

2426 ><list-int/></Info></Node

2427 ><Node id="N2"

2428 ><Position X="4.0" Y="2.0"

2429 /><Name

2430 ><![CDATA[Node 2]]></Name

2431 ><LabelAbove

2432 >True</LabelAbove

2433 ><Shape

2434 ><![CDATA[duplicator]]></Shape

2435 ><Info

2436 ><list-int/></Info></Node

2437 ><Node id="N3"

2438 ><Position X="2.8283333333333336" Y="0.6058333333333332"

2439 /><Name

2440 ><![CDATA[Node 3]]></Name

2441 ><LabelAbove

2442 >True</LabelAbove

2443 ><Shape

2444 ><![CDATA[interface]]></Shape

2445 ><Info

2446 ><list-int/></Info></Node

2447 ><Node id="N4"

2448 ><Position X="5.124791666666667" Y="0.6322916666666667"

2449 /><Name

2450 ><![CDATA[Node 4]]></Name

2451 ><LabelAbove

2452 >True</LabelAbove

2453 ><Shape

2454 ><![CDATA[interface]]></Shape

2455 ><Info

2456 ><list-int/></Info></Node></Nodes

2457 ><Edges

2458 ><Edge id="E1"

2459 ><From

2460 >1</From

2461 ><PortFrom

2462 ><![CDATA[down]]></PortFrom

2463 ><To

2464 >2</To

2465 ><PortTo

2466 ><![CDATA[down]]></PortTo

2467 ><Via

2468 /><Info

2469 ><list-int/></Info></Edge

2470 ><Edge id="E2"

2471 ><From

2472 >2</From

2473 ><PortFrom

2474 ><![CDATA[copy2]]></PortFrom

2475 ><To

2476 >4</To

2477 ><PortTo

2478 ><![CDATA[interface]]></PortTo

2479 ><Via

2480 /><Info

2481 ><list-int/></Info></Edge

2482 ><Edge id="E3"

2483 ><From

2484 >2</From

2485 ><PortFrom

2486 ><![CDATA[copy1]]></PortFrom

2487 ><To

2488 >3</To

2489 ><PortTo

2490 ><![CDATA[interface]]></PortTo

2491 ><Via

2492 /><Info

2493 ><list-int/></Info></Edge></Edges></Network></LHS

2494 ><RHS

2495 ><Network Width="15.0" Height="9.0"

2496 ><Info

2497 ><unit/></Info

2498 ><Nodes

2499 ><Node id="N3"

2500 ><Position X="2.8283333333333336" Y="0.6058333333333332"

2501 /><Name

2502 ><![CDATA[Node 3]]></Name

2503 ><LabelAbove

2504 >True</LabelAbove

2505 ><Shape

2506 ><![CDATA[interface]]></Shape

2507 ><Info

2508 ><list-int/></Info></Node

2509 ><Node id="N4"

2510 ><Position X="5.124791666666667" Y="0.6322916666666667"

2511 /><Name

2512 ><![CDATA[Node 4]]></Name

2513 ><LabelAbove

2514 >True</LabelAbove

2515 ><Shape

2516 ><![CDATA[interface]]></Shape

2517 ><Info

2518 ><list-int/></Info></Node

2519 ><Node id="N5"

2520 ><Position X="1.508125" Y="2.3283333333333336"

2521 /><Name

2522 ><![CDATA[Node 5]]></Name

2523 ><LabelAbove

2524 >True</LabelAbove

2525 ><Shape

2526 ><![CDATA[Erase]]></Shape

2527 ><Info

2528 ><list-int/></Info></Node

2529 ><Node id="N6"

2530 ><Position X="6.588125000000001" Y="2.3283333333333336"

2531 /><Name

2532 ><![CDATA[Node 6]]></Name

2533 ><LabelAbove

2534 >True</LabelAbove

2535 ><Shape

2536 ><![CDATA[Erase]]></Shape

2537 ><Info

2538 ><list-int/></Info></Node></Nodes

2539 ><Edges

2540 ><Edge id="E1"

2541 ><From

2542 >3</From

2543 ><PortFrom

2544 ><![CDATA[interface]]></PortFrom

2545 ><To

2546 >5</To

2547 ><PortTo

2548 ><![CDATA[down]]></PortTo

2549 ><Via

2550 ><Position X="2.804583333333334" Y="2.8045833333333334"/></Via

2551 ><Info

2552 ><list-int/></Info></Edge

2553 ><Edge id="E2"

2554 ><From

2555 >4</From

2556 ><PortFrom

2557 ><![CDATA[interface]]></PortFrom

2558 ><To

2559 >6</To

2560 ><PortTo

2561 ><![CDATA[down]]></PortTo

2562 ><Via

2563 ><Position X="5.106458333333333" Y="2.8045833333333334"/></Via

2564 ><Info

2565 ><list-int/></Info></Edge></Edges></Network></RHS

2566 ><Mapping

2567 ><MappingElement lhs="3" rhs="3"

2568 /><MappingElement lhs="4" rhs="4"/></Mapping></INRule

2569 ><INRule

2570 ><Name

2571 ><![CDATA[Erase_Erase]]></Name

2572 ><LHS

2573 ><Network Width="15.0" Height="9.0"

2574 ><Info

2575 ><unit/></Info

2576 ><Nodes

2577 ><Node id="N1"

2578 ><Position X="2.0" Y="2.0"

2579 /><Name

2580 ><![CDATA[Node 1]]></Name

2581 ><LabelAbove

2582 >True</LabelAbove

2583 ><Shape

2584 ><![CDATA[Erase]]></Shape

2585 ><Info

2586 ><list-int/></Info></Node

2587 ><Node id="N2"

2588 ><Position X="4.0" Y="2.0"

2589 /><Name

2590 ><![CDATA[Node 2]]></Name

2591 ><LabelAbove

2592 >True</LabelAbove

2593 ><Shape

2594 ><![CDATA[Erase]]></Shape

2595 ><Info

2596 ><list-int/></Info></Node></Nodes

2597 ><Edges

2598 ><Edge id="E1"

2599 ><From

2600 >1</From

2601 ><PortFrom

2602 ><![CDATA[down]]></PortFrom

2603 ><To

2604 >2</To

2605 ><PortTo

2606 ><![CDATA[down]]></PortTo

2607 ><Via

2608 /><Info

2609 ><list-int/></Info></Edge></Edges></Network></LHS

2610 ><RHS

2611 ><Network Width="15.0" Height="9.0"

2612 ><Info

2613 ><unit/></Info

2614 ><Nodes

2615 /><Edges/></Network></RHS

2616 ><Mapping/></INRule

2617 ><INRule

2618 ><Name

2619 ><![CDATA[Copy_Application]]></Name

2620 ><LHS

2621 ><Network Width="15.0" Height="9.0"

2622 ><Info

2623 ><unit/></Info

2624 ><Nodes

2625 ><Node id="N1"

2626 ><Position X="2.0" Y="2.0"

2627 /><Name

2628 ><![CDATA[Node 1]]></Name

2629 ><LabelAbove

2630 >True</LabelAbove

2631 ><Shape

2632 ><![CDATA[copy]]></Shape

2633 ><Info

2634 ><list-int/></Info></Node

2635 ><Node id="N2"

2636 ><Position X="3.6560416666666664" Y="2.88875"

2637 /><Name

2638 ><![CDATA[Node 2]]></Name

2639 ><LabelAbove

2640 >True</LabelAbove

2641 ><Shape

2642 ><![CDATA[application]]></Shape

2643 ><Info

2644 ><list-int/></Info></Node

2645 ><Node id="N3"

2646 ><Position X="1.5583333333333336" Y="0.5264583333333334"

2647 /><Name

2648 ><![CDATA[Node 3]]></Name

2649 ><LabelAbove

2650 >True</LabelAbove

2651 ><Shape

2652 ><![CDATA[interface]]></Shape

2653 ><Info

2654 ><list-int/></Info></Node

2655 ><Node id="N4"

2656 ><Position X="2.5318750000000003" Y="0.5529166666666667"

2657 /><Name

2658 ><![CDATA[Node 4]]></Name

2659 ><LabelAbove

2660 >True</LabelAbove

2661 ><Shape

2662 ><![CDATA[interface]]></Shape

2663 ><Info

2664 ><list-int/></Info></Node

2665 ><Node id="N5"

2666 ><Position X="2.6587500000000004" Y="5.130208333333333"

2667 /><Name

2668 ><![CDATA[Node 5]]></Name

2669 ><LabelAbove

2670 >True</LabelAbove

2671 ><Shape

2672 ><![CDATA[interface]]></Shape

2673 ><Info

2674 ><list-int/></Info></Node

2675 ><Node id="N6"

2676 ><Position X="3.9660416666666674" Y="5.1295833333333345"

2677 /><Name

2678 ><![CDATA[Node 6]]></Name

2679 ><LabelAbove

2680 >True</LabelAbove

2681 ><Shape

2682 ><![CDATA[interface]]></Shape

2683 ><Info

2684 ><list-int/></Info></Node></Nodes

2685 ><Edges

2686 ><Edge id="E1"

2687 ><From

2688 >1</From

2689 ><PortFrom

2690 ><![CDATA[src]]></PortFrom

2691 ><To

2692 >2</To

2693 ><PortTo

2694 ><![CDATA[func]]></PortTo

2695 ><Via

2696 ><Position X="1.9843750000000009" Y="3.1750000000000003"/></Via

2697 ><Info

2698 ><list-int/></Info></Edge

2699 ><Edge id="E2"

2700 ><From

2701 >1</From

2702 ><PortFrom

2703 ><![CDATA[snd_target]]></PortFrom

2704 ><To

2705 >4</To

2706 ><PortTo

2707 ><![CDATA[interface]]></PortTo

2708 ><Via

2709 /><Info

2710 ><list-int/></Info></Edge

2711 ><Edge id="E3"

2712 ><From

2713 >1</From

2714 ><PortFrom

2715 ><![CDATA[fst_target]]></PortFrom

2716 ><To

2717 >3</To

2718 ><PortTo

2719 ><![CDATA[interface]]></PortTo

2720 ><Via

2721 /><Info

2722 ><list-int/></Info></Edge

2723 ><Edge id="E4"

2724 ><From

2725 >2</From

2726 ><PortFrom

2727 ><![CDATA[arg]]></PortFrom

2728 ><To

2729 >6</To

2730 ><PortTo

2731 ><![CDATA[interface]]></PortTo

2732 ><Via

2733 /><Info

2734 ><list-int/></Info></Edge

2735 ><Edge id="E5"

2736 ><From

2737 >2</From

2738 ><PortFrom

2739 ><![CDATA[res]]></PortFrom

2740 ><To

2741 >5</To

2742 ><PortTo

2743 ><![CDATA[interface]]></PortTo

2744 ><Via

2745 ><Position X="2.6458333333333335" Y="2.513541666666667"/></Via

2746 ><Info

2747 ><list-int/></Info></Edge></Edges></Network></LHS

2748 ><RHS

2749 ><Network Width="15.0" Height="9.0"

2750 ><Info

2751 ><unit/></Info

2752 ><Nodes

2753 ><Node id="N3"

2754 ><Position X="1.5583333333333336" Y="0.5264583333333334"

2755 /><Name

2756 ><![CDATA[Node 3]]></Name

2757 ><LabelAbove

2758 >True</LabelAbove

2759 ><Shape

2760 ><![CDATA[interface]]></Shape

2761 ><Info

2762 ><list-int/></Info></Node

2763 ><Node id="N4"

2764 ><Position X="4.913125" Y="0.3677083333333333"

2765 /><Name

2766 ><![CDATA[Node 4]]></Name

2767 ><LabelAbove

2768 >True</LabelAbove

2769 ><Shape

2770 ><![CDATA[interface]]></Shape

2771 ><Info

2772 ><list-int/></Info></Node

2773 ><Node id="N5"

2774 ><Position X="3.0291666666666663" Y="5.050833333333333"

2775 /><Name

2776 ><![CDATA[Node 5]]></Name

2777 ><LabelAbove

2778 >True</LabelAbove

2779 ><Shape

2780 ><![CDATA[interface]]></Shape

2781 ><Info

2782 ><list-int/></Info></Node

2783 ><Node id="N6"

2784 ><Position X="6.05625" Y="4.997291666666667"

2785 /><Name

2786 ><![CDATA[Node 6]]></Name

2787 ><LabelAbove

2788 >True</LabelAbove

2789 ><Shape

2790 ><![CDATA[interface]]></Shape

2791 ><Info

2792 ><list-int/></Info></Node

2793 ><Node id="N7"

2794 ><Position X="6.058958333333335" Y="3.810000000000001"

2795 /><Name

2796 ><![CDATA[Node 7]]></Name

2797 ><LabelAbove

2798 >True</LabelAbove

2799 ><Shape

2800 ><![CDATA[copy]]></Shape

2801 ><Info

2802 ><list-int/></Info></Node

2803 ><Node id="N8"

2804 ><Position X="3.0427083333333336" Y="3.8364583333333333"

2805 /><Name

2806 ><![CDATA[Node 8]]></Name

2807 ><LabelAbove

2808 >True</LabelAbove

2809 ><Shape

2810 ><![CDATA[copy]]></Shape

2811 ><Info

2812 ><list-int/></Info></Node

2813 ><Node id="N9"

2814 ><Position X="2.7781250000000006" Y="1.6933333333333338"

2815 /><Name

2816 ><![CDATA[Node 9]]></Name

2817 ><LabelAbove

2818 >True</LabelAbove

2819 ><Shape

2820 ><![CDATA[application]]></Shape

2821 ><Info

2822 ><list-int/></Info></Node

2823 ><Node id="N10"

2824 ><Position X="6.058958333333334" Y="1.7197916666666666"

2825 /><Name

2826 ><![CDATA[Node 10]]></Name

2827 ><LabelAbove

2828 >True</LabelAbove

2829 ><Shape

2830 ><![CDATA[application]]></Shape

2831 ><Info

2832 ><list-int/></Info></Node></Nodes

2833 ><Edges

2834 ><Edge id="E1"

2835 ><From

2836 >9</From

2837 ><PortFrom

2838 ><![CDATA[func]]></PortFrom

2839 ><To

2840 >3</To

2841 ><PortTo

2842 ><![CDATA[interface]]></PortTo

2843 ><Via

2844 ><Position X="1.5345833333333332" Y="1.9843750000000004"/></Via

2845 ><Info

2846 ><list-int/></Info></Edge

2847 ><Edge id="E2"

2848 ><From

2849 >10</From

2850 ><PortFrom

2851 ><![CDATA[func]]></PortFrom

2852 ><To

2853 >4</To

2854 ><PortTo

2855 ><![CDATA[interface]]></PortTo

2856 ><Via

2857 ><Position X="4.894791666666666" Y="2.0108333333333333"/></Via

2858 ><Info

2859 ><list-int/></Info></Edge

2860 ><Edge id="E3"

2861 ><From

2862 >7</From

2863 ><PortFrom

2864 ><![CDATA[src]]></PortFrom

2865 ><To

2866 >6</To

2867 ><PortTo

2868 ><![CDATA[interface]]></PortTo

2869 ><Via

2870 /><Info

2871 ><list-int/></Info></Edge

2872 ><Edge id="E4"

2873 ><From

2874 >8</From

2875 ><PortFrom

2876 ><![CDATA[src]]></PortFrom

2877 ><To

2878 >5</To

2879 ><PortTo

2880 ><![CDATA[interface]]></PortTo

2881 ><Via

2882 /><Info

2883 ><list-int/></Info></Edge

2884 ><Edge id="E5"

2885 ><From

2886 >10</From

2887 ><PortFrom

2888 ><![CDATA[res]]></PortFrom

2889 ><To

2890 >8</To

2891 ><PortTo

2892 ><![CDATA[snd_target]]></PortTo

2893 ><Via

2894 ><Position X="4.339166666666666" Y="1.3758333333333332"/></Via

2895 ><Info

2896 ><list-int/></Info></Edge

2897 ><Edge id="E6"

2898 ><From

2899 >9</From

2900 ><PortFrom

2901 ><![CDATA[res]]></PortFrom

2902 ><To

2903 >8</To

2904 ><PortTo

2905 ><![CDATA[fst_target]]></PortTo

2906 ><Via

2907 ><Position X="1.9314583333333337" Y="1.349375"

2908 /><Position X="1.9314583333333337" Y="3.5189583333333334"/></Via

2909 ><Info

2910 ><list-int/></Info></Edge

2911 ><Edge id="E7"

2912 ><From

2913 >9</From

2914 ><PortFrom

2915 ><![CDATA[arg]]></PortFrom

2916 ><To

2917 >7</To

2918 ><PortTo

2919 ><![CDATA[fst_target]]></PortTo

2920 ><Via

2921 /><Info

2922 ><list-int/></Info></Edge

2923 ><Edge id="E8"

2924 ><From

2925 >10</From

2926 ><PortFrom

2927 ><![CDATA[arg]]></PortFrom

2928 ><To

2929 >7</To

2930 ><PortTo

2931 ><![CDATA[snd_target]]></PortTo

2932 ><Via

2933 /><Info

2934 ><list-int/></Info></Edge></Edges></Network></RHS

2935 ><Mapping

2936 ><MappingElement lhs="3" rhs="3"

2937 /><MappingElement lhs="4" rhs="4"

2938 /><MappingElement lhs="5" rhs="5"

2939 /><MappingElement lhs="6" rhs="6"/></Mapping></INRule

2940 ><INRule

2941 ><Name

2942 ><![CDATA[Copy_Evaluator]]></Name

2943 ><LHS

2944 ><Network Width="15.0" Height="9.0"

2945 ><Info

2946 ><unit/></Info

2947 ><Nodes

2948 ><Node id="N1"

2949 ><Position X="2.0" Y="2.0"

2950 /><Name

2951 ><![CDATA[Node 1]]></Name

2952 ><LabelAbove

2953 >True</LabelAbove

2954 ><Shape

2955 ><![CDATA[copy]]></Shape

2956 ><Info

2957 ><list-int/></Info></Node

2958 ><Node id="N2"

2959 ><Position X="4.026458333333333" Y="1.7883333333333333"

2960 /><Name

2961 ><![CDATA[Node 2]]></Name

2962 ><LabelAbove

2963 >True</LabelAbove

2964 ><Shape

2965 ><![CDATA[evaluation]]></Shape

2966 ><Info

2967 ><list-int/></Info></Node

2968 ><Node id="N3"

2969 ><Position X="1.4789583333333334" Y="0.6058333333333333"

2970 /><Name

2971 ><![CDATA[Node 3]]></Name

2972 ><LabelAbove

2973 >True</LabelAbove

2974 ><Shape

2975 ><![CDATA[interface]]></Shape

2976 ><Info

2977 ><list-int/></Info></Node

2978 ><Node id="N4"

2979 ><Position X="2.5583333333333336" Y="0.6322916666666667"

2980 /><Name

2981 ><![CDATA[Node 4]]></Name

2982 ><LabelAbove

2983 >True</LabelAbove

2984 ><Shape

2985 ><![CDATA[interface]]></Shape

2986 ><Info

2987 ><list-int/></Info></Node

2988 ><Node id="N5"

2989 ><Position X="6.045416666666667" Y="1.0291666666666668"

2990 /><Name

2991 ><![CDATA[Node 5]]></Name

2992 ><LabelAbove

2993 >True</LabelAbove

2994 ><Shape

2995 ><![CDATA[interface]]></Shape

2996 ><Info

2997 ><list-int/></Info></Node></Nodes

2998 ><Edges

2999 ><Edge id="E1"

3000 ><From

3001 >1</From

3002 ><PortFrom

3003 ><![CDATA[src]]></PortFrom

3004 ><To

3005 >2</To

3006 ><PortTo

3007 ><![CDATA[arg]]></PortTo

3008 ><Via

3009 /><Info

3010 ><list-int/></Info></Edge

3011 ><Edge id="E2"

3012 ><From

3013 >1</From

3014 ><PortFrom

3015 ><![CDATA[snd_target]]></PortFrom

3016 ><To

3017 >4</To

3018 ><PortTo

3019 ><![CDATA[interface]]></PortTo

3020 ><Via

3021 /><Info

3022 ><list-int/></Info></Edge

3023 ><Edge id="E3"

3024 ><From

3025 >1</From

3026 ><PortFrom

3027 ><![CDATA[fst_target]]></PortFrom

3028 ><To

3029 >3</To

3030 ><PortTo

3031 ><![CDATA[interface]]></PortTo

3032 ><Via

3033 /><Info

3034 ><list-int/></Info></Edge

3035 ><Edge id="E4"

3036 ><From

3037 >2</From

3038 ><PortFrom

3039 ><![CDATA[res]]></PortFrom

3040 ><To

3041 >5</To

3042 ><PortTo

3043 ><![CDATA[interface]]></PortTo

3044 ><Via

3045 /><Info

3046 ><list-int/></Info></Edge></Edges></Network></LHS

3047 ><RHS

3048 ><Network Width="15.0" Height="9.0"

3049 ><Info

3050 ><unit/></Info

3051 ><Nodes

3052 ><Node id="N3"

3053 ><Position X="1.9816666666666665" Y="0.6322916666666668"

3054 /><Name

3055 ><![CDATA[Node 3]]></Name

3056 ><LabelAbove

3057 >True</LabelAbove

3058 ><Shape

3059 ><![CDATA[interface]]></Shape

3060 ><Info

3061 ><list-int/></Info></Node

3062 ><Node id="N4"

3063 ><Position X="5.945" Y="0.6852083333333334"

3064 /><Name

3065 ><![CDATA[Node 4]]></Name

3066 ><LabelAbove

3067 >True</LabelAbove

3068 ><Shape

3069 ><![CDATA[interface]]></Shape

3070 ><Info

3071 ><list-int/></Info></Node

3072 ><Node id="N5"

3073 ><Position X="3.822916666666667" Y="5.262500000000001"

3074 /><Name

3075 ><![CDATA[Node 5]]></Name

3076 ><LabelAbove

3077 >True</LabelAbove

3078 ><Shape

3079 ><![CDATA[interface]]></Shape

3080 ><Info

3081 ><list-int/></Info></Node

3082 ><Node id="N6"

3083 ><Position X="3.8364583333333337" Y="3.571875"

3084 /><Name

3085 ><![CDATA[Node 6]]></Name

3086 ><LabelAbove

3087 >True</LabelAbove

3088 ><Shape

3089 ><![CDATA[copy]]></Shape

3090 ><Info

3091 ><list-int/></Info></Node

3092 ><Node id="N7"

3093 ><Position X="2.831041666666667" Y="2.407708333333333"

3094 /><Name

3095 ><![CDATA[Node 7]]></Name

3096 ><LabelAbove

3097 >True</LabelAbove

3098 ><Shape

3099 ><![CDATA[evaluation]]></Shape

3100 ><Info

3101 ><list-int/></Info></Node

3102 ><Node id="N8"

3103 ><Position X="5.000625" Y="2.407708333333333"

3104 /><Name

3105 ><![CDATA[Node 8]]></Name

3106 ><LabelAbove

3107 >True</LabelAbove

3108 ><Shape

3109 ><![CDATA[evaluation]]></Shape

3110 ><Info

3111 ><list-int/></Info></Node></Nodes

3112 ><Edges

3113 ><Edge id="E1"

3114 ><From

3115 >7</From

3116 ><PortFrom

3117 ><![CDATA[arg]]></PortFrom

3118 ><To

3119 >3</To

3120 ><PortTo

3121 ><![CDATA[interface]]></PortTo

3122 ><Via

3123 ><Position X="1.9579166666666667" Y="2.8839583333333336"/></Via

3124 ><Info

3125 ><list-int/></Info></Edge

3126 ><Edge id="E2"

3127 ><From

3128 >8</From

3129 ><PortFrom

3130 ><![CDATA[arg]]></PortFrom

3131 ><To

3132 >4</To

3133 ><PortTo

3134 ><![CDATA[interface]]></PortTo

3135 ><Via

3136 ><Position X="5.926666666666668" Y="2.8839583333333336"/></Via

3137 ><Info

3138 ><list-int/></Info></Edge

3139 ><Edge id="E3"

3140 ><From

3141 >6</From

3142 ><PortFrom

3143 ><![CDATA[src]]></PortFrom

3144 ><To

3145 >5</To

3146 ><PortTo

3147 ><![CDATA[interface]]></PortTo

3148 ><Via

3149 /><Info

3150 ><list-int/></Info></Edge

3151 ><Edge id="E4"

3152 ><From

3153 >6</From

3154 ><PortFrom

3155 ><![CDATA[fst_target]]></PortFrom

3156 ><To

3157 >7</To

3158 ><PortTo

3159 ><![CDATA[res]]></PortTo

3160 ><Via

3161 ><Position X="3.5189583333333334" Y="1.905"/></Via

3162 ><Info

3163 ><list-int/></Info></Edge

3164 ><Edge id="E5"

3165 ><From

3166 >6</From

3167 ><PortFrom

3168 ><![CDATA[snd_target]]></PortFrom

3169 ><To

3170 >8</To

3171 ><PortTo

3172 ><![CDATA[res]]></PortTo

3173 ><Via

3174 ><Position X="4.1275" Y="1.9050000000000002"/></Via

3175 ><Info

3176 ><list-int/></Info></Edge></Edges></Network></RHS

3177 ><Mapping

3178 ><MappingElement lhs="3" rhs="3"

3179 /><MappingElement lhs="4" rhs="4"

3180 /><MappingElement lhs="5" rhs="5"/></Mapping></INRule

3181 ><INRule

3182 ><Name

3183 ><![CDATA[Copy_preApplication]]></Name

3184 ><LHS

3185 ><Network Width="15.0" Height="9.0"

3186 ><Info

3187 ><unit/></Info

3188 ><Nodes

3189 ><Node id="N1"

3190 ><Position X="2.0" Y="2.0"

3191 /><Name

3192 ><![CDATA[Node 1]]></Name

3193 ><LabelAbove

3194 >True</LabelAbove

3195 ><Shape

3196 ><![CDATA[copy]]></Shape

3197 ><Info

3198 ><list-int/></Info></Node

3199 ><Node id="N3"

3200 ><Position X="1.1614583333333335" Y="0.5264583333333334"

3201 /><Name

3202 ><![CDATA[Node 3]]></Name

3203 ><LabelAbove

3204 >True</LabelAbove

3205 ><Shape

3206 ><![CDATA[interface]]></Shape

3207 ><Info

3208 ><list-int/></Info></Node

3209 ><Node id="N4"

3210 ><Position X="2.9022916666666667" Y="0.579375"

3211 /><Name

3212 ><![CDATA[Node 4]]></Name

3213 ><LabelAbove

3214 >True</LabelAbove

3215 ><Shape

3216 ><![CDATA[interface]]></Shape

3217 ><Info

3218 ><list-int/></Info></Node

3219 ><Node id="N5"

3220 ><Position X="2.4579166666666667" Y="5.526458333333334"

3221 /><Name

3222 ><![CDATA[Node 5]]></Name

3223 ><LabelAbove

3224 >True</LabelAbove

3225 ><Shape

3226 ><![CDATA[interface]]></Shape

3227 ><Info

3228 ><list-int/></Info></Node

3229 ><Node id="N6"

3230 ><Position X="1.5" Y="5.5"

3231 /><Name

3232 ><![CDATA[Node 6]]></Name

3233 ><LabelAbove

3234 >True</LabelAbove

3235 ><Shape

3236 ><![CDATA[interface]]></Shape

3237 ><Info

3238 ><list-int/></Info></Node

3239 ><Node id="N7"

3240 ><Position X="2.0108333333333337" Y="3.8100000000000005"

3241 /><Name

3242 ><![CDATA[Node 7]]></Name

3243 ><LabelAbove

3244 >True</LabelAbove

3245 ><Shape

3246 ><![CDATA[beforeApplication]]></Shape

3247 ><Info

3248 ><list-int/></Info></Node></Nodes

3249 ><Edges

3250 ><Edge id="E2"

3251 ><From

3252 >1</From

3253 ><PortFrom

3254 ><![CDATA[snd_target]]></PortFrom

3255 ><To

3256 >4</To

3257 ><PortTo

3258 ><![CDATA[interface]]></PortTo

3259 ><Via

3260 /><Info

3261 ><list-int/></Info></Edge

3262 ><Edge id="E3"

3263 ><From

3264 >1</From

3265 ><PortFrom

3266 ><![CDATA[fst_target]]></PortFrom

3267 ><To

3268 >3</To

3269 ><PortTo

3270 ><![CDATA[interface]]></PortTo

3271 ><Via

3272 /><Info

3273 ><list-int/></Info></Edge

3274 ><Edge id="E4"

3275 ><From

3276 >1</From

3277 ><PortFrom

3278 ><![CDATA[src]]></PortFrom

3279 ><To

3280 >7</To

3281 ><PortTo

3282 ><![CDATA[res]]></PortTo

3283 ><Via

3284 /><Info

3285 ><list-int/></Info></Edge

3286 ><Edge id="E5"

3287 ><From

3288 >7</From

3289 ><PortFrom

3290 ><![CDATA[func]]></PortFrom

3291 ><To

3292 >6</To

3293 ><PortTo

3294 ><![CDATA[interface]]></PortTo

3295 ><Via

3296 /><Info

3297 ><list-int/></Info></Edge

3298 ><Edge id="E6"

3299 ><From

3300 >7</From

3301 ><PortFrom

3302 ><![CDATA[arg]]></PortFrom

3303 ><To

3304 >5</To

3305 ><PortTo

3306 ><![CDATA[interface]]></PortTo

3307 ><Via

3308 /><Info

3309 ><list-int/></Info></Edge></Edges></Network></LHS

3310 ><RHS

3311 ><Network Width="15.0" Height="9.0"

3312 ><Info

3313 ><unit/></Info

3314 ><Nodes

3315 ><Node id="N3"

3316 ><Position X="0.8704166666666667" Y="0.5264583333333334"

3317 /><Name

3318 ><![CDATA[Node 3]]></Name

3319 ><LabelAbove

3320 >True</LabelAbove

3321 ><Shape

3322 ><![CDATA[interface]]></Shape

3323 ><Info

3324 ><list-int/></Info></Node

3325 ><Node id="N4"

3326 ><Position X="2.214374999999999" Y="0.5529166666666667"

3327 /><Name

3328 ><![CDATA[Node 4]]></Name

3329 ><LabelAbove

3330 >True</LabelAbove

3331 ><Shape

3332 ><![CDATA[interface]]></Shape

3333 ><Info

3334 ><list-int/></Info></Node

3335 ><Node id="N6"

3336 ><Position X="0.8120833333333325" Y="5.5"

3337 /><Name

3338 ><![CDATA[Node 6]]></Name

3339 ><LabelAbove

3340 >True</LabelAbove

3341 ><Shape

3342 ><![CDATA[interface]]></Shape

3343 ><Info

3344 ><list-int/></Info></Node

3345 ><Node id="N9"

3346 ><Position X="0.846666666666667" Y="4.312708333333333"

3347 /><Name

3348 ><![CDATA[Node 9]]></Name

3349 ><LabelAbove

3350 >True</LabelAbove

3351 ><Shape

3352 ><![CDATA[copy]]></Shape

3353 ><Info

3354 ><list-int/></Info></Node

3355 ><Node id="N12"

3356 ><Position X="2.1960416666666664" Y="5.503333333333334"

3357 /><Name

3358 ><![CDATA[Node 12]]></Name

3359 ><LabelAbove

3360 >True</LabelAbove

3361 ><Shape

3362 ><![CDATA[interface]]></Shape

3363 ><Info

3364 ><list-int/></Info></Node

3365 ><Node id="N13"

3366 ><Position X="2.196041666666667" Y="4.312708333333333"

3367 /><Name

3368 ><![CDATA[Node 13]]></Name

3369 ><LabelAbove

3370 >True</LabelAbove

3371 ><Shape

3372 ><![CDATA[copy]]></Shape

3373 ><Info

3374 ><list-int/></Info></Node

3375 ><Node id="N14"

3376 ><Position X="0.8466666666666668" Y="1.9579166666666667"

3377 /><Name

3378 ><![CDATA[Node 14]]></Name

3379 ><LabelAbove

3380 >True</LabelAbove

3381 ><Shape

3382 ><![CDATA[beforeApplication]]></Shape

3383 ><Info

3384 ><list-int/></Info></Node

3385 ><Node id="N15"

3386 ><Position X="2.4870833333333335" Y="1.9843750000000002"

3387 /><Name

3388 ><![CDATA[Node 15]]></Name

3389 ><LabelAbove

3390 >True</LabelAbove

3391 ><Shape

3392 ><![CDATA[beforeApplication]]></Shape

3393 ><Info

3394 ><list-int/></Info></Node></Nodes

3395 ><Edges

3396 ><Edge id="E10"

3397 ><From

3398 >9</From

3399 ><PortFrom

3400 ><![CDATA[src]]></PortFrom

3401 ><To

3402 >6</To

3403 ><PortTo

3404 ><![CDATA[interface]]></PortTo

3405 ><Via

3406 /><Info

3407 ><list-int/></Info></Edge

3408 ><Edge id="E13"

3409 ><From

3410 >12</From

3411 ><PortFrom

3412 ><![CDATA[interface]]></PortFrom

3413 ><To

3414 >13</To

3415 ><PortTo

3416 ><![CDATA[src]]></PortTo

3417 ><Via

3418 /><Info

3419 ><list-int/></Info></Edge

3420 ><Edge id="E14"

3421 ><From

3422 >14</From

3423 ><PortFrom

3424 ><![CDATA[res]]></PortFrom

3425 ><To

3426 >3</To

3427 ><PortTo

3428 ><![CDATA[interface]]></PortTo

3429 ><Via

3430 /><Info

3431 ><list-int/></Info></Edge

3432 ><Edge id="E15"

3433 ><From

3434 >14</From

3435 ><PortFrom

3436 ><![CDATA[func]]></PortFrom

3437 ><To

3438 >9</To

3439 ><PortTo

3440 ><![CDATA[fst_target]]></PortTo

3441 ><Via

3442 /><Info

3443 ><list-int/></Info></Edge

3444 ><Edge id="E16"

3445 ><From

3446 >14</From

3447 ><PortFrom

3448 ><![CDATA[arg]]></PortFrom

3449 ><To

3450 >13</To

3451 ><PortTo

3452 ><![CDATA[fst_target]]></PortTo

3453 ><Via

3454 /><Info

3455 ><list-int/></Info></Edge

3456 ><Edge id="E17"

3457 ><From

3458 >4</From

3459 ><PortFrom

3460 ><![CDATA[interface]]></PortFrom

3461 ><To

3462 >15</To

3463 ><PortTo

3464 ><![CDATA[res]]></PortTo

3465 ><Via

3466 /><Info

3467 ><list-int/></Info></Edge

3468 ><Edge id="E18"

3469 ><From

3470 >15</From

3471 ><PortFrom

3472 ><![CDATA[func]]></PortFrom

3473 ><To

3474 >9</To

3475 ><PortTo

3476 ><![CDATA[snd_target]]></PortTo

3477 ><Via

3478 /><Info

3479 ><list-int/></Info></Edge

3480 ><Edge id="E19"

3481 ><From

3482 >15</From

3483 ><PortFrom

3484 ><![CDATA[arg]]></PortFrom

3485 ><To

3486 >13</To

3487 ><PortTo

3488 ><![CDATA[snd_target]]></PortTo

3489 ><Via

3490 /><Info

3491 ><list-int/></Info></Edge></Edges></Network></RHS

3492 ><Mapping

3493 ><MappingElement lhs="3" rhs="3"

3494 /><MappingElement lhs="4" rhs="4"

3495 /><MappingElement lhs="5" rhs="12"

3496 /><MappingElement lhs="6" rhs="6"/></Mapping></INRule

3497 ><INRule

3498 ><Name

3499 ><![CDATA[Copy_Duplicator]]></Name

3500 ><LHS

3501 ><Network Width="15.0" Height="9.0"

3502 ><Info

3503 ><unit/></Info

3504 ><Nodes

3505 ><Node id="N1"

3506 ><Position X="2.0" Y="2.0"

3507 /><Name

3508 ><![CDATA[Node 1]]></Name

3509 ><LabelAbove

3510 >True</LabelAbove

3511 ><Shape

3512 ><![CDATA[copy]]></Shape

3513 ><Info

3514 ><list-int/></Info></Node

3515 ><Node id="N2"

3516 ><Position X="3.9735416666666667" Y="1.7883333333333333"

3517 /><Name

3518 ><![CDATA[Node 2]]></Name

3519 ><LabelAbove

3520 >True</LabelAbove

3521 ><Shape

3522 ><![CDATA[duplicator]]></Shape

3523 ><Info

3524 ><list-int/></Info></Node

3525 ><Node id="N3"

3526 ><Position X="1.4789583333333334" Y="0.5"

3527 /><Name

3528 ><![CDATA[Node 3]]></Name

3529 ><LabelAbove

3530 >True</LabelAbove

3531 ><Shape

3532 ><![CDATA[interface]]></Shape

3533 ><Info

3534 ><list-int/></Info></Node

3535 ><Node id="N4"

3536 ><Position X="2.267291666666667" Y="0.5"

3537 /><Name

3538 ><![CDATA[Node 4]]></Name

3539 ><LabelAbove

3540 >True</LabelAbove

3541 ><Shape

3542 ><![CDATA[interface]]></Shape

3543 ><Info

3544 ><list-int/></Info></Node

3545 ><Node id="N5"

3546 ><Position X="3.5318750000000003" Y="0.4735416666666667"

3547 /><Name

3548 ><![CDATA[Node 5]]></Name

3549 ><LabelAbove

3550 >True</LabelAbove

3551 ><Shape

3552 ><![CDATA[interface]]></Shape

3553 ><Info

3554 ><list-int/></Info></Node

3555 ><Node id="N6"

3556 ><Position X="4.690625" Y="0.5"

3557 /><Name

3558 ><![CDATA[Node 6]]></Name

3559 ><LabelAbove

3560 >True</LabelAbove

3561 ><Shape

3562 ><![CDATA[interface]]></Shape

3563 ><Info

3564 ><list-int/></Info></Node></Nodes

3565 ><Edges

3566 ><Edge id="E1"

3567 ><From

3568 >1</From

3569 ><PortFrom

3570 ><![CDATA[src]]></PortFrom

3571 ><To

3572 >2</To

3573 ><PortTo

3574 ><![CDATA[down]]></PortTo

3575 ><Via

3576 /><Info

3577 ><list-int/></Info></Edge

3578 ><Edge id="E2"

3579 ><From

3580 >1</From

3581 ><PortFrom

3582 ><![CDATA[snd_target]]></PortFrom

3583 ><To

3584 >4</To

3585 ><PortTo

3586 ><![CDATA[interface]]></PortTo

3587 ><Via

3588 /><Info

3589 ><list-int/></Info></Edge

3590 ><Edge id="E3"

3591 ><From

3592 >1</From

3593 ><PortFrom

3594 ><![CDATA[fst_target]]></PortFrom

3595 ><To

3596 >3</To

3597 ><PortTo

3598 ><![CDATA[interface]]></PortTo

3599 ><Via

3600 /><Info

3601 ><list-int/></Info></Edge

3602 ><Edge id="E4"

3603 ><From

3604 >2</From

3605 ><PortFrom

3606 ><![CDATA[copy2]]></PortFrom

3607 ><To

3608 >6</To

3609 ><PortTo

3610 ><![CDATA[interface]]></PortTo

3611 ><Via

3612 /><Info

3613 ><list-int/></Info></Edge

3614 ><Edge id="E5"

3615 ><From

3616 >2</From

3617 ><PortFrom

3618 ><![CDATA[copy1]]></PortFrom

3619 ><To

3620 >5</To

3621 ><PortTo

3622 ><![CDATA[interface]]></PortTo

3623 ><Via

3624 /><Info

3625 ><list-int/></Info></Edge></Edges></Network></LHS

3626 ><RHS

3627 ><Network Width="15.0" Height="9.0"

3628 ><Info

3629 ><unit/></Info

3630 ><Nodes

3631 ><Node id="N3"

3632 ><Position X="1.4789583333333334" Y="0.5"

3633 /><Name

3634 ><![CDATA[Node 3]]></Name

3635 ><LabelAbove

3636 >True</LabelAbove

3637 ><Shape

3638 ><![CDATA[interface]]></Shape

3639 ><Info

3640 ><list-int/></Info></Node

3641 ><Node id="N4"

3642 ><Position X="2.29375" Y="0.5"

3643 /><Name

3644 ><![CDATA[Node 4]]></Name

3645 ><LabelAbove

3646 >True</LabelAbove

3647 ><Shape

3648 ><![CDATA[interface]]></Shape

3649 ><Info

3650 ><list-int/></Info></Node

3651 ><Node id="N5"

3652 ><Position X="7.844583333333335" Y="5.500625"

3653 /><Name

3654 ><![CDATA[Node 5]]></Name

3655 ><LabelAbove

3656 >True</LabelAbove

3657 ><Shape

3658 ><![CDATA[interface]]></Shape

3659 ><Info

3660 ><list-int/></Info></Node

3661 ><Node id="N6"

3662 ><Position X="9.267916666666672" Y="5.606458333333333"

3663 /><Name

3664 ><![CDATA[Node 6]]></Name

3665 ><LabelAbove

3666 >True</LabelAbove

3667 ><Shape

3668 ><![CDATA[interface]]></Shape

3669 ><Info

3670 ><list-int/></Info></Node

3671 ><Node id="N7"

3672 ><Position X="7.884583333333335" Y="4.259791666666667"

3673 /><Name

3674 ><![CDATA[Node 7]]></Name

3675 ><LabelAbove

3676 >True</LabelAbove

3677 ><Shape

3678 ><![CDATA[copy]]></Shape

3679 ><Info

3680 ><list-int/></Info></Node

3681 ><Node id="N8"

3682 ><Position X="9.260416666666671" Y="4.312708333333333"

3683 /><Name

3684 ><![CDATA[Node 8]]></Name

3685 ><LabelAbove

3686 >True</LabelAbove

3687 ><Shape

3688 ><![CDATA[copy]]></Shape

3689 ><Info

3690 ><list-int/></Info></Node

3691 ><Node id="N9"

3692 ><Position X="2.460625000000001" Y="3.175000000000001"

3693 /><Name

3694 ><![CDATA[Node 9]]></Name

3695 ><LabelAbove

3696 >True</LabelAbove

3697 ><Shape

3698 ><![CDATA[duplicator]]></Shape

3699 ><Info

3700 ><list-int/></Info></Node

3701 ><Node id="N10"

3702 ><Position X="4.788958333333334" Y="1.2435416666666672"

3703 /><Name

3704 ><![CDATA[Node 10]]></Name

3705 ><LabelAbove

3706 >True</LabelAbove

3707 ><Shape

3708 ><![CDATA[duplicator]]></Shape

3709 ><Info

3710 ><list-int/></Info></Node></Nodes

3711 ><Edges

3712 ><Edge id="E1"

3713 ><From

3714 >7</From

3715 ><PortFrom

3716 ><![CDATA[src]]></PortFrom

3717 ><To

3718 >5</To

3719 ><PortTo

3720 ><![CDATA[interface]]></PortTo

3721 ><Via

3722 /><Info

3723 ><list-int/></Info></Edge

3724 ><Edge id="E2"

3725 ><From

3726 >6</From

3727 ><PortFrom

3728 ><![CDATA[interface]]></PortFrom

3729 ><To

3730 >8</To

3731 ><PortTo

3732 ><![CDATA[src]]></PortTo

3733 ><Via

3734 /><Info

3735 ><list-int/></Info></Edge

3736 ><Edge id="E3"

3737 ><From

3738 >9</From

3739 ><PortFrom

3740 ><![CDATA[down]]></PortFrom

3741 ><To

3742 >3</To

3743 ><PortTo

3744 ><![CDATA[interface]]></PortTo

3745 ><Via

3746 ><Position X="1.4552083333333334" Y="3.6512500000000006"/></Via

3747 ><Info

3748 ><list-int/></Info></Edge

3749 ><Edge id="E4"

3750 ><From

3751 >4</From

3752 ><PortFrom

3753 ><![CDATA[interface]]></PortFrom

3754 ><To

3755 >10</To

3756 ><PortTo

3757 ><![CDATA[down]]></PortTo

3758 ><Via

3759 ><Position X="2.2754166666666666" Y="1.7197916666666666"/></Via

3760 ><Info

3761 ><list-int/></Info></Edge

3762 ><Edge id="E5"

3763 ><From

3764 >9</From

3765 ><PortFrom

3766 ><![CDATA[copy2]]></PortFrom

3767 ><To

3768 >8</To

3769 ><PortTo

3770 ><![CDATA[snd_target]]></PortTo

3771 ><Via

3772 ><Position X="9.551458333333334" Y="2.857500000000001"/></Via

3773 ><Info

3774 ><list-int/></Info></Edge

3775 ><Edge id="E6"

3776 ><From

3777 >7</From

3778 ><PortFrom

3779 ><![CDATA[fst_target]]></PortFrom

3780 ><To

3781 >10</To

3782 ><PortTo

3783 ><![CDATA[copy1]]></PortTo

3784 ><Via

3785 ><Position X="7.567083333333334" Y="0.39687500000000003"

3786 /><Position X="4.4714583333333335" Y="0.3968750000000003"/></Via

3787 ><Info

3788 ><list-int/></Info></Edge

3789 ><Edge id="E7"

3790 ><From

3791 >10</From

3792 ><PortFrom

3793 ><![CDATA[copy2]]></PortFrom

3794 ><To

3795 >8</To

3796 ><PortTo

3797 ><![CDATA[fst_target]]></PortTo

3798 ><Via

3799 ><Position X="8.942916666666669" Y="0.9260416666666667"/></Via

3800 ><Info

3801 ><list-int/></Info></Edge

3802 ><Edge id="E8"

3803 ><From

3804 >9</From

3805 ><PortFrom

3806 ><![CDATA[copy1]]></PortFrom

3807 ><To

3808 >7</To

3809 ><PortTo

3810 ><![CDATA[snd_target]]></PortTo

3811 ><Via

3812 ><Position X="2.1431250000000004" Y="2.248958333333334"

3813 /><Position X="8.202083333333333" Y="2.248958333333334"/></Via

3814 ><Info

3815 ><list-int/></Info></Edge></Edges></Network></RHS

3816 ><Mapping

3817 ><MappingElement lhs="3" rhs="3"

3818 /><MappingElement lhs="4" rhs="4"

3819 /><MappingElement lhs="5" rhs="5"

3820 /><MappingElement lhs="6" rhs="6"/></Mapping></INRule

3821 ><INRule

3822 ><Name

3823 ><![CDATA[Duplicator_Lambda]]></Name

3824 ><LHS

3825 ><Network Width="15.0" Height="9.0"

3826 ><Info

3827 ><unit/></Info

3828 ><Nodes

3829 ><Node id="N1"

3830 ><Position X="2.0" Y="2.0"

3831 /><Name

3832 ><![CDATA[Node 1]]></Name

3833 ><LabelAbove

3834 >True</LabelAbove

3835 ><Shape

3836 ><![CDATA[duplicator]]></Shape

3837 ><Info

3838 ><list-int/></Info></Node

3839 ><Node id="N3"

3840 ><Position X="0.9233333333333333" Y="0.5"

3841 /><Name

3842 ><![CDATA[Node 3]]></Name

3843 ><LabelAbove

3844 >True</LabelAbove

3845 ><Shape

3846 ><![CDATA[interface]]></Shape

3847 ><Info

3848 ><list-int/></Info></Node

3849 ><Node id="N4"

3850 ><Position X="2.92875" Y="0.5529166666666667"

3851 /><Name

3852 ><![CDATA[Node 4]]></Name

3853 ><LabelAbove

3854 >True</LabelAbove

3855 ><Shape

3856 ><![CDATA[interface]]></Shape

3857 ><Info

3858 ><list-int/></Info></Node

3859 ><Node id="N5"

3860 ><Position X="2.6695833333333336" Y="5.4470833333333335"

3861 /><Name

3862 ><![CDATA[Node 5]]></Name

3863 ><LabelAbove

3864 >True</LabelAbove

3865 ><Shape

3866 ><![CDATA[interface]]></Shape

3867 ><Info

3868 ><list-int/></Info></Node

3869 ><Node id="N6"

3870 ><Position X="1.3147916666666666" Y="5.473541666666667"

3871 /><Name

3872 ><![CDATA[Node 6]]></Name

3873 ><LabelAbove

3874 >True</LabelAbove

3875 ><Shape

3876 ><![CDATA[interface]]></Shape

3877 ><Info

3878 ><list-int/></Info></Node

3879 ><Node id="N7"

3880 ><Position X="1.984375" Y="4.101041666666667"

3881 /><Name

3882 ><![CDATA[Node 7]]></Name

3883 ><LabelAbove

3884 >True</LabelAbove

3885 ><Shape

3886 ><![CDATA[lambda]]></Shape

3887 ><Info

3888 ><list-int/></Info></Node></Nodes

3889 ><Edges

3890 ><Edge id="E2"

3891 ><From

3892 >1</From

3893 ><PortFrom

3894 ><![CDATA[copy2]]></PortFrom

3895 ><To

3896 >4</To

3897 ><PortTo

3898 ><![CDATA[interface]]></PortTo

3899 ><Via

3900 /><Info

3901 ><list-int/></Info></Edge

3902 ><Edge id="E3"

3903 ><From

3904 >1</From

3905 ><PortFrom

3906 ><![CDATA[copy1]]></PortFrom

3907 ><To

3908 >3</To

3909 ><PortTo

3910 ><![CDATA[interface]]></PortTo

3911 ><Via

3912 /><Info

3913 ><list-int/></Info></Edge

3914 ><Edge id="E4"

3915 ><From

3916 >1</From

3917 ><PortFrom

3918 ><![CDATA[down]]></PortFrom

3919 ><To

3920 >7</To

3921 ><PortTo

3922 ><![CDATA[res]]></PortTo

3923 ><Via

3924 /><Info

3925 ><list-int/></Info></Edge

3926 ><Edge id="E5"

3927 ><From

3928 >7</From

3929 ><PortFrom

3930 ><![CDATA[var]]></PortFrom

3931 ><To

3932 >6</To

3933 ><PortTo

3934 ><![CDATA[interface]]></PortTo

3935 ><Via

3936 /><Info

3937 ><list-int/></Info></Edge

3938 ><Edge id="E6"

3939 ><From

3940 >7</From

3941 ><PortFrom

3942 ><![CDATA[body]]></PortFrom

3943 ><To

3944 >5</To

3945 ><PortTo

3946 ><![CDATA[interface]]></PortTo

3947 ><Via

3948 /><Info

3949 ><list-int/></Info></Edge></Edges></Network></LHS

3950 ><RHS

3951 ><Network Width="15.0" Height="9.0"

3952 ><Info

3953 ><unit/></Info

3954 ><Nodes

3955 ><Node id="N3"

3956 ><Position X="0.9233333333333333" Y="0.5264583333333334"

3957 /><Name

3958 ><![CDATA[Node 3]]></Name

3959 ><LabelAbove

3960 >True</LabelAbove

3961 ><Shape

3962 ><![CDATA[interface]]></Shape

3963 ><Info

3964 ><list-int/></Info></Node

3965 ><Node id="N4"

3966 ><Position X="2.92875" Y="0.5529166666666667"

3967 /><Name

3968 ><![CDATA[Node 4]]></Name

3969 ><LabelAbove

3970 >True</LabelAbove

3971 ><Shape

3972 ><![CDATA[interface]]></Shape

3973 ><Info

3974 ><list-int/></Info></Node

3975 ><Node id="N5"

3976 ><Position X="2.907708333333334" Y="5.579375"

3977 /><Name

3978 ><![CDATA[Node 5]]></Name

3979 ><LabelAbove

3980 >True</LabelAbove

3981 ><Shape

3982 ><![CDATA[interface]]></Shape

3983 ><Info

3984 ><list-int/></Info></Node

3985 ><Node id="N6"

3986 ><Position X="0.9179166666666665" Y="5.579375"

3987 /><Name

3988 ><![CDATA[Node 6]]></Name

3989 ><LabelAbove

3990 >True</LabelAbove

3991 ><Shape

3992 ><![CDATA[interface]]></Shape

3993 ><Info

3994 ><list-int/></Info></Node

3995 ><Node id="N7"

3996 ><Position X="0.9260416666666668" Y="4.153958333333334"

3997 /><Name

3998 ><![CDATA[Node 7]]></Name

3999 ><LabelAbove

4000 >True</LabelAbove

4001 ><Shape

4002 ><![CDATA[duplicator]]></Shape

4003 ><Info

4004 ><list-int/></Info></Node

4005 ><Node id="N8"

4006 ><Position X="2.9104166666666673" Y="4.153958333333334"

4007 /><Name

4008 ><![CDATA[Node 8]]></Name

4009 ><LabelAbove

4010 >True</LabelAbove

4011 ><Shape

4012 ><![CDATA[duplicator]]></Shape

4013 ><Info

4014 ><list-int/></Info></Node

4015 ><Node id="N11"

4016 ><Position X="0.8995833333333334" Y="2.143125"

4017 /><Name

4018 ><![CDATA[Node 11]]></Name

4019 ><LabelAbove

4020 >True</LabelAbove

4021 ><Shape

4022 ><![CDATA[lambda]]></Shape

4023 ><Info

4024 ><list-int/></Info></Node

4025 ><Node id="N12"

4026 ><Position X="2.910416666666667" Y="2.1166666666666667"

4027 /><Name

4028 ><![CDATA[Node 12]]></Name

4029 ><LabelAbove

4030 >True</LabelAbove

4031 ><Shape

4032 ><![CDATA[lambda]]></Shape

4033 ><Info

4034 ><list-int/></Info></Node></Nodes

4035 ><Edges

4036 ><Edge id="E1"

4037 ><From

4038 >7</From

4039 ><PortFrom

4040 ><![CDATA[down]]></PortFrom

4041 ><To

4042 >6</To

4043 ><PortTo

4044 ><![CDATA[interface]]></PortTo

4045 ><Via

4046 /><Info

4047 ><list-int/></Info></Edge

4048 ><Edge id="E2"

4049 ><From

4050 >8</From

4051 ><PortFrom

4052 ><![CDATA[down]]></PortFrom

4053 ><To

4054 >5</To

4055 ><PortTo

4056 ><![CDATA[interface]]></PortTo

4057 ><Via

4058 /><Info

4059 ><list-int/></Info></Edge

4060 ><Edge id="E9"

4061 ><From

4062 >3</From

4063 ><PortFrom

4064 ><![CDATA[interface]]></PortFrom

4065 ><To

4066 >11</To

4067 ><PortTo

4068 ><![CDATA[res]]></PortTo

4069 ><Via

4070 /><Info

4071 ><list-int/></Info></Edge

4072 ><Edge id="E10"

4073 ><From

4074 >11</From

4075 ><PortFrom

4076 ><![CDATA[var]]></PortFrom

4077 ><To

4078 >7</To

4079 ><PortTo

4080 ><![CDATA[copy1]]></PortTo

4081 ><Via

4082 /><Info

4083 ><list-int/></Info></Edge

4084 ><Edge id="E11"

4085 ><From

4086 >11</From

4087 ><PortFrom

4088 ><![CDATA[body]]></PortFrom

4089 ><To

4090 >8</To

4091 ><PortTo

4092 ><![CDATA[copy1]]></PortTo

4093 ><Via

4094 /><Info

4095 ><list-int/></Info></Edge

4096 ><Edge id="E12"

4097 ><From

4098 >4</From

4099 ><PortFrom

4100 ><![CDATA[interface]]></PortFrom

4101 ><To

4102 >12</To

4103 ><PortTo

4104 ><![CDATA[res]]></PortTo

4105 ><Via

4106 /><Info

4107 ><list-int/></Info></Edge

4108 ><Edge id="E13"

4109 ><From

4110 >12</From

4111 ><PortFrom

4112 ><![CDATA[var]]></PortFrom

4113 ><To

4114 >7</To

4115 ><PortTo

4116 ><![CDATA[copy2]]></PortTo

4117 ><Via

4118 /><Info

4119 ><list-int/></Info></Edge

4120 ><Edge id="E14"

4121 ><From

4122 >12</From

4123 ><PortFrom

4124 ><![CDATA[body]]></PortFrom

4125 ><To

4126 >8</To

4127 ><PortTo

4128 ><![CDATA[copy2]]></PortTo

4129 ><Via

4130 /><Info

4131 ><list-int/></Info></Edge></Edges></Network></RHS

4132 ><Mapping

4133 ><MappingElement lhs="3" rhs="3"

4134 /><MappingElement lhs="4" rhs="4"

4135 /><MappingElement lhs="5" rhs="5"

4136 /><MappingElement lhs="6" rhs="6"/></Mapping></INRule

4137 ><INRule

4138 ><Name

4139 ><![CDATA[Duplicator_Application]]></Name

4140 ><LHS

4141 ><Network Width="15.0" Height="9.0"

4142 ><Info

4143 ><unit/></Info

4144 ><Nodes

4145 ><Node id="N1"

4146 ><Position X="2.0" Y="2.0"

4147 /><Name

4148 ><![CDATA[Node 1]]></Name

4149 ><LabelAbove

4150 >True</LabelAbove

4151 ><Shape

4152 ><![CDATA[duplicator]]></Shape

4153 ><Info

4154 ><list-int/></Info></Node

4155 ><Node id="N2"

4156 ><Position X="3.576666666666666" Y="3.444375"

4157 /><Name

4158 ><![CDATA[Node 2]]></Name

4159 ><LabelAbove

4160 >True</LabelAbove

4161 ><Shape

4162 ><![CDATA[application]]></Shape

4163 ><Info

4164 ><list-int/></Info></Node

4165 ><Node id="N3"

4166 ><Position X="1.3466666666666667" Y="0.47354166666666664"

4167 /><Name

4168 ><![CDATA[Node 3]]></Name

4169 ><LabelAbove

4170 >True</LabelAbove

4171 ><Shape

4172 ><![CDATA[interface]]></Shape

4173 ><Info

4174 ><list-int/></Info></Node

4175 ><Node id="N4"

4176 ><Position X="2.584791666666667" Y="0.5529166666666667"

4177 /><Name

4178 ><![CDATA[Node 4]]></Name

4179 ><LabelAbove

4180 >True</LabelAbove

4181 ><Shape

4182 ><![CDATA[interface]]></Shape

4183 ><Info

4184 ><list-int/></Info></Node

4185 ><Node id="N5"

4186 ><Position X="5.860208333333334" Y="2.8283333333333336"

4187 /><Name

4188 ><![CDATA[Node 5]]></Name

4189 ><LabelAbove

4190 >True</LabelAbove

4191 ><Shape

4192 ><![CDATA[interface]]></Shape

4193 ><Info

4194 ><list-int/></Info></Node

4195 ><Node id="N6"

4196 ><Position X="4.839166666666666" Y="5.288333333333334"

4197 /><Name

4198 ><![CDATA[Node 6]]></Name

4199 ><LabelAbove

4200 >True</LabelAbove

4201 ><Shape

4202 ><![CDATA[interface]]></Shape

4203 ><Info

4204 ><list-int/></Info></Node></Nodes

4205 ><Edges

4206 ><Edge id="E1"

4207 ><From

4208 >1</From

4209 ><PortFrom

4210 ><![CDATA[down]]></PortFrom

4211 ><To

4212 >2</To

4213 ><PortTo

4214 ><![CDATA[func]]></PortTo

4215 ><Via

4216 /><Info

4217 ><list-int/></Info></Edge

4218 ><Edge id="E2"

4219 ><From

4220 >1</From

4221 ><PortFrom

4222 ><![CDATA[copy2]]></PortFrom

4223 ><To

4224 >4</To

4225 ><PortTo

4226 ><![CDATA[interface]]></PortTo

4227 ><Via

4228 /><Info

4229 ><list-int/></Info></Edge

4230 ><Edge id="E3"

4231 ><From

4232 >1</From

4233 ><PortFrom

4234 ><![CDATA[copy1]]></PortFrom

4235 ><To

4236 >3</To

4237 ><PortTo

4238 ><![CDATA[interface]]></PortTo

4239 ><Via

4240 /><Info

4241 ><list-int/></Info></Edge

4242 ><Edge id="E4"

4243 ><From

4244 >2</From

4245 ><PortFrom

4246 ><![CDATA[arg]]></PortFrom

4247 ><To

4248 >6</To

4249 ><PortTo

4250 ><![CDATA[interface]]></PortTo

4251 ><Via

4252 /><Info

4253 ><list-int/></Info></Edge

4254 ><Edge id="E5"

4255 ><From

4256 >2</From

4257 ><PortFrom

4258 ><![CDATA[res]]></PortFrom

4259 ><To

4260 >5</To

4261 ><PortTo

4262 ><![CDATA[interface]]></PortTo

4263 ><Via

4264 /><Info

4265 ><list-int/></Info></Edge></Edges></Network></LHS

4266 ><RHS

4267 ><Network Width="15.0" Height="9.0"

4268 ><Info

4269 ><unit/></Info

4270 ><Nodes

4271 ><Node id="N3"

4272 ><Position X="1.3466666666666667" Y="0.47354166666666664"

4273 /><Name

4274 ><![CDATA[Node 3]]></Name

4275 ><LabelAbove

4276 >True</LabelAbove

4277 ><Shape

4278 ><![CDATA[interface]]></Shape

4279 ><Info

4280 ><list-int/></Info></Node

4281 ><Node id="N4"

4282 ><Position X="3.378541666666667" Y="0.44708333333333333"

4283 /><Name

4284 ><![CDATA[Node 4]]></Name

4285 ><LabelAbove

4286 >True</LabelAbove

4287 ><Shape

4288 ><![CDATA[interface]]></Shape

4289 ><Info

4290 ><list-int/></Info></Node

4291 ><Node id="N5"

4292 ><Position X="8.082708333333334" Y="4.495208333333334"

4293 /><Name

4294 ><![CDATA[Node 5]]></Name

4295 ><LabelAbove

4296 >True</LabelAbove

4297 ><Shape

4298 ><![CDATA[interface]]></Shape

4299 ><Info

4300 ><list-int/></Info></Node

4301 ><Node id="N6"

4302 ><Position X="3.039999999999999" Y="5.870416666666667"

4303 /><Name

4304 ><![CDATA[Node 6]]></Name

4305 ><LabelAbove

4306 >True</LabelAbove

4307 ><Shape

4308 ><![CDATA[interface]]></Shape

4309 ><Info

4310 ><list-int/></Info></Node

4311 ><Node id="N7"

4312 ><Position X="2.196041666666667" Y="2.037291666666667"

4313 /><Name

4314 ><![CDATA[Node 7]]></Name

4315 ><LabelAbove

4316 >True</LabelAbove

4317 ><Shape

4318 ><![CDATA[application]]></Shape

4319 ><Info

4320 ><list-int/></Info></Node

4321 ><Node id="N8"

4322 ><Position X="4.180416666666667" Y="2.0902083333333334"

4323 /><Name

4324 ><![CDATA[Node 8]]></Name

4325 ><LabelAbove

4326 >True</LabelAbove

4327 ><Shape

4328 ><![CDATA[application]]></Shape

4329 ><Info

4330 ><list-int/></Info></Node

4331 ><Node id="N9"

4332 ><Position X="3.0427083333333336" Y="4.101041666666667"

4333 /><Name

4334 ><![CDATA[Node 9]]></Name

4335 ><LabelAbove

4336 >True</LabelAbove

4337 ><Shape

4338 ><![CDATA[duplicator]]></Shape

4339 ><Info

4340 ><list-int/></Info></Node

4341 ><Node id="N10"

4342 ><Position X="8.096249999999998" Y="2.7781249999999997"

4343 /><Name

4344 ><![CDATA[Node 10]]></Name

4345 ><LabelAbove

4346 >True</LabelAbove

4347 ><Shape

4348 ><![CDATA[duplicator]]></Shape

4349 ><Info

4350 ><list-int/></Info></Node></Nodes

4351 ><Edges

4352 ><Edge id="E1"

4353 ><From

4354 >7</From

4355 ><PortFrom

4356 ><![CDATA[func]]></PortFrom

4357 ><To

4358 >3</To

4359 ><PortTo

4360 ><![CDATA[interface]]></PortTo

4361 ><Via

4362 ><Position X="1.3229166666666667" Y="2.3018750000000003"/></Via

4363 ><Info

4364 ><list-int/></Info></Edge

4365 ><Edge id="E2"

4366 ><From

4367 >4</From

4368 ><PortFrom

4369 ><![CDATA[interface]]></PortFrom

4370 ><To

4371 >8</To

4372 ><PortTo

4373 ><![CDATA[func]]></PortTo

4374 ><Via

4375 ><Position X="3.360208333333334" Y="2.38125"/></Via

4376 ><Info

4377 ><list-int/></Info></Edge

4378 ><Edge id="E3"

4379 ><From

4380 >10</From

4381 ><PortFrom

4382 ><![CDATA[down]]></PortFrom

4383 ><To

4384 >5</To

4385 ><PortTo

4386 ><![CDATA[interface]]></PortTo

4387 ><Via

4388 /><Info

4389 ><list-int/></Info></Edge

4390 ><Edge id="E4"

4391 ><From

4392 >9</From

4393 ><PortFrom

4394 ><![CDATA[down]]></PortFrom

4395 ><To

4396 >6</To

4397 ><PortTo

4398 ><![CDATA[interface]]></PortTo

4399 ><Via

4400 /><Info

4401 ><list-int/></Info></Edge

4402 ><Edge id="E5"

4403 ><From

4404 >10</From

4405 ><PortFrom

4406 ><![CDATA[copy1]]></PortFrom

4407 ><To

4408 >7</To

4409 ><PortTo

4410 ><![CDATA[res]]></PortTo

4411 ><Via

4412 ><Position X="7.7787500000000005" Y="1.2964583333333335"

4413 /><Position X="2.1695833333333336" Y="1.2964583333333335"/></Via

4414 ><Info

4415 ><list-int/></Info></Edge

4416 ><Edge id="E6"

4417 ><From

4418 >8</From

4419 ><PortFrom

4420 ><![CDATA[res]]></PortFrom

4421 ><To

4422 >10</To

4423 ><PortTo

4424 ><![CDATA[copy2]]></PortTo

4425 ><Via

4426 ><Position X="4.153958333333334" Y="0.6879166666666666"

4427 /><Position X="8.413749999999999" Y="0.6879166666666665"/></Via

4428 ><Info

4429 ><list-int/></Info></Edge

4430 ><Edge id="E7"

4431 ><From

4432 >9</From

4433 ><PortFrom

4434 ><![CDATA[copy1]]></PortFrom

4435 ><To

4436 >7</To

4437 ><PortTo

4438 ><![CDATA[arg]]></PortTo

4439 ><Via

4440 /><Info

4441 ><list-int/></Info></Edge

4442 ><Edge id="E8"

4443 ><From

4444 >8</From

4445 ><PortFrom

4446 ><![CDATA[arg]]></PortFrom

4447 ><To

4448 >9</To

4449 ><PortTo

4450 ><![CDATA[copy2]]></PortTo

4451 ><Via

4452 /><Info

4453 ><list-int/></Info></Edge></Edges></Network></RHS

4454 ><Mapping

4455 ><MappingElement lhs="3" rhs="3"

4456 /><MappingElement lhs="4" rhs="4"

4457 /><MappingElement lhs="5" rhs="5"

4458 /><MappingElement lhs="6" rhs="6"/></Mapping></INRule

4459 ><INRule

4460 ><Name

4461 ><![CDATA[Duplicator_Evaluator]]></Name

4462 ><LHS

4463 ><Network Width="15.0" Height="9.0"

4464 ><Info

4465 ><unit/></Info

4466 ><Nodes

4467 ><Node id="N1"

4468 ><Position X="2.0" Y="2.0"

4469 /><Name

4470 ><![CDATA[Node 1]]></Name

4471 ><LabelAbove

4472 >True</LabelAbove

4473 ><Shape

4474 ><![CDATA[duplicator]]></Shape

4475 ><Info

4476 ><list-int/></Info></Node

4477 ><Node id="N2"

4478 ><Position X="4.0" Y="2.0"

4479 /><Name

4480 ><![CDATA[Node 2]]></Name

4481 ><LabelAbove

4482 >True</LabelAbove

4483 ><Shape

4484 ><![CDATA[evaluation]]></Shape

4485 ><Info

4486 ><list-int/></Info></Node

4487 ><Node id="N3"

4488 ><Position X="1.5847916666666668" Y="0.5529166666666666"

4489 /><Name

4490 ><![CDATA[Node 3]]></Name

4491 ><LabelAbove

4492 >True</LabelAbove

4493 ><Shape

4494 ><![CDATA[interface]]></Shape

4495 ><Info

4496 ><list-int/></Info></Node

4497 ><Node id="N4"

4498 ><Position X="2.426041666666667" Y="0.5529166666666667"

4499 /><Name

4500 ><![CDATA[Node 4]]></Name

4501 ><LabelAbove

4502 >True</LabelAbove

4503 ><Shape

4504 ><![CDATA[interface]]></Shape

4505 ><Info

4506 ><list-int/></Info></Node

4507 ><Node id="N5"

4508 ><Position X="4.008125" Y="0.44708333333333333"

4509 /><Name

4510 ><![CDATA[Node 5]]></Name

4511 ><LabelAbove

4512 >True</LabelAbove

4513 ><Shape

4514 ><![CDATA[interface]]></Shape

4515 ><Info

4516 ><list-int/></Info></Node></Nodes

4517 ><Edges

4518 ><Edge id="E1"

4519 ><From

4520 >1</From

4521 ><PortFrom

4522 ><![CDATA[down]]></PortFrom

4523 ><To

4524 >2</To

4525 ><PortTo

4526 ><![CDATA[arg]]></PortTo

4527 ><Via

4528 /><Info

4529 ><list-int/></Info></Edge

4530 ><Edge id="E2"

4531 ><From

4532 >1</From

4533 ><PortFrom

4534 ><![CDATA[copy2]]></PortFrom

4535 ><To

4536 >4</To

4537 ><PortTo

4538 ><![CDATA[interface]]></PortTo

4539 ><Via

4540 /><Info

4541 ><list-int/></Info></Edge

4542 ><Edge id="E3"

4543 ><From

4544 >1</From

4545 ><PortFrom

4546 ><![CDATA[copy1]]></PortFrom

4547 ><To

4548 >3</To

4549 ><PortTo

4550 ><![CDATA[interface]]></PortTo

4551 ><Via

4552 /><Info

4553 ><list-int/></Info></Edge

4554 ><Edge id="E4"

4555 ><From

4556 >2</From

4557 ><PortFrom

4558 ><![CDATA[res]]></PortFrom

4559 ><To

4560 >5</To

4561 ><PortTo

4562 ><![CDATA[interface]]></PortTo

4563 ><Via

4564 /><Info

4565 ><list-int/></Info></Edge></Edges></Network></LHS

4566 ><RHS

4567 ><Network Width="15.0" Height="9.0"

4568 ><Info

4569 ><unit/></Info

4570 ><Nodes

4571 ><Node id="N3"

4572 ><Position X="1.5847916666666668" Y="0.5529166666666666"

4573 /><Name

4574 ><![CDATA[Node 3]]></Name

4575 ><LabelAbove

4576 >True</LabelAbove

4577 ><Shape

4578 ><![CDATA[interface]]></Shape

4579 ><Info

4580 ><list-int/></Info></Node

4581 ><Node id="N4"

4582 ><Position X="5.257083333333336" Y="0.5793750000000001"

4583 /><Name

4584 ><![CDATA[Node 4]]></Name

4585 ><LabelAbove

4586 >True</LabelAbove

4587 ><Shape

4588 ><![CDATA[interface]]></Shape

4589 ><Info

4590 ><list-int/></Info></Node

4591 ><Node id="N5"

4592 ><Position X="3.2672916666666674" Y="5.7387500000000005"

4593 /><Name

4594 ><![CDATA[Node 5]]></Name

4595 ><LabelAbove

4596 >True</LabelAbove

4597 ><Shape

4598 ><![CDATA[interface]]></Shape

4599 ><Info

4600 ><list-int/></Info></Node

4601 ><Node id="N6"

4602 ><Position X="2.3283333333333336" Y="1.878541666666667"

4603 /><Name

4604 ><![CDATA[Node 6]]></Name

4605 ><LabelAbove

4606 >True</LabelAbove

4607 ><Shape

4608 ><![CDATA[evaluation]]></Shape

4609 ><Info

4610 ><list-int/></Info></Node

4611 ><Node id="N7"

4612 ><Position X="4.471458333333333" Y="1.878541666666667"

4613 /><Name

4614 ><![CDATA[Node 7]]></Name

4615 ><LabelAbove

4616 >True</LabelAbove

4617 ><Shape

4618 ><![CDATA[evaluation]]></Shape

4619 ><Info

4620 ><list-int/></Info></Node

4621 ><Node id="N8"

4622 ><Position X="3.2808333333333337" Y="4.048125000000001"

4623 /><Name

4624 ><![CDATA[Node 8]]></Name

4625 ><LabelAbove

4626 >True</LabelAbove

4627 ><Shape

4628 ><![CDATA[duplicator]]></Shape

4629 ><Info

4630 ><list-int/></Info></Node></Nodes

4631 ><Edges

4632 ><Edge id="E1"

4633 ><From

4634 >6</From

4635 ><PortFrom

4636 ><![CDATA[arg]]></PortFrom

4637 ><To

4638 >3</To

4639 ><PortTo

4640 ><![CDATA[interface]]></PortTo

4641 ><Via

4642 ><Position X="1.5610416666666669" Y="2.3547916666666673"/></Via

4643 ><Info

4644 ><list-int/></Info></Edge

4645 ><Edge id="E2"

4646 ><From

4647 >4</From

4648 ><PortFrom

4649 ><![CDATA[interface]]></PortFrom

4650 ><To

4651 >7</To

4652 ><PortTo

4653 ><![CDATA[arg]]></PortTo

4654 ><Via

4655 ><Position X="5.238750000000001" Y="2.354791666666667"/></Via

4656 ><Info

4657 ><list-int/></Info></Edge

4658 ><Edge id="E3"

4659 ><From

4660 >5</From

4661 ><PortFrom

4662 ><![CDATA[interface]]></PortFrom

4663 ><To

4664 >8</To

4665 ><PortTo

4666 ><![CDATA[down]]></PortTo

4667 ><Via

4668 /><Info

4669 ><list-int/></Info></Edge

4670 ><Edge id="E4"

4671 ><From

4672 >8</From

4673 ><PortFrom

4674 ><![CDATA[copy1]]></PortFrom

4675 ><To

4676 >6</To

4677 ><PortTo

4678 ><![CDATA[res]]></PortTo

4679 ><Via

4680 ><Position X="2.9633333333333334" Y="1.3758333333333337"/></Via

4681 ><Info

4682 ><list-int/></Info></Edge

4683 ><Edge id="E5"

4684 ><From

4685 >7</From

4686 ><PortFrom

4687 ><![CDATA[res]]></PortFrom

4688 ><To

4689 >8</To

4690 ><PortTo

4691 ><![CDATA[copy2]]></PortTo

4692 ><Via

4693 ><Position X="3.5718750000000004" Y="1.3758333333333337"/></Via

4694 ><Info

4695 ><list-int/></Info></Edge></Edges></Network></RHS

4696 ><Mapping

4697 ><MappingElement lhs="3" rhs="3"

4698 /><MappingElement lhs="4" rhs="4"

4699 /><MappingElement lhs="5" rhs="5"/></Mapping></INRule

4700 ><INRule

4701 ><Name

4702 ><![CDATA[Duplicator_preApplication]]></Name

4703 ><LHS

4704 ><Network Width="15.0" Height="9.0"

4705 ><Info

4706 ><unit/></Info

4707 ><Nodes

4708 ><Node id="N1"

4709 ><Position X="2.0" Y="2.0"

4710 /><Name

4711 ><![CDATA[Node 1]]></Name

4712 ><LabelAbove

4713 >True</LabelAbove

4714 ><Shape

4715 ><![CDATA[duplicator]]></Shape

4716 ><Info

4717 ><list-int/></Info></Node

4718 ><Node id="N3"

4719 ><Position X="1.29375" Y="0.5264583333333333"

4720 /><Name

4721 ><![CDATA[Node 3]]></Name

4722 ><LabelAbove

4723 >True</LabelAbove

4724 ><Shape

4725 ><![CDATA[interface]]></Shape

4726 ><Info

4727 ><list-int/></Info></Node

4728 ><Node id="N4"

4729 ><Position X="2.955208333333333" Y="0.6058333333333334"

4730 /><Name

4731 ><![CDATA[Node 4]]></Name

4732 ><LabelAbove

4733 >True</LabelAbove

4734 ><Shape

4735 ><![CDATA[interface]]></Shape

4736 ><Info

4737 ><list-int/></Info></Node

4738 ><Node id="N5"

4739 ><Position X="2.8018750000000003" Y="5.5"

4740 /><Name

4741 ><![CDATA[Node 5]]></Name

4742 ><LabelAbove

4743 >True</LabelAbove

4744 ><Shape

4745 ><![CDATA[interface]]></Shape

4746 ><Info

4747 ><list-int/></Info></Node

4748 ><Node id="N6"

4749 ><Position X="1.2354166666666666" Y="5.5"

4750 /><Name

4751 ><![CDATA[Node 6]]></Name

4752 ><LabelAbove

4753 >True</LabelAbove

4754 ><Shape

4755 ><![CDATA[interface]]></Shape

4756 ><Info

4757 ><list-int/></Info></Node

4758 ><Node id="N7"

4759 ><Position X="2.037291666666667" Y="3.862916666666667"

4760 /><Name

4761 ><![CDATA[Node 7]]></Name

4762 ><LabelAbove

4763 >True</LabelAbove

4764 ><Shape

4765 ><![CDATA[beforeApplication]]></Shape

4766 ><Info

4767 ><list-int/></Info></Node></Nodes

4768 ><Edges

4769 ><Edge id="E2"

4770 ><From

4771 >1</From

4772 ><PortFrom

4773 ><![CDATA[copy2]]></PortFrom

4774 ><To

4775 >4</To

4776 ><PortTo

4777 ><![CDATA[interface]]></PortTo

4778 ><Via

4779 /><Info

4780 ><list-int/></Info></Edge

4781 ><Edge id="E3"

4782 ><From

4783 >1</From

4784 ><PortFrom

4785 ><![CDATA[copy1]]></PortFrom

4786 ><To

4787 >3</To

4788 ><PortTo

4789 ><![CDATA[interface]]></PortTo

4790 ><Via

4791 /><Info

4792 ><list-int/></Info></Edge

4793 ><Edge id="E4"

4794 ><From

4795 >1</From

4796 ><PortFrom

4797 ><![CDATA[down]]></PortFrom

4798 ><To

4799 >7</To

4800 ><PortTo

4801 ><![CDATA[res]]></PortTo

4802 ><Via

4803 /><Info

4804 ><list-int/></Info></Edge

4805 ><Edge id="E5"

4806 ><From

4807 >7</From

4808 ><PortFrom

4809 ><![CDATA[func]]></PortFrom

4810 ><To

4811 >6</To

4812 ><PortTo

4813 ><![CDATA[interface]]></PortTo

4814 ><Via

4815 /><Info

4816 ><list-int/></Info></Edge

4817 ><Edge id="E6"

4818 ><From

4819 >7</From

4820 ><PortFrom

4821 ><![CDATA[arg]]></PortFrom

4822 ><To

4823 >5</To

4824 ><PortTo

4825 ><![CDATA[interface]]></PortTo

4826 ><Via

4827 /><Info

4828 ><list-int/></Info></Edge></Edges></Network></LHS

4829 ><RHS

4830 ><Network Width="15.0" Height="9.0"

4831 ><Info

4832 ><unit/></Info

4833 ><Nodes

4834 ><Node id="N3"

4835 ><Position X="1.29375" Y="0.5264583333333333"

4836 /><Name

4837 ><![CDATA[Node 3]]></Name

4838 ><LabelAbove

4839 >True</LabelAbove

4840 ><Shape

4841 ><![CDATA[interface]]></Shape

4842 ><Info

4843 ><list-int/></Info></Node

4844 ><Node id="N4"

4845 ><Position X="2.955208333333333" Y="0.6322916666666668"

4846 /><Name

4847 ><![CDATA[Node 4]]></Name

4848 ><LabelAbove

4849 >True</LabelAbove

4850 ><Shape

4851 ><![CDATA[interface]]></Shape

4852 ><Info

4853 ><list-int/></Info></Node

4854 ><Node id="N5"

4855 ><Position X="2.934166666666667" Y="5.526458333333333"

4856 /><Name

4857 ><![CDATA[Node 5]]></Name

4858 ><LabelAbove

4859 >True</LabelAbove

4860 ><Shape

4861 ><![CDATA[interface]]></Shape

4862 ><Info

4863 ><list-int/></Info></Node

4864 ><Node id="N6"

4865 ><Position X="1.2883333333333333" Y="5.5"

4866 /><Name

4867 ><![CDATA[Node 6]]></Name

4868 ><LabelAbove

4869 >True</LabelAbove

4870 ><Shape

4871 ><![CDATA[interface]]></Shape

4872 ><Info

4873 ><list-int/></Info></Node

4874 ><Node id="N7"

4875 ><Position X="1.2964583333333337" Y="4.1275"

4876 /><Name

4877 ><![CDATA[Node 7]]></Name

4878 ><LabelAbove

4879 >True</LabelAbove

4880 ><Shape

4881 ><![CDATA[duplicator]]></Shape

4882 ><Info

4883 ><list-int/></Info></Node

4884 ><Node id="N8"

4885 ><Position X="2.936875" Y="4.1275"

4886 /><Name

4887 ><![CDATA[Node 8]]></Name

4888 ><LabelAbove

4889 >True</LabelAbove

4890 ><Shape

4891 ><![CDATA[duplicator]]></Shape

4892 ><Info

4893 ><list-int/></Info></Node

4894 ><Node id="N11"

4895 ><Position X="1.3229166666666667" Y="2.037291666666667"

4896 /><Name

4897 ><![CDATA[Node 11]]></Name

4898 ><LabelAbove

4899 >True</LabelAbove

4900 ><Shape

4901 ><![CDATA[beforeApplication]]></Shape

4902 ><Info

4903 ><list-int/></Info></Node

4904 ><Node id="N12"

4905 ><Position X="2.9368750000000006" Y="2.0108333333333337"

4906 /><Name

4907 ><![CDATA[Node 12]]></Name

4908 ><LabelAbove

4909 >True</LabelAbove

4910 ><Shape

4911 ><![CDATA[beforeApplication]]></Shape

4912 ><Info

4913 ><list-int/></Info></Node></Nodes

4914 ><Edges

4915 ><Edge id="E1"

4916 ><From

4917 >7</From

4918 ><PortFrom

4919 ><![CDATA[down]]></PortFrom

4920 ><To

4921 >6</To

4922 ><PortTo

4923 ><![CDATA[interface]]></PortTo

4924 ><Via

4925 /><Info

4926 ><list-int/></Info></Edge

4927 ><Edge id="E2"

4928 ><From

4929 >8</From

4930 ><PortFrom

4931 ><![CDATA[down]]></PortFrom

4932 ><To

4933 >5</To

4934 ><PortTo

4935 ><![CDATA[interface]]></PortTo

4936 ><Via

4937 /><Info

4938 ><list-int/></Info></Edge

4939 ><Edge id="E9"

4940 ><From

4941 >3</From

4942 ><PortFrom

4943 ><![CDATA[interface]]></PortFrom

4944 ><To

4945 >11</To

4946 ><PortTo

4947 ><![CDATA[res]]></PortTo

4948 ><Via

4949 /><Info

4950 ><list-int/></Info></Edge

4951 ><Edge id="E10"

4952 ><From

4953 >11</From

4954 ><PortFrom

4955 ><![CDATA[func]]></PortFrom

4956 ><To

4957 >7</To

4958 ><PortTo

4959 ><![CDATA[copy1]]></PortTo

4960 ><Via

4961 /><Info

4962 ><list-int/></Info></Edge

4963 ><Edge id="E11"

4964 ><From

4965 >11</From

4966 ><PortFrom

4967 ><![CDATA[arg]]></PortFrom

4968 ><To

4969 >8</To

4970 ><PortTo

4971 ><![CDATA[copy1]]></PortTo

4972 ><Via

4973 /><Info

4974 ><list-int/></Info></Edge

4975 ><Edge id="E12"

4976 ><From

4977 >4</From

4978 ><PortFrom

4979 ><![CDATA[interface]]></PortFrom

4980 ><To

4981 >12</To

4982 ><PortTo

4983 ><![CDATA[res]]></PortTo

4984 ><Via

4985 /><Info

4986 ><list-int/></Info></Edge

4987 ><Edge id="E13"

4988 ><From

4989 >12</From

4990 ><PortFrom

4991 ><![CDATA[func]]></PortFrom

4992 ><To

4993 >7</To

4994 ><PortTo

4995 ><![CDATA[copy2]]></PortTo

4996 ><Via

4997 /><Info

4998 ><list-int/></Info></Edge

4999 ><Edge id="E14"

5000 ><From

5001 >12</From

5002 ><PortFrom

5003 ><![CDATA[arg]]></PortFrom

5004 ><To

5005 >8</To

5006 ><PortTo

5007 ><![CDATA[copy2]]></PortTo

5008 ><Via

5009 /><Info

5010 ><list-int/></Info></Edge></Edges></Network></RHS

5011 ><Mapping

5012 ><MappingElement lhs="3" rhs="3"

5013 /><MappingElement lhs="4" rhs="4"

5014 /><MappingElement lhs="5" rhs="5"

5015 /><MappingElement lhs="6" rhs="6"/></Mapping></INRule

5016 ><INRule

5017 ><Name

5018 ><![CDATA[Evaluator_Nil]]></Name

5019 ><LHS

5020 ><Network Width="15.0" Height="9.0"

5021 ><Info

5022 ><unit/></Info

5023 ><Nodes

5024 ><Node id="N1"

5025 ><Position X="2.0" Y="2.0"

5026 /><Name

5027 ><![CDATA[Node 1]]></Name

5028 ><LabelAbove

5029 >True</LabelAbove

5030 ><Shape

5031 ><![CDATA[evaluation]]></Shape

5032 ><Info

5033 ><list-int/></Info></Node

5034 ><Node id="N2"

5035 ><Position X="2.0" Y="4.0"

5036 /><Name

5037 ><![CDATA[Node 2]]></Name

5038 ><LabelAbove

5039 >True</LabelAbove

5040 ><Shape

5041 ><![CDATA[Nil]]></Shape

5042 ><Info

5043 ><list-int/></Info></Node

5044 ><Node id="N3"

5045 ><Position X="2.008125" Y="0.44708333333333333"

5046 /><Name

5047 ><![CDATA[Node 3]]></Name

5048 ><LabelAbove

5049 >True</LabelAbove

5050 ><Shape

5051 ><![CDATA[interface]]></Shape

5052 ><Info

5053 ><list-int/></Info></Node></Nodes

5054 ><Edges

5055 ><Edge id="E1"

5056 ><From

5057 >1</From

5058 ><PortFrom

5059 ><![CDATA[arg]]></PortFrom

5060 ><To

5061 >2</To

5062 ><PortTo

5063 ><![CDATA[res]]></PortTo

5064 ><Via

5065 /><Info

5066 ><list-int/></Info></Edge

5067 ><Edge id="E2"

5068 ><From

5069 >1</From

5070 ><PortFrom

5071 ><![CDATA[res]]></PortFrom

5072 ><To

5073 >3</To

5074 ><PortTo

5075 ><![CDATA[interface]]></PortTo

5076 ><Via

5077 /><Info

5078 ><list-int/></Info></Edge></Edges></Network></LHS

5079 ><RHS

5080 ><Network Width="15.0" Height="9.0"

5081 ><Info

5082 ><unit/></Info

5083 ><Nodes

5084 ><Node id="N2"

5085 ><Position X="2.0" Y="4.0"

5086 /><Name

5087 ><![CDATA[Node 2]]></Name

5088 ><LabelAbove

5089 >True</LabelAbove

5090 ><Shape

5091 ><![CDATA[Nil]]></Shape

5092 ><Info

5093 ><list-int/></Info></Node

5094 ><Node id="N3"

5095 ><Position X="2.008125" Y="0.44708333333333333"

5096 /><Name

5097 ><![CDATA[Node 3]]></Name

5098 ><LabelAbove

5099 >True</LabelAbove

5100 ><Shape

5101 ><![CDATA[interface]]></Shape

5102 ><Info

5103 ><list-int/></Info></Node></Nodes

5104 ><Edges

5105 ><Edge id="E1"

5106 ><From

5107 >3</From

5108 ><PortFrom

5109 ><![CDATA[interface]]></PortFrom

5110 ><To

5111 >2</To

5112 ><PortTo

5113 ><![CDATA[res]]></PortTo

5114 ><Via

5115 /><Info

5116 ><list-int/></Info></Edge></Edges></Network></RHS

5117 ><Mapping

5118 ><MappingElement lhs="3" rhs="3"/></Mapping></INRule

5119 ><INRule

5120 ><Name

5121 ><![CDATA[Evaluator_Cons]]></Name

5122 ><LHS

5123 ><Network Width="15.0" Height="9.0"

5124 ><Info

5125 ><unit/></Info

5126 ><Nodes

5127 ><Node id="N1"

5128 ><Position X="2.0" Y="2.0"

5129 /><Name

5130 ><![CDATA[Node 1]]></Name

5131 ><LabelAbove

5132 >True</LabelAbove

5133 ><Shape

5134 ><![CDATA[evaluation]]></Shape

5135 ><Info

5136 ><list-int/></Info></Node

5137 ><Node id="N2"

5138 ><Position X="2.0" Y="4.0"

5139 /><Name

5140 ><![CDATA[Node 2]]></Name

5141 ><LabelAbove

5142 >True</LabelAbove

5143 ><Shape

5144 ><![CDATA[Cons]]></Shape

5145 ><Info

5146 ><list-int/></Info></Node

5147 ><Node id="N3"

5148 ><Position X="2.008125" Y="0.47354166666666664"

5149 /><Name

5150 ><![CDATA[Node 3]]></Name

5151 ><LabelAbove

5152 >True</LabelAbove

5153 ><Shape

5154 ><![CDATA[interface]]></Shape

5155 ><Info

5156 ><list-int/></Info></Node

5157 ><Node id="N4"

5158 ><Position X="0.9762500000000001" Y="4.732708333333333"

5159 /><Name

5160 ><![CDATA[Node 4]]></Name

5161 ><LabelAbove

5162 >True</LabelAbove

5163 ><Shape

5164 ><![CDATA[interface]]></Shape

5165 ><Info

5166 ><list-int/></Info></Node

5167 ><Node id="N5"

5168 ><Position X="3.24625" Y="4.970833333333333"

5169 /><Name

5170 ><![CDATA[Node 5]]></Name

5171 ><LabelAbove

5172 >True</LabelAbove

5173 ><Shape

5174 ><![CDATA[interface]]></Shape

5175 ><Info

5176 ><list-int/></Info></Node></Nodes

5177 ><Edges

5178 ><Edge id="E1"

5179 ><From

5180 >1</From

5181 ><PortFrom

5182 ><![CDATA[arg]]></PortFrom

5183 ><To

5184 >2</To

5185 ><PortTo

5186 ><![CDATA[res]]></PortTo

5187 ><Via

5188 /><Info

5189 ><list-int/></Info></Edge

5190 ><Edge id="E2"

5191 ><From

5192 >1</From

5193 ><PortFrom

5194 ><![CDATA[res]]></PortFrom

5195 ><To

5196 >3</To

5197 ><PortTo

5198 ><![CDATA[interface]]></PortTo

5199 ><Via

5200 /><Info

5201 ><list-int/></Info></Edge

5202 ><Edge id="E3"

5203 ><From

5204 >2</From

5205 ><PortFrom

5206 ><![CDATA[tail]]></PortFrom

5207 ><To

5208 >5</To

5209 ><PortTo

5210 ><![CDATA[interface]]></PortTo

5211 ><Via

5212 /><Info

5213 ><list-int/></Info></Edge

5214 ><Edge id="E4"

5215 ><From

5216 >2</From

5217 ><PortFrom

5218 ><![CDATA[head]]></PortFrom

5219 ><To

5220 >4</To

5221 ><PortTo

5222 ><![CDATA[interface]]></PortTo

5223 ><Via

5224 /><Info

5225 ><list-int/></Info></Edge></Edges></Network></LHS

5226 ><RHS

5227 ><Network Width="15.0" Height="9.0"

5228 ><Info

5229 ><unit/></Info

5230 ><Nodes

5231 ><Node id="N2"

5232 ><Position X="2.0" Y="4.0"

5233 /><Name

5234 ><![CDATA[Node 2]]></Name

5235 ><LabelAbove

5236 >True</LabelAbove

5237 ><Shape

5238 ><![CDATA[Cons]]></Shape

5239 ><Info

5240 ><list-int/></Info></Node

5241 ><Node id="N3"

5242 ><Position X="2.008125" Y="0.47354166666666664"

5243 /><Name

5244 ><![CDATA[Node 3]]></Name

5245 ><LabelAbove

5246 >True</LabelAbove

5247 ><Shape

5248 ><![CDATA[interface]]></Shape

5249 ><Info

5250 ><list-int/></Info></Node

5251 ><Node id="N4"

5252 ><Position X="0.9762500000000001" Y="4.732708333333333"

5253 /><Name

5254 ><![CDATA[Node 4]]></Name

5255 ><LabelAbove

5256 >True</LabelAbove

5257 ><Shape

5258 ><![CDATA[interface]]></Shape

5259 ><Info

5260 ><list-int/></Info></Node

5261 ><Node id="N5"

5262 ><Position X="3.24625" Y="4.970833333333333"

5263 /><Name

5264 ><![CDATA[Node 5]]></Name

5265 ><LabelAbove

5266 >True</LabelAbove

5267 ><Shape

5268 ><![CDATA[interface]]></Shape

5269 ><Info

5270 ><list-int/></Info></Node></Nodes

5271 ><Edges

5272 ><Edge id="E3"

5273 ><From

5274 >2</From

5275 ><PortFrom

5276 ><![CDATA[tail]]></PortFrom

5277 ><To

5278 >5</To

5279 ><PortTo

5280 ><![CDATA[interface]]></PortTo

5281 ><Via

5282 /><Info

5283 ><list-int/></Info></Edge

5284 ><Edge id="E4"

5285 ><From

5286 >2</From

5287 ><PortFrom

5288 ><![CDATA[head]]></PortFrom

5289 ><To

5290 >4</To

5291 ><PortTo

5292 ><![CDATA[interface]]></PortTo

5293 ><Via

5294 /><Info

5295 ><list-int/></Info></Edge

5296 ><Edge id="E5"

5297 ><From

5298 >2</From

5299 ><PortFrom

5300 ><![CDATA[res]]></PortFrom

5301 ><To

5302 >3</To

5303 ><PortTo

5304 ><![CDATA[interface]]></PortTo

5305 ><Via

5306 /><Info

5307 ><list-int/></Info></Edge></Edges></Network></RHS

5308 ><Mapping

5309 ><MappingElement lhs="3" rhs="3"

5310 /><MappingElement lhs="4" rhs="4"

5311 /><MappingElement lhs="5" rhs="5"/></Mapping></INRule

5312 ><INRule

5313 ><Name

5314 ><![CDATA[Evaluator_True]]></Name

5315 ><LHS

5316 ><Network Width="15.0" Height="9.0"

5317 ><Info

5318 ><unit/></Info

5319 ><Nodes

5320 ><Node id="N1"

5321 ><Position X="2.0" Y="2.0"

5322 /><Name

5323 ><![CDATA[Node 1]]></Name

5324 ><LabelAbove

5325 >True</LabelAbove

5326 ><Shape

5327 ><![CDATA[evaluation]]></Shape

5328 ><Info

5329 ><list-int/></Info></Node

5330 ><Node id="N2"

5331 ><Position X="2.0" Y="4.0"

5332 /><Name

5333 ><![CDATA[Node 2]]></Name

5334 ><LabelAbove

5335 >True</LabelAbove

5336 ><Shape

5337 ><![CDATA[True]]></Shape

5338 ><Info

5339 ><list-int/></Info></Node

5340 ><Node id="N3"

5341 ><Position X="2.008125" Y="0.44708333333333333"

5342 /><Name

5343 ><![CDATA[Node 3]]></Name

5344 ><LabelAbove

5345 >True</LabelAbove

5346 ><Shape

5347 ><![CDATA[interface]]></Shape

5348 ><Info

5349 ><list-int/></Info></Node></Nodes

5350 ><Edges

5351 ><Edge id="E1"

5352 ><From

5353 >1</From

5354 ><PortFrom

5355 ><![CDATA[arg]]></PortFrom

5356 ><To

5357 >2</To

5358 ><PortTo

5359 ><![CDATA[res]]></PortTo

5360 ><Via

5361 /><Info

5362 ><list-int/></Info></Edge

5363 ><Edge id="E2"

5364 ><From

5365 >1</From

5366 ><PortFrom

5367 ><![CDATA[res]]></PortFrom

5368 ><To

5369 >3</To

5370 ><PortTo

5371 ><![CDATA[interface]]></PortTo

5372 ><Via

5373 /><Info

5374 ><list-int/></Info></Edge></Edges></Network></LHS

5375 ><RHS

5376 ><Network Width="15.0" Height="9.0"

5377 ><Info

5378 ><unit/></Info

5379 ><Nodes

5380 ><Node id="N2"

5381 ><Position X="2.0" Y="4.0"

5382 /><Name

5383 ><![CDATA[Node 2]]></Name

5384 ><LabelAbove

5385 >True</LabelAbove

5386 ><Shape

5387 ><![CDATA[True]]></Shape

5388 ><Info

5389 ><list-int/></Info></Node

5390 ><Node id="N3"

5391 ><Position X="2.008125" Y="0.44708333333333333"

5392 /><Name

5393 ><![CDATA[Node 3]]></Name

5394 ><LabelAbove

5395 >True</LabelAbove

5396 ><Shape

5397 ><![CDATA[interface]]></Shape

5398 ><Info

5399 ><list-int/></Info></Node></Nodes

5400 ><Edges

5401 ><Edge id="E1"

5402 ><From

5403 >2</From

5404 ><PortFrom

5405 ><![CDATA[res]]></PortFrom

5406 ><To

5407 >3</To

5408 ><PortTo

5409 ><![CDATA[interface]]></PortTo

5410 ><Via

5411 /><Info

5412 ><list-int/></Info></Edge></Edges></Network></RHS

5413 ><Mapping

5414 ><MappingElement lhs="3" rhs="3"/></Mapping></INRule

5415 ><INRule

5416 ><Name

5417 ><![CDATA[Evaluator_False]]></Name

5418 ><LHS

5419 ><Network Width="15.0" Height="9.0"

5420 ><Info

5421 ><unit/></Info

5422 ><Nodes

5423 ><Node id="N1"

5424 ><Position X="2.0" Y="2.0"

5425 /><Name

5426 ><![CDATA[Node 1]]></Name

5427 ><LabelAbove

5428 >True</LabelAbove

5429 ><Shape

5430 ><![CDATA[evaluation]]></Shape

5431 ><Info

5432 ><list-int/></Info></Node

5433 ><Node id="N2"

5434 ><Position X="2.0" Y="4.0"

5435 /><Name

5436 ><![CDATA[Node 2]]></Name

5437 ><LabelAbove

5438 >True</LabelAbove

5439 ><Shape

5440 ><![CDATA[False]]></Shape

5441 ><Info

5442 ><list-int/></Info></Node

5443 ><Node id="N3"

5444 ><Position X="2.008125" Y="0.5"

5445 /><Name

5446 ><![CDATA[Node 3]]></Name

5447 ><LabelAbove

5448 >True</LabelAbove

5449 ><Shape

5450 ><![CDATA[interface]]></Shape

5451 ><Info

5452 ><list-int/></Info></Node></Nodes

5453 ><Edges

5454 ><Edge id="E1"

5455 ><From

5456 >1</From

5457 ><PortFrom

5458 ><![CDATA[arg]]></PortFrom

5459 ><To

5460 >2</To

5461 ><PortTo

5462 ><![CDATA[res]]></PortTo

5463 ><Via

5464 /><Info

5465 ><list-int/></Info></Edge

5466 ><Edge id="E2"

5467 ><From

5468 >1</From

5469 ><PortFrom

5470 ><![CDATA[res]]></PortFrom

5471 ><To

5472 >3</To

5473 ><PortTo

5474 ><![CDATA[interface]]></PortTo

5475 ><Via

5476 /><Info

5477 ><list-int/></Info></Edge></Edges></Network></LHS

5478 ><RHS

5479 ><Network Width="15.0" Height="9.0"

5480 ><Info

5481 ><unit/></Info

5482 ><Nodes

5483 ><Node id="N2"

5484 ><Position X="2.0" Y="4.0"

5485 /><Name

5486 ><![CDATA[Node 2]]></Name

5487 ><LabelAbove

5488 >True</LabelAbove

5489 ><Shape

5490 ><![CDATA[False]]></Shape

5491 ><Info

5492 ><list-int/></Info></Node

5493 ><Node id="N3"

5494 ><Position X="2.008125" Y="0.5"

5495 /><Name

5496 ><![CDATA[Node 3]]></Name

5497 ><LabelAbove

5498 >True</LabelAbove

5499 ><Shape

5500 ><![CDATA[interface]]></Shape

5501 ><Info

5502 ><list-int/></Info></Node></Nodes

5503 ><Edges

5504 ><Edge id="E1"

5505 ><From

5506 >2</From

5507 ><PortFrom

5508 ><![CDATA[res]]></PortFrom

5509 ><To

5510 >3</To

5511 ><PortTo

5512 ><![CDATA[interface]]></PortTo

5513 ><Via

5514 /><Info

5515 ><list-int/></Info></Edge></Edges></Network></RHS

5516 ><Mapping

5517 ><MappingElement lhs="3" rhs="3"/></Mapping></INRule

5518 ><INRule

5519 ><Name

5520 ><![CDATA[Evaluator_Zero]]></Name

5521 ><LHS

5522 ><Network Width="15.0" Height="9.0"

5523 ><Info

5524 ><unit/></Info

5525 ><Nodes

5526 ><Node id="N1"

5527 ><Position X="2.0" Y="2.0"

5528 /><Name

5529 ><![CDATA[Node 1]]></Name

5530 ><LabelAbove

5531 >True</LabelAbove

5532 ><Shape

5533 ><![CDATA[evaluation]]></Shape

5534 ><Info

5535 ><list-int/></Info></Node

5536 ><Node id="N2"

5537 ><Position X="2.0" Y="4.0"

5538 /><Name

5539 ><![CDATA[Node 2]]></Name

5540 ><LabelAbove

5541 >True</LabelAbove

5542 ><Shape

5543 ><![CDATA[Zero]]></Shape

5544 ><Info

5545 ><list-int/></Info></Node

5546 ><Node id="N3"

5547 ><Position X="2.008125" Y="0.47354166666666675"

5548 /><Name

5549 ><![CDATA[Node 3]]></Name

5550 ><LabelAbove

5551 >True</LabelAbove

5552 ><Shape

5553 ><![CDATA[interface]]></Shape

5554 ><Info

5555 ><list-int/></Info></Node></Nodes

5556 ><Edges

5557 ><Edge id="E1"

5558 ><From

5559 >1</From

5560 ><PortFrom

5561 ><![CDATA[arg]]></PortFrom

5562 ><To

5563 >2</To

5564 ><PortTo

5565 ><![CDATA[res]]></PortTo

5566 ><Via

5567 /><Info

5568 ><list-int/></Info></Edge

5569 ><Edge id="E2"

5570 ><From

5571 >1</From

5572 ><PortFrom

5573 ><![CDATA[res]]></PortFrom

5574 ><To

5575 >3</To

5576 ><PortTo

5577 ><![CDATA[interface]]></PortTo

5578 ><Via

5579 /><Info

5580 ><list-int/></Info></Edge></Edges></Network></LHS

5581 ><RHS

5582 ><Network Width="15.0" Height="9.0"

5583 ><Info

5584 ><unit/></Info

5585 ><Nodes

5586 ><Node id="N2"

5587 ><Position X="2.0" Y="4.0"

5588 /><Name

5589 ><![CDATA[Node 2]]></Name

5590 ><LabelAbove

5591 >True</LabelAbove

5592 ><Shape

5593 ><![CDATA[Zero]]></Shape

5594 ><Info

5595 ><list-int/></Info></Node

5596 ><Node id="N3"

5597 ><Position X="2.008125" Y="0.47354166666666675"

5598 /><Name

5599 ><![CDATA[Node 3]]></Name

5600 ><LabelAbove

5601 >True</LabelAbove

5602 ><Shape

5603 ><![CDATA[interface]]></Shape

5604 ><Info

5605 ><list-int/></Info></Node></Nodes

5606 ><Edges

5607 ><Edge id="E1"

5608 ><From

5609 >2</From

5610 ><PortFrom

5611 ><![CDATA[res]]></PortFrom

5612 ><To

5613 >3</To

5614 ><PortTo

5615 ><![CDATA[interface]]></PortTo

5616 ><Via

5617 /><Info

5618 ><list-int/></Info></Edge></Edges></Network></RHS

5619 ><Mapping

5620 ><MappingElement lhs="3" rhs="3"/></Mapping></INRule

5621 ><INRule

5622 ><Name

5623 ><![CDATA[Evaluator_Succ]]></Name

5624 ><LHS

5625 ><Network Width="15.0" Height="9.0"

5626 ><Info

5627 ><unit/></Info

5628 ><Nodes

5629 ><Node id="N1"

5630 ><Position X="2.0" Y="2.0"

5631 /><Name

5632 ><![CDATA[Node 1]]></Name

5633 ><LabelAbove

5634 >True</LabelAbove

5635 ><Shape

5636 ><![CDATA[evaluation]]></Shape

5637 ><Info

5638 ><list-int/></Info></Node

5639 ><Node id="N2"

5640 ><Position X="2.0" Y="4.0"

5641 /><Name

5642 ><![CDATA[Node 2]]></Name

5643 ><LabelAbove

5644 >True</LabelAbove

5645 ><Shape

5646 ><![CDATA[Succ]]></Shape

5647 ><Info

5648 ><list-int/></Info></Node

5649 ><Node id="N3"

5650 ><Position X="2.008125" Y="0.5529166666666667"

5651 /><Name

5652 ><![CDATA[Node 3]]></Name

5653 ><LabelAbove

5654 >True</LabelAbove

5655 ><Shape

5656 ><![CDATA[interface]]></Shape

5657 ><Info

5658 ><list-int/></Info></Node

5659 ><Node id="N4"

5660 ><Position X="1.9816666666666667" Y="5.076666666666667"

5661 /><Name

5662 ><![CDATA[Node 4]]></Name

5663 ><LabelAbove

5664 >True</LabelAbove

5665 ><Shape

5666 ><![CDATA[interface]]></Shape

5667 ><Info

5668 ><list-int/></Info></Node></Nodes

5669 ><Edges

5670 ><Edge id="E1"

5671 ><From

5672 >1</From

5673 ><PortFrom

5674 ><![CDATA[arg]]></PortFrom

5675 ><To

5676 >2</To

5677 ><PortTo

5678 ><![CDATA[res]]></PortTo

5679 ><Via

5680 /><Info

5681 ><list-int/></Info></Edge

5682 ><Edge id="E2"

5683 ><From

5684 >1</From

5685 ><PortFrom

5686 ><![CDATA[res]]></PortFrom

5687 ><To

5688 >3</To

5689 ><PortTo

5690 ><![CDATA[interface]]></PortTo

5691 ><Via

5692 /><Info

5693 ><list-int/></Info></Edge

5694 ><Edge id="E3"

5695 ><From

5696 >2</From

5697 ><PortFrom

5698 ><![CDATA[arg]]></PortFrom

5699 ><To

5700 >4</To

5701 ><PortTo

5702 ><![CDATA[interface]]></PortTo

5703 ><Via

5704 /><Info

5705 ><list-int/></Info></Edge></Edges></Network></LHS

5706 ><RHS

5707 ><Network Width="15.0" Height="9.0"

5708 ><Info

5709 ><unit/></Info

5710 ><Nodes

5711 ><Node id="N2"

5712 ><Position X="1.9735416666666665" Y="3.8677083333333333"

5713 /><Name

5714 ><![CDATA[Node 2]]></Name

5715 ><LabelAbove

5716 >True</LabelAbove

5717 ><Shape

5718 ><![CDATA[Succ]]></Shape

5719 ><Info

5720 ><list-int/></Info></Node

5721 ><Node id="N3"

5722 ><Position X="1.981666666666667" Y="0.5529166666666667"

5723 /><Name

5724 ><![CDATA[Node 3]]></Name

5725 ><LabelAbove

5726 >True</LabelAbove

5727 ><Shape

5728 ><![CDATA[interface]]></Shape

5729 ><Info

5730 ><list-int/></Info></Node

5731 ><Node id="N4"

5732 ><Position X="1.9816666666666667" Y="5.076666666666667"

5733 /><Name

5734 ><![CDATA[Node 4]]></Name

5735 ><LabelAbove

5736 >True</LabelAbove

5737 ><Shape

5738 ><![CDATA[interface]]></Shape

5739 ><Info

5740 ><list-int/></Info></Node></Nodes

5741 ><Edges

5742 ><Edge id="E3"

5743 ><From

5744 >2</From

5745 ><PortFrom

5746 ><![CDATA[arg]]></PortFrom

5747 ><To

5748 >4</To

5749 ><PortTo

5750 ><![CDATA[interface]]></PortTo

5751 ><Via

5752 /><Info

5753 ><list-int/></Info></Edge

5754 ><Edge id="E4"

5755 ><From

5756 >3</From

5757 ><PortFrom

5758 ><![CDATA[interface]]></PortFrom

5759 ><To

5760 >2</To

5761 ><PortTo

5762 ><![CDATA[res]]></PortTo

5763 ><Via

5764 /><Info

5765 ><list-int/></Info></Edge></Edges></Network></RHS

5766 ><Mapping

5767 ><MappingElement lhs="3" rhs="3"

5768 /><MappingElement lhs="4" rhs="4"/></Mapping></INRule

5769 ><INRule

5770 ><Name

5771 ><![CDATA[Erase_Nil]]></Name

5772 ><LHS

5773 ><Network Width="15.0" Height="9.0"

5774 ><Info

5775 ><unit/></Info

5776 ><Nodes

5777 ><Node id="N1"

5778 ><Position X="2.0" Y="2.0"

5779 /><Name

5780 ><![CDATA[Node 1]]></Name

5781 ><LabelAbove

5782 >True</LabelAbove

5783 ><Shape

5784 ><![CDATA[Erase]]></Shape

5785 ><Info

5786 ><list-int/></Info></Node

5787 ><Node id="N2"

5788 ><Position X="2.0" Y="4.0"

5789 /><Name

5790 ><![CDATA[Node 2]]></Name

5791 ><LabelAbove

5792 >True</LabelAbove

5793 ><Shape

5794 ><![CDATA[Nil]]></Shape

5795 ><Info

5796 ><list-int/></Info></Node></Nodes

5797 ><Edges

5798 ><Edge id="E1"

5799 ><From

5800 >1</From

5801 ><PortFrom

5802 ><![CDATA[down]]></PortFrom

5803 ><To

5804 >2</To

5805 ><PortTo

5806 ><![CDATA[res]]></PortTo

5807 ><Via

5808 /><Info

5809 ><list-int/></Info></Edge></Edges></Network></LHS

5810 ><RHS

5811 ><Network Width="15.0" Height="9.0"

5812 ><Info

5813 ><unit/></Info

5814 ><Nodes

5815 /><Edges/></Network></RHS

5816 ><Mapping/></INRule

5817 ><INRule

5818 ><Name

5819 ><![CDATA[Erase_Cons]]></Name

5820 ><LHS

5821 ><Network Width="15.0" Height="9.0"

5822 ><Info

5823 ><unit/></Info

5824 ><Nodes

5825 ><Node id="N1"

5826 ><Position X="2.0" Y="2.0"

5827 /><Name

5828 ><![CDATA[Node 1]]></Name

5829 ><LabelAbove

5830 >True</LabelAbove

5831 ><Shape

5832 ><![CDATA[Erase]]></Shape

5833 ><Info

5834 ><list-int/></Info></Node

5835 ><Node id="N2"

5836 ><Position X="2.0" Y="4.0"

5837 /><Name

5838 ><![CDATA[Node 2]]></Name

5839 ><LabelAbove

5840 >True</LabelAbove

5841 ><Shape

5842 ><![CDATA[Cons]]></Shape

5843 ><Info

5844 ><list-int/></Info></Node

5845 ><Node id="N3"

5846 ><Position X="1.0820833333333333" Y="4.865"

5847 /><Name

5848 ><![CDATA[Node 3]]></Name

5849 ><LabelAbove

5850 >True</LabelAbove

5851 ><Shape

5852 ><![CDATA[interface]]></Shape

5853 ><Info

5854 ><list-int/></Info></Node

5855 ><Node id="N4"

5856 ><Position X="2.7964583333333333" Y="4.8914583333333335"

5857 /><Name

5858 ><![CDATA[Node 4]]></Name

5859 ><LabelAbove

5860 >True</LabelAbove

5861 ><Shape

5862 ><![CDATA[interface]]></Shape

5863 ><Info

5864 ><list-int/></Info></Node></Nodes

5865 ><Edges

5866 ><Edge id="E1"

5867 ><From

5868 >1</From

5869 ><PortFrom

5870 ><![CDATA[down]]></PortFrom

5871 ><To

5872 >2</To

5873 ><PortTo

5874 ><![CDATA[res]]></PortTo

5875 ><Via

5876 /><Info

5877 ><list-int/></Info></Edge

5878 ><Edge id="E2"

5879 ><From

5880 >2</From

5881 ><PortFrom

5882 ><![CDATA[tail]]></PortFrom

5883 ><To

5884 >4</To

5885 ><PortTo

5886 ><![CDATA[interface]]></PortTo

5887 ><Via

5888 /><Info

5889 ><list-int/></Info></Edge

5890 ><Edge id="E3"

5891 ><From

5892 >2</From

5893 ><PortFrom

5894 ><![CDATA[head]]></PortFrom

5895 ><To

5896 >3</To

5897 ><PortTo

5898 ><![CDATA[interface]]></PortTo

5899 ><Via

5900 /><Info

5901 ><list-int/></Info></Edge></Edges></Network></LHS

5902 ><RHS

5903 ><Network Width="15.0" Height="9.0"

5904 ><Info

5905 ><unit/></Info

5906 ><Nodes

5907 ><Node id="N3"

5908 ><Position X="1.0820833333333333" Y="4.865"

5909 /><Name

5910 ><![CDATA[Node 3]]></Name

5911 ><LabelAbove

5912 >True</LabelAbove

5913 ><Shape

5914 ><![CDATA[interface]]></Shape

5915 ><Info

5916 ><list-int/></Info></Node

5917 ><Node id="N4"

5918 ><Position X="2.7964583333333333" Y="4.8914583333333335"

5919 /><Name

5920 ><![CDATA[Node 4]]></Name

5921 ><LabelAbove

5922 >True</LabelAbove

5923 ><Shape

5924 ><![CDATA[interface]]></Shape

5925 ><Info

5926 ><list-int/></Info></Node

5927 ><Node id="N5"

5928 ><Position X="1.0847916666666668" Y="3.042708333333333"

5929 /><Name

5930 ><![CDATA[Node 5]]></Name

5931 ><LabelAbove

5932 >True</LabelAbove

5933 ><Shape

5934 ><![CDATA[Erase]]></Shape

5935 ><Info

5936 ><list-int/></Info></Node

5937 ><Node id="N6"

5938 ><Position X="2.778125" Y="3.0162500000000003"

5939 /><Name

5940 ><![CDATA[Node 6]]></Name

5941 ><LabelAbove

5942 >True</LabelAbove

5943 ><Shape

5944 ><![CDATA[Erase]]></Shape

5945 ><Info

5946 ><list-int/></Info></Node></Nodes

5947 ><Edges

5948 ><Edge id="E1"

5949 ><From

5950 >5</From

5951 ><PortFrom

5952 ><![CDATA[down]]></PortFrom

5953 ><To

5954 >3</To

5955 ><PortTo

5956 ><![CDATA[interface]]></PortTo

5957 ><Via

5958 /><Info

5959 ><list-int/></Info></Edge

5960 ><Edge id="E2"

5961 ><From

5962 >6</From

5963 ><PortFrom

5964 ><![CDATA[down]]></PortFrom

5965 ><To

5966 >4</To

5967 ><PortTo

5968 ><![CDATA[interface]]></PortTo

5969 ><Via

5970 /><Info

5971 ><list-int/></Info></Edge></Edges></Network></RHS

5972 ><Mapping

5973 ><MappingElement lhs="3" rhs="3"

5974 /><MappingElement lhs="4" rhs="4"/></Mapping></INRule

5975 ><INRule

5976 ><Name

5977 ><![CDATA[Erase_True]]></Name

5978 ><LHS

5979 ><Network Width="15.0" Height="9.0"

5980 ><Info

5981 ><unit/></Info

5982 ><Nodes

5983 ><Node id="N1"

5984 ><Position X="2.0" Y="2.0"

5985 /><Name

5986 ><![CDATA[Node 1]]></Name

5987 ><LabelAbove

5988 >True</LabelAbove

5989 ><Shape

5990 ><![CDATA[Erase]]></Shape

5991 ><Info

5992 ><list-int/></Info></Node

5993 ><Node id="N2"

5994 ><Position X="2.0" Y="4.0"

5995 /><Name

5996 ><![CDATA[Node 2]]></Name

5997 ><LabelAbove

5998 >True</LabelAbove

5999 ><Shape

6000 ><![CDATA[True]]></Shape

6001 ><Info

6002 ><list-int/></Info></Node></Nodes

6003 ><Edges

6004 ><Edge id="E1"

6005 ><From

6006 >1</From

6007 ><PortFrom

6008 ><![CDATA[down]]></PortFrom

6009 ><To

6010 >2</To

6011 ><PortTo

6012 ><![CDATA[res]]></PortTo

6013 ><Via

6014 /><Info

6015 ><list-int/></Info></Edge></Edges></Network></LHS

6016 ><RHS

6017 ><Network Width="15.0" Height="9.0"

6018 ><Info

6019 ><unit/></Info

6020 ><Nodes

6021 /><Edges/></Network></RHS

6022 ><Mapping/></INRule

6023 ><INRule

6024 ><Name

6025 ><![CDATA[Erase_False]]></Name

6026 ><LHS

6027 ><Network Width="15.0" Height="9.0"

6028 ><Info

6029 ><unit/></Info

6030 ><Nodes

6031 ><Node id="N1"

6032 ><Position X="2.0" Y="2.0"

6033 /><Name

6034 ><![CDATA[Node 1]]></Name

6035 ><LabelAbove

6036 >True</LabelAbove

6037 ><Shape

6038 ><![CDATA[Erase]]></Shape

6039 ><Info

6040 ><list-int/></Info></Node

6041 ><Node id="N2"

6042 ><Position X="2.0" Y="4.0"

6043 /><Name

6044 ><![CDATA[Node 2]]></Name

6045 ><LabelAbove

6046 >True</LabelAbove

6047 ><Shape

6048 ><![CDATA[False]]></Shape

6049 ><Info

6050 ><list-int/></Info></Node></Nodes

6051 ><Edges

6052 ><Edge id="E1"

6053 ><From

6054 >1</From

6055 ><PortFrom

6056 ><![CDATA[down]]></PortFrom

6057 ><To

6058 >2</To

6059 ><PortTo

6060 ><![CDATA[res]]></PortTo

6061 ><Via

6062 /><Info

6063 ><list-int/></Info></Edge></Edges></Network></LHS

6064 ><RHS

6065 ><Network Width="15.0" Height="9.0"

6066 ><Info

6067 ><unit/></Info

6068 ><Nodes

6069 /><Edges/></Network></RHS

6070 ><Mapping/></INRule

6071 ><INRule

6072 ><Name

6073 ><![CDATA[Erase_Zero]]></Name

6074 ><LHS

6075 ><Network Width="15.0" Height="9.0"

6076 ><Info

6077 ><unit/></Info

6078 ><Nodes

6079 ><Node id="N1"

6080 ><Position X="2.0" Y="2.0"

6081 /><Name

6082 ><![CDATA[Node 1]]></Name

6083 ><LabelAbove

6084 >True</LabelAbove

6085 ><Shape

6086 ><![CDATA[Erase]]></Shape

6087 ><Info

6088 ><list-int/></Info></Node

6089 ><Node id="N2"

6090 ><Position X="2.0" Y="4.0"

6091 /><Name

6092 ><![CDATA[Node 2]]></Name

6093 ><LabelAbove

6094 >True</LabelAbove

6095 ><Shape

6096 ><![CDATA[Zero]]></Shape

6097 ><Info

6098 ><list-int/></Info></Node></Nodes

6099 ><Edges

6100 ><Edge id="E1"

6101 ><From

6102 >1</From

6103 ><PortFrom

6104 ><![CDATA[down]]></PortFrom

6105 ><To

6106 >2</To

6107 ><PortTo

6108 ><![CDATA[res]]></PortTo

6109 ><Via

6110 /><Info

6111 ><list-int/></Info></Edge></Edges></Network></LHS

6112 ><RHS

6113 ><Network Width="15.0" Height="9.0"

6114 ><Info

6115 ><unit/></Info

6116 ><Nodes

6117 /><Edges/></Network></RHS

6118 ><Mapping/></INRule

6119 ><INRule

6120 ><Name

6121 ><![CDATA[Erase_Succ]]></Name

6122 ><LHS

6123 ><Network Width="15.0" Height="9.0"

6124 ><Info

6125 ><unit/></Info

6126 ><Nodes

6127 ><Node id="N1"

6128 ><Position X="2.0" Y="2.0"

6129 /><Name

6130 ><![CDATA[Node 1]]></Name

6131 ><LabelAbove

6132 >True</LabelAbove

6133 ><Shape

6134 ><![CDATA[Erase]]></Shape

6135 ><Info

6136 ><list-int/></Info></Node

6137 ><Node id="N2"

6138 ><Position X="2.0" Y="4.0"

6139 /><Name

6140 ><![CDATA[Node 2]]></Name

6141 ><LabelAbove

6142 >True</LabelAbove

6143 ><Shape

6144 ><![CDATA[Succ]]></Shape

6145 ><Info

6146 ><list-int/></Info></Node

6147 ><Node id="N3"

6148 ><Position X="1.981666666666667" Y="4.970833333333333"

6149 /><Name

6150 ><![CDATA[Node 3]]></Name

6151 ><LabelAbove

6152 >True</LabelAbove

6153 ><Shape

6154 ><![CDATA[interface]]></Shape

6155 ><Info

6156 ><list-int/></Info></Node></Nodes

6157 ><Edges

6158 ><Edge id="E1"

6159 ><From

6160 >1</From

6161 ><PortFrom

6162 ><![CDATA[down]]></PortFrom

6163 ><To

6164 >2</To

6165 ><PortTo

6166 ><![CDATA[res]]></PortTo

6167 ><Via

6168 /><Info

6169 ><list-int/></Info></Edge

6170 ><Edge id="E2"

6171 ><From

6172 >2</From

6173 ><PortFrom

6174 ><![CDATA[arg]]></PortFrom

6175 ><To

6176 >3</To

6177 ><PortTo

6178 ><![CDATA[interface]]></PortTo

6179 ><Via

6180 /><Info

6181 ><list-int/></Info></Edge></Edges></Network></LHS

6182 ><RHS

6183 ><Network Width="15.0" Height="9.0"

6184 ><Info

6185 ><unit/></Info

6186 ><Nodes

6187 ><Node id="N1"

6188 ><Position X="1.9735416666666665" Y="2.0"

6189 /><Name

6190 ><![CDATA[Node 1]]></Name

6191 ><LabelAbove

6192 >True</LabelAbove

6193 ><Shape

6194 ><![CDATA[Erase]]></Shape

6195 ><Info

6196 ><list-int/></Info></Node

6197 ><Node id="N3"

6198 ><Position X="1.981666666666667" Y="4.970833333333333"

6199 /><Name

6200 ><![CDATA[Node 3]]></Name

6201 ><LabelAbove

6202 >True</LabelAbove

6203 ><Shape

6204 ><![CDATA[interface]]></Shape

6205 ><Info

6206 ><list-int/></Info></Node></Nodes

6207 ><Edges

6208 ><Edge id="E1"

6209 ><From

6210 >1</From

6211 ><PortFrom

6212 ><![CDATA[down]]></PortFrom

6213 ><To

6214 >3</To

6215 ><PortTo

6216 ><![CDATA[interface]]></PortTo

6217 ><Via

6218 /><Info

6219 ><list-int/></Info></Edge></Edges></Network></RHS

6220 ><Mapping

6221 ><MappingElement lhs="3" rhs="3"/></Mapping></INRule

6222 ><INRule

6223 ><Name

6224 ><![CDATA[Copy_Nil]]></Name

6225 ><LHS

6226 ><Network Width="15.0" Height="9.0"

6227 ><Info

6228 ><unit/></Info

6229 ><Nodes

6230 ><Node id="N1"

6231 ><Position X="2.0" Y="2.0"

6232 /><Name

6233 ><![CDATA[Node 1]]></Name

6234 ><LabelAbove

6235 >True</LabelAbove

6236 ><Shape

6237 ><![CDATA[copy]]></Shape

6238 ><Info

6239 ><list-int/></Info></Node

6240 ><Node id="N2"

6241 ><Position X="2.0" Y="4.0"

6242 /><Name

6243 ><![CDATA[Node 2]]></Name

6244 ><LabelAbove

6245 >True</LabelAbove

6246 ><Shape

6247 ><![CDATA[Nil]]></Shape

6248 ><Info

6249 ><list-int/></Info></Node

6250 ><Node id="N3"

6251 ><Position X="0.6852083333333334" Y="0.44708333333333333"

6252 /><Name

6253 ><![CDATA[Node 3]]></Name

6254 ><LabelAbove

6255 >True</LabelAbove

6256 ><Shape

6257 ><![CDATA[interface]]></Shape

6258 ><Info

6259 ><list-int/></Info></Node

6260 ><Node id="N4"

6261 ><Position X="3.3520833333333337" Y="0.420625"

6262 /><Name

6263 ><![CDATA[Node 4]]></Name

6264 ><LabelAbove

6265 >True</LabelAbove

6266 ><Shape

6267 ><![CDATA[interface]]></Shape

6268 ><Info

6269 ><list-int/></Info></Node></Nodes

6270 ><Edges

6271 ><Edge id="E1"

6272 ><From

6273 >1</From

6274 ><PortFrom

6275 ><![CDATA[src]]></PortFrom

6276 ><To

6277 >2</To

6278 ><PortTo

6279 ><![CDATA[res]]></PortTo

6280 ><Via

6281 /><Info

6282 ><list-int/></Info></Edge

6283 ><Edge id="E2"

6284 ><From

6285 >1</From

6286 ><PortFrom

6287 ><![CDATA[snd_target]]></PortFrom

6288 ><To

6289 >4</To

6290 ><PortTo

6291 ><![CDATA[interface]]></PortTo

6292 ><Via

6293 /><Info

6294 ><list-int/></Info></Edge

6295 ><Edge id="E3"

6296 ><From

6297 >1</From

6298 ><PortFrom

6299 ><![CDATA[fst_target]]></PortFrom

6300 ><To

6301 >3</To

6302 ><PortTo

6303 ><![CDATA[interface]]></PortTo

6304 ><Via

6305 /><Info

6306 ><list-int/></Info></Edge></Edges></Network></LHS

6307 ><RHS

6308 ><Network Width="15.0" Height="9.0"

6309 ><Info

6310 ><unit/></Info

6311 ><Nodes

6312 ><Node id="N3"

6313 ><Position X="0.6852083333333334" Y="0.44708333333333333"

6314 /><Name

6315 ><![CDATA[Node 3]]></Name

6316 ><LabelAbove

6317 >True</LabelAbove

6318 ><Shape

6319 ><![CDATA[interface]]></Shape

6320 ><Info

6321 ><list-int/></Info></Node

6322 ><Node id="N4"

6323 ><Position X="3.3520833333333337" Y="0.420625"

6324 /><Name

6325 ><![CDATA[Node 4]]></Name

6326 ><LabelAbove

6327 >True</LabelAbove

6328 ><Shape

6329 ><![CDATA[interface]]></Shape

6330 ><Info

6331 ><list-int/></Info></Node

6332 ><Node id="N5"

6333 ><Position X="0.6879166666666667" Y="2.4606250000000003"

6334 /><Name

6335 ><![CDATA[Node 5]]></Name

6336 ><LabelAbove

6337 >True</LabelAbove

6338 ><Shape

6339 ><![CDATA[Nil]]></Shape

6340 ><Info

6341 ><list-int/></Info></Node

6342 ><Node id="N6"

6343 ><Position X="3.33375" Y="2.460625"

6344 /><Name

6345 ><![CDATA[Node 6]]></Name

6346 ><LabelAbove

6347 >True</LabelAbove

6348 ><Shape

6349 ><![CDATA[Nil]]></Shape

6350 ><Info

6351 ><list-int/></Info></Node></Nodes

6352 ><Edges

6353 ><Edge id="E1"

6354 ><From

6355 >3</From

6356 ><PortFrom

6357 ><![CDATA[interface]]></PortFrom

6358 ><To

6359 >5</To

6360 ><PortTo

6361 ><![CDATA[res]]></PortTo

6362 ><Via

6363 /><Info

6364 ><list-int/></Info></Edge

6365 ><Edge id="E2"

6366 ><From

6367 >4</From

6368 ><PortFrom

6369 ><![CDATA[interface]]></PortFrom

6370 ><To

6371 >6</To

6372 ><PortTo

6373 ><![CDATA[res]]></PortTo

6374 ><Via

6375 /><Info

6376 ><list-int/></Info></Edge></Edges></Network></RHS

6377 ><Mapping

6378 ><MappingElement lhs="3" rhs="3"

6379 /><MappingElement lhs="4" rhs="4"/></Mapping></INRule

6380 ><INRule

6381 ><Name

6382 ><![CDATA[Copy_Cons]]></Name

6383 ><LHS

6384 ><Network Width="15.0" Height="9.0"

6385 ><Info

6386 ><unit/></Info

6387 ><Nodes

6388 ><Node id="N1"

6389 ><Position X="2.0" Y="2.0"

6390 /><Name

6391 ><![CDATA[Node 1]]></Name

6392 ><LabelAbove

6393 >True</LabelAbove

6394 ><Shape

6395 ><![CDATA[copy]]></Shape

6396 ><Info

6397 ><list-int/></Info></Node

6398 ><Node id="N2"

6399 ><Position X="2.0" Y="4.0"

6400 /><Name

6401 ><![CDATA[Node 2]]></Name

6402 ><LabelAbove

6403 >True</LabelAbove

6404 ><Shape

6405 ><![CDATA[Cons]]></Shape

6406 ><Info

6407 ><list-int/></Info></Node

6408 ><Node id="N3"

6409 ><Position X="0.738125" Y="0.5"

6410 /><Name

6411 ><![CDATA[Node 3]]></Name

6412 ><LabelAbove

6413 >True</LabelAbove

6414 ><Shape

6415 ><![CDATA[interface]]></Shape

6416 ><Info

6417 ><list-int/></Info></Node

6418 ><Node id="N4"

6419 ><Position X="3.166875" Y="0.6058333333333333"

6420 /><Name

6421 ><![CDATA[Node 4]]></Name

6422 ><LabelAbove

6423 >True</LabelAbove

6424 ><Shape

6425 ><![CDATA[interface]]></Shape

6426 ><Info

6427 ><list-int/></Info></Node

6428 ><Node id="N5"

6429 ><Position X="0.738125" Y="4.970833333333333"

6430 /><Name

6431 ><![CDATA[Node 5]]></Name

6432 ><LabelAbove

6433 >True</LabelAbove

6434 ><Shape

6435 ><![CDATA[interface]]></Shape

6436 ><Info

6437 ><list-int/></Info></Node

6438 ><Node id="N6"

6439 ><Position X="3.2197916666666666" Y="4.944375"

6440 /><Name

6441 ><![CDATA[Node 6]]></Name

6442 ><LabelAbove

6443 >True</LabelAbove

6444 ><Shape

6445 ><![CDATA[interface]]></Shape

6446 ><Info

6447 ><list-int/></Info></Node></Nodes

6448 ><Edges

6449 ><Edge id="E1"

6450 ><From

6451 >1</From

6452 ><PortFrom

6453 ><![CDATA[src]]></PortFrom

6454 ><To

6455 >2</To

6456 ><PortTo

6457 ><![CDATA[res]]></PortTo

6458 ><Via

6459 /><Info

6460 ><list-int/></Info></Edge

6461 ><Edge id="E2"

6462 ><From

6463 >1</From

6464 ><PortFrom

6465 ><![CDATA[snd_target]]></PortFrom

6466 ><To

6467 >4</To

6468 ><PortTo

6469 ><![CDATA[interface]]></PortTo

6470 ><Via

6471 /><Info

6472 ><list-int/></Info></Edge

6473 ><Edge id="E3"

6474 ><From

6475 >1</From

6476 ><PortFrom

6477 ><![CDATA[fst_target]]></PortFrom

6478 ><To

6479 >3</To

6480 ><PortTo

6481 ><![CDATA[interface]]></PortTo

6482 ><Via

6483 /><Info

6484 ><list-int/></Info></Edge

6485 ><Edge id="E4"

6486 ><From

6487 >2</From

6488 ><PortFrom

6489 ><![CDATA[tail]]></PortFrom

6490 ><To

6491 >6</To

6492 ><PortTo

6493 ><![CDATA[interface]]></PortTo

6494 ><Via

6495 /><Info

6496 ><list-int/></Info></Edge

6497 ><Edge id="E5"

6498 ><From

6499 >2</From

6500 ><PortFrom

6501 ><![CDATA[head]]></PortFrom

6502 ><To

6503 >5</To

6504 ><PortTo

6505 ><![CDATA[interface]]></PortTo

6506 ><Via

6507 /><Info

6508 ><list-int/></Info></Edge></Edges></Network></LHS

6509 ><RHS

6510 ><Network Width="15.0" Height="9.0"

6511 ><Info

6512 ><unit/></Info

6513 ><Nodes

6514 ><Node id="N3"

6515 ><Position X="1.0291666666666668" Y="0.5"

6516 /><Name

6517 ><![CDATA[Node 3]]></Name

6518 ><LabelAbove

6519 >True</LabelAbove

6520 ><Shape

6521 ><![CDATA[interface]]></Shape

6522 ><Info

6523 ><list-int/></Info></Node

6524 ><Node id="N4"

6525 ><Position X="3.4314583333333326" Y="0.6058333333333333"

6526 /><Name

6527 ><![CDATA[Node 4]]></Name

6528 ><LabelAbove

6529 >True</LabelAbove

6530 ><Shape

6531 ><![CDATA[interface]]></Shape

6532 ><Info

6533 ><list-int/></Info></Node

6534 ><Node id="N5"

6535 ><Position X="1.0556249999999998" Y="4.970833333333333"

6536 /><Name

6537 ><![CDATA[Node 5]]></Name

6538 ><LabelAbove

6539 >True</LabelAbove

6540 ><Shape

6541 ><![CDATA[interface]]></Shape

6542 ><Info

6543 ><list-int/></Info></Node

6544 ><Node id="N6"

6545 ><Position X="3.3520833333333324" Y="4.9972916666666665"

6546 /><Name

6547 ><![CDATA[Node 6]]></Name

6548 ><LabelAbove

6549 >True</LabelAbove

6550 ><Shape

6551 ><![CDATA[interface]]></Shape

6552 ><Info

6553 ><list-int/></Info></Node

6554 ><Node id="N7"

6555 ><Position X="1.0054166666666666" Y="2.037291666666667"

6556 /><Name

6557 ><![CDATA[Node 7]]></Name

6558 ><LabelAbove

6559 >True</LabelAbove

6560 ><Shape

6561 ><![CDATA[Cons]]></Shape

6562 ><Info

6563 ><list-int/></Info></Node

6564 ><Node id="N8"

6565 ><Position X="3.4131250000000004" Y="1.957916666666667"

6566 /><Name

6567 ><![CDATA[Node 8]]></Name

6568 ><LabelAbove

6569 >True</LabelAbove

6570 ><Shape

6571 ><![CDATA[Cons]]></Shape

6572 ><Info

6573 ><list-int/></Info></Node

6574 ><Node id="N9"

6575 ><Position X="1.058333333333333" Y="3.783541666666667"

6576 /><Name

6577 ><![CDATA[Node 9]]></Name

6578 ><LabelAbove

6579 >True</LabelAbove

6580 ><Shape

6581 ><![CDATA[copy]]></Shape

6582 ><Info

6583 ><list-int/></Info></Node

6584 ><Node id="N10"

6585 ><Position X="3.3602083333333335" Y="3.704166666666667"

6586 /><Name

6587 ><![CDATA[Node 10]]></Name

6588 ><LabelAbove

6589 >True</LabelAbove

6590 ><Shape

6591 ><![CDATA[copy]]></Shape

6592 ><Info

6593 ><list-int/></Info></Node></Nodes

6594 ><Edges

6595 ><Edge id="E1"

6596 ><From

6597 >4</From

6598 ><PortFrom

6599 ><![CDATA[interface]]></PortFrom

6600 ><To

6601 >8</To

6602 ><PortTo

6603 ><![CDATA[res]]></PortTo

6604 ><Via

6605 /><Info

6606 ><list-int/></Info></Edge

6607 ><Edge id="E2"

6608 ><From

6609 >3</From

6610 ><PortFrom

6611 ><![CDATA[interface]]></PortFrom

6612 ><To

6613 >7</To

6614 ><PortTo

6615 ><![CDATA[res]]></PortTo

6616 ><Via

6617 /><Info

6618 ><list-int/></Info></Edge

6619 ><Edge id="E3"

6620 ><From

6621 >10</From

6622 ><PortFrom

6623 ><![CDATA[src]]></PortFrom

6624 ><To

6625 >6</To

6626 ><PortTo

6627 ><![CDATA[interface]]></PortTo

6628 ><Via

6629 /><Info

6630 ><list-int/></Info></Edge

6631 ><Edge id="E4"

6632 ><From

6633 >9</From

6634 ><PortFrom

6635 ><![CDATA[src]]></PortFrom

6636 ><To

6637 >5</To

6638 ><PortTo

6639 ><![CDATA[interface]]></PortTo

6640 ><Via

6641 /><Info

6642 ><list-int/></Info></Edge

6643 ><Edge id="E5"

6644 ><From

6645 >9</From

6646 ><PortFrom

6647 ><![CDATA[fst_target]]></PortFrom

6648 ><To

6649 >7</To

6650 ><PortTo

6651 ><![CDATA[head]]></PortTo

6652 ><Via

6653 /><Info

6654 ><list-int/></Info></Edge

6655 ><Edge id="E6"

6656 ><From

6657 >9</From

6658 ><PortFrom

6659 ><![CDATA[snd_target]]></PortFrom

6660 ><To

6661 >8</To

6662 ><PortTo

6663 ><![CDATA[head]]></PortTo

6664 ><Via

6665 /><Info

6666 ><list-int/></Info></Edge

6667 ><Edge id="E7"

6668 ><From

6669 >7</From

6670 ><PortFrom

6671 ><![CDATA[tail]]></PortFrom

6672 ><To

6673 >10</To

6674 ><PortTo

6675 ><![CDATA[fst_target]]></PortTo

6676 ><Via

6677 /><Info

6678 ><list-int/></Info></Edge

6679 ><Edge id="E8"

6680 ><From

6681 >8</From

6682 ><PortFrom

6683 ><![CDATA[tail]]></PortFrom

6684 ><To

6685 >10</To

6686 ><PortTo

6687 ><![CDATA[snd_target]]></PortTo

6688 ><Via

6689 /><Info

6690 ><list-int/></Info></Edge></Edges></Network></RHS

6691 ><Mapping

6692 ><MappingElement lhs="3" rhs="3"

6693 /><MappingElement lhs="4" rhs="4"

6694 /><MappingElement lhs="5" rhs="5"

6695 /><MappingElement lhs="6" rhs="6"/></Mapping></INRule

6696 ><INRule

6697 ><Name

6698 ><![CDATA[Copy_True]]></Name

6699 ><LHS

6700 ><Network Width="15.0" Height="9.0"

6701 ><Info

6702 ><unit/></Info

6703 ><Nodes

6704 ><Node id="N1"

6705 ><Position X="2.0" Y="2.0"

6706 /><Name

6707 ><![CDATA[Node 1]]></Name

6708 ><LabelAbove

6709 >True</LabelAbove

6710 ><Shape

6711 ><![CDATA[copy]]></Shape

6712 ><Info

6713 ><list-int/></Info></Node

6714 ><Node id="N2"

6715 ><Position X="2.0" Y="4.0"

6716 /><Name

6717 ><![CDATA[Node 2]]></Name

6718 ><LabelAbove

6719 >True</LabelAbove

6720 ><Shape

6721 ><![CDATA[True]]></Shape

6722 ><Info

6723 ><list-int/></Info></Node

6724 ><Node id="N3"

6725 ><Position X="0.5" Y="0.5"

6726 /><Name

6727 ><![CDATA[Node 3]]></Name

6728 ><LabelAbove

6729 >True</LabelAbove

6730 ><Shape

6731 ><![CDATA[interface]]></Shape

6732 ><Info

6733 ><list-int/></Info></Node

6734 ><Node id="N4"

6735 ><Position X="3.1933333333333334" Y="0.44708333333333333"

6736 /><Name

6737 ><![CDATA[Node 4]]></Name

6738 ><LabelAbove

6739 >True</LabelAbove

6740 ><Shape

6741 ><![CDATA[interface]]></Shape

6742 ><Info

6743 ><list-int/></Info></Node></Nodes

6744 ><Edges

6745 ><Edge id="E1"

6746 ><From

6747 >1</From

6748 ><PortFrom

6749 ><![CDATA[src]]></PortFrom

6750 ><To

6751 >2</To

6752 ><PortTo

6753 ><![CDATA[res]]></PortTo

6754 ><Via

6755 /><Info

6756 ><list-int/></Info></Edge

6757 ><Edge id="E2"

6758 ><From

6759 >1</From

6760 ><PortFrom

6761 ><![CDATA[snd_target]]></PortFrom

6762 ><To

6763 >4</To

6764 ><PortTo

6765 ><![CDATA[interface]]></PortTo

6766 ><Via

6767 /><Info

6768 ><list-int/></Info></Edge

6769 ><Edge id="E3"

6770 ><From

6771 >1</From

6772 ><PortFrom

6773 ><![CDATA[fst_target]]></PortFrom

6774 ><To

6775 >3</To

6776 ><PortTo

6777 ><![CDATA[interface]]></PortTo

6778 ><Via

6779 /><Info

6780 ><list-int/></Info></Edge></Edges></Network></LHS

6781 ><RHS

6782 ><Network Width="15.0" Height="9.0"

6783 ><Info

6784 ><unit/></Info

6785 ><Nodes

6786 ><Node id="N3"

6787 ><Position X="0.5" Y="0.5"

6788 /><Name

6789 ><![CDATA[Node 3]]></Name

6790 ><LabelAbove

6791 >True</LabelAbove

6792 ><Shape

6793 ><![CDATA[interface]]></Shape

6794 ><Info

6795 ><list-int/></Info></Node

6796 ><Node id="N4"

6797 ><Position X="3.1933333333333334" Y="0.44708333333333333"

6798 /><Name

6799 ><![CDATA[Node 4]]></Name

6800 ><LabelAbove

6801 >True</LabelAbove

6802 ><Shape

6803 ><![CDATA[interface]]></Shape

6804 ><Info

6805 ><list-int/></Info></Node

6806 ><Node id="N5"

6807 ><Position X="0.6350000000000001" Y="2.3283333333333336"

6808 /><Name

6809 ><![CDATA[Node 5]]></Name

6810 ><LabelAbove

6811 >True</LabelAbove

6812 ><Shape

6813 ><![CDATA[True]]></Shape

6814 ><Info

6815 ><list-int/></Info></Node

6816 ><Node id="N6"

6817 ><Position X="3.2808333333333337" Y="2.38125"

6818 /><Name

6819 ><![CDATA[Node 6]]></Name

6820 ><LabelAbove

6821 >True</LabelAbove

6822 ><Shape

6823 ><![CDATA[True]]></Shape

6824 ><Info

6825 ><list-int/></Info></Node></Nodes

6826 ><Edges

6827 ><Edge id="E1"

6828 ><From

6829 >3</From

6830 ><PortFrom

6831 ><![CDATA[interface]]></PortFrom

6832 ><To

6833 >5</To

6834 ><PortTo

6835 ><![CDATA[res]]></PortTo

6836 ><Via

6837 /><Info

6838 ><list-int/></Info></Edge

6839 ><Edge id="E2"

6840 ><From

6841 >4</From

6842 ><PortFrom

6843 ><![CDATA[interface]]></PortFrom

6844 ><To

6845 >6</To

6846 ><PortTo

6847 ><![CDATA[res]]></PortTo

6848 ><Via

6849 /><Info

6850 ><list-int/></Info></Edge></Edges></Network></RHS

6851 ><Mapping

6852 ><MappingElement lhs="3" rhs="3"

6853 /><MappingElement lhs="4" rhs="4"/></Mapping></INRule

6854 ><INRule

6855 ><Name

6856 ><![CDATA[Copy_False]]></Name

6857 ><LHS

6858 ><Network Width="15.0" Height="9.0"

6859 ><Info

6860 ><unit/></Info

6861 ><Nodes

6862 ><Node id="N1"

6863 ><Position X="2.0" Y="2.0"

6864 /><Name

6865 ><![CDATA[Node 1]]></Name

6866 ><LabelAbove

6867 >True</LabelAbove

6868 ><Shape

6869 ><![CDATA[copy]]></Shape

6870 ><Info

6871 ><list-int/></Info></Node

6872 ><Node id="N2"

6873 ><Position X="2.0" Y="4.0"

6874 /><Name

6875 ><![CDATA[Node 2]]></Name

6876 ><LabelAbove

6877 >True</LabelAbove

6878 ><Shape

6879 ><![CDATA[False]]></Shape

6880 ><Info

6881 ><list-int/></Info></Node

6882 ><Node id="N3"

6883 ><Position X="0.5" Y="0.5"

6884 /><Name

6885 ><![CDATA[Node 3]]></Name

6886 ><LabelAbove

6887 >True</LabelAbove

6888 ><Shape

6889 ><![CDATA[interface]]></Shape

6890 ><Info

6891 ><list-int/></Info></Node

6892 ><Node id="N4"

6893 ><Position X="3.537291666666667" Y="0.420625"

6894 /><Name

6895 ><![CDATA[Node 4]]></Name

6896 ><LabelAbove

6897 >True</LabelAbove

6898 ><Shape

6899 ><![CDATA[interface]]></Shape

6900 ><Info

6901 ><list-int/></Info></Node></Nodes

6902 ><Edges

6903 ><Edge id="E1"

6904 ><From

6905 >1</From

6906 ><PortFrom

6907 ><![CDATA[src]]></PortFrom

6908 ><To

6909 >2</To

6910 ><PortTo

6911 ><![CDATA[res]]></PortTo

6912 ><Via

6913 /><Info

6914 ><list-int/></Info></Edge

6915 ><Edge id="E2"

6916 ><From

6917 >1</From

6918 ><PortFrom

6919 ><![CDATA[snd_target]]></PortFrom

6920 ><To

6921 >4</To

6922 ><PortTo

6923 ><![CDATA[interface]]></PortTo

6924 ><Via

6925 /><Info

6926 ><list-int/></Info></Edge

6927 ><Edge id="E3"

6928 ><From

6929 >1</From

6930 ><PortFrom

6931 ><![CDATA[fst_target]]></PortFrom

6932 ><To

6933 >3</To

6934 ><PortTo

6935 ><![CDATA[interface]]></PortTo

6936 ><Via

6937 /><Info

6938 ><list-int/></Info></Edge></Edges></Network></LHS

6939 ><RHS

6940 ><Network Width="15.0" Height="9.0"

6941 ><Info

6942 ><unit/></Info

6943 ><Nodes

6944 ><Node id="N3"

6945 ><Position X="0.5" Y="0.5"

6946 /><Name

6947 ><![CDATA[Node 3]]></Name

6948 ><LabelAbove

6949 >True</LabelAbove

6950 ><Shape

6951 ><![CDATA[interface]]></Shape

6952 ><Info

6953 ><list-int/></Info></Node

6954 ><Node id="N4"

6955 ><Position X="3.537291666666667" Y="0.420625"

6956 /><Name

6957 ><![CDATA[Node 4]]></Name

6958 ><LabelAbove

6959 >True</LabelAbove

6960 ><Shape

6961 ><![CDATA[interface]]></Shape

6962 ><Info

6963 ><list-int/></Info></Node

6964 ><Node id="N5"

6965 ><Position X="0.7143750000000001" Y="2.2225"

6966 /><Name

6967 ><![CDATA[Node 5]]></Name

6968 ><LabelAbove

6969 >True</LabelAbove

6970 ><Shape

6971 ><![CDATA[False]]></Shape

6972 ><Info

6973 ><list-int/></Info></Node

6974 ><Node id="N6"

6975 ><Position X="3.545416666666667" Y="2.196041666666667"

6976 /><Name

6977 ><![CDATA[Node 6]]></Name

6978 ><LabelAbove

6979 >True</LabelAbove

6980 ><Shape

6981 ><![CDATA[False]]></Shape

6982 ><Info

6983 ><list-int/></Info></Node></Nodes

6984 ><Edges

6985 ><Edge id="E1"

6986 ><From

6987 >3</From

6988 ><PortFrom

6989 ><![CDATA[interface]]></PortFrom

6990 ><To

6991 >5</To

6992 ><PortTo

6993 ><![CDATA[res]]></PortTo

6994 ><Via

6995 /><Info

6996 ><list-int/></Info></Edge

6997 ><Edge id="E2"

6998 ><From

6999 >4</From

7000 ><PortFrom

7001 ><![CDATA[interface]]></PortFrom

7002 ><To

7003 >6</To

7004 ><PortTo

7005 ><![CDATA[res]]></PortTo

7006 ><Via

7007 /><Info

7008 ><list-int/></Info></Edge></Edges></Network></RHS

7009 ><Mapping

7010 ><MappingElement lhs="3" rhs="3"

7011 /><MappingElement lhs="4" rhs="4"/></Mapping></INRule

7012 ><INRule

7013 ><Name

7014 ><![CDATA[Copy_Zero]]></Name

7015 ><LHS

7016 ><Network Width="15.0" Height="9.0"

7017 ><Info

7018 ><unit/></Info

7019 ><Nodes

7020 ><Node id="N1"

7021 ><Position X="2.0" Y="2.0"

7022 /><Name

7023 ><![CDATA[Node 1]]></Name

7024 ><LabelAbove

7025 >True</LabelAbove

7026 ><Shape

7027 ><![CDATA[copy]]></Shape

7028 ><Info

7029 ><list-int/></Info></Node

7030 ><Node id="N2"

7031 ><Position X="2.0" Y="4.0"

7032 /><Name

7033 ><![CDATA[Node 2]]></Name

7034 ><LabelAbove

7035 >True</LabelAbove

7036 ><Shape

7037 ><![CDATA[Zero]]></Shape

7038 ><Info

7039 ><list-int/></Info></Node

7040 ><Node id="N3"

7041 ><Position X="0.5" Y="0.5"

7042 /><Name

7043 ><![CDATA[Node 3]]></Name

7044 ><LabelAbove

7045 >True</LabelAbove

7046 ><Shape

7047 ><![CDATA[interface]]></Shape

7048 ><Info

7049 ><list-int/></Info></Node

7050 ><Node id="N4"

7051 ><Position X="3.166875" Y="0.5264583333333334"

7052 /><Name

7053 ><![CDATA[Node 4]]></Name

7054 ><LabelAbove

7055 >True</LabelAbove

7056 ><Shape

7057 ><![CDATA[interface]]></Shape

7058 ><Info

7059 ><list-int/></Info></Node></Nodes

7060 ><Edges

7061 ><Edge id="E1"

7062 ><From

7063 >1</From

7064 ><PortFrom

7065 ><![CDATA[src]]></PortFrom

7066 ><To

7067 >2</To

7068 ><PortTo

7069 ><![CDATA[res]]></PortTo

7070 ><Via

7071 /><Info

7072 ><list-int/></Info></Edge

7073 ><Edge id="E2"

7074 ><From

7075 >1</From

7076 ><PortFrom

7077 ><![CDATA[snd_target]]></PortFrom

7078 ><To

7079 >4</To

7080 ><PortTo

7081 ><![CDATA[interface]]></PortTo

7082 ><Via

7083 /><Info

7084 ><list-int/></Info></Edge

7085 ><Edge id="E3"

7086 ><From

7087 >1</From

7088 ><PortFrom

7089 ><![CDATA[fst_target]]></PortFrom

7090 ><To

7091 >3</To

7092 ><PortTo

7093 ><![CDATA[interface]]></PortTo

7094 ><Via

7095 /><Info

7096 ><list-int/></Info></Edge></Edges></Network></LHS

7097 ><RHS

7098 ><Network Width="15.0" Height="9.0"

7099 ><Info

7100 ><unit/></Info

7101 ><Nodes

7102 ><Node id="N3"

7103 ><Position X="0.5" Y="0.5"

7104 /><Name

7105 ><![CDATA[Node 3]]></Name

7106 ><LabelAbove

7107 >True</LabelAbove

7108 ><Shape

7109 ><![CDATA[interface]]></Shape

7110 ><Info

7111 ><list-int/></Info></Node

7112 ><Node id="N4"

7113 ><Position X="3.166875" Y="0.5264583333333334"

7114 /><Name

7115 ><![CDATA[Node 4]]></Name

7116 ><LabelAbove

7117 >True</LabelAbove

7118 ><Shape

7119 ><![CDATA[interface]]></Shape

7120 ><Info

7121 ><list-int/></Info></Node

7122 ><Node id="N5"

7123 ><Position X="0.6085416666666666" Y="2.4077083333333333"

7124 /><Name

7125 ><![CDATA[Node 5]]></Name

7126 ><LabelAbove

7127 >True</LabelAbove

7128 ><Shape

7129 ><![CDATA[Zero]]></Shape

7130 ><Info

7131 ><list-int/></Info></Node

7132 ><Node id="N6"

7133 ><Position X="3.8100000000000005" Y="2.354791666666667"

7134 /><Name

7135 ><![CDATA[Node 6]]></Name

7136 ><LabelAbove

7137 >True</LabelAbove

7138 ><Shape

7139 ><![CDATA[Zero]]></Shape

7140 ><Info

7141 ><list-int/></Info></Node></Nodes

7142 ><Edges

7143 ><Edge id="E1"

7144 ><From

7145 >3</From

7146 ><PortFrom

7147 ><![CDATA[interface]]></PortFrom

7148 ><To

7149 >5</To

7150 ><PortTo

7151 ><![CDATA[res]]></PortTo

7152 ><Via

7153 /><Info

7154 ><list-int/></Info></Edge

7155 ><Edge id="E2"

7156 ><From

7157 >4</From

7158 ><PortFrom

7159 ><![CDATA[interface]]></PortFrom

7160 ><To

7161 >6</To

7162 ><PortTo

7163 ><![CDATA[res]]></PortTo

7164 ><Via

7165 /><Info

7166 ><list-int/></Info></Edge></Edges></Network></RHS

7167 ><Mapping

7168 ><MappingElement lhs="3" rhs="3"

7169 /><MappingElement lhs="4" rhs="4"/></Mapping></INRule

7170 ><INRule

7171 ><Name

7172 ><![CDATA[Copy_Succ]]></Name

7173 ><LHS

7174 ><Network Width="15.0" Height="9.0"

7175 ><Info

7176 ><unit/></Info

7177 ><Nodes

7178 ><Node id="N1"

7179 ><Position X="2.0" Y="2.0"

7180 /><Name

7181 ><![CDATA[Node 1]]></Name

7182 ><LabelAbove

7183 >True</LabelAbove

7184 ><Shape

7185 ><![CDATA[copy]]></Shape

7186 ><Info

7187 ><list-int/></Info></Node

7188 ><Node id="N2"

7189 ><Position X="2.0" Y="4.0"

7190 /><Name

7191 ><![CDATA[Node 2]]></Name

7192 ><LabelAbove

7193 >True</LabelAbove

7194 ><Shape

7195 ><![CDATA[Succ]]></Shape

7196 ><Info

7197 ><list-int/></Info></Node

7198 ><Node id="N3"

7199 ><Position X="0.5" Y="0.5"

7200 /><Name

7201 ><![CDATA[Node 3]]></Name

7202 ><LabelAbove

7203 >True</LabelAbove

7204 ><Shape

7205 ><![CDATA[interface]]></Shape

7206 ><Info

7207 ><list-int/></Info></Node

7208 ><Node id="N4"

7209 ><Position X="3.1933333333333334" Y="0.5529166666666667"

7210 /><Name

7211 ><![CDATA[Node 4]]></Name

7212 ><LabelAbove

7213 >True</LabelAbove

7214 ><Shape

7215 ><![CDATA[interface]]></Shape

7216 ><Info

7217 ><list-int/></Info></Node

7218 ><Node id="N5"

7219 ><Position X="2.0081249999999997" Y="5.050208333333333"

7220 /><Name

7221 ><![CDATA[Node 5]]></Name

7222 ><LabelAbove

7223 >True</LabelAbove

7224 ><Shape

7225 ><![CDATA[interface]]></Shape

7226 ><Info

7227 ><list-int/></Info></Node></Nodes

7228 ><Edges

7229 ><Edge id="E1"

7230 ><From

7231 >1</From

7232 ><PortFrom

7233 ><![CDATA[src]]></PortFrom

7234 ><To

7235 >2</To

7236 ><PortTo

7237 ><![CDATA[res]]></PortTo

7238 ><Via

7239 /><Info

7240 ><list-int/></Info></Edge

7241 ><Edge id="E2"

7242 ><From

7243 >1</From

7244 ><PortFrom

7245 ><![CDATA[snd_target]]></PortFrom

7246 ><To

7247 >4</To

7248 ><PortTo

7249 ><![CDATA[interface]]></PortTo

7250 ><Via

7251 /><Info

7252 ><list-int/></Info></Edge

7253 ><Edge id="E3"

7254 ><From

7255 >1</From

7256 ><PortFrom

7257 ><![CDATA[fst_target]]></PortFrom

7258 ><To

7259 >3</To

7260 ><PortTo

7261 ><![CDATA[interface]]></PortTo

7262 ><Via

7263 /><Info

7264 ><list-int/></Info></Edge

7265 ><Edge id="E4"

7266 ><From

7267 >2</From

7268 ><PortFrom

7269 ><![CDATA[arg]]></PortFrom

7270 ><To

7271 >5</To

7272 ><PortTo

7273 ><![CDATA[interface]]></PortTo

7274 ><Via

7275 /><Info

7276 ><list-int/></Info></Edge></Edges></Network></LHS

7277 ><RHS

7278 ><Network Width="15.0" Height="9.0"

7279 ><Info

7280 ><unit/></Info

7281 ><Nodes

7282 ><Node id="N3"

7283 ><Position X="0.5" Y="0.5"

7284 /><Name

7285 ><![CDATA[Node 3]]></Name

7286 ><LabelAbove

7287 >True</LabelAbove

7288 ><Shape

7289 ><![CDATA[interface]]></Shape

7290 ><Info

7291 ><list-int/></Info></Node

7292 ><Node id="N4"

7293 ><Position X="3.1933333333333334" Y="0.5529166666666667"

7294 /><Name

7295 ><![CDATA[Node 4]]></Name

7296 ><LabelAbove

7297 >True</LabelAbove

7298 ><Shape

7299 ><![CDATA[interface]]></Shape

7300 ><Info

7301 ><list-int/></Info></Node

7302 ><Node id="N5"

7303 ><Position X="2.0081249999999997" Y="5.050208333333333"

7304 /><Name

7305 ><![CDATA[Node 5]]></Name

7306 ><LabelAbove

7307 >True</LabelAbove

7308 ><Shape

7309 ><![CDATA[interface]]></Shape

7310 ><Info

7311 ><list-int/></Info></Node

7312 ><Node id="N6"

7313 ><Position X="2.090208333333334" Y="3.65125"

7314 /><Name

7315 ><![CDATA[Node 6]]></Name

7316 ><LabelAbove

7317 >True</LabelAbove

7318 ><Shape

7319 ><![CDATA[copy]]></Shape

7320 ><Info

7321 ><list-int/></Info></Node

7322 ><Node id="N7"

7323 ><Position X="0.6349999999999999" Y="2.116666666666667"

7324 /><Name

7325 ><![CDATA[Node 7]]></Name

7326 ><LabelAbove

7327 >True</LabelAbove

7328 ><Shape

7329 ><![CDATA[Succ]]></Shape

7330 ><Info

7331 ><list-int/></Info></Node

7332 ><Node id="N8"

7333 ><Position X="3.1750000000000003" Y="1.9579166666666667"

7334 /><Name

7335 ><![CDATA[Node 8]]></Name

7336 ><LabelAbove

7337 >True</LabelAbove

7338 ><Shape

7339 ><![CDATA[Succ]]></Shape

7340 ><Info

7341 ><list-int/></Info></Node></Nodes

7342 ><Edges

7343 ><Edge id="E1"

7344 ><From

7345 >6</From

7346 ><PortFrom

7347 ><![CDATA[src]]></PortFrom

7348 ><To

7349 >5</To

7350 ><PortTo

7351 ><![CDATA[interface]]></PortTo

7352 ><Via

7353 /><Info

7354 ><list-int/></Info></Edge

7355 ><Edge id="E2"

7356 ><From

7357 >4</From

7358 ><PortFrom

7359 ><![CDATA[interface]]></PortFrom

7360 ><To

7361 >8</To

7362 ><PortTo

7363 ><![CDATA[res]]></PortTo

7364 ><Via

7365 /><Info

7366 ><list-int/></Info></Edge

7367 ><Edge id="E3"

7368 ><From

7369 >3</From

7370 ><PortFrom

7371 ><![CDATA[interface]]></PortFrom

7372 ><To

7373 >7</To

7374 ><PortTo

7375 ><![CDATA[res]]></PortTo

7376 ><Via

7377 /><Info

7378 ><list-int/></Info></Edge

7379 ><Edge id="E4"

7380 ><From

7381 >7</From

7382 ><PortFrom

7383 ><![CDATA[arg]]></PortFrom

7384 ><To

7385 >6</To

7386 ><PortTo

7387 ><![CDATA[fst_target]]></PortTo

7388 ><Via

7389 /><Info

7390 ><list-int/></Info></Edge

7391 ><Edge id="E5"

7392 ><From

7393 >6</From

7394 ><PortFrom

7395 ><![CDATA[snd_target]]></PortFrom

7396 ><To

7397 >8</To

7398 ><PortTo

7399 ><![CDATA[arg]]></PortTo

7400 ><Via

7401 /><Info

7402 ><list-int/></Info></Edge></Edges></Network></RHS

7403 ><Mapping

7404 ><MappingElement lhs="3" rhs="3"

7405 /><MappingElement lhs="4" rhs="4"

7406 /><MappingElement lhs="5" rhs="5"/></Mapping></INRule

7407 ><INRule

7408 ><Name

7409 ><![CDATA[Duplicator_Nil]]></Name

7410 ><LHS

7411 ><Network Width="15.0" Height="9.0"

7412 ><Info

7413 ><unit/></Info

7414 ><Nodes

7415 ><Node id="N1"

7416 ><Position X="2.0" Y="2.0"

7417 /><Name

7418 ><![CDATA[Node 1]]></Name

7419 ><LabelAbove

7420 >True</LabelAbove

7421 ><Shape

7422 ><![CDATA[duplicator]]></Shape

7423 ><Info

7424 ><list-int/></Info></Node

7425 ><Node id="N2"

7426 ><Position X="2.0" Y="4.0"

7427 /><Name

7428 ><![CDATA[Node 2]]></Name

7429 ><LabelAbove

7430 >True</LabelAbove

7431 ><Shape

7432 ><![CDATA[Nil]]></Shape

7433 ><Info

7434 ><list-int/></Info></Node

7435 ><Node id="N3"

7436 ><Position X="0.6322916666666667" Y="0.39416666666666667"

7437 /><Name

7438 ><![CDATA[Node 3]]></Name

7439 ><LabelAbove

7440 >True</LabelAbove

7441 ><Shape

7442 ><![CDATA[interface]]></Shape

7443 ><Info

7444 ><list-int/></Info></Node

7445 ><Node id="N4"

7446 ><Position X="3.3785416666666666" Y="0.39416666666666667"

7447 /><Name

7448 ><![CDATA[Node 4]]></Name

7449 ><LabelAbove

7450 >True</LabelAbove

7451 ><Shape

7452 ><![CDATA[interface]]></Shape

7453 ><Info

7454 ><list-int/></Info></Node></Nodes

7455 ><Edges

7456 ><Edge id="E1"

7457 ><From

7458 >1</From

7459 ><PortFrom

7460 ><![CDATA[down]]></PortFrom

7461 ><To

7462 >2</To

7463 ><PortTo

7464 ><![CDATA[res]]></PortTo

7465 ><Via

7466 /><Info

7467 ><list-int/></Info></Edge

7468 ><Edge id="E2"

7469 ><From

7470 >1</From

7471 ><PortFrom

7472 ><![CDATA[copy2]]></PortFrom

7473 ><To

7474 >4</To

7475 ><PortTo

7476 ><![CDATA[interface]]></PortTo

7477 ><Via

7478 /><Info

7479 ><list-int/></Info></Edge

7480 ><Edge id="E3"

7481 ><From

7482 >1</From

7483 ><PortFrom

7484 ><![CDATA[copy1]]></PortFrom

7485 ><To

7486 >3</To

7487 ><PortTo

7488 ><![CDATA[interface]]></PortTo

7489 ><Via

7490 /><Info

7491 ><list-int/></Info></Edge></Edges></Network></LHS

7492 ><RHS

7493 ><Network Width="15.0" Height="9.0"

7494 ><Info

7495 ><unit/></Info

7496 ><Nodes

7497 ><Node id="N3"

7498 ><Position X="0.6322916666666667" Y="0.39416666666666667"

7499 /><Name

7500 ><![CDATA[Node 3]]></Name

7501 ><LabelAbove

7502 >True</LabelAbove

7503 ><Shape

7504 ><![CDATA[interface]]></Shape

7505 ><Info

7506 ><list-int/></Info></Node

7507 ><Node id="N4"

7508 ><Position X="3.3785416666666666" Y="0.39416666666666667"

7509 /><Name

7510 ><![CDATA[Node 4]]></Name

7511 ><LabelAbove

7512 >True</LabelAbove

7513 ><Shape

7514 ><![CDATA[interface]]></Shape

7515 ><Info

7516 ><list-int/></Info></Node

7517 ><Node id="N5"

7518 ><Position X="0.6085416666666668" Y="1.905"

7519 /><Name

7520 ><![CDATA[Node 5]]></Name

7521 ><LabelAbove

7522 >True</LabelAbove

7523 ><Shape

7524 ><![CDATA[Nil]]></Shape

7525 ><Info

7526 ><list-int/></Info></Node

7527 ><Node id="N6"

7528 ><Position X="3.3602083333333335" Y="1.957916666666667"

7529 /><Name

7530 ><![CDATA[Node 6]]></Name

7531 ><LabelAbove

7532 >True</LabelAbove

7533 ><Shape

7534 ><![CDATA[Nil]]></Shape

7535 ><Info

7536 ><list-int/></Info></Node></Nodes

7537 ><Edges

7538 ><Edge id="E1"

7539 ><From

7540 >3</From

7541 ><PortFrom

7542 ><![CDATA[interface]]></PortFrom

7543 ><To

7544 >5</To

7545 ><PortTo

7546 ><![CDATA[res]]></PortTo

7547 ><Via

7548 /><Info

7549 ><list-int/></Info></Edge

7550 ><Edge id="E2"

7551 ><From

7552 >4</From

7553 ><PortFrom

7554 ><![CDATA[interface]]></PortFrom

7555 ><To

7556 >6</To

7557 ><PortTo

7558 ><![CDATA[res]]></PortTo

7559 ><Via

7560 /><Info

7561 ><list-int/></Info></Edge></Edges></Network></RHS

7562 ><Mapping

7563 ><MappingElement lhs="3" rhs="3"

7564 /><MappingElement lhs="4" rhs="4"/></Mapping></INRule

7565 ><INRule

7566 ><Name

7567 ><![CDATA[Duplicator_Cons]]></Name

7568 ><LHS

7569 ><Network Width="15.0" Height="9.0"

7570 ><Info

7571 ><unit/></Info

7572 ><Nodes

7573 ><Node id="N1"

7574 ><Position X="2.0" Y="2.0"

7575 /><Name

7576 ><![CDATA[Node 1]]></Name

7577 ><LabelAbove

7578 >True</LabelAbove

7579 ><Shape

7580 ><![CDATA[duplicator]]></Shape

7581 ><Info

7582 ><list-int/></Info></Node

7583 ><Node id="N2"

7584 ><Position X="2.0" Y="4.0"

7585 /><Name

7586 ><![CDATA[Node 2]]></Name

7587 ><LabelAbove

7588 >True</LabelAbove

7589 ><Shape

7590 ><![CDATA[Cons]]></Shape

7591 ><Info

7592 ><list-int/></Info></Node

7593 ><Node id="N3"

7594 ><Position X="0.6322916666666667" Y="0.39416666666666667"

7595 /><Name

7596 ><![CDATA[Node 3]]></Name

7597 ><LabelAbove

7598 >True</LabelAbove

7599 ><Shape

7600 ><![CDATA[interface]]></Shape

7601 ><Info

7602 ><list-int/></Info></Node

7603 ><Node id="N4"

7604 ><Position X="3.378541666666667" Y="0.39416666666666667"

7605 /><Name

7606 ><![CDATA[Node 4]]></Name

7607 ><LabelAbove

7608 >True</LabelAbove

7609 ><Shape

7610 ><![CDATA[interface]]></Shape

7611 ><Info

7612 ><list-int/></Info></Node

7613 ><Node id="N5"

7614 ><Position X="0.9233333333333333" Y="4.7856250000000005"

7615 /><Name

7616 ><![CDATA[Node 5]]></Name

7617 ><LabelAbove

7618 >True</LabelAbove

7619 ><Shape

7620 ><![CDATA[interface]]></Shape

7621 ><Info

7622 ><list-int/></Info></Node

7623 ><Node id="N6"

7624 ><Position X="3.2462500000000003" Y="4.970833333333334"

7625 /><Name

7626 ><![CDATA[Node 6]]></Name

7627 ><LabelAbove

7628 >True</LabelAbove

7629 ><Shape

7630 ><![CDATA[interface]]></Shape

7631 ><Info

7632 ><list-int/></Info></Node></Nodes

7633 ><Edges

7634 ><Edge id="E1"

7635 ><From

7636 >1</From

7637 ><PortFrom

7638 ><![CDATA[down]]></PortFrom

7639 ><To

7640 >2</To

7641 ><PortTo

7642 ><![CDATA[res]]></PortTo

7643 ><Via

7644 /><Info

7645 ><list-int/></Info></Edge

7646 ><Edge id="E2"

7647 ><From

7648 >1</From

7649 ><PortFrom

7650 ><![CDATA[copy2]]></PortFrom

7651 ><To

7652 >4</To

7653 ><PortTo

7654 ><![CDATA[interface]]></PortTo

7655 ><Via

7656 /><Info

7657 ><list-int/></Info></Edge

7658 ><Edge id="E3"

7659 ><From

7660 >1</From

7661 ><PortFrom

7662 ><![CDATA[copy1]]></PortFrom

7663 ><To

7664 >3</To

7665 ><PortTo

7666 ><![CDATA[interface]]></PortTo

7667 ><Via

7668 /><Info

7669 ><list-int/></Info></Edge

7670 ><Edge id="E4"

7671 ><From

7672 >2</From

7673 ><PortFrom

7674 ><![CDATA[tail]]></PortFrom

7675 ><To

7676 >6</To

7677 ><PortTo

7678 ><![CDATA[interface]]></PortTo

7679 ><Via

7680 /><Info

7681 ><list-int/></Info></Edge

7682 ><Edge id="E5"

7683 ><From

7684 >2</From

7685 ><PortFrom

7686 ><![CDATA[head]]></PortFrom

7687 ><To

7688 >5</To

7689 ><PortTo

7690 ><![CDATA[interface]]></PortTo

7691 ><Via

7692 /><Info

7693 ><list-int/></Info></Edge></Edges></Network></LHS

7694 ><RHS

7695 ><Network Width="15.0" Height="9.0"

7696 ><Info

7697 ><unit/></Info

7698 ><Nodes

7699 ><Node id="N3"

7700 ><Position X="0.6322916666666667" Y="0.39416666666666667"

7701 /><Name

7702 ><![CDATA[Node 3]]></Name

7703 ><LabelAbove

7704 >True</LabelAbove

7705 ><Shape

7706 ><![CDATA[interface]]></Shape

7707 ><Info

7708 ><list-int/></Info></Node

7709 ><Node id="N4"

7710 ><Position X="3.378541666666667" Y="0.39416666666666667"

7711 /><Name

7712 ><![CDATA[Node 4]]></Name

7713 ><LabelAbove

7714 >True</LabelAbove

7715 ><Shape

7716 ><![CDATA[interface]]></Shape

7717 ><Info

7718 ><list-int/></Info></Node

7719 ><Node id="N5"

7720 ><Position X="0.6852083333333333" Y="4.838541666666667"

7721 /><Name

7722 ><![CDATA[Node 5]]></Name

7723 ><LabelAbove

7724 >True</LabelAbove

7725 ><Shape

7726 ><![CDATA[interface]]></Shape

7727 ><Info

7728 ><list-int/></Info></Node

7729 ><Node id="N6"

7730 ><Position X="3.325625" Y="4.970833333333334"

7731 /><Name

7732 ><![CDATA[Node 6]]></Name

7733 ><LabelAbove

7734 >True</LabelAbove

7735 ><Shape

7736 ><![CDATA[interface]]></Shape

7737 ><Info

7738 ><list-int/></Info></Node

7739 ><Node id="N7"

7740 ><Position X="0.635" Y="1.8520833333333335"

7741 /><Name

7742 ><![CDATA[Node 7]]></Name

7743 ><LabelAbove

7744 >True</LabelAbove

7745 ><Shape

7746 ><![CDATA[Cons]]></Shape

7747 ><Info

7748 ><list-int/></Info></Node

7749 ><Node id="N8"

7750 ><Position X="3.386666666666667" Y="1.74625"

7751 /><Name

7752 ><![CDATA[Node 8]]></Name

7753 ><LabelAbove

7754 >True</LabelAbove

7755 ><Shape

7756 ><![CDATA[Cons]]></Shape

7757 ><Info

7758 ><list-int/></Info></Node

7759 ><Node id="N9"

7760 ><Position X="0.6879166666666668" Y="3.4924999999999997"

7761 /><Name

7762 ><![CDATA[Node 9]]></Name

7763 ><LabelAbove

7764 >True</LabelAbove

7765 ><Shape

7766 ><![CDATA[duplicator]]></Shape

7767 ><Info

7768 ><list-int/></Info></Node

7769 ><Node id="N10"

7770 ><Position X="3.33375" Y="3.65125"

7771 /><Name

7772 ><![CDATA[Node 10]]></Name

7773 ><LabelAbove

7774 >True</LabelAbove

7775 ><Shape

7776 ><![CDATA[duplicator]]></Shape

7777 ><Info

7778 ><list-int/></Info></Node></Nodes

7779 ><Edges

7780 ><Edge id="E1"

7781 ><From

7782 >3</From

7783 ><PortFrom

7784 ><![CDATA[interface]]></PortFrom

7785 ><To

7786 >7</To

7787 ><PortTo

7788 ><![CDATA[res]]></PortTo

7789 ><Via

7790 /><Info

7791 ><list-int/></Info></Edge

7792 ><Edge id="E2"

7793 ><From

7794 >4</From

7795 ><PortFrom

7796 ><![CDATA[interface]]></PortFrom

7797 ><To

7798 >8</To

7799 ><PortTo

7800 ><![CDATA[res]]></PortTo

7801 ><Via

7802 /><Info

7803 ><list-int/></Info></Edge

7804 ><Edge id="E3"

7805 ><From

7806 >5</From

7807 ><PortFrom

7808 ><![CDATA[interface]]></PortFrom

7809 ><To

7810 >9</To

7811 ><PortTo

7812 ><![CDATA[down]]></PortTo

7813 ><Via

7814 /><Info

7815 ><list-int/></Info></Edge

7816 ><Edge id="E4"

7817 ><From

7818 >10</From

7819 ><PortFrom

7820 ><![CDATA[down]]></PortFrom

7821 ><To

7822 >6</To

7823 ><PortTo

7824 ><![CDATA[interface]]></PortTo

7825 ><Via

7826 /><Info

7827 ><list-int/></Info></Edge

7828 ><Edge id="E5"

7829 ><From

7830 >9</From

7831 ><PortFrom

7832 ><![CDATA[copy1]]></PortFrom

7833 ><To

7834 >7</To

7835 ><PortTo

7836 ><![CDATA[head]]></PortTo

7837 ><Via

7838 /><Info

7839 ><list-int/></Info></Edge

7840 ><Edge id="E6"

7841 ><From

7842 >9</From

7843 ><PortFrom

7844 ><![CDATA[copy2]]></PortFrom

7845 ><To

7846 >8</To

7847 ><PortTo

7848 ><![CDATA[head]]></PortTo

7849 ><Via

7850 /><Info

7851 ><list-int/></Info></Edge

7852 ><Edge id="E7"

7853 ><From

7854 >10</From

7855 ><PortFrom

7856 ><![CDATA[copy1]]></PortFrom

7857 ><To

7858 >7</To

7859 ><PortTo

7860 ><![CDATA[tail]]></PortTo

7861 ><Via

7862 /><Info

7863 ><list-int/></Info></Edge

7864 ><Edge id="E8"

7865 ><From

7866 >8</From

7867 ><PortFrom

7868 ><![CDATA[tail]]></PortFrom

7869 ><To

7870 >10</To

7871 ><PortTo

7872 ><![CDATA[copy2]]></PortTo

7873 ><Via

7874 /><Info

7875 ><list-int/></Info></Edge></Edges></Network></RHS

7876 ><Mapping

7877 ><MappingElement lhs="3" rhs="3"

7878 /><MappingElement lhs="4" rhs="4"

7879 /><MappingElement lhs="5" rhs="5"

7880 /><MappingElement lhs="6" rhs="6"/></Mapping></INRule

7881 ><INRule

7882 ><Name

7883 ><![CDATA[Duplicator_True]]></Name

7884 ><LHS

7885 ><Network Width="15.0" Height="9.0"

7886 ><Info

7887 ><unit/></Info

7888 ><Nodes

7889 ><Node id="N1"

7890 ><Position X="2.0" Y="2.0"

7891 /><Name

7892 ><![CDATA[Node 1]]></Name

7893 ><LabelAbove

7894 >True</LabelAbove

7895 ><Shape

7896 ><![CDATA[duplicator]]></Shape

7897 ><Info

7898 ><list-int/></Info></Node

7899 ><Node id="N2"

7900 ><Position X="2.0" Y="4.0"

7901 /><Name

7902 ><![CDATA[Node 2]]></Name

7903 ><LabelAbove

7904 >True</LabelAbove

7905 ><Shape

7906 ><![CDATA[True]]></Shape

7907 ><Info

7908 ><list-int/></Info></Node

7909 ><Node id="N3"

7910 ><Position X="0.5" Y="0.5"

7911 /><Name

7912 ><![CDATA[Node 3]]></Name

7913 ><LabelAbove

7914 >True</LabelAbove

7915 ><Shape

7916 ><![CDATA[interface]]></Shape

7917 ><Info

7918 ><list-int/></Info></Node

7919 ><Node id="N4"

7920 ><Position X="3.3520833333333333" Y="0.5529166666666667"

7921 /><Name

7922 ><![CDATA[Node 4]]></Name

7923 ><LabelAbove

7924 >True</LabelAbove

7925 ><Shape

7926 ><![CDATA[interface]]></Shape

7927 ><Info

7928 ><list-int/></Info></Node></Nodes

7929 ><Edges

7930 ><Edge id="E1"

7931 ><From

7932 >1</From

7933 ><PortFrom

7934 ><![CDATA[down]]></PortFrom

7935 ><To

7936 >2</To

7937 ><PortTo

7938 ><![CDATA[res]]></PortTo

7939 ><Via

7940 /><Info

7941 ><list-int/></Info></Edge

7942 ><Edge id="E2"

7943 ><From

7944 >1</From

7945 ><PortFrom

7946 ><![CDATA[copy2]]></PortFrom

7947 ><To

7948 >4</To

7949 ><PortTo

7950 ><![CDATA[interface]]></PortTo

7951 ><Via

7952 /><Info

7953 ><list-int/></Info></Edge

7954 ><Edge id="E3"

7955 ><From

7956 >1</From

7957 ><PortFrom

7958 ><![CDATA[copy1]]></PortFrom

7959 ><To

7960 >3</To

7961 ><PortTo

7962 ><![CDATA[interface]]></PortTo

7963 ><Via

7964 /><Info

7965 ><list-int/></Info></Edge></Edges></Network></LHS

7966 ><RHS

7967 ><Network Width="15.0" Height="9.0"

7968 ><Info

7969 ><unit/></Info

7970 ><Nodes

7971 ><Node id="N3"

7972 ><Position X="0.5" Y="0.5"

7973 /><Name

7974 ><![CDATA[Node 3]]></Name

7975 ><LabelAbove

7976 >True</LabelAbove

7977 ><Shape

7978 ><![CDATA[interface]]></Shape

7979 ><Info

7980 ><list-int/></Info></Node

7981 ><Node id="N4"

7982 ><Position X="3.3520833333333333" Y="0.5529166666666667"

7983 /><Name

7984 ><![CDATA[Node 4]]></Name

7985 ><LabelAbove

7986 >True</LabelAbove

7987 ><Shape

7988 ><![CDATA[interface]]></Shape

7989 ><Info

7990 ><list-int/></Info></Node

7991 ><Node id="N5"

7992 ><Position X="0.5820833333333334" Y="2.275416666666667"

7993 /><Name

7994 ><![CDATA[Node 5]]></Name

7995 ><LabelAbove

7996 >True</LabelAbove

7997 ><Shape

7998 ><![CDATA[True]]></Shape

7999 ><Info

8000 ><list-int/></Info></Node

8001 ><Node id="N6"

8002 ><Position X="3.3602083333333335" Y="2.328333333333333"

8003 /><Name

8004 ><![CDATA[Node 6]]></Name

8005 ><LabelAbove

8006 >True</LabelAbove

8007 ><Shape

8008 ><![CDATA[True]]></Shape

8009 ><Info

8010 ><list-int/></Info></Node></Nodes

8011 ><Edges

8012 ><Edge id="E1"

8013 ><From

8014 >3</From

8015 ><PortFrom

8016 ><![CDATA[interface]]></PortFrom

8017 ><To

8018 >5</To

8019 ><PortTo

8020 ><![CDATA[res]]></PortTo

8021 ><Via

8022 /><Info

8023 ><list-int/></Info></Edge

8024 ><Edge id="E2"

8025 ><From

8026 >4</From

8027 ><PortFrom

8028 ><![CDATA[interface]]></PortFrom

8029 ><To

8030 >6</To

8031 ><PortTo

8032 ><![CDATA[res]]></PortTo

8033 ><Via

8034 /><Info

8035 ><list-int/></Info></Edge></Edges></Network></RHS

8036 ><Mapping

8037 ><MappingElement lhs="3" rhs="3"

8038 /><MappingElement lhs="4" rhs="4"/></Mapping></INRule

8039 ><INRule

8040 ><Name

8041 ><![CDATA[Duplicator_False]]></Name

8042 ><LHS

8043 ><Network Width="15.0" Height="9.0"

8044 ><Info

8045 ><unit/></Info

8046 ><Nodes

8047 ><Node id="N1"

8048 ><Position X="2.0" Y="2.0"

8049 /><Name

8050 ><![CDATA[Node 1]]></Name

8051 ><LabelAbove

8052 >True</LabelAbove

8053 ><Shape

8054 ><![CDATA[duplicator]]></Shape

8055 ><Info

8056 ><list-int/></Info></Node

8057 ><Node id="N2"

8058 ><Position X="2.0" Y="4.0"

8059 /><Name

8060 ><![CDATA[Node 2]]></Name

8061 ><LabelAbove

8062 >True</LabelAbove

8063 ><Shape

8064 ><![CDATA[False]]></Shape

8065 ><Info

8066 ><list-int/></Info></Node

8067 ><Node id="N3"

8068 ><Position X="0.5" Y="0.5"

8069 /><Name

8070 ><![CDATA[Node 3]]></Name

8071 ><LabelAbove

8072 >True</LabelAbove

8073 ><Shape

8074 ><![CDATA[interface]]></Shape

8075 ><Info

8076 ><list-int/></Info></Node

8077 ><Node id="N4"

8078 ><Position X="3.0610416666666667" Y="0.5264583333333334"

8079 /><Name

8080 ><![CDATA[Node 4]]></Name

8081 ><LabelAbove

8082 >True</LabelAbove

8083 ><Shape

8084 ><![CDATA[interface]]></Shape

8085 ><Info

8086 ><list-int/></Info></Node></Nodes

8087 ><Edges

8088 ><Edge id="E1"

8089 ><From

8090 >1</From

8091 ><PortFrom

8092 ><![CDATA[down]]></PortFrom

8093 ><To

8094 >2</To

8095 ><PortTo

8096 ><![CDATA[res]]></PortTo

8097 ><Via

8098 /><Info

8099 ><list-int/></Info></Edge

8100 ><Edge id="E2"

8101 ><From

8102 >1</From

8103 ><PortFrom

8104 ><![CDATA[copy2]]></PortFrom

8105 ><To

8106 >4</To

8107 ><PortTo

8108 ><![CDATA[interface]]></PortTo

8109 ><Via

8110 /><Info

8111 ><list-int/></Info></Edge

8112 ><Edge id="E3"

8113 ><From

8114 >1</From

8115 ><PortFrom

8116 ><![CDATA[copy1]]></PortFrom

8117 ><To

8118 >3</To

8119 ><PortTo

8120 ><![CDATA[interface]]></PortTo

8121 ><Via

8122 /><Info

8123 ><list-int/></Info></Edge></Edges></Network></LHS

8124 ><RHS

8125 ><Network Width="15.0" Height="9.0"

8126 ><Info

8127 ><unit/></Info

8128 ><Nodes

8129 ><Node id="N3"

8130 ><Position X="0.5" Y="0.5"

8131 /><Name

8132 ><![CDATA[Node 3]]></Name

8133 ><LabelAbove

8134 >True</LabelAbove

8135 ><Shape

8136 ><![CDATA[interface]]></Shape

8137 ><Info

8138 ><list-int/></Info></Node

8139 ><Node id="N4"

8140 ><Position X="3.0610416666666667" Y="0.5264583333333334"

8141 /><Name

8142 ><![CDATA[Node 4]]></Name

8143 ><LabelAbove

8144 >True</LabelAbove

8145 ><Shape

8146 ><![CDATA[interface]]></Shape

8147 ><Info

8148 ><list-int/></Info></Node

8149 ><Node id="N5"

8150 ><Position X="0.7408333333333335" Y="2.3018750000000003"

8151 /><Name

8152 ><![CDATA[Node 5]]></Name

8153 ><LabelAbove

8154 >True</LabelAbove

8155 ><Shape

8156 ><![CDATA[False]]></Shape

8157 ><Info

8158 ><list-int/></Info></Node

8159 ><Node id="N6"

8160 ><Position X="3.0427083333333336" Y="2.2754166666666666"

8161 /><Name

8162 ><![CDATA[Node 6]]></Name

8163 ><LabelAbove

8164 >True</LabelAbove

8165 ><Shape

8166 ><![CDATA[False]]></Shape

8167 ><Info

8168 ><list-int/></Info></Node></Nodes

8169 ><Edges

8170 ><Edge id="E1"

8171 ><From

8172 >3</From

8173 ><PortFrom

8174 ><![CDATA[interface]]></PortFrom

8175 ><To

8176 >5</To

8177 ><PortTo

8178 ><![CDATA[res]]></PortTo

8179 ><Via

8180 /><Info

8181 ><list-int/></Info></Edge

8182 ><Edge id="E2"

8183 ><From

8184 >4</From

8185 ><PortFrom

8186 ><![CDATA[interface]]></PortFrom

8187 ><To

8188 >6</To

8189 ><PortTo

8190 ><![CDATA[res]]></PortTo

8191 ><Via

8192 /><Info

8193 ><list-int/></Info></Edge></Edges></Network></RHS

8194 ><Mapping

8195 ><MappingElement lhs="3" rhs="3"

8196 /><MappingElement lhs="4" rhs="4"/></Mapping></INRule

8197 ><INRule

8198 ><Name

8199 ><![CDATA[Duplicator_Zero]]></Name

8200 ><LHS

8201 ><Network Width="15.0" Height="9.0"

8202 ><Info

8203 ><unit/></Info

8204 ><Nodes

8205 ><Node id="N1"

8206 ><Position X="2.0" Y="2.0"

8207 /><Name

8208 ><![CDATA[Node 1]]></Name

8209 ><LabelAbove

8210 >True</LabelAbove

8211 ><Shape

8212 ><![CDATA[duplicator]]></Shape

8213 ><Info

8214 ><list-int/></Info></Node

8215 ><Node id="N2"

8216 ><Position X="2.0" Y="4.0"

8217 /><Name

8218 ><![CDATA[Node 2]]></Name

8219 ><LabelAbove

8220 >True</LabelAbove

8221 ><Shape

8222 ><![CDATA[Zero]]></Shape

8223 ><Info

8224 ><list-int/></Info></Node

8225 ><Node id="N3"

8226 ><Position X="0.5" Y="0.5"

8227 /><Name

8228 ><![CDATA[Node 3]]></Name

8229 ><LabelAbove

8230 >True</LabelAbove

8231 ><Shape

8232 ><![CDATA[interface]]></Shape

8233 ><Info

8234 ><list-int/></Info></Node

8235 ><Node id="N4"

8236 ><Position X="3.2197916666666666" Y="0.5529166666666666"

8237 /><Name

8238 ><![CDATA[Node 4]]></Name

8239 ><LabelAbove

8240 >True</LabelAbove

8241 ><Shape

8242 ><![CDATA[interface]]></Shape

8243 ><Info

8244 ><list-int/></Info></Node></Nodes

8245 ><Edges

8246 ><Edge id="E1"

8247 ><From

8248 >1</From

8249 ><PortFrom

8250 ><![CDATA[down]]></PortFrom

8251 ><To

8252 >2</To

8253 ><PortTo

8254 ><![CDATA[res]]></PortTo

8255 ><Via

8256 /><Info

8257 ><list-int/></Info></Edge

8258 ><Edge id="E2"

8259 ><From

8260 >1</From

8261 ><PortFrom

8262 ><![CDATA[copy2]]></PortFrom

8263 ><To

8264 >4</To

8265 ><PortTo

8266 ><![CDATA[interface]]></PortTo

8267 ><Via

8268 /><Info

8269 ><list-int/></Info></Edge

8270 ><Edge id="E3"

8271 ><From

8272 >1</From

8273 ><PortFrom

8274 ><![CDATA[copy1]]></PortFrom

8275 ><To

8276 >3</To

8277 ><PortTo

8278 ><![CDATA[interface]]></PortTo

8279 ><Via

8280 /><Info

8281 ><list-int/></Info></Edge></Edges></Network></LHS

8282 ><RHS

8283 ><Network Width="15.0" Height="9.0"

8284 ><Info

8285 ><unit/></Info

8286 ><Nodes

8287 ><Node id="N3"

8288 ><Position X="0.5" Y="0.5"

8289 /><Name

8290 ><![CDATA[Node 3]]></Name

8291 ><LabelAbove

8292 >True</LabelAbove

8293 ><Shape

8294 ><![CDATA[interface]]></Shape

8295 ><Info

8296 ><list-int/></Info></Node

8297 ><Node id="N4"

8298 ><Position X="1.5" Y="0.5"

8299 /><Name

8300 ><![CDATA[Node 4]]></Name

8301 ><LabelAbove

8302 >True</LabelAbove

8303 ><Shape

8304 ><![CDATA[interface]]></Shape

8305 ><Info

8306 ><list-int/></Info></Node

8307 ><Node id="N5"

8308 ><Position X="0.5820833333333334" Y="2.4870833333333335"

8309 /><Name

8310 ><![CDATA[Node 5]]></Name

8311 ><LabelAbove

8312 >True</LabelAbove

8313 ><Shape

8314 ><![CDATA[Zero]]></Shape

8315 ><Info

8316 ><list-int/></Info></Node

8317 ><Node id="N6"

8318 ><Position X="2.0108333333333337" Y="2.354791666666667"

8319 /><Name

8320 ><![CDATA[Node 6]]></Name

8321 ><LabelAbove

8322 >True</LabelAbove

8323 ><Shape

8324 ><![CDATA[Zero]]></Shape

8325 ><Info

8326 ><list-int/></Info></Node></Nodes

8327 ><Edges

8328 ><Edge id="E1"

8329 ><From

8330 >3</From

8331 ><PortFrom

8332 ><![CDATA[interface]]></PortFrom

8333 ><To

8334 >5</To

8335 ><PortTo

8336 ><![CDATA[res]]></PortTo

8337 ><Via

8338 /><Info

8339 ><list-int/></Info></Edge

8340 ><Edge id="E2"

8341 ><From

8342 >4</From

8343 ><PortFrom

8344 ><![CDATA[interface]]></PortFrom

8345 ><To

8346 >6</To

8347 ><PortTo

8348 ><![CDATA[res]]></PortTo

8349 ><Via

8350 /><Info

8351 ><list-int/></Info></Edge></Edges></Network></RHS

8352 ><Mapping

8353 ><MappingElement lhs="3" rhs="3"

8354 /><MappingElement lhs="4" rhs="4"/></Mapping></INRule

8355 ><INRule

8356 ><Name

8357 ><![CDATA[Duplicator_Succ]]></Name

8358 ><LHS

8359 ><Network Width="15.0" Height="9.0"

8360 ><Info

8361 ><unit/></Info

8362 ><Nodes

8363 ><Node id="N1"

8364 ><Position X="2.0" Y="2.0"

8365 /><Name

8366 ><![CDATA[Node 1]]></Name

8367 ><LabelAbove

8368 >True</LabelAbove

8369 ><Shape

8370 ><![CDATA[duplicator]]></Shape

8371 ><Info

8372 ><list-int/></Info></Node

8373 ><Node id="N2"

8374 ><Position X="2.0" Y="4.0"

8375 /><Name

8376 ><![CDATA[Node 2]]></Name

8377 ><LabelAbove

8378 >True</LabelAbove

8379 ><Shape

8380 ><![CDATA[Succ]]></Shape

8381 ><Info

8382 ><list-int/></Info></Node

8383 ><Node id="N3"

8384 ><Position X="0.5" Y="0.5"

8385 /><Name

8386 ><![CDATA[Node 3]]></Name

8387 ><LabelAbove

8388 >True</LabelAbove

8389 ><Shape

8390 ><![CDATA[interface]]></Shape

8391 ><Info

8392 ><list-int/></Info></Node

8393 ><Node id="N4"

8394 ><Position X="3.1139583333333336" Y="0.5"

8395 /><Name

8396 ><![CDATA[Node 4]]></Name

8397 ><LabelAbove

8398 >True</LabelAbove

8399 ><Shape

8400 ><![CDATA[interface]]></Shape

8401 ><Info

8402 ><list-int/></Info></Node

8403 ><Node id="N5"

8404 ><Position X="2.008125" Y="5.473541666666667"

8405 /><Name

8406 ><![CDATA[Node 5]]></Name

8407 ><LabelAbove

8408 >True</LabelAbove

8409 ><Shape

8410 ><![CDATA[interface]]></Shape

8411 ><Info

8412 ><list-int/></Info></Node></Nodes

8413 ><Edges

8414 ><Edge id="E1"

8415 ><From

8416 >1</From

8417 ><PortFrom

8418 ><![CDATA[down]]></PortFrom

8419 ><To

8420 >2</To

8421 ><PortTo

8422 ><![CDATA[res]]></PortTo

8423 ><Via

8424 /><Info

8425 ><list-int/></Info></Edge

8426 ><Edge id="E2"

8427 ><From

8428 >1</From

8429 ><PortFrom

8430 ><![CDATA[copy2]]></PortFrom

8431 ><To

8432 >4</To

8433 ><PortTo

8434 ><![CDATA[interface]]></PortTo

8435 ><Via

8436 /><Info

8437 ><list-int/></Info></Edge

8438 ><Edge id="E3"

8439 ><From

8440 >1</From

8441 ><PortFrom

8442 ><![CDATA[copy1]]></PortFrom

8443 ><To

8444 >3</To

8445 ><PortTo

8446 ><![CDATA[interface]]></PortTo

8447 ><Via

8448 /><Info

8449 ><list-int/></Info></Edge

8450 ><Edge id="E4"

8451 ><From

8452 >2</From

8453 ><PortFrom

8454 ><![CDATA[arg]]></PortFrom

8455 ><To

8456 >5</To

8457 ><PortTo

8458 ><![CDATA[interface]]></PortTo

8459 ><Via

8460 /><Info

8461 ><list-int/></Info></Edge></Edges></Network></LHS

8462 ><RHS

8463 ><Network Width="15.0" Height="9.0"

8464 ><Info

8465 ><unit/></Info

8466 ><Nodes

8467 ><Node id="N3"

8468 ><Position X="0.6058333333333333" Y="0.5"

8469 /><Name

8470 ><![CDATA[Node 3]]></Name

8471 ><LabelAbove

8472 >True</LabelAbove

8473 ><Shape

8474 ><![CDATA[interface]]></Shape

8475 ><Info

8476 ><list-int/></Info></Node

8477 ><Node id="N4"

8478 ><Position X="3.1139583333333336" Y="0.5"

8479 /><Name

8480 ><![CDATA[Node 4]]></Name

8481 ><LabelAbove

8482 >True</LabelAbove

8483 ><Shape

8484 ><![CDATA[interface]]></Shape

8485 ><Info

8486 ><list-int/></Info></Node

8487 ><Node id="N5"

8488 ><Position X="2.008125" Y="5.473541666666667"

8489 /><Name

8490 ><![CDATA[Node 5]]></Name

8491 ><LabelAbove

8492 >True</LabelAbove

8493 ><Shape

8494 ><![CDATA[interface]]></Shape

8495 ><Info

8496 ><list-int/></Info></Node

8497 ><Node id="N6"

8498 ><Position X="0.5820833333333334" Y="2.0902083333333334"

8499 /><Name

8500 ><![CDATA[Node 6]]></Name

8501 ><LabelAbove

8502 >True</LabelAbove

8503 ><Shape

8504 ><![CDATA[Succ]]></Shape

8505 ><Info

8506 ><list-int/></Info></Node

8507 ><Node id="N7"

8508 ><Position X="3.1220833333333338" Y="1.9050000000000002"

8509 /><Name

8510 ><![CDATA[Node 7]]></Name

8511 ><LabelAbove

8512 >True</LabelAbove

8513 ><Shape

8514 ><![CDATA[Succ]]></Shape

8515 ><Info

8516 ><list-int/></Info></Node

8517 ><Node id="N8"

8518 ><Position X="2.0108333333333333" Y="3.6777083333333334"

8519 /><Name

8520 ><![CDATA[Node 8]]></Name

8521 ><LabelAbove

8522 >True</LabelAbove

8523 ><Shape

8524 ><![CDATA[duplicator]]></Shape

8525 ><Info

8526 ><list-int/></Info></Node></Nodes

8527 ><Edges

8528 ><Edge id="E1"

8529 ><From

8530 >3</From

8531 ><PortFrom

8532 ><![CDATA[interface]]></PortFrom

8533 ><To

8534 >6</To

8535 ><PortTo

8536 ><![CDATA[res]]></PortTo

8537 ><Via

8538 /><Info

8539 ><list-int/></Info></Edge

8540 ><Edge id="E2"

8541 ><From

8542 >4</From

8543 ><PortFrom

8544 ><![CDATA[interface]]></PortFrom

8545 ><To

8546 >7</To

8547 ><PortTo

8548 ><![CDATA[res]]></PortTo

8549 ><Via

8550 /><Info

8551 ><list-int/></Info></Edge

8552 ><Edge id="E3"

8553 ><From

8554 >6</From

8555 ><PortFrom

8556 ><![CDATA[arg]]></PortFrom

8557 ><To

8558 >8</To

8559 ><PortTo

8560 ><![CDATA[copy1]]></PortTo

8561 ><Via

8562 /><Info

8563 ><list-int/></Info></Edge

8564 ><Edge id="E4"

8565 ><From

8566 >7</From

8567 ><PortFrom

8568 ><![CDATA[arg]]></PortFrom

8569 ><To

8570 >8</To

8571 ><PortTo

8572 ><![CDATA[copy2]]></PortTo

8573 ><Via

8574 /><Info

8575 ><list-int/></Info></Edge

8576 ><Edge id="E5"

8577 ><From

8578 >8</From

8579 ><PortFrom

8580 ><![CDATA[down]]></PortFrom

8581 ><To

8582 >5</To

8583 ><PortTo

8584 ><![CDATA[interface]]></PortTo

8585 ><Via

8586 /><Info

8587 ><list-int/></Info></Edge></Edges></Network></RHS

8588 ><Mapping

8589 ><MappingElement lhs="3" rhs="3"

8590 /><MappingElement lhs="4" rhs="4"

8591 /><MappingElement lhs="5"

8592 rhs="5"/></Mapping></INRule></Rules></Document>