Danh sách bài nộp của Sage cho Tìm số nguyên tố