#include<bits/stdc++.h>
using namespace std;
inline int read(){
	int ret=0;char ch=getchar();
	while (ch<'0'||ch>'9') ch=getchar();
	while (ch<='9'&&ch>='0') ret=ret*10+ch-'0',ch=getchar();
	return ret;
}
inline void Print(int x,int y,int z){printf("%d %d %d",x,y,z);}
int main(){
	Print(read(),read(),read());
}