{
  "exact_finite_model": true,
  "B_square": "1/5",
  "onto_inverse_norm_square": "5/14",
  "sum_inverse_norm_square": "1/14",
  "finite_model_is_the_general_proof": false,
  "dimensions": [
    1800,
    1150
  ],
  "proof": "K-theory of the leaf space, Section11AM, SD.1\u2013SD.14"
}