1{2 "task_id": "F3-dev-01",3 "family": "F3",4 "split": "dev",5 "data_type": "observed",6 "real_data": "yes",7 "source_documents": "no",8 "oracle_provenance": "independent_code",9 "bundle_sha256": "47db3ab9ce0210fa4891fd00875f639ab089a3dc9d79145639ccd75e5ac72b99",10 "oracle_sha256": "3c7498c1f70346124c8233d46ab30a2eef957ec2e3437b34674287f93b43016a",11 "infeasible_or_null_truth": "no",12 "created_utc": "2026-10-30T03:36:32.922288+00:00"13}