generators.tdTransducer:
  (
    { S0:0, TBLterminate:2, S:0, TBLchoose_colour:2, TBL_axiom_table_:2, bot:0, S7:0, S5:0, TBLgenerate:2, S3:0, init:1, S1:0 },
    { -:0, NEW_AXIOM:0, B:0, A:0, A2:0, syncinfo:2, proj-1:0, subst:2, 2:1, 1:1, B2:0, p2:0, p1:0, G:4, F:8, flipB:1, flipA:1 },
    { A, q0, A2, B2, NEW_AXIOM, B },
    {
      q0[init[x1]] -> subst[NEW_AXIOM[x1] , -]
    ,
      A[TBLgenerate[x1,x2]] -> G[subst[A[x1], 1[proj-1]],subst[A[x2], 2[proj-1]],subst[B[x2], 2[proj-1]],subst[A[x2], 2[proj-1]]] weight 1.0,
      B[TBLgenerate[x1,x2]] -> G[subst[B[x2], 2[proj-1]],subst[B[x1], 1[proj-1]],subst[A[x1], 1[proj-1]],subst[B[x1], 1[proj-1]]] weight 1.0,
      A2[TBLgenerate[x1,x2]] -> subst[A2[x1], 1[proj-1]] weight 1.0,
      B2[TBLgenerate[x1,x2]] -> subst[B2[x1], 1[proj-1]] weight 1.0
      ,
      A[TBLchoose_colour[x1,x2]] -> subst[A2[x1], 1[proj-1]] weight 1.0,
      B[TBLchoose_colour[x1,x2]] -> subst[B2[x1], 1[proj-1]] weight 1.0,
      A2[TBLchoose_colour[x1,x2]] -> flipA[subst[A2[x1], 1[proj-1]]] weight 1.0,
      B2[TBLchoose_colour[x1,x2]] -> flipB[subst[B2[x1], 1[proj-1]]] weight 1.0
      ,
      A2[TBLterminate[x1,x2]] -> p1 weight 1.0,
      B2[TBLterminate[x1,x2]] -> p2 weight 1.0
      ,
      NEW_AXIOM[TBL_axiom_table_[x1,x2]] -> F[subst[A[x1], 1[proj-1]],subst[A[x1], 1[proj-1]],subst[A[x1], 1[proj-1]],subst[A[x1], 1[proj-1]],subst[A[x1], 1[proj-1]],subst[A[x1], 1[proj-1]],subst[A[x1], 1[proj-1]],subst[A[x1], 1[proj-1]]] weight 1.0
      
      ,
      A[S0] -> syncinfo[A, proj-1],
      A[S] -> syncinfo[A, proj-1],
      A[S7] -> syncinfo[A, proj-1],
      A[S5] -> syncinfo[A, proj-1],
      A[S3] -> syncinfo[A, proj-1],
      A[S1] -> syncinfo[A, proj-1]
      ,
      A2[S0] -> syncinfo[A2, proj-1],
      A2[S] -> syncinfo[A2, proj-1],
      A2[S7] -> syncinfo[A2, proj-1],
      A2[S5] -> syncinfo[A2, proj-1],
      A2[S3] -> syncinfo[A2, proj-1],
      A2[S1] -> syncinfo[A2, proj-1]
      ,
      B2[S0] -> syncinfo[B2, proj-1],
      B2[S] -> syncinfo[B2, proj-1],
      B2[S7] -> syncinfo[B2, proj-1],
      B2[S5] -> syncinfo[B2, proj-1],
      B2[S3] -> syncinfo[B2, proj-1],
      B2[S1] -> syncinfo[B2, proj-1]
      ,
      NEW_AXIOM[S0] -> syncinfo[NEW_AXIOM, proj-1],
      NEW_AXIOM[S] -> syncinfo[NEW_AXIOM, proj-1],
      NEW_AXIOM[S7] -> syncinfo[NEW_AXIOM, proj-1],
      NEW_AXIOM[S5] -> syncinfo[NEW_AXIOM, proj-1],
      NEW_AXIOM[S3] -> syncinfo[NEW_AXIOM, proj-1],
      NEW_AXIOM[S1] -> syncinfo[NEW_AXIOM, proj-1]
      ,
      B[S0] -> syncinfo[B, proj-1],
      B[S] -> syncinfo[B, proj-1],
      B[S7] -> syncinfo[B, proj-1],
      B[S5] -> syncinfo[B, proj-1],
      B[S3] -> syncinfo[B, proj-1],
      B[S1] -> syncinfo[B, proj-1]},
    q0
  )