3 problems

Sign conjecture. In Theorem, one has

Leading-matrix conjecture. There exists an ordering of the basis $d401_{d706}$ of $M_{d706}$ such that the leading matrices of the distinguished involutions satisfy

Asymptotic mirabolic bimodule conjecture. The based bimodule