/* Purpose: Test LCO systematically */ :- use_module(library(charsio)). :- use_module(library(terms)). atom_to_term(A,T,_) :- atom_codes(A,Cs), read_from_chars(Cs,T). X \=@= Y :- \+ variant(X,Y). run :- statistics, between(1,877,Casus), inconsistens(Casus), portray_clause(inconsistens(Casus)). run. inconsistens(Casus) :- % statistics, i(CasusX, SkeletonX, AX,BX,CX,DX,EX,FX,GX), i(CasusX, SkeletonX, AX,BX,CX,DX,EX,FX,GX), i(Casus, Skeleton, A,B,C,D,E,F,G), p(Casus, Skeleton, A,B,C,D,E,F,G), dissimilisa(D,E,F,G,Skeleton, A,B,C). dissimilisa(D,E,F,G, Skeleton, A,B,C) :- % statistics, dissimilisb(A,B,C,D,E,F,G, Skeleton). dissimilisb(A,B,C,D,E,F,G, Skeleton) :- % statistics, atom_to_term(Skeleton,Str,_), Str \=@= s(A,B,C,D,E,F,G). i(_, _, _, _, _, _, _, _, _). p(1, 's(_, _, _, _, _, _, _).',_, _, _, _, _, _, _). p(2, 's(A, A, A, A, A, A, A).',B, B, B, B, B, B, B). p(3, 's(A, A, A, A, A, A, _).',B, B, B, B, B, B, _). p(4, 's(A, A, A, A, A, _, A).',B, B, B, B, B, _, B). p(5, 's(A, A, A, A, A, _, _).',B, B, B, B, B, _, _). p(6, 's(A, A, A, A, A, B, B).',C, C, C, C, C, D, D). p(7, 's(A, A, A, A, _, A, A).',B, B, B, B, _, B, B). p(8, 's(A, A, A, A, _, A, _).',B, B, B, B, _, B, _). p(9, 's(A, A, A, A, B, A, B).',C, C, C, C, D, C, D). p(10, 's(A, A, A, A, _, _, A).',B, B, B, B, _, _, B). p(11, 's(A, A, A, A, B, B, A).',C, C, C, C, D, D, C). p(12, 's(A, A, A, A, _, _, _).',B, B, B, B, _, _, _). p(13, 's(A, A, A, A, B, B, B).',C, C, C, C, D, D, D). p(14, 's(A, A, A, A, B, B, _).',C, C, C, C, D, D, _). p(15, 's(A, A, A, A, B, _, B).',C, C, C, C, D, _, D). p(16, 's(A, A, A, A, _, B, B).',C, C, C, C, _, D, D). p(17, 's(A, A, A, _, A, A, A).',B, B, B, _, B, B, B). p(18, 's(A, A, A, _, A, A, _).',B, B, B, _, B, B, _). p(19, 's(A, A, A, B, A, A, B).',C, C, C, D, C, C, D). p(20, 's(A, A, A, _, A, _, A).',B, B, B, _, B, _, B). p(21, 's(A, A, A, B, A, B, A).',C, C, C, D, C, D, C). p(22, 's(A, A, A, _, A, _, _).',B, B, B, _, B, _, _). p(23, 's(A, A, A, B, A, B, B).',C, C, C, D, C, D, D). p(24, 's(A, A, A, B, A, B, _).',C, C, C, D, C, D, _). p(25, 's(A, A, A, B, A, _, B).',C, C, C, D, C, _, D). p(26, 's(A, A, A, _, A, B, B).',C, C, C, _, C, D, D). p(27, 's(A, A, A, _, _, A, A).',B, B, B, _, _, B, B). p(28, 's(A, A, A, B, B, A, A).',C, C, C, D, D, C, C). p(29, 's(A, A, A, _, _, A, _).',B, B, B, _, _, B, _). p(30, 's(A, A, A, B, B, A, B).',C, C, C, D, D, C, D). p(31, 's(A, A, A, B, B, A, _).',C, C, C, D, D, C, _). p(32, 's(A, A, A, B, _, A, B).',C, C, C, D, _, C, D). p(33, 's(A, A, A, _, B, A, B).',C, C, C, _, D, C, D). p(34, 's(A, A, A, _, _, _, A).',B, B, B, _, _, _, B). p(35, 's(A, A, A, B, B, B, A).',C, C, C, D, D, D, C). p(36, 's(A, A, A, B, B, _, A).',C, C, C, D, D, _, C). p(37, 's(A, A, A, B, _, B, A).',C, C, C, D, _, D, C). p(38, 's(A, A, A, _, B, B, A).',C, C, C, _, D, D, C). p(39, 's(A, A, A, _, _, _, _).',B, B, B, _, _, _, _). p(40, 's(A, A, A, B, B, B, B).',C, C, C, D, D, D, D). p(41, 's(A, A, A, B, B, B, _).',C, C, C, D, D, D, _). p(42, 's(A, A, A, B, B, _, B).',C, C, C, D, D, _, D). p(43, 's(A, A, A, B, B, _, _).',C, C, C, D, D, _, _). p(44, 's(A, A, A, B, B, C, C).',D, D, D, E, E, F, F). p(45, 's(A, A, A, B, _, B, B).',C, C, C, D, _, D, D). p(46, 's(A, A, A, B, _, B, _).',C, C, C, D, _, D, _). p(47, 's(A, A, A, B, C, B, C).',D, D, D, E, F, E, F). p(48, 's(A, A, A, B, _, _, B).',C, C, C, D, _, _, D). p(49, 's(A, A, A, C, B, B, C).',D, D, D, F, E, E, F). p(50, 's(A, A, A, _, B, B, B).',C, C, C, _, D, D, D). p(51, 's(A, A, A, _, B, B, _).',C, C, C, _, D, D, _). p(52, 's(A, A, A, _, B, _, B).',C, C, C, _, D, _, D). p(53, 's(A, A, A, _, _, B, B).',C, C, C, _, _, D, D). p(54, 's(A, A, _, A, A, A, A).',B, B, _, B, B, B, B). p(55, 's(A, A, _, A, A, A, _).',B, B, _, B, B, B, _). p(56, 's(A, A, B, A, A, A, B).',C, C, D, C, C, C, D). p(57, 's(A, A, _, A, A, _, A).',B, B, _, B, B, _, B). p(58, 's(A, A, B, A, A, B, A).',C, C, D, C, C, D, C). p(59, 's(A, A, _, A, A, _, _).',B, B, _, B, B, _, _). p(60, 's(A, A, B, A, A, B, B).',C, C, D, C, C, D, D). p(61, 's(A, A, B, A, A, B, _).',C, C, D, C, C, D, _). p(62, 's(A, A, B, A, A, _, B).',C, C, D, C, C, _, D). p(63, 's(A, A, _, A, A, B, B).',C, C, _, C, C, D, D). p(64, 's(A, A, _, A, _, A, A).',B, B, _, B, _, B, B). p(65, 's(A, A, B, A, B, A, A).',C, C, D, C, D, C, C). p(66, 's(A, A, _, A, _, A, _).',B, B, _, B, _, B, _). p(67, 's(A, A, B, A, B, A, B).',C, C, D, C, D, C, D). p(68, 's(A, A, B, A, B, A, _).',C, C, D, C, D, C, _). p(69, 's(A, A, B, A, _, A, B).',C, C, D, C, _, C, D). p(70, 's(A, A, _, A, B, A, B).',C, C, _, C, D, C, D). p(71, 's(A, A, _, A, _, _, A).',B, B, _, B, _, _, B). p(72, 's(A, A, B, A, B, B, A).',C, C, D, C, D, D, C). p(73, 's(A, A, B, A, B, _, A).',C, C, D, C, D, _, C). p(74, 's(A, A, B, A, _, B, A).',C, C, D, C, _, D, C). p(75, 's(A, A, _, A, B, B, A).',C, C, _, C, D, D, C). p(76, 's(A, A, _, A, _, _, _).',B, B, _, B, _, _, _). p(77, 's(A, A, B, A, B, B, B).',C, C, D, C, D, D, D). p(78, 's(A, A, B, A, B, B, _).',C, C, D, C, D, D, _). p(79, 's(A, A, B, A, B, _, B).',C, C, D, C, D, _, D). p(80, 's(A, A, B, A, B, _, _).',C, C, D, C, D, _, _). p(81, 's(A, A, B, A, B, C, C).',D, D, E, D, E, F, F). p(82, 's(A, A, B, A, _, B, B).',C, C, D, C, _, D, D). p(83, 's(A, A, B, A, _, B, _).',C, C, D, C, _, D, _). p(84, 's(A, A, B, A, C, B, C).',D, D, E, D, F, E, F). p(85, 's(A, A, B, A, _, _, B).',C, C, D, C, _, _, D). p(86, 's(A, A, C, A, B, B, C).',D, D, F, D, E, E, F). p(87, 's(A, A, _, A, B, B, B).',C, C, _, C, D, D, D). p(88, 's(A, A, _, A, B, B, _).',C, C, _, C, D, D, _). p(89, 's(A, A, _, A, B, _, B).',C, C, _, C, D, _, D). p(90, 's(A, A, _, A, _, B, B).',C, C, _, C, _, D, D). p(91, 's(A, A, _, _, A, A, A).',B, B, _, _, B, B, B). p(92, 's(A, A, B, B, A, A, A).',C, C, D, D, C, C, C). p(93, 's(A, A, _, _, A, A, _).',B, B, _, _, B, B, _). p(94, 's(A, A, B, B, A, A, B).',C, C, D, D, C, C, D). p(95, 's(A, A, B, B, A, A, _).',C, C, D, D, C, C, _). p(96, 's(A, A, B, _, A, A, B).',C, C, D, _, C, C, D). p(97, 's(A, A, _, B, A, A, B).',C, C, _, D, C, C, D). p(98, 's(A, A, _, _, A, _, A).',B, B, _, _, B, _, B). p(99, 's(A, A, B, B, A, B, A).',C, C, D, D, C, D, C). p(100, 's(A, A, B, B, A, _, A).',C, C, D, D, C, _, C). p(101, 's(A, A, B, _, A, B, A).',C, C, D, _, C, D, C). p(102, 's(A, A, _, B, A, B, A).',C, C, _, D, C, D, C). p(103, 's(A, A, _, _, A, _, _).',B, B, _, _, B, _, _). p(104, 's(A, A, B, B, A, B, B).',C, C, D, D, C, D, D). p(105, 's(A, A, B, B, A, B, _).',C, C, D, D, C, D, _). p(106, 's(A, A, B, B, A, _, B).',C, C, D, D, C, _, D). p(107, 's(A, A, B, B, A, _, _).',C, C, D, D, C, _, _). p(108, 's(A, A, B, B, A, C, C).',D, D, E, E, D, F, F). p(109, 's(A, A, B, _, A, B, B).',C, C, D, _, C, D, D). p(110, 's(A, A, B, _, A, B, _).',C, C, D, _, C, D, _). p(111, 's(A, A, B, C, A, B, C).',D, D, E, F, D, E, F). p(112, 's(A, A, B, _, A, _, B).',C, C, D, _, C, _, D). p(113, 's(A, A, C, B, A, B, C).',D, D, F, E, D, E, F). p(114, 's(A, A, _, B, A, B, B).',C, C, _, D, C, D, D). p(115, 's(A, A, _, B, A, B, _).',C, C, _, D, C, D, _). p(116, 's(A, A, _, B, A, _, B).',C, C, _, D, C, _, D). p(117, 's(A, A, _, _, A, B, B).',C, C, _, _, C, D, D). p(118, 's(A, A, _, _, _, A, A).',B, B, _, _, _, B, B). p(119, 's(A, A, B, B, B, A, A).',C, C, D, D, D, C, C). p(120, 's(A, A, B, B, _, A, A).',C, C, D, D, _, C, C). p(121, 's(A, A, B, _, B, A, A).',C, C, D, _, D, C, C). p(122, 's(A, A, _, B, B, A, A).',C, C, _, D, D, C, C). p(123, 's(A, A, _, _, _, A, _).',B, B, _, _, _, B, _). p(124, 's(A, A, B, B, B, A, B).',C, C, D, D, D, C, D). p(125, 's(A, A, B, B, B, A, _).',C, C, D, D, D, C, _). p(126, 's(A, A, B, B, _, A, B).',C, C, D, D, _, C, D). p(127, 's(A, A, B, B, _, A, _).',C, C, D, D, _, C, _). p(128, 's(A, A, B, B, C, A, C).',D, D, E, E, F, D, F). p(129, 's(A, A, B, _, B, A, B).',C, C, D, _, D, C, D). p(130, 's(A, A, B, _, B, A, _).',C, C, D, _, D, C, _). p(131, 's(A, A, B, C, B, A, C).',D, D, E, F, E, D, F). p(132, 's(A, A, B, _, _, A, B).',C, C, D, _, _, C, D). p(133, 's(A, A, C, B, B, A, C).',D, D, F, E, E, D, F). p(134, 's(A, A, _, B, B, A, B).',C, C, _, D, D, C, D). p(135, 's(A, A, _, B, B, A, _).',C, C, _, D, D, C, _). p(136, 's(A, A, _, B, _, A, B).',C, C, _, D, _, C, D). p(137, 's(A, A, _, _, B, A, B).',C, C, _, _, D, C, D). p(138, 's(A, A, _, _, _, _, A).',B, B, _, _, _, _, B). p(139, 's(A, A, B, B, B, B, A).',C, C, D, D, D, D, C). p(140, 's(A, A, B, B, B, _, A).',C, C, D, D, D, _, C). p(141, 's(A, A, B, B, _, B, A).',C, C, D, D, _, D, C). p(142, 's(A, A, B, B, _, _, A).',C, C, D, D, _, _, C). p(143, 's(A, A, B, B, C, C, A).',D, D, E, E, F, F, D). p(144, 's(A, A, B, _, B, B, A).',C, C, D, _, D, D, C). p(145, 's(A, A, B, _, B, _, A).',C, C, D, _, D, _, C). p(146, 's(A, A, B, C, B, C, A).',D, D, E, F, E, F, D). p(147, 's(A, A, B, _, _, B, A).',C, C, D, _, _, D, C). p(148, 's(A, A, C, B, B, C, A).',D, D, F, E, E, F, D). p(149, 's(A, A, _, B, B, B, A).',C, C, _, D, D, D, C). p(150, 's(A, A, _, B, B, _, A).',C, C, _, D, D, _, C). p(151, 's(A, A, _, B, _, B, A).',C, C, _, D, _, D, C). p(152, 's(A, A, _, _, B, B, A).',C, C, _, _, D, D, C). p(153, 's(A, A, _, _, _, _, _).',B, B, _, _, _, _, _). p(154, 's(A, A, B, B, B, B, B).',C, C, D, D, D, D, D). p(155, 's(A, A, B, B, B, B, _).',C, C, D, D, D, D, _). p(156, 's(A, A, B, B, B, _, B).',C, C, D, D, D, _, D). p(157, 's(A, A, B, B, B, _, _).',C, C, D, D, D, _, _). p(158, 's(A, A, B, B, B, C, C).',D, D, E, E, E, F, F). p(159, 's(A, A, B, B, _, B, B).',C, C, D, D, _, D, D). p(160, 's(A, A, B, B, _, B, _).',C, C, D, D, _, D, _). p(161, 's(A, A, B, B, C, B, C).',D, D, E, E, F, E, F). p(162, 's(A, A, B, B, _, _, B).',C, C, D, D, _, _, D). p(163, 's(A, A, B, B, C, C, B).',D, D, E, E, F, F, E). p(164, 's(A, A, B, B, _, _, _).',C, C, D, D, _, _, _). p(165, 's(A, A, B, B, C, C, C).',D, D, E, E, F, F, F). p(166, 's(A, A, B, B, C, C, _).',D, D, E, E, F, F, _). p(167, 's(A, A, B, B, C, _, C).',D, D, E, E, F, _, F). p(168, 's(A, A, B, B, _, C, C).',D, D, E, E, _, F, F). p(169, 's(A, A, B, _, B, B, B).',C, C, D, _, D, D, D). p(170, 's(A, A, B, _, B, B, _).',C, C, D, _, D, D, _). p(171, 's(A, A, B, C, B, B, C).',D, D, E, F, E, E, F). p(172, 's(A, A, B, _, B, _, B).',C, C, D, _, D, _, D). p(173, 's(A, A, B, C, B, C, B).',D, D, E, F, E, F, E). p(174, 's(A, A, B, _, B, _, _).',C, C, D, _, D, _, _). p(175, 's(A, A, B, C, B, C, C).',D, D, E, F, E, F, F). p(176, 's(A, A, B, C, B, C, _).',D, D, E, F, E, F, _). p(177, 's(A, A, B, C, B, _, C).',D, D, E, F, E, _, F). p(178, 's(A, A, B, _, B, C, C).',D, D, E, _, E, F, F). p(179, 's(A, A, B, _, _, B, B).',C, C, D, _, _, D, D). p(180, 's(A, A, C, B, B, C, C).',D, D, F, E, E, F, F). p(181, 's(A, A, B, _, _, B, _).',C, C, D, _, _, D, _). p(182, 's(A, A, C, B, B, C, B).',D, D, F, E, E, F, E). p(183, 's(A, A, C, B, B, C, _).',D, D, F, E, E, F, _). p(184, 's(A, A, B, C, _, B, C).',D, D, E, F, _, E, F). p(185, 's(A, A, B, _, C, B, C).',D, D, E, _, F, E, F). p(186, 's(A, A, B, _, _, _, B).',C, C, D, _, _, _, D). p(187, 's(A, A, C, B, B, B, C).',D, D, F, E, E, E, F). p(188, 's(A, A, C, B, B, _, C).',D, D, F, E, E, _, F). p(189, 's(A, A, C, B, _, B, C).',D, D, F, E, _, E, F). p(190, 's(A, A, C, _, B, B, C).',D, D, F, _, E, E, F). p(191, 's(A, A, _, B, B, B, B).',C, C, _, D, D, D, D). p(192, 's(A, A, _, B, B, B, _).',C, C, _, D, D, D, _). p(193, 's(A, A, _, B, B, _, B).',C, C, _, D, D, _, D). p(194, 's(A, A, _, B, B, _, _).',C, C, _, D, D, _, _). p(195, 's(A, A, _, B, B, C, C).',D, D, _, E, E, F, F). p(196, 's(A, A, _, B, _, B, B).',C, C, _, D, _, D, D). p(197, 's(A, A, _, B, _, B, _).',C, C, _, D, _, D, _). p(198, 's(A, A, _, B, C, B, C).',D, D, _, E, F, E, F). p(199, 's(A, A, _, B, _, _, B).',C, C, _, D, _, _, D). p(200, 's(A, A, _, C, B, B, C).',D, D, _, F, E, E, F). p(201, 's(A, A, _, _, B, B, B).',C, C, _, _, D, D, D). p(202, 's(A, A, _, _, B, B, _).',C, C, _, _, D, D, _). p(203, 's(A, A, _, _, B, _, B).',C, C, _, _, D, _, D). p(204, 's(A, A, _, _, _, B, B).',C, C, _, _, _, D, D). p(205, 's(A, _, A, A, A, A, A).',B, _, B, B, B, B, B). p(206, 's(A, _, A, A, A, A, _).',B, _, B, B, B, B, _). p(207, 's(A, B, A, A, A, A, B).',C, D, C, C, C, C, D). p(208, 's(A, _, A, A, A, _, A).',B, _, B, B, B, _, B). p(209, 's(A, B, A, A, A, B, A).',C, D, C, C, C, D, C). p(210, 's(A, _, A, A, A, _, _).',B, _, B, B, B, _, _). p(211, 's(A, B, A, A, A, B, B).',C, D, C, C, C, D, D). p(212, 's(A, B, A, A, A, B, _).',C, D, C, C, C, D, _). p(213, 's(A, B, A, A, A, _, B).',C, D, C, C, C, _, D). p(214, 's(A, _, A, A, A, B, B).',C, _, C, C, C, D, D). p(215, 's(A, _, A, A, _, A, A).',B, _, B, B, _, B, B). p(216, 's(A, B, A, A, B, A, A).',C, D, C, C, D, C, C). p(217, 's(A, _, A, A, _, A, _).',B, _, B, B, _, B, _). p(218, 's(A, B, A, A, B, A, B).',C, D, C, C, D, C, D). p(219, 's(A, B, A, A, B, A, _).',C, D, C, C, D, C, _). p(220, 's(A, B, A, A, _, A, B).',C, D, C, C, _, C, D). p(221, 's(A, _, A, A, B, A, B).',C, _, C, C, D, C, D). p(222, 's(A, _, A, A, _, _, A).',B, _, B, B, _, _, B). p(223, 's(A, B, A, A, B, B, A).',C, D, C, C, D, D, C). p(224, 's(A, B, A, A, B, _, A).',C, D, C, C, D, _, C). p(225, 's(A, B, A, A, _, B, A).',C, D, C, C, _, D, C). p(226, 's(A, _, A, A, B, B, A).',C, _, C, C, D, D, C). p(227, 's(A, _, A, A, _, _, _).',B, _, B, B, _, _, _). p(228, 's(A, B, A, A, B, B, B).',C, D, C, C, D, D, D). p(229, 's(A, B, A, A, B, B, _).',C, D, C, C, D, D, _). p(230, 's(A, B, A, A, B, _, B).',C, D, C, C, D, _, D). p(231, 's(A, B, A, A, B, _, _).',C, D, C, C, D, _, _). p(232, 's(A, B, A, A, B, C, C).',D, E, D, D, E, F, F). p(233, 's(A, B, A, A, _, B, B).',C, D, C, C, _, D, D). p(234, 's(A, B, A, A, _, B, _).',C, D, C, C, _, D, _). p(235, 's(A, B, A, A, C, B, C).',D, E, D, D, F, E, F). p(236, 's(A, B, A, A, _, _, B).',C, D, C, C, _, _, D). p(237, 's(A, C, A, A, B, B, C).',D, F, D, D, E, E, F). p(238, 's(A, _, A, A, B, B, B).',C, _, C, C, D, D, D). p(239, 's(A, _, A, A, B, B, _).',C, _, C, C, D, D, _). p(240, 's(A, _, A, A, B, _, B).',C, _, C, C, D, _, D). p(241, 's(A, _, A, A, _, B, B).',C, _, C, C, _, D, D). p(242, 's(A, _, A, _, A, A, A).',B, _, B, _, B, B, B). p(243, 's(A, B, A, B, A, A, A).',C, D, C, D, C, C, C). p(244, 's(A, _, A, _, A, A, _).',B, _, B, _, B, B, _). p(245, 's(A, B, A, B, A, A, B).',C, D, C, D, C, C, D). p(246, 's(A, B, A, B, A, A, _).',C, D, C, D, C, C, _). p(247, 's(A, B, A, _, A, A, B).',C, D, C, _, C, C, D). p(248, 's(A, _, A, B, A, A, B).',C, _, C, D, C, C, D). p(249, 's(A, _, A, _, A, _, A).',B, _, B, _, B, _, B). p(250, 's(A, B, A, B, A, B, A).',C, D, C, D, C, D, C). p(251, 's(A, B, A, B, A, _, A).',C, D, C, D, C, _, C). p(252, 's(A, B, A, _, A, B, A).',C, D, C, _, C, D, C). p(253, 's(A, _, A, B, A, B, A).',C, _, C, D, C, D, C). p(254, 's(A, _, A, _, A, _, _).',B, _, B, _, B, _, _). p(255, 's(A, B, A, B, A, B, B).',C, D, C, D, C, D, D). p(256, 's(A, B, A, B, A, B, _).',C, D, C, D, C, D, _). p(257, 's(A, B, A, B, A, _, B).',C, D, C, D, C, _, D). p(258, 's(A, B, A, B, A, _, _).',C, D, C, D, C, _, _). p(259, 's(A, B, A, B, A, C, C).',D, E, D, E, D, F, F). p(260, 's(A, B, A, _, A, B, B).',C, D, C, _, C, D, D). p(261, 's(A, B, A, _, A, B, _).',C, D, C, _, C, D, _). p(262, 's(A, B, A, C, A, B, C).',D, E, D, F, D, E, F). p(263, 's(A, B, A, _, A, _, B).',C, D, C, _, C, _, D). p(264, 's(A, C, A, B, A, B, C).',D, F, D, E, D, E, F). p(265, 's(A, _, A, B, A, B, B).',C, _, C, D, C, D, D). p(266, 's(A, _, A, B, A, B, _).',C, _, C, D, C, D, _). p(267, 's(A, _, A, B, A, _, B).',C, _, C, D, C, _, D). p(268, 's(A, _, A, _, A, B, B).',C, _, C, _, C, D, D). p(269, 's(A, _, A, _, _, A, A).',B, _, B, _, _, B, B). p(270, 's(A, B, A, B, B, A, A).',C, D, C, D, D, C, C). p(271, 's(A, B, A, B, _, A, A).',C, D, C, D, _, C, C). p(272, 's(A, B, A, _, B, A, A).',C, D, C, _, D, C, C). p(273, 's(A, _, A, B, B, A, A).',C, _, C, D, D, C, C). p(274, 's(A, _, A, _, _, A, _).',B, _, B, _, _, B, _). p(275, 's(A, B, A, B, B, A, B).',C, D, C, D, D, C, D). p(276, 's(A, B, A, B, B, A, _).',C, D, C, D, D, C, _). p(277, 's(A, B, A, B, _, A, B).',C, D, C, D, _, C, D). p(278, 's(A, B, A, B, _, A, _).',C, D, C, D, _, C, _). p(279, 's(A, B, A, B, C, A, C).',D, E, D, E, F, D, F). p(280, 's(A, B, A, _, B, A, B).',C, D, C, _, D, C, D). p(281, 's(A, B, A, _, B, A, _).',C, D, C, _, D, C, _). p(282, 's(A, B, A, C, B, A, C).',D, E, D, F, E, D, F). p(283, 's(A, B, A, _, _, A, B).',C, D, C, _, _, C, D). p(284, 's(A, C, A, B, B, A, C).',D, F, D, E, E, D, F). p(285, 's(A, _, A, B, B, A, B).',C, _, C, D, D, C, D). p(286, 's(A, _, A, B, B, A, _).',C, _, C, D, D, C, _). p(287, 's(A, _, A, B, _, A, B).',C, _, C, D, _, C, D). p(288, 's(A, _, A, _, B, A, B).',C, _, C, _, D, C, D). p(289, 's(A, _, A, _, _, _, A).',B, _, B, _, _, _, B). p(290, 's(A, B, A, B, B, B, A).',C, D, C, D, D, D, C). p(291, 's(A, B, A, B, B, _, A).',C, D, C, D, D, _, C). p(292, 's(A, B, A, B, _, B, A).',C, D, C, D, _, D, C). p(293, 's(A, B, A, B, _, _, A).',C, D, C, D, _, _, C). p(294, 's(A, B, A, B, C, C, A).',D, E, D, E, F, F, D). p(295, 's(A, B, A, _, B, B, A).',C, D, C, _, D, D, C). p(296, 's(A, B, A, _, B, _, A).',C, D, C, _, D, _, C). p(297, 's(A, B, A, C, B, C, A).',D, E, D, F, E, F, D). p(298, 's(A, B, A, _, _, B, A).',C, D, C, _, _, D, C). p(299, 's(A, C, A, B, B, C, A).',D, F, D, E, E, F, D). p(300, 's(A, _, A, B, B, B, A).',C, _, C, D, D, D, C). p(301, 's(A, _, A, B, B, _, A).',C, _, C, D, D, _, C). p(302, 's(A, _, A, B, _, B, A).',C, _, C, D, _, D, C). p(303, 's(A, _, A, _, B, B, A).',C, _, C, _, D, D, C). p(304, 's(A, _, A, _, _, _, _).',B, _, B, _, _, _, _). p(305, 's(A, B, A, B, B, B, B).',C, D, C, D, D, D, D). p(306, 's(A, B, A, B, B, B, _).',C, D, C, D, D, D, _). p(307, 's(A, B, A, B, B, _, B).',C, D, C, D, D, _, D). p(308, 's(A, B, A, B, B, _, _).',C, D, C, D, D, _, _). p(309, 's(A, B, A, B, B, C, C).',D, E, D, E, E, F, F). p(310, 's(A, B, A, B, _, B, B).',C, D, C, D, _, D, D). p(311, 's(A, B, A, B, _, B, _).',C, D, C, D, _, D, _). p(312, 's(A, B, A, B, C, B, C).',D, E, D, E, F, E, F). p(313, 's(A, B, A, B, _, _, B).',C, D, C, D, _, _, D). p(314, 's(A, B, A, B, C, C, B).',D, E, D, E, F, F, E). p(315, 's(A, B, A, B, _, _, _).',C, D, C, D, _, _, _). p(316, 's(A, B, A, B, C, C, C).',D, E, D, E, F, F, F). p(317, 's(A, B, A, B, C, C, _).',D, E, D, E, F, F, _). p(318, 's(A, B, A, B, C, _, C).',D, E, D, E, F, _, F). p(319, 's(A, B, A, B, _, C, C).',D, E, D, E, _, F, F). p(320, 's(A, B, A, _, B, B, B).',C, D, C, _, D, D, D). p(321, 's(A, B, A, _, B, B, _).',C, D, C, _, D, D, _). p(322, 's(A, B, A, C, B, B, C).',D, E, D, F, E, E, F). p(323, 's(A, B, A, _, B, _, B).',C, D, C, _, D, _, D). p(324, 's(A, B, A, C, B, C, B).',D, E, D, F, E, F, E). p(325, 's(A, B, A, _, B, _, _).',C, D, C, _, D, _, _). p(326, 's(A, B, A, C, B, C, C).',D, E, D, F, E, F, F). p(327, 's(A, B, A, C, B, C, _).',D, E, D, F, E, F, _). p(328, 's(A, B, A, C, B, _, C).',D, E, D, F, E, _, F). p(329, 's(A, B, A, _, B, C, C).',D, E, D, _, E, F, F). p(330, 's(A, B, A, _, _, B, B).',C, D, C, _, _, D, D). p(331, 's(A, C, A, B, B, C, C).',D, F, D, E, E, F, F). p(332, 's(A, B, A, _, _, B, _).',C, D, C, _, _, D, _). p(333, 's(A, C, A, B, B, C, B).',D, F, D, E, E, F, E). p(334, 's(A, C, A, B, B, C, _).',D, F, D, E, E, F, _). p(335, 's(A, B, A, C, _, B, C).',D, E, D, F, _, E, F). p(336, 's(A, B, A, _, C, B, C).',D, E, D, _, F, E, F). p(337, 's(A, B, A, _, _, _, B).',C, D, C, _, _, _, D). p(338, 's(A, C, A, B, B, B, C).',D, F, D, E, E, E, F). p(339, 's(A, C, A, B, B, _, C).',D, F, D, E, E, _, F). p(340, 's(A, C, A, B, _, B, C).',D, F, D, E, _, E, F). p(341, 's(A, C, A, _, B, B, C).',D, F, D, _, E, E, F). p(342, 's(A, _, A, B, B, B, B).',C, _, C, D, D, D, D). p(343, 's(A, _, A, B, B, B, _).',C, _, C, D, D, D, _). p(344, 's(A, _, A, B, B, _, B).',C, _, C, D, D, _, D). p(345, 's(A, _, A, B, B, _, _).',C, _, C, D, D, _, _). p(346, 's(A, _, A, B, B, C, C).',D, _, D, E, E, F, F). p(347, 's(A, _, A, B, _, B, B).',C, _, C, D, _, D, D). p(348, 's(A, _, A, B, _, B, _).',C, _, C, D, _, D, _). p(349, 's(A, _, A, B, C, B, C).',D, _, D, E, F, E, F). p(350, 's(A, _, A, B, _, _, B).',C, _, C, D, _, _, D). p(351, 's(A, _, A, C, B, B, C).',D, _, D, F, E, E, F). p(352, 's(A, _, A, _, B, B, B).',C, _, C, _, D, D, D). p(353, 's(A, _, A, _, B, B, _).',C, _, C, _, D, D, _). p(354, 's(A, _, A, _, B, _, B).',C, _, C, _, D, _, D). p(355, 's(A, _, A, _, _, B, B).',C, _, C, _, _, D, D). p(356, 's(A, _, _, A, A, A, A).',B, _, _, B, B, B, B). p(357, 's(B, A, A, B, B, B, B).',D, C, C, D, D, D, D). p(358, 's(A, _, _, A, A, A, _).',B, _, _, B, B, B, _). p(359, 's(B, A, A, B, B, B, A).',D, C, C, D, D, D, C). p(360, 's(B, A, A, B, B, B, _).',D, C, C, D, D, D, _). p(361, 's(A, B, _, A, A, A, B).',C, D, _, C, C, C, D). p(362, 's(A, _, B, A, A, A, B).',C, _, D, C, C, C, D). p(363, 's(A, _, _, A, A, _, A).',B, _, _, B, B, _, B). p(364, 's(B, A, A, B, B, A, B).',D, C, C, D, D, C, D). p(365, 's(B, A, A, B, B, _, B).',D, C, C, D, D, _, D). p(366, 's(A, B, _, A, A, B, A).',C, D, _, C, C, D, C). p(367, 's(A, _, B, A, A, B, A).',C, _, D, C, C, D, C). p(368, 's(A, _, _, A, A, _, _).',B, _, _, B, B, _, _). p(369, 's(B, A, A, B, B, A, A).',D, C, C, D, D, C, C). p(370, 's(B, A, A, B, B, A, _).',D, C, C, D, D, C, _). p(371, 's(B, A, A, B, B, _, A).',D, C, C, D, D, _, C). p(372, 's(B, A, A, B, B, _, _).',D, C, C, D, D, _, _). p(373, 's(B, A, A, B, B, C, C).',E, D, D, E, E, F, F). p(374, 's(A, B, _, A, A, B, B).',C, D, _, C, C, D, D). p(375, 's(A, B, _, A, A, B, _).',C, D, _, C, C, D, _). p(376, 's(A, B, C, A, A, B, C).',D, E, F, D, D, E, F). p(377, 's(A, B, _, A, A, _, B).',C, D, _, C, C, _, D). p(378, 's(A, C, B, A, A, B, C).',D, F, E, D, D, E, F). p(379, 's(A, _, B, A, A, B, B).',C, _, D, C, C, D, D). p(380, 's(A, _, B, A, A, B, _).',C, _, D, C, C, D, _). p(381, 's(A, _, B, A, A, _, B).',C, _, D, C, C, _, D). p(382, 's(A, _, _, A, A, B, B).',C, _, _, C, C, D, D). p(383, 's(A, _, _, A, _, A, A).',B, _, _, B, _, B, B). p(384, 's(B, A, A, B, A, B, B).',D, C, C, D, C, D, D). p(385, 's(B, A, A, B, _, B, B).',D, C, C, D, _, D, D). p(386, 's(A, B, _, A, B, A, A).',C, D, _, C, D, C, C). p(387, 's(A, _, B, A, B, A, A).',C, _, D, C, D, C, C). p(388, 's(A, _, _, A, _, A, _).',B, _, _, B, _, B, _). p(389, 's(B, A, A, B, A, B, A).',D, C, C, D, C, D, C). p(390, 's(B, A, A, B, A, B, _).',D, C, C, D, C, D, _). p(391, 's(B, A, A, B, _, B, A).',D, C, C, D, _, D, C). p(392, 's(B, A, A, B, _, B, _).',D, C, C, D, _, D, _). p(393, 's(B, A, A, B, C, B, C).',E, D, D, E, F, E, F). p(394, 's(A, B, _, A, B, A, B).',C, D, _, C, D, C, D). p(395, 's(A, B, _, A, B, A, _).',C, D, _, C, D, C, _). p(396, 's(A, B, C, A, B, A, C).',D, E, F, D, E, D, F). p(397, 's(A, B, _, A, _, A, B).',C, D, _, C, _, C, D). p(398, 's(A, C, B, A, B, A, C).',D, F, E, D, E, D, F). p(399, 's(A, _, B, A, B, A, B).',C, _, D, C, D, C, D). p(400, 's(A, _, B, A, B, A, _).',C, _, D, C, D, C, _). p(401, 's(A, _, B, A, _, A, B).',C, _, D, C, _, C, D). p(402, 's(A, _, _, A, B, A, B).',C, _, _, C, D, C, D). p(403, 's(A, _, _, A, _, _, A).',B, _, _, B, _, _, B). p(404, 's(B, A, A, B, A, A, B).',D, C, C, D, C, C, D). p(405, 's(B, A, A, B, A, _, B).',D, C, C, D, C, _, D). p(406, 's(B, A, A, B, _, A, B).',D, C, C, D, _, C, D). p(407, 's(B, A, A, B, _, _, B).',D, C, C, D, _, _, D). p(408, 's(B, A, A, B, C, C, B).',E, D, D, E, F, F, E). p(409, 's(A, B, _, A, B, B, A).',C, D, _, C, D, D, C). p(410, 's(A, B, _, A, B, _, A).',C, D, _, C, D, _, C). p(411, 's(A, B, C, A, B, C, A).',D, E, F, D, E, F, D). p(412, 's(A, B, _, A, _, B, A).',C, D, _, C, _, D, C). p(413, 's(A, C, B, A, B, C, A).',D, F, E, D, E, F, D). p(414, 's(A, _, B, A, B, B, A).',C, _, D, C, D, D, C). p(415, 's(A, _, B, A, B, _, A).',C, _, D, C, D, _, C). p(416, 's(A, _, B, A, _, B, A).',C, _, D, C, _, D, C). p(417, 's(A, _, _, A, B, B, A).',C, _, _, C, D, D, C). p(418, 's(A, _, _, A, _, _, _).',B, _, _, B, _, _, _). p(419, 's(B, A, A, B, A, A, A).',D, C, C, D, C, C, C). p(420, 's(B, A, A, B, A, A, _).',D, C, C, D, C, C, _). p(421, 's(B, A, A, B, A, _, A).',D, C, C, D, C, _, C). p(422, 's(B, A, A, B, A, _, _).',D, C, C, D, C, _, _). p(423, 's(B, A, A, B, A, C, C).',E, D, D, E, D, F, F). p(424, 's(B, A, A, B, _, A, A).',D, C, C, D, _, C, C). p(425, 's(B, A, A, B, _, A, _).',D, C, C, D, _, C, _). p(426, 's(B, A, A, B, C, A, C).',E, D, D, E, F, D, F). p(427, 's(B, A, A, B, _, _, A).',D, C, C, D, _, _, C). p(428, 's(B, A, A, B, C, C, A).',E, D, D, E, F, F, D). p(429, 's(B, A, A, B, _, _, _).',D, C, C, D, _, _, _). p(430, 's(B, A, A, B, C, C, C).',E, D, D, E, F, F, F). p(431, 's(B, A, A, B, C, C, _).',E, D, D, E, F, F, _). p(432, 's(B, A, A, B, C, _, C).',E, D, D, E, F, _, F). p(433, 's(B, A, A, B, _, C, C).',E, D, D, E, _, F, F). p(434, 's(A, B, _, A, B, B, B).',C, D, _, C, D, D, D). p(435, 's(A, B, _, A, B, B, _).',C, D, _, C, D, D, _). p(436, 's(A, B, C, A, B, B, C).',D, E, F, D, E, E, F). p(437, 's(A, B, _, A, B, _, B).',C, D, _, C, D, _, D). p(438, 's(A, B, C, A, B, C, B).',D, E, F, D, E, F, E). p(439, 's(A, B, _, A, B, _, _).',C, D, _, C, D, _, _). p(440, 's(A, B, C, A, B, C, C).',D, E, F, D, E, F, F). p(441, 's(A, B, C, A, B, C, _).',D, E, F, D, E, F, _). p(442, 's(A, B, C, A, B, _, C).',D, E, F, D, E, _, F). p(443, 's(A, B, _, A, B, C, C).',D, E, _, D, E, F, F). p(444, 's(A, B, _, A, _, B, B).',C, D, _, C, _, D, D). p(445, 's(A, C, B, A, B, C, C).',D, F, E, D, E, F, F). p(446, 's(A, B, _, A, _, B, _).',C, D, _, C, _, D, _). p(447, 's(A, C, B, A, B, C, B).',D, F, E, D, E, F, E). p(448, 's(A, C, B, A, B, C, _).',D, F, E, D, E, F, _). p(449, 's(A, B, C, A, _, B, C).',D, E, F, D, _, E, F). p(450, 's(A, B, _, A, C, B, C).',D, E, _, D, F, E, F). p(451, 's(A, B, _, A, _, _, B).',C, D, _, C, _, _, D). p(452, 's(A, C, B, A, B, B, C).',D, F, E, D, E, E, F). p(453, 's(A, C, B, A, B, _, C).',D, F, E, D, E, _, F). p(454, 's(A, C, B, A, _, B, C).',D, F, E, D, _, E, F). p(455, 's(A, C, _, A, B, B, C).',D, F, _, D, E, E, F). p(456, 's(A, _, B, A, B, B, B).',C, _, D, C, D, D, D). p(457, 's(A, _, B, A, B, B, _).',C, _, D, C, D, D, _). p(458, 's(A, _, B, A, B, _, B).',C, _, D, C, D, _, D). p(459, 's(A, _, B, A, B, _, _).',C, _, D, C, D, _, _). p(460, 's(A, _, B, A, B, C, C).',D, _, E, D, E, F, F). p(461, 's(A, _, B, A, _, B, B).',C, _, D, C, _, D, D). p(462, 's(A, _, B, A, _, B, _).',C, _, D, C, _, D, _). p(463, 's(A, _, B, A, C, B, C).',D, _, E, D, F, E, F). p(464, 's(A, _, B, A, _, _, B).',C, _, D, C, _, _, D). p(465, 's(A, _, C, A, B, B, C).',D, _, F, D, E, E, F). p(466, 's(A, _, _, A, B, B, B).',C, _, _, C, D, D, D). p(467, 's(A, _, _, A, B, B, _).',C, _, _, C, D, D, _). p(468, 's(A, _, _, A, B, _, B).',C, _, _, C, D, _, D). p(469, 's(A, _, _, A, _, B, B).',C, _, _, C, _, D, D). p(470, 's(A, _, _, _, A, A, A).',B, _, _, _, B, B, B). p(471, 's(B, A, A, A, B, B, B).',D, C, C, C, D, D, D). p(472, 's(B, A, A, _, B, B, B).',D, C, C, _, D, D, D). p(473, 's(B, A, _, A, B, B, B).',D, C, _, C, D, D, D). p(474, 's(B, _, A, A, B, B, B).',D, _, C, C, D, D, D). p(475, 's(A, _, _, _, A, A, _).',B, _, _, _, B, B, _). p(476, 's(B, A, A, A, B, B, A).',D, C, C, C, D, D, C). p(477, 's(B, A, A, A, B, B, _).',D, C, C, C, D, D, _). p(478, 's(B, A, A, _, B, B, A).',D, C, C, _, D, D, C). p(479, 's(B, A, A, _, B, B, _).',D, C, C, _, D, D, _). p(480, 's(B, A, A, C, B, B, C).',E, D, D, F, E, E, F). p(481, 's(B, A, _, A, B, B, A).',D, C, _, C, D, D, C). p(482, 's(B, A, _, A, B, B, _).',D, C, _, C, D, D, _). p(483, 's(B, A, C, A, B, B, C).',E, D, F, D, E, E, F). p(484, 's(A, B, _, _, A, A, B).',C, D, _, _, C, C, D). p(485, 's(B, C, A, A, B, B, C).',E, F, D, D, E, E, F). p(486, 's(B, _, A, A, B, B, A).',D, _, C, C, D, D, C). p(487, 's(B, _, A, A, B, B, _).',D, _, C, C, D, D, _). p(488, 's(A, _, B, _, A, A, B).',C, _, D, _, C, C, D). p(489, 's(A, _, _, B, A, A, B).',C, _, _, D, C, C, D). p(490, 's(A, _, _, _, A, _, A).',B, _, _, _, B, _, B). p(491, 's(B, A, A, A, B, A, B).',D, C, C, C, D, C, D). p(492, 's(B, A, A, A, B, _, B).',D, C, C, C, D, _, D). p(493, 's(B, A, A, _, B, A, B).',D, C, C, _, D, C, D). p(494, 's(B, A, A, _, B, _, B).',D, C, C, _, D, _, D). p(495, 's(B, A, A, C, B, C, B).',E, D, D, F, E, F, E). p(496, 's(B, A, _, A, B, A, B).',D, C, _, C, D, C, D). p(497, 's(B, A, _, A, B, _, B).',D, C, _, C, D, _, D). p(498, 's(B, A, C, A, B, C, B).',E, D, F, D, E, F, E). p(499, 's(A, B, _, _, A, B, A).',C, D, _, _, C, D, C). p(500, 's(B, C, A, A, B, C, B).',E, F, D, D, E, F, E). p(501, 's(B, _, A, A, B, A, B).',D, _, C, C, D, C, D). p(502, 's(B, _, A, A, B, _, B).',D, _, C, C, D, _, D). p(503, 's(A, _, B, _, A, B, A).',C, _, D, _, C, D, C). p(504, 's(A, _, _, B, A, B, A).',C, _, _, D, C, D, C). p(505, 's(A, _, _, _, A, _, _).',B, _, _, _, B, _, _). p(506, 's(B, A, A, A, B, A, A).',D, C, C, C, D, C, C). p(507, 's(B, A, A, A, B, A, _).',D, C, C, C, D, C, _). p(508, 's(B, A, A, A, B, _, A).',D, C, C, C, D, _, C). p(509, 's(B, A, A, A, B, _, _).',D, C, C, C, D, _, _). p(510, 's(B, A, A, A, B, C, C).',E, D, D, D, E, F, F). p(511, 's(B, A, A, _, B, A, A).',D, C, C, _, D, C, C). p(512, 's(B, A, A, _, B, A, _).',D, C, C, _, D, C, _). p(513, 's(B, A, A, C, B, A, C).',E, D, D, F, E, D, F). p(514, 's(B, A, A, _, B, _, A).',D, C, C, _, D, _, C). p(515, 's(B, A, A, C, B, C, A).',E, D, D, F, E, F, D). p(516, 's(B, A, A, _, B, _, _).',D, C, C, _, D, _, _). p(517, 's(B, A, A, C, B, C, C).',E, D, D, F, E, F, F). p(518, 's(B, A, A, C, B, C, _).',E, D, D, F, E, F, _). p(519, 's(B, A, A, C, B, _, C).',E, D, D, F, E, _, F). p(520, 's(B, A, A, _, B, C, C).',E, D, D, _, E, F, F). p(521, 's(B, A, _, A, B, A, A).',D, C, _, C, D, C, C). p(522, 's(B, A, _, A, B, A, _).',D, C, _, C, D, C, _). p(523, 's(B, A, C, A, B, A, C).',E, D, F, D, E, D, F). p(524, 's(B, A, _, A, B, _, A).',D, C, _, C, D, _, C). p(525, 's(B, A, C, A, B, C, A).',E, D, F, D, E, F, D). p(526, 's(B, A, _, A, B, _, _).',D, C, _, C, D, _, _). p(527, 's(B, A, C, A, B, C, C).',E, D, F, D, E, F, F). p(528, 's(B, A, C, A, B, C, _).',E, D, F, D, E, F, _). p(529, 's(B, A, C, A, B, _, C).',E, D, F, D, E, _, F). p(530, 's(B, A, _, A, B, C, C).',E, D, _, D, E, F, F). p(531, 's(A, B, _, _, A, B, B).',C, D, _, _, C, D, D). p(532, 's(B, C, A, A, B, C, C).',E, F, D, D, E, F, F). p(533, 's(A, B, _, _, A, B, _).',C, D, _, _, C, D, _). p(534, 's(B, C, A, A, B, C, A).',E, F, D, D, E, F, D). p(535, 's(B, C, A, A, B, C, _).',E, F, D, D, E, F, _). p(536, 's(A, B, C, _, A, B, C).',D, E, F, _, D, E, F). p(537, 's(A, B, _, C, A, B, C).',D, E, _, F, D, E, F). p(538, 's(A, B, _, _, A, _, B).',C, D, _, _, C, _, D). p(539, 's(B, C, A, A, B, A, C).',E, F, D, D, E, D, F). p(540, 's(B, C, A, A, B, _, C).',E, F, D, D, E, _, F). p(541, 's(A, C, B, _, A, B, C).',D, F, E, _, D, E, F). p(542, 's(A, C, _, B, A, B, C).',D, F, _, E, D, E, F). p(543, 's(B, _, A, A, B, A, A).',D, _, C, C, D, C, C). p(544, 's(B, _, A, A, B, A, _).',D, _, C, C, D, C, _). p(545, 's(B, _, A, A, B, _, A).',D, _, C, C, D, _, C). p(546, 's(B, _, A, A, B, _, _).',D, _, C, C, D, _, _). p(547, 's(B, _, A, A, B, C, C).',E, _, D, D, E, F, F). p(548, 's(A, _, B, _, A, B, B).',C, _, D, _, C, D, D). p(549, 's(A, _, B, _, A, B, _).',C, _, D, _, C, D, _). p(550, 's(A, _, B, C, A, B, C).',D, _, E, F, D, E, F). p(551, 's(A, _, B, _, A, _, B).',C, _, D, _, C, _, D). p(552, 's(A, _, C, B, A, B, C).',D, _, F, E, D, E, F). p(553, 's(A, _, _, B, A, B, B).',C, _, _, D, C, D, D). p(554, 's(A, _, _, B, A, B, _).',C, _, _, D, C, D, _). p(555, 's(A, _, _, B, A, _, B).',C, _, _, D, C, _, D). p(556, 's(A, _, _, _, A, B, B).',C, _, _, _, C, D, D). p(557, 's(A, _, _, _, _, A, A).',B, _, _, _, _, B, B). p(558, 's(B, A, A, A, A, B, B).',D, C, C, C, C, D, D). p(559, 's(B, A, A, A, _, B, B).',D, C, C, C, _, D, D). p(560, 's(B, A, A, _, A, B, B).',D, C, C, _, C, D, D). p(561, 's(B, A, A, _, _, B, B).',D, C, C, _, _, D, D). p(562, 's(C, A, A, B, B, C, C).',F, D, D, E, E, F, F). p(563, 's(B, A, _, A, A, B, B).',D, C, _, C, C, D, D). p(564, 's(B, A, _, A, _, B, B).',D, C, _, C, _, D, D). p(565, 's(C, A, B, A, B, C, C).',F, D, E, D, E, F, F). p(566, 's(B, A, _, _, A, B, B).',D, C, _, _, C, D, D). p(567, 's(C, B, A, A, B, C, C).',F, E, D, D, E, F, F). p(568, 's(B, _, A, A, A, B, B).',D, _, C, C, C, D, D). p(569, 's(B, _, A, A, _, B, B).',D, _, C, C, _, D, D). p(570, 's(B, _, A, _, A, B, B).',D, _, C, _, C, D, D). p(571, 's(B, _, _, A, A, B, B).',D, _, _, C, C, D, D). p(572, 's(A, _, _, _, _, A, _).',B, _, _, _, _, B, _). p(573, 's(B, A, A, A, A, B, A).',D, C, C, C, C, D, C). p(574, 's(B, A, A, A, A, B, _).',D, C, C, C, C, D, _). p(575, 's(B, A, A, A, _, B, A).',D, C, C, C, _, D, C). p(576, 's(B, A, A, A, _, B, _).',D, C, C, C, _, D, _). p(577, 's(B, A, A, A, C, B, C).',E, D, D, D, F, E, F). p(578, 's(B, A, A, _, A, B, A).',D, C, C, _, C, D, C). p(579, 's(B, A, A, _, A, B, _).',D, C, C, _, C, D, _). p(580, 's(B, A, A, C, A, B, C).',E, D, D, F, D, E, F). p(581, 's(B, A, A, _, _, B, A).',D, C, C, _, _, D, C). p(582, 's(C, A, A, B, B, C, A).',F, D, D, E, E, F, D). p(583, 's(B, A, A, _, _, B, _).',D, C, C, _, _, D, _). p(584, 's(C, A, A, B, B, C, B).',F, D, D, E, E, F, E). p(585, 's(C, A, A, B, B, C, _).',F, D, D, E, E, F, _). p(586, 's(B, A, A, C, _, B, C).',E, D, D, F, _, E, F). p(587, 's(B, A, A, _, C, B, C).',E, D, D, _, F, E, F). p(588, 's(B, A, _, A, A, B, A).',D, C, _, C, C, D, C). p(589, 's(B, A, _, A, A, B, _).',D, C, _, C, C, D, _). p(590, 's(B, A, C, A, A, B, C).',E, D, F, D, D, E, F). p(591, 's(B, A, _, A, _, B, A).',D, C, _, C, _, D, C). p(592, 's(C, A, B, A, B, C, A).',F, D, E, D, E, F, D). p(593, 's(B, A, _, A, _, B, _).',D, C, _, C, _, D, _). p(594, 's(C, A, B, A, B, C, B).',F, D, E, D, E, F, E). p(595, 's(C, A, B, A, B, C, _).',F, D, E, D, E, F, _). p(596, 's(B, A, C, A, _, B, C).',E, D, F, D, _, E, F). p(597, 's(B, A, _, A, C, B, C).',E, D, _, D, F, E, F). p(598, 's(B, A, _, _, A, B, A).',D, C, _, _, C, D, C). p(599, 's(C, B, A, A, B, C, B).',F, E, D, D, E, F, E). p(600, 's(B, A, _, _, A, B, _).',D, C, _, _, C, D, _). p(601, 's(C, B, A, A, B, C, A).',F, E, D, D, E, F, D). p(602, 's(C, B, A, A, B, C, _).',F, E, D, D, E, F, _). p(603, 's(B, A, C, _, A, B, C).',E, D, F, _, D, E, F). p(604, 's(B, A, _, C, A, B, C).',E, D, _, F, D, E, F). p(605, 's(A, B, _, _, _, A, B).',C, D, _, _, _, C, D). p(606, 's(B, C, A, A, A, B, C).',E, F, D, D, D, E, F). p(607, 's(B, C, A, A, _, B, C).',E, F, D, D, _, E, F). p(608, 's(B, C, A, _, A, B, C).',E, F, D, _, D, E, F). p(609, 's(B, C, _, A, A, B, C).',E, F, _, D, D, E, F). p(610, 's(B, _, A, A, A, B, A).',D, _, C, C, C, D, C). p(611, 's(B, _, A, A, A, B, _).',D, _, C, C, C, D, _). p(612, 's(B, _, A, A, _, B, A).',D, _, C, C, _, D, C). p(613, 's(B, _, A, A, _, B, _).',D, _, C, C, _, D, _). p(614, 's(B, _, A, A, C, B, C).',E, _, D, D, F, E, F). p(615, 's(B, _, A, _, A, B, A).',D, _, C, _, C, D, C). p(616, 's(B, _, A, _, A, B, _).',D, _, C, _, C, D, _). p(617, 's(B, _, A, C, A, B, C).',E, _, D, F, D, E, F). p(618, 's(A, _, B, _, _, A, B).',C, _, D, _, _, C, D). p(619, 's(B, _, C, A, A, B, C).',E, _, F, D, D, E, F). p(620, 's(B, _, _, A, A, B, A).',D, _, _, C, C, D, C). p(621, 's(B, _, _, A, A, B, _).',D, _, _, C, C, D, _). p(622, 's(A, _, _, B, _, A, B).',C, _, _, D, _, C, D). p(623, 's(A, _, _, _, B, A, B).',C, _, _, _, D, C, D). p(624, 's(A, _, _, _, _, _, A).',B, _, _, _, _, _, B). p(625, 's(B, A, A, A, A, A, B).',D, C, C, C, C, C, D). p(626, 's(B, A, A, A, A, _, B).',D, C, C, C, C, _, D). p(627, 's(B, A, A, A, _, A, B).',D, C, C, C, _, C, D). p(628, 's(B, A, A, A, _, _, B).',D, C, C, C, _, _, D). p(629, 's(C, A, A, A, B, B, C).',F, D, D, D, E, E, F). p(630, 's(B, A, A, _, A, A, B).',D, C, C, _, C, C, D). p(631, 's(B, A, A, _, A, _, B).',D, C, C, _, C, _, D). p(632, 's(C, A, A, B, A, B, C).',F, D, D, E, D, E, F). p(633, 's(B, A, A, _, _, A, B).',D, C, C, _, _, C, D). p(634, 's(C, A, A, B, B, A, C).',F, D, D, E, E, D, F). p(635, 's(B, A, A, _, _, _, B).',D, C, C, _, _, _, D). p(636, 's(C, A, A, B, B, B, C).',F, D, D, E, E, E, F). p(637, 's(C, A, A, B, B, _, C).',F, D, D, E, E, _, F). p(638, 's(C, A, A, B, _, B, C).',F, D, D, E, _, E, F). p(639, 's(C, A, A, _, B, B, C).',F, D, D, _, E, E, F). p(640, 's(B, A, _, A, A, A, B).',D, C, _, C, C, C, D). p(641, 's(B, A, _, A, A, _, B).',D, C, _, C, C, _, D). p(642, 's(C, A, B, A, A, B, C).',F, D, E, D, D, E, F). p(643, 's(B, A, _, A, _, A, B).',D, C, _, C, _, C, D). p(644, 's(C, A, B, A, B, A, C).',F, D, E, D, E, D, F). p(645, 's(B, A, _, A, _, _, B).',D, C, _, C, _, _, D). p(646, 's(C, A, B, A, B, B, C).',F, D, E, D, E, E, F). p(647, 's(C, A, B, A, B, _, C).',F, D, E, D, E, _, F). p(648, 's(C, A, B, A, _, B, C).',F, D, E, D, _, E, F). p(649, 's(C, A, _, A, B, B, C).',F, D, _, D, E, E, F). p(650, 's(B, A, _, _, A, A, B).',D, C, _, _, C, C, D). p(651, 's(C, B, A, A, B, B, C).',F, E, D, D, E, E, F). p(652, 's(B, A, _, _, A, _, B).',D, C, _, _, C, _, D). p(653, 's(C, B, A, A, B, A, C).',F, E, D, D, E, D, F). p(654, 's(C, B, A, A, B, _, C).',F, E, D, D, E, _, F). p(655, 's(C, A, B, _, A, B, C).',F, D, E, _, D, E, F). p(656, 's(C, A, _, B, A, B, C).',F, D, _, E, D, E, F). p(657, 's(B, A, _, _, _, A, B).',D, C, _, _, _, C, D). p(658, 's(C, B, A, A, A, B, C).',F, E, D, D, D, E, F). p(659, 's(C, B, A, A, _, B, C).',F, E, D, D, _, E, F). p(660, 's(C, B, A, _, A, B, C).',F, E, D, _, D, E, F). p(661, 's(C, B, _, A, A, B, C).',F, E, _, D, D, E, F). p(662, 's(B, _, A, A, A, A, B).',D, _, C, C, C, C, D). p(663, 's(B, _, A, A, A, _, B).',D, _, C, C, C, _, D). p(664, 's(B, _, A, A, _, A, B).',D, _, C, C, _, C, D). p(665, 's(B, _, A, A, _, _, B).',D, _, C, C, _, _, D). p(666, 's(C, _, A, A, B, B, C).',F, _, D, D, E, E, F). p(667, 's(B, _, A, _, A, A, B).',D, _, C, _, C, C, D). p(668, 's(B, _, A, _, A, _, B).',D, _, C, _, C, _, D). p(669, 's(C, _, A, B, A, B, C).',F, _, D, E, D, E, F). p(670, 's(B, _, A, _, _, A, B).',D, _, C, _, _, C, D). p(671, 's(C, _, B, A, A, B, C).',F, _, E, D, D, E, F). p(672, 's(B, _, _, A, A, A, B).',D, _, _, C, C, C, D). p(673, 's(B, _, _, A, A, _, B).',D, _, _, C, C, _, D). p(674, 's(B, _, _, A, _, A, B).',D, _, _, C, _, C, D). p(675, 's(B, _, _, _, A, A, B).',D, _, _, _, C, C, D). p(676, 's(_, A, A, A, A, A, A).',_, B, B, B, B, B, B). p(677, 's(_, A, A, A, A, A, _).',_, B, B, B, B, B, _). p(678, 's(_, A, A, A, A, _, A).',_, B, B, B, B, _, B). p(679, 's(_, A, A, A, A, _, _).',_, B, B, B, B, _, _). p(680, 's(_, A, A, A, A, B, B).',_, C, C, C, C, D, D). p(681, 's(_, A, A, A, _, A, A).',_, B, B, B, _, B, B). p(682, 's(_, A, A, A, _, A, _).',_, B, B, B, _, B, _). p(683, 's(_, A, A, A, B, A, B).',_, C, C, C, D, C, D). p(684, 's(_, A, A, A, _, _, A).',_, B, B, B, _, _, B). p(685, 's(_, A, A, A, B, B, A).',_, C, C, C, D, D, C). p(686, 's(_, A, A, A, _, _, _).',_, B, B, B, _, _, _). p(687, 's(_, A, A, A, B, B, B).',_, C, C, C, D, D, D). p(688, 's(_, A, A, A, B, B, _).',_, C, C, C, D, D, _). p(689, 's(_, A, A, A, B, _, B).',_, C, C, C, D, _, D). p(690, 's(_, A, A, A, _, B, B).',_, C, C, C, _, D, D). p(691, 's(_, A, A, _, A, A, A).',_, B, B, _, B, B, B). p(692, 's(_, A, A, _, A, A, _).',_, B, B, _, B, B, _). p(693, 's(_, A, A, B, A, A, B).',_, C, C, D, C, C, D). p(694, 's(_, A, A, _, A, _, A).',_, B, B, _, B, _, B). p(695, 's(_, A, A, B, A, B, A).',_, C, C, D, C, D, C). p(696, 's(_, A, A, _, A, _, _).',_, B, B, _, B, _, _). p(697, 's(_, A, A, B, A, B, B).',_, C, C, D, C, D, D). p(698, 's(_, A, A, B, A, B, _).',_, C, C, D, C, D, _). p(699, 's(_, A, A, B, A, _, B).',_, C, C, D, C, _, D). p(700, 's(_, A, A, _, A, B, B).',_, C, C, _, C, D, D). p(701, 's(_, A, A, _, _, A, A).',_, B, B, _, _, B, B). p(702, 's(_, A, A, B, B, A, A).',_, C, C, D, D, C, C). p(703, 's(_, A, A, _, _, A, _).',_, B, B, _, _, B, _). p(704, 's(_, A, A, B, B, A, B).',_, C, C, D, D, C, D). p(705, 's(_, A, A, B, B, A, _).',_, C, C, D, D, C, _). p(706, 's(_, A, A, B, _, A, B).',_, C, C, D, _, C, D). p(707, 's(_, A, A, _, B, A, B).',_, C, C, _, D, C, D). p(708, 's(_, A, A, _, _, _, A).',_, B, B, _, _, _, B). p(709, 's(_, A, A, B, B, B, A).',_, C, C, D, D, D, C). p(710, 's(_, A, A, B, B, _, A).',_, C, C, D, D, _, C). p(711, 's(_, A, A, B, _, B, A).',_, C, C, D, _, D, C). p(712, 's(_, A, A, _, B, B, A).',_, C, C, _, D, D, C). p(713, 's(_, A, A, _, _, _, _).',_, B, B, _, _, _, _). p(714, 's(_, A, A, B, B, B, B).',_, C, C, D, D, D, D). p(715, 's(_, A, A, B, B, B, _).',_, C, C, D, D, D, _). p(716, 's(_, A, A, B, B, _, B).',_, C, C, D, D, _, D). p(717, 's(_, A, A, B, B, _, _).',_, C, C, D, D, _, _). p(718, 's(_, A, A, B, B, C, C).',_, D, D, E, E, F, F). p(719, 's(_, A, A, B, _, B, B).',_, C, C, D, _, D, D). p(720, 's(_, A, A, B, _, B, _).',_, C, C, D, _, D, _). p(721, 's(_, A, A, B, C, B, C).',_, D, D, E, F, E, F). p(722, 's(_, A, A, B, _, _, B).',_, C, C, D, _, _, D). p(723, 's(_, A, A, C, B, B, C).',_, D, D, F, E, E, F). p(724, 's(_, A, A, _, B, B, B).',_, C, C, _, D, D, D). p(725, 's(_, A, A, _, B, B, _).',_, C, C, _, D, D, _). p(726, 's(_, A, A, _, B, _, B).',_, C, C, _, D, _, D). p(727, 's(_, A, A, _, _, B, B).',_, C, C, _, _, D, D). p(728, 's(_, A, _, A, A, A, A).',_, B, _, B, B, B, B). p(729, 's(_, A, _, A, A, A, _).',_, B, _, B, B, B, _). p(730, 's(_, A, B, A, A, A, B).',_, C, D, C, C, C, D). p(731, 's(_, A, _, A, A, _, A).',_, B, _, B, B, _, B). p(732, 's(_, A, B, A, A, B, A).',_, C, D, C, C, D, C). p(733, 's(_, A, _, A, A, _, _).',_, B, _, B, B, _, _). p(734, 's(_, A, B, A, A, B, B).',_, C, D, C, C, D, D). p(735, 's(_, A, B, A, A, B, _).',_, C, D, C, C, D, _). p(736, 's(_, A, B, A, A, _, B).',_, C, D, C, C, _, D). p(737, 's(_, A, _, A, A, B, B).',_, C, _, C, C, D, D). p(738, 's(_, A, _, A, _, A, A).',_, B, _, B, _, B, B). p(739, 's(_, A, B, A, B, A, A).',_, C, D, C, D, C, C). p(740, 's(_, A, _, A, _, A, _).',_, B, _, B, _, B, _). p(741, 's(_, A, B, A, B, A, B).',_, C, D, C, D, C, D). p(742, 's(_, A, B, A, B, A, _).',_, C, D, C, D, C, _). p(743, 's(_, A, B, A, _, A, B).',_, C, D, C, _, C, D). p(744, 's(_, A, _, A, B, A, B).',_, C, _, C, D, C, D). p(745, 's(_, A, _, A, _, _, A).',_, B, _, B, _, _, B). p(746, 's(_, A, B, A, B, B, A).',_, C, D, C, D, D, C). p(747, 's(_, A, B, A, B, _, A).',_, C, D, C, D, _, C). p(748, 's(_, A, B, A, _, B, A).',_, C, D, C, _, D, C). p(749, 's(_, A, _, A, B, B, A).',_, C, _, C, D, D, C). p(750, 's(_, A, _, A, _, _, _).',_, B, _, B, _, _, _). p(751, 's(_, A, B, A, B, B, B).',_, C, D, C, D, D, D). p(752, 's(_, A, B, A, B, B, _).',_, C, D, C, D, D, _). p(753, 's(_, A, B, A, B, _, B).',_, C, D, C, D, _, D). p(754, 's(_, A, B, A, B, _, _).',_, C, D, C, D, _, _). p(755, 's(_, A, B, A, B, C, C).',_, D, E, D, E, F, F). p(756, 's(_, A, B, A, _, B, B).',_, C, D, C, _, D, D). p(757, 's(_, A, B, A, _, B, _).',_, C, D, C, _, D, _). p(758, 's(_, A, B, A, C, B, C).',_, D, E, D, F, E, F). p(759, 's(_, A, B, A, _, _, B).',_, C, D, C, _, _, D). p(760, 's(_, A, C, A, B, B, C).',_, D, F, D, E, E, F). p(761, 's(_, A, _, A, B, B, B).',_, C, _, C, D, D, D). p(762, 's(_, A, _, A, B, B, _).',_, C, _, C, D, D, _). p(763, 's(_, A, _, A, B, _, B).',_, C, _, C, D, _, D). p(764, 's(_, A, _, A, _, B, B).',_, C, _, C, _, D, D). p(765, 's(_, A, _, _, A, A, A).',_, B, _, _, B, B, B). p(766, 's(_, B, A, A, B, B, B).',_, D, C, C, D, D, D). p(767, 's(_, A, _, _, A, A, _).',_, B, _, _, B, B, _). p(768, 's(_, B, A, A, B, B, A).',_, D, C, C, D, D, C). p(769, 's(_, B, A, A, B, B, _).',_, D, C, C, D, D, _). p(770, 's(_, A, B, _, A, A, B).',_, C, D, _, C, C, D). p(771, 's(_, A, _, B, A, A, B).',_, C, _, D, C, C, D). p(772, 's(_, A, _, _, A, _, A).',_, B, _, _, B, _, B). p(773, 's(_, B, A, A, B, A, B).',_, D, C, C, D, C, D). p(774, 's(_, B, A, A, B, _, B).',_, D, C, C, D, _, D). p(775, 's(_, A, B, _, A, B, A).',_, C, D, _, C, D, C). p(776, 's(_, A, _, B, A, B, A).',_, C, _, D, C, D, C). p(777, 's(_, A, _, _, A, _, _).',_, B, _, _, B, _, _). p(778, 's(_, B, A, A, B, A, A).',_, D, C, C, D, C, C). p(779, 's(_, B, A, A, B, A, _).',_, D, C, C, D, C, _). p(780, 's(_, B, A, A, B, _, A).',_, D, C, C, D, _, C). p(781, 's(_, B, A, A, B, _, _).',_, D, C, C, D, _, _). p(782, 's(_, B, A, A, B, C, C).',_, E, D, D, E, F, F). p(783, 's(_, A, B, _, A, B, B).',_, C, D, _, C, D, D). p(784, 's(_, A, B, _, A, B, _).',_, C, D, _, C, D, _). p(785, 's(_, A, B, C, A, B, C).',_, D, E, F, D, E, F). p(786, 's(_, A, B, _, A, _, B).',_, C, D, _, C, _, D). p(787, 's(_, A, C, B, A, B, C).',_, D, F, E, D, E, F). p(788, 's(_, A, _, B, A, B, B).',_, C, _, D, C, D, D). p(789, 's(_, A, _, B, A, B, _).',_, C, _, D, C, D, _). p(790, 's(_, A, _, B, A, _, B).',_, C, _, D, C, _, D). p(791, 's(_, A, _, _, A, B, B).',_, C, _, _, C, D, D). p(792, 's(_, A, _, _, _, A, A).',_, B, _, _, _, B, B). p(793, 's(_, B, A, A, A, B, B).',_, D, C, C, C, D, D). p(794, 's(_, B, A, A, _, B, B).',_, D, C, C, _, D, D). p(795, 's(_, B, A, _, A, B, B).',_, D, C, _, C, D, D). p(796, 's(_, B, _, A, A, B, B).',_, D, _, C, C, D, D). p(797, 's(_, A, _, _, _, A, _).',_, B, _, _, _, B, _). p(798, 's(_, B, A, A, A, B, A).',_, D, C, C, C, D, C). p(799, 's(_, B, A, A, A, B, _).',_, D, C, C, C, D, _). p(800, 's(_, B, A, A, _, B, A).',_, D, C, C, _, D, C). p(801, 's(_, B, A, A, _, B, _).',_, D, C, C, _, D, _). p(802, 's(_, B, A, A, C, B, C).',_, E, D, D, F, E, F). p(803, 's(_, B, A, _, A, B, A).',_, D, C, _, C, D, C). p(804, 's(_, B, A, _, A, B, _).',_, D, C, _, C, D, _). p(805, 's(_, B, A, C, A, B, C).',_, E, D, F, D, E, F). p(806, 's(_, A, B, _, _, A, B).',_, C, D, _, _, C, D). p(807, 's(_, B, C, A, A, B, C).',_, E, F, D, D, E, F). p(808, 's(_, B, _, A, A, B, A).',_, D, _, C, C, D, C). p(809, 's(_, B, _, A, A, B, _).',_, D, _, C, C, D, _). p(810, 's(_, A, _, B, _, A, B).',_, C, _, D, _, C, D). p(811, 's(_, A, _, _, B, A, B).',_, C, _, _, D, C, D). p(812, 's(_, A, _, _, _, _, A).',_, B, _, _, _, _, B). p(813, 's(_, B, A, A, A, A, B).',_, D, C, C, C, C, D). p(814, 's(_, B, A, A, A, _, B).',_, D, C, C, C, _, D). p(815, 's(_, B, A, A, _, A, B).',_, D, C, C, _, C, D). p(816, 's(_, B, A, A, _, _, B).',_, D, C, C, _, _, D). p(817, 's(_, C, A, A, B, B, C).',_, F, D, D, E, E, F). p(818, 's(_, B, A, _, A, A, B).',_, D, C, _, C, C, D). p(819, 's(_, B, A, _, A, _, B).',_, D, C, _, C, _, D). p(820, 's(_, C, A, B, A, B, C).',_, F, D, E, D, E, F). p(821, 's(_, B, A, _, _, A, B).',_, D, C, _, _, C, D). p(822, 's(_, C, B, A, A, B, C).',_, F, E, D, D, E, F). p(823, 's(_, B, _, A, A, A, B).',_, D, _, C, C, C, D). p(824, 's(_, B, _, A, A, _, B).',_, D, _, C, C, _, D). p(825, 's(_, B, _, A, _, A, B).',_, D, _, C, _, C, D). p(826, 's(_, B, _, _, A, A, B).',_, D, _, _, C, C, D). p(827, 's(_, _, A, A, A, A, A).',_, _, B, B, B, B, B). p(828, 's(_, _, A, A, A, A, _).',_, _, B, B, B, B, _). p(829, 's(_, _, A, A, A, _, A).',_, _, B, B, B, _, B). p(830, 's(_, _, A, A, A, _, _).',_, _, B, B, B, _, _). p(831, 's(_, _, A, A, A, B, B).',_, _, C, C, C, D, D). p(832, 's(_, _, A, A, _, A, A).',_, _, B, B, _, B, B). p(833, 's(_, _, A, A, _, A, _).',_, _, B, B, _, B, _). p(834, 's(_, _, A, A, B, A, B).',_, _, C, C, D, C, D). p(835, 's(_, _, A, A, _, _, A).',_, _, B, B, _, _, B). p(836, 's(_, _, A, A, B, B, A).',_, _, C, C, D, D, C). p(837, 's(_, _, A, A, _, _, _).',_, _, B, B, _, _, _). p(838, 's(_, _, A, A, B, B, B).',_, _, C, C, D, D, D). p(839, 's(_, _, A, A, B, B, _).',_, _, C, C, D, D, _). p(840, 's(_, _, A, A, B, _, B).',_, _, C, C, D, _, D). p(841, 's(_, _, A, A, _, B, B).',_, _, C, C, _, D, D). p(842, 's(_, _, A, _, A, A, A).',_, _, B, _, B, B, B). p(843, 's(_, _, A, _, A, A, _).',_, _, B, _, B, B, _). p(844, 's(_, _, A, B, A, A, B).',_, _, C, D, C, C, D). p(845, 's(_, _, A, _, A, _, A).',_, _, B, _, B, _, B). p(846, 's(_, _, A, B, A, B, A).',_, _, C, D, C, D, C). p(847, 's(_, _, A, _, A, _, _).',_, _, B, _, B, _, _). p(848, 's(_, _, A, B, A, B, B).',_, _, C, D, C, D, D). p(849, 's(_, _, A, B, A, B, _).',_, _, C, D, C, D, _). p(850, 's(_, _, A, B, A, _, B).',_, _, C, D, C, _, D). p(851, 's(_, _, A, _, A, B, B).',_, _, C, _, C, D, D). p(852, 's(_, _, A, _, _, A, A).',_, _, B, _, _, B, B). p(853, 's(_, _, B, A, A, B, B).',_, _, D, C, C, D, D). p(854, 's(_, _, A, _, _, A, _).',_, _, B, _, _, B, _). p(855, 's(_, _, B, A, A, B, A).',_, _, D, C, C, D, C). p(856, 's(_, _, B, A, A, B, _).',_, _, D, C, C, D, _). p(857, 's(_, _, A, B, _, A, B).',_, _, C, D, _, C, D). p(858, 's(_, _, A, _, B, A, B).',_, _, C, _, D, C, D). p(859, 's(_, _, A, _, _, _, A).',_, _, B, _, _, _, B). p(860, 's(_, _, B, A, A, A, B).',_, _, D, C, C, C, D). p(861, 's(_, _, B, A, A, _, B).',_, _, D, C, C, _, D). p(862, 's(_, _, B, A, _, A, B).',_, _, D, C, _, C, D). p(863, 's(_, _, B, _, A, A, B).',_, _, D, _, C, C, D). p(864, 's(_, _, _, A, A, A, A).',_, _, _, B, B, B, B). p(865, 's(_, _, _, A, A, A, _).',_, _, _, B, B, B, _). p(866, 's(_, _, _, A, A, _, A).',_, _, _, B, B, _, B). p(867, 's(_, _, _, A, A, _, _).',_, _, _, B, B, _, _). p(868, 's(_, _, _, A, A, B, B).',_, _, _, C, C, D, D). p(869, 's(_, _, _, A, _, A, A).',_, _, _, B, _, B, B). p(870, 's(_, _, _, A, _, A, _).',_, _, _, B, _, B, _). p(871, 's(_, _, _, A, B, A, B).',_, _, _, C, D, C, D). p(872, 's(_, _, _, A, _, _, A).',_, _, _, B, _, _, B). p(873, 's(_, _, _, B, A, A, B).',_, _, _, D, C, C, D). p(874, 's(_, _, _, _, A, A, A).',_, _, _, _, B, B, B). p(875, 's(_, _, _, _, A, A, _).',_, _, _, _, B, B, _). p(876, 's(_, _, _, _, A, _, A).',_, _, _, _, B, _, B). p(877, 's(_, _, _, _, _, A, A).',_, _, _, _, _, B, B).