Evidence

late block joint rounding recovery.json

Download source fileOpen in research workspace
{
  "premises": [
    "all9 exactL and roundedb/r",
    "shared u100 operations",
    "Peleg and Serug equal begetting ages within each tradition"
  ],
  "free_MT_Peleg_Serug_b": [
    28,
    29,
    30,
    31
  ],
  "MT_Reu_b": [
    32
  ],
  "scope": "formal conditioned fibre; equalities and u are supplied source relations"
}
Edition and provenance

late_block_joint_rounding_recovery.json

SHA-256 7b23de1d3ad4c27eb643636c854a02745d7b03a84e9a3920e9f00a86d6309ed4

C480–C1634/Research_Cycles/C1132_C1431_Recovered/model/late_block_joint_rounding_recovery.json