Sexy primes: Difference between revisions

groups an r@(Result p t q qn u)

| isPrime (an-24) && isPrime (an-18) && isPrime (an-12) && isPrime (an-6) = Result asPair asTriplet asQuad asQuin u

| isPrime (an-18) && isPrime (an-12) && isPrime (an-6) = Result asPair asTriplet asQuad qn u

| isPrime (an-12) && isPrime (an-6) = Result asPair asTriplet q qn u

| isPrime (an-6) = Result asPair t q qn u

| (not $ isPrime (an+6)) && (not $ isPrime (an-6)) = Result p t q qn (an : u)

where asPair = (an-6, an) : p

asTriplet = (an-12, an-6,a n) : t

asQuad = (an-18, an-12, an-6, an) : q

asQuin = (an-24, an-18, an-12, an-6, an) : qn