offline-summary.json

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

243 bytes, as of the version from 2026-11-10 21:29 (current). Recorded here, not run.

{
  "table": "T709",
  "entries": 30,
  "program_checks": 30,
  "native_types": [
    "Integer",
    "RealBall"
  ],
  "size": {
    "entries": 30,
    "longest": 154,
    "longest_at": "2",
    "block_kb": 5.537109375
  },
  "failures": []
}