graph.sagews

︠04108285-7664-4a42-bc1a-91163ee6c7cfo︠
︠a76674a0-909e-4780-bb8b-d134f21cc0e3s︠
v=8;a=2;b=3;
m=a+1
n=b+1
his=list(range(v))
g=graphs.RandomGNP(v,a/(a+b))
g.plot(layout='circular')

def do_cliques():
    global his,g
    modified=0
    while True:
        clique=g.clique_maximum()
        if len(clique)>a :
              #choose and delete edges that not be modified recently
              count=0;
              for x in his :
                    if x in clique :
                        clique.remove(x)
                        count+=1
                        if count>=a-1:
                            break

              #edges=[(clique[0],i) for i in clique[1:]]
              edges=[(i,clique[-1]) for i in clique[:-1]]
              his=clique+his
              g.delete_edges(edges)
              print("del ",edges)
              modified+=len(edges)
        else :
            return modified;

def do_independent_sets():
    global his,g
    modified=0;
    while True:
        ind=g.independent_set()
        if len(ind)>b:
              #choose and add edges that not be modified recently
              count=0;
              for x in his :
                    if x in ind :
                        ind.remove(x)
                        count+=1
                        if count>=b-1:
                            break

              #edges=[(ind[0],i) for i in ind[1:]]
              edges=[(i,ind[-1]) for i in ind[:-1]]
              his=ind+his
              g.add_edges(edges)
              print("add ",edges);
              modified+=len(edges)
        else :
            return modified;

while (do_cliques()>0) or (do_independent_sets()>0):
    pass

