is_weizmann.cpp 3.11 KB