long[] data = { 1103469010642534400L, 216423469743080384L, 0L, 0L};
long[] data = { 2206938021285068800L, 865693878972321536L, 0L, 0L};
	private static final long[] mk_tokenSet_5() {		long[] data = { 1103469010642534400L, 216423469743080384L, 0L, 0L};		return data;	}