1{2 "task_id": "F3-conf-03",3 "family": "F3",4 "split": "conf",5 "data_type": "observed",6 "real_data": "yes",7 "source_documents": "no",8 "oracle_provenance": "independent_code",9 "bundle_sha256": "f3e5a971802b57e92ae4fad13bebd464e6a5dc2f755df9aa9420e2b515763cf8",10 "oracle_sha256": "273d2af8cf5c5aa4208c6c027b99b3bb991a50206b54c5d3c1a212dd610f3935",11 "infeasible_or_null_truth": "no",12 "created_utc": "2026-10-30T03:52:35.811207+00:00"13}