{"id":"activitydiary-Rep1-g24s69","app":"activitydiary","rep":"Rep1","header":"g24s69","title":"对照：Add 首达新建编辑页 Singleton","pinned_arrival":"","arrival_count":26,"primary_non_singleton":false,"header_record":{"app":"activitydiary","rep":"Rep1","header":"g24s69","activity":"de.rampro.activitydiary.ui.generic.EditActivity","cohort":"singleton_control","region_size":1,"strict_descendants":0,"members":["g24s69"],"incoming_topology_edges":19,"external_topology_edges":18,"topology_external_source_states":["g14s38","g15s42","g17s53","g1s1","g1s3","g23s68","g27s76","g27s77","g27s79","g29s93","g2s11","g37s122","g48s171","g49s185","g50s196"],"confirmed_final_arrivals":26,"external_confirmed_arrivals":24,"internal_return_arrivals":0,"self_loop_arrivals":2,"unprojected_same_named_target_records":7,"unprojected_transition_ids":["g27e176:218","g27e183:225","g28e199:241","g28e207:249","g31e455:563","g46e809:1206","g46e809:1210"],"observed_external_source_states":["g14s38","g17s53","g1s1","g1s3","g27s76","g27s77","g27s79","g29s93","g2s11","g37s122","g48s171","g49s185","g50s196"],"observed_external_source_state_count":13,"direct_external_category_executions":{"Ⅰ":23,"Ⅱ":1},"all_arrival_category_executions":{"Ⅰ":23,"Ⅱ":3},"direct_I_local_ids":["activitydiary-Rep1-l1f4c5a96518f0d","activitydiary-Rep1-l417e26e988d474","activitydiary-Rep1-l41fe849f829502","activitydiary-Rep1-l5cea2b487e78c6","activitydiary-Rep1-l829d4e9da58b80","activitydiary-Rep1-l8d18d392ec483d","activitydiary-Rep1-l8eb5a718bf5183","activitydiary-Rep1-l94cef1d7b0054e","activitydiary-Rep1-l9d9aec74af0032","activitydiary-Rep1-lb4dcccccc7387a","activitydiary-Rep1-lbb61baa0739690","activitydiary-Rep1-lbd848b583973f9","activitydiary-Rep1-lbe46dc515a7080","activitydiary-Rep1-ld761723123607e","activitydiary-Rep1-le9101aae2140bc"],"projection_selected":true,"nested_deferred_projection":false,"actual_online_selected":false,"status":"final_topology_retrospective_not_historical_online_dominator"},"arrivals":[{"id":"activitydiary-Rep1:g24s69:g27e136:176","app":"activitydiary","rep":"Rep1","header":"g24s69","region_size":1,"cohort":"singleton_control","kind":"external","transition_id":"g27e136:176","order":175,"event_line":429,"version":27,"source_state":"g2s11","source_gui_id":245,"target_gui_id":246,"direct_category":"Ⅰ","direct_function":"activitydiary.add-activity","direct_local_id":"activitydiary-Rep1-l41fe849f829502","history_available":5,"history_stop":"abstraction_version_changed","path_transition_ids":["g27e132:172","g27e133:173","g27e134:174","g27e135:175","g27e136:176"],"window_complete":{"1":true,"2":true,"3":true,"5":true,"10":false,"20":false},"event_path":"[WORKSPACE]/experiments/guitaboo_formal_emulator_20261103T1725/formal-runs/rep1-pure-batch1/activitydiary-rep1-pure-b1/formal/device-output/formal/sata-de.rampro.activitydiary-ape-sata-running-minutes-60/jev-events.jsonl"},{"id":"activitydiary-Rep1:g24s69:g27e144:184","app":"activitydiary","rep":"Rep1","header":"g24s69","region_size":1,"cohort":"singleton_control","kind":"external","transition_id":"g27e144:184","order":183,"event_line":447,"version":27,"source_state":"g27s76","source_gui_id":259,"target_gui_id":260,"direct_category":"Ⅰ","direct_function":"activitydiary.add-activity","direct_local_id":"activitydiary-Rep1-l417e26e988d474","history_available":13,"history_stop":"abstraction_version_changed","path_transition_ids":["g27e132:172","g27e133:173","g27e134:174","g27e135:175","g27e136:176","g27e137:177","g27e138:178","g27e139:179","g27e140:180","g27e141:181","g27e142:182","g27e143:183","g27e144:184"],"window_complete":{"1":true,"2":true,"3":true,"5":true,"10":true,"20":false},"event_path":"[WORKSPACE]/experiments/guitaboo_formal_emulator_20261103T1725/formal-runs/rep1-pure-batch1/activitydiary-rep1-pure-b1/formal/device-output/formal/sata-de.rampro.activitydiary-ape-sata-running-minutes-60/jev-events.jsonl"},{"id":"activitydiary-Rep1:g24s69:g27e150:190","app":"activitydiary","rep":"Rep1","header":"g24s69","region_size":1,"cohort":"singleton_control","kind":"external","transition_id":"g27e150:190","order":189,"event_line":461,"version":27,"source_state":"g27s77","source_gui_id":265,"target_gui_id":266,"direct_category":"Ⅰ","direct_function":"activitydiary.add-activity","direct_local_id":"activitydiary-Rep1-l94cef1d7b0054e","history_available":19,"history_stop":"abstraction_version_changed","path_transition_ids":["g27e132:172","g27e133:173","g27e134:174","g27e135:175","g27e136:176","g27e137:177","g27e138:178","g27e139:179","g27e140:180","g27e141:181","g27e142:182","g27e143:183","g27e144:184","g27e145:185","g27e146:186","g27e147:187","g27e148:188","g27e149:189","g27e150:190"],"window_complete":{"1":true,"2":true,"3":true,"5":true,"10":true,"20":false},"event_path":"[WORKSPACE]/experiments/guitaboo_formal_emulator_20261103T1725/formal-runs/rep1-pure-batch1/activitydiary-rep1-pure-b1/formal/device-output/formal/sata-de.rampro.activitydiary-ape-sata-running-minutes-60/jev-events.jsonl"},{"id":"activitydiary-Rep1:g24s69:g28e200:242","app":"activitydiary","rep":"Rep1","header":"g24s69","region_size":1,"cohort":"singleton_control","kind":"self_loop","transition_id":"g28e200:242","order":241,"event_line":589,"version":28,"source_state":"g24s69","source_gui_id":329,"target_gui_id":330,"direct_category":"Ⅱ","direct_function":null,"direct_local_id":"activitydiary-Rep1-l1f00fed95ee446","history_available":15,"history_stop":"abstraction_version_changed","path_transition_ids":["g28e186:228","g28e187:229","g28e188:230","g28e189:231","g28e190:232","g28e191:233","g28e192:234","g28e193:235","g28e194:236","g28e195:237","g28e196:238","g28e197:239","g28e198:240","g28e199:241","g28e200:242"],"window_complete":{"1":true,"2":true,"3":true,"5":true,"10":true,"20":false},"event_path":"[WORKSPACE]/experiments/guitaboo_formal_emulator_20261103T1725/formal-runs/rep1-pure-batch1/activitydiary-rep1-pure-b1/formal/device-output/formal/sata-de.rampro.activitydiary-ape-sata-running-minutes-60/jev-events.jsonl"},{"id":"activitydiary-Rep1:g24s69:g28e219:261","app":"activitydiary","rep":"Rep1","header":"g24s69","region_size":1,"cohort":"singleton_control","kind":"external","transition_id":"g28e219:261","order":260,"event_line":631,"version":28,"source_state":"g1s3","source_gui_id":348,"target_gui_id":349,"direct_category":"Ⅰ","direct_function":"activitydiary.edit-existing-activity","direct_local_id":"activitydiary-Rep1-l8d18d392ec483d","history_available":20,"history_stop":"depth_limit","path_transition_ids":["g28e200:242","g28e201:243","g28e202:244","g28e203:245","g28e204:246","g28e205:247","g28e206:248","g28e207:249","g28e208:250","g28e209:251","g28e210:252","g28e211:253","g28e212:254","g28e213:255","g28e214:256","g28e215:257","g28e216:258","g28e217:259","g28e218:260","g28e219:261"],"window_complete":{"1":true,"2":true,"3":true,"5":true,"10":true,"20":true},"event_path":"[WORKSPACE]/experiments/guitaboo_formal_emulator_20261103T1725/formal-runs/rep1-pure-batch1/activitydiary-rep1-pure-b1/formal/device-output/formal/sata-de.rampro.activitydiary-ape-sata-running-minutes-60/jev-events.jsonl"},{"id":"activitydiary-Rep1:g24s69:g37e555:773","app":"activitydiary","rep":"Rep1","header":"g24s69","region_size":1,"cohort":"singleton_control","kind":"external","transition_id":"g37e555:773","order":772,"event_line":1996,"version":37,"source_state":"g1s1","source_gui_id":891,"target_gui_id":892,"direct_category":"Ⅰ","direct_function":"activitydiary.add-activity","direct_local_id":"activitydiary-Rep1-lb4dcccccc7387a","history_available":17,"history_stop":"GUI_ID_gap;GUI_timestamp_gap;observed_State_gap","path_transition_ids":["g37e547:757","g1e37:758","g8e82:759","g37e548:760","g37e549:761","g31e440:762","g37e550:763","g37e551:764","g37e552:765","g29e235:766","g37e553:767","g29e300:768","g29e301:769","g29e358:770","g29e360:771","g37e554:772","g37e555:773"],"window_complete":{"1":true,"2":true,"3":true,"5":true,"10":true,"20":false},"event_path":"[WORKSPACE]/experiments/guitaboo_formal_emulator_20261103T1725/formal-runs/rep1-pure-batch1/activitydiary-rep1-pure-b1/formal/device-output/formal/sata-de.rampro.activitydiary-ape-sata-running-minutes-60/jev-events.jsonl"},{"id":"activitydiary-Rep1:g24s69:g37e557:775","app":"activitydiary","rep":"Rep1","header":"g24s69","region_size":1,"cohort":"singleton_control","kind":"external","transition_id":"g37e557:775","order":774,"event_line":2004,"version":37,"source_state":"g17s53","source_gui_id":893,"target_gui_id":894,"direct_category":"Ⅱ","direct_function":null,"direct_local_id":"activitydiary-Rep1-lc6d1320f7ec0ca","history_available":19,"history_stop":"GUI_ID_gap;GUI_timestamp_gap;observed_State_gap","path_transition_ids":["g37e547:757","g1e37:758","g8e82:759","g37e548:760","g37e549:761","g31e440:762","g37e550:763","g37e551:764","g37e552:765","g29e235:766","g37e553:767","g29e300:768","g29e301:769","g29e358:770","g29e360:771","g37e554:772","g37e555:773","g37e556:774","g37e557:775"],"window_complete":{"1":true,"2":true,"3":true,"5":true,"10":true,"20":false},"event_path":"[WORKSPACE]/experiments/guitaboo_formal_emulator_20261103T1725/formal-runs/rep1-pure-batch1/activitydiary-rep1-pure-b1/formal/device-output/formal/sata-de.rampro.activitydiary-ape-sata-running-minutes-60/jev-events.jsonl"},{"id":"activitydiary-Rep1:g24s69:g28e200:776","app":"activitydiary","rep":"Rep1","header":"g24s69","region_size":1,"cohort":"singleton_control","kind":"self_loop","transition_id":"g28e200:776","order":775,"event_line":2007,"version":37,"source_state":"g24s69","source_gui_id":894,"target_gui_id":895,"direct_category":"Ⅱ","direct_function":null,"direct_local_id":"activitydiary-Rep1-l1f00fed95ee446","history_available":20,"history_stop":"depth_limit","path_transition_ids":["g37e547:757","g1e37:758","g8e82:759","g37e548:760","g37e549:761","g31e440:762","g37e550:763","g37e551:764","g37e552:765","g29e235:766","g37e553:767","g29e300:768","g29e301:769","g29e358:770","g29e360:771","g37e554:772","g37e555:773","g37e556:774","g37e557:775","g28e200:776"],"window_complete":{"1":true,"2":true,"3":true,"5":true,"10":true,"20":true},"event_path":"[WORKSPACE]/experiments/guitaboo_formal_emulator_20261103T1725/formal-runs/rep1-pure-batch1/activitydiary-rep1-pure-b1/formal/device-output/formal/sata-de.rampro.activitydiary-ape-sata-running-minutes-60/jev-events.jsonl"},{"id":"activitydiary-Rep1:g24s69:g37e555:857","app":"activitydiary","rep":"Rep1","header":"g24s69","region_size":1,"cohort":"singleton_control","kind":"external","transition_id":"g37e555:857","order":856,"event_line":2236,"version":46,"source_state":"g1s1","source_gui_id":993,"target_gui_id":994,"direct_category":"Ⅰ","direct_function":"activitydiary.add-activity","direct_local_id":"activitydiary-Rep1-lb4dcccccc7387a","history_available":9,"history_stop":"abstraction_version_changed","path_transition_ids":["g46e601:849","g46e602:850","g46e601:851","g46e603:852","g46e604:853","g46e605:854","g46e606:855","g46e607:856","g37e555:857"],"window_complete":{"1":true,"2":true,"3":true,"5":true,"10":false,"20":false},"event_path":"[WORKSPACE]/experiments/guitaboo_formal_emulator_20261103T1725/formal-runs/rep1-pure-batch1/activitydiary-rep1-pure-b1/formal/device-output/formal/sata-de.rampro.activitydiary-ape-sata-running-minutes-60/jev-events.jsonl"},{"id":"activitydiary-Rep1:g24s69:g46e689:972","app":"activitydiary","rep":"Rep1","header":"g24s69","region_size":1,"cohort":"singleton_control","kind":"external","transition_id":"g46e689:972","order":971,"event_line":2534,"version":46,"source_state":"g14s38","source_gui_id":1138,"target_gui_id":1139,"direct_category":"Ⅰ","direct_function":"activitydiary.edit-existing-activity","direct_local_id":"activitydiary-Rep1-lbe46dc515a7080","history_available":20,"history_stop":"depth_limit","path_transition_ids":["g46e676:953","g46e677:954","g46e678:955","g46e679:956","g29e358:957","g46e680:958","g46e681:959","g46e614:960","g46e682:961","g46e614:962","g46e683:963","g46e614:964","g46e684:965","g46e614:966","g46e685:967","g46e614:968","g46e686:969","g46e687:970","g46e688:971","g46e689:972"],"window_complete":{"1":true,"2":true,"3":true,"5":true,"10":true,"20":true},"event_path":"[WORKSPACE]/experiments/guitaboo_formal_emulator_20261103T1725/formal-runs/rep1-pure-batch1/activitydiary-rep1-pure-b1/formal/device-output/formal/sata-de.rampro.activitydiary-ape-sata-running-minutes-60/jev-events.jsonl"},{"id":"activitydiary-Rep1:g24s69:g37e555:979","app":"activitydiary","rep":"Rep1","header":"g24s69","region_size":1,"cohort":"singleton_control","kind":"external","transition_id":"g37e555:979","order":978,"event_line":2556,"version":46,"source_state":"g1s1","source_gui_id":1145,"target_gui_id":1146,"direct_category":"Ⅰ","direct_function":"activitydiary.add-activity","direct_local_id":"activitydiary-Rep1-lb4dcccccc7387a","history_available":20,"history_stop":"depth_limit","path_transition_ids":["g46e614:960","g46e682:961","g46e614:962","g46e683:963","g46e614:964","g46e684:965","g46e614:966","g46e685:967","g46e614:968","g46e686:969","g46e687:970","g46e688:971","g46e689:972","g46e690:973","g46e691:974","g46e692:975","g46e691:976","g46e688:977","g46e693:978","g37e555:979"],"window_complete":{"1":true,"2":true,"3":true,"5":true,"10":true,"20":true},"event_path":"[WORKSPACE]/experiments/guitaboo_formal_emulator_20261103T1725/formal-runs/rep1-pure-batch1/activitydiary-rep1-pure-b1/formal/device-output/formal/sata-de.rampro.activitydiary-ape-sata-running-minutes-60/jev-events.jsonl"},{"id":"activitydiary-Rep1:g24s69:g37e555:1236","app":"activitydiary","rep":"Rep1","header":"g24s69","region_size":1,"cohort":"singleton_control","kind":"external","transition_id":"g37e555:1236","order":1235,"event_line":3273,"version":46,"source_state":"g1s1","source_gui_id":1414,"target_gui_id":1415,"direct_category":"Ⅰ","direct_function":"activitydiary.add-activity","direct_local_id":"activitydiary-Rep1-lb4dcccccc7387a","history_available":1,"history_stop":"GUI_ID_gap;GUI_timestamp_gap;observed_State_gap","path_transition_ids":["g37e555:1236"],"window_complete":{"1":true,"2":false,"3":false,"5":false,"10":false,"20":false},"event_path":"[WORKSPACE]/experiments/guitaboo_formal_emulator_20261103T1725/formal-runs/rep1-pure-batch1/activitydiary-rep1-pure-b1/formal/device-output/formal/sata-de.rampro.activitydiary-ape-sata-running-minutes-60/jev-events.jsonl"},{"id":"activitydiary-Rep1:g24s69:g37e555:1602","app":"activitydiary","rep":"Rep1","header":"g24s69","region_size":1,"cohort":"singleton_control","kind":"external","transition_id":"g37e555:1602","order":1601,"event_line":4190,"version":48,"source_state":"g1s1","source_gui_id":1788,"target_gui_id":1789,"direct_category":"Ⅰ","direct_function":"activitydiary.add-activity","direct_local_id":"activitydiary-Rep1-lb4dcccccc7387a","history_available":1,"history_stop":"GUI_ID_gap;GUI_timestamp_gap;observed_State_gap","path_transition_ids":["g37e555:1602"],"window_complete":{"1":true,"2":false,"3":false,"5":false,"10":false,"20":false},"event_path":"[WORKSPACE]/experiments/guitaboo_formal_emulator_20261103T1725/formal-runs/rep1-pure-batch1/activitydiary-rep1-pure-b1/formal/device-output/formal/sata-de.rampro.activitydiary-ape-sata-running-minutes-60/jev-events.jsonl"},{"id":"activitydiary-Rep1:g24s69:g48e822:1629","app":"activitydiary","rep":"Rep1","header":"g24s69","region_size":1,"cohort":"singleton_control","kind":"external","transition_id":"g48e822:1629","order":1628,"event_line":4262,"version":48,"source_state":"g1s1","source_gui_id":1819,"target_gui_id":1820,"direct_category":"Ⅰ","direct_function":"activitydiary.edit-existing-activity","direct_local_id":"activitydiary-Rep1-ld761723123607e","history_available":2,"history_stop":"GUI_ID_gap;GUI_timestamp_gap","path_transition_ids":["g31e405:1628","g48e822:1629"],"window_complete":{"1":true,"2":true,"3":false,"5":false,"10":false,"20":false},"event_path":"[WORKSPACE]/experiments/guitaboo_formal_emulator_20261103T1725/formal-runs/rep1-pure-batch1/activitydiary-rep1-pure-b1/formal/device-output/formal/sata-de.rampro.activitydiary-ape-sata-running-minutes-60/jev-events.jsonl"},{"id":"activitydiary-Rep1:g24s69:g37e555:1636","app":"activitydiary","rep":"Rep1","header":"g24s69","region_size":1,"cohort":"singleton_control","kind":"external","transition_id":"g37e555:1636","order":1635,"event_line":4279,"version":48,"source_state":"g1s1","source_gui_id":1826,"target_gui_id":1827,"direct_category":"Ⅰ","direct_function":"activitydiary.add-activity","direct_local_id":"activitydiary-Rep1-lb4dcccccc7387a","history_available":9,"history_stop":"GUI_ID_gap;GUI_timestamp_gap","path_transition_ids":["g31e405:1628","g48e822:1629","g48e823:1630","g48e824:1631","g48e825:1632","g48e826:1633","g48e827:1634","g46e609:1635","g37e555:1636"],"window_complete":{"1":true,"2":true,"3":true,"5":true,"10":false,"20":false},"event_path":"[WORKSPACE]/experiments/guitaboo_formal_emulator_20261103T1725/formal-runs/rep1-pure-batch1/activitydiary-rep1-pure-b1/formal/device-output/formal/sata-de.rampro.activitydiary-ape-sata-running-minutes-60/jev-events.jsonl"},{"id":"activitydiary-Rep1:g24s69:g48e822:1661","app":"activitydiary","rep":"Rep1","header":"g24s69","region_size":1,"cohort":"singleton_control","kind":"external","transition_id":"g48e822:1661","order":1660,"event_line":4340,"version":48,"source_state":"g1s1","source_gui_id":1853,"target_gui_id":1854,"direct_category":"Ⅰ","direct_function":"activitydiary.edit-existing-activity","direct_local_id":"activitydiary-Rep1-ld761723123607e","history_available":2,"history_stop":"GUI_ID_gap;GUI_timestamp_gap;observed_State_gap","path_transition_ids":["g31e405:1660","g48e822:1661"],"window_complete":{"1":true,"2":true,"3":false,"5":false,"10":false,"20":false},"event_path":"[WORKSPACE]/experiments/guitaboo_formal_emulator_20261103T1725/formal-runs/rep1-pure-batch1/activitydiary-rep1-pure-b1/formal/device-output/formal/sata-de.rampro.activitydiary-ape-sata-running-minutes-60/jev-events.jsonl"},{"id":"activitydiary-Rep1:g24s69:g48e786:2047","app":"activitydiary","rep":"Rep1","header":"g24s69","region_size":1,"cohort":"singleton_control","kind":"external","transition_id":"g48e786:2047","order":2046,"event_line":5235,"version":49,"source_state":"g48s171","source_gui_id":2270,"target_gui_id":2271,"direct_category":"Ⅰ","direct_function":"activitydiary.edit-existing-activity","direct_local_id":"activitydiary-Rep1-le9101aae2140bc","history_available":12,"history_stop":"GUI_ID_gap;GUI_timestamp_gap;observed_State_gap","path_transition_ids":["g49e915:2036","g49e916:2037","g49e917:2038","g36e537:2039","g49e918:2040","g49e919:2041","g49e920:2042","g47e902:2043","g49e921:2044","g47e913:2045","g48e801:2046","g48e786:2047"],"window_complete":{"1":true,"2":true,"3":true,"5":true,"10":true,"20":false},"event_path":"[WORKSPACE]/experiments/guitaboo_formal_emulator_20261103T1725/formal-runs/rep1-pure-batch1/activitydiary-rep1-pure-b1/formal/device-output/formal/sata-de.rampro.activitydiary-ape-sata-running-minutes-60/jev-events.jsonl"},{"id":"activitydiary-Rep1:g24s69:g37e507:2091","app":"activitydiary","rep":"Rep1","header":"g24s69","region_size":1,"cohort":"singleton_control","kind":"external","transition_id":"g37e507:2091","order":2090,"event_line":5362,"version":49,"source_state":"g37s122","source_gui_id":2315,"target_gui_id":2316,"direct_category":"Ⅰ","direct_function":"activitydiary.edit-existing-activity","direct_local_id":"activitydiary-Rep1-l5cea2b487e78c6","history_available":20,"history_stop":"depth_limit","path_transition_ids":["g49e928:2072","g49e930:2073","g49e928:2074","g49e931:2075","g49e932:2076","g49e933:2077","g47e900:2078","g47e901:2079","g49e934:2080","g49e935:2081","g49e936:2082","g37e509:2083","g37e513:2084","g49e937:2085","g37e505:2086","g49e938:2087","g8e84:2088","g9e88:2089","g49e939:2090","g37e507:2091"],"window_complete":{"1":true,"2":true,"3":true,"5":true,"10":true,"20":true},"event_path":"[WORKSPACE]/experiments/guitaboo_formal_emulator_20261103T1725/formal-runs/rep1-pure-batch1/activitydiary-rep1-pure-b1/formal/device-output/formal/sata-de.rampro.activitydiary-ape-sata-running-minutes-60/jev-events.jsonl"},{"id":"activitydiary-Rep1:g24s69:g37e510:2093","app":"activitydiary","rep":"Rep1","header":"g24s69","region_size":1,"cohort":"singleton_control","kind":"external","transition_id":"g37e510:2093","order":2092,"event_line":5368,"version":49,"source_state":"g37s122","source_gui_id":2317,"target_gui_id":2318,"direct_category":"Ⅰ","direct_function":"activitydiary.add-activity","direct_local_id":"activitydiary-Rep1-l9d9aec74af0032","history_available":20,"history_stop":"depth_limit","path_transition_ids":["g49e928:2074","g49e931:2075","g49e932:2076","g49e933:2077","g47e900:2078","g47e901:2079","g49e934:2080","g49e935:2081","g49e936:2082","g37e509:2083","g37e513:2084","g49e937:2085","g37e505:2086","g49e938:2087","g8e84:2088","g9e88:2089","g49e939:2090","g37e507:2091","g49e940:2092","g37e510:2093"],"window_complete":{"1":true,"2":true,"3":true,"5":true,"10":true,"20":true},"event_path":"[WORKSPACE]/experiments/guitaboo_formal_emulator_20261103T1725/formal-runs/rep1-pure-batch1/activitydiary-rep1-pure-b1/formal/device-output/formal/sata-de.rampro.activitydiary-ape-sata-running-minutes-60/jev-events.jsonl"},{"id":"activitydiary-Rep1:g24s69:g50e997:2217","app":"activitydiary","rep":"Rep1","header":"g24s69","region_size":1,"cohort":"singleton_control","kind":"external","transition_id":"g50e997:2217","order":2216,"event_line":5707,"version":50,"source_state":"g49s185","source_gui_id":2444,"target_gui_id":2445,"direct_category":"Ⅰ","direct_function":"activitydiary.add-activity","direct_local_id":"activitydiary-Rep1-l829d4e9da58b80","history_available":20,"history_stop":"depth_limit","path_transition_ids":["g46e695:2198","g46e636:2199","g46e635:2200","g46e622:2201","g46e637:2202","g46e633:2203","g50e971:2204","g46e696:2205","g50e990:2206","g50e991:2207","g50e992:2208","g49e928:2209","g50e993:2210","g49e941:2211","g50e994:2212","g49e946:2213","g50e995:2214","g49e944:2215","g50e996:2216","g50e997: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/rep1-pure-batch1/activitydiary-rep1-pure-b1/formal/device-output/formal/sata-de.rampro.activitydiary-ape-sata-running-minutes-60/jev-events.jsonl"},{"id":"activitydiary-Rep1:g24s69:g50e1008:2235","app":"activitydiary","rep":"Rep1","header":"g24s69","region_size":1,"cohort":"singleton_control","kind":"external","transition_id":"g50e1008:2235","order":2234,"event_line":5760,"version":50,"source_state":"g29s93","source_gui_id":2463,"target_gui_id":2464,"direct_category":"Ⅰ","direct_function":"activitydiary.add-activity","direct_local_id":"activitydiary-Rep1-lbd848b583973f9","history_available":4,"history_stop":"GUI_ID_gap;GUI_timestamp_gap;observed_State_gap","path_transition_ids":["g50e1005:2232","g50e1006:2233","g50e1007:2234","g50e1008:2235"],"window_complete":{"1":true,"2":true,"3":true,"5":false,"10":false,"20":false},"event_path":"[WORKSPACE]/experiments/guitaboo_formal_emulator_20261103T1725/formal-runs/rep1-pure-batch1/activitydiary-rep1-pure-b1/formal/device-output/formal/sata-de.rampro.activitydiary-ape-sata-running-minutes-60/jev-events.jsonl"},{"id":"activitydiary-Rep1:g24s69:g37e555:2237","app":"activitydiary","rep":"Rep1","header":"g24s69","region_size":1,"cohort":"singleton_control","kind":"external","transition_id":"g37e555:2237","order":2236,"event_line":5767,"version":50,"source_state":"g1s1","source_gui_id":2465,"target_gui_id":2466,"direct_category":"Ⅰ","direct_function":"activitydiary.add-activity","direct_local_id":"activitydiary-Rep1-lb4dcccccc7387a","history_available":6,"history_stop":"GUI_ID_gap;GUI_timestamp_gap;observed_State_gap","path_transition_ids":["g50e1005:2232","g50e1006:2233","g50e1007:2234","g50e1008:2235","g37e558:2236","g37e555:2237"],"window_complete":{"1":true,"2":true,"3":true,"5":true,"10":false,"20":false},"event_path":"[WORKSPACE]/experiments/guitaboo_formal_emulator_20261103T1725/formal-runs/rep1-pure-batch1/activitydiary-rep1-pure-b1/formal/device-output/formal/sata-de.rampro.activitydiary-ape-sata-running-minutes-60/jev-events.jsonl"},{"id":"activitydiary-Rep1:g24s69:g48e822:2241","app":"activitydiary","rep":"Rep1","header":"g24s69","region_size":1,"cohort":"singleton_control","kind":"external","transition_id":"g48e822:2241","order":2240,"event_line":5776,"version":50,"source_state":"g1s1","source_gui_id":2469,"target_gui_id":2470,"direct_category":"Ⅰ","direct_function":"activitydiary.edit-existing-activity","direct_local_id":"activitydiary-Rep1-ld761723123607e","history_available":10,"history_stop":"GUI_ID_gap;GUI_timestamp_gap;observed_State_gap","path_transition_ids":["g50e1005:2232","g50e1006:2233","g50e1007:2234","g50e1008:2235","g37e558:2236","g37e555:2237","g47e909:2238","g47e917:2239","g31e405:2240","g48e822:2241"],"window_complete":{"1":true,"2":true,"3":true,"5":true,"10":true,"20":false},"event_path":"[WORKSPACE]/experiments/guitaboo_formal_emulator_20261103T1725/formal-runs/rep1-pure-batch1/activitydiary-rep1-pure-b1/formal/device-output/formal/sata-de.rampro.activitydiary-ape-sata-running-minutes-60/jev-events.jsonl"},{"id":"activitydiary-Rep1:g24s69:g50e1025:2297","app":"activitydiary","rep":"Rep1","header":"g24s69","region_size":1,"cohort":"singleton_control","kind":"external","transition_id":"g50e1025:2297","order":2296,"event_line":5919,"version":50,"source_state":"g50s196","source_gui_id":2526,"target_gui_id":2527,"direct_category":"Ⅰ","direct_function":"activitydiary.add-activity","direct_local_id":"activitydiary-Rep1-lbb61baa0739690","history_available":20,"history_stop":"depth_limit","path_transition_ids":["g48e789:2278","g48e790:2279","g50e1021:2280","g46e826:2281","g29e356:2282","g29e343:2283","g29e253:2284","g50e1012:2285","g50e1022:2286","g50e1023:2287","g29e343:2288","g29e253:2289","g50e1012:2290","g50e1022:2291","g50e1024:2292","g29e343:2293","g29e253:2294","g50e1012:2295","g50e1022:2296","g50e1025:2297"],"window_complete":{"1":true,"2":true,"3":true,"5":true,"10":true,"20":true},"event_path":"[WORKSPACE]/experiments/guitaboo_formal_emulator_20261103T1725/formal-runs/rep1-pure-batch1/activitydiary-rep1-pure-b1/formal/device-output/formal/sata-de.rampro.activitydiary-ape-sata-running-minutes-60/jev-events.jsonl"},{"id":"activitydiary-Rep1:g24s69:g50e1047:2341","app":"activitydiary","rep":"Rep1","header":"g24s69","region_size":1,"cohort":"singleton_control","kind":"external","transition_id":"g50e1047:2341","order":2340,"event_line":6032,"version":50,"source_state":"g27s79","source_gui_id":2570,"target_gui_id":2571,"direct_category":"Ⅰ","direct_function":"activitydiary.add-activity","direct_local_id":"activitydiary-Rep1-l8eb5a718bf5183","history_available":20,"history_stop":"depth_limit","path_transition_ids":["g29e350:2322","g50e1035:2323","g46e827:2324","g50e1012:2325","g50e1003:2326","g50e1036:2327","g21e94:2328","g50e1037:2329","g50e1038:2330","g50e1039:2331","g49e863:2332","g50e1040:2333","g49e863:2334","g50e1041:2335","g50e1042:2336","g50e1043:2337","g50e1044:2338","g50e1045:2339","g50e1046:2340","g50e1047:2341"],"window_complete":{"1":true,"2":true,"3":true,"5":true,"10":true,"20":true},"event_path":"[WORKSPACE]/experiments/guitaboo_formal_emulator_20261103T1725/formal-runs/rep1-pure-batch1/activitydiary-rep1-pure-b1/formal/device-output/formal/sata-de.rampro.activitydiary-ape-sata-running-minutes-60/jev-events.jsonl"},{"id":"activitydiary-Rep1:g24s69:g48e783:2347","app":"activitydiary","rep":"Rep1","header":"g24s69","region_size":1,"cohort":"singleton_control","kind":"external","transition_id":"g48e783:2347","order":2346,"event_line":6052,"version":50,"source_state":"g48s171","source_gui_id":2576,"target_gui_id":2577,"direct_category":"Ⅰ","direct_function":"activitydiary.add-activity","direct_local_id":"activitydiary-Rep1-l1f4c5a96518f0d","history_available":20,"history_stop":"depth_limit","path_transition_ids":["g21e94:2328","g50e1037:2329","g50e1038:2330","g50e1039:2331","g49e863:2332","g50e1040:2333","g49e863:2334","g50e1041:2335","g50e1042:2336","g50e1043:2337","g50e1044:2338","g50e1045:2339","g50e1046:2340","g50e1047:2341","g50e1048:2342","g50e1049:2343","g50e1050:2344","g48e802:2345","g50e1051:2346","g48e783:2347"],"window_complete":{"1":true,"2":true,"3":true,"5":true,"10":true,"20":true},"event_path":"[WORKSPACE]/experiments/guitaboo_formal_emulator_20261103T1725/formal-runs/rep1-pure-batch1/activitydiary-rep1-pure-b1/formal/device-output/formal/sata-de.rampro.activitydiary-ape-sata-running-minutes-60/jev-events.jsonl"}],"candidates":[{"arrival_id":"activitydiary-Rep1:g24s69:g27e136:176","arrival_transition":"g27e136:176","arrival_kind":"external","entry_transition":"g27e136:176","distance":1,"local_id":"activitydiary-Rep1-l41fe849f829502","source_state":"g2s11","model_action":"g2a157","function":"activitydiary.add-activity","family":"activitydiary.editor","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":["g27e136:176"]},{"arrival_id":"activitydiary-Rep1:g24s69:g27e144:184","arrival_transition":"g27e144:184","arrival_kind":"external","entry_transition":"g27e144:184","distance":1,"local_id":"activitydiary-Rep1-l417e26e988d474","source_state":"g27s76","model_action":"g27a930","function":"activitydiary.add-activity","family":"activitydiary.editor","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":["g27e144:184"]},{"arrival_id":"activitydiary-Rep1:g24s69:g27e144:184","arrival_transition":"g27e144:184","arrival_kind":"external","entry_transition":"g27e140:180","distance":5,"local_id":"activitydiary-Rep1-l5b1e52d99e315b","source_state":"g27s77","model_action":"g27a948","function":"activitydiary.statistics","family":"activitydiary.statistics","verdict":"REJECTED","reason":"intervening_different_independent_entry:g27e144:184","entry_final_exact":true,"entire_path_final_exact":true,"path_transition_ids":["g27e140:180","g27e141:181","g27e142:182","g27e143:183","g27e144:184"]},{"arrival_id":"activitydiary-Rep1:g24s69:g27e144:184","arrival_transition":"g27e144:184","arrival_kind":"external","entry_transition":"g27e138:178","distance":7,"local_id":"activitydiary-Rep1-lfbbc4ced109b5e","source_state":"g2s11","model_action":"g2a158","function":"activitydiary.search-activities","family":"activitydiary.search-activities","verdict":"REJECTED","reason":"intervening_different_independent_entry:g27e140:180","entry_final_exact":true,"entire_path_final_exact":true,"path_transition_ids":["g27e138:178","g27e139:179","g27e140:180","g27e141:181","g27e142:182","g27e143:183","g27e144:184"]},{"arrival_id":"activitydiary-Rep1:g24s69:g27e144:184","arrival_transition":"g27e144:184","arrival_kind":"external","entry_transition":"g27e136:176","distance":9,"local_id":"activitydiary-Rep1-l41fe849f829502","source_state":"g2s11","model_action":"g2a157","function":"activitydiary.add-activity","family":"activitydiary.editor","verdict":"REJECTED","reason":"function_exit_before_header:outside_MainActivity:g27e137:177","entry_final_exact":true,"entire_path_final_exact":true,"path_transition_ids":["g27e136:176","g27e137:177","g27e138:178","g27e139:179","g27e140:180","g27e141:181","g27e142:182","g27e143:183","g27e144:184"]},{"arrival_id":"activitydiary-Rep1:g24s69:g27e150:190","arrival_transition":"g27e150:190","arrival_kind":"external","entry_transition":"g27e150:190","distance":1,"local_id":"activitydiary-Rep1-l94cef1d7b0054e","source_state":"g27s77","model_action":"g27a947","function":"activitydiary.add-activity","family":"activitydiary.editor","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":["g27e150:190"]},{"arrival_id":"activitydiary-Rep1:g24s69:g27e150:190","arrival_transition":"g27e150:190","arrival_kind":"external","entry_transition":"g27e147:187","distance":4,"local_id":"activitydiary-Rep1-lf0463c7c110f5d","source_state":"g27s76","model_action":"g27a931","function":"activitydiary.search-activities","family":"activitydiary.search-activities","verdict":"REJECTED","reason":"intervening_different_independent_entry:g27e150:190","entry_final_exact":true,"entire_path_final_exact":true,"path_transition_ids":["g27e147:187","g27e148:188","g27e149:189","g27e150:190"]},{"arrival_id":"activitydiary-Rep1:g24s69:g27e150:190","arrival_transition":"g27e150:190","arrival_kind":"external","entry_transition":"g27e144:184","distance":7,"local_id":"activitydiary-Rep1-l417e26e988d474","source_state":"g27s76","model_action":"g27a930","function":"activitydiary.add-activity","family":"activitydiary.editor","verdict":"REJECTED","reason":"function_exit_before_header:outside_MainActivity:g27e145:185","entry_final_exact":true,"entire_path_final_exact":true,"path_transition_ids":["g27e144:184","g27e145:185","g27e146:186","g27e147:187","g27e148:188","g27e149:189","g27e150:190"]},{"arrival_id":"activitydiary-Rep1:g24s69:g27e150:190","arrival_transition":"g27e150:190","arrival_kind":"external","entry_transition":"g27e140:180","distance":11,"local_id":"activitydiary-Rep1-l5b1e52d99e315b","source_state":"g27s77","model_action":"g27a948","function":"activitydiary.statistics","family":"activitydiary.statistics","verdict":"REJECTED","reason":"intervening_different_independent_entry:g27e144:184","entry_final_exact":true,"entire_path_final_exact":true,"path_transition_ids":["g27e140:180","g27e141:181","g27e142:182","g27e143:183","g27e144:184","g27e145:185","g27e146:186","g27e147:187","g27e148:188","g27e149:189","g27e150:190"]},{"arrival_id":"activitydiary-Rep1:g24s69:g27e150:190","arrival_transition":"g27e150:190","arrival_kind":"external","entry_transition":"g27e138:178","distance":13,"local_id":"activitydiary-Rep1-lfbbc4ced109b5e","source_state":"g2s11","model_action":"g2a158","function":"activitydiary.search-activities","family":"activitydiary.search-activities","verdict":"REJECTED","reason":"intervening_different_independent_entry:g27e140:180","entry_final_exact":true,"entire_path_final_exact":true,"path_transition_ids":["g27e138:178","g27e139:179","g27e140:180","g27e141:181","g27e142:182","g27e143:183","g27e144:184","g27e145:185","g27e146:186","g27e147:187","g27e148:188","g27e149:189","g27e150:190"]},{"arrival_id":"activitydiary-Rep1:g24s69:g27e150:190","arrival_transition":"g27e150:190","arrival_kind":"external","entry_transition":"g27e136:176","distance":15,"local_id":"activitydiary-Rep1-l41fe849f829502","source_state":"g2s11","model_action":"g2a157","function":"activitydiary.add-activity","family":"activitydiary.editor","verdict":"REJECTED","reason":"function_exit_before_header:outside_MainActivity:g27e137:177","entry_final_exact":true,"entire_path_final_exact":true,"path_transition_ids":["g27e136:176","g27e137:177","g27e138:178","g27e139:179","g27e140:180","g27e141:181","g27e142:182","g27e143:183","g27e144:184","g27e145:185","g27e146:186","g27e147:187","g27e148:188","g27e149:189","g27e150:190"]},{"arrival_id":"activitydiary-Rep1:g24s69:g28e200:242","arrival_transition":"g28e200:242","arrival_kind":"self_loop","entry_transition":"g28e195:237","distance":6,"local_id":"activitydiary-Rep1-l99562fe55d64fe","source_state":"g2s11","model_action":"g2a166","function":"activitydiary.about","family":"activitydiary.about","verdict":"UNKNOWN","reason":"chronological_candidate_only; function_scope_not_reviewed","entry_final_exact":true,"entire_path_final_exact":false,"path_transition_ids":["g28e195:237","g28e196:238","g28e197:239","g28e198:240","g28e199:241","g28e200:242"]},{"arrival_id":"activitydiary-Rep1:g24s69:g28e200:242","arrival_transition":"g28e200:242","arrival_kind":"self_loop","entry_transition":"g28e189:231","distance":12,"local_id":"activitydiary-Rep1-l439771425becfe","source_state":"g28s87","model_action":"g28a1059","function":"activitydiary.edit-existing-activity","family":"activitydiary.editor","verdict":"REJECTED","reason":"function_exit_before_header:outside_MainActivity:g28e190:232","entry_final_exact":true,"entire_path_final_exact":false,"path_transition_ids":["g28e189:231","g28e190:232","g28e191:233","g28e192:234","g28e193:235","g28e194:236","g28e195:237","g28e196:238","g28e197:239","g28e198:240","g28e199:241","g28e200:242"]},{"arrival_id":"activitydiary-Rep1:g24s69:g28e200:242","arrival_transition":"g28e200:242","arrival_kind":"self_loop","entry_transition":"g28e188:230","distance":13,"local_id":"activitydiary-Rep1-l13b66a697d158d","source_state":"g27s84","model_action":"g27a1023","function":"activitydiary.search-activities","family":"activitydiary.search-activities","verdict":"REJECTED","reason":"intervening_different_independent_entry:g28e189:231","entry_final_exact":false,"entire_path_final_exact":false,"path_transition_ids":["g28e188:230","g28e189:231","g28e190:232","g28e191:233","g28e192:234","g28e193:235","g28e194:236","g28e195:237","g28e196:238","g28e197:239","g28e198:240","g28e199:241","g28e200:242"]},{"arrival_id":"activitydiary-Rep1:g24s69:g28e219:261","arrival_transition":"g28e219:261","arrival_kind":"external","entry_transition":"g28e219:261","distance":1,"local_id":"activitydiary-Rep1-l8d18d392ec483d","source_state":"g1s3","model_action":"g1a60","function":"activitydiary.edit-existing-activity","family":"activitydiary.editor","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":["g28e219:261"]},{"arrival_id":"activitydiary-Rep1:g24s69:g28e219:261","arrival_transition":"g28e219:261","arrival_kind":"external","entry_transition":"g28e207:249","distance":13,"local_id":"activitydiary-Rep1-l692391813085d8","source_state":"g28s89","model_action":"g28a1071","function":"activitydiary.add-activity","family":"activitydiary.editor","verdict":"REJECTED","reason":"function_exit_before_header:outside_MainActivity:g28e208:250","entry_final_exact":false,"entire_path_final_exact":false,"path_transition_ids":["g28e207:249","g28e208:250","g28e209:251","g28e210:252","g28e211:253","g28e212:254","g28e213:255","g28e214:256","g28e215:257","g28e216:258","g28e217:259","g28e218:260","g28e219:261"]},{"arrival_id":"activitydiary-Rep1:g24s69:g28e219:261","arrival_transition":"g28e219:261","arrival_kind":"external","entry_transition":"g28e203:245","distance":17,"local_id":"activitydiary-Rep1-lea1288b642506e","source_state":"g8s25","model_action":"g8a310","function":"activitydiary.edit-existing-activity","family":"activitydiary.editor","verdict":"REJECTED","reason":"function_exit_before_header:outside_MainActivity:g28e204:246","entry_final_exact":true,"entire_path_final_exact":false,"path_transition_ids":["g28e203:245","g28e204:246","g28e205:247","g28e206:248","g28e207:249","g28e208:250","g28e209:251","g28e210:252","g28e211:253","g28e212:254","g28e213:255","g28e214:256","g28e215:257","g28e216:258","g28e217:259","g28e218:260","g28e219:261"]},{"arrival_id":"activitydiary-Rep1:g24s69:g37e555:773","arrival_transition":"g37e555:773","arrival_kind":"external","entry_transition":"g37e555:773","distance":1,"local_id":"activitydiary-Rep1-lb4dcccccc7387a","source_state":"g1s1","model_action":"g1a25","function":"activitydiary.add-activity","family":"activitydiary.editor","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":["g37e555:773"]},{"arrival_id":"activitydiary-Rep1:g24s69:g37e555:773","arrival_transition":"g37e555:773","arrival_kind":"external","entry_transition":"g29e360:771","distance":3,"local_id":"activitydiary-Rep1-l15d979645db0bf","source_state":"g2s11","model_action":"g2a161","function":"activitydiary.statistics","family":"activitydiary.statistics","verdict":"REJECTED","reason":"intervening_different_independent_entry:g37e555:773","entry_final_exact":true,"entire_path_final_exact":true,"path_transition_ids":["g29e360:771","g37e554:772","g37e555:773"]},{"arrival_id":"activitydiary-Rep1:g24s69:g37e555:773","arrival_transition":"g37e555:773","arrival_kind":"external","entry_transition":"g29e300:768","distance":6,"local_id":"activitydiary-Rep1-l32b48a7bd0f22f","source_state":"g1s1","model_action":"g1a36","function":"activitydiary.edit-existing-activity","family":"activitydiary.editor","verdict":"REJECTED","reason":"function_exit_before_header:outside_MainActivity:g29e301:769","entry_final_exact":true,"entire_path_final_exact":true,"path_transition_ids":["g29e300:768","g29e301:769","g29e358:770","g29e360:771","g37e554:772","g37e555:773"]},{"arrival_id":"activitydiary-Rep1:g24s69:g37e555:773","arrival_transition":"g37e555:773","arrival_kind":"external","entry_transition":"g37e552:765","distance":9,"local_id":"activitydiary-Rep1-l64405acb5a7cf5","source_state":"g1s9","model_action":"g1a125","function":"activitydiary.add-activity","family":"activitydiary.editor","verdict":"REJECTED","reason":"quickFix_new_to_existing_editor_handoff:g29e235:766","entry_final_exact":true,"entire_path_final_exact":false,"path_transition_ids":["g37e552:765","g29e235:766","g37e553:767","g29e300:768","g29e301:769","g29e358:770","g29e360:771","g37e554:772","g37e555:773"]},{"arrival_id":"activitydiary-Rep1:g24s69:g37e555:773","arrival_transition":"g37e555:773","arrival_kind":"external","entry_transition":"g31e440:762","distance":12,"local_id":"activitydiary-Rep1-l04e548ee962c69","source_state":"g1s3","model_action":"g1a58","function":"activitydiary.search-activities","family":"activitydiary.search-activities","verdict":"REJECTED","reason":"intervening_different_independent_entry:g37e552:765","entry_final_exact":true,"entire_path_final_exact":false,"path_transition_ids":["g31e440:762","g37e550:763","g37e551:764","g37e552:765","g29e235:766","g37e553:767","g29e300:768","g29e301:769","g29e358:770","g29e360:771","g37e554:772","g37e555:773"]},{"arrival_id":"activitydiary-Rep1:g24s69:g37e555:773","arrival_transition":"g37e555:773","arrival_kind":"external","entry_transition":"g37e548:760","distance":14,"local_id":"activitydiary-Rep1-l5a9f799fd0e0b6","source_state":"g8s25","model_action":"g8a300","function":"activitydiary.search-activities","family":"activitydiary.search-activities","verdict":"REJECTED","reason":"intervening_different_independent_entry:g37e552:765","entry_final_exact":true,"entire_path_final_exact":false,"path_transition_ids":["g37e548:760","g37e549:761","g31e440:762","g37e550:763","g37e551:764","g37e552:765","g29e235:766","g37e553:767","g29e300:768","g29e301:769","g29e358:770","g29e360:771","g37e554:772","g37e555:773"]},{"arrival_id":"activitydiary-Rep1:g24s69:g37e557:775","arrival_transition":"g37e557:775","arrival_kind":"external","entry_transition":"g37e555:773","distance":3,"local_id":"activitydiary-Rep1-lb4dcccccc7387a","source_state":"g1s1","model_action":"g1a25","function":"activitydiary.add-activity","family":"activitydiary.editor","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":["g37e555:773","g37e556:774","g37e557:775"]},{"arrival_id":"activitydiary-Rep1:g24s69:g37e557:775","arrival_transition":"g37e557:775","arrival_kind":"external","entry_transition":"g29e360:771","distance":5,"local_id":"activitydiary-Rep1-l15d979645db0bf","source_state":"g2s11","model_action":"g2a161","function":"activitydiary.statistics","family":"activitydiary.statistics","verdict":"REJECTED","reason":"intervening_different_independent_entry:g37e555:773","entry_final_exact":true,"entire_path_final_exact":true,"path_transition_ids":["g29e360:771","g37e554:772","g37e555:773","g37e556:774","g37e557:775"]},{"arrival_id":"activitydiary-Rep1:g24s69:g37e557:775","arrival_transition":"g37e557:775","arrival_kind":"external","entry_transition":"g29e300:768","distance":8,"local_id":"activitydiary-Rep1-l32b48a7bd0f22f","source_state":"g1s1","model_action":"g1a36","function":"activitydiary.edit-existing-activity","family":"activitydiary.editor","verdict":"REJECTED","reason":"function_exit_before_header:outside_MainActivity:g29e301:769","entry_final_exact":true,"entire_path_final_exact":true,"path_transition_ids":["g29e300:768","g29e301:769","g29e358:770","g29e360:771","g37e554:772","g37e555:773","g37e556:774","g37e557:775"]},{"arrival_id":"activitydiary-Rep1:g24s69:g37e557:775","arrival_transition":"g37e557:775","arrival_kind":"external","entry_transition":"g37e552:765","distance":11,"local_id":"activitydiary-Rep1-l64405acb5a7cf5","source_state":"g1s9","model_action":"g1a125","function":"activitydiary.add-activity","family":"activitydiary.editor","verdict":"REJECTED","reason":"quickFix_new_to_existing_editor_handoff:g29e235:766","entry_final_exact":true,"entire_path_final_exact":false,"path_transition_ids":["g37e552:765","g29e235:766","g37e553:767","g29e300:768","g29e301:769","g29e358:770","g29e360:771","g37e554:772","g37e555:773","g37e556:774","g37e557:775"]},{"arrival_id":"activitydiary-Rep1:g24s69:g37e557:775","arrival_transition":"g37e557:775","arrival_kind":"external","entry_transition":"g31e440:762","distance":14,"local_id":"activitydiary-Rep1-l04e548ee962c69","source_state":"g1s3","model_action":"g1a58","function":"activitydiary.search-activities","family":"activitydiary.search-activities","verdict":"REJECTED","reason":"intervening_different_independent_entry:g37e552:765","entry_final_exact":true,"entire_path_final_exact":false,"path_transition_ids":["g31e440:762","g37e550:763","g37e551:764","g37e552:765","g29e235:766","g37e553:767","g29e300:768","g29e301:769","g29e358:770","g29e360:771","g37e554:772","g37e555:773","g37e556:774","g37e557:775"]},{"arrival_id":"activitydiary-Rep1:g24s69:g37e557:775","arrival_transition":"g37e557:775","arrival_kind":"external","entry_transition":"g37e548:760","distance":16,"local_id":"activitydiary-Rep1-l5a9f799fd0e0b6","source_state":"g8s25","model_action":"g8a300","function":"activitydiary.search-activities","family":"activitydiary.search-activities","verdict":"REJECTED","reason":"intervening_different_independent_entry:g37e552:765","entry_final_exact":true,"entire_path_final_exact":false,"path_transition_ids":["g37e548:760","g37e549:761","g31e440:762","g37e550:763","g37e551:764","g37e552:765","g29e235:766","g37e553:767","g29e300:768","g29e301:769","g29e358:770","g29e360:771","g37e554:772","g37e555:773","g37e556:774","g37e557:775"]},{"arrival_id":"activitydiary-Rep1:g24s69:g28e200:776","arrival_transition":"g28e200:776","arrival_kind":"self_loop","entry_transition":"g37e555:773","distance":4,"local_id":"activitydiary-Rep1-lb4dcccccc7387a","source_state":"g1s1","model_action":"g1a25","function":"activitydiary.add-activity","family":"activitydiary.editor","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":["g37e555:773","g37e556:774","g37e557:775","g28e200:776"]},{"arrival_id":"activitydiary-Rep1:g24s69:g28e200:776","arrival_transition":"g28e200:776","arrival_kind":"self_loop","entry_transition":"g29e360:771","distance":6,"local_id":"activitydiary-Rep1-l15d979645db0bf","source_state":"g2s11","model_action":"g2a161","function":"activitydiary.statistics","family":"activitydiary.statistics","verdict":"REJECTED","reason":"intervening_different_independent_entry:g37e555:773","entry_final_exact":true,"entire_path_final_exact":true,"path_transition_ids":["g29e360:771","g37e554:772","g37e555:773","g37e556:774","g37e557:775","g28e200:776"]},{"arrival_id":"activitydiary-Rep1:g24s69:g28e200:776","arrival_transition":"g28e200:776","arrival_kind":"self_loop","entry_transition":"g29e300:768","distance":9,"local_id":"activitydiary-Rep1-l32b48a7bd0f22f","source_state":"g1s1","model_action":"g1a36","function":"activitydiary.edit-existing-activity","family":"activitydiary.editor","verdict":"REJECTED","reason":"function_exit_before_header:outside_MainActivity:g29e301:769","entry_final_exact":true,"entire_path_final_exact":true,"path_transition_ids":["g29e300:768","g29e301:769","g29e358:770","g29e360:771","g37e554:772","g37e555:773","g37e556:774","g37e557:775","g28e200:776"]},{"arrival_id":"activitydiary-Rep1:g24s69:g28e200:776","arrival_transition":"g28e200:776","arrival_kind":"self_loop","entry_transition":"g37e552:765","distance":12,"local_id":"activitydiary-Rep1-l64405acb5a7cf5","source_state":"g1s9","model_action":"g1a125","function":"activitydiary.add-activity","family":"activitydiary.editor","verdict":"REJECTED","reason":"quickFix_new_to_existing_editor_handoff:g29e235:766","entry_final_exact":true,"entire_path_final_exact":false,"path_transition_ids":["g37e552:765","g29e235:766","g37e553:767","g29e300:768","g29e301:769","g29e358:770","g29e360:771","g37e554:772","g37e555:773","g37e556:774","g37e557:775","g28e200:776"]},{"arrival_id":"activitydiary-Rep1:g24s69:g28e200:776","arrival_transition":"g28e200:776","arrival_kind":"self_loop","entry_transition":"g31e440:762","distance":15,"local_id":"activitydiary-Rep1-l04e548ee962c69","source_state":"g1s3","model_action":"g1a58","function":"activitydiary.search-activities","family":"activitydiary.search-activities","verdict":"REJECTED","reason":"intervening_different_independent_entry:g37e552:765","entry_final_exact":true,"entire_path_final_exact":false,"path_transition_ids":["g31e440:762","g37e550:763","g37e551:764","g37e552:765","g29e235:766","g37e553:767","g29e300:768","g29e301:769","g29e358:770","g29e360:771","g37e554:772","g37e555:773","g37e556:774","g37e557:775","g28e200:776"]},{"arrival_id":"activitydiary-Rep1:g24s69:g28e200:776","arrival_transition":"g28e200:776","arrival_kind":"self_loop","entry_transition":"g37e548:760","distance":17,"local_id":"activitydiary-Rep1-l5a9f799fd0e0b6","source_state":"g8s25","model_action":"g8a300","function":"activitydiary.search-activities","family":"activitydiary.search-activities","verdict":"REJECTED","reason":"intervening_different_independent_entry:g37e552:765","entry_final_exact":true,"entire_path_final_exact":false,"path_transition_ids":["g37e548:760","g37e549:761","g31e440:762","g37e550:763","g37e551:764","g37e552:765","g29e235:766","g37e553:767","g29e300:768","g29e301:769","g29e358:770","g29e360:771","g37e554:772","g37e555:773","g37e556:774","g37e557:775","g28e200:776"]},{"arrival_id":"activitydiary-Rep1:g24s69:g37e555:857","arrival_transition":"g37e555:857","arrival_kind":"external","entry_transition":"g37e555:857","distance":1,"local_id":"activitydiary-Rep1-lb4dcccccc7387a","source_state":"g1s1","model_action":"g1a25","function":"activitydiary.add-activity","family":"activitydiary.editor","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":["g37e555:857"]},{"arrival_id":"activitydiary-Rep1:g24s69:g46e689:972","arrival_transition":"g46e689:972","arrival_kind":"external","entry_transition":"g46e689:972","distance":1,"local_id":"activitydiary-Rep1-lbe46dc515a7080","source_state":"g14s38","model_action":"g14a536","function":"activitydiary.edit-existing-activity","family":"activitydiary.editor","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":["g46e689:972"]},{"arrival_id":"activitydiary-Rep1:g24s69:g46e689:972","arrival_transition":"g46e689:972","arrival_kind":"external","entry_transition":"g46e685:967","distance":6,"local_id":"activitydiary-Rep1-l21bec826c4583d","source_state":"g18s58","model_action":"g18a702","function":"activitydiary.edit-existing-activity","family":"activitydiary.editor","verdict":"REJECTED","reason":"function_exit_before_header:outside_ManageActivity:g46e614:968","entry_final_exact":true,"entire_path_final_exact":true,"path_transition_ids":["g46e685:967","g46e614:968","g46e686:969","g46e687:970","g46e688:971","g46e689:972"]},{"arrival_id":"activitydiary-Rep1:g24s69:g46e689:972","arrival_transition":"g46e689:972","arrival_kind":"external","entry_transition":"g46e684:965","distance":8,"local_id":"activitydiary-Rep1-lb868a712e1f947","source_state":"g18s58","model_action":"g18a703","function":"activitydiary.edit-existing-activity","family":"activitydiary.editor","verdict":"REJECTED","reason":"function_exit_before_header:outside_ManageActivity:g46e614:966","entry_final_exact":true,"entire_path_final_exact":true,"path_transition_ids":["g46e684:965","g46e614:966","g46e685:967","g46e614:968","g46e686:969","g46e687:970","g46e688:971","g46e689:972"]},{"arrival_id":"activitydiary-Rep1:g24s69:g46e689:972","arrival_transition":"g46e689:972","arrival_kind":"external","entry_transition":"g46e683:963","distance":10,"local_id":"activitydiary-Rep1-l4285c58dd0f485","source_state":"g18s58","model_action":"g18a698","function":"activitydiary.edit-existing-activity","family":"activitydiary.editor","verdict":"REJECTED","reason":"function_exit_before_header:outside_ManageActivity:g46e614:964","entry_final_exact":true,"entire_path_final_exact":true,"path_transition_ids":["g46e683:963","g46e614:964","g46e684:965","g46e614:966","g46e685:967","g46e614:968","g46e686:969","g46e687:970","g46e688:971","g46e689:972"]},{"arrival_id":"activitydiary-Rep1:g24s69:g46e689:972","arrival_transition":"g46e689:972","arrival_kind":"external","entry_transition":"g46e682:961","distance":12,"local_id":"activitydiary-Rep1-lc86c81f4e91d84","source_state":"g18s58","model_action":"g18a692","function":"activitydiary.edit-existing-activity","family":"activitydiary.editor","verdict":"REJECTED","reason":"function_exit_before_header:outside_ManageActivity:g46e614:962","entry_final_exact":true,"entire_path_final_exact":true,"path_transition_ids":["g46e682:961","g46e614:962","g46e683:963","g46e614:964","g46e684:965","g46e614:966","g46e685:967","g46e614:968","g46e686:969","g46e687:970","g46e688:971","g46e689:972"]},{"arrival_id":"activitydiary-Rep1:g24s69:g46e689:972","arrival_transition":"g46e689:972","arrival_kind":"external","entry_transition":"g46e681:959","distance":14,"local_id":"activitydiary-Rep1-l45404a9ba0788c","source_state":"g18s58","model_action":"g18a694","function":"activitydiary.edit-existing-activity","family":"activitydiary.editor","verdict":"REJECTED","reason":"function_exit_before_header:outside_ManageActivity:g46e614:960","entry_final_exact":true,"entire_path_final_exact":true,"path_transition_ids":["g46e681:959","g46e614:960","g46e682:961","g46e614:962","g46e683:963","g46e614:964","g46e684:965","g46e614:966","g46e685:967","g46e614:968","g46e686:969","g46e687:970","g46e688:971","g46e689:972"]},{"arrival_id":"activitydiary-Rep1:g24s69:g46e689:972","arrival_transition":"g46e689:972","arrival_kind":"external","entry_transition":"g46e680:958","distance":15,"local_id":"activitydiary-Rep1-l3bc8981df8ffad","source_state":"g2s11","model_action":"g2a164","function":"activitydiary.manage-activities","family":"activitydiary.manage-activities","verdict":"REJECTED","reason":"intervening_different_independent_entry:g46e681:959","entry_final_exact":true,"entire_path_final_exact":true,"path_transition_ids":["g46e680:958","g46e681:959","g46e614:960","g46e682:961","g46e614:962","g46e683:963","g46e614:964","g46e684:965","g46e614:966","g46e685:967","g46e614:968","g46e686:969","g46e687:970","g46e688:971","g46e689:972"]},{"arrival_id":"activitydiary-Rep1:g24s69:g37e555:979","arrival_transition":"g37e555:979","arrival_kind":"external","entry_transition":"g37e555:979","distance":1,"local_id":"activitydiary-Rep1-lb4dcccccc7387a","source_state":"g1s1","model_action":"g1a25","function":"activitydiary.add-activity","family":"activitydiary.editor","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":["g37e555:979"]},{"arrival_id":"activitydiary-Rep1:g24s69:g37e555:979","arrival_transition":"g37e555:979","arrival_kind":"external","entry_transition":"g46e689:972","distance":8,"local_id":"activitydiary-Rep1-lbe46dc515a7080","source_state":"g14s38","model_action":"g14a536","function":"activitydiary.edit-existing-activity","family":"activitydiary.editor","verdict":"REJECTED","reason":"function_exit_before_header:outside_ManageActivity:g46e690:973","entry_final_exact":true,"entire_path_final_exact":true,"path_transition_ids":["g46e689:972","g46e690:973","g46e691:974","g46e692:975","g46e691:976","g46e688:977","g46e693:978","g37e555:979"]},{"arrival_id":"activitydiary-Rep1:g24s69:g37e555:979","arrival_transition":"g37e555:979","arrival_kind":"external","entry_transition":"g46e685:967","distance":13,"local_id":"activitydiary-Rep1-l21bec826c4583d","source_state":"g18s58","model_action":"g18a702","function":"activitydiary.edit-existing-activity","family":"activitydiary.editor","verdict":"REJECTED","reason":"function_exit_before_header:outside_ManageActivity:g46e614:968","entry_final_exact":true,"entire_path_final_exact":true,"path_transition_ids":["g46e685:967","g46e614:968","g46e686:969","g46e687:970","g46e688:971","g46e689:972","g46e690:973","g46e691:974","g46e692:975","g46e691:976","g46e688:977","g46e693:978","g37e555:979"]},{"arrival_id":"activitydiary-Rep1:g24s69:g37e555:979","arrival_transition":"g37e555:979","arrival_kind":"external","entry_transition":"g46e684:965","distance":15,"local_id":"activitydiary-Rep1-lb868a712e1f947","source_state":"g18s58","model_action":"g18a703","function":"activitydiary.edit-existing-activity","family":"activitydiary.editor","verdict":"REJECTED","reason":"function_exit_before_header:outside_ManageActivity:g46e614:966","entry_final_exact":true,"entire_path_final_exact":true,"path_transition_ids":["g46e684:965","g46e614:966","g46e685:967","g46e614:968","g46e686:969","g46e687:970","g46e688:971","g46e689:972","g46e690:973","g46e691:974","g46e692:975","g46e691:976","g46e688:977","g46e693:978","g37e555:979"]},{"arrival_id":"activitydiary-Rep1:g24s69:g37e555:979","arrival_transition":"g37e555:979","arrival_kind":"external","entry_transition":"g46e683:963","distance":17,"local_id":"activitydiary-Rep1-l4285c58dd0f485","source_state":"g18s58","model_action":"g18a698","function":"activitydiary.edit-existing-activity","family":"activitydiary.editor","verdict":"REJECTED","reason":"function_exit_before_header:outside_ManageActivity:g46e614:964","entry_final_exact":true,"entire_path_final_exact":true,"path_transition_ids":["g46e683:963","g46e614:964","g46e684:965","g46e614:966","g46e685:967","g46e614:968","g46e686:969","g46e687:970","g46e688:971","g46e689:972","g46e690:973","g46e691:974","g46e692:975","g46e691:976","g46e688:977","g46e693:978","g37e555:979"]},{"arrival_id":"activitydiary-Rep1:g24s69:g37e555:979","arrival_transition":"g37e555:979","arrival_kind":"external","entry_transition":"g46e682:961","distance":19,"local_id":"activitydiary-Rep1-lc86c81f4e91d84","source_state":"g18s58","model_action":"g18a692","function":"activitydiary.edit-existing-activity","family":"activitydiary.editor","verdict":"REJECTED","reason":"function_exit_before_header:outside_ManageActivity:g46e614:962","entry_final_exact":true,"entire_path_final_exact":true,"path_transition_ids":["g46e682:961","g46e614:962","g46e683:963","g46e614:964","g46e684:965","g46e614:966","g46e685:967","g46e614:968","g46e686:969","g46e687:970","g46e688:971","g46e689:972","g46e690:973","g46e691:974","g46e692:975","g46e691:976","g46e688:977","g46e693:978","g37e555:979"]},{"arrival_id":"activitydiary-Rep1:g24s69:g37e555:1236","arrival_transition":"g37e555:1236","arrival_kind":"external","entry_transition":"g37e555:1236","distance":1,"local_id":"activitydiary-Rep1-lb4dcccccc7387a","source_state":"g1s1","model_action":"g1a25","function":"activitydiary.add-activity","family":"activitydiary.editor","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":["g37e555:1236"]},{"arrival_id":"activitydiary-Rep1:g24s69:g37e555:1602","arrival_transition":"g37e555:1602","arrival_kind":"external","entry_transition":"g37e555:1602","distance":1,"local_id":"activitydiary-Rep1-lb4dcccccc7387a","source_state":"g1s1","model_action":"g1a25","function":"activitydiary.add-activity","family":"activitydiary.editor","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":["g37e555:1602"]},{"arrival_id":"activitydiary-Rep1:g24s69:g48e822:1629","arrival_transition":"g48e822:1629","arrival_kind":"external","entry_transition":"g48e822:1629","distance":1,"local_id":"activitydiary-Rep1-ld761723123607e","source_state":"g1s1","model_action":"g1a28","function":"activitydiary.edit-existing-activity","family":"activitydiary.editor","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":["g48e822:1629"]},{"arrival_id":"activitydiary-Rep1:g24s69:g37e555:1636","arrival_transition":"g37e555:1636","arrival_kind":"external","entry_transition":"g37e555:1636","distance":1,"local_id":"activitydiary-Rep1-lb4dcccccc7387a","source_state":"g1s1","model_action":"g1a25","function":"activitydiary.add-activity","family":"activitydiary.editor","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":["g37e555:1636"]},{"arrival_id":"activitydiary-Rep1:g24s69:g37e555:1636","arrival_transition":"g37e555:1636","arrival_kind":"external","entry_transition":"g48e822:1629","distance":8,"local_id":"activitydiary-Rep1-ld761723123607e","source_state":"g1s1","model_action":"g1a28","function":"activitydiary.edit-existing-activity","family":"activitydiary.editor","verdict":"REJECTED","reason":"function_exit_before_header:outside_MainActivity:g46e609:1635","entry_final_exact":true,"entire_path_final_exact":true,"path_transition_ids":["g48e822:1629","g48e823:1630","g48e824:1631","g48e825:1632","g48e826:1633","g48e827:1634","g46e609:1635","g37e555:1636"]},{"arrival_id":"activitydiary-Rep1:g24s69:g48e822:1661","arrival_transition":"g48e822:1661","arrival_kind":"external","entry_transition":"g48e822:1661","distance":1,"local_id":"activitydiary-Rep1-ld761723123607e","source_state":"g1s1","model_action":"g1a28","function":"activitydiary.edit-existing-activity","family":"activitydiary.editor","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":["g48e822:1661"]},{"arrival_id":"activitydiary-Rep1:g24s69:g48e786:2047","arrival_transition":"g48e786:2047","arrival_kind":"external","entry_transition":"g48e786:2047","distance":1,"local_id":"activitydiary-Rep1-le9101aae2140bc","source_state":"g48s171","model_action":"g48a2205","function":"activitydiary.edit-existing-activity","family":"activitydiary.editor","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":["g48e786:2047"]},{"arrival_id":"activitydiary-Rep1:g24s69:g48e786:2047","arrival_transition":"g48e786:2047","arrival_kind":"external","entry_transition":"g47e913:2045","distance":3,"local_id":"activitydiary-Rep1-lbc7b5d7b37265a","source_state":"g37s122","model_action":"g37a1582","function":"activitydiary.edit-existing-activity","family":"activitydiary.editor","verdict":"REJECTED","reason":"function_exit_before_header:outside_MainActivity:g48e801:2046","entry_final_exact":true,"entire_path_final_exact":true,"path_transition_ids":["g47e913:2045","g48e801:2046","g48e786:2047"]},{"arrival_id":"activitydiary-Rep1:g24s69:g48e786:2047","arrival_transition":"g48e786:2047","arrival_kind":"external","entry_transition":"g49e918:2040","distance":8,"local_id":"activitydiary-Rep1-le9c0c901e2a473","source_state":"g8s25","model_action":"g8a315","function":"activitydiary.edit-existing-activity","family":"activitydiary.editor","verdict":"REJECTED","reason":"function_exit_before_header:outside_MainActivity:g49e921:2044","entry_final_exact":true,"entire_path_final_exact":true,"path_transition_ids":["g49e918:2040","g49e919:2041","g49e920:2042","g47e902:2043","g49e921:2044","g47e913:2045","g48e801:2046","g48e786:2047"]},{"arrival_id":"activitydiary-Rep1:g24s69:g37e507:2091","arrival_transition":"g37e507:2091","arrival_kind":"external","entry_transition":"g37e507:2091","distance":1,"local_id":"activitydiary-Rep1-l5cea2b487e78c6","source_state":"g37s122","model_action":"g37a1570","function":"activitydiary.edit-existing-activity","family":"activitydiary.editor","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":["g37e507:2091"]},{"arrival_id":"activitydiary-Rep1:g24s69:g37e507:2091","arrival_transition":"g37e507:2091","arrival_kind":"external","entry_transition":"g37e505:2086","distance":6,"local_id":"activitydiary-Rep1-lff3fa4066f09ef","source_state":"g37s122","model_action":"g37a1568","function":"activitydiary.search-activities","family":"activitydiary.search-activities","verdict":"REJECTED","reason":"intervening_different_independent_entry:g37e507:2091","entry_final_exact":true,"entire_path_final_exact":true,"path_transition_ids":["g37e505:2086","g49e938:2087","g8e84:2088","g9e88:2089","g49e939:2090","g37e507:2091"]},{"arrival_id":"activitydiary-Rep1:g24s69:g37e507:2091","arrival_transition":"g37e507:2091","arrival_kind":"external","entry_transition":"g49e936:2082","distance":10,"local_id":"activitydiary-Rep1-l1bccc417bd2445","source_state":"g8s25","model_action":"g8a302","function":"activitydiary.edit-existing-activity","family":"activitydiary.editor","verdict":"REJECTED","reason":"function_exit_before_header:outside_MainActivity:g37e509:2083","entry_final_exact":true,"entire_path_final_exact":true,"path_transition_ids":["g49e936:2082","g37e509:2083","g37e513:2084","g49e937:2085","g37e505:2086","g49e938:2087","g8e84:2088","g9e88:2089","g49e939:2090","g37e507:2091"]},{"arrival_id":"activitydiary-Rep1:g24s69:g37e507:2091","arrival_transition":"g37e507:2091","arrival_kind":"external","entry_transition":"g49e933:2077","distance":15,"local_id":"activitydiary-Rep1-la5eb73d911ce46","source_state":"g49s187","model_action":"g49a2485","function":"activitydiary.edit-existing-activity","family":"activitydiary.editor","verdict":"REJECTED","reason":"function_exit_before_header:outside_MainActivity:g49e934:2080","entry_final_exact":true,"entire_path_final_exact":true,"path_transition_ids":["g49e933:2077","g47e900:2078","g47e901:2079","g49e934:2080","g49e935:2081","g49e936:2082","g37e509:2083","g37e513:2084","g49e937:2085","g37e505:2086","g49e938:2087","g8e84:2088","g9e88:2089","g49e939:2090","g37e507:2091"]},{"arrival_id":"activitydiary-Rep1:g24s69:g37e507:2091","arrival_transition":"g37e507:2091","arrival_kind":"external","entry_transition":"g49e930:2073","distance":19,"local_id":"activitydiary-Rep1-l71f5ac734c9988","source_state":"g49s185","model_action":"g49a2437","function":"activitydiary.inspect-duration_label","family":"activitydiary.inspect-duration_label","verdict":"REJECTED","reason":"intervening_different_independent_entry:g49e933:2077","entry_final_exact":true,"entire_path_final_exact":true,"path_transition_ids":["g49e930:2073","g49e928:2074","g49e931:2075","g49e932:2076","g49e933:2077","g47e900:2078","g47e901:2079","g49e934:2080","g49e935:2081","g49e936:2082","g37e509:2083","g37e513:2084","g49e937:2085","g37e505:2086","g49e938:2087","g8e84:2088","g9e88:2089","g49e939:2090","g37e507:2091"]},{"arrival_id":"activitydiary-Rep1:g24s69:g37e510:2093","arrival_transition":"g37e510:2093","arrival_kind":"external","entry_transition":"g37e510:2093","distance":1,"local_id":"activitydiary-Rep1-l9d9aec74af0032","source_state":"g37s122","model_action":"g37a1567","function":"activitydiary.add-activity","family":"activitydiary.editor","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":["g37e510:2093"]},{"arrival_id":"activitydiary-Rep1:g24s69:g37e510:2093","arrival_transition":"g37e510:2093","arrival_kind":"external","entry_transition":"g37e507:2091","distance":3,"local_id":"activitydiary-Rep1-l5cea2b487e78c6","source_state":"g37s122","model_action":"g37a1570","function":"activitydiary.edit-existing-activity","family":"activitydiary.editor","verdict":"REJECTED","reason":"function_exit_before_header:outside_MainActivity:g49e940:2092","entry_final_exact":true,"entire_path_final_exact":true,"path_transition_ids":["g37e507:2091","g49e940:2092","g37e510:2093"]},{"arrival_id":"activitydiary-Rep1:g24s69:g37e510:2093","arrival_transition":"g37e510:2093","arrival_kind":"external","entry_transition":"g37e505:2086","distance":8,"local_id":"activitydiary-Rep1-lff3fa4066f09ef","source_state":"g37s122","model_action":"g37a1568","function":"activitydiary.search-activities","family":"activitydiary.search-activities","verdict":"REJECTED","reason":"intervening_different_independent_entry:g37e507:2091","entry_final_exact":true,"entire_path_final_exact":true,"path_transition_ids":["g37e505:2086","g49e938:2087","g8e84:2088","g9e88:2089","g49e939:2090","g37e507:2091","g49e940:2092","g37e510:2093"]},{"arrival_id":"activitydiary-Rep1:g24s69:g37e510:2093","arrival_transition":"g37e510:2093","arrival_kind":"external","entry_transition":"g49e936:2082","distance":12,"local_id":"activitydiary-Rep1-l1bccc417bd2445","source_state":"g8s25","model_action":"g8a302","function":"activitydiary.edit-existing-activity","family":"activitydiary.editor","verdict":"REJECTED","reason":"function_exit_before_header:outside_MainActivity:g37e509:2083","entry_final_exact":true,"entire_path_final_exact":true,"path_transition_ids":["g49e936:2082","g37e509:2083","g37e513:2084","g49e937:2085","g37e505:2086","g49e938:2087","g8e84:2088","g9e88:2089","g49e939:2090","g37e507:2091","g49e940:2092","g37e510:2093"]},{"arrival_id":"activitydiary-Rep1:g24s69:g37e510:2093","arrival_transition":"g37e510:2093","arrival_kind":"external","entry_transition":"g49e933:2077","distance":17,"local_id":"activitydiary-Rep1-la5eb73d911ce46","source_state":"g49s187","model_action":"g49a2485","function":"activitydiary.edit-existing-activity","family":"activitydiary.editor","verdict":"REJECTED","reason":"function_exit_before_header:outside_MainActivity:g49e934:2080","entry_final_exact":true,"entire_path_final_exact":true,"path_transition_ids":["g49e933:2077","g47e900:2078","g47e901:2079","g49e934:2080","g49e935:2081","g49e936:2082","g37e509:2083","g37e513:2084","g49e937:2085","g37e505:2086","g49e938:2087","g8e84:2088","g9e88:2089","g49e939:2090","g37e507:2091","g49e940:2092","g37e510:2093"]},{"arrival_id":"activitydiary-Rep1:g24s69:g50e997:2217","arrival_transition":"g50e997:2217","arrival_kind":"external","entry_transition":"g50e997:2217","distance":1,"local_id":"activitydiary-Rep1-l829d4e9da58b80","source_state":"g49s185","model_action":"g49a2421","function":"activitydiary.add-activity","family":"activitydiary.editor","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":["g50e997:2217"]},{"arrival_id":"activitydiary-Rep1:g24s69:g50e997:2217","arrival_transition":"g50e997:2217","arrival_kind":"external","entry_transition":"g49e941:2211","distance":7,"local_id":"activitydiary-Rep1-le28fb73ccd939f","source_state":"g2s11","model_action":"g2a160","function":"activitydiary.diary","family":"activitydiary.diary","verdict":"REJECTED","reason":"intervening_different_independent_entry:g50e997:2217","entry_final_exact":true,"entire_path_final_exact":true,"path_transition_ids":["g49e941:2211","g50e994:2212","g49e946:2213","g50e995:2214","g49e944:2215","g50e996:2216","g50e997:2217"]},{"arrival_id":"activitydiary-Rep1:g24s69:g50e997:2217","arrival_transition":"g50e997:2217","arrival_kind":"external","entry_transition":"g50e992:2208","distance":10,"local_id":"activitydiary-Rep1-l91e82baddabfbe","source_state":"g49s184","model_action":"g49a2412","function":"activitydiary.inspect-avg_duration_label","family":"activitydiary.inspect-avg_duration_label","verdict":"REJECTED","reason":"intervening_different_independent_entry:g49e941:2211","entry_final_exact":true,"entire_path_final_exact":true,"path_transition_ids":["g50e992:2208","g49e928:2209","g50e993:2210","g49e941:2211","g50e994:2212","g49e946:2213","g50e995:2214","g49e944:2215","g50e996:2216","g50e997:2217"]},{"arrival_id":"activitydiary-Rep1:g24s69:g50e1008:2235","arrival_transition":"g50e1008:2235","arrival_kind":"external","entry_transition":"g50e1008:2235","distance":1,"local_id":"activitydiary-Rep1-lbd848b583973f9","source_state":"g29s93","model_action":"g29a1125","function":"activitydiary.add-activity","family":"activitydiary.editor","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":["g50e1008:2235"]},{"arrival_id":"activitydiary-Rep1:g24s69:g37e555:2237","arrival_transition":"g37e555:2237","arrival_kind":"external","entry_transition":"g37e555:2237","distance":1,"local_id":"activitydiary-Rep1-lb4dcccccc7387a","source_state":"g1s1","model_action":"g1a25","function":"activitydiary.add-activity","family":"activitydiary.editor","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":["g37e555:2237"]},{"arrival_id":"activitydiary-Rep1:g24s69:g37e555:2237","arrival_transition":"g37e555:2237","arrival_kind":"external","entry_transition":"g50e1008:2235","distance":3,"local_id":"activitydiary-Rep1-lbd848b583973f9","source_state":"g29s93","model_action":"g29a1125","function":"activitydiary.add-activity","family":"activitydiary.editor","verdict":"REJECTED","reason":"function_exit_before_header:outside_MainActivity:g37e558:2236","entry_final_exact":true,"entire_path_final_exact":true,"path_transition_ids":["g50e1008:2235","g37e558:2236","g37e555:2237"]},{"arrival_id":"activitydiary-Rep1:g24s69:g48e822:2241","arrival_transition":"g48e822:2241","arrival_kind":"external","entry_transition":"g48e822:2241","distance":1,"local_id":"activitydiary-Rep1-ld761723123607e","source_state":"g1s1","model_action":"g1a28","function":"activitydiary.edit-existing-activity","family":"activitydiary.editor","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":["g48e822:2241"]},{"arrival_id":"activitydiary-Rep1:g24s69:g48e822:2241","arrival_transition":"g48e822:2241","arrival_kind":"external","entry_transition":"g37e555:2237","distance":5,"local_id":"activitydiary-Rep1-lb4dcccccc7387a","source_state":"g1s1","model_action":"g1a25","function":"activitydiary.add-activity","family":"activitydiary.editor","verdict":"REJECTED","reason":"quickFix_new_to_existing_editor_handoff:g47e909:2238","entry_final_exact":true,"entire_path_final_exact":true,"path_transition_ids":["g37e555:2237","g47e909:2238","g47e917:2239","g31e405:2240","g48e822:2241"]},{"arrival_id":"activitydiary-Rep1:g24s69:g48e822:2241","arrival_transition":"g48e822:2241","arrival_kind":"external","entry_transition":"g50e1008:2235","distance":7,"local_id":"activitydiary-Rep1-lbd848b583973f9","source_state":"g29s93","model_action":"g29a1125","function":"activitydiary.add-activity","family":"activitydiary.editor","verdict":"REJECTED","reason":"function_exit_before_header:outside_MainActivity:g37e558:2236","entry_final_exact":true,"entire_path_final_exact":true,"path_transition_ids":["g50e1008:2235","g37e558:2236","g37e555:2237","g47e909:2238","g47e917:2239","g31e405:2240","g48e822:2241"]},{"arrival_id":"activitydiary-Rep1:g24s69:g50e1025:2297","arrival_transition":"g50e1025:2297","arrival_kind":"external","entry_transition":"g50e1025:2297","distance":1,"local_id":"activitydiary-Rep1-lbb61baa0739690","source_state":"g50s196","model_action":"g50a2602","function":"activitydiary.add-activity","family":"activitydiary.editor","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":["g50e1025:2297"]},{"arrival_id":"activitydiary-Rep1:g24s69:g50e1025:2297","arrival_transition":"g50e1025:2297","arrival_kind":"external","entry_transition":"g50e1024:2292","distance":6,"local_id":"activitydiary-Rep1-lafde2b6b4b8f33","source_state":"g50s196","model_action":"g50a2622","function":"activitydiary.inspect-total_month_label","family":"activitydiary.inspect-total_month_label","verdict":"REJECTED","reason":"intervening_different_independent_entry:g50e1025:2297","entry_final_exact":true,"entire_path_final_exact":true,"path_transition_ids":["g50e1024:2292","g29e343:2293","g29e253:2294","g50e1012:2295","g50e1022:2296","g50e1025:2297"]},{"arrival_id":"activitydiary-Rep1:g24s69:g50e1025:2297","arrival_transition":"g50e1025:2297","arrival_kind":"external","entry_transition":"g50e1023:2287","distance":11,"local_id":"activitydiary-Rep1-l848df2835d2ac2","source_state":"g50s196","model_action":"g50a2621","function":"activitydiary.inspect-total_week_label","family":"activitydiary.inspect-total_week_label","verdict":"REJECTED","reason":"intervening_different_independent_entry:g50e1024:2292","entry_final_exact":true,"entire_path_final_exact":true,"path_transition_ids":["g50e1023:2287","g29e343:2288","g29e253:2289","g50e1012:2290","g50e1022:2291","g50e1024:2292","g29e343:2293","g29e253:2294","g50e1012:2295","g50e1022:2296","g50e1025:2297"]},{"arrival_id":"activitydiary-Rep1:g24s69:g50e1025:2297","arrival_transition":"g50e1025:2297","arrival_kind":"external","entry_transition":"g29e356:2282","distance":16,"local_id":"activitydiary-Rep1-l7cc55ff0929b91","source_state":"g1s1","model_action":"g1a43","function":"activitydiary.inspect-total_today_label","family":"activitydiary.inspect-total_today_label","verdict":"REJECTED","reason":"intervening_different_independent_entry:g50e1023:2287","entry_final_exact":true,"entire_path_final_exact":true,"path_transition_ids":["g29e356:2282","g29e343:2283","g29e253:2284","g50e1012:2285","g50e1022:2286","g50e1023:2287","g29e343:2288","g29e253:2289","g50e1012:2290","g50e1022:2291","g50e1024:2292","g29e343:2293","g29e253:2294","g50e1012:2295","g50e1022:2296","g50e1025:2297"]},{"arrival_id":"activitydiary-Rep1:g24s69:g50e1047:2341","arrival_transition":"g50e1047:2341","arrival_kind":"external","entry_transition":"g50e1047:2341","distance":1,"local_id":"activitydiary-Rep1-l8eb5a718bf5183","source_state":"g27s79","model_action":"g27a963","function":"activitydiary.add-activity","family":"activitydiary.editor","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":["g50e1047:2341"]},{"arrival_id":"activitydiary-Rep1:g24s69:g50e1047:2341","arrival_transition":"g50e1047:2341","arrival_kind":"external","entry_transition":"g50e1046:2340","distance":2,"local_id":"activitydiary-Rep1-lcb99bb80b7ecf5","source_state":"g36s120","model_action":"g36a1532","function":"activitydiary.search-activities","family":"activitydiary.search-activities","verdict":"REJECTED","reason":"intervening_different_independent_entry:g50e1047:2341","entry_final_exact":true,"entire_path_final_exact":true,"path_transition_ids":["g50e1046:2340","g50e1047:2341"]},{"arrival_id":"activitydiary-Rep1:g24s69:g50e1047:2341","arrival_transition":"g50e1047:2341","arrival_kind":"external","entry_transition":"g50e1044:2338","distance":4,"local_id":"activitydiary-Rep1-l0cbab087081895","source_state":"g36s120","model_action":"g36a1544","function":"activitydiary.edit-existing-activity","family":"activitydiary.editor","verdict":"REJECTED","reason":"function_exit_before_header:outside_MainActivity:g50e1045:2339","entry_final_exact":true,"entire_path_final_exact":true,"path_transition_ids":["g50e1044:2338","g50e1045:2339","g50e1046:2340","g50e1047:2341"]},{"arrival_id":"activitydiary-Rep1:g24s69:g50e1047:2341","arrival_transition":"g50e1047:2341","arrival_kind":"external","entry_transition":"g50e1041:2335","distance":7,"local_id":"activitydiary-Rep1-l367f26f95bb6d5","source_state":"g49s181","model_action":"g49a2339","function":"activitydiary.edit-existing-activity","family":"activitydiary.editor","verdict":"REJECTED","reason":"function_exit_before_header:outside_MainActivity:g50e1042:2336","entry_final_exact":true,"entire_path_final_exact":true,"path_transition_ids":["g50e1041:2335","g50e1042:2336","g50e1043:2337","g50e1044:2338","g50e1045:2339","g50e1046:2340","g50e1047:2341"]},{"arrival_id":"activitydiary-Rep1:g24s69:g50e1047:2341","arrival_transition":"g50e1047:2341","arrival_kind":"external","entry_transition":"g50e1040:2333","distance":9,"local_id":"activitydiary-Rep1-l73a09e51ea6f39","source_state":"g49s181","model_action":"g49a2347","function":"activitydiary.inspect-total_week_label","family":"activitydiary.inspect-total_week_label","verdict":"REJECTED","reason":"intervening_different_independent_entry:g50e1041:2335","entry_final_exact":true,"entire_path_final_exact":true,"path_transition_ids":["g50e1040:2333","g49e863:2334","g50e1041:2335","g50e1042:2336","g50e1043:2337","g50e1044:2338","g50e1045:2339","g50e1046:2340","g50e1047:2341"]},{"arrival_id":"activitydiary-Rep1:g24s69:g50e1047:2341","arrival_transition":"g50e1047:2341","arrival_kind":"external","entry_transition":"g50e1039:2331","distance":11,"local_id":"activitydiary-Rep1-l961d64a4b9e1a4","source_state":"g49s180","model_action":"g49a2321","function":"activitydiary.inspect-start_of_last_label","family":"activitydiary.inspect-start_of_last_label","verdict":"REJECTED","reason":"intervening_different_independent_entry:g50e1040:2333","entry_final_exact":true,"entire_path_final_exact":true,"path_transition_ids":["g50e1039:2331","g49e863:2332","g50e1040:2333","g49e863:2334","g50e1041:2335","g50e1042:2336","g50e1043:2337","g50e1044:2338","g50e1045:2339","g50e1046:2340","g50e1047:2341"]},{"arrival_id":"activitydiary-Rep1:g24s69:g50e1047:2341","arrival_transition":"g50e1047:2341","arrival_kind":"external","entry_transition":"g50e1036:2327","distance":15,"local_id":"activitydiary-Rep1-l2e46fc7ce2687f","source_state":"g50s195","model_action":"g50a2590","function":"activitydiary.edit-existing-activity","family":"activitydiary.editor","verdict":"REJECTED","reason":"function_exit_before_header:outside_MainActivity:g21e94:2328","entry_final_exact":true,"entire_path_final_exact":true,"path_transition_ids":["g50e1036:2327","g21e94:2328","g50e1037:2329","g50e1038:2330","g50e1039:2331","g49e863:2332","g50e1040:2333","g49e863:2334","g50e1041:2335","g50e1042:2336","g50e1043:2337","g50e1044:2338","g50e1045:2339","g50e1046:2340","g50e1047:2341"]},{"arrival_id":"activitydiary-Rep1:g24s69:g50e1047:2341","arrival_transition":"g50e1047:2341","arrival_kind":"external","entry_transition":"g29e350:2322","distance":20,"local_id":"activitydiary-Rep1-l671ef51cbacdd7","source_state":"g27s79","model_action":"g27a966","function":"activitydiary.edit-existing-activity","family":"activitydiary.editor","verdict":"REJECTED","reason":"function_exit_before_header:outside_MainActivity:g50e1035:2323","entry_final_exact":true,"entire_path_final_exact":true,"path_transition_ids":["g29e350:2322","g50e1035:2323","g46e827:2324","g50e1012:2325","g50e1003:2326","g50e1036:2327","g21e94:2328","g50e1037:2329","g50e1038:2330","g50e1039:2331","g49e863:2332","g50e1040:2333","g49e863:2334","g50e1041:2335","g50e1042:2336","g50e1043:2337","g50e1044:2338","g50e1045:2339","g50e1046:2340","g50e1047:2341"]},{"arrival_id":"activitydiary-Rep1:g24s69:g48e783:2347","arrival_transition":"g48e783:2347","arrival_kind":"external","entry_transition":"g48e783:2347","distance":1,"local_id":"activitydiary-Rep1-l1f4c5a96518f0d","source_state":"g48s171","model_action":"g48a2202","function":"activitydiary.add-activity","family":"activitydiary.editor","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":["g48e783:2347"]},{"arrival_id":"activitydiary-Rep1:g24s69:g48e783:2347","arrival_transition":"g48e783:2347","arrival_kind":"external","entry_transition":"g48e802:2345","distance":3,"local_id":"activitydiary-Rep1-l25ff4ee543d7fe","source_state":"g48s171","model_action":"g48a2203","function":"activitydiary.search-activities","family":"activitydiary.search-activities","verdict":"REJECTED","reason":"intervening_different_independent_entry:g48e783:2347","entry_final_exact":true,"entire_path_final_exact":true,"path_transition_ids":["g48e802:2345","g50e1051:2346","g48e783:2347"]},{"arrival_id":"activitydiary-Rep1:g24s69:g48e783:2347","arrival_transition":"g48e783:2347","arrival_kind":"external","entry_transition":"g50e1047:2341","distance":7,"local_id":"activitydiary-Rep1-l8eb5a718bf5183","source_state":"g27s79","model_action":"g27a963","function":"activitydiary.add-activity","family":"activitydiary.editor","verdict":"REJECTED","reason":"function_exit_before_header:outside_MainActivity:g50e1048:2342","entry_final_exact":true,"entire_path_final_exact":true,"path_transition_ids":["g50e1047:2341","g50e1048:2342","g50e1049:2343","g50e1050:2344","g48e802:2345","g50e1051:2346","g48e783:2347"]},{"arrival_id":"activitydiary-Rep1:g24s69:g48e783:2347","arrival_transition":"g48e783:2347","arrival_kind":"external","entry_transition":"g50e1046:2340","distance":8,"local_id":"activitydiary-Rep1-lcb99bb80b7ecf5","source_state":"g36s120","model_action":"g36a1532","function":"activitydiary.search-activities","family":"activitydiary.search-activities","verdict":"REJECTED","reason":"intervening_different_independent_entry:g50e1047:2341","entry_final_exact":true,"entire_path_final_exact":true,"path_transition_ids":["g50e1046:2340","g50e1047:2341","g50e1048:2342","g50e1049:2343","g50e1050:2344","g48e802:2345","g50e1051:2346","g48e783:2347"]},{"arrival_id":"activitydiary-Rep1:g24s69:g48e783:2347","arrival_transition":"g48e783:2347","arrival_kind":"external","entry_transition":"g50e1044:2338","distance":10,"local_id":"activitydiary-Rep1-l0cbab087081895","source_state":"g36s120","model_action":"g36a1544","function":"activitydiary.edit-existing-activity","family":"activitydiary.editor","verdict":"REJECTED","reason":"function_exit_before_header:outside_MainActivity:g50e1045:2339","entry_final_exact":true,"entire_path_final_exact":true,"path_transition_ids":["g50e1044:2338","g50e1045:2339","g50e1046:2340","g50e1047:2341","g50e1048:2342","g50e1049:2343","g50e1050:2344","g48e802:2345","g50e1051:2346","g48e783:2347"]},{"arrival_id":"activitydiary-Rep1:g24s69:g48e783:2347","arrival_transition":"g48e783:2347","arrival_kind":"external","entry_transition":"g50e1041:2335","distance":13,"local_id":"activitydiary-Rep1-l367f26f95bb6d5","source_state":"g49s181","model_action":"g49a2339","function":"activitydiary.edit-existing-activity","family":"activitydiary.editor","verdict":"REJECTED","reason":"function_exit_before_header:outside_MainActivity:g50e1042:2336","entry_final_exact":true,"entire_path_final_exact":true,"path_transition_ids":["g50e1041:2335","g50e1042:2336","g50e1043:2337","g50e1044:2338","g50e1045:2339","g50e1046:2340","g50e1047:2341","g50e1048:2342","g50e1049:2343","g50e1050:2344","g48e802:2345","g50e1051:2346","g48e783:2347"]},{"arrival_id":"activitydiary-Rep1:g24s69:g48e783:2347","arrival_transition":"g48e783:2347","arrival_kind":"external","entry_transition":"g50e1040:2333","distance":15,"local_id":"activitydiary-Rep1-l73a09e51ea6f39","source_state":"g49s181","model_action":"g49a2347","function":"activitydiary.inspect-total_week_label","family":"activitydiary.inspect-total_week_label","verdict":"REJECTED","reason":"intervening_different_independent_entry:g50e1041:2335","entry_final_exact":true,"entire_path_final_exact":true,"path_transition_ids":["g50e1040:2333","g49e863:2334","g50e1041:2335","g50e1042:2336","g50e1043:2337","g50e1044:2338","g50e1045:2339","g50e1046:2340","g50e1047:2341","g50e1048:2342","g50e1049:2343","g50e1050:2344","g48e802:2345","g50e1051:2346","g48e783:2347"]},{"arrival_id":"activitydiary-Rep1:g24s69:g48e783:2347","arrival_transition":"g48e783:2347","arrival_kind":"external","entry_transition":"g50e1039:2331","distance":17,"local_id":"activitydiary-Rep1-l961d64a4b9e1a4","source_state":"g49s180","model_action":"g49a2321","function":"activitydiary.inspect-start_of_last_label","family":"activitydiary.inspect-start_of_last_label","verdict":"REJECTED","reason":"intervening_different_independent_entry:g50e1040:2333","entry_final_exact":true,"entire_path_final_exact":true,"path_transition_ids":["g50e1039:2331","g49e863:2332","g50e1040:2333","g49e863:2334","g50e1041:2335","g50e1042:2336","g50e1043:2337","g50e1044:2338","g50e1045:2339","g50e1046:2340","g50e1047:2341","g50e1048:2342","g50e1049:2343","g50e1050:2344","g48e802:2345","g50e1051:2346","g48e783:2347"]}],"after":{"activitydiary-Rep1:g24s69:g27e136:176":{"transition_ids":["g27e137:177","g27e138:178","g27e139:179","g27e140:180","g27e141:181"],"stop":"five_step_limit"},"activitydiary-Rep1:g24s69:g27e144:184":{"transition_ids":["g27e145:185","g27e146:186","g27e147:187","g27e148:188","g27e149:189"],"stop":"five_step_limit"},"activitydiary-Rep1:g24s69:g27e150:190":{"transition_ids":["g27e151:191","g27e152:192","g27e153:193","g27e154:194","g27e155:195"],"stop":"five_step_limit"},"activitydiary-Rep1:g24s69:g28e200:242":{"transition_ids":["g28e201:243","g28e202:244","g28e203:245","g28e204:246","g28e205:247"],"stop":"five_step_limit"},"activitydiary-Rep1:g24s69:g28e219:261":{"transition_ids":["g28e220:262","g28e221:263","g28e222:264","g28e223:265","g28e224:266"],"stop":"five_step_limit"},"activitydiary-Rep1:g24s69:g37e555:773":{"transition_ids":["g37e556:774","g37e557:775","g28e200:776","g37e558:777","g29e349:778"],"stop":"five_step_limit"},"activitydiary-Rep1:g24s69:g37e557:775":{"transition_ids":["g28e200:776","g37e558:777","g29e349:778","g37e559:779","g27e149:780"],"stop":"five_step_limit"},"activitydiary-Rep1:g24s69:g28e200:776":{"transition_ids":["g37e558:777","g29e349:778","g37e559:779","g27e149:780"],"stop":"abstraction_version_changed"},"activitydiary-Rep1:g24s69:g37e555:857":{"transition_ids":["g28e220:858","g46e608:859","g46e609:860","g29e358:861","g46e610:862"],"stop":"five_step_limit"},"activitydiary-Rep1:g24s69:g46e689:972":{"transition_ids":["g46e690:973","g46e691:974","g46e692:975","g46e691:976","g46e688:977"],"stop":"five_step_limit"},"activitydiary-Rep1:g24s69:g37e555:979":{"transition_ids":["g37e558:980","g29e358:981","g36e494:982","g46e694:983","g29e358:984"],"stop":"five_step_limit"},"activitydiary-Rep1:g24s69:g37e555:1236":{"transition_ids":["g37e558:1237","g46e789:1238","g46e820:1239","g29e288:1240","g46e804:1241"],"stop":"five_step_limit"},"activitydiary-Rep1:g24s69:g37e555:1602":{"transition_ids":["g37e558:1603","g29e358:1604","g33e460:1605","g46e657:1606","g48e818:1607"],"stop":"five_step_limit"},"activitydiary-Rep1:g24s69:g48e822:1629":{"transition_ids":["g48e823:1630","g48e824:1631","g48e825:1632","g48e826:1633","g48e827:1634"],"stop":"five_step_limit"},"activitydiary-Rep1:g24s69:g37e555:1636":{"transition_ids":["g27e177:1637","g29e299:1638","g29e264:1639","g29e357:1640","g29e347:1641"],"stop":"five_step_limit"},"activitydiary-Rep1:g24s69:g48e822:1661":{"transition_ids":["g31e456:1662","g21e111:1663","g21e114:1664","g21e111:1665","g21e112:1666"],"stop":"five_step_limit"},"activitydiary-Rep1:g24s69:g48e786:2047":{"transition_ids":["g47e909:2048","g47e910:2049","g37e514:2050","g49e915:2051","g49e922:2052"],"stop":"five_step_limit"},"activitydiary-Rep1:g24s69:g37e507:2091":{"transition_ids":["g49e940:2092","g37e510:2093","g49e940:2094","g37e516:2095","g37e509:2096"],"stop":"five_step_limit"},"activitydiary-Rep1:g24s69:g37e510:2093":{"transition_ids":["g49e940:2094","g37e516:2095","g37e509:2096","g37e531:2097","g49e941:2098"],"stop":"five_step_limit"},"activitydiary-Rep1:g24s69:g50e997:2217":{"transition_ids":["g50e998:2218","g50e999:2219","g49e928:2220","g50e1000:2221","g50e1001:2222"],"stop":"five_step_limit"},"activitydiary-Rep1:g24s69:g50e1008:2235":{"transition_ids":["g37e558:2236","g37e555:2237","g47e909:2238","g47e917:2239","g31e405:2240"],"stop":"five_step_limit"},"activitydiary-Rep1:g24s69:g37e555:2237":{"transition_ids":["g47e909:2238","g47e917:2239","g31e405:2240","g48e822:2241","g50e1009:2242"],"stop":"five_step_limit"},"activitydiary-Rep1:g24s69:g48e822:2241":{"transition_ids":["g50e1009:2242","g29e264:2243","g29e357:2244","g29e347:2245","g29e344:2246"],"stop":"five_step_limit"},"activitydiary-Rep1:g24s69:g50e1025:2297":{"transition_ids":["g37e558:2298","g29e253:2299","g50e1012:2300","g50e1003:2301","g50e1026:2302"],"stop":"five_step_limit"},"activitydiary-Rep1:g24s69:g50e1047:2341":{"transition_ids":["g50e1048:2342","g50e1049:2343","g50e1050:2344","g48e802:2345","g50e1051:2346"],"stop":"five_step_limit"},"activitydiary-Rep1:g24s69:g48e783:2347":{"transition_ids":["g48e814:2348"],"stop":"GUI_ID_gap;GUI_timestamp_gap;observed_State_gap"}},"topology_incoming":[{"id":"g24e127","source":"g23s68","target":"g24s69","action":"g23a795","action_fingerprint":"type=MODEL_CLICK|activity=de.rampro.activitydiary.ui.generic.ManageActivity|class=android.widget.TextView|text=|resource_id=de.rampro.activitydiary:id/action_add_activity|bounds=784,146,932,272","target_activity":"de.rampro.activitydiary.ui.generic.EditActivity","type":"NEW_ACTION","visits":28,"is_circle":false,"first_seen":167,"last_seen":167,"confirmed_final_executions":0,"relation":"external"},{"id":"g37e557","source":"g17s53","target":"g24s69","action":"g17a651","action_fingerprint":"type=MODEL_CLICK|activity=de.rampro.activitydiary.ui.generic.EditActivity|class=android.widget.Button|text=SELECT|resource_id=de.rampro.activitydiary:id/okColorButton|bounds=645,1544,876,1670","target_activity":"de.rampro.activitydiary.ui.generic.EditActivity","type":"NEW_ACTION_TARGET","visits":14,"is_circle":false,"first_seen":1032,"last_seen":1032,"confirmed_final_executions":1,"relation":"external"},{"id":"g50e997","source":"g49s185","target":"g24s69","action":"g49a2421","action_fingerprint":"type=MODEL_CLICK|activity=de.rampro.activitydiary.ui.main.MainActivity|class=android.widget.TextView|text=|resource_id=de.rampro.activitydiary:id/action_add_activity|bounds=935,146,1080,272","target_activity":"de.rampro.activitydiary.ui.generic.EditActivity","type":"NEW_ACTION","visits":1,"is_circle":false,"first_seen":2791,"last_seen":2791,"confirmed_final_executions":1,"relation":"external"},{"id":"g50e1008","source":"g29s93","target":"g24s69","action":"g29a1125","action_fingerprint":"type=MODEL_CLICK|activity=de.rampro.activitydiary.ui.main.MainActivity|class=android.widget.TextView|text=|resource_id=de.rampro.activitydiary:id/action_add_activity|bounds=935,146,1080,272","target_activity":"de.rampro.activitydiary.ui.generic.EditActivity","type":"NEW_ACTION_TARGET","visits":1,"is_circle":false,"first_seen":2810,"last_seen":2810,"confirmed_final_executions":1,"relation":"external"},{"id":"g27e150","source":"g27s77","target":"g24s69","action":"g27a947","action_fingerprint":"type=MODEL_CLICK|activity=de.rampro.activitydiary.ui.main.MainActivity|class=android.widget.TextView|text=|resource_id=de.rampro.activitydiary:id/action_add_activity|bounds=1029,146,1080,272","target_activity":"de.rampro.activitydiary.ui.generic.EditActivity","type":"NEW_ACTION","visits":24,"is_circle":false,"first_seen":353,"last_seen":353,"confirmed_final_executions":1,"relation":"external"},{"id":"g37e510","source":"g37s122","target":"g24s69","action":"g37a1567","action_fingerprint":"type=MODEL_CLICK|activity=de.rampro.activitydiary.ui.main.MainActivity|class=android.widget.TextView|text=|resource_id=de.rampro.activitydiary:id/action_add_activity|bounds=935,146,1080,272","target_activity":"de.rampro.activitydiary.ui.generic.EditActivity","type":"EXISTING","visits":17,"is_circle":false,"first_seen":249,"last_seen":2653,"confirmed_final_executions":1,"relation":"external"},{"id":"g50e1025","source":"g50s196","target":"g24s69","action":"g50a2602","action_fingerprint":"type=MODEL_CLICK|activity=de.rampro.activitydiary.ui.main.MainActivity|class=android.widget.TextView|text=|resource_id=de.rampro.activitydiary:id/action_add_activity|bounds=935,146,1080,272","target_activity":"de.rampro.activitydiary.ui.generic.EditActivity","type":"NEW_ACTION","visits":1,"is_circle":false,"first_seen":2873,"last_seen":2873,"confirmed_final_executions":1,"relation":"external"},{"id":"g27e144","source":"g27s76","target":"g24s69","action":"g27a930","action_fingerprint":"type=MODEL_CLICK|activity=de.rampro.activitydiary.ui.main.MainActivity|class=android.widget.TextView|text=|resource_id=de.rampro.activitydiary:id/action_add_activity|bounds=932,146,1080,272","target_activity":"de.rampro.activitydiary.ui.generic.EditActivity","type":"NEW_ACTION","visits":24,"is_circle":false,"first_seen":347,"last_seen":347,"confirmed_final_executions":1,"relation":"external"},{"id":"g46e689","source":"g14s38","target":"g24s69","action":"g14a536","action_fingerprint":"type=MODEL_CLICK|activity=de.rampro.activitydiary.ui.generic.ManageActivity|class=android.widget.TextView|text=Relaxing|resource_id=de.rampro.activitydiary:id/activity_name|bounds=0,1285,279,1370","target_activity":"de.rampro.activitydiary.ui.generic.EditActivity","type":"NEW_ACTION_TARGET","visits":5,"is_circle":false,"first_seen":1249,"last_seen":1249,"confirmed_final_executions":1,"relation":"external"},{"id":"g28e200","source":"g24s69","target":"g24s69","action":"g24a808","action_fingerprint":"type=MODEL_CLICK|activity=de.rampro.activitydiary.ui.generic.EditActivity|class=android.widget.TextView|text=|resource_id=de.rampro.activitydiary:id/action_edit_done|bounds=932,146,1080,272","target_activity":"de.rampro.activitydiary.ui.generic.EditActivity","type":"EXISTING","visits":37,"is_circle":true,"first_seen":419,"last_seen":1033,"confirmed_final_executions":2,"relation":"self_loop"},{"id":"g28e219","source":"g1s3","target":"g24s69","action":"g1a60","action_fingerprint":"type=MODEL_LONG_CLICK|activity=de.rampro.activitydiary.ui.main.MainActivity|class=android.widget.RelativeLayout|text=|resource_id=de.rampro.activitydiary:id/activity_background|bounds=12,298,1038,424","target_activity":"de.rampro.activitydiary.ui.generic.EditActivity","type":"NEW_ACTION","visits":23,"is_circle":false,"first_seen":438,"last_seen":438,"confirmed_final_executions":1,"relation":"external"},{"id":"g37e507","source":"g37s122","target":"g24s69","action":"g37a1570","action_fingerprint":"type=MODEL_LONG_CLICK|activity=de.rampro.activitydiary.ui.main.MainActivity|class=android.widget.RelativeLayout|text=|resource_id=de.rampro.activitydiary:id/activity_background|bounds=12,298,1038,424","target_activity":"de.rampro.activitydiary.ui.generic.EditActivity","type":"EXISTING","visits":17,"is_circle":false,"first_seen":241,"last_seen":2651,"confirmed_final_executions":1,"relation":"external"},{"id":"g50e1047","source":"g27s79","target":"g24s69","action":"g27a963","action_fingerprint":"type=MODEL_CLICK|activity=de.rampro.activitydiary.ui.main.MainActivity|class=android.widget.TextView|text=|resource_id=de.rampro.activitydiary:id/action_add_activity|bounds=1029,146,1080,272","target_activity":"de.rampro.activitydiary.ui.generic.EditActivity","type":"NEW_ACTION_TARGET","visits":1,"is_circle":false,"first_seen":2917,"last_seen":2917,"confirmed_final_executions":1,"relation":"external"},{"id":"g37e555","source":"g1s1","target":"g24s69","action":"g1a25","action_fingerprint":"type=MODEL_CLICK|activity=de.rampro.activitydiary.ui.main.MainActivity|class=android.widget.TextView|text=|resource_id=de.rampro.activitydiary:id/action_add_activity|bounds=932,146,1080,272","target_activity":"de.rampro.activitydiary.ui.generic.EditActivity","type":"EXISTING","visits":36,"is_circle":false,"first_seen":1030,"last_seen":2812,"confirmed_final_executions":7,"relation":"external"},{"id":"g48e783","source":"g48s171","target":"g24s69","action":"g48a2202","action_fingerprint":"type=MODEL_CLICK|activity=de.rampro.activitydiary.ui.main.MainActivity|class=android.widget.TextView|text=|resource_id=de.rampro.activitydiary:id/action_add_activity|bounds=935,146,1080,272","target_activity":"de.rampro.activitydiary.ui.generic.EditActivity","type":"EXISTING","visits":17,"is_circle":false,"first_seen":218,"last_seen":2923,"confirmed_final_executions":1,"relation":"external"},{"id":"g27e136","source":"g2s11","target":"g24s69","action":"g2a157","action_fingerprint":"type=MODEL_CLICK|activity=de.rampro.activitydiary.ui.main.MainActivity|class=android.widget.TextView|text=|resource_id=de.rampro.activitydiary:id/action_add_activity|bounds=932,146,1080,272","target_activity":"de.rampro.activitydiary.ui.generic.EditActivity","type":"NEW_ACTION","visits":24,"is_circle":false,"first_seen":339,"last_seen":339,"confirmed_final_executions":1,"relation":"external"},{"id":"g48e822","source":"g1s1","target":"g24s69","action":"g1a28","action_fingerprint":"type=MODEL_LONG_CLICK|activity=de.rampro.activitydiary.ui.main.MainActivity|class=android.widget.RelativeLayout|text=|resource_id=de.rampro.activitydiary:id/activity_background|bounds=12,298,1038,424","target_activity":"de.rampro.activitydiary.ui.generic.EditActivity","type":"EXISTING","visits":7,"is_circle":false,"first_seen":2132,"last_seen":2816,"confirmed_final_executions":3,"relation":"external"},{"id":"g24e124","source":"g15s42","target":"g24s69","action":"g15a575","action_fingerprint":"type=MODEL_CLICK|activity=de.rampro.activitydiary.ui.generic.ManageActivity|class=android.widget.TextView|text=|resource_id=de.rampro.activitydiary:id/action_add_activity|bounds=784,146,932,272","target_activity":"de.rampro.activitydiary.ui.generic.EditActivity","type":"NEW_ACTION","visits":28,"is_circle":false,"first_seen":152,"last_seen":152,"confirmed_final_executions":0,"relation":"external"},{"id":"g48e786","source":"g48s171","target":"g24s69","action":"g48a2205","action_fingerprint":"type=MODEL_LONG_CLICK|activity=de.rampro.activitydiary.ui.main.MainActivity|class=android.widget.RelativeLayout|text=|resource_id=de.rampro.activitydiary:id/activity_background|bounds=12,298,1038,424","target_activity":"de.rampro.activitydiary.ui.generic.EditActivity","type":"EXISTING","visits":6,"is_circle":false,"first_seen":225,"last_seen":2606,"confirmed_final_executions":1,"relation":"external"}],"graph_history":"<svg width=\"612pt\" height=\"629pt\"\n viewBox=\"0.00 0.00 612.20 629.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 607.6)\">\n<title>G</title>\n<!-- g14s38 -->\n<g id=\"state&#45;g14s38\" class=\"node\">\n<title>g14s38</title>\n<g id=\"a_state&#45;g14s38\"><a xlink:href=\"#state:g14s38\" xlink:title=\"g14s38\\nManageActivity\">\n<path fill=\"#d5e3ed\" stroke=\"#829291\" d=\"M90,-586C90,-586 12,-586 12,-586 6,-586 0,-580 0,-574 0,-574 0,-562 0,-562 0,-556 6,-550 12,-550 12,-550 90,-550 90,-550 96,-550 102,-556 102,-562 102,-562 102,-574 102,-574 102,-580 96,-586 90,-586\"/>\n<text text-anchor=\"middle\" x=\"51\" y=\"-571.2\" font-family=\"DejaVu Sans\" font-size=\"11.00\" fill=\"#243431\">g14s38</text>\n<text text-anchor=\"middle\" x=\"51\" y=\"-559.2\" font-family=\"DejaVu Sans\" font-size=\"11.00\" fill=\"#243431\">ManageActivity</text>\n</a>\n</g>\n</g>\n<!-- g24s69 -->\n<g id=\"state&#45;g24s69\" class=\"node\">\n<title>g24s69</title>\n<g id=\"a_state&#45;g24s69\"><a xlink:href=\"#state:g24s69\" xlink:title=\"g24s69\\nEditActivity\">\n<path fill=\"#e6b455\" stroke=\"#829291\" d=\"M329,-286C329,-286 273,-286 273,-286 267,-286 261,-280 261,-274 261,-274 261,-262 261,-262 261,-256 267,-250 273,-250 273,-250 329,-250 329,-250 335,-250 341,-256 341,-262 341,-262 341,-274 341,-274 341,-280 335,-286 329,-286\"/>\n<text text-anchor=\"middle\" x=\"301\" y=\"-271.2\" font-family=\"DejaVu Sans\" font-size=\"11.00\" fill=\"#243431\">g24s69</text>\n<text text-anchor=\"middle\" x=\"301\" y=\"-259.2\" font-family=\"DejaVu Sans\" font-size=\"11.00\" fill=\"#243431\">EditActivity</text>\n</a>\n</g>\n</g>\n<!-- g14s38&#45;&gt;g24s69 -->\n<g id=\"edge8\" class=\"edge\">\n<title>g14s38&#45;&gt;g24s69</title>\n<g id=\"a_edge8\"><a xlink:href=\"#event:g46e689:972\" xlink:title=\"Relaxing ×1\">\n<path fill=\"none\" stroke=\"#26728f\" stroke-width=\"2\" d=\"M102.15,-575.12C143.26,-577.97 200.29,-574.66 236,-542 273.1,-508.06 291.92,-351.53 297.87,-291.51\"/>\n<polygon fill=\"#26728f\" stroke=\"#26728f\" stroke-width=\"2\" points=\"299.78,-291.67 298.4,-286.01 295.95,-291.3 299.78,-291.67\"/>\n</a>\n</g>\n<g id=\"a_edge8&#45;label\"><a xlink:href=\"#event:g46e689:972\" xlink:title=\"Relaxing ×1\">\n<text text-anchor=\"middle\" x=\"181.5\" y=\"-577.8\" font-family=\"DejaVu Sans\" font-size=\"9.00\">Relaxing ×1</text>\n</a>\n</g>\n</g>\n<!-- g17s53 -->\n<g id=\"state&#45;g17s53\" class=\"node\">\n<title>g17s53</title>\n<g id=\"a_state&#45;g17s53\"><a xlink:href=\"#state:g17s53\" xlink:title=\"g17s53\\nEditActivity\">\n<path fill=\"#d5e3ed\" stroke=\"#829291\" d=\"M557,-286C557,-286 501,-286 501,-286 495,-286 489,-280 489,-274 489,-274 489,-262 489,-262 489,-256 495,-250 501,-250 501,-250 557,-250 557,-250 563,-250 569,-256 569,-262 569,-262 569,-274 569,-274 569,-280 563,-286 557,-286\"/>\n<text text-anchor=\"middle\" x=\"529\" y=\"-271.2\" font-family=\"DejaVu Sans\" font-size=\"11.00\" fill=\"#243431\">g17s53</text>\n<text text-anchor=\"middle\" x=\"529\" y=\"-259.2\" font-family=\"DejaVu Sans\" font-size=\"11.00\" fill=\"#243431\">EditActivity</text>\n</a>\n</g>\n</g>\n<!-- g17s53&#45;&gt;g24s69 -->\n<g id=\"edge7\" class=\"edge\">\n<title>g17s53&#45;&gt;g24s69</title>\n<g id=\"a_edge7\"><a xlink:href=\"#event:g37e557:775\" xlink:title=\"SELECT ×1\">\n<path fill=\"none\" stroke=\"#26728f\" stroke-width=\"2\" d=\"M488.93,-258.77C480.74,-257.2 472.12,-255.82 464,-255 420.66,-250.64 409.34,-250.64 366,-255 359.65,-255.64 353.01,-256.62 346.5,-257.77\"/>\n<polygon fill=\"#26728f\" stroke=\"#26728f\" stroke-width=\"2\" points=\"346.13,-255.88 341.07,-258.77 346.83,-259.67 346.13,-255.88\"/>\n</a>\n</g>\n<g id=\"a_edge7&#45;label\"><a xlink:href=\"#event:g37e557:775\" xlink:title=\"SELECT ×1\">\n<text text-anchor=\"middle\" x=\"415\" y=\"-257.8\" font-family=\"DejaVu Sans\" font-size=\"9.00\">SELECT ×1</text>\n</a>\n</g>\n</g>\n<!-- g1s1 -->\n<g id=\"state&#45;g1s1\" class=\"node\">\n<title>g1s1</title>\n<g id=\"a_state&#45;g1s1\"><a xlink:href=\"#state:g1s1\" xlink:title=\"g1s1\\nMainActivity\">\n<path fill=\"#d5e3ed\" stroke=\"#829291\" d=\"M81.5,-536C81.5,-536 20.5,-536 20.5,-536 14.5,-536 8.5,-530 8.5,-524 8.5,-524 8.5,-512 8.5,-512 8.5,-506 14.5,-500 20.5,-500 20.5,-500 81.5,-500 81.5,-500 87.5,-500 93.5,-506 93.5,-512 93.5,-512 93.5,-524 93.5,-524 93.5,-530 87.5,-536 81.5,-536\"/>\n<text text-anchor=\"middle\" x=\"51\" y=\"-521.2\" font-family=\"DejaVu Sans\" font-size=\"11.00\" fill=\"#243431\">g1s1</text>\n<text text-anchor=\"middle\" x=\"51\" y=\"-509.2\" font-family=\"DejaVu Sans\" font-size=\"11.00\" fill=\"#243431\">MainActivity</text>\n</a>\n</g>\n</g>\n<!-- g1s1&#45;&gt;g24s69 -->\n<g id=\"edge5\" class=\"edge\">\n<title>g1s1&#45;&gt;g24s69</title>\n<g id=\"a_edge5\"><a xlink:href=\"#event:g37e555:773\" xlink:title=\"Add Activity ×7\">\n<path fill=\"none\" stroke=\"#26728f\" stroke-width=\"2\" d=\"M93.64,-526.25C134.66,-531.83 196.71,-533.07 236,-500 268.16,-472.94 289.29,-345.15 296.88,-291.64\"/>\n<polygon fill=\"#26728f\" stroke=\"#26728f\" stroke-width=\"2\" points=\"298.8,-291.81 297.65,-286.1 294.98,-291.28 298.8,-291.81\"/>\n</a>\n</g>\n<g id=\"a_edge5&#45;label\"><a xlink:href=\"#event:g37e555:773\" xlink:title=\"Add Activity ×7\">\n<text text-anchor=\"middle\" x=\"181.5\" y=\"-531.8\" font-family=\"DejaVu Sans\" font-size=\"9.00\">Add Activity ×7</text>\n</a>\n</g>\n</g>\n<!-- g1s1&#45;&gt;g24s69 -->\n<g id=\"edge9\" class=\"edge\">\n<title>g1s1&#45;&gt;g24s69</title>\n<g id=\"a_edge9\"><a xlink:href=\"#event:g48e822:1629\" xlink:title=\"activity_background ×3\">\n<path fill=\"none\" stroke=\"#26728f\" stroke-width=\"2\" d=\"M93.6,-500.4C104.35,-496.27 116,-492.16 127,-489 174.42,-475.38 199.1,-500.74 236,-468 287.83,-422.01 297.98,-334.07 299.77,-291.82\"/>\n<polygon fill=\"#26728f\" stroke=\"#26728f\" stroke-width=\"2\" points=\"301.69,-291.73 299.97,-286.17 297.85,-291.6 301.69,-291.73\"/>\n</a>\n</g>\n<g id=\"a_edge9&#45;label\"><a xlink:href=\"#event:g48e822:1629\" xlink:title=\"activity_background ×3\">\n<text text-anchor=\"middle\" x=\"181.5\" y=\"-491.8\" font-family=\"DejaVu Sans\" font-size=\"9.00\">activity_background ×3</text>\n</a>\n</g>\n</g>\n<!-- g1s3 -->\n<g id=\"state&#45;g1s3\" class=\"node\">\n<title>g1s3</title>\n<g id=\"a_state&#45;g1s3\"><a xlink:href=\"#state:g1s3\" xlink:title=\"g1s3\\nMainActivity\">\n<path fill=\"#d5e3ed\" stroke=\"#829291\" d=\"M81.5,-486C81.5,-486 20.5,-486 20.5,-486 14.5,-486 8.5,-480 8.5,-474 8.5,-474 8.5,-462 8.5,-462 8.5,-456 14.5,-450 20.5,-450 20.5,-450 81.5,-450 81.5,-450 87.5,-450 93.5,-456 93.5,-462 93.5,-462 93.5,-474 93.5,-474 93.5,-480 87.5,-486 81.5,-486\"/>\n<text text-anchor=\"middle\" x=\"51\" y=\"-471.2\" font-family=\"DejaVu Sans\" font-size=\"11.00\" fill=\"#243431\">g1s3</text>\n<text text-anchor=\"middle\" x=\"51\" y=\"-459.2\" font-family=\"DejaVu Sans\" font-size=\"11.00\" fill=\"#243431\">MainActivity</text>\n</a>\n</g>\n</g>\n<!-- g1s3&#45;&gt;g24s69 -->\n<g id=\"edge4\" class=\"edge\">\n<title>g1s3&#45;&gt;g24s69</title>\n<g id=\"a_edge4\"><a xlink:href=\"#event:g28e219:261\" xlink:title=\"activity_background ×1\">\n<path fill=\"none\" stroke=\"#26728f\" stroke-width=\"2\" d=\"M93.58,-461.78C141.05,-453.95 214.85,-439.26 236,-421 275.14,-387.2 290.86,-325.51 296.76,-291.71\"/>\n<polygon fill=\"#26728f\" stroke=\"#26728f\" stroke-width=\"2\" points=\"298.68,-291.88 297.69,-286.13 294.89,-291.24 298.68,-291.88\"/>\n</a>\n</g>\n<g id=\"a_edge4&#45;label\"><a xlink:href=\"#event:g28e219:261\" xlink:title=\"activity_background ×1\">\n<text text-anchor=\"middle\" x=\"181.5\" y=\"-457.8\" font-family=\"DejaVu Sans\" font-size=\"9.00\">activity_background ×1</text>\n</a>\n</g>\n</g>\n<!-- g24s69&#45;&gt;g17s53 -->\n<g id=\"edge6\" class=\"edge\">\n<title>g24s69&#45;&gt;g17s53</title>\n<g id=\"a_edge6\"><a xlink:href=\"#event:g37e556:774\" xlink:title=\"edit_activity_color ×1\">\n<path fill=\"none\" stroke=\"#26728f\" stroke-width=\"2\" d=\"M341.11,-268C380.68,-268 441.8,-268 483.27,-268\"/>\n<polygon fill=\"#26728f\" stroke=\"#26728f\" stroke-width=\"2\" points=\"483.49,-269.93 488.99,-268 483.49,-266.08 483.49,-269.93\"/>\n</a>\n</g>\n<g id=\"a_edge6&#45;label\"><a xlink:href=\"#event:g37e556:774\" xlink:title=\"edit_activity_color ×1\">\n<text text-anchor=\"middle\" x=\"415\" y=\"-270.8\" font-family=\"DejaVu Sans\" font-size=\"9.00\">edit_activity_color ×1</text>\n</a>\n</g>\n</g>\n<!-- g24s69&#45;&gt;g24s69 -->\n<g id=\"edge18\" class=\"edge\">\n<title>g24s69&#45;&gt;g24s69</title>\n<g id=\"a_edge18\"><a xlink:href=\"#topology:g24a808\" xlink:title=\"g28e200\">\n<path fill=\"none\" stroke=\"#9d9e99\" stroke-dasharray=\"5,2\" d=\"M279.81,-286.09C278.35,-293.62 285.41,-300 301,-300 312.45,-300 319.3,-296.56 321.55,-291.75\"/>\n<polygon fill=\"#9d9e99\" stroke=\"#9d9e99\" points=\"323.48,-291.77 322.19,-286.09 319.66,-291.34 323.48,-291.77\"/>\n</a>\n</g>\n<g id=\"a_edge18&#45;label\"><a xlink:href=\"#topology:g24a808\" xlink:title=\"g28e200\">\n<text text-anchor=\"middle\" x=\"301\" y=\"-302.8\" font-family=\"DejaVu Sans\" font-size=\"9.00\">g28e200</text>\n</a>\n</g>\n</g>\n<!-- g27s76 -->\n<g id=\"state&#45;g27s76\" class=\"node\">\n<title>g27s76</title>\n<g id=\"a_state&#45;g27s76\"><a xlink:href=\"#state:g27s76\" xlink:title=\"g27s76\\nMainActivity\">\n<path fill=\"#d5e3ed\" stroke=\"#829291\" d=\"M81.5,-436C81.5,-436 20.5,-436 20.5,-436 14.5,-436 8.5,-430 8.5,-424 8.5,-424 8.5,-412 8.5,-412 8.5,-406 14.5,-400 20.5,-400 20.5,-400 81.5,-400 81.5,-400 87.5,-400 93.5,-406 93.5,-412 93.5,-412 93.5,-424 93.5,-424 93.5,-430 87.5,-436 81.5,-436\"/>\n<text text-anchor=\"middle\" x=\"51\" y=\"-421.2\" font-family=\"DejaVu Sans\" font-size=\"11.00\" fill=\"#243431\">g27s76</text>\n<text text-anchor=\"middle\" x=\"51\" y=\"-409.2\" font-family=\"DejaVu Sans\" font-size=\"11.00\" fill=\"#243431\">MainActivity</text>\n</a>\n</g>\n</g>\n<!-- g27s76&#45;&gt;g24s69 -->\n<g id=\"edge2\" class=\"edge\">\n<title>g27s76&#45;&gt;g24s69</title>\n<g id=\"a_edge2\"><a xlink:href=\"#event:g27e144:184\" xlink:title=\"Add Activity ×1\">\n<path fill=\"none\" stroke=\"#26728f\" stroke-width=\"2\" d=\"M93.64,-414.32C133.51,-409.01 193.68,-396.11 236,-365 261.73,-346.08 280.11,-313.47 290.4,-291.33\"/>\n<polygon fill=\"#26728f\" stroke=\"#26728f\" stroke-width=\"2\" points=\"292.19,-292.02 292.71,-286.22 288.69,-290.44 292.19,-292.02\"/>\n</a>\n</g>\n<g id=\"a_edge2&#45;label\"><a xlink:href=\"#event:g27e144:184\" xlink:title=\"Add Activity ×1\">\n<text text-anchor=\"middle\" x=\"181.5\" y=\"-410.8\" font-family=\"DejaVu Sans\" font-size=\"9.00\">Add Activity ×1</text>\n</a>\n</g>\n</g>\n<!-- g27s77 -->\n<g id=\"state&#45;g27s77\" class=\"node\">\n<title>g27s77</title>\n<g id=\"a_state&#45;g27s77\"><a xlink:href=\"#state:g27s77\" xlink:title=\"g27s77\\nMainActivity\">\n<path fill=\"#d5e3ed\" stroke=\"#829291\" d=\"M81.5,-386C81.5,-386 20.5,-386 20.5,-386 14.5,-386 8.5,-380 8.5,-374 8.5,-374 8.5,-362 8.5,-362 8.5,-356 14.5,-350 20.5,-350 20.5,-350 81.5,-350 81.5,-350 87.5,-350 93.5,-356 93.5,-362 93.5,-362 93.5,-374 93.5,-374 93.5,-380 87.5,-386 81.5,-386\"/>\n<text text-anchor=\"middle\" x=\"51\" y=\"-371.2\" font-family=\"DejaVu Sans\" font-size=\"11.00\" fill=\"#243431\">g27s77</text>\n<text text-anchor=\"middle\" x=\"51\" y=\"-359.2\" font-family=\"DejaVu Sans\" font-size=\"11.00\" fill=\"#243431\">MainActivity</text>\n</a>\n</g>\n</g>\n<!-- g27s77&#45;&gt;g24s69 -->\n<g id=\"edge3\" class=\"edge\">\n<title>g27s77&#45;&gt;g24s69</title>\n<g id=\"a_edge3\"><a xlink:href=\"#event:g27e150:190\" xlink:title=\"Add Activity ×1\">\n<path fill=\"none\" stroke=\"#26728f\" stroke-width=\"2\" d=\"M93.73,-360.38C132.06,-352.37 189.76,-337.73 236,-315 249.76,-308.23 263.65,-298.47 274.95,-289.6\"/>\n<polygon fill=\"#26728f\" stroke=\"#26728f\" stroke-width=\"2\" points=\"276.21,-291.06 279.31,-286.12 273.81,-288.05 276.21,-291.06\"/>\n</a>\n</g>\n<g id=\"a_edge3&#45;label\"><a xlink:href=\"#event:g27e150:190\" xlink:title=\"Add Activity ×1\">\n<text text-anchor=\"middle\" x=\"181.5\" y=\"-354.8\" font-family=\"DejaVu Sans\" font-size=\"9.00\">Add Activity ×1</text>\n</a>\n</g>\n</g>\n<!-- g27s79 -->\n<g id=\"state&#45;g27s79\" class=\"node\">\n<title>g27s79</title>\n<g id=\"a_state&#45;g27s79\"><a xlink:href=\"#state:g27s79\" xlink:title=\"g27s79\\nMainActivity\">\n<path fill=\"#d5e3ed\" stroke=\"#829291\" d=\"M81.5,-336C81.5,-336 20.5,-336 20.5,-336 14.5,-336 8.5,-330 8.5,-324 8.5,-324 8.5,-312 8.5,-312 8.5,-306 14.5,-300 20.5,-300 20.5,-300 81.5,-300 81.5,-300 87.5,-300 93.5,-306 93.5,-312 93.5,-312 93.5,-324 93.5,-324 93.5,-330 87.5,-336 81.5,-336\"/>\n<text text-anchor=\"middle\" x=\"51\" y=\"-321.2\" font-family=\"DejaVu Sans\" font-size=\"11.00\" fill=\"#243431\">g27s79</text>\n<text text-anchor=\"middle\" x=\"51\" y=\"-309.2\" font-family=\"DejaVu Sans\" font-size=\"11.00\" fill=\"#243431\">MainActivity</text>\n</a>\n</g>\n</g>\n<!-- g27s79&#45;&gt;g24s69 -->\n<g id=\"edge16\" class=\"edge\">\n<title>g27s79&#45;&gt;g24s69</title>\n<g id=\"a_edge16\"><a xlink:href=\"#event:g50e1047:2341\" xlink:title=\"Add Activity ×1\">\n<path fill=\"none\" stroke=\"#26728f\" stroke-width=\"2\" d=\"M93.66,-309.65C130.96,-302.16 187.13,-290.88 236,-281 242.25,-279.74 248.85,-278.4 255.33,-277.09\"/>\n<polygon fill=\"#26728f\" stroke=\"#26728f\" stroke-width=\"2\" points=\"255.73,-278.97 260.74,-275.99 254.97,-275.19 255.73,-278.97\"/>\n</a>\n</g>\n<g id=\"a_edge16&#45;label\"><a xlink:href=\"#event:g50e1047:2341\" xlink:title=\"Add Activity ×1\">\n<text text-anchor=\"middle\" x=\"181.5\" y=\"-304.8\" font-family=\"DejaVu Sans\" font-size=\"9.00\">Add Activity ×1</text>\n</a>\n</g>\n</g>\n<!-- g29s93 -->\n<g id=\"state&#45;g29s93\" class=\"node\">\n<title>g29s93</title>\n<g id=\"a_state&#45;g29s93\"><a xlink:href=\"#state:g29s93\" xlink:title=\"g29s93\\nMainActivity\">\n<path fill=\"#d5e3ed\" stroke=\"#829291\" d=\"M81.5,-286C81.5,-286 20.5,-286 20.5,-286 14.5,-286 8.5,-280 8.5,-274 8.5,-274 8.5,-262 8.5,-262 8.5,-256 14.5,-250 20.5,-250 20.5,-250 81.5,-250 81.5,-250 87.5,-250 93.5,-256 93.5,-262 93.5,-262 93.5,-274 93.5,-274 93.5,-280 87.5,-286 81.5,-286\"/>\n<text text-anchor=\"middle\" x=\"51\" y=\"-271.2\" font-family=\"DejaVu Sans\" font-size=\"11.00\" fill=\"#243431\">g29s93</text>\n<text text-anchor=\"middle\" x=\"51\" y=\"-259.2\" font-family=\"DejaVu Sans\" font-size=\"11.00\" fill=\"#243431\">MainActivity</text>\n</a>\n</g>\n</g>\n<!-- g29s93&#45;&gt;g24s69 -->\n<g id=\"edge14\" class=\"edge\">\n<title>g29s93&#45;&gt;g24s69</title>\n<g id=\"a_edge14\"><a xlink:href=\"#event:g50e1008:2235\" xlink:title=\"Add Activity ×1\">\n<path fill=\"none\" stroke=\"#26728f\" stroke-width=\"2\" d=\"M93.51,-268C138.2,-268 209.07,-268 255.05,-268\"/>\n<polygon fill=\"#26728f\" stroke=\"#26728f\" stroke-width=\"2\" points=\"255.31,-269.93 260.81,-268 255.31,-266.08 255.31,-269.93\"/>\n</a>\n</g>\n<g id=\"a_edge14&#45;label\"><a xlink:href=\"#event:g50e1008:2235\" xlink:title=\"Add Activity ×1\">\n<text text-anchor=\"middle\" x=\"181.5\" y=\"-270.8\" font-family=\"DejaVu Sans\" font-size=\"9.00\">Add Activity ×1</text>\n</a>\n</g>\n</g>\n<!-- g2s11 -->\n<g id=\"state&#45;g2s11\" class=\"node\">\n<title>g2s11</title>\n<g id=\"a_state&#45;g2s11\"><a xlink:href=\"#state:g2s11\" xlink:title=\"g2s11\\nMainActivity\">\n<path fill=\"#d5e3ed\" stroke=\"#829291\" d=\"M81.5,-236C81.5,-236 20.5,-236 20.5,-236 14.5,-236 8.5,-230 8.5,-224 8.5,-224 8.5,-212 8.5,-212 8.5,-206 14.5,-200 20.5,-200 20.5,-200 81.5,-200 81.5,-200 87.5,-200 93.5,-206 93.5,-212 93.5,-212 93.5,-224 93.5,-224 93.5,-230 87.5,-236 81.5,-236\"/>\n<text text-anchor=\"middle\" x=\"51\" y=\"-221.2\" font-family=\"DejaVu Sans\" font-size=\"11.00\" fill=\"#243431\">g2s11</text>\n<text text-anchor=\"middle\" x=\"51\" y=\"-209.2\" font-family=\"DejaVu Sans\" font-size=\"11.00\" fill=\"#243431\">MainActivity</text>\n</a>\n</g>\n</g>\n<!-- g2s11&#45;&gt;g24s69 -->\n<g id=\"edge1\" class=\"edge\">\n<title>g2s11&#45;&gt;g24s69</title>\n<g id=\"a_edge1\"><a xlink:href=\"#event:g27e136:176\" xlink:title=\"Add Activity ×1\">\n<path fill=\"none\" stroke=\"#26728f\" stroke-width=\"2\" d=\"M93.66,-226.35C130.96,-233.84 187.13,-245.12 236,-255 242.25,-256.26 248.85,-257.6 255.33,-258.91\"/>\n<polygon fill=\"#26728f\" stroke=\"#26728f\" stroke-width=\"2\" points=\"254.97,-260.81 260.74,-260.01 255.73,-257.03 254.97,-260.81\"/>\n</a>\n</g>\n<g id=\"a_edge1&#45;label\"><a xlink:href=\"#event:g27e136:176\" xlink:title=\"Add Activity ×1\">\n<text text-anchor=\"middle\" x=\"181.5\" y=\"-257.8\" font-family=\"DejaVu Sans\" font-size=\"9.00\">Add Activity ×1</text>\n</a>\n</g>\n</g>\n<!-- g37s122 -->\n<g id=\"state&#45;g37s122\" class=\"node\">\n<title>g37s122</title>\n<g id=\"a_state&#45;g37s122\"><a xlink:href=\"#state:g37s122\" xlink:title=\"g37s122\\nMainActivity\">\n<path fill=\"#d5e3ed\" stroke=\"#829291\" d=\"M81.5,-186C81.5,-186 20.5,-186 20.5,-186 14.5,-186 8.5,-180 8.5,-174 8.5,-174 8.5,-162 8.5,-162 8.5,-156 14.5,-150 20.5,-150 20.5,-150 81.5,-150 81.5,-150 87.5,-150 93.5,-156 93.5,-162 93.5,-162 93.5,-174 93.5,-174 93.5,-180 87.5,-186 81.5,-186\"/>\n<text text-anchor=\"middle\" x=\"51\" y=\"-171.2\" font-family=\"DejaVu Sans\" font-size=\"11.00\" fill=\"#243431\">g37s122</text>\n<text text-anchor=\"middle\" x=\"51\" y=\"-159.2\" font-family=\"DejaVu Sans\" font-size=\"11.00\" fill=\"#243431\">MainActivity</text>\n</a>\n</g>\n</g>\n<!-- g37s122&#45;&gt;g24s69 -->\n<g id=\"edge11\" class=\"edge\">\n<title>g37s122&#45;&gt;g24s69</title>\n<g id=\"a_edge11\"><a xlink:href=\"#event:g37e507:2091\" xlink:title=\"activity_background ×1\">\n<path fill=\"none\" stroke=\"#26728f\" stroke-width=\"2\" d=\"M93.86,-178.96C144.09,-192.25 223.17,-213.65 236,-220 250.07,-226.96 264.18,-237.13 275.57,-246.32\"/>\n<polygon fill=\"#26728f\" stroke=\"#26728f\" stroke-width=\"2\" points=\"274.48,-247.91 279.95,-249.91 276.92,-244.94 274.48,-247.91\"/>\n</a>\n</g>\n<g id=\"a_edge11&#45;label\"><a xlink:href=\"#event:g37e507:2091\" xlink:title=\"activity_background ×1\">\n<text text-anchor=\"middle\" x=\"181.5\" y=\"-222.8\" font-family=\"DejaVu Sans\" font-size=\"9.00\">activity_background ×1</text>\n</a>\n</g>\n</g>\n<!-- g37s122&#45;&gt;g24s69 -->\n<g id=\"edge12\" class=\"edge\">\n<title>g37s122&#45;&gt;g24s69</title>\n<g id=\"a_edge12\"><a xlink:href=\"#event:g37e510:2093\" xlink:title=\"Add Activity ×1\">\n<path fill=\"none\" stroke=\"#26728f\" stroke-width=\"2\" d=\"M93.52,-165.61C140.15,-163.65 212.4,-163.01 236,-176 263.14,-190.94 281.28,-222.89 291.11,-244.91\"/>\n<polygon fill=\"#26728f\" stroke=\"#26728f\" stroke-width=\"2\" points=\"289.37,-245.72 293.32,-250 292.9,-244.19 289.37,-245.72\"/>\n</a>\n</g>\n<g id=\"a_edge12&#45;label\"><a xlink:href=\"#event:g37e510:2093\" xlink:title=\"Add Activity ×1\">\n<text text-anchor=\"middle\" x=\"181.5\" y=\"-178.8\" font-family=\"DejaVu Sans\" font-size=\"9.00\">Add Activity ×1</text>\n</a>\n</g>\n</g>\n<!-- g48s171 -->\n<g id=\"state&#45;g48s171\" class=\"node\">\n<title>g48s171</title>\n<g id=\"a_state&#45;g48s171\"><a xlink:href=\"#state:g48s171\" xlink:title=\"g48s171\\nMainActivity\">\n<path fill=\"#d5e3ed\" stroke=\"#829291\" d=\"M81.5,-136C81.5,-136 20.5,-136 20.5,-136 14.5,-136 8.5,-130 8.5,-124 8.5,-124 8.5,-112 8.5,-112 8.5,-106 14.5,-100 20.5,-100 20.5,-100 81.5,-100 81.5,-100 87.5,-100 93.5,-106 93.5,-112 93.5,-112 93.5,-124 93.5,-124 93.5,-130 87.5,-136 81.5,-136\"/>\n<text text-anchor=\"middle\" x=\"51\" y=\"-121.2\" font-family=\"DejaVu Sans\" font-size=\"11.00\" fill=\"#243431\">g48s171</text>\n<text text-anchor=\"middle\" x=\"51\" y=\"-109.2\" font-family=\"DejaVu Sans\" font-size=\"11.00\" fill=\"#243431\">MainActivity</text>\n</a>\n</g>\n</g>\n<!-- g48s171&#45;&gt;g24s69 -->\n<g id=\"edge10\" class=\"edge\">\n<title>g48s171&#45;&gt;g24s69</title>\n<g id=\"a_edge10\"><a xlink:href=\"#event:g48e786:2047\" xlink:title=\"activity_background ×1\">\n<path fill=\"none\" stroke=\"#26728f\" stroke-width=\"2\" d=\"M93.87,-124.57C146.37,-132.95 230.24,-146.85 236,-151 267.58,-173.73 285.28,-217.03 293.71,-244.11\"/>\n<polygon fill=\"#26728f\" stroke=\"#26728f\" stroke-width=\"2\" points=\"291.94,-244.91 295.37,-249.62 295.63,-243.8 291.94,-244.91\"/>\n</a>\n</g>\n<g id=\"a_edge10&#45;label\"><a xlink:href=\"#event:g48e786:2047\" xlink:title=\"activity_background ×1\">\n<text text-anchor=\"middle\" x=\"181.5\" y=\"-153.8\" font-family=\"DejaVu Sans\" font-size=\"9.00\">activity_background ×1</text>\n</a>\n</g>\n</g>\n<!-- g48s171&#45;&gt;g24s69 -->\n<g id=\"edge17\" class=\"edge\">\n<title>g48s171&#45;&gt;g24s69</title>\n<g id=\"a_edge17\"><a xlink:href=\"#event:g48e783:2347\" xlink:title=\"Add Activity ×1\">\n<path fill=\"none\" stroke=\"#26728f\" stroke-width=\"2\" d=\"M93.73,-105.77C133.67,-96.7 193.89,-90.18 236,-118 278.77,-146.25 293.05,-209.55 297.75,-244.21\"/>\n<polygon fill=\"#26728f\" stroke=\"#26728f\" stroke-width=\"2\" points=\"295.87,-244.71 298.47,-249.92 299.69,-244.22 295.87,-244.71\"/>\n</a>\n</g>\n<g id=\"a_edge17&#45;label\"><a xlink:href=\"#event:g48e783:2347\" xlink:title=\"Add Activity ×1\">\n<text text-anchor=\"middle\" x=\"181.5\" y=\"-120.8\" font-family=\"DejaVu Sans\" font-size=\"9.00\">Add Activity ×1</text>\n</a>\n</g>\n</g>\n<!-- g49s185 -->\n<g id=\"state&#45;g49s185\" class=\"node\">\n<title>g49s185</title>\n<g id=\"a_state&#45;g49s185\"><a xlink:href=\"#state:g49s185\" xlink:title=\"g49s185\\nMainActivity\">\n<path fill=\"#d5e3ed\" stroke=\"#829291\" d=\"M81.5,-86C81.5,-86 20.5,-86 20.5,-86 14.5,-86 8.5,-80 8.5,-74 8.5,-74 8.5,-62 8.5,-62 8.5,-56 14.5,-50 20.5,-50 20.5,-50 81.5,-50 81.5,-50 87.5,-50 93.5,-56 93.5,-62 93.5,-62 93.5,-74 93.5,-74 93.5,-80 87.5,-86 81.5,-86\"/>\n<text text-anchor=\"middle\" x=\"51\" y=\"-71.2\" font-family=\"DejaVu Sans\" font-size=\"11.00\" fill=\"#243431\">g49s185</text>\n<text text-anchor=\"middle\" x=\"51\" y=\"-59.2\" font-family=\"DejaVu Sans\" font-size=\"11.00\" fill=\"#243431\">MainActivity</text>\n</a>\n</g>\n</g>\n<!-- g49s185&#45;&gt;g24s69 -->\n<g id=\"edge13\" class=\"edge\">\n<title>g49s185&#45;&gt;g24s69</title>\n<g id=\"a_edge13\"><a xlink:href=\"#event:g50e997:2217\" xlink:title=\"Add Activity ×1\">\n<path fill=\"none\" stroke=\"#26728f\" stroke-width=\"2\" d=\"M93.52,-59.72C134.15,-54.11 195.64,-52.59 236,-84 286.24,-123.11 297.2,-204.19 299.48,-244.37\"/>\n<polygon fill=\"#26728f\" stroke=\"#26728f\" stroke-width=\"2\" points=\"297.57,-244.6 299.76,-249.99 301.41,-244.41 297.57,-244.6\"/>\n</a>\n</g>\n<g id=\"a_edge13&#45;label\"><a xlink:href=\"#event:g50e997:2217\" xlink:title=\"Add Activity ×1\">\n<text text-anchor=\"middle\" x=\"181.5\" y=\"-86.8\" font-family=\"DejaVu Sans\" font-size=\"9.00\">Add Activity ×1</text>\n</a>\n</g>\n</g>\n<!-- g50s196 -->\n<g id=\"state&#45;g50s196\" class=\"node\">\n<title>g50s196</title>\n<g id=\"a_state&#45;g50s196\"><a xlink:href=\"#state:g50s196\" xlink:title=\"g50s196\\nMainActivity\">\n<path fill=\"#d5e3ed\" stroke=\"#829291\" d=\"M81.5,-36C81.5,-36 20.5,-36 20.5,-36 14.5,-36 8.5,-30 8.5,-24 8.5,-24 8.5,-12 8.5,-12 8.5,-6 14.5,0 20.5,0 20.5,0 81.5,0 81.5,0 87.5,0 93.5,-6 93.5,-12 93.5,-12 93.5,-24 93.5,-24 93.5,-30 87.5,-36 81.5,-36\"/>\n<text text-anchor=\"middle\" x=\"51\" y=\"-21.2\" font-family=\"DejaVu Sans\" font-size=\"11.00\" fill=\"#243431\">g50s196</text>\n<text text-anchor=\"middle\" x=\"51\" y=\"-9.2\" font-family=\"DejaVu Sans\" font-size=\"11.00\" fill=\"#243431\">MainActivity</text>\n</a>\n</g>\n</g>\n<!-- g50s196&#45;&gt;g24s69 -->\n<g id=\"edge15\" class=\"edge\">\n<title>g50s196&#45;&gt;g24s69</title>\n<g id=\"a_edge15\"><a xlink:href=\"#event:g50e1025:2297\" xlink:title=\"Add Activity ×1\">\n<path fill=\"none\" stroke=\"#26728f\" stroke-width=\"2\" d=\"M93.78,-11.65C134.9,-7.89 197.03,-9.21 236,-43 266.65,-69.58 288.44,-191.72 296.53,-244.07\"/>\n<polygon fill=\"#26728f\" stroke=\"#26728f\" stroke-width=\"2\" points=\"294.67,-244.66 297.41,-249.8 298.48,-244.08 294.67,-244.66\"/>\n</a>\n</g>\n<g id=\"a_edge15&#45;label\"><a xlink:href=\"#event:g50e1025:2297\" xlink:title=\"Add Activity ×1\">\n<text text-anchor=\"middle\" x=\"181.5\" y=\"-45.8\" font-family=\"DejaVu Sans\" font-size=\"9.00\">Add Activity ×1</text>\n</a>\n</g>\n</g>\n</g>\n</svg>\n","graph_tree":"<svg width=\"123pt\" height=\"79pt\"\n viewBox=\"0.00 0.00 123.20 79.20\" xmlns=\"http://www.w3.org/2000/svg\" xmlns:xlink=\"http://www.w3.org/1999/xlink\">\n<g id=\"graph0\" class=\"graph\" transform=\"scale(1 1) rotate(0) translate(21.6 57.6)\">\n<title>G</title>\n<!-- g24s69 -->\n<g id=\"state&#45;g24s69\" class=\"node\">\n<title>g24s69</title>\n<g id=\"a_state&#45;g24s69\"><a xlink:href=\"#state:g24s69\" xlink:title=\"g24s69\\nEditActivity\">\n<path fill=\"#e6b455\" stroke=\"#829291\" d=\"M68,-36C68,-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 68,0 68,0 74,0 80,-6 80,-12 80,-12 80,-24 80,-24 80,-30 74,-36 68,-36\"/>\n<text text-anchor=\"middle\" x=\"40\" y=\"-21.2\" font-family=\"DejaVu Sans\" font-size=\"11.00\" fill=\"#243431\">g24s69</text>\n<text text-anchor=\"middle\" x=\"40\" y=\"-9.2\" font-family=\"DejaVu Sans\" font-size=\"11.00\" fill=\"#243431\">EditActivity</text>\n</a>\n</g>\n</g>\n</g>\n</svg>\n"}