Conjectured beta-dependent sum rule for level-spacing autocovariances
Level-spacing sum-rule conjecture.