Go: package main

import (
	"bufio"
	"fmt"
	"io"
	"os"
	"strconv"
)

const (
	initialBufSize = 10000000
	maxBufSize     = 100000000
)

var sc *bufio.Scanner

func initScanner(r io.Reader) *bufio.Scanner {
	buf := make([]byte, initialBufSize)

	sc := bufio.NewScanner(r)
	sc.Buffer(buf, maxBufSize)
	sc.Split(bufio.ScanWords) // bufio.ScanLines
	return sc
}

func main() {
	sc = initScanner(os.Stdin)
	resolve()
}

func nextInt(sc *bufio.Scanner) int {
	sc.Scan()
	a, _ := strconv.Atoi(sc.Text())
	return int(a)
}
func nextString(sc *bufio.Scanner) string {
	sc.Scan()
	return sc.Text()
}

func nextIntSlice(sc *bufio.Scanner, n int) (a []int) {
	a = make([]int, n)
	for i := 0; i < n; i++ {
		a[i] = nextInt(sc)
	}
	return a
}

var dp [][]int

func initDP(n int) {
	dp = make([][]int, n+1)
	for i := 0; i < len(dp); i++ {
		dp[i] = make([]int, n+1)
		for j := 0; j < len(dp[0]); j++ {
			dp[i][j] = -1
		}
	}
}

func resolve() {
	ans := []int{}
	for true {
		n := nextInt(sc)
		if n == 0 {
			break
		}
		as := nextIntSlice(sc, n)
		initDP(n)
		_rec(as, n, 0, n)
		ans = append(ans, dp[0][n])
	}
	for _, v := range ans {
		fmt.Println(v)
	}
	return
}

func _rec(as []int, n, l, r int) int {
	if dp[l][r] > -1 {
		return dp[l][r]
	}
	if r-l == 1 { // prevent to hit daruma
		dp[l][r] = 0
		return dp[l][r]
	}
	if r-l == 2 {
		if abs(as[l]-as[r-1]) <= 1 {
			dp[l][r] = 2
		} else {
			dp[l][r] = 0
		}
		return dp[l][r]
	}
	if abs(as[l]-as[r-1]) <= 1 {
		v := _rec(as, n, l+1, r-1)
		// if we can remove internal blocks
		if (r - 1 - (l + 1)) == v {
			dp[l][r] = v + 2
			return dp[l][r]
		} else {
			dp[l][r] = v
		}
	}
	for i := l + 1; i < r; i++ {
		v := _rec(as, n, l, i) + _rec(as, n, i, r)
		if dp[l][r] < v {
			dp[l][r] = v
		}
	}
	return dp[l][r]
}

func abs(v int) int {
	if v < 0 {
		return -v
	}
	return v
}

C++: #include <iostream>
#include <vector>
#include <algorithm>
using namespace std;

int main(){
	while(1){
		int n;
		cin >> n;
		if(n==0) break;
		
		vector<int> w(n+1);
		for(int i=0; i<n; i++) cin >> w[i];
		
		vector<vector<int> > dp(n+1, vector<int>(n+1, 0));
		for(int i=2; i<=n; i++){
			for(int j=0; j+i<=n; j++){
				for(int k=1; k<i; k++){
					dp[j][i] = max(dp[j][i], dp[j][k] +dp[j+k][i-k]);
				}
				if(dp[j+1][i-2]==i-2 && abs(w[j]-w[j+i-1])<=1){
					dp[j][i] = i;
				}
			}
		}
		cout << dp[0][n] << endl;
	} 
	return 0;
}

C++: // https://kimiyuki.net/writeup/algo/etc/icpc-2016-domestic-d/
// http://tsutaj.hatenablog.com/entry/2017/03/07/173127
#include <bits/stdc++.h>
using namespace std;

int w[300];
bool isOK[301][301];    // isOK[l][r] := [l, r)が連続して取り出し可能かどうか
int DP[301][301];       // DP[l][r] := [l, r)取り出し可能なブロック数

