20240727

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