{
  "$type": "system_event",
  "Kind": "SystemEvent",
  "event_kind": "SessionLocked",
  "kind": "SystemEvent"
}