100644 blob d7ae4877abea1542c0eada1863ecb8d2f13578ab	auto_ptr.h
100644 blob d1afed3f6dabbad8f949caf533cc1058e914a165	backward_warning.h
100644 blob bda52ed237b3eab291e6c8dd258f9ca4212e09a5	binders.h
100644 blob 473babc44554ff3f320e3fd10641cbcc236aaf48	hash_fun.h
100644 blob 90019cf6d4a85b9604f0fc3a21377c8cce888d6b	hash_map
100644 blob 3e834db9ddcd9d741c7e50a33326ba59f3f5407e	hash_set
100644 blob 86121af8c37b816d4296a7bec28bc7c71e53bd3b	hashtable.h
100644 blob 6d126a53a76473f4af622fc143228a0858e5f67d	strstream