drop table symbol;
create table symbol (
  id int auto_increment primary key,
  name text not null
);

create index on symbol (name); // doesn't work

create table triple (
  globalID varchar(16) primary key,
  a int,
  b int,
  c int
);