code: def add_encrypted(public, encrypted_a, encrypted_b, output):
      
      log("Loading public key")
      publickeydata = json.load(public)
      pub = load_public_key(publickeydata)
  
      log("Loading first encrypted number")
      enc_a = load_encrypted_number(encrypted_a, pub)
  
      log("Loading second encrypted number")
      enc_b = load_encrypted_number(encrypted_b, pub)
  
      log("Adding encrypted numbers together")
  
      enc_result = enc_a + enc_b
      serialised_result = serialise_encrypted(enc_result)
      print(serialised_result, file=output)
docs: Add two encrypted numbers together.