>>8
帰納法

a,a,a+2,a+1
cn=2(c(n-1)+c(n-2))
だから前2つの付値が違う時は小さい方+1
なので次の2つがa+2,a+2まで確定
cn=16c(n-3)+12c(n-4)で
a,a,a+2,a-1,a+2,a+2
の次は3つ前からのa-1+4と4つ前からのa+2+2の小さい方+1でa+4確定
最後のa+3も同様