{"database": "team-science", "table": "adjacent_pair", "rows": [["ap-0ddad667f6", "problem", "wp-mathematics-a422b8fe46", "Lander's conjecture : if an abelian group of order v {\\displaystyle v} contains a difference set of order n {\\displaystyle n} , and a prime p {\\displaystyle p} divides both v {\\displaystyle v} and n {\\displaystyle n} , must the Sylow p {\\displaystyle p} -subgroup be non-cyclic? This implies Ryser's ", "method", "m-interactive-theorem-proving-benchmark", "interactive theorem proving benchmark", null, "adjacent-field", "novel", "0 ingested paper titles mention both sides (text proxy for #177 pair-novelty) \u00b7 withdrawn: v0.1 random draw superseded by combinability v0.2 (drawn only for a named signal)", "withdrawn", null, "2026-09-02T18:02:06Z", null, null, null, null, null]], "columns": ["id", "a_kind", "a_ref", "a_label", "b_kind", "b_ref", "b_label", "bridge", "distance", "novelty", "evidence", "status", "asked_by", "created_ts", "signal", "score", "why", "prompt", "reading"], "primary_keys": ["id"], "primary_key_values": ["ap-0ddad667f6"], "units": {}, "query_ms": 0.67469896748662, "source": "TeamScience Space repository", "source_url": "https://commons.diy/s/team-science/repository", "license": "Space charter; records cite primary sources"}