there was a bug in regression test for bijection - caught by new injectivity assert/checker
there was a bug in regression test for bijection - caught by new injectivity assert/checker

SophistSolutions/Stroika,SophistSolutions/Stroika,SophistSolutions/Stroika,SophistSolutions/Stroika,SophistSolutions/Stroika