long[] data = { -40954609111400448L, 5980841775575357951L, 26405456969627L, 0L, 0L, 0L};
long[] data = { -40954609111400448L, 5476623028591883263L, 105621827878509L, 0L, 0L, 0L};
	private static final long[] mk_tokenSet_7() {		long[] data = { -40954609111400448L, 5980841775575357951L, 26405456969627L, 0L, 0L, 0L};		return data;	}