darcs - INblobs

1 <Document

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

3 ><Info

4 ><unit/></Info

5 ><Nodes

6 ><Node id="N1"

7 ><Position X="2.3018750000000003" Y="1.6404166666666669"

8 /><Name

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

10 ><LabelAbove

11 >True</LabelAbove

12 ><Shape

13 ><![CDATA[ins_ord]]></Shape

14 ><Info

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

16 ><Node id="N2"

17 ><Position X="2.3283333333333336" Y="0.4497916666666667"

18 /><Name

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

20 ><LabelAbove

21 >True</LabelAbove

22 ><Shape

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

24 ><Info

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

26 ><Node id="N3"

27 ><Position X="1.402291666666667" Y="3.148541666666667"

28 /><Name

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

30 ><LabelAbove

31 >True</LabelAbove

32 ><Shape

33 ><![CDATA[Cons]]></Shape

34 ><Info

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

36 ><Node id="N4"

37 ><Position X="2.3018750000000003" Y="4.3656250000000005"

38 /><Name

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

40 ><LabelAbove

41 >True</LabelAbove

42 ><Shape

43 ><![CDATA[Cons]]></Shape

44 ><Info

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

46 ><Node id="N5"

47 ><Position X="3.227916666666667" Y="5.635625"

48 /><Name

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

50 ><LabelAbove

51 >True</LabelAbove

52 ><Shape

53 ><![CDATA[Cons]]></Shape

54 ><Info

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

56 ><Node id="N6"

57 ><Position X="4.101041666666667" Y="7.196666666666667"

58 /><Name

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

60 ><LabelAbove

61 >True</LabelAbove

62 ><Shape

63 ><![CDATA[Nil]]></Shape

64 ><Info

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

66 ><Node id="N7"

67 ><Position X="0.6614583333333334" Y="4.339166666666667"

68 /><Name

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

70 ><LabelAbove

71 >True</LabelAbove

72 ><Shape

73 ><![CDATA[1]]></Shape

74 ><Info

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

76 ><Node id="N8"

77 ><Position X="1.5345833333333334" Y="5.715000000000001"

78 /><Name

79 ><![CDATA[Node 8]]></Name

80 ><LabelAbove

81 >True</LabelAbove

82 ><Shape

83 ><![CDATA[2]]></Shape

84 ><Info

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

86 ><Node id="N9"

87 ><Position X="2.592916666666667" Y="6.773333333333333"

88 /><Name

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

90 ><LabelAbove

91 >True</LabelAbove

92 ><Shape

93 ><![CDATA[4]]></Shape

94 ><Info

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

96 ><Node id="N10"

97 ><Position X="3.307291666666667" Y="3.1750000000000007"

98 /><Name

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

100 ><LabelAbove

101 >True</LabelAbove

102 ><Shape

103 ><![CDATA[3]]></Shape

104 ><Info

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

106 ><Edges

107 ><Edge id="E1"

108 ><From

109 >2</From

110 ><PortFrom

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

112 ><To

113 >1</To

114 ><PortTo

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

116 ><Via

117 /><Info

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

119 ><Edge id="E2"

120 ><From

121 >4</From

122 ><PortFrom

123 ><![CDATA[head]]></PortFrom

124 ><To

125 >8</To

126 ><PortTo

127 ><![CDATA[port_name]]></PortTo

128 ><Via

129 /><Info

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

131 ><Edge id="E3"

132 ><From

133 >3</From

134 ><PortFrom

135 ><![CDATA[head]]></PortFrom

136 ><To

137 >7</To

138 ><PortTo

139 ><![CDATA[port_name]]></PortTo

140 ><Via

141 /><Info

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

143 ><Edge id="E4"

144 ><From

145 >5</From

146 ><PortFrom

147 ><![CDATA[head]]></PortFrom

148 ><To

149 >9</To

150 ><PortTo

151 ><![CDATA[port_name]]></PortTo

152 ><Via

153 /><Info

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

155 ><Edge id="E5"

156 ><From

157 >4</From

158 ><PortFrom

159 ><![CDATA[tail]]></PortFrom

160 ><To

161 >5</To

162 ><PortTo

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

164 ><Via

165 /><Info

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

167 ><Edge id="E6"

168 ><From

169 >3</From

170 ><PortFrom

171 ><![CDATA[tail]]></PortFrom

172 ><To

173 >4</To

174 ><PortTo

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

176 ><Via

177 /><Info

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

179 ><Edge id="E7"

180 ><From

181 >1</From

182 ><PortFrom

183 ><![CDATA[list_arg]]></PortFrom

184 ><To

185 >3</To

186 ><PortTo

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

188 ><Via

189 /><Info

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

191 ><Edge id="E8"

192 ><From

193 >6</From

194 ><PortFrom

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

196 ><To

197 >5</To

198 ><PortTo

199 ><![CDATA[tail]]></PortTo

200 ><Via

201 /><Info

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

203 ><Edge id="E9"

204 ><From

205 >1</From

206 ><PortFrom

207 ><![CDATA[elem_arg]]></PortFrom

208 ><To

209 >10</To

210 ><PortTo

211 ><![CDATA[port_name]]></PortTo

212 ><Via

213 /><Info

214 ><list-int/></Info></Edge></Edges></Network

215 ><Palette

216 ><Symbol

217 ><ShapeName

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

219 ><Shape

220 ><Circle

221 ><ShapeStyle

222 ><int value="2"

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

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

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

226 ><Ports

227 ><Principals

228 ><Port

229 ><string

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

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

232 ><Auxiliaries/></Ports

233 ><Info

234 ><maybe-list-int

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

236 ><Symbol

237 ><ShapeName

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

239 ><Shape

240 ><TextInEllipse

241 ><ShapeStyle

242 ><int value="1"

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

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

245 ><string

246 ><![CDATA[Nil]]></string></TextInEllipse></Shape

247 ><Ports

248 ><Principals

249 ><Port

250 ><string

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

252 ><Position X="0.0" Y="-0.4"/></Port></Principals

253 ><Auxiliaries/></Ports

254 ><Info

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

256 ><Symbol

257 ><ShapeName

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

259 ><Shape

260 ><TextInEllipse

261 ><ShapeStyle

262 ><int value="1"

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

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

265 ><string

266 ><![CDATA[Cons]]></string></TextInEllipse></Shape

267 ><Ports

268 ><Principals

269 ><Port

270 ><string

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

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

273 ><Auxiliaries

274 ><Port

275 ><string

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

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

278 ><Port

279 ><string

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

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

282 ><Info

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

284 ><Symbol

285 ><ShapeName

286 ><![CDATA[ins_ord]]></ShapeName

287 ><Shape

288 ><TextInEllipse

289 ><ShapeStyle

290 ><int value="1"

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

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

293 ><string

294 ><![CDATA[ins_ord]]></string></TextInEllipse></Shape

295 ><Ports

296 ><Principals

297 ><Port

298 ><string

299 ><![CDATA[list_arg]]></string

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

301 ><Auxiliaries

302 ><Port

303 ><string

304 ><![CDATA[elem_arg]]></string

305 ><Position X="0.3" Y="0.3"/></Port

306 ><Port

307 ><string

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

309 ><Position X="0.0" Y="-0.35"/></Port></Auxiliaries></Ports

310 ><Info

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

312 ><Symbol

313 ><ShapeName

314 ><![CDATA[1]]></ShapeName

315 ><Shape

316 ><TextInEllipse

317 ><ShapeStyle

318 ><int value="1"

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

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

321 ><string

322 ><![CDATA[1]]></string></TextInEllipse></Shape

323 ><Ports

324 ><Principals

325 ><Port

326 ><string

327 ><![CDATA[port_name]]></string

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

329 ><Auxiliaries/></Ports

330 ><Info

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

332 ><Symbol

333 ><ShapeName

334 ><![CDATA[2]]></ShapeName

335 ><Shape

336 ><TextInEllipse

337 ><ShapeStyle

338 ><int value="1"

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

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

341 ><string

342 ><![CDATA[2]]></string></TextInEllipse></Shape

343 ><Ports

344 ><Principals

345 ><Port

346 ><string

347 ><![CDATA[port_name]]></string

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

349 ><Auxiliaries/></Ports

350 ><Info

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

352 ><Symbol

353 ><ShapeName

354 ><![CDATA[3]]></ShapeName

355 ><Shape

356 ><TextInEllipse

357 ><ShapeStyle

358 ><int value="1"

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

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

361 ><string

362 ><![CDATA[3]]></string></TextInEllipse></Shape

363 ><Ports

364 ><Principals

365 ><Port

366 ><string

367 ><![CDATA[port_name]]></string

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

369 ><Auxiliaries/></Ports

370 ><Info

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

372 ><Symbol

373 ><ShapeName

374 ><![CDATA[4]]></ShapeName

375 ><Shape

376 ><TextInEllipse

377 ><ShapeStyle

378 ><int value="1"

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

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

381 ><string

382 ><![CDATA[4]]></string></TextInEllipse></Shape

383 ><Ports

384 ><Principals

385 ><Port

386 ><string

387 ><![CDATA[port_name]]></string

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

389 ><Auxiliaries/></Ports

390 ><Info

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

392 ><Symbol

393 ><ShapeName

394 ><![CDATA[sort2]]></ShapeName

395 ><Shape

396 ><TextInEllipse

397 ><ShapeStyle

398 ><int value="1"

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

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

401 ><string

402 ><![CDATA[sort2]]></string></TextInEllipse></Shape

403 ><Ports

404 ><Principals

405 ><Port

406 ><string

407 ><![CDATA[fst_rarg]]></string

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

409 ><Auxiliaries

410 ><Port

411 ><string

412 ><![CDATA[snd_arg]]></string

413 ><Position X="0.3" Y="0.3"/></Port

414 ><Port

415 ><string

416 ><![CDATA[snd_res]]></string

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

418 ><Port

419 ><string

420 ><![CDATA[fst_res]]></string

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

422 ><Info

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

424 ><Symbol

425 ><ShapeName

426 ><![CDATA[sort-1]]></ShapeName

427 ><Shape

428 ><TextInEllipse

429 ><ShapeStyle

430 ><int value="1"

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

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

433 ><string

434 ><![CDATA[sort-1]]></string></TextInEllipse></Shape

435 ><Ports

436 ><Principals

437 ><Port

438 ><string

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

440 ><Position X="0.0" Y="0.4"/></Port></Principals

441 ><Auxiliaries

442 ><Port

443 ><string

444 ><![CDATA[fst_res]]></string

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

446 ><Port

447 ><string

448 ><![CDATA[snd_res]]></string

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

450 ><Info

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

452 ><Symbol

453 ><ShapeName

454 ><![CDATA[sort-2]]></ShapeName

455 ><Shape

456 ><TextInEllipse

457 ><ShapeStyle

458 ><int value="1"

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

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

461 ><string

462 ><![CDATA[sort-2]]></string></TextInEllipse></Shape

463 ><Ports

464 ><Principals

465 ><Port

466 ><string

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

468 ><Position X="0.0" Y="0.4"/></Port></Principals

469 ><Auxiliaries

470 ><Port

471 ><string

472 ><![CDATA[fst_res]]></string

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

474 ><Port

475 ><string

476 ><![CDATA[snd_res]]></string

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

478 ><Info

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

480 ><Symbol

481 ><ShapeName

482 ><![CDATA[sort-3]]></ShapeName

483 ><Shape

484 ><TextInEllipse

485 ><ShapeStyle

486 ><int value="1"

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

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

489 ><string

490 ><![CDATA[sort-3]]></string></TextInEllipse></Shape

491 ><Ports

492 ><Principals

493 ><Port

494 ><string

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

496 ><Position X="0.0" Y="0.4"/></Port></Principals

497 ><Auxiliaries

498 ><Port

499 ><string

500 ><![CDATA[fst_res]]></string

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

502 ><Port

503 ><string

504 ><![CDATA[snd_res]]></string

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

506 ><Info

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

508 ><Symbol

509 ><ShapeName

510 ><![CDATA[sort-4]]></ShapeName

511 ><Shape

512 ><TextInEllipse

513 ><ShapeStyle

514 ><int value="1"

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

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

517 ><string

518 ><![CDATA[sort-4]]></string></TextInEllipse></Shape

519 ><Ports

520 ><Principals

521 ><Port

522 ><string

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

524 ><Position X="0.0" Y="0.4"/></Port></Principals

525 ><Auxiliaries

526 ><Port

527 ><string

528 ><![CDATA[fst_res]]></string

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

530 ><Port

531 ><string

532 ><![CDATA[snd_res]]></string

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

