#include <iostream>
#include <cmath>
#include <vector>
#include <cstdint>
#include <string>
#include <algorithm>
std::uint64_t F(std::uint32_t N){
std::uint64_t R = N;
if (N == 0) return 0;
for (std::uint32_t i = N - 1; i >= 1; i--) R *= i;
return R;
}
int main(){
std::vector<std::pair<double,std::string>> vec;
int N = 10;
vec.push_back(std::make_pair(std::pow(2,N),"2^n"));
vec.push_back(std::make_pair(std::pow(2,std::log(N)),"2^log(n)"));
vec.push_back(std::make_pair(std::pow(4,N),"4^n"));
vec.push_back(std::make_pair(N,"n"));
vec.push_back(std::make_pair(std::pow(N,2),"n^2"));
vec.push_back(std::make_pair((double)F(N),"n!"));
vec.push_back(std::make_pair(N*std::log(N),"n*log(n)"));
vec.push_back(std::make_pair(std::log((double)F(N)),"log(n!)"));
vec.push_back(std::make_pair(std::log(std::log(N)),"log(log(n))"));
vec.push_back(std::make_pair(std::sqrt(std::log(N)),"sqrt(log(n))"));
std::sort(vec.rbegin(), vec.rend());
for (auto& o : vec)std::cout << o.second << ":" << o.first << std::endl;
return 0;
}
I2luY2x1ZGUgPGlvc3RyZWFtPgojaW5jbHVkZSA8Y21hdGg+CiNpbmNsdWRlIDx2ZWN0b3I+CiNpbmNsdWRlIDxjc3RkaW50PgojaW5jbHVkZSA8c3RyaW5nPgojaW5jbHVkZSA8YWxnb3JpdGhtPgoKc3RkOjp1aW50NjRfdCBGKHN0ZDo6dWludDMyX3QgTil7CglzdGQ6OnVpbnQ2NF90IFIgPSBOOwoJaWYgKE4gPT0gMCkgcmV0dXJuIDA7Cglmb3IgKHN0ZDo6dWludDMyX3QgaSA9IE4gLSAxOyBpID49IDE7IGktLSkgUiAqPSBpOwoKCXJldHVybiBSOwp9CgoKCmludCBtYWluKCl7CglzdGQ6OnZlY3RvcjxzdGQ6OnBhaXI8ZG91YmxlLHN0ZDo6c3RyaW5nPj4gdmVjOwoJaW50IE4gPSAxMDsKCXZlYy5wdXNoX2JhY2soc3RkOjptYWtlX3BhaXIoc3RkOjpwb3coMixOKSwiMl5uIikpOwoJdmVjLnB1c2hfYmFjayhzdGQ6Om1ha2VfcGFpcihzdGQ6OnBvdygyLHN0ZDo6bG9nKE4pKSwiMl5sb2cobikiKSk7Cgl2ZWMucHVzaF9iYWNrKHN0ZDo6bWFrZV9wYWlyKHN0ZDo6cG93KDQsTiksIjRebiIpKTsKCXZlYy5wdXNoX2JhY2soc3RkOjptYWtlX3BhaXIoTiwibiIpKTsKCXZlYy5wdXNoX2JhY2soc3RkOjptYWtlX3BhaXIoc3RkOjpwb3coTiwyKSwibl4yIikpOwoJdmVjLnB1c2hfYmFjayhzdGQ6Om1ha2VfcGFpcigoZG91YmxlKUYoTiksIm4hIikpOwoJdmVjLnB1c2hfYmFjayhzdGQ6Om1ha2VfcGFpcihOKnN0ZDo6bG9nKE4pLCJuKmxvZyhuKSIpKTsKCXZlYy5wdXNoX2JhY2soc3RkOjptYWtlX3BhaXIoc3RkOjpsb2coKGRvdWJsZSlGKE4pKSwibG9nKG4hKSIpKTsKCXZlYy5wdXNoX2JhY2soc3RkOjptYWtlX3BhaXIoc3RkOjpsb2coc3RkOjpsb2coTikpLCJsb2cobG9nKG4pKSIpKTsKCXZlYy5wdXNoX2JhY2soc3RkOjptYWtlX3BhaXIoc3RkOjpzcXJ0KHN0ZDo6bG9nKE4pKSwic3FydChsb2cobikpIikpOwoKCXN0ZDo6c29ydCh2ZWMucmJlZ2luKCksIHZlYy5yZW5kKCkpOwoKCWZvciAoYXV0byYgbyA6IHZlYylzdGQ6OmNvdXQgPDwgby5zZWNvbmQgPDwgIjoiIDw8IG8uZmlyc3QgPDwgc3RkOjplbmRsOwoKCglyZXR1cm4gMDsKfQ==