fork download
  1. --Qn 1
  2. --Denotation compiler function - primitive recursive
  3. --Takes a Poly as per the data type Poly
  4. --Takes an int for the parameter of the return-function
  5. --In first case - base case - returns directly the input value
  6. --In consecutive cases - returns the denotation recursively
  7. data Poly = PConst Int |
  8. PVar |
  9. PAdd Poly Poly |
  10. PMul Poly Poly
  11.  
  12. compilePoly :: Poly -> (Int -> Int)
  13. compilePoly (PConst x) = (\_ -> x)
  14. compilePoly (PVar) = id
  15. compilePoly (PAdd p1 p2) = (\x -> (compilePoly p1 x) + (compilePoly p2 x))
  16. compilePoly (PMul p1 p2) = (\x -> (compilePoly p1 x) * (compilePoly p2 x))
  17.  
  18.  
  19. --Qn 4a
  20. --Generates an infinite list of pythagorean triples
  21. pythagoreanTriples::[(Integer, Integer, Integer)]
  22. pythagoreanTriples = [(a, b, c) | c <- [2..],
  23. a <- [2..c-1],
  24. b <- [a+1..c-1],
  25. a*a + b*b == c*c ]
  26.  
  27. --Qn 4b
  28. --takes an integer
  29. --returns all of its devision factors in a list
  30. factors::Int->[Int]
  31. factors n = [x | x <- [1..n], (n `mod` x) == 0]
  32.  
  33. --helper function that eliminates generation of
  34. --duplicate hamming numbers in the infinite list
  35. order::Ord a=> [a]->[a]->[a]
  36. order xs [] =xs
  37. order [] ys =ys
  38. order (x:xs) (y:ys)
  39. | x < y =x:order (xs) (y:ys)
  40. | y < x =y:order (x:xs) (ys)
  41. | otherwise =x:order (xs) (ys)
  42.  
  43. --generates an infinite list of all the hamming numbers
  44. hamming::[Integer]
  45. hamming = 1:order (map (2*) hamming) (order (map (3*) hamming) (map (5*) hamming))
  46.  
  47. main = do
  48. print $ compilePoly (PConst 395) 1
  49. print $ elem (30, 72, 78) (pythagoreanTriples)
  50. print $ factors 24
  51. print $ hamming
