libnormalform_nand_checked.3