Спасибо на добром слове! Перебор... Хм. Я в итоге пришел к тому же. На переборе 5к5 видно, что там есть какая-то строгая зависимость f(Z,n,m), но выделить её на глаз эмпирическим путем не получилось. Начал расписывать 7к7, дошел до половины, остановился. Думал, может есть другие способы. Теперь думаю, что нужно просто доделать.