let k = read_int ()
let _ =
  (
    if k=1 then 1 else
if k=2 then 9 else
if k=3 then 30 else
if k=4 then 76 else
if k=5 then 141 else
if k=6 then 267 else
if k=7 then 400 else
if k=8 then 624 else
if k=9 then 885 else
if k=10 then 1249 else
if k=11 then 1590 else
if k=12 then 2208 else
if k=13 then 2689 else
if k=14 then 3411 else
if k=15 then 4248 else
if k=16 then 5248 else
if k=17 then 6081 else
if k=18 then 7485 else
if k=19 then 8530 else
if k=20 then 10248 else
if k=21 then 11889 else
if k=22 then 13687 else
if k=23 then 15228 else
if k=24 then 17988 else
if k=25 then 20053 else
if k=26 then 22569 else
if k=27 then 25242 else
if k=28 then 28588 else
if k=29 then 31053 else
if k=30 then 35463 else
if k=31 then 38284 else
if k=32 then 42540 else
if k=33 then 46581 else
if k=34 then 50893 else
if k=35 then 55362 else
if k=36 then 61824 else
if k=37 then 65857 else
if k=38 then 71247 else
if k=39 then 76884 else
if k=40 then 84388 else
if k=41 then 89349 else
if k=42 then 97881 else
if k=43 then 103342 else
if k=44 then 111528 else
if k=45 then 120141 else
if k=46 then 128047 else
if k=47 then 134580 else
if k=48 then 146316 else
if k=49 then 154177 else
if k=50 then 164817 else
if k=51 then 174438 else
if k=52 then 185836 else
if k=53 then 194157 else
if k=54 then 207927 else
if k=55 then 218812 else
if k=56 then 233268 else
if k=57 then 245277 else
if k=58 then 257857 else
if k=59 then 268182 else
if k=60 then 288216 else
if k=61 then 299257 else
if k=62 then 313635 else
if k=63 then 330204 else
if k=64 then 347836 else
if k=65 then 362973 else
if k=66 then 383709 else
if k=67 then 397042 else
if k=68 then 416448 else
if k=69 then 434025 else
if k=70 then 456967 else
if k=71 then 471948 else
if k=72 then 499740 else
if k=73 then 515581 else
if k=74 then 536073 else
if k=75 then 559758 else
if k=76 then 583960 else
if k=77 then 604833 else
if k=78 then 633651 else
if k=79 then 652216 else
if k=80 then 683712 else
if k=81 then 709065 else
if k=82 then 734233 else
if k=83 then 754734 else
if k=84 then 793188 else
if k=85 then 818917 else
if k=86 then 846603 else
if k=87 then 874512 else
if k=88 then 909496 else
if k=89 then 933081 else
if k=90 then 977145 else
if k=91 then 1006126 else
if k=92 then 1041504 else
if k=93 then 1073385 else
if k=94 then 1106467 else
if k=95 then 1138536 else
if k=96 then 1187112 else
if k=97 then 1215145 else
if k=98 then 1255101 else
if k=99 then 1295142 else
if k=100 then 1342852 else
if k=101 then 1373253 else
if k=102 then 1422195 else
if k=103 then 1453816 else
if k=104 then 1502376 else
if k=105 then 1553361 else
if k=106 then 1595437 else
if k=107 then 1629570 else
if k=108 then 1691292 else
if k=109 then 1726717 else
if k=110 then 1782111 else
if k=111 then 1827492 else
if k=112 then 1887772 else
if k=113 then 1925853 else
if k=114 then 1986837 else
if k=115 then 2033674 else
if k=116 then 2089776 else
if k=117 then 2145333 else
if k=118 then 2197483 else
if k=119 then 2246640 else
if k=120 then 2332104 else
if k=121 then 2379085 else
if k=122 then 2434833 else
if k=123 then 2490534 else
if k=124 then 2554600 else
if k=125 then 2609625 else
if k=126 then 2693919 else
if k=127 then 2742052 else
if k=128 then 2813988 else
if k=129 then 2875245 else
if k=130 then 2952085 else
if k=131 then 3003306 else
if k=132 then 3096024 else
if k=133 then 3157249 else
if k=134 then 3224511 else
if k=135 then 3306240 else
if k=136 then 3388576 else
if k=137 then 3444609 else
if k=138 then 3533637 else
if k=139 then 3591322 else
if k=140 then 3693924 else
if k=141 then 3767085 else
if k=142 then 3842623 else
if k=143 then 3912324 else
if k=144 then 4027884 else
if k=145 then 4102093 else
if k=146 then 4181949 else
if k=147 then 4270422 else
if k=148 then 4361548 else
if k=149 then 4427853 else
if k=150 then 4548003 else
if k=151 then 4616104 else
if k=152 then 4718640 else
if k=153 then 4812789 else
if k=154 then 4918561 else
if k=155 then 5003286 else
if k=156 then 5131848 else
if k=157 then 5205481 else
if k=158 then 5299011 else
if k=159 then 5392008 else
if k=160 then 5521384 else
if k=161 then 5610705 else
if k=162 then 5739009 else
if k=163 then 5818390 else
if k=164 then 5930196 else
if k=165 then 6052893 else
if k=166 then 6156139 else
if k=167 then 6239472 else
if k=168 then 6402720 else
if k=169 then 6493681 else
if k=170 then 6623853 else
if k=171 then 6741078 else
if k=172 then 6864016 else
if k=173 then 6953457 else
if k=174 then 7094451 else
if k=175 then 7215016 else
if k=176 then 7359936 else
if k=177 then 7475145 else
if k=178 then 7593865 else
if k=179 then 7689630 else
if k=180 then 7886244 else
if k=181 then 7984165 else
if k=182 then 8130747 else
if k=183 then 8253888 else
if k=184 then 8403448 else
if k=185 then 8523897 else
if k=186 then 8684853 else
if k=187 then 8802826 else
if k=188 then 8949612 else
if k=189 then 9105537 else
if k=190 then 9267595 else
if k=191 then 9376656 else
if k=192 then 9574704 else
if k=193 then 9686065 else
if k=194 then 9827097 else
if k=195 then 9997134 else
if k=196 then 10174780 else
if k=197 then 10290813 else
if k=198 then 10493367 else
if k=199 then 10611772 else
10813692 
  ) |> Printf.printf "%d\n"

Measured memory_bytes: 3684