English Solitaire

% Any peg (1) can jump either horizontally or vertically over a neighbouring
% peg to occupy a hole (0). The peg that was jumped over is removed. The goal
% is to remove all pegs except one, which must occupy the centre hole.

% Goal: solitaire(Moves), !.

solitaire(Moves):-
  init(Position, Pegs),
  depth_first(Pegs, Position, Moves),
  last(Moves, m(_,17)).

% "English Solitaire"
init(s( 1,1,1,        %        1  2  3
        1,1,1,        %        4  5  6
    1,1,1,1,1,1,1,    %  7  8  9 10 11 12 13
    1,1,1,0,1,1,1,    % 14 15 16 17 18 19 20
    1,1,1,1,1,1,1,    % 21 22 23 24 25 26 27
        1,1,1,        %       28 29 30
        1,1,1 ), 32). %       31 32 33

% Depth first search, without history, with path
depth_first(1, _, []).
depth_first(Pegs, Position, [Move|Moves]):-
  Pegs > 1,
  NewPegs is Pegs - 1,
  n(Position, Move, NewPosition),
  depth_first(NewPegs, NewPosition, Moves).

last([X], X):-!.
last([_|Xs], X):-last(Xs, X).

% The following clauses are ordered so that, for each peg, moves towards the
%   centre occur in preference to other moves
n(s(1,B,C,1,E,F,G,H,0,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X,Y,Z,A1,B1,C1,D1,E1,F1,G1),
  m(1,9),
  s(0,B,C,0,E,F,G,H,1,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X,Y,Z,A1,B1,C1,D1,E1,F1,G1)).
n(s(1,1,0,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X,Y,Z,A1,B1,C1,D1,E1,F1,G1),
  m(1,3),
  s(0,0,1,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X,Y,Z,A1,B1,C1,D1,E1,F1,G1)).
n(s(A,1,C,D,1,F,G,H,I,0,K,L,M,N,O,P,Q,R,S,T,U,V,W,X,Y,Z,A1,B1,C1,D1,E1,F1,G1),
  m(2,10),
  s(A,0,C,D,0,F,G,H,I,1,K,L,M,N,O,P,Q,R,S,T,U,V,W,X,Y,Z,A1,B1,C1,D1,E1,F1,G1)).
n(s(A,B,1,D,E,1,G,H,I,J,0,L,M,N,O,P,Q,R,S,T,U,V,W,X,Y,Z,A1,B1,C1,D1,E1,F1,G1),
  m(3,11),
  s(A,B,0,D,E,0,G,H,I,J,1,L,M,N,O,P,Q,R,S,T,U,V,W,X,Y,Z,A1,B1,C1,D1,E1,F1,G1)).
n(s(0,1,1,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X,Y,Z,A1,B1,C1,D1,E1,F1,G1),
  m(3,1),
  s(1,0,0,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X,Y,Z,A1,B1,C1,D1,E1,F1,G1)).
n(s(A,B,C,1,E,F,G,H,1,J,K,L,M,N,O,0,Q,R,S,T,U,V,W,X,Y,Z,A1,B1,C1,D1,E1,F1,G1),
  m(4,16),
  s(A,B,C,0,E,F,G,H,0,J,K,L,M,N,O,1,Q,R,S,T,U,V,W,X,Y,Z,A1,B1,C1,D1,E1,F1,G1)).
n(s(A,B,C,1,1,0,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X,Y,Z,A1,B1,C1,D1,E1,F1,G1),
  m(4,6),
  s(A,B,C,0,0,1,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X,Y,Z,A1,B1,C1,D1,E1,F1,G1)).
n(s(A,B,C,D,1,F,G,H,I,1,K,L,M,N,O,P,0,R,S,T,U,V,W,X,Y,Z,A1,B1,C1,D1,E1,F1,G1),
  m(5,17),
  s(A,B,C,D,0,F,G,H,I,0,K,L,M,N,O,P,1,R,S,T,U,V,W,X,Y,Z,A1,B1,C1,D1,E1,F1,G1)).
n(s(A,B,C,D,E,1,G,H,I,J,1,L,M,N,O,P,Q,0,S,T,U,V,W,X,Y,Z,A1,B1,C1,D1,E1,F1,G1),
  m(6,18),
  s(A,B,C,D,E,0,G,H,I,J,0,L,M,N,O,P,Q,1,S,T,U,V,W,X,Y,Z,A1,B1,C1,D1,E1,F1,G1)).
