Add a (analytical) remark     Apply for account
11-07-2018 Herman Spanjer:
Via een forcing wordt 16 naar 7, 9 naar 18, 36 naar 29 en 29 naar 40 gebracht om 45x1 mogelijk te maken.  Changed on 17-01-2019.