{
  "2": {
    "period_states": [
      [
        1,
        1,
        2
      ]
    ],
    "length": 1,
    "positive_fundamental": [
      3,
      2
    ],
    "negative_fundamental": [
      1,
      1
    ],
    "convergents": [
      {
        "n": 0,
        "x": 1,
        "y": 1,
        "norm": -1
      },
      {
        "n": 1,
        "x": 3,
        "y": 2,
        "norm": 1
      }
    ]
  },
  "3": {
    "period_states": [
      [
        1,
        2,
        1
      ],
      [
        1,
        1,
        2
      ]
    ],
    "length": 2,
    "positive_fundamental": [
      2,
      1
    ],
    "negative_fundamental": null,
    "convergents": [
      {
        "n": 0,
        "x": 1,
        "y": 1,
        "norm": -2
      },
      {
        "n": 1,
        "x": 2,
        "y": 1,
        "norm": 1
      },
      {
        "n": 2,
        "x": 5,
        "y": 3,
        "norm": -2
      },
      {
        "n": 3,
        "x": 7,
        "y": 4,
        "norm": 1
      }
    ]
  },
  "7": {
    "period_states": [
      [
        2,
        3,
        1
      ],
      [
        1,
        2,
        1
      ],
      [
        1,
        3,
        1
      ],
      [
        2,
        1,
        4
      ]
    ],
    "length": 4,
    "positive_fundamental": [
      8,
      3
    ],
    "negative_fundamental": null,
    "convergents": [
      {
        "n": 0,
        "x": 2,
        "y": 1,
        "norm": -3
      },
      {
        "n": 1,
        "x": 3,
        "y": 1,
        "norm": 2
      },
      {
        "n": 2,
        "x": 5,
        "y": 2,
        "norm": -3
      },
      {
        "n": 3,
        "x": 8,
        "y": 3,
        "norm": 1
      },
      {
        "n": 4,
        "x": 37,
        "y": 14,
        "norm": -3
      },
      {
        "n": 5,
        "x": 45,
        "y": 17,
        "norm": 2
      },
      {
        "n": 6,
        "x": 82,
        "y": 31,
        "norm": -3
      },
      {
        "n": 7,
        "x": 127,
        "y": 48,
        "norm": 1
      }
    ]
  },
  "13": {
    "period_states": [
      [
        3,
        4,
        1
      ],
      [
        1,
        3,
        1
      ],
      [
        2,
        3,
        1
      ],
      [
        1,
        4,
        1
      ],
      [
        3,
        1,
        6
      ]
    ],
    "length": 5,
    "positive_fundamental": [
      649,
      180
    ],
    "negative_fundamental": [
      18,
      5
    ],
    "convergents": [
      {
        "n": 0,
        "x": 3,
        "y": 1,
        "norm": -4
      },
      {
        "n": 1,
        "x": 4,
        "y": 1,
        "norm": 3
      },
      {
        "n": 2,
        "x": 7,
        "y": 2,
        "norm": -3
      },
      {
        "n": 3,
        "x": 11,
        "y": 3,
        "norm": 4
      },
      {
        "n": 4,
        "x": 18,
        "y": 5,
        "norm": -1
      },
      {
        "n": 5,
        "x": 119,
        "y": 33,
        "norm": 4
      },
      {
        "n": 6,
        "x": 137,
        "y": 38,
        "norm": -3
      },
      {
        "n": 7,
        "x": 256,
        "y": 71,
        "norm": 3
      },
      {
        "n": 8,
        "x": 393,
        "y": 109,
        "norm": -4
      },
      {
        "n": 9,
        "x": 649,
        "y": 180,
        "norm": 1
      }
    ]
  },
  "34": {
    "period_states": [
      [
        5,
        9,
        1
      ],
      [
        4,
        2,
        4
      ],
      [
        4,
        9,
        1
      ],
      [
        5,
        1,
        10
      ]
    ],
    "length": 4,
    "positive_fundamental": [
      35,
      6
    ],
    "negative_fundamental": null,
    "convergents": [
      {
        "n": 0,
        "x": 5,
        "y": 1,
        "norm": -9
      },
      {
        "n": 1,
        "x": 6,
        "y": 1,
        "norm": 2
      },
      {
        "n": 2,
        "x": 29,
        "y": 5,
        "norm": -9
      },
      {
        "n": 3,
        "x": 35,
        "y": 6,
        "norm": 1
      },
      {
        "n": 4,
        "x": 379,
        "y": 65,
        "norm": -9
      },
      {
        "n": 5,
        "x": 414,
        "y": 71,
        "norm": 2
      },
      {
        "n": 6,
        "x": 2035,
        "y": 349,
        "norm": -9
      },
      {
        "n": 7,
        "x": 2449,
        "y": 420,
        "norm": 1
      }
    ]
  },
  "61": {
    "period_states": [
      [
        7,
        12,
        1
      ],
      [
        5,
        3,
        4
      ],
      [
        7,
        4,
        3
      ],
      [
        5,
        9,
        1
      ],
      [
        4,
        5,
        2
      ],
      [
        6,
        5,
        2
      ],
      [
        4,
        9,
        1
      ],
      [
        5,
        4,
        3
      ],
      [
        7,
        3,
        4
      ],
      [
        5,
        12,
        1
      ],
      [
        7,
        1,
        14
      ]
    ],
    "length": 11,
    "positive_fundamental": [
      1766319049,
      226153980
    ],
    "negative_fundamental": [
      29718,
      3805
    ],
    "convergents": [
      {
        "n": 0,
        "x": 7,
        "y": 1,
        "norm": -12
      },
      {
        "n": 1,
        "x": 8,
        "y": 1,
        "norm": 3
      },
      {
        "n": 2,
        "x": 39,
        "y": 5,
        "norm": -4
      },
      {
        "n": 3,
        "x": 125,
        "y": 16,
        "norm": 9
      },
      {
        "n": 4,
        "x": 164,
        "y": 21,
        "norm": -5
      },
      {
        "n": 5,
        "x": 453,
        "y": 58,
        "norm": 5
      },
      {
        "n": 6,
        "x": 1070,
        "y": 137,
        "norm": -9
      },
      {
        "n": 7,
        "x": 1523,
        "y": 195,
        "norm": 4
      },
      {
        "n": 8,
        "x": 5639,
        "y": 722,
        "norm": -3
      },
      {
        "n": 9,
        "x": 24079,
        "y": 3083,
        "norm": 12
      },
      {
        "n": 10,
        "x": 29718,
        "y": 3805,
        "norm": -1
      },
      {
        "n": 11,
        "x": 440131,
        "y": 56353,
        "norm": 12
      },
      {
        "n": 12,
        "x": 469849,
        "y": 60158,
        "norm": -3
      },
      {
        "n": 13,
        "x": 2319527,
        "y": 296985,
        "norm": 4
      },
      {
        "n": 14,
        "x": 7428430,
        "y": 951113,
        "norm": -9
      },
      {
        "n": 15,
        "x": 9747957,
        "y": 1248098,
        "norm": 5
      },
      {
        "n": 16,
        "x": 26924344,
        "y": 3447309,
        "norm": -5
      },
      {
        "n": 17,
        "x": 63596645,
        "y": 8142716,
        "norm": 9
      },
      {
        "n": 18,
        "x": 90520989,
        "y": 11590025,
        "norm": -4
      },
      {
        "n": 19,
        "x": 335159612,
        "y": 42912791,
        "norm": 3
      },
      {
        "n": 20,
        "x": 1431159437,
        "y": 183241189,
        "norm": -12
      },
      {
        "n": 21,
        "x": 1766319049,
        "y": 226153980,
        "norm": 1
      }
    ]
  },
  "full_ring_theta_powers": [
    {
      "k": 1,
      "x": "3/2",
      "y": "1/2",
      "norm": "-1"
    },
    {
      "k": 2,
      "x": "11/2",
      "y": "3/2",
      "norm": "1"
    },
    {
      "k": 3,
      "x": "18",
      "y": "5",
      "norm": "-1"
    },
    {
      "k": 4,
      "x": "119/2",
      "y": "33/2",
      "norm": "1"
    },
    {
      "k": 5,
      "x": "393/2",
      "y": "109/2",
      "norm": "-1"
    },
    {
      "k": 6,
      "x": "649",
      "y": "180",
      "norm": "1"
    }
  ],
  "D13_N4": {
    "positive_unit": [
      649,
      180
    ],
    "last_y_inclusive": 359,
    "seeds": [
      [
        2,
        0
      ],
      [
        11,
        3
      ],
      [
        119,
        33
      ]
    ],
    "excluded_upper_endpoint": {
      "solution": [
        1298,
        360
      ],
      "reduction": [
        1,
        [
          2,
          0
        ],
        1
      ]
    },
    "conjugate_seed_relation": "(11-3 sqrt(13))*epsilon = 119+33 sqrt(13)"
  },
  "D13_N-4": {
    "positive_unit": [
      649,
      180
    ],
    "last_y_inclusive": 360,
    "seeds": [
      [
        3,
        1
      ],
      [
        36,
        10
      ],
      [
        393,
        109
      ]
    ]
  },
  "D2_N-2": {
    "positive_unit": [
      3,
      2
    ],
    "last_y_inclusive": 2,
    "seeds": [
      [
        0,
        1
      ]
    ]
  },
  "D2_N3": {
    "positive_unit": [
      3,
      2
    ],
    "last_y_inclusive": 3,
    "seeds": []
  },
  "D7_N2": {
    "positive_unit": [
      8,
      3
    ],
    "last_y_inclusive": 4,
    "seeds": [
      [
        3,
        1
      ]
    ]
  },
  "transfer_reduction": {
    "D": 2,
    "N": -2,
    "input": [
      140,
      99
    ],
    "sign": 1,
    "seed": [
      0,
      1
    ],
    "exponent": 3
  },
  "status": "PASS",
  "checks": {
    "period_certificates_D_through_500": 478,
    "convergent_norm_identities": 7758,
    "positive_minimality_exhaustive_to_fundamental": 297,
    "corrupt_period_certificates_rejected": 6,
    "invalid_radicands_rejected": 7,
    "generalized_norm_models": 600,
    "canonical_seeds": 305,
    "generated_orbit_reductions": 4270,
    "independently_found_small_box_solutions": 1844
  }
}
