uncommented print # of triples in v13