long[] data = { 2938933042756616080L, 18049582076264192L, 0L, 0L};
long[] data = { 5877866085510446992L, 72198328305056768L, 0L, 0L};
	private static final long[] mk_tokenSet_0() {		long[] data = { 2938933042756616080L, 18049582076264192L, 0L, 0L};		return data;	}