Updated results for HAMT+ V0.0.3 and HAMT V0.1.6