Break Content Scrambling System-like block cipher, summation LFSR cipher and auth handshake using z3

Original writeup (https://imp.ress.me/blog/2023-04-17/plaidctf-2023#the-other-css).