534 ><Info

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

536 ><Rules

537 ><INRule

538 ><Name

539 ><![CDATA[Ins_Nil]]></Name

540 ><LHS

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

542 ><Info

543 ><unit/></Info

544 ><Nodes

545 ><Node id="N1"

546 ><Position X="2.2802083333333334" Y="2.0264583333333333"

547 /><Name

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

549 ><LabelAbove

550 >True</LabelAbove

551 ><Shape

552 ><![CDATA[ins_ord]]></Shape

553 ><Info

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

555 ><Node id="N2"

556 ><Position X="0.8622916666666666" Y="3.7883333333333336"

557 /><Name

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

559 ><LabelAbove

560 >True</LabelAbove

561 ><Shape

562 ><![CDATA[Nil]]></Shape

563 ><Info

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

565 ><Node id="N3"

566 ><Position X="3.2252083333333332" Y="3.7537499999999997"

567 /><Name

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

569 ><LabelAbove

570 >True</LabelAbove

571 ><Shape

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

573 ><Info

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

575 ><Node id="N4"

576 ><Position X="0.5" Y="0.5"

577 /><Name

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

579 ><LabelAbove

580 >True</LabelAbove

581 ><Shape

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

583 ><Info

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

585 ><Edges

586 ><Edge id="E1"

587 ><From

588 >1</From

589 ><PortFrom

590 ><![CDATA[list_arg]]></PortFrom

591 ><To

592 >2</To

593 ><PortTo

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

595 ><Via

596 /><Info

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

598 ><Edge id="E2"

599 ><From

600 >1</From

601 ><PortFrom

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

603 ><To

604 >4</To

605 ><PortTo

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

607 ><Via

608 /><Info

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

610 ><Edge id="E3"

611 ><From

612 >1</From

613 ><PortFrom

614 ><![CDATA[elem_arg]]></PortFrom

615 ><To

616 >3</To

617 ><PortTo

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

619 ><Via

620 /><Info

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

622 ><RHS

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

624 ><Info

625 ><unit/></Info

626 ><Nodes

627 ><Node id="N3"

628 ><Position X="3.2252083333333332" Y="3.7537499999999997"

629 /><Name

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

631 ><LabelAbove

632 >True</LabelAbove

633 ><Shape

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

635 ><Info

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

637 ><Node id="N4"

638 ><Position X="0.5" Y="0.5"

639 /><Name

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

641 ><LabelAbove

642 >True</LabelAbove

643 ><Shape

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

645 ><Info

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

647 ><Node id="N6"

648 ><Position X="4.815416666666668" Y="3.783541666666667"

649 /><Name

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

651 ><LabelAbove

652 >True</LabelAbove

653 ><Shape

654 ><![CDATA[Nil]]></Shape

655 ><Info

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

657 ><Node id="N7"

658 ><Position X="3.783541666666667" Y="1.6139583333333334"

659 /><Name

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

661 ><LabelAbove

662 >True</LabelAbove

663 ><Shape

664 ><![CDATA[Cons]]></Shape

665 ><Info

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

667 ><Edges

668 ><Edge id="E1"

669 ><From

670 >4</From

671 ><PortFrom

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

673 ><To

674 >7</To

675 ><PortTo

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

677 ><Via

678 /><Info

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

680 ><Edge id="E2"

681 ><From

682 >7</From

683 ><PortFrom

684 ><![CDATA[head]]></PortFrom

685 ><To

686 >3</To

687 ><PortTo

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

689 ><Via

690 /><Info

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

692 ><Edge id="E3"

693 ><From

694 >7</From

695 ><PortFrom

696 ><![CDATA[tail]]></PortFrom

697 ><To

698 >6</To

699 ><PortTo

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

701 ><Via

702 /><Info

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

704 ><Mapping

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

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

707 ><INRule

708 ><Name

709 ><![CDATA[Ins_Cons]]></Name

710 ><LHS

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

712 ><Info

713 ><unit/></Info

714 ><Nodes

715 ><Node id="N1"

716 ><Position X="1.9097916666666663" Y="2.052916666666667"

717 /><Name

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

719 ><LabelAbove

720 >True</LabelAbove

721 ><Shape

722 ><![CDATA[ins_ord]]></Shape

723 ><Info

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

725 ><Node id="N2"

726 ><Position X="1.0210416666666666" Y="3.6560416666666664"

727 /><Name

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

729 ><LabelAbove

730 >True</LabelAbove

731 ><Shape

732 ><![CDATA[Cons]]></Shape

733 ><Info

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

735 ><Node id="N3"

736 ><Position X="2.6322916666666667" Y="4.9972916666666665"

737 /><Name

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

739 ><LabelAbove

740 >True</LabelAbove

741 ><Shape

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

743 ><Info

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

745 ><Node id="N4"

746 ><Position X="0.5" Y="0.5"

747 /><Name

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

749 ><LabelAbove

750 >True</LabelAbove

751 ><Shape

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

753 ><Info

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

755 ><Node id="N5"

756 ><Position X="0.5264583333333333" Y="4.970833333333333"

757 /><Name

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

759 ><LabelAbove

760 >True</LabelAbove

761 ><Shape

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

763 ><Info

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

765 ><Node id="N6"

766 ><Position X="1.4735416666666667" Y="4.9972916666666665"

767 /><Name

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

769 ><LabelAbove

770 >True</LabelAbove

771 ><Shape

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

773 ><Info

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

775 ><Edges

776 ><Edge id="E1"

777 ><From

778 >1</From

779 ><PortFrom

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

781 ><To

782 >2</To

783 ><PortTo

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

785 ><Via

786 /><Info

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

788 ><Edge id="E2"

789 ><From

790 >1</From

791 ><PortFrom

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

793 ><To

794 >4</To

795 ><PortTo

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

797 ><Via

798 /><Info

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

800 ><Edge id="E3"

801 ><From

802 >1</From

803 ><PortFrom

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

805 ><To

806 >3</To

807 ><PortTo

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

809 ><Via

810 /><Info

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

812 ><Edge id="E4"

813 ><From

814 >2</From

815 ><PortFrom

816 ><![CDATA[tail]]></PortFrom

817 ><To

818 >6</To

819 ><PortTo

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

821 ><Via

822 /><Info

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

824 ><Edge id="E5"

825 ><From

826 >2</From

827 ><PortFrom

828 ><![CDATA[head]]></PortFrom

829 ><To

830 >5</To

831 ><PortTo

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

833 ><Via

834 /><Info

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

836 ><RHS

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

838 ><Info

839 ><unit/></Info

840 ><Nodes

841 ><Node id="N3"

842 ><Position X="5.463333333333333" Y="4.653333333333332"

843 /><Name

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

845 ><LabelAbove

846 >True</LabelAbove

847 ><Shape

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

849 ><Info

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

851 ><Node id="N4"

852 ><Position X="0.5" Y="0.5"

853 /><Name

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

855 ><LabelAbove

856 >True</LabelAbove

857 ><Shape

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

859 ><Info

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

861 ><Node id="N5"

862 ><Position X="0.5264583333333333" Y="4.970833333333333"

863 /><Name

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

865 ><LabelAbove

866 >True</LabelAbove

867 ><Shape

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

869 ><Info

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

871 ><Node id="N6"

872 ><Position X="1.4735416666666667" Y="4.9972916666666665"

873 /><Name

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

875 ><LabelAbove

876 >True</LabelAbove

877 ><Shape

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

879 ><Info

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

881 ><Node id="N7"

882 ><Position X="1.5081250000000002" Y="1.5345833333333334"

883 /><Name

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

885 ><LabelAbove

886 >True</LabelAbove

887 ><Shape

888 ><![CDATA[Cons]]></Shape

889 ><Info

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

891 ><Node id="N8"

892 ><Position X="1.8785416666666666" Y="2.778125"

893 /><Name

894 ><![CDATA[Node 8]]></Name

895 ><LabelAbove

896 >True</LabelAbove

897 ><Shape

898 ><![CDATA[sort2]]></Shape

899 ><Info

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

901 ><Node id="N9"

902 ><Position X="2.2754166666666666" Y="3.9158333333333344"

903 /><Name

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

905 ><LabelAbove

906 >True</LabelAbove

907 ><Shape

908 ><![CDATA[ins_ord]]></Shape

909 ><Info

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

911 ><Edges

912 ><Edge id="E1"

913 ><From

914 >7</From

915 ><PortFrom

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

917 ><To

918 >4</To

919 ><PortTo

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

921 ><Via

922 /><Info

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

924 ><Edge id="E2"

925 ><From

926 >7</From

927 ><PortFrom

928 ><![CDATA[head]]></PortFrom

929 ><To

930 >8</To

931 ><PortTo

932 ><![CDATA[fst_res]]></PortTo

933 ><Via

934 /><Info

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

936 ><Edge id="E3"

937 ><From

938 >8</From

939 ><PortFrom

940 ><![CDATA[fst_rarg]]></PortFrom

941 ><To

942 >5</To

943 ><PortTo

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

945 ><Via

946 /><Info

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

948 ><Edge id="E4"

949 ><From

950 >9</From

951 ><PortFrom

952 ><![CDATA[list_arg]]></PortFrom

953 ><To

954 >6</To

955 ><PortTo

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

957 ><Via

958 /><Info

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

960 ><Edge id="E5"

961 ><From

962 >8</From

963 ><PortFrom

964 ><![CDATA[snd_arg]]></PortFrom

965 ><To

966 >3</To

967 ><PortTo

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

969 ><Via

970 /><Info

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

972 ><Edge id="E6"

973 ><From

974 >9</From

975 ><PortFrom

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

977 ><To

978 >7</To

979 ><PortTo

980 ><![CDATA[tail]]></PortTo

981 ><Via

982 ><Position X="4.524375000000001" Y="2.4341666666666666"/></Via

983 ><Info

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

985 ><Edge id="E7"

986 ><From

987 >8</From

988 ><PortFrom

989 ><![CDATA[snd_res]]></PortFrom

990 ><To

991 >9</To

992 ><PortTo

993 ><![CDATA[elem_arg]]></PortTo

994 ><Via

995 ><Position X="4.6831249999999995" Y="3.2808333333333333"/></Via

996 ><Info

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

998 ><Mapping

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

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

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

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

1003 ><INRule

1004 ><Name

1005 ><![CDATA[sort2_1]]></Name

1006 ><LHS

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

1008 ><Info

1009 ><unit/></Info

1010 ><Nodes

1011 ><Node id="N1"

1012 ><Position X="1.565833333333333" Y="2.105833333333333"

1013 /><Name

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

1015 ><LabelAbove

1016 >True</LabelAbove

1017 ><Shape

1018 ><![CDATA[sort2]]></Shape

1019 ><Info

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

1021 ><Node id="N2"

1022 ><Position X="0.756458333333333" Y="4.105833333333333"

1023 /><Name

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

1025 ><LabelAbove

1026 >True</LabelAbove

1027 ><Shape

1028 ><![CDATA[1]]></Shape

1029 ><Info

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

1031 ><Node id="N3"

1032 ><Position X="2.88125" Y="4.177083333333334"

1033 /><Name

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

1035 ><LabelAbove

1036 >True</LabelAbove

1037 ><Shape

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

1039 ><Info

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

1041 ><Node id="N4"

1042 ><Position X="3.1458333333333335" Y="0.5264583333333334"

1043 /><Name

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

1045 ><LabelAbove

1046 >True</LabelAbove

1047 ><Shape

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

1049 ><Info

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

1051 ><Node id="N5"

1052 ><Position X="0.5739583333333332" Y="0.5529166666666667"

1053 /><Name

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

1055 ><LabelAbove

1056 >True</LabelAbove

1057 ><Shape

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

1059 ><Info

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

1061 ><Edges

1062 ><Edge id="E1"

1063 ><From

1064 >1</From

1065 ><PortFrom

1066 ><![CDATA[fst_rarg]]></PortFrom

1067 ><To

1068 >2</To

1069 ><PortTo

1070 ><![CDATA[port_name]]></PortTo

1071 ><Via

1072 /><Info

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

1074 ><Edge id="E2"

1075 ><From

1076 >1</From

1077 ><PortFrom

1078 ><![CDATA[fst_res]]></PortFrom

1079 ><To

1080 >5</To

1081 ><PortTo

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

1083 ><Via

1084 /><Info

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

1086 ><Edge id="E3"

1087 ><From

1088 >1</From

1089 ><PortFrom

1090 ><![CDATA[snd_res]]></PortFrom

1091 ><To

1092 >4</To

1093 ><PortTo

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

1095 ><Via

1096 /><Info

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