n(s(A,B,C,0,1,1,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X,Y,Z,A1,B1,C1,D1,E1,F1,G1),
  m(6,4),
  s(A,B,C,1,0,0,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X,Y,Z,A1,B1,C1,D1,E1,F1,G1)).
n(s(A,B,C,D,E,F,1,1,0,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X,Y,Z,A1,B1,C1,D1,E1,F1,G1),
  m(7,9),
  s(A,B,C,D,E,F,0,0,1,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X,Y,Z,A1,B1,C1,D1,E1,F1,G1)).
n(s(A,B,C,D,E,F,1,H,I,J,K,L,M,1,O,P,Q,R,S,T,0,V,W,X,Y,Z,A1,B1,C1,D1,E1,F1,G1),
  m(7,21),
  s(A,B,C,D,E,F,0,H,I,J,K,L,M,0,O,P,Q,R,S,T,1,V,W,X,Y,Z,A1,B1,C1,D1,E1,F1,G1)).
n(s(A,B,C,D,E,F,G,1,1,0,K,L,M,N,O,P,Q,R,S,T,U,V,W,X,Y,Z,A1,B1,C1,D1,E1,F1,G1),
  m(8,10),
  s(A,B,C,D,E,F,G,0,0,1,K,L,M,N,O,P,Q,R,S,T,U,V,W,X,Y,Z,A1,B1,C1,D1,E1,F1,G1)).
n(s(A,B,C,D,E,F,G,1,I,J,K,L,M,N,1,P,Q,R,S,T,U,0,W,X,Y,Z,A1,B1,C1,D1,E1,F1,G1),
  m(8,22),
  s(A,B,C,D,E,F,G,0,I,J,K,L,M,N,0,P,Q,R,S,T,U,1,W,X,Y,Z,A1,B1,C1,D1,E1,F1,G1)).
n(s(A,B,C,D,E,F,G,H,1,1,0,L,M,N,O,P,Q,R,S,T,U,V,W,X,Y,Z,A1,B1,C1,D1,E1,F1,G1),
  m(9,11),
  s(A,B,C,D,E,F,G,H,0,0,1,L,M,N,O,P,Q,R,S,T,U,V,W,X,Y,Z,A1,B1,C1,D1,E1,F1,G1)).
n(s(A,B,C,D,E,F,G,H,1,J,K,L,M,N,O,1,Q,R,S,T,U,V,0,X,Y,Z,A1,B1,C1,D1,E1,F1,G1),
  m(9,23),
  s(A,B,C,D,E,F,G,H,0,J,K,L,M,N,O,0,Q,R,S,T,U,V,1,X,Y,Z,A1,B1,C1,D1,E1,F1,G1)).
n(s(A,B,C,D,E,F,0,1,1,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X,Y,Z,A1,B1,C1,D1,E1,F1,G1),
  m(9,7),
  s(A,B,C,D,E,F,1,0,0,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X,Y,Z,A1,B1,C1,D1,E1,F1,G1)).
n(s(0,B,C,1,E,F,G,H,1,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X,Y,Z,A1,B1,C1,D1,E1,F1,G1),
  m(9,1),
  s(1,B,C,0,E,F,G,H,0,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X,Y,Z,A1,B1,C1,D1,E1,F1,G1)).
n(s(A,B,C,D,E,F,G,H,I,1,K,L,M,N,O,P,1,R,S,T,U,V,W,0,Y,Z,A1,B1,C1,D1,E1,F1,G1),
  m(10,24),
  s(A,B,C,D,E,F,G,H,I,0,K,L,M,N,O,P,0,R,S,T,U,V,W,1,Y,Z,A1,B1,C1,D1,E1,F1,G1)).
n(s(A,B,C,D,E,F,G,0,1,1,K,L,M,N,O,P,Q,R,S,T,U,V,W,X,Y,Z,A1,B1,C1,D1,E1,F1,G1),
  m(10,8),
  s(A,B,C,D,E,F,G,1,0,0,K,L,M,N,O,P,Q,R,S,T,U,V,W,X,Y,Z,A1,B1,C1,D1,E1,F1,G1)).
