libnormalform_andl_checked.3