1{2 "task_id": "F4-conf-03",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": "b7f53f8118e35079e33ec7f4472d09719d5331039049ca1fb073fc2d61f43d58",10 "oracle_sha256": "23998878a286573a4841e0b223c9efb51cf0be6bfb90da9d7fe40bc4f9200bb2",11 "infeasible_or_null_truth": "yes",12 "created_utc": "2026-10-30T03:45:06.450815+00:00"13}14