...
202 10 Redo: member([4,6,0],[[3,7,0],[4,5,0],[4,6,0]]) ?
202 10 Fail: member(_5618,[[3,7,0],[4,5,0],[4,6,0]]) ?
201 9 Fail: addIn([5,2],12,[[3,7,0],[4,5,0],[4,6,0]],_3392) ?
198 9 Redo: insert([6,0],[4,6,0],[[3,7,0],[4,5,0],[6,0]],[[3,7,0],[4,5,0],[4,6,0]]) ?
199 10 Redo: insert([6,0],[4,6,0],[[4,5,0],[6,0]],[[4,5,0],[4,6,0]]) ?
200 11 Redo: insert([6,0],[4,6,0],[[6,0]],[[4,6,0]]) ?
201 12 Call: insert([6,0],[4,6,0],[],_5560) ?
201 12 Fail: insert([6,0],[4,6,0],[],_5560) ?
200 11 Fail: insert([6,0],[4,6,0],[[6,0]],_5532) ?
199 10 Fail: insert([6,0],[4,6,0],[[4,5,0],[6,0]],_5504) ?
198 9 Fail: insert([6,0],[4,6,0],[[3,7,0],[4,5,0],[6,0]],_5505) ?
189 9 Redo: member([6,0],[[3,7,0],[4,5,0],[6,0]]) ?
189 9 Fail: member(_5262,[[3,7,0],[4,5,0],[6,0]]) ?
188 8 Fail: addIn([4,5,2],12,[[3,7,0],[4,5,0],[6,0]],_3392) ?
185 8 Redo: insert([0],[6,0],[[3,7,0],[4,5,0],[0]],[[3,7,0],[4,5,0],[6,0]]) ?
186 9 Redo: insert([0],[6,0],[[4,5,0],[0]],[[4,5,0],[6,0]]) ?
...