1{2 "task_id": "F4-conf-01",3 "family": "F4",4 "split": "conf",5 "data_type": "observed",6 "real_data": "yes",7 "source_documents": "yes",8 "oracle_provenance": "designer_extraction",9 "bundle_sha256": "6288bfc9e100132b3437607f36b18c3641fa8b7147481e79324b3b915ea6c2fb",10 "oracle_sha256": "6b1f40035072ca62d8892c68a75946607da2e2816432ecba6604ca0f0bef38e0",11 "infeasible_or_null_truth": "no",12 "created_utc": "2026-10-30T03:38:31.138193+00:00"13}14