Theorem 3 in the paper for k from 1 to, 4, and n from k to, 30

                                    is true

                                ----------------



                         This took, 104.306, seconds,