generators.tdTransducer:
  (
    { TBL_REMOVE_SYNCINFO:9, TBL_axiom_table_:9, Start0:0, S0:0, TBL_2:9, init:1, TBL_1:9, bot:0 },
    { -:0, error_no_init:0, NEW_AXIOM:0, syncinfo:3, proj-2:0, proj-1:0, subst:3, 3:1, 2:1, 1:1, H:6, F:4, tri:3, line:0 },
    { q0, line, NEW_AXIOM },
    {
      q0[init[x1]] -> subst[NEW_AXIOM[x1] , -, -]
    ,
      line[TBL_1[x1,x2,x3,x4,x5,x6,x7,x8,x9]] -> F[subst[line[x1], 1[proj-1], 1[proj-2]],subst[line[x2], 1[proj-1], 2[proj-2]],subst[line[x2], 1[proj-1], 2[proj-2]],subst[line[x1], 1[proj-1], 1[proj-2]]] weight 1.0
      ,
      line[TBL_2[x1,x2,x3,x4,x5,x6,x7,x8,x9]] -> H[subst[line[x1], 1[proj-1], 1[proj-2]],subst[line[x2], 1[proj-1], 2[proj-2]],subst[line[x2], 1[proj-1], 2[proj-2]],subst[line[x1], 1[proj-1], 1[proj-2]],subst[line[x3], 1[proj-1], 3[proj-2]],subst[line[x3], 1[proj-1], 3[proj-2]]] weight 1.0
      ,
      line[TBL_REMOVE_SYNCINFO[x1,x2,x3,x4,x5,x6,x7,x8,x9]] -> line weight 1.0
      ,
      NEW_AXIOM[TBL_axiom_table_[x1,x2,x3,x4,x5,x6,x7,x8,x9]] -> tri[subst[line[x1], 1[proj-1], 1[proj-2]],subst[line[x1], 1[proj-1], 1[proj-2]],subst[line[x1], 1[proj-1], 1[proj-2]]] weight 1.0
      ,
      line[S0] -> syncinfo[line, proj-1,proj-2],
    line[Start0] -> syncinfo[line, proj-1,proj-2],
    
      NEW_AXIOM[S0] -> syncinfo[NEW_AXIOM, proj-1,proj-2],
    NEW_AXIOM[Start0] -> syncinfo[NEW_AXIOM, proj-1,proj-2],
    
   q0[S0] -> error_no_init 
},
    q0
  )