bool isConnected(int i, int j) {
    return abs(w[i] - w[j]) <= 1;
}

bool solve()
{
    int n;
    cin >> n;
    if(n == 0) return false;
    for(int i = 0; i < n; ++i) cin >> w[i];
    memset(isOK, 0, sizeof(isOK));
    memset(DP, 0, sizeof(DP));
    for(int i = 0; i < n; ++i) {
        isOK[i][i] = true;
    }
    for(int len = 2; len <= n; ++len) {
        for(int i = 0; i + len <= n; ++i) {
            // [i, i + len) が取り出し可能か調べる

            // [i + 1, i + len - 1) が取り出し可能で、i番目と(i+len-1)番目のブロックの差が1以下なら
            // [i, i + len) は取り出し可能
            if(isOK[i+1][i + len - 1] && isConnected(i, i + len - 1)) {
                isOK[i][i+len] = true;
                continue;
            }

            // [i, i+k) と [i+k, i+len)が取り出し可能なら[i, i+len)も取り出し可能
            for(int k = 0; k <= len; ++k) {
                if(isOK[i][i+k] && isOK[i+k][i+len]) {
                    isOK[i][i+len] = true;
                    break;
                }
            }
        }
    }
    
    // 区間DPで「区間どうしがおなじ頂点（ブロック）を被覆しないようにいくつか区間を選ぶときの、
    // 被覆できる頂点（ブロック）の最大値」を求める
    for(int left = 0; left < n; ++left) {
        for(int right = left; right <= n; ++right) {
            if(isOK[left][right]) DP[left][right] = right - left;
        }
    }

    for(int len = 0; len <= n; ++len) {
        for(int left = 0; left <= n; ++left) {
            int right = left + len;
            if(n < right) break;
            for(int k = left; k <= right; ++k) {
                DP[left][right] = max(DP[left][right], DP[left][k] + DP[k][right]);
            }
        }
    }
    // 以下の遷移の仕方でもACになった。なんでかはわからない、、、
    /*
    for(int left = 0; left <= n; ++left) {
        for(int right = left; right <= n; ++right) {
            for(int k = left; k <= right; ++k) {
                DP[left][right] = max(DP[left][right], DP[left][k] + DP[k][right]);
            }
        }
    }
    */
    // 上の遷移でACになったので、実際に参照する値はleft == 0の時のみなので、上の遷移の無駄を省いたところ、これもACになった。
    /*
    for(int right = 0; right <= n; ++right) {
        for(int k = 0; k <= right; ++k) {
            DP[0][right] = max(DP[0][right], DP[0][k] + DP[k][right]);
        }
    }
    */
    cout << DP[0][n] << endl;
    return true;
}

int main() {
    while(solve());
    return 0;
}

C++: #include <bits/stdc++.h>
#define MOD 1000000007LL
using namespace std;

typedef long long ll;
typedef pair<int,int> P;

int n;
int w[301];
int dp[301][301];

int func(int l,int r){
	if(dp[l][r]!=-1)return dp[l][r];
	if(l+1>=r)return 0;
	if(l+2==r){
		if(abs(w[l]-w[l+1])<=1)return 2;
		else return 0;
	}
	int res=0;
	res=max(res,func(l+1,r));
	res=max(res,func(l+2,r)+(abs(w[l]-w[l+1])<=1?2:0));
	res=max(res,func(l,r-1));
	res=max(res,func(l,r-2)+(abs(w[r-1]-w[r-2])<=1?2:0));
	if(abs(w[l]-w[r-1])<=1){
		int v=func(l+1,r-1);
		if(v==((r-1)-(l+1))){
			res=r-l;
		}
	}
	return (dp[l][r]=res);
}

int main(void){
	while(1){
		scanf("%d",&n);
		if(n==0)break;
		for(int i=0;i<n;i++){
			scanf("%d",&w[i]);
		}
		memset(dp,-1,sizeof(dp));
		printf("%d\n",func(0,n));
	}
	return 0;
}