a（n）=6*a（n-1）-a（n-2）-8*n^2+24*n-10+3^（n-3）*（32*n-80），其中a（1）=a（2）=0-肖恩·欧文2015年9月26日
总尺寸：2*x^3*（3+24*x-54*x^2-8*x^3+3*x^4）/（（1-x）^3x（1-3*x）^2*（1-6*x+x^2））。
对于n>9，a（n）=15*a（n-1）-85*a（n-2）+235*a（n-3）-339*a（n-4）+253*a（n-5）-87*a（n-6）+9*a（n-7）。
a（n）=（-12+16*3^n-3*（3-2*sqrt（2））^n*（-2+sqrt（2））+6*（3+2*sqrt（2））^n+3*sqrt（2）*（3+2*sqrt（2））^n-16*（3+2*3^n）*n+48*n^2）/24。
（结束）
科林·巴克的猜想得到了肖恩·欧文公式的证实-雷·钱德勒2023年7月6日
