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