Can't confirm the measured length, due to larger rig of my boat.
Concerning the type of lines:
It depends on usage of your ship and much more on your wallet; The difference in price is huge.
for racing purposes i would go with higher quality lines, and go for dyneema ones. Would suggest to deal with an expierienced Sailor or a rigger for advice and keep your wallet wide open
.
I'm no racer, and had an eye on the price tag. I changed to dyneema only for the halyards (genoa and main), but could reduce in diameter due to the exeptional strenght. Check the application sheets of each type of line you want to use. Check if the diameter of your chosen line will fit to your winches and the rope clutches on mast or cabin roof. It's not a good idea to take the next bigger diameter just to be sure.
For the sheets i kept the diameter of the original ones and chose polyester type lines of good quality and longevity. Bought them at SVB from the same manufacturer as the original ones came, but not the ones, which SVB sales as original equipment from bavaria, which have the bavaria markup on price!
Have them in use since 2018 and are still fine today!