test(A,B,C,D,E,F) :-
	0: e0(A) ==> 9, e1(B) ==> 8;
	9: e2(C) ==> 6, e3(D) ==> 7;
	8: e6(B,E) ==> 3, e5(B,G) ==> 2;
	7: e4(A,J) ==> 5;
	6: e8(C,K) ==> 4, e7(C,L) ==> 3;
	5: e9(A) ==> 4;
	4: e10(A,J) ==> 2;
	3: e11(B,K) ==> 1;
	2: e12(A,B,F) ==> 1.

e0(1).	e1(1). e2(1).  e3(4).   e4(1,5). e5(1,2). e6(1,6).  e7(6,6). e8(5,9).
e9(11). e10(11,22). e11(3,4). e12(1,2,3).
