#include<iostream> using namespace std; int main() { cout<<13<<' '<<8<<' '<<13; return 0; }