Created a gate-based implementation of dff12
[Mograsim.git] / plugins / net.mograsim.logic.model.am2900 / components / net / mograsim / logic / model / am2900 / components / dff12.json
1 {
2   "width": 40.0,
3   "height": 40.0,
4   "interfacePins": [
5     {
6       "location": {
7         "x": 0.0,
8         "y": 5.0
9       },
10       "name": "C",
11       "logicWidth": 1,
12       "usage": "INPUT"
13     },
14     {
15       "location": {
16         "x": 0.0,
17         "y": 20.0
18       },
19       "name": "D",
20       "logicWidth": 12,
21       "usage": "INPUT"
22     },
23     {
24       "location": {
25         "x": 40.0,
26         "y": 20.0
27       },
28       "name": "Q",
29       "logicWidth": 12,
30       "usage": "TRISTATE"
31     }
32   ],
33   "innerScale": 0.2,
34   "submodel": {
35     "components": [
36       {
37         "id": "Splitter",
38         "name": "Splitter#0",
39         "pos": {
40           "x": 5.0,
41           "y": 45.0
42         },
43         "params": {
44           "logicWidth": 12,
45           "orientation": "RIGHT"
46         }
47       },
48       {
49         "id": "Splitter",
50         "name": "Splitter#1",
51         "pos": {
52           "x": 185.0,
53           "y": 45.0
54         },
55         "params": {
56           "logicWidth": 12,
57           "orientation": "LEFT"
58         }
59       },
60       {
61         "id": "WireCrossPoint",
62         "name": "WireCrossPoint#0",
63         "pos": {
64           "x": 54.0,
65           "y": 24.0
66         },
67         "params": 1
68       },
69       {
70         "id": "WireCrossPoint",
71         "name": "WireCrossPoint#1",
72         "pos": {
73           "x": 54.0,
74           "y": 49.0
75         },
76         "params": 1
77       },
78       {
79         "id": "WireCrossPoint",
80         "name": "WireCrossPoint#2",
81         "pos": {
82           "x": 54.0,
83           "y": 109.0
84         },
85         "params": 1
86       },
87       {
88         "id": "WireCrossPoint",
89         "name": "WireCrossPoint#3",
90         "pos": {
91           "x": 54.0,
92           "y": 139.0
93         },
94         "params": 1
95       },
96       {
97         "id": "WireCrossPoint",
98         "name": "WireCrossPoint#4",
99         "pos": {
100           "x": 54.0,
101           "y": 79.0
102         },
103         "params": 1
104       },
105       {
106         "id": "WireCrossPoint",
107         "name": "WireCrossPoint#5",
108         "pos": {
109           "x": 109.0,
110           "y": 189.0
111         },
112         "params": 1
113       },
114       {
115         "id": "WireCrossPoint",
116         "name": "WireCrossPoint#6",
117         "pos": {
118           "x": 109.0,
119           "y": 69.0
120         },
121         "params": 1
122       },
123       {
124         "id": "WireCrossPoint",
125         "name": "WireCrossPoint#7",
126         "pos": {
127           "x": 109.0,
128           "y": 159.0
129         },
130         "params": 1
131       },
132       {
133         "id": "WireCrossPoint",
134         "name": "WireCrossPoint#8",
135         "pos": {
136           "x": 54.0,
137           "y": 169.0
138         },
139         "params": 1
140       },
141       {
142         "id": "WireCrossPoint",
143         "name": "WireCrossPoint#9",
144         "pos": {
145           "x": 109.0,
146           "y": 99.0
147         },
148         "params": 1
149       },
150       {
151         "id": "WireCrossPoint",
152         "name": "WireCrossPoint#10",
153         "pos": {
154           "x": 109.0,
155           "y": 129.0
156         },
157         "params": 1
158       },
159       {
160         "id": "dff",
161         "name": "dff#0",
162         "pos": {
163           "x": 115.0,
164           "y": 25.0
165         }
166       },
167       {
168         "id": "dff",
169         "name": "dff#1",
170         "pos": {
171           "x": 115.0,
172           "y": 55.0
173         }
174       },
175       {
176         "id": "dff",
177         "name": "dff#2",
178         "pos": {
179           "x": 60.0,
180           "y": 5.0
181         }
182       },
183       {
184         "id": "dff",
185         "name": "dff#3",
186         "pos": {
187           "x": 60.0,
188           "y": 35.0
189         }
190       },
191       {
192         "id": "dff",
193         "name": "dff#4",
194         "pos": {
195           "x": 60.0,
196           "y": 65.0
197         }
198       },
199       {
200         "id": "dff",
201         "name": "dff#5",
202         "pos": {
203           "x": 115.0,
204           "y": 145.0
205         }
206       },
207       {
208         "id": "dff",
209         "name": "dff#6",
210         "pos": {
211           "x": 115.0,
212           "y": 175.0
213         }
214       },
215       {
216         "id": "dff",
217         "name": "dff#7",
218         "pos": {
219           "x": 60.0,
220           "y": 155.0
221         }
222       },
223       {
224         "id": "dff",
225         "name": "dff#8",
226         "pos": {
227           "x": 60.0,
228           "y": 125.0
229         }
230       },
231       {
232         "id": "dff",
233         "name": "dff#9",
234         "pos": {
235           "x": 115.0,
236           "y": 85.0
237         }
238       },
239       {
240         "id": "dff",
241         "name": "dff#10",
242         "pos": {
243           "x": 115.0,
244           "y": 115.0
245         }
246       },
247       {
248         "id": "dff",
249         "name": "dff#11",
250         "pos": {
251           "x": 60.0,
252           "y": 95.0
253         }
254       }
255     ],
256     "wires": [
257       {
258         "pin1": {
259           "compName": "WireCrossPoint#6",
260           "pinName": ""
261         },
262         "pin2": {
263           "compName": "dff#0",
264           "pinName": "C"
265         },
266         "name": "unnamedWire#0",
267         "path": [
268           {
269             "x": 110.0,
270             "y": 40.0
271           }
272         ]
273       },
274       {
275         "pin1": {
276           "compName": "WireCrossPoint#0",
277           "pinName": ""
278         },
279         "pin2": {
280           "compName": "_submodelinterface",
281           "pinName": "C"
282         },
283         "name": "unnamedWire#1",
284         "path": []
285       },
286       {
287         "pin1": {
288           "compName": "_submodelinterface",
289           "pinName": "D"
290         },
291         "pin2": {
292           "compName": "Splitter#0",
293           "pinName": "I"
294         },
295         "name": "unnamedWire#2",
296         "path": []
297       },
298       {
299         "pin1": {
300           "compName": "WireCrossPoint#3",
301           "pinName": ""
302         },
303         "pin2": {
304           "compName": "WireCrossPoint#8",
305           "pinName": ""
306         },
307         "name": "unnamedWire#3",
308         "path": []
309       },
310       {
311         "pin1": {
312           "compName": "Splitter#0",
313           "pinName": "O11"
314         },
315         "pin2": {
316           "compName": "dff#2",
317           "pinName": "D"
318         },
319         "name": "unnamedWire#4",
320         "path": [
321           {
322             "x": 20.0,
323             "y": 45.0
324           },
325           {
326             "x": 20.0,
327             "y": 10.0
328           }
329         ]
330       },
331       {
332         "pin1": {
333           "compName": "dff#0",
334           "pinName": "D"
335         },
336         "pin2": {
337           "compName": "Splitter#0",
338           "pinName": "O10"
339         },
340         "name": "unnamedWire#5",
341         "path": [
342           {
343             "x": 25.0,
344             "y": 30.0
345           },
346           {
347             "x": 25.0,
348             "y": 55.0
349           }
350         ]
351       },
352       {
353         "pin1": {
354           "compName": "dff#3",
355           "pinName": "D"
356         },
357         "pin2": {
358           "compName": "Splitter#0",
359           "pinName": "O9"
360         },
361         "name": "unnamedWire#6",
362         "path": [
363           {
364             "x": 30.0,
365             "y": 40.0
366           },
367           {
368             "x": 30.0,
369             "y": 65.0
370           }
371         ]
372       },
373       {
374         "pin1": {
375           "compName": "Splitter#0",
376           "pinName": "O8"
377         },
378         "pin2": {
379           "compName": "dff#1",
380           "pinName": "D"
381         },
382         "name": "unnamedWire#7",
383         "path": [
384           {
385             "x": 35.0,
386             "y": 75.0
387           },
388           {
389             "x": 35.0,
390             "y": 60.0
391           }
392         ]
393       },
394       {
395         "pin1": {
396           "compName": "dff#4",
397           "pinName": "D"
398         },
399         "pin2": {
400           "compName": "Splitter#0",
401           "pinName": "O7"
402         },
403         "name": "unnamedWire#8",
404         "path": [
405           {
406             "x": 40.0,
407             "y": 70.0
408           },
409           {
410             "x": 40.0,
411             "y": 85.0
412           }
413         ]
414       },
415       {
416         "pin1": {
417           "compName": "Splitter#0",
418           "pinName": "O6"
419         },
420         "pin2": {
421           "compName": "dff#9",
422           "pinName": "D"
423         },
424         "name": "unnamedWire#9",
425         "path": [
426           {
427             "x": 45.0,
428             "y": 95.0
429           },
430           {
431             "x": 45.0,
432             "y": 90.0
433           }
434         ]
435       },
436       {
437         "pin1": {
438           "compName": "dff#11",
439           "pinName": "D"
440         },
441         "pin2": {
442           "compName": "Splitter#0",
443           "pinName": "O5"
444         },
445         "name": "unnamedWire#10",
446         "path": [
447           {
448             "x": 45.0,
449             "y": 100.0
450           },
451           {
452             "x": 45.0,
453             "y": 105.0
454           }
455         ]
456       },
457       {
458         "pin1": {
459           "compName": "Splitter#0",
460           "pinName": "O4"
461         },
462         "pin2": {
463           "compName": "dff#10",
464           "pinName": "D"
465         },
466         "name": "unnamedWire#11",
467         "path": [
468           {
469             "x": 45.0,
470             "y": 115.0
471           },
472           {
473             "x": 45.0,
474             "y": 120.0
475           }
476         ]
477       },
478       {
479         "pin1": {
480           "compName": "dff#8",
481           "pinName": "D"
482         },
483         "pin2": {
484           "compName": "Splitter#0",
485           "pinName": "O3"
486         },
487         "name": "unnamedWire#12",
488         "path": [
489           {
490             "x": 45.0,
491             "y": 130.0
492           },
493           {
494             "x": 45.0,
495             "y": 125.0
496           }
497         ]
498       },
499       {
500         "pin1": {
501           "compName": "Splitter#0",
502           "pinName": "O2"
503         },
504         "pin2": {
505           "compName": "dff#5",
506           "pinName": "D"
507         },
508         "name": "unnamedWire#13",
509         "path": [
510           {
511             "x": 40.0,
512             "y": 135.0
513           },
514           {
515             "x": 40.0,
516             "y": 150.0
517           }
518         ]
519       },
520       {
521         "pin1": {
522           "compName": "dff#7",
523           "pinName": "D"
524         },
525         "pin2": {
526           "compName": "Splitter#0",
527           "pinName": "O1"
528         },
529         "name": "unnamedWire#14",
530         "path": [
531           {
532             "x": 35.0,
533             "y": 160.0
534           },
535           {
536             "x": 35.0,
537             "y": 145.0
538           }
539         ]
540       },
541       {
542         "pin1": {
543           "compName": "Splitter#0",
544           "pinName": "O0"
545         },
546         "pin2": {
547           "compName": "dff#6",
548           "pinName": "D"
549         },
550         "name": "unnamedWire#15",
551         "path": [
552           {
553             "x": 30.0,
554             "y": 155.0
555           },
556           {
557             "x": 30.0,
558             "y": 180.0
559           }
560         ]
561       },
562       {
563         "pin1": {
564           "compName": "WireCrossPoint#8",
565           "pinName": ""
566         },
567         "pin2": {
568           "compName": "dff#7",
569           "pinName": "C"
570         },
571         "name": "unnamedWire#16",
572         "path": []
573       },
574       {
575         "pin1": {
576           "compName": "WireCrossPoint#8",
577           "pinName": ""
578         },
579         "pin2": {
580           "compName": "WireCrossPoint#5",
581           "pinName": ""
582         },
583         "name": "unnamedWire#17",
584         "path": [
585           {
586             "x": 55.0,
587             "y": 190.0
588           }
589         ]
590       },
591       {
592         "pin1": {
593           "compName": "WireCrossPoint#0",
594           "pinName": ""
595         },
596         "pin2": {
597           "compName": "dff#2",
598           "pinName": "C"
599         },
600         "name": "unnamedWire#18",
601         "path": [
602           {
603             "x": 55.0,
604             "y": 20.0
605           }
606         ]
607       },
608       {
609         "pin1": {
610           "compName": "WireCrossPoint#0",
611           "pinName": ""
612         },
613         "pin2": {
614           "compName": "WireCrossPoint#1",
615           "pinName": ""
616         },
617         "name": "unnamedWire#19",
618         "path": []
619       },
620       {
621         "pin1": {
622           "compName": "dff#3",
623           "pinName": "C"
624         },
625         "pin2": {
626           "compName": "WireCrossPoint#1",
627           "pinName": ""
628         },
629         "name": "unnamedWire#20",
630         "path": []
631       },
632       {
633         "pin1": {
634           "compName": "WireCrossPoint#1",
635           "pinName": ""
636         },
637         "pin2": {
638           "compName": "WireCrossPoint#4",
639           "pinName": ""
640         },
641         "name": "unnamedWire#21",
642         "path": []
643       },
644       {
645         "pin1": {
646           "compName": "WireCrossPoint#4",
647           "pinName": ""
648         },
649         "pin2": {
650           "compName": "dff#4",
651           "pinName": "C"
652         },
653         "name": "unnamedWire#22",
654         "path": []
655       },
656       {
657         "pin1": {
658           "compName": "WireCrossPoint#4",
659           "pinName": ""
660         },
661         "pin2": {
662           "compName": "WireCrossPoint#2",
663           "pinName": ""
664         },
665         "name": "unnamedWire#23",
666         "path": []
667       },
668       {
669         "pin1": {
670           "compName": "WireCrossPoint#2",
671           "pinName": ""
672         },
673         "pin2": {
674           "compName": "dff#11",
675           "pinName": "C"
676         },
677         "name": "unnamedWire#24",
678         "path": []
679       },
680       {
681         "pin1": {
682           "compName": "WireCrossPoint#2",
683           "pinName": ""
684         },
685         "pin2": {
686           "compName": "WireCrossPoint#3",
687           "pinName": ""
688         },
689         "name": "unnamedWire#25",
690         "path": []
691       },
692       {
693         "pin1": {
694           "compName": "WireCrossPoint#3",
695           "pinName": ""
696         },
697         "pin2": {
698           "compName": "dff#8",
699           "pinName": "C"
700         },
701         "name": "unnamedWire#26",
702         "path": []
703       },
704       {
705         "pin1": {
706           "compName": "WireCrossPoint#5",
707           "pinName": ""
708         },
709         "pin2": {
710           "compName": "dff#6",
711           "pinName": "C"
712         },
713         "name": "unnamedWire#27",
714         "path": []
715       },
716       {
717         "pin1": {
718           "compName": "WireCrossPoint#5",
719           "pinName": ""
720         },
721         "pin2": {
722           "compName": "WireCrossPoint#7",
723           "pinName": ""
724         },
725         "name": "unnamedWire#28",
726         "path": []
727       },
728       {
729         "pin1": {
730           "compName": "WireCrossPoint#7",
731           "pinName": ""
732         },
733         "pin2": {
734           "compName": "dff#5",
735           "pinName": "C"
736         },
737         "name": "unnamedWire#29",
738         "path": []
739       },
740       {
741         "pin1": {
742           "compName": "WireCrossPoint#7",
743           "pinName": ""
744         },
745         "pin2": {
746           "compName": "WireCrossPoint#10",
747           "pinName": ""
748         },
749         "name": "unnamedWire#30",
750         "path": []
751       },
752       {
753         "pin1": {
754           "compName": "dff#10",
755           "pinName": "C"
756         },
757         "pin2": {
758           "compName": "WireCrossPoint#10",
759           "pinName": ""
760         },
761         "name": "unnamedWire#31",
762         "path": []
763       },
764       {
765         "pin1": {
766           "compName": "WireCrossPoint#9",
767           "pinName": ""
768         },
769         "pin2": {
770           "compName": "WireCrossPoint#10",
771           "pinName": ""
772         },
773         "name": "unnamedWire#32",
774         "path": []
775       },
776       {
777         "pin1": {
778           "compName": "WireCrossPoint#9",
779           "pinName": ""
780         },
781         "pin2": {
782           "compName": "dff#9",
783           "pinName": "C"
784         },
785         "name": "unnamedWire#33",
786         "path": []
787       },
788       {
789         "pin1": {
790           "compName": "WireCrossPoint#9",
791           "pinName": ""
792         },
793         "pin2": {
794           "compName": "WireCrossPoint#6",
795           "pinName": ""
796         },
797         "name": "unnamedWire#34",
798         "path": []
799       },
800       {
801         "pin1": {
802           "compName": "WireCrossPoint#6",
803           "pinName": ""
804         },
805         "pin2": {
806           "compName": "dff#1",
807           "pinName": "C"
808         },
809         "name": "unnamedWire#35",
810         "path": []
811       },
812       {
813         "pin1": {
814           "compName": "Splitter#1",
815           "pinName": "I"
816         },
817         "pin2": {
818           "compName": "_submodelinterface",
819           "pinName": "Q"
820         },
821         "name": "unnamedWire#36",
822         "path": []
823       },
824       {
825         "pin1": {
826           "compName": "Splitter#1",
827           "pinName": "O11"
828         },
829         "pin2": {
830           "compName": "dff#2",
831           "pinName": "Q"
832         },
833         "name": "unnamedWire#37",
834         "path": [
835           {
836             "x": 180.0,
837             "y": 45.0
838           },
839           {
840             "x": 180.0,
841             "y": 20.0
842           },
843           {
844             "x": 100.0,
845             "y": 20.0
846           },
847           {
848             "x": 100.0,
849             "y": 10.0
850           }
851         ]
852       },
853       {
854         "pin1": {
855           "compName": "dff#0",
856           "pinName": "Q"
857         },
858         "pin2": {
859           "compName": "Splitter#1",
860           "pinName": "O10"
861         },
862         "name": "unnamedWire#38",
863         "path": [
864           {
865             "x": 170.0,
866             "y": 30.0
867           },
868           {
869             "x": 170.0,
870             "y": 55.0
871           }
872         ]
873       },
874       {
875         "pin1": {
876           "compName": "Splitter#1",
877           "pinName": "O9"
878         },
879         "pin2": {
880           "compName": "dff#3",
881           "pinName": "Q"
882         },
883         "name": "unnamedWire#39",
884         "path": [
885           {
886             "x": 165.0,
887             "y": 65.0
888           },
889           {
890             "x": 165.0,
891             "y": 50.0
892           },
893           {
894             "x": 100.0,
895             "y": 50.0
896           },
897           {
898             "x": 100.0,
899             "y": 40.0
900           }
901         ]
902       },
903       {
904         "pin1": {
905           "compName": "dff#1",
906           "pinName": "Q"
907         },
908         "pin2": {
909           "compName": "Splitter#1",
910           "pinName": "O8"
911         },
912         "name": "unnamedWire#40",
913         "path": [
914           {
915             "x": 160.0,
916             "y": 60.0
917           },
918           {
919             "x": 160.0,
920             "y": 75.0
921           }
922         ]
923       },
924       {
925         "pin1": {
926           "compName": "Splitter#1",
927           "pinName": "O7"
928         },
929         "pin2": {
930           "compName": "dff#4",
931           "pinName": "Q"
932         },
933         "name": "unnamedWire#41",
934         "path": [
935           {
936             "x": 160.0,
937             "y": 85.0
938           },
939           {
940             "x": 160.0,
941             "y": 80.0
942           },
943           {
944             "x": 100.0,
945             "y": 80.0
946           },
947           {
948             "x": 100.0,
949             "y": 70.0
950           }
951         ]
952       },
953       {
954         "pin1": {
955           "compName": "dff#9",
956           "pinName": "Q"
957         },
958         "pin2": {
959           "compName": "Splitter#1",
960           "pinName": "O6"
961         },
962         "name": "unnamedWire#42",
963         "path": [
964           {
965             "x": 160.0,
966             "y": 90.0
967           },
968           {
969             "x": 160.0,
970             "y": 95.0
971           }
972         ]
973       },
974       {
975         "pin1": {
976           "compName": "Splitter#1",
977           "pinName": "O5"
978         },
979         "pin2": {
980           "compName": "dff#11",
981           "pinName": "Q"
982         },
983         "name": "unnamedWire#43",
984         "path": [
985           {
986             "x": 160.0,
987             "y": 105.0
988           },
989           {
990             "x": 160.0,
991             "y": 110.0
992           },
993           {
994             "x": 100.0,
995             "y": 110.0
996           },
997           {
998             "x": 100.0,
999             "y": 100.0
1000           }
1001         ]
1002       },
1003       {
1004         "pin1": {
1005           "compName": "Splitter#1",
1006           "pinName": "O4"
1007         },
1008         "pin2": {
1009           "compName": "dff#10",
1010           "pinName": "Q"
1011         },
1012         "name": "unnamedWire#44",
1013         "path": [
1014           {
1015             "x": 160.0,
1016             "y": 115.0
1017           },
1018           {
1019             "x": 160.0,
1020             "y": 120.0
1021           }
1022         ]
1023       },
1024       {
1025         "pin1": {
1026           "compName": "Splitter#1",
1027           "pinName": "O3"
1028         },
1029         "pin2": {
1030           "compName": "dff#8",
1031           "pinName": "Q"
1032         },
1033         "name": "unnamedWire#45",
1034         "path": [
1035           {
1036             "x": 165.0,
1037             "y": 125.0
1038           },
1039           {
1040             "x": 165.0,
1041             "y": 140.0
1042           },
1043           {
1044             "x": 100.0,
1045             "y": 140.0
1046           },
1047           {
1048             "x": 100.0,
1049             "y": 130.0
1050           }
1051         ]
1052       },
1053       {
1054         "pin1": {
1055           "compName": "dff#5",
1056           "pinName": "Q"
1057         },
1058         "pin2": {
1059           "compName": "Splitter#1",
1060           "pinName": "O2"
1061         },
1062         "name": "unnamedWire#46",
1063         "path": [
1064           {
1065             "x": 170.0,
1066             "y": 150.0
1067           },
1068           {
1069             "x": 170.0,
1070             "y": 135.0
1071           }
1072         ]
1073       },
1074       {
1075         "pin1": {
1076           "compName": "Splitter#1",
1077           "pinName": "O1"
1078         },
1079         "pin2": {
1080           "compName": "dff#7",
1081           "pinName": "Q"
1082         },
1083         "name": "unnamedWire#47",
1084         "path": [
1085           {
1086             "x": 175.0,
1087             "y": 145.0
1088           },
1089           {
1090             "x": 175.0,
1091             "y": 170.0
1092           },
1093           {
1094             "x": 100.0,
1095             "y": 170.0
1096           },
1097           {
1098             "x": 100.0,
1099             "y": 160.0
1100           }
1101         ]
1102       },
1103       {
1104         "pin1": {
1105           "compName": "dff#6",
1106           "pinName": "Q"
1107         },
1108         "pin2": {
1109           "compName": "Splitter#1",
1110           "pinName": "O0"
1111         },
1112         "name": "unnamedWire#48",
1113         "path": [
1114           {
1115             "x": 180.0,
1116             "y": 180.0
1117           },
1118           {
1119             "x": 180.0,
1120             "y": 155.0
1121           }
1122         ]
1123       }
1124     ],
1125     "version": "0.1.1"
1126   },
1127   "symbolRendererSnippetID": "simpleRectangularLike",
1128   "symbolRendererParams": {
1129     "centerText": "D flip flop\n12 bit",
1130     "centerTextHeight": 5.0,
1131     "horizontalComponentCenter": 30.0,
1132     "pinLabelHeight": 3.5,
1133     "pinLabelMargin": 0.5
1134   },
1135   "outlineRendererSnippetID": "default",
1136   "highLevelStateHandlerSnippetID": "standard",
1137   "highLevelStateHandlerParams": {
1138     "subcomponentHighLevelStates": {},
1139     "atomicHighLevelStates": {
1140       "q": {
1141         "id": "bitVectorSplitting",
1142         "params": {
1143           "vectorPartTargets": [
1144             "q12",
1145             "q11",
1146             "q10",
1147             "q9",
1148             "q8",
1149             "q7",
1150             "q6",
1151             "q5",
1152             "q4",
1153             "q3",
1154             "q2",
1155             "q1"
1156           ],
1157           "vectorPartLengthes": [
1158             1,
1159             1,
1160             1,
1161             1,
1162             1,
1163             1,
1164             1,
1165             1,
1166             1,
1167             1,
1168             1,
1169             1
1170           ]
1171         }
1172       },
1173       "q1": {
1174         "id": "delegating",
1175         "params": {
1176           "delegateTarget": "dff#6",
1177           "subStateID": "q"
1178         }
1179       },
1180       "q2": {
1181         "id": "delegating",
1182         "params": {
1183           "delegateTarget": "dff#7",
1184           "subStateID": "q"
1185         }
1186       },
1187       "q3": {
1188         "id": "delegating",
1189         "params": {
1190           "delegateTarget": "dff#5",
1191           "subStateID": "q"
1192         }
1193       },
1194       "q4": {
1195         "id": "delegating",
1196         "params": {
1197           "delegateTarget": "dff#8",
1198           "subStateID": "q"
1199         }
1200       },
1201       "q5": {
1202         "id": "delegating",
1203         "params": {
1204           "delegateTarget": "dff#10",
1205           "subStateID": "q"
1206         }
1207       },
1208       "q6": {
1209         "id": "delegating",
1210         "params": {
1211           "delegateTarget": "dff#11",
1212           "subStateID": "q"
1213         }
1214       },
1215       "q7": {
1216         "id": "delegating",
1217         "params": {
1218           "delegateTarget": "dff#9",
1219           "subStateID": "q"
1220         }
1221       },
1222       "q8": {
1223         "id": "delegating",
1224         "params": {
1225           "delegateTarget": "dff#4",
1226           "subStateID": "q"
1227         }
1228       },
1229       "q9": {
1230         "id": "delegating",
1231         "params": {
1232           "delegateTarget": "dff#1",
1233           "subStateID": "q"
1234         }
1235       },
1236       "q10": {
1237         "id": "delegating",
1238         "params": {
1239           "delegateTarget": "dff#3",
1240           "subStateID": "q"
1241         }
1242       },
1243       "q11": {
1244         "id": "delegating",
1245         "params": {
1246           "delegateTarget": "dff#0",
1247           "subStateID": "q"
1248         }
1249       },
1250       "q12": {
1251         "id": "delegating",
1252         "params": {
1253           "delegateTarget": "dff#2",
1254           "subStateID": "q"
1255         }
1256       }
1257     }
1258   },
1259   "version": "0.1.5"
1260 }