qsharp-core==0.25.218240
