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