{
  "app": "scarletnotes",
  "condition": "STARTLUX_PAIRWISE",
  "reference": false,
  "run_id": "run_90be2cba06ed490eb48e0c51795875ef",
  "step": 771,
  "elapsed_s": "1242.107",
  "selection": {
    "event": "SELECTION_DECISION",
    "step": 771,
    "monotonic_ns": 1880696495428834,
    "wall_time_ms": 1793991648942,
    "abstraction_version": 46,
    "state_id": "g21s58",
    "model_action_id": "g21a881",
    "snapshot_reason": "selection",
    "state_visits": 20,
    "state_first_seen": 128,
    "state_last_seen": 771,
    "state_saturated": false,
    "state_saturation": 0.9444444,
    "native_state_saturated": false,
    "native_unsaturated_model_action_count": 1,
    "model_action_count": 18,
    "enabled_valid_action_count": 18,
    "unsaturated_model_action_count": 1,
    "unvisited_model_action_count": 1,
    "effective_unvisited_model_action_count": 1,
    "effective_state_saturated": false,
    "local_probe_action_count": 0,
    "navigation_action_count": 1,
    "enabled_valid_unvisited_action_count": 1,
    "unvisited_model_action_ids": "g21a897",
    "selection_strategy": "USE_BUFFER",
    "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": 1,
    "selected_action_fingerprint": "type=MODEL_CLICK|activity=com.maubis.scarlet.base.MainActivity|class=android.widget.FrameLayout|text=|resource_id=com.bijoysingh.quicknote:id/select_notes_layout|bounds=551,1354,1058,1590",
    "selected_resolved_node_count": 1
  },
  "inputs": [
    {
      "input_id": "input-4524",
      "step": "771",
      "version": "46",
      "elapsed_s": "1242.107",
      "wall_time_ms": "1793991648942",
      "next_input_wall_ms": "1793991650186",
      "input_completed_wall_ms": "1793991648979",
      "input_confirmed": "True",
      "action": "MODEL_CLICK com.bijoysingh.quicknote:id/select_notes_layout",
      "action_type": "MODEL_CLICK",
      "text": "",
      "content_desc": "",
      "resource_id": "com.bijoysingh.quicknote:id/select_notes_layout",
      "model_action_id": "g21a881",
      "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.FrameLayout\"][@resource-id=\"com.bijoysingh.quicknote:id/design_bottom_sheet\"][@text=\"\"][@content-desc=\"\"][@index=0][@enabled='true'][@clickable='false'][@checkable='false'][@long-clickable='false'][@scrollable='false']/*[@class=\"android.widget.ScrollView\"][@resource-id=\"com.bijoysingh.quicknote:id/root_layout\"][@text=\"\"][@content-desc=\"\"][@index=0][@enabled='true'][@clickable='false'][@checkable='false'][@long-clickable='false'][@scrollable='false']/*[@class=\"android.widget.FrameLayout\"][@resource-id=\"com.bijoysingh.quicknote:id/select_notes_layout\"][@text=\"\"][@content-desc=\"\"][@index=7][@enabled='true'][@clickable='true'][@checkable='false'][@long-clickable='false'][@scrollable='false'][@enabled='true'][@clickable='true'][@checkable='false'][@long-clickable='false'][@scrollable='false']",
      "state_id": "g21s58",
      "source_gui_id": "911",
      "activity": "com.maubis.scarlet.base.MainActivity",
      "activity_evidence": "exact source_gui_id transition receipt",
      "labels": "NA",
      "probe": "False",
      "strategy": "USE_BUFFER",
      "context": "navigation",
      "native_branch": "USE_BUFFER",
      "executor_ref": "[WORKSPACE]/experiments/guitaboo-5app-1rep-baseline-comparison-20261107/analysis/evidence-zips/run_90be2cba06ed490eb48e0c51795875ef.zip!device-output/executor.log:72882",
      "observed_methods_until_next": "40",
      "category_counts": "{\"app_domain\":2,\"third_party\":38}",
      "inventory_ref": "[WORKSPACE]/experiments/guitaboo-5app-1rep-baseline-comparison-20261107/analysis/evidence-zips/run_90be2cba06ed490eb48e0c51795875ef.zip!device-output/native/sata-com.bijoysingh.quicknote-ape-sata-running-minutes-60/jev-audit/inputs/generated-4525.json"
    }
  ],
  "following_transition": {
    "event": "NATIVE_TRANSITION",
    "step": 772,
    "monotonic_ns": 1880697733939313,
    "wall_time_ms": 1793991650180,
    "abstraction_version": 46,
    "state_id": "g21s58",
    "model_action_id": "g21a881",
    "transition_id": "g46e334:762",
    "new_state": false,
    "new_model_action": false,
    "refinement": false,
    "self_loop": false,
    "activity_unchanged": false,
    "gui_unchanged": false,
    "target_state": "g46s169",
    "input_confirmed": true
  },
  "first_methods_since_inputs": [
    {
      "method": "<com.google.gson.Gson: com.google.gson.stream.JsonReader newJsonReader(java.io.Reader)>",
      "wall_time_ms": "1793991649030.0",
      "log_line": "41151",
      "category": "third_party",
      "library": "Google libraries",
      "elapsed_s": "1242.195",
      "input_id": "input-4524",
      "step": "771",
      "action": "MODEL_CLICK com.bijoysingh.quicknote:id/select_notes_layout",
      "input_source": "[WORKSPACE]/experiments/guitaboo-5app-1rep-baseline-comparison-20261107/analysis/evidence-zips/run_90be2cba06ed490eb48e0c51795875ef.zip!device-output/native/sata-com.bijoysingh.quicknote-ape-sata-running-minutes-60/jev-audit/inputs/generated-4525.json",
      "method_log_ref": "[WORKSPACE]/experiments/guitaboo-5app-1rep-baseline-comparison-20261107/analysis/evidence-zips/run_90be2cba06ed490eb48e0c51795875ef.zip!device-output/method-logcat.log:41151"
    },
    {
      "method": "<com.google.gson.Gson: java.lang.Object fromJson(java.io.Reader,java.lang.reflect.Type)>",
      "wall_time_ms": "1793991649030.0",
      "log_line": "41150",
      "category": "third_party",
      "library": "Google libraries",
      "elapsed_s": "1242.195",
      "input_id": "input-4524",
      "step": "771",
      "action": "MODEL_CLICK com.bijoysingh.quicknote:id/select_notes_layout",
      "input_source": "[WORKSPACE]/experiments/guitaboo-5app-1rep-baseline-comparison-20261107/analysis/evidence-zips/run_90be2cba06ed490eb48e0c51795875ef.zip!device-output/native/sata-com.bijoysingh.quicknote-ape-sata-running-minutes-60/jev-audit/inputs/generated-4525.json",
      "method_log_ref": "[WORKSPACE]/experiments/guitaboo-5app-1rep-baseline-comparison-20261107/analysis/evidence-zips/run_90be2cba06ed490eb48e0c51795875ef.zip!device-output/method-logcat.log:41150"
    },
    {
      "method": "<com.google.gson.internal.JsonReaderInternalAccess: void <init>()>",
      "wall_time_ms": "1793991649030.0",
      "log_line": "41154",
      "category": "third_party",
      "library": "Google libraries",
      "elapsed_s": "1242.195",
      "input_id": "input-4524",
      "step": "771",
      "action": "MODEL_CLICK com.bijoysingh.quicknote:id/select_notes_layout",
      "input_source": "[WORKSPACE]/experiments/guitaboo-5app-1rep-baseline-comparison-20261107/analysis/evidence-zips/run_90be2cba06ed490eb48e0c51795875ef.zip!device-output/native/sata-com.bijoysingh.quicknote-ape-sata-running-minutes-60/jev-audit/inputs/generated-4525.json",
      "method_log_ref": "[WORKSPACE]/experiments/guitaboo-5app-1rep-baseline-comparison-20261107/analysis/evidence-zips/run_90be2cba06ed490eb48e0c51795875ef.zip!device-output/method-logcat.log:41154"
    },
    {
      "method": "<com.google.gson.stream.JsonReader$1: void <init>()>",
      "wall_time_ms": "1793991649030.0",
      "log_line": "41153",
      "category": "third_party",
      "library": "Google libraries",
      "elapsed_s": "1242.195",
      "input_id": "input-4524",
      "step": "771",
      "action": "MODEL_CLICK com.bijoysingh.quicknote:id/select_notes_layout",
      "input_source": "[WORKSPACE]/experiments/guitaboo-5app-1rep-baseline-comparison-20261107/analysis/evidence-zips/run_90be2cba06ed490eb48e0c51795875ef.zip!device-output/native/sata-com.bijoysingh.quicknote-ape-sata-running-minutes-60/jev-audit/inputs/generated-4525.json",
      "method_log_ref": "[WORKSPACE]/experiments/guitaboo-5app-1rep-baseline-comparison-20261107/analysis/evidence-zips/run_90be2cba06ed490eb48e0c51795875ef.zip!device-output/method-logcat.log:41153"
    },
    {
      "method": "<com.google.gson.stream.JsonReader: void <clinit>()>",
      "wall_time_ms": "1793991649030.0",
      "log_line": "41152",
      "category": "third_party",
      "library": "Google libraries",
      "elapsed_s": "1242.195",
      "input_id": "input-4524",
      "step": "771",
      "action": "MODEL_CLICK com.bijoysingh.quicknote:id/select_notes_layout",
      "input_source": "[WORKSPACE]/experiments/guitaboo-5app-1rep-baseline-comparison-20261107/analysis/evidence-zips/run_90be2cba06ed490eb48e0c51795875ef.zip!device-output/native/sata-com.bijoysingh.quicknote-ape-sata-running-minutes-60/jev-audit/inputs/generated-4525.json",
      "method_log_ref": "[WORKSPACE]/experiments/guitaboo-5app-1rep-baseline-comparison-20261107/analysis/evidence-zips/run_90be2cba06ed490eb48e0c51795875ef.zip!device-output/method-logcat.log:41152"
    },
    {
      "method": "<com.google.gson.Gson: java.lang.Object fromJson(com.google.gson.stream.JsonReader,java.lang.reflect.Type)>",
      "wall_time_ms": "1793991649031.0",
      "log_line": "41162",
      "category": "third_party",
      "library": "Google libraries",
      "elapsed_s": "1242.196",
      "input_id": "input-4524",
      "step": "771",
      "action": "MODEL_CLICK com.bijoysingh.quicknote:id/select_notes_layout",
      "input_source": "[WORKSPACE]/experiments/guitaboo-5app-1rep-baseline-comparison-20261107/analysis/evidence-zips/run_90be2cba06ed490eb48e0c51795875ef.zip!device-output/native/sata-com.bijoysingh.quicknote-ape-sata-running-minutes-60/jev-audit/inputs/generated-4525.json",
      "method_log_ref": "[WORKSPACE]/experiments/guitaboo-5app-1rep-baseline-comparison-20261107/analysis/evidence-zips/run_90be2cba06ed490eb48e0c51795875ef.zip!device-output/method-logcat.log:41162"
    },
    {
      "method": "<com.google.gson.stream.JsonReader: boolean fillBuffer(int)>",
      "wall_time_ms": "1793991649031.0",
      "log_line": "41171",
      "category": "third_party",
      "library": "Google libraries",
      "elapsed_s": "1242.196",
      "input_id": "input-4524",
      "step": "771",
      "action": "MODEL_CLICK com.bijoysingh.quicknote:id/select_notes_layout",
      "input_source": "[WORKSPACE]/experiments/guitaboo-5app-1rep-baseline-comparison-20261107/analysis/evidence-zips/run_90be2cba06ed490eb48e0c51795875ef.zip!device-output/native/sata-com.bijoysingh.quicknote-ape-sata-running-minutes-60/jev-audit/inputs/generated-4525.json",
      "method_log_ref": "[WORKSPACE]/experiments/guitaboo-5app-1rep-baseline-comparison-20261107/analysis/evidence-zips/run_90be2cba06ed490eb48e0c51795875ef.zip!device-output/method-logcat.log:41171"
    },
    {
      "method": "<com.google.gson.stream.JsonReader: boolean isLenient()>",
      "wall_time_ms": "1793991649031.0",
      "log_line": "41163",
      "category": "third_party",
      "library": "Google libraries",
      "elapsed_s": "1242.196",
      "input_id": "input-4524",
      "step": "771",
      "action": "MODEL_CLICK com.bijoysingh.quicknote:id/select_notes_layout",
      "input_source": "[WORKSPACE]/experiments/guitaboo-5app-1rep-baseline-comparison-20261107/analysis/evidence-zips/run_90be2cba06ed490eb48e0c51795875ef.zip!device-output/native/sata-com.bijoysingh.quicknote-ape-sata-running-minutes-60/jev-audit/inputs/generated-4525.json",
      "method_log_ref": "[WORKSPACE]/experiments/guitaboo-5app-1rep-baseline-comparison-20261107/analysis/evidence-zips/run_90be2cba06ed490eb48e0c51795875ef.zip!device-output/method-logcat.log:41163"
    },
    {
      "method": "<com.google.gson.stream.JsonReader: com.google.gson.stream.JsonToken peek()>",
      "wall_time_ms": "1793991649031.0",
      "log_line": "41164",
      "category": "third_party",
      "library": "Google libraries",
      "elapsed_s": "1242.196",
      "input_id": "input-4524",
      "step": "771",
      "action": "MODEL_CLICK com.bijoysingh.quicknote:id/select_notes_layout",
      "input_source": "[WORKSPACE]/experiments/guitaboo-5app-1rep-baseline-comparison-20261107/analysis/evidence-zips/run_90be2cba06ed490eb48e0c51795875ef.zip!device-output/native/sata-com.bijoysingh.quicknote-ape-sata-running-minutes-60/jev-audit/inputs/generated-4525.json",
      "method_log_ref": "[WORKSPACE]/experiments/guitaboo-5app-1rep-baseline-comparison-20261107/analysis/evidence-zips/run_90be2cba06ed490eb48e0c51795875ef.zip!device-output/method-logcat.log:41164"
    },
    {
      "method": "<com.google.gson.stream.JsonReader: int doPeek()>",
      "wall_time_ms": "1793991649031.0",
      "log_line": "41165",
      "category": "third_party",
      "library": "Google libraries",
      "elapsed_s": "1242.196",
      "input_id": "input-4524",
      "step": "771",
      "action": "MODEL_CLICK com.bijoysingh.quicknote:id/select_notes_layout",
      "input_source": "[WORKSPACE]/experiments/guitaboo-5app-1rep-baseline-comparison-20261107/analysis/evidence-zips/run_90be2cba06ed490eb48e0c51795875ef.zip!device-output/native/sata-com.bijoysingh.quicknote-ape-sata-running-minutes-60/jev-audit/inputs/generated-4525.json",
      "method_log_ref": "[WORKSPACE]/experiments/guitaboo-5app-1rep-baseline-comparison-20261107/analysis/evidence-zips/run_90be2cba06ed490eb48e0c51795875ef.zip!device-output/method-logcat.log:41165"
    },
    {
      "method": "<com.google.gson.stream.JsonReader: int nextNonWhitespace(boolean)>",
      "wall_time_ms": "1793991649031.0",
      "log_line": "41169",
      "category": "third_party",
      "library": "Google libraries",
      "elapsed_s": "1242.196",
      "input_id": "input-4524",
      "step": "771",
      "action": "MODEL_CLICK com.bijoysingh.quicknote:id/select_notes_layout",
      "input_source": "[WORKSPACE]/experiments/guitaboo-5app-1rep-baseline-comparison-20261107/analysis/evidence-zips/run_90be2cba06ed490eb48e0c51795875ef.zip!device-output/native/sata-com.bijoysingh.quicknote-ape-sata-running-minutes-60/jev-audit/inputs/generated-4525.json",
      "method_log_ref": "[WORKSPACE]/experiments/guitaboo-5app-1rep-baseline-comparison-20261107/analysis/evidence-zips/run_90be2cba06ed490eb48e0c51795875ef.zip!device-output/method-logcat.log:41169"
    },
    {
      "method": "<com.google.gson.stream.JsonReader: void <init>(java.io.Reader)>",
      "wall_time_ms": "1793991649031.0",
      "log_line": "41159",
      "category": "third_party",
      "library": "Google libraries",
      "elapsed_s": "1242.196",
      "input_id": "input-4524",
      "step": "771",
      "action": "MODEL_CLICK com.bijoysingh.quicknote:id/select_notes_layout",
      "input_source": "[WORKSPACE]/experiments/guitaboo-5app-1rep-baseline-comparison-20261107/analysis/evidence-zips/run_90be2cba06ed490eb48e0c51795875ef.zip!device-output/native/sata-com.bijoysingh.quicknote-ape-sata-running-minutes-60/jev-audit/inputs/generated-4525.json",
      "method_log_ref": "[WORKSPACE]/experiments/guitaboo-5app-1rep-baseline-comparison-20261107/analysis/evidence-zips/run_90be2cba06ed490eb48e0c51795875ef.zip!device-output/method-logcat.log:41159"
    },
    {
      "method": "<com.google.gson.stream.JsonReader: void consumeNonExecutePrefix()>",
      "wall_time_ms": "1793991649031.0",
      "log_line": "41167",
      "category": "third_party",
      "library": "Google libraries",
      "elapsed_s": "1242.196",
      "input_id": "input-4524",
      "step": "771",
      "action": "MODEL_CLICK com.bijoysingh.quicknote:id/select_notes_layout",
      "input_source": "[WORKSPACE]/experiments/guitaboo-5app-1rep-baseline-comparison-20261107/analysis/evidence-zips/run_90be2cba06ed490eb48e0c51795875ef.zip!device-output/native/sata-com.bijoysingh.quicknote-ape-sata-running-minutes-60/jev-audit/inputs/generated-4525.json",
      "method_log_ref": "[WORKSPACE]/experiments/guitaboo-5app-1rep-baseline-comparison-20261107/analysis/evidence-zips/run_90be2cba06ed490eb48e0c51795875ef.zip!device-output/method-logcat.log:41167"
    },
    {
      "method": "<com.google.gson.stream.JsonReader: void setLenient(boolean)>",
      "wall_time_ms": "1793991649031.0",
      "log_line": "41161",
      "category": "third_party",
      "library": "Google libraries",
      "elapsed_s": "1242.196",
      "input_id": "input-4524",
      "step": "771",
      "action": "MODEL_CLICK com.bijoysingh.quicknote:id/select_notes_layout",
      "input_source": "[WORKSPACE]/experiments/guitaboo-5app-1rep-baseline-comparison-20261107/analysis/evidence-zips/run_90be2cba06ed490eb48e0c51795875ef.zip!device-output/native/sata-com.bijoysingh.quicknote-ape-sata-running-minutes-60/jev-audit/inputs/generated-4525.json",
      "method_log_ref": "[WORKSPACE]/experiments/guitaboo-5app-1rep-baseline-comparison-20261107/analysis/evidence-zips/run_90be2cba06ed490eb48e0c51795875ef.zip!device-output/method-logcat.log:41161"
    },
    {
      "method": "<com.google.gson.stream.JsonToken: void <clinit>()>",
      "wall_time_ms": "1793991649031.0",
      "log_line": "41173",
      "category": "third_party",
      "library": "Google libraries",
      "elapsed_s": "1242.196",
      "input_id": "input-4524",
      "step": "771",
      "action": "MODEL_CLICK com.bijoysingh.quicknote:id/select_notes_layout",
      "input_source": "[WORKSPACE]/experiments/guitaboo-5app-1rep-baseline-comparison-20261107/analysis/evidence-zips/run_90be2cba06ed490eb48e0c51795875ef.zip!device-output/native/sata-com.bijoysingh.quicknote-ape-sata-running-minutes-60/jev-audit/inputs/generated-4525.json",
      "method_log_ref": "[WORKSPACE]/experiments/guitaboo-5app-1rep-baseline-comparison-20261107/analysis/evidence-zips/run_90be2cba06ed490eb48e0c51795875ef.zip!device-output/method-logcat.log:41173"
    },
    {
      "method": "<com.google.gson.stream.JsonToken: void <init>(java.lang.String,int)>",
      "wall_time_ms": "1793991649031.0",
      "log_line": "41174",
      "category": "third_party",
      "library": "Google libraries",
      "elapsed_s": "1242.196",
      "input_id": "input-4524",
      "step": "771",
      "action": "MODEL_CLICK com.bijoysingh.quicknote:id/select_notes_layout",
      "input_source": "[WORKSPACE]/experiments/guitaboo-5app-1rep-baseline-comparison-20261107/analysis/evidence-zips/run_90be2cba06ed490eb48e0c51795875ef.zip!device-output/native/sata-com.bijoysingh.quicknote-ape-sata-running-minutes-60/jev-audit/inputs/generated-4525.json",
      "method_log_ref": "[WORKSPACE]/experiments/guitaboo-5app-1rep-baseline-comparison-20261107/analysis/evidence-zips/run_90be2cba06ed490eb48e0c51795875ef.zip!device-output/method-logcat.log:41174"
    },
    {
      "method": "<com.google.gson.Gson: void assertFullConsumption(java.lang.Object,com.google.gson.stream.JsonReader)>",
      "wall_time_ms": "1793991649032.0",
      "log_line": "41198",
      "category": "third_party",
      "library": "Google libraries",
      "elapsed_s": "1242.197",
      "input_id": "input-4524",
      "step": "771",
      "action": "MODEL_CLICK com.bijoysingh.quicknote:id/select_notes_layout",
      "input_source": "[WORKSPACE]/experiments/guitaboo-5app-1rep-baseline-comparison-20261107/analysis/evidence-zips/run_90be2cba06ed490eb48e0c51795875ef.zip!device-output/native/sata-com.bijoysingh.quicknote-ape-sata-running-minutes-60/jev-audit/inputs/generated-4525.json",
      "method_log_ref": "[WORKSPACE]/experiments/guitaboo-5app-1rep-baseline-comparison-20261107/analysis/evidence-zips/run_90be2cba06ed490eb48e0c51795875ef.zip!device-output/method-logcat.log:41198"
    },
    {
      "method": "<com.google.gson.internal.ConstructorConstructor$3: java.lang.Object construct()>",
      "wall_time_ms": "1793991649032.0",
      "log_line": "41176",
      "category": "third_party",
      "library": "Google libraries",
      "elapsed_s": "1242.197",
      "input_id": "input-4524",
      "step": "771",
      "action": "MODEL_CLICK com.bijoysingh.quicknote:id/select_notes_layout",
      "input_source": "[WORKSPACE]/experiments/guitaboo-5app-1rep-baseline-comparison-20261107/analysis/evidence-zips/run_90be2cba06ed490eb48e0c51795875ef.zip!device-output/native/sata-com.bijoysingh.quicknote-ape-sata-running-minutes-60/jev-audit/inputs/generated-4525.json",
      "method_log_ref": "[WORKSPACE]/experiments/guitaboo-5app-1rep-baseline-comparison-20261107/analysis/evidence-zips/run_90be2cba06ed490eb48e0c51795875ef.zip!device-output/method-logcat.log:41176"
    },
    {
      "method": "<com.google.gson.internal.bind.ReflectiveTypeAdapterFactory$1: void read(com.google.gson.stream.JsonReader,java.lang.Object)>",
      "wall_time_ms": "1793991649032.0",
      "log_line": "41182",
      "category": "third_party",
      "library": "Google libraries",
      "elapsed_s": "1242.197",
      "input_id": "input-4524",
      "step": "771",
      "action": "MODEL_CLICK com.bijoysingh.quicknote:id/select_notes_layout",
      "input_source": "[WORKSPACE]/experiments/guitaboo-5app-1rep-baseline-comparison-20261107/analysis/evidence-zips/run_90be2cba06ed490eb48e0c51795875ef.zip!device-output/native/sata-com.bijoysingh.quicknote-ape-sata-running-minutes-60/jev-audit/inputs/generated-4525.json",
      "method_log_ref": "[WORKSPACE]/experiments/guitaboo-5app-1rep-baseline-comparison-20261107/analysis/evidence-zips/run_90be2cba06ed490eb48e0c51795875ef.zip!device-output/method-logcat.log:41182"
    },
    {
      "method": "<com.google.gson.internal.bind.ReflectiveTypeAdapterFactory$Adapter: java.lang.Object read(com.google.gson.stream.JsonReader)>",
      "wall_time_ms": "1793991649032.0",
      "log_line": "41175",
      "category": "third_party",
      "library": "Google libraries",
      "elapsed_s": "1242.197",
      "input_id": "input-4524",
      "step": "771",
      "action": "MODEL_CLICK com.bijoysingh.quicknote:id/select_notes_layout",
      "input_source": "[WORKSPACE]/experiments/guitaboo-5app-1rep-baseline-comparison-20261107/analysis/evidence-zips/run_90be2cba06ed490eb48e0c51795875ef.zip!device-output/native/sata-com.bijoysingh.quicknote-ape-sata-running-minutes-60/jev-audit/inputs/generated-4525.json",
      "method_log_ref": "[WORKSPACE]/experiments/guitaboo-5app-1rep-baseline-comparison-20261107/analysis/evidence-zips/run_90be2cba06ed490eb48e0c51795875ef.zip!device-output/method-logcat.log:41175"
    },
    {
      "method": "<com.google.gson.internal.bind.TypeAdapters$11: java.lang.Number read(com.google.gson.stream.JsonReader)>",
      "wall_time_ms": "1793991649032.0",
      "log_line": "41189",
      "category": "third_party",
      "library": "Google libraries",
      "elapsed_s": "1242.197",
      "input_id": "input-4524",
      "step": "771",
      "action": "MODEL_CLICK com.bijoysingh.quicknote:id/select_notes_layout",
      "input_source": "[WORKSPACE]/experiments/guitaboo-5app-1rep-baseline-comparison-20261107/analysis/evidence-zips/run_90be2cba06ed490eb48e0c51795875ef.zip!device-output/native/sata-com.bijoysingh.quicknote-ape-sata-running-minutes-60/jev-audit/inputs/generated-4525.json",
      "method_log_ref": "[WORKSPACE]/experiments/guitaboo-5app-1rep-baseline-comparison-20261107/analysis/evidence-zips/run_90be2cba06ed490eb48e0c51795875ef.zip!device-output/method-logcat.log:41189"
    },
    {
      "method": "<com.google.gson.internal.bind.TypeAdapters$11: java.lang.Object read(com.google.gson.stream.JsonReader)>",
      "wall_time_ms": "1793991649032.0",
      "log_line": "41188",
      "category": "third_party",
      "library": "Google libraries",
      "elapsed_s": "1242.197",
      "input_id": "input-4524",
      "step": "771",
      "action": "MODEL_CLICK com.bijoysingh.quicknote:id/select_notes_layout",
      "input_source": "[WORKSPACE]/experiments/guitaboo-5app-1rep-baseline-comparison-20261107/analysis/evidence-zips/run_90be2cba06ed490eb48e0c51795875ef.zip!device-output/native/sata-com.bijoysingh.quicknote-ape-sata-running-minutes-60/jev-audit/inputs/generated-4525.json",
      "method_log_ref": "[WORKSPACE]/experiments/guitaboo-5app-1rep-baseline-comparison-20261107/analysis/evidence-zips/run_90be2cba06ed490eb48e0c51795875ef.zip!device-output/method-logcat.log:41188"
    },
    {
      "method": "<com.google.gson.internal.bind.TypeAdapters$7: java.lang.Number read(com.google.gson.stream.JsonReader)>",
      "wall_time_ms": "1793991649032.0",
      "log_line": "41195",
      "category": "third_party",
      "library": "Google libraries",
      "elapsed_s": "1242.197",
      "input_id": "input-4524",
      "step": "771",
      "action": "MODEL_CLICK com.bijoysingh.quicknote:id/select_notes_layout",
      "input_source": "[WORKSPACE]/experiments/guitaboo-5app-1rep-baseline-comparison-20261107/analysis/evidence-zips/run_90be2cba06ed490eb48e0c51795875ef.zip!device-output/native/sata-com.bijoysingh.quicknote-ape-sata-running-minutes-60/jev-audit/inputs/generated-4525.json",
      "method_log_ref": "[WORKSPACE]/experiments/guitaboo-5app-1rep-baseline-comparison-20261107/analysis/evidence-zips/run_90be2cba06ed490eb48e0c51795875ef.zip!device-output/method-logcat.log:41195"
    },
    {
      "method": "<com.google.gson.internal.bind.TypeAdapters$7: java.lang.Object read(com.google.gson.stream.JsonReader)>",
      "wall_time_ms": "1793991649032.0",
      "log_line": "41194",
      "category": "third_party",
      "library": "Google libraries",
      "elapsed_s": "1242.197",
      "input_id": "input-4524",
      "step": "771",
      "action": "MODEL_CLICK com.bijoysingh.quicknote:id/select_notes_layout",
      "input_source": "[WORKSPACE]/experiments/guitaboo-5app-1rep-baseline-comparison-20261107/analysis/evidence-zips/run_90be2cba06ed490eb48e0c51795875ef.zip!device-output/native/sata-com.bijoysingh.quicknote-ape-sata-running-minutes-60/jev-audit/inputs/generated-4525.json",
      "method_log_ref": "[WORKSPACE]/experiments/guitaboo-5app-1rep-baseline-comparison-20261107/analysis/evidence-zips/run_90be2cba06ed490eb48e0c51795875ef.zip!device-output/method-logcat.log:41194"
    },
    {
      "method": "<com.google.gson.internal.bind.TypeAdapters$EnumTypeAdapter: java.lang.Enum read(com.google.gson.stream.JsonReader)>",
      "wall_time_ms": "1793991649032.0",
      "log_line": "41186",
      "category": "third_party",
      "library": "Google libraries",
      "elapsed_s": "1242.197",
      "input_id": "input-4524",
      "step": "771",
      "action": "MODEL_CLICK com.bijoysingh.quicknote:id/select_notes_layout",
      "input_source": "[WORKSPACE]/experiments/guitaboo-5app-1rep-baseline-comparison-20261107/analysis/evidence-zips/run_90be2cba06ed490eb48e0c51795875ef.zip!device-output/native/sata-com.bijoysingh.quicknote-ape-sata-running-minutes-60/jev-audit/inputs/generated-4525.json",
      "method_log_ref": "[WORKSPACE]/experiments/guitaboo-5app-1rep-baseline-comparison-20261107/analysis/evidence-zips/run_90be2cba06ed490eb48e0c51795875ef.zip!device-output/method-logcat.log:41186"
    },
    {
      "method": "<com.google.gson.internal.bind.TypeAdapters$EnumTypeAdapter: java.lang.Object read(com.google.gson.stream.JsonReader)>",
      "wall_time_ms": "1793991649032.0",
      "log_line": "41185",
      "category": "third_party",
      "library": "Google libraries",
      "elapsed_s": "1242.197",
      "input_id": "input-4524",
      "step": "771",
      "action": "MODEL_CLICK com.bijoysingh.quicknote:id/select_notes_layout",
      "input_source": "[WORKSPACE]/experiments/guitaboo-5app-1rep-baseline-comparison-20261107/analysis/evidence-zips/run_90be2cba06ed490eb48e0c51795875ef.zip!device-output/native/sata-com.bijoysingh.quicknote-ape-sata-running-minutes-60/jev-audit/inputs/generated-4525.json",
      "method_log_ref": "[WORKSPACE]/experiments/guitaboo-5app-1rep-baseline-comparison-20261107/analysis/evidence-zips/run_90be2cba06ed490eb48e0c51795875ef.zip!device-output/method-logcat.log:41185"
    },
    {
      "method": "<com.google.gson.stream.JsonReader: boolean hasNext()>",
      "wall_time_ms": "1793991649032.0",
      "log_line": "41179",
      "category": "third_party",
      "library": "Google libraries",
      "elapsed_s": "1242.197",
      "input_id": "input-4524",
      "step": "771",
      "action": "MODEL_CLICK com.bijoysingh.quicknote:id/select_notes_layout",
      "input_source": "[WORKSPACE]/experiments/guitaboo-5app-1rep-baseline-comparison-20261107/analysis/evidence-zips/run_90be2cba06ed490eb48e0c51795875ef.zip!device-output/native/sata-com.bijoysingh.quicknote-ape-sata-running-minutes-60/jev-audit/inputs/generated-4525.json",
      "method_log_ref": "[WORKSPACE]/experiments/guitaboo-5app-1rep-baseline-comparison-20261107/analysis/evidence-zips/run_90be2cba06ed490eb48e0c51795875ef.zip!device-output/method-logcat.log:41179"
    },
    {
      "method": "<com.google.gson.stream.JsonReader: boolean isLiteral(char)>",
      "wall_time_ms": "1793991649032.0",
      "log_line": "41192",
      "category": "third_party",
      "library": "Google libraries",
      "elapsed_s": "1242.197",
      "input_id": "input-4524",
      "step": "771",
      "action": "MODEL_CLICK com.bijoysingh.quicknote:id/select_notes_layout",
      "input_source": "[WORKSPACE]/experiments/guitaboo-5app-1rep-baseline-comparison-20261107/analysis/evidence-zips/run_90be2cba06ed490eb48e0c51795875ef.zip!device-output/native/sata-com.bijoysingh.quicknote-ape-sata-running-minutes-60/jev-audit/inputs/generated-4525.json",
      "method_log_ref": "[WORKSPACE]/experiments/guitaboo-5app-1rep-baseline-comparison-20261107/analysis/evidence-zips/run_90be2cba06ed490eb48e0c51795875ef.zip!device-output/method-logcat.log:41192"
    },
    {
      "method": "<com.google.gson.stream.JsonReader: int nextInt()>",
      "wall_time_ms": "1793991649032.0",
      "log_line": "41196",
      "category": "third_party",
      "library": "Google libraries",
      "elapsed_s": "1242.197",
      "input_id": "input-4524",
      "step": "771",
      "action": "MODEL_CLICK com.bijoysingh.quicknote:id/select_notes_layout",
      "input_source": "[WORKSPACE]/experiments/guitaboo-5app-1rep-baseline-comparison-20261107/analysis/evidence-zips/run_90be2cba06ed490eb48e0c51795875ef.zip!device-output/native/sata-com.bijoysingh.quicknote-ape-sata-running-minutes-60/jev-audit/inputs/generated-4525.json",
      "method_log_ref": "[WORKSPACE]/experiments/guitaboo-5app-1rep-baseline-comparison-20261107/analysis/evidence-zips/run_90be2cba06ed490eb48e0c51795875ef.zip!device-output/method-logcat.log:41196"
    },
    {
      "method": "<com.google.gson.stream.JsonReader: int peekKeyword()>",
      "wall_time_ms": "1793991649032.0",
      "log_line": "41190",
      "category": "third_party",
      "library": "Google libraries",
      "elapsed_s": "1242.197",
      "input_id": "input-4524",
      "step": "771",
      "action": "MODEL_CLICK com.bijoysingh.quicknote:id/select_notes_layout",
      "input_source": "[WORKSPACE]/experiments/guitaboo-5app-1rep-baseline-comparison-20261107/analysis/evidence-zips/run_90be2cba06ed490eb48e0c51795875ef.zip!device-output/native/sata-com.bijoysingh.quicknote-ape-sata-running-minutes-60/jev-audit/inputs/generated-4525.json",
      "method_log_ref": "[WORKSPACE]/experiments/guitaboo-5app-1rep-baseline-comparison-20261107/analysis/evidence-zips/run_90be2cba06ed490eb48e0c51795875ef.zip!device-output/method-logcat.log:41190"
    },
    {
      "method": "<com.google.gson.stream.JsonReader: int peekNumber()>",
      "wall_time_ms": "1793991649032.0",
      "log_line": "41191",
      "category": "third_party",
      "library": "Google libraries",
      "elapsed_s": "1242.197",
      "input_id": "input-4524",
      "step": "771",
      "action": "MODEL_CLICK com.bijoysingh.quicknote:id/select_notes_layout",
      "input_source": "[WORKSPACE]/experiments/guitaboo-5app-1rep-baseline-comparison-20261107/analysis/evidence-zips/run_90be2cba06ed490eb48e0c51795875ef.zip!device-output/native/sata-com.bijoysingh.quicknote-ape-sata-running-minutes-60/jev-audit/inputs/generated-4525.json",
      "method_log_ref": "[WORKSPACE]/experiments/guitaboo-5app-1rep-baseline-comparison-20261107/analysis/evidence-zips/run_90be2cba06ed490eb48e0c51795875ef.zip!device-output/method-logcat.log:41191"
    },
    {
      "method": "<com.google.gson.stream.JsonReader: java.lang.String nextName()>",
      "wall_time_ms": "1793991649032.0",
      "log_line": "41180",
      "category": "third_party",
      "library": "Google libraries",
      "elapsed_s": "1242.197",
      "input_id": "input-4524",
      "step": "771",
      "action": "MODEL_CLICK com.bijoysingh.quicknote:id/select_notes_layout",
      "input_source": "[WORKSPACE]/experiments/guitaboo-5app-1rep-baseline-comparison-20261107/analysis/evidence-zips/run_90be2cba06ed490eb48e0c51795875ef.zip!device-output/native/sata-com.bijoysingh.quicknote-ape-sata-running-minutes-60/jev-audit/inputs/generated-4525.json",
      "method_log_ref": "[WORKSPACE]/experiments/guitaboo-5app-1rep-baseline-comparison-20261107/analysis/evidence-zips/run_90be2cba06ed490eb48e0c51795875ef.zip!device-output/method-logcat.log:41180"
    },
    {
      "method": "<com.google.gson.stream.JsonReader: java.lang.String nextQuotedValue(char)>",
      "wall_time_ms": "1793991649032.0",
      "log_line": "41181",
      "category": "third_party",
      "library": "Google libraries",
      "elapsed_s": "1242.197",
      "input_id": "input-4524",
      "step": "771",
      "action": "MODEL_CLICK com.bijoysingh.quicknote:id/select_notes_layout",
      "input_source": "[WORKSPACE]/experiments/guitaboo-5app-1rep-baseline-comparison-20261107/analysis/evidence-zips/run_90be2cba06ed490eb48e0c51795875ef.zip!device-output/native/sata-com.bijoysingh.quicknote-ape-sata-running-minutes-60/jev-audit/inputs/generated-4525.json",
      "method_log_ref": "[WORKSPACE]/experiments/guitaboo-5app-1rep-baseline-comparison-20261107/analysis/evidence-zips/run_90be2cba06ed490eb48e0c51795875ef.zip!device-output/method-logcat.log:41181"
    },
    {
      "method": "<com.google.gson.stream.JsonReader: java.lang.String nextString()>",
      "wall_time_ms": "1793991649032.0",
      "log_line": "41187",
      "category": "third_party",
      "library": "Google libraries",
      "elapsed_s": "1242.197",
      "input_id": "input-4524",
      "step": "771",
      "action": "MODEL_CLICK com.bijoysingh.quicknote:id/select_notes_layout",
      "input_source": "[WORKSPACE]/experiments/guitaboo-5app-1rep-baseline-comparison-20261107/analysis/evidence-zips/run_90be2cba06ed490eb48e0c51795875ef.zip!device-output/native/sata-com.bijoysingh.quicknote-ape-sata-running-minutes-60/jev-audit/inputs/generated-4525.json",
      "method_log_ref": "[WORKSPACE]/experiments/guitaboo-5app-1rep-baseline-comparison-20261107/analysis/evidence-zips/run_90be2cba06ed490eb48e0c51795875ef.zip!device-output/method-logcat.log:41187"
    },
    {
      "method": "<com.google.gson.stream.JsonReader: long nextLong()>",
      "wall_time_ms": "1793991649032.0",
      "log_line": "41193",
      "category": "third_party",
      "library": "Google libraries",
      "elapsed_s": "1242.197",
      "input_id": "input-4524",
      "step": "771",
      "action": "MODEL_CLICK com.bijoysingh.quicknote:id/select_notes_layout",
      "input_source": "[WORKSPACE]/experiments/guitaboo-5app-1rep-baseline-comparison-20261107/analysis/evidence-zips/run_90be2cba06ed490eb48e0c51795875ef.zip!device-output/native/sata-com.bijoysingh.quicknote-ape-sata-running-minutes-60/jev-audit/inputs/generated-4525.json",
      "method_log_ref": "[WORKSPACE]/experiments/guitaboo-5app-1rep-baseline-comparison-20261107/analysis/evidence-zips/run_90be2cba06ed490eb48e0c51795875ef.zip!device-output/method-logcat.log:41193"
    },
    {
      "method": "<com.google.gson.stream.JsonReader: void beginObject()>",
      "wall_time_ms": "1793991649032.0",
      "log_line": "41177",
      "category": "third_party",
      "library": "Google libraries",
      "elapsed_s": "1242.197",
      "input_id": "input-4524",
      "step": "771",
      "action": "MODEL_CLICK com.bijoysingh.quicknote:id/select_notes_layout",
      "input_source": "[WORKSPACE]/experiments/guitaboo-5app-1rep-baseline-comparison-20261107/analysis/evidence-zips/run_90be2cba06ed490eb48e0c51795875ef.zip!device-output/native/sata-com.bijoysingh.quicknote-ape-sata-running-minutes-60/jev-audit/inputs/generated-4525.json",
      "method_log_ref": "[WORKSPACE]/experiments/guitaboo-5app-1rep-baseline-comparison-20261107/analysis/evidence-zips/run_90be2cba06ed490eb48e0c51795875ef.zip!device-output/method-logcat.log:41177"
    },
    {
      "method": "<com.google.gson.stream.JsonReader: void endObject()>",
      "wall_time_ms": "1793991649032.0",
      "log_line": "41197",
      "category": "third_party",
      "library": "Google libraries",
      "elapsed_s": "1242.197",
      "input_id": "input-4524",
      "step": "771",
      "action": "MODEL_CLICK com.bijoysingh.quicknote:id/select_notes_layout",
      "input_source": "[WORKSPACE]/experiments/guitaboo-5app-1rep-baseline-comparison-20261107/analysis/evidence-zips/run_90be2cba06ed490eb48e0c51795875ef.zip!device-output/native/sata-com.bijoysingh.quicknote-ape-sata-running-minutes-60/jev-audit/inputs/generated-4525.json",
      "method_log_ref": "[WORKSPACE]/experiments/guitaboo-5app-1rep-baseline-comparison-20261107/analysis/evidence-zips/run_90be2cba06ed490eb48e0c51795875ef.zip!device-output/method-logcat.log:41197"
    },
    {
      "method": "<com.google.gson.stream.JsonReader: void push(int)>",
      "wall_time_ms": "1793991649032.0",
      "log_line": "41178",
      "category": "third_party",
      "library": "Google libraries",
      "elapsed_s": "1242.197",
      "input_id": "input-4524",
      "step": "771",
      "action": "MODEL_CLICK com.bijoysingh.quicknote:id/select_notes_layout",
      "input_source": "[WORKSPACE]/experiments/guitaboo-5app-1rep-baseline-comparison-20261107/analysis/evidence-zips/run_90be2cba06ed490eb48e0c51795875ef.zip!device-output/native/sata-com.bijoysingh.quicknote-ape-sata-running-minutes-60/jev-audit/inputs/generated-4525.json",
      "method_log_ref": "[WORKSPACE]/experiments/guitaboo-5app-1rep-baseline-comparison-20261107/analysis/evidence-zips/run_90be2cba06ed490eb48e0c51795875ef.zip!device-output/method-logcat.log:41178"
    },
    {
      "method": "<com.maubis.scarlet.base.core.note.Reminder: void <init>()>",
      "wall_time_ms": "1793991649032.0",
      "log_line": "41183",
      "category": "app_domain",
      "library": "app_domain",
      "elapsed_s": "1242.197",
      "input_id": "input-4524",
      "step": "771",
      "action": "MODEL_CLICK com.bijoysingh.quicknote:id/select_notes_layout",
      "input_source": "[WORKSPACE]/experiments/guitaboo-5app-1rep-baseline-comparison-20261107/analysis/evidence-zips/run_90be2cba06ed490eb48e0c51795875ef.zip!device-output/native/sata-com.bijoysingh.quicknote-ape-sata-running-minutes-60/jev-audit/inputs/generated-4525.json",
      "method_log_ref": "[WORKSPACE]/experiments/guitaboo-5app-1rep-baseline-comparison-20261107/analysis/evidence-zips/run_90be2cba06ed490eb48e0c51795875ef.zip!device-output/method-logcat.log:41183"
    },
    {
      "method": "<com.maubis.scarlet.base.core.note.Reminder: void <init>(int,long,com.maubis.scarlet.base.core.note.ReminderInterval,int,kotlin.jvm.internal.DefaultConstructorMarker)>",
      "wall_time_ms": "1793991649032.0",
      "log_line": "41184",
      "category": "app_domain",
      "library": "app_domain",
      "elapsed_s": "1242.197",
      "input_id": "input-4524",
      "step": "771",
      "action": "MODEL_CLICK com.bijoysingh.quicknote:id/select_notes_layout",
      "input_source": "[WORKSPACE]/experiments/guitaboo-5app-1rep-baseline-comparison-20261107/analysis/evidence-zips/run_90be2cba06ed490eb48e0c51795875ef.zip!device-output/native/sata-com.bijoysingh.quicknote-ape-sata-running-minutes-60/jev-audit/inputs/generated-4525.json",
      "method_log_ref": "[WORKSPACE]/experiments/guitaboo-5app-1rep-baseline-comparison-20261107/analysis/evidence-zips/run_90be2cba06ed490eb48e0c51795875ef.zip!device-output/method-logcat.log:41184"
    }
  ],
  "first_method_count": 40,
  "category_counts": {
    "third_party": 38,
    "app_domain": 2
  },
  "libraries": {
    "Google libraries": 38,
    "app_domain": 2
  },
  "source_screenshot": {
    "local": "cases/run_90be2cba06ed490eb48e0c51795875ef/run_90be2cba06ed490eb48e0c51795875ef-step-771-before.png",
    "source": "[WORKSPACE]/experiments/guitaboo-5app-1rep-baseline-comparison-20261107/analysis/evidence-zips/run_90be2cba06ed490eb48e0c51795875ef.zip!device-output/native/sata-com.bijoysingh.quicknote-ape-sata-running-minutes-60/ape-state-screenshots/g21s58-128.png",
    "capture_step": 128,
    "requested_step": 771,
    "alignment": "same final-State representative; NOT an exact action-time screenshot"
  },
  "target_screenshot": {
    "local": "cases/run_90be2cba06ed490eb48e0c51795875ef/run_90be2cba06ed490eb48e0c51795875ef-step-771-after.png",
    "source": "[WORKSPACE]/experiments/guitaboo-5app-1rep-baseline-comparison-20261107/analysis/evidence-zips/run_90be2cba06ed490eb48e0c51795875ef.zip!device-output/native/sata-com.bijoysingh.quicknote-ape-sata-running-minutes-60/ape-state-screenshots/g46s169-706.png",
    "capture_step": 706,
    "requested_step": 772,
    "alignment": "same final-State representative; NOT an exact action-time screenshot"
  },
  "executor_source": "[WORKSPACE]/experiments/guitaboo-5app-1rep-baseline-comparison-20261107/analysis/evidence-zips/run_90be2cba06ed490eb48e0c51795875ef.zip!device-output/executor.log:72882",
  "executor_lines": [
    "[APE] >>>>>>>> SATA begin step [771][Elapsed: 0000 00:20:41]",
    "[APE] *** INFO *** Explored 6 app activities.",
    "[APE] *** INFO *** Used: 38 MB, Max: 192 MB, Available: 154 MB",
    "[APE] *** INFO *** Create state g21s58[128,740][19]com.maubis.scarlet.base.MainActivity@-759737034@Naming[69]@[W=18][A=18] for GUI tree GUITree[911@0]@g21s58[128,740][19]com.maubis.scarlet.base.MainActivity@-759737034@Naming[69]@[W=18][A=18]",
    "[APE] *** INFO *** Check under-abstracted states g21s58[128,740][19]com.maubis.scarlet.base.MainActivity@-759737034@Naming[69]@[W=18][A=18]: #0",
    "[APE] *** INFO *** Check under-abstracted states collected 4 targets for naming Naming[69]. The state is g21s58[128,740][19]com.maubis.scarlet.base.MainActivity@-759737034@Naming[69]@[W=18][A=18]. #0",
    "[APE] *** INFO *** batchAbstract: refined targets: 2, affected states: 2, threshold: 8, affected threshold.",
    "[APE] *** INFO *** batchAbstract: refined targets: 2 <= threshold: 8 ",
    "[APE] *** INFO *** batchAbstract: affected states: 2 <= threshold: 8 ",
    "[APE] *** INFO *** Pre-checking under-abstracted states takes 0 ms",
    "[APE] *** INFO *** Check over-abstracted states g21s58[128,740][19]com.maubis.scarlet.base.MainActivity@-759737034@Naming[69]@[W=18][A=18]: #0",
    "[APE] *** INFO *** Checking over-abstracted states takes 0 ms",
    "[APE] *** INFO *** Check under-abstracted states g21s58[128,740][19]com.maubis.scarlet.base.MainActivity@-759737034@Naming[69]@[W=18][A=18]: #0",
    "[APE] *** INFO *** Check under-abstracted states collected 4 targets for naming Naming[69]. The state is g21s58[128,740][19]com.maubis.scarlet.base.MainActivity@-759737034@Naming[69]@[W=18][A=18]. #0",
    "[APE] *** INFO *** batchAbstract: refined targets: 2, affected states: 2, threshold: 8, affected threshold.",
    "[APE] *** INFO *** batchAbstract: refined targets: 2 <= threshold: 8 ",
    "[APE] *** INFO *** batchAbstract: affected states: 2 <= threshold: 8 ",
    "[APE] *** INFO *** Post-checking under-abstracted states takes 0 ms",
    "[APE] === Adding edge...",
    "[APE]     Source: g20s56[127,770][62]com.maubis.scarlet.base.MainActivity@-1995370546@Naming[3]@[W=8][A=9]",
    "[APE]     Action: g20a874[127,770][21]@MODEL_LONG_CLICKclass=android.widget.FrameLayout;enabled=true;clickable=true;long-clickable=true;[P=36][T=0][][S=1.000000][RN=4][0,231,540,796][]",
    "[APE]     Target: g21s58[128,771][20]com.maubis.scarlet.base.MainActivity@-759737034@Naming[69]@[W=18][A=18]",
    "[APE]     Add target result: false",
    "[APE] GSTG(g46): activities (6), states (65), edges (376), unvisited actions (304), visited actions (310)",
    "[APE] *** INFO *** -  0.48  23 com.maubis.scarlet.base.MainActivity[1,771][298][S=23]",
    "[APE] *** INFO *** -  0.64  17 com.maubis.scarlet.base.note.creation.activity.CreateNoteActivity[2,736][510][S=17]",
    "[APE] *** INFO *** -  0.52  11 com.maubis.scarlet.base.note.creation.activity.CreateListNoteActivity[163,611][491][S=11]",
    "[APE] *** INFO *** -  0.33   1 com.maubis.scarlet.base.export.activity.ImportNoteActivity[310,310][2][S=1]",
    "[APE] *** INFO *** -  0.25   1 com.maubis.scarlet.base.note.selection.activity.SelectNotesActivity[706,712][7][S=1]",
    "[APE] *** INFO *** -  0.35  12 com.maubis.scarlet.base.note.creation.activity.ViewAdvancedNoteActivity[139,703][57][S=12]",
    "[APE] GSTG is NOT updated.",
    "[APE] GSTG state is changed.",
    "[APE] Graph Stable Counter: graph (1), state (0), activity (34)",
    "[APE] Sata Strategy: buffer size (2)",
    "[APE]      0  TRIVIAL_ACTIVITY",
    "[APE]      0  SATURATED_STATE",
    "[APE]     12  USE_BUFFER",
    "[APE]    738  EARLY_STAGE",
    "[APE]     17  EPSILON_GREEDY",
    "[APE]      0  RANDOM",
    "[APE]      0  NULL",
    "[APE]     91  BUFFER_LOSS",
    "[APE]    201  FILL_BUFFER",
    "[APE]      0  BAD_STATE",
    "[APE]      3  PROBE",
    "[APE]     1 g21a880[690,690][1]@MODEL_CLICKclass=android.widget.FrameLayout;resource-id=com.bijoysingh.quicknote:id/tag_card_layout;enabled=true;clickable=true;[P=22][T=0][][S=1.000000][RN=1][22,1354,529,1590][]",
    "[APE]     2 g21a881[705,705][1]@MODEL_CLICKclass=android.widget.FrameLayout;resource-id=com.bijoysingh.quicknote:id/select_notes_layout;enabled=true;clickable=true;[P=32][T=500][][S=1.000000][RN=1][551,1354,1058,1590][]",
    "[APE]     3 g21a882[735,735][1]@MODEL_CLICKclass=android.widget.LinearLayout;index=0;enabled=true;clickable=true;[P=22][T=500][][S=1.000000][RN=1][109,734,383,1001][]",
    "[APE]     4 g21a883[679,679][1]@MODEL_CLICKclass=android.widget.LinearLayout;index=1;enabled=true;clickable=true;[P=22][T=0][][S=1.000000][RN=1][403,734,677,1002][]",
    "[APE]     5 g21a884[693,693][1]@MODEL_CLICKclass=android.widget.LinearLayout;index=2;enabled=true;clickable=true;[P=22][T=0][][S=1.000000][RN=1][697,734,971,1002][]",
    "[APE]     6 g21a885[728,728][1]@MODEL_CLICKclass=android.widget.LinearLayout;index=3;enabled=true;clickable=true;[P=22][T=0][][S=1.000000][RN=1][109,1022,383,1289][]",
    "[APE]     7 g21a886[738,738][1]@MODEL_CLICKclass=android.widget.LinearLayout;index=4;enabled=true;clickable=true;[P=22][T=0][][S=1.000000][RN=1][403,1022,677,1289][]",
    "[APE]     8 g21a887[721,723][2]@MODEL_CLICKclass=android.widget.LinearLayout;index=5;enabled=true;clickable=true;[P=52][T=0][][S=1.000000][RN=1][697,1022,971,1290][]",
    "[APE]     9 g21a888[714,714][1]@MODEL_CLICKclass=android.widget.LinearLayout;index=8;enabled=true;clickable=true;[P=22][T=0][][S=1.000000][RN=1][109,1654,383,1922][]",
    "[APE]    10 g21a889[732,732][1]@MODEL_CLICKclass=android.widget.LinearLayout;index=9;enabled=true;clickable=true;[P=22][T=0][][S=1.000000][RN=1][403,1654,677,1922][]",
    "[APE]    11 g21a890[128,128][1]@MODEL_CLICKclass=android.widget.LinearLayout;index=10;enabled=true;clickable=true;[P=22][T=0][][S=1.000000][RN=1][697,1654,971,1921][]",
    "[APE]    12 g21a891[698,698][1]@MODEL_CLICKclass=android.widget.LinearLayout;index=11;enabled=true;clickable=true;[P=22][T=0][][S=1.000000][RN=1][109,2028,383,2295][]",
    "[APE]    13 g21a892[730,730][1]@MODEL_CLICKclass=android.widget.LinearLayout;index=12;enabled=true;clickable=true;[P=22][T=0][][S=1.000000][RN=1][403,2028,677,2296][]",
    "[APE]    14 g21a893[695,695][1]@MODEL_CLICKclass=android.widget.LinearLayout;index=13;enabled=true;clickable=true;[P=22][T=0][][S=1.000000][RN=1][697,2028,971,2296][]",
    "[APE]    15 g21a894[700,740][2]@MODEL_CLICKclass=android.widget.LinearLayout;index=14;enabled=true;clickable=true;[P=42][T=0][][S=1.000000][RN=1][109,2316,383,2337][]",
    "[APE]    16 g21a895[688,688][1]@MODEL_CLICKclass=android.widget.LinearLayout;index=15;enabled=true;clickable=true;[P=22][T=0][][S=1.000000][RN=1][403,2316,677,2337][]",
    "[APE]    17 g21a896[717,717][1]@MODEL_CLICKclass=android.widget.LinearLayout;index=16;enabled=true;clickable=true;[P=22][T=0][][S=1.000000][RN=1][697,2316,971,2337][]",
    "[APE]    18 g21a897[-1,0][0]@MODEL_BACKg21s58[128,771][20]com.maubis.scarlet.base.MainActivity@-759737034@Naming[69]@[W=18][A=18][P=13][T=200][, UNVISITED]",
    "[APE] *** INFO *** Check global actions.",
    "[APE] *** INFO *** Peek an action from buffer g21a881[705,705][1]@MODEL_CLICKclass=android.widget.FrameLayout;resource-id=com.bijoysingh.quicknote:id/select_notes_layout;enabled=true;clickable=true;[P=32][T=500][][S=1.000000][RN=1][551,1354,1058,1590][]",
    "[APE] *** INFO *** Buffer action throttle: original: 500, tracked: 200",
    "[APE] *** INFO *** Select action g21a881[705,705][1]@MODEL_CLICKclass=android.widget.FrameLayout;resource-id=com.bijoysingh.quicknote:id/select_notes_layout;enabled=true;clickable=true;[P=32][T=500][][S=1.000000][RN=1][551,1354,1058,1590][] by strategy USE_BUFFER",
    "[APE] Last  state: g44s165[701,769][7]com.maubis.scarlet.base.MainActivity@166201294@Naming[0]@[W=5][A=5]",
    "[APE] Last action: g44a2146[769,769][1]@MODEL_CLICKclass=android.widget.TextView;resource-id=com.bijoysingh.quicknote:id/set_alarm;enabled=true;clickable=true;[P=52][T=200][][S=0.000000][RN=1][43,2202,1037,2294][DONE]",
    "[APE] Curr  state: g20s56[127,770][62]com.maubis.scarlet.base.MainActivity@-1995370546@Naming[3]@[W=8][A=9]",
    "[APE] Curr action: g20a874[127,770][21]@MODEL_LONG_CLICKclass=android.widget.FrameLayout;enabled=true;clickable=true;long-clickable=true;[P=36][T=0][][S=1.000000][RN=4][0,231,540,796][]",
    "[APE] New   state: g21s58[128,771][20]com.maubis.scarlet.base.MainActivity@-759737034@Naming[69]@[W=18][A=18]",
    "[APE] New  action: g21a881[705,771][2]@MODEL_CLICKclass=android.widget.FrameLayout;resource-id=com.bijoysingh.quicknote:id/select_notes_layout;enabled=true;clickable=true;[P=32][T=500][][S=1.000000][RN=1][551,1354,1058,1590][]",
    "[APE] >>>>>>>> SATA end step [771]",
    "[APE] *** INFO *** EXECUTE action_fp=type=MODEL_CLICK|activity=com.maubis.scarlet.base.MainActivity|class=android.widget.FrameLayout|text=|resource_id=com.bijoysingh.quicknote:id/select_notes_layout|bounds=551,1354,1058,1590 target_fp=activity=com.maubis.scarlet.base.MainActivity|class=android.widget.FrameLayout|text=|resource_id=com.bijoysingh.quicknote:id/select_notes_layout action=g21a881[705,771][2]@MODEL_CLICKclass=android.widget.FrameLayout;resource-id=com.bijoysingh.quicknote:id/select_notes_layout;enabled=true;clickable=true;[P=32][T=500][][S=1.000000][RN=1][551,1354,1058,1590][]",
    ":Sending Touch (ACTION_DOWN): 0:(804.5,1472.0)",
    ":Sending Touch (ACTION_UP): 0:(804.5,1472.0)",
    "    // Allowing start of Intent { cmp=com.bijoysingh.quicknote/com.maubis.scarlet.base.note.selection.activity.SelectNotesActivity } in package com.bijoysingh.quicknote"
  ],
  "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."
}