Приготовить суперпозицию трёх состояний отбором результата

Вход — два кубита в состоянии $|00\rangle$. Напишите операцию Q#, готовящую

$$\frac{|00\rangle+|01\rangle+|10\rangle}{\sqrt3}$$

с помощью отбора результата измерения: нужные результаты сохраняют, после неудачи приготовление можно повторить.

Подсказка источника. Рассмотрите состояние трёх кубитов

$$\frac12(|00\rangle+|01\rangle+|10\rangle)\otimes|0\rangle+\frac12|11\rangle\otimes|1\rangle.$$

Что происходит при измерении третьего кубита?

Заготовка Q#:

namespace Kata {
    operation PostSelection(qs : Qubit[]) : Unit {
        // Implement your solution here...

    }
}