Derived symplectic geometry. Part 2