generators.tdTransducer:
  (
    { S9:0, TBLbuild_lake_6:9, S8:0, TBLbuild_lake_5:9, S7:0, TBLbuild_lake_4:9, S6:0, TBLbuild_lake_3:9, S5:0, TBLbuild_lake_2:9, S4:0, TBLbuild_lake_1:9, S3:0, S2:0, S1:0, S:0, S0:0, TBLterminate_1:9, S18:0, S16:0, S14:0, S13:0, S12:0, bot:0, S11:0, S10:0, TBLmir_1:9, init:1, TBLstart_lake_1:9 },
    { -:0, syncinfo:3, subst:3, O:0, M:0, J:2, I:3, H:3, G:2, proj-2:0, F:4, proj-1:0, C:0, B:0, A:0, MIR:0, sq:0, error_no_init:0, 3:1, 2:1, 1:1 },
    { A, q0, MIR, O, C, B, M },
    {
      q0[init[x1]] -> subst[MIR[x1] , -, -]
    ,
      MIR[TBLmir_1[x1,x2,x3,x4,x5,x6,x7,x8,x9]] -> F[subst[A[x1], 1[proj-1], 1[proj-2]],subst[B[x1], 1[proj-1], 1[proj-2]],subst[C[x1], 1[proj-1], 1[proj-2]],subst[MIR[x1], 1[proj-1], 1[proj-2]]] weight 1.0,
      A[TBLmir_1[x1,x2,x3,x4,x5,x6,x7,x8,x9]] -> subst[A[x1], 1[proj-1], 1[proj-2]] weight 1.0,
      B[TBLmir_1[x1,x2,x3,x4,x5,x6,x7,x8,x9]] -> subst[B[x1], 1[proj-1], 1[proj-2]] weight 1.0,
      C[TBLmir_1[x1,x2,x3,x4,x5,x6,x7,x8,x9]] -> subst[C[x1], 1[proj-1], 1[proj-2]] weight 1.0
      ,
      MIR[TBLstart_lake_1[x1,x2,x3,x4,x5,x6,x7,x8,x9]] -> - weight 1.0,
      A[TBLstart_lake_1[x1,x2,x3,x4,x5,x6,x7,x8,x9]] -> subst[M[x1], 1[proj-1], 1[proj-2]] weight 1.0,
      B[TBLstart_lake_1[x1,x2,x3,x4,x5,x6,x7,x8,x9]] -> subst[O[x2], 1[proj-1], 2[proj-2]] weight 1.0,
      C[TBLstart_lake_1[x1,x2,x3,x4,x5,x6,x7,x8,x9]] -> subst[O[x3], 1[proj-1], 3[proj-2]] weight 1.0
      ,
      M[TBLbuild_lake_1[x1,x2,x3,x4,x5,x6,x7,x8,x9]] -> G[subst[M[x1], 1[proj-1], 1[proj-2]],subst[M[x2], 1[proj-1], 2[proj-2]]] weight 1.0,
      O[TBLbuild_lake_1[x1,x2,x3,x4,x5,x6,x7,x8,x9]] -> J[subst[O[x1], 1[proj-1], 1[proj-2]],subst[O[x2], 1[proj-1], 2[proj-2]]] weight 1.0
      ,
      M[TBLbuild_lake_2[x1,x2,x3,x4,x5,x6,x7,x8,x9]] -> G[subst[M[x1], 1[proj-1], 1[proj-2]],subst[M[x2], 1[proj-1], 2[proj-2]]] weight 1.0,
      O[TBLbuild_lake_2[x1,x2,x3,x4,x5,x6,x7,x8,x9]] -> J[subst[M[x1], 1[proj-1], 1[proj-2]],subst[M[x2], 1[proj-1], 2[proj-2]]] weight 1.0
      ,
      M[TBLbuild_lake_3[x1,x2,x3,x4,x5,x6,x7,x8,x9]] -> H[subst[M[x1], 1[proj-1], 1[proj-2]],subst[O[x2], 1[proj-1], 2[proj-2]],subst[O[x3], 1[proj-1], 3[proj-2]]] weight 1.0,
      O[TBLbuild_lake_3[x1,x2,x3,x4,x5,x6,x7,x8,x9]] -> J[subst[O[x1], 1[proj-1], 1[proj-2]],subst[O[x2], 1[proj-1], 2[proj-2]]] weight 1.0
      ,
      M[TBLbuild_lake_4[x1,x2,x3,x4,x5,x6,x7,x8,x9]] -> H[subst[M[x1], 1[proj-1], 1[proj-2]],subst[O[x2], 1[proj-1], 2[proj-2]],subst[O[x3], 1[proj-1], 3[proj-2]]] weight 1.0,
      O[TBLbuild_lake_4[x1,x2,x3,x4,x5,x6,x7,x8,x9]] -> J[subst[M[x1], 1[proj-1], 1[proj-2]],subst[M[x2], 1[proj-1], 2[proj-2]]] weight 1.0
      ,
      M[TBLbuild_lake_5[x1,x2,x3,x4,x5,x6,x7,x8,x9]] -> I[subst[O[x1], 1[proj-1], 1[proj-2]],subst[O[x2], 1[proj-1], 2[proj-2]],subst[M[x3], 1[proj-1], 3[proj-2]]] weight 1.0,
      O[TBLbuild_lake_5[x1,x2,x3,x4,x5,x6,x7,x8,x9]] -> J[subst[O[x1], 1[proj-1], 1[proj-2]],subst[O[x2], 1[proj-1], 2[proj-2]]] weight 1.0
      ,
      M[TBLbuild_lake_6[x1,x2,x3,x4,x5,x6,x7,x8,x9]] -> I[subst[O[x1], 1[proj-1], 1[proj-2]],subst[O[x2], 1[proj-1], 2[proj-2]],subst[M[x3], 1[proj-1], 3[proj-2]]] weight 1.0,
      O[TBLbuild_lake_6[x1,x2,x3,x4,x5,x6,x7,x8,x9]] -> J[subst[M[x1], 1[proj-1], 1[proj-2]],subst[M[x2], 1[proj-1], 2[proj-2]]] weight 1.0
      ,
      M[TBLterminate_1[x1,x2,x3,x4,x5,x6,x7,x8,x9]] -> sq weight 1.0,
      O[TBLterminate_1[x1,x2,x3,x4,x5,x6,x7,x8,x9]] -> sq weight 1.0
      ,
      A[S9] -> syncinfo[A, proj-1,proj-2],
    A[S8] -> syncinfo[A, proj-1,proj-2],
    A[S7] -> syncinfo[A, proj-1,proj-2],
    A[S6] -> syncinfo[A, proj-1,proj-2],
    A[S5] -> syncinfo[A, proj-1,proj-2],
    A[S4] -> syncinfo[A, proj-1,proj-2],
    A[S3] -> syncinfo[A, proj-1,proj-2],
    A[S2] -> syncinfo[A, proj-1,proj-2],
    A[S1] -> syncinfo[A, proj-1,proj-2],
    A[S] -> syncinfo[A, proj-1,proj-2],
    A[S0] -> syncinfo[A, proj-1,proj-2],
    A[S18] -> syncinfo[A, proj-1,proj-2],
    A[S16] -> syncinfo[A, proj-1,proj-2],
    A[S14] -> syncinfo[A, proj-1,proj-2],
    A[S13] -> syncinfo[A, proj-1,proj-2],
    A[S12] -> syncinfo[A, proj-1,proj-2],
    A[S11] -> syncinfo[A, proj-1,proj-2],
    A[S10] -> syncinfo[A, proj-1,proj-2],
    
      O[S9] -> syncinfo[O, proj-1,proj-2],
    O[S8] -> syncinfo[O, proj-1,proj-2],
    O[S7] -> syncinfo[O, proj-1,proj-2],
    O[S6] -> syncinfo[O, proj-1,proj-2],
    O[S5] -> syncinfo[O, proj-1,proj-2],
    O[S4] -> syncinfo[O, proj-1,proj-2],
    O[S3] -> syncinfo[O, proj-1,proj-2],
    O[S2] -> syncinfo[O, proj-1,proj-2],
    O[S1] -> syncinfo[O, proj-1,proj-2],
    O[S] -> syncinfo[O, proj-1,proj-2],
    O[S0] -> syncinfo[O, proj-1,proj-2],
    O[S18] -> syncinfo[O, proj-1,proj-2],
    O[S16] -> syncinfo[O, proj-1,proj-2],
    O[S14] -> syncinfo[O, proj-1,proj-2],
    O[S13] -> syncinfo[O, proj-1,proj-2],
    O[S12] -> syncinfo[O, proj-1,proj-2],
    O[S11] -> syncinfo[O, proj-1,proj-2],
    O[S10] -> syncinfo[O, proj-1,proj-2],
    
      MIR[S9] -> syncinfo[MIR, proj-1,proj-2],
    MIR[S8] -> syncinfo[MIR, proj-1,proj-2],
    MIR[S7] -> syncinfo[MIR, proj-1,proj-2],
    MIR[S6] -> syncinfo[MIR, proj-1,proj-2],
    MIR[S5] -> syncinfo[MIR, proj-1,proj-2],
    MIR[S4] -> syncinfo[MIR, proj-1,proj-2],
    MIR[S3] -> syncinfo[MIR, proj-1,proj-2],
    MIR[S2] -> syncinfo[MIR, proj-1,proj-2],
    MIR[S1] -> syncinfo[MIR, proj-1,proj-2],
    MIR[S] -> syncinfo[MIR, proj-1,proj-2],
    MIR[S0] -> syncinfo[MIR, proj-1,proj-2],
    MIR[S18] -> syncinfo[MIR, proj-1,proj-2],
    MIR[S16] -> syncinfo[MIR, proj-1,proj-2],
    MIR[S14] -> syncinfo[MIR, proj-1,proj-2],
    MIR[S13] -> syncinfo[MIR, proj-1,proj-2],
    MIR[S12] -> syncinfo[MIR, proj-1,proj-2],
    MIR[S11] -> syncinfo[MIR, proj-1,proj-2],
    MIR[S10] -> syncinfo[MIR, proj-1,proj-2],
    
      C[S9] -> syncinfo[C, proj-1,proj-2],
    C[S8] -> syncinfo[C, proj-1,proj-2],
    C[S7] -> syncinfo[C, proj-1,proj-2],
    C[S6] -> syncinfo[C, proj-1,proj-2],
    C[S5] -> syncinfo[C, proj-1,proj-2],
    C[S4] -> syncinfo[C, proj-1,proj-2],
    C[S3] -> syncinfo[C, proj-1,proj-2],
    C[S2] -> syncinfo[C, proj-1,proj-2],
    C[S1] -> syncinfo[C, proj-1,proj-2],
    C[S] -> syncinfo[C, proj-1,proj-2],
    C[S0] -> syncinfo[C, proj-1,proj-2],
    C[S18] -> syncinfo[C, proj-1,proj-2],
    C[S16] -> syncinfo[C, proj-1,proj-2],
    C[S14] -> syncinfo[C, proj-1,proj-2],
    C[S13] -> syncinfo[C, proj-1,proj-2],
    C[S12] -> syncinfo[C, proj-1,proj-2],
    C[S11] -> syncinfo[C, proj-1,proj-2],
    C[S10] -> syncinfo[C, proj-1,proj-2],
    
      M[S9] -> syncinfo[M, proj-1,proj-2],
    M[S8] -> syncinfo[M, proj-1,proj-2],
    M[S7] -> syncinfo[M, proj-1,proj-2],
    M[S6] -> syncinfo[M, proj-1,proj-2],
    M[S5] -> syncinfo[M, proj-1,proj-2],
    M[S4] -> syncinfo[M, proj-1,proj-2],
    M[S3] -> syncinfo[M, proj-1,proj-2],
    M[S2] -> syncinfo[M, proj-1,proj-2],
    M[S1] -> syncinfo[M, proj-1,proj-2],
    M[S] -> syncinfo[M, proj-1,proj-2],
    M[S0] -> syncinfo[M, proj-1,proj-2],
    M[S18] -> syncinfo[M, proj-1,proj-2],
    M[S16] -> syncinfo[M, proj-1,proj-2],
    M[S14] -> syncinfo[M, proj-1,proj-2],
    M[S13] -> syncinfo[M, proj-1,proj-2],
    M[S12] -> syncinfo[M, proj-1,proj-2],
    M[S11] -> syncinfo[M, proj-1,proj-2],
    M[S10] -> syncinfo[M, proj-1,proj-2],
    
      B[S9] -> syncinfo[B, proj-1,proj-2],
    B[S8] -> syncinfo[B, proj-1,proj-2],
    B[S7] -> syncinfo[B, proj-1,proj-2],
    B[S6] -> syncinfo[B, proj-1,proj-2],
    B[S5] -> syncinfo[B, proj-1,proj-2],
    B[S4] -> syncinfo[B, proj-1,proj-2],
    B[S3] -> syncinfo[B, proj-1,proj-2],
    B[S2] -> syncinfo[B, proj-1,proj-2],
    B[S1] -> syncinfo[B, proj-1,proj-2],
    B[S] -> syncinfo[B, proj-1,proj-2],
    B[S0] -> syncinfo[B, proj-1,proj-2],
    B[S18] -> syncinfo[B, proj-1,proj-2],
    B[S16] -> syncinfo[B, proj-1,proj-2],
    B[S14] -> syncinfo[B, proj-1,proj-2],
    B[S13] -> syncinfo[B, proj-1,proj-2],
    B[S12] -> syncinfo[B, proj-1,proj-2],
    B[S11] -> syncinfo[B, proj-1,proj-2],
    B[S10] -> syncinfo[B, proj-1,proj-2],
    
   q0[S9] -> error_no_init 
},
    q0
  )