long[] data = new long[170];
long[] data = new long[28];
	private static final long[] mk_tokenSet_15() {		long[] data = new long[170];		data[0]=70368744177664L;		data[2]=33554432L;		data[3]=4L;		data[4]=131072L;		data[13]=274877906944L;		return data;	}