موسومة بـ “cnf”

مليون بند، أم واحد وستّون

تحويل صيغة قصيرة إلى الصورة العطفيّة النظاميّة بالتوزيع يعطي 1,048,576 بندًا و20,971,520 حرفًا؛ وتسمية الصيغ الجزئيّة تعطي 61 بندًا و160 حرفًا، أي بعامل 131,072 في الأحرف، ولا يضيع بذلك شيء البتّة: فعدد نماذج الصيغتين واحد، وقد فُحص ذلك استقصاءً. فالترميز، لا الحلّال، هو موضع الكسب أو الخسارة في مسألة القابليّة للإرضاء.