1 2 3 4 5 6 7
insert_committed [0] v0 k1 delete_provisional [200] v0 lock [200] v0 insert_provisional [200] v200 k1 lock [200] v200 delete_provisional [200] v200 lock [200] v200