is_weizmann.cpp 3.17 KB