Committed TRIOLET.json.