1098 ><Edge id="E4"

1099 ><From

1100 >1</From

1101 ><PortFrom

1102 ><![CDATA[snd_arg]]></PortFrom

1103 ><To

1104 >3</To

1105 ><PortTo

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

1107 ><Via

1108 /><Info

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

1110 ><RHS

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

1112 ><Info

1113 ><unit/></Info

1114 ><Nodes

1115 ><Node id="N3"

1116 ><Position X="2.88125" Y="4.177083333333334"

1117 /><Name

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

1119 ><LabelAbove

1120 >True</LabelAbove

1121 ><Shape

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

1123 ><Info

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

1125 ><Node id="N4"

1126 ><Position X="3.1722916666666667" Y="0.5264583333333334"

1127 /><Name

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

1129 ><LabelAbove

1130 >True</LabelAbove

1131 ><Shape

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

1133 ><Info

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

1135 ><Node id="N5"

1136 ><Position X="0.5739583333333332" Y="0.5529166666666667"

1137 /><Name

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

1139 ><LabelAbove

1140 >True</LabelAbove

1141 ><Shape

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

1143 ><Info

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

1145 ><Node id="N6"

1146 ><Position X="2.3283333333333336" Y="1.9843750000000002"

1147 /><Name

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

1149 ><LabelAbove

1150 >True</LabelAbove

1151 ><Shape

1152 ><![CDATA[sort-1]]></Shape

1153 ><Info

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

1155 ><Edges

1156 ><Edge id="E1"

1157 ><From

1158 >6</From

1159 ><PortFrom

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

1161 ><To

1162 >3</To

1163 ><PortTo

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

1165 ><Via

1166 /><Info

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

1168 ><Edge id="E2"

1169 ><From

1170 >5</From

1171 ><PortFrom

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

1173 ><To

1174 >6</To

1175 ><PortTo

1176 ><![CDATA[fst_res]]></PortTo

1177 ><Via

1178 /><Info

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

1180 ><Edge id="E3"

1181 ><From

1182 >4</From

1183 ><PortFrom

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

1185 ><To

1186 >6</To

1187 ><PortTo

1188 ><![CDATA[snd_res]]></PortTo

1189 ><Via

1190 /><Info

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

1192 ><Mapping

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

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

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

1196 ><INRule

1197 ><Name

1198 ><![CDATA[sort2_2]]></Name

1199 ><LHS

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

1201 ><Info

1202 ><unit/></Info

1203 ><Nodes

1204 ><Node id="N1"

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

1206 /><Name

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

1208 ><LabelAbove

1209 >True</LabelAbove

1210 ><Shape

1211 ><![CDATA[sort2]]></Shape

1212 ><Info

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

1214 ><Node id="N2"

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

1216 /><Name

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

1218 ><LabelAbove

1219 >True</LabelAbove

1220 ><Shape

1221 ><![CDATA[2]]></Shape

1222 ><Info

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

1224 ><Node id="N3"

1225 ><Position X="5.2625" Y="4.23"

1226 /><Name

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

1228 ><LabelAbove

1229 >True</LabelAbove

1230 ><Shape

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

1232 ><Info

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

1234 ><Node id="N4"

1235 ><Position X="4.9714583333333335" Y="0.7910416666666666"

1236 /><Name

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

1238 ><LabelAbove

1239 >True</LabelAbove

1240 ><Shape

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

1242 ><Info

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

1244 ><Node id="N5"

1245 ><Position X="1.5" Y="0.5"

1246 /><Name

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

1248 ><LabelAbove

1249 >True</LabelAbove

1250 ><Shape

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

1252 ><Info

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

1254 ><Edges

1255 ><Edge id="E1"

1256 ><From

1257 >1</From

1258 ><PortFrom

1259 ><![CDATA[fst_rarg]]></PortFrom

1260 ><To

1261 >2</To

1262 ><PortTo

1263 ><![CDATA[port_name]]></PortTo

1264 ><Via

1265 /><Info

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

1267 ><Edge id="E2"

1268 ><From

1269 >1</From

1270 ><PortFrom

1271 ><![CDATA[fst_res]]></PortFrom

1272 ><To

1273 >5</To

1274 ><PortTo

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

1276 ><Via

1277 /><Info

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

1279 ><Edge id="E3"

1280 ><From

1281 >1</From

1282 ><PortFrom

1283 ><![CDATA[snd_res]]></PortFrom

1284 ><To

1285 >4</To

1286 ><PortTo

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

1288 ><Via

1289 /><Info

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

1291 ><Edge id="E4"

1292 ><From

1293 >1</From

1294 ><PortFrom

1295 ><![CDATA[snd_arg]]></PortFrom

1296 ><To

1297 >3</To

1298 ><PortTo

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

1300 ><Via

1301 /><Info

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

1303 ><RHS

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

1305 ><Info

1306 ><unit/></Info

1307 ><Nodes

1308 ><Node id="N3"

1309 ><Position X="5.2625" Y="4.23"

1310 /><Name

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

1312 ><LabelAbove

1313 >True</LabelAbove

1314 ><Shape

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

1316 ><Info

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

1318 ><Node id="N4"

1319 ><Position X="4.9714583333333335" Y="0.7910416666666666"

1320 /><Name

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

1322 ><LabelAbove

1323 >True</LabelAbove

1324 ><Shape

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

1326 ><Info

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

1328 ><Node id="N5"

1329 ><Position X="1.5" Y="0.5"

1330 /><Name

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

1332 ><LabelAbove

1333 >True</LabelAbove

1334 ><Shape

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

1336 ><Info

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

1338 ><Node id="N6"

1339 ><Position X="3.386666666666667" Y="2.54"

1340 /><Name

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

1342 ><LabelAbove

1343 >True</LabelAbove

1344 ><Shape

1345 ><![CDATA[sort-2]]></Shape

1346 ><Info

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

1348 ><Edges

1349 ><Edge id="E1"

1350 ><From

1351 >6</From

1352 ><PortFrom

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

1354 ><To

1355 >3</To

1356 ><PortTo

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

1358 ><Via

1359 /><Info

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

1361 ><Edge id="E2"

1362 ><From

1363 >4</From

1364 ><PortFrom

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

1366 ><To

1367 >6</To

1368 ><PortTo

1369 ><![CDATA[snd_res]]></PortTo

1370 ><Via

1371 /><Info

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

1373 ><Edge id="E3"

1374 ><From

1375 >5</From

1376 ><PortFrom

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

1378 ><To

1379 >6</To

1380 ><PortTo

1381 ><![CDATA[fst_res]]></PortTo

1382 ><Via

1383 /><Info

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

1385 ><Mapping

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

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

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

1389 ><INRule

1390 ><Name

1391 ><![CDATA[sort2_3]]></Name

1392 ><LHS

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

1394 ><Info

1395 ><unit/></Info

1396 ><Nodes

1397 ><Node id="N1"

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

1399 /><Name

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

1401 ><LabelAbove

1402 >True</LabelAbove

1403 ><Shape

1404 ><![CDATA[sort2]]></Shape

1405 ><Info

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

1407 ><Node id="N2"

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

1409 /><Name

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

1411 ><LabelAbove

1412 >True</LabelAbove

1413 ><Shape

1414 ><![CDATA[3]]></Shape

1415 ><Info

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

1417 ><Node id="N3"

1418 ><Position X="5.685833333333334" Y="4.38875"

1419 /><Name

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

1421 ><LabelAbove

1422 >True</LabelAbove

1423 ><Shape

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

1425 ><Info

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

1427 ><Node id="N4"

1428 ><Position X="5.077291666666667" Y="0.5264583333333333"

1429 /><Name

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

1431 ><LabelAbove

1432 >True</LabelAbove

1433 ><Shape

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

1435 ><Info

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

1437 ><Node id="N5"

1438 ><Position X="1.5" Y="0.5"

1439 /><Name

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

1441 ><LabelAbove

1442 >True</LabelAbove

1443 ><Shape

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

1445 ><Info

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

1447 ><Edges

1448 ><Edge id="E1"

1449 ><From

1450 >1</From

1451 ><PortFrom

1452 ><![CDATA[fst_rarg]]></PortFrom

1453 ><To

1454 >2</To

1455 ><PortTo

1456 ><![CDATA[port_name]]></PortTo

1457 ><Via

1458 /><Info

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

1460 ><Edge id="E2"

1461 ><From

1462 >1</From

1463 ><PortFrom

1464 ><![CDATA[fst_res]]></PortFrom

1465 ><To

1466 >5</To

1467 ><PortTo

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

1469 ><Via

1470 /><Info

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

1472 ><Edge id="E3"

1473 ><From

1474 >1</From

1475 ><PortFrom

1476 ><![CDATA[snd_res]]></PortFrom

1477 ><To

1478 >4</To

1479 ><PortTo

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

1481 ><Via

1482 /><Info

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

1484 ><Edge id="E4"

1485 ><From

1486 >1</From

1487 ><PortFrom

1488 ><![CDATA[snd_arg]]></PortFrom

1489 ><To

1490 >3</To

1491 ><PortTo

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

1493 ><Via

1494 /><Info

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

1496 ><RHS

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

1498 ><Info

1499 ><unit/></Info

1500 ><Nodes

1501 ><Node id="N3"

1502 ><Position X="5.685833333333334" Y="4.38875"

1503 /><Name

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

1505 ><LabelAbove

1506 >True</LabelAbove

1507 ><Shape

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

1509 ><Info

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

1511 ><Node id="N4"

1512 ><Position X="5.103750000000001" Y="0.5264583333333333"

1513 /><Name

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

1515 ><LabelAbove

1516 >True</LabelAbove

1517 ><Shape

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

1519 ><Info

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

1521 ><Node id="N5"

1522 ><Position X="1.5" Y="0.5"

1523 /><Name

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

1525 ><LabelAbove

1526 >True</LabelAbove

1527 ><Shape

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

1529 ><Info

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

1531 ><Node id="N6"

1532 ><Position X="3.5983333333333336" Y="2.354791666666667"

1533 /><Name

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

1535 ><LabelAbove

1536 >True</LabelAbove

1537 ><Shape

1538 ><![CDATA[sort-3]]></Shape

1539 ><Info

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

1541 ><Edges

1542 ><Edge id="E1"

1543 ><From

1544 >6</From

1545 ><PortFrom

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

1547 ><To

1548 >3</To

1549 ><PortTo

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

1551 ><Via

1552 /><Info

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

1554 ><Edge id="E2"

1555 ><From

1556 >4</From

1557 ><PortFrom

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

1559 ><To

1560 >6</To

1561 ><PortTo

1562 ><![CDATA[snd_res]]></PortTo

1563 ><Via

1564 /><Info

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

1566 ><Edge id="E3"

1567 ><From

1568 >5</From

1569 ><PortFrom

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

1571 ><To

1572 >6</To

1573 ><PortTo

1574 ><![CDATA[fst_res]]></PortTo

1575 ><Via

1576 /><Info

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

1578 ><Mapping

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

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

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

1582 ><INRule

1583 ><Name

1584 ><![CDATA[sort2_4]]></Name

1585 ><LHS

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

1587 ><Info

1588 ><unit/></Info

1589 ><Nodes

1590 ><Node id="N1"

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

1592 /><Name

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

1594 ><LabelAbove

1595 >True</LabelAbove

1596 ><Shape

1597 ><![CDATA[sort2]]></Shape

1598 ><Info

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

1600 ><Node id="N2"

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

1602 /><Name

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

1604 ><LabelAbove

1605 >True</LabelAbove

1606 ><Shape

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

1608 ><Info

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

1610 ><Node id="N3"

1611 ><Position X="5.685833333333333" Y="4.38875"

1612 /><Name

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

1614 ><LabelAbove

1615 >True</LabelAbove

1616 ><Shape

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

1618 ><Info

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

1620 ><Node id="N4"

1621 ><Position X="5.103750000000001" Y="0.5529166666666666"

1622 /><Name

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

1624 ><LabelAbove

1625 >True</LabelAbove

1626 ><Shape

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

1628 ><Info

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

1630 ><Node id="N5"

1631 ><Position X="1.5" Y="0.5"

1632 /><Name

1633 ><![CDATA[Node 5]]></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 >1</From

1644 ><PortFrom

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

1646 ><To

1647 >2</To

1648 ><PortTo

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

1650 ><Via

1651 /><Info

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

1653 ><Edge id="E2"

1654 ><From

1655 >1</From

1656 ><PortFrom

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

1658 ><To

1659 >5</To

1660 ><PortTo

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

1662 ><Via

1663 /><Info

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

1665 ><Edge id="E3"

