libnormalform_nandl_checked.3