n(s(A,B,C,D,E,F,G,H,I,1,1,0,M,N,O,P,Q,R,S,T,U,V,W,X,Y,Z,A1,B1,C1,D1,E1,F1,G1),
  m(10,12),
  s(A,B,C,D,E,F,G,H,I,0,0,1,M,N,O,P,Q,R,S,T,U,V,W,X,Y,Z,A1,B1,C1,D1,E1,F1,G1)).
n(s(A,0,C,D,1,F,G,H,I,1,K,L,M,N,O,P,Q,R,S,T,U,V,W,X,Y,Z,A1,B1,C1,D1,E1,F1,G1),
  m(10,2),
  s(A,1,C,D,0,F,G,H,I,0,K,L,M,N,O,P,Q,R,S,T,U,V,W,X,Y,Z,A1,B1,C1,D1,E1,F1,G1)).
n(s(A,B,C,D,E,F,G,H,0,1,1,L,M,N,O,P,Q,R,S,T,U,V,W,X,Y,Z,A1,B1,C1,D1,E1,F1,G1),
  m(11,9),
  s(A,B,C,D,E,F,G,H,1,0,0,L,M,N,O,P,Q,R,S,T,U,V,W,X,Y,Z,A1,B1,C1,D1,E1,F1,G1)).
n(s(A,B,C,D,E,F,G,H,I,J,1,L,M,N,O,P,Q,1,S,T,U,V,W,X,0,Z,A1,B1,C1,D1,E1,F1,G1),
  m(11,25),
  s(A,B,C,D,E,F,G,H,I,J,0,L,M,N,O,P,Q,0,S,T,U,V,W,X,1,Z,A1,B1,C1,D1,E1,F1,G1)).
n(s(A,B,C,D,E,F,G,H,I,J,1,1,0,N,O,P,Q,R,S,T,U,V,W,X,Y,Z,A1,B1,C1,D1,E1,F1,G1),
  m(11,13),
  s(A,B,C,D,E,F,G,H,I,J,0,0,1,N,O,P,Q,R,S,T,U,V,W,X,Y,Z,A1,B1,C1,D1,E1,F1,G1)).
n(s(A,B,0,D,E,1,G,H,I,J,1,L,M,N,O,P,Q,R,S,T,U,V,W,X,Y,Z,A1,B1,C1,D1,E1,F1,G1),
  m(11,3),
  s(A,B,1,D,E,0,G,H,I,J,0,L,M,N,O,P,Q,R,S,T,U,V,W,X,Y,Z,A1,B1,C1,D1,E1,F1,G1)).
n(s(A,B,C,D,E,F,G,H,I,0,1,1,M,N,O,P,Q,R,S,T,U,V,W,X,Y,Z,A1,B1,C1,D1,E1,F1,G1),
  m(12,10),
  s(A,B,C,D,E,F,G,H,I,1,0,0,M,N,O,P,Q,R,S,T,U,V,W,X,Y,Z,A1,B1,C1,D1,E1,F1,G1)).
n(s(A,B,C,D,E,F,G,H,I,J,K,1,M,N,O,P,Q,R,1,T,U,V,W,X,Y,0,A1,B1,C1,D1,E1,F1,G1),
  m(12,26),
  s(A,B,C,D,E,F,G,H,I,J,K,0,M,N,O,P,Q,R,0,T,U,V,W,X,Y,1,A1,B1,C1,D1,E1,F1,G1)).
n(s(A,B,C,D,E,F,G,H,I,J,0,1,1,N,O,P,Q,R,S,T,U,V,W,X,Y,Z,A1,B1,C1,D1,E1,F1,G1),
  m(13,11),
  s(A,B,C,D,E,F,G,H,I,J,1,0,0,N,O,P,Q,R,S,T,U,V,W,X,Y,Z,A1,B1,C1,D1,E1,F1,G1)).
n(s(A,B,C,D,E,F,G,H,I,J,K,L,1,N,O,P,Q,R,S,1,U,V,W,X,Y,Z,0,B1,C1,D1,E1,F1,G1),
  m(13,27),
  s(A,B,C,D,E,F,G,H,I,J,K,L,0,N,O,P,Q,R,S,0,U,V,W,X,Y,Z,1,B1,C1,D1,E1,F1,G1)).
