('del ', [(6, 7)])
('del ', [(0, 5)])
('add ', [(2, 3)])
('add ', [(1, 4)])
('del ', [(2, 3)])
('del ', [(1, 4)])
('add ', [(6, 7)])
('add ', [(0, 5)])
('del ', [(6, 7)])
('del ', [(0, 5)])
('add ', [(2, 3)])
('add ', [(1, 4)])
('del ', [(2, 3)])
('del ', [(1, 4)])
('add ', [(6, 7)])
('add ', [(0, 5)])
('del ', [(6, 7)])
('del ', [(0, 5)])
('add ', [(2, 3)])
('add ', [(1, 4)])
('del ', [(2, 3)])
('del ', [(1, 4)])
('add ', [(6, 7)])
('add ', [(0, 5)])
('del ', [(6, 7)])
('del ', [(0, 5)])
('add ', [(2, 3)])
('add ', [(1, 4)])
('del ', [(2, 3)])
('del ', [(1, 4)])
('add ', [(6, 7)])
('add ', [(0, 5)])
('del ', [(6, 7)])
('del ', [(0, 5)])
('add ', [(2, 3)])
('add ', [(1, 4)])
('del ', [(2, 3)])
('del ', [(1, 4)])
('add ', [(6, 7)])
('add ', [(0, 5)])
('del ', [(6, 7)])
('del ', [(0, 5)])
('add ', [(2, 3)])
('add ', [(1, 4)])
('del ', [(2, 3)])
('del ', [(1, 4)])
('add ', [(6, 7)])
('add ', [(0, 5)])
('del ', [(6, 7)])
('del ', [(0, 5)])
('add ', [(2, 3)])
('add ', [(1, 4)])
('del ', [(2, 3)])
('del ', [(1, 4)])
('add ', [(6, 7)])
('add ', [(0, 5)])
('del ', [(6, 7)])
('del ', [(0, 5)])
('add ', [(2, 3)])
('add ', [(1, 4)])
('del ', [(2, 3)])
('del ', [(1, 4)])
('add ', [(6, 7)])
('add ', [(0, 5)])
('del ', [(6, 7)])
('del ', [(0, 5)])
('add ', [(2, 3)])
('add ', [(1, 4)])
('del ', [(2, 3)])
('del ', [(1, 4)])
('add ', [(6, 7)])
('add ', [(0, 5)])
('del ', [(6, 7)])
('del ', [(0, 5)])
('add ', [(2, 3)])
('add ', [(1, 4)])
('del ', [(2, 3)])
('del ', [(1, 4)])
('add ', [(6, 7)])
('add ', [(0, 5)])
('del ', [(6, 7)])
('del ', [(0, 5)])
('add ', [(2, 3)])
('add ', [(1, 4)])
('del ', [(2, 3)])
('del ', [(1, 4)])
('add ', [(6, 7)])
('add ', [(0, 5)])
('del ', [(6, 7)])
('del ', [(0, 5)])
('add ', [(2, 3)])
('add ', [(1, 4)])
('del ', [(2, 3)])
('del ', [(1, 4)])
('add ', [(6, 7)])
('add ', [(0, 5)])
('del ', [(6, 7)])
('del ', [(0, 5)])
('add ', [(2, 3)])
('add ', [(1, 4)])
('del ', [(2, 3)])
('del ', [(1, 4)])
('add ', [(6, 7)])
('add ', [(0, 5)])
('del ', [(6, 7)])
('del ', [(0, 5)])
('add ', [(2, 3)])
('add ', [(1, 4)])
('del ', [(2, 3)])
('del ', [(1, 4)])
('add ', [(6, 7)])
('add ', [(0, 5)])
('del ', [(6, 7)])
('del ', [(0, 5)])
('add ', [(2, 3)])
('add ', [(1, 4)])
('del ', [(2, 3)])
('del ', [(1, 4)])
('add ', [(6, 7)])
('add ', [(0, 5)])
('del ', [(6, 7)])
('del ', [(0, 5)])
('add ', [(2, 3)])
('add ', [(1, 4)])
('del ', [(2, 3)])
('del ', [(1, 4)])
('add ', [(6, 7)])
('add ', [(0, 5)])
('del ', [(6, 7)])
('del ', [(0, 5)])
('add ', [(2, 3)])
('add ', [(1, 4)])
('del ', [(2, 3)])
('del ', [(1, 4)])
('add ', [(6, 7)])
('add ', [(0, 5)])
('del ', [(6, 7)])
('del ', [(0, 5)])
('add ', [(2, 3)])
('add ', [(1, 4)])
('del ', [(2, 3)])
('del ', [(1, 4)])
('add ', [(6, 7)])
('add ', [(0, 5)])
('del ', [(6, 7)])
('del ', [(0, 5)])
('add ', [(2, 3)])
('add ', [(1, 4)])
('del ', [(2, 3)])
('del ', [(1, 4)])
('add ', [(6, 7)])
('add ', [(0, 5)])
('del ', [(6, 7)])
('del ', [(0, 5)])
('add ', [(2, 3)])
('add ', [(1, 4)])
('del ', [(2, 3)])
('del ', [(1, 4)])
('add ', [(6, 7)])
('add ', [(0, 5)])
('del ', [(6, 7)])
('del ', [(0, 5)])
('add ', [(2, 3)])
('add ', [(1, 4)])
('del ', [(2, 3)])
('del ', [(1, 4)])
('add ', [(6, 7)])
('add ', [(0, 5)])
('del ', [(6, 7)])
('del ', [(0, 5)])
('add ', [(2, 3)])
('add ', [(1, 4)])
('del ', [(2, 3)])
('del ', [(1, 4)])
('add ', [(6, 7)])
('add ', [(0, 5)])
('del ', [(6, 7)])
('del ', [(0, 5)])
('add ', [(2, 3)])
('add ', [(1, 4)])
('del ', [(2, 3)])
('del ', [(1, 4)])
('add ', [(6, 7)])
('add ', [(0, 5)])
('del ', [(6, 7)])
('del ', [(0, 5)])
('add ', [(2, 3)])
('add ', [(1, 4)])
('del ', [(2, 3)])
('del ', [(1, 4)])
('add ', [(6, 7)])
('add ', [(0, 5)])
('del ', [(6, 7)])
('del ', [(0, 5)])
('add ', [(2, 3)])
('add ', [(1, 4)])
('del ', [(2, 3)])
('del ', [(1, 4)])
('add ', [(6, 7)])
('add ', [(0, 5)])
('del ', [(6, 7)])
('del ', [(0, 5)])
('add ', [(2, 3)])
('add ', [(1, 4)])
('del ', [(2, 3)])
('del ', [(1, 4)])
('add ', [(6, 7)])
('add ', [(0, 5)])
('del ', [(6, 7)])
('del ', [(0, 5)])
('add ', [(2, 3)])
('add ', [(1, 4)])
('del ', [(2, 3)])
('del ', [(1, 4)])
('add ', [(6, 7)])
('add ', [(0, 5)])
('del ', [(6, 7)])
('del ', [(0, 5)])
('add ', [(2, 3)])
('add ', [(1, 4)])
('del ', [(2, 3)])
('del ', [(1, 4)])
('add ', [(6, 7)])
('add ', [(0, 5)])
('del ', [(6, 7)])
('del ', [(0, 5)])
('add ', [(2, 3)])
('add ', [(1, 4)])
('del ', [(2, 3)])
('del ', [(1, 4)])
('add ', [(6, 7)])
('add ', [(0, 5)])
('del ', [(6, 7)])
('del ', [(0, 5)])
('add ', [(2, 3)])
('add ', [(1, 4)])
('del ', [(2, 3)])
('del ', [(1, 4)])
('add ', [(6, 7)])
('add ', [(0, 5)])
('del ', [(6, 7)])
('del ', [(0, 5)])
('add ', [(2, 3)])
('add ', [(1, 4)])
('del ', [(2, 3)])
('del ', [(1, 4)])
('add ', [(6, 7)])
('add ', [(0, 5)])
('del ', [(6, 7)])
('del ', [(0, 5)])
('add ', [(2, 3)])
('add ', [(1, 4)])
('del ', [(2, 3)])
('del ', [(1, 4)])
('add ', [(6, 7)])
('add ', [(0, 5)])
('del ', [(6, 7)])
('del ', [(0, 5)])
('add ', [(2, 3)])
('add ', [(1, 4)])
('del ', [(2, 3)])
('del ', [(1, 4)])
('add ', [(6, 7)])
('add ', [(0, 5)])
('del ', [(6, 7)])
('del ', [(0, 5)])
('add ', [(2, 3)])
('add ', [(1, 4)])
('del ', [(2, 3)])
('del ', [(1, 4)])
('add ', [(6, 7)])
('add ', [(0, 5)])
('del ', [(6, 7)])
('del ', [(0, 5)])
('add ', [(2, 3)])
('add ', [(1, 4)])
('del ', [(2, 3)])
('del ', [(1, 4)])
('add ', [(6, 7)])
('add ', [(0, 5)])
('del ', [(6, 7)])
('del ', [(0, 5)])
('add ', [(2, 3)])
('add ', [(1, 4)])
('del ', [(2, 3)])
('del ', [(1, 4)])
('add ', [(6, 7)])
('add ', [(0, 5)])
('del ', [(6, 7)])
('del ', [(0, 5)])
('add ', [(2, 3)])
('add ', [(1, 4)])
('del ', [(2, 3)])
('del ', [(1, 4)])
('add ', [(6, 7)])
('add ', [(0, 5)])
('del ', [(6, 7)])
('del ', [(0, 5)])
('add ', [(2, 3)])
('add ', [(1, 4)])
('del ', [(2, 3)])
('del ', [(1, 4)])
('add ', [(6, 7)])
('add ', [(0, 5)])
('del ', [(6, 7)])
('del ', [(0, 5)])
('add ', [(2, 3)])
('add ', [(1, 4)])
('del ', [(2, 3)])
('del ', [(1, 4)])
('add ', [(6, 7)])
('add ', [(0, 5)])
('del ', [(6, 7)])
('del ', [(0, 5)])
('add ', [(2, 3)])
('add ', [(1, 4)])
('del ', [(2, 3)])
('del ', [(1, 4)])
('add ', [(6, 7)])
('add ', [(0, 5)])
('del ', [(6, 7)])
('del ', [(0, 5)])
('add ', [(2, 3)])
('add ', [(1, 4)])
('del ', [(2, 3)])
('del ', [(1, 4)])
('add ', [(6, 7)])
('add ', [(0, 5)])
('del ', [(6, 7)])
('del ', [(0, 5)])
('add ', [(2, 3)])
('add ', [(1, 4)])
('del ', [(2, 3)])
('del ', [(1, 4)])
('add ', [(6, 7)])
('add ', [(0, 5)])
('del ', [(6, 7)])
('del ', [(0, 5)])
('add ', [(2, 3)])
('add ', [(1, 4)])
('del ', [(2, 3)])
('del ', [(1, 4)])
('add ', [(6, 7)])
('add ', [(0, 5)])
('del ', [(6, 7)])
('del ', [(0, 5)])
('add ', [(2, 3)])
('add ', [(1, 4)])
('del ', [(2, 3)])
('del ', [(1, 4)])
('add ', [(6, 7)])
('add ', [(0, 5)])
('del ', [(6, 7)])
('del ', [(0, 5)])
('add ', [(2, 3)])
('add ', [(1, 4)])
('del ', [(2, 3)])
('del ', [(1, 4)])
('add ', [(6, 7)])
('add ', [(0, 5)])
('del ', [(6, 7)])
('del ', [(0, 5)])
('add ', [(2, 3)])
('add ', [(1, 4)])
('del ', [(2, 3)])
('del ', [(1, 4)])
('add ', [(6, 7)])
('add ', [(0, 5)])
('del ', [(6, 7)])
('del ', [(0, 5)])
('add ', [(2, 3)])
('add ', [(1, 4)])
('del ', [(2, 3)])
('del ', [(1, 4)])
('add ', [(6, 7)])
('add ', [(0, 5)])
('del ', [(6, 7)])
('del ', [(0, 5)])
('add ', [(2, 3)])
('add ', [(1, 4)])
('del ', [(2, 3)])
('del ', [(1, 4)])
('add ', [(6, 7)])
('add ', [(0, 5)])
('del ', [(6, 7)])
('del ', [(0, 5)])
('add ', [(2, 3)])
('add ', [(1, 4)])
('del ', [(2, 3)])
('del ', [(1, 4)])
('add ', [(6, 7)])
('add ', [(0, 5)])
('del ', [(6, 7)])
('del ', [(0, 5)])
('add ', [(2, 3)])
('add ', [(1, 4)])
('del ', [(2, 3)])
('del ', [(1, 4)])
('add ', [(6, 7)])
('add ', [(0, 5)])
('del ', [(6, 7)])
('del ', [(0, 5)])
('add ', [(2, 3)])
('add ', [(1, 4)])
('del ', [(2, 3)])
('del ', [(1, 4)])
('add ', [(6, 7)])
('add ', [(0, 5)])
('del ', [(6, 7)])
('del ', [(0, 5)])
('add ', [(2, 3)])
('add ', [(1, 4)])
('del ', [(2, 3)])
('del ', [(1, 4)])
('add ', [(6, 7)])
('add ', [(0, 5)])
('del ', [(6, 7)])
('del ', [(0, 5)])
('add ', [(2, 3)])
('add ', [(1, 4)])
('del ', [(2, 3)])
('del ', [(1, 4)])
('add ', [(6, 7)])
('add ', [(0, 5)])
('del ', [(6, 7)])
('del ', [(0, 5)])
('add ', [(2, 3)])
('add ', [(1, 4)])
('del ', [(2, 3)])
('del ', [(1, 4)])
('add ', [(6, 7)])
('add ', [(0, 5)])
('del ', [(6, 7)])
('del ', [(0, 5)])
('add ', [(2, 3)])
('add ', [(1, 4)])
('del ', [(2, 3)])
('del ', [(1, 4)])
('add ', [(6, 7)])
('add ', [(0, 5)])
('del ', [(6, 7)])
('del ', [(0, 5)])
('add ', [(2, 3)])
('add ', [(1, 4)])
('del ', [(2, 3)])
('del ', [(1, 4)])
('add ', [(6, 7)])
('add ', [(0, 5)])
('del ', [(6, 7)])
('del ', [(0, 5)])
('add ', [(2, 3)])
('add ', [(1, 4)])
('del ', [(2, 3)])
('del ', [(1, 4)])
('add ', [(6, 7)])
('add ', [(0, 5)])
('del ', [(6, 7)])
('del ', [(0, 5)])
('add ', [(2, 3)])
('add ', [(1, 4)])
('del ', [(2, 3)])
('del ', [(1, 4)])
('add ', [(6, 7)])
('add ', [(0, 5)])
('del ', [(6, 7)])
('del ', [(0, 5)])
('add ', [(2, 3)])
('add ', [(1, 4)])
('del ', [(2, 3)])
('del ', [(1, 4)])
('add ', [(6, 7)])
('add ', [(0, 5)])
('del ', [(6, 7)])
('del ', [(0, 5)])
('add ', [(2, 3)])
('add ', [(1, 4)])
('del ', [(2, 3)])
('del ', [(1, 4)])
('add ', [(6, 7)])
('add ', [(0, 5)])
('del ', [(6, 7)])
('del ', [(0, 5)])
('add ', [(2, 3)])
('add ', [(1, 4)])
('del ', [(2, 3)])
('del ', [(1, 4)])
('add ', [(6, 7)])
('add ', [(0, 5)])
('del ', [(6, 7)])
('del ', [(0, 5)])
('add ', [(2, 3)])
('add ', [(1, 4)])
('del ', [(2, 3)])
('del ', [(1, 4)])
('add ', [(6, 7)])
('add ', [(0, 5)])
('del ', [(6, 7)])
('del ', [(0, 5)])
('add ', [(2, 3)])
('add ', [(1, 4)])
('del ', [(2, 3)])
('del ', [(1, 4)])
('add ', [(6, 7)])
('add ', [(0, 5)])
('del ', [(6, 7)])
('del ', [(0, 5)])
('add ', [(2, 3)])
('add ', [(1, 4)])
('del ', [(2, 3)])
('del ', [(1, 4)])
('add ', [(6, 7)])
('add ', [(0, 5)])
('del ', [(6, 7)])
('del ', [(0, 5)])
('add ', [(2, 3)])
('add ', [(1, 4)])
('del ', [(2, 3)])
('del ', [(1, 4)])
('add ', [(6, 7)])
('add ', [(0, 5)])
('del ', [(6, 7)])
('del ', [(0, 5)])
('add ', [(2, 3)])
('add ', [(1, 4)])
('del ', [(2, 3)])
('del ', [(1, 4)])
('add ', [(6, 7)])
('add ', [(0, 5)])
('del ', [(6, 7)])
('del ', [(0, 5)])
('add ', [(2, 3)])
('add ', [(1, 4)])
('del ', [(2, 3)])
('del ', [(1, 4)])
('add ', [(6, 7)])
('add ', [(0, 5)])
('del ', [(6, 7)])
('del ', [(0, 5)])
('add ', [(2, 3)])
('add ', [(1, 4)])
('del ', [(2, 3)])
('del ', [(1, 4)])
('add ', [(6, 7)])
('add ', [(0, 5)])
('del ', [(6, 7)])
('del ', [(0, 5)])
('add ', [(2, 3)])
('add ', [(1, 4)])
('del ', [(2, 3)])
('del ', [(1, 4)])
('add ', [(6, 7)])
('add ', [(0, 5)])
('del ', [(6, 7)])
('del ', [(0, 5)])
('add ', [(2, 3)])
('add ', [(1, 4)])
('del ', [(2, 3)])
('del ', [(1, 4)])
('add ', [(6, 7)])
('add ', [(0, 5)])
('del ', [(6, 7)])
('del ', [(0, 5)])
('add ', [(2, 3)])
('add ', [(1, 4)])
('del ', [(2, 3)])
('del ', [(1, 4)])
('add ', [(6, 7)])
('add ', [(0, 5)])
('del ', [(6, 7)])
('del ', [(0, 5)])
('add ', [(2, 3)])
('add ', [(1, 4)])
('del ', [(2, 3)])
('del ', [(1, 4)])
('add ', [(6, 7)])
('add ', [(0, 5)])
('del ', [(6, 7)])
('del ', [(0, 5)])
('add ', [(2, 3)])
('add ', [(1, 4)])
('del ', [(2, 3)])
('del ', [(1, 4)])
('add ', [(6, 7)])
('add ', [(0, 5)])
('del ', [(6, 7)])
('del ', [(0, 5)])
('add ', [(2, 3)])
('add ', [(1, 4)])
('del ', [(2, 3)])
('del ', [(1, 4)])
('add ', [(6, 7)])
('add ', [(0, 5)])
('del ', [(6, 7)])
('del ', [(0, 5)])
('add ', [(2, 3)])
('add ', [(1, 4)])
('del ', [(2, 3)])
('del ', [(1, 4)])
('add ', [(6, 7)])
('add ', [(0, 5)])
('del ', [(6, 7)])
('del ', [(0, 5)])
('add ', [(2, 3)])
('add ', [(1, 4)])
('del ', [(2, 3)])
('del ', [(1, 4)])
('add ', [(6, 7)])
('add ', [(0, 5)])
('del ', [(6, 7)])
('del ', [(0, 5)])
('add ', [(2, 3)])
('add ', [(1, 4)])
('del ', [(2, 3)])
('del ', [(1, 4)])
('add ', [(6, 7)])
('add ', [(0, 5)])
('del ', [(6, 7)])
('del ', [(0, 5)])
('add ', [(2, 3)])
('add ', [(1, 4)])
('del ', [(2, 3)])
('del ', [(1, 4)])
('add ', [(6, 7)])
('add ', [(0, 5)])
('del ', [(6, 7)])
('del ', [(0, 5)])
('add ', [(2, 3)])
('add ', [(1, 4)])
('del ', [(2, 3)])
('del ', [(1, 4)])
('add ', [(6, 7)])
('add ', [(0, 5)])
('del ', [(6, 7)])
('del ', [(0, 5)])
('add ', [(2, 3)])
('add ', [(1, 4)])
('del ', [(2, 3)])
('del ', [(1, 4)])
('add ', [(6, 7)])
('add ', [(0, 5)])
('del ', [(6, 7)])
('del ', [(0, 5)])
('add ', [(2, 3)])
('add ', [(1, 4)])
('del ', [(2, 3)])
('del ', [(1, 4)])
('add ', [(6, 7)])
('add ', [(0, 5)])
('del ', [(6, 7)])
('del ', [(0, 5)])
('add ', [(2, 3)])
('add ', [(1, 4)])
('del ', [(2, 3)])
('del ', [(1, 4)])
('add ', [(6, 7)])
('add ', [(0, 5)])
('del ', [(6, 7)])
('del ', [(0, 5)])
('add ', [(2, 3)])
('add ', [(1, 4)])
('del ', [(2, 3)])
('del ', [(1, 4)])
('add ', [(6, 7)])
('add ', [(0, 5)])
('del ', [(6, 7)])
('del ', [(0, 5)])
('add ', [(2, 3)])
('add ', [(1, 4)])
('del ', [(2, 3)])
('del ', [(1, 4)])
('add ', [(6, 7)])
('add ', [(0, 5)])
('del ', [(6, 7)])
('del ', [(0, 5)])
('add ', [(2, 3)])
('add ', [(1, 4)])
('del ', [(2, 3)])
('del ', [(1, 4)])
('add ', [(6, 7)])
('add ', [(0, 5)])
('del ', [(6, 7)])
('del ', [(0, 5)])
('add ', [(2, 3)])
('add ', [(1, 4)])
('del ', [(2, 3)])
('del ', [(1, 4)])
('add ', [(6, 7)])
('add ', [(0, 5)])
('del ', [(6, 7)])
('del ', [(0, 5)])
('add ', [(2, 3)])
('add ', [(1, 4)])
('del ', [(2, 3)])
('del ', [(1, 4)])
('add ', [(6, 7)])
('add ', [(0, 5)])
('del ', [(6, 7)])
('del ', [(0, 5)])
('add ', [(2, 3)])
('add ', [(1, 4)])
('del ', [(2, 3)])
('del ', [(1, 4)])
('add ', [(6, 7)])
('add ', [(0, 5)])
('del ', [(6, 7)])
('del ', [(0, 5)])
('add ', [(2, 3)])
('add ', [(1, 4)])
('del ', [(2, 3)])
('del ', [(1, 4)])
('add ', [(6, 7)])
('add ', [(0, 5)])
('del ', [(6, 7)])
('del ', [(0, 5)])
('add ', [(2, 3)])
('add ', [(1, 4)])
('del ', [(2, 3)])
('del ', [(1, 4)])
('add ', [(6, 7)])
('add ', [(0, 5)])
('del ', [(6, 7)])
('del ', [(0, 5)])
('add ', [(2, 3)])
('add ', [(1, 4)])
('del ', [(2, 3)])
('del ', [(1, 4)])
('add ', [(6, 7)])
('add ', [(0, 5)])
('del ', [(6, 7)])
('del ', [(0, 5)])
('add ', [(2, 3)])
('add ', [(1, 4)])
('del ', [(2, 3)])
('del ', [(1, 4)])
('add ', [(6, 7)])
('add ', [(0, 5)])
('del ', [(6, 7)])
('del ', [(0, 5)])
('add ', [(2, 3)])
('add ', [(1, 4)])
('del ', [(2, 3)])
('del ', [(1, 4)])
('add ', [(6, 7)])
('add ', [(0, 5)])
('del ', [(6, 7)])
('del ', [(0, 5)])
('add ', [(2, 3)])
('add ', [(1, 4)])
('del ', [(2, 3)])
('del ', [(1, 4)])
('add ', [(6, 7)])
('add ', [(0, 5)])
('del ', [(6, 7)])
('del ', [(0, 5)])
('add ', [(2, 3)])
('add ', [(1, 4)])
('del ', [(2, 3)])
('del ', [(1, 4)])
('add ', [(6, 7)])
('add ', [(0, 5)])
('del ', [(6, 7)])
('del ', [(0, 5)])
('add ', [(2, 3)])
('add ', [(1, 4)])
('del ', [(2, 3)])
('del ', [(1, 4)])
('add ', [(6, 7)])
('add ', [(0, 5)])
('del ', [(6, 7)])
('del ', [(0, 5)])
('add ', [(2, 3)])
('add ', [(1, 4)])
('del ', [(2, 3)])
('del ', [(1, 4)])
('add ', [(6, 7)])
('add ', [(0, 5)])
('del ', [(6, 7)])
('del ', [(0, 5)])
('add ', [(2, 3)])
('add ', [(1, 4)])
('del ', [(2, 3)])
('del ', [(1, 4)])
('add ', [(6, 7)])
('add ', [(0, 5)])
('del ', [(6, 7)])
('del ', [(0, 5)])
('add ', [(2, 3)])
('add ', [(1, 4)])
('del ', [(2, 3)])
('del ', [(1, 4)])
('add ', [(6, 7)])
('add ', [(0, 5)])
('del ', [(6, 7)])
('del ', [(0, 5)])
('add ', [(2, 3)])
('add ', [(1, 4)])
('del ', [(2, 3)])
('del ', [(1, 4)])
('add ', [(6, 7)])
('add ', [(0, 5)])
('del ', [(6, 7)])
('del ', [(0, 5)])
('add ', [(2, 3)])
('add ', [(1, 4)])
('del ', [(2, 3)])
('del ', [(1, 4)])
('add ', [(6, 7)])
('add ', [(0, 5)])
('del ', [(6, 7)])
('del ', [(0, 5)])
('add ', [(2, 3)])
('add ', [(1, 4)])
('del ', [(2, 3)])
('del ', [(1, 4)])
('add ', [(6, 7)])
('add ', [(0, 5)])
('del ', [(6, 7)])
('del ', [(0, 5)])
('add ', [(2, 3)])
('add ', [(1, 4)])
('del ', [(2, 3)])
('del ', [(1, 4)])
('add ', [(6, 7)])
('add ', [(0, 5)])
('del ', [(6, 7)])
('del ', [(0, 5)])
('add ', [(2, 3)])
('add ', [(1, 4)])
('del ', [(2, 3)])
('del ', [(1, 4)])
('add ', [(6, 7)])
('add ', [(0, 5)])
('del ', [(6, 7)])
('del ', [(0, 5)])
('add ', [(2, 3)])
('add ', [(1, 4)])
('del ', [(2, 3)])
('del ', [(1, 4)])
('add ', [(6, 7)])
('add ', [(0, 5)])
('del ', [(6, 7)])
('del ', [(0, 5)])
('add ', [(2, 3)])
('add ', [(1, 4)])
('del ', [(2, 3)])
('del ', [(1, 4)])
('add ', [(6, 7)])
('add ', [(0, 5)])
('del ', [(6, 7)])
('del ', [(0, 5)])
('add ', [(2, 3)])
('add ', [(1, 4)])
('del ', [(2, 3)])
('del ', [(1, 4)])
('add ', [(6, 7)])
('add ', [(0, 5)])
('del ', [(6, 7)])
('del ', [(0, 5)])
('add ', [(2, 3)])
('add ', [(1, 4)])
('del ', [(2, 3)])
('del ', [(1, 4)])
('add ', [(6, 7)])
('add ', [(0, 5)])
('del ', [(6, 7)])
('del ', [(0, 5)])
('add ', [(2, 3)])
('add ', [(1, 4)])
('del ', [(2, 3)])
('del ', [(1, 4)])
('add ', [(6, 7)])
('add ', [(0, 5)])
('del ', [(6, 7)])
('del ', [(0, 5)])
('add ', [(2, 3)])
('add ', [(1, 4)])
('del ', [(2, 3)])
('del ', [(1, 4)])
('add ', [(6, 7)])
('add ', [(0, 5)])
('del ', [(6, 7)])
('del ', [(0, 5)])
('add ', [(2, 3)])
('add ', [(1, 4)])
('del ', [(2, 3)])
('del ', [(1, 4)])
('add ', [(6, 7)])
('add ', [(0, 5)])
('del ', [(6, 7)])
('del ', [(0, 5)])
('add ', [(2, 3)])
('add ', [(1, 4)])
('del ', [(2, 3)])
('del ', [(1, 4)])
('add ', [(6, 7)])
('add ', [(0, 5)])
('del ', [(6, 7)])
('del ', [(0, 5)])
('add ', [(2, 3)])
('add ', [(1, 4)])
('del ', [(2, 3)])
('del ', [(1, 4)])
('add ', [(6, 7)])
('add ', [(0, 5)])
('del ', [(6, 7)])
('del ', [(0, 5)])
('add ', [(2, 3)])
('add ', [(1, 4)])
('del ', [(2, 3)])
('del ', [(1, 4)])
('add ', [(6, 7)])
('add ', [(0, 5)])
('del ', [(6, 7)])
('del ', [(0, 5)])
('add ', [(2, 3)])
('add ', [(1, 4)])
('del ', [(2, 3)])
('del ', [(1, 4)])
('add ', [(6, 7)])
('add ', [(0, 5)])
('del ', [(6, 7)])
('del ', [(0, 5)])
('add ', [(2, 3)])
('add ', [(1, 4)])
('del ', [(2, 3)])
('del ', [(1, 4)])
('add ', [(6, 7)])
('add ', [(0, 5)])
('del ', [(6, 7)])
('del ', [(0, 5)])
('add ', [(2, 3)])
('add ', [(1, 4)])
('del ', [(2, 3)])
('del ', [(1, 4)])
('add ', [(6, 7)])
('add ', [(0, 5)])
('del ', [(6, 7)])
('del ', [(0, 5)])
('add ', [(2, 3)])
('add ', [(1, 4)])
('del ', [(2, 3)])
('del ', [(1, 4)])
('add ', [(6, 7)])
('add ', [(0, 5)])
('del ', [(6, 7)])
('del ', [(0, 5)])
('add ', [(2, 3)])
('add ', [(1, 4)])
('del ', [(2, 3)])
('del ', [(1, 4)])
('add ', [(6, 7)])
('add ', [(0, 5)])
('del ', [(6, 7)])
('del ', [(0, 5)])
('add ', [(2, 3)])
('add ', [(1, 4)])
('del ', [(2, 3)])
('del ', [(1, 4)])
('add ', [(6, 7)])
('add ', [(0, 5)])
('del ', [(6, 7)])
('del ', [(0, 5)])
('add ', [(2, 3)])
('add ', [(1, 4)])
('del ', [(2, 3)])
('del ', [(1, 4)])
('add ', [(6, 7)])
('add ', [(0, 5)])
('del ', [(6, 7)])
('del ', [(0, 5)])
('add ', [(2, 3)])
('add ', [(1, 4)])
('del ', [(2, 3)])
('del ', [(1, 4)])
('add ', [(6, 7)])
('add ', [(0, 5)])
('del ', [(6, 7)])
('del ', [(0, 5)])
('add ', [(2, 3)])
('add ', [(1, 4)])
('del ', [(2, 3)])
('del ', [(1, 4)])
('add ', [(6, 7)])
('add ', [(0, 5)])
('del ', [(6, 7)])
('del ', [(0, 5)])
('add ', [(2, 3)])
('add ', [(1, 4)])
('del ', [(2, 3)])
('del ', [(1, 4)])
('add ', [(6, 7)])
('add ', [(0, 5)])
('del ', [(6, 7)])
('del ', [(0, 5)])
('add ', [(2, 3)])
('add ', [(1, 4)])
('del ', [(2, 3)])
('del ', [(1, 4)])
('add ', [(6, 7)])
('add ', [(0, 5)])
('del ', [(6, 7)])
('del ', [(0, 5)])
('add ', [(2, 3)])
('add ', [(1, 4)])
('del ', [(2, 3)])
('del ', [(1, 4)])
('add ', [(6, 7)])
('add ', [(0, 5)])
('del ', [(6, 7)])
('del ', [(0, 5)])
('add ', [(2, 3)])
('add ', [(1, 4)])
('del ', [(2, 3)])
('del ', [(1, 4)])
('add ', [(6, 7)])
('add ', [(0, 5)])
('del ', [(6, 7)])
('del ', [(0, 5)])
('add ', [(2, 3)])
('add ', [(1, 4)])
('del ', [(2, 3)])
('del ', [(1, 4)])
('add ', [(6, 7)])
('add ', [(0, 5)])
('del ', [(6, 7)])
('del ', [(0, 5)])
('add ', [(2, 3)])
('add ', [(1, 4)])
('del ', [(2, 3)])
('del ', [(1, 4)])
('add ', [(6, 7)])
('add ', [(0, 5)])
('del ', [(6, 7)])
('del ', [(0, 5)])
('add ', [(2, 3)])
('add ', [(1, 4)])
('del ', [(2, 3)])
('del ', [(1, 4)])
('add ', [(6, 7)])
('add ', [(0, 5)])
('del ', [(6, 7)])
('del ', [(0, 5)])
('add ', [(2, 3)])
('add ', [(1, 4)])
('del ', [(2, 3)])
('del ', [(1, 4)])
('add ', [(6, 7)])
('add ', [(0, 5)])
('del ', [(6, 7)])
('del ', [(0, 5)])
('add ', [(2, 3)])
('add ', [(1, 4)])
('del ', [(2, 3)])
('del ', [(1, 4)])
('add ', [(6, 7)])
('add ', [(0, 5)])
('del ', [(6, 7)])
('del ', [(0, 5)])
('add ', [(2, 3)])
('add ', [(1, 4)])
('del ', [(2, 3)])
('del ', [(1, 4)])
('add ', [(6, 7)])
('add ', [(0, 5)])
('del ', [(6, 7)])
('del ', [(0, 5)])
('add ', [(2, 3)])
('add ', [(1, 4)])
('del ', [(2, 3)])
('del ', [(1, 4)])
('add ', [(6, 7)])
('add ', [(0, 5)])
('del ', [(6, 7)])
('del ', [(0, 5)])
('add ', [(2, 3)])
('add ', [(1, 4)])
('del ', [(2, 3)])
('del ', [(1, 4)])
('add ', [(6, 7)])
('add ', [(0, 5)])
('del ', [(6, 7)])
('del ', [(0, 5)])
('add ', [(2, 3)])
('add ', [(1, 4)])
('del ', [(2, 3)])
('del ', [(1, 4)])
('add ', [(6, 7)])
('add ', [(0, 5)])
('del ', [(6, 7)])
('del ', [(0, 5)])
('add ', [(2, 3)])
('add ', [(1, 4)])
('del ', [(2, 3)])
('del ', [(1, 4)])
('add ', [(6, 7)])
('add ', [(0, 5)])
('del ', [(6, 7)])
('del ', [(0, 5)])
('add ', [(2, 3)])
('add ', [(1, 4)])
('del ', [(2, 3)])
('del ', [(1, 4)])
('add ', [(6, 7)])
('add ', [(0, 5)])
('del ', [(6, 7)])
('del ', [(0, 5)])
('add ', [(2, 3)])
('add ', [(1, 4)])
('del ', [(2, 3)])
('del ', [(1, 4)])
('add ', [(6, 7)])
('add ', [(0, 5)])
('del ', [(6, 7)])
('del ', [(0, 5)])
('add ', [(2, 3)])
('add ', [(1, 4)])
('del ', [(2, 3)])
('del ', [(1, 4)])
('add ', [(6, 7)])
('add ', [(0, 5)])
('del ', [(6, 7)])
('del ', [(0, 5)])
('add ', [(2, 3)])
('add ', [(1, 4)])
('del ', [(2, 3)])
('del ', [(1, 4)])
('add ', [(6, 7)])
('add ', [(0, 5)])
('del ', [(6, 7)])
('del ', [(0, 5)])
('add ', [(2, 3)])
('add ', [(1, 4)])
('del ', [(2, 3)])
('del ', [(1, 4)])
('add ', [(6, 7)])
('add ', [(0, 5)])
('del ', [(6, 7)])
('del ', [(0, 5)])
('add ', [(2, 3)])
('add ', [(1, 4)])
('del ', [(2, 3)])
('del ', [(1, 4)])
('add ', [(6, 7)])
('add ', [(0, 5)])
('del ', [(6, 7)])
('del ', [(0, 5)])
('add ', [(2, 3)])
('add ', [(1, 4)])
('del ', [(2, 3)])
('del ', [(1, 4)])
('add ', [(6, 7)])
('add ', [(0, 5)])
('del ', [(6, 7)])
('del ', [(0, 5)])
('add ', [(2, 3)])
('add ', [(1, 4)])
('del ', [(2, 3)])
('del ', [(1, 4)])
('add ', [(6, 7)])
('add ', [(0, 5)])
('del ', [(6, 7)])
('del ', [(0, 5)])
('add ', [(2, 3)])
('add ', [(1, 4)])
('del ', [(2, 3)])
('del ', [(1, 4)])
('add ', [(6, 7)])
('add ', [(0, 5)])
('del ', [(6, 7)])
('del ', [(0, 5)])
('add ', [(2, 3)])
('add ', [(1, 4)])
('del ', [(2, 3)])
('del ', [(1, 4)])
('add ', [(6, 7)])
('add ', [(0, 5)])
('del ', [(6, 7)])
('del ', [(0, 5)])
('add ', [(2, 3)])
('add ', [(1, 4)])
('del ', [(2, 3)])
('del ', [(1, 4)])
('add ', [(6, 7)])
('add ', [(0, 5)])
('del ', [(6, 7)])
('del ', [(0, 5)])
('add ', [(2, 3)])
('add ', [(1, 4)])
('del ', [(2, 3)])
('del ', [(1, 4)])
('add ', [(6, 7)])
('add ', [(0, 5)])
('del ', [(6, 7)])
('del ', [(0, 5)])
('add ', [(2, 3)])
('add ', [(1, 4)])
('del ', [(2, 3)])
('del ', [(1, 4)])
('add ', [(6, 7)])
('add ', [(0, 5)])
('del ', [(6, 7)])
('del ', [(0, 5)])
('add ', [(2, 3)])
('add ', [(1, 4)])
('del ', [(2, 3)])
('del ', [(1, 4)])
('add ', [(6, 7)])
('add ', [(0, 5)])
('del ', [(6, 7)])
('del ', [(0, 5)])
('add ', [(2, 3)])
('add ', [(1, 4)])
('del ', [(2, 3)])
('del ', [(1, 4)])
('add ', [(6, 7)])
('add ', [(0, 5)])
('del ', [(6, 7)])
('del ', [(0, 5)])
('add ', [(2, 3)])
('add ', [(1, 4)])
('del ', [(2, 3)])
('del ', [(1, 4)])
('add ', [(6, 7)])
('add ', [(0, 5)])
('del ', [(6, 7)])
('del ', [(0, 5)])
('add ', [(2, 3)])
('add ', [(1, 4)])
('del ', [(2, 3)])
('del ', [(1, 4)])
('add ', [(6, 7)])
('add ', [(0, 5)])
('del ', [(6, 7)])
('del ', [(0, 5)])
('add ', [(2, 3)])
('add ', [(1, 4)])
('del ', [(2, 3)])
('del ', [(1, 4)])
('add ', [(6, 7)])
('add ', [(0, 5)])
('del ', [(6, 7)])
('del ', [(0, 5)])
('add ', [(2, 3)])
('add ', [(1, 4)])
('del ', [(2, 3)])
('del ', [(1, 4)])
('add ', [(6, 7)])
('add ', [(0, 5)])
('del ', [(6, 7)])
('del ', [(0, 5)])
('add ', [(2, 3)])
('add ', [(1, 4)])
('del ', [(2, 3)])
('del ', [(1, 4)])
('add ', [(6, 7)])
('add ', [(0, 5)])
('del ', [(6, 7)])
('del ', [(0, 5)])
('add ', [(2, 3)])
('add ', [(1, 4)])
('del ', [(2, 3)])
('del ', [(1, 4)])
('add ', [(6, 7)])
('add ', [(0, 5)])
('del ', [(6, 7)])
('del ', [(0, 5)])
('add ', [(2, 3)])
('add ', [(1, 4)])
('del ', [(2, 3)])
('del ', [(1, 4)])
('add ', [(6, 7)])
('add ', [(0, 5)])
('del ', [(6, 7)])
('del ', [(0, 5)])
('add ', [(2, 3)])
('add ', [(1, 4)])
('del ', [(2, 3)])
('del ', [(1, 4)])
('add ', [(6, 7)])
('add ', [(0, 5)])
('del ', [(6, 7)])
('del ', [(0, 5)])
('add ', [(2, 3)])
('add ', [(1, 4)])
('del ', [(2, 3)])
('del ', [(1, 4)])
('add ', [(6, 7)])
('add ', [(0, 5)])
('del ', [(6, 7)])
('del ', [(0, 5)])
('add ', [(2, 3)])
('add ', [(1, 4)])
('del ', [(2, 3)])
('del ', [(1, 4)])
('add ', [(6, 7)])
('add ', [(0, 5)])
('del ', [(6, 7)])
('del ', [(0, 5)])
('add ', [(2, 3)])
('add ', [(1, 4)])
('del ', [(2, 3)])
('del ', [(1, 4)])
('add ', [(6, 7)])
('add ', [(0, 5)])
('del ', [(6, 7)])
('del ', [(0, 5)])
('add ', [(2, 3)])
('add ', [(1, 4)])
('del ', [(2, 3)])
('del ', [(1, 4)])
('add ', [(6, 7)])
('add ', [(0, 5)])
('del ', [(6, 7)])
('del ', [(0, 5)])
('add ', [(2, 3)])
('add ', [(1, 4)])
('del ', [(2, 3)])
('del ', [(1, 4)])
('add ', [(6, 7)])
('add ', [(0, 5)])
('del ', [(6, 7)])
('del ', [(0, 5)])
('add ', [(2, 3)])
('add ', [(1, 4)])
('del ', [(2, 3)])
('del ', [(1, 4)])
('add ', [(6, 7)])
('add ', [(0, 5)])
('del ', [(6, 7)])
('del ', [(0, 5)])
('add ', [(2, 3)])
('add ', [(1, 4)])
('del ', [(2, 3)])
('del ', [(1, 4)])
('add ', [(6, 7)])
('add ', [(0, 5)])
('del ', [(6, 7)])
('del ', [(0, 5)])
('add ', [(2, 3)])
('add ', [(1, 4)])
('del ', [(2, 3)])
('del ', [(1, 4)])
('add ', [(6, 7)])
('add ', [(0, 5)])
('del ', [(6, 7)])
('del ', [(0, 5)])
('add ', [(2, 3)])
('add ', [(1, 4)])
('del ', [(2, 3)])
('del ', [(1, 4)])
('add ', [(6, 7)])
('add ', [(0, 5)])
('del ', [(6, 7)])
('del ', [(0, 5)])
('add ', [(2, 3)])
('add ', [(1, 4)])
('del ', [(2, 3)])
('del ', [(1, 4)])
('add ', [(6, 7)])
('add ', [(0, 5)])
('del ', [(6, 7)])
('del ', [(0, 5)])
('add ', [(2, 3)])
('add ', [(1, 4)])
('del ', [(2, 3)])
('del ', [(1, 4)])
('add ', [(6, 7)])
('add ', [(0, 5)])
('del ', [(6, 7)])
('del ', [(0, 5)])
('add ', [(2, 3)])
('add ', [(1, 4)])
('del ', [(2, 3)])
('del ', [(1, 4)])
('add ', [(6, 7)])
('add ', [(0, 5)])
('del ', [(6, 7)])
('del ', [(0, 5)])
('add ', [(2, 3)])
('add ', [(1, 4)])
('del ', [(2, 3)])
('del ', [(1, 4)])
('add ', [(6, 7)])
('add ', [(0, 5)])
('del ', [(6, 7)])
('del ', [(0, 5)])
('add ', [(2, 3)])
('add ', [(1, 4)])
('del ', [(2, 3)])
('del ', [(1, 4)])
('add ', [(6, 7)])
('add ', [(0, 5)])
('del ', [(6, 7)])
('del ', [(0, 5)])
('add ', [(2, 3)])
('add ', [(1, 4)])
('del ', [(2, 3)])
('del ', [(1, 4)])
('add ', [(6, 7)])
('add ', [(0, 5)])
('del ', [(6, 7)])
('del ', [(0, 5)])
('add ', [(2, 3)])
('add ', [(1, 4)])
('del ', [(2, 3)])
('del ', [(1, 4)])
('add ', [(6, 7)])
('add ', [(0, 5)])
('del ', [(6, 7)])
('del ', [(0, 5)])
('add ', [(2, 3)])
('add ', [(1, 4)])
('del ', [(2, 3)])
('del ', [(1, 4)])
('add ', [(6, 7)])
('add ', [(0, 5)])
('del ', [(6, 7)])
('del ', [(0, 5)])
('add ', [(2, 3)])
('add ', [(1, 4)])
('del ', [(2, 3)])
('del ', [(1, 4)])
('add ', [(6, 7)])
('add ', [(0, 5)])
('del ', [(6, 7)])
('del ', [(0, 5)])
('add ', [(2, 3)])
('add ', [(1, 4)])
('del ', [(2, 3)])
('del ', [(1, 4)])
('add ', [(6, 7)])
('add ', [(0, 5)])
('del ', [(6, 7)])
('del ', [(0, 5)])
('add ', [(2, 3)])
('add ', [(1, 4)])
('del ', [(2, 3)])
('del ', [(1, 4)])
('add ', [(6, 7)])
('add ', [(0, 5)])
('del ', [(6, 7)])
('del ', [(0, 5)])
('add ', [(2, 3)])
('add ', [(1, 4)])
('del ', [(2, 3)])
('del ', [(1, 4)])
('add ', [(6, 7)])
('add ', [(0, 5)])
('del ', [(6, 7)])
('del ', [(0, 5)])
('add ', [(2, 3)])
('add ', [(1, 4)])
('del ', [(2, 3)])
('del ', [(1, 4)])
('add ', [(6, 7)])
('add ', [(0, 5)])
('del ', [(6, 7)])
('del ', [(0, 5)])
('add ', [(2, 3)])
('add ', [(1, 4)])
('del ', [(2, 3)])
('del ', [(1, 4)])
('add ', [(6, 7)])
('add ', [(0, 5)])
('del ', [(6, 7)])
('del ', [(0, 5)])
('add ', [(2, 3)])
('add ', [(1, 4)])
('del ', [(2, 3)])
('del ', [(1, 4)])
('add ', [(6, 7)])
('add ', [(0, 5)])
('del ', [(6, 7)])
('del ', [(0, 5)])
('add ', [(2, 3)])
('add ', [(1, 4)])
('del ', [(2, 3)])
('del ', [(1, 4)])
('add ', [(6, 7)])
('add ', [(0, 5)])
('del ', [(6, 7)])
('del ', [(0, 5)])
('add ', [(2, 3)])
('add ', [(1, 4)])
('del ', [(2, 3)])
('del ', [(1, 4)])
('add ', [(6, 7)])
('add ', [(0, 5)])
('del ', [(6, 7)])
('del ', [(0, 5)])
('add ', [(2, 3)])
('add ', [(1, 4)])
('del ', [(2, 3)])
('del ', [(1, 4)])
('add ', [(6, 7)])
('add ', [(0, 5)])
('del ', [(6, 7)])
('del ', [(0, 5)])
('add ', [(2, 3)])
('add ', [(1, 4)])
('del ', [(2, 3)])
('del ', [(1, 4)])
('add ', [(6, 7)])
('add ', [(0, 5)])
('del ', [(6, 7)])
('del ', [(0, 5)])
('add ', [(2, 3)])
('add ', [(1, 4)])
('del ', [(2, 3)])
('del ', [(1, 4)])
('add ', [(6, 7)])
('add ', [(0, 5)])
('del ', [(6, 7)])
('del ', [(0, 5)])
('add ', [(2, 3)])
('add ', [(1, 4)])
('del ', [(2, 3)])
('del ', [(1, 4)])
('add ', [(6, 7)])
('add ', [(0, 5)])
('del ', [(6, 7)])
('del ', [(0, 5)])
('add ', [(2, 3)])
('add ', [(1, 4)])
('del ', [(2, 3)])
('del ', [(1, 4)])
('add ', [(6, 7)])
('add ', [(0, 5)])
('del ', [(6, 7)])
('del ', [(0, 5)])
('add ', [(2, 3)])
('add ', [(1, 4)])
('del ', [(2, 3)])
('del ', [(1, 4)])
('add ', [(6, 7)])
('add ', [(0, 5)])
('del ', [(6, 7)])
('del ', [(0, 5)])
('add ', [(2, 3)])
('add ', [(1, 4)])
('del ', [(2, 3)])
('del ', [(1, 4)])
('add ', [(6, 7)])
('add ', [(0, 5)])
('del ', [(6, 7)])
('del ', [(0, 5)])
('add ', [(2, 3)])
('add ', [(1, 4)])
('del ', [(2, 3)])
('del ', [(1, 4)])
('add ', [(6, 7)])
('add ', [(0, 5)])
('del ', [(6, 7)])
('del ', [(0, 5)])
('add ', [(2, 3)])
('add ', [(1, 4)])
('del ', [(2, 3)])
('del ', [(1, 4)])
('add ', [(6, 7)])
('add ', [(0, 5)])
('del ', [(6, 7)])
('del ', [(0, 5)])
('add ', [(2, 3)])
('add ', [(1, 4)])
('del ', [(2, 3)])
('del ', [(1, 4)])
('add ', [(6, 7)])
('add ', [(0, 5)])
('del ', [(6, 7)])
('del ', [(0, 5)])
('add ', [(2, 3)])
('add ', [(1, 4)])
('del ', [(2, 3)])
('del ', [(1, 4)])
('add ', [(6, 7)])
('add ', [(0, 5)])
('del ', [(6, 7)])
('del ', [(0, 5)])
('add ', [(2, 3)])
('add ', [(1, 4)])
('del ', [(2, 3)])
('del ', [(1, 4)])
('add ', [(6, 7)])
('add ', [(0, 5)])
('del ', [(6, 7)])
('del ', [(0, 5)])
('add ', [(2, 3)])
('add ', [(1, 4)])
('del ', [(2, 3)])
('del ', [(1, 4)])
('add ', [(6, 7)])
('add ', [(0, 5)])
('del ', [(6, 7)])
('del ', [(0, 5)])
('add ', [(2, 3)])
('add ', [(1, 4)])
('del ', [(2, 3)])
('del ', [(1, 4)])
('add ', [(6, 7)])
('add ', [(0, 5)])
('del ', [(6, 7)])
('del ', [(0, 5)])
('add ', [(2, 3)])
('add ', [(1, 4)])
('del ', [(2, 3)])
('del ', [(1, 4)])
('add ', [(6, 7)])
('add ', [(0, 5)])
('del ', [(6, 7)])
('del ', [(0, 5)])
('add ', [(2, 3)])
('add ', [(1, 4)])
('del ', [(2, 3)])
('del ', [(1, 4)])
('add ', [(6, 7)])
('add ', [(0, 5)])
('del ', [(6, 7)])
('del ', [(0, 5)])
('add ', [(2, 3)])
('add ', [(1, 4)])
('del ', [(2, 3)])
('del ', [(1, 4)])
('add ', [(6, 7)])
('add ', [(0, 5)])
('del ', [(6, 7)])
('del ', [(0, 5)])
('add ', [(2, 3)])
('add ', [(1, 4)])
('del ', [(2, 3)])
('del ', [(1, 4)])
('add ', [(6, 7)])
('add ', [(0, 5)])
('del ', [(6, 7)])
('del ', [(0, 5)])
('add ', [(2, 3)])
('add ', [(1, 4)])
('del ', [(2, 3)])
('del ', [(1, 4)])
('add ', [(6, 7)])
('add ', [(0, 5)])
('del ', [(6, 7)])
('del ', [(0, 5)])
('add ', [(2, 3)])
('add ', [(1, 4)])
('del ', [(2, 3)])
('del ', [(1, 4)])
('add ', [(6, 7)])
('add ', [(0, 5)])
('del ', [(6, 7)])
('del ', [(0, 5)])
('add ', [(2, 3)])
('add ', [(1, 4)])
('del ', [(2, 3)])
('del ', [(1, 4)])
('add ', [(6, 7)])
('add ', [(0, 5)])
('del ', [(6, 7)])
('del ', [(0, 5)])
('add ', [(2, 3)])
('add ', [(1, 4)])
('del ', [(2, 3)])
('del ', [(1, 4)])
('add ', [(6, 7)])
('add ', [(0, 5)])
('del ', [(6, 7)])
('del ', [(0, 5)])
('add ', [(2, 3)])
('add ', [(1, 4)])
('del ', [(2, 3)])
('del ', [(1, 4)])
('add ', [(6, 7)])
('add ', [(0, 5)])
('del ', [(6, 7)])
('del ', [(0, 5)])
('add ', [(2, 3)])
('add ', [(1, 4)])
('del ', [(2, 3)])
('del ', [(1, 4)])
('add ', [(6, 7)])
('add ', [(0, 5)])
('del ', [(6, 7)])
('del ', [(0, 5)])
('add ', [(2, 3)])
('add ', [(1, 4)])
('del ', [(2, 3)])
('del ', [(1, 4)])
('add ', [(6, 7)])
('add ', [(0, 5)])
('del ', [(6, 7)])
('del ', [(0, 5)])
('add ', [(2, 3)])
('add ', [(1, 4)])
('del ', [(2, 3)])
('del ', [(1, 4)])
('add ', [(6, 7)])
('add ', [(0, 5)])
('del ', [(6, 7)])
('del ', [(0, 5)])
('add ', [(2, 3)])
('add ', [(1, 4)])
('del ', [(2, 3)])
('del ', [(1, 4)])
('add ', [(6, 7)])
('add ', [(0, 5)])
('del ', [(6, 7)])
('del ', [(0, 5)])
('add ', [(2, 3)])
('add ', [(1, 4)])
('del ', [(2, 3)])
('del ', [(1, 4)])
('add ', [(6, 7)])
('add ', [(0, 5)])
('del ', [(6, 7)])
('del ', [(0, 5)])
('add ', [(2, 3)])
('add ', [(1, 4)])
('del ', [(2, 3)])
('del ', [(1, 4)])
('add ', [(6, 7)])
('add ', [(0, 5)])
('del ', [(6, 7)])
('del ', [(0, 5)])
('add ', [(2, 3)])
('add ', [(1, 4)])
('del ', [(2, 3)])
('del ', [(1, 4)])
('add ', [(6, 7)])
('add ', [(0, 5)])
('del ', [(6, 7)])
('del ', [(0, 5)])
('add ', [(2, 3)])
('add ', [(1, 4)])
('del ', [(2, 3)])
('del ', [(1, 4)])
('add ', [(6, 7)])
('add ', [(0, 5)])
('del ', [(6, 7)])
('del ', [(0, 5)])
('add ', [(2, 3)])
('add ', [(1, 4)])
('del ', [(2, 3)])
('del ', [(1, 4)])
('add ', [(6, 7)])
('add ', [(0, 5)])
('del ', [(6, 7)])
('del ', [(0, 5)])
('add ', [(2, 3)])
('add ', [(1, 4)])
('del ', [(2, 3)])
('del ', [(1, 4)])
('add ', [(6, 7)])
('add ', [(0, 5)])
('del ', [(6, 7)])
('del ', [(0, 5)])
('add ', [(2, 3)])
('add ', [(1, 4)])
('del ', [(2, 3)])
('del ', [(1, 4)])
('add ', [(6, 7)])
('add ', [(0, 5)])
('del ', [(6, 7)])
('del ', [(0, 5)])
('add ', [(2, 3)])
('add ', [(1, 4)])
('del ', [(2, 3)])
('del ', [(1, 4)])
('add ', [(6, 7)])
('add ', [(0, 5)])
('del ', [(6, 7)])
('del ', [(0, 5)])
('add ', [(2, 3)])
('add ', [(1, 4)])
('del ', [(2, 3)])
('del ', [(1, 4)])
('add ', [(6, 7)])
('add ', [(0, 5)])
('del ', [(6, 7)])
('del ', [(0, 5)])
('add ', [(2, 3)])
('add ', [(1, 4)])
('del ', [(2, 3)])
('del ', [(1, 4)])
('add ', [(6, 7)])
('add ', [(0, 5)])
('del ', [(6, 7)])
('del ', [(0, 5)])
('add ', [(2, 3)])
('add ', [(1, 4)])
('del ', [(2, 3)])
('del ', [(1, 4)])
('add ', [(6, 7)])
('add ', [(0, 5)])
('del ', [(6, 7)])
('del ', [(0, 5)])
('add ', [(2, 3)])
('add ', [(1, 4)])
('del ', [(2, 3)])
('del ', [(1, 4)])
('add ', [(6, 7)])
('add ', [(0, 5)])
('del ', [(6, 7)])
('del ', [(0, 5)])
('add ', [(2, 3)])
('add ', [(1, 4)])
('del ', [(2, 3)])
('del ', [(1, 4)])
('add ', [(6, 7)])
('add ', [(0, 5)])
('del ', [(6, 7)])
('del ', [(0, 5)])
('add ', [(2, 3)])
('add ', [(1, 4)])
('del ', [(2, 3)])
('del ', [(1, 4)])
('add ', [(6, 7)])
('add ', [(0, 5)])
('del ', [(6, 7)])
('del ', [(0, 5)])
('add ', [(2, 3)])
('add ', [(1, 4)])
('del ', [(2, 3)])
('del ', [(1, 4)])
('add ', [(6, 7)])
('add ', [(0, 5)])
('del ', [(6, 7)])
('del ', [(0, 5)])
('add ', [(2, 3)])
('add ', [(1, 4)])
('del ', [(2, 3)])
('del ', [(1, 4)])
('add ', [(6, 7)])
('add ', [(0, 5)])
('del ', [(6, 7)])
('del ', [(0, 5)])
('add ', [(2, 3)])
('add ', [(1, 4)])
('del ', [(2, 3)])
('del ', [(1, 4)])
('add ', [(6, 7)])
('add ', [(0, 5)])
('del ', [(6, 7)])
('del ', [(0, 5)])
('add ', [(2, 3)])
('add ', [(1, 4)])
('del ', [(2, 3)])
('del ', [(1, 4)])
('add ', [(6, 7)])
('add ', [(0, 5)])
('del ', [(6, 7)])
('del ', [(0, 5)])
('add ', [(2, 3)])
('add ', [(1, 4)])
('del ', [(2, 3)])
('del ', [(1, 4)])
('add ', [(6, 7)])
('add ', [(0, 5)])
('del ', [(6, 7)])
('del ', [(0, 5)])
('add ', [(2, 3)])
('add ', [(1, 4)])
('del ', [(2, 3)])
('del ', [(1, 4)])
('add ', [(6, 7)])
('add ', [(0, 5)])
('del ', [(6, 7)])
('del ', [(0, 5)])
('add ', [(2, 3)])
('add ', [(1, 4)])
('del ', [(2, 3)])
('del ', [(1, 4)])
('add ', [(6, 7)])
('add ', [(0, 5)])
('del ', [(6, 7)])
('del ', [(0, 5)])
('add ', [(2, 3)])
('add ', [(1, 4)])
('del ', [(2, 3)])
('del ', [(1, 4)])
('add ', [(6, 7)])
('add ', [(0, 5)])
('del ', [(6, 7)])
('del ', [(0, 5)])
('add ', [(2, 3)])
('add ', [(1, 4)])
('del ', [(2, 3)])
('del ', [(1, 4)])
('add ', [(6, 7)])
('add ', [(0, 5)])
('del ', [(6, 7)])
('del ', [(0, 5)])
('add ', [(2, 3)])
('add ', [(1, 4)])
('del ', [(2, 3)])
('del ', [(1, 4)])
('add ', [(6, 7)])
('add ', [(0, 5)])
('del ', [(6, 7)])
('del ', [(0, 5)])
('add ', [(2, 3)])
('add ', [(1, 4)])
('del ', [(2, 3)])
('del ', [(1, 4)])
('add ', [(6, 7)])
('add ', [(0, 5)])
('del ', [(6, 7)])
('del ', [(0, 5)])
('add ', [(2, 3)])
('add ', [(1, 4)])
('del ', [(2, 3)])
('del ', [(1, 4)])
('add ', [(6, 7)])
('add ', [(0, 5)])
('del ', [(6, 7)])
('del ', [(0, 5)])
('add ', [(2, 3)])
('add ', [(1, 4)])
('del ', [(2, 3)])
('del ', [(1, 4)])
('add ', [(6, 7)])
('add ', [(0, 5)])
('del ', [(6, 7)])
('del ', [(0, 5)])
('add ', [(2, 3)])
('add ', [(1, 4)])
('del ', [(2, 3)])
('del ', [(1, 4)])
('add ', [(6, 7)])
('add ', [(0, 5)])
('del ', [(6, 7)])
('del ', [(0, 5)])
('add ', [(2, 3)])
('add ', [(1, 4)])
('del ', [(2, 3)])
('del ', [(1, 4)])
('add ', [(6, 7)])
('add ', [(0, 5)])
('del ', [(6, 7)])
('del ', [(0, 5)])
('add ', [(2, 3)])
('add ', [(1, 4)])
('del ', [(2, 3)])
('del ', [(1, 4)])
('add ', [(6, 7)])
('add ', [(0, 5)])
('del ', [(6, 7)])
('del ', [(0, 5)])
('add ', [(2, 3)])
('add ', [(1, 4)])
('del ', [(2, 3)])
('del ', [(1, 4)])
('add ', [(6, 7)])
('add ', [(0, 5)])
('del ', [(6, 7)])
('del ', [(0, 5)])
('add ', [(2, 3)])
('add ', [(1, 4)])
('del ', [(2, 3)])
('del ', [(1, 4)])
('add ', [(6, 7)])
('add ', [(0, 5)])
('del ', [(6, 7)])
('del ', [(0, 5)])
('add ', [(2, 3)])
('add ', [(1, 4)])
('del ', [(2, 3)])
('del ', [(1, 4)])
('add ', [(6, 7)])
('add ', [(0, 5)])
('del ', [(6, 7)])
('del ', [(0, 5)])
('add ', [(2, 3)])
('add ', [(1, 4)])
('del ', [(2, 3)])
('del ', [(1, 4)])
('add ', [(6, 7)])
('add ', [(0, 5)])
('del ', [(6, 7)])
('del ', [(0, 5)])
('add ', [(2, 3)])
('add ', [(1, 4)])
('del ', [(2, 3)])
('del ', [(1, 4)])
('add ', [(6, 7)])
('add ', [(0, 5)])
('del ', [(6, 7)])
('del ', [(0, 5)])
('add ', [(2, 3)])
('add ', [(1, 4)])
('del ', [(2, 3)])
('del ', [(1, 4)])
('add ', [(6, 7)])
('add ', [(0, 5)])
('del ', [(6, 7)])
('del ', [(0, 5)])
('add ', [(2, 3)])
('add ', [(1, 4)])
('del ', [(2, 3)])
('del ', [(1, 4)])
('add ', [(6, 7)])
('add ', [(0, 5)])
('del ', [(6, 7)])
('del ', [(0, 5)])
('add ', [(2, 3)])
('add ', [(1, 4)])
('del ', [(2, 3)])
('del ', [(1, 4)])
('add ', [(6, 7)])
('add ', [(0, 5)])
('del ', [(6, 7)])
('del ', [(0, 5)])
('add ', [(2, 3)])
('add ', [(1, 4)])
('del ', [(2, 3)])
('del ', [(1, 4)])
('add ', [(6, 7)])
('add ', [(0, 5)])
('del ', [(6, 7)])
('del ', [(0, 5)])
('add ', [(2, 3)])
('add ', [(1, 4)])
('del ', [(2, 3)])
('del ', [(1, 4)])
('add ', [(6, 7)])
('add ', [(0, 5)])
('del ', [(6, 7)])
('del ', [(0, 5)])
('add ', [(2, 3)])
('add ', [(1, 4)])
('del ', [(2, 3)])
('del ', [(1, 4)])
('add ', [(6, 7)])
('add ', [(0, 5)])
('del ', [(6, 7)])
('del ', [(0, 5)])
('add ', [(2, 3)])
('add ', [(1, 4)])
('del ', [(2, 3)])
('del ', [(1, 4)])
('add ', [(6, 7)])
('add ', [(0, 5)])
('del ', [(6, 7)])
('del ', [(0, 5)])
('add ', [(2, 3)])
('add ', [(1, 4)])
('del ', [(2, 3)])
('del ', [(1, 4)])
('add ', [(6, 7)])
('add ', [(0, 5)])
('del ', [(6, 7)])
('del ', [(0, 5)])
('add ', [(2, 3)])
('add ', [(1, 4)])
('del ', [(2, 3)])
('del ', [(1, 4)])
('add ', [(6, 7)])
('add ', [(0, 5)])
('del ', [(6, 7)])
('del ', [(0, 5)])
('add ', [(2, 3)])
('add ', [(1, 4)])
('del ', [(2, 3)])
('del ', [(1, 4)])
('add ', [(6, 7)])
('add ', [(0, 5)])
('del ', [(6, 7)])
('del ', [(0, 5)])
('add ', [(2, 3)])
('add ', [(1, 4)])
('del ', [(2, 3)])
('del ', [(1, 4)])
('add ', [(6, 7)])
('add ', [(0, 5)])
('del ', [(6, 7)])
('del ', [(0, 5)])
('add ', [(2, 3)])
('add ', [(1, 4)])
('del ', [(2, 3)])
('del ', [(1, 4)])
('add ', [(6, 7)])
('add ', [(0, 5)])
('del ', [(6, 7)])
('del ', [(0, 5)])
('add ', [(2, 3)])
('add ', [(1, 4)])
('del ', [(2, 3)])
('del ', [(1, 4)])
('add ', [(6, 7)])
('add ', [(0, 5)])
('del ', [(6, 7)])
('del ', [(0, 5)])
('add ', [(2, 3)])
('add ', [(1, 4)])
('del ', [(2, 3)])
('del ', [(1, 4)])
('add ', [(6, 7)])
('add ', [(0, 5)])
('del ', [(6, 7)])
('del ', [(0, 5)])
('add ', [(2, 3)])
('add ', [(1, 4)])
('del ', [(2, 3)])
('del ', [(1, 4)])
('add ', [(6, 7)])
('add ', [(0, 5)])
('del ', [(6, 7)])
('del ', [(0, 5)])
('add ', [(2, 3)])
('add ', [(1, 4)])
('del ', [(2, 3)])
('del ', [(1, 4)])
('add ', [(6, 7)])
('add ', [(0, 5)])
('del ', [(6, 7)])
('del ', [(0, 5)])
('add ', [(2, 3)])
('add ', [(1, 4)])
('del ', [(2, 3)])
('del ', [(1, 4)])
('add ', [(6, 7)])
('add ', [(0, 5)])
('del ', [(6, 7)])
('del ', [(0, 5)])
('add ', [(2, 3)])
('add ', [(1, 4)])
('del ', [(2, 3)])
('del ', [(1, 4)])
('add ', [(6, 7)])
('add ', [(0, 5)])
('del ', [(6, 7)])
('del ', [(0, 5)])
('add ', [(2, 3)])
('add ', [(1, 4)])
('del ', [(2, 3)])
('del ', [(1, 4)])
('add ', [(6, 7)])
('add ', [(0, 5)])
('del ', [(6, 7)])
('del ', [(0, 5)])
('add ', [(2, 3)])
('add ', [(1, 4)])
('del ', [(2, 3)])
('del ', [(1, 4)])
('add ', [(6, 7)])
('add ', [(0, 5)])
('del ', [(6, 7)])
('del ', [(0, 5)])
('add ', [(2, 3)])
('add ', [(1, 4)])
('del ', [(2, 3)])
('del ', [(1, 4)])
('add ', [(6, 7)])
('add ', [(0, 5)])
('del ', [(6, 7)])
('del ', [(0, 5)])
('add ', [(2, 3)])
('add ', [(1, 4)])
('del ', [(2, 3)])
('del ', [(1, 4)])
('add ', [(6, 7)])
('add ', [(0, 5)])
('del ', [(6, 7)])
('del ', [(0, 5)])
('add ', [(2, 3)])
('add ', [(1, 4)])
('del ', [(2, 3)])
('del ', [(1, 4)])
('add ', [(6, 7)])
('add ', [(0, 5)])
('del ', [(6, 7)])
('del ', [(0, 5)])
('add ', [(2, 3)])
('add ', [(1, 4)])
('del ', [(2, 3)])
('del ', [(1, 4)])
('add ', [(6, 7)])
('add ', [(0, 5)])
('del ', [(6, 7)])
('del ', [(0, 5)])
('add ', [(2, 3)])
('add ', [(1, 4)])
('del ', [(2, 3)])
('del ', [(1, 4)])
('add ', [(6, 7)])
('add ', [(0, 5)])
('del ', [(6, 7)])
('del ', [(0, 5)])
('add ', [(2, 3)])
('add ', [(1, 4)])
('del ', [(2, 3)])
('del ', [(1, 4)])
('add ', [(6, 7)])
('add ', [(0, 5)])
('del ', [(6, 7)])
('del ', [(0, 5)])
('add ', [(2, 3)])
('add ', [(1, 4)])
('del ', [(2, 3)])
('del ', [(1, 4)])
('add ', [(6, 7)])
('add ', [(0, 5)])
('del ', [(6, 7)])
('del ', [(0, 5)])
('add ', [(2, 3)])
('add ', [(1, 4)])
('del ', [(2, 3)])
('del ', [(1, 4)])
('add ', [(6, 7)])
('add ', [(0, 5)])
('del ', [(6, 7)])
('del ', [(0, 5)])
('add ', [(2, 3)])
('add ', [(1, 4)])
('del ', [(2, 3)])
('del ', [(1, 4)])
('add ', [(6, 7)])
('add ', [(0, 5)])
('del ', [(6, 7)])
('del ', [(0, 5)])
('add ', [(2, 3)])
('add ', [(1, 4)])
('del ', [(2, 3)])
('del ', [(1, 4)])
('add ', [(6, 7)])
('add ', [(0, 5)])
('del ', [(6, 7)])
('del ', [(0, 5)])
('add ', [(2, 3)])
('add ', [(1, 4)])
('del ', [(2, 3)])
('del ', [(1, 4)])
('add ', [(6, 7)])
('add ', [(0, 5)])
('del ', [(6, 7)])
('del ', [(0, 5)])
('add ', [(2, 3)])
('add ', [(1, 4)])
('del ', [(2, 3)])
('del ', [(1, 4)])
('add ', [(6, 7)])
('add ', [(0, 5)])
('del ', [(6, 7)])
('del ', [(0, 5)])
('add ', [(2, 3)])
('add ', [(1, 4)])
('del ', [(2, 3)])
('del ', [(1, 4)])
('add ', [(6, 7)])
('add ', [(0, 5)])
('del ', [(6, 7)])
('del ', [(0, 5)])
('add ', [(2, 3)])
('add ', [(1, 4)])
('del ', [(2, 3)])
('del ', [(1, 4)])
('add ', [(6, 7)])
('add ', [(0, 5)])
('del ', [(6, 7)])
('del ', [(0, 5)])
('add ', [(2, 3)])
('add ', [(1, 4)])
('del ', [(2, 3)])
('del ', [(1, 4)])
('add ', [(6, 7)])
('add ', [(0, 5)])
('del ', [(6, 7)])
('del ', [(0, 5)])
('add ', [(2, 3)])
('add ', [(1, 4)])
('del ', [(2, 3)])
('del ', [(1, 4)])
('add ', [(6, 7)])
('add ', [(0, 5)])
('del ', [(6, 7)])
('del ', [(0, 5)])
('add ', [(2, 3)])
('add ', [(1, 4)])
('del ', [(2, 3)])
('del ', [(1, 4)])
('add ', [(6, 7)])
('add ', [(0, 5)])
('del ', [(6, 7)])
('del ', [(0, 5)])
('add ', [(2, 3)])
('add ', [(1, 4)])
('del ', [(2, 3)])
('del ', [(1, 4)])
('add ', [(6, 7)])
('add ', [(0, 5)])
('del ', [(6, 7)])
('del ', [(0, 5)])
('add ', [(2, 3)])
('add ', [(1, 4)])
('del ', [(2, 3)])
('del ', [(1, 4)])
('add ', [(6, 7)])
('add ', [(0, 5)])
('del ', [(6, 7)])
('del ', [(0, 5)])
('add ', [(2, 3)])
('add ', [(1, 4)])
('del ', [(2, 3)])
('del ', [(1, 4)])
('add ', [(6, 7)])
('add ', [(0, 5)])
('del ', [(6, 7)])
('del ', [(0, 5)])
('add ', [(2, 3)])
('add ', [(1, 4)])
('del ', [(2, 3)])
('del ', [(1, 4)])
('add ', [(6, 7)])
('add ', [(0, 5)])
('del ', [(6, 7)])
('del ', [(0, 5)])
('add ', [(2, 3)])
('add ', [(1, 4)])
('del ', [(2, 3)])
('del ', [(1, 4)])
('add ', [(6, 7)])
('add ', [(0, 5)])
('del ', [(6, 7)])
('del ', [(0, 5)])
('add ', [(2, 3)])
('add ', [(1, 4)])
('del ', [(2, 3)])
('del ', [(1, 4)])
('add ', [(6, 7)])
('add ', [(0, 5)])
('del ', [(6, 7)])
('del ', [(0, 5)])
('add ', [(2, 3)])
('add ', [(1, 4)])
('del ', [(2, 3)])
('del ', [(1, 4)])
('add ', [(6, 7)])
('add ', [(0, 5)])
('del ', [(6, 7)])
('del ', [(0, 5)])
('add ', [(2, 3)])
('add ', [(1, 4)])
('del ', [(2, 3)])
('del ', [(1, 4)])
('add ', [(6, 7)])
('add ', [(0, 5)])
('del ', [(6, 7)])
('del ', [(0, 5)])
('add ', [(2, 3)])
('add ', [(1, 4)])
('del ', [(2, 3)])
('del ', [(1, 4)])
('add ', [(6, 7)])
('add ', [(0, 5)])
('del ', [(6, 7)])
('del ', [(0, 5)])
('add ', [(2, 3)])
('add ', [(1, 4)])
('del ', [(2, 3)])
('del ', [(1, 4)])
('add ', [(6, 7)])
('add ', [(0, 5)])
('del ', [(6, 7)])
('del ', [(0, 5)])
('add ', [(2, 3)])
('add ', [(1, 4)])
('del ', [(2, 3)])
('del ', [(1, 4)])
('add ', [(6, 7)])
('add ', [(0, 5)])
('del ', [(6, 7)])
('del ', [(0, 5)])
('add ', [(2, 3)])
('add ', [(1, 4)])
('del ', [(2, 3)])
('del ', [(1, 4)])
('add ', [(6, 7)])
('add ', [(0, 5)])
('del ', [(6, 7)])
('del ', [(0, 5)])
('add ', [(2, 3)])
('add ', [(1, 4)])
('del ', [(2, 3)])
('del ', [(1, 4)])
('add ', [(6, 7)])
('add ', [(0, 5)])
('del ', [(6, 7)])
('del ', [(0, 5)])
('add ', [(2, 3)])
('add ', [(1, 4)])
('del ', [(2, 3)])
('del ', [(1, 4)])
('add ', [(6, 7)])
('add ', [(0, 5)])
('del ', [(6, 7)])
('del ', [(0, 5)])
('add ', [(2, 3)])
('add ', [(1, 4)])
('del ', [(2, 3)])
('del ', [(1, 4)])
('add ', [(6, 7)])
('add ', [(0, 5)])
('del ', [(6, 7)])
('del ', [(0, 5)])
('add ', [(2, 3)])
('add ', [(1, 4)])
('del ', [(2, 3)])
('del ', [(1, 4)])
('add ', [(6, 7)])
('add ', [(0, 5)])
('del ', [(6, 7)])
('del ', [(0, 5)])
('add ', [(2, 3)])
('add ', [(1, 4)])
('del ', [(2, 3)])
('del ', [(1, 4)])
('add ', [(6, 7)])
('add ', [(0, 5)])
('del ', [(6, 7)])
('del ', [(0, 5)])
('add ', [(2, 3)])
('add ', [(1, 4)])
('del ', [(2, 3)])
('del ', [(1, 4)])
('add ', [(6, 7)])
('add ', [(0, 5)])
('del ', [(6, 7)])
('del ', [(0, 5)])
('add ', [(2, 3)])
('add ', [(1, 4)])
('del ', [(2, 3)])
('del ', [(1, 4)])
('add ', [(6, 7)])
('add ', [(0, 5)])
('del ', [(6, 7)])
('del ', [(0, 5)])
('add ', [(2, 3)])
('add ', [(1, 4)])
('del ', [(2, 3)])
('del ', [(1, 4)])
('add ', [(6, 7)])
('add ', [(0, 5)])
('del ', [(6, 7)])
('del ', [(0, 5)])
('add ', [(2, 3)])
('add ', [(1, 4)])
('del ', [(2, 3)])
('del ', [(1, 4)])
('add ', [(6, 7)])
('add ', [(0, 5)])
('del ', [(6, 7)])
('del ', [(0, 5)])
('add ', [(2, 3)])
('add ', [(1, 4)])
('del ', [(2, 3)])
('del ', [(1, 4)])
('add ', [(6, 7)])
('add ', [(0, 5)])
('del ', [(6, 7)])
('del ', [(0, 5)])
('add ', [(2, 3)])
('add ', [(1, 4)])
('del ', [(2, 3)])
('del ', [(1, 4)])
('add ', [(6, 7)])
('add ', [(0, 5)])
('del ', [(6, 7)])
('del ', [(0, 5)])
('add ', [(2, 3)])
('add ', [(1, 4)])
('del ', [(2, 3)])
('del ', [(1, 4)])
('add ', [(6, 7)])
('add ', [(0, 5)])
('del ', [(6, 7)])
('del ', [(0, 5)])
('add ', [(2, 3)])
('add ', [(1, 4)])
('del ', [(2, 3)])
('del ', [(1, 4)])
('add ', [(6, 7)])
('add ', [(0, 5)])
('del ', [(6, 7)])
('del ', [(0, 5)])
('add ', [(2, 3)])
('add ', [(1, 4)])
('del ', [(2, 3)])
('del ', [(1, 4)])
('add ', [(6, 7)])
('add ', [(0, 5)])
('del ', [(6, 7)])
('del ', [(0, 5)])
('add ', [(2, 3)])
('add ', [(1, 4)])
('del ', [(2, 3)])
('del ', [(1, 4)])
('add ', [(6, 7)])
('add ', [(0, 5)])
('del ', [(6, 7)])
('del ', [(0, 5)])
('add ', [(2, 3)])
('add ', [(1, 4)])
('del ', [(2, 3)])
('del ', [(1, 4)])
('add ', [(6, 7)])
('add ', [(0, 5)])
('del ', [(6, 7)])
('del ', [(0, 5)])
('add ', [(2, 3)])
('add ', [(1, 4)])
('del ', [(2, 3)])
('del ', [(1, 4)])
('add ', [(6, 7)])
('add ', [(0, 5)])
('del ', [(6, 7)])
('del ', [(0, 5)])
('add ', [(2, 3)])
('add ', [(1, 4)])
('del ', [(2, 3)])
('del ', [(1, 4)])
('add ', [(6, 7)])
('add ', [(0, 5)])
('del ', [(6, 7)])
('del ', [(0, 5)])
('add ', [(2, 3)])
('add ', [(1, 4)])
('del ', [(2, 3)])
('del ', [(1, 4)])
('add ', [(6, 7)])
('add ', [(0, 5)])
('del ', [(6, 7)])
('del ', [(0, 5)])
('add ', [(2, 3)])
('add ', [(1, 4)])
('del ', [(2, 3)])
('del ', [(1, 4)])
('add ', [(6, 7)])
('add ', [(0, 5)])
('del ', [(6, 7)])
('del ', [(0, 5)])
('add ', [(2, 3)])
('add ', [(1, 4)])
('del ', [(2, 3)])
('del ', [(1, 4)])
('add ', [(6, 7)])
('add ', [(0, 5)])
('del ', [(6, 7)])
('del ', [(0, 5)])
('add ', [(2, 3)])
('add ', [(1, 4)])
('del ', [(2, 3)])
('del ', [(1, 4)])
('add ', [(6, 7)])
('add ', [(0, 5)])
('del ', [(6, 7)])
('del ', [(0, 5)])
('add ', [(2, 3)])
('add ', [(1, 4)])
('del ', [(2, 3)])
('del ', [(1, 4)])
('add ', [(6, 7)])
('add ', [(0, 5)])
('del ', [(6, 7)])
('del ', [(0, 5)])
('add ', [(2, 3)])
('add ', [(1, 4)])
('del ', [(2, 3)])
('del ', [(1, 4)])
('add ', [(6, 7)])
('add ', [(0, 5)])
('del ', [(6, 7)])
('del ', [(0, 5)])
('add ', [(2, 3)])
('add ', [(1, 4)])
('del ', [(2, 3)])
('del ', [(1, 4)])
('add ', [(6, 7)])
('add ', [(0, 5)])
('del ', [(6, 7)])
('del ', [(0, 5)])
('add ', [(2, 3)])
('add ', [(1, 4)])
('del ', [(2, 3)])
('del ', [(1, 4)])
('add ', [(6, 7)])
('add ', [(0, 5)])
('del ', [(6, 7)])
('del ', [(0, 5)])
('add ', [(2, 3)])
('add ', [(1, 4)])
('del ', [(2, 3)])
('del ', [(1, 4)])
('add ', [(6, 7)])
('add ', [(0, 5)])
('del ', [(6, 7)])
('del ', [(0, 5)])
('add ', [(2, 3)])
('add ', [(1, 4)])
('del ', [(2, 3)])
('del ', [(1, 4)])
('add ', [(6, 7)])
('add ', [(0, 5)])
('del ', [(6, 7)])
('del ', [(0, 5)])
('add ', [(2, 3)])
('add ', [(1, 4)])
('del ', [(2, 3)])
('del ', [(1, 4)])
('add ', [(6, 7)])
('add ', [(0, 5)])
('del ', [(6, 7)])
('del ', [(0, 5)])
('add ', [(2, 3)])
('add ', [(1, 4)])
('del ', [(2, 3)])
('del ', [(1, 4)])
('add ', [(6, 7)])
('add ', [(0, 5)])
('del ', [(6, 7)])
('del ', [(0, 5)])
('add ', [(2, 3)])
('add ', [(1, 4)])
('del ', [(2, 3)])
('del ', [(1, 4)])
('add ', [(6, 7)])
('add ', [(0, 5)])
('del ', [(6, 7)])
('del ', [(0, 5)])
('add ', [(2, 3)])
('add ', [(1, 4)])
('del ', [(2, 3)])
('del ', [(1, 4)])
('add ', [(6, 7)])
('add ', [(0, 5)])
('del ', [(6, 7)])
('del ', [(0, 5)])
('add ', [(2, 3)])
('add ', [(1, 4)])
('del ', [(2, 3)])
('del ', [(1, 4)])
('add ', [(6, 7)])
('add ', [(0, 5)])
('del ', [(6, 7)])
('del ', [(0, 5)])
('add ', [(2, 3)])
('add ', [(1, 4)])
('del ', [(2, 3)])
('del ', [(1, 4)])
('add ', [(6, 7)])
('add ', [(0, 5)])
('del ', [(6, 7)])
('del ', [(0, 5)])
('add ', [(2, 3)])
('add ', [(1, 4)])
('del ', [(2, 3)])
('del ', [(1, 4)])
('add ', [(6, 7)])
('add ', [(0, 5)])
('del ', [(6, 7)])
('del ', [(0, 5)])
('add ', [(2, 3)])
('add ', [(1, 4)])
('del ', [(2, 3)])
('del ', [(1, 4)])
('add ', [(6, 7)])
('add ', [(0, 5)])
('del ', [(6, 7)])
('del ', [(0, 5)])
('add ', [(2, 3)])
('add ', [(1, 4)])
('del ', [(2, 3)])
('del ', [(1, 4)])
('add ', [(6, 7)])
('add ', [(0, 5)])
('del ', [(6, 7)])
('del ', [(0, 5)])
('add ', [(2, 3)])
('add ', [(1, 4)])
('del ', [(2, 3)])
('del ', [(1, 4)])
('add ', [(6, 7)])
('add ', [(0, 5)])
('del ', [(6, 7)])
('del ', [(0, 5)])
('add ', [(2, 3)])
('add ', [(1, 4)])
('del ', [(2, 3)])
('del ', [(1, 4)])
('add ', [(6, 7)])
('add ', [(0, 5)])
('del ', [(6, 7)])
('del ', [(0, 5)])
('add ', [(2, 3)])
('add ', [(1, 4)])
('del ', [(2, 3)])
('del ', [(1, 4)])
('add ', [(6, 7)])
('add ', [(0, 5)])
('del ', [(6, 7)])
('del ', [(0, 5)])
('add ', [(2, 3)])
('add ', [(1, 4)])
('del ', [(2, 3)])
('del ', [(1, 4)])
('add ', [(6, 7)])
('add ', [(0, 5)])
('del ', [(6, 7)])
('del ', [(0, 5)])
('add ', [(2, 3)])
('add ', [(1, 4)])
('del ', [(2, 3)])
('del ', [(1, 4)])
('add ', [(6, 7)])
('add ', [(0, 5)])
('del ', [(6, 7)])
('del ', [(0, 5)])
('add ', [(2, 3)])
('add ', [(1, 4)])
('del ', [(2, 3)])
('del ', [(1, 4)])
('add ', [(6, 7)])
('add ', [(0, 5)])
('del ', [(6, 7)])
('del ', [(0, 5)])
('add ', [(2, 3)])
('add ', [(1, 4)])
('del ', [(2, 3)])
('del ', [(1, 4)])
('add ', [(6, 7)])
('add ', [(0, 5)])
('del ', [(6, 7)])
('del ', [(0, 5)])
('add ', [(2, 3)])
('add ', [(1, 4)])
('del ', [(2, 3)])
('del ', [(1, 4)])
('add ', [(6, 7)])
('add ', [(0, 5)])
('del ', [(6, 7)])
('del ', [(0, 5)])
('add ', [(2, 3)])
('add ', [(1, 4)])
('del ', [(2, 3)])
('del ', [(1, 4)])
('add ', [(6, 7)])
('add ', [(0, 5)])
('del ', [(6, 7)])
('del ', [(0, 5)])
('add ', [(2, 3)])
('add ', [(1, 4)])
('del ', [(2, 3)])
('del ', [(1, 4)])
('add ', [(6, 7)])
('add ', [(0, 5)])
('del ', [(6, 7)])
('del ', [(0, 5)])
('add ', [(2, 3)])
('add ', [(1, 4)])
('del ', [(2, 3)])
('del ', [(1, 4)])
('add ', [(6, 7)])
('add ', [(0, 5)])
('del ', [(6, 7)])
('del ', [(0, 5)])
('add ', [(2, 3)])
('add ', [(1, 4)])
('del ', [(2, 3)])
('del ', [(1, 4)])
('add ', [(6, 7)])
('add ', [(0, 5)])
('del ', [(6, 7)])
('del ', [(0, 5)])
('add ', [(2, 3)])
('add ', [(1, 4)])
('del ', [(2, 3)])
('del ', [(1, 4)])
('add ', [(6, 7)])
('add ', [(0, 5)])
('del ', [(6, 7)])
('del ', [(0, 5)])
('add ', [(2, 3)])
('add ', [(1, 4)])
('del ', [(2, 3)])
('del ', [(1, 4)])
('add ', [(6, 7)])
('add ', [(0, 5)])
('del ', [(6, 7)])
('del ', [(0, 5)])
('add ', [(2, 3)])
('add ', [(1, 4)])
('del ', [(2, 3)])
('del ', [(1, 4)])
('add ', [(6, 7)])
('add ', [(0, 5)])
('del ', [(6, 7)])
('del ', [(0, 5)])
('add ', [(2, 3)])
('add ', [(1, 4)])
('del ', [(2, 3)])
('del ', [(1, 4)])
('add ', [(6, 7)])
('add ', [(0, 5)])
('del ', [(6, 7)])
('del ', [(0, 5)])
('add ', [(2, 3)])
('add ', [(1, 4)])
('del ', [(2, 3)])
('del ', [(1, 4)])
('add ', [(6, 7)])
('add ', [(0, 5)])
('del ', [(6, 7)])
('del ', [(0, 5)])
('add ', [(2, 3)])
('add ', [(1, 4)])
('del ', [(2, 3)])
('del ', [(1, 4)])
('add ', [(6, 7)])
('add ', [(0, 5)])
('del ', [(6, 7)])
('del ', [(0, 5)])
('add ', [(2, 3)])
('add ', [(1, 4)])
('del ', [(2, 3)])
('del ', [(1, 4)])
('add ', [(6, 7)])
('add ', [(0, 5)])
('del ', [(6, 7)])
('del ', [(0, 5)])
('add ', [(2, 3)])
('add ', [(1, 4)])
('del ', [(2, 3)])
('del ', [(1, 4)])
('add ', [(6, 7)])
('add ', [(0, 5)])
('del ', [(6, 7)])
('del ', [(0, 5)])
('add ', [(2, 3)])
('add ', [(1, 4)])
('del ', [(2, 3)])
('del ', [(1, 4)])
('add ', [(6, 7)])
('add ', [(0, 5)])
('del ', [(6, 7)])
('del ', [(0, 5)])
('add ', [(2, 3)])
('add ', [(1, 4)])
('del ', [(2, 3)])
('del ', [(1, 4)])
('add ', [(6, 7)])
('add ', [(0, 5)])
('del ', [(6, 7)])
('del ', [(0, 5)])
('add ', [(2, 3)])
('add ', [(1, 4)])
('del ', [(2, 3)])
('del ', [(1, 4)])
('add ', [(6, 7)])
('add ', [(0, 5)])
('del ', [(6, 7)])
('del ', [(0, 5)])
('add ', [(2, 3)])
('add ', [(1, 4)])
('del ', [(2, 3)])
('del ', [(1, 4)])
('add ', [(6, 7)])
('add ', [(0, 5)])
('del ', [(6, 7)])
('del ', [(0, 5)])
('add ', [(2, 3)])
('add ', [(1, 4)])
('del ', [(2, 3)])
('del ', [(1, 4)])
('add ', [(6, 7)])
('add ', [(0, 5)])
('del ', [(6, 7)])
('del ', [(0, 5)])
('add ', [(2, 3)])
('add ', [(1, 4)])
('del ', [(2, 3)])
('del ', [(1, 4)])
('add ', [(6, 7)])
('add ', [(0, 5)])
('del ', [(6, 7)])
('del ', [(0, 5)])
('add ', [(2, 3)])
('add ', [(1, 4)])
('del ', [(2, 3)])
('del ', [(1, 4)])
('add ', [(6, 7)])
('add ', [(0, 5)])
('del ', [(6, 7)])
('del ', [(0, 5)])
('add ', [(2, 3)])
('add ', [(1, 4)])
('del ', [(2, 3)])
('del ', [(1, 4)])
('add ', [(6, 7)])
('add ', [(0, 5)])
('del ', [(6, 7)])
('del ', [(0, 5)])
('add ', [(2, 3)])
('add ', [(1, 4)])
('del ', [(2, 3)])
('del ', [(1, 4)])
('add ', [(6, 7)])
('add ', [(0, 5)])
('del ', [(6, 7)])
('del ', [(0, 5)])
('add ', [(2, 3)])
('add ', [(1, 4)])
('del ', [(2, 3)])
('del ', [(1, 4)])
('add ', [(6, 7)])
('add ', [(0, 5)])
('del ', [(6, 7)])
('del ', [(0, 5)])
('add ', [(2, 3)])
('add ', [(1, 4)])
('del ', [(2, 3)])
('del ', [(1, 4)])
('add ', [(6, 7)])
('add ', [(0, 5)])
('del ', [(6, 7)])
('del ', [(0, 5)])
('add ', [(2, 3)])
('add ', [(1, 4)])
('del ', [(2, 3)])
('del ', [(1, 4)])
('add ', [(6, 7)])
('add ', [(0, 5)])
('del ', [(6, 7)])
('del ', [(0, 5)])
('add ', [(2, 3)])
('add ', [(1, 4)])
('del ', [(2, 3)])
('del ', [(1, 4)])
('add ', [(6, 7)])
('add ', [(0, 5)])
('del ', [(6, 7)])
('del ', [(0, 5)])
('add ', [(2, 3)])
('add ', [(1, 4)])
('del ', [(2, 3)])
('del ', [(1, 4)])
('add ', [(6, 7)])
('add ', [(0, 5)])
('del ', [(6, 7)])
('del ', [(0, 5)])
('add ', [(2, 3)])
('add ', [(1, 4)])
('del ', [(2, 3)])
('del ', [(1, 4)])
('add ', [(6, 7)])
('add ', [(0, 5)])
('del ', [(6, 7)])
('del ', [(0, 5)])
('add ', [(2, 3)])
('add ', [(1, 4)])
('del ', [(2, 3)])
('del ', [(1, 4)])
('add ', [(6, 7)])
('add ', [(0, 5)])
('del ', [(6, 7)])
('del ', [(0, 5)])
('add ', [(2, 3)])
('add ', [(1, 4)])
('del ', [(2, 3)])
('del ', [(1, 4)])
('add ', [(6, 7)])
('add ', [(0, 5)])
('del ', [(6, 7)])
('del ', [(0, 5)])
('add ', [(2, 3)])
('add ', [(1, 4)])
('del ', [(2, 3)])
('del ', [(1, 4)])
('add ', [(6, 7)])
('add ', [(0, 5)])
('del ', [(6, 7)])
('del ', [(0, 5)])
('add ', [(2, 3)])
('add ', [(1, 4)])
('del ', [(2, 3)])
('del ', [(1, 4)])
('add ', [(6, 7)])
('add ', [(0, 5)])
('del ', [(6, 7)])
('del ', [(0, 5)])
('add ', [(2, 3)])
('add ', [(1, 4)])
('del ', [(2, 3)])
('del ', [(1, 4)])
('add ', [(6, 7)])
('add ', [(0, 5)])
('del ', [(6, 7)])
('del ', [(0, 5)])
('add ', [(2, 3)])
('add ', [(1, 4)])
('del ', [(2, 3)])
('del ', [(1, 4)])
('add ', [(6, 7)])
('add ', [(0, 5)])
('del ', [(6, 7)])
('del ', [(0, 5)])
('add ', [(2, 3)])
('add ', [(1, 4)])
('del ', [(2, 3)])
('del ', [(1, 4)])
('add ', [(6, 7)])
('add ', [(0, 5)])
('del ', [(6, 7)])
('del ', [(0, 5)])
('add ', [(2, 3)])
('add ', [(1, 4)])
('del ', [(2, 3)])
('del ', [(1, 4)])
('add ', [(6, 7)])
('add ', [(0, 5)])
('del ', [(6, 7)])
('del ', [(0, 5)])
('add ', [(2, 3)])
('add ', [(1, 4)])
('del ', [(2, 3)])
('del ', [(1, 4)])
('add ', [(6, 7)])
('add ', [(0, 5)])
('del ', [(6, 7)])
('del ', [(0, 5)])
('add ', [(2, 3)])
('add ', [(1, 4)])
('del ', [(2, 3)])
('del ', [(1, 4)])
('add ', [(6, 7)])
('add ', [(0, 5)])
('del ', [(6, 7)])
('del ', [(0, 5)])
('add ', [(2, 3)])
('add ', [(1, 4)])
('del ', [(2, 3)])
('del ', [(1, 4)])
('add ', [(6, 7)])
('add ', [(0, 5)])
('del ', [(6, 7)])
('del ', [(0, 5)])
('add ', [(2, 3)])
('add ', [(1, 4)])
('del ', [(2, 3)])
('del ', [(1, 4)])
('add ', [(6, 7)])
('add ', [(0, 5)])
('del ', [(6, 7)])
('del ', [(0, 5)])
('add ', [(2, 3)])
('add ', [(1, 4)])
('del ', [(2, 3)])
('del ', [(1, 4)])
('add ', [(6, 7)])
('add ', [(0, 5)])
('del ', [(6, 7)])
('del ', [(0, 5)])
('add ', [(2, 3)])
('add ', [(1, 4)])
('del ', [(2, 3)])
('del ', [(1, 4)])
('add ', [(6, 7)])
('add ', [(0, 5)])
('del ', [(6, 7)])
('del ', [(0, 5)])
('add ', [(2, 3)])
('add ', [(1, 4)])
('del ', [(2, 3)])
('del ', [(1, 4)])
('add ', [(6, 7)])
('add ', [(0, 5)])
('del ', [(6, 7)])
('del ', [(0, 5)])
('add ', [(2, 3)])
('add ', [(1, 4)])
('del ', [(2, 3)])
('del ', [(1, 4)])
('add ', [(6, 7)])
('add ', [(0, 5)])
('del ', [(6, 7)])
('del ', [(0, 5)])
('add ', [(2, 3)])
('add ', [(1, 4)])
('del ', [(2, 3)])
('del ', [(1, 4)])
('add ', [(6, 7)])
('add ', [(0, 5)])
('del ', [(6, 7)])
('del ', [(0, 5)])
('add ', [(2, 3)])
('add ', [(1, 4)])
('del ', [(2, 3)])
('del ', [(1, 4)])
('add ', [(6, 7)])
('add ', [(0, 5)])
('del ', [(6, 7)])
('del ', [(0, 5)])
('add ', [(2, 3)])
('add ', [(1, 4)])
('del ', [(2, 3)])
('del ', [(1, 4)])
('add ', [(6, 7)])
('add ', [(0, 5)])
('del ', [(6, 7)])
('del ', [(0, 5)])
('add ', [(2, 3)])
('add ', [(1, 4)])
('del ', [(2, 3)])
('del ', [(1, 4)])
('add ', [(6, 7)])
('add ', [(0, 5)])
('del ', [(6, 7)])
('del ', [(0, 5)])
('add ', [(2, 3)])
('add ', [(1, 4)])
('del ', [(2, 3)])
('del ', [(1, 4)])
('add ', [(6, 7)])
('add ', [(0, 5)])
('del ', [(6, 7)])
('del ', [(0, 5)])
('add ', [(2, 3)])
('add ', [(1, 4)])
('del ', [(2, 3)])
('del ', [(1, 4)])
('add ', [(6, 7)])
('add ', [(0, 5)])
('del ', [(6, 7)])
('del ', [(0, 5)])
('add ', [(2, 3)])
('add ', [(1, 4)])
('del ', [(2, 3)])
('del ', [(1, 4)])
('add ', [(6, 7)])
('add ', [(0, 5)])
('del ', [(6, 7)])
('del ', [(0, 5)])
('add ', [(2, 3)])
('add ', [(1, 4)])
('del ', [(2, 3)])
('del ', [(1, 4)])
('add ', [(6, 7)])
('add ', [(0, 5)])
('del ', [(6, 7)])
('del ', [(0, 5)])
('add ', [(2, 3)])
('add ', [(1, 4)])
('del ', [(2, 3)])
('del ', [(1, 4)])
('add ', [(6, 7)])
('add ', [(0, 5)])
('del ', [(6, 7)])
('del ', [(0, 5)])
('add ', [(2, 3)])
('add ', [(1, 4)])
('del ', [(2, 3)])
('del ', [(1, 4)])
('add ', [(6, 7)])
('add ', [(0, 5)])
('del ', [(6, 7)])
('del ', [(0, 5)])
('add ', [(2, 3)])
('add ', [(1, 4)])
('del ', [(2, 3)])
('del ', [(1, 4)])
('add ', [(6, 7)])
('add ', [(0, 5)])
('del ', [(6, 7)])
('del ', [(0, 5)])
('add ', [(2, 3)])
('add ', [(1, 4)])
('del ', [(2, 3)])
('del ', [(1, 4)])
('add ', [(6, 7)])
('add ', [(0, 5)])
('del ', [(6, 7)])
('del ', [(0, 5)])
('add ', [(2, 3)])
('add ', [(1, 4)])
('del ', [(2, 3)])
('del ', [(1, 4)])
('add ', [(6, 7)])
('add ', [(0, 5)])
('del ', [(6, 7)])
('del ', [(0, 5)])
('add ', [(2, 3)])
('add ', [(1, 4)])
('del ', [(2, 3)])
('del ', [(1, 4)])
('add ', [(6, 7)])
('add ', [(0, 5)])
('del ', [(6, 7)])
('del ', [(0, 5)])
('add ', [(2, 3)])
('add ', [(1, 4)])
('del ', [(2, 3)])
('del ', [(1, 4)])
('add ', [(6, 7)])
('add ', [(0, 5)])
('del ', [(6, 7)])
('del ', [(0, 5)])
('add ', [(2, 3)])
('add ', [(1, 4)])
('del ', [(2, 3)])
('del ', [(1, 4)])
('add ', [(6, 7)])
('add ', [(0, 5)])
('del ', [(6, 7)])
('del ', [(0, 5)])
('add ', [(2, 3)])
('add ', [(1, 4)])
('del ', [(2, 3)])
('del ', [(1, 4)])
('add ', [(6, 7)])
('add ', [(0, 5)])
('del ', [(6, 7)])
('del ', [(0, 5)])
('add ', [(2, 3)])
('add ', [(1, 4)])
('del ', [(2, 3)])
('del ', [(1, 4)])
('add ', [(6, 7)])
('add ', [(0, 5)])
('del ', [(6, 7)])
('del ', [(0, 5)])
('add ', [(2, 3)])
('add ', [(1, 4)])
('del ', [(2, 3)])
('del ', [(1, 4)])
('add ', [(6, 7)])
('add ', [(0, 5)])
('del ', [(6, 7)])
('del ', [(0, 5)])
('add ', [(2, 3)])
('add ', [(1, 4)])
('del ', [(2, 3)])
('del ', [(1, 4)])
('add ', [(6, 7)])
('add ', [(0, 5)])
('del ', [(6, 7)])
('del ', [(0, 5)])
('add ', [(2, 3)])
('add ', [(1, 4)])
('del ', [(2, 3)])
('del ', [(1, 4)])
('add ', [(6, 7)])
('add ', [(0, 5)])
('del ', [(6, 7)])
('del ', [(0, 5)])
('add ', [(2, 3)])
('add ', [(1, 4)])
('del ', [(2, 3)])
('del ', [(1, 4)])
('add ', [(6, 7)])
('add ', [(0, 5)])
('del ', [(6, 7)])
('del ', [(0, 5)])
('add ', [(2, 3)])
('add ', [(1, 4)])
('del ', [(2, 3)])
('del ', [(1, 4)])
('add ', [(6, 7)])
('add ', [(0, 5)])
('del ', [(6, 7)])
('del ', [(0, 5)])
('add ', [(2, 3)])
('add ', [(1, 4)])
('del ', [(2, 3)])
('del ', [(1, 4)])
('add ', [(6, 7)])
('add ', [(0, 5)])
('del ', [(6, 7)])
('del ', [(0, 5)])
('add ', [(2, 3)])
('add ', [(1, 4)])
('del ', [(2, 3)])
('del ', [(1, 4)])
('add ', [(6, 7)])
('add ', [(0, 5)])
('del ', [(6, 7)])
('del ', [(0, 5)])
('add ', [(2, 3)])
('add ', [(1, 4)])
('del ', [(2, 3)])
('del ', [(1, 4)])
('add ', [(6, 7)])
('add ', [(0, 5)])
('del ', [(6, 7)])
('del ', [(0, 5)])
('add ', [(2, 3)])
('add ', [(1, 4)])
('del ', [(2, 3)])
('del ', [(1, 4)])
('add ', [(6, 7)])
('add ', [(0, 5)])
('del ', [(6, 7)])
('del ', [(0, 5)])
('add ', [(2, 3)])
('add ', [(1, 4)])
('del ', [(2, 3)])
('del ', [(1, 4)])
('add ', [(6, 7)])
('add ', [(0, 5)])
('del ', [(6, 7)])
('del ', [(0, 5)])
('add ', [(2, 3)])
('add ', [(1, 4)])
('del ', [(2, 3)])
('del ', [(1, 4)])
('add ', [(6, 7)])
('add ', [(0, 5)])
('del ', [(6, 7)])
('del ', [(0, 5)])
('add ', [(2, 3)])
('add ', [(1, 4)])
('del ', [(2, 3)])
('del ', [(1, 4)])
('add ', [(6, 7)])
('add ', [(0, 5)])
('del ', [(6, 7)])
('del ', [(0, 5)])
('add ', [(2, 3)])
('add ', [(1, 4)])
('del ', [(2, 3)])
('del ', [(1, 4)])
('add ', [(6, 7)])
('add ', [(0, 5)])
('del ', [(6, 7)])
('del ', [(0, 5)])
('add ', [(2, 3)])
('add ', [(1, 4)])
('del ', [(2, 3)])
('del ', [(1, 4)])
('add ', [(6, 7)])
('add ', [(0, 5)])
('del ', [(6, 7)])
('del ', [(0, 5)])
('add ', [(2, 3)])
('add ', [(1, 4)])
('del ', [(2, 3)])
('del ', [(1, 4)])
('add ', [(6, 7)])
('add ', [(0, 5)])
('del ', [(6, 7)])
('del ', [(0, 5)])
('add ', [(2, 3)])
('add ', [(1, 4)])
('del ', [(2, 3)])
('del ', [(1, 4)])
('add ', [(6, 7)])
('add ', [(0, 5)])
('del ', [(6, 7)])
('del ', [(0, 5)])
('add ', [(2, 3)])
('add ', [(1, 4)])
('del ', [(2, 3)])
('del ', [(1, 4)])
('add ', [(6, 7)])
('add ', [(0, 5)])
('del ', [(6, 7)])
('del ', [(0, 5)])
('add ', [(2, 3)])
('add ', [(1, 4)])
('del ', [(2, 3)])
('del ', [(1, 4)])
('add ', [(6, 7)])
('add ', [(0, 5)])
('del ', [(6, 7)])
('del ', [(0, 5)])
('add ', [(2, 3)])
('add ', [(1, 4)])
('del ', [(2, 3)])
('del ', [(1, 4)])
('add ', [(6, 7)])
('add ', [(0, 5)])
('del ', [(6, 7)])
('del ', [(0, 5)])
('add ', [(2, 3)])
('add ', [(1, 4)])
('del ', [(2, 3)])
('del ', [(1, 4)])
('add ', [(6, 7)])
('add ', [(0, 5)])
('del ', [(6, 7)])
('del ', [(0, 5)])
('add ', [(2, 3)])
('add ', [(1, 4)])
('del ', [(2, 3)])
('del ', [(1, 4)])
('add ', [(6, 7)])
('add ', [(0, 5)])
('del ', [(6, 7)])
('del ', [(0, 5)])
('add ', [(2, 3)])
('add ', [(1, 4)])
('del ', [(2, 3)])
('del ', [(1, 4)])
('add ', [(6, 7)])
('add ', [(0, 5)])
('del ', [(6, 7)])
('del ', [(0, 5)])
('add ', [(2, 3)])
('add ', [(1, 4)])
('del ', [(2, 3)])
('del ', [(1, 4)])
('add ', [(6, 7)])
('add ', [(0, 5)])
('del ', [(6, 7)])
('del ', [(0, 5)])
('add ', [(2, 3)])
('add ', [(1, 4)])
('del ', [(2, 3)])
('del ', [(1, 4)])
('add ', [(6, 7)])
('add ', [(0, 5)])
('del ', [(6, 7)])
('del ', [(0, 5)])
('add ', [(2, 3)])
('add ', [(1, 4)])
('del ', [(2, 3)])
('del ', [(1, 4)])
('add ', [(6, 7)])
('add ', [(0, 5)])
('del ', [(6, 7)])
('del ', [(0, 5)])
('add ', [(2, 3)])
('add ', [(1, 4)])
('del ', [(2, 3)])
('del ', [(1, 4)])
('add ', [(6, 7)])
('add ', [(0, 5)])
('del ', [(6, 7)])
('del ', [(0, 5)])
('add ', [(2, 3)])
('add ', [(1, 4)])
('del ', [(2, 3)])
('del ', [(1, 4)])
('add ', [(6, 7)])
('add ', [(0, 5)])
('del ', [(6, 7)])
('del ', [(0, 5)])
('add ', [(2, 3)])
('add ', [(1, 4)])
('del ', [(2, 3)])
('del ', [(1, 4)])
('add ', [(6, 7)])
('add ', [(0, 5)])
('del ', [(6, 7)])
('del ', [(0, 5)])
('add ', [(2, 3)])
('add ', [(1, 4)])
('del ', [(2, 3)])
('del ', [(1, 4)])
('add ', [(6, 7)])
('add ', [(0, 5)])
('del ', [(6, 7)])
('del ', [(0, 5)])
('add ', [(2, 3)])
('add ', [(1, 4)])
('del ', [(2, 3)])
('del ', [(1, 4)])
('add ', [(6, 7)])
('add ', [(0, 5)])
('del ', [(6, 7)])
('del ', [(0, 5)])
('add ', [(2, 3)])
('add ', [(1, 4)])
('del ', [(2, 3)])
('del ', [(1, 4)])
('add ', [(6, 7)])
('add ', [(0, 5)])
('del ', [(6, 7)])
('del ', [(0, 5)])
('add ', [(2, 3)])
('add ', [(1, 4)])
('del ', [(2, 3)])
('del ', [(1, 4)])
('add ', [(6, 7)])
('add ', [(0, 5)])
('del ', [(6, 7)])
('del ', [(0, 5)])
('add ', [(2, 3)])
('add ', [(1, 4)])
('del ', [(2, 3)])
('del ', [(1, 4)])
('add ', [(6, 7)])
('add ', [(0, 5)])
('del ', [(6, 7)])
('del ', [(0, 5)])
('add ', [(2, 3)])
('add ', [(1, 4)])
('del ', [(2, 3)])
('del ', [(1, 4)])
('add ', [(6, 7)])
('add ', [(0, 5)])
('del ', [(6, 7)])
('del ', [(0, 5)])
('add ', [(2, 3)])
('add ', [(1, 4)])
('del ', [(2, 3)])
('del ', [(1, 4)])
('add ', [(6, 7)])
('add ', [(0, 5)])
('del ', [(6, 7)])
('del ', [(0, 5)])
('add ', [(2, 3)])
('add ', [(1, 4)])
('del ', [(2, 3)])
('del ', [(1, 4)])
('add ', [(6, 7)])
('add ', [(0, 5)])
('del ', [(6, 7)])
('del ', [(0, 5)])
('add ', [(2, 3)])
('add ', [(1, 4)])
('del ', [(2, 3)])
('del ', [(1, 4)])
('add ', [(6, 7)])
('add ', [(0, 5)])
('del ', [(6, 7)])
('del ', [(0, 5)])
('add ', [(2, 3)])
('add ', [(1, 4)])
('del ', [(2, 3)])
('del ', [(1, 4)])
('add ', [(6, 7)])
('add ', [(0, 5)])
('del ', [(6, 7)])
('del ', [(0, 5)])
('add ', [(2, 3)])
('add ', [(1, 4)])
('del ', [(2, 3)])
('del ', [(1, 4)])
('add ', [(6, 7)])
('add ', [(0, 5)])
('del ', [(6, 7)])
('del ', [(0, 5)])
('add ', [(2, 3)])
('add ', [(1, 4)])
('del ', [(2, 3)])
('del ', [(1, 4)])
('add ', [(6, 7)])
('add ', [(0, 5)])
('del ', [(6, 7)])
('del ', [(0, 5)])
('add ', [(2, 3)])
('add ', [(1, 4)])
('del ', [(2, 3)])
('del ', [(1, 4)])
('add ', [(6, 7)])
('add ', [(0, 5)])
('del ', [(6, 7)])
('del ', [(0, 5)])
('add ', [(2, 3)])
('add ', [(1, 4)])
('del ', [(2, 3)])
('del ', [(1, 4)])
('add ', [(6, 7)])
('add ', [(0, 5)])
('del ', [(6, 7)])
('del ', [(0, 5)])
('add ', [(2, 3)])
('add ', [(1, 4)])
('del ', [(2, 3)])
('del ', [(1, 4)])
('add ', [(6, 7)])
('add ', [(0, 5)])
('del ', [(6, 7)])
('del ', [(0, 5)])
('add ', [(2, 3)])
('add ', [(1, 4)])
('del ', [(2, 3)])
('del ', [(1, 4)])
('add ', [(6, 7)])
('add ', [(0, 5)])
('del ', [(6, 7)])
('del ', [(0, 5)])
('add ', [(2, 3)])
('add ', [(1, 4)])
('del ', [(2, 3)])
('del ', [(1, 4)])
('add ', [(6, 7)])
('add ', [(0, 5)])
('del ', [(6, 7)])
('del ', [(0, 5)])
('add ', [(2, 3)])
('add ', [(1, 4)])
('del ', [(2, 3)])
('del ', [(1, 4)])
('add ', [(6, 7)])
('add ', [(0, 5)])
('del ', [(6, 7)])
('del ', [(0, 5)])
('add ', [(2, 3)])
('add ', [(1, 4)])
('del ', [(2, 3)])
('del ', [(1, 4)])
('add ', [(6, 7)])
('add ', [(0, 5)])
('del ', [(6, 7)])
('del ', [(0, 5)])
('add ', [(2, 3)])
('add ', [(1, 4)])
('del ', [(2, 3)])
('del ', [(1, 4)])
('add ', [(6, 7)])
('add ', [(0, 5)])
('del ', [(6, 7)])
('del ', [(0, 5)])
('add ', [(2, 3)])
('add ', [(1, 4)])
('del ', [(2, 3)])
('del ', [(1, 4)])
('add ', [(6, 7)])
('add ', [(0, 5)])
('del ', [(6, 7)])
('del ', [(0, 5)])
('add ', [(2, 3)])
('add ', [(1, 4)])
('del ', [(2, 3)])
('del ', [(1, 4)])
('add ', [(6, 7)])
('add ', [(0, 5)])
('del ', [(6, 7)])
('del ', [(0, 5)])
('add ', [(2, 3)])
('add ', [(1, 4)])
('del ', [(2, 3)])
('del ', [(1, 4)])
('add ', [(6, 7)])
('add ', [(0, 5)])
('del ', [(6, 7)])
('del ', [(0, 5)])
('add ', [(2, 3)])
('add ', [(1, 4)])
('del ', [(2, 3)])
('del ', [(1, 4)])
('add ', [(6, 7)])
('add ', [(0, 5)])
('del ', [(6, 7)])
('del ', [(0, 5)])
('add ', [(2, 3)])
('add ', [(1, 4)])
('del ', [(2, 3)])
('del ', [(1, 4)])
('add ', [(6, 7)])
('add ', [(0, 5)])
('del ', [(6, 7)])
('del ', [(0, 5)])
('add ', [(2, 3)])
('add ', [(1, 4)])
('del ', [(2, 3)])
('del ', [(1, 4)])
('add ', [(6, 7)])
('add ', [(0, 5)])
('del ', [(6, 7)])
('del ', [(0, 5)])
('add ', [(2, 3)])
('add ', [(1, 4)])
('del ', [(2, 3)])
('del ', [(1, 4)])
('add ', [(6, 7)])
('add ', [(0, 5)])
('del ', [(6, 7)])
('del ', [(0, 5)])
('add ', [(2, 3)])
('add ', [(1, 4)])
('del ', [(2, 3)])
('del ', [(1, 4)])
('add ', [(6, 7)])
('add ', [(0, 5)])
('del ', [(6, 7)])
('del ', [(0, 5)])
('add ', [(2, 3)])
('add ', [(1, 4)])
('del ', [(2, 3)])
('del ', [(1, 4)])
('add ', [(6, 7)])
('add ', [(0, 5)])
('del ', [(6, 7)])
('del ', [(0, 5)])
('add ', [(2, 3)])
('add ', [(1, 4)])
('del ', [(2, 3)])
('del ', [(1, 4)])
('add ', [(6, 7)])
('add ', [(0, 5)])
('del ', [(6, 7)])
('del ', [(0, 5)])
('add ', [(2, 3)])
('add ', [(1, 4)])
('del ', [(2, 3)])
('del ', [(1, 4)])
('add ', [(6, 7)])
('add ', [(0, 5)])
('del ', [(6, 7)])
('del ', [(0, 5)])
('add ', [(2, 3)])
('add ', [(1, 4)])
('del ', [(2, 3)])
('del ', [(1, 4)])
('add ', [(6, 7)])
('add ', [(0, 5)])
('del ', [(6, 7)])
('del ', [(0, 5)])
('add ', [(2, 3)])
('add ', [(1, 4)])
('del ', [(2, 3)])
('del ', [(1, 4)])
('add ', [(6, 7)])
('add ', [(0, 5)])
('del ', [(6, 7)])
('del ', [(0, 5)])
('add ', [(2, 3)])
('add ', [(1, 4)])
('del ', [(2, 3)])
('del ', [(1, 4)])
('add ', [(6, 7)])
('add ', [(0, 5)])
('del ', [(6, 7)])
('del ', [(0, 5)])
('add ', [(2, 3)])
('add ', [(1, 4)])
('del ', [(2, 3)])
('del ', [(1, 4)])
('add ', [(6, 7)])
('add ', [(0, 5)])
('del ', [(6, 7)])
('del ', [(0, 5)])
('add ', [(2, 3)])
('add ', [(1, 4)])
('del ', [(2, 3)])
('del ', [(1, 4)])
('add ', [(6, 7)])
('add ', [(0, 5)])
('del ', [(6, 7)])
('del ', [(0, 5)])
('add ', [(2, 3)])
('add ', [(1, 4)])
('del ', [(2, 3)])
('del ', [(1, 4)])
('add ', [(6, 7)])
('add ', [(0, 5)])
('del ', [(6, 7)])
('del ', [(0, 5)])
('add ', [(2, 3)])
('add ', [(1, 4)])
('del ', [(2, 3)])
('del ', [(1, 4)])
('add ', [(6, 7)])
('add ', [(0, 5)])
('del ', [(6, 7)])
('del ', [(0, 5)])
('add ', [(2, 3)])
('add ', [(1, 4)])
('del ', [(2, 3)])
('del ', [(1, 4)])
('add ', [(6, 7)])
('add ', [(0, 5)])
('del ', [(6, 7)])
('del ', [(0, 5)])
('add ', [(2, 3)])
('add ', [(1, 4)])
('del ', [(2, 3)])
('del ', [(1, 4)])
('add ', [(6, 7)])
('add ', [(0, 5)])
('del ', [(6, 7)])
('del ', [(0, 5)])
('add ', [(2, 3)])
('add ', [(1, 4)])
('del ', [(2, 3)])
('del ', [(1, 4)])
('add ', [(6, 7)])
('add ', [(0, 5)])
('del ', [(6, 7)])
('del ', [(0, 5)])
('add ', [(2, 3)])
('add ', [(1, 4)])
('del ', [(2, 3)])
('del ', [(1, 4)])
('add ', [(6, 7)])
('add ', [(0, 5)])
('del ', [(6, 7)])
('del ', [(0, 5)])
('add ', [(2, 3)])
('add ', [(1, 4)])
('del ', [(2, 3)])
('del ', [(1, 4)])
('add ', [(6, 7)])
('add ', [(0, 5)])
('del ', [(6, 7)])
('del ', [(0, 5)])
('add ', [(2, 3)])
('add ', [(1, 4)])
('del ', [(2, 3)])
('del ', [(1, 4)])
('add ', [(6, 7)])
('add ', [(0, 5)])
('del ', [(6, 7)])
('del ', [(0, 5)])
('add ', [(2, 3)])
('add ', [(1, 4)])
('del ', [(2, 3)])
('del ', [(1, 4)])
('add ', [(6, 7)])
('add ', [(0, 5)])
('del ', [(6, 7)])
('del ', [(0, 5)])
('add ', [(2, 3)])
('add ', [(1, 4)])
('del ', [(2, 3)])
('del ', [(1, 4)])
('add ', [(6, 7)])
('add ', [(0, 5)])
('del ', [(6, 7)])
('del ', [(0, 5)])
('add ', [(2, 3)])
('add ', [(1, 4)])
('del ', [(2, 3)])
('del ', [(1, 4)])
('add ', [(6, 7)])
('add ', [(0, 5)])
('del ', [(6, 7)])
('del ', [(0, 5)])
('add ', [(2, 3)])
('add ', [(1, 4)])
('del ', [(2, 3)])
('del ', [(1, 4)])
('add ', [(6, 7)])
('add ', [(0, 5)])
('del ', [(6, 7)])
('del ', [(0, 5)])
('add ', [(2, 3)])
('add ', [(1, 4)])
('del ', [(2, 3)])
('del ', [(1, 4)])
('add ', [(6, 7)])
('add ', [(0, 5)])
('del ', [(6, 7)])
('del ', [(0, 5)])
('add ', [(2, 3)])
('add ', [(1, 4)])
('del ', [(2, 3)])
('del ', [(1, 4)])
('add ', [(6, 7)])
('add ', [(0, 5)])
('del ', [(6, 7)])
('del ', [(0, 5)])
('add ', [(2, 3)])
('add ', [(1, 4)])
('del ', [(2, 3)])
('del ', [(1, 4)])
('add ', [(6, 7)])
('add ', [(0, 5)])
('del ', [(6, 7)])
('del ', [(0, 5)])
('add ', [(2, 3)])
('add ', [(1, 4)])
('del ', [(2, 3)])
('del ', [(1, 4)])
('add ', [(6, 7)])
('add ', [(0, 5)])
('del ', [(6, 7)])
('del ', [(0, 5)])
('add ', [(2, 3)])
('add ', [(1, 4)])
('del ', [(2, 3)])
('del ', [(1, 4)])
('add ', [(6, 7)])
('add ', [(0, 5)])
('del ', [(6, 7)])
('del ', [(0, 5)])
('add ', [(2, 3)])
('add ', [(1, 4)])
('del ', [(2, 3)])
('del ', [(1, 4)])
('add ', [(6, 7)])
('add ', [(0, 5)])
('del ', [(6, 7)])
('del ', [(0, 5)])
('add ', [(2, 3)])
('add ', [(1, 4)])
('del ', [(2, 3)])
('del ', [(1, 4)])
('add ', [(6, 7)])
('add ', [(0, 5)])
('del ', [(6, 7)])
('del ', [(0, 5)])
('add ', [(2, 3)])
('add ', [(1, 4)])
('del ', [(2, 3)])
('del ', [(1, 4)])
('add ', [(6, 7)])
('add ', [(0, 5)])
('del ', [(6, 7)])
('del ', [(0, 5)])
('add ', [(2, 3)])
('add ', [(1, 4)])
('del ', [(2, 3)])
('del ', [(1, 4)])
('add ', [(6, 7)])
('add ', [(0, 5)])
('del ', [(6, 7)])
('del ', [(0, 5)])
('add ', [(2, 3)])
('add ', [(1, 4)])
('del ', [(2, 3)])
('del ', [(1, 4)])
('add ', [(6, 7)])
('add ', [(0, 5)])
('del ', [(6, 7)])
('del ', [(0, 5)])
('add ', [(2, 3)])
('add ', [(1, 4)])
('del ', [(2, 3)])
('del ', [(1, 4)])
('add ', [(6, 7)])
('add ', [(0, 5)])
('del ', [(6, 7)])
('del ', [(0, 5)])
('add ', [(2, 3)])
('add ', [(1, 4)])
('del ', [(2, 3)])
('del ', [(1, 4)])
('add ', [(6, 7)])
('add ', [(0, 5)])
('del ', [(6, 7)])
('del ', [(0, 5)])
('add ', [(2, 3)])
('add ', [(1, 4)])
('del ', [(2, 3)])
('del ', [(1, 4)])
('add ', [(6, 7)])
('add ', [(0, 5)])
('del ', [(6, 7)])
('del ', [(0, 5)])
('add ', [(2, 3)])
('add ', [(1, 4)])
('del ', [(2, 3)])
('del ', [(1, 4)])
('add ', [(6, 7)])
('add ', [(0, 5)])
('del ', [(6, 7)])
('del ', [(0, 5)])
('add ', [(2, 3)])
('add ', [(1, 4)])
('del ', [(2, 3)])
('del ', [(1, 4)])
('add ', [(6, 7)])
('add ', [(0, 5)])
('del ', [(6, 7)])
('del ', [(0, 5)])
('add ', [(2, 3)])
('add ', [(1, 4)])
('del ', [(2, 3)])
('del ', [(1, 4)])
('add ', [(6, 7)])
('add ', [(0, 5)])
('del ', [(6, 7)])
('del ', [(0, 5)])
('add ', [(2, 3)])
('add ', [(1, 4)])
('del ', [(2, 3)])
('del ', [(1, 4)])
('add ', [(6, 7)])
('add ', [(0, 5)])
('del ', [(6, 7)])
('del ', [(0, 5)])
('add ', [(2, 3)])
('add ', [(1, 4)])
('del ', [(2, 3)])
('del ', [(1, 4)])
('add ', [(6, 7)])
('add ', [(0, 5)])
('del ', [(6, 7)])
('del ', [(0, 5)])
('add ', [(2, 3)])
('add ', [(1, 4)])
('del ', [(2, 3)])
('del ', [(1, 4)])
('add ', [(6, 7)])
('add ', [(0, 5)])
('del ', [(6, 7)])
('del ', [(0, 5)])
('add ', [(2, 3)])
('add ', [(1, 4)])
('del ', [(2, 3)])
('del ', [(1, 4)])
('add ', [(6, 7)])
('add ', [(0, 5)])
('del ', [(6, 7)])
('del ', [(0, 5)])
('add ', [(2, 3)])
('add ', [(1, 4)])
('del ', [(2, 3)])
('del ', [(1, 4)])
('add ', [(6, 7)])
('add ', [(0, 5)])
('del ', [(6, 7)])
('del ', [(0, 5)])
('add ', [(2, 3)])
('add ', [(1, 4)])
('del ', [(2, 3)])
('del ', [(1, 4)])
('add ', [(6, 7)])
('add ', [(0, 5)])
('del ', [(6, 7)])
('del ', [(0, 5)])
('add ', [(2, 3)])
('add ', [(1, 4)])
('del ', [(2, 3)])
('del ', [(1, 4)])
('add ', [(6, 7)])
('add ', [(0, 5)])
('del ', [(6, 7)])
('del ', [(0, 5)])
('add ', [(2, 3)])
('add ', [(1, 4)])
('del ', [(2, 3)])
('del ', [(1, 4)])
('add ', [(6, 7)])
('add ', [(0, 5)])
('del ', [(6, 7)])
('del ', [(0, 5)])
('add ', [(2, 3)])
('add ', [(1, 4)])
('del ', [(2, 3)])
('del ', [(1, 4)])
('add ', [(6, 7)])
('add ', [(0, 5)])
('del ', [(6, 7)])
('del ', [(0, 5)])
('add ', [(2, 3)])
('add ', [(1, 4)])
('del ', [(2, 3)])
('del ', [(1, 4)])
('add ', [(6, 7)])
('add ', [(0, 5)])
('del ', [(6, 7)])
('del ', [(0, 5)])
('add ', [(2, 3)])
('add ', [(1, 4)])
('del ', [(2, 3)])
('del ', [(1, 4)])
('add ', [(6, 7)])
('add ', [(0, 5)])
('del ', [(6, 7)])
('del ', [(0, 5)])
('add ', [(2, 3)])
('add ', [(1, 4)])
('del ', [(2, 3)])
('del ', [(1, 4)])
('add ', [(6, 7)])
('add ', [(0, 5)])
('del ', [(6, 7)])
('del ', [(0, 5)])
('add ', [(2, 3)])
('add ', [(1, 4)])
('del ', [(2, 3)])
('del ', [(1, 4)])
('add ', [(6, 7)])
('add ', [(0, 5)])
('del ', [(6, 7)])
('del ', [(0, 5)])
('add ', [(2, 3)])
('add ', [(1, 4)])
('del ', [(2, 3)])
('del ', [(1, 4)])
('add ', [(6, 7)])
('add ', [(0, 5)])
('del ', [(6, 7)])
('del ', [(0, 5)])
('add ', [(2, 3)])
('add ', [(1, 4)])
('del ', [(2, 3)])
('del ', [(1, 4)])
('add ', [(6, 7)])
('add ', [(0, 5)])
('del ', [(6, 7)])
('del ', [(0, 5)])
('add ', [(2, 3)])
('add ', [(1, 4)])
('del ', [(2, 3)])
('del ', [(1, 4)])
('add ', [(6, 7)])
('add ', [(0, 5)])
('del ', [(6, 7)])
('del ', [(0, 5)])
('add ', [(2, 3)])
('add ', [(1, 4)])
('del ', [(2, 3)])
('del ', [(1, 4)])
('add ', [(6, 7)])
('add ', [(0, 5)])
('del ', [(6, 7)])
('del ', [(0, 5)])
('add ', [(2, 3)])
('add ', [(1, 4)])
('del ', [(2, 3)])
('del ', [(1, 4)])
('add ', [(6, 7)])
('add ', [(0, 5)])
('del ', [(6, 7)])
('del ', [(0, 5)])
('add ', [(2, 3)])
('add ', [(1, 4)])
('del ', [(2, 3)])
('del ', [(1, 4)])
('add ', [(6, 7)])
('add ', [(0, 5)])
('del ', [(6, 7)])
('del ', [(0, 5)])
('add ', [(2, 3)])
('add ', [(1, 4)])
('del ', [(2, 3)])
('del ', [(1, 4)])
('add ', [(6, 7)])
('add ', [(0, 5)])
('del ', [(6, 7)])
('del ', [(0, 5)])
('add ', [(2, 3)])
('add ', [(1, 4)])
('del ', [(2, 3)])
('del ', [(1, 4)])
('add ', [(6, 7)])
('add ', [(0, 5)])
('del ', [(6, 7)])
('del ', [(0, 5)])
('add ', [(2, 3)])
('add ', [(1, 4)])
('del ', [(2, 3)])
('del ', [(1, 4)])
('add ', [(6, 7)])
('add ', [(0, 5)])
('del ', [(6, 7)])
('del ', [(0, 5)])
('add ', [(2, 3)])
('add ', [(1, 4)])
('del ', [(2, 3)])
('del ', [(1, 4)])
('add ', [(6, 7)])
('add ', [(0, 5)])
('del ', [(6, 7)])
('del ', [(0, 5)])
('add ', [(2, 3)])
('add ', [(1, 4)])
('del ', [(2, 3)])
('del ', [(1, 4)])
('add ', [(6, 7)])
('add ', [(0, 5)])
('del ', [(6, 7)])
('del ', [(0, 5)])
('add ', [(2, 3)])
('add ', [(1, 4)])
('del ', [(2, 3)])
('del ', [(1, 4)])
('add ', [(6, 7)])
('add ', [(0, 5)])
('del ', [(6, 7)])
('del ', [(0, 5)])
('add ', [(2, 3)])
('add ', [(1, 4)])
('del ', [(2, 3)])
('del ', [(1, 4)])
('add ', [(6, 7)])
('add ', [(0, 5)])
('del ', [(6, 7)])
('del ', [(0, 5)])
('add ', [(2, 3)])
('add ', [(1, 4)])
('del ', [(2, 3)])
('del ', [(1, 4)])
('add ', [(6, 7)])
('add ', [(0, 5)])
('del ', [(6, 7)])
('del ', [(0, 5)])
('add ', [(2, 3)])
('add ', [(1, 4)])
('del ', [(2, 3)])
('del ', [(1, 4)])
('add ', [(6, 7)])
('add ', [(0, 5)])
('del ', [(6, 7)])
('del ', [(0, 5)])
('add ', [(2, 3)])
('add ', [(1, 4)])
('del ', [(2, 3)])
('del ', [(1, 4)])
('add ', [(6, 7)])
('add ', [(0, 5)])
('del ', [(6, 7)])
('del ', [(0, 5)])
('add ', [(2, 3)])
('add ', [(1, 4)])
('del ', [(2, 3)])
('del ', [(1, 4)])
('add ', [(6, 7)])
('add ', [(0, 5)])
('del ', [(6, 7)])
('del ', [(0, 5)])
('add ', [(2, 3)])
('add ', [(1, 4)])
('del ', [(2, 3)])
('del ', [(1, 4)])
('add ', [(6, 7)])
('add ', [(0, 5)])
('del ', [(6, 7)])
('del ', [(0, 5)])
('add ', [(2, 3)])
('add ', [(1, 4)])
('del ', [(2, 3)])
('del ', [(1, 4)])
('add ', [(6, 7)])
('add ', [(0, 5)])
('del ', [(6, 7)])
('del ', [(0, 5)])
('add ', [(2, 3)])
('add ', [(1, 4)])
('del ', [(2, 3)])
('del ', [(1, 4)])
('add ', [(6, 7)])
('add ', [(0, 5)])
('del ', [(6, 7)])
('del ', [(0, 5)])
('add ', [(2, 3)])
('add ', [(1, 4)])
('del ', [(2, 3)])
('del ', [(1, 4)])
('add ', [(6, 7)])
('add ', [(0, 5)])
('del ', [(6, 7)])
('del ', [(0, 5)])
('add ', [(2, 3)])
('add ', [(1, 4)])
('del ', [(2, 3)])
('del ', [(1, 4)])
('add ', [(6, 7)])
('add ', [(0, 5)])
('del ', [(6, 7)])
('del ', [(0, 5)])
('add ', [(2, 3)])
('add ', [(1, 4)])
('del ', [(2, 3)])
('del ', [(1, 4)])
('add ', [(6, 7)])
('add ', [(0, 5)])
('del ', [(6, 7)])
('del ', [(0, 5)])
('add ', [(2, 3)])
('add ', [(1, 4)])
('del ', [(2, 3)])
('del ', [(1, 4)])
('add ', [(6, 7)])
('add ', [(0, 5)])
('del ', [(6, 7)])
('del ', [(0, 5)])
('add ', [(2, 3)])
('add ', [(1, 4)])
('del ', [(2, 3)])
('del ', [(1, 4)])
('add ', [(6, 7)])
('add ', [(0, 5)])
('del ', [(6, 7)])
('del ', [(0, 5)])
('add ', [(2, 3)])
('add ', [(1, 4)])
('del ', [(2, 3)])
('del ', [(1, 4)])
('add ', [(6, 7)])
('add ', [(0, 5)])
('del ', [(6, 7)])
('del ', [(0, 5)])
('add ', [(2, 3)])
('add ', [(1, 4)])
('del ', [(2, 3)])
('del ', [(1, 4)])
('add ', [(6, 7)])
('add ', [(0, 5)])
('del ', [(6, 7)])
('del ', [(0, 5)])
('add ', [(2, 3)])
('add ', [(1, 4)])
('del ', [(2, 3)])
('del ', [(1, 4)])
('add ', [(6, 7)])
('add ', [(0, 5)])
('del ', [(6, 7)])
('del ', [(0, 5)])
('add ', [(2, 3)])
('add ', [(1, 4)])
('del ', [(2, 3)])
('del ', [(1, 4)])
('add ', [(6, 7)])
('add ', [(0, 5)])
('del ', [(6, 7)])
('del ', [(0, 5)])
('add ', [(2, 3)])
('add ', [(1, 4)])
('del ', [(2, 3)])
('del ', [(1, 4)])
('add ', [(6, 7)])
('add ', [(0, 5)])
('del ', [(6, 7)])
('del ', [(0, 5)])
('add ', [(2, 3)])
('add ', [(1, 4)])
('del ', [(2, 3)])
('del ', [(1, 4)])
('add ', [(6, 7)])
('add ', [(0, 5)])
('del ', [(6, 7)])
('del ', [(0, 5)])
('add ', [(2, 3)])
('add ', [(1, 4)])
('del ', [(2, 3)])
('del ', [(1, 4)])
('add ', [(6, 7)])
('add ', [(0, 5)])
('del ', [(6, 7)])
('del ', [(0, 5)])
('add ', [(2, 3)])
('add ', [(1, 4)])
('del ', [(2, 3)])
('del ', [(1, 4)])
('add ', [(6, 7)])
('add ', [(0, 5)])
('del ', [(6, 7)])
('del ', [(0, 5)])
('add ', [(2, 3)])
('add ', [(1, 4)])
('del ', [(2, 3)])
('del ', [(1, 4)])
('add ', [(6, 7)])
('add ', [(0, 5)])
('del ', [(6, 7)])
('del ', [(0, 5)])
('add ', [(2, 3)])
('add ', [(1, 4)])
('del ', [(2, 3)])
('del ', [(1, 4)])
('add ', [(6, 7)])
('add ', [(0, 5)])
('del ', [(6, 7)])
('del ', [(0, 5)])
('add ', [(2, 3)])
('add ', [(1, 4)])
('del ', [(2, 3)])
('del ', [(1, 4)])
('add ', [(6, 7)])
('add ', [(0, 5)])
('del ', [(6, 7)])
('del ', [(0, 5)])
('add ', [(2, 3)])
('add ', [(1, 4)])
('del ', [(2, 3)])
('del ', [(1, 4)])
('add ', [(6, 7)])
('add ', [(0, 5)])
('del ', [(6, 7)])
('del ', [(0, 5)])
('add ', [(2, 3)])
('add ', [(1, 4)])
('del ', [(2, 3)])
('del ', [(1, 4)])
('add ', [(6, 7)])
('add ', [(0, 5)])
('del ', [(6, 7)])
('del ', [(0, 5)])
('add ', [(2, 3)])
('add ', [(1, 4)])
('del ', [(2, 3)])
('del ', [(1, 4)])
('add ', [(6, 7)])
('add ', [(0, 5)])
('del ', [(6, 7)])
('del ', [(0, 5)])
('add ', [(2, 3)])
('add ', [(1, 4)])
('del ', [(2, 3)])
('del ', [(1, 4)])
('add ', [(6, 7)])
('add ', [(0, 5)])
('del ', [(6, 7)])
('del ', [(0, 5)])
('add ', [(2, 3)])
('add ', [(1, 4)])
('del ', [(2, 3)])
('del ', [(1, 4)])
('add ', [(6, 7)])
('add ', [(0, 5)])
('del ', [(6, 7)])
('del ', [(0, 5)])
('add ', [(2, 3)])
('add ', [(1, 4)])
('del ', [(2, 3)])
('del ', [(1, 4)])
('add ', [(6, 7)])
('add ', [(0, 5)])
('del ', [(6, 7)])
('del ', [(0, 5)])
('add ', [(2, 3)])
('add ', [(1, 4)])
('del ', [(2, 3)])
('del ', [(1, 4)])
('add ', [(6, 7)])
('add ', [(0, 5)])
('del ', [(6, 7)])
('del ', [(0, 5)])
('add ', [(2, 3)])
('add ', [(1, 4)])
('del ', [(2, 3)])
('del ', [(1, 4)])
('add ', [(6, 7)])
('add ', [(0, 5)])
('del ', [(6, 7)])
('del ', [(0, 5)])
('add ', [(2, 3)])
('add ', [(1, 4)])
('del ', [(2, 3)])
('del ', [(1, 4)])
('add ', [(6, 7)])
('add ', [(0, 5)])
('del ', [(6, 7)])
('del ', [(0, 5)])
('add ', [(2, 3)])
('add ', [(1, 4)])
('del ', [(2, 3)])
('del ', [(1, 4)])
('add ', [(6, 7)])
('add ', [(0, 5)])
('del ', [(6, 7)])
('del ', [(0, 5)])
('add ', [(2, 3)])
('add ', [(1, 4)])
('del ', [(2, 3)])
('del ', [(1, 4)])
('add ', [(6, 7)])
('add ', [(0, 5)])
('del ', [(6, 7)])
('del ', [(0, 5)])
('add ', [(2, 3)])
('add ', [(1, 4)])
('del ', [(2, 3)])
('del ', [(1, 4)])
('add ', [(6, 7)])
('add ', [(0, 5)])
('del ', [(6, 7)])
('del ', [(0, 5)])
('add ', [(2, 3)])
('add ', [(1, 4)])
('del ', [(2, 3)])
('del ', [(1, 4)])
('add ', [(6, 7)])
('add ', [(0, 5)])
('del ', [(6, 7)])
('del ', [(0, 5)])
('add ', [(2, 3)])
('add ', [(1, 4)])
('del ', [(2, 3)])
('del ', [(1, 4)])
('add ', [(6, 7)])
('add ', [(0, 5)])
('del ', [(6, 7)])
('del ', [(0, 5)])
('add ', [(2, 3)])
('add ', [(1, 4)])
('del ', [(2, 3)])
('del ', [(1, 4)])
('add ', [(6, 7)])
('add ', [(0, 5)])
('del ', [(6, 7)])
('del ', [(0, 5)])
('add ', [(2, 3)])
('add ', [(1, 4)])
('del ', [(2, 3)])
('del ', [(1, 4)])
('add ', [(6, 7)])
('add ', [(0, 5)])
('del ', [(6, 7)])
('del ', [(0, 5)])
('add ', [(2, 3)])
('add ', [(1, 4)])
('del ', [(2, 3)])
('del ', [(1, 4)])
('add ', [(6, 7)])
('add ', [(0, 5)])
('del ', [(6, 7)])
('del ', [(0, 5)])
('add ', [(2, 3)])
('add ', [(1, 4)])
('del ', [(2, 3)])
('del ', [(1, 4)])
('add ', [(6, 7)])
('add ', [(0, 5)])
('del ', [(6, 7)])
('del ', [(0, 5)])
('add ', [(2, 3)])
('add ', [(1, 4)])
('del ', [(2, 3)])
('del ', [(1, 4)])
('add ', [(6, 7)])
('add ', [(0, 5)])
('del ', [(6, 7)])
('del ', [(0, 5)])
('add ', [(2, 3)])
('add ', [(1, 4)])
('del ', [(2, 3)])
('del ', [(1, 4)])
('add ', [(6, 7)])
('add ', [(0, 5)])
('del ', [(6, 7)])
('del ', [(0, 5)])
('add ', [(2, 3)])
('add ', [(1, 4)])
('del ', [(2, 3)])
('del ', [(1, 4)])
('add ', [(6, 7)])
('add ', [(0, 5)])
('del ', [(6, 7)])
('del ', [(0, 5)])
('add ', [(2, 3)])
('add ', [(1, 4)])
('del ', [(2, 3)])
('del ', [(1, 4)])
('add ', [(6, 7)])
('add ', [(0, 5)])
('del ', [(6, 7)])
('del ', [(0, 5)])
('add ', [(2, 3)])
('add ', [(1, 4)])
('del ', [(2, 3)])
('del ', [(1, 4)])
('add ', [(6, 7)])
('add ', [(0, 5)])
('del ', [(6, 7)])
('del ', [(0, 5)])
('add ', [(2, 3)])
('add ', [(1, 4)])
('del ', [(2, 3)])
('del ', [(1, 4)])
('add ', [(6, 7)])
('add ', [(0, 5)])
('del ', [(6, 7)])
('del ', [(0, 5)])
('add ', [(2, 3)])
('add ', [(1, 4)])
('del ', [(2, 3)])
('del ', [(1, 4)])
('add ', [(6, 7)])
('add ', [(0, 5)])
('del ', [(6, 7)])
('del ', [(0, 5)])
('add ', [(2, 3)])
('add ', [(1, 4)])
('del ', [(2, 3)])
('del ', [(1, 4)])
('add ', [(6, 7)])
('add ', [(0, 5)])
('del ', [(6, 7)])
('del ', [(0, 5)])
('add ', [(2, 3)])
('add ', [(1, 4)])
('del ', [(2, 3)])
('del ', [(1, 4)])
('add ', [(6, 7)])
('add ', [(0, 5)])
('del ', [(6, 7)])
('del ', [(0, 5)])
('add ', [(2, 3)])
('add ', [(1, 4)])
('del ', [(2, 3)])
('del ', [(1, 4)])
('add ', [(6, 7)])
('add ', [(0, 5)])
('del ', [(6, 7)])
('del ', [(0, 5)])
('add ', [(2, 3)])
('add ', [(1, 4)])
('del ', [(2, 3)])
('del ', [(1, 4)])
('add ', [(6, 7)])
('add ', [(0, 5)])
('del ', [(6, 7)])
('del ', [(0, 5)])
('add ', [(2, 3)])
('add ', [(1, 4)])
('del ', [(2, 3)])
('del ', [(1, 4)])
('add ', [(6, 7)])
('add ', [(0, 5)])
('del ', [(6, 7)])
('del ', [(0, 5)])
('add ', [(2, 3)])
('add ', [(1, 4)])
('del ', [(2, 3)])
('del ', [(1, 4)])
('add ', [(6, 7)])
('add ', [(0, 5)])
('del ', [(6, 7)])
('del ', [(0, 5)])
('add ', [(2, 3)])
('add ', [(1, 4)])
('del ', [(2, 3)])
('del ', [(1, 4)])
('add ', [(6, 7)])
('add ', [(0, 5)])
('del ', [(6, 7)])
('del ', [(0, 5)])
('add ', [(2, 3)])
('add ', [(1, 4)])
('del ', [(2, 3)])
('del ', [(1, 4)])
('add ', [(6, 7)])
('add ', [(0, 5)])
('del ', [(6, 7)])
('del ', [(0, 5)])
('add ', [(2, 3)])
('add ', [(1, 4)])
('del ', [(2, 3)])
('del ', [(1, 4)])
('add ', [(6, 7)])
('add ', [(0, 5)])
('del ', [(6, 7)])
('del ', [(0, 5)])
('add ', [(2, 3)])
('add ', [(1, 4)])
('del ', [(2, 3)])
('del ', [(1, 4)])
('add ', [(6, 7)])
('add ', [(0, 5)])
('del ', [(6, 7)])
('del ', [(0, 5)])
('add ', [(2, 3)])
('add ', [(1, 4)])
('del ', [(2, 3)])
('del ', [(1, 4)])
('add ', [(6, 7)])
('add ', [(0, 5)])
('del ', [(6, 7)])
('del ', [(0, 5)])
('add ', [(2, 3)])
('add ', [(1, 4)])
('del ', [(2, 3)])
('del ', [(1, 4)])
('add ', [(6, 7)])
('add ', [(0, 5)])
('del ', [(6, 7)])
('del ', [(0, 5)])
('add ', [(2, 3)])
('add ', [(1, 4)])
('del ', [(2, 3)])
('del ', [(1, 4)])
('add ', [(6, 7)])
('add ', [(0, 5)])
('del ', [(6, 7)])
('del ', [(0, 5)])
('add ', [(2, 3)])
('add ', [(1, 4)])
('del ', [(2, 3)])
('del ', [(1, 4)])
('add ', [(6, 7)])
('add ', [(0, 5)])
('del ', [(6, 7)])
('del ', [(0, 5)])
('add ', [(2, 3)])
('add ', [(1, 4)])
('del ', [(2, 3)])
('del ', [(1, 4)])
('add ', [(6, 7)])
('add ', [(0, 5)])
('del ', [(6, 7)])
('del ', [(0, 5)])
('add ', [(2, 3)])
('add ', [(1, 4)])
('del ', [(2, 3)])
('del ', [(1, 4)])
('add ', [(6, 7)])
('add ', [(0, 5)])
('del ', [(6, 7)])
('del ', [(0, 5)])
('add ', [(2, 3)])
('add ', [(1, 4)])
('del ', [(2, 3)])
('del ', [(1, 4)])
('add ', [(6, 7)])
('add ', [(0, 5)])
('del ', [(6, 7)])
('del ', [(0, 5)])
('add ', [(2, 3)])
('add ', [(1, 4)])
('del ', [(2, 3)])
('del ', [(1, 4)])
('add ', [(6, 7)])
('add ', [(0, 5)])
('del ', [(6, 7)])
('del ', [(0, 5)])
('add ', [(2, 3)])
('add ', [(1, 4)])
('del ', [(2, 3)])
('del ', [(1, 4)])
('add ', [(6, 7)])
('add ', [(0, 5)])
('del ', [(6, 7)])
('del ', [(0, 5)])
('add ', [(2, 3)])
('add ', [(1, 4)])
('del ', [(2, 3)])
('del ', [(1, 4)])
('add ', [(6, 7)])
('add ', [(0, 5)])
('del ', [(6, 7)])
('del ', [(0, 5)])
('add ', [(2, 3)])
('add ', [(1, 4)])
('del ', [(2, 3)])
('del ', [(1, 4)])
('add ', [(6, 7)])
('add ', [(0, 5)])
('del ', [(6, 7)])
('del ', [(0, 5)])
('add ', [(2, 3)])
('add ', [(1, 4)])
('del ', [(2, 3)])
('del ', [(1, 4)])
('add ', [(6, 7)])
('add ', [(0, 5)])
('del ', [(6, 7)])
('del ', [(0, 5)])
('add ', [(2, 3)])
('add ', [(1, 4)])
('del ', [(2, 3)])
('del ', [(1, 4)])
('add ', [(6, 7)])
('add ', [(0, 5)])
('del ', [(6, 7)])
('del ', [(0, 5)])
('add ', [(2, 3)])
('add ', [(1, 4)])
('del ', [(2, 3)])
('del ', [(1, 4)])
('add ', [(6, 7)])
('add ', [(0, 5)])
('del ', [(6, 7)])
('del ', [(0, 5)])
('add ', [(2, 3)])
('add ', [(1, 4)])
('del ', [(2, 3)])
('del ', [(1, 4)])
('add ', [(6, 7)])
('add ', [(0, 5)])
('del ', [(6, 7)])
('del ', [(0, 5)])
('add ', [(2, 3)])
('add ', [(1, 4)])
('del ', [(2, 3)])
('del ', [(1, 4)])
('add ', [(6, 7)])
('add ', [(0, 5)])
('del ', [(6, 7)])
('del ', [(0, 5)])
('add ', [(2, 3)])
('add ', [(1, 4)])
('del ', [(2, 3)])
('del ', [(1, 4)])
('add ', [(6, 7)])
('add ', [(0, 5)])
('del ', [(6, 7)])
('del ', [(0, 5)])
('add ', [(2, 3)])
('add ', [(1, 4)])
('del ', [(2, 3)])
('del ', [(1, 4)])
('add ', [(6, 7)])
('add ', [(0, 5)])
('del ', [(6, 7)])
('del ', [(0, 5)])
('add ', [(2, 3)])
('add ', [(1, 4)])
('del ', [(2, 3)])
('del ', [(1, 4)])
('add ', [(6, 7)])
('add ', [(0, 5)])
('del ', [(6, 7)])
('del ', [(0, 5)])
('add ', [(2, 3)])
('add ', [(1, 4)])
('del ', [(2, 3)])
('del ', [(1, 4)])
('add ', [(6, 7)])
('add ', [(0, 5)])
('del ', [(6, 7)])
('del ', [(0, 5)])
('add ', [(2, 3)])
('add ', [(1, 4)])
('del ', [(2, 3)])
('del ', [(1, 4)])
('add ', [(6, 7)])
('add ', [(0, 5)])
('del ', [(6, 7)])
('del ', [(0, 5)])
('add ', [(2, 3)])
('add ', [(1, 4)])
('del ', [(2, 3)])
('del ', [(1, 4)])
('add ', [(6, 7)])
('add ', [(0, 5)])
('del ', [(6, 7)])
('del ', [(0, 5)])
('add ', [(2, 3)])
('add ', [(1, 4)])
('del ', [(2, 3)])
('del ', [(1, 4)])
('add ', [(6, 7)])
('add ', [(0, 5)])
('del ', [(6, 7)])
('del ', [(0, 5)])
('add ', [(2, 3)])
('add ', [(1, 4)])
('del ', [(2, 3)])
('del ', [(1, 4)])
('add ', [(6, 7)])
('add ', [(0, 5)])
('del ', [(6, 7)])
('del ', [(0, 5)])
('add ', [(2, 3)])
('add ', [(1, 4)])
('del ', [(2, 3)])
('del ', [(1, 4)])
('add ', [(6, 7)])
('add ', [(0, 5)])
('del ', [(6, 7)])
('del ', [(0, 5)])
('add ', [(2, 3)])
('add ', [(1, 4)])
('del ', [(2, 3)])
('del ', [(1, 4)])
('add ', [(6, 7)])
('add ', [(0, 5)])
('del ', [(6, 7)])
('del ', [(0, 5)])
('add ', [(2, 3)])
('add ', [(1, 4)])
('del ', [(2, 3)])
('del ', [(1, 4)])
('add ', [(6, 7)])
('add ', [(0, 5)])
('del ', [(6, 7)])
('del ', [(0, 5)])
('add ', [(2, 3)])
('add ', [(1, 4)])
('del ', [(2, 3)])
('del ', [(1, 4)])
('add ', [(6, 7)])
('add ', [(0, 5)])
('del ', [(6, 7)])
('del ', [(0, 5)])
('add ', [(2, 3)])
('add ', [(1, 4)])
('del ', [(2, 3)])
('del ', [(1, 4)])
('add ', [(6, 7)])
('add ', [(0, 5)])
('del ', [(6, 7)])
('del ', [(0, 5)])
('add ', [(2, 3)])
('add ', [(1, 4)])
('del ', [(2, 3)])
('del ', [(1, 4)])
('add ', [(6, 7)])
('add ', [(0, 5)])
('del ', [(6, 7)])
('del ', [(0, 5)])
('add ', [(2, 3)])
('add ', [(1, 4)])
('del ', [(2, 3)])
('del ', [(1, 4)])
('add ', [(6, 7)])
('add ', [(0, 5)])
('del ', [(6, 7)])
('del ', [(0, 5)])
('add ', [(2, 3)])
('add ', [(1, 4)])
('del ', [(2, 3)])
('del ', [(1, 4)])
('add ', [(6, 7)])
('add ', [(0, 5)])
('del ', [(6, 7)])
('del ', [(0, 5)])
('add ', [(2, 3)])
('add ', [(1, 4)])
('del ', [(2, 3)])
('del ', [(1, 4)])
('add ', [(6, 7)])
('add ', [(0, 5)])
('del ', [(6, 7)])
('del ', [(0, 5)])
('add ', [(2, 3)])
('add ', [(1, 4)])
('del ', [(2, 3)])
('del ', [(1, 4)])
('add ', [(6, 7)])
('add ', [(0, 5)])
('del ', [(6, 7)])
('del ', [(0, 5)])
('add ', [(2, 3)])
('add ', [(1, 4)])
('del ', [(2, 3)])
('del ', [(1, 4)])
('add ', [(6, 7)])
('add ', [(0, 5)])
('del ', [(6, 7)])
('del ', [(0, 5)])
('add ', [(2, 3)])
('add ', [(1, 4)])
('del ', [(2, 3)])
('del ', [(1, 4)])
('add ', [(6, 7)])
('add ', [(0, 5)])
('del ', [(6, 7)])
('del ', [(0, 5)])
('add ', [(2, 3)])
('add ', [(1, 4)])
('del ', [(2, 3)])
('del ', [(1, 4)])
('add ', [(6, 7)])
('add ', [(0, 5)])
('del ', [(6, 7)])
('del ', [(0, 5)])
('add ', [(2, 3)])
('add ', [(1, 4)])
('del ', [(2, 3)])
('del ', [(1, 4)])
('add ', [(6, 7)])
('add ', [(0, 5)])
('del ', [(6, 7)])
('del ', [(0, 5)])
('add ', [(2, 3)])
('add ', [(1, 4)])
('del ', [(2, 3)])
('del ', [(1, 4)])
('add ', [(6, 7)])
('add ', [(0, 5)])
('del ', [(6, 7)])
('del ', [(0, 5)])
('add ', [(2, 3)])
('add ', [(1, 4)])
('del ', [(2, 3)])
('del ', [(1, 4)])
('add ', [(6, 7)])
('add ', [(0, 5)])
('del ', [(6, 7)])
('del ', [(0, 5)])
('add ', [(2, 3)])
('add ', [(1, 4)])
('del ', [(2, 3)])
('del ', [(1, 4)])
('add ', [(6, 7)])
('add ', [(0, 5)])
('del ', [(6, 7)])
('del ', [(0, 5)])
('add ', [(2, 3)])
('add ', [(1, 4)])
('del ', [(2, 3)])
('del ', [(1, 4)])
('add ', [(6, 7)])
('add ', [(0, 5)])
('del ', [(6, 7)])
('del ', [(0, 5)])
('add ', [(2, 3)])
('add ', [(1, 4)])
('del ', [(2, 3)])
('del ', [(1, 4)])
('add ', [(6, 7)])
('add ', [(0, 5)])
('del ', [(6, 7)])
('del ', [(0, 5)])
('add ', [(2, 3)])
('add ', [(1, 4)])
('del ', [(2, 3)])
('del ', [(1, 4)])
('add ', [(6, 7)])
('add ', [(0, 5)])
('del ', [(6, 7)])
('del ', [(0, 5)])
('add ', [(2, 3)])
('add ', [(1, 4)])
('del ', [(2, 3)])
('del ', [(1, 4)])
('add ', [(6, 7)])
('add ', [(0, 5)])
('del ', [(6, 7)])
('del ', [(0, 5)])
('add ', [(2, 3)])
('add ', [(1, 4)])
('del ', [(2, 3)])
('del ', [(1, 4)])
('add ', [(6, 7)])
('add ', [(0, 5)])
('del ', [(6, 7)])
('del ', [(0, 5)])
('add ', [(2, 3)])
('add ', [(1, 4)])
('del ', [(2, 3)])
('del ', [(1, 4)])
('add ', [(6, 7)])
('add ', [(0, 5)])
('del ', [(6, 7)])
('del ', [(0, 5)])
('add ', [(2, 3)])
('add ', [(1, 4)])
('del ', [(2, 3)])
('del ', [(1, 4)])
('add ', [(6, 7)])
('add ', [(0, 5)])
('del ', [(6, 7)])
('del ', [(0, 5)])
('add ', [(2, 3)])
('add ', [(1, 4)])
('del ', [(2, 3)])
('del ', [(1, 4)])
('add ', [(6, 7)])
('add ', [(0, 5)])
('del ', [(6, 7)])
('del ', [(0, 5)])
('add ', [(2, 3)])
('add ', [(1, 4)])
('del ', [(2, 3)])
('del ', [(1, 4)])
('add ', [(6, 7)])
('add ', [(0, 5)])
('del ', [(6, 7)])
('del ', [(0, 5)])
('add ', [(2, 3)])
('add ', [(1, 4)])
('del ', [(2, 3)])
('del ', [(1, 4)])
('add ', [(6, 7)])
('add ', [(0, 5)])
('del ', [(6, 7)])
('del ', [(0, 5)])
('add ', [(2, 3)])
('add ', [(1, 4)])
('del ', [(2, 3)])
('del ', [(1, 4)])
('add ', [(6, 7)])
('add ', [(0, 5)])
('del ', [(6, 7)])
('del ', [(0, 5)])
('add ', [(2, 3)])
('add ', [(1, 4)])
('del ', [(2, 3)])
('del ', [(1, 4)])
('add ', [(6, 7)])
('add ', [(0, 5)])
('del ', [(6, 7)])
('del ', [(0, 5)])
('add ', [(2, 3)])
('add ', [(1, 4)])
('del ', [(2, 3)])
('del ', [(1, 4)])
('add ', [(6, 7)])
('add ', [(0, 5)])
('del ', [(6, 7)])
('del ', [(0, 5)])
('add ', [(2, 3)])
('add ', [(1, 4)])
('del ', [(2, 3)])
('del ', [(1, 4)])
('add ', [(6, 7)])
('add ', [(0, 5)])
('del ', [(6, 7)])
('del ', [(0, 5)])
('add ', [(2, 3)])
('add ', [(1, 4)])
('del ', [(2, 3)])
('del ', [(1, 4)])
('add ', [(6, 7)])
('add ', [(0, 5)])
('del ', [(6, 7)])
('del ', [(0, 5)])
('add ', [(2, 3)])
('add ', [(1, 4)])
('del ', [(2, 3)])
('del ', [(1, 4)])
('add ', [(6, 7)])
('add ', [(0, 5)])
('del ', [(6, 7)])
('del ', [(0, 5)])
('add ', [(2, 3)])
('add ', [(1, 4)])
('del ', [(2, 3)])
('del ', [(1, 4)])
('add ', [(6, 7)])
('add ', [(0, 5)])
('del ', [(6, 7)])
('del ', [(0, 5)])
('add ', [(2, 3)])
('add ', [(1, 4)])
('del ', [(2, 3)])
('del ', [(1, 4)])
('add ', [(6, 7)])
('add ', [(0, 5)])
('del ', [(6, 7)])
('del ', [(0, 5)])
('add ', [(2, 3)])
('add ', [(1, 4)])
('del ', [(2, 3)])
('del ', [(1, 4)])
('add ', [(6, 7)])
('add ', [(0, 5)])
('del ', [(6, 7)])
('del ', [(0, 5)])
('add ', [(2, 3)])
('add ', [(1, 4)])
('del ', [(2, 3)])
('del ', [(1, 4)])
('add ', [(6, 7)])
('add ', [(0, 5)])
('del ', [(6, 7)])
('del ', [(0, 5)])
('add ', [(2, 3)])
('add ', [(1, 4)])
('del ', [(2, 3)])
('del ', [(1, 4)])
('add ', [(6, 7)])
('add ', [(0, 5)])
('del ', [(6, 7)])
('del ', [(0, 5)])
('add ', [(2, 3)])
('add ', [(1, 4)])
('del ', [(2, 3)])
('del ', [(1, 4)])
('add ', [(6, 7)])
('add ', [(0, 5)])
('del ', [(6, 7)])
('del ', [(0, 5)])
('add ', [(2, 3)])
('add ', [(1, 4)])
('del ', [(2, 3)])
('del ', [(1, 4)])
('add ', [(6, 7)])
('add ', [(0, 5)])
('del ', [(6, 7)])
('del ', [(0, 5)])
('add ', [(2, 3)])
('add ', [(1, 4)])
('del ', [(2, 3)])
('del ', [(1, 4)])
('add ', [(6, 7)])
('add ', [(0, 5)])
('del ', [(6, 7)])
('del ', [(0, 5)])
('add ', [(2, 3)])
('add ', [(1, 4)])
('del ', [(2, 3)])
('del ', [(1, 4)])
('add ', [(6, 7)])
('add ', [(0, 5)])
('del ', [(6, 7)])
('del ', [(0, 5)])
('add ', [(2, 3)])
('add ', [(1, 4)])
('del ', [(2, 3)])
('del ', [(1, 4)])
('add ', [(6, 7)])
('add ', [(0, 5)])
('del ', [(6, 7)])
('del ', [(0, 5)])
('add ', [(2, 3)])
('add ', [(1, 4)])
('del ', [(2, 3)])
('del ', [(1, 4)])
('add ', [(6, 7)])
('add ', [(0, 5)])
('del ', [(6, 7)])
('del ', [(0, 5)])
('add ', [(2, 3)])
('add ', [(1, 4)])
('del ', [(2, 3)])
('del ', [(1, 4)])
('add ', [(6, 7)])
('add ', [(0, 5)])
('del ', [(6, 7)])
('del ', [(0, 5)])
('add ', [(2, 3)])
('add ', [(1, 4)])
('del ', [(2, 3)])
('del ', [(1, 4)])
('add ', [(6, 7)])
('add ', [(0, 5)])
('del ', [(6, 7)])
('del ', [(0, 5)])
('add ', [(2, 3)])
('add ', [(1, 4)])
('del ', [(2, 3)])
('del ', [(1, 4)])
('add ', [(6, 7)])
('add ', [(0, 5)])
('del ', [(6, 7)])
('del ', [(0, 5)])
('add ', [(2, 3)])
('add ', [(1, 4)])
('del ', [(2, 3)])
('del ', [(1, 4)])
('add ', [(6, 7)])
('add ', [(0, 5)])
('del ', [(6, 7)])
('del ', [(0, 5)])
('add ', [(2, 3)])
('add ', [(1, 4)])
('del ', [(2, 3)])
('del ', [(1, 4)])
('add ', [(6, 7)])
('add ', [(0, 5)])
('del ', [(6, 7)])
('del ', [(0, 5)])
('add ', [(2, 3)])
('add ', [(1, 4)])
('del ', [(2, 3)])
('del ', [(1, 4)])
('add ', [(6, 7)])
('add ', [(0, 5)])
('del ', [(6, 7)])
('del ', [(0, 5)])
('add ', [(2, 3)])
('add ', [(1, 4)])
('del ', [(2, 3)])
('del ', [(1, 4)])
('add ', [(6, 7)])
('add ', [(0, 5)])
('del ', [(6, 7)])
('del ', [(0, 5)])
('add ', [(2, 3)])
('add ', [(1, 4)])
('del ', [(2, 3)])
('del ', [(1, 4)])
('add ', [(6, 7)])
('add ', [(0, 5)])
('del ', [(6, 7)])
('del ', [(0, 5)])
('add ', [(2, 3)])
('add ', [(1, 4)])
('del ', [(2, 3)])
('del ', [(1, 4)])
('add ', [(6, 7)])
('add ', [(0, 5)])
('del ', [(6, 7)])
('del ', [(0, 5)])
('add ', [(2, 3)])
('add ', [(1, 4)])
('del ', [(2, 3)])
('del ', [(1, 4)])
('add ', [(6, 7)])
('add ', [(0, 5)])
('del ', [(6, 7)])
('del ', [(0, 5)])
('add ', [(2, 3)])
('add ', [(1, 4)])
('del ', [(2, 3)])
('del ', [(1, 4)])
('add ', [(6, 7)])
('add ', [(0, 5)])
('del ', [(6, 7)])
('del ', [(0, 5)])
('add ', [(2, 3)])
('add ', [(1, 4)])
('del ', [(2, 3)])
('del ', [(1, 4)])
('add ', [(6, 7)])
('add ', [(0, 5)])
('del ', [(6, 7)])
('del ', [(0, 5)])
('add ', [(2, 3)])
('add ', [(1, 4)])
('del ', [(2, 3)])
('del ', [(1, 4)])
('add ', [(6, 7)])
('add ', [(0, 5)])
('del ', [(6, 7)])
('del ', [(0, 5)])
('add ', [(2, 3)])
('add ', [(1, 4)])
('del ', [(2, 3)])
('del ', [(1, 4)])
('add ', [(6, 7)])
('add ', [(0, 5)])
('del ', [(6, 7)])
('del ', [(0, 5)])
('add ', [(2, 3)])
('add ', [(1, 4)])
('del ', [(2, 3)])
('del ', [(1, 4)])
('add ', [(6, 7)])
('add ', [(0, 5)])
('del ', [(6, 7)])
('del ', [(0, 5)])
('add ', [(2, 3)])
('add ', [(1, 4)])
('del ', [(2, 3)])
('del ', [(1, 4)])
('add ', [(6, 7)])
('add ', [(0, 5)])
('del ', [(6, 7)])
('del ', [(0, 5)])
('add ', [(2, 3)])
('add ', [(1, 4)])
('del ', [(2, 3)])
('del ', [(1, 4)])
('add ', [(6, 7)])
('add ', [(0, 5)])
('del ', [(6, 7)])
('del ', [(0, 5)])
('add ', [(2, 3)])
('add ', [(1, 4)])
('del ', [(2, 3)])
('del ', [(1, 4)])
('add ', [(6, 7)])
('add ', [(0, 5)])
('del ', [(6, 7)])
('del ', [(0, 5)])
('add ', [(2, 3)])
('add ', [(1, 4)])
('del ', [(2, 3)])
('del ', [(1, 4)])
('add ', [(6, 7)])
('add ', [(0, 5)])
('del ', [(6, 7)])
('del ', [(0, 5)])
('add ', [(2, 3)])
('add ', [(1, 4)])
('del ', [(2, 3)])
('del ', [(1, 4)])
('add ', [(6, 7)])
('add ', [(0, 5)])
('del ', [(6, 7)])
('del ', [(0, 5)])
('add ', [(2, 3)])
('add ', [(1, 4)])
('del ', [(2, 3)])
('del ', [(1, 4)])
('add ', [(6, 7)])
('add ', [(0, 5)])
('del ', [(6, 7)])
('del ', [(0, 5)])
('add ', [(2, 3)])
('add ', [(1, 4)])
('del ', [(2, 3)])
('del ', [(1, 4)])
('add ', [(6, 7)])
('add ', [(0, 5)])
('del ', [(6, 7)])
('del ', [(0, 5)])
('add ', [(2, 3)])
('add ', [(1, 4)])
('del ', [(2, 3)])
('del ', [(1, 4)])
('add ', [(6, 7)])
('add ', [(0, 5)])
('del ', [(6, 7)])
('del ', [(0, 5)])
('add ', [(2, 3)])
('add ', [(1, 4)])
('del ', [(2, 3)])
('del ', [(1, 4)])
('add ', [(6, 7)])
('add ', [(0, 5)])
('del ', [(6, 7)])
('del ', [(0, 5)])
('add ', [(2, 3)])
('add ', [(1, 4)])
('del ', [(2, 3)])
('del ', [(1, 4)])
('add ', [(6, 7)])
('add ', [(0, 5)])
('del ', [(6, 7)])
('del ', [(0, 5)])
('add ', [(2, 3)])
('add ', [(1, 4)])
('del ', [(2, 3)])
('del ', [(1, 4)])
('add ', [(6, 7)])
('add ', [(0, 5)])
('del ', [(6, 7)])
('del ', [(0, 5)])
('add ', [(2, 3)])
('add ', [(1, 4)])
('del ', [(2, 3)])
('del ', [(1, 4)])
('add ', [(6, 7)])
('add ', [(0, 5)])
('del ', [(6, 7)])
('del ', [(0, 5)])
('add ', [(2, 3)])
('add ', [(1, 4)])
('del ', [(2, 3)])
('del ', [(1, 4)])
('add ', [(6, 7)])
('add ', [(0, 5)])
('del ', [(6, 7)])
('del ', [(0, 5)])
('add ', [(2, 3)])
('add ', [(1, 4)])
('del ', [(2, 3)])
('del ', [(1, 4)])
('add ', [(6, 7)])
('add ', [(0, 5)])
('del ', [(6, 7)])
('del ', [(0, 5)])
('add ', [(2, 3)])
('add ', [(1, 4)])
('del ', [(2, 3)])
('del ', [(1, 4)])
('add ', [(6, 7)])
('add ', [(0, 5)])
('del ', [(6, 7)])
('del ', [(0, 5)])
('add ', [(2, 3)])
('add ', [(1, 4)])
('del ', [(2, 3)])
('del ', [(1, 4)])
('add ', [(6, 7)])
('add ', [(0, 5)])
('del ', [(6, 7)])
('del ', [(0, 5)])
('add ', [(2, 3)])
('add ', [(1, 4)])
('del ', [(2, 3)])
('del ', [(1, 4)])
('add ', [(6, 7)])
('add ', [(0, 5)])
('del ', [(6, 7)])
('del ', [(0, 5)])
('add ', [(2, 3)])
('add ', [(1, 4)])
('del ', [(2, 3)])
('del ', [(1, 4)])
('add ', [(6, 7)])
('add ', [(0, 5)])
('del ', [(6, 7)])
('del ', [(0, 5)])
('add ', [(2, 3)])
('add ', [(1, 4)])
('del ', [(2, 3)])
('del ', [(1, 4)])
('add ', [(6, 7)])
('add ', [(0, 5)])
('del ', [(6, 7)])
('del ', [(0, 5)])
('add ', [(2, 3)])
('add ', [(1, 4)])
('del ', [(2, 3)])
('del ', [(1, 4)])
('add ', [(6, 7)])
('add ', [(0, 5)])
('del ', [(6, 7)])
('del ', [(0, 5)])
('add ', [(2, 3)])
('add ', [(1, 4)])
('del ', [(2, 3)])
('del ', [(1, 4)])
('add ', [(6, 7)])
('add ', [(0, 5)])
('del ', [(6, 7)])
('del ', [(0, 5)])
('add ', [(2, 3)])
('add ', [(1, 4)])
('del ', [(2, 3)])
('del ', [(1, 4)])
('add ', [(6, 7)])
('add ', [(0, 5)])
('del ', [(6, 7)])
('del ', [(0, 5)])
('add ', [(2, 3)])
('add ', [(1, 4)])
('del ', [(2, 3)])
('del ', [(1, 4)])
('add ', [(6, 7)])
('add ', [(0, 5)])
('del ', [(6, 7)])
('del ', [(0, 5)])
('add ', [(2, 3)])
('add ', [(1, 4)])
('del ', [(2, 3)])
('del ', [(1, 4)])
('add ', [(6, 7)])
('add ', [(0, 5)])
('del ', [(6, 7)])
('del ', [(0, 5)])
('add ', [(2, 3)])
('add ', [(1, 4)])
('del ', [(2, 3)])
('del ', [(1, 4)])
('add ', [(6, 7)])
('add ', [(0, 5)])
('del ', [(6, 7)])
('del ', [(0, 5)])
('add ', [(2, 3)])
('add ', [(1, 4)])
('del ', [(2, 3)])
('del ', [(1, 4)])
('add ', [(6, 7)])
('add ', [(0, 5)])
('del ', [(6, 7)])
('del ', [(0, 5)])
('add ', [(2, 3)])
('add ', [(1, 4)])
('del ', [(2, 3)])
('del ', [(1, 4)])
('add ', [(6, 7)])
('add ', [(0, 5)])
('del ', [(6, 7)])
('del ', [(0, 5)])
('add ', [(2, 3)])
('add ', [(1, 4)])
('del ', [(2, 3)])
('del ', [(1, 4)])
('add ', [(6, 7)])
('add ', [(0, 5)])
('del ', [(6, 7)])
('del ', [(0, 5)])
('add ', [(2, 3)])
('add ', [(1, 4)])
('del ', [(2, 3)])
('del ', [(1, 4)])
('add ', [(6, 7)])
('add ', [(0, 5)])
('del ', [(6, 7)])
('del ', [(0, 5)])
('add ', [(2, 3)])
('add ', [(1, 4)])
('del ', [(2, 3)])
('del ', [(1, 4)])
('add ', [(6, 7)])
('add ', [(0, 5)])
('del ', [(6, 7)])
('del ', [(0, 5)])
('add ', [(2, 3)])
('add ', [(1, 4)])
('del ', [(2, 3)])
('del ', [(1, 4)])
('add ', [(6, 7)])
('add ', [(0, 5)])
('del ', [(6, 7)])
('del ', [(0, 5)])
('add ', [(2, 3)])
('add ', [(1, 4)])
('del ', [(2, 3)])
('del ', [(1, 4)])
('add ', [(6, 7)])
('add ', [(0, 5)])
('del ', [(6, 7)])
('del ', [(0, 5)])
('add ', [(2, 3)])
('add ', [(1, 4)])
('del ', [(2, 3)])
('del ', [(1, 4)])
('add ', [(6, 7)])
('add ', [(0, 5)])
('del ', [(6, 7)])
('del ', [(0, 5)])
('add ', [(2, 3)])
('add ', [(1, 4)])
('del ', [(2, 3)])
('del ', [(1, 4)])
('add ', [(6, 7)])
('add ', [(0, 5)])
('del ', [(6, 7)])
('del ', [(0, 5)])
('add ', [(2, 3)])
('add ', [(1, 4)])
('del ', [(2, 3)])
('del ', [(1, 4)])
('add ', [(6, 7)])
('add ', [(0, 5)])
('del ', [(6, 7)])
('del ', [(0, 5)])
('add ', [(2, 3)])
('add ', [(1, 4)])
('del ', [(2, 3)])
('del ', [(1, 4)])
('add ', [(6, 7)])
('add ', [(0, 5)])
('del ', [(6, 7)])
('del ', [(0, 5)])
('add ', [(2, 3)])
('add ', [(1, 4)])
('del ', [(2, 3)])
('del ', [(1, 4)])
('add ', [(6, 7)])
('add ', [(0, 5)])
('del ', [(6, 7)])
('del ', [(0, 5)])
('add ', [(2, 3)])
('add ', [(1, 4)])
('del ', [(2, 3)])
('del ', [(1, 4)])
('add ', [(6, 7)])
('add ', [(0, 5)])
('del ', [(6, 7)])
('del ', [(0, 5)])
('add ', [(2, 3)])
('add ', [(1, 4)])
('del ', [(2, 3)])
('del ', [(1, 4)])
('add ', [(6, 7)])
('add ', [(0, 5)])
('del ', [(6, 7)])
('del ', [(0, 5)])
('add ', [(2, 3)])
('add ', [(1, 4)])
('del ', [(2, 3)])
('del ', [(1, 4)])
('add ', [(6, 7)])
('add ', [(0, 5)])
('del ', [(6, 7)])
('del ', [(0, 5)])
('add ', [(2, 3)])
('add ', [(1, 4)])
('del ', [(2, 3)])
('del ', [(1, 4)])
('add ', [(6, 7)])
('add ', [(0, 5)])
('del ', [(6, 7)])
('del ', [(0, 5)])
('add ', [(2, 3)])
('add ', [(1, 4)])
('del ', [(2, 3)])
('del ', [(1, 4)])
('add ', [(6, 7)])
('add ', [(0, 5)])
('del ', [(6, 7)])
('del ', [(0, 5)])
('add ', [(2, 3)])
('add ', [(1, 4)])
('del ', [(2, 3)])
('del ', [(1, 4)])
('add ', [(6, 7)])
('add ', [(0, 5)])
('del ', [(6, 7)])
('del ', [(0, 5)])
('add ', [(2, 3)])
('add ', [(1, 4)])
('del ', [(2, 3)])
('del ', [(1, 4)])
('add ', [(6, 7)])
('add ', [(0, 5)])
('del ', [(6, 7)])
('del ', [(0, 5)])
('add ', [(2, 3)])
('add ', [(1, 4)])
('del ', [(2, 3)])
('del ', [(1, 4)])
('add ', [(6, 7)])
('add ', [(0, 5)])
('del ', [(6, 7)])
('del ', [(0, 5)])
('add ', [(2, 3)])
('add ', [(1, 4)])
('del ', [(2, 3)])
('del ', [(1, 4)])
('add ', [(6, 7)])
('add ', [(0, 5)])
('del ', [(6, 7)])
('del ', [(0, 5)])
('add ', [(2, 3)])
('add ', [(1, 4)])
('del ', [(2, 3)])
('del ', [(1, 4)])
('add ', [(6, 7)])
('add ', [(0, 5)])
('del ', [(6, 7)])
('del ', [(0, 5)])
('add ', [(2, 3)])
('add ', [(1, 4)])
('del ', [(2, 3)])
('del ', [(1, 4)])
('add ', [(6, 7)])
('add ', [(0, 5)])
('del ', [(6, 7)])
('del ', [(0, 5)])
('add ', [(2, 3)])
('add ', [(1, 4)])
('del ', [(2, 3)])
('del ', [(1, 4)])
('add ', [(6, 7)])
('add ', [(0, 5)])
('del ', [(6, 7)])
('del ', [(0, 5)])
('add ', [(2, 3)])
('add ', [(1, 4)])
('del ', [(2, 3)])
('del ', [(1, 4)])
('add ', [(6, 7)])
('add ', [(0, 5)])
('del ', [(6, 7)])
('del ', [(0, 5)])
('add ', [(2, 3)])
('add ', [(1, 4)])
('del ', [(2, 3)])
('del ', [(1, 4)])
('add ', [(6, 7)])
('add ', [(0, 5)])
('del ', [(6, 7)])
('del ', [(0, 5)])
('add ', [(2, 3)])
('add ', [(1, 4)])
('del ', [(2, 3)])
('del ', [(1, 4)])
('add ', [(6, 7)])
('add ', [(0, 5)])
('del ', [(6, 7)])
('del ', [(0, 5)])
('add ', [(2, 3)])
('add ', [(1, 4)])
('del ', [(2, 3)])
('del ', [(1, 4)])
('add ', [(6, 7)])
('add ', [(0, 5)])
('del ', [(6, 7)])
('del ', [(0, 5)])
('add ', [(2, 3)])
('add ', [(1, 4)])
('del ', [(2, 3)])
('del ', [(1, 4)])
('add ', [(6, 7)])
('add ', [(0, 5)])
('del ', [(6, 7)])
('del ', [(0, 5)])
('add ', [(2, 3)])
('add ', [(1, 4)])
('del ', [(2, 3)])
('del ', [(1, 4)])
('add ', [(6, 7)])
('add ', [(0, 5)])
('del ', [(6, 7)])
('del ', [(0, 5)])
('add ', [(2, 3)])
('add ', [(1, 4)])
('del ', [(2, 3)])
('del ', [(1, 4)])
('add ', [(6, 7)])
('add ', [(0, 5)])
('del ', [(6, 7)])
('del ', [(0, 5)])
('add ', [(2, 3)])
('add ', [(1, 4)])
('del ', [(2, 3)])
('del ', [(1, 4)])
('add ', [(6, 7)])
('add ', [(0, 5)])
('del ', [(6, 7)])
('del ', [(0, 5)])
('add ', [(2, 3)])
('add ', [(1, 4)])
('del ', [(2, 3)])
('del ', [(1, 4)])
('add ', [(6, 7)])
('add ', [(0, 5)])
('del ', [(6, 7)])
('del ', [(0, 5)])
('add ', [(2, 3)])
('add ', [(1, 4)])
('del ', [(2, 3)])
('del ', [(1, 4)])
('add ', [(6, 7)])
('add ', [(0, 5)])
('del ', [(6, 7)])
('del ', [(0, 5)])
('add ', [(2, 3)])
('add ', [(1, 4)])
('del ', [(2, 3)])
('del ', [(1, 4)])
('add ', [(6, 7)])
('add ', [(0, 5)])
('del ', [(6, 7)])
('del ', [(0, 5)])
('add ', [(2, 3)])
('add ', [(1, 4)])
('del ', [(2, 3)])
('del ', [(1, 4)])
('add ', [(6, 7)])
('add ', [(0, 5)])
('del ', [(6, 7)])
('del ', [(0, 5)])
('add ', [(2, 3)])
('add ', [(1, 4)])
('del ', [(2, 3)])
('del ', [(1, 4)])
('add ', [(6, 7)])
('add ', [(0, 5)])
('del ', [(6, 7)])
('del ', [(0, 5)])
('add ', [(2, 3)])
('add ', [(1, 4)])
('del ', [(2, 3)])
('del ', [(1, 4)])
('add ', [(6, 7)])
('add ', [(0, 5)])
('del ', [(6, 7)])
('del ', [(0, 5)])
('add ', [(2, 3)])
('add ', [(1, 4)])
('del ', [(2, 3)])
('del ', [(1, 4)])
('add ', [(6, 7)])
('add ', [(0, 5)])
('del ', [(6, 7)])
('del ', [(0, 5)])
('add ', [(2, 3)])
('add ', [(1, 4)])
('del ', [(2, 3)])
('del ', [(1, 4)])
('add ', [(6, 7)])
('add ', [(0, 5)])
('del ', [(6, 7)])
('del ', [(0, 5)])
('add ', [(2, 3)])
('add ', [(1, 4)])
('del ', [(2, 3)])
('del ', [(1, 4)])
('add ', [(6, 7)])
('add ', [(0, 5)])
('del ', [(6, 7)])
('del ', [(0, 5)])
('add ', [(2, 3)])
('add ', [(1, 4)])
('del ', [(2, 3)])
('del ', [(1, 4)])
('add ', [(6, 7)])
('add ', [(0, 5)])
('del ', [(6, 7)])
('del ', [(0, 5)])
('add ', [(2, 3)])
('add ', [(1, 4)])
('del ', [(2, 3)])
('del ', [(1, 4)])
('add ', [(6, 7)])
('add ', [(0, 5)])
('del ', [(6, 7)])
('del ', [(0, 5)])
('add ', [(2, 3)])
('add ', [(1, 4)])
('del ', [(2, 3)])
('del ', [(1, 4)])
('add ', [(6, 7)])
('add ', [(0, 5)])
('del ', [(6, 7)])
('del ', [(0, 5)])
('add ', [(2, 3)])
('add ', [(1, 4)])
('del ', [(2, 3)])
('del ', [(1, 4)])
('add ', [(6, 7)])
('add ', [(0, 5)])
('del ', [(6, 7)])
('del ', [(0, 5)])
('add ', [(2, 3)])
('add ', [(1, 4)])
('del ', [(2, 3)])
('del ', [(1, 4)])
('add ', [(6, 7)])
('add ', [(0, 5)])
('del ', [(6, 7)])
('del ', [(0, 5)])
('add ', [(2, 3)])
('add ', [(1, 4)])
('del ', [(2, 3)])
('del ', [(1, 4)])
('add ', [(6, 7)])
('add ', [(0, 5)])
('del ', [(6, 7)])
('del ', [(0, 5)])
('add ', [(2, 3)])
('add ', [(1, 4)])
('del ', [(2, 3)])
('del ', [(1, 4)])
('add ', [(6, 7)])
('add ', [(0, 5)])
('del ', [(6, 7)])
('del ', [(0, 5)])
('add ', [(2, 3)])
('add ', [(1, 4)])
('del ', [(2, 3)])
('del ', [(1, 4)])
('add ', [(6, 7)])
('add ', [(0, 5)])
('del ', [(6, 7)])
('del ', [(0, 5)])
('add ', [(2, 3)])
('add ', [(1, 4)])
('del ', [(2, 3)])
('del ', [(1, 4)])
('add ', [(6, 7)])
('add ', [(0, 5)])
('del ', [(6, 7)])
('del ', [(0, 5)])
('add ', [(2, 3)])
('add ', [(1, 4)])
('del ', [(2, 3)])
('del ', [(1, 4)])
('add ', [(6, 7)])
('add ', [(0, 5)])
('del ', [(6, 7)])
('del ', [(0, 5)])
('add ', [(2, 3)])
('add ', [(1, 4)])
('del ', [(2, 3)])
('del ', [(1, 4)])
('add ', [(6, 7)])
('add ', [(0, 5)])
('del ', [(6, 7)])
('del ', [(0, 5)])
('add ', [(2, 3)])
('add ', [(1, 4)])
('del ', [(2, 3)])
('del ', [(1, 4)])
('add ', [(6, 7)])
('add ', [(0, 5)])
('del ', [(6, 7)])
('del ', [(0, 5)])
('add ', [(2, 3)])
('add ', [(1, 4)])
('del ', [(2, 3)])
('del ', [(1, 4)])
('add ', [(6, 7)])
('add ', [(0, 5)])
('del ', [(6, 7)])
('del ', [(0, 5)])
('add ', [(2, 3)])
('add ', [(1, 4)])
('del ', [(2, 3)])
('del ', [(1, 4)])
('add ', [(6, 7)])
('add ', [(0, 5)])
('del ', [(6, 7)])
('del ', [(0, 5)])
('add ', [(2, 3)])
('add ', [(1, 4)])
('del ', [(2, 3)])
('del ', [(1, 4)])
('add ', [(6, 7)])
('add ', [(0, 5)])
('del ', [(6, 7)])
('del ', [(0, 5)])
('add ', [(2, 3)])
('add ', [(1, 4)])
('del ', [(2, 3)])
('del ', [(1, 4)])
('add ', [(6, 7)])
('add ', [(0, 5)])
('del ', [(6, 7)])
('del ', [(0, 5)])
('add ', [(2, 3)])
('add ', [(1, 4)])
('del ', [(2, 3)])
('del ', [(1, 4)])
('add ', [(6, 7)])
('add ', [(0, 5)])
('del ', [(6, 7)])
('del ', [(0, 5)])
('add ', [(2, 3)])
('add ', [(1, 4)])
('del ', [(2, 3)])
('del ', [(1, 4)])
('add ', [(6, 7)])
('add ', [(0, 5)])
('del ', [(6, 7)])
('del ', [(0, 5)])
('add ', [(2, 3)])
('add ', [(1, 4)])
('del ', [(2, 3)])
('del ', [(1, 4)])
('add ', [(6, 7)])
('add ', [(0, 5)])
('del ', [(6, 7)])
('del ', [(0, 5)])
('add ', [(2, 3)])
('add ', [(1, 4)])
('del ', [(2, 3)])
('del ', [(1, 4)])
('add ', [(6, 7)])
('add ', [(0, 5)])
('del ', [(6, 7)])
('del ', [(0, 5)])
('add ', [(2, 3)])
('add ', [(1, 4)])
('del ', [(2, 3)])
('del ', [(1, 4)])
('add ', [(6, 7)])
('add ', [(0, 5)])
('del ', [(6, 7)])
('del ', [(0, 5)])
('add ', [(2, 3)])
('add ', [(1, 4)])
('del ', [(2, 3)])
('del ', [(1, 4)])
('add ', [(6, 7)])
('add ', [(0, 5)])
('del ', [(6, 7)])
('del ', [(0, 5)])
('add ', [(2, 3)])
('add ', [(1, 4)])
('del ', [(2, 3)])
('del ', [(1, 4)])
('add ', [(6, 7)])
('add ', [(0, 5)])
('del ', [(6, 7)])
('del ', [(0, 5)])
('add ', [(2, 3)])
('add ', [(1, 4)])
('del ', [(2, 3)])
('del ', [(1, 4)])
('add ', [(6, 7)])
('add ', [(0, 5)])
('del ', [(6, 7)])
('del ', [(0, 5)])
('add ', [(2, 3)])
('add ', [(1, 4)])
('del ', [(2, 3)])
('del ', [(1, 4)])
('add ', [(6, 7)])
('add ', [(0, 5)])
('del ', [(6, 7)])
('del ', [(0, 5)])
('add ', [(2, 3)])
('add ', [(1, 4)])
('del ', [(2, 3)])
('del ', [(1, 4)])
('add ', [(6, 7)])
('add ', [(0, 5)])
('del ', [(6, 7)])
('del ', [(0, 5)])
('add ', [(2, 3)])
('add ', [(1, 4)])
('del ', [(2, 3)])
('del ', [(1, 4)])
('add ', [(6, 7)])
('add ', [(0, 5)])
('del ', [(6, 7)])
('del ', [(0, 5)])
('add ', [(2, 3)])
('add ', [(1, 4)])
('del ', [(2, 3)])
('del ', [(1, 4)])
('add ', [(6, 7)])
('add ', [(0, 5)])
('del ', [(6, 7)])
('del ', [(0, 5)])
('add ', [(2, 3)])
('add ', [(1, 4)])
('del ', [(2, 3)])
('del ', [(1, 4)])
('add ', [(6, 7)])
('add ', [(0, 5)])
('del ', [(6, 7)])
('del ', [(0, 5)])
('add ', [(2, 3)])
('add ', [(1, 4)])
('del ', [(2, 3)])
('del ', [(1, 4)])
('add ', [(6, 7)])
('add ', [(0, 5)])
('del ', [(6, 7)])
('del ', [(0, 5)])
('add ', [(2, 3)])
('add ', [(1, 4)])
('del ', [(2, 3)])
('del ', [(1, 4)])
('add ', [(6, 7)])
('add ', [(0, 5)])
('del ', [(6, 7)])
('del ', [(0, 5)])
('add ', [(2, 3)])
('add ', [(1, 4)])
('del ', [(2, 3)])
('del ', [(1, 4)])
('add ', [(6, 7)])
('add ', [(0, 5)])
('del ', [(6, 7)])
('del ', [(0, 5)])
('add ', [(2, 3)])
('add ', [(1, 4)])
('del ', [(2, 3)])
('del ', [(1, 4)])
('add ', [(6, 7)])
('add ', [(0, 5)])
('del ', [(6, 7)])
('del ', [(0, 5)])
('add ', [(2, 3)])
('add ', [(1, 4)])
('del ', [(2, 3)])
('del ', [(1, 4)])
('add ', [(6, 7)])
('add ', [(0, 5)])
('del ', [(6, 7)])
('del ', [(0, 5)])
('add ', [(2, 3)])
('add ', [(1, 4)])
('del ', [(2, 3)])
('del ', [(1, 4)])
('add ', [(6, 7)])
('add ', [(0, 5)])
('del ', [(6, 7)])
('del ', [(0, 5)])
('add ', [(2, 3)])
('add ', [(1, 4)])
('del ', [(2, 3)])
('del ', [(1, 4)])
('add ', [(6, 7)])
('add ', [(0, 5)])
('del ', [(6, 7)])
('del ', [(0, 5)])
('add ', [(2, 3)])
('add ', [(1, 4)])
('del ', [(2, 3)])
('del ', [(1, 4)])
('add ', [(6, 7)])
('add ', [(0, 5)])
('del ', [(6, 7)])
('del ', [(0, 5)])
('add ', [(2, 3)])
('add ', [(1, 4)])
('del ', [(2, 3)])
('del ', [(1, 4)])
('add ', [(6, 7)])
('add ', [(0, 5)])
('del ', [(6, 7)])
('del ', [(0, 5)])
('add ', [(2, 3)])
('add ', [(1, 4)])
('del ', [(2, 3)])
('del ', [(1, 4)])
('add ', [(6, 7)])
('add ', [(0, 5)])
('del ', [(6, 7)])
('del ', [(0, 5)])
('add ', [(2, 3)])
('add ', [(1, 4)])
('del ', [(2, 3)])
('del ', [(1, 4)])
('add ', [(6, 7)])
('add ', [(0, 5)])
('del ', [(6, 7)])
('del ', [(0, 5)])
('add ', [(2, 3)])
('add ', [(1, 4)])
('del ', [(2, 3)])
('del ', [(1, 4)])
('add ', [(6, 7)])
('add ', [(0, 5)])
('del ', [(6, 7)])
('del ', [(0, 5)])
('add ', [(2, 3)])
('add ', [(1, 4)])
('del ', [(2, 3)])
('del ', [(1, 4)])
('add ', [(6, 7)])
('add ', [(0, 5)])
('del ', [(6, 7)])
('del ', [(0, 5)])
('add ', [(2, 3)])
('add ', [(1, 4)])
('del ', [(2, 3)])
('del ', [(1, 4)])
('add ', [(6, 7)])
('add ', [(0, 5)])
('del ', [(6, 7)])
('del ', [(0, 5)])
('add ', [(2, 3)])
('add ', [(1, 4)])
('del ', [(2, 3)])
('del ', [(1, 4)])
('add ', [(6, 7)])
('add ', [(0, 5)])
('del ', [(6, 7)])
('del ', [(0, 5)])
('add ', [(2, 3)])
('add ', [(1, 4)])
('del ', [(2, 3)])
('del ', [(1, 4)])
('add ', [(6, 7)])
('add ', [(0, 5)])
('del ', [(6, 7)])
('del ', [(0, 5)])
('add ', [(2, 3)])
('add ', [(1, 4)])
('del ', [(2, 3)])
('del ', [(1, 4)])
('add ', [(6, 7)])
('add ', [(0, 5)])
('del ', [(6, 7)])
('del ', [(0, 5)])
('add ', [(2, 3)])
('add ', [(1, 4)])
('del ', [(2, 3)])
('del ', [(1, 4)])
('add ', [(6, 7)])
('add ', [(0, 5)])
('del ', [(6, 7)])
('del ', [(0, 5)])
('add ', [(2, 3)])
('add ', [(1, 4)])
('del ', [(2, 3)])
('del ', [(1, 4)])
('add ', [(6, 7)])
('add ', [(0, 5)])
('del ', [(6, 7)])
('del ', [(0, 5)])
('add ', [(2, 3)])
('add ', [(1, 4)])
('del ', [(2, 3)])
('del ', [(1, 4)])
('add ', [(6, 7)])
('add ', [(0, 5)])
('del ', [(6, 7)])
('del ', [(0, 5)])
('add ', [(2, 3)])
('add ', [(1, 4)])
('del ', [(2, 3)])
('del ', [(1, 4)])
('add ', [(6, 7)])
('add ', [(0, 5)])
('del ', [(6, 7)])
('del ', [(0, 5)])
('add ', [(2, 3)])
('add ', [(1, 4)])
('del ', [(2, 3)])
('del ', [(1, 4)])
('add ', [(6, 7)])
('add ', [(0, 5)])
('del ', [(6, 7)])
('del ', [(0, 5)])
('add ', [(2, 3)])
('add ', [(1, 4)])
('del ', [(2, 3)])
('del ', [(1, 4)])
('add ', [(6, 7)])
('add ', [(0, 5)])
('del ', [(6, 7)])
('del ', [(0, 5)])
('add ', [(2, 3)])
('add ', [(1, 4)])
('del ', [(2, 3)])
('del ', [(1, 4)])
('add ', [(6, 7)])
('add ', [(0, 5)])
('del ', [(6, 7)])
('del ', [(0, 5)])
('add ', [(2, 3)])
('add ', [(1, 4)])
('del ', [(2, 3)])
('del ', [(1, 4)])
('add ', [(6, 7)])
('add ', [(0, 5)])
('del ', [(6, 7)])
('del ', [(0, 5)])
('add ', [(2, 3)])
('add ', [(1, 4)])
('del ', [(2, 3)])
('del ', [(1, 4)])
('add ', [(6, 7)])
('add ', [(0, 5)])
('del ', [(6, 7)])
('del ', [(0, 5)])
('add ', [(2, 3)])
('add ', [(1, 4)])
('del ', [(2, 3)])
('del ', [(1, 4)])
('add ', [(6, 7)])
('add ', [(0, 5)])
('del ', [(6, 7)])
('del ', [(0, 5)])
('add ', [(2, 3)])
('add ', [(1, 4)])
('del ', [(2, 3)])
('del ', [(1, 4)])
('add ', [(6, 7)])
('add ', [(0, 5)])
('del ', [(6, 7)])
('del ', [(0, 5)])
('add ', [(2, 3)])
('add ', [(1, 4)])
('del ', [(2, 3)])
('del ', [(1, 4)])
('add ', [(6, 7)])
('add ', [(0, 5)])
('del ', [(6, 7)])
('del ', [(0, 5)])
('add ', [(2, 3)])
('add ', [(1, 4)])
('del ', [(2, 3)])
('del ', [(1, 4)])
('add ', [(6, 7)])
('add ', [(0, 5)])
('del ', [(6, 7)])
('del ', [(0, 5)])
('add ', [(2, 3)])
('add ', [(1, 4)])
('del ', [(2, 3)])
('del ', [(1, 4)])
('add ', [(6, 7)])
('add ', [(0, 5)])
('del ', [(6, 7)])
('del ', [(0, 5)])
('add ', [(2, 3)])
('add ', [(1, 4)])
('del ', [(2, 3)])
('del ', [(1, 4)])
('add ', [(6, 7)])
('add ', [(0, 5)])
('del ', [(6, 7)])
('del ', [(0, 5)])
('add ', [(2, 3)])
('add ', [(1, 4)])
('del ', [(2, 3)])
('del ', [(1, 4)])
('add ', [(6, 7)])
('add ', [(0, 5)])
('del ', [(6, 7)])
('del ', [(0, 5)])
('add ', [(2, 3)])
('add ', [(1, 4)])
('del ', [(2, 3)])
('del ', [(1, 4)])
('add ', [(6, 7)])
('add ', [(0, 5)])
('del ', [(6, 7)])
('del ', [(0, 5)])
('add ', [(2, 3)])
('add ', [(1, 4)])
('del ', [(2, 3)])
('del ', [(1, 4)])
('add ', [(6, 7)])
('add ', [(0, 5)])
('del ', [(6, 7)])
('del ', [(0, 5)])
('add ', [(2, 3)])
('add ', [(1, 4)])
('del ', [(2, 3)])
('del ', [(1, 4)])
('add ', [(6, 7)])
('add ', [(0, 5)])
('del ', [(6, 7)])
('del ', [(0, 5)])
('add ', [(2, 3)])
('add ', [(1, 4)])
('del ', [(2, 3)])
('del ', [(1, 4)])
('add ', [(6, 7)])
('add ', [(0, 5)])
('del ', [(6, 7)])
('del ', [(0, 5)])
('add ', [(2, 3)])
('add ', [(1, 4)])
('del ', [(2, 3)])
('del ', [(1, 4)])
('add ', [(6, 7)])
('add ', [(0, 5)])
('del ', [(6, 7)])
('del ', [(0, 5)])
('add ', [(2, 3)])
('add ', [(1, 4)])
('del ', [(2, 3)])
('del ', [(1, 4)])
('add ', [(6, 7)])
('add ', [(0, 5)])
('del ', [(6, 7)])
('del ', [(0, 5)])
('add ', [(2, 3)])
('add ', [(1, 4)])
('del ', [(2, 3)])
('del ', [(1, 4)])
('add ', [(6, 7)])
('add ', [(0, 5)])
('del ', [(6, 7)])
('del ', [(0, 5)])
('add ', [(2, 3)])
('add ', [(1, 4)])
('del ', [(2, 3)])
('del ', [(1, 4)])
('add ', [(6, 7)])
('add ', [(0, 5)])
('del ', [(6, 7)])
('del ', [(0, 5)])
('add ', [(2, 3)])
('add ', [(1, 4)])
('del ', [(2, 3)])
('del ', [(1, 4)])
('add ', [(6, 7)])
('add ', [(0, 5)])
('del ', [(6, 7)])
('del ', [(0, 5)])
('add ', [(2, 3)])
('add ', [(1, 4)])
('del ', [(2, 3)])
('del ', [(1, 4)])
('add ', [(6, 7)])
('add ', [(0, 5)])
('del ', [(6, 7)])
('del ', [(0, 5)])
('add ', [(2, 3)])
('add ', [(1, 4)])
('del ', [(2, 3)])
('del ', [(1, 4)])
('add ', [(6, 7)])
('add ', [(0, 5)])
('del ', [(6, 7)])
('del ', [(0, 5)])
('add ', [(2, 3)])
('add ', [(1, 4)])
('del ', [(2, 3)])
('del ', [(1, 4)])
('add ', [(6, 7)])
('add ', [(0, 5)])
('del ', [(6, 7)])
('del ', [(0, 5)])
('add ', [(2, 3)])
('add ', [(1, 4)])
('del ', [(2, 3)])
('del ', [(1, 4)])
('add ', [(6, 7)])
('add ', [(0, 5)])
('del ', [(6, 7)])
('del ', [(0, 5)])
('add ', [(2, 3)])
('add ', [(1, 4)])
('del ', [(2, 3)])
('del ', [(1, 4)])
('add ', [(6, 7)])
('add ', [(0, 5)])
('del ', [(6, 7)])
('del ', [(0, 5)])
('add ', [(2, 3)])
('add ', [(1, 4)])
('del ', [(2, 3)])
('del ', [(1, 4)])
('add ', [(6, 7)])
('add ', [(0, 5)])
('del ', [(6, 7)])
('del ', [(0, 5)])
('add ', [(2, 3)])
('add ', [(1, 4)])
('del ', [(2, 3)])
('del ', [(1, 4)])
('add ', [(6, 7)])
('add ', [(0, 5)])
('del ', [(6, 7)])
('del ', [(0, 5)])
('add ', [(2, 3)])
('add ', [(1, 4)])
('del ', [(2, 3)])
('del ', [(1, 4)])
('add ', [(6, 7)])
('add ', [(0, 5)])
('del ', [(6, 7)])
('del ', [(0, 5)])
('add ', [(2, 3)])
('add ', [(1, 4)])
('del ', [(2, 3)])
('del ', [(1, 4)])
('add ', [(6, 7)])
('add ', [(0, 5)])
('del ', [(6, 7)])
('del ', [(0, 5)])
('add ', [(2, 3)])
('add ', [(1, 4)])
('del ', [(2, 3)])
('del ', [(1, 4)])
('add ', [(6, 7)])
('add ', [(0, 5)])
('del ', [(6, 7)])
('del ', [(0, 5)])
('add ', [(2, 3)])
('add ', [(1, 4)])
('del ', [(2, 3)])
('del ', [(1, 4)])
('add ', [(6, 7)])
('add ', [(0, 5)])
('del ', [(6, 7)])
('del ', [(0, 5)])
('add ', [(2, 3)])
('add ', [(1, 4)])
('del ', [(2, 3)])
('del ', [(1, 4)])
('add ', [(6, 7)])
('add ', [(0, 5)])
('del ', [(6, 7)])
('del ', [(0, 5)])
('add ', [(2, 3)])
('add ', [(1, 4)])
('del ', [(2, 3)])
('del ', [(1, 4)])
('add ', [(6, 7)])
('add ', [(0, 5)])
('del ', [(6, 7)])
('del ', [(0, 5)])
('add ', [(2, 3)])
('add ', [(1, 4)])
('del ', [(2, 3)])
('del ', [(1, 4)])
('add ', [(6, 7)])
('add ', [(0, 5)])
('del ', [(6, 7)])
('del ', [(0, 5)])
('add ', [(2, 3)])
('add ', [(1, 4)])
('del ', [(2, 3)])
('del ', [(1, 4)])
('add ', [(6, 7)])
('add ', [(0, 5)])
('del ', [(6, 7)])
('del ', [(0, 5)])
('add ', [(2, 3)])
('add ', [(1, 4)])
('del ', [(2, 3)])
('del ', [(1, 4)])
('add ', [(6, 7)])
('add ', [(0, 5)])
('del ', [(6, 7)])
('del ', [(0, 5)])
('add ', [(2, 3)])
('add ', [(1, 4)])
('del ', [(2, 3)])
('del ', [(1, 4)])
('add ', [(6, 7)])
('add ', [(0, 5)])
('del ', [(6, 7)])
('del ', [(0, 5)])
('add ', [(2, 3)])
('add ', [(1, 4)])
('del ', [(2, 3)])
('del ', [(1, 4)])
('add ', [(6, 7)])
('add ', [(0, 5)])
('del ', [(6, 7)])
('del ', [(0, 5)])
('add ', [(2, 3)])
('add ', [(1, 4)])
('del ', [(2, 3)])
('del ', [(1, 4)])
('add ', [(6, 7)])
('add ', [(0, 5)])
('del ', [(6, 7)])
('del ', [(0, 5)])
('add ', [(2, 3)])
('add ', [(1, 4)])
('del ', [(2, 3)])
('del ', [(1, 4)])
('add ', [(6, 7)])
('add ', [(0, 5)])
('del ', [(6, 7)])
('del ', [(0, 5)])
('add ', [(2, 3)])
('add ', [(1, 4)])
('del ', [(2, 3)])
('del ', [(1, 4)])
('add ', [(6, 7)])
('add ', [(0, 5)])
('del ', [(6, 7)])
('del ', [(0, 5)])
('add ', [(2, 3)])
('add ', [(1, 4)])
('del ', [(2, 3)])
('del ', [(1, 4)])
('add ', [(6, 7)])
('add ', [(0, 5)])
('del ', [(6, 7)])
('del ', [(0, 5)])
('add ', [(2, 3)])
('add ', [(1, 4)])
('del ', [(2, 3)])
('del ', [(1, 4)])
('add ', [(6, 7)])
('add ', [(0, 5)])
('del ', [(6, 7)])
('del ', [(0, 5)])
('add ', [(2, 3)])
('add ', [(1, 4)])
('del ', [(2, 3)])
('del ', [(1, 4)])
('add ', [(6, 7)])
('add ', [(0, 5)])
Output too long -- MAX_OUTPUT (=150000) exceed (type 'smc?' to learn how to raise this limit): attempting to terminate...
[2, 4]
[2, 3]