<?xml version="1.0" encoding="UTF-8"?>
<Settings><Element xmi.id="DCE.4F24281E-35A0-ADE8-599A-00F9D65AE1F8" isOnlyShowNavigateWhenShift="false"/><Element xmi.id="DCE.26F10DB4-5C0B-6214-F8FB-4E8530A4100E" isOnlyShowNavigateWhenShift="false"/></Settings>