generators.tdTransducer:
  (
    { S9:0, S8:0, S7:0, S6:0, TBLgenerate_2_1:8, S5:0, S4:0, S3:0, S2:0, S1:0, S:0, S0:0, S15:0, S14:0, TBL_axiom_table_:8, S13:0, S12:0, bot:0, S11:0, TBLgenerate_1_1:8, S10:0, init:1, TBLterminate_1_1:8, TBLchoose_colour_1_3:8, TBLchoose_colour_1_2:8, TBLchoose_colour_1_1:8 },
    { -:0, p2:0, syncinfo:4, A2:0, p1:0, subst:4, NEW_AXIOM:0, B2:0, proj-3:0, G:4, proj-2:0, F:8, proj-1:0, B:0, A:0, flipB:1, flipA:1, 2:1, 1:1 },
    { A, q0, A2, B2, NEW_AXIOM, B },
    {
      q0[init[x1]] -> subst[NEW_AXIOM[x1] , -, -, -]
    ,
      A[TBLgenerate_1_1[x1,x2,x3,x4,x5,x6,x7,x8]] -> G[subst[A[x1], 1[proj-1], 1[proj-2], 1[proj-3]],subst[A[x3], 1[proj-1], 2[proj-2], 1[proj-3]],subst[B[x3], 1[proj-1], 2[proj-2], 1[proj-3]],subst[A[x3], 1[proj-1], 2[proj-2], 1[proj-3]]] weight 1.0,
      B[TBLgenerate_1_1[x1,x2,x3,x4,x5,x6,x7,x8]] -> G[subst[B[x3], 1[proj-1], 2[proj-2], 1[proj-3]],subst[B[x1], 1[proj-1], 1[proj-2], 1[proj-3]],subst[A[x1], 1[proj-1], 1[proj-2], 1[proj-3]],subst[B[x1], 1[proj-1], 1[proj-2], 1[proj-3]]] weight 1.0,
      A2[TBLgenerate_1_1[x1,x2,x3,x4,x5,x6,x7,x8]] -> subst[A2[x1], 1[proj-1], 1[proj-2], 1[proj-3]] weight 1.0,
      B2[TBLgenerate_1_1[x1,x2,x3,x4,x5,x6,x7,x8]] -> subst[B2[x1], 1[proj-1], 1[proj-2], 1[proj-3]] weight 1.0
      ,
      A[TBLgenerate_2_1[x1,x2,x3,x4,x5,x6,x7,x8]] -> subst[A2[x1], 1[proj-1], 1[proj-2], 1[proj-3]] weight 1.0,
      B[TBLgenerate_2_1[x1,x2,x3,x4,x5,x6,x7,x8]] -> subst[B2[x1], 1[proj-1], 1[proj-2], 1[proj-3]] weight 1.0,
      A2[TBLgenerate_2_1[x1,x2,x3,x4,x5,x6,x7,x8]] -> subst[A2[x1], 1[proj-1], 1[proj-2], 1[proj-3]] weight 1.0,
      B2[TBLgenerate_2_1[x1,x2,x3,x4,x5,x6,x7,x8]] -> subst[B2[x1], 1[proj-1], 1[proj-2], 1[proj-3]] weight 1.0
      ,
      A[TBLchoose_colour_1_1[x1,x2,x3,x4,x5,x6,x7,x8]] -> subst[A2[x1], 1[proj-1], 1[proj-2], 1[proj-3]] weight 1.0,
      B[TBLchoose_colour_1_1[x1,x2,x3,x4,x5,x6,x7,x8]] -> subst[B2[x1], 1[proj-1], 1[proj-2], 1[proj-3]] weight 1.0,
      A2[TBLchoose_colour_1_1[x1,x2,x3,x4,x5,x6,x7,x8]] -> flipA[subst[A2[x1], 1[proj-1], 1[proj-2], 1[proj-3]]] weight 1.0,
      B2[TBLchoose_colour_1_1[x1,x2,x3,x4,x5,x6,x7,x8]] -> flipB[subst[B2[x1], 1[proj-1], 1[proj-2], 1[proj-3]]] weight 1.0
      ,
      A[TBLchoose_colour_1_2[x1,x2,x3,x4,x5,x6,x7,x8]] -> subst[A2[x1], 1[proj-1], 1[proj-2], 1[proj-3]] weight 1.0,
      B[TBLchoose_colour_1_2[x1,x2,x3,x4,x5,x6,x7,x8]] -> subst[B2[x1], 1[proj-1], 1[proj-2], 1[proj-3]] weight 1.0,
      A2[TBLchoose_colour_1_2[x1,x2,x3,x4,x5,x6,x7,x8]] -> subst[A2[x1], 1[proj-1], 1[proj-2], 1[proj-3]] weight 1.0,
      B2[TBLchoose_colour_1_2[x1,x2,x3,x4,x5,x6,x7,x8]] -> subst[B2[x1], 1[proj-1], 1[proj-2], 1[proj-3]] weight 1.0
      ,
      A[TBLchoose_colour_1_3[x1,x2,x3,x4,x5,x6,x7,x8]] -> p1 weight 1.0,
      B[TBLchoose_colour_1_3[x1,x2,x3,x4,x5,x6,x7,x8]] -> p2 weight 1.0,
      A2[TBLchoose_colour_1_3[x1,x2,x3,x4,x5,x6,x7,x8]] -> p1 weight 1.0,
      B2[TBLchoose_colour_1_3[x1,x2,x3,x4,x5,x6,x7,x8]] -> p2 weight 1.0
      ,
      A[TBLterminate_1_1[x1,x2,x3,x4,x5,x6,x7,x8]] -> p1 weight 1.0,
      B[TBLterminate_1_1[x1,x2,x3,x4,x5,x6,x7,x8]] -> p2 weight 1.0,
      A2[TBLterminate_1_1[x1,x2,x3,x4,x5,x6,x7,x8]] -> p1 weight 1.0,
      B2[TBLterminate_1_1[x1,x2,x3,x4,x5,x6,x7,x8]] -> p2 weight 1.0
      ,
      NEW_AXIOM[TBL_axiom_table_[x1,x2,x3,x4,x5,x6,x7,x8]] -> F[subst[A[x1], 1[proj-1], 1[proj-2], 1[proj-3]],subst[A[x1], 1[proj-1], 1[proj-2], 1[proj-3]],subst[A[x1], 1[proj-1], 1[proj-2], 1[proj-3]],subst[A[x1], 1[proj-1], 1[proj-2], 1[proj-3]],subst[A[x1], 1[proj-1], 1[proj-2], 1[proj-3]],subst[A[x1], 1[proj-1], 1[proj-2], 1[proj-3]],subst[A[x1], 1[proj-1], 1[proj-2], 1[proj-3]],subst[A[x1], 1[proj-1], 1[proj-2], 1[proj-3]]] weight 1.0
      
      ,
      A[S0] -> syncinfo[A, proj-1,proj-2,proj-3],
      A[S] -> syncinfo[A, proj-1,proj-2,proj-3],
      A[S9] -> syncinfo[A, proj-1,proj-2,proj-3],
      A[S15] -> syncinfo[A, proj-1,proj-2,proj-3],
      A[S8] -> syncinfo[A, proj-1,proj-2,proj-3],
      A[S14] -> syncinfo[A, proj-1,proj-2,proj-3],
      A[S7] -> syncinfo[A, proj-1,proj-2,proj-3],
      A[S13] -> syncinfo[A, proj-1,proj-2,proj-3],
      A[S6] -> syncinfo[A, proj-1,proj-2,proj-3],
      A[S12] -> syncinfo[A, proj-1,proj-2,proj-3],
      A[S5] -> syncinfo[A, proj-1,proj-2,proj-3],
      A[S11] -> syncinfo[A, proj-1,proj-2,proj-3],
      A[S4] -> syncinfo[A, proj-1,proj-2,proj-3],
      A[S10] -> syncinfo[A, proj-1,proj-2,proj-3],
      A[S3] -> syncinfo[A, proj-1,proj-2,proj-3],
      A[S2] -> syncinfo[A, proj-1,proj-2,proj-3],
      A[S1] -> syncinfo[A, proj-1,proj-2,proj-3]
      ,
      A2[S0] -> syncinfo[A2, proj-1,proj-2,proj-3],
      A2[S] -> syncinfo[A2, proj-1,proj-2,proj-3],
      A2[S9] -> syncinfo[A2, proj-1,proj-2,proj-3],
      A2[S15] -> syncinfo[A2, proj-1,proj-2,proj-3],
      A2[S8] -> syncinfo[A2, proj-1,proj-2,proj-3],
      A2[S14] -> syncinfo[A2, proj-1,proj-2,proj-3],
      A2[S7] -> syncinfo[A2, proj-1,proj-2,proj-3],
      A2[S13] -> syncinfo[A2, proj-1,proj-2,proj-3],
      A2[S6] -> syncinfo[A2, proj-1,proj-2,proj-3],
      A2[S12] -> syncinfo[A2, proj-1,proj-2,proj-3],
      A2[S5] -> syncinfo[A2, proj-1,proj-2,proj-3],
      A2[S11] -> syncinfo[A2, proj-1,proj-2,proj-3],
      A2[S4] -> syncinfo[A2, proj-1,proj-2,proj-3],
      A2[S10] -> syncinfo[A2, proj-1,proj-2,proj-3],
      A2[S3] -> syncinfo[A2, proj-1,proj-2,proj-3],
      A2[S2] -> syncinfo[A2, proj-1,proj-2,proj-3],
      A2[S1] -> syncinfo[A2, proj-1,proj-2,proj-3]
      ,
      B2[S0] -> syncinfo[B2, proj-1,proj-2,proj-3],
      B2[S] -> syncinfo[B2, proj-1,proj-2,proj-3],
      B2[S9] -> syncinfo[B2, proj-1,proj-2,proj-3],
      B2[S15] -> syncinfo[B2, proj-1,proj-2,proj-3],
      B2[S8] -> syncinfo[B2, proj-1,proj-2,proj-3],
      B2[S14] -> syncinfo[B2, proj-1,proj-2,proj-3],
      B2[S7] -> syncinfo[B2, proj-1,proj-2,proj-3],
      B2[S13] -> syncinfo[B2, proj-1,proj-2,proj-3],
      B2[S6] -> syncinfo[B2, proj-1,proj-2,proj-3],
      B2[S12] -> syncinfo[B2, proj-1,proj-2,proj-3],
      B2[S5] -> syncinfo[B2, proj-1,proj-2,proj-3],
      B2[S11] -> syncinfo[B2, proj-1,proj-2,proj-3],
      B2[S4] -> syncinfo[B2, proj-1,proj-2,proj-3],
      B2[S10] -> syncinfo[B2, proj-1,proj-2,proj-3],
      B2[S3] -> syncinfo[B2, proj-1,proj-2,proj-3],
      B2[S2] -> syncinfo[B2, proj-1,proj-2,proj-3],
      B2[S1] -> syncinfo[B2, proj-1,proj-2,proj-3]
      ,
      NEW_AXIOM[S0] -> syncinfo[NEW_AXIOM, proj-1,proj-2,proj-3],
      NEW_AXIOM[S] -> syncinfo[NEW_AXIOM, proj-1,proj-2,proj-3],
      NEW_AXIOM[S9] -> syncinfo[NEW_AXIOM, proj-1,proj-2,proj-3],
      NEW_AXIOM[S15] -> syncinfo[NEW_AXIOM, proj-1,proj-2,proj-3],
      NEW_AXIOM[S8] -> syncinfo[NEW_AXIOM, proj-1,proj-2,proj-3],
      NEW_AXIOM[S14] -> syncinfo[NEW_AXIOM, proj-1,proj-2,proj-3],
      NEW_AXIOM[S7] -> syncinfo[NEW_AXIOM, proj-1,proj-2,proj-3],
      NEW_AXIOM[S13] -> syncinfo[NEW_AXIOM, proj-1,proj-2,proj-3],
      NEW_AXIOM[S6] -> syncinfo[NEW_AXIOM, proj-1,proj-2,proj-3],
      NEW_AXIOM[S12] -> syncinfo[NEW_AXIOM, proj-1,proj-2,proj-3],
      NEW_AXIOM[S5] -> syncinfo[NEW_AXIOM, proj-1,proj-2,proj-3],
      NEW_AXIOM[S11] -> syncinfo[NEW_AXIOM, proj-1,proj-2,proj-3],
      NEW_AXIOM[S4] -> syncinfo[NEW_AXIOM, proj-1,proj-2,proj-3],
      NEW_AXIOM[S10] -> syncinfo[NEW_AXIOM, proj-1,proj-2,proj-3],
      NEW_AXIOM[S3] -> syncinfo[NEW_AXIOM, proj-1,proj-2,proj-3],
      NEW_AXIOM[S2] -> syncinfo[NEW_AXIOM, proj-1,proj-2,proj-3],
      NEW_AXIOM[S1] -> syncinfo[NEW_AXIOM, proj-1,proj-2,proj-3]
      ,
      B[S0] -> syncinfo[B, proj-1,proj-2,proj-3],
      B[S] -> syncinfo[B, proj-1,proj-2,proj-3],
      B[S9] -> syncinfo[B, proj-1,proj-2,proj-3],
      B[S15] -> syncinfo[B, proj-1,proj-2,proj-3],
      B[S8] -> syncinfo[B, proj-1,proj-2,proj-3],
      B[S14] -> syncinfo[B, proj-1,proj-2,proj-3],
      B[S7] -> syncinfo[B, proj-1,proj-2,proj-3],
      B[S13] -> syncinfo[B, proj-1,proj-2,proj-3],
      B[S6] -> syncinfo[B, proj-1,proj-2,proj-3],
      B[S12] -> syncinfo[B, proj-1,proj-2,proj-3],
      B[S5] -> syncinfo[B, proj-1,proj-2,proj-3],
      B[S11] -> syncinfo[B, proj-1,proj-2,proj-3],
      B[S4] -> syncinfo[B, proj-1,proj-2,proj-3],
      B[S10] -> syncinfo[B, proj-1,proj-2,proj-3],
      B[S3] -> syncinfo[B, proj-1,proj-2,proj-3],
      B[S2] -> syncinfo[B, proj-1,proj-2,proj-3],
      B[S1] -> syncinfo[B, proj-1,proj-2,proj-3]},
    q0
  )