is_weizmann.cpp 3.43 KB