s2(Q,T):- s1(A,T,U), merge_sort(A,A1), checkSum(A,U,[],Q,U). checkSum([[X,Y,S,P]|R],[[X1,Y1,S1,P1]|L],O,Q,U):- checkSum([[X,Y,S,P]|R],L,O,Q,U), !. checkSum([[X,Y,S,P]|R],[[X1,Y1,S1,P1]|L],O,Q,U):- S1 > S, checkSum(R,L,[[X,Y,S,P]|O],Q,U). checkSum([[X,Y,S,P]|R],[[X1,Y1,S,P1]|L],O,Q,U):- checkSum(R,L,O,Q,U). checkSum([[X,Y,S,P]|R], L, O, Q, U) :- checkSum(R, L, O, Q, U). checkSum(A,U,Q,Q,U).