{
  "symbolic_j_invariant": true,
  "hilbert_polynomials_match_T129": true,
  "cm_checks": [
    {
      "t": "-216",
      "D": -3,
      "row": null,
      "interior": false,
      "positive": false,
      "label": "$-216$",
      "hilbert_polynomial": "x"
    },
    {
      "t": "24",
      "D": -27,
      "row": null,
      "interior": true,
      "positive": true,
      "label": "$24$",
      "hilbert_polynomial": "x + 12288000"
    },
    {
      "t": "54",
      "D": -12,
      "row": null,
      "interior": false,
      "positive": true,
      "label": "$54$",
      "hilbert_polynomial": "x - 54000"
    },
    {
      "t": "108+54*sqrt(2)",
      "D": -24,
      "row": 13,
      "interior": false,
      "positive": true,
      "label": "$108+54\\sqrt{2}$",
      "hilbert_polynomial": "x^2 - 4834944*x + 14670139392"
    },
    {
      "t": "108-54*sqrt(2)",
      "D": -24,
      "row": 13,
      "interior": false,
      "positive": true,
      "label": "$108-54\\sqrt{2}$",
      "hilbert_polynomial": "x^2 - 4834944*x + 14670139392"
    },
    {
      "t": "18+6*sqrt(3)",
      "D": -36,
      "row": 14,
      "interior": false,
      "positive": true,
      "label": "$18+6\\sqrt{3}$",
      "hilbert_polynomial": "x^2 - 153542016*x - 1790957481984"
    },
    {
      "t": "18-6*sqrt(3)",
      "D": -36,
      "row": 14,
      "interior": true,
      "positive": true,
      "label": "$18-6\\sqrt{3}$",
      "hilbert_polynomial": "x^2 - 153542016*x - 1790957481984"
    },
    {
      "t": "270+162*sqrt(3)",
      "D": -4,
      "row": 15,
      "interior": false,
      "positive": true,
      "label": "$270+162\\sqrt{3}$",
      "hilbert_polynomial": "x - 1728"
    },
    {
      "t": "270-162*sqrt(3)",
      "D": -4,
      "row": 15,
      "interior": false,
      "positive": false,
      "label": "$270-162\\sqrt{3}$",
      "hilbert_polynomial": "x - 1728"
    },
    {
      "t": "729+405*sqrt(3)",
      "D": -48,
      "row": 16,
      "interior": false,
      "positive": true,
      "label": "$729+405\\sqrt{3}$",
      "hilbert_polynomial": "x^2 - 2835810000*x + 6549518250000"
    },
    {
      "t": "729-405*sqrt(3)",
      "D": -48,
      "row": 16,
      "interior": false,
      "positive": true,
      "label": "$729-405\\sqrt{3}$",
      "hilbert_polynomial": "x^2 - 2835810000*x + 6549518250000"
    },
    {
      "t": "-27/2-27/2*sqrt(5)",
      "D": -15,
      "row": 17,
      "interior": false,
      "positive": false,
      "label": "$\\frac{-27}{2}-\\frac{27}{2}\\sqrt{5}$",
      "hilbert_polynomial": "x^2 + 191025*x - 121287375"
    },
    {
      "t": "-27/2+27/2*sqrt(5)",
      "D": -15,
      "row": 17,
      "interior": true,
      "positive": true,
      "label": "$\\frac{-27}{2}+\\frac{27}{2}\\sqrt{5}$",
      "hilbert_polynomial": "x^2 + 191025*x - 121287375"
    },
    {
      "t": "3375/2+1485/2*sqrt(5)",
      "D": -60,
      "row": 18,
      "interior": false,
      "positive": true,
      "label": "$\\frac{3375}{2}+\\frac{1485}{2}\\sqrt{5}$",
      "hilbert_polynomial": "x^2 - 37018076625*x + 153173312762625"
    },
    {
      "t": "3375/2-1485/2*sqrt(5)",
      "D": -60,
      "row": 18,
      "interior": false,
      "positive": true,
      "label": "$\\frac{3375}{2}-\\frac{1485}{2}\\sqrt{5}$",
      "hilbert_polynomial": "x^2 - 37018076625*x + 153173312762625"
    },
    {
      "t": "-4320-1944*sqrt(5)",
      "D": -75,
      "row": 19,
      "interior": false,
      "positive": false,
      "label": "$-4320-1944\\sqrt{5}$",
      "hilbert_polynomial": "x^2 + 654403829760*x + 5209253090426880"
    },
    {
      "t": "-4320+1944*sqrt(5)",
      "D": -75,
      "row": 19,
      "interior": true,
      "positive": true,
      "label": "$-4320+1944\\sqrt{5}$",
      "hilbert_polynomial": "x^2 + 654403829760*x + 5209253090426880"
    },
    {
      "t": "32+2*sqrt(6)",
      "D": -72,
      "row": 20,
      "interior": false,
      "positive": true,
      "label": "$32+2\\sqrt{6}$",
      "hilbert_polynomial": "x^2 - 377674768000*x + 232381513792000000"
    },
    {
      "t": "32-2*sqrt(6)",
      "D": -72,
      "row": 20,
      "interior": false,
      "positive": true,
      "label": "$32-2\\sqrt{6}$",
      "hilbert_polynomial": "x^2 - 377674768000*x + 232381513792000000"
    },
    {
      "t": "3672+1458*sqrt(6)",
      "D": -8,
      "row": 21,
      "interior": false,
      "positive": true,
      "label": "$3672+1458\\sqrt{6}$",
      "hilbert_polynomial": "x - 8000"
    },
    {
      "t": "3672-1458*sqrt(6)",
      "D": -8,
      "row": 21,
      "interior": false,
      "positive": true,
      "label": "$3672-1458\\sqrt{6}$",
      "hilbert_polynomial": "x - 8000"
    },
    {
      "t": "-864-216*sqrt(17)",
      "D": -51,
      "row": 22,
      "interior": false,
      "positive": false,
      "label": "$-864-216\\sqrt{17}$",
      "hilbert_polynomial": "x^2 + 5541101568*x + 6262062317568"
    },
    {
      "t": "-864+216*sqrt(17)",
      "D": -51,
      "row": 22,
      "interior": true,
      "positive": true,
      "label": "$-864+216\\sqrt{17}$",
      "hilbert_polynomial": "x^2 + 5541101568*x + 6262062317568"
    },
    {
      "t": "-163296-35640*sqrt(21)",
      "D": -147,
      "row": 23,
      "interior": false,
      "positive": false,
      "label": "$-163296-35640\\sqrt{21}$",
      "hilbert_polynomial": "x^2 + 34848505552896000*x + 11356800389480448000000"
    },
    {
      "t": "-163296+35640*sqrt(21)",
      "D": -147,
      "row": 23,
      "interior": true,
      "positive": true,
      "label": "$-163296+35640\\sqrt{21}$",
      "hilbert_polynomial": "x^2 + 34848505552896000*x + 11356800389480448000000"
    },
    {
      "t": "4-4*sqrt(33)",
      "D": -99,
      "row": 24,
      "interior": false,
      "positive": false,
      "label": "$4-4\\sqrt{33}$",
      "hilbert_polynomial": "x^2 + 37616060956672*x - 56171326053810176"
    },
    {
      "t": "4+4*sqrt(33)",
      "D": -99,
      "row": 24,
      "interior": true,
      "positive": true,
      "label": "$4+4\\sqrt{33}$",
      "hilbert_polynomial": "x^2 + 37616060956672*x - 56171326053810176"
    },
    {
      "t": "-16740-2916*sqrt(33)",
      "D": -11,
      "row": 25,
      "interior": false,
      "positive": false,
      "label": "$-16740-2916\\sqrt{33}$",
      "hilbert_polynomial": "x + 32768"
    },
    {
      "t": "-16740+2916*sqrt(33)",
      "D": -11,
      "row": 25,
      "interior": true,
      "positive": true,
      "label": "$-16740+2916\\sqrt{33}$",
      "hilbert_polynomial": "x + 32768"
    },
    {
      "t": "-55296-8640*sqrt(41)",
      "D": -123,
      "row": 26,
      "interior": false,
      "positive": false,
      "label": "$-55296-8640\\sqrt{41}$",
      "hilbert_polynomial": "x^2 + 1354146840576000*x + 148809594175488000000"
    },
    {
      "t": "-55296+8640*sqrt(41)",
      "D": -123,
      "row": 26,
      "interior": true,
      "positive": true,
      "label": "$-55296+8640\\sqrt{41}$",
      "hilbert_polynomial": "x^2 + 1354146840576000*x + 148809594175488000000"
    },
    {
      "t": "-13500000-1431000*sqrt(89)",
      "D": -267,
      "row": 27,
      "interior": false,
      "positive": false,
      "label": "$-13500000-1431000\\sqrt{89}$",
      "hilbert_polynomial": "x^2 + 19683091854079488000000*x + 531429662672621376897024000000"
    },
    {
      "t": "-13500000+1431000*sqrt(89)",
      "D": -267,
      "row": 27,
      "interior": true,
      "positive": true,
      "label": "$-13500000+1431000\\sqrt{89}$",
      "hilbert_polynomial": "x^2 + 19683091854079488000000*x + 531429662672621376897024000000"
    }
  ],
  "selected": [
    "24",
    "18-6*sqrt(3)",
    "-27/2+27/2*sqrt(5)",
    "-4320+1944*sqrt(5)",
    "-864+216*sqrt(17)",
    "-163296+35640*sqrt(21)",
    "4+4*sqrt(33)",
    "-16740+2916*sqrt(33)",
    "-55296+8640*sqrt(41)",
    "-13500000+1431000*sqrt(89)"
  ]
}