1{2 "task_id": "F2-conf-01",3 "family": "F2",4 "split": "conf",5 "data_type": "synthetic",6 "real_data": "no",7 "source_documents": "no",8 "oracle_provenance": "independent_code",9 "bundle_sha256": "b5e6926b8612fe84faac744b008f5bfa99c6fcd32e03f4c3262162a983ee8334",10 "oracle_sha256": "d5628c5e913ac513d40d3de76007ffbfc44f8339cdecefe099263a0468e16d7a",11 "infeasible_or_null_truth": "yes",12 "created_utc": "2026-10-30T03:29:07.013143+00:00"13}