Format What is the format used by the bag files? What does the output data format (used by Daikon) look like?