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

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


?-test(A,B,C,D,E,F).