{"id":"omninotes-Rep2-g6s26","app":"omninotes","rep":"Rep2","header":"g6s26","title":"Settings 的直接入口与子页对照","pinned_arrival":"","arrival_count":6,"primary_non_singleton":true,"header_record":{"app":"omninotes","rep":"Rep2","header":"g6s26","activity":"it.feio.android.omninotes.SettingsActivity","cohort":"primary_non_singleton","region_size":2,"strict_descendants":1,"members":["g6s26","g8s75"],"incoming_topology_edges":4,"external_topology_edges":2,"topology_external_source_states":["g9s85"],"confirmed_final_arrivals":6,"external_confirmed_arrivals":2,"internal_return_arrivals":0,"self_loop_arrivals":4,"unprojected_same_named_target_records":7,"unprojected_transition_ids":["g6e51:59","g8e70:82","g8e83:101","g8e250:337","g8e252:340","g8e273:439","g8e276:443"],"observed_external_source_states":["g9s85"],"observed_external_source_state_count":1,"direct_external_category_executions":{"UNKNOWN":2},"all_arrival_category_executions":{"UNKNOWN":4,"Ⅱ":2},"direct_I_local_ids":[],"projection_selected":false,"nested_deferred_projection":false,"actual_online_selected":false,"status":"final_topology_retrospective_not_historical_online_dominator"},"arrivals":[{"id":"omninotes-Rep2:g6s26:g6e52:60","app":"omninotes","rep":"Rep2","header":"g6s26","region_size":2,"cohort":"primary_non_singleton","kind":"self_loop","transition_id":"g6e52:60","order":59,"event_line":137,"version":6,"source_state":"g6s26","source_gui_id":105,"target_gui_id":106,"direct_category":"UNKNOWN","direct_function":null,"direct_local_id":"omninotes-Rep2-l22178fc847fc81","history_available":3,"history_stop":"abstraction_version_changed","path_transition_ids":["g6e50:58","g6e51:59","g6e52:60"],"window_complete":{"1":true,"2":true,"3":true,"5":false,"10":false,"20":false},"event_path":"[WORKSPACE]/experiments/guitaboo_formal_emulator_20261103T1725/formal-runs/platform-managed/run_b63b8aa7d209420da11e13460b78ecc6/attempt_2c69c447b9f74734b530d2de8cd86ff1/raw/device-output/native/sata-it.feio.android.omninotes-ape-sata-running-minutes-60/jev-events.jsonl"},{"id":"omninotes-Rep2:g6s26:g6e52:61","app":"omninotes","rep":"Rep2","header":"g6s26","region_size":2,"cohort":"primary_non_singleton","kind":"self_loop","transition_id":"g6e52:61","order":60,"event_line":139,"version":6,"source_state":"g6s26","source_gui_id":106,"target_gui_id":107,"direct_category":"UNKNOWN","direct_function":null,"direct_local_id":"omninotes-Rep2-lb2f9f9a45f0fb7","history_available":4,"history_stop":"abstraction_version_changed","path_transition_ids":["g6e50:58","g6e51:59","g6e52:60","g6e52:61"],"window_complete":{"1":true,"2":true,"3":true,"5":false,"10":false,"20":false},"event_path":"[WORKSPACE]/experiments/guitaboo_formal_emulator_20261103T1725/formal-runs/platform-managed/run_b63b8aa7d209420da11e13460b78ecc6/attempt_2c69c447b9f74734b530d2de8cd86ff1/raw/device-output/native/sata-it.feio.android.omninotes-ape-sata-running-minutes-60/jev-events.jsonl"},{"id":"omninotes-Rep2:g6s26:g8e84:102","app":"omninotes","rep":"Rep2","header":"g6s26","region_size":2,"cohort":"primary_non_singleton","kind":"self_loop","transition_id":"g8e84:102","order":101,"event_line":240,"version":8,"source_state":"g6s26","source_gui_id":163,"target_gui_id":164,"direct_category":"Ⅱ","direct_function":null,"direct_local_id":"omninotes-Rep2-l3ecd751cdebcf7","history_available":20,"history_stop":"depth_limit","path_transition_ids":["g6e53:83","g8e71:84","g6e50:85","g8e72:86","g8e73:87","g8e72:88","g8e74:89","g8e75:90","g8e76:91","g8e75:92","g8e77:93","g8e78:94","g8e73:95","g8e79:96","g8e80:97","g8e81:98","g3e39:99","g8e82:100","g8e83:101","g8e84:102"],"window_complete":{"1":true,"2":true,"3":true,"5":true,"10":true,"20":true},"event_path":"[WORKSPACE]/experiments/guitaboo_formal_emulator_20261103T1725/formal-runs/platform-managed/run_b63b8aa7d209420da11e13460b78ecc6/attempt_2c69c447b9f74734b530d2de8cd86ff1/raw/device-output/native/sata-it.feio.android.omninotes-ape-sata-running-minutes-60/jev-events.jsonl"},{"id":"omninotes-Rep2:g6s26:g8e84:103","app":"omninotes","rep":"Rep2","header":"g6s26","region_size":2,"cohort":"primary_non_singleton","kind":"self_loop","transition_id":"g8e84:103","order":102,"event_line":242,"version":8,"source_state":"g6s26","source_gui_id":164,"target_gui_id":165,"direct_category":"Ⅱ","direct_function":null,"direct_local_id":"omninotes-Rep2-l3ecd751cdebcf7","history_available":20,"history_stop":"depth_limit","path_transition_ids":["g8e71:84","g6e50:85","g8e72:86","g8e73:87","g8e72:88","g8e74:89","g8e75:90","g8e76:91","g8e75:92","g8e77:93","g8e78:94","g8e73:95","g8e79:96","g8e80:97","g8e81:98","g3e39:99","g8e82:100","g8e83:101","g8e84:102","g8e84:103"],"window_complete":{"1":true,"2":true,"3":true,"5":true,"10":true,"20":true},"event_path":"[WORKSPACE]/experiments/guitaboo_formal_emulator_20261103T1725/formal-runs/platform-managed/run_b63b8aa7d209420da11e13460b78ecc6/attempt_2c69c447b9f74734b530d2de8cd86ff1/raw/device-output/native/sata-it.feio.android.omninotes-ape-sata-running-minutes-60/jev-events.jsonl"},{"id":"omninotes-Rep2:g6s26:g9e250:507","app":"omninotes","rep":"Rep2","header":"g6s26","region_size":2,"cohort":"primary_non_singleton","kind":"external","transition_id":"g9e250:507","order":506,"event_line":1218,"version":9,"source_state":"g9s85","source_gui_id":612,"target_gui_id":613,"direct_category":"UNKNOWN","direct_function":null,"direct_local_id":"omninotes-Rep2-l1027ab9f664a05","history_available":16,"history_stop":"GUI_ID_gap;GUI_timestamp_gap;observed_State_gap","path_transition_ids":["g9e285:492","g9e286:493","g8e258:494","g9e287:495","g8e235:496","g9e288:497","g8e258:498","g8e235:499","g9e289:500","g9e290:501","g9e291:502","g9e292:503","g9e293:504","g8e249:505","g9e256:506","g9e250:507"],"window_complete":{"1":true,"2":true,"3":true,"5":true,"10":true,"20":false},"event_path":"[WORKSPACE]/experiments/guitaboo_formal_emulator_20261103T1725/formal-runs/platform-managed/run_b63b8aa7d209420da11e13460b78ecc6/attempt_2c69c447b9f74734b530d2de8cd86ff1/raw/device-output/native/sata-it.feio.android.omninotes-ape-sata-running-minutes-60/jev-events.jsonl"},{"id":"omninotes-Rep2:g6s26:g9e250:509","app":"omninotes","rep":"Rep2","header":"g6s26","region_size":2,"cohort":"primary_non_singleton","kind":"external","transition_id":"g9e250:509","order":508,"event_line":1226,"version":9,"source_state":"g9s85","source_gui_id":614,"target_gui_id":615,"direct_category":"UNKNOWN","direct_function":null,"direct_local_id":"omninotes-Rep2-l1027ab9f664a05","history_available":18,"history_stop":"GUI_ID_gap;GUI_timestamp_gap;observed_State_gap","path_transition_ids":["g9e285:492","g9e286:493","g8e258:494","g9e287:495","g8e235:496","g9e288:497","g8e258:498","g8e235:499","g9e289:500","g9e290:501","g9e291:502","g9e292:503","g9e293:504","g8e249:505","g9e256:506","g9e250:507","g9e251:508","g9e250:509"],"window_complete":{"1":true,"2":true,"3":true,"5":true,"10":true,"20":false},"event_path":"[WORKSPACE]/experiments/guitaboo_formal_emulator_20261103T1725/formal-runs/platform-managed/run_b63b8aa7d209420da11e13460b78ecc6/attempt_2c69c447b9f74734b530d2de8cd86ff1/raw/device-output/native/sata-it.feio.android.omninotes-ape-sata-running-minutes-60/jev-events.jsonl"}],"candidates":[{"arrival_id":"omninotes-Rep2:g6s26:g9e250:507","arrival_transition":"g9e250:507","arrival_kind":"external","entry_transition":"g9e256:506","distance":2,"local_id":"omninotes-Rep2-l5445d5a5055f22","source_state":"g8s34","model_action":"g8a277","function":"omninotes.settings","family":"omninotes.settings","verdict":"SUPPORTED","reason":"continuous_confirmed_path_inside_reviewed_workflow; shared_GUI_not_business_equivalence","entry_final_exact":true,"entire_path_final_exact":true,"path_transition_ids":["g9e256:506","g9e250:507"]},{"arrival_id":"omninotes-Rep2:g6s26:g9e250:507","arrival_transition":"g9e250:507","arrival_kind":"external","entry_transition":"g9e290:501","distance":7,"local_id":"omninotes-Rep2-l816715a0a9928f","source_state":"g9s86","model_action":"g9a860","function":"omninotes.browse-tags","family":"omninotes.browse-tags","verdict":"REJECTED","reason":"intervening_different_independent_entry:g9e256:506","entry_final_exact":true,"entire_path_final_exact":true,"path_transition_ids":["g9e290:501","g9e291:502","g9e292:503","g9e293:504","g8e249:505","g9e256:506","g9e250:507"]},{"arrival_id":"omninotes-Rep2:g6s26:g9e250:507","arrival_transition":"g9e250:507","arrival_kind":"external","entry_transition":"g8e258:498","distance":10,"local_id":"omninotes-Rep2-l58e491efef9a09","source_state":"g8s73","model_action":"g8a745","function":"omninotes.search-notes","family":"omninotes.search-notes","verdict":"REJECTED","reason":"intervening_different_independent_entry:g9e290:501","entry_final_exact":true,"entire_path_final_exact":true,"path_transition_ids":["g8e258:498","g8e235:499","g9e289:500","g9e290:501","g9e291:502","g9e292:503","g9e293:504","g8e249:505","g9e256:506","g9e250:507"]},{"arrival_id":"omninotes-Rep2:g6s26:g9e250:507","arrival_transition":"g9e250:507","arrival_kind":"external","entry_transition":"g8e258:494","distance":14,"local_id":"omninotes-Rep2-l58e491efef9a09","source_state":"g8s73","model_action":"g8a745","function":"omninotes.search-notes","family":"omninotes.search-notes","verdict":"REJECTED","reason":"intervening_different_independent_entry:g9e290:501","entry_final_exact":true,"entire_path_final_exact":true,"path_transition_ids":["g8e258:494","g9e287:495","g8e235:496","g9e288:497","g8e258:498","g8e235:499","g9e289:500","g9e290:501","g9e291:502","g9e292:503","g9e293:504","g8e249:505","g9e256:506","g9e250:507"]},{"arrival_id":"omninotes-Rep2:g6s26:g9e250:509","arrival_transition":"g9e250:509","arrival_kind":"external","entry_transition":"g9e256:506","distance":4,"local_id":"omninotes-Rep2-l5445d5a5055f22","source_state":"g8s34","model_action":"g8a277","function":"omninotes.settings","family":"omninotes.settings","verdict":"SUPPORTED","reason":"continuous_confirmed_path_inside_reviewed_workflow; shared_GUI_not_business_equivalence","entry_final_exact":true,"entire_path_final_exact":true,"path_transition_ids":["g9e256:506","g9e250:507","g9e251:508","g9e250:509"]},{"arrival_id":"omninotes-Rep2:g6s26:g9e250:509","arrival_transition":"g9e250:509","arrival_kind":"external","entry_transition":"g9e290:501","distance":9,"local_id":"omninotes-Rep2-l816715a0a9928f","source_state":"g9s86","model_action":"g9a860","function":"omninotes.browse-tags","family":"omninotes.browse-tags","verdict":"REJECTED","reason":"intervening_different_independent_entry:g9e256:506","entry_final_exact":true,"entire_path_final_exact":true,"path_transition_ids":["g9e290:501","g9e291:502","g9e292:503","g9e293:504","g8e249:505","g9e256:506","g9e250:507","g9e251:508","g9e250:509"]},{"arrival_id":"omninotes-Rep2:g6s26:g9e250:509","arrival_transition":"g9e250:509","arrival_kind":"external","entry_transition":"g8e258:498","distance":12,"local_id":"omninotes-Rep2-l58e491efef9a09","source_state":"g8s73","model_action":"g8a745","function":"omninotes.search-notes","family":"omninotes.search-notes","verdict":"REJECTED","reason":"intervening_different_independent_entry:g9e290:501","entry_final_exact":true,"entire_path_final_exact":true,"path_transition_ids":["g8e258:498","g8e235:499","g9e289:500","g9e290:501","g9e291:502","g9e292:503","g9e293:504","g8e249:505","g9e256:506","g9e250:507","g9e251:508","g9e250:509"]},{"arrival_id":"omninotes-Rep2:g6s26:g9e250:509","arrival_transition":"g9e250:509","arrival_kind":"external","entry_transition":"g8e258:494","distance":16,"local_id":"omninotes-Rep2-l58e491efef9a09","source_state":"g8s73","model_action":"g8a745","function":"omninotes.search-notes","family":"omninotes.search-notes","verdict":"REJECTED","reason":"intervening_different_independent_entry:g9e290:501","entry_final_exact":true,"entire_path_final_exact":true,"path_transition_ids":["g8e258:494","g9e287:495","g8e235:496","g9e288:497","g8e258:498","g8e235:499","g9e289:500","g9e290:501","g9e291:502","g9e292:503","g9e293:504","g8e249:505","g9e256:506","g9e250:507","g9e251:508","g9e250:509"]}],"after":{"omninotes-Rep2:g6s26:g6e52:60":{"transition_ids":["g6e52:61","g6e53:62"],"stop":"GUI_ID_gap;GUI_timestamp_gap;observed_State_gap;abstraction_version_changed"},"omninotes-Rep2:g6s26:g6e52:61":{"transition_ids":["g6e53:62"],"stop":"GUI_ID_gap;GUI_timestamp_gap;observed_State_gap;abstraction_version_changed"},"omninotes-Rep2:g6s26:g8e84:102":{"transition_ids":["g8e84:103","g6e53:104","g8e85:105","g8e86:106","g8e87:107"],"stop":"five_step_limit"},"omninotes-Rep2:g6s26:g8e84:103":{"transition_ids":["g6e53:104","g8e85:105","g8e86:106","g8e87:107","g8e88:108"],"stop":"five_step_limit"},"omninotes-Rep2:g6s26:g9e250:507":{"transition_ids":["g9e251:508","g9e250:509","g9e294:510","g9e274:511","g8e248:512"],"stop":"five_step_limit"},"omninotes-Rep2:g6s26:g9e250:509":{"transition_ids":["g9e294:510","g9e274:511","g8e248:512","g8e258:513","g8e235:514"],"stop":"five_step_limit"}},"topology_incoming":[{"id":"g8e84","source":"g6s26","target":"g6s26","action":"g6a211","action_fingerprint":"type=MODEL_CLICK|activity=it.feio.android.omninotes.SettingsActivity|class=android.widget.Switch|text=|resource_id=android:id/switch_widget|bounds=2236,654,2358,725","target_activity":"it.feio.android.omninotes.SettingsActivity","type":"EXISTING","visits":14,"is_circle":true,"first_seen":114,"last_seen":115,"confirmed_final_executions":2,"relation":"self_loop"},{"id":"g6e52","source":"g6s26","target":"g6s26","action":"g6a210","action_fingerprint":"type=MODEL_CLICK|activity=it.feio.android.omninotes.SettingsActivity|class=android.widget.LinearLayout|text=|resource_id=|bounds=0,594,2400,786","target_activity":"it.feio.android.omninotes.SettingsActivity","type":"EXISTING","visits":18,"is_circle":true,"first_seen":71,"last_seen":72,"confirmed_final_executions":2,"relation":"self_loop"},{"id":"g9e259","source":"g9s85","target":"g6s26","action":"g9a851","action_fingerprint":"type=MODEL_CLICK|activity=it.feio.android.omninotes.SettingsActivity|class=android.widget.LinearLayout|text=|resource_id=|bounds=0,627,2400,768","target_activity":"it.feio.android.omninotes.SettingsActivity","type":"EXISTING","visits":21,"is_circle":false,"first_seen":83,"last_seen":444,"confirmed_final_executions":0,"relation":"external"},{"id":"g9e250","source":"g9s85","target":"g6s26","action":"g9a856","action_fingerprint":"type=MODEL_CLICK|activity=it.feio.android.omninotes.SettingsActivity|class=android.widget.TextView|text=Navigati|resource_id=android:id/title|bounds=42,669,243,726","target_activity":"it.feio.android.omninotes.SettingsActivity","type":"EXISTING","visits":40,"is_circle":false,"first_seen":59,"last_seen":610,"confirmed_final_executions":2,"relation":"external"}],"graph_history":"<svg width=\"373pt\" height=\"193pt\"\n viewBox=\"0.00 0.00 373.20 193.20\" xmlns=\"http://www.w3.org/2000/svg\" xmlns:xlink=\"http://www.w3.org/1999/xlink\">\n<g id=\"graph0\" class=\"graph\" transform=\"scale(1 1) rotate(0) translate(21.6 171.6)\">\n<title>G</title>\n<!-- g6s26 -->\n<g id=\"state&#45;g6s26\" class=\"node\">\n<title>g6s26</title>\n<g id=\"a_state&#45;g6s26\"><a xlink:href=\"#state:g6s26\" xlink:title=\"g6s26\\nSettingsActivity\">\n<path fill=\"#e6b455\" stroke=\"#829291\" d=\"M92,-94C92,-94 12,-94 12,-94 6,-94 0,-88 0,-82 0,-82 0,-70 0,-70 0,-64 6,-58 12,-58 12,-58 92,-58 92,-58 98,-58 104,-64 104,-70 104,-70 104,-82 104,-82 104,-88 98,-94 92,-94\"/>\n<text text-anchor=\"middle\" x=\"52\" y=\"-79.2\" font-family=\"DejaVu Sans\" font-size=\"11.00\" fill=\"#243431\">g6s26</text>\n<text text-anchor=\"middle\" x=\"52\" y=\"-67.2\" font-family=\"DejaVu Sans\" font-size=\"11.00\" fill=\"#243431\">SettingsActivity</text>\n</a>\n</g>\n</g>\n<!-- g6s26&#45;&gt;g6s26 -->\n<g id=\"edge5\" class=\"edge\">\n<title>g6s26&#45;&gt;g6s26</title>\n<g id=\"a_edge5\"><a xlink:href=\"#topology:g6a211\" xlink:title=\"g8e84\">\n<path fill=\"none\" stroke=\"#9d9e99\" stroke-dasharray=\"5,2\" d=\"M41.59,-94.09C40.87,-101.62 44.34,-108 52,-108 57.62,-108 60.99,-104.56 62.09,-99.75\"/>\n<polygon fill=\"#9d9e99\" stroke=\"#9d9e99\" points=\"64.02,-99.69 62.41,-94.09 60.18,-99.48 64.02,-99.69\"/>\n</a>\n</g>\n<g id=\"a_edge5&#45;label\"><a xlink:href=\"#topology:g6a211\" xlink:title=\"g8e84\">\n<text text-anchor=\"middle\" x=\"52\" y=\"-110.8\" font-family=\"DejaVu Sans\" font-size=\"9.00\">g8e84</text>\n</a>\n</g>\n</g>\n<!-- g6s26&#45;&gt;g6s26 -->\n<g id=\"edge6\" class=\"edge\">\n<title>g6s26&#45;&gt;g6s26</title>\n<g id=\"a_edge6\"><a xlink:href=\"#topology:g6a210\" xlink:title=\"g6e52\">\n<path fill=\"none\" stroke=\"#9d9e99\" stroke-dasharray=\"5,2\" d=\"M33.48,-94.42C27.01,-108.16 33.19,-122 52,-122 68.31,-122 75.12,-111.59 72.43,-99.87\"/>\n<polygon fill=\"#9d9e99\" stroke=\"#9d9e99\" points=\"74.15,-98.98 70.52,-94.42 70.52,-100.25 74.15,-98.98\"/>\n</a>\n</g>\n<g id=\"a_edge6&#45;label\"><a xlink:href=\"#topology:g6a210\" xlink:title=\"g6e52\">\n<text text-anchor=\"middle\" x=\"52\" y=\"-124.8\" font-family=\"DejaVu Sans\" font-size=\"9.00\">g6e52</text>\n</a>\n</g>\n</g>\n<!-- g8s75 -->\n<g id=\"state&#45;g8s75\" class=\"node\">\n<title>g8s75</title>\n<g id=\"a_state&#45;g8s75\"><a xlink:href=\"#state:g8s75\" xlink:title=\"g8s75\\nAboutActivity\">\n<path fill=\"#cde4d9\" stroke=\"#829291\" d=\"M311.5,-123C311.5,-123 244.5,-123 244.5,-123 238.5,-123 232.5,-117 232.5,-111 232.5,-111 232.5,-99 232.5,-99 232.5,-93 238.5,-87 244.5,-87 244.5,-87 311.5,-87 311.5,-87 317.5,-87 323.5,-93 323.5,-99 323.5,-99 323.5,-111 323.5,-111 323.5,-117 317.5,-123 311.5,-123\"/>\n<text text-anchor=\"middle\" x=\"278\" y=\"-108.2\" font-family=\"DejaVu Sans\" font-size=\"11.00\" fill=\"#243431\">g8s75</text>\n<text text-anchor=\"middle\" x=\"278\" y=\"-96.2\" font-family=\"DejaVu Sans\" font-size=\"11.00\" fill=\"#243431\">AboutActivity</text>\n</a>\n</g>\n</g>\n<!-- g6s26&#45;&gt;g8s75 -->\n<g id=\"edge4\" class=\"edge\">\n<title>g6s26&#45;&gt;g8s75</title>\n<g id=\"a_edge4\"><a xlink:href=\"#topology:g6a209\" xlink:title=\"g8e277\">\n<path fill=\"none\" stroke=\"#9d9e99\" stroke-dasharray=\"5,2\" d=\"M104.11,-82.62C140.76,-87.36 189.9,-93.72 226.43,-98.45\"/>\n<polygon fill=\"#9d9e99\" stroke=\"#9d9e99\" points=\"226.47,-100.4 232.18,-99.2 226.97,-96.58 226.47,-100.4\"/>\n</a>\n</g>\n<g id=\"a_edge4&#45;label\"><a xlink:href=\"#topology:g6a209\" xlink:title=\"g8e277\">\n<text text-anchor=\"middle\" x=\"165\" y=\"-96.8\" font-family=\"DejaVu Sans\" font-size=\"9.00\">g8e277</text>\n</a>\n</g>\n</g>\n<!-- g9s85 -->\n<g id=\"state&#45;g9s85\" class=\"node\">\n<title>g9s85</title>\n<g id=\"a_state&#45;g9s85\"><a xlink:href=\"#state:g9s85\" xlink:title=\"g9s85\\nSettingsActivity\">\n<path fill=\"#d5e3ed\" stroke=\"#829291\" d=\"M318,-65C318,-65 238,-65 238,-65 232,-65 226,-59 226,-53 226,-53 226,-41 226,-41 226,-35 232,-29 238,-29 238,-29 318,-29 318,-29 324,-29 330,-35 330,-41 330,-41 330,-53 330,-53 330,-59 324,-65 318,-65\"/>\n<text text-anchor=\"middle\" x=\"278\" y=\"-50.2\" font-family=\"DejaVu Sans\" font-size=\"11.00\" fill=\"#243431\">g9s85</text>\n<text text-anchor=\"middle\" x=\"278\" y=\"-38.2\" font-family=\"DejaVu Sans\" font-size=\"11.00\" fill=\"#243431\">SettingsActivity</text>\n</a>\n</g>\n</g>\n<!-- g6s26&#45;&gt;g9s85 -->\n<g id=\"edge3\" class=\"edge\">\n<title>g6s26&#45;&gt;g9s85</title>\n<g id=\"a_edge3\"><a xlink:href=\"#event:g9e251:508\" xlink:title=\"Navigate up ×1\">\n<path fill=\"none\" stroke=\"#26728f\" stroke-width=\"2\" d=\"M104.07,-70.08C132.6,-66.7 168.8,-62.29 201,-58 207.3,-57.16 213.88,-56.25 220.43,-55.33\"/>\n<polygon fill=\"#26728f\" stroke=\"#26728f\" stroke-width=\"2\" points=\"220.74,-57.23 225.92,-54.56 220.21,-53.42 220.74,-57.23\"/>\n</a>\n</g>\n<g id=\"a_edge3&#45;label\"><a xlink:href=\"#event:g9e251:508\" xlink:title=\"Navigate up ×1\">\n<text text-anchor=\"middle\" x=\"165\" y=\"-68.8\" font-family=\"DejaVu Sans\" font-size=\"9.00\">Navigate up ×1</text>\n</a>\n</g>\n</g>\n<!-- g8s34 -->\n<g id=\"state&#45;g8s34\" class=\"node\">\n<title>g8s34</title>\n<g id=\"a_state&#45;g8s34\"><a xlink:href=\"#state:g8s34\" xlink:title=\"g8s34\\nMainActivity\">\n<path fill=\"#d5e3ed\" stroke=\"#829291\" d=\"M82.5,-36C82.5,-36 21.5,-36 21.5,-36 15.5,-36 9.5,-30 9.5,-24 9.5,-24 9.5,-12 9.5,-12 9.5,-6 15.5,0 21.5,0 21.5,0 82.5,0 82.5,0 88.5,0 94.5,-6 94.5,-12 94.5,-12 94.5,-24 94.5,-24 94.5,-30 88.5,-36 82.5,-36\"/>\n<text text-anchor=\"middle\" x=\"52\" y=\"-21.2\" font-family=\"DejaVu Sans\" font-size=\"11.00\" fill=\"#243431\">g8s34</text>\n<text text-anchor=\"middle\" x=\"52\" y=\"-9.2\" font-family=\"DejaVu Sans\" font-size=\"11.00\" fill=\"#243431\">MainActivity</text>\n</a>\n</g>\n</g>\n<!-- g8s34&#45;&gt;g9s85 -->\n<g id=\"edge1\" class=\"edge\">\n<title>g8s34&#45;&gt;g9s85</title>\n<g id=\"a_edge1\"><a xlink:href=\"#event:g9e256:506\" xlink:title=\"Settings ×1\">\n<path fill=\"none\" stroke=\"#26728f\" stroke-width=\"2\" d=\"M94.81,-14.95C124.65,-13.65 165.59,-13.65 201,-20 210.1,-21.63 219.57,-24.22 228.6,-27.16\"/>\n<polygon fill=\"#26728f\" stroke=\"#26728f\" stroke-width=\"2\" points=\"228.03,-29 233.86,-28.93 229.26,-25.35 228.03,-29\"/>\n</a>\n</g>\n<g id=\"a_edge1&#45;label\"><a xlink:href=\"#event:g9e256:506\" xlink:title=\"Settings ×1\">\n<text text-anchor=\"middle\" x=\"165\" y=\"-22.8\" font-family=\"DejaVu Sans\" font-size=\"9.00\">Settings ×1</text>\n</a>\n</g>\n</g>\n<!-- g9s85&#45;&gt;g6s26 -->\n<g id=\"edge2\" class=\"edge\">\n<title>g9s85&#45;&gt;g6s26</title>\n<g id=\"a_edge2\"><a xlink:href=\"#event:g9e250:507\" xlink:title=\"Navigati ×2\">\n<path fill=\"none\" stroke=\"#26728f\" stroke-width=\"2\" d=\"M225.92,-43.6C197.22,-42.71 160.87,-43.29 129,-49 119.9,-50.63 110.43,-53.22 101.4,-56.16\"/>\n<polygon fill=\"#26728f\" stroke=\"#26728f\" stroke-width=\"2\" points=\"100.74,-54.35 96.14,-57.93 101.97,-58 100.74,-54.35\"/>\n</a>\n</g>\n<g id=\"a_edge2&#45;label\"><a xlink:href=\"#event:g9e250:507\" xlink:title=\"Navigati ×2\">\n<text text-anchor=\"middle\" x=\"165\" y=\"-51.8\" font-family=\"DejaVu Sans\" font-size=\"9.00\">Navigati ×2</text>\n</a>\n</g>\n</g>\n</g>\n</svg>\n","graph_tree":"<svg width=\"311pt\" height=\"79pt\"\n viewBox=\"0.00 0.00 311.20 79.20\" xmlns=\"http://www.w3.org/2000/svg\" xmlns:xlink=\"http://www.w3.org/1999/xlink\">\n<g id=\"graph0\" class=\"graph\" transform=\"scale(1 1) rotate(0) translate(21.6 57.6)\">\n<title>G</title>\n<!-- g6s26 -->\n<g id=\"state&#45;g6s26\" class=\"node\">\n<title>g6s26</title>\n<g id=\"a_state&#45;g6s26\"><a xlink:href=\"#state:g6s26\" xlink:title=\"g6s26\\nSettingsActivity\">\n<path fill=\"#e6b455\" stroke=\"#829291\" d=\"M92,-36C92,-36 12,-36 12,-36 6,-36 0,-30 0,-24 0,-24 0,-12 0,-12 0,-6 6,0 12,0 12,0 92,0 92,0 98,0 104,-6 104,-12 104,-12 104,-24 104,-24 104,-30 98,-36 92,-36\"/>\n<text text-anchor=\"middle\" x=\"52\" y=\"-21.2\" font-family=\"DejaVu Sans\" font-size=\"11.00\" fill=\"#243431\">g6s26</text>\n<text text-anchor=\"middle\" x=\"52\" y=\"-9.2\" font-family=\"DejaVu Sans\" font-size=\"11.00\" fill=\"#243431\">SettingsActivity</text>\n</a>\n</g>\n</g>\n<!-- g8s75 -->\n<g id=\"state&#45;g8s75\" class=\"node\">\n<title>g8s75</title>\n<g id=\"a_state&#45;g8s75\"><a xlink:href=\"#state:g8s75\" xlink:title=\"g8s75\\nAboutActivity\">\n<path fill=\"#cde4d9\" stroke=\"#829291\" d=\"M256,-36C256,-36 189,-36 189,-36 183,-36 177,-30 177,-24 177,-24 177,-12 177,-12 177,-6 183,0 189,0 189,0 256,0 256,0 262,0 268,-6 268,-12 268,-12 268,-24 268,-24 268,-30 262,-36 256,-36\"/>\n<text text-anchor=\"middle\" x=\"222.5\" y=\"-21.2\" font-family=\"DejaVu Sans\" font-size=\"11.00\" fill=\"#243431\">g8s75</text>\n<text text-anchor=\"middle\" x=\"222.5\" y=\"-9.2\" font-family=\"DejaVu Sans\" font-size=\"11.00\" fill=\"#243431\">AboutActivity</text>\n</a>\n</g>\n</g>\n<!-- g6s26&#45;&gt;g8s75 -->\n<g id=\"edge1\" class=\"edge\">\n<title>g6s26&#45;&gt;g8s75</title>\n<g id=\"a_edge1\"><a xlink:href=\"#topology:idom\" xlink:title=\"idom\">\n<path fill=\"none\" stroke=\"#547d6d\" d=\"M104.01,-18C125.35,-18 150.08,-18 171.33,-18\"/>\n<polygon fill=\"#547d6d\" stroke=\"#547d6d\" points=\"171.44,-19.93 176.94,-18 171.44,-16.08 171.44,-19.93\"/>\n</a>\n</g>\n<g id=\"a_edge1&#45;label\"><a xlink:href=\"#topology:idom\" xlink:title=\"idom\">\n<text text-anchor=\"middle\" x=\"140.5\" y=\"-20.8\" font-family=\"DejaVu Sans\" font-size=\"9.00\">idom</text>\n</a>\n</g>\n</g>\n</g>\n</svg>\n"}