OEIS A309370 a(7) >= 24

Canonical assertion

a Sidon set of 24 distinct binary vectors in {0,1}^7 under componentwise integer addition, with all pairwise sums distinct. Frozen-verified by vela-verify (sidon kind).

Notation is rendered from the stored source. The pinned checkout remains the exact record.

Sourcemodel_output
Assertioncomputational
Evidence0 spans
Standingrecorded

Scope and conditions

computational

Manually added finding; requires evidence review before scientific use.

Provenance summary

Source: verified-combinatorics (canonical Vela witness sidon-a07.witness.json)
Source type: model_output
Recorded: Jun 16, 2026, 11:28 PM
Updated: not recorded
Evidence spans: 0

Exact record identityFinding ID, frontier identity, and pinned Git source

Finding ID: vf_400001d3c1444495
Frontier: vfr_496956067dc5ad79
Commit: 825657d7e87618c0aa6fc9af7e3182e05f324750
Tree: 091277487f92918f3a2016b5463b1a78579a4c9a

Exact source and rootsGit 825657d7e876 and content-addressed ledgers

Source identity

Commit: 825657d7e87618c0aa6fc9af7e3182e05f324750
Tree: 091277487f92918f3a2016b5463b1a78579a4c9a
Committed: 2026-07-20T19:17:24-04:00
Repository: Open source

Content roots

Event log: sha256:11a668d1cdd9caa18f6c3c78ac8c03431bd2ab9beb71f3c62c747d8a7b6571cd
Snapshot: sha256:0441baf3d3c0f7f58e51d8d0b54d2e20ee94c57cfe3fd52ec0ea6dde2ee0c92d
Proposals: sha256:c0908b306b5b6bc022ce4355f630215ea203a8c8b47072e62bc325e3de57ef22
Actor registry: sha256:56255ef713f476f7b5dbce3a52003d1a6e7d6eef92f4895c4e9edb545c173cfa
Artifacts: sha256:65318a8e8ff7dca020c07c5633855d14d24b92fcaed903e483134140cc32d632