1666 ><From

1667 >1</From

1668 ><PortFrom

1669 ><![CDATA[snd_res]]></PortFrom

1670 ><To

1671 >4</To

1672 ><PortTo

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

1674 ><Via

1675 /><Info

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

1677 ><Edge id="E4"

1678 ><From

1679 >1</From

1680 ><PortFrom

1681 ><![CDATA[snd_arg]]></PortFrom

1682 ><To

1683 >3</To

1684 ><PortTo

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

1686 ><Via

1687 /><Info

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

1689 ><RHS

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

1691 ><Info

1692 ><unit/></Info

1693 ><Nodes

1694 ><Node id="N3"

1695 ><Position X="5.685833333333333" Y="4.38875"

1696 /><Name

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

1698 ><LabelAbove

1699 >True</LabelAbove

1700 ><Shape

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

1702 ><Info

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

1704 ><Node id="N4"

1705 ><Position X="5.103750000000001" Y="0.5529166666666666"

1706 /><Name

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

1708 ><LabelAbove

1709 >True</LabelAbove

1710 ><Shape

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

1712 ><Info

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

1714 ><Node id="N5"

1715 ><Position X="1.5" Y="0.5"

1716 /><Name

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

1718 ><LabelAbove

1719 >True</LabelAbove

1720 ><Shape

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

1722 ><Info

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

1724 ><Node id="N6"

1725 ><Position X="3.677708333333334" Y="2.831041666666667"

1726 /><Name

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

1728 ><LabelAbove

1729 >True</LabelAbove

1730 ><Shape

1731 ><![CDATA[sort-4]]></Shape

1732 ><Info

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

1734 ><Edges

1735 ><Edge id="E1"

1736 ><From

1737 >6</From

1738 ><PortFrom

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

1740 ><To

1741 >3</To

1742 ><PortTo

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

1744 ><Via

1745 /><Info

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

1747 ><Edge id="E2"

1748 ><From

1749 >6</From

1750 ><PortFrom

1751 ><![CDATA[snd_res]]></PortFrom

1752 ><To

1753 >4</To

1754 ><PortTo

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

1756 ><Via

1757 /><Info

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

1759 ><Edge id="E3"

1760 ><From

1761 >5</From

1762 ><PortFrom

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

1764 ><To

1765 >6</To

1766 ><PortTo

1767 ><![CDATA[fst_res]]></PortTo

1768 ><Via

1769 /><Info

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

1771 ><Mapping

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

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

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

1775 ><INRule

1776 ><Name

1777 ><![CDATA[sort-1_1]]></Name

1778 ><LHS

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

1780 ><Info

1781 ><unit/></Info

1782 ><Nodes

1783 ><Node id="N1"

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

1785 /><Name

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

1787 ><LabelAbove

1788 >True</LabelAbove

1789 ><Shape

1790 ><![CDATA[sort-1]]></Shape

1791 ><Info

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

1793 ><Node id="N2"

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

1795 /><Name

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

1797 ><LabelAbove

1798 >True</LabelAbove

1799 ><Shape

1800 ><![CDATA[1]]></Shape

1801 ><Info

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

1803 ><Node id="N3"

1804 ><Position X="0.5" Y="0.5"

1805 /><Name

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

1807 ><LabelAbove

1808 >True</LabelAbove

1809 ><Shape

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

1811 ><Info

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

1813 ><Node id="N4"

1814 ><Position X="1.5" Y="0.5"

1815 /><Name

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

1817 ><LabelAbove

1818 >True</LabelAbove

1819 ><Shape

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

1821 ><Info

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

1823 ><Edges

1824 ><Edge id="E1"

1825 ><From

1826 >1</From

1827 ><PortFrom

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

1829 ><To

1830 >2</To

1831 ><PortTo

1832 ><![CDATA[port_name]]></PortTo

1833 ><Via

1834 /><Info

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

1836 ><Edge id="E2"

1837 ><From

1838 >1</From

1839 ><PortFrom

1840 ><![CDATA[snd_res]]></PortFrom

1841 ><To

1842 >4</To

1843 ><PortTo

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

1845 ><Via

1846 /><Info

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

1848 ><Edge id="E3"

1849 ><From

1850 >1</From

1851 ><PortFrom

1852 ><![CDATA[fst_res]]></PortFrom

1853 ><To

1854 >3</To

1855 ><PortTo

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

1857 ><Via

1858 /><Info

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

1860 ><RHS

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

1862 ><Info

1863 ><unit/></Info

1864 ><Nodes

1865 ><Node id="N3"

1866 ><Position X="0.5" Y="0.5"

1867 /><Name

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

1869 ><LabelAbove

1870 >True</LabelAbove

1871 ><Shape

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

1873 ><Info

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

1875 ><Node id="N4"

1876 ><Position X="1.5264583333333333" Y="0.5"

1877 /><Name

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

1879 ><LabelAbove

1880 >True</LabelAbove

1881 ><Shape

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

1883 ><Info

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

1885 ><Node id="N5"

1886 ><Position X="0.47625" Y="2.407708333333334"

1887 /><Name

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

1889 ><LabelAbove

1890 >True</LabelAbove

1891 ><Shape

1892 ><![CDATA[1]]></Shape

1893 ><Info

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

1895 ><Node id="N6"

1896 ><Position X="1.5081250000000002" Y="2.460625"

1897 /><Name

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

1899 ><LabelAbove

1900 >True</LabelAbove

1901 ><Shape

1902 ><![CDATA[1]]></Shape

1903 ><Info

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

1905 ><Edges

1906 ><Edge id="E1"

1907 ><From

1908 >5</From

1909 ><PortFrom

1910 ><![CDATA[port_name]]></PortFrom

1911 ><To

1912 >3</To

1913 ><PortTo

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

1915 ><Via

1916 /><Info

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

1918 ><Edge id="E2"

1919 ><From

1920 >4</From

1921 ><PortFrom

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

1923 ><To

1924 >6</To

1925 ><PortTo

1926 ><![CDATA[port_name]]></PortTo

1927 ><Via

1928 /><Info

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

1930 ><Mapping

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

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

1933 ><INRule

1934 ><Name

1935 ><![CDATA[sort-1_2]]></Name

1936 ><LHS

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

1938 ><Info

1939 ><unit/></Info

1940 ><Nodes

1941 ><Node id="N1"

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

1943 /><Name

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

1945 ><LabelAbove

1946 >True</LabelAbove

1947 ><Shape

1948 ><![CDATA[sort-1]]></Shape

1949 ><Info

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

1951 ><Node id="N2"

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

1953 /><Name

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

1955 ><LabelAbove

1956 >True</LabelAbove

1957 ><Shape

1958 ><![CDATA[2]]></Shape

1959 ><Info

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

1961 ><Node id="N3"

1962 ><Position X="0.5" Y="0.5"

1963 /><Name

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

1965 ><LabelAbove

1966 >True</LabelAbove

1967 ><Shape

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

1969 ><Info

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

1971 ><Node id="N4"

1972 ><Position X="1.5" Y="0.5"

1973 /><Name

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

1975 ><LabelAbove

1976 >True</LabelAbove

1977 ><Shape

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

1979 ><Info

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

1981 ><Edges

1982 ><Edge id="E1"

1983 ><From

1984 >1</From

1985 ><PortFrom

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

1987 ><To

1988 >2</To

1989 ><PortTo

1990 ><![CDATA[port_name]]></PortTo

1991 ><Via

1992 /><Info

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

1994 ><Edge id="E2"

1995 ><From

1996 >1</From

1997 ><PortFrom

1998 ><![CDATA[snd_res]]></PortFrom

1999 ><To

2000 >4</To

2001 ><PortTo

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

2003 ><Via

2004 /><Info

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

2006 ><Edge id="E3"

2007 ><From

2008 >1</From

2009 ><PortFrom

2010 ><![CDATA[fst_res]]></PortFrom

2011 ><To

2012 >3</To

2013 ><PortTo

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

2015 ><Via

2016 /><Info

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

2018 ><RHS

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

2020 ><Info

2021 ><unit/></Info

2022 ><Nodes

2023 ><Node id="N3"

2024 ><Position X="0.5" Y="0.5"

2025 /><Name

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

2027 ><LabelAbove

2028 >True</LabelAbove

2029 ><Shape

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

2031 ><Info

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

2033 ><Node id="N4"

2034 ><Position X="1.5" Y="0.5"

2035 /><Name

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

2037 ><LabelAbove

2038 >True</LabelAbove

2039 ><Shape

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

2041 ><Info

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

2043 ><Node id="N5"

2044 ><Position X="0.47625" Y="2.434166666666667"

2045 /><Name

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

2047 ><LabelAbove

2048 >True</LabelAbove

2049 ><Shape

2050 ><![CDATA[1]]></Shape

2051 ><Info

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

2053 ><Node id="N6"

2054 ><Position X="1.4816666666666667" Y="2.407708333333334"

2055 /><Name

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

2057 ><LabelAbove

2058 >True</LabelAbove

2059 ><Shape

2060 ><![CDATA[2]]></Shape

2061 ><Info

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

2063 ><Edges

2064 ><Edge id="E1"

2065 ><From

2066 >3</From

2067 ><PortFrom

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

2069 ><To

2070 >5</To

2071 ><PortTo

2072 ><![CDATA[port_name]]></PortTo

2073 ><Via

2074 /><Info

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

2076 ><Edge id="E2"

2077 ><From

2078 >4</From

2079 ><PortFrom

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

2081 ><To

2082 >6</To

2083 ><PortTo

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

2085 ><Via

2086 /><Info

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

2088 ><Mapping

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

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

2091 ><INRule

2092 ><Name

2093 ><![CDATA[sort-1_3]]></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[sort-1]]></Shape

2107 ><Info

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

2109 ><Node id="N2"

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

2111 /><Name

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

2113 ><LabelAbove

2114 >True</LabelAbove

2115 ><Shape

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

2117 ><Info

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

2119 ><Node id="N3"

2120 ><Position X="0.5" Y="0.5"

2121 /><Name

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

2123 ><LabelAbove

2124 >True</LabelAbove

2125 ><Shape

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

2127 ><Info

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

2129 ><Node id="N4"

2130 ><Position X="1.5" Y="0.5"

2131 /><Name

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

2133 ><LabelAbove

2134 >True</LabelAbove

2135 ><Shape

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

2137 ><Info

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

2139 ><Edges

2140 ><Edge id="E1"

2141 ><From

2142 >1</From

2143 ><PortFrom

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

2145 ><To

2146 >2</To

2147 ><PortTo

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

2149 ><Via

2150 /><Info

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

2152 ><Edge id="E2"

2153 ><From

2154 >1</From

2155 ><PortFrom

2156 ><![CDATA[snd_res]]></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 >1</From

2167 ><PortFrom

2168 ><![CDATA[fst_res]]></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="0.5" Y="0.5"

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="0.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="0.5027083333333334" Y="2.4077083333333333"

2203 /><Name

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

2205 ><LabelAbove

2206 >True</LabelAbove

2207 ><Shape

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

2209 ><Info

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

2211 ><Node id="N6"

2212 ><Position X="1.5081250000000002" Y="2.4077083333333333"

2213 /><Name

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

2215 ><LabelAbove

2216 >True</LabelAbove

2217 ><Shape

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

2219 ><Info

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

2221 ><Edges

2222 ><Edge id="E1"

2223 ><From

2224 >3</From

2225 ><PortFrom

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

2227 ><To

2228 >5</To

2229 ><PortTo

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

2231 ><Via

2232 /><Info

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

2234 ><Edge id="E2"

2235 ><From

2236 >4</From

2237 ><PortFrom

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

2239 ><To

2240 >6</To

2241 ><PortTo

2242 ><![CDATA[port_name]]></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[sort-1_4]]></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[sort-1]]></Shape

2265 ><Info

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

2267 ><Node id="N2"

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

2269 /><Name

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

2271 ><LabelAbove

2272 >True</LabelAbove

2273 ><Shape

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

2275 ><Info

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

2277 ><Node id="N3"

2278 ><Position X="0.5" Y="0.5"

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="1.5" Y="0.5"

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[arg]]></PortFrom

2303 ><To

2304 >2</To

2305 ><PortTo

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

2307 ><Via

2308 /><Info

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

2310 ><Edge id="E2"

2311 ><From

2312 >1</From

2313 ><PortFrom

2314 ><![CDATA[snd_res]]></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 >1</From

2325 ><PortFrom

2326 ><![CDATA[fst_res]]></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="0.5" Y="0.5"

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="1.5" Y="0.5"

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="0.5027083333333333" Y="2.4606250000000003"

