{
  "app": "omninotes",
  "condition": "startlux-p1-fixab-9a5b577",
  "reference": true,
  "run_id": "run_6fbac6f1f5c740a38f6336c65e9fb5aa",
  "step": 295,
  "elapsed_s": "459.387",
  "selection": {
    "event": "SELECTION_DECISION",
    "step": 295,
    "monotonic_ns": 1777733443861833,
    "wall_time_ms": 1793888685853,
    "abstraction_version": 11,
    "state_id": "g11s64",
    "model_action_id": "g11a568",
    "snapshot_reason": "selection",
    "state_visits": 4,
    "state_first_seen": 278,
    "state_last_seen": 295,
    "state_saturated": false,
    "state_saturation": 0.27272728,
    "native_state_saturated": false,
    "native_unsaturated_model_action_count": 8,
    "model_action_count": 11,
    "enabled_valid_action_count": 11,
    "unsaturated_model_action_count": 8,
    "unvisited_model_action_count": 8,
    "effective_unvisited_model_action_count": 8,
    "effective_state_saturated": false,
    "local_probe_action_count": 0,
    "navigation_action_count": 8,
    "enabled_valid_unvisited_action_count": 8,
    "unvisited_model_action_ids": "g11a561,g11a563,g11a565,g11a566,g11a568,g11a569,g11a570,g11a571",
    "selection_strategy": "EARLY_STAGE",
    "selection_context": "exploration",
    "selection_buffer_size_after": 0,
    "selected_model_action_type": "MODEL_LONG_CLICK",
    "selected_model_action_saturated": false,
    "selected_model_action_unvisited": true,
    "selected_effective_unvisited": true,
    "selected_navigation_target": true,
    "selected_model_action_visits": 0,
    "selected_action_fingerprint": "type=MODEL_LONG_CLICK|activity=it.feio.android.omninotes.MainActivity|class=android.widget.ImageButton|text=#d5080791|resource_id=it.feio.android.omninotes:id/fab_expand_menu_button|bounds=865,2122,1059,2316",
    "selected_resolved_node_count": 1
  },
  "inputs": [
    {
      "input_id": "input-1600",
      "step": "295",
      "version": "11",
      "elapsed_s": "459.387",
      "wall_time_ms": "1793888685853",
      "next_input_wall_ms": "1793888687786",
      "input_completed_wall_ms": "1793888686891",
      "input_confirmed": "True",
      "action": "MODEL_LONG_CLICK #d5080791",
      "action_type": "MODEL_LONG_CLICK",
      "text": "#d5080791",
      "content_desc": "",
      "resource_id": "it.feio.android.omninotes:id/fab_expand_menu_button",
      "model_action_id": "g11a568",
      "concrete_identity": "MODEL_LONG_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.view.ViewGroup\"][@resource-id=\"it.feio.android.omninotes:id/fab\"][@text=\"\"][@content-desc=\"\"][@index=7][@enabled='true'][@clickable='false'][@checkable='false'][@long-clickable='false'][@scrollable='false']/*[@class=\"android.widget.ImageButton\"][@resource-id=\"it.feio.android.omninotes:id/fab_expand_menu_button\"][@text=\"\"][@content-desc=\"\"][@index=6][@enabled='true'][@clickable='true'][@checkable='false'][@long-clickable='true'][@scrollable='false'][@enabled='true'][@clickable='true'][@checkable='false'][@long-clickable='true'][@scrollable='false']",
      "state_id": "g11s64",
      "source_gui_id": "379",
      "activity": "it.feio.android.omninotes.MainActivity",
      "activity_evidence": "exact source_gui_id transition receipt",
      "labels": "NA",
      "probe": "False",
      "strategy": "EARLY_STAGE",
      "context": "exploration",
      "native_branch": "Local Greedy",
      "executor_ref": "[WORKSPACE]/experiments/guitaboo_fixab_omni_rep2_20261105T2218/formal-runs/platform-managed/run_6fbac6f1f5c740a38f6336c65e9fb5aa/attempt_e1ae2d0788964ba388c1bbf9ff388966/raw/device-output/executor.log:21957",
      "observed_methods_until_next": "9",
      "category_counts": "{\"third_party\":9}",
      "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-1601.json"
    }
  ],
  "following_transition": {
    "event": "NATIVE_TRANSITION",
    "step": 296,
    "monotonic_ns": 1777735372308536,
    "wall_time_ms": 1793888687781,
    "abstraction_version": 11,
    "state_id": "g11s64",
    "model_action_id": "g11a568",
    "transition_id": "g11e200:289",
    "new_state": false,
    "new_model_action": false,
    "refinement": false,
    "self_loop": false,
    "activity_unchanged": true,
    "gui_unchanged": false,
    "target_state": "g10s51",
    "input_confirmed": true
  },
  "first_methods_since_inputs": [
    {
      "method": "<org.acra.sender.ReportSenderException: void <init>(java.lang.String,java.lang.Throwable)>",
      "wall_time_ms": "1793888686315.0",
      "log_line": "28358",
      "category": "third_party",
      "library": "ACRA",
      "elapsed_s": "459.849",
      "input_id": "input-1600",
      "step": "295",
      "action": "MODEL_LONG_CLICK #d5080791",
      "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-1601.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:28358"
    },
    {
      "method": "<org.acra.config.CoreConfiguration: java.lang.Class getRetryPolicyClass()>",
      "wall_time_ms": "1793888686316.0",
      "log_line": "28360",
      "category": "third_party",
      "library": "ACRA",
      "elapsed_s": "459.85",
      "input_id": "input-1600",
      "step": "295",
      "action": "MODEL_LONG_CLICK #d5080791",
      "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-1601.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:28360"
    },
    {
      "method": "<org.acra.config.DefaultRetryPolicy: boolean shouldRetrySend(java.util.List,java.util.List)>",
      "wall_time_ms": "1793888686316.0",
      "log_line": "28364",
      "category": "third_party",
      "library": "ACRA",
      "elapsed_s": "459.85",
      "input_id": "input-1600",
      "step": "295",
      "action": "MODEL_LONG_CLICK #d5080791",
      "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-1601.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:28364"
    },
    {
      "method": "<org.acra.config.DefaultRetryPolicy: void <init>()>",
      "wall_time_ms": "1793888686316.0",
      "log_line": "28363",
      "category": "third_party",
      "library": "ACRA",
      "elapsed_s": "459.85",
      "input_id": "input-1600",
      "step": "295",
      "action": "MODEL_LONG_CLICK #d5080791",
      "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-1601.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:28363"
    },
    {
      "method": "<org.acra.config.RetryPolicy$FailedSender: org.acra.sender.ReportSenderException getException()>",
      "wall_time_ms": "1793888686316.0",
      "log_line": "28365",
      "category": "third_party",
      "library": "ACRA",
      "elapsed_s": "459.85",
      "input_id": "input-1600",
      "step": "295",
      "action": "MODEL_LONG_CLICK #d5080791",
      "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-1601.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:28365"
    },
    {
      "method": "<org.acra.config.RetryPolicy$FailedSender: void <init>(org.acra.sender.ReportSender,org.acra.sender.ReportSenderException)>",
      "wall_time_ms": "1793888686316.0",
      "log_line": "28359",
      "category": "third_party",
      "library": "ACRA",
      "elapsed_s": "459.85",
      "input_id": "input-1600",
      "step": "295",
      "action": "MODEL_LONG_CLICK #d5080791",
      "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-1601.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:28359"
    },
    {
      "method": "<org.acra.sender.ReportDistributor$sendCrashReport$4: void <clinit>()>",
      "wall_time_ms": "1793888686316.0",
      "log_line": "28361",
      "category": "third_party",
      "library": "ACRA",
      "elapsed_s": "459.85",
      "input_id": "input-1600",
      "step": "295",
      "action": "MODEL_LONG_CLICK #d5080791",
      "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-1601.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:28361"
    },
    {
      "method": "<org.acra.sender.ReportDistributor$sendCrashReport$4: void <init>()>",
      "wall_time_ms": "1793888686316.0",
      "log_line": "28362",
      "category": "third_party",
      "library": "ACRA",
      "elapsed_s": "459.85",
      "input_id": "input-1600",
      "step": "295",
      "action": "MODEL_LONG_CLICK #d5080791",
      "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-1601.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:28362"
    },
    {
      "method": "<org.acra.config.CoreConfiguration: java.lang.String getReportSendFailureToast()>",
      "wall_time_ms": "1793888686317.0",
      "log_line": "28367",
      "category": "third_party",
      "library": "ACRA",
      "elapsed_s": "459.851",
      "input_id": "input-1600",
      "step": "295",
      "action": "MODEL_LONG_CLICK #d5080791",
      "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-1601.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:28367"
    }
  ],
  "first_method_count": 9,
  "category_counts": {
    "third_party": 9
  },
  "libraries": {
    "ACRA": 9
  },
  "source_screenshot": {
    "local": "cases/run_6fbac6f1f5c740a38f6336c65e9fb5aa/run_6fbac6f1f5c740a38f6336c65e9fb5aa-step-295-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/g11s64-278.png",
    "capture_step": 278,
    "requested_step": 295,
    "alignment": "same final-State representative; NOT an exact action-time screenshot"
  },
  "target_screenshot": {
    "local": "cases/run_6fbac6f1f5c740a38f6336c65e9fb5aa/run_6fbac6f1f5c740a38f6336c65e9fb5aa-step-295-after.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/g10s51-161.png",
    "capture_step": 161,
    "requested_step": 296,
    "alignment": "same final-State representative; NOT an exact action-time screenshot"
  },
  "executor_source": "[WORKSPACE]/experiments/guitaboo_fixab_omni_rep2_20261105T2218/formal-runs/platform-managed/run_6fbac6f1f5c740a38f6336c65e9fb5aa/attempt_e1ae2d0788964ba388c1bbf9ff388966/raw/device-output/executor.log:21957",
  "executor_lines": [
    "[APE] >>>>>>>> SATA begin step [295][Elapsed: 0000 00:07:39]",
    "[APE] *** INFO *** Explored 6 app activities.",
    "[APE] *** INFO *** Used: 11 MB, Max: 192 MB, Available: 181 MB",
    "[APE] *** INFO *** Create state g11s64[278,294][3]it.feio.android.omninotes.MainActivity@-407910822@Naming[0]@[W=7][A=11] for GUI tree GUITree[379@0]@g11s64[278,294][3]it.feio.android.omninotes.MainActivity@-407910822@Naming[0]@[W=7][A=11]",
    "[APE] *** INFO *** Pre-checking under-abstracted states takes 0 ms",
    "[APE] *** INFO *** Check over-abstracted states g11s64[278,294][3]it.feio.android.omninotes.MainActivity@-407910822@Naming[0]@[W=7][A=11]: #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: g11s64[278,295][4]it.feio.android.omninotes.MainActivity@-407910822@Naming[0]@[W=7][A=11]",
    "[APE]     Action: g11a564[294,294][1]@MODEL_LONG_CLICKclass=android.widget.Button;resource-id=it.feio.android.omninotes:id/menu_sort;enabled=true;clickable=true;long-clickable=true;[P=36][T=0][][S=1.000000][RN=1][848,73,975,199][]",
    "[APE]     Target: g11s64[278,295][4]it.feio.android.omninotes.MainActivity@-407910822@Naming[0]@[W=7][A=11]",
    "[APE]     Add target result: true",
    "[APE] GSTG(g11): activities (5), states (58), edges (200), unvisited actions (343), visited actions (190)",
    "[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.28  28 it.feio.android.omninotes.MainActivity[1,295][113][S=28]",
    "[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 updated.",
    "[APE] GSTG state is NOT changed.",
    "[APE] Graph Stable Counter: graph (0), state (1), activity (1)",
    "[APE] Sata Strategy: buffer size (0)",
    "[APE]      0  TRIVIAL_ACTIVITY",
    "[APE]      0  SATURATED_STATE",
    "[APE]      0  USE_BUFFER",
    "[APE]    215  EARLY_STAGE",
    "[APE]     78  EPSILON_GREEDY",
    "[APE]      0  RANDOM",
    "[APE]      0  NULL",
    "[APE]     11  BUFFER_LOSS",
    "[APE]     39  FILL_BUFFER",
    "[APE]      0  BAD_STATE",
    "[APE]      1  PROBE",
    "[APE]     1 g11a561[-1,0][0]@MODEL_CLICKclass=android.widget.ImageButton;enabled=true;clickable=true;[P=52][T=200][, UNVISITED][S=0.000000][RN=1][0,63,147,210][#d8decfbf]",
    "[APE]     2 g11a562[278,278][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][721,73,848,199][]",
    "[APE]     3 g11a563[-1,0][0]@MODEL_CLICKclass=android.widget.Button;resource-id=it.feio.android.omninotes:id/menu_sort;enabled=true;clickable=true;long-clickable=true;[P=52][T=200][, UNVISITED][S=0.000000][RN=1][848,73,975,199][]",
    "[APE]     4 g11a564[294,294][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][848,73,975,199][]",
    "[APE]     5 g11a565[-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][975,73,1080,199][]",
    "[APE]     6 g11a566[-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][975,73,1080,199][]",
    "[APE]     7 g11a567[292,292][1]@MODEL_CLICKclass=android.widget.ImageButton;resource-id=it.feio.android.omninotes:id/fab_expand_menu_button;enabled=true;clickable=true;long-clickable=true;[P=42][T=0][][S=1.000000][RN=1][865,2122,1059,2316][#d5080791]",
    "[APE]     8 g11a568[-1,0][0]@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=36][T=200][, UNVISITED][S=0.000000][RN=1][865,2122,1059,2316][#d5080791]",
    "[APE]     9 g11a569[-1,0][0]@MODEL_CLICKclass=android.widget.FrameLayout;resource-id=it.feio.android.omninotes:id/root;enabled=true;clickable=true;long-clickable=true;[P=52][T=200][, UNVISITED][S=0.000000][RN=1][21,231,1059,499][]",
    "[APE]    10 g11a570[-1,0][0]@MODEL_LONG_CLICKclass=android.widget.FrameLayout;resource-id=it.feio.android.omninotes:id/root;enabled=true;clickable=true;long-clickable=true;[P=36][T=200][, UNVISITED][S=0.000000][RN=1][21,231,1059,499][]",
    "[APE]    11 g11a571[-1,0][0]@MODEL_BACKg11s64[278,295][4]it.feio.android.omninotes.MainActivity@-407910822@Naming[0]@[W=7][A=11][P=13][T=200][, UNVISITED]",
    "[APE] *** INFO *** Check global actions.",
    "[APE] *** INFO *** - g11a565[-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][975,73,1080,199][]",
    "[APE] *** INFO *** - g11a566[-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][975,73,1080,199][]",
    "[APE] *** INFO *** Check A*BA->B, try to move from A to B.",
    "[APE] *** INFO *** > - A: g11s64[278,295][4]it.feio.android.omninotes.MainActivity@-407910822@Naming[0]@[W=7][A=11]",
    "[APE] *** INFO *** > - B: g11s64[278,295][4]it.feio.android.omninotes.MainActivity@-407910822@Naming[0]@[W=7][A=11]",
    "[APE] *** INFO *** Never move from a cold state (g11s64[278,295][4]it.feio.android.omninotes.MainActivity@-407910822@Naming[0]@[W=7][A=11]) to a hot state (g11s64[278,295][4]it.feio.android.omninotes.MainActivity@-407910822@Naming[0]@[W=7][A=11]) in ABA.",
    "[APE] *** INFO *** Find a greedy action in 0-step",
    "[APE] *** INFO *** Select action g11a568[-1,0][0]@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=36][T=200][, UNVISITED][S=0.000000][RN=1][865,2122,1059,2316][#d5080791] by strategy EARLY_STAGE",
    "[APE] Last  state: null",
    "[APE] Last action: null",
    "[APE] Curr  state: g11s64[278,295][4]it.feio.android.omninotes.MainActivity@-407910822@Naming[0]@[W=7][A=11]",
    "[APE] Curr action: g11a564[294,294][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][848,73,975,199][]",
    "[APE] New   state: g11s64[278,295][4]it.feio.android.omninotes.MainActivity@-407910822@Naming[0]@[W=7][A=11]",
    "[APE] New  action: g11a568[295,295][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=36][T=200][][S=0.000000][RN=1][865,2122,1059,2316][#d5080791]",
    "[APE] >>>>>>>> SATA end step [295]",
    "[APE] *** INFO *** EXECUTE action_fp=type=MODEL_LONG_CLICK|activity=it.feio.android.omninotes.MainActivity|class=android.widget.ImageButton|text=#d5080791|resource_id=it.feio.android.omninotes:id/fab_expand_menu_button|bounds=865,2122,1059,2316 target_fp=activity=it.feio.android.omninotes.MainActivity|class=android.widget.ImageButton|text=#d5080791|resource_id=it.feio.android.omninotes:id/fab_expand_menu_button action=g11a568[295,295][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=36][T=200][][S=0.000000][RN=1][865,2122,1059,2316][#d5080791]",
    ":Sending Touch (ACTION_DOWN): 0:(962.0,2219.0)",
    "    // 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 Touch (ACTION_UP): 0:(962.0,2219.0)"
  ],
  "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."
}
