let
  user1 = "ssh-ed25519 AAAAC3NzaC1lZDI1NTE5AAAAINh+ozv5FVvlAk2cuoHQJa2p+TngWXCcAAWvztLpGl67";
  users = [ user1];

  system1 = "ssh-ed25519 AAAAC3NzaC1lZDI1NTE5AAAAIHc2hgH+0cCxO5a68S0OFIX437m6+qNWY9h5A7amtn46";
  systems = [ system1 ];
in
{
  "smtp_server.age".publicKeys = [ user1 system1 ];
  "imap_server.age".publicKeys = [ user1 system1 ];
}