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