[TP4] Implementation LazyBiMap