{
  "versions": {
    "numberdb": "0.1.10",
    "sage": "10.9"
  },
  "source_coefficient_transcription": true,
  "symbolic_j_formula": true,
  "hilbert_polynomials_match_T129": true,
  "checks": [
    {
      "t": "108+54*sqrt(2)",
      "D": -24,
      "interior": false,
      "positive": true,
      "H": "x^2 - 4834944*x + 14670139392",
      "exact_CM_check": true
    },
    {
      "t": "108-54*sqrt(2)",
      "D": -24,
      "interior": false,
      "positive": true,
      "H": "x^2 - 4834944*x + 14670139392",
      "exact_CM_check": true
    },
    {
      "t": "18+6*sqrt(3)",
      "D": -36,
      "interior": false,
      "positive": true,
      "H": "x^2 - 153542016*x - 1790957481984",
      "exact_CM_check": true
    },
    {
      "t": "18-6*sqrt(3)",
      "D": -36,
      "interior": true,
      "positive": true,
      "H": "x^2 - 153542016*x - 1790957481984",
      "exact_CM_check": true
    },
    {
      "t": "270+162*sqrt(3)",
      "D": -4,
      "interior": false,
      "positive": true,
      "H": "x - 1728",
      "exact_CM_check": true
    },
    {
      "t": "270-162*sqrt(3)",
      "D": -4,
      "interior": false,
      "positive": false,
      "H": "x - 1728",
      "exact_CM_check": true
    },
    {
      "t": "729+405*sqrt(3)",
      "D": -48,
      "interior": false,
      "positive": true,
      "H": "x^2 - 2835810000*x + 6549518250000",
      "exact_CM_check": true
    },
    {
      "t": "729-405*sqrt(3)",
      "D": -48,
      "interior": false,
      "positive": true,
      "H": "x^2 - 2835810000*x + 6549518250000",
      "exact_CM_check": true
    },
    {
      "t": "-27/2-27/2*sqrt(5)",
      "D": -15,
      "interior": false,
      "positive": false,
      "H": "x^2 + 191025*x - 121287375",
      "exact_CM_check": true
    },
    {
      "t": "-27/2+27/2*sqrt(5)",
      "D": -15,
      "interior": true,
      "positive": true,
      "H": "x^2 + 191025*x - 121287375",
      "exact_CM_check": true
    },
    {
      "t": "3375/2+1485/2*sqrt(5)",
      "D": -60,
      "interior": false,
      "positive": true,
      "H": "x^2 - 37018076625*x + 153173312762625",
      "exact_CM_check": true
    },
    {
      "t": "3375/2-1485/2*sqrt(5)",
      "D": -60,
      "interior": false,
      "positive": true,
      "H": "x^2 - 37018076625*x + 153173312762625",
      "exact_CM_check": true
    },
    {
      "t": "-4320-1944*sqrt(5)",
      "D": -75,
      "interior": false,
      "positive": false,
      "H": "x^2 + 654403829760*x + 5209253090426880",
      "exact_CM_check": true
    },
    {
      "t": "-4320+1944*sqrt(5)",
      "D": -75,
      "interior": true,
      "positive": true,
      "H": "x^2 + 654403829760*x + 5209253090426880",
      "exact_CM_check": true
    },
    {
      "t": "32+2*sqrt(6)",
      "D": -72,
      "interior": false,
      "positive": true,
      "H": "x^2 - 377674768000*x + 232381513792000000",
      "exact_CM_check": true
    },
    {
      "t": "32-2*sqrt(6)",
      "D": -72,
      "interior": false,
      "positive": true,
      "H": "x^2 - 377674768000*x + 232381513792000000",
      "exact_CM_check": true
    },
    {
      "t": "3672+1458*sqrt(6)",
      "D": -8,
      "interior": false,
      "positive": true,
      "H": "x - 8000",
      "exact_CM_check": true
    },
    {
      "t": "3672-1458*sqrt(6)",
      "D": -8,
      "interior": false,
      "positive": true,
      "H": "x - 8000",
      "exact_CM_check": true
    },
    {
      "t": "-864-216*sqrt(17)",
      "D": -51,
      "interior": false,
      "positive": false,
      "H": "x^2 + 5541101568*x + 6262062317568",
      "exact_CM_check": true
    },
    {
      "t": "-864+216*sqrt(17)",
      "D": -51,
      "interior": true,
      "positive": true,
      "H": "x^2 + 5541101568*x + 6262062317568",
      "exact_CM_check": true
    },
    {
      "t": "-163296-35640*sqrt(21)",
      "D": -147,
      "interior": false,
      "positive": false,
      "H": "x^2 + 34848505552896000*x + 11356800389480448000000",
      "exact_CM_check": true
    },
    {
      "t": "-163296+35640*sqrt(21)",
      "D": -147,
      "interior": true,
      "positive": true,
      "H": "x^2 + 34848505552896000*x + 11356800389480448000000",
      "exact_CM_check": true
    },
    {
      "t": "4-4*sqrt(33)",
      "D": -99,
      "interior": false,
      "positive": false,
      "H": "x^2 + 37616060956672*x - 56171326053810176",
      "exact_CM_check": true
    },
    {
      "t": "4+4*sqrt(33)",
      "D": -99,
      "interior": true,
      "positive": true,
      "H": "x^2 + 37616060956672*x - 56171326053810176",
      "exact_CM_check": true
    },
    {
      "t": "-16740-2916*sqrt(33)",
      "D": -11,
      "interior": false,
      "positive": false,
      "H": "x + 32768",
      "exact_CM_check": true
    },
    {
      "t": "-16740+2916*sqrt(33)",
      "D": -11,
      "interior": true,
      "positive": true,
      "H": "x + 32768",
      "exact_CM_check": true
    },
    {
      "t": "-55296-8640*sqrt(41)",
      "D": -123,
      "interior": false,
      "positive": false,
      "H": "x^2 + 1354146840576000*x + 148809594175488000000",
      "exact_CM_check": true
    },
    {
      "t": "-55296+8640*sqrt(41)",
      "D": -123,
      "interior": true,
      "positive": true,
      "H": "x^2 + 1354146840576000*x + 148809594175488000000",
      "exact_CM_check": true
    },
    {
      "t": "-13500000-1431000*sqrt(89)",
      "D": -267,
      "interior": false,
      "positive": false,
      "H": "x^2 + 19683091854079488000000*x + 531429662672621376897024000000",
      "exact_CM_check": true
    },
    {
      "t": "-13500000+1431000*sqrt(89)",
      "D": -267,
      "interior": true,
      "positive": true,
      "H": "x^2 + 19683091854079488000000*x + 531429662672621376897024000000",
      "exact_CM_check": true
    }
  ]
}