n=0
exec"n-=1;k=n^-n;print-n,':',len(`k**6/7`)<<n/k;"*100