generators.tdTransducer:
  (
    { S0:0, S:0, TBLvh:4, TBLh:4, TBL_axiom_table_:4, bot:0, TBLstopv:4, S6:0, TBLvv:4, TBLstop:4, TBLv:4, S4:0, init:1, S2:0, S1:0 },
    { -:0, ED:0, syncinfo:3, U:0, left:2, subst:3, edge:0, NEW_AXIOM:0, h-breakline:0, left-right:3, corner:0, L:0, rot:1, empty:0, up-down:3, up:2, down:2, UD:0, proj-2:0, proj-1:0, TLR:0, mir:1, EU:0, inner2:0, inner1:0, init:4, TR:0, U2:0, error_no_init:0, right:2, 2:1, 1:1, TL:0 },
    { ED, NEW_AXIOM, TR, U2, TLR, EU, U, UD, TL, q0, L },
    {
      q0[init[x1]] -> subst[NEW_AXIOM[x1] , -, -]
    ,
      L[TBLh[x1,x2,x3,x4]] -> left[subst[UD[x1], 1[proj-1], 1[proj-2]],subst[L[x2], 1[proj-1], 2[proj-2]]] weight 1.0,
      UD[TBLh[x1,x2,x3,x4]] -> subst[UD[x1], 1[proj-1], 1[proj-2]] weight 1.0,
      TLR[TBLh[x1,x2,x3,x4]] -> left-right[subst[U2[x1], 1[proj-1], 1[proj-2]],subst[TL[x2], 1[proj-1], 2[proj-2]],subst[TR[x2], 1[proj-1], 2[proj-2]]] weight 1.0,
      U2[TBLh[x1,x2,x3,x4]] -> subst[U2[x1], 1[proj-1], 1[proj-2]] weight 1.0,
      TL[TBLh[x1,x2,x3,x4]] -> left[subst[U2[x1], 1[proj-1], 1[proj-2]],subst[TL[x2], 1[proj-1], 2[proj-2]]] weight 1.0,
      TR[TBLh[x1,x2,x3,x4]] -> right[subst[U2[x1], 1[proj-1], 1[proj-2]],subst[TR[x2], 1[proj-1], 2[proj-2]]] weight 1.0
      ,
      L[TBLv[x1,x2,x3,x4]] -> up-down[edge,subst[EU[x1], 1[proj-1], 1[proj-2]],subst[ED[x1], 1[proj-1], 1[proj-2]]] weight 1.0,
      EU[TBLv[x1,x2,x3,x4]] -> up[edge,subst[EU[x1], 1[proj-1], 1[proj-2]]] weight 1.0,
      ED[TBLv[x1,x2,x3,x4]] -> down[edge,subst[ED[x1], 1[proj-1], 1[proj-2]]] weight 1.0,
      TL[TBLv[x1,x2,x3,x4]] -> up[inner2,subst[TL[x1], 1[proj-1], 1[proj-2]]] weight 1.0,
      TR[TBLv[x1,x2,x3,x4]] -> up[inner2,subst[TR[x1], 1[proj-1], 1[proj-2]]] weight 1.0,
      UD[TBLv[x1,x2,x3,x4]] -> up-down[inner1,subst[U[x1], 1[proj-1], 1[proj-2]],rot[rot[subst[U[x1], 1[proj-1], 1[proj-2]]]]] weight 1.0,
      U[TBLv[x1,x2,x3,x4]] -> up[inner1,subst[U[x1], 1[proj-1], 1[proj-2]]] weight 1.0,
      U2[TBLv[x1,x2,x3,x4]] -> up[inner2,subst[U2[x1], 1[proj-1], 1[proj-2]]] weight 1.0
      ,
      L[TBLvh[x1,x2,x3,x4]] -> up-down[edge,subst[EU[x1], 1[proj-1], 1[proj-2]],subst[ED[x1], 1[proj-1], 1[proj-2]]] weight 1.0,
      EU[TBLvh[x1,x2,x3,x4]] -> up[edge,subst[EU[x1], 1[proj-1], 1[proj-2]]] weight 1.0,
      ED[TBLvh[x1,x2,x3,x4]] -> down[edge,subst[ED[x1], 1[proj-1], 1[proj-2]]] weight 1.0,
      TL[TBLvh[x1,x2,x3,x4]] -> up[h-breakline,subst[TL[x1], 1[proj-1], 1[proj-2]]] weight 1.0,
      TR[TBLvh[x1,x2,x3,x4]] -> up[h-breakline,subst[TR[x1], 1[proj-1], 1[proj-2]]] weight 1.0,
      UD[TBLvh[x1,x2,x3,x4]] -> up-down[h-breakline,subst[U[x1], 1[proj-1], 1[proj-2]],rot[rot[subst[U[x1], 1[proj-1], 1[proj-2]]]]] weight 1.0,
      U[TBLvh[x1,x2,x3,x4]] -> up[h-breakline,subst[U[x1], 1[proj-1], 1[proj-2]]] weight 1.0,
      U2[TBLvh[x1,x2,x3,x4]] -> up[h-breakline,subst[U2[x1], 1[proj-1], 1[proj-2]]] weight 1.0
      ,
      L[TBLvv[x1,x2,x3,x4]] -> up-down[edge,subst[EU[x1], 1[proj-1], 1[proj-2]],subst[ED[x1], 1[proj-1], 1[proj-2]]] weight 1.0,
      EU[TBLvv[x1,x2,x3,x4]] -> up[edge,subst[EU[x1], 1[proj-1], 1[proj-2]]] weight 1.0,
      ED[TBLvv[x1,x2,x3,x4]] -> down[edge,subst[ED[x1], 1[proj-1], 1[proj-2]]] weight 1.0,
      TL[TBLvv[x1,x2,x3,x4]] -> up[inner2,subst[TL[x1], 1[proj-1], 1[proj-2]]] weight 1.0,
      TR[TBLvv[x1,x2,x3,x4]] -> up[inner2,subst[TR[x1], 1[proj-1], 1[proj-2]]] weight 1.0,
      UD[TBLvv[x1,x2,x3,x4]] -> up-down[rot[h-breakline],subst[U[x1], 1[proj-1], 1[proj-2]],rot[rot[subst[U[x1], 1[proj-1], 1[proj-2]]]]] weight 1.0,
      U[TBLvv[x1,x2,x3,x4]] -> up[rot[h-breakline],subst[U[x1], 1[proj-1], 1[proj-2]]] weight 1.0,
      U2[TBLvv[x1,x2,x3,x4]] -> up[rot[h-breakline],subst[U2[x1], 1[proj-1], 1[proj-2]]] weight 1.0
      ,
      ED[TBLstop[x1,x2,x3,x4]] -> mir[corner] weight 1.0,
      EU[TBLstop[x1,x2,x3,x4]] -> corner weight 1.0,
      U[TBLstop[x1,x2,x3,x4]] -> inner1 weight 1.0,
      U2[TBLstop[x1,x2,x3,x4]] -> rot[edge] weight 1.0,
      TL[TBLstop[x1,x2,x3,x4]] -> rot[mir[corner]] weight 1.0,
      TR[TBLstop[x1,x2,x3,x4]] -> rot[corner] weight 1.0
      ,
      ED[TBLstopv[x1,x2,x3,x4]] -> mir[corner] weight 1.0,
      EU[TBLstopv[x1,x2,x3,x4]] -> corner weight 1.0,
      U[TBLstopv[x1,x2,x3,x4]] -> rot[h-breakline] weight 1.0,
      U2[TBLstopv[x1,x2,x3,x4]] -> rot[edge] weight 1.0,
      TL[TBLstopv[x1,x2,x3,x4]] -> rot[mir[corner]] weight 1.0,
      TR[TBLstopv[x1,x2,x3,x4]] -> rot[corner] weight 1.0
      ,
      NEW_AXIOM[TBL_axiom_table_[x1,x2,x3,x4]] -> init[subst[TLR[x1], 1[proj-1], 1[proj-2]],subst[TLR[x1], 1[proj-1], 1[proj-2]],subst[L[x2], 1[proj-1], 2[proj-2]],subst[L[x2], 1[proj-1], 2[proj-2]]] weight 1.0
      ,
      ED[S6] -> syncinfo[ED, proj-1,proj-2],
    ED[S4] -> syncinfo[ED, proj-1,proj-2],
    ED[S] -> syncinfo[ED, proj-1,proj-2],
    ED[S2] -> syncinfo[ED, proj-1,proj-2],
    ED[S1] -> syncinfo[ED, proj-1,proj-2],
    ED[S0] -> syncinfo[ED, proj-1,proj-2],
    
      NEW_AXIOM[S6] -> syncinfo[NEW_AXIOM, proj-1,proj-2],
    NEW_AXIOM[S4] -> syncinfo[NEW_AXIOM, proj-1,proj-2],
    NEW_AXIOM[S] -> syncinfo[NEW_AXIOM, proj-1,proj-2],
    NEW_AXIOM[S2] -> syncinfo[NEW_AXIOM, proj-1,proj-2],
    NEW_AXIOM[S1] -> syncinfo[NEW_AXIOM, proj-1,proj-2],
    NEW_AXIOM[S0] -> syncinfo[NEW_AXIOM, proj-1,proj-2],
    
      TR[S6] -> syncinfo[TR, proj-1,proj-2],
    TR[S4] -> syncinfo[TR, proj-1,proj-2],
    TR[S] -> syncinfo[TR, proj-1,proj-2],
    TR[S2] -> syncinfo[TR, proj-1,proj-2],
    TR[S1] -> syncinfo[TR, proj-1,proj-2],
    TR[S0] -> syncinfo[TR, proj-1,proj-2],
    
      U2[S6] -> syncinfo[U2, proj-1,proj-2],
    U2[S4] -> syncinfo[U2, proj-1,proj-2],
    U2[S] -> syncinfo[U2, proj-1,proj-2],
    U2[S2] -> syncinfo[U2, proj-1,proj-2],
    U2[S1] -> syncinfo[U2, proj-1,proj-2],
    U2[S0] -> syncinfo[U2, proj-1,proj-2],
    
      TLR[S6] -> syncinfo[TLR, proj-1,proj-2],
    TLR[S4] -> syncinfo[TLR, proj-1,proj-2],
    TLR[S] -> syncinfo[TLR, proj-1,proj-2],
    TLR[S2] -> syncinfo[TLR, proj-1,proj-2],
    TLR[S1] -> syncinfo[TLR, proj-1,proj-2],
    TLR[S0] -> syncinfo[TLR, proj-1,proj-2],
    
      EU[S6] -> syncinfo[EU, proj-1,proj-2],
    EU[S4] -> syncinfo[EU, proj-1,proj-2],
    EU[S] -> syncinfo[EU, proj-1,proj-2],
    EU[S2] -> syncinfo[EU, proj-1,proj-2],
    EU[S1] -> syncinfo[EU, proj-1,proj-2],
    EU[S0] -> syncinfo[EU, proj-1,proj-2],
    
      U[S6] -> syncinfo[U, proj-1,proj-2],
    U[S4] -> syncinfo[U, proj-1,proj-2],
    U[S] -> syncinfo[U, proj-1,proj-2],
    U[S2] -> syncinfo[U, proj-1,proj-2],
    U[S1] -> syncinfo[U, proj-1,proj-2],
    U[S0] -> syncinfo[U, proj-1,proj-2],
    
      TL[S6] -> syncinfo[TL, proj-1,proj-2],
    TL[S4] -> syncinfo[TL, proj-1,proj-2],
    TL[S] -> syncinfo[TL, proj-1,proj-2],
    TL[S2] -> syncinfo[TL, proj-1,proj-2],
    TL[S1] -> syncinfo[TL, proj-1,proj-2],
    TL[S0] -> syncinfo[TL, proj-1,proj-2],
    
      UD[S6] -> syncinfo[UD, proj-1,proj-2],
    UD[S4] -> syncinfo[UD, proj-1,proj-2],
    UD[S] -> syncinfo[UD, proj-1,proj-2],
    UD[S2] -> syncinfo[UD, proj-1,proj-2],
    UD[S1] -> syncinfo[UD, proj-1,proj-2],
    UD[S0] -> syncinfo[UD, proj-1,proj-2],
    
      L[S6] -> syncinfo[L, proj-1,proj-2],
    L[S4] -> syncinfo[L, proj-1,proj-2],
    L[S] -> syncinfo[L, proj-1,proj-2],
    L[S2] -> syncinfo[L, proj-1,proj-2],
    L[S1] -> syncinfo[L, proj-1,proj-2],
    L[S0] -> syncinfo[L, proj-1,proj-2],
    
   q0[S6] -> error_no_init 
},
    q0
  )