20240717

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