libnormalform_nand.3