OAI/Combinatorics/LowSpaceSubsetSum/Word/WordSeedDraws.lean

GitHub source file

9 declarations, 0 contain sorry, 0 declared as axioms

Successful seeds for signs, partitions and separator families

  1. def OAI.LowSpaceSubsetSum.WordSeedRealization.bitsSeed line 11
  2. def OAI.LowSpaceSubsetSum.WordSeedRealization.bits line 14
  3. def OAI.LowSpaceSubsetSum.WordSeedRealization.signs line 34
  4. def OAI.LowSpaceSubsetSum.WordSeedRealization.subset line 37
  5. def OAI.LowSpaceSubsetSum.WordSeedRealization.fixedSize line 41
  6. def OAI.LowSpaceSubsetSum.WordSeedRealization.families line 45
  7. def OAI.LowSpaceSubsetSum.WordSeedRealization.layout line 53
  8. def OAI.LowSpaceSubsetSum.WordSeedRealization.guesses line 58
  9. def OAI.LowSpaceSubsetSum.WordSeedRealization.partition line 64