{
  "task_id": "F1-conf-04",
  "family": "F1",
  "split": "conf",
  "data_type": "synthetic",
  "real_data": "no",
  "source_documents": "no",
  "oracle_provenance": "independent_code",
  "bundle_sha256": "0b9030ef4081e6e71f37c13b0009d15acdebb7df22f40be9eb4d8e68b396e17d",
  "oracle_sha256": "c7280d2182d000f0220efae1c9559d91b63d7c1462579422e0ec20c605c67ea2",
  "infeasible_or_null_truth": "yes",
  "created_utc": "2026-10-30T03:41:11.680198+00:00"
}