long[] data = new long[170];
long[] data = new long[28];
	private static final long[] mk_tokenSet_6() {		long[] data = new long[170];		data[0]=4398046511104L;		data[6]=8L;		data[9]=32768L;		data[12]=70368744177664L;		data[13]=68719476736L;		return data;	}