20230626

computational record for Multivariate Quadratic Boolean system solving with n=77 variables and m=154 equations (Type I) achieved by Charles Bouillaguet and Julia Sauvage