It's generated by mysql workbench