<SYSTEM_TASK:>
Solve the following problem using Python, implementing the functions described below, one line at a time
<END_TASK>
<USER_TASK:>
Description:
 def decrypt(key, ciphertext, shift_function=shift_case_english):
 """Decrypt Shift enciphered ``ciphertext`` using ``key``. Examples: HELLO >> decrypt(15, [0xcf, 0x9e, 0xaf, 0xe0], shift_bytes) [0xde, 0xad, 0xbe, 0xef] Args: key (int):
 The shift to use ciphertext (iterable):
 The symbols to decrypt shift_function (function (shift, symbol)):
 Shift function to apply to symbols in the ciphertext Returns: Decrypted ciphertext, list of plaintext symbols """

    return [shift_function(key, symbol) for symbol in ciphertext]