not.hpp 877 Bytes