2361 /><Name

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

2363 ><LabelAbove

2364 >True</LabelAbove

2365 ><Shape

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

2367 ><Info

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

2369 ><Node id="N6"

2370 ><Position X="1.4816666666666667" Y="2.4606250000000003"

2371 /><Name

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

2373 ><LabelAbove

2374 >True</LabelAbove

2375 ><Shape

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

2377 ><Info

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

2379 ><Edges

2380 ><Edge id="E1"

2381 ><From

2382 >4</From

2383 ><PortFrom

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

2385 ><To

2386 >6</To

2387 ><PortTo

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

2389 ><Via

2390 /><Info

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

2392 ><Edge id="E2"

2393 ><From

2394 >3</From

2395 ><PortFrom

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

2397 ><To

2398 >5</To

2399 ><PortTo

2400 ><![CDATA[port_name]]></PortTo

2401 ><Via

2402 /><Info

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

2404 ><Mapping

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

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

2407 ><INRule

2408 ><Name

2409 ><![CDATA[sort-2_1]]></Name

2410 ><LHS

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

2412 ><Info

2413 ><unit/></Info

2414 ><Nodes

2415 ><Node id="N1"

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

2417 /><Name

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

2419 ><LabelAbove

2420 >True</LabelAbove

2421 ><Shape

2422 ><![CDATA[sort-2]]></Shape

2423 ><Info

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

2425 ><Node id="N2"

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

2427 /><Name

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

2429 ><LabelAbove

2430 >True</LabelAbove

2431 ><Shape

2432 ><![CDATA[1]]></Shape

2433 ><Info

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

2435 ><Node id="N3"

2436 ><Position X="0.5" Y="0.5"

2437 /><Name

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

2439 ><LabelAbove

2440 >True</LabelAbove

2441 ><Shape

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

2443 ><Info

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

2445 ><Node id="N4"

2446 ><Position X="1.5" Y="0.5"

2447 /><Name

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

2449 ><LabelAbove

2450 >True</LabelAbove

2451 ><Shape

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

2453 ><Info

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

2455 ><Edges

2456 ><Edge id="E1"

2457 ><From

2458 >1</From

2459 ><PortFrom

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

2461 ><To

2462 >2</To

2463 ><PortTo

2464 ><![CDATA[port_name]]></PortTo

2465 ><Via

2466 /><Info

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

2468 ><Edge id="E2"

2469 ><From

2470 >1</From

2471 ><PortFrom

2472 ><![CDATA[snd_res]]></PortFrom

2473 ><To

2474 >4</To

2475 ><PortTo

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

2477 ><Via

2478 /><Info

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

2480 ><Edge id="E3"

2481 ><From

2482 >1</From

2483 ><PortFrom

2484 ><![CDATA[fst_res]]></PortFrom

2485 ><To

2486 >3</To

2487 ><PortTo

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

2489 ><Via

2490 /><Info

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

2492 ><RHS

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

2494 ><Info

2495 ><unit/></Info

2496 ><Nodes

2497 ><Node id="N3"

2498 ><Position X="0.5" Y="0.5"

2499 /><Name

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

2501 ><LabelAbove

2502 >True</LabelAbove

2503 ><Shape

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

2505 ><Info

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

2507 ><Node id="N4"

2508 ><Position X="1.5" Y="0.5"

2509 /><Name

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

2511 ><LabelAbove

2512 >True</LabelAbove

2513 ><Shape

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

2515 ><Info

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

2517 ><Node id="N5"

2518 ><Position X="1.4816666666666667" Y="2.3283333333333336"

2519 /><Name

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

2521 ><LabelAbove

2522 >True</LabelAbove

2523 ><Shape

2524 ><![CDATA[2]]></Shape

2525 ><Info

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

2527 ><Node id="N6"

2528 ><Position X="0.47625" Y="2.3018750000000003"

2529 /><Name

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

2531 ><LabelAbove

2532 >True</LabelAbove

2533 ><Shape

2534 ><![CDATA[1]]></Shape

2535 ><Info

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

2537 ><Edges

2538 ><Edge id="E1"

2539 ><From

2540 >3</From

2541 ><PortFrom

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

2543 ><To

2544 >6</To

2545 ><PortTo

2546 ><![CDATA[port_name]]></PortTo

2547 ><Via

2548 /><Info

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

2550 ><Edge id="E2"

2551 ><From

2552 >4</From

2553 ><PortFrom

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

2555 ><To

2556 >5</To

2557 ><PortTo

2558 ><![CDATA[port_name]]></PortTo

2559 ><Via

2560 /><Info

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

2562 ><Mapping

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

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

2565 ><INRule

2566 ><Name

2567 ><![CDATA[sort-2_2]]></Name

2568 ><LHS

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

2570 ><Info

2571 ><unit/></Info

2572 ><Nodes

2573 ><Node id="N1"

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

2575 /><Name

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

2577 ><LabelAbove

2578 >True</LabelAbove

2579 ><Shape

2580 ><![CDATA[sort-2]]></Shape

2581 ><Info

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

2583 ><Node id="N2"

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

2585 /><Name

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

2587 ><LabelAbove

2588 >True</LabelAbove

2589 ><Shape

2590 ><![CDATA[2]]></Shape

2591 ><Info

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

2593 ><Node id="N3"

2594 ><Position X="0.5" Y="0.5"

2595 /><Name

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

2597 ><LabelAbove

2598 >True</LabelAbove

2599 ><Shape

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

2601 ><Info

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

2603 ><Node id="N4"

2604 ><Position X="1.5" Y="0.5"

2605 /><Name

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

2607 ><LabelAbove

2608 >True</LabelAbove

2609 ><Shape

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

2611 ><Info

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

2613 ><Edges

2614 ><Edge id="E1"

2615 ><From

2616 >1</From

2617 ><PortFrom

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

2619 ><To

2620 >2</To

2621 ><PortTo

2622 ><![CDATA[port_name]]></PortTo

2623 ><Via

2624 /><Info

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

2626 ><Edge id="E2"

2627 ><From

2628 >1</From

2629 ><PortFrom

2630 ><![CDATA[snd_res]]></PortFrom

2631 ><To

2632 >4</To

2633 ><PortTo

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

2635 ><Via

2636 /><Info

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

2638 ><Edge id="E3"

2639 ><From

2640 >1</From

2641 ><PortFrom

2642 ><![CDATA[fst_res]]></PortFrom

2643 ><To

2644 >3</To

2645 ><PortTo

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

2647 ><Via

2648 /><Info

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

2650 ><RHS

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

2652 ><Info

2653 ><unit/></Info

2654 ><Nodes

2655 ><Node id="N3"

2656 ><Position X="0.5" Y="0.47354166666666675"

2657 /><Name

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

2659 ><LabelAbove

2660 >True</LabelAbove

2661 ><Shape

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

2663 ><Info

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

2665 ><Node id="N4"

2666 ><Position X="1.5" Y="0.5"

2667 /><Name

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

2669 ><LabelAbove

2670 >True</LabelAbove

2671 ><Shape

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

2673 ><Info

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

2675 ><Node id="N5"

2676 ><Position X="0.47625000000000006" Y="2.3018750000000003"

2677 /><Name

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

2679 ><LabelAbove

2680 >True</LabelAbove

2681 ><Shape

2682 ><![CDATA[2]]></Shape

2683 ><Info

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

2685 ><Node id="N6"

2686 ><Position X="1.481666666666667" Y="2.3283333333333336"

2687 /><Name

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

2689 ><LabelAbove

2690 >True</LabelAbove

2691 ><Shape

2692 ><![CDATA[2]]></Shape

2693 ><Info

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

2695 ><Edges

2696 ><Edge id="E1"

2697 ><From

2698 >3</From

2699 ><PortFrom

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

2701 ><To

2702 >5</To

2703 ><PortTo

2704 ><![CDATA[port_name]]></PortTo

2705 ><Via

2706 /><Info

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

2708 ><Edge id="E2"

2709 ><From

2710 >4</From

2711 ><PortFrom

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

2713 ><To

2714 >6</To

2715 ><PortTo

2716 ><![CDATA[port_name]]></PortTo

2717 ><Via

2718 /><Info

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

2720 ><Mapping

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

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

2723 ><INRule

2724 ><Name

2725 ><![CDATA[sort-2_3]]></Name

2726 ><LHS

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

2728 ><Info

2729 ><unit/></Info

2730 ><Nodes

2731 ><Node id="N1"

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

2733 /><Name

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

2735 ><LabelAbove

2736 >True</LabelAbove

2737 ><Shape

2738 ><![CDATA[sort-2]]></Shape

2739 ><Info

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

2741 ><Node id="N2"

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

2743 /><Name

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

2745 ><LabelAbove

2746 >True</LabelAbove

2747 ><Shape

2748 ><![CDATA[3]]></Shape

2749 ><Info

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

2751 ><Node id="N3"

2752 ><Position X="0.5" Y="0.5"

2753 /><Name

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

2755 ><LabelAbove

2756 >True</LabelAbove

2757 ><Shape

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

2759 ><Info

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

2761 ><Node id="N4"

2762 ><Position X="1.5" Y="0.5"

2763 /><Name

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

2765 ><LabelAbove

2766 >True</LabelAbove

2767 ><Shape

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

2769 ><Info

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

2771 ><Edges

2772 ><Edge id="E1"

2773 ><From

2774 >1</From

2775 ><PortFrom

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

2777 ><To

2778 >2</To

2779 ><PortTo

2780 ><![CDATA[port_name]]></PortTo

2781 ><Via

2782 /><Info

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

2784 ><Edge id="E2"

2785 ><From

2786 >1</From

2787 ><PortFrom

2788 ><![CDATA[snd_res]]></PortFrom

2789 ><To

2790 >4</To

2791 ><PortTo

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

2793 ><Via

2794 /><Info

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

2796 ><Edge id="E3"

2797 ><From

2798 >1</From

2799 ><PortFrom

2800 ><![CDATA[fst_res]]></PortFrom

2801 ><To

2802 >3</To

2803 ><PortTo

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

2805 ><Via

2806 /><Info

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

2808 ><RHS

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

2810 ><Info

2811 ><unit/></Info

2812 ><Nodes

2813 ><Node id="N3"

2814 ><Position X="0.5" Y="0.5"

2815 /><Name

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

2817 ><LabelAbove

2818 >True</LabelAbove

2819 ><Shape

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

2821 ><Info

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

2823 ><Node id="N4"

2824 ><Position X="1.5" Y="0.5"

2825 /><Name

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

2827 ><LabelAbove

2828 >True</LabelAbove

2829 ><Shape

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

2831 ><Info

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

2833 ><Node id="N5"

2834 ><Position X="0.47625000000000006" Y="2.1695833333333336"

2835 /><Name

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

2837 ><LabelAbove

2838 >True</LabelAbove

2839 ><Shape

2840 ><![CDATA[2]]></Shape

2841 ><Info

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

2843 ><Node id="N6"

2844 ><Position X="1.4816666666666667" Y="2.1695833333333336"

2845 /><Name

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

2847 ><LabelAbove

2848 >True</LabelAbove

2849 ><Shape

2850 ><![CDATA[3]]></Shape

2851 ><Info

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

2853 ><Edges

2854 ><Edge id="E1"

2855 ><From

2856 >3</From

2857 ><PortFrom

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

2859 ><To

2860 >5</To

2861 ><PortTo

2862 ><![CDATA[port_name]]></PortTo

2863 ><Via

2864 /><Info

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

2866 ><Edge id="E2"

2867 ><From

2868 >4</From

2869 ><PortFrom

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

2871 ><To

2872 >6</To

2873 ><PortTo

2874 ><![CDATA[port_name]]></PortTo

2875 ><Via

2876 /><Info

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

2878 ><Mapping

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

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

2881 ><INRule

2882 ><Name

2883 ><![CDATA[sort-2_4]]></Name

2884 ><LHS

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

2886 ><Info

2887 ><unit/></Info

2888 ><Nodes

2889 ><Node id="N1"

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

2891 /><Name

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

2893 ><LabelAbove

2894 >True</LabelAbove

2895 ><Shape

2896 ><![CDATA[sort-2]]></Shape

2897 ><Info

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

2899 ><Node id="N2"

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

2901 /><Name

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

2903 ><LabelAbove

2904 >True</LabelAbove

2905 ><Shape

2906 ><![CDATA[4]]></Shape

2907 ><Info

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

2909 ><Node id="N3"

2910 ><Position X="0.5" Y="0.5"

2911 /><Name

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

2913 ><LabelAbove

