{ "app": "omninotes", "condition": "startlux-p1-fixab-9a5b577", "reference": true, "run_id": "run_6fbac6f1f5c740a38f6336c65e9fb5aa", "step": 371, "elapsed_s": "602.04", "selection": { "event": "SELECTION_DECISION", "step": 371, "monotonic_ns": 1777876096903040, "wall_time_ms": 1793888828506, "abstraction_version": 11, "state_id": "g0s1", "model_action_id": "g0a6", "snapshot_reason": "selection", "state_visits": 9, "state_first_seen": 2, "state_last_seen": 371, "state_saturated": false, "state_saturation": 0.6, "native_state_saturated": false, "native_unsaturated_model_action_count": 4, "model_action_count": 10, "enabled_valid_action_count": 10, "unsaturated_model_action_count": 4, "unvisited_model_action_count": 4, "effective_unvisited_model_action_count": 4, "effective_state_saturated": false, "local_probe_action_count": 0, "navigation_action_count": 4, "enabled_valid_unvisited_action_count": 4, "unvisited_model_action_ids": "g0a8,g0a9,g0a11,g0a13", "selection_strategy": "EARLY_STAGE", "selection_context": "navigation", "selection_buffer_size_after": 1, "selected_model_action_type": "MODEL_CLICK", "selected_model_action_saturated": true, "selected_model_action_unvisited": false, "selected_effective_unvisited": false, "selected_navigation_target": false, "selected_model_action_visits": 3, "selected_action_fingerprint": "type=MODEL_CLICK|activity=it.feio.android.omninotes.MainActivity|class=android.widget.Button|text=|resource_id=it.feio.android.omninotes:id/menu_sort|bounds=2168,73,2295,199", "selected_resolved_node_count": 1 }, "inputs": [ { "input_id": "input-2030", "step": "371", "version": "11", "elapsed_s": "602.04", "wall_time_ms": "1793888828506", "next_input_wall_ms": "1793888828508", "input_completed_wall_ms": "1793888828540", "input_confirmed": "True", "action": "MODEL_CLICK Sort", "action_type": "MODEL_CLICK", "text": "", "content_desc": "Sort", "resource_id": "it.feio.android.omninotes:id/menu_sort", "model_action_id": "g0a6", "concrete_identity": "MODEL_CLICK|/*[@class=\"android.widget.FrameLayout\"][@resource-id=\"\"][@text=\"\"][@content-desc=\"\"][@index=0][@enabled='true'][@clickable='false'][@checkable='false'][@long-clickable='false'][@scrollable='false']/*[@class=\"androidx.drawerlayout.widget.DrawerLayout\"][@resource-id=\"it.feio.android.omninotes:id/drawer_layout\"][@text=\"\"][@content-desc=\"\"][@index=0][@enabled='true'][@clickable='false'][@checkable='false'][@long-clickable='false'][@scrollable='false']/*[@class=\"android.widget.RelativeLayout\"][@resource-id=\"\"][@text=\"\"][@content-desc=\"\"][@index=0][@enabled='true'][@clickable='false'][@checkable='false'][@long-clickable='false'][@scrollable='false']/*[@class=\"android.widget.Button\"][@resource-id=\"it.feio.android.omninotes:id/menu_sort\"][@text=\"\"][@content-desc=\"Sort\"][@index=3][@enabled='true'][@clickable='true'][@checkable='false'][@long-clickable='true'][@scrollable='false'][@enabled='true'][@clickable='true'][@checkable='false'][@long-clickable='true'][@scrollable='false']", "state_id": "g0s1", "source_gui_id": "464", "activity": "it.feio.android.omninotes.MainActivity", "activity_evidence": "GUI receipt", "labels": "[\"#d8decfbf\",\"Notes\",\"Search\",\"Sort\",\"More options\",\"Nothing here!\",\"#d5080791\"]", "probe": "False", "strategy": "EARLY_STAGE", "context": "navigation", "native_branch": "EARLY_STAGE: ABA/backward/other (NA finer branch)", "executor_ref": "[WORKSPACE]/experiments/guitaboo_fixab_omni_rep2_20261105T2218/formal-runs/platform-managed/run_6fbac6f1f5c740a38f6336c65e9fb5aa/attempt_e1ae2d0788964ba388c1bbf9ff388966/raw/device-output/executor.log:27497", "observed_methods_until_next": "0", "category_counts": "{}", "inventory_ref": "[WORKSPACE]/experiments/guitaboo_fixab_omni_rep2_20261105T2218/formal-runs/platform-managed/run_6fbac6f1f5c740a38f6336c65e9fb5aa/attempt_e1ae2d0788964ba388c1bbf9ff388966/raw/device-output/native/sata-it.feio.android.omninotes-ape-sata-running-minutes-60/jev-audit/inputs/generated-2031.json" }, { "input_id": "other-2033", "step": "371", "version": "11", "elapsed_s": "602.042", "wall_time_ms": "1793888828508", "next_input_wall_ms": "1793888855032", "input_completed_wall_ms": "NA", "input_confirmed": "False", "action": "FUZZ FUZZ", "action_type": "FUZZ", "text": "NA", "content_desc": "NA", "resource_id": "NA", "model_action_id": "NA", "concrete_identity": "NA", "state_id": "g0s1", "source_gui_id": "NA", "activity": "it.feio.android.omninotes.MainActivity", "activity_evidence": "NA", "labels": "NA", "probe": "False", "strategy": "EARLY_STAGE", "context": "navigation", "native_branch": "EARLY_STAGE: ABA/backward/other (NA finer branch)", "executor_ref": "[WORKSPACE]/experiments/guitaboo_fixab_omni_rep2_20261105T2218/formal-runs/platform-managed/run_6fbac6f1f5c740a38f6336c65e9fb5aa/attempt_e1ae2d0788964ba388c1bbf9ff388966/raw/device-output/executor.log:27497", "observed_methods_until_next": "2", "category_counts": "{\"third_party\":2}", "inventory_ref": "[WORKSPACE]/experiments/guitaboo_fixab_omni_rep2_20261105T2218/formal-runs/platform-managed/run_6fbac6f1f5c740a38f6336c65e9fb5aa/attempt_e1ae2d0788964ba388c1bbf9ff388966/raw/device-output/native/sata-it.feio.android.omninotes-ape-sata-running-minutes-60/jev-audit/inputs/generated-2035.json" }, { "input_id": "other-2039", "step": "371", "version": "11", "elapsed_s": "628.566", "wall_time_ms": "1793888855032", "next_input_wall_ms": "1793888857762", "input_completed_wall_ms": "NA", "input_confirmed": "False", "action": "EVENT_START EVENT_START", "action_type": "EVENT_START", "text": "NA", "content_desc": "NA", "resource_id": "NA", "model_action_id": "NA", "concrete_identity": "NA", "state_id": "g0s1", "source_gui_id": "NA", "activity": "it.feio.android.omninotes.MainActivity", "activity_evidence": "NA", "labels": "NA", "probe": "False", "strategy": "EARLY_STAGE", "context": "navigation", "native_branch": "EARLY_STAGE: ABA/backward/other (NA finer branch)", "executor_ref": "[WORKSPACE]/experiments/guitaboo_fixab_omni_rep2_20261105T2218/formal-runs/platform-managed/run_6fbac6f1f5c740a38f6336c65e9fb5aa/attempt_e1ae2d0788964ba388c1bbf9ff388966/raw/device-output/executor.log:27497", "observed_methods_until_next": "0", "category_counts": "{}", "inventory_ref": "[WORKSPACE]/experiments/guitaboo_fixab_omni_rep2_20261105T2218/formal-runs/platform-managed/run_6fbac6f1f5c740a38f6336c65e9fb5aa/attempt_e1ae2d0788964ba388c1bbf9ff388966/raw/device-output/native/sata-it.feio.android.omninotes-ape-sata-running-minutes-60/jev-audit/inputs/generated-2041.json" } ], "following_transition": {}, "first_methods_since_inputs": [ { "method": "", "wall_time_ms": "1793888829388.0", "log_line": "38276", "category": "third_party", "library": "AndroidX", "elapsed_s": "602.922", "input_id": "other-2033", "step": "371", "action": "FUZZ FUZZ", "input_source": "[WORKSPACE]/experiments/guitaboo_fixab_omni_rep2_20261105T2218/formal-runs/platform-managed/run_6fbac6f1f5c740a38f6336c65e9fb5aa/attempt_e1ae2d0788964ba388c1bbf9ff388966/raw/device-output/native/sata-it.feio.android.omninotes-ape-sata-running-minutes-60/jev-audit/inputs/generated-2035.json", "method_log_ref": "[WORKSPACE]/experiments/guitaboo_fixab_omni_rep2_20261105T2218/formal-runs/platform-managed/run_6fbac6f1f5c740a38f6336c65e9fb5aa/attempt_e1ae2d0788964ba388c1bbf9ff388966/raw/device-output/method-logcat.log:38276" }, { "method": "", "wall_time_ms": "1793888853855.0", "log_line": "38522", "category": "third_party", "library": "AndroidX", "elapsed_s": "627.389", "input_id": "other-2033", "step": "371", "action": "FUZZ FUZZ", "input_source": "[WORKSPACE]/experiments/guitaboo_fixab_omni_rep2_20261105T2218/formal-runs/platform-managed/run_6fbac6f1f5c740a38f6336c65e9fb5aa/attempt_e1ae2d0788964ba388c1bbf9ff388966/raw/device-output/native/sata-it.feio.android.omninotes-ape-sata-running-minutes-60/jev-audit/inputs/generated-2035.json", "method_log_ref": "[WORKSPACE]/experiments/guitaboo_fixab_omni_rep2_20261105T2218/formal-runs/platform-managed/run_6fbac6f1f5c740a38f6336c65e9fb5aa/attempt_e1ae2d0788964ba388c1bbf9ff388966/raw/device-output/method-logcat.log:38522" } ], "first_method_count": 2, "category_counts": { "third_party": 2 }, "libraries": { "AndroidX": 2 }, "source_screenshot": { "local": "cases/run_6fbac6f1f5c740a38f6336c65e9fb5aa/run_6fbac6f1f5c740a38f6336c65e9fb5aa-step-371-before.png", "source": "[WORKSPACE]/experiments/guitaboo_fixab_omni_rep2_20261105T2218/formal-runs/platform-managed/run_6fbac6f1f5c740a38f6336c65e9fb5aa/attempt_e1ae2d0788964ba388c1bbf9ff388966/raw/device-output/native/sata-it.feio.android.omninotes-ape-sata-running-minutes-60/ape-state-screenshots/g0s1-2.png", "capture_step": 2, "requested_step": 371, "alignment": "same final-State representative; NOT an exact action-time screenshot" }, "target_screenshot": null, "executor_source": "[WORKSPACE]/experiments/guitaboo_fixab_omni_rep2_20261105T2218/formal-runs/platform-managed/run_6fbac6f1f5c740a38f6336c65e9fb5aa/attempt_e1ae2d0788964ba388c1bbf9ff388966/raw/device-output/executor.log:27497", "executor_lines": [ "[APE] >>>>>>>> SATA begin step [371][Elapsed: 0000 00:10:01]", "[APE] *** INFO *** Explored 6 app activities.", "[APE] *** INFO *** Used: 10 MB, Max: 192 MB, Available: 182 MB", "[APE] *** INFO *** Create state g0s1[2,369][8]it.feio.android.omninotes.MainActivity@-112169393@Naming[0]@[W=7][A=10] for GUI tree GUITree[464@0]@g0s1[2,369][8]it.feio.android.omninotes.MainActivity@-112169393@Naming[0]@[W=7][A=10]", "[APE] *** INFO *** Pre-checking under-abstracted states takes 0 ms", "[APE] *** INFO *** Check over-abstracted states g0s1[2,369][8]it.feio.android.omninotes.MainActivity@-112169393@Naming[0]@[W=7][A=10]: #0", "[APE] *** INFO *** Checking over-abstracted states takes 0 ms", "[APE] *** INFO *** Post-checking under-abstracted states takes 0 ms", "[APE] === Adding edge...", "[APE] Source: g11s79[366,370][3]it.feio.android.omninotes.MainActivity@267855428@Naming[0]@[W=3][A=3]", "[APE] Action: g11a742[366,370][2]@MODEL_CLICKclass=android.widget.LinearLayout;enabled=true;clickable=true;[P=58][T=0][][S=0.500000][RN=4][1763,347,2400,473][]", "[APE] Target: g0s1[2,371][9]it.feio.android.omninotes.MainActivity@-112169393@Naming[0]@[W=7][A=10]", "[APE] Add target result: false", "[APE] GSTG(g11): activities (5), states (69), edges (258), unvisited actions (404), visited actions (246)", "[APE] *** INFO *** - 0.37 5 it.feio.android.omninotes.CategoryActivity[14,149][13][S=5]", "[APE] *** INFO *** - 0.50 13 it.feio.android.omninotes.SettingsActivity[44,159][90][S=13]", "[APE] *** INFO *** - 0.34 39 it.feio.android.omninotes.MainActivity[1,371][189][S=39]", "[APE] *** INFO *** - 0.46 10 it.feio.android.omninotes.intro.IntroActivity[72,103][61][S=10]", "[APE] *** INFO *** - 0.37 2 it.feio.android.omninotes.PasswordActivity[207,277][71][S=2]", "[APE] GSTG is NOT updated.", "[APE] GSTG state is changed.", "[APE] Graph Stable Counter: graph (2), state (0), activity (7)", "[APE] Sata Strategy: buffer size (0)", "[APE] 0 TRIVIAL_ACTIVITY", "[APE] 0 SATURATED_STATE", "[APE] 0 USE_BUFFER", "[APE] 291 EARLY_STAGE", "[APE] 78 EPSILON_GREEDY", "[APE] 0 RANDOM", "[APE] 0 NULL", "[APE] 14 BUFFER_LOSS", "[APE] 57 FILL_BUFFER", "[APE] 0 BAD_STATE", "[APE] 1 PROBE", "[APE] 1 g0a4[41,41][1]@MODEL_CLICKclass=android.widget.ImageButton;enabled=true;clickable=true;[P=42][T=0][][S=1.000000][RN=1][0,63,147,210][#d8decfbf]", "[APE] 2 g0a5[4,4][1]@MODEL_CLICKclass=android.widget.Button;resource-id=it.feio.android.omninotes:id/menu_search;enabled=true;clickable=true;[P=42][T=0][][S=1.000000][RN=1][2041,73,2168,199][]", "[APE] 3 g0a6[365,369][3]@MODEL_CLICKclass=android.widget.Button;resource-id=it.feio.android.omninotes:id/menu_sort;enabled=true;clickable=true;long-clickable=true;[P=42][T=0][][S=1.000000][RN=1][2168,73,2295,199][]", "[APE] 4 g0a7[2,2][1]@MODEL_LONG_CLICKclass=android.widget.Button;resource-id=it.feio.android.omninotes:id/menu_sort;enabled=true;clickable=true;long-clickable=true;[P=26][T=0][][S=1.000000][RN=1][2168,73,2295,199][]", "[APE] 5 g0a8[-1,0][0]@MODEL_CLICKclass=android.widget.ImageView;enabled=true;clickable=true;long-clickable=true;[P=52][T=200][, UNVISITED][S=0.000000][RN=1][2295,73,2400,199][]", "[APE] 6 g0a9[-1,0][0]@MODEL_LONG_CLICKclass=android.widget.ImageView;enabled=true;clickable=true;long-clickable=true;[P=36][T=200][, UNVISITED][S=0.000000][RN=1][2295,73,2400,199][]", "[APE] 7 g0a10[3,3][1]@MODEL_CLICKclass=android.widget.TextView;resource-id=it.feio.android.omninotes:id/empty_list;enabled=true;clickable=true;[P=42][T=0][][S=1.000000][RN=1][1040,480,1360,746][Nothing ]", "[APE] 8 g0a11[-1,0][0]@MODEL_CLICKclass=android.widget.ImageButton;resource-id=it.feio.android.omninotes:id/fab_expand_menu_button;enabled=true;clickable=true;long-clickable=true;[P=52][T=200][, UNVISITED][S=0.000000][RN=1][2185,802,2379,996][#d5080791]", "[APE] 9 g0a12[160,160][1]@MODEL_LONG_CLICKclass=android.widget.ImageButton;resource-id=it.feio.android.omninotes:id/fab_expand_menu_button;enabled=true;clickable=true;long-clickable=true;[P=26][T=0][][S=1.000000][RN=1][2185,802,2379,996][#d5080791]", "[APE] 10 g0a13[-1,0][0]@MODEL_BACKg0s1[2,371][9]it.feio.android.omninotes.MainActivity@-112169393@Naming[0]@[W=7][A=10][P=13][T=200][, UNVISITED]", "[APE] *** INFO *** Check global actions.", "[APE] *** INFO *** - g0a8[-1,0][0]@MODEL_CLICKclass=android.widget.ImageView;enabled=true;clickable=true;long-clickable=true;[P=52][T=200][, UNVISITED][S=0.000000][RN=1][2295,73,2400,199][]", "[APE] *** INFO *** Check A*BA->B, try to move from A to B.", "[APE] *** INFO *** > - A: g0s1[2,371][9]it.feio.android.omninotes.MainActivity@-112169393@Naming[0]@[W=7][A=10]", "[APE] *** INFO *** > - B: g11s79[366,370][3]it.feio.android.omninotes.MainActivity@267855428@Naming[0]@[W=3][A=3]", "[APE] *** INFO *** Move from A (g0s1[2,371][9]it.feio.android.omninotes.MainActivity@-112169393@Naming[0]@[W=7][A=10]) to B (g11s79[366,370][3]it.feio.android.omninotes.MainActivity@267855428@Naming[0]@[W=3][A=3]).", "[APE] *** INFO *** Try to find a path (1/1) to a greedy state that we want to greedily visit in ABA.", "[APE] 1 (g0s1,g0a6,g11s79)", "[APE] *** INFO *** Move from A (g0s1[2,371][9]it.feio.android.omninotes.MainActivity@-112169393@Naming[0]@[W=7][A=10]) to B (g11s79[366,370][3]it.feio.android.omninotes.MainActivity@267855428@Naming[0]@[W=3][A=3]).", "[APE] *** INFO *** Fill buffer..", "[APE] *** INFO *** 0 g11e255[419,423][3]@[H(3),M(0),T(0.000000)] g0s1 =[g0a6]=> g11s79", "[APE] *** INFO *** Move from A (g0s1[2,371][9]it.feio.android.omninotes.MainActivity@-112169393@Naming[0]@[W=7][A=10]) to B (g11s79[366,370][3]it.feio.android.omninotes.MainActivity@267855428@Naming[0]@[W=3][A=3]) for ABA within 1 steps that start from action g0a6[365,369][3]@MODEL_CLICKclass=android.widget.Button;resource-id=it.feio.android.omninotes:id/menu_sort;enabled=true;clickable=true;long-clickable=true;[P=42][T=200][][S=1.000000][RN=1][2168,73,2295,199][]", "[APE] *** INFO *** Select action g0a6[365,369][3]@MODEL_CLICKclass=android.widget.Button;resource-id=it.feio.android.omninotes:id/menu_sort;enabled=true;clickable=true;long-clickable=true;[P=42][T=200][][S=1.000000][RN=1][2168,73,2295,199][] by strategy EARLY_STAGE", "[APE] Last state: g0s1[2,371][9]it.feio.android.omninotes.MainActivity@-112169393@Naming[0]@[W=7][A=10]", "[APE] Last action: g0a6[365,371][4]@MODEL_CLICKclass=android.widget.Button;resource-id=it.feio.android.omninotes:id/menu_sort;enabled=true;clickable=true;long-clickable=true;[P=42][T=200][][S=1.000000][RN=1][2168,73,2295,199][]", "[APE] Curr state: g11s79[366,370][3]it.feio.android.omninotes.MainActivity@267855428@Naming[0]@[W=3][A=3]", "[APE] Curr action: g11a742[366,370][2]@MODEL_CLICKclass=android.widget.LinearLayout;enabled=true;clickable=true;[P=58][T=0][][S=0.500000][RN=4][1763,347,2400,473][]", "[APE] New state: g0s1[2,371][9]it.feio.android.omninotes.MainActivity@-112169393@Naming[0]@[W=7][A=10]", "[APE] New action: g0a6[365,371][4]@MODEL_CLICKclass=android.widget.Button;resource-id=it.feio.android.omninotes:id/menu_sort;enabled=true;clickable=true;long-clickable=true;[P=42][T=200][][S=1.000000][RN=1][2168,73,2295,199][]", "[APE] >>>>>>>> SATA end step [371]", "[APE] *** INFO *** EXECUTE action_fp=type=MODEL_CLICK|activity=it.feio.android.omninotes.MainActivity|class=android.widget.Button|text=|resource_id=it.feio.android.omninotes:id/menu_sort|bounds=2168,73,2295,199 target_fp=activity=it.feio.android.omninotes.MainActivity|class=android.widget.Button|text=|resource_id=it.feio.android.omninotes:id/menu_sort action=g0a6[365,371][4]@MODEL_CLICKclass=android.widget.Button;resource-id=it.feio.android.omninotes:id/menu_sort;enabled=true;clickable=true;long-clickable=true;[P=42][T=200][][S=1.000000][RN=1][2168,73,2295,199][]", "[APE] *** INFO *** Fuzzing: generate major navigation events.", "[APE] *** INFO *** Fuzzing: generate random click.", "[APE] *** INFO *** Fuzzing: generate rotation events.", "[APE] *** INFO *** Fuzzing: generate pinch or zoom.", "[APE] *** INFO *** Fuzzing: generate major navigation events.", "[APE] *** INFO *** Fuzzing: generate major navigation events.", "[APE] *** INFO *** Fuzzing: generate major navigation events.", "[APE] *** INFO *** Fuzzing: generate major navigation events.", "[APE] *** INFO *** Fuzzing: generate system key events.", "[APE] *** INFO *** Fuzzing: generate system key events.", "[APE] *** INFO *** Fuzzing: generate system key events.", "[APE] *** INFO *** Fuzzing: generate drag.", "[APE] *** INFO *** Fuzzing: generate app switch events.", "[APE] *** INFO *** Fuzzing: generate random click.", "[APE] *** INFO *** Fuzzing: action #11 events=40 total_events=207", "[APE] *** INFO *** Fuzzing: reset rotation.", ":Sending Touch (ACTION_DOWN): 0:(2231.5,136.0)", ":Sending Touch (ACTION_UP): 0:(2231.5,136.0)", ":Sending Trackball (ACTION_MOVE): 0:(-3.0,0.0)", ":Sending Trackball (ACTION_MOVE): 0:(1.0,-4.0)", ":Sending Trackball (ACTION_UP): 0:(0.0,0.0)", ":Sending Touch (ACTION_DOWN): 0:(1271.0,895.0)", ":Sending Touch (ACTION_UP): 0:(1271.0,895.0)", ":Sending rotation degree=3, persist=false", " //[calendar_time:2026-11-05 22:27:17.859 system_uptime:1777885450]", " // Sending event #2900", ":Sending Trackball (ACTION_MOVE): 0:(-1.0,3.0)", ":Sending Trackball (ACTION_MOVE): 0:(1.0,0.0)", ":Sending Trackball (ACTION_UP): 0:(0.0,0.0)", " // Rejecting start of Intent { act=android.media.action.IMAGE_CAPTURE cmp=com.android.camera2/com.android.camera.CaptureActivity } in package com.android.camera2", " // Allowing start of Intent { cmp=it.feio.android.omninotes/com.tbruyelle.rxpermissions.ShadowActivity } in package it.feio.android.omninotes", " // Rejecting start of Intent { act=android.content.pm.action.REQUEST_PERMISSIONS pkg=com.google.android.permissioncontroller cmp=com.google.android.permissioncontroller/com.android.permissioncontroller.permission.ui.GrantPermissionsActivity } in package com.google.android.permissioncontroller", " // activityResuming(it.feio.android.omninotes)", ":Sending Trackball (ACTION_MOVE): 0:(-2.0,0.0)", ":Sending Trackball (ACTION_MOVE): 0:(-3.0,-5.0)", ":Sending Trackball (ACTION_MOVE): 0:(-2.0,0.0)", ":Sending Touch (ACTION_DOWN): 0:(2274.0,922.0)", ":Sending Touch (ACTION_UP): 0:(2273.2441,960.22656)", "[APE] *** INFO *** Let's wait for activity loading...", ":Switch: #Intent;action=android.intent.action.MAIN;category=android.intent.category.LAUNCHER;launchFlags=0x10200000;component=it.feio.android.omninotes/.MainActivity;end", ":Switch with shell: it.feio.android.omninotes/.MainActivity", " // Allowing start of Intent { act=android.intent.action.MAIN cat=[android.intent.category.LAUNCHER] cmp=it.feio.android.omninotes/.MainActivity } in package it.feio.android.omninotes", "[APE] *** INFO *** Expected activity package [it.feio.android.omninotes] is loaded...", "[APE] *** INFO *** App Activity it.feio.android.omninotes.MainActivity started." ], "limitation": "Methods grouped by nearest preceding inventoried input; a FUZZ batch has no per-low-level-event timestamp. The following Transition may be absent; no business success is inferred." }