Re: [math-fun] Raghavendra's algorithm for solving linear systems over finite fields