{
  "task_id": "F5-conf-04",
  "family": "F5",
  "split": "conf",
  "data_type": "synthetic",
  "real_data": "no",
  "source_documents": "no",
  "oracle_provenance": "analytical",
  "bundle_sha256": "69a692e77615b09bf2128186ae89047d1dd52f8608d41753af6ef7a7c3084209",
  "oracle_sha256": "189c9db11884cf8611f6b8c28bbdcf5b2b97bdc212affe47fd3a5ac02dff3cb1",
  "infeasible_or_null_truth": "no",
  "created_utc": "2026-10-30T03:42:22.079893+00:00"
}