long[] data = { 1103398641898356736L, 216212360289321920L, 0L, 0L};
long[] data = { 2206797283796713472L, 864849441157287680L, 0L, 0L};
	private static final long[] mk_tokenSet_7() {		long[] data = { 1103398641898356736L, 216212360289321920L, 0L, 0L};		return data;	}