1{2 "task_id": "F3-conf-04",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": "60423555f5292067aebaa897310813f5bbbca474e63d2256e1cb8a67bbad2a1a",10 "oracle_sha256": "e4d1358d226ad618b91a80bf40bd5faca84e88da6cdfcca828d5c14cf5fc5e42",11 "infeasible_or_null_truth": "no",12 "created_utc": "2026-10-30T03:55:58.429558+00:00"13}