{"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}