- },
- "q10": {
- "id": "delegating",
- "params": {
- "delegateTarget": "dff#3",
- "subStateID": "q"
- }
- },
- "q11": {
- "id": "delegating",
- "params": {
- "delegateTarget": "dff#0",
- "subStateID": "q"
- }
- },
- "q12": {
- "id": "delegating",
- "params": {
- "delegateTarget": "dff#2",
- "subStateID": "q"
- }
- },
- "q": {
- "id": "bitVectorSplitting",
- "params": {
- "vectorPartTargets": [
- "q12",
- "q11",
- "q10",
- "q9",
- "q8",
- "q7",
- "q6",
- "q5",
- "q4",
- "q3",
- "q2",
- "q1"
- ],
- "vectorPartLengthes": [
- 1,
- 1,
- 1,
- 1,
- 1,
- 1,
- 1,
- 1,
- 1,
- 1,
- 1,
- 1
- ]
- }