2914 >True</LabelAbove

2915 ><Shape

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

2917 ><Info

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

2919 ><Node id="N4"

2920 ><Position X="1.5" Y="0.5"

2921 /><Name

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

2923 ><LabelAbove

2924 >True</LabelAbove

2925 ><Shape

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

2927 ><Info

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

2929 ><Edges

2930 ><Edge id="E1"

2931 ><From

2932 >1</From

2933 ><PortFrom

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

2935 ><To

2936 >2</To

2937 ><PortTo

2938 ><![CDATA[port_name]]></PortTo

2939 ><Via

2940 /><Info

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

2942 ><Edge id="E2"

2943 ><From

2944 >1</From

2945 ><PortFrom

2946 ><![CDATA[snd_res]]></PortFrom

2947 ><To

2948 >4</To

2949 ><PortTo

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

2951 ><Via

2952 /><Info

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

2954 ><Edge id="E3"

2955 ><From

2956 >1</From

2957 ><PortFrom

2958 ><![CDATA[fst_res]]></PortFrom

2959 ><To

2960 >3</To

2961 ><PortTo

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

2963 ><Via

2964 /><Info

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

2966 ><RHS

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

2968 ><Info

2969 ><unit/></Info

2970 ><Nodes

2971 ><Node id="N3"

2972 ><Position X="0.5" Y="0.5"

2973 /><Name

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

2975 ><LabelAbove

2976 >True</LabelAbove

2977 ><Shape

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

2979 ><Info

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

2981 ><Node id="N4"

2982 ><Position X="1.5" Y="0.5"

2983 /><Name

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

2985 ><LabelAbove

2986 >True</LabelAbove

2987 ><Shape

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

2989 ><Info

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

2991 ><Node id="N5"

2992 ><Position X="0.5027083333333334" Y="2.1166666666666667"

2993 /><Name

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

2995 ><LabelAbove

2996 >True</LabelAbove

2997 ><Shape

2998 ><![CDATA[2]]></Shape

2999 ><Info

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

3001 ><Node id="N6"

3002 ><Position X="1.508125" Y="2.116666666666667"

3003 /><Name

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

3005 ><LabelAbove

3006 >True</LabelAbove

3007 ><Shape

3008 ><![CDATA[4]]></Shape

3009 ><Info

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

3011 ><Edges

3012 ><Edge id="E1"

3013 ><From

3014 >3</From

3015 ><PortFrom

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

3017 ><To

3018 >5</To

3019 ><PortTo

3020 ><![CDATA[port_name]]></PortTo

3021 ><Via

3022 /><Info

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

3024 ><Edge id="E2"

3025 ><From

3026 >4</From

3027 ><PortFrom

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

3029 ><To

3030 >6</To

3031 ><PortTo

3032 ><![CDATA[port_name]]></PortTo

3033 ><Via

3034 /><Info

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

3036 ><Mapping

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

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

3039 ><INRule

3040 ><Name

3041 ><![CDATA[sort-3_1]]></Name

3042 ><LHS

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

3044 ><Info

3045 ><unit/></Info

3046 ><Nodes

3047 ><Node id="N1"

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

3049 /><Name

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

3051 ><LabelAbove

3052 >True</LabelAbove

3053 ><Shape

3054 ><![CDATA[sort-3]]></Shape

3055 ><Info

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

3057 ><Node id="N2"

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

3059 /><Name

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

3061 ><LabelAbove

3062 >True</LabelAbove

3063 ><Shape

3064 ><![CDATA[1]]></Shape

3065 ><Info

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

3067 ><Node id="N3"

3068 ><Position X="0.5" Y="0.5"

3069 /><Name

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

3071 ><LabelAbove

3072 >True</LabelAbove

3073 ><Shape

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

3075 ><Info

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

3077 ><Node id="N4"

3078 ><Position X="1.5" Y="0.5"

3079 /><Name

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

3081 ><LabelAbove

3082 >True</LabelAbove

3083 ><Shape

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

3085 ><Info

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

3087 ><Edges

3088 ><Edge id="E1"

3089 ><From

3090 >1</From

3091 ><PortFrom

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

3093 ><To

3094 >2</To

3095 ><PortTo

3096 ><![CDATA[port_name]]></PortTo

3097 ><Via

3098 /><Info

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

3100 ><Edge id="E2"

3101 ><From

3102 >1</From

3103 ><PortFrom

3104 ><![CDATA[snd_res]]></PortFrom

3105 ><To

3106 >4</To

3107 ><PortTo

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

3109 ><Via

3110 /><Info

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

3112 ><Edge id="E3"

3113 ><From

3114 >1</From

3115 ><PortFrom

3116 ><![CDATA[fst_res]]></PortFrom

3117 ><To

3118 >3</To

3119 ><PortTo

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

3121 ><Via

3122 /><Info

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

3124 ><RHS

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

3126 ><Info

3127 ><unit/></Info

3128 ><Nodes

3129 ><Node id="N3"

3130 ><Position X="0.5" Y="0.5"

3131 /><Name

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

3133 ><LabelAbove

3134 >True</LabelAbove

3135 ><Shape

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

3137 ><Info

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

3139 ><Node id="N4"

3140 ><Position X="1.5" Y="0.5"

3141 /><Name

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

3143 ><LabelAbove

3144 >True</LabelAbove

3145 ><Shape

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

3147 ><Info

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

3149 ><Node id="N5"

3150 ><Position X="0.5027083333333333" Y="2.0108333333333337"

3151 /><Name

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

3153 ><LabelAbove

3154 >True</LabelAbove

3155 ><Shape

3156 ><![CDATA[1]]></Shape

3157 ><Info

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

3159 ><Node id="N6"

3160 ><Position X="1.5081250000000002" Y="1.9579166666666667"

3161 /><Name

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

3163 ><LabelAbove

3164 >True</LabelAbove

3165 ><Shape

3166 ><![CDATA[3]]></Shape

3167 ><Info

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

3169 ><Edges

3170 ><Edge id="E1"

3171 ><From

3172 >3</From

3173 ><PortFrom

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

3175 ><To

3176 >5</To

3177 ><PortTo

3178 ><![CDATA[port_name]]></PortTo

3179 ><Via

3180 /><Info

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

3182 ><Edge id="E2"

3183 ><From

3184 >4</From

3185 ><PortFrom

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

3187 ><To

3188 >6</To

3189 ><PortTo

3190 ><![CDATA[port_name]]></PortTo

3191 ><Via

3192 /><Info

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

3194 ><Mapping

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

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

3197 ><INRule

3198 ><Name

3199 ><![CDATA[sort-3_2]]></Name

3200 ><LHS

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

3202 ><Info

3203 ><unit/></Info

3204 ><Nodes

3205 ><Node id="N1"

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

3207 /><Name

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

3209 ><LabelAbove

3210 >True</LabelAbove

3211 ><Shape

3212 ><![CDATA[sort-3]]></Shape

3213 ><Info

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

3215 ><Node id="N2"

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

3217 /><Name

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

3219 ><LabelAbove

3220 >True</LabelAbove

3221 ><Shape

3222 ><![CDATA[2]]></Shape

3223 ><Info

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

3225 ><Node id="N3"

3226 ><Position X="0.5" Y="0.5"

3227 /><Name

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

3229 ><LabelAbove

3230 >True</LabelAbove

3231 ><Shape

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

3233 ><Info

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

3235 ><Node id="N4"

3236 ><Position X="1.5" Y="0.5"

3237 /><Name

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

3239 ><LabelAbove

3240 >True</LabelAbove

3241 ><Shape

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

3243 ><Info

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

3245 ><Edges

3246 ><Edge id="E1"

3247 ><From

3248 >1</From

3249 ><PortFrom

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

3251 ><To

3252 >2</To

3253 ><PortTo

3254 ><![CDATA[port_name]]></PortTo

3255 ><Via

3256 /><Info

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

3258 ><Edge id="E2"

3259 ><From

3260 >1</From

3261 ><PortFrom

3262 ><![CDATA[snd_res]]></PortFrom

3263 ><To

3264 >4</To

3265 ><PortTo

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

3267 ><Via

3268 /><Info

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

3270 ><Edge id="E3"

3271 ><From

3272 >1</From

3273 ><PortFrom

3274 ><![CDATA[fst_res]]></PortFrom

3275 ><To

3276 >3</To

3277 ><PortTo

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

3279 ><Via

3280 /><Info

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

3282 ><RHS

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

3284 ><Info

3285 ><unit/></Info

3286 ><Nodes

3287 ><Node id="N3"

3288 ><Position X="0.5" Y="0.5"

3289 /><Name

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

3291 ><LabelAbove

3292 >True</LabelAbove

3293 ><Shape

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

3295 ><Info

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

3297 ><Node id="N4"

3298 ><Position X="1.5" Y="0.5"

3299 /><Name

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

3301 ><LabelAbove

3302 >True</LabelAbove

3303 ><Shape

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

3305 ><Info

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

3307 ><Node id="N5"

3308 ><Position X="0.47625" Y="2.0372916666666674"

3309 /><Name

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

3311 ><LabelAbove

3312 >True</LabelAbove

3313 ><Shape

3314 ><![CDATA[2]]></Shape

3315 ><Info

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

3317 ><Node id="N6"

3318 ><Position X="1.4816666666666667" Y="2.037291666666667"

3319 /><Name

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

3321 ><LabelAbove

3322 >True</LabelAbove

3323 ><Shape

3324 ><![CDATA[3]]></Shape

3325 ><Info

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

3327 ><Edges

3328 ><Edge id="E1"

3329 ><From

3330 >3</From

3331 ><PortFrom

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

3333 ><To

3334 >5</To

3335 ><PortTo

3336 ><![CDATA[port_name]]></PortTo

3337 ><Via

3338 /><Info

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

3340 ><Edge id="E2"

3341 ><From

3342 >4</From

3343 ><PortFrom

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

3345 ><To

3346 >6</To

3347 ><PortTo

3348 ><![CDATA[port_name]]></PortTo

3349 ><Via

3350 /><Info

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

3352 ><Mapping

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

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

3355 ><INRule

3356 ><Name

3357 ><![CDATA[sort-3_3]]></Name

3358 ><LHS

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

3360 ><Info

3361 ><unit/></Info

3362 ><Nodes

3363 ><Node id="N1"

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

3365 /><Name

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

3367 ><LabelAbove

3368 >True</LabelAbove

3369 ><Shape

3370 ><![CDATA[sort-3]]></Shape

3371 ><Info

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

3373 ><Node id="N2"

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

3375 /><Name

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

3377 ><LabelAbove

3378 >True</LabelAbove

3379 ><Shape

3380 ><![CDATA[3]]></Shape

3381 ><Info

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

3383 ><Node id="N3"

3384 ><Position X="0.5" Y="0.5"

3385 /><Name

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

3387 ><LabelAbove

3388 >True</LabelAbove

3389 ><Shape

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

3391 ><Info

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

3393 ><Node id="N4"

3394 ><Position X="1.5" Y="0.5"

3395 /><Name

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

3397 ><LabelAbove

3398 >True</LabelAbove

3399 ><Shape

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

3401 ><Info

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

3403 ><Edges

3404 ><Edge id="E1"

3405 ><From

3406 >1</From

3407 ><PortFrom

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

3409 ><To

3410 >2</To

3411 ><PortTo

3412 ><![CDATA[port_name]]></PortTo

3413 ><Via

3414 /><Info

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

3416 ><Edge id="E2"

3417 ><From

3418 >1</From

3419 ><PortFrom

3420 ><![CDATA[snd_res]]></PortFrom

3421 ><To

3422 >4</To

3423 ><PortTo

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

3425 ><Via

3426 /><Info

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

3428 ><Edge id="E3"

3429 ><From

3430 >1</From

3431 ><PortFrom

3432 ><![CDATA[fst_res]]></PortFrom

3433 ><To

3434 >3</To

3435 ><PortTo

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

3437 ><Via

3438 /><Info

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

3440 ><RHS

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

3442 ><Info

3443 ><unit/></Info

3444 ><Nodes

3445 ><Node id="N3"

3446 ><Position X="0.5" Y="0.5"

3447 /><Name

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

3449 ><LabelAbove

3450 >True</LabelAbove

3451 ><Shape

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

3453 ><Info

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

3455 ><Node id="N4"

3456 ><Position X="1.5" Y="0.5"

3457 /><Name

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

3459 ><LabelAbove

3460 >True</LabelAbove

3461 ><Shape

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

3463 ><Info

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

3465 ><Node id="N5"

3466 ><Position X="0.5027083333333333" Y="2.2225"

