stored-identities.json

back to table · edit · history · where entries came from · files · download

3586 bytes, as of the version from 2026-10-26 14:02 (current). Recorded here, not run.

{
  "table": "T517",
  "working_digits": 200,
  "stored_identity_checks": [
    {
      "n": 0,
      "written": "0.6090754170730509650643376980642754695116286129313403454823043673126924539100040656187817145753258088",
      "endpoint_sign_change": true,
      "ode_residual": "0.0",
      "differentiated_sum_residual": "0.0"
    },
    {
      "n": 1,
      "written": "-2.249954218638817535551920590312671028653669729574528428858487107180258062476786700331895112581008450",
      "endpoint_sign_change": true,
      "ode_residual": "4.08256e-202",
      "differentiated_sum_residual": "0.0"
    },
    {
      "n": 2,
      "written": "-4.083954088492768989665632454395987771479522256609746289167119975706211070153532625596148183314908682",
      "endpoint_sign_change": true,
      "ode_residual": "4.08256e-202",
      "differentiated_sum_residual": "0.0"
    },
    {
      "n": 3,
      "written": "-5.507430211106304220514638383070196129479449524757437419829772874287858424075816957229232747470072377",
      "endpoint_sign_change": true,
      "ode_residual": "4.08256e-202",
      "differentiated_sum_residual": "0.0"
    },
    {
      "n": 4,
      "written": "-6.784144057321159619329850111090593016915614472349302172061493107108987541316898071442713536069455884",
      "endpoint_sign_change": true,
      "ode_residual": "-2.85779e-201",
      "differentiated_sum_residual": "0.0"
    },
    {
      "n": 5,
      "written": "-7.938313716297769428775096959257777073818941159536097584879974183295447087789374969168895851797710582",
      "endpoint_sign_change": true,
      "ode_residual": "4.08256e-202",
      "differentiated_sum_residual": "0.0"
    },
    {
      "n": 6,
      "written": "-9.020901668155199634667814626857141297522289208983980451562253824707148210362016279970147167298819551",
      "endpoint_sign_change": true,
      "ode_residual": "4.08256e-202",
      "differentiated_sum_residual": "0.0"
    },
    {
      "n": 7,
      "written": "-10.03671062970476229413280681448630660567262713253056495746825889036179886281504103891259043095545702",
      "endpoint_sign_change": true,
      "ode_residual": "4.08256e-202",
      "differentiated_sum_residual": "-3.1895e-204"
    },
    {
      "n": 8,
      "written": "-11.00722880418930260632311024797807835922918239805857226612054326633138915892898746147989039990216413",
      "endpoint_sign_change": true,
      "ode_residual": "-2.85779e-201",
      "differentiated_sum_residual": "3.1895e-204"
    },
    {
      "n": 9,
      "written": "-11.93364744097381438503254987063028781355468334675111942043460462001525909978911006699382343079478222",
      "endpoint_sign_change": true,
      "ode_residual": "4.08256e-202",
      "differentiated_sum_residual": "-3.1895e-204"
    },
    {
      "n": 10,
      "written": "-12.82776229042580250254021131766012900343306957750944586844072844230483769349479269567115544411547772",
      "endpoint_sign_change": true,
      "ode_residual": "-2.85779e-201",
      "differentiated_sum_residual": "0.0"
    },
    {
      "n": 11,
      "written": "-13.68973411504112805470257672048840721645976914151808301651806526739079004154675449363506381232515624",
      "endpoint_sign_change": true,
      "ode_residual": "-2.85779e-201",
      "differentiated_sum_residual": "-3.1895e-204"
    },
    {
      "n": 12,
      "written": "-14.52700413794864318994249309685742072099973228231111848464816546225948798431461310214018542547369148",
      "endpoint_sign_change": true,
      "ode_residual": "-2.85779e-201",
      "differentiated_sum_residual": "0.0"
    }
  ]
}