あ、わかった┌が一個飛びの置換で◯が隣接する置換か。
でもその “敷き詰め” の “┌” と “◯” の合計が

＞n=2k+1のとき a[n]=k^2、n=2kのとき a[n]=k^2 - 2[(2k-1)/5]

になるのは何故ですか？