{"id":"wikipedia-Rep2-g86s411","app":"wikipedia","rep":"Rep2","header":"g86s411","title":"多个搜索入口共享查询组件","pinned_arrival":"","arrival_count":19,"primary_non_singleton":true,"header_record":{"app":"wikipedia","rep":"Rep2","header":"g86s411","activity":"org.wikipedia.search.SearchActivity","cohort":"primary_non_singleton","region_size":4,"strict_descendants":3,"members":["g86s411","g90s474","g90s475","g93s557"],"incoming_topology_edges":17,"external_topology_edges":14,"topology_external_source_states":["g13s63","g13s66","g14s75","g19s94","g27s121","g36s164","g83s395","g86s410","g86s414","g86s430","g86s434","g8s44","g93s543"],"confirmed_final_arrivals":19,"external_confirmed_arrivals":16,"internal_return_arrivals":0,"self_loop_arrivals":3,"unprojected_same_named_target_records":0,"unprojected_transition_ids":[],"observed_external_source_states":["g13s63","g13s66","g14s75","g19s94","g27s121","g36s164","g83s395","g86s410","g86s414","g86s430","g86s434","g8s44","g93s543"],"observed_external_source_state_count":13,"direct_external_category_executions":{"Ⅰ":11,"Ⅱ":3,"UNKNOWN":2},"all_arrival_category_executions":{"Ⅰ":11,"Ⅱ":3,"UNKNOWN":5},"direct_I_local_ids":["wikipedia-Rep2-l629aa1b905fa12","wikipedia-Rep2-l64b8e7b20420a6","wikipedia-Rep2-l777bc92d2b2fd5","wikipedia-Rep2-l84343c4d7edc86","wikipedia-Rep2-l86be7d951e5d2e","wikipedia-Rep2-la8bb67bde8ff1c","wikipedia-Rep2-lafd33e886c3dbc","wikipedia-Rep2-ldaf769f8c391e9","wikipedia-Rep2-ldeabd67fca1c2a"],"projection_selected":false,"nested_deferred_projection":false,"actual_online_selected":false,"status":"final_topology_retrospective_not_historical_online_dominator"},"arrivals":[{"id":"wikipedia-Rep2:g86s411:g86e1340:1643","app":"wikipedia","rep":"Rep2","header":"g86s411","region_size":4,"cohort":"primary_non_singleton","kind":"external","transition_id":"g86e1340:1643","order":1642,"event_line":3997,"version":86,"source_state":"g86s410","source_gui_id":1999,"target_gui_id":2000,"direct_category":"Ⅰ","direct_function":"wikipedia.global-search","direct_local_id":"wikipedia-Rep2-la8bb67bde8ff1c","history_available":11,"history_stop":"abstraction_version_changed","path_transition_ids":["g86e1331:1633","g86e1332:1634","g86e1333:1635","g86e1334:1636","g75e991:1637","g86e1335:1638","g86e1336:1639","g86e1337:1640","g86e1338:1641","g86e1339:1642","g86e1340:1643"],"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:g86s411:g86e1409:1723","app":"wikipedia","rep":"Rep2","header":"g86s411","region_size":4,"cohort":"primary_non_singleton","kind":"external","transition_id":"g86e1409:1723","order":1722,"event_line":4183,"version":86,"source_state":"g86s430","source_gui_id":2098,"target_gui_id":2099,"direct_category":"Ⅰ","direct_function":"wikipedia.global-search","direct_local_id":"wikipedia-Rep2-ldaf769f8c391e9","history_available":20,"history_stop":"depth_limit","path_transition_ids":["g86e1394:1704","g86e1343:1705","g86e1393:1706","g86e1395:1707","g86e1396:1708","g86e1397:1709","g86e1398:1710","g86e1399:1711","g29e288:1712","g86e1400:1713","g86e1401:1714","g86e1402:1715","g86e1403:1716","g82e1265:1717","g86e1404:1718","g86e1405:1719","g86e1406:1720","g86e1407:1721","g86e1408:1722","g86e1409:1723"],"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:g86s411:g86e1411:1725","app":"wikipedia","rep":"Rep2","header":"g86s411","region_size":4,"cohort":"primary_non_singleton","kind":"external","transition_id":"g86e1411:1725","order":1724,"event_line":4188,"version":86,"source_state":"g27s121","source_gui_id":2100,"target_gui_id":2101,"direct_category":"Ⅱ","direct_function":null,"direct_local_id":"wikipedia-Rep2-ld3c64e5c2fd02d","history_available":20,"history_stop":"depth_limit","path_transition_ids":["g86e1393:1706","g86e1395:1707","g86e1396:1708","g86e1397:1709","g86e1398:1710","g86e1399:1711","g29e288:1712","g86e1400:1713","g86e1401:1714","g86e1402:1715","g86e1403:1716","g82e1265:1717","g86e1404:1718","g86e1405:1719","g86e1406:1720","g86e1407:1721","g86e1408:1722","g86e1409:1723","g86e1410:1724","g86e1411:1725"],"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:g86s411:g87e1421:1738","app":"wikipedia","rep":"Rep2","header":"g86s411","region_size":4,"cohort":"primary_non_singleton","kind":"external","transition_id":"g87e1421:1738","order":1737,"event_line":4221,"version":87,"source_state":"g86s434","source_gui_id":2116,"target_gui_id":2117,"direct_category":"Ⅰ","direct_function":"wikipedia.global-search","direct_local_id":"wikipedia-Rep2-l777bc92d2b2fd5","history_available":3,"history_stop":"abstraction_version_changed","path_transition_ids":["g78e1086:1736","g87e1420:1737","g87e1421:1738"],"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:g86s411:g87e1421:1740","app":"wikipedia","rep":"Rep2","header":"g86s411","region_size":4,"cohort":"primary_non_singleton","kind":"external","transition_id":"g87e1421:1740","order":1739,"event_line":4226,"version":87,"source_state":"g86s434","source_gui_id":2118,"target_gui_id":2119,"direct_category":"Ⅰ","direct_function":"wikipedia.global-search","direct_local_id":"wikipedia-Rep2-l777bc92d2b2fd5","history_available":5,"history_stop":"abstraction_version_changed","path_transition_ids":["g78e1086:1736","g87e1420:1737","g87e1421:1738","g87e1422:1739","g87e1421:1740"],"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:g86s411:g87e1424:1742","app":"wikipedia","rep":"Rep2","header":"g86s411","region_size":4,"cohort":"primary_non_singleton","kind":"external","transition_id":"g87e1424:1742","order":1741,"event_line":4232,"version":87,"source_state":"g19s94","source_gui_id":2120,"target_gui_id":2121,"direct_category":"UNKNOWN","direct_function":null,"direct_local_id":"wikipedia-Rep2-l11c1fb0cec8b2f","history_available":7,"history_stop":"abstraction_version_changed","path_transition_ids":["g78e1086:1736","g87e1420:1737","g87e1421:1738","g87e1422:1739","g87e1421:1740","g87e1423:1741","g87e1424:1742"],"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:g86s411:g87e1425:1743","app":"wikipedia","rep":"Rep2","header":"g86s411","region_size":4,"cohort":"primary_non_singleton","kind":"self_loop","transition_id":"g87e1425:1743","order":1742,"event_line":4235,"version":87,"source_state":"g86s411","source_gui_id":2121,"target_gui_id":2122,"direct_category":"UNKNOWN","direct_function":null,"direct_local_id":"wikipedia-Rep2-lfe449e75a60824","history_available":8,"history_stop":"abstraction_version_changed","path_transition_ids":["g78e1086:1736","g87e1420:1737","g87e1421:1738","g87e1422:1739","g87e1421:1740","g87e1423:1741","g87e1424:1742","g87e1425:1743"],"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:g86s411:g87e1432:1752","app":"wikipedia","rep":"Rep2","header":"g86s411","region_size":4,"cohort":"primary_non_singleton","kind":"external","transition_id":"g87e1432:1752","order":1751,"event_line":4259,"version":87,"source_state":"g13s66","source_gui_id":2132,"target_gui_id":2133,"direct_category":"Ⅰ","direct_function":"wikipedia.global-search","direct_local_id":"wikipedia-Rep2-l84343c4d7edc86","history_available":17,"history_stop":"abstraction_version_changed","path_transition_ids":["g78e1086:1736","g87e1420:1737","g87e1421:1738","g87e1422:1739","g87e1421:1740","g87e1423:1741","g87e1424:1742","g87e1425:1743","g87e1426:1744","g87e1427:1745","g80e1221:1746","g87e1428:1747","g87e1429:1748","g87e1430:1749","g87e1431:1750","g85e1318:1751","g87e1432:1752"],"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:g86s411:g87e1434:1755","app":"wikipedia","rep":"Rep2","header":"g86s411","region_size":4,"cohort":"primary_non_singleton","kind":"external","transition_id":"g87e1434:1755","order":1754,"event_line":4265,"version":87,"source_state":"g86s414","source_gui_id":2136,"target_gui_id":2137,"direct_category":"Ⅱ","direct_function":null,"direct_local_id":"wikipedia-Rep2-l3fbdcebf35b677","history_available":20,"history_stop":"depth_limit","path_transition_ids":["g78e1086:1736","g87e1420:1737","g87e1421:1738","g87e1422:1739","g87e1421:1740","g87e1423:1741","g87e1424:1742","g87e1425:1743","g87e1426:1744","g87e1427:1745","g80e1221:1746","g87e1428:1747","g87e1429:1748","g87e1430:1749","g87e1431:1750","g85e1318:1751","g87e1432:1752","g87e1426:1753","g87e1433:1754","g87e1434:1755"],"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:g86s411:g87e1435:1756","app":"wikipedia","rep":"Rep2","header":"g86s411","region_size":4,"cohort":"primary_non_singleton","kind":"self_loop","transition_id":"g87e1435:1756","order":1755,"event_line":4267,"version":87,"source_state":"g86s411","source_gui_id":2137,"target_gui_id":2138,"direct_category":"UNKNOWN","direct_function":null,"direct_local_id":"wikipedia-Rep2-lbadd9848c58aca","history_available":20,"history_stop":"depth_limit","path_transition_ids":["g87e1420:1737","g87e1421:1738","g87e1422:1739","g87e1421:1740","g87e1423:1741","g87e1424:1742","g87e1425:1743","g87e1426:1744","g87e1427:1745","g80e1221:1746","g87e1428:1747","g87e1429:1748","g87e1430:1749","g87e1431:1750","g85e1318:1751","g87e1432:1752","g87e1426:1753","g87e1433:1754","g87e1434:1755","g87e1435:1756"],"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:g86s411:g87e1436:1757","app":"wikipedia","rep":"Rep2","header":"g86s411","region_size":4,"cohort":"primary_non_singleton","kind":"self_loop","transition_id":"g87e1436:1757","order":1756,"event_line":4269,"version":87,"source_state":"g86s411","source_gui_id":2138,"target_gui_id":2139,"direct_category":"UNKNOWN","direct_function":null,"direct_local_id":"wikipedia-Rep2-lca53c483f0559c","history_available":20,"history_stop":"depth_limit","path_transition_ids":["g87e1421:1738","g87e1422:1739","g87e1421:1740","g87e1423:1741","g87e1424:1742","g87e1425:1743","g87e1426:1744","g87e1427:1745","g80e1221:1746","g87e1428:1747","g87e1429:1748","g87e1430:1749","g87e1431:1750","g85e1318:1751","g87e1432:1752","g87e1426:1753","g87e1433:1754","g87e1434:1755","g87e1435:1756","g87e1436:1757"],"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:g86s411:g90e1526:1872","app":"wikipedia","rep":"Rep2","header":"g86s411","region_size":4,"cohort":"primary_non_singleton","kind":"external","transition_id":"g90e1526:1872","order":1871,"event_line":4558,"version":90,"source_state":"g13s63","source_gui_id":2287,"target_gui_id":2288,"direct_category":"Ⅰ","direct_function":"wikipedia.global-search","direct_local_id":"wikipedia-Rep2-l86be7d951e5d2e","history_available":20,"history_stop":"depth_limit","path_transition_ids":["g90e1514:1853","g41e490:1854","g41e491:1855","g90e1515:1856","g90e1516:1857","g90e1517:1858","g90e1516:1859","g90e1517:1860","g90e1518:1861","g90e1519:1862","g90e1520:1863","g90e1519:1864","g90e1521:1865","g90e1519:1866","g90e1522:1867","g90e1523:1868","g90e1522:1869","g90e1524:1870","g90e1525:1871","g90e1526:1872"],"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:g86s411:g90e1531:1877","app":"wikipedia","rep":"Rep2","header":"g86s411","region_size":4,"cohort":"primary_non_singleton","kind":"external","transition_id":"g90e1531:1877","order":1876,"event_line":4569,"version":90,"source_state":"g19s94","source_gui_id":2292,"target_gui_id":2293,"direct_category":"UNKNOWN","direct_function":null,"direct_local_id":"wikipedia-Rep2-l7918f5dd154edd","history_available":20,"history_stop":"depth_limit","path_transition_ids":["g90e1517:1858","g90e1516:1859","g90e1517:1860","g90e1518:1861","g90e1519:1862","g90e1520:1863","g90e1519:1864","g90e1521:1865","g90e1519:1866","g90e1522:1867","g90e1523:1868","g90e1522:1869","g90e1524:1870","g90e1525:1871","g90e1526:1872","g90e1527:1873","g90e1528:1874","g90e1529:1875","g90e1530:1876","g90e1531:1877"],"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:g86s411:g90e1534:1880","app":"wikipedia","rep":"Rep2","header":"g86s411","region_size":4,"cohort":"primary_non_singleton","kind":"external","transition_id":"g90e1534:1880","order":1879,"event_line":4578,"version":90,"source_state":"g36s164","source_gui_id":2297,"target_gui_id":2298,"direct_category":"Ⅰ","direct_function":"wikipedia.global-search","direct_local_id":"wikipedia-Rep2-l64b8e7b20420a6","history_available":20,"history_stop":"depth_limit","path_transition_ids":["g90e1518:1861","g90e1519:1862","g90e1520:1863","g90e1519:1864","g90e1521:1865","g90e1519:1866","g90e1522:1867","g90e1523:1868","g90e1522:1869","g90e1524:1870","g90e1525:1871","g90e1526:1872","g90e1527:1873","g90e1528:1874","g90e1529:1875","g90e1530:1876","g90e1531:1877","g90e1532:1878","g90e1533:1879","g90e1534:1880"],"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:g86s411:g93e1780:2201","app":"wikipedia","rep":"Rep2","header":"g86s411","region_size":4,"cohort":"primary_non_singleton","kind":"external","transition_id":"g93e1780:2201","order":2200,"event_line":5334,"version":93,"source_state":"g14s75","source_gui_id":2673,"target_gui_id":2674,"direct_category":"Ⅰ","direct_function":"wikipedia.global-search","direct_local_id":"wikipedia-Rep2-lafd33e886c3dbc","history_available":20,"history_stop":"depth_limit","path_transition_ids":["g93e1761:2182","g93e1762:2183","g93e1763:2184","g93e1764:2185","g93e1765:2186","g93e1766:2187","g93e1767:2188","g93e1768:2189","g93e1769:2190","g93e1770:2191","g93e1771:2192","g93e1772:2193","g93e1773:2194","g93e1774:2195","g93e1775:2196","g93e1776:2197","g93e1777:2198","g93e1778:2199","g93e1779:2200","g93e1780:2201"],"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:g86s411:g87e1432:2207","app":"wikipedia","rep":"Rep2","header":"g86s411","region_size":4,"cohort":"primary_non_singleton","kind":"external","transition_id":"g87e1432:2207","order":2206,"event_line":5351,"version":93,"source_state":"g13s66","source_gui_id":2679,"target_gui_id":2680,"direct_category":"Ⅰ","direct_function":"wikipedia.global-search","direct_local_id":"wikipedia-Rep2-l84343c4d7edc86","history_available":20,"history_stop":"depth_limit","path_transition_ids":["g93e1767:2188","g93e1768:2189","g93e1769:2190","g93e1770:2191","g93e1771:2192","g93e1772:2193","g93e1773:2194","g93e1774:2195","g93e1775:2196","g93e1776:2197","g93e1777:2198","g93e1778:2199","g93e1779:2200","g93e1780:2201","g93e1781:2202","g93e1782:2203","g93e1783:2204","g93e1784:2205","g93e1785:2206","g87e1432:2207"],"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:g86s411:g93e1787:2209","app":"wikipedia","rep":"Rep2","header":"g86s411","region_size":4,"cohort":"primary_non_singleton","kind":"external","transition_id":"g93e1787:2209","order":2208,"event_line":5356,"version":93,"source_state":"g83s395","source_gui_id":2682,"target_gui_id":2683,"direct_category":"Ⅱ","direct_function":null,"direct_local_id":"wikipedia-Rep2-lc5b6885f58f230","history_available":20,"history_stop":"depth_limit","path_transition_ids":["g93e1769:2190","g93e1770:2191","g93e1771:2192","g93e1772:2193","g93e1773:2194","g93e1774:2195","g93e1775:2196","g93e1776:2197","g93e1777:2198","g93e1778:2199","g93e1779:2200","g93e1780:2201","g93e1781:2202","g93e1782:2203","g93e1783:2204","g93e1784:2205","g93e1785:2206","g87e1432:2207","g93e1786:2208","g93e1787:2209"],"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:g86s411:g93e1794:2217","app":"wikipedia","rep":"Rep2","header":"g86s411","region_size":4,"cohort":"primary_non_singleton","kind":"external","transition_id":"g93e1794:2217","order":2216,"event_line":5378,"version":93,"source_state":"g93s543","source_gui_id":2690,"target_gui_id":2691,"direct_category":"Ⅰ","direct_function":"wikipedia.global-search","direct_local_id":"wikipedia-Rep2-l629aa1b905fa12","history_available":20,"history_stop":"depth_limit","path_transition_ids":["g93e1777:2198","g93e1778:2199","g93e1779:2200","g93e1780:2201","g93e1781:2202","g93e1782:2203","g93e1783:2204","g93e1784:2205","g93e1785:2206","g87e1432:2207","g93e1786:2208","g93e1787:2209","g93e1786:2210","g93e1788:2211","g93e1789:2212","g93e1790:2213","g93e1791:2214","g93e1792:2215","g93e1793:2216","g93e1794:2217"],"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:g86s411:g93e1829:2260","app":"wikipedia","rep":"Rep2","header":"g86s411","region_size":4,"cohort":"primary_non_singleton","kind":"external","transition_id":"g93e1829:2260","order":2259,"event_line":5487,"version":93,"source_state":"g8s44","source_gui_id":2738,"target_gui_id":2739,"direct_category":"Ⅰ","direct_function":"wikipedia.global-search","direct_local_id":"wikipedia-Rep2-ldeabd67fca1c2a","history_available":2,"history_stop":"GUI_ID_gap;GUI_timestamp_gap;observed_State_gap","path_transition_ids":["g93e1828:2259","g93e1829:2260"],"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"}],"candidates":[{"arrival_id":"wikipedia-Rep2:g86s411:g86e1340:1643","arrival_transition":"g86e1340:1643","arrival_kind":"external","entry_transition":"g86e1340:1643","distance":1,"local_id":"wikipedia-Rep2-la8bb67bde8ff1c","source_state":"g86s410","model_action":"g86a4617","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":["g86e1340:1643"]},{"arrival_id":"wikipedia-Rep2:g86s411:g86e1340:1643","arrival_transition":"g86e1340:1643","arrival_kind":"external","entry_transition":"g75e991:1637","distance":7,"local_id":"wikipedia-Rep2-lf91f8284b9f959","source_state":"g75s351","model_action":"g75a4026","function":"wikipedia.login-from-create-account","family":"wikipedia.login-from-create-account","verdict":"REJECTED","reason":"intervening_different_independent_entry:g86e1340:1643","entry_final_exact":false,"entire_path_final_exact":false,"path_transition_ids":["g75e991:1637","g86e1335:1638","g86e1336:1639","g86e1337:1640","g86e1338:1641","g86e1339:1642","g86e1340:1643"]},{"arrival_id":"wikipedia-Rep2:g86s411:g86e1409:1723","arrival_transition":"g86e1409:1723","arrival_kind":"external","entry_transition":"g86e1409:1723","distance":1,"local_id":"wikipedia-Rep2-ldaf769f8c391e9","source_state":"g86s430","model_action":"g86a4845","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":["g86e1409:1723"]},{"arrival_id":"wikipedia-Rep2:g86s411:g86e1409:1723","arrival_transition":"g86e1409:1723","arrival_kind":"external","entry_transition":"g86e1406:1720","distance":4,"local_id":"wikipedia-Rep2-l802a73c45c0cc6","source_state":"g13s63","model_action":"g13a664","function":"wikipedia.tab-manager","family":"wikipedia.tab-manager","verdict":"REJECTED","reason":"intervening_different_independent_entry:g86e1409:1723","entry_final_exact":false,"entire_path_final_exact":false,"path_transition_ids":["g86e1406:1720","g86e1407:1721","g86e1408:1722","g86e1409:1723"]},{"arrival_id":"wikipedia-Rep2:g86s411:g86e1409:1723","arrival_transition":"g86e1409:1723","arrival_kind":"external","entry_transition":"g86e1404:1718","distance":6,"local_id":"wikipedia-Rep2-ld150d281a9a655","source_state":"g4s20","model_action":"g4a250","function":"wikipedia.article-languages","family":"wikipedia.article-languages","verdict":"REJECTED","reason":"intervening_different_independent_entry:g86e1406:1720","entry_final_exact":true,"entire_path_final_exact":false,"path_transition_ids":["g86e1404:1718","g86e1405:1719","g86e1406:1720","g86e1407:1721","g86e1408:1722","g86e1409:1723"]},{"arrival_id":"wikipedia-Rep2:g86s411:g86e1409:1723","arrival_transition":"g86e1409:1723","arrival_kind":"external","entry_transition":"g86e1403:1716","distance":8,"local_id":"wikipedia-Rep2-lb06b8a8d4bdb69","source_state":"g4s20","model_action":"g4a248","function":"wikipedia.article-gallery","family":"wikipedia.article-gallery","verdict":"REJECTED","reason":"intervening_different_independent_entry:g86e1404:1718","entry_final_exact":true,"entire_path_final_exact":false,"path_transition_ids":["g86e1403:1716","g82e1265:1717","g86e1404:1718","g86e1405:1719","g86e1406:1720","g86e1407:1721","g86e1408:1722","g86e1409:1723"]},{"arrival_id":"wikipedia-Rep2:g86s411:g86e1409:1723","arrival_transition":"g86e1409:1723","arrival_kind":"external","entry_transition":"g29e288:1712","distance":12,"local_id":"wikipedia-Rep2-lc973b676c6a6b5","source_state":"g29s134","model_action":"g29a1425","function":"wikipedia.article-gallery","family":"wikipedia.article-gallery","verdict":"REJECTED","reason":"intervening_different_independent_entry:g86e1404:1718","entry_final_exact":true,"entire_path_final_exact":false,"path_transition_ids":["g29e288:1712","g86e1400:1713","g86e1401:1714","g86e1402:1715","g86e1403:1716","g82e1265:1717","g86e1404:1718","g86e1405:1719","g86e1406:1720","g86e1407:1721","g86e1408:1722","g86e1409:1723"]},{"arrival_id":"wikipedia-Rep2:g86s411:g86e1411:1725","arrival_transition":"g86e1411:1725","arrival_kind":"external","entry_transition":"g86e1409:1723","distance":3,"local_id":"wikipedia-Rep2-ldaf769f8c391e9","source_state":"g86s430","model_action":"g86a4845","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":["g86e1409:1723","g86e1410:1724","g86e1411:1725"]},{"arrival_id":"wikipedia-Rep2:g86s411:g86e1411:1725","arrival_transition":"g86e1411:1725","arrival_kind":"external","entry_transition":"g86e1406:1720","distance":6,"local_id":"wikipedia-Rep2-l802a73c45c0cc6","source_state":"g13s63","model_action":"g13a664","function":"wikipedia.tab-manager","family":"wikipedia.tab-manager","verdict":"REJECTED","reason":"intervening_different_independent_entry:g86e1409:1723","entry_final_exact":false,"entire_path_final_exact":false,"path_transition_ids":["g86e1406:1720","g86e1407:1721","g86e1408:1722","g86e1409:1723","g86e1410:1724","g86e1411:1725"]},{"arrival_id":"wikipedia-Rep2:g86s411:g86e1411:1725","arrival_transition":"g86e1411:1725","arrival_kind":"external","entry_transition":"g86e1404:1718","distance":8,"local_id":"wikipedia-Rep2-ld150d281a9a655","source_state":"g4s20","model_action":"g4a250","function":"wikipedia.article-languages","family":"wikipedia.article-languages","verdict":"REJECTED","reason":"intervening_different_independent_entry:g86e1406:1720","entry_final_exact":true,"entire_path_final_exact":false,"path_transition_ids":["g86e1404:1718","g86e1405:1719","g86e1406:1720","g86e1407:1721","g86e1408:1722","g86e1409:1723","g86e1410:1724","g86e1411:1725"]},{"arrival_id":"wikipedia-Rep2:g86s411:g86e1411:1725","arrival_transition":"g86e1411:1725","arrival_kind":"external","entry_transition":"g86e1403:1716","distance":10,"local_id":"wikipedia-Rep2-lb06b8a8d4bdb69","source_state":"g4s20","model_action":"g4a248","function":"wikipedia.article-gallery","family":"wikipedia.article-gallery","verdict":"REJECTED","reason":"intervening_different_independent_entry:g86e1404:1718","entry_final_exact":true,"entire_path_final_exact":false,"path_transition_ids":["g86e1403:1716","g82e1265:1717","g86e1404:1718","g86e1405:1719","g86e1406:1720","g86e1407:1721","g86e1408:1722","g86e1409:1723","g86e1410:1724","g86e1411:1725"]},{"arrival_id":"wikipedia-Rep2:g86s411:g86e1411:1725","arrival_transition":"g86e1411:1725","arrival_kind":"external","entry_transition":"g29e288:1712","distance":14,"local_id":"wikipedia-Rep2-lc973b676c6a6b5","source_state":"g29s134","model_action":"g29a1425","function":"wikipedia.article-gallery","family":"wikipedia.article-gallery","verdict":"REJECTED","reason":"intervening_different_independent_entry:g86e1404:1718","entry_final_exact":true,"entire_path_final_exact":false,"path_transition_ids":["g29e288:1712","g86e1400:1713","g86e1401:1714","g86e1402:1715","g86e1403:1716","g82e1265:1717","g86e1404:1718","g86e1405:1719","g86e1406:1720","g86e1407:1721","g86e1408:1722","g86e1409:1723","g86e1410:1724","g86e1411:1725"]},{"arrival_id":"wikipedia-Rep2:g86s411:g87e1421:1738","arrival_transition":"g87e1421:1738","arrival_kind":"external","entry_transition":"g87e1421:1738","distance":1,"local_id":"wikipedia-Rep2-l777bc92d2b2fd5","source_state":"g86s434","model_action":"g86a4898","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":["g87e1421:1738"]},{"arrival_id":"wikipedia-Rep2:g86s411:g87e1421:1740","arrival_transition":"g87e1421:1740","arrival_kind":"external","entry_transition":"g87e1421:1740","distance":1,"local_id":"wikipedia-Rep2-l777bc92d2b2fd5","source_state":"g86s434","model_action":"g86a4898","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":["g87e1421:1740"]},{"arrival_id":"wikipedia-Rep2:g86s411:g87e1421:1740","arrival_transition":"g87e1421:1740","arrival_kind":"external","entry_transition":"g87e1421:1738","distance":3,"local_id":"wikipedia-Rep2-l777bc92d2b2fd5","source_state":"g86s434","model_action":"g86a4898","function":"wikipedia.global-search","family":"wikipedia.global-search","verdict":"REJECTED","reason":"function_exit_before_header:outside_MainActivity:g87e1422:1739","entry_final_exact":true,"entire_path_final_exact":true,"path_transition_ids":["g87e1421:1738","g87e1422:1739","g87e1421:1740"]},{"arrival_id":"wikipedia-Rep2:g86s411:g87e1424:1742","arrival_transition":"g87e1424:1742","arrival_kind":"external","entry_transition":"g87e1421:1740","distance":3,"local_id":"wikipedia-Rep2-l777bc92d2b2fd5","source_state":"g86s434","model_action":"g86a4898","function":"wikipedia.global-search","family":"wikipedia.global-search","verdict":"REJECTED","reason":"language_configuration_handoff:g87e1423:1741","entry_final_exact":true,"entire_path_final_exact":true,"path_transition_ids":["g87e1421:1740","g87e1423:1741","g87e1424:1742"]},{"arrival_id":"wikipedia-Rep2:g86s411:g87e1424:1742","arrival_transition":"g87e1424:1742","arrival_kind":"external","entry_transition":"g87e1421:1738","distance":5,"local_id":"wikipedia-Rep2-l777bc92d2b2fd5","source_state":"g86s434","model_action":"g86a4898","function":"wikipedia.global-search","family":"wikipedia.global-search","verdict":"REJECTED","reason":"function_exit_before_header:outside_MainActivity:g87e1422:1739","entry_final_exact":true,"entire_path_final_exact":true,"path_transition_ids":["g87e1421:1738","g87e1422:1739","g87e1421:1740","g87e1423:1741","g87e1424:1742"]},{"arrival_id":"wikipedia-Rep2:g86s411:g87e1425:1743","arrival_transition":"g87e1425:1743","arrival_kind":"self_loop","entry_transition":"g87e1421:1740","distance":4,"local_id":"wikipedia-Rep2-l777bc92d2b2fd5","source_state":"g86s434","model_action":"g86a4898","function":"wikipedia.global-search","family":"wikipedia.global-search","verdict":"REJECTED","reason":"language_configuration_handoff:g87e1423:1741","entry_final_exact":true,"entire_path_final_exact":true,"path_transition_ids":["g87e1421:1740","g87e1423:1741","g87e1424:1742","g87e1425:1743"]},{"arrival_id":"wikipedia-Rep2:g86s411:g87e1425:1743","arrival_transition":"g87e1425:1743","arrival_kind":"self_loop","entry_transition":"g87e1421:1738","distance":6,"local_id":"wikipedia-Rep2-l777bc92d2b2fd5","source_state":"g86s434","model_action":"g86a4898","function":"wikipedia.global-search","family":"wikipedia.global-search","verdict":"REJECTED","reason":"function_exit_before_header:outside_MainActivity:g87e1422:1739","entry_final_exact":true,"entire_path_final_exact":true,"path_transition_ids":["g87e1421:1738","g87e1422:1739","g87e1421:1740","g87e1423:1741","g87e1424:1742","g87e1425:1743"]},{"arrival_id":"wikipedia-Rep2:g86s411:g87e1432:1752","arrival_transition":"g87e1432:1752","arrival_kind":"external","entry_transition":"g87e1432:1752","distance":1,"local_id":"wikipedia-Rep2-l84343c4d7edc86","source_state":"g13s66","model_action":"g13a689","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":["g87e1432:1752"]},{"arrival_id":"wikipedia-Rep2:g86s411:g87e1432:1752","arrival_transition":"g87e1432:1752","arrival_kind":"external","entry_transition":"g87e1431:1750","distance":3,"local_id":"wikipedia-Rep2-ld060abe6c106d0","source_state":"g87s441","model_action":"g87a4969","function":"wikipedia.tab-manager","family":"wikipedia.tab-manager","verdict":"REJECTED","reason":"intervening_different_independent_entry:g87e1432:1752","entry_final_exact":false,"entire_path_final_exact":false,"path_transition_ids":["g87e1431:1750","g85e1318:1751","g87e1432:1752"]},{"arrival_id":"wikipedia-Rep2:g86s411:g87e1432:1752","arrival_transition":"g87e1432:1752","arrival_kind":"external","entry_transition":"g87e1429:1748","distance":5,"local_id":"wikipedia-Rep2-le6d97d675798ae","source_state":"g4s25","model_action":"g4a320","function":"wikipedia.article-languages","family":"wikipedia.article-languages","verdict":"REJECTED","reason":"intervening_different_independent_entry:g87e1431:1750","entry_final_exact":true,"entire_path_final_exact":false,"path_transition_ids":["g87e1429:1748","g87e1430:1749","g87e1431:1750","g85e1318:1751","g87e1432:1752"]},{"arrival_id":"wikipedia-Rep2:g86s411:g87e1432:1752","arrival_transition":"g87e1432:1752","arrival_kind":"external","entry_transition":"g80e1221:1746","distance":7,"local_id":"wikipedia-Rep2-le6d97d675798ae","source_state":"g4s25","model_action":"g4a320","function":"wikipedia.article-languages","family":"wikipedia.article-languages","verdict":"REJECTED","reason":"intervening_different_independent_entry:g87e1431:1750","entry_final_exact":true,"entire_path_final_exact":false,"path_transition_ids":["g80e1221:1746","g87e1428:1747","g87e1429:1748","g87e1430:1749","g87e1431:1750","g85e1318:1751","g87e1432:1752"]},{"arrival_id":"wikipedia-Rep2:g86s411:g87e1432:1752","arrival_transition":"g87e1432:1752","arrival_kind":"external","entry_transition":"g87e1421:1740","distance":13,"local_id":"wikipedia-Rep2-l777bc92d2b2fd5","source_state":"g86s434","model_action":"g86a4898","function":"wikipedia.global-search","family":"wikipedia.global-search","verdict":"REJECTED","reason":"language_configuration_handoff:g87e1423:1741","entry_final_exact":true,"entire_path_final_exact":false,"path_transition_ids":["g87e1421:1740","g87e1423:1741","g87e1424:1742","g87e1425:1743","g87e1426:1744","g87e1427:1745","g80e1221:1746","g87e1428:1747","g87e1429:1748","g87e1430:1749","g87e1431:1750","g85e1318:1751","g87e1432:1752"]},{"arrival_id":"wikipedia-Rep2:g86s411:g87e1432:1752","arrival_transition":"g87e1432:1752","arrival_kind":"external","entry_transition":"g87e1421:1738","distance":15,"local_id":"wikipedia-Rep2-l777bc92d2b2fd5","source_state":"g86s434","model_action":"g86a4898","function":"wikipedia.global-search","family":"wikipedia.global-search","verdict":"REJECTED","reason":"function_exit_before_header:outside_MainActivity:g87e1422:1739","entry_final_exact":true,"entire_path_final_exact":false,"path_transition_ids":["g87e1421:1738","g87e1422:1739","g87e1421:1740","g87e1423:1741","g87e1424:1742","g87e1425:1743","g87e1426:1744","g87e1427:1745","g80e1221:1746","g87e1428:1747","g87e1429:1748","g87e1430:1749","g87e1431:1750","g85e1318:1751","g87e1432:1752"]},{"arrival_id":"wikipedia-Rep2:g86s411:g87e1434:1755","arrival_transition":"g87e1434:1755","arrival_kind":"external","entry_transition":"g87e1432:1752","distance":4,"local_id":"wikipedia-Rep2-l84343c4d7edc86","source_state":"g13s66","model_action":"g13a689","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":["g87e1432:1752","g87e1426:1753","g87e1433:1754","g87e1434:1755"]},{"arrival_id":"wikipedia-Rep2:g86s411:g87e1434:1755","arrival_transition":"g87e1434:1755","arrival_kind":"external","entry_transition":"g87e1431:1750","distance":6,"local_id":"wikipedia-Rep2-ld060abe6c106d0","source_state":"g87s441","model_action":"g87a4969","function":"wikipedia.tab-manager","family":"wikipedia.tab-manager","verdict":"REJECTED","reason":"intervening_different_independent_entry:g87e1432:1752","entry_final_exact":false,"entire_path_final_exact":false,"path_transition_ids":["g87e1431:1750","g85e1318:1751","g87e1432:1752","g87e1426:1753","g87e1433:1754","g87e1434:1755"]},{"arrival_id":"wikipedia-Rep2:g86s411:g87e1434:1755","arrival_transition":"g87e1434:1755","arrival_kind":"external","entry_transition":"g87e1429:1748","distance":8,"local_id":"wikipedia-Rep2-le6d97d675798ae","source_state":"g4s25","model_action":"g4a320","function":"wikipedia.article-languages","family":"wikipedia.article-languages","verdict":"REJECTED","reason":"intervening_different_independent_entry:g87e1431:1750","entry_final_exact":true,"entire_path_final_exact":false,"path_transition_ids":["g87e1429:1748","g87e1430:1749","g87e1431:1750","g85e1318:1751","g87e1432:1752","g87e1426:1753","g87e1433:1754","g87e1434:1755"]},{"arrival_id":"wikipedia-Rep2:g86s411:g87e1434:1755","arrival_transition":"g87e1434:1755","arrival_kind":"external","entry_transition":"g80e1221:1746","distance":10,"local_id":"wikipedia-Rep2-le6d97d675798ae","source_state":"g4s25","model_action":"g4a320","function":"wikipedia.article-languages","family":"wikipedia.article-languages","verdict":"REJECTED","reason":"intervening_different_independent_entry:g87e1431:1750","entry_final_exact":true,"entire_path_final_exact":false,"path_transition_ids":["g80e1221:1746","g87e1428:1747","g87e1429:1748","g87e1430:1749","g87e1431:1750","g85e1318:1751","g87e1432:1752","g87e1426:1753","g87e1433:1754","g87e1434:1755"]},{"arrival_id":"wikipedia-Rep2:g86s411:g87e1434:1755","arrival_transition":"g87e1434:1755","arrival_kind":"external","entry_transition":"g87e1421:1740","distance":16,"local_id":"wikipedia-Rep2-l777bc92d2b2fd5","source_state":"g86s434","model_action":"g86a4898","function":"wikipedia.global-search","family":"wikipedia.global-search","verdict":"REJECTED","reason":"language_configuration_handoff:g87e1423:1741","entry_final_exact":true,"entire_path_final_exact":false,"path_transition_ids":["g87e1421:1740","g87e1423:1741","g87e1424:1742","g87e1425:1743","g87e1426:1744","g87e1427:1745","g80e1221:1746","g87e1428:1747","g87e1429:1748","g87e1430:1749","g87e1431:1750","g85e1318:1751","g87e1432:1752","g87e1426:1753","g87e1433:1754","g87e1434:1755"]},{"arrival_id":"wikipedia-Rep2:g86s411:g87e1434:1755","arrival_transition":"g87e1434:1755","arrival_kind":"external","entry_transition":"g87e1421:1738","distance":18,"local_id":"wikipedia-Rep2-l777bc92d2b2fd5","source_state":"g86s434","model_action":"g86a4898","function":"wikipedia.global-search","family":"wikipedia.global-search","verdict":"REJECTED","reason":"function_exit_before_header:outside_MainActivity:g87e1422:1739","entry_final_exact":true,"entire_path_final_exact":false,"path_transition_ids":["g87e1421:1738","g87e1422:1739","g87e1421:1740","g87e1423:1741","g87e1424:1742","g87e1425:1743","g87e1426:1744","g87e1427:1745","g80e1221:1746","g87e1428:1747","g87e1429:1748","g87e1430:1749","g87e1431:1750","g85e1318:1751","g87e1432:1752","g87e1426:1753","g87e1433:1754","g87e1434:1755"]},{"arrival_id":"wikipedia-Rep2:g86s411:g87e1435:1756","arrival_transition":"g87e1435:1756","arrival_kind":"self_loop","entry_transition":"g87e1432:1752","distance":5,"local_id":"wikipedia-Rep2-l84343c4d7edc86","source_state":"g13s66","model_action":"g13a689","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":["g87e1432:1752","g87e1426:1753","g87e1433:1754","g87e1434:1755","g87e1435:1756"]},{"arrival_id":"wikipedia-Rep2:g86s411:g87e1435:1756","arrival_transition":"g87e1435:1756","arrival_kind":"self_loop","entry_transition":"g87e1431:1750","distance":7,"local_id":"wikipedia-Rep2-ld060abe6c106d0","source_state":"g87s441","model_action":"g87a4969","function":"wikipedia.tab-manager","family":"wikipedia.tab-manager","verdict":"REJECTED","reason":"intervening_different_independent_entry:g87e1432:1752","entry_final_exact":false,"entire_path_final_exact":false,"path_transition_ids":["g87e1431:1750","g85e1318:1751","g87e1432:1752","g87e1426:1753","g87e1433:1754","g87e1434:1755","g87e1435:1756"]},{"arrival_id":"wikipedia-Rep2:g86s411:g87e1435:1756","arrival_transition":"g87e1435:1756","arrival_kind":"self_loop","entry_transition":"g87e1429:1748","distance":9,"local_id":"wikipedia-Rep2-le6d97d675798ae","source_state":"g4s25","model_action":"g4a320","function":"wikipedia.article-languages","family":"wikipedia.article-languages","verdict":"REJECTED","reason":"intervening_different_independent_entry:g87e1431:1750","entry_final_exact":true,"entire_path_final_exact":false,"path_transition_ids":["g87e1429:1748","g87e1430:1749","g87e1431:1750","g85e1318:1751","g87e1432:1752","g87e1426:1753","g87e1433:1754","g87e1434:1755","g87e1435:1756"]},{"arrival_id":"wikipedia-Rep2:g86s411:g87e1435:1756","arrival_transition":"g87e1435:1756","arrival_kind":"self_loop","entry_transition":"g80e1221:1746","distance":11,"local_id":"wikipedia-Rep2-le6d97d675798ae","source_state":"g4s25","model_action":"g4a320","function":"wikipedia.article-languages","family":"wikipedia.article-languages","verdict":"REJECTED","reason":"intervening_different_independent_entry:g87e1431:1750","entry_final_exact":true,"entire_path_final_exact":false,"path_transition_ids":["g80e1221:1746","g87e1428:1747","g87e1429:1748","g87e1430:1749","g87e1431:1750","g85e1318:1751","g87e1432:1752","g87e1426:1753","g87e1433:1754","g87e1434:1755","g87e1435:1756"]},{"arrival_id":"wikipedia-Rep2:g86s411:g87e1435:1756","arrival_transition":"g87e1435:1756","arrival_kind":"self_loop","entry_transition":"g87e1421:1740","distance":17,"local_id":"wikipedia-Rep2-l777bc92d2b2fd5","source_state":"g86s434","model_action":"g86a4898","function":"wikipedia.global-search","family":"wikipedia.global-search","verdict":"REJECTED","reason":"language_configuration_handoff:g87e1423:1741","entry_final_exact":true,"entire_path_final_exact":false,"path_transition_ids":["g87e1421:1740","g87e1423:1741","g87e1424:1742","g87e1425:1743","g87e1426:1744","g87e1427:1745","g80e1221:1746","g87e1428:1747","g87e1429:1748","g87e1430:1749","g87e1431:1750","g85e1318:1751","g87e1432:1752","g87e1426:1753","g87e1433:1754","g87e1434:1755","g87e1435:1756"]},{"arrival_id":"wikipedia-Rep2:g86s411:g87e1435:1756","arrival_transition":"g87e1435:1756","arrival_kind":"self_loop","entry_transition":"g87e1421:1738","distance":19,"local_id":"wikipedia-Rep2-l777bc92d2b2fd5","source_state":"g86s434","model_action":"g86a4898","function":"wikipedia.global-search","family":"wikipedia.global-search","verdict":"REJECTED","reason":"function_exit_before_header:outside_MainActivity:g87e1422:1739","entry_final_exact":true,"entire_path_final_exact":false,"path_transition_ids":["g87e1421:1738","g87e1422:1739","g87e1421:1740","g87e1423:1741","g87e1424:1742","g87e1425:1743","g87e1426:1744","g87e1427:1745","g80e1221:1746","g87e1428:1747","g87e1429:1748","g87e1430:1749","g87e1431:1750","g85e1318:1751","g87e1432:1752","g87e1426:1753","g87e1433:1754","g87e1434:1755","g87e1435:1756"]},{"arrival_id":"wikipedia-Rep2:g86s411:g87e1436:1757","arrival_transition":"g87e1436:1757","arrival_kind":"self_loop","entry_transition":"g87e1432:1752","distance":6,"local_id":"wikipedia-Rep2-l84343c4d7edc86","source_state":"g13s66","model_action":"g13a689","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":["g87e1432:1752","g87e1426:1753","g87e1433:1754","g87e1434:1755","g87e1435:1756","g87e1436:1757"]},{"arrival_id":"wikipedia-Rep2:g86s411:g87e1436:1757","arrival_transition":"g87e1436:1757","arrival_kind":"self_loop","entry_transition":"g87e1431:1750","distance":8,"local_id":"wikipedia-Rep2-ld060abe6c106d0","source_state":"g87s441","model_action":"g87a4969","function":"wikipedia.tab-manager","family":"wikipedia.tab-manager","verdict":"REJECTED","reason":"intervening_different_independent_entry:g87e1432:1752","entry_final_exact":false,"entire_path_final_exact":false,"path_transition_ids":["g87e1431:1750","g85e1318:1751","g87e1432:1752","g87e1426:1753","g87e1433:1754","g87e1434:1755","g87e1435:1756","g87e1436:1757"]},{"arrival_id":"wikipedia-Rep2:g86s411:g87e1436:1757","arrival_transition":"g87e1436:1757","arrival_kind":"self_loop","entry_transition":"g87e1429:1748","distance":10,"local_id":"wikipedia-Rep2-le6d97d675798ae","source_state":"g4s25","model_action":"g4a320","function":"wikipedia.article-languages","family":"wikipedia.article-languages","verdict":"REJECTED","reason":"intervening_different_independent_entry:g87e1431:1750","entry_final_exact":true,"entire_path_final_exact":false,"path_transition_ids":["g87e1429:1748","g87e1430:1749","g87e1431:1750","g85e1318:1751","g87e1432:1752","g87e1426:1753","g87e1433:1754","g87e1434:1755","g87e1435:1756","g87e1436:1757"]},{"arrival_id":"wikipedia-Rep2:g86s411:g87e1436:1757","arrival_transition":"g87e1436:1757","arrival_kind":"self_loop","entry_transition":"g80e1221:1746","distance":12,"local_id":"wikipedia-Rep2-le6d97d675798ae","source_state":"g4s25","model_action":"g4a320","function":"wikipedia.article-languages","family":"wikipedia.article-languages","verdict":"REJECTED","reason":"intervening_different_independent_entry:g87e1431:1750","entry_final_exact":true,"entire_path_final_exact":false,"path_transition_ids":["g80e1221:1746","g87e1428:1747","g87e1429:1748","g87e1430:1749","g87e1431:1750","g85e1318:1751","g87e1432:1752","g87e1426:1753","g87e1433:1754","g87e1434:1755","g87e1435:1756","g87e1436:1757"]},{"arrival_id":"wikipedia-Rep2:g86s411:g87e1436:1757","arrival_transition":"g87e1436:1757","arrival_kind":"self_loop","entry_transition":"g87e1421:1740","distance":18,"local_id":"wikipedia-Rep2-l777bc92d2b2fd5","source_state":"g86s434","model_action":"g86a4898","function":"wikipedia.global-search","family":"wikipedia.global-search","verdict":"REJECTED","reason":"language_configuration_handoff:g87e1423:1741","entry_final_exact":true,"entire_path_final_exact":false,"path_transition_ids":["g87e1421:1740","g87e1423:1741","g87e1424:1742","g87e1425:1743","g87e1426:1744","g87e1427:1745","g80e1221:1746","g87e1428:1747","g87e1429:1748","g87e1430:1749","g87e1431:1750","g85e1318:1751","g87e1432:1752","g87e1426:1753","g87e1433:1754","g87e1434:1755","g87e1435:1756","g87e1436:1757"]},{"arrival_id":"wikipedia-Rep2:g86s411:g87e1436:1757","arrival_transition":"g87e1436:1757","arrival_kind":"self_loop","entry_transition":"g87e1421:1738","distance":20,"local_id":"wikipedia-Rep2-l777bc92d2b2fd5","source_state":"g86s434","model_action":"g86a4898","function":"wikipedia.global-search","family":"wikipedia.global-search","verdict":"REJECTED","reason":"function_exit_before_header:outside_MainActivity:g87e1422:1739","entry_final_exact":true,"entire_path_final_exact":false,"path_transition_ids":["g87e1421:1738","g87e1422:1739","g87e1421:1740","g87e1423:1741","g87e1424:1742","g87e1425:1743","g87e1426:1744","g87e1427:1745","g80e1221:1746","g87e1428:1747","g87e1429:1748","g87e1430:1749","g87e1431:1750","g85e1318:1751","g87e1432:1752","g87e1426:1753","g87e1433:1754","g87e1434:1755","g87e1435:1756","g87e1436:1757"]},{"arrival_id":"wikipedia-Rep2:g86s411:g90e1526:1872","arrival_transition":"g90e1526:1872","arrival_kind":"external","entry_transition":"g90e1526:1872","distance":1,"local_id":"wikipedia-Rep2-l86be7d951e5d2e","source_state":"g13s63","model_action":"g13a666","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":["g90e1526:1872"]},{"arrival_id":"wikipedia-Rep2:g86s411:g90e1526:1872","arrival_transition":"g90e1526:1872","arrival_kind":"external","entry_transition":"g90e1522:1869","distance":4,"local_id":"wikipedia-Rep2-lc9d909664c77bb","source_state":"g90s472","model_action":"g90a5350","function":"wikipedia.search-language-LangLinksActivity","family":"wikipedia.search-language-LangLinksActivity","verdict":"REJECTED","reason":"intervening_different_independent_entry:g90e1526:1872","entry_final_exact":true,"entire_path_final_exact":true,"path_transition_ids":["g90e1522:1869","g90e1524:1870","g90e1525:1871","g90e1526:1872"]},{"arrival_id":"wikipedia-Rep2:g86s411:g90e1526:1872","arrival_transition":"g90e1526:1872","arrival_kind":"external","entry_transition":"g90e1522:1867","distance":6,"local_id":"wikipedia-Rep2-lc9d909664c77bb","source_state":"g90s472","model_action":"g90a5350","function":"wikipedia.search-language-LangLinksActivity","family":"wikipedia.search-language-LangLinksActivity","verdict":"REJECTED","reason":"intervening_different_independent_entry:g90e1526:1872","entry_final_exact":true,"entire_path_final_exact":true,"path_transition_ids":["g90e1522:1867","g90e1523:1868","g90e1522:1869","g90e1524:1870","g90e1525:1871","g90e1526:1872"]},{"arrival_id":"wikipedia-Rep2:g86s411:g90e1526:1872","arrival_transition":"g90e1526:1872","arrival_kind":"external","entry_transition":"g90e1519:1866","distance":7,"local_id":"wikipedia-Rep2-l817890f87a1ca3","source_state":"g8s44","model_action":"g8a505","function":"wikipedia.article-languages","family":"wikipedia.article-languages","verdict":"REJECTED","reason":"intervening_different_independent_entry:g90e1522:1867","entry_final_exact":true,"entire_path_final_exact":true,"path_transition_ids":["g90e1519:1866","g90e1522:1867","g90e1523:1868","g90e1522:1869","g90e1524:1870","g90e1525:1871","g90e1526:1872"]},{"arrival_id":"wikipedia-Rep2:g86s411:g90e1526:1872","arrival_transition":"g90e1526:1872","arrival_kind":"external","entry_transition":"g90e1519:1864","distance":9,"local_id":"wikipedia-Rep2-l817890f87a1ca3","source_state":"g8s44","model_action":"g8a505","function":"wikipedia.article-languages","family":"wikipedia.article-languages","verdict":"REJECTED","reason":"intervening_different_independent_entry:g90e1522:1867","entry_final_exact":true,"entire_path_final_exact":true,"path_transition_ids":["g90e1519:1864","g90e1521:1865","g90e1519:1866","g90e1522:1867","g90e1523:1868","g90e1522:1869","g90e1524:1870","g90e1525:1871","g90e1526:1872"]},{"arrival_id":"wikipedia-Rep2:g86s411:g90e1526:1872","arrival_transition":"g90e1526:1872","arrival_kind":"external","entry_transition":"g90e1519:1862","distance":11,"local_id":"wikipedia-Rep2-l817890f87a1ca3","source_state":"g8s44","model_action":"g8a505","function":"wikipedia.article-languages","family":"wikipedia.article-languages","verdict":"REJECTED","reason":"intervening_different_independent_entry:g90e1522:1867","entry_final_exact":true,"entire_path_final_exact":true,"path_transition_ids":["g90e1519:1862","g90e1520:1863","g90e1519:1864","g90e1521:1865","g90e1519:1866","g90e1522:1867","g90e1523:1868","g90e1522:1869","g90e1524:1870","g90e1525:1871","g90e1526:1872"]},{"arrival_id":"wikipedia-Rep2:g86s411:g90e1526:1872","arrival_transition":"g90e1526:1872","arrival_kind":"external","entry_transition":"g41e490:1854","distance":19,"local_id":"wikipedia-Rep2-le1207db1bc5d21","source_state":"g13s66","model_action":"g13a694","function":"wikipedia.find-in-article","family":"wikipedia.find-in-article","verdict":"REJECTED","reason":"intervening_different_independent_entry:g90e1519:1862","entry_final_exact":true,"entire_path_final_exact":true,"path_transition_ids":["g41e490:1854","g41e491:1855","g90e1515:1856","g90e1516:1857","g90e1517:1858","g90e1516:1859","g90e1517:1860","g90e1518:1861","g90e1519:1862","g90e1520:1863","g90e1519:1864","g90e1521:1865","g90e1519:1866","g90e1522:1867","g90e1523:1868","g90e1522:1869","g90e1524:1870","g90e1525:1871","g90e1526:1872"]},{"arrival_id":"wikipedia-Rep2:g86s411:g90e1531:1877","arrival_transition":"g90e1531:1877","arrival_kind":"external","entry_transition":"g90e1526:1872","distance":6,"local_id":"wikipedia-Rep2-l86be7d951e5d2e","source_state":"g13s63","model_action":"g13a666","function":"wikipedia.global-search","family":"wikipedia.global-search","verdict":"REJECTED","reason":"language_configuration_handoff:g90e1530:1876","entry_final_exact":true,"entire_path_final_exact":true,"path_transition_ids":["g90e1526:1872","g90e1527:1873","g90e1528:1874","g90e1529:1875","g90e1530:1876","g90e1531:1877"]},{"arrival_id":"wikipedia-Rep2:g86s411:g90e1531:1877","arrival_transition":"g90e1531:1877","arrival_kind":"external","entry_transition":"g90e1522:1869","distance":9,"local_id":"wikipedia-Rep2-lc9d909664c77bb","source_state":"g90s472","model_action":"g90a5350","function":"wikipedia.search-language-LangLinksActivity","family":"wikipedia.search-language-LangLinksActivity","verdict":"REJECTED","reason":"intervening_different_independent_entry:g90e1526:1872","entry_final_exact":true,"entire_path_final_exact":true,"path_transition_ids":["g90e1522:1869","g90e1524:1870","g90e1525:1871","g90e1526:1872","g90e1527:1873","g90e1528:1874","g90e1529:1875","g90e1530:1876","g90e1531:1877"]},{"arrival_id":"wikipedia-Rep2:g86s411:g90e1531:1877","arrival_transition":"g90e1531:1877","arrival_kind":"external","entry_transition":"g90e1522:1867","distance":11,"local_id":"wikipedia-Rep2-lc9d909664c77bb","source_state":"g90s472","model_action":"g90a5350","function":"wikipedia.search-language-LangLinksActivity","family":"wikipedia.search-language-LangLinksActivity","verdict":"REJECTED","reason":"intervening_different_independent_entry:g90e1526:1872","entry_final_exact":true,"entire_path_final_exact":true,"path_transition_ids":["g90e1522:1867","g90e1523:1868","g90e1522:1869","g90e1524:1870","g90e1525:1871","g90e1526:1872","g90e1527:1873","g90e1528:1874","g90e1529:1875","g90e1530:1876","g90e1531:1877"]},{"arrival_id":"wikipedia-Rep2:g86s411:g90e1531:1877","arrival_transition":"g90e1531:1877","arrival_kind":"external","entry_transition":"g90e1519:1866","distance":12,"local_id":"wikipedia-Rep2-l817890f87a1ca3","source_state":"g8s44","model_action":"g8a505","function":"wikipedia.article-languages","family":"wikipedia.article-languages","verdict":"REJECTED","reason":"intervening_different_independent_entry:g90e1522:1867","entry_final_exact":true,"entire_path_final_exact":true,"path_transition_ids":["g90e1519:1866","g90e1522:1867","g90e1523:1868","g90e1522:1869","g90e1524:1870","g90e1525:1871","g90e1526:1872","g90e1527:1873","g90e1528:1874","g90e1529:1875","g90e1530:1876","g90e1531:1877"]},{"arrival_id":"wikipedia-Rep2:g86s411:g90e1531:1877","arrival_transition":"g90e1531:1877","arrival_kind":"external","entry_transition":"g90e1519:1864","distance":14,"local_id":"wikipedia-Rep2-l817890f87a1ca3","source_state":"g8s44","model_action":"g8a505","function":"wikipedia.article-languages","family":"wikipedia.article-languages","verdict":"REJECTED","reason":"intervening_different_independent_entry:g90e1522:1867","entry_final_exact":true,"entire_path_final_exact":true,"path_transition_ids":["g90e1519:1864","g90e1521:1865","g90e1519:1866","g90e1522:1867","g90e1523:1868","g90e1522:1869","g90e1524:1870","g90e1525:1871","g90e1526:1872","g90e1527:1873","g90e1528:1874","g90e1529:1875","g90e1530:1876","g90e1531:1877"]},{"arrival_id":"wikipedia-Rep2:g86s411:g90e1531:1877","arrival_transition":"g90e1531:1877","arrival_kind":"external","entry_transition":"g90e1519:1862","distance":16,"local_id":"wikipedia-Rep2-l817890f87a1ca3","source_state":"g8s44","model_action":"g8a505","function":"wikipedia.article-languages","family":"wikipedia.article-languages","verdict":"REJECTED","reason":"intervening_different_independent_entry:g90e1522:1867","entry_final_exact":true,"entire_path_final_exact":true,"path_transition_ids":["g90e1519:1862","g90e1520:1863","g90e1519:1864","g90e1521:1865","g90e1519:1866","g90e1522:1867","g90e1523:1868","g90e1522:1869","g90e1524:1870","g90e1525:1871","g90e1526:1872","g90e1527:1873","g90e1528:1874","g90e1529:1875","g90e1530:1876","g90e1531:1877"]},{"arrival_id":"wikipedia-Rep2:g86s411:g90e1534:1880","arrival_transition":"g90e1534:1880","arrival_kind":"external","entry_transition":"g90e1534:1880","distance":1,"local_id":"wikipedia-Rep2-l64b8e7b20420a6","source_state":"g36s164","model_action":"g36a1835","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":["g90e1534:1880"]},{"arrival_id":"wikipedia-Rep2:g86s411:g90e1534:1880","arrival_transition":"g90e1534:1880","arrival_kind":"external","entry_transition":"g90e1526:1872","distance":9,"local_id":"wikipedia-Rep2-l86be7d951e5d2e","source_state":"g13s63","model_action":"g13a666","function":"wikipedia.global-search","family":"wikipedia.global-search","verdict":"REJECTED","reason":"language_configuration_handoff:g90e1530:1876","entry_final_exact":true,"entire_path_final_exact":true,"path_transition_ids":["g90e1526:1872","g90e1527:1873","g90e1528:1874","g90e1529:1875","g90e1530:1876","g90e1531:1877","g90e1532:1878","g90e1533:1879","g90e1534:1880"]},{"arrival_id":"wikipedia-Rep2:g86s411:g90e1534:1880","arrival_transition":"g90e1534:1880","arrival_kind":"external","entry_transition":"g90e1522:1869","distance":12,"local_id":"wikipedia-Rep2-lc9d909664c77bb","source_state":"g90s472","model_action":"g90a5350","function":"wikipedia.search-language-LangLinksActivity","family":"wikipedia.search-language-LangLinksActivity","verdict":"REJECTED","reason":"intervening_different_independent_entry:g90e1526:1872","entry_final_exact":true,"entire_path_final_exact":true,"path_transition_ids":["g90e1522:1869","g90e1524:1870","g90e1525:1871","g90e1526:1872","g90e1527:1873","g90e1528:1874","g90e1529:1875","g90e1530:1876","g90e1531:1877","g90e1532:1878","g90e1533:1879","g90e1534:1880"]},{"arrival_id":"wikipedia-Rep2:g86s411:g90e1534:1880","arrival_transition":"g90e1534:1880","arrival_kind":"external","entry_transition":"g90e1522:1867","distance":14,"local_id":"wikipedia-Rep2-lc9d909664c77bb","source_state":"g90s472","model_action":"g90a5350","function":"wikipedia.search-language-LangLinksActivity","family":"wikipedia.search-language-LangLinksActivity","verdict":"REJECTED","reason":"intervening_different_independent_entry:g90e1526:1872","entry_final_exact":true,"entire_path_final_exact":true,"path_transition_ids":["g90e1522:1867","g90e1523:1868","g90e1522:1869","g90e1524:1870","g90e1525:1871","g90e1526:1872","g90e1527:1873","g90e1528:1874","g90e1529:1875","g90e1530:1876","g90e1531:1877","g90e1532:1878","g90e1533:1879","g90e1534:1880"]},{"arrival_id":"wikipedia-Rep2:g86s411:g90e1534:1880","arrival_transition":"g90e1534:1880","arrival_kind":"external","entry_transition":"g90e1519:1866","distance":15,"local_id":"wikipedia-Rep2-l817890f87a1ca3","source_state":"g8s44","model_action":"g8a505","function":"wikipedia.article-languages","family":"wikipedia.article-languages","verdict":"REJECTED","reason":"intervening_different_independent_entry:g90e1522:1867","entry_final_exact":true,"entire_path_final_exact":true,"path_transition_ids":["g90e1519:1866","g90e1522:1867","g90e1523:1868","g90e1522:1869","g90e1524:1870","g90e1525:1871","g90e1526:1872","g90e1527:1873","g90e1528:1874","g90e1529:1875","g90e1530:1876","g90e1531:1877","g90e1532:1878","g90e1533:1879","g90e1534:1880"]},{"arrival_id":"wikipedia-Rep2:g86s411:g90e1534:1880","arrival_transition":"g90e1534:1880","arrival_kind":"external","entry_transition":"g90e1519:1864","distance":17,"local_id":"wikipedia-Rep2-l817890f87a1ca3","source_state":"g8s44","model_action":"g8a505","function":"wikipedia.article-languages","family":"wikipedia.article-languages","verdict":"REJECTED","reason":"intervening_different_independent_entry:g90e1522:1867","entry_final_exact":true,"entire_path_final_exact":true,"path_transition_ids":["g90e1519:1864","g90e1521:1865","g90e1519:1866","g90e1522:1867","g90e1523:1868","g90e1522:1869","g90e1524:1870","g90e1525:1871","g90e1526:1872","g90e1527:1873","g90e1528:1874","g90e1529:1875","g90e1530:1876","g90e1531:1877","g90e1532:1878","g90e1533:1879","g90e1534:1880"]},{"arrival_id":"wikipedia-Rep2:g86s411:g90e1534:1880","arrival_transition":"g90e1534:1880","arrival_kind":"external","entry_transition":"g90e1519:1862","distance":19,"local_id":"wikipedia-Rep2-l817890f87a1ca3","source_state":"g8s44","model_action":"g8a505","function":"wikipedia.article-languages","family":"wikipedia.article-languages","verdict":"REJECTED","reason":"intervening_different_independent_entry:g90e1522:1867","entry_final_exact":true,"entire_path_final_exact":true,"path_transition_ids":["g90e1519:1862","g90e1520:1863","g90e1519:1864","g90e1521:1865","g90e1519:1866","g90e1522:1867","g90e1523:1868","g90e1522:1869","g90e1524:1870","g90e1525:1871","g90e1526:1872","g90e1527:1873","g90e1528:1874","g90e1529:1875","g90e1530:1876","g90e1531:1877","g90e1532:1878","g90e1533:1879","g90e1534:1880"]},{"arrival_id":"wikipedia-Rep2:g86s411:g93e1780:2201","arrival_transition":"g93e1780:2201","arrival_kind":"external","entry_transition":"g93e1780:2201","distance":1,"local_id":"wikipedia-Rep2-lafd33e886c3dbc","source_state":"g14s75","model_action":"g14a792","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":["g93e1780:2201"]},{"arrival_id":"wikipedia-Rep2:g86s411:g93e1780:2201","arrival_transition":"g93e1780:2201","arrival_kind":"external","entry_transition":"g93e1779:2200","distance":2,"local_id":"wikipedia-Rep2-l3c4841fcae38bb","source_state":"g3s15","model_action":"g3a194","function":"wikipedia.global-search","family":"wikipedia.global-search","verdict":"REJECTED","reason":"superseded_same_function_entry:g93e1780:2201","entry_final_exact":true,"entire_path_final_exact":true,"path_transition_ids":["g93e1779:2200","g93e1780:2201"]},{"arrival_id":"wikipedia-Rep2:g86s411:g93e1780:2201","arrival_transition":"g93e1780:2201","arrival_kind":"external","entry_transition":"g93e1778:2199","distance":3,"local_id":"wikipedia-Rep2-l924741fdff9674","source_state":"g93s548","model_action":"g93a6159","function":"wikipedia.contributions","family":"wikipedia.contributions","verdict":"REJECTED","reason":"intervening_different_independent_entry:g93e1779:2200","entry_final_exact":true,"entire_path_final_exact":true,"path_transition_ids":["g93e1778:2199","g93e1779:2200","g93e1780:2201"]},{"arrival_id":"wikipedia-Rep2:g86s411:g93e1780:2201","arrival_transition":"g93e1780:2201","arrival_kind":"external","entry_transition":"g93e1773:2194","distance":8,"local_id":"wikipedia-Rep2-lee26e5f737e4fb","source_state":"g93s547","model_action":"g93a6151","function":"wikipedia.reading-theme","family":"wikipedia.reading-theme","verdict":"REJECTED","reason":"intervening_different_independent_entry:g93e1778:2199","entry_final_exact":true,"entire_path_final_exact":true,"path_transition_ids":["g93e1773:2194","g93e1774:2195","g93e1775:2196","g93e1776:2197","g93e1777:2198","g93e1778:2199","g93e1779:2200","g93e1780:2201"]},{"arrival_id":"wikipedia-Rep2:g86s411:g87e1432:2207","arrival_transition":"g87e1432:2207","arrival_kind":"external","entry_transition":"g87e1432:2207","distance":1,"local_id":"wikipedia-Rep2-l84343c4d7edc86","source_state":"g13s66","model_action":"g13a689","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":["g87e1432:2207"]},{"arrival_id":"wikipedia-Rep2:g86s411:g87e1432:2207","arrival_transition":"g87e1432:2207","arrival_kind":"external","entry_transition":"g93e1780:2201","distance":7,"local_id":"wikipedia-Rep2-lafd33e886c3dbc","source_state":"g14s75","model_action":"g14a792","function":"wikipedia.global-search","family":"wikipedia.global-search","verdict":"REJECTED","reason":"function_exit_before_header:outside_PageActivity:g93e1782:2203","entry_final_exact":true,"entire_path_final_exact":true,"path_transition_ids":["g93e1780:2201","g93e1781:2202","g93e1782:2203","g93e1783:2204","g93e1784:2205","g93e1785:2206","g87e1432:2207"]},{"arrival_id":"wikipedia-Rep2:g86s411:g87e1432:2207","arrival_transition":"g87e1432:2207","arrival_kind":"external","entry_transition":"g93e1779:2200","distance":8,"local_id":"wikipedia-Rep2-l3c4841fcae38bb","source_state":"g3s15","model_action":"g3a194","function":"wikipedia.global-search","family":"wikipedia.global-search","verdict":"REJECTED","reason":"superseded_same_function_entry:g93e1780:2201","entry_final_exact":true,"entire_path_final_exact":true,"path_transition_ids":["g93e1779:2200","g93e1780:2201","g93e1781:2202","g93e1782:2203","g93e1783:2204","g93e1784:2205","g93e1785:2206","g87e1432:2207"]},{"arrival_id":"wikipedia-Rep2:g86s411:g87e1432:2207","arrival_transition":"g87e1432:2207","arrival_kind":"external","entry_transition":"g93e1778:2199","distance":9,"local_id":"wikipedia-Rep2-l924741fdff9674","source_state":"g93s548","model_action":"g93a6159","function":"wikipedia.contributions","family":"wikipedia.contributions","verdict":"REJECTED","reason":"intervening_different_independent_entry:g93e1779:2200","entry_final_exact":true,"entire_path_final_exact":true,"path_transition_ids":["g93e1778:2199","g93e1779:2200","g93e1780:2201","g93e1781:2202","g93e1782:2203","g93e1783:2204","g93e1784:2205","g93e1785:2206","g87e1432:2207"]},{"arrival_id":"wikipedia-Rep2:g86s411:g87e1432:2207","arrival_transition":"g87e1432:2207","arrival_kind":"external","entry_transition":"g93e1773:2194","distance":14,"local_id":"wikipedia-Rep2-lee26e5f737e4fb","source_state":"g93s547","model_action":"g93a6151","function":"wikipedia.reading-theme","family":"wikipedia.reading-theme","verdict":"REJECTED","reason":"intervening_different_independent_entry:g93e1778:2199","entry_final_exact":true,"entire_path_final_exact":true,"path_transition_ids":["g93e1773:2194","g93e1774:2195","g93e1775:2196","g93e1776:2197","g93e1777:2198","g93e1778:2199","g93e1779:2200","g93e1780:2201","g93e1781:2202","g93e1782:2203","g93e1783:2204","g93e1784:2205","g93e1785:2206","g87e1432:2207"]},{"arrival_id":"wikipedia-Rep2:g86s411:g93e1787:2209","arrival_transition":"g93e1787:2209","arrival_kind":"external","entry_transition":"g87e1432:2207","distance":3,"local_id":"wikipedia-Rep2-l84343c4d7edc86","source_state":"g13s66","model_action":"g13a689","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":["g87e1432:2207","g93e1786:2208","g93e1787:2209"]},{"arrival_id":"wikipedia-Rep2:g86s411:g93e1787:2209","arrival_transition":"g93e1787:2209","arrival_kind":"external","entry_transition":"g93e1780:2201","distance":9,"local_id":"wikipedia-Rep2-lafd33e886c3dbc","source_state":"g14s75","model_action":"g14a792","function":"wikipedia.global-search","family":"wikipedia.global-search","verdict":"REJECTED","reason":"function_exit_before_header:outside_PageActivity:g93e1782:2203","entry_final_exact":true,"entire_path_final_exact":true,"path_transition_ids":["g93e1780:2201","g93e1781:2202","g93e1782:2203","g93e1783:2204","g93e1784:2205","g93e1785:2206","g87e1432:2207","g93e1786:2208","g93e1787:2209"]},{"arrival_id":"wikipedia-Rep2:g86s411:g93e1787:2209","arrival_transition":"g93e1787:2209","arrival_kind":"external","entry_transition":"g93e1779:2200","distance":10,"local_id":"wikipedia-Rep2-l3c4841fcae38bb","source_state":"g3s15","model_action":"g3a194","function":"wikipedia.global-search","family":"wikipedia.global-search","verdict":"REJECTED","reason":"superseded_same_function_entry:g93e1780:2201","entry_final_exact":true,"entire_path_final_exact":true,"path_transition_ids":["g93e1779:2200","g93e1780:2201","g93e1781:2202","g93e1782:2203","g93e1783:2204","g93e1784:2205","g93e1785:2206","g87e1432:2207","g93e1786:2208","g93e1787:2209"]},{"arrival_id":"wikipedia-Rep2:g86s411:g93e1787:2209","arrival_transition":"g93e1787:2209","arrival_kind":"external","entry_transition":"g93e1778:2199","distance":11,"local_id":"wikipedia-Rep2-l924741fdff9674","source_state":"g93s548","model_action":"g93a6159","function":"wikipedia.contributions","family":"wikipedia.contributions","verdict":"REJECTED","reason":"intervening_different_independent_entry:g93e1779:2200","entry_final_exact":true,"entire_path_final_exact":true,"path_transition_ids":["g93e1778:2199","g93e1779:2200","g93e1780:2201","g93e1781:2202","g93e1782:2203","g93e1783:2204","g93e1784:2205","g93e1785:2206","g87e1432:2207","g93e1786:2208","g93e1787:2209"]},{"arrival_id":"wikipedia-Rep2:g86s411:g93e1787:2209","arrival_transition":"g93e1787:2209","arrival_kind":"external","entry_transition":"g93e1773:2194","distance":16,"local_id":"wikipedia-Rep2-lee26e5f737e4fb","source_state":"g93s547","model_action":"g93a6151","function":"wikipedia.reading-theme","family":"wikipedia.reading-theme","verdict":"REJECTED","reason":"intervening_different_independent_entry:g93e1778:2199","entry_final_exact":true,"entire_path_final_exact":true,"path_transition_ids":["g93e1773:2194","g93e1774:2195","g93e1775:2196","g93e1776:2197","g93e1777:2198","g93e1778:2199","g93e1779:2200","g93e1780:2201","g93e1781:2202","g93e1782:2203","g93e1783:2204","g93e1784:2205","g93e1785:2206","g87e1432:2207","g93e1786:2208","g93e1787:2209"]},{"arrival_id":"wikipedia-Rep2:g86s411:g93e1794:2217","arrival_transition":"g93e1794:2217","arrival_kind":"external","entry_transition":"g93e1794:2217","distance":1,"local_id":"wikipedia-Rep2-l629aa1b905fa12","source_state":"g93s543","model_action":"g93a6105","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":["g93e1794:2217"]},{"arrival_id":"wikipedia-Rep2:g86s411:g93e1794:2217","arrival_transition":"g93e1794:2217","arrival_kind":"external","entry_transition":"g93e1790:2213","distance":5,"local_id":"wikipedia-Rep2-lb3a54b9a95570a","source_state":"g83s397","model_action":"g83a4494","function":"wikipedia.edit-article","family":"wikipedia.edit-article","verdict":"REJECTED","reason":"intervening_different_independent_entry:g93e1794:2217","entry_final_exact":true,"entire_path_final_exact":true,"path_transition_ids":["g93e1790:2213","g93e1791:2214","g93e1792:2215","g93e1793:2216","g93e1794:2217"]},{"arrival_id":"wikipedia-Rep2:g86s411:g93e1794:2217","arrival_transition":"g93e1794:2217","arrival_kind":"external","entry_transition":"g87e1432:2207","distance":11,"local_id":"wikipedia-Rep2-l84343c4d7edc86","source_state":"g13s66","model_action":"g13a689","function":"wikipedia.global-search","family":"wikipedia.global-search","verdict":"REJECTED","reason":"function_exit_before_header:outside_PageActivity:g93e1788:2211","entry_final_exact":true,"entire_path_final_exact":true,"path_transition_ids":["g87e1432:2207","g93e1786:2208","g93e1787:2209","g93e1786:2210","g93e1788:2211","g93e1789:2212","g93e1790:2213","g93e1791:2214","g93e1792:2215","g93e1793:2216","g93e1794:2217"]},{"arrival_id":"wikipedia-Rep2:g86s411:g93e1794:2217","arrival_transition":"g93e1794:2217","arrival_kind":"external","entry_transition":"g93e1780:2201","distance":17,"local_id":"wikipedia-Rep2-lafd33e886c3dbc","source_state":"g14s75","model_action":"g14a792","function":"wikipedia.global-search","family":"wikipedia.global-search","verdict":"REJECTED","reason":"function_exit_before_header:outside_PageActivity:g93e1782:2203","entry_final_exact":true,"entire_path_final_exact":true,"path_transition_ids":["g93e1780:2201","g93e1781:2202","g93e1782:2203","g93e1783:2204","g93e1784:2205","g93e1785:2206","g87e1432:2207","g93e1786:2208","g93e1787:2209","g93e1786:2210","g93e1788:2211","g93e1789:2212","g93e1790:2213","g93e1791:2214","g93e1792:2215","g93e1793:2216","g93e1794:2217"]},{"arrival_id":"wikipedia-Rep2:g86s411:g93e1794:2217","arrival_transition":"g93e1794:2217","arrival_kind":"external","entry_transition":"g93e1779:2200","distance":18,"local_id":"wikipedia-Rep2-l3c4841fcae38bb","source_state":"g3s15","model_action":"g3a194","function":"wikipedia.global-search","family":"wikipedia.global-search","verdict":"REJECTED","reason":"superseded_same_function_entry:g93e1780:2201","entry_final_exact":true,"entire_path_final_exact":true,"path_transition_ids":["g93e1779:2200","g93e1780:2201","g93e1781:2202","g93e1782:2203","g93e1783:2204","g93e1784:2205","g93e1785:2206","g87e1432:2207","g93e1786:2208","g93e1787:2209","g93e1786:2210","g93e1788:2211","g93e1789:2212","g93e1790:2213","g93e1791:2214","g93e1792:2215","g93e1793:2216","g93e1794:2217"]},{"arrival_id":"wikipedia-Rep2:g86s411:g93e1794:2217","arrival_transition":"g93e1794:2217","arrival_kind":"external","entry_transition":"g93e1778:2199","distance":19,"local_id":"wikipedia-Rep2-l924741fdff9674","source_state":"g93s548","model_action":"g93a6159","function":"wikipedia.contributions","family":"wikipedia.contributions","verdict":"REJECTED","reason":"intervening_different_independent_entry:g93e1779:2200","entry_final_exact":true,"entire_path_final_exact":true,"path_transition_ids":["g93e1778:2199","g93e1779:2200","g93e1780:2201","g93e1781:2202","g93e1782:2203","g93e1783:2204","g93e1784:2205","g93e1785:2206","g87e1432:2207","g93e1786:2208","g93e1787:2209","g93e1786:2210","g93e1788:2211","g93e1789:2212","g93e1790:2213","g93e1791:2214","g93e1792:2215","g93e1793:2216","g93e1794:2217"]},{"arrival_id":"wikipedia-Rep2:g86s411:g93e1829:2260","arrival_transition":"g93e1829:2260","arrival_kind":"external","entry_transition":"g93e1829:2260","distance":1,"local_id":"wikipedia-Rep2-ldeabd67fca1c2a","source_state":"g8s44","model_action":"g8a502","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":["g93e1829:2260"]}],"after":{"wikipedia-Rep2:g86s411:g86e1340:1643":{"transition_ids":["g86e1341:1644","g86e1342:1645","g86e1343:1646","g86e1344:1647","g86e1345:1648"],"stop":"five_step_limit"},"wikipedia-Rep2:g86s411:g86e1409:1723":{"transition_ids":["g86e1410:1724","g86e1411:1725","g86e1412:1726","g86e1413:1727","g86e1414:1728"],"stop":"five_step_limit"},"wikipedia-Rep2:g86s411:g86e1411:1725":{"transition_ids":["g86e1412:1726","g86e1413:1727","g86e1414:1728","g86e1415:1729","g86e1416:1730"],"stop":"five_step_limit"},"wikipedia-Rep2:g86s411:g87e1421:1738":{"transition_ids":["g87e1422:1739","g87e1421:1740","g87e1423:1741","g87e1424:1742","g87e1425:1743"],"stop":"five_step_limit"},"wikipedia-Rep2:g86s411:g87e1421:1740":{"transition_ids":["g87e1423:1741","g87e1424:1742","g87e1425:1743","g87e1426:1744","g87e1427:1745"],"stop":"five_step_limit"},"wikipedia-Rep2:g86s411:g87e1424:1742":{"transition_ids":["g87e1425:1743","g87e1426:1744","g87e1427:1745","g80e1221:1746","g87e1428:1747"],"stop":"five_step_limit"},"wikipedia-Rep2:g86s411:g87e1425:1743":{"transition_ids":["g87e1426:1744","g87e1427:1745","g80e1221:1746","g87e1428:1747","g87e1429:1748"],"stop":"five_step_limit"},"wikipedia-Rep2:g86s411:g87e1432:1752":{"transition_ids":["g87e1426:1753","g87e1433:1754","g87e1434:1755","g87e1435:1756","g87e1436:1757"],"stop":"five_step_limit"},"wikipedia-Rep2:g86s411:g87e1434:1755":{"transition_ids":["g87e1435:1756","g87e1436:1757","g87e1437:1758","g87e1438:1759","g87e1439:1760"],"stop":"five_step_limit"},"wikipedia-Rep2:g86s411:g87e1435:1756":{"transition_ids":["g87e1436:1757","g87e1437:1758","g87e1438:1759","g87e1439:1760","g87e1440:1761"],"stop":"five_step_limit"},"wikipedia-Rep2:g86s411:g87e1436:1757":{"transition_ids":["g87e1437:1758","g87e1438:1759","g87e1439:1760","g87e1440:1761","g87e1441:1762"],"stop":"five_step_limit"},"wikipedia-Rep2:g86s411:g90e1526:1872":{"transition_ids":["g90e1527:1873","g90e1528:1874","g90e1529:1875","g90e1530:1876","g90e1531:1877"],"stop":"five_step_limit"},"wikipedia-Rep2:g86s411:g90e1531:1877":{"transition_ids":["g90e1532:1878","g90e1533:1879","g90e1534:1880","g90e1535:1881","g90e1536:1882"],"stop":"five_step_limit"},"wikipedia-Rep2:g86s411:g90e1534:1880":{"transition_ids":["g90e1535:1881","g90e1536:1882","g90e1537:1883","g90e1538:1884","g90e1539:1885"],"stop":"five_step_limit"},"wikipedia-Rep2:g86s411:g93e1780:2201":{"transition_ids":["g93e1781:2202","g93e1782:2203","g93e1783:2204","g93e1784:2205","g93e1785:2206"],"stop":"five_step_limit"},"wikipedia-Rep2:g86s411:g87e1432:2207":{"transition_ids":["g93e1786:2208","g93e1787:2209","g93e1786:2210","g93e1788:2211","g93e1789:2212"],"stop":"five_step_limit"},"wikipedia-Rep2:g86s411:g93e1787:2209":{"transition_ids":["g93e1786:2210","g93e1788:2211","g93e1789:2212","g93e1790:2213","g93e1791:2214"],"stop":"five_step_limit"},"wikipedia-Rep2:g86s411:g93e1794:2217":{"transition_ids":["g86e1412:2218","g86e1413:2219","g86e1414:2220","g93e1795:2221","g86e1415:2222"],"stop":"five_step_limit"},"wikipedia-Rep2:g86s411:g93e1829:2260":{"transition_ids":["g93e1830:2261","g93e1831:2262","g93e1832:2263","g93e1833:2264","g93e1834:2265"],"stop":"five_step_limit"}},"topology_incoming":[{"id":"g87e1435","source":"g86s411","target":"g86s411","action":"g86a4630","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":7,"is_circle":true,"first_seen":2230,"last_seen":2230,"confirmed_final_executions":1,"relation":"self_loop"},{"id":"g86e1340","source":"g86s410","target":"g86s411","action":"g86a4617","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":8,"is_circle":false,"first_seen":2100,"last_seen":2100,"confirmed_final_executions":1,"relation":"external"},{"id":"g93e1829","source":"g8s44","target":"g86s411","action":"g8a502","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":1,"is_circle":false,"first_seen":2784,"last_seen":2784,"confirmed_final_executions":1,"relation":"external"},{"id":"g90e1531","source":"g19s94","target":"g86s411","action":"g19a953","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":"NEW_ACTION_TARGET","visits":4,"is_circle":false,"first_seen":2388,"last_seen":2388,"confirmed_final_executions":1,"relation":"external"},{"id":"g93e1780","source":"g14s75","target":"g86s411","action":"g14a792","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":1,"is_circle":false,"first_seen":2724,"last_seen":2724,"confirmed_final_executions":1,"relation":"external"},{"id":"g87e1432","source":"g13s66","target":"g86s411","action":"g13a689","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":8,"is_circle":false,"first_seen":2226,"last_seen":2730,"confirmed_final_executions":2,"relation":"external"},{"id":"g87e1421","source":"g86s434","target":"g86s411","action":"g86a4898","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":"EXISTING","visits":14,"is_circle":false,"first_seen":2212,"last_seen":2214,"confirmed_final_executions":2,"relation":"external"},{"id":"g93e1787","source":"g83s395","target":"g86s411","action":"g83a4464","action_fingerprint":"type=MODEL_CLICK|activity=org.wikipedia.search.SearchActivity|class=android.widget.ImageView|text=|resource_id=org.wikipedia:id/search_close_btn|bounds=812,99,917,191","target_activity":"org.wikipedia.search.SearchActivity","type":"NEW_ACTION","visits":1,"is_circle":false,"first_seen":2732,"last_seen":2732,"confirmed_final_executions":1,"relation":"external"},{"id":"g86e1409","source":"g86s430","target":"g86s411","action":"g86a4845","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":8,"is_circle":false,"first_seen":2180,"last_seen":2180,"confirmed_final_executions":1,"relation":"external"},{"id":"g90e1534","source":"g36s164","target":"g86s411","action":"g36a1835","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,2137,194","target_activity":"org.wikipedia.search.SearchActivity","type":"NEW_ACTION","visits":4,"is_circle":false,"first_seen":2391,"last_seen":2391,"confirmed_final_executions":1,"relation":"external"},{"id":"g87e1434","source":"g86s414","target":"g86s411","action":"g86a4662","action_fingerprint":"type=MODEL_CLICK|activity=org.wikipedia.search.SearchActivity|class=android.widget.ImageView|text=|resource_id=org.wikipedia:id/search_close_btn|bounds=812,99,917,191","target_activity":"org.wikipedia.search.SearchActivity","type":"NEW_ACTION","visits":7,"is_circle":false,"first_seen":2229,"last_seen":2229,"confirmed_final_executions":1,"relation":"external"},{"id":"g87e1424","source":"g19s94","target":"g86s411","action":"g19a954","action_fingerprint":"type=MODEL_CLICK|activity=org.wikipedia.settings.languages.WikipediaLanguagesActivity|class=android.widget.LinearLayout|text=|resource_id=|bounds=0,378,1080,504","target_activity":"org.wikipedia.search.SearchActivity","type":"NEW_ACTION_TARGET","visits":7,"is_circle":false,"first_seen":2216,"last_seen":2216,"confirmed_final_executions":1,"relation":"external"},{"id":"g90e1526","source":"g13s63","target":"g86s411","action":"g13a666","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":4,"is_circle":false,"first_seen":2383,"last_seen":2383,"confirmed_final_executions":1,"relation":"external"},{"id":"g86e1411","source":"g27s121","target":"g86s411","action":"g27a1277","action_fingerprint":"type=MODEL_CLICK|activity=org.wikipedia.search.SearchActivity|class=android.widget.Button|text=No|resource_id=android:id/button2|bounds=569,1220,737,1346","target_activity":"org.wikipedia.search.SearchActivity","type":"NEW_ACTION_TARGET","visits":8,"is_circle":false,"first_seen":2182,"last_seen":2182,"confirmed_final_executions":1,"relation":"external"},{"id":"g87e1425","source":"g86s411","target":"g86s411","action":"g86a4629","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,917,193","target_activity":"org.wikipedia.search.SearchActivity","type":"NEW_ACTION","visits":7,"is_circle":true,"first_seen":2217,"last_seen":2217,"confirmed_final_executions":1,"relation":"self_loop"},{"id":"g93e1794","source":"g93s543","target":"g86s411","action":"g93a6105","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":1,"is_circle":false,"first_seen":2740,"last_seen":2740,"confirmed_final_executions":1,"relation":"external"},{"id":"g87e1436","source":"g86s411","target":"g86s411","action":"g86a4635","action_fingerprint":"type=MODEL_LONG_CLICK|activity=org.wikipedia.search.SearchActivity|class=android.widget.ImageView|text=|resource_id=org.wikipedia:id/recent_searches_delete_button|bounds=954,252,1080,378","target_activity":"org.wikipedia.search.SearchActivity","type":"NEW_ACTION","visits":7,"is_circle":true,"first_seen":2231,"last_seen":2231,"confirmed_final_executions":1,"relation":"self_loop"}],"graph_history":"<svg width=\"781pt\" height=\"479pt\"\n viewBox=\"0.00 0.00 781.20 479.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 457.6)\">\n<title>G</title>\n<!-- g13s63 -->\n<g id=\"state&#45;g13s63\" class=\"node\">\n<title>g13s63</title>\n<g id=\"a_state&#45;g13s63\"><a xlink:href=\"#state:g13s63\" xlink:title=\"g13s63\\nPageActivity\">\n<path fill=\"#d5e3ed\" stroke=\"#829291\" d=\"M73,-436C73,-436 12,-436 12,-436 6,-436 0,-430 0,-424 0,-424 0,-412 0,-412 0,-406 6,-400 12,-400 12,-400 73,-400 73,-400 79,-400 85,-406 85,-412 85,-412 85,-424 85,-424 85,-430 79,-436 73,-436\"/>\n<text text-anchor=\"middle\" x=\"42.5\" y=\"-421.2\" font-family=\"DejaVu Sans\" font-size=\"11.00\" fill=\"#243431\">g13s63</text>\n<text text-anchor=\"middle\" x=\"42.5\" y=\"-409.2\" font-family=\"DejaVu Sans\" font-size=\"11.00\" fill=\"#243431\">PageActivity</text>\n</a>\n</g>\n</g>\n<!-- g86s411 -->\n<g id=\"state&#45;g86s411\" class=\"node\">\n<title>g86s411</title>\n<g id=\"a_state&#45;g86s411\"><a xlink:href=\"#state:g86s411\" xlink:title=\"g86s411\\nSearchActivity\">\n<path fill=\"#e6b455\" stroke=\"#829291\" d=\"M313,-236C313,-236 241,-236 241,-236 235,-236 229,-230 229,-224 229,-224 229,-212 229,-212 229,-206 235,-200 241,-200 241,-200 313,-200 313,-200 319,-200 325,-206 325,-212 325,-212 325,-224 325,-224 325,-230 319,-236 313,-236\"/>\n<text text-anchor=\"middle\" x=\"277\" y=\"-221.2\" font-family=\"DejaVu Sans\" font-size=\"11.00\" fill=\"#243431\">g86s411</text>\n<text text-anchor=\"middle\" x=\"277\" y=\"-209.2\" font-family=\"DejaVu Sans\" font-size=\"11.00\" fill=\"#243431\">SearchActivity</text>\n</a>\n</g>\n</g>\n<!-- g13s63&#45;&gt;g86s411 -->\n<g id=\"edge10\" class=\"edge\">\n<title>g13s63&#45;&gt;g86s411</title>\n<g id=\"a_edge10\"><a xlink:href=\"#event:g90e1526:1872\" xlink:title=\"Search W ×1\">\n<path fill=\"none\" stroke=\"#26728f\" stroke-width=\"2\" d=\"M85.16,-413.63C120.45,-407.98 170.51,-395.12 204,-366 242.32,-332.68 262.14,-274.3 270.67,-241.71\"/>\n<polygon fill=\"#26728f\" stroke=\"#26728f\" stroke-width=\"2\" points=\"272.55,-242.12 272.04,-236.32 268.82,-241.18 272.55,-242.12\"/>\n</a>\n</g>\n<g id=\"a_edge10&#45;label\"><a xlink:href=\"#event:g90e1526:1872\" xlink:title=\"Search W ×1\">\n<text text-anchor=\"middle\" x=\"157\" y=\"-410.8\" font-family=\"DejaVu Sans\" font-size=\"9.00\">Search W ×1</text>\n</a>\n</g>\n</g>\n<!-- g13s66 -->\n<g id=\"state&#45;g13s66\" class=\"node\">\n<title>g13s66</title>\n<g id=\"a_state&#45;g13s66\"><a xlink:href=\"#state:g13s66\" xlink:title=\"g13s66\\nPageActivity\">\n<path fill=\"#d5e3ed\" stroke=\"#829291\" d=\"M73,-386C73,-386 12,-386 12,-386 6,-386 0,-380 0,-374 0,-374 0,-362 0,-362 0,-356 6,-350 12,-350 12,-350 73,-350 73,-350 79,-350 85,-356 85,-362 85,-362 85,-374 85,-374 85,-380 79,-386 73,-386\"/>\n<text text-anchor=\"middle\" x=\"42.5\" y=\"-371.2\" font-family=\"DejaVu Sans\" font-size=\"11.00\" fill=\"#243431\">g13s66</text>\n<text text-anchor=\"middle\" x=\"42.5\" y=\"-359.2\" font-family=\"DejaVu Sans\" font-size=\"11.00\" fill=\"#243431\">PageActivity</text>\n</a>\n</g>\n</g>\n<!-- g13s66&#45;&gt;g86s411 -->\n<g id=\"edge6\" class=\"edge\">\n<title>g13s66&#45;&gt;g86s411</title>\n<g id=\"a_edge6\"><a xlink:href=\"#event:g87e1432:1752\" xlink:title=\"Search W ×2\">\n<path fill=\"none\" stroke=\"#26728f\" stroke-width=\"2\" d=\"M85.2,-360.76C119.58,-353.23 168.32,-338.81 204,-313 230.23,-294.02 251.3,-262.76 263.71,-241.31\"/>\n<polygon fill=\"#26728f\" stroke=\"#26728f\" stroke-width=\"2\" points=\"265.48,-242.09 266.52,-236.36 262.13,-240.19 265.48,-242.09\"/>\n</a>\n</g>\n<g id=\"a_edge6&#45;label\"><a xlink:href=\"#event:g87e1432:1752\" xlink:title=\"Search W ×2\">\n<text text-anchor=\"middle\" x=\"157\" y=\"-355.8\" font-family=\"DejaVu Sans\" font-size=\"9.00\">Search W ×2</text>\n</a>\n</g>\n</g>\n<!-- g14s75 -->\n<g id=\"state&#45;g14s75\" class=\"node\">\n<title>g14s75</title>\n<g id=\"a_state&#45;g14s75\"><a xlink:href=\"#state:g14s75\" xlink:title=\"g14s75\\nMainActivity\">\n<path fill=\"#d5e3ed\" stroke=\"#829291\" d=\"M73,-336C73,-336 12,-336 12,-336 6,-336 0,-330 0,-324 0,-324 0,-312 0,-312 0,-306 6,-300 12,-300 12,-300 73,-300 73,-300 79,-300 85,-306 85,-312 85,-312 85,-324 85,-324 85,-330 79,-336 73,-336\"/>\n<text text-anchor=\"middle\" x=\"42.5\" y=\"-321.2\" font-family=\"DejaVu Sans\" font-size=\"11.00\" fill=\"#243431\">g14s75</text>\n<text text-anchor=\"middle\" x=\"42.5\" y=\"-309.2\" font-family=\"DejaVu Sans\" font-size=\"11.00\" fill=\"#243431\">MainActivity</text>\n</a>\n</g>\n</g>\n<!-- g14s75&#45;&gt;g86s411 -->\n<g id=\"edge12\" class=\"edge\">\n<title>g14s75&#45;&gt;g86s411</title>\n<g id=\"a_edge12\"><a xlink:href=\"#event:g93e1780:2201\" xlink:title=\"search_card ×1\">\n<path fill=\"none\" stroke=\"#26728f\" stroke-width=\"2\" d=\"M85.27,-307.86C118.39,-299.02 165.37,-284.69 204,-266 219.18,-258.66 234.88,-248.53 247.74,-239.47\"/>\n<polygon fill=\"#26728f\" stroke=\"#26728f\" stroke-width=\"2\" points=\"248.98,-240.95 252.34,-236.18 246.74,-237.81 248.98,-240.95\"/>\n</a>\n</g>\n<g id=\"a_edge12&#45;label\"><a xlink:href=\"#event:g93e1780:2201\" xlink:title=\"search_card ×1\">\n<text text-anchor=\"middle\" x=\"157\" y=\"-302.8\" font-family=\"DejaVu Sans\" font-size=\"9.00\">search_card ×1</text>\n</a>\n</g>\n</g>\n<!-- g27s121 -->\n<g id=\"state&#45;g27s121\" class=\"node\">\n<title>g27s121</title>\n<g id=\"a_state&#45;g27s121\"><a xlink:href=\"#state:g27s121\" xlink:title=\"g27s121\\nSearchActivity\">\n<path fill=\"#d5e3ed\" stroke=\"#829291\" d=\"M532,-336C532,-336 460,-336 460,-336 454,-336 448,-330 448,-324 448,-324 448,-312 448,-312 448,-306 454,-300 460,-300 460,-300 532,-300 532,-300 538,-300 544,-306 544,-312 544,-312 544,-324 544,-324 544,-330 538,-336 532,-336\"/>\n<text text-anchor=\"middle\" x=\"496\" y=\"-321.2\" font-family=\"DejaVu Sans\" font-size=\"11.00\" fill=\"#243431\">g27s121</text>\n<text text-anchor=\"middle\" x=\"496\" y=\"-309.2\" font-family=\"DejaVu Sans\" font-size=\"11.00\" fill=\"#243431\">SearchActivity</text>\n</a>\n</g>\n</g>\n<!-- g27s121&#45;&gt;g86s411 -->\n<g id=\"edge4\" class=\"edge\">\n<title>g27s121&#45;&gt;g86s411</title>\n<g id=\"a_edge4\"><a xlink:href=\"#event:g86e1411:1725\" xlink:title=\"No ×1\">\n<path fill=\"none\" stroke=\"#26728f\" stroke-width=\"2\" d=\"M448.3,-299.98C439.91,-296.88 431.22,-293.78 423,-291 390.9,-280.16 380.45,-283.88 350,-269 333.82,-261.09 317.32,-249.69 304.2,-239.68\"/>\n<polygon fill=\"#26728f\" stroke=\"#26728f\" stroke-width=\"2\" points=\"305.05,-237.9 299.53,-236.06 302.7,-240.95 305.05,-237.9\"/>\n</a>\n</g>\n<g id=\"a_edge4&#45;label\"><a xlink:href=\"#event:g86e1411:1725\" xlink:title=\"No ×1\">\n<text text-anchor=\"middle\" x=\"386.5\" y=\"-293.8\" font-family=\"DejaVu Sans\" font-size=\"9.00\">No ×1</text>\n</a>\n</g>\n</g>\n<!-- g36s164 -->\n<g id=\"state&#45;g36s164\" class=\"node\">\n<title>g36s164</title>\n<g id=\"a_state&#45;g36s164\"><a xlink:href=\"#state:g36s164\" xlink:title=\"g36s164\\nPageActivity\">\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\">g36s164</text>\n<text text-anchor=\"middle\" x=\"42.5\" y=\"-259.2\" font-family=\"DejaVu Sans\" font-size=\"11.00\" fill=\"#243431\">PageActivity</text>\n</a>\n</g>\n</g>\n<!-- g36s164&#45;&gt;g86s411 -->\n<g id=\"edge11\" class=\"edge\">\n<title>g36s164&#45;&gt;g86s411</title>\n<g id=\"a_edge11\"><a xlink:href=\"#event:g90e1534:1880\" xlink:title=\"Search W ×1\">\n<path fill=\"none\" stroke=\"#26728f\" stroke-width=\"2\" d=\"M85.07,-259.06C123.69,-250.75 181.39,-238.35 223.25,-229.34\"/>\n<polygon fill=\"#26728f\" stroke=\"#26728f\" stroke-width=\"2\" points=\"223.82,-231.19 228.79,-228.15 223.01,-227.43 223.82,-231.19\"/>\n</a>\n</g>\n<g id=\"a_edge11&#45;label\"><a xlink:href=\"#event:g90e1534:1880\" xlink:title=\"Search W ×1\">\n<text text-anchor=\"middle\" x=\"157\" y=\"-255.8\" font-family=\"DejaVu Sans\" font-size=\"9.00\">Search W ×1</text>\n</a>\n</g>\n</g>\n<!-- g83s395 -->\n<g id=\"state&#45;g83s395\" class=\"node\">\n<title>g83s395</title>\n<g id=\"a_state&#45;g83s395\"><a xlink:href=\"#state:g83s395\" xlink:title=\"g83s395\\nSearchActivity\">\n<path fill=\"#d5e3ed\" stroke=\"#829291\" d=\"M532,-282C532,-282 460,-282 460,-282 454,-282 448,-276 448,-270 448,-270 448,-258 448,-258 448,-252 454,-246 460,-246 460,-246 532,-246 532,-246 538,-246 544,-252 544,-258 544,-258 544,-270 544,-270 544,-276 538,-282 532,-282\"/>\n<text text-anchor=\"middle\" x=\"496\" y=\"-267.2\" font-family=\"DejaVu Sans\" font-size=\"11.00\" fill=\"#243431\">g83s395</text>\n<text text-anchor=\"middle\" x=\"496\" y=\"-255.2\" font-family=\"DejaVu Sans\" font-size=\"11.00\" fill=\"#243431\">SearchActivity</text>\n</a>\n</g>\n</g>\n<!-- g83s395&#45;&gt;g86s411 -->\n<g id=\"edge14\" class=\"edge\">\n<title>g83s395&#45;&gt;g86s411</title>\n<g id=\"a_edge14\"><a xlink:href=\"#event:g93e1787:2209\" xlink:title=\"Clear query ×1\">\n<path fill=\"none\" stroke=\"#26728f\" stroke-width=\"2\" d=\"M458.76,-245.86C447.55,-240.94 434.98,-236.12 423,-233 393.05,-225.2 358.62,-221.43 330.83,-219.62\"/>\n<polygon fill=\"#26728f\" stroke=\"#26728f\" stroke-width=\"2\" points=\"330.61,-217.67 325,-219.26 330.38,-221.52 330.61,-217.67\"/>\n</a>\n</g>\n<g id=\"a_edge14&#45;label\"><a xlink:href=\"#event:g93e1787:2209\" xlink:title=\"Clear query ×1\">\n<text text-anchor=\"middle\" x=\"386.5\" y=\"-235.8\" font-family=\"DejaVu Sans\" font-size=\"9.00\">Clear query ×1</text>\n</a>\n</g>\n</g>\n<!-- g86s410 -->\n<g id=\"state&#45;g86s410\" class=\"node\">\n<title>g86s410</title>\n<g id=\"a_state&#45;g86s410\"><a xlink:href=\"#state:g86s410\" xlink:title=\"g86s410\\nMainActivity\">\n<path fill=\"#d5e3ed\" stroke=\"#829291\" d=\"M73,-236C73,-236 12,-236 12,-236 6,-236 0,-230 0,-224 0,-224 0,-212 0,-212 0,-206 6,-200 12,-200 12,-200 73,-200 73,-200 79,-200 85,-206 85,-212 85,-212 85,-224 85,-224 85,-230 79,-236 73,-236\"/>\n<text text-anchor=\"middle\" x=\"42.5\" y=\"-221.2\" font-family=\"DejaVu Sans\" font-size=\"11.00\" fill=\"#243431\">g86s410</text>\n<text text-anchor=\"middle\" x=\"42.5\" y=\"-209.2\" font-family=\"DejaVu Sans\" font-size=\"11.00\" fill=\"#243431\">MainActivity</text>\n</a>\n</g>\n</g>\n<!-- g86s410&#45;&gt;g86s411 -->\n<g id=\"edge1\" class=\"edge\">\n<title>g86s410&#45;&gt;g86s411</title>\n<g id=\"a_edge1\"><a xlink:href=\"#event:g86e1340:1643\" xlink:title=\"search_card ×1\">\n<path fill=\"none\" stroke=\"#26728f\" stroke-width=\"2\" d=\"M85.07,-218C123.69,-218 181.39,-218 223.25,-218\"/>\n<polygon fill=\"#26728f\" stroke=\"#26728f\" stroke-width=\"2\" points=\"223.29,-219.93 228.79,-218 223.29,-216.08 223.29,-219.93\"/>\n</a>\n</g>\n<g id=\"a_edge1&#45;label\"><a xlink:href=\"#event:g86e1340:1643\" xlink:title=\"search_card ×1\">\n<text text-anchor=\"middle\" x=\"157\" y=\"-220.8\" font-family=\"DejaVu Sans\" font-size=\"9.00\">search_card ×1</text>\n</a>\n</g>\n</g>\n<!-- g86s411&#45;&gt;g27s121 -->\n<g id=\"edge3\" class=\"edge\">\n<title>g86s411&#45;&gt;g27s121</title>\n<g id=\"a_edge3\"><a xlink:href=\"#event:g86e1410:1724\" xlink:title=\"Clear history ×1\">\n<path fill=\"none\" stroke=\"#26728f\" stroke-width=\"2\" d=\"M287.99,-236.32C299.9,-256.21 321.81,-287.11 350,-302 378.03,-316.81 413.31,-320.96 442.05,-321.34\"/>\n<polygon fill=\"#26728f\" stroke=\"#26728f\" stroke-width=\"2\" points=\"442.2,-323.26 447.71,-321.36 442.22,-319.41 442.2,-323.26\"/>\n</a>\n</g>\n<g id=\"a_edge3&#45;label\"><a xlink:href=\"#event:g86e1410:1724\" xlink:title=\"Clear history ×1\">\n<text text-anchor=\"middle\" x=\"386.5\" y=\"-322.8\" font-family=\"DejaVu Sans\" font-size=\"9.00\">Clear history ×1</text>\n</a>\n</g>\n</g>\n<!-- g86s411&#45;&gt;g83s395 -->\n<g id=\"edge13\" class=\"edge\">\n<title>g86s411&#45;&gt;g83s395</title>\n<g id=\"a_edge13\"><a xlink:href=\"#event:g93e1786:2208\" xlink:title=\"22:56:50 ×1\">\n<path fill=\"none\" stroke=\"#26728f\" stroke-width=\"2\" d=\"M323.65,-236.1C332.3,-239.07 341.35,-241.87 350,-244 380.06,-251.41 414.35,-256.3 442.03,-259.39\"/>\n<polygon fill=\"#26728f\" stroke=\"#26728f\" stroke-width=\"2\" points=\"442.16,-261.34 447.84,-260.02 442.58,-257.51 442.16,-261.34\"/>\n</a>\n</g>\n<g id=\"a_edge13&#45;label\"><a xlink:href=\"#event:g93e1786:2208\" xlink:title=\"22:56:50 ×1\">\n<text text-anchor=\"middle\" x=\"386.5\" y=\"-258.8\" font-family=\"DejaVu Sans\" font-size=\"9.00\">22:56:50 ×1</text>\n</a>\n</g>\n</g>\n<!-- g86s411&#45;&gt;g86s411 -->\n<g id=\"edge17\" class=\"edge\">\n<title>g86s411&#45;&gt;g86s411</title>\n<g id=\"a_edge17\"><a xlink:href=\"#topology:g86a4630\" xlink:title=\"g87e1435\">\n<path fill=\"none\" stroke=\"#9d9e99\" stroke-dasharray=\"5,2\" d=\"M270.31,-236.09C269.85,-243.62 272.08,-250 277,-250 280.61,-250 282.78,-246.56 283.49,-241.75\"/>\n<polygon fill=\"#9d9e99\" stroke=\"#9d9e99\" points=\"285.42,-241.66 283.69,-236.09 281.57,-241.52 285.42,-241.66\"/>\n</a>\n</g>\n<g id=\"a_edge17&#45;label\"><a xlink:href=\"#topology:g86a4630\" xlink:title=\"g87e1435\">\n<text text-anchor=\"middle\" x=\"277\" y=\"-252.8\" font-family=\"DejaVu Sans\" font-size=\"9.00\">g87e1435</text>\n</a>\n</g>\n</g>\n<!-- g86s411&#45;&gt;g86s411 -->\n<g id=\"edge22\" class=\"edge\">\n<title>g86s411&#45;&gt;g86s411</title>\n<g id=\"a_edge22\"><a xlink:href=\"#topology:g86a4629\" xlink:title=\"g87e1425\">\n<path fill=\"none\" stroke=\"#9d9e99\" stroke-dasharray=\"5,2\" d=\"M265.1,-236.42C260.94,-250.16 264.91,-264 277,-264 287.49,-264 291.86,-253.59 290.13,-241.87\"/>\n<polygon fill=\"#9d9e99\" stroke=\"#9d9e99\" points=\"291.99,-241.36 288.9,-236.42 288.24,-242.21 291.99,-241.36\"/>\n</a>\n</g>\n<g id=\"a_edge22&#45;label\"><a xlink:href=\"#topology:g86a4629\" xlink:title=\"g87e1425\">\n<text text-anchor=\"middle\" x=\"277\" y=\"-266.8\" font-family=\"DejaVu Sans\" font-size=\"9.00\">g87e1425</text>\n</a>\n</g>\n</g>\n<!-- g86s411&#45;&gt;g86s411 -->\n<g id=\"edge23\" class=\"edge\">\n<title>g86s411&#45;&gt;g86s411</title>\n<g id=\"a_edge23\"><a xlink:href=\"#topology:g86a4635\" xlink:title=\"g87e1436\">\n<path fill=\"none\" stroke=\"#9d9e99\" stroke-dasharray=\"5,2\" d=\"M261.66,-236.12C251.74,-255.73 256.86,-278 277,-278 295.41,-278 301.27,-259.4 294.57,-241.22\"/>\n<polygon fill=\"#9d9e99\" stroke=\"#9d9e99\" points=\"296.31,-240.39 292.34,-236.12 292.78,-241.93 296.31,-240.39\"/>\n</a>\n</g>\n<g id=\"a_edge23&#45;label\"><a xlink:href=\"#topology:g86a4635\" xlink:title=\"g87e1436\">\n<text text-anchor=\"middle\" x=\"277\" y=\"-280.8\" font-family=\"DejaVu Sans\" font-size=\"9.00\">g87e1436</text>\n</a>\n</g>\n</g>\n<!-- g86s414 -->\n<g id=\"state&#45;g86s414\" class=\"node\">\n<title>g86s414</title>\n<g id=\"a_state&#45;g86s414\"><a xlink:href=\"#state:g86s414\" xlink:title=\"g86s414\\nSearchActivity\">\n<path fill=\"#d5e3ed\" stroke=\"#829291\" d=\"M532,-204C532,-204 460,-204 460,-204 454,-204 448,-198 448,-192 448,-192 448,-180 448,-180 448,-174 454,-168 460,-168 460,-168 532,-168 532,-168 538,-168 544,-174 544,-180 544,-180 544,-192 544,-192 544,-198 538,-204 532,-204\"/>\n<text text-anchor=\"middle\" x=\"496\" y=\"-189.2\" font-family=\"DejaVu Sans\" font-size=\"11.00\" fill=\"#243431\">g86s414</text>\n<text text-anchor=\"middle\" x=\"496\" y=\"-177.2\" font-family=\"DejaVu Sans\" font-size=\"11.00\" fill=\"#243431\">SearchActivity</text>\n</a>\n</g>\n</g>\n<!-- g86s411&#45;&gt;g86s414 -->\n<g id=\"edge7\" class=\"edge\">\n<title>g86s411&#45;&gt;g86s414</title>\n<g id=\"a_edge7\"><a xlink:href=\"#event:g87e1426:1753\" xlink:title=\"Help: ×1\">\n<path fill=\"none\" stroke=\"#26728f\" stroke-width=\"2\" d=\"M325.22,-209.94C333.47,-208.58 341.98,-207.22 350,-206 380.49,-201.36 414.66,-196.62 442.17,-192.92\"/>\n<polygon fill=\"#26728f\" stroke=\"#26728f\" stroke-width=\"2\" points=\"442.74,-194.79 447.93,-192.15 442.23,-190.97 442.74,-194.79\"/>\n</a>\n</g>\n<g id=\"a_edge7&#45;label\"><a xlink:href=\"#event:g87e1426:1753\" xlink:title=\"Help: ×1\">\n<text text-anchor=\"middle\" x=\"386.5\" y=\"-208.8\" font-family=\"DejaVu Sans\" font-size=\"9.00\">Help: ×1</text>\n</a>\n</g>\n</g>\n<!-- g90s474 -->\n<g id=\"state&#45;g90s474\" class=\"node\">\n<title>g90s474</title>\n<g id=\"a_state&#45;g90s474\"><a xlink:href=\"#state:g90s474\" xlink:title=\"g90s474\\nSearchActivity\">\n<path fill=\"#cde4d9\" stroke=\"#829291\" d=\"M532,-154C532,-154 460,-154 460,-154 454,-154 448,-148 448,-142 448,-142 448,-130 448,-130 448,-124 454,-118 460,-118 460,-118 532,-118 532,-118 538,-118 544,-124 544,-130 544,-130 544,-142 544,-142 544,-148 538,-154 532,-154\"/>\n<text text-anchor=\"middle\" x=\"496\" y=\"-139.2\" font-family=\"DejaVu Sans\" font-size=\"11.00\" fill=\"#243431\">g90s474</text>\n<text text-anchor=\"middle\" x=\"496\" y=\"-127.2\" font-family=\"DejaVu Sans\" font-size=\"11.00\" fill=\"#243431\">SearchActivity</text>\n</a>\n</g>\n</g>\n<!-- g86s411&#45;&gt;g90s474 -->\n<g id=\"edge19\" class=\"edge\">\n<title>g86s411&#45;&gt;g90s474</title>\n<g id=\"a_edge19\"><a xlink:href=\"#topology:g86a4636\" xlink:title=\"g90e1527\">\n<path fill=\"none\" stroke=\"#9d9e99\" stroke-dasharray=\"5,2\" d=\"M296.56,-199.86C310.23,-187.55 329.88,-171.94 350,-163 379.07,-150.08 414.07,-143.34 442.4,-139.83\"/>\n<polygon fill=\"#9d9e99\" stroke=\"#9d9e99\" points=\"442.73,-141.73 447.97,-139.17 442.28,-137.9 442.73,-141.73\"/>\n</a>\n</g>\n<g id=\"a_edge19&#45;label\"><a xlink:href=\"#topology:g86a4636\" xlink:title=\"g90e1527\">\n<text text-anchor=\"middle\" x=\"386.5\" y=\"-165.8\" font-family=\"DejaVu Sans\" font-size=\"9.00\">g90e1527</text>\n</a>\n</g>\n</g>\n<!-- g93s557 -->\n<g id=\"state&#45;g93s557\" class=\"node\">\n<title>g93s557</title>\n<g id=\"a_state&#45;g93s557\"><a xlink:href=\"#state:g93s557\" xlink:title=\"g93s557\\nSearchActivity\">\n<path fill=\"#cde4d9\" stroke=\"#829291\" d=\"M532,-104C532,-104 460,-104 460,-104 454,-104 448,-98 448,-92 448,-92 448,-80 448,-80 448,-74 454,-68 460,-68 460,-68 532,-68 532,-68 538,-68 544,-74 544,-80 544,-80 544,-92 544,-92 544,-98 538,-104 532,-104\"/>\n<text text-anchor=\"middle\" x=\"496\" y=\"-89.2\" font-family=\"DejaVu Sans\" font-size=\"11.00\" fill=\"#243431\">g93s557</text>\n<text text-anchor=\"middle\" x=\"496\" y=\"-77.2\" font-family=\"DejaVu Sans\" font-size=\"11.00\" fill=\"#243431\">SearchActivity</text>\n</a>\n</g>\n</g>\n<!-- g86s411&#45;&gt;g93s557 -->\n<g id=\"edge21\" class=\"edge\">\n<title>g86s411&#45;&gt;g93s557</title>\n<g id=\"a_edge21\"><a xlink:href=\"#topology:g86a4628\" xlink:title=\"g93e1830\">\n<path fill=\"none\" stroke=\"#9d9e99\" stroke-dasharray=\"5,2\" d=\"M288.34,-199.78C300.58,-179.82 322.77,-148.23 350,-130 377.57,-111.55 413.16,-100.6 442.18,-94.24\"/>\n<polygon fill=\"#9d9e99\" stroke=\"#9d9e99\" points=\"442.91,-96.05 447.89,-93.03 442.11,-92.28 442.91,-96.05\"/>\n</a>\n</g>\n<g id=\"a_edge21&#45;label\"><a xlink:href=\"#topology:g86a4628\" xlink:title=\"g93e1830\">\n<text text-anchor=\"middle\" x=\"386.5\" y=\"-132.8\" font-family=\"DejaVu Sans\" font-size=\"9.00\">g93e1830</text>\n</a>\n</g>\n</g>\n<!-- g86s414&#45;&gt;g86s411 -->\n<g id=\"edge9\" class=\"edge\">\n<title>g86s414&#45;&gt;g86s411</title>\n<g id=\"a_edge9\"><a xlink:href=\"#event:g87e1434:1755\" xlink:title=\"Clear query ×1\">\n<path fill=\"none\" stroke=\"#26728f\" stroke-width=\"2\" d=\"M447.68,-178.61C419.04,-175.64 381.98,-174.45 350,-182 336.79,-185.12 323.24,-191.05 311.51,-197.22\"/>\n<polygon fill=\"#26728f\" stroke=\"#26728f\" stroke-width=\"2\" points=\"310.53,-195.56 306.6,-199.87 312.35,-198.95 310.53,-195.56\"/>\n</a>\n</g>\n<g id=\"a_edge9&#45;label\"><a xlink:href=\"#event:g87e1434:1755\" xlink:title=\"Clear query ×1\">\n<text text-anchor=\"middle\" x=\"386.5\" y=\"-184.8\" font-family=\"DejaVu Sans\" font-size=\"9.00\">Clear query ×1</text>\n</a>\n</g>\n</g>\n<!-- g86s414&#45;&gt;g86s414 -->\n<g id=\"edge8\" class=\"edge\">\n<title>g86s414&#45;&gt;g86s414</title>\n<g id=\"a_edge8\"><a xlink:href=\"#event:g87e1433:1754\" xlink:title=\"search_results_list ×1\">\n<path fill=\"none\" stroke=\"#26728f\" stroke-width=\"2\" d=\"M478.16,-204.09C476.93,-211.62 482.88,-218 496,-218 505.64,-218 511.41,-214.56 513.3,-209.75\"/>\n<polygon fill=\"#26728f\" stroke=\"#26728f\" stroke-width=\"2\" points=\"515.24,-209.75 513.84,-204.09 511.4,-209.39 515.24,-209.75\"/>\n</a>\n</g>\n<g id=\"a_edge8&#45;label\"><a xlink:href=\"#event:g87e1433:1754\" xlink:title=\"search_results_list ×1\">\n<text text-anchor=\"middle\" x=\"496\" y=\"-220.8\" font-family=\"DejaVu Sans\" font-size=\"9.00\">search_results_list ×1</text>\n</a>\n</g>\n</g>\n<!-- g86s430 -->\n<g id=\"state&#45;g86s430\" class=\"node\">\n<title>g86s430</title>\n<g id=\"a_state&#45;g86s430\"><a xlink:href=\"#state:g86s430\" xlink:title=\"g86s430\\nPageActivity\">\n<path fill=\"#d5e3ed\" stroke=\"#829291\" d=\"M73,-186C73,-186 12,-186 12,-186 6,-186 0,-180 0,-174 0,-174 0,-162 0,-162 0,-156 6,-150 12,-150 12,-150 73,-150 73,-150 79,-150 85,-156 85,-162 85,-162 85,-174 85,-174 85,-180 79,-186 73,-186\"/>\n<text text-anchor=\"middle\" x=\"42.5\" y=\"-171.2\" font-family=\"DejaVu Sans\" font-size=\"11.00\" fill=\"#243431\">g86s430</text>\n<text text-anchor=\"middle\" x=\"42.5\" y=\"-159.2\" font-family=\"DejaVu Sans\" font-size=\"11.00\" fill=\"#243431\">PageActivity</text>\n</a>\n</g>\n</g>\n<!-- g86s430&#45;&gt;g86s411 -->\n<g id=\"edge2\" class=\"edge\">\n<title>g86s430&#45;&gt;g86s411</title>\n<g id=\"a_edge2\"><a xlink:href=\"#event:g86e1409:1723\" xlink:title=\"Search W ×1\">\n<path fill=\"none\" stroke=\"#26728f\" stroke-width=\"2\" d=\"M85.07,-176.94C123.69,-185.25 181.39,-197.65 223.25,-206.66\"/>\n<polygon fill=\"#26728f\" stroke=\"#26728f\" stroke-width=\"2\" points=\"223.01,-208.57 228.79,-207.85 223.82,-204.81 223.01,-208.57\"/>\n</a>\n</g>\n<g id=\"a_edge2&#45;label\"><a xlink:href=\"#event:g86e1409:1723\" xlink:title=\"Search W ×1\">\n<text text-anchor=\"middle\" x=\"157\" y=\"-203.8\" font-family=\"DejaVu Sans\" font-size=\"9.00\">Search W ×1</text>\n</a>\n</g>\n</g>\n<!-- g86s434 -->\n<g id=\"state&#45;g86s434\" class=\"node\">\n<title>g86s434</title>\n<g id=\"a_state&#45;g86s434\"><a xlink:href=\"#state:g86s434\" xlink:title=\"g86s434\\nMainActivity\">\n<path fill=\"#d5e3ed\" stroke=\"#829291\" d=\"M73,-136C73,-136 12,-136 12,-136 6,-136 0,-130 0,-124 0,-124 0,-112 0,-112 0,-106 6,-100 12,-100 12,-100 73,-100 73,-100 79,-100 85,-106 85,-112 85,-112 85,-124 85,-124 85,-130 79,-136 73,-136\"/>\n<text text-anchor=\"middle\" x=\"42.5\" y=\"-121.2\" font-family=\"DejaVu Sans\" font-size=\"11.00\" fill=\"#243431\">g86s434</text>\n<text text-anchor=\"middle\" x=\"42.5\" y=\"-109.2\" font-family=\"DejaVu Sans\" font-size=\"11.00\" fill=\"#243431\">MainActivity</text>\n</a>\n</g>\n</g>\n<!-- g86s434&#45;&gt;g86s411 -->\n<g id=\"edge5\" class=\"edge\">\n<title>g86s434&#45;&gt;g86s411</title>\n<g id=\"a_edge5\"><a xlink:href=\"#event:g87e1421:1738\" xlink:title=\"search_container ×2\">\n<path fill=\"none\" stroke=\"#26728f\" stroke-width=\"2\" d=\"M85.33,-127.73C118.49,-136.27 165.48,-150.27 204,-169 219.5,-176.54 235.47,-187.08 248.43,-196.45\"/>\n<polygon fill=\"#26728f\" stroke=\"#26728f\" stroke-width=\"2\" points=\"247.48,-198.15 253.05,-199.85 249.76,-195.04 247.48,-198.15\"/>\n</a>\n</g>\n<g id=\"a_edge5&#45;label\"><a xlink:href=\"#event:g87e1421:1738\" xlink:title=\"search_container ×2\">\n<text text-anchor=\"middle\" x=\"157\" y=\"-171.8\" font-family=\"DejaVu Sans\" font-size=\"9.00\">search_container ×2</text>\n</a>\n</g>\n</g>\n<!-- g8s44 -->\n<g id=\"state&#45;g8s44\" class=\"node\">\n<title>g8s44</title>\n<g id=\"a_state&#45;g8s44\"><a xlink:href=\"#state:g8s44\" xlink:title=\"g8s44\\nPageActivity\">\n<path fill=\"#d5e3ed\" stroke=\"#829291\" d=\"M73,-86C73,-86 12,-86 12,-86 6,-86 0,-80 0,-74 0,-74 0,-62 0,-62 0,-56 6,-50 12,-50 12,-50 73,-50 73,-50 79,-50 85,-56 85,-62 85,-62 85,-74 85,-74 85,-80 79,-86 73,-86\"/>\n<text text-anchor=\"middle\" x=\"42.5\" y=\"-71.2\" font-family=\"DejaVu Sans\" font-size=\"11.00\" fill=\"#243431\">g8s44</text>\n<text text-anchor=\"middle\" x=\"42.5\" y=\"-59.2\" font-family=\"DejaVu Sans\" font-size=\"11.00\" fill=\"#243431\">PageActivity</text>\n</a>\n</g>\n</g>\n<!-- g8s44&#45;&gt;g86s411 -->\n<g id=\"edge16\" class=\"edge\">\n<title>g8s44&#45;&gt;g86s411</title>\n<g id=\"a_edge16\"><a xlink:href=\"#event:g93e1829:2260\" xlink:title=\"Search W ×1\">\n<path fill=\"none\" stroke=\"#26728f\" stroke-width=\"2\" d=\"M85.26,-74.55C119.68,-81.55 168.44,-95.31 204,-121 230.91,-140.44 252.07,-172.93 264.31,-194.9\"/>\n<polygon fill=\"#26728f\" stroke=\"#26728f\" stroke-width=\"2\" points=\"262.75,-196.06 267.07,-199.97 266.13,-194.22 262.75,-196.06\"/>\n</a>\n</g>\n<g id=\"a_edge16&#45;label\"><a xlink:href=\"#event:g93e1829:2260\" xlink:title=\"Search W ×1\">\n<text text-anchor=\"middle\" x=\"157\" y=\"-123.8\" font-family=\"DejaVu Sans\" font-size=\"9.00\">Search W ×1</text>\n</a>\n</g>\n</g>\n<!-- g90s475 -->\n<g id=\"state&#45;g90s475\" class=\"node\">\n<title>g90s475</title>\n<g id=\"a_state&#45;g90s475\"><a xlink:href=\"#state:g90s475\" xlink:title=\"g90s475\\nSearchActivity\">\n<path fill=\"#cde4d9\" stroke=\"#829291\" d=\"M726,-154C726,-154 654,-154 654,-154 648,-154 642,-148 642,-142 642,-142 642,-130 642,-130 642,-124 648,-118 654,-118 654,-118 726,-118 726,-118 732,-118 738,-124 738,-130 738,-130 738,-142 738,-142 738,-148 732,-154 726,-154\"/>\n<text text-anchor=\"middle\" x=\"690\" y=\"-139.2\" font-family=\"DejaVu Sans\" font-size=\"11.00\" fill=\"#243431\">g90s475</text>\n<text text-anchor=\"middle\" x=\"690\" y=\"-127.2\" font-family=\"DejaVu Sans\" font-size=\"11.00\" fill=\"#243431\">SearchActivity</text>\n</a>\n</g>\n</g>\n<!-- g90s474&#45;&gt;g90s475 -->\n<g id=\"edge20\" class=\"edge\">\n<title>g90s474&#45;&gt;g90s475</title>\n<g id=\"a_edge20\"><a xlink:href=\"#topology:g90a5366\" xlink:title=\"g90e1528\">\n<path fill=\"none\" stroke=\"#9d9e99\" stroke-dasharray=\"5,2\" d=\"M544.46,-136C572.26,-136 607.42,-136 636.11,-136\"/>\n<polygon fill=\"#9d9e99\" stroke=\"#9d9e99\" points=\"636.25,-137.93 641.75,-136 636.25,-134.08 636.25,-137.93\"/>\n</a>\n</g>\n<g id=\"a_edge20&#45;label\"><a xlink:href=\"#topology:g90a5366\" xlink:title=\"g90e1528\">\n<text text-anchor=\"middle\" x=\"593\" y=\"-138.8\" font-family=\"DejaVu Sans\" font-size=\"9.00\">g90e1528</text>\n</a>\n</g>\n</g>\n<!-- g90s475&#45;&gt;g90s475 -->\n<g id=\"edge18\" class=\"edge\">\n<title>g90s475&#45;&gt;g90s475</title>\n<g id=\"a_edge18\"><a xlink:href=\"#topology:g90a5377\" xlink:title=\"g90e1529\">\n<path fill=\"none\" stroke=\"#9d9e99\" stroke-dasharray=\"5,2\" d=\"M672.16,-154.09C670.93,-161.62 676.88,-168 690,-168 699.64,-168 705.41,-164.56 707.3,-159.75\"/>\n<polygon fill=\"#9d9e99\" stroke=\"#9d9e99\" points=\"709.24,-159.75 707.84,-154.09 705.4,-159.39 709.24,-159.75\"/>\n</a>\n</g>\n<g id=\"a_edge18&#45;label\"><a xlink:href=\"#topology:g90a5377\" xlink:title=\"g90e1529\">\n<text text-anchor=\"middle\" x=\"690\" y=\"-170.8\" font-family=\"DejaVu Sans\" font-size=\"9.00\">g90e1529</text>\n</a>\n</g>\n</g>\n<!-- g93s543 -->\n<g id=\"state&#45;g93s543\" class=\"node\">\n<title>g93s543</title>\n<g id=\"a_state&#45;g93s543\"><a xlink:href=\"#state:g93s543\" xlink:title=\"g93s543\\nPageActivity\">\n<path fill=\"#d5e3ed\" stroke=\"#829291\" d=\"M73,-36C73,-36 12,-36 12,-36 6,-36 0,-30 0,-24 0,-24 0,-12 0,-12 0,-6 6,0 12,0 12,0 73,0 73,0 79,0 85,-6 85,-12 85,-12 85,-24 85,-24 85,-30 79,-36 73,-36\"/>\n<text text-anchor=\"middle\" x=\"42.5\" y=\"-21.2\" font-family=\"DejaVu Sans\" font-size=\"11.00\" fill=\"#243431\">g93s543</text>\n<text text-anchor=\"middle\" x=\"42.5\" y=\"-9.2\" font-family=\"DejaVu Sans\" font-size=\"11.00\" fill=\"#243431\">PageActivity</text>\n</a>\n</g>\n</g>\n<!-- g93s543&#45;&gt;g86s411 -->\n<g id=\"edge15\" class=\"edge\">\n<title>g93s543&#45;&gt;g86s411</title>\n<g id=\"a_edge15\"><a xlink:href=\"#event:g93e1794:2217\" xlink:title=\"Search W ×1\">\n<path fill=\"none\" stroke=\"#26728f\" stroke-width=\"2\" d=\"M85.17,-21.74C120.48,-26.89 170.54,-39.09 204,-68 243.05,-101.74 262.66,-161.45 270.95,-194.44\"/>\n<polygon fill=\"#26728f\" stroke=\"#26728f\" stroke-width=\"2\" points=\"269.1,-195 272.27,-199.89 272.84,-194.09 269.1,-195\"/>\n</a>\n</g>\n<g id=\"a_edge15&#45;label\"><a xlink:href=\"#event:g93e1794:2217\" xlink:title=\"Search W ×1\">\n<text text-anchor=\"middle\" x=\"157\" y=\"-70.8\" font-family=\"DejaVu Sans\" font-size=\"9.00\">Search W ×1</text>\n</a>\n</g>\n</g>\n</g>\n</svg>\n","graph_tree":"<svg width=\"477pt\" height=\"129pt\"\n viewBox=\"0.00 0.00 477.20 129.20\" xmlns=\"http://www.w3.org/2000/svg\" xmlns:xlink=\"http://www.w3.org/1999/xlink\">\n<g id=\"graph0\" class=\"graph\" transform=\"scale(1 1) rotate(0) translate(21.6 107.6)\">\n<title>G</title>\n<!-- g86s411 -->\n<g id=\"state&#45;g86s411\" class=\"node\">\n<title>g86s411</title>\n<g id=\"a_state&#45;g86s411\"><a xlink:href=\"#state:g86s411\" xlink:title=\"g86s411\\nSearchActivity\">\n<path fill=\"#e6b455\" stroke=\"#829291\" d=\"M84,-50C84,-50 12,-50 12,-50 6,-50 0,-44 0,-38 0,-38 0,-26 0,-26 0,-20 6,-14 12,-14 12,-14 84,-14 84,-14 90,-14 96,-20 96,-26 96,-26 96,-38 96,-38 96,-44 90,-50 84,-50\"/>\n<text text-anchor=\"middle\" x=\"48\" y=\"-35.2\" font-family=\"DejaVu Sans\" font-size=\"11.00\" fill=\"#243431\">g86s411</text>\n<text text-anchor=\"middle\" x=\"48\" y=\"-23.2\" font-family=\"DejaVu Sans\" font-size=\"11.00\" fill=\"#243431\">SearchActivity</text>\n</a>\n</g>\n</g>\n<!-- g90s474 -->\n<g id=\"state&#45;g90s474\" class=\"node\">\n<title>g90s474</title>\n<g id=\"a_state&#45;g90s474\"><a xlink:href=\"#state:g90s474\" xlink:title=\"g90s474\\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\">g90s474</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<!-- g86s411&#45;&gt;g90s474 -->\n<g id=\"edge2\" class=\"edge\">\n<title>g86s411&#45;&gt;g90s474</title>\n<g id=\"a_edge2\"><a xlink:href=\"#topology:idom\" xlink:title=\"idom\">\n<path fill=\"none\" stroke=\"#547d6d\" d=\"M96.41,-42.22C117.3,-46.72 141.92,-52.03 163.38,-56.66\"/>\n<polygon fill=\"#547d6d\" stroke=\"#547d6d\" points=\"162.98,-58.54 168.76,-57.82 163.79,-54.78 162.98,-58.54\"/>\n</a>\n</g>\n<g id=\"a_edge2&#45;label\"><a xlink:href=\"#topology:idom\" xlink:title=\"idom\">\n<text text-anchor=\"middle\" x=\"132.5\" y=\"-55.8\" font-family=\"DejaVu Sans\" font-size=\"9.00\">idom</text>\n</a>\n</g>\n</g>\n<!-- g93s557 -->\n<g id=\"state&#45;g93s557\" class=\"node\">\n<title>g93s557</title>\n<g id=\"a_state&#45;g93s557\"><a xlink:href=\"#state:g93s557\" xlink:title=\"g93s557\\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\">g93s557</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<!-- g86s411&#45;&gt;g93s557 -->\n<g id=\"edge3\" class=\"edge\">\n<title>g86s411&#45;&gt;g93s557</title>\n<g id=\"a_edge3\"><a xlink:href=\"#topology:idom\" xlink:title=\"idom\">\n<path fill=\"none\" stroke=\"#547d6d\" d=\"M96.41,-28.03C117.21,-26.28 141.71,-24.23 163.11,-22.43\"/>\n<polygon fill=\"#547d6d\" stroke=\"#547d6d\" points=\"163.44,-24.34 168.76,-21.96 163.12,-20.5 163.44,-24.34\"/>\n</a>\n</g>\n<g id=\"a_edge3&#45;label\"><a xlink:href=\"#topology:idom\" xlink:title=\"idom\">\n<text text-anchor=\"middle\" x=\"132.5\" y=\"-28.8\" font-family=\"DejaVu Sans\" font-size=\"9.00\">idom</text>\n</a>\n</g>\n</g>\n<!-- g90s475 -->\n<g id=\"state&#45;g90s475\" class=\"node\">\n<title>g90s475</title>\n<g id=\"a_state&#45;g90s475\"><a xlink:href=\"#state:g90s475\" xlink:title=\"g90s475\\nSearchActivity\">\n<path fill=\"#cde4d9\" stroke=\"#829291\" d=\"M422,-86C422,-86 350,-86 350,-86 344,-86 338,-80 338,-74 338,-74 338,-62 338,-62 338,-56 344,-50 350,-50 350,-50 422,-50 422,-50 428,-50 434,-56 434,-62 434,-62 434,-74 434,-74 434,-80 428,-86 422,-86\"/>\n<text text-anchor=\"middle\" x=\"386\" y=\"-71.2\" font-family=\"DejaVu Sans\" font-size=\"11.00\" fill=\"#243431\">g90s475</text>\n<text text-anchor=\"middle\" x=\"386\" y=\"-59.2\" font-family=\"DejaVu Sans\" font-size=\"11.00\" fill=\"#243431\">SearchActivity</text>\n</a>\n</g>\n</g>\n<!-- g90s474&#45;&gt;g90s475 -->\n<g id=\"edge1\" class=\"edge\">\n<title>g90s474&#45;&gt;g90s475</title>\n<g id=\"a_edge1\"><a xlink:href=\"#topology:idom\" xlink:title=\"idom\">\n<path fill=\"none\" stroke=\"#547d6d\" d=\"M265.41,-68C286.21,-68 310.71,-68 332.11,-68\"/>\n<polygon fill=\"#547d6d\" stroke=\"#547d6d\" points=\"332.26,-69.93 337.76,-68 332.26,-66.08 332.26,-69.93\"/>\n</a>\n</g>\n<g id=\"a_edge1&#45;label\"><a xlink:href=\"#topology:idom\" xlink:title=\"idom\">\n<text text-anchor=\"middle\" x=\"301.5\" y=\"-70.8\" font-family=\"DejaVu Sans\" font-size=\"9.00\">idom</text>\n</a>\n</g>\n</g>\n</g>\n</svg>\n"}