libnormalform_nandl.3