1{2 "task_id": "F6-conf-04",3 "family": "F6",4 "split": "conf",5 "data_type": "synthetic",6 "real_data": "no",7 "source_documents": "no",8 "oracle_provenance": "independent_code",9 "bundle_sha256": "fa4857dfe51956cfef267a76a87b597efe70262f616674fdf4e76ca501d8059d",10 "oracle_sha256": "0c9223f343f191437ea26a918a2a77e21882e6c16a0a86b30fd200135eedc7b7",11 "infeasible_or_null_truth": "no",12 "created_utc": "2026-10-30T03:43:29.620094+00:00"13}