seqprover