Quite a bit of 'halyard' info on this site. Do some searching, and contemplating.
There are also a (diminishing number...) few owners who still have the 80's wire-to-rope originals, bless their thrifty hearts.
Once they bleed from a "meat hook" they usually do change to a modern all-rope solution.
The 35-3 is a big boat, and sails are probably bigger than our O-34 Tall Rig, altho the actual halyard loads may be quite similar.
I changed out our old halyards to all-line and also to very low stretch about 20 years ago.
Modern hi-tech line size can be anything sufficient to go thru your clutches and hold in your ST winches. We use T-900 line, 5/16" for everything nowadays. Our old factory line tails looked like hawsers in comparison
BTW, I have a blog entry here showing the new clutches that replaced our OEM clutch banks that were near their life span end due to UV and wear.
There are regular/recurring sales on line at most chandlers, and if you need main + jib + spinnaker + top lift, that's sorta kinda about 400', and you might check on a further discount for a bulk purchase or even a spool.