[stderr]
Computing 8838 exact tests and 5 asymptotic tests.
Computing 8837 exact tests and 6 asymptotic tests.
Computing 8841 exact tests and 2 asymptotic tests.
Computing 8841 exact tests and 2 asymptotic tests.
Computing 8842 exact tests and 1 asymptotic tests.
Computing 8843 exact tests and 0 asymptotic tests.
