#include <Eigen/Core>
USING_PART_OF_NAMESPACE_EIGEN
using namespace std;
int main(int, char**)
{
${snippet_source_code}
return 0;
}