1{2 "task_id": "F5-conf-02",3 "family": "F5",4 "split": "conf",5 "data_type": "synthetic",6 "real_data": "no",7 "source_documents": "no",8 "oracle_provenance": "analytical",9 "bundle_sha256": "cbad893d5aff4b816b6c85200a78740ae10635b39d255672b74735d8c813a022",10 "oracle_sha256": "f3f3f9d6197efad30f33fd30b7fd2af232f339da9f1fd4b5b538f298ec4214a5",11 "infeasible_or_null_truth": "no",12 "created_utc": "2026-10-30T03:42:22.079893+00:00"13}