Library
Vibration isolation systems for the beam splitter and signal recycling mirrors of the KAGRA gravitational wave detector