#include<iostream> using namespace std; int main(); char ch; cin>>ch; cout<<"123 456 789" cout<<"456" return 0; }