evidence-before-fill.json

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

7047 bytes, as of the version from 2026-10-24 21:41 (current). Recorded here, not run.

{
  "table": "T468",
  "measure": {
    "entries": 18,
    "longest": 141,
    "longest_at": [
      "unit-disk",
      4
    ],
    "block_kb": 1.6923828125
  },
  "exact_rational_entries": 13,
  "ball_entries": 5,
  "balls": {
    "4": {
      "radius": "1.0046560e-124",
      "relative_decimal_accuracy": 123.84585121250372
    },
    "5": {
      "radius": "2.1122944e-124",
      "relative_decimal_accuracy": 123.22692521704802
    },
    "6": {
      "radius": "4.4456331e-124",
      "relative_decimal_accuracy": 122.48017274753742
    },
    "7": {
      "radius": "7.7903443e-124",
      "relative_decimal_accuracy": 121.7005152655531
    },
    "8": {
      "radius": "1.9469747e-123",
      "relative_decimal_accuracy": 120.66653238107192
    }
  },
  "disk_convolution_integrals": {
    "3@130": "1.0",
    "4@130": "0.70447988104318149995535156563829438652895357387261423253364032364199506386014662985897295105026964029360178708445831788676454",
    "5@130": "0.35618831227264541061701591085485562779522028593676672087685927650577496055246230076419107193094457349677532186256990682473704",
    "6@130": "0.13430938635710993885675193905628152220620748394364361223628576299607995478388244320277866203202000149180854424847486512536175",
    "7@130": "0.03909056230070790319009578457274220307412526130314250142005362829091538567473484718778033253057964057899527625920309865053241",
    "3@170": "1.0",
    "4@170": "0.70447988104318149995535156563829438652895357387261423253364032364199506386014662985897295105026964029360178708445831788676454158045725185271443408591206271470695273",
    "5@170": "0.356188312272645410617015910854855627795220285936766720876859276505774960552462300764191071930944573496775321862569906824737037014567584393413588544308422342754432734",
    "6@170": "0.134309386357109938856751939056281522206207483943643612236285762996079954783882443202778662032020001491808544248474865125361750774897665105191942639160816320187778633",
    "7@170": "0.0390905623007079031900957845727422030741252613031425014200536282909153856747348471877803325305796405789952762592030986505324103148346425319155738872166857143643076824"
  },
  "disk_area_integral": {
    "line_coordinate_normalization": "1 to 130 decimal places",
    "integrated_polynomial": "16/15*u^6 - 16/3*u^4 + 16*u^2 + 16/3",
    "semicircle_integral_divided_by_pi": "35/4",
    "normalized_mean_triangle_area": "35/(48*pi^2)"
  },
  "simulation": {
    "equilateral-triangle": {
      "trials": 500000,
      "moments": [
        0.3334885709887393,
        0.3330603096118817,
        0.16678904765538372,
        0.16634205661177398
      ],
      "expected_moments": [
        0.3333333333333333,
        0.3333333333333333,
        0.16666666666666666,
        0.16666666666666666
      ],
      "normalized_triangle_area": 0.08337211380895027,
      "expected_triangle_area": 0.08333333333333333,
      "probabilities": {
        "3": {
          "successes": 500000,
          "estimate": 1.0,
          "reference": 1.0,
          "standard_errors": 0.0
        },
        "4": {
          "successes": 333992,
          "estimate": 0.667984,
          "reference": 0.6666666666666666,
          "standard_errors": 1.9760000000000886
        },
        "5": {
          "successes": 153364,
          "estimate": 0.306728,
          "reference": 0.3055555555555556,
          "standard_errors": 1.799755167187484
        },
        "6": {
          "successes": 50588,
          "estimate": 0.101176,
          "reference": 0.10111111111111111,
          "standard_errors": 0.15219587868087756
        },
        "7": {
          "successes": 12414,
          "estimate": 0.024828,
          "reference": 0.025185185185185185,
          "standard_errors": -1.6119249037179706
        },
        "8": {
          "successes": 2471,
          "estimate": 0.004942,
          "reference": 0.004882842025699169,
          "standard_errors": 0.6001016935671694
        }
      },
      "affine_samples_per_n": 1000
    },
    "unit-square": {
      "trials": 500000,
      "moments": [
        0.49971499013208576,
        0.4994629924425872,
        0.3333047438898724,
        0.33283620374430206
      ],
      "expected_moments": [
        0.5,
        0.5,
        0.3333333333333333,
        0.3333333333333333
      ],
      "normalized_triangle_area": 0.07632513292087598,
      "expected_triangle_area": 0.0763888888888889,
      "probabilities": {
        "3": {
          "successes": 500000,
          "estimate": 1.0,
          "reference": 1.0,
          "standard_errors": 0.0
        },
        "4": {
          "successes": 347303,
          "estimate": 0.694606,
          "reference": 0.6944444444444444,
          "standard_errors": 0.24799507326480055
        },
        "5": {
          "successes": 170353,
          "estimate": 0.340706,
          "reference": 0.3402777777777778,
          "standard_errors": 0.6390823926683342
        },
        "6": {
          "successes": 61031,
          "estimate": 0.122062,
          "reference": 0.1225,
          "standard_errors": -0.9446425542006212
        },
        "7": {
          "successes": 16689,
          "estimate": 0.033378,
          "reference": 0.03361111111111111,
          "standard_errors": -0.9145986959514177
        },
        "8": {
          "successes": 3597,
          "estimate": 0.007194,
          "reference": 0.0072452522675736965,
          "standard_errors": -0.4273171713426392
        }
      },
      "affine_samples_per_n": 1000
    },
    "unit-disk": {
      "trials": 500000,
      "moments": [
        0.0011610012133792442,
        -0.00016690561175110462,
        0.24989255936711266,
        0.2502286801943464
      ],
      "expected_moments": [
        0.0,
        0.0,
        0.25,
        0.25
      ],
      "normalized_triangle_area": 0.0738430065357852,
      "expected_triangle_area": 0.07388002973920463,
      "probabilities": {
        "3": {
          "successes": 500000,
          "estimate": 1.0,
          "reference": 1.0,
          "standard_errors": 0.0
        },
        "4": {
          "successes": 352194,
          "estimate": 0.704388,
          "reference": 0.7044798810431815,
          "standard_errors": -0.14239118217463287
        },
        "5": {
          "successes": 178411,
          "estimate": 0.356822,
          "reference": 0.3561883122726454,
          "standard_errors": 0.9357094977716063
        },
        "6": {
          "successes": 67531,
          "estimate": 0.135062,
          "reference": 0.13430938635710993,
          "standard_errors": 1.5607112183045049
        },
        "7": {
          "successes": 19709,
          "estimate": 0.039418,
          "reference": 0.039090562300707905,
          "standard_errors": 1.1946384649420803
        },
        "8": {
          "successes": 4580,
          "estimate": 0.00916,
          "reference": 0.009034262164855342,
          "standard_errors": 0.9396699025420364
        }
      },
      "affine_samples_per_n": 1000
    }
  }
}