window_sizes 1280 969 300 900 682 82
diagrams
  active  sequencediagram_ref 129160 // startup
    775 644 100 4 0 0
end
show_stereotypes
selected sequencediagram_ref 129160 // startup
open
  usecaseview_ref 129160 // startup
  usecaseview_ref 129288 // find_own_location
  usecaseview_ref 128105 // user_gives_driving_goal
  usecaseview_ref 129154 // show_route
  deploymentview_ref 128105 // deployment
end
end