Z3 python github. Pixar recruiting. Games global revenue 2021. 4090 laptop vs 5080 laptop.