Designing Deque for O(1) Amortized Time