plugins/net.mograsim.logic.model.am2900/components/net/mograsim/logic/model/am2900/components/am2910/Am2910InstrPLA.json

   1 {
   2   "width": 60.0,
   3   "height": 85.0,
   4   "interfacePins": [
   5     {
   6       "location": {
   7         "x": 0.0,
   8         "y": 5.0
   9       },
  10       "name": "I",
  11       "logicWidth": 4,
  12       "usage": "INPUT"
  13     },
  14     {
  15       "location": {
  16         "x": 5.0,
  17         "y": 0.0
  18       },
  19       "name": "PASS",
  20       "logicWidth": 1,
  21       "usage": "INPUT"
  22     },
  23     {
  24       "location": {
  25         "x": 40.0,
  26         "y": 0.0
  27       },
  28       "name": "R\u003d0",
  29       "logicWidth": 1,
  30       "usage": "INPUT"
  31     },
  32     {
  33       "location": {
  34         "x": 60.0,
  35         "y": 15.0
  36       },
  37       "name": "RDEC",
  38       "logicWidth": 1,
  39       "usage": "OUTPUT"
  40     },
  41     {
  42       "location": {
  43         "x": 60.0,
  44         "y": 5.0
  45       },
  46       "name": "RLD",
  47       "logicWidth": 1,
  48       "usage": "OUTPUT"
  49     },
  50     {
  51       "location": {
  52         "x": 60.0,
  53         "y": 65.0
  54       },
  55       "name": "STKI0",
  56       "logicWidth": 1,
  57       "usage": "OUTPUT"
  58     },
  59     {
  60       "location": {
  61         "x": 60.0,
  62         "y": 75.0
  63       },
  64       "name": "STKI1",
  65       "logicWidth": 1,
  66       "usage": "OUTPUT"
  67     },
  68     {
  69       "location": {
  70         "x": 60.0,
  71         "y": 25.0
  72       },
  73       "name": "YD",
  74       "logicWidth": 1,
  75       "usage": "OUTPUT"
  76     },
  77     {
  78       "location": {
  79         "x": 60.0,
  80         "y": 45.0
  81       },
  82       "name": "YF",
  83       "logicWidth": 1,
  84       "usage": "OUTPUT"
  85     },
  86     {
  87       "location": {
  88         "x": 60.0,
  89         "y": 35.0
  90       },
  91       "name": "YR",
  92       "logicWidth": 1,
  93       "usage": "OUTPUT"
  94     },
  95     {
  96       "location": {
  97         "x": 60.0,
  98         "y": 55.0
  99       },
 100       "name": "YmuPC",
 101       "logicWidth": 1,
 102       "usage": "OUTPUT"
 103     },
 104     {
 105       "location": {
 106         "x": 30.0,
 107         "y": 85.0
 108       },
 109       "name": "_MAP",
 110       "logicWidth": 1,
 111       "usage": "OUTPUT"
 112     },
 113     {
 114       "location": {
 115         "x": 15.0,
 116         "y": 85.0
 117       },
 118       "name": "_PL",
 119       "logicWidth": 1,
 120       "usage": "OUTPUT"
 121     },
 122     {
 123       "location": {
 124         "x": 45.0,
 125         "y": 85.0
 126       },
 127       "name": "_VECT",
 128       "logicWidth": 1,
 129       "usage": "OUTPUT"
 130     }
 131   ],
 132   "innerScale": 0.1,
 133   "submodel": {
 134     "components": [
 135       {
 136         "id": "NandGate",
 137         "name": "NandGate#0",
 138         "pos": {
 139           "x": 50.0,
 140           "y": 45.0
 141         },
 142         "params": 1
 143       },
 144       {
 145         "id": "NandGate",
 146         "name": "NandGate#1",
 147         "pos": {
 148           "x": 50.0,
 149           "y": 70.0
 150         },
 151         "params": 1
 152       },
 153       {
 154         "id": "NandGate",
 155         "name": "NandGate#2",
 156         "pos": {
 157           "x": 50.0,
 158           "y": 120.0
 159         },
 160         "params": 1
 161       },
 162       {
 163         "id": "NandGate",
 164         "name": "NandGate#3",
 165         "pos": {
 166           "x": 425.0,
 167           "y": 820.0
 168         },
 169         "params": 1
 170       },
 171       {
 172         "id": "NandGate",
 173         "name": "NandGate#4",
 174         "pos": {
 175           "x": 50.0,
 176           "y": 95.0
 177         },
 178         "params": 1
 179       },
 180       {
 181         "id": "NandGate",
 182         "name": "NandGate#5",
 183         "pos": {
 184           "x": 415.0,
 185           "y": 150.0
 186         },
 187         "params": 1
 188       },
 189       {
 190         "id": "NandGate",
 191         "name": "NandGate#6",
 192         "pos": {
 193           "x": 385.0,
 194           "y": 170.0
 195         },
 196         "params": 1
 197       },
 198       {
 199         "id": "NandGate",
 200         "name": "NandGate#7",
 201         "pos": {
 202           "x": 385.0,
 203           "y": 145.0
 204         },
 205         "params": 1
 206       },
 207       {
 208         "id": "NandGate",
 209         "name": "NandGate#8",
 210         "pos": {
 211           "x": 50.0,
 212           "y": 145.0
 213         },
 214         "params": 1
 215       },
 216       {
 217         "id": "NandGate",
 218         "name": "NandGate#9",
 219         "pos": {
 220           "x": 135.0,
 221           "y": 95.0
 222         },
 223         "params": 1
 224       },
 225       {
 226         "id": "NandGate",
 227         "name": "NandGate#10",
 228         "pos": {
 229           "x": 420.0,
 230           "y": 260.0
 231         },
 232         "params": 1
 233       },
 234       {
 235         "id": "NandGate",
 236         "name": "NandGate#11",
 237         "pos": {
 238           "x": 450.0,
 239           "y": 265.0
 240         },
 241         "params": 1
 242       },
 243       {
 244         "id": "NandGate",
 245         "name": "NandGate#12",
 246         "pos": {
 247           "x": 480.0,
 248           "y": 270.0
 249         },
 250         "params": 1
 251       },
 252       {
 253         "id": "NandGate",
 254         "name": "NandGate#13",
 255         "pos": {
 256           "x": 480.0,
 257           "y": 710.0
 258         },
 259         "params": 1
 260       },
 261       {
 262         "id": "NandGate",
 263         "name": "NandGate#14",
 264         "pos": {
 265           "x": 510.0,
 266           "y": 275.0
 267         },
 268         "params": 1
 269       },
 270       {
 271         "id": "NandGate",
 272         "name": "NandGate#15",
 273         "pos": {
 274           "x": 485.0,
 275           "y": 220.0
 276         },
 277         "params": 1
 278       },
 279       {
 280         "id": "NandGate",
 281         "name": "NandGate#16",
 282         "pos": {
 283           "x": 385.0,
 284           "y": 230.0
 285         },
 286         "params": 1
 287       },
 288       {
 289         "id": "NandGate",
 290         "name": "NandGate#17",
 291         "pos": {
 292           "x": 420.0,
 293           "y": 200.0
 294         },
 295         "params": 1
 296       },
 297       {
 298         "id": "NandGate",
 299         "name": "NandGate#18",
 300         "pos": {
 301           "x": 455.0,
 302           "y": 225.0
 303         },
 304         "params": 1
 305       },
 306       {
 307         "id": "NandGate",
 308         "name": "NandGate#19",
 309         "pos": {
 310           "x": 515.0,
 311           "y": 235.0
 312         },
 313         "params": 1
 314       },
 315       {
 316         "id": "NandGate",
 317         "name": "NandGate#20",
 318         "pos": {
 319           "x": 50.0,
 320           "y": 170.0
 321         },
 322         "params": 1
 323       },
 324       {
 325         "id": "NandGate",
 326         "name": "NandGate#21",
 327         "pos": {
 328           "x": 540.0,
 329           "y": 280.0
 330         },
 331         "params": 1
 332       },
 333       {
 334         "id": "NandGate",
 335         "name": "NandGate#22",
 336         "pos": {
 337           "x": 420.0,
 338           "y": 305.0
 339         },
 340         "params": 1
 341       },
 342       {
 343         "id": "NandGate",
 344         "name": "NandGate#23",
 345         "pos": {
 346           "x": 545.0,
 347           "y": 235.0
 348         },
 349         "params": 1
 350       },
 351       {
 352         "id": "NandGate",
 353         "name": "NandGate#24",
 354         "pos": {
 355           "x": 575.0,
 356           "y": 240.0
 357         },
 358         "params": 1
 359       },
 360       {
 361         "id": "NandGate",
 362         "name": "NandGate#25",
 363         "pos": {
 364           "x": 415.0,
 365           "y": 495.0
 366         },
 367         "params": 1
 368       },
 369       {
 370         "id": "NandGate",
 371         "name": "NandGate#26",
 372         "pos": {
 373           "x": 385.0,
 374           "y": 500.0
 375         },
 376         "params": 1
 377       },
 378       {
 379         "id": "NandGate",
 380         "name": "NandGate#27",
 381         "pos": {
 382           "x": 445.0,
 383           "y": 490.0
 384         },
 385         "params": 1
 386       },
 387       {
 388         "id": "NandGate",
 389         "name": "NandGate#28",
 390         "pos": {
 391           "x": 475.0,
 392           "y": 515.0
 393         },
 394         "params": 1
 395       },
 396       {
 397         "id": "NandGate",
 398         "name": "NandGate#29",
 399         "pos": {
 400           "x": 415.0,
 401           "y": 520.0
 402         },
 403         "params": 1
 404       },
 405       {
 406         "id": "NandGate",
 407         "name": "NandGate#30",
 408         "pos": {
 409           "x": 505.0,
 410           "y": 510.0
 411         },
 412         "params": 1
 413       },
 414       {
 415         "id": "NandGate",
 416         "name": "NandGate#31",
 417         "pos": {
 418           "x": 535.0,
 419           "y": 540.0
 420         },
 421         "params": 1
 422       },
 423       {
 424         "id": "NandGate",
 425         "name": "NandGate#32",
 426         "pos": {
 427           "x": 505.0,
 428           "y": 560.0
 429         },
 430         "params": 1
 431       },
 432       {
 433         "id": "NandGate",
 434         "name": "NandGate#33",
 435         "pos": {
 436           "x": 475.0,
 437           "y": 555.0
 438         },
 439         "params": 1
 440       },
 441       {
 442         "id": "NandGate",
 443         "name": "NandGate#34",
 444         "pos": {
 445           "x": 445.0,
 446           "y": 550.0
 447         },
 448         "params": 1
 449       },
 450       {
 451         "id": "NandGate",
 452         "name": "NandGate#35",
 453         "pos": {
 454           "x": 415.0,
 455           "y": 545.0
 456         },
 457         "params": 1
 458       },
 459       {
 460         "id": "NandGate",
 461         "name": "NandGate#36",
 462         "pos": {
 463           "x": 385.0,
 464           "y": 540.0
 465         },
 466         "params": 1
 467       },
 468       {
 469         "id": "NandGate",
 470         "name": "NandGate#37",
 471         "pos": {
 472           "x": 200.0,
 473           "y": 125.0
 474         },
 475         "params": 1
 476       },
 477       {
 478         "id": "NandGate",
 479         "name": "NandGate#38",
 480         "pos": {
 481           "x": 455.0,
 482           "y": 195.0
 483         },
 484         "params": 1
 485       },
 486       {
 487         "id": "NandGate",
 488         "name": "NandGate#39",
 489         "pos": {
 490           "x": 135.0,
 491           "y": 220.0
 492         },
 493         "params": 1
 494       },
 495       {
 496         "id": "NandGate",
 497         "name": "NandGate#40",
 498         "pos": {
 499           "x": 235.0,
 500           "y": 130.0
 501         },
 502         "params": 1
 503       },
 504       {
 505         "id": "NandGate",
 506         "name": "NandGate#41",
 507         "pos": {
 508           "x": 415.0,
 509           "y": 665.0
 510         },
 511         "params": 1
 512       },
 513       {
 514         "id": "NandGate",
 515         "name": "NandGate#42",
 516         "pos": {
 517           "x": 445.0,
 518           "y": 670.0
 519         },
 520         "params": 1
 521       },
 522       {
 523         "id": "NandGate",
 524         "name": "NandGate#43",
 525         "pos": {
 526           "x": 475.0,
 527           "y": 645.0
 528         },
 529         "params": 1
 530       },
 531       {
 532         "id": "NandGate",
 533         "name": "NandGate#44",
 534         "pos": {
 535           "x": 535.0,
 536           "y": 640.0
 537         },
 538         "params": 1
 539       },
 540       {
 541         "id": "NandGate",
 542         "name": "NandGate#45",
 543         "pos": {
 544           "x": 385.0,
 545           "y": 595.0
 546         },
 547         "params": 1
 548       },
 549       {
 550         "id": "NandGate",
 551         "name": "NandGate#46",
 552         "pos": {
 553           "x": 415.0,
 554           "y": 590.0
 555         },
 556         "params": 1
 557       },
 558       {
 559         "id": "NandGate",
 560         "name": "NandGate#47",
 561         "pos": {
 562           "x": 50.0,
 563           "y": 295.0
 564         },
 565         "params": 1
 566       },
 567       {
 568         "id": "NandGate",
 569         "name": "NandGate#48",
 570         "pos": {
 571           "x": 445.0,
 572           "y": 585.0
 573         },
 574         "params": 1
 575       },
 576       {
 577         "id": "NandGate",
 578         "name": "NandGate#49",
 579         "pos": {
 580           "x": 475.0,
 581           "y": 610.0
 582         },
 583         "params": 1
 584       },
 585       {
 586         "id": "NandGate",
 587         "name": "NandGate#50",
 588         "pos": {
 589           "x": 505.0,
 590           "y": 625.0
 591         },
 592         "params": 1
 593       },
 594       {
 595         "id": "NandGate",
 596         "name": "NandGate#51",
 597         "pos": {
 598           "x": 415.0,
 599           "y": 615.0
 600         },
 601         "params": 1
 602       },
 603       {
 604         "id": "NandGate",
 605         "name": "NandGate#52",
 606         "pos": {
 607           "x": 135.0,
 608           "y": 170.0
 609         },
 610         "params": 1
 611       },
 612       {
 613         "id": "NandGate",
 614         "name": "NandGate#53",
 615         "pos": {
 616           "x": 50.0,
 617           "y": 195.0
 618         },
 619         "params": 1
 620       },
 621       {
 622         "id": "NandGate",
 623         "name": "NandGate#54",
 624         "pos": {
 625           "x": 385.0,
 626           "y": 730.0
 627         },
 628         "params": 1
 629       },
 630       {
 631         "id": "NandGate",
 632         "name": "NandGate#55",
 633         "pos": {
 634           "x": 420.0,
 635           "y": 730.0
 636         },
 637         "params": 1
 638       },
 639       {
 640         "id": "NandGate",
 641         "name": "NandGate#56",
 642         "pos": {
 643           "x": 450.0,
 644           "y": 750.0
 645         },
 646         "params": 1
 647       },
 648       {
 649         "id": "NandGate",
 650         "name": "NandGate#57",
 651         "pos": {
 652           "x": 385.0,
 653           "y": 755.0
 654         },
 655         "params": 1
 656       },
 657       {
 658         "id": "NandGate",
 659         "name": "NandGate#58",
 660         "pos": {
 661           "x": 420.0,
 662           "y": 755.0
 663         },
 664         "params": 1
 665       },
 666       {
 667         "id": "NandGate",
 668         "name": "NandGate#59",
 669         "pos": {
 670           "x": 480.0,
 671           "y": 745.0
 672         },
 673         "params": 1
 674       },
 675       {
 676         "id": "NandGate",
 677         "name": "NandGate#60",
 678         "pos": {
 679           "x": 510.0,
 680           "y": 740.0
 681         },
 682         "params": 1
 683       },
 684       {
 685         "id": "NandGate",
 686         "name": "NandGate#61",
 687         "pos": {
 688           "x": 385.0,
 689           "y": 340.0
 690         },
 691         "params": 1
 692       },
 693       {
 694         "id": "NandGate",
 695         "name": "NandGate#62",
 696         "pos": {
 697           "x": 385.0,
 698           "y": 400.0
 699         },
 700         "params": 1
 701       },
 702       {
 703         "id": "NandGate",
 704         "name": "NandGate#63",
 705         "pos": {
 706           "x": 415.0,
 707           "y": 410.0
 708         },
 709         "params": 1
 710       },
 711       {
 712         "id": "NandGate",
 713         "name": "NandGate#64",
 714         "pos": {
 715           "x": 445.0,
 716           "y": 420.0
 717         },
 718         "params": 1
 719       },
 720       {
 721         "id": "NandGate",
 722         "name": "NandGate#65",
 723         "pos": {
 724           "x": 475.0,
 725           "y": 445.0
 726         },
 727         "params": 1
 728       },
 729       {
 730         "id": "NandGate",
 731         "name": "NandGate#66",
 732         "pos": {
 733           "x": 415.0,
 734           "y": 450.0
 735         },
 736         "params": 1
 737       },
 738       {
 739         "id": "NandGate",
 740         "name": "NandGate#67",
 741         "pos": {
 742           "x": 275.0,
 743           "y": 810.0
 744         },
 745         "params": 1
 746       },
 747       {
 748         "id": "NandGate",
 749         "name": "NandGate#68",
 750         "pos": {
 751           "x": 200.0,
 752           "y": 150.0
 753         },
 754         "params": 1
 755       },
 756       {
 757         "id": "NandGate",
 758         "name": "NandGate#69",
 759         "pos": {
 760           "x": 125.0,
 761           "y": 820.0
 762         },
 763         "params": 1
 764       },
 765       {
 766         "id": "Splitter",
 767         "name": "Splitter#0",
 768         "pos": {
 769           "x": 5.0,
 770           "y": 35.0
 771         },
 772         "params": {
 773           "logicWidth": 4,
 774           "orientation": "RIGHT"
 775         }
 776       },
 777       {
 778         "id": "WireCrossPoint",
 779         "name": "WireCrossPoint#0",
 780         "pos": {
 781           "x": 19.0,
 782           "y": 34.0
 783         },
 784         "params": 1
 785       },
 786       {
 787         "id": "WireCrossPoint",
 788         "name": "WireCrossPoint#1",
 789         "pos": {
 790           "x": 24.0,
 791           "y": 44.0
 792         },
 793         "params": 1
 794       },
 795       {
 796         "id": "WireCrossPoint",
 797         "name": "WireCrossPoint#2",
 798         "pos": {
 799           "x": 24.0,
 800           "y": 74.0
 801         },
 802         "params": 1
 803       },
 804       {
 805         "id": "WireCrossPoint",
 806         "name": "WireCrossPoint#3",
 807         "pos": {
 808           "x": 34.0,
 809           "y": 124.0
 810         },
 811         "params": 1
 812       },
 813       {
 814         "id": "WireCrossPoint",
 815         "name": "WireCrossPoint#4",
 816         "pos": {
 817           "x": 29.0,
 818           "y": 54.0
 819         },
 820         "params": 1
 821       },
 822       {
 823         "id": "WireCrossPoint",
 824         "name": "WireCrossPoint#5",
 825         "pos": {
 826           "x": 34.0,
 827           "y": 134.0
 828         },
 829         "params": 1
 830       },
 831       {
 832         "id": "WireCrossPoint",
 833         "name": "WireCrossPoint#6",
 834         "pos": {
 835           "x": 29.0,
 836           "y": 99.0
 837         },
 838         "params": 1
 839       },
 840       {
 841         "id": "WireCrossPoint",
 842         "name": "WireCrossPoint#7",
 843         "pos": {
 844           "x": 19.0,
 845           "y": 49.0
 846         },
 847         "params": 1
 848       },
 849       {
 850         "id": "WireCrossPoint",
 851         "name": "WireCrossPoint#8",
 852         "pos": {
 853           "x": 294.0,
 854           "y": 234.0
 855         },
 856         "params": 1
 857       },
 858       {
 859         "id": "WireCrossPoint",
 860         "name": "WireCrossPoint#9",
 861         "pos": {
 862           "x": 259.0,
 863           "y": 174.0
 864         },
 865         "params": 1
 866       },
 867       {
 868         "id": "WireCrossPoint",
 869         "name": "WireCrossPoint#10",
 870         "pos": {
 871           "x": 34.0,
 872           "y": 64.0
 873         },
 874         "params": 1
 875       },
 876       {
 877         "id": "WireCrossPoint",
 878         "name": "WireCrossPoint#11",
 879         "pos": {
 880           "x": 329.0,
 881           "y": 159.0
 882         },
 883         "params": 1
 884       },
 885       {
 886         "id": "WireCrossPoint",
 887         "name": "WireCrossPoint#12",
 888         "pos": {
 889           "x": 84.0,
 890           "y": 104.0
 891         },
 892         "params": 1
 893       },
 894       {
 895         "id": "WireCrossPoint",
 896         "name": "WireCrossPoint#13",
 897         "pos": {
 898           "x": 304.0,
 899           "y": 444.0
 900         },
 901         "params": 1
 902       },
 903       {
 904         "id": "WireCrossPoint",
 905         "name": "WireCrossPoint#14",
 906         "pos": {
 907           "x": 19.0,
 908           "y": 59.0
 909         },
 910         "params": 1
 911       },
 912       {
 913         "id": "WireCrossPoint",
 914         "name": "WireCrossPoint#15",
 915         "pos": {
 916           "x": 314.0,
 917           "y": 404.0
 918         },
 919         "params": 1
 920       },
 921       {
 922         "id": "WireCrossPoint",
 923         "name": "WireCrossPoint#16",
 924         "pos": {
 925           "x": 289.0,
 926           "y": 504.0
 927         },
 928         "params": 1
 929       },
 930       {
 931         "id": "WireCrossPoint",
 932         "name": "WireCrossPoint#17",
 933         "pos": {
 934           "x": 294.0,
 935           "y": 434.0
 936         },
 937         "params": 1
 938       },
 939       {
 940         "id": "WireCrossPoint",
 941         "name": "WireCrossPoint#18",
 942         "pos": {
 943           "x": 24.0,
 944           "y": 84.0
 945         },
 946         "params": 1
 947       },
 948       {
 949         "id": "WireCrossPoint",
 950         "name": "WireCrossPoint#19",
 951         "pos": {
 952           "x": 379.0,
 953           "y": 724.0
 954         },
 955         "params": 1
 956       },
 957       {
 958         "id": "WireCrossPoint",
 959         "name": "WireCrossPoint#20",
 960         "pos": {
 961           "x": 274.0,
 962           "y": 289.0
 963         },
 964         "params": 1
 965       },
 966       {
 967         "id": "WireCrossPoint",
 968         "name": "WireCrossPoint#21",
 969         "pos": {
 970           "x": 184.0,
 971           "y": 199.0
 972         },
 973         "params": 1
 974       },
 975       {
 976         "id": "WireCrossPoint",
 977         "name": "WireCrossPoint#22",
 978         "pos": {
 979           "x": 299.0,
 980           "y": 414.0
 981         },
 982         "params": 1
 983       },
 984       {
 985         "id": "WireCrossPoint",
 986         "name": "WireCrossPoint#23",
 987         "pos": {
 988           "x": 294.0,
 989           "y": 579.0
 990         },
 991         "params": 1
 992       },
 993       {
 994         "id": "WireCrossPoint",
 995         "name": "WireCrossPoint#24",
 996         "pos": {
 997           "x": 49.0,
 998           "y": 24.0
 999         },
1000         "params": 1
1001       },
1002       {
1003         "id": "WireCrossPoint",
1004         "name": "WireCrossPoint#25",
1005         "pos": {
1006           "x": 364.0,
1007           "y": 244.0
1008         },
1009         "params": 1
1010       },
1011       {
1012         "id": "WireCrossPoint",
1013         "name": "WireCrossPoint#26",
1014         "pos": {
1015           "x": 294.0,
1016           "y": 689.0
1017         },
1018         "params": 1
1019       },
1020       {
1021         "id": "WireCrossPoint",
1022         "name": "WireCrossPoint#27",
1023         "pos": {
1024           "x": 284.0,
1025           "y": 134.0
1026         },
1027         "params": 1
1028       },
1029       {
1030         "id": "WireCrossPoint",
1031         "name": "WireCrossPoint#28",
1032         "pos": {
1033           "x": 324.0,
1034           "y": 149.0
1035         },
1036         "params": 1
1037       },
1038       {
1039         "id": "WireCrossPoint",
1040         "name": "WireCrossPoint#29",
1041         "pos": {
1042           "x": 264.0,
1043           "y": 364.0
1044         },
1045         "params": 1
1046       },
1047       {
1048         "id": "WireCrossPoint",
1049         "name": "WireCrossPoint#30",
1050         "pos": {
1051           "x": 324.0,
1052           "y": 199.0
1053         },
1054         "params": 1
1055       },
1056       {
1057         "id": "WireCrossPoint",
1058         "name": "WireCrossPoint#31",
1059         "pos": {
1060           "x": 354.0,
1061           "y": 184.0
1062         },
1063         "params": 1
1064       },
1065       {
1066         "id": "WireCrossPoint",
1067         "name": "WireCrossPoint#32",
1068         "pos": {
1069           "x": 129.0,
1070           "y": 14.0
1071         },
1072         "params": 1
1073       },
1074       {
1075         "id": "WireCrossPoint",
1076         "name": "WireCrossPoint#33",
1077         "pos": {
1078           "x": 44.0,
1079           "y": 174.0
1080         },
1081         "params": 1
1082       },
1083       {
1084         "id": "WireCrossPoint",
1085         "name": "WireCrossPoint#34",
1086         "pos": {
1087           "x": 284.0,
1088           "y": 29.0
1089         },
1090         "params": 1
1091       },
1092       {
1093         "id": "WireCrossPoint",
1094         "name": "WireCrossPoint#35",
1095         "pos": {
1096           "x": 539.0,
1097           "y": 244.0
1098         },
1099         "params": 1
1100       },
1101       {
1102         "id": "WireCrossPoint",
1103         "name": "WireCrossPoint#36",
1104         "pos": {
1105           "x": 299.0,
1106           "y": 514.0
1107         },
1108         "params": 1
1109       },
1110       {
1111         "id": "WireCrossPoint",
1112         "name": "WireCrossPoint#37",
1113         "pos": {
1114           "x": 74.0,
1115           "y": 54.0
1116         },
1117         "params": 1
1118       },
1119       {
1120         "id": "WireCrossPoint",
1121         "name": "WireCrossPoint#38",
1122         "pos": {
1123           "x": 279.0,
1124           "y": 299.0
1125         },
1126         "params": 1
1127       },
1128       {
1129         "id": "WireCrossPoint",
1130         "name": "WireCrossPoint#39",
1131         "pos": {
1132           "x": 449.0,
1133           "y": 199.0
1134         },
1135         "params": 1
1136       },
1137       {
1138         "id": "WireCrossPoint",
1139         "name": "WireCrossPoint#40",
1140         "pos": {
1141           "x": 279.0,
1142           "y": 494.0
1143         },
1144         "params": 1
1145       },
1146       {
1147         "id": "WireCrossPoint",
1148         "name": "WireCrossPoint#41",
1149         "pos": {
1150           "x": 259.0,
1151           "y": 524.0
1152         },
1153         "params": 1
1154       },
1155       {
1156         "id": "WireCrossPoint",
1157         "name": "WireCrossPoint#42",
1158         "pos": {
1159           "x": 264.0,
1160           "y": 219.0
1161         },
1162         "params": 1
1163       },
1164       {
1165         "id": "WireCrossPoint",
1166         "name": "WireCrossPoint#43",
1167         "pos": {
1168           "x": 284.0,
1169           "y": 209.0
1170         },
1171         "params": 1
1172       },
1173       {
1174         "id": "WireCrossPoint",
1175         "name": "WireCrossPoint#44",
1176         "pos": {
1177           "x": 229.0,
1178           "y": 19.0
1179         },
1180         "params": 1
1181       },
1182       {
1183         "id": "WireCrossPoint",
1184         "name": "WireCrossPoint#45",
1185         "pos": {
1186           "x": 164.0,
1187           "y": 129.0
1188         },
1189         "params": 1
1190       },
1191       {
1192         "id": "WireCrossPoint",
1193         "name": "WireCrossPoint#46",
1194         "pos": {
1195           "x": 164.0,
1196           "y": 104.0
1197         },
1198         "params": 1
1199       },
1200       {
1201         "id": "WireCrossPoint",
1202         "name": "WireCrossPoint#47",
1203         "pos": {
1204           "x": 369.0,
1205           "y": 194.0
1206         },
1207         "params": 1
1208       },
1209       {
1210         "id": "WireCrossPoint",
1211         "name": "WireCrossPoint#48",
1212         "pos": {
1213           "x": 259.0,
1214           "y": 394.0
1215         },
1216         "params": 1
1217       },
1218       {
1219         "id": "WireCrossPoint",
1220         "name": "WireCrossPoint#49",
1221         "pos": {
1222           "x": 224.0,
1223           "y": 159.0
1224         },
1225         "params": 1
1226       },
1227       {
1228         "id": "WireCrossPoint",
1229         "name": "WireCrossPoint#50",
1230         "pos": {
1231           "x": 39.0,
1232           "y": 149.0
1233         },
1234         "params": 1
1235       },
1236       {
1237         "id": "WireCrossPoint",
1238         "name": "WireCrossPoint#51",
1239         "pos": {
1240           "x": 264.0,
1241           "y": 9.0
1242         },
1243         "params": 1
1244       },
1245       {
1246         "id": "WireCrossPoint",
1247         "name": "WireCrossPoint#52",
1248         "pos": {
1249           "x": 29.0,
1250           "y": 109.0
1251         },
1252         "params": 1
1253       },
1254       {
1255         "id": "WireCrossPoint",
1256         "name": "WireCrossPoint#53",
1257         "pos": {
1258           "x": 94.0,
1259           "y": 109.0
1260         },
1261         "params": 1
1262       },
1263       {
1264         "id": "WireCrossPoint",
1265         "name": "WireCrossPoint#54",
1266         "pos": {
1267           "x": 314.0,
1268           "y": 304.0
1269         },
1270         "params": 1
1271       },
1272       {
1273         "id": "WireCrossPoint",
1274         "name": "WireCrossPoint#55",
1275         "pos": {
1276           "x": 89.0,
1277           "y": 129.0
1278         },
1279         "params": 1
1280       },
1281       {
1282         "id": "WireCrossPoint",
1283         "name": "WireCrossPoint#56",
1284         "pos": {
1285           "x": 79.0,
1286           "y": 79.0
1287         },
1288         "params": 1
1289       },
1290       {
1291         "id": "WireCrossPoint",
1292         "name": "WireCrossPoint#57",
1293         "pos": {
1294           "x": 84.0,
1295           "y": 124.0
1296         },
1297         "params": 1
1298       },
1299       {
1300         "id": "WireCrossPoint",
1301         "name": "WireCrossPoint#58",
1302         "pos": {
1303           "x": 349.0,
1304           "y": 94.0
1305         },
1306         "params": 1
1307       },
1308       {
1309         "id": "WireCrossPoint",
1310         "name": "WireCrossPoint#59",
1311         "pos": {
1312           "x": 94.0,
1313           "y": 154.0
1314         },
1315         "params": 1
1316       },
1317       {
1318         "id": "WireCrossPoint",
1319         "name": "WireCrossPoint#60",
1320         "pos": {
1321           "x": 74.0,
1322           "y": 99.0
1323         },
1324         "params": 1
1325       },
1326       {
1327         "id": "WireCrossPoint",
1328         "name": "WireCrossPoint#61",
1329         "pos": {
1330           "x": 89.0,
1331           "y": 134.0
1332         },
1333         "params": 1
1334       },
1335       {
1336         "id": "WireCrossPoint",
1337         "name": "WireCrossPoint#62",
1338         "pos": {
1339           "x": 194.0,
1340           "y": 14.0
1341         },
1342         "params": 1
1343       },
1344       {
1345         "id": "WireCrossPoint",
1346         "name": "WireCrossPoint#63",
1347         "pos": {
1348           "x": 184.0,
1349           "y": 164.0
1350         },
1351         "params": 1
1352       },
1353       {
1354         "id": "WireCrossPoint",
1355         "name": "WireCrossPoint#64",
1356         "pos": {
1357           "x": 29.0,
1358           "y": 209.0
1359         },
1360         "params": 1
1361       },
1362       {
1363         "id": "WireCrossPoint",
1364         "name": "WireCrossPoint#65",
1365         "pos": {
1366           "x": 44.0,
1367           "y": 184.0
1368         },
1369         "params": 1
1370       },
1371       {
1372         "id": "WireCrossPoint",
1373         "name": "WireCrossPoint#66",
1374         "pos": {
1375           "x": 104.0,
1376           "y": 184.0
1377         },
1378         "params": 1
1379       },
1380       {
1381         "id": "WireCrossPoint",
1382         "name": "WireCrossPoint#67",
1383         "pos": {
1384           "x": 24.0,
1385           "y": 249.0
1386         },
1387         "params": 1
1388       },
1389       {
1390         "id": "WireCrossPoint",
1391         "name": "WireCrossPoint#68",
1392         "pos": {
1393           "x": 34.0,
1394           "y": 234.0
1395         },
1396         "params": 1
1397       },
1398       {
1399         "id": "WireCrossPoint",
1400         "name": "WireCrossPoint#69",
1401         "pos": {
1402           "x": 334.0,
1403           "y": 474.0
1404         },
1405         "params": 1
1406       },
1407       {
1408         "id": "WireCrossPoint",
1409         "name": "WireCrossPoint#70",
1410         "pos": {
1411           "x": 29.0,
1412           "y": 259.0
1413         },
1414         "params": 1
1415       },
1416       {
1417         "id": "WireCrossPoint",
1418         "name": "WireCrossPoint#71",
1419         "pos": {
1420           "x": 39.0,
1421           "y": 159.0
1422         },
1423         "params": 1
1424       },
1425       {
1426         "id": "WireCrossPoint",
1427         "name": "WireCrossPoint#72",
1428         "pos": {
1429           "x": 339.0,
1430           "y": 424.0
1431         },
1432         "params": 1
1433       },
1434       {
1435         "id": "WireCrossPoint",
1436         "name": "WireCrossPoint#73",
1437         "pos": {
1438           "x": 379.0,
1439           "y": 759.0
1440         },
1441         "params": 1
1442       },
1443       {
1444         "id": "WireCrossPoint",
1445         "name": "WireCrossPoint#74",
1446         "pos": {
1447           "x": 94.0,
1448           "y": 174.0
1449         },
1450         "params": 1
1451       },
1452       {
1453         "id": "WireCrossPoint",
1454         "name": "WireCrossPoint#75",
1455         "pos": {
1456           "x": 359.0,
1457           "y": 629.0
1458         },
1459         "params": 1
1460       },
1461       {
1462         "id": "WireCrossPoint",
1463         "name": "WireCrossPoint#76",
1464         "pos": {
1465           "x": 119.0,
1466           "y": 824.0
1467         },
1468         "params": 1
1469       },
1470       {
1471         "id": "WireCrossPoint",
1472         "name": "WireCrossPoint#77",
1473         "pos": {
1474           "x": 29.0,
1475           "y": 299.0
1476         },
1477         "params": 1
1478       },
1479       {
1480         "id": "WireCrossPoint",
1481         "name": "WireCrossPoint#78",
1482         "pos": {
1483           "x": 409.0,
1484           "y": 724.0
1485         },
1486         "params": 1
1487       },
1488       {
1489         "id": "WireCrossPoint",
1490         "name": "WireCrossPoint#79",
1491         "pos": {
1492           "x": 259.0,
1493           "y": 269.0
1494         },
1495         "params": 1
1496       },
1497       {
1498         "id": "WireCrossPoint",
1499         "name": "WireCrossPoint#80",
1500         "pos": {
1501           "x": 259.0,
1502           "y": 639.0
1503         },
1504         "params": 1
1505       },
1506       {
1507         "id": "WireCrossPoint",
1508         "name": "WireCrossPoint#81",
1509         "pos": {
1510           "x": 379.0,
1511           "y": 354.0
1512         },
1513         "params": 1
1514       },
1515       {
1516         "id": "WireCrossPoint",
1517         "name": "WireCrossPoint#82",
1518         "pos": {
1519           "x": 379.0,
1520           "y": 344.0
1521         },
1522         "params": 1
1523       },
1524       {
1525         "id": "WireCrossPoint",
1526         "name": "WireCrossPoint#83",
1527         "pos": {
1528           "x": 284.0,
1529           "y": 544.0
1530         },
1531         "params": 1
1532       },
1533       {
1534         "id": "WireCrossPoint",
1535         "name": "WireCrossPoint#84",
1536         "pos": {
1537           "x": 294.0,
1538           "y": 779.0
1539         },
1540         "params": 1
1541       },
1542       {
1543         "id": "WireCrossPoint",
1544         "name": "WireCrossPoint#85",
1545         "pos": {
1546           "x": 334.0,
1547           "y": 619.0
1548         },
1549         "params": 1
1550       },
1551       {
1552         "id": "WireCrossPoint",
1553         "name": "WireCrossPoint#86",
1554         "pos": {
1555           "x": 339.0,
1556           "y": 589.0
1557         },
1558         "params": 1
1559       },
1560       {
1561         "id": "WireCrossPoint",
1562         "name": "WireCrossPoint#87",
1563         "pos": {
1564           "x": 349.0,
1565           "y": 609.0
1566         },
1567         "params": 1
1568       },
1569       {
1570         "id": "WireCrossPoint",
1571         "name": "WireCrossPoint#88",
1572         "pos": {
1573           "x": 294.0,
1574           "y": 259.0
1575         },
1576         "params": 1
1577       },
1578       {
1579         "id": "WireCrossPoint",
1580         "name": "WireCrossPoint#89",
1581         "pos": {
1582           "x": 259.0,
1583           "y": 284.0
1584         },
1585         "params": 1
1586       },
1587       {
1588         "id": "WireCrossPoint",
1589         "name": "WireCrossPoint#90",
1590         "pos": {
1591           "x": 299.0,
1592           "y": 554.0
1593         },
1594         "params": 1
1595       },
1596       {
1597         "id": "WireCrossPoint",
1598         "name": "WireCrossPoint#91",
1599         "pos": {
1600           "x": 279.0,
1601           "y": 534.0
1602         },
1603         "params": 1
1604       },
1605       {
1606         "id": "WireCrossPoint",
1607         "name": "WireCrossPoint#92",
1608         "pos": {
1609           "x": 259.0,
1610           "y": 569.0
1611         },
1612         "params": 1
1613       },
1614       {
1615         "id": "WireCrossPoint",
1616         "name": "WireCrossPoint#93",
1617         "pos": {
1618           "x": 294.0,
1619           "y": 584.0
1620         },
1621         "params": 1
1622       },
1623       {
1624         "id": "WireCrossPoint",
1625         "name": "WireCrossPoint#94",
1626         "pos": {
1627           "x": 79.0,
1628           "y": 149.0
1629         },
1630         "params": 1
1631       },
1632       {
1633         "id": "and",
1634         "name": "and#0",
1635         "pos": {
1636           "x": 385.0,
1637           "y": 460.0
1638         }
1639       },
1640       {
1641         "id": "and",
1642         "name": "and#1",
1643         "pos": {
1644           "x": 505.0,
1645           "y": 445.0
1646         }
1647       },
1648       {
1649         "id": "and",
1650         "name": "and#2",
1651         "pos": {
1652           "x": 50.0,
1653           "y": 245.0
1654         }
1655       },
1656       {
1657         "id": "and",
1658         "name": "and#3",
1659         "pos": {
1660           "x": 240.0,
1661           "y": 800.0
1662         }
1663       },
1664       {
1665         "id": "and",
1666         "name": "and#4",
1667         "pos": {
1668           "x": 135.0,
1669           "y": 195.0
1670         }
1671       },
1672       {
1673         "id": "and",
1674         "name": "and#5",
1675         "pos": {
1676           "x": 135.0,
1677           "y": 145.0
1678         }
1679       },
1680       {
1681         "id": "and",
1682         "name": "and#6",
1683         "pos": {
1684           "x": 50.0,
1685           "y": 220.0
1686         }
1687       },
1688       {
1689         "id": "and",
1690         "name": "and#7",
1691         "pos": {
1692           "x": 445.0,
1693           "y": 145.0
1694         }
1695       },
1696       {
1697         "id": "and",
1698         "name": "and#8",
1699         "pos": {
1700           "x": 135.0,
1701           "y": 120.0
1702         }
1703       },
1704       {
1705         "id": "and",
1706         "name": "and#9",
1707         "pos": {
1708           "x": 355.0,
1709           "y": 45.0
1710         }
1711       },
1712       {
1713         "id": "and",
1714         "name": "and#10",
1715         "pos": {
1716           "x": 390.0,
1717           "y": 45.0
1718         }
1719       },
1720       {
1721         "id": "and",
1722         "name": "and#11",
1723         "pos": {
1724           "x": 385.0,
1725           "y": 255.0
1726         }
1727       },
1728       {
1729         "id": "and",
1730         "name": "and#12",
1731         "pos": {
1732           "x": 385.0,
1733           "y": 310.0
1734         }
1735       },
1736       {
1737         "id": "and",
1738         "name": "and#13",
1739         "pos": {
1740           "x": 385.0,
1741           "y": 205.0
1742         }
1743       },
1744       {
1745         "id": "and",
1746         "name": "and#14",
1747         "pos": {
1748           "x": 385.0,
1749           "y": 645.0
1750         }
1751       },
1752       {
1753         "id": "and",
1754         "name": "and#15",
1755         "pos": {
1756           "x": 50.0,
1757           "y": 270.0
1758         }
1759       },
1760       {
1761         "id": "and",
1762         "name": "and#16",
1763         "pos": {
1764           "x": 450.0,
1765           "y": 720.0
1766         }
1767       },
1768       {
1769         "id": "and",
1770         "name": "and#17",
1771         "pos": {
1772           "x": 415.0,
1773           "y": 345.0
1774         }
1775       },
1776       {
1777         "id": "and",
1778         "name": "and#18",
1779         "pos": {
1780           "x": 385.0,
1781           "y": 430.0
1782         }
1783       }
1784     ],
1785     "wires": [
1786       {
1787         "pin1": {
1788           "compName": "Splitter#0",
1789           "pinName": "I"
1790         },
1791         "pin2": {
1792           "compName": "_submodelinterface",
1793           "pinName": "I"
1794         },
1795         "name": "unnamedWire#0",
1796         "path": []
1797       },
1798       {
1799         "pin1": {
1800           "compName": "Splitter#0",
1801           "pinName": "O3"
1802         },
1803         "pin2": {
1804           "compName": "WireCrossPoint#0",
1805           "pinName": ""
1806         },
1807         "name": "unnamedWire#1",
1808         "path": []
1809       },
1810       {
1811         "pin1": {
1812           "compName": "WireCrossPoint#42",
1813           "pinName": ""
1814         },
1815         "pin2": {
1816           "compName": "WireCrossPoint#51",
1817           "pinName": ""
1818         },
1819         "name": "unnamedWire#2",
1820         "path": []
1821       },
1822       {
1823         "pin1": {
1824           "compName": "Splitter#0",
1825           "pinName": "O1"
1826         },
1827         "pin2": {
1828           "compName": "WireCrossPoint#4",
1829           "pinName": ""
1830         },
1831         "name": "unnamedWire#3",
1832         "path": []
1833       },
1834       {
1835         "pin1": {
1836           "compName": "Splitter#0",
1837           "pinName": "O0"
1838         },
1839         "pin2": {
1840           "compName": "WireCrossPoint#10",
1841           "pinName": ""
1842         },
1843         "name": "unnamedWire#4",
1844         "path": []
1845       },
1846       {
1847         "pin1": {
1848           "compName": "WireCrossPoint#7",
1849           "pinName": ""
1850         },
1851         "pin2": {
1852           "compName": "WireCrossPoint#14",
1853           "pinName": ""
1854         },
1855         "name": "unnamedWire#5",
1856         "path": []
1857       },
1858       {
1859         "pin1": {
1860           "compName": "WireCrossPoint#7",
1861           "pinName": ""
1862         },
1863         "pin2": {
1864           "compName": "WireCrossPoint#0",
1865           "pinName": ""
1866         },
1867         "name": "unnamedWire#6",
1868         "path": []
1869       },
1870       {
1871         "pin1": {
1872           "compName": "WireCrossPoint#2",
1873           "pinName": ""
1874         },
1875         "pin2": {
1876           "compName": "WireCrossPoint#1",
1877           "pinName": ""
1878         },
1879         "name": "unnamedWire#7",
1880         "path": []
1881       },
1882       {
1883         "pin1": {
1884           "compName": "WireCrossPoint#3",
1885           "pinName": ""
1886         },
1887         "pin2": {
1888           "compName": "NandGate#2",
1889           "pinName": "A"
1890         },
1891         "name": "unnamedWire#8",
1892         "path": []
1893       },
1894       {
1895         "pin1": {
1896           "compName": "WireCrossPoint#18",
1897           "pinName": ""
1898         },
1899         "pin2": {
1900           "compName": "WireCrossPoint#67",
1901           "pinName": ""
1902         },
1903         "name": "unnamedWire#9",
1904         "path": []
1905       },
1906       {
1907         "pin1": {
1908           "compName": "WireCrossPoint#2",
1909           "pinName": ""
1910         },
1911         "pin2": {
1912           "compName": "NandGate#1",
1913           "pinName": "A"
1914         },
1915         "name": "unnamedWire#10",
1916         "path": []
1917       },
1918       {
1919         "pin1": {
1920           "compName": "Splitter#0",
1921           "pinName": "O2"
1922         },
1923         "pin2": {
1924           "compName": "WireCrossPoint#1",
1925           "pinName": ""
1926         },
1927         "name": "unnamedWire#11",
1928         "path": []
1929       },
1930       {
1931         "pin1": {
1932           "compName": "WireCrossPoint#62",
1933           "pinName": ""
1934         },
1935         "pin2": {
1936           "compName": "NandGate#68",
1937           "pinName": "A"
1938         },
1939         "name": "unnamedWire#12",
1940         "path": [
1941           {
1942             "x": 195.0,
1943             "y": 155.0
1944           }
1945         ]
1946       },
1947       {
1948         "pin1": {
1949           "compName": "WireCrossPoint#55",
1950           "pinName": ""
1951         },
1952         "pin2": {
1953           "compName": "WireCrossPoint#13",
1954           "pinName": ""
1955         },
1956         "name": "unnamedWire#13",
1957         "path": [
1958           {
1959             "x": 90.0,
1960             "y": 50.0
1961           },
1962           {
1963             "x": 305.0,
1964             "y": 50.0
1965           }
1966         ]
1967       },
1968       {
1969         "pin1": {
1970           "compName": "WireCrossPoint#21",
1971           "pinName": ""
1972         },
1973         "pin2": {
1974           "compName": "WireCrossPoint#63",
1975           "pinName": ""
1976         },
1977         "name": "unnamedWire#14",
1978         "path": []
1979       },
1980       {
1981         "pin1": {
1982           "compName": "WireCrossPoint#20",
1983           "pinName": ""
1984         },
1985         "pin2": {
1986           "compName": "WireCrossPoint#44",
1987           "pinName": ""
1988         },
1989         "name": "unnamedWire#15",
1990         "path": [
1991           {
1992             "x": 275.0,
1993             "y": 20.0
1994           }
1995         ]
1996       },
1997       {
1998         "pin1": {
1999           "compName": "NandGate#0",
2000           "pinName": "Y"
2001         },
2002         "pin2": {
2003           "compName": "WireCrossPoint#37",
2004           "pinName": ""
2005         },
2006         "name": "unnamedWire#16",
2007         "path": []
2008       },
2009       {
2010         "pin1": {
2011           "compName": "WireCrossPoint#56",
2012           "pinName": ""
2013         },
2014         "pin2": {
2015           "compName": "WireCrossPoint#8",
2016           "pinName": ""
2017         },
2018         "name": "unnamedWire#17",
2019         "path": [
2020           {
2021             "x": 80.0,
2022             "y": 40.0
2023           },
2024           {
2025             "x": 295.0,
2026             "y": 40.0
2027           }
2028         ]
2029       },
2030       {
2031         "pin1": {
2032           "compName": "and#3",
2033           "pinName": "A"
2034         },
2035         "pin2": {
2036           "compName": "WireCrossPoint#77",
2037           "pinName": ""
2038         },
2039         "name": "unnamedWire#18",
2040         "path": [
2041           {
2042             "x": 30.0,
2043             "y": 805.0
2044           }
2045         ]
2046       },
2047       {
2048         "pin1": {
2049           "compName": "and#4",
2050           "pinName": "Y"
2051         },
2052         "pin2": {
2053           "compName": "WireCrossPoint#21",
2054           "pinName": ""
2055         },
2056         "name": "unnamedWire#19",
2057         "path": []
2058       },
2059       {
2060         "pin1": {
2061           "compName": "WireCrossPoint#84",
2062           "pinName": ""
2063         },
2064         "pin2": {
2065           "compName": "NandGate#59",
2066           "pinName": "A"
2067         },
2068         "name": "unnamedWire#20",
2069         "path": [
2070           {
2071             "x": 475.0,
2072             "y": 780.0
2073           },
2074           {
2075             "x": 475.0,
2076             "y": 750.0
2077           }
2078         ]
2079       },
2080       {
2081         "pin1": {
2082           "compName": "and#3",
2083           "pinName": "Y"
2084         },
2085         "pin2": {
2086           "compName": "NandGate#67",
2087           "pinName": "A"
2088         },
2089         "name": "unnamedWire#21",
2090         "path": [
2091           {
2092             "x": 270.0,
2093             "y": 805.0
2094           },
2095           {
2096             "x": 270.0,
2097             "y": 815.0
2098           }
2099         ]
2100       },
2101       {
2102         "pin1": {
2103           "compName": "NandGate#67",
2104           "pinName": "Y"
2105         },
2106         "pin2": {
2107           "compName": "_submodelinterface",
2108           "pinName": "_MAP"
2109         },
2110         "name": "unnamedWire#22",
2111         "path": [
2112           {
2113             "x": 300.0,
2114             "y": 820.0
2115           }
2116         ]
2117       },
2118       {
2119         "pin1": {
2120           "compName": "and#2",
2121           "pinName": "Y"
2122         },
2123         "pin2": {
2124           "compName": "WireCrossPoint#11",
2125           "pinName": ""
2126         },
2127         "name": "unnamedWire#23",
2128         "path": [
2129           {
2130             "x": 115.0,
2131             "y": 250.0
2132           },
2133           {
2134             "x": 115.0,
2135             "y": 75.0
2136           },
2137           {
2138             "x": 330.0,
2139             "y": 75.0
2140           }
2141         ]
2142       },
2143       {
2144         "pin1": {
2145           "compName": "NandGate#3",
2146           "pinName": "Y"
2147         },
2148         "pin2": {
2149           "compName": "_submodelinterface",
2150           "pinName": "_VECT"
2151         },
2152         "name": "unnamedWire#24",
2153         "path": [
2154           {
2155             "x": 450.0,
2156             "y": 830.0
2157           }
2158         ]
2159       },
2160       {
2161         "pin1": {
2162           "compName": "WireCrossPoint#4",
2163           "pinName": ""
2164         },
2165         "pin2": {
2166           "compName": "WireCrossPoint#32",
2167           "pinName": ""
2168         },
2169         "name": "unnamedWire#25",
2170         "path": [
2171           {
2172             "x": 30.0,
2173             "y": 15.0
2174           }
2175         ]
2176       },
2177       {
2178         "pin1": {
2179           "compName": "WireCrossPoint#63",
2180           "pinName": ""
2181         },
2182         "pin2": {
2183           "compName": "NandGate#68",
2184           "pinName": "B"
2185         },
2186         "name": "unnamedWire#26",
2187         "path": []
2188       },
2189       {
2190         "pin1": {
2191           "compName": "WireCrossPoint#3",
2192           "pinName": ""
2193         },
2194         "pin2": {
2195           "compName": "WireCrossPoint#5",
2196           "pinName": ""
2197         },
2198         "name": "unnamedWire#27",
2199         "path": []
2200       },
2201       {
2202         "pin1": {
2203           "compName": "NandGate#69",
2204           "pinName": "Y"
2205         },
2206         "pin2": {
2207           "compName": "_submodelinterface",
2208           "pinName": "_PL"
2209         },
2210         "name": "unnamedWire#28",
2211         "path": [
2212           {
2213             "x": 150.0,
2214             "y": 830.0
2215           }
2216         ]
2217       },
2218       {
2219         "pin1": {
2220           "compName": "WireCrossPoint#5",
2221           "pinName": ""
2222         },
2223         "pin2": {
2224           "compName": "NandGate#2",
2225           "pinName": "B"
2226         },
2227         "name": "unnamedWire#29",
2228         "path": []
2229       },
2230       {
2231         "pin1": {
2232           "compName": "WireCrossPoint#34",
2233           "pinName": ""
2234         },
2235         "pin2": {
2236           "compName": "_submodelinterface",
2237           "pinName": "R\u003d0"
2238         },
2239         "name": "unnamedWire#30",
2240         "path": [
2241           {
2242             "x": 400.0,
2243             "y": 30.0
2244           }
2245         ]
2246       },
2247       {
2248         "pin1": {
2249           "compName": "WireCrossPoint#4",
2250           "pinName": ""
2251         },
2252         "pin2": {
2253           "compName": "WireCrossPoint#6",
2254           "pinName": ""
2255         },
2256         "name": "unnamedWire#31",
2257         "path": []
2258       },
2259       {
2260         "pin1": {
2261           "compName": "WireCrossPoint#6",
2262           "pinName": ""
2263         },
2264         "pin2": {
2265           "compName": "WireCrossPoint#52",
2266           "pinName": ""
2267         },
2268         "name": "unnamedWire#32",
2269         "path": []
2270       },
2271       {
2272         "pin1": {
2273           "compName": "WireCrossPoint#6",
2274           "pinName": ""
2275         },
2276         "pin2": {
2277           "compName": "NandGate#4",
2278           "pinName": "A"
2279         },
2280         "name": "unnamedWire#33",
2281         "path": []
2282       },
2283       {
2284         "pin1": {
2285           "compName": "NandGate#4",
2286           "pinName": "Y"
2287         },
2288         "pin2": {
2289           "compName": "WireCrossPoint#12",
2290           "pinName": ""
2291         },
2292         "name": "unnamedWire#34",
2293         "path": []
2294       },
2295       {
2296         "pin1": {
2297           "compName": "WireCrossPoint#7",
2298           "pinName": ""
2299         },
2300         "pin2": {
2301           "compName": "NandGate#0",
2302           "pinName": "A"
2303         },
2304         "name": "unnamedWire#35",
2305         "path": []
2306       },
2307       {
2308         "pin1": {
2309           "compName": "WireCrossPoint#56",
2310           "pinName": ""
2311         },
2312         "pin2": {
2313           "compName": "WireCrossPoint#94",
2314           "pinName": ""
2315         },
2316         "name": "unnamedWire#36",
2317         "path": []
2318       },
2319       {
2320         "pin1": {
2321           "compName": "and#5",
2322           "pinName": "Y"
2323         },
2324         "pin2": {
2325           "compName": "WireCrossPoint#31",
2326           "pinName": ""
2327         },
2328         "name": "unnamedWire#37",
2329         "path": [
2330           {
2331             "x": 175.0,
2332             "y": 150.0
2333           },
2334           {
2335             "x": 175.0,
2336             "y": 100.0
2337           },
2338           {
2339             "x": 355.0,
2340             "y": 100.0
2341           }
2342         ]
2343       },
2344       {
2345         "pin1": {
2346           "compName": "WireCrossPoint#8",
2347           "pinName": ""
2348         },
2349         "pin2": {
2350           "compName": "WireCrossPoint#88",
2351           "pinName": ""
2352         },
2353         "name": "unnamedWire#38",
2354         "path": []
2355       },
2356       {
2357         "pin1": {
2358           "compName": "WireCrossPoint#0",
2359           "pinName": ""
2360         },
2361         "pin2": {
2362           "compName": "WireCrossPoint#9",
2363           "pinName": ""
2364         },
2365         "name": "unnamedWire#39",
2366         "path": [
2367           {
2368             "x": 20.0,
2369             "y": 5.0
2370           },
2371           {
2372             "x": 260.0,
2373             "y": 5.0
2374           }
2375         ]
2376       },
2377       {
2378         "pin1": {
2379           "compName": "NandGate#6",
2380           "pinName": "Y"
2381         },
2382         "pin2": {
2383           "compName": "NandGate#5",
2384           "pinName": "B"
2385         },
2386         "name": "unnamedWire#40",
2387         "path": [
2388           {
2389             "x": 410.0,
2390             "y": 180.0
2391           },
2392           {
2393             "x": 410.0,
2394             "y": 165.0
2395           }
2396         ]
2397       },
2398       {
2399         "pin1": {
2400           "compName": "NandGate#7",
2401           "pinName": "Y"
2402         },
2403         "pin2": {
2404           "compName": "NandGate#5",
2405           "pinName": "A"
2406         },
2407         "name": "unnamedWire#41",
2408         "path": []
2409       },
2410       {
2411         "pin1": {
2412           "compName": "and#7",
2413           "pinName": "Y"
2414         },
2415         "pin2": {
2416           "compName": "_submodelinterface",
2417           "pinName": "RDEC"
2418         },
2419         "name": "unnamedWire#42",
2420         "path": []
2421       },
2422       {
2423         "pin1": {
2424           "compName": "and#7",
2425           "pinName": "B"
2426         },
2427         "pin2": {
2428           "compName": "NandGate#5",
2429           "pinName": "Y"
2430         },
2431         "name": "unnamedWire#43",
2432         "path": []
2433       },
2434       {
2435         "pin1": {
2436           "compName": "WireCrossPoint#9",
2437           "pinName": ""
2438         },
2439         "pin2": {
2440           "compName": "NandGate#6",
2441           "pinName": "A"
2442         },
2443         "name": "unnamedWire#44",
2444         "path": []
2445       },
2446       {
2447         "pin1": {
2448           "compName": "WireCrossPoint#2",
2449           "pinName": ""
2450         },
2451         "pin2": {
2452           "compName": "WireCrossPoint#18",
2453           "pinName": ""
2454         },
2455         "name": "unnamedWire#45",
2456         "path": []
2457       },
2458       {
2459         "pin1": {
2460           "compName": "WireCrossPoint#10",
2461           "pinName": ""
2462         },
2463         "pin2": {
2464           "compName": "WireCrossPoint#3",
2465           "pinName": ""
2466         },
2467         "name": "unnamedWire#46",
2468         "path": []
2469       },
2470       {
2471         "pin1": {
2472           "compName": "WireCrossPoint#10",
2473           "pinName": ""
2474         },
2475         "pin2": {
2476           "compName": "WireCrossPoint#44",
2477           "pinName": ""
2478         },
2479         "name": "unnamedWire#47",
2480         "path": [
2481           {
2482             "x": 35.0,
2483             "y": 20.0
2484           }
2485         ]
2486       },
2487       {
2488         "pin1": {
2489           "compName": "WireCrossPoint#11",
2490           "pinName": ""
2491         },
2492         "pin2": {
2493           "compName": "NandGate#3",
2494           "pinName": "A"
2495         },
2496         "name": "unnamedWire#48",
2497         "path": [
2498           {
2499             "x": 330.0,
2500             "y": 825.0
2501           }
2502         ]
2503       },
2504       {
2505         "pin1": {
2506           "compName": "WireCrossPoint#11",
2507           "pinName": ""
2508         },
2509         "pin2": {
2510           "compName": "NandGate#7",
2511           "pinName": "B"
2512         },
2513         "name": "unnamedWire#49",
2514         "path": []
2515       },
2516       {
2517         "pin1": {
2518           "compName": "and#6",
2519           "pinName": "Y"
2520         },
2521         "pin2": {
2522           "compName": "WireCrossPoint#28",
2523           "pinName": ""
2524         },
2525         "name": "unnamedWire#50",
2526         "path": [
2527           {
2528             "x": 110.0,
2529             "y": 225.0
2530           },
2531           {
2532             "x": 110.0,
2533             "y": 70.0
2534           },
2535           {
2536             "x": 325.0,
2537             "y": 70.0
2538           }
2539         ]
2540       },
2541       {
2542         "pin1": {
2543           "compName": "WireCrossPoint#22",
2544           "pinName": ""
2545         },
2546         "pin2": {
2547           "compName": "WireCrossPoint#36",
2548           "pinName": ""
2549         },
2550         "name": "unnamedWire#51",
2551         "path": []
2552       },
2553       {
2554         "pin1": {
2555           "compName": "WireCrossPoint#12",
2556           "pinName": ""
2557         },
2558         "pin2": {
2559           "compName": "WireCrossPoint#57",
2560           "pinName": ""
2561         },
2562         "name": "unnamedWire#52",
2563         "path": []
2564       },
2565       {
2566         "pin1": {
2567           "compName": "WireCrossPoint#61",
2568           "pinName": ""
2569         },
2570         "pin2": {
2571           "compName": "and#4",
2572           "pinName": "A"
2573         },
2574         "name": "unnamedWire#53",
2575         "path": [
2576           {
2577             "x": 90.0,
2578             "y": 200.0
2579           }
2580         ]
2581       },
2582       {
2583         "pin1": {
2584           "compName": "WireCrossPoint#61",
2585           "pinName": ""
2586         },
2587         "pin2": {
2588           "compName": "and#8",
2589           "pinName": "B"
2590         },
2591         "name": "unnamedWire#54",
2592         "path": []
2593       },
2594       {
2595         "pin1": {
2596           "compName": "WireCrossPoint#18",
2597           "pinName": ""
2598         },
2599         "pin2": {
2600           "compName": "NandGate#1",
2601           "pinName": "B"
2602         },
2603         "name": "unnamedWire#55",
2604         "path": []
2605       },
2606       {
2607         "pin1": {
2608           "compName": "and#8",
2609           "pinName": "Y"
2610         },
2611         "pin2": {
2612           "compName": "WireCrossPoint#58",
2613           "pinName": ""
2614         },
2615         "name": "unnamedWire#56",
2616         "path": [
2617           {
2618             "x": 170.0,
2619             "y": 125.0
2620           },
2621           {
2622             "x": 170.0,
2623             "y": 95.0
2624           }
2625         ]
2626       },
2627       {
2628         "pin1": {
2629           "compName": "WireCrossPoint#32",
2630           "pinName": ""
2631         },
2632         "pin2": {
2633           "compName": "WireCrossPoint#62",
2634           "pinName": ""
2635         },
2636         "name": "unnamedWire#57",
2637         "path": []
2638       },
2639       {
2640         "pin1": {
2641           "compName": "_submodelinterface",
2642           "pinName": "PASS"
2643         },
2644         "pin2": {
2645           "compName": "WireCrossPoint#24",
2646           "pinName": ""
2647         },
2648         "name": "unnamedWire#58",
2649         "path": []
2650       },
2651       {
2652         "pin1": {
2653           "compName": "WireCrossPoint#50",
2654           "pinName": ""
2655         },
2656         "pin2": {
2657           "compName": "WireCrossPoint#71",
2658           "pinName": ""
2659         },
2660         "name": "unnamedWire#59",
2661         "path": []
2662       },
2663       {
2664         "pin1": {
2665           "compName": "WireCrossPoint#50",
2666           "pinName": ""
2667         },
2668         "pin2": {
2669           "compName": "NandGate#8",
2670           "pinName": "A"
2671         },
2672         "name": "unnamedWire#60",
2673         "path": []
2674       },
2675       {
2676         "pin1": {
2677           "compName": "WireCrossPoint#60",
2678           "pinName": ""
2679         },
2680         "pin2": {
2681           "compName": "and#4",
2682           "pinName": "B"
2683         },
2684         "name": "unnamedWire#61",
2685         "path": [
2686           {
2687             "x": 75.0,
2688             "y": 210.0
2689           }
2690         ]
2691       },
2692       {
2693         "pin1": {
2694           "compName": "WireCrossPoint#59",
2695           "pinName": ""
2696         },
2697         "pin2": {
2698           "compName": "WireCrossPoint#74",
2699           "pinName": ""
2700         },
2701         "name": "unnamedWire#62",
2702         "path": []
2703       },
2704       {
2705         "pin1": {
2706           "compName": "WireCrossPoint#16",
2707           "pinName": ""
2708         },
2709         "pin2": {
2710           "compName": "WireCrossPoint#37",
2711           "pinName": ""
2712         },
2713         "name": "unnamedWire#63",
2714         "path": [
2715           {
2716             "x": 290.0,
2717             "y": 35.0
2718           },
2719           {
2720             "x": 75.0,
2721             "y": 35.0
2722           }
2723         ]
2724       },
2725       {
2726         "pin1": {
2727           "compName": "and#10",
2728           "pinName": "Y"
2729         },
2730         "pin2": {
2731           "compName": "_submodelinterface",
2732           "pinName": "RLD"
2733         },
2734         "name": "unnamedWire#64",
2735         "path": []
2736       },
2737       {
2738         "pin1": {
2739           "compName": "NandGate#9",
2740           "pinName": "Y"
2741         },
2742         "pin2": {
2743           "compName": "WireCrossPoint#46",
2744           "pinName": ""
2745         },
2746         "name": "unnamedWire#65",
2747         "path": []
2748       },
2749       {
2750         "pin1": {
2751           "compName": "and#9",
2752           "pinName": "Y"
2753         },
2754         "pin2": {
2755           "compName": "and#10",
2756           "pinName": "A"
2757         },
2758         "name": "unnamedWire#66",
2759         "path": []
2760       },
2761       {
2762         "pin1": {
2763           "compName": "WireCrossPoint#23",
2764           "pinName": ""
2765         },
2766         "pin2": {
2767           "compName": "WireCrossPoint#93",
2768           "pinName": ""
2769         },
2770         "name": "unnamedWire#67",
2771         "path": []
2772       },
2773       {
2774         "pin1": {
2775           "compName": "WireCrossPoint#88",
2776           "pinName": ""
2777         },
2778         "pin2": {
2779           "compName": "and#11",
2780           "pinName": "A"
2781         },
2782         "name": "unnamedWire#68",
2783         "path": []
2784       },
2785       {
2786         "pin1": {
2787           "compName": "WireCrossPoint#5",
2788           "pinName": ""
2789         },
2790         "pin2": {
2791           "compName": "WireCrossPoint#68",
2792           "pinName": ""
2793         },
2794         "name": "unnamedWire#69",
2795         "path": []
2796       },
2797       {
2798         "pin1": {
2799           "compName": "WireCrossPoint#9",
2800           "pinName": ""
2801         },
2802         "pin2": {
2803           "compName": "WireCrossPoint#79",
2804           "pinName": ""
2805         },
2806         "name": "unnamedWire#70",
2807         "path": []
2808       },
2809       {
2810         "pin1": {
2811           "compName": "and#11",
2812           "pinName": "Y"
2813         },
2814         "pin2": {
2815           "compName": "NandGate#10",
2816           "pinName": "A"
2817         },
2818         "name": "unnamedWire#71",
2819         "path": [
2820           {
2821             "x": 415.0,
2822             "y": 260.0
2823           },
2824           {
2825             "x": 415.0,
2826             "y": 265.0
2827           }
2828         ]
2829       },
2830       {
2831         "pin1": {
2832           "compName": "NandGate#10",
2833           "pinName": "B"
2834         },
2835         "pin2": {
2836           "compName": "WireCrossPoint#62",
2837           "pinName": ""
2838         },
2839         "name": "unnamedWire#72",
2840         "path": [
2841           {
2842             "x": 415.0,
2843             "y": 275.0
2844           },
2845           {
2846             "x": 415.0,
2847             "y": 280.0
2848           },
2849           {
2850             "x": 270.0,
2851             "y": 280.0
2852           },
2853           {
2854             "x": 270.0,
2855             "y": 15.0
2856           }
2857         ]
2858       },
2859       {
2860         "pin1": {
2861           "compName": "WireCrossPoint#25",
2862           "pinName": ""
2863         },
2864         "pin2": {
2865           "compName": "NandGate#3",
2866           "pinName": "B"
2867         },
2868         "name": "unnamedWire#73",
2869         "path": [
2870           {
2871             "x": 365.0,
2872             "y": 835.0
2873           }
2874         ]
2875       },
2876       {
2877         "pin1": {
2878           "compName": "NandGate#10",
2879           "pinName": "Y"
2880         },
2881         "pin2": {
2882           "compName": "NandGate#11",
2883           "pinName": "A"
2884         },
2885         "name": "unnamedWire#74",
2886         "path": []
2887       },
2888       {
2889         "pin1": {
2890           "compName": "WireCrossPoint#89",
2891           "pinName": ""
2892         },
2893         "pin2": {
2894           "compName": "NandGate#11",
2895           "pinName": "B"
2896         },
2897         "name": "unnamedWire#75",
2898         "path": [
2899           {
2900             "x": 445.0,
2901             "y": 285.0
2902           },
2903           {
2904             "x": 445.0,
2905             "y": 280.0
2906           }
2907         ]
2908       },
2909       {
2910         "pin1": {
2911           "compName": "WireCrossPoint#79",
2912           "pinName": ""
2913         },
2914         "pin2": {
2915           "compName": "and#11",
2916           "pinName": "B"
2917         },
2918         "name": "unnamedWire#76",
2919         "path": []
2920       },
2921       {
2922         "pin1": {
2923           "compName": "WireCrossPoint#14",
2924           "pinName": ""
2925         },
2926         "pin2": {
2927           "compName": "NandGate#0",
2928           "pinName": "B"
2929         },
2930         "name": "unnamedWire#77",
2931         "path": []
2932       },
2933       {
2934         "pin1": {
2935           "compName": "WireCrossPoint#20",
2936           "pinName": ""
2937         },
2938         "pin2": {
2939           "compName": "NandGate#12",
2940           "pinName": "B"
2941         },
2942         "name": "unnamedWire#78",
2943         "path": [
2944           {
2945             "x": 475.0,
2946             "y": 290.0
2947           },
2948           {
2949             "x": 475.0,
2950             "y": 285.0
2951           }
2952         ]
2953       },
2954       {
2955         "pin1": {
2956           "compName": "NandGate#11",
2957           "pinName": "Y"
2958         },
2959         "pin2": {
2960           "compName": "NandGate#12",
2961           "pinName": "A"
2962         },
2963         "name": "unnamedWire#79",
2964         "path": []
2965       },
2966       {
2967         "pin1": {
2968           "compName": "WireCrossPoint#21",
2969           "pinName": ""
2970         },
2971         "pin2": {
2972           "compName": "NandGate#67",
2973           "pinName": "B"
2974         },
2975         "name": "unnamedWire#80",
2976         "path": [
2977           {
2978             "x": 185.0,
2979             "y": 825.0
2980           }
2981         ]
2982       },
2983       {
2984         "pin1": {
2985           "compName": "NandGate#12",
2986           "pinName": "Y"
2987         },
2988         "pin2": {
2989           "compName": "NandGate#14",
2990           "pinName": "A"
2991         },
2992         "name": "unnamedWire#81",
2993         "path": []
2994       },
2995       {
2996         "pin1": {
2997           "compName": "WireCrossPoint#49",
2998           "pinName": ""
2999         },
3000         "pin2": {
3001           "compName": "NandGate#14",
3002           "pinName": "B"
3003         },
3004         "name": "unnamedWire#82",
3005         "path": [
3006           {
3007             "x": 225.0,
3008             "y": 120.0
3009           },
3010           {
3011             "x": 375.0,
3012             "y": 120.0
3013           },
3014           {
3015             "x": 375.0,
3016             "y": 295.0
3017           },
3018           {
3019             "x": 505.0,
3020             "y": 295.0
3021           },
3022           {
3023             "x": 505.0,
3024             "y": 290.0
3025           }
3026         ]
3027       },
3028       {
3029         "pin1": {
3030           "compName": "NandGate#56",
3031           "pinName": "Y"
3032         },
3033         "pin2": {
3034           "compName": "NandGate#59",
3035           "pinName": "B"
3036         },
3037         "name": "unnamedWire#83",
3038         "path": []
3039       },
3040       {
3041         "pin1": {
3042           "compName": "and#16",
3043           "pinName": "Y"
3044         },
3045         "pin2": {
3046           "compName": "NandGate#13",
3047           "pinName": "B"
3048         },
3049         "name": "unnamedWire#84",
3050         "path": []
3051       },
3052       {
3053         "pin1": {
3054           "compName": "NandGate#13",
3055           "pinName": "A"
3056         },
3057         "pin2": {
3058           "compName": "WireCrossPoint#75",
3059           "pinName": ""
3060         },
3061         "name": "unnamedWire#85",
3062         "path": [
3063           {
3064             "x": 360.0,
3065             "y": 715.0
3066           }
3067         ]
3068       },
3069       {
3070         "pin1": {
3071           "compName": "WireCrossPoint#19",
3072           "pinName": ""
3073         },
3074         "pin2": {
3075           "compName": "WireCrossPoint#78",
3076           "pinName": ""
3077         },
3078         "name": "unnamedWire#86",
3079         "path": []
3080       },
3081       {
3082         "pin1": {
3083           "compName": "WireCrossPoint#52",
3084           "pinName": ""
3085         },
3086         "pin2": {
3087           "compName": "WireCrossPoint#64",
3088           "pinName": ""
3089         },
3090         "name": "unnamedWire#87",
3091         "path": []
3092       },
3093       {
3094         "pin1": {
3095           "compName": "WireCrossPoint#24",
3096           "pinName": ""
3097         },
3098         "pin2": {
3099           "compName": "WireCrossPoint#38",
3100           "pinName": ""
3101         },
3102         "name": "unnamedWire#88",
3103         "path": [
3104           {
3105             "x": 280.0,
3106             "y": 25.0
3107           }
3108         ]
3109       },
3110       {
3111         "pin1": {
3112           "compName": "NandGate#14",
3113           "pinName": "Y"
3114         },
3115         "pin2": {
3116           "compName": "NandGate#21",
3117           "pinName": "A"
3118         },
3119         "name": "unnamedWire#89",
3120         "path": []
3121       },
3122       {
3123         "pin1": {
3124           "compName": "WireCrossPoint#85",
3125           "pinName": ""
3126         },
3127         "pin2": {
3128           "compName": "and#16",
3129           "pinName": "B"
3130         },
3131         "name": "unnamedWire#90",
3132         "path": [
3133           {
3134             "x": 335.0,
3135             "y": 710.0
3136           },
3137           {
3138             "x": 445.0,
3139             "y": 710.0
3140           },
3141           {
3142             "x": 445.0,
3143             "y": 735.0
3144           }
3145         ]
3146       },
3147       {
3148         "pin1": {
3149           "compName": "NandGate#24",
3150           "pinName": "Y"
3151         },
3152         "pin2": {
3153           "compName": "_submodelinterface",
3154           "pinName": "YD"
3155         },
3156         "name": "unnamedWire#91",
3157         "path": []
3158       },
3159       {
3160         "pin1": {
3161           "compName": "WireCrossPoint#26",
3162           "pinName": ""
3163         },
3164         "pin2": {
3165           "compName": "WireCrossPoint#84",
3166           "pinName": ""
3167         },
3168         "name": "unnamedWire#92",
3169         "path": []
3170       },
3171       {
3172         "pin1": {
3173           "compName": "WireCrossPoint#8",
3174           "pinName": ""
3175         },
3176         "pin2": {
3177           "compName": "NandGate#16",
3178           "pinName": "A"
3179         },
3180         "name": "unnamedWire#93",
3181         "path": []
3182       },
3183       {
3184         "pin1": {
3185           "compName": "WireCrossPoint#30",
3186           "pinName": ""
3187         },
3188         "pin2": {
3189           "compName": "NandGate#17",
3190           "pinName": "A"
3191         },
3192         "name": "unnamedWire#94",
3193         "path": [
3194           {
3195             "x": 415.0,
3196             "y": 200.0
3197           },
3198           {
3199             "x": 415.0,
3200             "y": 205.0
3201           }
3202         ]
3203       },
3204       {
3205         "pin1": {
3206           "compName": "WireCrossPoint#27",
3207           "pinName": ""
3208         },
3209         "pin2": {
3210           "compName": "WireCrossPoint#43",
3211           "pinName": ""
3212         },
3213         "name": "unnamedWire#95",
3214         "path": []
3215       },
3216       {
3217         "pin1": {
3218           "compName": "WireCrossPoint#42",
3219           "pinName": ""
3220         },
3221         "pin2": {
3222           "compName": "and#13",
3223           "pinName": "B"
3224         },
3225         "name": "unnamedWire#96",
3226         "path": []
3227       },
3228       {
3229         "pin1": {
3230           "compName": "and#13",
3231           "pinName": "Y"
3232         },
3233         "pin2": {
3234           "compName": "NandGate#17",
3235           "pinName": "B"
3236         },
3237         "name": "unnamedWire#97",
3238         "path": [
3239           {
3240             "x": 415.0,
3241             "y": 210.0
3242           },
3243           {
3244             "x": 415.0,
3245             "y": 215.0
3246           }
3247         ]
3248       },
3249       {
3250         "pin1": {
3251           "compName": "WireCrossPoint#51",
3252           "pinName": ""
3253         },
3254         "pin2": {
3255           "compName": "and#9",
3256           "pinName": "A"
3257         },
3258         "name": "unnamedWire#98",
3259         "path": [
3260           {
3261             "x": 350.0,
3262             "y": 10.0
3263           },
3264           {
3265             "x": 350.0,
3266             "y": 50.0
3267           }
3268         ]
3269       },
3270       {
3271         "pin1": {
3272           "compName": "WireCrossPoint#27",
3273           "pinName": ""
3274         },
3275         "pin2": {
3276           "compName": "and#7",
3277           "pinName": "A"
3278         },
3279         "name": "unnamedWire#99",
3280         "path": [
3281           {
3282             "x": 440.0,
3283             "y": 135.0
3284           },
3285           {
3286             "x": 440.0,
3287             "y": 150.0
3288           }
3289         ]
3290       },
3291       {
3292         "pin1": {
3293           "compName": "WireCrossPoint#28",
3294           "pinName": ""
3295         },
3296         "pin2": {
3297           "compName": "WireCrossPoint#30",
3298           "pinName": ""
3299         },
3300         "name": "unnamedWire#100",
3301         "path": []
3302       },
3303       {
3304         "pin1": {
3305           "compName": "NandGate#17",
3306           "pinName": "Y"
3307         },
3308         "pin2": {
3309           "compName": "NandGate#18",
3310           "pinName": "A"
3311         },
3312         "name": "unnamedWire#101",
3313         "path": [
3314           {
3315             "x": 445.0,
3316             "y": 210.0
3317           },
3318           {
3319             "x": 445.0,
3320             "y": 230.0
3321           }
3322         ]
3323       },
3324       {
3325         "pin1": {
3326           "compName": "NandGate#16",
3327           "pinName": "Y"
3328         },
3329         "pin2": {
3330           "compName": "NandGate#18",
3331           "pinName": "B"
3332         },
3333         "name": "unnamedWire#102",
3334         "path": []
3335       },
3336       {
3337         "pin1": {
3338           "compName": "NandGate#39",
3339           "pinName": "A"
3340         },
3341         "pin2": {
3342           "compName": "WireCrossPoint#32",
3343           "pinName": ""
3344         },
3345         "name": "unnamedWire#103",
3346         "path": [
3347           {
3348             "x": 130.0,
3349             "y": 225.0
3350           }
3351         ]
3352       },
3353       {
3354         "pin1": {
3355           "compName": "NandGate#8",
3356           "pinName": "Y"
3357         },
3358         "pin2": {
3359           "compName": "WireCrossPoint#59",
3360           "pinName": ""
3361         },
3362         "name": "unnamedWire#104",
3363         "path": []
3364       },
3365       {
3366         "pin1": {
3367           "compName": "NandGate#38",
3368           "pinName": "Y"
3369         },
3370         "pin2": {
3371           "compName": "NandGate#15",
3372           "pinName": "A"
3373         },
3374         "name": "unnamedWire#105",
3375         "path": [
3376           {
3377             "x": 480.0,
3378             "y": 205.0
3379           },
3380           {
3381             "x": 480.0,
3382             "y": 225.0
3383           }
3384         ]
3385       },
3386       {
3387         "pin1": {
3388           "compName": "NandGate#18",
3389           "pinName": "Y"
3390         },
3391         "pin2": {
3392           "compName": "NandGate#15",
3393           "pinName": "B"
3394         },
3395         "name": "unnamedWire#106",
3396         "path": []
3397       },
3398       {
3399         "pin1": {
3400           "compName": "NandGate#19",
3401           "pinName": "A"
3402         },
3403         "pin2": {
3404           "compName": "NandGate#15",
3405           "pinName": "Y"
3406         },
3407         "name": "unnamedWire#107",
3408         "path": [
3409           {
3410             "x": 510.0,
3411             "y": 240.0
3412           },
3413           {
3414             "x": 510.0,
3415             "y": 230.0
3416           }
3417         ]
3418       },
3419       {
3420         "pin1": {
3421           "compName": "NandGate#19",
3422           "pinName": "B"
3423         },
3424         "pin2": {
3425           "compName": "NandGate#21",
3426           "pinName": "Y"
3427         },
3428         "name": "unnamedWire#108",
3429         "path": [
3430           {
3431             "x": 510.0,
3432             "y": 250.0
3433           },
3434           {
3435             "x": 510.0,
3436             "y": 270.0
3437           },
3438           {
3439             "x": 565.0,
3440             "y": 270.0
3441           },
3442           {
3443             "x": 565.0,
3444             "y": 290.0
3445           }
3446         ]
3447       },
3448       {
3449         "pin1": {
3450           "compName": "WireCrossPoint#30",
3451           "pinName": ""
3452         },
3453         "pin2": {
3454           "compName": "and#12",
3455           "pinName": "A"
3456         },
3457         "name": "unnamedWire#109",
3458         "path": [
3459           {
3460             "x": 325.0,
3461             "y": 315.0
3462           }
3463         ]
3464       },
3465       {
3466         "pin1": {
3467           "compName": "WireCrossPoint#31",
3468           "pinName": ""
3469         },
3470         "pin2": {
3471           "compName": "and#12",
3472           "pinName": "B"
3473         },
3474         "name": "unnamedWire#110",
3475         "path": [
3476           {
3477             "x": 355.0,
3478             "y": 325.0
3479           }
3480         ]
3481       },
3482       {
3483         "pin1": {
3484           "compName": "WireCrossPoint#33",
3485           "pinName": ""
3486         },
3487         "pin2": {
3488           "compName": "NandGate#20",
3489           "pinName": "A"
3490         },
3491         "name": "unnamedWire#111",
3492         "path": []
3493       },
3494       {
3495         "pin1": {
3496           "compName": "WireCrossPoint#33",
3497           "pinName": ""
3498         },
3499         "pin2": {
3500           "compName": "WireCrossPoint#65",
3501           "pinName": ""
3502         },
3503         "name": "unnamedWire#112",
3504         "path": []
3505       },
3506       {
3507         "pin1": {
3508           "compName": "NandGate#22",
3509           "pinName": "A"
3510         },
3511         "pin2": {
3512           "compName": "WireCrossPoint#54",
3513           "pinName": ""
3514         },
3515         "name": "unnamedWire#113",
3516         "path": [
3517           {
3518             "x": 415.0,
3519             "y": 310.0
3520           },
3521           {
3522             "x": 415.0,
3523             "y": 305.0
3524           }
3525         ]
3526       },
3527       {
3528         "pin1": {
3529           "compName": "and#12",
3530           "pinName": "Y"
3531         },
3532         "pin2": {
3533           "compName": "NandGate#22",
3534           "pinName": "B"
3535         },
3536         "name": "unnamedWire#114",
3537         "path": [
3538           {
3539             "x": 415.0,
3540             "y": 315.0
3541           },
3542           {
3543             "x": 415.0,
3544             "y": 320.0
3545           }
3546         ]
3547       },
3548       {
3549         "pin1": {
3550           "compName": "NandGate#19",
3551           "pinName": "Y"
3552         },
3553         "pin2": {
3554           "compName": "WireCrossPoint#35",
3555           "pinName": ""
3556         },
3557         "name": "unnamedWire#115",
3558         "path": []
3559       },
3560       {
3561         "pin1": {
3562           "compName": "WireCrossPoint#35",
3563           "pinName": ""
3564         },
3565         "pin2": {
3566           "compName": "NandGate#23",
3567           "pinName": "A"
3568         },
3569         "name": "unnamedWire#116",
3570         "path": [
3571           {
3572             "x": 540.0,
3573             "y": 240.0
3574           }
3575         ]
3576       },
3577       {
3578         "pin1": {
3579           "compName": "NandGate#22",
3580           "pinName": "Y"
3581         },
3582         "pin2": {
3583           "compName": "NandGate#24",
3584           "pinName": "B"
3585         },
3586         "name": "unnamedWire#117",
3587         "path": [
3588           {
3589             "x": 570.0,
3590             "y": 315.0
3591           },
3592           {
3593             "x": 570.0,
3594             "y": 255.0
3595           }
3596         ]
3597       },
3598       {
3599         "pin1": {
3600           "compName": "NandGate#23",
3601           "pinName": "Y"
3602         },
3603         "pin2": {
3604           "compName": "NandGate#24",
3605           "pinName": "A"
3606         },
3607         "name": "unnamedWire#118",
3608         "path": []
3609       },
3610       {
3611         "pin1": {
3612           "compName": "WireCrossPoint#25",
3613           "pinName": ""
3614         },
3615         "pin2": {
3616           "compName": "NandGate#16",
3617           "pinName": "B"
3618         },
3619         "name": "unnamedWire#119",
3620         "path": []
3621       },
3622       {
3623         "pin1": {
3624           "compName": "WireCrossPoint#28",
3625           "pinName": ""
3626         },
3627         "pin2": {
3628           "compName": "NandGate#7",
3629           "pinName": "A"
3630         },
3631         "name": "unnamedWire#120",
3632         "path": []
3633       },
3634       {
3635         "pin1": {
3636           "compName": "WireCrossPoint#31",
3637           "pinName": ""
3638         },
3639         "pin2": {
3640           "compName": "NandGate#6",
3641           "pinName": "B"
3642         },
3643         "name": "unnamedWire#121",
3644         "path": []
3645       },
3646       {
3647         "pin1": {
3648           "compName": "WireCrossPoint#53",
3649           "pinName": ""
3650         },
3651         "pin2": {
3652           "compName": "NandGate#9",
3653           "pinName": "B"
3654         },
3655         "name": "unnamedWire#122",
3656         "path": []
3657       },
3658       {
3659         "pin1": {
3660           "compName": "WireCrossPoint#33",
3661           "pinName": ""
3662         },
3663         "pin2": {
3664           "compName": "WireCrossPoint#34",
3665           "pinName": ""
3666         },
3667         "name": "unnamedWire#123",
3668         "path": [
3669           {
3670             "x": 45.0,
3671             "y": 30.0
3672           }
3673         ]
3674       },
3675       {
3676         "pin1": {
3677           "compName": "WireCrossPoint#34",
3678           "pinName": ""
3679         },
3680         "pin2": {
3681           "compName": "WireCrossPoint#27",
3682           "pinName": ""
3683         },
3684         "name": "unnamedWire#124",
3685         "path": []
3686       },
3687       {
3688         "pin1": {
3689           "compName": "WireCrossPoint#35",
3690           "pinName": ""
3691         },
3692         "pin2": {
3693           "compName": "NandGate#23",
3694           "pinName": "B"
3695         },
3696         "name": "unnamedWire#125",
3697         "path": [
3698           {
3699             "x": 540.0,
3700             "y": 250.0
3701           }
3702         ]
3703       },
3704       {
3705         "pin1": {
3706           "compName": "and#5",
3707           "pinName": "B"
3708         },
3709         "pin2": {
3710           "compName": "WireCrossPoint#57",
3711           "pinName": ""
3712         },
3713         "name": "unnamedWire#126",
3714         "path": [
3715           {
3716             "x": 85.0,
3717             "y": 160.0
3718           }
3719         ]
3720       },
3721       {
3722         "pin1": {
3723           "compName": "WireCrossPoint#16",
3724           "pinName": ""
3725         },
3726         "pin2": {
3727           "compName": "NandGate#26",
3728           "pinName": "A"
3729         },
3730         "name": "unnamedWire#127",
3731         "path": []
3732       },
3733       {
3734         "pin1": {
3735           "compName": "WireCrossPoint#36",
3736           "pinName": ""
3737         },
3738         "pin2": {
3739           "compName": "NandGate#26",
3740           "pinName": "B"
3741         },
3742         "name": "unnamedWire#128",
3743         "path": []
3744       },
3745       {
3746         "pin1": {
3747           "compName": "WireCrossPoint#37",
3748           "pinName": ""
3749         },
3750         "pin2": {
3751           "compName": "WireCrossPoint#60",
3752           "pinName": ""
3753         },
3754         "name": "unnamedWire#129",
3755         "path": []
3756       },
3757       {
3758         "pin1": {
3759           "compName": "NandGate#26",
3760           "pinName": "Y"
3761         },
3762         "pin2": {
3763           "compName": "NandGate#25",
3764           "pinName": "B"
3765         },
3766         "name": "unnamedWire#130",
3767         "path": []
3768       },
3769       {
3770         "pin1": {
3771           "compName": "WireCrossPoint#38",
3772           "pinName": ""
3773         },
3774         "pin2": {
3775           "compName": "NandGate#21",
3776           "pinName": "B"
3777         },
3778         "name": "unnamedWire#131",
3779         "path": [
3780           {
3781             "x": 535.0,
3782             "y": 300.0
3783           },
3784           {
3785             "x": 535.0,
3786             "y": 295.0
3787           }
3788         ]
3789       },
3790       {
3791         "pin1": {
3792           "compName": "WireCrossPoint#40",
3793           "pinName": ""
3794         },
3795         "pin2": {
3796           "compName": "NandGate#25",
3797           "pinName": "A"
3798         },
3799         "name": "unnamedWire#132",
3800         "path": [
3801           {
3802             "x": 410.0,
3803             "y": 495.0
3804           },
3805           {
3806             "x": 410.0,
3807             "y": 500.0
3808           }
3809         ]
3810       },
3811       {
3812         "pin1": {
3813           "compName": "NandGate#25",
3814           "pinName": "Y"
3815         },
3816         "pin2": {
3817           "compName": "NandGate#27",
3818           "pinName": "B"
3819         },
3820         "name": "unnamedWire#133",
3821         "path": []
3822       },
3823       {
3824         "pin1": {
3825           "compName": "WireCrossPoint#13",
3826           "pinName": ""
3827         },
3828         "pin2": {
3829           "compName": "NandGate#27",
3830           "pinName": "A"
3831         },
3832         "name": "unnamedWire#134",
3833         "path": [
3834           {
3835             "x": 305.0,
3836             "y": 490.0
3837           },
3838           {
3839             "x": 440.0,
3840             "y": 490.0
3841           },
3842           {
3843             "x": 440.0,
3844             "y": 495.0
3845           }
3846         ]
3847       },
3848       {
3849         "pin1": {
3850           "compName": "NandGate#27",
3851           "pinName": "Y"
3852         },
3853         "pin2": {
3854           "compName": "NandGate#28",
3855           "pinName": "A"
3856         },
3857         "name": "unnamedWire#135",
3858         "path": [
3859           {
3860             "x": 470.0,
3861             "y": 500.0
3862           },
3863           {
3864             "x": 470.0,
3865             "y": 520.0
3866           }
3867         ]
3868       },
3869       {
3870         "pin1": {
3871           "compName": "NandGate#29",
3872           "pinName": "Y"
3873         },
3874         "pin2": {
3875           "compName": "NandGate#28",
3876           "pinName": "B"
3877         },
3878         "name": "unnamedWire#136",
3879         "path": []
3880       },
3881       {
3882         "pin1": {
3883           "compName": "WireCrossPoint#41",
3884           "pinName": ""
3885         },
3886         "pin2": {
3887           "compName": "NandGate#29",
3888           "pinName": "A"
3889         },
3890         "name": "unnamedWire#137",
3891         "path": []
3892       },
3893       {
3894         "pin1": {
3895           "compName": "WireCrossPoint#91",
3896           "pinName": ""
3897         },
3898         "pin2": {
3899           "compName": "NandGate#29",
3900           "pinName": "B"
3901         },
3902         "name": "unnamedWire#138",
3903         "path": []
3904       },
3905       {
3906         "pin1": {
3907           "compName": "NandGate#28",
3908           "pinName": "Y"
3909         },
3910         "pin2": {
3911           "compName": "NandGate#30",
3912           "pinName": "B"
3913         },
3914         "name": "unnamedWire#139",
3915         "path": []
3916       },
3917       {
3918         "pin1": {
3919           "compName": "WireCrossPoint#29",
3920           "pinName": ""
3921         },
3922         "pin2": {
3923           "compName": "NandGate#30",
3924           "pinName": "A"
3925         },
3926         "name": "unnamedWire#140",
3927         "path": [
3928           {
3929             "x": 265.0,
3930             "y": 485.0
3931           },
3932           {
3933             "x": 500.0,
3934             "y": 485.0
3935           },
3936           {
3937             "x": 500.0,
3938             "y": 515.0
3939           }
3940         ]
3941       },
3942       {
3943         "pin1": {
3944           "compName": "NandGate#30",
3945           "pinName": "Y"
3946         },
3947         "pin2": {
3948           "compName": "NandGate#31",
3949           "pinName": "A"
3950         },
3951         "name": "unnamedWire#141",
3952         "path": [
3953           {
3954             "x": 530.0,
3955             "y": 520.0
3956           },
3957           {
3958             "x": 530.0,
3959             "y": 545.0
3960           }
3961         ]
3962       },
3963       {
3964         "pin1": {
3965           "compName": "NandGate#31",
3966           "pinName": "Y"
3967         },
3968         "pin2": {
3969           "compName": "_submodelinterface",
3970           "pinName": "YmuPC"
3971         },
3972         "name": "unnamedWire#142",
3973         "path": []
3974       },
3975       {
3976         "pin1": {
3977           "compName": "NandGate#32",
3978           "pinName": "Y"
3979         },
3980         "pin2": {
3981           "compName": "NandGate#31",
3982           "pinName": "B"
3983         },
3984         "name": "unnamedWire#143",
3985         "path": [
3986           {
3987             "x": 530.0,
3988             "y": 570.0
3989           },
3990           {
3991             "x": 530.0,
3992             "y": 555.0
3993           }
3994         ]
3995       },
3996       {
3997         "pin1": {
3998           "compName": "WireCrossPoint#23",
3999           "pinName": ""
4000         },
4001         "pin2": {
4002           "compName": "NandGate#32",
4003           "pinName": "B"
4004         },
4005         "name": "unnamedWire#144",
4006         "path": [
4007           {
4008             "x": 500.0,
4009             "y": 580.0
4010           },
4011           {
4012             "x": 500.0,
4013             "y": 575.0
4014           }
4015         ]
4016       },
4017       {
4018         "pin1": {
4019           "compName": "NandGate#33",
4020           "pinName": "Y"
4021         },
4022         "pin2": {
4023           "compName": "NandGate#32",
4024           "pinName": "A"
4025         },
4026         "name": "unnamedWire#145",
4027         "path": []
4028       },
4029       {
4030         "pin1": {
4031           "compName": "NandGate#34",
4032           "pinName": "Y"
4033         },
4034         "pin2": {
4035           "compName": "NandGate#33",
4036           "pinName": "A"
4037         },
4038         "name": "unnamedWire#146",
4039         "path": []
4040       },
4041       {
4042         "pin1": {
4043           "compName": "WireCrossPoint#92",
4044           "pinName": ""
4045         },
4046         "pin2": {
4047           "compName": "NandGate#34",
4048           "pinName": "B"
4049         },
4050         "name": "unnamedWire#147",
4051         "path": [
4052           {
4053             "x": 440.0,
4054             "y": 570.0
4055           },
4056           {
4057             "x": 440.0,
4058             "y": 565.0
4059           }
4060         ]
4061       },
4062       {
4063         "pin1": {
4064           "compName": "NandGate#35",
4065           "pinName": "Y"
4066         },
4067         "pin2": {
4068           "compName": "NandGate#34",
4069           "pinName": "A"
4070         },
4071         "name": "unnamedWire#148",
4072         "path": []
4073       },
4074       {
4075         "pin1": {
4076           "compName": "NandGate#36",
4077           "pinName": "Y"
4078         },
4079         "pin2": {
4080           "compName": "NandGate#35",
4081           "pinName": "A"
4082         },
4083         "name": "unnamedWire#149",
4084         "path": []
4085       },
4086       {
4087         "pin1": {
4088           "compName": "WireCrossPoint#83",
4089           "pinName": ""
4090         },
4091         "pin2": {
4092           "compName": "NandGate#36",
4093           "pinName": "A"
4094         },
4095         "name": "unnamedWire#150",
4096         "path": []
4097       },
4098       {
4099         "pin1": {
4100           "compName": "WireCrossPoint#90",
4101           "pinName": ""
4102         },
4103         "pin2": {
4104           "compName": "NandGate#36",
4105           "pinName": "B"
4106         },
4107         "name": "unnamedWire#151",
4108         "path": []
4109       },
4110       {
4111         "pin1": {
4112           "compName": "NandGate#39",
4113           "pinName": "Y"
4114         },
4115         "pin2": {
4116           "compName": "WireCrossPoint#47",
4117           "pinName": ""
4118         },
4119         "name": "unnamedWire#152",
4120         "path": [
4121           {
4122             "x": 190.0,
4123             "y": 230.0
4124           },
4125           {
4126             "x": 190.0,
4127             "y": 115.0
4128           },
4129           {
4130             "x": 370.0,
4131             "y": 115.0
4132           }
4133         ]
4134       },
4135       {
4136         "pin1": {
4137           "compName": "WireCrossPoint#39",
4138           "pinName": ""
4139         },
4140         "pin2": {
4141           "compName": "NandGate#38",
4142           "pinName": "A"
4143         },
4144         "name": "unnamedWire#153",
4145         "path": []
4146       },
4147       {
4148         "pin1": {
4149           "compName": "WireCrossPoint#39",
4150           "pinName": ""
4151         },
4152         "pin2": {
4153           "compName": "NandGate#38",
4154           "pinName": "B"
4155         },
4156         "name": "unnamedWire#154",
4157         "path": [
4158           {
4159             "x": 450.0,
4160             "y": 210.0
4161           }
4162         ]
4163       },
4164       {
4165         "pin1": {
4166           "compName": "WireCrossPoint#47",
4167           "pinName": ""
4168         },
4169         "pin2": {
4170           "compName": "NandGate#35",
4171           "pinName": "B"
4172         },
4173         "name": "unnamedWire#155",
4174         "path": [
4175           {
4176             "x": 370.0,
4177             "y": 565.0
4178           },
4179           {
4180             "x": 410.0,
4181             "y": 565.0
4182           },
4183           {
4184             "x": 410.0,
4185             "y": 560.0
4186           }
4187         ]
4188       },
4189       {
4190         "pin1": {
4191           "compName": "WireCrossPoint#46",
4192           "pinName": ""
4193         },
4194         "pin2": {
4195           "compName": "WireCrossPoint#45",
4196           "pinName": ""
4197         },
4198         "name": "unnamedWire#156",
4199         "path": []
4200       },
4201       {
4202         "pin1": {
4203           "compName": "and#10",
4204           "pinName": "B"
4205         },
4206         "pin2": {
4207           "compName": "WireCrossPoint#46",
4208           "pinName": ""
4209         },
4210         "name": "unnamedWire#157",
4211         "path": [
4212           {
4213             "x": 385.0,
4214             "y": 60.0
4215           },
4216           {
4217             "x": 385.0,
4218             "y": 90.0
4219           },
4220           {
4221             "x": 165.0,
4222             "y": 90.0
4223           }
4224         ]
4225       },
4226       {
4227         "pin1": {
4228           "compName": "WireCrossPoint#81",
4229           "pinName": ""
4230         },
4231         "pin2": {
4232           "compName": "NandGate#33",
4233           "pinName": "B"
4234         },
4235         "name": "unnamedWire#158",
4236         "path": [
4237           {
4238             "x": 380.0,
4239             "y": 575.0
4240           },
4241           {
4242             "x": 470.0,
4243             "y": 575.0
4244           },
4245           {
4246             "x": 470.0,
4247             "y": 570.0
4248           }
4249         ]
4250       },
4251       {
4252         "pin1": {
4253           "compName": "NandGate#40",
4254           "pinName": "A"
4255         },
4256         "pin2": {
4257           "compName": "NandGate#37",
4258           "pinName": "Y"
4259         },
4260         "name": "unnamedWire#159",
4261         "path": []
4262       },
4263       {
4264         "pin1": {
4265           "compName": "WireCrossPoint#44",
4266           "pinName": ""
4267         },
4268         "pin2": {
4269           "compName": "NandGate#40",
4270           "pinName": "B"
4271         },
4272         "name": "unnamedWire#160",
4273         "path": [
4274           {
4275             "x": 230.0,
4276             "y": 145.0
4277           }
4278         ]
4279       },
4280       {
4281         "pin1": {
4282           "compName": "WireCrossPoint#40",
4283           "pinName": ""
4284         },
4285         "pin2": {
4286           "compName": "WireCrossPoint#38",
4287           "pinName": ""
4288         },
4289         "name": "unnamedWire#161",
4290         "path": []
4291       },
4292       {
4293         "pin1": {
4294           "compName": "WireCrossPoint#80",
4295           "pinName": ""
4296         },
4297         "pin2": {
4298           "compName": "WireCrossPoint#19",
4299           "pinName": ""
4300         },
4301         "name": "unnamedWire#162",
4302         "path": [
4303           {
4304             "x": 260.0,
4305             "y": 725.0
4306           }
4307         ]
4308       },
4309       {
4310         "pin1": {
4311           "compName": "and#0",
4312           "pinName": "A"
4313         },
4314         "pin2": {
4315           "compName": "WireCrossPoint#53",
4316           "pinName": ""
4317         },
4318         "name": "unnamedWire#163",
4319         "path": [
4320           {
4321             "x": 310.0,
4322             "y": 465.0
4323           },
4324           {
4325             "x": 310.0,
4326             "y": 55.0
4327           },
4328           {
4329             "x": 95.0,
4330             "y": 55.0
4331           }
4332         ]
4333       },
4334       {
4335         "pin1": {
4336           "compName": "WireCrossPoint#42",
4337           "pinName": ""
4338         },
4339         "pin2": {
4340           "compName": "WireCrossPoint#29",
4341           "pinName": ""
4342         },
4343         "name": "unnamedWire#164",
4344         "path": []
4345       },
4346       {
4347         "pin1": {
4348           "compName": "WireCrossPoint#43",
4349           "pinName": ""
4350         },
4351         "pin2": {
4352           "compName": "and#13",
4353           "pinName": "A"
4354         },
4355         "name": "unnamedWire#165",
4356         "path": []
4357       },
4358       {
4359         "pin1": {
4360           "compName": "WireCrossPoint#14",
4361           "pinName": ""
4362         },
4363         "pin2": {
4364           "compName": "and#6",
4365           "pinName": "A"
4366         },
4367         "name": "unnamedWire#166",
4368         "path": [
4369           {
4370             "x": 20.0,
4371             "y": 225.0
4372           }
4373         ]
4374       },
4375       {
4376         "pin1": {
4377           "compName": "WireCrossPoint#45",
4378           "pinName": ""
4379         },
4380         "pin2": {
4381           "compName": "NandGate#37",
4382           "pinName": "A"
4383         },
4384         "name": "unnamedWire#167",
4385         "path": []
4386       },
4387       {
4388         "pin1": {
4389           "compName": "WireCrossPoint#45",
4390           "pinName": ""
4391         },
4392         "pin2": {
4393           "compName": "NandGate#37",
4394           "pinName": "B"
4395         },
4396         "name": "unnamedWire#168",
4397         "path": [
4398           {
4399             "x": 165.0,
4400             "y": 140.0
4401           }
4402         ]
4403       },
4404       {
4405         "pin1": {
4406           "compName": "WireCrossPoint#47",
4407           "pinName": ""
4408         },
4409         "pin2": {
4410           "compName": "WireCrossPoint#39",
4411           "pinName": ""
4412         },
4413         "name": "unnamedWire#169",
4414         "path": [
4415           {
4416             "x": 450.0,
4417             "y": 195.0
4418           }
4419         ]
4420       },
4421       {
4422         "pin1": {
4423           "compName": "WireCrossPoint#79",
4424           "pinName": ""
4425         },
4426         "pin2": {
4427           "compName": "WireCrossPoint#89",
4428           "pinName": ""
4429         },
4430         "name": "unnamedWire#170",
4431         "path": []
4432       },
4433       {
4434         "pin1": {
4435           "compName": "WireCrossPoint#22",
4436           "pinName": ""
4437         },
4438         "pin2": {
4439           "compName": "WireCrossPoint#12",
4440           "pinName": ""
4441         },
4442         "name": "unnamedWire#171",
4443         "path": [
4444           {
4445             "x": 300.0,
4446             "y": 45.0
4447           },
4448           {
4449             "x": 85.0,
4450             "y": 45.0
4451           }
4452         ]
4453       },
4454       {
4455         "pin1": {
4456           "compName": "WireCrossPoint#17",
4457           "pinName": ""
4458         },
4459         "pin2": {
4460           "compName": "WireCrossPoint#23",
4461           "pinName": ""
4462         },
4463         "name": "unnamedWire#172",
4464         "path": []
4465       },
4466       {
4467         "pin1": {
4468           "compName": "WireCrossPoint#20",
4469           "pinName": ""
4470         },
4471         "pin2": {
4472           "compName": "NandGate#41",
4473           "pinName": "A"
4474         },
4475         "name": "unnamedWire#173",
4476         "path": [
4477           {
4478             "x": 275.0,
4479             "y": 670.0
4480           }
4481         ]
4482       },
4483       {
4484         "pin1": {
4485           "compName": "WireCrossPoint#40",
4486           "pinName": ""
4487         },
4488         "pin2": {
4489           "compName": "WireCrossPoint#91",
4490           "pinName": ""
4491         },
4492         "name": "unnamedWire#174",
4493         "path": []
4494       },
4495       {
4496         "pin1": {
4497           "compName": "NandGate#41",
4498           "pinName": "Y"
4499         },
4500         "pin2": {
4501           "compName": "NandGate#42",
4502           "pinName": "A"
4503         },
4504         "name": "unnamedWire#175",
4505         "path": []
4506       },
4507       {
4508         "pin1": {
4509           "compName": "WireCrossPoint#26",
4510           "pinName": ""
4511         },
4512         "pin2": {
4513           "compName": "NandGate#42",
4514           "pinName": "B"
4515         },
4516         "name": "unnamedWire#176",
4517         "path": [
4518           {
4519             "x": 440.0,
4520             "y": 690.0
4521           },
4522           {
4523             "x": 440.0,
4524             "y": 685.0
4525           }
4526         ]
4527       },
4528       {
4529         "pin1": {
4530           "compName": "NandGate#42",
4531           "pinName": "Y"
4532         },
4533         "pin2": {
4534           "compName": "NandGate#43",
4535           "pinName": "B"
4536         },
4537         "name": "unnamedWire#177",
4538         "path": [
4539           {
4540             "x": 470.0,
4541             "y": 680.0
4542           },
4543           {
4544             "x": 470.0,
4545             "y": 660.0
4546           }
4547         ]
4548       },
4549       {
4550         "pin1": {
4551           "compName": "NandGate#43",
4552           "pinName": "A"
4553         },
4554         "pin2": {
4555           "compName": "and#14",
4556           "pinName": "Y"
4557         },
4558         "name": "unnamedWire#178",
4559         "path": []
4560       },
4561       {
4562         "pin1": {
4563           "compName": "and#14",
4564           "pinName": "B"
4565         },
4566         "pin2": {
4567           "compName": "WireCrossPoint#16",
4568           "pinName": ""
4569         },
4570         "name": "unnamedWire#179",
4571         "path": [
4572           {
4573             "x": 290.0,
4574             "y": 660.0
4575           }
4576         ]
4577       },
4578       {
4579         "pin1": {
4580           "compName": "WireCrossPoint#36",
4581           "pinName": ""
4582         },
4583         "pin2": {
4584           "compName": "WireCrossPoint#90",
4585           "pinName": ""
4586         },
4587         "name": "unnamedWire#180",
4588         "path": []
4589       },
4590       {
4591         "pin1": {
4592           "compName": "NandGate#43",
4593           "pinName": "Y"
4594         },
4595         "pin2": {
4596           "compName": "NandGate#44",
4597           "pinName": "B"
4598         },
4599         "name": "unnamedWire#181",
4600         "path": []
4601       },
4602       {
4603         "pin1": {
4604           "compName": "NandGate#44",
4605           "pinName": "Y"
4606         },
4607         "pin2": {
4608           "compName": "_submodelinterface",
4609           "pinName": "STKI0"
4610         },
4611         "name": "unnamedWire#182",
4612         "path": []
4613       },
4614       {
4615         "pin1": {
4616           "compName": "WireCrossPoint#87",
4617           "pinName": ""
4618         },
4619         "pin2": {
4620           "compName": "NandGate#45",
4621           "pinName": "B"
4622         },
4623         "name": "unnamedWire#183",
4624         "path": []
4625       },
4626       {
4627         "pin1": {
4628           "compName": "WireCrossPoint#83",
4629           "pinName": ""
4630         },
4631         "pin2": {
4632           "compName": "NandGate#45",
4633           "pinName": "A"
4634         },
4635         "name": "unnamedWire#184",
4636         "path": [
4637           {
4638             "x": 285.0,
4639             "y": 600.0
4640           }
4641         ]
4642       },
4643       {
4644         "pin1": {
4645           "compName": "NandGate#45",
4646           "pinName": "Y"
4647         },
4648         "pin2": {
4649           "compName": "NandGate#46",
4650           "pinName": "B"
4651         },
4652         "name": "unnamedWire#185",
4653         "path": []
4654       },
4655       {
4656         "pin1": {
4657           "compName": "WireCrossPoint#86",
4658           "pinName": ""
4659         },
4660         "pin2": {
4661           "compName": "NandGate#46",
4662           "pinName": "A"
4663         },
4664         "name": "unnamedWire#186",
4665         "path": [
4666           {
4667             "x": 410.0,
4668             "y": 590.0
4669           },
4670           {
4671             "x": 410.0,
4672             "y": 595.0
4673           }
4674         ]
4675       },
4676       {
4677         "pin1": {
4678           "compName": "WireCrossPoint#70",
4679           "pinName": ""
4680         },
4681         "pin2": {
4682           "compName": "WireCrossPoint#77",
4683           "pinName": ""
4684         },
4685         "name": "unnamedWire#187",
4686         "path": []
4687       },
4688       {
4689         "pin1": {
4690           "compName": "WireCrossPoint#71",
4691           "pinName": ""
4692         },
4693         "pin2": {
4694           "compName": "NandGate#47",
4695           "pinName": "B"
4696         },
4697         "name": "unnamedWire#188",
4698         "path": [
4699           {
4700             "x": 40.0,
4701             "y": 310.0
4702           }
4703         ]
4704       },
4705       {
4706         "pin1": {
4707           "compName": "NandGate#46",
4708           "pinName": "Y"
4709         },
4710         "pin2": {
4711           "compName": "NandGate#48",
4712           "pinName": "B"
4713         },
4714         "name": "unnamedWire#189",
4715         "path": []
4716       },
4717       {
4718         "pin1": {
4719           "compName": "WireCrossPoint#93",
4720           "pinName": ""
4721         },
4722         "pin2": {
4723           "compName": "NandGate#48",
4724           "pinName": "A"
4725         },
4726         "name": "unnamedWire#190",
4727         "path": [
4728           {
4729             "x": 440.0,
4730             "y": 585.0
4731           },
4732           {
4733             "x": 440.0,
4734             "y": 590.0
4735           }
4736         ]
4737       },
4738       {
4739         "pin1": {
4740           "compName": "NandGate#48",
4741           "pinName": "Y"
4742         },
4743         "pin2": {
4744           "compName": "NandGate#49",
4745           "pinName": "A"
4746         },
4747         "name": "unnamedWire#191",
4748         "path": [
4749           {
4750             "x": 470.0,
4751             "y": 595.0
4752           },
4753           {
4754             "x": 470.0,
4755             "y": 615.0
4756           }
4757         ]
4758       },
4759       {
4760         "pin1": {
4761           "compName": "NandGate#49",
4762           "pinName": "Y"
4763         },
4764         "pin2": {
4765           "compName": "NandGate#50",
4766           "pinName": "A"
4767         },
4768         "name": "unnamedWire#192",
4769         "path": [
4770           {
4771             "x": 500.0,
4772             "y": 620.0
4773           },
4774           {
4775             "x": 500.0,
4776             "y": 630.0
4777           }
4778         ]
4779       },
4780       {
4781         "pin1": {
4782           "compName": "NandGate#50",
4783           "pinName": "Y"
4784         },
4785         "pin2": {
4786           "compName": "NandGate#44",
4787           "pinName": "A"
4788         },
4789         "name": "unnamedWire#193",
4790         "path": [
4791           {
4792             "x": 530.0,
4793             "y": 635.0
4794           },
4795           {
4796             "x": 530.0,
4797             "y": 645.0
4798           }
4799         ]
4800       },
4801       {
4802         "pin1": {
4803           "compName": "WireCrossPoint#80",
4804           "pinName": ""
4805         },
4806         "pin2": {
4807           "compName": "NandGate#50",
4808           "pinName": "B"
4809         },
4810         "name": "unnamedWire#194",
4811         "path": []
4812       },
4813       {
4814         "pin1": {
4815           "compName": "NandGate#51",
4816           "pinName": "Y"
4817         },
4818         "pin2": {
4819           "compName": "NandGate#49",
4820           "pinName": "B"
4821         },
4822         "name": "unnamedWire#195",
4823         "path": []
4824       },
4825       {
4826         "pin1": {
4827           "compName": "WireCrossPoint#67",
4828           "pinName": ""
4829         },
4830         "pin2": {
4831           "compName": "and#15",
4832           "pinName": "B"
4833         },
4834         "name": "unnamedWire#196",
4835         "path": [
4836           {
4837             "x": 25.0,
4838             "y": 285.0
4839           }
4840         ]
4841       },
4842       {
4843         "pin1": {
4844           "compName": "and#15",
4845           "pinName": "A"
4846         },
4847         "pin2": {
4848           "compName": "WireCrossPoint#68",
4849           "pinName": ""
4850         },
4851         "name": "unnamedWire#197",
4852         "path": [
4853           {
4854             "x": 35.0,
4855             "y": 275.0
4856           }
4857         ]
4858       },
4859       {
4860         "pin1": {
4861           "compName": "WireCrossPoint#85",
4862           "pinName": ""
4863         },
4864         "pin2": {
4865           "compName": "NandGate#51",
4866           "pinName": "A"
4867         },
4868         "name": "unnamedWire#198",
4869         "path": []
4870       },
4871       {
4872         "pin1": {
4873           "compName": "NandGate#51",
4874           "pinName": "B"
4875         },
4876         "pin2": {
4877           "compName": "WireCrossPoint#75",
4878           "pinName": ""
4879         },
4880         "name": "unnamedWire#199",
4881         "path": []
4882       },
4883       {
4884         "pin1": {
4885           "compName": "NandGate#52",
4886           "pinName": "A"
4887         },
4888         "pin2": {
4889           "compName": "WireCrossPoint#74",
4890           "pinName": ""
4891         },
4892         "name": "unnamedWire#200",
4893         "path": []
4894       },
4895       {
4896         "pin1": {
4897           "compName": "NandGate#53",
4898           "pinName": "Y"
4899         },
4900         "pin2": {
4901           "compName": "WireCrossPoint#66",
4902           "pinName": ""
4903         },
4904         "name": "unnamedWire#201",
4905         "path": [
4906           {
4907             "x": 105.0,
4908             "y": 205.0
4909           }
4910         ]
4911       },
4912       {
4913         "pin1": {
4914           "compName": "WireCrossPoint#65",
4915           "pinName": ""
4916         },
4917         "pin2": {
4918           "compName": "NandGate#53",
4919           "pinName": "A"
4920         },
4921         "name": "unnamedWire#202",
4922         "path": [
4923           {
4924             "x": 45.0,
4925             "y": 200.0
4926           }
4927         ]
4928       },
4929       {
4930         "pin1": {
4931           "compName": "NandGate#53",
4932           "pinName": "B"
4933         },
4934         "pin2": {
4935           "compName": "WireCrossPoint#64",
4936           "pinName": ""
4937         },
4938         "name": "unnamedWire#203",
4939         "path": []
4940       },
4941       {
4942         "pin1": {
4943           "compName": "WireCrossPoint#78",
4944           "pinName": ""
4945         },
4946         "pin2": {
4947           "compName": "and#16",
4948           "pinName": "A"
4949         },
4950         "name": "unnamedWire#204",
4951         "path": []
4952       },
4953       {
4954         "pin1": {
4955           "compName": "WireCrossPoint#15",
4956           "pinName": ""
4957         },
4958         "pin2": {
4959           "compName": "NandGate#54",
4960           "pinName": "B"
4961         },
4962         "name": "unnamedWire#205",
4963         "path": [
4964           {
4965             "x": 315.0,
4966             "y": 745.0
4967           }
4968         ]
4969       },
4970       {
4971         "pin1": {
4972           "compName": "NandGate#54",
4973           "pinName": "Y"
4974         },
4975         "pin2": {
4976           "compName": "NandGate#55",
4977           "pinName": "B"
4978         },
4979         "name": "unnamedWire#206",
4980         "path": [
4981           {
4982             "x": 415.0,
4983             "y": 740.0
4984           },
4985           {
4986             "x": 415.0,
4987             "y": 745.0
4988           }
4989         ]
4990       },
4991       {
4992         "pin1": {
4993           "compName": "WireCrossPoint#87",
4994           "pinName": ""
4995         },
4996         "pin2": {
4997           "compName": "NandGate#55",
4998           "pinName": "A"
4999         },
5000         "name": "unnamedWire#207",
5001         "path": [
5002           {
5003             "x": 350.0,
5004             "y": 720.0
5005           },
5006           {
5007             "x": 415.0,
5008             "y": 720.0
5009           },
5010           {
5011             "x": 415.0,
5012             "y": 735.0
5013           }
5014         ]
5015       },
5016       {
5017         "pin1": {
5018           "compName": "NandGate#55",
5019           "pinName": "Y"
5020         },
5021         "pin2": {
5022           "compName": "NandGate#56",
5023           "pinName": "A"
5024         },
5025         "name": "unnamedWire#208",
5026         "path": [
5027           {
5028             "x": 445.0,
5029             "y": 740.0
5030           },
5031           {
5032             "x": 445.0,
5033             "y": 755.0
5034           }
5035         ]
5036       },
5037       {
5038         "pin1": {
5039           "compName": "WireCrossPoint#73",
5040           "pinName": ""
5041         },
5042         "pin2": {
5043           "compName": "NandGate#57",
5044           "pinName": "A"
5045         },
5046         "name": "unnamedWire#209",
5047         "path": []
5048       },
5049       {
5050         "pin1": {
5051           "compName": "WireCrossPoint#73",
5052           "pinName": ""
5053         },
5054         "pin2": {
5055           "compName": "NandGate#57",
5056           "pinName": "B"
5057         },
5058         "name": "unnamedWire#210",
5059         "path": [
5060           {
5061             "x": 380.0,
5062             "y": 770.0
5063           }
5064         ]
5065       },
5066       {
5067         "pin1": {
5068           "compName": "NandGate#57",
5069           "pinName": "Y"
5070         },
5071         "pin2": {
5072           "compName": "NandGate#58",
5073           "pinName": "B"
5074         },
5075         "name": "unnamedWire#211",
5076         "path": [
5077           {
5078             "x": 410.0,
5079             "y": 765.0
5080           },
5081           {
5082             "x": 410.0,
5083             "y": 770.0
5084           }
5085         ]
5086       },
5087       {
5088         "pin1": {
5089           "compName": "WireCrossPoint#78",
5090           "pinName": ""
5091         },
5092         "pin2": {
5093           "compName": "NandGate#58",
5094           "pinName": "A"
5095         },
5096         "name": "unnamedWire#212",
5097         "path": [
5098           {
5099             "x": 410.0,
5100             "y": 760.0
5101           }
5102         ]
5103       },
5104       {
5105         "pin1": {
5106           "compName": "NandGate#58",
5107           "pinName": "Y"
5108         },
5109         "pin2": {
5110           "compName": "NandGate#56",
5111           "pinName": "B"
5112         },
5113         "name": "unnamedWire#213",
5114         "path": []
5115       },
5116       {
5117         "pin1": {
5118           "compName": "NandGate#13",
5119           "pinName": "Y"
5120         },
5121         "pin2": {
5122           "compName": "NandGate#60",
5123           "pinName": "A"
5124         },
5125         "name": "unnamedWire#214",
5126         "path": [
5127           {
5128             "x": 505.0,
5129             "y": 720.0
5130           },
5131           {
5132             "x": 505.0,
5133             "y": 745.0
5134           }
5135         ]
5136       },
5137       {
5138         "pin1": {
5139           "compName": "NandGate#59",
5140           "pinName": "Y"
5141         },
5142         "pin2": {
5143           "compName": "NandGate#60",
5144           "pinName": "B"
5145         },
5146         "name": "unnamedWire#215",
5147         "path": []
5148       },
5149       {
5150         "pin1": {
5151           "compName": "NandGate#60",
5152           "pinName": "Y"
5153         },
5154         "pin2": {
5155           "compName": "_submodelinterface",
5156           "pinName": "STKI1"
5157         },
5158         "name": "unnamedWire#216",
5159         "path": []
5160       },
5161       {
5162         "pin1": {
5163           "compName": "NandGate#61",
5164           "pinName": "A"
5165         },
5166         "pin2": {
5167           "compName": "WireCrossPoint#82",
5168           "pinName": ""
5169         },
5170         "name": "unnamedWire#217",
5171         "path": []
5172       },
5173       {
5174         "pin1": {
5175           "compName": "WireCrossPoint#1",
5176           "pinName": ""
5177         },
5178         "pin2": {
5179           "compName": "WireCrossPoint#51",
5180           "pinName": ""
5181         },
5182         "name": "unnamedWire#218",
5183         "path": [
5184           {
5185             "x": 25.0,
5186             "y": 10.0
5187           }
5188         ]
5189       },
5190       {
5191         "pin1": {
5192           "compName": "and#17",
5193           "pinName": "Y"
5194         },
5195         "pin2": {
5196           "compName": "_submodelinterface",
5197           "pinName": "YR"
5198         },
5199         "name": "unnamedWire#219",
5200         "path": []
5201       },
5202       {
5203         "pin1": {
5204           "compName": "NandGate#61",
5205           "pinName": "B"
5206         },
5207         "pin2": {
5208           "compName": "WireCrossPoint#81",
5209           "pinName": ""
5210         },
5211         "name": "unnamedWire#220",
5212         "path": []
5213       },
5214       {
5215         "pin1": {
5216           "compName": "NandGate#61",
5217           "pinName": "Y"
5218         },
5219         "pin2": {
5220           "compName": "and#17",
5221           "pinName": "A"
5222         },
5223         "name": "unnamedWire#221",
5224         "path": []
5225       },
5226       {
5227         "pin1": {
5228           "compName": "WireCrossPoint#15",
5229           "pinName": ""
5230         },
5231         "pin2": {
5232           "compName": "NandGate#62",
5233           "pinName": "A"
5234         },
5235         "name": "unnamedWire#222",
5236         "path": []
5237       },
5238       {
5239         "pin1": {
5240           "compName": "WireCrossPoint#22",
5241           "pinName": ""
5242         },
5243         "pin2": {
5244           "compName": "NandGate#62",
5245           "pinName": "B"
5246         },
5247         "name": "unnamedWire#223",
5248         "path": []
5249       },
5250       {
5251         "pin1": {
5252           "compName": "NandGate#62",
5253           "pinName": "Y"
5254         },
5255         "pin2": {
5256           "compName": "NandGate#63",
5257           "pinName": "A"
5258         },
5259         "name": "unnamedWire#224",
5260         "path": [
5261           {
5262             "x": 410.0,
5263             "y": 410.0
5264           },
5265           {
5266             "x": 410.0,
5267             "y": 415.0
5268           }
5269         ]
5270       },
5271       {
5272         "pin1": {
5273           "compName": "WireCrossPoint#72",
5274           "pinName": ""
5275         },
5276         "pin2": {
5277           "compName": "NandGate#63",
5278           "pinName": "B"
5279         },
5280         "name": "unnamedWire#225",
5281         "path": []
5282       },
5283       {
5284         "pin1": {
5285           "compName": "NandGate#63",
5286           "pinName": "Y"
5287         },
5288         "pin2": {
5289           "compName": "NandGate#64",
5290           "pinName": "A"
5291         },
5292         "name": "unnamedWire#226",
5293         "path": [
5294           {
5295             "x": 440.0,
5296             "y": 420.0
5297           },
5298           {
5299             "x": 440.0,
5300             "y": 425.0
5301           }
5302         ]
5303       },
5304       {
5305         "pin1": {
5306           "compName": "WireCrossPoint#17",
5307           "pinName": ""
5308         },
5309         "pin2": {
5310           "compName": "and#18",
5311           "pinName": "A"
5312         },
5313         "name": "unnamedWire#227",
5314         "path": []
5315       },
5316       {
5317         "pin1": {
5318           "compName": "WireCrossPoint#13",
5319           "pinName": ""
5320         },
5321         "pin2": {
5322           "compName": "and#18",
5323           "pinName": "B"
5324         },
5325         "name": "unnamedWire#228",
5326         "path": []
5327       },
5328       {
5329         "pin1": {
5330           "compName": "and#18",
5331           "pinName": "Y"
5332         },
5333         "pin2": {
5334           "compName": "NandGate#64",
5335           "pinName": "B"
5336         },
5337         "name": "unnamedWire#229",
5338         "path": []
5339       },
5340       {
5341         "pin1": {
5342           "compName": "NandGate#64",
5343           "pinName": "Y"
5344         },
5345         "pin2": {
5346           "compName": "NandGate#65",
5347           "pinName": "A"
5348         },
5349         "name": "unnamedWire#230",
5350         "path": [
5351           {
5352             "x": 470.0,
5353             "y": 430.0
5354           },
5355           {
5356             "x": 470.0,
5357             "y": 450.0
5358           }
5359         ]
5360       },
5361       {
5362         "pin1": {
5363           "compName": "NandGate#65",
5364           "pinName": "Y"
5365         },
5366         "pin2": {
5367           "compName": "and#1",
5368           "pinName": "B"
5369         },
5370         "name": "unnamedWire#231",
5371         "path": [
5372           {
5373             "x": 500.0,
5374             "y": 455.0
5375           },
5376           {
5377             "x": 500.0,
5378             "y": 460.0
5379           }
5380         ]
5381       },
5382       {
5383         "pin1": {
5384           "compName": "and#1",
5385           "pinName": "Y"
5386         },
5387         "pin2": {
5388           "compName": "_submodelinterface",
5389           "pinName": "YF"
5390         },
5391         "name": "unnamedWire#232",
5392         "path": []
5393       },
5394       {
5395         "pin1": {
5396           "compName": "WireCrossPoint#48",
5397           "pinName": ""
5398         },
5399         "pin2": {
5400           "compName": "and#1",
5401           "pinName": "A"
5402         },
5403         "name": "unnamedWire#233",
5404         "path": [
5405           {
5406             "x": 500.0,
5407             "y": 395.0
5408           },
5409           {
5410             "x": 500.0,
5411             "y": 450.0
5412           }
5413         ]
5414       },
5415       {
5416         "pin1": {
5417           "compName": "NandGate#66",
5418           "pinName": "Y"
5419         },
5420         "pin2": {
5421           "compName": "NandGate#65",
5422           "pinName": "B"
5423         },
5424         "name": "unnamedWire#234",
5425         "path": []
5426       },
5427       {
5428         "pin1": {
5429           "compName": "WireCrossPoint#66",
5430           "pinName": ""
5431         },
5432         "pin2": {
5433           "compName": "NandGate#66",
5434           "pinName": "A"
5435         },
5436         "name": "unnamedWire#235",
5437         "path": [
5438           {
5439             "x": 105.0,
5440             "y": 65.0
5441           },
5442           {
5443             "x": 320.0,
5444             "y": 65.0
5445           },
5446           {
5447             "x": 320.0,
5448             "y": 455.0
5449           }
5450         ]
5451       },
5452       {
5453         "pin1": {
5454           "compName": "and#0",
5455           "pinName": "Y"
5456         },
5457         "pin2": {
5458           "compName": "NandGate#66",
5459           "pinName": "B"
5460         },
5461         "name": "unnamedWire#236",
5462         "path": []
5463       },
5464       {
5465         "pin1": {
5466           "compName": "WireCrossPoint#69",
5467           "pinName": ""
5468         },
5469         "pin2": {
5470           "compName": "and#0",
5471           "pinName": "B"
5472         },
5473         "name": "unnamedWire#237",
5474         "path": []
5475       },
5476       {
5477         "pin1": {
5478           "compName": "WireCrossPoint#54",
5479           "pinName": ""
5480         },
5481         "pin2": {
5482           "compName": "WireCrossPoint#15",
5483           "pinName": ""
5484         },
5485         "name": "unnamedWire#238",
5486         "path": []
5487       },
5488       {
5489         "pin1": {
5490           "compName": "NandGate#68",
5491           "pinName": "Y"
5492         },
5493         "pin2": {
5494           "compName": "WireCrossPoint#49",
5495           "pinName": ""
5496         },
5497         "name": "unnamedWire#239",
5498         "path": []
5499       },
5500       {
5501         "pin1": {
5502           "compName": "WireCrossPoint#49",
5503           "pinName": ""
5504         },
5505         "pin2": {
5506           "compName": "WireCrossPoint#76",
5507           "pinName": ""
5508         },
5509         "name": "unnamedWire#240",
5510         "path": [
5511           {
5512             "x": 225.0,
5513             "y": 785.0
5514           },
5515           {
5516             "x": 120.0,
5517             "y": 785.0
5518           }
5519         ]
5520       },
5521       {
5522         "pin1": {
5523           "compName": "WireCrossPoint#76",
5524           "pinName": ""
5525         },
5526         "pin2": {
5527           "compName": "NandGate#69",
5528           "pinName": "A"
5529         },
5530         "name": "unnamedWire#241",
5531         "path": []
5532       },
5533       {
5534         "pin1": {
5535           "compName": "WireCrossPoint#24",
5536           "pinName": ""
5537         },
5538         "pin2": {
5539           "compName": "WireCrossPoint#50",
5540           "pinName": ""
5541         },
5542         "name": "unnamedWire#242",
5543         "path": [
5544           {
5545             "x": 40.0,
5546             "y": 25.0
5547           }
5548         ]
5549       },
5550       {
5551         "pin1": {
5552           "compName": "and#17",
5553           "pinName": "B"
5554         },
5555         "pin2": {
5556           "compName": "WireCrossPoint#29",
5557           "pinName": ""
5558         },
5559         "name": "unnamedWire#243",
5560         "path": [
5561           {
5562             "x": 410.0,
5563             "y": 360.0
5564           },
5565           {
5566             "x": 410.0,
5567             "y": 365.0
5568           }
5569         ]
5570       },
5571       {
5572         "pin1": {
5573           "compName": "WireCrossPoint#52",
5574           "pinName": ""
5575         },
5576         "pin2": {
5577           "compName": "NandGate#4",
5578           "pinName": "B"
5579         },
5580         "name": "unnamedWire#244",
5581         "path": []
5582       },
5583       {
5584         "pin1": {
5585           "compName": "NandGate#20",
5586           "pinName": "Y"
5587         },
5588         "pin2": {
5589           "compName": "WireCrossPoint#54",
5590           "pinName": ""
5591         },
5592         "name": "unnamedWire#245",
5593         "path": [
5594           {
5595             "x": 100.0,
5596             "y": 180.0
5597           },
5598           {
5599             "x": 100.0,
5600             "y": 60.0
5601           },
5602           {
5603             "x": 315.0,
5604             "y": 60.0
5605           }
5606         ]
5607       },
5608       {
5609         "pin1": {
5610           "compName": "NandGate#2",
5611           "pinName": "Y"
5612         },
5613         "pin2": {
5614           "compName": "WireCrossPoint#55",
5615           "pinName": ""
5616         },
5617         "name": "unnamedWire#246",
5618         "path": []
5619       },
5620       {
5621         "pin1": {
5622           "compName": "NandGate#1",
5623           "pinName": "Y"
5624         },
5625         "pin2": {
5626           "compName": "WireCrossPoint#56",
5627           "pinName": ""
5628         },
5629         "name": "unnamedWire#247",
5630         "path": []
5631       },
5632       {
5633         "pin1": {
5634           "compName": "WireCrossPoint#57",
5635           "pinName": ""
5636         },
5637         "pin2": {
5638           "compName": "and#8",
5639           "pinName": "A"
5640         },
5641         "name": "unnamedWire#248",
5642         "path": []
5643       },
5644       {
5645         "pin1": {
5646           "compName": "WireCrossPoint#58",
5647           "pinName": ""
5648         },
5649         "pin2": {
5650           "compName": "and#9",
5651           "pinName": "B"
5652         },
5653         "name": "unnamedWire#249",
5654         "path": [
5655           {
5656             "x": 350.0,
5657             "y": 60.0
5658           }
5659         ]
5660       },
5661       {
5662         "pin1": {
5663           "compName": "WireCrossPoint#59",
5664           "pinName": ""
5665         },
5666         "pin2": {
5667           "compName": "WireCrossPoint#53",
5668           "pinName": ""
5669         },
5670         "name": "unnamedWire#250",
5671         "path": []
5672       },
5673       {
5674         "pin1": {
5675           "compName": "WireCrossPoint#60",
5676           "pinName": ""
5677         },
5678         "pin2": {
5679           "compName": "NandGate#9",
5680           "pinName": "A"
5681         },
5682         "name": "unnamedWire#251",
5683         "path": []
5684       },
5685       {
5686         "pin1": {
5687           "compName": "WireCrossPoint#61",
5688           "pinName": ""
5689         },
5690         "pin2": {
5691           "compName": "WireCrossPoint#55",
5692           "pinName": ""
5693         },
5694         "name": "unnamedWire#252",
5695         "path": []
5696       },
5697       {
5698         "pin1": {
5699           "compName": "WireCrossPoint#63",
5700           "pinName": ""
5701         },
5702         "pin2": {
5703           "compName": "WireCrossPoint#25",
5704           "pinName": ""
5705         },
5706         "name": "unnamedWire#253",
5707         "path": [
5708           {
5709             "x": 185.0,
5710             "y": 110.0
5711           },
5712           {
5713             "x": 365.0,
5714             "y": 110.0
5715           }
5716         ]
5717       },
5718       {
5719         "pin1": {
5720           "compName": "WireCrossPoint#64",
5721           "pinName": ""
5722         },
5723         "pin2": {
5724           "compName": "WireCrossPoint#70",
5725           "pinName": ""
5726         },
5727         "name": "unnamedWire#254",
5728         "path": []
5729       },
5730       {
5731         "pin1": {
5732           "compName": "WireCrossPoint#65",
5733           "pinName": ""
5734         },
5735         "pin2": {
5736           "compName": "NandGate#20",
5737           "pinName": "B"
5738         },
5739         "name": "unnamedWire#255",
5740         "path": []
5741       },
5742       {
5743         "pin1": {
5744           "compName": "WireCrossPoint#66",
5745           "pinName": ""
5746         },
5747         "pin2": {
5748           "compName": "NandGate#52",
5749           "pinName": "B"
5750         },
5751         "name": "unnamedWire#256",
5752         "path": []
5753       },
5754       {
5755         "pin1": {
5756           "compName": "WireCrossPoint#67",
5757           "pinName": ""
5758         },
5759         "pin2": {
5760           "compName": "and#2",
5761           "pinName": "A"
5762         },
5763         "name": "unnamedWire#257",
5764         "path": []
5765       },
5766       {
5767         "pin1": {
5768           "compName": "WireCrossPoint#68",
5769           "pinName": ""
5770         },
5771         "pin2": {
5772           "compName": "and#6",
5773           "pinName": "B"
5774         },
5775         "name": "unnamedWire#258",
5776         "path": []
5777       },
5778       {
5779         "pin1": {
5780           "compName": "and#15",
5781           "pinName": "Y"
5782         },
5783         "pin2": {
5784           "compName": "WireCrossPoint#69",
5785           "pinName": ""
5786         },
5787         "name": "unnamedWire#259",
5788         "path": [
5789           {
5790             "x": 120.0,
5791             "y": 275.0
5792           },
5793           {
5794             "x": 120.0,
5795             "y": 80.0
5796           },
5797           {
5798             "x": 335.0,
5799             "y": 80.0
5800           }
5801         ]
5802       },
5803       {
5804         "pin1": {
5805           "compName": "WireCrossPoint#70",
5806           "pinName": ""
5807         },
5808         "pin2": {
5809           "compName": "and#2",
5810           "pinName": "B"
5811         },
5812         "name": "unnamedWire#260",
5813         "path": []
5814       },
5815       {
5816         "pin1": {
5817           "compName": "WireCrossPoint#71",
5818           "pinName": ""
5819         },
5820         "pin2": {
5821           "compName": "NandGate#8",
5822           "pinName": "B"
5823         },
5824         "name": "unnamedWire#261",
5825         "path": []
5826       },
5827       {
5828         "pin1": {
5829           "compName": "NandGate#47",
5830           "pinName": "Y"
5831         },
5832         "pin2": {
5833           "compName": "WireCrossPoint#72",
5834           "pinName": ""
5835         },
5836         "name": "unnamedWire#262",
5837         "path": [
5838           {
5839             "x": 125.0,
5840             "y": 305.0
5841           },
5842           {
5843             "x": 125.0,
5844             "y": 85.0
5845           },
5846           {
5847             "x": 340.0,
5848             "y": 85.0
5849           }
5850         ]
5851       },
5852       {
5853         "pin1": {
5854           "compName": "WireCrossPoint#86",
5855           "pinName": ""
5856         },
5857         "pin2": {
5858           "compName": "WireCrossPoint#73",
5859           "pinName": ""
5860         },
5861         "name": "unnamedWire#263",
5862         "path": [
5863           {
5864             "x": 340.0,
5865             "y": 760.0
5866           }
5867         ]
5868       },
5869       {
5870         "pin1": {
5871           "compName": "NandGate#39",
5872           "pinName": "B"
5873         },
5874         "pin2": {
5875           "compName": "WireCrossPoint#74",
5876           "pinName": ""
5877         },
5878         "name": "unnamedWire#264",
5879         "path": [
5880           {
5881             "x": 95.0,
5882             "y": 235.0
5883           }
5884         ]
5885       },
5886       {
5887         "pin1": {
5888           "compName": "WireCrossPoint#75",
5889           "pinName": ""
5890         },
5891         "pin2": {
5892           "compName": "NandGate#52",
5893           "pinName": "Y"
5894         },
5895         "name": "unnamedWire#265",
5896         "path": [
5897           {
5898             "x": 360.0,
5899             "y": 105.0
5900           },
5901           {
5902             "x": 180.0,
5903             "y": 105.0
5904           },
5905           {
5906             "x": 180.0,
5907             "y": 180.0
5908           }
5909         ]
5910       },
5911       {
5912         "pin1": {
5913           "compName": "WireCrossPoint#76",
5914           "pinName": ""
5915         },
5916         "pin2": {
5917           "compName": "NandGate#69",
5918           "pinName": "B"
5919         },
5920         "name": "unnamedWire#266",
5921         "path": [
5922           {
5923             "x": 120.0,
5924             "y": 835.0
5925           }
5926         ]
5927       },
5928       {
5929         "pin1": {
5930           "compName": "WireCrossPoint#77",
5931           "pinName": ""
5932         },
5933         "pin2": {
5934           "compName": "NandGate#47",
5935           "pinName": "A"
5936         },
5937         "name": "unnamedWire#267",
5938         "path": []
5939       },
5940       {
5941         "pin1": {
5942           "compName": "WireCrossPoint#19",
5943           "pinName": ""
5944         },
5945         "pin2": {
5946           "compName": "NandGate#54",
5947           "pinName": "A"
5948         },
5949         "name": "unnamedWire#268",
5950         "path": [
5951           {
5952             "x": 380.0,
5953             "y": 735.0
5954           }
5955         ]
5956       },
5957       {
5958         "pin1": {
5959           "compName": "WireCrossPoint#48",
5960           "pinName": ""
5961         },
5962         "pin2": {
5963           "compName": "WireCrossPoint#41",
5964           "pinName": ""
5965         },
5966         "name": "unnamedWire#269",
5967         "path": []
5968       },
5969       {
5970         "pin1": {
5971           "compName": "WireCrossPoint#41",
5972           "pinName": ""
5973         },
5974         "pin2": {
5975           "compName": "WireCrossPoint#92",
5976           "pinName": ""
5977         },
5978         "name": "unnamedWire#270",
5979         "path": []
5980       },
5981       {
5982         "pin1": {
5983           "compName": "WireCrossPoint#81",
5984           "pinName": ""
5985         },
5986         "pin2": {
5987           "compName": "WireCrossPoint#82",
5988           "pinName": ""
5989         },
5990         "name": "unnamedWire#271",
5991         "path": []
5992       },
5993       {
5994         "pin1": {
5995           "compName": "NandGate#40",
5996           "pinName": "Y"
5997         },
5998         "pin2": {
5999           "compName": "WireCrossPoint#82",
6000           "pinName": ""
6001         },
6002         "name": "unnamedWire#272",
6003         "path": [
6004           {
6005             "x": 380.0,
6006             "y": 140.0
6007           }
6008         ]
6009       },
6010       {
6011         "pin1": {
6012           "compName": "WireCrossPoint#43",
6013           "pinName": ""
6014         },
6015         "pin2": {
6016           "compName": "WireCrossPoint#83",
6017           "pinName": ""
6018         },
6019         "name": "unnamedWire#273",
6020         "path": []
6021       },
6022       {
6023         "pin1": {
6024           "compName": "and#3",
6025           "pinName": "B"
6026         },
6027         "pin2": {
6028           "compName": "WireCrossPoint#94",
6029           "pinName": ""
6030         },
6031         "name": "unnamedWire#274",
6032         "path": [
6033           {
6034             "x": 80.0,
6035             "y": 815.0
6036           }
6037         ]
6038       },
6039       {
6040         "pin1": {
6041           "compName": "WireCrossPoint#69",
6042           "pinName": ""
6043         },
6044         "pin2": {
6045           "compName": "WireCrossPoint#85",
6046           "pinName": ""
6047         },
6048         "name": "unnamedWire#275",
6049         "path": []
6050       },
6051       {
6052         "pin1": {
6053           "compName": "WireCrossPoint#72",
6054           "pinName": ""
6055         },
6056         "pin2": {
6057           "compName": "WireCrossPoint#86",
6058           "pinName": ""
6059         },
6060         "name": "unnamedWire#276",
6061         "path": []
6062       },
6063       {
6064         "pin1": {
6065           "compName": "WireCrossPoint#58",
6066           "pinName": ""
6067         },
6068         "pin2": {
6069           "compName": "WireCrossPoint#87",
6070           "pinName": ""
6071         },
6072         "name": "unnamedWire#277",
6073         "path": []
6074       },
6075       {
6076         "pin1": {
6077           "compName": "WireCrossPoint#88",
6078           "pinName": ""
6079         },
6080         "pin2": {
6081           "compName": "WireCrossPoint#17",
6082           "pinName": ""
6083         },
6084         "name": "unnamedWire#278",
6085         "path": []
6086       },
6087       {
6088         "pin1": {
6089           "compName": "WireCrossPoint#89",
6090           "pinName": ""
6091         },
6092         "pin2": {
6093           "compName": "WireCrossPoint#48",
6094           "pinName": ""
6095         },
6096         "name": "unnamedWire#279",
6097         "path": []
6098       },
6099       {
6100         "pin1": {
6101           "compName": "WireCrossPoint#90",
6102           "pinName": ""
6103         },
6104         "pin2": {
6105           "compName": "and#14",
6106           "pinName": "A"
6107         },
6108         "name": "unnamedWire#280",
6109         "path": [
6110           {
6111             "x": 300.0,
6112             "y": 650.0
6113           }
6114         ]
6115       },
6116       {
6117         "pin1": {
6118           "compName": "WireCrossPoint#91",
6119           "pinName": ""
6120         },
6121         "pin2": {
6122           "compName": "NandGate#41",
6123           "pinName": "B"
6124         },
6125         "name": "unnamedWire#281",
6126         "path": [
6127           {
6128             "x": 280.0,
6129             "y": 680.0
6130           }
6131         ]
6132       },
6133       {
6134         "pin1": {
6135           "compName": "WireCrossPoint#92",
6136           "pinName": ""
6137         },
6138         "pin2": {
6139           "compName": "WireCrossPoint#80",
6140           "pinName": ""
6141         },
6142         "name": "unnamedWire#282",
6143         "path": []
6144       },
6145       {
6146         "pin1": {
6147           "compName": "WireCrossPoint#93",
6148           "pinName": ""
6149         },
6150         "pin2": {
6151           "compName": "WireCrossPoint#26",
6152           "pinName": ""
6153         },
6154         "name": "unnamedWire#283",
6155         "path": []
6156       },
6157       {
6158         "pin1": {
6159           "compName": "WireCrossPoint#94",
6160           "pinName": ""
6161         },
6162         "pin2": {
6163           "compName": "and#5",
6164           "pinName": "A"
6165         },
6166         "name": "unnamedWire#284",
6167         "path": []
6168       }
6169     ],
6170     "version": "0.1.1"
6171   },
6172   "symbolRendererSnippetID": "simpleRectangularLike",
6173   "symbolRendererParams": {
6174     "centerText": "Instruction\nPLA",
6175     "centerTextHeight": 5.0,
6176     "horizontalComponentCenter": 40.0,
6177     "pinLabelHeight": 3.5,
6178     "pinLabelMargin": 0.5
6179   },
6180   "outlineRendererSnippetID": "default",
6181   "highLevelStateHandlerSnippetID": "default",
6182   "version": "0.1.5"
6183 }