long[] data = { 3434485596272197632L, 9223345628728278040L, 416L, 0L, 0L, 0L};
long[] data = { 9199093119306432512L, -52816252995536L, 832L, 0L, 0L, 0L};
	private static final long[] mk_tokenSet_4() {		long[] data = { 3434485596272197632L, 9223345628728278040L, 416L, 0L, 0L, 0L};		return data;	}