{
  "app": "scarletnotes",
  "condition": "JEV_PAIRWISE",
  "reference": false,
  "run_id": "run_95f70b23a59843b09110e90e309c467e",
  "step": 805,
  "elapsed_s": "1261.705",
  "selection": {
    "event": "SELECTION_DECISION",
    "step": 805,
    "monotonic_ns": 1888317958445441,
    "wall_time_ms": 1793999270405,
    "abstraction_version": 64,
    "state_id": "g63s199",
    "model_action_id": "g63a2576",
    "snapshot_reason": "selection",
    "state_visits": 4,
    "state_first_seen": 790,
    "state_last_seen": 805,
    "state_saturated": false,
    "state_saturation": 0.11111111,
    "native_state_saturated": false,
    "native_unsaturated_model_action_count": 16,
    "model_action_count": 18,
    "enabled_valid_action_count": 18,
    "unsaturated_model_action_count": 16,
    "unvisited_model_action_count": 16,
    "effective_unvisited_model_action_count": 16,
    "effective_state_saturated": false,
    "local_probe_action_count": 0,
    "navigation_action_count": 16,
    "enabled_valid_unvisited_action_count": 16,
    "unvisited_model_action_ids": "g63a2564,g63a2565,g63a2567,g63a2568,g63a2569,g63a2570,g63a2571,g63a2572,g63a2573,g63a2574,g63a2575,g63a2576,g63a2577,g63a2579,g63a2580,g63a2581",
    "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=com.maubis.scarlet.base.note.creation.activity.ViewAdvancedNoteActivity|class=android.widget.LinearLayout|text=|resource_id=|bounds=403,2257,677,2337",
    "selected_resolved_node_count": 1
  },
  "inputs": [
    {
      "input_id": "input-4582",
      "step": "805",
      "version": "64",
      "elapsed_s": "1261.705",
      "wall_time_ms": "1793999270405",
      "next_input_wall_ms": "1793999271307",
      "input_completed_wall_ms": "1793999270427",
      "input_confirmed": "True",
      "action": "MODEL_CLICK android.widget.LinearLayout",
      "action_type": "MODEL_CLICK",
      "text": "",
      "content_desc": "",
      "resource_id": "",
      "model_action_id": "g63a2576",
      "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='true']/*[@class=\"android.widget.LinearLayout\"][@resource-id=\"\"][@text=\"\"][@content-desc=\"\"][@index=12][@enabled='true'][@clickable='true'][@checkable='false'][@long-clickable='false'][@scrollable='false'][@enabled='true'][@clickable='true'][@checkable='false'][@long-clickable='false'][@scrollable='false']",
      "state_id": "g63s199",
      "source_gui_id": "945",
      "activity": "com.maubis.scarlet.base.note.creation.activity.ViewAdvancedNoteActivity",
      "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_95f70b23a59843b09110e90e309c467e.zip!device-output/executor.log:74275",
      "observed_methods_until_next": "32",
      "category_counts": "{\"app_domain\":17,\"third_party\":15}",
      "inventory_ref": "[WORKSPACE]/experiments/guitaboo-5app-1rep-baseline-comparison-20261107/analysis/evidence-zips/run_95f70b23a59843b09110e90e309c467e.zip!device-output/native/sata-com.bijoysingh.quicknote-ape-sata-running-minutes-60/jev-audit/inputs/generated-4583.json"
    }
  ],
  "following_transition": {
    "event": "NATIVE_TRANSITION",
    "step": 806,
    "monotonic_ns": 1888318856913744,
    "wall_time_ms": 1793999271303,
    "abstraction_version": 64,
    "state_id": "g63s199",
    "model_action_id": "g63a2576",
    "transition_id": "g64e419:800",
    "new_state": false,
    "new_model_action": false,
    "refinement": false,
    "self_loop": false,
    "activity_unchanged": true,
    "gui_unchanged": false,
    "target_state": "g61s185",
    "input_confirmed": true
  },
  "first_methods_since_inputs": [
    {
      "method": "<com.maubis.scarlet.base.note.actions.NoteOptionsBottomSheet$getOptions$2: void onClick(android.view.View)>",
      "wall_time_ms": "1793999270428.0",
      "log_line": "28428",
      "category": "app_domain",
      "library": "app_domain",
      "elapsed_s": "1261.728",
      "input_id": "input-4582",
      "step": "805",
      "action": "MODEL_CLICK android.widget.LinearLayout",
      "input_source": "[WORKSPACE]/experiments/guitaboo-5app-1rep-baseline-comparison-20261107/analysis/evidence-zips/run_95f70b23a59843b09110e90e309c467e.zip!device-output/native/sata-com.bijoysingh.quicknote-ape-sata-running-minutes-60/jev-audit/inputs/generated-4583.json",
      "method_log_ref": "[WORKSPACE]/experiments/guitaboo-5app-1rep-baseline-comparison-20261107/analysis/evidence-zips/run_95f70b23a59843b09110e90e309c467e.zip!device-output/method-logcat.log:28428"
    },
    {
      "method": "<com.maubis.scarlet.base.notification.NotificationHandler: void <init>(android.content.Context)>",
      "wall_time_ms": "1793999270429.0",
      "log_line": "28429",
      "category": "app_domain",
      "library": "app_domain",
      "elapsed_s": "1261.729",
      "input_id": "input-4582",
      "step": "805",
      "action": "MODEL_CLICK android.widget.LinearLayout",
      "input_source": "[WORKSPACE]/experiments/guitaboo-5app-1rep-baseline-comparison-20261107/analysis/evidence-zips/run_95f70b23a59843b09110e90e309c467e.zip!device-output/native/sata-com.bijoysingh.quicknote-ape-sata-running-minutes-60/jev-audit/inputs/generated-4583.json",
      "method_log_ref": "[WORKSPACE]/experiments/guitaboo-5app-1rep-baseline-comparison-20261107/analysis/evidence-zips/run_95f70b23a59843b09110e90e309c467e.zip!device-output/method-logcat.log:28429"
    },
    {
      "method": "<com.maubis.scarlet.base.notification.NotificationHandler: void createNotificationChannel()>",
      "wall_time_ms": "1793999270431.0",
      "log_line": "28430",
      "category": "app_domain",
      "library": "app_domain",
      "elapsed_s": "1261.731",
      "input_id": "input-4582",
      "step": "805",
      "action": "MODEL_CLICK android.widget.LinearLayout",
      "input_source": "[WORKSPACE]/experiments/guitaboo-5app-1rep-baseline-comparison-20261107/analysis/evidence-zips/run_95f70b23a59843b09110e90e309c467e.zip!device-output/native/sata-com.bijoysingh.quicknote-ape-sata-running-minutes-60/jev-audit/inputs/generated-4583.json",
      "method_log_ref": "[WORKSPACE]/experiments/guitaboo-5app-1rep-baseline-comparison-20261107/analysis/evidence-zips/run_95f70b23a59843b09110e90e309c467e.zip!device-output/method-logcat.log:28430"
    },
    {
      "method": "<com.maubis.scarlet.base.notification.NotificationConfig: com.maubis.scarlet.base.database.room.note.Note getNote()>",
      "wall_time_ms": "1793999270436.0",
      "log_line": "28435",
      "category": "app_domain",
      "library": "app_domain",
      "elapsed_s": "1261.736",
      "input_id": "input-4582",
      "step": "805",
      "action": "MODEL_CLICK android.widget.LinearLayout",
      "input_source": "[WORKSPACE]/experiments/guitaboo-5app-1rep-baseline-comparison-20261107/analysis/evidence-zips/run_95f70b23a59843b09110e90e309c467e.zip!device-output/native/sata-com.bijoysingh.quicknote-ape-sata-running-minutes-60/jev-audit/inputs/generated-4583.json",
      "method_log_ref": "[WORKSPACE]/experiments/guitaboo-5app-1rep-baseline-comparison-20261107/analysis/evidence-zips/run_95f70b23a59843b09110e90e309c467e.zip!device-output/method-logcat.log:28435"
    },
    {
      "method": "<com.maubis.scarlet.base.notification.NotificationConfig: void <init>(com.maubis.scarlet.base.database.room.note.Note,java.lang.String)>",
      "wall_time_ms": "1793999270436.0",
      "log_line": "28432",
      "category": "app_domain",
      "library": "app_domain",
      "elapsed_s": "1261.736",
      "input_id": "input-4582",
      "step": "805",
      "action": "MODEL_CLICK android.widget.LinearLayout",
      "input_source": "[WORKSPACE]/experiments/guitaboo-5app-1rep-baseline-comparison-20261107/analysis/evidence-zips/run_95f70b23a59843b09110e90e309c467e.zip!device-output/native/sata-com.bijoysingh.quicknote-ape-sata-running-minutes-60/jev-audit/inputs/generated-4583.json",
      "method_log_ref": "[WORKSPACE]/experiments/guitaboo-5app-1rep-baseline-comparison-20261107/analysis/evidence-zips/run_95f70b23a59843b09110e90e309c467e.zip!device-output/method-logcat.log:28432"
    },
    {
      "method": "<com.maubis.scarlet.base.notification.NotificationConfig: void <init>(com.maubis.scarlet.base.database.room.note.Note,java.lang.String,int,kotlin.jvm.internal.DefaultConstructorMarker)>",
      "wall_time_ms": "1793999270436.0",
      "log_line": "28431",
      "category": "app_domain",
      "library": "app_domain",
      "elapsed_s": "1261.736",
      "input_id": "input-4582",
      "step": "805",
      "action": "MODEL_CLICK android.widget.LinearLayout",
      "input_source": "[WORKSPACE]/experiments/guitaboo-5app-1rep-baseline-comparison-20261107/analysis/evidence-zips/run_95f70b23a59843b09110e90e309c467e.zip!device-output/native/sata-com.bijoysingh.quicknote-ape-sata-running-minutes-60/jev-audit/inputs/generated-4583.json",
      "method_log_ref": "[WORKSPACE]/experiments/guitaboo-5app-1rep-baseline-comparison-20261107/analysis/evidence-zips/run_95f70b23a59843b09110e90e309c467e.zip!device-output/method-logcat.log:28431"
    },
    {
      "method": "<com.maubis.scarlet.base.notification.NotificationHandler: android.app.PendingIntent getPendingActivityIntent(com.maubis.scarlet.base.notification.NotificationConfig,android.content.Intent,int)>",
      "wall_time_ms": "1793999270436.0",
      "log_line": "28436",
      "category": "app_domain",
      "library": "app_domain",
      "elapsed_s": "1261.736",
      "input_id": "input-4582",
      "step": "805",
      "action": "MODEL_CLICK android.widget.LinearLayout",
      "input_source": "[WORKSPACE]/experiments/guitaboo-5app-1rep-baseline-comparison-20261107/analysis/evidence-zips/run_95f70b23a59843b09110e90e309c467e.zip!device-output/native/sata-com.bijoysingh.quicknote-ape-sata-running-minutes-60/jev-audit/inputs/generated-4583.json",
      "method_log_ref": "[WORKSPACE]/experiments/guitaboo-5app-1rep-baseline-comparison-20261107/analysis/evidence-zips/run_95f70b23a59843b09110e90e309c467e.zip!device-output/method-logcat.log:28436"
    },
    {
      "method": "<com.maubis.scarlet.base.notification.NotificationHandler: android.content.Intent getNoteOpenIntent(com.maubis.scarlet.base.notification.NotificationConfig)>",
      "wall_time_ms": "1793999270436.0",
      "log_line": "28434",
      "category": "app_domain",
      "library": "app_domain",
      "elapsed_s": "1261.736",
      "input_id": "input-4582",
      "step": "805",
      "action": "MODEL_CLICK android.widget.LinearLayout",
      "input_source": "[WORKSPACE]/experiments/guitaboo-5app-1rep-baseline-comparison-20261107/analysis/evidence-zips/run_95f70b23a59843b09110e90e309c467e.zip!device-output/native/sata-com.bijoysingh.quicknote-ape-sata-running-minutes-60/jev-audit/inputs/generated-4583.json",
      "method_log_ref": "[WORKSPACE]/experiments/guitaboo-5app-1rep-baseline-comparison-20261107/analysis/evidence-zips/run_95f70b23a59843b09110e90e309c467e.zip!device-output/method-logcat.log:28434"
    },
    {
      "method": "<com.maubis.scarlet.base.notification.NotificationHandler: void openNotification(com.maubis.scarlet.base.notification.NotificationConfig)>",
      "wall_time_ms": "1793999270436.0",
      "log_line": "28433",
      "category": "app_domain",
      "library": "app_domain",
      "elapsed_s": "1261.736",
      "input_id": "input-4582",
      "step": "805",
      "action": "MODEL_CLICK android.widget.LinearLayout",
      "input_source": "[WORKSPACE]/experiments/guitaboo-5app-1rep-baseline-comparison-20261107/analysis/evidence-zips/run_95f70b23a59843b09110e90e309c467e.zip!device-output/native/sata-com.bijoysingh.quicknote-ape-sata-running-minutes-60/jev-audit/inputs/generated-4583.json",
      "method_log_ref": "[WORKSPACE]/experiments/guitaboo-5app-1rep-baseline-comparison-20261107/analysis/evidence-zips/run_95f70b23a59843b09110e90e309c467e.zip!device-output/method-logcat.log:28433"
    },
    {
      "method": "<com.maubis.scarlet.base.notification.NotificationHandler: android.widget.RemoteViews getRemoteView(com.maubis.scarlet.base.notification.NotificationConfig)>",
      "wall_time_ms": "1793999270437.0",
      "log_line": "28437",
      "category": "app_domain",
      "library": "app_domain",
      "elapsed_s": "1261.737",
      "input_id": "input-4582",
      "step": "805",
      "action": "MODEL_CLICK android.widget.LinearLayout",
      "input_source": "[WORKSPACE]/experiments/guitaboo-5app-1rep-baseline-comparison-20261107/analysis/evidence-zips/run_95f70b23a59843b09110e90e309c467e.zip!device-output/native/sata-com.bijoysingh.quicknote-ape-sata-running-minutes-60/jev-audit/inputs/generated-4583.json",
      "method_log_ref": "[WORKSPACE]/experiments/guitaboo-5app-1rep-baseline-comparison-20261107/analysis/evidence-zips/run_95f70b23a59843b09110e90e309c467e.zip!device-output/method-logcat.log:28437"
    },
    {
      "method": "<com.maubis.scarlet.base.note.NoteExtensionsKt: java.lang.String getTextForSharing(com.maubis.scarlet.base.database.room.note.Note)>",
      "wall_time_ms": "1793999270438.0",
      "log_line": "28438",
      "category": "app_domain",
      "library": "app_domain",
      "elapsed_s": "1261.738",
      "input_id": "input-4582",
      "step": "805",
      "action": "MODEL_CLICK android.widget.LinearLayout",
      "input_source": "[WORKSPACE]/experiments/guitaboo-5app-1rep-baseline-comparison-20261107/analysis/evidence-zips/run_95f70b23a59843b09110e90e309c467e.zip!device-output/native/sata-com.bijoysingh.quicknote-ape-sata-running-minutes-60/jev-audit/inputs/generated-4583.json",
      "method_log_ref": "[WORKSPACE]/experiments/guitaboo-5app-1rep-baseline-comparison-20261107/analysis/evidence-zips/run_95f70b23a59843b09110e90e309c467e.zip!device-output/method-logcat.log:28438"
    },
    {
      "method": "<com.maubis.scarlet.base.notification.NotificationHandler: android.content.Intent getNoteEditIntent(com.maubis.scarlet.base.notification.NotificationConfig)>",
      "wall_time_ms": "1793999270438.0",
      "log_line": "28439",
      "category": "app_domain",
      "library": "app_domain",
      "elapsed_s": "1261.738",
      "input_id": "input-4582",
      "step": "805",
      "action": "MODEL_CLICK android.widget.LinearLayout",
      "input_source": "[WORKSPACE]/experiments/guitaboo-5app-1rep-baseline-comparison-20261107/analysis/evidence-zips/run_95f70b23a59843b09110e90e309c467e.zip!device-output/native/sata-com.bijoysingh.quicknote-ape-sata-running-minutes-60/jev-audit/inputs/generated-4583.json",
      "method_log_ref": "[WORKSPACE]/experiments/guitaboo-5app-1rep-baseline-comparison-20261107/analysis/evidence-zips/run_95f70b23a59843b09110e90e309c467e.zip!device-output/method-logcat.log:28439"
    },
    {
      "method": "<com.maubis.scarlet.base.notification.NotificationHandler: android.app.PendingIntent getPendingServiceIntent(com.maubis.scarlet.base.notification.NotificationConfig,android.content.Intent,int)>",
      "wall_time_ms": "1793999270439.0",
      "log_line": "28443",
      "category": "app_domain",
      "library": "app_domain",
      "elapsed_s": "1261.739",
      "input_id": "input-4582",
      "step": "805",
      "action": "MODEL_CLICK android.widget.LinearLayout",
      "input_source": "[WORKSPACE]/experiments/guitaboo-5app-1rep-baseline-comparison-20261107/analysis/evidence-zips/run_95f70b23a59843b09110e90e309c467e.zip!device-output/native/sata-com.bijoysingh.quicknote-ape-sata-running-minutes-60/jev-audit/inputs/generated-4583.json",
      "method_log_ref": "[WORKSPACE]/experiments/guitaboo-5app-1rep-baseline-comparison-20261107/analysis/evidence-zips/run_95f70b23a59843b09110e90e309c467e.zip!device-output/method-logcat.log:28443"
    },
    {
      "method": "<com.maubis.scarlet.base.notification.NotificationHandler: android.content.Intent getNoteActionIntent(com.maubis.scarlet.base.notification.NotificationConfig,com.maubis.scarlet.base.notification.NotificationIntentService$NoteAction)>",
      "wall_time_ms": "1793999270439.0",
      "log_line": "28442",
      "category": "app_domain",
      "library": "app_domain",
      "elapsed_s": "1261.739",
      "input_id": "input-4582",
      "step": "805",
      "action": "MODEL_CLICK android.widget.LinearLayout",
      "input_source": "[WORKSPACE]/experiments/guitaboo-5app-1rep-baseline-comparison-20261107/analysis/evidence-zips/run_95f70b23a59843b09110e90e309c467e.zip!device-output/native/sata-com.bijoysingh.quicknote-ape-sata-running-minutes-60/jev-audit/inputs/generated-4583.json",
      "method_log_ref": "[WORKSPACE]/experiments/guitaboo-5app-1rep-baseline-comparison-20261107/analysis/evidence-zips/run_95f70b23a59843b09110e90e309c467e.zip!device-output/method-logcat.log:28442"
    },
    {
      "method": "<com.maubis.scarlet.base.notification.NotificationIntentService$NoteAction: void <clinit>()>",
      "wall_time_ms": "1793999270439.0",
      "log_line": "28440",
      "category": "app_domain",
      "library": "app_domain",
      "elapsed_s": "1261.739",
      "input_id": "input-4582",
      "step": "805",
      "action": "MODEL_CLICK android.widget.LinearLayout",
      "input_source": "[WORKSPACE]/experiments/guitaboo-5app-1rep-baseline-comparison-20261107/analysis/evidence-zips/run_95f70b23a59843b09110e90e309c467e.zip!device-output/native/sata-com.bijoysingh.quicknote-ape-sata-running-minutes-60/jev-audit/inputs/generated-4583.json",
      "method_log_ref": "[WORKSPACE]/experiments/guitaboo-5app-1rep-baseline-comparison-20261107/analysis/evidence-zips/run_95f70b23a59843b09110e90e309c467e.zip!device-output/method-logcat.log:28440"
    },
    {
      "method": "<com.maubis.scarlet.base.notification.NotificationIntentService$NoteAction: void <init>(java.lang.String,int)>",
      "wall_time_ms": "1793999270439.0",
      "log_line": "28441",
      "category": "app_domain",
      "library": "app_domain",
      "elapsed_s": "1261.739",
      "input_id": "input-4582",
      "step": "805",
      "action": "MODEL_CLICK android.widget.LinearLayout",
      "input_source": "[WORKSPACE]/experiments/guitaboo-5app-1rep-baseline-comparison-20261107/analysis/evidence-zips/run_95f70b23a59843b09110e90e309c467e.zip!device-output/native/sata-com.bijoysingh.quicknote-ape-sata-running-minutes-60/jev-audit/inputs/generated-4583.json",
      "method_log_ref": "[WORKSPACE]/experiments/guitaboo-5app-1rep-baseline-comparison-20261107/analysis/evidence-zips/run_95f70b23a59843b09110e90e309c467e.zip!device-output/method-logcat.log:28441"
    },
    {
      "method": "<com.maubis.scarlet.base.notification.NotificationConfig: java.lang.String getChannel()>",
      "wall_time_ms": "1793999270440.0",
      "log_line": "28444",
      "category": "app_domain",
      "library": "app_domain",
      "elapsed_s": "1261.74",
      "input_id": "input-4582",
      "step": "805",
      "action": "MODEL_CLICK android.widget.LinearLayout",
      "input_source": "[WORKSPACE]/experiments/guitaboo-5app-1rep-baseline-comparison-20261107/analysis/evidence-zips/run_95f70b23a59843b09110e90e309c467e.zip!device-output/native/sata-com.bijoysingh.quicknote-ape-sata-running-minutes-60/jev-audit/inputs/generated-4583.json",
      "method_log_ref": "[WORKSPACE]/experiments/guitaboo-5app-1rep-baseline-comparison-20261107/analysis/evidence-zips/run_95f70b23a59843b09110e90e309c467e.zip!device-output/method-logcat.log:28444"
    },
    {
      "method": "<android.support.v4.app.NotificationCompat$Builder: android.app.Notification build()>",
      "wall_time_ms": "1793999270441.0",
      "log_line": "28456",
      "category": "third_party",
      "library": "AndroidSupport",
      "elapsed_s": "1261.741",
      "input_id": "input-4582",
      "step": "805",
      "action": "MODEL_CLICK android.widget.LinearLayout",
      "input_source": "[WORKSPACE]/experiments/guitaboo-5app-1rep-baseline-comparison-20261107/analysis/evidence-zips/run_95f70b23a59843b09110e90e309c467e.zip!device-output/native/sata-com.bijoysingh.quicknote-ape-sata-running-minutes-60/jev-audit/inputs/generated-4583.json",
      "method_log_ref": "[WORKSPACE]/experiments/guitaboo-5app-1rep-baseline-comparison-20261107/analysis/evidence-zips/run_95f70b23a59843b09110e90e309c467e.zip!device-output/method-logcat.log:28456"
    },
    {
      "method": "<android.support.v4.app.NotificationCompat$Builder: android.support.v4.app.NotificationCompat$Builder setAutoCancel(boolean)>",
      "wall_time_ms": "1793999270441.0",
      "log_line": "28454",
      "category": "third_party",
      "library": "AndroidSupport",
      "elapsed_s": "1261.741",
      "input_id": "input-4582",
      "step": "805",
      "action": "MODEL_CLICK android.widget.LinearLayout",
      "input_source": "[WORKSPACE]/experiments/guitaboo-5app-1rep-baseline-comparison-20261107/analysis/evidence-zips/run_95f70b23a59843b09110e90e309c467e.zip!device-output/native/sata-com.bijoysingh.quicknote-ape-sata-running-minutes-60/jev-audit/inputs/generated-4583.json",
      "method_log_ref": "[WORKSPACE]/experiments/guitaboo-5app-1rep-baseline-comparison-20261107/analysis/evidence-zips/run_95f70b23a59843b09110e90e309c467e.zip!device-output/method-logcat.log:28454"
    },
    {
      "method": "<android.support.v4.app.NotificationCompat$Builder: android.support.v4.app.NotificationCompat$Builder setCategory(java.lang.String)>",
      "wall_time_ms": "1793999270441.0",
      "log_line": "28450",
      "category": "third_party",
      "library": "AndroidSupport",
      "elapsed_s": "1261.741",
      "input_id": "input-4582",
      "step": "805",
      "action": "MODEL_CLICK android.widget.LinearLayout",
      "input_source": "[WORKSPACE]/experiments/guitaboo-5app-1rep-baseline-comparison-20261107/analysis/evidence-zips/run_95f70b23a59843b09110e90e309c467e.zip!device-output/native/sata-com.bijoysingh.quicknote-ape-sata-running-minutes-60/jev-audit/inputs/generated-4583.json",
      "method_log_ref": "[WORKSPACE]/experiments/guitaboo-5app-1rep-baseline-comparison-20261107/analysis/evidence-zips/run_95f70b23a59843b09110e90e309c467e.zip!device-output/method-logcat.log:28450"
    },
    {
      "method": "<android.support.v4.app.NotificationCompat$Builder: android.support.v4.app.NotificationCompat$Builder setColor(int)>",
      "wall_time_ms": "1793999270441.0",
      "log_line": "28449",
      "category": "third_party",
      "library": "AndroidSupport",
      "elapsed_s": "1261.741",
      "input_id": "input-4582",
      "step": "805",
      "action": "MODEL_CLICK android.widget.LinearLayout",
      "input_source": "[WORKSPACE]/experiments/guitaboo-5app-1rep-baseline-comparison-20261107/analysis/evidence-zips/run_95f70b23a59843b09110e90e309c467e.zip!device-output/native/sata-com.bijoysingh.quicknote-ape-sata-running-minutes-60/jev-audit/inputs/generated-4583.json",
      "method_log_ref": "[WORKSPACE]/experiments/guitaboo-5app-1rep-baseline-comparison-20261107/analysis/evidence-zips/run_95f70b23a59843b09110e90e309c467e.zip!device-output/method-logcat.log:28449"
    },
    {
      "method": "<android.support.v4.app.NotificationCompat$Builder: android.support.v4.app.NotificationCompat$Builder setContent(android.widget.RemoteViews)>",
      "wall_time_ms": "1793999270441.0",
      "log_line": "28451",
      "category": "third_party",
      "library": "AndroidSupport",
      "elapsed_s": "1261.741",
      "input_id": "input-4582",
      "step": "805",
      "action": "MODEL_CLICK android.widget.LinearLayout",
      "input_source": "[WORKSPACE]/experiments/guitaboo-5app-1rep-baseline-comparison-20261107/analysis/evidence-zips/run_95f70b23a59843b09110e90e309c467e.zip!device-output/native/sata-com.bijoysingh.quicknote-ape-sata-running-minutes-60/jev-audit/inputs/generated-4583.json",
      "method_log_ref": "[WORKSPACE]/experiments/guitaboo-5app-1rep-baseline-comparison-20261107/analysis/evidence-zips/run_95f70b23a59843b09110e90e309c467e.zip!device-output/method-logcat.log:28451"
    },
    {
      "method": "<android.support.v4.app.NotificationCompat$Builder: android.support.v4.app.NotificationCompat$Builder setContentIntent(android.app.PendingIntent)>",
      "wall_time_ms": "1793999270441.0",
      "log_line": "28453",
      "category": "third_party",
      "library": "AndroidSupport",
      "elapsed_s": "1261.741",
      "input_id": "input-4582",
      "step": "805",
      "action": "MODEL_CLICK android.widget.LinearLayout",
      "input_source": "[WORKSPACE]/experiments/guitaboo-5app-1rep-baseline-comparison-20261107/analysis/evidence-zips/run_95f70b23a59843b09110e90e309c467e.zip!device-output/native/sata-com.bijoysingh.quicknote-ape-sata-running-minutes-60/jev-audit/inputs/generated-4583.json",
      "method_log_ref": "[WORKSPACE]/experiments/guitaboo-5app-1rep-baseline-comparison-20261107/analysis/evidence-zips/run_95f70b23a59843b09110e90e309c467e.zip!device-output/method-logcat.log:28453"
    },
    {
      "method": "<android.support.v4.app.NotificationCompat$Builder: android.support.v4.app.NotificationCompat$Builder setContentTitle(java.lang.CharSequence)>",
      "wall_time_ms": "1793999270441.0",
      "log_line": "28447",
      "category": "third_party",
      "library": "AndroidSupport",
      "elapsed_s": "1261.741",
      "input_id": "input-4582",
      "step": "805",
      "action": "MODEL_CLICK android.widget.LinearLayout",
      "input_source": "[WORKSPACE]/experiments/guitaboo-5app-1rep-baseline-comparison-20261107/analysis/evidence-zips/run_95f70b23a59843b09110e90e309c467e.zip!device-output/native/sata-com.bijoysingh.quicknote-ape-sata-running-minutes-60/jev-audit/inputs/generated-4583.json",
      "method_log_ref": "[WORKSPACE]/experiments/guitaboo-5app-1rep-baseline-comparison-20261107/analysis/evidence-zips/run_95f70b23a59843b09110e90e309c467e.zip!device-output/method-logcat.log:28447"
    },
    {
      "method": "<android.support.v4.app.NotificationCompat$Builder: android.support.v4.app.NotificationCompat$Builder setCustomBigContentView(android.widget.RemoteViews)>",
      "wall_time_ms": "1793999270441.0",
      "log_line": "28452",
      "category": "third_party",
      "library": "AndroidSupport",
      "elapsed_s": "1261.741",
      "input_id": "input-4582",
      "step": "805",
      "action": "MODEL_CLICK android.widget.LinearLayout",
      "input_source": "[WORKSPACE]/experiments/guitaboo-5app-1rep-baseline-comparison-20261107/analysis/evidence-zips/run_95f70b23a59843b09110e90e309c467e.zip!device-output/native/sata-com.bijoysingh.quicknote-ape-sata-running-minutes-60/jev-audit/inputs/generated-4583.json",
      "method_log_ref": "[WORKSPACE]/experiments/guitaboo-5app-1rep-baseline-comparison-20261107/analysis/evidence-zips/run_95f70b23a59843b09110e90e309c467e.zip!device-output/method-logcat.log:28452"
    },
    {
      "method": "<android.support.v4.app.NotificationCompat$Builder: android.support.v4.app.NotificationCompat$Builder setSmallIcon(int)>",
      "wall_time_ms": "1793999270441.0",
      "log_line": "28446",
      "category": "third_party",
      "library": "AndroidSupport",
      "elapsed_s": "1261.741",
      "input_id": "input-4582",
      "step": "805",
      "action": "MODEL_CLICK android.widget.LinearLayout",
      "input_source": "[WORKSPACE]/experiments/guitaboo-5app-1rep-baseline-comparison-20261107/analysis/evidence-zips/run_95f70b23a59843b09110e90e309c467e.zip!device-output/native/sata-com.bijoysingh.quicknote-ape-sata-running-minutes-60/jev-audit/inputs/generated-4583.json",
      "method_log_ref": "[WORKSPACE]/experiments/guitaboo-5app-1rep-baseline-comparison-20261107/analysis/evidence-zips/run_95f70b23a59843b09110e90e309c467e.zip!device-output/method-logcat.log:28446"
    },
    {
      "method": "<android.support.v4.app.NotificationCompat$Builder: java.lang.CharSequence limitCharSequenceLength(java.lang.CharSequence)>",
      "wall_time_ms": "1793999270441.0",
      "log_line": "28448",
      "category": "third_party",
      "library": "AndroidSupport",
      "elapsed_s": "1261.741",
      "input_id": "input-4582",
      "step": "805",
      "action": "MODEL_CLICK android.widget.LinearLayout",
      "input_source": "[WORKSPACE]/experiments/guitaboo-5app-1rep-baseline-comparison-20261107/analysis/evidence-zips/run_95f70b23a59843b09110e90e309c467e.zip!device-output/native/sata-com.bijoysingh.quicknote-ape-sata-running-minutes-60/jev-audit/inputs/generated-4583.json",
      "method_log_ref": "[WORKSPACE]/experiments/guitaboo-5app-1rep-baseline-comparison-20261107/analysis/evidence-zips/run_95f70b23a59843b09110e90e309c467e.zip!device-output/method-logcat.log:28448"
    },
    {
      "method": "<android.support.v4.app.NotificationCompat$Builder: void <init>(android.content.Context,java.lang.String)>",
      "wall_time_ms": "1793999270441.0",
      "log_line": "28445",
      "category": "third_party",
      "library": "AndroidSupport",
      "elapsed_s": "1261.741",
      "input_id": "input-4582",
      "step": "805",
      "action": "MODEL_CLICK android.widget.LinearLayout",
      "input_source": "[WORKSPACE]/experiments/guitaboo-5app-1rep-baseline-comparison-20261107/analysis/evidence-zips/run_95f70b23a59843b09110e90e309c467e.zip!device-output/native/sata-com.bijoysingh.quicknote-ape-sata-running-minutes-60/jev-audit/inputs/generated-4583.json",
      "method_log_ref": "[WORKSPACE]/experiments/guitaboo-5app-1rep-baseline-comparison-20261107/analysis/evidence-zips/run_95f70b23a59843b09110e90e309c467e.zip!device-output/method-logcat.log:28445"
    },
    {
      "method": "<android.support.v4.app.NotificationCompat$Builder: void setFlag(int,boolean)>",
      "wall_time_ms": "1793999270441.0",
      "log_line": "28455",
      "category": "third_party",
      "library": "AndroidSupport",
      "elapsed_s": "1261.741",
      "input_id": "input-4582",
      "step": "805",
      "action": "MODEL_CLICK android.widget.LinearLayout",
      "input_source": "[WORKSPACE]/experiments/guitaboo-5app-1rep-baseline-comparison-20261107/analysis/evidence-zips/run_95f70b23a59843b09110e90e309c467e.zip!device-output/native/sata-com.bijoysingh.quicknote-ape-sata-running-minutes-60/jev-audit/inputs/generated-4583.json",
      "method_log_ref": "[WORKSPACE]/experiments/guitaboo-5app-1rep-baseline-comparison-20261107/analysis/evidence-zips/run_95f70b23a59843b09110e90e309c467e.zip!device-output/method-logcat.log:28455"
    },
    {
      "method": "<android.support.v4.app.NotificationCompatBuilder: void <init>(android.support.v4.app.NotificationCompat$Builder)>",
      "wall_time_ms": "1793999270441.0",
      "log_line": "28457",
      "category": "third_party",
      "library": "AndroidSupport",
      "elapsed_s": "1261.741",
      "input_id": "input-4582",
      "step": "805",
      "action": "MODEL_CLICK android.widget.LinearLayout",
      "input_source": "[WORKSPACE]/experiments/guitaboo-5app-1rep-baseline-comparison-20261107/analysis/evidence-zips/run_95f70b23a59843b09110e90e309c467e.zip!device-output/native/sata-com.bijoysingh.quicknote-ape-sata-running-minutes-60/jev-audit/inputs/generated-4583.json",
      "method_log_ref": "[WORKSPACE]/experiments/guitaboo-5app-1rep-baseline-comparison-20261107/analysis/evidence-zips/run_95f70b23a59843b09110e90e309c467e.zip!device-output/method-logcat.log:28457"
    },
    {
      "method": "<android.support.v4.app.NotificationCompatBuilder: android.app.Notification build()>",
      "wall_time_ms": "1793999270442.0",
      "log_line": "28458",
      "category": "third_party",
      "library": "AndroidSupport",
      "elapsed_s": "1261.742",
      "input_id": "input-4582",
      "step": "805",
      "action": "MODEL_CLICK android.widget.LinearLayout",
      "input_source": "[WORKSPACE]/experiments/guitaboo-5app-1rep-baseline-comparison-20261107/analysis/evidence-zips/run_95f70b23a59843b09110e90e309c467e.zip!device-output/native/sata-com.bijoysingh.quicknote-ape-sata-running-minutes-60/jev-audit/inputs/generated-4583.json",
      "method_log_ref": "[WORKSPACE]/experiments/guitaboo-5app-1rep-baseline-comparison-20261107/analysis/evidence-zips/run_95f70b23a59843b09110e90e309c467e.zip!device-output/method-logcat.log:28458"
    },
    {
      "method": "<android.support.v4.app.NotificationCompatBuilder: android.app.Notification buildInternal()>",
      "wall_time_ms": "1793999270442.0",
      "log_line": "28459",
      "category": "third_party",
      "library": "AndroidSupport",
      "elapsed_s": "1261.742",
      "input_id": "input-4582",
      "step": "805",
      "action": "MODEL_CLICK android.widget.LinearLayout",
      "input_source": "[WORKSPACE]/experiments/guitaboo-5app-1rep-baseline-comparison-20261107/analysis/evidence-zips/run_95f70b23a59843b09110e90e309c467e.zip!device-output/native/sata-com.bijoysingh.quicknote-ape-sata-running-minutes-60/jev-audit/inputs/generated-4583.json",
      "method_log_ref": "[WORKSPACE]/experiments/guitaboo-5app-1rep-baseline-comparison-20261107/analysis/evidence-zips/run_95f70b23a59843b09110e90e309c467e.zip!device-output/method-logcat.log:28459"
    }
  ],
  "first_method_count": 32,
  "category_counts": {
    "app_domain": 17,
    "third_party": 15
  },
  "libraries": {
    "app_domain": 17,
    "AndroidSupport": 15
  },
  "source_screenshot": {
    "local": "cases/run_95f70b23a59843b09110e90e309c467e/run_95f70b23a59843b09110e90e309c467e-step-805-before.png",
    "source": "[WORKSPACE]/experiments/guitaboo-5app-1rep-baseline-comparison-20261107/analysis/evidence-zips/run_95f70b23a59843b09110e90e309c467e.zip!device-output/native/sata-com.bijoysingh.quicknote-ape-sata-running-minutes-60/ape-state-screenshots/g63s199-790.png",
    "capture_step": 790,
    "requested_step": 805,
    "alignment": "same final-State representative; NOT an exact action-time screenshot"
  },
  "target_screenshot": {
    "local": "cases/run_95f70b23a59843b09110e90e309c467e/run_95f70b23a59843b09110e90e309c467e-step-805-after.png",
    "source": "[WORKSPACE]/experiments/guitaboo-5app-1rep-baseline-comparison-20261107/analysis/evidence-zips/run_95f70b23a59843b09110e90e309c467e.zip!device-output/native/sata-com.bijoysingh.quicknote-ape-sata-running-minutes-60/ape-state-screenshots/g61s185-679.png",
    "capture_step": 679,
    "requested_step": 806,
    "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_95f70b23a59843b09110e90e309c467e.zip!device-output/executor.log:74275",
  "executor_lines": [
    "[APE] >>>>>>>> SATA begin step [805][Elapsed: 0000 00:21:01]",
    "[APE] *** INFO *** Explored 5 app activities.",
    "[APE] *** INFO *** Used: 46 MB, Max: 192 MB, Available: 146 MB",
    "[APE] *** INFO *** Patching this node: android.widget.LinearLayout@@",
    "[APE] *** INFO *** Patching child node: android.widget.ImageView@com.bijoysingh.quicknote:id/icon@",
    "[APE] *** INFO *** Patching this node: android.widget.LinearLayout@@",
    "[APE] *** INFO *** Patching child node: android.widget.ImageView@com.bijoysingh.quicknote:id/icon@",
    "[APE] *** INFO *** Patching this node: android.widget.LinearLayout@@",
    "[APE] *** INFO *** Patching child node: android.widget.ImageView@com.bijoysingh.quicknote:id/icon@",
    "[APE] *** INFO *** Create state g63s199[790,798][3]com.maubis.scarlet.base.note.creation.activity.ViewAdvancedNoteActivity@-1606385187@Naming[186]@[W=17][A=18] for GUI tree GUITree[945@0]@g63s199[790,798][3]com.maubis.scarlet.base.note.creation.activity.ViewAdvancedNoteActivity@-1606385187@Naming[186]@[W=17][A=18]",
    "[APE] *** INFO *** Check under-abstracted states g63s199[790,798][3]com.maubis.scarlet.base.note.creation.activity.ViewAdvancedNoteActivity@-1606385187@Naming[186]@[W=17][A=18]: #0",
    "[APE] *** INFO *** Check under-abstracted states collected 2 targets for naming Naming[186]. The state is g63s199[790,798][3]com.maubis.scarlet.base.note.creation.activity.ViewAdvancedNoteActivity@-1606385187@Naming[186]@[W=17][A=18]. #0",
    "[APE] *** INFO *** batchAbstract: refined targets: 1, affected states: 1, threshold: 8, affected threshold.",
    "[APE] *** INFO *** batchAbstract: refined targets: 1 <= threshold: 8 ",
    "[APE] *** INFO *** batchAbstract: affected states: 1 <= threshold: 8 ",
    "[APE] *** INFO *** Pre-checking under-abstracted states takes 0 ms",
    "[APE] *** INFO *** Check over-abstracted states g63s199[790,798][3]com.maubis.scarlet.base.note.creation.activity.ViewAdvancedNoteActivity@-1606385187@Naming[186]@[W=17][A=18]: #0",
    "[APE] *** INFO *** Checking over-abstracted states takes 0 ms",
    "[APE] *** INFO *** Check under-abstracted states g63s199[790,798][3]com.maubis.scarlet.base.note.creation.activity.ViewAdvancedNoteActivity@-1606385187@Naming[186]@[W=17][A=18]: #0",
    "[APE] *** INFO *** Check under-abstracted states collected 2 targets for naming Naming[186]. The state is g63s199[790,798][3]com.maubis.scarlet.base.note.creation.activity.ViewAdvancedNoteActivity@-1606385187@Naming[186]@[W=17][A=18]. #0",
    "[APE] *** INFO *** batchAbstract: refined targets: 1, affected states: 1, threshold: 8, affected threshold.",
    "[APE] *** INFO *** batchAbstract: refined targets: 1 <= threshold: 8 ",
    "[APE] *** INFO *** batchAbstract: affected states: 1 <= threshold: 8 ",
    "[APE] *** INFO *** Post-checking under-abstracted states takes 0 ms",
    "[APE] === Adding edge...",
    "[APE]     Source: g61s185[679,804][15]com.maubis.scarlet.base.note.creation.activity.ViewAdvancedNoteActivity@-1961086651@Naming[3]@[W=6][A=6]",
    "[APE]     Action: g61a2445[684,804][10]@MODEL_CLICKclass=android.view.ViewGroup;index=1;enabled=true;clickable=true;[P=42][T=200][][S=1.000000][RN=1][11,2211,116,2316][]",
    "[APE]     Target: g63s199[790,805][4]com.maubis.scarlet.base.note.creation.activity.ViewAdvancedNoteActivity@-1606385187@Naming[186]@[W=17][A=18]",
    "[APE]     Add target result: false",
    "[APE] GSTG(g64): activities (5), states (64), edges (419), unvisited actions (446), visited actions (354)",
    "[APE] *** INFO *** -  0.57  21 com.maubis.scarlet.base.MainActivity[1,774][504][S=21]",
    "[APE] *** INFO *** -  0.33  18 com.maubis.scarlet.base.note.creation.activity.CreateNoteActivity[2,792][450][S=18]",
    "[APE] *** INFO *** -  0.52   9 com.maubis.scarlet.base.note.creation.activity.CreateListNoteActivity[161,764][422][S=9]",
    "[APE] *** INFO *** -  0.34   5 com.maubis.scarlet.base.note.selection.activity.SelectNotesActivity[518,802][20][S=5]",
    "[APE] *** INFO *** -  0.54  11 com.maubis.scarlet.base.note.creation.activity.ViewAdvancedNoteActivity[562,805][74][S=11]",
    "[APE] GSTG is NOT updated.",
    "[APE] GSTG state is changed.",
    "[APE] Graph Stable Counter: graph (1), state (0), activity (2)",
    "[APE] Sata Strategy: buffer size (1)",
    "[APE]     25  TRIVIAL_ACTIVITY",
    "[APE]      0  SATURATED_STATE",
    "[APE]     66  USE_BUFFER",
    "[APE]    658  EARLY_STAGE",
    "[APE]     48  EPSILON_GREEDY",
    "[APE]      0  RANDOM",
    "[APE]      0  NULL",
    "[APE]     86  BUFFER_LOSS",
    "[APE]    213  FILL_BUFFER",
    "[APE]      0  BAD_STATE",
    "[APE]      7  PROBE",
    "[APE]     1 g63a2564[-1,0][0]@MODEL_CLICKclass=android.widget.FrameLayout;resource-id=com.bijoysingh.quicknote:id/tag_card_layout;enabled=true;clickable=true;[P=52][T=200][, UNVISITED][S=0.000000][RN=1][21,1353,1059,1564][]",
    "[APE]     2 g63a2565[-1,0][0]@MODEL_CLICKclass=android.widget.FrameLayout;resource-id=com.bijoysingh.quicknote:id/select_notes_layout;enabled=true;clickable=true;[P=52][T=200][, UNVISITED][S=0.000000][RN=1][21,1584,1059,1820][]",
    "[APE]     3 g63a2566[790,790][1]@MODEL_CLICKclass=android.widget.LinearLayout;index=0;enabled=true;clickable=true;[P=42][T=0][][S=1.000000][RN=1][109,734,383,1001][]",
    "[APE]     4 g63a2567[-1,0][0]@MODEL_CLICKclass=android.widget.LinearLayout;index=1;enabled=true;clickable=true;[P=52][T=200][, UNVISITED][S=0.000000][RN=1][403,734,677,1002][]",
    "[APE]     5 g63a2568[-1,0][0]@MODEL_CLICKclass=android.widget.LinearLayout;index=2;enabled=true;clickable=true;[P=52][T=200][, UNVISITED][S=0.000000][RN=1][697,734,971,1002][]",
    "[APE]     6 g63a2569[-1,0][0]@MODEL_CLICKclass=android.widget.LinearLayout;index=3;enabled=true;clickable=true;[P=52][T=200][, UNVISITED][S=0.000000][RN=1][109,1022,383,1289][]",
    "[APE]     7 g63a2570[-1,0][0]@MODEL_CLICKclass=android.widget.LinearLayout;index=4;enabled=true;clickable=true;[P=52][T=200][, UNVISITED][S=0.000000][RN=1][403,1022,677,1289][]",
    "[APE]     8 g63a2571[-1,0][0]@MODEL_CLICKclass=android.widget.LinearLayout;index=5;enabled=true;clickable=true;[P=52][T=200][, UNVISITED][S=0.000000][RN=1][697,1022,971,1290][]",
    "[APE]     9 g63a2572[-1,0][0]@MODEL_CLICKclass=android.widget.LinearLayout;index=8;enabled=true;clickable=true;[P=52][T=200][, UNVISITED][S=0.000000][RN=1][109,1883,383,2151][]",
    "[APE]    10 g63a2573[-1,0][0]@MODEL_CLICKclass=android.widget.LinearLayout;index=9;enabled=true;clickable=true;[P=52][T=200][, UNVISITED][S=0.000000][RN=1][403,1883,677,2151][]",
    "[APE]    11 g63a2574[-1,0][0]@MODEL_CLICKclass=android.widget.LinearLayout;index=10;enabled=true;clickable=true;[P=52][T=200][, UNVISITED][S=0.000000][RN=1][697,1883,971,2150][]",
    "[APE]    12 g63a2575[-1,0][0]@MODEL_CLICKclass=android.widget.LinearLayout;index=11;enabled=true;clickable=true;[P=52][T=200][, UNVISITED][S=0.000000][RN=1][109,2257,383,2337][]",
    "[APE]    13 g63a2576[-1,0][0]@MODEL_CLICKclass=android.widget.LinearLayout;index=12;enabled=true;clickable=true;[P=52][T=200][, UNVISITED][S=0.000000][RN=1][403,2257,677,2337][]",
    "[APE]    14 g63a2577[-1,0][0]@MODEL_CLICKclass=android.widget.LinearLayout;index=13;enabled=true;clickable=true;[P=52][T=200][, UNVISITED][S=0.000000][RN=1][697,2257,971,2337][]",
    "[APE]    15 g63a2578[794,798][2]@MODEL_SCROLL_BOTTOM_UPclass=android.widget.ScrollView;resource-id=com.bijoysingh.quicknote:id/root_layout;enabled=true;scrollable=true;[P=34][T=0][][S=1.000000][RN=1][0,670,1080,2337][]",
    "[APE]    16 g63a2579[-1,0][0]@MODEL_SCROLL_TOP_DOWNclass=android.widget.ScrollView;resource-id=com.bijoysingh.quicknote:id/root_layout;enabled=true;scrollable=true;[P=36][T=200][, UNVISITED][S=0.000000][RN=1][0,670,1080,2337][]",
    "[APE]    17 g63a2580[-1,0][0]@MODEL_CLICKclass=android.widget.ImageView;resource-id=com.bijoysingh.quicknote:id/icon;enabled=true;clickable=true;[P=64][T=200][, UNVISITED][S=0.000000][RN=3][802,2299,865,2337][]",
    "[APE]    18 g63a2581[-1,0][0]@MODEL_BACKg63s199[790,805][4]com.maubis.scarlet.base.note.creation.activity.ViewAdvancedNoteActivity@-1606385187@Naming[186]@[W=17][A=18][P=13][T=200][, UNVISITED]",
    "[APE] *** INFO *** Check global actions.",
    "[APE] *** INFO *** - g63a2564[-1,0][0]@MODEL_CLICKclass=android.widget.FrameLayout;resource-id=com.bijoysingh.quicknote:id/tag_card_layout;enabled=true;clickable=true;[P=52][T=200][, UNVISITED][S=0.000000][RN=1][21,1353,1059,1564][]",
    "[APE] *** INFO *** - g63a2565[-1,0][0]@MODEL_CLICKclass=android.widget.FrameLayout;resource-id=com.bijoysingh.quicknote:id/select_notes_layout;enabled=true;clickable=true;[P=52][T=200][, UNVISITED][S=0.000000][RN=1][21,1584,1059,1820][]",
    "[APE] *** INFO *** - g63a2569[-1,0][0]@MODEL_CLICKclass=android.widget.LinearLayout;index=3;enabled=true;clickable=true;[P=52][T=200][, UNVISITED][S=0.000000][RN=1][109,1022,383,1289][]",
    "[APE] *** INFO *** - g63a2572[-1,0][0]@MODEL_CLICKclass=android.widget.LinearLayout;index=8;enabled=true;clickable=true;[P=52][T=200][, UNVISITED][S=0.000000][RN=1][109,1883,383,2151][]",
    "[APE] *** INFO *** - g63a2574[-1,0][0]@MODEL_CLICKclass=android.widget.LinearLayout;index=10;enabled=true;clickable=true;[P=52][T=200][, UNVISITED][S=0.000000][RN=1][697,1883,971,2150][]",
    "[APE] *** INFO *** Inconsistent states in action buffer: expected g62s187[685,776][5]com.maubis.scarlet.base.note.creation.activity.ViewAdvancedNoteActivity@-1297781941@Naming[186]@[W=18][A=18], get g63s199[790,805][4]com.maubis.scarlet.base.note.creation.activity.ViewAdvancedNoteActivity@-1606385187@Naming[186]@[W=17][A=18]",
    "[APE] ##################################",
    "[APE]   0 - class=android.widget.ScrollView;resource-id=com.bijoysingh.quicknote:id/root_layout;enabled=true;scrollable=true;",
    "[APE]   1 - class=android.widget.ImageView;resource-id=com.bijoysingh.quicknote:id/icon;enabled=true;clickable=true;",
    "[APE] ----------------------------------",
    "[APE]   0 = class=android.widget.FrameLayout;resource-id=com.bijoysingh.quicknote:id/tag_card_layout;enabled=true;clickable=true;",
    "[APE]   1 = class=android.widget.FrameLayout;resource-id=com.bijoysingh.quicknote:id/select_notes_layout;enabled=true;clickable=true;",
    "[APE]   2 = class=android.widget.LinearLayout;index=0;enabled=true;clickable=true;",
    "[APE]   3 = class=android.widget.LinearLayout;index=1;enabled=true;clickable=true;",
    "[APE]   4 = class=android.widget.LinearLayout;index=2;enabled=true;clickable=true;",
    "[APE]   5 = class=android.widget.LinearLayout;index=3;enabled=true;clickable=true;",
    "[APE]   6 = class=android.widget.LinearLayout;index=4;enabled=true;clickable=true;",
    "[APE]   7 = class=android.widget.LinearLayout;index=5;enabled=true;clickable=true;",
    "[APE]   8 = class=android.widget.LinearLayout;index=8;enabled=true;clickable=true;",
    "[APE]   9 = class=android.widget.LinearLayout;index=9;enabled=true;clickable=true;",
    "[APE]  10 = class=android.widget.LinearLayout;index=10;enabled=true;clickable=true;",
    "[APE]  11 = class=android.widget.LinearLayout;index=11;enabled=true;clickable=true;",
    "[APE]  12 = class=android.widget.LinearLayout;index=12;enabled=true;clickable=true;",
    "[APE]  13 = class=android.widget.LinearLayout;index=13;enabled=true;clickable=true;",
    "[APE] ----------------------------------",
    "[APE]   0 + class=android.widget.LinearLayout;index=14;enabled=true;clickable=true;",
    "[APE]   1 + class=android.widget.LinearLayout;index=15;enabled=true;clickable=true;",
    "[APE]   2 + class=android.widget.LinearLayout;index=16;enabled=true;clickable=true;",
    "[APE] ##################################",
    "[APE] *** INFO *** Check A*BA->B, try to move from A to B.",
    "[APE] *** INFO *** > - A: g63s199[790,805][4]com.maubis.scarlet.base.note.creation.activity.ViewAdvancedNoteActivity@-1606385187@Naming[186]@[W=17][A=18]",
    "[APE] *** INFO *** > - B: g61s185[679,804][15]com.maubis.scarlet.base.note.creation.activity.ViewAdvancedNoteActivity@-1961086651@Naming[3]@[W=6][A=6]",
    "[APE] *** INFO *** Never move to a saturated dialog state (g61s185[679,804][15]com.maubis.scarlet.base.note.creation.activity.ViewAdvancedNoteActivity@-1961086651@Naming[3]@[W=6][A=6]) in ABA.",
    "[APE] *** INFO *** Find a greedy action in 0-step",
    "[APE] *** INFO *** Requesting disabling restart.",
    "[APE] *** INFO *** Select action g63a2576[-1,0][0]@MODEL_CLICKclass=android.widget.LinearLayout;index=12;enabled=true;clickable=true;[P=52][T=200][, UNVISITED][S=0.000000][RN=1][403,2257,677,2337][] by strategy EARLY_STAGE",
    "[APE] Last  state: g61s185[679,804][15]com.maubis.scarlet.base.note.creation.activity.ViewAdvancedNoteActivity@-1961086651@Naming[3]@[W=6][A=6]",
    "[APE] Last action: g61a2445[684,804][10]@MODEL_CLICKclass=android.view.ViewGroup;index=1;enabled=true;clickable=true;[P=42][T=200][][S=1.000000][RN=1][11,2211,116,2316][]",
    "[APE] Curr  state: g61s185[679,804][15]com.maubis.scarlet.base.note.creation.activity.ViewAdvancedNoteActivity@-1961086651@Naming[3]@[W=6][A=6]",
    "[APE] Curr action: g61a2445[684,804][10]@MODEL_CLICKclass=android.view.ViewGroup;index=1;enabled=true;clickable=true;[P=42][T=200][][S=1.000000][RN=1][11,2211,116,2316][]",
    "[APE] New   state: g63s199[790,805][4]com.maubis.scarlet.base.note.creation.activity.ViewAdvancedNoteActivity@-1606385187@Naming[186]@[W=17][A=18]",
    "[APE] New  action: g63a2576[805,805][1]@MODEL_CLICKclass=android.widget.LinearLayout;index=12;enabled=true;clickable=true;[P=52][T=200][][S=0.000000][RN=1][403,2257,677,2337][]",
    "[APE] >>>>>>>> SATA end step [805]",
    "[APE] *** INFO *** EXECUTE action_fp=type=MODEL_CLICK|activity=com.maubis.scarlet.base.note.creation.activity.ViewAdvancedNoteActivity|class=android.widget.LinearLayout|text=|resource_id=|bounds=403,2257,677,2337 target_fp=activity=com.maubis.scarlet.base.note.creation.activity.ViewAdvancedNoteActivity|class=android.widget.LinearLayout|text=|resource_id= action=g63a2576[805,805][1]@MODEL_CLICKclass=android.widget.LinearLayout;index=12;enabled=true;clickable=true;[P=52][T=200][][S=0.000000][RN=1][403,2257,677,2337][]",
    ":Sending Touch (ACTION_DOWN): 0:(540.0,2297.0)",
    ":Sending Touch (ACTION_UP): 0:(540.0,2297.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."
}
