{
  "task_id": "F1-conf-02",
  "family": "F1",
  "split": "conf",
  "data_type": "observed",
  "real_data": "yes",
  "source_documents": "no",
  "oracle_provenance": "independent_code",
  "bundle_sha256": "c13a30fbc4fa5f8502813a0b7c26d62dad6f731f5dafba69c11fd09e8608f0a1",
  "oracle_sha256": "88041d60bfa1855cd036fae779e20faa54360c97a27f3bd8cce7e8f3e114e979",
  "infeasible_or_null_truth": "no",
  "created_utc": "2026-10-30T03:41:11.640136+00:00"
}