20240723

computational records for Multivariate Quadratic Boolean system solving with n=108 variables and m=72 equations (Type IV) and with n=112 variables and m=75 equations (Type IV) achieved by Charles Bouillaguet and Julia Sauvage :1st_place_medal: