Looking at the prices that seems to be the pro line 😄 my main one is a p14s, 3rd gen. The one here with the sticker is a ThinkPad Edge netbook from 2010. I recently got it very cheap

Both are running NixOS :)