1{2 "task_id": "F3-conf-01",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": "3d3666ddb8c8b19c93f6cea1ef983368f52f9eb6cee4696a19ad82111cab35b8",10 "oracle_sha256": "4bdc81b9911fd8af6b7eb61e560a8aed267a9e03218b07adc8afa72728fabe45",11 "infeasible_or_null_truth": "no",12 "created_utc": "2026-10-30T03:41:04.958026+00:00"13}