n(s(A,B,C,D,E,F,G,H,I,J,K,L,M,1,1,0,Q,R,S,T,U,V,W,X,Y,Z,A1,B1,C1,D1,E1,F1,G1),
  m(14,16),
  s(A,B,C,D,E,F,G,H,I,J,K,L,M,0,0,1,Q,R,S,T,U,V,W,X,Y,Z,A1,B1,C1,D1,E1,F1,G1)).
n(s(A,B,C,D,E,F,G,H,I,J,K,L,M,N,1,1,0,R,S,T,U,V,W,X,Y,Z,A1,B1,C1,D1,E1,F1,G1),
  m(15,17),
  s(A,B,C,D,E,F,G,H,I,J,K,L,M,N,0,0,1,R,S,T,U,V,W,X,Y,Z,A1,B1,C1,D1,E1,F1,G1)).
n(s(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,1,1,0,S,T,U,V,W,X,Y,Z,A1,B1,C1,D1,E1,F1,G1),
  m(16,18),
  s(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,0,0,1,S,T,U,V,W,X,Y,Z,A1,B1,C1,D1,E1,F1,G1)).
n(s(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,1,Q,R,S,T,U,V,1,X,Y,Z,A1,0,C1,D1,E1,F1,G1),
  m(16,28),
  s(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,0,Q,R,S,T,U,V,0,X,Y,Z,A1,1,C1,D1,E1,F1,G1)).
n(s(A,B,C,0,E,F,G,H,1,J,K,L,M,N,O,1,Q,R,S,T,U,V,W,X,Y,Z,A1,B1,C1,D1,E1,F1,G1),
  m(16,4),
  s(A,B,C,1,E,F,G,H,0,J,K,L,M,N,O,0,Q,R,S,T,U,V,W,X,Y,Z,A1,B1,C1,D1,E1,F1,G1)).
n(s(A,B,C,D,E,F,G,H,I,J,K,L,M,0,1,1,Q,R,S,T,U,V,W,X,Y,Z,A1,B1,C1,D1,E1,F1,G1),
  m(16,14),
  s(A,B,C,D,E,F,G,H,I,J,K,L,M,1,0,0,Q,R,S,T,U,V,W,X,Y,Z,A1,B1,C1,D1,E1,F1,G1)).
n(s(A,B,C,D,E,F,G,H,I,J,K,L,M,N,0,1,1,R,S,T,U,V,W,X,Y,Z,A1,B1,C1,D1,E1,F1,G1),
  m(17,15),
  s(A,B,C,D,E,F,G,H,I,J,K,L,M,N,1,0,0,R,S,T,U,V,W,X,Y,Z,A1,B1,C1,D1,E1,F1,G1)).
n(s(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,1,1,0,T,U,V,W,X,Y,Z,A1,B1,C1,D1,E1,F1,G1),
  m(17,19),
  s(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,0,0,1,T,U,V,W,X,Y,Z,A1,B1,C1,D1,E1,F1,G1)).
n(s(A,B,C,D,0,F,G,H,I,1,K,L,M,N,O,P,1,R,S,T,U,V,W,X,Y,Z,A1,B1,C1,D1,E1,F1,G1),
  m(17,5),
  s(A,B,C,D,1,F,G,H,I,0,K,L,M,N,O,P,0,R,S,T,U,V,W,X,Y,Z,A1,B1,C1,D1,E1,F1,G1)).
n(s(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,1,R,S,T,U,V,W,1,Y,Z,A1,B1,0,D1,E1,F1,G1),
  m(17,29),
  s(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,0,R,S,T,U,V,W,0,Y,Z,A1,B1,1,D1,E1,F1,G1)).
n(s(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,0,1,1,S,T,U,V,W,X,Y,Z,A1,B1,C1,D1,E1,F1,G1),
  m(18,16),
  s(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,1,0,0,S,T,U,V,W,X,Y,Z,A1,B1,C1,D1,E1,F1,G1)).
n(s(A,B,C,D,E,0,G,H,I,J,1,L,M,N,O,P,Q,1,S,T,U,V,W,X,Y,Z,A1,B1,C1,D1,E1,F1,G1),
  m(18,6),
  s(A,B,C,D,E,1,G,H,I,J,0,L,M,N,O,P,Q,0,S,T,U,V,W,X,Y,Z,A1,B1,C1,D1,E1,F1,G1)).
n(s(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,1,S,T,U,V,W,X,1,Z,A1,B1,C1,0,E1,F1,G1),
  m(18,30),
  s(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,0,S,T,U,V,W,X,0,Z,A1,B1,C1,1,E1,F1,G1)).
