def preprocess(theorem, chromosome):
    """
    convert chromosome to complete Coq script

    Args:
        theorem (list): a list of string contains theorem or some pre-provided
            tactic.
        chromosome (list): a list of string.

    Returns:
        byte: a byte string will be passed to coqtop
    """
    script = b''
    script += b'\n'.join(line.encode("utf-8") for line in theorem) + b'\n'
    script += b'\n'.join(line.encode("utf-8") for line in chromosome) + b'\n'
    script += b'Qed.'
    return script