{
  "prefix_limit": 30000,
  "segmented_sieve_equals_trial_division": true,
  "event_durations_equal_direct_integer_scan": true,
  "weighted_audit": {
    "mod4": {
      "numerator": "0.0077106704874011331198435100422968708411806877688885",
      "harmonic_denominator": "18.99789641385389832441711039422398284185097124497",
      "unrounded_share": "0.00040586969838293546992310592637156006460515576297887"
    },
    "mod3": {
      "numerator": "0.0",
      "harmonic_denominator": "18.99789641385389832441711039422398284185097124497",
      "unrounded_share": "0.0"
    }
  }
}
