Wow!
There's a Zeiss Distagon 35/1.4 which can easily cost 1000€
Two Leitz optics (Summicron, Summarit)
Three Canons f:1.2, and two f:1.4, and one f:2
9 Nikons, ranging from the spectacular Nikkor-N 5cm/1.1, the 35 cm (mis-engraved)/1.8, and more RF lenses, to the kit lens Nikkor-H 50mm/2. The latter is the lens with lowest value (maybe 100-120€)
and then Pentax, Konica, Topcon, ...
...
23 lenses in all, most lenses f:1.4 or better, easily reaching 10000€ value
Ciao from Massimo