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