1{2 "task_id": "F6-conf-02",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": "f8236a8d4aff1da5d035c8c5a5a203abbefcb092e0ba36f04c6ed12b3da5da88",10 "oracle_sha256": "f7f2d808c8764007bf17157960edac7b5811a80cac28d6e6cf3aca547e81b162",11 "infeasible_or_null_truth": "yes",12 "created_utc": "2026-10-30T03:42:41.724905+00:00"13}