+(x,y).
+(x,+(y,z)).
n(+(n(+(x,y)),n(+(x,n(y))))).
+(C,D).
+(n(+(A,n(B))),n(+(n(A),n(B)))).
+(n(+(n(B),A)),n(+(n(A),n(B)))).
+(n(+(A,n(B))),n(+(n(B),n(A)))).
+(n(+(n(A),n(B))),n(+(A,n(B)))).
+(n(+(n(B),A)),n(+(n(B),n(A)))).
+(n(+(n(A),n(B))),n(+(n(B),A))).
+(n(+(n(B),n(A))),n(+(A,n(B)))).
+(n(+(n(B),n(A))),n(+(n(B),A))).
n(+(n(+(x,+(y,z))),n(+(x,+(y,n(z)))))).
n(+(n(+(x,y)),n(+(y,n(x))))).
n(+(x,n(+(n(n(+(x,n(y)))),n(+(x,y)))))).
n(+(n(+(x,y)),n(+(x,+(n(+(y,z)),n(+(y,n(z)))))))).
n(+(x,n(+(x,+(n(y),n(+(x,y))))))).
n(+(n(D),n(+(C,n(D))))).
n(+(n(+(x,D)),n(+(x,+(C,n(D)))))).
n(+(n(+(x,+(y,+(z,u)))),n(+(x,+(y,+(z,n(u))))))).
n(+(n(+(x,+(y,z))),n(+(x,+(z,n(y)))))).
n(+(n(+(x,+(y,z))),n(+(x,+(y,+(n(+(z,u)),n(+(z,n(u))))))))).
n(+(n(+(x,D)),n(+(C,+(D,n(x)))))).
n(+(x,+(y,n(+(x,+(y,+(n(z),n(+(x,+(y,z)))))))))).
n(+(n(+(x,+(y,z))),n(+(x,+(n(+(y,+(z,u))),n(+(y,+(z,n(u))))))))).
n(+(x,+(y,n(+(n(n(+(x,+(y,n(z))))),n(+(x,+(y,z)))))))).
n(+(n(D),n(+(D,n(C))))).
n(+(n(+(x,+(y,z))),n(+(z,n(+(x,y)))))).
n(+(x,n(+(n(n(+(x,y))),n(+(x,n(y))))))).
n(+(x,+(y,n(+(n(n(+(x,+(y,z)))),n(+(x,+(y,n(z))))))))).
n(+(n(+(y,z)),n(+(z,+(n(+(x,y)),n(+(y,n(x)))))))).
n(+(n(+(x,+(y,u))),n(+(u,+(n(+(x,+(y,z))),n(+(x,+(y,n(z))))))))).
n(+(n(+(x,z)),n(+(z,+(n(+(x,y)),n(+(x,n(y)))))))).
n(+(n(+(x,+(y,z))),n(+(y,+(z,n(x)))))).
n(+(n(+(x,+(y,u))),n(+(x,+(y,+(n(+(z,u)),n(+(u,n(z))))))))).
n(+(y,n(+(y,+(n(x),n(+(x,y))))))).
n(+(n(+(x,z)),n(+(x,+(n(+(y,z)),n(+(z,n(y)))))))).
n(+(n(+(x,y)),n(+(n(y),n(+(y,+(n(x),n(+(x,y))))))))).
n(+(n(+(x,y)),n(+(n(x),n(+(x,+(n(y),n(+(x,y))))))))).
n(+(C,n(+(n(D),n(n(+(C,n(D)))))))).
n(+(x,n(+(n(n(+(x,n(n(+(n(n(+(x,n(y)))),n(+(x,y)))))))),n(+(x,y)))))).
n(+(n(+(x,y)),n(+(y,n(n(+(n(n(+(y,n(x)))),n(+(x,y))))))))).
n(+(n(+(x,y)),n(+(x,n(n(+(n(n(+(x,n(y)))),n(+(x,y))))))))).
n(+(n(+(x,y)),n(+(x,+(n(n(+(x,n(y)))),n(+(x,y))))))).
n(+(n(+(x,+(z,n(+(n(n(+(x,n(y)))),n(+(x,y))))))),n(+(z,n(+(x,y)))))).
n(+(n(+(x,n(+(y,z)))),n(+(x,+(y,n(+(n(n(+(y,n(z)))),n(+(y,z))))))))).
n(+(n(D),n(+(C,+(n(+(x,D)),n(+(D,n(x)))))))).
n(+(x,n(+(n(+(x,y)),+(n(+(z,n(+(x,n(y))))),n(+(n(z),n(+(x,n(y)))))))))).
n(+(n(+(x,C)),n(+(x,+(n(D),n(+(C,n(D)))))))).
n(+(n(+(x,y)),n(+(x,+(n(+(y,z)),n(+(y,n(n(+(n(n(+(y,n(z)))),n(+(y,z)))))))))))).
n(+(n(+(x,n(+(y,z)))),n(+(x,+(z,n(+(n(n(+(z,n(y)))),n(+(y,z))))))))).
n(+(n(+(x,y)),n(+(x,+(n(+(y,u)),n(+(y,+(n(+(z,u)),n(+(u,n(z))))))))))).
n(+(n(+(x,y)),n(+(x,+(n(+(y,z)),n(+(y,+(n(+(z,u)),n(+(z,n(u))))))))))).
n(+(n(+(x,y)),n(+(x,+(n(+(y,z)),n(+(y,+(n(n(+(y,n(z)))),n(+(y,z)))))))))).
n(+(n(+(x,n(+(y,z)))),n(+(x,+(z,n(+(z,+(n(y),n(+(y,z)))))))))).
n(+(n(+(x,n(+(y,z)))),n(+(x,+(y,n(+(y,+(n(z),n(+(y,z)))))))))).
n(+(n(+(x,y)),n(+(x,n(n(+(n(n(+(x,+(n(+(y,z)),n(+(y,n(z))))))),n(+(x,y))))))))).
n(+(x,n(+(x,+(n(+(x,y)),+(n(+(y,z)),n(+(y,n(z))))))))).
n(+(n(+(x,u)),n(+(u,+(n(+(x,y)),n(+(x,+(n(+(y,z)),n(+(y,n(z))))))))))).
n(+(x,n(+(n(n(+(x,+(n(+(y,z)),n(+(y,n(z))))))),n(+(x,y)))))).
n(+(C,n(+(C,+(n(D),n(D)))))).
n(+(x,n(+(x,+(n(n(+(x,+(n(y),n(+(x,y)))))),n(+(x,y))))))).
n(+(n(+(x,y)),n(+(x,+(n(n(+(x,+(n(+(y,z)),n(+(y,n(z))))))),n(+(x,y))))))).
n(+(x,n(+(x,+(n(n(+(n(n(+(x,n(y)))),n(+(x,y))))),n(+(x,y))))))).
n(+(n(+(x,y)),n(+(y,+(n(n(+(y,n(x)))),n(+(x,y))))))).
n(+(n(+(x,+(y,z))),n(+(x,+(y,+(n(n(+(x,+(y,n(z))))),n(+(x,+(y,z))))))))).
n(+(n(+(x,y)),n(+(x,+(n(+(y,z)),n(+(y,+(y,+(n(z),n(+(y,z))))))))))).
n(+(n(+(x,y)),n(+(x,+(n(+(y,z)),n(+(y,n(n(+(y,+(n(z),n(+(y,z))))))))))))).
n(+(x,n(+(n(n(+(x,n(n(+(x,+(n(y),n(+(x,y))))))))),n(+(x,y)))))).
n(+(n(+(x,y)),n(+(x,+(x,+(n(y),n(+(x,y)))))))).
n(+(n(+(x,+(z,n(+(x,+(n(y),n(+(x,y)))))))),n(+(z,n(+(x,y)))))).
n(+(n(+(x,+(y,n(+(z,u))))),n(+(x,+(y,+(z,n(+(z,+(n(u),n(+(z,u))))))))))).
n(+(n(+(x,y)),n(+(x,n(n(+(x,+(n(y),n(+(x,y)))))))))).
n(+(n(D),n(+(C,+(n(D),n(n(+(C,n(D))))))))).
n(+(n(+(x,n(D))),n(+(x,+(C,n(+(C,+(n(D),n(D))))))))).
n(+(n(+(x,n(D))),n(+(x,+(C,n(+(n(D),n(n(+(C,n(D))))))))))).
n(+(n(D),n(+(C,n(n(+(n(D),n(n(+(C,n(D))))))))))).
n(+(n(D),n(+(n(C),n(+(C,+(n(D),n(D)))))))).
n(+(x,n(+(x,+(C,n(+(x,+(n(D),n(+(C,n(D))))))))))).
n(+(C,n(+(n(D),+(n(+(x,n(+(C,n(D))))),n(+(n(x),n(+(C,n(D)))))))))).
n(+(C,n(+(n(n(D)),n(+(C,n(D))))))).
n(+(n(+(x,y)),n(+(x,+(n(+(y,C)),n(+(y,+(n(D),n(+(C,n(D))))))))))).
n(+(n(+(x,+(y,C))),n(+(x,+(y,+(n(D),n(+(C,n(D))))))))).
n(+(n(D),n(+(C,+(C,n(D)))))).
n(+(n(+(x,+(y,D))),n(+(x,+(y,+(C,n(D))))))).
n(+(n(+(x,D)),n(+(x,+(C,+(n(n(+(x,+(C,n(D))))),n(+(x,D)))))))).
n(+(n(+(x,n(+(y,D)))),n(+(x,+(y,+(C,n(+(y,+(C,+(n(D),n(+(y,D)))))))))))).
n(+(n(+(x,n(+(y,D)))),n(+(x,+(y,+(C,n(+(n(n(+(y,+(C,n(D))))),n(+(y,D)))))))))).
n(+(n(+(x,D)),n(+(x,+(C,n(n(+(n(n(+(x,+(C,n(D))))),n(+(x,D)))))))))).
n(+(x,+(C,n(+(x,+(C,+(n(D),n(+(x,D))))))))).
n(+(n(+(x,+(y,C))),n(+(y,+(n(+(x,D)),n(+(x,+(C,n(D))))))))).
n(+(x,+(C,n(+(n(n(+(x,D))),n(+(x,+(C,n(D))))))))).
n(+(n(+(x,+(y,+(z,C)))),n(+(x,+(y,+(n(+(z,D)),n(+(z,+(C,n(D)))))))))).
n(+(n(+(x,+(y,C))),n(+(x,+(n(+(y,D)),n(+(y,+(C,n(D))))))))).
n(+(x,+(C,n(+(n(n(+(x,+(C,n(D))))),n(+(x,D))))))).
n(+(n(+(x,+(y,+(z,+(u,v))))),n(+(x,+(y,+(z,+(u,n(v)))))))).
n(+(n(+(x,+(y,+(z,u)))),n(+(x,+(y,+(u,n(z))))))).
n(+(n(+(x,+(y,+(z,C)))),n(+(x,+(y,+(z,+(n(D),n(+(C,n(D)))))))))).
n(+(n(+(x,+(y,D))),n(+(x,+(C,+(D,n(y))))))).
n(+(n(+(x,D)),n(+(x,+(D,n(C)))))).
n(+(n(+(x,+(y,+(z,u)))),n(+(x,+(u,n(+(y,z))))))).
n(+(n(+(x,+(y,+(z,C)))),n(+(x,+(z,+(n(+(y,D)),n(+(y,+(C,n(D)))))))))).
n(+(n(+(x,+(y,+(u,n(+(y,+(n(z),n(+(y,z))))))))),n(+(x,+(u,n(+(y,z))))))).
n(+(n(+(x,+(z,u))),n(+(x,+(u,+(n(+(y,z)),n(+(z,n(y))))))))).
n(+(n(+(x,+(y,u))),n(+(x,+(u,+(n(+(y,z)),n(+(y,n(z))))))))).
n(+(n(+(x,+(y,+(z,u)))),n(+(x,+(z,+(u,n(y))))))).
n(+(n(+(x,+(y,z))),n(+(x,+(z,+(n(n(+(x,+(z,n(y))))),n(+(x,+(y,z))))))))).
n(+(n(+(x,+(z,u))),n(+(u,+(n(+(x,+(y,z))),n(+(x,+(z,n(y))))))))).
n(+(x,+(z,n(+(x,+(z,+(n(y),n(+(x,+(y,z)))))))))).
n(+(n(+(x,+(y,u))),n(+(x,+(n(+(y,+(z,u))),n(+(y,+(u,n(z))))))))).
n(+(n(+(x,D)),n(+(x,+(C,+(n(+(y,D)),n(+(D,n(y))))))))).
n(+(n(+(x,+(y,n(D)))),n(+(x,+(y,+(C,n(+(n(D),n(n(+(C,n(D)))))))))))).
n(+(n(+(x,+(y,n(D)))),n(+(x,+(y,+(C,n(+(C,+(n(D),n(D)))))))))).
n(+(n(+(x,+(y,n(+(z,u))))),n(+(x,+(y,+(u,n(+(u,+(n(z),n(+(z,u))))))))))).
n(+(n(+(x,D)),n(+(C,+(D,+(n(+(x,y)),n(+(x,n(y))))))))).
n(+(n(D),n(+(C,+(D,n(C)))))).
n(+(n(+(x,+(y,D))),n(+(C,+(D,n(+(x,y))))))).
n(+(n(+(C,+(D,D))),n(+(D,+(n(+(x,D)),n(+(C,+(D,n(x))))))))).
n(+(n(+(x,D)),n(+(D,+(n(+(x,D)),n(+(x,+(C,n(D))))))))).
n(+(n(D),n(+(D,+(n(D),n(+(C,n(D)))))))).
n(+(n(+(x,+(D,n(+(x,+(n(y),n(+(x,y)))))))),n(+(C,+(D,n(+(x,y))))))).
n(+(n(+(x,+(D,n(+(n(n(+(x,n(y)))),n(+(x,y))))))),n(+(C,+(D,n(+(x,y))))))).
n(+(n(+(x,D)),n(+(D,+(n(n(+(C,+(D,n(x))))),n(+(x,D))))))).
n(+(n(+(x,n(+(y,D)))),n(+(x,+(D,n(+(C,+(D,+(n(y),n(+(y,D))))))))))).
n(+(n(+(x,n(+(y,D)))),n(+(x,+(D,n(+(n(n(+(C,+(D,n(y))))),n(+(y,D))))))))).
n(+(n(+(x,D)),n(+(D,n(n(+(n(n(+(C,+(D,n(x))))),n(+(x,D))))))))).
n(+(n(+(x,+(z,D))),n(+(x,+(z,+(n(+(y,D)),n(+(C,+(D,n(y)))))))))).
n(+(D,n(+(C,+(D,+(n(x),n(+(x,D)))))))).
n(+(n(+(y,D)),n(+(y,+(n(+(x,D)),n(+(C,+(D,n(x))))))))).
n(+(D,n(+(n(n(+(x,D))),n(+(C,+(D,n(x)))))))).
n(+(n(+(x,y)),n(+(x,+(n(+(y,D)),n(+(y,+(n(+(z,D)),n(+(C,+(D,n(z)))))))))))).
n(+(D,n(+(n(n(+(C,+(D,n(x))))),n(+(x,D)))))).
n(+(n(+(x,D)),n(+(C,+(D,+(D,+(n(x),n(+(x,D))))))))).
n(+(n(+(x,+(x,+(y,+(y,+(n(z),n(+(x,+(y,z))))))))),n(+(x,+(y,z))))).
n(+(n(+(x,+(y,z))),n(+(x,+(y,n(n(+(x,+(y,+(n(z),n(+(x,+(y,z))))))))))))).
n(+(n(+(x,n(+(y,n(+(x,+(y,+(n(z),n(+(x,+(y,z))))))))))),n(+(x,+(y,z))))).
n(+(n(+(x,n(+(y,n(+(n(n(+(x,+(y,n(z))))),n(+(x,+(y,z))))))))),n(+(x,+(y,z))))).
n(+(n(+(x,+(y,n(D)))),n(+(x,+(y,+(D,n(+(D,+(n(C),n(D)))))))))).
n(+(n(+(x,+(y,n(D)))),n(+(x,+(y,+(D,n(+(n(D),n(n(+(D,n(C)))))))))))).
n(+(n(+(x,+(y,+(z,D)))),n(+(x,+(y,+(z,+(n(D),n(+(D,n(C)))))))))).
n(+(n(D),n(+(D,+(n(D),n(n(+(D,n(C))))))))).
n(+(n(+(x,n(D))),n(+(x,+(D,n(+(D,+(n(C),n(D))))))))).
n(+(n(+(x,n(D))),n(+(x,+(D,n(+(n(D),n(n(+(D,n(C))))))))))).
n(+(n(D),n(+(D,n(n(+(n(D),n(n(+(D,n(C))))))))))).
n(+(n(D),n(+(n(D),n(+(D,+(n(C),n(D)))))))).
n(+(n(+(x,+(y,D))),n(+(x,+(y,+(n(D),n(+(D,n(C))))))))).
n(+(x,n(+(x,+(D,n(+(x,+(n(D),n(+(D,n(C))))))))))).
n(+(D,n(+(D,+(n(C),n(D)))))).
n(+(n(+(C,+(D,D))),n(+(D,+(n(D),n(+(D,n(C)))))))).
n(+(n(+(x,D)),n(+(x,+(n(D),n(+(D,n(C)))))))).
n(+(D,n(+(n(D),+(n(+(x,n(+(D,n(C))))),n(+(n(x),n(+(D,n(C)))))))))).
n(+(D,n(+(n(n(D)),n(+(D,n(C))))))).
n(+(n(+(x,y)),n(+(x,+(n(+(y,D)),n(+(y,+(n(D),n(+(D,n(C))))))))))).
n(+(D,n(+(n(D),n(n(+(D,n(C)))))))).
n(+(n(+(x,D)),n(+(D,n(+(x,C)))))).
n(+(n(+(x,+(y,+(z,u)))),n(+(u,n(+(x,+(y,z))))))).
n(+(n(+(x,+(y,z))),n(+(y,n(+(x,z)))))).
n(+(n(+(z,u)),n(+(u,+(n(+(x,+(y,z))),n(+(z,n(+(x,y))))))))).
n(+(n(+(x,+(y,+(z,u)))),n(+(z,+(u,n(+(x,y))))))).
n(+(x,n(+(x,+(n(+(x,+(y,z))),n(+(y,z))))))).
n(+(n(+(x,n(+(y,z)))),n(+(x,+(y,z))))).
n(+(n(+(x,+(y,z))),n(+(z,+(n(n(+(z,n(+(x,y))))),n(+(x,+(y,z)))))))).
n(+(n(+(x,n(+(y,+(z,u))))),n(+(x,+(u,n(+(u,+(n(+(y,z)),n(+(y,+(z,u))))))))))).
n(+(n(+(x,+(y,z))),n(+(z,n(n(+(n(n(+(z,n(+(x,y))))),n(+(x,+(y,z)))))))))).
n(+(n(+(x,+(u,v))),n(+(x,+(v,+(n(+(y,+(z,u))),n(+(u,n(+(y,z)))))))))).
n(+(n(+(x,+(y,v))),n(+(x,+(y,+(n(+(z,+(u,v))),n(+(v,n(+(z,u)))))))))).
n(+(z,n(+(z,+(n(+(x,y)),n(+(x,+(y,z)))))))).
n(+(n(+(x,u)),n(+(x,+(n(+(y,+(z,u))),n(+(u,n(+(y,z))))))))).
n(+(n(D),n(+(n(D),n(+(n(D),n(n(+(D,n(C)))))))))).
n(+(n(D),n(+(n(C),n(+(n(D),n(n(+(C,n(D)))))))))).
n(+(x,n(+(n(n(+(x,+(n(+(y,+(z,u))),n(+(u,n(+(y,z)))))))),n(+(x,u)))))).
n(+(x,n(+(n(n(+(x,+(n(D),n(+(D,n(C))))))),n(+(x,D)))))).
n(+(x,n(+(n(n(+(x,+(n(+(y,D)),n(+(C,+(D,n(y)))))))),n(+(x,D)))))).
n(+(x,n(+(n(n(+(x,+(n(D),n(+(C,n(D))))))),n(+(x,C)))))).
n(+(x,n(+(n(n(+(x,+(n(+(y,z)),n(+(z,n(y))))))),n(+(x,z)))))).
n(+(x,n(+(n(n(+(x,+(n(n(+(x,y))),n(+(x,n(y))))))),n(+(x,n(y))))))).
n(+(n(+(x,+(y,z))),n(+(z,n(n(+(z,+(n(+(x,y)),n(+(x,+(y,z))))))))))).
n(+(n(D),n(+(D,n(n(+(D,+(n(C),n(D))))))))).
n(+(n(+(x,D)),n(+(D,n(n(+(C,+(D,+(n(x),n(+(x,D))))))))))).
n(+(n(+(x,+(y,z))),n(+(x,+(z,n(n(+(x,+(z,+(n(y),n(+(x,+(y,z))))))))))))).
n(+(n(+(x,D)),n(+(x,+(C,n(n(+(x,+(C,+(n(D),n(+(x,D)))))))))))).
n(+(n(D),n(+(C,n(n(+(C,+(n(D),n(D))))))))).
n(+(x,n(+(n(n(+(x,+(x,+(n(y),n(+(x,y))))))),n(+(x,y)))))).
n(+(n(+(x,y)),n(+(x,n(n(+(x,+(n(+(x,y)),+(n(+(y,z)),n(+(y,n(z)))))))))))).
n(+(x,n(+(n(n(+(x,+(n(n(+(x,n(y)))),n(+(x,y)))))),n(+(x,y)))))).
n(+(n(+(x,y)),n(+(y,n(n(+(y,+(n(x),n(+(x,y)))))))))).
n(+(n(+(x,n(y))),n(+(x,+(n(n(+(x,y))),n(+(x,n(y)))))))).
n(+(x,n(+(x,+(n(n(+(n(n(+(x,y))),n(+(x,n(y)))))),n(+(x,n(y)))))))).
n(+(n(+(x,y)),n(+(x,+(n(+(y,n(z))),n(+(y,+(n(n(+(y,z))),n(+(y,n(z))))))))))).
n(+(n(+(x,+(D,n(+(n(n(+(x,y))),n(+(x,n(y)))))))),n(+(C,+(D,n(+(x,n(y)))))))).
n(+(n(+(x,+(z,n(+(n(n(+(x,y))),n(+(x,n(y)))))))),n(+(z,n(+(x,n(y))))))).
n(+(n(+(x,n(+(y,n(z))))),n(+(x,+(y,n(+(n(n(+(y,z))),n(+(y,n(z)))))))))).
n(+(n(+(x,n(y))),n(+(x,n(n(+(n(n(+(x,y))),n(+(x,n(y)))))))))).
n(+(n(+(C,+(D,n(x)))),n(+(D,+(n(n(+(x,D))),n(+(C,+(D,n(x))))))))).
n(+(n(D),n(+(D,+(n(+(x,C)),n(+(C,n(x)))))))).
n(+(D,n(+(n(+(x,n(D))),+(n(+(D,n(C))),n(+(n(x),n(D)))))))).
n(+(C,n(+(n(+(x,n(D))),+(n(+(C,n(D))),n(+(n(x),n(D)))))))).
n(+(x,n(+(n(+(x,n(y))),+(n(+(z,n(+(x,y)))),n(+(n(z),n(+(x,y))))))))).
n(+(n(+(x,y)),n(+(y,+(n(+(x,n(+(z,u)))),n(+(x,+(z,u)))))))).
n(+(n(+(x,n(+(D,n(C))))),n(+(x,+(D,n(+(n(n(D)),n(+(D,n(C)))))))))).
n(+(n(+(x,n(+(C,n(D))))),n(+(x,+(C,n(+(n(n(D)),n(+(C,n(D)))))))))).
n(+(n(+(x,y)),n(+(y,+(n(+(x,D)),n(+(x,+(n(D),n(+(D,n(C))))))))))).
n(+(n(+(x,y)),n(+(y,+(n(+(x,D)),n(+(x,+(n(+(z,D)),n(+(C,+(D,n(z)))))))))))).
n(+(n(+(x,y)),n(+(y,+(n(+(x,C)),n(+(x,+(n(D),n(+(C,n(D))))))))))).
n(+(n(+(x,y)),n(+(y,+(n(+(x,u)),n(+(x,+(n(+(z,u)),n(+(u,n(z))))))))))).
n(+(n(+(x,y)),n(+(y,+(n(+(x,n(z))),n(+(x,+(n(n(+(x,z))),n(+(x,n(z))))))))))).
n(+(n(+(z,+(u,n(+(z,+(n(+(x,y)),n(+(x,+(y,z))))))))),n(+(u,n(+(x,+(y,z))))))).
n(+(n(+(x,+(y,+(C,n(+(x,+(C,+(n(D),n(+(x,D)))))))))),n(+(y,n(+(x,D)))))).
n(+(n(+(x,y)),n(+(y,+(n(+(x,z)),n(+(x,+(x,+(n(z),n(+(x,z))))))))))).
n(+(n(+(x,y)),n(+(y,+(n(+(x,z)),n(+(x,+(n(n(+(x,n(z)))),n(+(x,z)))))))))).
n(+(n(+(y,+(z,n(+(y,+(n(x),n(+(x,y)))))))),n(+(z,n(+(x,y)))))).
n(+(n(+(x,+(y,z))),n(+(y,+(z,+(n(+(x,u)),n(+(x,n(u))))))))).
n(+(n(+(x,y)),n(+(y,n(n(+(y,+(n(+(x,y)),+(n(+(x,z)),n(+(x,n(z)))))))))))).
n(+(x,n(+(x,+(n(+(x,z)),+(n(+(y,z)),n(+(z,n(y))))))))).
n(+(n(+(x,y)),n(+(y,+(n(n(+(y,+(n(+(x,z)),n(+(x,n(z))))))),n(+(x,y))))))).
n(+(n(+(x,y)),n(+(y,n(n(+(n(n(+(y,+(n(+(x,z)),n(+(x,n(z))))))),n(+(x,y))))))))).
n(+(n(+(y,u)),n(+(u,+(n(+(x,y)),n(+(y,+(n(+(x,z)),n(+(x,n(z))))))))))).
n(+(y,n(+(y,+(n(+(x,y)),+(n(+(x,z)),n(+(x,n(z))))))))).
n(+(n(+(x,z)),n(+(x,+(n(+(y,z)),n(+(z,+(n(+(y,u)),n(+(y,n(u))))))))))).
n(+(n(+(x,D)),n(+(D,+(n(+(x,+(y,C))),n(+(x,+(C,n(y))))))))).
n(+(n(+(x,+(y,z))),n(+(y,+(n(+(x,+(z,u))),n(+(x,+(z,n(u))))))))).
n(+(n(+(x,+(y,+(C,n(+(n(n(+(x,+(C,n(D))))),n(+(x,D)))))))),n(+(y,n(+(x,D)))))).
n(+(n(+(x,y)),n(+(y,+(n(+(x,z)),n(+(x,n(n(+(x,+(n(z),n(+(x,z))))))))))))).
n(+(n(+(x,y)),n(+(y,+(n(+(x,z)),n(+(x,n(n(+(n(n(+(x,n(z)))),n(+(x,z)))))))))))).
n(+(n(+(y,+(z,n(+(n(n(+(y,n(x)))),n(+(x,y))))))),n(+(z,n(+(x,y)))))).
n(+(n(+(x,+(y,+(z,u)))),n(+(y,+(z,+(u,n(x))))))).
n(+(n(+(z,+(u,v))),n(+(u,+(v,+(n(+(x,+(y,z))),n(+(z,n(+(x,y)))))))))).
n(+(n(+(x,+(y,+(z,C)))),n(+(y,+(z,+(n(+(x,D)),n(+(x,+(C,n(D)))))))))).
n(+(n(+(x,+(z,+(u,n(+(x,+(n(y),n(+(x,y))))))))),n(+(z,+(u,n(+(x,y))))))).
n(+(n(+(y,+(z,u))),n(+(z,+(u,+(n(+(x,y)),n(+(y,n(x))))))))).
n(+(n(+(x,+(y,z))),n(+(y,+(z,n(n(+(y,+(z,+(n(x),n(+(x,+(y,z))))))))))))).
n(+(n(+(x,+(y,z))),n(+(y,+(z,+(n(n(+(y,+(z,n(x))))),n(+(x,+(y,z))))))))).
n(+(n(+(y,+(z,u))),n(+(u,+(n(+(x,+(y,z))),n(+(y,+(z,n(x))))))))).
n(+(y,+(z,n(+(y,+(z,+(n(x),n(+(x,+(y,z)))))))))).
n(+(n(+(x,+(z,u))),n(+(x,+(n(+(y,+(z,u))),n(+(z,+(u,n(y))))))))).
n(+(n(+(x,+(y,z))),n(+(x,+(y,+(n(+(z,n(+(u,v)))),n(+(z,+(u,v))))))))).
n(+(n(+(D,n(C))),n(+(D,+(n(n(D)),n(+(D,n(C)))))))).
n(+(n(+(x,+(C,n(D)))),n(+(x,+(C,+(n(n(+(x,D))),n(+(x,+(C,n(D)))))))))).
n(+(n(+(C,n(D))),n(+(C,+(n(n(D)),n(+(C,n(D)))))))).
n(+(n(+(x,y)),n(+(x,+(n(+(y,n(+(z,u)))),n(+(y,+(z,u)))))))).
n(+(n(+(x,C)),n(+(x,+(n(D),n(+(C,+(n(D),n(n(+(C,n(D)))))))))))).
n(+(n(+(n(C),+(n(D),n(+(n(D),n(n(+(C,n(D))))))))),n(+(n(D),n(n(+(C,n(D)))))))).
n(+(n(+(x,+(y,C))),n(+(x,+(y,+(n(D),n(+(C,+(n(D),n(n(+(C,n(D))))))))))))).
n(+(C,n(+(n(D),n(n(+(C,+(n(D),n(n(+(C,n(D)))))))))))).
n(+(C,n(+(C,+(n(D),n(n(+(n(D),n(n(+(C,n(D)))))))))))).
n(+(n(+(x,C)),n(+(x,+(n(D),n(+(C,n(n(+(n(D),n(n(+(C,n(D)))))))))))))).
n(+(C,n(+(n(D),n(n(+(C,n(n(+(n(D),n(n(+(C,n(D)))))))))))))).
n(+(n(+(x,y)),n(+(x,+(n(+(y,n(D))),n(+(y,+(C,n(+(n(D),n(n(+(C,n(D)))))))))))))).
n(+(x,n(+(n(n(+(x,+(C,n(+(n(D),n(n(+(C,n(D)))))))))),n(+(x,n(D))))))).
n(+(n(+(x,y)),n(+(y,+(n(+(x,n(D))),n(+(x,+(C,n(+(n(D),n(n(+(C,n(D)))))))))))))).
n(+(n(+(C,+(D,n(D)))),n(+(C,+(D,n(+(n(D),n(n(+(C,n(D))))))))))).
n(+(n(D),n(+(D,n(n(+(n(D),n(n(+(D,n(n(+(n(D),n(n(+(D,n(C))))))))))))))))).
n(+(n(D),n(+(C,n(n(+(n(D),n(n(+(C,n(n(+(n(D),n(n(+(C,n(D))))))))))))))))).
n(+(D,n(+(n(n(+(D,n(n(+(n(n(D)),n(+(D,n(C))))))))),n(+(D,n(C))))))).
n(+(C,n(+(n(n(+(C,n(n(+(n(n(D)),n(+(C,n(D))))))))),n(+(C,n(D))))))).
n(+(n(+(D,+(n(C),n(D)))),n(+(n(D),n(n(+(n(D),n(+(D,+(n(C),n(D))))))))))).
n(+(n(+(C,+(n(D),n(D)))),n(+(n(D),n(n(+(n(C),n(+(C,+(n(D),n(D))))))))))).
n(+(n(+(y,z)),n(+(z,+(n(+(x,y)),n(+(y,n(n(+(n(n(+(y,n(x)))),n(+(x,y)))))))))))).
n(+(y,n(+(y,+(n(n(+(n(n(+(y,n(x)))),n(+(x,y))))),n(+(x,y))))))).
n(+(n(+(x,z)),n(+(x,+(n(+(y,z)),n(+(z,n(n(+(n(n(+(z,n(y)))),n(+(y,z)))))))))))).
n(+(D,n(+(n(D),n(n(+(D,n(n(+(n(D),n(n(+(D,n(C)))))))))))))).
n(+(y,n(+(n(n(+(y,n(n(+(n(n(+(y,n(x)))),n(+(x,y)))))))),n(+(x,y)))))).
n(+(n(D),n(+(C,+(n(D),n(n(+(C,n(n(+(n(D),n(n(+(C,n(D))))))))))))))).
n(+(n(+(x,y)),n(+(y,+(n(n(+(y,n(n(+(y,+(n(x),n(+(x,y))))))))),n(+(x,y))))))).
n(+(D,n(+(D,+(n(D),n(n(+(n(D),n(n(+(D,n(C)))))))))))).
n(+(D,n(+(D,+(n(n(+(n(n(+(C,+(D,n(x))))),n(+(x,D))))),n(+(x,D))))))).
n(+(n(+(x,y)),n(+(x,+(n(n(+(x,n(n(+(x,+(n(y),n(+(x,y))))))))),n(+(x,y))))))).
n(+(n(+(D,+(n(C),n(D)))),n(+(n(D),+(n(D),n(+(D,+(n(C),n(D))))))))).
n(+(n(+(C,+(n(D),n(D)))),n(+(n(C),+(n(D),n(+(C,+(n(D),n(D))))))))).
n(+(n(+(x,y)),n(+(x,n(n(+(x,+(n(n(+(x,n(y)))),+(n(+(x,y)),n(+(x,y))))))))))).
n(+(x,n(+(x,+(n(n(+(x,n(y)))),+(n(+(x,y)),n(+(x,y)))))))).
n(+(n(+(x,y)),n(+(x,+(n(n(+(x,+(n(n(+(x,n(y)))),n(+(x,y)))))),n(+(x,y))))))).
n(+(n(+(x,D)),n(+(x,+(n(D),n(+(D,n(n(+(n(D),n(n(+(D,n(C)))))))))))))).
n(+(D,n(+(D,+(n(D),n(+(n(n(+(D,n(n(C))))),n(+(D,n(C)))))))))).
n(+(C,n(+(C,+(n(D),n(+(n(n(+(C,n(n(D))))),n(+(C,n(D)))))))))).
n(+(x,n(+(x,+(n(+(x,y)),n(+(n(n(+(x,n(n(y))))),n(+(x,n(y)))))))))).
n(+(n(D),n(+(C,+(n(D),n(+(D,n(C)))))))).
n(+(n(D),n(+(C,+(n(+(x,+(y,D))),n(+(D,n(+(x,y))))))))).
n(+(n(D),n(+(C,+(n(D),n(+(D,+(n(D),n(+(C,+(n(+(x,D)),n(+(D,n(x)))))))))))))).
n(+(n(D),n(+(C,+(n(+(C,+(D,n(+(n(D),n(n(+(C,n(D))))))))),n(+(D,n(D)))))))).
n(+(n(D),n(+(C,+(n(+(x,+(D,n(+(x,+(n(y),n(+(x,y)))))))),n(+(D,n(+(x,y))))))))).
n(+(n(D),n(+(C,+(n(+(z,D)),n(+(D,+(n(+(x,+(y,z))),n(+(z,n(+(x,y)))))))))))).
n(+(n(D),n(+(C,+(n(+(D,D)),n(+(D,+(n(D),n(+(D,n(C))))))))))).
n(+(n(D),n(+(C,+(n(+(D,D)),n(+(D,+(n(+(x,D)),n(+(C,+(D,n(x)))))))))))).
n(+(n(D),n(+(C,+(n(+(x,D)),n(+(D,+(n(+(x,D)),n(+(x,+(C,n(D)))))))))))).
n(+(n(D),n(+(C,+(n(D),n(+(D,+(n(D),n(+(C,n(D))))))))))).
n(+(n(D),n(+(C,+(n(+(y,D)),n(+(D,+(n(+(x,y)),n(+(y,n(x))))))))))).
n(+(n(D),n(+(C,+(n(+(x,D)),n(+(D,+(n(+(x,y)),n(+(x,n(y))))))))))).
n(+(n(D),n(+(C,+(n(+(x,D)),n(+(D,+(D,+(n(x),n(+(x,D))))))))))).
n(+(n(D),n(+(C,+(n(+(D,n(x))),n(+(D,+(n(n(+(x,D))),n(+(D,n(x))))))))))).
n(+(n(D),n(+(C,+(n(+(x,D)),n(+(D,+(n(n(+(D,n(x)))),n(+(x,D)))))))))).
n(+(C,n(+(C,+(n(D),n(+(n(n(D)),n(+(C,+(n(+(x,D)),n(+(D,n(x))))))))))))).
n(+(n(+(x,n(D))),n(+(x,+(C,n(+(C,+(n(D),+(n(+(y,D)),n(+(D,n(y)))))))))))).
n(+(n(D),n(+(C,n(n(+(C,+(n(D),+(n(+(x,D)),n(+(D,n(x)))))))))))).
n(+(C,n(+(C,+(n(D),+(n(+(x,D)),n(+(D,n(x))))))))).
n(+(n(D),n(+(C,+(n(D),n(n(+(C,+(n(+(x,D)),n(+(D,n(x)))))))))))).
n(+(n(+(x,n(D))),n(+(x,+(C,n(+(n(D),n(n(+(C,+(n(+(y,D)),n(+(D,n(y)))))))))))))).
n(+(n(D),n(+(C,n(n(+(n(D),n(n(+(C,+(n(+(x,D)),n(+(D,n(x)))))))))))))).
n(+(n(D),n(+(D,+(n(D),n(+(C,+(n(+(x,D)),n(+(D,n(x))))))))))).
n(+(n(+(y,C)),n(+(y,+(n(D),n(+(C,+(n(+(x,D)),n(+(D,n(x))))))))))).
n(+(C,n(+(C,+(n(D),n(n(+(n(D),n(n(+(C,+(n(+(x,D)),n(+(D,n(x))))))))))))))).
n(+(C,n(+(n(D),n(n(+(C,+(n(+(x,D)),n(+(D,n(x))))))))))).
n(+(n(D),n(+(C,+(n(D),n(+(n(C),n(+(n(D),n(n(+(C,n(D))))))))))))).
n(+(D,n(+(D,+(n(D),n(+(n(n(D)),n(+(D,n(C)))))))))).
n(+(C,n(+(C,+(n(D),n(+(n(n(D)),n(+(C,n(D)))))))))).
n(+(x,n(+(x,+(n(+(x,y)),n(+(n(n(+(x,y))),n(+(x,n(y)))))))))).
n(+(D,n(+(D,+(n(D),n(+(D,n(+(D,n(C)))))))))).
n(+(C,n(+(C,+(n(D),n(+(D,n(+(C,n(D)))))))))).
n(+(x,n(+(x,+(n(+(x,y)),n(+(x,+(y,n(+(x,n(y))))))))))).
n(+(n(+(x,n(+(y,C)))),n(+(x,+(y,n(+(y,+(n(D),+(n(+(y,C)),n(+(C,n(D)))))))))))).
n(+(n(+(x,C)),n(+(x,n(n(+(x,+(n(D),+(n(+(x,C)),n(+(C,n(D)))))))))))).
n(+(x,n(+(x,+(n(D),+(n(+(x,C)),n(+(C,n(D))))))))).
n(+(n(+(x,C)),n(+(x,+(n(n(+(x,+(n(D),n(+(C,n(D))))))),n(+(x,C))))))).
n(+(n(+(x,C)),n(+(x,n(n(+(n(n(+(x,+(n(D),n(+(C,n(D))))))),n(+(x,C))))))))).
n(+(n(+(x,+(y,n(+(x,+(n(D),+(n(+(x,C)),n(+(C,n(D)))))))))),n(+(y,n(+(x,C)))))).
n(+(n(D),n(+(C,+(n(+(x,D)),n(+(D,n(n(+(n(n(+(D,n(x)))),n(+(x,D)))))))))))).
n(+(n(+(x,D)),n(+(x,+(n(+(D,n(C))),n(+(D,n(n(+(n(n(D)),n(+(D,n(C))))))))))))).
n(+(n(+(x,C)),n(+(x,+(n(+(C,n(D))),n(+(C,n(n(+(n(n(D)),n(+(C,n(D))))))))))))).
n(+(D,n(+(n(C),+(n(D),n(+(n(n(+(n(C),n(D)))),n(+(D,n(C)))))))))).
n(+(C,n(+(n(D),+(n(D),n(+(n(n(+(n(C),n(D)))),n(+(C,n(D)))))))))).
n(+(x,n(+(n(y),+(n(+(x,y)),n(+(n(n(+(n(x),n(y)))),n(+(x,n(y)))))))))).
n(+(n(+(x,y)),n(+(x,+(n(+(y,n(D))),n(+(y,+(D,n(+(D,+(n(C),n(D)))))))))))).
n(+(n(+(x,y)),n(+(x,+(n(+(y,n(D))),n(+(y,+(C,n(+(C,+(n(D),n(D)))))))))))).
n(+(n(+(x,y)),n(+(x,+(n(+(y,n(D))),n(+(y,+(D,n(+(n(D),n(n(+(D,n(C)))))))))))))).
n(+(n(+(x,n(D))),n(+(x,+(D,n(+(D,+(n(D),n(n(+(n(D),n(n(+(D,n(C))))))))))))))).
n(+(n(+(x,n(D))),n(+(x,+(C,n(+(C,+(n(D),n(n(+(n(D),n(n(+(C,n(D))))))))))))))).
n(+(n(+(x,D)),n(+(x,+(n(+(D,n(C))),n(+(D,+(n(n(D)),n(+(D,n(C))))))))))).
n(+(n(+(x,C)),n(+(x,+(n(+(C,n(D))),n(+(C,+(n(n(D)),n(+(C,n(D))))))))))).
n(+(D,n(+(n(C),+(n(D),n(+(n(C),+(n(D),n(+(D,n(C))))))))))).
n(+(C,n(+(n(D),+(n(D),n(+(n(C),+(n(D),n(+(C,n(D))))))))))).
n(+(x,n(+(n(y),+(n(+(x,y)),n(+(n(x),+(n(y),n(+(x,n(y))))))))))).
n(+(n(+(x,z)),n(+(x,+(n(+(z,n(y))),n(+(z,+(n(n(+(y,z))),n(+(z,n(y))))))))))).
n(+(n(+(x,D)),n(+(x,+(n(D),n(+(D,+(n(D),n(n(+(D,n(C)))))))))))).
n(+(n(+(x,D)),n(+(x,+(n(+(y,D)),n(+(D,+(n(n(+(C,+(D,n(y))))),n(+(y,D)))))))))).
n(+(x,n(+(x,+(n(+(x,C)),n(+(x,+(C,n(+(x,+(n(D),n(+(C,n(D)))))))))))))).
n(+(C,n(+(C,+(n(D),n(+(C,+(D,n(+(C,+(n(+(x,D)),n(+(D,n(x)))))))))))))).
n(+(D,n(+(D,+(n(D),n(+(D,+(n(n(C)),n(+(D,n(C))))))))))).
n(+(D,n(+(C,+(n(+(x,D)),n(+(C,+(n(+(C,+(D,n(x)))),n(+(D,n(x))))))))))).
n(+(C,n(+(C,+(n(D),n(+(C,+(n(n(D)),n(+(C,n(D))))))))))).
n(+(x,n(+(x,+(n(+(x,y)),n(+(x,+(n(n(y)),n(+(x,n(y))))))))))).
n(+(n(+(x,z)),n(+(x,+(n(+(y,z)),n(+(z,+(n(n(+(z,n(y)))),n(+(y,z)))))))))).
n(+(n(D),n(+(D,+(n(D),+(n(+(x,n(+(D,n(C))))),n(+(n(x),n(+(D,n(C))))))))))).
n(+(n(D),n(+(C,+(n(D),+(n(+(x,n(+(C,n(D))))),n(+(n(x),n(+(C,n(D))))))))))).
n(+(x,n(+(x,+(D,+(n(+(x,n(D))),n(+(n(D),n(n(+(D,n(C)))))))))))).
n(+(x,n(+(x,+(C,+(n(+(x,n(D))),n(+(n(D),n(n(+(C,n(D)))))))))))).
n(+(x,n(+(x,+(n(+(x,y)),+(n(+(y,D)),n(+(y,+(n(D),n(+(D,n(C)))))))))))).
n(+(x,n(+(x,+(n(+(x,y)),+(n(+(y,C)),n(+(y,+(n(D),n(+(C,n(D)))))))))))).
n(+(x,n(+(x,+(n(D),+(n(+(x,C)),n(+(C,+(n(D),n(n(+(C,n(D))))))))))))).
n(+(x,n(+(x,+(D,+(n(+(x,n(D))),n(+(D,+(n(C),n(D)))))))))).
n(+(x,n(+(x,+(C,+(n(+(x,n(D))),n(+(C,+(n(D),n(D)))))))))).
n(+(n(+(x,y)),n(+(x,+(x,+(n(+(x,y)),+(n(+(y,z)),n(+(y,n(z)))))))))).
n(+(n(D),n(+(D,+(n(+(x,C)),n(+(C,+(n(+(x,y)),n(+(x,n(y))))))))))).
n(+(n(+(x,y)),n(+(y,+(n(+(x,n(D))),n(+(x,+(D,n(+(n(D),n(n(+(D,n(C)))))))))))))).
n(+(n(+(x,y)),n(+(y,+(n(+(x,n(D))),n(+(x,+(D,n(+(D,+(n(C),n(D)))))))))))).
n(+(n(+(x,y)),n(+(y,+(n(+(x,n(D))),n(+(x,+(C,n(+(C,+(n(D),n(D)))))))))))).
n(+(x,n(+(n(n(+(x,+(D,n(+(n(D),n(n(+(D,n(C)))))))))),n(+(x,n(D))))))).
n(+(x,n(+(n(n(+(x,+(D,n(+(D,+(n(C),n(D)))))))),n(+(x,n(D))))))).
n(+(x,n(+(n(n(+(x,+(C,n(+(C,+(n(D),n(D)))))))),n(+(x,n(D))))))).
n(+(n(D),n(+(D,n(n(+(n(D),+(n(+(x,n(+(D,n(C))))),n(+(n(x),n(+(D,n(C))))))))))))).
n(+(n(D),n(+(C,n(n(+(n(D),+(n(+(x,n(+(C,n(D))))),n(+(n(x),n(+(C,n(D))))))))))))).
n(+(n(D),n(+(C,+(C,n(+(C,+(n(+(C,+(n(D),n(D)))),n(+(n(D),n(D))))))))))).
n(+(n(D),n(+(C,+(C,n(+(n(n(+(C,n(+(n(D),n(D)))))),n(+(C,+(n(D),n(D))))))))))).
n(+(C,n(+(n(D),n(n(+(C,n(n(+(n(D),n(n(+(C,n(n(+(C,+(n(D),n(D)))))))))))))))))).
n(+(n(+(x,C)),n(+(x,+(n(D),n(+(C,+(C,+(n(D),n(D)))))))))).
n(+(n(+(x,y)),n(+(x,+(n(+(y,C)),n(+(y,+(n(D),n(+(C,+(C,+(n(D),n(D))))))))))))).
n(+(n(+(x,+(y,C))),n(+(x,+(y,+(n(D),n(+(C,+(C,+(n(D),n(D))))))))))).
n(+(C,n(+(n(D),n(n(+(C,+(C,+(n(D),n(D)))))))))).
n(+(n(D),n(+(C,+(C,+(n(D),n(D))))))).
n(+(n(+(x,+(y,C))),n(+(x,+(y,+(n(D),n(+(C,n(n(+(C,+(n(D),n(D))))))))))))).
n(+(C,n(+(C,+(n(D),n(n(+(C,+(n(D),n(D)))))))))).
n(+(x,n(+(x,+(n(D),+(n(+(x,C)),n(+(C,+(C,+(n(D),n(D))))))))))).
n(+(x,n(+(n(n(+(x,+(n(D),n(+(C,+(C,+(n(D),n(D))))))))),n(+(x,C)))))).
n(+(n(+(x,y)),n(+(y,+(n(+(x,C)),n(+(x,+(n(D),n(+(C,+(C,+(n(D),n(D))))))))))))).
n(+(n(+(x,n(D))),n(+(x,+(C,n(+(C,+(n(D),n(n(+(C,+(n(D),n(D))))))))))))).
n(+(n(+(x,n(D))),n(+(x,+(C,n(+(n(D),n(n(+(C,n(n(+(C,+(n(D),n(D))))))))))))))).
n(+(x,n(+(x,+(n(D),+(n(+(x,C)),n(+(C,n(n(+(C,+(n(D),n(D))))))))))))).
n(+(n(+(x,C)),n(+(x,+(n(D),n(+(C,n(n(+(C,+(n(D),n(D)))))))))))).
n(+(C,n(+(n(D),n(n(+(C,n(n(+(C,+(n(D),n(D)))))))))))).
n(+(n(+(C,+(C,+(n(D),n(D))))),n(+(C,+(n(n(D)),n(+(C,+(C,+(n(D),n(D)))))))))).
n(+(C,n(+(n(n(D)),n(+(C,+(C,+(n(D),n(D))))))))).
n(+(n(D),n(+(C,+(n(+(C,+(D,n(+(C,+(n(D),n(D))))))),n(+(D,n(D)))))))).
n(+(n(+(C,+(D,n(D)))),n(+(C,+(D,n(+(C,+(n(D),n(D))))))))).
n(+(n(D),n(+(C,+(n(D),n(n(+(C,n(n(+(C,+(n(D),n(D))))))))))))).
n(+(n(D),n(+(C,n(n(+(n(D),n(n(+(C,n(n(+(C,+(n(D),n(D))))))))))))))).
n(+(C,n(+(C,+(n(D),n(n(+(C,+(n(D),n(n(+(C,+(n(D),n(D)))))))))))))).
n(+(C,n(+(C,+(n(D),n(n(+(C,+(n(D),n(n(+(n(D),n(n(+(C,n(D)))))))))))))))).
n(+(n(D),n(+(D,+(n(D),n(n(+(D,+(n(D),n(n(+(D,n(C))))))))))))).
n(+(n(D),n(+(C,+(n(D),n(n(+(C,+(n(D),n(n(+(C,n(D))))))))))))).
n(+(n(+(x,y)),n(+(y,+(n(n(+(y,+(n(n(+(y,n(x)))),n(+(x,y)))))),n(+(x,y))))))).
n(+(n(+(x,y)),n(+(x,+(x,+(n(n(+(x,+(n(y),n(+(x,y)))))),n(+(x,y)))))))).
n(+(n(+(x,y)),n(+(x,n(n(+(x,+(n(n(+(x,+(n(y),n(+(x,y)))))),n(+(x,y)))))))))).
n(+(n(+(x,n(D))),n(+(x,+(n(n(+(x,+(D,n(+(D,+(n(C),n(D)))))))),n(+(x,n(D)))))))).
n(+(n(+(x,n(D))),n(+(x,+(n(n(+(x,+(C,n(+(C,+(n(D),n(D)))))))),n(+(x,n(D)))))))).
n(+(C,n(+(C,+(n(D),n(n(+(n(D),n(n(+(C,n(n(+(C,+(n(D),n(D)))))))))))))))).
n(+(C,n(+(C,+(n(D),n(n(+(n(D),n(n(+(C,n(n(+(n(D),n(n(+(C,n(D)))))))))))))))))).
n(+(n(D),n(+(D,+(n(D),n(n(+(D,n(n(+(n(D),n(n(+(D,n(C))))))))))))))).
n(+(n(+(x,y)),n(+(x,+(x,+(n(n(+(n(n(+(x,n(y)))),n(+(x,y))))),n(+(x,y)))))))).
n(+(D,n(+(D,+(n(n(+(n(n(D)),n(+(D,n(C)))))),n(+(D,n(C)))))))).
n(+(C,n(+(C,+(n(n(+(n(n(D)),n(+(C,n(D)))))),n(+(C,n(D)))))))).
n(+(y,n(+(y,+(n(n(+(n(n(+(x,y))),n(+(y,n(x)))))),n(+(y,n(x)))))))).
n(+(n(+(x,y)),n(+(y,n(n(+(y,+(n(n(+(y,n(x)))),+(n(+(x,y)),n(+(x,y))))))))))).
n(+(n(+(y,z)),n(+(z,+(n(+(x,y)),n(+(y,+(n(n(+(y,n(x)))),n(+(x,y)))))))))).
n(+(y,n(+(y,+(n(n(+(y,n(x)))),+(n(+(x,y)),n(+(x,y)))))))).
n(+(n(+(x,D)),n(+(C,+(D,+(n(n(+(C,+(D,n(x))))),n(+(x,D)))))))).
n(+(n(+(x,C)),n(+(x,+(n(D),n(+(C,+(C,+(n(D),n(n(+(C,+(n(D),n(D)))))))))))))).
n(+(n(+(x,n(D))),n(+(x,+(D,n(+(D,+(n(D),+(n(D),n(n(+(D,n(C))))))))))))).
n(+(n(+(x,n(D))),n(+(x,+(C,n(+(C,+(n(D),+(n(D),n(n(+(C,n(D))))))))))))).
n(+(n(D),n(+(C,+(n(+(x,D)),n(+(D,n(n(+(D,+(n(x),n(+(x,D))))))))))))).
n(+(n(+(x,n(D))),n(+(x,+(D,n(+(n(D),n(n(+(D,+(n(D),n(n(+(D,n(C))))))))))))))).
n(+(n(+(x,n(D))),n(+(x,+(C,n(+(n(D),n(n(+(C,+(n(D),n(n(+(C,n(D))))))))))))))).
n(+(C,n(+(n(D),n(n(+(C,n(n(+(C,+(n(D),n(n(+(C,+(n(D),n(D)))))))))))))))).
n(+(C,n(+(n(D),n(n(+(C,n(n(+(C,+(n(D),n(n(+(n(D),n(n(+(C,n(D)))))))))))))))))).
n(+(n(D),n(+(D,n(n(+(n(D),n(n(+(D,+(n(D),n(n(+(D,n(C))))))))))))))).
n(+(n(D),n(+(C,n(n(+(n(D),n(n(+(C,+(n(D),n(n(+(C,n(D))))))))))))))).
n(+(n(+(x,y)),n(+(y,+(y,+(n(x),n(+(x,y)))))))).
n(+(n(D),n(+(C,+(C,+(n(D),n(n(+(C,+(n(D),n(D))))))))))).
n(+(C,n(+(C,+(n(D),+(n(D),n(n(+(C,+(n(+(x,D)),n(+(D,n(x))))))))))))).
n(+(n(D),n(+(C,+(C,+(n(D),n(n(+(n(D),n(n(+(C,n(D))))))))))))).
n(+(n(+(x,y)),n(+(y,+(y,+(n(n(+(y,+(n(x),n(+(x,y)))))),n(+(x,y)))))))).
n(+(D,n(+(D,+(n(D),+(n(D),n(n(+(D,n(C)))))))))).
n(+(D,n(+(D,+(n(n(+(C,+(D,n(x))))),+(n(+(x,D)),n(+(x,D)))))))).
n(+(C,n(+(C,+(n(D),+(n(D),n(n(+(C,n(D)))))))))).
n(+(n(+(x,y)),n(+(x,n(n(+(x,+(x,+(n(y),+(n(+(x,y)),n(+(x,y)))))))))))).
n(+(x,n(+(x,+(x,+(n(y),+(n(+(x,y)),n(+(x,y))))))))).
n(+(n(+(x,y)),n(+(x,+(n(n(+(x,+(x,+(n(y),n(+(x,y))))))),n(+(x,y))))))).
n(+(n(+(x,y)),n(+(x,n(n(+(n(n(+(x,+(x,+(n(y),n(+(x,y))))))),n(+(x,y))))))))).
n(+(n(+(x,+(y,D))),n(+(x,+(y,+(n(D),n(+(D,+(n(D),n(n(+(D,n(C))))))))))))).
n(+(n(D),n(+(C,n(n(+(C,+(n(D),n(n(+(C,+(n(D),n(D))))))))))))).
n(+(C,n(+(n(D),n(n(+(C,+(n(D),n(n(+(C,+(n(+(x,D)),n(+(D,n(x))))))))))))))).
n(+(n(D),n(+(C,n(n(+(C,+(n(D),n(n(+(n(D),n(n(+(C,n(D))))))))))))))).
n(+(n(+(x,y)),n(+(y,n(n(+(y,+(n(n(+(y,+(n(x),n(+(x,y)))))),n(+(x,y)))))))))).
n(+(D,n(+(n(D),n(n(+(D,+(n(D),n(n(+(D,n(C)))))))))))).
n(+(D,n(+(n(n(+(D,+(n(n(+(C,+(D,n(x))))),n(+(x,D)))))),n(+(x,D)))))).
n(+(y,n(+(n(n(+(y,+(n(n(+(y,n(x)))),n(+(x,y)))))),n(+(x,y)))))).
n(+(n(D),n(+(C,+(n(D),n(n(+(C,+(n(D),n(n(+(C,+(n(D),n(n(+(C,n(D))))))))))))))))).
n(+(C,n(+(C,+(n(D),n(+(n(n(D)),n(+(C,+(n(D),n(n(+(C,n(D)))))))))))))).
n(+(n(D),n(+(C,n(n(+(C,+(n(D),+(n(D),n(n(+(C,n(D))))))))))))).
n(+(n(D),n(+(C,+(n(D),n(+(D,+(n(D),n(+(C,+(n(D),n(n(+(C,n(D))))))))))))))).
n(+(n(D),n(+(D,+(n(D),n(+(C,+(n(D),n(n(+(C,n(D)))))))))))).
n(+(C,n(+(n(D),n(n(+(C,+(n(D),n(n(+(C,+(n(D),n(n(+(C,n(D)))))))))))))))).
n(+(C,n(+(C,+(n(D),+(n(D),n(n(+(C,+(n(D),n(n(+(C,n(D)))))))))))))).
n(+(C,n(+(C,+(n(D),n(n(+(n(D),n(n(+(C,+(n(D),n(n(+(C,n(D)))))))))))))))).
n(+(C,n(+(n(D),n(n(+(C,n(n(+(n(D),n(n(+(C,+(n(D),n(n(+(C,n(D)))))))))))))))))).
n(+(n(+(x,n(D))),n(+(x,n(n(+(x,+(C,+(n(+(x,n(D))),n(+(C,+(n(D),n(D))))))))))))).
n(+(C,n(+(C,+(n(D),n(+(D,n(+(C,n(n(+(n(D),n(n(+(C,n(D)))))))))))))))).
n(+(C,n(+(C,+(n(D),n(+(n(n(D)),n(+(C,n(n(+(n(D),n(n(+(C,n(D)))))))))))))))).
n(+(n(D),n(+(C,+(n(D),n(+(D,+(n(D),n(+(C,n(n(+(n(D),n(n(+(C,n(D))))))))))))))))).
n(+(n(D),n(+(D,+(n(D),n(+(C,n(n(+(n(D),n(n(+(C,n(D)))))))))))))).
n(+(C,n(+(n(D),n(n(+(C,+(n(D),n(n(+(C,n(n(+(n(D),n(n(+(C,n(D)))))))))))))))))).
n(+(C,n(+(C,+(n(D),+(n(D),n(n(+(C,n(n(+(n(D),n(n(+(C,n(D)))))))))))))))).
n(+(C,n(+(n(D),+(n(+(x,+(y,n(+(C,n(D)))))),n(+(n(+(x,y)),n(+(C,n(D)))))))))).
n(+(C,n(+(C,+(n(D),n(+(C,+(n(+(C,n(D))),n(+(C,+(n(D),n(D)))))))))))).
n(+(C,n(+(C,+(n(D),n(+(C,+(n(+(C,n(D))),n(+(n(D),n(n(+(C,n(D)))))))))))))).
n(+(C,n(+(n(n(+(C,+(n(n(D)),n(+(C,n(D))))))),n(+(C,n(D))))))).
n(+(n(+(C,+(D,n(+(C,n(D)))))),n(+(C,+(D,n(+(n(n(D)),n(+(C,n(D)))))))))).
n(+(n(+(C,n(D))),n(+(C,+(C,+(n(n(+(n(n(D)),n(+(C,n(D)))))),n(+(C,n(D))))))))).
n(+(n(+(C,n(D))),n(+(n(C),n(+(n(n(D)),n(+(C,n(D))))))))).
n(+(n(+(C,n(D))),n(+(C,n(n(+(n(n(D)),n(+(C,n(D)))))))))).
n(+(n(D),n(+(C,+(n(D),n(+(n(D),+(n(+(C,n(D))),n(+(C,+(n(D),n(D)))))))))))).
n(+(n(D),n(+(C,+(n(D),n(+(n(D),+(n(+(C,n(D))),n(+(n(D),n(n(+(C,n(D)))))))))))))).
n(+(n(D),n(+(C,+(D,+(n(D),n(+(C,n(D))))))))).
n(+(x,+(y,n(+(x,+(y,+(n(D),+(n(+(x,+(y,C))),n(+(C,n(D))))))))))).
n(+(C,+(C,n(+(C,+(n(D),n(+(C,+(n(+(C,n(D))),n(+(C,+(C,n(D))))))))))))).
n(+(C,+(C,n(+(C,+(n(D),n(+(n(n(+(C,n(+(C,n(D)))))),n(+(C,+(C,n(D)))))))))))).
n(+(n(+(x,n(D))),n(+(x,+(C,+(C,n(+(C,+(C,+(n(D),n(D))))))))))).
n(+(n(+(C,+(C,n(D)))),n(+(C,+(C,+(n(n(D)),n(+(C,+(C,n(D)))))))))).
n(+(n(+(x,+(y,n(D)))),n(+(x,+(y,+(C,+(C,n(+(C,+(C,+(n(D),n(D)))))))))))).
n(+(n(D),n(+(C,+(C,n(n(+(C,+(C,+(n(D),n(D))))))))))).
n(+(C,+(C,n(+(C,+(C,+(n(D),n(D)))))))).
n(+(n(D),n(+(C,+(C,+(n(D),n(n(+(C,+(C,n(D))))))))))).
n(+(x,n(+(x,+(C,+(C,+(n(+(x,n(D))),n(+(C,+(C,+(n(D),n(D)))))))))))).
n(+(n(+(x,+(C,C))),n(+(x,+(n(D),n(+(C,+(C,+(n(D),n(n(+(C,+(C,n(D)))))))))))))).
n(+(n(+(x,n(D))),n(+(x,+(C,+(C,n(+(n(D),n(n(+(C,+(C,n(D))))))))))))).
n(+(n(D),n(+(C,+(C,n(n(+(n(D),n(n(+(C,+(C,n(D))))))))))))).
n(+(n(D),n(+(n(+(C,C)),n(+(C,+(C,+(n(D),n(D))))))))).
n(+(n(+(x,y)),n(+(x,+(n(+(y,+(C,C))),n(+(y,+(n(D),n(+(C,+(C,n(D)))))))))))).
n(+(n(+(x,+(y,+(C,C)))),n(+(x,+(y,+(n(D),n(+(C,+(C,n(D)))))))))).
n(+(x,n(+(n(n(+(x,+(n(D),n(+(C,+(C,n(D)))))))),n(+(x,+(C,C))))))).
n(+(n(+(x,y)),n(+(y,+(n(+(x,+(C,C))),n(+(x,+(n(D),n(+(C,+(C,n(D)))))))))))).
n(+(n(D),n(+(C,+(n(D),n(+(D,+(n(D),n(+(C,+(C,n(D)))))))))))).
n(+(n(D),n(+(D,+(n(D),n(+(C,+(C,n(D))))))))).
n(+(n(+(x,+(C,C))),n(+(x,+(n(D),n(+(C,+(C,n(D))))))))).
n(+(C,+(C,n(+(n(D),n(n(+(C,+(C,+(n(D),n(n(+(C,+(C,n(D))))))))))))))).
n(+(C,+(C,n(+(C,+(C,+(n(D),+(n(D),n(n(+(C,+(C,n(D))))))))))))).
n(+(C,+(C,n(+(C,+(C,+(n(D),n(n(+(n(D),n(n(+(C,+(C,n(D))))))))))))))).
n(+(C,+(C,n(+(n(D),n(n(+(C,+(C,n(n(+(n(D),n(n(+(C,+(C,n(D))))))))))))))))).
n(+(C,+(C,n(+(n(n(D)),n(+(C,+(C,n(D))))))))).
n(+(C,+(C,n(+(n(D),n(n(+(C,+(C,n(D)))))))))).
n(+(n(+(x,D)),n(+(x,+(C,+(C,n(D))))))).
n(+(n(+(x,+(y,+(z,D)))),n(+(x,+(y,+(z,+(C,n(D)))))))).
n(+(x,+(y,+(C,n(+(x,+(y,+(C,+(n(D),n(+(x,+(y,D)))))))))))).
n(+(n(+(x,+(y,D))),n(+(D,+(n(+(x,+(y,D))),n(+(x,+(y,+(C,n(D)))))))))).
n(+(n(+(x,+(y,+(z,C)))),n(+(z,+(n(+(x,+(y,D))),n(+(x,+(y,+(C,n(D)))))))))).
n(+(n(+(x,+(y,+(z,C)))),n(+(x,+(n(+(y,+(z,D))),n(+(y,+(z,+(C,n(D)))))))))).
n(+(x,+(y,+(C,n(+(n(n(+(x,+(y,+(C,n(D)))))),n(+(x,+(y,D))))))))).
n(+(n(+(x,D)),n(+(x,+(x,+(C,+(C,+(n(D),n(+(x,D)))))))))).
n(+(x,n(+(x,+(n(+(x,D)),n(+(C,n(+(x,+(C,+(n(D),n(+(x,D))))))))))))).
n(+(n(+(x,+(C,+(D,n(+(x,+(C,+(n(D),n(+(x,D)))))))))),n(+(C,+(D,n(+(x,D))))))).
n(+(n(+(x,D)),n(+(x,n(+(C,n(+(x,+(C,+(n(D),n(+(x,D)))))))))))).
n(+(x,n(+(x,+(n(+(x,+(y,C))),+(n(+(y,D)),n(+(y,+(C,n(D)))))))))).
n(+(y,n(+(y,+(n(+(x,D)),+(n(+(x,+(y,C))),n(+(x,+(C,n(D)))))))))).
n(+(n(+(x,n(+(C,n(+(n(n(+(x,D))),n(+(x,+(C,n(D)))))))))),n(+(x,+(C,n(D)))))).
n(+(n(+(x,D)),n(+(C,+(D,+(n(+(x,D)),n(+(x,+(C,n(D)))))))))).
n(+(n(+(x,D)),n(+(x,n(+(C,n(+(n(n(+(x,+(C,n(D))))),n(+(x,D)))))))))).
n(+(n(+(x,+(y,+(z,+(u,v))))),n(+(x,+(y,+(z,+(v,n(u)))))))).
n(+(n(+(x,+(y,+(z,D)))),n(+(x,+(y,+(C,+(D,n(z)))))))).
n(+(n(+(x,+(y,D))),n(+(x,+(y,+(D,n(C))))))).
n(+(n(+(x,+(y,+(z,+(u,v))))),n(+(x,+(y,+(v,n(+(z,u)))))))).
n(+(n(+(x,+(y,+(z,+(u,v))))),n(+(x,+(y,+(u,+(v,n(z)))))))).
n(+(n(+(x,D)),n(+(x,+(C,+(D,+(n(D),n(+(C,n(D)))))))))).
n(+(n(+(x,D)),n(+(x,+(C,+(D,n(C))))))).
n(+(n(+(x,+(y,+(z,D)))),n(+(x,+(C,+(D,n(+(y,z)))))))).
n(+(n(+(x,+(y,D))),n(+(y,+(C,+(D,n(x))))))).
n(+(n(+(x,D)),n(+(x,+(D,+(n(D),n(+(C,+(C,n(D)))))))))).
n(+(n(+(x,D)),n(+(x,+(D,+(n(D),n(+(C,n(n(+(n(D),n(n(+(C,n(D))))))))))))))).
n(+(n(+(x,D)),n(+(x,+(D,+(n(D),n(+(C,+(n(D),n(n(+(C,n(D))))))))))))).
n(+(n(+(x,+(C,+(D,n(D))))),n(+(x,+(C,+(D,n(+(C,+(n(D),n(D)))))))))).
n(+(n(+(x,D)),n(+(x,+(D,+(n(D),n(+(C,+(n(+(y,D)),n(+(D,n(y)))))))))))).
n(+(n(+(x,+(C,+(D,n(D))))),n(+(x,+(C,+(D,n(+(n(D),n(n(+(C,n(D)))))))))))).
n(+(n(+(x,+(C,+(D,D)))),n(+(x,+(D,+(n(D),n(+(D,n(C))))))))).
n(+(n(+(x,+(C,+(D,D)))),n(+(x,+(D,+(n(+(y,D)),n(+(C,+(D,n(y)))))))))).
n(+(n(+(x,+(y,D))),n(+(x,+(D,+(n(+(y,D)),n(+(y,+(C,n(D)))))))))).
n(+(n(+(x,D)),n(+(x,+(D,+(n(D),n(+(C,n(D))))))))).
n(+(n(+(x,D)),n(+(C,+(C,+(D,n(x))))))).
n(+(x,+(D,n(+(x,+(C,+(D,+(n(y),n(+(x,+(y,D))))))))))).
n(+(n(+(x,+(C,+(D,D)))),n(+(D,+(n(+(x,+(y,D))),n(+(x,+(C,+(D,n(y)))))))))).
n(+(n(+(x,+(z,D))),n(+(z,+(n(+(x,+(y,D))),n(+(x,+(C,+(D,n(y)))))))))).
n(+(n(+(x,+(y,D))),n(+(x,+(n(+(y,+(z,D))),n(+(y,+(C,+(D,n(z)))))))))).
n(+(x,+(D,n(+(n(n(+(x,+(C,+(D,n(y)))))),n(+(x,+(y,D)))))))).
n(+(n(+(x,n(+(y,D)))),n(+(x,+(y,+(D,n(+(y,+(D,+(n(C),n(+(y,D)))))))))))).
n(+(n(+(x,+(D,n(C)))),n(+(x,+(D,+(n(n(+(x,D))),n(+(x,+(D,n(C)))))))))).
n(+(n(+(x,D)),n(+(x,+(D,n(n(+(x,+(D,+(n(C),n(+(x,D)))))))))))).
n(+(x,+(D,n(+(x,+(D,+(n(C),n(+(x,D))))))))).
n(+(n(+(x,D)),n(+(x,+(D,+(n(n(+(x,+(D,n(C))))),n(+(x,D)))))))).
n(+(n(+(x,n(+(y,D)))),n(+(x,+(y,+(D,n(+(n(n(+(y,+(D,n(C))))),n(+(y,D)))))))))).
n(+(n(+(x,D)),n(+(x,+(D,n(n(+(n(n(+(x,+(D,n(C))))),n(+(x,D)))))))))).
n(+(n(+(x,+(y,+(D,n(+(x,+(D,+(n(C),n(+(x,D)))))))))),n(+(y,n(+(x,D)))))).
n(+(n(+(x,+(y,+(z,D)))),n(+(x,+(z,+(n(+(y,D)),n(+(y,+(D,n(C)))))))))).
n(+(n(+(x,+(y,+(z,D)))),n(+(y,+(z,+(n(+(x,D)),n(+(x,+(D,n(C)))))))))).
n(+(n(D),n(+(C,+(n(+(x,+(D,D))),n(+(D,+(n(+(x,D)),n(+(x,+(D,n(C)))))))))))).
n(+(n(+(x,+(C,+(D,D)))),n(+(D,+(n(+(x,D)),n(+(x,+(D,n(C))))))))).
n(+(n(+(x,+(y,D))),n(+(y,+(n(+(x,D)),n(+(x,+(D,n(C))))))))).
n(+(n(+(x,+(y,+(D,n(+(n(n(+(x,+(D,n(C))))),n(+(x,D)))))))),n(+(y,n(+(x,D)))))).
n(+(x,+(D,n(+(n(n(+(x,D))),n(+(x,+(D,n(C))))))))).
n(+(n(+(x,+(y,+(z,D)))),n(+(x,+(y,+(n(+(z,D)),n(+(z,+(D,n(C)))))))))).
n(+(n(+(x,+(y,D))),n(+(x,+(n(+(y,D)),n(+(y,+(D,n(C))))))))).
n(+(x,+(D,n(+(n(n(+(x,+(D,n(C))))),n(+(x,D))))))).
n(+(n(+(x,+(y,D))),n(+(x,+(D,n(+(y,C))))))).
n(+(n(+(x,+(y,+(z,+(u,v))))),n(+(x,+(v,n(+(y,+(z,u)))))))).
n(+(n(+(x,+(y,+(z,u)))),n(+(x,+(z,n(+(y,u))))))).
n(+(n(+(x,+(y,+(z,+(u,v))))),n(+(x,+(u,+(v,n(+(y,z)))))))).
n(+(n(+(x,+(y,n(+(z,u))))),n(+(x,+(y,+(z,u)))))).
n(+(x,+(y,n(+(x,+(y,+(n(+(x,+(y,+(z,u)))),n(+(z,u))))))))).
n(+(n(+(x,+(u,v))),n(+(v,+(n(+(x,+(y,+(z,u)))),n(+(x,+(u,n(+(y,z)))))))))).
n(+(x,+(u,n(+(x,+(u,+(n(+(x,+(y,+(z,u)))),n(+(y,z))))))))).
n(+(n(+(x,+(y,v))),n(+(x,+(n(+(y,+(z,+(u,v)))),n(+(y,+(v,n(+(z,u)))))))))).
n(+(n(+(x,D)),n(+(x,+(D,+(n(+(y,C)),n(+(C,n(y))))))))).
n(+(n(+(x,+(y,z))),n(+(x,+(z,+(n(+(y,n(+(u,v)))),n(+(y,+(u,v))))))))).
n(+(n(+(x,+(z,+(u,n(+(z,+(n(y),n(+(y,z))))))))),n(+(x,+(u,n(+(y,z))))))).
n(+(n(+(x,+(y,+(z,+(u,v))))),n(+(x,+(z,+(u,+(v,n(y)))))))).
n(+(n(+(x,+(y,z))),n(+(z,+(n(+(x,+(y,n(+(u,v))))),n(+(x,+(y,+(u,v))))))))).
n(+(n(+(x,n(+(z,n(+(x,+(z,+(n(y),n(+(x,+(y,z))))))))))),n(+(x,+(y,z))))).
n(+(n(+(x,+(y,z))),n(+(x,+(n(+(y,+(z,n(+(u,v))))),n(+(y,+(z,+(u,v))))))))).
n(+(n(D),n(+(C,+(C,+(n(+(x,D)),n(+(D,n(x))))))))).
n(+(n(+(x,+(y,D))),n(+(x,+(y,+(C,+(n(+(z,D)),n(+(D,n(z)))))))))).
n(+(n(+(x,D)),n(+(x,+(C,+(n(D),n(+(D,n(C))))))))).
n(+(n(+(x,D)),n(+(x,+(C,+(n(+(y,+(z,D))),n(+(D,n(+(y,z)))))))))).
n(+(n(+(x,D)),n(+(x,+(C,+(n(D),n(+(D,+(n(D),n(+(C,+(C,n(D))))))))))))).
n(+(n(+(x,D)),n(+(x,+(C,+(n(+(D,D)),n(+(D,+(n(D),n(+(D,n(C)))))))))))).
n(+(n(+(x,D)),n(+(x,+(C,+(n(D),n(+(D,+(n(D),n(+(C,n(D)))))))))))).
n(+(n(+(x,D)),n(+(x,+(C,+(n(+(y,D)),n(+(D,+(D,+(n(y),n(+(y,D)))))))))))).
n(+(x,+(C,n(+(x,+(C,+(n(+(x,D)),+(n(+(y,D)),n(+(D,n(y))))))))))).
n(+(n(+(x,D)),n(+(D,+(n(+(x,D)),n(+(x,+(C,+(n(+(y,D)),n(+(D,n(y)))))))))))).
n(+(x,+(C,n(+(n(n(+(x,+(C,+(n(+(y,D)),n(+(D,n(y)))))))),n(+(x,D))))))).
n(+(n(+(C,+(C,+(D,n(+(n(D),n(n(+(C,n(D)))))))))),n(+(C,+(D,n(D)))))).
n(+(n(+(C,+(C,+(D,n(+(C,+(n(D),n(D)))))))),n(+(C,+(D,n(D)))))).
n(+(n(D),n(+(C,+(D,+(n(+(x,C)),n(+(C,n(x))))))))).
n(+(n(+(x,+(y,D))),n(+(C,+(D,+(n(+(x,+(y,z))),n(+(x,+(y,n(z)))))))))).
n(+(n(+(C,+(C,+(C,+(D,n(+(n(D),n(n(+(C,+(C,n(D)))))))))))),n(+(D,n(D))))).
n(+(n(D),n(+(C,+(D,+(n(+(C,n(D))),n(+(C,n(n(+(n(n(D)),n(+(C,n(D)))))))))))))).
n(+(n(D),n(+(C,+(D,+(n(D),n(+(C,n(n(+(C,+(n(D),n(D))))))))))))).
n(+(n(D),n(+(C,+(D,+(n(D),n(+(C,n(n(+(n(D),n(n(+(C,n(D))))))))))))))).
n(+(n(+(x,D)),n(+(C,+(D,+(n(+(x,y)),n(+(x,n(n(+(x,+(n(y),n(+(x,y)))))))))))))).
n(+(n(+(C,+(D,+(D,n(+(n(D),n(n(+(D,n(C)))))))))),n(+(D,n(D))))).
n(+(n(+(C,+(D,+(D,n(+(n(n(+(C,+(D,n(x))))),n(+(x,D)))))))),n(+(D,n(+(x,D)))))).
n(+(n(+(C,+(C,+(D,n(+(n(D),n(n(+(C,n(D)))))))))),n(+(D,n(D))))).
n(+(n(+(y,+(C,+(D,n(+(n(n(+(y,n(x)))),n(+(x,y)))))))),n(+(D,n(+(x,y)))))).
n(+(n(+(x,+(C,+(D,n(+(n(n(+(x,n(y)))),n(+(x,y)))))))),n(+(D,n(+(x,y)))))).
n(+(n(+(x,D)),n(+(C,+(D,+(n(+(x,n(D))),n(+(x,+(C,n(+(C,+(n(D),n(D))))))))))))).
n(+(n(+(x,D)),n(+(C,+(D,+(n(+(x,D)),n(+(x,+(n(D),n(+(D,n(C)))))))))))).
n(+(n(+(x,D)),n(+(C,+(D,+(n(+(x,C)),n(+(x,+(n(D),n(+(C,n(D)))))))))))).
n(+(n(+(x,D)),n(+(C,+(D,+(n(+(x,z)),n(+(x,+(n(+(y,z)),n(+(z,n(y)))))))))))).
n(+(n(+(x,D)),n(+(C,+(D,+(n(+(x,y)),n(+(x,+(n(+(y,z)),n(+(y,n(z)))))))))))).
n(+(n(+(x,+(C,+(D,+(D,n(+(x,+(D,+(n(C),n(+(x,D))))))))))),n(+(D,n(+(x,D)))))).
n(+(n(+(C,+(C,+(C,+(D,n(+(C,+(C,+(n(D),n(D)))))))))),n(+(D,n(D))))).
n(+(n(D),n(+(C,+(D,+(n(+(C,n(D))),n(+(C,+(n(n(D)),n(+(C,n(D)))))))))))).
n(+(n(+(C,+(C,+(D,n(+(C,+(n(D),+(n(D),n(n(+(C,n(D)))))))))))),n(+(D,n(D))))).
n(+(n(D),n(+(C,+(D,+(n(D),n(+(C,+(C,+(n(D),n(D))))))))))).
n(+(n(+(C,+(C,+(D,n(+(C,+(n(D),+(n(+(x,D)),n(+(D,n(x))))))))))),n(+(D,n(D))))).
n(+(n(D),n(+(C,+(D,+(n(D),n(+(C,+(n(D),n(n(+(C,n(D))))))))))))).
n(+(n(+(x,D)),n(+(C,+(D,+(n(+(x,y)),n(+(x,+(x,+(n(y),n(+(x,y)))))))))))).
n(+(n(+(C,+(D,+(D,n(+(D,+(n(C),n(D)))))))),n(+(D,n(D))))).
n(+(n(+(C,+(D,+(D,n(+(C,+(D,+(n(x),n(+(x,D)))))))))),n(+(D,n(+(x,D)))))).
n(+(n(+(x,+(C,+(C,+(D,n(+(x,+(C,+(n(D),n(+(x,D))))))))))),n(+(D,n(+(x,D)))))).
n(+(n(+(C,+(C,+(D,n(+(C,+(n(D),n(D)))))))),n(+(D,n(D))))).
n(+(n(+(x,D)),n(+(C,+(D,+(n(+(x,y)),n(+(x,+(n(n(+(x,n(y)))),n(+(x,y))))))))))).
n(+(n(+(y,+(C,+(D,n(+(y,+(n(x),n(+(x,y))))))))),n(+(D,n(+(x,y)))))).
n(+(n(+(x,+(C,+(D,n(+(x,+(n(y),n(+(x,y))))))))),n(+(D,n(+(x,y)))))).
n(+(n(+(x,D)),n(+(D,n(n(+(C,+(D,+(n(+(x,y)),+(n(+(x,D)),n(+(x,n(y))))))))))))).
n(+(D,n(+(C,+(D,+(n(+(x,y)),+(n(+(x,D)),n(+(x,n(y)))))))))).
n(+(n(+(x,D)),n(+(D,+(n(n(+(C,+(D,+(n(+(x,y)),n(+(x,n(y)))))))),n(+(x,D))))))).
n(+(n(+(z,D)),n(+(z,+(n(+(x,D)),n(+(C,+(D,+(n(+(x,y)),n(+(x,n(y)))))))))))).
n(+(D,n(+(n(n(+(C,+(D,+(n(+(x,y)),n(+(x,n(y)))))))),n(+(x,D)))))).
n(+(n(D),n(+(D,n(n(+(n(D),n(n(+(D,+(n(D),n(n(+(C,+(D,n(C)))))))))))))))).
n(+(n(D),n(+(D,+(n(D),n(n(+(D,n(n(+(n(D),n(n(+(C,+(D,n(C)))))))))))))))).
n(+(n(D),n(+(D,+(n(D),n(n(+(D,+(n(D),n(n(+(C,+(D,n(C)))))))))))))).
n(+(D,n(+(C,+(n(D),n(+(C,+(n(+(C,+(D,n(C)))),n(+(D,n(C))))))))))).
n(+(D,n(+(D,+(n(C),+(n(D),n(+(D,+(n(C),+(n(C),n(+(C,+(D,n(C)))))))))))))).
n(+(D,n(+(C,+(n(D),n(+(n(n(+(C,n(+(D,n(C)))))),n(+(C,+(D,n(C))))))))))).
n(+(n(D),n(+(D,n(n(+(n(D),n(n(+(D,n(n(+(n(D),n(n(+(C,+(D,n(C)))))))))))))))))).
n(+(n(+(x,+(y,n(D)))),n(+(x,+(y,+(D,n(+(C,+(D,+(n(C),n(D))))))))))).
n(+(n(+(x,n(D))),n(+(x,+(D,n(+(C,+(D,+(n(C),n(D)))))))))).
n(+(n(+(C,+(D,n(C)))),n(+(D,+(n(n(D)),n(+(C,+(D,n(C))))))))).
n(+(n(+(x,y)),n(+(x,+(n(+(y,n(D))),n(+(y,+(D,n(+(C,+(D,+(n(C),n(D))))))))))))).
n(+(D,n(+(n(D),+(n(+(x,n(+(C,+(D,n(C)))))),n(+(n(x),n(+(C,+(D,n(C))))))))))).
n(+(D,n(+(n(+(x,n(D))),+(n(+(C,+(D,n(C)))),n(+(n(x),n(D)))))))).
n(+(n(D),n(+(D,n(n(+(C,+(D,+(n(C),n(D)))))))))).
n(+(D,n(+(C,+(D,+(n(C),n(D))))))).
n(+(n(+(x,+(y,n(D)))),n(+(x,+(y,+(D,n(+(n(D),n(n(+(C,+(D,n(C))))))))))))).
n(+(n(D),n(+(D,+(n(D),n(n(+(C,+(D,n(C)))))))))).
n(+(x,n(+(x,+(D,+(n(+(x,n(D))),n(+(C,+(D,+(n(C),n(D))))))))))).
n(+(x,n(+(n(n(+(x,+(D,n(+(C,+(D,+(n(C),n(D))))))))),n(+(x,n(D))))))).
n(+(n(+(x,y)),n(+(y,+(n(+(x,n(D))),n(+(x,+(D,n(+(C,+(D,+(n(C),n(D))))))))))))).
n(+(n(+(x,+(y,D))),n(+(x,+(y,+(n(D),n(+(C,+(D,n(C)))))))))).
n(+(n(+(x,n(D))),n(+(x,+(D,n(+(D,+(n(D),+(n(D),n(n(+(C,+(D,n(C)))))))))))))).
n(+(n(+(x,D)),n(+(x,+(n(D),n(+(D,+(n(D),n(n(+(C,+(D,n(C))))))))))))).
n(+(n(+(x,D)),n(+(x,+(n(D),n(+(D,n(n(+(n(D),n(n(+(C,+(D,n(C))))))))))))))).
n(+(n(+(x,n(+(C,+(D,n(C)))))),n(+(x,+(D,n(+(n(n(D)),n(+(C,+(D,n(C))))))))))).
n(+(x,n(+(x,+(D,+(n(+(x,n(D))),n(+(n(D),n(n(+(C,+(D,n(C))))))))))))).
n(+(n(+(x,n(D))),n(+(x,+(D,n(+(n(D),n(n(+(C,+(D,n(C)))))))))))).
n(+(n(D),n(+(D,n(n(+(n(D),n(n(+(C,+(D,n(C)))))))))))).
n(+(n(+(C,+(D,+(D,n(+(C,+(D,+(n(C),n(D))))))))),n(+(D,n(D))))).
n(+(n(+(C,+(D,+(n(C),n(D))))),n(+(n(D),+(n(D),n(+(C,+(D,+(n(C),n(D)))))))))).
n(+(n(D),n(+(n(D),n(+(C,+(D,+(n(C),n(D))))))))).
n(+(n(+(x,+(C,+(D,D)))),n(+(x,+(D,+(n(D),n(+(C,+(D,n(C)))))))))).
n(+(n(+(x,y)),n(+(x,+(n(+(y,D)),n(+(y,+(n(D),n(+(C,+(D,n(C)))))))))))).
n(+(x,n(+(n(n(+(x,+(n(D),n(+(C,+(D,n(C)))))))),n(+(x,D)))))).
n(+(n(+(x,D)),n(+(C,+(D,+(n(+(x,D)),n(+(x,+(n(D),n(+(C,+(D,n(C))))))))))))).
n(+(n(+(x,y)),n(+(y,+(n(+(x,D)),n(+(x,+(n(D),n(+(C,+(D,n(C)))))))))))).
n(+(n(D),n(+(C,+(n(+(D,D)),n(+(D,+(n(D),n(+(C,+(D,n(C)))))))))))).
n(+(n(+(C,+(D,D))),n(+(D,+(n(D),n(+(C,+(D,n(C))))))))).
n(+(n(+(x,D)),n(+(x,+(n(D),n(+(C,+(D,n(C))))))))).
n(+(D,n(+(n(D),n(n(+(D,+(n(D),n(n(+(C,+(D,n(C))))))))))))).
n(+(D,n(+(D,+(n(D),+(n(D),n(n(+(C,+(D,n(C))))))))))).
n(+(D,n(+(D,+(n(D),n(n(+(n(D),n(n(+(C,+(D,n(C))))))))))))).
n(+(D,n(+(n(D),n(n(+(D,n(n(+(n(D),n(n(+(C,+(D,n(C))))))))))))))).
n(+(n(+(C,+(D,+(D,n(+(n(D),n(n(+(C,+(D,n(C))))))))))),n(+(D,n(D))))).
n(+(D,n(+(n(n(D)),n(+(C,+(D,n(C)))))))).
n(+(D,n(+(n(D),n(n(+(C,+(D,n(C))))))))).
n(+(n(+(x,D)),n(+(C,+(D,n(+(x,C))))))).
n(+(n(+(x,+(y,+(z,D)))),n(+(C,+(D,n(+(x,+(y,z)))))))).
n(+(n(+(C,+(D,D))),n(+(D,+(n(+(x,+(y,D))),n(+(C,+(D,n(+(x,y)))))))))).
n(+(n(+(x,+(y,D))),n(+(D,n(n(+(C,+(D,+(n(+(x,y)),n(+(x,+(y,D)))))))))))).
n(+(D,n(+(C,+(D,+(n(+(x,y)),n(+(x,+(y,D))))))))).
n(+(n(+(x,+(y,D))),n(+(D,+(n(n(+(C,+(D,n(+(x,y)))))),n(+(x,+(y,D)))))))).
n(+(n(+(x,+(y,D))),n(+(D,n(n(+(n(n(+(C,+(D,n(+(x,y)))))),n(+(x,+(y,D)))))))))).
n(+(n(+(z,D)),n(+(z,+(n(+(x,+(y,D))),n(+(C,+(D,n(+(x,y)))))))))).
n(+(D,n(+(n(n(+(x,+(y,D)))),n(+(C,+(D,n(+(x,y))))))))).
n(+(D,n(+(n(n(+(C,+(D,n(+(x,y)))))),n(+(x,+(y,D))))))).
n(+(n(+(C,+(D,D))),n(+(D,+(n(D),n(+(D,+(n(D),n(+(C,+(C,n(D)))))))))))).
n(+(n(+(C,+(D,D))),n(+(D,+(n(+(C,+(D,D))),n(+(D,+(n(D),n(+(D,n(C))))))))))).
n(+(n(+(C,+(D,D))),n(+(D,+(n(D),n(+(D,+(n(D),n(+(C,n(D))))))))))).
n(+(n(+(C,+(D,D))),n(+(D,+(n(+(y,D)),n(+(D,+(n(+(x,y)),n(+(y,n(x))))))))))).
n(+(n(+(C,+(D,D))),n(+(D,+(n(+(x,D)),n(+(D,+(n(+(x,y)),n(+(x,n(y))))))))))).
n(+(n(+(C,+(D,D))),n(+(D,+(n(+(x,D)),n(+(C,+(D,+(D,+(n(x),n(+(x,D)))))))))))).
n(+(D,n(+(D,+(n(+(x,D)),+(n(+(C,+(D,D))),n(+(C,+(D,n(x)))))))))).
n(+(n(+(x,D)),n(+(D,n(n(+(D,+(n(+(x,D)),+(n(+(x,D)),n(+(x,+(C,n(D))))))))))))).
n(+(D,n(+(D,+(n(+(x,D)),+(n(+(x,D)),n(+(x,+(C,n(D)))))))))).
n(+(n(+(x,D)),n(+(D,+(n(n(+(D,+(n(+(x,D)),n(+(x,+(C,n(D)))))))),n(+(x,D))))))).
n(+(n(+(y,D)),n(+(y,+(n(+(x,D)),n(+(D,+(n(+(x,D)),n(+(x,+(C,n(D)))))))))))).
n(+(D,n(+(n(n(+(D,+(n(+(x,D)),n(+(x,+(C,n(D)))))))),n(+(x,D)))))).
n(+(n(D),n(+(D,+(n(D),n(n(+(D,+(n(D),n(n(+(D,+(n(D),n(+(C,n(D)))))))))))))))).
n(+(D,n(+(D,+(n(D),n(+(C,+(D,n(+(D,+(n(D),n(+(C,n(D)))))))))))))).
n(+(D,n(+(D,+(n(D),n(+(n(n(D)),n(+(D,+(n(D),n(+(C,n(D))))))))))))).
n(+(n(+(x,n(D))),n(+(x,+(D,n(+(D,+(n(D),+(n(D),n(+(C,n(D)))))))))))).
n(+(n(D),n(+(D,n(n(+(D,+(n(D),+(n(D),n(+(C,n(D)))))))))))).
n(+(D,n(+(D,+(n(D),+(n(D),n(+(C,n(D))))))))).
n(+(n(D),n(+(D,+(n(D),n(n(+(D,+(n(D),n(+(C,n(D)))))))))))).
n(+(n(+(x,+(y,D))),n(+(x,+(y,+(n(D),n(+(D,+(n(D),n(+(C,n(D)))))))))))).
n(+(n(+(x,D)),n(+(x,+(n(D),n(+(D,+(n(D),n(n(+(D,+(n(D),n(+(C,n(D))))))))))))))).
n(+(n(+(x,n(D))),n(+(x,+(D,n(+(n(D),n(n(+(D,+(n(D),n(+(C,n(D)))))))))))))).
n(+(n(D),n(+(D,n(n(+(n(D),n(n(+(D,+(n(D),n(+(C,n(D)))))))))))))).
n(+(n(+(C,+(D,+(D,n(+(D,+(n(D),+(n(D),n(+(C,n(D))))))))))),n(+(D,n(D))))).
n(+(x,n(+(n(n(+(x,+(n(D),n(+(D,+(n(D),n(+(C,n(D)))))))))),n(+(x,D)))))).
n(+(n(D),n(+(C,+(n(+(D,D)),n(+(D,+(n(D),n(+(D,+(n(D),n(+(C,n(D)))))))))))))).
n(+(n(+(x,D)),n(+(x,+(n(D),n(+(D,+(n(D),n(+(C,n(D))))))))))).
n(+(D,n(+(n(D),n(n(+(D,+(n(D),n(n(+(D,+(n(D),n(+(C,n(D))))))))))))))).
n(+(D,n(+(D,+(n(D),+(n(D),n(n(+(D,+(n(D),n(+(C,n(D))))))))))))).
n(+(D,n(+(D,+(n(D),n(n(+(n(D),n(n(+(D,+(n(D),n(+(C,n(D))))))))))))))).
n(+(D,n(+(n(D),n(n(+(D,n(n(+(n(D),n(n(+(D,+(n(D),n(+(C,n(D))))))))))))))))).
n(+(n(+(C,+(D,+(D,n(+(n(D),n(n(+(D,+(n(D),n(+(C,n(D))))))))))))),n(+(D,n(D))))).
n(+(D,n(+(n(n(D)),n(+(D,+(n(D),n(+(C,n(D)))))))))).
n(+(D,n(+(n(D),n(n(+(D,+(n(D),n(+(C,n(D))))))))))).
n(+(n(+(C,+(D,D))),n(+(D,+(n(D),n(+(D,+(n(D),n(n(+(C,+(D,n(C))))))))))))).
n(+(n(D),n(+(D,+(n(D),n(+(C,+(C,+(n(D),n(n(+(C,+(C,n(D)))))))))))))).
n(+(n(D),n(+(D,+(n(D),n(+(C,+(n(D),n(n(+(C,+(n(D),n(n(+(C,n(D)))))))))))))))).
n(+(n(+(C,+(D,n(D)))),n(+(C,+(D,n(+(C,+(n(D),n(n(+(C,+(n(D),n(D))))))))))))).
n(+(n(D),n(+(D,+(n(D),n(+(C,+(n(D),n(n(+(C,+(n(+(x,D)),n(+(D,n(x))))))))))))))).
n(+(n(+(C,+(D,D))),n(+(D,+(n(D),n(+(D,+(n(D),n(n(+(D,n(C)))))))))))).
n(+(n(+(C,+(D,D))),n(+(D,+(n(D),n(+(D,n(n(+(n(D),n(n(+(C,+(D,n(C))))))))))))))).
n(+(n(D),n(+(D,+(n(D),n(+(C,+(C,n(n(+(n(D),n(n(+(C,+(C,n(D)))))))))))))))).
n(+(n(+(C,+(D,D))),n(+(D,+(n(D),n(+(D,n(n(+(n(D),n(n(+(D,n(C)))))))))))))).
n(+(n(+(x,D)),n(+(x,+(C,+(n(+(y,D)),n(+(C,+(D,n(y)))))))))).
n(+(n(D),n(+(C,+(n(+(x,D)),n(+(C,+(D,+(D,+(n(x),n(+(x,D)))))))))))).
n(+(n(+(x,D)),n(+(x,+(n(+(y,D)),n(+(C,+(D,+(D,+(n(y),n(+(y,D)))))))))))).
n(+(D,n(+(n(n(+(C,+(D,+(D,+(n(x),n(+(x,D)))))))),n(+(x,D)))))).
n(+(D,n(+(D,+(n(n(+(C,+(D,+(n(x),n(+(x,D))))))),n(+(x,D))))))).
n(+(n(+(x,D)),n(+(x,+(n(+(y,D)),n(+(D,n(n(+(C,+(D,+(n(y),n(+(y,D)))))))))))))).
n(+(D,n(+(n(n(+(D,n(n(+(C,+(D,+(n(x),n(+(x,D)))))))))),n(+(x,D)))))).
n(+(n(+(C,+(D,+(n(+(x,D)),n(+(C,+(D,+(D,+(n(x),n(+(x,D))))))))))),n(+(D,D)))).
n(+(n(+(C,+(D,n(+(x,D))))),n(+(D,+(D,n(+(C,+(D,+(n(x),n(+(x,D))))))))))).
n(+(n(+(x,D)),n(+(D,+(D,+(n(n(+(C,+(D,+(n(x),n(+(x,D))))))),n(+(x,D)))))))).
n(+(n(D),n(+(C,+(n(+(x,D)),n(+(C,+(D,n(x))))))))).
n(+(n(+(x,D)),n(+(x,+(n(+(C,+(D,D))),n(+(D,+(n(D),n(+(C,+(D,n(C)))))))))))).
n(+(n(+(x,D)),n(+(x,+(n(D),n(+(D,+(n(D),n(+(C,+(C,n(D)))))))))))).
n(+(n(+(x,D)),n(+(x,+(n(D),n(+(D,+(n(D),n(+(C,+(n(D),n(n(+(C,n(D))))))))))))))).
n(+(n(+(x,D)),n(+(x,+(n(+(C,+(D,n(D)))),n(+(C,+(D,n(+(C,+(n(D),n(D)))))))))))).
n(+(n(+(x,D)),n(+(x,+(n(+(C,+(D,D))),n(+(D,+(n(D),n(+(D,n(C))))))))))).
n(+(n(+(x,D)),n(+(x,+(n(+(z,D)),n(+(D,+(n(+(y,z)),n(+(z,n(y))))))))))).
n(+(n(+(x,D)),n(+(x,n(n(+(x,+(n(+(x,D)),+(n(+(y,D)),n(+(C,+(D,n(y))))))))))))).
n(+(x,n(+(x,+(n(+(x,D)),+(n(+(y,D)),n(+(C,+(D,n(y)))))))))).
n(+(n(+(x,D)),n(+(x,+(n(n(+(x,+(n(+(y,D)),n(+(C,+(D,n(y)))))))),n(+(x,D))))))).
n(+(D,n(+(n(n(+(D,+(n(D),n(+(C,+(D,n(C)))))))),n(+(C,+(D,D))))))).
n(+(D,n(+(n(D),n(n(+(D,+(n(D),n(+(C,+(C,n(D)))))))))))).
n(+(D,n(+(n(D),n(n(+(D,+(n(D),n(+(C,n(n(+(n(D),n(n(+(C,n(D))))))))))))))))).
n(+(D,n(+(n(D),n(n(+(D,+(n(D),n(+(C,+(n(D),n(n(+(C,n(D))))))))))))))).
n(+(D,n(+(n(D),n(n(+(D,+(n(D),n(+(C,+(n(+(x,D)),n(+(D,n(x)))))))))))))).
n(+(D,n(+(n(n(+(D,+(n(+(x,+(y,z))),n(+(z,n(+(x,y)))))))),n(+(z,D)))))).
n(+(D,n(+(n(n(+(D,+(n(D),n(+(D,n(C))))))),n(+(C,+(D,D))))))).
n(+(D,n(+(n(n(+(D,+(n(+(x,y)),n(+(y,n(x))))))),n(+(y,D)))))).
n(+(D,n(+(n(n(+(D,+(n(+(x,y)),n(+(x,n(y))))))),n(+(x,D)))))).
n(+(C,+(D,n(+(C,+(D,+(n(x),n(+(x,D))))))))).
n(+(C,+(D,n(+(n(n(+(C,+(D,n(x))))),n(+(x,D))))))).
n(+(n(+(C,+(D,n(x)))),n(+(D,n(n(+(n(n(+(x,D))),n(+(C,+(D,n(x))))))))))).
n(+(n(+(x,C)),n(+(x,+(n(D),n(+(C,+(n(+(y,D)),n(+(C,+(D,n(y)))))))))))).
n(+(n(D),n(+(C,+(n(+(x,D)),n(+(D,+(n(n(+(C,+(D,n(x))))),n(+(x,D)))))))))).
n(+(n(+(C,+(D,n(+(x,D))))),n(+(D,+(D,n(+(n(n(+(C,+(D,n(x))))),n(+(x,D))))))))).
n(+(n(D),n(+(C,+(D,+(D,+(n(C),n(D)))))))).
n(+(n(+(x,+(y,D))),n(+(C,+(D,+(D,+(n(+(x,y)),n(+(x,+(y,D)))))))))).
n(+(n(+(x,D)),n(+(D,n(n(+(C,+(D,+(D,+(n(x),+(n(+(x,D)),n(+(x,D))))))))))))).
n(+(D,n(+(C,+(D,+(D,+(n(x),+(n(+(x,D)),n(+(x,D)))))))))).
n(+(n(+(x,D)),n(+(D,+(n(n(+(C,+(D,+(D,+(n(x),n(+(x,D)))))))),n(+(x,D))))))).
n(+(n(+(x,D)),n(+(C,+(C,+(D,+(D,+(n(x),n(+(x,D)))))))))).
n(+(n(+(x,D)),n(+(C,+(D,n(n(+(C,+(D,+(n(x),n(+(x,D)))))))))))).
n(+(n(+(x,+(y,z))),n(+(y,n(+(x,n(+(x,+(y,+(n(z),n(+(x,+(y,z))))))))))))).
n(+(n(+(x,+(y,z))),n(+(y,n(+(x,n(+(n(n(+(x,+(y,n(z))))),n(+(x,+(y,z))))))))))).
n(+(n(+(x,+(y,D))),n(+(x,+(y,+(C,+(n(D),n(+(D,n(C)))))))))).
n(+(n(D),n(+(D,+(n(D),n(n(+(D,+(n(D),n(n(+(D,+(n(D),n(n(+(D,n(C))))))))))))))))).
n(+(D,n(+(D,+(n(D),n(+(n(n(D)),n(+(D,+(n(D),n(n(+(D,n(C)))))))))))))).
n(+(n(D),n(+(D,n(n(+(D,+(n(D),+(n(D),n(n(+(D,n(C))))))))))))).
n(+(n(+(C,+(D,+(D,n(+(D,+(n(D),+(n(D),n(n(+(D,n(C)))))))))))),n(+(D,n(D))))).
n(+(n(D),n(+(C,+(n(+(D,D)),n(+(D,+(n(D),n(+(D,+(n(D),n(n(+(D,n(C))))))))))))))).
n(+(D,n(+(n(D),n(n(+(D,+(n(D),n(n(+(D,+(n(D),n(n(+(D,n(C)))))))))))))))).
n(+(D,n(+(D,+(n(D),+(n(D),n(n(+(D,+(n(D),n(n(+(D,n(C)))))))))))))).
n(+(D,n(+(D,+(n(D),n(n(+(n(D),n(n(+(D,+(n(D),n(n(+(D,n(C)))))))))))))))).
n(+(D,n(+(n(D),n(n(+(D,n(n(+(n(D),n(n(+(D,+(n(D),n(n(+(D,n(C)))))))))))))))))).
n(+(n(+(x,n(D))),n(+(x,n(n(+(x,+(D,+(n(+(x,n(D))),n(+(D,+(n(C),n(D))))))))))))).
n(+(D,n(+(D,+(n(D),n(+(D,n(+(D,n(n(+(n(D),n(n(+(D,n(C)))))))))))))))).
n(+(D,n(+(D,+(n(D),n(+(n(n(D)),n(+(D,n(n(+(n(D),n(n(+(D,n(C)))))))))))))))).
n(+(n(D),n(+(D,n(n(+(D,+(n(D),n(n(+(n(D),n(n(+(D,n(C))))))))))))))).
n(+(D,n(+(n(D),n(n(+(D,+(n(D),n(n(+(D,n(n(+(n(D),n(n(+(D,n(C)))))))))))))))))).
n(+(D,n(+(D,+(n(D),+(n(D),n(n(+(D,n(n(+(n(D),n(n(+(D,n(C)))))))))))))))).
n(+(D,n(+(D,+(n(D),n(n(+(n(D),n(n(+(D,n(n(+(n(D),n(n(+(D,n(C)))))))))))))))))).
n(+(n(D),n(+(C,+(n(D),n(+(D,+(n(D),n(+(n(D),n(+(D,+(n(C),n(D)))))))))))))).
n(+(x,+(y,n(+(x,+(y,+(n(D),+(n(+(x,+(y,D))),n(+(D,n(C))))))))))).
n(+(n(+(x,D)),n(+(x,+(C,+(n(D),n(+(D,+(D,+(n(C),n(D))))))))))).
n(+(D,n(+(n(D),n(n(+(D,n(n(+(D,+(n(D),n(n(+(D,+(n(C),n(D)))))))))))))))).
n(+(D,n(+(D,+(n(D),n(n(+(n(D),n(n(+(D,n(n(+(D,+(n(C),n(D)))))))))))))))).
n(+(D,n(+(D,+(n(D),n(n(+(D,+(n(D),n(n(+(D,+(n(C),n(D)))))))))))))).
n(+(n(D),n(+(C,+(n(D),n(+(D,+(D,+(n(C),n(D)))))))))).
n(+(n(D),n(+(D,+(D,n(+(D,+(n(+(D,+(n(C),n(D)))),n(+(n(C),n(D))))))))))).
n(+(n(D),n(+(D,+(D,n(+(n(n(+(D,n(+(n(C),n(D)))))),n(+(D,+(n(C),n(D))))))))))).
n(+(D,n(+(n(D),n(n(+(D,n(n(+(n(D),n(n(+(D,n(n(+(D,+(n(C),n(D)))))))))))))))))).
n(+(n(+(x,+(y,D))),n(+(x,+(y,+(n(D),n(+(D,+(D,+(n(C),n(D))))))))))).
n(+(n(+(x,D)),n(+(x,+(n(D),n(+(D,+(D,+(n(C),n(D)))))))))).
n(+(n(+(x,y)),n(+(x,+(n(+(y,D)),n(+(y,+(n(D),n(+(D,+(D,+(n(C),n(D))))))))))))).
n(+(D,n(+(n(D),n(n(+(D,+(D,+(n(C),n(D)))))))))).
n(+(n(D),n(+(D,+(D,+(n(C),n(D))))))).
n(+(n(+(x,+(y,D))),n(+(x,+(y,+(n(D),n(+(D,n(n(+(D,+(n(C),n(D))))))))))))).
n(+(D,n(+(D,+(n(D),n(n(+(D,+(n(C),n(D)))))))))).
n(+(x,n(+(x,+(n(D),+(n(+(x,D)),n(+(D,+(D,+(n(C),n(D))))))))))).
n(+(x,n(+(n(n(+(x,+(n(D),n(+(D,+(D,+(n(C),n(D))))))))),n(+(x,D)))))).
n(+(n(+(x,y)),n(+(y,+(n(+(x,D)),n(+(x,+(n(D),n(+(D,+(D,+(n(C),n(D))))))))))))).
n(+(n(+(x,D)),n(+(x,+(n(D),n(+(D,+(D,+(n(D),n(n(+(D,+(n(C),n(D)))))))))))))).
n(+(n(+(x,n(D))),n(+(x,+(D,n(+(D,+(n(D),n(n(+(D,+(n(C),n(D))))))))))))).
n(+(n(+(x,n(D))),n(+(x,+(D,n(+(n(D),n(n(+(D,n(n(+(D,+(n(C),n(D))))))))))))))).
n(+(x,n(+(x,+(n(D),+(n(+(x,D)),n(+(D,n(n(+(D,+(n(C),n(D))))))))))))).
n(+(n(+(x,D)),n(+(x,+(n(D),n(+(D,n(n(+(D,+(n(C),n(D)))))))))))).
n(+(D,n(+(n(D),n(n(+(D,n(n(+(D,+(n(C),n(D)))))))))))).
n(+(n(+(C,+(D,+(n(D),n(+(D,+(D,+(n(C),n(D))))))))),n(+(D,D)))).
n(+(n(+(D,+(D,+(n(C),n(D))))),n(+(D,+(n(n(D)),n(+(D,+(D,+(n(C),n(D)))))))))).
n(+(D,n(+(n(n(D)),n(+(D,+(D,+(n(C),n(D))))))))).
n(+(n(+(x,+(C,+(D,n(D))))),n(+(x,+(D,+(D,n(+(D,+(n(C),n(D)))))))))).
n(+(n(+(x,D)),n(+(C,+(D,+(n(+(x,n(D))),n(+(x,+(D,n(+(D,+(n(C),n(D))))))))))))).
n(+(C,n(+(C,+(n(D),n(+(D,+(n(+(C,n(D))),n(+(D,+(n(C),n(D)))))))))))).
n(+(n(D),n(+(C,+(n(+(D,n(D))),n(+(D,+(D,n(+(D,+(n(C),n(D)))))))))))).
n(+(n(+(x,D)),n(+(x,+(n(+(C,+(D,n(D)))),n(+(D,+(D,n(+(D,+(n(C),n(D)))))))))))).
n(+(n(+(C,+(D,n(D)))),n(+(D,+(D,n(+(D,+(n(C),n(D))))))))).
n(+(n(+(C,+(D,n(D)))),n(+(D,+(D,n(+(D,+(n(D),n(n(+(D,+(n(C),n(D))))))))))))).
n(+(n(D),n(+(D,n(n(+(D,+(n(D),n(n(+(D,+(n(C),n(D))))))))))))).
n(+(n(D),n(+(D,+(D,+(n(D),n(n(+(D,+(n(C),n(D))))))))))).
n(+(n(D),n(+(D,+(n(D),n(n(+(D,n(n(+(D,+(n(C),n(D))))))))))))).
n(+(n(D),n(+(D,n(n(+(n(D),n(n(+(D,n(n(+(D,+(n(C),n(D))))))))))))))).
n(+(n(+(C,+(D,+(n(D),n(+(D,n(n(+(D,+(n(C),n(D))))))))))),n(+(D,D)))).
n(+(n(+(C,+(D,D))),n(+(D,n(n(+(D,+(n(D),+(n(+(C,+(D,D))),n(+(D,n(C)))))))))))).
n(+(D,n(+(D,+(n(D),+(n(+(C,+(D,D))),n(+(D,n(C))))))))).
n(+(n(+(C,+(D,D))),n(+(D,+(n(n(+(D,+(n(D),n(+(D,n(C))))))),n(+(C,+(D,D)))))))).
n(+(x,n(+(x,+(n(+(x,D)),n(+(x,+(D,n(+(x,+(n(D),n(+(D,n(C)))))))))))))).
n(+(n(+(x,n(+(y,D)))),n(+(x,+(y,n(+(y,+(n(D),+(n(+(y,D)),n(+(D,n(C)))))))))))).
n(+(n(+(x,D)),n(+(x,n(n(+(x,+(n(D),+(n(+(x,D)),n(+(D,n(C)))))))))))).
n(+(x,n(+(x,+(n(D),+(n(+(x,D)),n(+(D,n(C))))))))).
n(+(n(+(x,D)),n(+(x,+(n(n(+(x,+(n(D),n(+(D,n(C))))))),n(+(x,D))))))).
n(+(n(+(x,D)),n(+(x,n(n(+(n(n(+(x,+(n(D),n(+(D,n(C))))))),n(+(x,D))))))))).
n(+(n(+(x,+(y,n(+(x,+(n(D),+(n(+(x,D)),n(+(D,n(C)))))))))),n(+(y,n(+(x,D)))))).
n(+(D,n(+(n(D),+(n(+(x,+(y,n(+(D,n(C)))))),n(+(n(+(x,y)),n(+(D,n(C)))))))))).
n(+(D,n(+(D,+(n(D),n(+(D,+(n(+(D,n(C))),n(+(D,+(n(C),n(D)))))))))))).
n(+(D,n(+(D,+(n(D),n(+(C,+(n(+(C,+(n(D),n(D)))),n(+(D,n(C))))))))))).
n(+(D,n(+(D,+(n(D),n(+(C,+(n(+(D,n(C))),n(+(n(D),n(n(+(C,n(D)))))))))))))).
n(+(n(D),n(+(C,+(n(+(D,n(C))),n(+(D,+(n(n(D)),n(+(D,n(C))))))))))).
n(+(D,n(+(n(n(+(D,+(n(n(D)),n(+(D,n(C))))))),n(+(D,n(C))))))).
n(+(n(+(C,+(D,+(n(+(D,n(C))),n(+(D,+(n(n(D)),n(+(D,n(C)))))))))),n(+(D,D)))).
n(+(n(+(C,+(D,n(+(D,n(C)))))),n(+(D,+(D,n(+(n(n(D)),n(+(D,n(C)))))))))).
n(+(n(+(D,n(C))),n(+(D,+(D,+(n(n(+(n(n(D)),n(+(D,n(C)))))),n(+(D,n(C))))))))).
n(+(n(+(D,n(C))),n(+(n(D),n(+(n(n(D)),n(+(D,n(C))))))))).
n(+(n(+(D,n(C))),n(+(D,n(n(+(n(n(D)),n(+(D,n(C)))))))))).
n(+(n(D),n(+(D,+(n(D),n(+(n(D),+(n(+(D,n(C))),n(+(D,+(n(C),n(D)))))))))))).
n(+(n(+(x,C)),n(+(x,+(n(D),n(+(C,+(n(D),n(+(D,n(C))))))))))).
n(+(n(+(x,D)),n(+(x,+(C,+(n(D),n(+(D,+(n(D),n(n(+(D,n(C))))))))))))).
n(+(D,n(+(n(D),n(n(+(D,n(n(+(D,+(n(D),n(n(+(n(D),n(n(+(D,n(C)))))))))))))))))).
n(+(D,n(+(D,+(n(D),n(n(+(D,+(n(D),n(n(+(n(D),n(n(+(D,n(C)))))))))))))))).
n(+(n(D),n(+(D,+(n(D),n(+(n(D),n(+(n(D),n(n(+(D,n(C))))))))))))).
n(+(n(D),n(+(C,+(n(D),n(+(D,+(n(D),n(n(+(D,n(C)))))))))))).
n(+(n(+(n(D),n(n(+(D,n(C)))))),n(+(n(D),+(n(D),n(+(n(D),n(n(+(D,n(C))))))))))).
n(+(x,n(+(x,+(n(D),+(n(+(x,D)),n(+(D,+(n(D),n(n(+(D,n(C))))))))))))).
n(+(n(+(C,+(D,+(n(D),n(+(D,+(n(D),n(n(+(D,n(C))))))))))),n(+(D,D)))).
n(+(n(+(x,+(C,+(D,n(D))))),n(+(x,+(D,+(D,n(+(n(D),n(n(+(D,n(C)))))))))))).
n(+(D,n(+(D,+(n(D),n(+(D,+(n(+(D,n(C))),n(+(n(D),n(n(+(D,n(C)))))))))))))).
n(+(C,n(+(C,+(n(D),n(+(D,+(n(+(C,n(D))),n(+(n(D),n(n(+(D,n(C)))))))))))))).
n(+(n(D),n(+(C,+(n(+(D,n(D))),n(+(D,+(D,n(+(n(D),n(n(+(D,n(C)))))))))))))).
n(+(n(+(C,+(D,n(D)))),n(+(D,+(D,n(+(n(D),n(n(+(D,n(C))))))))))).
n(+(n(D),n(+(D,+(n(D),n(+(n(D),+(n(+(D,n(C))),n(+(n(D),n(n(+(D,n(C)))))))))))))).
n(+(n(D),n(+(D,+(D,+(n(D),n(n(+(n(D),n(n(+(D,n(C))))))))))))).
n(+(n(+(C,+(D,+(n(D),n(+(D,n(n(+(n(D),n(n(+(D,n(C))))))))))))),n(+(D,D)))).
n(+(n(D),n(+(D,n(+(C,C)))))).
n(+(n(+(x,+(y,D))),n(+(D,n(+(x,+(y,C))))))).
n(+(D,n(+(D,+(n(+(x,D)),n(+(x,+(D,n(+(D,n(+(x,C)))))))))))).
n(+(D,n(+(D,+(n(+(x,D)),n(+(n(n(+(x,D))),n(+(D,n(+(x,C))))))))))).
n(+(D,n(+(D,+(n(+(x,D)),n(+(D,+(n(n(+(x,C))),n(+(D,n(+(x,C)))))))))))).
n(+(n(+(x,n(+(y,D)))),n(+(x,+(D,n(+(D,+(n(+(y,C)),n(+(y,D)))))))))).
n(+(n(+(D,n(+(x,C)))),n(+(D,+(n(n(+(x,D))),n(+(D,n(+(x,C))))))))).
n(+(n(+(x,D)),n(+(D,n(n(+(D,+(n(+(x,C)),n(+(x,D)))))))))).
n(+(D,n(+(D,+(n(+(x,C)),n(+(x,D))))))).
n(+(n(+(x,D)),n(+(D,+(n(n(+(D,n(+(x,C))))),n(+(x,D))))))).
n(+(n(+(x,+(z,D))),n(+(x,+(z,+(n(+(y,D)),n(+(D,n(+(y,C)))))))))).
n(+(n(+(x,D)),n(+(x,+(n(+(y,D)),n(+(D,+(n(n(+(D,n(+(y,C))))),n(+(y,D)))))))))).
n(+(n(+(x,n(+(y,D)))),n(+(x,+(D,n(+(n(n(+(D,n(+(y,C))))),n(+(y,D))))))))).
n(+(n(+(x,D)),n(+(D,n(n(+(n(n(+(D,n(+(x,C))))),n(+(x,D))))))))).
n(+(n(+(C,+(D,+(D,n(+(D,+(n(+(x,C)),n(+(x,D))))))))),n(+(D,n(+(x,D)))))).
n(+(n(+(x,+(C,+(D,D)))),n(+(x,+(D,+(n(+(y,D)),n(+(D,n(+(y,C)))))))))).
n(+(n(+(x,y)),n(+(x,+(n(+(y,D)),n(+(y,+(n(+(z,D)),n(+(D,n(+(z,C)))))))))))).
n(+(x,n(+(n(n(+(x,+(n(+(y,D)),n(+(D,n(+(y,C)))))))),n(+(x,D)))))).
n(+(n(+(x,y)),n(+(y,+(n(+(x,D)),n(+(x,+(n(+(z,D)),n(+(D,n(+(z,C)))))))))))).
n(+(n(D),n(+(C,+(n(+(D,D)),n(+(D,+(n(+(x,D)),n(+(D,n(+(x,C)))))))))))).
n(+(n(+(C,+(D,D))),n(+(D,+(n(+(x,D)),n(+(D,n(+(x,C))))))))).
n(+(n(+(y,D)),n(+(y,+(n(+(x,D)),n(+(D,n(+(x,C))))))))).
n(+(D,n(+(n(n(+(D,+(n(n(+(D,n(+(x,C))))),n(+(x,D)))))),n(+(x,D)))))).
n(+(D,n(+(D,+(n(n(+(D,n(+(x,C))))),+(n(+(x,D)),n(+(x,D)))))))).
n(+(D,n(+(D,+(n(n(+(n(n(+(D,n(+(x,C))))),n(+(x,D))))),n(+(x,D))))))).
n(+(n(+(C,+(D,+(D,n(+(n(n(+(D,n(+(x,C))))),n(+(x,D)))))))),n(+(D,n(+(x,D)))))).
n(+(D,n(+(n(n(+(x,D))),n(+(D,n(+(x,C)))))))).
n(+(D,n(+(n(n(+(D,n(+(x,C))))),n(+(x,D)))))).
n(+(n(+(x,+(y,+(z,+(u,v))))),n(+(v,n(+(x,+(y,+(z,u)))))))).
n(+(n(+(x,+(y,+(z,u)))),n(+(z,n(+(x,+(y,u))))))).
n(+(n(+(x,+(y,+(z,+(u,v))))),n(+(u,+(v,n(+(x,+(y,z)))))))).
n(+(n(+(u,v)),n(+(v,+(n(+(x,+(y,+(z,u)))),n(+(u,n(+(x,+(y,z)))))))))).
n(+(u,n(+(u,+(n(+(x,+(y,z))),n(+(x,+(y,+(z,u))))))))).
n(+(n(+(x,v)),n(+(x,+(n(+(y,+(z,+(u,v)))),n(+(v,n(+(y,+(z,u)))))))))).
n(+(n(+(x,D)),n(+(C,n(+(x,D)))))).
n(+(n(+(x,+(y,+(z,u)))),n(+(y,+(z,n(+(x,u))))))).
n(+(n(+(x,+(y,z))),n(+(z,n(+(x,n(+(x,+(z,+(n(y),n(+(x,+(y,z))))))))))))).
n(+(n(+(x,D)),n(+(C,n(+(x,n(+(n(n(+(x,+(C,n(D))))),n(+(x,D)))))))))).
n(+(n(+(x,+(C,n(D)))),n(+(C,n(+(x,n(+(n(n(+(x,D))),n(+(x,+(C,n(D)))))))))))).
n(+(n(+(x,D)),n(+(C,n(+(x,n(+(x,+(C,+(n(D),n(+(x,D)))))))))))).
n(+(n(+(y,u)),n(+(u,+(n(+(x,+(y,z))),n(+(y,n(+(x,z))))))))).
n(+(n(+(x,n(+(y,+(z,u))))),n(+(x,+(z,n(+(z,+(n(+(y,u)),n(+(y,+(z,u))))))))))).
n(+(n(+(x,+(y,z))),n(+(y,n(n(+(y,+(n(+(x,z)),n(+(x,+(y,z))))))))))).
n(+(n(+(x,+(y,z))),n(+(y,+(n(n(+(y,n(+(x,z))))),n(+(x,+(y,z)))))))).
n(+(n(+(x,+(z,v))),n(+(x,+(v,+(n(+(y,+(z,u))),n(+(z,n(+(y,u)))))))))).
n(+(n(+(x,+(y,z))),n(+(y,n(n(+(n(n(+(y,n(+(x,z))))),n(+(x,+(y,z)))))))))).
n(+(n(+(y,+(u,n(+(y,+(n(+(x,z)),n(+(x,+(y,z))))))))),n(+(u,n(+(x,+(y,z))))))).
n(+(x,n(+(n(n(+(x,+(n(+(y,+(z,u))),n(+(z,n(+(y,u)))))))),n(+(x,z)))))).
n(+(n(+(y,+(u,v))),n(+(u,+(v,+(n(+(x,+(y,z))),n(+(y,n(+(x,z)))))))))).
n(+(n(D),n(+(C,+(n(+(y,D)),n(+(D,+(n(+(x,+(y,z))),n(+(y,n(+(x,z)))))))))))).
n(+(D,n(+(n(n(+(D,+(n(+(x,+(y,z))),n(+(y,n(+(x,z)))))))),n(+(y,D)))))).
n(+(n(+(x,+(y,u))),n(+(x,+(y,+(n(+(z,+(u,v))),n(+(u,n(+(z,v)))))))))).
n(+(y,n(+(y,+(n(+(x,z)),n(+(x,+(y,z)))))))).
n(+(n(+(x,z)),n(+(x,+(n(+(y,+(z,u))),n(+(z,n(+(y,u))))))))).
n(+(n(D),n(+(D,+(n(+(x,+(y,C))),n(+(C,n(+(x,y))))))))).
n(+(D,n(+(n(+(x,+(y,n(D)))),+(n(+(D,n(C))),n(+(n(D),n(+(x,y))))))))).
n(+(C,n(+(n(+(x,+(y,n(D)))),+(n(+(C,n(D))),n(+(n(D),n(+(x,y))))))))).
n(+(n(+(x,+(y,z))),n(+(y,+(z,+(n(+(x,n(+(u,v)))),n(+(x,+(u,v))))))))).
n(+(x,n(+(x,+(n(+(x,y)),+(n(+(y,n(+(z,u)))),n(+(y,+(z,u))))))))).
n(+(x,n(+(x,+(n(+(x,u)),+(n(+(y,+(z,u))),n(+(u,n(+(y,z)))))))))).
n(+(y,n(+(y,+(n(+(x,y)),+(n(+(x,n(+(z,u)))),n(+(x,+(z,u))))))))).
n(+(x,n(+(n(n(+(x,+(n(+(y,n(+(z,u)))),n(+(y,+(z,u))))))),n(+(x,y)))))).
n(+(n(+(x,+(y,+(z,+(u,v))))),n(+(z,+(u,+(v,n(+(x,y)))))))).
n(+(n(+(z,+(u,v))),n(+(v,+(n(+(x,+(y,+(z,u)))),n(+(z,+(u,n(+(x,y)))))))))).
n(+(z,+(u,n(+(z,+(u,+(n(+(x,y)),n(+(x,+(y,+(z,u))))))))))).
n(+(n(+(x,+(u,v))),n(+(x,+(n(+(y,+(z,+(u,v)))),n(+(u,+(v,n(+(y,z)))))))))).
n(+(n(+(x,+(x,+(n(+(x,+(y,z))),n(+(y,z)))))),n(+(x,+(y,z))))).
n(+(n(D),n(+(C,+(n(+(x,+(y,D))),n(+(D,+(D,+(n(+(x,y)),n(+(x,+(y,D)))))))))))).
n(+(n(+(x,+(y,n(+(x,+(n(+(x,+(z,u))),n(+(z,u)))))))),n(+(y,n(+(x,+(z,u))))))).
n(+(n(+(x,n(+(y,+(z,u))))),n(+(x,+(y,n(+(y,+(n(+(y,+(z,u))),n(+(z,u)))))))))).
n(+(n(+(x,n(n(+(x,+(n(+(x,+(y,z))),n(+(y,z)))))))),n(+(x,+(y,z))))).
n(+(x,n(+(x,+(y,+(z,n(+(x,n(+(y,z)))))))))).
n(+(n(+(x,n(n(+(x,+(y,+(z,n(+(x,n(+(y,z))))))))))),n(+(x,n(+(y,z)))))).
n(+(n(+(x,n(n(+(n(n(+(x,+(y,z)))),n(+(x,n(+(y,z))))))))),n(+(x,n(+(y,z)))))).
n(+(n(D),n(+(C,+(n(+(x,D)),n(+(D,+(n(+(x,n(+(y,z)))),n(+(x,+(y,z))))))))))).
n(+(D,n(+(n(n(+(D,+(n(+(x,n(+(y,z)))),n(+(x,+(y,z))))))),n(+(x,D)))))).
n(+(D,n(+(n(C),+(n(D),n(+(n(C),+(n(D),n(+(C,+(D,n(C)))))))))))).
n(+(C,+(C,n(+(n(D),+(n(D),n(+(n(D),+(n(+(C,C)),n(+(C,+(C,n(D))))))))))))).
n(+(D,n(+(n(x),+(n(+(x,D)),n(+(n(x),+(n(D),n(+(C,+(D,n(x)))))))))))).
n(+(n(+(x,n(n(+(n(n(+(x,n(+(y,z))))),n(+(x,+(y,z)))))))),n(+(x,+(y,z))))).
n(+(n(+(x,D)),n(+(x,+(D,+(n(+(y,+(z,C))),n(+(C,n(+(y,z)))))))))).
n(+(n(+(x,D)),n(+(C,+(D,+(n(+(x,n(+(y,z)))),n(+(x,+(y,z))))))))).
n(+(n(+(x,+(y,z))),n(+(z,+(z,+(n(+(x,y)),n(+(x,+(y,z))))))))).
n(+(n(D),n(+(C,+(n(D),n(+(D,+(n(D),n(+(n(D),n(+(n(D),n(n(+(D,n(C)))))))))))))))).
n(+(C,n(+(n(D),n(n(+(C,+(n(+(x,+(y,D))),n(+(D,n(+(x,y)))))))))))).
n(+(C,n(+(n(D),n(n(+(C,+(n(D),n(+(D,n(C))))))))))).
n(+(C,n(+(n(D),n(n(+(C,+(n(+(x,D)),n(+(C,+(D,n(x)))))))))))).
n(+(n(D),n(+(C,+(n(D),n(+(D,+(n(D),n(n(+(D,+(n(D),n(+(C,n(D))))))))))))))).
n(+(n(+(x,z)),n(+(x,+(n(n(+(x,+(n(+(y,z)),n(+(z,n(y))))))),n(+(x,z))))))).
n(+(D,n(+(n(D),n(n(+(D,+(n(D),n(n(+(D,+(D,+(n(C),n(D)))))))))))))).
n(+(n(D),n(+(D,n(n(+(D,+(n(D),n(n(+(D,+(n(D),+(n(D),n(n(+(D,n(C))))))))))))))))).
n(+(n(D),n(+(D,n(n(+(D,+(n(D),n(n(+(D,+(n(D),+(n(D),n(+(C,n(D)))))))))))))))).
n(+(n(D),n(+(D,n(n(+(D,+(n(D),n(n(+(C,+(D,+(n(C),n(D)))))))))))))).
n(+(n(D),n(+(C,n(n(+(C,+(n(D),n(n(+(C,+(n(D),+(n(D),n(n(+(C,n(D))))))))))))))))).
n(+(C,n(+(n(D),n(n(+(C,+(n(D),n(n(+(C,+(C,+(n(D),n(D)))))))))))))).
n(+(n(D),n(+(D,n(n(+(D,+(n(D),n(n(+(D,+(n(D),n(n(+(D,+(n(C),n(D))))))))))))))))).
n(+(n(D),n(+(D,+(n(D),n(n(+(D,+(n(D),n(n(+(D,n(n(+(D,+(n(C),n(D))))))))))))))))).
n(+(D,n(+(D,+(n(D),n(+(D,n(+(D,n(n(+(D,+(n(C),n(D)))))))))))))).
n(+(D,n(+(D,+(n(D),n(+(n(n(D)),n(+(D,n(n(+(D,+(n(C),n(D)))))))))))))).
n(+(n(+(C,+(D,+(D,n(+(D,+(n(D),n(n(+(D,+(n(C),n(D)))))))))))),n(+(D,n(D))))).
n(+(n(D),n(+(C,+(n(+(D,D)),n(+(D,+(n(D),n(+(D,n(n(+(D,+(n(C),n(D))))))))))))))).
n(+(n(+(C,+(D,D))),n(+(D,+(n(D),n(+(D,n(n(+(D,+(n(C),n(D)))))))))))).
n(+(D,n(+(n(D),n(n(+(D,+(n(D),n(n(+(D,n(n(+(D,+(n(C),n(D)))))))))))))))).
n(+(D,n(+(D,+(n(D),+(n(D),n(n(+(D,n(n(+(D,+(n(C),n(D)))))))))))))).
n(+(n(D),n(+(C,n(n(+(C,+(n(D),n(n(+(C,+(n(D),n(n(+(C,+(n(D),n(D))))))))))))))))).
n(+(n(D),n(+(C,+(n(D),n(n(+(C,+(n(D),n(n(+(C,n(n(+(C,+(n(D),n(D))))))))))))))))).
n(+(C,n(+(C,+(n(D),n(+(D,n(+(C,n(n(+(C,+(n(D),n(D)))))))))))))).
n(+(C,n(+(C,+(n(D),n(+(n(n(D)),n(+(C,n(n(+(C,+(n(D),n(D)))))))))))))).
n(+(n(+(C,+(C,+(D,n(+(C,+(n(D),n(n(+(C,+(n(D),n(D)))))))))))),n(+(D,n(D))))).
n(+(n(+(x,D)),n(+(x,+(D,+(n(D),n(+(C,n(n(+(C,+(n(D),n(D))))))))))))).
n(+(n(D),n(+(C,+(n(D),n(+(D,+(n(D),n(+(C,n(n(+(C,+(n(D),n(D))))))))))))))).
n(+(D,n(+(n(D),n(n(+(D,+(n(D),n(+(C,n(n(+(C,+(n(D),n(D))))))))))))))).
n(+(n(+(x,D)),n(+(x,+(n(D),n(+(D,+(n(D),n(+(C,n(n(+(C,+(n(D),n(D))))))))))))))).
n(+(n(D),n(+(D,+(n(D),n(+(C,n(n(+(C,+(n(D),n(D)))))))))))).
n(+(n(D),n(+(D,+(n(D),n(+(C,+(n(D),n(n(+(C,n(n(+(C,+(n(D),n(D)))))))))))))))).
n(+(C,n(+(n(D),n(n(+(C,+(n(D),n(n(+(C,n(n(+(C,+(n(D),n(D)))))))))))))))).
n(+(C,n(+(C,+(n(D),+(n(D),n(n(+(C,n(n(+(C,+(n(D),n(D)))))))))))))).
n(+(n(D),n(+(C,n(n(+(C,+(n(D),+(n(D),n(n(+(C,n(n(+(C,+(n(D),n(D))))))))))))))))).
n(+(n(D),n(+(D,n(n(+(D,+(n(D),+(n(D),n(n(+(D,n(n(+(D,+(n(C),n(D))))))))))))))))).
n(+(D,n(+(n(D),n(n(+(D,+(D,+(n(D),n(n(+(n(D),n(n(+(D,n(C)))))))))))))))).
n(+(D,n(+(n(D),n(n(+(D,+(D,+(n(D),n(n(+(D,+(n(C),n(D)))))))))))))).
n(+(n(D),n(+(D,n(n(+(D,+(n(D),+(n(D),n(n(+(D,+(n(D),n(n(+(D,n(C))))))))))))))))).
n(+(n(D),n(+(D,n(n(+(D,+(n(D),+(n(D),n(n(+(D,+(n(D),n(+(C,n(D)))))))))))))))).
n(+(n(D),n(+(D,n(n(+(D,+(n(D),+(n(D),n(n(+(C,+(D,n(C)))))))))))))).
n(+(n(D),n(+(C,n(n(+(C,+(n(D),+(n(D),n(n(+(C,+(n(D),n(n(+(C,n(D))))))))))))))))).
n(+(C,n(+(n(D),n(n(+(C,+(C,+(n(D),n(n(+(C,+(n(D),n(D)))))))))))))).
n(+(C,n(+(n(D),n(n(+(C,+(C,+(n(D),n(n(+(n(D),n(n(+(C,n(D)))))))))))))))).
n(+(n(D),n(+(D,n(n(+(D,+(n(D),n(n(+(n(D),n(n(+(C,+(D,n(C)))))))))))))))).
n(+(y,n(+(n(n(+(y,+(n(n(+(x,y))),n(+(y,n(x))))))),n(+(y,n(x))))))).
n(+(n(+(y,z)),n(+(z,+(n(+(x,y)),n(+(y,n(n(+(y,+(n(x),n(+(x,y))))))))))))).
n(+(y,n(+(y,+(n(n(+(y,+(n(x),n(+(x,y)))))),n(+(x,y))))))).
n(+(n(+(x,z)),n(+(x,+(n(+(y,z)),n(+(z,n(n(+(z,+(n(y),n(+(y,z))))))))))))).
n(+(n(+(x,D)),n(+(x,+(n(n(+(x,+(n(+(y,D)),n(+(D,n(+(y,C)))))))),n(+(x,D))))))).
n(+(n(+(x,D)),n(+(x,+(n(n(+(x,+(n(D),n(+(C,+(D,n(C)))))))),n(+(x,D))))))).
n(+(n(+(y,n(x))),n(+(y,+(n(n(+(x,y))),n(+(y,n(x)))))))).
n(+(D,n(+(D,+(n(n(+(D,+(n(+(x,C)),n(+(x,D)))))),n(+(x,D))))))).
n(+(n(+(D,n(C))),n(+(D,+(n(n(+(D,+(n(n(D)),n(+(D,n(C))))))),n(+(D,n(C)))))))).
n(+(n(D),n(+(D,+(n(D),n(n(+(D,+(D,+(n(C),n(D))))))))))).
n(+(D,n(+(D,+(n(D),n(n(+(D,+(n(D),+(n(D),n(n(+(D,n(C)))))))))))))).
n(+(D,n(+(D,+(n(D),n(n(+(D,+(n(D),+(n(D),n(+(C,n(D))))))))))))).
n(+(D,n(+(D,+(n(D),n(n(+(C,+(D,+(n(C),n(D))))))))))).
n(+(C,+(C,n(+(C,+(C,+(n(D),n(n(+(C,+(C,+(n(D),n(D))))))))))))).
n(+(n(+(C,n(D))),n(+(C,+(n(n(+(C,+(n(n(D)),n(+(C,n(D))))))),n(+(C,n(D)))))))).
n(+(C,n(+(C,+(n(D),n(n(+(C,+(n(D),+(n(D),n(n(+(C,n(D)))))))))))))).
n(+(n(D),n(+(C,+(n(D),n(n(+(C,+(C,+(n(D),n(D))))))))))).
n(+(C,n(+(C,+(n(D),n(n(+(C,+(n(D),+(n(+(x,D)),n(+(D,n(x))))))))))))).
n(+(n(+(x,y)),n(+(y,+(n(n(+(y,+(y,+(n(x),n(+(x,y))))))),n(+(x,y))))))).
n(+(x,n(+(x,+(n(n(+(x,y))),+(n(+(x,n(y))),n(+(x,n(y))))))))).
n(+(n(D),n(+(C,+(n(D),n(n(+(C,n(n(+(C,+(n(D),n(n(+(C,+(n(D),n(D))))))))))))))))).
n(+(n(D),n(+(D,+(n(D),n(n(+(D,n(n(+(D,+(n(D),n(n(+(D,+(n(C),n(D))))))))))))))))).
n(+(D,n(+(D,+(n(D),n(n(+(n(D),n(n(+(D,+(D,+(n(C),n(D)))))))))))))).
n(+(n(D),n(+(D,+(n(D),n(n(+(D,n(n(+(D,+(n(D),+(n(D),n(n(+(D,n(C))))))))))))))))).
n(+(n(D),n(+(D,+(n(D),n(n(+(D,n(n(+(D,+(n(D),+(n(D),n(+(C,n(D)))))))))))))))).
n(+(n(D),n(+(D,+(n(D),n(n(+(D,n(n(+(C,+(D,+(n(C),n(D)))))))))))))).
n(+(n(D),n(+(C,+(n(D),n(n(+(C,n(n(+(C,+(n(D),+(n(D),n(n(+(C,n(D))))))))))))))))).
n(+(C,n(+(C,+(n(D),n(n(+(n(D),n(n(+(C,+(C,+(n(D),n(D)))))))))))))).
n(+(n(+(x,D)),n(+(x,+(n(D),n(+(D,+(n(D),n(n(+(D,+(D,+(n(C),n(D)))))))))))))).
n(+(n(+(x,n(D))),n(+(x,+(D,n(+(D,+(n(D),n(n(+(C,+(D,+(n(C),n(D)))))))))))))).
n(+(n(+(x,C)),n(+(x,+(n(D),n(+(C,+(n(D),n(n(+(C,+(C,+(n(D),n(D)))))))))))))).
n(+(n(D),n(+(D,+(n(D),n(+(C,n(n(+(C,+(n(D),n(n(+(C,+(n(D),n(D)))))))))))))))).
n(+(n(+(C,+(D,n(D)))),n(+(D,+(D,n(+(n(D),n(n(+(D,+(D,+(n(C),n(D))))))))))))).
n(+(n(+(C,+(D,D))),n(+(D,+(n(D),n(+(D,n(n(+(C,+(D,+(n(C),n(D))))))))))))).
n(+(n(D),n(+(D,+(n(D),n(+(C,+(C,n(n(+(C,+(C,+(n(D),n(D)))))))))))))).
n(+(n(D),n(+(D,+(n(D),n(+(C,n(n(+(C,+(n(D),+(n(D),n(n(+(C,n(D)))))))))))))))).
n(+(n(+(C,+(D,n(D)))),n(+(C,+(D,n(+(n(D),n(n(+(C,+(C,+(n(D),n(D))))))))))))).
n(+(n(D),n(+(D,+(n(D),n(+(C,n(n(+(C,+(n(D),+(n(+(x,D)),n(+(D,n(x))))))))))))))).
n(+(n(+(y,D)),n(+(y,+(n(+(x,D)),n(+(D,n(n(+(D,+(n(+(x,C)),n(+(x,D))))))))))))).
n(+(n(+(x,n(D))),n(+(x,+(D,n(+(n(D),n(n(+(D,+(D,+(n(C),n(D))))))))))))).
n(+(n(+(x,D)),n(+(x,+(n(D),n(+(D,n(n(+(D,+(n(D),+(n(D),n(+(C,n(D))))))))))))))).
n(+(n(+(x,D)),n(+(x,+(n(D),n(+(D,n(n(+(C,+(D,+(n(C),n(D))))))))))))).
n(+(n(+(x,+(C,C))),n(+(x,+(n(D),n(+(C,+(C,n(n(+(C,+(C,+(n(D),n(D)))))))))))))).
n(+(n(+(x,n(D))),n(+(x,+(C,n(+(n(D),n(n(+(C,+(C,+(n(D),n(D))))))))))))).
n(+(n(+(x,n(+(z,n(y))))),n(+(x,+(z,n(+(n(n(+(y,z))),n(+(z,n(y)))))))))).
n(+(n(+(x,D)),n(+(x,n(n(+(n(n(+(x,+(n(D),n(+(C,+(D,n(C)))))))),n(+(x,D))))))))).
n(+(n(+(y,n(x))),n(+(y,n(n(+(n(n(+(x,y))),n(+(y,n(x)))))))))).
n(+(D,n(+(n(n(+(D,n(n(+(D,+(n(+(x,C)),n(+(x,D))))))))),n(+(x,D)))))).
n(+(n(D),n(+(D,n(n(+(n(D),n(n(+(D,+(D,+(n(C),n(D))))))))))))).
n(+(D,n(+(n(D),n(n(+(D,n(n(+(D,+(n(D),+(n(D),n(n(+(D,n(C)))))))))))))))).
n(+(D,n(+(n(D),n(n(+(D,n(n(+(D,+(n(D),+(n(D),n(+(C,n(D))))))))))))))).
n(+(D,n(+(n(D),n(n(+(D,n(n(+(C,+(D,+(n(C),n(D))))))))))))).
n(+(C,+(C,n(+(n(D),n(n(+(C,+(C,n(n(+(C,+(C,+(n(D),n(D))))))))))))))).
n(+(C,n(+(n(D),n(n(+(C,n(n(+(C,+(n(D),+(n(D),n(n(+(C,n(D)))))))))))))))).
n(+(n(D),n(+(C,n(n(+(n(D),n(n(+(C,+(C,+(n(D),n(D))))))))))))).
n(+(C,n(+(n(D),n(n(+(C,n(n(+(C,+(n(D),+(n(+(x,D)),n(+(D,n(x))))))))))))))).
n(+(n(+(x,y)),n(+(y,n(n(+(n(n(+(y,+(y,+(n(x),n(+(x,y))))))),n(+(x,y))))))))).
n(+(n(+(x,z)),n(+(x,n(n(+(n(n(+(x,+(n(+(y,z)),n(+(z,n(y))))))),n(+(x,z))))))))).
n(+(y,n(+(n(n(+(y,n(n(+(y,+(n(x),n(+(x,y))))))))),n(+(x,y)))))).
n(+(n(D),n(+(D,+(n(D),n(n(+(D,+(n(D),n(+(C,n(n(+(C,+(n(D),n(D)))))))))))))))).
n(+(n(D),n(+(D,+(n(D),n(n(+(D,+(n(D),n(+(C,+(C,n(D))))))))))))).
n(+(n(D),n(+(D,+(n(D),n(n(+(D,+(n(D),n(+(C,+(n(D),n(n(+(C,n(D)))))))))))))))).
n(+(n(D),n(+(D,+(n(D),n(n(+(D,+(n(D),n(+(C,+(n(+(x,D)),n(+(D,n(x))))))))))))))).
n(+(n(+(y,D)),n(+(D,+(n(n(+(D,+(n(+(x,y)),n(+(y,n(x))))))),n(+(y,D))))))).
n(+(n(D),n(+(D,+(n(D),n(+(C,+(n(D),n(+(D,+(n(+(x,C)),n(+(C,n(x)))))))))))))).
n(+(n(D),n(+(D,+(n(+(C,C)),n(+(C,+(n(D),n(+(C,n(n(+(C,+(n(D),n(D))))))))))))))).
n(+(n(D),n(+(D,+(n(D),n(+(C,+(n(D),n(+(D,n(n(+(D,+(n(C),n(D))))))))))))))).
n(+(n(D),n(+(D,+(n(D),n(+(C,+(n(D),n(+(n(C),n(+(n(D),n(n(+(C,n(D)))))))))))))))).
n(+(n(D),n(+(D,+(n(+(x,C)),n(+(C,+(n(+(x,n(+(y,z)))),n(+(x,+(y,z))))))))))).
n(+(n(D),n(+(D,+(n(+(y,C)),n(+(C,+(n(+(x,+(y,z))),n(+(y,n(+(x,z)))))))))))).
n(+(n(D),n(+(D,+(n(D),n(+(C,+(n(+(x,D)),n(+(D,n(+(x,C)))))))))))).
n(+(n(D),n(+(D,+(n(+(C,n(D))),n(+(C,+(D,n(+(n(D),n(n(+(D,n(C)))))))))))))).
n(+(n(D),n(+(D,+(n(+(C,n(D))),n(+(C,+(D,n(+(D,+(n(C),n(D)))))))))))).
n(+(n(D),n(+(D,+(n(D),n(+(C,+(n(D),n(+(D,n(n(+(n(D),n(n(+(D,n(C))))))))))))))))).
n(+(n(D),n(+(D,+(n(D),n(+(C,+(n(D),n(+(D,+(n(D),n(n(+(D,n(C))))))))))))))).
n(+(n(D),n(+(D,+(n(+(x,D)),n(+(C,n(+(x,D))))))))).
n(+(n(D),n(+(D,+(n(D),n(+(C,+(n(D),n(+(D,+(n(D),n(+(C,n(D)))))))))))))).
n(+(n(D),n(+(D,+(n(D),n(+(C,+(n(+(x,+(y,D))),n(+(C,+(D,n(+(x,y))))))))))))).
n(+(n(D),n(+(D,+(n(D),n(+(C,+(n(D),n(+(C,+(D,n(C)))))))))))).
n(+(n(D),n(+(D,+(n(+(x,D)),n(+(C,+(n(+(x,D)),n(+(x,+(D,n(C)))))))))))).
n(+(n(D),n(+(D,+(n(+(C,+(C,C))),n(+(C,+(n(D),n(+(C,+(C,n(D)))))))))))).
n(+(n(D),n(+(D,+(n(D),n(+(C,+(n(D),n(+(n(C),n(+(C,+(n(D),n(D)))))))))))))).
n(+(n(D),n(+(D,+(n(+(C,C)),n(+(C,+(n(D),n(+(C,+(n(D),n(n(+(C,n(D))))))))))))))).
n(+(n(D),n(+(D,+(n(+(C,n(D))),n(+(C,+(C,n(+(C,+(n(D),n(D)))))))))))).
n(+(n(D),n(+(D,+(n(+(C,n(D))),n(+(C,+(C,n(+(n(D),n(n(+(C,n(D)))))))))))))).
n(+(n(D),n(+(D,+(n(+(x,+(C,n(+(x,+(n(y),n(+(x,y)))))))),n(+(C,n(+(x,y))))))))).
n(+(n(D),n(+(D,+(n(+(z,C)),n(+(C,+(n(+(x,+(y,z))),n(+(z,n(+(x,y)))))))))))).
n(+(n(D),n(+(D,+(n(D),n(+(C,+(n(D),n(+(D,n(C))))))))))).
n(+(n(D),n(+(D,+(n(D),n(+(C,+(n(+(x,D)),n(+(C,+(D,n(x)))))))))))).
n(+(n(D),n(+(D,+(n(+(x,+(C,C))),n(+(C,+(n(+(x,D)),n(+(x,+(C,n(D)))))))))))).
n(+(n(D),n(+(D,+(n(+(C,C)),n(+(C,+(n(D),n(+(C,n(D))))))))))).
n(+(n(D),n(+(D,+(n(+(y,C)),n(+(C,+(n(+(x,y)),n(+(y,n(x))))))))))).
n(+(n(D),n(+(D,+(n(D),n(+(C,+(n(D),n(n(+(C,+(n(D),n(+(D,n(C))))))))))))))).
n(+(n(D),n(+(D,+(n(+(x,+(y,C))),n(+(C,+(C,+(n(+(x,y)),n(+(x,+(y,C)))))))))))).
n(+(n(D),n(+(D,+(n(+(C,n(D))),n(+(C,+(n(n(D)),n(+(C,n(D))))))))))).
n(+(n(D),n(+(D,+(n(D),n(+(C,+(C,+(n(D),n(D)))))))))).
n(+(n(D),n(+(D,+(n(+(x,C)),n(+(C,+(C,+(n(x),n(+(x,C))))))))))).
n(+(n(D),n(+(D,+(n(+(C,n(x))),n(+(C,+(n(n(+(x,C))),n(+(C,n(x))))))))))).
n(+(n(D),n(+(D,+(n(+(x,C)),n(+(C,+(n(n(+(C,n(x)))),n(+(x,C)))))))))).
n(+(n(+(x,n(D))),n(+(x,+(D,n(+(D,+(n(D),+(n(+(y,C)),n(+(C,n(y)))))))))))).
n(+(D,n(+(D,+(n(D),+(n(+(x,C)),n(+(C,n(x))))))))).
n(+(D,n(+(D,+(n(D),n(+(C,+(D,n(+(D,+(n(+(x,C)),n(+(C,n(x)))))))))))))).
n(+(D,n(+(D,+(n(D),n(+(n(n(D)),n(+(D,+(n(+(x,C)),n(+(C,n(x))))))))))))).
n(+(n(+(x,D)),n(+(x,+(n(D),n(+(D,+(n(+(y,C)),n(+(C,n(y))))))))))).
n(+(n(D),n(+(D,n(n(+(D,+(n(D),+(n(+(x,C)),n(+(C,n(x)))))))))))).
n(+(n(D),n(+(D,+(n(D),n(n(+(D,+(n(+(x,C)),n(+(C,n(x)))))))))))).
n(+(n(+(x,n(D))),n(+(x,+(D,n(+(n(D),n(n(+(D,+(n(+(y,C)),n(+(C,n(y)))))))))))))).
n(+(n(D),n(+(D,n(n(+(n(D),n(n(+(D,+(n(+(x,C)),n(+(C,n(x)))))))))))))).
n(+(D,n(+(n(D),n(n(+(D,n(n(+(D,+(n(D),+(n(+(x,C)),n(+(C,n(x))))))))))))))).
n(+(D,n(+(D,+(n(D),n(n(+(D,+(n(D),+(n(+(x,C)),n(+(C,n(x))))))))))))).
n(+(n(+(C,+(D,+(D,n(+(D,+(n(D),+(n(+(x,C)),n(+(C,n(x))))))))))),n(+(D,n(D))))).
n(+(n(+(C,+(D,D))),n(+(D,+(n(D),n(+(D,+(n(+(x,C)),n(+(C,n(x))))))))))).
n(+(D,n(+(n(D),n(n(+(D,+(n(D),n(n(+(D,+(n(+(x,C)),n(+(C,n(x))))))))))))))).
n(+(D,n(+(D,+(n(D),+(n(D),n(n(+(D,+(n(+(x,C)),n(+(C,n(x))))))))))))).
n(+(D,n(+(D,+(n(D),n(n(+(n(D),n(n(+(D,+(n(+(x,C)),n(+(C,n(x))))))))))))))).
n(+(D,n(+(n(D),n(n(+(D,+(n(+(x,C)),n(+(C,n(x))))))))))).
n(+(n(+(D,n(C))),n(+(D,+(n(+(x,n(D))),+(n(+(D,n(C))),n(+(n(x),n(D))))))))).
n(+(n(+(D,n(C))),n(+(D,n(n(+(n(+(x,n(D))),+(n(+(D,n(C))),n(+(n(x),n(D))))))))))).
n(+(n(+(C,n(D))),n(+(C,+(n(+(x,n(D))),+(n(+(C,n(D))),n(+(n(x),n(D))))))))).
n(+(n(+(C,n(D))),n(+(C,n(n(+(n(+(x,n(D))),+(n(+(C,n(D))),n(+(n(x),n(D))))))))))).
n(+(D,n(+(D,+(n(+(D,n(n(C)))),n(+(n(n(D)),n(+(D,n(C)))))))))).
n(+(C,n(+(C,+(n(+(C,n(n(D)))),n(+(n(n(D)),n(+(C,n(D)))))))))).
n(+(x,n(+(x,+(n(+(x,n(n(y)))),n(+(n(n(+(x,y))),n(+(x,n(y)))))))))).
n(+(D,n(+(D,+(n(D),n(+(D,n(+(D,+(n(+(x,C)),n(+(C,n(x))))))))))))).
n(+(D,n(+(D,+(n(D),n(+(D,n(+(D,+(n(D),n(n(+(D,n(C)))))))))))))).
n(+(D,n(+(D,+(n(D),n(+(D,n(+(D,+(n(D),n(+(C,n(D))))))))))))).
n(+(C,n(+(C,+(n(D),n(+(D,n(+(C,+(n(D),n(n(+(C,n(D)))))))))))))).
n(+(C,n(+(C,+(n(D),n(+(D,n(+(C,+(n(+(x,D)),n(+(D,n(x))))))))))))).
n(+(D,n(+(D,+(n(+(D,n(n(C)))),n(+(D,n(+(D,n(C)))))))))).
n(+(C,n(+(C,+(n(+(C,n(n(D)))),n(+(D,n(+(C,n(D)))))))))).
n(+(x,n(+(x,+(n(+(x,n(n(y)))),n(+(x,+(y,n(+(x,n(y))))))))))).
n(+(y,n(+(y,+(n(+(x,y)),+(n(+(x,D)),n(+(x,+(n(D),n(+(D,n(C)))))))))))).
n(+(y,n(+(y,+(n(+(x,y)),+(n(+(x,C)),n(+(x,+(n(D),n(+(C,n(D)))))))))))).
n(+(y,n(+(n(x),+(n(+(x,y)),n(+(n(x),+(n(y),n(+(y,n(x))))))))))).
n(+(n(+(y,+(z,+(u,n(+(y,+(n(x),n(+(x,y))))))))),n(+(z,+(u,n(+(x,y))))))).
n(+(n(+(x,y)),n(+(y,+(y,+(n(+(x,y)),+(n(+(x,z)),n(+(x,n(z)))))))))).
n(+(n(D),n(+(D,+(n(+(x,+(C,C))),n(+(C,+(C,n(x))))))))).
n(+(n(+(x,+(y,D))),n(+(D,+(n(+(x,+(y,+(z,C)))),n(+(x,+(y,+(C,n(z)))))))))).
n(+(n(+(x,D)),n(+(D,+(n(+(x,+(y,+(z,C)))),n(+(x,+(C,n(+(y,z)))))))))).
n(+(n(+(x,D)),n(+(D,+(n(+(x,D)),n(+(x,+(C,+(n(D),n(+(C,+(D,n(C))))))))))))).
n(+(n(+(x,D)),n(+(D,+(n(+(x,D)),n(+(x,+(C,+(n(D),n(+(D,n(C)))))))))))).
n(+(n(+(x,D)),n(+(D,+(n(+(x,+(C,C))),n(+(x,+(C,+(n(D),n(+(C,n(D)))))))))))).
n(+(n(+(x,D)),n(+(D,+(n(+(x,D)),n(+(x,+(x,+(C,+(C,+(n(D),n(+(x,D))))))))))))).
n(+(D,n(+(D,+(n(+(x,D)),+(n(+(x,+(y,C))),n(+(x,+(C,n(y)))))))))).
n(+(D,n(+(n(n(+(D,+(n(+(x,+(y,C))),n(+(x,+(C,n(y)))))))),n(+(x,D)))))).
n(+(n(+(x,D)),n(+(C,+(n(+(x,+(y,D))),n(+(x,+(D,n(y))))))))).
n(+(n(D),n(+(D,+(n(+(x,C)),n(+(C,n(n(+(C,+(n(x),n(+(x,C))))))))))))).
n(+(n(D),n(+(D,+(n(+(x,C)),n(+(C,n(n(+(n(n(+(C,n(x)))),n(+(x,C)))))))))))).
n(+(y,n(+(n(x),+(n(+(x,y)),n(+(n(n(+(n(x),n(y)))),n(+(y,n(x)))))))))).
n(+(n(+(x,+(y,+(z,+(u,v))))),n(+(y,+(z,+(u,+(v,n(x)))))))).
n(+(n(+(x,+(y,z))),n(+(z,n(+(y,n(+(y,+(z,+(n(x),n(+(x,+(y,z))))))))))))).
n(+(n(+(x,+(y,z))),n(+(y,n(+(z,n(+(y,+(z,+(n(x),n(+(x,+(y,z))))))))))))).
n(+(D,n(+(D,+(n(n(D)),+(n(+(D,n(C))),n(+(D,n(C))))))))).
n(+(n(+(D,n(C))),n(+(D,n(n(+(D,+(n(n(D)),+(n(+(D,n(C))),n(+(D,n(C)))))))))))).
n(+(n(+(C,+(D,D))),n(+(D,+(n(+(D,n(C))),n(+(D,+(n(n(D)),n(+(D,n(C))))))))))).
n(+(C,n(+(C,+(n(n(D)),+(n(+(C,n(D))),n(+(C,n(D))))))))).
n(+(n(+(C,n(D))),n(+(C,n(n(+(C,+(n(n(D)),+(n(+(C,n(D))),n(+(C,n(D)))))))))))).
n(+(D,n(+(n(D),n(n(+(D,+(n(+(C,n(D))),n(+(C,+(n(n(D)),n(+(C,n(D)))))))))))))).
n(+(n(D),n(+(C,+(C,+(n(D),n(n(+(n(D),n(n(+(C,+(n(D),n(n(+(C,n(D))))))))))))))))).
n(+(n(D),n(+(D,+(n(D),n(+(C,+(C,+(n(D),n(n(+(n(D),n(n(+(C,n(D)))))))))))))))).
n(+(n(D),n(+(C,+(n(D),n(n(+(C,+(C,+(n(D),n(n(+(n(D),n(n(+(C,n(D))))))))))))))))).
n(+(n(D),n(+(C,+(C,+(n(D),n(n(+(C,+(n(D),n(n(+(n(D),n(n(+(C,n(D))))))))))))))))).
n(+(n(+(x,y)),n(+(y,+(y,+(n(n(+(n(n(+(y,n(x)))),n(+(x,y))))),n(+(x,y)))))))).
n(+(n(D),n(+(C,+(n(D),n(+(D,+(D,+(n(D),n(n(+(n(D),n(n(+(D,n(C)))))))))))))))).
n(+(n(D),n(+(D,+(n(D),n(n(+(D,+(D,+(n(D),n(n(+(n(D),n(n(+(D,n(C))))))))))))))))).
n(+(n(D),n(+(D,+(D,+(n(D),n(n(+(D,+(n(D),n(n(+(n(D),n(n(+(D,n(C))))))))))))))))).
n(+(D,n(+(D,+(n(D),n(n(+(n(D),n(n(+(D,+(n(D),n(n(+(C,+(D,n(C))))))))))))))))).
n(+(D,n(+(n(D),n(n(+(D,+(D,+(n(D),n(n(+(n(D),n(n(+(C,+(D,n(C))))))))))))))))).
n(+(n(D),n(+(C,+(C,+(n(D),n(n(+(n(D),n(n(+(C,n(n(+(C,+(n(D),n(D))))))))))))))))).
n(+(n(D),n(+(D,+(D,+(n(D),n(n(+(n(D),n(n(+(D,n(n(+(D,+(n(C),n(D))))))))))))))))).
n(+(n(D),n(+(D,+(D,+(n(D),n(n(+(n(D),n(n(+(D,+(n(D),n(n(+(D,n(C))))))))))))))))).
n(+(n(D),n(+(D,+(D,+(n(D),n(n(+(n(D),n(n(+(D,+(n(D),n(+(C,n(D)))))))))))))))).
n(+(n(D),n(+(D,+(D,+(n(D),n(n(+(n(D),n(n(+(C,+(D,n(C)))))))))))))).
n(+(n(+(x,y)),n(+(x,+(x,+(n(n(+(x,n(y)))),+(n(+(x,y)),n(+(x,y))))))))).
n(+(D,n(+(D,+(n(D),n(n(+(D,+(n(D),n(n(+(n(D),n(n(+(C,+(D,n(C))))))))))))))))).
n(+(n(D),n(+(C,+(n(D),n(+(D,n(n(+(n(D),n(n(+(D,n(C)))))))))))))).
n(+(n(D),n(+(D,+(D,+(n(D),n(+(n(n(+(D,n(n(C))))),n(+(D,n(C))))))))))).
n(+(n(D),n(+(D,n(n(+(D,+(n(D),n(+(n(n(+(D,n(n(C))))),n(+(D,n(C))))))))))))).
n(+(n(D),n(+(C,+(C,+(n(D),n(+(n(n(+(C,n(n(D))))),n(+(C,n(D))))))))))).
n(+(n(D),n(+(C,n(n(+(C,+(n(D),n(+(n(n(+(C,n(n(D))))),n(+(C,n(D))))))))))))).
n(+(n(+(x,y)),n(+(x,+(x,+(n(+(x,y)),n(+(n(n(+(x,n(n(y))))),n(+(x,n(y))))))))))).
n(+(n(D),n(+(C,+(C,+(n(D),n(n(+(n(D),n(n(+(C,+(n(D),n(+(D,n(C)))))))))))))))).
n(+(n(+(x,n(D))),n(+(x,+(C,n(+(C,+(n(D),+(n(D),n(+(D,n(C)))))))))))).
n(+(C,n(+(C,+(n(D),n(+(D,n(+(C,+(n(D),n(+(D,n(C))))))))))))).
n(+(n(D),n(+(C,+(n(D),n(n(+(C,n(n(+(C,+(n(D),+(n(D),n(+(D,n(C)))))))))))))))).
n(+(n(D),n(+(C,n(n(+(C,+(n(D),+(n(D),n(n(+(C,+(n(D),n(+(D,n(C)))))))))))))))).
n(+(n(D),n(+(C,n(n(+(C,+(n(D),n(n(+(C,+(n(D),+(n(D),n(+(D,n(C)))))))))))))))).
n(+(C,n(+(C,+(n(D),+(n(D),n(+(D,n(C))))))))).
n(+(n(D),n(+(C,+(n(D),n(n(+(C,+(n(D),n(n(+(C,+(n(D),n(+(D,n(C)))))))))))))))).
n(+(C,n(+(C,+(n(D),n(+(C,+(D,n(+(C,+(n(D),n(+(D,n(C)))))))))))))).
n(+(C,n(+(C,+(n(D),n(+(n(n(D)),n(+(C,+(n(D),n(+(D,n(C))))))))))))).
n(+(n(D),n(+(C,n(n(+(C,+(n(D),+(n(D),n(+(D,n(C)))))))))))).
n(+(n(D),n(+(C,+(n(D),n(n(+(C,+(n(D),n(+(D,n(C)))))))))))).
n(+(n(+(x,C)),n(+(x,+(n(D),n(+(C,n(n(+(C,+(n(D),+(n(D),n(+(D,n(C))))))))))))))).
n(+(n(+(x,+(y,C))),n(+(x,+(y,+(n(D),n(+(C,+(n(D),n(+(D,n(C)))))))))))).
n(+(n(+(x,C)),n(+(x,+(n(D),n(+(C,+(n(D),n(n(+(C,+(n(D),n(+(D,n(C))))))))))))))).
n(+(n(+(x,n(D))),n(+(x,+(C,n(+(n(D),n(n(+(C,+(n(D),n(+(D,n(C)))))))))))))).
n(+(n(D),n(+(C,n(n(+(n(D),n(n(+(C,+(n(D),n(+(D,n(C)))))))))))))).
n(+(C,n(+(n(D),n(n(+(C,n(n(+(C,+(n(D),+(n(D),n(+(D,n(C))))))))))))))).
n(+(n(D),n(+(D,+(n(D),n(+(C,n(n(+(C,+(n(D),+(n(D),n(+(D,n(C))))))))))))))).
n(+(C,n(+(C,+(n(D),n(n(+(C,+(n(D),+(n(D),n(+(D,n(C))))))))))))).
n(+(n(+(C,+(C,+(D,n(+(C,+(n(D),+(n(D),n(+(D,n(C))))))))))),n(+(D,n(D))))).
n(+(n(+(x,D)),n(+(x,+(D,+(n(D),n(+(C,+(n(D),n(+(D,n(C)))))))))))).
n(+(x,n(+(n(n(+(x,+(n(D),n(+(C,+(n(D),n(+(D,n(C)))))))))),n(+(x,C)))))).
n(+(n(D),n(+(D,+(n(+(C,C)),n(+(C,+(n(D),n(+(C,+(n(D),n(+(D,n(C)))))))))))))).
n(+(n(D),n(+(C,+(n(D),n(+(D,+(n(D),n(+(C,+(n(D),n(+(D,n(C)))))))))))))).
n(+(D,n(+(n(D),n(n(+(D,+(n(D),n(+(C,+(n(D),n(+(D,n(C)))))))))))))).
n(+(n(D),n(+(D,+(n(D),n(n(+(D,+(n(D),n(+(C,+(n(D),n(+(D,n(C))))))))))))))).
n(+(n(+(x,D)),n(+(x,+(n(D),n(+(D,+(n(D),n(+(C,+(n(D),n(+(D,n(C)))))))))))))).
n(+(n(D),n(+(D,+(n(D),n(+(C,n(n(+(n(D),n(n(+(C,+(n(D),n(+(D,n(C))))))))))))))))).
n(+(C,n(+(n(D),n(n(+(C,+(n(D),n(n(+(C,+(n(D),n(+(D,n(C))))))))))))))).
n(+(C,n(+(C,+(n(D),+(n(D),n(n(+(C,+(n(D),n(+(D,n(C))))))))))))).
n(+(C,n(+(C,+(n(D),n(n(+(n(D),n(n(+(C,+(n(D),n(+(D,n(C))))))))))))))).
n(+(C,n(+(n(D),n(n(+(C,n(n(+(n(D),n(n(+(C,+(n(D),n(+(D,n(C))))))))))))))))).
n(+(n(+(C,+(C,+(D,n(+(n(D),n(n(+(C,+(n(D),n(+(D,n(C))))))))))))),n(+(D,n(D))))).
n(+(C,n(+(n(n(D)),n(+(C,+(n(D),n(+(D,n(C)))))))))).
n(+(n(D),n(+(C,+(n(+(x,D)),n(+(D,n(+(x,C))))))))).
n(+(n(D),n(+(C,+(n(+(x,+(y,+(z,D)))),n(+(D,n(+(x,+(y,z)))))))))).
n(+(n(D),n(+(C,+(n(+(C,+(D,D))),n(+(D,n(D)))))))).
n(+(C,n(+(C,+(n(D),n(+(D,n(+(C,+(n(+(x,+(y,D))),n(+(D,n(+(x,y)))))))))))))).
n(+(C,n(+(C,+(n(D),+(n(+(x,+(y,D))),n(+(D,n(+(x,y)))))))))).
n(+(n(+(x,C)),n(+(x,+(n(D),n(+(C,+(n(+(y,+(z,D))),n(+(D,n(+(y,z)))))))))))).
n(+(n(D),n(+(C,n(n(+(C,+(n(D),+(n(+(x,+(y,D))),n(+(D,n(+(x,y))))))))))))).
n(+(n(D),n(+(C,+(n(D),n(n(+(C,+(n(+(x,+(y,D))),n(+(D,n(+(x,y))))))))))))).
n(+(n(D),n(+(C,n(n(+(n(D),n(n(+(C,+(n(+(x,+(y,D))),n(+(D,n(+(x,y))))))))))))))).
n(+(n(D),n(+(D,+(n(D),n(+(C,+(n(+(x,+(y,D))),n(+(D,n(+(x,y)))))))))))).
n(+(n(D),n(+(C,+(n(D),n(+(D,+(n(+(x,+(y,C))),n(+(C,n(+(x,y)))))))))))).
n(+(n(D),n(+(C,+(n(+(D,D)),n(+(D,+(n(D),n(+(D,+(D,+(n(C),n(D))))))))))))).
n(+(n(D),n(+(C,+(n(+(D,n(D))),n(+(D,+(D,n(+(C,+(D,+(n(C),n(D))))))))))))).
n(+(n(D),n(+(C,+(n(+(C,+(C,+(D,n(+(C,+(C,+(n(D),n(D))))))))),n(+(D,n(D)))))))).
n(+(n(D),n(+(C,+(n(D),n(+(D,+(n(D),n(+(C,+(C,+(n(D),n(D))))))))))))).
n(+(n(D),n(+(C,+(n(+(y,+(D,n(+(y,+(n(x),n(+(x,y)))))))),n(+(D,n(+(x,y))))))))).
n(+(C,n(+(C,+(n(D),+(n(+(D,D)),n(+(D,+(n(D),n(+(D,n(C)))))))))))).
n(+(n(D),n(+(C,n(n(+(C,+(n(D),+(n(+(D,D)),n(+(D,+(n(D),n(+(D,n(C))))))))))))))).
n(+(n(D),n(+(C,+(n(D),n(n(+(C,+(n(+(D,D)),n(+(D,+(n(D),n(+(D,n(C))))))))))))))).
n(+(n(D),n(+(D,+(n(D),n(+(C,+(n(+(D,D)),n(+(D,+(n(D),n(+(D,n(C)))))))))))))).
n(+(C,n(+(n(D),n(n(+(C,+(n(+(D,D)),n(+(D,+(n(D),n(+(D,n(C)))))))))))))).
n(+(C,n(+(C,+(n(D),+(n(+(D,D)),n(+(D,+(n(+(x,D)),n(+(C,+(D,n(x))))))))))))).
n(+(C,n(+(C,+(n(D),+(n(+(x,D)),n(+(D,+(n(+(x,D)),n(+(x,+(C,n(D))))))))))))).
n(+(C,n(+(C,+(n(D),n(+(D,n(+(C,+(n(D),n(+(D,+(n(D),n(+(C,n(D)))))))))))))))).
n(+(C,n(+(C,+(n(D),+(n(D),n(+(D,+(n(D),n(+(C,n(D)))))))))))).
n(+(n(+(x,C)),n(+(x,+(n(D),n(+(C,+(n(D),n(+(D,+(n(D),n(+(C,n(D)))))))))))))).
n(+(n(D),n(+(C,n(n(+(C,+(n(D),+(n(D),n(+(D,+(n(D),n(+(C,n(D))))))))))))))).
n(+(n(D),n(+(C,+(n(D),n(n(+(C,+(n(D),n(+(D,+(n(D),n(+(C,n(D))))))))))))))).
n(+(n(D),n(+(C,n(n(+(n(D),n(n(+(C,+(n(D),n(+(D,+(n(D),n(+(C,n(D))))))))))))))))).
n(+(C,n(+(n(D),n(n(+(C,+(n(D),n(+(D,+(n(D),n(+(C,n(D)))))))))))))).
n(+(n(D),n(+(C,+(n(D),n(+(D,+(n(+(x,C)),n(+(C,n(x))))))))))).
n(+(C,n(+(C,+(n(D),+(n(+(x,D)),n(+(D,+(n(+(x,y)),n(+(x,n(y)))))))))))).
n(+(C,n(+(n(D),n(n(+(C,+(n(+(x,D)),n(+(D,+(n(+(x,y)),n(+(x,n(y)))))))))))))).
n(+(n(D),n(+(C,+(n(+(D,n(D))),n(+(D,+(D,n(+(n(D),n(n(+(C,+(D,n(C))))))))))))))).
n(+(C,n(+(C,+(n(D),+(n(+(x,D)),n(+(D,+(D,+(n(x),n(+(x,D)))))))))))).
n(+(n(D),n(+(D,+(n(D),n(+(C,+(n(+(x,D)),n(+(D,+(D,+(n(x),n(+(x,D)))))))))))))).
n(+(C,n(+(n(D),n(n(+(C,+(n(+(x,D)),n(+(D,+(D,+(n(x),n(+(x,D)))))))))))))).
n(+(n(D),n(+(C,+(n(D),n(+(D,+(n(D),n(n(+(D,+(n(D),n(+(C,+(C,n(D)))))))))))))))).
n(+(n(D),n(+(C,+(n(D),n(+(D,+(n(D),n(n(+(D,+(n(D),n(n(+(D,n(C)))))))))))))))).
n(+(n(D),n(+(C,+(n(D),n(+(D,+(n(D),n(n(+(D,+(D,+(n(C),n(D)))))))))))))).
n(+(C,n(+(C,+(n(D),+(n(+(D,n(x))),n(+(D,+(n(n(+(x,D))),n(+(D,n(x)))))))))))).
n(+(C,n(+(C,+(n(D),+(n(+(x,D)),n(+(D,+(n(n(+(D,n(x)))),n(+(x,D))))))))))).
n(+(n(D),n(+(C,+(C,+(n(D),n(+(n(n(D)),n(+(C,+(n(+(x,D)),n(+(D,n(x)))))))))))))).
n(+(n(D),n(+(C,n(n(+(C,+(n(D),+(n(D),n(+(D,+(n(D),n(+(C,+(C,n(D)))))))))))))))).
n(+(n(D),n(+(C,n(n(+(C,+(n(D),+(n(D),n(+(D,+(n(D),n(n(+(D,n(C)))))))))))))))).
n(+(n(D),n(+(C,n(n(+(C,+(n(D),+(n(D),n(+(D,+(D,+(n(C),n(D)))))))))))))).
n(+(C,n(+(C,+(n(D),+(n(D),n(+(D,+(n(D),n(+(C,+(n(D),n(+(D,n(C))))))))))))))).
n(+(C,n(+(C,+(n(D),+(n(+(D,D)),n(+(D,+(n(+(x,D)),n(+(D,n(+(x,C))))))))))))).
n(+(C,n(+(C,+(n(D),+(n(+(D,n(D))),n(+(D,+(D,n(+(D,+(n(C),n(D))))))))))))).
n(+(C,n(+(C,+(n(D),+(n(+(D,D)),n(+(D,+(n(D),n(+(C,+(D,n(C))))))))))))).
n(+(C,n(+(C,+(n(D),+(n(D),n(+(D,+(n(D),n(+(C,+(C,n(D))))))))))))).
n(+(C,n(+(C,+(n(D),+(n(+(C,+(D,n(+(C,+(n(D),n(D))))))),n(+(D,n(D))))))))).
n(+(C,n(+(C,+(n(D),+(n(+(y,D)),n(+(D,+(n(+(x,y)),n(+(y,n(x)))))))))))).
n(+(C,n(+(C,+(n(D),+(n(D),n(+(D,+(n(D),n(n(+(D,n(C))))))))))))).
n(+(C,n(+(C,+(n(D),+(n(+(D,n(C))),n(+(D,+(n(n(D)),n(+(D,n(C)))))))))))).
n(+(C,n(+(C,+(n(D),+(n(D),n(+(D,+(D,+(n(C),n(D))))))))))).
n(+(C,n(+(C,+(n(D),+(n(+(x,D)),n(+(C,+(D,+(D,+(n(x),n(+(x,D))))))))))))).
n(+(n(+(x,C)),n(+(x,+(n(D),n(+(C,+(C,+(n(D),+(n(+(y,D)),n(+(D,n(y))))))))))))).
n(+(n(D),n(+(D,+(n(D),n(+(C,+(C,+(n(D),+(n(+(x,D)),n(+(D,n(x))))))))))))).
n(+(n(D),n(+(C,+(C,+(n(D),+(n(+(x,D)),n(+(D,n(x)))))))))).
n(+(C,n(+(n(D),n(n(+(C,+(C,+(n(D),+(n(+(x,D)),n(+(D,n(x))))))))))))).
n(+(n(D),n(+(C,+(n(D),n(n(+(C,+(C,+(n(D),+(n(+(x,D)),n(+(D,n(x)))))))))))))).
n(+(n(D),n(+(C,+(D,+(n(D),n(+(C,+(C,+(n(D),+(n(+(x,D)),n(+(D,n(x)))))))))))))).
n(+(n(+(C,+(D,n(D)))),n(+(C,+(D,n(+(C,+(n(D),+(n(+(x,D)),n(+(D,n(x)))))))))))).
n(+(n(D),n(+(C,+(C,+(n(D),n(n(+(C,+(n(D),+(n(+(x,D)),n(+(D,n(x)))))))))))))).
n(+(n(D),n(+(C,+(n(D),n(n(+(C,+(n(D),n(+(D,+(n(D),n(+(C,+(C,n(D)))))))))))))))).
n(+(n(D),n(+(C,+(n(D),n(n(+(C,+(n(D),n(+(D,+(n(D),n(n(+(D,n(C)))))))))))))))).
n(+(n(D),n(+(C,+(n(D),n(n(+(C,+(n(D),n(+(D,+(D,+(n(C),n(D)))))))))))))).
n(+(n(D),n(+(C,n(n(+(n(D),n(n(+(C,+(n(D),n(+(D,+(D,+(n(C),n(D)))))))))))))))).
n(+(n(D),n(+(D,+(n(D),n(+(C,+(n(D),n(+(D,+(n(D),n(+(C,+(C,n(D))))))))))))))).
n(+(n(D),n(+(D,+(n(D),n(+(C,+(n(D),n(+(D,+(D,+(n(C),n(D))))))))))))).
n(+(D,n(+(D,+(n(D),+(n(D),n(+(C,+(n(+(x,D)),n(+(D,n(x)))))))))))).
n(+(n(D),n(+(D,n(n(+(D,+(n(D),+(n(D),n(+(C,+(n(+(x,D)),n(+(D,n(x))))))))))))))).
n(+(n(+(x,C)),n(+(x,+(n(D),n(+(C,+(n(D),n(+(D,+(n(D),n(n(+(D,n(C))))))))))))))).
n(+(n(+(x,C)),n(+(x,+(n(D),n(+(C,+(n(D),n(+(D,+(D,+(n(C),n(D))))))))))))).
n(+(x,n(+(x,+(n(D),+(n(+(x,C)),n(+(C,+(n(+(y,D)),n(+(D,n(y)))))))))))).
n(+(C,n(+(n(D),n(n(+(C,+(n(+(D,D)),n(+(D,+(n(D),n(+(C,+(D,n(C))))))))))))))).
n(+(C,n(+(n(D),n(n(+(C,+(n(D),n(+(D,+(n(D),n(+(C,+(C,n(D))))))))))))))).
n(+(C,n(+(n(D),n(n(+(C,+(n(+(y,D)),n(+(D,+(n(+(x,y)),n(+(y,n(x)))))))))))))).
n(+(C,n(+(n(D),n(n(+(C,+(n(D),n(+(D,+(n(D),n(n(+(D,n(C))))))))))))))).
n(+(C,n(+(n(D),n(n(+(C,+(n(+(D,n(C))),n(+(D,+(n(n(D)),n(+(D,n(C)))))))))))))).
n(+(C,n(+(n(D),n(n(+(C,+(n(D),n(+(D,+(D,+(n(C),n(D))))))))))))).
n(+(C,n(+(C,+(n(D),+(n(D),n(+(n(C),n(+(n(D),n(n(+(C,n(D)))))))))))))).
n(+(C,n(+(n(D),n(n(+(C,+(n(D),n(+(n(C),n(+(n(D),n(n(+(C,n(D)))))))))))))))).
n(+(n(D),n(+(C,+(n(D),n(+(D,+(D,+(n(D),n(+(n(n(D)),n(+(D,n(C)))))))))))))).
n(+(n(+(x,D)),n(+(x,+(n(D),n(+(D,+(D,+(n(D),n(+(n(n(D)),n(+(D,n(C)))))))))))))).
n(+(n(D),n(+(D,+(D,+(n(D),n(+(n(n(D)),n(+(D,n(C))))))))))).
n(+(n(+(x,n(D))),n(+(x,+(D,n(+(D,+(n(D),n(+(n(n(D)),n(+(D,n(C))))))))))))).
n(+(D,n(+(n(D),n(n(+(D,+(D,+(n(D),n(+(n(n(D)),n(+(D,n(C)))))))))))))).
n(+(D,n(+(D,+(n(D),n(n(+(D,+(n(D),n(+(n(n(D)),n(+(D,n(C)))))))))))))).
n(+(D,n(+(n(D),n(n(+(D,n(n(+(D,+(n(D),n(+(n(n(D)),n(+(D,n(C)))))))))))))))).
n(+(n(D),n(+(D,+(n(D),n(n(+(D,+(D,+(n(D),n(+(n(n(D)),n(+(D,n(C))))))))))))))).
n(+(n(+(C,+(D,n(D)))),n(+(D,+(D,n(+(D,+(n(D),n(+(n(n(D)),n(+(D,n(C))))))))))))).
n(+(n(D),n(+(D,+(D,+(n(D),n(n(+(D,+(n(D),n(+(n(n(D)),n(+(D,n(C))))))))))))))).
n(+(n(D),n(+(D,n(n(+(D,+(n(D),n(+(n(n(D)),n(+(D,n(C))))))))))))).
n(+(n(+(x,C)),n(+(x,+(n(D),n(+(C,+(C,+(n(D),n(+(n(n(D)),n(+(C,n(D)))))))))))))).
n(+(n(D),n(+(D,+(n(D),n(+(C,+(C,+(n(D),n(+(n(n(D)),n(+(C,n(D)))))))))))))).
n(+(n(D),n(+(C,+(C,+(n(D),n(+(n(n(D)),n(+(C,n(D))))))))))).
n(+(n(+(x,n(D))),n(+(x,+(C,n(+(C,+(n(D),n(+(n(n(D)),n(+(C,n(D))))))))))))).
n(+(C,n(+(n(D),n(n(+(C,+(C,+(n(D),n(+(n(n(D)),n(+(C,n(D)))))))))))))).
n(+(C,n(+(C,+(n(D),n(n(+(C,+(n(D),n(+(n(n(D)),n(+(C,n(D)))))))))))))).
n(+(C,n(+(n(D),n(n(+(C,n(n(+(C,+(n(D),n(+(n(n(D)),n(+(C,n(D)))))))))))))))).
n(+(n(D),n(+(C,+(n(D),n(n(+(C,+(C,+(n(D),n(+(n(n(D)),n(+(C,n(D))))))))))))))).
n(+(n(D),n(+(C,+(D,+(n(D),n(+(C,+(C,+(n(D),n(+(n(n(D)),n(+(C,n(D))))))))))))))).
n(+(n(+(C,+(D,n(D)))),n(+(C,+(D,n(+(C,+(n(D),n(+(n(n(D)),n(+(C,n(D))))))))))))).
n(+(n(D),n(+(C,+(C,+(n(D),n(n(+(C,+(n(D),n(+(n(n(D)),n(+(C,n(D))))))))))))))).
n(+(n(D),n(+(C,n(n(+(C,+(n(D),n(+(n(n(D)),n(+(C,n(D))))))))))))).
n(+(n(D),n(+(C,+(n(D),n(+(n(C),n(+(n(D),n(n(+(C,+(n(D),n(+(D,n(C)))))))))))))))).
n(+(n(D),n(+(D,+(n(D),n(+(n(D),n(+(n(D),n(n(+(D,+(n(D),n(+(C,n(D)))))))))))))))).
n(+(n(D),n(+(D,+(n(D),n(+(n(D),n(+(n(D),n(n(+(C,+(D,n(C)))))))))))))).
n(+(n(+(x,y)),n(+(y,+(n(+(x,y)),n(+(n(y),n(+(n(n(+(y,n(x)))),n(+(x,y))))))))))).
n(+(n(+(x,y)),n(+(x,+(n(+(x,y)),n(+(n(x),n(+(n(n(+(x,n(y)))),n(+(x,y))))))))))).
n(+(n(+(x,y)),n(+(x,+(x,+(n(+(x,y)),n(+(n(n(+(x,y))),n(+(x,n(y))))))))))).
n(+(n(+(x,y)),n(+(x,n(n(+(x,+(n(+(x,y)),n(+(n(n(+(x,y))),n(+(x,n(y))))))))))))).
n(+(n(D),n(+(C,+(n(D),n(+(D,+(D,+(n(D),n(+(D,n(+(D,n(C)))))))))))))).
n(+(n(+(x,D)),n(+(x,+(n(D),n(+(D,+(D,+(n(D),n(+(D,n(+(D,n(C)))))))))))))).
n(+(n(D),n(+(D,+(D,+(n(D),n(+(D,n(+(D,n(C))))))))))).
n(+(C,n(+(C,+(n(D),+(n(D),n(+(D,+(D,+(n(D),n(+(D,n(+(D,n(C))))))))))))))).
n(+(n(+(x,n(D))),n(+(x,+(D,n(+(D,+(n(D),n(+(D,n(+(D,n(C))))))))))))).
n(+(D,n(+(n(D),n(n(+(D,+(D,+(n(D),n(+(D,n(+(D,n(C)))))))))))))).
n(+(D,n(+(D,+(n(D),n(n(+(D,+(n(D),n(+(D,n(+(D,n(C)))))))))))))).
n(+(n(+(x,D)),n(+(x,+(n(D),n(+(D,n(n(+(D,+(n(D),n(+(D,n(+(D,n(C)))))))))))))))).
n(+(D,n(+(n(D),n(n(+(D,n(n(+(D,+(n(D),n(+(D,n(+(D,n(C)))))))))))))))).
n(+(n(D),n(+(D,n(n(+(n(D),n(n(+(D,+(D,+(n(D),n(+(D,n(+(D,n(C))))))))))))))))).
n(+(n(D),n(+(D,+(n(D),n(n(+(D,+(D,+(n(D),n(+(D,n(+(D,n(C))))))))))))))).
n(+(n(+(C,+(D,+(n(D),n(+(D,+(D,+(n(D),n(+(D,n(+(D,n(C))))))))))))),n(+(D,D)))).
n(+(n(+(C,+(D,n(D)))),n(+(D,+(D,n(+(D,+(n(D),n(+(D,n(+(D,n(C))))))))))))).
n(+(n(D),n(+(D,n(n(+(D,+(n(D),n(n(+(D,+(n(D),n(+(D,n(+(D,n(C))))))))))))))))).
n(+(n(D),n(+(D,+(D,+(n(D),n(n(+(D,+(n(D),n(+(D,n(+(D,n(C))))))))))))))).
n(+(n(D),n(+(D,+(n(D),n(n(+(D,n(n(+(D,+(n(D),n(+(D,n(+(D,n(C))))))))))))))))).
n(+(n(D),n(+(D,n(n(+(D,+(n(D),n(+(D,n(+(D,n(C))))))))))))).
n(+(n(+(x,C)),n(+(x,+(n(D),n(+(C,+(C,+(n(D),n(+(D,n(+(C,n(D)))))))))))))).
n(+(n(D),n(+(D,+(n(D),n(+(C,+(C,+(n(D),n(+(D,n(+(C,n(D)))))))))))))).
n(+(n(D),n(+(C,+(C,+(n(D),n(+(D,n(+(C,n(D))))))))))).
n(+(n(+(x,n(D))),n(+(x,+(C,n(+(C,+(n(D),n(+(D,n(+(C,n(D))))))))))))).
n(+(C,n(+(n(D),n(n(+(C,+(C,+(n(D),n(+(D,n(+(C,n(D)))))))))))))).
n(+(C,n(+(C,+(n(D),n(n(+(C,+(n(D),n(+(D,n(+(C,n(D)))))))))))))).
n(+(n(+(x,C)),n(+(x,+(n(D),n(+(C,n(n(+(C,+(n(D),n(+(D,n(+(C,n(D)))))))))))))))).
n(+(C,n(+(n(D),n(n(+(C,n(n(+(C,+(n(D),n(+(D,n(+(C,n(D)))))))))))))))).
n(+(n(D),n(+(C,n(n(+(n(D),n(n(+(C,+(C,+(n(D),n(+(D,n(+(C,n(D))))))))))))))))).
n(+(n(D),n(+(C,+(n(D),n(n(+(C,+(C,+(n(D),n(+(D,n(+(C,n(D))))))))))))))).
n(+(n(D),n(+(C,+(D,+(n(D),n(+(C,+(C,+(n(D),n(+(D,n(+(C,n(D))))))))))))))).
n(+(n(+(C,+(D,n(D)))),n(+(C,+(D,n(+(C,+(n(D),n(+(D,n(+(C,n(D))))))))))))).
n(+(n(D),n(+(C,n(n(+(C,+(n(D),n(n(+(C,+(n(D),n(+(D,n(+(C,n(D))))))))))))))))).
n(+(n(D),n(+(C,+(C,+(n(D),n(n(+(C,+(n(D),n(+(D,n(+(C,n(D))))))))))))))).
n(+(n(D),n(+(C,+(n(D),n(n(+(C,n(n(+(C,+(n(D),n(+(D,n(+(C,n(D))))))))))))))))).
n(+(n(D),n(+(C,+(D,+(n(D),n(+(C,n(n(+(C,+(n(D),n(+(D,n(+(C,n(D))))))))))))))))).
n(+(n(D),n(+(C,n(n(+(C,+(n(D),n(+(D,n(+(C,n(D))))))))))))).
n(+(C,n(+(C,+(n(D),n(+(C,+(D,n(+(C,n(D))))))))))).
n(+(n(+(x,y)),n(+(x,+(x,+(n(+(x,y)),n(+(x,+(y,n(+(x,n(y)))))))))))).
n(+(n(+(x,y)),n(+(x,n(n(+(x,+(n(+(x,y)),n(+(x,+(y,n(+(x,n(y)))))))))))))).
n(+(n(D),n(+(C,+(n(D),n(+(D,+(D,+(n(D),+(n(D),n(+(C,n(D))))))))))))).
n(+(n(D),n(+(D,+(n(+(C,C)),n(+(C,+(C,+(n(D),+(n(+(C,C)),n(+(C,n(D))))))))))))).
n(+(n(+(x,C)),n(+(x,+(x,+(n(D),+(n(+(x,C)),n(+(C,n(D)))))))))).
n(+(C,n(+(C,+(n(D),+(n(D),n(+(D,+(D,+(n(D),+(n(D),n(+(C,n(D)))))))))))))).
n(+(n(D),n(+(C,+(n(+(D,n(C))),n(+(D,n(n(+(n(n(D)),n(+(D,n(C))))))))))))).
n(+(n(D),n(+(D,+(n(C),+(n(D),n(+(n(n(+(n(C),n(D)))),n(+(D,n(C))))))))))).
n(+(n(D),n(+(D,n(n(+(n(C),+(n(D),n(+(n(n(+(n(C),n(D)))),n(+(D,n(C))))))))))))).
n(+(n(D),n(+(C,+(n(D),+(n(D),n(+(n(n(+(n(C),n(D)))),n(+(C,n(D))))))))))).
n(+(n(D),n(+(C,n(n(+(n(D),+(n(D),n(+(n(n(+(n(C),n(D)))),n(+(C,n(D))))))))))))).
n(+(D,n(+(D,+(n(D),n(+(D,+(n(+(C,+(D,n(C)))),n(+(D,+(n(C),n(D)))))))))))).
n(+(D,n(+(D,+(n(D),n(+(C,+(n(+(C,+(D,n(C)))),n(+(C,+(n(D),n(D)))))))))))).
n(+(n(D),n(+(D,+(n(C),+(n(D),n(+(n(C),+(n(D),n(+(D,n(C)))))))))))).
n(+(D,n(+(n(D),n(n(+(D,+(n(C),+(n(D),n(+(n(C),+(n(D),n(+(D,n(C))))))))))))))).
n(+(D,n(+(D,+(n(D),n(n(+(n(C),+(n(D),n(+(n(C),+(n(D),n(+(D,n(C))))))))))))))).
n(+(n(D),n(+(D,n(n(+(n(C),+(n(D),n(+(n(C),+(n(D),n(+(D,n(C)))))))))))))).
n(+(n(D),n(+(C,+(n(D),+(n(D),n(+(n(C),+(n(D),n(+(C,n(D)))))))))))).
n(+(C,n(+(n(D),n(n(+(C,+(n(D),+(n(D),n(+(n(C),+(n(D),n(+(C,n(D))))))))))))))).
n(+(C,n(+(C,+(n(D),n(n(+(n(D),+(n(D),n(+(n(C),+(n(D),n(+(C,n(D))))))))))))))).
n(+(n(D),n(+(C,n(n(+(n(D),+(n(D),n(+(n(C),+(n(D),n(+(C,n(D)))))))))))))).
n(+(n(+(x,y)),n(+(y,+(n(x),+(n(+(x,y)),n(+(n(x),+(n(y),n(+(y,n(x)))))))))))).
n(+(n(+(x,y)),n(+(x,+(n(y),+(n(+(x,y)),n(+(n(x),+(n(y),n(+(x,n(y)))))))))))).
n(+(n(D),n(+(C,+(C,+(n(D),n(+(C,+(D,n(+(C,+(n(+(x,D)),n(+(D,n(x))))))))))))))).
n(+(n(D),n(+(C,+(n(D),n(+(D,+(D,+(n(D),n(+(D,+(n(n(C)),n(+(D,n(C))))))))))))))).
n(+(n(D),n(+(D,+(D,+(n(D),n(+(D,+(n(n(C)),n(+(D,n(C)))))))))))).
n(+(n(+(x,n(D))),n(+(x,+(D,n(+(D,+(n(D),n(+(D,+(n(n(C)),n(+(D,n(C)))))))))))))).
n(+(D,n(+(n(D),n(n(+(D,+(D,+(n(D),n(+(D,+(n(n(C)),n(+(D,n(C))))))))))))))).
n(+(D,n(+(D,+(n(D),n(n(+(D,+(n(D),n(+(D,+(n(n(C)),n(+(D,n(C))))))))))))))).
n(+(n(D),n(+(D,n(n(+(D,+(n(D),n(+(D,+(n(n(C)),n(+(D,n(C)))))))))))))).
n(+(n(D),n(+(D,+(n(D),n(+(C,+(C,+(n(D),n(+(C,+(n(n(D)),n(+(C,n(D))))))))))))))).
n(+(n(D),n(+(C,+(C,+(n(D),n(+(C,+(n(n(D)),n(+(C,n(D)))))))))))).
n(+(n(+(x,n(D))),n(+(x,+(C,n(+(C,+(n(D),n(+(C,+(n(n(D)),n(+(C,n(D)))))))))))))).
n(+(C,n(+(n(D),n(n(+(C,+(C,+(n(D),n(+(C,+(n(n(D)),n(+(C,n(D))))))))))))))).
n(+(C,n(+(C,+(n(D),n(n(+(C,+(n(D),n(+(C,+(n(n(D)),n(+(C,n(D))))))))))))))).
n(+(n(D),n(+(C,n(n(+(C,+(n(D),n(+(C,+(n(n(D)),n(+(C,n(D)))))))))))))).
n(+(n(+(x,y)),n(+(x,+(x,+(n(+(x,y)),n(+(x,+(n(n(y)),n(+(x,n(y)))))))))))).
n(+(n(+(x,y)),n(+(x,n(n(+(x,+(n(+(x,y)),n(+(x,+(n(n(y)),n(+(x,n(y)))))))))))))).
n(+(n(D),n(+(D,+(D,+(n(D),n(+(D,+(n(+(D,n(C))),n(+(D,+(n(C),n(D))))))))))))).
n(+(n(D),n(+(D,+(D,+(n(D),n(+(C,+(n(+(C,+(n(D),n(D)))),n(+(D,n(C)))))))))))).
n(+(n(D),n(+(C,+(C,+(n(D),n(+(D,+(n(+(C,n(D))),n(+(D,+(n(C),n(D))))))))))))).
n(+(n(D),n(+(C,+(C,+(n(D),n(+(C,+(n(+(C,n(D))),n(+(C,+(n(D),n(D))))))))))))).
n(+(n(+(x,n(D))),n(+(x,+(x,+(D,+(n(+(x,n(D))),n(+(n(D),n(n(+(D,n(C))))))))))))).
n(+(n(+(x,n(D))),n(+(x,+(x,+(C,+(n(+(x,n(D))),n(+(n(D),n(n(+(C,n(D))))))))))))).
n(+(x,n(+(x,+(n(D),+(n(+(x,C)),n(+(C,+(n(D),n(+(D,n(C)))))))))))).
n(+(n(+(x,n(D))),n(+(x,+(x,+(D,+(n(+(x,n(D))),n(+(D,+(n(C),n(D))))))))))).
n(+(n(+(x,n(D))),n(+(x,+(x,+(C,+(n(+(x,n(D))),n(+(C,+(n(D),n(D))))))))))).
n(+(n(+(x,D)),n(+(x,+(x,+(n(D),+(n(+(x,D)),n(+(D,+(D,+(n(C),n(D)))))))))))).
n(+(n(+(x,n(D))),n(+(x,+(x,+(D,+(n(+(x,n(D))),n(+(C,+(D,+(n(C),n(D)))))))))))).
n(+(n(+(x,C)),n(+(x,+(x,+(n(D),+(n(+(x,C)),n(+(C,+(C,+(n(D),n(D)))))))))))).
n(+(n(D),n(+(D,+(n(+(C,n(D))),n(+(C,+(C,+(C,n(+(C,+(C,+(n(D),n(D)))))))))))))).
n(+(n(D),n(+(D,+(n(+(C,C)),n(+(C,+(n(D),n(+(C,+(C,+(n(D),n(D))))))))))))).
n(+(n(D),n(+(D,+(n(+(y,+(C,n(+(y,+(n(x),n(+(x,y)))))))),n(+(C,n(+(x,y))))))))).
n(+(D,n(+(D,+(n(D),+(n(+(x,C)),n(+(C,+(n(+(x,y)),n(+(x,n(y)))))))))))).
n(+(D,n(+(n(D),n(n(+(D,+(n(+(x,C)),n(+(C,+(n(+(x,y)),n(+(x,n(y)))))))))))))).
n(+(C,n(+(C,+(C,+(n(D),n(+(C,+(n(+(C,+(n(D),n(D)))),n(+(n(D),n(D)))))))))))).
n(+(n(D),n(+(D,+(n(D),n(+(C,+(n(D),n(n(+(C,+(C,+(n(D),n(D)))))))))))))).
n(+(n(D),n(+(C,+(n(D),n(+(n(C),n(+(n(D),n(n(+(C,+(C,+(n(D),n(D))))))))))))))).
n(+(C,n(+(n(D),n(n(+(C,n(n(+(n(D),n(n(+(C,+(C,+(n(D),n(D)))))))))))))))).
n(+(n(D),n(+(C,n(n(+(n(D),n(n(+(C,+(n(D),n(n(+(C,+(C,+(n(D),n(D))))))))))))))))).
n(+(n(D),n(+(C,+(n(D),n(n(+(C,+(n(D),n(n(+(C,+(C,+(n(D),n(D))))))))))))))).
n(+(n(D),n(+(C,+(D,+(n(D),n(+(C,+(n(D),n(n(+(C,+(C,+(n(D),n(D))))))))))))))).
n(+(n(D),n(+(C,n(n(+(C,+(n(D),n(n(+(n(D),n(n(+(C,+(C,+(n(D),n(D))))))))))))))))).
n(+(n(D),n(+(C,+(C,+(n(D),n(n(+(n(D),n(n(+(C,+(C,+(n(D),n(D))))))))))))))).
n(+(n(D),n(+(C,+(n(D),n(n(+(C,n(n(+(n(D),n(n(+(C,+(C,+(n(D),n(D))))))))))))))))).
n(+(n(+(x,n(D))),n(+(x,+(C,n(+(C,+(C,+(n(D),+(n(D),n(D))))))))))).
n(+(C,n(+(C,+(n(D),n(+(D,n(+(C,+(C,+(n(D),n(D)))))))))))).
n(+(n(D),n(+(C,+(n(D),n(n(+(C,n(n(+(C,+(C,+(n(D),+(n(D),n(D))))))))))))))).
n(+(n(D),n(+(C,n(n(+(C,+(n(D),+(n(D),n(n(+(C,+(C,+(n(D),n(D))))))))))))))).
n(+(n(D),n(+(C,n(n(+(C,+(n(D),n(n(+(C,+(C,+(n(D),+(n(D),n(D))))))))))))))).
n(+(C,n(+(C,+(C,+(n(D),+(n(D),n(D)))))))).
n(+(C,n(+(C,+(n(D),n(+(n(n(D)),n(+(C,+(C,+(n(D),n(D)))))))))))).
n(+(n(D),n(+(C,n(n(+(C,+(C,+(n(D),+(n(D),n(D))))))))))).
n(+(n(+(x,C)),n(+(x,+(n(D),n(+(C,n(n(+(C,+(C,+(n(D),+(n(D),n(D)))))))))))))).
n(+(C,n(+(n(D),n(n(+(C,n(n(+(C,+(C,+(n(D),+(n(D),n(D)))))))))))))).
n(+(n(D),n(+(D,+(n(D),n(+(C,n(n(+(C,+(C,+(n(D),+(n(D),n(D)))))))))))))).
n(+(C,n(+(C,+(n(D),n(n(+(C,+(C,+(n(D),+(n(D),n(D)))))))))))).
n(+(n(+(C,+(C,+(D,n(+(C,+(C,+(n(D),+(n(D),n(D)))))))))),n(+(D,n(D))))).
n(+(n(+(x,D)),n(+(x,+(D,+(n(D),n(+(C,+(C,+(n(D),n(D))))))))))).
n(+(C,n(+(C,+(n(D),+(n(D),n(+(D,+(n(D),n(+(C,+(C,+(n(D),n(D)))))))))))))).
n(+(D,n(+(n(D),n(n(+(D,+(n(D),n(+(C,+(C,+(n(D),n(D))))))))))))).
n(+(n(D),n(+(D,+(n(D),n(n(+(D,+(n(D),n(+(C,+(C,+(n(D),n(D)))))))))))))).
n(+(n(+(x,D)),n(+(x,+(n(D),n(+(D,+(n(D),n(+(C,+(C,+(n(D),n(D))))))))))))).
n(+(n(+(C,+(D,D))),n(+(D,+(n(D),n(+(D,+(n(D),n(+(C,+(C,+(n(D),n(D))))))))))))).
n(+(n(D),n(+(D,+(n(D),n(+(C,n(n(+(n(D),n(n(+(C,+(C,+(n(D),n(D)))))))))))))))).
n(+(C,n(+(C,+(n(D),+(n(D),n(n(+(C,+(C,+(n(D),n(D)))))))))))).
n(+(n(+(C,+(C,+(D,n(+(n(D),n(n(+(C,+(C,+(n(D),n(D)))))))))))),n(+(D,n(D))))).
n(+(n(D),n(+(D,+(n(D),n(+(C,+(C,+(n(D),n(n(+(C,+(n(D),n(D)))))))))))))).
n(+(n(D),n(+(C,n(n(+(n(D),n(n(+(C,+(C,+(n(D),n(n(+(C,+(n(D),n(D))))))))))))))))).
n(+(n(D),n(+(C,+(n(D),n(n(+(C,+(C,+(n(D),n(n(+(C,+(n(D),n(D))))))))))))))).
n(+(n(D),n(+(C,+(D,+(n(D),n(+(C,+(C,+(n(D),n(n(+(C,+(n(D),n(D))))))))))))))).
n(+(n(D),n(+(C,+(C,+(n(D),n(n(+(C,+(n(D),n(n(+(C,+(n(D),n(D))))))))))))))).
n(+(D,n(+(C,+(D,+(n(+(C,+(D,n(D)))),n(+(C,+(n(D),n(D)))))))))).
n(+(n(D),n(+(D,+(D,+(n(D),n(n(+(D,+(n(D),n(n(+(D,+(n(C),n(D))))))))))))))).
n(+(D,n(+(D,+(n(D),+(n(D),n(n(+(D,+(n(D),n(n(+(C,+(D,n(C))))))))))))))).
n(+(D,n(+(n(D),n(n(+(D,+(n(D),n(n(+(D,+(n(D),n(n(+(C,+(D,n(C))))))))))))))))).
n(+(D,n(+(D,+(n(D),+(n(D),n(n(+(D,n(n(+(n(D),n(n(+(C,+(D,n(C))))))))))))))))).
n(+(n(+(x,y)),n(+(y,+(y,+(n(n(+(y,n(x)))),+(n(+(x,y)),n(+(x,y))))))))).
n(+(n(D),n(+(C,+(D,+(n(D),n(n(+(C,+(D,n(C))))))))))).
n(+(n(+(x,+(y,D))),n(+(C,+(D,+(n(n(+(C,+(D,n(+(x,y)))))),n(+(x,+(y,D))))))))).
n(+(D,n(+(C,+(D,+(n(n(+(C,+(D,n(x))))),+(n(+(x,D)),n(+(x,D))))))))).
n(+(n(D),n(+(C,+(n(D),n(+(D,n(n(+(D,+(n(C),n(D)))))))))))).
n(+(C,n(+(C,+(n(D),+(n(+(x,D)),n(+(D,n(n(+(D,+(n(x),n(+(x,D)))))))))))))).
n(+(y,n(+(y,+(n(n(+(x,y))),+(n(+(y,n(x))),n(+(y,n(x))))))))).
n(+(n(+(x,+(y,z))),n(+(y,+(y,+(z,+(z,+(n(x),n(+(x,+(y,z))))))))))).
n(+(n(+(y,z)),n(+(z,+(n(+(x,y)),n(+(y,+(y,+(n(x),n(+(x,y))))))))))).
n(+(n(+(x,y)),n(+(y,n(n(+(y,+(y,+(n(x),+(n(+(x,y)),n(+(x,y)))))))))))).
n(+(y,n(+(y,+(y,+(n(x),+(n(+(x,y)),n(+(x,y))))))))).
n(+(n(+(x,z)),n(+(x,+(n(+(y,z)),n(+(z,+(z,+(n(y),n(+(y,z))))))))))).
n(+(C,n(+(C,+(n(D),n(+(D,n(+(C,+(C,+(n(D),n(n(+(C,+(n(D),n(D)))))))))))))))).
n(+(C,n(+(C,+(C,+(n(D),+(n(D),n(n(+(C,+(n(D),n(D)))))))))))).
n(+(n(D),n(+(C,n(n(+(C,+(C,+(n(D),+(n(D),n(n(+(C,+(n(D),n(D))))))))))))))).
n(+(C,n(+(C,+(n(D),+(n(D),n(n(+(C,+(n(D),n(+(D,+(D,+(n(C),n(D))))))))))))))).
n(+(n(D),n(+(C,+(C,+(n(D),+(n(D),n(n(+(C,+(n(+(x,D)),n(+(D,n(x)))))))))))))).
n(+(C,n(+(C,+(C,+(n(D),+(n(D),n(n(+(n(D),n(n(+(C,n(D)))))))))))))).
n(+(n(D),n(+(C,n(n(+(C,+(C,+(n(D),+(n(D),n(n(+(n(D),n(n(+(C,n(D))))))))))))))))).
n(+(n(D),n(+(C,+(n(D),n(+(D,+(D,+(n(D),+(n(D),n(n(+(D,n(C)))))))))))))).
n(+(n(+(x,D)),n(+(x,+(n(D),n(+(D,+(D,+(n(D),+(n(D),n(n(+(D,n(C)))))))))))))).
n(+(n(D),n(+(D,+(D,+(n(D),+(n(D),n(n(+(D,n(C))))))))))).
n(+(C,n(+(C,+(n(D),+(n(D),n(+(D,+(D,+(n(D),+(n(D),n(n(+(D,n(C))))))))))))))).
n(+(D,n(+(n(D),n(n(+(D,+(D,+(n(D),+(n(D),n(n(+(D,n(C)))))))))))))).
n(+(n(D),n(+(D,n(n(+(n(D),n(n(+(D,+(D,+(n(D),+(n(D),n(n(+(D,n(C))))))))))))))))).
n(+(n(D),n(+(D,+(n(D),n(n(+(D,+(D,+(n(D),+(n(D),n(n(+(D,n(C))))))))))))))).
n(+(n(+(C,+(D,n(D)))),n(+(D,+(D,n(+(D,+(n(D),+(n(D),n(n(+(D,n(C))))))))))))).
n(+(n(D),n(+(D,+(D,+(n(D),n(n(+(D,+(n(D),+(n(D),n(n(+(D,n(C))))))))))))))).
n(+(n(+(x,D)),n(+(D,+(D,+(n(n(+(C,+(D,n(x))))),+(n(+(x,D)),n(+(x,D))))))))).
n(+(n(+(x,C)),n(+(x,+(n(D),n(+(C,+(C,+(n(D),+(n(D),n(n(+(C,n(D)))))))))))))).
n(+(n(D),n(+(D,+(n(D),n(+(C,+(C,+(n(D),+(n(D),n(n(+(C,n(D)))))))))))))).
n(+(n(D),n(+(C,+(C,+(n(D),+(n(D),n(n(+(C,n(D))))))))))).
n(+(C,n(+(n(D),n(n(+(C,+(C,+(n(D),+(n(D),n(n(+(C,n(D)))))))))))))).
n(+(n(D),n(+(C,n(n(+(n(D),n(n(+(C,+(C,+(n(D),+(n(D),n(n(+(C,n(D))))))))))))))))).
n(+(n(D),n(+(C,+(n(D),n(n(+(C,+(C,+(n(D),+(n(D),n(n(+(C,n(D))))))))))))))).
n(+(n(D),n(+(C,+(D,+(n(D),n(+(C,+(C,+(n(D),+(n(D),n(n(+(C,n(D))))))))))))))).
n(+(n(+(C,+(D,n(D)))),n(+(C,+(D,n(+(C,+(n(D),+(n(D),n(n(+(C,n(D))))))))))))).
n(+(n(D),n(+(C,+(C,+(n(D),n(n(+(C,+(n(D),+(n(D),n(n(+(C,n(D))))))))))))))).
n(+(n(D),n(+(D,n(n(+(D,+(D,+(n(D),+(n(D),n(n(+(n(D),n(n(+(D,n(C))))))))))))))))).
n(+(n(D),n(+(D,n(n(+(D,+(D,+(n(D),+(n(D),n(n(+(D,+(n(C),n(D))))))))))))))).
n(+(D,n(+(n(D),n(n(+(D,+(D,+(n(D),+(n(D),n(n(+(C,+(D,n(C))))))))))))))).
n(+(n(D),n(+(C,+(C,+(n(D),+(n(D),n(n(+(C,+(C,+(n(D),n(D))))))))))))).
n(+(C,n(+(C,+(C,+(n(D),+(n(D),n(n(+(C,+(n(D),n(+(D,n(+(C,n(D)))))))))))))))).
n(+(D,n(+(D,+(D,+(n(D),+(n(D),n(n(+(D,+(n(D),n(+(D,n(+(D,n(C)))))))))))))))).
n(+(n(D),n(+(C,+(C,+(n(D),+(n(D),n(n(+(C,+(n(D),n(+(D,n(C)))))))))))))).
n(+(n(D),n(+(D,+(D,+(n(D),+(n(D),n(n(+(D,+(n(+(x,C)),n(+(C,n(x)))))))))))))).
n(+(n(D),n(+(C,+(C,+(n(D),+(n(D),n(n(+(C,n(n(+(C,+(n(D),n(D))))))))))))))).
n(+(n(D),n(+(D,+(D,+(n(D),+(n(D),n(n(+(D,n(n(+(D,+(n(C),n(D))))))))))))))).
n(+(n(+(x,D)),n(+(D,+(D,+(n(n(+(D,n(+(x,C))))),+(n(+(x,D)),n(+(x,D))))))))).
n(+(D,n(+(D,+(D,+(n(D),+(n(D),n(n(+(n(D),n(n(+(D,n(C)))))))))))))).
n(+(D,n(+(D,+(D,+(n(D),+(n(D),n(n(+(D,+(n(C),n(D)))))))))))).
n(+(n(D),n(+(D,+(D,+(n(D),+(n(D),n(n(+(D,n(n(+(n(D),n(n(+(D,n(C))))))))))))))))).
n(+(n(D),n(+(D,+(D,+(n(D),+(n(D),n(n(+(D,+(n(D),n(n(+(D,n(C))))))))))))))).
n(+(n(D),n(+(D,+(D,+(n(D),+(n(D),n(n(+(D,+(n(D),n(+(C,n(D)))))))))))))).
n(+(n(D),n(+(D,+(D,+(n(D),+(n(D),n(n(+(C,+(D,n(C)))))))))))).
n(+(n(D),n(+(C,+(C,+(C,+(C,+(n(D),+(n(D),n(n(+(C,+(C,n(D)))))))))))))).
n(+(n(D),n(+(C,+(C,+(n(D),+(n(D),n(n(+(C,n(n(+(n(D),n(n(+(C,n(D))))))))))))))))).
n(+(n(D),n(+(C,+(C,+(n(D),+(n(D),n(n(+(C,+(n(D),n(n(+(C,n(D))))))))))))))).
n(+(n(+(x,y)),n(+(x,+(x,+(x,+(n(y),+(n(+(x,y)),n(+(x,y)))))))))).
n(+(n(D),n(+(D,+(n(D),n(n(+(D,+(D,+(n(D),n(n(+(D,+(n(C),n(D))))))))))))))).
n(+(D,n(+(D,+(n(D),n(n(+(D,+(n(D),+(n(D),n(n(+(C,+(D,n(C))))))))))))))).
n(+(n(D),n(+(D,n(n(+(n(D),n(n(+(D,+(D,+(n(D),n(n(+(D,+(n(C),n(D))))))))))))))))).
n(+(D,n(+(n(D),n(n(+(D,n(n(+(D,+(n(D),+(n(D),n(n(+(C,+(D,n(C))))))))))))))))).
n(+(n(D),n(+(C,+(C,+(n(D),n(+(n(n(D)),n(+(C,+(n(D),n(n(+(C,n(D))))))))))))))).
n(+(D,n(+(D,+(n(D),+(n(D),n(+(C,+(n(D),n(n(+(C,n(D))))))))))))).
n(+(n(D),n(+(D,n(n(+(D,+(n(D),+(n(D),n(+(C,+(n(D),n(n(+(C,n(D)))))))))))))))).
n(+(n(D),n(+(C,+(C,+(n(D),n(+(D,n(+(C,n(n(+(n(D),n(n(+(C,n(D))))))))))))))))).
n(+(D,n(+(D,+(n(D),+(n(D),n(+(C,n(n(+(n(D),n(n(+(C,n(D))))))))))))))).
n(+(n(D),n(+(D,+(n(+(C,n(D))),n(+(C,n(n(+(n(n(D)),n(+(C,n(D))))))))))))).
n(+(n(D),n(+(D,+(D,+(n(D),+(n(D),n(n(+(C,+(D,+(n(D),n(+(C,n(D))))))))))))))).
n(+(n(+(x,n(D))),n(+(x,+(D,n(+(C,+(D,+(n(D),+(n(D),n(+(C,n(D))))))))))))).
n(+(D,n(+(C,+(D,+(n(D),+(n(D),n(+(C,n(D)))))))))).
n(+(n(+(x,D)),n(+(x,+(n(D),n(+(C,+(D,+(n(D),n(+(C,n(D)))))))))))).
n(+(n(D),n(+(D,n(n(+(C,+(D,+(n(D),+(n(D),n(+(C,n(D))))))))))))).
n(+(n(D),n(+(D,+(n(D),n(n(+(C,+(D,+(n(D),n(+(C,n(D))))))))))))).
n(+(n(+(x,n(D))),n(+(x,+(D,n(+(n(D),n(n(+(C,+(D,+(n(D),n(+(C,n(D))))))))))))))).
n(+(n(D),n(+(D,n(n(+(n(D),n(n(+(C,+(D,+(n(D),n(+(C,n(D))))))))))))))).
n(+(D,n(+(n(D),n(n(+(D,n(n(+(C,+(D,+(n(D),+(n(D),n(+(C,n(D)))))))))))))))).
n(+(D,n(+(D,+(n(D),n(n(+(C,+(D,+(n(D),+(n(D),n(+(C,n(D)))))))))))))).
n(+(n(+(C,+(D,+(D,n(+(C,+(D,+(n(D),+(n(D),n(+(C,n(D)))))))))))),n(+(D,n(D))))).
n(+(n(D),n(+(D,+(n(D),n(+(C,+(n(D),n(+(C,+(D,+(n(D),n(+(C,n(D))))))))))))))).
n(+(n(+(C,+(D,D))),n(+(D,+(n(D),n(+(C,+(D,+(n(D),n(+(C,n(D)))))))))))).
n(+(D,n(+(n(D),n(n(+(D,+(n(D),n(n(+(C,+(D,+(n(D),n(+(C,n(D)))))))))))))))).
n(+(D,n(+(D,+(n(D),+(n(D),n(n(+(C,+(D,+(n(D),n(+(C,n(D)))))))))))))).
n(+(D,n(+(D,+(n(D),n(n(+(n(D),n(n(+(C,+(D,+(n(D),n(+(C,n(D)))))))))))))))).
n(+(D,n(+(n(D),n(n(+(C,+(D,+(n(D),n(+(C,n(D)))))))))))).
n(+(n(D),n(+(C,+(D,+(D,+(n(D),+(n(D),n(+(C,n(D))))))))))).
n(+(n(+(x,D)),n(+(x,+(n(D),n(+(C,+(D,+(D,+(n(D),+(n(D),n(+(C,n(D)))))))))))))).
n(+(n(+(C,+(C,+(C,+(D,n(+(C,+(C,+(n(D),n(D)))))))))),n(+(C,+(D,n(D)))))).
n(+(C,n(+(C,+(C,+(n(D),+(n(D),n(+(C,n(+(C,+(C,+(n(D),n(D)))))))))))))).
n(+(C,n(+(C,+(n(D),+(n(D),n(n(+(C,n(+(C,n(+(C,+(C,+(n(D),n(D)))))))))))))))).
n(+(n(+(x,+(C,C))),n(+(x,+(n(D),n(+(C,+(C,+(C,+(C,+(n(D),n(D)))))))))))).
n(+(n(D),n(+(D,+(n(D),n(+(C,+(C,+(C,+(C,+(n(D),n(D)))))))))))).
n(+(C,n(+(n(D),n(n(+(C,+(C,+(n(D),n(+(C,n(+(C,+(C,+(n(D),n(D)))))))))))))))).
n(+(C,n(+(C,+(n(D),n(+(C,n(+(C,+(C,+(n(D),n(D)))))))))))).
n(+(n(D),n(+(C,+(C,+(C,+(C,+(n(D),n(D))))))))).
n(+(n(+(x,C)),n(+(x,+(n(D),n(+(C,n(+(C,n(+(C,+(C,+(n(D),n(D)))))))))))))).
n(+(C,n(+(C,+(n(D),n(n(+(C,+(n(D),n(+(C,n(+(C,+(C,+(n(D),n(D)))))))))))))))).
n(+(C,+(C,n(+(n(D),n(n(+(C,+(C,+(C,+(C,+(n(D),n(D))))))))))))).
n(+(C,n(+(n(D),n(n(+(C,n(+(C,n(+(C,+(C,+(n(D),n(D)))))))))))))).
n(+(n(+(C,+(C,+(D,n(+(C,+(C,+(n(D),n(D))))))))),n(+(C,+(D,n(D)))))).
n(+(n(D),n(+(C,n(n(+(C,+(n(D),n(+(C,n(+(C,+(C,+(n(D),n(D))))))))))))))).
n(+(n(D),n(+(C,+(C,+(n(D),n(+(C,n(+(C,+(C,+(n(D),n(D))))))))))))).
n(+(n(D),n(+(C,+(n(D),n(n(+(C,n(+(C,n(+(C,+(C,+(n(D),n(D))))))))))))))).
n(+(n(D),n(+(C,n(n(+(n(D),n(n(+(C,n(+(C,n(+(C,+(C,+(n(D),n(D))))))))))))))))).
n(+(n(D),n(+(C,+(D,+(n(D),n(+(C,n(+(C,n(+(C,+(C,+(n(D),n(D))))))))))))))).
n(+(n(D),n(+(C,n(+(C,n(+(C,+(C,+(n(D),n(D))))))))))).
n(+(n(D),n(+(C,n(+(C,n(+(C,+(C,+(n(D),n(n(+(C,+(C,+(n(D),n(D)))))))))))))))).
n(+(n(D),n(+(C,+(C,+(C,+(C,+(n(D),n(n(+(C,+(C,+(n(D),n(D)))))))))))))).
n(+(n(D),n(+(C,+(D,+(n(D),n(+(C,+(C,n(D)))))))))).
n(+(n(D),n(+(D,+(D,+(n(D),+(n(D),n(n(+(D,+(n(D),n(+(C,+(C,n(D))))))))))))))).
n(+(n(+(x,n(D))),n(+(x,+(D,n(+(D,+(n(D),+(n(D),n(+(C,+(C,n(D))))))))))))).
n(+(D,n(+(D,+(n(D),n(+(D,n(+(D,+(n(D),n(+(C,+(C,n(D)))))))))))))).
n(+(D,n(+(D,+(n(D),+(n(D),n(+(C,+(C,n(D)))))))))).
n(+(D,n(+(D,+(n(D),n(+(C,+(C,+(D,n(+(D,+(n(D),n(+(C,+(C,n(D)))))))))))))))).
n(+(D,n(+(D,+(n(D),n(+(n(n(D)),n(+(D,+(n(D),n(+(C,+(C,n(D)))))))))))))).
n(+(n(D),n(+(D,n(n(+(D,+(n(D),+(n(D),n(+(C,+(C,n(D))))))))))))).
n(+(n(+(x,n(D))),n(+(x,+(D,n(+(n(D),n(n(+(D,+(n(D),n(+(C,+(C,n(D))))))))))))))).
n(+(n(D),n(+(D,n(n(+(n(D),n(n(+(D,+(n(D),n(+(C,+(C,n(D))))))))))))))).
n(+(D,n(+(n(D),n(n(+(D,n(n(+(D,+(n(D),+(n(D),n(+(C,+(C,n(D)))))))))))))))).
n(+(D,n(+(D,+(n(D),n(n(+(D,+(n(D),+(n(D),n(+(C,+(C,n(D)))))))))))))).
n(+(n(+(C,+(D,+(D,n(+(D,+(n(D),+(n(D),n(+(C,+(C,n(D)))))))))))),n(+(D,n(D))))).
n(+(D,n(+(n(D),n(n(+(D,+(n(D),n(n(+(D,+(n(D),n(+(C,+(C,n(D)))))))))))))))).
n(+(D,n(+(D,+(n(D),+(n(D),n(n(+(D,+(n(D),n(+(C,+(C,n(D)))))))))))))).
n(+(D,n(+(D,+(n(D),n(n(+(n(D),n(n(+(D,+(n(D),n(+(C,+(C,n(D)))))))))))))))).
n(+(x,n(+(x,+(n(D),+(n(+(x,+(C,C))),n(+(C,+(C,n(D)))))))))).
n(+(n(D),n(+(C,n(+(C,n(+(C,+(C,+(n(D),+(n(D),n(n(+(C,+(C,n(D)))))))))))))))).
n(+(n(+(C,n(+(C,n(+(n(n(D)),n(+(C,+(C,n(D)))))))))),n(+(C,+(C,n(D)))))).
n(+(n(+(C,+(C,n(D)))),n(+(C,+(C,n(n(+(n(n(D)),n(+(C,+(C,n(D)))))))))))).
n(+(C,n(+(C,+(C,+(n(D),+(n(D),n(+(C,n(+(n(D),n(n(+(C,+(C,n(D)))))))))))))))).
n(+(C,n(+(C,+(n(D),n(+(C,n(+(n(D),n(n(+(C,+(C,n(D)))))))))))))).
n(+(n(+(x,C)),n(+(x,+(n(D),n(+(C,n(+(C,n(+(n(D),n(n(+(C,+(C,n(D)))))))))))))))).
n(+(C,n(+(n(D),n(n(+(C,n(+(C,n(+(n(D),n(n(+(C,+(C,n(D)))))))))))))))).
n(+(n(+(C,+(C,+(D,n(+(n(D),n(n(+(C,+(C,n(D))))))))))),n(+(C,+(D,n(D)))))).
n(+(n(D),n(+(C,n(n(+(C,+(n(D),n(+(C,n(+(n(D),n(n(+(C,+(C,n(D))))))))))))))))).
n(+(n(D),n(+(C,+(C,+(n(D),n(+(C,n(+(n(D),n(n(+(C,+(C,n(D))))))))))))))).
n(+(n(D),n(+(C,+(n(D),n(n(+(C,n(+(C,n(+(n(D),n(n(+(C,+(C,n(D))))))))))))))))).
n(+(n(D),n(+(C,+(D,+(n(D),n(+(C,n(+(C,n(+(n(D),n(n(+(C,+(C,n(D))))))))))))))))).
n(+(n(D),n(+(C,n(+(C,n(+(n(D),n(n(+(C,+(C,n(D))))))))))))).
n(+(n(D),n(+(C,+(C,+(C,n(D))))))).
n(+(n(+(x,+(y,D))),n(+(x,+(y,+(C,+(C,n(D)))))))).
n(+(x,+(C,+(C,n(+(x,+(C,+(C,+(n(D),n(+(x,D))))))))))).
n(+(n(+(x,+(y,+(C,C)))),n(+(y,+(n(+(x,D)),n(+(x,+(C,+(C,n(D)))))))))).
n(+(n(+(x,+(y,+(C,C)))),n(+(x,+(n(+(y,D)),n(+(y,+(C,+(C,n(D)))))))))).
n(+(n(+(x,+(y,D))),n(+(x,+(D,+(n(+(y,D)),n(+(y,+(C,+(C,n(D))))))))))).
n(+(n(D),n(+(C,+(n(+(x,D)),n(+(D,+(n(+(x,D)),n(+(x,+(C,+(C,n(D))))))))))))).
n(+(D,n(+(n(n(+(D,+(n(+(x,D)),n(+(x,+(C,+(C,n(D))))))))),n(+(x,D)))))).
n(+(n(+(x,D)),n(+(D,+(n(+(x,D)),n(+(x,+(C,+(C,n(D)))))))))).
n(+(x,+(C,+(C,n(+(n(n(+(x,+(C,+(C,n(D)))))),n(+(x,D)))))))).
n(+(n(+(x,+(y,+(z,C)))),n(+(y,+(n(+(x,+(z,D))),n(+(x,+(z,+(C,n(D)))))))))).
n(+(x,+(C,n(+(x,+(x,+(C,+(C,+(n(D),+(n(+(x,D)),n(+(x,D)))))))))))).
n(+(n(+(x,+(y,D))),n(+(C,+(D,+(n(+(x,+(y,D))),n(+(x,+(y,+(C,n(D))))))))))).
n(+(D,n(+(C,+(D,+(n(+(x,D)),+(n(+(x,D)),n(+(x,+(C,n(D))))))))))).
n(+(D,n(+(n(n(+(C,+(D,+(n(+(x,D)),n(+(x,+(C,n(D))))))))),n(+(x,D)))))).
n(+(n(+(x,+(y,+(z,D)))),n(+(x,+(y,+(z,+(D,n(C)))))))).
n(+(n(+(x,+(y,D))),n(+(x,+(y,+(C,+(D,n(C)))))))).
n(+(n(+(x,+(y,+(z,+(u,D))))),n(+(x,+(y,+(C,+(D,n(+(z,u))))))))).
n(+(n(+(x,+(y,+(z,D)))),n(+(x,+(z,+(C,+(D,n(y)))))))).
n(+(n(+(x,+(y,D))),n(+(x,+(y,+(D,+(n(D),n(+(C,+(C,n(D))))))))))).
n(+(n(+(x,+(y,D))),n(+(x,+(y,+(D,+(n(D),n(+(C,n(D)))))))))).
n(+(n(+(x,+(y,D))),n(+(x,+(C,+(C,+(D,n(y)))))))).
n(+(x,+(y,+(D,n(+(x,+(y,+(D,+(n(C),n(+(x,+(y,D)))))))))))).
n(+(n(+(x,+(y,+(z,D)))),n(+(z,+(n(+(x,+(y,D))),n(+(x,+(y,+(D,n(C)))))))))).
n(+(n(+(x,+(y,+(z,D)))),n(+(x,+(n(+(y,+(z,D))),n(+(y,+(z,+(D,n(C)))))))))).
n(+(x,+(y,+(D,n(+(n(n(+(x,+(y,+(D,n(C)))))),n(+(x,+(y,D))))))))).
n(+(n(+(x,+(y,+(z,D)))),n(+(x,+(y,+(D,n(+(z,C)))))))).
n(+(n(+(x,+(y,+(z,+(u,v))))),n(+(x,+(y,+(u,n(+(z,v)))))))).
n(+(n(+(x,+(y,+(z,n(+(u,v)))))),n(+(x,+(y,+(z,+(u,v))))))).
n(+(n(D),n(+(C,+(C,+(D,+(n(D),n(+(C,n(D)))))))))).
n(+(n(+(x,+(y,D))),n(+(x,+(y,+(C,+(D,+(n(D),n(+(C,n(D))))))))))).
n(+(x,+(D,n(+(x,+(C,+(D,+(n(D),+(n(+(x,D)),n(+(C,n(D)))))))))))).
n(+(x,+(D,n(+(n(n(+(x,+(C,+(D,+(n(D),n(+(C,n(D))))))))),n(+(x,D))))))).
n(+(n(D),n(+(C,+(C,+(D,n(C))))))).
n(+(n(+(x,n(+(y,D)))),n(+(x,+(y,+(D,n(+(y,+(C,+(D,+(n(C),n(+(y,D))))))))))))).
n(+(n(+(x,+(y,+(D,n(+(x,+(C,+(D,+(n(C),n(+(x,D))))))))))),n(+(y,n(+(x,D)))))).
n(+(x,+(D,n(+(x,+(C,+(D,+(n(C),n(+(x,D)))))))))).
n(+(n(+(x,+(y,D))),n(+(y,+(n(+(x,D)),n(+(x,+(C,+(D,n(C)))))))))).
n(+(n(+(x,D)),n(+(x,+(D,n(n(+(x,+(C,+(D,+(n(C),n(+(x,D))))))))))))).
n(+(n(+(x,D)),n(+(x,+(D,+(n(n(+(x,+(C,+(D,n(C)))))),n(+(x,D)))))))).
n(+(n(+(x,+(y,D))),n(+(x,+(n(+(y,D)),n(+(y,+(C,+(D,n(C)))))))))).
n(+(n(+(x,D)),n(+(x,+(D,n(n(+(n(n(+(x,+(C,+(D,n(C)))))),n(+(x,D)))))))))).
n(+(n(D),n(+(D,+(n(+(x,D)),n(+(C,+(n(+(x,D)),n(+(x,+(C,+(D,n(C))))))))))))).
n(+(n(+(x,+(C,+(D,D)))),n(+(D,+(n(+(x,D)),n(+(x,+(C,+(D,n(C)))))))))).
n(+(x,+(D,n(+(n(n(+(x,D))),n(+(x,+(C,+(D,n(C)))))))))).
n(+(x,+(D,n(+(n(n(+(x,+(C,+(D,n(C)))))),n(+(x,D))))))).
n(+(n(+(x,+(y,D))),n(+(x,+(C,+(D,n(+(y,C)))))))).
n(+(n(+(x,+(y,+(z,+(u,D))))),n(+(x,+(C,+(D,n(+(y,+(z,u))))))))).
n(+(n(+(x,+(y,+(z,D)))),n(+(z,+(C,+(D,n(+(x,y)))))))).
n(+(n(+(x,+(y,D))),n(+(C,+(C,+(D,n(+(x,y)))))))).
n(+(n(+(x,+(y,+(z,D)))),n(+(y,+(z,+(C,+(D,n(x)))))))).
n(+(n(+(x,+(y,D))),n(+(y,+(D,+(n(+(x,D)),n(+(x,+(C,+(C,n(D))))))))))).
n(+(n(+(x,+(y,D))),n(+(y,+(D,+(n(+(x,D)),n(+(x,+(C,n(D)))))))))).
n(+(n(+(y,+(z,D))),n(+(z,+(n(+(x,+(y,D))),n(+(y,+(C,+(D,n(x)))))))))).
n(+(n(+(y,+(C,+(D,D)))),n(+(D,+(n(+(x,+(y,D))),n(+(y,+(C,+(D,n(x)))))))))).
n(+(y,+(D,n(+(y,+(C,+(D,+(n(x),n(+(x,+(y,D))))))))))).
n(+(n(+(x,+(z,D))),n(+(x,+(n(+(y,+(z,D))),n(+(z,+(C,+(D,n(y)))))))))).
n(+(x,+(D,n(+(x,+(D,+(n(D),+(n(+(x,D)),n(+(C,+(C,n(D)))))))))))).
n(+(x,+(D,n(+(n(n(+(x,+(D,+(n(D),n(+(C,+(C,n(D))))))))),n(+(x,D))))))).
n(+(n(D),n(+(C,+(D,+(n(D),n(+(C,+(n(+(x,D)),n(+(D,n(x)))))))))))).
n(+(x,+(D,n(+(x,+(D,+(n(D),+(n(+(x,D)),n(+(C,n(D))))))))))).
n(+(n(+(x,+(y,D))),n(+(y,+(n(+(x,D)),n(+(x,+(D,+(n(D),n(+(C,n(D)))))))))))).
n(+(n(+(x,+(y,D))),n(+(x,+(n(+(y,D)),n(+(y,+(D,+(n(D),n(+(C,n(D)))))))))))).
n(+(x,+(D,n(+(n(n(+(x,+(D,+(n(D),n(+(C,n(D)))))))),n(+(x,D))))))).
n(+(n(+(C,+(C,+(D,D)))),n(+(D,+(n(+(x,D)),n(+(C,+(C,+(D,n(x)))))))))).
n(+(n(+(x,+(C,+(C,+(D,D))))),n(+(D,+(n(+(x,D)),n(+(x,+(C,+(D,n(C)))))))))).
n(+(n(+(C,+(C,+(D,n(D))))),n(+(C,+(C,+(D,n(+(n(D),n(n(+(C,+(C,n(D))))))))))))).
n(+(n(+(C,+(C,+(D,D)))),n(+(D,+(n(D),n(+(D,+(n(D),n(+(C,+(C,n(D)))))))))))).
n(+(n(+(C,+(C,+(D,n(D))))),n(+(C,+(C,+(D,n(+(C,+(C,+(n(D),n(D))))))))))).
n(+(n(+(C,+(C,+(D,D)))),n(+(D,+(n(D),n(+(C,+(D,+(n(D),n(+(C,n(D)))))))))))).
n(+(n(+(C,+(C,+(D,n(D))))),n(+(C,+(D,n(+(C,+(n(D),n(+(D,n(+(C,n(D))))))))))))).
n(+(n(+(C,+(C,+(D,n(D))))),n(+(D,+(D,n(+(D,+(n(D),n(+(D,n(+(D,n(C))))))))))))).
n(+(n(+(C,+(C,+(D,D)))),n(+(D,+(n(D),n(+(D,+(n(+(x,C)),n(+(C,n(x))))))))))).
n(+(n(+(C,+(C,+(D,D)))),n(+(D,+(n(D),n(+(D,n(n(+(D,+(n(C),n(D)))))))))))).
n(+(n(+(C,+(C,+(D,D)))),n(+(D,+(n(+(x,D)),n(+(D,n(+(x,C))))))))).
n(+(n(+(C,+(C,+(D,n(D))))),n(+(D,+(D,n(+(n(D),n(n(+(D,n(C))))))))))).
n(+(n(+(C,+(C,+(D,n(+(D,n(C))))))),n(+(D,+(D,n(+(n(n(D)),n(+(D,n(C)))))))))).
n(+(n(+(C,+(C,+(D,n(D))))),n(+(D,+(D,n(+(D,+(n(C),n(D))))))))).
n(+(n(+(C,+(C,+(D,D)))),n(+(D,+(n(D),n(+(D,n(n(+(n(D),n(n(+(D,n(C)))))))))))))).
n(+(n(+(C,+(C,+(D,D)))),n(+(D,+(n(D),n(+(D,+(n(D),n(n(+(D,n(C)))))))))))).
n(+(n(+(C,+(C,+(D,n(+(x,D)))))),n(+(D,+(D,n(+(C,+(D,+(n(x),n(+(x,D))))))))))).
n(+(n(+(C,+(C,+(D,D)))),n(+(D,+(n(D),n(+(D,+(n(D),n(+(C,n(D))))))))))).
n(+(n(+(C,+(C,+(D,D)))),n(+(D,+(n(+(x,+(y,D))),n(+(C,+(D,n(+(x,y)))))))))).
n(+(n(+(C,+(C,+(D,D)))),n(+(D,+(n(D),n(+(C,+(D,n(C))))))))).
n(+(n(+(x,+(C,+(C,+(D,D))))),n(+(D,+(n(+(x,D)),n(+(x,+(D,n(C))))))))).
n(+(n(+(C,+(C,+(D,n(+(C,n(D))))))),n(+(C,+(D,n(+(n(n(D)),n(+(C,n(D)))))))))).
n(+(n(+(C,+(C,+(D,n(D))))),n(+(C,+(D,n(+(C,+(n(D),n(D))))))))).
n(+(n(+(C,+(C,+(D,n(D))))),n(+(C,+(D,n(+(n(D),n(n(+(C,n(D))))))))))).
n(+(n(+(x,+(D,n(+(x,+(n(y),n(+(x,y)))))))),n(+(C,+(C,+(D,n(+(x,y)))))))).
n(+(n(+(C,+(C,+(D,D)))),n(+(D,+(n(D),n(+(D,n(C)))))))).
n(+(n(+(C,+(C,+(D,D)))),n(+(D,+(n(+(x,D)),n(+(C,+(D,n(x))))))))).
n(+(n(+(x,+(D,n(+(n(n(+(x,n(y)))),n(+(x,y))))))),n(+(C,+(C,+(D,n(+(x,y)))))))).
n(+(n(+(x,n(+(y,D)))),n(+(x,+(D,n(+(C,+(C,+(D,+(n(y),n(+(y,D)))))))))))).
n(+(D,n(+(C,+(C,+(D,+(n(x),n(+(x,D))))))))).
n(+(n(+(C,+(C,+(D,n(x))))),n(+(D,+(n(n(+(x,D))),n(+(C,+(C,+(D,n(x)))))))))).
n(+(n(+(y,D)),n(+(y,+(n(+(x,D)),n(+(C,+(C,+(D,n(x)))))))))).
n(+(n(+(x,D)),n(+(D,n(n(+(C,+(C,+(D,+(n(x),n(+(x,D)))))))))))).
n(+(n(+(x,D)),n(+(D,+(n(n(+(C,+(C,+(D,n(x)))))),n(+(x,D))))))).
n(+(n(+(x,+(z,D))),n(+(x,+(z,+(n(+(y,D)),n(+(C,+(C,+(D,n(y))))))))))).
n(+(n(+(x,n(+(y,D)))),n(+(x,+(D,n(+(n(n(+(C,+(C,+(D,n(y)))))),n(+(y,D))))))))).
n(+(n(+(x,D)),n(+(D,n(n(+(n(n(+(C,+(C,+(D,n(x)))))),n(+(x,D))))))))).
n(+(D,n(+(D,+(n(n(+(C,+(C,+(D,+(n(x),n(+(x,D)))))))),n(+(x,D))))))).
n(+(n(+(C,+(D,+(D,n(+(C,+(C,+(D,+(n(x),n(+(x,D))))))))))),n(+(D,n(+(x,D)))))).
n(+(x,n(+(n(n(+(x,+(n(+(y,D)),n(+(C,+(C,+(D,n(y))))))))),n(+(x,D)))))).
n(+(n(D),n(+(D,+(n(D),n(+(C,+(n(+(x,D)),n(+(C,+(C,+(D,n(x))))))))))))).
n(+(n(D),n(+(C,+(n(+(D,D)),n(+(D,+(n(+(x,D)),n(+(C,+(C,+(D,n(x))))))))))))).
n(+(n(+(C,+(D,D))),n(+(D,+(n(+(x,D)),n(+(C,+(C,+(D,n(x)))))))))).
n(+(D,n(+(D,+(n(n(+(C,+(C,+(D,n(x)))))),+(n(+(x,D)),n(+(x,D)))))))).
n(+(D,n(+(n(n(+(x,D))),n(+(C,+(C,+(D,n(x))))))))).
n(+(D,n(+(n(n(+(C,+(C,+(D,n(x)))))),n(+(x,D)))))).
n(+(n(+(x,+(x,+(C,+(D,+(D,+(n(y),n(+(x,+(y,D)))))))))),n(+(x,+(y,D))))).
n(+(n(+(x,D)),n(+(x,+(n(+(y,D)),n(+(C,+(C,+(D,+(D,+(n(y),n(+(y,D))))))))))))).
n(+(n(+(x,n(+(D,n(+(x,+(C,+(D,+(n(y),n(+(x,+(y,D)))))))))))),n(+(x,+(y,D))))).
n(+(n(+(x,+(y,D))),n(+(D,n(+(x,n(+(x,+(C,+(D,+(n(y),n(+(x,+(y,D)))))))))))))).
n(+(n(+(x,D)),n(+(C,+(n(+(x,+(y,D))),n(+(x,+(C,+(D,n(y)))))))))).
n(+(n(+(x,n(D))),n(+(x,+(C,+(D,n(+(C,+(D,+(n(C),n(D))))))))))).
n(+(n(+(C,+(D,n(C)))),n(+(C,+(D,+(n(n(D)),n(+(C,+(D,n(C)))))))))).
n(+(n(D),n(+(C,+(D,n(n(+(C,+(D,+(n(C),n(D))))))))))).
n(+(C,+(D,n(+(C,+(D,+(n(C),n(D)))))))).
n(+(x,n(+(x,+(n(+(x,D)),n(+(D,n(+(x,+(D,+(n(C),n(+(x,D))))))))))))).
n(+(n(+(x,D)),n(+(x,+(x,+(D,+(D,+(n(C),n(+(x,D)))))))))).
n(+(D,n(+(n(D),n(n(+(C,+(D,+(D,+(n(C),n(D))))))))))).
n(+(n(+(x,+(y,D))),n(+(x,+(y,+(n(D),n(+(C,+(D,+(D,+(n(C),n(D)))))))))))).
n(+(n(D),n(+(D,+(n(D),n(n(+(C,+(D,+(D,+(n(C),n(D)))))))))))).
n(+(n(+(x,D)),n(+(x,+(n(D),n(+(C,+(D,+(D,+(n(C),n(D))))))))))).
n(+(n(D),n(+(C,+(n(+(D,D)),n(+(D,+(n(D),n(+(C,+(D,+(D,+(n(C),n(D)))))))))))))).
n(+(n(+(C,+(D,D))),n(+(D,+(n(D),n(+(C,+(D,+(D,+(n(C),n(D))))))))))).
n(+(n(+(x,+(D,+(D,n(+(x,+(D,+(n(C),n(+(x,D)))))))))),n(+(C,+(D,n(+(x,D))))))).
n(+(n(+(x,D)),n(+(x,n(+(D,n(+(x,+(D,+(n(C),n(+(x,D)))))))))))).
n(+(n(+(x,D)),n(+(D,n(+(x,n(+(x,+(D,+(n(C),n(+(x,D)))))))))))).
n(+(n(+(x,n(D))),n(+(x,+(C,+(D,n(+(n(D),n(n(+(C,+(D,n(C))))))))))))).
n(+(n(D),n(+(C,+(D,n(n(+(n(D),n(n(+(C,+(D,n(C))))))))))))).
n(+(n(+(x,+(y,D))),n(+(x,+(C,+(n(+(y,D)),n(+(y,+(D,n(C)))))))))).
n(+(n(+(x,+(y,D))),n(+(y,+(C,+(n(+(x,D)),n(+(x,+(D,n(C)))))))))).
n(+(n(D),n(+(C,+(n(+(C,+(D,D))),n(+(D,+(n(D),n(+(C,+(D,n(C)))))))))))).
n(+(n(+(x,D)),n(+(C,+(n(+(x,D)),n(+(x,+(D,n(C))))))))).
n(+(x,n(+(x,+(n(+(x,+(y,D))),+(n(+(y,D)),n(+(y,+(D,n(C)))))))))).
n(+(y,n(+(y,+(n(+(x,D)),+(n(+(x,+(y,D))),n(+(x,+(D,n(C)))))))))).
n(+(C,+(D,n(+(n(n(D)),n(+(C,+(D,n(C))))))))).
n(+(n(+(x,n(+(D,n(+(n(n(+(x,D))),n(+(x,+(D,n(C)))))))))),n(+(x,+(D,n(C)))))).
n(+(n(+(x,+(D,n(C)))),n(+(D,n(+(x,n(+(n(n(+(x,D))),n(+(x,+(D,n(C)))))))))))).
n(+(C,+(D,n(+(n(D),n(n(+(C,+(D,n(C)))))))))).
n(+(n(+(x,D)),n(+(x,n(+(D,n(+(n(n(+(x,+(D,n(C))))),n(+(x,D)))))))))).
n(+(n(+(x,D)),n(+(D,n(+(x,n(+(n(n(+(x,+(D,n(C))))),n(+(x,D)))))))))).
n(+(n(+(x,D)),n(+(x,+(D,n(+(C,C))))))).
n(+(n(+(x,+(y,+(z,D)))),n(+(x,+(D,n(+(y,+(z,C)))))))).
n(+(n(+(x,+(y,D))),n(+(y,+(D,n(+(x,C))))))).
n(+(x,+(D,n(+(x,+(D,+(n(+(x,+(y,D))),n(+(y,C))))))))).
n(+(n(+(x,+(z,D))),n(+(z,+(n(+(x,+(y,D))),n(+(x,+(D,n(+(y,C)))))))))).
n(+(n(+(x,+(y,D))),n(+(x,+(n(+(y,+(z,D))),n(+(y,+(D,n(+(z,C)))))))))).
n(+(n(+(x,+(C,+(D,D)))),n(+(D,+(n(+(x,+(y,D))),n(+(x,+(D,n(+(y,C)))))))))).
n(+(x,+(D,n(+(n(n(+(x,+(D,n(+(y,C)))))),n(+(x,+(y,D)))))))).
n(+(n(+(x,+(y,+(z,+(u,+(v,w)))))),n(+(x,+(w,n(+(y,+(z,+(u,v))))))))).
n(+(n(+(x,+(y,+(z,+(u,v))))),n(+(x,+(u,n(+(y,+(z,v)))))))).
n(+(n(+(x,+(y,D))),n(+(x,+(C,n(+(y,D))))))).
n(+(n(+(x,+(y,+(z,+(u,v))))),n(+(x,+(z,+(u,n(+(y,v)))))))).
n(+(n(+(x,+(y,+(z,u)))),n(+(y,+(u,n(+(x,z))))))).
n(+(x,+(z,n(+(x,+(z,+(n(+(x,+(y,+(z,u)))),n(+(y,u))))))))).
n(+(n(+(x,+(z,v))),n(+(v,+(n(+(x,+(y,+(z,u)))),n(+(x,+(z,n(+(y,u)))))))))).
n(+(n(+(x,+(y,u))),n(+(x,+(n(+(y,+(z,+(u,v)))),n(+(y,+(u,n(+(z,v)))))))))).
n(+(n(+(x,+(x,+(z,+(z,+(n(y),n(+(x,+(y,z))))))))),n(+(x,+(y,z))))).
n(+(n(+(x,+(y,z))),n(+(y,+(n(+(x,+(z,n(+(u,v))))),n(+(x,+(z,+(u,v))))))))).
n(+(n(+(x,+(y,D))),n(+(x,+(y,+(D,+(n(+(z,C)),n(+(C,n(z)))))))))).
n(+(n(+(x,D)),n(+(x,+(D,+(n(+(y,D)),n(+(C,n(+(y,D)))))))))).
n(+(n(+(x,D)),n(+(x,+(D,+(n(D),n(+(C,+(n(D),n(+(C,+(D,n(C))))))))))))).
n(+(n(+(x,D)),n(+(x,+(D,+(n(+(C,C)),n(+(C,+(n(D),n(+(C,n(D)))))))))))).
n(+(n(+(x,D)),n(+(x,+(D,+(n(+(y,C)),n(+(C,+(C,+(n(y),n(+(y,C)))))))))))).
n(+(x,+(D,n(+(x,+(D,+(n(+(x,D)),+(n(+(y,C)),n(+(C,n(y))))))))))).
n(+(x,+(D,n(+(n(n(+(x,+(D,+(n(+(y,C)),n(+(C,n(y)))))))),n(+(x,D))))))).
n(+(n(D),n(+(C,+(C,+(n(D),n(+(D,n(C))))))))).
n(+(n(D),n(+(C,+(C,+(n(+(x,+(y,D))),n(+(D,n(+(x,y)))))))))).
n(+(n(D),n(+(C,+(C,+(n(D),n(+(D,+(n(D),n(+(C,+(C,+(n(D),n(D)))))))))))))).
n(+(n(D),n(+(C,+(C,+(n(+(D,n(D))),n(+(D,+(D,n(+(D,+(n(C),n(D))))))))))))).
n(+(n(D),n(+(C,+(C,+(n(+(D,D)),n(+(D,+(n(D),n(+(C,+(D,n(C))))))))))))).
n(+(n(D),n(+(C,+(C,+(n(D),n(+(D,+(n(D),n(+(C,+(C,n(D))))))))))))).
n(+(n(D),n(+(C,+(C,+(n(+(C,+(D,n(+(C,+(n(D),n(D))))))),n(+(D,n(D))))))))).
n(+(n(D),n(+(C,+(C,+(n(+(D,D)),n(+(D,+(n(D),n(+(D,n(C)))))))))))).
n(+(n(D),n(+(C,+(C,+(n(D),n(+(D,+(n(D),n(+(C,n(D)))))))))))).
n(+(n(D),n(+(C,+(C,+(n(+(y,D)),n(+(D,+(n(+(x,y)),n(+(y,n(x)))))))))))).
n(+(n(D),n(+(C,+(C,+(n(+(x,D)),n(+(D,+(n(+(x,y)),n(+(x,n(y)))))))))))).
n(+(n(D),n(+(C,+(C,+(n(D),n(+(D,+(D,+(n(D),+(n(D),n(+(C,n(D)))))))))))))).
n(+(n(D),n(+(C,+(C,+(n(D),n(+(D,+(D,+(n(D),n(+(D,n(+(D,n(C))))))))))))))).
n(+(n(D),n(+(C,+(C,+(n(D),n(+(D,+(n(D),n(n(+(D,n(C))))))))))))).
n(+(n(D),n(+(C,+(C,+(n(+(D,n(C))),n(+(D,+(n(n(D)),n(+(D,n(C)))))))))))).
n(+(n(D),n(+(C,+(C,+(n(D),n(+(D,+(D,+(n(C),n(D))))))))))).
n(+(n(D),n(+(C,+(C,+(n(+(x,D)),n(+(C,+(D,+(D,+(n(x),n(+(x,D))))))))))))).
n(+(n(D),n(+(C,+(C,+(n(+(x,D)),n(+(D,+(D,+(n(x),n(+(x,D)))))))))))).
n(+(n(D),n(+(C,+(C,+(n(+(x,D)),n(+(D,+(n(n(+(D,n(x)))),n(+(x,D))))))))))).
n(+(C,+(C,n(+(C,+(C,+(n(D),+(n(+(x,D)),n(+(D,n(x))))))))))).
n(+(n(+(x,+(C,C))),n(+(x,+(n(D),n(+(C,+(C,+(n(+(y,D)),n(+(D,n(y)))))))))))).
n(+(n(D),n(+(C,+(C,n(n(+(C,+(C,+(n(D),+(n(+(x,D)),n(+(D,n(x)))))))))))))).
n(+(n(D),n(+(C,+(C,+(n(D),n(n(+(C,+(C,+(n(+(x,D)),n(+(D,n(x)))))))))))))).
n(+(n(D),n(+(D,+(n(D),n(+(C,+(C,+(n(+(x,D)),n(+(D,n(x)))))))))))).
n(+(D,n(+(n(D),n(n(+(D,+(n(D),n(+(C,+(C,+(n(+(x,D)),n(+(D,n(x))))))))))))))).
n(+(C,+(C,n(+(n(D),n(n(+(C,+(C,+(n(+(x,D)),n(+(D,n(x))))))))))))).
n(+(n(+(x,D)),n(+(x,+(C,+(C,+(n(+(y,D)),n(+(D,n(y)))))))))).
n(+(x,+(C,n(+(x,+(C,+(n(D),+(n(+(x,D)),n(+(D,n(C))))))))))).
n(+(n(+(x,+(y,C))),n(+(y,+(n(+(x,D)),n(+(x,+(C,+(n(D),n(+(D,n(C)))))))))))).
n(+(n(+(x,+(y,C))),n(+(x,+(n(+(y,D)),n(+(y,+(C,+(n(D),n(+(D,n(C)))))))))))).
n(+(x,+(C,n(+(n(n(+(x,+(C,+(n(D),n(+(D,n(C)))))))),n(+(x,D))))))).
n(+(n(+(x,D)),n(+(x,+(C,+(n(+(y,D)),n(+(D,n(+(y,C)))))))))).
n(+(n(+(x,D)),n(+(x,+(C,+(n(+(C,+(D,D))),n(+(D,n(D))))))))).
n(+(n(D),n(+(C,+(D,+(n(+(x,+(y,C))),n(+(C,n(+(x,y)))))))))).
n(+(n(D),n(+(C,+(D,+(n(D),n(+(C,+(n(+(x,D)),n(+(C,+(C,+(D,n(x)))))))))))))).
n(+(n(D),n(+(C,+(D,+(n(+(C,C)),n(+(C,+(n(D),n(+(C,+(C,+(n(D),n(D)))))))))))))).
n(+(n(D),n(+(C,+(D,+(n(D),n(+(C,+(n(D),n(+(D,n(n(+(D,+(n(C),n(D)))))))))))))))).
n(+(n(D),n(+(C,+(D,+(n(D),n(+(C,+(n(+(x,D)),n(+(D,n(+(x,C))))))))))))).
n(+(n(D),n(+(C,+(D,+(n(+(C,n(D))),n(+(C,+(D,n(+(n(D),n(n(+(D,n(C))))))))))))))).
n(+(n(D),n(+(C,+(D,+(n(+(C,n(D))),n(+(C,+(D,n(+(D,+(n(C),n(D))))))))))))).
n(+(n(D),n(+(C,+(D,+(n(D),n(+(C,+(n(D),n(+(D,+(n(D),n(n(+(D,n(C)))))))))))))))).
n(+(n(D),n(+(C,+(D,+(n(+(x,D)),n(+(C,n(+(x,D)))))))))).
n(+(n(D),n(+(C,+(D,+(n(D),n(+(C,+(n(D),n(+(D,+(n(D),n(+(C,n(D))))))))))))))).
n(+(n(D),n(+(C,+(D,+(n(D),n(+(C,+(n(D),n(+(C,+(D,n(C))))))))))))).
n(+(n(D),n(+(C,+(D,+(n(+(x,D)),n(+(C,+(n(+(x,D)),n(+(x,+(D,n(C))))))))))))).
n(+(n(D),n(+(C,+(D,+(n(+(C,+(C,C))),n(+(C,+(n(D),n(+(C,+(C,n(D))))))))))))).
n(+(n(D),n(+(C,+(D,+(n(D),n(+(C,+(n(D),n(+(n(C),n(+(C,+(n(D),n(D))))))))))))))).
n(+(n(D),n(+(C,+(D,+(n(+(C,n(D))),n(+(C,+(C,n(+(C,+(n(D),n(D))))))))))))).
n(+(n(D),n(+(C,+(D,+(n(+(C,n(D))),n(+(C,+(C,n(+(n(D),n(n(+(C,n(D))))))))))))))).
n(+(n(D),n(+(C,+(D,+(n(D),n(+(C,+(n(D),n(+(D,n(C)))))))))))).
n(+(n(D),n(+(C,+(D,+(n(D),n(+(C,+(n(+(x,D)),n(+(C,+(D,n(x))))))))))))).
n(+(n(D),n(+(C,+(D,+(n(+(C,C)),n(+(C,+(n(D),n(+(C,n(D)))))))))))).
n(+(n(D),n(+(C,+(D,+(n(+(y,C)),n(+(C,+(n(+(x,y)),n(+(y,n(x)))))))))))).
n(+(n(D),n(+(C,+(D,+(n(+(x,C)),n(+(C,+(n(+(x,y)),n(+(x,n(y)))))))))))).
n(+(n(D),n(+(C,+(D,+(n(D),n(+(C,+(n(D),n(n(+(C,+(n(D),n(+(D,n(C)))))))))))))))).
n(+(n(D),n(+(C,+(D,+(n(+(x,C)),n(+(C,+(C,+(n(x),n(+(x,C)))))))))))).
n(+(n(D),n(+(C,+(D,+(n(+(C,n(x))),n(+(C,+(n(n(+(x,C))),n(+(C,n(x)))))))))))).
n(+(n(D),n(+(C,+(D,+(n(+(x,C)),n(+(C,+(n(n(+(C,n(x)))),n(+(x,C))))))))))).
n(+(n(+(x,n(D))),n(+(x,+(D,n(+(C,+(D,+(n(D),+(n(+(y,C)),n(+(C,n(y))))))))))))).
n(+(D,n(+(C,+(D,+(n(D),+(n(+(x,C)),n(+(C,n(x)))))))))).
n(+(n(+(x,D)),n(+(x,+(n(D),n(+(C,+(D,+(n(+(y,C)),n(+(C,n(y)))))))))))).
n(+(n(D),n(+(D,n(n(+(C,+(D,+(n(D),+(n(+(x,C)),n(+(C,n(x))))))))))))).
n(+(n(D),n(+(D,+(n(D),n(n(+(C,+(D,+(n(+(x,C)),n(+(C,n(x))))))))))))).
n(+(n(D),n(+(D,n(n(+(n(D),n(n(+(C,+(D,+(n(+(x,C)),n(+(C,n(x))))))))))))))).
n(+(D,n(+(D,+(n(D),n(n(+(C,+(D,+(n(D),+(n(+(x,C)),n(+(C,n(x)))))))))))))).
n(+(n(+(C,+(D,D))),n(+(D,+(n(D),n(+(C,+(D,+(n(+(x,C)),n(+(C,n(x)))))))))))).
n(+(D,n(+(D,+(n(D),+(n(D),n(n(+(C,+(D,+(n(+(x,C)),n(+(C,n(x)))))))))))))).
n(+(D,n(+(n(D),n(n(+(C,+(D,+(n(+(x,C)),n(+(C,n(x)))))))))))).
n(+(n(+(x,D)),n(+(C,+(D,+(n(+(x,+(y,C))),n(+(x,+(C,n(y)))))))))).
n(+(n(D),n(+(C,+(D,+(n(D),n(+(C,+(C,n(n(+(n(D),n(n(+(C,+(C,n(D))))))))))))))))).
n(+(n(D),n(+(C,+(D,+(n(D),n(+(C,+(C,n(n(+(C,+(C,+(n(D),n(D))))))))))))))).
n(+(n(D),n(+(C,+(D,+(n(D),n(+(C,+(C,+(n(D),n(n(+(C,+(C,n(D))))))))))))))).
n(+(n(D),n(+(C,+(D,+(n(D),n(+(C,+(C,+(C,+(C,+(n(D),n(D))))))))))))).
n(+(D,n(+(C,+(D,+(n(D),+(n(D),n(+(C,n(n(+(C,+(n(D),n(D)))))))))))))).
n(+(D,n(+(n(D),n(n(+(C,+(D,+(n(D),n(+(C,n(n(+(C,+(n(D),n(D)))))))))))))))).
n(+(D,n(+(C,+(D,+(n(D),+(n(D),n(+(C,n(n(+(n(D),n(n(+(C,n(D)))))))))))))))).
n(+(n(D),n(+(C,+(D,+(n(+(x,C)),n(+(C,n(n(+(C,+(n(x),n(+(x,C)))))))))))))).
n(+(n(D),n(+(C,+(D,+(n(D),n(+(n(D),n(+(D,+(n(D),+(n(D),n(+(C,n(D))))))))))))))).
n(+(n(D),n(+(C,+(D,+(n(D),n(+(n(D),n(+(C,+(D,+(n(C),n(D))))))))))))).
n(+(n(D),n(+(C,+(D,+(n(D),n(+(n(D),n(+(D,+(n(C),n(D)))))))))))).
n(+(n(+(C,+(D,+(n(D),n(+(D,n(n(+(n(D),n(n(+(C,+(D,n(C)))))))))))))),n(+(D,D)))).
n(+(n(+(C,+(C,+(D,+(D,n(+(C,+(D,+(n(C),n(D)))))))))),n(+(D,n(D))))).
n(+(D,n(+(C,+(D,+(n(D),+(n(+(C,n(D))),n(+(C,+(n(n(D)),n(+(C,n(D))))))))))))).
n(+(D,n(+(C,+(D,+(n(D),+(n(D),n(+(C,+(C,+(n(D),n(D)))))))))))).
n(+(n(+(x,D)),n(+(x,+(n(D),n(+(C,+(D,+(n(D),n(+(C,+(C,+(n(D),n(D)))))))))))))).
n(+(n(D),n(+(D,n(n(+(C,+(D,+(n(D),+(n(D),n(+(C,+(C,+(n(D),n(D))))))))))))))).
n(+(n(D),n(+(D,+(n(D),n(n(+(C,+(D,+(n(D),n(+(C,+(C,+(n(D),n(D))))))))))))))).
n(+(D,n(+(n(D),n(n(+(C,+(D,+(n(D),n(+(C,+(C,+(n(D),n(D)))))))))))))).
n(+(D,n(+(C,+(D,+(n(D),+(n(D),n(+(C,+(n(D),n(n(+(C,n(D)))))))))))))).
n(+(D,n(+(n(D),n(n(+(C,+(D,+(n(D),n(+(C,+(n(D),n(n(+(C,n(D)))))))))))))))).
n(+(n(+(x,D)),n(+(x,+(n(+(C,+(D,+(D,n(+(D,+(n(C),n(D)))))))),n(+(D,n(D)))))))).
n(+(D,n(+(n(n(+(C,+(D,+(D,n(+(D,+(n(C),n(D))))))))),n(+(D,n(D))))))).
n(+(n(+(x,D)),n(+(x,+(n(+(C,+(C,+(D,n(+(C,+(n(D),n(D)))))))),n(+(D,n(D)))))))).
n(+(D,n(+(n(n(+(C,+(C,+(D,n(+(C,+(n(D),n(D))))))))),n(+(D,n(D))))))).
n(+(n(+(C,+(D,+(n(D),n(+(D,+(n(D),n(n(+(C,+(D,n(C)))))))))))),n(+(D,D)))).
n(+(n(+(y,D)),n(+(C,+(D,+(n(+(x,y)),n(+(y,+(n(n(+(y,n(x)))),n(+(x,y))))))))))).
n(+(n(D),n(+(C,+(D,+(D,n(+(D,+(n(+(D,+(n(C),n(D)))),n(+(n(C),n(D)))))))))))).
n(+(D,n(+(C,+(D,+(n(+(x,y)),+(n(+(y,D)),n(+(y,n(x)))))))))).
n(+(D,n(+(C,+(D,+(D,+(n(+(D,n(D))),n(+(n(D),n(n(+(D,n(C))))))))))))).
n(+(D,n(+(C,+(C,+(D,+(n(+(D,n(D))),n(+(n(D),n(n(+(C,n(D))))))))))))).
n(+(D,n(+(C,+(D,+(n(D),+(n(+(D,D)),n(+(D,+(D,+(n(C),n(D)))))))))))).
n(+(D,n(+(C,+(D,+(D,+(n(+(C,+(D,+(n(C),n(D))))),n(+(D,n(D)))))))))).
n(+(D,n(+(C,+(D,+(D,+(n(+(D,n(D))),n(+(D,+(n(C),n(D))))))))))).
n(+(D,n(+(C,+(C,+(D,+(n(+(C,+(n(D),n(D)))),n(+(D,n(D)))))))))).
n(+(n(+(x,D)),n(+(C,+(D,+(D,+(n(+(x,y)),+(n(+(x,D)),n(+(x,n(y))))))))))).
n(+(n(D),n(+(C,+(n(+(x,D)),n(+(C,+(D,+(n(+(x,y)),n(+(x,n(y)))))))))))).
n(+(D,n(+(n(n(+(C,+(D,+(n(+(x,y)),n(+(y,n(x)))))))),n(+(y,D)))))).
n(+(n(D),n(+(C,+(D,+(n(D),n(+(C,+(n(+(C,+(D,n(C)))),n(+(D,n(C)))))))))))).
n(+(n(D),n(+(D,n(n(+(C,+(n(D),n(+(C,+(n(+(C,+(D,n(C)))),n(+(D,n(C)))))))))))))).
n(+(n(D),n(+(C,+(D,+(n(D),n(+(n(n(+(C,n(+(D,n(C)))))),n(+(C,+(D,n(C)))))))))))).
n(+(D,n(+(D,+(n(D),n(+(D,+(n(+(C,+(D,+(n(C),n(D))))),n(+(D,n(C))))))))))).
n(+(C,n(+(C,+(n(D),n(+(D,+(n(+(C,n(D))),n(+(C,+(D,+(n(C),n(D))))))))))))).
n(+(D,n(+(D,+(n(D),n(+(n(n(D)),n(+(C,+(D,n(C))))))))))).
n(+(D,n(+(D,+(n(D),n(+(D,n(+(C,+(D,n(C))))))))))).
n(+(n(D),n(+(D,+(D,+(n(D),+(n(D),n(n(+(D,n(n(+(C,+(D,+(n(C),n(D)))))))))))))))).
n(+(D,n(+(D,+(n(D),n(+(n(n(D)),n(+(D,n(n(+(C,+(D,+(n(C),n(D))))))))))))))).
n(+(D,n(+(D,+(n(D),n(+(D,n(+(D,n(n(+(C,+(D,+(n(C),n(D))))))))))))))).
n(+(n(D),n(+(D,n(n(+(n(D),n(n(+(D,n(n(+(C,+(D,+(n(C),n(D)))))))))))))))).
n(+(D,n(+(n(D),n(n(+(D,n(n(+(D,+(n(D),n(n(+(C,+(D,+(n(C),n(D))))))))))))))))).
n(+(D,n(+(D,+(n(D),n(n(+(D,+(n(D),n(n(+(C,+(D,+(n(C),n(D))))))))))))))).
n(+(n(D),n(+(D,+(n(D),n(+(C,+(n(D),n(+(D,n(n(+(C,+(D,+(n(C),n(D)))))))))))))))).
n(+(n(+(C,+(C,+(D,D)))),n(+(D,+(n(D),n(+(D,n(n(+(C,+(D,+(n(C),n(D))))))))))))).
n(+(D,n(+(n(D),n(n(+(D,+(n(D),n(n(+(D,n(n(+(C,+(D,+(n(C),n(D))))))))))))))))).
n(+(D,n(+(D,+(n(D),+(n(D),n(n(+(D,n(n(+(C,+(D,+(n(C),n(D))))))))))))))).
n(+(D,n(+(D,+(n(D),n(n(+(n(D),n(n(+(D,n(n(+(C,+(D,+(n(C),n(D))))))))))))))))).
n(+(n(+(x,D)),n(+(x,+(C,+(n(D),n(+(C,+(D,+(D,+(n(C),n(D)))))))))))).
n(+(D,n(+(D,+(D,+(n(D),+(n(D),n(n(+(C,+(D,+(n(C),n(D))))))))))))).
n(+(D,n(+(D,+(n(D),n(n(+(n(D),n(n(+(C,+(D,+(D,+(n(C),n(D))))))))))))))).
n(+(n(D),n(+(C,+(n(D),n(+(C,+(D,+(D,+(n(C),n(D))))))))))).
n(+(x,n(+(x,+(n(D),+(n(+(x,D)),n(+(C,+(D,+(D,+(n(C),n(D)))))))))))).
n(+(D,n(+(n(D),n(n(+(D,+(D,+(n(D),n(n(+(C,+(D,+(n(C),n(D))))))))))))))).
n(+(D,n(+(n(D),n(n(+(D,+(n(D),n(n(+(C,+(D,+(D,+(n(C),n(D))))))))))))))).
n(+(n(D),n(+(C,+(n(D),n(+(D,+(n(D),n(n(+(C,+(D,+(D,+(n(C),n(D))))))))))))))).
n(+(C,n(+(C,+(n(D),+(n(D),n(+(C,+(D,+(D,+(n(C),n(D)))))))))))).
n(+(n(D),n(+(C,n(n(+(C,+(n(D),+(n(D),n(+(C,+(D,+(D,+(n(C),n(D))))))))))))))).
n(+(n(D),n(+(C,+(C,+(n(D),n(+(C,+(D,+(D,+(n(C),n(D)))))))))))).
n(+(C,n(+(n(D),n(n(+(C,+(n(D),n(+(C,+(D,+(D,+(n(C),n(D)))))))))))))).
n(+(n(D),n(+(C,+(n(D),n(n(+(C,+(n(D),n(+(C,+(D,+(D,+(n(C),n(D))))))))))))))).
n(+(n(+(x,C)),n(+(x,+(n(D),n(+(C,+(n(D),n(+(C,+(D,+(D,+(n(C),n(D)))))))))))))).
n(+(n(D),n(+(D,+(n(D),n(+(C,+(n(D),n(+(C,+(D,+(D,+(n(C),n(D)))))))))))))).
n(+(n(+(x,n(D))),n(+(x,+(D,n(+(n(D),n(n(+(C,+(D,+(D,+(n(C),n(D)))))))))))))).
n(+(n(+(x,+(C,+(D,n(D))))),n(+(x,+(D,+(D,n(+(C,+(D,+(n(C),n(D))))))))))).
n(+(n(D),n(+(D,n(n(+(n(D),n(n(+(C,+(D,+(D,+(n(C),n(D)))))))))))))).
n(+(n(+(C,+(D,+(n(D),n(+(C,+(D,+(D,+(n(C),n(D)))))))))),n(+(D,D)))).
n(+(n(+(C,+(C,+(D,n(D))))),n(+(D,+(D,n(+(C,+(D,+(n(C),n(D)))))))))).
n(+(n(+(C,+(D,n(D)))),n(+(D,+(D,n(+(C,+(D,+(n(C),n(D)))))))))).
n(+(n(D),n(+(D,+(n(D),n(n(+(D,+(D,+(n(D),n(n(+(C,+(D,+(n(C),n(D)))))))))))))))).
n(+(n(D),n(+(D,n(n(+(D,+(D,+(n(D),+(n(D),n(n(+(C,+(D,+(n(C),n(D)))))))))))))))).
n(+(n(D),n(+(D,+(D,+(n(D),n(n(+(D,+(n(D),n(n(+(C,+(D,+(n(C),n(D)))))))))))))))).
n(+(n(D),n(+(D,+(n(D),n(+(n(D),+(n(+(C,+(D,+(n(C),n(D))))),n(+(D,n(C))))))))))).
n(+(n(D),n(+(D,+(D,+(n(D),n(n(+(C,+(D,+(n(C),n(D)))))))))))).
n(+(n(+(C,+(D,+(n(D),n(+(D,n(n(+(C,+(D,+(n(C),n(D)))))))))))),n(+(D,D)))).
n(+(n(D),n(+(C,+(n(D),n(+(D,+(n(D),n(+(n(D),n(+(C,+(D,+(n(C),n(D))))))))))))))).
n(+(n(D),n(+(D,+(D,+(n(D),+(n(D),n(n(+(D,+(n(D),n(n(+(C,+(D,n(C)))))))))))))))).
n(+(D,n(+(D,+(n(D),n(+(D,n(+(D,+(n(D),n(n(+(C,+(D,n(C))))))))))))))).
n(+(D,n(+(D,+(n(D),n(+(n(n(D)),n(+(D,+(n(D),n(n(+(C,+(D,n(C))))))))))))))).
n(+(n(D),n(+(D,+(n(D),n(+(C,+(n(D),n(+(D,+(n(D),n(n(+(C,+(D,n(C)))))))))))))))).
n(+(n(+(C,+(C,+(D,D)))),n(+(D,+(n(D),n(+(D,+(n(D),n(n(+(C,+(D,n(C))))))))))))).
n(+(n(+(x,D)),n(+(x,+(C,+(n(D),n(+(C,+(D,n(C)))))))))).
n(+(n(D),n(+(C,+(n(D),n(+(D,+(n(D),n(n(+(C,+(D,n(C))))))))))))).
n(+(n(D),n(+(C,+(n(D),n(+(D,n(n(+(n(D),n(n(+(C,+(D,n(C))))))))))))))).
n(+(D,n(+(D,+(n(D),n(+(D,n(+(D,n(n(+(n(D),n(n(+(C,+(D,n(C))))))))))))))))).
n(+(D,n(+(n(D),n(n(+(D,+(n(D),n(+(n(D),n(+(C,+(D,+(n(C),n(D))))))))))))))).
n(+(n(D),n(+(D,+(n(D),n(+(n(D),n(+(C,+(D,+(n(C),n(D)))))))))))).
n(+(n(D),n(+(D,+(n(D),n(+(n(D),+(n(+(C,+(D,n(C)))),n(+(D,+(n(C),n(D)))))))))))).
n(+(n(+(x,C)),n(+(x,+(n(D),n(+(C,+(n(D),n(+(C,+(D,n(C)))))))))))).
n(+(C,n(+(n(D),n(n(+(C,+(n(D),n(+(C,+(D,n(C)))))))))))).
n(+(n(D),n(+(D,+(n(D),n(+(C,+(n(D),n(n(+(C,+(n(D),n(+(C,+(D,n(C)))))))))))))))).
n(+(D,n(+(D,+(n(D),+(n(+(C,+(D,D))),n(+(C,+(D,n(C)))))))))).
n(+(n(D),n(+(C,+(n(D),n(+(C,+(D,n(C))))))))).
n(+(x,n(+(x,+(n(D),+(n(+(x,D)),n(+(C,+(D,n(C)))))))))).
n(+(n(+(x,D)),n(+(x,n(n(+(x,+(n(D),+(n(+(x,D)),n(+(C,+(D,n(C))))))))))))).
n(+(n(D),n(+(C,+(n(D),n(+(D,+(D,+(n(D),+(n(D),n(n(+(C,+(D,n(C))))))))))))))).
n(+(n(D),n(+(D,+(n(D),n(n(+(D,+(D,+(n(D),+(n(D),n(n(+(C,+(D,n(C)))))))))))))))).
n(+(n(D),n(+(D,+(D,+(n(D),n(n(+(D,+(n(D),+(n(D),n(n(+(C,+(D,n(C)))))))))))))))).
n(+(n(D),n(+(C,+(n(+(C,+(D,n(C)))),n(+(D,+(n(n(D)),n(+(C,+(D,n(C)))))))))))).
n(+(n(D),n(+(C,+(D,+(n(+(C,n(+(C,+(D,n(C)))))),n(+(C,+(D,n(C)))))))))).
n(+(n(D),n(+(D,+(n(+(C,n(+(C,+(D,n(C)))))),n(+(C,+(D,n(C))))))))).
n(+(n(+(C,+(D,n(C)))),n(+(D,n(n(+(n(n(D)),n(+(C,+(D,n(C))))))))))).
n(+(n(+(x,D)),n(+(x,+(C,+(n(D),n(+(D,+(n(D),n(n(+(C,+(D,n(C)))))))))))))).
n(+(D,n(+(D,+(D,+(n(D),+(n(D),n(n(+(n(D),n(n(+(C,+(D,n(C))))))))))))))).
n(+(C,n(+(C,+(n(D),+(n(D),n(+(D,+(n(D),n(n(+(C,+(D,n(C)))))))))))))).
n(+(n(D),n(+(C,+(C,+(n(D),n(+(D,+(n(D),n(n(+(C,+(D,n(C)))))))))))))).
n(+(C,n(+(n(D),n(n(+(C,+(n(D),n(+(D,+(n(D),n(n(+(C,+(D,n(C)))))))))))))))).
n(+(n(+(C,+(C,+(D,n(D))))),n(+(D,+(D,n(+(n(D),n(n(+(C,+(D,n(C)))))))))))).
n(+(n(+(C,+(D,n(D)))),n(+(D,+(D,n(+(n(D),n(n(+(C,+(D,n(C)))))))))))).
n(+(n(D),n(+(C,+(D,n(+(C,C))))))).
n(+(n(+(x,+(y,D))),n(+(C,+(D,n(+(x,+(y,C)))))))).
n(+(n(+(x,n(+(y,D)))),n(+(x,+(D,n(+(C,+(D,+(n(+(y,C)),n(+(y,D))))))))))).
n(+(D,n(+(C,+(D,+(n(+(x,C)),n(+(x,D)))))))).
n(+(n(+(x,+(z,D))),n(+(x,+(z,+(n(+(y,D)),n(+(C,+(D,n(+(y,C))))))))))).
n(+(n(+(C,+(D,n(+(x,C))))),n(+(D,+(n(n(+(x,D))),n(+(C,+(D,n(+(x,C)))))))))).
n(+(n(+(y,D)),n(+(y,+(n(+(x,D)),n(+(C,+(D,n(+(x,C)))))))))).
n(+(n(+(x,D)),n(+(D,n(n(+(C,+(D,+(n(+(x,C)),n(+(x,D))))))))))).
n(+(n(+(x,D)),n(+(D,+(n(n(+(C,+(D,n(+(x,C)))))),n(+(x,D))))))).
n(+(n(+(x,n(+(y,D)))),n(+(x,+(D,n(+(n(n(+(C,+(D,n(+(y,C)))))),n(+(y,D))))))))).
n(+(n(+(x,D)),n(+(D,n(n(+(n(n(+(C,+(D,n(+(x,C)))))),n(+(x,D))))))))).
n(+(D,n(+(D,+(n(n(+(C,+(D,+(n(+(x,C)),n(+(x,D))))))),n(+(x,D))))))).
n(+(n(+(C,+(D,+(D,n(+(C,+(D,+(n(+(x,C)),n(+(x,D)))))))))),n(+(D,n(+(x,D)))))).
n(+(x,n(+(n(n(+(x,+(n(+(y,D)),n(+(C,+(D,n(+(y,C))))))))),n(+(x,D)))))).
n(+(n(D),n(+(C,+(D,+(n(D),n(+(C,+(n(+(x,D)),n(+(C,+(D,n(+(x,C)))))))))))))).
n(+(n(D),n(+(D,+(n(D),n(+(C,+(n(+(x,D)),n(+(C,+(D,n(+(x,C))))))))))))).
n(+(n(D),n(+(C,+(n(+(D,D)),n(+(D,+(n(+(x,D)),n(+(C,+(D,n(+(x,C))))))))))))).
n(+(n(+(C,+(C,+(D,D)))),n(+(D,+(n(+(x,D)),n(+(C,+(D,n(+(x,C)))))))))).
n(+(n(+(C,+(D,D))),n(+(D,+(n(+(x,D)),n(+(C,+(D,n(+(x,C)))))))))).
n(+(D,n(+(D,+(n(n(+(C,+(D,n(+(x,C)))))),+(n(+(x,D)),n(+(x,D)))))))).
n(+(D,n(+(n(n(+(x,D))),n(+(C,+(D,n(+(x,C))))))))).
n(+(D,n(+(n(n(+(C,+(D,n(+(x,C)))))),n(+(x,D)))))).
n(+(n(+(x,+(y,+(z,+(u,D))))),n(+(C,+(D,n(+(x,+(y,+(z,u))))))))).
n(+(D,n(+(C,+(D,+(n(+(x,+(y,z))),n(+(x,+(y,+(z,D)))))))))).
n(+(n(+(u,D)),n(+(u,+(n(+(x,+(y,+(z,D)))),n(+(C,+(D,n(+(x,+(y,z))))))))))).
n(+(n(+(C,+(D,D))),n(+(D,n(n(+(C,+(D,+(n(D),n(+(C,+(D,D)))))))))))).
n(+(D,n(+(C,+(D,+(n(D),n(+(C,+(D,D))))))))).
n(+(n(+(C,+(D,D))),n(+(D,+(n(n(+(C,+(D,n(D))))),n(+(C,+(D,D)))))))).
n(+(n(+(C,+(D,D))),n(+(D,n(n(+(n(n(+(C,+(D,n(D))))),n(+(C,+(D,D)))))))))).
n(+(n(D),n(+(C,+(n(+(x,+(y,D))),n(+(C,+(D,n(+(x,y)))))))))).
n(+(n(+(x,D)),n(+(x,+(n(+(C,+(D,D))),n(+(C,+(D,n(D))))))))).
n(+(x,n(+(x,+(n(+(x,D)),+(n(+(y,+(z,D))),n(+(C,+(D,n(+(y,z))))))))))).
n(+(D,n(+(n(n(+(C,+(D,D)))),n(+(C,+(D,n(D)))))))).
n(+(D,n(+(n(n(+(C,+(D,n(D))))),n(+(C,+(D,D))))))).
n(+(n(+(C,+(D,D))),n(+(D,+(n(+(D,D)),n(+(D,+(n(D),n(+(D,n(C))))))))))).
n(+(n(+(C,+(D,D))),n(+(D,+(n(+(D,n(D))),n(+(D,+(D,n(+(D,+(n(C),n(D)))))))))))).
n(+(n(+(C,+(D,D))),n(+(D,+(n(+(C,+(D,n(+(C,+(n(D),n(D))))))),n(+(D,n(D)))))))).
n(+(n(+(x,D)),n(+(D,+(D,+(n(+(x,D)),+(n(+(x,D)),n(+(x,+(C,n(D))))))))))).
n(+(n(D),n(+(D,+(D,+(n(D),n(+(C,+(D,n(+(D,+(n(D),n(+(C,n(D))))))))))))))).
n(+(n(D),n(+(D,n(n(+(D,+(n(D),n(+(C,+(D,n(+(D,+(n(D),n(+(C,n(D))))))))))))))))).
n(+(n(D),n(+(D,+(D,+(n(D),n(+(n(n(D)),n(+(D,+(n(D),n(+(C,n(D)))))))))))))).
n(+(n(D),n(+(D,n(n(+(D,+(n(D),n(+(n(n(D)),n(+(D,+(n(D),n(+(C,n(D)))))))))))))))).
n(+(D,n(+(D,+(D,+(n(D),+(n(D),n(n(+(D,+(n(D),+(n(D),n(+(C,n(D))))))))))))))).
n(+(n(+(x,D)),n(+(x,+(n(D),n(+(D,+(D,+(n(D),+(n(D),n(+(C,n(D))))))))))))).
n(+(n(D),n(+(D,+(D,+(n(D),+(n(D),n(+(C,n(D)))))))))).
n(+(D,n(+(n(D),n(n(+(D,+(D,+(n(D),+(n(D),n(+(C,n(D))))))))))))).
n(+(n(D),n(+(D,n(n(+(n(D),n(n(+(D,+(D,+(n(D),+(n(D),n(+(C,n(D)))))))))))))))).
n(+(n(D),n(+(D,+(n(D),n(n(+(D,+(D,+(n(D),+(n(D),n(+(C,n(D)))))))))))))).
n(+(n(+(C,+(D,+(n(D),n(+(D,+(D,+(n(D),+(n(D),n(+(C,n(D)))))))))))),n(+(D,D)))).
n(+(n(+(C,+(C,+(D,n(D))))),n(+(D,+(D,n(+(D,+(n(D),+(n(D),n(+(C,n(D)))))))))))).
n(+(n(+(C,+(D,n(D)))),n(+(D,+(D,n(+(D,+(n(D),+(n(D),n(+(C,n(D)))))))))))).
n(+(n(D),n(+(D,+(D,+(n(D),n(n(+(D,+(n(D),+(n(D),n(+(C,n(D)))))))))))))).
n(+(x,n(+(x,+(n(D),+(n(+(x,D)),n(+(D,+(n(D),n(+(C,n(D)))))))))))).
n(+(n(+(C,+(D,n(D)))),n(+(D,+(D,n(+(n(D),n(n(+(D,+(n(D),n(+(C,n(D)))))))))))))).
n(+(D,n(+(D,+(n(D),+(n(D),n(+(C,+(C,+(n(D),n(n(+(C,+(C,n(D))))))))))))))).
n(+(n(D),n(+(C,+(C,+(n(+(x,D)),n(+(C,+(D,n(x)))))))))).
n(+(n(+(x,D)),n(+(x,+(C,+(n(+(y,+(z,D))),n(+(C,+(D,n(+(y,z))))))))))).
n(+(x,+(C,n(+(x,+(C,+(n(+(x,D)),+(n(+(y,D)),n(+(C,+(D,n(y)))))))))))).
n(+(n(D),n(+(C,+(n(+(x,D)),n(+(D,n(n(+(C,+(D,+(n(x),n(+(x,D)))))))))))))).
n(+(n(D),n(+(C,+(n(+(C,+(D,n(D)))),n(+(D,+(D,n(+(C,+(D,+(n(C),n(D))))))))))))).
n(+(n(D),n(+(C,+(n(+(C,+(D,D))),n(+(D,+(n(+(x,D)),n(+(D,n(+(x,C)))))))))))).
n(+(n(D),n(+(C,+(n(+(C,+(D,n(D)))),n(+(D,+(D,n(+(n(D),n(n(+(D,n(C)))))))))))))).
n(+(n(D),n(+(C,+(n(+(C,+(D,n(D)))),n(+(D,+(D,n(+(D,+(n(C),n(D)))))))))))).