3467 /><Name

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

3469 ><LabelAbove

3470 >True</LabelAbove

3471 ><Shape

3472 ><![CDATA[3]]></Shape

3473 ><Info

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

3475 ><Node id="N6"

3476 ><Position X="1.5081250000000002" Y="2.196041666666667"

3477 /><Name

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

3479 ><LabelAbove

3480 >True</LabelAbove

3481 ><Shape

3482 ><![CDATA[3]]></Shape

3483 ><Info

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

3485 ><Edges

3486 ><Edge id="E1"

3487 ><From

3488 >3</From

3489 ><PortFrom

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

3491 ><To

3492 >5</To

3493 ><PortTo

3494 ><![CDATA[port_name]]></PortTo

3495 ><Via

3496 /><Info

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

3498 ><Edge id="E2"

3499 ><From

3500 >4</From

3501 ><PortFrom

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

3503 ><To

3504 >6</To

3505 ><PortTo

3506 ><![CDATA[port_name]]></PortTo

3507 ><Via

3508 /><Info

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

3510 ><Mapping

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

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

3513 ><INRule

3514 ><Name

3515 ><![CDATA[sort-3_4]]></Name

3516 ><LHS

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

3518 ><Info

3519 ><unit/></Info

3520 ><Nodes

3521 ><Node id="N1"

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

3523 /><Name

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

3525 ><LabelAbove

3526 >True</LabelAbove

3527 ><Shape

3528 ><![CDATA[sort-3]]></Shape

3529 ><Info

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

3531 ><Node id="N2"

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

3533 /><Name

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

3535 ><LabelAbove

3536 >True</LabelAbove

3537 ><Shape

3538 ><![CDATA[4]]></Shape

3539 ><Info

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

3541 ><Node id="N3"

3542 ><Position X="0.5" Y="0.5"

3543 /><Name

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

3545 ><LabelAbove

3546 >True</LabelAbove

3547 ><Shape

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

3549 ><Info

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

3551 ><Node id="N4"

3552 ><Position X="1.5" Y="0.5"

3553 /><Name

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

3555 ><LabelAbove

3556 >True</LabelAbove

3557 ><Shape

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

3559 ><Info

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

3561 ><Edges

3562 ><Edge id="E1"

3563 ><From

3564 >1</From

3565 ><PortFrom

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

3567 ><To

3568 >2</To

3569 ><PortTo

3570 ><![CDATA[port_name]]></PortTo

3571 ><Via

3572 /><Info

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

3574 ><Edge id="E2"

3575 ><From

3576 >1</From

3577 ><PortFrom

3578 ><![CDATA[snd_res]]></PortFrom

3579 ><To

3580 >4</To

3581 ><PortTo

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

3583 ><Via

3584 /><Info

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

3586 ><Edge id="E3"

3587 ><From

3588 >1</From

3589 ><PortFrom

3590 ><![CDATA[fst_res]]></PortFrom

3591 ><To

3592 >3</To

3593 ><PortTo

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

3595 ><Via

3596 /><Info

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

3598 ><RHS

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

3600 ><Info

3601 ><unit/></Info

3602 ><Nodes

3603 ><Node id="N3"

3604 ><Position X="0.5" Y="0.5"

3605 /><Name

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

3607 ><LabelAbove

3608 >True</LabelAbove

3609 ><Shape

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

3611 ><Info

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

3613 ><Node id="N4"

3614 ><Position X="1.5" Y="0.5"

3615 /><Name

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

3617 ><LabelAbove

3618 >True</LabelAbove

3619 ><Shape

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

3621 ><Info

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

3623 ><Node id="N5"

3624 ><Position X="0.5027083333333334" Y="2.06375"

3625 /><Name

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

3627 ><LabelAbove

3628 >True</LabelAbove

3629 ><Shape

3630 ><![CDATA[3]]></Shape

3631 ><Info

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

3633 ><Node id="N6"

3634 ><Position X="1.4816666666666667" Y="2.0637500000000006"

3635 /><Name

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

3637 ><LabelAbove

3638 >True</LabelAbove

3639 ><Shape

3640 ><![CDATA[4]]></Shape

3641 ><Info

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

3643 ><Edges

3644 ><Edge id="E1"

3645 ><From

3646 >4</From

3647 ><PortFrom

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

3649 ><To

3650 >6</To

3651 ><PortTo

3652 ><![CDATA[port_name]]></PortTo

3653 ><Via

3654 /><Info

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

3656 ><Edge id="E2"

3657 ><From

3658 >3</From

3659 ><PortFrom

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

3661 ><To

3662 >5</To

3663 ><PortTo

3664 ><![CDATA[port_name]]></PortTo

3665 ><Via

3666 /><Info

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

3668 ><Mapping

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

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

3671 ><INRule

3672 ><Name

3673 ><![CDATA[sort-4_1]]></Name

3674 ><LHS

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

3676 ><Info

3677 ><unit/></Info

3678 ><Nodes

3679 ><Node id="N1"

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

3681 /><Name

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

3683 ><LabelAbove

3684 >True</LabelAbove

3685 ><Shape

3686 ><![CDATA[sort-4]]></Shape

3687 ><Info

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

3689 ><Node id="N2"

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

3691 /><Name

3692 ><![CDATA[Node 2]]></Name

3693 ><LabelAbove

3694 >True</LabelAbove

3695 ><Shape

3696 ><![CDATA[1]]></Shape

3697 ><Info

3698 ><list-int/></Info></Node

3699 ><Node id="N3"

3700 ><Position X="0.5" Y="0.5"

3701 /><Name

3702 ><![CDATA[Node 3]]></Name

3703 ><LabelAbove

3704 >True</LabelAbove

3705 ><Shape

3706 ><![CDATA[interface]]></Shape

3707 ><Info

3708 ><list-int/></Info></Node

3709 ><Node id="N4"

3710 ><Position X="1.5" Y="0.5"

3711 /><Name

3712 ><![CDATA[Node 4]]></Name

3713 ><LabelAbove

3714 >True</LabelAbove

3715 ><Shape

3716 ><![CDATA[interface]]></Shape

3717 ><Info

3718 ><list-int/></Info></Node></Nodes

3719 ><Edges

3720 ><Edge id="E1"

3721 ><From

3722 >1</From

3723 ><PortFrom

3724 ><![CDATA[arg]]></PortFrom

3725 ><To

3726 >2</To

3727 ><PortTo

3728 ><![CDATA[port_name]]></PortTo

3729 ><Via

3730 /><Info

3731 ><list-int/></Info></Edge

3732 ><Edge id="E2"

3733 ><From

3734 >1</From

3735 ><PortFrom

3736 ><![CDATA[snd_res]]></PortFrom

3737 ><To

3738 >4</To

3739 ><PortTo

3740 ><![CDATA[interface]]></PortTo

3741 ><Via

3742 /><Info

3743 ><list-int/></Info></Edge

3744 ><Edge id="E3"

3745 ><From

3746 >1</From

3747 ><PortFrom

3748 ><![CDATA[fst_res]]></PortFrom

3749 ><To

3750 >3</To

3751 ><PortTo

3752 ><![CDATA[interface]]></PortTo

3753 ><Via

3754 /><Info

3755 ><list-int/></Info></Edge></Edges></Network></LHS

3756 ><RHS

3757 ><Network Width="15.0" Height="9.0"

3758 ><Info

3759 ><unit/></Info

3760 ><Nodes

3761 ><Node id="N3"

3762 ><Position X="0.5" Y="0.5"

3763 /><Name

3764 ><![CDATA[Node 3]]></Name

3765 ><LabelAbove

3766 >True</LabelAbove

3767 ><Shape

3768 ><![CDATA[interface]]></Shape

3769 ><Info

3770 ><list-int/></Info></Node

3771 ><Node id="N4"

3772 ><Position X="1.5" Y="0.5"

3773 /><Name

3774 ><![CDATA[Node 4]]></Name

3775 ><LabelAbove

3776 >True</LabelAbove

3777 ><Shape

3778 ><![CDATA[interface]]></Shape

3779 ><Info

3780 ><list-int/></Info></Node

3781 ><Node id="N5"

3782 ><Position X="0.4762500000000001" Y="2.1166666666666667"

3783 /><Name

3784 ><![CDATA[Node 5]]></Name

3785 ><LabelAbove

3786 >True</LabelAbove

3787 ><Shape

3788 ><![CDATA[1]]></Shape

3789 ><Info

3790 ><list-int/></Info></Node

3791 ><Node id="N6"

3792 ><Position X="1.5081250000000002" Y="2.196041666666667"

3793 /><Name

3794 ><![CDATA[Node 6]]></Name

3795 ><LabelAbove

3796 >True</LabelAbove

3797 ><Shape

3798 ><![CDATA[4]]></Shape

3799 ><Info

3800 ><list-int/></Info></Node></Nodes

3801 ><Edges

3802 ><Edge id="E1"

3803 ><From

3804 >3</From

3805 ><PortFrom

3806 ><![CDATA[interface]]></PortFrom

3807 ><To

3808 >5</To

3809 ><PortTo

3810 ><![CDATA[port_name]]></PortTo

3811 ><Via

3812 /><Info

3813 ><list-int/></Info></Edge

3814 ><Edge id="E2"

3815 ><From

3816 >4</From

3817 ><PortFrom

3818 ><![CDATA[interface]]></PortFrom

3819 ><To

3820 >6</To

3821 ><PortTo

3822 ><![CDATA[port_name]]></PortTo

3823 ><Via

3824 /><Info

3825 ><list-int/></Info></Edge></Edges></Network></RHS

3826 ><Mapping

3827 ><MappingElement lhs="3" rhs="3"

3828 /><MappingElement lhs="4" rhs="4"/></Mapping></INRule

3829 ><INRule

3830 ><Name

3831 ><![CDATA[sort-4_2]]></Name

3832 ><LHS

3833 ><Network Width="15.0" Height="9.0"

3834 ><Info

3835 ><unit/></Info

3836 ><Nodes

3837 ><Node id="N1"

3838 ><Position X="2.0" Y="2.0"

3839 /><Name

3840 ><![CDATA[Node 1]]></Name

3841 ><LabelAbove

3842 >True</LabelAbove

3843 ><Shape

3844 ><![CDATA[sort-4]]></Shape

3845 ><Info

3846 ><list-int/></Info></Node

3847 ><Node id="N2"

3848 ><Position X="2.0" Y="4.0"

3849 /><Name

3850 ><![CDATA[Node 2]]></Name

3851 ><LabelAbove

3852 >True</LabelAbove

3853 ><Shape

3854 ><![CDATA[2]]></Shape

3855 ><Info

3856 ><list-int/></Info></Node

3857 ><Node id="N3"

3858 ><Position X="0.5" Y="0.5"

3859 /><Name

3860 ><![CDATA[Node 3]]></Name

3861 ><LabelAbove

3862 >True</LabelAbove

3863 ><Shape

3864 ><![CDATA[interface]]></Shape

3865 ><Info

3866 ><list-int/></Info></Node

3867 ><Node id="N4"

3868 ><Position X="1.5" Y="0.5"

3869 /><Name

3870 ><![CDATA[Node 4]]></Name

3871 ><LabelAbove

3872 >True</LabelAbove

3873 ><Shape

3874 ><![CDATA[interface]]></Shape

3875 ><Info

3876 ><list-int/></Info></Node></Nodes

3877 ><Edges

3878 ><Edge id="E1"

3879 ><From

3880 >1</From

3881 ><PortFrom

3882 ><![CDATA[arg]]></PortFrom

3883 ><To

3884 >2</To

3885 ><PortTo

3886 ><![CDATA[port_name]]></PortTo

3887 ><Via

3888 /><Info

3889 ><list-int/></Info></Edge

3890 ><Edge id="E2"

3891 ><From

3892 >1</From

3893 ><PortFrom

3894 ><![CDATA[snd_res]]></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[fst_res]]></PortFrom

3907 ><To

3908 >3</To

3909 ><PortTo

3910 ><![CDATA[interface]]></PortTo

3911 ><Via

3912 /><Info

3913 ><list-int/></Info></Edge></Edges></Network></LHS

3914 ><RHS

3915 ><Network Width="15.0" Height="9.0"

3916 ><Info

3917 ><unit/></Info

3918 ><Nodes

3919 ><Node id="N3"

3920 ><Position X="0.5" Y="0.5"

3921 /><Name

3922 ><![CDATA[Node 3]]></Name

3923 ><LabelAbove

3924 >True</LabelAbove

3925 ><Shape

3926 ><![CDATA[interface]]></Shape

3927 ><Info

