#include<iostream> int main(){ int n; scanf("%d",&n); printf("%d %d %d",2,1,40); return 0; }