Table of tnk4

n\k 1 2 3 4 5 6
1 1 1 1 1 1 1
2 0 1 1 1 1 1
3 0 1 2 2 2 2
4 0 1 3 4 4 4
5 0 1 5 8 9 9
6 0 0 8 18 22 23
7 0 0 10 45 64 69
8 0 0 13 137 255 288
9 0 0 17 516 1534 1876
10 0 0 18 2439 17515 25086
11 0 0 18 13131 350042 794732
12 0 0 17 72840 8568229 49740411
13 0 0 13 390082 210216992 4283.784715
14 0 0 10 1963655 4883.449475 392854.911068
15 0 0 8 9202069 106201.459364 34.911114.784168
16 0 0 5 40065366 2.162295.270730 2935.439548.929890
17 0 0 3 162226878 41.328805.328568 232727.044765.746194
18 0 0 2 612.095963 743.865792.801334 17.424603.060332.072708
19 0 0 1 2157.016514 12645.424856.373580 1235.237104.030221.045979
20 0 0 1 7115.577351 203589.751456.145504 83130.115332.589950.990770
21 0 0 1 22019.910948 3.112006.425636.696967 5.324263.108413.190485.632896
22 0 0 0 64050.356717 45.265505.433912.007307 325.263699.471424.640581.188850
23 0 0 0 175429.979755 627.812668.813195.339301 18992.565768.750093.967871.104450
24 0 0 0 453174.780243 8318.516846.854331.173242 1.062000.879365.904774.411847.370913
25 0 0 0 1.105717.076983 105478.788870.843772.842562 56.965725.844966.127502.136427.818909
26 0 0 0 2.551611.593098 1.281972.950833.918228.221253 2935.925851.563823.819138.078666.163138
27 0 0 0 5.575682.400027 14.956350.997445.123733.953411 145600.174376.687935.162991.844967.292050
28 0 0 0 11.549543.231722 167.724792.916181.273737.412611 6.957608.329187.675603.026390.335091.880647
29 0 0 0 22.700713.674730 1810.271039.052131.509550.427708 320.769735.682225.931833.564523.162736.374407
30 0 0 0 42.374520.316487 18826.818799.038671.387333.683297 14284.945561.792948.358467.883672.503969.593683
31 0 0 0 75.180419.576668 188875.504697.416912.549036.442525 615174.268540.864480.057719.116524.810264.693849
32 0 0 0 126.866740.041468 1.829731.451645.143575.898238.047115 25.645077.319708.656194.874252.836949.675782.457504
33 0 0 0 203.755419.886832 17.132939.955889.278040.382894.576769 1035.905699.004153.342616.630393.108716.040794.084303
34 0 0 0 311.625652.032536 155.204279.598823.323852.464559.779545 40583.129149.209441.275933.257757.981141.385188.753742
35 0 0 0 454.082786.322125 1361.363252.475310.219053.611779.476157 1.543318.425645.514058.581261.875676.167191.084195.869115
36 0 0 0 630.670219.320168 11571.587646.019378.654940.264014.733438 57.017041.836346.654556.559943.349016.594538.369655.257838
37 0 0 0 835.211598.720438 95387.411676.573400.676399.706965.661523 2047.990502.716327.137228.869425.473125.922698.975698.744867
38 0 0 0 1055.003831.422771 763099.293412.336713.625610.302227.424363 71571.878621.244103.677542.001290.561657.192880.304798.624445
39 0 0 0 1271.414616.903132 5.928694.510356.540183.985070.720095.503513 2.435279.049497.201454.025449.689744.571548.077934.115785.720421
40 0 0 0 1462.126603.797674 44.761643.553189.080791.002780.946324.080997 80.729500.490832.210340.403374.628757.969569.785541.177904.480789
41 0 0 0 1604.772959.042952 328.615968.524622.939316.315216.593513.827962 2608.941174.398845.644984.021500.939324.435799.677904.283541.601267
42 0 0 0 1681.190646.622329 2347.256918.032991.967158.969613.704831.957761 82243.764640.573132.422551.421630.841331.255455.721419.160070.403575
43 0 0 0 1681.190646.622329 16321.623685.857225.178558.856449.216594.017708 2.530430.246964.610546.296001.822148.495653.773584.765095.656859. 281503
44 0 0 0 1604.772959.042952 110541.905872.396380.647687.937853.264717.476221 76.027926.965618.525806.076453.785436.951130.864817.222943.521351. 233785
45 0 0 0 1462.126603.797674 729576.578757.815260.815155.903467.007520.284369 2231.842033.812934.945036.184322.964282.815310.334041.546107.524061. 582449
46 0 0 0 1271.414616.903132 4.694666.680702.460877.450455.029281.738145.503219 64044.162709.414654.931865.793404.767823.557579.704812.938931.833329. 293959
47 0 0 0 1055.003831.422771 29.466524.910792.034221.324047.483731.964445.785861 1.797324.481142.934677.656804.475356.402155.286135.117101.948063. 874554.613335
48 0 0 0 835.211598.720438 180.482465.078601.188058.434389.586802.377082.136085 49.351534.711383.081356.353088.799418.447629.148168.006704.907484. 869075.677936
49 0 0 0 630.670219.320168 1079.211474.857758.063197.565021.836679.109427.760830 1326.448392.140643.227467.537729.323290.428041.316852.012874.119733. 787011.064755
50 0 0 0 454.082786.322125 6302.595013.169306.917209.769022.395173.223151.749648 34912.121681.141729.746875.658585.106188.803218.477877.314589.788537. 282654.271296
51 0 0 0 311.625652.032536 35961.865663.377809.582377.084293.507312.083272.315900 900185.098249.046561.119843.094586.556436.203423.682608.567778.080099. 369311.835565
52 0 0 0 203.755419.886832 200556.558507.299321.379032.585260.418469.870765.076718 22.746984.982677.830409.831329.235667.046229.086342.740678.668116. 777943.930022.425783
53 0 0 0 126.866740.041468 1.093600.856766.217050.845508.777962.209785.803577.120415 563.524363.816150.779775.595044.697365.544828.278905.534469.553745. 648897.296645.697412
54 0 0 0 75.180419.576668 5.832537.902753.157595.337140.682325.644294.122394.300853 13691.554913.459070.797510.456326.740446.248087.124803.778336.568632. 027782.100568.115424
55 0 0 0 42.374520.316487 30.435243.238002.840519.004384.325277.755307.313513.688365 326356.881664.451669.373383.294074.670290.468721.766792.024662.207437. 301152.604442.214899
56 0 0 0 22.700713.674730 155.437135.108371.649731.860115.782814.744077.339022.453428 7.634419.910364.851551.413055.799073.324018.534653.138369.041178. 109556.716193.111021.290129
57 0 0 0 11.549543.231722 777.185675.541858.248502.739582.352987.476228.923331.915153 175.323783.555571.766329.818990.070410.339626.686989.119801.650730. 246291.097776.861640.112885
58 0 0 0 5.575682.400027 3805.529859.549788.664689.821625.546784.884924.901782.398496 3953.853601.563583.971713.847955.765019.527460.923368.709530.549779. 735357.289512.322230.548485
59 0 0 0 2.551611.593098 18253.643224.620172.746608.320107.519032.811258.894980.186205 87587.909444.806851.712372.861839.851845.206949.702095.778348.997679. 898027.799455.085770.035202
60 0 0 0 1.105717.076983 85792.123155.714811.906684.366850.708553.100228.532210.254978 1.906496.828915.295805.605982.573359.857056.477710.183184.400410. 246078.153855.687590.247442.339856
61 0 0 0 453174.780243 395206.337815.669871.236535.736174.901063.940445.697108.982552 40.786530.520237.066005.177167.791665.320418.084152.978936.304027. 016711.227623.144106.599794.469178
62 0 0 0 175429.979755 1.784802.815941.734902.344884.464468.509977.344447.579802.850914 857.832835.457889.259205.661719.936341.348336.994204.639627.780311. 001458.333535.085898.896592.991950
63 0 0 0 64050.356717 7.904126.756313.397424.638021.439051.016700.254679.452779.165802 17742.161660.343328.646745.670157.400992.016938.244146.055633.880903. 222802.190693.400410.080523.915248
64 0 0 0 22019.910948 34.333550.597736.320063.196516.265656.894370.716249.781592.593157 360942.101277.609592.157232.227138.125985.411232.838955.827667.248631. 419561.491367.266393.341505.995940
65 0 0 0 7115.577351 146.313746.393430.163961.449848.880635.367421.406567.714217.758957 7.224394.980956.462759.947063.499245.436460.977738.778449.788021. 324708.374082.406798.900199.980453.286621
66 0 0 0 2157.016514 611.857484.917980.685656.580603.310221.472765.827473.323546.752921 142.298689.018839.417998.957311.343030.082810.532132.911296.542203. 394440.896362.960937.737274.155119.308165
67 0 0 0 612.095963 2511.355348.543950.575455.234699.352129.771292.088998.207281.522088 2758.895478.141379.163890.232051.224627.636882.912878.965727.149897. 277410.213571.963092.382143.933282.074073
68 0 0 0 162226878 10119.284786.780036.142273.550054.494712.271901.273426.000540.983779 52662.446038.639855.216610.605918.715786.486280.695237.193183.157532. 269587.518595.410631.501782.887240.508306
69 0 0 0 40065366 40037.170243.347099.519425.839020.102644.541896.503082.704458.877240 989901.340755.302785.738318.201108.168396.941204.945080.223935.761685. 905409.708434.558435.079238.194922.739463
70 0 0 0 9202069 155573.004374.148729.561188.216734.519095.624834.044134.941157.351333 18.327316.251698.177290.240862.694792.408541.846594.785464.013018. 362725.486916.474441.819384.765341.278558.571837
71 0 0 0 1963655 593806.819512.595855.085642.017845.107601.267473.413427.722795.770883 334.279923.182382.247758.618551.968332.008577.668802.451722.563377. 966312.773296.330927.818825.304302.990557.152788
72 0 0 0 390082 2.226775.573172.234456.571114.944606.807869.154186.706889.597847. 270203 6007.753063.861147.619439.616753.430451.568587.233303.121663.447549. 995749.449017.055210.719697.758699.959890.310456
73 0 0 0 72840 8.205515.468264.809161.885251.723321.879955.397498.797838.454968. 613957 106411.297418.800874.958019.513180.621803.099756.545239.480856.668762. 198996.906092.542345.825777.839533.158030.527442
74 0 0 0 13131 29.717272.236418.498045.746400.748322.990783.962838.338360.220145. 485396 1.857883.733312.036897.915692.040937.327580.507532.143807.239385. 746949.819428.567201.293996.544526.336566.893091.647565
75 0 0 0 2439 105.793489.161649.853042.856802.408168.940568.543111.860675.520466. 071401 31.980371.996077.861802.788778.998001.106568.766096.771150.051262. 133756.878600.794870.105297.607595.423772.734257.892020
76 0 0 0 516 370.277212.065774.485649.998025.183959.881676.902915.220961.446240. 571418 542.824735.196584.759547.335854.045018.231233.794473.699573.057707. 362200.673062.674169.187223.850477.320296.196428.503605
77 0 0 0 137 1274.330664.901691.411652.589025.889860.469228.661321.572307.093348. 363830 9087.027060.628542.273461.245660.571795.438990.196132.817052.132447. 298594.433786.979228.317940.254388.112780.739632.432044
78 0 0 0 45 4313.119173.513417.085593.375085.291297.475773.559315.399348.578205. 706723 150052.446847.302082.669462.620651.493218.388941.439061.553781.312314. 224998.055983.355068.516816.941944.496606.815446.120429
79 0 0 0 18 14358.865096.633274.601405.786764.664826.177487.621521.763953.577638. 135265 2.444525.304968.073169.564536.617449.009662.129460.100792.042516. 767952.476183.798806.855150.018868.511795.819874.756367.092009
80 0 0 0 8 47025.283191.473974.319603.939436.091097.139574.874607.694619.498441. 791626 39.295744.277361.776200.749926.125492.829682.150379.532748.900048. 816697.416700.440971.584372.627911.331713.293700.277438.330980
81 0 0 0 4 151525.912505.860583.918723.781162.984560.222781.076486.582823.834873. 600567 623.395449.338393.610098.316729.274793.652449.235520.697336.663987. 781412.193963.067036.671918.936892.793925.414750.391883.404822
82 0 0 0 2 480448.015262.484778.278880.236261.482670.804600.961637.893877.830432. 381394 9761.460450.615821.894710.227809.619939.610653.709254.088113.180046. 229745.870190.265919.618588.308227.746119.229222.740691.551402
83 0 0 0 1 1.499229.348831.127199.689517.759216.879863.072332.353079.247448. 607099.117005 150891.009134.218066.155580.991322.197379.651015.343193.678390.944389. 941738.659136.632187.380271.164323.109762.273453.670741.648406
84 0 0 0 1 4.604775.857124.176399.046375.811893.069758.780123.060617.741608. 928734.652719 2.302884.210834.137628.707795.605655.440960.236311.796742.721616. 197081.726635.020150.362950.971043.769092.194504.783020.622262.971736
85 0 0 0 1 13.922675.238598.980406.528453.621574.413174.944218.629844.202171. 892402.270082 34.705819.695041.532969.113954.951113.174938.476946.757592.639503. 017528.570168.052914.060958.623253.555760.431546.638147.915395.519894
86 0 0 0 0 41.444242.570713.244000.828884.637653.519301.063318.314280.418498. 624279.836075 516.551734.995967.002330.998399.272382.138600.549628.387107.770685. 052323.746822.905223.144487.870304.771167.332718.436647.305712.913289
87 0 0 0 0 121.474504.086573.301381.739833.254768.357497.009304.255194.895027. 538040.061341 7593.904242.067147.080245.367272.061801.784613.638094.029885.614551. 519074.170333.582988.923970.112803.623554.105060.192908.904835.458316
88 0 0 0 0 350.619591.340791.119897.294516.847665.243348.585731.663761.256896. 272000.946222 110284.200242.747886.006290.674701.079348.644196.239751.011407.196653. 335848.768911.666217.195986.112255.757383.041404.048275.079635.719595
89 0 0 0 0 996.705130.440675.880157.477668.135847.139400.476663.941369.764289. 762693.867344 1.582392.401235.832027.303743.725767.172227.172897.318911.135160. 700149.873892.773888.944588.139790.583043.274952.969333.632422.311715. 405631
90 0 0 0 0 2790.774365.233892.464440.937464.808514.008911.088133.673929.727074. 250750.840486 22.434807.821965.796298.217522.156432.352909.681000.559840.525817. 090554.567929.135818.594249.413940.505922.638171.880269.354201.087580. 473280
91 0 0 0 0 7697.630392.018758.335985.442886.896501.647713.792451.291735.439699. 524487.560394 314.333845.857213.080002.498249.993969.779778.421041.591305.771722. 587867.399830.441525.132034.960709.711094.359640.016909.763458.810022. 711259
92 0 0 0 0 20917.473891.355321.565177.833913.338955.223826.692042.498220.087680. 996554.898055 4352.840430.674885.477425.899679.264320.646061.654410.713227.518339. 416202.667542.914924.184020.295803.302850.687875.884545.069587.880625. 096260
93 0 0 0 0 56004.849451.048119.029347.103671.469840.641679.247518.571670.935553. 316103.117693 59582.428690.850851.750141.616039.822367.553078.488184.809969.243150. 163770.311527.939077.423087.221063.065142.834283.976467.166946.415808. 552499
94 0 0 0 0 147757.475147.446101.268915.762822.939584.438701.006653.506693.809521. 992519.296792 806264.354199.598759.852980.165985.681399.228881.729692.289155.160300. 058722.771729.373207.410269.221547.775004.769392.981879.404694.407612. 679764
95 0 0 0 0 384169.435383.359863.299180.983245.960639.139458.815270.765325.846539. 740221.943689 10.786968.359870.421302.875134.641766.326930.735829.889427.568448. 505151.193115.172250.513171.893037.610766.581746.437651.852855.574335. 651712.118545
96 0 0 0 0 984434.178169.859649.704151.269409.530950.550016.643629.711482.710383. 434004.694082 142.702602.260785.781819.285635.365033.700021.192496.113904.360468. 865250.606917.877771.824058.280806.483209.727874.394862.749244.716375. 934333.252664
97 0 0 0 0 2.486457.460325.934166.778526.401851.860533.217683.032749.054742. 426279.848080.763530 1866.903116.174609.867305.912075.033275.931205.084084.616498.373319. 903283.237749.419385.531284.881042.366853.233138.376628.388133.511888. 692321.763204
98 0 0 0 0 6.190771.635913.550374.428167.775599.354599.292427.157617.658784. 422566.809735.263967 24155.440319.483727.670856.086848.389733.477224.959376.227654.027380. 657810.003626.394156.041817.436128.202724.775843.452164.900760.118510. 742248.204717
99 0 0 0 0 15.195530.379060.532737.232775.448474.138841.058973.771925.281519. 362387.988714.645896 309140.837220.059423.828026.889261.715073.895394.147300.739891.924668. 143703.034584.012921.825507.299292.784228.586675.651202.387784.221429. 796323.362899
100 0 0 0 0 36.773183.517326.489224.103316.584125.185498.685891.713331.020637. 673404.326345.698993 3.913722.999205.952305.662820.418053.312835.515689.761330.306644. 452676.278330.255865.399584.141695.965520.368857.960047.439175.918780. 724940.976011.100959