20230916

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