#include<bits/stdc++.h>
int main()
{
    std::cout<<"7 6 12\n9";
}