long[] data = { 9207327963182268416L, -7254454472208026244L, 25778190399L, 0L, 0L, 0L};
long[] data = { -20477304555700224L, -7254454334769073817L, 25836904959L, 0L, 0L, 0L};
	private static final long[] mk_tokenSet_7() {		long[] data = { 9207327963182268416L, -7254454472208026244L, 25778190399L, 0L, 0L, 0L};		return data;	}