Snake in the box

Theorem · snake_small_dimensions

The maximum length for the snake-in-the-box problem is known for dimensions zero through eight; it is $0, 1, 2, 4, 7, 13, 26, 50, 98$ .

Formal statement · Lean 4.lean

theorem snake_small_dimensions :
    map LongestSnakeInTheBox (range 9) = [0, 1, 2, 4, 7, 13, 26, 50, 98] := by
  sorry

Proof. sorry

Nobody has tried yet.