static T3S agiBlue_parseTriple(S s) {
  LS split = tok_splitAtSlashes(javaTokWithBrackets(s));
  if (l(split) != 3) null;
  ret listToTriple(uncurlyAll(split));
}