Time to replace some lines on my North 5-element 25m 2010 bar. The red safetyline (??5m) + the strong grey line from the bar upto the Y (~14m).

But what dimensions are right?

And what type of line are they?

My best guess currently:
Red line: 4mm Dyneema
Grey line: 3mm Dyneema

I don't want to overspend by overdimensioning - but also not buy something with to less strength.

Anyone knows? Buying original lines are +50k?? - for that price I'll get lines to cover 2 bar sets of these AND 2 depower lines.