is_weizmann.cpp 3.5 KB