libnormalform_xnorl.3