Recover LFSR-like cipher state using z3

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