uk=2k+12k+32k+56k-1216kk!,