{"id":"wikipedia-Rep2-g26s116","app":"wikipedia","rep":"Rep2","header":"g26s116","title":"主页 Search card → 横向语言操作 → Header","pinned_arrival":"g54e773:903","arrival_count":25,"primary_non_singleton":true,"header_record":{"app":"wikipedia","rep":"Rep2","header":"g26s116","activity":"org.wikipedia.search.SearchActivity","cohort":"primary_non_singleton","region_size":4,"strict_descendants":3,"members":["g26s116","g27s118","g70s323","g70s324"],"incoming_topology_edges":20,"external_topology_edges":14,"topology_external_source_states":["g13s71","g29s130","g39s177","g41s189","g44s214","g4s20","g4s25","g54s266","g68s317"],"confirmed_final_arrivals":25,"external_confirmed_arrivals":18,"internal_return_arrivals":0,"self_loop_arrivals":7,"unprojected_same_named_target_records":0,"unprojected_transition_ids":[],"observed_external_source_states":["g13s71","g29s130","g39s177","g41s189","g44s214","g4s20","g4s25","g54s266","g68s317"],"observed_external_source_state_count":9,"direct_external_category_executions":{"Ⅰ":7,"UNKNOWN":7,"Ⅱ":4},"all_arrival_category_executions":{"Ⅰ":7,"Ⅱ":6,"UNKNOWN":12},"direct_I_local_ids":["wikipedia-Rep2-l34368cc3f89f9d","wikipedia-Rep2-l46de598ebb364c","wikipedia-Rep2-l54563a781d30d5","wikipedia-Rep2-la705d9f12c75d6","wikipedia-Rep2-lbfc8cda4a16ae4","wikipedia-Rep2-ldf33e3c0a2091d"],"projection_selected":false,"nested_deferred_projection":false,"actual_online_selected":false,"status":"final_topology_retrospective_not_historical_online_dominator"},"arrivals":[{"id":"wikipedia-Rep2:g26s116:g26e214:230","app":"wikipedia","rep":"Rep2","header":"g26s116","region_size":4,"cohort":"primary_non_singleton","kind":"external","transition_id":"g26e214:230","order":229,"event_line":510,"version":26,"source_state":"g4s25","source_gui_id":324,"target_gui_id":325,"direct_category":"Ⅰ","direct_function":"wikipedia.global-search","direct_local_id":"wikipedia-Rep2-ldf33e3c0a2091d","history_available":16,"history_stop":"abstraction_version_changed","path_transition_ids":["g26e199:215","g26e200:216","g26e201:217","g26e202:218","g26e203:219","g26e204:220","g26e205:221","g26e206:222","g26e207:223","g26e208:224","g26e209:225","g26e210:226","g26e211:227","g26e212:228","g26e213:229","g26e214:230"],"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_8f9e0e03aff94363a3ae7757f17a7c14/attempt_71d585a136f244fbbafe0be57544ef6c/raw/device-output/native/sata-org.wikipedia-ape-sata-running-minutes-60/jev-events.jsonl"},{"id":"wikipedia-Rep2:g26s116:g26e215:231","app":"wikipedia","rep":"Rep2","header":"g26s116","region_size":4,"cohort":"primary_non_singleton","kind":"self_loop","transition_id":"g26e215:231","order":230,"event_line":512,"version":26,"source_state":"g26s116","source_gui_id":325,"target_gui_id":326,"direct_category":"Ⅱ","direct_function":null,"direct_local_id":"wikipedia-Rep2-l924c4b387b9514","history_available":17,"history_stop":"abstraction_version_changed","path_transition_ids":["g26e199:215","g26e200:216","g26e201:217","g26e202:218","g26e203:219","g26e204:220","g26e205:221","g26e206:222","g26e207:223","g26e208:224","g26e209:225","g26e210:226","g26e211:227","g26e212:228","g26e213:229","g26e214:230","g26e215:231"],"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_8f9e0e03aff94363a3ae7757f17a7c14/attempt_71d585a136f244fbbafe0be57544ef6c/raw/device-output/native/sata-org.wikipedia-ape-sata-running-minutes-60/jev-events.jsonl"},{"id":"wikipedia-Rep2:g26s116:g26e216:232","app":"wikipedia","rep":"Rep2","header":"g26s116","region_size":4,"cohort":"primary_non_singleton","kind":"self_loop","transition_id":"g26e216:232","order":231,"event_line":514,"version":26,"source_state":"g26s116","source_gui_id":326,"target_gui_id":327,"direct_category":"UNKNOWN","direct_function":null,"direct_local_id":"wikipedia-Rep2-l6201178acae301","history_available":18,"history_stop":"abstraction_version_changed","path_transition_ids":["g26e199:215","g26e200:216","g26e201:217","g26e202:218","g26e203:219","g26e204:220","g26e205:221","g26e206:222","g26e207:223","g26e208:224","g26e209:225","g26e210:226","g26e211:227","g26e212:228","g26e213:229","g26e214:230","g26e215:231","g26e216:232"],"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_8f9e0e03aff94363a3ae7757f17a7c14/attempt_71d585a136f244fbbafe0be57544ef6c/raw/device-output/native/sata-org.wikipedia-ape-sata-running-minutes-60/jev-events.jsonl"},{"id":"wikipedia-Rep2:g26s116:g26e217:233","app":"wikipedia","rep":"Rep2","header":"g26s116","region_size":4,"cohort":"primary_non_singleton","kind":"self_loop","transition_id":"g26e217:233","order":232,"event_line":516,"version":26,"source_state":"g26s116","source_gui_id":327,"target_gui_id":328,"direct_category":"UNKNOWN","direct_function":null,"direct_local_id":"wikipedia-Rep2-lb9e691c20cd23d","history_available":19,"history_stop":"abstraction_version_changed","path_transition_ids":["g26e199:215","g26e200:216","g26e201:217","g26e202:218","g26e203:219","g26e204:220","g26e205:221","g26e206:222","g26e207:223","g26e208:224","g26e209:225","g26e210:226","g26e211:227","g26e212:228","g26e213:229","g26e214:230","g26e215:231","g26e216:232","g26e217:233"],"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_8f9e0e03aff94363a3ae7757f17a7c14/attempt_71d585a136f244fbbafe0be57544ef6c/raw/device-output/native/sata-org.wikipedia-ape-sata-running-minutes-60/jev-events.jsonl"},{"id":"wikipedia-Rep2:g26s116:g29e252:270","app":"wikipedia","rep":"Rep2","header":"g26s116","region_size":4,"cohort":"primary_non_singleton","kind":"external","transition_id":"g29e252:270","order":269,"event_line":598,"version":29,"source_state":"g29s130","source_gui_id":370,"target_gui_id":371,"direct_category":"UNKNOWN","direct_function":null,"direct_local_id":"wikipedia-Rep2-la1a0bded94e07f","history_available":20,"history_stop":"depth_limit","path_transition_ids":["g29e233:251","g29e234:252","g29e235:253","g29e236:254","g29e237:255","g29e238:256","g29e239:257","g29e240:258","g29e241:259","g29e242:260","g29e243:261","g29e244:262","g29e245:263","g29e246:264","g29e247:265","g29e248:266","g29e249:267","g29e250:268","g29e251:269","g29e252:270"],"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_8f9e0e03aff94363a3ae7757f17a7c14/attempt_71d585a136f244fbbafe0be57544ef6c/raw/device-output/native/sata-org.wikipedia-ape-sata-running-minutes-60/jev-events.jsonl"},{"id":"wikipedia-Rep2:g26s116:g29e253:271","app":"wikipedia","rep":"Rep2","header":"g26s116","region_size":4,"cohort":"primary_non_singleton","kind":"self_loop","transition_id":"g29e253:271","order":270,"event_line":600,"version":29,"source_state":"g26s116","source_gui_id":371,"target_gui_id":372,"direct_category":"UNKNOWN","direct_function":null,"direct_local_id":"wikipedia-Rep2-ld0f9c165e0845d","history_available":20,"history_stop":"depth_limit","path_transition_ids":["g29e234:252","g29e235:253","g29e236:254","g29e237:255","g29e238:256","g29e239:257","g29e240:258","g29e241:259","g29e242:260","g29e243:261","g29e244:262","g29e245:263","g29e246:264","g29e247:265","g29e248:266","g29e249:267","g29e250:268","g29e251:269","g29e252:270","g29e253:271"],"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_8f9e0e03aff94363a3ae7757f17a7c14/attempt_71d585a136f244fbbafe0be57544ef6c/raw/device-output/native/sata-org.wikipedia-ape-sata-running-minutes-60/jev-events.jsonl"},{"id":"wikipedia-Rep2:g26s116:g53e770:871","app":"wikipedia","rep":"Rep2","header":"g26s116","region_size":4,"cohort":"primary_non_singleton","kind":"external","transition_id":"g53e770:871","order":870,"event_line":2022,"version":53,"source_state":"g13s71","source_gui_id":1083,"target_gui_id":1084,"direct_category":"Ⅰ","direct_function":"wikipedia.global-search","direct_local_id":"wikipedia-Rep2-lbfc8cda4a16ae4","history_available":20,"history_stop":"depth_limit","path_transition_ids":["g53e756:852","g53e752:853","g53e757:854","g53e758:855","g53e759:856","g53e752:857","g53e757:858","g53e760:859","g53e761:860","g53e762:861","g53e763:862","g53e764:863","g53e765:864","g53e755:865","g53e766:866","g53e767:867","g53e768:868","g41e453:869","g53e769:870","g53e770:871"],"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_8f9e0e03aff94363a3ae7757f17a7c14/attempt_71d585a136f244fbbafe0be57544ef6c/raw/device-output/native/sata-org.wikipedia-ape-sata-running-minutes-60/jev-events.jsonl"},{"id":"wikipedia-Rep2:g26s116:g54e761:891","app":"wikipedia","rep":"Rep2","header":"g26s116","region_size":4,"cohort":"primary_non_singleton","kind":"external","transition_id":"g54e761:891","order":890,"event_line":2076,"version":54,"source_state":"g44s214","source_gui_id":1103,"target_gui_id":1104,"direct_category":"UNKNOWN","direct_function":null,"direct_local_id":"wikipedia-Rep2-l3c8a44bee5cb1a","history_available":18,"history_stop":"abstraction_version_changed","path_transition_ids":["g54e751:874","g54e704:875","g54e752:876","g54e704:877","g54e753:878","g54e704:879","g54e754:880","g54e704:881","g54e755:882","g54e704:883","g54e756:884","g54e704:885","g54e757:886","g54e758:887","g54e704:888","g54e759:889","g54e760:890","g54e761:891"],"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_8f9e0e03aff94363a3ae7757f17a7c14/attempt_71d585a136f244fbbafe0be57544ef6c/raw/device-output/native/sata-org.wikipedia-ape-sata-running-minutes-60/jev-events.jsonl"},{"id":"wikipedia-Rep2:g26s116:g54e762:892","app":"wikipedia","rep":"Rep2","header":"g26s116","region_size":4,"cohort":"primary_non_singleton","kind":"self_loop","transition_id":"g54e762:892","order":891,"event_line":2078,"version":54,"source_state":"g26s116","source_gui_id":1104,"target_gui_id":1105,"direct_category":"Ⅱ","direct_function":null,"direct_local_id":"wikipedia-Rep2-l25e559eb4100b0","history_available":19,"history_stop":"abstraction_version_changed","path_transition_ids":["g54e751:874","g54e704:875","g54e752:876","g54e704:877","g54e753:878","g54e704:879","g54e754:880","g54e704:881","g54e755:882","g54e704:883","g54e756:884","g54e704:885","g54e757:886","g54e758:887","g54e704:888","g54e759:889","g54e760:890","g54e761:891","g54e762:892"],"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_8f9e0e03aff94363a3ae7757f17a7c14/attempt_71d585a136f244fbbafe0be57544ef6c/raw/device-output/native/sata-org.wikipedia-ape-sata-running-minutes-60/jev-events.jsonl"},{"id":"wikipedia-Rep2:g26s116:g54e773:903","app":"wikipedia","rep":"Rep2","header":"g26s116","region_size":4,"cohort":"primary_non_singleton","kind":"external","transition_id":"g54e773:903","order":902,"event_line":2100,"version":54,"source_state":"g29s130","source_gui_id":1115,"target_gui_id":1116,"direct_category":"Ⅱ","direct_function":null,"direct_local_id":"wikipedia-Rep2-lda62d5aa9971c2","history_available":20,"history_stop":"depth_limit","path_transition_ids":["g54e756:884","g54e704:885","g54e757:886","g54e758:887","g54e704:888","g54e759:889","g54e760:890","g54e761:891","g54e762:892","g54e763:893","g54e764:894","g54e765:895","g54e766:896","g54e767:897","g54e768:898","g54e769:899","g54e770:900","g54e771:901","g54e772:902","g54e773:903"],"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_8f9e0e03aff94363a3ae7757f17a7c14/attempt_71d585a136f244fbbafe0be57544ef6c/raw/device-output/native/sata-org.wikipedia-ape-sata-running-minutes-60/jev-events.jsonl"},{"id":"wikipedia-Rep2:g26s116:g54e774:904","app":"wikipedia","rep":"Rep2","header":"g26s116","region_size":4,"cohort":"primary_non_singleton","kind":"self_loop","transition_id":"g54e774:904","order":903,"event_line":2102,"version":54,"source_state":"g26s116","source_gui_id":1116,"target_gui_id":1117,"direct_category":"UNKNOWN","direct_function":null,"direct_local_id":"wikipedia-Rep2-l0358f82d17e220","history_available":20,"history_stop":"depth_limit","path_transition_ids":["g54e704:885","g54e757:886","g54e758:887","g54e704:888","g54e759:889","g54e760:890","g54e761:891","g54e762:892","g54e763:893","g54e764:894","g54e765:895","g54e766:896","g54e767:897","g54e768:898","g54e769:899","g54e770:900","g54e771:901","g54e772:902","g54e773:903","g54e774:904"],"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_8f9e0e03aff94363a3ae7757f17a7c14/attempt_71d585a136f244fbbafe0be57544ef6c/raw/device-output/native/sata-org.wikipedia-ape-sata-running-minutes-60/jev-events.jsonl"},{"id":"wikipedia-Rep2:g26s116:g54e774:905","app":"wikipedia","rep":"Rep2","header":"g26s116","region_size":4,"cohort":"primary_non_singleton","kind":"self_loop","transition_id":"g54e774:905","order":904,"event_line":2104,"version":54,"source_state":"g26s116","source_gui_id":1117,"target_gui_id":1118,"direct_category":"UNKNOWN","direct_function":null,"direct_local_id":"wikipedia-Rep2-l288e8a3658e89b","history_available":20,"history_stop":"depth_limit","path_transition_ids":["g54e757:886","g54e758:887","g54e704:888","g54e759:889","g54e760:890","g54e761:891","g54e762:892","g54e763:893","g54e764:894","g54e765:895","g54e766:896","g54e767:897","g54e768:898","g54e769:899","g54e770:900","g54e771:901","g54e772:902","g54e773:903","g54e774:904","g54e774:905"],"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_8f9e0e03aff94363a3ae7757f17a7c14/attempt_71d585a136f244fbbafe0be57544ef6c/raw/device-output/native/sata-org.wikipedia-ape-sata-running-minutes-60/jev-events.jsonl"},{"id":"wikipedia-Rep2:g26s116:g70e931:1105","app":"wikipedia","rep":"Rep2","header":"g26s116","region_size":4,"cohort":"primary_non_singleton","kind":"external","transition_id":"g70e931:1105","order":1104,"event_line":2599,"version":70,"source_state":"g68s317","source_gui_id":1358,"target_gui_id":1359,"direct_category":"Ⅰ","direct_function":"wikipedia.global-search","direct_local_id":"wikipedia-Rep2-l54563a781d30d5","history_available":7,"history_stop":"abstraction_version_changed","path_transition_ids":["g70e926:1099","g70e927:1100","g68e897:1101","g70e928:1102","g70e929:1103","g70e930:1104","g70e931:1105"],"window_complete":{"1":true,"2":true,"3":true,"5":true,"10":false,"20":false},"event_path":"[WORKSPACE]/experiments/guitaboo_formal_emulator_20261103T1725/formal-runs/platform-managed/run_8f9e0e03aff94363a3ae7757f17a7c14/attempt_71d585a136f244fbbafe0be57544ef6c/raw/device-output/native/sata-org.wikipedia-ape-sata-running-minutes-60/jev-events.jsonl"},{"id":"wikipedia-Rep2:g26s116:g70e945:1122","app":"wikipedia","rep":"Rep2","header":"g26s116","region_size":4,"cohort":"primary_non_singleton","kind":"external","transition_id":"g70e945:1122","order":1121,"event_line":2646,"version":70,"source_state":"g41s189","source_gui_id":1377,"target_gui_id":1378,"direct_category":"Ⅰ","direct_function":"wikipedia.global-search","direct_local_id":"wikipedia-Rep2-la705d9f12c75d6","history_available":1,"history_stop":"GUI_ID_gap;GUI_timestamp_gap;observed_State_gap","path_transition_ids":["g70e945:1122"],"window_complete":{"1":true,"2":false,"3":false,"5":false,"10":false,"20":false},"event_path":"[WORKSPACE]/experiments/guitaboo_formal_emulator_20261103T1725/formal-runs/platform-managed/run_8f9e0e03aff94363a3ae7757f17a7c14/attempt_71d585a136f244fbbafe0be57544ef6c/raw/device-output/native/sata-org.wikipedia-ape-sata-running-minutes-60/jev-events.jsonl"},{"id":"wikipedia-Rep2:g26s116:g71e979:1159","app":"wikipedia","rep":"Rep2","header":"g26s116","region_size":4,"cohort":"primary_non_singleton","kind":"external","transition_id":"g71e979:1159","order":1158,"event_line":2747,"version":71,"source_state":"g39s177","source_gui_id":1428,"target_gui_id":1429,"direct_category":"Ⅰ","direct_function":"wikipedia.global-search","direct_local_id":"wikipedia-Rep2-l46de598ebb364c","history_available":2,"history_stop":"GUI_ID_gap;GUI_timestamp_gap;observed_State_gap","path_transition_ids":["g71e978:1158","g71e979:1159"],"window_complete":{"1":true,"2":true,"3":false,"5":false,"10":false,"20":false},"event_path":"[WORKSPACE]/experiments/guitaboo_formal_emulator_20261103T1725/formal-runs/platform-managed/run_8f9e0e03aff94363a3ae7757f17a7c14/attempt_71d585a136f244fbbafe0be57544ef6c/raw/device-output/native/sata-org.wikipedia-ape-sata-running-minutes-60/jev-events.jsonl"},{"id":"wikipedia-Rep2:g26s116:g71e981:1161","app":"wikipedia","rep":"Rep2","header":"g26s116","region_size":4,"cohort":"primary_non_singleton","kind":"external","transition_id":"g71e981:1161","order":1160,"event_line":2753,"version":71,"source_state":"g44s214","source_gui_id":1430,"target_gui_id":1431,"direct_category":"Ⅱ","direct_function":null,"direct_local_id":"wikipedia-Rep2-l49c381b30bf980","history_available":4,"history_stop":"GUI_ID_gap;GUI_timestamp_gap;observed_State_gap","path_transition_ids":["g71e978:1158","g71e979:1159","g71e980:1160","g71e981:1161"],"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_8f9e0e03aff94363a3ae7757f17a7c14/attempt_71d585a136f244fbbafe0be57544ef6c/raw/device-output/native/sata-org.wikipedia-ape-sata-running-minutes-60/jev-events.jsonl"},{"id":"wikipedia-Rep2:g26s116:g71e982:1163","app":"wikipedia","rep":"Rep2","header":"g26s116","region_size":4,"cohort":"primary_non_singleton","kind":"external","transition_id":"g71e982:1163","order":1162,"event_line":2759,"version":71,"source_state":"g44s214","source_gui_id":1432,"target_gui_id":1433,"direct_category":"Ⅱ","direct_function":null,"direct_local_id":"wikipedia-Rep2-l88bdadbb9755fd","history_available":6,"history_stop":"GUI_ID_gap;GUI_timestamp_gap;observed_State_gap","path_transition_ids":["g71e978:1158","g71e979:1159","g71e980:1160","g71e981:1161","g71e980:1162","g71e982:1163"],"window_complete":{"1":true,"2":true,"3":true,"5":true,"10":false,"20":false},"event_path":"[WORKSPACE]/experiments/guitaboo_formal_emulator_20261103T1725/formal-runs/platform-managed/run_8f9e0e03aff94363a3ae7757f17a7c14/attempt_71d585a136f244fbbafe0be57544ef6c/raw/device-output/native/sata-org.wikipedia-ape-sata-running-minutes-60/jev-events.jsonl"},{"id":"wikipedia-Rep2:g26s116:g71e983:1165","app":"wikipedia","rep":"Rep2","header":"g26s116","region_size":4,"cohort":"primary_non_singleton","kind":"external","transition_id":"g71e983:1165","order":1164,"event_line":2765,"version":71,"source_state":"g44s214","source_gui_id":1434,"target_gui_id":1435,"direct_category":"Ⅱ","direct_function":null,"direct_local_id":"wikipedia-Rep2-l040b3f827fd09f","history_available":8,"history_stop":"GUI_ID_gap;GUI_timestamp_gap;observed_State_gap","path_transition_ids":["g71e978:1158","g71e979:1159","g71e980:1160","g71e981:1161","g71e980:1162","g71e982:1163","g71e980:1164","g71e983:1165"],"window_complete":{"1":true,"2":true,"3":true,"5":true,"10":false,"20":false},"event_path":"[WORKSPACE]/experiments/guitaboo_formal_emulator_20261103T1725/formal-runs/platform-managed/run_8f9e0e03aff94363a3ae7757f17a7c14/attempt_71d585a136f244fbbafe0be57544ef6c/raw/device-output/native/sata-org.wikipedia-ape-sata-running-minutes-60/jev-events.jsonl"},{"id":"wikipedia-Rep2:g26s116:g26e214:1446","app":"wikipedia","rep":"Rep2","header":"g26s116","region_size":4,"cohort":"primary_non_singleton","kind":"external","transition_id":"g26e214:1446","order":1445,"event_line":3473,"version":80,"source_state":"g4s25","source_gui_id":1770,"target_gui_id":1771,"direct_category":"Ⅰ","direct_function":"wikipedia.global-search","direct_local_id":"wikipedia-Rep2-ldf33e3c0a2091d","history_available":20,"history_stop":"depth_limit","path_transition_ids":["g70e947:1427","g80e1155:1428","g75e1023:1429","g53e754:1430","g80e1184:1431","g80e1185:1432","g75e1004:1433","g80e1186:1434","g80e1187:1435","g80e1188:1436","g80e1189:1437","g80e1190:1438","g80e1191:1439","g80e1192:1440","g80e1193:1441","g80e1194:1442","g80e1195:1443","g80e1196:1444","g80e1197:1445","g26e214:1446"],"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_8f9e0e03aff94363a3ae7757f17a7c14/attempt_71d585a136f244fbbafe0be57544ef6c/raw/device-output/native/sata-org.wikipedia-ape-sata-running-minutes-60/jev-events.jsonl"},{"id":"wikipedia-Rep2:g26s116:g80e1199:1451","app":"wikipedia","rep":"Rep2","header":"g26s116","region_size":4,"cohort":"primary_non_singleton","kind":"external","transition_id":"g80e1199:1451","order":1450,"event_line":3489,"version":80,"source_state":"g54s266","source_gui_id":1775,"target_gui_id":1776,"direct_category":"UNKNOWN","direct_function":null,"direct_local_id":"wikipedia-Rep2-ldfb5317c9849a0","history_available":20,"history_stop":"depth_limit","path_transition_ids":["g80e1185:1432","g75e1004:1433","g80e1186:1434","g80e1187:1435","g80e1188:1436","g80e1189:1437","g80e1190:1438","g80e1191:1439","g80e1192:1440","g80e1193:1441","g80e1194:1442","g80e1195:1443","g80e1196:1444","g80e1197:1445","g26e214:1446","g54e750:1447","g54e719:1448","g80e1198:1449","g54e721:1450","g80e1199:1451"],"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_8f9e0e03aff94363a3ae7757f17a7c14/attempt_71d585a136f244fbbafe0be57544ef6c/raw/device-output/native/sata-org.wikipedia-ape-sata-running-minutes-60/jev-events.jsonl"},{"id":"wikipedia-Rep2:g26s116:g80e1199:1465","app":"wikipedia","rep":"Rep2","header":"g26s116","region_size":4,"cohort":"primary_non_singleton","kind":"external","transition_id":"g80e1199:1465","order":1464,"event_line":3527,"version":80,"source_state":"g54s266","source_gui_id":1789,"target_gui_id":1790,"direct_category":"UNKNOWN","direct_function":null,"direct_local_id":"wikipedia-Rep2-ldfb5317c9849a0","history_available":20,"history_stop":"depth_limit","path_transition_ids":["g26e214:1446","g54e750:1447","g54e719:1448","g80e1198:1449","g54e721:1450","g80e1199:1451","g54e750:1452","g54e704:1453","g49e637:1454","g80e1200:1455","g54e719:1456","g80e1201:1457","g80e1202:1458","g80e1203:1459","g80e1204:1460","g80e1205:1461","g80e1206:1462","g80e1207:1463","g54e720:1464","g80e1199:1465"],"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_8f9e0e03aff94363a3ae7757f17a7c14/attempt_71d585a136f244fbbafe0be57544ef6c/raw/device-output/native/sata-org.wikipedia-ape-sata-running-minutes-60/jev-events.jsonl"},{"id":"wikipedia-Rep2:g26s116:g80e1208:1467","app":"wikipedia","rep":"Rep2","header":"g26s116","region_size":4,"cohort":"primary_non_singleton","kind":"external","transition_id":"g80e1208:1467","order":1466,"event_line":3533,"version":80,"source_state":"g54s266","source_gui_id":1791,"target_gui_id":1792,"direct_category":"UNKNOWN","direct_function":null,"direct_local_id":"wikipedia-Rep2-ld25b7a1ad27475","history_available":20,"history_stop":"depth_limit","path_transition_ids":["g54e719:1448","g80e1198:1449","g54e721:1450","g80e1199:1451","g54e750:1452","g54e704:1453","g49e637:1454","g80e1200:1455","g54e719:1456","g80e1201:1457","g80e1202:1458","g80e1203:1459","g80e1204:1460","g80e1205:1461","g80e1206:1462","g80e1207:1463","g54e720:1464","g80e1199:1465","g54e750:1466","g80e1208:1467"],"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_8f9e0e03aff94363a3ae7757f17a7c14/attempt_71d585a136f244fbbafe0be57544ef6c/raw/device-output/native/sata-org.wikipedia-ape-sata-running-minutes-60/jev-events.jsonl"},{"id":"wikipedia-Rep2:g26s116:g80e1208:1469","app":"wikipedia","rep":"Rep2","header":"g26s116","region_size":4,"cohort":"primary_non_singleton","kind":"external","transition_id":"g80e1208:1469","order":1468,"event_line":3539,"version":80,"source_state":"g54s266","source_gui_id":1793,"target_gui_id":1794,"direct_category":"UNKNOWN","direct_function":null,"direct_local_id":"wikipedia-Rep2-lf1888d13a48883","history_available":20,"history_stop":"depth_limit","path_transition_ids":["g54e721:1450","g80e1199:1451","g54e750:1452","g54e704:1453","g49e637:1454","g80e1200:1455","g54e719:1456","g80e1201:1457","g80e1202:1458","g80e1203:1459","g80e1204:1460","g80e1205:1461","g80e1206:1462","g80e1207:1463","g54e720:1464","g80e1199:1465","g54e750:1466","g80e1208:1467","g54e750:1468","g80e1208:1469"],"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_8f9e0e03aff94363a3ae7757f17a7c14/attempt_71d585a136f244fbbafe0be57544ef6c/raw/device-output/native/sata-org.wikipedia-ape-sata-running-minutes-60/jev-events.jsonl"},{"id":"wikipedia-Rep2:g26s116:g80e1199:1490","app":"wikipedia","rep":"Rep2","header":"g26s116","region_size":4,"cohort":"primary_non_singleton","kind":"external","transition_id":"g80e1199:1490","order":1489,"event_line":3605,"version":80,"source_state":"g54s266","source_gui_id":1820,"target_gui_id":1821,"direct_category":"UNKNOWN","direct_function":null,"direct_local_id":"wikipedia-Rep2-ldfb5317c9849a0","history_available":20,"history_stop":"depth_limit","path_transition_ids":["g54e704:1471","g49e673:1472","g80e1209:1473","g49e673:1474","g80e1210:1475","g80e1211:1476","g54e704:1477","g49e673:1478","g80e1212:1479","g80e1213:1480","g80e1214:1481","g54e704:1482","g49e673:1483","g80e1212:1484","g80e1215:1485","g80e1216:1486","g80e1217:1487","g54e704:1488","g80e1218:1489","g80e1199:1490"],"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_8f9e0e03aff94363a3ae7757f17a7c14/attempt_71d585a136f244fbbafe0be57544ef6c/raw/device-output/native/sata-org.wikipedia-ape-sata-running-minutes-60/jev-events.jsonl"},{"id":"wikipedia-Rep2:g26s116:g82e1266:1555","app":"wikipedia","rep":"Rep2","header":"g26s116","region_size":4,"cohort":"primary_non_singleton","kind":"external","transition_id":"g82e1266:1555","order":1554,"event_line":3768,"version":82,"source_state":"g4s20","source_gui_id":1897,"target_gui_id":1898,"direct_category":"Ⅰ","direct_function":"wikipedia.global-search","direct_local_id":"wikipedia-Rep2-l34368cc3f89f9d","history_available":6,"history_stop":"abstraction_version_changed","path_transition_ids":["g82e1261:1550","g82e1262:1551","g82e1263:1552","g82e1264:1553","g82e1265:1554","g82e1266:1555"],"window_complete":{"1":true,"2":true,"3":true,"5":true,"10":false,"20":false},"event_path":"[WORKSPACE]/experiments/guitaboo_formal_emulator_20261103T1725/formal-runs/platform-managed/run_8f9e0e03aff94363a3ae7757f17a7c14/attempt_71d585a136f244fbbafe0be57544ef6c/raw/device-output/native/sata-org.wikipedia-ape-sata-running-minutes-60/jev-events.jsonl"}],"candidates":[{"arrival_id":"wikipedia-Rep2:g26s116:g26e214:230","arrival_transition":"g26e214:230","arrival_kind":"external","entry_transition":"g26e214:230","distance":1,"local_id":"wikipedia-Rep2-ldf33e3c0a2091d","source_state":"g4s25","model_action":"g4a316","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":["g26e214:230"]},{"arrival_id":"wikipedia-Rep2:g26s116:g26e214:230","arrival_transition":"g26e214:230","arrival_kind":"external","entry_transition":"g26e209:225","distance":6,"local_id":"wikipedia-Rep2-ldeefc3e4599a54","source_state":"g4s20","model_action":"g4a242","function":"wikipedia.tab-manager","family":"wikipedia.tab-manager","verdict":"REJECTED","reason":"intervening_different_independent_entry:g26e214:230","entry_final_exact":false,"entire_path_final_exact":false,"path_transition_ids":["g26e209:225","g26e210:226","g26e211:227","g26e212:228","g26e213:229","g26e214:230"]},{"arrival_id":"wikipedia-Rep2:g26s116:g26e215:231","arrival_transition":"g26e215:231","arrival_kind":"self_loop","entry_transition":"g26e214:230","distance":2,"local_id":"wikipedia-Rep2-ldf33e3c0a2091d","source_state":"g4s25","model_action":"g4a316","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":["g26e214:230","g26e215:231"]},{"arrival_id":"wikipedia-Rep2:g26s116:g26e215:231","arrival_transition":"g26e215:231","arrival_kind":"self_loop","entry_transition":"g26e209:225","distance":7,"local_id":"wikipedia-Rep2-ldeefc3e4599a54","source_state":"g4s20","model_action":"g4a242","function":"wikipedia.tab-manager","family":"wikipedia.tab-manager","verdict":"REJECTED","reason":"intervening_different_independent_entry:g26e214:230","entry_final_exact":false,"entire_path_final_exact":false,"path_transition_ids":["g26e209:225","g26e210:226","g26e211:227","g26e212:228","g26e213:229","g26e214:230","g26e215:231"]},{"arrival_id":"wikipedia-Rep2:g26s116:g26e216:232","arrival_transition":"g26e216:232","arrival_kind":"self_loop","entry_transition":"g26e214:230","distance":3,"local_id":"wikipedia-Rep2-ldf33e3c0a2091d","source_state":"g4s25","model_action":"g4a316","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":["g26e214:230","g26e215:231","g26e216:232"]},{"arrival_id":"wikipedia-Rep2:g26s116:g26e216:232","arrival_transition":"g26e216:232","arrival_kind":"self_loop","entry_transition":"g26e209:225","distance":8,"local_id":"wikipedia-Rep2-ldeefc3e4599a54","source_state":"g4s20","model_action":"g4a242","function":"wikipedia.tab-manager","family":"wikipedia.tab-manager","verdict":"REJECTED","reason":"intervening_different_independent_entry:g26e214:230","entry_final_exact":false,"entire_path_final_exact":false,"path_transition_ids":["g26e209:225","g26e210:226","g26e211:227","g26e212:228","g26e213:229","g26e214:230","g26e215:231","g26e216:232"]},{"arrival_id":"wikipedia-Rep2:g26s116:g26e217:233","arrival_transition":"g26e217:233","arrival_kind":"self_loop","entry_transition":"g26e214:230","distance":4,"local_id":"wikipedia-Rep2-ldf33e3c0a2091d","source_state":"g4s25","model_action":"g4a316","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":["g26e214:230","g26e215:231","g26e216:232","g26e217:233"]},{"arrival_id":"wikipedia-Rep2:g26s116:g26e217:233","arrival_transition":"g26e217:233","arrival_kind":"self_loop","entry_transition":"g26e209:225","distance":9,"local_id":"wikipedia-Rep2-ldeefc3e4599a54","source_state":"g4s20","model_action":"g4a242","function":"wikipedia.tab-manager","family":"wikipedia.tab-manager","verdict":"REJECTED","reason":"intervening_different_independent_entry:g26e214:230","entry_final_exact":false,"entire_path_final_exact":false,"path_transition_ids":["g26e209:225","g26e210:226","g26e211:227","g26e212:228","g26e213:229","g26e214:230","g26e215:231","g26e216:232","g26e217:233"]},{"arrival_id":"wikipedia-Rep2:g26s116:g29e252:270","arrival_transition":"g29e252:270","arrival_kind":"external","entry_transition":"g29e249:267","distance":4,"local_id":"wikipedia-Rep2-lb3353e06f9ec1a","source_state":"g29s128","model_action":"g29a1349","function":"wikipedia.add-language","family":"wikipedia.add-language","verdict":"UNKNOWN","reason":"chronological_candidate_only; function_scope_not_reviewed","entry_final_exact":false,"entire_path_final_exact":false,"path_transition_ids":["g29e249:267","g29e250:268","g29e251:269","g29e252:270"]},{"arrival_id":"wikipedia-Rep2:g26s116:g29e252:270","arrival_transition":"g29e252:270","arrival_kind":"external","entry_transition":"g29e247:265","distance":6,"local_id":"wikipedia-Rep2-l66afa1eadbed35","source_state":"g25s111","model_action":"g25a1153","function":"wikipedia.add-language","family":"wikipedia.add-language","verdict":"UNKNOWN","reason":"chronological_candidate_only; function_scope_not_reviewed","entry_final_exact":false,"entire_path_final_exact":false,"path_transition_ids":["g29e247:265","g29e248:266","g29e249:267","g29e250:268","g29e251:269","g29e252:270"]},{"arrival_id":"wikipedia-Rep2:g26s116:g29e253:271","arrival_transition":"g29e253:271","arrival_kind":"self_loop","entry_transition":"g29e249:267","distance":5,"local_id":"wikipedia-Rep2-lb3353e06f9ec1a","source_state":"g29s128","model_action":"g29a1349","function":"wikipedia.add-language","family":"wikipedia.add-language","verdict":"UNKNOWN","reason":"chronological_candidate_only; function_scope_not_reviewed","entry_final_exact":false,"entire_path_final_exact":false,"path_transition_ids":["g29e249:267","g29e250:268","g29e251:269","g29e252:270","g29e253:271"]},{"arrival_id":"wikipedia-Rep2:g26s116:g29e253:271","arrival_transition":"g29e253:271","arrival_kind":"self_loop","entry_transition":"g29e247:265","distance":7,"local_id":"wikipedia-Rep2-l66afa1eadbed35","source_state":"g25s111","model_action":"g25a1153","function":"wikipedia.add-language","family":"wikipedia.add-language","verdict":"UNKNOWN","reason":"chronological_candidate_only; function_scope_not_reviewed","entry_final_exact":false,"entire_path_final_exact":false,"path_transition_ids":["g29e247:265","g29e248:266","g29e249:267","g29e250:268","g29e251:269","g29e252:270","g29e253:271"]},{"arrival_id":"wikipedia-Rep2:g26s116:g53e770:871","arrival_transition":"g53e770:871","arrival_kind":"external","entry_transition":"g53e770:871","distance":1,"local_id":"wikipedia-Rep2-lbfc8cda4a16ae4","source_state":"g13s71","model_action":"g13a739","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":["g53e770:871"]},{"arrival_id":"wikipedia-Rep2:g26s116:g53e770:871","arrival_transition":"g53e770:871","arrival_kind":"external","entry_transition":"g53e766:866","distance":6,"local_id":"wikipedia-Rep2-lcf8a5cacfeb91c","source_state":"g53s262","model_action":"g53a2941","function":"wikipedia.global-search","family":"wikipedia.global-search","verdict":"REJECTED","reason":"function_exit_before_header:outside_PageActivity:g53e767:867","entry_final_exact":true,"entire_path_final_exact":true,"path_transition_ids":["g53e766:866","g53e767:867","g53e768:868","g41e453:869","g53e769:870","g53e770:871"]},{"arrival_id":"wikipedia-Rep2:g26s116:g54e761:891","arrival_transition":"g54e761:891","arrival_kind":"external","entry_transition":"g54e704:888","distance":4,"local_id":"wikipedia-Rep2-lbfe4ae3cfdc58f","source_state":"g54s266","model_action":"g54a2995","function":"wikipedia.add-language","family":"wikipedia.add-language","verdict":"UNKNOWN","reason":"chronological_candidate_only; function_scope_not_reviewed","entry_final_exact":true,"entire_path_final_exact":true,"path_transition_ids":["g54e704:888","g54e759:889","g54e760:890","g54e761:891"]},{"arrival_id":"wikipedia-Rep2:g26s116:g54e761:891","arrival_transition":"g54e761:891","arrival_kind":"external","entry_transition":"g54e704:885","distance":7,"local_id":"wikipedia-Rep2-l0b9527c23a1ce7","source_state":"g54s266","model_action":"g54a2995","function":"wikipedia.add-language","family":"wikipedia.add-language","verdict":"UNKNOWN","reason":"chronological_candidate_only; function_scope_not_reviewed","entry_final_exact":true,"entire_path_final_exact":true,"path_transition_ids":["g54e704:885","g54e757:886","g54e758:887","g54e704:888","g54e759:889","g54e760:890","g54e761:891"]},{"arrival_id":"wikipedia-Rep2:g26s116:g54e761:891","arrival_transition":"g54e761:891","arrival_kind":"external","entry_transition":"g54e704:883","distance":9,"local_id":"wikipedia-Rep2-la61ada1fd99d22","source_state":"g54s266","model_action":"g54a2995","function":"wikipedia.add-language","family":"wikipedia.add-language","verdict":"UNKNOWN","reason":"chronological_candidate_only; function_scope_not_reviewed","entry_final_exact":true,"entire_path_final_exact":true,"path_transition_ids":["g54e704:883","g54e756:884","g54e704:885","g54e757:886","g54e758:887","g54e704:888","g54e759:889","g54e760:890","g54e761:891"]},{"arrival_id":"wikipedia-Rep2:g26s116:g54e761:891","arrival_transition":"g54e761:891","arrival_kind":"external","entry_transition":"g54e704:881","distance":11,"local_id":"wikipedia-Rep2-l85075c5801e240","source_state":"g54s266","model_action":"g54a2995","function":"wikipedia.add-language","family":"wikipedia.add-language","verdict":"UNKNOWN","reason":"chronological_candidate_only; function_scope_not_reviewed","entry_final_exact":true,"entire_path_final_exact":true,"path_transition_ids":["g54e704:881","g54e755:882","g54e704:883","g54e756:884","g54e704:885","g54e757:886","g54e758:887","g54e704:888","g54e759:889","g54e760:890","g54e761:891"]},{"arrival_id":"wikipedia-Rep2:g26s116:g54e761:891","arrival_transition":"g54e761:891","arrival_kind":"external","entry_transition":"g54e704:879","distance":13,"local_id":"wikipedia-Rep2-le7dea7c065df07","source_state":"g54s266","model_action":"g54a2995","function":"wikipedia.add-language","family":"wikipedia.add-language","verdict":"UNKNOWN","reason":"chronological_candidate_only; function_scope_not_reviewed","entry_final_exact":true,"entire_path_final_exact":true,"path_transition_ids":["g54e704:879","g54e754:880","g54e704:881","g54e755:882","g54e704:883","g54e756:884","g54e704:885","g54e757:886","g54e758:887","g54e704:888","g54e759:889","g54e760:890","g54e761:891"]},{"arrival_id":"wikipedia-Rep2:g26s116:g54e761:891","arrival_transition":"g54e761:891","arrival_kind":"external","entry_transition":"g54e704:877","distance":15,"local_id":"wikipedia-Rep2-l22674cad7edc39","source_state":"g54s266","model_action":"g54a2995","function":"wikipedia.add-language","family":"wikipedia.add-language","verdict":"UNKNOWN","reason":"chronological_candidate_only; function_scope_not_reviewed","entry_final_exact":true,"entire_path_final_exact":true,"path_transition_ids":["g54e704:877","g54e753:878","g54e704:879","g54e754:880","g54e704:881","g54e755:882","g54e704:883","g54e756:884","g54e704:885","g54e757:886","g54e758:887","g54e704:888","g54e759:889","g54e760:890","g54e761:891"]},{"arrival_id":"wikipedia-Rep2:g26s116:g54e761:891","arrival_transition":"g54e761:891","arrival_kind":"external","entry_transition":"g54e704:875","distance":17,"local_id":"wikipedia-Rep2-l22674cad7edc39","source_state":"g54s266","model_action":"g54a2995","function":"wikipedia.add-language","family":"wikipedia.add-language","verdict":"UNKNOWN","reason":"chronological_candidate_only; function_scope_not_reviewed","entry_final_exact":true,"entire_path_final_exact":true,"path_transition_ids":["g54e704:875","g54e752:876","g54e704:877","g54e753:878","g54e704:879","g54e754:880","g54e704:881","g54e755:882","g54e704:883","g54e756:884","g54e704:885","g54e757:886","g54e758:887","g54e704:888","g54e759:889","g54e760:890","g54e761:891"]},{"arrival_id":"wikipedia-Rep2:g26s116:g54e762:892","arrival_transition":"g54e762:892","arrival_kind":"self_loop","entry_transition":"g54e704:888","distance":5,"local_id":"wikipedia-Rep2-lbfe4ae3cfdc58f","source_state":"g54s266","model_action":"g54a2995","function":"wikipedia.add-language","family":"wikipedia.add-language","verdict":"UNKNOWN","reason":"chronological_candidate_only; function_scope_not_reviewed","entry_final_exact":true,"entire_path_final_exact":true,"path_transition_ids":["g54e704:888","g54e759:889","g54e760:890","g54e761:891","g54e762:892"]},{"arrival_id":"wikipedia-Rep2:g26s116:g54e762:892","arrival_transition":"g54e762:892","arrival_kind":"self_loop","entry_transition":"g54e704:885","distance":8,"local_id":"wikipedia-Rep2-l0b9527c23a1ce7","source_state":"g54s266","model_action":"g54a2995","function":"wikipedia.add-language","family":"wikipedia.add-language","verdict":"UNKNOWN","reason":"chronological_candidate_only; function_scope_not_reviewed","entry_final_exact":true,"entire_path_final_exact":true,"path_transition_ids":["g54e704:885","g54e757:886","g54e758:887","g54e704:888","g54e759:889","g54e760:890","g54e761:891","g54e762:892"]},{"arrival_id":"wikipedia-Rep2:g26s116:g54e762:892","arrival_transition":"g54e762:892","arrival_kind":"self_loop","entry_transition":"g54e704:883","distance":10,"local_id":"wikipedia-Rep2-la61ada1fd99d22","source_state":"g54s266","model_action":"g54a2995","function":"wikipedia.add-language","family":"wikipedia.add-language","verdict":"UNKNOWN","reason":"chronological_candidate_only; function_scope_not_reviewed","entry_final_exact":true,"entire_path_final_exact":true,"path_transition_ids":["g54e704:883","g54e756:884","g54e704:885","g54e757:886","g54e758:887","g54e704:888","g54e759:889","g54e760:890","g54e761:891","g54e762:892"]},{"arrival_id":"wikipedia-Rep2:g26s116:g54e762:892","arrival_transition":"g54e762:892","arrival_kind":"self_loop","entry_transition":"g54e704:881","distance":12,"local_id":"wikipedia-Rep2-l85075c5801e240","source_state":"g54s266","model_action":"g54a2995","function":"wikipedia.add-language","family":"wikipedia.add-language","verdict":"UNKNOWN","reason":"chronological_candidate_only; function_scope_not_reviewed","entry_final_exact":true,"entire_path_final_exact":true,"path_transition_ids":["g54e704:881","g54e755:882","g54e704:883","g54e756:884","g54e704:885","g54e757:886","g54e758:887","g54e704:888","g54e759:889","g54e760:890","g54e761:891","g54e762:892"]},{"arrival_id":"wikipedia-Rep2:g26s116:g54e762:892","arrival_transition":"g54e762:892","arrival_kind":"self_loop","entry_transition":"g54e704:879","distance":14,"local_id":"wikipedia-Rep2-le7dea7c065df07","source_state":"g54s266","model_action":"g54a2995","function":"wikipedia.add-language","family":"wikipedia.add-language","verdict":"UNKNOWN","reason":"chronological_candidate_only; function_scope_not_reviewed","entry_final_exact":true,"entire_path_final_exact":true,"path_transition_ids":["g54e704:879","g54e754:880","g54e704:881","g54e755:882","g54e704:883","g54e756:884","g54e704:885","g54e757:886","g54e758:887","g54e704:888","g54e759:889","g54e760:890","g54e761:891","g54e762:892"]},{"arrival_id":"wikipedia-Rep2:g26s116:g54e762:892","arrival_transition":"g54e762:892","arrival_kind":"self_loop","entry_transition":"g54e704:877","distance":16,"local_id":"wikipedia-Rep2-l22674cad7edc39","source_state":"g54s266","model_action":"g54a2995","function":"wikipedia.add-language","family":"wikipedia.add-language","verdict":"UNKNOWN","reason":"chronological_candidate_only; function_scope_not_reviewed","entry_final_exact":true,"entire_path_final_exact":true,"path_transition_ids":["g54e704:877","g54e753:878","g54e704:879","g54e754:880","g54e704:881","g54e755:882","g54e704:883","g54e756:884","g54e704:885","g54e757:886","g54e758:887","g54e704:888","g54e759:889","g54e760:890","g54e761:891","g54e762:892"]},{"arrival_id":"wikipedia-Rep2:g26s116:g54e762:892","arrival_transition":"g54e762:892","arrival_kind":"self_loop","entry_transition":"g54e704:875","distance":18,"local_id":"wikipedia-Rep2-l22674cad7edc39","source_state":"g54s266","model_action":"g54a2995","function":"wikipedia.add-language","family":"wikipedia.add-language","verdict":"UNKNOWN","reason":"chronological_candidate_only; function_scope_not_reviewed","entry_final_exact":true,"entire_path_final_exact":true,"path_transition_ids":["g54e704:875","g54e752:876","g54e704:877","g54e753:878","g54e704:879","g54e754:880","g54e704:881","g54e755:882","g54e704:883","g54e756:884","g54e704:885","g54e757:886","g54e758:887","g54e704:888","g54e759:889","g54e760:890","g54e761:891","g54e762:892"]},{"arrival_id":"wikipedia-Rep2:g26s116:g54e773:903","arrival_transition":"g54e773:903","arrival_kind":"external","entry_transition":"g54e772:902","distance":2,"local_id":"wikipedia-Rep2-l92e94ec12b5ec4","source_state":"g53s254","model_action":"g53a2854","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":["g54e772:902","g54e773:903"]},{"arrival_id":"wikipedia-Rep2:g26s116:g54e773:903","arrival_transition":"g54e773:903","arrival_kind":"external","entry_transition":"g54e769:899","distance":5,"local_id":"wikipedia-Rep2-lcef97d81ba6cd0","source_state":"g13s71","model_action":"g13a737","function":"wikipedia.tab-manager","family":"wikipedia.tab-manager","verdict":"REJECTED","reason":"intervening_different_independent_entry:g54e772:902","entry_final_exact":false,"entire_path_final_exact":false,"path_transition_ids":["g54e769:899","g54e770:900","g54e771:901","g54e772:902","g54e773:903"]},{"arrival_id":"wikipedia-Rep2:g26s116:g54e773:903","arrival_transition":"g54e773:903","arrival_kind":"external","entry_transition":"g54e767:897","distance":7,"local_id":"wikipedia-Rep2-lecd30b072d486b","source_state":"g13s71","model_action":"g13a742","function":"wikipedia.find-in-article","family":"wikipedia.find-in-article","verdict":"REJECTED","reason":"intervening_different_independent_entry:g54e769:899","entry_final_exact":true,"entire_path_final_exact":false,"path_transition_ids":["g54e767:897","g54e768:898","g54e769:899","g54e770:900","g54e771:901","g54e772:902","g54e773:903"]},{"arrival_id":"wikipedia-Rep2:g26s116:g54e773:903","arrival_transition":"g54e773:903","arrival_kind":"external","entry_transition":"g54e704:888","distance":16,"local_id":"wikipedia-Rep2-lbfe4ae3cfdc58f","source_state":"g54s266","model_action":"g54a2995","function":"wikipedia.add-language","family":"wikipedia.add-language","verdict":"REJECTED","reason":"intervening_different_independent_entry:g54e767:897","entry_final_exact":true,"entire_path_final_exact":false,"path_transition_ids":["g54e704:888","g54e759:889","g54e760:890","g54e761:891","g54e762:892","g54e763:893","g54e764:894","g54e765:895","g54e766:896","g54e767:897","g54e768:898","g54e769:899","g54e770:900","g54e771:901","g54e772:902","g54e773:903"]},{"arrival_id":"wikipedia-Rep2:g26s116:g54e773:903","arrival_transition":"g54e773:903","arrival_kind":"external","entry_transition":"g54e704:885","distance":19,"local_id":"wikipedia-Rep2-l0b9527c23a1ce7","source_state":"g54s266","model_action":"g54a2995","function":"wikipedia.add-language","family":"wikipedia.add-language","verdict":"REJECTED","reason":"intervening_different_independent_entry:g54e767:897","entry_final_exact":true,"entire_path_final_exact":false,"path_transition_ids":["g54e704:885","g54e757:886","g54e758:887","g54e704:888","g54e759:889","g54e760:890","g54e761:891","g54e762:892","g54e763:893","g54e764:894","g54e765:895","g54e766:896","g54e767:897","g54e768:898","g54e769:899","g54e770:900","g54e771:901","g54e772:902","g54e773:903"]},{"arrival_id":"wikipedia-Rep2:g26s116:g54e774:904","arrival_transition":"g54e774:904","arrival_kind":"self_loop","entry_transition":"g54e772:902","distance":3,"local_id":"wikipedia-Rep2-l92e94ec12b5ec4","source_state":"g53s254","model_action":"g53a2854","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":["g54e772:902","g54e773:903","g54e774:904"]},{"arrival_id":"wikipedia-Rep2:g26s116:g54e774:904","arrival_transition":"g54e774:904","arrival_kind":"self_loop","entry_transition":"g54e769:899","distance":6,"local_id":"wikipedia-Rep2-lcef97d81ba6cd0","source_state":"g13s71","model_action":"g13a737","function":"wikipedia.tab-manager","family":"wikipedia.tab-manager","verdict":"REJECTED","reason":"intervening_different_independent_entry:g54e772:902","entry_final_exact":false,"entire_path_final_exact":false,"path_transition_ids":["g54e769:899","g54e770:900","g54e771:901","g54e772:902","g54e773:903","g54e774:904"]},{"arrival_id":"wikipedia-Rep2:g26s116:g54e774:904","arrival_transition":"g54e774:904","arrival_kind":"self_loop","entry_transition":"g54e767:897","distance":8,"local_id":"wikipedia-Rep2-lecd30b072d486b","source_state":"g13s71","model_action":"g13a742","function":"wikipedia.find-in-article","family":"wikipedia.find-in-article","verdict":"REJECTED","reason":"intervening_different_independent_entry:g54e769:899","entry_final_exact":true,"entire_path_final_exact":false,"path_transition_ids":["g54e767:897","g54e768:898","g54e769:899","g54e770:900","g54e771:901","g54e772:902","g54e773:903","g54e774:904"]},{"arrival_id":"wikipedia-Rep2:g26s116:g54e774:904","arrival_transition":"g54e774:904","arrival_kind":"self_loop","entry_transition":"g54e704:888","distance":17,"local_id":"wikipedia-Rep2-lbfe4ae3cfdc58f","source_state":"g54s266","model_action":"g54a2995","function":"wikipedia.add-language","family":"wikipedia.add-language","verdict":"REJECTED","reason":"intervening_different_independent_entry:g54e767:897","entry_final_exact":true,"entire_path_final_exact":false,"path_transition_ids":["g54e704:888","g54e759:889","g54e760:890","g54e761:891","g54e762:892","g54e763:893","g54e764:894","g54e765:895","g54e766:896","g54e767:897","g54e768:898","g54e769:899","g54e770:900","g54e771:901","g54e772:902","g54e773:903","g54e774:904"]},{"arrival_id":"wikipedia-Rep2:g26s116:g54e774:904","arrival_transition":"g54e774:904","arrival_kind":"self_loop","entry_transition":"g54e704:885","distance":20,"local_id":"wikipedia-Rep2-l0b9527c23a1ce7","source_state":"g54s266","model_action":"g54a2995","function":"wikipedia.add-language","family":"wikipedia.add-language","verdict":"REJECTED","reason":"intervening_different_independent_entry:g54e767:897","entry_final_exact":true,"entire_path_final_exact":false,"path_transition_ids":["g54e704:885","g54e757:886","g54e758:887","g54e704:888","g54e759:889","g54e760:890","g54e761:891","g54e762:892","g54e763:893","g54e764:894","g54e765:895","g54e766:896","g54e767:897","g54e768:898","g54e769:899","g54e770:900","g54e771:901","g54e772:902","g54e773:903","g54e774:904"]},{"arrival_id":"wikipedia-Rep2:g26s116:g54e774:905","arrival_transition":"g54e774:905","arrival_kind":"self_loop","entry_transition":"g54e772:902","distance":4,"local_id":"wikipedia-Rep2-l92e94ec12b5ec4","source_state":"g53s254","model_action":"g53a2854","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":["g54e772:902","g54e773:903","g54e774:904","g54e774:905"]},{"arrival_id":"wikipedia-Rep2:g26s116:g54e774:905","arrival_transition":"g54e774:905","arrival_kind":"self_loop","entry_transition":"g54e769:899","distance":7,"local_id":"wikipedia-Rep2-lcef97d81ba6cd0","source_state":"g13s71","model_action":"g13a737","function":"wikipedia.tab-manager","family":"wikipedia.tab-manager","verdict":"REJECTED","reason":"intervening_different_independent_entry:g54e772:902","entry_final_exact":false,"entire_path_final_exact":false,"path_transition_ids":["g54e769:899","g54e770:900","g54e771:901","g54e772:902","g54e773:903","g54e774:904","g54e774:905"]},{"arrival_id":"wikipedia-Rep2:g26s116:g54e774:905","arrival_transition":"g54e774:905","arrival_kind":"self_loop","entry_transition":"g54e767:897","distance":9,"local_id":"wikipedia-Rep2-lecd30b072d486b","source_state":"g13s71","model_action":"g13a742","function":"wikipedia.find-in-article","family":"wikipedia.find-in-article","verdict":"REJECTED","reason":"intervening_different_independent_entry:g54e769:899","entry_final_exact":true,"entire_path_final_exact":false,"path_transition_ids":["g54e767:897","g54e768:898","g54e769:899","g54e770:900","g54e771:901","g54e772:902","g54e773:903","g54e774:904","g54e774:905"]},{"arrival_id":"wikipedia-Rep2:g26s116:g54e774:905","arrival_transition":"g54e774:905","arrival_kind":"self_loop","entry_transition":"g54e704:888","distance":18,"local_id":"wikipedia-Rep2-lbfe4ae3cfdc58f","source_state":"g54s266","model_action":"g54a2995","function":"wikipedia.add-language","family":"wikipedia.add-language","verdict":"REJECTED","reason":"intervening_different_independent_entry:g54e767:897","entry_final_exact":true,"entire_path_final_exact":false,"path_transition_ids":["g54e704:888","g54e759:889","g54e760:890","g54e761:891","g54e762:892","g54e763:893","g54e764:894","g54e765:895","g54e766:896","g54e767:897","g54e768:898","g54e769:899","g54e770:900","g54e771:901","g54e772:902","g54e773:903","g54e774:904","g54e774:905"]},{"arrival_id":"wikipedia-Rep2:g26s116:g70e931:1105","arrival_transition":"g70e931:1105","arrival_kind":"external","entry_transition":"g70e931:1105","distance":1,"local_id":"wikipedia-Rep2-l54563a781d30d5","source_state":"g68s317","model_action":"g68a3676","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":["g70e931:1105"]},{"arrival_id":"wikipedia-Rep2:g26s116:g70e931:1105","arrival_transition":"g70e931:1105","arrival_kind":"external","entry_transition":"g70e930:1104","distance":2,"local_id":"wikipedia-Rep2-l5e2a0c275b3624","source_state":"g53s254","model_action":"g53a2853","function":"wikipedia.explore","family":"wikipedia.explore","verdict":"REJECTED","reason":"intervening_different_independent_entry:g70e931:1105","entry_final_exact":true,"entire_path_final_exact":true,"path_transition_ids":["g70e930:1104","g70e931:1105"]},{"arrival_id":"wikipedia-Rep2:g26s116:g70e931:1105","arrival_transition":"g70e931:1105","arrival_kind":"external","entry_transition":"g70e929:1103","distance":3,"local_id":"wikipedia-Rep2-l3c4841fcae38bb","source_state":"g3s15","model_action":"g3a194","function":"wikipedia.global-search","family":"wikipedia.global-search","verdict":"REJECTED","reason":"intervening_independent_entry:g70e930:1104","entry_final_exact":true,"entire_path_final_exact":true,"path_transition_ids":["g70e929:1103","g70e930:1104","g70e931:1105"]},{"arrival_id":"wikipedia-Rep2:g26s116:g70e931:1105","arrival_transition":"g70e931:1105","arrival_kind":"external","entry_transition":"g70e928:1102","distance":4,"local_id":"wikipedia-Rep2-la992819a5860a5","source_state":"g68s317","model_action":"g68a3670","function":"wikipedia.contributions","family":"wikipedia.contributions","verdict":"REJECTED","reason":"intervening_different_independent_entry:g70e929:1103","entry_final_exact":true,"entire_path_final_exact":true,"path_transition_ids":["g70e928:1102","g70e929:1103","g70e930:1104","g70e931:1105"]},{"arrival_id":"wikipedia-Rep2:g26s116:g70e931:1105","arrival_transition":"g70e931:1105","arrival_kind":"external","entry_transition":"g70e926:1099","distance":7,"local_id":"wikipedia-Rep2-l1e68106c684352","source_state":"g53s262","model_action":"g53a2946","function":"wikipedia.explore","family":"wikipedia.explore","verdict":"REJECTED","reason":"intervening_different_independent_entry:g70e928:1102","entry_final_exact":true,"entire_path_final_exact":true,"path_transition_ids":["g70e926:1099","g70e927:1100","g68e897:1101","g70e928:1102","g70e929:1103","g70e930:1104","g70e931:1105"]},{"arrival_id":"wikipedia-Rep2:g26s116:g70e945:1122","arrival_transition":"g70e945:1122","arrival_kind":"external","entry_transition":"g70e945:1122","distance":1,"local_id":"wikipedia-Rep2-la705d9f12c75d6","source_state":"g41s189","model_action":"g41a2082","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":["g70e945:1122"]},{"arrival_id":"wikipedia-Rep2:g26s116:g71e979:1159","arrival_transition":"g71e979:1159","arrival_kind":"external","entry_transition":"g71e979:1159","distance":1,"local_id":"wikipedia-Rep2-l46de598ebb364c","source_state":"g39s177","model_action":"g39a1969","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":["g71e979:1159"]},{"arrival_id":"wikipedia-Rep2:g26s116:g71e979:1159","arrival_transition":"g71e979:1159","arrival_kind":"external","entry_transition":"g71e978:1158","distance":2,"local_id":"wikipedia-Rep2-l44a74b630f5bb8","source_state":"g41s189","model_action":"g41a2079","function":"wikipedia.global-search","family":"wikipedia.global-search","verdict":"REJECTED","reason":"superseded_same_function_entry:g71e979:1159","entry_final_exact":true,"entire_path_final_exact":true,"path_transition_ids":["g71e978:1158","g71e979:1159"]},{"arrival_id":"wikipedia-Rep2:g26s116:g71e981:1161","arrival_transition":"g71e981:1161","arrival_kind":"external","entry_transition":"g71e979:1159","distance":3,"local_id":"wikipedia-Rep2-l46de598ebb364c","source_state":"g39s177","model_action":"g39a1969","function":"wikipedia.global-search","family":"wikipedia.global-search","verdict":"REJECTED","reason":"language_configuration_handoff:g71e980:1160","entry_final_exact":true,"entire_path_final_exact":true,"path_transition_ids":["g71e979:1159","g71e980:1160","g71e981:1161"]},{"arrival_id":"wikipedia-Rep2:g26s116:g71e981:1161","arrival_transition":"g71e981:1161","arrival_kind":"external","entry_transition":"g71e978:1158","distance":4,"local_id":"wikipedia-Rep2-l44a74b630f5bb8","source_state":"g41s189","model_action":"g41a2079","function":"wikipedia.global-search","family":"wikipedia.global-search","verdict":"REJECTED","reason":"superseded_same_function_entry:g71e979:1159","entry_final_exact":true,"entire_path_final_exact":true,"path_transition_ids":["g71e978:1158","g71e979:1159","g71e980:1160","g71e981:1161"]},{"arrival_id":"wikipedia-Rep2:g26s116:g71e982:1163","arrival_transition":"g71e982:1163","arrival_kind":"external","entry_transition":"g71e979:1159","distance":5,"local_id":"wikipedia-Rep2-l46de598ebb364c","source_state":"g39s177","model_action":"g39a1969","function":"wikipedia.global-search","family":"wikipedia.global-search","verdict":"REJECTED","reason":"language_configuration_handoff:g71e980:1160","entry_final_exact":true,"entire_path_final_exact":true,"path_transition_ids":["g71e979:1159","g71e980:1160","g71e981:1161","g71e980:1162","g71e982:1163"]},{"arrival_id":"wikipedia-Rep2:g26s116:g71e982:1163","arrival_transition":"g71e982:1163","arrival_kind":"external","entry_transition":"g71e978:1158","distance":6,"local_id":"wikipedia-Rep2-l44a74b630f5bb8","source_state":"g41s189","model_action":"g41a2079","function":"wikipedia.global-search","family":"wikipedia.global-search","verdict":"REJECTED","reason":"superseded_same_function_entry:g71e979:1159","entry_final_exact":true,"entire_path_final_exact":true,"path_transition_ids":["g71e978:1158","g71e979:1159","g71e980:1160","g71e981:1161","g71e980:1162","g71e982:1163"]},{"arrival_id":"wikipedia-Rep2:g26s116:g71e983:1165","arrival_transition":"g71e983:1165","arrival_kind":"external","entry_transition":"g71e979:1159","distance":7,"local_id":"wikipedia-Rep2-l46de598ebb364c","source_state":"g39s177","model_action":"g39a1969","function":"wikipedia.global-search","family":"wikipedia.global-search","verdict":"REJECTED","reason":"language_configuration_handoff:g71e980:1160","entry_final_exact":true,"entire_path_final_exact":true,"path_transition_ids":["g71e979:1159","g71e980:1160","g71e981:1161","g71e980:1162","g71e982:1163","g71e980:1164","g71e983:1165"]},{"arrival_id":"wikipedia-Rep2:g26s116:g71e983:1165","arrival_transition":"g71e983:1165","arrival_kind":"external","entry_transition":"g71e978:1158","distance":8,"local_id":"wikipedia-Rep2-l44a74b630f5bb8","source_state":"g41s189","model_action":"g41a2079","function":"wikipedia.global-search","family":"wikipedia.global-search","verdict":"REJECTED","reason":"superseded_same_function_entry:g71e979:1159","entry_final_exact":true,"entire_path_final_exact":true,"path_transition_ids":["g71e978:1158","g71e979:1159","g71e980:1160","g71e981:1161","g71e980:1162","g71e982:1163","g71e980:1164","g71e983:1165"]},{"arrival_id":"wikipedia-Rep2:g26s116:g26e214:1446","arrival_transition":"g26e214:1446","arrival_kind":"external","entry_transition":"g26e214:1446","distance":1,"local_id":"wikipedia-Rep2-ldf33e3c0a2091d","source_state":"g4s25","model_action":"g4a316","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":["g26e214:1446"]},{"arrival_id":"wikipedia-Rep2:g26s116:g26e214:1446","arrival_transition":"g26e214:1446","arrival_kind":"external","entry_transition":"g80e1192:1440","distance":7,"local_id":"wikipedia-Rep2-l858fd61bb30e9d","source_state":"g13s66","model_action":"g13a687","function":"wikipedia.tab-manager","family":"wikipedia.tab-manager","verdict":"REJECTED","reason":"intervening_different_independent_entry:g26e214:1446","entry_final_exact":true,"entire_path_final_exact":true,"path_transition_ids":["g80e1192:1440","g80e1193:1441","g80e1194:1442","g80e1195:1443","g80e1196:1444","g80e1197:1445","g26e214:1446"]},{"arrival_id":"wikipedia-Rep2:g26s116:g26e214:1446","arrival_transition":"g26e214:1446","arrival_kind":"external","entry_transition":"g80e1190:1438","distance":9,"local_id":"wikipedia-Rep2-l2bd63ccd16a235","source_state":"g36s164","model_action":"g36a1833","function":"wikipedia.tab-manager","family":"wikipedia.tab-manager","verdict":"REJECTED","reason":"intervening_different_independent_entry:g26e214:1446","entry_final_exact":false,"entire_path_final_exact":false,"path_transition_ids":["g80e1190:1438","g80e1191:1439","g80e1192:1440","g80e1193:1441","g80e1194:1442","g80e1195:1443","g80e1196:1444","g80e1197:1445","g26e214:1446"]},{"arrival_id":"wikipedia-Rep2:g26s116:g26e214:1446","arrival_transition":"g26e214:1446","arrival_kind":"external","entry_transition":"g80e1187:1435","distance":12,"local_id":"wikipedia-Rep2-l23d899a179d140","source_state":"g70s327","model_action":"g70a3809","function":"wikipedia.explore","family":"wikipedia.explore","verdict":"REJECTED","reason":"intervening_different_independent_entry:g80e1190:1438","entry_final_exact":true,"entire_path_final_exact":false,"path_transition_ids":["g80e1187:1435","g80e1188:1436","g80e1189:1437","g80e1190:1438","g80e1191:1439","g80e1192:1440","g80e1193:1441","g80e1194:1442","g80e1195:1443","g80e1196:1444","g80e1197:1445","g26e214:1446"]},{"arrival_id":"wikipedia-Rep2:g26s116:g26e214:1446","arrival_transition":"g26e214:1446","arrival_kind":"external","entry_transition":"g75e1004:1433","distance":14,"local_id":"wikipedia-Rep2-lf4003790f4aad7","source_state":"g17s85","model_action":"g17a859","function":"wikipedia.account-login-entry","family":"wikipedia.account-login-entry","verdict":"REJECTED","reason":"intervening_different_independent_entry:g80e1187:1435","entry_final_exact":true,"entire_path_final_exact":false,"path_transition_ids":["g75e1004:1433","g80e1186:1434","g80e1187:1435","g80e1188:1436","g80e1189:1437","g80e1190:1438","g80e1191:1439","g80e1192:1440","g80e1193:1441","g80e1194:1442","g80e1195:1443","g80e1196:1444","g80e1197:1445","g26e214:1446"]},{"arrival_id":"wikipedia-Rep2:g26s116:g26e214:1446","arrival_transition":"g26e214:1446","arrival_kind":"external","entry_transition":"g80e1155:1428","distance":19,"local_id":"wikipedia-Rep2-la4c4f6787c3f86","source_state":"g3s15","model_action":"g3a193","function":"wikipedia.reading-lists","family":"wikipedia.reading-lists","verdict":"REJECTED","reason":"intervening_different_independent_entry:g75e1004:1433","entry_final_exact":true,"entire_path_final_exact":false,"path_transition_ids":["g80e1155:1428","g75e1023:1429","g53e754:1430","g80e1184:1431","g80e1185:1432","g75e1004:1433","g80e1186:1434","g80e1187:1435","g80e1188:1436","g80e1189:1437","g80e1190:1438","g80e1191:1439","g80e1192:1440","g80e1193:1441","g80e1194:1442","g80e1195:1443","g80e1196:1444","g80e1197:1445","g26e214:1446"]},{"arrival_id":"wikipedia-Rep2:g26s116:g26e214:1446","arrival_transition":"g26e214:1446","arrival_kind":"external","entry_transition":"g70e947:1427","distance":20,"local_id":"wikipedia-Rep2-l61a01fd553487d","source_state":"g41s189","model_action":"g41a2080","function":"wikipedia.contributions","family":"wikipedia.contributions","verdict":"REJECTED","reason":"intervening_different_independent_entry:g80e1155:1428","entry_final_exact":true,"entire_path_final_exact":false,"path_transition_ids":["g70e947:1427","g80e1155:1428","g75e1023:1429","g53e754:1430","g80e1184:1431","g80e1185:1432","g75e1004:1433","g80e1186:1434","g80e1187:1435","g80e1188:1436","g80e1189:1437","g80e1190:1438","g80e1191:1439","g80e1192:1440","g80e1193:1441","g80e1194:1442","g80e1195:1443","g80e1196:1444","g80e1197:1445","g26e214:1446"]},{"arrival_id":"wikipedia-Rep2:g26s116:g80e1199:1451","arrival_transition":"g80e1199:1451","arrival_kind":"external","entry_transition":"g26e214:1446","distance":6,"local_id":"wikipedia-Rep2-ldf33e3c0a2091d","source_state":"g4s25","model_action":"g4a316","function":"wikipedia.global-search","family":"wikipedia.global-search","verdict":"REJECTED","reason":"language_configuration_handoff:g54e750:1447","entry_final_exact":true,"entire_path_final_exact":true,"path_transition_ids":["g26e214:1446","g54e750:1447","g54e719:1448","g80e1198:1449","g54e721:1450","g80e1199:1451"]},{"arrival_id":"wikipedia-Rep2:g26s116:g80e1199:1451","arrival_transition":"g80e1199:1451","arrival_kind":"external","entry_transition":"g80e1192:1440","distance":12,"local_id":"wikipedia-Rep2-l858fd61bb30e9d","source_state":"g13s66","model_action":"g13a687","function":"wikipedia.tab-manager","family":"wikipedia.tab-manager","verdict":"REJECTED","reason":"intervening_different_independent_entry:g26e214:1446","entry_final_exact":true,"entire_path_final_exact":true,"path_transition_ids":["g80e1192:1440","g80e1193:1441","g80e1194:1442","g80e1195:1443","g80e1196:1444","g80e1197:1445","g26e214:1446","g54e750:1447","g54e719:1448","g80e1198:1449","g54e721:1450","g80e1199:1451"]},{"arrival_id":"wikipedia-Rep2:g26s116:g80e1199:1451","arrival_transition":"g80e1199:1451","arrival_kind":"external","entry_transition":"g80e1190:1438","distance":14,"local_id":"wikipedia-Rep2-l2bd63ccd16a235","source_state":"g36s164","model_action":"g36a1833","function":"wikipedia.tab-manager","family":"wikipedia.tab-manager","verdict":"REJECTED","reason":"intervening_different_independent_entry:g26e214:1446","entry_final_exact":false,"entire_path_final_exact":false,"path_transition_ids":["g80e1190:1438","g80e1191:1439","g80e1192:1440","g80e1193:1441","g80e1194:1442","g80e1195:1443","g80e1196:1444","g80e1197:1445","g26e214:1446","g54e750:1447","g54e719:1448","g80e1198:1449","g54e721:1450","g80e1199:1451"]},{"arrival_id":"wikipedia-Rep2:g26s116:g80e1199:1451","arrival_transition":"g80e1199:1451","arrival_kind":"external","entry_transition":"g80e1187:1435","distance":17,"local_id":"wikipedia-Rep2-l23d899a179d140","source_state":"g70s327","model_action":"g70a3809","function":"wikipedia.explore","family":"wikipedia.explore","verdict":"REJECTED","reason":"intervening_different_independent_entry:g80e1190:1438","entry_final_exact":true,"entire_path_final_exact":false,"path_transition_ids":["g80e1187:1435","g80e1188:1436","g80e1189:1437","g80e1190:1438","g80e1191:1439","g80e1192:1440","g80e1193:1441","g80e1194:1442","g80e1195:1443","g80e1196:1444","g80e1197:1445","g26e214:1446","g54e750:1447","g54e719:1448","g80e1198:1449","g54e721:1450","g80e1199:1451"]},{"arrival_id":"wikipedia-Rep2:g26s116:g80e1199:1451","arrival_transition":"g80e1199:1451","arrival_kind":"external","entry_transition":"g75e1004:1433","distance":19,"local_id":"wikipedia-Rep2-lf4003790f4aad7","source_state":"g17s85","model_action":"g17a859","function":"wikipedia.account-login-entry","family":"wikipedia.account-login-entry","verdict":"REJECTED","reason":"intervening_different_independent_entry:g80e1187:1435","entry_final_exact":true,"entire_path_final_exact":false,"path_transition_ids":["g75e1004:1433","g80e1186:1434","g80e1187:1435","g80e1188:1436","g80e1189:1437","g80e1190:1438","g80e1191:1439","g80e1192:1440","g80e1193:1441","g80e1194:1442","g80e1195:1443","g80e1196:1444","g80e1197:1445","g26e214:1446","g54e750:1447","g54e719:1448","g80e1198:1449","g54e721:1450","g80e1199:1451"]},{"arrival_id":"wikipedia-Rep2:g26s116:g80e1199:1465","arrival_transition":"g80e1199:1465","arrival_kind":"external","entry_transition":"g54e704:1453","distance":13,"local_id":"wikipedia-Rep2-lafaceabc3354a0","source_state":"g54s266","model_action":"g54a2995","function":"wikipedia.add-language","family":"wikipedia.add-language","verdict":"UNKNOWN","reason":"chronological_candidate_only; function_scope_not_reviewed","entry_final_exact":true,"entire_path_final_exact":true,"path_transition_ids":["g54e704:1453","g49e637:1454","g80e1200:1455","g54e719:1456","g80e1201:1457","g80e1202:1458","g80e1203:1459","g80e1204:1460","g80e1205:1461","g80e1206:1462","g80e1207:1463","g54e720:1464","g80e1199:1465"]},{"arrival_id":"wikipedia-Rep2:g26s116:g80e1199:1465","arrival_transition":"g80e1199:1465","arrival_kind":"external","entry_transition":"g26e214:1446","distance":20,"local_id":"wikipedia-Rep2-ldf33e3c0a2091d","source_state":"g4s25","model_action":"g4a316","function":"wikipedia.global-search","family":"wikipedia.global-search","verdict":"REJECTED","reason":"language_configuration_handoff:g54e750:1447","entry_final_exact":true,"entire_path_final_exact":true,"path_transition_ids":["g26e214:1446","g54e750:1447","g54e719:1448","g80e1198:1449","g54e721:1450","g80e1199:1451","g54e750:1452","g54e704:1453","g49e637:1454","g80e1200:1455","g54e719:1456","g80e1201:1457","g80e1202:1458","g80e1203:1459","g80e1204:1460","g80e1205:1461","g80e1206:1462","g80e1207:1463","g54e720:1464","g80e1199:1465"]},{"arrival_id":"wikipedia-Rep2:g26s116:g80e1208:1467","arrival_transition":"g80e1208:1467","arrival_kind":"external","entry_transition":"g54e704:1453","distance":15,"local_id":"wikipedia-Rep2-lafaceabc3354a0","source_state":"g54s266","model_action":"g54a2995","function":"wikipedia.add-language","family":"wikipedia.add-language","verdict":"UNKNOWN","reason":"chronological_candidate_only; function_scope_not_reviewed","entry_final_exact":true,"entire_path_final_exact":true,"path_transition_ids":["g54e704:1453","g49e637:1454","g80e1200:1455","g54e719:1456","g80e1201:1457","g80e1202:1458","g80e1203:1459","g80e1204:1460","g80e1205:1461","g80e1206:1462","g80e1207:1463","g54e720:1464","g80e1199:1465","g54e750:1466","g80e1208:1467"]},{"arrival_id":"wikipedia-Rep2:g26s116:g80e1208:1469","arrival_transition":"g80e1208:1469","arrival_kind":"external","entry_transition":"g54e704:1453","distance":17,"local_id":"wikipedia-Rep2-lafaceabc3354a0","source_state":"g54s266","model_action":"g54a2995","function":"wikipedia.add-language","family":"wikipedia.add-language","verdict":"UNKNOWN","reason":"chronological_candidate_only; function_scope_not_reviewed","entry_final_exact":true,"entire_path_final_exact":true,"path_transition_ids":["g54e704:1453","g49e637:1454","g80e1200:1455","g54e719:1456","g80e1201:1457","g80e1202:1458","g80e1203:1459","g80e1204:1460","g80e1205:1461","g80e1206:1462","g80e1207:1463","g54e720:1464","g80e1199:1465","g54e750:1466","g80e1208:1467","g54e750:1468","g80e1208:1469"]},{"arrival_id":"wikipedia-Rep2:g26s116:g80e1199:1490","arrival_transition":"g80e1199:1490","arrival_kind":"external","entry_transition":"g54e704:1488","distance":3,"local_id":"wikipedia-Rep2-l22674cad7edc39","source_state":"g54s266","model_action":"g54a2995","function":"wikipedia.add-language","family":"wikipedia.add-language","verdict":"UNKNOWN","reason":"chronological_candidate_only; function_scope_not_reviewed","entry_final_exact":true,"entire_path_final_exact":true,"path_transition_ids":["g54e704:1488","g80e1218:1489","g80e1199:1490"]},{"arrival_id":"wikipedia-Rep2:g26s116:g80e1199:1490","arrival_transition":"g80e1199:1490","arrival_kind":"external","entry_transition":"g49e673:1483","distance":8,"local_id":"wikipedia-Rep2-l5b194bb232b185","source_state":"g24s106","model_action":"g24a1089","function":"wikipedia.search-language-LanguagesListActivity","family":"wikipedia.search-language-LanguagesListActivity","verdict":"REJECTED","reason":"intervening_different_independent_entry:g54e704:1488","entry_final_exact":true,"entire_path_final_exact":true,"path_transition_ids":["g49e673:1483","g80e1212:1484","g80e1215:1485","g80e1216:1486","g80e1217:1487","g54e704:1488","g80e1218:1489","g80e1199:1490"]},{"arrival_id":"wikipedia-Rep2:g26s116:g80e1199:1490","arrival_transition":"g80e1199:1490","arrival_kind":"external","entry_transition":"g54e704:1482","distance":9,"local_id":"wikipedia-Rep2-l0340cade0c2b3c","source_state":"g54s266","model_action":"g54a2995","function":"wikipedia.add-language","family":"wikipedia.add-language","verdict":"REJECTED","reason":"intervening_different_independent_entry:g49e673:1483","entry_final_exact":true,"entire_path_final_exact":true,"path_transition_ids":["g54e704:1482","g49e673:1483","g80e1212:1484","g80e1215:1485","g80e1216:1486","g80e1217:1487","g54e704:1488","g80e1218:1489","g80e1199:1490"]},{"arrival_id":"wikipedia-Rep2:g26s116:g80e1199:1490","arrival_transition":"g80e1199:1490","arrival_kind":"external","entry_transition":"g49e673:1478","distance":13,"local_id":"wikipedia-Rep2-l5b194bb232b185","source_state":"g24s106","model_action":"g24a1089","function":"wikipedia.search-language-LanguagesListActivity","family":"wikipedia.search-language-LanguagesListActivity","verdict":"REJECTED","reason":"intervening_different_independent_entry:g54e704:1482","entry_final_exact":true,"entire_path_final_exact":true,"path_transition_ids":["g49e673:1478","g80e1212:1479","g80e1213:1480","g80e1214:1481","g54e704:1482","g49e673:1483","g80e1212:1484","g80e1215:1485","g80e1216:1486","g80e1217:1487","g54e704:1488","g80e1218:1489","g80e1199:1490"]},{"arrival_id":"wikipedia-Rep2:g26s116:g80e1199:1490","arrival_transition":"g80e1199:1490","arrival_kind":"external","entry_transition":"g54e704:1477","distance":14,"local_id":"wikipedia-Rep2-ldf0b5763914827","source_state":"g54s266","model_action":"g54a2995","function":"wikipedia.add-language","family":"wikipedia.add-language","verdict":"REJECTED","reason":"intervening_different_independent_entry:g49e673:1478","entry_final_exact":true,"entire_path_final_exact":true,"path_transition_ids":["g54e704:1477","g49e673:1478","g80e1212:1479","g80e1213:1480","g80e1214:1481","g54e704:1482","g49e673:1483","g80e1212:1484","g80e1215:1485","g80e1216:1486","g80e1217:1487","g54e704:1488","g80e1218:1489","g80e1199:1490"]},{"arrival_id":"wikipedia-Rep2:g26s116:g80e1199:1490","arrival_transition":"g80e1199:1490","arrival_kind":"external","entry_transition":"g49e673:1474","distance":17,"local_id":"wikipedia-Rep2-l5b194bb232b185","source_state":"g24s106","model_action":"g24a1089","function":"wikipedia.search-language-LanguagesListActivity","family":"wikipedia.search-language-LanguagesListActivity","verdict":"REJECTED","reason":"intervening_different_independent_entry:g54e704:1477","entry_final_exact":true,"entire_path_final_exact":true,"path_transition_ids":["g49e673:1474","g80e1210:1475","g80e1211:1476","g54e704:1477","g49e673:1478","g80e1212:1479","g80e1213:1480","g80e1214:1481","g54e704:1482","g49e673:1483","g80e1212:1484","g80e1215:1485","g80e1216:1486","g80e1217:1487","g54e704:1488","g80e1218:1489","g80e1199:1490"]},{"arrival_id":"wikipedia-Rep2:g26s116:g80e1199:1490","arrival_transition":"g80e1199:1490","arrival_kind":"external","entry_transition":"g49e673:1472","distance":19,"local_id":"wikipedia-Rep2-l5b194bb232b185","source_state":"g24s106","model_action":"g24a1089","function":"wikipedia.search-language-LanguagesListActivity","family":"wikipedia.search-language-LanguagesListActivity","verdict":"REJECTED","reason":"intervening_different_independent_entry:g54e704:1477","entry_final_exact":true,"entire_path_final_exact":true,"path_transition_ids":["g49e673:1472","g80e1209:1473","g49e673:1474","g80e1210:1475","g80e1211:1476","g54e704:1477","g49e673:1478","g80e1212:1479","g80e1213:1480","g80e1214:1481","g54e704:1482","g49e673:1483","g80e1212:1484","g80e1215:1485","g80e1216:1486","g80e1217:1487","g54e704:1488","g80e1218:1489","g80e1199:1490"]},{"arrival_id":"wikipedia-Rep2:g26s116:g80e1199:1490","arrival_transition":"g80e1199:1490","arrival_kind":"external","entry_transition":"g54e704:1471","distance":20,"local_id":"wikipedia-Rep2-l5ea5d9f59c316c","source_state":"g54s266","model_action":"g54a2995","function":"wikipedia.add-language","family":"wikipedia.add-language","verdict":"REJECTED","reason":"intervening_different_independent_entry:g49e673:1472","entry_final_exact":true,"entire_path_final_exact":true,"path_transition_ids":["g54e704:1471","g49e673:1472","g80e1209:1473","g49e673:1474","g80e1210:1475","g80e1211:1476","g54e704:1477","g49e673:1478","g80e1212:1479","g80e1213:1480","g80e1214:1481","g54e704:1482","g49e673:1483","g80e1212:1484","g80e1215:1485","g80e1216:1486","g80e1217:1487","g54e704:1488","g80e1218:1489","g80e1199:1490"]},{"arrival_id":"wikipedia-Rep2:g26s116:g82e1266:1555","arrival_transition":"g82e1266:1555","arrival_kind":"external","entry_transition":"g82e1266:1555","distance":1,"local_id":"wikipedia-Rep2-l34368cc3f89f9d","source_state":"g4s20","model_action":"g4a244","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":["g82e1266:1555"]},{"arrival_id":"wikipedia-Rep2:g26s116:g82e1266:1555","arrival_transition":"g82e1266:1555","arrival_kind":"external","entry_transition":"g82e1263:1552","distance":4,"local_id":"wikipedia-Rep2-l2898d7ba0d1256","source_state":"g4s25","model_action":"g4a318","function":"wikipedia.article-gallery","family":"wikipedia.article-gallery","verdict":"REJECTED","reason":"intervening_different_independent_entry:g82e1266:1555","entry_final_exact":true,"entire_path_final_exact":true,"path_transition_ids":["g82e1263:1552","g82e1264:1553","g82e1265:1554","g82e1266:1555"]},{"arrival_id":"wikipedia-Rep2:g26s116:g82e1266:1555","arrival_transition":"g82e1266:1555","arrival_kind":"external","entry_transition":"g82e1261:1550","distance":6,"local_id":"wikipedia-Rep2-l4e93d3d8987549","source_state":"g80s379","model_action":"g80a4323","function":"wikipedia.global-search","family":"wikipedia.global-search","verdict":"REJECTED","reason":"function_exit_before_header:outside_PageActivity:g82e1262:1551","entry_final_exact":true,"entire_path_final_exact":true,"path_transition_ids":["g82e1261:1550","g82e1262:1551","g82e1263:1552","g82e1264:1553","g82e1265:1554","g82e1266:1555"]}],"after":{"wikipedia-Rep2:g26s116:g26e214:230":{"transition_ids":["g26e215:231","g26e216:232","g26e217:233"],"stop":"abstraction_version_changed"},"wikipedia-Rep2:g26s116:g26e215:231":{"transition_ids":["g26e216:232","g26e217:233"],"stop":"abstraction_version_changed"},"wikipedia-Rep2:g26s116:g26e216:232":{"transition_ids":["g26e217:233"],"stop":"abstraction_version_changed"},"wikipedia-Rep2:g26s116:g26e217:233":{"transition_ids":[],"stop":"abstraction_version_changed"},"wikipedia-Rep2:g26s116:g29e252:270":{"transition_ids":["g29e253:271","g29e254:272","g29e255:273","g29e256:274","g29e257:275"],"stop":"five_step_limit"},"wikipedia-Rep2:g26s116:g29e253:271":{"transition_ids":["g29e254:272","g29e255:273","g29e256:274","g29e257:275","g29e258:276"],"stop":"five_step_limit"},"wikipedia-Rep2:g26s116:g53e770:871":{"transition_ids":["g53e771:872","g53e772:873"],"stop":"abstraction_version_changed"},"wikipedia-Rep2:g26s116:g54e761:891":{"transition_ids":["g54e762:892","g54e763:893","g54e764:894","g54e765:895","g54e766:896"],"stop":"five_step_limit"},"wikipedia-Rep2:g26s116:g54e762:892":{"transition_ids":["g54e763:893","g54e764:894","g54e765:895","g54e766:896","g54e767:897"],"stop":"five_step_limit"},"wikipedia-Rep2:g26s116:g54e773:903":{"transition_ids":["g54e774:904","g54e774:905","g54e775:906","g54e776:907","g54e777:908"],"stop":"five_step_limit"},"wikipedia-Rep2:g26s116:g54e774:904":{"transition_ids":["g54e774:905","g54e775:906","g54e776:907","g54e777:908"],"stop":"abstraction_version_changed"},"wikipedia-Rep2:g26s116:g54e774:905":{"transition_ids":["g54e775:906","g54e776:907","g54e777:908"],"stop":"abstraction_version_changed"},"wikipedia-Rep2:g26s116:g70e931:1105":{"transition_ids":["g70e932:1106","g70e933:1107","g70e934:1108","g70e935:1109","g68e897:1110"],"stop":"five_step_limit"},"wikipedia-Rep2:g26s116:g70e945:1122":{"transition_ids":["g70e946:1123","g70e947:1124","g70e948:1125","g53e717:1126","g70e949:1127"],"stop":"five_step_limit"},"wikipedia-Rep2:g26s116:g71e979:1159":{"transition_ids":["g71e980:1160","g71e981:1161","g71e980:1162","g71e982:1163","g71e980:1164"],"stop":"five_step_limit"},"wikipedia-Rep2:g26s116:g71e981:1161":{"transition_ids":["g71e980:1162","g71e982:1163","g71e980:1164","g71e983:1165","g54e763:1166"],"stop":"five_step_limit"},"wikipedia-Rep2:g26s116:g71e982:1163":{"transition_ids":["g71e980:1164","g71e983:1165","g54e763:1166","g71e984:1167"],"stop":"GUI_ID_gap;GUI_timestamp_gap;observed_State_gap"},"wikipedia-Rep2:g26s116:g71e983:1165":{"transition_ids":["g54e763:1166","g71e984:1167"],"stop":"GUI_ID_gap;GUI_timestamp_gap;observed_State_gap"},"wikipedia-Rep2:g26s116:g26e214:1446":{"transition_ids":["g54e750:1447","g54e719:1448","g80e1198:1449","g54e721:1450","g80e1199:1451"],"stop":"five_step_limit"},"wikipedia-Rep2:g26s116:g80e1199:1451":{"transition_ids":["g54e750:1452","g54e704:1453","g49e637:1454","g80e1200:1455","g54e719:1456"],"stop":"five_step_limit"},"wikipedia-Rep2:g26s116:g80e1199:1465":{"transition_ids":["g54e750:1466","g80e1208:1467","g54e750:1468","g80e1208:1469","g54e750:1470"],"stop":"five_step_limit"},"wikipedia-Rep2:g26s116:g80e1208:1467":{"transition_ids":["g54e750:1468","g80e1208:1469","g54e750:1470","g54e704:1471","g49e673:1472"],"stop":"five_step_limit"},"wikipedia-Rep2:g26s116:g80e1208:1469":{"transition_ids":["g54e750:1470","g54e704:1471","g49e673:1472","g80e1209:1473","g49e673:1474"],"stop":"five_step_limit"},"wikipedia-Rep2:g26s116:g80e1199:1490":{"transition_ids":["g29e254:1491","g80e1219:1492","g80e1220:1493","g80e1221:1494"],"stop":"abstraction_version_changed"},"wikipedia-Rep2:g26s116:g82e1266:1555":{"transition_ids":["g54e763:1556","g82e1267:1557","g82e1268:1558","g82e1269:1559","g82e1270:1560"],"stop":"five_step_limit"}},"topology_incoming":[{"id":"g53e770","source":"g13s71","target":"g26s116","action":"g13a739","action_fingerprint":"type=MODEL_CLICK|activity=org.wikipedia.page.PageActivity|class=android.widget.TextView|text=Search W|resource_id=org.wikipedia:id/page_toolbar_button_search|bounds=147,99,817,194","target_activity":"org.wikipedia.search.SearchActivity","type":"NEW_ACTION","visits":41,"is_circle":false,"first_seen":1002,"last_seen":1002,"confirmed_final_executions":1,"relation":"external"},{"id":"g54e761","source":"g44s214","target":"g26s116","action":"g44a2332","action_fingerprint":"type=MODEL_CLICK|activity=org.wikipedia.settings.languages.WikipediaLanguagesActivity|class=android.widget.LinearLayout|text=|resource_id=|bounds=0,630,1080,756","target_activity":"org.wikipedia.search.SearchActivity","type":"NEW_ACTION_TARGET","visits":40,"is_circle":false,"first_seen":1101,"last_seen":1101,"confirmed_final_executions":1,"relation":"external"},{"id":"g71e979","source":"g39s177","target":"g26s116","action":"g39a1969","action_fingerprint":"type=MODEL_CLICK|activity=org.wikipedia.main.MainActivity|class=androidx.cardview.widget.CardView|text=|resource_id=org.wikipedia:id/search_card|bounds=42,239,1038,365","target_activity":"org.wikipedia.search.SearchActivity","type":"NEW_ACTION","visits":23,"is_circle":false,"first_seen":1412,"last_seen":1412,"confirmed_final_executions":1,"relation":"external"},{"id":"g54e762","source":"g26s116","target":"g26s116","action":"g26a1202","action_fingerprint":"type=MODEL_SCROLL_LEFT_RIGHT|activity=org.wikipedia.search.SearchActivity|class=android.widget.HorizontalScrollView|text=|resource_id=org.wikipedia:id/horizontal_scroll_languages|bounds=21,232,875,358","target_activity":"org.wikipedia.search.SearchActivity","type":"NEW_ACTION","visits":40,"is_circle":true,"first_seen":1102,"last_seen":1102,"confirmed_final_executions":1,"relation":"self_loop"},{"id":"g26e216","source":"g26s116","target":"g26s116","action":"g26a1196","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,99,1054,193","target_activity":"org.wikipedia.search.SearchActivity","type":"NEW_ACTION","visits":68,"is_circle":true,"first_seen":287,"last_seen":287,"confirmed_final_executions":1,"relation":"self_loop"},{"id":"g70e931","source":"g68s317","target":"g26s116","action":"g68a3676","action_fingerprint":"type=MODEL_CLICK|activity=org.wikipedia.main.MainActivity|class=androidx.cardview.widget.CardView|text=|resource_id=org.wikipedia:id/search_container|bounds=42,239,1038,365","target_activity":"org.wikipedia.search.SearchActivity","type":"NEW_ACTION","visits":24,"is_circle":false,"first_seen":1341,"last_seen":1341,"confirmed_final_executions":1,"relation":"external"},{"id":"g71e982","source":"g44s214","target":"g26s116","action":"g44a2338","action_fingerprint":"type=MODEL_SCROLL_RIGHT_LEFT|activity=org.wikipedia.settings.languages.WikipediaLanguagesActivity|class=androidx.recyclerview.widget.RecyclerView|text=|resource_id=org.wikipedia:id/wikipedia_languages_recycler|bounds=0,231,1080,2337","target_activity":"org.wikipedia.search.SearchActivity","type":"NEW_ACTION","visits":23,"is_circle":false,"first_seen":1416,"last_seen":1416,"confirmed_final_executions":1,"relation":"external"},{"id":"g29e252","source":"g29s130","target":"g26s116","action":"g29a1385","action_fingerprint":"type=MODEL_CLICK|activity=org.wikipedia.search.SearchActivity|class=android.widget.LinearLayout|text=|resource_id=|bounds=570,232,837,358","target_activity":"org.wikipedia.search.SearchActivity","type":"NEW_ACTION","visits":65,"is_circle":false,"first_seen":325,"last_seen":325,"confirmed_final_executions":1,"relation":"external"},{"id":"g70e945","source":"g41s189","target":"g26s116","action":"g41a2082","action_fingerprint":"type=MODEL_CLICK|activity=org.wikipedia.main.MainActivity|class=androidx.cardview.widget.CardView|text=|resource_id=org.wikipedia:id/search_container|bounds=42,239,1038,365","target_activity":"org.wikipedia.search.SearchActivity","type":"NEW_ACTION_TARGET","visits":24,"is_circle":false,"first_seen":1360,"last_seen":1360,"confirmed_final_executions":1,"relation":"external"},{"id":"g82e1266","source":"g4s20","target":"g26s116","action":"g4a244","action_fingerprint":"type=MODEL_CLICK|activity=org.wikipedia.page.PageActivity|class=android.widget.TextView|text=Search W|resource_id=org.wikipedia:id/page_toolbar_button_search|bounds=147,99,817,194","target_activity":"org.wikipedia.search.SearchActivity","type":"NEW_ACTION","visits":12,"is_circle":false,"first_seen":1967,"last_seen":1967,"confirmed_final_executions":1,"relation":"external"},{"id":"g54e774","source":"g26s116","target":"g26s116","action":"g26a1201","action_fingerprint":"type=MODEL_CLICK|activity=org.wikipedia.search.SearchActivity|class=android.widget.LinearLayout|text=|resource_id=|bounds=21,232,263,358","target_activity":"org.wikipedia.search.SearchActivity","type":"EXISTING","visits":80,"is_circle":true,"first_seen":1114,"last_seen":1115,"confirmed_final_executions":2,"relation":"self_loop"},{"id":"g71e981","source":"g44s214","target":"g26s116","action":"g44a2337","action_fingerprint":"type=MODEL_SCROLL_LEFT_RIGHT|activity=org.wikipedia.settings.languages.WikipediaLanguagesActivity|class=androidx.recyclerview.widget.RecyclerView|text=|resource_id=org.wikipedia:id/wikipedia_languages_recycler|bounds=0,231,1080,2337","target_activity":"org.wikipedia.search.SearchActivity","type":"NEW_ACTION","visits":23,"is_circle":false,"first_seen":1414,"last_seen":1414,"confirmed_final_executions":1,"relation":"external"},{"id":"g71e983","source":"g44s214","target":"g26s116","action":"g44a2339","action_fingerprint":"type=MODEL_BACK","target_activity":"org.wikipedia.search.SearchActivity","type":"NEW_ACTION","visits":23,"is_circle":false,"first_seen":1418,"last_seen":1418,"confirmed_final_executions":1,"relation":"external"},{"id":"g29e253","source":"g26s116","target":"g26s116","action":"g26a1197","action_fingerprint":"type=MODEL_LONG_CLICK|activity=org.wikipedia.search.SearchActivity|class=android.widget.AutoCompleteTextView|text=Search W|resource_id=org.wikipedia:id/search_src_text|bounds=168,99,1054,193","target_activity":"org.wikipedia.search.SearchActivity","type":"NEW_ACTION","visits":65,"is_circle":true,"first_seen":326,"last_seen":326,"confirmed_final_executions":1,"relation":"self_loop"},{"id":"g26e215","source":"g26s116","target":"g26s116","action":"g26a1203","action_fingerprint":"type=MODEL_SCROLL_RIGHT_LEFT|activity=org.wikipedia.search.SearchActivity|class=android.widget.HorizontalScrollView|text=|resource_id=org.wikipedia:id/horizontal_scroll_languages|bounds=21,232,875,358","target_activity":"org.wikipedia.search.SearchActivity","type":"NEW_ACTION","visits":68,"is_circle":true,"first_seen":286,"last_seen":286,"confirmed_final_executions":1,"relation":"self_loop"},{"id":"g26e214","source":"g4s25","target":"g26s116","action":"g4a316","action_fingerprint":"type=MODEL_CLICK|activity=org.wikipedia.page.PageActivity|class=android.widget.TextView|text=Search W|resource_id=org.wikipedia:id/page_toolbar_button_search|bounds=147,99,817,194","target_activity":"org.wikipedia.search.SearchActivity","type":"EXISTING","visits":82,"is_circle":false,"first_seen":285,"last_seen":1852,"confirmed_final_executions":2,"relation":"external"},{"id":"g54e773","source":"g29s130","target":"g26s116","action":"g29a1386","action_fingerprint":"type=MODEL_SCROLL_LEFT_RIGHT|activity=org.wikipedia.search.SearchActivity|class=android.widget.HorizontalScrollView|text=|resource_id=org.wikipedia:id/horizontal_scroll_languages|bounds=21,232,875,358","target_activity":"org.wikipedia.search.SearchActivity","type":"NEW_ACTION","visits":40,"is_circle":false,"first_seen":1113,"last_seen":1113,"confirmed_final_executions":1,"relation":"external"},{"id":"g80e1208","source":"g54s266","target":"g26s116","action":"g54a2993","action_fingerprint":"type=MODEL_CLICK|activity=org.wikipedia.settings.languages.WikipediaLanguagesActivity|class=android.widget.LinearLayout|text=|resource_id=|bounds=0,1134,1080,1260","target_activity":"org.wikipedia.search.SearchActivity","type":"EXISTING","visits":28,"is_circle":false,"first_seen":1873,"last_seen":1875,"confirmed_final_executions":2,"relation":"external"},{"id":"g26e217","source":"g26s116","target":"g26s116","action":"g26a1198","action_fingerprint":"type=MODEL_CLICK|activity=org.wikipedia.search.SearchActivity|class=android.widget.LinearLayout|text=|resource_id=org.wikipedia:id/search_container|bounds=0,63,1080,2337","target_activity":"org.wikipedia.search.SearchActivity","type":"NEW_ACTION","visits":68,"is_circle":true,"first_seen":288,"last_seen":288,"confirmed_final_executions":1,"relation":"self_loop"},{"id":"g80e1199","source":"g54s266","target":"g26s116","action":"g54a2990","action_fingerprint":"type=MODEL_CLICK|activity=org.wikipedia.settings.languages.WikipediaLanguagesActivity|class=android.widget.ImageButton|text=#547956c0|resource_id=|bounds=0,73,147,220","target_activity":"org.wikipedia.search.SearchActivity","type":"EXISTING","visits":42,"is_circle":false,"first_seen":1857,"last_seen":1896,"confirmed_final_executions":3,"relation":"external"}],"graph_history":"<svg width=\"1008pt\" height=\"397pt\"\n viewBox=\"0.00 0.00 1008.20 397.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 375.6)\">\n<title>G</title>\n<!-- g13s71 -->\n<g id=\"state&#45;g13s71\" class=\"node\">\n<title>g13s71</title>\n<g id=\"a_state&#45;g13s71\"><a xlink:href=\"#state:g13s71\" xlink:title=\"g13s71\\nPageActivity\">\n<path fill=\"#d5e3ed\" stroke=\"#829291\" d=\"M285.5,-336C285.5,-336 224.5,-336 224.5,-336 218.5,-336 212.5,-330 212.5,-324 212.5,-324 212.5,-312 212.5,-312 212.5,-306 218.5,-300 224.5,-300 224.5,-300 285.5,-300 285.5,-300 291.5,-300 297.5,-306 297.5,-312 297.5,-312 297.5,-324 297.5,-324 297.5,-330 291.5,-336 285.5,-336\"/>\n<text text-anchor=\"middle\" x=\"255\" y=\"-321.2\" font-family=\"DejaVu Sans\" font-size=\"11.00\" fill=\"#243431\">g13s71</text>\n<text text-anchor=\"middle\" x=\"255\" y=\"-309.2\" font-family=\"DejaVu Sans\" font-size=\"11.00\" fill=\"#243431\">PageActivity</text>\n</a>\n</g>\n</g>\n<!-- g26s116 -->\n<g id=\"state&#45;g26s116\" class=\"node\">\n<title>g26s116</title>\n<g id=\"a_state&#45;g26s116\"><a xlink:href=\"#state:g26s116\" xlink:title=\"g26s116\\nSearchActivity\">\n<path fill=\"#e6b455\" stroke=\"#829291\" d=\"M577,-186C577,-186 505,-186 505,-186 499,-186 493,-180 493,-174 493,-174 493,-162 493,-162 493,-156 499,-150 505,-150 505,-150 577,-150 577,-150 583,-150 589,-156 589,-162 589,-162 589,-174 589,-174 589,-180 583,-186 577,-186\"/>\n<text text-anchor=\"middle\" x=\"541\" y=\"-171.2\" font-family=\"DejaVu Sans\" font-size=\"11.00\" fill=\"#243431\">g26s116</text>\n<text text-anchor=\"middle\" x=\"541\" y=\"-159.2\" font-family=\"DejaVu Sans\" font-size=\"11.00\" fill=\"#243431\">SearchActivity</text>\n</a>\n</g>\n</g>\n<!-- g13s71&#45;&gt;g26s116 -->\n<g id=\"edge2\" class=\"edge\">\n<title>g13s71&#45;&gt;g26s116</title>\n<g id=\"a_edge2\"><a xlink:href=\"#event:g53e770:871\" xlink:title=\"Search W ×1\">\n<path fill=\"none\" stroke=\"#26728f\" stroke-width=\"2\" d=\"M297.72,-317.51C343.17,-315.11 416.29,-305.58 468,-271 497.51,-251.27 518.59,-215.01 530.04,-191.21\"/>\n<polygon fill=\"#26728f\" stroke=\"#26728f\" stroke-width=\"2\" points=\"531.87,-191.83 532.47,-186.03 528.39,-190.19 531.87,-191.83\"/>\n</a>\n</g>\n<g id=\"a_edge2&#45;label\"><a xlink:href=\"#event:g53e770:871\" xlink:title=\"Search W ×1\">\n<text text-anchor=\"middle\" x=\"398\" y=\"-316.8\" font-family=\"DejaVu Sans\" font-size=\"9.00\">Search W ×1</text>\n</a>\n</g>\n</g>\n<!-- g26s116&#45;&gt;g26s116 -->\n<g id=\"edge9\" class=\"edge\">\n<title>g26s116&#45;&gt;g26s116</title>\n<g id=\"a_edge9\"><a xlink:href=\"#topology:g26a1202\" xlink:title=\"g54e762\">\n<path fill=\"none\" stroke=\"#9d9e99\" stroke-dasharray=\"5,2\" d=\"M538.09,-186.09C537.89,-193.62 538.86,-200 541,-200 542.57,-200 543.51,-196.56 543.82,-191.75\"/>\n<polygon fill=\"#9d9e99\" stroke=\"#9d9e99\" points=\"545.75,-191.62 543.91,-186.09 541.9,-191.56 545.75,-191.62\"/>\n</a>\n</g>\n<g id=\"a_edge9&#45;label\"><a xlink:href=\"#topology:g26a1202\" xlink:title=\"g54e762\">\n<text text-anchor=\"middle\" x=\"541\" y=\"-202.8\" font-family=\"DejaVu Sans\" font-size=\"9.00\">g54e762</text>\n</a>\n</g>\n</g>\n<!-- g26s116&#45;&gt;g26s116 -->\n<g id=\"edge10\" class=\"edge\">\n<title>g26s116&#45;&gt;g26s116</title>\n<g id=\"a_edge10\"><a xlink:href=\"#topology:g26a1196\" xlink:title=\"g26e216\">\n<path fill=\"none\" stroke=\"#9d9e99\" stroke-dasharray=\"5,2\" d=\"M535.82,-186.42C534.01,-200.16 535.74,-214 541,-214 545.52,-214 547.43,-203.78 546.73,-192.18\"/>\n<polygon fill=\"#9d9e99\" stroke=\"#9d9e99\" points=\"548.62,-191.71 546.18,-186.42 544.79,-192.08 548.62,-191.71\"/>\n</a>\n</g>\n<g id=\"a_edge10&#45;label\"><a xlink:href=\"#topology:g26a1196\" xlink:title=\"g26e216\">\n<text text-anchor=\"middle\" x=\"541\" y=\"-216.8\" font-family=\"DejaVu Sans\" font-size=\"9.00\">g26e216</text>\n</a>\n</g>\n</g>\n<!-- g26s116&#45;&gt;g26s116 -->\n<g id=\"edge11\" class=\"edge\">\n<title>g26s116&#45;&gt;g26s116</title>\n<g id=\"a_edge11\"><a xlink:href=\"#topology:g26a1201\" xlink:title=\"g54e774\">\n<path fill=\"none\" stroke=\"#9d9e99\" stroke-dasharray=\"5,2\" d=\"M534.32,-186.12C530.01,-205.73 532.23,-228 541,-228 548.94,-228 551.52,-209.71 548.72,-191.69\"/>\n<polygon fill=\"#9d9e99\" stroke=\"#9d9e99\" points=\"550.58,-191.17 547.68,-186.12 546.8,-191.88 550.58,-191.17\"/>\n</a>\n</g>\n<g id=\"a_edge11&#45;label\"><a xlink:href=\"#topology:g26a1201\" xlink:title=\"g54e774\">\n<text text-anchor=\"middle\" x=\"541\" y=\"-230.8\" font-family=\"DejaVu Sans\" font-size=\"9.00\">g54e774</text>\n</a>\n</g>\n</g>\n<!-- g26s116&#45;&gt;g26s116 -->\n<g id=\"edge13\" class=\"edge\">\n<title>g26s116&#45;&gt;g26s116</title>\n<g id=\"a_edge13\"><a xlink:href=\"#topology:g26a1197\" xlink:title=\"g29e253\">\n<path fill=\"none\" stroke=\"#9d9e99\" stroke-dasharray=\"5,2\" d=\"M533.18,-186.21C526.03,-211.28 528.64,-242 541,-242 552.49,-242 555.55,-215.45 550.19,-191.57\"/>\n<polygon fill=\"#9d9e99\" stroke=\"#9d9e99\" points=\"552.04,-191.06 548.82,-186.21 548.31,-192.01 552.04,-191.06\"/>\n</a>\n</g>\n<g id=\"a_edge13&#45;label\"><a xlink:href=\"#topology:g26a1197\" xlink:title=\"g29e253\">\n<text text-anchor=\"middle\" x=\"541\" y=\"-244.8\" font-family=\"DejaVu Sans\" font-size=\"9.00\">g29e253</text>\n</a>\n</g>\n</g>\n<!-- g26s116&#45;&gt;g26s116 -->\n<g id=\"edge14\" class=\"edge\">\n<title>g26s116&#45;&gt;g26s116</title>\n<g id=\"a_edge14\"><a xlink:href=\"#topology:g26a1203\" xlink:title=\"g26e215\">\n<path fill=\"none\" stroke=\"#9d9e99\" stroke-dasharray=\"5,2\" d=\"M532.34,-186.14C522.05,-216.52 524.94,-256 541,-256 556.12,-256 559.57,-221.01 551.33,-191.57\"/>\n<polygon fill=\"#9d9e99\" stroke=\"#9d9e99\" points=\"553.12,-190.83 549.66,-186.14 549.44,-191.97 553.12,-190.83\"/>\n</a>\n</g>\n<g id=\"a_edge14&#45;label\"><a xlink:href=\"#topology:g26a1203\" xlink:title=\"g26e215\">\n<text text-anchor=\"middle\" x=\"541\" y=\"-258.8\" font-family=\"DejaVu Sans\" font-size=\"9.00\">g26e215</text>\n</a>\n</g>\n</g>\n<!-- g26s116&#45;&gt;g26s116 -->\n<g id=\"edge17\" class=\"edge\">\n<title>g26s116&#45;&gt;g26s116</title>\n<g id=\"a_edge17\"><a xlink:href=\"#topology:g26a1198\" xlink:title=\"g26e217\">\n<path fill=\"none\" stroke=\"#9d9e99\" stroke-dasharray=\"5,2\" d=\"M531.71,-186.04C518.07,-221.59 521.17,-270 541,-270 559.82,-270 563.57,-226.38 552.24,-191.55\"/>\n<polygon fill=\"#9d9e99\" stroke=\"#9d9e99\" points=\"553.94,-190.58 550.29,-186.04 550.31,-191.87 553.94,-190.58\"/>\n</a>\n</g>\n<g id=\"a_edge17&#45;label\"><a xlink:href=\"#topology:g26a1198\" xlink:title=\"g26e217\">\n<text text-anchor=\"middle\" x=\"541\" y=\"-272.8\" font-family=\"DejaVu Sans\" font-size=\"9.00\">g26e217</text>\n</a>\n</g>\n</g>\n<!-- g27s118 -->\n<g id=\"state&#45;g27s118\" class=\"node\">\n<title>g27s118</title>\n<g id=\"a_state&#45;g27s118\"><a xlink:href=\"#state:g27s118\" xlink:title=\"g27s118\\nSearchActivity\">\n<path fill=\"#cde4d9\" stroke=\"#829291\" d=\"M765,-211C765,-211 693,-211 693,-211 687,-211 681,-205 681,-199 681,-199 681,-187 681,-187 681,-181 687,-175 693,-175 693,-175 765,-175 765,-175 771,-175 777,-181 777,-187 777,-187 777,-199 777,-199 777,-205 771,-211 765,-211\"/>\n<text text-anchor=\"middle\" x=\"729\" y=\"-196.2\" font-family=\"DejaVu Sans\" font-size=\"11.00\" fill=\"#243431\">g27s118</text>\n<text text-anchor=\"middle\" x=\"729\" y=\"-184.2\" font-family=\"DejaVu Sans\" font-size=\"11.00\" fill=\"#243431\">SearchActivity</text>\n</a>\n</g>\n</g>\n<!-- g26s116&#45;&gt;g27s118 -->\n<g id=\"edge12\" class=\"edge\">\n<title>g26s116&#45;&gt;g27s118</title>\n<g id=\"a_edge12\"><a xlink:href=\"#topology:g26a1200\" xlink:title=\"g27e218\">\n<path fill=\"none\" stroke=\"#9d9e99\" stroke-dasharray=\"5,2\" d=\"M589.42,-174.37C615.64,-177.9 648.29,-182.29 675.32,-185.92\"/>\n<polygon fill=\"#9d9e99\" stroke=\"#9d9e99\" points=\"675.28,-187.86 680.99,-186.68 675.8,-184.04 675.28,-187.86\"/>\n</a>\n</g>\n<g id=\"a_edge12&#45;label\"><a xlink:href=\"#topology:g26a1200\" xlink:title=\"g27e218\">\n<text text-anchor=\"middle\" x=\"635\" y=\"-185.8\" font-family=\"DejaVu Sans\" font-size=\"9.00\">g27e218</text>\n</a>\n</g>\n</g>\n<!-- g70s323 -->\n<g id=\"state&#45;g70s323\" class=\"node\">\n<title>g70s323</title>\n<g id=\"a_state&#45;g70s323\"><a xlink:href=\"#state:g70s323\" xlink:title=\"g70s323\\nSearchActivity\">\n<path fill=\"#cde4d9\" stroke=\"#829291\" d=\"M765,-161C765,-161 693,-161 693,-161 687,-161 681,-155 681,-149 681,-149 681,-137 681,-137 681,-131 687,-125 693,-125 693,-125 765,-125 765,-125 771,-125 777,-131 777,-137 777,-137 777,-149 777,-149 777,-155 771,-161 765,-161\"/>\n<text text-anchor=\"middle\" x=\"729\" y=\"-146.2\" font-family=\"DejaVu Sans\" font-size=\"11.00\" fill=\"#243431\">g70s323</text>\n<text text-anchor=\"middle\" x=\"729\" y=\"-134.2\" font-family=\"DejaVu Sans\" font-size=\"11.00\" fill=\"#243431\">SearchActivity</text>\n</a>\n</g>\n</g>\n<!-- g26s116&#45;&gt;g70s323 -->\n<g id=\"edge16\" class=\"edge\">\n<title>g26s116&#45;&gt;g70s323</title>\n<g id=\"a_edge16\"><a xlink:href=\"#topology:g26a1205\" xlink:title=\"g70e932\">\n<path fill=\"none\" stroke=\"#9d9e99\" stroke-dasharray=\"5,2\" d=\"M589.42,-161.63C615.64,-158.1 648.29,-153.71 675.32,-150.08\"/>\n<polygon fill=\"#9d9e99\" stroke=\"#9d9e99\" points=\"675.8,-151.96 680.99,-149.32 675.28,-148.14 675.8,-151.96\"/>\n</a>\n</g>\n<g id=\"a_edge16&#45;label\"><a xlink:href=\"#topology:g26a1205\" xlink:title=\"g70e932\">\n<text text-anchor=\"middle\" x=\"635\" y=\"-160.8\" font-family=\"DejaVu Sans\" font-size=\"9.00\">g70e932</text>\n</a>\n</g>\n</g>\n<!-- g29s130 -->\n<g id=\"state&#45;g29s130\" class=\"node\">\n<title>g29s130</title>\n<g id=\"a_state&#45;g29s130\"><a xlink:href=\"#state:g29s130\" xlink:title=\"g29s130\\nSearchActivity\">\n<path fill=\"#d5e3ed\" stroke=\"#829291\" d=\"M291,-286C291,-286 219,-286 219,-286 213,-286 207,-280 207,-274 207,-274 207,-262 207,-262 207,-256 213,-250 219,-250 219,-250 291,-250 291,-250 297,-250 303,-256 303,-262 303,-262 303,-274 303,-274 303,-280 297,-286 291,-286\"/>\n<text text-anchor=\"middle\" x=\"255\" y=\"-271.2\" font-family=\"DejaVu Sans\" font-size=\"11.00\" fill=\"#243431\">g29s130</text>\n<text text-anchor=\"middle\" x=\"255\" y=\"-259.2\" font-family=\"DejaVu Sans\" font-size=\"11.00\" fill=\"#243431\">SearchActivity</text>\n</a>\n</g>\n</g>\n<!-- g29s130&#45;&gt;g26s116 -->\n<g id=\"edge4\" class=\"edge\">\n<title>g29s130&#45;&gt;g26s116</title>\n<g id=\"a_edge4\"><a xlink:href=\"#event:g54e773:903\" xlink:title=\"horizontal_scroll_languages ×1\">\n<path fill=\"none\" stroke=\"#26728f\" stroke-width=\"2\" d=\"M303.11,-262.07C347.18,-255.33 414.12,-242.02 468,-218 484.34,-210.72 500.86,-199.58 513.94,-189.66\"/>\n<polygon fill=\"#26728f\" stroke=\"#26728f\" stroke-width=\"2\" points=\"515.42,-190.95 518.6,-186.07 513.07,-187.9 515.42,-190.95\"/>\n</a>\n</g>\n<g id=\"a_edge4&#45;label\"><a xlink:href=\"#event:g54e773:903\" xlink:title=\"horizontal_scroll_languages ×1\">\n<text text-anchor=\"middle\" x=\"398\" y=\"-260.8\" font-family=\"DejaVu Sans\" font-size=\"9.00\">horizontal_scroll_languages ×1</text>\n</a>\n</g>\n</g>\n<!-- g39s177 -->\n<g id=\"state&#45;g39s177\" class=\"node\">\n<title>g39s177</title>\n<g id=\"a_state&#45;g39s177\"><a xlink:href=\"#state:g39s177\" xlink:title=\"g39s177\\nMainActivity\">\n<path fill=\"#d5e3ed\" stroke=\"#829291\" d=\"M285.5,-236C285.5,-236 224.5,-236 224.5,-236 218.5,-236 212.5,-230 212.5,-224 212.5,-224 212.5,-212 212.5,-212 212.5,-206 218.5,-200 224.5,-200 224.5,-200 285.5,-200 285.5,-200 291.5,-200 297.5,-206 297.5,-212 297.5,-212 297.5,-224 297.5,-224 297.5,-230 291.5,-236 285.5,-236\"/>\n<text text-anchor=\"middle\" x=\"255\" y=\"-221.2\" font-family=\"DejaVu Sans\" font-size=\"11.00\" fill=\"#243431\">g39s177</text>\n<text text-anchor=\"middle\" x=\"255\" y=\"-209.2\" font-family=\"DejaVu Sans\" font-size=\"11.00\" fill=\"#243431\">MainActivity</text>\n</a>\n</g>\n</g>\n<!-- g39s177&#45;&gt;g26s116 -->\n<g id=\"edge7\" class=\"edge\">\n<title>g39s177&#45;&gt;g26s116</title>\n<g id=\"a_edge7\"><a xlink:href=\"#event:g71e979:1159\" xlink:title=\"search_card ×1\">\n<path fill=\"none\" stroke=\"#26728f\" stroke-width=\"2\" d=\"M297.85,-210.77C340.62,-203.36 408.96,-191.48 468,-181 474.25,-179.89 480.81,-178.72 487.31,-177.55\"/>\n<polygon fill=\"#26728f\" stroke=\"#26728f\" stroke-width=\"2\" points=\"487.68,-179.44 492.76,-176.57 487,-175.65 487.68,-179.44\"/>\n</a>\n</g>\n<g id=\"a_edge7&#45;label\"><a xlink:href=\"#event:g71e979:1159\" xlink:title=\"search_card ×1\">\n<text text-anchor=\"middle\" x=\"398\" y=\"-207.8\" font-family=\"DejaVu Sans\" font-size=\"9.00\">search_card ×1</text>\n</a>\n</g>\n</g>\n<!-- g41s189 -->\n<g id=\"state&#45;g41s189\" class=\"node\">\n<title>g41s189</title>\n<g id=\"a_state&#45;g41s189\"><a xlink:href=\"#state:g41s189\" xlink:title=\"g41s189\\nMainActivity\">\n<path fill=\"#d5e3ed\" stroke=\"#829291\" d=\"M285.5,-186C285.5,-186 224.5,-186 224.5,-186 218.5,-186 212.5,-180 212.5,-174 212.5,-174 212.5,-162 212.5,-162 212.5,-156 218.5,-150 224.5,-150 224.5,-150 285.5,-150 285.5,-150 291.5,-150 297.5,-156 297.5,-162 297.5,-162 297.5,-174 297.5,-174 297.5,-180 291.5,-186 285.5,-186\"/>\n<text text-anchor=\"middle\" x=\"255\" y=\"-171.2\" font-family=\"DejaVu Sans\" font-size=\"11.00\" fill=\"#243431\">g41s189</text>\n<text text-anchor=\"middle\" x=\"255\" y=\"-159.2\" font-family=\"DejaVu Sans\" font-size=\"11.00\" fill=\"#243431\">MainActivity</text>\n</a>\n</g>\n</g>\n<!-- g41s189&#45;&gt;g26s116 -->\n<g id=\"edge6\" class=\"edge\">\n<title>g41s189&#45;&gt;g26s116</title>\n<g id=\"a_edge6\"><a xlink:href=\"#event:g70e945:1122\" xlink:title=\"search_container ×1\">\n<path fill=\"none\" stroke=\"#26728f\" stroke-width=\"2\" d=\"M297.6,-168C347.8,-168 432.27,-168 487.06,-168\"/>\n<polygon fill=\"#26728f\" stroke=\"#26728f\" stroke-width=\"2\" points=\"487.1,-169.93 492.6,-168 487.1,-166.08 487.1,-169.93\"/>\n</a>\n</g>\n<g id=\"a_edge6&#45;label\"><a xlink:href=\"#event:g70e945:1122\" xlink:title=\"search_container ×1\">\n<text text-anchor=\"middle\" x=\"398\" y=\"-170.8\" font-family=\"DejaVu Sans\" font-size=\"9.00\">search_container ×1</text>\n</a>\n</g>\n</g>\n<!-- g4s20 -->\n<g id=\"state&#45;g4s20\" class=\"node\">\n<title>g4s20</title>\n<g id=\"a_state&#45;g4s20\"><a xlink:href=\"#state:g4s20\" xlink:title=\"g4s20\\nPageActivity\">\n<path fill=\"#d5e3ed\" stroke=\"#829291\" d=\"M285.5,-136C285.5,-136 224.5,-136 224.5,-136 218.5,-136 212.5,-130 212.5,-124 212.5,-124 212.5,-112 212.5,-112 212.5,-106 218.5,-100 224.5,-100 224.5,-100 285.5,-100 285.5,-100 291.5,-100 297.5,-106 297.5,-112 297.5,-112 297.5,-124 297.5,-124 297.5,-130 291.5,-136 285.5,-136\"/>\n<text text-anchor=\"middle\" x=\"255\" y=\"-121.2\" font-family=\"DejaVu Sans\" font-size=\"11.00\" fill=\"#243431\">g4s20</text>\n<text text-anchor=\"middle\" x=\"255\" y=\"-109.2\" font-family=\"DejaVu Sans\" font-size=\"11.00\" fill=\"#243431\">PageActivity</text>\n</a>\n</g>\n</g>\n<!-- g4s20&#45;&gt;g26s116 -->\n<g id=\"edge8\" class=\"edge\">\n<title>g4s20&#45;&gt;g26s116</title>\n<g id=\"a_edge8\"><a xlink:href=\"#event:g82e1266:1555\" xlink:title=\"Search W ×1\">\n<path fill=\"none\" stroke=\"#26728f\" stroke-width=\"2\" d=\"M297.85,-125.23C340.62,-132.64 408.96,-144.52 468,-155 474.25,-156.11 480.81,-157.28 487.31,-158.45\"/>\n<polygon fill=\"#26728f\" stroke=\"#26728f\" stroke-width=\"2\" points=\"487,-160.35 492.76,-159.43 487.68,-156.56 487,-160.35\"/>\n</a>\n</g>\n<g id=\"a_edge8&#45;label\"><a xlink:href=\"#event:g82e1266:1555\" xlink:title=\"Search W ×1\">\n<text text-anchor=\"middle\" x=\"398\" y=\"-157.8\" font-family=\"DejaVu Sans\" font-size=\"9.00\">Search W ×1</text>\n</a>\n</g>\n</g>\n<!-- g4s25 -->\n<g id=\"state&#45;g4s25\" class=\"node\">\n<title>g4s25</title>\n<g id=\"a_state&#45;g4s25\"><a xlink:href=\"#state:g4s25\" xlink:title=\"g4s25\\nPageActivity\">\n<path fill=\"#d5e3ed\" stroke=\"#829291\" d=\"M285.5,-86C285.5,-86 224.5,-86 224.5,-86 218.5,-86 212.5,-80 212.5,-74 212.5,-74 212.5,-62 212.5,-62 212.5,-56 218.5,-50 224.5,-50 224.5,-50 285.5,-50 285.5,-50 291.5,-50 297.5,-56 297.5,-62 297.5,-62 297.5,-74 297.5,-74 297.5,-80 291.5,-86 285.5,-86\"/>\n<text text-anchor=\"middle\" x=\"255\" y=\"-71.2\" font-family=\"DejaVu Sans\" font-size=\"11.00\" fill=\"#243431\">g4s25</text>\n<text text-anchor=\"middle\" x=\"255\" y=\"-59.2\" font-family=\"DejaVu Sans\" font-size=\"11.00\" fill=\"#243431\">PageActivity</text>\n</a>\n</g>\n</g>\n<!-- g4s25&#45;&gt;g26s116 -->\n<g id=\"edge1\" class=\"edge\">\n<title>g4s25&#45;&gt;g26s116</title>\n<g id=\"a_edge1\"><a xlink:href=\"#event:g26e214:230\" xlink:title=\"Search W ×2\">\n<path fill=\"none\" stroke=\"#26728f\" stroke-width=\"2\" d=\"M297.67,-73.47C341.49,-80.26 411.75,-94.1 468,-119 484.01,-126.09 500.26,-136.79 513.27,-146.38\"/>\n<polygon fill=\"#26728f\" stroke=\"#26728f\" stroke-width=\"2\" points=\"512.35,-148.1 517.91,-149.86 514.66,-145.02 512.35,-148.1\"/>\n</a>\n</g>\n<g id=\"a_edge1&#45;label\"><a xlink:href=\"#event:g26e214:230\" xlink:title=\"Search W ×2\">\n<text text-anchor=\"middle\" x=\"398\" y=\"-121.8\" font-family=\"DejaVu Sans\" font-size=\"9.00\">Search W ×2</text>\n</a>\n</g>\n</g>\n<!-- g53s254 -->\n<g id=\"state&#45;g53s254\" class=\"node\">\n<title>g53s254</title>\n<g id=\"a_state&#45;g53s254\"><a xlink:href=\"#state:g53s254\" xlink:title=\"g53s254\\nMainActivity\">\n<path fill=\"#d5e3ed\" stroke=\"#829291\" d=\"M73,-286C73,-286 12,-286 12,-286 6,-286 0,-280 0,-274 0,-274 0,-262 0,-262 0,-256 6,-250 12,-250 12,-250 73,-250 73,-250 79,-250 85,-256 85,-262 85,-262 85,-274 85,-274 85,-280 79,-286 73,-286\"/>\n<text text-anchor=\"middle\" x=\"42.5\" y=\"-271.2\" font-family=\"DejaVu Sans\" font-size=\"11.00\" fill=\"#243431\">g53s254</text>\n<text text-anchor=\"middle\" x=\"42.5\" y=\"-259.2\" font-family=\"DejaVu Sans\" font-size=\"11.00\" fill=\"#243431\">MainActivity</text>\n</a>\n</g>\n</g>\n<!-- g53s254&#45;&gt;g29s130 -->\n<g id=\"edge3\" class=\"edge\">\n<title>g53s254&#45;&gt;g29s130</title>\n<g id=\"a_edge3\"><a xlink:href=\"#event:g54e772:902\" xlink:title=\"search_card ×1\">\n<path fill=\"none\" stroke=\"#26728f\" stroke-width=\"2\" d=\"M85.09,-268C118.41,-268 165.37,-268 201.32,-268\"/>\n<polygon fill=\"#26728f\" stroke=\"#26728f\" stroke-width=\"2\" points=\"201.5,-269.93 207,-268 201.5,-266.08 201.5,-269.93\"/>\n</a>\n</g>\n<g id=\"a_edge3&#45;label\"><a xlink:href=\"#event:g54e772:902\" xlink:title=\"search_card ×1\">\n<text text-anchor=\"middle\" x=\"146\" y=\"-270.8\" font-family=\"DejaVu Sans\" font-size=\"9.00\">search_card ×1</text>\n</a>\n</g>\n</g>\n<!-- g68s317 -->\n<g id=\"state&#45;g68s317\" class=\"node\">\n<title>g68s317</title>\n<g id=\"a_state&#45;g68s317\"><a xlink:href=\"#state:g68s317\" xlink:title=\"g68s317\\nMainActivity\">\n<path fill=\"#d5e3ed\" stroke=\"#829291\" d=\"M285.5,-36C285.5,-36 224.5,-36 224.5,-36 218.5,-36 212.5,-30 212.5,-24 212.5,-24 212.5,-12 212.5,-12 212.5,-6 218.5,0 224.5,0 224.5,0 285.5,0 285.5,0 291.5,0 297.5,-6 297.5,-12 297.5,-12 297.5,-24 297.5,-24 297.5,-30 291.5,-36 285.5,-36\"/>\n<text text-anchor=\"middle\" x=\"255\" y=\"-21.2\" font-family=\"DejaVu Sans\" font-size=\"11.00\" fill=\"#243431\">g68s317</text>\n<text text-anchor=\"middle\" x=\"255\" y=\"-9.2\" font-family=\"DejaVu Sans\" font-size=\"11.00\" fill=\"#243431\">MainActivity</text>\n</a>\n</g>\n</g>\n<!-- g68s317&#45;&gt;g26s116 -->\n<g id=\"edge5\" class=\"edge\">\n<title>g68s317&#45;&gt;g26s116</title>\n<g id=\"a_edge5\"><a xlink:href=\"#event:g70e931:1105\" xlink:title=\"search_container ×1\">\n<path fill=\"none\" stroke=\"#26728f\" stroke-width=\"2\" d=\"M297.7,-18.76C343.13,-21.45 416.24,-31.39 468,-66 497.15,-85.49 518.21,-121.08 529.76,-144.64\"/>\n<polygon fill=\"#26728f\" stroke=\"#26728f\" stroke-width=\"2\" points=\"528.11,-145.63 532.22,-149.76 531.58,-143.97 528.11,-145.63\"/>\n</a>\n</g>\n<g id=\"a_edge5&#45;label\"><a xlink:href=\"#event:g70e931:1105\" xlink:title=\"search_container ×1\">\n<text text-anchor=\"middle\" x=\"398\" y=\"-68.8\" font-family=\"DejaVu Sans\" font-size=\"9.00\">search_container ×1</text>\n</a>\n</g>\n</g>\n<!-- g70s324 -->\n<g id=\"state&#45;g70s324\" class=\"node\">\n<title>g70s324</title>\n<g id=\"a_state&#45;g70s324\"><a xlink:href=\"#state:g70s324\" xlink:title=\"g70s324\\nSearchActivity\">\n<path fill=\"#cde4d9\" stroke=\"#829291\" d=\"M953,-161C953,-161 881,-161 881,-161 875,-161 869,-155 869,-149 869,-149 869,-137 869,-137 869,-131 875,-125 881,-125 881,-125 953,-125 953,-125 959,-125 965,-131 965,-137 965,-137 965,-149 965,-149 965,-155 959,-161 953,-161\"/>\n<text text-anchor=\"middle\" x=\"917\" y=\"-146.2\" font-family=\"DejaVu Sans\" font-size=\"11.00\" fill=\"#243431\">g70s324</text>\n<text text-anchor=\"middle\" x=\"917\" y=\"-134.2\" font-family=\"DejaVu Sans\" font-size=\"11.00\" fill=\"#243431\">SearchActivity</text>\n</a>\n</g>\n</g>\n<!-- g70s323&#45;&gt;g70s324 -->\n<g id=\"edge15\" class=\"edge\">\n<title>g70s323&#45;&gt;g70s324</title>\n<g id=\"a_edge15\"><a xlink:href=\"#topology:g70a3751\" xlink:title=\"g70e933\">\n<path fill=\"none\" stroke=\"#9d9e99\" stroke-dasharray=\"5,2\" d=\"M777.42,-143C803.64,-143 836.29,-143 863.32,-143\"/>\n<polygon fill=\"#9d9e99\" stroke=\"#9d9e99\" points=\"863.49,-144.93 868.99,-143 863.49,-141.08 863.49,-144.93\"/>\n</a>\n</g>\n<g id=\"a_edge15&#45;label\"><a xlink:href=\"#topology:g70a3751\" xlink:title=\"g70e933\">\n<text text-anchor=\"middle\" x=\"823\" y=\"-145.8\" font-family=\"DejaVu Sans\" font-size=\"9.00\">g70e933</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<!-- g26s116 -->\n<g id=\"state&#45;g26s116\" class=\"node\">\n<title>g26s116</title>\n<g id=\"a_state&#45;g26s116\"><a xlink:href=\"#state:g26s116\" xlink:title=\"g26s116\\nSearchActivity\">\n<path fill=\"#e6b455\" stroke=\"#829291\" d=\"M84,-61C84,-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 84,-25 84,-25 90,-25 96,-31 96,-37 96,-37 96,-49 96,-49 96,-55 90,-61 84,-61\"/>\n<text text-anchor=\"middle\" x=\"48\" y=\"-46.2\" font-family=\"DejaVu Sans\" font-size=\"11.00\" fill=\"#243431\">g26s116</text>\n<text text-anchor=\"middle\" x=\"48\" y=\"-34.2\" font-family=\"DejaVu Sans\" font-size=\"11.00\" fill=\"#243431\">SearchActivity</text>\n</a>\n</g>\n</g>\n<!-- g27s118 -->\n<g id=\"state&#45;g27s118\" class=\"node\">\n<title>g27s118</title>\n<g id=\"a_state&#45;g27s118\"><a xlink:href=\"#state:g27s118\" xlink:title=\"g27s118\\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\">g27s118</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<!-- g26s116&#45;&gt;g27s118 -->\n<g id=\"edge2\" class=\"edge\">\n<title>g26s116&#45;&gt;g27s118</title>\n<g id=\"a_edge2\"><a xlink:href=\"#topology:idom\" xlink:title=\"idom\">\n<path fill=\"none\" stroke=\"#547d6d\" d=\"M96.41,-50.1C117.21,-53.21 141.71,-56.88 163.11,-60.08\"/>\n<polygon fill=\"#547d6d\" stroke=\"#547d6d\" points=\"163.04,-62.02 168.76,-60.93 163.61,-58.21 163.04,-62.02\"/>\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=\"-58.8\" font-family=\"DejaVu Sans\" font-size=\"9.00\">idom</text>\n</a>\n</g>\n</g>\n<!-- g70s323 -->\n<g id=\"state&#45;g70s323\" class=\"node\">\n<title>g70s323</title>\n<g id=\"a_state&#45;g70s323\"><a xlink:href=\"#state:g70s323\" xlink:title=\"g70s323\\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\">g70s323</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<!-- g26s116&#45;&gt;g70s323 -->\n<g id=\"edge3\" class=\"edge\">\n<title>g26s116&#45;&gt;g70s323</title>\n<g id=\"a_edge3\"><a xlink:href=\"#topology:idom\" xlink:title=\"idom\">\n<path fill=\"none\" stroke=\"#547d6d\" d=\"M96.41,-35.9C117.21,-32.79 141.71,-29.12 163.11,-25.92\"/>\n<polygon fill=\"#547d6d\" stroke=\"#547d6d\" points=\"163.61,-27.79 168.76,-25.07 163.04,-23.98 163.61,-27.79\"/>\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=\"132.5\" y=\"-33.8\" font-family=\"DejaVu Sans\" font-size=\"9.00\">idom</text>\n</a>\n</g>\n</g>\n<!-- g70s324 -->\n<g id=\"state&#45;g70s324\" class=\"node\">\n<title>g70s324</title>\n<g id=\"a_state&#45;g70s324\"><a xlink:href=\"#state:g70s324\" xlink:title=\"g70s324\\nSearchActivity\">\n<path fill=\"#cde4d9\" stroke=\"#829291\" d=\"M422,-36C422,-36 350,-36 350,-36 344,-36 338,-30 338,-24 338,-24 338,-12 338,-12 338,-6 344,0 350,0 350,0 422,0 422,0 428,0 434,-6 434,-12 434,-12 434,-24 434,-24 434,-30 428,-36 422,-36\"/>\n<text text-anchor=\"middle\" x=\"386\" y=\"-21.2\" font-family=\"DejaVu Sans\" font-size=\"11.00\" fill=\"#243431\">g70s324</text>\n<text text-anchor=\"middle\" x=\"386\" y=\"-9.2\" font-family=\"DejaVu Sans\" font-size=\"11.00\" fill=\"#243431\">SearchActivity</text>\n</a>\n</g>\n</g>\n<!-- g70s323&#45;&gt;g70s324 -->\n<g id=\"edge1\" class=\"edge\">\n<title>g70s323&#45;&gt;g70s324</title>\n<g id=\"a_edge1\"><a xlink:href=\"#topology:idom\" xlink:title=\"idom\">\n<path fill=\"none\" stroke=\"#547d6d\" d=\"M265.41,-18C286.21,-18 310.71,-18 332.11,-18\"/>\n<polygon fill=\"#547d6d\" stroke=\"#547d6d\" points=\"332.26,-19.93 337.76,-18 332.26,-16.08 332.26,-19.93\"/>\n</a>\n</g>\n<g id=\"a_edge1&#45;label\"><a xlink:href=\"#topology:idom\" xlink:title=\"idom\">\n<text text-anchor=\"middle\" x=\"301.5\" y=\"-20.8\" font-family=\"DejaVu Sans\" font-size=\"9.00\">idom</text>\n</a>\n</g>\n</g>\n</g>\n</svg>\n"}