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

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