{"id":"wikipedia-Rep1-g42s213","app":"wikipedia","rep":"Rep1","header":"g42s213","title":"Search 开启先于语言/namespace 操作","pinned_arrival":"g53e587:697","arrival_count":4,"primary_non_singleton":true,"header_record":{"app":"wikipedia","rep":"Rep1","header":"g42s213","activity":"org.wikipedia.search.SearchActivity","cohort":"primary_non_singleton","region_size":4,"strict_descendants":3,"members":["g40s209","g41s211","g42s213","g55s301"],"incoming_topology_edges":6,"external_topology_edges":5,"topology_external_source_states":["g38s204","g38s205","g41s212","g53s284","g55s300"],"confirmed_final_arrivals":4,"external_confirmed_arrivals":4,"internal_return_arrivals":0,"self_loop_arrivals":0,"unprojected_same_named_target_records":1,"unprojected_transition_ids":["g54e653:763"],"observed_external_source_states":["g38s204","g41s212","g53s284"],"observed_external_source_state_count":3,"direct_external_category_executions":{"UNKNOWN":3,"Ⅲ":1},"all_arrival_category_executions":{"UNKNOWN":3,"Ⅲ":1},"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":"wikipedia-Rep1:g42s213:g53e587:697","app":"wikipedia","rep":"Rep1","header":"g42s213","region_size":4,"cohort":"primary_non_singleton","kind":"external","transition_id":"g53e587:697","order":696,"event_line":1656,"version":53,"source_state":"g41s212","source_gui_id":921,"target_gui_id":922,"direct_category":"UNKNOWN","direct_function":null,"direct_local_id":"wikipedia-Rep1-l26bb821a4157a7","history_available":12,"history_stop":"abstraction_version_changed","path_transition_ids":["g53e581:686","g53e582:687","g52e578:688","g53e581:689","g53e583:690","g52e578:691","g53e581:692","g53e584:693","g48e493:694","g53e585:695","g53e586:696","g53e587:697"],"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_8e5338167a1a4ead9f1ec0bf8afaa13d/attempt_188e626550a144dcb87ee865c695eb57/raw/device-output/native/sata-org.wikipedia-ape-sata-running-minutes-60/jev-events.jsonl"},{"id":"wikipedia-Rep1:g42s213:g53e587:714","app":"wikipedia","rep":"Rep1","header":"g42s213","region_size":4,"cohort":"primary_non_singleton","kind":"external","transition_id":"g53e587:714","order":713,"event_line":1692,"version":53,"source_state":"g41s212","source_gui_id":938,"target_gui_id":939,"direct_category":"UNKNOWN","direct_function":null,"direct_local_id":"wikipedia-Rep1-l1e0c4297a3523f","history_available":20,"history_stop":"depth_limit","path_transition_ids":["g53e585:695","g53e586:696","g53e587:697","g53e588:698","g53e589:699","g53e590:700","g53e591:701","g53e592:702","g53e593:703","g53e594:704","g53e595:705","g53e596:706","g53e597:707","g53e598:708","g53e599:709","g53e600:710","g53e601:711","g53e602:712","g53e603:713","g53e587:714"],"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_8e5338167a1a4ead9f1ec0bf8afaa13d/attempt_188e626550a144dcb87ee865c695eb57/raw/device-output/native/sata-org.wikipedia-ape-sata-running-minutes-60/jev-events.jsonl"},{"id":"wikipedia-Rep1:g42s213:g54e651:761","app":"wikipedia","rep":"Rep1","header":"g42s213","region_size":4,"cohort":"primary_non_singleton","kind":"external","transition_id":"g54e651:761","order":760,"event_line":1804,"version":54,"source_state":"g38s204","source_gui_id":994,"target_gui_id":995,"direct_category":"Ⅲ","direct_function":null,"direct_local_id":"wikipedia-Rep1-l7135e372e3ec81","history_available":20,"history_stop":"depth_limit","path_transition_ids":["g54e633:742","g54e634:743","g54e635:744","g54e636:745","g54e637:746","g54e638:747","g54e639:748","g54e640:749","g54e641:750","g54e642:751","g54e643:752","g54e644:753","g54e636:754","g54e645:755","g54e646:756","g54e647:757","g54e648:758","g54e649:759","g54e650:760","g54e651:761"],"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_8e5338167a1a4ead9f1ec0bf8afaa13d/attempt_188e626550a144dcb87ee865c695eb57/raw/device-output/native/sata-org.wikipedia-ape-sata-running-minutes-60/jev-events.jsonl"},{"id":"wikipedia-Rep1:g42s213:g55e657:767","app":"wikipedia","rep":"Rep1","header":"g42s213","region_size":4,"cohort":"primary_non_singleton","kind":"external","transition_id":"g55e657:767","order":766,"event_line":1820,"version":55,"source_state":"g53s284","source_gui_id":1000,"target_gui_id":1001,"direct_category":"UNKNOWN","direct_function":null,"direct_local_id":"wikipedia-Rep1-l869d3660e02ddf","history_available":4,"history_stop":"abstraction_version_changed","path_transition_ids":["g55e654:764","g55e655:765","g55e656:766","g55e657:767"],"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_8e5338167a1a4ead9f1ec0bf8afaa13d/attempt_188e626550a144dcb87ee865c695eb57/raw/device-output/native/sata-org.wikipedia-ape-sata-running-minutes-60/jev-events.jsonl"}],"candidates":[{"arrival_id":"wikipedia-Rep1:g42s213:g53e587:697","arrival_transition":"g53e587:697","arrival_kind":"external","entry_transition":"g53e586:696","distance":2,"local_id":"wikipedia-Rep1-lacdc60dd41736f","source_state":"g3s18","model_action":"g3a188","function":"wikipedia.global-search","family":"wikipedia.global-search","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":["g53e586:696","g53e587:697"]},{"arrival_id":"wikipedia-Rep1:g42s213:g53e587:697","arrival_transition":"g53e587:697","arrival_kind":"external","entry_transition":"g48e493:694","distance":4,"local_id":"wikipedia-Rep1-l5a9c6beda35be4","source_state":"g3s20","model_action":"g3a212","function":"wikipedia.article-languages","family":"wikipedia.article-languages","verdict":"REJECTED","reason":"intervening_different_independent_entry:g53e586:696","entry_final_exact":false,"entire_path_final_exact":false,"path_transition_ids":["g48e493:694","g53e585:695","g53e586:696","g53e587:697"]},{"arrival_id":"wikipedia-Rep1:g42s213:g53e587:697","arrival_transition":"g53e587:697","arrival_kind":"external","entry_transition":"g53e581:692","distance":6,"local_id":"wikipedia-Rep1-l698863a80e92f8","source_state":"g38s200","model_action":"g38a2324","function":"wikipedia.search-language-LangLinksActivity","family":"wikipedia.search-language-LangLinksActivity","verdict":"REJECTED","reason":"intervening_different_independent_entry:g48e493:694","entry_final_exact":false,"entire_path_final_exact":false,"path_transition_ids":["g53e581:692","g53e584:693","g48e493:694","g53e585:695","g53e586:696","g53e587:697"]},{"arrival_id":"wikipedia-Rep1:g42s213:g53e587:697","arrival_transition":"g53e587:697","arrival_kind":"external","entry_transition":"g52e578:691","distance":7,"local_id":"wikipedia-Rep1-l5a9c6beda35be4","source_state":"g3s20","model_action":"g3a212","function":"wikipedia.article-languages","family":"wikipedia.article-languages","verdict":"REJECTED","reason":"intervening_different_independent_entry:g53e581:692","entry_final_exact":false,"entire_path_final_exact":false,"path_transition_ids":["g52e578:691","g53e581:692","g53e584:693","g48e493:694","g53e585:695","g53e586:696","g53e587:697"]},{"arrival_id":"wikipedia-Rep1:g42s213:g53e587:697","arrival_transition":"g53e587:697","arrival_kind":"external","entry_transition":"g53e581:689","distance":9,"local_id":"wikipedia-Rep1-l698863a80e92f8","source_state":"g38s200","model_action":"g38a2324","function":"wikipedia.search-language-LangLinksActivity","family":"wikipedia.search-language-LangLinksActivity","verdict":"REJECTED","reason":"intervening_different_independent_entry:g52e578:691","entry_final_exact":false,"entire_path_final_exact":false,"path_transition_ids":["g53e581:689","g53e583:690","g52e578:691","g53e581:692","g53e584:693","g48e493:694","g53e585:695","g53e586:696","g53e587:697"]},{"arrival_id":"wikipedia-Rep1:g42s213:g53e587:697","arrival_transition":"g53e587:697","arrival_kind":"external","entry_transition":"g52e578:688","distance":10,"local_id":"wikipedia-Rep1-l5a9c6beda35be4","source_state":"g3s20","model_action":"g3a212","function":"wikipedia.article-languages","family":"wikipedia.article-languages","verdict":"REJECTED","reason":"intervening_different_independent_entry:g53e581:689","entry_final_exact":false,"entire_path_final_exact":false,"path_transition_ids":["g52e578:688","g53e581:689","g53e583:690","g52e578:691","g53e581:692","g53e584:693","g48e493:694","g53e585:695","g53e586:696","g53e587:697"]},{"arrival_id":"wikipedia-Rep1:g42s213:g53e587:697","arrival_transition":"g53e587:697","arrival_kind":"external","entry_transition":"g53e581:686","distance":12,"local_id":"wikipedia-Rep1-l698863a80e92f8","source_state":"g38s200","model_action":"g38a2324","function":"wikipedia.search-language-LangLinksActivity","family":"wikipedia.search-language-LangLinksActivity","verdict":"REJECTED","reason":"intervening_different_independent_entry:g52e578:688","entry_final_exact":false,"entire_path_final_exact":false,"path_transition_ids":["g53e581:686","g53e582:687","g52e578:688","g53e581:689","g53e583:690","g52e578:691","g53e581:692","g53e584:693","g48e493:694","g53e585:695","g53e586:696","g53e587:697"]},{"arrival_id":"wikipedia-Rep1:g42s213:g53e587:714","arrival_transition":"g53e587:714","arrival_kind":"external","entry_transition":"g53e602:712","distance":3,"local_id":"wikipedia-Rep1-la4e0e41624b188","source_state":"g4s37","model_action":"g4a371","function":"wikipedia.global-search","family":"wikipedia.global-search","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":["g53e602:712","g53e603:713","g53e587:714"]},{"arrival_id":"wikipedia-Rep1:g42s213:g53e587:714","arrival_transition":"g53e587:714","arrival_kind":"external","entry_transition":"g53e590:700","distance":15,"local_id":"wikipedia-Rep1-l18fe6a8b0e38ee","source_state":"g3s20","model_action":"g3a207","function":"wikipedia.global-search","family":"wikipedia.global-search","verdict":"REJECTED","reason":"function_exit_before_header:outside_PageActivity:g53e601:711","entry_final_exact":true,"entire_path_final_exact":true,"path_transition_ids":["g53e590:700","g53e591:701","g53e592:702","g53e593:703","g53e594:704","g53e595:705","g53e596:706","g53e597:707","g53e598:708","g53e599:709","g53e600:710","g53e601:711","g53e602:712","g53e603:713","g53e587:714"]},{"arrival_id":"wikipedia-Rep1:g42s213:g53e587:714","arrival_transition":"g53e587:714","arrival_kind":"external","entry_transition":"g53e586:696","distance":19,"local_id":"wikipedia-Rep1-lacdc60dd41736f","source_state":"g3s18","model_action":"g3a188","function":"wikipedia.global-search","family":"wikipedia.global-search","verdict":"REJECTED","reason":"function_exit_before_header:outside_PageActivity:g53e589:699","entry_final_exact":true,"entire_path_final_exact":true,"path_transition_ids":["g53e586:696","g53e587:697","g53e588:698","g53e589:699","g53e590:700","g53e591:701","g53e592:702","g53e593:703","g53e594:704","g53e595:705","g53e596:706","g53e597:707","g53e598:708","g53e599:709","g53e600:710","g53e601:711","g53e602:712","g53e603:713","g53e587:714"]},{"arrival_id":"wikipedia-Rep1:g42s213:g54e651:761","arrival_transition":"g54e651:761","arrival_kind":"external","entry_transition":"g54e650:760","distance":2,"local_id":"wikipedia-Rep1-lf0f109d4bb357d","source_state":"g36s187","model_action":"g36a2151","function":"wikipedia.global-search","family":"wikipedia.global-search","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":["g54e650:760","g54e651:761"]},{"arrival_id":"wikipedia-Rep1:g42s213:g54e651:761","arrival_transition":"g54e651:761","arrival_kind":"external","entry_transition":"g54e639:748","distance":14,"local_id":"wikipedia-Rep1-ld96d890b2d7bd3","source_state":"g54s294","model_action":"g54a3354","function":"wikipedia.tab-manager","family":"wikipedia.tab-manager","verdict":"REJECTED","reason":"intervening_different_independent_entry:g54e650:760","entry_final_exact":true,"entire_path_final_exact":false,"path_transition_ids":["g54e639:748","g54e640:749","g54e641:750","g54e642:751","g54e643:752","g54e644:753","g54e636:754","g54e645:755","g54e646:756","g54e647:757","g54e648:758","g54e649:759","g54e650:760","g54e651:761"]},{"arrival_id":"wikipedia-Rep1:g42s213:g54e651:761","arrival_transition":"g54e651:761","arrival_kind":"external","entry_transition":"g54e638:747","distance":15,"local_id":"wikipedia-Rep1-l4a01a33a1a4d48","source_state":"g54s294","model_action":"g54a3352","function":"wikipedia.global-search","family":"wikipedia.global-search","verdict":"REJECTED","reason":"entry_did_not_observe_function:outside_PageActivity:g54e638:747","entry_final_exact":true,"entire_path_final_exact":false,"path_transition_ids":["g54e638:747","g54e639:748","g54e640:749","g54e641:750","g54e642:751","g54e643:752","g54e644:753","g54e636:754","g54e645:755","g54e646:756","g54e647:757","g54e648:758","g54e649:759","g54e650:760","g54e651:761"]},{"arrival_id":"wikipedia-Rep1:g42s213:g55e657:767","arrival_transition":"g55e657:767","arrival_kind":"external","entry_transition":"g55e655:765","distance":3,"local_id":"wikipedia-Rep1-lf0f109d4bb357d","source_state":"g36s187","model_action":"g36a2151","function":"wikipedia.global-search","family":"wikipedia.global-search","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":["g55e655:765","g55e656:766","g55e657:767"]}],"after":{"wikipedia-Rep1:g42s213:g53e587:697":{"transition_ids":["g53e588:698","g53e589:699","g53e590:700","g53e591:701","g53e592:702"],"stop":"five_step_limit"},"wikipedia-Rep1:g42s213:g53e587:714":{"transition_ids":["g53e604:715","g53e605:716","g53e606:717","g53e607:718","g53e608:719"],"stop":"five_step_limit"},"wikipedia-Rep1:g42s213:g54e651:761":{"transition_ids":["g54e652:762","g54e653:763"],"stop":"abstraction_version_changed"},"wikipedia-Rep1:g42s213:g55e657:767":{"transition_ids":["g55e658:768","g55e659:769","g55e660:770","g55e661:771","g55e662:772"],"stop":"five_step_limit"}},"topology_incoming":[{"id":"g55e653","source":"g55s300","target":"g42s213","action":"g55a3412","action_fingerprint":"type=MODEL_CLICK|activity=org.wikipedia.settings.languages.WikipediaLanguagesActivity|class=android.widget.ImageButton|text=#547956c0|resource_id=|bounds=0,146,147,293","target_activity":"org.wikipedia.search.SearchActivity","type":"NEW_ACTION","visits":41,"is_circle":false,"first_seen":768,"last_seen":768,"confirmed_final_executions":0,"relation":"external"},{"id":"g55e657","source":"g53s284","target":"g42s213","action":"g53a3224","action_fingerprint":"type=MODEL_CLICK|activity=org.wikipedia.search.SearchActivity|class=android.widget.TextView|text=-35 byte|resource_id=|bounds=0,704,1080,830","target_activity":"org.wikipedia.search.SearchActivity","type":"NEW_ACTION","visits":40,"is_circle":false,"first_seen":905,"last_seen":905,"confirmed_final_executions":1,"relation":"external"},{"id":"g42e389","source":"g38s205","target":"g42s213","action":"g38a2378","action_fingerprint":"type=MODEL_CLICK|activity=org.wikipedia.search.SearchActivity|class=android.widget.AutoCompleteTextView|text=Search W|resource_id=org.wikipedia:id/search_src_text|bounds=168,172,1054,266","target_activity":"org.wikipedia.search.SearchActivity","type":"NEW_ACTION","visits":54,"is_circle":false,"first_seen":443,"last_seen":443,"confirmed_final_executions":0,"relation":"external"},{"id":"g42e390","source":"g42s213","target":"g42s213","action":"g42a2518","action_fingerprint":"type=MODEL_CLICK|activity=org.wikipedia.search.SearchActivity|class=android.widget.AutoCompleteTextView|text=-35 byte|resource_id=org.wikipedia:id/search_src_text|bounds=168,172,949,266","target_activity":"org.wikipedia.search.SearchActivity","type":"NEW_ACTION","visits":54,"is_circle":true,"first_seen":444,"last_seen":444,"confirmed_final_executions":0,"relation":"self_loop"},{"id":"g53e587","source":"g41s212","target":"g42s213","action":"g41a2512","action_fingerprint":"type=MODEL_CLICK|activity=org.wikipedia.search.SearchActivity|class=android.widget.TextView|text=:|resource_id=org.wikipedia:id/namespaceText|bounds=383,2211,435,2337","target_activity":"org.wikipedia.search.SearchActivity","type":"EXISTING","visits":84,"is_circle":false,"first_seen":800,"last_seen":817,"confirmed_final_executions":2,"relation":"external"},{"id":"g54e651","source":"g38s204","target":"g42s213","action":"g38a2369","action_fingerprint":"type=MODEL_CLICK|activity=org.wikipedia.search.SearchActivity|class=android.widget.AutoCompleteTextView|text=Search W|resource_id=org.wikipedia:id/search_src_text|bounds=168,172,1054,266","target_activity":"org.wikipedia.search.SearchActivity","type":"NEW_ACTION","visits":41,"is_circle":false,"first_seen":881,"last_seen":881,"confirmed_final_executions":1,"relation":"external"}],"graph_history":"<svg width=\"1154pt\" height=\"220pt\"\n viewBox=\"0.00 0.00 1154.20 220.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 198.6)\">\n<title>G</title>\n<!-- g36s187 -->\n<g id=\"state&#45;g36s187\" class=\"node\">\n<title>g36s187</title>\n<g id=\"a_state&#45;g36s187\"><a xlink:href=\"#state:g36s187\" xlink:title=\"g36s187\\nPageActivity\">\n<path fill=\"#d5e3ed\" stroke=\"#829291\" d=\"M73,-144C73,-144 12,-144 12,-144 6,-144 0,-138 0,-132 0,-132 0,-120 0,-120 0,-114 6,-108 12,-108 12,-108 73,-108 73,-108 79,-108 85,-114 85,-120 85,-120 85,-132 85,-132 85,-138 79,-144 73,-144\"/>\n<text text-anchor=\"middle\" x=\"42.5\" y=\"-129.2\" font-family=\"DejaVu Sans\" font-size=\"11.00\" fill=\"#243431\">g36s187</text>\n<text text-anchor=\"middle\" x=\"42.5\" y=\"-117.2\" font-family=\"DejaVu Sans\" font-size=\"11.00\" fill=\"#243431\">PageActivity</text>\n</a>\n</g>\n</g>\n<!-- g38s204 -->\n<g id=\"state&#45;g38s204\" class=\"node\">\n<title>g38s204</title>\n<g id=\"a_state&#45;g38s204\"><a xlink:href=\"#state:g38s204\" xlink:title=\"g38s204\\nSearchActivity\">\n<path fill=\"#d5e3ed\" stroke=\"#829291\" d=\"M401,-151C401,-151 329,-151 329,-151 323,-151 317,-145 317,-139 317,-139 317,-127 317,-127 317,-121 323,-115 329,-115 329,-115 401,-115 401,-115 407,-115 413,-121 413,-127 413,-127 413,-139 413,-139 413,-145 407,-151 401,-151\"/>\n<text text-anchor=\"middle\" x=\"365\" y=\"-136.2\" font-family=\"DejaVu Sans\" font-size=\"11.00\" fill=\"#243431\">g38s204</text>\n<text text-anchor=\"middle\" x=\"365\" y=\"-124.2\" font-family=\"DejaVu Sans\" font-size=\"11.00\" fill=\"#243431\">SearchActivity</text>\n</a>\n</g>\n</g>\n<!-- g36s187&#45;&gt;g38s204 -->\n<g id=\"edge5\" class=\"edge\">\n<title>g36s187&#45;&gt;g38s204</title>\n<g id=\"a_edge5\"><a xlink:href=\"#event:g54e650:760\" xlink:title=\"Search W ×1\">\n<path fill=\"none\" stroke=\"#26728f\" stroke-width=\"2\" d=\"M85.07,-126.91C142.94,-128.17 247.8,-130.46 311.15,-131.85\"/>\n<polygon fill=\"#26728f\" stroke=\"#26728f\" stroke-width=\"2\" points=\"311.23,-133.77 316.77,-131.97 311.32,-129.92 311.23,-133.77\"/>\n</a>\n</g>\n<g id=\"a_edge5&#45;label\"><a xlink:href=\"#event:g54e650:760\" xlink:title=\"Search W ×1\">\n<text text-anchor=\"middle\" x=\"140.5\" y=\"-130.8\" font-family=\"DejaVu Sans\" font-size=\"9.00\">Search W ×1</text>\n</a>\n</g>\n</g>\n<!-- g41s212 -->\n<g id=\"state&#45;g41s212\" class=\"node\">\n<title>g41s212</title>\n<g id=\"a_state&#45;g41s212\"><a xlink:href=\"#state:g41s212\" xlink:title=\"g41s212\\nSearchActivity\">\n<path fill=\"#d5e3ed\" stroke=\"#829291\" d=\"M280,-83C280,-83 208,-83 208,-83 202,-83 196,-77 196,-71 196,-71 196,-59 196,-59 196,-53 202,-47 208,-47 208,-47 280,-47 280,-47 286,-47 292,-53 292,-59 292,-59 292,-71 292,-71 292,-77 286,-83 280,-83\"/>\n<text text-anchor=\"middle\" x=\"244\" y=\"-68.2\" font-family=\"DejaVu Sans\" font-size=\"11.00\" fill=\"#243431\">g41s212</text>\n<text text-anchor=\"middle\" x=\"244\" y=\"-56.2\" font-family=\"DejaVu Sans\" font-size=\"11.00\" fill=\"#243431\">SearchActivity</text>\n</a>\n</g>\n</g>\n<!-- g36s187&#45;&gt;g41s212 -->\n<g id=\"edge7\" class=\"edge\">\n<title>g36s187&#45;&gt;g41s212</title>\n<g id=\"a_edge7\"><a xlink:href=\"#event:g55e655:765\" xlink:title=\"Search W ×1\">\n<path fill=\"none\" stroke=\"#26728f\" stroke-width=\"2\" d=\"M85.32,-113.21C115.89,-103.87 157.56,-91.12 190.39,-81.09\"/>\n<polygon fill=\"#26728f\" stroke=\"#26728f\" stroke-width=\"2\" points=\"191.3,-82.82 195.99,-79.37 190.17,-79.14 191.3,-82.82\"/>\n</a>\n</g>\n<g id=\"a_edge7&#45;label\"><a xlink:href=\"#event:g55e655:765\" xlink:title=\"Search W ×1\">\n<text text-anchor=\"middle\" x=\"140.5\" y=\"-106.8\" font-family=\"DejaVu Sans\" font-size=\"9.00\">Search W ×1</text>\n</a>\n</g>\n</g>\n<!-- g42s213 -->\n<g id=\"state&#45;g42s213\" class=\"node\">\n<title>g42s213</title>\n<g id=\"a_state&#45;g42s213\"><a xlink:href=\"#state:g42s213\" xlink:title=\"g42s213\\nSearchActivity\">\n<path fill=\"#e6b455\" stroke=\"#829291\" d=\"M723,-113C723,-113 651,-113 651,-113 645,-113 639,-107 639,-101 639,-101 639,-89 639,-89 639,-83 645,-77 651,-77 651,-77 723,-77 723,-77 729,-77 735,-83 735,-89 735,-89 735,-101 735,-101 735,-107 729,-113 723,-113\"/>\n<text text-anchor=\"middle\" x=\"687\" y=\"-98.2\" font-family=\"DejaVu Sans\" font-size=\"11.00\" fill=\"#243431\">g42s213</text>\n<text text-anchor=\"middle\" x=\"687\" y=\"-86.2\" font-family=\"DejaVu Sans\" font-size=\"11.00\" fill=\"#243431\">SearchActivity</text>\n</a>\n</g>\n</g>\n<!-- g38s204&#45;&gt;g42s213 -->\n<g id=\"edge6\" class=\"edge\">\n<title>g38s204&#45;&gt;g42s213</title>\n<g id=\"a_edge6\"><a xlink:href=\"#event:g54e651:761\" xlink:title=\"Search W ×1\">\n<path fill=\"none\" stroke=\"#26728f\" stroke-width=\"2\" d=\"M413.15,-128.48C463.1,-123.54 544.22,-115.13 614,-106 620.27,-105.18 626.84,-104.26 633.35,-103.31\"/>\n<polygon fill=\"#26728f\" stroke=\"#26728f\" stroke-width=\"2\" points=\"633.63,-105.22 638.79,-102.51 633.07,-101.41 633.63,-105.22\"/>\n</a>\n</g>\n<g id=\"a_edge6&#45;label\"><a xlink:href=\"#event:g54e651:761\" xlink:title=\"Search W ×1\">\n<text text-anchor=\"middle\" x=\"486\" y=\"-127.8\" font-family=\"DejaVu Sans\" font-size=\"9.00\">Search W ×1</text>\n</a>\n</g>\n</g>\n<!-- g3s18 -->\n<g id=\"state&#45;g3s18\" class=\"node\">\n<title>g3s18</title>\n<g id=\"a_state&#45;g3s18\"><a xlink:href=\"#state:g3s18\" xlink:title=\"g3s18\\nPageActivity\">\n<path fill=\"#d5e3ed\" stroke=\"#829291\" d=\"M73,-86C73,-86 12,-86 12,-86 6,-86 0,-80 0,-74 0,-74 0,-62 0,-62 0,-56 6,-50 12,-50 12,-50 73,-50 73,-50 79,-50 85,-56 85,-62 85,-62 85,-74 85,-74 85,-80 79,-86 73,-86\"/>\n<text text-anchor=\"middle\" x=\"42.5\" y=\"-71.2\" font-family=\"DejaVu Sans\" font-size=\"11.00\" fill=\"#243431\">g3s18</text>\n<text text-anchor=\"middle\" x=\"42.5\" y=\"-59.2\" font-family=\"DejaVu Sans\" font-size=\"11.00\" fill=\"#243431\">PageActivity</text>\n</a>\n</g>\n</g>\n<!-- g3s18&#45;&gt;g41s212 -->\n<g id=\"edge1\" class=\"edge\">\n<title>g3s18&#45;&gt;g41s212</title>\n<g id=\"a_edge1\"><a xlink:href=\"#event:g53e586:696\" xlink:title=\"Search W ×1\">\n<path fill=\"none\" stroke=\"#26728f\" stroke-width=\"2\" d=\"M85.32,-67.37C115.89,-66.91 157.56,-66.28 190.39,-65.79\"/>\n<polygon fill=\"#26728f\" stroke=\"#26728f\" stroke-width=\"2\" points=\"190.52,-67.71 195.99,-65.71 190.46,-63.86 190.52,-67.71\"/>\n</a>\n</g>\n<g id=\"a_edge1&#45;label\"><a xlink:href=\"#event:g53e586:696\" xlink:title=\"Search W ×1\">\n<text text-anchor=\"middle\" x=\"140.5\" y=\"-69.8\" font-family=\"DejaVu Sans\" font-size=\"9.00\">Search W ×1</text>\n</a>\n</g>\n</g>\n<!-- g40s209 -->\n<g id=\"state&#45;g40s209\" class=\"node\">\n<title>g40s209</title>\n<g id=\"a_state&#45;g40s209\"><a xlink:href=\"#state:g40s209\" xlink:title=\"g40s209\\nSearchActivity\">\n<path fill=\"#cde4d9\" stroke=\"#829291\" d=\"M911,-149C911,-149 839,-149 839,-149 833,-149 827,-143 827,-137 827,-137 827,-125 827,-125 827,-119 833,-113 839,-113 839,-113 911,-113 911,-113 917,-113 923,-119 923,-125 923,-125 923,-137 923,-137 923,-143 917,-149 911,-149\"/>\n<text text-anchor=\"middle\" x=\"875\" y=\"-134.2\" font-family=\"DejaVu Sans\" font-size=\"11.00\" fill=\"#243431\">g40s209</text>\n<text text-anchor=\"middle\" x=\"875\" y=\"-122.2\" font-family=\"DejaVu Sans\" font-size=\"11.00\" fill=\"#243431\">SearchActivity</text>\n</a>\n</g>\n</g>\n<!-- g41s211 -->\n<g id=\"state&#45;g41s211\" class=\"node\">\n<title>g41s211</title>\n<g id=\"a_state&#45;g41s211\"><a xlink:href=\"#state:g41s211\" xlink:title=\"g41s211\\nSearchActivity\">\n<path fill=\"#cde4d9\" stroke=\"#829291\" d=\"M1099,-149C1099,-149 1027,-149 1027,-149 1021,-149 1015,-143 1015,-137 1015,-137 1015,-125 1015,-125 1015,-119 1021,-113 1027,-113 1027,-113 1099,-113 1099,-113 1105,-113 1111,-119 1111,-125 1111,-125 1111,-137 1111,-137 1111,-143 1105,-149 1099,-149\"/>\n<text text-anchor=\"middle\" x=\"1063\" y=\"-134.2\" font-family=\"DejaVu Sans\" font-size=\"11.00\" fill=\"#243431\">g41s211</text>\n<text text-anchor=\"middle\" x=\"1063\" y=\"-122.2\" font-family=\"DejaVu Sans\" font-size=\"11.00\" fill=\"#243431\">SearchActivity</text>\n</a>\n</g>\n</g>\n<!-- g40s209&#45;&gt;g41s211 -->\n<g id=\"edge12\" class=\"edge\">\n<title>g40s209&#45;&gt;g41s211</title>\n<g id=\"a_edge12\"><a xlink:href=\"#topology:g40a2438\" xlink:title=\"g41e381\">\n<path fill=\"none\" stroke=\"#9d9e99\" stroke-dasharray=\"5,2\" d=\"M923.42,-131C949.64,-131 982.29,-131 1009.32,-131\"/>\n<polygon fill=\"#9d9e99\" stroke=\"#9d9e99\" points=\"1009.49,-132.93 1014.99,-131 1009.49,-129.08 1009.49,-132.93\"/>\n</a>\n</g>\n<g id=\"a_edge12&#45;label\"><a xlink:href=\"#topology:g40a2438\" xlink:title=\"g41e381\">\n<text text-anchor=\"middle\" x=\"969\" y=\"-133.8\" font-family=\"DejaVu Sans\" font-size=\"9.00\">g41e381</text>\n</a>\n</g>\n</g>\n<!-- g41s211&#45;&gt;g41s211 -->\n<g id=\"edge11\" class=\"edge\">\n<title>g41s211&#45;&gt;g41s211</title>\n<g id=\"a_edge11\"><a xlink:href=\"#topology:g41a2485\" xlink:title=\"g41e382\">\n<path fill=\"none\" stroke=\"#9d9e99\" stroke-dasharray=\"5,2\" d=\"M1045.53,-149.09C1044.33,-156.62 1050.15,-163 1063,-163 1072.44,-163 1078.09,-159.56 1079.94,-154.75\"/>\n<polygon fill=\"#9d9e99\" stroke=\"#9d9e99\" points=\"1081.88,-154.75 1080.47,-149.09 1078.04,-154.39 1081.88,-154.75\"/>\n</a>\n</g>\n<g id=\"a_edge11&#45;label\"><a xlink:href=\"#topology:g41a2485\" xlink:title=\"g41e382\">\n<text text-anchor=\"middle\" x=\"1063\" y=\"-165.8\" font-family=\"DejaVu Sans\" font-size=\"9.00\">g41e382</text>\n</a>\n</g>\n</g>\n<!-- g41s212&#45;&gt;g41s212 -->\n<g id=\"edge4\" class=\"edge\">\n<title>g41s212&#45;&gt;g41s212</title>\n<g id=\"a_edge4\"><a xlink:href=\"#event:g53e603:713\" xlink:title=\"MODEL_CLICK ×1\">\n<path fill=\"none\" stroke=\"#26728f\" stroke-width=\"2\" d=\"M225.04,-83.09C223.74,-90.62 230.05,-97 244,-97 254.24,-97 260.37,-93.56 262.38,-88.75\"/>\n<polygon fill=\"#26728f\" stroke=\"#26728f\" stroke-width=\"2\" points=\"264.32,-88.76 262.96,-83.09 260.49,-88.37 264.32,-88.76\"/>\n</a>\n</g>\n<g id=\"a_edge4&#45;label\"><a xlink:href=\"#event:g53e603:713\" xlink:title=\"MODEL_CLICK ×1\">\n<text text-anchor=\"middle\" x=\"244\" y=\"-99.8\" font-family=\"DejaVu Sans\" font-size=\"9.00\">MODEL_CLICK ×1</text>\n</a>\n</g>\n</g>\n<!-- g41s212&#45;&gt;g42s213 -->\n<g id=\"edge2\" class=\"edge\">\n<title>g41s212&#45;&gt;g42s213</title>\n<g id=\"a_edge2\"><a xlink:href=\"#event:g53e587:697\" xlink:title=\": ×2\">\n<path fill=\"none\" stroke=\"#26728f\" stroke-width=\"2\" d=\"M292.22,-70.6C300.47,-71.47 308.98,-72.32 317,-73 429.26,-82.58 561.09,-89.37 632.85,-92.69\"/>\n<polygon fill=\"#26728f\" stroke=\"#26728f\" stroke-width=\"2\" points=\"633.18,-94.63 638.76,-92.96 633.36,-90.78 633.18,-94.63\"/>\n</a>\n</g>\n<g id=\"a_edge2&#45;label\"><a xlink:href=\"#event:g53e587:697\" xlink:title=\": ×2\">\n<text text-anchor=\"middle\" x=\"486\" y=\"-89.8\" font-family=\"DejaVu Sans\" font-size=\"9.00\">: ×2</text>\n</a>\n</g>\n</g>\n<!-- g53s284 -->\n<g id=\"state&#45;g53s284\" class=\"node\">\n<title>g53s284</title>\n<g id=\"a_state&#45;g53s284\"><a xlink:href=\"#state:g53s284\" xlink:title=\"g53s284\\nSearchActivity\">\n<path fill=\"#d5e3ed\" stroke=\"#829291\" d=\"M522,-67C522,-67 450,-67 450,-67 444,-67 438,-61 438,-55 438,-55 438,-43 438,-43 438,-37 444,-31 450,-31 450,-31 522,-31 522,-31 528,-31 534,-37 534,-43 534,-43 534,-55 534,-55 534,-61 528,-67 522,-67\"/>\n<text text-anchor=\"middle\" x=\"486\" y=\"-52.2\" font-family=\"DejaVu Sans\" font-size=\"11.00\" fill=\"#243431\">g53s284</text>\n<text text-anchor=\"middle\" x=\"486\" y=\"-40.2\" font-family=\"DejaVu Sans\" font-size=\"11.00\" fill=\"#243431\">SearchActivity</text>\n</a>\n</g>\n</g>\n<!-- g41s212&#45;&gt;g53s284 -->\n<g id=\"edge8\" class=\"edge\">\n<title>g41s212&#45;&gt;g53s284</title>\n<g id=\"a_edge8\"><a xlink:href=\"#event:g55e656:766\" xlink:title=\"MODEL_BACK ×1\">\n<path fill=\"none\" stroke=\"#26728f\" stroke-width=\"2\" d=\"M292.13,-61.86C332.5,-59.17 390.58,-55.29 432.44,-52.5\"/>\n<polygon fill=\"#26728f\" stroke=\"#26728f\" stroke-width=\"2\" points=\"432.62,-54.42 437.98,-52.13 432.36,-50.58 432.62,-54.42\"/>\n</a>\n</g>\n<g id=\"a_edge8&#45;label\"><a xlink:href=\"#event:g55e656:766\" xlink:title=\"MODEL_BACK ×1\">\n<text text-anchor=\"middle\" x=\"365\" y=\"-62.8\" font-family=\"DejaVu Sans\" font-size=\"9.00\">MODEL_BACK ×1</text>\n</a>\n</g>\n</g>\n<!-- g42s213&#45;&gt;g40s209 -->\n<g id=\"edge14\" class=\"edge\">\n<title>g42s213&#45;&gt;g40s209</title>\n<g id=\"a_edge14\"><a xlink:href=\"#topology:g42a2519\" xlink:title=\"g42e391\">\n<path fill=\"none\" stroke=\"#9d9e99\" stroke-dasharray=\"5,2\" d=\"M735.42,-104.18C761.64,-109.25 794.29,-115.57 821.32,-120.8\"/>\n<polygon fill=\"#9d9e99\" stroke=\"#9d9e99\" points=\"821.23,-122.75 826.99,-121.9 821.96,-118.97 821.23,-122.75\"/>\n</a>\n</g>\n<g id=\"a_edge14&#45;label\"><a xlink:href=\"#topology:g42a2519\" xlink:title=\"g42e391\">\n<text text-anchor=\"middle\" x=\"781\" y=\"-118.8\" font-family=\"DejaVu Sans\" font-size=\"9.00\">g42e391</text>\n</a>\n</g>\n</g>\n<!-- g42s213&#45;&gt;g42s213 -->\n<g id=\"edge13\" class=\"edge\">\n<title>g42s213&#45;&gt;g42s213</title>\n<g id=\"a_edge13\"><a xlink:href=\"#topology:g42a2518\" xlink:title=\"g42e390\">\n<path fill=\"none\" stroke=\"#9d9e99\" stroke-dasharray=\"5,2\" d=\"M669.53,-113.09C668.33,-120.62 674.15,-127 687,-127 696.44,-127 702.09,-123.56 703.94,-118.75\"/>\n<polygon fill=\"#9d9e99\" stroke=\"#9d9e99\" points=\"705.88,-118.75 704.47,-113.09 702.04,-118.39 705.88,-118.75\"/>\n</a>\n</g>\n<g id=\"a_edge13&#45;label\"><a xlink:href=\"#topology:g42a2518\" xlink:title=\"g42e390\">\n<text text-anchor=\"middle\" x=\"687\" y=\"-129.8\" font-family=\"DejaVu Sans\" font-size=\"9.00\">g42e390</text>\n</a>\n</g>\n</g>\n<!-- g55s301 -->\n<g id=\"state&#45;g55s301\" class=\"node\">\n<title>g55s301</title>\n<g id=\"a_state&#45;g55s301\"><a xlink:href=\"#state:g55s301\" xlink:title=\"g55s301\\nSearchActivity\">\n<path fill=\"#cde4d9\" stroke=\"#829291\" d=\"M911,-99C911,-99 839,-99 839,-99 833,-99 827,-93 827,-87 827,-87 827,-75 827,-75 827,-69 833,-63 839,-63 839,-63 911,-63 911,-63 917,-63 923,-69 923,-75 923,-75 923,-87 923,-87 923,-93 917,-99 911,-99\"/>\n<text text-anchor=\"middle\" x=\"875\" y=\"-84.2\" font-family=\"DejaVu Sans\" font-size=\"11.00\" fill=\"#243431\">g55s301</text>\n<text text-anchor=\"middle\" x=\"875\" y=\"-72.2\" font-family=\"DejaVu Sans\" font-size=\"11.00\" fill=\"#243431\">SearchActivity</text>\n</a>\n</g>\n</g>\n<!-- g42s213&#45;&gt;g55s301 -->\n<g id=\"edge10\" class=\"edge\">\n<title>g42s213&#45;&gt;g55s301</title>\n<g id=\"a_edge10\"><a xlink:href=\"#topology:g42a2521\" xlink:title=\"g55e658\">\n<path fill=\"none\" stroke=\"#9d9e99\" stroke-dasharray=\"5,2\" d=\"M735.42,-91.43C761.64,-89.46 794.29,-87 821.32,-84.97\"/>\n<polygon fill=\"#9d9e99\" stroke=\"#9d9e99\" points=\"821.65,-86.87 826.99,-84.54 821.36,-83.03 821.65,-86.87\"/>\n</a>\n</g>\n<g id=\"a_edge10&#45;label\"><a xlink:href=\"#topology:g42a2521\" xlink:title=\"g55e658\">\n<text text-anchor=\"middle\" x=\"781\" y=\"-91.8\" font-family=\"DejaVu Sans\" font-size=\"9.00\">g55e658</text>\n</a>\n</g>\n</g>\n<!-- g4s37 -->\n<g id=\"state&#45;g4s37\" class=\"node\">\n<title>g4s37</title>\n<g id=\"a_state&#45;g4s37\"><a xlink:href=\"#state:g4s37\" xlink:title=\"g4s37\\nPageActivity\">\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\">g4s37</text>\n<text text-anchor=\"middle\" x=\"42.5\" y=\"-9.2\" font-family=\"DejaVu Sans\" font-size=\"11.00\" fill=\"#243431\">PageActivity</text>\n</a>\n</g>\n</g>\n<!-- g4s37&#45;&gt;g41s212 -->\n<g id=\"edge3\" class=\"edge\">\n<title>g4s37&#45;&gt;g41s212</title>\n<g id=\"a_edge3\"><a xlink:href=\"#event:g53e602:712\" xlink:title=\"Search W ×1\">\n<path fill=\"none\" stroke=\"#26728f\" stroke-width=\"2\" d=\"M85.32,-27.85C115.89,-35.05 157.56,-44.87 190.39,-52.61\"/>\n<polygon fill=\"#26728f\" stroke=\"#26728f\" stroke-width=\"2\" points=\"190.2,-54.54 195.99,-53.93 191.08,-50.79 190.2,-54.54\"/>\n</a>\n</g>\n<g id=\"a_edge3&#45;label\"><a xlink:href=\"#event:g53e602:712\" xlink:title=\"Search W ×1\">\n<text text-anchor=\"middle\" x=\"140.5\" y=\"-50.8\" font-family=\"DejaVu Sans\" font-size=\"9.00\">Search W ×1</text>\n</a>\n</g>\n</g>\n<!-- g53s284&#45;&gt;g42s213 -->\n<g id=\"edge9\" class=\"edge\">\n<title>g53s284&#45;&gt;g42s213</title>\n<g id=\"a_edge9\"><a xlink:href=\"#event:g55e657:767\" xlink:title=\"&#45;35 byte ×1\">\n<path fill=\"none\" stroke=\"#26728f\" stroke-width=\"2\" d=\"M534.26,-57.26C558.26,-61.72 587.8,-67.61 614,-74 620.33,-75.54 626.93,-77.28 633.45,-79.09\"/>\n<polygon fill=\"#26728f\" stroke=\"#26728f\" stroke-width=\"2\" points=\"633.1,-80.98 638.91,-80.61 634.13,-77.28 633.1,-80.98\"/>\n</a>\n</g>\n<g id=\"a_edge9&#45;label\"><a xlink:href=\"#event:g55e657:767\" xlink:title=\"&#45;35 byte ×1\">\n<text text-anchor=\"middle\" x=\"586.5\" y=\"-76.8\" font-family=\"DejaVu Sans\" font-size=\"9.00\">&#45;35 byte ×1</text>\n</a>\n</g>\n</g>\n</g>\n</svg>\n","graph_tree":"<svg width=\"477pt\" height=\"129pt\"\n viewBox=\"0.00 0.00 477.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<!-- g40s209 -->\n<g id=\"state&#45;g40s209\" class=\"node\">\n<title>g40s209</title>\n<g id=\"a_state&#45;g40s209\"><a xlink:href=\"#state:g40s209\" xlink:title=\"g40s209\\nSearchActivity\">\n<path fill=\"#cde4d9\" stroke=\"#829291\" d=\"M253,-86C253,-86 181,-86 181,-86 175,-86 169,-80 169,-74 169,-74 169,-62 169,-62 169,-56 175,-50 181,-50 181,-50 253,-50 253,-50 259,-50 265,-56 265,-62 265,-62 265,-74 265,-74 265,-80 259,-86 253,-86\"/>\n<text text-anchor=\"middle\" x=\"217\" y=\"-71.2\" font-family=\"DejaVu Sans\" font-size=\"11.00\" fill=\"#243431\">g40s209</text>\n<text text-anchor=\"middle\" x=\"217\" y=\"-59.2\" font-family=\"DejaVu Sans\" font-size=\"11.00\" fill=\"#243431\">SearchActivity</text>\n</a>\n</g>\n</g>\n<!-- g41s211 -->\n<g id=\"state&#45;g41s211\" class=\"node\">\n<title>g41s211</title>\n<g id=\"a_state&#45;g41s211\"><a xlink:href=\"#state:g41s211\" xlink:title=\"g41s211\\nSearchActivity\">\n<path fill=\"#cde4d9\" stroke=\"#829291\" d=\"M422,-86C422,-86 350,-86 350,-86 344,-86 338,-80 338,-74 338,-74 338,-62 338,-62 338,-56 344,-50 350,-50 350,-50 422,-50 422,-50 428,-50 434,-56 434,-62 434,-62 434,-74 434,-74 434,-80 428,-86 422,-86\"/>\n<text text-anchor=\"middle\" x=\"386\" y=\"-71.2\" font-family=\"DejaVu Sans\" font-size=\"11.00\" fill=\"#243431\">g41s211</text>\n<text text-anchor=\"middle\" x=\"386\" y=\"-59.2\" font-family=\"DejaVu Sans\" font-size=\"11.00\" fill=\"#243431\">SearchActivity</text>\n</a>\n</g>\n</g>\n<!-- g40s209&#45;&gt;g41s211 -->\n<g id=\"edge3\" class=\"edge\">\n<title>g40s209&#45;&gt;g41s211</title>\n<g id=\"a_edge3\"><a xlink:href=\"#topology:idom\" xlink:title=\"idom\">\n<path fill=\"none\" stroke=\"#547d6d\" d=\"M265.41,-68C286.21,-68 310.71,-68 332.11,-68\"/>\n<polygon fill=\"#547d6d\" stroke=\"#547d6d\" points=\"332.26,-69.93 337.76,-68 332.26,-66.08 332.26,-69.93\"/>\n</a>\n</g>\n<g id=\"a_edge3&#45;label\"><a xlink:href=\"#topology:idom\" xlink:title=\"idom\">\n<text text-anchor=\"middle\" x=\"301.5\" y=\"-70.8\" font-family=\"DejaVu Sans\" font-size=\"9.00\">idom</text>\n</a>\n</g>\n</g>\n<!-- g42s213 -->\n<g id=\"state&#45;g42s213\" class=\"node\">\n<title>g42s213</title>\n<g id=\"a_state&#45;g42s213\"><a xlink:href=\"#state:g42s213\" xlink:title=\"g42s213\\nSearchActivity\">\n<path fill=\"#e6b455\" stroke=\"#829291\" d=\"M84,-50C84,-50 12,-50 12,-50 6,-50 0,-44 0,-38 0,-38 0,-26 0,-26 0,-20 6,-14 12,-14 12,-14 84,-14 84,-14 90,-14 96,-20 96,-26 96,-26 96,-38 96,-38 96,-44 90,-50 84,-50\"/>\n<text text-anchor=\"middle\" x=\"48\" y=\"-35.2\" font-family=\"DejaVu Sans\" font-size=\"11.00\" fill=\"#243431\">g42s213</text>\n<text text-anchor=\"middle\" x=\"48\" y=\"-23.2\" font-family=\"DejaVu Sans\" font-size=\"11.00\" fill=\"#243431\">SearchActivity</text>\n</a>\n</g>\n</g>\n<!-- g42s213&#45;&gt;g40s209 -->\n<g id=\"edge1\" class=\"edge\">\n<title>g42s213&#45;&gt;g40s209</title>\n<g id=\"a_edge1\"><a xlink:href=\"#topology:idom\" xlink:title=\"idom\">\n<path fill=\"none\" stroke=\"#547d6d\" d=\"M96.41,-42.22C117.3,-46.72 141.92,-52.03 163.38,-56.66\"/>\n<polygon fill=\"#547d6d\" stroke=\"#547d6d\" points=\"162.98,-58.54 168.76,-57.82 163.79,-54.78 162.98,-58.54\"/>\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=\"132.5\" y=\"-55.8\" font-family=\"DejaVu Sans\" font-size=\"9.00\">idom</text>\n</a>\n</g>\n</g>\n<!-- g55s301 -->\n<g id=\"state&#45;g55s301\" class=\"node\">\n<title>g55s301</title>\n<g id=\"a_state&#45;g55s301\"><a xlink:href=\"#state:g55s301\" xlink:title=\"g55s301\\nSearchActivity\">\n<path fill=\"#cde4d9\" stroke=\"#829291\" d=\"M253,-36C253,-36 181,-36 181,-36 175,-36 169,-30 169,-24 169,-24 169,-12 169,-12 169,-6 175,0 181,0 181,0 253,0 253,0 259,0 265,-6 265,-12 265,-12 265,-24 265,-24 265,-30 259,-36 253,-36\"/>\n<text text-anchor=\"middle\" x=\"217\" y=\"-21.2\" font-family=\"DejaVu Sans\" font-size=\"11.00\" fill=\"#243431\">g55s301</text>\n<text text-anchor=\"middle\" x=\"217\" y=\"-9.2\" font-family=\"DejaVu Sans\" font-size=\"11.00\" fill=\"#243431\">SearchActivity</text>\n</a>\n</g>\n</g>\n<!-- g42s213&#45;&gt;g55s301 -->\n<g id=\"edge2\" class=\"edge\">\n<title>g42s213&#45;&gt;g55s301</title>\n<g id=\"a_edge2\"><a xlink:href=\"#topology:idom\" xlink:title=\"idom\">\n<path fill=\"none\" stroke=\"#547d6d\" d=\"M96.41,-28.03C117.21,-26.28 141.71,-24.23 163.11,-22.43\"/>\n<polygon fill=\"#547d6d\" stroke=\"#547d6d\" points=\"163.44,-24.34 168.76,-21.96 163.12,-20.5 163.44,-24.34\"/>\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=\"132.5\" y=\"-28.8\" font-family=\"DejaVu Sans\" font-size=\"9.00\">idom</text>\n</a>\n</g>\n</g>\n</g>\n</svg>\n"}