https://9lib.org/document/yevn1nm1-level-spacing-distribution-prototype-bianchi-ix-model.html