{
  "task_id": "F6-dev-01",
  "family": "F6",
  "split": "dev",
  "data_type": "observed",
  "real_data": "yes",
  "source_documents": "no",
  "oracle_provenance": "independent_code",
  "bundle_sha256": "7ba9795771dfa09609161e7424d9f4ff50647dc6880df9e0db9e16ec52738cc2",
  "oracle_sha256": "f9ad2737d1a0325a515f2053b4904509146d5670cca59b75e3e741a9079236dc",
  "infeasible_or_null_truth": "no",
  "created_utc": "2026-10-30T03:42:41.723569+00:00"
}