static T3S agiBlue_parseTriple(S s) {
  ret agiBlue_parseTriple(javaTokWithBrackets(s));
}

static T3S agiBlue_parseTriple(LS tok) {
  LS split = tok_splitAtSlashes(tok);
  if (l(split) != 3 || !allNempty(split)) null;
  ret listToTriple(uncurlyAll(split));
}