100644 blob d8ad63bbcdeb2b3fe44c38e2f0bc090790221e11	dr130.cc
040000 tree ada5ccef07485bf4db7f279094a94b8926941cc6	emplace
040000 tree 309e3fd1cd1fa8eaacaf5fefa8ec6f047824c28d	erase
100644 blob 012f58c05329bf73829ccfcd40164064e4a2a314	extract.cc
040000 tree 7fe23cd843d2fc10f7c10cb28aafb9987c7ba82a	insert
100644 blob 50464d534ddd42ad5dec325da7b91a928cba9066	merge.cc
040000 tree 4542c153b1e2cd773b3a90bc22419c95e658366a	swap