{
  "coordinate": "r on left; log(x) on right; zero displayed in a separate box",
  "plot_window_r": [
    -3.1,
    3.1
  ],
  "singleton": {
    "G": [
      0
    ],
    "positive_S": [
      1
    ],
    "separate_zero": true
  },
  "lattice": {
    "a": "log(2)",
    "lambda": "1/2",
    "displayed_integer_indices": [
      -4,
      -3,
      -2,
      -1,
      0,
      1,
      2,
      3,
      4
    ],
    "G": "{n log(2): n in Z}",
    "positive_S": "{2^n: n in Z}",
    "displayed_positive_values": [
      "1/16",
      "1/8",
      "1/4",
      "1/2",
      "1",
      "2",
      "4",
      "8",
      "16"
    ],
    "finite_window_not_full_set": true,
    "separate_zero": true
  },
  "continuous": {
    "G": "R",
    "positive_S": "(0,infinity)",
    "separate_zero": true
  },
  "native_pixels": [
    2880,
    1980
  ],
  "proof": "TYPE_III_MODULAR_TRICHOTOMY_PROOF.md MT1-MT6",
  "no_factor_existence_or_realization_claim": true
}