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