n(s(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,1,1,0,U,V,W,X,Y,Z,A1,B1,C1,D1,E1,F1,G1),
  m(18,20),
  s(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,0,0,1,U,V,W,X,Y,Z,A1,B1,C1,D1,E1,F1,G1)).
n(s(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,0,1,1,T,U,V,W,X,Y,Z,A1,B1,C1,D1,E1,F1,G1),
  m(19,17),
  s(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,1,0,0,T,U,V,W,X,Y,Z,A1,B1,C1,D1,E1,F1,G1)).
n(s(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,0,1,1,U,V,W,X,Y,Z,A1,B1,C1,D1,E1,F1,G1),
  m(20,18),
  s(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,1,0,0,U,V,W,X,Y,Z,A1,B1,C1,D1,E1,F1,G1)).
n(s(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,1,1,0,X,Y,Z,A1,B1,C1,D1,E1,F1,G1),
  m(21,23),
  s(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,0,0,1,X,Y,Z,A1,B1,C1,D1,E1,F1,G1)).
n(s(A,B,C,D,E,F,0,H,I,J,K,L,M,1,O,P,Q,R,S,T,1,V,W,X,Y,Z,A1,B1,C1,D1,E1,F1,G1),
  m(21,7),
  s(A,B,C,D,E,F,1,H,I,J,K,L,M,0,O,P,Q,R,S,T,0,V,W,X,Y,Z,A1,B1,C1,D1,E1,F1,G1)).
n(s(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,1,1,0,Y,Z,A1,B1,C1,D1,E1,F1,G1),
  m(22,24),
  s(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,0,0,1,Y,Z,A1,B1,C1,D1,E1,F1,G1)).
n(s(A,B,C,D,E,F,G,0,I,J,K,L,M,N,1,P,Q,R,S,T,U,1,W,X,Y,Z,A1,B1,C1,D1,E1,F1,G1),
  m(22,8),
  s(A,B,C,D,E,F,G,1,I,J,K,L,M,N,0,P,Q,R,S,T,U,0,W,X,Y,Z,A1,B1,C1,D1,E1,F1,G1)).
n(s(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,1,1,0,Z,A1,B1,C1,D1,E1,F1,G1),
  m(23,25),
  s(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,0,0,1,Z,A1,B1,C1,D1,E1,F1,G1)).
n(s(A,B,C,D,E,F,G,H,0,J,K,L,M,N,O,1,Q,R,S,T,U,V,1,X,Y,Z,A1,B1,C1,D1,E1,F1,G1),
  m(23,9),
  s(A,B,C,D,E,F,G,H,1,J,K,L,M,N,O,0,Q,R,S,T,U,V,0,X,Y,Z,A1,B1,C1,D1,E1,F1,G1)).
n(s(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,0,1,1,X,Y,Z,A1,B1,C1,D1,E1,F1,G1),
  m(23,21),
  s(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,1,0,0,X,Y,Z,A1,B1,C1,D1,E1,F1,G1)).
n(s(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,1,X,Y,Z,A1,1,C1,D1,0,F1,G1),
  m(23,31),
  s(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,0,X,Y,Z,A1,0,C1,D1,1,F1,G1)).
n(s(A,B,C,D,E,F,G,H,I,0,K,L,M,N,O,P,1,R,S,T,U,V,W,1,Y,Z,A1,B1,C1,D1,E1,F1,G1),
  m(24,10),
  s(A,B,C,D,E,F,G,H,I,1,K,L,M,N,O,P,0,R,S,T,U,V,W,0,Y,Z,A1,B1,C1,D1,E1,F1,G1)).
n(s(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,0,1,1,Y,Z,A1,B1,C1,D1,E1,F1,G1),
  m(24,22),
  s(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,1,0,0,Y,Z,A1,B1,C1,D1,E1,F1,G1)).
n(s(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,1,1,0,A1,B1,C1,D1,E1,F1,G1),
  m(24,26),
  s(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,0,0,1,A1,B1,C1,D1,E1,F1,G1)).
n(s(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,1,Y,Z,A1,B1,1,D1,E1,0,G1),
  m(24,32),
  s(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,0,Y,Z,A1,B1,0,D1,E1,1,G1)).
