{
  "schema": "AN02-original-logarithmic-contour-checks188/v1",
  "status": "PASS",
  "checks": 125,
  "records": [
    {
      "name": "actual-shifted-Gaussian-inverse-D0-epsilon0.3",
      "absolute_error": 0.0,
      "relative_error": 0.0,
      "tolerance": 1e-42,
      "passed": true
    },
    {
      "name": "actual-shifted-Gaussian-inverse-D1-epsilon0.3",
      "absolute_error": 5.934729841099874e-67,
      "relative_error": 5.934729841099874e-67,
      "tolerance": 1e-42,
      "passed": true
    },
    {
      "name": "actual-shifted-Gaussian-inverse-D2-epsilon0.3",
      "absolute_error": 2.967364920549937e-67,
      "relative_error": 2.967364920549937e-67,
      "tolerance": 1e-42,
      "passed": true
    },
    {
      "name": "actual-shifted-Gaussian-inverse-D0-epsilon1.0",
      "absolute_error": 1.2403585367898737e-64,
      "relative_error": 1.2403585367898737e-64,
      "tolerance": 1e-42,
      "passed": true
    },
    {
      "name": "actual-shifted-Gaussian-inverse-D1-epsilon1.0",
      "absolute_error": 3.1780478299089826e-64,
      "relative_error": 3.1780478299089826e-64,
      "tolerance": 1e-42,
      "passed": true
    },
    {
      "name": "actual-shifted-Gaussian-inverse-D2-epsilon1.0",
      "absolute_error": 2.4553461035090455e-63,
      "relative_error": 2.4553461035090455e-63,
      "tolerance": 1e-42,
      "passed": true
    },
    {
      "name": "unregularized-atom-actual-finite-contour-boundary-(mpf('2.0'), mpf('0.5'))",
      "absolute_error": 0.0,
      "relative_error": 0.0,
      "tolerance": 1e-42,
      "passed": true
    },
    {
      "name": "unregularized-atom-actual-finite-contour-boundary-(mpf('2.0'), mpf('1.0'))",
      "absolute_error": 0.0,
      "relative_error": 0.0,
      "tolerance": 1e-42,
      "passed": true
    },
    {
      "name": "unregularized-atom-actual-finite-contour-boundary-(mpf('4.0'), mpf('0.5'))",
      "absolute_error": 0.0,
      "relative_error": 0.0,
      "tolerance": 1e-42,
      "passed": true
    },
    {
      "name": "unregularized-atom-actual-finite-contour-boundary-(mpf('4.0'), mpf('1.0'))",
      "absolute_error": 0.0,
      "relative_error": 0.0,
      "tolerance": 1e-42,
      "passed": true
    },
    {
      "name": "unregularized-atom-actual-finite-contour-boundary-(mpf('9.0'), mpf('0.5'))",
      "absolute_error": 9.273015376718553e-69,
      "relative_error": 9.273015376718553e-69,
      "tolerance": 1e-42,
      "passed": true
    },
    {
      "name": "unregularized-atom-actual-finite-contour-boundary-(mpf('9.0'), mpf('1.0'))",
      "absolute_error": 5.071180284142959e-70,
      "relative_error": 5.071180284142959e-70,
      "tolerance": 1e-42,
      "passed": true
    },
    {
      "name": "actual-final-contour-logarithmic-strip-(mpf('2.0'), mpf('0.0'))",
      "actual": 1.3862943611198906,
      "bound": 3.4789667447677757,
      "tolerance": 1e-45,
      "passed": true
    },
    {
      "name": "actual-Jacobian-bound-(mpf('2.0'), mpf('0.0'))",
      "actual": 1.0,
      "bound": 3.0,
      "tolerance": 1e-45,
      "passed": true
    },
    {
      "name": "actual-complex-Gaussian-modulus-(mpf('2.0'), mpf('0.0'), mpf('0.25'))",
      "absolute_error": 0.0,
      "relative_error": 0.0,
      "tolerance": 1e-42,
      "passed": true
    },
    {
      "name": "actual-complex-Gaussian-modulus-(mpf('2.0'), mpf('0.0'), mpf('1.0'))",
      "absolute_error": 0.0,
      "relative_error": 0.0,
      "tolerance": 1e-42,
      "passed": true
    },
    {
      "name": "actual-final-contour-logarithmic-strip-(mpf('2.0'), mpf('0.19999999999999999999999999999999999999999999999999999999999999999988'))",
      "actual": 1.42589961571225,
      "bound": 3.5677585972320354,
      "tolerance": 1e-45,
      "passed": true
    },
    {
      "name": "actual-Jacobian-bound-(mpf('2.0'), mpf('0.19999999999999999999999999999999999999999999999999999999999999999988'))",
      "actual": 1.0741447784158695,
      "bound": 3.0,
      "tolerance": 1e-45,
      "passed": true
    },
    {
      "name": "actual-complex-Gaussian-modulus-(mpf('2.0'), mpf('0.19999999999999999999999999999999999999999999999999999999999999999988'), mpf('0.25'))",
      "absolute_error": 0.0,
      "relative_error": 0.0,
      "tolerance": 1e-42,
      "passed": true
    },
    {
      "name": "actual-complex-Gaussian-modulus-(mpf('2.0'), mpf('0.19999999999999999999999999999999999999999999999999999999999999999988'), mpf('1.0'))",
      "absolute_error": 1.8991135491519597e-65,
      "relative_error": 2.5877340358279887e-66,
      "tolerance": 1e-42,
      "passed": true
    },
    {
      "name": "actual-final-contour-logarithmic-strip-(mpf('2.0'), mpf('0.70000000000000000000000000000000000000000000000000000000000000000047'))",
      "actual": 1.8245654209532325,
      "bound": 4.332960509177241,
      "tolerance": 1e-45,
      "passed": true
    },
    {
      "name": "actual-Jacobian-bound-(mpf('2.0'), mpf('0.70000000000000000000000000000000000000000000000000000000000000000047'))",
      "actual": 1.5048241538265443,
      "bound": 3.0,
      "tolerance": 1e-45,
      "passed": true
    },
    {
      "name": "actual-complex-Gaussian-modulus-(mpf('2.0'), mpf('0.70000000000000000000000000000000000000000000000000000000000000000047'), mpf('0.25'))",
      "absolute_error": 0.0,
      "relative_error": 0.0,
      "tolerance": 1e-42,
      "passed": true
    },
    {
      "name": "actual-complex-Gaussian-modulus-(mpf('2.0'), mpf('0.70000000000000000000000000000000000000000000000000000000000000000047'), mpf('1.0'))",
      "absolute_error": 7.596454196607839e-65,
      "relative_error": 4.442546299770794e-66,
      "tolerance": 1e-42,
      "passed": true
    },
    {
      "name": "actual-final-contour-logarithmic-strip-(mpf('2.0'), mpf('1.0'))",
      "actual": 2.1972245773362196,
      "bound": 4.911635527541262,
      "tolerance": 1e-45,
      "passed": true
    },
    {
      "name": "actual-Jacobian-bound-(mpf('2.0'), mpf('1.0'))",
      "actual": 1.6666666666666667,
      "bound": 3.0,
      "tolerance": 1e-45,
      "passed": true
    },
    {
      "name": "actual-complex-Gaussian-modulus-(mpf('2.0'), mpf('1.0'), mpf('0.25'))",
      "absolute_error": 0.0,
      "relative_error": 0.0,
      "tolerance": 1e-42,
      "passed": true
    },
    {
      "name": "actual-complex-Gaussian-modulus-(mpf('2.0'), mpf('1.0'), mpf('1.0'))",
      "absolute_error": 2.2789362589823517e-64,
      "relative_error": 4.958400077872165e-66,
      "tolerance": 1e-42,
      "passed": true
    },
    {
      "name": "actual-final-contour-logarithmic-strip-(mpf('2.0'), mpf('9.0'))",
      "actual": 8.837681215593197,
      "bound": 10.44429702245578,
      "tolerance": 1e-45,
      "passed": true
    },
    {
      "name": "actual-Jacobian-bound-(mpf('2.0'), mpf('9.0'))",
      "actual": 1.0900119256080525,
      "bound": 3.0,
      "tolerance": 1e-45,
      "passed": true
    },
    {
      "name": "actual-complex-Gaussian-modulus-(mpf('2.0'), mpf('9.0'), mpf('0.25'))",
      "absolute_error": 2.967364920549937e-66,
      "relative_error": 2.967364920549937e-66,
      "tolerance": 1e-42,
      "passed": true
    },
    {
      "name": "actual-complex-Gaussian-modulus-(mpf('2.0'), mpf('9.0'), mpf('1.0'))",
      "absolute_error": 1.3353142142474717e-66,
      "relative_error": 1.3353142142474717e-66,
      "tolerance": 1e-42,
      "passed": true
    },
    {
      "name": "actual-final-contour-logarithmic-strip-(mpf('2.0'), mpf('50.0'))",
      "actual": 15.649691382053712,
      "bound": 15.910637379368842,
      "tolerance": 1e-45,
      "passed": true
    },
    {
      "name": "actual-Jacobian-bound-(mpf('2.0'), mpf('50.0'))",
      "actual": 1.0031897987294855,
      "bound": 3.0,
      "tolerance": 1e-45,
      "passed": true
    },
    {
      "name": "actual-complex-Gaussian-modulus-(mpf('2.0'), mpf('50.0'), mpf('0.25'))",
      "absolute_error": 0.0,
      "relative_error": 0.0,
      "tolerance": 1e-42,
      "passed": true
    },
    {
      "name": "actual-complex-Gaussian-modulus-(mpf('2.0'), mpf('50.0'), mpf('1.0'))",
      "absolute_error": 0.0,
      "relative_error": 0.0,
      "tolerance": 1e-42,
      "passed": true
    },
    {
      "name": "actual-final-contour-logarithmic-strip-(mpf('5.0'), mpf('0.0'))",
      "actual": 3.4657359027997265,
      "bound": 14.964340166044229,
      "tolerance": 1e-45,
      "passed": true
    },
    {
      "name": "actual-Jacobian-bound-(mpf('5.0'), mpf('0.0'))",
      "actual": 1.0,
      "bound": 6.0,
      "tolerance": 1e-45,
      "passed": true
    },
    {
      "name": "actual-complex-Gaussian-modulus-(mpf('5.0'), mpf('0.0'), mpf('0.25'))",
      "absolute_error": 0.0,
      "relative_error": 0.0,
      "tolerance": 1e-42,
      "passed": true
    },
    {
      "name": "actual-complex-Gaussian-modulus-(mpf('5.0'), mpf('0.0'), mpf('1.0'))",
      "absolute_error": 0.0,
      "relative_error": 0.0,
      "tolerance": 1e-42,
      "passed": true
    },
    {
      "name": "actual-final-contour-logarithmic-strip-(mpf('5.0'), mpf('0.19999999999999999999999999999999999999999999999999999999999999999988'))",
      "actual": 3.564749039280625,
      "bound": 15.195909095940584,
      "tolerance": 1e-45,
      "passed": true
    },
    {
      "name": "actual-Jacobian-bound-(mpf('5.0'), mpf('0.19999999999999999999999999999999999999999999999999999999999999999988'))",
      "actual": 1.400417359660321,
      "bound": 6.0,
      "tolerance": 1e-45,
      "passed": true
    },
    {
      "name": "actual-complex-Gaussian-modulus-(mpf('5.0'), mpf('0.19999999999999999999999999999999999999999999999999999999999999999988'), mpf('0.25'))",
      "absolute_error": 1.1394681294911758e-64,
      "relative_error": 4.801233471753249e-66,
      "tolerance": 1e-42,
      "passed": true
    },
    {
      "name": "actual-complex-Gaussian-modulus-(mpf('5.0'), mpf('0.19999999999999999999999999999999999999999999999999999999999999999988'), mpf('1.0'))",
      "absolute_error": 6.223015277861142e-60,
      "relative_error": 1.9615683121891102e-65,
      "tolerance": 1e-42,
      "passed": true
    },
    {
      "name": "actual-final-contour-logarithmic-strip-(mpf('5.0'), mpf('0.70000000000000000000000000000000000000000000000000000000000000000047'))",
      "actual": 4.561413552383081,
      "bound": 17.254081792216606,
      "tolerance": 1e-45,
      "passed": true
    },
    {
      "name": "actual-Jacobian-bound-(mpf('5.0'), mpf('0.70000000000000000000000000000000000000000000000000000000000000000047'))",
      "actual": 2.9838060153306873,
      "bound": 6.0,
      "tolerance": 1e-45,
      "passed": true
    },
    {
      "name": "actual-complex-Gaussian-modulus-(mpf('5.0'), mpf('0.70000000000000000000000000000000000000000000000000000000000000000047'), mpf('0.25'))",
      "absolute_error": 0.0,
      "relative_error": 0.0,
      "tolerance": 1e-42,
      "passed": true
    },
    {
      "name": "actual-complex-Gaussian-modulus-(mpf('5.0'), mpf('0.70000000000000000000000000000000000000000000000000000000000000000047'), mpf('1.0'))",
      "absolute_error": 0.0,
      "relative_error": 0.0,
      "tolerance": 1e-42,
      "passed": true
    },
    {
      "name": "actual-final-contour-logarithmic-strip-(mpf('5.0'), mpf('1.0'))",
      "actual": 5.493061443340548,
      "bound": 18.84542738565861,
      "tolerance": 1e-45,
      "passed": true
    },
    {
      "name": "actual-Jacobian-bound-(mpf('5.0'), mpf('1.0'))",
      "actual": 3.48010216963685,
      "bound": 6.0,
      "tolerance": 1e-45,
      "passed": true
    },
    {
      "name": "actual-complex-Gaussian-modulus-(mpf('5.0'), mpf('1.0'), mpf('0.25'))",
      "absolute_error": 0.0,
      "relative_error": 0.0,
      "tolerance": 1e-42,
      "passed": true
    },
    {
      "name": "actual-complex-Gaussian-modulus-(mpf('5.0'), mpf('1.0'), mpf('1.0'))",
      "absolute_error": 0.0,
      "relative_error": 0.0,
      "tolerance": 1e-42,
      "passed": true
    },
    {
      "name": "actual-final-contour-logarithmic-strip-(mpf('5.0'), mpf('9.0'))",
      "actual": 22.09420303898299,
      "bound": 32.13137176188016,
      "tolerance": 1e-45,
      "passed": true
    },
    {
      "name": "actual-Jacobian-bound-(mpf('5.0'), mpf('9.0'))",
      "actual": 1.4750550794118136,
      "bound": 6.0,
      "tolerance": 1e-45,
      "passed": true
    },
    {
      "name": "actual-complex-Gaussian-modulus-(mpf('5.0'), mpf('9.0'), mpf('0.25'))",
      "absolute_error": 2.4352197233561135e-20,
      "relative_error": 1.5148691986583874e-64,
      "tolerance": 1e-42,
      "passed": true
    },
    {
      "name": "actual-complex-Gaussian-modulus-(mpf('5.0'), mpf('9.0'), mpf('1.0'))",
      "absolute_error": 4.064293852045085e+113,
      "relative_error": 6.086015181191781e-64,
      "tolerance": 1e-42,
      "passed": true
    },
    {
      "name": "actual-final-contour-logarithmic-strip-(mpf('5.0'), mpf('50.0'))",
      "actual": 39.12422845513428,
      "bound": 41.66476608594947,
      "tolerance": 1e-45,
      "passed": true
    },
    {
      "name": "actual-Jacobian-bound-(mpf('5.0'), mpf('50.0'))",
      "actual": 1.0197725612695028,
      "bound": 6.0,
      "tolerance": 1e-45,
      "passed": true
    },
    {
      "name": "actual-complex-Gaussian-modulus-(mpf('5.0'), mpf('50.0'), mpf('0.25'))",
      "absolute_error": 3.508828655236593e-169,
      "relative_error": 3.508828655236593e-169,
      "tolerance": 1e-42,
      "passed": true
    },
    {
      "name": "actual-complex-Gaussian-modulus-(mpf('5.0'), mpf('50.0'), mpf('1.0'))",
      "absolute_error": 0.0,
      "relative_error": 0.0,
      "tolerance": 1e-42,
      "passed": true
    },
    {
      "name": "actual-final-contour-logarithmic-strip-(mpf('20.0'), mpf('0.0'))",
      "actual": 13.862943611198906,
      "bound": 107.95484437020644,
      "tolerance": 1e-45,
      "passed": true
    },
    {
      "name": "actual-Jacobian-bound-(mpf('20.0'), mpf('0.0'))",
      "actual": 1.0,
      "bound": 21.0,
      "tolerance": 1e-45,
      "passed": true
    },
    {
      "name": "actual-complex-Gaussian-modulus-(mpf('20.0'), mpf('0.0'), mpf('0.25'))",
      "absolute_error": 0.0,
      "relative_error": 0.0,
      "tolerance": 1e-42,
      "passed": true
    },
    {
      "name": "actual-complex-Gaussian-modulus-(mpf('20.0'), mpf('0.0'), mpf('1.0'))",
      "absolute_error": 0.0,
      "relative_error": 0.0,
      "tolerance": 1e-42,
      "passed": true
    },
    {
      "name": "actual-final-contour-logarithmic-strip-(mpf('20.0'), mpf('0.19999999999999999999999999999999999999999999999999999999999999999988'))",
      "actual": 14.2589961571225,
      "bound": 109.01044613573903,
      "tolerance": 1e-45,
      "passed": true
    },
    {
      "name": "actual-Jacobian-bound-(mpf('20.0'), mpf('0.19999999999999999999999999999999999999999999999999999999999999999988'))",
      "actual": 4.047060723513766,
      "bound": 21.0,
      "tolerance": 1e-45,
      "passed": true
    },
    {
      "name": "actual-complex-Gaussian-modulus-(mpf('20.0'), mpf('0.19999999999999999999999999999999999999999999999999999999999999999988'), mpf('0.25'))",
      "absolute_error": 0.0,
      "relative_error": 0.0,
      "tolerance": 1e-42,
      "passed": true
    },
    {
      "name": "actual-complex-Gaussian-modulus-(mpf('20.0'), mpf('0.19999999999999999999999999999999999999999999999999999999999999999988'), mpf('1.0'))",
      "absolute_error": 0.0,
      "relative_error": 0.0,
      "tolerance": 1e-42,
      "passed": true
    },
    {
      "name": "actual-final-contour-logarithmic-strip-(mpf('20.0'), mpf('0.70000000000000000000000000000000000000000000000000000000000000000047'))",
      "actual": 18.245654209532326,
      "bound": 118.3192995465974,
      "tolerance": 1e-45,
      "passed": true
    },
    {
      "name": "actual-Jacobian-bound-(mpf('20.0'), mpf('0.70000000000000000000000000000000000000000000000000000000000000000047'))",
      "actual": 11.289356642164226,
      "bound": 21.0,
      "tolerance": 1e-45,
      "passed": true
    },
    {
      "name": "actual-complex-Gaussian-modulus-(mpf('20.0'), mpf('0.70000000000000000000000000000000000000000000000000000000000000000047'), mpf('0.25'))",
      "absolute_error": 1.877488954426008e-28,
      "relative_error": 1.521237557017099e-64,
      "tolerance": 1e-42,
      "passed": true
    },
    {
      "name": "actual-complex-Gaussian-modulus-(mpf('20.0'), mpf('0.70000000000000000000000000000000000000000000000000000000000000000047'), mpf('1.0'))",
      "absolute_error": 1.408031805125765e+81,
      "relative_error": 6.068635566319212e-64,
      "tolerance": 1e-42,
      "passed": true
    },
    {
      "name": "actual-final-contour-logarithmic-strip-(mpf('20.0'), mpf('1.0'))",
      "actual": 21.972245773362193,
      "bound": 125.4110546139371,
      "tolerance": 1e-45,
      "passed": true
    },
    {
      "name": "actual-Jacobian-bound-(mpf('20.0'), mpf('1.0'))",
      "actual": 13.370780746754386,
      "bound": 21.0,
      "tolerance": 1e-45,
      "passed": true
    },
    {
      "name": "actual-complex-Gaussian-modulus-(mpf('20.0'), mpf('1.0'), mpf('0.25'))",
      "absolute_error": 0.0,
      "relative_error": 0.0,
      "tolerance": 1e-42,
      "passed": true
    },
    {
      "name": "actual-complex-Gaussian-modulus-(mpf('20.0'), mpf('1.0'), mpf('1.0'))",
      "absolute_error": 0.0,
      "relative_error": 0.0,
      "tolerance": 1e-42,
      "passed": true
    },
    {
      "name": "actual-final-contour-logarithmic-strip-(mpf('20.0'), mpf('9.0'))",
      "actual": 88.37681215593196,
      "bound": 179.91849422431522,
      "tolerance": 1e-45,
      "passed": true
    },
    {
      "name": "actual-Jacobian-bound-(mpf('20.0'), mpf('9.0'))",
      "actual": 4.451134663967994,
      "bound": 21.0,
      "tolerance": 1e-45,
      "passed": true
    },
    {
      "name": "actual-complex-Gaussian-modulus-(mpf('20.0'), mpf('9.0'), mpf('0.25'))",
      "absolute_error": "3.99329473789373e+776",
      "relative_error": 2.430939844321854e-63,
      "tolerance": 1e-42,
      "passed": true
    },
    {
      "name": "actual-complex-Gaussian-modulus-(mpf('20.0'), mpf('9.0'), mpf('1.0'))",
      "absolute_error": "7.07921224557349e+3294",
      "relative_error": 9.722015693955872e-63,
      "tolerance": 1e-42,
      "passed": true
    },
    {
      "name": "actual-final-contour-logarithmic-strip-(mpf('20.0'), mpf('50.0'))",
      "actual": 156.49691382053712,
      "bound": 204.30811914940776,
      "tolerance": 1e-45,
      "passed": true
    },
    {
      "name": "actual-Jacobian-bound-(mpf('20.0'), mpf('50.0'))",
      "actual": 1.2802254596322435,
      "bound": 21.0,
      "tolerance": 1e-45,
      "passed": true
    },
    {
      "name": "actual-complex-Gaussian-modulus-(mpf('20.0'), mpf('50.0'), mpf('0.25'))",
      "absolute_error": "4.58276902069391e+2325",
      "relative_error": 9.723023567645799e-63,
      "tolerance": 1e-42,
      "passed": true
    },
    {
      "name": "actual-complex-Gaussian-modulus-(mpf('20.0'), mpf('50.0'), mpf('1.0'))",
      "absolute_error": "1.91952851816548e+9489",
      "relative_error": 3.889448702769645e-62,
      "tolerance": 1e-42,
      "passed": true
    },
    {
      "name": "actual-width-after-bounded-polynomial-displacement-(1, mpf('4.0'), mpc(real='0.0', imag='2.0'))",
      "actual": 2.8047189562170503,
      "bound": 8.862314001229004,
      "tolerance": 1e-45,
      "passed": true
    },
    {
      "name": "actual-width-after-bounded-polynomial-displacement-(1, mpf('4.0'), mpc(real='-1.2000000000000000000000000000000000000000000000000000000000000000005', imag='0.79999999999999999999999999999999999999999999999999999999999999999953'))",
      "actual": 1.6047189562170503,
      "bound": 7.2077547191925255,
      "tolerance": 1e-45,
      "passed": true
    },
    {
      "name": "actual-width-after-bounded-polynomial-displacement-(1, mpf('20.0'), mpc(real='0.0', imag='2.0'))",
      "actual": 3.5222612188617113,
      "bound": 15.295363606579429,
      "tolerance": 1e-45,
      "passed": true
    },
    {
      "name": "actual-width-after-bounded-polynomial-displacement-(1, mpf('20.0'), mpc(real='-1.2000000000000000000000000000000000000000000000000000000000000000005', imag='0.79999999999999999999999999999999999999999999999999999999999999999953'))",
      "actual": 2.3222612188617116,
      "bound": 14.964362223989484,
      "tolerance": 1e-45,
      "passed": true
    },
    {
      "name": "actual-width-after-bounded-polynomial-displacement-(1, mpf('300.0'), mpc(real='0.0', imag='2.0'))",
      "actual": 4.853555132374438,
      "bound": 28.536203425630433,
      "tolerance": 1e-45,
      "passed": true
    },
    {
      "name": "actual-width-after-bounded-polynomial-displacement-(1, mpf('300.0'), mpc(real='-1.2000000000000000000000000000000000000000000000000000000000000000005', imag='0.79999999999999999999999999999999999999999999999999999999999999999953'))",
      "actual": 3.653555132374438,
      "bound": 28.51595042871211,
      "tolerance": 1e-45,
      "passed": true
    },
    {
      "name": "actual-width-after-bounded-polynomial-displacement-(3, mpf('4.0'), mpc(real='0.0', imag='2.0'))",
      "actual": 4.41415686865115,
      "bound": 17.457619138836115,
      "tolerance": 1e-45,
      "passed": true
    },
    {
      "name": "actual-width-after-bounded-polynomial-displacement-(3, mpf('4.0'), mpc(real='-1.2000000000000000000000000000000000000000000000000000000000000000005', imag='0.79999999999999999999999999999999999999999999999999999999999999999953'))",
      "actual": 3.2141568686511506,
      "bound": 14.945836559205222,
      "tolerance": 1e-45,
      "passed": true
    },
    {
      "name": "actual-width-after-bounded-polynomial-displacement-(3, mpf('20.0'), mpc(real='0.0', imag='2.0'))",
      "actual": 6.566783656585135,
      "bound": 27.840008745405896,
      "tolerance": 1e-45,
      "passed": true
    },
    {
      "name": "actual-width-after-bounded-polynomial-displacement-(3, mpf('20.0'), mpc(real='-1.2000000000000000000000000000000000000000000000000000000000000000005', imag='0.79999999999999999999999999999999999999999999999999999999999999999953'))",
      "actual": 5.366783656585135,
      "bound": 27.206194991019455,
      "tolerance": 1e-45,
      "passed": true
    },
    {
      "name": "actual-width-after-bounded-polynomial-displacement-(3, mpf('300.0'), mpc(real='0.0', imag='2.0'))",
      "actual": 10.560665397123314,
      "bound": 51.36954680415021,
      "tolerance": 1e-45,
      "passed": true
    },
    {
      "name": "actual-width-after-bounded-polynomial-displacement-(3, mpf('300.0'), mpc(real='-1.2000000000000000000000000000000000000000000000000000000000000000005', imag='0.79999999999999999999999999999999999999999999999999999999999999999953'))",
      "actual": 9.360665397123313,
      "bound": 51.332439748160766,
      "tolerance": 1e-45,
      "passed": true
    },
    {
      "name": "actual-width-after-bounded-polynomial-displacement-(10, mpf('4.0'), mpc(real='0.0', imag='2.0'))",
      "actual": 10.047189562170502,
      "bound": 56.793869219940554,
      "tolerance": 1e-45,
      "passed": true
    },
    {
      "name": "actual-width-after-bounded-polynomial-displacement-(10, mpf('4.0'), mpc(real='-1.2000000000000000000000000000000000000000000000000000000000000000005', imag='0.79999999999999999999999999999999999999999999999999999999999999999953'))",
      "actual": 8.847189562170502,
      "bound": 53.593926453447466,
      "tolerance": 1e-45,
      "passed": true
    },
    {
      "name": "actual-width-after-bounded-polynomial-displacement-(10, mpf('20.0'), mpc(real='0.0', imag='2.0'))",
      "actual": 17.222612188617116,
      "bound": 76.13705676587605,
      "tolerance": 1e-45,
      "passed": true
    },
    {
      "name": "actual-width-after-bounded-polynomial-displacement-(10, mpf('20.0'), mpc(real='-1.2000000000000000000000000000000000000000000000000000000000000000005', imag='0.79999999999999999999999999999999999999999999999999999999999999999953'))",
      "actual": 16.022612188617114,
      "bound": 74.67063517064419,
      "tolerance": 1e-45,
      "passed": true
    },
    {
      "name": "actual-width-after-bounded-polynomial-displacement-(10, mpf('300.0'), mpc(real='0.0', imag='2.0'))",
      "actual": 30.53555132374438,
      "bound": 131.38167291315884,
      "tolerance": 1e-45,
      "passed": true
    },
    {
      "name": "actual-width-after-bounded-polynomial-displacement-(10, mpf('300.0'), mpc(real='-1.2000000000000000000000000000000000000000000000000000000000000000005', imag='0.79999999999999999999999999999999999999999999999999999999999999999953'))",
      "actual": 29.33555132374438,
      "bound": 131.28160787817498,
      "tolerance": 1e-45,
      "passed": true
    },
    {
      "name": "actual-triangle-Fourier-integral-(0.0 + 0.0j)",
      "absolute_error": 0.0,
      "relative_error": 0.0,
      "tolerance": 1e-42,
      "passed": true
    },
    {
      "name": "actual-D2-triangle-point-mass-sign-(0.0 + 0.0j)",
      "absolute_error": 0.0,
      "relative_error": 0.0,
      "tolerance": 1e-42,
      "passed": true
    },
    {
      "name": "actual-triangle-Fourier-integral-(0.4 + 0.3j)",
      "absolute_error": 3.3753775971255535e-66,
      "relative_error": 3.3753775971255535e-66,
      "tolerance": 1e-42,
      "passed": true
    },
    {
      "name": "actual-D2-triangle-point-mass-sign-(0.4 + 0.3j)",
      "absolute_error": 1.5130651633834832e-66,
      "relative_error": 1.5130651633834832e-66,
      "tolerance": 1e-42,
      "passed": true
    },
    {
      "name": "actual-triangle-Fourier-integral-(2.0 - 1.0j)",
      "absolute_error": 0.0,
      "relative_error": 0.0,
      "tolerance": 1e-42,
      "passed": true
    },
    {
      "name": "actual-D2-triangle-point-mass-sign-(2.0 - 1.0j)",
      "absolute_error": 4.7477838728798994e-66,
      "relative_error": 1.2116469226461074e-66,
      "tolerance": 1e-42,
      "passed": true
    },
    {
      "name": "actual-triangle-Fourier-integral-(-3.0 + 2.0j)",
      "absolute_error": 5.934729841099874e-67,
      "relative_error": 5.934729841099874e-67,
      "tolerance": 1e-42,
      "passed": true
    },
    {
      "name": "actual-D2-triangle-point-mass-sign-(-3.0 + 2.0j)",
      "absolute_error": 2.3738919364399497e-66,
      "relative_error": 2.4976830069484664e-67,
      "tolerance": 1e-42,
      "passed": true
    },
    {
      "name": "actual-triangle-persistent-zero-residual-1",
      "actual": 0.0,
      "bound": 1e-50,
      "tolerance": 1e-45,
      "passed": true
    },
    {
      "name": "actual-triangle-complex-profile-(1, mpf('-2.0'))",
      "absolute_error": 1.7804189523299623e-66,
      "relative_error": 1.7804189523299623e-66,
      "tolerance": 1e-42,
      "passed": true
    },
    {
      "name": "actual-triangle-complex-profile-(1, mpf('-0.30000000000000000000000000000000000000000000000000000000000000000012'))",
      "absolute_error": 0.0,
      "relative_error": 0.0,
      "tolerance": 1e-42,
      "passed": true
    },
    {
      "name": "actual-triangle-complex-profile-(1, mpf('0.30000000000000000000000000000000000000000000000000000000000000000012'))",
      "absolute_error": 0.0,
      "relative_error": 0.0,
      "tolerance": 1e-42,
      "passed": true
    },
    {
      "name": "actual-triangle-complex-profile-(1, mpf('2.0'))",
      "absolute_error": 1.7804189523299623e-66,
      "relative_error": 1.7804189523299623e-66,
      "tolerance": 1e-42,
      "passed": true
    },
    {
      "name": "actual-triangle-persistent-zero-residual-10",
      "actual": 0.0,
      "bound": 1e-50,
      "tolerance": 1e-45,
      "passed": true
    },
    {
      "name": "actual-triangle-complex-profile-(10, mpf('-2.0'))",
      "absolute_error": 2.1884316289055786e-66,
      "relative_error": 2.1884316289055786e-66,
      "tolerance": 1e-42,
      "passed": true
    },
    {
      "name": "actual-triangle-complex-profile-(10, mpf('-0.30000000000000000000000000000000000000000000000000000000000000000012'))",
      "absolute_error": 2.3738919364399497e-66,
      "relative_error": 1.273074999481436e-66,
      "tolerance": 1e-42,
      "passed": true
    },
    {
      "name": "actual-triangle-complex-profile-(10, mpf('0.30000000000000000000000000000000000000000000000000000000000000000012'))",
      "absolute_error": 2.3738919364399497e-66,
      "relative_error": 1.273074999481436e-66,
      "tolerance": 1e-42,
      "passed": true
    },
    {
      "name": "actual-triangle-complex-profile-(10, mpf('2.0'))",
      "absolute_error": 2.1884316289055786e-66,
      "relative_error": 2.1884316289055786e-66,
      "tolerance": 1e-42,
      "passed": true
    },
    {
      "name": "actual-triangle-persistent-zero-residual-100",
      "actual": 0.0,
      "bound": 1e-50,
      "tolerance": 1e-45,
      "passed": true
    },
    {
      "name": "actual-triangle-complex-profile-(100, mpf('-2.0'))",
      "absolute_error": 2.166987780846917e-66,
      "relative_error": 2.166987780846917e-66,
      "tolerance": 1e-42,
      "passed": true
    },
    {
      "name": "actual-triangle-complex-profile-(100, mpf('-0.30000000000000000000000000000000000000000000000000000000000000000012'))",
      "absolute_error": 0.0,
      "relative_error": 0.0,
      "tolerance": 1e-42,
      "passed": true
    },
    {
      "name": "actual-triangle-complex-profile-(100, mpf('0.30000000000000000000000000000000000000000000000000000000000000000012'))",
      "absolute_error": 0.0,
      "relative_error": 0.0,
      "tolerance": 1e-42,
      "passed": true
    },
    {
      "name": "actual-triangle-complex-profile-(100, mpf('2.0'))",
      "absolute_error": 2.166987780846917e-66,
      "relative_error": 2.166987780846917e-66,
      "tolerance": 1e-42,
      "passed": true
    }
  ],
  "precision_decimal_digits": 65,
  "maximum_relative_error": 3.889448702769645e-62,
  "numerical_scope": "Actual complex logarithmic-cycle Gaussian Fourier inverses for delta and its first two D derivatives; actual finite unregularized integrals and independent endpoint evaluations; strip inclusion,exact complex Gaussian moduli,Jacobian and bounded-displacement strip widths;direct physical triangular-function Fourier integrals,point-mass signs,persistent zeros and exact complex profiles.",
  "checks_are_proof_supplements": true,
  "full_all_dimensions_and_all_derivative_orders_proof_in_formal_text": true,
  "no_finite_numerical_probe_claimed_as_general_support_or_compactness_proof": true
}