1{2 "task_id": "F6-conf-03",3 "family": "F6",4 "split": "conf",5 "data_type": "observed",6 "real_data": "yes",7 "source_documents": "no",8 "oracle_provenance": "independent_code",9 "bundle_sha256": "26ee50278611967d5a80428b531496d9c1fe94953c8b0eae4e0e15c57c96d0aa",10 "oracle_sha256": "e605f4646a87a44aa733c28992c93adb555b9c9bed004be061cc3bef0506accf",11 "infeasible_or_null_truth": "no",12 "created_utc": "2026-10-30T03:42:41.725294+00:00"13}