libnormalform_xnorl_checked.3