add provery, pryrc, replyrc