2 ?- trace. Tresor2005 about

Yes
[trace] ?- liste(X),qsort(X,L).
Call: (7) liste(_G438) ?
Exit: (7) liste([5, 8, 4, 9, 2, 1, 7, 9, 4|...]) ?
Call: (7) qsort([5, 8, 4, 9, 2, 1, 7, 9, 4|...], _G441) ?
Call: (8) loop([5, 8, 4, 9, 2, 1, 7, 9, 4|...], [], _G441) ?
Call: (9) zerlege(5, [8, 4, 9, 2, 1, 7, 9, 4, 1], _G557, _G558) ?
Call: (10) 8<5 ?
Fail: (10) 8<5 ?
Redo: (9) zerlege(5, [8, 4, 9, 2, 1, 7, 9, 4, 1], _G557, _G558) ?
Call: (10) zerlege(5, [4, 9, 2, 1, 7, 9, 4, 1], _G560, _G552) ?
Call: (11) 4<5 ?
Exit: (11) 4<5 ?
Call: (11) zerlege(5, [9, 2, 1, 7, 9, 4, 1], _G555, _G552) ?
Call: (12) 9<5 ?
Fail: (12) 9<5 ?
Redo: (11) zerlege(5, [9, 2, 1, 7, 9, 4, 1], _G555, _G552) ?
Call: (12) zerlege(5, [2, 1, 7, 9, 4, 1], _G555, _G558) ?
Call: (13) 2<5 ?
Exit: (13) 2<5 ?
Call: (13) zerlege(5, [1, 7, 9, 4, 1], _G561, _G558) ?
Call: (14) 1<5 ?
Exit: (14) 1<5 ?
Call: (14) zerlege(5, [7, 9, 4, 1], _G564, _G558) ?
Call: (15) 7<5 ?
Fail: (15) 7<5 ?
Redo: (14) zerlege(5, [7, 9, 4, 1], _G564, _G558) ?
Call: (15) zerlege(5, [9, 4, 1], _G564, _G567) ?
Call: (16) 9<5 ?
Fail: (16) 9<5 ?
Redo: (15) zerlege(5, [9, 4, 1], _G564, _G567) ?
Call: (16) zerlege(5, [4, 1], _G564, _G570) ?
Call: (17) 4<5 ?
Exit: (17) 4<5 ?
Call: (17) zerlege(5, [1], _G573, _G570) ?
Call: (18) 1<5 ?
Exit: (18) 1<5 ?
Call: (18) zerlege(5, [], _G576, _G570) ?
Exit: (18) zerlege(5, [], [], []) ?
Exit: (17) zerlege(5, [1], [1], []) ?
Exit: (16) zerlege(5, [4, 1], [4, 1], []) ?
Exit: (15) zerlege(5, [9, 4, 1], [4, 1], [9]) ?
Exit: (14) zerlege(5, [7, 9, 4, 1], [4, 1], [7, 9]) ?
Exit: (13) zerlege(5, [1, 7, 9, 4, 1], [1, 4, 1], [7, 9]) ?
Exit: (12) zerlege(5, [2, 1, 7, 9, 4, 1], [2, 1, 4, 1], [7, 9]) ?
Exit: (11) zerlege(5, [9, 2, 1, 7, 9, 4, 1], [2, 1, 4, 1], [9, 7, 9]) ?
Exit: (10) zerlege(5, [4, 9, 2, 1, 7, 9, 4, 1], [4, 2, 1, 4, 1], [9, 7, 9]) ?
Exit: (9) zerlege(5, [8, 4, 9, 2, 1, 7, 9, 4, 1], [4, 2, 1, 4, 1], [8, 9, 7, 9]) ?
Call: (9) push([8, 9, 7, 9], [], _G584) ?
Exit: (9) push([8, 9, 7, 9], [], [[8, 9, 7, 9]]) ?
Call: (9) push(5, [[8, 9, 7, 9]], _G587) ?
Exit: (9) push(5, [[8, 9, 7, 9]], [5, [8, 9, 7, 9]]) ?
Call: (9) loop([4, 2, 1, 4, 1], [5, [8, 9, 7, 9]], _G441) ?
Call: (10) zerlege(4, [2, 1, 4, 1], _G590, _G591) ?
Call: (11) 2<4 ?
Exit: (11) 2<4 ?
Call: (11) zerlege(4, [1, 4, 1], _G585, _G594) ?
Call: (12) 1<4 ?
Exit: (12) 1<4 ?
Call: (12) zerlege(4, [4, 1], _G588, _G597) ?
Call: (13) 4<4 ?
Fail: (13) 4<4 ?
Redo: (12) zerlege(4, [4, 1], _G588, _G597) ?
Call: (13) zerlege(4, [1], _G588, _G591) ?
Call: (14) 1<4 ?
Exit: (14) 1<4 ?
Call: (14) zerlege(4, [], _G594, _G591) ?
Exit: (14) zerlege(4, [], [], []) ?
Exit: (13) zerlege(4, [1], [1], []) ?
Exit: (12) zerlege(4, [4, 1], [1], [4]) ?
Exit: (11) zerlege(4, [1, 4, 1], [1, 1], [4]) ?
Exit: (10) zerlege(4, [2, 1, 4, 1], [2, 1, 1], [4]) ?
Call: (10) push([4], [5, [8, 9, 7, 9]], _G602) ?
Exit: (10) push([4], [5, [8, 9, 7, 9]], [[4], 5, [8, 9, 7, 9]]) ?
Call: (10) push(4, [[4], 5, [8, 9, 7, 9]], _G605) ?
Exit: (10) push(4, [[4], 5, [8, 9, 7, 9]], [4, [4], 5, [8, 9, 7, 9]]) ?
Call: (10) loop([2, 1, 1], [4, [4], 5, [8, 9, 7, 9]], _G441) ?
Call: (11) zerlege(2, [1, 1], _G608, _G609) ?
Call: (12) 1<2 ?
Exit: (12) 1<2 ?
Call: (12) zerlege(2, [1], _G603, _G612) ?
Call: (13) 1<2 ?
Exit: (13) 1<2 ?
Call: (13) zerlege(2, [], _G606, _G615) ?
Exit: (13) zerlege(2, [], [], []) ?
Exit: (12) zerlege(2, [1], [1], []) ?
Exit: (11) zerlege(2, [1, 1], [1, 1], []) ?
Call: (11) push([], [4, [4], 5, [8, 9, 7, 9]], _G614) ?
Exit: (11) push([], [4, [4], 5, [8, 9, 7, 9]], [4, [4], 5, [8, 9, 7, 9]]) ?
Call: (11) push(2, [4, [4], 5, [8, 9, 7, 9]], _G614) ?
Exit: (11) push(2, [4, [4], 5, [8, 9, 7, 9]], [2, 4, [4], 5, [8, 9, 7, 9]]) ?
Call: (11) loop([1, 1], [2, 4, [4], 5, [8, 9, 7, 9]], _G441) ?
Call: (12) zerlege(1, [1], _G617, _G618) ?
Call: (13) 1<1 ?
Fail: (13) 1<1 ?
Redo: (12) zerlege(1, [1], _G617, _G618) ?
Call: (13) zerlege(1, [], _G620, _G612) ?
Exit: (13) zerlege(1, [], [], []) ?
Exit: (12) zerlege(1, [1], [], [1]) ?
Call: (12) push([1], [2, 4, [4], 5, [8, 9, 7, 9]], _G620) ?
Exit: (12) push([1], [2, 4, [4], 5, [8, 9, 7, 9]], [[1], 2, 4, [4], 5, [8, 9, 7, 9]]) ?
Call: (12) push(1, [[1], 2, 4, [4], 5, [8, 9, 7, 9]], _G623) ?
Exit: (12) push(1, [[1], 2, 4, [4], 5, [8, 9, 7, 9]], [1, [1], 2, 4, [4], 5, [8, 9, 7|...]]) ?
Call: (12) loop([], [1, [1], 2, 4, [4], 5, [8, 9, 7|...]], _G441) ?
Call: (13) pop(_G627, [1, [1], 2, 4, [4], 5, [8, 9, 7|...]], _G629) ?
Exit: (13) pop(1, [1, [1], 2, 4, [4], 5, [8, 9, 7|...]], [[1], 2, 4, [4], 5, [8, 9, 7, 9]]) ?
Call: (13) pop(_G627, [[1], 2, 4, [4], 5, [8, 9, 7, 9]], _G629) ?
Exit: (13) pop([1], [[1], 2, 4, [4], 5, [8, 9, 7, 9]], [2, 4, [4], 5, [8, 9, 7, 9]]) ?
Call: (13) _G620=1 ?
Exit: (13) 1=1 ?
Call: (13) loop([1], [2, 4, [4], 5, [8, 9, 7, 9]], _G621) ?
Call: (14) pop(_G630, [2, 4, [4], 5, [8, 9, 7, 9]], _G632) ?
Exit: (14) pop(2, [2, 4, [4], 5, [8, 9, 7, 9]], [4, [4], 5, [8, 9, 7, 9]]) ?
Call: (14) _G623=1 ?
Exit: (14) 1=1 ?
Call: (14) loop(2, [4, [4], 5, [8, 9, 7, 9]], _G624) ?
Fail: (14) loop(2, [4, [4], 5, [8, 9, 7, 9]], _G624) ?
Redo: (13) loop([1], [2, 4, [4], 5, [8, 9, 7, 9]], _G621) ?
Call: (14) zerlege(1, [], _G629, _G630) ?
Exit: (14) zerlege(1, [], [], []) ?
Call: (14) push([], [2, 4, [4], 5, [8, 9, 7, 9]], _G629) ?
Exit: (14) push([], [2, 4, [4], 5, [8, 9, 7, 9]], [2, 4, [4], 5, [8, 9, 7, 9]]) ?
Call: (14) push(1, [2, 4, [4], 5, [8, 9, 7, 9]], _G629) ?
Exit: (14) push(1, [2, 4, [4], 5, [8, 9, 7, 9]], [1, 2, 4, [4], 5, [8, 9, 7, 9]]) ?
Call: (14) loop([], [1, 2, 4, [4], 5, [8, 9, 7, 9]], _G621) ?
Call: (15) pop(_G633, [1, 2, 4, [4], 5, [8, 9, 7, 9]], _G635) ?
Exit: (15) pop(1, [1, 2, 4, [4], 5, [8, 9, 7, 9]], [2, 4, [4], 5, [8, 9, 7, 9]]) ?
Call: (15) pop(_G633, [2, 4, [4], 5, [8, 9, 7, 9]], _G635) ?
Exit: (15) pop(2, [2, 4, [4], 5, [8, 9, 7, 9]], [4, [4], 5, [8, 9, 7, 9]]) ?
Call: (15) _G626=1 ?
Exit: (15) 1=1 ?
Call: (15) loop(2, [4, [4], 5, [8, 9, 7, 9]], _G627) ?
Fail: (15) loop(2, [4, [4], 5, [8, 9, 7, 9]], _G627) ?
Fail: (14) loop([], [1, 2, 4, [4], 5, [8, 9, 7, 9]], _G621) ?
Redo: (14) push([], [2, 4, [4], 5, [8, 9, 7, 9]], _G629) ?
Exit: (14) push([], [2, 4, [4], 5, [8, 9, 7, 9]], [[], 2, 4, [4], 5, [8, 9, 7, 9]]) ?
Call: (14) push(1, [[], 2, 4, [4], 5, [8, 9, 7, 9]], _G632) ?
Exit: (14) push(1, [[], 2, 4, [4], 5, [8, 9, 7, 9]], [1, [], 2, 4, [4], 5, [8, 9, 7|...]]) ?
Call: (14) loop([], [1, [], 2, 4, [4], 5, [8, 9, 7|...]], _G621) ?
Call: (15) pop(_G636, [1, [], 2, 4, [4], 5, [8, 9, 7|...]], _G638) ?
Exit: (15) pop(1, [1, [], 2, 4, [4], 5, [8, 9, 7|...]], [[], 2, 4, [4], 5, [8, 9, 7, 9]]) ?
Call: (15) pop(_G636, [[], 2, 4, [4], 5, [8, 9, 7, 9]], _G638) ?
Exit: (15) pop([], [[], 2, 4, [4], 5, [8, 9, 7, 9]], [2, 4, [4], 5, [8, 9, 7, 9]]) ?
Call: (15) _G629=1 ?
Exit: (15) 1=1 ?
Call: (15) loop([], [2, 4, [4], 5, [8, 9, 7, 9]], _G630) ?
Call: (16) pop(_G639, [2, 4, [4], 5, [8, 9, 7, 9]], _G641) ?
Exit: (16) pop(2, [2, 4, [4], 5, [8, 9, 7, 9]], [4, [4], 5, [8, 9, 7, 9]]) ?
Call: (16) pop(_G639, [4, [4], 5, [8, 9, 7, 9]], _G641) ?
Exit: (16) pop(4, [4, [4], 5, [8, 9, 7, 9]], [[4], 5, [8, 9, 7, 9]]) ?
Call: (16) _G632=2 ?
Exit: (16) 2=2 ?
Call: (16) loop(4, [[4], 5, [8, 9, 7, 9]], _G633) ?
Fail: (16) loop(4, [[4], 5, [8, 9, 7, 9]], _G633) ?
Fail: (15) loop([], [2, 4, [4], 5, [8, 9, 7, 9]], _G630) ?
Fail: (14) loop([], [1, [], 2, 4, [4], 5, [8, 9, 7|...]], _G621) ?
Fail: (13) loop([1], [2, 4, [4], 5, [8, 9, 7, 9]], _G621) ?
Fail: (12) loop([], [1, [1], 2, 4, [4], 5, [8, 9, 7|...]], _G441) ?
Fail: (11) loop([1, 1], [2, 4, [4], 5, [8, 9, 7, 9]], _G441) ?
Redo: (11) push([], [4, [4], 5, [8, 9, 7, 9]], _G614) ?
Exit: (11) push([], [4, [4], 5, [8, 9, 7, 9]], [[], 4, [4], 5, [8, 9, 7, 9]]) ?
Call: (11) push(2, [[], 4, [4], 5, [8, 9, 7, 9]], _G617) ?
Exit: (11) push(2, [[], 4, [4], 5, [8, 9, 7, 9]], [2, [], 4, [4], 5, [8, 9, 7, 9]]) ?
Call: (11) loop([1, 1], [2, [], 4, [4], 5, [8, 9, 7, 9]], _G441) ?
Call: (12) zerlege(1, [1], _G620, _G621) ?
Call: (13) 1<1 ?
Fail: (13) 1<1 ?
Redo: (12) zerlege(1, [1], _G620, _G621) ?
Call: (13) zerlege(1, [], _G623, _G615) ?
Exit: (13) zerlege(1, [], [], []) ?
Exit: (12) zerlege(1, [1], [], [1]) ?
Call: (12) push([1], [2, [], 4, [4], 5, [8, 9, 7, 9]], _G623) ?
Exit: (12) push([1], [2, [], 4, [4], 5, [8, 9, 7, 9]], [[1], 2, [], 4, [4], 5, [8, 9, 7|...]]) ?
Call: (12) push(1, [[1], 2, [], 4, [4], 5, [8, 9, 7|...]], _G626) ?
Exit: (12) push(1, [[1], 2, [], 4, [4], 5, [8, 9, 7|...]], [1, [1], 2, [], 4, [4], 5, [8, 9|...]]) ?
Call: (12) loop([], [1, [1], 2, [], 4, [4], 5, [8, 9|...]], _G441) ?
Call: (13) pop(_G630, [1, [1], 2, [], 4, [4], 5, [8, 9|...]], _G632) ?
Exit: (13) pop(1, [1, [1], 2, [], 4, [4], 5, [8, 9|...]], [[1], 2, [], 4, [4], 5, [8, 9, 7|...]]) ?
Call: (13) pop(_G630, [[1], 2, [], 4, [4], 5, [8, 9, 7|...]], _G632) ?
Exit: (13) pop([1], [[1], 2, [], 4, [4], 5, [8, 9, 7|...]], [2, [], 4, [4], 5, [8, 9, 7, 9]]) ?
Call: (13) _G623=1 ?
Exit: (13) 1=1 ?
Call: (13) loop([1], [2, [], 4, [4], 5, [8, 9, 7, 9]], _G624) ?
Call: (14) pop(_G633, [2, [], 4, [4], 5, [8, 9, 7, 9]], _G635) ?
Exit: (14) pop(2, [2, [], 4, [4], 5, [8, 9, 7, 9]], [[], 4, [4], 5, [8, 9, 7, 9]]) ?
Call: (14) _G626=1 ?
Exit: (14) 1=1 ?
Call: (14) loop(2, [[], 4, [4], 5, [8, 9, 7, 9]], _G627) ?
Fail: (14) loop(2, [[], 4, [4], 5, [8, 9, 7, 9]], _G627) ?
Redo: (13) loop([1], [2, [], 4, [4], 5, [8, 9, 7, 9]], _G624) ?
Call: (14) zerlege(1, [], _G632, _G633) ?
Exit: (14) zerlege(1, [], [], []) ?
Call: (14) push([], [2, [], 4, [4], 5, [8, 9, 7, 9]], _G632) ?
Exit: (14) push([], [2, [], 4, [4], 5, [8, 9, 7, 9]], [2, [], 4, [4], 5, [8, 9, 7, 9]]) ?
Call: (14) push(1, [2, [], 4, [4], 5, [8, 9, 7, 9]], _G632) ?
Exit: (14) push(1, [2, [], 4, [4], 5, [8, 9, 7, 9]], [1, 2, [], 4, [4], 5, [8, 9, 7|...]]) ?
Call: (14) loop([], [1, 2, [], 4, [4], 5, [8, 9, 7|...]], _G624) ?
Call: (15) pop(_G636, [1, 2, [], 4, [4], 5, [8, 9, 7|...]], _G638) ?
Exit: (15) pop(1, [1, 2, [], 4, [4], 5, [8, 9, 7|...]], [2, [], 4, [4], 5, [8, 9, 7, 9]]) ?
Call: (15) pop(_G636, [2, [], 4, [4], 5, [8, 9, 7, 9]], _G638) ?
Exit: (15) pop(2, [2, [], 4, [4], 5, [8, 9, 7, 9]], [[], 4, [4], 5, [8, 9, 7, 9]]) ?
Call: (15) _G629=1 ?
Exit: (15) 1=1 ?
Call: (15) loop(2, [[], 4, [4], 5, [8, 9, 7, 9]], _G630) ?
Fail: (15) loop(2, [[], 4, [4], 5, [8, 9, 7, 9]], _G630) ?
Fail: (14) loop([], [1, 2, [], 4, [4], 5, [8, 9, 7|...]], _G624) ?
Redo: (14) push([], [2, [], 4, [4], 5, [8, 9, 7, 9]], _G632) ?
Exit: (14) push([], [2, [], 4, [4], 5, [8, 9, 7, 9]], [[], 2, [], 4, [4], 5, [8, 9, 7|...]]) ?
Call: (14) push(1, [[], 2, [], 4, [4], 5, [8, 9, 7|...]], _G635) ?
Exit: (14) push(1, [[], 2, [], 4, [4], 5, [8, 9, 7|...]], [1, [], 2, [], 4, [4], 5, [8, 9|...]]) ?
Call: (14) loop([], [1, [], 2, [], 4, [4], 5, [8, 9|...]], _G624) ?
Call: (15) pop(_G639, [1, [], 2, [], 4, [4], 5, [8, 9|...]], _G641) ?
Exit: (15) pop(1, [1, [], 2, [], 4, [4], 5, [8, 9|...]], [[], 2, [], 4, [4], 5, [8, 9, 7|...]]) ?
Call: (15) pop(_G639, [[], 2, [], 4, [4], 5, [8, 9, 7|...]], _G641) ?
Exit: (15) pop([], [[], 2, [], 4, [4], 5, [8, 9, 7|...]], [2, [], 4, [4], 5, [8, 9, 7, 9]]) ?
Call: (15) _G632=1 ?
Exit: (15) 1=1 ?
Call: (15) loop([], [2, [], 4, [4], 5, [8, 9, 7, 9]], _G633) ?
Call: (16) pop(_G642, [2, [], 4, [4], 5, [8, 9, 7, 9]], _G644) ?
Exit: (16) pop(2, [2, [], 4, [4], 5, [8, 9, 7, 9]], [[], 4, [4], 5, [8, 9, 7, 9]]) ?
Call: (16) pop(_G642, [[], 4, [4], 5, [8, 9, 7, 9]], _G644) ?
Exit: (16) pop([], [[], 4, [4], 5, [8, 9, 7, 9]], [4, [4], 5, [8, 9, 7, 9]]) ?
Call: (16) _G635=2 ?
Exit: (16) 2=2 ?
Call: (16) loop([], [4, [4], 5, [8, 9, 7, 9]], _G636) ?
Call: (17) pop(_G645, [4, [4], 5, [8, 9, 7, 9]], _G647) ?
Exit: (17) pop(4, [4, [4], 5, [8, 9, 7, 9]], [[4], 5, [8, 9, 7, 9]]) ?
Call: (17) pop(_G645, [[4], 5, [8, 9, 7, 9]], _G647) ?
Exit: (17) pop([4], [[4], 5, [8, 9, 7, 9]], [5, [8, 9, 7, 9]]) ?
Call: (17) _G638=4 ?
Exit: (17) 4=4 ?
Call: (17) loop([4], [5, [8, 9, 7, 9]], _G639) ?
Call: (18) pop(_G648, [5, [8, 9, 7, 9]], _G650) ?
Exit: (18) pop(5, [5, [8, 9, 7, 9]], [[8, 9, 7, 9]]) ?
Call: (18) _G641=4 ?
Exit: (18) 4=4 ?
Call: (18) loop(5, [[8, 9, 7, 9]], _G642) ?
Fail: (18) loop(5, [[8, 9, 7, 9]], _G642) ?
Redo: (17) loop([4], [5, [8, 9, 7, 9]], _G639) ?
Call: (18) zerlege(4, [], _G647, _G648) ?
Exit: (18) zerlege(4, [], [], []) ?
Call: (18) push([], [5, [8, 9, 7, 9]], _G647) ?
Exit: (18) push([], [5, [8, 9, 7, 9]], [5, [8, 9, 7, 9]]) ?
Call: (18) push(4, [5, [8, 9, 7, 9]], _G647) ?
Exit: (18) push(4, [5, [8, 9, 7, 9]], [4, 5, [8, 9, 7, 9]]) ?
Call: (18) loop([], [4, 5, [8, 9, 7, 9]], _G639) ?
Call: (19) pop(_G651, [4, 5, [8, 9, 7, 9]], _G653) ?
Exit: (19) pop(4, [4, 5, [8, 9, 7, 9]], [5, [8, 9, 7, 9]]) ?
Call: (19) pop(_G651, [5, [8, 9, 7, 9]], _G653) ?
Exit: (19) pop(5, [5, [8, 9, 7, 9]], [[8, 9, 7, 9]]) ?
Call: (19) _G644=4 ?
Exit: (19) 4=4 ?
Call: (19) loop(5, [[8, 9, 7, 9]], _G645) ?
Fail: (19) loop(5, [[8, 9, 7, 9]], _G645) ?
Fail: (18) loop([], [4, 5, [8, 9, 7, 9]], _G639) ?
Redo: (18) push([], [5, [8, 9, 7, 9]], _G647) ?
Exit: (18) push([], [5, [8, 9, 7, 9]], [[], 5, [8, 9, 7, 9]]) ?
Call: (18) push(4, [[], 5, [8, 9, 7, 9]], _G650) ?
Exit: (18) push(4, [[], 5, [8, 9, 7, 9]], [4, [], 5, [8, 9, 7, 9]]) ?
Call: (18) loop([], [4, [], 5, [8, 9, 7, 9]], _G639) ?
Call: (19) pop(_G654, [4, [], 5, [8, 9, 7, 9]], _G656) ?
Exit: (19) pop(4, [4, [], 5, [8, 9, 7, 9]], [[], 5, [8, 9, 7, 9]]) ?
Call: (19) pop(_G654, [[], 5, [8, 9, 7, 9]], _G656) ?
Exit: (19) pop([], [[], 5, [8, 9, 7, 9]], [5, [8, 9, 7, 9]]) ?
Call: (19) _G647=4 ?
Exit: (19) 4=4 ?
Call: (19) loop([], [5, [8, 9, 7, 9]], _G648) ?
Call: (20) pop(_G657, [5, [8, 9, 7, 9]], _G659) ?
Exit: (20) pop(5, [5, [8, 9, 7, 9]], [[8, 9, 7, 9]]) ?
Call: (20) pop(_G657, [[8, 9, 7, 9]], _G659) ?
Exit: (20) pop([8, 9, 7, 9], [[8, 9, 7, 9]], []) ?
Call: (20) _G650=5 ?
Exit: (20) 5=5 ?
Call: (20) loop([8, 9, 7, 9], [], _G651) ?
Call: (21) zerlege(8, [9, 7, 9], _G659, _G660) ?
Call: (22) 9<8 ?
Fail: (22) 9<8 ?
Redo: (21) zerlege(8, [9, 7, 9], _G659, _G660) ?
Call: (22) zerlege(8, [7, 9], _G662, _G654) ?
Call: (23) 7<8 ?
Exit: (23) 7<8 ?
Call: (23) zerlege(8, [9], _G657, _G654) ?
Call: (24) 9<8 ?
Fail: (24) 9<8 ?
Redo: (23) zerlege(8, [9], _G657, _G654) ?
Call: (24) zerlege(8, [], _G657, _G660) ?
Exit: (24) zerlege(8, [], [], []) ?
Exit: (23) zerlege(8, [9], [], [9]) ?
Exit: (22) zerlege(8, [7, 9], [7], [9]) ?
Exit: (21) zerlege(8, [9, 7, 9], [7], [9, 9]) ?
Call: (21) push([9, 9], [], _G668) ?
Exit: (21) push([9, 9], [], [[9, 9]]) ?
Call: (21) push(8, [[9, 9]], _G671) ?
Exit: (21) push(8, [[9, 9]], [8, [9, 9]]) ?
Call: (21) loop([7], [8, [9, 9]], _G651) ?
Call: (22) pop(_G675, [8, [9, 9]], _G677) ?
Exit: (22) pop(8, [8, [9, 9]], [[9, 9]]) ?
Call: (22) _G668=7 ?
Exit: (22) 7=7 ?
Call: (22) loop(8, [[9, 9]], _G669) ?
Fail: (22) loop(8, [[9, 9]], _G669) ?
Redo: (21) loop([7], [8, [9, 9]], _G651) ?
Call: (22) zerlege(7, [], _G674, _G675) ?
Exit: (22) zerlege(7, [], [], []) ?
Call: (22) push([], [8, [9, 9]], _G674) ?
Exit: (22) push([], [8, [9, 9]], [8, [9, 9]]) ?
Call: (22) push(7, [8, [9, 9]], _G674) ?
Exit: (22) push(7, [8, [9, 9]], [7, 8, [9, 9]]) ?
Call: (22) loop([], [7, 8, [9, 9]], _G651) ?
Call: (23) pop(_G678, [7, 8, [9, 9]], _G680) ?
Exit: (23) pop(7, [7, 8, [9, 9]], [8, [9, 9]]) ?
Call: (23) pop(_G678, [8, [9, 9]], _G680) ?
Exit: (23) pop(8, [8, [9, 9]], [[9, 9]]) ?
Call: (23) _G671=7 ?
Exit: (23) 7=7 ?
Call: (23) loop(8, [[9, 9]], _G672) ?
Fail: (23) loop(8, [[9, 9]], _G672) ?
Fail: (22) loop([], [7, 8, [9, 9]], _G651) ?
Redo: (22) push([], [8, [9, 9]], _G674) ?
Exit: (22) push([], [8, [9, 9]], [[], 8, [9, 9]]) ?
Call: (22) push(7, [[], 8, [9, 9]], _G677) ?
Exit: (22) push(7, [[], 8, [9, 9]], [7, [], 8, [9, 9]]) ?
Call: (22) loop([], [7, [], 8, [9, 9]], _G651) ?
Call: (23) pop(_G681, [7, [], 8, [9, 9]], _G683) ?
Exit: (23) pop(7, [7, [], 8, [9, 9]], [[], 8, [9, 9]]) ?
Call: (23) pop(_G681, [[], 8, [9, 9]], _G683) ?
Exit: (23) pop([], [[], 8, [9, 9]], [8, [9, 9]]) ?
Call: (23) _G674=7 ?
Exit: (23) 7=7 ?
Call: (23) loop([], [8, [9, 9]], _G675) ?
Call: (24) pop(_G684, [8, [9, 9]], _G686) ?
Exit: (24) pop(8, [8, [9, 9]], [[9, 9]]) ?
Call: (24) pop(_G684, [[9, 9]], _G686) ?
Exit: (24) pop([9, 9], [[9, 9]], []) ?
Call: (24) _G677=8 ?
Exit: (24) 8=8 ?
Call: (24) loop([9, 9], [], _G678) ?
Call: (25) zerlege(9, [9], _G686, _G687) ?
Call: (26) 9<9 ?
Fail: (26) 9<9 ?
Redo: (25) zerlege(9, [9], _G686, _G687) ?
Call: (26) zerlege(9, [], _G689, _G681) ?
Exit: (26) zerlege(9, [], [], []) ?
Exit: (25) zerlege(9, [9], [], [9]) ?
Call: (25) push([9], [], _G689) ?
Exit: (25) push([9], [], [[9]]) ?
Call: (25) push(9, [[9]], _G692) ?
Exit: (25) push(9, [[9]], [9, [9]]) ?
Call: (25) loop([], [9, [9]], _G678) ?
Call: (26) pop(_G696, [9, [9]], _G698) ?
Exit: (26) pop(9, [9, [9]], [[9]]) ?
Call: (26) pop(_G696, [[9]], _G698) ?
Exit: (26) pop([9], [[9]], []) ?
Call: (26) _G689=9 ?
Exit: (26) 9=9 ?
Call: (26) loop([9], [], _G690) ?
Call: (27) pop(_G699, [], _G701) ?
Exit: (27) pop([], [], []) ?
Call: (27) _G692=9 ?
Exit: (27) 9=9 ?
Call: (27) loop([], [], _G693) ?
Exit: (27) loop([], [], []) ?
Exit: (26) loop([9], [], [9]) ?
Exit: (25) loop([], [9, [9]], [9, 9]) ?
Exit: (24) loop([9, 9], [], [9, 9]) ?
Exit: (23) loop([], [8, [9, 9]], [8, 9, 9]) ?
Exit: (22) loop([], [7, [], 8, [9, 9]], [7, 8, 9, 9]) ?
Exit: (21) loop([7], [8, [9, 9]], [7, 8, 9, 9]) ?
Exit: (20) loop([8, 9, 7, 9], [], [7, 8, 9, 9]) ?
Exit: (19) loop([], [5, [8, 9, 7, 9]], [5, 7, 8, 9, 9]) ?
Exit: (18) loop([], [4, [], 5, [8, 9, 7, 9]], [4, 5, 7, 8, 9, 9]) ?
Exit: (17) loop([4], [5, [8, 9, 7, 9]], [4, 5, 7, 8, 9, 9]) ?
Exit: (16) loop([], [4, [4], 5, [8, 9, 7, 9]], [4, 4, 5, 7, 8, 9, 9]) ?
Exit: (15) loop([], [2, [], 4, [4], 5, [8, 9, 7, 9]], [2, 4, 4, 5, 7, 8, 9, 9]) ?
Exit: (14) loop([], [1, [], 2, [], 4, [4], 5, [8, 9|...]], [1, 2, 4, 4, 5, 7, 8, 9, 9]) ?
Exit: (13) loop([1], [2, [], 4, [4], 5, [8, 9, 7, 9]], [1, 2, 4, 4, 5, 7, 8, 9, 9]) ?
Exit: (12) loop([], [1, [1], 2, [], 4, [4], 5, [8, 9|...]], [1, 1, 2, 4, 4, 5, 7, 8, 9|...]) ?
Exit: (11) loop([1, 1], [2, [], 4, [4], 5, [8, 9, 7, 9]], [1, 1, 2, 4, 4, 5, 7, 8, 9|...]) ?
Exit: (10) loop([2, 1, 1], [4, [4], 5, [8, 9, 7, 9]], [1, 1, 2, 4, 4, 5, 7, 8, 9|...]) ?
Exit: (9) loop([4, 2, 1, 4, 1], [5, [8, 9, 7, 9]], [1, 1, 2, 4, 4, 5, 7, 8, 9|...]) ?
Exit: (8) loop([5, 8, 4, 9, 2, 1, 7, 9, 4|...], [], [1, 1, 2, 4, 4, 5, 7, 8, 9|...]) ?
Exit: (7) qsort([5, 8, 4, 9, 2, 1, 7, 9, 4|...], [1, 1, 2, 4, 4, 5, 7, 8, 9|...])

X = [5, 8, 4, 9, 2, 1, 7, 9, 4, 1]
L = [1, 1, 2, 4, 4, 5, 7, 8, 9, 9]
Yes

[debug] 3 ?-
S = k ln W
q
q
q
q
q
q
q
q
q
Last modified: Fri May 14 19:50:03 CEST 2004