n(s(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,0,1,1,Z,A1,B1,C1,D1,E1,F1,G1),
  m(25,23),
  s(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,1,0,0,Z,A1,B1,C1,D1,E1,F1,G1)).
n(s(A,B,C,D,E,F,G,H,I,J,0,L,M,N,O,P,Q,1,S,T,U,V,W,X,1,Z,A1,B1,C1,D1,E1,F1,G1),
  m(25,11),
  s(A,B,C,D,E,F,G,H,I,J,1,L,M,N,O,P,Q,0,S,T,U,V,W,X,0,Z,A1,B1,C1,D1,E1,F1,G1)).
n(s(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X,1,1,0,B1,C1,D1,E1,F1,G1),
  m(25,27),
  s(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X,0,0,1,B1,C1,D1,E1,F1,G1)).
n(s(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X,1,Z,A1,B1,C1,1,E1,F1,0),
  m(25,33),
  s(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X,0,Z,A1,B1,C1,0,E1,F1,1)).
n(s(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,0,1,1,A1,B1,C1,D1,E1,F1,G1),
  m(26,24),
  s(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,1,0,0,A1,B1,C1,D1,E1,F1,G1)).
n(s(A,B,C,D,E,F,G,H,I,J,K,0,M,N,O,P,Q,R,1,T,U,V,W,X,Y,1,A1,B1,C1,D1,E1,F1,G1),
  m(26,12),
  s(A,B,C,D,E,F,G,H,I,J,K,1,M,N,O,P,Q,R,0,T,U,V,W,X,Y,0,A1,B1,C1,D1,E1,F1,G1)).
n(s(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X,0,1,1,B1,C1,D1,E1,F1,G1),
  m(27,25),
  s(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X,1,0,0,B1,C1,D1,E1,F1,G1)).
n(s(A,B,C,D,E,F,G,H,I,J,K,L,0,N,O,P,Q,R,S,1,U,V,W,X,Y,Z,1,B1,C1,D1,E1,F1,G1),
  m(27,13),
  s(A,B,C,D,E,F,G,H,I,J,K,L,1,N,O,P,Q,R,S,0,U,V,W,X,Y,Z,0,B1,C1,D1,E1,F1,G1)).
n(s(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,0,Q,R,S,T,U,V,1,X,Y,Z,A1,1,C1,D1,E1,F1,G1),
  m(28,16),
  s(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,1,Q,R,S,T,U,V,0,X,Y,Z,A1,0,C1,D1,E1,F1,G1)).
n(s(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X,Y,Z,A1,1,1,0,E1,F1,G1),
  m(28,30),
  s(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X,Y,Z,A1,0,0,1,E1,F1,G1)).
n(s(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,0,R,S,T,U,V,W,1,Y,Z,A1,B1,1,D1,E1,F1,G1),
  m(29,17),
  s(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,1,R,S,T,U,V,W,0,Y,Z,A1,B1,0,D1,E1,F1,G1)).
n(s(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,0,S,T,U,V,W,X,1,Z,A1,B1,C1,1,E1,F1,G1),
  m(30,18),
  s(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,1,S,T,U,V,W,X,0,Z,A1,B1,C1,0,E1,F1,G1)).
n(s(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X,Y,Z,A1,0,1,1,E1,F1,G1),
  m(30,28),
  s(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X,Y,Z,A1,1,0,0,E1,F1,G1)).
n(s(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,0,X,Y,Z,A1,1,C1,D1,1,F1,G1),
  m(31,23),
  s(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,1,X,Y,Z,A1,0,C1,D1,0,F1,G1)).
n(s(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X,Y,Z,A1,B1,C1,D1,1,1,0),
  m(31,33),
  s(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X,Y,Z,A1,B1,C1,D1,0,0,1)).
n(s(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,0,Y,Z,A1,B1,1,D1,E1,1,G1),
  m(32,24),
  s(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,1,Y,Z,A1,B1,0,D1,E1,0,G1)).
n(s(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X,0,Z,A1,B1,C1,1,E1,F1,1),
  m(33,25),
  s(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X,1,Z,A1,B1,C1,0,E1,F1,0)).
n(s(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X,Y,Z,A1,B1,C1,D1,0,1,1),
  m(33,31),
  s(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X,Y,Z,A1,B1,C1,D1,1,0,0)).

LPA Index     Home Page