is_weizmann.cpp 3.16 KB