Lopez-Bonilla's closed form for odd $n$, $a(n) = L_n + 2\cos(2\pi n/3) + 2 s_n + 2$ with $s_{n+3} = -s_{n+2} - s_n$, $(s_0, s_1, s_2) = (3, -1, 1)$, is correct for every odd $7 \le n \le 201$: it matches an independently built 18-state window transfer (itself validated against definition-level counts) exactly, through 43-digit values.