1{2 "task_id": "F1-dev-01",3 "family": "F1",4 "split": "dev",5 "data_type": "synthetic",6 "real_data": "no",7 "source_documents": "no",8 "oracle_provenance": "independent_code",9 "bundle_sha256": "bb4d7172e7ea69f22a3588de158f68de4ba8bd0a81c7021a76c7d39b1067861d",10 "oracle_sha256": "f1b231ab62bfec9b4a8e17c21b0601928f65d815528584f30b0af08ee3d1d142",11 "infeasible_or_null_truth": "no",12 "created_utc": "2026-10-30T03:41:11.600680+00:00"13}