{"id":"omninotes-Rep1-g10s48","app":"omninotes","rep":"Rep1","header":"g10s48","title":"Settings → Data 子页","pinned_arrival":"g13e424:662","arrival_count":6,"primary_non_singleton":true,"header_record":{"app":"omninotes","rep":"Rep1","header":"g10s48","activity":"it.feio.android.omninotes.SettingsActivity","cohort":"primary_non_singleton","region_size":2,"strict_descendants":1,"members":["g10s48","g10s49"],"incoming_topology_edges":5,"external_topology_edges":4,"topology_external_source_states":["g10s38","g2s5"],"confirmed_final_arrivals":6,"external_confirmed_arrivals":5,"internal_return_arrivals":1,"self_loop_arrivals":0,"unprojected_same_named_target_records":0,"unprojected_transition_ids":[],"observed_external_source_states":["g10s38","g2s5"],"observed_external_source_state_count":2,"direct_external_category_executions":{"UNKNOWN":5},"all_arrival_category_executions":{"UNKNOWN":6},"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-Rep1:g10s48:g10e113:139","app":"omninotes","rep":"Rep1","header":"g10s48","region_size":2,"cohort":"primary_non_singleton","kind":"external","transition_id":"g10e113:139","order":138,"event_line":332,"version":10,"source_state":"g10s38","source_gui_id":204,"target_gui_id":208,"direct_category":"UNKNOWN","direct_function":null,"direct_local_id":"omninotes-Rep1-l6df78b58a449d9","history_available":4,"history_stop":"GUI_ID_gap;GUI_timestamp_gap;observed_State_gap","path_transition_ids":["g10e110:136","g10e111:137","g10e112:138","g10e113:139"],"window_complete":{"1":true,"2":true,"3":true,"5":false,"10":false,"20":false},"event_path":"[WORKSPACE]/experiments/guitaboo_formal_emulator_20261103T1725/formal-runs/rep1-pure-batch1/omninotes-rep1-pure-b1/formal/device-output/formal/sata-it.feio.android.omninotes-ape-sata-running-minutes-60/jev-events.jsonl"},{"id":"omninotes-Rep1:g10s48:g10e116:142","app":"omninotes","rep":"Rep1","header":"g10s48","region_size":2,"cohort":"primary_non_singleton","kind":"internal_return","transition_id":"g10e116:142","order":141,"event_line":338,"version":10,"source_state":"g10s49","source_gui_id":213,"target_gui_id":214,"direct_category":"UNKNOWN","direct_function":null,"direct_local_id":"omninotes-Rep1-l97ab045eb180ad","history_available":7,"history_stop":"GUI_ID_gap;GUI_timestamp_gap;observed_State_gap","path_transition_ids":["g10e110:136","g10e111:137","g10e112:138","g10e113:139","g10e114:140","g10e115:141","g10e116:142"],"window_complete":{"1":true,"2":true,"3":true,"5":true,"10":false,"20":false},"event_path":"[WORKSPACE]/experiments/guitaboo_formal_emulator_20261103T1725/formal-runs/rep1-pure-batch1/omninotes-rep1-pure-b1/formal/device-output/formal/sata-it.feio.android.omninotes-ape-sata-running-minutes-60/jev-events.jsonl"},{"id":"omninotes-Rep1:g10s48:g10e119:146","app":"omninotes","rep":"Rep1","header":"g10s48","region_size":2,"cohort":"primary_non_singleton","kind":"external","transition_id":"g10e119:146","order":145,"event_line":350,"version":10,"source_state":"g10s38","source_gui_id":217,"target_gui_id":218,"direct_category":"UNKNOWN","direct_function":null,"direct_local_id":"omninotes-Rep1-l4e31512a87308a","history_available":11,"history_stop":"GUI_ID_gap;GUI_timestamp_gap;observed_State_gap","path_transition_ids":["g10e110:136","g10e111:137","g10e112:138","g10e113:139","g10e114:140","g10e115:141","g10e116:142","g10e117:143","g10e118:144","g10e85:145","g10e119:146"],"window_complete":{"1":true,"2":true,"3":true,"5":true,"10":true,"20":false},"event_path":"[WORKSPACE]/experiments/guitaboo_formal_emulator_20261103T1725/formal-runs/rep1-pure-batch1/omninotes-rep1-pure-b1/formal/device-output/formal/sata-it.feio.android.omninotes-ape-sata-running-minutes-60/jev-events.jsonl"},{"id":"omninotes-Rep1:g10s48:g13e409:608","app":"omninotes","rep":"Rep1","header":"g10s48","region_size":2,"cohort":"primary_non_singleton","kind":"external","transition_id":"g13e409:608","order":607,"event_line":1555,"version":13,"source_state":"g2s5","source_gui_id":723,"target_gui_id":724,"direct_category":"UNKNOWN","direct_function":null,"direct_local_id":"omninotes-Rep1-l126f1716d8e429","history_available":20,"history_stop":"depth_limit","path_transition_ids":["g13e395:589","g13e397:590","g0e3:591","g2e6:592","g13e398:593","g13e399:594","g9e46:595","g13e400:596","g13e401:597","g13e402:598","g2e6:599","g13e403:600","g13e404:601","g13e405:602","g13e406:603","g13e407:604","g13e405:605","g13e408:606","g3e21:607","g13e409:608"],"window_complete":{"1":true,"2":true,"3":true,"5":true,"10":true,"20":true},"event_path":"[WORKSPACE]/experiments/guitaboo_formal_emulator_20261103T1725/formal-runs/rep1-pure-batch1/omninotes-rep1-pure-b1/formal/device-output/formal/sata-it.feio.android.omninotes-ape-sata-running-minutes-60/jev-events.jsonl"},{"id":"omninotes-Rep1:g10s48:g13e424:662","app":"omninotes","rep":"Rep1","header":"g10s48","region_size":2,"cohort":"primary_non_singleton","kind":"external","transition_id":"g13e424:662","order":661,"event_line":1675,"version":13,"source_state":"g2s5","source_gui_id":777,"target_gui_id":778,"direct_category":"UNKNOWN","direct_function":null,"direct_local_id":"omninotes-Rep1-l06f98d3ea0e86e","history_available":20,"history_stop":"depth_limit","path_transition_ids":["g13e393:643","g13e392:644","g13e391:645","g13e389:646","g13e394:647","g13e395:648","g13e413:649","g13e414:650","g13e415:651","g13e416:652","g13e417:653","g13e418:654","g8e36:655","g13e419:656","g13e420:657","g13e421:658","g13e422:659","g13e423:660","g2e6:661","g13e424:662"],"window_complete":{"1":true,"2":true,"3":true,"5":true,"10":true,"20":true},"event_path":"[WORKSPACE]/experiments/guitaboo_formal_emulator_20261103T1725/formal-runs/rep1-pure-batch1/omninotes-rep1-pure-b1/formal/device-output/formal/sata-it.feio.android.omninotes-ape-sata-running-minutes-60/jev-events.jsonl"},{"id":"omninotes-Rep1:g10s48:g13e409:706","app":"omninotes","rep":"Rep1","header":"g10s48","region_size":2,"cohort":"primary_non_singleton","kind":"external","transition_id":"g13e409:706","order":705,"event_line":1804,"version":14,"source_state":"g2s5","source_gui_id":824,"target_gui_id":825,"direct_category":"UNKNOWN","direct_function":null,"direct_local_id":"omninotes-Rep1-l126f1716d8e429","history_available":17,"history_stop":"abstraction_version_changed","path_transition_ids":["g14e439:690","g14e440:691","g14e441:692","g14e442:693","g14e443:694","g14e444:695","g14e445:696","g14e446:697","g14e447:698","g14e448:699","g8e38:700","g9e46:701","g9e47:702","g9e45:703","g13e404:704","g13e405:705","g13e409:706"],"window_complete":{"1":true,"2":true,"3":true,"5":true,"10":true,"20":false},"event_path":"[WORKSPACE]/experiments/guitaboo_formal_emulator_20261103T1725/formal-runs/rep1-pure-batch1/omninotes-rep1-pure-b1/formal/device-output/formal/sata-it.feio.android.omninotes-ape-sata-running-minutes-60/jev-events.jsonl"}],"candidates":[{"arrival_id":"omninotes-Rep1:g10s48:g13e409:608","arrival_transition":"g13e409:608","arrival_kind":"external","entry_transition":"g2e6:599","distance":10,"local_id":"omninotes-Rep1-l4aaee8c4ffc150","source_state":"g0s2","model_action":"g0a16","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":["g2e6:599","g13e403:600","g13e404:601","g13e405:602","g13e406:603","g13e407:604","g13e405:605","g13e408:606","g3e21:607","g13e409:608"]},{"arrival_id":"omninotes-Rep1:g10s48:g13e409:608","arrival_transition":"g13e409:608","arrival_kind":"external","entry_transition":"g2e6:592","distance":17,"local_id":"omninotes-Rep1-lea22a7f9655347","source_state":"g0s2","model_action":"g0a16","function":"omninotes.settings","family":"omninotes.settings","verdict":"REJECTED","reason":"function_exit_before_header:outside_MainActivity:g13e401:597","entry_final_exact":true,"entire_path_final_exact":true,"path_transition_ids":["g2e6:592","g13e398:593","g13e399:594","g9e46:595","g13e400:596","g13e401:597","g13e402:598","g2e6:599","g13e403:600","g13e404:601","g13e405:602","g13e406:603","g13e407:604","g13e405:605","g13e408:606","g3e21:607","g13e409:608"]},{"arrival_id":"omninotes-Rep1:g10s48:g13e424:662","arrival_transition":"g13e424:662","arrival_kind":"external","entry_transition":"g2e6:661","distance":2,"local_id":"omninotes-Rep1-l4aaee8c4ffc150","source_state":"g0s2","model_action":"g0a16","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":["g2e6:661","g13e424:662"]}],"after":{"omninotes-Rep1:g10s48:g10e113:139":{"transition_ids":["g10e114:140","g10e115:141","g10e116:142","g10e117:143","g10e118:144"],"stop":"five_step_limit"},"omninotes-Rep1:g10s48:g10e116:142":{"transition_ids":["g10e117:143","g10e118:144","g10e85:145","g10e119:146","g10e120:147"],"stop":"five_step_limit"},"omninotes-Rep1:g10s48:g10e119:146":{"transition_ids":["g10e120:147","g10e121:148","g10e122:149","g10e123:150","g10e124:151"],"stop":"five_step_limit"},"omninotes-Rep1:g10s48:g13e409:608":{"transition_ids":["g13e410:609","g10e121:610","g2e6:611","g13e411:612","g13e412:613"],"stop":"five_step_limit"},"omninotes-Rep1:g10s48:g13e424:662":{"transition_ids":["g13e410:663","g10e121:664","g2e6:665","g13e425:666","g2e6:667"],"stop":"five_step_limit"},"omninotes-Rep1:g10s48:g13e409:706":{"transition_ids":["g14e449:707","g13e415:708","g13e417:709","g13e418:710","g8e36:711"],"stop":"five_step_limit"}},"topology_incoming":[{"id":"g13e424","source":"g2s5","target":"g10s48","action":"g2a53","action_fingerprint":"type=MODEL_CLICK|activity=it.feio.android.omninotes.SettingsActivity|class=android.widget.LinearLayout|text=|resource_id=|bounds=0,418,1080,559","target_activity":"it.feio.android.omninotes.SettingsActivity","type":"NEW_ACTION","visits":4,"is_circle":false,"first_seen":845,"last_seen":845,"confirmed_final_executions":1,"relation":"external"},{"id":"g13e409","source":"g2s5","target":"g10s48","action":"g2a46","action_fingerprint":"type=MODEL_CLICK|activity=it.feio.android.omninotes.SettingsActivity|class=android.widget.TextView|text=Data|resource_id=android:id/title|bounds=42,460,130,517","target_activity":"it.feio.android.omninotes.SettingsActivity","type":"EXISTING","visits":7,"is_circle":false,"first_seen":791,"last_seen":895,"confirmed_final_executions":2,"relation":"external"},{"id":"g10e116","source":"g10s49","target":"g10s48","action":"g10a402","action_fingerprint":"type=MODEL_CLICK|activity=it.feio.android.omninotes.SettingsActivity|class=android.widget.ImageButton|text=#47b2d09b|resource_id=|bounds=0,136,147,283","target_activity":"it.feio.android.omninotes.SettingsActivity","type":"NEW_ACTION","visits":7,"is_circle":false,"first_seen":189,"last_seen":189,"confirmed_final_executions":1,"relation":"internal_return"},{"id":"g10e119","source":"g10s38","target":"g10s48","action":"g10a313","action_fingerprint":"type=MODEL_CLICK|activity=it.feio.android.omninotes.SettingsActivity|class=android.widget.TextView|text=အချက်အလက|resource_id=android:id/title|bounds=42,460,312,518","target_activity":"it.feio.android.omninotes.SettingsActivity","type":"NEW_ACTION","visits":7,"is_circle":false,"first_seen":193,"last_seen":193,"confirmed_final_executions":1,"relation":"external"},{"id":"g10e113","source":"g10s38","target":"g10s48","action":"g10a312","action_fingerprint":"type=MODEL_CLICK|activity=it.feio.android.omninotes.SettingsActivity|class=android.widget.LinearLayout|text=|resource_id=|bounds=0,560,1080,702","target_activity":"it.feio.android.omninotes.SettingsActivity","type":"NEW_ACTION","visits":7,"is_circle":false,"first_seen":186,"last_seen":186,"confirmed_final_executions":1,"relation":"external"}],"graph_history":"<svg width=\"759pt\" height=\"107pt\"\n viewBox=\"0.00 0.00 759.20 107.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 85.6)\">\n<title>G</title>\n<!-- g0s2 -->\n<g id=\"state&#45;g0s2\" class=\"node\">\n<title>g0s2</title>\n<g id=\"a_state&#45;g0s2\"><a xlink:href=\"#state:g0s2\" xlink:title=\"g0s2\\nMainActivity\">\n<path fill=\"#d5e3ed\" stroke=\"#829291\" d=\"M73,-36C73,-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 73,0 73,0 79,0 85,-6 85,-12 85,-12 85,-24 85,-24 85,-30 79,-36 73,-36\"/>\n<text text-anchor=\"middle\" x=\"42.5\" y=\"-21.2\" font-family=\"DejaVu Sans\" font-size=\"11.00\" fill=\"#243431\">g0s2</text>\n<text text-anchor=\"middle\" x=\"42.5\" y=\"-9.2\" font-family=\"DejaVu Sans\" font-size=\"11.00\" fill=\"#243431\">MainActivity</text>\n</a>\n</g>\n</g>\n<!-- g2s5 -->\n<g id=\"state&#45;g2s5\" class=\"node\">\n<title>g2s5</title>\n<g id=\"a_state&#45;g2s5\"><a xlink:href=\"#state:g2s5\" xlink:title=\"g2s5\\nSettingsActivity\">\n<path fill=\"#d5e3ed\" stroke=\"#829291\" d=\"M274,-36C274,-36 194,-36 194,-36 188,-36 182,-30 182,-24 182,-24 182,-12 182,-12 182,-6 188,0 194,0 194,0 274,0 274,0 280,0 286,-6 286,-12 286,-12 286,-24 286,-24 286,-30 280,-36 274,-36\"/>\n<text text-anchor=\"middle\" x=\"234\" y=\"-21.2\" font-family=\"DejaVu Sans\" font-size=\"11.00\" fill=\"#243431\">g2s5</text>\n<text text-anchor=\"middle\" x=\"234\" y=\"-9.2\" font-family=\"DejaVu Sans\" font-size=\"11.00\" fill=\"#243431\">SettingsActivity</text>\n</a>\n</g>\n</g>\n<!-- g0s2&#45;&gt;g2s5 -->\n<g id=\"edge1\" class=\"edge\">\n<title>g0s2&#45;&gt;g2s5</title>\n<g id=\"a_edge1\"><a xlink:href=\"#event:g2e6:661\" xlink:title=\"Iestatīj ×1\">\n<path fill=\"none\" stroke=\"#26728f\" stroke-width=\"2\" d=\"M85.09,-18C111.75,-18 146.71,-18 175.94,-18\"/>\n<polygon fill=\"#26728f\" stroke=\"#26728f\" stroke-width=\"2\" points=\"176.21,-19.93 181.71,-18 176.21,-16.08 176.21,-19.93\"/>\n</a>\n</g>\n<g id=\"a_edge1&#45;label\"><a xlink:href=\"#event:g2e6:661\" xlink:title=\"Iestatīj ×1\">\n<text text-anchor=\"middle\" x=\"133.5\" y=\"-20.8\" font-family=\"DejaVu Sans\" font-size=\"9.00\">Iestatīj ×1</text>\n</a>\n</g>\n</g>\n<!-- g10s48 -->\n<g id=\"state&#45;g10s48\" class=\"node\">\n<title>g10s48</title>\n<g id=\"a_state&#45;g10s48\"><a xlink:href=\"#state:g10s48\" xlink:title=\"g10s48\\nSettingsActivity\">\n<path fill=\"#e6b455\" stroke=\"#829291\" d=\"M508,-36C508,-36 428,-36 428,-36 422,-36 416,-30 416,-24 416,-24 416,-12 416,-12 416,-6 422,0 428,0 428,0 508,0 508,0 514,0 520,-6 520,-12 520,-12 520,-24 520,-24 520,-30 514,-36 508,-36\"/>\n<text text-anchor=\"middle\" x=\"468\" y=\"-21.2\" font-family=\"DejaVu Sans\" font-size=\"11.00\" fill=\"#243431\">g10s48</text>\n<text text-anchor=\"middle\" x=\"468\" y=\"-9.2\" font-family=\"DejaVu Sans\" font-size=\"11.00\" fill=\"#243431\">SettingsActivity</text>\n</a>\n</g>\n</g>\n<!-- g10s49 -->\n<g id=\"state&#45;g10s49\" class=\"node\">\n<title>g10s49</title>\n<g id=\"a_state&#45;g10s49\"><a xlink:href=\"#state:g10s49\" xlink:title=\"g10s49\\nSettingsActivity\">\n<path fill=\"#cde4d9\" stroke=\"#829291\" d=\"M704,-36C704,-36 624,-36 624,-36 618,-36 612,-30 612,-24 612,-24 612,-12 612,-12 612,-6 618,0 624,0 624,0 704,0 704,0 710,0 716,-6 716,-12 716,-12 716,-24 716,-24 716,-30 710,-36 704,-36\"/>\n<text text-anchor=\"middle\" x=\"664\" y=\"-21.2\" font-family=\"DejaVu Sans\" font-size=\"11.00\" fill=\"#243431\">g10s49</text>\n<text text-anchor=\"middle\" x=\"664\" y=\"-9.2\" font-family=\"DejaVu Sans\" font-size=\"11.00\" fill=\"#243431\">SettingsActivity</text>\n</a>\n</g>\n</g>\n<!-- g10s48&#45;&gt;g10s49 -->\n<g id=\"edge3\" class=\"edge\">\n<title>g10s48&#45;&gt;g10s49</title>\n<g id=\"a_edge3\"><a xlink:href=\"#topology:g10a397\" xlink:title=\"g10e114\">\n<path fill=\"none\" stroke=\"#9d9e99\" stroke-dasharray=\"5,2\" d=\"M520.22,-18C546.64,-18 578.92,-18 606.11,-18\"/>\n<polygon fill=\"#9d9e99\" stroke=\"#9d9e99\" points=\"606.32,-19.93 611.82,-18 606.32,-16.08 606.32,-19.93\"/>\n</a>\n</g>\n<g id=\"a_edge3&#45;label\"><a xlink:href=\"#topology:g10a397\" xlink:title=\"g10e114\">\n<text text-anchor=\"middle\" x=\"566\" y=\"-20.8\" font-family=\"DejaVu Sans\" font-size=\"9.00\">g10e114</text>\n</a>\n</g>\n</g>\n<!-- g10s49&#45;&gt;g10s48 -->\n<g id=\"edge4\" class=\"edge\">\n<title>g10s49&#45;&gt;g10s48</title>\n<g id=\"a_edge4\"><a xlink:href=\"#topology:g10a402\" xlink:title=\"g10e116\">\n<path fill=\"none\" stroke=\"#9d9e99\" stroke-dasharray=\"5,2\" d=\"M611.64,-8C603.43,-6.75 595,-5.68 587,-5 568.4,-3.42 563.6,-3.42 545,-5 538.87,-5.52 532.5,-6.27 526.16,-7.16\"/>\n<polygon fill=\"#9d9e99\" stroke=\"#9d9e99\" points=\"525.52,-5.3 520.36,-8 526.08,-9.11 525.52,-5.3\"/>\n</a>\n</g>\n<g id=\"a_edge4&#45;label\"><a xlink:href=\"#topology:g10a402\" xlink:title=\"g10e116\">\n<text text-anchor=\"middle\" x=\"566\" y=\"-7.8\" font-family=\"DejaVu Sans\" font-size=\"9.00\">g10e116</text>\n</a>\n</g>\n</g>\n<!-- g10s49&#45;&gt;g10s49 -->\n<g id=\"edge5\" class=\"edge\">\n<title>g10s49&#45;&gt;g10s49</title>\n<g id=\"a_edge5\"><a xlink:href=\"#topology:g10a403\" xlink:title=\"g10e115\">\n<path fill=\"none\" stroke=\"#9d9e99\" stroke-dasharray=\"5,2\" d=\"M645.79,-36.09C644.53,-43.62 650.6,-50 664,-50 673.84,-50 679.73,-46.56 681.66,-41.75\"/>\n<polygon fill=\"#9d9e99\" stroke=\"#9d9e99\" points=\"683.6,-41.75 682.21,-36.09 679.77,-41.38 683.6,-41.75\"/>\n</a>\n</g>\n<g id=\"a_edge5&#45;label\"><a xlink:href=\"#topology:g10a403\" xlink:title=\"g10e115\">\n<text text-anchor=\"middle\" x=\"664\" y=\"-52.8\" font-family=\"DejaVu Sans\" font-size=\"9.00\">g10e115</text>\n</a>\n</g>\n</g>\n<!-- g2s5&#45;&gt;g10s48 -->\n<g id=\"edge2\" class=\"edge\">\n<title>g2s5&#45;&gt;g10s48</title>\n<g id=\"a_edge2\"><a xlink:href=\"#event:g13e424:662\" xlink:title=\"MODEL_CLICK ×1\">\n<path fill=\"none\" stroke=\"#26728f\" stroke-width=\"2\" d=\"M286.2,-18C322.96,-18 372.49,-18 410.42,-18\"/>\n<polygon fill=\"#26728f\" stroke=\"#26728f\" stroke-width=\"2\" points=\"410.43,-19.93 415.93,-18 410.43,-16.08 410.43,-19.93\"/>\n</a>\n</g>\n<g id=\"a_edge2&#45;label\"><a xlink:href=\"#event:g13e424:662\" xlink:title=\"MODEL_CLICK ×1\">\n<text text-anchor=\"middle\" x=\"351\" y=\"-20.8\" font-family=\"DejaVu Sans\" font-size=\"9.00\">MODEL_CLICK ×1</text>\n</a>\n</g>\n</g>\n</g>\n</svg>\n","graph_tree":"<svg width=\"324pt\" height=\"79pt\"\n viewBox=\"0.00 0.00 324.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<!-- g10s48 -->\n<g id=\"state&#45;g10s48\" class=\"node\">\n<title>g10s48</title>\n<g id=\"a_state&#45;g10s48\"><a xlink:href=\"#state:g10s48\" xlink:title=\"g10s48\\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\">g10s48</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<!-- g10s49 -->\n<g id=\"state&#45;g10s49\" class=\"node\">\n<title>g10s49</title>\n<g id=\"a_state&#45;g10s49\"><a xlink:href=\"#state:g10s49\" xlink:title=\"g10s49\\nSettingsActivity\">\n<path fill=\"#cde4d9\" stroke=\"#829291\" d=\"M269,-36C269,-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 269,0 269,0 275,0 281,-6 281,-12 281,-12 281,-24 281,-24 281,-30 275,-36 269,-36\"/>\n<text text-anchor=\"middle\" x=\"229\" y=\"-21.2\" font-family=\"DejaVu Sans\" font-size=\"11.00\" fill=\"#243431\">g10s49</text>\n<text text-anchor=\"middle\" x=\"229\" y=\"-9.2\" font-family=\"DejaVu Sans\" font-size=\"11.00\" fill=\"#243431\">SettingsActivity</text>\n</a>\n</g>\n</g>\n<!-- g10s48&#45;&gt;g10s49 -->\n<g id=\"edge1\" class=\"edge\">\n<title>g10s48&#45;&gt;g10s49</title>\n<g id=\"a_edge1\"><a xlink:href=\"#topology:idom\" xlink:title=\"idom\">\n<path fill=\"none\" stroke=\"#547d6d\" d=\"M104.09,-18C125.11,-18 149.55,-18 171.13,-18\"/>\n<polygon fill=\"#547d6d\" stroke=\"#547d6d\" points=\"171.35,-19.93 176.85,-18 171.35,-16.08 171.35,-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"}