{
  "pairs": 95904,
  "below_93": 44412,
  "below_95": 88522,
  "share_below_93": 0.4630880880880881,
  "share_below_95": 0.9230271938605272,
  "rounded_share_below_93": 0.463088,
  "rounded_share_below_95": 0.923027,
  "probability_normalization_checks": 95904,
  "membership_symmetry_checks": 5130864
}