1

#include<bits/stdc++.h>
using namespace std;
int main(){

cout<<"13 7 4";

return 0;

}