{
  "state": "passed",
  "scope": "Integral points in Z(3,5) on y^2=x^3-2; no full Mordell-Weil basis claim",
  "integer_interval_bits": 1024,
  "series_terms": 12000,
  "I_3_interval_numerators": [
    104356171835995745343601678119767306643927652983047927450903764152696515545343910370771312785349000188056780449776968354049849351233213672613096798565717093571260125756492519949063305102750201579360443630968157443328637259746145154889151945778118253229075658169820195375454300339172514230861696812023753455874,
    104356171835995745343601678119767306643927652983047927450903764152696515545343910370771312785349000188056780449776968354049849351233213672613096798565717093571260125756492519949063305102750201579360443630968157443328637259746145154889151945778118253229075658169820195375454300339172514230861696812023753462804
  ],
  "I_129_100_interval_numerators": [
    180251238950899374587983780919258663490117472465979737594704794661099491219082357148702198541178395349472385360868391465814502085946861114805713246777198094743705974729522913547387998724375978629842762526228057242933740739863263896987443732787003304980513258966174803635381759427667829811680652416443599571526,
    180251238950899374587983780919258663490117472465979737594704794661099491219082357148702198541178395349472385360868391465814502085946861114805713246777198094743705974729522913547387998724375978629842762526228057242933740739863263896987443732787003304980513258966174803635381759427667829811680652416443599582108
  ],
  "omega_interval_numerators": [
    388963582622890865275187137158793276777972778432075592496512322966492522309770177890244824111876395725585946260422328173914200788413288460031906843908632281886226226242507953445514608929876381788563649788164372129591015259355554206765747624343239811438664575305815194386290360106012858273404046040491106483274,
    388963582622890865275187137158793276777972778432075592496512322966492522309770177890244824111876395725585946260422328173914200788413288460031906843908632281886226226242507953445514608929876381788563649788164372129591015259355554206765747624343239811438664575305815194386290360106012858273404046040491106507716
  ],
  "theta_interval_numerators": [
    83307648656306066720999998226316375872548717569489469294622081446827287447400357526917677383216537616596322767439538329668060193902280086082362115741144912972583755865646069312880864191994616060844479596470551589650160977334403722997795390517049042355098267893861605053531592796151938679975007628730310329935,
    83307648656306066720999998226316375872548717569489469294622081446827287447400357526917677383216537616596322767439538329668060193902280086082362115741144912972583755865646069312880864191994616060844479596470551589650160977334403722997795390517049042355098267893861605053531592796151938679975007628730310340061
  ],
  "common_interval_denominator": 179769313486231590772930519078902473361797697894230657273430081157732675805500963132708477322407536021120113879871393357658789768814416622492847430639474124377767893424865485276302219601246094119453082952085005768838150682342462881473913110540827237163350510684586298239947245938479716304835356329624224137216,
  "initial_coefficient_bound": 699422732631500147579883672397894382688105360822857142857142857142857144613,
  "reductions": [
    {
      "old_N": 699422732631500147579883672397894382688105360822857142857142857142857144613,
      "C": 100000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000,
      "floor_C_theta": 46341417809712302632043619974109026603104264654118928542356313633585209367606899146486176868925162903134441767619177162785242747687038241286570818074967,
      "basis_rows": [
        [
          1880367323631964448739122622463677803580548010896198318603901739060801841505,
          -272235160936314858474179444591826777418617380857822788770166834667257894665
        ],
        [
          -7245787719746910744098330277247459341207507469516372187610508965315708661304,
          -52132070464116819114836965202909275630858010506943794218211186394957883976968
        ]
      ],
      "unimodular_rows": [
        [
          1880367323631964448739122622463677803580548010896198318603901739060801841505,
          -871388877801593744602859103418126540845440069982675079402567392480231056054
        ],
        [
          -7245787719746910744098330277247459341207507469516372187610508965315708661304,
          3357800760812741841932968683268245020930621402851304101448670408866844807983
        ]
      ],
      "min_gram_schmidt_squared": "3609893254632858178303765234545531015041552932765824461259011998365118870342095963719835882942177515648633853121872588371292582698770797533167376127250",
      "delta_lower": 1067127888129519323339203636363371689202730026603028122781765096178705271148,
      "decimal_exponent_upper": 78,
      "new_N": 28,
      "gauss_iterations": 92
    },
    {
      "old_N": 28,
      "C": 1000000,
      "floor_C_theta": 463414,
      "basis_rows": [
        [
          -41,
          26
        ],
        [
          11042,
          17388
        ]
      ],
      "unimodular_rows": [
        [
          -41,
          19
        ],
        [
          11042,
          -5117
        ]
      ],
      "min_gram_schmidt_squared": "2357",
      "delta_lower": 11,
      "decimal_exponent_upper": 6,
      "new_N": 7,
      "gauss_iterations": 4
    },
    {
      "old_N": 7,
      "C": 10000,
      "floor_C_theta": 4634,
      "basis_rows": [
        [
          -41,
          6
        ],
        [
          54,
          236
        ]
      ],
      "unimodular_rows": [
        [
          -41,
          19
        ],
        [
          54,
          -25
        ]
      ],
      "min_gram_schmidt_squared": "1717",
      "delta_lower": 33,
      "decimal_exponent_upper": 4,
      "new_N": 6,
      "gauss_iterations": 4
    },
    {
      "old_N": 6,
      "C": 10000,
      "floor_C_theta": 4634,
      "basis_rows": [
        [
          -41,
          6
        ],
        [
          54,
          236
        ]
      ],
      "unimodular_rows": [
        [
          -41,
          19
        ],
        [
          54,
          -25
        ]
      ],
      "min_gram_schmidt_squared": "1717",
      "delta_lower": 35,
      "decimal_exponent_upper": 4,
      "new_N": 6,
      "gauss_iterations": 4
    }
  ],
  "final_coefficient_bound": 6,
  "positive_multiples": [
    {
      "n": 1,
      "point": [
        "3",
        "5"
      ],
      "integral": true
    },
    {
      "n": 2,
      "point": [
        "129/100",
        "-383/1000"
      ],
      "integral": false
    },
    {
      "n": 3,
      "point": [
        "164323/29241",
        "-66234835/5000211"
      ],
      "integral": false
    },
    {
      "n": 4,
      "point": [
        "2340922881/58675600",
        "113259286337279/449455096000"
      ],
      "integral": false
    },
    {
      "n": 5,
      "point": [
        "307326105747363/160280942564521",
        "4559771683571581358275/2029190552145716973931"
      ],
      "integral": false
    },
    {
      "n": 6,
      "point": [
        "794845361623184880769/513127310073606144900",
        "-15230044576037327107200537568897/11623520729117946174953656293000"
      ],
      "integral": false
    }
  ],
  "small_x_integral_points": [],
  "integral_points_with_coefficients": [
    [
      1,
      3,
      5
    ],
    [
      -1,
      3,
      -5
    ]
  ],
  "exact_checks": 66
}