long[] data = new long[170];
long[] data = new long[24];
	private static final long[] mk_tokenSet_16() {		long[] data = new long[170];		data[7]=1024L;		data[10]=2199023255552L;		data[11]=72057594172145664L;		return data;	}