/* * Copyright (c) 2013, Ambroz Bizjak <ambrop7@gmail.com> * All rights reserved. * * Redistribution and use in source and binary forms, with or without * modification, are permitted provided that the following conditions are met: * * 1. Redistributions of source code must retain the above copyright notice, this * list of conditions and the following disclaimer. * 2. Redistributions in binary form must reproduce the above copyright notice, * this list of conditions and the following disclaimer in the documentation * and/or other materials provided with the distribution. * * THIS SOFTWARE IS PROVIDED BY THE COPYRIGHT HOLDERS AND CONTRIBUTORS "AS IS" AND * ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT LIMITED TO, THE IMPLIED * WARRANTIES OF MERCHANTABILITY AND FITNESS FOR A PARTICULAR PURPOSE ARE * DISCLAIMED. IN NO EVENT SHALL THE COPYRIGHT OWNER OR CONTRIBUTORS BE LIABLE FOR * ANY DIRECT, INDIRECT, INCIDENTAL, SPECIAL, EXEMPLARY, OR CONSEQUENTIAL DAMAGES * (INCLUDING, BUT NOT LIMITED TO, PROCUREMENT OF SUBSTITUTE GOODS OR SERVICES; * LOSS OF USE, DATA, OR PROFITS; OR BUSINESS INTERRUPTION) HOWEVER CAUSED AND * ON ANY THEORY OF LIABILITY, WHETHER IN CONTRACT, STRICT LIABILITY, OR TORT * (INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY OUT OF THE USE OF THIS * SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF SUCH DAMAGE. */ /* * Efficient computation of a weighted sum of last N received numbers. * See: http://c...content-available-to-author-only...e.com/questions/10612/weighted-sum-of-last-n-numbers/10670#10670 * * Initialization: * WSum state; * WSum_Init(&state, number_of_weights, pointer_to_weights); * The weights need to be specified in "reverse", meaning that the first weight * applies to the most recent number. * * Operation: * double current_wsum = WSum_AddNumber(&state, your_number); */ #include <stdio.h> #include <complex.h> #include <string.h> #include <math.h> #include <assert.h> #include <stdlib.h> /* * Probably not the fastest FFT. */ { return; } for (size_t i = 0; i < half; i++) { temp[i] = data[2 * i]; temp[half + i] = data[2 * i + 1]; } double complex rou_2 = rou * rou; double complex f = 1; for (size_t i = 0; i < half; i++) { data[i] = temp[i] + f * temp[half + i]; data[half + i] = temp[i] - f * temp[half + i]; f *= rou; } } { } // Input: m weights, 2m-1 numbers. // Output: m sums, sums[i] = sum (k=0 to m-1) weights[k]*numbers[i+m-1-k] // This function implements everything FFT-related that the WSum code needs. static void compute_sums (size_t m, const double *weights, const double *numbers, double *sums) { int dft_exp = 0; size_t dft_n = 1; while (dft_n < 2 * m) { dft_exp++; dft_n *= 2; } for (size_t i = 0; i < m; i++) { a[i] = weights[i]; } for (size_t i = m; i < dft_n; i++) { a[i] = 0; } for (size_t i = 0; i < 2 * m - 1; i++) { b[i] = numbers[i]; } for (size_t i = 2 * m - 1; i < dft_n; i++) { b[i] = 0; } fft(dft_exp, a, c); fft(dft_exp, b, c); for (size_t i = 0; i < dft_n; i++) { } fft(dft_exp, c, a); for (size_t i = 0; i < m; i++) { } } typedef struct { size_t m; size_t n; size_t num_m; double *weights; double *inputs; double *sums; double *new_sums; size_t m_pos; size_t num_m_pos; } WSum; void WSum_Init (WSum *o, size_t orig_n, const double *orig_weights) { // choose m if (o->m == 0) { o->m = 1; } else if (o->m > orig_n) { o->m = orig_n; } // choose n, taking care it's a multiple of m o->n = orig_n; if (o->n % o->m) { o->n += o->m - (o->n % o->m); } o->num_m = o->n / o->m; // allocate and initialize weights for (size_t i = 0; i < orig_n; i++) { o->weights[i] = orig_weights[i]; } for (size_t i = orig_n; i < o->n + 1; i++) { o->weights[i] = 0; } // allocate and initialize inputs for (size_t i = 0; i < o->n; i++) { o->inputs[i] = 0; } // allocate and initialize sums for (size_t i = 0; i < o->n; i++) { o->sums[i] = 0; o->new_sums[i] = 0; } o->m_pos = 0; o->num_m_pos = 0; } void WSum_Free (WSum *o) { } double WSum_AddNumber (WSum *o, double x) { double sum = 0; // add from sums for (size_t i = 0; i < o->num_m; i++) { sum += o->sums[i * o->m + o->m_pos]; } // push this number to inputs o->inputs[o->n + o->m_pos] = x; o->m_pos++; // add from pending inputs (incl. this number) for (size_t i = 0; i < o->m_pos; i++) { sum += o->inputs[o->n + i] * o->weights[o->m_pos - 1 - i]; } // decide up to which block we would like to update size_t end_update_pos = o->num_m; // cannot compute last two new_sums blocks unless we have the new inputs if (o->m_pos < o->m) { while (end_update_pos > 0 && end_update_pos >= o->num_m - 1) { end_update_pos--; } } // compute new_sums blocks while (o->num_m_pos < end_update_pos) { if (o->num_m_pos == o->num_m - 1) { for (size_t j = 0; j < o->m; j++) { o->inputs[o->n + j] = 0; } } else { memcpy(o->inputs + (o->num_m_pos + 1) * o->m, o->inputs + (o->num_m_pos + 2) * o->m, o->m * sizeof(o->inputs[0])); } compute_sums(o->m, o->weights + (o->num_m - 1 - o->num_m_pos) * o->m + 1, o->inputs + o->num_m_pos * o->m, o->new_sums + o->num_m_pos * o->m); o->num_m_pos++; } // switch at end of input block if (o->m_pos == o->m) { double *old_sums = o->sums; o->sums = o->new_sums; o->new_sums = old_sums; o->m_pos = 0; o->num_m_pos = 0; } return sum; } #define CHECK_SUMS 1 #define NUM_ITER 1000 int main () { double w[] = {4, 6, 1, -2, 61, 1, 623, 135, 15, 224, 5, 3, 146, 52, 83, 23}; size_t n = sizeof(w) / sizeof(w[0]); #if CHECK_SUMS double prev[n]; for (size_t i = 0; i < n; i++) { prev[i] = 0; } #endif WSum state; WSum_Init(&state, n, w); for (int k = 0; k < NUM_ITER; k++) { double sum = WSum_AddNumber(&state, x); #if CHECK_SUMS prev[n - 1] = x; double check_sum = 0; for (size_t i = 0; i < n; i++) { check_sum += w[i] * prev[n - 1 - i]; } if (failed) { return 1; } #else #endif } WSum_Free(&state); return 0; }
Standard input is empty
m=6 n=18 num_m=3 1804289383.000000 7217157532.000000 7217157532.000000 OK 846930886.000000 14213459842.000000 14213459842.000000 OK 1681692777.000000 13612645807.000000 13612645807.000000 OK 1714636915.000000 14187056442.000000 14187056442.000000 OK 1957747793.000000 128168296030.000000 128168296030.000000 OK 424238335.000000 65261764888.000000 65261764888.000000 OK 719885386.000000 1231455921409.000000 1231455921409.000000 OK 1649760492.000000 884918650308.000000 884918650308.000000 OK 596516649.000000 1322387900978.000000 1322387900978.000000 OK 1189641421.000000 1748496049548.000000 1748496049548.000000 OK 1025202362.000000 1727985116118.000000 1727985116118.000000 OK 1350490027.000000 1053567750913.000000 1053567750913.000000 OK 783368690.000000 1241500773542.000000 1241500773542.000000 OK 1102520059.000000 1882552635470.000000 1882552635470.000000 OK 2044897763.000000 1231035512135.000000 1231035512135.000000 OK 1967513926.000000 1568330774107.000000 1568330774107.000000 OK 1365180540.000000 1782962756944.000000 1782962756944.000000 OK 1540383426.000000 1566633322595.000000 1566633322595.000000 OK 304089172.000000 1422967895144.000000 1422967895144.000000 OK 1303455736.000000 1536715886971.000000 1536715886971.000000 OK 35005211.000000 2078581296312.000000 2078581296312.000000 OK 521595368.000000 2160177076153.000000 2160177076153.000000 OK 294702567.000000 1722550700682.000000 1722550700682.000000 OK 1726956429.000000 2091275464232.999756 2091275464233.000000 OK 336465782.000000 1183580939195.000000 1183580939195.000000 OK 861021530.000000 1573809598844.000000 1573809598844.000000 OK 278722862.000000 1033739454159.000000 1033739454159.000000 OK 233665123.000000 1040697381072.000000 1040697381072.000000 OK 2145174067.000000 1080158127704.999878 1080158127705.000000 OK 468703135.000000 1712275873927.999756 1712275873928.000000 OK 1101513929.000000 877919591142.000000 877919591142.000000 OK 1801979802.000000 1066365812002.000000 1066365812002.000000 OK 1315634022.000000 965692260262.000000 965692260262.000000 OK 635723058.000000 514929291317.000000 514929291317.000000 OK 1369133069.000000 1749599145398.000000 1749599145398.000000 OK 1125898167.000000 1086156790541.000000 1086156790541.000000 OK 1059961393.000000 1106544700125.000000 1106544700125.000000 OK 2089018456.000000 2107410950758.000000 2107410950758.000000 OK 628175011.000000 1446967477145.999756 1446967477146.000000 OK 1656478042.000000 1064439089024.000000 1064439089024.000000 OK 1131176229.000000 1814064927166.000000 1814064927166.000000 OK 1653377373.000000 1550895152275.000000 1550895152275.000000 OK 859484421.000000 1407476729165.000000 1407476729165.000000 OK 1914544919.000000 2297741669296.000000 2297741669296.000000 OK 608413784.000000 1420347195698.999756 1420347195699.000000 OK 756898537.000000 1840281494021.000000 1840281494021.000000 OK 1734575198.000000 1860322716488.000000 1860322716488.000000 OK 1973594324.000000 1816035516070.000000 1816035516070.000000 OK 149798315.000000 1549341461098.000000 1549341461098.000000 OK 2038664370.000000 2136534343804.999756 2136534343805.000000 OK 1129566413.000000 1465113276567.000000 1465113276567.000000 OK 184803526.000000 1390244796907.000000 1390244796907.000000 OK 412776091.000000 1992461466440.000000 1992461466440.000000 OK 1424268980.000000 2206263950267.000000 2206263950267.000000 OK 1911759956.000000 994734197061.000000 994734197061.000000 OK 749241873.000000 2229002117101.000000 2229002117101.000000 OK 137806862.000000 1761438920684.000000 1761438920684.000000 OK 42999170.000000 752868364591.000000 752868364591.000000 OK 982906996.000000 1270392222782.000000 1270392222782.000000 OK 135497281.000000 1718463100980.000000 1718463100980.000000 OK 511702305.000000 1741442249892.000000 1741442249892.000000 OK 2084420925.000000 1364480282789.000000 1364480282789.000000 OK 1937477084.000000 946582910464.000000 946582910464.000000 OK 1827336327.000000 780841678183.000000 780841678183.000000 OK 572660336.000000 1054775853513.000000 1054775853513.000000 OK 1159126505.000000 662515041288.000000 662515041288.000000 OK 805750846.000000 883450958231.000000 883450958231.000000 OK 1632621729.000000 2051798887664.000000 2051798887664.000000 OK 1100661313.000000 1831475638636.999756 1831475638637.000000 OK 1433925857.000000 1752745334224.000000 1752745334224.000000 OK 1141616124.000000 1338121516786.000000 1338121516786.000000 OK 84353895.000000 1457254728860.000000 1457254728860.000000 OK 939819582.000000 1327955530366.000000 1327955530366.000000 OK 2001100545.000000 1751313317153.000000 1751313317153.000000 OK 1998898814.000000 1714886932766.000000 1714886932766.000000 OK 1548233367.000000 1831327208490.000000 1831327208490.000000 OK 610515434.000000 1749053842049.000000 1749053842049.000000 OK 1585990364.000000 1011114174376.000000 1011114174376.000000 OK 1374344043.000000 1349555221431.000000 1349555221431.000000 OK 760313750.000000 2138754133554.000000 2138754133554.000000 OK 1477171087.000000 1945057675540.999756 1945057675541.000000 OK 356426808.000000 2005067163340.000000 2005067163340.000000 OK 945117276.000000 1533986621752.000000 1533986621752.000000 OK 1889947178.000000 1828690199917.000000 1828690199917.000000 OK 1780695788.000000 1821181813804.000000 1821181813804.000000 OK 709393584.000000 1244525598044.000000 1244525598044.000000 OK 491705403.000000 1944568408170.000000 1944568408170.000000 OK 1918502651.000000 1392187413828.000000 1392187413828.000000 OK 752392754.000000 1346706417588.000000 1346706417588.000000 OK 1474612399.000000 2143366290912.999756 2143366290913.000000 OK 2053999932.000000 1882289868181.000000 1882289868181.000000 OK 1264095060.000000 1391636585774.000000 1391636585774.000000 OK 1411549676.000000 1323855703891.000000 1323855703891.000000 OK 1843993368.000000 2010681509516.000000 2010681509516.000000 OK 943947739.000000 1345697059716.000000 1345697059716.000000 OK 1984210012.000000 1648487117183.000000 1648487117183.000000 OK 855636226.000000 2469185604473.000000 2469185604473.000000 OK 1749698586.000000 1767439034265.000000 1767439034265.000000 OK 1469348094.000000 1793320525572.000000 1793320525572.000000 OK 1956297539.000000 2372220927372.000000 2372220927372.000000 OK 1036140795.000000 1490812321465.000000 1490812321465.000000 OK 463480570.000000 2259563681418.000000 2259563681418.000000 OK 2040651434.000000 1821578446062.999512 1821578446063.000000 OK 1975960378.000000 2030641353924.000000 2030641353924.000000 OK 317097467.000000 2174778480361.999512 2174778480362.000000 OK 1892066601.000000 2179255713754.999756 2179255713755.000000 OK 1376710097.000000 1851923868157.000000 1851923868157.000000 OK 927612902.000000 1458521094805.000000 1458521094805.000000 OK 1330573317.000000 2178905090081.999756 2178905090082.000000 OK 603570492.000000 2370402918698.000000 2370402918698.000000 OK 1687926652.000000 1127669033574.000000 1127669033574.000000 OK 660260756.000000 2309339083920.000000 2309339083920.000000 OK 959997301.000000 2077662579148.000000 2077662579148.000000 OK 485560280.000000 1240021481022.000000 1240021481022.000000 OK 402724286.000000 1966923316072.000000 1966923316072.000000 OK 593209441.000000 1390583492251.999756 1390583492252.000000 OK 1194953865.000000 1769435024626.000000 1769435024626.000000 OK 894429689.000000 1499867587779.000000 1499867587779.000000 OK 364228444.000000 1260205000350.000000 1260205000350.000000 OK 1947346619.000000 1243535701520.000000 1243535701520.000000 OK 221558440.000000 973911704379.000000 973911704379.000000 OK 270744729.000000 979978835307.000000 979978835307.000000 OK 1063958031.000000 1381041837519.000000 1381041837519.000000 OK 1633108117.000000 1219730617117.000000 1219730617117.000000 OK 2114738097.000000 864651533468.000000 864651533468.000000 OK 2007905771.000000 1799025961641.000000 1799025961641.000000 OK 1469834481.000000 875352909049.000000 875352909049.000000 OK 822890675.000000 597942971100.000122 597942971100.000000 OK 1610120709.000000 1532797981529.999756 1532797981530.000000 OK 791698927.000000 1612111480556.000000 1612111480556.000000 OK 631704567.000000 1932929296935.000000 1932929296935.000000 OK 498777856.000000 2261253608627.000000 2261253608627.000000 OK 1255179497.000000 1880957820641.000000 1880957820641.000000 OK 524872353.000000 1506092363706.000000 1506092363706.000000 OK 327254586.000000 1878123342538.999756 1878123342539.000000 OK 1572276965.000000 1427216316090.000000 1427216316090.000000 OK 269455306.000000 1297346261592.000000 1297346261592.000000 OK 1703964683.000000 1382847583797.000000 1382847583797.000000 OK 352406219.000000 1607984640423.000000 1607984640423.000000 OK 1600028624.000000 1172001397742.000000 1172001397742.000000 OK 160051528.000000 882064865157.999878 882064865158.000000 OK 2040332871.000000 1732778811014.000000 1732778811014.000000 OK 112805732.000000 829198176662.000000 829198176662.000000 OK 1120048829.000000 1514470949328.000000 1514470949328.000000 OK 378409503.000000 1104489518644.999756 1104489518645.000000 OK 515530019.000000 1466829115278.000000 1466829115278.000000 OK 1713258270.000000 916484584299.000000 916484584299.000000 OK 1573363368.000000 1808772654160.000000 1808772654160.000000 OK 1409959708.000000 913702335858.000000 913702335858.000000 OK 2077486715.000000 1236091747202.000000 1236091747202.000000 OK 1373226340.000000 1171112680074.000000 1171112680074.000000 OK 1631518149.000000 936278784956.000000 936278784956.000000 OK 200747796.000000 1670609736255.000000 1670609736255.000000 OK 289700723.000000 1886434586923.000000 1886434586923.000000 OK 1117142618.000000 1498879406175.000000 1498879406175.000000 OK 168002245.000000 2346282709412.000000 2346282709412.000000 OK 150122846.000000 1705480625870.000000 1705480625870.000000 OK 439493451.000000 1770789411055.000000 1770789411055.000000 OK 990892921.000000 1252008566318.000000 1252008566318.000000 OK 1760243555.000000 949061038965.000000 949061038965.000000 OK 1231192379.000000 1583309594847.000000 1583309594847.000000 OK 1622597488.000000 904310229235.000000 904310229235.000000 OK 111537764.000000 734266001715.000000 734266001715.000000 OK 338888228.000000 1172902363358.000000 1172902363358.000000 OK 2147469841.000000 1083257699319.999878 1083257699320.000000 OK 438792350.000000 1609514480878.000000 1609514480878.000000 OK 1911165193.000000 1371758033514.000000 1371758033514.000000 OK 269441500.000000 1568855142332.000000 1568855142332.000000 OK 2142757034.000000 980169887152.000000 980169887152.000000 OK 116087764.000000 688377621890.000000 688377621890.000000 OK 1869470124.000000 2070841642062.999756 2070841642063.000000 OK 155324914.000000 979618973320.000000 979618973320.000000 OK 8936987.000000 1860663201071.999756 1860663201072.000000 OK 1982275856.000000 1398948749475.000000 1398948749475.000000 OK 1275373743.000000 1884204567603.000000 1884204567603.000000 OK 387346491.000000 1043154854985.999756 1043154854986.000000 OK 350322227.000000 1663187022201.000000 1663187022201.000000 OK 841148365.000000 1168601579675.000000 1168601579675.000000 OK 1960709859.000000 672231606432.000122 672231606432.000000 OK 1760281936.000000 1932644263873.000000 1932644263873.000000 OK 771151432.000000 1638041664746.000000 1638041664746.000000 OK 1186452551.000000 705177953825.000000 705177953825.000000 OK 1244316437.000000 1327029789804.000000 1327029789804.000000 OK 971899228.000000 1171905171340.000000 1171905171340.000000 OK 1476153275.000000 1666047088688.999756 1666047088689.000000 OK 213975407.000000 1885311358789.000000 1885311358789.000000 OK 1139901474.000000 1314869658047.000000 1314869658047.000000 OK 1626276121.000000 1672868149156.000000 1672868149156.000000 OK 653468858.000000 1680415814022.000000 1680415814022.000000 OK 2130794395.000000 1207521075268.000000 1207521075268.000000 OK 1239036029.000000 1797295468003.000000 1797295468003.000000 OK 1884661237.000000 1187108721541.000000 1187108721541.000000 OK 1605908235.000000 1431078988778.000000 1431078988778.000000 OK 1350573793.000000 2059115067598.000000 2059115067598.000000 OK 76065818.000000 1133797921998.999756 1133797921999.000000 OK 1605894428.000000 2144969500876.000000 2144969500876.000000 OK 1789366143.000000 1950642630850.999756 1950642630851.000000 OK 1987231011.000000 1852720926708.999756 1852720926709.000000 OK 1875335928.000000 2105359391160.999512 2105359391161.000000 OK 1784639529.000000 1839890825119.000000 1839890825119.000000 OK 2103318776.000000 1095842054210.000122 1095842054210.000000 OK 1597322404.000000 2050192221871.000000 2050192221871.000000 OK 1939964443.000000 2164527285960.999756 2164527285961.000000 OK 2112255763.000000 2192001076868.000000 2192001076868.000000 OK 1432114613.000000 2459151009771.000000 2459151009771.000000 OK 1067854538.000000 2380137059101.000000 2380137059101.000000 OK 352118606.000000 2421259630032.000000 2421259630032.000000 OK 1782436840.000000 2266912160285.000000 2266912160285.000000 OK 1909002904.000000 2359032697947.000000 2359032697947.000000 OK 165344818.000000 2685469343602.000000 2685469343602.000000 OK 1395235128.000000 2170184377432.999512 2170184377433.000000 OK 532670688.000000 2019241923022.000000 2019241923022.000000 OK 1351797369.000000 1601793418863.000000 1601793418863.000000 OK 492067917.000000 2064842574358.999756 2064842574359.000000 OK 1504569917.000000 2364365890597.999512 2364365890598.000000 OK 680466996.000000 1109619442102.000000 1109619442102.000000 OK 706043324.000000 1931519304325.000000 1931519304325.000000 OK 496987743.000000 1445852555013.999756 1445852555014.000000 OK 159259470.000000 1356558449363.000000 1356558449363.000000 OK 1359512183.000000 1264735491125.000000 1264735491125.000000 OK 480298490.000000 1629023930965.000000 1629023930965.000000 OK 1398295499.000000 1264068307458.000000 1264068307458.000000 OK 1096689772.000000 1105371965579.000000 1105371965579.000000 OK 2086206725.000000 1065090611143.000000 1065090611143.000000 OK 601385644.000000 726875645276.000000 726875645276.000000 OK 1172755590.000000 1354406625363.000000 1354406625363.000000 OK 1544617505.000000 1049691562427.000000 1049691562427.000000 OK 243268139.000000 1384733120322.000000 1384733120322.000000 OK 1012502954.000000 1504173019524.000000 1504173019524.000000 OK 1272469786.000000 1864413281180.999756 1864413281181.000000 OK 2027907669.000000 1227464152961.000000 1227464152961.000000 OK 968338082.000000 1393129263761.000000 1393129263761.000000 OK 722308542.000000 1842283782927.000000 1842283782927.000000 OK 1820388464.000000 958892465904.000000 958892465904.000000 OK 933110197.000000 1401139471321.000000 1401139471321.000000 OK 6939507.000000 1842566016497.000000 1842566016497.000000 OK 740759355.000000 1880888128789.999756 1880888128790.000000 OK 1285228804.000000 1649145649961.000000 1649145649961.000000 OK 1789376348.000000 1360699107597.000000 1360699107597.000000 OK 502278611.000000 1950703258205.999756 1950703258206.000000 OK 1450573622.000000 1437659552625.000000 1437659552625.000000 OK 1037127828.000000 713384939115.000000 713384939115.000000 OK 1034949299.000000 1463831764978.000000 1463831764978.000000 OK 654887343.000000 1536214418805.000000 1536214418805.000000 OK 1529195746.000000 1762467748853.000000 1762467748853.000000 OK 392035568.000000 1246922311083.000000 1246922311083.000000 OK 1335354340.000000 1675171252260.000000 1675171252260.000000 OK 87755422.000000 1522881085286.000000 1522881085286.000000 OK 889023311.000000 1258255789449.000000 1258255789449.000000 OK 1494613810.000000 1178451313599.000000 1178451313599.000000 OK 1447267605.000000 1784741713760.000000 1784741713760.000000 OK 1369321801.000000 1012526496004.000000 1012526496004.000000 OK 745425661.000000 1542723973289.000000 1542723973289.000000 OK 396473730.000000 996033102189.000000 996033102189.000000 OK 1308044878.000000 1115544432869.000000 1115544432869.000000 OK 1346811305.000000 1724138772201.000000 1724138772201.000000 OK 1569229320.000000 1573050647125.000000 1573050647125.000000 OK 705178736.000000 1525285868312.000000 1525285868312.000000 OK 1590079444.000000 1457456967447.000000 1457456967447.000000 OK 434248626.000000 944772404884.000000 944772404884.000000 OK 1977648522.000000 1560043081613.000000 1560043081613.000000 OK 1470503465.000000 1561787172603.000000 1561787172603.000000 OK 1402586708.000000 1753786116614.000000 1753786116614.000000 OK 552473416.000000 1424494425360.000000 1424494425360.000000 OK 1143408282.000000 1880729511544.999756 1880729511545.000000 OK 188213258.000000 1198567984778.000000 1198567984778.000000 OK 559412924.000000 1879786005535.999512 1879786005536.000000 OK 1884167637.000000 1912634219500.000000 1912634219500.000000 OK 1473442062.000000 1713842268681.000000 1713842268681.000000 OK 201305624.000000 1354994470395.000000 1354994470395.000000 OK 238962600.000000 1612774615338.999756 1612774615339.000000 OK 776532036.000000 965363468484.000122 965363468484.000000 OK 1238433452.000000 1086979383170.000000 1086979383170.000000 OK 1273911899.000000 1931997596307.000000 1931997596307.000000 OK 1431419379.000000 1713451388717.000000 1713451388717.000000 OK 620145550.000000 860877274207.000000 860877274207.000000 OK 1665947468.000000 1055058579676.000000 1055058579676.000000 OK 619290071.000000 1114437457952.000000 1114437457952.000000 OK 707900973.000000 1232707124451.000000 1232707124451.000000 OK 407487131.000000 1419961171719.000000 1419961171719.000000 OK 2113903881.000000 1734543023239.000000 1734543023239.000000 OK 7684930.000000 1207120122969.000000 1207120122969.000000 OK 1776808933.000000 1700195744443.000000 1700195744443.000000 OK 711845894.000000 1161995603390.000000 1161995603390.000000 OK 404158660.000000 1082166761541.000000 1082166761541.000000 OK 937370163.000000 1065541004549.000000 1065541004549.000000 OK 2058657199.000000 2048615752952.000000 2048615752952.000000 OK 1973387981.000000 827708824450.000000 827708824450.000000 OK 1642548899.000000 1703916127016.999756 1703916127017.000000 OK 1501252996.000000 1493880542417.999756 1493880542418.000000 OK 260152959.000000 810408555278.000000 810408555278.000000 OK 1472713773.000000 1367731147807.000000 1367731147807.000000 OK 824272813.000000 2097890008100.000000 2097890008100.000000 OK 1662739668.000000 1887737323485.999756 1887737323486.000000 OK 2025187190.000000 2012689009234.999756 2012689009235.000000 OK 1967681095.000000 2009377015126.000000 2009377015126.000000 OK 1850952926.000000 1157864992801.000000 1157864992801.000000 OK 437116466.000000 1729958981337.000000 1729958981337.000000 OK 1704365084.000000 1598433927779.000000 1598433927779.000000 OK 1176911340.000000 1855947496753.000000 1855947496753.000000 OK 638422090.000000 2494395449345.000000 2494395449345.000000 OK 1943327684.000000 2270610705673.000000 2270610705673.000000 OK 1953443376.000000 2250080315183.000000 2250080315183.000000 OK 1876855542.000000 1500463177915.000000 1500463177915.000000 OK 1069755936.000000 1911243249599.000000 1911243249599.000000 OK 1237379107.000000 1942749591287.000000 1942749591287.000000 OK 349517445.000000 1306925981157.000000 1306925981157.000000 OK 588219756.000000 2373596342566.000000 2373596342566.000000 OK 1856669179.000000 2417236922307.000000 2417236922307.000000 OK 1057418418.000000 2077924121316.000000 2077924121316.000000 OK 995706887.000000 1895181970138.000000 1895181970138.000000 OK 1823089412.000000 1778810514640.000000 1778810514640.000000 OK 1065103348.000000 1270704583160.000000 1270704583160.000000 OK 625032172.000000 1215965832957.000000 1215965832957.000000 OK 387451659.000000 2060337822997.000000 2060337822997.000000 OK 1469262009.000000 1676413995953.000000 1676413995953.000000 OK 1562402336.000000 1469758018739.000000 1469758018739.000000 OK 298625210.000000 2193398162217.000000 2193398162217.000000 OK 1295166342.000000 1449708349529.000000 1449708349529.000000 OK 1057467587.000000 1124974745702.000000 1124974745702.000000 OK 1799878206.000000 1228409928589.000000 1228409928589.000000 OK 1555319301.000000 1570774654633.000000 1570774654633.000000 OK 382697713.000000 1786183774177.000000 1786183774177.000000 OK 476667372.000000 1028492433736.000000 1028492433736.000000 OK 1070575321.000000 1676100550530.000000 1676100550530.000000 OK 260401255.000000 1621324364571.000000 1621324364571.000000 OK 296864819.000000 1609792823155.000000 1609792823155.000000 OK 774044599.000000 1867597901994.000000 1867597901994.000000 OK 697517721.000000 1143670156669.000000 1143670156669.000000 OK 2001229904.000000 1069333038446.000000 1069333038446.000000 OK 1950955939.000000 1503047306977.000000 1503047306977.000000 OK 1335939811.000000 760437517957.000000 760437517957.000000 OK 1797073940.000000 838125294426.000000 838125294426.000000 OK 1756915667.000000 1345798452821.000000 1345798452821.000000 OK 1065311705.000000 1054014885846.000000 1054014885846.000000 OK 719346228.000000 1774410968653.999756 1774410968654.000000 OK 846811127.000000 2036565077598.000000 2036565077598.000000 OK 1414829150.000000 1547044564538.000000 1547044564538.000000 OK 1307565984.000000 2019851016299.999512 2019851016300.000000 OK 555996658.000000 2035735412260.000000 2035735412260.000000 OK 324763920.000000 1471042586974.000000 1471042586974.000000 OK 155789224.000000 1520588719069.000000 1520588719069.000000 OK 231602422.000000 1594047835549.000000 1594047835549.000000 OK 1389867269.000000 1779674496053.000000 1779674496053.000000 OK 780821396.000000 1761596975876.000000 1761596975876.000000 OK 619054081.000000 1264236358608.000000 1264236358608.000000 OK 711645630.000000 1065939191786.000000 1065939191786.000000 OK 195740084.000000 888450335334.000000 888450335334.000000 OK 917679292.000000 648725909527.000000 648725909527.000000 OK 2006811972.000000 1364596306683.000000 1364596306683.000000 OK 1253207672.000000 1128661818507.000000 1128661818507.000000 OK 570073850.000000 874260974547.000000 874260974547.000000 OK 1414647625.000000 1131484697285.000000 1131484697285.000000 OK 1635905385.000000 662135246082.000000 662135246082.000000 OK 1046741222.000000 929943316478.000000 929943316478.000000 OK 337739299.000000 1819742770103.999756 1819742770104.000000 OK 1896306640.000000 1418023701228.000000 1418023701228.000000 OK 1343606042.000000 1130986866992.000000 1130986866992.000000 OK 1111783898.000000 1743867970705.000000 1743867970705.000000 OK 446340713.000000 1674783111562.000000 1674783111562.000000 OK 1197352298.000000 1373538701108.000000 1373538701108.000000 OK 915256190.000000 1166003623513.000000 1166003623513.000000 OK 1782280524.000000 2068000926081.999756 2068000926082.000000 OK 846942590.000000 1722037724504.000000 1722037724504.000000 OK 524688209.000000 1455240121958.000000 1455240121958.000000 OK 700108581.000000 1326719482304.000000 1326719482304.000000 OK 1566288819.000000 1621695468686.000000 1621695468686.000000 OK 1371499336.000000 1340026585040.000000 1340026585040.000000 OK 2114937732.000000 1830086994109.000000 1830086994109.000000 OK 726371155.000000 1459703098866.000000 1459703098866.000000 OK 1927495994.000000 1185328676701.000000 1185328676701.000000 OK 292218004.000000 1299674821234.000000 1299674821234.000000 OK 882160379.000000 1736898786452.999756 1736898786453.000000 OK 11614769.000000 1510213676568.000000 1510213676568.000000 OK 1682085273.000000 2231093277023.000000 2231093277023.000000 OK 1662981776.000000 1469123715416.000000 1469123715416.000000 OK 630668850.000000 2005650889239.000000 2005650889239.000000 OK 246247255.000000 1183908559466.000000 1183908559466.000000 OK 1858721860.000000 1232292619348.000000 1232292619348.000000 OK 1548348142.000000 1043764063505.000000 1043764063505.000000 OK 105575579.000000 1717428694738.000000 1717428694738.000000 OK 964445884.000000 1852000813991.999756 1852000813992.000000 OK 2118421993.000000 1301697231522.000000 1301697231522.000000 OK 1520223205.000000 1010667389388.000000 1010667389388.000000 OK 452867621.000000 1921430573460.000000 1921430573460.000000 OK 1017679567.000000 1553035715381.999756 1553035715382.000000 OK 1857962504.000000 833250366966.000000 833250366966.000000 OK 201690613.000000 1516240657827.000000 1516240657827.000000 OK 213801961.000000 2157889089312.999512 2157889089313.000000 OK 822262754.000000 1593570827728.000000 1593570827728.000000 OK 648031326.000000 1236813649882.000000 1236813649882.000000 OK 1411154259.000000 1579365154628.000000 1579365154628.000000 OK 1737518944.000000 1939235697934.000000 1939235697934.000000 OK 282828202.000000 886747988324.000000 886747988324.000000 OK 110613202.000000 868303906101.000000 868303906101.000000 OK 114723506.000000 1466035504196.000000 1466035504196.000000 OK 982936784.000000 1030203980726.000000 1030203980726.000000 OK 1676902021.000000 1411962583602.000000 1411962583602.000000 OK 1486222842.000000 1889086571622.999756 1889086571623.000000 OK 950390868.000000 822328992943.000000 822328992943.000000 OK 255789528.000000 739214420689.000000 739214420689.000000 OK 1266235189.000000 787345163967.000000 787345163967.000000 OK 1242608872.000000 968805095980.000000 968805095980.000000 OK 1137949908.000000 1595644911841.000000 1595644911841.000000 OK 1277849958.000000 1621101491662.999756 1621101491663.000000 OK 777210498.000000 1389569658037.000000 1389569658037.000000 OK 653448036.000000 981709488856.000000 981709488856.000000 OK 1908518808.000000 1348272231259.999756 1348272231260.000000 OK 1023457753.000000 1433164400830.000000 1433164400830.000000 OK 364686248.000000 1327091362437.000000 1327091362437.000000 OK 1309383303.000000 1689809142339.000000 1689809142339.000000 OK 1129033333.000000 1464818432564.000000 1464818432564.000000 OK 1329132133.000000 1121802842018.000000 1121802842018.000000 OK 1280321648.000000 1930649451919.999756 1930649451920.000000 OK 501772890.000000 1468315991379.000000 1468315991379.000000 OK 1781999754.000000 968764211804.000000 968764211804.000000 OK 150517567.000000 1782878118849.000000 1782878118849.000000 OK 212251746.000000 1511292376869.000000 1511292376869.000000 OK 1983690368.000000 1398378144595.000000 1398378144595.000000 OK 364319529.000000 1821200848053.000000 1821200848053.000000 OK 1034514500.000000 1105555928583.000000 1105555928583.000000 OK 484238046.000000 1801968139283.999756 1801968139284.000000 OK 1775473788.000000 1109200950478.000000 1109200950478.000000 OK 624549797.000000 624577555488.000000 624577555488.000000 OK 767066249.000000 2113190510858.999756 2113190510859.000000 OK 1886086990.000000 961745091998.000000 961745091998.000000 OK 739273303.000000 1175785025891.000000 1175785025891.000000 OK 1750003033.000000 1367425515010.000000 1367425515010.000000 OK 1415505363.000000 1525451634930.999756 1525451634931.000000 OK 78012497.000000 1198708308034.000000 1198708308034.000000 OK 552910253.000000 1105275266620.000000 1105275266620.000000 OK 1671294892.000000 1983345698083.999756 1983345698084.000000 OK 1344247686.000000 1320333541501.000000 1320333541501.000000 OK 1795519125.000000 1620961313207.999512 1620961313208.000000 OK 661761152.000000 1981262775841.999756 1981262775842.000000 OK 474613996.000000 798246352670.000122 798246352670.000000 OK 425245975.000000 1165842517812.000000 1165842517812.000000 OK 1315209188.000000 1970834820079.999756 1970834820080.000000 OK 235649157.000000 1435701496687.000000 1435701496687.000000 OK 1448703729.000000 1959056791586.000000 1959056791586.000000 OK 1679895436.000000 1494039918428.000000 1494039918428.000000 OK 1545032460.000000 1068221304246.000000 1068221304246.000000 OK 430253414.000000 1020841022100.000000 1020841022100.000000 OK 861543921.000000 1449759139790.000000 1449759139790.000000 OK 677870460.000000 885746847210.000000 885746847210.000000 OK 932026304.000000 1640900973360.000000 1640900973360.000000 OK 496060028.000000 1918159661786.999756 1918159661787.000000 OK 828388027.000000 1614210495136.000000 1614210495136.000000 OK 1144278050.000000 1064839244603.000000 1064839244603.000000 OK 332266748.000000 1336557882932.000000 1336557882932.000000 OK 1192707556.000000 1090359199783.000000 1090359199783.000000 OK 31308902.000000 1193290113545.000000 1193290113545.000000 OK 816504794.000000 1089826622781.999878 1089826622782.000000 OK 820697697.000000 1220307607018.000000 1220307607018.000000 OK 655858699.000000 1444205514325.000000 1444205514325.000000 OK 1583571043.000000 819310284586.000000 819310284586.000000 OK 559301039.000000 1271519632266.999756 1271519632267.000000 OK 1395132002.000000 760269701112.000000 760269701112.000000 OK 1186090428.000000 861738388927.000000 861738388927.000000 OK 1974806403.000000 1246488074021.000000 1246488074021.000000 OK 1473144500.000000 870203799838.000000 870203799838.000000 OK 1739000681.000000 1563286729768.000000 1563286729768.000000 OK 1498617647.000000 1153217084712.000000 1153217084712.000000 OK 669908538.000000 1374493555163.000000 1374493555163.000000 OK 1387036159.000000 1623027430949.000000 1623027430949.000000 OK 12895151.000000 1852432123474.000000 1852432123474.000000 OK 1144522535.000000 1826995041320.000000 1826995041320.000000 OK 1812282134.000000 1992153515590.000000 1992153515590.000000 OK 1328104339.000000 1982873457542.000000 1982873457542.000000 OK 1380171692.000000 1383648346235.000000 1383648346235.000000 OK 1113502215.000000 1788694274332.000000 1788694274332.000000 OK 860516127.000000 1153336069119.000244 1153336069119.000000 OK 777720504.000000 1436109885813.000000 1436109885813.000000 OK 1543755629.000000 2218977293726.000000 2218977293726.000000 OK 1722060049.000000 1662497371215.000000 1662497371215.000000 OK 1455590964.000000 1750626082911.000000 1750626082911.000000 OK 328298285.000000 1770376677733.999756 1770376677734.000000 OK 70636429.000000 1276407078751.000000 1276407078751.000000 OK 136495343.000000 1341906981921.000000 1341906981921.000000 OK 1472576335.000000 1793686353133.000000 1793686353133.000000 OK 402903177.000000 1910737809493.000000 1910737809493.000000 OK 1329202900.000000 1805200956649.999756 1805200956650.000000 OK 1503885238.000000 1185237686031.000000 1185237686031.000000 OK 1219407971.000000 938980130426.000122 938980130426.000000 OK 2416949.000000 753470864088.000000 753470864088.000000 OK 12260289.000000 1465507063202.000000 1465507063202.000000 OK 655495367.000000 983048818296.000000 983048818296.000000 OK 561717988.000000 1466644748557.000000 1466644748557.000000 OK 1407392292.000000 1766215264488.000000 1766215264488.000000 OK 1841585795.000000 1284293975271.999756 1284293975272.000000 OK 389040743.000000 630073684319.000000 630073684319.000000 OK 733053144.000000 645701722858.000000 645701722858.000000 OK 1433102829.000000 936320259015.999878 936320259016.000000 OK 1887658390.000000 920002342826.000000 920002342826.000000 OK 1402961682.000000 1367360249866.000000 1367360249866.000000 OK 672655340.000000 1923692530649.000000 1923692530649.000000 OK 1900553541.000000 957810783927.000000 957810783927.000000 OK 400000569.000000 1122033571117.000000 1122033571117.000000 OK 337453826.000000 1635218412837.000000 1635218412837.000000 OK 1081174232.000000 1643604118267.000000 1643604118267.000000 OK 1780172261.000000 1741177738908.000000 1741177738908.000000 OK 1450956042.000000 1409573025648.000000 1409573025648.000000 OK 1941690360.000000 2047468394332.000000 2047468394332.000000 OK 410409117.000000 1233814923314.000000 1233814923314.000000 OK 847228023.000000 892656151967.000000 892656151967.000000 OK 1516266761.000000 1676298751002.000000 1676298751002.000000 OK 1866000081.000000 1936468986145.999756 1936468986146.000000 OK 1175526309.000000 1647273064848.000000 1647273064848.000000 OK 1586903190.000000 2213971455605.000000 2213971455605.000000 OK 2002495425.000000 1298396044766.000000 1298396044766.000000 OK 500618996.000000 1321393057648.000000 1321393057648.000000 OK 1989806367.000000 1848376598509.000000 1848376598509.000000 OK 1184214677.000000 1950398282447.000000 1950398282447.000000 OK 2004504234.000000 1746421533120.000000 1746421533120.000000 OK 1061730690.000000 2098014478261.000000 2098014478261.000000 OK 1186631626.000000 2362419247276.000000 2362419247276.000000 OK 2016764524.000000 1309258084663.000000 1309258084663.000000 OK 1717226057.000000 2189857582686.000000 2189857582686.000000 OK 1748349614.000000 1988670509724.999512 1988670509725.000000 OK 1276673168.000000 2066156034740.000000 2066156034740.000000 OK 1411328205.000000 2022452612030.000000 2022452612030.000000 OK 2137390358.000000 1826322728172.000000 1826322728172.000000 OK 2009726312.000000 2357522956383.000000 2357522956383.000000 OK 696947386.000000 2224333463647.000000 2224333463647.000000 OK 1877565100.000000 2089195074807.000000 2089195074807.000000 OK 1265204346.000000 2193727365511.000000 2193727365511.000000 OK 1369602726.000000 2017722216109.000000 2017722216109.000000 OK 1630634994.000000 2426383085227.000000 2426383085227.000000 OK 1665204916.000000 2482537281510.000000 2482537281510.000000 OK 1707056552.000000 1638600967420.000000 1638600967420.000000 OK 564325578.000000 2418572278493.000000 2418572278493.000000 OK 1297893529.000000 2091263758044.000000 2091263758044.000000 OK 1010528946.000000 1794043542847.000000 1794043542847.000000 OK 358532290.000000 2294934705519.000000 2294934705519.000000 OK 1708302647.000000 2167584995983.000000 2167584995983.000000 OK 1857756970.000000 2143386332136.000000 2143386332136.000000 OK 1874799051.000000 1591821574806.000000 1591821574806.000000 OK 1426819080.000000 1720347133077.000000 1720347133077.000000 OK 885799631.000000 1761287349691.000000 1761287349691.000000 OK 1314218593.000000 1099963634142.000000 1099963634142.000000 OK 1281830857.000000 2024458249641.000000 2024458249641.000000 OK 1386418627.000000 2232276883624.000000 2232276883624.000000 OK 1156541312.000000 1947612852939.000000 1947612852939.000000 OK 318561886.000000 2044268732798.000000 2044268732798.000000 OK 1243439214.000000 1584254149457.000000 1584254149457.000000 OK 70788355.000000 1711312605842.000000 1711312605842.000000 OK 1505193512.000000 1784610446022.000000 1784610446022.000000 OK 1112720090.000000 1712396227917.000000 1712396227917.000000 OK 1788014412.000000 1841733370289.999756 1841733370290.000000 OK 1106059479.000000 1189858127375.000000 1189858127375.000000 OK 241909610.000000 1656838419086.000000 1656838419086.000000 OK 1051858969.000000 958640607335.000000 958640607335.000000 OK 1095966189.000000 1527974687631.000000 1527974687631.000000 OK 104152274.000000 1656424330265.000000 1656424330265.000000 OK 1748806355.000000 1709800288684.000000 1709800288684.000000 OK 826047641.000000 1615715003133.000000 1615715003133.000000 OK 1369356620.000000 989703476924.000000 989703476924.000000 OK 970925433.000000 1260063793454.000000 1260063793454.000000 OK 309198987.000000 1535984671503.000000 1535984671503.000000 OK 887077888.000000 624677441297.000000 624677441297.000000 OK 530498338.000000 1895789897287.999512 1895789897288.000000 OK 873524566.000000 1452738500232.000000 1452738500232.000000 OK 37487770.000000 1313634377260.000000 1313634377260.000000 OK 1541027284.000000 1557382177759.000000 1557382177759.000000 OK 1232056856.000000 844275313738.000000 844275313738.000000 OK 1745790417.000000 1159789549815.000000 1159789549815.000000 OK 1251300606.000000 1074396009076.000000 1074396009076.000000 OK 959372260.000000 1057412387291.000000 1057412387291.000000 OK 1025125849.000000 827142316183.000000 827142316183.000000 OK 2137100237.000000 1545045686694.000000 1545045686694.000000 OK 126107205.000000 1495951058091.000000 1495951058091.000000 OK 159473059.000000 1610355017577.000000 1610355017577.000000 OK 1376035217.000000 1619101504242.999756 1619101504243.000000 OK 1282648518.000000 1457141537465.000000 1457141537465.000000 OK 478034945.000000 1324603992716.000000 1324603992716.000000 OK 471990783.000000 2101696542508.999756 2101696542509.000000 OK 1353436873.000000 982315790033.000000 982315790033.000000 OK 1983228458.000000 929518536735.000000 929518536735.000000 OK 1584710873.000000 1827670396794.000000 1827670396794.000000 OK 993967637.000000 1449659626523.000000 1449659626523.000000 OK 941804289.000000 968325429206.000000 968325429206.000000 OK 1826620483.000000 1294075495308.000000 1294075495308.000000 OK 2045826607.000000 1562191676806.000000 1562191676806.000000 OK 2037770478.000000 1856349990515.999756 1856349990516.000000 OK 1930772757.000000 1732876597494.000000 1732876597494.000000 OK 1647149314.000000 1573332400216.000000 1573332400216.000000 OK 716334471.000000 1588721834796.000000 1588721834796.000000 OK 1152645729.000000 2013910470690.000000 2013910470690.000000 OK 470591100.000000 2189151099922.999756 2189151099923.000000 OK 1025533459.000000 2312957687646.000000 2312957687646.000000 OK 2039723618.000000 2441019416449.000000 2441019416449.000000 OK 1001089438.000000 2298234602387.000000 2298234602387.000000 OK 1899058025.000000 1579557834302.000000 1579557834302.000000 OK 2077211388.000000 1802591157740.000000 1802591157740.000000 OK 394633074.000000 1478352382641.000000 1478352382641.000000 OK 983631233.000000 1539069885875.000000 1539069885875.000000 OK 1675518157.000000 2408329927227.000000 2408329927227.000000 OK 1645933681.000000 1730262154934.000000 1730262154934.000000 OK 1943003493.000000 2025251623048.000000 2025251623048.000000 OK 553160358.000000 2488147934139.000000 2488147934139.000000 OK 1635550270.000000 1129971677428.000000 1129971677428.000000 OK 2069110699.000000 1536927790653.000000 1536927790653.000000 OK 712633417.000000 2213012309060.000000 2213012309060.000000 OK 864101839.000000 1761230704373.000000 1761230704373.000000 OK 1204275569.000000 2315464495589.000000 2315464495589.000000 OK 1190668363.000000 1684337913655.000000 1684337913655.000000 OK 1336092622.000000 1906569643785.000000 1906569643785.000000 OK 410228794.000000 2408722055979.000000 2408722055979.000000 OK 1026413173.000000 1342546130910.000000 1342546130910.000000 OK 773319847.000000 1539511752545.000000 1539511752545.000000 OK 1404196431.000000 1975038523483.000000 1975038523483.000000 OK 1968217462.000000 1490532807291.000000 1490532807291.000000 OK 452456682.000000 1757697940366.000000 1757697940366.000000 OK 1302539390.000000 1263045017218.000000 1263045017218.000000 OK 1858504292.000000 1448507253251.000000 1448507253251.000000 OK 235745791.000000 1441875137756.000000 1441875137756.000000 OK 802205057.000000 1457692915448.000000 1457692915448.000000 OK 427355115.000000 2070861446599.000000 2070861446599.000000 OK 1388391521.000000 1248172418359.000000 1248172418359.000000 OK 1272796157.000000 1507950302049.999756 1507950302050.000000 OK 1452888574.000000 2163321042297.999512 2163321042298.000000 OK 1280631491.000000 802973811895.000000 802973811895.000000 OK 126401947.000000 1291481553313.000000 1291481553313.000000 OK 1204462951.000000 1333402223680.000000 1333402223680.000000 OK 1210359231.000000 1402974127393.000000 1402974127393.000000 OK 521035021.000000 1672469792185.000000 1672469792185.000000 OK 40610537.000000 1631226561034.999756 1631226561035.000000 OK 738393740.000000 1653082988613.000000 1653082988613.000000 OK 19485054.000000 958895555847.000000 958895555847.000000 OK 1983614030.000000 1330753393352.000000 1330753393352.000000 OK 1291554098.000000 1532038290722.000000 1532038290722.000000 OK 1655035325.000000 918488645195.000000 918488645195.000000 OK 1905241081.000000 808244366284.999878 808244366285.000000 OK 2004187516.000000 1290476790281.000000 1290476790281.000000 OK 371653516.000000 566595439955.000000 566595439955.000000 OK 962033002.000000 1693484752592.000000 1693484752592.000000 OK 1047372231.000000 1643374842180.000000 1643374842180.000000 OK 1707746139.000000 1622761559823.000000 1622761559823.000000 OK 1372261796.000000 2077129728795.000000 2077129728795.000000 OK 2073785404.000000 2086125325269.000000 2086125325269.000000 OK 333582338.000000 1047001919528.000000 1047001919528.000000 OK 628974580.000000 1580414573538.000000 1580414573538.000000 OK 1894519218.000000 1654660267834.000000 1654660267834.000000 OK 786039021.000000 1934968983233.000000 1934968983233.000000 OK 1931513970.000000 1877091949349.999756 1877091949350.000000 OK 1605539862.000000 2355843211887.000000 2355843211887.000000 OK 1021784812.000000 1383979295942.999756 1383979295943.000000 OK 586235379.000000 1213071021346.000000 1213071021346.000000 OK 2032894977.000000 2154666959064.000000 2154666959064.000000 OK 262692685.000000 1347956493582.000000 1347956493582.000000 OK 1859031536.000000 1958664628767.000000 1958664628767.000000 OK 1338299904.000000 2290763437757.000000 2290763437757.000000 OK 1543324176.000000 1519570113221.000000 1519570113221.000000 OK 1985433483.000000 1315263415384.000000 1315263415384.000000 OK 395279207.000000 2243333675826.000000 2243333675826.000000 OK 606199759.000000 1049938499848.000000 1049938499848.000000 OK 358984857.000000 1956941056608.999512 1956941056609.000000 OK 435889744.000000 2120066097157.000000 2120066097157.000000 OK 1344593499.000000 1685114239468.000000 1685114239468.000000 OK 378469911.000000 2252264165237.000000 2252264165237.000000 OK 272020127.000000 1322663195630.000000 1322663195630.000000 OK 488663950.000000 1063226431262.000000 1063226431262.000000 OK 2033505236.000000 1328211841081.000000 1328211841081.000000 OK 29777560.000000 829532471507.000000 829532471507.000000 OK 345367818.000000 1520479566245.000000 1520479566245.000000 OK 257675105.000000 1061583625985.000000 1061583625985.000000 OK 991810563.000000 792145404473.000000 792145404473.000000 OK 1392740049.000000 975568571881.000000 975568571881.000000 OK 1965421244.000000 1629930714934.999756 1629930714935.000000 OK 216588711.000000 537107891890.000000 537107891890.000000 OK 1319041805.000000 690871950132.000000 690871950132.000000 OK 151519934.000000 926733461998.000000 926733461998.000000 OK 845563291.000000 983651100191.000000 983651100191.000000 OK 1066077375.000000 1258905492426.000000 1258905492426.000000 OK 937558955.000000 1931842026021.000000 1931842026021.000000 OK 629593614.000000 820633584280.000000 820633584280.000000 OK 524133589.000000 1486592409182.000000 1486592409182.000000 OK 1959343768.000000 906344669061.999878 906344669062.000000 OK 1215828993.000000 891243305092.000000 891243305092.000000 OK 409544918.000000 1416466309115.000000 1416466309115.000000 OK 74552805.000000 1262163717372.999756 1262163717373.000000 OK 927376882.000000 1123331081578.000000 1123331081578.000000 OK 1747844822.000000 1156019173190.000000 1156019173190.000000 OK 1617876982.000000 1716581941828.999756 1716581941829.000000 OK 765326717.000000 1442162084653.000000 1442162084653.000000 OK 2143124030.000000 882502013646.000000 882502013646.000000 OK 76593093.000000 947601792053.000244 947601792053.000000 OK 1124311574.000000 1232292141266.000000 1232292141266.000000 OK 431530126.000000 1583081419664.000000 1583081419664.000000 OK 1421186593.000000 1808082311621.000000 1808082311621.000000 OK 1502781486.000000 1287680535043.999756 1287680535044.000000 OK 703550253.000000 2237877201499.000000 2237877201499.000000 OK 1909850543.000000 938573460067.000000 938573460067.000000 OK 1388803074.000000 1230765423390.000000 1230765423390.000000 OK 733327814.000000 1334390369414.999756 1334390369415.000000 OK 107734713.000000 1443293261672.000000 1443293261672.000000 OK 1646478179.000000 1877884706148.000000 1877884706148.000000 OK 1725138377.000000 1394243850297.000000 1394243850297.000000 OK 1500474762.000000 1918498143944.000000 1918498143944.000000 OK 1464415775.000000 1862842947028.000000 1862842947028.000000 OK 1941727088.000000 1134635309433.000000 1134635309433.000000 OK 672032919.000000 1067476835096.000000 1067476835096.000000 OK 1615935710.000000 1831798702235.000000 1831798702235.000000 OK 639806732.000000 1884210692361.000000 1884210692361.000000 OK 1738110294.000000 1828166121304.000000 1828166121304.000000 OK 406011017.000000 1959754463961.000000 1959754463961.000000 OK 1269400346.000000 2286084965486.000000 2286084965486.000000 OK 114760235.000000 1311156287016.000000 1311156287016.000000 OK 217871137.000000 1914763877666.000000 1914763877666.000000 OK 337745691.000000 1463636320255.000000 1463636320255.000000 OK 524305153.000000 1887956489913.000000 1887956489913.000000 OK 292423943.000000 1353713978130.000000 1353713978130.000000 OK 1265122573.000000 1569060152916.000000 1569060152916.000000 OK 124666328.000000 1029636001292.000000 1029636001292.000000 OK 1910300925.000000 778930867695.999878 778930867696.000000 OK 2030449291.000000 846558720649.000000 846558720649.000000 OK 120306710.000000 937180438886.000000 937180438886.000000 OK 1986894018.000000 566891490620.000000 566891490620.000000 OK 1007277217.000000 1406688480248.000000 1406688480248.000000 OK 551836836.000000 664835987377.000000 664835987377.000000 OK 1260596963.000000 1462293252200.999756 1462293252201.000000 OK 362575055.000000 2039386503294.999756 2039386503295.000000 OK 1255387090.000000 598463234938.000000 598463234938.000000 OK 1022963858.000000 1863995800440.000000 1863995800440.000000 OK 1751378130.000000 1704636347577.000000 1704636347577.000000 OK 1988714904.000000 713082892527.000000 713082892527.000000 OK 1130698571.000000 1816935410540.000000 1816935410540.000000 OK 1250372661.000000 1149422080769.000000 1149422080769.000000 OK 1566369633.000000 1387919721503.000000 1387919721503.000000 OK 483689685.000000 1742568729359.000000 1742568729359.000000 OK 567304789.000000 1719479872366.000000 1719479872366.000000 OK 1360613073.000000 2161777778437.000000 2161777778437.000000 OK 1155722604.000000 1686911616572.000000 1686911616572.000000 OK 35756851.000000 1588478520554.000000 1588478520554.000000 OK 2000419805.000000 1980109201633.999756 1980109201634.000000 OK 746349250.000000 1170025594316.000000 1170025594316.000000 OK 441767868.000000 1235393096471.000000 1235393096471.000000 OK 1122336503.000000 1794440488482.000000 1794440488482.000000 OK 861109485.000000 1600713585750.000000 1600713585750.000000 OK 659639006.000000 835169601844.000000 835169601844.000000 OK 1460082195.000000 2046896031280.000000 2046896031280.000000 OK 1385414639.000000 1366956231453.000000 1366956231453.000000 OK 952062949.000000 756511986909.000000 756511986909.000000 OK 577721120.000000 1573699235060.000000 1573699235060.000000 OK 1510080967.000000 1267015834040.000000 1267015834040.000000 OK 714880226.000000 940589884817.000000 940589884817.000000 OK 460686763.000000 1754538025588.000000 1754538025588.000000 OK 1630387677.000000 1555656212003.000000 1555656212003.000000 OK 554290596.000000 1331387716675.000000 1331387716675.000000 OK 1467963981.000000 1191984000868.000000 1191984000868.000000 OK 34740865.000000 1625639229122.000000 1625639229122.000000 OK 1814887560.000000 1234607840587.000000 1234607840587.000000 OK 1830539036.000000 940005451952.000000 940005451952.000000 OK 1290127955.000000 1893389982611.000000 1893389982611.000000 OK 690367770.000000 1101443848544.000000 1101443848544.000000 OK 1434433518.000000 1525802819711.000000 1525802819711.000000 OK 1131359211.000000 1083906968865.000000 1083906968865.000000 OK 1821066342.000000 1638479005518.000000 1638479005518.000000 OK 537322532.000000 2020242388208.999512 2020242388209.000000 OK 550245196.000000 1544113754459.000000 1544113754459.000000 OK 157272379.000000 1334495818559.000000 1334495818559.000000 OK 1104627321.000000 1931541029169.000000 1931541029169.000000 OK 1910858270.000000 1425263898841.000000 1425263898841.000000 OK 1312994984.000000 1928338259161.999756 1928338259162.000000 OK 1140384172.000000 1346766098787.000000 1346766098787.000000 OK 1763794427.000000 1219234747043.000000 1219234747043.000000 OK 2059344234.000000 1094761610215.000000 1094761610215.000000 OK 1582152040.000000 1345208614301.000000 1345208614301.000000 OK 738647283.000000 1881951353665.000000 1881951353665.000000 OK 772970072.000000 1705485235154.000000 1705485235154.000000 OK 94307398.000000 1596262664244.000000 1596262664244.000000 OK 51245830.000000 2090601382630.000000 2090601382630.000000 OK 10901063.000000 2028764414073.000000 2028764414073.000000 OK 1046370347.000000 1837378575726.000000 1837378575726.000000 OK 628966950.000000 1486752199391.000000 1486752199391.000000 OK 1520982030.000000 1479009082861.000000 1479009082861.000000 OK 1761250573.000000 978377163803.999878 978377163804.000000 OK 1089653714.000000 784568932016.000000 784568932016.000000 OK 1003886059.000000 762627595538.000000 762627595538.000000 OK 168057522.000000 1289710147692.000000 1289710147692.000000 OK 410134047.000000 1059577415341.000000 1059577415341.000000 OK 1038626924.000000 1454111438040.000000 1454111438040.000000 OK 1982945082.000000 1774846195261.000000 1774846195261.000000 OK 93189435.000000 1202866434674.999756 1202866434675.000000 OK 181271232.000000 1202165256462.000000 1202165256462.000000 OK 525829204.000000 883425219105.000000 883425219105.000000 OK 1527622954.000000 830293709918.000000 830293709918.000000 OK 1312630443.000000 1304672198215.000000 1304672198215.000000 OK 199411898.000000 1860479261328.000000 1860479261328.000000 OK 2064945486.000000 868408691173.000000 868408691173.000000 OK 1862875640.000000 885985899145.000000 885985899145.000000 OK 356684278.000000 1107620974406.000000 1107620974406.000000 OK 1022089159.000000 1253761494502.000000 1253761494502.000000 OK 1626250262.000000 1424339051803.000000 1424339051803.000000 OK 1669679262.000000 957195062406.000000 957195062406.000000 OK 14989683.000000 1924070244458.000000 1924070244458.000000 OK 1242561041.000000 2031540959940.999756 2031540959941.000000 OK 1581539848.000000 810711124890.000000 810711124890.000000 OK 1597141723.000000 1568471809922.000000 1568471809922.000000 OK 1981208324.000000 1922774972223.999756 1922774972224.000000 OK 207026272.000000 1693710123172.000000 1693710123172.000000 OK 1691449122.000000 1055905531865.000000 1055905531865.000000 OK 2032454154.000000 1711273884353.000000 1711273884353.000000 OK 217927335.000000 2000192651747.999756 2000192651748.000000 OK 590335821.000000 1630563722699.999756 1630563722700.000000 OK 513937457.000000 2225215991371.000000 2225215991371.000000 OK 1738909365.000000 1338160537583.000000 1338160537583.000000 OK 204102747.000000 1754242395228.000000 1754242395228.000000 OK 1603591171.000000 2356949894534.000000 2356949894534.000000 OK 595311776.000000 872427486541.999878 872427486542.000000 OK 372160269.000000 1345292977575.000000 1345292977575.000000 OK 2013725218.000000 1421515001572.000000 1421515001572.000000 OK 1633938701.000000 1643639124661.000000 1643639124661.000000 OK 207621703.000000 1017752682234.000000 1017752682234.000000 OK 2106914653.000000 1649423860467.000000 1649423860467.000000 OK 1815209933.000000 1406990337064.000000 1406990337064.000000 OK 733450907.000000 814551175762.000000 814551175762.000000 OK 1487053959.000000 1871979698152.999756 1871979698153.000000 OK 980356728.000000 1910651135253.000000 1910651135253.000000 OK 932862806.000000 770212441682.000244 770212441682.000000 OK 1404515797.000000 2276531921454.000000 2276531921454.000000 OK 695748720.000000 2124474652881.999756 2124474652882.000000 OK 1289547084.000000 1087559433649.999878 1087559433650.000000 OK 279121308.000000 1994842607699.999756 1994842607700.000000 OK 174515334.000000 1717010153088.000000 1717010153088.000000 OK 811742698.000000 1252333030619.000000 1252333030619.000000 OK 294110991.000000 1943227896216.000000 1943227896216.000000 OK 1417076376.000000 1321894590831.000000 1321894590831.000000 OK 245798898.000000 1536910661979.000000 1536910661979.000000 OK 1891252715.000000 1194564849956.000000 1194564849956.000000 OK 1250801052.000000 687016538294.000000 687016538294.000000 OK 452825171.000000 1254935829203.000000 1254935829203.000000 OK 1435218189.000000 757969246518.000000 757969246518.000000 OK 1135771559.000000 1380383174267.000000 1380383174267.000000 OK 670752506.000000 983090781530.000000 983090781530.000000 OK 2025554010.000000 1540276928958.000000 1540276928958.000000 OK 1649709016.000000 1627766726187.999756 1627766726188.000000 OK 262178224.000000 805127864333.000000 805127864333.000000 OK 82173109.000000 1550762602379.000000 1550762602379.000000 OK 1105816539.000000 1618189641416.000000 1618189641416.000000 OK 857490000.000000 971033231095.000000 971033231095.000000 OK 454333378.000000 2135846368872.000000 2135846368872.000000 OK 972058109.000000 1918718179035.000000 1918718179035.000000 OK 343945053.000000 943930078469.000000 943930078469.000000 OK 661955081.000000 1010410370615.000000 1010410370615.000000 OK 931489114.000000 1427100842690.000000 1427100842690.000000 OK 11671338.000000 1109674867288.000000 1109674867288.000000 OK 1395405989.000000 925165897957.000000 925165897957.000000 OK 271059426.000000 1404999963343.000000 1404999963343.000000 OK 992028067.000000 922234478602.000000 922234478602.000000 OK 180785147.000000 797730174832.000000 797730174832.000000 OK 1675575223.000000 1216220657036.000000 1216220657036.000000 OK 1687776787.000000 454696368431.000000 454696368431.000000 OK 1470332231.000000 1320501409743.000000 1320501409743.000000 OK 1954696532.000000 859568670938.999878 859568670939.000000 OK 1862292122.000000 962673228478.000000 962673228478.000000 OK 134591281.000000 887059777063.000000 887059777063.000000 OK 101323875.000000 1462766771046.000000 1462766771046.000000 OK 1131884850.000000 1743401940304.000000 1743401940304.000000 OK 380390179.000000 1635843940442.000000 1635843940442.000000 OK 1992576590.000000 1976579305411.000000 1976579305411.000000 OK 235202254.000000 2125475801621.000000 2125475801621.000000 OK 833215350.000000 915094813793.000000 915094813793.000000 OK 1280311131.000000 932809771602.000000 932809771602.000000 OK 1370973813.000000 1659023038860.000000 1659023038860.000000 OK 1503967857.000000 912490600903.000000 912490600903.000000 OK 1158381494.000000 1942658239663.000000 1942658239663.000000 OK 873199181.000000 1298219907205.000000 1298219907205.000000 OK 1766146081.000000 1079815821914.000000 1079815821914.000000 OK 1240554603.000000 1693829545183.000000 1693829545183.000000 OK 1979015720.000000 1415318478754.000000 1415318478754.000000 OK 476152433.000000 1526863043521.000000 1526863043521.000000 OK 1694887982.000000 1761649161792.999756 1761649161793.000000 OK 803590181.000000 1321844479769.000000 1321844479769.000000 OK 820097487.000000 2021969039802.000000 2021969039802.000000 OK 209359415.000000 1625303264609.000000 1625303264609.000000 OK 1735079296.000000 2085372875300.999756 2085372875301.000000 OK 831768825.000000 1465196596396.000000 1465196596396.000000 OK 1604765404.000000 1893339167161.000000 1893339167161.000000 OK 2006138722.000000 1564080006657.000000 1564080006657.000000 OK 1823796892.000000 1324426670043.000000 1324426670043.000000 OK 1785550551.000000 1082604090024.000000 1082604090024.000000 OK 1534230297.000000 1944929525263.999756 1944929525264.000000 OK 1364090032.000000 1401165916792.000000 1401165916792.000000 OK 1108399134.000000 1780335242019.000000 1780335242019.000000 OK 1341443181.000000 2282659670019.000000 2282659670019.000000 OK 1078898506.000000 2046011565598.000000 2046011565598.000000 OK 1242990415.000000 2031739859413.000000 2031739859413.000000 OK 1442767057.000000 2115486352467.000000 2115486352467.000000 OK 63299708.000000 1845940805166.000000 1845940805166.000000 OK 1623380595.000000 1812157928206.000000 1812157928206.000000 OK 1287859999.000000 1938139558976.000000 1938139558976.000000 OK 298501962.000000 1811048057185.000000 1811048057185.000000 OK 309112297.000000 1765180067699.000000 1765180067699.000000 OK 420687483.000000 2007660904773.000000 2007660904773.000000 OK 1669475776.000000 1062741926929.000000 1062741926929.000000 OK 1813080154.000000 1767137602547.000000 1767137602547.000000 OK 1579068977.000000 1794245562284.999756 1794245562285.000000 OK 395191309.000000 795446254844.000000 795446254844.000000 OK 1431742587.000000 1103196702574.000000 1103196702574.000000 OK 672139932.000000 1121548128147.000000 1121548128147.000000 OK 226723382.000000 1495652679631.000000 1495652679631.000000 OK 1907895021.000000 1856965633203.999756 1856965633204.000000 OK 219544266.000000 1760063342357.000000 1760063342357.000000 OK 1030313563.000000 1159639783454.999756 1159639783455.000000 OK 580508860.000000 1609044457160.000000 1609044457160.000000 OK 428903682.000000 1240030442829.000000 1240030442829.000000 OK 617909211.000000 672327249280.000000 672327249280.000000 OK 1412277685.000000 2021974066929.999756 2021974066930.000000 OK 2033669086.000000 1082522726404.000000 1082522726404.000000 OK 476564285.000000 1128305693892.000000 1128305693892.000000 OK 1088590930.000000 1381453199287.000000 1381453199287.000000 OK 1671735990.000000 758525027629.000000 758525027629.000000 OK 2010794583.000000 1028830786555.000000 1028830786555.000000 OK 305197314.000000 1528488665865.000000 1528488665865.000000 OK 632651476.000000 1804420862451.000000 1804420862451.000000 OK 1204754116.000000 1168301776041.000000 1168301776041.000000 OK 1384095820.000000 1431311551470.000000 1431311551470.000000 OK 1875641892.000000 1879803119445.000000 1879803119445.000000 OK 500037525.000000 1851416536122.999756 1851416536123.000000 OK 1447395528.000000 1108293872614.000000 1108293872614.000000 OK 1351538839.000000 1374826191724.000000 1374826191724.000000 OK 1787897525.000000 1740856695204.000000 1740856695204.000000 OK 1745897490.000000 1551394846184.000000 1551394846184.000000 OK 1660651136.000000 2014724828696.000000 2014724828696.000000 OK 61101360.000000 1433530227847.000000 1433530227847.000000 OK 1267889618.000000 1742258412259.000000 1742258412259.000000 OK 1326247643.000000 1907109206874.000000 1907109206874.000000 OK 1640170337.000000 1842648837829.000000 1842648837829.000000 OK 1663080928.000000 2026603559022.000000 2026603559022.000000 OK 610506582.000000 2157754901357.000000 2157754901357.000000 OK 164826621.000000 1098033676202.000000 1098033676202.000000 OK 1889804310.000000 1759172163732.000000 1759172163732.000000 OK 370917955.000000 1856499469031.000000 1856499469031.000000 OK 384370888.000000 1754290423773.000000 1754290423773.000000 OK 772634225.000000 2072703390571.000000 2072703390571.000000 OK 951426815.000000 1569315865450.000000 1569315865450.000000 OK 813274570.000000 902671793491.000000 902671793491.000000 OK 1390543437.000000 1993411363343.000000 1993411363343.000000 OK 216220853.000000 997129685758.000000 997129685758.000000 OK 699460008.000000 840585736196.000000 840585736196.000000 OK 1867107722.000000 1491776968766.000000 1491776968766.000000 OK 1304811783.000000 1240416551754.000000 1240416551754.000000 OK 223712350.000000 995667859106.000000 995667859106.000000 OK 1730418657.000000 1588599852741.000000 1588599852741.000000 OK 1610009097.000000 861939738956.000122 861939738956.000000 OK 856363827.000000 1006939875777.000000 1006939875777.000000 OK 787689126.000000 1807713856666.999756 1807713856667.000000 OK 846621269.000000 1464322602617.000000 1464322602617.000000 OK 584522071.000000 853075980596.000000 853075980596.000000 OK 1287726651.000000 1954028376486.000000 1954028376486.000000 OK 146533149.000000 1793079911267.000000 1793079911267.000000 OK 1936060910.000000 1147717898135.000000 1147717898135.000000 OK 928140528.000000 1431437307562.000000 1431437307562.000000 OK 1892430639.000000 1461131598328.000000 1461131598328.000000 OK 1449228398.000000 991336758941.999878 991336758942.000000 OK 989241888.000000 1625869470742.000000 1625869470742.000000 OK 1012836610.000000 909877474535.000000 909877474535.000000 OK 627992393.000000 1863358847635.000000 1863358847635.000000 OK 481928577.000000 1563700312994.000000 1563700312994.000000 OK 528433890.000000 1712415354330.000000 1712415354330.000000 OK 1238498976.000000 1895104937643.000000 1895104937643.000000 OK 646755199.000000 1414045989742.000000 1414045989742.000000 OK 270754552.000000 1412150700260.000000 1412150700260.000000 OK 1609416931.000000 1329242851864.000000 1329242851864.000000 OK 1031126087.000000 1001525412757.000000 1001525412757.000000 OK 1043388777.000000 1180604136813.000000 1180604136813.000000 OK 413360099.000000 1453302222843.000000 1453302222843.000000 OK 1844400657.000000 1197675086823.000000 1197675086823.000000 OK 286448566.000000 835405807781.000122 835405807781.000000 OK 629580952.000000 1660157926426.000000 1660157926426.000000 OK 396377017.000000 1254429291872.000000 1254429291872.000000 OK 6072641.000000 1173984057607.000000 1173984057607.000000 OK 1934392735.000000 1066623443566.000000 1066623443566.000000 OK 620089368.000000 1726111141204.000000 1726111141204.000000 OK 1736491298.000000 902863071334.000000 902863071334.000000 OK 1396918184.000000 904213482818.000000 904213482818.000000 OK 1476453195.000000 1158945503024.000000 1158945503024.000000 OK 376696776.000000 535175993264.000000 535175993264.000000 OK 96055805.000000 1704963638485.000000 1704963638485.000000 OK 2060975266.000000 1234632403733.999756 1234632403734.000000 OK 1664423428.000000 1505656859412.000000 1505656859412.000000 OK 242588954.000000 1855218559081.000000 1855218559081.000000 OK 1849552528.000000 1452489882513.000000 1452489882513.000000 OK 445080308.000000 1068783393363.000000 1068783393363.000000 OK 2135019593.000000 902578537173.000000 902578537173.000000 OK 1151297278.000000 1876890958612.999756 1876890958613.000000 OK 1434322197.000000 1985983260967.000000 1985983260967.000000 OK 1000372555.000000 863268239516.000122 863268239516.000000 OK 1779289672.000000 2262781056467.000000 2262781056467.000000 OK 1916250774.000000 1290530776493.000000 1290530776493.000000 OK 1528806445.000000 1781114644153.000000 1781114644153.000000 OK 870305000.000000 1877258359936.000000 1877258359936.000000 OK 415522325.000000 1671637132377.000000 1671637132377.000000 OK 1799560997.000000 1741566398553.000000 1741566398553.000000 OK 332238283.000000 2109137068392.999756 2109137068393.000000 OK 1446648412.000000 2065424673132.000000 2065424673132.000000 OK 695466127.000000 2000900050397.999756 2000900050398.000000 OK 745598382.000000 1661916262989.000000 1661916262989.000000 OK 1143565421.000000 1326069509611.000000 1326069509611.000000 OK