{
  "table": "T650",
  "verified_entries": 10,
  "generator_verify_ok": true,
  "identity_checks": [
    {
      "t": "24",
      "independent_error_in_stored_ulps": "0.3495686579",
      "Ntilde_plus_3J_equals_stored_N_combined_ulps": "0.3370079027",
      "ordinary_I_plus_J_error_in_stored_ulps": "0.211400351"
    },
    {
      "t": "18-6*sqrt(3)",
      "independent_error_in_stored_ulps": "0.4689764933",
      "Ntilde_plus_3J_equals_stored_N_combined_ulps": "0.4110577963",
      "ordinary_I_plus_J_error_in_stored_ulps": "0.1681291736"
    },
    {
      "t": "-27/2+27/2*sqrt(5)",
      "independent_error_in_stored_ulps": "0.1797149028",
      "Ntilde_plus_3J_equals_stored_N_combined_ulps": "0.1661549833",
      "ordinary_I_plus_J_error_in_stored_ulps": "0.03055578836"
    },
    {
      "t": "-4320+1944*sqrt(5)",
      "independent_error_in_stored_ulps": "0.488474426",
      "Ntilde_plus_3J_equals_stored_N_combined_ulps": "0.4665252409",
      "ordinary_I_plus_J_error_in_stored_ulps": "0.2470333897"
    },
    {
      "t": "-864+216*sqrt(17)",
      "independent_error_in_stored_ulps": "0.13194942",
      "Ntilde_plus_3J_equals_stored_N_combined_ulps": "0.1243937721",
      "ordinary_I_plus_J_error_in_stored_ulps": "0.04883729319"
    },
    {
      "t": "-163296+35640*sqrt(21)",
      "independent_error_in_stored_ulps": "0.4837652492",
      "Ntilde_plus_3J_equals_stored_N_combined_ulps": "0.4506007188",
      "ordinary_I_plus_J_error_in_stored_ulps": "0.1189554147"
    },
    {
      "t": "4+4*sqrt(33)",
      "independent_error_in_stored_ulps": "0.2655677203",
      "Ntilde_plus_3J_equals_stored_N_combined_ulps": "0.2069586595",
      "ordinary_I_plus_J_error_in_stored_ulps": "0.3791319481"
    },
    {
      "t": "-16740+2916*sqrt(33)",
      "independent_error_in_stored_ulps": "0.2349084733",
      "Ntilde_plus_3J_equals_stored_N_combined_ulps": "0.1994207388",
      "ordinary_I_plus_J_error_in_stored_ulps": "0.1554566057"
    },
    {
      "t": "-55296+8640*sqrt(41)",
      "independent_error_in_stored_ulps": "0.4965621344",
      "Ntilde_plus_3J_equals_stored_N_combined_ulps": "0.445247724",
      "ordinary_I_plus_J_error_in_stored_ulps": "0.06789638007"
    },
    {
      "t": "-13500000+1431000*sqrt(89)",
      "independent_error_in_stored_ulps": "0.3712202244",
      "Ntilde_plus_3J_equals_stored_N_combined_ulps": "0.3262947622",
      "ordinary_I_plus_J_error_in_stored_ulps": "0.1229598598"
    }
  ],
  "elliptic_L_value_control_in_stored_ulps": "0.3495686579",
  "measure": {
    "entries": 10,
    "longest": 102,
    "longest_at": "24",
    "block_kb": 1.4833984375
  },
  "instruction_manifest": "agents/runs/20261101T114635Z-build-skills/manifest.json"
}