libnormalform_xnor_checked.3