generators.tdTransducer:
  (
    { TBL_1_2:4, TBL_1_1:4, TBL_axiom_table_:4, Start0:0, S0:0, TBL_2_1:4, init:1, bot:0 },
    { -:0, a-part:0, C:0, NEW_AXIOM:0, quarters:4, edge:2, syncinfo:3, b-part:0, empty:0, proj-2:0, proj-1:0, subst:3, 2:1, corner:4, 1:1, E:0 },
    { q0, E, C, NEW_AXIOM },
    {
      q0[init[x1]] -> subst[NEW_AXIOM[x1] , -, -]
    ,
      C[TBL_1_1[x1,x2,x3,x4]] -> corner[a-part,subst[E[x2], 1[proj-1], 2[proj-2]],subst[C[x1], 1[proj-1], 1[proj-2]],subst[E[x2], 1[proj-1], 2[proj-2]]] weight 1.0,
      E[TBL_1_1[x1,x2,x3,x4]] -> edge[a-part,subst[E[x1], 1[proj-1], 1[proj-2]]] weight 1.0
      ,
      C[TBL_1_2[x1,x2,x3,x4]] -> corner[b-part,subst[E[x2], 1[proj-1], 2[proj-2]],subst[C[x1], 1[proj-1], 1[proj-2]],subst[E[x2], 1[proj-1], 2[proj-2]]] weight 1.0,
      E[TBL_1_2[x1,x2,x3,x4]] -> edge[b-part,subst[E[x1], 1[proj-1], 1[proj-2]]] weight 1.0
      ,
      C[TBL_2_1[x1,x2,x3,x4]] -> empty weight 1.0,
      E[TBL_2_1[x1,x2,x3,x4]] -> empty weight 1.0
      ,
      NEW_AXIOM[TBL_axiom_table_[x1,x2,x3,x4]] -> quarters[subst[C[x1], 1[proj-1], 1[proj-2]],subst[C[x1], 1[proj-1], 1[proj-2]],subst[C[x1], 1[proj-1], 1[proj-2]],subst[C[x1], 1[proj-1], 1[proj-2]]] weight 1.0
      
      ,
      E[S0] -> syncinfo[E, proj-1,proj-2],
      E[Start0] -> syncinfo[E, proj-1,proj-2]
      ,
      NEW_AXIOM[S0] -> syncinfo[NEW_AXIOM, proj-1,proj-2],
      NEW_AXIOM[Start0] -> syncinfo[NEW_AXIOM, proj-1,proj-2]
      ,
      C[S0] -> syncinfo[C, proj-1,proj-2],
      C[Start0] -> syncinfo[C, proj-1,proj-2]},
    q0
  )