1{2 "task_id": "F2-conf-04",3 "family": "F2",4 "split": "conf",5 "data_type": "observed",6 "real_data": "yes",7 "source_documents": "no",8 "oracle_provenance": "independent_code",9 "bundle_sha256": "2ccad59f602537f40051fddebde3ea12b90a8547d163594df2d0420352e0339e",10 "oracle_sha256": "2f7c8069533800ad85757f4aebbc92e77fb2dc5abf0551660ef43ba00efae589",11 "infeasible_or_null_truth": "no",12 "created_utc": "2026-10-30T03:39:33.081711+00:00"13}