1{2 "task_id": "F3-conf-02",3 "family": "F3",4 "split": "conf",5 "data_type": "observed",6 "real_data": "yes",7 "source_documents": "no",8 "oracle_provenance": "independent_code",9 "bundle_sha256": "72bd0760441017e0cd4b184dcd5b514b61e577d851e895d582c6a245515a2603",10 "oracle_sha256": "eedec7d03dd243b4193827a51afdac386dae16fd206fe289174b0f9fb316ba82",11 "infeasible_or_null_truth": "no",12 "created_utc": "2026-10-30T03:44:51.999144+00:00"13}