{
 "CH-H4": {
  "hypothesis": "CH-H4",
  "verdict": "RECORDED — no kill; toward the held conjecture's N8, his"
 },
 "act": "CH-A3",
 "code_sha256": "79a7ba112df1c3d530f17c8123a0ec9212297c0c8f9c51af8161b2a888422515",
 "events_count": 100628,
 "events_head": [
  {
   "admitted": 1,
   "after": 0,
   "before": 1,
   "budget_log2": 8,
   "kind": "to_zero",
   "rho": "1",
   "rung": 0,
   "step": -1,
   "target": "3/2"
  },
  {
   "admitted": 1,
   "after": 0,
   "before": 0,
   "budget_log2": 8,
   "kind": "at_zero",
   "rho": "1",
   "rung": 1,
   "step": 0,
   "target": "3/2"
  },
  {
   "admitted": 1,
   "after": 0,
   "before": 0,
   "budget_log2": 8,
   "kind": "at_zero",
   "rho": "1",
   "rung": 2,
   "step": 0,
   "target": "3/2"
  },
  {
   "admitted": 1,
   "after": 0,
   "before": 0,
   "budget_log2": 8,
   "kind": "at_zero",
   "rho": "1",
   "rung": 3,
   "step": 0,
   "target": "3/2"
  },
  {
   "admitted": 1,
   "after": 0,
   "before": 0,
   "budget_log2": 8,
   "kind": "at_zero",
   "rho": "1",
   "rung": 4,
   "step": 0,
   "target": "3/2"
  },
  {
   "admitted": 1,
   "after": 0,
   "before": 0,
   "budget_log2": 8,
   "kind": "at_zero",
   "rho": "1",
   "rung": 5,
   "step": 0,
   "target": "3/2"
  },
  {
   "admitted": 1,
   "after": 0,
   "before": 0,
   "budget_log2": 8,
   "kind": "at_zero",
   "rho": "1",
   "rung": 6,
   "step": 0,
   "target": "3/2"
  },
  {
   "admitted": 1,
   "after": 0,
   "before": 0,
   "budget_log2": 8,
   "kind": "at_zero",
   "rho": "1",
   "rung": 7,
   "step": 0,
   "target": "3/2"
  },
  {
   "admitted": 1,
   "after": 0,
   "before": 0,
   "budget_log2": 8,
   "kind": "at_zero",
   "rho": "1",
   "rung": 8,
   "step": 0,
   "target": "3/2"
  },
  {
   "admitted": 1,
   "after": 0,
   "before": 0,
   "budget_log2": 8,
   "kind": "at_zero",
   "rho": "1",
   "rung": 9,
   "step": 0,
   "target": "3/2"
  },
  {
   "admitted": 1,
   "after": 0,
   "before": 0,
   "budget_log2": 8,
   "kind": "at_zero",
   "rho": "1",
   "rung": 10,
   "step": 0,
   "target": "3/2"
  },
  {
   "admitted": 1,
   "after": 0,
   "before": 0,
   "budget_log2": 8,
   "kind": "at_zero",
   "rho": "1",
   "rung": 11,
   "step": 0,
   "target": "3/2"
  },
  {
   "admitted": 1,
   "after": 0,
   "before": 0,
   "budget_log2": 8,
   "kind": "at_zero",
   "rho": "1",
   "rung": 12,
   "step": 0,
   "target": "3/2"
  },
  {
   "admitted": 1,
   "after": 0,
   "before": 0,
   "budget_log2": 8,
   "kind": "at_zero",
   "rho": "1",
   "rung": 13,
   "step": 0,
   "target": "3/2"
  },
  {
   "admitted": 1,
   "after": 0,
   "before": 0,
   "budget_log2": 8,
   "kind": "at_zero",
   "rho": "1",
   "rung": 14,
   "step": 0,
   "target": "3/2"
  },
  {
   "admitted": 1,
   "after": 0,
   "before": 0,
   "budget_log2": 8,
   "kind": "at_zero",
   "rho": "1",
   "rung": 15,
   "step": 0,
   "target": "3/2"
  },
  {
   "admitted": 1,
   "after": 0,
   "before": 0,
   "budget_log2": 8,
   "kind": "at_zero",
   "rho": "1",
   "rung": 16,
   "step": 0,
   "target": "3/2"
  },
  {
   "admitted": 1,
   "after": 0,
   "before": 0,
   "budget_log2": 8,
   "kind": "at_zero",
   "rho": "1",
   "rung": 17,
   "step": 0,
   "target": "3/2"
  },
  {
   "admitted": 1,
   "after": 0,
   "before": 0,
   "budget_log2": 8,
   "kind": "at_zero",
   "rho": "1",
   "rung": 18,
   "step": 0,
   "target": "3/2"
  },
  {
   "admitted": 1,
   "after": 0,
   "before": 0,
   "budget_log2": 8,
   "kind": "at_zero",
   "rho": "1",
   "rung": 19,
   "step": 0,
   "target": "3/2"
  },
  {
   "admitted": 1,
   "after": 0,
   "before": 0,
   "budget_log2": 8,
   "kind": "at_zero",
   "rho": "1",
   "rung": 20,
   "step": 0,
   "target": "3/2"
  },
  {
   "admitted": 1,
   "after": 0,
   "before": 0,
   "budget_log2": 8,
   "kind": "at_zero",
   "rho": "1",
   "rung": 21,
   "step": 0,
   "target": "3/2"
  },
  {
   "admitted": 1,
   "after": 0,
   "before": 0,
   "budget_log2": 8,
   "kind": "at_zero",
   "rho": "1",
   "rung": 22,
   "step": 0,
   "target": "3/2"
  },
  {
   "admitted": 1,
   "after": 0,
   "before": 0,
   "budget_log2": 8,
   "kind": "at_zero",
   "rho": "1",
   "rung": 23,
   "step": 0,
   "target": "3/2"
  },
  {
   "admitted": 1,
   "after": 0,
   "before": 0,
   "budget_log2": 8,
   "kind": "at_zero",
   "rho": "1",
   "rung": 24,
   "step": 0,
   "target": "3/2"
  },
  {
   "admitted": 1,
   "after": 0,
   "before": 0,
   "budget_log2": 8,
   "kind": "at_zero",
   "rho": "1",
   "rung": 25,
   "step": 0,
   "target": "3/2"
  },
  {
   "admitted": 1,
   "after": 0,
   "before": 0,
   "budget_log2": 8,
   "kind": "at_zero",
   "rho": "1",
   "rung": 26,
   "step": 0,
   "target": "3/2"
  },
  {
   "admitted": 1,
   "after": 0,
   "before": 0,
   "budget_log2": 8,
   "kind": "at_zero",
   "rho": "1",
   "rung": 27,
   "step": 0,
   "target": "3/2"
  },
  {
   "admitted": 1,
   "after": 0,
   "before": 0,
   "budget_log2": 8,
   "kind": "at_zero",
   "rho": "1",
   "rung": 28,
   "step": 0,
   "target": "3/2"
  },
  {
   "admitted": 1,
   "after": 0,
   "before": 0,
   "budget_log2": 8,
   "kind": "at_zero",
   "rho": "1",
   "rung": 29,
   "step": 0,
   "target": "3/2"
  },
  {
   "admitted": 1,
   "after": 0,
   "before": 0,
   "budget_log2": 8,
   "kind": "at_zero",
   "rho": "1",
   "rung": 30,
   "step": 0,
   "target": "3/2"
  },
  {
   "admitted": 1,
   "after": 0,
   "before": 0,
   "budget_log2": 8,
   "kind": "at_zero",
   "rho": "1",
   "rung": 31,
   "step": 0,
   "target": "3/2"
  },
  {
   "admitted": 1,
   "after": 0,
   "before": 0,
   "budget_log2": 8,
   "kind": "at_zero",
   "rho": "1",
   "rung": 32,
   "step": 0,
   "target": "3/2"
  },
  {
   "admitted": 1,
   "after": 0,
   "before": 0,
   "budget_log2": 8,
   "kind": "at_zero",
   "rho": "1",
   "rung": 33,
   "step": 0,
   "target": "3/2"
  },
  {
   "admitted": 1,
   "after": 0,
   "before": 0,
   "budget_log2": 8,
   "kind": "at_zero",
   "rho": "1",
   "rung": 34,
   "step": 0,
   "target": "3/2"
  },
  {
   "admitted": 1,
   "after": 0,
   "before": 0,
   "budget_log2": 8,
   "kind": "at_zero",
   "rho": "1",
   "rung": 35,
   "step": 0,
   "target": "3/2"
  },
  {
   "admitted": 1,
   "after": 0,
   "before": 0,
   "budget_log2": 8,
   "kind": "at_zero",
   "rho": "1",
   "rung": 36,
   "step": 0,
   "target": "3/2"
  },
  {
   "admitted": 1,
   "after": 0,
   "before": 0,
   "budget_log2": 8,
   "kind": "at_zero",
   "rho": "1",
   "rung": 37,
   "step": 0,
   "target": "3/2"
  },
  {
   "admitted": 1,
   "after": 0,
   "before": 0,
   "budget_log2": 8,
   "kind": "at_zero",
   "rho": "1",
   "rung": 38,
   "step": 0,
   "target": "3/2"
  },
  {
   "admitted": 1,
   "after": 0,
   "before": 0,
   "budget_log2": 8,
   "kind": "at_zero",
   "rho": "1",
   "rung": 39,
   "step": 0,
   "target": "3/2"
  },
  {
   "admitted": 1,
   "after": 0,
   "before": 0,
   "budget_log2": 8,
   "kind": "at_zero",
   "rho": "1",
   "rung": 40,
   "step": 0,
   "target": "3/2"
  },
  {
   "admitted": 1,
   "after": 0,
   "before": 0,
   "budget_log2": 8,
   "kind": "at_zero",
   "rho": "1",
   "rung": 41,
   "step": 0,
   "target": "3/2"
  },
  {
   "admitted": 1,
   "after": 0,
   "before": 0,
   "budget_log2": 8,
   "kind": "at_zero",
   "rho": "1",
   "rung": 42,
   "step": 0,
   "target": "3/2"
  },
  {
   "admitted": 1,
   "after": 0,
   "before": 0,
   "budget_log2": 8,
   "kind": "at_zero",
   "rho": "1",
   "rung": 43,
   "step": 0,
   "target": "3/2"
  },
  {
   "admitted": 1,
   "after": 0,
   "before": 0,
   "budget_log2": 8,
   "kind": "at_zero",
   "rho": "1",
   "rung": 44,
   "step": 0,
   "target": "3/2"
  },
  {
   "admitted": 1,
   "after": 0,
   "before": 0,
   "budget_log2": 8,
   "kind": "at_zero",
   "rho": "1",
   "rung": 45,
   "step": 0,
   "target": "3/2"
  },
  {
   "admitted": 1,
   "after": 0,
   "before": 0,
   "budget_log2": 8,
   "kind": "at_zero",
   "rho": "1",
   "rung": 46,
   "step": 0,
   "target": "3/2"
  },
  {
   "admitted": 1,
   "after": 0,
   "before": 0,
   "budget_log2": 8,
   "kind": "at_zero",
   "rho": "1",
   "rung": 47,
   "step": 0,
   "target": "3/2"
  },
  {
   "admitted": 1,
   "after": 0,
   "before": 0,
   "budget_log2": 8,
   "kind": "at_zero",
   "rho": "1",
   "rung": 48,
   "step": 0,
   "target": "3/2"
  },
  {
   "admitted": 1,
   "after": 0,
   "before": 0,
   "budget_log2": 8,
   "kind": "at_zero",
   "rho": "1",
   "rung": 49,
   "step": 0,
   "target": "3/2"
  },
  {
   "admitted": 1,
   "after": 0,
   "before": 0,
   "budget_log2": 8,
   "kind": "at_zero",
   "rho": "1",
   "rung": 50,
   "step": 0,
   "target": "3/2"
  },
  {
   "admitted": 1,
   "after": 0,
   "before": 0,
   "budget_log2": 8,
   "kind": "at_zero",
   "rho": "1",
   "rung": 51,
   "step": 0,
   "target": "3/2"
  },
  {
   "admitted": 1,
   "after": 0,
   "before": 0,
   "budget_log2": 8,
   "kind": "at_zero",
   "rho": "1",
   "rung": 52,
   "step": 0,
   "target": "3/2"
  },
  {
   "admitted": 1,
   "after": 0,
   "before": 0,
   "budget_log2": 8,
   "kind": "at_zero",
   "rho": "1",
   "rung": 53,
   "step": 0,
   "target": "3/2"
  },
  {
   "admitted": 1,
   "after": 0,
   "before": 0,
   "budget_log2": 8,
   "kind": "at_zero",
   "rho": "1",
   "rung": 54,
   "step": 0,
   "target": "3/2"
  },
  {
   "admitted": 1,
   "after": 0,
   "before": 0,
   "budget_log2": 8,
   "kind": "at_zero",
   "rho": "1",
   "rung": 55,
   "step": 0,
   "target": "3/2"
  },
  {
   "admitted": 1,
   "after": 0,
   "before": 0,
   "budget_log2": 8,
   "kind": "at_zero",
   "rho": "1",
   "rung": 56,
   "step": 0,
   "target": "3/2"
  },
  {
   "admitted": 1,
   "after": 0,
   "before": 0,
   "budget_log2": 8,
   "kind": "at_zero",
   "rho": "1",
   "rung": 57,
   "step": 0,
   "target": "3/2"
  },
  {
   "admitted": 1,
   "after": 0,
   "before": 0,
   "budget_log2": 8,
   "kind": "at_zero",
   "rho": "1",
   "rung": 58,
   "step": 0,
   "target": "3/2"
  },
  {
   "admitted": 1,
   "after": 0,
   "before": 0,
   "budget_log2": 8,
   "kind": "at_zero",
   "rho": "1",
   "rung": 59,
   "step": 0,
   "target": "3/2"
  },
  {
   "admitted": 1,
   "after": 0,
   "before": 0,
   "budget_log2": 8,
   "kind": "at_zero",
   "rho": "1",
   "rung": 60,
   "step": 0,
   "target": "3/2"
  },
  {
   "admitted": 1,
   "after": 0,
   "before": 0,
   "budget_log2": 8,
   "kind": "at_zero",
   "rho": "1",
   "rung": 61,
   "step": 0,
   "target": "3/2"
  },
  {
   "admitted": 1,
   "after": 0,
   "before": 0,
   "budget_log2": 8,
   "kind": "at_zero",
   "rho": "1",
   "rung": 62,
   "step": 0,
   "target": "3/2"
  },
  {
   "admitted": 1,
   "after": 0,
   "before": 0,
   "budget_log2": 8,
   "kind": "at_zero",
   "rho": "1",
   "rung": 63,
   "step": 0,
   "target": "3/2"
  },
  {
   "admitted": 1,
   "after": 0,
   "before": 0,
   "budget_log2": 8,
   "kind": "at_zero",
   "rho": "1",
   "rung": 64,
   "step": 0,
   "target": "3/2"
  },
  {
   "admitted": 1,
   "after": 0,
   "before": 0,
   "budget_log2": 8,
   "kind": "at_zero",
   "rho": "1",
   "rung": 65,
   "step": 0,
   "target": "3/2"
  },
  {
   "admitted": 1,
   "after": 0,
   "before": 0,
   "budget_log2": 8,
   "kind": "at_zero",
   "rho": "1",
   "rung": 66,
   "step": 0,
   "target": "3/2"
  },
  {
   "admitted": 1,
   "after": 0,
   "before": 0,
   "budget_log2": 8,
   "kind": "at_zero",
   "rho": "1",
   "rung": 67,
   "step": 0,
   "target": "3/2"
  },
  {
   "admitted": 1,
   "after": 0,
   "before": 0,
   "budget_log2": 8,
   "kind": "at_zero",
   "rho": "1",
   "rung": 68,
   "step": 0,
   "target": "3/2"
  },
  {
   "admitted": 1,
   "after": 0,
   "before": 0,
   "budget_log2": 8,
   "kind": "at_zero",
   "rho": "1",
   "rung": 69,
   "step": 0,
   "target": "3/2"
  },
  {
   "admitted": 1,
   "after": 0,
   "before": 0,
   "budget_log2": 8,
   "kind": "at_zero",
   "rho": "1",
   "rung": 70,
   "step": 0,
   "target": "3/2"
  },
  {
   "admitted": 1,
   "after": 0,
   "before": 0,
   "budget_log2": 8,
   "kind": "at_zero",
   "rho": "1",
   "rung": 71,
   "step": 0,
   "target": "3/2"
  },
  {
   "admitted": 1,
   "after": 0,
   "before": 0,
   "budget_log2": 8,
   "kind": "at_zero",
   "rho": "1",
   "rung": 72,
   "step": 0,
   "target": "3/2"
  },
  {
   "admitted": 1,
   "after": 0,
   "before": 0,
   "budget_log2": 8,
   "kind": "at_zero",
   "rho": "1",
   "rung": 73,
   "step": 0,
   "target": "3/2"
  },
  {
   "admitted": 1,
   "after": 0,
   "before": 0,
   "budget_log2": 8,
   "kind": "at_zero",
   "rho": "1",
   "rung": 74,
   "step": 0,
   "target": "3/2"
  },
  {
   "admitted": 1,
   "after": 0,
   "before": 0,
   "budget_log2": 8,
   "kind": "at_zero",
   "rho": "1",
   "rung": 75,
   "step": 0,
   "target": "3/2"
  },
  {
   "admitted": 1,
   "after": 0,
   "before": 0,
   "budget_log2": 8,
   "kind": "at_zero",
   "rho": "1",
   "rung": 76,
   "step": 0,
   "target": "3/2"
  },
  {
   "admitted": 1,
   "after": 0,
   "before": 0,
   "budget_log2": 8,
   "kind": "at_zero",
   "rho": "1",
   "rung": 77,
   "step": 0,
   "target": "3/2"
  },
  {
   "admitted": 1,
   "after": 0,
   "before": 0,
   "budget_log2": 8,
   "kind": "at_zero",
   "rho": "1",
   "rung": 78,
   "step": 0,
   "target": "3/2"
  },
  {
   "admitted": 1,
   "after": 0,
   "before": 0,
   "budget_log2": 8,
   "kind": "at_zero",
   "rho": "1",
   "rung": 79,
   "step": 0,
   "target": "3/2"
  },
  {
   "admitted": 1,
   "after": 0,
   "before": 0,
   "budget_log2": 8,
   "kind": "at_zero",
   "rho": "1",
   "rung": 80,
   "step": 0,
   "target": "3/2"
  },
  {
   "admitted": 1,
   "after": 0,
   "before": 0,
   "budget_log2": 8,
   "kind": "at_zero",
   "rho": "1",
   "rung": 81,
   "step": 0,
   "target": "3/2"
  },
  {
   "admitted": 1,
   "after": 0,
   "before": 0,
   "budget_log2": 8,
   "kind": "at_zero",
   "rho": "1",
   "rung": 82,
   "step": 0,
   "target": "3/2"
  },
  {
   "admitted": 1,
   "after": 0,
   "before": 0,
   "budget_log2": 8,
   "kind": "at_zero",
   "rho": "1",
   "rung": 83,
   "step": 0,
   "target": "3/2"
  },
  {
   "admitted": 1,
   "after": 0,
   "before": 0,
   "budget_log2": 8,
   "kind": "at_zero",
   "rho": "1",
   "rung": 84,
   "step": 0,
   "target": "3/2"
  },
  {
   "admitted": 1,
   "after": 0,
   "before": 0,
   "budget_log2": 8,
   "kind": "at_zero",
   "rho": "1",
   "rung": 85,
   "step": 0,
   "target": "3/2"
  },
  {
   "admitted": 1,
   "after": 0,
   "before": 0,
   "budget_log2": 8,
   "kind": "at_zero",
   "rho": "1",
   "rung": 86,
   "step": 0,
   "target": "3/2"
  },
  {
   "admitted": 1,
   "after": 0,
   "before": 0,
   "budget_log2": 8,
   "kind": "at_zero",
   "rho": "1",
   "rung": 87,
   "step": 0,
   "target": "3/2"
  },
  {
   "admitted": 1,
   "after": 0,
   "before": 0,
   "budget_log2": 8,
   "kind": "at_zero",
   "rho": "1",
   "rung": 88,
   "step": 0,
   "target": "3/2"
  },
  {
   "admitted": 1,
   "after": 0,
   "before": 0,
   "budget_log2": 8,
   "kind": "at_zero",
   "rho": "1",
   "rung": 89,
   "step": 0,
   "target": "3/2"
  },
  {
   "admitted": 1,
   "after": 0,
   "before": 0,
   "budget_log2": 8,
   "kind": "at_zero",
   "rho": "1",
   "rung": 90,
   "step": 0,
   "target": "3/2"
  },
  {
   "admitted": 1,
   "after": 0,
   "before": 0,
   "budget_log2": 8,
   "kind": "at_zero",
   "rho": "1",
   "rung": 91,
   "step": 0,
   "target": "3/2"
  },
  {
   "admitted": 1,
   "after": 0,
   "before": 0,
   "budget_log2": 8,
   "kind": "at_zero",
   "rho": "1",
   "rung": 92,
   "step": 0,
   "target": "3/2"
  },
  {
   "admitted": 1,
   "after": 0,
   "before": 0,
   "budget_log2": 8,
   "kind": "at_zero",
   "rho": "1",
   "rung": 93,
   "step": 0,
   "target": "3/2"
  },
  {
   "admitted": 1,
   "after": 0,
   "before": 0,
   "budget_log2": 8,
   "kind": "at_zero",
   "rho": "1",
   "rung": 94,
   "step": 0,
   "target": "3/2"
  },
  {
   "admitted": 1,
   "after": 0,
   "before": 0,
   "budget_log2": 8,
   "kind": "at_zero",
   "rho": "1",
   "rung": 95,
   "step": 0,
   "target": "3/2"
  },
  {
   "admitted": 1,
   "after": 0,
   "before": 0,
   "budget_log2": 8,
   "kind": "at_zero",
   "rho": "1",
   "rung": 96,
   "step": 0,
   "target": "3/2"
  },
  {
   "admitted": 1,
   "after": 0,
   "before": 0,
   "budget_log2": 8,
   "kind": "at_zero",
   "rho": "1",
   "rung": 97,
   "step": 0,
   "target": "3/2"
  },
  {
   "admitted": 1,
   "after": 0,
   "before": 0,
   "budget_log2": 8,
   "kind": "at_zero",
   "rho": "1",
   "rung": 98,
   "step": 0,
   "target": "3/2"
  },
  {
   "admitted": 1,
   "after": 0,
   "before": 0,
   "budget_log2": 8,
   "kind": "at_zero",
   "rho": "1",
   "rung": 99,
   "step": 0,
   "target": "3/2"
  },
  {
   "admitted": 1,
   "after": 0,
   "before": 0,
   "budget_log2": 8,
   "kind": "at_zero",
   "rho": "1",
   "rung": 100,
   "step": 0,
   "target": "3/2"
  },
  {
   "admitted": 1,
   "after": 0,
   "before": 0,
   "budget_log2": 8,
   "kind": "at_zero",
   "rho": "1",
   "rung": 101,
   "step": 0,
   "target": "3/2"
  },
  {
   "admitted": 1,
   "after": 0,
   "before": 0,
   "budget_log2": 8,
   "kind": "at_zero",
   "rho": "1",
   "rung": 102,
   "step": 0,
   "target": "3/2"
  },
  {
   "admitted": 1,
   "after": 0,
   "before": 0,
   "budget_log2": 8,
   "kind": "at_zero",
   "rho": "1",
   "rung": 103,
   "step": 0,
   "target": "3/2"
  },
  {
   "admitted": 1,
   "after": 0,
   "before": 0,
   "budget_log2": 8,
   "kind": "at_zero",
   "rho": "1",
   "rung": 104,
   "step": 0,
   "target": "3/2"
  },
  {
   "admitted": 1,
   "after": 0,
   "before": 0,
   "budget_log2": 8,
   "kind": "at_zero",
   "rho": "1",
   "rung": 105,
   "step": 0,
   "target": "3/2"
  },
  {
   "admitted": 1,
   "after": 0,
   "before": 0,
   "budget_log2": 8,
   "kind": "at_zero",
   "rho": "1",
   "rung": 106,
   "step": 0,
   "target": "3/2"
  },
  {
   "admitted": 1,
   "after": 0,
   "before": 0,
   "budget_log2": 8,
   "kind": "at_zero",
   "rho": "1",
   "rung": 107,
   "step": 0,
   "target": "3/2"
  },
  {
   "admitted": 1,
   "after": 0,
   "before": 0,
   "budget_log2": 8,
   "kind": "at_zero",
   "rho": "1",
   "rung": 108,
   "step": 0,
   "target": "3/2"
  },
  {
   "admitted": 1,
   "after": 0,
   "before": 0,
   "budget_log2": 8,
   "kind": "at_zero",
   "rho": "1",
   "rung": 109,
   "step": 0,
   "target": "3/2"
  },
  {
   "admitted": 1,
   "after": 0,
   "before": 0,
   "budget_log2": 8,
   "kind": "at_zero",
   "rho": "1",
   "rung": 110,
   "step": 0,
   "target": "3/2"
  },
  {
   "admitted": 1,
   "after": 0,
   "before": 0,
   "budget_log2": 8,
   "kind": "at_zero",
   "rho": "1",
   "rung": 111,
   "step": 0,
   "target": "3/2"
  },
  {
   "admitted": 1,
   "after": 0,
   "before": 0,
   "budget_log2": 8,
   "kind": "at_zero",
   "rho": "1",
   "rung": 112,
   "step": 0,
   "target": "3/2"
  },
  {
   "admitted": 1,
   "after": 0,
   "before": 0,
   "budget_log2": 8,
   "kind": "at_zero",
   "rho": "1",
   "rung": 113,
   "step": 0,
   "target": "3/2"
  },
  {
   "admitted": 1,
   "after": 0,
   "before": 0,
   "budget_log2": 8,
   "kind": "at_zero",
   "rho": "1",
   "rung": 114,
   "step": 0,
   "target": "3/2"
  },
  {
   "admitted": 1,
   "after": 0,
   "before": 0,
   "budget_log2": 8,
   "kind": "at_zero",
   "rho": "1",
   "rung": 115,
   "step": 0,
   "target": "3/2"
  },
  {
   "admitted": 1,
   "after": 0,
   "before": 0,
   "budget_log2": 8,
   "kind": "at_zero",
   "rho": "1",
   "rung": 116,
   "step": 0,
   "target": "3/2"
  },
  {
   "admitted": 1,
   "after": 0,
   "before": 0,
   "budget_log2": 8,
   "kind": "at_zero",
   "rho": "1",
   "rung": 117,
   "step": 0,
   "target": "3/2"
  },
  {
   "admitted": 1,
   "after": 0,
   "before": 0,
   "budget_log2": 8,
   "kind": "at_zero",
   "rho": "1",
   "rung": 118,
   "step": 0,
   "target": "3/2"
  },
  {
   "admitted": 1,
   "after": 0,
   "before": 0,
   "budget_log2": 8,
   "kind": "at_zero",
   "rho": "1",
   "rung": 119,
   "step": 0,
   "target": "3/2"
  },
  {
   "admitted": 1,
   "after": 0,
   "before": 0,
   "budget_log2": 8,
   "kind": "at_zero",
   "rho": "1",
   "rung": 120,
   "step": 0,
   "target": "3/2"
  },
  {
   "admitted": 1,
   "after": 0,
   "before": 0,
   "budget_log2": 8,
   "kind": "at_zero",
   "rho": "1",
   "rung": 121,
   "step": 0,
   "target": "3/2"
  },
  {
   "admitted": 1,
   "after": 0,
   "before": 0,
   "budget_log2": 8,
   "kind": "at_zero",
   "rho": "1",
   "rung": 122,
   "step": 0,
   "target": "3/2"
  },
  {
   "admitted": 1,
   "after": 0,
   "before": 0,
   "budget_log2": 8,
   "kind": "at_zero",
   "rho": "1",
   "rung": 123,
   "step": 0,
   "target": "3/2"
  },
  {
   "admitted": 1,
   "after": 0,
   "before": 0,
   "budget_log2": 8,
   "kind": "at_zero",
   "rho": "1",
   "rung": 124,
   "step": 0,
   "target": "3/2"
  },
  {
   "admitted": 1,
   "after": 0,
   "before": 0,
   "budget_log2": 8,
   "kind": "at_zero",
   "rho": "1",
   "rung": 125,
   "step": 0,
   "target": "3/2"
  },
  {
   "admitted": 1,
   "after": 0,
   "before": 0,
   "budget_log2": 8,
   "kind": "at_zero",
   "rho": "1",
   "rung": 126,
   "step": 0,
   "target": "3/2"
  },
  {
   "admitted": 1,
   "after": 0,
   "before": 0,
   "budget_log2": 8,
   "kind": "at_zero",
   "rho": "1",
   "rung": 127,
   "step": 0,
   "target": "3/2"
  },
  {
   "admitted": 1,
   "after": 0,
   "before": 0,
   "budget_log2": 8,
   "kind": "at_zero",
   "rho": "1",
   "rung": 128,
   "step": 0,
   "target": "3/2"
  },
  {
   "admitted": 1,
   "after": 0,
   "before": 0,
   "budget_log2": 8,
   "kind": "at_zero",
   "rho": "1",
   "rung": 129,
   "step": 0,
   "target": "3/2"
  },
  {
   "admitted": 1,
   "after": 0,
   "before": 0,
   "budget_log2": 8,
   "kind": "at_zero",
   "rho": "1",
   "rung": 130,
   "step": 0,
   "target": "3/2"
  },
  {
   "admitted": 1,
   "after": 0,
   "before": 0,
   "budget_log2": 8,
   "kind": "at_zero",
   "rho": "1",
   "rung": 131,
   "step": 0,
   "target": "3/2"
  },
  {
   "admitted": 1,
   "after": 0,
   "before": 0,
   "budget_log2": 8,
   "kind": "at_zero",
   "rho": "1",
   "rung": 132,
   "step": 0,
   "target": "3/2"
  },
  {
   "admitted": 1,
   "after": 0,
   "before": 0,
   "budget_log2": 8,
   "kind": "at_zero",
   "rho": "1",
   "rung": 133,
   "step": 0,
   "target": "3/2"
  },
  {
   "admitted": 1,
   "after": 0,
   "before": 0,
   "budget_log2": 8,
   "kind": "at_zero",
   "rho": "1",
   "rung": 134,
   "step": 0,
   "target": "3/2"
  },
  {
   "admitted": 1,
   "after": 0,
   "before": 0,
   "budget_log2": 8,
   "kind": "at_zero",
   "rho": "1",
   "rung": 135,
   "step": 0,
   "target": "3/2"
  },
  {
   "admitted": 1,
   "after": 0,
   "before": 0,
   "budget_log2": 8,
   "kind": "at_zero",
   "rho": "1",
   "rung": 136,
   "step": 0,
   "target": "3/2"
  },
  {
   "admitted": 1,
   "after": 0,
   "before": 0,
   "budget_log2": 8,
   "kind": "at_zero",
   "rho": "1",
   "rung": 137,
   "step": 0,
   "target": "3/2"
  },
  {
   "admitted": 1,
   "after": 0,
   "before": 0,
   "budget_log2": 8,
   "kind": "at_zero",
   "rho": "1",
   "rung": 138,
   "step": 0,
   "target": "3/2"
  },
  {
   "admitted": 1,
   "after": 0,
   "before": 0,
   "budget_log2": 8,
   "kind": "at_zero",
   "rho": "1",
   "rung": 139,
   "step": 0,
   "target": "3/2"
  },
  {
   "admitted": 1,
   "after": 0,
   "before": 0,
   "budget_log2": 8,
   "kind": "at_zero",
   "rho": "1",
   "rung": 140,
   "step": 0,
   "target": "3/2"
  },
  {
   "admitted": 1,
   "after": 0,
   "before": 0,
   "budget_log2": 8,
   "kind": "at_zero",
   "rho": "1",
   "rung": 141,
   "step": 0,
   "target": "3/2"
  },
  {
   "admitted": 1,
   "after": 0,
   "before": 0,
   "budget_log2": 8,
   "kind": "at_zero",
   "rho": "1",
   "rung": 142,
   "step": 0,
   "target": "3/2"
  },
  {
   "admitted": 1,
   "after": 0,
   "before": 0,
   "budget_log2": 8,
   "kind": "at_zero",
   "rho": "1",
   "rung": 143,
   "step": 0,
   "target": "3/2"
  },
  {
   "admitted": 1,
   "after": 0,
   "before": 0,
   "budget_log2": 8,
   "kind": "at_zero",
   "rho": "1",
   "rung": 144,
   "step": 0,
   "target": "3/2"
  },
  {
   "admitted": 1,
   "after": 0,
   "before": 0,
   "budget_log2": 8,
   "kind": "at_zero",
   "rho": "1",
   "rung": 145,
   "step": 0,
   "target": "3/2"
  },
  {
   "admitted": 1,
   "after": 0,
   "before": 0,
   "budget_log2": 8,
   "kind": "at_zero",
   "rho": "1",
   "rung": 146,
   "step": 0,
   "target": "3/2"
  },
  {
   "admitted": 1,
   "after": 0,
   "before": 0,
   "budget_log2": 8,
   "kind": "at_zero",
   "rho": "1",
   "rung": 147,
   "step": 0,
   "target": "3/2"
  },
  {
   "admitted": 1,
   "after": 0,
   "before": 0,
   "budget_log2": 8,
   "kind": "at_zero",
   "rho": "1",
   "rung": 148,
   "step": 0,
   "target": "3/2"
  },
  {
   "admitted": 1,
   "after": 0,
   "before": 0,
   "budget_log2": 8,
   "kind": "at_zero",
   "rho": "1",
   "rung": 149,
   "step": 0,
   "target": "3/2"
  },
  {
   "admitted": 1,
   "after": 0,
   "before": 0,
   "budget_log2": 8,
   "kind": "at_zero",
   "rho": "1",
   "rung": 150,
   "step": 0,
   "target": "3/2"
  },
  {
   "admitted": 1,
   "after": 0,
   "before": 0,
   "budget_log2": 8,
   "kind": "at_zero",
   "rho": "1",
   "rung": 151,
   "step": 0,
   "target": "3/2"
  },
  {
   "admitted": 1,
   "after": 0,
   "before": 0,
   "budget_log2": 8,
   "kind": "at_zero",
   "rho": "1",
   "rung": 152,
   "step": 0,
   "target": "3/2"
  },
  {
   "admitted": 1,
   "after": 0,
   "before": 0,
   "budget_log2": 8,
   "kind": "at_zero",
   "rho": "1",
   "rung": 153,
   "step": 0,
   "target": "3/2"
  },
  {
   "admitted": 1,
   "after": 0,
   "before": 0,
   "budget_log2": 8,
   "kind": "at_zero",
   "rho": "1",
   "rung": 154,
   "step": 0,
   "target": "3/2"
  },
  {
   "admitted": 1,
   "after": 0,
   "before": 0,
   "budget_log2": 8,
   "kind": "at_zero",
   "rho": "1",
   "rung": 155,
   "step": 0,
   "target": "3/2"
  },
  {
   "admitted": 1,
   "after": 0,
   "before": 0,
   "budget_log2": 8,
   "kind": "at_zero",
   "rho": "1",
   "rung": 156,
   "step": 0,
   "target": "3/2"
  },
  {
   "admitted": 1,
   "after": 0,
   "before": 0,
   "budget_log2": 8,
   "kind": "at_zero",
   "rho": "1",
   "rung": 157,
   "step": 0,
   "target": "3/2"
  },
  {
   "admitted": 1,
   "after": 0,
   "before": 0,
   "budget_log2": 8,
   "kind": "at_zero",
   "rho": "1",
   "rung": 158,
   "step": 0,
   "target": "3/2"
  },
  {
   "admitted": 1,
   "after": 0,
   "before": 0,
   "budget_log2": 8,
   "kind": "at_zero",
   "rho": "1",
   "rung": 159,
   "step": 0,
   "target": "3/2"
  },
  {
   "admitted": 1,
   "after": 0,
   "before": 0,
   "budget_log2": 8,
   "kind": "at_zero",
   "rho": "1",
   "rung": 160,
   "step": 0,
   "target": "3/2"
  },
  {
   "admitted": 1,
   "after": 0,
   "before": 0,
   "budget_log2": 8,
   "kind": "at_zero",
   "rho": "1",
   "rung": 161,
   "step": 0,
   "target": "3/2"
  },
  {
   "admitted": 1,
   "after": 0,
   "before": 0,
   "budget_log2": 8,
   "kind": "at_zero",
   "rho": "1",
   "rung": 162,
   "step": 0,
   "target": "3/2"
  },
  {
   "admitted": 1,
   "after": 0,
   "before": 0,
   "budget_log2": 8,
   "kind": "at_zero",
   "rho": "1",
   "rung": 163,
   "step": 0,
   "target": "3/2"
  },
  {
   "admitted": 1,
   "after": 0,
   "before": 0,
   "budget_log2": 8,
   "kind": "at_zero",
   "rho": "1",
   "rung": 164,
   "step": 0,
   "target": "3/2"
  },
  {
   "admitted": 1,
   "after": 0,
   "before": 0,
   "budget_log2": 8,
   "kind": "at_zero",
   "rho": "1",
   "rung": 165,
   "step": 0,
   "target": "3/2"
  },
  {
   "admitted": 1,
   "after": 0,
   "before": 0,
   "budget_log2": 8,
   "kind": "at_zero",
   "rho": "1",
   "rung": 166,
   "step": 0,
   "target": "3/2"
  },
  {
   "admitted": 1,
   "after": 0,
   "before": 0,
   "budget_log2": 8,
   "kind": "at_zero",
   "rho": "1",
   "rung": 167,
   "step": 0,
   "target": "3/2"
  },
  {
   "admitted": 1,
   "after": 0,
   "before": 0,
   "budget_log2": 8,
   "kind": "at_zero",
   "rho": "1",
   "rung": 168,
   "step": 0,
   "target": "3/2"
  },
  {
   "admitted": 1,
   "after": 0,
   "before": 0,
   "budget_log2": 8,
   "kind": "at_zero",
   "rho": "1",
   "rung": 169,
   "step": 0,
   "target": "3/2"
  },
  {
   "admitted": 1,
   "after": 0,
   "before": 0,
   "budget_log2": 8,
   "kind": "at_zero",
   "rho": "1",
   "rung": 170,
   "step": 0,
   "target": "3/2"
  },
  {
   "admitted": 1,
   "after": 0,
   "before": 0,
   "budget_log2": 8,
   "kind": "at_zero",
   "rho": "1",
   "rung": 171,
   "step": 0,
   "target": "3/2"
  },
  {
   "admitted": 1,
   "after": 0,
   "before": 0,
   "budget_log2": 8,
   "kind": "at_zero",
   "rho": "1",
   "rung": 172,
   "step": 0,
   "target": "3/2"
  },
  {
   "admitted": 1,
   "after": 0,
   "before": 0,
   "budget_log2": 8,
   "kind": "at_zero",
   "rho": "1",
   "rung": 173,
   "step": 0,
   "target": "3/2"
  },
  {
   "admitted": 1,
   "after": 0,
   "before": 0,
   "budget_log2": 8,
   "kind": "at_zero",
   "rho": "1",
   "rung": 174,
   "step": 0,
   "target": "3/2"
  },
  {
   "admitted": 1,
   "after": 0,
   "before": 0,
   "budget_log2": 8,
   "kind": "at_zero",
   "rho": "1",
   "rung": 175,
   "step": 0,
   "target": "3/2"
  },
  {
   "admitted": 1,
   "after": 0,
   "before": 0,
   "budget_log2": 8,
   "kind": "at_zero",
   "rho": "1",
   "rung": 176,
   "step": 0,
   "target": "3/2"
  },
  {
   "admitted": 1,
   "after": 0,
   "before": 0,
   "budget_log2": 8,
   "kind": "at_zero",
   "rho": "1",
   "rung": 177,
   "step": 0,
   "target": "3/2"
  },
  {
   "admitted": 1,
   "after": 0,
   "before": 0,
   "budget_log2": 8,
   "kind": "at_zero",
   "rho": "1",
   "rung": 178,
   "step": 0,
   "target": "3/2"
  },
  {
   "admitted": 1,
   "after": 0,
   "before": 0,
   "budget_log2": 8,
   "kind": "at_zero",
   "rho": "1",
   "rung": 179,
   "step": 0,
   "target": "3/2"
  },
  {
   "admitted": 1,
   "after": 0,
   "before": 0,
   "budget_log2": 8,
   "kind": "at_zero",
   "rho": "1",
   "rung": 180,
   "step": 0,
   "target": "3/2"
  },
  {
   "admitted": 1,
   "after": 0,
   "before": 0,
   "budget_log2": 8,
   "kind": "at_zero",
   "rho": "1",
   "rung": 181,
   "step": 0,
   "target": "3/2"
  },
  {
   "admitted": 1,
   "after": 0,
   "before": 0,
   "budget_log2": 8,
   "kind": "at_zero",
   "rho": "1",
   "rung": 182,
   "step": 0,
   "target": "3/2"
  },
  {
   "admitted": 1,
   "after": 0,
   "before": 0,
   "budget_log2": 8,
   "kind": "at_zero",
   "rho": "1",
   "rung": 183,
   "step": 0,
   "target": "3/2"
  },
  {
   "admitted": 1,
   "after": 0,
   "before": 0,
   "budget_log2": 8,
   "kind": "at_zero",
   "rho": "1",
   "rung": 184,
   "step": 0,
   "target": "3/2"
  },
  {
   "admitted": 1,
   "after": 0,
   "before": 0,
   "budget_log2": 8,
   "kind": "at_zero",
   "rho": "1",
   "rung": 185,
   "step": 0,
   "target": "3/2"
  },
  {
   "admitted": 1,
   "after": 0,
   "before": 0,
   "budget_log2": 8,
   "kind": "at_zero",
   "rho": "1",
   "rung": 186,
   "step": 0,
   "target": "3/2"
  },
  {
   "admitted": 1,
   "after": 0,
   "before": 0,
   "budget_log2": 8,
   "kind": "at_zero",
   "rho": "1",
   "rung": 187,
   "step": 0,
   "target": "3/2"
  },
  {
   "admitted": 1,
   "after": 0,
   "before": 0,
   "budget_log2": 8,
   "kind": "at_zero",
   "rho": "1",
   "rung": 188,
   "step": 0,
   "target": "3/2"
  },
  {
   "admitted": 1,
   "after": 0,
   "before": 0,
   "budget_log2": 8,
   "kind": "at_zero",
   "rho": "1",
   "rung": 189,
   "step": 0,
   "target": "3/2"
  },
  {
   "admitted": 1,
   "after": 0,
   "before": 0,
   "budget_log2": 8,
   "kind": "at_zero",
   "rho": "1",
   "rung": 190,
   "step": 0,
   "target": "3/2"
  },
  {
   "admitted": 1,
   "after": 0,
   "before": 0,
   "budget_log2": 8,
   "kind": "at_zero",
   "rho": "1",
   "rung": 191,
   "step": 0,
   "target": "3/2"
  },
  {
   "admitted": 1,
   "after": 0,
   "before": 0,
   "budget_log2": 8,
   "kind": "at_zero",
   "rho": "1",
   "rung": 192,
   "step": 0,
   "target": "3/2"
  },
  {
   "admitted": 1,
   "after": 0,
   "before": 0,
   "budget_log2": 8,
   "kind": "at_zero",
   "rho": "1",
   "rung": 193,
   "step": 0,
   "target": "3/2"
  },
  {
   "admitted": 1,
   "after": 0,
   "before": 0,
   "budget_log2": 8,
   "kind": "at_zero",
   "rho": "1",
   "rung": 194,
   "step": 0,
   "target": "3/2"
  },
  {
   "admitted": 1,
   "after": 0,
   "before": 0,
   "budget_log2": 8,
   "kind": "at_zero",
   "rho": "1",
   "rung": 195,
   "step": 0,
   "target": "3/2"
  },
  {
   "admitted": 1,
   "after": 0,
   "before": 0,
   "budget_log2": 8,
   "kind": "at_zero",
   "rho": "1",
   "rung": 196,
   "step": 0,
   "target": "3/2"
  },
  {
   "admitted": 1,
   "after": 0,
   "before": 0,
   "budget_log2": 8,
   "kind": "at_zero",
   "rho": "1",
   "rung": 197,
   "step": 0,
   "target": "3/2"
  },
  {
   "admitted": 1,
   "after": 0,
   "before": 0,
   "budget_log2": 8,
   "kind": "at_zero",
   "rho": "1",
   "rung": 198,
   "step": 0,
   "target": "3/2"
  },
  {
   "admitted": 1,
   "after": 0,
   "before": 0,
   "budget_log2": 8,
   "kind": "at_zero",
   "rho": "1",
   "rung": 199,
   "step": 0,
   "target": "3/2"
  }
 ],
 "events_sha256": "e56bc7113b98f222b171bb4da2e37bba821451243a11fb9f51a7945b6904f21b",
 "experiment": "oxexp-hallway",
 "kind": "act",
 "read_at_utc": "2026-10-26T02:31:07Z",
 "record_sha256": "63bfc17a041d8c3d756d8c273c63c0dca72bcc930aabf3d680793cf330a157f4",
 "registration_sha256": "e2d9cdf2751f67ad49a664faac8f6d1f26c2df91567da00266c4763b99f1d4fd",
 "seconds": 1.925,
 "steps_at_exact_zero": {
  "-1": 0,
  "0": 21492,
  "1": 0
 },
 "tallies_by_target": {
  "14104/9973": {
   "at_zero": 0,
   "sign_change": 10984,
   "step_+1": 5496,
   "step_-1": 5488,
   "step_0": 0,
   "to_zero": 0
  },
  "17/12": {
   "at_zero": 0,
   "sign_change": 21492,
   "step_+1": 10752,
   "step_-1": 10740,
   "step_0": 0,
   "to_zero": 0
  },
  "18/7": {
   "at_zero": 0,
   "sign_change": 14340,
   "step_+1": 7164,
   "step_-1": 7176,
   "step_0": 0,
   "to_zero": 0
  },
  "3/2": {
   "at_zero": 21492,
   "sign_change": 0,
   "step_+1": 0,
   "step_-1": 12,
   "step_0": 21492,
   "to_zero": 12
  },
  "7/5": {
   "at_zero": 0,
   "sign_change": 10752,
   "step_+1": 5376,
   "step_-1": 5376,
   "step_0": 0,
   "to_zero": 0
  },
  "sqrt(2)": {
   "at_zero": 0,
   "sign_change": 10564,
   "step_+1": 5284,
   "step_-1": 5280,
   "step_0": 0,
   "to_zero": 0
  },
  "sqrt(3)": {
   "at_zero": 0,
   "sign_change": 10992,
   "step_+1": 5492,
   "step_-1": 5500,
   "step_0": 0,
   "to_zero": 0
  }
 },
 "title": "THE SIGNED ZERO — the turn at the zero account, recorded (CH-H4)"
}