STATE(l(n(1),l(n(6),l(n(2),l(n(4),l(end,l(n(5),
     l(hole,l(n(3),l(n(8),l(end,l(n(9),l(n(10),l(n(7),l(n(11),
     l(end,l(n(13),l(n(14),l(n(15),l(n(12),end)))))))))))))))))))).
-STATE(l(n(1),l(n(2),l(n(3),l(n(4),l(end,l(n(5),
     l(n(6),l(n(7),l(n(8),l(end,l(n(9),l(n(10),l(n(11),l(n(12),l(end,
     l(n(13),l(n(14),l(n(15),l(hole,end)))))))))))))))))))).
EQUAL(l(hole,l(n(x),y)),l(n(x),l(hole,y))).
EQUAL(l(hole,l(x,l(y,l(z,l(u,l(n(w),v)))))),l(n(w),
     l(x,l(y,l(z,l(u,l(hole,v))))))).