libnormalform_andl.3