3928 ><list-int/></Info></Node

3929 ><Node id="N4"

3930 ><Position X="1.5" Y="0.5"

3931 /><Name

3932 ><![CDATA[Node 4]]></Name

3933 ><LabelAbove

3934 >True</LabelAbove

3935 ><Shape

3936 ><![CDATA[interface]]></Shape

3937 ><Info

3938 ><list-int/></Info></Node

3939 ><Node id="N5"

3940 ><Position X="0.5027083333333334" Y="2.1431250000000004"

3941 /><Name

3942 ><![CDATA[Node 5]]></Name

3943 ><LabelAbove

3944 >True</LabelAbove

3945 ><Shape

3946 ><![CDATA[2]]></Shape

3947 ><Info

3948 ><list-int/></Info></Node

3949 ><Node id="N6"

3950 ><Position X="1.4816666666666667" Y="2.196041666666667"

3951 /><Name

3952 ><![CDATA[Node 6]]></Name

3953 ><LabelAbove

3954 >True</LabelAbove

3955 ><Shape

3956 ><![CDATA[4]]></Shape

3957 ><Info

3958 ><list-int/></Info></Node></Nodes

3959 ><Edges

3960 ><Edge id="E1"

3961 ><From

3962 >3</From

3963 ><PortFrom

3964 ><![CDATA[interface]]></PortFrom

3965 ><To

3966 >5</To

3967 ><PortTo

3968 ><![CDATA[port_name]]></PortTo

3969 ><Via

3970 /><Info

3971 ><list-int/></Info></Edge

3972 ><Edge id="E2"

3973 ><From

3974 >4</From

3975 ><PortFrom

3976 ><![CDATA[interface]]></PortFrom

3977 ><To

3978 >6</To

3979 ><PortTo

3980 ><![CDATA[port_name]]></PortTo

3981 ><Via

3982 /><Info

3983 ><list-int/></Info></Edge></Edges></Network></RHS

3984 ><Mapping

3985 ><MappingElement lhs="3" rhs="3"

3986 /><MappingElement lhs="4" rhs="4"/></Mapping></INRule

3987 ><INRule

3988 ><Name

3989 ><![CDATA[sort-4_3]]></Name

3990 ><LHS

3991 ><Network Width="15.0" Height="9.0"

3992 ><Info

3993 ><unit/></Info

3994 ><Nodes

3995 ><Node id="N1"

3996 ><Position X="2.0" Y="2.0"

3997 /><Name

3998 ><![CDATA[Node 1]]></Name

3999 ><LabelAbove

4000 >True</LabelAbove

4001 ><Shape

4002 ><![CDATA[sort-4]]></Shape

4003 ><Info

4004 ><list-int/></Info></Node

4005 ><Node id="N2"

4006 ><Position X="2.0" Y="4.0"

4007 /><Name

4008 ><![CDATA[Node 2]]></Name

4009 ><LabelAbove

4010 >True</LabelAbove

4011 ><Shape

4012 ><![CDATA[3]]></Shape

4013 ><Info

4014 ><list-int/></Info></Node

4015 ><Node id="N3"

4016 ><Position X="0.5" Y="0.5"

4017 /><Name

4018 ><![CDATA[Node 3]]></Name

4019 ><LabelAbove

4020 >True</LabelAbove

4021 ><Shape

4022 ><![CDATA[interface]]></Shape

4023 ><Info

4024 ><list-int/></Info></Node

4025 ><Node id="N4"

4026 ><Position X="1.5" Y="0.5"

4027 /><Name

4028 ><![CDATA[Node 4]]></Name

4029 ><LabelAbove

4030 >True</LabelAbove

4031 ><Shape

4032 ><![CDATA[interface]]></Shape

4033 ><Info

4034 ><list-int/></Info></Node></Nodes

4035 ><Edges

4036 ><Edge id="E1"

4037 ><From

4038 >1</From

4039 ><PortFrom

4040 ><![CDATA[arg]]></PortFrom

4041 ><To

4042 >2</To

4043 ><PortTo

4044 ><![CDATA[port_name]]></PortTo

4045 ><Via

4046 /><Info

4047 ><list-int/></Info></Edge

4048 ><Edge id="E2"

4049 ><From

4050 >1</From

4051 ><PortFrom

4052 ><![CDATA[snd_res]]></PortFrom

4053 ><To

4054 >4</To

4055 ><PortTo

4056 ><![CDATA[interface]]></PortTo

4057 ><Via

4058 /><Info

4059 ><list-int/></Info></Edge

4060 ><Edge id="E3"

4061 ><From

4062 >1</From

4063 ><PortFrom

4064 ><![CDATA[fst_res]]></PortFrom

4065 ><To

4066 >3</To

4067 ><PortTo

4068 ><![CDATA[interface]]></PortTo

4069 ><Via

4070 /><Info

4071 ><list-int/></Info></Edge></Edges></Network></LHS

4072 ><RHS

4073 ><Network Width="15.0" Height="9.0"

4074 ><Info

4075 ><unit/></Info

4076 ><Nodes

4077 ><Node id="N3"

4078 ><Position X="0.5" Y="0.5"

4079 /><Name

4080 ><![CDATA[Node 3]]></Name

4081 ><LabelAbove

4082 >True</LabelAbove

4083 ><Shape

4084 ><![CDATA[interface]]></Shape

4085 ><Info

4086 ><list-int/></Info></Node

4087 ><Node id="N4"

4088 ><Position X="1.5" Y="0.5"

4089 /><Name

4090 ><![CDATA[Node 4]]></Name

4091 ><LabelAbove

4092 >True</LabelAbove

4093 ><Shape

4094 ><![CDATA[interface]]></Shape

4095 ><Info

4096 ><list-int/></Info></Node

4097 ><Node id="N5"

4098 ><Position X="0.5027083333333333" Y="2.06375"

4099 /><Name

4100 ><![CDATA[Node 5]]></Name

4101 ><LabelAbove

4102 >True</LabelAbove

4103 ><Shape

4104 ><![CDATA[3]]></Shape

4105 ><Info

4106 ><list-int/></Info></Node

4107 ><Node id="N6"

4108 ><Position X="1.4816666666666667" Y="2.1431250000000004"

4109 /><Name

4110 ><![CDATA[Node 6]]></Name

4111 ><LabelAbove

4112 >True</LabelAbove

4113 ><Shape

4114 ><![CDATA[4]]></Shape

4115 ><Info

4116 ><list-int/></Info></Node></Nodes

4117 ><Edges

4118 ><Edge id="E1"

4119 ><From

4120 >4</From

4121 ><PortFrom

4122 ><![CDATA[interface]]></PortFrom

4123 ><To

4124 >6</To

4125 ><PortTo

4126 ><![CDATA[port_name]]></PortTo

4127 ><Via

4128 /><Info

4129 ><list-int/></Info></Edge

4130 ><Edge id="E2"

4131 ><From

4132 >3</From

4133 ><PortFrom

4134 ><![CDATA[interface]]></PortFrom

4135 ><To

4136 >5</To

4137 ><PortTo

4138 ><![CDATA[port_name]]></PortTo

4139 ><Via

4140 /><Info

4141 ><list-int/></Info></Edge></Edges></Network></RHS

4142 ><Mapping

4143 ><MappingElement lhs="3" rhs="3"

4144 /><MappingElement lhs="4" rhs="4"/></Mapping></INRule

4145 ><INRule

4146 ><Name

4147 ><![CDATA[sort-4_4]]></Name

4148 ><LHS

4149 ><Network Width="15.0" Height="9.0"

4150 ><Info

4151 ><unit/></Info

4152 ><Nodes

4153 ><Node id="N1"

4154 ><Position X="2.0" Y="2.0"

4155 /><Name

4156 ><![CDATA[Node 1]]></Name

4157 ><LabelAbove

4158 >True</LabelAbove

4159 ><Shape

4160 ><![CDATA[sort-4]]></Shape

4161 ><Info

4162 ><list-int/></Info></Node

4163 ><Node id="N2"

4164 ><Position X="2.0" Y="4.0"

4165 /><Name

4166 ><![CDATA[Node 2]]></Name

4167 ><LabelAbove

4168 >True</LabelAbove

4169 ><Shape

4170 ><![CDATA[4]]></Shape

4171 ><Info

4172 ><list-int/></Info></Node

4173 ><Node id="N3"

4174 ><Position X="0.5" Y="0.5"

4175 /><Name

4176 ><![CDATA[Node 3]]></Name

4177 ><LabelAbove

4178 >True</LabelAbove

4179 ><Shape

4180 ><![CDATA[interface]]></Shape

4181 ><Info

4182 ><list-int/></Info></Node

4183 ><Node id="N4"

4184 ><Position X="1.5" Y="0.5"

4185 /><Name

4186 ><![CDATA[Node 4]]></Name

4187 ><LabelAbove

4188 >True</LabelAbove

4189 ><Shape

4190 ><![CDATA[interface]]></Shape

4191 ><Info

4192 ><list-int/></Info></Node></Nodes

4193 ><Edges

4194 ><Edge id="E1"

4195 ><From

4196 >1</From

4197 ><PortFrom

4198 ><![CDATA[arg]]></PortFrom

4199 ><To

4200 >2</To

4201 ><PortTo

4202 ><![CDATA[port_name]]></PortTo

4203 ><Via

4204 /><Info

4205 ><list-int/></Info></Edge

4206 ><Edge id="E2"

4207 ><From

4208 >1</From

4209 ><PortFrom

4210 ><![CDATA[snd_res]]></PortFrom

4211 ><To

4212 >4</To

4213 ><PortTo

4214 ><![CDATA[interface]]></PortTo

4215 ><Via

4216 /><Info

4217 ><list-int/></Info></Edge

4218 ><Edge id="E3"

4219 ><From

4220 >1</From

4221 ><PortFrom

4222 ><![CDATA[fst_res]]></PortFrom

4223 ><To

4224 >3</To

4225 ><PortTo

4226 ><![CDATA[interface]]></PortTo

4227 ><Via

4228 /><Info

4229 ><list-int/></Info></Edge></Edges></Network></LHS

4230 ><RHS

4231 ><Network Width="15.0" Height="9.0"

4232 ><Info

4233 ><unit/></Info

4234 ><Nodes

4235 ><Node id="N3"

4236 ><Position X="0.5" Y="0.5"

4237 /><Name

4238 ><![CDATA[Node 3]]></Name

4239 ><LabelAbove

4240 >True</LabelAbove

4241 ><Shape

4242 ><![CDATA[interface]]></Shape

4243 ><Info

4244 ><list-int/></Info></Node

4245 ><Node id="N4"

4246 ><Position X="1.5" Y="0.5"

4247 /><Name

4248 ><![CDATA[Node 4]]></Name

4249 ><LabelAbove

4250 >True</LabelAbove

4251 ><Shape

4252 ><![CDATA[interface]]></Shape

4253 ><Info

4254 ><list-int/></Info></Node

4255 ><Node id="N5"

4256 ><Position X="0.5027083333333334" Y="1.8785416666666668"

4257 /><Name

4258 ><![CDATA[Node 5]]></Name

4259 ><LabelAbove

4260 >True</LabelAbove

4261 ><Shape

4262 ><![CDATA[4]]></Shape

4263 ><Info

4264 ><list-int/></Info></Node

4265 ><Node id="N6"

4266 ><Position X="1.4816666666666667" Y="1.957916666666667"

4267 /><Name

4268 ><![CDATA[Node 6]]></Name

4269 ><LabelAbove

4270 >True</LabelAbove

4271 ><Shape

4272 ><![CDATA[4]]></Shape

4273 ><Info

4274 ><list-int/></Info></Node></Nodes

4275 ><Edges

4276 ><Edge id="E1"

4277 ><From

4278 >3</From

4279 ><PortFrom

4280 ><![CDATA[interface]]></PortFrom

4281 ><To

4282 >5</To

4283 ><PortTo

4284 ><![CDATA[port_name]]></PortTo

4285 ><Via

4286 /><Info

4287 ><list-int/></Info></Edge

4288 ><Edge id="E2"

4289 ><From

4290 >4</From

4291 ><PortFrom

4292 ><![CDATA[interface]]></PortFrom

4293 ><To

4294 >6</To

4295 ><PortTo

4296 ><![CDATA[port_name]]></PortTo

4297 ><Via

4298 /><Info

4299 ><list-int/></Info></Edge></Edges></Network></RHS

4300 ><Mapping

4301 ><MappingElement lhs="3" rhs="3"

4302 /><MappingElement lhs="4"

4303 rhs="4"/></Mapping></INRule></Rules></Document>