data/dev/build_meta.json

{
 "source": "steps + mined v5",
 "stats": {
  "pairs": 136374,
  "skipped_traced": 21438,
  "skipped_empty": 0,
  "skipped_long_state": 250,
  "truncated": 352,
  "dedup_base": 152,
  "dedup_mined": 137,
  "added": 131669,
  "repair": 17272,
  "dev": 2324
 },
 "ctx": 768,
 "n_train": 317492,
 "n_dev": 6165,
 "total_tokens_train": 54542464
}