{
  "app": "wikipedia",
  "condition": "PURE_APE",
  "reference": false,
  "run_id": "run_d0565bde10ff469e8313f11bfd92ab9f",
  "step": 756,
  "elapsed_s": "1227.58",
  "selection": {
    "event": "SELECTION_DECISION",
    "step": 756,
    "monotonic_ns": 1877023937209943,
    "wall_time_ms": 1793987977033,
    "abstraction_version": 25,
    "state_id": "g25s227",
    "model_action_id": "g25a2385",
    "snapshot_reason": "selection",
    "state_visits": 1,
    "state_first_seen": 756,
    "state_last_seen": 756,
    "state_saturated": false,
    "state_saturation": 0,
    "native_state_saturated": false,
    "native_unsaturated_model_action_count": 9,
    "model_action_count": 9,
    "enabled_valid_action_count": 9,
    "unsaturated_model_action_count": 9,
    "unvisited_model_action_count": 9,
    "effective_unvisited_model_action_count": 9,
    "effective_state_saturated": false,
    "local_probe_action_count": 0,
    "navigation_action_count": 9,
    "enabled_valid_unvisited_action_count": 9,
    "unvisited_model_action_ids": "g25a2385,g25a2386,g25a2387,g25a2388,g25a2389,g25a2390,g25a2391,g25a2392,g25a2393",
    "selection_strategy": "EARLY_STAGE",
    "selection_context": "exploration",
    "selection_buffer_size_after": 0,
    "selected_model_action_type": "MODEL_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_CLICK|activity=org.wikipedia.descriptions.DescriptionEditActivity|class=android.widget.ImageButton|text=#8f5578eb|resource_id=org.wikipedia:id/text_input_end_icon|bounds=912,603,1038,729",
    "selected_resolved_node_count": 1
  },
  "inputs": [
    {
      "input_id": "input-4001",
      "step": "756",
      "version": "25",
      "elapsed_s": "1227.58",
      "wall_time_ms": "1793987977034",
      "next_input_wall_ms": "1793987978008",
      "input_completed_wall_ms": "1793987977069",
      "input_confirmed": "True",
      "action": "MODEL_CLICK #8f5578eb",
      "action_type": "MODEL_CLICK",
      "text": "#8f5578eb",
      "content_desc": "Voice input",
      "resource_id": "org.wikipedia:id/text_input_end_icon",
      "model_action_id": "g25a2385",
      "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=\"android.widget.ScrollView\"][@resource-id=\"org.wikipedia:id/view_description_edit_scrollview\"][@text=\"\"][@content-desc=\"\"][@index=4][@enabled='true'][@clickable='false'][@checkable='false'][@long-clickable='false'][@scrollable='false']/*[@class=\"android.widget.ImageButton\"][@resource-id=\"org.wikipedia:id/text_input_end_icon\"][@text=\"\"][@content-desc=\"Voice input\"][@index=2][@enabled='true'][@clickable='true'][@checkable='true'][@long-clickable='false'][@scrollable='false'][@enabled='true'][@clickable='true'][@checkable='true'][@long-clickable='false'][@scrollable='false']",
      "state_id": "g25s227",
      "source_gui_id": "956",
      "activity": "org.wikipedia.descriptions.DescriptionEditActivity",
      "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-5app-1rep-baseline-comparison-20261107/analysis/evidence-zips/run_d0565bde10ff469e8313f11bfd92ab9f.zip!device-output/executor.log:66402",
      "observed_methods_until_next": "16",
      "category_counts": "{\"app_domain\":16}",
      "inventory_ref": "[WORKSPACE]/experiments/guitaboo-5app-1rep-baseline-comparison-20261107/analysis/evidence-zips/run_d0565bde10ff469e8313f11bfd92ab9f.zip!device-output/native/sata-org.wikipedia-ape-sata-running-minutes-60/jev-audit/inputs/generated-4002.json"
    }
  ],
  "following_transition": {
    "event": "NATIVE_TRANSITION",
    "step": 757,
    "monotonic_ns": 1877024857123338,
    "wall_time_ms": 1793987977953,
    "abstraction_version": 25,
    "state_id": "g25s227",
    "model_action_id": "g25a2385",
    "transition_id": "g25e642:752",
    "new_state": true,
    "new_model_action": true,
    "refinement": false,
    "self_loop": false,
    "target_state": "g25s228",
    "gui_unchanged": false,
    "input_confirmed": true,
    "execution_context_id": null,
    "source_gui_id": 956,
    "target_gui_id": 957
  },
  "first_methods_since_inputs": [
    {
      "method": "<org.wikipedia.descriptions.DescriptionEditView$$ExternalSyntheticLambda10: void onClick(android.view.View)>",
      "wall_time_ms": "1793987977070.0",
      "log_line": "134535",
      "category": "app_domain",
      "library": "app_domain",
      "elapsed_s": "1227.616",
      "input_id": "input-4001",
      "step": "756",
      "action": "MODEL_CLICK #8f5578eb",
      "input_source": "[WORKSPACE]/experiments/guitaboo-5app-1rep-baseline-comparison-20261107/analysis/evidence-zips/run_d0565bde10ff469e8313f11bfd92ab9f.zip!device-output/native/sata-org.wikipedia-ape-sata-running-minutes-60/jev-audit/inputs/generated-4002.json",
      "method_log_ref": "[WORKSPACE]/experiments/guitaboo-5app-1rep-baseline-comparison-20261107/analysis/evidence-zips/run_d0565bde10ff469e8313f11bfd92ab9f.zip!device-output/method-logcat.log:134535"
    },
    {
      "method": "<org.wikipedia.descriptions.DescriptionEditView: void $r8$lambda$UJR9yvcviAt-btNv9WGZKdiv4WY(org.wikipedia.descriptions.DescriptionEditView,android.view.View)>",
      "wall_time_ms": "1793987977070.0",
      "log_line": "134536",
      "category": "app_domain",
      "library": "app_domain",
      "elapsed_s": "1227.616",
      "input_id": "input-4001",
      "step": "756",
      "action": "MODEL_CLICK #8f5578eb",
      "input_source": "[WORKSPACE]/experiments/guitaboo-5app-1rep-baseline-comparison-20261107/analysis/evidence-zips/run_d0565bde10ff469e8313f11bfd92ab9f.zip!device-output/native/sata-org.wikipedia-ape-sata-running-minutes-60/jev-audit/inputs/generated-4002.json",
      "method_log_ref": "[WORKSPACE]/experiments/guitaboo-5app-1rep-baseline-comparison-20261107/analysis/evidence-zips/run_d0565bde10ff469e8313f11bfd92ab9f.zip!device-output/method-logcat.log:134536"
    },
    {
      "method": "<org.wikipedia.descriptions.DescriptionEditView: void setVoiceInput$lambda$8(org.wikipedia.descriptions.DescriptionEditView,android.view.View)>",
      "wall_time_ms": "1793987977070.0",
      "log_line": "134537",
      "category": "app_domain",
      "library": "app_domain",
      "elapsed_s": "1227.616",
      "input_id": "input-4001",
      "step": "756",
      "action": "MODEL_CLICK #8f5578eb",
      "input_source": "[WORKSPACE]/experiments/guitaboo-5app-1rep-baseline-comparison-20261107/analysis/evidence-zips/run_d0565bde10ff469e8313f11bfd92ab9f.zip!device-output/native/sata-org.wikipedia-ape-sata-running-minutes-60/jev-audit/inputs/generated-4002.json",
      "method_log_ref": "[WORKSPACE]/experiments/guitaboo-5app-1rep-baseline-comparison-20261107/analysis/evidence-zips/run_d0565bde10ff469e8313f11bfd92ab9f.zip!device-output/method-logcat.log:134537"
    },
    {
      "method": "<org.wikipedia.descriptions.DescriptionEditFragment$EditViewCallback: void onVoiceInputClick()>",
      "wall_time_ms": "1793987977071.0",
      "log_line": "134538",
      "category": "app_domain",
      "library": "app_domain",
      "elapsed_s": "1227.617",
      "input_id": "input-4001",
      "step": "756",
      "action": "MODEL_CLICK #8f5578eb",
      "input_source": "[WORKSPACE]/experiments/guitaboo-5app-1rep-baseline-comparison-20261107/analysis/evidence-zips/run_d0565bde10ff469e8313f11bfd92ab9f.zip!device-output/native/sata-org.wikipedia-ape-sata-running-minutes-60/jev-audit/inputs/generated-4002.json",
      "method_log_ref": "[WORKSPACE]/experiments/guitaboo-5app-1rep-baseline-comparison-20261107/analysis/evidence-zips/run_d0565bde10ff469e8313f11bfd92ab9f.zip!device-output/method-logcat.log:134538"
    },
    {
      "method": "<org.wikipedia.descriptions.DescriptionEditFragment: androidx.activity.result.ActivityResultLauncher access$getVoiceSearchLauncher$p(org.wikipedia.descriptions.DescriptionEditFragment)>",
      "wall_time_ms": "1793987977071.0",
      "log_line": "134539",
      "category": "app_domain",
      "library": "app_domain",
      "elapsed_s": "1227.617",
      "input_id": "input-4001",
      "step": "756",
      "action": "MODEL_CLICK #8f5578eb",
      "input_source": "[WORKSPACE]/experiments/guitaboo-5app-1rep-baseline-comparison-20261107/analysis/evidence-zips/run_d0565bde10ff469e8313f11bfd92ab9f.zip!device-output/native/sata-org.wikipedia-ape-sata-running-minutes-60/jev-audit/inputs/generated-4002.json",
      "method_log_ref": "[WORKSPACE]/experiments/guitaboo-5app-1rep-baseline-comparison-20261107/analysis/evidence-zips/run_d0565bde10ff469e8313f11bfd92ab9f.zip!device-output/method-logcat.log:134539"
    },
    {
      "method": "<org.wikipedia.descriptions.DescriptionEditFragment: void onPause()>",
      "wall_time_ms": "1793987977084.0",
      "log_line": "134541",
      "category": "app_domain",
      "library": "app_domain",
      "elapsed_s": "1227.63",
      "input_id": "input-4001",
      "step": "756",
      "action": "MODEL_CLICK #8f5578eb",
      "input_source": "[WORKSPACE]/experiments/guitaboo-5app-1rep-baseline-comparison-20261107/analysis/evidence-zips/run_d0565bde10ff469e8313f11bfd92ab9f.zip!device-output/native/sata-org.wikipedia-ape-sata-running-minutes-60/jev-audit/inputs/generated-4002.json",
      "method_log_ref": "[WORKSPACE]/experiments/guitaboo-5app-1rep-baseline-comparison-20261107/analysis/evidence-zips/run_d0565bde10ff469e8313f11bfd92ab9f.zip!device-output/method-logcat.log:134541"
    },
    {
      "method": "<org.wikipedia.descriptions.DescriptionEditFragment$$ExternalSyntheticLambda2: void onActivityResult(java.lang.Object)>",
      "wall_time_ms": "1793987977088.0",
      "log_line": "134552",
      "category": "app_domain",
      "library": "app_domain",
      "elapsed_s": "1227.634",
      "input_id": "input-4001",
      "step": "756",
      "action": "MODEL_CLICK #8f5578eb",
      "input_source": "[WORKSPACE]/experiments/guitaboo-5app-1rep-baseline-comparison-20261107/analysis/evidence-zips/run_d0565bde10ff469e8313f11bfd92ab9f.zip!device-output/native/sata-org.wikipedia-ape-sata-running-minutes-60/jev-audit/inputs/generated-4002.json",
      "method_log_ref": "[WORKSPACE]/experiments/guitaboo-5app-1rep-baseline-comparison-20261107/analysis/evidence-zips/run_d0565bde10ff469e8313f11bfd92ab9f.zip!device-output/method-logcat.log:134552"
    },
    {
      "method": "<org.wikipedia.descriptions.DescriptionEditFragment: void $r8$lambda$_ADkTw7B6ePaqad4GImPmf6wlCk(org.wikipedia.descriptions.DescriptionEditFragment,androidx.activity.result.ActivityResult)>",
      "wall_time_ms": "1793987977088.0",
      "log_line": "134553",
      "category": "app_domain",
      "library": "app_domain",
      "elapsed_s": "1227.634",
      "input_id": "input-4001",
      "step": "756",
      "action": "MODEL_CLICK #8f5578eb",
      "input_source": "[WORKSPACE]/experiments/guitaboo-5app-1rep-baseline-comparison-20261107/analysis/evidence-zips/run_d0565bde10ff469e8313f11bfd92ab9f.zip!device-output/native/sata-org.wikipedia-ape-sata-running-minutes-60/jev-audit/inputs/generated-4002.json",
      "method_log_ref": "[WORKSPACE]/experiments/guitaboo-5app-1rep-baseline-comparison-20261107/analysis/evidence-zips/run_d0565bde10ff469e8313f11bfd92ab9f.zip!device-output/method-logcat.log:134553"
    },
    {
      "method": "<org.wikipedia.descriptions.DescriptionEditFragment: void voiceSearchLauncher$lambda$2(org.wikipedia.descriptions.DescriptionEditFragment,androidx.activity.result.ActivityResult)>",
      "wall_time_ms": "1793987977089.0",
      "log_line": "134554",
      "category": "app_domain",
      "library": "app_domain",
      "elapsed_s": "1227.635",
      "input_id": "input-4001",
      "step": "756",
      "action": "MODEL_CLICK #8f5578eb",
      "input_source": "[WORKSPACE]/experiments/guitaboo-5app-1rep-baseline-comparison-20261107/analysis/evidence-zips/run_d0565bde10ff469e8313f11bfd92ab9f.zip!device-output/native/sata-org.wikipedia-ape-sata-running-minutes-60/jev-audit/inputs/generated-4002.json",
      "method_log_ref": "[WORKSPACE]/experiments/guitaboo-5app-1rep-baseline-comparison-20261107/analysis/evidence-zips/run_d0565bde10ff469e8313f11bfd92ab9f.zip!device-output/method-logcat.log:134554"
    },
    {
      "method": "<org.wikipedia.descriptions.DescriptionEditView$$ExternalSyntheticLambda1: void run()>",
      "wall_time_ms": "1793987977253.0",
      "log_line": "134565",
      "category": "app_domain",
      "library": "app_domain",
      "elapsed_s": "1227.799",
      "input_id": "input-4001",
      "step": "756",
      "action": "MODEL_CLICK #8f5578eb",
      "input_source": "[WORKSPACE]/experiments/guitaboo-5app-1rep-baseline-comparison-20261107/analysis/evidence-zips/run_d0565bde10ff469e8313f11bfd92ab9f.zip!device-output/native/sata-org.wikipedia-ape-sata-running-minutes-60/jev-audit/inputs/generated-4002.json",
      "method_log_ref": "[WORKSPACE]/experiments/guitaboo-5app-1rep-baseline-comparison-20261107/analysis/evidence-zips/run_d0565bde10ff469e8313f11bfd92ab9f.zip!device-output/method-logcat.log:134565"
    },
    {
      "method": "<org.wikipedia.descriptions.DescriptionEditView: void $r8$lambda$Z9t78yfjEiIV77lCU47jeOAgLIY(org.wikipedia.descriptions.DescriptionEditView)>",
      "wall_time_ms": "1793987977253.0",
      "log_line": "134566",
      "category": "app_domain",
      "library": "app_domain",
      "elapsed_s": "1227.799",
      "input_id": "input-4001",
      "step": "756",
      "action": "MODEL_CLICK #8f5578eb",
      "input_source": "[WORKSPACE]/experiments/guitaboo-5app-1rep-baseline-comparison-20261107/analysis/evidence-zips/run_d0565bde10ff469e8313f11bfd92ab9f.zip!device-output/native/sata-org.wikipedia-ape-sata-running-minutes-60/jev-audit/inputs/generated-4002.json",
      "method_log_ref": "[WORKSPACE]/experiments/guitaboo-5app-1rep-baseline-comparison-20261107/analysis/evidence-zips/run_d0565bde10ff469e8313f11bfd92ab9f.zip!device-output/method-logcat.log:134566"
    },
    {
      "method": "<org.wikipedia.descriptions.DescriptionEditView: void clearError()>",
      "wall_time_ms": "1793987977253.0",
      "log_line": "134569",
      "category": "app_domain",
      "library": "app_domain",
      "elapsed_s": "1227.799",
      "input_id": "input-4001",
      "step": "756",
      "action": "MODEL_CLICK #8f5578eb",
      "input_source": "[WORKSPACE]/experiments/guitaboo-5app-1rep-baseline-comparison-20261107/analysis/evidence-zips/run_d0565bde10ff469e8313f11bfd92ab9f.zip!device-output/native/sata-org.wikipedia-ape-sata-running-minutes-60/jev-audit/inputs/generated-4002.json",
      "method_log_ref": "[WORKSPACE]/experiments/guitaboo-5app-1rep-baseline-comparison-20261107/analysis/evidence-zips/run_d0565bde10ff469e8313f11bfd92ab9f.zip!device-output/method-logcat.log:134569"
    },
    {
      "method": "<org.wikipedia.descriptions.DescriptionEditView: void textValidateRunnable$lambda$1(org.wikipedia.descriptions.DescriptionEditView)>",
      "wall_time_ms": "1793987977253.0",
      "log_line": "134567",
      "category": "app_domain",
      "library": "app_domain",
      "elapsed_s": "1227.799",
      "input_id": "input-4001",
      "step": "756",
      "action": "MODEL_CLICK #8f5578eb",
      "input_source": "[WORKSPACE]/experiments/guitaboo-5app-1rep-baseline-comparison-20261107/analysis/evidence-zips/run_d0565bde10ff469e8313f11bfd92ab9f.zip!device-output/native/sata-org.wikipedia-ape-sata-running-minutes-60/jev-audit/inputs/generated-4002.json",
      "method_log_ref": "[WORKSPACE]/experiments/guitaboo-5app-1rep-baseline-comparison-20261107/analysis/evidence-zips/run_d0565bde10ff469e8313f11bfd92ab9f.zip!device-output/method-logcat.log:134567"
    },
    {
      "method": "<org.wikipedia.descriptions.DescriptionEditView: void updateSaveButtonEnabled()>",
      "wall_time_ms": "1793987977253.0",
      "log_line": "134571",
      "category": "app_domain",
      "library": "app_domain",
      "elapsed_s": "1227.799",
      "input_id": "input-4001",
      "step": "756",
      "action": "MODEL_CLICK #8f5578eb",
      "input_source": "[WORKSPACE]/experiments/guitaboo-5app-1rep-baseline-comparison-20261107/analysis/evidence-zips/run_d0565bde10ff469e8313f11bfd92ab9f.zip!device-output/native/sata-org.wikipedia-ape-sata-running-minutes-60/jev-audit/inputs/generated-4002.json",
      "method_log_ref": "[WORKSPACE]/experiments/guitaboo-5app-1rep-baseline-comparison-20261107/analysis/evidence-zips/run_d0565bde10ff469e8313f11bfd92ab9f.zip!device-output/method-logcat.log:134571"
    },
    {
      "method": "<org.wikipedia.descriptions.DescriptionEditView: void validateText()>",
      "wall_time_ms": "1793987977253.0",
      "log_line": "134568",
      "category": "app_domain",
      "library": "app_domain",
      "elapsed_s": "1227.799",
      "input_id": "input-4001",
      "step": "756",
      "action": "MODEL_CLICK #8f5578eb",
      "input_source": "[WORKSPACE]/experiments/guitaboo-5app-1rep-baseline-comparison-20261107/analysis/evidence-zips/run_d0565bde10ff469e8313f11bfd92ab9f.zip!device-output/native/sata-org.wikipedia-ape-sata-running-minutes-60/jev-audit/inputs/generated-4002.json",
      "method_log_ref": "[WORKSPACE]/experiments/guitaboo-5app-1rep-baseline-comparison-20261107/analysis/evidence-zips/run_d0565bde10ff469e8313f11bfd92ab9f.zip!device-output/method-logcat.log:134568"
    },
    {
      "method": "<org.wikipedia.descriptions.DescriptionEditView: void updateSuggestedDescriptionsButtonVisibility()>",
      "wall_time_ms": "1793987977254.0",
      "log_line": "134572",
      "category": "app_domain",
      "library": "app_domain",
      "elapsed_s": "1227.8",
      "input_id": "input-4001",
      "step": "756",
      "action": "MODEL_CLICK #8f5578eb",
      "input_source": "[WORKSPACE]/experiments/guitaboo-5app-1rep-baseline-comparison-20261107/analysis/evidence-zips/run_d0565bde10ff469e8313f11bfd92ab9f.zip!device-output/native/sata-org.wikipedia-ape-sata-running-minutes-60/jev-audit/inputs/generated-4002.json",
      "method_log_ref": "[WORKSPACE]/experiments/guitaboo-5app-1rep-baseline-comparison-20261107/analysis/evidence-zips/run_d0565bde10ff469e8313f11bfd92ab9f.zip!device-output/method-logcat.log:134572"
    }
  ],
  "first_method_count": 16,
  "category_counts": {
    "app_domain": 16
  },
  "libraries": {
    "app_domain": 16
  },
  "source_screenshot": {
    "local": "cases/run_d0565bde10ff469e8313f11bfd92ab9f/run_d0565bde10ff469e8313f11bfd92ab9f-step-756-before.png",
    "source": "[WORKSPACE]/experiments/guitaboo-5app-1rep-baseline-comparison-20261107/analysis/evidence-zips/run_d0565bde10ff469e8313f11bfd92ab9f.zip!device-output/native/sata-org.wikipedia-ape-sata-running-minutes-60/ape-state-screenshots/g25s227-756.png",
    "capture_step": 756,
    "requested_step": 756,
    "alignment": "exact step"
  },
  "target_screenshot": {
    "local": "cases/run_d0565bde10ff469e8313f11bfd92ab9f/run_d0565bde10ff469e8313f11bfd92ab9f-step-756-after.png",
    "source": "[WORKSPACE]/experiments/guitaboo-5app-1rep-baseline-comparison-20261107/analysis/evidence-zips/run_d0565bde10ff469e8313f11bfd92ab9f.zip!device-output/native/sata-org.wikipedia-ape-sata-running-minutes-60/ape-state-screenshots/g25s228-757.png",
    "capture_step": 757,
    "requested_step": 757,
    "alignment": "exact step"
  },
  "executor_source": "[WORKSPACE]/experiments/guitaboo-5app-1rep-baseline-comparison-20261107/analysis/evidence-zips/run_d0565bde10ff469e8313f11bfd92ab9f.zip!device-output/executor.log:66402",
  "executor_lines": [
    "[APE] >>>>>>>> SATA begin step [756][Elapsed: 0000 00:20:27]",
    "[APE] *** INFO *** Explored 22 app activities.",
    "[APE] *** INFO *** Used: 12 MB, Max: 192 MB, Available: 180 MB",
    "[APE] *** INFO *** Patching this node: android.view.ViewGroup@org.wikipedia:id/view_description_edit_read_article_bar_container@",
    "[APE] *** INFO *** Patching child node: android.widget.TextView@org.wikipedia:id/viewArticleTitle@Shin-Osa",
    "[APE] *** INFO *** Create state g25s227[-1,0][0]org.wikipedia.descriptions.DescriptionEditActivity@-905990514@Naming[0]@[W=8][A=9] for GUI tree GUITree[956@0]@g25s227[-1,0][0]org.wikipedia.descriptions.DescriptionEditActivity@-905990514@Naming[0]@[W=8][A=9]",
    "[APE] *** INFO *** Pre-checking under-abstracted states takes 0 ms",
    "[APE] *** INFO *** Check over-abstracted states g25s227[-1,0][0]org.wikipedia.descriptions.DescriptionEditActivity@-905990514@Naming[0]@[W=8][A=9]: #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: g24s225[755,755][1]org.wikipedia.commons.FilePageActivity@1812820851@Naming[0]@[W=4][A=5]",
    "[APE]     Action: g24a2380[755,755][1]@MODEL_CLICKclass=android.widget.ImageView;resource-id=org.wikipedia:id/editButton;enabled=true;clickable=true;[P=52][T=200][][S=0.000000][RN=1][954,1893,1038,1956][]",
    "[APE]     Target: g25s227[756,756][1]org.wikipedia.descriptions.DescriptionEditActivity@-905990514@Naming[0]@[W=8][A=9]",
    "[APE]     Add target result: true",
    "[APE] GSTG(g25): activities (22), states (194), edges (642), unvisited actions (1550), visited actions (590)",
    "[APE] *** INFO *** -  0.14  35 org.wikipedia.main.MainActivity[1,726][88][S=35]",
    "[APE] *** INFO *** -  0.90   2 org.wikipedia.donate.GooglePayActivity[277,297][19][S=2]",
    "[APE] *** INFO *** -  0.15   2 org.wikipedia.talk.TalkTopicsActivity[369,490][2][S=2]",
    "[APE] *** INFO *** -  0.27  22 org.wikipedia.search.SearchActivity[23,744][103][S=22]",
    "[APE] *** INFO *** -  0.45  12 org.wikipedia.settings.languages.WikipediaLanguagesActivity[236,741][81][S=12]",
    "[APE] *** INFO *** -  0.05   2 org.wikipedia.categories.CategoryActivity[666,667][2][S=2]",
    "[APE] *** INFO *** -  0.33  53 org.wikipedia.page.PageActivity[22,750][272][S=53]",
    "[APE] *** INFO *** -  1.00   1 org.wikipedia.places.PlacesFilterActivity[313,330][6][S=1]",
    "[APE] *** INFO *** -  0.06   1 org.wikipedia.settings.SettingsActivity[724,724][1][S=1]",
    "[APE] *** INFO *** -  0.57   3 org.wikipedia.commons.FilePageActivity[9,755][10][S=3]",
    "[APE] *** INFO *** -  0.22  12 org.wikipedia.readinglist.ReadingListActivity[57,692][29][S=12]",
    "[APE] *** INFO *** -  0.20   2 org.wikipedia.language.LanguagesListActivity[237,605][10][S=2]",
    "[APE] *** INFO *** -  0.00   1 org.wikipedia.descriptions.DescriptionEditActivity[756,756][1][S=1]",
    "[APE] *** INFO *** -  0.59   4 org.wikipedia.gallery.GalleryActivity[33,754][31][S=4]",
    "[APE] *** INFO *** -  0.39   9 org.wikipedia.page.tabs.TabActivity[30,719][43][S=9]",
    "[APE] *** INFO *** -  0.27   3 org.wikipedia.login.LoginActivity[175,708][21][S=3]",
    "[APE] *** INFO *** -  0.48   2 org.wikipedia.page.customize.CustomizeToolbarActivity[440,659][21][S=2]",
    "[APE] *** INFO *** -  0.40   5 org.wikipedia.edit.EditSectionActivity[559,584][18][S=5]",
    "[APE] *** INFO *** -  0.19   8 org.wikipedia.createaccount.CreateAccountActivity[96,702][44][S=8]",
    "[APE] *** INFO *** -  0.37   9 org.wikipedia.places.PlacesActivity[110,362][34][S=9]",
    "[APE] *** INFO *** -  0.18   2 org.wikipedia.onboarding.InitialOnboardingActivity[262,265][3][S=2]",
    "[APE] *** INFO *** -  0.11   4 org.wikipedia.language.LangLinksActivity[366,645][7][S=4]",
    "[APE] GSTG is updated.",
    "[APE] GSTG state is changed.",
    "[APE] Graph Stable Counter: graph (0), state (0), activity (0)",
    "[APE] Sata Strategy: buffer size (0)",
    "[APE]      0  TRIVIAL_ACTIVITY",
    "[APE]      0  SATURATED_STATE",
    "[APE]     20  USE_BUFFER",
    "[APE]    735  EARLY_STAGE",
    "[APE]      0  EPSILON_GREEDY",
    "[APE]      0  RANDOM",
    "[APE]      0  NULL",
    "[APE]     46  BUFFER_LOSS",
    "[APE]    136  FILL_BUFFER",
    "[APE]      0  BAD_STATE",
    "[APE]      0  PROBE",
    "[APE]     1 g25a2385[-1,0][0]@MODEL_CLICKclass=android.widget.ImageButton;resource-id=org.wikipedia:id/text_input_end_icon;enabled=true;clickable=true;checkable=true;[P=52][T=200][, UNVISITED][S=0.000000][RN=1][912,603,1038,729][#8f5578eb]",
    "[APE]     2 g25a2386[-1,0][0]@MODEL_CLICKclass=android.widget.ImageView;resource-id=org.wikipedia:id/view_description_edit_cancel_button;enabled=true;clickable=true;[P=52][T=200][, UNVISITED][S=0.000000][RN=1][11,84,137,210][]",
    "[APE]     3 g25a2387[-1,0][0]@MODEL_CLICKclass=android.widget.TextView;resource-id=org.wikipedia:id/view_description_edit_save_button;enabled=true;clickable=true;[P=52][T=200][, UNVISITED][S=0.000000][RN=1][842,84,1069,210][Publish]",
    "[APE]     4 g25a2388[-1,0][0]@MODEL_CLICKclass=android.widget.LinearLayout;resource-id=org.wikipedia:id/view_description_edit_page_summary_container;enabled=true;clickable=true;[P=52][T=200][, UNVISITED][S=0.000000][RN=1][0,231,1080,554][]",
    "[APE]     5 g25a2389[-1,0][0]@MODEL_CLICKclass=android.widget.EditText;resource-id=org.wikipedia:id/view_description_edit_text;enabled=true;clickable=true;long-clickable=true;[P=52][T=200][, UNVISITED][S=0.000000][RN=1][42,593,1038,739][Image ca]",
    "[APE]     6 g25a2390[-1,0][0]@MODEL_LONG_CLICKclass=android.widget.EditText;resource-id=org.wikipedia:id/view_description_edit_text;enabled=true;clickable=true;long-clickable=true;[P=36][T=200][, UNVISITED][S=0.000000][RN=1][42,593,1038,739][Image ca]",
    "[APE]     7 g25a2391[-1,0][0]@MODEL_CLICKclass=android.widget.Button;resource-id=org.wikipedia:id/learnMoreButton;enabled=true;clickable=true;[P=52][T=200][, UNVISITED][S=0.000000][RN=1][32,937,1048,1063][Learn mo]",
    "[APE]     8 g25a2392[-1,0][0]@MODEL_CLICKclass=android.widget.TextView;resource-id=org.wikipedia:id/viewArticleTitle;enabled=true;clickable=true;[P=52][T=200][, UNVISITED][S=0.000000][RN=1][126,2191,891,2335][Shin-Osa]",
    "[APE]     9 g25a2393[-1,0][0]@MODEL_BACKg25s227[756,756][1]org.wikipedia.descriptions.DescriptionEditActivity@-905990514@Naming[0]@[W=8][A=9][P=13][T=200][, UNVISITED]",
    "[APE] *** INFO *** Check global actions.",
    "[APE] *** INFO *** Check A*BA->B, try to move from A to B.",
    "[APE] *** INFO *** > - A: g25s227[756,756][1]org.wikipedia.descriptions.DescriptionEditActivity@-905990514@Naming[0]@[W=8][A=9]",
    "[APE] *** INFO *** > - B: g24s225[755,755][1]org.wikipedia.commons.FilePageActivity@1812820851@Naming[0]@[W=4][A=5]",
    "[APE] *** INFO *** Never move from a cold activity (g25s227[756,756][1]org.wikipedia.descriptions.DescriptionEditActivity@-905990514@Naming[0]@[W=8][A=9])(org.wikipedia.descriptions.DescriptionEditActivity[756,756][1][S=1]) to a hot activity (g24s225[755,755][1]org.wikipedia.commons.FilePageActivity@1812820851@Naming[0]@[W=4][A=5])(org.wikipedia.commons.FilePageActivity[9,755][10][S=3]) in ABA.",
    "[APE] *** INFO *** Find a greedy action in 0-step",
    "[APE] *** INFO *** Requesting disabling restart.",
    "[APE] *** INFO *** Select action g25a2385[-1,0][0]@MODEL_CLICKclass=android.widget.ImageButton;resource-id=org.wikipedia:id/text_input_end_icon;enabled=true;clickable=true;checkable=true;[P=52][T=200][, UNVISITED][S=0.000000][RN=1][912,603,1038,729][#8f5578eb] by strategy EARLY_STAGE",
    "[APE] Last  state: g25s226[394,754][4]org.wikipedia.gallery.GalleryActivity@-205194941@Naming[4]@[W=3][A=3]",
    "[APE] Last action: g25a2383[754,754][1]@MODEL_CLICKclass=android.widget.TextView;resource-id=org.wikipedia:id/title;index=1;enabled=true;clickable=true;[P=0][T=0][, INVALID]",
    "[APE] Curr  state: g24s225[755,755][1]org.wikipedia.commons.FilePageActivity@1812820851@Naming[0]@[W=4][A=5]",
    "[APE] Curr action: g24a2380[755,755][1]@MODEL_CLICKclass=android.widget.ImageView;resource-id=org.wikipedia:id/editButton;enabled=true;clickable=true;[P=52][T=200][][S=0.000000][RN=1][954,1893,1038,1956][]",
    "[APE] New   state: g25s227[756,756][1]org.wikipedia.descriptions.DescriptionEditActivity@-905990514@Naming[0]@[W=8][A=9]",
    "[APE] New  action: g25a2385[756,756][1]@MODEL_CLICKclass=android.widget.ImageButton;resource-id=org.wikipedia:id/text_input_end_icon;enabled=true;clickable=true;checkable=true;[P=52][T=200][][S=0.000000][RN=1][912,603,1038,729][#8f5578eb]",
    "[APE] >>>>>>>> SATA end step [756]",
    "[APE] *** INFO *** EXECUTE action_fp=type=MODEL_CLICK|activity=org.wikipedia.descriptions.DescriptionEditActivity|class=android.widget.ImageButton|text=#8f5578eb|resource_id=org.wikipedia:id/text_input_end_icon|bounds=912,603,1038,729 target_fp=activity=org.wikipedia.descriptions.DescriptionEditActivity|class=android.widget.ImageButton|text=#8f5578eb|resource_id=org.wikipedia:id/text_input_end_icon action=g25a2385[756,756][1]@MODEL_CLICKclass=android.widget.ImageButton;resource-id=org.wikipedia:id/text_input_end_icon;enabled=true;clickable=true;checkable=true;[P=52][T=200][][S=0.000000][RN=1][912,603,1038,729][#8f5578eb]",
    ":Sending Touch (ACTION_DOWN): 0:(975.0,666.0)",
    ":Sending Touch (ACTION_UP): 0:(975.0,666.0)",
    "    // Rejecting start of Intent { act=android.speech.action.RECOGNIZE_SPEECH cmp=com.google.android.tts/com.google.android.apps.speech.tts.googletts.service.GoogleTTSActivity } in package com.google.android.tts"
  ],
  "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."
}
