{"_ns":{"Oscar":["https://github.com/oscar-system/Oscar.jl","1.1.1"]}