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

   1 {
   2   "width": 80.0,
   3   "height": 85.0,
   4   "interfacePins": [
   5     {
   6       "location": {
   7         "x": 0.0,
   8         "y": 20.0
   9       },
  10       "name": "I",
  11       "logicWidth": 4,
  12       "usage": "INPUT"
  13     },
  14     {
  15       "location": {
  16         "x": 0.0,
  17         "y": 5.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": 80.0,
  35         "y": 15.0
  36       },
  37       "name": "RDEC",
  38       "logicWidth": 1,
  39       "usage": "OUTPUT"
  40     },
  41     {
  42       "location": {
  43         "x": 80.0,
  44         "y": 5.0
  45       },
  46       "name": "RLD",
  47       "logicWidth": 1,
  48       "usage": "OUTPUT"
  49     },
  50     {
  51       "location": {
  52         "x": 80.0,
  53         "y": 65.0
  54       },
  55       "name": "STKI0",
  56       "logicWidth": 1,
  57       "usage": "OUTPUT"
  58     },
  59     {
  60       "location": {
  61         "x": 80.0,
  62         "y": 75.0
  63       },
  64       "name": "STKI1",
  65       "logicWidth": 1,
  66       "usage": "OUTPUT"
  67     },
  68     {
  69       "location": {
  70         "x": 80.0,
  71         "y": 25.0
  72       },
  73       "name": "YD",
  74       "logicWidth": 1,
  75       "usage": "OUTPUT"
  76     },
  77     {
  78       "location": {
  79         "x": 80.0,
  80         "y": 45.0
  81       },
  82       "name": "YF",
  83       "logicWidth": 1,
  84       "usage": "OUTPUT"
  85     },
  86     {
  87       "location": {
  88         "x": 80.0,
  89         "y": 35.0
  90       },
  91       "name": "YR",
  92       "logicWidth": 1,
  93       "usage": "OUTPUT"
  94     },
  95     {
  96       "location": {
  97         "x": 80.0,
  98         "y": 55.0
  99       },
 100       "name": "YmuPC",
 101       "logicWidth": 1,
 102       "usage": "OUTPUT"
 103     },
 104     {
 105       "location": {
 106         "x": 25.0,
 107         "y": 85.0
 108       },
 109       "name": "_MAP",
 110       "logicWidth": 1,
 111       "usage": "OUTPUT"
 112     },
 113     {
 114       "location": {
 115         "x": 15.0,
 116         "y": 85.0
 117       },
 118       "name": "_PL",
 119       "logicWidth": 1,
 120       "usage": "OUTPUT"
 121     },
 122     {
 123       "location": {
 124         "x": 35.0,
 125         "y": 85.0
 126       },
 127       "name": "_VECT",
 128       "logicWidth": 1,
 129       "usage": "OUTPUT"
 130     }
 131   ],
 132   "innerScale": 0.2,
 133   "submodel": {
 134     "components": [
 135       {
 136         "id": "NandGate",
 137         "name": "NandGate#0",
 138         "pos": {
 139           "x": 45.0,
 140           "y": 105.0
 141         },
 142         "params": 1
 143       },
 144       {
 145         "id": "NandGate",
 146         "name": "NandGate#1",
 147         "pos": {
 148           "x": 45.0,
 149           "y": 130.0
 150         },
 151         "params": 1
 152       },
 153       {
 154         "id": "NandGate",
 155         "name": "NandGate#2",
 156         "pos": {
 157           "x": 45.0,
 158           "y": 190.0
 159         },
 160         "params": 1
 161       },
 162       {
 163         "id": "NandGate",
 164         "name": "NandGate#3",
 165         "pos": {
 166           "x": 130.0,
 167           "y": 355.0
 168         },
 169         "params": 1
 170       },
 171       {
 172         "id": "NandGate",
 173         "name": "NandGate#4",
 174         "pos": {
 175           "x": 45.0,
 176           "y": 160.0
 177         },
 178         "params": 1
 179       },
 180       {
 181         "id": "NandGate",
 182         "name": "NandGate#5",
 183         "pos": {
 184           "x": 170.0,
 185           "y": 75.0
 186         },
 187         "params": 1
 188       },
 189       {
 190         "id": "NandGate",
 191         "name": "NandGate#6",
 192         "pos": {
 193           "x": 140.0,
 194           "y": 95.0
 195         },
 196         "params": 1
 197       },
 198       {
 199         "id": "NandGate",
 200         "name": "NandGate#7",
 201         "pos": {
 202           "x": 140.0,
 203           "y": 70.0
 204         },
 205         "params": 1
 206       },
 207       {
 208         "id": "NandGate",
 209         "name": "NandGate#8",
 210         "pos": {
 211           "x": 10.0,
 212           "y": 10.0
 213         },
 214         "params": 1
 215       },
 216       {
 217         "id": "NandGate",
 218         "name": "NandGate#9",
 219         "pos": {
 220           "x": 85.0,
 221           "y": 5.0
 222         },
 223         "params": 1
 224       },
 225       {
 226         "id": "NandGate",
 227         "name": "NandGate#10",
 228         "pos": {
 229           "x": 135.0,
 230           "y": 280.0
 231         },
 232         "params": 1
 233       },
 234       {
 235         "id": "NandGate",
 236         "name": "NandGate#11",
 237         "pos": {
 238           "x": 165.0,
 239           "y": 285.0
 240         },
 241         "params": 1
 242       },
 243       {
 244         "id": "NandGate",
 245         "name": "NandGate#12",
 246         "pos": {
 247           "x": 195.0,
 248           "y": 280.0
 249         },
 250         "params": 1
 251       },
 252       {
 253         "id": "NandGate",
 254         "name": "NandGate#13",
 255         "pos": {
 256           "x": 170.0,
 257           "y": 310.0
 258         },
 259         "params": 1
 260       },
 261       {
 262         "id": "NandGate",
 263         "name": "NandGate#14",
 264         "pos": {
 265           "x": 225.0,
 266           "y": 285.0
 267         },
 268         "params": 1
 269       },
 270       {
 271         "id": "NandGate",
 272         "name": "NandGate#15",
 273         "pos": {
 274           "x": 195.0,
 275           "y": 190.0
 276         },
 277         "params": 1
 278       },
 279       {
 280         "id": "NandGate",
 281         "name": "NandGate#16",
 282         "pos": {
 283           "x": 135.0,
 284           "y": 200.0
 285         },
 286         "params": 1
 287       },
 288       {
 289         "id": "NandGate",
 290         "name": "NandGate#17",
 291         "pos": {
 292           "x": 255.0,
 293           "y": 90.0
 294         },
 295         "params": 1
 296       },
 297       {
 298         "id": "NandGate",
 299         "name": "NandGate#18",
 300         "pos": {
 301           "x": 165.0,
 302           "y": 200.0
 303         },
 304         "params": 1
 305       },
 306       {
 307         "id": "NandGate",
 308         "name": "NandGate#19",
 309         "pos": {
 310           "x": 225.0,
 311           "y": 190.0
 312         },
 313         "params": 1
 314       },
 315       {
 316         "id": "NandGate",
 317         "name": "NandGate#20",
 318         "pos": {
 319           "x": 220.0,
 320           "y": 45.0
 321         },
 322         "params": 1
 323       },
 324       {
 325         "id": "NandGate",
 326         "name": "NandGate#21",
 327         "pos": {
 328           "x": 255.0,
 329           "y": 280.0
 330         },
 331         "params": 1
 332       },
 333       {
 334         "id": "NandGate",
 335         "name": "NandGate#22",
 336         "pos": {
 337           "x": 255.0,
 338           "y": 115.0
 339         },
 340         "params": 1
 341       },
 342       {
 343         "id": "NandGate",
 344         "name": "NandGate#23",
 345         "pos": {
 346           "x": 255.0,
 347           "y": 190.0
 348         },
 349         "params": 1
 350       },
 351       {
 352         "id": "NandGate",
 353         "name": "NandGate#24",
 354         "pos": {
 355           "x": 290.0,
 356           "y": 115.0
 357         },
 358         "params": 1
 359       },
 360       {
 361         "id": "NandGate",
 362         "name": "NandGate#25",
 363         "pos": {
 364           "x": 135.0,
 365           "y": 225.0
 366         },
 367         "params": 1
 368       },
 369       {
 370         "id": "NandGate",
 371         "name": "NandGate#26",
 372         "pos": {
 373           "x": 95.0,
 374           "y": 130.0
 375         },
 376         "params": 1
 377       },
 378       {
 379         "id": "NandGate",
 380         "name": "NandGate#27",
 381         "pos": {
 382           "x": 165.0,
 383           "y": 230.0
 384         },
 385         "params": 1
 386       },
 387       {
 388         "id": "NandGate",
 389         "name": "NandGate#28",
 390         "pos": {
 391           "x": 195.0,
 392           "y": 235.0
 393         },
 394         "params": 1
 395       },
 396       {
 397         "id": "NandGate",
 398         "name": "NandGate#29",
 399         "pos": {
 400           "x": 45.0,
 401           "y": 225.0
 402         },
 403         "params": 1
 404       },
 405       {
 406         "id": "NandGate",
 407         "name": "NandGate#30",
 408         "pos": {
 409           "x": 225.0,
 410           "y": 235.0
 411         },
 412         "params": 1
 413       },
 414       {
 415         "id": "NandGate",
 416         "name": "NandGate#31",
 417         "pos": {
 418           "x": 290.0,
 419           "y": 245.0
 420         },
 421         "params": 1
 422       },
 423       {
 424         "id": "NandGate",
 425         "name": "NandGate#32",
 426         "pos": {
 427           "x": 255.0,
 428           "y": 250.0
 429         },
 430         "params": 1
 431       },
 432       {
 433         "id": "NandGate",
 434         "name": "NandGate#33",
 435         "pos": {
 436           "x": 325.0,
 437           "y": 165.0
 438         },
 439         "params": 1
 440       },
 441       {
 442         "id": "NandGate",
 443         "name": "NandGate#34",
 444         "pos": {
 445           "x": 295.0,
 446           "y": 170.0
 447         },
 448         "params": 1
 449       },
 450       {
 451         "id": "NandGate",
 452         "name": "NandGate#35",
 453         "pos": {
 454           "x": 250.0,
 455           "y": 145.0
 456         },
 457         "params": 1
 458       },
 459       {
 460         "id": "NandGate",
 461         "name": "NandGate#36",
 462         "pos": {
 463           "x": 220.0,
 464           "y": 150.0
 465         },
 466         "params": 1
 467       },
 468       {
 469         "id": "NandGate",
 470         "name": "NandGate#37",
 471         "pos": {
 472           "x": 115.0,
 473           "y": 20.0
 474         },
 475         "params": 1
 476       },
 477       {
 478         "id": "NandGate",
 479         "name": "NandGate#38",
 480         "pos": {
 481           "x": 95.0,
 482           "y": 60.0
 483         },
 484         "params": 1
 485       },
 486       {
 487         "id": "NandGate",
 488         "name": "NandGate#39",
 489         "pos": {
 490           "x": 45.0,
 491           "y": 15.0
 492         },
 493         "params": 1
 494       },
 495       {
 496         "id": "NandGate",
 497         "name": "NandGate#40",
 498         "pos": {
 499           "x": 145.0,
 500           "y": 30.0
 501         },
 502         "params": 1
 503       },
 504       {
 505         "id": "Splitter",
 506         "name": "Splitter#0",
 507         "pos": {
 508           "x": 10.0,
 509           "y": 85.0
 510         },
 511         "params": {
 512           "logicWidth": 4,
 513           "orientation": "RIGHT"
 514         }
 515       },
 516       {
 517         "id": "WireCrossPoint",
 518         "name": "WireCrossPoint#0",
 519         "pos": {
 520           "x": 24.0,
 521           "y": 109.0
 522         },
 523         "params": 1
 524       },
 525       {
 526         "id": "WireCrossPoint",
 527         "name": "WireCrossPoint#1",
 528         "pos": {
 529           "x": 29.0,
 530           "y": 94.0
 531         },
 532         "params": 1
 533       },
 534       {
 535         "id": "WireCrossPoint",
 536         "name": "WireCrossPoint#2",
 537         "pos": {
 538           "x": 34.0,
 539           "y": 359.0
 540         },
 541         "params": 1
 542       },
 543       {
 544         "id": "WireCrossPoint",
 545         "name": "WireCrossPoint#3",
 546         "pos": {
 547           "x": 29.0,
 548           "y": 134.0
 549         },
 550         "params": 1
 551       },
 552       {
 553         "id": "WireCrossPoint",
 554         "name": "WireCrossPoint#4",
 555         "pos": {
 556           "x": 39.0,
 557           "y": 194.0
 558         },
 559         "params": 1
 560       },
 561       {
 562         "id": "WireCrossPoint",
 563         "name": "WireCrossPoint#5",
 564         "pos": {
 565           "x": 124.0,
 566           "y": 344.0
 567         },
 568         "params": 1
 569       },
 570       {
 571         "id": "WireCrossPoint",
 572         "name": "WireCrossPoint#6",
 573         "pos": {
 574           "x": 34.0,
 575           "y": 104.0
 576         },
 577         "params": 1
 578       },
 579       {
 580         "id": "WireCrossPoint",
 581         "name": "WireCrossPoint#7",
 582         "pos": {
 583           "x": 34.0,
 584           "y": 174.0
 585         },
 586         "params": 1
 587       },
 588       {
 589         "id": "WireCrossPoint",
 590         "name": "WireCrossPoint#8",
 591         "pos": {
 592           "x": 34.0,
 593           "y": 164.0
 594         },
 595         "params": 1
 596       },
 597       {
 598         "id": "WireCrossPoint",
 599         "name": "WireCrossPoint#9",
 600         "pos": {
 601           "x": 24.0,
 602           "y": 99.0
 603         },
 604         "params": 1
 605       },
 606       {
 607         "id": "WireCrossPoint",
 608         "name": "WireCrossPoint#10",
 609         "pos": {
 610           "x": 74.0,
 611           "y": 139.0
 612         },
 613         "params": 1
 614       },
 615       {
 616         "id": "WireCrossPoint",
 617         "name": "WireCrossPoint#11",
 618         "pos": {
 619           "x": 24.0,
 620           "y": 84.0
 621         },
 622         "params": 1
 623       },
 624       {
 625         "id": "WireCrossPoint",
 626         "name": "WireCrossPoint#12",
 627         "pos": {
 628           "x": 39.0,
 629           "y": 114.0
 630         },
 631         "params": 1
 632       },
 633       {
 634         "id": "WireCrossPoint",
 635         "name": "WireCrossPoint#13",
 636         "pos": {
 637           "x": 89.0,
 638           "y": 84.0
 639         },
 640         "params": 1
 641       },
 642       {
 643         "id": "WireCrossPoint",
 644         "name": "WireCrossPoint#14",
 645         "pos": {
 646           "x": 79.0,
 647           "y": 164.0
 648         },
 649         "params": 1
 650       },
 651       {
 652         "id": "WireCrossPoint",
 653         "name": "WireCrossPoint#15",
 654         "pos": {
 655           "x": 84.0,
 656           "y": 199.0
 657         },
 658         "params": 1
 659       },
 660       {
 661         "id": "WireCrossPoint",
 662         "name": "WireCrossPoint#16",
 663         "pos": {
 664           "x": 29.0,
 665           "y": 144.0
 666         },
 667         "params": 1
 668       },
 669       {
 670         "id": "WireCrossPoint",
 671         "name": "WireCrossPoint#17",
 672         "pos": {
 673           "x": 39.0,
 674           "y": 19.0
 675         },
 676         "params": 1
 677       },
 678       {
 679         "id": "WireCrossPoint",
 680         "name": "WireCrossPoint#18",
 681         "pos": {
 682           "x": 69.0,
 683           "y": 134.0
 684         },
 685         "params": 1
 686       },
 687       {
 688         "id": "WireCrossPoint",
 689         "name": "WireCrossPoint#19",
 690         "pos": {
 691           "x": 74.0,
 692           "y": 204.0
 693         },
 694         "params": 1
 695       },
 696       {
 697         "id": "WireCrossPoint",
 698         "name": "WireCrossPoint#20",
 699         "pos": {
 700           "x": 24.0,
 701           "y": 119.0
 702         },
 703         "params": 1
 704       },
 705       {
 706         "id": "WireCrossPoint",
 707         "name": "WireCrossPoint#21",
 708         "pos": {
 709           "x": 34.0,
 710           "y": 304.0
 711         },
 712         "params": 1
 713       },
 714       {
 715         "id": "WireCrossPoint",
 716         "name": "WireCrossPoint#22",
 717         "pos": {
 718           "x": 24.0,
 719           "y": 294.0
 720         },
 721         "params": 1
 722       },
 723       {
 724         "id": "WireCrossPoint",
 725         "name": "WireCrossPoint#23",
 726         "pos": {
 727           "x": 39.0,
 728           "y": 204.0
 729         },
 730         "params": 1
 731       },
 732       {
 733         "id": "WireCrossPoint",
 734         "name": "WireCrossPoint#24",
 735         "pos": {
 736           "x": 124.0,
 737           "y": 369.0
 738         },
 739         "params": 1
 740       },
 741       {
 742         "id": "WireCrossPoint",
 743         "name": "WireCrossPoint#25",
 744         "pos": {
 745           "x": 124.0,
 746           "y": 324.0
 747         },
 748         "params": 1
 749       },
 750       {
 751         "id": "WireCrossPoint",
 752         "name": "WireCrossPoint#26",
 753         "pos": {
 754           "x": 129.0,
 755           "y": 304.0
 756         },
 757         "params": 1
 758       },
 759       {
 760         "id": "WireCrossPoint",
 761         "name": "WireCrossPoint#27",
 762         "pos": {
 763           "x": 4.0,
 764           "y": 24.0
 765         },
 766         "params": 1
 767       },
 768       {
 769         "id": "WireCrossPoint",
 770         "name": "WireCrossPoint#28",
 771         "pos": {
 772           "x": 124.0,
 773           "y": 214.0
 774         },
 775         "params": 1
 776       },
 777       {
 778         "id": "WireCrossPoint",
 779         "name": "WireCrossPoint#29",
 780         "pos": {
 781           "x": 74.0,
 782           "y": 284.0
 783         },
 784         "params": 1
 785       },
 786       {
 787         "id": "WireCrossPoint",
 788         "name": "WireCrossPoint#30",
 789         "pos": {
 790           "x": 214.0,
 791           "y": 74.0
 792         },
 793         "params": 1
 794       },
 795       {
 796         "id": "WireCrossPoint",
 797         "name": "WireCrossPoint#31",
 798         "pos": {
 799           "x": 129.0,
 800           "y": 64.0
 801         },
 802         "params": 1
 803       },
 804       {
 805         "id": "WireCrossPoint",
 806         "name": "WireCrossPoint#32",
 807         "pos": {
 808           "x": 134.0,
 809           "y": 154.0
 810         },
 811         "params": 1
 812       },
 813       {
 814         "id": "WireCrossPoint",
 815         "name": "WireCrossPoint#33",
 816         "pos": {
 817           "x": 129.0,
 818           "y": 74.0
 819         },
 820         "params": 1
 821       },
 822       {
 823         "id": "WireCrossPoint",
 824         "name": "WireCrossPoint#34",
 825         "pos": {
 826           "x": 134.0,
 827           "y": 109.0
 828         },
 829         "params": 1
 830       },
 831       {
 832         "id": "WireCrossPoint",
 833         "name": "WireCrossPoint#35",
 834         "pos": {
 835           "x": 34.0,
 836           "y": 89.0
 837         },
 838         "params": 1
 839       },
 840       {
 841         "id": "WireCrossPoint",
 842         "name": "WireCrossPoint#36",
 843         "pos": {
 844           "x": 214.0,
 845           "y": 49.0
 846         },
 847         "params": 1
 848       },
 849       {
 850         "id": "WireCrossPoint",
 851         "name": "WireCrossPoint#37",
 852         "pos": {
 853           "x": 214.0,
 854           "y": 59.0
 855         },
 856         "params": 1
 857       },
 858       {
 859         "id": "WireCrossPoint",
 860         "name": "WireCrossPoint#38",
 861         "pos": {
 862           "x": 249.0,
 863           "y": 199.0
 864         },
 865         "params": 1
 866       },
 867       {
 868         "id": "WireCrossPoint",
 869         "name": "WireCrossPoint#39",
 870         "pos": {
 871           "x": 79.0,
 872           "y": 144.0
 873         },
 874         "params": 1
 875       },
 876       {
 877         "id": "WireCrossPoint",
 878         "name": "WireCrossPoint#40",
 879         "pos": {
 880           "x": 69.0,
 881           "y": 114.0
 882         },
 883         "params": 1
 884       },
 885       {
 886         "id": "WireCrossPoint",
 887         "name": "WireCrossPoint#41",
 888         "pos": {
 889           "x": 129.0,
 890           "y": 269.0
 891         },
 892         "params": 1
 893       },
 894       {
 895         "id": "WireCrossPoint",
 896         "name": "WireCrossPoint#42",
 897         "pos": {
 898           "x": 79.0,
 899           "y": 64.0
 900         },
 901         "params": 1
 902       },
 903       {
 904         "id": "WireCrossPoint",
 905         "name": "WireCrossPoint#43",
 906         "pos": {
 907           "x": 4.0,
 908           "y": 239.0
 909         },
 910         "params": 1
 911       },
 912       {
 913         "id": "WireCrossPoint",
 914         "name": "WireCrossPoint#44",
 915         "pos": {
 916           "x": 24.0,
 917           "y": 229.0
 918         },
 919         "params": 1
 920       },
 921       {
 922         "id": "WireCrossPoint",
 923         "name": "WireCrossPoint#45",
 924         "pos": {
 925           "x": 84.0,
 926           "y": 214.0
 927         },
 928         "params": 1
 929       },
 930       {
 931         "id": "WireCrossPoint",
 932         "name": "WireCrossPoint#46",
 933         "pos": {
 934           "x": 29.0,
 935           "y": 154.0
 936         },
 937         "params": 1
 938       },
 939       {
 940         "id": "WireCrossPoint",
 941         "name": "WireCrossPoint#47",
 942         "pos": {
 943           "x": 214.0,
 944           "y": 104.0
 945         },
 946         "params": 1
 947       },
 948       {
 949         "id": "WireCrossPoint",
 950         "name": "WireCrossPoint#48",
 951         "pos": {
 952           "x": 39.0,
 953           "y": 64.0
 954         },
 955         "params": 1
 956       },
 957       {
 958         "id": "WireCrossPoint",
 959         "name": "WireCrossPoint#49",
 960         "pos": {
 961           "x": 109.0,
 962           "y": 24.0
 963         },
 964         "params": 1
 965       },
 966       {
 967         "id": "WireCrossPoint",
 968         "name": "WireCrossPoint#50",
 969         "pos": {
 970           "x": 109.0,
 971           "y": 14.0
 972         },
 973         "params": 1
 974       },
 975       {
 976         "id": "WireCrossPoint",
 977         "name": "WireCrossPoint#51",
 978         "pos": {
 979           "x": 79.0,
 980           "y": 49.0
 981         },
 982         "params": 1
 983       },
 984       {
 985         "id": "WireCrossPoint",
 986         "name": "WireCrossPoint#52",
 987         "pos": {
 988           "x": 24.0,
 989           "y": 184.0
 990         },
 991         "params": 1
 992       },
 993       {
 994         "id": "WireCrossPoint",
 995         "name": "WireCrossPoint#53",
 996         "pos": {
 997           "x": 79.0,
 998           "y": 169.0
 999         },
1000         "params": 1
1001       },
1002       {
1003         "id": "WireCrossPoint",
1004         "name": "WireCrossPoint#54",
1005         "pos": {
1006           "x": 74.0,
1007           "y": 264.0
1008         },
1009         "params": 1
1010       },
1011       {
1012         "id": "and",
1013         "name": "and#0",
1014         "pos": {
1015           "x": 130.0,
1016           "y": 380.0
1017         }
1018       },
1019       {
1020         "id": "and",
1021         "name": "and#1",
1022         "pos": {
1023           "x": 130.0,
1024           "y": 330.0
1025         }
1026       },
1027       {
1028         "id": "and",
1029         "name": "and#2",
1030         "pos": {
1031           "x": 45.0,
1032           "y": 75.0
1033         }
1034       },
1035       {
1036         "id": "and",
1037         "name": "and#3",
1038         "pos": {
1039           "x": 80.0,
1040           "y": 390.0
1041         }
1042       },
1043       {
1044         "id": "and",
1045         "name": "and#4",
1046         "pos": {
1047           "x": 95.0,
1048           "y": 210.0
1049         }
1050       },
1051       {
1052         "id": "and",
1053         "name": "and#5",
1054         "pos": {
1055           "x": 95.0,
1056           "y": 105.0
1057         }
1058       },
1059       {
1060         "id": "and",
1061         "name": "and#6",
1062         "pos": {
1063           "x": 45.0,
1064           "y": 50.0
1065         }
1066       },
1067       {
1068         "id": "and",
1069         "name": "and#7",
1070         "pos": {
1071           "x": 220.0,
1072           "y": 70.0
1073         }
1074       },
1075       {
1076         "id": "and",
1077         "name": "and#8",
1078         "pos": {
1079           "x": 95.0,
1080           "y": 160.0
1081         }
1082       },
1083       {
1084         "id": "and",
1085         "name": "and#9",
1086         "pos": {
1087           "x": 140.0,
1088           "y": 150.0
1089         }
1090       },
1091       {
1092         "id": "and",
1093         "name": "and#10",
1094         "pos": {
1095           "x": 220.0,
1096           "y": 20.0
1097         }
1098       },
1099       {
1100         "id": "and",
1101         "name": "and#11",
1102         "pos": {
1103           "x": 95.0,
1104           "y": 280.0
1105         }
1106       },
1107       {
1108         "id": "and",
1109         "name": "and#12",
1110         "pos": {
1111           "x": 140.0,
1112           "y": 120.0
1113         }
1114       },
1115       {
1116         "id": "and",
1117         "name": "and#13",
1118         "pos": {
1119           "x": 220.0,
1120           "y": 100.0
1121         }
1122       }
1123     ],
1124     "wires": [
1125       {
1126         "pin1": {
1127           "compName": "Splitter#0",
1128           "pinName": "I"
1129         },
1130         "pin2": {
1131           "compName": "_submodelinterface",
1132           "pinName": "I"
1133         },
1134         "name": "unnamedWire#0",
1135         "path": []
1136       },
1137       {
1138         "pin1": {
1139           "compName": "Splitter#0",
1140           "pinName": "O3"
1141         },
1142         "pin2": {
1143           "compName": "WireCrossPoint#11",
1144           "pinName": ""
1145         },
1146         "name": "unnamedWire#1",
1147         "path": []
1148       },
1149       {
1150         "pin1": {
1151           "compName": "WireCrossPoint#3",
1152           "pinName": ""
1153         },
1154         "pin2": {
1155           "compName": "WireCrossPoint#16",
1156           "pinName": ""
1157         },
1158         "name": "unnamedWire#2",
1159         "path": []
1160       },
1161       {
1162         "pin1": {
1163           "compName": "Splitter#0",
1164           "pinName": "O1"
1165         },
1166         "pin2": {
1167           "compName": "WireCrossPoint#6",
1168           "pinName": ""
1169         },
1170         "name": "unnamedWire#3",
1171         "path": []
1172       },
1173       {
1174         "pin1": {
1175           "compName": "Splitter#0",
1176           "pinName": "O0"
1177         },
1178         "pin2": {
1179           "compName": "WireCrossPoint#12",
1180           "pinName": ""
1181         },
1182         "name": "unnamedWire#4",
1183         "path": []
1184       },
1185       {
1186         "pin1": {
1187           "compName": "WireCrossPoint#0",
1188           "pinName": ""
1189         },
1190         "pin2": {
1191           "compName": "WireCrossPoint#20",
1192           "pinName": ""
1193         },
1194         "name": "unnamedWire#5",
1195         "path": []
1196       },
1197       {
1198         "pin1": {
1199           "compName": "WireCrossPoint#0",
1200           "pinName": ""
1201         },
1202         "pin2": {
1203           "compName": "WireCrossPoint#9",
1204           "pinName": ""
1205         },
1206         "name": "unnamedWire#6",
1207         "path": []
1208       },
1209       {
1210         "pin1": {
1211           "compName": "WireCrossPoint#3",
1212           "pinName": ""
1213         },
1214         "pin2": {
1215           "compName": "WireCrossPoint#1",
1216           "pinName": ""
1217         },
1218         "name": "unnamedWire#7",
1219         "path": []
1220       },
1221       {
1222         "pin1": {
1223           "compName": "WireCrossPoint#4",
1224           "pinName": ""
1225         },
1226         "pin2": {
1227           "compName": "NandGate#2",
1228           "pinName": "A"
1229         },
1230         "name": "unnamedWire#8",
1231         "path": []
1232       },
1233       {
1234         "pin1": {
1235           "compName": "WireCrossPoint#1",
1236           "pinName": ""
1237         },
1238         "pin2": {
1239           "compName": "and#2",
1240           "pinName": "A"
1241         },
1242         "name": "unnamedWire#9",
1243         "path": [
1244           {
1245             "x": 30.0,
1246             "y": 80.0
1247           }
1248         ]
1249       },
1250       {
1251         "pin1": {
1252           "compName": "WireCrossPoint#3",
1253           "pinName": ""
1254         },
1255         "pin2": {
1256           "compName": "NandGate#1",
1257           "pinName": "A"
1258         },
1259         "name": "unnamedWire#10",
1260         "path": []
1261       },
1262       {
1263         "pin1": {
1264           "compName": "Splitter#0",
1265           "pinName": "O2"
1266         },
1267         "pin2": {
1268           "compName": "WireCrossPoint#1",
1269           "pinName": ""
1270         },
1271         "name": "unnamedWire#11",
1272         "path": []
1273       },
1274       {
1275         "pin1": {
1276           "compName": "WireCrossPoint#2",
1277           "pinName": ""
1278         },
1279         "pin2": {
1280           "compName": "NandGate#3",
1281           "pinName": "A"
1282         },
1283         "name": "unnamedWire#12",
1284         "path": []
1285       },
1286       {
1287         "pin1": {
1288           "compName": "NandGate#2",
1289           "pinName": "Y"
1290         },
1291         "pin2": {
1292           "compName": "WireCrossPoint#15",
1293           "pinName": ""
1294         },
1295         "name": "unnamedWire#13",
1296         "path": []
1297       },
1298       {
1299         "pin1": {
1300           "compName": "WireCrossPoint#5",
1301           "pinName": ""
1302         },
1303         "pin2": {
1304           "compName": "WireCrossPoint#24",
1305           "pinName": ""
1306         },
1307         "name": "unnamedWire#14",
1308         "path": []
1309       },
1310       {
1311         "pin1": {
1312           "compName": "WireCrossPoint#4",
1313           "pinName": ""
1314         },
1315         "pin2": {
1316           "compName": "WireCrossPoint#23",
1317           "pinName": ""
1318         },
1319         "name": "unnamedWire#15",
1320         "path": []
1321       },
1322       {
1323         "pin1": {
1324           "compName": "NandGate#0",
1325           "pinName": "Y"
1326         },
1327         "pin2": {
1328           "compName": "WireCrossPoint#40",
1329           "pinName": ""
1330         },
1331         "name": "unnamedWire#16",
1332         "path": []
1333       },
1334       {
1335         "pin1": {
1336           "compName": "NandGate#1",
1337           "pinName": "Y"
1338         },
1339         "pin2": {
1340           "compName": "WireCrossPoint#10",
1341           "pinName": ""
1342         },
1343         "name": "unnamedWire#17",
1344         "path": []
1345       },
1346       {
1347         "pin1": {
1348           "compName": "WireCrossPoint#2",
1349           "pinName": ""
1350         },
1351         "pin2": {
1352           "compName": "and#3",
1353           "pinName": "A"
1354         },
1355         "name": "unnamedWire#18",
1356         "path": [
1357           {
1358             "x": 35.0,
1359             "y": 395.0
1360           }
1361         ]
1362       },
1363       {
1364         "pin1": {
1365           "compName": "and#4",
1366           "pinName": "Y"
1367         },
1368         "pin2": {
1369           "compName": "WireCrossPoint#28",
1370           "pinName": ""
1371         },
1372         "name": "unnamedWire#19",
1373         "path": []
1374       },
1375       {
1376         "pin1": {
1377           "compName": "WireCrossPoint#5",
1378           "pinName": ""
1379         },
1380         "pin2": {
1381           "compName": "and#1",
1382           "pinName": "B"
1383         },
1384         "name": "unnamedWire#20",
1385         "path": []
1386       },
1387       {
1388         "pin1": {
1389           "compName": "and#3",
1390           "pinName": "Y"
1391         },
1392         "pin2": {
1393           "compName": "and#0",
1394           "pinName": "B"
1395         },
1396         "name": "unnamedWire#21",
1397         "path": []
1398       },
1399       {
1400         "pin1": {
1401           "compName": "and#0",
1402           "pinName": "Y"
1403         },
1404         "pin2": {
1405           "compName": "_submodelinterface",
1406           "pinName": "_MAP"
1407         },
1408         "name": "unnamedWire#22",
1409         "path": [
1410           {
1411             "x": 165.0,
1412             "y": 385.0
1413           },
1414           {
1415             "x": 165.0,
1416             "y": 420.0
1417           },
1418           {
1419             "x": 125.0,
1420             "y": 420.0
1421           }
1422         ]
1423       },
1424       {
1425         "pin1": {
1426           "compName": "and#2",
1427           "pinName": "Y"
1428         },
1429         "pin2": {
1430           "compName": "WireCrossPoint#13",
1431           "pinName": ""
1432         },
1433         "name": "unnamedWire#23",
1434         "path": [
1435           {
1436             "x": 90.0,
1437             "y": 80.0
1438           }
1439         ]
1440       },
1441       {
1442         "pin1": {
1443           "compName": "and#1",
1444           "pinName": "Y"
1445         },
1446         "pin2": {
1447           "compName": "_submodelinterface",
1448           "pinName": "_VECT"
1449         },
1450         "name": "unnamedWire#24",
1451         "path": [
1452           {
1453             "x": 175.0,
1454             "y": 335.0
1455           }
1456         ]
1457       },
1458       {
1459         "pin1": {
1460           "compName": "WireCrossPoint#6",
1461           "pinName": ""
1462         },
1463         "pin2": {
1464           "compName": "WireCrossPoint#35",
1465           "pinName": ""
1466         },
1467         "name": "unnamedWire#25",
1468         "path": []
1469       },
1470       {
1471         "pin1": {
1472           "compName": "WireCrossPoint#24",
1473           "pinName": ""
1474         },
1475         "pin2": {
1476           "compName": "NandGate#3",
1477           "pinName": "B"
1478         },
1479         "name": "unnamedWire#26",
1480         "path": []
1481       },
1482       {
1483         "pin1": {
1484           "compName": "WireCrossPoint#7",
1485           "pinName": ""
1486         },
1487         "pin2": {
1488           "compName": "WireCrossPoint#21",
1489           "pinName": ""
1490         },
1491         "name": "unnamedWire#27",
1492         "path": []
1493       },
1494       {
1495         "pin1": {
1496           "compName": "NandGate#3",
1497           "pinName": "Y"
1498         },
1499         "pin2": {
1500           "compName": "_submodelinterface",
1501           "pinName": "_PL"
1502         },
1503         "name": "unnamedWire#28",
1504         "path": [
1505           {
1506             "x": 160.0,
1507             "y": 365.0
1508           },
1509           {
1510             "x": 160.0,
1511             "y": 415.0
1512           },
1513           {
1514             "x": 75.0,
1515             "y": 415.0
1516           }
1517         ]
1518       },
1519       {
1520         "pin1": {
1521           "compName": "WireCrossPoint#8",
1522           "pinName": ""
1523         },
1524         "pin2": {
1525           "compName": "WireCrossPoint#7",
1526           "pinName": ""
1527         },
1528         "name": "unnamedWire#29",
1529         "path": []
1530       },
1531       {
1532         "pin1": {
1533           "compName": "_submodelinterface",
1534           "pinName": "R\u003d0"
1535         },
1536         "pin2": {
1537           "compName": "WireCrossPoint#36",
1538           "pinName": ""
1539         },
1540         "name": "unnamedWire#30",
1541         "path": [
1542           {
1543             "x": 200.0,
1544             "y": 10.0
1545           },
1546           {
1547             "x": 215.0,
1548             "y": 10.0
1549           }
1550         ]
1551       },
1552       {
1553         "pin1": {
1554           "compName": "WireCrossPoint#6",
1555           "pinName": ""
1556         },
1557         "pin2": {
1558           "compName": "WireCrossPoint#8",
1559           "pinName": ""
1560         },
1561         "name": "unnamedWire#31",
1562         "path": []
1563       },
1564       {
1565         "pin1": {
1566           "compName": "WireCrossPoint#7",
1567           "pinName": ""
1568         },
1569         "pin2": {
1570           "compName": "NandGate#4",
1571           "pinName": "B"
1572         },
1573         "name": "unnamedWire#32",
1574         "path": []
1575       },
1576       {
1577         "pin1": {
1578           "compName": "WireCrossPoint#8",
1579           "pinName": ""
1580         },
1581         "pin2": {
1582           "compName": "NandGate#4",
1583           "pinName": "A"
1584         },
1585         "name": "unnamedWire#33",
1586         "path": []
1587       },
1588       {
1589         "pin1": {
1590           "compName": "NandGate#4",
1591           "pinName": "Y"
1592         },
1593         "pin2": {
1594           "compName": "WireCrossPoint#53",
1595           "pinName": ""
1596         },
1597         "name": "unnamedWire#34",
1598         "path": []
1599       },
1600       {
1601         "pin1": {
1602           "compName": "WireCrossPoint#0",
1603           "pinName": ""
1604         },
1605         "pin2": {
1606           "compName": "NandGate#0",
1607           "pinName": "A"
1608         },
1609         "name": "unnamedWire#35",
1610         "path": []
1611       },
1612       {
1613         "pin1": {
1614           "compName": "WireCrossPoint#10",
1615           "pinName": ""
1616         },
1617         "pin2": {
1618           "compName": "and#5",
1619           "pinName": "A"
1620         },
1621         "name": "unnamedWire#36",
1622         "path": [
1623           {
1624             "x": 75.0,
1625             "y": 110.0
1626           }
1627         ]
1628       },
1629       {
1630         "pin1": {
1631           "compName": "and#5",
1632           "pinName": "Y"
1633         },
1634         "pin2": {
1635           "compName": "WireCrossPoint#34",
1636           "pinName": ""
1637         },
1638         "name": "unnamedWire#37",
1639         "path": []
1640       },
1641       {
1642         "pin1": {
1643           "compName": "WireCrossPoint#10",
1644           "pinName": ""
1645         },
1646         "pin2": {
1647           "compName": "WireCrossPoint#19",
1648           "pinName": ""
1649         },
1650         "name": "unnamedWire#38",
1651         "path": []
1652       },
1653       {
1654         "pin1": {
1655           "compName": "WireCrossPoint#9",
1656           "pinName": ""
1657         },
1658         "pin2": {
1659           "compName": "WireCrossPoint#11",
1660           "pinName": ""
1661         },
1662         "name": "unnamedWire#39",
1663         "path": []
1664       },
1665       {
1666         "pin1": {
1667           "compName": "NandGate#6",
1668           "pinName": "Y"
1669         },
1670         "pin2": {
1671           "compName": "NandGate#5",
1672           "pinName": "B"
1673         },
1674         "name": "unnamedWire#40",
1675         "path": [
1676           {
1677             "x": 165.0,
1678             "y": 105.0
1679           },
1680           {
1681             "x": 165.0,
1682             "y": 90.0
1683           }
1684         ]
1685       },
1686       {
1687         "pin1": {
1688           "compName": "NandGate#7",
1689           "pinName": "Y"
1690         },
1691         "pin2": {
1692           "compName": "NandGate#5",
1693           "pinName": "A"
1694         },
1695         "name": "unnamedWire#41",
1696         "path": []
1697       },
1698       {
1699         "pin1": {
1700           "compName": "and#7",
1701           "pinName": "Y"
1702         },
1703         "pin2": {
1704           "compName": "_submodelinterface",
1705           "pinName": "RDEC"
1706         },
1707         "name": "unnamedWire#42",
1708         "path": []
1709       },
1710       {
1711         "pin1": {
1712           "compName": "and#7",
1713           "pinName": "B"
1714         },
1715         "pin2": {
1716           "compName": "NandGate#5",
1717           "pinName": "Y"
1718         },
1719         "name": "unnamedWire#43",
1720         "path": []
1721       },
1722       {
1723         "pin1": {
1724           "compName": "WireCrossPoint#9",
1725           "pinName": ""
1726         },
1727         "pin2": {
1728           "compName": "NandGate#6",
1729           "pinName": "A"
1730         },
1731         "name": "unnamedWire#44",
1732         "path": []
1733       },
1734       {
1735         "pin1": {
1736           "compName": "WireCrossPoint#11",
1737           "pinName": ""
1738         },
1739         "pin2": {
1740           "compName": "and#6",
1741           "pinName": "A"
1742         },
1743         "name": "unnamedWire#45",
1744         "path": [
1745           {
1746             "x": 25.0,
1747             "y": 55.0
1748           }
1749         ]
1750       },
1751       {
1752         "pin1": {
1753           "compName": "WireCrossPoint#12",
1754           "pinName": ""
1755         },
1756         "pin2": {
1757           "compName": "WireCrossPoint#4",
1758           "pinName": ""
1759         },
1760         "name": "unnamedWire#46",
1761         "path": []
1762       },
1763       {
1764         "pin1": {
1765           "compName": "WireCrossPoint#12",
1766           "pinName": ""
1767         },
1768         "pin2": {
1769           "compName": "WireCrossPoint#48",
1770           "pinName": ""
1771         },
1772         "name": "unnamedWire#47",
1773         "path": []
1774       },
1775       {
1776         "pin1": {
1777           "compName": "WireCrossPoint#13",
1778           "pinName": ""
1779         },
1780         "pin2": {
1781           "compName": "and#1",
1782           "pinName": "A"
1783         },
1784         "name": "unnamedWire#48",
1785         "path": [
1786           {
1787             "x": 90.0,
1788             "y": 335.0
1789           }
1790         ]
1791       },
1792       {
1793         "pin1": {
1794           "compName": "WireCrossPoint#13",
1795           "pinName": ""
1796         },
1797         "pin2": {
1798           "compName": "NandGate#7",
1799           "pinName": "B"
1800         },
1801         "name": "unnamedWire#49",
1802         "path": []
1803       },
1804       {
1805         "pin1": {
1806           "compName": "and#6",
1807           "pinName": "Y"
1808         },
1809         "pin2": {
1810           "compName": "WireCrossPoint#31",
1811           "pinName": ""
1812         },
1813         "name": "unnamedWire#50",
1814         "path": [
1815           {
1816             "x": 130.0,
1817             "y": 55.0
1818           }
1819         ]
1820       },
1821       {
1822         "pin1": {
1823           "compName": "WireCrossPoint#14",
1824           "pinName": ""
1825         },
1826         "pin2": {
1827           "compName": "WireCrossPoint#39",
1828           "pinName": ""
1829         },
1830         "name": "unnamedWire#51",
1831         "path": []
1832       },
1833       {
1834         "pin1": {
1835           "compName": "WireCrossPoint#14",
1836           "pinName": ""
1837         },
1838         "pin2": {
1839           "compName": "and#8",
1840           "pinName": "A"
1841         },
1842         "name": "unnamedWire#52",
1843         "path": []
1844       },
1845       {
1846         "pin1": {
1847           "compName": "WireCrossPoint#45",
1848           "pinName": ""
1849         },
1850         "pin2": {
1851           "compName": "and#4",
1852           "pinName": "A"
1853         },
1854         "name": "unnamedWire#53",
1855         "path": []
1856       },
1857       {
1858         "pin1": {
1859           "compName": "WireCrossPoint#15",
1860           "pinName": ""
1861         },
1862         "pin2": {
1863           "compName": "and#8",
1864           "pinName": "B"
1865         },
1866         "name": "unnamedWire#54",
1867         "path": [
1868           {
1869             "x": 85.0,
1870             "y": 175.0
1871           }
1872         ]
1873       },
1874       {
1875         "pin1": {
1876           "compName": "WireCrossPoint#16",
1877           "pinName": ""
1878         },
1879         "pin2": {
1880           "compName": "NandGate#1",
1881           "pinName": "B"
1882         },
1883         "name": "unnamedWire#55",
1884         "path": []
1885       },
1886       {
1887         "pin1": {
1888           "compName": "and#8",
1889           "pinName": "Y"
1890         },
1891         "pin2": {
1892           "compName": "and#9",
1893           "pinName": "B"
1894         },
1895         "name": "unnamedWire#56",
1896         "path": []
1897       },
1898       {
1899         "pin1": {
1900           "compName": "WireCrossPoint#16",
1901           "pinName": ""
1902         },
1903         "pin2": {
1904           "compName": "WireCrossPoint#46",
1905           "pinName": ""
1906         },
1907         "name": "unnamedWire#57",
1908         "path": []
1909       },
1910       {
1911         "pin1": {
1912           "compName": "_submodelinterface",
1913           "pinName": "PASS"
1914         },
1915         "pin2": {
1916           "compName": "WireCrossPoint#27",
1917           "pinName": ""
1918         },
1919         "name": "unnamedWire#58",
1920         "path": []
1921       },
1922       {
1923         "pin1": {
1924           "compName": "WireCrossPoint#27",
1925           "pinName": ""
1926         },
1927         "pin2": {
1928           "compName": "NandGate#8",
1929           "pinName": "B"
1930         },
1931         "name": "unnamedWire#59",
1932         "path": []
1933       },
1934       {
1935         "pin1": {
1936           "compName": "WireCrossPoint#27",
1937           "pinName": ""
1938         },
1939         "pin2": {
1940           "compName": "NandGate#8",
1941           "pinName": "A"
1942         },
1943         "name": "unnamedWire#60",
1944         "path": [
1945           {
1946             "x": 5.0,
1947             "y": 15.0
1948           }
1949         ]
1950       },
1951       {
1952         "pin1": {
1953           "compName": "WireCrossPoint#18",
1954           "pinName": ""
1955         },
1956         "pin2": {
1957           "compName": "and#4",
1958           "pinName": "B"
1959         },
1960         "name": "unnamedWire#61",
1961         "path": [
1962           {
1963             "x": 70.0,
1964             "y": 225.0
1965           }
1966         ]
1967       },
1968       {
1969         "pin1": {
1970           "compName": "WireCrossPoint#17",
1971           "pinName": ""
1972         },
1973         "pin2": {
1974           "compName": "NandGate#39",
1975           "pinName": "A"
1976         },
1977         "name": "unnamedWire#62",
1978         "path": []
1979       },
1980       {
1981         "pin1": {
1982           "compName": "WireCrossPoint#18",
1983           "pinName": ""
1984         },
1985         "pin2": {
1986           "compName": "WireCrossPoint#40",
1987           "pinName": ""
1988         },
1989         "name": "unnamedWire#63",
1990         "path": []
1991       },
1992       {
1993         "pin1": {
1994           "compName": "and#10",
1995           "pinName": "Y"
1996         },
1997         "pin2": {
1998           "compName": "_submodelinterface",
1999           "pinName": "RLD"
2000         },
2001         "name": "unnamedWire#64",
2002         "path": []
2003       },
2004       {
2005         "pin1": {
2006           "compName": "NandGate#9",
2007           "pinName": "Y"
2008         },
2009         "pin2": {
2010           "compName": "WireCrossPoint#50",
2011           "pinName": ""
2012         },
2013         "name": "unnamedWire#65",
2014         "path": []
2015       },
2016       {
2017         "pin1": {
2018           "compName": "and#10",
2019           "pinName": "B"
2020         },
2021         "pin2": {
2022           "compName": "and#9",
2023           "pinName": "Y"
2024         },
2025         "name": "unnamedWire#66",
2026         "path": [
2027           {
2028             "x": 195.0,
2029             "y": 35.0
2030           },
2031           {
2032             "x": 195.0,
2033             "y": 155.0
2034           }
2035         ]
2036       },
2037       {
2038         "pin1": {
2039           "compName": "WireCrossPoint#54",
2040           "pinName": ""
2041         },
2042         "pin2": {
2043           "compName": "WireCrossPoint#29",
2044           "pinName": ""
2045         },
2046         "name": "unnamedWire#67",
2047         "path": []
2048       },
2049       {
2050         "pin1": {
2051           "compName": "WireCrossPoint#29",
2052           "pinName": ""
2053         },
2054         "pin2": {
2055           "compName": "and#11",
2056           "pinName": "A"
2057         },
2058         "name": "unnamedWire#68",
2059         "path": []
2060       },
2061       {
2062         "pin1": {
2063           "compName": "WireCrossPoint#20",
2064           "pinName": ""
2065         },
2066         "pin2": {
2067           "compName": "NandGate#0",
2068           "pinName": "B"
2069         },
2070         "name": "unnamedWire#69",
2071         "path": []
2072       },
2073       {
2074         "pin1": {
2075           "compName": "WireCrossPoint#20",
2076           "pinName": ""
2077         },
2078         "pin2": {
2079           "compName": "WireCrossPoint#52",
2080           "pinName": ""
2081         },
2082         "name": "unnamedWire#70",
2083         "path": []
2084       },
2085       {
2086         "pin1": {
2087           "compName": "and#11",
2088           "pinName": "Y"
2089         },
2090         "pin2": {
2091           "compName": "NandGate#10",
2092           "pinName": "A"
2093         },
2094         "name": "unnamedWire#71",
2095         "path": []
2096       },
2097       {
2098         "pin1": {
2099           "compName": "WireCrossPoint#21",
2100           "pinName": ""
2101         },
2102         "pin2": {
2103           "compName": "WireCrossPoint#26",
2104           "pinName": ""
2105         },
2106         "name": "unnamedWire#72",
2107         "path": []
2108       },
2109       {
2110         "pin1": {
2111           "compName": "WireCrossPoint#21",
2112           "pinName": ""
2113         },
2114         "pin2": {
2115           "compName": "WireCrossPoint#2",
2116           "pinName": ""
2117         },
2118         "name": "unnamedWire#73",
2119         "path": []
2120       },
2121       {
2122         "pin1": {
2123           "compName": "NandGate#10",
2124           "pinName": "Y"
2125         },
2126         "pin2": {
2127           "compName": "NandGate#11",
2128           "pinName": "A"
2129         },
2130         "name": "unnamedWire#74",
2131         "path": []
2132       },
2133       {
2134         "pin1": {
2135           "compName": "WireCrossPoint#22",
2136           "pinName": ""
2137         },
2138         "pin2": {
2139           "compName": "NandGate#11",
2140           "pinName": "B"
2141         },
2142         "name": "unnamedWire#75",
2143         "path": [
2144           {
2145             "x": 25.0,
2146             "y": 310.0
2147           },
2148           {
2149             "x": 160.0,
2150             "y": 310.0
2151           },
2152           {
2153             "x": 160.0,
2154             "y": 300.0
2155           }
2156         ]
2157       },
2158       {
2159         "pin1": {
2160           "compName": "WireCrossPoint#22",
2161           "pinName": ""
2162         },
2163         "pin2": {
2164           "compName": "and#11",
2165           "pinName": "B"
2166         },
2167         "name": "unnamedWire#76",
2168         "path": []
2169       },
2170       {
2171         "pin1": {
2172           "compName": "WireCrossPoint#23",
2173           "pinName": ""
2174         },
2175         "pin2": {
2176           "compName": "NandGate#2",
2177           "pinName": "B"
2178         },
2179         "name": "unnamedWire#77",
2180         "path": []
2181       },
2182       {
2183         "pin1": {
2184           "compName": "WireCrossPoint#23",
2185           "pinName": ""
2186         },
2187         "pin2": {
2188           "compName": "NandGate#12",
2189           "pinName": "A"
2190         },
2191         "name": "unnamedWire#78",
2192         "path": [
2193           {
2194             "x": 40.0,
2195             "y": 275.0
2196           },
2197           {
2198             "x": 190.0,
2199             "y": 275.0
2200           },
2201           {
2202             "x": 190.0,
2203             "y": 285.0
2204           }
2205         ]
2206       },
2207       {
2208         "pin1": {
2209           "compName": "NandGate#11",
2210           "pinName": "Y"
2211         },
2212         "pin2": {
2213           "compName": "NandGate#12",
2214           "pinName": "B"
2215         },
2216         "name": "unnamedWire#79",
2217         "path": []
2218       },
2219       {
2220         "pin1": {
2221           "compName": "WireCrossPoint#24",
2222           "pinName": ""
2223         },
2224         "pin2": {
2225           "compName": "and#0",
2226           "pinName": "A"
2227         },
2228         "name": "unnamedWire#80",
2229         "path": [
2230           {
2231             "x": 125.0,
2232             "y": 385.0
2233           }
2234         ]
2235       },
2236       {
2237         "pin1": {
2238           "compName": "NandGate#12",
2239           "pinName": "Y"
2240         },
2241         "pin2": {
2242           "compName": "NandGate#14",
2243           "pinName": "A"
2244         },
2245         "name": "unnamedWire#81",
2246         "path": []
2247       },
2248       {
2249         "pin1": {
2250           "compName": "NandGate#14",
2251           "pinName": "B"
2252         },
2253         "pin2": {
2254           "compName": "NandGate#13",
2255           "pinName": "Y"
2256         },
2257         "name": "unnamedWire#82",
2258         "path": [
2259           {
2260             "x": 220.0,
2261             "y": 300.0
2262           },
2263           {
2264             "x": 220.0,
2265             "y": 320.0
2266           }
2267         ]
2268       },
2269       {
2270         "pin1": {
2271           "compName": "WireCrossPoint#25",
2272           "pinName": ""
2273         },
2274         "pin2": {
2275           "compName": "WireCrossPoint#5",
2276           "pinName": ""
2277         },
2278         "name": "unnamedWire#83",
2279         "path": []
2280       },
2281       {
2282         "pin1": {
2283           "compName": "WireCrossPoint#25",
2284           "pinName": ""
2285         },
2286         "pin2": {
2287           "compName": "NandGate#13",
2288           "pinName": "B"
2289         },
2290         "name": "unnamedWire#84",
2291         "path": []
2292       },
2293       {
2294         "pin1": {
2295           "compName": "WireCrossPoint#26",
2296           "pinName": ""
2297         },
2298         "pin2": {
2299           "compName": "NandGate#10",
2300           "pinName": "B"
2301         },
2302         "name": "unnamedWire#85",
2303         "path": [
2304           {
2305             "x": 130.0,
2306             "y": 295.0
2307           }
2308         ]
2309       },
2310       {
2311         "pin1": {
2312           "compName": "WireCrossPoint#26",
2313           "pinName": ""
2314         },
2315         "pin2": {
2316           "compName": "NandGate#13",
2317           "pinName": "A"
2318         },
2319         "name": "unnamedWire#86",
2320         "path": [
2321           {
2322             "x": 130.0,
2323             "y": 315.0
2324           }
2325         ]
2326       },
2327       {
2328         "pin1": {
2329           "compName": "WireCrossPoint#35",
2330           "pinName": ""
2331         },
2332         "pin2": {
2333           "compName": "and#2",
2334           "pinName": "B"
2335         },
2336         "name": "unnamedWire#87",
2337         "path": []
2338       },
2339       {
2340         "pin1": {
2341           "compName": "WireCrossPoint#27",
2342           "pinName": ""
2343         },
2344         "pin2": {
2345           "compName": "WireCrossPoint#43",
2346           "pinName": ""
2347         },
2348         "name": "unnamedWire#88",
2349         "path": []
2350       },
2351       {
2352         "pin1": {
2353           "compName": "NandGate#14",
2354           "pinName": "Y"
2355         },
2356         "pin2": {
2357           "compName": "NandGate#21",
2358           "pinName": "B"
2359         },
2360         "name": "unnamedWire#89",
2361         "path": []
2362       },
2363       {
2364         "pin1": {
2365           "compName": "WireCrossPoint#28",
2366           "pinName": ""
2367         },
2368         "pin2": {
2369           "compName": "WireCrossPoint#25",
2370           "pinName": ""
2371         },
2372         "name": "unnamedWire#90",
2373         "path": []
2374       },
2375       {
2376         "pin1": {
2377           "compName": "NandGate#24",
2378           "pinName": "Y"
2379         },
2380         "pin2": {
2381           "compName": "_submodelinterface",
2382           "pinName": "YD"
2383         },
2384         "name": "unnamedWire#91",
2385         "path": []
2386       },
2387       {
2388         "pin1": {
2389           "compName": "WireCrossPoint#29",
2390           "pinName": ""
2391         },
2392         "pin2": {
2393           "compName": "and#3",
2394           "pinName": "B"
2395         },
2396         "name": "unnamedWire#92",
2397         "path": [
2398           {
2399             "x": 75.0,
2400             "y": 405.0
2401           }
2402         ]
2403       },
2404       {
2405         "pin1": {
2406           "compName": "WireCrossPoint#19",
2407           "pinName": ""
2408         },
2409         "pin2": {
2410           "compName": "NandGate#16",
2411           "pinName": "A"
2412         },
2413         "name": "unnamedWire#93",
2414         "path": []
2415       },
2416       {
2417         "pin1": {
2418           "compName": "WireCrossPoint#31",
2419           "pinName": ""
2420         },
2421         "pin2": {
2422           "compName": "NandGate#17",
2423           "pinName": "A"
2424         },
2425         "name": "unnamedWire#94",
2426         "path": [
2427           {
2428             "x": 205.0,
2429             "y": 65.0
2430           },
2431           {
2432             "x": 205.0,
2433             "y": 95.0
2434           }
2435         ]
2436       },
2437       {
2438         "pin1": {
2439           "compName": "WireCrossPoint#30",
2440           "pinName": ""
2441         },
2442         "pin2": {
2443           "compName": "WireCrossPoint#47",
2444           "pinName": ""
2445         },
2446         "name": "unnamedWire#95",
2447         "path": []
2448       },
2449       {
2450         "pin1": {
2451           "compName": "WireCrossPoint#32",
2452           "pinName": ""
2453         },
2454         "pin2": {
2455           "compName": "and#13",
2456           "pinName": "B"
2457         },
2458         "name": "unnamedWire#96",
2459         "path": [
2460           {
2461             "x": 135.0,
2462             "y": 145.0
2463           },
2464           {
2465             "x": 175.0,
2466             "y": 145.0
2467           },
2468           {
2469             "x": 175.0,
2470             "y": 115.0
2471           }
2472         ]
2473       },
2474       {
2475         "pin1": {
2476           "compName": "and#13",
2477           "pinName": "Y"
2478         },
2479         "pin2": {
2480           "compName": "NandGate#17",
2481           "pinName": "B"
2482         },
2483         "name": "unnamedWire#97",
2484         "path": []
2485       },
2486       {
2487         "pin1": {
2488           "compName": "WireCrossPoint#32",
2489           "pinName": ""
2490         },
2491         "pin2": {
2492           "compName": "and#9",
2493           "pinName": "A"
2494         },
2495         "name": "unnamedWire#98",
2496         "path": []
2497       },
2498       {
2499         "pin1": {
2500           "compName": "WireCrossPoint#30",
2501           "pinName": ""
2502         },
2503         "pin2": {
2504           "compName": "and#7",
2505           "pinName": "A"
2506         },
2507         "name": "unnamedWire#99",
2508         "path": []
2509       },
2510       {
2511         "pin1": {
2512           "compName": "WireCrossPoint#31",
2513           "pinName": ""
2514         },
2515         "pin2": {
2516           "compName": "WireCrossPoint#33",
2517           "pinName": ""
2518         },
2519         "name": "unnamedWire#100",
2520         "path": []
2521       },
2522       {
2523         "pin1": {
2524           "compName": "NandGate#17",
2525           "pinName": "Y"
2526         },
2527         "pin2": {
2528           "compName": "NandGate#18",
2529           "pinName": "A"
2530         },
2531         "name": "unnamedWire#101",
2532         "path": [
2533           {
2534             "x": 280.0,
2535             "y": 100.0
2536           },
2537           {
2538             "x": 280.0,
2539             "y": 180.0
2540           },
2541           {
2542             "x": 160.0,
2543             "y": 180.0
2544           },
2545           {
2546             "x": 160.0,
2547             "y": 205.0
2548           }
2549         ]
2550       },
2551       {
2552         "pin1": {
2553           "compName": "NandGate#16",
2554           "pinName": "Y"
2555         },
2556         "pin2": {
2557           "compName": "NandGate#18",
2558           "pinName": "B"
2559         },
2560         "name": "unnamedWire#102",
2561         "path": [
2562           {
2563             "x": 160.0,
2564             "y": 210.0
2565           },
2566           {
2567             "x": 160.0,
2568             "y": 215.0
2569           }
2570         ]
2571       },
2572       {
2573         "pin1": {
2574           "compName": "WireCrossPoint#35",
2575           "pinName": ""
2576         },
2577         "pin2": {
2578           "compName": "NandGate#39",
2579           "pinName": "B"
2580         },
2581         "name": "unnamedWire#103",
2582         "path": [
2583           {
2584             "x": 35.0,
2585             "y": 30.0
2586           }
2587         ]
2588       },
2589       {
2590         "pin1": {
2591           "compName": "NandGate#8",
2592           "pinName": "Y"
2593         },
2594         "pin2": {
2595           "compName": "WireCrossPoint#17",
2596           "pinName": ""
2597         },
2598         "name": "unnamedWire#104",
2599         "path": []
2600       },
2601       {
2602         "pin1": {
2603           "compName": "NandGate#38",
2604           "pinName": "Y"
2605         },
2606         "pin2": {
2607           "compName": "NandGate#15",
2608           "pinName": "A"
2609         },
2610         "name": "unnamedWire#105",
2611         "path": [
2612           {
2613             "x": 125.0,
2614             "y": 70.0
2615           },
2616           {
2617             "x": 125.0,
2618             "y": 195.0
2619           }
2620         ]
2621       },
2622       {
2623         "pin1": {
2624           "compName": "NandGate#18",
2625           "pinName": "Y"
2626         },
2627         "pin2": {
2628           "compName": "NandGate#15",
2629           "pinName": "B"
2630         },
2631         "name": "unnamedWire#106",
2632         "path": [
2633           {
2634             "x": 190.0,
2635             "y": 210.0
2636           },
2637           {
2638             "x": 190.0,
2639             "y": 205.0
2640           }
2641         ]
2642       },
2643       {
2644         "pin1": {
2645           "compName": "NandGate#19",
2646           "pinName": "A"
2647         },
2648         "pin2": {
2649           "compName": "NandGate#15",
2650           "pinName": "Y"
2651         },
2652         "name": "unnamedWire#107",
2653         "path": [
2654           {
2655             "x": 220.0,
2656             "y": 195.0
2657           },
2658           {
2659             "x": 220.0,
2660             "y": 200.0
2661           }
2662         ]
2663       },
2664       {
2665         "pin1": {
2666           "compName": "NandGate#19",
2667           "pinName": "B"
2668         },
2669         "pin2": {
2670           "compName": "NandGate#21",
2671           "pinName": "Y"
2672         },
2673         "name": "unnamedWire#108",
2674         "path": [
2675           {
2676             "x": 220.0,
2677             "y": 205.0
2678           },
2679           {
2680             "x": 220.0,
2681             "y": 215.0
2682           },
2683           {
2684             "x": 285.0,
2685             "y": 215.0
2686           },
2687           {
2688             "x": 285.0,
2689             "y": 290.0
2690           }
2691         ]
2692       },
2693       {
2694         "pin1": {
2695           "compName": "WireCrossPoint#33",
2696           "pinName": ""
2697         },
2698         "pin2": {
2699           "compName": "and#12",
2700           "pinName": "A"
2701         },
2702         "name": "unnamedWire#109",
2703         "path": [
2704           {
2705             "x": 130.0,
2706             "y": 125.0
2707           }
2708         ]
2709       },
2710       {
2711         "pin1": {
2712           "compName": "WireCrossPoint#34",
2713           "pinName": ""
2714         },
2715         "pin2": {
2716           "compName": "and#12",
2717           "pinName": "B"
2718         },
2719         "name": "unnamedWire#110",
2720         "path": [
2721           {
2722             "x": 135.0,
2723             "y": 135.0
2724           }
2725         ]
2726       },
2727       {
2728         "pin1": {
2729           "compName": "WireCrossPoint#36",
2730           "pinName": ""
2731         },
2732         "pin2": {
2733           "compName": "NandGate#20",
2734           "pinName": "A"
2735         },
2736         "name": "unnamedWire#111",
2737         "path": []
2738       },
2739       {
2740         "pin1": {
2741           "compName": "WireCrossPoint#37",
2742           "pinName": ""
2743         },
2744         "pin2": {
2745           "compName": "NandGate#20",
2746           "pinName": "B"
2747         },
2748         "name": "unnamedWire#112",
2749         "path": []
2750       },
2751       {
2752         "pin1": {
2753           "compName": "NandGate#20",
2754           "pinName": "Y"
2755         },
2756         "pin2": {
2757           "compName": "NandGate#22",
2758           "pinName": "A"
2759         },
2760         "name": "unnamedWire#113",
2761         "path": [
2762           {
2763             "x": 250.0,
2764             "y": 55.0
2765           },
2766           {
2767             "x": 250.0,
2768             "y": 120.0
2769           }
2770         ]
2771       },
2772       {
2773         "pin1": {
2774           "compName": "and#12",
2775           "pinName": "Y"
2776         },
2777         "pin2": {
2778           "compName": "NandGate#22",
2779           "pinName": "B"
2780         },
2781         "name": "unnamedWire#114",
2782         "path": [
2783           {
2784             "x": 170.0,
2785             "y": 125.0
2786           },
2787           {
2788             "x": 170.0,
2789             "y": 130.0
2790           }
2791         ]
2792       },
2793       {
2794         "pin1": {
2795           "compName": "NandGate#19",
2796           "pinName": "Y"
2797         },
2798         "pin2": {
2799           "compName": "WireCrossPoint#38",
2800           "pinName": ""
2801         },
2802         "name": "unnamedWire#115",
2803         "path": []
2804       },
2805       {
2806         "pin1": {
2807           "compName": "WireCrossPoint#38",
2808           "pinName": ""
2809         },
2810         "pin2": {
2811           "compName": "NandGate#23",
2812           "pinName": "A"
2813         },
2814         "name": "unnamedWire#116",
2815         "path": [
2816           {
2817             "x": 250.0,
2818             "y": 195.0
2819           }
2820         ]
2821       },
2822       {
2823         "pin1": {
2824           "compName": "NandGate#22",
2825           "pinName": "Y"
2826         },
2827         "pin2": {
2828           "compName": "NandGate#24",
2829           "pinName": "A"
2830         },
2831         "name": "unnamedWire#117",
2832         "path": [
2833           {
2834             "x": 285.0,
2835             "y": 125.0
2836           },
2837           {
2838             "x": 285.0,
2839             "y": 120.0
2840           }
2841         ]
2842       },
2843       {
2844         "pin1": {
2845           "compName": "NandGate#24",
2846           "pinName": "B"
2847         },
2848         "pin2": {
2849           "compName": "NandGate#23",
2850           "pinName": "Y"
2851         },
2852         "name": "unnamedWire#118",
2853         "path": [
2854           {
2855             "x": 285.0,
2856             "y": 130.0
2857           },
2858           {
2859             "x": 285.0,
2860             "y": 200.0
2861           }
2862         ]
2863       },
2864       {
2865         "pin1": {
2866           "compName": "WireCrossPoint#28",
2867           "pinName": ""
2868         },
2869         "pin2": {
2870           "compName": "NandGate#16",
2871           "pinName": "B"
2872         },
2873         "name": "unnamedWire#119",
2874         "path": []
2875       },
2876       {
2877         "pin1": {
2878           "compName": "WireCrossPoint#33",
2879           "pinName": ""
2880         },
2881         "pin2": {
2882           "compName": "NandGate#7",
2883           "pinName": "A"
2884         },
2885         "name": "unnamedWire#120",
2886         "path": []
2887       },
2888       {
2889         "pin1": {
2890           "compName": "WireCrossPoint#34",
2891           "pinName": ""
2892         },
2893         "pin2": {
2894           "compName": "NandGate#6",
2895           "pinName": "B"
2896         },
2897         "name": "unnamedWire#121",
2898         "path": []
2899       },
2900       {
2901         "pin1": {
2902           "compName": "WireCrossPoint#17",
2903           "pinName": ""
2904         },
2905         "pin2": {
2906           "compName": "NandGate#9",
2907           "pinName": "A"
2908         },
2909         "name": "unnamedWire#122",
2910         "path": [
2911           {
2912             "x": 40.0,
2913             "y": 10.0
2914           }
2915         ]
2916       },
2917       {
2918         "pin1": {
2919           "compName": "WireCrossPoint#36",
2920           "pinName": ""
2921         },
2922         "pin2": {
2923           "compName": "WireCrossPoint#37",
2924           "pinName": ""
2925         },
2926         "name": "unnamedWire#123",
2927         "path": []
2928       },
2929       {
2930         "pin1": {
2931           "compName": "WireCrossPoint#37",
2932           "pinName": ""
2933         },
2934         "pin2": {
2935           "compName": "WireCrossPoint#30",
2936           "pinName": ""
2937         },
2938         "name": "unnamedWire#124",
2939         "path": []
2940       },
2941       {
2942         "pin1": {
2943           "compName": "WireCrossPoint#38",
2944           "pinName": ""
2945         },
2946         "pin2": {
2947           "compName": "NandGate#23",
2948           "pinName": "B"
2949         },
2950         "name": "unnamedWire#125",
2951         "path": [
2952           {
2953             "x": 250.0,
2954             "y": 205.0
2955           }
2956         ]
2957       },
2958       {
2959         "pin1": {
2960           "compName": "WireCrossPoint#39",
2961           "pinName": ""
2962         },
2963         "pin2": {
2964           "compName": "and#5",
2965           "pinName": "B"
2966         },
2967         "name": "unnamedWire#126",
2968         "path": [
2969           {
2970             "x": 80.0,
2971             "y": 120.0
2972           }
2973         ]
2974       },
2975       {
2976         "pin1": {
2977           "compName": "WireCrossPoint#18",
2978           "pinName": ""
2979         },
2980         "pin2": {
2981           "compName": "NandGate#26",
2982           "pinName": "A"
2983         },
2984         "name": "unnamedWire#127",
2985         "path": []
2986       },
2987       {
2988         "pin1": {
2989           "compName": "WireCrossPoint#39",
2990           "pinName": ""
2991         },
2992         "pin2": {
2993           "compName": "NandGate#26",
2994           "pinName": "B"
2995         },
2996         "name": "unnamedWire#128",
2997         "path": []
2998       },
2999       {
3000         "pin1": {
3001           "compName": "WireCrossPoint#40",
3002           "pinName": ""
3003         },
3004         "pin2": {
3005           "compName": "NandGate#9",
3006           "pinName": "B"
3007         },
3008         "name": "unnamedWire#129",
3009         "path": [
3010           {
3011             "x": 70.0,
3012             "y": 105.0
3013           },
3014           {
3015             "x": 75.0,
3016             "y": 105.0
3017           },
3018           {
3019             "x": 75.0,
3020             "y": 20.0
3021           }
3022         ]
3023       },
3024       {
3025         "pin1": {
3026           "compName": "NandGate#26",
3027           "pinName": "Y"
3028         },
3029         "pin2": {
3030           "compName": "NandGate#25",
3031           "pinName": "A"
3032         },
3033         "name": "unnamedWire#130",
3034         "path": [
3035           {
3036             "x": 130.0,
3037             "y": 140.0
3038           },
3039           {
3040             "x": 130.0,
3041             "y": 230.0
3042           }
3043         ]
3044       },
3045       {
3046         "pin1": {
3047           "compName": "WireCrossPoint#41",
3048           "pinName": ""
3049         },
3050         "pin2": {
3051           "compName": "NandGate#21",
3052           "pinName": "A"
3053         },
3054         "name": "unnamedWire#131",
3055         "path": [
3056           {
3057             "x": 250.0,
3058             "y": 270.0
3059           },
3060           {
3061             "x": 250.0,
3062             "y": 285.0
3063           }
3064         ]
3065       },
3066       {
3067         "pin1": {
3068           "compName": "WireCrossPoint#41",
3069           "pinName": ""
3070         },
3071         "pin2": {
3072           "compName": "NandGate#25",
3073           "pinName": "B"
3074         },
3075         "name": "unnamedWire#132",
3076         "path": [
3077           {
3078             "x": 130.0,
3079             "y": 240.0
3080           }
3081         ]
3082       },
3083       {
3084         "pin1": {
3085           "compName": "NandGate#25",
3086           "pinName": "Y"
3087         },
3088         "pin2": {
3089           "compName": "NandGate#27",
3090           "pinName": "A"
3091         },
3092         "name": "unnamedWire#133",
3093         "path": []
3094       },
3095       {
3096         "pin1": {
3097           "compName": "WireCrossPoint#15",
3098           "pinName": ""
3099         },
3100         "pin2": {
3101           "compName": "WireCrossPoint#45",
3102           "pinName": ""
3103         },
3104         "name": "unnamedWire#134",
3105         "path": []
3106       },
3107       {
3108         "pin1": {
3109           "compName": "NandGate#27",
3110           "pinName": "Y"
3111         },
3112         "pin2": {
3113           "compName": "NandGate#28",
3114           "pinName": "A"
3115         },
3116         "name": "unnamedWire#135",
3117         "path": []
3118       },
3119       {
3120         "pin1": {
3121           "compName": "NandGate#29",
3122           "pinName": "Y"
3123         },
3124         "pin2": {
3125           "compName": "NandGate#28",
3126           "pinName": "B"
3127         },
3128         "name": "unnamedWire#136",
3129         "path": [
3130           {
3131             "x": 70.0,
3132             "y": 235.0
3133           },
3134           {
3135             "x": 70.0,
3136             "y": 255.0
3137           },
3138           {
3139             "x": 190.0,
3140             "y": 255.0
3141           },
3142           {
3143             "x": 190.0,
3144             "y": 250.0
3145           }
3146         ]
3147       },
3148       {
3149         "pin1": {
3150           "compName": "WireCrossPoint#44",
3151           "pinName": ""
3152         },
3153         "pin2": {
3154           "compName": "NandGate#29",
3155           "pinName": "A"
3156         },
3157         "name": "unnamedWire#137",
3158         "path": []
3159       },
3160       {
3161         "pin1": {
3162           "compName": "WireCrossPoint#43",
3163           "pinName": ""
3164         },
3165         "pin2": {
3166           "compName": "NandGate#29",
3167           "pinName": "B"
3168         },
3169         "name": "unnamedWire#138",
3170         "path": []
3171       },
3172       {
3173         "pin1": {
3174           "compName": "NandGate#28",
3175           "pinName": "Y"
3176         },
3177         "pin2": {
3178           "compName": "NandGate#30",
3179           "pinName": "A"
3180         },
3181         "name": "unnamedWire#139",
3182         "path": [
3183           {
3184             "x": 220.0,
3185             "y": 245.0
3186           },
3187           {
3188             "x": 220.0,
3189             "y": 240.0
3190           }
3191         ]
3192       },
3193       {
3194         "pin1": {
3195           "compName": "WireCrossPoint#46",
3196           "pinName": ""
3197         },
3198         "pin2": {
3199           "compName": "NandGate#30",
3200           "pinName": "B"
3201         },
3202         "name": "unnamedWire#140",
3203         "path": [
3204           {
3205             "x": 30.0,
3206             "y": 260.0
3207           },
3208           {
3209             "x": 220.0,
3210             "y": 260.0
3211           },
3212           {
3213             "x": 220.0,
3214             "y": 250.0
3215           }
3216         ]
3217       },
3218       {
3219         "pin1": {
3220           "compName": "NandGate#30",
3221           "pinName": "Y"
3222         },
3223         "pin2": {
3224           "compName": "NandGate#31",
3225           "pinName": "A"
3226         },
3227         "name": "unnamedWire#141",
3228         "path": [
3229           {
3230             "x": 280.0,
3231             "y": 245.0
3232           },
3233           {
3234             "x": 280.0,
3235             "y": 250.0
3236           }
3237         ]
3238       },
3239       {
3240         "pin1": {
3241           "compName": "NandGate#31",
3242           "pinName": "Y"
3243         },
3244         "pin2": {
3245           "compName": "_submodelinterface",
3246           "pinName": "YmuPC"
3247         },
3248         "name": "unnamedWire#142",
3249         "path": [
3250           {
3251             "x": 350.0,
3252             "y": 255.0
3253           },
3254           {
3255             "x": 350.0,
3256             "y": 275.0
3257           }
3258         ]
3259       },
3260       {
3261         "pin1": {
3262           "compName": "NandGate#32",
3263           "pinName": "Y"
3264         },
3265         "pin2": {
3266           "compName": "NandGate#31",
3267           "pinName": "B"
3268         },
3269         "name": "unnamedWire#143",
3270         "path": []
3271       },
3272       {
3273         "pin1": {
3274           "compName": "WireCrossPoint#54",
3275           "pinName": ""
3276         },
3277         "pin2": {
3278           "compName": "NandGate#32",
3279           "pinName": "B"
3280         },
3281         "name": "unnamedWire#144",
3282         "path": []
3283       },
3284       {
3285         "pin1": {
3286           "compName": "NandGate#33",
3287           "pinName": "Y"
3288         },
3289         "pin2": {
3290           "compName": "NandGate#32",
3291           "pinName": "A"
3292         },
3293         "name": "unnamedWire#145",
3294         "path": [
3295           {
3296             "x": 350.0,
3297             "y": 175.0
3298           },
3299           {
3300             "x": 350.0,
3301             "y": 240.0
3302           },
3303           {
3304             "x": 250.0,
3305             "y": 240.0
3306           },
3307           {
3308             "x": 250.0,
3309             "y": 255.0
3310           }
3311         ]
3312       },
3313       {
3314         "pin1": {
3315           "compName": "NandGate#34",
3316           "pinName": "Y"
3317         },
3318         "pin2": {
3319           "compName": "NandGate#33",
3320           "pinName": "B"
3321         },
3322         "name": "unnamedWire#146",
3323         "path": []
3324       },
3325       {
3326         "pin1": {
3327           "compName": "WireCrossPoint#52",
3328           "pinName": ""
3329         },
3330         "pin2": {
3331           "compName": "NandGate#34",
3332           "pinName": "B"
3333         },
3334         "name": "unnamedWire#147",
3335         "path": []
3336       },
3337       {
3338         "pin1": {
3339           "compName": "NandGate#35",
3340           "pinName": "Y"
3341         },
3342         "pin2": {
3343           "compName": "NandGate#34",
3344           "pinName": "A"
3345         },
3346         "name": "unnamedWire#148",
3347         "path": [
3348           {
3349             "x": 290.0,
3350             "y": 155.0
3351           },
3352           {
3353             "x": 290.0,
3354             "y": 175.0
3355           }
3356         ]
3357       },
3358       {
3359         "pin1": {
3360           "compName": "NandGate#36",
3361           "pinName": "Y"
3362         },
3363         "pin2": {
3364           "compName": "NandGate#35",
3365           "pinName": "B"
3366         },
3367         "name": "unnamedWire#149",
3368         "path": []
3369       },
3370       {
3371         "pin1": {
3372           "compName": "WireCrossPoint#47",
3373           "pinName": ""
3374         },
3375         "pin2": {
3376           "compName": "NandGate#36",
3377           "pinName": "A"
3378         },
3379         "name": "unnamedWire#150",
3380         "path": [
3381           {
3382             "x": 215.0,
3383             "y": 155.0
3384           }
3385         ]
3386       },
3387       {
3388         "pin1": {
3389           "compName": "WireCrossPoint#53",
3390           "pinName": ""
3391         },
3392         "pin2": {
3393           "compName": "NandGate#36",
3394           "pinName": "B"
3395         },
3396         "name": "unnamedWire#151",
3397         "path": [
3398           {
3399             "x": 80.0,
3400             "y": 190.0
3401           },
3402           {
3403             "x": 135.0,
3404             "y": 190.0
3405           },
3406           {
3407             "x": 135.0,
3408             "y": 175.0
3409           },
3410           {
3411             "x": 195.0,
3412             "y": 175.0
3413           },
3414           {
3415             "x": 195.0,
3416             "y": 165.0
3417           }
3418         ]
3419       },
3420       {
3421         "pin1": {
3422           "compName": "NandGate#39",
3423           "pinName": "Y"
3424         },
3425         "pin2": {
3426           "compName": "WireCrossPoint#51",
3427           "pinName": ""
3428         },
3429         "name": "unnamedWire#152",
3430         "path": [
3431           {
3432             "x": 80.0,
3433             "y": 25.0
3434           }
3435         ]
3436       },
3437       {
3438         "pin1": {
3439           "compName": "WireCrossPoint#42",
3440           "pinName": ""
3441         },
3442         "pin2": {
3443           "compName": "NandGate#38",
3444           "pinName": "A"
3445         },
3446         "name": "unnamedWire#153",
3447         "path": []
3448       },
3449       {
3450         "pin1": {
3451           "compName": "WireCrossPoint#42",
3452           "pinName": ""
3453         },
3454         "pin2": {
3455           "compName": "NandGate#38",
3456           "pinName": "B"
3457         },
3458         "name": "unnamedWire#154",
3459         "path": [
3460           {
3461             "x": 80.0,
3462             "y": 75.0
3463           }
3464         ]
3465       },
3466       {
3467         "pin1": {
3468           "compName": "WireCrossPoint#51",
3469           "pinName": ""
3470         },
3471         "pin2": {
3472           "compName": "NandGate#35",
3473           "pinName": "A"
3474         },
3475         "name": "unnamedWire#155",
3476         "path": [
3477           {
3478             "x": 135.0,
3479             "y": 50.0
3480           },
3481           {
3482             "x": 135.0,
3483             "y": 60.0
3484           },
3485           {
3486             "x": 200.0,
3487             "y": 60.0
3488           },
3489           {
3490             "x": 200.0,
3491             "y": 145.0
3492           },
3493           {
3494             "x": 245.0,
3495             "y": 145.0
3496           },
3497           {
3498             "x": 245.0,
3499             "y": 150.0
3500           }
3501         ]
3502       },
3503       {
3504         "pin1": {
3505           "compName": "WireCrossPoint#50",
3506           "pinName": ""
3507         },
3508         "pin2": {
3509           "compName": "WireCrossPoint#49",
3510           "pinName": ""
3511         },
3512         "name": "unnamedWire#156",
3513         "path": []
3514       },
3515       {
3516         "pin1": {
3517           "compName": "WireCrossPoint#50",
3518           "pinName": ""
3519         },
3520         "pin2": {
3521           "compName": "and#10",
3522           "pinName": "A"
3523         },
3524         "name": "unnamedWire#157",
3525         "path": [
3526           {
3527             "x": 140.0,
3528             "y": 15.0
3529           },
3530           {
3531             "x": 140.0,
3532             "y": 25.0
3533           }
3534         ]
3535       },
3536       {
3537         "pin1": {
3538           "compName": "NandGate#40",
3539           "pinName": "Y"
3540         },
3541         "pin2": {
3542           "compName": "NandGate#33",
3543           "pinName": "A"
3544         },
3545         "name": "unnamedWire#158",
3546         "path": [
3547           {
3548             "x": 210.0,
3549             "y": 40.0
3550           },
3551           {
3552             "x": 210.0,
3553             "y": 140.0
3554           },
3555           {
3556             "x": 320.0,
3557             "y": 140.0
3558           },
3559           {
3560             "x": 320.0,
3561             "y": 170.0
3562           }
3563         ]
3564       },
3565       {
3566         "pin1": {
3567           "compName": "NandGate#40",
3568           "pinName": "A"
3569         },
3570         "pin2": {
3571           "compName": "NandGate#37",
3572           "pinName": "Y"
3573         },
3574         "name": "unnamedWire#159",
3575         "path": [
3576           {
3577             "x": 140.0,
3578             "y": 35.0
3579           },
3580           {
3581             "x": 140.0,
3582             "y": 30.0
3583           }
3584         ]
3585       },
3586       {
3587         "pin1": {
3588           "compName": "WireCrossPoint#48",
3589           "pinName": ""
3590         },
3591         "pin2": {
3592           "compName": "NandGate#40",
3593           "pinName": "B"
3594         },
3595         "name": "unnamedWire#160",
3596         "path": [
3597           {
3598             "x": 40.0,
3599             "y": 45.0
3600           }
3601         ]
3602       },
3603       {
3604         "pin1": {
3605           "compName": "WireCrossPoint#43",
3606           "pinName": ""
3607         },
3608         "pin2": {
3609           "compName": "WireCrossPoint#41",
3610           "pinName": ""
3611         },
3612         "name": "unnamedWire#161",
3613         "path": [
3614           {
3615             "x": 5.0,
3616             "y": 270.0
3617           }
3618         ]
3619       },
3620       {
3621         "pin1": {
3622           "compName": "WireCrossPoint#44",
3623           "pinName": ""
3624         },
3625         "pin2": {
3626           "compName": "WireCrossPoint#22",
3627           "pinName": ""
3628         },
3629         "name": "unnamedWire#162",
3630         "path": []
3631       },
3632       {
3633         "pin1": {
3634           "compName": "WireCrossPoint#45",
3635           "pinName": ""
3636         },
3637         "pin2": {
3638           "compName": "NandGate#27",
3639           "pinName": "B"
3640         },
3641         "name": "unnamedWire#163",
3642         "path": [
3643           {
3644             "x": 85.0,
3645             "y": 250.0
3646           },
3647           {
3648             "x": 160.0,
3649             "y": 250.0
3650           },
3651           {
3652             "x": 160.0,
3653             "y": 245.0
3654           }
3655         ]
3656       },
3657       {
3658         "pin1": {
3659           "compName": "WireCrossPoint#46",
3660           "pinName": ""
3661         },
3662         "pin2": {
3663           "compName": "WireCrossPoint#32",
3664           "pinName": ""
3665         },
3666         "name": "unnamedWire#164",
3667         "path": []
3668       },
3669       {
3670         "pin1": {
3671           "compName": "WireCrossPoint#47",
3672           "pinName": ""
3673         },
3674         "pin2": {
3675           "compName": "and#13",
3676           "pinName": "A"
3677         },
3678         "name": "unnamedWire#165",
3679         "path": []
3680       },
3681       {
3682         "pin1": {
3683           "compName": "WireCrossPoint#48",
3684           "pinName": ""
3685         },
3686         "pin2": {
3687           "compName": "and#6",
3688           "pinName": "B"
3689         },
3690         "name": "unnamedWire#166",
3691         "path": []
3692       },
3693       {
3694         "pin1": {
3695           "compName": "WireCrossPoint#49",
3696           "pinName": ""
3697         },
3698         "pin2": {
3699           "compName": "NandGate#37",
3700           "pinName": "A"
3701         },
3702         "name": "unnamedWire#167",
3703         "path": []
3704       },
3705       {
3706         "pin1": {
3707           "compName": "WireCrossPoint#49",
3708           "pinName": ""
3709         },
3710         "pin2": {
3711           "compName": "NandGate#37",
3712           "pinName": "B"
3713         },
3714         "name": "unnamedWire#168",
3715         "path": [
3716           {
3717             "x": 110.0,
3718             "y": 35.0
3719           }
3720         ]
3721       },
3722       {
3723         "pin1": {
3724           "compName": "WireCrossPoint#51",
3725           "pinName": ""
3726         },
3727         "pin2": {
3728           "compName": "WireCrossPoint#42",
3729           "pinName": ""
3730         },
3731         "name": "unnamedWire#169",
3732         "path": []
3733       },
3734       {
3735         "pin1": {
3736           "compName": "WireCrossPoint#52",
3737           "pinName": ""
3738         },
3739         "pin2": {
3740           "compName": "WireCrossPoint#44",
3741           "pinName": ""
3742         },
3743         "name": "unnamedWire#170",
3744         "path": []
3745       },
3746       {
3747         "pin1": {
3748           "compName": "WireCrossPoint#53",
3749           "pinName": ""
3750         },
3751         "pin2": {
3752           "compName": "WireCrossPoint#14",
3753           "pinName": ""
3754         },
3755         "name": "unnamedWire#171",
3756         "path": []
3757       },
3758       {
3759         "pin1": {
3760           "compName": "WireCrossPoint#19",
3761           "pinName": ""
3762         },
3763         "pin2": {
3764           "compName": "WireCrossPoint#54",
3765           "pinName": ""
3766         },
3767         "name": "unnamedWire#172",
3768         "path": []
3769       }
3770     ],
3771     "version": "0.1.1"
3772   },
3773   "symbolRendererSnippetID": "default",
3774   "outlineRendererSnippetID": "default",
3775   "highLevelStateHandlerSnippetID": "default",
3776   "version": "0.1.5"
3777 }