{"id":"omninotes-Rep1-g8s20","app":"omninotes","rep":"Rep1","header":"g8s20","title":"Settings 在 Header 前两/三步，多语言身份","pinned_arrival":"g13e399:594","arrival_count":20,"primary_non_singleton":true,"header_record":{"app":"omninotes","rep":"Rep1","header":"g8s20","activity":"it.feio.android.omninotes.SettingsActivity","cohort":"primary_non_singleton","region_size":3,"strict_descendants":2,"members":["g8s20","g9s22","g9s23"],"incoming_topology_edges":13,"external_topology_edges":4,"topology_external_source_states":["g10s38","g13s102","g2s5"],"confirmed_final_arrivals":20,"external_confirmed_arrivals":8,"internal_return_arrivals":7,"self_loop_arrivals":5,"unprojected_same_named_target_records":0,"unprojected_transition_ids":[],"observed_external_source_states":["g10s38","g13s102","g2s5"],"observed_external_source_state_count":3,"direct_external_category_executions":{"UNKNOWN":8},"all_arrival_category_executions":{"UNKNOWN":16,"Ⅱ":4},"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:g8s20:g8e38:51","app":"omninotes","rep":"Rep1","header":"g8s20","region_size":3,"cohort":"primary_non_singleton","kind":"external","transition_id":"g8e38:51","order":50,"event_line":123,"version":8,"source_state":"g2s5","source_gui_id":77,"target_gui_id":81,"direct_category":"UNKNOWN","direct_function":null,"direct_local_id":"omninotes-Rep1-l9b2fb12471b263","history_available":1,"history_stop":"abstraction_version_changed","path_transition_ids":["g8e38:51"],"window_complete":{"1":true,"2":false,"3":false,"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:g8s20:g9e41:53","app":"omninotes","rep":"Rep1","header":"g8s20","region_size":3,"cohort":"primary_non_singleton","kind":"internal_return","transition_id":"g9e41:53","order":52,"event_line":127,"version":9,"source_state":"g9s22","source_gui_id":82,"target_gui_id":83,"direct_category":"UNKNOWN","direct_function":null,"direct_local_id":"omninotes-Rep1-lc9782c725e04b1","history_available":2,"history_stop":"abstraction_version_changed","path_transition_ids":["g9e40:52","g9e41:53"],"window_complete":{"1":true,"2":true,"3":false,"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:g8s20:g8e38:58","app":"omninotes","rep":"Rep1","header":"g8s20","region_size":3,"cohort":"primary_non_singleton","kind":"external","transition_id":"g8e38:58","order":57,"event_line":142,"version":9,"source_state":"g2s5","source_gui_id":90,"target_gui_id":91,"direct_category":"UNKNOWN","direct_function":null,"direct_local_id":"omninotes-Rep1-l9b2fb12471b263","history_available":7,"history_stop":"abstraction_version_changed","path_transition_ids":["g9e40:52","g9e41:53","g9e40:54","g9e42:55","g9e43:56","g2e6:57","g8e38:58"],"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:g8s20:g9e44:59","app":"omninotes","rep":"Rep1","header":"g8s20","region_size":3,"cohort":"primary_non_singleton","kind":"self_loop","transition_id":"g9e44:59","order":58,"event_line":145,"version":9,"source_state":"g8s20","source_gui_id":91,"target_gui_id":92,"direct_category":"UNKNOWN","direct_function":null,"direct_local_id":"omninotes-Rep1-ld998e9c7b4d65d","history_available":8,"history_stop":"abstraction_version_changed","path_transition_ids":["g9e40:52","g9e41:53","g9e40:54","g9e42:55","g9e43:56","g2e6:57","g8e38:58","g9e44:59"],"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:g8s20:g8e38:61","app":"omninotes","rep":"Rep1","header":"g8s20","region_size":3,"cohort":"primary_non_singleton","kind":"external","transition_id":"g8e38:61","order":60,"event_line":150,"version":9,"source_state":"g2s5","source_gui_id":93,"target_gui_id":94,"direct_category":"UNKNOWN","direct_function":null,"direct_local_id":"omninotes-Rep1-l9b2fb12471b263","history_available":10,"history_stop":"abstraction_version_changed","path_transition_ids":["g9e40:52","g9e41:53","g9e40:54","g9e42:55","g9e43:56","g2e6:57","g8e38:58","g9e44:59","g9e45:60","g8e38:61"],"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:g8s20:g9e47:63","app":"omninotes","rep":"Rep1","header":"g8s20","region_size":3,"cohort":"primary_non_singleton","kind":"internal_return","transition_id":"g9e47:63","order":62,"event_line":155,"version":9,"source_state":"g9s23","source_gui_id":98,"target_gui_id":99,"direct_category":"Ⅱ","direct_function":null,"direct_local_id":"omninotes-Rep1-lbe86975e02bf09","history_available":12,"history_stop":"abstraction_version_changed","path_transition_ids":["g9e40:52","g9e41:53","g9e40:54","g9e42:55","g9e43:56","g2e6:57","g8e38:58","g9e44:59","g9e45:60","g8e38:61","g9e46:62","g9e47:63"],"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:g8s20:g11e372:540","app":"omninotes","rep":"Rep1","header":"g8s20","region_size":3,"cohort":"primary_non_singleton","kind":"external","transition_id":"g11e372:540","order":539,"event_line":1392,"version":11,"source_state":"g10s38","source_gui_id":645,"target_gui_id":646,"direct_category":"UNKNOWN","direct_function":null,"direct_local_id":"omninotes-Rep1-lfbe249471cf75c","history_available":6,"history_stop":"GUI_ID_gap;GUI_timestamp_gap","path_transition_ids":["g11e368:535","g11e369:536","g11e370:537","g11e371:538","g10e148:539","g11e372:540"],"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:g8s20:g11e373:541","app":"omninotes","rep":"Rep1","header":"g8s20","region_size":3,"cohort":"primary_non_singleton","kind":"self_loop","transition_id":"g11e373:541","order":540,"event_line":1394,"version":11,"source_state":"g8s20","source_gui_id":646,"target_gui_id":647,"direct_category":"UNKNOWN","direct_function":null,"direct_local_id":"omninotes-Rep1-l9a3fc9419278e1","history_available":7,"history_stop":"GUI_ID_gap;GUI_timestamp_gap","path_transition_ids":["g11e368:535","g11e369:536","g11e370:537","g11e371:538","g10e148:539","g11e372:540","g11e373:541"],"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:g8s20:g11e374:542","app":"omninotes","rep":"Rep1","header":"g8s20","region_size":3,"cohort":"primary_non_singleton","kind":"self_loop","transition_id":"g11e374:542","order":541,"event_line":1396,"version":11,"source_state":"g8s20","source_gui_id":647,"target_gui_id":648,"direct_category":"Ⅱ","direct_function":null,"direct_local_id":"omninotes-Rep1-le6d2cf9420d062","history_available":8,"history_stop":"GUI_ID_gap;GUI_timestamp_gap","path_transition_ids":["g11e368:535","g11e369:536","g11e370:537","g11e371:538","g10e148:539","g11e372:540","g11e373:541","g11e374:542"],"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:g8s20:g11e375:543","app":"omninotes","rep":"Rep1","header":"g8s20","region_size":3,"cohort":"primary_non_singleton","kind":"self_loop","transition_id":"g11e375:543","order":542,"event_line":1398,"version":11,"source_state":"g8s20","source_gui_id":648,"target_gui_id":649,"direct_category":"UNKNOWN","direct_function":null,"direct_local_id":"omninotes-Rep1-le9aa22bac4874a","history_available":9,"history_stop":"GUI_ID_gap;GUI_timestamp_gap","path_transition_ids":["g11e368:535","g11e369:536","g11e370:537","g11e371:538","g10e148:539","g11e372:540","g11e373:541","g11e374:542","g11e375:543"],"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:g8s20:g11e374:544","app":"omninotes","rep":"Rep1","header":"g8s20","region_size":3,"cohort":"primary_non_singleton","kind":"self_loop","transition_id":"g11e374:544","order":543,"event_line":1400,"version":11,"source_state":"g8s20","source_gui_id":649,"target_gui_id":650,"direct_category":"Ⅱ","direct_function":null,"direct_local_id":"omninotes-Rep1-le6d2cf9420d062","history_available":10,"history_stop":"GUI_ID_gap;GUI_timestamp_gap","path_transition_ids":["g11e368:535","g11e369:536","g11e370:537","g11e371:538","g10e148:539","g11e372:540","g11e373:541","g11e374:542","g11e375:543","g11e374:544"],"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:g8s20:g11e376:546","app":"omninotes","rep":"Rep1","header":"g8s20","region_size":3,"cohort":"primary_non_singleton","kind":"internal_return","transition_id":"g11e376:546","order":545,"event_line":1406,"version":11,"source_state":"g9s22","source_gui_id":651,"target_gui_id":652,"direct_category":"UNKNOWN","direct_function":null,"direct_local_id":"omninotes-Rep1-le201b2b0d6807f","history_available":12,"history_stop":"GUI_ID_gap;GUI_timestamp_gap","path_transition_ids":["g11e368:535","g11e369:536","g11e370:537","g11e371:538","g10e148:539","g11e372:540","g11e373:541","g11e374:542","g11e375:543","g11e374:544","g9e40:545","g11e376:546"],"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:g8s20:g11e377:548","app":"omninotes","rep":"Rep1","header":"g8s20","region_size":3,"cohort":"primary_non_singleton","kind":"internal_return","transition_id":"g11e377:548","order":547,"event_line":1412,"version":11,"source_state":"g9s22","source_gui_id":653,"target_gui_id":654,"direct_category":"UNKNOWN","direct_function":null,"direct_local_id":"omninotes-Rep1-l13b4ee4aed5196","history_available":14,"history_stop":"GUI_ID_gap;GUI_timestamp_gap","path_transition_ids":["g11e368:535","g11e369:536","g11e370:537","g11e371:538","g10e148:539","g11e372:540","g11e373:541","g11e374:542","g11e375:543","g11e374:544","g9e40:545","g11e376:546","g9e40:547","g11e377:548"],"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:g8s20:g11e378:550","app":"omninotes","rep":"Rep1","header":"g8s20","region_size":3,"cohort":"primary_non_singleton","kind":"internal_return","transition_id":"g11e378:550","order":549,"event_line":1418,"version":11,"source_state":"g9s22","source_gui_id":655,"target_gui_id":656,"direct_category":"UNKNOWN","direct_function":null,"direct_local_id":"omninotes-Rep1-l620ce301d743fc","history_available":16,"history_stop":"GUI_ID_gap;GUI_timestamp_gap","path_transition_ids":["g11e368:535","g11e369:536","g11e370:537","g11e371:538","g10e148:539","g11e372:540","g11e373:541","g11e374:542","g11e375:543","g11e374:544","g9e40:545","g11e376:546","g9e40:547","g11e377:548","g9e40:549","g11e378:550"],"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:g8s20:g9e41:552","app":"omninotes","rep":"Rep1","header":"g8s20","region_size":3,"cohort":"primary_non_singleton","kind":"internal_return","transition_id":"g9e41:552","order":551,"event_line":1425,"version":11,"source_state":"g9s22","source_gui_id":657,"target_gui_id":658,"direct_category":"UNKNOWN","direct_function":null,"direct_local_id":"omninotes-Rep1-l508b701c431dbb","history_available":18,"history_stop":"GUI_ID_gap;GUI_timestamp_gap","path_transition_ids":["g11e368:535","g11e369:536","g11e370:537","g11e371:538","g10e148:539","g11e372:540","g11e373:541","g11e374:542","g11e375:543","g11e374:544","g9e40:545","g11e376:546","g9e40:547","g11e377:548","g9e40:549","g11e378:550","g9e40:551","g9e41:552"],"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:g8s20:g13e399:594","app":"omninotes","rep":"Rep1","header":"g8s20","region_size":3,"cohort":"primary_non_singleton","kind":"external","transition_id":"g13e399:594","order":593,"event_line":1517,"version":13,"source_state":"g2s5","source_gui_id":709,"target_gui_id":710,"direct_category":"UNKNOWN","direct_function":null,"direct_local_id":"omninotes-Rep1-l0b060f82e536a2","history_available":7,"history_stop":"abstraction_version_changed","path_transition_ids":["g13e396:588","g13e395:589","g13e397:590","g0e3:591","g2e6:592","g13e398:593","g13e399:594"],"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:g8s20:g13e435:686","app":"omninotes","rep":"Rep1","header":"g8s20","region_size":3,"cohort":"primary_non_singleton","kind":"external","transition_id":"g13e435:686","order":685,"event_line":1745,"version":13,"source_state":"g13s102","source_gui_id":804,"target_gui_id":805,"direct_category":"UNKNOWN","direct_function":null,"direct_local_id":"omninotes-Rep1-l622343a07d98ab","history_available":20,"history_stop":"depth_limit","path_transition_ids":["g2e6:667","g13e426:668","g2e6:669","g5e26:670","g13e427:671","g13e428:672","g7e35:673","g13e429:674","g13e430:675","g13e431:676","g13e427:677","g13e429:678","g13e432:679","g13e433:680","g13e432:681","g13e434:682","g13e431:683","g13e417:684","g13e419:685","g13e435:686"],"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:g8s20:g8e38:700","app":"omninotes","rep":"Rep1","header":"g8s20","region_size":3,"cohort":"primary_non_singleton","kind":"external","transition_id":"g8e38:700","order":699,"event_line":1786,"version":14,"source_state":"g2s5","source_gui_id":818,"target_gui_id":819,"direct_category":"UNKNOWN","direct_function":null,"direct_local_id":"omninotes-Rep1-l9b2fb12471b263","history_available":11,"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"],"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:g8s20:g9e47:702","app":"omninotes","rep":"Rep1","header":"g8s20","region_size":3,"cohort":"primary_non_singleton","kind":"internal_return","transition_id":"g9e47:702","order":701,"event_line":1792,"version":14,"source_state":"g9s23","source_gui_id":820,"target_gui_id":821,"direct_category":"Ⅱ","direct_function":null,"direct_local_id":"omninotes-Rep1-l458dbce61d987f","history_available":13,"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"],"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:g8s20:g13e399:715","app":"omninotes","rep":"Rep1","header":"g8s20","region_size":3,"cohort":"primary_non_singleton","kind":"external","transition_id":"g13e399:715","order":714,"event_line":1830,"version":14,"source_state":"g2s5","source_gui_id":833,"target_gui_id":834,"direct_category":"UNKNOWN","direct_function":null,"direct_local_id":"omninotes-Rep1-l0b060f82e536a2","history_available":20,"history_stop":"depth_limit","path_transition_ids":["g14e445:696","g14e446:697","g14e447:698","g14e448:699","g8e38:700","g9e46:701","g9e47:702","g9e45:703","g13e404:704","g13e405:705","g13e409:706","g14e449:707","g13e415:708","g13e417:709","g13e418:710","g8e36:711","g13e425:712","g0e5:713","g2e6:714","g13e399:715"],"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"}],"candidates":[{"arrival_id":"omninotes-Rep1:g8s20:g8e38:58","arrival_transition":"g8e38:58","arrival_kind":"external","entry_transition":"g2e6:57","distance":2,"local_id":"omninotes-Rep1-l6f9fd19395efb2","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:57","g8e38:58"]},{"arrival_id":"omninotes-Rep1:g8s20:g9e44:59","arrival_transition":"g9e44:59","arrival_kind":"self_loop","entry_transition":"g2e6:57","distance":3,"local_id":"omninotes-Rep1-l6f9fd19395efb2","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:57","g8e38:58","g9e44:59"]},{"arrival_id":"omninotes-Rep1:g8s20:g8e38:61","arrival_transition":"g8e38:61","arrival_kind":"external","entry_transition":"g2e6:57","distance":5,"local_id":"omninotes-Rep1-l6f9fd19395efb2","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:57","g8e38:58","g9e44:59","g9e45:60","g8e38:61"]},{"arrival_id":"omninotes-Rep1:g8s20:g9e47:63","arrival_transition":"g9e47:63","arrival_kind":"internal_return","entry_transition":"g2e6:57","distance":7,"local_id":"omninotes-Rep1-l6f9fd19395efb2","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:57","g8e38:58","g9e44:59","g9e45:60","g8e38:61","g9e46:62","g9e47:63"]},{"arrival_id":"omninotes-Rep1:g8s20:g11e372:540","arrival_transition":"g11e372:540","arrival_kind":"external","entry_transition":"g10e148:539","distance":2,"local_id":"omninotes-Rep1-l9d9639320c0d9d","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":["g10e148:539","g11e372:540"]},{"arrival_id":"omninotes-Rep1:g8s20:g11e373:541","arrival_transition":"g11e373:541","arrival_kind":"self_loop","entry_transition":"g10e148:539","distance":3,"local_id":"omninotes-Rep1-l9d9639320c0d9d","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":["g10e148:539","g11e372:540","g11e373:541"]},{"arrival_id":"omninotes-Rep1:g8s20:g11e374:542","arrival_transition":"g11e374:542","arrival_kind":"self_loop","entry_transition":"g10e148:539","distance":4,"local_id":"omninotes-Rep1-l9d9639320c0d9d","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":["g10e148:539","g11e372:540","g11e373:541","g11e374:542"]},{"arrival_id":"omninotes-Rep1:g8s20:g11e375:543","arrival_transition":"g11e375:543","arrival_kind":"self_loop","entry_transition":"g10e148:539","distance":5,"local_id":"omninotes-Rep1-l9d9639320c0d9d","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":["g10e148:539","g11e372:540","g11e373:541","g11e374:542","g11e375:543"]},{"arrival_id":"omninotes-Rep1:g8s20:g11e374:544","arrival_transition":"g11e374:544","arrival_kind":"self_loop","entry_transition":"g10e148:539","distance":6,"local_id":"omninotes-Rep1-l9d9639320c0d9d","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":["g10e148:539","g11e372:540","g11e373:541","g11e374:542","g11e375:543","g11e374:544"]},{"arrival_id":"omninotes-Rep1:g8s20:g11e376:546","arrival_transition":"g11e376:546","arrival_kind":"internal_return","entry_transition":"g10e148:539","distance":8,"local_id":"omninotes-Rep1-l9d9639320c0d9d","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":["g10e148:539","g11e372:540","g11e373:541","g11e374:542","g11e375:543","g11e374:544","g9e40:545","g11e376:546"]},{"arrival_id":"omninotes-Rep1:g8s20:g11e377:548","arrival_transition":"g11e377:548","arrival_kind":"internal_return","entry_transition":"g10e148:539","distance":10,"local_id":"omninotes-Rep1-l9d9639320c0d9d","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":["g10e148:539","g11e372:540","g11e373:541","g11e374:542","g11e375:543","g11e374:544","g9e40:545","g11e376:546","g9e40:547","g11e377:548"]},{"arrival_id":"omninotes-Rep1:g8s20:g11e378:550","arrival_transition":"g11e378:550","arrival_kind":"internal_return","entry_transition":"g10e148:539","distance":12,"local_id":"omninotes-Rep1-l9d9639320c0d9d","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":["g10e148:539","g11e372:540","g11e373:541","g11e374:542","g11e375:543","g11e374:544","g9e40:545","g11e376:546","g9e40:547","g11e377:548","g9e40:549","g11e378:550"]},{"arrival_id":"omninotes-Rep1:g8s20:g9e41:552","arrival_transition":"g9e41:552","arrival_kind":"internal_return","entry_transition":"g10e148:539","distance":14,"local_id":"omninotes-Rep1-l9d9639320c0d9d","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":["g10e148:539","g11e372:540","g11e373:541","g11e374:542","g11e375:543","g11e374:544","g9e40:545","g11e376:546","g9e40:547","g11e377:548","g9e40:549","g11e378:550","g9e40:551","g9e41:552"]},{"arrival_id":"omninotes-Rep1:g8s20:g13e399:594","arrival_transition":"g13e399:594","arrival_kind":"external","entry_transition":"g2e6:592","distance":3,"local_id":"omninotes-Rep1-lea22a7f9655347","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:592","g13e398:593","g13e399:594"]},{"arrival_id":"omninotes-Rep1:g8s20:g13e435:686","arrival_transition":"g13e435:686","arrival_kind":"external","entry_transition":"g2e6:669","distance":18,"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:669","g5e26:670","g13e427:671","g13e428:672","g7e35:673","g13e429:674","g13e430:675","g13e431:676","g13e427:677","g13e429:678","g13e432:679","g13e433:680","g13e432:681","g13e434:682","g13e431:683","g13e417:684","g13e419:685","g13e435:686"]},{"arrival_id":"omninotes-Rep1:g8s20:g13e435:686","arrival_transition":"g13e435:686","arrival_kind":"external","entry_transition":"g2e6:667","distance":20,"local_id":"omninotes-Rep1-l4aaee8c4ffc150","source_state":"g0s2","model_action":"g0a16","function":"omninotes.settings","family":"omninotes.settings","verdict":"REJECTED","reason":"function_exit_before_header:outside_MainActivity:g13e426:668","entry_final_exact":true,"entire_path_final_exact":true,"path_transition_ids":["g2e6:667","g13e426:668","g2e6:669","g5e26:670","g13e427:671","g13e428:672","g7e35:673","g13e429:674","g13e430:675","g13e431:676","g13e427:677","g13e429:678","g13e432:679","g13e433:680","g13e432:681","g13e434:682","g13e431:683","g13e417:684","g13e419:685","g13e435:686"]},{"arrival_id":"omninotes-Rep1:g8s20:g13e399:715","arrival_transition":"g13e399:715","arrival_kind":"external","entry_transition":"g2e6:714","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:714","g13e399:715"]}],"after":{"omninotes-Rep1:g8s20:g8e38:51":{"transition_ids":[],"stop":"abstraction_version_changed"},"omninotes-Rep1:g8s20:g9e41:53":{"transition_ids":["g9e40:54","g9e42:55","g9e43:56","g2e6:57","g8e38:58"],"stop":"five_step_limit"},"omninotes-Rep1:g8s20:g8e38:58":{"transition_ids":["g9e44:59","g9e45:60","g8e38:61","g9e46:62","g9e47:63"],"stop":"five_step_limit"},"omninotes-Rep1:g8s20:g9e44:59":{"transition_ids":["g9e45:60","g8e38:61","g9e46:62","g9e47:63","g9e46:64"],"stop":"five_step_limit"},"omninotes-Rep1:g8s20:g8e38:61":{"transition_ids":["g9e46:62","g9e47:63","g9e46:64","g9e48:65","g9e49:66"],"stop":"five_step_limit"},"omninotes-Rep1:g8s20:g9e47:63":{"transition_ids":["g9e46:64","g9e48:65","g9e49:66","g9e50:67","g9e51:68"],"stop":"five_step_limit"},"omninotes-Rep1:g8s20:g11e372:540":{"transition_ids":["g11e373:541","g11e374:542","g11e375:543","g11e374:544","g9e40:545"],"stop":"five_step_limit"},"omninotes-Rep1:g8s20:g11e373:541":{"transition_ids":["g11e374:542","g11e375:543","g11e374:544","g9e40:545","g11e376:546"],"stop":"five_step_limit"},"omninotes-Rep1:g8s20:g11e374:542":{"transition_ids":["g11e375:543","g11e374:544","g9e40:545","g11e376:546","g9e40:547"],"stop":"five_step_limit"},"omninotes-Rep1:g8s20:g11e375:543":{"transition_ids":["g11e374:544","g9e40:545","g11e376:546","g9e40:547","g11e377:548"],"stop":"five_step_limit"},"omninotes-Rep1:g8s20:g11e374:544":{"transition_ids":["g9e40:545","g11e376:546","g9e40:547","g11e377:548","g9e40:549"],"stop":"five_step_limit"},"omninotes-Rep1:g8s20:g11e376:546":{"transition_ids":["g9e40:547","g11e377:548","g9e40:549","g11e378:550","g9e40:551"],"stop":"five_step_limit"},"omninotes-Rep1:g8s20:g11e377:548":{"transition_ids":["g9e40:549","g11e378:550","g9e40:551","g9e41:552","g11e379:553"],"stop":"five_step_limit"},"omninotes-Rep1:g8s20:g11e378:550":{"transition_ids":["g9e40:551","g9e41:552","g11e379:553","g11e380:554","g11e381:555"],"stop":"five_step_limit"},"omninotes-Rep1:g8s20:g9e41:552":{"transition_ids":["g11e379:553","g11e380:554","g11e381:555","g11e382:556","g11e383:557"],"stop":"five_step_limit"},"omninotes-Rep1:g8s20:g13e399:594":{"transition_ids":["g9e46:595","g13e400:596","g13e401:597","g13e402:598","g2e6:599"],"stop":"five_step_limit"},"omninotes-Rep1:g8s20:g13e435:686":{"transition_ids":["g13e436:687","g13e437:688","g13e438:689"],"stop":"abstraction_version_changed"},"omninotes-Rep1:g8s20:g8e38:700":{"transition_ids":["g9e46:701","g9e47:702","g9e45:703","g13e404:704","g13e405:705"],"stop":"five_step_limit"},"omninotes-Rep1:g8s20:g9e47:702":{"transition_ids":["g9e45:703","g13e404:704","g13e405:705","g13e409:706","g14e449:707"],"stop":"five_step_limit"},"omninotes-Rep1:g8s20:g13e399:715":{"transition_ids":["g9e46:716","g9e49:717","g9e50:718","g10e155:719","g10e161:720"],"stop":"five_step_limit"}},"topology_incoming":[{"id":"g8e38","source":"g2s5","target":"g8s20","action":"g2a54","action_fingerprint":"type=MODEL_CLICK|activity=it.feio.android.omninotes.SettingsActivity|class=android.widget.LinearLayout|text=|resource_id=|bounds=0,559,1080,700","target_activity":"it.feio.android.omninotes.SettingsActivity","type":"EXISTING","visits":28,"is_circle":false,"first_seen":83,"last_seen":889,"confirmed_final_executions":4,"relation":"external"},{"id":"g11e375","source":"g8s20","target":"g8s20","action":"g8a144","action_fingerprint":"type=MODEL_CLICK|activity=it.feio.android.omninotes.SettingsActivity|class=android.widget.LinearLayout|text=|resource_id=|bounds=0,667,1080,859","target_activity":"it.feio.android.omninotes.SettingsActivity","type":"NEW_ACTION","visits":6,"is_circle":true,"first_seen":675,"last_seen":675,"confirmed_final_executions":1,"relation":"self_loop"},{"id":"g9e44","source":"g8s20","target":"g8s20","action":"g8a145","action_fingerprint":"type=MODEL_CLICK|activity=it.feio.android.omninotes.SettingsActivity|class=android.widget.LinearLayout|text=|resource_id=|bounds=0,859,1080,1051","target_activity":"it.feio.android.omninotes.SettingsActivity","type":"NEW_ACTION","visits":8,"is_circle":true,"first_seen":99,"last_seen":99,"confirmed_final_executions":1,"relation":"self_loop"},{"id":"g13e399","source":"g2s5","target":"g8s20","action":"g2a47","action_fingerprint":"type=MODEL_CLICK|activity=it.feio.android.omninotes.SettingsActivity|class=android.widget.TextView|text=Interfac|resource_id=android:id/title|bounds=42,601,209,658","target_activity":"it.feio.android.omninotes.SettingsActivity","type":"EXISTING","visits":7,"is_circle":false,"first_seen":777,"last_seen":904,"confirmed_final_executions":2,"relation":"external"},{"id":"g11e373","source":"g8s20","target":"g8s20","action":"g8a146","action_fingerprint":"type=MODEL_CLICK|activity=it.feio.android.omninotes.SettingsActivity|class=android.widget.LinearLayout|text=|resource_id=|bounds=0,1051,1080,1243","target_activity":"it.feio.android.omninotes.SettingsActivity","type":"NEW_ACTION","visits":6,"is_circle":true,"first_seen":673,"last_seen":673,"confirmed_final_executions":1,"relation":"self_loop"},{"id":"g13e435","source":"g13s102","target":"g8s20","action":"g13a981","action_fingerprint":"type=MODEL_CLICK|activity=it.feio.android.omninotes.SettingsActivity|class=android.widget.TextView|text=Saskarne|resource_id=android:id/title|bounds=42,283,215,284","target_activity":"it.feio.android.omninotes.SettingsActivity","type":"NEW_ACTION","visits":4,"is_circle":false,"first_seen":869,"last_seen":869,"confirmed_final_executions":1,"relation":"external"},{"id":"g11e376","source":"g9s22","target":"g8s20","action":"g9a157","action_fingerprint":"type=MODEL_CLICK|activity=it.feio.android.omninotes.SettingsActivity|class=android.widget.CheckedTextView|text=အစဉ်းမျာ|resource_id=android:id/text1|bounds=70,1107,1010,1233","target_activity":"it.feio.android.omninotes.SettingsActivity","type":"NEW_ACTION","visits":6,"is_circle":false,"first_seen":678,"last_seen":678,"confirmed_final_executions":1,"relation":"internal_return"},{"id":"g11e377","source":"g9s22","target":"g8s20","action":"g9a158","action_fingerprint":"type=MODEL_CLICK|activity=it.feio.android.omninotes.SettingsActivity|class=android.widget.CheckedTextView|text=မှတ်စုစာ|resource_id=android:id/text1|bounds=70,1233,1010,1359","target_activity":"it.feio.android.omninotes.SettingsActivity","type":"NEW_ACTION","visits":6,"is_circle":false,"first_seen":680,"last_seen":680,"confirmed_final_executions":1,"relation":"internal_return"},{"id":"g11e372","source":"g10s38","target":"g8s20","action":"g10a314","action_fingerprint":"type=MODEL_CLICK|activity=it.feio.android.omninotes.SettingsActivity|class=android.widget.TextView|text=အသွင်အပြ|resource_id=android:id/title|bounds=42,602,271,660","target_activity":"it.feio.android.omninotes.SettingsActivity","type":"NEW_ACTION","visits":6,"is_circle":false,"first_seen":672,"last_seen":672,"confirmed_final_executions":1,"relation":"external"},{"id":"g11e374","source":"g8s20","target":"g8s20","action":"g8a148","action_fingerprint":"type=MODEL_CLICK|activity=it.feio.android.omninotes.SettingsActivity|class=android.widget.Switch|text=|resource_id=android:id/switch_widget|bounds=916,727,1038,798","target_activity":"it.feio.android.omninotes.SettingsActivity","type":"EXISTING","visits":12,"is_circle":true,"first_seen":674,"last_seen":676,"confirmed_final_executions":2,"relation":"self_loop"},{"id":"g11e378","source":"g9s22","target":"g8s20","action":"g9a159","action_fingerprint":"type=MODEL_CLICK|activity=it.feio.android.omninotes.SettingsActivity|class=android.widget.CheckedTextView|text=အပြည့်အစ|resource_id=android:id/text1|bounds=70,1359,1010,1485","target_activity":"it.feio.android.omninotes.SettingsActivity","type":"NEW_ACTION","visits":6,"is_circle":false,"first_seen":682,"last_seen":682,"confirmed_final_executions":1,"relation":"internal_return"},{"id":"g9e47","source":"g9s23","target":"g8s20","action":"g9a161","action_fingerprint":"type=MODEL_CLICK|activity=it.feio.android.omninotes.SettingsActivity|class=android.widget.Button|text=CANCEL|resource_id=android:id/button2|bounds=779,2158,978,2284","target_activity":"it.feio.android.omninotes.SettingsActivity","type":"EXISTING","visits":11,"is_circle":false,"first_seen":103,"last_seen":891,"confirmed_final_executions":2,"relation":"internal_return"},{"id":"g9e41","source":"g9s22","target":"g8s20","action":"g9a156","action_fingerprint":"type=MODEL_CLICK|activity=it.feio.android.omninotes.SettingsActivity|class=android.widget.CheckedTextView|text=ပိတ်ထား|resource_id=android:id/text1|bounds=70,981,1010,1107","target_activity":"it.feio.android.omninotes.SettingsActivity","type":"EXISTING","visits":14,"is_circle":false,"first_seen":93,"last_seen":684,"confirmed_final_executions":2,"relation":"internal_return"}],"graph_history":"<svg width=\"798pt\" height=\"346pt\"\n viewBox=\"0.00 0.00 798.20 345.69\" 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 324.09)\">\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,-280.49C73,-280.49 12,-280.49 12,-280.49 6,-280.49 0,-274.49 0,-268.49 0,-268.49 0,-256.49 0,-256.49 0,-250.49 6,-244.49 12,-244.49 12,-244.49 73,-244.49 73,-244.49 79,-244.49 85,-250.49 85,-256.49 85,-256.49 85,-268.49 85,-268.49 85,-274.49 79,-280.49 73,-280.49\"/>\n<text text-anchor=\"middle\" x=\"42.5\" y=\"-265.69\" font-family=\"DejaVu Sans\" font-size=\"11.00\" fill=\"#243431\">g0s2</text>\n<text text-anchor=\"middle\" x=\"42.5\" y=\"-253.69\" font-family=\"DejaVu Sans\" font-size=\"11.00\" fill=\"#243431\">MainActivity</text>\n</a>\n</g>\n</g>\n<!-- g10s38 -->\n<g id=\"state&#45;g10s38\" class=\"node\">\n<title>g10s38</title>\n<g id=\"a_state&#45;g10s38\"><a xlink:href=\"#state:g10s38\" xlink:title=\"g10s38\\nSettingsActivity\">\n<path fill=\"#d5e3ed\" stroke=\"#829291\" d=\"M294,-232.49C294,-232.49 214,-232.49 214,-232.49 208,-232.49 202,-226.49 202,-220.49 202,-220.49 202,-208.49 202,-208.49 202,-202.49 208,-196.49 214,-196.49 214,-196.49 294,-196.49 294,-196.49 300,-196.49 306,-202.49 306,-208.49 306,-208.49 306,-220.49 306,-220.49 306,-226.49 300,-232.49 294,-232.49\"/>\n<text text-anchor=\"middle\" x=\"254\" y=\"-217.69\" font-family=\"DejaVu Sans\" font-size=\"11.00\" fill=\"#243431\">g10s38</text>\n<text text-anchor=\"middle\" x=\"254\" y=\"-205.69\" font-family=\"DejaVu Sans\" font-size=\"11.00\" fill=\"#243431\">SettingsActivity</text>\n</a>\n</g>\n</g>\n<!-- g0s2&#45;&gt;g10s38 -->\n<g id=\"edge5\" class=\"edge\">\n<title>g0s2&#45;&gt;g10s38</title>\n<g id=\"a_edge5\"><a xlink:href=\"#event:g10e148:539\" xlink:title=\"အပြင်အဆင ×1\">\n<path fill=\"none\" stroke=\"#26728f\" stroke-width=\"2\" d=\"M85.14,-252.95C116.97,-245.65 161.19,-235.52 196.26,-227.49\"/>\n<polygon fill=\"#26728f\" stroke=\"#26728f\" stroke-width=\"2\" points=\"196.87,-229.32 201.8,-226.22 196.01,-225.57 196.87,-229.32\"/>\n</a>\n</g>\n<g id=\"a_edge5&#45;label\"><a xlink:href=\"#event:g10e148:539\" xlink:title=\"အပြင်အဆင ×1\">\n<text text-anchor=\"middle\" x=\"143.5\" y=\"-249.29\" font-family=\"DejaVu Sans\" font-size=\"9.00\">အပြင်အဆင ×1</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=\"M743,-274.49C743,-274.49 663,-274.49 663,-274.49 657,-274.49 651,-268.49 651,-262.49 651,-262.49 651,-250.49 651,-250.49 651,-244.49 657,-238.49 663,-238.49 663,-238.49 743,-238.49 743,-238.49 749,-238.49 755,-244.49 755,-250.49 755,-250.49 755,-262.49 755,-262.49 755,-268.49 749,-274.49 743,-274.49\"/>\n<text text-anchor=\"middle\" x=\"703\" y=\"-259.69\" font-family=\"DejaVu Sans\" font-size=\"11.00\" fill=\"#243431\">g2s5</text>\n<text text-anchor=\"middle\" x=\"703\" y=\"-247.69\" 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:57\" xlink:title=\"إعدادات ×3\">\n<path fill=\"none\" stroke=\"#26728f\" stroke-width=\"2\" d=\"M85.25,-265.14C181,-270.73 423.75,-282.05 626,-267.49 632.11,-267.05 638.47,-266.41 644.8,-265.66\"/>\n<polygon fill=\"#26728f\" stroke=\"#26728f\" stroke-width=\"2\" points=\"645.38,-267.53 650.6,-264.95 644.9,-263.71 645.38,-267.53\"/>\n</a>\n</g>\n<g id=\"a_edge1&#45;label\"><a xlink:href=\"#event:g2e6:57\" xlink:title=\"إعدادات ×3\">\n<text text-anchor=\"middle\" x=\"361.5\" y=\"-277.29\" font-family=\"DejaVu Sans\" font-size=\"9.00\">إعدادات ×3</text>\n</a>\n</g>\n</g>\n<!-- g8s20 -->\n<g id=\"state&#45;g8s20\" class=\"node\">\n<title>g8s20</title>\n<g id=\"a_state&#45;g8s20\"><a xlink:href=\"#state:g8s20\" xlink:title=\"g8s20\\nSettingsActivity\">\n<path fill=\"#e6b455\" stroke=\"#829291\" d=\"M509,-148.49C509,-148.49 429,-148.49 429,-148.49 423,-148.49 417,-142.49 417,-136.49 417,-136.49 417,-124.49 417,-124.49 417,-118.49 423,-112.49 429,-112.49 429,-112.49 509,-112.49 509,-112.49 515,-112.49 521,-118.49 521,-124.49 521,-124.49 521,-136.49 521,-136.49 521,-142.49 515,-148.49 509,-148.49\"/>\n<text text-anchor=\"middle\" x=\"469\" y=\"-133.69\" font-family=\"DejaVu Sans\" font-size=\"11.00\" fill=\"#243431\">g8s20</text>\n<text text-anchor=\"middle\" x=\"469\" y=\"-121.69\" font-family=\"DejaVu Sans\" font-size=\"11.00\" fill=\"#243431\">SettingsActivity</text>\n</a>\n</g>\n</g>\n<!-- g10s38&#45;&gt;g8s20 -->\n<g id=\"edge6\" class=\"edge\">\n<title>g10s38&#45;&gt;g8s20</title>\n<g id=\"a_edge6\"><a xlink:href=\"#event:g11e372:540\" xlink:title=\"အသွင်အပြ ×1\">\n<path fill=\"none\" stroke=\"#26728f\" stroke-width=\"2\" d=\"M300.69,-196.47C334.83,-183 381.5,-164.6 416.88,-150.65\"/>\n<polygon fill=\"#26728f\" stroke=\"#26728f\" stroke-width=\"2\" points=\"417.6,-152.43 422.01,-148.62 416.19,-148.85 417.6,-152.43\"/>\n</a>\n</g>\n<g id=\"a_edge6&#45;label\"><a xlink:href=\"#event:g11e372:540\" xlink:title=\"အသွင်အပြ ×1\">\n<text text-anchor=\"middle\" x=\"361.5\" y=\"-184.29\" font-family=\"DejaVu Sans\" font-size=\"9.00\">အသွင်အပြ ×1</text>\n</a>\n</g>\n</g>\n<!-- g2s5&#45;&gt;g2s5 -->\n<g id=\"edge7\" class=\"edge\">\n<title>g2s5&#45;&gt;g2s5</title>\n<g id=\"a_edge7\"><a xlink:href=\"#event:g13e398:593\" xlink:title=\"Online m ×1\">\n<path fill=\"none\" stroke=\"#26728f\" stroke-width=\"2\" d=\"M681.44,-274.58C679.95,-282.11 687.14,-288.49 703,-288.49 714.65,-288.49 721.62,-285.05 723.91,-280.24\"/>\n<polygon fill=\"#26728f\" stroke=\"#26728f\" stroke-width=\"2\" points=\"725.84,-280.26 724.56,-274.58 722.02,-279.82 725.84,-280.26\"/>\n</a>\n</g>\n<g id=\"a_edge7&#45;label\"><a xlink:href=\"#event:g13e398:593\" xlink:title=\"Online m ×1\">\n<text text-anchor=\"middle\" x=\"703\" y=\"-291.29\" font-family=\"DejaVu Sans\" font-size=\"9.00\">Online m ×1</text>\n</a>\n</g>\n</g>\n<!-- g2s5&#45;&gt;g8s20 -->\n<g id=\"edge2\" class=\"edge\">\n<title>g2s5&#45;&gt;g8s20</title>\n<g id=\"a_edge2\"><a xlink:href=\"#event:g8e38:58\" xlink:title=\"MODEL_CLICK ×2\">\n<path fill=\"none\" stroke=\"#26728f\" stroke-width=\"2\" d=\"M651,-256.18C612.44,-255.11 563.28,-251.69 546,-241.49 512.39,-221.65 490.27,-180.41 478.97,-154.17\"/>\n<polygon fill=\"#26728f\" stroke=\"#26728f\" stroke-width=\"2\" points=\"480.62,-153.13 476.72,-148.81 477.07,-154.62 480.62,-153.13\"/>\n</a>\n</g>\n<g id=\"a_edge2&#45;label\"><a xlink:href=\"#event:g8e38:58\" xlink:title=\"MODEL_CLICK ×2\">\n<text text-anchor=\"middle\" x=\"586\" y=\"-257.29\" font-family=\"DejaVu Sans\" font-size=\"9.00\">MODEL_CLICK ×2</text>\n</a>\n</g>\n</g>\n<!-- g2s5&#45;&gt;g8s20 -->\n<g id=\"edge8\" class=\"edge\">\n<title>g2s5&#45;&gt;g8s20</title>\n<g id=\"a_edge8\"><a xlink:href=\"#event:g13e399:594\" xlink:title=\"Interfac ×2\">\n<path fill=\"none\" stroke=\"#26728f\" stroke-width=\"2\" d=\"M651.55,-238.37C643.07,-235.58 634.32,-232.84 626,-230.49 590.93,-220.57 577.58,-230.67 546,-212.49 520.57,-197.85 498.67,-171.9 485,-153.11\"/>\n<polygon fill=\"#26728f\" stroke=\"#26728f\" stroke-width=\"2\" points=\"486.47,-151.85 481.7,-148.49 483.33,-154.09 486.47,-151.85\"/>\n</a>\n</g>\n<g id=\"a_edge8&#45;label\"><a xlink:href=\"#event:g13e399:594\" xlink:title=\"Interfac ×2\">\n<text text-anchor=\"middle\" x=\"586\" y=\"-233.29\" font-family=\"DejaVu Sans\" font-size=\"9.00\">Interfac ×2</text>\n</a>\n</g>\n</g>\n<!-- g8s20&#45;&gt;g2s5 -->\n<g id=\"edge4\" class=\"edge\">\n<title>g8s20&#45;&gt;g2s5</title>\n<g id=\"a_edge4\"><a xlink:href=\"#event:g9e45:60\" xlink:title=\"التنقل إلى أعلى ×1\">\n<path fill=\"none\" stroke=\"#26728f\" stroke-width=\"2\" d=\"M502.58,-148.49C515.9,-155.62 531.55,-163.72 546,-170.49 580.83,-186.79 594.22,-181.83 626,-203.49 639.25,-212.51 638.2,-219.84 651,-229.49 653.73,-231.54 656.64,-233.53 659.63,-235.44\"/>\n<polygon fill=\"#26728f\" stroke=\"#26728f\" stroke-width=\"2\" points=\"658.69,-237.12 664.38,-238.35 660.7,-233.83 658.69,-237.12\"/>\n</a>\n</g>\n<g id=\"a_edge4&#45;label\"><a xlink:href=\"#event:g9e45:60\" xlink:title=\"التنقل إلى أعلى ×1\">\n<text text-anchor=\"middle\" x=\"586\" y=\"-206.29\" font-family=\"DejaVu Sans\" font-size=\"9.00\">التنقل إلى أعلى ×1</text>\n</a>\n</g>\n</g>\n<!-- g8s20&#45;&gt;g8s20 -->\n<g id=\"edge3\" class=\"edge\">\n<title>g8s20&#45;&gt;g8s20</title>\n<g id=\"a_edge3\"><a xlink:href=\"#event:g9e44:59\" xlink:title=\"MODEL_CLICK ×1\">\n<path fill=\"none\" stroke=\"#26728f\" stroke-width=\"2\" d=\"M464.07,-148.58C463.74,-156.11 465.38,-162.49 469,-162.49 471.66,-162.49 473.25,-159.05 473.78,-154.24\"/>\n<polygon fill=\"#26728f\" stroke=\"#26728f\" stroke-width=\"2\" points=\"475.7,-154.13 473.93,-148.58 471.86,-154.03 475.7,-154.13\"/>\n</a>\n</g>\n<g id=\"a_edge3&#45;label\"><a xlink:href=\"#event:g9e44:59\" xlink:title=\"MODEL_CLICK ×1\">\n<text text-anchor=\"middle\" x=\"469\" y=\"-165.29\" font-family=\"DejaVu Sans\" font-size=\"9.00\">MODEL_CLICK ×1</text>\n</a>\n</g>\n</g>\n<!-- g8s20&#45;&gt;g8s20 -->\n<g id=\"edge10\" class=\"edge\">\n<title>g8s20&#45;&gt;g8s20</title>\n<g id=\"a_edge10\"><a xlink:href=\"#topology:g8a144\" xlink:title=\"g11e375\">\n<path fill=\"none\" stroke=\"#9d9e99\" stroke-dasharray=\"5,2\" d=\"M460.24,-148.91C457.18,-162.64 460.1,-176.49 469,-176.49 476.72,-176.49 479.94,-166.08 478.67,-154.35\"/>\n<polygon fill=\"#9d9e99\" stroke=\"#9d9e99\" points=\"480.56,-154.02 477.76,-148.91 476.76,-154.65 480.56,-154.02\"/>\n</a>\n</g>\n<g id=\"a_edge10&#45;label\"><a xlink:href=\"#topology:g8a144\" xlink:title=\"g11e375\">\n<text text-anchor=\"middle\" x=\"469\" y=\"-179.29\" font-family=\"DejaVu Sans\" font-size=\"9.00\">g11e375</text>\n</a>\n</g>\n</g>\n<!-- g8s20&#45;&gt;g8s20 -->\n<g id=\"edge12\" class=\"edge\">\n<title>g8s20&#45;&gt;g8s20</title>\n<g id=\"a_edge12\"><a xlink:href=\"#topology:g8a146\" xlink:title=\"g11e373\">\n<path fill=\"none\" stroke=\"#9d9e99\" stroke-dasharray=\"5,2\" d=\"M457.7,-148.61C450.41,-168.22 454.17,-190.49 469,-190.49 482.44,-190.49 486.79,-172.2 482.06,-154.17\"/>\n<polygon fill=\"#9d9e99\" stroke=\"#9d9e99\" points=\"483.79,-153.27 480.3,-148.61 480.12,-154.43 483.79,-153.27\"/>\n</a>\n</g>\n<g id=\"a_edge12&#45;label\"><a xlink:href=\"#topology:g8a146\" xlink:title=\"g11e373\">\n<text text-anchor=\"middle\" x=\"469\" y=\"-193.29\" font-family=\"DejaVu Sans\" font-size=\"9.00\">g11e373</text>\n</a>\n</g>\n</g>\n<!-- g8s20&#45;&gt;g8s20 -->\n<g id=\"edge16\" class=\"edge\">\n<title>g8s20&#45;&gt;g8s20</title>\n<g id=\"a_edge16\"><a xlink:href=\"#topology:g8a148\" xlink:title=\"g11e374\">\n<path fill=\"none\" stroke=\"#9d9e99\" stroke-dasharray=\"5,2\" d=\"M455.77,-148.69C443.68,-173.77 448.09,-204.49 469,-204.49 488.52,-204.49 493.66,-177.71 484.42,-153.75\"/>\n<polygon fill=\"#9d9e99\" stroke=\"#9d9e99\" points=\"486.18,-152.98 482.23,-148.69 482.65,-154.51 486.18,-152.98\"/>\n</a>\n</g>\n<g id=\"a_edge16&#45;label\"><a xlink:href=\"#topology:g8a148\" xlink:title=\"g11e374\">\n<text text-anchor=\"middle\" x=\"469\" y=\"-207.29\" font-family=\"DejaVu Sans\" font-size=\"9.00\">g11e374</text>\n</a>\n</g>\n</g>\n<!-- g9s22 -->\n<g id=\"state&#45;g9s22\" class=\"node\">\n<title>g9s22</title>\n<g id=\"a_state&#45;g9s22\"><a xlink:href=\"#state:g9s22\" xlink:title=\"g9s22\\nSettingsActivity\">\n<path fill=\"#cde4d9\" stroke=\"#829291\" d=\"M743,-74.49C743,-74.49 663,-74.49 663,-74.49 657,-74.49 651,-68.49 651,-62.49 651,-62.49 651,-50.49 651,-50.49 651,-44.49 657,-38.49 663,-38.49 663,-38.49 743,-38.49 743,-38.49 749,-38.49 755,-44.49 755,-50.49 755,-50.49 755,-62.49 755,-62.49 755,-68.49 749,-74.49 743,-74.49\"/>\n<text text-anchor=\"middle\" x=\"703\" y=\"-59.69\" font-family=\"DejaVu Sans\" font-size=\"11.00\" fill=\"#243431\">g9s22</text>\n<text text-anchor=\"middle\" x=\"703\" y=\"-47.69\" font-family=\"DejaVu Sans\" font-size=\"11.00\" fill=\"#243431\">SettingsActivity</text>\n</a>\n</g>\n</g>\n<!-- g8s20&#45;&gt;g9s22 -->\n<g id=\"edge9\" class=\"edge\">\n<title>g8s20&#45;&gt;g9s22</title>\n<g id=\"a_edge9\"><a xlink:href=\"#topology:g8a143\" xlink:title=\"g9e40\">\n<path fill=\"none\" stroke=\"#9d9e99\" stroke-dasharray=\"5,2\" d=\"M521.21,-122.92C552.14,-117.47 592.01,-108.87 626,-96.49 639.97,-91.39 654.6,-84.2 667.24,-77.31\"/>\n<polygon fill=\"#9d9e99\" stroke=\"#9d9e99\" points=\"668.29,-78.93 672.17,-74.59 666.42,-75.56 668.29,-78.93\"/>\n</a>\n</g>\n<g id=\"a_edge9&#45;label\"><a xlink:href=\"#topology:g8a143\" xlink:title=\"g9e40\">\n<text text-anchor=\"middle\" x=\"586\" y=\"-120.29\" font-family=\"DejaVu Sans\" font-size=\"9.00\">g9e40</text>\n</a>\n</g>\n</g>\n<!-- g9s23 -->\n<g id=\"state&#45;g9s23\" class=\"node\">\n<title>g9s23</title>\n<g id=\"a_state&#45;g9s23\"><a xlink:href=\"#state:g9s23\" xlink:title=\"g9s23\\nSettingsActivity\">\n<path fill=\"#cde4d9\" stroke=\"#829291\" d=\"M743,-166.49C743,-166.49 663,-166.49 663,-166.49 657,-166.49 651,-160.49 651,-154.49 651,-154.49 651,-142.49 651,-142.49 651,-136.49 657,-130.49 663,-130.49 663,-130.49 743,-130.49 743,-130.49 749,-130.49 755,-136.49 755,-142.49 755,-142.49 755,-154.49 755,-154.49 755,-160.49 749,-166.49 743,-166.49\"/>\n<text text-anchor=\"middle\" x=\"703\" y=\"-151.69\" font-family=\"DejaVu Sans\" font-size=\"11.00\" fill=\"#243431\">g9s23</text>\n<text text-anchor=\"middle\" x=\"703\" y=\"-139.69\" font-family=\"DejaVu Sans\" font-size=\"11.00\" fill=\"#243431\">SettingsActivity</text>\n</a>\n</g>\n</g>\n<!-- g8s20&#45;&gt;g9s23 -->\n<g id=\"edge11\" class=\"edge\">\n<title>g8s20&#45;&gt;g9s23</title>\n<g id=\"a_edge11\"><a xlink:href=\"#topology:g8a147\" xlink:title=\"g9e46\">\n<path fill=\"none\" stroke=\"#9d9e99\" stroke-dasharray=\"5,2\" d=\"M521.2,-134.46C557.96,-137.31 607.49,-141.15 645.42,-144.1\"/>\n<polygon fill=\"#9d9e99\" stroke=\"#9d9e99\" points=\"645.3,-146.02 650.93,-144.52 645.6,-142.18 645.3,-146.02\"/>\n</a>\n</g>\n<g id=\"a_edge11&#45;label\"><a xlink:href=\"#topology:g8a147\" xlink:title=\"g9e46\">\n<text text-anchor=\"middle\" x=\"586\" y=\"-144.29\" font-family=\"DejaVu Sans\" font-size=\"9.00\">g9e46</text>\n</a>\n</g>\n</g>\n<!-- g9s22&#45;&gt;g8s20 -->\n<g id=\"edge13\" class=\"edge\">\n<title>g9s22&#45;&gt;g8s20</title>\n<g id=\"a_edge13\"><a xlink:href=\"#topology:g9a157\" xlink:title=\"g11e376\">\n<path fill=\"none\" stroke=\"#9d9e99\" stroke-dasharray=\"5,2\" d=\"M650.77,-64.03C612.92,-69.98 564.83,-78.42 546,-85.49 530.15,-91.44 513.83,-100.63 500.39,-109.16\"/>\n<polygon fill=\"#9d9e99\" stroke=\"#9d9e99\" points=\"499.16,-107.66 495.58,-112.26 501.25,-110.9 499.16,-107.66\"/>\n</a>\n</g>\n<g id=\"a_edge13&#45;label\"><a xlink:href=\"#topology:g9a157\" xlink:title=\"g11e376\">\n<text text-anchor=\"middle\" x=\"586\" y=\"-88.29\" font-family=\"DejaVu Sans\" font-size=\"9.00\">g11e376</text>\n</a>\n</g>\n</g>\n<!-- g9s22&#45;&gt;g8s20 -->\n<g id=\"edge15\" class=\"edge\">\n<title>g9s22&#45;&gt;g8s20</title>\n<g id=\"a_edge15\"><a xlink:href=\"#topology:g9a158\" xlink:title=\"g11e377\">\n<path fill=\"none\" stroke=\"#9d9e99\" stroke-dasharray=\"5,2\" d=\"M650.97,-47.01C619.56,-43.45 579.12,-43.03 546,-56.49 520.74,-66.75 499.27,-89.9 485.66,-107.6\"/>\n<polygon fill=\"#9d9e99\" stroke=\"#9d9e99\" points=\"483.8,-106.87 482.04,-112.43 486.88,-109.18 483.8,-106.87\"/>\n</a>\n</g>\n<g id=\"a_edge15&#45;label\"><a xlink:href=\"#topology:g9a158\" xlink:title=\"g11e377\">\n<text text-anchor=\"middle\" x=\"586\" y=\"-59.29\" font-family=\"DejaVu Sans\" font-size=\"9.00\">g11e377</text>\n</a>\n</g>\n</g>\n<!-- g9s22&#45;&gt;g8s20 -->\n<g id=\"edge17\" class=\"edge\">\n<title>g9s22&#45;&gt;g8s20</title>\n<g id=\"a_edge17\"><a xlink:href=\"#topology:g9a159\" xlink:title=\"g11e378\">\n<path fill=\"none\" stroke=\"#9d9e99\" stroke-dasharray=\"5,2\" d=\"M663.22,-38.37C630.44,-25.83 583.03,-14.34 546,-32.49 514.54,-47.9 492.37,-83.3 480.39,-107.06\"/>\n<polygon fill=\"#9d9e99\" stroke=\"#9d9e99\" points=\"478.55,-106.46 477.85,-112.24 482,-108.15 478.55,-106.46\"/>\n</a>\n</g>\n<g id=\"a_edge17&#45;label\"><a xlink:href=\"#topology:g9a159\" xlink:title=\"g11e378\">\n<text text-anchor=\"middle\" x=\"586\" y=\"-35.29\" font-family=\"DejaVu Sans\" font-size=\"9.00\">g11e378</text>\n</a>\n</g>\n</g>\n<!-- g9s22&#45;&gt;g8s20 -->\n<g id=\"edge19\" class=\"edge\">\n<title>g9s22&#45;&gt;g8s20</title>\n<g id=\"a_edge19\"><a xlink:href=\"#topology:g9a156\" xlink:title=\"g9e41\">\n<path fill=\"none\" stroke=\"#9d9e99\" stroke-dasharray=\"5,2\" d=\"M679.58,-38.42C665.2,-28.02 645.61,-15.96 626,-10.49 591.75,-0.93 577.15,6.66 546,-10.49 508.94,-30.89 487.42,-77.84 477.25,-106.59\"/>\n<polygon fill=\"#9d9e99\" stroke=\"#9d9e99\" points=\"475.33,-106.26 475.37,-112.09 478.97,-107.51 475.33,-106.26\"/>\n</a>\n</g>\n<g id=\"a_edge19&#45;label\"><a xlink:href=\"#topology:g9a156\" xlink:title=\"g9e41\">\n<text text-anchor=\"middle\" x=\"586\" y=\"-13.29\" font-family=\"DejaVu Sans\" font-size=\"9.00\">g9e41</text>\n</a>\n</g>\n</g>\n<!-- g9s23&#45;&gt;g8s20 -->\n<g id=\"edge18\" class=\"edge\">\n<title>g9s23&#45;&gt;g8s20</title>\n<g id=\"a_edge18\"><a xlink:href=\"#topology:g9a161\" xlink:title=\"g9e47\">\n<path fill=\"none\" stroke=\"#9d9e99\" stroke-dasharray=\"5,2\" d=\"M650.78,-155.35C620.2,-158.24 580.69,-159.83 546,-154.49 539.27,-153.45 532.32,-151.92 525.48,-150.14\"/>\n<polygon fill=\"#9d9e99\" stroke=\"#9d9e99\" points=\"525.58,-148.17 519.77,-148.58 524.57,-151.88 525.58,-148.17\"/>\n</a>\n</g>\n<g id=\"a_edge18&#45;label\"><a xlink:href=\"#topology:g9a161\" xlink:title=\"g9e47\">\n<text text-anchor=\"middle\" x=\"586\" y=\"-160.29\" font-family=\"DejaVu Sans\" font-size=\"9.00\">g9e47</text>\n</a>\n</g>\n</g>\n<!-- g9s23&#45;&gt;g9s23 -->\n<g id=\"edge14\" class=\"edge\">\n<title>g9s23&#45;&gt;g9s23</title>\n<g id=\"a_edge14\"><a xlink:href=\"#topology:g9a164\" xlink:title=\"g9e48\">\n<path fill=\"none\" stroke=\"#9d9e99\" stroke-dasharray=\"5,2\" d=\"M692.22,-166.58C691.48,-174.11 695.07,-180.49 703,-180.49 708.82,-180.49 712.31,-177.05 713.45,-172.24\"/>\n<polygon fill=\"#9d9e99\" stroke=\"#9d9e99\" points=\"715.39,-172.18 713.78,-166.58 711.54,-171.96 715.39,-172.18\"/>\n</a>\n</g>\n<g id=\"a_edge14&#45;label\"><a xlink:href=\"#topology:g9a164\" xlink:title=\"g9e48\">\n<text text-anchor=\"middle\" x=\"703\" y=\"-183.29\" font-family=\"DejaVu Sans\" font-size=\"9.00\">g9e48</text>\n</a>\n</g>\n</g>\n<!-- g9s23&#45;&gt;g9s23 -->\n<g id=\"edge20\" class=\"edge\">\n<title>g9s23&#45;&gt;g9s23</title>\n<g id=\"a_edge20\"><a xlink:href=\"#topology:g9a163\" xlink:title=\"g13e400\">\n<path fill=\"none\" stroke=\"#9d9e99\" stroke-dasharray=\"5,2\" d=\"M683.82,-166.91C677.12,-180.64 683.52,-194.49 703,-194.49 719.9,-194.49 726.95,-184.08 724.16,-172.35\"/>\n<polygon fill=\"#9d9e99\" stroke=\"#9d9e99\" points=\"725.87,-171.42 722.18,-166.91 722.25,-172.73 725.87,-171.42\"/>\n</a>\n</g>\n<g id=\"a_edge20&#45;label\"><a xlink:href=\"#topology:g9a163\" xlink:title=\"g13e400\">\n<text text-anchor=\"middle\" x=\"703\" y=\"-197.29\" font-family=\"DejaVu Sans\" font-size=\"9.00\">g13e400</text>\n</a>\n</g>\n</g>\n</g>\n</svg>\n","graph_tree":"<svg width=\"324pt\" height=\"129pt\"\n viewBox=\"0.00 0.00 324.20 129.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 107.6)\">\n<title>G</title>\n<!-- g8s20 -->\n<g id=\"state&#45;g8s20\" class=\"node\">\n<title>g8s20</title>\n<g id=\"a_state&#45;g8s20\"><a xlink:href=\"#state:g8s20\" xlink:title=\"g8s20\\nSettingsActivity\">\n<path fill=\"#e6b455\" stroke=\"#829291\" d=\"M92,-61C92,-61 12,-61 12,-61 6,-61 0,-55 0,-49 0,-49 0,-37 0,-37 0,-31 6,-25 12,-25 12,-25 92,-25 92,-25 98,-25 104,-31 104,-37 104,-37 104,-49 104,-49 104,-55 98,-61 92,-61\"/>\n<text text-anchor=\"middle\" x=\"52\" y=\"-46.2\" font-family=\"DejaVu Sans\" font-size=\"11.00\" fill=\"#243431\">g8s20</text>\n<text text-anchor=\"middle\" x=\"52\" y=\"-34.2\" font-family=\"DejaVu Sans\" font-size=\"11.00\" fill=\"#243431\">SettingsActivity</text>\n</a>\n</g>\n</g>\n<!-- g9s22 -->\n<g id=\"state&#45;g9s22\" class=\"node\">\n<title>g9s22</title>\n<g id=\"a_state&#45;g9s22\"><a xlink:href=\"#state:g9s22\" xlink:title=\"g9s22\\nSettingsActivity\">\n<path fill=\"#cde4d9\" stroke=\"#829291\" d=\"M269,-86C269,-86 189,-86 189,-86 183,-86 177,-80 177,-74 177,-74 177,-62 177,-62 177,-56 183,-50 189,-50 189,-50 269,-50 269,-50 275,-50 281,-56 281,-62 281,-62 281,-74 281,-74 281,-80 275,-86 269,-86\"/>\n<text text-anchor=\"middle\" x=\"229\" y=\"-71.2\" font-family=\"DejaVu Sans\" font-size=\"11.00\" fill=\"#243431\">g9s22</text>\n<text text-anchor=\"middle\" x=\"229\" y=\"-59.2\" font-family=\"DejaVu Sans\" font-size=\"11.00\" fill=\"#243431\">SettingsActivity</text>\n</a>\n</g>\n</g>\n<!-- g8s20&#45;&gt;g9s22 -->\n<g id=\"edge1\" class=\"edge\">\n<title>g8s20&#45;&gt;g9s22</title>\n<g id=\"a_edge1\"><a xlink:href=\"#topology:idom\" xlink:title=\"idom\">\n<path fill=\"none\" stroke=\"#547d6d\" d=\"M104.09,-50.3C125.11,-53.3 149.55,-56.79 171.13,-59.88\"/>\n<polygon fill=\"#547d6d\" stroke=\"#547d6d\" points=\"171.13,-61.82 176.85,-60.69 171.68,-58.01 171.13,-61.82\"/>\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=\"-58.8\" font-family=\"DejaVu Sans\" font-size=\"9.00\">idom</text>\n</a>\n</g>\n</g>\n<!-- g9s23 -->\n<g id=\"state&#45;g9s23\" class=\"node\">\n<title>g9s23</title>\n<g id=\"a_state&#45;g9s23\"><a xlink:href=\"#state:g9s23\" xlink:title=\"g9s23\\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\">g9s23</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<!-- g8s20&#45;&gt;g9s23 -->\n<g id=\"edge2\" class=\"edge\">\n<title>g8s20&#45;&gt;g9s23</title>\n<g id=\"a_edge2\"><a xlink:href=\"#topology:idom\" xlink:title=\"idom\">\n<path fill=\"none\" stroke=\"#547d6d\" d=\"M104.09,-35.7C125.11,-32.7 149.55,-29.21 171.13,-26.12\"/>\n<polygon fill=\"#547d6d\" stroke=\"#547d6d\" points=\"171.68,-27.99 176.85,-25.31 171.13,-24.18 171.68,-27.99\"/>\n</a>\n</g>\n<g id=\"a_edge2&#45;label\"><a xlink:href=\"#topology:idom\" xlink:title=\"idom\">\n<text text-anchor=\"middle\" x=\"140.5\" y=\"-33.8\" font-family=\"DejaVu Sans\" font-size=\"9.00\">idom</text>\n</a>\n</g>\n</g>\n</g>\n</svg>\n"}