long[] data = { -1468336618560552960L, -6760471793301985L, 53375L, 0L, 0L, 0L};
long[] data = { -1468336618560552960L, -6760403073825249L, 237823L, 0L, 0L, 0L};
	private static final long[] mk_tokenSet_5() {		long[] data = { -1468336618560552960L, -6760471793301985L, 53375L, 0L, 0L, 0L};		return data;	}