1{2 "task_id": "F1-conf-03",3 "family": "F1",4 "split": "conf",5 "data_type": "synthetic",6 "real_data": "no",7 "source_documents": "no",8 "oracle_provenance": "independent_code",9 "bundle_sha256": "a251c5dd2b17dad0a01466fe57338c9c9f3dfbcfed40d69d8205334364a0f1c9",10 "oracle_sha256": "da310f306e465ff728eff6dcedb3dd0ee14496cc8e05643b02047fe38c9133b4",11 "infeasible_or_null_truth": "no",12 "created_utc": "2026-10-30T03:41:11.660683+00:00"13}