read: direct moments m_0..m_44; literal model k_2..k_122; fast model k_2..k_322 and k_2..k_562
PASS  direct: odd moments m_1..m_43 vanish
PASS  direct: odd cumulants vanish
PASS  direct: all k_2n > 0 (n <= 22)
PASS  Theorem 1.3: literal model k_2..k_44 == cumulants of the direct moments
PASS  fast model == literal model on k_2..k_122
PASS  fast model: run to k_322 == run to k_562 on k_2..k_322
PASS  model: odd cumulants vanish up to k_561
PASS  model: all k_2n > 0 up to k_562
PASS  model moments == direct moments on m_0..m_44
PASS  Table 1 (all 12 rows, 4 columns) == direct computation of this run
PASS  table of the source (n = 0..10) == n! m_2n of the direct computation
PASS  the six integers n! m_2n, n = 11..16 (Section 1.2) == direct computation
PASS  n! m_2n is an integer for n <= 22 (direct) and n <= 281 (model)
PASS  n! k_2n is an integer for 1 <= n <= 281 (model)
      n! m_2n, n = 17: 19086574973441048895334070272
      n! m_2n, n = 18: 2297196640392722645803795264256
      n! m_2n, n = 19: 291843426306178977837733169392128
      n! m_2n, n = 20: 39028182604319851379239244348191232
      n! m_2n, n = 21: 5480197366073866513452929516784335872
      n! m_2n, n = 22: 806153139437801413139546139184654470656
PASS  m_2 = 4, m_4 = 24, m_6 = 464/3, m_6/m_4 = 58/9 > 6
PASS  k_2 = 4, k_4 = m_4 - k_2^2 = 8, k_6 = m_6 - 2 k_2 k_4 - k_2^3 = 80/3
PASS  Corollary 7.2(c): k_10/k_8 = (6112/15)/(304/3) = 382/95 > 4
PASS  Corollary 7.2(c): k_306/k_304 > 2.1019907^2 (exact rationals; cumulants of this run)   sqrt(k_306/k_304) = 2.101990758649
PASS  Corollary 7.2(b): k_(2n+2)/k_2n is non-decreasing for 1 <= n <= 280 and stays below 6   last ratio^(1/2) = 2.101990760466
PASS  package: moments_sphere_upto_N306.txt, 154 moments m_0..m_306 == model moments of this run
PASS  package: the same file, cumulants k_2..k_306 == model cumulants of this run
PASS  package: c_fast_N560.txt, 280 cumulants k_2..k_560 == model cumulants of this run
PASS  package: moments_fock_N44.txt (23 moments) == direct moments of this run
TOTAL failures: 0
