table_synthesis
