docs: def all_network_files():
      """All network files"""
      # TODO: list explicitly since some are missing?
      network_types = [
          'AND-circle',
          'MAJ-specialized',
          'MAJ-complete',
          'iit-3.0-modular'
      ]
      network_sizes = range(5, 8)
      network_files = []
      for n in network_sizes:
          for t in network_types:
              network_files.append('{}-{}'.format(n, t))
      return network_files