long[] data = new long[170];
long[] data = new long[26];
	private static final long[] mk_tokenSet_10() {		long[] data = new long[170];		data[1]=8L;		data[2]=562949953421312L;		data[4]=4294967552L;		data[6]=2199023255552L;		data[7]=2048L;		data[9]=384L;		data[11]=144115188075855872L;		data[12]=2097152L;		return data;	}