is_weizmann.hpp 2.62 KB