"Квайн с подсчётом длины выражения вместо вывода" - ну я хз, что такое квайн. Но это, похоже, программирование? Меня интересует уровень матлогики.