100644 blob 530ca9140870aa116bcca80ed002d98e42a6a204	dr130.cc
040000 tree 7fc5070d9c04c0527829516edb48f30a14bc130d	emplace
040000 tree 7d576d4b03668922263932e2156dd82f17901f7c	erase
100644 blob 8f41ce9f6541b3595b64fbd1c569b5b133fa1a1c	extract.cc
040000 tree 236f47cab9a7dcd0a5092d76bfb486cc83973123	insert
100644 blob 1b51024aa28b4b825ff80f650da8975dd5b3b4db	merge.cc
040000 tree 96cb02c99297bd56cfd66e60bf4ca54a6faec8b2	swap