There is no perfect Mondrian partition for squares of side lengths less than 1001
N. Garcia-Colin,Dimitri Leemans,Mia Müssig,Érika Roldán