>>106457384
I was looking and I managed to find both, the 01av405 also goes by 00hw024 it seems
top battery: https://www.ebay.com/itm/384267889197
bottom battery: https://www.ebay.com/itm/384389784930
my two Thinkpads have batteries I bought from that seller (one is ~10 months old, the other one I received last week) and I've had no issues with them so far. picrel is the older one, in 10 months it lost 2.5Wh, sounds acceptable to me (ignore the reported design capacity though, it's just my power manager reporting it wrong, sometimes it changes it to 24 or 72 too kek)