#include "igl_inline.h"
#include <cstdio>
#include "stdin_to_temp.cpp"
Go to the source code of this file.