:-):-):-):-):-):-):-):-):-):-):-):-):-):-):-):-):-):-):-):-)(Y):-)(Y):-D(Y)(L)(Y):-$(Y);

-)(Y)(v)(Y)($)(Y)(nt)(Y)(K)(Y)(fr)(E):-)(E):-D(E)(L)(E):-$(E);-)(E)(v)(E)($)(E)(nt)(E)(K)(E)(fr)(E):-)(E):-D(E)(L)(E):-$(E);-)(E)(v)(E)($)(E)(nt)(E)(K)(E)(fr)(E):-)(E):-D(E)(L)(E):-$(E);-)(E)(v)(E)($)(E)(nt)(E)(K)(E)(fr)(E):-)(E):-D(E)(L)(E):-$(E);-)(E)(v)(E)($)(E)(nt)(E)(K)(E)(fr)(E):-)(E):-D(E)(L)(E):-$(E);-)(E)(v)(E)($)(E)(nt)(E)(K)(E)(fr)(E):-)(E):-D(E)(L)(E):-$(E);-)(E)(v)(E)($)(E)(nt)(E)(K)(E)(fr)(E):-)(E):-D(E)(L)(E):-$(E);-)(E)(v)(E)($)(E)(nt)(E)(K)(E)(fr)(E):-)(E):-D(E)(L)(E):-$(E);-)(E)(v)(E)($)(E)(nt)(E)(K)(E)(fr)(E):-)(E):-D(E)(L)(E):-$(E);-)(E)(v)(E)($)(E)(nt)(E)(K)(E)(fr)(E):-)(E):-D(E)(L)(E):-$(E);-)(E)(v)(E)($)(E)(nt)(E)(K)(E)(fr)(E):-)(E):-D(E)(L)(E):-$(E);-)(E)(v)(E)($)(E)(nt)(E)(K)(E)(fr)(E):-)(E):-D(E)(L)(E):-$(E);-)(E)(v)(E)($)(E)(nt)(E)(K)(E)(fr)(E):-)(E):-D(E)(L)(E):-$(E);-)(E)(v)(E)($)(E)(nt)(E)(K)(E)(fr)(E):-)(E):-D(E)(L)(E):-$(E);-)(E)(v)(E)($)(E)(nt)(E)(K)(E)(fr)