∀ (stack : Array ℕ) (time weight : Array Lean.Firefox.Milliseconds) (weightType : String)
  (threadCPUDelta : Array Lean.Firefox.Microseconds) (length : ℕ) (stack_1 : Array ℕ)
  (time_1 weight_1 : Array Lean.Firefox.Milliseconds) (weightType_1 : String)
  (threadCPUDelta_1 : Array Lean.Firefox.Microseconds) (length_1 : ℕ),
  ({ stack := stack, time := time, weight := weight, weightType := weightType, threadCPUDelta := threadCPUDelta,
        length := length } =
      { stack := stack_1, time := time_1, weight := weight_1, weightType := weightType_1,
        threadCPUDelta := threadCPUDelta_1, length := length_1 }) =
    (stack = stack_1 ∧
      time = time_1 ∧
        weight = weight_1 ∧ weightType = weightType_1 ∧ threadCPUDelta = threadCPUDelta_1 ∧ length = length_1)