An Experimental (easily  rigorizable) proof of Armin Straub's conjecture tha\
    t the number of (2k+1,2k+3)-core partitions

         into distinct parts equals 4^k, by checking it up to, k = 200



                              By Shalosh B. Ekhad



   Let a(k) be the number of (2k+1,2k+3)-core partitions into distinct parts

          The set of differences a(k)-4^k is, from k=1 to k=, 200, is



                                      {0}



                          This took, 5.283, seconds.