Runtime error #stdin #stdout 0.02s 7308KB
stdin
Standard input is empty
stdout
395
True
[1,2,3,4,6,8,12,24]
[1,2,3,4,5,6,8,9,10,12,15,16,18,20,24,25,27,30,32,36,40,45,48,50,54,60,64,72,75,80,81,90,96,100,108,120,125,128,135,144,150,160,162,180,192,200,216,225,240,243,250,256,270,288,300,320,324,360,375,384,400,405,432,450,480,486,500,512,540,576,600,625,640,648,675,720,729,750,768,800,810,864,900,960,972,1000,1024,1080,1125,1152,1200,1215,1250,1280,1296,1350,1440,1458,1500,1536,1600,1620,1728,1800,1875,1920,1944,2000,2025,2048,2160,2187,2250,2304,2400,2430,2500,2560,2592,2700,2880,2916,3000,3072,3125,3200,3240,3375,3456,3600,3645,3750,3840,3888,4000,4050,4096,4320,4374,4500,4608,4800,4860,5000,5120,5184,5400,5625,5760,5832,6000,6075,6144,6250,6400,6480,6561,6750,6912,7200,7290,7500,7680,7776,8000,8100,8192,8640,8748,9000,9216,9375,9600,9720,10000,10125,10240,10368,10800,10935,11250,11520,11664,12000,12150,12288,12500,12800,12960,13122,13500,13824,14400,14580,15000,15360,15552,15625,16000,16200,16384,16875,17280,17496,18000,18225,18432,18750,19200,19440,19683,20000,20250,20480,20736,21600,21870,22500,23040,23328,24000,24300,24576,25000,25600,25920,26244,27000,27648,28125,28800,29160,30000,30375,30720,31104,31250,32000,32400,32768,32805,33750,34560,34992,36000,36450,36864,37500,38400,38880,39366,40000,40500,40960,41472,43200,43740,45000,46080,46656,46875,48000,48600,49152,50000,50625,51200,51840,52488,54000,54675,55296,56250,57600,58320,59049,60000,60750,61440,62208,62500,64000,64800,65536,65610,67500,69120,69984,72000,72900,73728,75000,76800,77760,78125,78732,80000,81000,81920,82944,84375,86400,87480,90000,91125,92160,93312,93750,96000,97200,98304,98415,100000,101250,102400,103680,104976,108000,109350,110592,112500,115200,116640,118098,120000,121500,122880,124416,125000,128000,129600,131072,131220,135000,138240,139968,140625,144000,145800,147456,150000,151875,153600,155520,156250,157464,160000,162000,163840,164025,165888,168750,172800,174960,177147,180000,182250,184320,186624,187500,192000,194400,196608,196830,200000,202500,204800,207360,209952,216000,218700,221184,225000,230400,233280,234375,236196,240000,243000,245760,248832,250000,253125,256000,259200,262144,262440,270000,273375,276480,279936,281250,288000,291600,294912,295245,300000,303750,307200,311040,312500,314928,320000,324000,327680,328050,331776,337500,345600,349920,354294,360000,364500,368640,373248,375000,384000,388800,390625,393216,393660,400000,405000,409600,414720,419904,421875,432000,437400,442368,450000,455625,460800,466560,468750,472392,480000,486000,491520,492075,497664,500000,506250,512000,518400,524288,524880,531441,540000,546750,552960,559872,562500,576000,583200,589824,590490,600000,607500,614400,622080,625000,629856,640000,648000,655360,656100,663552,675000,691200,699840,703125,708588,720000,729000,737280,746496,750000,759375,768000,777600,781250,786432,787320,800000,810000,819200,820125,829440,839808,843750,864000,874800,884736,885735,900000,911250,921600,933120,937500,944784,960000,972000,983040,984150,995328,1000000,1012500,1024000,1036800,1048576,1049760,1062882,1080000,1093500,1105920,1119744,1125000,1152000,1166400,1171875,1179648,1180980,1200000,1215000,1228800,1244160,1250000,1259712,1265625,1280000,1296000,1310720,1312200,1327104,1350000,1366875,1382400,1399680,1406250,1417176,1440000,1458000,1474560,1476225,1492992,1500000,1518750,1536000,1555200,1562500,1572864,1574640,1594323,1600000,1620000,1638400,1640250,1658880,1679616,1687500,1728000,1749600,1769472,1771470,1800000,1822500,1843200,1866240,1875000,1889568,1920000,1944000,1953125,1966080,1968300,1990656,2000000,2025000,2048000,2073600,2097152,2099520,2109375,2125764,2160000,2187000,2211840,2239488,2250000,2278125,2304000,2332800,2343750,2359296,2361960,2400000,2430000,2457600,2460375,2488320,2500000,2519424,2531250,2560000,2592000,2621440,2624400,2654208,2657205,2700000,2733750,2764800,2799360,2812500,2834352,2880000,2916000,2949120,2952450,2985984,3000000,3037500,3072000,3110400,3125000,3145728,3149280,3188646,3200000,3240000,3276800,3280500,3317760,3359232,3375000,3456000,3499200,3515625,3538944,3542940,3600000,3645000,3686400,3732480,3750000,3779136,3796875,3840000,3888000,3906250,3932160,3936600,3981312,4000000,4050000,4096000,4100625,4147200,4194304,4199040,4218750,4251528,4320000,4374000,4423680,4428675,4478976,4500000,4556250,4608000,4665600,4687500,4718592,4723920,4782969,4800000,4860000,4915200,4920750,4976640,5000000,5038848,5062500,5120000,5184000,5242880,5248800,5308416,5314410,5400000,5467500,5529600,5598720,5625000,5668704,5760000,5832000,5859375,5898240,5904900,5971968,6000000,6075000,6144000,6220800,6250000,6291456,6298560,6328125,6377292,6400000,6480000,6553600,6561000,6635520,6718464,6750000,6834375,6912000,6998400,7031250,7077888,7085880,7200000,7290000,7372800,7381125,7464960,7500000,7558272,7593750,7680000,7776000,7812500,7864320,7873200,7962624,7971615,8000000,8100000,8192000,8201250,8294400,8388608,8398080,8437500,8503056,8640000,8748000,8847360,8857350,8957952,9000000,9112500,9216000,9331200,9375000,9437184,9447840,9565938,9600000,9720000,9765625,9830400,9841500,9953280,10000000,10077696,10125000,10240000,10368000,10485760,10497600,10546875,10616832,10628820,10800000,10935000,11059200,11197440,11250000,11337408,11390625,11520000,11664000,11718750,11796480,11809800,11943936,12000000,12150000,12288000,12301875,12441600,12500000,12582912,12597120,12656250,12754584,12800000,12960000,13107200,13122000,13271040,13286025,13436928,13500000,13668750,13824000,13996800,14062500,14155776,14171760,14348907,14400000,14580000,14745600,14762250,14929920,15000000,15116544,15187500,15360000,15552000,15625000,15728640,15746400,15925248,15943230,16000000,16200000,16384000,16402500,16588800,16777216,16796160,16875000,17006112,17280000,17496000,17578125,17694720,17714700,17915904,18000000,18225000,18432000,18662400,18750000,18874368,18895680,18984375,19131876,19200000,19440000,19531250,19660800,19683000,19906560,20000000,20155392,20250000,20480000,20503125,20736000,20971520,20995200,21093750,21233664,21257640,21600000,21870000,22118400,22143375,22394880,22500000,22674816,22781250,23040000,23328000,23437500,23592960,23619600,23887872,23914845,24000000,24300000,24576000,24603750,24883200,25000000,25165824,25194240,25312500,25509168,25600000,25920000,26214400,26244000,26542080,26572050,26873856,27000000,27337500,27648000,27993600,28125000,28311552,28343520,28697814,28800000,29160000,29296875,29491200,29524500,29859840,30000000,30233088,30375000,30720000,31104000,31250000,31457280,31492800,31640625,31850496,31886460,32000000,32400000,32768000,32805000,33177600,33554432,33592320,33750000,34012224,34171875,34560000,34992000,35156250,35389440,35429400,35831808,36000000,36450000,36864000,36905625,37324800,37500000,37748736,37791360,37968750,38263752,38400000,38880000,39062500,39321600,39366000,39813120,39858075,40000000,40310784,40500000,40960000,41006250,41472000,41943040,41990400,42187500,42467328,42515280,43046721,43200000,43740000,44236800,44286750,44789760,45000000,45349632,45562500,46080000,46656000,46875000,47185920,47239200,47775744,47829690,48000000,48600000,48828125,49152000,49207500,49766400,50000000,50331648,50388480,50625000,51018336,51200000,51840000,52428800,52488000,52734375,53084160,53144100,53747712,54000000,54675000,55296000,55987200,56250000,56623104,56687040,56953125,57395628,57600000,58320000,58593750,58982400,59049000,59719680,60000000,60466176,60750000,61440000,61509375,62208000,62500000,62914560,62985600,63281250,63700992,63772920,64000000,64800000,65536000,65610000,66355200,66430125,67108864,67184640,67500000,68024448,68343750,69120000,69984000,70312500,70778880,70858800,71663616,71744535,72000000,72900000,73728000,73811250,74649600,75000000,75497472,75582720,75937500,76527504,76800000,77760000,78125000,78643200,78732000,79626240,79716150,80000000,80621568,81000000,81920000,82012500,82944000,83886080,83980800,84375000,84934656,85030560,86093442,86400000,87480000,87890625,88473600,88573500,89579520,90000000,90699264,91125000,92160000,93312000,93750000,94371840,94478400,94921875,95551488,95659380,96000000,97200000,97656250,98304000,98415000,99532800,100000000,100663296,100776960,101250000,102036672,102400000,102515625,103680000,104857600,104976000,105468750,106168320,106288200,107495424,108000000,109350000,110592000,110716875,111974400,112500000,113246208,113374080,113906250,114791256,115200000,116640000,117187500,117964800,118098000,119439360,119574225,120000000,120932352,121500000,122880000,123018750,124416000,125000000,125829120,125971200,126562500,127401984,127545840,128000000,129140163,129600000,131072000,131220000,132710400,132860250,134217728,134369280,135000000,136048896,136687500,138240000,139968000,140625000,141557760,141717600,143327232,143489070,144000000,145800000,146484375,147456000,147622500,149299200,150000000,150994944,151165440,151875000,153055008,153600000,155520000,156250000,157286400,157464000,158203125,159252480,159432300,160000000,161243136,162000000,163840000,164025000,165888000,167772160,167961600,168750000,169869312,170061120,170859375,172186884,172800000,174960000,175781250,176947200,177147000,179159040,180000000,181398528,182250000,184320000,184528125,186624000,187500000,188743680,188956800,189843750,191102976,191318760,192000000,194400000,195312500,196608000,196830000,199065600,199290375,200000000,201326592,201553920,202500000,204073344,204800000,205031250,207360000,209715200,209952000,210937500,212336640,212576400,214990848,215233605,216000000,218700000,221184000,221433750,223948800,225000000,226492416,226748160,227812500,229582512,230400000,233280000,234375000,235929600,236196000,238878720,239148450,240000000,241864704,243000000,244140625,245760000,246037500,248832000,250000000,251658240,251942400,253125000,254803968,255091680,256000000,258280326,259200000,262144000,262440000,263671875,265420800,265720500,268435456,268738560,270000000,272097792,273375000,276480000,279936000,281250000,283115520,283435200,284765625,286654464,286978140,288000000,291600000,292968750,294912000,295245000,298598400,300000000,301989888,302330880,303750000,306110016,307200000,307546875,311040000,312500000,314572800,314928000,316406250,318504960,318864600,320000000,322486272,324000000,327680000,328050000,331776000,332150625,335544320,335923200,337500000,339738624,340122240,341718750,344373768,345600000,349920000,351562500,353894400,354294000,358318080,358722675,360000000,362797056,364500000,368640000,369056250,373248000,375000000,377487360,377913600,379687500,382205952,382637520,384000000,387420489,388800000,390625000,393216000,393660000,398131200,398580750,400000000,402653184,403107840,405000000,408146688,409600000,410062500,414720000,419430400,419904000,421875000,424673280,425152800,429981696,430467210,432000000,437400000,439453125,442368000,442867500,447897600,450000000,452984832,453496320,455625000,459165024,460800000,466560000,468750000,471859200,472392000,474609375,477757440,478296900,480000000,483729408,486000000,488281250,491520000,492075000,497664000,500000000,503316480,503884800,506250000,509607936,510183360,512000000,512578125,516560652,518400000,524288000,524880000,527343750,530841600,531441000,536870912,537477120,540000000,544195584,546750000,552960000,553584375,559872000,562500000,566231040,566870400,569531250,573308928,573956280,576000000,583200000,585937500,589824000,590490000,597196800,597871125,600000000,603979776,604661760,607500000,612220032,614400000,615093750,622080000,625000000,629145600,629856000,632812500,637009920,637729200,640000000,644972544,645700815,648000000,655360000,656100000,663552000,664301250,671088640,671846400,675000000,679477248,680244480,683437500,688747536,691200000,699840000,703125000,707788800,708588000,716636160,717445350,720000000,725594112,729000000,732421875,737280000,738112500,746496000,750000000,754974720,755827200,759375000,764411904,765275040,768000000,774840978,777600000,781250000,786432000,787320000,791015625,796262400,797161500,800000000,805306368,806215680,810000000,816293376,819200000,820125000,829440000,838860800,839808000,843750000,849346560,850305600,854296875,859963392,860934420,864000000,874800000,878906250,884736000,885735000,895795200,900000000,905969664,906992640,911250000,918330048,921600000,922640625,933120000,937500000,943718400,944784000,949218750,955514880,956593800,960000000,967458816,972000000,976562500,983040000,984150000,995328000,996451875,1000000000,1006632960,1007769600,1012500000,1019215872,1020366720,1024000000,1025156250,1033121304,1036800000,1048576000,1049760000,1054687500,1061683200,1062882000,1073741824,1074954240,1076168025,1080000000,1088391168,1093500000,1105920000,1107168750,1119744000,1125000000,1132462080,1133740800,1139062500,1146617856,1147912560,1152000000,1162261467,1166400000,1171875000,1179648000,1180980000,1194393600,1195742250,1200000000,1207959552,1209323520,1215000000,1220703125,1224440064,1228800000,1230187500,1244160000,1250000000,1258291200,1259712000,1265625000,1274019840,1275458400,1280000000,1289945088,1291401630,1296000000,1310720000,1312200000,1318359375,1327104000,1328602500,1342177280,1343692800,1350000000,1358954496,1360488960,1366875000,1377495072,1382400000,1399680000,1406250000,1415577600,1417176000,1423828125,1433272320,1434890700,1440000000,1451188224,1458000000,1464843750,1474560000,1476225000,1492992000,1500000000,1509949440,1511654400,1518750000,1528823808,1530550080,1536000000,1537734375,1549681956,1555200000,1562500000,1572864000,1574640000,1582031250,1592524800,1594323000,1600000000,1610612736,1612431360,1620000000,1632586752,1638400000,1640250000,1658880000,1660753125,1677721600,1679616000,1687500000,1698693120,1700611200,1708593750,1719926784,1721868840,1728000000,1749600000,1757812500,1769472000,1771470000,1791590400,1793613375,1800000000,1811939328,1813985280,1822500000,1836660096,1843200000,1845281250,1866240000,1875000000,1887436800,1889568000,1898437500,1911029760,1913187600,1920000000,1934917632,1937102445,1944000000,1953125000,1966080000,1968300000,1990656000,1992903750,2000000000,2013265920,2015539200,2025000000,2038431744,2040733440,2048000000,2050312500,2066242608,2073600000,2097152000,2099520000,2109375000,2123366400,2125764000,2147483648,2149908480,2152336050,2160000000,2176782336,2187000000,2197265625,2211840000,2214337500,2239488000,2250000000,2264924160,2267481600,2278125000,2293235712,2295825120,2304000000,2324522934,2332800000,2343750000,2359296000,2361960000,2373046875,2388787200,2391484500,2400000000,2415919104,2418647040,2430000000,2441406250,2448880128,2457600000,2460375000,2488320000,2500000000,2516582400,2519424000,2531250000,2548039680,2550916800,2560000000,2562890625,2579890176,2582803260,2592000000,2621440000,2624400000,2636718750,2654208000,2657205000,2684354560,2687385600,2700000000,2717908992,2720977920,2733750000,2754990144,2764800000,2767921875,2799360000,2812500000,2831155200,2834352000,2847656250,2866544640,2869781400,2880000000,2902376448,2916000000,2929687500,2949120000,2952450000,2985984000,2989355625,3000000000,3019898880,3023308800,3037500000,3057647616,3061100160,3072000000,3075468750,3099363912,3110400000,3125000000,3145728000,3149280000,3164062500,3185049600,3188646000,3200000000,3221225472,3224862720,3228504075,3240000000,3265173504,3276800000,3280500000,3317760000,3321506250,3355443200,3359232000,3375000000,3397386240,3401222400,3417187500,3439853568,3443737680,3456000000,3486784401,3499200000,3515625000,3538944000,3542940000,3583180800,3587226750,3600000000,3623878656,3627970560,3645000000,3662109375,3673320192,3686400000,3690562500,3732480000,3750000000,3774873600,3779136000,3796875000,3822059520,3826375200,3840000000,3869835264,3874204890,3888000000,3906250000,3932160000,3936600000,3955078125,3981312000,3985807500,4000000000,4026531840,4031078400,4050000000,4076863488,4081466880,4096000000,4100625000,4132485216,4147200000,4194304000,4199040000,4218750000,4246732800,4251528000,4271484375,4294967296,4299816960,4304672100,4320000000,4353564672,4374000000,4394531250,4423680000,4428675000,4478976000,4500000000,4529848320,4534963200,4556250000,4586471424,4591650240,4608000000,4613203125,4649045868,4665600000,4687500000,4718592000,4723920000,4746093750,4777574400,4782969000,4800000000,4831838208,4837294080,4860000000,4882812500,4897760256,4915200000,4920750000,4976640000,4982259375,5000000000,5033164800,5038848000,5062500000,5096079360,5101833600,5120000000,5125781250,5159780352,5165606520,5184000000,5242880000,5248800000,5273437500,5308416000,5314410000,5368709120,5374771200,5380840125,5400000000,5435817984,5441955840,5467500000,5509980288,5529600000,5535843750,5598720000,5625000000,5662310400,5668704000,5695312500,5733089280,5739562800,5760000000,5804752896,5811307335,5832000000,5859375000,5898240000,5904900000,5971968000,5978711250,6000000000,6039797760,6046617600,6075000000,6103515625,6115295232,6122200320,6144000000,6150937500,6198727824,6220800000,6250000000,6291456000,6298560000,6328125000,6370099200,6377292000,6400000000,6442450944,6449725440,6457008150,6480000000,6530347008,6553600000,6561000000,6591796875,6635520000,6643012500,6710886400,6718464000,6750000000,6794772480,6802444800,6834375000,6879707136,6887475360,6912000000,6973568802,6998400000,7031250000,7077888000,7085880000,7119140625,7166361600,7174453500,7200000000,7247757312,7255941120,7290000000,7324218750,7346640384,7372800000,7381125000,7464960000,7500000000,7549747200,7558272000,7593750000,7644119040,7652750400,7680000000,7688671875,7739670528,7748409780,7776000000,7812500000,7864320000,7873200000,7910156250,7962624000,7971615000,8000000000,8053063680,8062156800,8100000000,8153726976,8162933760,8192000000,8201250000,8264970432,8294400000,8303765625,8388608000,8398080000,8437500000,8493465600,8503056000,8542968750,8589934592,8599633920,8609344200,8640000000,8707129344,8748000000,8789062500,8847360000,8857350000,8957952000,8968066875,9000000000,9059696640,9069926400,9112500000,9172942848,9183300480,9216000000,9226406250,9298091736,9331200000,9375000000,9437184000,9447840000,9492187500,9555148800,9565938000,9600000000,9663676416,9674588160,9685512225,9720000000,9765625000,9795520512,9830400000,9841500000,9953280000,9964518750,10000000000,10066329600,10077696000,10125000000,10192158720,10203667200,10240000000,10251562500,10319560704,10331213040,10368000000,10460353203,10485760000,10497600000,10546875000,10616832000,10628820000,10737418240,10749542400,10761680250,10800000000,10871635968,10883911680,10935000000,10986328125,11019960576,11059200000,11071687500,11197440000,11250000000,11324620800,11337408000,11390625000,11466178560,11479125600,11520000000,11609505792,11622614670,11664000000,11718750000,11796480000,11809800000,11865234375,11943936000,11957422500,12000000000,12079595520,12093235200,12150000000,12207031250,12230590464,12244400640,12288000000,12301875000,12397455648,12441600000,12500000000,12582912000,12597120000,12656250000,12740198400,12754584000,12800000000,12814453125,12884901888,12899450880,12914016300,12960000000,13060694016,13107200000,13122000000,13183593750,13271040000,13286025000,13421772800,13436928000,13500000000,13589544960,13604889600,13668750000,13759414272,13774950720,13824000000,13839609375,13947137604,13996800000,14062500000,14155776000,14171760000,14238281250,14332723200,14348907000,14400000000,14495514624,14511882240,14580000000,14648437500,14693280768,14745600000,14762250000,14929920000,14946778125,15000000000,15099494400,15116544000,15187500000,15288238080,15305500800,15360000000,15377343750,15479341056,15496819560,15552000000,15625000000,15728640000,15746400000,15820312500,15925248000,15943230000,16000000000,16106127360,16124313600,16142520375,16200000000,16307453952,16325867520,16384000000,16402500000,16529940864,16588800000,16607531250,16777216000,16796160000,16875000000,16986931200,17006112000,17085937500,17179869184,17199267840,17218688400,17280000000,17414258688,17433922005,17496000000,17578125000,17694720000,17714700000,17915904000,17936133750,18000000000,18119393280,18139852800,18225000000,18310546875,18345885696,18366600960,18432000000,18452812500,18596183472,18662400000,18750000000,18874368000,18895680000,18984375000,19110297600,19131876000,19200000000,19327352832,19349176320,19371024450,19440000000,19531250000,19591041024,19660800000,19683000000,19775390625,19906560000,19929037500,20000000000,20132659200,20155392000,20250000000,20384317440,20407334400,20480000000,20503125000,20639121408,20662426080,20736000000,20920706406,20971520000,20995200000,21093750000,21233664000,21257640000,21357421875,21474836480,21499084800,21523360500,21600000000,21743271936,21767823360,21870000000,21972656250,22039921152,22118400000,22143375000,22394880000,22500000000,22649241600,22674816000,22781250000,22932357120,22958251200,23040000000,23066015625,23219011584,23245229340,23328000000,23437500000,23592960000,23619600000,23730468750,23887872000,23914845000,24000000000,24159191040,24186470400,24300000000,24414062500,24461180928,24488801280,24576000000,24603750000,24794911296,24883200000,24911296875,25000000000,25165824000,25194240000,25312500000,25480396800,25509168000,25600000000,25628906250,25769803776,25798901760,25828032600,25920000000,26121388032,26214400000,26244000000,26367187500,26542080000,26572050000,26843545600,26873856000,26904200625,27000000000,27179089920,27209779200,27337500000,27518828544,27549901440,27648000000,27679218750,27894275208,27993600000,28125000000,28311552000,28343520000,28476562500,28665446400,28697814000,28800000000,28991029248,29023764480,29056536675,29160000000,29296875000,29386561536,29491200000,29524500000,29859840000,29893556250,30000000000,30198988800,30233088000,30375000000,30517578125,30576476160,30611001600,30720000000,30754687500,30958682112,30993639120,31104000000,31250000000,31381059609,31457280000,31492800000,31640625000,31850496000,31886460000,32000000000,32212254720,32248627200,32285040750,32400000000,32614907904,32651735040,32768000000,32805000000,32958984375,33059881728,33177600000,33215062500,33554432000,33592320000,33750000000,33973862400,34012224000,34171875000,34359738368,34398535680,34437376800,34560000000,34828517376,34867844010,34992000000,35156250000,35389440000,35429400000,35595703125,35831808000,35872267500,36000000000,36238786560,36279705600,36450000000,36621093750,36691771392,36733201920,36864000000,36905625000,37192366944,37324800000,37500000000,37748736000,37791360000,37968750000,38220595200,38263752000,38400000000,38443359375,38654705664,38698352640,38742048900,38880000000,39062500000,39182082048,39321600000,39366000000,39550781250,39813120000,39858075000,40000000000,40265318400,40310784000,40500000000,40768634880,40814668800,40960000000,41006250000,41278242816,41324852160,41472000000,41518828125,41841412812,41943040000,41990400000,42187500000,42467328000,42515280000,42714843750,42949672960,42998169600,43046721000,43200000000,43486543872,43535646720,43740000000,43945312500,44079842304,44236800000,44286750000,44789760000,44840334375,45000000000,45298483200,45349632000,45562500000,45864714240,45916502400,46080000000,46132031250,46438023168,46490458680,46656000000,46875000000,47185920000,47239200000,47460937500,47775744000,47829690000,48000000000,48318382080,48372940800,48427561125,48600000000,48828125000,48922361856,48977602560,49152000000,49207500000,49589822592,49766400000,49822593750,50000000000,50331648000,50388480000,50625000000,50960793600,51018336000,51200000000,51257812500,51539607552,51597803520,51656065200,51840000000,52242776064,52301766015,52428800000,52488000000,52734375000,53084160000,53144100000,53687091200,53747712000,53808401250,54000000000,54358179840,54419558400,54675000000,54931640625,55037657088,55099802880,55296000000,55358437500,55788550416,55987200000,56250000000,56623104000,56687040000,56953125000,57330892800,57395628000,57600000000,57982058496,58047528960,58113073350,58320000000,58593750000,58773123072,58982400000,59049000000,59326171875,59719680000,59787112500,60000000000,60397977600,60466176000,60750000000,61035156250,61152952320,61222003200,61440000000,61509375000,61917364224,61987278240,62208000000,62500000000,62762119218,62914560000,62985600000,63281250000,63700992000,63772920000,64000000000,64072265625,64424509440,64497254400,64570081500,64800000000,65229815808,65303470080,65536000000,65610000000,65917968750,66119763456,66355200000,66430125000,67108864000,67184640000,67500000000,67947724800,68024448000,68343750000,68719476736,68797071360,68874753600,69120000000,69198046875,69657034752,69735688020,69984000000,70312500000,70778880000,70858800000,71191406250,71663616000,71744535000,72000000000,72477573120,72559411200,72900000000,73242187500,73383542784,73466403840,73728000000,73811250000,74384733888,74649600000,74733890625,75000000000,75497472000,75582720000,75937500000,76441190400,76527504000,76800000000,76886718750,77309411328,77396705280,77484097800,77760000000,78125000000,78364164096,78643200000,78732000000,79101562500,79626240000,79716150000,80000000000,80530636800,80621568000,80712601875,81000000000,81537269760,81629337600,81920000000,82012500000,82556485632,82649704320,82944000000,83037656250,83682825624,83886080000,83980800000,84375000000,84934656000,85030560000,85429687500,85899345920,85996339200,86093442000,86400000000,86973087744,87071293440,87169610025,87480000000,87890625000,88159684608,88473600000,88573500000,89579520000,89680668750,90000000000,90596966400,90699264000,91125000000,91552734375,91729428480,91833004800,92160000000,92264062500,92876046336,92980917360,93312000000,93750000000,94143178827,94371840000,94478400000,94921875000,95551488000,95659380000,96000000000,96636764160,96745881600,96855122250,97200000000,97656250000,97844723712,97955205120,98304000000,98415000000,98876953125,99179645184,99532800000,99645187500,100000000000,100663296000,100776960000,101250000000,101921587200,102036672000,102400000000,102515625000,103079215104,103195607040,103312130400,103680000000,104485552128,104603532030,104857600000,104976000000,105468750000,106168320000,106288200000,106787109375,107374182400,107495424000,107616802500,108000000000,108716359680,108839116800,109350000000,109863281250,110075314176,110199605760,110592000000,110716875000,111577100832,111974400000,112500000000,113246208000,113374080000,113906250000,114661785600,114791256000,115200000000,115330078125,115964116992,116095057920,116226146700,116640000000,117187500000,117546246144,117964800000,118098000000,118652343750,119439360000,119574225000,120000000000,120795955200,120932352000,121500000000,122070312500,122305904640,122444006400,122880000000,123018750000,123834728448,123974556480,124416000000,124556484375,125000000000,125524238436,125829120000,125971200000,126562500000,127401984000,127545840000,128000000000,128144531250,128849018880,128994508800,129140163000,129600000000,130459631616,130606940160,131072000000,131220000000,131835937500,132239526912,132710400000,132860250000,134217728000,134369280000,134521003125,135000000000,135895449600,136048896000,136687500000,137438953472,137594142720,137749507200,138240000000,138396093750,139314069504,139471376040,139968000000,140625000000,141557760000,141717600000,142382812500,143327232000,143489070000,144000000000,144955146240,145118822400,145282683375,145800000000,146484375000,146767085568,146932807680,147456000000,147622500000,148769467776,149299200000,149467781250,150000000000,150994944000,151165440000,151875000000,152587890625,152882380800,153055008000,153600000000,153773437500,154618822656,154793410560,154968195600,155520000000,156250000000,156728328192,156905298045,157286400000,157464000000,158203125000,159252480000,159432300000,160000000000,161061273600,161243136000,161425203750,162000000000,163074539520,163258675200,163840000000,164025000000,164794921875,165112971264,165299408640,165888000000,166075312500,167365651248,167772160000,167961600000,168750000000,169869312000,170061120000,170859375000,171798691840,171992678400,172186884000,172800000000,173946175488,174142586880,174339220050,174960000000,175781250000,176319369216,176947200000,177147000000,177978515625,179159040000,179361337500,180000000000,181193932800,181398528000,182250000000,183105468750,183458856960,183666009600,184320000000,184528125000,185752092672,185961834720,186624000000,187500000000,188286357654,188743680000,188956800000,189843750000,191102976000,191318760000,192000000000,192216796875,193273528320,193491763200,193710244500,194400000000,195312500000,195689447424,195910410240,196608000000,196830000000,197753906250,198359290368,199065600000,199290375000,200000000000,201326592000,201553920000,202500000000,203843174400,204073344000,204800000000,205031250000,206158430208,206391214080,206624260800,207360000000,207594140625,208971104256,209207064060,209715200000,209952000000,210937500000,212336640000,212576400000,213574218750,214748364800,214990848000,215233605000,216000000000,217432719360,217678233600,218700000000,219726562500,220150628352,220399211520,221184000000,221433750000,223154201664,223948800000,224201671875,225000000000,226492416000,226748160000,227812500000,229323571200,229582512000,230400000000,230660156250,231928233984,232190115840,232452293400,233280000000,234375000000,235092492288,235929600000,236196000000,237304687500,238878720000,239148450000,240000000000,241591910400,241864704000,242137805625,243000000000,244140625000,244611809280,244888012800,245760000000,246037500000,247669456896,247949112960,248832000000,249112968750,250000000000,251048476872,251658240000,251942400000,253125000000,254803968000,255091680000,256000000000,256289062500,257698037760,257989017600,258280326000,259200000000,260919263232,261213880320,261508830075,262144000000,262440000000,263671875000,264479053824,265420800000,265720500000,268435456000,268738560000,269042006250,270000000000,271790899200,272097792000,273375000000,274658203125,274877906944,275188285440,275499014400,276480000000,276792187500,278628139008,278942752080,279936000000,281250000000,282429536481,283115520000,283435200000,284765625000,286654464000,286978140000,288000000000,289910292480,290237644800,290565366750,291600000000,292968750000,293534171136,293865615360,294912000000,295245000000,296630859375,297538935552,298598400000,298935562500,300000000000,301989888000,302330880000,303750000000,305175781250,305764761600,306110016000,307200000000,307546875000,309237645312,309586821120,309936391200,311040000000,312500000000,313456656384,313810596090,314572800000,314928000000,316406250000,318504960000,318864600000,320000000000,320361328125,322122547200,322486272000,322850407500,324000000000,326149079040,326517350400,327680000000,328050000000,329589843750,330225942528,330598817280,331776000000,332150625000,334731302496,335544320000,335923200000,337500000000,339738624000,340122240000,341718750000,343597383680,343985356800,344373768000,345600000000,345990234375,347892350976,348285173760,348678440100,349920000000,351562500000,352638738432,353894400000,354294000000,355957031250,358318080000,358722675000,360000000000,362387865600,362797056000,364500000000,366210937500,366917713920,367332019200,368640000000,369056250000,371504185344,371923669440,373248000000,373669453125,375000000000,376572715308,377487360000,377913600000,379687500000,382205952000,382637520000,384000000000,384433593750,386547056640,386983526400,387420489000,388800000000,390625000000,391378894848,391820820480,393216000000,393660000000,395507812500,396718580736,398131200000,398580750000,400000000000,402653184000,403107840000,403563009375,405000000000,407686348800,408146688000,409600000000,410062500000,412316860416,412782428160,413248521600,414720000000,415188281250,417942208512,418414128120,419430400000,419904000000,421875000000,424673280000,425152800000,427148437500,429496729600,429981696000,430467210000,432000000000,434865438720,435356467200,435848050125,437400000000,439453125000,440301256704,440798423040,442368000000,442867500000,446308403328,447897600000,448403343750,450000000000,452984832000,453496320000,455625000000,457763671875,458647142400,459165024000,460800000000,461320312500,463856467968,464380231680,464904586800,466560000000,468750000000,470184984576,470715894135,471859200000,472392000000,474609375000,477757440000,478296900000,480000000000,483183820800,483729408000,484275611250,486000000000,488281250000,489223618560,489776025600,491520000000,492075000000,494384765625,495338913792,495898225920,497664000000,498225937500,500000000000,502096953744,503316480000,503884800000,506250000000,509607936000,510183360000,512000000000,512578125000,515396075520,515978035200,516560652000,518400000000,521838526464,522427760640,523017660150,524288000000,524880000000,527343750000,528958107648,530841600000,531441000000,533935546875,536870912000,537477120000,538084012500,540000000000,543581798400,544195584000,546750000000,549316406250,549755813888,550376570880,550998028800,552960000000,553584375000,557256278016,557885504160,559872000000,562500000000,564859072962,566231040000,566870400000,569531250000,573308928000,573956280000,576000000000,576650390625,579820584960,580475289600,581130733500,583200000000,585937500000,587068342272,587731230720,589824000000,590490000000,593261718750,595077871104,597196800000,597871125000,600000000000,603979776000,604661760000,607500000000,610351562500,611529523200,612220032000,614400000000,615093750000,618475290624,619173642240,619872782400,622080000000,622782421875,625000000000,626913312768,627621192180,629145600000,629856000000,632812500000,637009920000,637729200000,640000000000,640722656250,644245094400,644972544000,645700815000,648000000000,652298158080,653034700800,655360000000,656100000000,659179687500,660451885056,661197634560,663552000000,664301250000,669462604992,671088640000,671846400000,672605015625,675000000000,679477248000,680244480000,683437500000,687194767360,687970713600,688747536000,691200000000,691980468750,695784701952,696570347520,697356880200,699840000000,703125000000,705277476864,707788800000,708588000000,711914062500,716636160000,717445350000,720000000000,724775731200,725594112000,726413416875,729000000000,732421875000,733835427840,734664038400,737280000000,738112500000,743008370688,743847338880,746496000000,747338906250,750000000000,753145430616,754974720000,755827200000,759375000000,762939453125,764411904000,765275040000,768000000000,768867187500,773094113280,773967052800,774840978000,777600000000,781250000000,782757789696,783641640960,784526490225,786432000000,787320000000,791015625000,793437161472,796262400000,797161500000,800000000000,805306368000,806215680000,807126018750,810000000000,815372697600,816293376000,819200000000,820125000000,823974609375,824633720832,825564856320,826497043200,829440000000,830376562500,835884417024,836828256240,838860800000,839808000000,843750000000,847288609443,849346560000,850305600000,854296875000,858993459200,859963392000,860934420000,864000000000,869730877440,870712934400,871696100250,874800000000,878906250000,880602513408,881596846080,884736000000,885735000000,889892578125,892616806656,895795200000,896806687500,900000000000,905969664000,906992640000,911250000000,915527343750,917294284800,918330048000,921600000000,922640625000,927712935936,928760463360,929809173600,933120000000,937500000000,940369969152,941431788270,943718400000,944784000000,949218750000,955514880000,956593800000,960000000000,961083984375,966367641600,967458816000,968551222500,972000000000,976562500000,978447237120,979552051200,983040000000,984150000000,988769531250,990677827584,991796451840,995328000000,996451875000,1000000000000,1004193907488,1006632960000,1007769600000,1012500000000,1019215872000,1020366720000,1024000000000,1025156250000,1030792151040,1031956070400,1033121304000,1036800000000,1037970703125,1043677052928,1044855521280,1046035320300,1048576000000,1049760000000,1054687500000,1057916215296,1061683200000,1062882000000,1067871093750,1073741824000,1074954240000,1076168025000,1080000000000,1087163596800,1088391168000,1093500000000,1098632812500,1099511627776,1100753141760,1101996057600,1105920000000,1107168750000,1114512556032,1115771008320,1119744000000,1121008359375,1125000000000,1129718145924,1132462080000,1133740800000,1139062500000,1146617856000,1147912560000,1152000000000,1153300781250,1159641169920,1160950579200,1162261467000,1166400000000,1171875000000,1174136684544,1175462461440,1179648000000,1180980000000,1186523437500,1190155742208,1194393600000,1195742250000,1200000000000,1207959552000,1209323520000,1210689028125,1215000000000,1220703125000,1223059046400,1224440064000,1228800000000,1230187500000,1236950581248,1238347284480,1239745564800,1244160000000,1245564843750,1250000000000,1253826625536,1255242384360,1258291200000,1259712000000,1265625000000,1274019840000,1275458400000,1280000000000,1281445312500,1288490188800,1289945088000,1291401630000,1296000000000,1304596316160,1306069401600,1307544150375,1310720000000,1312200000000,1318359375000,1320903770112,1322395269120,1327104000000,1328602500000,1338925209984,1342177280000,1343692800000,1345210031250,1350000000000,1358954496000,1360488960000,1366875000000,1373291015625,1374389534720,1375941427200,1377495072000,1382400000000,1383960937500,1391569403904,1393140695040,1394713760400,1399680000000,1406250000000,1410554953728,1412147682405,1415577600000,1417176000000,1423828125000,1433272320000,1434890700000,1440000000000,1449551462400,1451188224000,1452826833750,1458000000000,1464843750000,1467670855680,1469328076800,1474560000000,1476225000000,1483154296875,1486016741376,1487694677760,1492992000000,1494677812500,1500000000000,1506290861232,1509949440000,1511654400000,1518750000000,1525878906250,1528823808000,1530550080000,1536000000000,1537734375000,1546188226560,1547934105600,1549681956000,1555200000000,1562500000000,1565515579392,1567283281920,1569052980450,1572864000000,1574640000000,1582031250000,1586874322944,1592524800000,1594323000000,1600000000000,1601806640625,1610612736000,1612431360000,1614252037500,1620000000000,1630745395200,1632586752000,1638400000000,1640250000000,1647949218750,1649267441664,1651129712640,1652994086400,1658880000000,1660753125000,1671768834048,1673656512480,1677721600000,1679616000000,1687500000000,1694577218886,1698693120000,1700611200000,1708593750000,1717986918400,1719926784000,1721868840000,1728000000000,1729951171875,1739461754880,1741425868800,1743392200500,1749600000000,1757812500000,1761205026816,1763193692160,1769472000000,1771470000000,1779785156250,1785233613312,1791590400000,1793613375000,1800000000000,1811939328000,1813985280000,1822500000000,1831054687500,1834588569600,1836660096000,1843200000000,1845281250000,1855425871872,1857520926720,1859618347200,1866240000000,1868347265625,1875000000000,1880739938304,1882863576540,1887436800000,1889568000000,1898437500000,1911029760000,1913187600000,1920000000000,1922167968750,1932735283200,1934917632000,1937102445000,1944000000000,1953125000000,1956894474240,1959104102400,1966080000000,1968300000000,1977539062500,1981355655168,1983592903680,1990656000000,1992903750000,2000000000000,2008387814976,2013265920000,2015539200000,2017815046875,2025000000000,2038431744000,2040733440000,2048000000000,2050312500000,2061584302080,2063912140800,2066242608000,2073600000000,2075941406250,2087354105856,2089711042560,2092070640600,2097152000000,2099520000000,2109375000000,2115832430592,2123366400000,2125764000000,2135742187500,2147483648000,2149908480000,2152336050000,2160000000000,2174327193600,2176782336000,2179240250625,2187000000000,2197265625000,2199023255552,2201506283520,2203992115200,2211840000000,2214337500000,2229025112064,2231542016640,2239488000000,2242016718750,2250000000000,2259436291848,2264924160000,2267481600000,2278125000000,2288818359375,2293235712000,2295825120000,2304000000000,2306601562500,2319282339840,2321901158400,2324522934000,2332800000000,2343750000000,2348273369088,2350924922880,2353579470675,2359296000000,2361960000000,2373046875000,2380311484416,2388787200000,2391484500000,2400000000000,2415919104000,2418647040000,2421378056250,2430000000000,2441406250000,2446118092800,2448880128000,2457600000000,2460375000000,2471923828125,2473901162496,2476694568960,2479491129600,2488320000000,2491129687500,2500000000000,2507653251072,2510484768720,2516582400000,2519424000000,2531250000000,2541865828329,2548039680000,2550916800000,2560000000000,2562890625000,2576980377600,2579890176000,2582803260000,2592000000000,2609192632320,2612138803200,2615088300750,2621440000000,2624400000000,2636718750000,2641807540224,2644790538240,2654208000000,2657205000000,2669677734375,2677850419968,2684354560000,2687385600000,2690420062500,2700000000000,2717908992000,2720977920000,2733750000000,2746582031250,2748779069440,2751882854400,2754990144000,2764800000000,2767921875000,2783138807808,2786281390080,2789427520800,2799360000000,2812500000000,2821109907456,2824295364810,2831155200000,2834352000000,2847656250000,2866544640000,2869781400000,2880000000000,2883251953125,2899102924800,2902376448000,2905653667500,2916000000000,2929687500000,2935341711360,2938656153600,2949120000000,2952450000000,2966308593750,2972033482752,2975389355520,2985984000000,2989355625000,3000000000000,3012581722464,3019898880000,3023308800000,3037500000000,3051757812500,3057647616000,3061100160000,3072000000000,3075468750000,3092376453120,3095868211200,3099363912000,3110400000000,3113912109375,3125000000000,3131031158784,3134566563840,3138105960900,3145728000000,3149280000000,3164062500000,3173748645888,3185049600000,3188646000000,3200000000000,3203613281250,3221225472000,3224862720000,3228504075000,3240000000000,3261490790400,3265173504000,3276800000000,3280500000000,3295898437500,3298534883328,3302259425280,3305988172800,3317760000000,3321506250000,3343537668096,3347313024960,3355443200000,3359232000000,3363025078125,3375000000000,3389154437772,3397386240000,3401222400000,3417187500000,3435973836800,3439853568000,3443737680000,3456000000000,3459902343750,3478923509760,3482851737600,3486784401000,3499200000000,3515625000000,3522410053632,3526387384320,3538944000000,3542940000000,3559570312500,3570467226624,3583180800000,3587226750000,3600000000000,3623878656000,3627970560000,3632067084375,3645000000000,3662109375000,3669177139200,3673320192000,3686400000000,3690562500000,3710851743744,3715041853440,3719236694400,3732480000000,3736694531250,3750000000000,3761479876608,3765727153080,3774873600000,3779136000000,3796875000000,3814697265625,3822059520000,3826375200000,3840000000000,3844335937500,3865470566400,3869835264000,3874204890000,3888000000000,3906250000000,3913788948480,3918208204800,3922632451125,3932160000000,3936600000000,3955078125000,3962711310336,3967185807360,3981312000000,3985807500000,4000000000000,4016775629952,4026531840000,4031078400000,4035630093750,4050000000000,4076863488000,4081466880000,4096000000000,4100625000000,4119873046875,4123168604160,4127824281600,4132485216000,4147200000000,4151882812500,4174708211712,4179422085120,4184141281200,4194304000000,4199040000000,4218750000000,4231664861184,4236443047215,4246732800000,4251528000000,4271484375000,4294967296000,4299816960000,4304672100000,4320000000000,4348654387200,4353564672000,4358480501250,4374000000000,4394531250000,4398046511104,4403012567040,4407984230400,4423680000000,4428675000000,4449462890625,4458050224128,4463084033280,4478976000000,4484033437500,4500000000000,4518872583696,4529848320000,4534963200000,4556250000000,4577636718750,4586471424000,4591650240000,4608000000000,4613203125000,4638564679680,4643802316800,4649045868000,4665600000000,4687500000000,4696546738176,4701849845760,4707158941350,4718592000000,4723920000000,4746093750000,4760622968832,4777574400000,4782969000000,4800000000000,4805419921875,4831838208000,4837294080000,4842756112500,4860000000000,4882812500000,4892236185600,4897760256000,4915200000000,4920750000000,4943847656250,4947802324992,4953389137920,4958982259200,4976640000000,4982259375000,5000000000000,5015306502144,5020969537440,5033164800000,5038848000000,5062500000000,5083731656658,5096079360000,5101833600000,5120000000000,5125781250000,5153960755200,5159780352000,5165606520000,5184000000000,5189853515625,5218385264640,5224277606400,5230176601500,5242880000000,5248800000000,5273437500000,5283615080448,5289581076480,5308416000000,5314410000000,5339355468750,5355700839936,5368709120000,5374771200000,5380840125000,5400000000000,5435817984000,5441955840000,5467500000000,5493164062500,5497558138880,5503765708800,5509980288000,5529600000000,5535843750000,5566277615616,5572562780160,5578855041600,5598720000000,5605041796875,5625000000000,5642219814912,5648590729620,5662310400000,5668704000000,5695312500000,5733089280000,5739562800000,5760000000000,5766503906250,5798205849600,5804752896000,5811307335000,5832000000000,5859375000000,5870683422720,5877312307200,5898240000000,5904900000000,5932617187500,5944066965504,5950778711040,5971968000000,5978711250000,6000000000000,6025163444928,6039797760000,6046617600000,6053445140625,6075000000000,6103515625000,6115295232000,6122200320000,6144000000000,6150937500000,6184752906240,6191736422400,6198727824000,6220800000000,6227824218750,6250000000000,6262062317568,6269133127680,6276211921800,6291456000000,6298560000000,6328125000000,6347497291776,6370099200000,6377292000000,6400000000000,6407226562500,6442450944000,6449725440000,6457008150000,6480000000000,6522981580800,6530347008000,6537720751875,6553600000000,6561000000000,6591796875000,6597069766656,6604518850560,6611976345600,6635520000000,6643012500000,6687075336192,6694626049920,6710886400000,6718464000000,6726050156250,6750000000000,6778308875544,6794772480000,6802444800000,6834375000000,6866455078125,6871947673600,6879707136000,6887475360000,6912000000000,6919804687500,6957847019520,6965703475200,6973568802000,6998400000000,7031250000000,7044820107264,7052774768640,7060738412025,7077888000000,7085880000000,7119140625000,7140934453248,7166361600000,7174453500000,7200000000000,7247757312000,7255941120000,7264134168750,7290000000000,7324218750000,7338354278400,7346640384000,7372800000000,7381125000000,7415771484375,7421703487488,7430083706880,7438473388800,7464960000000,7473389062500,7500000000000,7522959753216,7531454306160,7549747200000,7558272000000,7593750000000,7625597484987,7629394531250,7644119040000,7652750400000,7680000000000,7688671875000,7730941132800,7739670528000,7748409780000,7776000000000,7812500000000,7827577896960,7836416409600,7845264902250,7864320000000,7873200000000,7910156250000,7925422620672,7934371614720,7962624000000,7971615000000,8000000000000,8009033203125,8033551259904,8053063680000,8062156800000,8071260187500,8100000000000,8153726976000,8162933760000,8192000000000,8201250000000,8239746093750,8246337208320,8255648563200,8264970432000,8294400000000,8303765625000,8349416423424,8358844170240,8368282562400,8388608000000,8398080000000,8437500000000,8463329722368,8472886094430,8493465600000,8503056000000,8542968750000,8589934592000,8599633920000,8609344200000,8640000000000,8649755859375,8697308774400,8707129344000,8716961002500,8748000000000,8789062500000,8796093022208,8806025134080,8815968460800,8847360000000,8857350000000,8898925781250,8916100448256,8926168066560,8957952000000,8968066875000,9000000000000,9037745167392,9059696640000,9069926400000,9112500000000,9155273437500,9172942848000,9183300480000,9216000000000,9226406250000,9277129359360,9287604633600,9298091736000,9331200000000,9341736328125,9375000000000,9393093476352,9403699691520,9414317882700,9437184000000,9447840000000,9492187500000,9521245937664,9555148800000,9565938000000,9600000000000,9610839843750,9663676416000,9674588160000,9685512225000,9720000000000,9765625000000,9784472371200,9795520512000,9830400000000,9841500000000,9887695312500,9895604649984,9906778275840,9917964518400,9953280000000,9964518750000,10000000000000,10030613004288,10041939074880,10066329600000,10077696000000,10089075234375,10125000000000,10167463313316,10192158720000,10203667200000,10240000000000,10251562500000,10307921510400,10319560704000,10331213040000,10368000000000,10379707031250,10436770529280,10448555212800,10460353203000,10485760000000,10497600000000,10546875000000,10567230160896,10579162152960,10616832000000,10628820000000,10678710937500,10711401679872,10737418240000,10749542400000,10761680250000,10800000000000,10871635968000,10883911680000,10896201253125,10935000000000,10986328125000,10995116277760,11007531417600,11019960576000,11059200000000,11071687500000,11132555231232,11145125560320,11157710083200,11197440000000,11210083593750,11250000000000,11284439629824,11297181459240,11324620800000,11337408000000,11390625000000,11444091796875,11466178560000,11479125600000,11520000000000,11533007812500,11596411699200,11609505792000,11622614670000,11664000000000,11718750000000,11741366845440,11754624614400,11767897353375,11796480000000,11809800000000,11865234375000,11888133931008,11901557422080,11943936000000,11957422500000,12000000000000,12050326889856,12079595520000,12093235200000,12106890281250,12150000000000,12207031250000,12230590464000,12244400640000,12288000000000,12301875000000,12359619140625,12369505812480,12383472844800,12397455648000,12441600000000,12455648437500,12500000000000,12524124635136,12538266255360,12552423843600,12582912000000,12597120000000,12656250000000,12694994583552,12709329141645,12740198400000,12754584000000,12800000000000,12814453125000,12884901888000,12899450880000,12914016300000,12960000000000,13045963161600,13060694016000,13075441503750,13107200000000,13122000000000,13183593750000,13194139533312,13209037701120,13223952691200,13271040000000,13286025000000,13348388671875,13374150672384,13389252099840,13421772800000,13436928000000,13452100312500,13500000000000,13556617751088,13589544960000,13604889600000,13668750000000,13732910156250,13743895347200,13759414272000,13774950720000,13824000000000,13839609375000,13915694039040,13931406950400,13947137604000,13996800000000,14062500000000,14089640214528,14105549537280,14121476824050,14155776000000,14171760000000,14238281250000,14281868906496,14332723200000,14348907000000,14400000000000,14416259765625,14495514624000,14511882240000,14528268337500,14580000000000,14648437500000,14676708556800,14693280768000,14745600000000,14762250000000,14831542968750,14843406974976,14860167413760,14876946777600,14929920000000,14946778125000,15000000000000,15045919506432,15062908612320,15099494400000,15116544000000,15187500000000,15251194969974,15258789062500,15288238080000,15305500800000,15360000000000,15377343750000,15461882265600,15479341056000,15496819560000,15552000000000,15569560546875,15625000000000,15655155793920,15672832819200,15690529804500,15728640000000,15746400000000,15820312500000,15850845241344,15868743229440,15925248000000,15943230000000,16000000000000,16018066406250,16067102519808,16106127360000,16124313600000,16142520375000,16200000000000,16307453952000,16325867520000,16384000000000,16402500000000,16479492187500,16492674416640,16511297126400,16529940864000,16588800000000,16607531250000,16698832846848,16717688340480,16736565124800,16777216000000,16796160000000,16815125390625,16875000000000,16926659444736,16945772188860,16986931200000,17006112000000,17085937500000,17179869184000,17199267840000,17218688400000,17280000000000,17299511718750,17394617548800,17414258688000,17433922005000,17496000000000,17578125000000,17592186044416,17612050268160,17631936921600,17694720000000,17714700000000,17797851562500,17832200896512,17852336133120,17915904000000,17936133750000,18000000000000,18075490334784,18119393280000,18139852800000,18160335421875,18225000000000,18310546875000,18345885696000,18366600960000,18432000000000,18452812500000,18554258718720,18575209267200,18596183472000,18662400000000,18683472656250,18750000000000,18786186952704,18807399383040,18828635765400,18874368000000,18895680000000,18984375000000,19042491875328,19073486328125,19110297600000,19131876000000,19200000000000,19221679687500,19327352832000,19349176320000,19371024450000,19440000000000,19531250000000,19568944742400,19591041024000,19613162255625,19660800000000,19683000000000,19775390625000,19791209299968,19813556551680,19835929036800,19906560000000,19929037500000,20000000000000,20061226008576,20083878149760,20132659200000,20155392000000,20178150468750,20250000000000,20334926626632,20384317440000,20407334400000,20480000000000,20503125000000,20599365234375,20615843020800,20639121408000,20662426080000,20736000000000,20759414062500,20873541058560,20897110425600,20920706406000,20971520000000,20995200000000,21093750000000,21134460321792,21158324305920,21182215236075,21233664000000,21257640000000,21357421875000,21422803359744,21474836480000,21499084800000,21523360500000,21600000000000,21743271936000,21767823360000,21792402506250,21870000000000,21972656250000,21990232555520,22015062835200,22039921152000,22118400000000,22143375000000,22247314453125,22265110462464,22290251120640,22315420166400,22394880000000,22420167187500,22500000000000,22568879259648,22594362918480,22649241600000,22674816000000,22781250000000,22876792454961,22888183593750,22932357120000,22958251200000,23040000000000,23066015625000,23192823398400,23219011584000,23245229340000,23328000000000,23437500000000,23482733690880,23509249228800,23535794706750,23592960000000,23619600000000,23730468750000,23776267862016,23803114844160,23887872000000,23914845000000,24000000000000,24027099609375,24100653779712,24159191040000,24186470400000,24213780562500,24300000000000,24414062500000,24461180928000,24488801280000,24576000000000,24603750000000,24719238281250,24739011624960,24766945689600,24794911296000,24883200000000,24911296875000,25000000000000,25048249270272,25076532510720,25104847687200,25165824000000,25194240000000,25312500000000,25389989167104,25418658283290,25480396800000,25509168000000,25600000000000,25628906250000,25769803776000,25798901760000,25828032600000,25920000000000,25949267578125,26091926323200,26121388032000,26150883007500,26214400000000,26244000000000,26367187500000,26388279066624,26418075402240,26447905382400,26542080000000,26572050000000,26696777343750,26748301344768,26778504199680,26843545600000,26873856000000,26904200625000,27000000000000,27113235502176,27179089920000,27209779200000,27337500000000,27465820312500,27487790694400,27518828544000,27549901440000,27648000000000,27679218750000,27831388078080,27862813900800,27894275208000,27993600000000,28025208984375,28125000000000,28179280429056,28211099074560,28242953648100,28311552000000,28343520000000,28476562500000,28563737812992,28665446400000,28697814000000,28800000000000,28832519531250,28991029248000,29023764480000,29056536675000,29160000000000,29296875000000,29353417113600,29386561536000,29491200000000,29524500000000,29663085937500,29686813949952,29720334827520,29753893555200,29859840000000,29893556250000,30000000000000,30091839012864,30125817224640,30198988800000,30233088000000,30267225703125,30375000000000,30502389939948,30517578125000,30576476160000,30611001600000,30720000000000,30754687500000,30923764531200,30958682112000,30993639120000,31104000000000,31139121093750,31250000000000,31310311587840,31345665638400,31381059609000,31457280000000,31492800000000,31640625000000,31701690482688,31737486458880,31850496000000,31886460000000,32000000000000,32036132812500,32134205039616,32212254720000,32248627200000,32285040750000,32400000000000,32614907904000,32651735040000,32688603759375,32768000000000,32805000000000,32958984375000,32985348833280,33022594252800,33059881728000,33177600000000,33215062500000,33397665693696,33435376680960,33473130249600,33554432000000,33592320000000,33630250781250,33750000000000,33853318889472,33891544377720,33973862400000,34012224000000,34171875000000,34332275390625,34359738368000,34398535680000,34437376800000,34560000000000,34599023437500,34789235097600,34828517376000,34867844010000,34992000000000,35156250000000,35184372088832,35224100536320,35263873843200,35303692060125,35389440000000,35429400000000,35595703125000,35664401793024,35704672266240,35831808000000,35872267500000,36000000000000,36150980669568,36238786560000,36279705600000,36320670843750,36450000000000,36621093750000,36691771392000,36733201920000,36864000000000,36905625000000,37078857421875,37108517437440,37150418534400,37192366944000,37324800000000,37366945312500,37500000000000,37572373905408,37614798766080,37657271530800,37748736000000,37791360000000,37968750000000,38084983750656,38127987424935,38146972656250,38220595200000,38263752000000,38400000000000,38443359375000,38654705664000,38698352640000,38742048900000,38880000000000,39062500000000,39137889484800,39182082048000,39226324511250,39321600000000,39366000000000,39550781250000,39582418599936,39627113103360,39671858073600,39813120000000,39858075000000,40000000000000,40045166015625,40122452017152,40167756299520,40265318400000,40310784000000,40356300937500,40500000000000,40669853253264,40768634880000,40814668800000,40960000000000,41006250000000,41198730468750,41231686041600,41278242816000,41324852160000,41472000000000,41518828125000,41747082117120,41794220851200,41841412812000,41943040000000,41990400000000,42187500000000,42268920643584,42316648611840,42364430472150,42467328000000,42515280000000,42714843750000,42845606719488,42949672960000,42998169600000,43046721000000,43200000000000,43248779296875,43486543872000,43535646720000,43584805012500,43740000000000,43945312500000,43980465111040,44030125670400,44079842304000,44236800000000,44286750000000,44494628906250,44530220924928,44580502241280,44630840332800,44789760000000,44840334375000,45000000000000,45137758519296,45188725836960,45298483200000,45349632000000,45562500000000,45753584909922,45776367187500,45864714240000,45916502400000,46080000000000,46132031250000,46385646796800,46438023168000,46490458680000,46656000000000,46708681640625,46875000000000,46965467381760,47018498457600,47071589413500,47185920000000,47239200000000,47460937500000,47552535724032,47606229688320,47775744000000,47829690000000,48000000000000,48054199218750,48201307559424,48318382080000,48372940800000,48427561125000,48600000000000,48828125000000,48922361856000,48977602560000,49152000000000,49207500000000,49438476562500,49478023249920,49533891379200,49589822592000,49766400000000,49822593750000,50000000000000,50096498540544,50153065021440,50209695374400,50331648000000,50388480000000,50445376171875,50625000000000,50779978334208,50837316566580,50960793600000,51018336000000,51200000000000,51257812500000,51539607552000,51597803520000,51656065200000,51840000000000,51898535156250,52183852646400,52242776064000,52301766015000,52428800000000,52488000000000,52734375000000,52776558133248,52836150804480,52895810764800,53084160000000,53144100000000,53393554687500,53496602689536,53557008399360,53687091200000,53747712000000,53808401250000,54000000000000,54226471004352,54358179840000,54419558400000,54481006265625,54675000000000,54931640625000,54975581388800,55037657088000,55099802880000,55296000000000,55358437500000,55662776156160,55725627801600,55788550416000,55987200000000,56050417968750,56250000000000,56358560858112,56422198149120,56485907296200,56623104000000,56687040000000,56953125000000,57127475625984,57220458984375,57330892800000,57395628000000,57600000000000,57665039062500,57982058496000,58047528960000,58113073350000,58320000000000,58593750000000,58706834227200,58773123072000,58839486766875,58982400000000,59049000000000,59326171875000,59373627899904,59440669655040,59507787110400,59719680000000,59787112500000,60000000000000,60183678025728,60251634449280,60397977600000,60466176000000,60534451406250,60750000000000,61004779879896,61035156250000,61152952320000,61222003200000,61440000000000,61509375000000,61798095703125,61847529062400,61917364224000,61987278240000,62208000000000,62278242187500,62500000000000,62620623175680,62691331276800,62762119218000,62914560000000,62985600000000,63281250000000,63403380965376,63474972917760,63546645708225,63700992000000,63772920000000,64000000000000,64072265625000,64268410079232,64424509440000,64497254400000,64570081500000,64800000000000,65229815808000,65303470080000,65377207518750,65536000000000,65610000000000,65917968750000,65970697666560,66045188505600,66119763456000,66355200000000,66430125000000,66741943359375,66795331387392,66870753361920,66946260499200,67108864000000,67184640000000,67260501562500,67500000000000,67706637778944,67783088755440,67947724800000,68024448000000,68343750000000,68630377364883,68664550781250,68719476736000,68797071360000,68874753600000,69120000000000,69198046875000,69578470195200,69657034752000,69735688020000,69984000000000,70312500000000,70368744177664,70448201072640,70527747686400,70607384120250,70778880000000,70858800000000,71191406250000,71328803586048,71409344532480,71663616000000,71744535000000,72000000000000,72081298828125,72301961339136,72477573120000,72559411200000,72641341687500,72900000000000,73242187500000,73383542784000,73466403840000,73728000000000,73811250000000,74157714843750,74217034874880,74300837068800,74384733888000,74649600000000,74733890625000,75000000000000,75144747810816,75229597532160,75314543061600,75497472000000,75582720000000,75937500000000,76169967501312,76255974849870,76293945312500,76441190400000,76527504000000,76800000000000,76886718750000,77309411328000,77396705280000,77484097800000,77760000000000,77847802734375,78125000000000,78275778969600,78364164096000,78452649022500,78643200000000,78732000000000,79101562500000,79164837199872,79254226206720,79343716147200,79626240000000,79716150000000,80000000000000,80090332031250,80244904034304,80335512599040,80530636800000,80621568000000,80712601875000,81000000000000,81339706506528,81537269760000,81629337600000,81920000000000,82012500000000,82397460937500,82463372083200,82556485632000,82649704320000,82944000000000,83037656250000,83494164234240,83588441702400,83682825624000,83886080000000,83980800000000,84075626953125,84375000000000,84537841287168,84633297223680,84728860944300,84934656000000,85030560000000,85429687500000,85691213438976,85899345920000,85996339200000,86093442000000,86400000000000,86497558593750,86973087744000,87071293440000,87169610025000,87480000000000,87890625000000,87960930222080,88060251340800,88159684608000,88473600000000,88573500000000,88989257812500,89060441849856,89161004482560,89261680665600,89579520000000,89680668750000,90000000000000,90275517038592,90377451673920,90596966400000,90699264000000,90801677109375,91125000000000,91507169819844,91552734375000,91729428480000,91833004800000,92160000000000,92264062500000,92771293593600,92876046336000,92980917360000,93312000000000,93417363281250,93750000000000,93930934763520,94036996915200,94143178827000,94371840000000,94478400000000,94921875000000,95105071448064,95212459376640,95367431640625,95551488000000,95659380000000,96000000000000,96108398437500,96402615118848,96636764160000,96745881600000,96855122250000,97200000000000,97656250000000,97844723712000,97955205120000,98065811278125,98304000000000,98415000000000,98876953125000,98956046499840,99067782758400,99179645184000,99532800000000,99645187500000,100000000000000,100192997081088,100306130042880,100419390748800,100663296000000,100776960000000,100890752343750,101250000000000,101559956668416,101674633133160,101921587200000,102036672000000,102400000000000,102515625000000,102996826171875,103079215104000,103195607040000,103312130400000,103680000000000,103797070312500,104367705292800,104485552128000,104603532030000,104857600000000,104976000000000,105468750000000,105553116266496,105672301608960,105791621529600,105911076180375,106168320000000,106288200000000,106787109375000,106993205379072,107114016798720,107374182400000,107495424000000,107616802500000,108000000000000,108452942008704,108716359680000,108839116800000,108962012531250,109350000000000,109863281250000,109951162777600,110075314176000,110199605760000,110592000000000,110716875000000,111236572265625,111325552312320,111451255603200,111577100832000,111974400000000,112100835937500,112500000000000,112717121716224,112844396298240,112971814592400,113246208000000,113374080000000,113906250000000,114254951251968,114383962274805,114440917968750,114661785600000,114791256000000,115200000000000,115330078125000,115964116992000,116095057920000,116226146700000,116640000000000,117187500000000,117413668454400,117546246144000,117678973533750,117964800000000,118098000000000,118652343750000,118747255799808,118881339310080,119015574220800,119439360000000,119574225000000,120000000000000,120135498046875,120367356051456,120503268898560,120795955200000,120932352000000,121068902812500,121500000000000,122009559759792,122070312500000,122305904640000,122444006400000,122880000000000,123018750000000,123596191406250,123695058124800,123834728448000,123974556480000,124416000000000,124556484375000,125000000000000,125241246351360,125382662553600,125524238436000,125829120000000,125971200000000,126562500000000,126806761930752,126949945835520,127093291416450,127401984000000,127545840000000,128000000000000,128144531250000,128536820158464,128849018880000,128994508800000,129140163000000,129600000000000,129746337890625,130459631616000,130606940160000,130754415037500,131072000000000,131220000000000,131835937500000,131941395333120,132090377011200,132239526912000,132710400000000,132860250000000,133483886718750,133590662774784,133741506723840,133892520998400,134217728000000,134369280000000,134521003125000,135000000000000,135413275557888,135566177510880,135895449600000,136048896000000,136687500000000,137260754729766,137329101562500,137438953472000,137594142720000,137749507200000,138240000000000,138396093750000,139156940390400,139314069504000,139471376040000,139968000000000,140126044921875,140625000000000,140737488355328,140896402145280,141055495372800,141214768240500,141557760000000,141717600000000,142382812500000,142657607172096,142818689064960,143327232000000,143489070000000,144000000000000,144162597656250,144603922678272,144955146240000,145