p(e(e(x,e(y,e(z,e(e(u,e(v,z)),e(v,u))))),e(y,x))).
p(e(e(e(e(x,e(y,z)),e(y,x)),e(z,u)),u)).
p(e(x,x)).
p(e(e(x,e(e(y,e(z,x)),e(z,y))),e(u,u))).
p(e(x,e(x,e(y,e(e(z,e(u,y)),e(u,z)))))).
p(e(e(x,e(y,e(z,z))),e(y,x))).
p(e(x,e(e(y,y),e(x,e(z,z))))).
p(e(x,e(x,e(y,y)))).
p(e(x,e(e(e(y,e(z,u)),e(z,y)),e(u,e(x,e(v,v)))))).
p(e(x,e(e(y,y),e(x,e(z,e(e(u,e(v,z)),e(v,u))))))).
p(e(e(x,e(x,y)),y)).
p(e(e(x,x),e(y,y))).
p(e(x,e(e(y,e(e(z,e(u,y)),e(u,z))),e(x,e(v,v))))).
p(e(e(x,e(y,e(e(z,e(u,e(v,v))),e(u,z)))),e(y,x))).
p(e(e(x,e(x,e(y,y))),e(z,z))).
p(e(e(e(x,e(y,e(z,z))),e(y,x)),e(u,u))).
p(e(e(e(e(e(x,e(y,z)),e(y,x)),e(z,u)),u),e(v,v))).
p(e(e(x,e(y,e(z,e(z,e(u,u))))),e(y,x))).
p(e(e(e(x,e(x,y)),y),e(z,z))).
p(e(x,e(y,e(y,e(x,e(z,z)))))).
p(e(x,e(y,e(y,e(x,e(z,e(e(u,e(v,z)),e(v,u)))))))).
p(e(e(x,e(y,e(e(z,e(z,u)),u))),e(y,x))).
p(e(e(e(x,x),e(y,y)),e(z,z))).
p(e(e(x,e(y,e(e(z,z),e(u,u)))),e(y,x))).
p(e(e(x,x),e(e(e(y,y),e(z,z)),e(u,u)))).
p(e(e(x,x),e(e(e(y,e(y,z)),z),e(u,u)))).
p(e(e(x,x),e(e(y,e(y,e(z,z))),e(u,u)))).
p(e(e(x,x),e(e(y,e(e(z,z),e(y,e(u,u)))),e(v,v)))).
p(e(e(x,x),e(e(e(y,e(z,e(u,u))),e(z,y)),e(v,v)))).
p(e(e(x,x),e(e(y,y),e(z,z)))).
p(e(e(x,x),e(e(y,e(e(z,e(u,y)),e(u,z))),e(v,v)))).
p(e(e(x,e(e(y,y),e(x,e(z,z)))),e(u,u))).
p(e(e(x,e(y,e(z,e(e(u,u),e(z,e(v,v)))))),e(y,x))).
p(e(e(e(x,e(x,e(y,y))),e(z,z)),e(u,u))).
p(e(e(x,x),e(e(e(y,e(y,e(z,z))),e(u,u)),e(v,v)))).
p(e(e(x,x),e(y,e(y,e(z,z))))).
p(e(e(x,e(e(y,e(z,x)),e(z,y))),e(u,e(u,e(v,v))))).
p(e(e(x,e(y,e(e(z,e(z,e(u,u))),e(v,v)))),e(y,x))).
p(e(e(e(e(x,e(x,y)),y),e(z,z)),e(u,u))).
p(e(e(x,x),e(e(e(e(y,e(y,z)),z),e(u,u)),e(v,v)))).
p(e(e(x,x),e(e(y,e(y,z)),z))).
p(e(e(x,e(e(y,e(z,x)),e(z,y))),e(e(u,e(u,v)),v))).
p(e(e(x,e(y,e(e(e(z,e(z,u)),u),e(v,v)))),e(y,x))).
p(e(x,e(x,e(e(y,e(z,e(z,e(y,e(u,u))))),e(v,v))))).
p(e(x,e(x,e(e(e(e(y,e(y,z)),z),e(u,u)),e(v,v))))).
p(e(x,e(x,e(e(e(y,e(y,e(z,z))),e(u,u)),e(v,v))))).
p(e(x,e(x,e(e(e(y,y),e(z,z)),e(u,u))))).
p(e(x,e(x,e(e(e(y,e(y,z)),z),e(u,u))))).
p(e(x,e(x,e(e(y,e(y,e(z,z))),e(u,u))))).
p(e(x,e(x,e(e(y,e(e(z,z),e(y,e(u,u)))),e(v,v))))).
p(e(x,e(x,e(e(e(y,e(z,e(u,u))),e(z,y)),e(v,v))))).
p(e(x,e(x,e(e(y,y),e(z,z))))).
p(e(x,e(x,e(e(y,e(e(z,e(u,y)),e(u,z))),e(v,v))))).
p(e(e(x,e(y,e(y,e(x,e(z,z))))),e(u,u))).
p(e(e(x,x),e(e(y,e(z,e(z,e(y,e(u,u))))),e(v,v)))).
p(e(e(x,e(y,y)),x)).
p(e(x,e(e(e(y,e(z,x)),e(z,y)),e(u,u)))).
p(e(x,e(y,e(y,x)))).
p(e(e(x,e(y,e(z,e(u,e(u,e(z,e(v,v))))))),e(y,x))).
p(e(e(e(x,e(y,z)),e(y,x)),e(z,e(u,u)))).
p(e(x,e(x,e(e(e(y,e(z,z)),y),e(u,u))))).
p(e(e(e(x,e(y,y)),x),e(z,z))).
p(e(e(x,x),e(e(e(y,e(z,z)),y),e(u,u)))).
p(e(x,e(e(x,e(y,y)),e(z,z)))).
p(e(x,e(e(x,e(y,e(e(z,e(u,y)),e(u,z)))),e(v,v)))).
p(e(e(x,e(y,e(e(z,e(u,u)),z))),e(y,x))).
p(e(x,e(x,e(y,e(z,e(z,y)))))).
p(e(x,e(x,e(e(y,e(z,z)),y)))).
p(e(x,e(x,e(y,e(z,e(z,e(y,e(u,u)))))))).
p(e(x,e(x,e(e(y,e(y,z)),z)))).
p(e(x,e(x,e(y,e(y,e(z,z)))))).
p(e(x,e(x,e(y,e(e(z,z),e(y,e(u,u))))))).
p(e(x,e(x,e(e(y,e(z,e(u,u))),e(z,y))))).
p(e(x,e(x,e(e(e(e(y,e(z,u)),e(z,y)),e(u,v)),v)))).
p(e(x,e(x,e(e(y,e(z,e(z,y))),e(u,u))))).
p(e(e(x,e(y,e(y,x))),e(z,z))).
p(e(e(x,x),e(e(y,e(z,e(z,y))),e(u,u)))).
p(e(e(x,e(y,e(z,e(u,e(u,z))))),e(y,x))).
p(e(x,e(x,e(e(e(e(y,y),e(z,z)),e(u,u)),e(v,v))))).
p(e(e(e(e(x,x),e(y,y)),e(z,z)),e(u,u))).
p(e(e(x,x),e(e(e(e(y,y),e(z,z)),e(u,u)),e(v,v)))).
p(e(e(x,e(e(y,e(z,x)),e(z,y))),e(e(u,u),e(v,v)))).
p(e(e(x,e(y,e(e(e(z,z),e(u,u)),e(v,v)))),e(y,x))).
p(e(x,e(x,e(e(y,y),e(e(z,z),e(u,u)))))).
p(e(x,e(x,e(e(e(y,y),e(e(z,z),e(u,u))),e(v,v))))).
p(e(e(e(x,x),e(e(y,y),e(z,z))),e(u,u))).
p(e(e(x,x),e(e(e(y,y),e(e(z,z),e(u,u))),e(v,v)))).
p(e(e(x,e(y,e(e(z,z),e(e(u,u),e(v,v))))),e(y,x))).
p(e(x,e(x,e(e(y,y),e(z,e(z,e(u,u))))))).
p(e(x,e(x,e(e(e(y,y),e(z,e(z,e(u,u)))),e(v,v))))).
p(e(e(e(x,x),e(y,e(y,e(z,z)))),e(u,u))).
p(e(e(x,x),e(e(e(y,y),e(z,e(z,e(u,u)))),e(v,v)))).
p(e(e(x,e(y,e(e(z,z),e(u,e(u,e(v,v)))))),e(y,x))).
p(e(x,e(x,e(e(y,y),e(e(z,e(z,u)),u))))).
p(e(x,e(x,e(e(e(y,y),e(e(z,e(z,u)),u)),e(v,v))))).
p(e(e(e(x,x),e(e(y,e(y,z)),z)),e(u,u))).
p(e(e(x,x),e(e(e(y,y),e(e(z,e(z,u)),u)),e(v,v)))).
p(e(e(x,e(x,e(y,e(e(z,e(u,y)),e(u,z))))),e(v,v))).
p(e(e(x,e(y,e(e(z,z),e(e(u,e(u,v)),v)))),e(y,x))).
p(e(e(x,e(y,e(y,x))),e(e(z,z),e(u,u)))).
p(e(e(e(x,e(y,y)),x),e(e(z,z),e(u,u)))).
p(e(e(x,e(x,e(e(y,y),e(z,z)))),e(e(u,u),e(v,v)))).
p(e(e(e(x,x),e(e(y,e(y,z)),z)),e(e(u,u),e(v,v)))).
p(e(e(e(x,x),e(y,e(y,e(z,z)))),e(e(u,u),e(v,v)))).
p(e(e(e(x,x),e(e(y,y),e(z,z))),e(e(u,u),e(v,v)))).
p(e(e(e(e(x,x),e(y,y)),e(z,z)),e(e(u,u),e(v,v)))).
p(e(e(x,e(y,e(y,e(x,e(z,z))))),e(e(u,u),e(v,v)))).
p(e(e(e(e(x,e(x,y)),y),e(z,z)),e(e(u,u),e(v,v)))).
p(e(e(e(x,e(x,e(y,y))),e(z,z)),e(e(u,u),e(v,v)))).
p(e(e(e(x,x),e(y,y)),e(e(z,z),e(u,u)))).
p(e(e(e(x,e(x,y)),y),e(e(z,z),e(u,u)))).
p(e(e(x,e(x,e(y,y))),e(e(z,z),e(u,u)))).
p(e(e(x,e(e(y,y),e(x,e(z,z)))),e(e(u,u),e(v,v)))).
p(e(e(e(x,e(y,e(z,z))),e(y,x)),e(e(u,u),e(v,v)))).
p(e(x,e(x,e(y,e(y,e(e(z,z),e(u,u))))))).
p(e(x,e(x,e(e(y,e(y,e(e(z,z),e(u,u)))),e(v,v))))).
p(e(e(x,e(x,e(e(y,y),e(z,z)))),e(u,u))).
p(e(e(x,x),e(e(y,e(y,e(e(z,z),e(u,u)))),e(v,v)))).
p(e(e(x,e(y,e(z,e(z,e(e(u,u),e(v,v)))))),e(y,x))).
p(e(e(e(e(x,e(y,y)),x),e(z,z)),e(e(u,u),e(v,v)))).
p(e(x,e(x,e(e(e(e(y,e(z,z)),y),e(u,u)),e(v,v))))).
p(e(e(e(e(x,e(y,y)),x),e(z,z)),e(u,u))).
p(e(e(x,x),e(e(e(e(y,e(z,z)),y),e(u,u)),e(v,v)))).
p(e(e(x,x),e(e(y,e(z,z)),y))).
p(e(e(x,e(e(y,e(z,x)),e(z,y))),e(e(u,e(v,v)),u))).
p(e(e(x,e(y,e(e(e(z,e(u,u)),z),e(v,v)))),e(y,x))).
p(e(e(e(x,e(e(x,e(y,y)),e(z,z))),e(u,u)),e(v,v))).
p(e(e(e(e(e(x,e(y,y)),x),e(z,z)),e(u,u)),e(v,v))).
p(e(e(e(x,e(y,e(y,x))),e(z,z)),e(u,u))).
p(e(e(e(x,e(x,e(e(y,y),e(z,z)))),e(u,u)),e(v,v))).
p(e(e(e(e(x,x),e(e(y,e(y,z)),z)),e(u,u)),e(v,v))).
p(e(e(e(e(x,x),e(y,e(y,e(z,z)))),e(u,u)),e(v,v))).
p(e(e(e(e(x,x),e(e(y,y),e(z,z))),e(u,u)),e(v,v))).
p(e(e(e(e(e(x,x),e(y,y)),e(z,z)),e(u,u)),e(v,v))).
p(e(e(e(x,e(y,e(y,e(x,e(z,z))))),e(u,u)),e(v,v))).
p(e(e(e(e(e(x,e(x,y)),y),e(z,z)),e(u,u)),e(v,v))).
p(e(e(e(e(x,e(x,e(y,y))),e(z,z)),e(u,u)),e(v,v))).
p(e(e(e(x,e(e(y,y),e(x,e(z,z)))),e(u,u)),e(v,v))).
p(e(e(e(e(x,e(y,e(z,z))),e(y,x)),e(u,u)),e(v,v))).
p(e(e(e(x,e(e(y,e(z,x)),e(z,y))),e(u,u)),e(v,v))).
p(e(x,e(x,e(y,e(e(y,e(z,z)),e(u,u)))))).
p(e(e(x,e(e(x,e(y,y)),e(z,z))),e(e(u,u),e(v,v)))).
p(e(x,e(x,e(e(y,e(e(y,e(z,z)),e(u,u))),e(v,v))))).
p(e(e(x,e(e(x,e(y,y)),e(z,z))),e(u,u))).
p(e(e(x,x),e(e(y,e(e(y,e(z,z)),e(u,u))),e(v,v)))).
p(e(e(x,e(y,e(z,e(e(z,e(u,u)),e(v,v))))),e(y,x))).
p(e(e(x,e(x,e(y,e(z,e(z,y))))),e(u,e(v,e(v,u))))).
p(e(e(x,e(e(x,e(y,y)),e(z,z))),e(u,e(v,e(v,u))))).
p(e(e(e(e(x,e(y,y)),x),e(z,z)),e(u,e(v,e(v,u))))).
p(e(e(x,e(y,e(y,x))),e(z,e(u,e(u,z))))).
p(e(e(e(x,e(y,y)),x),e(z,e(u,e(u,z))))).
p(e(e(x,e(x,e(e(y,y),e(z,z)))),e(u,e(v,e(v,u))))).
p(e(e(e(x,x),e(e(y,e(y,z)),z)),e(u,e(v,e(v,u))))).
p(e(e(e(x,x),e(y,e(y,e(z,z)))),e(u,e(v,e(v,u))))).
p(e(e(e(x,x),e(e(y,y),e(z,z))),e(u,e(v,e(v,u))))).
p(e(e(e(e(x,x),e(y,y)),e(z,z)),e(u,e(v,e(v,u))))).
p(e(e(x,e(y,e(y,e(x,e(z,z))))),e(u,e(v,e(v,u))))).
p(e(e(e(e(x,e(x,y)),y),e(z,z)),e(u,e(v,e(v,u))))).
p(e(e(e(x,e(x,e(y,y))),e(z,z)),e(u,e(v,e(v,u))))).
p(e(e(e(x,x),e(y,y)),e(z,e(u,e(u,z))))).
p(e(e(e(x,e(x,y)),y),e(z,e(u,e(u,z))))).
p(e(e(x,e(x,e(y,y))),e(z,e(u,e(u,z))))).
p(e(e(x,e(e(y,y),e(x,e(z,z)))),e(u,e(v,e(v,u))))).
p(e(e(e(x,e(y,e(z,z))),e(y,x)),e(u,e(v,e(v,u))))).
p(e(e(x,x),e(y,e(z,e(z,y))))).
p(e(e(x,e(e(y,e(z,x)),e(z,y))),e(u,e(v,e(v,u))))).
p(e(e(e(x,e(x,e(y,e(z,e(z,y))))),e(u,u)),e(v,v))).
p(e(x,e(x,e(y,e(y,e(z,e(u,e(u,z)))))))).
p(e(e(x,e(x,e(y,e(z,e(z,y))))),e(e(u,u),e(v,v)))).
p(e(x,e(x,e(e(y,e(y,e(z,e(u,e(u,z))))),e(v,v))))).
p(e(e(x,e(x,e(y,e(z,e(z,y))))),e(u,u))).
p(e(e(x,x),e(e(y,e(y,e(z,e(u,e(u,z))))),e(v,v)))).
p(e(e(x,e(y,e(z,e(z,e(u,e(v,e(v,u))))))),e(y,x))).
p(e(e(x,e(x,e(e(y,e(z,z)),y))),e(e(u,e(v,v)),u))).
p(e(e(x,e(x,e(y,e(z,e(z,y))))),e(e(u,e(v,v)),u))).
p(e(e(x,e(e(x,e(y,y)),e(z,z))),e(e(u,e(v,v)),u))).
p(e(e(e(e(x,e(y,y)),x),e(z,z)),e(e(u,e(v,v)),u))).
p(e(e(x,e(y,e(y,x))),e(e(z,e(u,u)),z))).
p(e(e(e(x,e(y,y)),x),e(e(z,e(u,u)),z))).
p(e(e(x,e(x,e(e(y,y),e(z,z)))),e(e(u,e(v,v)),u))).
p(e(e(e(x,x),e(e(y,e(y,z)),z)),e(e(u,e(v,v)),u))).
p(e(e(e(x,x),e(y,e(y,e(z,z)))),e(e(u,e(v,v)),u))).
p(e(e(e(x,x),e(e(y,y),e(z,z))),e(e(u,e(v,v)),u))).
p(e(e(e(e(x,x),e(y,y)),e(z,z)),e(e(u,e(v,v)),u))).
p(e(e(x,e(y,e(y,e(x,e(z,z))))),e(e(u,e(v,v)),u))).
p(e(e(e(e(x,e(x,y)),y),e(z,z)),e(e(u,e(v,v)),u))).
p(e(e(e(x,e(x,e(y,y))),e(z,z)),e(e(u,e(v,v)),u))).
p(e(e(e(x,x),e(y,y)),e(e(z,e(u,u)),z))).
p(e(e(e(x,e(x,y)),y),e(e(z,e(u,u)),z))).
p(e(e(x,e(x,e(y,y))),e(e(z,e(u,u)),z))).
p(e(e(x,e(e(y,y),e(x,e(z,z)))),e(e(u,e(v,v)),u))).
p(e(e(e(x,e(y,e(z,z))),e(y,x)),e(e(u,e(v,v)),u))).
p(e(e(x,e(x,e(e(y,e(z,z)),y))),e(u,e(v,e(v,u))))).
p(e(e(e(x,e(x,e(e(y,e(z,z)),y))),e(u,u)),e(v,v))).
p(e(x,e(x,e(y,e(y,e(e(z,e(u,u)),z)))))).
p(e(e(x,e(x,e(e(y,e(z,z)),y))),e(e(u,u),e(v,v)))).
p(e(x,e(x,e(e(y,e(y,e(e(z,e(u,u)),z))),e(v,v))))).
p(e(e(x,e(x,e(e(y,e(z,z)),y))),e(u,u))).
p(e(e(x,x),e(e(y,e(y,e(e(z,e(u,u)),z))),e(v,v)))).
p(e(e(x,e(y,e(z,e(z,e(e(u,e(v,v)),u))))),e(y,x))).
p(e(e(x,e(x,e(e(y,e(y,z)),z))),e(e(u,e(u,v)),v))).
p(e(e(x,e(x,e(e(y,e(z,z)),y))),e(e(u,e(u,v)),v))).
p(e(e(x,e(x,e(y,e(z,e(z,y))))),e(e(u,e(u,v)),v))).
p(e(e(x,e(e(x,e(y,y)),e(z,z))),e(e(u,e(u,v)),v))).
p(e(e(e(e(x,e(y,y)),x),e(z,z)),e(e(u,e(u,v)),v))).
p(e(e(x,e(y,e(y,x))),e(e(z,e(z,u)),u))).
p(e(e(e(x,e(y,y)),x),e(e(z,e(z,u)),u))).
p(e(e(x,e(x,e(e(y,y),e(z,z)))),e(e(u,e(u,v)),v))).
p(e(e(e(x,x),e(e(y,e(y,z)),z)),e(e(u,e(u,v)),v))).
p(e(e(e(x,x),e(y,e(y,e(z,z)))),e(e(u,e(u,v)),v))).
p(e(e(e(x,x),e(e(y,y),e(z,z))),e(e(u,e(u,v)),v))).
p(e(e(e(e(x,x),e(y,y)),e(z,z)),e(e(u,e(u,v)),v))).
p(e(e(x,e(y,e(y,e(x,e(z,z))))),e(e(u,e(u,v)),v))).
p(e(e(e(e(x,e(x,y)),y),e(z,z)),e(e(u,e(u,v)),v))).
p(e(e(e(x,e(x,e(y,y))),e(z,z)),e(e(u,e(u,v)),v))).
p(e(e(e(x,x),e(y,y)),e(e(z,e(z,u)),u))).
p(e(e(e(x,e(x,y)),y),e(e(z,e(z,u)),u))).
p(e(e(x,e(x,e(y,y))),e(e(z,e(z,u)),u))).
p(e(e(x,e(e(y,y),e(x,e(z,z)))),e(e(u,e(u,v)),v))).
p(e(e(e(x,e(y,e(z,z))),e(y,x)),e(e(u,e(u,v)),v))).
p(e(e(x,e(x,e(e(y,e(y,z)),z))),e(e(u,e(v,v)),u))).
p(e(e(x,e(x,e(e(y,e(y,z)),z))),e(u,e(v,e(v,u))))).
p(e(e(e(x,e(x,e(e(y,e(y,z)),z))),e(u,u)),e(v,v))).
p(e(x,e(x,e(y,e(y,e(e(z,e(z,u)),u)))))).
p(e(e(x,e(x,e(e(y,e(y,z)),z))),e(e(u,u),e(v,v)))).
p(e(x,e(x,e(e(y,e(y,e(e(z,e(z,u)),u))),e(v,v))))).
p(e(e(x,e(x,e(e(y,e(y,z)),z))),e(u,u))).
p(e(e(x,x),e(e(y,e(y,e(e(z,e(z,u)),u))),e(v,v)))).
p(e(e(x,e(y,e(z,e(z,e(e(u,e(u,v)),v))))),e(y,x))).
p(e(e(x,e(x,e(y,e(y,e(z,z))))),e(u,e(u,e(v,v))))).
p(e(e(x,e(x,e(e(y,e(y,z)),z))),e(u,e(u,e(v,v))))).
p(e(e(x,e(x,e(e(y,e(z,z)),y))),e(u,e(u,e(v,v))))).
p(e(e(x,e(x,e(y,e(z,e(z,y))))),e(u,e(u,e(v,v))))).
p(e(e(x,e(e(x,e(y,y)),e(z,z))),e(u,e(u,e(v,v))))).
p(e(e(e(e(x,e(y,y)),x),e(z,z)),e(u,e(u,e(v,v))))).
p(e(e(x,e(y,e(y,x))),e(z,e(z,e(u,u))))).
p(e(e(e(x,e(y,y)),x),e(z,e(z,e(u,u))))).
p(e(e(x,e(x,e(e(y,y),e(z,z)))),e(u,e(u,e(v,v))))).
p(e(e(e(x,x),e(e(y,e(y,z)),z)),e(u,e(u,e(v,v))))).
p(e(e(e(x,x),e(y,e(y,e(z,z)))),e(u,e(u,e(v,v))))).
p(e(e(e(x,x),e(e(y,y),e(z,z))),e(u,e(u,e(v,v))))).
p(e(e(e(e(x,x),e(y,y)),e(z,z)),e(u,e(u,e(v,v))))).
p(e(e(x,e(y,e(y,e(x,e(z,z))))),e(u,e(u,e(v,v))))).
p(e(e(e(e(x,e(x,y)),y),e(z,z)),e(u,e(u,e(v,v))))).
p(e(e(e(x,e(x,e(y,y))),e(z,z)),e(u,e(u,e(v,v))))).
p(e(e(e(x,x),e(y,y)),e(z,e(z,e(u,u))))).
p(e(e(e(x,e(x,y)),y),e(z,e(z,e(u,u))))).
p(e(e(x,e(x,e(y,y))),e(z,e(z,e(u,u))))).
p(e(e(x,e(e(y,y),e(x,e(z,z)))),e(u,e(u,e(v,v))))).
p(e(e(e(x,e(y,e(z,z))),e(y,x)),e(u,e(u,e(v,v))))).
p(e(e(x,e(x,e(y,e(y,e(z,z))))),e(e(u,e(u,v)),v))).
p(e(e(x,e(x,e(y,e(y,e(z,z))))),e(e(u,e(v,v)),u))).
p(e(e(x,e(x,e(y,e(y,e(z,z))))),e(u,e(v,e(v,u))))).
p(e(e(e(x,e(x,e(y,e(y,e(z,z))))),e(u,u)),e(v,v))).
p(e(x,e(x,e(y,e(y,e(z,e(z,e(u,u)))))))).
p(e(e(x,e(x,e(y,e(y,e(z,z))))),e(e(u,u),e(v,v)))).
p(e(x,e(x,e(e(y,e(y,e(z,e(z,e(u,u))))),e(v,v))))).
p(e(e(x,e(x,e(y,e(y,e(z,z))))),e(u,u))).
p(e(e(x,x),e(e(y,e(y,e(z,e(z,e(u,u))))),e(v,v)))).
p(e(e(x,e(y,e(z,e(z,e(u,e(u,e(v,v))))))),e(y,x))).
p(e(e(e(x,e(y,e(y,x))),e(z,z)),e(u,e(u,e(v,v))))).
p(e(e(e(x,e(y,e(y,x))),e(z,z)),e(e(u,e(u,v)),v))).
p(e(e(e(x,e(y,e(y,x))),e(z,z)),e(e(u,e(v,v)),u))).
p(e(e(e(x,e(y,e(y,x))),e(z,z)),e(u,e(v,e(v,u))))).
p(e(e(e(e(x,e(y,e(y,x))),e(z,z)),e(u,u)),e(v,v))).
p(e(e(e(x,e(y,e(y,x))),e(z,z)),e(e(u,u),e(v,v)))).
p(e(x,e(x,e(e(e(y,e(z,e(z,y))),e(u,u)),e(v,v))))).
p(e(e(x,x),e(e(e(y,e(z,e(z,y))),e(u,u)),e(v,v)))).
p(e(e(x,e(y,e(e(z,e(u,e(u,z))),e(v,v)))),e(y,x))).
p(e(e(e(x,x),e(e(y,e(z,z)),y)),e(u,e(u,e(v,v))))).
p(e(e(e(x,x),e(e(y,e(z,z)),y)),e(e(u,e(u,v)),v))).
p(e(e(e(x,x),e(e(y,e(z,z)),y)),e(e(u,e(v,v)),u))).
p(e(e(e(x,x),e(e(y,e(z,z)),y)),e(u,e(v,e(v,u))))).
p(e(e(e(e(x,x),e(e(y,e(z,z)),y)),e(u,u)),e(v,v))).
p(e(x,e(x,e(e(y,y),e(e(z,e(u,u)),z))))).
p(e(e(e(x,x),e(e(y,e(z,z)),y)),e(e(u,u),e(v,v)))).
p(e(x,e(x,e(e(e(y,y),e(e(z,e(u,u)),z)),e(v,v))))).
p(e(e(e(x,x),e(e(y,e(z,z)),y)),e(u,u))).
p(e(e(x,x),e(e(e(y,y),e(e(z,e(u,u)),z)),e(v,v)))).
p(e(e(x,e(y,e(e(z,z),e(e(u,e(v,v)),u)))),e(y,x))).
p(e(e(e(x,x),e(y,e(z,e(z,y)))),e(u,e(u,e(v,v))))).
p(e(e(e(x,x),e(y,e(z,e(z,y)))),e(e(u,e(u,v)),v))).
p(e(e(e(x,x),e(y,e(z,e(z,y)))),e(e(u,e(v,v)),u))).
p(e(e(e(x,x),e(y,e(z,e(z,y)))),e(u,e(v,e(v,u))))).
p(e(e(e(e(x,x),e(y,e(z,e(z,y)))),e(u,u)),e(v,v))).
p(e(x,e(x,e(e(y,y),e(z,e(u,e(u,z))))))).
p(e(e(e(x,x),e(y,e(z,e(z,y)))),e(e(u,u),e(v,v)))).
p(e(x,e(x,e(e(e(y,y),e(z,e(u,e(u,z)))),e(v,v))))).
p(e(e(e(x,x),e(y,e(z,e(z,y)))),e(u,u))).
p(e(e(x,x),e(e(e(y,y),e(z,e(u,e(u,z)))),e(v,v)))).
p(e(e(x,e(y,e(e(z,z),e(u,e(v,e(v,u)))))),e(y,x))).
p(e(e(x,x),e(y,e(e(z,e(u,y)),e(u,z))))).
p(e(e(x,e(y,e(y,x))),e(z,e(e(u,e(v,z)),e(v,u))))).
p(e(e(e(x,e(y,y)),x),e(z,e(e(u,e(v,z)),e(v,u))))).
p(e(e(e(x,x),e(y,y)),e(z,e(e(u,e(v,z)),e(v,u))))).
p(e(e(e(x,e(x,y)),y),e(z,e(e(u,e(v,z)),e(v,u))))).
p(e(e(x,e(x,e(y,y))),e(z,e(e(u,e(v,z)),e(v,u))))).
p(e(x,e(x,e(y,e(y,e(z,e(e(u,e(v,z)),e(v,u)))))))).
p(e(e(x,x),e(e(y,e(z,e(u,u))),e(z,y)))).
p(e(x,e(e(x,e(y,e(y,e(z,z)))),e(u,u)))).
p(e(x,e(e(y,e(y,e(z,z))),e(x,e(u,e(u,e(v,v))))))).
p(e(e(x,e(x,e(y,y))),e(e(z,e(u,e(v,v))),e(u,z)))).
p(e(x,e(y,e(y,e(x,e(z,e(z,e(u,u)))))))).
p(e(x,e(e(y,e(y,e(z,z))),e(x,e(u,u))))).
p(e(e(e(x,e(y,y)),e(x,z)),z)).
p(e(x,e(x,e(e(y,e(z,e(u,e(u,e(v,v))))),e(z,y))))).
p(e(e(e(x,e(y,e(z,e(z,e(u,u))))),e(y,x)),e(v,v))).
p(e(x,e(e(y,y),e(x,e(z,e(z,e(u,u))))))).
p(e(e(e(e(x,e(y,y)),e(x,z)),z),e(u,e(u,e(v,v))))).
p(e(e(e(e(x,e(y,y)),e(x,z)),z),e(e(u,e(u,v)),v))).
p(e(e(e(e(x,e(y,y)),e(x,z)),z),e(e(u,e(v,v)),u))).
p(e(e(e(e(x,e(y,y)),e(x,z)),z),e(u,e(v,e(v,u))))).
p(e(e(e(e(e(x,e(y,y)),e(x,z)),z),e(u,u)),e(v,v))).
p(e(x,e(x,e(e(e(y,e(z,z)),e(y,u)),u)))).
p(e(e(x,e(y,y)),e(x,e(z,z)))).
p(e(e(e(e(x,e(y,y)),e(x,z)),z),e(e(u,u),e(v,v)))).
p(e(x,e(x,e(e(e(e(y,e(z,z)),e(y,u)),u),e(v,v))))).
p(e(x,e(e(y,e(z,z)),e(y,e(x,e(u,e(u,e(v,v)))))))).
p(e(e(e(e(x,e(y,y)),e(x,z)),z),e(u,u))).
p(e(e(x,x),e(e(e(e(y,e(z,z)),e(y,u)),u),e(v,v)))).
p(e(x,e(e(y,e(z,z)),e(y,e(x,e(u,u)))))).
p(e(e(x,e(y,e(e(e(z,e(u,u)),e(z,v)),v))),e(y,x))).
p(e(e(e(x,e(y,y)),e(x,e(z,z))),e(u,u))).
p(e(e(e(e(x,e(y,z)),e(y,x)),e(z,e(u,u))),e(v,v))).
p(e(e(e(x,e(y,y)),e(x,e(z,z))),e(u,e(u,e(v,v))))).
p(e(e(e(x,e(y,y)),e(x,e(z,z))),e(e(u,e(u,v)),v))).
p(e(e(e(x,e(y,y)),e(x,e(z,z))),e(e(u,e(v,v)),u))).
p(e(e(e(x,e(y,y)),e(x,e(z,z))),e(u,e(v,e(v,u))))).
p(e(e(e(e(x,e(y,y)),e(x,e(z,z))),e(u,u)),e(v,v))).
p(e(x,e(x,e(e(y,e(z,z)),e(y,e(u,u)))))).
p(e(e(e(x,e(y,y)),e(x,e(z,z))),e(e(u,u),e(v,v)))).
p(e(x,e(x,e(e(e(y,e(z,z)),e(y,e(u,u))),e(v,v))))).
p(e(e(x,x),e(e(e(y,e(z,z)),e(y,e(u,u))),e(v,v)))).
p(e(e(x,e(y,e(e(z,e(u,u)),e(z,e(v,v))))),e(y,x))).
p(e(x,e(e(y,e(z,z)),e(y,e(x,e(e(u,e(u,v)),v)))))).
p(e(x,e(e(x,e(e(y,e(y,z)),z)),e(u,u)))).
p(e(x,e(e(e(y,e(y,z)),z),e(x,e(e(u,e(u,v)),v))))).
p(e(e(x,e(x,e(y,e(z,z)))),y)).
p(e(x,e(e(e(y,e(y,z)),z),e(x,e(u,e(u,e(v,v))))))).
p(e(e(e(x,e(x,y)),y),e(e(z,e(u,e(v,v))),e(u,z)))).
p(e(x,e(y,e(y,e(x,e(e(z,e(z,u)),u)))))).
p(e(x,e(e(e(y,e(y,z)),z),e(x,e(u,u))))).
p(e(e(x,e(e(y,e(y,x)),z)),z)).
p(e(x,e(x,e(e(y,e(z,e(e(u,e(u,v)),v))),e(z,y))))).
p(e(x,e(e(y,e(y,e(z,z))),e(x,e(e(u,e(u,v)),v))))).
p(e(e(e(x,e(y,e(e(z,e(z,u)),u))),e(y,x)),e(v,v))).
p(e(x,e(e(y,y),e(x,e(e(z,e(z,u)),u))))).
p(e(e(e(x,e(x,e(y,e(z,z)))),y),e(u,e(u,e(v,v))))).
p(e(e(e(x,e(x,e(y,e(z,z)))),y),e(e(u,e(u,v)),v))).
p(e(e(e(x,e(x,e(y,e(z,z)))),y),e(e(u,e(v,v)),u))).
p(e(e(e(x,e(x,e(y,e(z,z)))),y),e(u,e(v,e(v,u))))).
p(e(e(e(e(x,e(x,e(y,e(z,z)))),y),e(u,u)),e(v,v))).
p(e(x,e(x,e(e(y,e(y,e(z,e(u,u)))),z)))).
p(e(e(e(x,e(x,e(y,e(z,z)))),y),e(e(u,u),e(v,v)))).
p(e(x,e(y,e(y,e(e(x,e(e(z,e(z,u)),u)),e(v,v)))))).
p(e(x,e(x,e(e(e(y,e(y,e(z,e(u,u)))),z),e(v,v))))).
p(e(x,e(y,e(y,e(e(x,e(z,e(z,e(u,u)))),e(v,v)))))).
p(e(e(e(x,e(x,e(y,e(z,z)))),y),e(u,u))).
p(e(e(x,x),e(e(e(y,e(y,e(z,e(u,u)))),z),e(v,v)))).
p(e(x,e(y,e(y,e(e(x,e(z,z)),e(u,u)))))).
p(e(e(x,e(y,e(e(z,e(z,e(u,e(v,v)))),u))),e(y,x))).
p(e(e(x,e(x,y)),e(y,e(z,z)))).
p(e(e(x,e(e(y,e(y,x)),e(z,z))),e(u,u))).
p(e(e(e(x,e(e(y,e(y,x)),z)),z),e(u,e(u,e(v,v))))).
p(e(e(e(x,e(e(y,e(y,x)),z)),z),e(e(u,e(u,v)),v))).
p(e(e(e(x,e(e(y,e(y,x)),z)),z),e(e(u,e(v,v)),u))).
p(e(e(e(x,e(e(y,e(y,x)),z)),z),e(u,e(v,e(v,u))))).
p(e(e(e(e(x,e(e(y,e(y,x)),z)),z),e(u,u)),e(v,v))).
p(e(x,e(x,e(e(y,e(e(z,e(z,y)),u)),u)))).
p(e(x,e(e(y,e(y,x)),e(z,z)))).
p(e(e(e(x,e(e(y,e(y,x)),z)),z),e(e(u,u),e(v,v)))).
p(e(x,e(y,e(e(z,e(z,y)),e(x,e(e(u,e(u,v)),v)))))).
p(e(x,e(x,e(e(e(y,e(e(z,e(z,y)),u)),u),e(v,v))))).
p(e(x,e(y,e(e(z,e(z,y)),e(x,e(u,e(u,e(v,v)))))))).
p(e(e(e(x,e(e(y,e(y,x)),z)),z),e(u,u))).
p(e(e(x,x),e(e(e(y,e(e(z,e(z,y)),u)),u),e(v,v)))).
p(e(x,e(y,e(e(z,e(z,y)),e(x,e(u,u)))))).
p(e(e(x,e(y,e(e(z,e(e(u,e(u,z)),v)),v))),e(y,x))).
p(e(e(e(x,e(x,y)),e(y,e(z,z))),e(u,e(u,e(v,v))))).
p(e(e(e(x,e(x,y)),e(y,e(z,z))),e(e(u,e(u,v)),v))).
p(e(e(e(x,e(x,y)),e(y,e(z,z))),e(e(u,e(v,v)),u))).
p(e(e(e(x,e(x,y)),e(y,e(z,z))),e(u,e(v,e(v,u))))).
p(e(e(e(e(x,e(x,y)),e(y,e(z,z))),e(u,u)),e(v,v))).
p(e(x,e(x,e(e(y,e(y,z)),e(z,e(u,u)))))).
p(e(e(e(x,e(x,y)),e(y,e(z,z))),e(e(u,u),e(v,v)))).
p(e(x,e(x,e(e(e(y,e(y,z)),e(z,e(u,u))),e(v,v))))).
p(e(e(e(x,e(x,y)),e(y,e(z,z))),e(u,u))).
p(e(e(x,x),e(e(e(y,e(y,z)),e(z,e(u,u))),e(v,v)))).
p(e(e(x,e(y,e(e(z,e(z,u)),e(u,e(v,v))))),e(y,x))).
p(e(e(x,e(x,e(y,e(e(z,e(z,y)),e(u,u))))),e(v,v))).
p(e(e(x,e(x,e(e(y,e(y,z)),e(z,e(u,u))))),e(v,v))).
p(e(e(x,e(x,e(e(y,e(e(z,e(z,y)),u)),u))),e(v,v))).
p(e(e(x,e(x,e(e(y,e(y,e(z,e(u,u)))),z))),e(v,v))).
p(e(e(x,e(x,e(e(y,e(z,z)),e(y,e(u,u))))),e(v,v))).
p(e(e(x,e(x,e(e(e(y,e(z,z)),e(y,u)),u))),e(v,v))).
p(e(e(x,e(x,e(e(y,y),e(z,e(u,e(u,z)))))),e(v,v))).
p(e(e(x,e(x,e(e(y,y),e(e(z,e(u,u)),z)))),e(v,v))).
p(e(e(x,e(x,e(e(y,e(z,e(z,y))),e(u,u)))),e(v,v))).
p(e(e(x,e(x,e(y,e(y,e(z,e(z,e(u,u))))))),e(v,v))).
p(e(e(x,e(x,e(y,e(y,e(e(z,e(z,u)),u))))),e(v,v))).
p(e(e(x,e(x,e(y,e(y,e(e(z,e(u,u)),z))))),e(v,v))).
p(e(e(x,e(x,e(y,e(y,e(z,e(u,e(u,z))))))),e(v,v))).
p(e(e(x,e(x,e(y,e(e(y,e(z,z)),e(u,u))))),e(v,v))).
p(e(e(x,e(x,e(e(e(y,e(z,z)),y),e(u,u)))),e(v,v))).
p(e(e(x,e(x,e(y,e(y,e(e(z,z),e(u,u)))))),e(v,v))).
p(e(e(x,e(x,e(e(y,y),e(e(z,e(z,u)),u)))),e(v,v))).
p(e(e(x,e(x,e(e(y,y),e(z,e(z,e(u,u)))))),e(v,v))).
p(e(e(x,e(x,e(e(y,y),e(e(z,z),e(u,u))))),e(v,v))).
p(e(e(x,e(x,e(e(e(y,y),e(z,z)),e(u,u)))),e(v,v))).
p(e(e(x,e(x,e(y,e(z,e(z,e(y,e(u,u))))))),e(v,v))).
p(e(e(x,e(x,e(e(e(y,e(y,z)),z),e(u,u)))),e(v,v))).
p(e(e(x,e(x,e(e(y,e(y,e(z,z))),e(u,u)))),e(v,v))).
p(e(e(x,e(x,e(y,e(e(z,z),e(y,e(u,u)))))),e(v,v))).
p(e(e(x,e(x,e(e(y,e(z,e(u,u))),e(z,y)))),e(v,v))).
p(e(e(x,e(e(y,e(y,x)),e(z,z))),e(u,e(u,e(v,v))))).
p(e(e(x,e(e(y,e(y,x)),e(z,z))),e(e(u,e(u,v)),v))).
p(e(e(x,e(e(y,e(y,x)),e(z,z))),e(e(u,e(v,v)),u))).
p(e(e(x,e(e(y,e(y,x)),e(z,z))),e(u,e(v,e(v,u))))).
p(e(e(e(x,e(e(y,e(y,x)),e(z,z))),e(u,u)),e(v,v))).
p(e(x,e(x,e(y,e(e(z,e(z,y)),e(u,u)))))).
p(e(e(x,e(e(y,e(y,x)),e(z,z))),e(e(u,u),e(v,v)))).
p(e(x,e(x,e(e(y,e(e(z,e(z,y)),e(u,u))),e(v,v))))).
p(e(e(x,x),e(e(y,e(e(z,e(z,y)),e(u,u))),e(v,v)))).
p(e(e(x,e(y,e(z,e(e(u,e(u,z)),e(v,v))))),e(y,x))).
p(e(x,e(y,e(e(z,e(z,y)),e(x,e(e(u,u),e(v,v))))))).
p(e(x,e(y,e(y,e(e(x,e(e(z,z),e(u,u))),e(v,v)))))).
p(e(x,e(e(y,e(z,z)),e(y,e(x,e(e(u,u),e(v,v))))))).
p(e(x,e(e(x,e(e(y,y),e(z,z))),e(u,u)))).
p(e(x,e(e(e(y,y),e(z,z)),e(x,e(e(u,u),e(v,v)))))).
p(e(x,e(e(e(y,y),e(z,z)),e(x,e(e(u,e(u,v)),v))))).
p(e(x,e(e(e(y,y),e(z,z)),e(x,e(u,e(u,e(v,v))))))).
p(e(e(e(x,x),e(y,y)),e(e(z,e(u,e(v,v))),e(u,z)))).
p(e(x,e(y,e(y,e(x,e(e(z,z),e(u,u))))))).
p(e(x,e(e(e(y,y),e(z,z)),e(x,e(u,u))))).
p(e(e(e(x,x),e(e(y,y),z)),z)).
p(e(x,e(x,e(e(y,e(z,e(e(u,u),e(v,v)))),e(z,y))))).
p(e(x,e(e(e(y,e(y,z)),z),e(x,e(e(u,u),e(v,v)))))).
p(e(x,e(e(y,e(y,e(z,z))),e(x,e(e(u,u),e(v,v)))))).
p(e(e(e(x,e(y,e(e(z,z),e(u,u)))),e(y,x)),e(v,v))).
p(e(x,e(e(y,y),e(x,e(e(z,z),e(u,u)))))).
p(e(e(x,e(x,e(e(e(y,y),e(e(z,z),u)),u))),e(v,v))).
p(e(e(e(e(x,x),e(e(y,y),z)),z),e(u,e(u,e(v,v))))).
p(e(e(e(e(x,x),e(e(y,y),z)),z),e(e(u,e(u,v)),v))).
p(e(e(e(e(x,x),e(e(y,y),z)),z),e(e(u,e(v,v)),u))).
p(e(e(e(e(x,x),e(e(y,y),z)),z),e(u,e(v,e(v,u))))).
p(e(e(e(e(e(x,x),e(e(y,y),z)),z),e(u,u)),e(v,v))).
p(e(x,e(x,e(e(e(y,y),e(e(z,z),u)),u)))).
p(e(e(e(e(x,x),e(e(y,y),z)),z),e(e(u,u),e(v,v)))).
p(e(x,e(e(y,y),e(e(z,z),e(x,e(e(u,u),e(v,v))))))).
p(e(x,e(e(y,y),e(e(z,z),e(x,e(e(u,e(u,v)),v)))))).
p(e(x,e(x,e(e(e(e(y,y),e(e(z,z),u)),u),e(v,v))))).
p(e(x,e(e(y,y),e(e(z,z),e(x,e(u,e(u,e(v,v)))))))).
p(e(e(e(e(x,x),e(e(y,y),z)),z),e(u,u))).
p(e(e(x,x),e(e(e(e(y,y),e(e(z,z),u)),u),e(v,v)))).
p(e(x,e(e(y,y),e(e(z,z),e(x,e(u,u)))))).
p(e(e(x,e(y,e(e(e(z,z),e(e(u,u),v)),v))),e(y,x))).
p(e(x,e(x,e(e(y,y),e(e(e(z,z),e(u,u)),e(v,v)))))).
p(e(e(e(x,x),e(e(e(y,y),e(z,z)),e(u,u))),e(v,v))).
p(e(x,e(x,e(e(y,y),e(e(e(z,e(z,u)),u),e(v,v)))))).
p(e(e(e(x,x),e(e(e(y,e(y,z)),z),e(u,u))),e(v,v))).
p(e(x,e(x,e(e(y,y),e(e(z,e(z,e(u,u))),e(v,v)))))).
p(e(e(e(x,x),e(e(y,e(y,e(z,z))),e(u,u))),e(v,v))).
p(e(e(e(x,x),e(y,y)),e(z,e(e(u,u),e(z,e(v,v)))))).
p(e(e(e(x,e(x,y)),y),e(z,e(e(u,u),e(z,e(v,v)))))).
p(e(e(x,e(x,e(y,y))),e(z,e(e(u,u),e(z,e(v,v)))))).
p(e(e(x,x),e(y,e(e(z,z),e(y,e(u,u)))))).
p(e(e(e(x,x),e(y,y)),e(e(z,e(z,e(u,u))),e(v,v)))).
p(e(e(e(x,e(x,y)),y),e(e(z,e(z,e(u,u))),e(v,v)))).
p(e(e(x,e(x,e(y,y))),e(e(z,e(z,e(u,u))),e(v,v)))).
p(e(e(e(x,x),e(y,y)),e(e(e(z,e(z,u)),u),e(v,v)))).
p(e(e(e(x,e(x,y)),y),e(e(e(z,e(z,u)),u),e(v,v)))).
p(e(e(x,e(x,e(y,y))),e(e(e(z,e(z,u)),u),e(v,v)))).
p(e(e(x,e(y,e(y,x))),e(e(e(z,z),e(u,u)),e(v,v)))).
p(e(e(e(x,e(y,y)),x),e(e(e(z,z),e(u,u)),e(v,v)))).
p(e(e(e(x,x),e(y,y)),e(e(e(z,z),e(u,u)),e(v,v)))).
p(e(e(e(x,e(x,y)),y),e(e(e(z,z),e(u,u)),e(v,v)))).
p(e(e(x,e(x,e(y,y))),e(e(e(z,z),e(u,u)),e(v,v)))).
p(e(x,e(x,e(y,e(y,e(e(e(z,z),e(u,u)),e(v,v))))))).
p(e(e(x,e(y,e(y,x))),e(e(e(z,e(z,u)),u),e(v,v)))).
p(e(e(e(x,e(y,y)),x),e(e(e(z,e(z,u)),u),e(v,v)))).
p(e(x,e(x,e(y,e(y,e(e(e(z,e(z,u)),u),e(v,v))))))).
p(e(e(x,e(y,e(y,x))),e(e(z,e(z,e(u,u))),e(v,v)))).
p(e(e(e(x,e(y,y)),x),e(e(z,e(z,e(u,u))),e(v,v)))).
p(e(x,e(x,e(y,e(y,e(e(z,e(z,e(u,u))),e(v,v))))))).
p(e(e(e(x,x),e(y,y)),e(z,e(u,e(u,e(z,e(v,v))))))).
p(e(e(e(x,e(x,y)),y),e(z,e(u,e(u,e(z,e(v,v))))))).
p(e(e(x,e(x,e(y,y))),e(z,e(u,e(u,e(z,e(v,v))))))).
p(e(e(x,x),e(y,e(z,e(z,e(y,e(u,u))))))).
p(e(e(e(x,e(y,e(z,e(u,e(u,z))))),e(y,x)),e(v,v))).
p(e(e(e(x,e(y,e(e(z,e(u,u)),z))),e(y,x)),e(v,v))).
p(e(x,e(x,e(y,e(e(e(z,e(u,y)),e(u,z)),e(v,v)))))).
p(e(e(e(x,e(y,z)),e(y,x)),z)).
p(e(e(x,e(e(e(y,e(z,x)),e(z,y)),e(u,u))),e(v,v))).
p(e(e(x,e(x,e(e(e(y,e(z,u)),e(z,y)),u))),e(v,v))).
p(e(e(e(e(x,e(y,z)),e(y,x)),z),e(u,e(u,e(v,v))))).
p(e(e(e(e(x,e(y,z)),e(y,x)),z),e(e(u,e(u,v)),v))).
p(e(e(e(e(x,e(y,z)),e(y,x)),z),e(e(u,e(v,v)),u))).
p(e(e(e(e(x,e(y,z)),e(y,x)),z),e(u,e(v,e(v,u))))).
p(e(e(e(e(e(x,e(y,z)),e(y,x)),z),e(u,u)),e(v,v))).
p(e(x,e(x,e(e(e(y,e(z,u)),e(z,y)),u)))).
