1{2 "task_id": "F4-conf-04",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": "73626fc9918061fb09d68315f0b5c65d88db269da2c666b9f24860f2bc1b53e5",10 "oracle_sha256": "6eb80dbbab7f408a8db45bef65c2a569fc1523d30f1976ec112f63c5bd621099",11 "infeasible_or_null_truth": "no",12 "created_utc": "2026-10-30T03:45:06.505419+00:00"13}14