('del ', [(6, 7)]) ('del ', [(0, 5)]) ('add ', [(2, 3)]) ('add ', [(1, 4)]) ('del ', [(2, 3)]) ('del ', [(1, 4)]) ('add ', [(6, 7)]) ('add ', [(0, 5)]) ('del ', [(6, 7)]) ('del ', [(0, 5)]) ('add ', [(2, 3)]) ('add ', [(1, 4)]) ('del ', [(2, 3)]) ('del ', [(1, 4)]) ('add ', [(6, 7)]) ('add ', [(0, 5)]) ('del ', [(6, 7)]) ('del ', [(0, 5)]) ('add ', [(2, 3)]) ('add ', [(1, 4)]) ('del ', [(2, 3)]) ('del ', [(1, 4)]) ('add ', [(6, 7)]) ('add ', [(0, 5)]) ('del ', [(6, 7)]) ('del ', [(0, 5)]) ('add ', [(2, 3)]) ('add ', [(1, 4)]) ('del ', [(2, 3)]) ('del ', [(1, 4)]) ('add ', [(6, 7)]) ('add ', [(0, 5)]) ('del ', [(6, 7)]) ('del ', [(0, 5)]) ('add ', [(2, 3)]) ('add ', [(1, 4)]) ('del ', [(2, 3)]) ('del ', [(1, 4)]) ('add ', [(6, 7)]) ('add ', [(0, 5)]) ('del ', [(6, 7)]) ('del ', [(0, 5)]) ('add ', [(2, 3)]) ('add ', [(1, 4)]) ('del ', [(2, 3)]) ('del ', [(1, 4)]) ('add ', [(6, 7)]) ('add ', [(0, 5)]) ('del ', [(6, 7)]) ('del ', [(0, 5)]) ('add ', [(2, 3)]) ('add ', [(1, 4)]) ('del ', [(2, 3)]) ('del ', [(1, 4)]) ('add ', [(6, 7)]) ('add ', [(0, 5)]) ('del ', [(6, 7)]) ('del ', [(0, 5)]) ('add ', [(2, 3)]) ('add ', [(1, 4)]) ('del ', [(2, 3)]) ('del ', [(1, 4)]) ('add ', [(6, 7)]) ('add ', [(0, 5)]) ('del ', [(6, 7)]) ('del ', [(0, 5)]) ('add ', [(2, 3)]) ('add ', [(1, 4)]) ('del ', [(2, 3)]) ('del ', [(1, 4)]) ('add ', [(6, 7)]) ('add ', [(0, 5)]) ('del ', [(6, 7)]) ('del ', [(0, 5)]) ('add ', [(2, 3)]) ('add ', [(1, 4)]) ('del ', [(2, 3)]) ('del ', [(1, 4)]) ('add ', [(6, 7)]) ('add ', [(0, 5)]) ('del ', [(6, 7)]) ('del ', [(0, 5)]) ('add ', [(2, 3)]) ('add ', [(1, 4)]) ('del ', [(2, 3)]) ('del ', [(1, 4)]) ('add ', [(6, 7)]) ('add ', [(0, 5)]) ('del ', [(6, 7)]) ('del ', [(0, 5)]) ('add ', [(2, 3)]) ('add ', [(1, 4)]) ('del ', [(2, 3)]) ('del ', [(1, 4)]) ('add ', [(6, 7)]) ('add ', [(0, 5)]) ('del ', [(6, 7)]) ('del ', [(0, 5)]) ('add ', [(2, 3)]) ('add ', [(1, 4)]) ('del ', [(2, 3)]) ('del ', [(1, 4)]) ('add ', [(6, 7)]) ('add ', [(0, 5)]) ('del ', [(6, 7)]) ('del ', [(0, 5)]) ('add ', [(2, 3)]) ('add ', [(1, 4)]) ('del ', [(2, 3)]) ('del ', [(1, 4)]) ('add ', [(6, 7)]) ('add ', [(0, 5)]) ('del ', [(6, 7)]) ('del ', [(0, 5)]) ('add ', [(2, 3)]) ('add ', [(1, 4)]) ('del ', [(2, 3)]) ('del ', [(1, 4)]) ('add ', [(6, 7)]) ('add ', [(0, 5)]) ('del ', [(6, 7)]) ('del ', [(0, 5)]) ('add ', [(2, 3)]) ('add ', [(1, 4)]) ('del ', [(2, 3)]) ('del ', [(1, 4)]) ('add ', [(6, 7)]) ('add ', [(0, 5)]) ('del ', [(6, 7)]) ('del ', [(0, 5)]) ('add ', [(2, 3)]) ('add ', [(1, 4)]) ('del ', [(2, 3)]) ('del ', [(1, 4)]) ('add ', [(6, 7)]) ('add ', [(0, 5)]) ('del ', [(6, 7)]) ('del ', [(0, 5)]) ('add ', [(2, 3)]) ('add ', [(1, 4)]) ('del ', [(2, 3)]) ('del ', [(1, 4)]) ('add ', [(6, 7)]) ('add ', [(0, 5)]) ('del ', [(6, 7)]) ('del ', [(0, 5)]) ('add ', [(2, 3)]) ('add ', [(1, 4)]) ('del ', [(2, 3)]) ('del ', [(1, 4)]) ('add ', [(6, 7)]) ('add ', [(0, 5)]) ('del ', [(6, 7)]) ('del ', [(0, 5)]) ('add ', [(2, 3)]) ('add ', [(1, 4)]) ('del ', [(2, 3)]) ('del ', [(1, 4)]) ('add ', [(6, 7)]) ('add ', [(0, 5)]) ('del ', [(6, 7)]) ('del ', [(0, 5)]) ('add ', [(2, 3)]) ('add ', [(1, 4)]) ('del ', [(2, 3)]) ('del ', [(1, 4)]) ('add ', [(6, 7)]) ('add ', [(0, 5)]) ('del ', [(6, 7)]) ('del ', [(0, 5)]) ('add ', [(2, 3)]) ('add ', [(1, 4)]) ('del ', [(2, 3)]) ('del ', [(1, 4)]) ('add ', [(6, 7)]) ('add ', [(0, 5)]) ('del ', [(6, 7)]) ('del ', [(0, 5)]) ('add ', [(2, 3)]) ('add ', [(1, 4)]) ('del ', [(2, 3)]) ('del ', [(1, 4)]) ('add ', [(6, 7)]) ('add ', [(0, 5)]) ('del ', [(6, 7)]) ('del ', [(0, 5)]) ('add ', [(2, 3)]) ('add ', [(1, 4)]) ('del ', [(2, 3)]) ('del ', [(1, 4)]) ('add ', [(6, 7)]) ('add ', [(0, 5)]) ('del ', [(6, 7)]) ('del ', [(0, 5)]) ('add ', [(2, 3)]) ('add ', [(1, 4)]) ('del ', [(2, 3)]) ('del ', [(1, 4)]) ('add ', [(6, 7)]) ('add ', [(0, 5)]) ('del ', [(6, 7)]) ('del ', [(0, 5)]) ('add ', [(2, 3)]) ('add ', [(1, 4)]) ('del ', [(2, 3)]) ('del ', [(1, 4)]) ('add ', [(6, 7)]) ('add ', [(0, 5)]) ('del ', [(6, 7)]) ('del ', [(0, 5)]) ('add ', [(2, 3)]) ('add ', [(1, 4)]) ('del ', [(2, 3)]) ('del ', [(1, 4)]) ('add ', [(6, 7)]) ('add ', [(0, 5)]) ('del ', [(6, 7)]) ('del ', [(0, 5)]) ('add ', [(2, 3)]) ('add ', [(1, 4)]) ('del ', [(2, 3)]) ('del ', [(1, 4)]) ('add ', [(6, 7)]) ('add ', [(0, 5)]) ('del ', [(6, 7)]) ('del ', [(0, 5)]) ('add ', [(2, 3)]) ('add ', [(1, 4)]) ('del ', [(2, 3)]) ('del ', [(1, 4)]) ('add ', [(6, 7)]) ('add ', [(0, 5)]) ('del ', [(6, 7)]) ('del ', [(0, 5)]) ('add ', [(2, 3)]) ('add ', [(1, 4)]) ('del ', [(2, 3)]) ('del ', [(1, 4)]) ('add ', [(6, 7)]) ('add ', [(0, 5)]) ('del ', [(6, 7)]) ('del ', [(0, 5)]) ('add ', [(2, 3)]) ('add ', [(1, 4)]) ('del ', [(2, 3)]) ('del ', [(1, 4)]) ('add ', [(6, 7)]) ('add ', [(0, 5)]) ('del ', [(6, 7)]) ('del ', [(0, 5)]) ('add ', [(2, 3)]) ('add ', [(1, 4)]) ('del ', [(2, 3)]) ('del ', [(1, 4)]) ('add ', [(6, 7)]) ('add ', [(0, 5)]) ('del ', [(6, 7)]) ('del ', [(0, 5)]) ('add ', [(2, 3)]) ('add ', [(1, 4)]) ('del ', [(2, 3)]) ('del ', [(1, 4)]) ('add ', [(6, 7)]) ('add ', [(0, 5)]) ('del ', [(6, 7)]) ('del ', [(0, 5)]) ('add ', [(2, 3)]) ('add ', [(1, 4)]) ('del ', [(2, 3)]) ('del ', [(1, 4)]) ('add ', [(6, 7)]) ('add ', [(0, 5)]) ('del ', [(6, 7)]) ('del ', [(0, 5)]) ('add ', [(2, 3)]) ('add ', [(1, 4)]) ('del ', [(2, 3)]) ('del ', [(1, 4)]) ('add ', [(6, 7)]) ('add ', [(0, 5)]) ('del ', [(6, 7)]) ('del ', [(0, 5)]) ('add ', [(2, 3)]) ('add ', [(1, 4)]) ('del ', [(2, 3)]) ('del ', [(1, 4)]) ('add ', [(6, 7)]) ('add ', [(0, 5)]) ('del ', [(6, 7)]) ('del ', [(0, 5)]) ('add ', [(2, 3)]) ('add ', [(1, 4)]) ('del ', [(2, 3)]) ('del ', [(1, 4)]) ('add ', [(6, 7)]) ('add ', [(0, 5)]) ('del ', [(6, 7)]) ('del ', [(0, 5)]) ('add ', [(2, 3)]) ('add ', [(1, 4)]) ('del ', [(2, 3)]) ('del ', [(1, 4)]) ('add ', [(6, 7)]) ('add ', [(0, 5)]) ('del ', [(6, 7)]) ('del ', [(0, 5)]) ('add ', [(2, 3)]) ('add ', [(1, 4)]) ('del ', [(2, 3)]) ('del ', [(1, 4)]) ('add ', [(6, 7)]) ('add ', [(0, 5)]) ('del ', [(6, 7)]) ('del ', [(0, 5)]) ('add ', [(2, 3)]) ('add ', [(1, 4)]) ('del ', [(2, 3)]) ('del ', [(1, 4)]) ('add ', [(6, 7)]) ('add ', [(0, 5)]) ('del ', [(6, 7)]) ('del ', [(0, 5)]) ('add ', [(2, 3)]) ('add ', [(1, 4)]) ('del ', [(2, 3)]) ('del ', [(1, 4)]) ('add ', [(6, 7)]) ('add ', [(0, 5)]) ('del ', [(6, 7)]) ('del ', [(0, 5)]) ('add ', [(2, 3)]) ('add ', [(1, 4)]) ('del ', [(2, 3)]) ('del ', [(1, 4)]) ('add ', [(6, 7)]) ('add ', [(0, 5)]) ('del ', [(6, 7)]) ('del ', [(0, 5)]) ('add ', [(2, 3)]) ('add ', [(1, 4)]) ('del ', [(2, 3)]) ('del ', [(1, 4)]) ('add ', [(6, 7)]) ('add ', [(0, 5)]) ('del ', [(6, 7)]) ('del ', [(0, 5)]) ('add ', [(2, 3)]) ('add ', [(1, 4)]) ('del ', [(2, 3)]) ('del ', [(1, 4)]) ('add ', [(6, 7)]) ('add ', [(0, 5)]) ('del ', [(6, 7)]) ('del ', [(0, 5)]) ('add ', [(2, 3)]) ('add ', [(1, 4)]) ('del ', [(2, 3)]) ('del ', [(1, 4)]) ('add ', [(6, 7)]) ('add ', [(0, 5)]) ('del ', [(6, 7)]) ('del ', [(0, 5)]) ('add ', [(2, 3)]) ('add ', [(1, 4)]) ('del ', [(2, 3)]) ('del ', [(1, 4)]) ('add ', [(6, 7)]) ('add ', [(0, 5)]) ('del ', [(6, 7)]) ('del ', [(0, 5)]) ('add ', [(2, 3)]) ('add ', [(1, 4)]) ('del ', [(2, 3)]) ('del ', [(1, 4)]) ('add ', [(6, 7)]) ('add ', [(0, 5)]) ('del ', [(6, 7)]) ('del ', [(0, 5)]) ('add ', [(2, 3)]) ('add ', [(1, 4)]) ('del ', [(2, 3)]) ('del ', [(1, 4)]) ('add ', [(6, 7)]) ('add ', [(0, 5)]) ('del ', [(6, 7)]) ('del ', [(0, 5)]) ('add ', [(2, 3)]) ('add ', [(1, 4)]) ('del ', [(2, 3)]) ('del ', [(1, 4)]) ('add ', [(6, 7)]) ('add ', [(0, 5)]) ('del ', [(6, 7)]) ('del ', [(0, 5)]) ('add ', [(2, 3)]) ('add ', [(1, 4)]) ('del ', [(2, 3)]) ('del ', [(1, 4)]) ('add ', [(6, 7)]) ('add ', [(0, 5)]) ('del ', [(6, 7)]) ('del ', [(0, 5)]) ('add ', [(2, 3)]) ('add ', [(1, 4)]) ('del ', [(2, 3)]) ('del ', [(1, 4)]) ('add ', [(6, 7)]) ('add ', [(0, 5)]) ('del ', [(6, 7)]) ('del ', [(0, 5)]) ('add ', [(2, 3)]) ('add ', [(1, 4)]) ('del ', [(2, 3)]) ('del ', [(1, 4)]) ('add ', [(6, 7)]) ('add ', [(0, 5)]) ('del ', [(6, 7)]) ('del ', [(0, 5)]) ('add ', [(2, 3)]) ('add ', [(1, 4)]) ('del ', [(2, 3)]) ('del ', [(1, 4)]) ('add ', [(6, 7)]) ('add ', [(0, 5)]) ('del ', [(6, 7)]) ('del ', [(0, 5)]) ('add ', [(2, 3)]) ('add ', [(1, 4)]) ('del ', [(2, 3)]) ('del ', [(1, 4)]) ('add ', [(6, 7)]) ('add ', [(0, 5)]) ('del ', [(6, 7)]) ('del ', [(0, 5)]) ('add ', [(2, 3)]) ('add ', [(1, 4)]) ('del ', [(2, 3)]) ('del ', [(1, 4)]) ('add ', [(6, 7)]) ('add ', [(0, 5)]) ('del ', [(6, 7)]) ('del ', [(0, 5)]) ('add ', [(2, 3)]) ('add ', [(1, 4)]) ('del ', [(2, 3)]) ('del ', [(1, 4)]) ('add ', [(6, 7)]) ('add ', [(0, 5)]) ('del ', [(6, 7)]) ('del ', [(0, 5)]) ('add ', [(2, 3)]) ('add ', [(1, 4)]) ('del ', [(2, 3)]) ('del ', [(1, 4)]) ('add ', [(6, 7)]) ('add ', [(0, 5)]) ('del ', [(6, 7)]) ('del ', [(0, 5)]) ('add ', [(2, 3)]) ('add ', [(1, 4)]) ('del ', [(2, 3)]) ('del ', [(1, 4)]) ('add ', [(6, 7)]) ('add ', [(0, 5)]) ('del ', [(6, 7)]) ('del ', [(0, 5)]) ('add ', [(2, 3)]) ('add ', [(1, 4)]) ('del ', [(2, 3)]) ('del ', [(1, 4)]) ('add ', [(6, 7)]) ('add ', [(0, 5)]) ('del ', [(6, 7)]) ('del ', [(0, 5)]) ('add ', [(2, 3)]) ('add ', [(1, 4)]) ('del ', [(2, 3)]) ('del ', [(1, 4)]) ('add ', [(6, 7)]) ('add ', [(0, 5)]) ('del ', [(6, 7)]) ('del ', [(0, 5)]) ('add ', [(2, 3)]) ('add ', [(1, 4)]) ('del ', [(2, 3)]) ('del ', [(1, 4)]) ('add ', [(6, 7)]) ('add ', [(0, 5)]) ('del ', [(6, 7)]) ('del ', [(0, 5)]) ('add ', [(2, 3)]) ('add ', [(1, 4)]) ('del ', [(2, 3)]) ('del ', [(1, 4)]) ('add ', [(6, 7)]) ('add ', [(0, 5)]) ('del ', [(6, 7)]) ('del ', [(0, 5)]) ('add ', [(2, 3)]) ('add ', [(1, 4)]) ('del ', [(2, 3)]) ('del ', [(1, 4)]) ('add ', [(6, 7)]) ('add ', [(0, 5)]) ('del ', [(6, 7)]) ('del ', [(0, 5)]) ('add ', [(2, 3)]) ('add ', [(1, 4)]) ('del ', [(2, 3)]) ('del ', [(1, 4)]) ('add ', [(6, 7)]) ('add ', [(0, 5)]) ('del ', [(6, 7)]) ('del ', [(0, 5)]) ('add ', [(2, 3)]) ('add ', [(1, 4)]) ('del ', [(2, 3)]) ('del ', [(1, 4)]) ('add ', [(6, 7)]) ('add ', [(0, 5)]) ('del ', [(6, 7)]) ('del ', [(0, 5)]) ('add ', [(2, 3)]) ('add ', [(1, 4)]) ('del ', [(2, 3)]) ('del ', [(1, 4)]) ('add ', [(6, 7)]) ('add ', [(0, 5)]) ('del ', [(6, 7)]) ('del ', [(0, 5)]) ('add ', [(2, 3)]) ('add ', [(1, 4)]) ('del ', [(2, 3)]) ('del ', [(1, 4)]) ('add ', [(6, 7)]) ('add ', [(0, 5)]) ('del ', [(6, 7)]) ('del ', [(0, 5)]) ('add ', [(2, 3)]) ('add ', [(1, 4)]) ('del ', [(2, 3)]) ('del ', [(1, 4)]) ('add ', [(6, 7)]) ('add ', [(0, 5)]) ('del ', [(6, 7)]) ('del ', [(0, 5)]) ('add ', [(2, 3)]) ('add ', [(1, 4)]) ('del ', [(2, 3)]) ('del ', [(1, 4)]) ('add ', [(6, 7)]) ('add ', [(0, 5)]) ('del ', [(6, 7)]) ('del ', [(0, 5)]) ('add ', [(2, 3)]) ('add ', [(1, 4)]) ('del ', [(2, 3)]) ('del ', [(1, 4)]) ('add ', [(6, 7)]) ('add ', [(0, 5)]) ('del ', [(6, 7)]) ('del ', [(0, 5)]) ('add ', [(2, 3)]) ('add ', [(1, 4)]) ('del ', [(2, 3)]) ('del ', [(1, 4)]) ('add ', [(6, 7)]) ('add ', [(0, 5)]) ('del ', [(6, 7)]) ('del ', [(0, 5)]) ('add ', [(2, 3)]) ('add ', [(1, 4)]) ('del ', [(2, 3)]) ('del ', [(1, 4)]) ('add ', [(6, 7)]) ('add ', [(0, 5)]) ('del ', [(6, 7)]) ('del ', [(0, 5)]) ('add ', [(2, 3)]) ('add ', [(1, 4)]) ('del ', [(2, 3)]) ('del ', [(1, 4)]) ('add ', [(6, 7)]) ('add ', [(0, 5)]) ('del ', [(6, 7)]) ('del ', [(0, 5)]) ('add ', [(2, 3)]) ('add ', [(1, 4)]) ('del ', [(2, 3)]) ('del ', [(1, 4)]) ('add ', [(6, 7)]) ('add ', [(0, 5)]) ('del ', [(6, 7)]) ('del ', [(0, 5)]) ('add ', [(2, 3)]) ('add ', [(1, 4)]) ('del ', [(2, 3)]) ('del ', [(1, 4)]) ('add ', [(6, 7)]) ('add ', [(0, 5)]) ('del ', [(6, 7)]) ('del ', [(0, 5)]) ('add ', [(2, 3)]) ('add ', [(1, 4)]) ('del ', [(2, 3)]) ('del ', [(1, 4)]) ('add ', [(6, 7)]) ('add ', [(0, 5)]) ('del ', [(6, 7)]) ('del ', [(0, 5)]) ('add ', [(2, 3)]) ('add ', [(1, 4)]) ('del ', [(2, 3)]) ('del ', [(1, 4)]) ('add ', [(6, 7)]) ('add ', [(0, 5)]) ('del ', [(6, 7)]) ('del ', [(0, 5)]) ('add ', [(2, 3)]) ('add ', [(1, 4)]) ('del ', [(2, 3)]) ('del ', [(1, 4)]) ('add ', [(6, 7)]) ('add ', [(0, 5)]) ('del ', [(6, 7)]) ('del ', [(0, 5)]) ('add ', [(2, 3)]) ('add ', [(1, 4)]) ('del ', [(2, 3)]) ('del ', [(1, 4)]) ('add ', [(6, 7)]) ('add ', [(0, 5)]) ('del ', [(6, 7)]) ('del ', [(0, 5)]) ('add ', [(2, 3)]) ('add ', [(1, 4)]) ('del ', [(2, 3)]) ('del ', [(1, 4)]) ('add ', [(6, 7)]) ('add ', [(0, 5)]) ('del ', [(6, 7)]) ('del ', [(0, 5)]) ('add ', [(2, 3)]) ('add ', [(1, 4)]) ('del ', [(2, 3)]) ('del ', [(1, 4)]) ('add ', [(6, 7)]) ('add ', [(0, 5)]) ('del ', [(6, 7)]) ('del ', [(0, 5)]) ('add ', [(2, 3)]) ('add ', [(1, 4)]) ('del ', [(2, 3)]) ('del ', [(1, 4)]) ('add ', [(6, 7)]) ('add ', [(0, 5)]) ('del ', [(6, 7)]) ('del ', [(0, 5)]) ('add ', [(2, 3)]) ('add ', [(1, 4)]) ('del ', [(2, 3)]) ('del ', [(1, 4)]) ('add ', [(6, 7)]) ('add ', [(0, 5)]) ('del ', [(6, 7)]) ('del ', [(0, 5)]) ('add ', [(2, 3)]) ('add ', [(1, 4)]) ('del ', [(2, 3)]) ('del ', [(1, 4)]) ('add ', [(6, 7)]) ('add ', [(0, 5)]) ('del ', [(6, 7)]) ('del ', [(0, 5)]) ('add ', [(2, 3)]) ('add ', [(1, 4)]) ('del ', [(2, 3)]) ('del ', [(1, 4)]) ('add ', [(6, 7)]) ('add ', [(0, 5)]) ('del ', [(6, 7)]) ('del ', [(0, 5)]) ('add ', [(2, 3)]) ('add ', [(1, 4)]) ('del ', [(2, 3)]) ('del ', [(1, 4)]) ('add ', [(6, 7)]) ('add ', [(0, 5)]) ('del ', [(6, 7)]) ('del ', [(0, 5)]) ('add ', [(2, 3)]) ('add ', [(1, 4)]) ('del ', [(2, 3)]) ('del ', [(1, 4)]) ('add ', [(6, 7)]) ('add ', [(0, 5)]) ('del ', [(6, 7)]) ('del ', [(0, 5)]) ('add ', [(2, 3)]) ('add ', [(1, 4)]) ('del ', [(2, 3)]) ('del ', [(1, 4)]) ('add ', [(6, 7)]) ('add ', [(0, 5)]) ('del ', [(6, 7)]) ('del ', [(0, 5)]) ('add ', [(2, 3)]) ('add ', [(1, 4)]) ('del ', [(2, 3)]) ('del ', [(1, 4)]) ('add ', [(6, 7)]) ('add ', [(0, 5)]) ('del ', [(6, 7)]) ('del ', [(0, 5)]) ('add ', [(2, 3)]) ('add ', [(1, 4)]) ('del ', [(2, 3)]) ('del ', [(1, 4)]) ('add ', [(6, 7)]) ('add ', [(0, 5)]) ('del ', [(6, 7)]) ('del ', [(0, 5)]) ('add ', [(2, 3)]) ('add ', [(1, 4)]) ('del ', [(2, 3)]) ('del ', [(1, 4)]) ('add ', [(6, 7)]) ('add ', [(0, 5)]) ('del ', [(6, 7)]) ('del ', [(0, 5)]) ('add ', [(2, 3)]) ('add ', [(1, 4)]) ('del ', [(2, 3)]) ('del ', [(1, 4)]) ('add ', [(6, 7)]) ('add ', [(0, 5)]) ('del ', [(6, 7)]) ('del ', [(0, 5)]) ('add ', [(2, 3)]) ('add ', [(1, 4)]) ('del ', [(2, 3)]) ('del ', [(1, 4)]) ('add ', [(6, 7)]) ('add ', [(0, 5)]) ('del ', [(6, 7)]) ('del ', [(0, 5)]) ('add ', [(2, 3)]) ('add ', [(1, 4)]) ('del ', [(2, 3)]) ('del ', [(1, 4)]) ('add ', [(6, 7)]) ('add ', [(0, 5)]) ('del ', [(6, 7)]) ('del ', [(0, 5)]) ('add ', [(2, 3)]) ('add ', [(1, 4)]) ('del ', [(2, 3)]) ('del ', [(1, 4)]) ('add ', [(6, 7)]) ('add ', [(0, 5)]) ('del ', [(6, 7)]) ('del ', [(0, 5)]) ('add ', [(2, 3)]) ('add ', [(1, 4)]) ('del ', [(2, 3)]) ('del ', [(1, 4)]) ('add ', [(6, 7)]) ('add ', [(0, 5)]) ('del ', [(6, 7)]) ('del ', [(0, 5)]) ('add ', [(2, 3)]) ('add ', [(1, 4)]) ('del ', [(2, 3)]) ('del ', [(1, 4)]) ('add ', [(6, 7)]) ('add ', [(0, 5)]) ('del ', [(6, 7)]) ('del ', [(0, 5)]) ('add ', [(2, 3)]) ('add ', [(1, 4)]) ('del ', [(2, 3)]) ('del ', [(1, 4)]) ('add ', [(6, 7)]) ('add ', [(0, 5)]) ('del ', [(6, 7)]) ('del ', [(0, 5)]) ('add ', [(2, 3)]) ('add ', [(1, 4)]) ('del ', [(2, 3)]) ('del ', [(1, 4)]) ('add ', [(6, 7)]) ('add ', [(0, 5)]) ('del ', [(6, 7)]) ('del ', [(0, 5)]) ('add ', [(2, 3)]) ('add ', [(1, 4)]) ('del ', [(2, 3)]) ('del ', [(1, 4)]) ('add ', [(6, 7)]) ('add ', [(0, 5)]) ('del ', [(6, 7)]) ('del ', [(0, 5)]) ('add ', [(2, 3)]) ('add ', [(1, 4)]) ('del ', [(2, 3)]) ('del ', [(1, 4)]) ('add ', [(6, 7)]) ('add ', [(0, 5)]) ('del ', [(6, 7)]) ('del ', [(0, 5)]) ('add ', [(2, 3)]) ('add ', [(1, 4)]) ('del ', [(2, 3)]) ('del ', [(1, 4)]) ('add ', [(6, 7)]) ('add ', [(0, 5)]) ('del ', [(6, 7)]) ('del ', [(0, 5)]) ('add ', [(2, 3)]) ('add ', [(1, 4)]) ('del ', [(2, 3)]) ('del ', [(1, 4)]) ('add ', [(6, 7)]) ('add ', [(0, 5)]) ('del ', [(6, 7)]) ('del ', [(0, 5)]) ('add ', [(2, 3)]) ('add ', [(1, 4)]) ('del ', [(2, 3)]) ('del ', [(1, 4)]) ('add ', [(6, 7)]) ('add ', [(0, 5)]) ('del ', [(6, 7)]) ('del ', [(0, 5)]) ('add ', [(2, 3)]) ('add ', [(1, 4)]) ('del ', [(2, 3)]) ('del ', [(1, 4)]) ('add ', [(6, 7)]) ('add ', [(0, 5)]) ('del ', [(6, 7)]) ('del ', [(0, 5)]) ('add ', [(2, 3)]) ('add ', [(1, 4)]) ('del ', [(2, 3)]) ('del ', [(1, 4)]) ('add ', [(6, 7)]) ('add ', [(0, 5)]) ('del ', [(6, 7)]) ('del ', [(0, 5)]) ('add ', [(2, 3)]) ('add ', [(1, 4)]) ('del ', [(2, 3)]) ('del ', [(1, 4)]) ('add ', [(6, 7)]) ('add ', [(0, 5)]) ('del ', [(6, 7)]) ('del ', [(0, 5)]) ('add ', [(2, 3)]) ('add ', [(1, 4)]) ('del ', [(2, 3)]) ('del ', [(1, 4)]) ('add ', [(6, 7)]) ('add ', [(0, 5)]) ('del ', [(6, 7)]) ('del ', [(0, 5)]) ('add ', [(2, 3)]) ('add ', [(1, 4)]) ('del ', [(2, 3)]) ('del ', [(1, 4)]) ('add ', [(6, 7)]) ('add ', [(0, 5)]) ('del ', [(6, 7)]) ('del ', [(0, 5)]) ('add ', [(2, 3)]) ('add ', [(1, 4)]) ('del ', [(2, 3)]) ('del ', [(1, 4)]) ('add ', [(6, 7)]) ('add ', [(0, 5)]) ('del ', [(6, 7)]) ('del ', [(0, 5)]) ('add ', [(2, 3)]) ('add ', [(1, 4)]) ('del ', [(2, 3)]) ('del ', [(1, 4)]) ('add ', [(6, 7)]) ('add ', [(0, 5)]) ('del ', [(6, 7)]) ('del ', [(0, 5)]) ('add ', [(2, 3)]) ('add ', [(1, 4)]) ('del ', [(2, 3)]) ('del ', [(1, 4)]) ('add ', [(6, 7)]) ('add ', [(0, 5)]) ('del ', [(6, 7)]) ('del ', [(0, 5)]) ('add ', [(2, 3)]) ('add ', [(1, 4)]) ('del ', [(2, 3)]) ('del ', [(1, 4)]) ('add ', [(6, 7)]) ('add ', [(0, 5)]) ('del ', [(6, 7)]) ('del ', [(0, 5)]) ('add ', [(2, 3)]) ('add ', [(1, 4)]) ('del ', [(2, 3)]) ('del ', [(1, 4)]) ('add ', [(6, 7)]) ('add ', [(0, 5)]) ('del ', [(6, 7)]) ('del ', [(0, 5)]) ('add ', [(2, 3)]) ('add ', [(1, 4)]) ('del ', [(2, 3)]) ('del ', [(1, 4)]) ('add ', [(6, 7)]) ('add ', [(0, 5)]) ('del ', [(6, 7)]) ('del ', [(0, 5)]) ('add ', [(2, 3)]) ('add ', [(1, 4)]) ('del ', [(2, 3)]) ('del ', [(1, 4)]) ('add ', [(6, 7)]) ('add ', [(0, 5)]) ('del ', [(6, 7)]) ('del ', [(0, 5)]) ('add ', [(2, 3)]) ('add ', [(1, 4)]) ('del ', [(2, 3)]) ('del ', [(1, 4)]) ('add ', [(6, 7)]) ('add ', [(0, 5)]) ('del ', [(6, 7)]) ('del ', [(0, 5)]) ('add ', [(2, 3)]) ('add ', [(1, 4)]) ('del ', [(2, 3)]) ('del ', [(1, 4)]) ('add ', [(6, 7)]) ('add ', [(0, 5)]) ('del ', [(6, 7)]) ('del ', [(0, 5)]) ('add ', [(2, 3)]) ('add ', [(1, 4)]) ('del ', [(2, 3)]) ('del ', [(1, 4)]) ('add ', [(6, 7)]) ('add ', [(0, 5)]) ('del ', [(6, 7)]) ('del ', [(0, 5)]) ('add ', [(2, 3)]) ('add ', [(1, 4)]) ('del ', [(2, 3)]) ('del ', [(1, 4)]) ('add ', [(6, 7)]) ('add ', [(0, 5)]) ('del ', [(6, 7)]) ('del ', [(0, 5)]) ('add ', [(2, 3)]) ('add ', [(1, 4)]) ('del ', [(2, 3)]) ('del ', [(1, 4)]) ('add ', [(6, 7)]) ('add ', [(0, 5)]) ('del ', [(6, 7)]) ('del ', [(0, 5)]) ('add ', [(2, 3)]) ('add ', [(1, 4)]) ('del ', [(2, 3)]) ('del ', [(1, 4)]) ('add ', [(6, 7)]) ('add ', [(0, 5)]) ('del ', [(6, 7)]) ('del ', [(0, 5)]) ('add ', [(2, 3)]) ('add ', [(1, 4)]) ('del ', [(2, 3)]) ('del ', [(1, 4)]) ('add ', [(6, 7)]) ('add ', [(0, 5)]) ('del ', [(6, 7)]) ('del ', [(0, 5)]) ('add ', [(2, 3)]) ('add ', [(1, 4)]) ('del ', [(2, 3)]) ('del ', [(1, 4)]) ('add ', [(6, 7)]) ('add ', [(0, 5)]) ('del ', [(6, 7)]) ('del ', [(0, 5)]) ('add ', [(2, 3)]) ('add ', [(1, 4)]) ('del ', [(2, 3)]) ('del ', [(1, 4)]) ('add ', [(6, 7)]) ('add ', [(0, 5)]) ('del ', [(6, 7)]) ('del ', [(0, 5)]) ('add ', [(2, 3)]) ('add ', [(1, 4)]) ('del ', [(2, 3)]) ('del ', [(1, 4)]) ('add ', [(6, 7)]) ('add ', [(0, 5)]) ('del ', [(6, 7)]) ('del ', [(0, 5)]) ('add ', [(2, 3)]) ('add ', [(1, 4)]) ('del ', [(2, 3)]) ('del ', [(1, 4)]) ('add ', [(6, 7)]) ('add ', [(0, 5)]) ('del ', [(6, 7)]) ('del ', [(0, 5)]) ('add ', [(2, 3)]) ('add ', [(1, 4)]) ('del ', [(2, 3)]) ('del ', [(1, 4)]) ('add ', [(6, 7)]) ('add ', [(0, 5)]) ('del ', [(6, 7)]) ('del ', [(0, 5)]) ('add ', [(2, 3)]) ('add ', [(1, 4)]) ('del ', [(2, 3)]) ('del ', [(1, 4)]) ('add ', [(6, 7)]) ('add ', [(0, 5)]) ('del ', [(6, 7)]) ('del ', [(0, 5)]) ('add ', [(2, 3)]) ('add ', [(1, 4)]) ('del ', [(2, 3)]) ('del ', [(1, 4)]) ('add ', [(6, 7)]) ('add ', [(0, 5)]) ('del ', [(6, 7)]) ('del ', [(0, 5)]) ('add ', [(2, 3)]) ('add ', [(1, 4)]) ('del ', [(2, 3)]) ('del ', [(1, 4)]) ('add ', [(6, 7)]) ('add ', [(0, 5)]) ('del ', [(6, 7)]) ('del ', [(0, 5)]) ('add ', [(2, 3)]) ('add ', [(1, 4)]) ('del ', [(2, 3)]) ('del ', [(1, 4)]) ('add ', [(6, 7)]) ('add ', [(0, 5)]) ('del ', [(6, 7)]) ('del ', [(0, 5)]) ('add ', [(2, 3)]) ('add ', [(1, 4)]) ('del ', [(2, 3)]) ('del ', [(1, 4)]) ('add ', [(6, 7)]) ('add ', [(0, 5)]) ('del ', [(6, 7)]) ('del ', [(0, 5)]) ('add ', [(2, 3)]) ('add ', [(1, 4)]) ('del ', [(2, 3)]) ('del ', [(1, 4)]) ('add ', [(6, 7)]) ('add ', [(0, 5)]) ('del ', [(6, 7)]) ('del ', [(0, 5)]) ('add ', [(2, 3)]) ('add ', [(1, 4)]) ('del ', [(2, 3)]) ('del ', [(1, 4)]) ('add ', [(6, 7)]) ('add ', [(0, 5)]) ('del ', [(6, 7)]) ('del ', [(0, 5)]) ('add ', [(2, 3)]) ('add ', [(1, 4)]) ('del ', [(2, 3)]) ('del ', [(1, 4)]) ('add ', [(6, 7)]) ('add ', [(0, 5)]) ('del ', [(6, 7)]) ('del ', [(0, 5)]) ('add ', [(2, 3)]) ('add ', [(1, 4)]) ('del ', [(2, 3)]) ('del ', [(1, 4)]) ('add ', [(6, 7)]) ('add ', [(0, 5)]) ('del ', [(6, 7)]) ('del ', [(0, 5)]) ('add ', [(2, 3)]) ('add ', [(1, 4)]) ('del ', [(2, 3)]) ('del ', [(1, 4)]) ('add ', [(6, 7)]) ('add ', [(0, 5)]) ('del ', [(6, 7)]) ('del ', [(0, 5)]) ('add ', [(2, 3)]) ('add ', [(1, 4)]) ('del ', [(2, 3)]) ('del ', [(1, 4)]) ('add ', [(6, 7)]) ('add ', [(0, 5)]) ('del ', [(6, 7)]) ('del ', [(0, 5)]) ('add ', [(2, 3)]) ('add ', [(1, 4)]) ('del ', [(2, 3)]) ('del ', [(1, 4)]) ('add ', [(6, 7)]) ('add ', [(0, 5)]) ('del ', [(6, 7)]) ('del ', [(0, 5)]) ('add ', [(2, 3)]) ('add ', [(1, 4)]) ('del ', [(2, 3)]) ('del ', [(1, 4)]) ('add ', [(6, 7)]) ('add ', [(0, 5)]) ('del ', [(6, 7)]) ('del ', [(0, 5)]) ('add ', [(2, 3)]) ('add ', [(1, 4)]) ('del ', [(2, 3)]) ('del ', [(1, 4)]) ('add ', [(6, 7)]) ('add ', [(0, 5)]) ('del ', [(6, 7)]) ('del ', [(0, 5)]) ('add ', [(2, 3)]) ('add ', [(1, 4)]) ('del ', [(2, 3)]) ('del ', [(1, 4)]) ('add ', [(6, 7)]) ('add ', [(0, 5)]) ('del ', [(6, 7)]) ('del ', [(0, 5)]) ('add ', [(2, 3)]) ('add ', [(1, 4)]) ('del ', [(2, 3)]) ('del ', [(1, 4)]) ('add ', [(6, 7)]) ('add ', [(0, 5)]) ('del ', [(6, 7)]) ('del ', [(0, 5)]) ('add ', [(2, 3)]) ('add ', [(1, 4)]) ('del ', [(2, 3)]) ('del ', [(1, 4)]) ('add ', [(6, 7)]) ('add ', [(0, 5)]) ('del ', [(6, 7)]) ('del ', [(0, 5)]) ('add ', [(2, 3)]) ('add ', [(1, 4)]) ('del ', [(2, 3)]) ('del ', [(1, 4)]) ('add ', [(6, 7)]) ('add ', [(0, 5)]) ('del ', [(6, 7)]) ('del ', [(0, 5)]) ('add ', [(2, 3)]) ('add ', [(1, 4)]) ('del ', [(2, 3)]) ('del ', [(1, 4)]) ('add ', [(6, 7)]) ('add ', [(0, 5)]) ('del ', [(6, 7)]) ('del ', [(0, 5)]) ('add ', [(2, 3)]) ('add ', [(1, 4)]) ('del ', [(2, 3)]) ('del ', [(1, 4)]) ('add ', [(6, 7)]) ('add ', [(0, 5)]) ('del ', [(6, 7)]) ('del ', [(0, 5)]) ('add ', [(2, 3)]) ('add ', [(1, 4)]) ('del ', [(2, 3)]) ('del ', [(1, 4)]) ('add ', [(6, 7)]) ('add ', [(0, 5)]) ('del ', [(6, 7)]) ('del ', [(0, 5)]) ('add ', [(2, 3)]) ('add ', [(1, 4)]) ('del ', [(2, 3)]) ('del ', [(1, 4)]) ('add ', [(6, 7)]) ('add ', [(0, 5)]) ('del ', [(6, 7)]) ('del ', [(0, 5)]) ('add ', [(2, 3)]) ('add ', [(1, 4)]) ('del ', [(2, 3)]) ('del ', [(1, 4)]) ('add ', [(6, 7)]) ('add ', [(0, 5)]) ('del ', [(6, 7)]) ('del ', [(0, 5)]) ('add ', [(2, 3)]) ('add ', [(1, 4)]) ('del ', [(2, 3)]) ('del ', [(1, 4)]) ('add ', [(6, 7)]) ('add ', [(0, 5)]) ('del ', [(6, 7)]) ('del ', [(0, 5)]) ('add ', [(2, 3)]) ('add ', [(1, 4)]) ('del ', [(2, 3)]) ('del ', [(1, 4)]) ('add ', [(6, 7)]) ('add ', [(0, 5)]) ('del ', [(6, 7)]) ('del ', [(0, 5)]) ('add ', [(2, 3)]) ('add ', [(1, 4)]) ('del ', [(2, 3)]) ('del ', [(1, 4)]) ('add ', [(6, 7)]) ('add ', [(0, 5)]) ('del ', [(6, 7)]) ('del ', [(0, 5)]) ('add ', [(2, 3)]) ('add ', [(1, 4)]) ('del ', [(2, 3)]) ('del ', [(1, 4)]) ('add ', [(6, 7)]) ('add ', [(0, 5)]) ('del ', [(6, 7)]) ('del ', [(0, 5)]) ('add ', [(2, 3)]) ('add ', [(1, 4)]) ('del ', [(2, 3)]) ('del ', [(1, 4)]) ('add ', [(6, 7)]) ('add ', [(0, 5)]) ('del ', [(6, 7)]) ('del ', [(0, 5)]) ('add ', [(2, 3)]) ('add ', [(1, 4)]) ('del ', [(2, 3)]) ('del ', [(1, 4)]) ('add ', [(6, 7)]) ('add ', [(0, 5)]) ('del ', [(6, 7)]) ('del ', [(0, 5)]) ('add ', [(2, 3)]) ('add ', [(1, 4)]) ('del ', [(2, 3)]) ('del ', [(1, 4)]) ('add ', [(6, 7)]) ('add ', [(0, 5)]) ('del ', [(6, 7)]) ('del ', [(0, 5)]) ('add ', [(2, 3)]) ('add ', [(1, 4)]) ('del ', [(2, 3)]) ('del ', [(1, 4)]) ('add ', [(6, 7)]) ('add ', [(0, 5)]) ('del ', [(6, 7)]) ('del ', [(0, 5)]) ('add ', [(2, 3)]) ('add ', [(1, 4)]) ('del ', [(2, 3)]) ('del ', [(1, 4)]) ('add ', [(6, 7)]) ('add ', [(0, 5)]) ('del ', [(6, 7)]) ('del ', [(0, 5)]) ('add ', [(2, 3)]) ('add ', [(1, 4)]) ('del ', [(2, 3)]) ('del ', [(1, 4)]) ('add ', [(6, 7)]) ('add ', [(0, 5)]) ('del ', [(6, 7)]) ('del ', [(0, 5)]) ('add ', [(2, 3)]) ('add ', [(1, 4)]) ('del ', [(2, 3)]) ('del ', [(1, 4)]) ('add ', [(6, 7)]) ('add ', [(0, 5)]) ('del ', [(6, 7)]) ('del ', [(0, 5)]) ('add ', [(2, 3)]) ('add ', [(1, 4)]) ('del ', [(2, 3)]) ('del ', [(1, 4)]) ('add ', [(6, 7)]) ('add ', [(0, 5)]) ('del ', [(6, 7)]) ('del ', [(0, 5)]) ('add ', [(2, 3)]) ('add ', [(1, 4)]) ('del ', [(2, 3)]) ('del ', [(1, 4)]) ('add ', [(6, 7)]) ('add ', [(0, 5)]) ('del ', [(6, 7)]) ('del ', [(0, 5)]) ('add ', [(2, 3)]) ('add ', [(1, 4)]) ('del ', [(2, 3)]) ('del ', [(1, 4)]) ('add ', [(6, 7)]) ('add ', [(0, 5)]) ('del ', [(6, 7)]) ('del ', [(0, 5)]) ('add ', [(2, 3)]) ('add ', [(1, 4)]) ('del ', [(2, 3)]) ('del ', [(1, 4)]) ('add ', [(6, 7)]) ('add ', [(0, 5)]) ('del ', [(6, 7)]) ('del ', [(0, 5)]) ('add ', [(2, 3)]) ('add ', [(1, 4)]) ('del ', [(2, 3)]) ('del ', [(1, 4)]) ('add ', [(6, 7)]) ('add ', [(0, 5)]) ('del ', [(6, 7)]) ('del ', [(0, 5)]) ('add ', [(2, 3)]) ('add ', [(1, 4)]) ('del ', [(2, 3)]) ('del ', [(1, 4)]) ('add ', [(6, 7)]) ('add ', [(0, 5)]) ('del ', [(6, 7)]) ('del ', [(0, 5)]) ('add ', [(2, 3)]) ('add ', [(1, 4)]) ('del ', [(2, 3)]) ('del ', [(1, 4)]) ('add ', [(6, 7)]) ('add ', [(0, 5)]) ('del ', [(6, 7)]) ('del ', [(0, 5)]) ('add ', [(2, 3)]) ('add ', [(1, 4)]) ('del ', [(2, 3)]) ('del ', [(1, 4)]) ('add ', [(6, 7)]) ('add ', [(0, 5)]) ('del ', [(6, 7)]) ('del ', [(0, 5)]) ('add ', [(2, 3)]) ('add ', [(1, 4)]) ('del ', [(2, 3)]) ('del ', [(1, 4)]) ('add ', [(6, 7)]) ('add ', [(0, 5)]) ('del ', [(6, 7)]) ('del ', [(0, 5)]) ('add ', [(2, 3)]) ('add ', [(1, 4)]) ('del ', [(2, 3)]) ('del ', [(1, 4)]) ('add ', [(6, 7)]) ('add ', [(0, 5)]) ('del ', [(6, 7)]) ('del ', [(0, 5)]) ('add ', [(2, 3)]) ('add ', [(1, 4)]) ('del ', [(2, 3)]) ('del ', [(1, 4)]) ('add ', [(6, 7)]) ('add ', [(0, 5)]) ('del ', [(6, 7)]) ('del ', [(0, 5)]) ('add ', [(2, 3)]) ('add ', [(1, 4)]) ('del ', [(2, 3)]) ('del ', [(1, 4)]) ('add ', [(6, 7)]) ('add ', [(0, 5)]) ('del ', [(6, 7)]) ('del ', [(0, 5)]) ('add ', [(2, 3)]) ('add ', [(1, 4)]) ('del ', [(2, 3)]) ('del ', [(1, 4)]) ('add ', [(6, 7)]) ('add ', [(0, 5)]) ('del ', [(6, 7)]) ('del ', [(0, 5)]) ('add ', [(2, 3)]) ('add ', [(1, 4)]) ('del ', [(2, 3)]) ('del ', [(1, 4)]) ('add ', [(6, 7)]) ('add ', [(0, 5)]) ('del ', [(6, 7)]) ('del ', [(0, 5)]) ('add ', [(2, 3)]) ('add ', [(1, 4)]) ('del ', [(2, 3)]) ('del ', [(1, 4)]) ('add ', [(6, 7)]) ('add ', [(0, 5)]) ('del ', [(6, 7)]) ('del ', [(0, 5)]) ('add ', [(2, 3)]) ('add ', [(1, 4)]) ('del ', [(2, 3)]) ('del ', [(1, 4)]) ('add ', [(6, 7)]) ('add ', [(0, 5)]) ('del ', [(6, 7)]) ('del ', [(0, 5)]) ('add ', [(2, 3)]) ('add ', [(1, 4)]) ('del ', [(2, 3)]) ('del ', [(1, 4)]) ('add ', [(6, 7)]) ('add ', [(0, 5)]) ('del ', [(6, 7)]) ('del ', [(0, 5)]) ('add ', [(2, 3)]) ('add ', [(1, 4)]) ('del ', [(2, 3)]) ('del ', [(1, 4)]) ('add ', [(6, 7)]) ('add ', [(0, 5)]) ('del ', [(6, 7)]) ('del ', [(0, 5)]) ('add ', [(2, 3)]) ('add ', [(1, 4)]) ('del ', [(2, 3)]) ('del ', [(1, 4)]) ('add ', [(6, 7)]) ('add ', [(0, 5)]) ('del ', [(6, 7)]) ('del ', [(0, 5)]) ('add ', [(2, 3)]) ('add ', [(1, 4)]) ('del ', [(2, 3)]) ('del ', [(1, 4)]) ('add ', [(6, 7)]) ('add ', [(0, 5)]) ('del ', [(6, 7)]) ('del ', [(0, 5)]) ('add ', [(2, 3)]) ('add ', [(1, 4)]) ('del ', [(2, 3)]) ('del ', [(1, 4)]) ('add ', [(6, 7)]) ('add ', [(0, 5)]) ('del ', [(6, 7)]) ('del ', [(0, 5)]) ('add ', [(2, 3)]) ('add ', [(1, 4)]) ('del ', [(2, 3)]) ('del ', [(1, 4)]) ('add ', [(6, 7)]) ('add ', [(0, 5)]) ('del ', [(6, 7)]) ('del ', [(0, 5)]) ('add ', [(2, 3)]) ('add ', [(1, 4)]) ('del ', [(2, 3)]) ('del ', [(1, 4)]) ('add ', [(6, 7)]) ('add ', [(0, 5)]) ('del ', [(6, 7)]) ('del ', [(0, 5)]) ('add ', [(2, 3)]) ('add ', [(1, 4)]) ('del ', [(2, 3)]) ('del ', [(1, 4)]) ('add ', [(6, 7)]) ('add ', [(0, 5)]) ('del ', [(6, 7)]) ('del ', [(0, 5)]) ('add ', [(2, 3)]) ('add ', [(1, 4)]) ('del ', [(2, 3)]) ('del ', [(1, 4)]) ('add ', [(6, 7)]) ('add ', [(0, 5)]) ('del ', [(6, 7)]) ('del ', [(0, 5)]) ('add ', [(2, 3)]) ('add ', [(1, 4)]) ('del ', [(2, 3)]) ('del ', [(1, 4)]) ('add ', [(6, 7)]) ('add ', [(0, 5)]) ('del ', [(6, 7)]) ('del ', [(0, 5)]) ('add ', [(2, 3)]) ('add ', [(1, 4)]) ('del ', [(2, 3)]) ('del ', [(1, 4)]) ('add ', [(6, 7)]) ('add ', [(0, 5)]) ('del ', [(6, 7)]) ('del ', [(0, 5)]) ('add ', [(2, 3)]) ('add ', [(1, 4)]) ('del ', [(2, 3)]) ('del ', [(1, 4)]) ('add ', [(6, 7)]) ('add ', [(0, 5)]) ('del ', [(6, 7)]) ('del ', [(0, 5)]) ('add ', [(2, 3)]) ('add ', [(1, 4)]) ('del ', [(2, 3)]) ('del ', [(1, 4)]) ('add ', [(6, 7)]) ('add ', [(0, 5)]) ('del ', [(6, 7)]) ('del ', [(0, 5)]) ('add ', [(2, 3)]) ('add ', [(1, 4)]) ('del ', [(2, 3)]) ('del ', [(1, 4)]) ('add ', [(6, 7)]) ('add ', [(0, 5)]) ('del ', [(6, 7)]) ('del ', [(0, 5)]) ('add ', [(2, 3)]) ('add ', [(1, 4)]) ('del ', [(2, 3)]) ('del ', [(1, 4)]) ('add ', [(6, 7)]) ('add ', [(0, 5)]) ('del ', [(6, 7)]) ('del ', [(0, 5)]) ('add ', [(2, 3)]) ('add ', [(1, 4)]) ('del ', [(2, 3)]) ('del ', [(1, 4)]) ('add ', [(6, 7)]) ('add ', [(0, 5)]) ('del ', [(6, 7)]) ('del ', [(0, 5)]) ('add ', [(2, 3)]) ('add ', [(1, 4)]) ('del ', [(2, 3)]) ('del ', [(1, 4)]) ('add ', [(6, 7)]) ('add ', [(0, 5)]) ('del ', [(6, 7)]) ('del ', [(0, 5)]) ('add ', [(2, 3)]) ('add ', [(1, 4)]) ('del ', [(2, 3)]) ('del ', [(1, 4)]) ('add ', [(6, 7)]) ('add ', [(0, 5)]) ('del ', [(6, 7)]) ('del ', [(0, 5)]) ('add ', [(2, 3)]) ('add ', [(1, 4)]) ('del ', [(2, 3)]) ('del ', [(1, 4)]) ('add ', [(6, 7)]) ('add ', [(0, 5)]) ('del ', [(6, 7)]) ('del ', [(0, 5)]) ('add ', [(2, 3)]) ('add ', [(1, 4)]) ('del ', [(2, 3)]) ('del ', [(1, 4)]) ('add ', [(6, 7)]) ('add ', [(0, 5)]) ('del ', [(6, 7)]) ('del ', [(0, 5)]) ('add ', [(2, 3)]) ('add ', [(1, 4)]) ('del ', [(2, 3)]) ('del ', [(1, 4)]) ('add ', [(6, 7)]) ('add ', [(0, 5)]) ('del ', [(6, 7)]) ('del ', [(0, 5)]) ('add ', [(2, 3)]) ('add ', [(1, 4)]) ('del ', [(2, 3)]) ('del ', [(1, 4)]) ('add ', [(6, 7)]) ('add ', [(0, 5)]) ('del ', [(6, 7)]) ('del ', [(0, 5)]) ('add ', [(2, 3)]) ('add ', [(1, 4)]) ('del ', [(2, 3)]) ('del ', [(1, 4)]) ('add ', [(6, 7)]) ('add ', [(0, 5)]) ('del ', [(6, 7)]) ('del ', [(0, 5)]) ('add ', [(2, 3)]) ('add ', [(1, 4)]) ('del ', [(2, 3)]) ('del ', [(1, 4)]) ('add ', [(6, 7)]) ('add ', [(0, 5)]) ('del ', [(6, 7)]) ('del ', [(0, 5)]) ('add ', [(2, 3)]) ('add ', [(1, 4)]) ('del ', [(2, 3)]) ('del ', [(1, 4)]) ('add ', [(6, 7)]) ('add ', [(0, 5)]) ('del ', [(6, 7)]) ('del ', [(0, 5)]) ('add ', [(2, 3)]) ('add ', [(1, 4)]) ('del ', [(2, 3)]) ('del ', [(1, 4)]) ('add ', [(6, 7)]) ('add ', [(0, 5)]) ('del ', [(6, 7)]) ('del ', [(0, 5)]) ('add ', [(2, 3)]) ('add ', [(1, 4)]) ('del ', [(2, 3)]) ('del ', [(1, 4)]) ('add ', [(6, 7)]) ('add ', [(0, 5)]) ('del ', [(6, 7)]) ('del ', [(0, 5)]) ('add ', [(2, 3)]) ('add ', [(1, 4)]) ('del ', [(2, 3)]) ('del ', [(1, 4)]) ('add ', [(6, 7)]) ('add ', [(0, 5)]) ('del ', [(6, 7)]) ('del ', [(0, 5)]) ('add ', [(2, 3)]) ('add ', [(1, 4)]) ('del ', [(2, 3)]) ('del ', [(1, 4)]) ('add ', [(6, 7)]) ('add ', [(0, 5)]) ('del ', [(6, 7)]) ('del ', [(0, 5)]) ('add ', [(2, 3)]) ('add ', [(1, 4)]) ('del ', [(2, 3)]) ('del ', [(1, 4)]) ('add ', [(6, 7)]) ('add ', [(0, 5)]) ('del ', [(6, 7)]) ('del ', [(0, 5)]) ('add ', [(2, 3)]) ('add ', [(1, 4)]) ('del ', [(2, 3)]) ('del ', [(1, 4)]) ('add ', [(6, 7)]) ('add ', [(0, 5)]) ('del ', [(6, 7)]) ('del ', [(0, 5)]) ('add ', [(2, 3)]) ('add ', [(1, 4)]) ('del ', [(2, 3)]) ('del ', [(1, 4)]) ('add ', [(6, 7)]) ('add ', [(0, 5)]) ('del ', [(6, 7)]) ('del ', [(0, 5)]) ('add ', [(2, 3)]) ('add ', [(1, 4)]) ('del ', [(2, 3)]) ('del ', [(1, 4)]) ('add ', [(6, 7)]) ('add ', [(0, 5)]) ('del ', [(6, 7)]) ('del ', [(0, 5)]) ('add ', [(2, 3)]) ('add ', [(1, 4)]) ('del ', [(2, 3)]) ('del ', [(1, 4)]) ('add ', [(6, 7)]) ('add ', [(0, 5)]) ('del ', [(6, 7)]) ('del ', [(0, 5)]) ('add ', [(2, 3)]) ('add ', [(1, 4)]) ('del ', [(2, 3)]) ('del ', [(1, 4)]) ('add ', [(6, 7)]) ('add ', [(0, 5)]) ('del ', [(6, 7)]) ('del ', [(0, 5)]) ('add ', [(2, 3)]) ('add ', [(1, 4)]) ('del ', [(2, 3)]) ('del ', [(1, 4)]) ('add ', [(6, 7)]) ('add ', [(0, 5)]) ('del ', [(6, 7)]) ('del ', [(0, 5)]) ('add ', [(2, 3)]) ('add ', [(1, 4)]) ('del ', [(2, 3)]) ('del ', [(1, 4)]) ('add ', [(6, 7)]) ('add ', [(0, 5)]) ('del ', [(6, 7)]) ('del ', [(0, 5)]) ('add ', [(2, 3)]) ('add ', [(1, 4)]) ('del ', [(2, 3)]) ('del ', [(1, 4)]) ('add ', [(6, 7)]) ('add ', [(0, 5)]) ('del ', [(6, 7)]) ('del ', [(0, 5)]) ('add ', [(2, 3)]) ('add ', [(1, 4)]) ('del ', [(2, 3)]) ('del ', [(1, 4)]) ('add ', [(6, 7)]) ('add ', [(0, 5)]) ('del ', [(6, 7)]) ('del ', [(0, 5)]) ('add ', [(2, 3)]) ('add ', [(1, 4)]) ('del ', [(2, 3)]) ('del ', [(1, 4)]) ('add ', [(6, 7)]) ('add ', [(0, 5)]) ('del ', [(6, 7)]) ('del ', [(0, 5)]) ('add ', [(2, 3)]) ('add ', [(1, 4)]) ('del ', [(2, 3)]) ('del ', [(1, 4)]) ('add ', [(6, 7)]) ('add ', [(0, 5)]) ('del ', [(6, 7)]) ('del ', [(0, 5)]) ('add ', [(2, 3)]) ('add ', [(1, 4)]) ('del ', [(2, 3)]) ('del ', [(1, 4)]) ('add ', [(6, 7)]) ('add ', [(0, 5)]) ('del ', [(6, 7)]) ('del ', [(0, 5)]) ('add ', [(2, 3)]) ('add ', [(1, 4)]) ('del ', [(2, 3)]) ('del ', [(1, 4)]) ('add ', [(6, 7)]) ('add ', [(0, 5)]) ('del ', [(6, 7)]) ('del ', [(0, 5)]) ('add ', [(2, 3)]) ('add ', [(1, 4)]) ('del ', [(2, 3)]) ('del ', [(1, 4)]) ('add ', [(6, 7)]) ('add ', [(0, 5)]) ('del ', [(6, 7)]) ('del ', [(0, 5)]) ('add ', [(2, 3)]) ('add ', [(1, 4)]) ('del ', [(2, 3)]) ('del ', [(1, 4)]) ('add ', [(6, 7)]) ('add ', [(0, 5)]) ('del ', [(6, 7)]) ('del ', [(0, 5)]) ('add ', [(2, 3)]) ('add ', [(1, 4)]) ('del ', [(2, 3)]) ('del ', [(1, 4)]) ('add ', [(6, 7)]) ('add ', [(0, 5)]) ('del ', [(6, 7)]) ('del ', [(0, 5)]) ('add ', [(2, 3)]) ('add ', [(1, 4)]) ('del ', [(2, 3)]) ('del ', [(1, 4)]) ('add ', [(6, 7)]) ('add ', [(0, 5)]) ('del ', [(6, 7)]) ('del ', [(0, 5)]) ('add ', [(2, 3)]) ('add ', [(1, 4)]) ('del ', [(2, 3)]) ('del ', [(1, 4)]) ('add ', [(6, 7)]) ('add ', [(0, 5)]) ('del ', [(6, 7)]) ('del ', [(0, 5)]) ('add ', [(2, 3)]) ('add ', [(1, 4)]) ('del ', [(2, 3)]) ('del ', [(1, 4)]) ('add ', [(6, 7)]) ('add ', [(0, 5)]) ('del ', [(6, 7)]) ('del ', [(0, 5)]) ('add ', [(2, 3)]) ('add ', [(1, 4)]) ('del ', [(2, 3)]) ('del ', [(1, 4)]) ('add ', [(6, 7)]) ('add ', [(0, 5)]) ('del ', [(6, 7)]) ('del ', [(0, 5)]) ('add ', [(2, 3)]) ('add ', [(1, 4)]) ('del ', [(2, 3)]) ('del ', [(1, 4)]) ('add ', [(6, 7)]) ('add ', [(0, 5)]) ('del ', [(6, 7)]) ('del ', [(0, 5)]) ('add ', [(2, 3)]) ('add ', [(1, 4)]) ('del ', [(2, 3)]) ('del ', [(1, 4)]) ('add ', [(6, 7)]) ('add ', [(0, 5)]) ('del ', [(6, 7)]) ('del ', [(0, 5)]) ('add ', [(2, 3)]) ('add ', [(1, 4)]) ('del ', [(2, 3)]) ('del ', [(1, 4)]) ('add ', [(6, 7)]) ('add ', [(0, 5)]) ('del ', [(6, 7)]) ('del ', [(0, 5)]) ('add ', [(2, 3)]) ('add ', [(1, 4)]) ('del ', [(2, 3)]) ('del ', [(1, 4)]) ('add ', [(6, 7)]) ('add ', [(0, 5)]) ('del ', [(6, 7)]) ('del ', [(0, 5)]) ('add ', [(2, 3)]) ('add ', [(1, 4)]) ('del ', [(2, 3)]) ('del ', [(1, 4)]) ('add ', [(6, 7)]) ('add ', [(0, 5)]) ('del ', [(6, 7)]) ('del ', [(0, 5)]) ('add ', [(2, 3)]) ('add ', [(1, 4)]) ('del ', [(2, 3)]) ('del ', [(1, 4)]) ('add ', [(6, 7)]) ('add ', [(0, 5)]) ('del ', [(6, 7)]) ('del ', [(0, 5)]) ('add ', [(2, 3)]) ('add ', [(1, 4)]) ('del ', [(2, 3)]) ('del ', [(1, 4)]) ('add ', [(6, 7)]) ('add ', [(0, 5)]) ('del ', [(6, 7)]) ('del ', [(0, 5)]) ('add ', [(2, 3)]) ('add ', [(1, 4)]) ('del ', [(2, 3)]) ('del ', [(1, 4)]) ('add ', [(6, 7)]) ('add ', [(0, 5)]) ('del ', [(6, 7)]) ('del ', [(0, 5)]) ('add ', [(2, 3)]) ('add ', [(1, 4)]) ('del ', [(2, 3)]) ('del ', [(1, 4)]) ('add ', [(6, 7)]) ('add ', [(0, 5)]) ('del ', [(6, 7)]) ('del ', [(0, 5)]) ('add ', [(2, 3)]) ('add ', [(1, 4)]) ('del ', [(2, 3)]) ('del ', [(1, 4)]) ('add ', [(6, 7)]) ('add ', [(0, 5)]) ('del ', [(6, 7)]) ('del ', [(0, 5)]) ('add ', [(2, 3)]) ('add ', [(1, 4)]) ('del ', [(2, 3)]) ('del ', [(1, 4)]) ('add ', [(6, 7)]) ('add ', [(0, 5)]) ('del ', [(6, 7)]) ('del ', [(0, 5)]) ('add ', [(2, 3)]) ('add ', [(1, 4)]) ('del ', [(2, 3)]) ('del ', [(1, 4)]) ('add ', [(6, 7)]) ('add ', [(0, 5)]) ('del ', [(6, 7)]) ('del ', [(0, 5)]) ('add ', [(2, 3)]) ('add ', [(1, 4)]) ('del ', [(2, 3)]) ('del ', [(1, 4)]) ('add ', [(6, 7)]) ('add ', [(0, 5)]) ('del ', [(6, 7)]) ('del ', [(0, 5)]) ('add ', [(2, 3)]) ('add ', [(1, 4)]) ('del ', [(2, 3)]) ('del ', [(1, 4)]) ('add ', [(6, 7)]) ('add ', [(0, 5)]) ('del ', [(6, 7)]) ('del ', [(0, 5)]) ('add ', [(2, 3)]) ('add ', [(1, 4)]) ('del ', [(2, 3)]) ('del ', [(1, 4)]) ('add ', [(6, 7)]) ('add ', [(0, 5)]) ('del ', [(6, 7)]) ('del ', [(0, 5)]) ('add ', [(2, 3)]) ('add ', [(1, 4)]) ('del ', [(2, 3)]) ('del ', [(1, 4)]) ('add ', [(6, 7)]) ('add ', [(0, 5)]) ('del ', [(6, 7)]) ('del ', [(0, 5)]) ('add ', [(2, 3)]) ('add ', [(1, 4)]) ('del ', [(2, 3)]) ('del ', [(1, 4)]) ('add ', [(6, 7)]) ('add ', [(0, 5)]) ('del ', [(6, 7)]) ('del ', [(0, 5)]) ('add ', [(2, 3)]) ('add ', [(1, 4)]) ('del ', [(2, 3)]) ('del ', [(1, 4)]) ('add ', [(6, 7)]) ('add ', [(0, 5)]) ('del ', [(6, 7)]) ('del ', [(0, 5)]) ('add ', [(2, 3)]) ('add ', [(1, 4)]) ('del ', [(2, 3)]) ('del ', [(1, 4)]) ('add ', [(6, 7)]) ('add ', [(0, 5)]) ('del ', [(6, 7)]) ('del ', [(0, 5)]) ('add ', [(2, 3)]) ('add ', [(1, 4)]) ('del ', [(2, 3)]) ('del ', [(1, 4)]) ('add ', [(6, 7)]) ('add ', [(0, 5)]) ('del ', [(6, 7)]) ('del ', [(0, 5)]) ('add ', [(2, 3)]) ('add ', [(1, 4)]) ('del ', [(2, 3)]) ('del ', [(1, 4)]) ('add ', [(6, 7)]) ('add ', [(0, 5)]) ('del ', [(6, 7)]) ('del ', [(0, 5)]) ('add ', [(2, 3)]) ('add ', [(1, 4)]) ('del ', [(2, 3)]) ('del ', [(1, 4)]) ('add ', [(6, 7)]) ('add ', [(0, 5)]) ('del ', [(6, 7)]) ('del ', [(0, 5)]) ('add ', [(2, 3)]) ('add ', [(1, 4)]) ('del ', [(2, 3)]) ('del ', [(1, 4)]) ('add ', [(6, 7)]) ('add ', [(0, 5)]) ('del ', [(6, 7)]) ('del ', [(0, 5)]) ('add ', [(2, 3)]) ('add ', [(1, 4)]) ('del ', [(2, 3)]) ('del ', [(1, 4)]) ('add ', [(6, 7)]) ('add ', [(0, 5)]) ('del ', [(6, 7)]) ('del ', [(0, 5)]) ('add ', [(2, 3)]) ('add ', [(1, 4)]) ('del ', [(2, 3)]) ('del ', [(1, 4)]) ('add ', [(6, 7)]) ('add ', [(0, 5)]) ('del ', [(6, 7)]) ('del ', [(0, 5)]) ('add ', [(2, 3)]) ('add ', [(1, 4)]) ('del ', [(2, 3)]) ('del ', [(1, 4)]) ('add ', [(6, 7)]) ('add ', [(0, 5)]) ('del ', [(6, 7)]) ('del ', [(0, 5)]) ('add ', [(2, 3)]) ('add ', [(1, 4)]) ('del ', [(2, 3)]) ('del ', [(1, 4)]) ('add ', [(6, 7)]) ('add ', [(0, 5)]) ('del ', [(6, 7)]) ('del ', [(0, 5)]) ('add ', [(2, 3)]) ('add ', [(1, 4)]) ('del ', [(2, 3)]) ('del ', [(1, 4)]) ('add ', [(6, 7)]) ('add ', [(0, 5)]) ('del ', [(6, 7)]) ('del ', [(0, 5)]) ('add ', [(2, 3)]) ('add ', [(1, 4)]) ('del ', [(2, 3)]) ('del ', [(1, 4)]) ('add ', [(6, 7)]) ('add ', [(0, 5)]) ('del ', [(6, 7)]) ('del ', [(0, 5)]) ('add ', [(2, 3)]) ('add ', [(1, 4)]) ('del ', [(2, 3)]) ('del ', [(1, 4)]) ('add ', [(6, 7)]) ('add ', [(0, 5)]) ('del ', [(6, 7)]) ('del ', [(0, 5)]) ('add ', [(2, 3)]) ('add ', [(1, 4)]) ('del ', [(2, 3)]) ('del ', [(1, 4)]) ('add ', [(6, 7)]) ('add ', [(0, 5)]) ('del ', [(6, 7)]) ('del ', [(0, 5)]) ('add ', [(2, 3)]) ('add ', [(1, 4)]) ('del ', [(2, 3)]) ('del ', [(1, 4)]) ('add ', [(6, 7)]) ('add ', [(0, 5)]) ('del ', [(6, 7)]) ('del ', [(0, 5)]) ('add ', [(2, 3)]) ('add ', [(1, 4)]) ('del ', [(2, 3)]) ('del ', [(1, 4)]) ('add ', [(6, 7)]) ('add ', [(0, 5)]) ('del ', [(6, 7)]) ('del ', [(0, 5)]) ('add ', [(2, 3)]) ('add ', [(1, 4)]) ('del ', [(2, 3)]) ('del ', [(1, 4)]) ('add ', [(6, 7)]) ('add ', [(0, 5)]) ('del ', [(6, 7)]) ('del ', [(0, 5)]) ('add ', [(2, 3)]) ('add ', [(1, 4)]) ('del ', [(2, 3)]) ('del ', [(1, 4)]) ('add ', [(6, 7)]) ('add ', [(0, 5)]) ('del ', [(6, 7)]) ('del ', [(0, 5)]) ('add ', [(2, 3)]) ('add ', [(1, 4)]) ('del ', [(2, 3)]) ('del ', [(1, 4)]) ('add ', [(6, 7)]) ('add ', [(0, 5)]) ('del ', [(6, 7)]) ('del ', [(0, 5)]) ('add ', [(2, 3)]) ('add ', [(1, 4)]) ('del ', [(2, 3)]) ('del ', [(1, 4)]) ('add ', [(6, 7)]) ('add ', [(0, 5)]) ('del ', [(6, 7)]) ('del ', [(0, 5)]) ('add ', [(2, 3)]) ('add ', [(1, 4)]) ('del ', [(2, 3)]) ('del ', [(1, 4)]) ('add ', [(6, 7)]) ('add ', [(0, 5)]) ('del ', [(6, 7)]) ('del ', [(0, 5)]) ('add ', [(2, 3)]) ('add ', [(1, 4)]) ('del ', [(2, 3)]) ('del ', [(1, 4)]) ('add ', [(6, 7)]) ('add ', [(0, 5)]) ('del ', [(6, 7)]) ('del ', [(0, 5)]) ('add ', [(2, 3)]) ('add ', [(1, 4)]) ('del ', [(2, 3)]) ('del ', [(1, 4)]) ('add ', [(6, 7)]) ('add ', [(0, 5)]) ('del ', [(6, 7)]) ('del ', [(0, 5)]) ('add ', [(2, 3)]) ('add ', [(1, 4)]) ('del ', [(2, 3)]) ('del ', [(1, 4)]) ('add ', [(6, 7)]) ('add ', [(0, 5)]) ('del ', [(6, 7)]) ('del ', [(0, 5)]) ('add ', [(2, 3)]) ('add ', [(1, 4)]) ('del ', [(2, 3)]) ('del ', [(1, 4)]) ('add ', [(6, 7)]) ('add ', [(0, 5)]) ('del ', [(6, 7)]) ('del ', [(0, 5)]) ('add ', [(2, 3)]) ('add ', [(1, 4)]) ('del ', [(2, 3)]) ('del ', [(1, 4)]) ('add ', [(6, 7)]) ('add ', [(0, 5)]) ('del ', [(6, 7)]) ('del ', [(0, 5)]) ('add ', [(2, 3)]) ('add ', [(1, 4)]) ('del ', [(2, 3)]) ('del ', [(1, 4)]) ('add ', [(6, 7)]) ('add ', [(0, 5)]) ('del ', [(6, 7)]) ('del ', [(0, 5)]) ('add ', [(2, 3)]) ('add ', [(1, 4)]) ('del ', [(2, 3)]) ('del ', [(1, 4)]) ('add ', [(6, 7)]) ('add ', [(0, 5)]) ('del ', [(6, 7)]) ('del ', [(0, 5)]) ('add ', [(2, 3)]) ('add ', [(1, 4)]) ('del ', [(2, 3)]) ('del ', [(1, 4)]) ('add ', [(6, 7)]) ('add ', [(0, 5)]) ('del ', [(6, 7)]) ('del ', [(0, 5)]) ('add ', [(2, 3)]) ('add ', [(1, 4)]) ('del ', [(2, 3)]) ('del ', [(1, 4)]) ('add ', [(6, 7)]) ('add ', [(0, 5)]) ('del ', [(6, 7)]) ('del ', [(0, 5)]) ('add ', [(2, 3)]) ('add ', [(1, 4)]) ('del ', [(2, 3)]) ('del ', [(1, 4)]) ('add ', [(6, 7)]) ('add ', [(0, 5)]) ('del ', [(6, 7)]) ('del ', [(0, 5)]) ('add ', [(2, 3)]) ('add ', [(1, 4)]) ('del ', [(2, 3)]) ('del ', [(1, 4)]) ('add ', [(6, 7)]) ('add ', [(0, 5)]) ('del ', [(6, 7)]) ('del ', [(0, 5)]) ('add ', [(2, 3)]) ('add ', [(1, 4)]) ('del ', [(2, 3)]) ('del ', [(1, 4)]) ('add ', [(6, 7)]) ('add ', [(0, 5)]) ('del ', [(6, 7)]) ('del ', [(0, 5)]) ('add ', [(2, 3)]) ('add ', [(1, 4)]) ('del ', [(2, 3)]) ('del ', [(1, 4)]) ('add ', [(6, 7)]) ('add ', [(0, 5)]) ('del ', [(6, 7)]) ('del ', [(0, 5)]) ('add ', [(2, 3)]) ('add ', [(1, 4)]) ('del ', [(2, 3)]) ('del ', [(1, 4)]) ('add ', [(6, 7)]) ('add ', [(0, 5)]) ('del ', [(6, 7)]) ('del ', [(0, 5)]) ('add ', [(2, 3)]) ('add ', [(1, 4)]) ('del ', [(2, 3)]) ('del ', [(1, 4)]) ('add ', [(6, 7)]) ('add ', [(0, 5)]) ('del ', [(6, 7)]) ('del ', [(0, 5)]) ('add ', [(2, 3)]) ('add ', [(1, 4)]) ('del ', [(2, 3)]) ('del ', [(1, 4)]) ('add ', [(6, 7)]) ('add ', [(0, 5)]) ('del ', [(6, 7)]) ('del ', [(0, 5)]) ('add ', [(2, 3)]) ('add ', [(1, 4)]) ('del ', [(2, 3)]) ('del ', [(1, 4)]) ('add ', [(6, 7)]) ('add ', [(0, 5)]) ('del ', [(6, 7)]) ('del ', [(0, 5)]) ('add ', [(2, 3)]) ('add ', [(1, 4)]) ('del ', [(2, 3)]) ('del ', [(1, 4)]) ('add ', [(6, 7)]) ('add ', [(0, 5)]) ('del ', [(6, 7)]) ('del ', [(0, 5)]) ('add ', [(2, 3)]) ('add ', [(1, 4)]) ('del ', [(2, 3)]) ('del ', [(1, 4)]) ('add ', [(6, 7)]) ('add ', [(0, 5)]) ('del ', [(6, 7)]) ('del ', [(0, 5)]) ('add ', [(2, 3)]) ('add ', [(1, 4)]) ('del ', [(2, 3)]) ('del ', [(1, 4)]) ('add ', [(6, 7)]) ('add ', [(0, 5)]) ('del ', [(6, 7)]) ('del ', [(0, 5)]) ('add ', [(2, 3)]) ('add ', [(1, 4)]) ('del ', [(2, 3)]) ('del ', [(1, 4)]) ('add ', [(6, 7)]) ('add ', [(0, 5)]) ('del ', [(6, 7)]) ('del ', [(0, 5)]) ('add ', [(2, 3)]) ('add ', [(1, 4)]) ('del ', [(2, 3)]) ('del ', [(1, 4)]) ('add ', [(6, 7)]) ('add ', [(0, 5)]) ('del ', [(6, 7)]) ('del ', [(0, 5)]) ('add ', [(2, 3)]) ('add ', [(1, 4)]) ('del ', [(2, 3)]) ('del ', [(1, 4)]) ('add ', [(6, 7)]) ('add ', [(0, 5)]) ('del ', [(6, 7)]) ('del ', [(0, 5)]) ('add ', [(2, 3)]) ('add ', [(1, 4)]) ('del ', [(2, 3)]) ('del ', [(1, 4)]) ('add ', [(6, 7)]) ('add ', [(0, 5)]) ('del ', [(6, 7)]) ('del ', [(0, 5)]) ('add ', [(2, 3)]) ('add ', [(1, 4)]) ('del ', [(2, 3)]) ('del ', [(1, 4)]) ('add ', [(6, 7)]) ('add ', [(0, 5)]) ('del ', [(6, 7)]) ('del ', [(0, 5)]) ('add ', [(2, 3)]) ('add ', [(1, 4)]) ('del ', [(2, 3)]) ('del ', [(1, 4)]) ('add ', [(6, 7)]) ('add ', [(0, 5)]) ('del ', [(6, 7)]) ('del ', [(0, 5)]) ('add ', [(2, 3)]) ('add ', [(1, 4)]) ('del ', [(2, 3)]) ('del ', [(1, 4)]) ('add ', [(6, 7)]) ('add ', [(0, 5)]) ('del ', [(6, 7)]) ('del ', [(0, 5)]) ('add ', [(2, 3)]) ('add ', [(1, 4)]) ('del ', [(2, 3)]) ('del ', [(1, 4)]) ('add ', [(6, 7)]) ('add ', [(0, 5)]) ('del ', [(6, 7)]) ('del ', [(0, 5)]) ('add ', [(2, 3)]) ('add ', [(1, 4)]) ('del ', [(2, 3)]) ('del ', [(1, 4)]) ('add ', [(6, 7)]) ('add ', [(0, 5)]) ('del ', [(6, 7)]) ('del ', [(0, 5)]) ('add ', [(2, 3)]) ('add ', [(1, 4)]) ('del ', [(2, 3)]) ('del ', [(1, 4)]) ('add ', [(6, 7)]) ('add ', [(0, 5)]) ('del ', [(6, 7)]) ('del ', [(0, 5)]) ('add ', [(2, 3)]) ('add ', [(1, 4)]) ('del ', [(2, 3)]) ('del ', [(1, 4)]) ('add ', [(6, 7)]) ('add ', [(0, 5)]) ('del ', [(6, 7)]) ('del ', [(0, 5)]) ('add ', [(2, 3)]) ('add ', [(1, 4)]) ('del ', [(2, 3)]) ('del ', [(1, 4)]) ('add ', [(6, 7)]) ('add ', [(0, 5)]) ('del ', [(6, 7)]) ('del ', [(0, 5)]) ('add ', [(2, 3)]) ('add ', [(1, 4)]) ('del ', [(2, 3)]) ('del ', [(1, 4)]) ('add ', [(6, 7)]) ('add ', [(0, 5)]) ('del ', [(6, 7)]) ('del ', [(0, 5)]) ('add ', [(2, 3)]) ('add ', [(1, 4)]) ('del ', [(2, 3)]) ('del ', [(1, 4)]) ('add ', [(6, 7)]) ('add ', [(0, 5)]) ('del ', [(6, 7)]) ('del ', [(0, 5)]) ('add ', [(2, 3)]) ('add ', [(1, 4)]) ('del ', [(2, 3)]) ('del ', [(1, 4)]) ('add ', [(6, 7)]) ('add ', [(0, 5)]) ('del ', [(6, 7)]) ('del ', [(0, 5)]) ('add ', [(2, 3)]) ('add ', [(1, 4)]) ('del ', [(2, 3)]) ('del ', [(1, 4)]) ('add ', [(6, 7)]) ('add ', [(0, 5)]) ('del ', [(6, 7)]) ('del ', [(0, 5)]) ('add ', [(2, 3)]) ('add ', [(1, 4)]) ('del ', [(2, 3)]) ('del ', [(1, 4)]) ('add ', [(6, 7)]) ('add ', [(0, 5)]) ('del ', [(6, 7)]) ('del ', [(0, 5)]) ('add ', [(2, 3)]) ('add ', [(1, 4)]) ('del ', [(2, 3)]) ('del ', [(1, 4)]) ('add ', [(6, 7)]) ('add ', [(0, 5)]) ('del ', [(6, 7)]) ('del ', [(0, 5)]) ('add ', [(2, 3)]) ('add ', [(1, 4)]) ('del ', [(2, 3)]) ('del ', [(1, 4)]) ('add ', [(6, 7)]) ('add ', [(0, 5)]) ('del ', [(6, 7)]) ('del ', [(0, 5)]) ('add ', [(2, 3)]) ('add ', [(1, 4)]) ('del ', [(2, 3)]) ('del ', [(1, 4)]) ('add ', [(6, 7)]) ('add ', [(0, 5)]) ('del ', [(6, 7)]) ('del ', [(0, 5)]) ('add ', [(2, 3)]) ('add ', [(1, 4)]) ('del ', [(2, 3)]) ('del ', [(1, 4)]) ('add ', [(6, 7)]) ('add ', [(0, 5)]) ('del ', [(6, 7)]) ('del ', [(0, 5)]) ('add ', [(2, 3)]) ('add ', [(1, 4)]) ('del ', [(2, 3)]) ('del ', [(1, 4)]) ('add ', [(6, 7)]) ('add ', [(0, 5)]) ('del ', [(6, 7)]) ('del ', [(0, 5)]) ('add ', [(2, 3)]) ('add ', [(1, 4)]) ('del ', [(2, 3)]) ('del ', [(1, 4)]) ('add ', [(6, 7)]) ('add ', [(0, 5)]) ('del ', [(6, 7)]) ('del ', [(0, 5)]) ('add ', [(2, 3)]) ('add ', [(1, 4)]) ('del ', [(2, 3)]) ('del ', [(1, 4)]) ('add ', [(6, 7)]) ('add ', [(0, 5)]) ('del ', [(6, 7)]) ('del ', [(0, 5)]) ('add ', [(2, 3)]) ('add ', [(1, 4)]) ('del ', [(2, 3)]) ('del ', [(1, 4)]) ('add ', [(6, 7)]) ('add ', [(0, 5)]) ('del ', [(6, 7)]) ('del ', [(0, 5)]) ('add ', [(2, 3)]) ('add ', [(1, 4)]) ('del ', [(2, 3)]) ('del ', [(1, 4)]) ('add ', [(6, 7)]) ('add ', [(0, 5)]) ('del ', [(6, 7)]) ('del ', [(0, 5)]) ('add ', [(2, 3)]) ('add ', [(1, 4)]) ('del ', [(2, 3)]) ('del ', [(1, 4)]) ('add ', [(6, 7)]) ('add ', [(0, 5)]) ('del ', [(6, 7)]) ('del ', [(0, 5)]) ('add ', [(2, 3)]) ('add ', [(1, 4)]) ('del ', [(2, 3)]) ('del ', [(1, 4)]) ('add ', [(6, 7)]) ('add ', [(0, 5)]) ('del ', [(6, 7)]) ('del ', [(0, 5)]) ('add ', [(2, 3)]) ('add ', [(1, 4)]) ('del ', [(2, 3)]) ('del ', [(1, 4)]) ('add ', [(6, 7)]) ('add ', [(0, 5)]) ('del ', [(6, 7)]) ('del ', [(0, 5)]) ('add ', [(2, 3)]) ('add ', [(1, 4)]) ('del ', [(2, 3)]) ('del ', [(1, 4)]) ('add ', [(6, 7)]) ('add ', [(0, 5)]) ('del ', [(6, 7)]) ('del ', [(0, 5)]) ('add ', [(2, 3)]) ('add ', [(1, 4)]) ('del ', [(2, 3)]) ('del ', [(1, 4)]) ('add ', [(6, 7)]) ('add ', [(0, 5)]) ('del ', [(6, 7)]) ('del ', [(0, 5)]) ('add ', [(2, 3)]) ('add ', [(1, 4)]) ('del ', [(2, 3)]) ('del ', [(1, 4)]) ('add ', [(6, 7)]) ('add ', [(0, 5)]) ('del ', [(6, 7)]) ('del ', [(0, 5)]) ('add ', [(2, 3)]) ('add ', [(1, 4)]) ('del ', [(2, 3)]) ('del ', [(1, 4)]) ('add ', [(6, 7)]) ('add ', [(0, 5)]) ('del ', [(6, 7)]) ('del ', [(0, 5)]) ('add ', [(2, 3)]) ('add ', [(1, 4)]) ('del ', [(2, 3)]) ('del ', [(1, 4)]) ('add ', [(6, 7)]) ('add ', [(0, 5)]) ('del ', [(6, 7)]) ('del ', [(0, 5)]) ('add ', [(2, 3)]) ('add ', [(1, 4)]) ('del ', [(2, 3)]) ('del ', [(1, 4)]) ('add ', [(6, 7)]) ('add ', [(0, 5)]) ('del ', [(6, 7)]) ('del ', [(0, 5)]) ('add ', [(2, 3)]) ('add ', [(1, 4)]) ('del ', [(2, 3)]) ('del ', [(1, 4)]) ('add ', [(6, 7)]) ('add ', [(0, 5)]) ('del ', [(6, 7)]) ('del ', [(0, 5)]) ('add ', [(2, 3)]) ('add ', [(1, 4)]) ('del ', [(2, 3)]) ('del ', [(1, 4)]) ('add ', [(6, 7)]) ('add ', [(0, 5)]) ('del ', [(6, 7)]) ('del ', [(0, 5)]) ('add ', [(2, 3)]) ('add ', [(1, 4)]) ('del ', [(2, 3)]) ('del ', [(1, 4)]) ('add ', [(6, 7)]) ('add ', [(0, 5)]) ('del ', [(6, 7)]) ('del ', [(0, 5)]) ('add ', [(2, 3)]) ('add ', [(1, 4)]) ('del ', [(2, 3)]) ('del ', [(1, 4)]) ('add ', [(6, 7)]) ('add ', [(0, 5)]) ('del ', [(6, 7)]) ('del ', [(0, 5)]) ('add ', [(2, 3)]) ('add ', [(1, 4)]) ('del ', [(2, 3)]) ('del ', [(1, 4)]) ('add ', [(6, 7)]) ('add ', [(0, 5)]) ('del ', [(6, 7)]) ('del ', [(0, 5)]) ('add ', [(2, 3)]) ('add ', [(1, 4)]) ('del ', [(2, 3)]) ('del ', [(1, 4)]) ('add ', [(6, 7)]) ('add ', [(0, 5)]) ('del ', [(6, 7)]) ('del ', [(0, 5)]) ('add ', [(2, 3)]) ('add ', [(1, 4)]) ('del ', [(2, 3)]) ('del ', [(1, 4)]) ('add ', [(6, 7)]) ('add ', [(0, 5)]) ('del ', [(6, 7)]) ('del ', [(0, 5)]) ('add ', [(2, 3)]) ('add ', [(1, 4)]) ('del ', [(2, 3)]) ('del ', [(1, 4)]) ('add ', [(6, 7)]) ('add ', [(0, 5)]) ('del ', [(6, 7)]) ('del ', [(0, 5)]) ('add ', [(2, 3)]) ('add ', [(1, 4)]) ('del ', [(2, 3)]) ('del ', [(1, 4)]) ('add ', [(6, 7)]) ('add ', [(0, 5)]) ('del ', [(6, 7)]) ('del ', [(0, 5)]) ('add ', [(2, 3)]) ('add ', [(1, 4)]) ('del ', [(2, 3)]) ('del ', [(1, 4)]) ('add ', [(6, 7)]) ('add ', [(0, 5)]) ('del ', [(6, 7)]) ('del ', [(0, 5)]) ('add ', [(2, 3)]) ('add ', [(1, 4)]) ('del ', [(2, 3)]) ('del ', [(1, 4)]) ('add ', [(6, 7)]) ('add ', [(0, 5)]) ('del ', [(6, 7)]) ('del ', [(0, 5)]) ('add ', [(2, 3)]) ('add ', [(1, 4)]) ('del ', [(2, 3)]) ('del ', [(1, 4)]) ('add ', [(6, 7)]) ('add ', [(0, 5)]) ('del ', [(6, 7)]) ('del ', [(0, 5)]) ('add ', [(2, 3)]) ('add ', [(1, 4)]) ('del ', [(2, 3)]) ('del ', [(1, 4)]) ('add ', [(6, 7)]) ('add ', [(0, 5)]) ('del ', [(6, 7)]) ('del ', [(0, 5)]) ('add ', [(2, 3)]) ('add ', [(1, 4)]) ('del ', [(2, 3)]) ('del ', [(1, 4)]) ('add ', [(6, 7)]) ('add ', [(0, 5)]) ('del ', [(6, 7)]) ('del ', [(0, 5)]) ('add ', [(2, 3)]) ('add ', [(1, 4)]) ('del ', [(2, 3)]) ('del ', [(1, 4)]) ('add ', [(6, 7)]) ('add ', [(0, 5)]) ('del ', [(6, 7)]) ('del ', [(0, 5)]) ('add ', [(2, 3)]) ('add ', [(1, 4)]) ('del ', [(2, 3)]) ('del ', [(1, 4)]) ('add ', [(6, 7)]) ('add ', [(0, 5)]) ('del ', [(6, 7)]) ('del ', [(0, 5)]) ('add ', [(2, 3)]) ('add ', [(1, 4)]) ('del ', [(2, 3)]) ('del ', [(1, 4)]) ('add ', [(6, 7)]) ('add ', [(0, 5)]) ('del ', [(6, 7)]) ('del ', [(0, 5)]) ('add ', [(2, 3)]) ('add ', [(1, 4)]) ('del ', [(2, 3)]) ('del ', [(1, 4)]) ('add ', [(6, 7)]) ('add ', [(0, 5)]) ('del ', [(6, 7)]) ('del ', [(0, 5)]) ('add ', [(2, 3)]) ('add ', [(1, 4)]) ('del ', [(2, 3)]) ('del ', [(1, 4)]) ('add ', [(6, 7)]) ('add ', [(0, 5)]) ('del ', [(6, 7)]) ('del ', [(0, 5)]) ('add ', [(2, 3)]) ('add ', [(1, 4)]) ('del ', [(2, 3)]) ('del ', [(1, 4)]) ('add ', [(6, 7)]) ('add ', [(0, 5)]) ('del ', [(6, 7)]) ('del ', [(0, 5)]) ('add ', [(2, 3)]) ('add ', [(1, 4)]) ('del ', [(2, 3)]) ('del ', [(1, 4)]) ('add ', [(6, 7)]) ('add ', [(0, 5)]) ('del ', [(6, 7)]) ('del ', [(0, 5)]) ('add ', [(2, 3)]) ('add ', [(1, 4)]) ('del ', [(2, 3)]) ('del ', [(1, 4)]) ('add ', [(6, 7)]) ('add ', [(0, 5)]) ('del ', [(6, 7)]) ('del ', [(0, 5)]) ('add ', [(2, 3)]) ('add ', [(1, 4)]) ('del ', [(2, 3)]) ('del ', [(1, 4)]) ('add ', [(6, 7)]) ('add ', [(0, 5)]) ('del ', [(6, 7)]) ('del ', [(0, 5)]) ('add ', [(2, 3)]) ('add ', [(1, 4)]) ('del ', [(2, 3)]) ('del ', [(1, 4)]) ('add ', [(6, 7)]) ('add ', [(0, 5)]) ('del ', [(6, 7)]) ('del ', [(0, 5)]) ('add ', [(2, 3)]) ('add ', [(1, 4)]) ('del ', [(2, 3)]) ('del ', [(1, 4)]) ('add ', [(6, 7)]) ('add ', [(0, 5)]) ('del ', [(6, 7)]) ('del ', [(0, 5)]) ('add ', [(2, 3)]) ('add ', [(1, 4)]) ('del ', [(2, 3)]) ('del ', [(1, 4)]) ('add ', [(6, 7)]) ('add ', [(0, 5)]) ('del ', [(6, 7)]) ('del ', [(0, 5)]) ('add ', [(2, 3)]) ('add ', [(1, 4)]) ('del ', [(2, 3)]) ('del ', [(1, 4)]) ('add ', [(6, 7)]) ('add ', [(0, 5)]) ('del ', [(6, 7)]) ('del ', [(0, 5)]) ('add ', [(2, 3)]) ('add ', [(1, 4)]) ('del ', [(2, 3)]) ('del ', [(1, 4)]) ('add ', [(6, 7)]) ('add ', [(0, 5)]) ('del ', [(6, 7)]) ('del ', [(0, 5)]) ('add ', [(2, 3)]) ('add ', [(1, 4)]) ('del ', [(2, 3)]) ('del ', [(1, 4)]) ('add ', [(6, 7)]) ('add ', [(0, 5)]) ('del ', [(6, 7)]) ('del ', [(0, 5)]) ('add ', [(2, 3)]) ('add ', [(1, 4)]) ('del ', [(2, 3)]) ('del ', [(1, 4)]) ('add ', [(6, 7)]) ('add ', [(0, 5)]) ('del ', [(6, 7)]) ('del ', [(0, 5)]) ('add ', [(2, 3)]) ('add ', [(1, 4)]) ('del ', [(2, 3)]) ('del ', [(1, 4)]) ('add ', [(6, 7)]) ('add ', [(0, 5)]) ('del ', [(6, 7)]) ('del ', [(0, 5)]) ('add ', [(2, 3)]) ('add ', [(1, 4)]) ('del ', [(2, 3)]) ('del ', [(1, 4)]) ('add ', [(6, 7)]) ('add ', [(0, 5)]) ('del ', [(6, 7)]) ('del ', [(0, 5)]) ('add ', [(2, 3)]) ('add ', [(1, 4)]) ('del ', [(2, 3)]) ('del ', [(1, 4)]) ('add ', [(6, 7)]) ('add ', [(0, 5)]) ('del ', [(6, 7)]) ('del ', [(0, 5)]) ('add ', [(2, 3)]) ('add ', [(1, 4)]) ('del ', [(2, 3)]) ('del ', [(1, 4)]) ('add ', [(6, 7)]) ('add ', [(0, 5)]) ('del ', [(6, 7)]) ('del ', [(0, 5)]) ('add ', [(2, 3)]) ('add ', [(1, 4)]) ('del ', [(2, 3)]) ('del ', [(1, 4)]) ('add ', [(6, 7)]) ('add ', [(0, 5)]) ('del ', [(6, 7)]) ('del ', [(0, 5)]) ('add ', [(2, 3)]) ('add ', [(1, 4)]) ('del ', [(2, 3)]) ('del ', [(1, 4)]) ('add ', [(6, 7)]) ('add ', [(0, 5)]) ('del ', [(6, 7)]) ('del ', [(0, 5)]) ('add ', [(2, 3)]) ('add ', [(1, 4)]) ('del ', [(2, 3)]) ('del ', [(1, 4)]) ('add ', [(6, 7)]) ('add ', [(0, 5)]) ('del ', [(6, 7)]) ('del ', [(0, 5)]) ('add ', [(2, 3)]) ('add ', [(1, 4)]) ('del ', [(2, 3)]) ('del ', [(1, 4)]) ('add ', [(6, 7)]) ('add ', [(0, 5)]) ('del ', [(6, 7)]) ('del ', [(0, 5)]) ('add ', [(2, 3)]) ('add ', [(1, 4)]) ('del ', [(2, 3)]) ('del ', [(1, 4)]) ('add ', [(6, 7)]) ('add ', [(0, 5)]) ('del ', [(6, 7)]) ('del ', [(0, 5)]) ('add ', [(2, 3)]) ('add ', [(1, 4)]) ('del ', [(2, 3)]) ('del ', [(1, 4)]) ('add ', [(6, 7)]) ('add ', [(0, 5)]) ('del ', [(6, 7)]) ('del ', [(0, 5)]) ('add ', [(2, 3)]) ('add ', [(1, 4)]) ('del ', [(2, 3)]) ('del ', [(1, 4)]) ('add ', [(6, 7)]) ('add ', [(0, 5)]) ('del ', [(6, 7)]) ('del ', [(0, 5)]) ('add ', [(2, 3)]) ('add ', [(1, 4)]) ('del ', [(2, 3)]) ('del ', [(1, 4)]) ('add ', [(6, 7)]) ('add ', [(0, 5)]) ('del ', [(6, 7)]) ('del ', [(0, 5)]) ('add ', [(2, 3)]) ('add ', [(1, 4)]) ('del ', [(2, 3)]) ('del ', [(1, 4)]) ('add ', [(6, 7)]) ('add ', [(0, 5)]) ('del ', [(6, 7)]) ('del ', [(0, 5)]) ('add ', [(2, 3)]) ('add ', [(1, 4)]) ('del ', [(2, 3)]) ('del ', [(1, 4)]) ('add ', [(6, 7)]) ('add ', [(0, 5)]) ('del ', [(6, 7)]) ('del ', [(0, 5)]) ('add ', [(2, 3)]) ('add ', [(1, 4)]) ('del ', [(2, 3)]) ('del ', [(1, 4)]) ('add ', [(6, 7)]) ('add ', [(0, 5)]) ('del ', [(6, 7)]) ('del ', [(0, 5)]) ('add ', [(2, 3)]) ('add ', [(1, 4)]) ('del ', [(2, 3)]) ('del ', [(1, 4)]) ('add ', [(6, 7)]) ('add ', [(0, 5)]) ('del ', [(6, 7)]) ('del ', [(0, 5)]) ('add ', [(2, 3)]) ('add ', [(1, 4)]) ('del ', [(2, 3)]) ('del ', [(1, 4)]) ('add ', [(6, 7)]) ('add ', [(0, 5)]) ('del ', [(6, 7)]) ('del ', [(0, 5)]) ('add ', [(2, 3)]) ('add ', [(1, 4)]) ('del ', [(2, 3)]) ('del ', [(1, 4)]) ('add ', [(6, 7)]) ('add ', [(0, 5)]) ('del ', [(6, 7)]) ('del ', [(0, 5)]) ('add ', [(2, 3)]) ('add ', [(1, 4)]) ('del ', [(2, 3)]) ('del ', [(1, 4)]) ('add ', [(6, 7)]) ('add ', [(0, 5)]) ('del ', [(6, 7)]) ('del ', [(0, 5)]) ('add ', [(2, 3)]) ('add ', [(1, 4)]) ('del ', [(2, 3)]) ('del ', [(1, 4)]) ('add ', [(6, 7)]) ('add ', [(0, 5)]) ('del ', [(6, 7)]) ('del ', [(0, 5)]) ('add ', [(2, 3)]) ('add ', [(1, 4)]) ('del ', [(2, 3)]) ('del ', [(1, 4)]) ('add ', [(6, 7)]) ('add ', [(0, 5)]) ('del ', [(6, 7)]) ('del ', [(0, 5)]) ('add ', [(2, 3)]) ('add ', [(1, 4)]) ('del ', [(2, 3)]) ('del ', [(1, 4)]) ('add ', [(6, 7)]) ('add ', [(0, 5)]) ('del ', [(6, 7)]) ('del ', [(0, 5)]) ('add ', [(2, 3)]) ('add ', [(1, 4)]) ('del ', [(2, 3)]) ('del ', [(1, 4)]) ('add ', [(6, 7)]) ('add ', [(0, 5)]) ('del ', [(6, 7)]) ('del ', [(0, 5)]) ('add ', [(2, 3)]) ('add ', [(1, 4)]) ('del ', [(2, 3)]) ('del ', [(1, 4)]) ('add ', [(6, 7)]) ('add ', [(0, 5)]) ('del ', [(6, 7)]) ('del ', [(0, 5)]) ('add ', [(2, 3)]) ('add ', [(1, 4)]) ('del ', [(2, 3)]) ('del ', [(1, 4)]) ('add ', [(6, 7)]) ('add ', [(0, 5)]) ('del ', [(6, 7)]) ('del ', [(0, 5)]) ('add ', [(2, 3)]) ('add ', [(1, 4)]) ('del ', [(2, 3)]) ('del ', [(1, 4)]) ('add ', [(6, 7)]) ('add ', [(0, 5)]) ('del ', [(6, 7)]) ('del ', [(0, 5)]) ('add ', [(2, 3)]) ('add ', [(1, 4)]) ('del ', [(2, 3)]) ('del ', [(1, 4)]) ('add ', [(6, 7)]) ('add ', [(0, 5)]) ('del ', [(6, 7)]) ('del ', [(0, 5)]) ('add ', [(2, 3)]) ('add ', [(1, 4)]) ('del ', [(2, 3)]) ('del ', [(1, 4)]) ('add ', [(6, 7)]) ('add ', [(0, 5)]) ('del ', [(6, 7)]) ('del ', [(0, 5)]) ('add ', [(2, 3)]) ('add ', [(1, 4)]) ('del ', [(2, 3)]) ('del ', [(1, 4)]) ('add ', [(6, 7)]) ('add ', [(0, 5)]) ('del ', [(6, 7)]) ('del ', [(0, 5)]) ('add ', [(2, 3)]) ('add ', [(1, 4)]) ('del ', [(2, 3)]) ('del ', [(1, 4)]) ('add ', [(6, 7)]) ('add ', [(0, 5)]) ('del ', [(6, 7)]) ('del ', [(0, 5)]) ('add ', [(2, 3)]) ('add ', [(1, 4)]) ('del ', [(2, 3)]) ('del ', [(1, 4)]) ('add ', [(6, 7)]) ('add ', [(0, 5)]) ('del ', [(6, 7)]) ('del ', [(0, 5)]) ('add ', [(2, 3)]) ('add ', [(1, 4)]) ('del ', [(2, 3)]) ('del ', [(1, 4)]) ('add ', [(6, 7)]) ('add ', [(0, 5)]) ('del ', [(6, 7)]) ('del ', [(0, 5)]) ('add ', [(2, 3)]) ('add ', [(1, 4)]) ('del ', [(2, 3)]) ('del ', [(1, 4)]) ('add ', [(6, 7)]) ('add ', [(0, 5)]) ('del ', [(6, 7)]) ('del ', [(0, 5)]) ('add ', [(2, 3)]) ('add ', [(1, 4)]) ('del ', [(2, 3)]) ('del ', [(1, 4)]) ('add ', [(6, 7)]) ('add ', [(0, 5)]) ('del ', [(6, 7)]) ('del ', [(0, 5)]) ('add ', [(2, 3)]) ('add ', [(1, 4)]) ('del ', [(2, 3)]) ('del ', [(1, 4)]) ('add ', [(6, 7)]) ('add ', [(0, 5)]) ('del ', [(6, 7)]) ('del ', [(0, 5)]) ('add ', [(2, 3)]) ('add ', [(1, 4)]) ('del ', [(2, 3)]) ('del ', [(1, 4)]) ('add ', [(6, 7)]) ('add ', [(0, 5)]) ('del ', [(6, 7)]) ('del ', [(0, 5)]) ('add ', [(2, 3)]) ('add ', [(1, 4)]) ('del ', [(2, 3)]) ('del ', [(1, 4)]) ('add ', [(6, 7)]) ('add ', [(0, 5)]) ('del ', [(6, 7)]) ('del ', [(0, 5)]) ('add ', [(2, 3)]) ('add ', [(1, 4)]) ('del ', [(2, 3)]) ('del ', [(1, 4)]) ('add ', [(6, 7)]) ('add ', [(0, 5)]) ('del ', [(6, 7)]) ('del ', [(0, 5)]) ('add ', [(2, 3)]) ('add ', [(1, 4)]) ('del ', [(2, 3)]) ('del ', [(1, 4)]) ('add ', [(6, 7)]) ('add ', [(0, 5)]) ('del ', [(6, 7)]) ('del ', [(0, 5)]) ('add ', [(2, 3)]) ('add ', [(1, 4)]) ('del ', [(2, 3)]) ('del ', [(1, 4)]) ('add ', [(6, 7)]) ('add ', [(0, 5)]) ('del ', [(6, 7)]) ('del ', [(0, 5)]) ('add ', [(2, 3)]) ('add ', [(1, 4)]) ('del ', [(2, 3)]) ('del ', [(1, 4)]) ('add ', [(6, 7)]) ('add ', [(0, 5)]) ('del ', [(6, 7)]) ('del ', [(0, 5)]) ('add ', [(2, 3)]) ('add ', [(1, 4)]) ('del ', [(2, 3)]) ('del ', [(1, 4)]) ('add ', [(6, 7)]) ('add ', [(0, 5)]) ('del ', [(6, 7)]) ('del ', [(0, 5)]) ('add ', [(2, 3)]) ('add ', [(1, 4)]) ('del ', [(2, 3)]) ('del ', [(1, 4)]) ('add ', [(6, 7)]) ('add ', [(0, 5)]) ('del ', [(6, 7)]) ('del ', [(0, 5)]) ('add ', [(2, 3)]) ('add ', [(1, 4)]) ('del ', [(2, 3)]) ('del ', [(1, 4)]) ('add ', [(6, 7)]) ('add ', [(0, 5)]) ('del ', [(6, 7)]) ('del ', [(0, 5)]) ('add ', [(2, 3)]) ('add ', [(1, 4)]) ('del ', [(2, 3)]) ('del ', [(1, 4)]) ('add ', [(6, 7)]) ('add ', [(0, 5)]) ('del ', [(6, 7)]) ('del ', [(0, 5)]) ('add ', [(2, 3)]) ('add ', [(1, 4)]) ('del ', [(2, 3)]) ('del ', [(1, 4)]) ('add ', [(6, 7)]) ('add ', [(0, 5)]) ('del ', [(6, 7)]) ('del ', [(0, 5)]) ('add ', [(2, 3)]) ('add ', [(1, 4)]) ('del ', [(2, 3)]) ('del ', [(1, 4)]) ('add ', [(6, 7)]) ('add ', [(0, 5)]) ('del ', [(6, 7)]) ('del ', [(0, 5)]) ('add ', [(2, 3)]) ('add ', [(1, 4)]) ('del ', [(2, 3)]) ('del ', [(1, 4)]) ('add ', [(6, 7)]) ('add ', [(0, 5)]) ('del ', [(6, 7)]) ('del ', [(0, 5)]) ('add ', [(2, 3)]) ('add ', [(1, 4)]) ('del ', [(2, 3)]) ('del ', [(1, 4)]) ('add ', [(6, 7)]) ('add ', [(0, 5)]) ('del ', [(6, 7)]) ('del ', [(0, 5)]) ('add ', [(2, 3)]) ('add ', [(1, 4)]) ('del ', [(2, 3)]) ('del ', [(1, 4)]) ('add ', [(6, 7)]) ('add ', [(0, 5)]) ('del ', [(6, 7)]) ('del ', [(0, 5)]) ('add ', [(2, 3)]) ('add ', [(1, 4)]) ('del ', [(2, 3)]) ('del ', [(1, 4)]) ('add ', [(6, 7)]) ('add ', [(0, 5)]) ('del ', [(6, 7)]) ('del ', [(0, 5)]) ('add ', [(2, 3)]) ('add ', [(1, 4)]) ('del ', [(2, 3)]) ('del ', [(1, 4)]) ('add ', [(6, 7)]) ('add ', [(0, 5)]) ('del ', [(6, 7)]) ('del ', [(0, 5)]) ('add ', [(2, 3)]) ('add ', [(1, 4)]) ('del ', [(2, 3)]) ('del ', [(1, 4)]) ('add ', [(6, 7)]) ('add ', [(0, 5)]) ('del ', [(6, 7)]) ('del ', [(0, 5)]) ('add ', [(2, 3)]) ('add ', [(1, 4)]) ('del ', [(2, 3)]) ('del ', [(1, 4)]) ('add ', [(6, 7)]) ('add ', [(0, 5)]) ('del ', [(6, 7)]) ('del ', [(0, 5)]) ('add ', [(2, 3)]) ('add ', [(1, 4)]) ('del ', [(2, 3)]) ('del ', [(1, 4)]) ('add ', [(6, 7)]) ('add ', [(0, 5)]) ('del ', [(6, 7)]) ('del ', [(0, 5)]) ('add ', [(2, 3)]) ('add ', [(1, 4)]) ('del ', [(2, 3)]) ('del ', [(1, 4)]) ('add ', [(6, 7)]) ('add ', [(0, 5)]) ('del ', [(6, 7)]) ('del ', [(0, 5)]) ('add ', [(2, 3)]) ('add ', [(1, 4)]) ('del ', [(2, 3)]) ('del ', [(1, 4)]) ('add ', [(6, 7)]) ('add ', [(0, 5)]) ('del ', [(6, 7)]) ('del ', [(0, 5)]) ('add ', [(2, 3)]) ('add ', [(1, 4)]) ('del ', [(2, 3)]) ('del ', [(1, 4)]) ('add ', [(6, 7)]) ('add ', [(0, 5)]) ('del ', [(6, 7)]) ('del ', [(0, 5)]) ('add ', [(2, 3)]) ('add ', [(1, 4)]) ('del ', [(2, 3)]) ('del ', [(1, 4)]) ('add ', [(6, 7)]) ('add ', [(0, 5)]) ('del ', [(6, 7)]) ('del ', [(0, 5)]) ('add ', [(2, 3)]) ('add ', [(1, 4)]) ('del ', [(2, 3)]) ('del ', [(1, 4)]) ('add ', [(6, 7)]) ('add ', [(0, 5)]) ('del ', [(6, 7)]) ('del ', [(0, 5)]) ('add ', [(2, 3)]) ('add ', [(1, 4)]) ('del ', [(2, 3)]) ('del ', [(1, 4)]) ('add ', [(6, 7)]) ('add ', [(0, 5)]) ('del ', [(6, 7)]) ('del ', [(0, 5)]) ('add ', [(2, 3)]) ('add ', [(1, 4)]) ('del ', [(2, 3)]) ('del ', [(1, 4)]) ('add ', [(6, 7)]) ('add ', [(0, 5)]) ('del ', [(6, 7)]) ('del ', [(0, 5)]) ('add ', [(2, 3)]) ('add ', [(1, 4)]) ('del ', [(2, 3)]) ('del ', [(1, 4)]) ('add ', [(6, 7)]) ('add ', [(0, 5)]) ('del ', [(6, 7)]) ('del ', [(0, 5)]) ('add ', [(2, 3)]) ('add ', [(1, 4)]) ('del ', [(2, 3)]) ('del ', [(1, 4)]) ('add ', [(6, 7)]) ('add ', [(0, 5)]) ('del ', [(6, 7)]) ('del ', [(0, 5)]) ('add ', [(2, 3)]) ('add ', [(1, 4)]) ('del ', [(2, 3)]) ('del ', [(1, 4)]) ('add ', [(6, 7)]) ('add ', [(0, 5)]) ('del ', [(6, 7)]) ('del ', [(0, 5)]) ('add ', [(2, 3)]) ('add ', [(1, 4)]) ('del ', [(2, 3)]) ('del ', [(1, 4)]) ('add ', [(6, 7)]) ('add ', [(0, 5)]) ('del ', [(6, 7)]) ('del ', [(0, 5)]) ('add ', [(2, 3)]) ('add ', [(1, 4)]) ('del ', [(2, 3)]) ('del ', [(1, 4)]) ('add ', [(6, 7)]) ('add ', [(0, 5)]) ('del ', [(6, 7)]) ('del ', [(0, 5)]) ('add ', [(2, 3)]) ('add ', [(1, 4)]) ('del ', [(2, 3)]) ('del ', [(1, 4)]) ('add ', [(6, 7)]) ('add ', [(0, 5)]) ('del ', [(6, 7)]) ('del ', [(0, 5)]) ('add ', [(2, 3)]) ('add ', [(1, 4)]) ('del ', [(2, 3)]) ('del ', [(1, 4)]) ('add ', [(6, 7)]) ('add ', [(0, 5)]) ('del ', [(6, 7)]) ('del ', [(0, 5)]) ('add ', [(2, 3)]) ('add ', [(1, 4)]) ('del ', [(2, 3)]) ('del ', [(1, 4)]) ('add ', [(6, 7)]) ('add ', [(0, 5)]) ('del ', [(6, 7)]) ('del ', [(0, 5)]) ('add ', [(2, 3)]) ('add ', [(1, 4)]) ('del ', [(2, 3)]) ('del ', [(1, 4)]) ('add ', [(6, 7)]) ('add ', [(0, 5)]) ('del ', [(6, 7)]) ('del ', [(0, 5)]) ('add ', [(2, 3)]) ('add ', [(1, 4)]) ('del ', [(2, 3)]) ('del ', [(1, 4)]) ('add ', [(6, 7)]) ('add ', [(0, 5)]) ('del ', [(6, 7)]) ('del ', [(0, 5)]) ('add ', [(2, 3)]) ('add ', [(1, 4)]) ('del ', [(2, 3)]) ('del ', [(1, 4)]) ('add ', [(6, 7)]) ('add ', [(0, 5)]) ('del ', [(6, 7)]) ('del ', [(0, 5)]) ('add ', [(2, 3)]) ('add ', [(1, 4)]) ('del ', [(2, 3)]) ('del ', [(1, 4)]) ('add ', [(6, 7)]) ('add ', [(0, 5)]) ('del ', [(6, 7)]) ('del ', [(0, 5)]) ('add ', [(2, 3)]) ('add ', [(1, 4)]) ('del ', [(2, 3)]) ('del ', [(1, 4)]) ('add ', [(6, 7)]) ('add ', [(0, 5)]) ('del ', [(6, 7)]) ('del ', [(0, 5)]) ('add ', [(2, 3)]) ('add ', [(1, 4)]) ('del ', [(2, 3)]) ('del ', [(1, 4)]) ('add ', [(6, 7)]) ('add ', [(0, 5)]) ('del ', [(6, 7)]) ('del ', [(0, 5)]) ('add ', [(2, 3)]) ('add ', [(1, 4)]) ('del ', [(2, 3)]) ('del ', [(1, 4)]) ('add ', [(6, 7)]) ('add ', [(0, 5)]) ('del ', [(6, 7)]) ('del ', [(0, 5)]) ('add ', [(2, 3)]) ('add ', [(1, 4)]) ('del ', [(2, 3)]) ('del ', [(1, 4)]) ('add ', [(6, 7)]) ('add ', [(0, 5)]) ('del ', [(6, 7)]) ('del ', [(0, 5)]) ('add ', [(2, 3)]) ('add ', [(1, 4)]) ('del ', [(2, 3)]) ('del ', [(1, 4)]) ('add ', [(6, 7)]) ('add ', [(0, 5)]) ('del ', [(6, 7)]) ('del ', [(0, 5)]) ('add ', [(2, 3)]) ('add ', [(1, 4)]) ('del ', [(2, 3)]) ('del ', [(1, 4)]) ('add ', [(6, 7)]) ('add ', [(0, 5)]) ('del ', [(6, 7)]) ('del ', [(0, 5)]) ('add ', [(2, 3)]) ('add ', [(1, 4)]) ('del ', [(2, 3)]) ('del ', [(1, 4)]) ('add ', [(6, 7)]) ('add ', [(0, 5)]) ('del ', [(6, 7)]) ('del ', [(0, 5)]) ('add ', [(2, 3)]) ('add ', [(1, 4)]) ('del ', [(2, 3)]) ('del ', [(1, 4)]) ('add ', [(6, 7)]) ('add ', [(0, 5)]) ('del ', [(6, 7)]) ('del ', [(0, 5)]) ('add ', [(2, 3)]) ('add ', [(1, 4)]) ('del ', [(2, 3)]) ('del ', [(1, 4)]) ('add ', [(6, 7)]) ('add ', [(0, 5)]) ('del ', [(6, 7)]) ('del ', [(0, 5)]) ('add ', [(2, 3)]) ('add ', [(1, 4)]) ('del ', [(2, 3)]) ('del ', [(1, 4)]) ('add ', [(6, 7)]) ('add ', [(0, 5)]) ('del ', [(6, 7)]) ('del ', [(0, 5)]) ('add ', [(2, 3)]) ('add ', [(1, 4)]) ('del ', [(2, 3)]) ('del ', [(1, 4)]) ('add ', [(6, 7)]) ('add ', [(0, 5)]) ('del ', [(6, 7)]) ('del ', [(0, 5)]) ('add ', [(2, 3)]) ('add ', [(1, 4)]) ('del ', [(2, 3)]) ('del ', [(1, 4)]) ('add ', [(6, 7)]) ('add ', [(0, 5)]) ('del ', [(6, 7)]) ('del ', [(0, 5)]) ('add ', [(2, 3)]) ('add ', [(1, 4)]) ('del ', [(2, 3)]) ('del ', [(1, 4)]) ('add ', [(6, 7)]) ('add ', [(0, 5)]) ('del ', [(6, 7)]) ('del ', [(0, 5)]) ('add ', [(2, 3)]) ('add ', [(1, 4)]) ('del ', [(2, 3)]) ('del ', [(1, 4)]) ('add ', [(6, 7)]) ('add ', [(0, 5)]) ('del ', [(6, 7)]) ('del ', [(0, 5)]) ('add ', [(2, 3)]) ('add ', [(1, 4)]) ('del ', [(2, 3)]) ('del ', [(1, 4)]) ('add ', [(6, 7)]) ('add ', [(0, 5)]) ('del ', [(6, 7)]) ('del ', [(0, 5)]) ('add ', [(2, 3)]) ('add ', [(1, 4)]) ('del ', [(2, 3)]) ('del ', [(1, 4)]) ('add ', [(6, 7)]) ('add ', [(0, 5)]) ('del ', [(6, 7)]) ('del ', [(0, 5)]) ('add ', [(2, 3)]) ('add ', [(1, 4)]) ('del ', [(2, 3)]) ('del ', [(1, 4)]) ('add ', [(6, 7)]) ('add ', [(0, 5)]) ('del ', [(6, 7)]) ('del ', [(0, 5)]) ('add ', [(2, 3)]) ('add ', [(1, 4)]) ('del ', [(2, 3)]) ('del ', [(1, 4)]) ('add ', [(6, 7)]) ('add ', [(0, 5)]) ('del ', [(6, 7)]) ('del ', [(0, 5)]) ('add ', [(2, 3)]) ('add ', [(1, 4)]) ('del ', [(2, 3)]) ('del ', [(1, 4)]) ('add ', [(6, 7)]) ('add ', [(0, 5)]) ('del ', [(6, 7)]) ('del ', [(0, 5)]) ('add ', [(2, 3)]) ('add ', [(1, 4)]) ('del ', [(2, 3)]) ('del ', [(1, 4)]) ('add ', [(6, 7)]) ('add ', [(0, 5)]) ('del ', [(6, 7)]) ('del ', [(0, 5)]) ('add ', [(2, 3)]) ('add ', [(1, 4)]) ('del ', [(2, 3)]) ('del ', [(1, 4)]) ('add ', [(6, 7)]) ('add ', [(0, 5)]) ('del ', [(6, 7)]) ('del ', [(0, 5)]) ('add ', [(2, 3)]) ('add ', [(1, 4)]) ('del ', [(2, 3)]) ('del ', [(1, 4)]) ('add ', [(6, 7)]) ('add ', [(0, 5)]) ('del ', [(6, 7)]) ('del ', [(0, 5)]) ('add ', [(2, 3)]) ('add ', [(1, 4)]) ('del ', [(2, 3)]) ('del ', [(1, 4)]) ('add ', [(6, 7)]) ('add ', [(0, 5)]) ('del ', [(6, 7)]) ('del ', [(0, 5)]) ('add ', [(2, 3)]) ('add ', [(1, 4)]) ('del ', [(2, 3)]) ('del ', [(1, 4)]) ('add ', [(6, 7)]) ('add ', [(0, 5)]) ('del ', [(6, 7)]) ('del ', [(0, 5)]) ('add ', [(2, 3)]) ('add ', [(1, 4)]) ('del ', [(2, 3)]) ('del ', [(1, 4)]) ('add ', [(6, 7)]) ('add ', [(0, 5)]) ('del ', [(6, 7)]) ('del ', [(0, 5)]) ('add ', [(2, 3)]) ('add ', [(1, 4)]) ('del ', [(2, 3)]) ('del ', [(1, 4)]) ('add ', [(6, 7)]) ('add ', [(0, 5)]) ('del ', [(6, 7)]) ('del ', [(0, 5)]) ('add ', [(2, 3)]) ('add ', [(1, 4)]) ('del ', [(2, 3)]) ('del ', [(1, 4)]) ('add ', [(6, 7)]) ('add ', [(0, 5)]) ('del ', [(6, 7)]) ('del ', [(0, 5)]) ('add ', [(2, 3)]) ('add ', [(1, 4)]) ('del ', [(2, 3)]) ('del ', [(1, 4)]) ('add ', [(6, 7)]) ('add ', [(0, 5)]) ('del ', [(6, 7)]) ('del ', [(0, 5)]) ('add ', [(2, 3)]) ('add ', [(1, 4)]) ('del ', [(2, 3)]) ('del ', [(1, 4)]) ('add ', [(6, 7)]) ('add ', [(0, 5)]) ('del ', [(6, 7)]) ('del ', [(0, 5)]) ('add ', [(2, 3)]) ('add ', [(1, 4)]) ('del ', [(2, 3)]) ('del ', [(1, 4)]) ('add ', [(6, 7)]) ('add ', [(0, 5)]) ('del ', [(6, 7)]) ('del ', [(0, 5)]) ('add ', [(2, 3)]) ('add ', [(1, 4)]) ('del ', [(2, 3)]) ('del ', [(1, 4)]) ('add ', [(6, 7)]) ('add ', [(0, 5)]) ('del ', [(6, 7)]) ('del ', [(0, 5)]) ('add ', [(2, 3)]) ('add ', [(1, 4)]) ('del ', [(2, 3)]) ('del ', [(1, 4)]) ('add ', [(6, 7)]) ('add ', [(0, 5)]) ('del ', [(6, 7)]) ('del ', [(0, 5)]) ('add ', [(2, 3)]) ('add ', [(1, 4)]) ('del ', [(2, 3)]) ('del ', [(1, 4)]) ('add ', [(6, 7)]) ('add ', [(0, 5)]) ('del ', [(6, 7)]) ('del ', [(0, 5)]) ('add ', [(2, 3)]) ('add ', [(1, 4)]) ('del ', [(2, 3)]) ('del ', [(1, 4)]) ('add ', [(6, 7)]) ('add ', [(0, 5)]) ('del ', [(6, 7)]) ('del ', [(0, 5)]) ('add ', [(2, 3)]) ('add ', [(1, 4)]) ('del ', [(2, 3)]) ('del ', [(1, 4)]) ('add ', [(6, 7)]) ('add ', [(0, 5)]) ('del ', [(6, 7)]) ('del ', [(0, 5)]) ('add ', [(2, 3)]) ('add ', [(1, 4)]) ('del ', [(2, 3)]) ('del ', [(1, 4)]) ('add ', [(6, 7)]) ('add ', [(0, 5)]) ('del ', [(6, 7)]) ('del ', [(0, 5)]) ('add ', [(2, 3)]) ('add ', [(1, 4)]) ('del ', [(2, 3)]) ('del ', [(1, 4)]) ('add ', [(6, 7)]) ('add ', [(0, 5)]) ('del ', [(6, 7)]) ('del ', [(0, 5)]) ('add ', [(2, 3)]) ('add ', [(1, 4)]) ('del ', [(2, 3)]) ('del ', [(1, 4)]) ('add ', [(6, 7)]) ('add ', [(0, 5)]) ('del ', [(6, 7)]) ('del ', [(0, 5)]) ('add ', [(2, 3)]) ('add ', [(1, 4)]) ('del ', [(2, 3)]) ('del ', [(1, 4)]) ('add ', [(6, 7)]) ('add ', [(0, 5)]) ('del ', [(6, 7)]) ('del ', [(0, 5)]) ('add ', [(2, 3)]) ('add ', [(1, 4)]) ('del ', [(2, 3)]) ('del ', [(1, 4)]) ('add ', [(6, 7)]) ('add ', [(0, 5)]) ('del ', [(6, 7)]) ('del ', [(0, 5)]) ('add ', [(2, 3)]) ('add ', [(1, 4)]) ('del ', [(2, 3)]) ('del ', [(1, 4)]) ('add ', [(6, 7)]) ('add ', [(0, 5)]) ('del ', [(6, 7)]) ('del ', [(0, 5)]) ('add ', [(2, 3)]) ('add ', [(1, 4)]) ('del ', [(2, 3)]) ('del ', [(1, 4)]) ('add ', [(6, 7)]) ('add ', [(0, 5)]) ('del ', [(6, 7)]) ('del ', [(0, 5)]) ('add ', [(2, 3)]) ('add ', [(1, 4)]) ('del ', [(2, 3)]) ('del ', [(1, 4)]) ('add ', [(6, 7)]) ('add ', [(0, 5)]) ('del ', [(6, 7)]) ('del ', [(0, 5)]) ('add ', [(2, 3)]) ('add ', [(1, 4)]) ('del ', [(2, 3)]) ('del ', [(1, 4)]) ('add ', [(6, 7)]) ('add ', [(0, 5)]) ('del ', [(6, 7)]) ('del ', [(0, 5)]) ('add ', [(2, 3)]) ('add ', [(1, 4)]) ('del ', [(2, 3)]) ('del ', [(1, 4)]) ('add ', [(6, 7)]) ('add ', [(0, 5)]) ('del ', [(6, 7)]) ('del ', [(0, 5)]) ('add ', [(2, 3)]) ('add ', [(1, 4)]) ('del ', [(2, 3)]) ('del ', [(1, 4)]) ('add ', [(6, 7)]) ('add ', [(0, 5)]) ('del ', [(6, 7)]) ('del ', [(0, 5)]) ('add ', [(2, 3)]) ('add ', [(1, 4)]) ('del ', [(2, 3)]) ('del ', [(1, 4)]) ('add ', [(6, 7)]) ('add ', [(0, 5)]) ('del ', [(6, 7)]) ('del ', [(0, 5)]) ('add ', [(2, 3)]) ('add ', [(1, 4)]) ('del ', [(2, 3)]) ('del ', [(1, 4)]) ('add ', [(6, 7)]) ('add ', [(0, 5)]) ('del ', [(6, 7)]) ('del ', [(0, 5)]) ('add ', [(2, 3)]) ('add ', [(1, 4)]) ('del ', [(2, 3)]) ('del ', [(1, 4)]) ('add ', [(6, 7)]) ('add ', [(0, 5)]) ('del ', [(6, 7)]) ('del ', [(0, 5)]) ('add ', [(2, 3)]) ('add ', [(1, 4)]) ('del ', [(2, 3)]) ('del ', [(1, 4)]) ('add ', [(6, 7)]) ('add ', [(0, 5)]) ('del ', [(6, 7)]) ('del ', [(0, 5)]) ('add ', [(2, 3)]) ('add ', [(1, 4)]) ('del ', [(2, 3)]) ('del ', [(1, 4)]) ('add ', [(6, 7)]) ('add ', [(0, 5)]) ('del ', [(6, 7)]) ('del ', [(0, 5)]) ('add ', [(2, 3)]) ('add ', [(1, 4)]) ('del ', [(2, 3)]) ('del ', [(1, 4)]) ('add ', [(6, 7)]) ('add ', [(0, 5)]) ('del ', [(6, 7)]) ('del ', [(0, 5)]) ('add ', [(2, 3)]) ('add ', [(1, 4)]) ('del ', [(2, 3)]) ('del ', [(1, 4)]) ('add ', [(6, 7)]) ('add ', [(0, 5)]) ('del ', [(6, 7)]) ('del ', [(0, 5)]) ('add ', [(2, 3)]) ('add ', [(1, 4)]) ('del ', [(2, 3)]) ('del ', [(1, 4)]) ('add ', [(6, 7)]) ('add ', [(0, 5)]) ('del ', [(6, 7)]) ('del ', [(0, 5)]) ('add ', [(2, 3)]) ('add ', [(1, 4)]) ('del ', [(2, 3)]) ('del ', [(1, 4)]) ('add ', [(6, 7)]) ('add ', [(0, 5)]) ('del ', [(6, 7)]) ('del ', [(0, 5)]) ('add ', [(2, 3)]) ('add ', [(1, 4)]) ('del ', [(2, 3)]) ('del ', [(1, 4)]) ('add ', [(6, 7)]) ('add ', [(0, 5)]) ('del ', [(6, 7)]) ('del ', [(0, 5)]) ('add ', [(2, 3)]) ('add ', [(1, 4)]) ('del ', [(2, 3)]) ('del ', [(1, 4)]) ('add ', [(6, 7)]) ('add ', [(0, 5)]) ('del ', [(6, 7)]) ('del ', [(0, 5)]) ('add ', [(2, 3)]) ('add ', [(1, 4)]) ('del ', [(2, 3)]) ('del ', [(1, 4)]) ('add ', [(6, 7)]) ('add ', [(0, 5)]) ('del ', [(6, 7)]) ('del ', [(0, 5)]) ('add ', [(2, 3)]) ('add ', [(1, 4)]) ('del ', [(2, 3)]) ('del ', [(1, 4)]) ('add ', [(6, 7)]) ('add ', [(0, 5)]) ('del ', [(6, 7)]) ('del ', [(0, 5)]) ('add ', [(2, 3)]) ('add ', [(1, 4)]) ('del ', [(2, 3)]) ('del ', [(1, 4)]) ('add ', [(6, 7)]) ('add ', [(0, 5)]) ('del ', [(6, 7)]) ('del ', [(0, 5)]) ('add ', [(2, 3)]) ('add ', [(1, 4)]) ('del ', [(2, 3)]) ('del ', [(1, 4)]) ('add ', [(6, 7)]) ('add ', [(0, 5)]) ('del ', [(6, 7)]) ('del ', [(0, 5)]) ('add ', [(2, 3)]) ('add ', [(1, 4)]) ('del ', [(2, 3)]) ('del ', [(1, 4)]) ('add ', [(6, 7)]) ('add ', [(0, 5)]) ('del ', [(6, 7)]) ('del ', [(0, 5)]) ('add ', [(2, 3)]) ('add ', [(1, 4)]) ('del ', [(2, 3)]) ('del ', [(1, 4)]) ('add ', [(6, 7)]) ('add ', [(0, 5)]) ('del ', [(6, 7)]) ('del ', [(0, 5)]) ('add ', [(2, 3)]) ('add ', [(1, 4)]) ('del ', [(2, 3)]) ('del ', [(1, 4)]) ('add ', [(6, 7)]) ('add ', [(0, 5)]) ('del ', [(6, 7)]) ('del ', [(0, 5)]) ('add ', [(2, 3)]) ('add ', [(1, 4)]) ('del ', [(2, 3)]) ('del ', [(1, 4)]) ('add ', [(6, 7)]) ('add ', [(0, 5)]) ('del ', [(6, 7)]) ('del ', [(0, 5)]) ('add ', [(2, 3)]) ('add ', [(1, 4)]) ('del ', [(2, 3)]) ('del ', [(1, 4)]) ('add ', [(6, 7)]) ('add ', [(0, 5)]) ('del ', [(6, 7)]) ('del ', [(0, 5)]) ('add ', [(2, 3)]) ('add ', [(1, 4)]) ('del ', [(2, 3)]) ('del ', [(1, 4)]) ('add ', [(6, 7)]) ('add ', [(0, 5)]) ('del ', [(6, 7)]) ('del ', [(0, 5)]) ('add ', [(2, 3)]) ('add ', [(1, 4)]) ('del ', [(2, 3)]) ('del ', [(1, 4)]) ('add ', [(6, 7)]) ('add ', [(0, 5)]) ('del ', [(6, 7)]) ('del ', [(0, 5)]) ('add ', [(2, 3)]) ('add ', [(1, 4)]) ('del ', [(2, 3)]) ('del ', [(1, 4)]) ('add ', [(6, 7)]) ('add ', [(0, 5)]) ('del ', [(6, 7)]) ('del ', [(0, 5)]) ('add ', [(2, 3)]) ('add ', [(1, 4)]) ('del ', [(2, 3)]) ('del ', [(1, 4)]) ('add ', [(6, 7)]) ('add ', [(0, 5)]) ('del ', [(6, 7)]) ('del ', [(0, 5)]) ('add ', [(2, 3)]) ('add ', [(1, 4)]) ('del ', [(2, 3)]) ('del ', [(1, 4)]) ('add ', [(6, 7)]) ('add ', [(0, 5)]) ('del ', [(6, 7)]) ('del ', [(0, 5)]) ('add ', [(2, 3)]) ('add ', [(1, 4)]) ('del ', [(2, 3)]) ('del ', [(1, 4)]) ('add ', [(6, 7)]) ('add ', [(0, 5)]) ('del ', [(6, 7)]) ('del ', [(0, 5)]) ('add ', [(2, 3)]) ('add ', [(1, 4)]) ('del ', [(2, 3)]) ('del ', [(1, 4)]) ('add ', [(6, 7)]) ('add ', [(0, 5)]) ('del ', [(6, 7)]) ('del ', [(0, 5)]) ('add ', [(2, 3)]) ('add ', [(1, 4)]) ('del ', [(2, 3)]) ('del ', [(1, 4)]) ('add ', [(6, 7)]) ('add ', [(0, 5)]) ('del ', [(6, 7)]) ('del ', [(0, 5)]) ('add ', [(2, 3)]) ('add ', [(1, 4)]) ('del ', [(2, 3)]) ('del ', [(1, 4)]) ('add ', [(6, 7)]) ('add ', [(0, 5)]) ('del ', [(6, 7)]) ('del ', [(0, 5)]) ('add ', [(2, 3)]) ('add ', [(1, 4)]) ('del ', [(2, 3)]) ('del ', [(1, 4)]) ('add ', [(6, 7)]) ('add ', [(0, 5)]) ('del ', [(6, 7)]) ('del ', [(0, 5)]) ('add ', [(2, 3)]) ('add ', [(1, 4)]) ('del ', [(2, 3)]) ('del ', [(1, 4)]) ('add ', [(6, 7)]) ('add ', [(0, 5)]) ('del ', [(6, 7)]) ('del ', [(0, 5)]) ('add ', [(2, 3)]) ('add ', [(1, 4)]) ('del ', [(2, 3)]) ('del ', [(1, 4)]) ('add ', [(6, 7)]) ('add ', [(0, 5)]) ('del ', [(6, 7)]) ('del ', [(0, 5)]) ('add ', [(2, 3)]) ('add ', [(1, 4)]) ('del ', [(2, 3)]) ('del ', [(1, 4)]) ('add ', [(6, 7)]) ('add ', [(0, 5)]) ('del ', [(6, 7)]) ('del ', [(0, 5)]) ('add ', [(2, 3)]) ('add ', [(1, 4)]) ('del ', [(2, 3)]) ('del ', [(1, 4)]) ('add ', [(6, 7)]) ('add ', [(0, 5)]) ('del ', [(6, 7)]) ('del ', [(0, 5)]) ('add ', [(2, 3)]) ('add ', [(1, 4)]) ('del ', [(2, 3)]) ('del ', [(1, 4)]) ('add ', [(6, 7)]) ('add ', [(0, 5)]) ('del ', [(6, 7)]) ('del ', [(0, 5)]) ('add ', [(2, 3)]) ('add ', [(1, 4)]) ('del ', [(2, 3)]) ('del ', [(1, 4)]) ('add ', [(6, 7)]) ('add ', [(0, 5)]) ('del ', [(6, 7)]) ('del ', [(0, 5)]) ('add ', [(2, 3)]) ('add ', [(1, 4)]) ('del ', [(2, 3)]) ('del ', [(1, 4)]) ('add ', [(6, 7)]) ('add ', [(0, 5)]) ('del ', [(6, 7)]) ('del ', [(0, 5)]) ('add ', [(2, 3)]) ('add ', [(1, 4)]) ('del ', [(2, 3)]) ('del ', [(1, 4)]) ('add ', [(6, 7)]) ('add ', [(0, 5)]) ('del ', [(6, 7)]) ('del ', [(0, 5)]) ('add ', [(2, 3)]) ('add ', [(1, 4)]) ('del ', [(2, 3)]) ('del ', [(1, 4)]) ('add ', [(6, 7)]) ('add ', [(0, 5)]) ('del ', [(6, 7)]) ('del ', [(0, 5)]) ('add ', [(2, 3)]) ('add ', [(1, 4)]) ('del ', [(2, 3)]) ('del ', [(1, 4)]) ('add ', [(6, 7)]) ('add ', [(0, 5)]) ('del ', [(6, 7)]) ('del ', [(0, 5)]) ('add ', [(2, 3)]) ('add ', [(1, 4)]) ('del ', [(2, 3)]) ('del ', [(1, 4)]) ('add ', [(6, 7)]) ('add ', [(0, 5)]) ('del ', [(6, 7)]) ('del ', [(0, 5)]) ('add ', [(2, 3)]) ('add ', [(1, 4)]) ('del ', [(2, 3)]) ('del ', [(1, 4)]) ('add ', [(6, 7)]) ('add ', [(0, 5)]) ('del ', [(6, 7)]) ('del ', [(0, 5)]) ('add ', [(2, 3)]) ('add ', [(1, 4)]) ('del ', [(2, 3)]) ('del ', [(1, 4)]) ('add ', [(6, 7)]) ('add ', [(0, 5)]) ('del ', [(6, 7)]) ('del ', [(0, 5)]) ('add ', [(2, 3)]) ('add ', [(1, 4)]) ('del ', [(2, 3)]) ('del ', [(1, 4)]) ('add ', [(6, 7)]) ('add ', [(0, 5)]) ('del ', [(6, 7)]) ('del ', [(0, 5)]) ('add ', [(2, 3)]) ('add ', [(1, 4)]) ('del ', [(2, 3)]) ('del ', [(1, 4)]) ('add ', [(6, 7)]) ('add ', [(0, 5)]) ('del ', [(6, 7)]) ('del ', [(0, 5)]) ('add ', [(2, 3)]) ('add ', [(1, 4)]) ('del ', [(2, 3)]) ('del ', [(1, 4)]) ('add ', [(6, 7)]) ('add ', [(0, 5)]) ('del ', [(6, 7)]) ('del ', [(0, 5)]) ('add ', [(2, 3)]) ('add ', [(1, 4)]) ('del ', [(2, 3)]) ('del ', [(1, 4)]) ('add ', [(6, 7)]) ('add ', [(0, 5)]) ('del ', [(6, 7)]) ('del ', [(0, 5)]) ('add ', [(2, 3)]) ('add ', [(1, 4)]) ('del ', [(2, 3)]) ('del ', [(1, 4)]) ('add ', [(6, 7)]) ('add ', [(0, 5)]) ('del ', [(6, 7)]) ('del ', [(0, 5)]) ('add ', [(2, 3)]) ('add ', [(1, 4)]) ('del ', [(2, 3)]) ('del ', [(1, 4)]) ('add ', [(6, 7)]) ('add ', [(0, 5)]) ('del ', [(6, 7)]) ('del ', [(0, 5)]) ('add ', [(2, 3)]) ('add ', [(1, 4)]) ('del ', [(2, 3)]) ('del ', [(1, 4)]) ('add ', [(6, 7)]) ('add ', [(0, 5)]) ('del ', [(6, 7)]) ('del ', [(0, 5)]) ('add ', [(2, 3)]) ('add ', [(1, 4)]) ('del ', [(2, 3)]) ('del ', [(1, 4)]) ('add ', [(6, 7)]) ('add ', [(0, 5)]) ('del ', [(6, 7)]) ('del ', [(0, 5)]) ('add ', [(2, 3)]) ('add ', [(1, 4)]) ('del ', [(2, 3)]) ('del ', [(1, 4)]) ('add ', [(6, 7)]) ('add ', [(0, 5)]) ('del ', [(6, 7)]) ('del ', [(0, 5)]) ('add ', [(2, 3)]) ('add ', [(1, 4)]) ('del ', [(2, 3)]) ('del ', [(1, 4)]) ('add ', [(6, 7)]) ('add ', [(0, 5)]) ('del ', [(6, 7)]) ('del ', [(0, 5)]) ('add ', [(2, 3)]) ('add ', [(1, 4)]) ('del ', [(2, 3)]) ('del ', [(1, 4)]) ('add ', [(6, 7)]) ('add ', [(0, 5)]) ('del ', [(6, 7)]) ('del ', [(0, 5)]) ('add ', [(2, 3)]) ('add ', [(1, 4)]) ('del ', [(2, 3)]) ('del ', [(1, 4)]) ('add ', [(6, 7)]) ('add ', [(0, 5)]) ('del ', [(6, 7)]) ('del ', [(0, 5)]) ('add ', [(2, 3)]) ('add ', [(1, 4)]) ('del ', [(2, 3)]) ('del ', [(1, 4)]) ('add ', [(6, 7)]) ('add ', [(0, 5)]) ('del ', [(6, 7)]) ('del ', [(0, 5)]) ('add ', [(2, 3)]) ('add ', [(1, 4)]) ('del ', [(2, 3)]) ('del ', [(1, 4)]) ('add ', [(6, 7)]) ('add ', [(0, 5)]) ('del ', [(6, 7)]) ('del ', [(0, 5)]) ('add ', [(2, 3)]) ('add ', [(1, 4)]) ('del ', [(2, 3)]) ('del ', [(1, 4)]) ('add ', [(6, 7)]) ('add ', [(0, 5)]) ('del ', [(6, 7)]) ('del ', [(0, 5)]) ('add ', [(2, 3)]) ('add ', [(1, 4)]) ('del ', [(2, 3)]) ('del ', [(1, 4)]) ('add ', [(6, 7)]) ('add ', [(0, 5)]) ('del ', [(6, 7)]) ('del ', [(0, 5)]) ('add ', [(2, 3)]) ('add ', [(1, 4)]) ('del ', [(2, 3)]) ('del ', [(1, 4)]) ('add ', [(6, 7)]) ('add ', [(0, 5)]) ('del ', [(6, 7)]) ('del ', [(0, 5)]) ('add ', [(2, 3)]) ('add ', [(1, 4)]) ('del ', [(2, 3)]) ('del ', [(1, 4)]) ('add ', [(6, 7)]) ('add ', [(0, 5)]) ('del ', [(6, 7)]) ('del ', [(0, 5)]) ('add ', [(2, 3)]) ('add ', [(1, 4)]) ('del ', [(2, 3)]) ('del ', [(1, 4)]) ('add ', [(6, 7)]) ('add ', [(0, 5)]) ('del ', [(6, 7)]) ('del ', [(0, 5)]) ('add ', [(2, 3)]) ('add ', [(1, 4)]) ('del ', [(2, 3)]) ('del ', [(1, 4)]) ('add ', [(6, 7)]) ('add ', [(0, 5)]) ('del ', [(6, 7)]) ('del ', [(0, 5)]) ('add ', [(2, 3)]) ('add ', [(1, 4)]) ('del ', [(2, 3)]) ('del ', [(1, 4)]) ('add ', [(6, 7)]) ('add ', [(0, 5)]) ('del ', [(6, 7)]) ('del ', [(0, 5)]) ('add ', [(2, 3)]) ('add ', [(1, 4)]) ('del ', [(2, 3)]) ('del ', [(1, 4)]) ('add ', [(6, 7)]) ('add ', [(0, 5)]) ('del ', [(6, 7)]) ('del ', [(0, 5)]) ('add ', [(2, 3)]) ('add ', [(1, 4)]) ('del ', [(2, 3)]) ('del ', [(1, 4)]) ('add ', [(6, 7)]) ('add ', [(0, 5)]) ('del ', [(6, 7)]) ('del ', [(0, 5)]) ('add ', [(2, 3)]) ('add ', [(1, 4)]) ('del ', [(2, 3)]) ('del ', [(1, 4)]) ('add ', [(6, 7)]) ('add ', [(0, 5)]) ('del ', [(6, 7)]) ('del ', [(0, 5)]) ('add ', [(2, 3)]) ('add ', [(1, 4)]) ('del ', [(2, 3)]) ('del ', [(1, 4)]) ('add ', [(6, 7)]) ('add ', [(0, 5)]) ('del ', [(6, 7)]) ('del ', [(0, 5)]) ('add ', [(2, 3)]) ('add ', [(1, 4)]) ('del ', [(2, 3)]) ('del ', [(1, 4)]) ('add ', [(6, 7)]) ('add ', [(0, 5)]) ('del ', [(6, 7)]) ('del ', [(0, 5)]) ('add ', [(2, 3)]) ('add ', [(1, 4)]) ('del ', [(2, 3)]) ('del ', [(1, 4)]) ('add ', [(6, 7)]) ('add ', [(0, 5)]) ('del ', [(6, 7)]) ('del ', [(0, 5)]) ('add ', [(2, 3)]) ('add ', [(1, 4)]) ('del ', [(2, 3)]) ('del ', [(1, 4)]) ('add ', [(6, 7)]) ('add ', [(0, 5)]) ('del ', [(6, 7)]) ('del ', [(0, 5)]) ('add ', [(2, 3)]) ('add ', [(1, 4)]) ('del ', [(2, 3)]) ('del ', [(1, 4)]) ('add ', [(6, 7)]) ('add ', [(0, 5)]) ('del ', [(6, 7)]) ('del ', [(0, 5)]) ('add ', [(2, 3)]) ('add ', [(1, 4)]) ('del ', [(2, 3)]) ('del ', [(1, 4)]) ('add ', [(6, 7)]) ('add ', [(0, 5)]) ('del ', [(6, 7)]) ('del ', [(0, 5)]) ('add ', [(2, 3)]) ('add ', [(1, 4)]) ('del ', [(2, 3)]) ('del ', [(1, 4)]) ('add ', [(6, 7)]) ('add ', [(0, 5)]) ('del ', [(6, 7)]) ('del ', [(0, 5)]) ('add ', [(2, 3)]) ('add ', [(1, 4)]) ('del ', [(2, 3)]) ('del ', [(1, 4)]) ('add ', [(6, 7)]) ('add ', [(0, 5)]) ('del ', [(6, 7)]) ('del ', [(0, 5)]) ('add ', [(2, 3)]) ('add ', [(1, 4)]) ('del ', [(2, 3)]) ('del ', [(1, 4)]) ('add ', [(6, 7)]) ('add ', [(0, 5)]) ('del ', [(6, 7)]) ('del ', [(0, 5)]) ('add ', [(2, 3)]) ('add ', [(1, 4)]) ('del ', [(2, 3)]) ('del ', [(1, 4)]) ('add ', [(6, 7)]) ('add ', [(0, 5)]) ('del ', [(6, 7)]) ('del ', [(0, 5)]) ('add ', [(2, 3)]) ('add ', [(1, 4)]) ('del ', [(2, 3)]) ('del ', [(1, 4)]) ('add ', [(6, 7)]) ('add ', [(0, 5)]) ('del ', [(6, 7)]) ('del ', [(0, 5)]) ('add ', [(2, 3)]) ('add ', [(1, 4)]) ('del ', [(2, 3)]) ('del ', [(1, 4)]) ('add ', [(6, 7)]) ('add ', [(0, 5)]) ('del ', [(6, 7)]) ('del ', [(0, 5)]) ('add ', [(2, 3)]) ('add ', [(1, 4)]) ('del ', [(2, 3)]) ('del ', [(1, 4)]) ('add ', [(6, 7)]) ('add ', [(0, 5)]) ('del ', [(6, 7)]) ('del ', [(0, 5)]) ('add ', [(2, 3)]) ('add ', [(1, 4)]) ('del ', [(2, 3)]) ('del ', [(1, 4)]) ('add ', [(6, 7)]) ('add ', [(0, 5)]) ('del ', [(6, 7)]) ('del ', [(0, 5)]) ('add ', [(2, 3)]) ('add ', [(1, 4)]) ('del ', [(2, 3)]) ('del ', [(1, 4)]) ('add ', [(6, 7)]) ('add ', [(0, 5)]) ('del ', [(6, 7)]) ('del ', [(0, 5)]) ('add ', [(2, 3)]) ('add ', [(1, 4)]) ('del ', [(2, 3)]) ('del ', [(1, 4)]) ('add ', [(6, 7)]) ('add ', [(0, 5)]) ('del ', [(6, 7)]) ('del ', [(0, 5)]) ('add ', [(2, 3)]) ('add ', [(1, 4)]) ('del ', [(2, 3)]) ('del ', [(1, 4)]) ('add ', [(6, 7)]) ('add ', [(0, 5)]) ('del ', [(6, 7)]) ('del ', [(0, 5)]) ('add ', [(2, 3)]) ('add ', [(1, 4)]) ('del ', [(2, 3)]) ('del ', [(1, 4)]) ('add ', [(6, 7)]) ('add ', [(0, 5)]) ('del ', [(6, 7)]) ('del ', [(0, 5)]) ('add ', [(2, 3)]) ('add ', [(1, 4)]) ('del ', [(2, 3)]) ('del ', [(1, 4)]) ('add ', [(6, 7)]) ('add ', [(0, 5)]) ('del ', [(6, 7)]) ('del ', [(0, 5)]) ('add ', [(2, 3)]) ('add ', [(1, 4)]) ('del ', [(2, 3)]) ('del ', [(1, 4)]) ('add ', [(6, 7)]) ('add ', [(0, 5)]) ('del ', [(6, 7)]) ('del ', [(0, 5)]) ('add ', [(2, 3)]) ('add ', [(1, 4)]) ('del ', [(2, 3)]) ('del ', [(1, 4)]) ('add ', [(6, 7)]) ('add ', [(0, 5)]) ('del ', [(6, 7)]) ('del ', [(0, 5)]) ('add ', [(2, 3)]) ('add ', [(1, 4)]) ('del ', [(2, 3)]) ('del ', [(1, 4)]) ('add ', [(6, 7)]) ('add ', [(0, 5)]) ('del ', [(6, 7)]) ('del ', [(0, 5)]) ('add ', [(2, 3)]) ('add ', [(1, 4)]) ('del ', [(2, 3)]) ('del ', [(1, 4)]) ('add ', [(6, 7)]) ('add ', [(0, 5)]) ('del ', [(6, 7)]) ('del ', [(0, 5)]) ('add ', [(2, 3)]) ('add ', [(1, 4)]) ('del ', [(2, 3)]) ('del ', [(1, 4)]) ('add ', [(6, 7)]) ('add ', [(0, 5)]) ('del ', [(6, 7)]) ('del ', [(0, 5)]) ('add ', [(2, 3)]) ('add ', [(1, 4)]) ('del ', [(2, 3)]) ('del ', [(1, 4)]) ('add ', [(6, 7)]) ('add ', [(0, 5)]) ('del ', [(6, 7)]) ('del ', [(0, 5)]) ('add ', [(2, 3)]) ('add ', [(1, 4)]) ('del ', [(2, 3)]) ('del ', [(1, 4)]) ('add ', [(6, 7)]) ('add ', [(0, 5)]) ('del ', [(6, 7)]) ('del ', [(0, 5)]) ('add ', [(2, 3)]) ('add ', [(1, 4)]) ('del ', [(2, 3)]) ('del ', [(1, 4)]) ('add ', [(6, 7)]) ('add ', [(0, 5)]) ('del ', [(6, 7)]) ('del ', [(0, 5)]) ('add ', [(2, 3)]) ('add ', [(1, 4)]) ('del ', [(2, 3)]) ('del ', [(1, 4)]) ('add ', [(6, 7)]) ('add ', [(0, 5)]) ('del ', [(6, 7)]) ('del ', [(0, 5)]) ('add ', [(2, 3)]) ('add ', [(1, 4)]) ('del ', [(2, 3)]) ('del ', [(1, 4)]) ('add ', [(6, 7)]) ('add ', [(0, 5)]) ('del ', [(6, 7)]) ('del ', [(0, 5)]) ('add ', [(2, 3)]) ('add ', [(1, 4)]) ('del ', [(2, 3)]) ('del ', [(1, 4)]) ('add ', [(6, 7)]) ('add ', [(0, 5)]) ('del ', [(6, 7)]) ('del ', [(0, 5)]) ('add ', [(2, 3)]) ('add ', [(1, 4)]) ('del ', [(2, 3)]) ('del ', [(1, 4)]) ('add ', [(6, 7)]) ('add ', [(0, 5)]) ('del ', [(6, 7)]) ('del ', [(0, 5)]) ('add ', [(2, 3)]) ('add ', [(1, 4)]) ('del ', [(2, 3)]) ('del ', [(1, 4)]) ('add ', [(6, 7)]) ('add ', [(0, 5)]) ('del ', [(6, 7)]) ('del ', [(0, 5)]) ('add ', [(2, 3)]) ('add ', [(1, 4)]) ('del ', [(2, 3)]) ('del ', [(1, 4)]) ('add ', [(6, 7)]) ('add ', [(0, 5)]) ('del ', [(6, 7)]) ('del ', [(0, 5)]) ('add ', [(2, 3)]) ('add ', [(1, 4)]) ('del ', [(2, 3)]) ('del ', [(1, 4)]) ('add ', [(6, 7)]) ('add ', [(0, 5)]) ('del ', [(6, 7)]) ('del ', [(0, 5)]) ('add ', [(2, 3)]) ('add ', [(1, 4)]) ('del ', [(2, 3)]) ('del ', [(1, 4)]) ('add ', [(6, 7)]) ('add ', [(0, 5)]) ('del ', [(6, 7)]) ('del ', [(0, 5)]) ('add ', [(2, 3)]) ('add ', [(1, 4)]) ('del ', [(2, 3)]) ('del ', [(1, 4)]) ('add ', [(6, 7)]) ('add ', [(0, 5)]) ('del ', [(6, 7)]) ('del ', [(0, 5)]) ('add ', [(2, 3)]) ('add ', [(1, 4)]) ('del ', [(2, 3)]) ('del ', [(1, 4)]) ('add ', [(6, 7)]) ('add ', [(0, 5)]) ('del ', [(6, 7)]) ('del ', [(0, 5)]) ('add ', [(2, 3)]) ('add ', [(1, 4)]) ('del ', [(2, 3)]) ('del ', [(1, 4)]) ('add ', [(6, 7)]) ('add ', [(0, 5)]) ('del ', [(6, 7)]) ('del ', [(0, 5)]) ('add ', [(2, 3)]) ('add ', [(1, 4)]) ('del ', [(2, 3)]) ('del ', [(1, 4)]) ('add ', [(6, 7)]) ('add ', [(0, 5)]) ('del ', [(6, 7)]) ('del ', [(0, 5)]) ('add ', [(2, 3)]) ('add ', [(1, 4)]) ('del ', [(2, 3)]) ('del ', [(1, 4)]) ('add ', [(6, 7)]) ('add ', [(0, 5)]) ('del ', [(6, 7)]) ('del ', [(0, 5)]) ('add ', [(2, 3)]) ('add ', [(1, 4)]) ('del ', [(2, 3)]) ('del ', [(1, 4)]) ('add ', [(6, 7)]) ('add ', [(0, 5)]) ('del ', [(6, 7)]) ('del ', [(0, 5)]) ('add ', [(2, 3)]) ('add ', [(1, 4)]) ('del ', [(2, 3)]) ('del ', [(1, 4)]) ('add ', [(6, 7)]) ('add ', [(0, 5)]) ('del ', [(6, 7)]) ('del ', [(0, 5)]) ('add ', [(2, 3)]) ('add ', [(1, 4)]) ('del ', [(2, 3)]) ('del ', [(1, 4)]) ('add ', [(6, 7)]) ('add ', [(0, 5)]) ('del ', [(6, 7)]) ('del ', [(0, 5)]) ('add ', [(2, 3)]) ('add ', [(1, 4)]) ('del ', [(2, 3)]) ('del ', [(1, 4)]) ('add ', [(6, 7)]) ('add ', [(0, 5)]) ('del ', [(6, 7)]) ('del ', [(0, 5)]) ('add ', [(2, 3)]) ('add ', [(1, 4)]) ('del ', [(2, 3)]) ('del ', [(1, 4)]) ('add ', [(6, 7)]) ('add ', [(0, 5)]) ('del ', [(6, 7)]) ('del ', [(0, 5)]) ('add ', [(2, 3)]) ('add ', [(1, 4)]) ('del ', [(2, 3)]) ('del ', [(1, 4)]) ('add ', [(6, 7)]) ('add ', [(0, 5)]) ('del ', [(6, 7)]) ('del ', [(0, 5)]) ('add ', [(2, 3)]) ('add ', [(1, 4)]) ('del ', [(2, 3)]) ('del ', [(1, 4)]) ('add ', [(6, 7)]) ('add ', [(0, 5)]) ('del ', [(6, 7)]) ('del ', [(0, 5)]) ('add ', [(2, 3)]) ('add ', [(1, 4)]) ('del ', [(2, 3)]) ('del ', [(1, 4)]) ('add ', [(6, 7)]) ('add ', [(0, 5)]) ('del ', [(6, 7)]) ('del ', [(0, 5)]) ('add ', [(2, 3)]) ('add ', [(1, 4)]) ('del ', [(2, 3)]) ('del ', [(1, 4)]) ('add ', [(6, 7)]) ('add ', [(0, 5)]) ('del ', [(6, 7)]) ('del ', [(0, 5)]) ('add ', [(2, 3)]) ('add ', [(1, 4)]) ('del ', [(2, 3)]) ('del ', [(1, 4)]) ('add ', [(6, 7)]) ('add ', [(0, 5)]) ('del ', [(6, 7)]) ('del ', [(0, 5)]) ('add ', [(2, 3)]) ('add ', [(1, 4)]) ('del ', [(2, 3)]) ('del ', [(1, 4)]) ('add ', [(6, 7)]) ('add ', [(0, 5)]) ('del ', [(6, 7)]) ('del ', [(0, 5)]) ('add ', [(2, 3)]) ('add ', [(1, 4)]) ('del ', [(2, 3)]) ('del ', [(1, 4)]) ('add ', [(6, 7)]) ('add ', [(0, 5)]) ('del ', [(6, 7)]) ('del ', [(0, 5)]) ('add ', [(2, 3)]) ('add ', [(1, 4)]) ('del ', [(2, 3)]) ('del ', [(1, 4)]) ('add ', [(6, 7)]) ('add ', [(0, 5)]) ('del ', [(6, 7)]) ('del ', [(0, 5)]) ('add ', [(2, 3)]) ('add ', [(1, 4)]) ('del ', [(2, 3)]) ('del ', [(1, 4)]) ('add ', [(6, 7)]) ('add ', [(0, 5)]) ('del ', [(6, 7)]) ('del ', [(0, 5)]) ('add ', [(2, 3)]) ('add ', [(1, 4)]) ('del ', [(2, 3)]) ('del ', [(1, 4)]) ('add ', [(6, 7)]) ('add ', [(0, 5)]) ('del ', [(6, 7)]) ('del ', [(0, 5)]) ('add ', [(2, 3)]) ('add ', [(1, 4)]) ('del ', [(2, 3)]) ('del ', [(1, 4)]) ('add ', [(6, 7)]) ('add ', [(0, 5)]) ('del ', [(6, 7)]) ('del ', [(0, 5)]) ('add ', [(2, 3)]) ('add ', [(1, 4)]) ('del ', [(2, 3)]) ('del ', [(1, 4)]) ('add ', [(6, 7)]) ('add ', [(0, 5)]) ('del ', [(6, 7)]) ('del ', [(0, 5)]) ('add ', [(2, 3)]) ('add ', [(1, 4)]) ('del ', [(2, 3)]) ('del ', [(1, 4)]) ('add ', [(6, 7)]) ('add ', [(0, 5)]) ('del ', [(6, 7)]) ('del ', [(0, 5)]) ('add ', [(2, 3)]) ('add ', [(1, 4)]) ('del ', [(2, 3)]) ('del ', [(1, 4)]) ('add ', [(6, 7)]) ('add ', [(0, 5)]) ('del ', [(6, 7)]) ('del ', [(0, 5)]) ('add ', [(2, 3)]) ('add ', [(1, 4)]) ('del ', [(2, 3)]) ('del ', [(1, 4)]) ('add ', [(6, 7)]) ('add ', [(0, 5)]) ('del ', [(6, 7)]) ('del ', [(0, 5)]) ('add ', [(2, 3)]) ('add ', [(1, 4)]) ('del ', [(2, 3)]) ('del ', [(1, 4)]) ('add ', [(6, 7)]) ('add ', [(0, 5)]) ('del ', [(6, 7)]) ('del ', [(0, 5)]) ('add ', [(2, 3)]) ('add ', [(1, 4)]) ('del ', [(2, 3)]) ('del ', [(1, 4)]) ('add ', [(6, 7)]) ('add ', [(0, 5)]) ('del ', [(6, 7)]) ('del ', [(0, 5)]) ('add ', [(2, 3)]) ('add ', [(1, 4)]) ('del ', [(2, 3)]) ('del ', [(1, 4)]) ('add ', [(6, 7)]) ('add ', [(0, 5)]) ('del ', [(6, 7)]) ('del ', [(0, 5)]) ('add ', [(2, 3)]) ('add ', [(1, 4)]) ('del ', [(2, 3)]) ('del ', [(1, 4)]) ('add ', [(6, 7)]) ('add ', [(0, 5)]) ('del ', [(6, 7)]) ('del ', [(0, 5)]) ('add ', [(2, 3)]) ('add ', [(1, 4)]) ('del ', [(2, 3)]) ('del ', [(1, 4)]) ('add ', [(6, 7)]) ('add ', [(0, 5)]) ('del ', [(6, 7)]) ('del ', [(0, 5)]) ('add ', [(2, 3)]) ('add ', [(1, 4)]) ('del ', [(2, 3)]) ('del ', [(1, 4)]) ('add ', [(6, 7)]) ('add ', [(0, 5)]) ('del ', [(6, 7)]) ('del ', [(0, 5)]) ('add ', [(2, 3)]) ('add ', [(1, 4)]) ('del ', [(2, 3)]) ('del ', [(1, 4)]) ('add ', [(6, 7)]) ('add ', [(0, 5)]) ('del ', [(6, 7)]) ('del ', [(0, 5)]) ('add ', [(2, 3)]) ('add ', [(1, 4)]) ('del ', [(2, 3)]) ('del ', [(1, 4)]) ('add ', [(6, 7)]) ('add ', [(0, 5)]) ('del ', [(6, 7)]) ('del ', [(0, 5)]) ('add ', [(2, 3)]) ('add ', [(1, 4)]) ('del ', [(2, 3)]) ('del ', [(1, 4)]) ('add ', [(6, 7)]) ('add ', [(0, 5)]) ('del ', [(6, 7)]) ('del ', [(0, 5)]) ('add ', [(2, 3)]) ('add ', [(1, 4)]) ('del ', [(2, 3)]) ('del ', [(1, 4)]) ('add ', [(6, 7)]) ('add ', [(0, 5)]) ('del ', [(6, 7)]) ('del ', [(0, 5)]) ('add ', [(2, 3)]) ('add ', [(1, 4)]) ('del ', [(2, 3)]) ('del ', [(1, 4)]) ('add ', [(6, 7)]) ('add ', [(0, 5)]) ('del ', [(6, 7)]) ('del ', [(0, 5)]) ('add ', [(2, 3)]) ('add ', [(1, 4)]) ('del ', [(2, 3)]) ('del ', [(1, 4)]) ('add ', [(6, 7)]) ('add ', [(0, 5)]) ('del ', [(6, 7)]) ('del ', [(0, 5)]) ('add ', [(2, 3)]) ('add ', [(1, 4)]) ('del ', [(2, 3)]) ('del ', [(1, 4)]) ('add ', [(6, 7)]) ('add ', [(0, 5)]) ('del ', [(6, 7)]) ('del ', [(0, 5)]) ('add ', [(2, 3)]) ('add ', [(1, 4)]) ('del ', [(2, 3)]) ('del ', [(1, 4)]) ('add ', [(6, 7)]) ('add ', [(0, 5)]) ('del ', [(6, 7)]) ('del ', [(0, 5)]) ('add ', [(2, 3)]) ('add ', [(1, 4)]) ('del ', [(2, 3)]) ('del ', [(1, 4)]) ('add ', [(6, 7)]) ('add ', [(0, 5)]) ('del ', [(6, 7)]) ('del ', [(0, 5)]) ('add ', [(2, 3)]) ('add ', [(1, 4)]) ('del ', [(2, 3)]) ('del ', [(1, 4)]) ('add ', [(6, 7)]) ('add ', [(0, 5)]) ('del ', [(6, 7)]) ('del ', [(0, 5)]) ('add ', [(2, 3)]) ('add ', [(1, 4)]) ('del ', [(2, 3)]) ('del ', [(1, 4)]) ('add ', [(6, 7)]) ('add ', [(0, 5)]) ('del ', [(6, 7)]) ('del ', [(0, 5)]) ('add ', [(2, 3)]) ('add ', [(1, 4)]) ('del ', [(2, 3)]) ('del ', [(1, 4)]) ('add ', [(6, 7)]) ('add ', [(0, 5)]) ('del ', [(6, 7)]) ('del ', [(0, 5)]) ('add ', [(2, 3)]) ('add ', [(1, 4)]) ('del ', [(2, 3)]) ('del ', [(1, 4)]) ('add ', [(6, 7)]) ('add ', [(0, 5)]) ('del ', [(6, 7)]) ('del ', [(0, 5)]) ('add ', [(2, 3)]) ('add ', [(1, 4)]) ('del ', [(2, 3)]) ('del ', [(1, 4)]) ('add ', [(6, 7)]) ('add ', [(0, 5)]) ('del ', [(6, 7)]) ('del ', [(0, 5)]) ('add ', [(2, 3)]) ('add ', [(1, 4)]) ('del ', [(2, 3)]) ('del ', [(1, 4)]) ('add ', [(6, 7)]) ('add ', [(0, 5)]) ('del ', [(6, 7)]) ('del ', [(0, 5)]) ('add ', [(2, 3)]) ('add ', [(1, 4)]) ('del ', [(2, 3)]) ('del ', [(1, 4)]) ('add ', [(6, 7)]) ('add ', [(0, 5)]) ('del ', [(6, 7)]) ('del ', [(0, 5)]) ('add ', [(2, 3)]) ('add ', [(1, 4)]) ('del ', [(2, 3)]) ('del ', [(1, 4)]) ('add ', [(6, 7)]) ('add ', [(0, 5)]) ('del ', [(6, 7)]) ('del ', [(0, 5)]) ('add ', [(2, 3)]) ('add ', [(1, 4)]) ('del ', [(2, 3)]) ('del ', [(1, 4)]) ('add ', [(6, 7)]) ('add ', [(0, 5)]) ('del ', [(6, 7)]) ('del ', [(0, 5)]) ('add ', [(2, 3)]) ('add ', [(1, 4)]) ('del ', [(2, 3)]) ('del ', [(1, 4)]) ('add ', [(6, 7)]) ('add ', [(0, 5)]) ('del ', [(6, 7)]) ('del ', [(0, 5)]) ('add ', [(2, 3)]) ('add ', [(1, 4)]) ('del ', [(2, 3)]) ('del ', [(1, 4)]) ('add ', [(6, 7)]) ('add ', [(0, 5)]) ('del ', [(6, 7)]) ('del ', [(0, 5)]) ('add ', [(2, 3)]) ('add ', [(1, 4)]) ('del ', [(2, 3)]) ('del ', [(1, 4)]) ('add ', [(6, 7)]) ('add ', [(0, 5)]) ('del ', [(6, 7)]) ('del ', [(0, 5)]) ('add ', [(2, 3)]) ('add ', [(1, 4)]) ('del ', [(2, 3)]) ('del ', [(1, 4)]) ('add ', [(6, 7)]) ('add ', [(0, 5)]) ('del ', [(6, 7)]) ('del ', [(0, 5)]) ('add ', [(2, 3)]) ('add ', [(1, 4)]) ('del ', [(2, 3)]) ('del ', [(1, 4)]) ('add ', [(6, 7)]) ('add ', [(0, 5)]) ('del ', [(6, 7)]) ('del ', [(0, 5)]) ('add ', [(2, 3)]) ('add ', [(1, 4)]) ('del ', [(2, 3)]) ('del ', [(1, 4)]) ('add ', [(6, 7)]) ('add ', [(0, 5)]) ('del ', [(6, 7)]) ('del ', [(0, 5)]) ('add ', [(2, 3)]) ('add ', [(1, 4)]) ('del ', [(2, 3)]) ('del ', [(1, 4)]) ('add ', [(6, 7)]) ('add ', [(0, 5)]) ('del ', [(6, 7)]) ('del ', [(0, 5)]) ('add ', [(2, 3)]) ('add ', [(1, 4)]) ('del ', [(2, 3)]) ('del ', [(1, 4)]) ('add ', [(6, 7)]) ('add ', [(0, 5)]) ('del ', [(6, 7)]) ('del ', [(0, 5)]) ('add ', [(2, 3)]) ('add ', [(1, 4)]) ('del ', [(2, 3)]) ('del ', [(1, 4)]) ('add ', [(6, 7)]) ('add ', [(0, 5)]) ('del ', [(6, 7)]) ('del ', [(0, 5)]) ('add ', [(2, 3)]) ('add ', [(1, 4)]) ('del ', [(2, 3)]) ('del ', [(1, 4)]) ('add ', [(6, 7)]) ('add ', [(0, 5)]) ('del ', [(6, 7)]) ('del ', [(0, 5)]) ('add ', [(2, 3)]) ('add ', [(1, 4)]) ('del ', [(2, 3)]) ('del ', [(1, 4)]) ('add ', [(6, 7)]) ('add ', [(0, 5)]) ('del ', [(6, 7)]) ('del ', [(0, 5)]) ('add ', [(2, 3)]) ('add ', [(1, 4)]) ('del ', [(2, 3)]) ('del ', [(1, 4)]) ('add ', [(6, 7)]) ('add ', [(0, 5)]) ('del ', [(6, 7)]) ('del ', [(0, 5)]) ('add ', [(2, 3)]) ('add ', [(1, 4)]) ('del ', [(2, 3)]) ('del ', [(1, 4)]) ('add ', [(6, 7)]) ('add ', [(0, 5)]) ('del ', [(6, 7)]) ('del ', [(0, 5)]) ('add ', [(2, 3)]) ('add ', [(1, 4)]) ('del ', [(2, 3)]) ('del ', [(1, 4)]) ('add ', [(6, 7)]) ('add ', [(0, 5)]) ('del ', [(6, 7)]) ('del ', [(0, 5)]) ('add ', [(2, 3)]) ('add ', [(1, 4)]) ('del ', [(2, 3)]) ('del ', [(1, 4)]) ('add ', [(6, 7)]) ('add ', [(0, 5)]) ('del ', [(6, 7)]) ('del ', [(0, 5)]) ('add ', [(2, 3)]) ('add ', [(1, 4)]) ('del ', [(2, 3)]) ('del ', [(1, 4)]) ('add ', [(6, 7)]) ('add ', [(0, 5)]) ('del ', [(6, 7)]) ('del ', [(0, 5)]) ('add ', [(2, 3)]) ('add ', [(1, 4)]) ('del ', [(2, 3)]) ('del ', [(1, 4)]) ('add ', [(6, 7)]) ('add ', [(0, 5)]) ('del ', [(6, 7)]) ('del ', [(0, 5)]) ('add ', [(2, 3)]) ('add ', [(1, 4)]) ('del ', [(2, 3)]) ('del ', [(1, 4)]) ('add ', [(6, 7)]) ('add ', [(0, 5)]) ('del ', [(6, 7)]) ('del ', [(0, 5)]) ('add ', [(2, 3)]) ('add ', [(1, 4)]) ('del ', [(2, 3)]) ('del ', [(1, 4)]) ('add ', [(6, 7)]) ('add ', [(0, 5)]) ('del ', [(6, 7)]) ('del ', [(0, 5)]) ('add ', [(2, 3)]) ('add ', [(1, 4)]) ('del ', [(2, 3)]) ('del ', [(1, 4)]) ('add ', [(6, 7)]) ('add ', [(0, 5)]) ('del ', [(6, 7)]) ('del ', [(0, 5)]) ('add ', [(2, 3)]) ('add ', [(1, 4)]) ('del ', [(2, 3)]) ('del ', [(1, 4)]) ('add ', [(6, 7)]) ('add ', [(0, 5)]) ('del ', [(6, 7)]) ('del ', [(0, 5)]) ('add ', [(2, 3)]) ('add ', [(1, 4)]) ('del ', [(2, 3)]) ('del ', [(1, 4)]) ('add ', [(6, 7)]) ('add ', [(0, 5)]) ('del ', [(6, 7)]) ('del ', [(0, 5)]) ('add ', [(2, 3)]) ('add ', [(1, 4)]) ('del ', [(2, 3)]) ('del ', [(1, 4)]) ('add ', [(6, 7)]) ('add ', [(0, 5)]) ('del ', [(6, 7)]) ('del ', [(0, 5)]) ('add ', [(2, 3)]) ('add ', [(1, 4)]) ('del ', [(2, 3)]) ('del ', [(1, 4)]) ('add ', [(6, 7)]) ('add ', [(0, 5)]) ('del ', [(6, 7)]) ('del ', [(0, 5)]) ('add ', [(2, 3)]) ('add ', [(1, 4)]) ('del ', [(2, 3)]) ('del ', [(1, 4)]) ('add ', [(6, 7)]) ('add ', [(0, 5)]) ('del ', [(6, 7)]) ('del ', [(0, 5)]) ('add ', [(2, 3)]) ('add ', [(1, 4)]) ('del ', [(2, 3)]) ('del ', [(1, 4)]) ('add ', [(6, 7)]) ('add ', [(0, 5)]) ('del ', [(6, 7)]) ('del ', [(0, 5)]) ('add ', [(2, 3)]) ('add ', [(1, 4)]) ('del ', [(2, 3)]) ('del ', [(1, 4)]) ('add ', [(6, 7)]) ('add ', [(0, 5)]) ('del ', [(6, 7)]) ('del ', [(0, 5)]) ('add ', [(2, 3)]) ('add ', [(1, 4)]) ('del ', [(2, 3)]) ('del ', [(1, 4)]) ('add ', [(6, 7)]) ('add ', [(0, 5)]) ('del ', [(6, 7)]) ('del ', [(0, 5)]) ('add ', [(2, 3)]) ('add ', [(1, 4)]) ('del ', [(2, 3)]) ('del ', [(1, 4)]) ('add ', [(6, 7)]) ('add ', [(0, 5)]) ('del ', [(6, 7)]) ('del ', [(0, 5)]) ('add ', [(2, 3)]) ('add ', [(1, 4)]) ('del ', [(2, 3)]) ('del ', [(1, 4)]) ('add ', [(6, 7)]) ('add ', [(0, 5)]) ('del ', [(6, 7)]) ('del ', [(0, 5)]) ('add ', [(2, 3)]) ('add ', [(1, 4)]) ('del ', [(2, 3)]) ('del ', [(1, 4)]) ('add ', [(6, 7)]) ('add ', [(0, 5)]) ('del ', [(6, 7)]) ('del ', [(0, 5)]) ('add ', [(2, 3)]) ('add ', [(1, 4)]) ('del ', [(2, 3)]) ('del ', [(1, 4)]) ('add ', [(6, 7)]) ('add ', [(0, 5)]) ('del ', [(6, 7)]) ('del ', [(0, 5)]) ('add ', [(2, 3)]) ('add ', [(1, 4)]) ('del ', [(2, 3)]) ('del ', [(1, 4)]) ('add ', [(6, 7)]) ('add ', [(0, 5)]) ('del ', [(6, 7)]) ('del ', [(0, 5)]) ('add ', [(2, 3)]) ('add ', [(1, 4)]) ('del ', [(2, 3)]) ('del ', [(1, 4)]) ('add ', [(6, 7)]) ('add ', [(0, 5)]) ('del ', [(6, 7)]) ('del ', [(0, 5)]) ('add ', [(2, 3)]) ('add ', [(1, 4)]) ('del ', [(2, 3)]) ('del ', [(1, 4)]) ('add ', [(6, 7)]) ('add ', [(0, 5)]) ('del ', [(6, 7)]) ('del ', [(0, 5)]) ('add ', [(2, 3)]) ('add ', [(1, 4)]) ('del ', [(2, 3)]) ('del ', [(1, 4)]) ('add ', [(6, 7)]) ('add ', [(0, 5)]) ('del ', [(6, 7)]) ('del ', [(0, 5)]) ('add ', [(2, 3)]) ('add ', [(1, 4)]) ('del ', [(2, 3)]) ('del ', [(1, 4)]) ('add ', [(6, 7)]) ('add ', [(0, 5)]) ('del ', [(6, 7)]) ('del ', [(0, 5)]) ('add ', [(2, 3)]) ('add ', [(1, 4)]) ('del ', [(2, 3)]) ('del ', [(1, 4)]) ('add ', [(6, 7)]) ('add ', [(0, 5)]) ('del ', [(6, 7)]) ('del ', [(0, 5)]) ('add ', [(2, 3)]) ('add ', [(1, 4)]) ('del ', [(2, 3)]) ('del ', [(1, 4)]) ('add ', [(6, 7)]) ('add ', [(0, 5)]) ('del ', [(6, 7)]) ('del ', [(0, 5)]) ('add ', [(2, 3)]) ('add ', [(1, 4)]) ('del ', [(2, 3)]) ('del ', [(1, 4)]) ('add ', [(6, 7)]) ('add ', [(0, 5)]) ('del ', [(6, 7)]) ('del ', [(0, 5)]) ('add ', [(2, 3)]) ('add ', [(1, 4)]) ('del ', [(2, 3)]) ('del ', [(1, 4)]) ('add ', [(6, 7)]) ('add ', [(0, 5)]) ('del ', [(6, 7)]) ('del ', [(0, 5)]) ('add ', [(2, 3)]) ('add ', [(1, 4)]) ('del ', [(2, 3)]) ('del ', [(1, 4)]) ('add ', [(6, 7)]) ('add ', [(0, 5)]) ('del ', [(6, 7)]) ('del ', [(0, 5)]) ('add ', [(2, 3)]) ('add ', [(1, 4)]) ('del ', [(2, 3)]) ('del ', [(1, 4)]) ('add ', [(6, 7)]) ('add ', [(0, 5)]) ('del ', [(6, 7)]) ('del ', [(0, 5)]) ('add ', [(2, 3)]) ('add ', [(1, 4)]) ('del ', [(2, 3)]) ('del ', [(1, 4)]) ('add ', [(6, 7)]) ('add ', [(0, 5)]) ('del ', [(6, 7)]) ('del ', [(0, 5)]) ('add ', [(2, 3)]) ('add ', [(1, 4)]) ('del ', [(2, 3)]) ('del ', [(1, 4)]) ('add ', [(6, 7)]) ('add ', [(0, 5)]) ('del ', [(6, 7)]) ('del ', [(0, 5)]) ('add ', [(2, 3)]) ('add ', [(1, 4)]) ('del ', [(2, 3)]) ('del ', [(1, 4)]) ('add ', [(6, 7)]) ('add ', [(0, 5)]) ('del ', [(6, 7)]) ('del ', [(0, 5)]) ('add ', [(2, 3)]) ('add ', [(1, 4)]) ('del ', [(2, 3)]) ('del ', [(1, 4)]) ('add ', [(6, 7)]) ('add ', [(0, 5)]) ('del ', [(6, 7)]) ('del ', [(0, 5)]) ('add ', [(2, 3)]) ('add ', [(1, 4)]) ('del ', [(2, 3)]) ('del ', [(1, 4)]) ('add ', [(6, 7)]) ('add ', [(0, 5)]) ('del ', [(6, 7)]) ('del ', [(0, 5)]) ('add ', [(2, 3)]) ('add ', [(1, 4)]) ('del ', [(2, 3)]) ('del ', [(1, 4)]) ('add ', [(6, 7)]) ('add ', [(0, 5)]) ('del ', [(6, 7)]) ('del ', [(0, 5)]) ('add ', [(2, 3)]) ('add ', [(1, 4)]) ('del ', [(2, 3)]) ('del ', [(1, 4)]) ('add ', [(6, 7)]) ('add ', [(0, 5)]) ('del ', [(6, 7)]) ('del ', [(0, 5)]) ('add ', [(2, 3)]) ('add ', [(1, 4)]) ('del ', [(2, 3)]) ('del ', [(1, 4)]) ('add ', [(6, 7)]) ('add ', [(0, 5)]) ('del ', [(6, 7)]) ('del ', [(0, 5)]) ('add ', [(2, 3)]) ('add ', [(1, 4)]) ('del ', [(2, 3)]) ('del ', [(1, 4)]) ('add ', [(6, 7)]) ('add ', [(0, 5)]) ('del ', [(6, 7)]) ('del ', [(0, 5)]) ('add ', [(2, 3)]) ('add ', [(1, 4)]) ('del ', [(2, 3)]) ('del ', [(1, 4)]) ('add ', [(6, 7)]) ('add ', [(0, 5)]) ('del ', [(6, 7)]) ('del ', [(0, 5)]) ('add ', [(2, 3)]) ('add ', [(1, 4)]) ('del ', [(2, 3)]) ('del ', [(1, 4)]) ('add ', [(6, 7)]) ('add ', [(0, 5)]) ('del ', [(6, 7)]) ('del ', [(0, 5)]) ('add ', [(2, 3)]) ('add ', [(1, 4)]) ('del ', [(2, 3)]) ('del ', [(1, 4)]) ('add ', [(6, 7)]) ('add ', [(0, 5)]) ('del ', [(6, 7)]) ('del ', [(0, 5)]) ('add ', [(2, 3)]) ('add ', [(1, 4)]) ('del ', [(2, 3)]) ('del ', [(1, 4)]) ('add ', [(6, 7)]) ('add ', [(0, 5)]) ('del ', [(6, 7)]) ('del ', [(0, 5)]) ('add ', [(2, 3)]) ('add ', [(1, 4)]) ('del ', [(2, 3)]) ('del ', [(1, 4)]) ('add ', [(6, 7)]) ('add ', [(0, 5)]) ('del ', [(6, 7)]) ('del ', [(0, 5)]) ('add ', [(2, 3)]) ('add ', [(1, 4)]) ('del ', [(2, 3)]) ('del ', [(1, 4)]) ('add ', [(6, 7)]) ('add ', [(0, 5)]) ('del ', [(6, 7)]) ('del ', [(0, 5)]) ('add ', [(2, 3)]) ('add ', [(1, 4)]) ('del ', [(2, 3)]) ('del ', [(1, 4)]) ('add ', [(6, 7)]) ('add ', [(0, 5)]) ('del ', [(6, 7)]) ('del ', [(0, 5)]) ('add ', [(2, 3)]) ('add ', [(1, 4)]) ('del ', [(2, 3)]) ('del ', [(1, 4)]) ('add ', [(6, 7)]) ('add ', [(0, 5)]) ('del ', [(6, 7)]) ('del ', [(0, 5)]) ('add ', [(2, 3)]) ('add ', [(1, 4)]) ('del ', [(2, 3)]) ('del ', [(1, 4)]) ('add ', [(6, 7)]) ('add ', [(0, 5)]) ('del ', [(6, 7)]) ('del ', [(0, 5)]) ('add ', [(2, 3)]) ('add ', [(1, 4)]) ('del ', [(2, 3)]) ('del ', [(1, 4)]) ('add ', [(6, 7)]) ('add ', [(0, 5)]) ('del ', [(6, 7)]) ('del ', [(0, 5)]) ('add ', [(2, 3)]) ('add ', [(1, 4)]) ('del ', [(2, 3)]) ('del ', [(1, 4)]) ('add ', [(6, 7)]) ('add ', [(0, 5)]) ('del ', [(6, 7)]) ('del ', [(0, 5)]) ('add ', [(2, 3)]) ('add ', [(1, 4)]) ('del ', [(2, 3)]) ('del ', [(1, 4)]) ('add ', [(6, 7)]) ('add ', [(0, 5)]) ('del ', [(6, 7)]) ('del ', [(0, 5)]) ('add ', [(2, 3)]) ('add ', [(1, 4)]) ('del ', [(2, 3)]) ('del ', [(1, 4)]) ('add ', [(6, 7)]) ('add ', [(0, 5)]) ('del ', [(6, 7)]) ('del ', [(0, 5)]) ('add ', [(2, 3)]) ('add ', [(1, 4)]) ('del ', [(2, 3)]) ('del ', [(1, 4)]) ('add ', [(6, 7)]) ('add ', [(0, 5)]) ('del ', [(6, 7)]) ('del ', [(0, 5)]) ('add ', [(2, 3)]) ('add ', [(1, 4)]) ('del ', [(2, 3)]) ('del ', [(1, 4)]) ('add ', [(6, 7)]) ('add ', [(0, 5)]) ('del ', [(6, 7)]) ('del ', [(0, 5)]) ('add ', [(2, 3)]) ('add ', [(1, 4)]) ('del ', [(2, 3)]) ('del ', [(1, 4)]) ('add ', [(6, 7)]) ('add ', [(0, 5)]) ('del ', [(6, 7)]) ('del ', [(0, 5)]) ('add ', [(2, 3)]) ('add ', [(1, 4)]) ('del ', [(2, 3)]) ('del ', [(1, 4)]) ('add ', [(6, 7)]) ('add ', [(0, 5)]) ('del ', [(6, 7)]) ('del ', [(0, 5)]) ('add ', [(2, 3)]) ('add ', [(1, 4)]) ('del ', [(2, 3)]) ('del ', [(1, 4)]) ('add ', [(6, 7)]) ('add ', [(0, 5)]) ('del ', [(6, 7)]) ('del ', [(0, 5)]) ('add ', [(2, 3)]) ('add ', [(1, 4)]) ('del ', [(2, 3)]) ('del ', [(1, 4)]) ('add ', [(6, 7)]) ('add ', [(0, 5)]) ('del ', [(6, 7)]) ('del ', [(0, 5)]) ('add ', [(2, 3)]) ('add ', [(1, 4)]) ('del ', [(2, 3)]) ('del ', [(1, 4)]) ('add ', [(6, 7)]) ('add ', [(0, 5)]) ('del ', [(6, 7)]) ('del ', [(0, 5)]) ('add ', [(2, 3)]) ('add ', [(1, 4)]) ('del ', [(2, 3)]) ('del ', [(1, 4)]) ('add ', [(6, 7)]) ('add ', [(0, 5)]) ('del ', [(6, 7)]) ('del ', [(0, 5)]) ('add ', [(2, 3)]) ('add ', [(1, 4)]) ('del ', [(2, 3)]) ('del ', [(1, 4)]) ('add ', [(6, 7)]) ('add ', [(0, 5)]) ('del ', [(6, 7)]) ('del ', [(0, 5)]) ('add ', [(2, 3)]) ('add ', [(1, 4)]) ('del ', [(2, 3)]) ('del ', [(1, 4)]) ('add ', [(6, 7)]) ('add ', [(0, 5)]) ('del ', [(6, 7)]) ('del ', [(0, 5)]) ('add ', [(2, 3)]) ('add ', [(1, 4)]) ('del ', [(2, 3)]) ('del ', [(1, 4)]) ('add ', [(6, 7)]) ('add ', [(0, 5)]) ('del ', [(6, 7)]) ('del ', [(0, 5)]) ('add ', [(2, 3)]) ('add ', [(1, 4)]) ('del ', [(2, 3)]) ('del ', [(1, 4)]) ('add ', [(6, 7)]) ('add ', [(0, 5)]) ('del ', [(6, 7)]) ('del ', [(0, 5)]) ('add ', [(2, 3)]) ('add ', [(1, 4)]) ('del ', [(2, 3)]) ('del ', [(1, 4)]) ('add ', [(6, 7)]) ('add ', [(0, 5)]) ('del ', [(6, 7)]) ('del ', [(0, 5)]) ('add ', [(2, 3)]) ('add ', [(1, 4)]) ('del ', [(2, 3)]) ('del ', [(1, 4)]) ('add ', [(6, 7)]) ('add ', [(0, 5)]) ('del ', [(6, 7)]) ('del ', [(0, 5)]) ('add ', [(2, 3)]) ('add ', [(1, 4)]) ('del ', [(2, 3)]) ('del ', [(1, 4)]) ('add ', [(6, 7)]) ('add ', [(0, 5)]) ('del ', [(6, 7)]) ('del ', [(0, 5)]) ('add ', [(2, 3)]) ('add ', [(1, 4)]) ('del ', [(2, 3)]) ('del ', [(1, 4)]) ('add ', [(6, 7)]) ('add ', [(0, 5)]) ('del ', [(6, 7)]) ('del ', [(0, 5)]) ('add ', [(2, 3)]) ('add ', [(1, 4)]) ('del ', [(2, 3)]) ('del ', [(1, 4)]) ('add ', [(6, 7)]) ('add ', [(0, 5)]) ('del ', [(6, 7)]) ('del ', [(0, 5)]) ('add ', [(2, 3)]) ('add ', [(1, 4)]) ('del ', [(2, 3)]) ('del ', [(1, 4)]) ('add ', [(6, 7)]) ('add ', [(0, 5)]) ('del ', [(6, 7)]) ('del ', [(0, 5)]) ('add ', [(2, 3)]) ('add ', [(1, 4)]) ('del ', [(2, 3)]) ('del ', [(1, 4)]) ('add ', [(6, 7)]) ('add ', [(0, 5)]) ('del ', [(6, 7)]) ('del ', [(0, 5)]) ('add ', [(2, 3)]) ('add ', [(1, 4)]) ('del ', [(2, 3)]) ('del ', [(1, 4)]) ('add ', [(6, 7)]) ('add ', [(0, 5)]) ('del ', [(6, 7)]) ('del ', [(0, 5)]) ('add ', [(2, 3)]) ('add ', [(1, 4)]) ('del ', [(2, 3)]) ('del ', [(1, 4)]) ('add ', [(6, 7)]) ('add ', [(0, 5)]) ('del ', [(6, 7)]) ('del ', [(0, 5)]) ('add ', [(2, 3)]) ('add ', [(1, 4)]) ('del ', [(2, 3)]) ('del ', [(1, 4)]) ('add ', [(6, 7)]) ('add ', [(0, 5)]) ('del ', [(6, 7)]) ('del ', [(0, 5)]) ('add ', [(2, 3)]) ('add ', [(1, 4)]) ('del ', [(2, 3)]) ('del ', [(1, 4)]) ('add ', [(6, 7)]) ('add ', [(0, 5)]) ('del ', [(6, 7)]) ('del ', [(0, 5)]) ('add ', [(2, 3)]) ('add ', [(1, 4)]) ('del ', [(2, 3)]) ('del ', [(1, 4)]) ('add ', [(6, 7)]) ('add ', [(0, 5)]) ('del ', [(6, 7)]) ('del ', [(0, 5)]) ('add ', [(2, 3)]) ('add ', [(1, 4)]) ('del ', [(2, 3)]) ('del ', [(1, 4)]) ('add ', [(6, 7)]) ('add ', [(0, 5)]) ('del ', [(6, 7)]) ('del ', [(0, 5)]) ('add ', [(2, 3)]) ('add ', [(1, 4)]) ('del ', [(2, 3)]) ('del ', [(1, 4)]) ('add ', [(6, 7)]) ('add ', [(0, 5)]) ('del ', [(6, 7)]) ('del ', [(0, 5)]) ('add ', [(2, 3)]) ('add ', [(1, 4)]) ('del ', [(2, 3)]) ('del ', [(1, 4)]) ('add ', [(6, 7)]) ('add ', [(0, 5)]) ('del ', [(6, 7)]) ('del ', [(0, 5)]) ('add ', [(2, 3)]) ('add ', [(1, 4)]) ('del ', [(2, 3)]) ('del ', [(1, 4)]) ('add ', [(6, 7)]) ('add ', [(0, 5)]) ('del ', [(6, 7)]) ('del ', [(0, 5)]) ('add ', [(2, 3)]) ('add ', [(1, 4)]) ('del ', [(2, 3)]) ('del ', [(1, 4)]) ('add ', [(6, 7)]) ('add ', [(0, 5)]) ('del ', [(6, 7)]) ('del ', [(0, 5)]) ('add ', [(2, 3)]) ('add ', [(1, 4)]) ('del ', [(2, 3)]) ('del ', [(1, 4)]) ('add ', [(6, 7)]) ('add ', [(0, 5)]) ('del ', [(6, 7)]) ('del ', [(0, 5)]) ('add ', [(2, 3)]) ('add ', [(1, 4)]) ('del ', [(2, 3)]) ('del ', [(1, 4)]) ('add ', [(6, 7)]) ('add ', [(0, 5)]) ('del ', [(6, 7)]) ('del ', [(0, 5)]) ('add ', [(2, 3)]) ('add ', [(1, 4)]) ('del ', [(2, 3)]) ('del ', [(1, 4)]) ('add ', [(6, 7)]) ('add ', [(0, 5)]) ('del ', [(6, 7)]) ('del ', [(0, 5)]) ('add ', [(2, 3)]) ('add ', [(1, 4)]) ('del ', [(2, 3)]) ('del ', [(1, 4)]) ('add ', [(6, 7)]) ('add ', [(0, 5)]) ('del ', [(6, 7)]) ('del ', [(0, 5)]) ('add ', [(2, 3)]) ('add ', [(1, 4)]) ('del ', [(2, 3)]) ('del ', [(1, 4)]) ('add ', [(6, 7)]) ('add ', [(0, 5)]) ('del ', [(6, 7)]) ('del ', [(0, 5)]) ('add ', [(2, 3)]) ('add ', [(1, 4)]) ('del ', [(2, 3)]) ('del ', [(1, 4)]) ('add ', [(6, 7)]) ('add ', [(0, 5)]) ('del ', [(6, 7)]) ('del ', [(0, 5)]) ('add ', [(2, 3)]) ('add ', [(1, 4)]) ('del ', [(2, 3)]) ('del ', [(1, 4)]) ('add ', [(6, 7)]) ('add ', [(0, 5)]) ('del ', [(6, 7)]) ('del ', [(0, 5)]) ('add ', [(2, 3)]) ('add ', [(1, 4)]) ('del ', [(2, 3)]) ('del ', [(1, 4)]) ('add ', [(6, 7)]) ('add ', [(0, 5)]) ('del ', [(6, 7)]) ('del ', [(0, 5)]) ('add ', [(2, 3)]) ('add ', [(1, 4)]) ('del ', [(2, 3)]) ('del ', [(1, 4)]) ('add ', [(6, 7)]) ('add ', [(0, 5)]) ('del ', [(6, 7)]) ('del ', [(0, 5)]) ('add ', [(2, 3)]) ('add ', [(1, 4)]) ('del ', [(2, 3)]) ('del ', [(1, 4)]) ('add ', [(6, 7)]) ('add ', [(0, 5)]) ('del ', [(6, 7)]) ('del ', [(0, 5)]) ('add ', [(2, 3)]) ('add ', [(1, 4)]) ('del ', [(2, 3)]) ('del ', [(1, 4)]) ('add ', [(6, 7)]) ('add ', [(0, 5)]) ('del ', [(6, 7)]) ('del ', [(0, 5)]) ('add ', [(2, 3)]) ('add ', [(1, 4)]) ('del ', [(2, 3)]) ('del ', [(1, 4)]) ('add ', [(6, 7)]) ('add ', [(0, 5)]) ('del ', [(6, 7)]) ('del ', [(0, 5)]) ('add ', [(2, 3)]) ('add ', [(1, 4)]) ('del ', [(2, 3)]) ('del ', [(1, 4)]) ('add ', [(6, 7)]) ('add ', [(0, 5)]) ('del ', [(6, 7)]) ('del ', [(0, 5)]) ('add ', [(2, 3)]) ('add ', [(1, 4)]) ('del ', [(2, 3)]) ('del ', [(1, 4)]) ('add ', [(6, 7)]) ('add ', [(0, 5)]) ('del ', [(6, 7)]) ('del ', [(0, 5)]) ('add ', [(2, 3)]) ('add ', [(1, 4)]) ('del ', [(2, 3)]) ('del ', [(1, 4)]) ('add ', [(6, 7)]) ('add ', [(0, 5)]) ('del ', [(6, 7)]) ('del ', [(0, 5)]) ('add ', [(2, 3)]) ('add ', [(1, 4)]) ('del ', [(2, 3)]) ('del ', [(1, 4)]) ('add ', [(6, 7)]) ('add ', [(0, 5)]) ('del ', [(6, 7)]) ('del ', [(0, 5)]) ('add ', [(2, 3)]) ('add ', [(1, 4)]) ('del ', [(2, 3)]) ('del ', [(1, 4)]) ('add ', [(6, 7)]) ('add ', [(0, 5)]) ('del ', [(6, 7)]) ('del ', [(0, 5)]) ('add ', [(2, 3)]) ('add ', [(1, 4)]) ('del ', [(2, 3)]) ('del ', [(1, 4)]) ('add ', [(6, 7)]) ('add ', [(0, 5)]) ('del ', [(6, 7)]) ('del ', [(0, 5)]) ('add ', [(2, 3)]) ('add ', [(1, 4)]) ('del ', [(2, 3)]) ('del ', [(1, 4)]) ('add ', [(6, 7)]) ('add ', [(0, 5)]) ('del ', [(6, 7)]) ('del ', [(0, 5)]) ('add ', [(2, 3)]) ('add ', [(1, 4)]) ('del ', [(2, 3)]) ('del ', [(1, 4)]) ('add ', [(6, 7)]) ('add ', [(0, 5)]) ('del ', [(6, 7)]) ('del ', [(0, 5)]) ('add ', [(2, 3)]) ('add ', [(1, 4)]) ('del ', [(2, 3)]) ('del ', [(1, 4)]) ('add ', [(6, 7)]) ('add ', [(0, 5)]) ('del ', [(6, 7)]) ('del ', [(0, 5)]) ('add ', [(2, 3)]) ('add ', [(1, 4)]) ('del ', [(2, 3)]) ('del ', [(1, 4)]) ('add ', [(6, 7)]) ('add ', [(0, 5)]) ('del ', [(6, 7)]) ('del ', [(0, 5)]) ('add ', [(2, 3)]) ('add ', [(1, 4)]) ('del ', [(2, 3)]) ('del ', [(1, 4)]) ('add ', [(6, 7)]) ('add ', [(0, 5)]) ('del ', [(6, 7)]) ('del ', [(0, 5)]) ('add ', [(2, 3)]) ('add ', [(1, 4)]) ('del ', [(2, 3)]) ('del ', [(1, 4)]) ('add ', [(6, 7)]) ('add ', [(0, 5)]) ('del ', [(6, 7)]) ('del ', [(0, 5)]) ('add ', [(2, 3)]) ('add ', [(1, 4)]) ('del ', [(2, 3)]) ('del ', [(1, 4)]) ('add ', [(6, 7)]) ('add ', [(0, 5)]) ('del ', [(6, 7)]) ('del ', [(0, 5)]) ('add ', [(2, 3)]) ('add ', [(1, 4)]) ('del ', [(2, 3)]) ('del ', [(1, 4)]) ('add ', [(6, 7)]) ('add ', [(0, 5)]) ('del ', [(6, 7)]) ('del ', [(0, 5)]) ('add ', [(2, 3)]) ('add ', [(1, 4)]) ('del ', [(2, 3)]) ('del ', [(1, 4)]) ('add ', [(6, 7)]) ('add ', [(0, 5)]) ('del ', [(6, 7)]) ('del ', [(0, 5)]) ('add ', [(2, 3)]) ('add ', [(1, 4)]) ('del ', [(2, 3)]) ('del ', [(1, 4)]) ('add ', [(6, 7)]) ('add ', [(0, 5)]) ('del ', [(6, 7)]) ('del ', [(0, 5)]) ('add ', [(2, 3)]) ('add ', [(1, 4)]) ('del ', [(2, 3)]) ('del ', [(1, 4)]) ('add ', [(6, 7)]) ('add ', [(0, 5)]) ('del ', [(6, 7)]) ('del ', [(0, 5)]) ('add ', [(2, 3)]) ('add ', [(1, 4)]) ('del ', [(2, 3)]) ('del ', [(1, 4)]) ('add ', [(6, 7)]) ('add ', [(0, 5)]) ('del ', [(6, 7)]) ('del ', [(0, 5)]) ('add ', [(2, 3)]) ('add ', [(1, 4)]) ('del ', [(2, 3)]) ('del ', [(1, 4)]) ('add ', [(6, 7)]) ('add ', [(0, 5)]) ('del ', [(6, 7)]) ('del ', [(0, 5)]) ('add ', [(2, 3)]) ('add ', [(1, 4)]) ('del ', [(2, 3)]) ('del ', [(1, 4)]) ('add ', [(6, 7)]) ('add ', [(0, 5)]) ('del ', [(6, 7)]) ('del ', [(0, 5)]) ('add ', [(2, 3)]) ('add ', [(1, 4)]) ('del ', [(2, 3)]) ('del ', [(1, 4)]) ('add ', [(6, 7)]) ('add ', [(0, 5)]) ('del ', [(6, 7)]) ('del ', [(0, 5)]) ('add ', [(2, 3)]) ('add ', [(1, 4)]) ('del ', [(2, 3)]) ('del ', [(1, 4)]) ('add ', [(6, 7)]) ('add ', [(0, 5)]) ('del ', [(6, 7)]) ('del ', [(0, 5)]) ('add ', [(2, 3)]) ('add ', [(1, 4)]) ('del ', [(2, 3)]) ('del ', [(1, 4)]) ('add ', [(6, 7)]) ('add ', [(0, 5)]) ('del ', [(6, 7)]) ('del ', [(0, 5)]) ('add ', [(2, 3)]) ('add ', [(1, 4)]) ('del ', [(2, 3)]) ('del ', [(1, 4)]) ('add ', [(6, 7)]) ('add ', [(0, 5)]) ('del ', [(6, 7)]) ('del ', [(0, 5)]) ('add ', [(2, 3)]) ('add ', [(1, 4)]) ('del ', [(2, 3)]) ('del ', [(1, 4)]) ('add ', [(6, 7)]) ('add ', [(0, 5)]) ('del ', [(6, 7)]) ('del ', [(0, 5)]) ('add ', [(2, 3)]) ('add ', [(1, 4)]) ('del ', [(2, 3)]) ('del ', [(1, 4)]) ('add ', [(6, 7)]) ('add ', [(0, 5)]) ('del ', [(6, 7)]) ('del ', [(0, 5)]) ('add ', [(2, 3)]) ('add ', [(1, 4)]) ('del ', [(2, 3)]) ('del ', [(1, 4)]) ('add ', [(6, 7)]) ('add ', [(0, 5)]) ('del ', [(6, 7)]) ('del ', [(0, 5)]) ('add ', [(2, 3)]) ('add ', [(1, 4)]) ('del ', [(2, 3)]) ('del ', [(1, 4)]) ('add ', [(6, 7)]) ('add ', [(0, 5)]) ('del ', [(6, 7)]) ('del ', [(0, 5)]) ('add ', [(2, 3)]) ('add ', [(1, 4)]) ('del ', [(2, 3)]) ('del ', [(1, 4)]) ('add ', [(6, 7)]) ('add ', [(0, 5)]) ('del ', [(6, 7)]) ('del ', [(0, 5)]) ('add ', [(2, 3)]) ('add ', [(1, 4)]) ('del ', [(2, 3)]) ('del ', [(1, 4)]) ('add ', [(6, 7)]) ('add ', [(0, 5)]) ('del ', [(6, 7)]) ('del ', [(0, 5)]) ('add ', [(2, 3)]) ('add ', [(1, 4)]) ('del ', [(2, 3)]) ('del ', [(1, 4)]) ('add ', [(6, 7)]) ('add ', [(0, 5)]) ('del ', [(6, 7)]) ('del ', [(0, 5)]) ('add ', [(2, 3)]) ('add ', [(1, 4)]) ('del ', [(2, 3)]) ('del ', [(1, 4)]) ('add ', [(6, 7)]) ('add ', [(0, 5)]) ('del ', [(6, 7)]) ('del ', [(0, 5)]) ('add ', [(2, 3)]) ('add ', [(1, 4)]) ('del ', [(2, 3)]) ('del ', [(1, 4)]) ('add ', [(6, 7)]) ('add ', [(0, 5)]) ('del ', [(6, 7)]) ('del ', [(0, 5)]) ('add ', [(2, 3)]) ('add ', [(1, 4)]) ('del ', [(2, 3)]) ('del ', [(1, 4)]) ('add ', [(6, 7)]) ('add ', [(0, 5)]) ('del ', [(6, 7)]) ('del ', [(0, 5)]) ('add ', [(2, 3)]) ('add ', [(1, 4)]) ('del ', [(2, 3)]) ('del ', [(1, 4)]) ('add ', [(6, 7)]) ('add ', [(0, 5)]) ('del ', [(6, 7)]) ('del ', [(0, 5)]) ('add ', [(2, 3)]) ('add ', [(1, 4)]) ('del ', [(2, 3)]) ('del ', [(1, 4)]) ('add ', [(6, 7)]) ('add ', [(0, 5)]) ('del ', [(6, 7)]) ('del ', [(0, 5)]) ('add ', [(2, 3)]) ('add ', [(1, 4)]) ('del ', [(2, 3)]) ('del ', [(1, 4)]) ('add ', [(6, 7)]) ('add ', [(0, 5)]) ('del ', [(6, 7)]) ('del ', [(0, 5)]) ('add ', [(2, 3)]) ('add ', [(1, 4)]) ('del ', [(2, 3)]) ('del ', [(1, 4)]) ('add ', [(6, 7)]) ('add ', [(0, 5)]) ('del ', [(6, 7)]) ('del ', [(0, 5)]) ('add ', [(2, 3)]) ('add ', [(1, 4)]) ('del ', [(2, 3)]) ('del ', [(1, 4)]) ('add ', [(6, 7)]) ('add ', [(0, 5)]) ('del ', [(6, 7)]) ('del ', [(0, 5)]) ('add ', [(2, 3)]) ('add ', [(1, 4)]) ('del ', [(2, 3)]) ('del ', [(1, 4)]) ('add ', [(6, 7)]) ('add ', [(0, 5)]) ('del ', [(6, 7)]) ('del ', [(0, 5)]) ('add ', [(2, 3)]) ('add ', [(1, 4)]) ('del ', [(2, 3)]) ('del ', [(1, 4)]) ('add ', [(6, 7)]) ('add ', [(0, 5)]) ('del ', [(6, 7)]) ('del ', [(0, 5)]) ('add ', [(2, 3)]) ('add ', [(1, 4)]) ('del ', [(2, 3)]) ('del ', [(1, 4)]) ('add ', [(6, 7)]) ('add ', [(0, 5)]) ('del ', [(6, 7)]) ('del ', [(0, 5)]) ('add ', [(2, 3)]) ('add ', [(1, 4)]) ('del ', [(2, 3)]) ('del ', [(1, 4)]) ('add ', [(6, 7)]) ('add ', [(0, 5)]) ('del ', [(6, 7)]) ('del ', [(0, 5)]) ('add ', [(2, 3)]) ('add ', [(1, 4)]) ('del ', [(2, 3)]) ('del ', [(1, 4)]) ('add ', [(6, 7)]) ('add ', [(0, 5)]) ('del ', [(6, 7)]) ('del ', [(0, 5)]) ('add ', [(2, 3)]) ('add ', [(1, 4)]) ('del ', [(2, 3)]) ('del ', [(1, 4)]) ('add ', [(6, 7)]) ('add ', [(0, 5)]) ('del ', [(6, 7)]) ('del ', [(0, 5)]) ('add ', [(2, 3)]) ('add ', [(1, 4)]) ('del ', [(2, 3)]) ('del ', [(1, 4)]) ('add ', [(6, 7)]) ('add ', [(0, 5)]) ('del ', [(6, 7)]) ('del ', [(0, 5)]) ('add ', [(2, 3)]) ('add ', [(1, 4)]) ('del ', [(2, 3)]) ('del ', [(1, 4)]) ('add ', [(6, 7)]) ('add ', [(0, 5)]) ('del ', [(6, 7)]) ('del ', [(0, 5)]) ('add ', [(2, 3)]) ('add ', [(1, 4)]) ('del ', [(2, 3)]) ('del ', [(1, 4)]) ('add ', [(6, 7)]) ('add ', [(0, 5)]) ('del ', [(6, 7)]) ('del ', [(0, 5)]) ('add ', [(2, 3)]) ('add ', [(1, 4)]) ('del ', [(2, 3)]) ('del ', [(1, 4)]) ('add ', [(6, 7)]) ('add ', [(0, 5)]) ('del ', [(6, 7)]) ('del ', [(0, 5)]) ('add ', [(2, 3)]) ('add ', [(1, 4)]) ('del ', [(2, 3)]) ('del ', [(1, 4)]) ('add ', [(6, 7)]) ('add ', [(0, 5)]) ('del ', [(6, 7)]) ('del ', [(0, 5)]) ('add ', [(2, 3)]) ('add ', [(1, 4)]) ('del ', [(2, 3)]) ('del ', [(1, 4)]) ('add ', [(6, 7)]) ('add ', [(0, 5)]) ('del ', [(6, 7)]) ('del ', [(0, 5)]) ('add ', [(2, 3)]) ('add ', [(1, 4)]) ('del ', [(2, 3)]) ('del ', [(1, 4)]) ('add ', [(6, 7)]) ('add ', [(0, 5)]) ('del ', [(6, 7)]) ('del ', [(0, 5)]) ('add ', [(2, 3)]) ('add ', [(1, 4)]) ('del ', [(2, 3)]) ('del ', [(1, 4)]) ('add ', [(6, 7)]) ('add ', [(0, 5)]) ('del ', [(6, 7)]) ('del ', [(0, 5)]) ('add ', [(2, 3)]) ('add ', [(1, 4)]) ('del ', [(2, 3)]) ('del ', [(1, 4)]) ('add ', [(6, 7)]) ('add ', [(0, 5)]) ('del ', [(6, 7)]) ('del ', [(0, 5)]) ('add ', [(2, 3)]) ('add ', [(1, 4)]) ('del ', [(2, 3)]) ('del ', [(1, 4)]) ('add ', [(6, 7)]) ('add ', [(0, 5)]) ('del ', [(6, 7)]) ('del ', [(0, 5)]) ('add ', [(2, 3)]) ('add ', [(1, 4)]) ('del ', [(2, 3)]) ('del ', [(1, 4)]) ('add ', [(6, 7)]) ('add ', [(0, 5)]) ('del ', [(6, 7)]) ('del ', [(0, 5)]) ('add ', [(2, 3)]) ('add ', [(1, 4)]) ('del ', [(2, 3)]) ('del ', [(1, 4)]) ('add ', [(6, 7)]) ('add ', [(0, 5)]) ('del ', [(6, 7)]) ('del ', [(0, 5)]) ('add ', [(2, 3)]) ('add ', [(1, 4)]) ('del ', [(2, 3)]) ('del ', [(1, 4)]) ('add ', [(6, 7)]) ('add ', [(0, 5)]) ('del ', [(6, 7)]) ('del ', [(0, 5)]) ('add ', [(2, 3)]) ('add ', [(1, 4)]) ('del ', [(2, 3)]) ('del ', [(1, 4)]) ('add ', [(6, 7)]) ('add ', [(0, 5)]) ('del ', [(6, 7)]) ('del ', [(0, 5)]) ('add ', [(2, 3)]) ('add ', [(1, 4)]) ('del ', [(2, 3)]) ('del ', [(1, 4)]) ('add ', [(6, 7)]) ('add ', [(0, 5)]) ('del ', [(6, 7)]) ('del ', [(0, 5)]) ('add ', [(2, 3)]) ('add ', [(1, 4)]) ('del ', [(2, 3)]) ('del ', [(1, 4)]) ('add ', [(6, 7)]) ('add ', [(0, 5)]) ('del ', [(6, 7)]) ('del ', [(0, 5)]) ('add ', [(2, 3)]) ('add ', [(1, 4)]) ('del ', [(2, 3)]) ('del ', [(1, 4)]) ('add ', [(6, 7)]) ('add ', [(0, 5)]) ('del ', [(6, 7)]) ('del ', [(0, 5)]) ('add ', [(2, 3)]) ('add ', [(1, 4)]) ('del ', [(2, 3)]) ('del ', [(1, 4)]) ('add ', [(6, 7)]) ('add ', [(0, 5)]) ('del ', [(6, 7)]) ('del ', [(0, 5)]) ('add ', [(2, 3)]) ('add ', [(1, 4)]) ('del ', [(2, 3)]) ('del ', [(1, 4)]) ('add ', [(6, 7)]) ('add ', [(0, 5)]) ('del ', [(6, 7)]) ('del ', [(0, 5)]) ('add ', [(2, 3)]) ('add ', [(1, 4)]) ('del ', [(2, 3)]) ('del ', [(1, 4)]) ('add ', [(6, 7)]) ('add ', [(0, 5)]) ('del ', [(6, 7)]) ('del ', [(0, 5)]) ('add ', [(2, 3)]) ('add ', [(1, 4)]) ('del ', [(2, 3)]) ('del ', [(1, 4)]) ('add ', [(6, 7)]) ('add ', [(0, 5)]) ('del ', [(6, 7)]) ('del ', [(0, 5)]) ('add ', [(2, 3)]) ('add ', [(1, 4)]) ('del ', [(2, 3)]) ('del ', [(1, 4)]) ('add ', [(6, 7)]) ('add ', [(0, 5)]) ('del ', [(6, 7)]) ('del ', [(0, 5)]) ('add ', [(2, 3)]) ('add ', [(1, 4)]) ('del ', [(2, 3)]) ('del ', [(1, 4)]) ('add ', [(6, 7)]) ('add ', [(0, 5)]) ('del ', [(6, 7)]) ('del ', [(0, 5)]) ('add ', [(2, 3)]) ('add ', [(1, 4)]) ('del ', [(2, 3)]) ('del ', [(1, 4)]) ('add ', [(6, 7)]) ('add ', [(0, 5)]) ('del ', [(6, 7)]) ('del ', [(0, 5)]) ('add ', [(2, 3)]) ('add ', [(1, 4)]) ('del ', [(2, 3)]) ('del ', [(1, 4)]) ('add ', [(6, 7)]) ('add ', [(0, 5)]) ('del ', [(6, 7)]) ('del ', [(0, 5)]) ('add ', [(2, 3)]) ('add ', [(1, 4)]) ('del ', [(2, 3)]) ('del ', [(1, 4)]) ('add ', [(6, 7)]) ('add ', [(0, 5)]) ('del ', [(6, 7)]) ('del ', [(0, 5)]) ('add ', [(2, 3)]) ('add ', [(1, 4)]) ('del ', [(2, 3)]) ('del ', [(1, 4)]) ('add ', [(6, 7)]) ('add ', [(0, 5)]) ('del ', [(6, 7)]) ('del ', [(0, 5)]) ('add ', [(2, 3)]) ('add ', [(1, 4)]) ('del ', [(2, 3)]) ('del ', [(1, 4)]) ('add ', [(6, 7)]) ('add ', [(0, 5)]) ('del ', [(6, 7)]) ('del ', [(0, 5)]) ('add ', [(2, 3)]) ('add ', [(1, 4)]) ('del ', [(2, 3)]) ('del ', [(1, 4)]) ('add ', [(6, 7)]) ('add ', [(0, 5)]) ('del ', [(6, 7)]) ('del ', [(0, 5)]) ('add ', [(2, 3)]) ('add ', [(1, 4)]) ('del ', [(2, 3)]) ('del ', [(1, 4)]) ('add ', [(6, 7)]) ('add ', [(0, 5)]) ('del ', [(6, 7)]) ('del ', [(0, 5)]) ('add ', [(2, 3)]) ('add ', [(1, 4)]) ('del ', [(2, 3)]) ('del ', [(1, 4)]) ('add ', [(6, 7)]) ('add ', [(0, 5)]) ('del ', [(6, 7)]) ('del ', [(0, 5)]) ('add ', [(2, 3)]) ('add ', [(1, 4)]) ('del ', [(2, 3)]) ('del ', [(1, 4)]) ('add ', [(6, 7)]) ('add ', [(0, 5)]) ('del ', [(6, 7)]) ('del ', [(0, 5)]) ('add ', [(2, 3)]) ('add ', [(1, 4)]) ('del ', [(2, 3)]) ('del ', [(1, 4)]) ('add ', [(6, 7)]) ('add ', [(0, 5)]) ('del ', [(6, 7)]) ('del ', [(0, 5)]) ('add ', [(2, 3)]) ('add ', [(1, 4)]) ('del ', [(2, 3)]) ('del ', [(1, 4)]) ('add ', [(6, 7)]) ('add ', [(0, 5)]) ('del ', [(6, 7)]) ('del ', [(0, 5)]) ('add ', [(2, 3)]) ('add ', [(1, 4)]) ('del ', [(2, 3)]) ('del ', [(1, 4)]) ('add ', [(6, 7)]) ('add ', [(0, 5)]) ('del ', [(6, 7)]) ('del ', [(0, 5)]) ('add ', [(2, 3)]) ('add ', [(1, 4)]) ('del ', [(2, 3)]) ('del ', [(1, 4)]) ('add ', [(6, 7)]) ('add ', [(0, 5)]) ('del ', [(6, 7)]) ('del ', [(0, 5)]) ('add ', [(2, 3)]) ('add ', [(1, 4)]) ('del ', [(2, 3)]) ('del ', [(1, 4)]) ('add ', [(6, 7)]) ('add ', [(0, 5)]) ('del ', [(6, 7)]) ('del ', [(0, 5)]) ('add ', [(2, 3)]) ('add ', [(1, 4)]) ('del ', [(2, 3)]) ('del ', [(1, 4)]) ('add ', [(6, 7)]) ('add ', [(0, 5)]) ('del ', [(6, 7)]) ('del ', [(0, 5)]) ('add ', [(2, 3)]) ('add ', [(1, 4)]) ('del ', [(2, 3)]) ('del ', [(1, 4)]) ('add ', [(6, 7)]) ('add ', [(0, 5)]) ('del ', [(6, 7)]) ('del ', [(0, 5)]) ('add ', [(2, 3)]) ('add ', [(1, 4)]) ('del ', [(2, 3)]) ('del ', [(1, 4)]) ('add ', [(6, 7)]) ('add ', [(0, 5)]) ('del ', [(6, 7)]) ('del ', [(0, 5)]) ('add ', [(2, 3)]) ('add ', [(1, 4)]) ('del ', [(2, 3)]) ('del ', [(1, 4)]) ('add ', [(6, 7)]) ('add ', [(0, 5)]) ('del ', [(6, 7)]) ('del ', [(0, 5)]) ('add ', [(2, 3)]) ('add ', [(1, 4)]) ('del ', [(2, 3)]) ('del ', [(1, 4)]) ('add ', [(6, 7)]) ('add ', [(0, 5)]) ('del ', [(6, 7)]) ('del ', [(0, 5)]) ('add ', [(2, 3)]) ('add ', [(1, 4)]) ('del ', [(2, 3)]) ('del ', [(1, 4)]) ('add ', [(6, 7)]) ('add ', [(0, 5)]) ('del ', [(6, 7)]) ('del ', [(0, 5)]) ('add ', [(2, 3)]) ('add ', [(1, 4)]) ('del ', [(2, 3)]) ('del ', [(1, 4)]) ('add ', [(6, 7)]) ('add ', [(0, 5)]) ('del ', [(6, 7)]) ('del ', [(0, 5)]) ('add ', [(2, 3)]) ('add ', [(1, 4)]) ('del ', [(2, 3)]) ('del ', [(1, 4)]) ('add ', [(6, 7)]) ('add ', [(0, 5)]) ('del ', [(6, 7)]) ('del ', [(0, 5)]) ('add ', [(2, 3)]) ('add ', [(1, 4)]) ('del ', [(2, 3)]) ('del ', [(1, 4)]) ('add ', [(6, 7)]) ('add ', [(0, 5)]) ('del ', [(6, 7)]) ('del ', [(0, 5)]) ('add ', [(2, 3)]) ('add ', [(1, 4)]) ('del ', [(2, 3)]) ('del ', [(1, 4)]) ('add ', [(6, 7)]) ('add ', [(0, 5)]) ('del ', [(6, 7)]) ('del ', [(0, 5)]) ('add ', [(2, 3)]) ('add ', [(1, 4)]) ('del ', [(2, 3)]) ('del ', [(1, 4)]) ('add ', [(6, 7)]) ('add ', [(0, 5)]) ('del ', [(6, 7)]) ('del ', [(0, 5)]) ('add ', [(2, 3)]) ('add ', [(1, 4)]) ('del ', [(2, 3)]) ('del ', [(1, 4)]) ('add ', [(6, 7)]) ('add ', [(0, 5)]) ('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...

#his
g.clique_maximum()
g.independent_set()
g.plot(layout='circular')

[2, 4] [2, 3]