sentences:  Riesel Sieve
  
  Riesel Sieve is a distributed computing project, running in part on the BOINC platform.Its aim is to prove that 509,203 is the smallest Riesel number, by finding a prime of the form for all odd smaller than 509,203.