not.hpp 895 Bytes