Ideone.com

fork download

copy

/*
 * 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.
 */
static void fft_rec (int exp, double complex *data, double complex *temp, double complex rou)
{
    if (exp == 0) {
        return;
    }
    size_t half = ((size_t)1) << (exp - 1);
    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;
    fft_rec(exp - 1, temp, data, rou_2);
    fft_rec(exp - 1, temp + half, data, rou_2);
    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;
    }
}
 
static void fft (int exp, double complex *data, double complex *temp)
{
    size_t n = ((size_t)1) << exp;
    double complex rou = cexp(I * (-2 * 3.14159265358979323846 / n));
    fft_rec(exp, data, temp, 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;
    }
 
    double complex *a = malloc(dft_n * sizeof(*a));
    double complex *b = malloc(dft_n * sizeof(*b));
    double complex *c = malloc(dft_n * sizeof(*c));
 
    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++) {
        c[i] = conj(a[i] * b[i]);
    }
 
    fft(dft_exp, c, a);
 
    for (size_t i = 0; i < m; i++) {
        sums[i] = creal(c[m - 1 + i]) / dft_n;
    }
 
    free(c);
    free(b);
    free(a);
}
 
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)
{
    assert(orig_n > 0);
 
    // choose m
    o->m = sqrt(orig_n * log(orig_n));
    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
    o->weights = malloc((o->n + 1) * sizeof(o->weights[0]));
    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
    o->inputs = malloc((o->n + o->m) * sizeof(o->inputs[0]));
    for (size_t i = 0; i < o->n; i++) {
        o->inputs[i] = 0;
    }
 
    // allocate and initialize sums
    o->sums = malloc(o->n * sizeof(o->sums[0]));
    o->new_sums = malloc(o->n * sizeof(o->new_sums[0]));
    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)
{
    free(o->new_sums);
    free(o->sums);
    free(o->inputs);
    free(o->weights);
}
 
double WSum_AddNumber (WSum *o, double x)
{
    assert(o->m_pos < o->m);
 
    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) {
        assert(o->num_m_pos == o->num_m);
        memcpy(o->inputs, o->inputs + o->m, o->m * sizeof(o->inputs[0]));
        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);
 
    printf("m=%zu n=%zu num_m=%zu\n", state.m, state.n, state.num_m);
 
    for (int k = 0; k < NUM_ITER; k++) {
        double x = rand();
        double sum = WSum_AddNumber(&state, x);
 
#if CHECK_SUMS
        memmove(prev, prev + 1, (n - 1) * sizeof(prev[0]));
        prev[n - 1] = x;
 
        double check_sum = 0;
        for (size_t i = 0; i < n; i++) {
            check_sum += w[i] * prev[n - 1 - i];
        }
 
        int failed = (fabs(sum - check_sum) > 0.01);
        printf("%f %f %f %s\n", x, sum, check_sum, (failed ? "FAILED" : "OK"));
 
        if (failed) {
            return 1;
        }
#else
        printf("%f %f\n", x, sum);
#endif
    }
 
    WSum_Free(&state);
    return 0;
}

LyoKICogQ29weXJpZ2h0IChjKSAyMDEzLCBBbWJyb3ogQml6amFrIDxhbWJyb3A3QGdtYWlsLmNvbT4KICogQWxsIHJpZ2h0cyByZXNlcnZlZC4KICogCiAqIFJlZGlzdHJpYnV0aW9uIGFuZCB1c2UgaW4gc291cmNlIGFuZCBiaW5hcnkgZm9ybXMsIHdpdGggb3Igd2l0aG91dAogKiBtb2RpZmljYXRpb24sIGFyZSBwZXJtaXR0ZWQgcHJvdmlkZWQgdGhhdCB0aGUgZm9sbG93aW5nIGNvbmRpdGlvbnMgYXJlIG1ldDogCiAqIAogKiAxLiBSZWRpc3RyaWJ1dGlvbnMgb2Ygc291cmNlIGNvZGUgbXVzdCByZXRhaW4gdGhlIGFib3ZlIGNvcHlyaWdodCBub3RpY2UsIHRoaXMKICogICAgbGlzdCBvZiBjb25kaXRpb25zIGFuZCB0aGUgZm9sbG93aW5nIGRpc2NsYWltZXIuIAogKiAyLiBSZWRpc3RyaWJ1dGlvbnMgaW4gYmluYXJ5IGZvcm0gbXVzdCByZXByb2R1Y2UgdGhlIGFib3ZlIGNvcHlyaWdodCBub3RpY2UsCiAqICAgIHRoaXMgbGlzdCBvZiBjb25kaXRpb25zIGFuZCB0aGUgZm9sbG93aW5nIGRpc2NsYWltZXIgaW4gdGhlIGRvY3VtZW50YXRpb24KICogICAgYW5kL29yIG90aGVyIG1hdGVyaWFscyBwcm92aWRlZCB3aXRoIHRoZSBkaXN0cmlidXRpb24uIAogKiAKICogVEhJUyBTT0ZUV0FSRSBJUyBQUk9WSURFRCBCWSBUSEUgQ09QWVJJR0hUIEhPTERFUlMgQU5EIENPTlRSSUJVVE9SUyAiQVMgSVMiIEFORAogKiBBTlkgRVhQUkVTUyBPUiBJTVBMSUVEIFdBUlJBTlRJRVMsIElOQ0xVRElORywgQlVUIE5PVCBMSU1JVEVEIFRPLCBUSEUgSU1QTElFRAogKiBXQVJSQU5USUVTIE9GIE1FUkNIQU5UQUJJTElUWSBBTkQgRklUTkVTUyBGT1IgQSBQQVJUSUNVTEFSIFBVUlBPU0UgQVJFCiAqIERJU0NMQUlNRUQuIElOIE5PIEVWRU5UIFNIQUxMIFRIRSBDT1BZUklHSFQgT1dORVIgT1IgQ09OVFJJQlVUT1JTIEJFIExJQUJMRSBGT1IKICogQU5ZIERJUkVDVCwgSU5ESVJFQ1QsIElOQ0lERU5UQUwsIFNQRUNJQUwsIEVYRU1QTEFSWSwgT1IgQ09OU0VRVUVOVElBTCBEQU1BR0VTCiAqIChJTkNMVURJTkcsIEJVVCBOT1QgTElNSVRFRCBUTywgUFJPQ1VSRU1FTlQgT0YgU1VCU1RJVFVURSBHT09EUyBPUiBTRVJWSUNFUzsKICogTE9TUyBPRiBVU0UsIERBVEEsIE9SIFBST0ZJVFM7IE9SIEJVU0lORVNTIElOVEVSUlVQVElPTikgSE9XRVZFUiBDQVVTRUQgQU5ECiAqIE9OIEFOWSBUSEVPUlkgT0YgTElBQklMSVRZLCBXSEVUSEVSIElOIENPTlRSQUNULCBTVFJJQ1QgTElBQklMSVRZLCBPUiBUT1JUCiAqIChJTkNMVURJTkcgTkVHTElHRU5DRSBPUiBPVEhFUldJU0UpIEFSSVNJTkcgSU4gQU5ZIFdBWSBPVVQgT0YgVEhFIFVTRSBPRiBUSElTCiAqIFNPRlRXQVJFLCBFVkVOIElGIEFEVklTRUQgT0YgVEhFIFBPU1NJQklMSVRZIE9GIFNVQ0ggREFNQUdFLgogKi8KCi8qCiAqIEVmZmljaWVudCBjb21wdXRhdGlvbiBvZiBhIHdlaWdodGVkIHN1bSBvZiBsYXN0IE4gcmVjZWl2ZWQgbnVtYmVycy4KICogU2VlOiBodHRwOi8vYy4uLmNvbnRlbnQtYXZhaWxhYmxlLXRvLWF1dGhvci1vbmx5Li4uZS5jb20vcXVlc3Rpb25zLzEwNjEyL3dlaWdodGVkLXN1bS1vZi1sYXN0LW4tbnVtYmVycy8xMDY3MCMxMDY3MAogKiAKICogSW5pdGlhbGl6YXRpb246CiAqICAgV1N1bSBzdGF0ZTsKICogICBXU3VtX0luaXQoJnN0YXRlLCBudW1iZXJfb2Zfd2VpZ2h0cywgcG9pbnRlcl90b193ZWlnaHRzKTsKICogVGhlIHdlaWdodHMgbmVlZCB0byBiZSBzcGVjaWZpZWQgaW4gInJldmVyc2UiLCBtZWFuaW5nIHRoYXQgdGhlIGZpcnN0IHdlaWdodAogKiBhcHBsaWVzIHRvIHRoZSBtb3N0IHJlY2VudCBudW1iZXIuCiAqIAogKiBPcGVyYXRpb246CiAqICAgZG91YmxlIGN1cnJlbnRfd3N1bSA9IFdTdW1fQWRkTnVtYmVyKCZzdGF0ZSwgeW91cl9udW1iZXIpOwogKi8KCiNpbmNsdWRlIDxzdGRpby5oPgojaW5jbHVkZSA8Y29tcGxleC5oPgojaW5jbHVkZSA8c3RyaW5nLmg+CiNpbmNsdWRlIDxtYXRoLmg+CiNpbmNsdWRlIDxhc3NlcnQuaD4KI2luY2x1ZGUgPHN0ZGxpYi5oPgoKLyoKICogUHJvYmFibHkgbm90IHRoZSBmYXN0ZXN0IEZGVC4KICovCnN0YXRpYyB2b2lkIGZmdF9yZWMgKGludCBleHAsIGRvdWJsZSBjb21wbGV4ICpkYXRhLCBkb3VibGUgY29tcGxleCAqdGVtcCwgZG91YmxlIGNvbXBsZXggcm91KQp7CiAgICBpZiAoZXhwID09IDApIHsKICAgICAgICByZXR1cm47CiAgICB9CiAgICBzaXplX3QgaGFsZiA9ICgoc2l6ZV90KTEpIDw8IChleHAgLSAxKTsKICAgIGZvciAoc2l6ZV90IGkgPSAwOyBpIDwgaGFsZjsgaSsrKSB7CiAgICAgICAgdGVtcFtpXSA9IGRhdGFbMiAqIGldOwogICAgICAgIHRlbXBbaGFsZiArIGldID0gZGF0YVsyICogaSArIDFdOwogICAgfQogICAgZG91YmxlIGNvbXBsZXggcm91XzIgPSByb3UgKiByb3U7CiAgICBmZnRfcmVjKGV4cCAtIDEsIHRlbXAsIGRhdGEsIHJvdV8yKTsKICAgIGZmdF9yZWMoZXhwIC0gMSwgdGVtcCArIGhhbGYsIGRhdGEsIHJvdV8yKTsKICAgIGRvdWJsZSBjb21wbGV4IGYgPSAxOwogICAgZm9yIChzaXplX3QgaSA9IDA7IGkgPCBoYWxmOyBpKyspIHsKICAgICAgICBkYXRhW2ldID0gdGVtcFtpXSArIGYgKiB0ZW1wW2hhbGYgKyBpXTsKICAgICAgICBkYXRhW2hhbGYgKyBpXSA9IHRlbXBbaV0gLSBmICogdGVtcFtoYWxmICsgaV07CiAgICAgICAgZiAqPSByb3U7CiAgICB9Cn0KCnN0YXRpYyB2b2lkIGZmdCAoaW50IGV4cCwgZG91YmxlIGNvbXBsZXggKmRhdGEsIGRvdWJsZSBjb21wbGV4ICp0ZW1wKQp7CiAgICBzaXplX3QgbiA9ICgoc2l6ZV90KTEpIDw8IGV4cDsKICAgIGRvdWJsZSBjb21wbGV4IHJvdSA9IGNleHAoSSAqICgtMiAqIDMuMTQxNTkyNjUzNTg5NzkzMjM4NDYgLyBuKSk7CiAgICBmZnRfcmVjKGV4cCwgZGF0YSwgdGVtcCwgcm91KTsKfQoKLy8gSW5wdXQ6IG0gd2VpZ2h0cywgMm0tMSBudW1iZXJzLgovLyBPdXRwdXQ6IG0gc3Vtcywgc3Vtc1tpXSA9IHN1bSAoaz0wIHRvIG0tMSkgd2VpZ2h0c1trXSpudW1iZXJzW2krbS0xLWtdCi8vIFRoaXMgZnVuY3Rpb24gaW1wbGVtZW50cyBldmVyeXRoaW5nIEZGVC1yZWxhdGVkIHRoYXQgdGhlIFdTdW0gY29kZSBuZWVkcy4Kc3RhdGljIHZvaWQgY29tcHV0ZV9zdW1zIChzaXplX3QgbSwgY29uc3QgZG91YmxlICp3ZWlnaHRzLCBjb25zdCBkb3VibGUgKm51bWJlcnMsIGRvdWJsZSAqc3VtcykKewogICAgaW50IGRmdF9leHAgPSAwOwogICAgc2l6ZV90IGRmdF9uID0gMTsKICAgIHdoaWxlIChkZnRfbiA8IDIgKiBtKSB7CiAgICAgICAgZGZ0X2V4cCsrOwogICAgICAgIGRmdF9uICo9IDI7CiAgICB9CiAgICAKICAgIGRvdWJsZSBjb21wbGV4ICphID0gbWFsbG9jKGRmdF9uICogc2l6ZW9mKCphKSk7CiAgICBkb3VibGUgY29tcGxleCAqYiA9IG1hbGxvYyhkZnRfbiAqIHNpemVvZigqYikpOwogICAgZG91YmxlIGNvbXBsZXggKmMgPSBtYWxsb2MoZGZ0X24gKiBzaXplb2YoKmMpKTsKICAgIAogICAgZm9yIChzaXplX3QgaSA9IDA7IGkgPCBtOyBpKyspIHsKICAgICAgICBhW2ldID0gd2VpZ2h0c1tpXTsKICAgIH0KICAgIGZvciAoc2l6ZV90IGkgPSBtOyBpIDwgZGZ0X247IGkrKykgewogICAgICAgIGFbaV0gPSAwOwogICAgfQogICAgCiAgICBmb3IgKHNpemVfdCBpID0gMDsgaSA8IDIgKiBtIC0gMTsgaSsrKSB7CiAgICAgICAgYltpXSA9IG51bWJlcnNbaV07CiAgICB9CiAgICBmb3IgKHNpemVfdCBpID0gMiAqIG0gLSAxOyBpIDwgZGZ0X247IGkrKykgewogICAgICAgIGJbaV0gPSAwOwogICAgfQogICAgCiAgICBmZnQoZGZ0X2V4cCwgYSwgYyk7CiAgICBmZnQoZGZ0X2V4cCwgYiwgYyk7CiAgICAKICAgIGZvciAoc2l6ZV90IGkgPSAwOyBpIDwgZGZ0X247IGkrKykgewogICAgICAgIGNbaV0gPSBjb25qKGFbaV0gKiBiW2ldKTsKICAgIH0KICAgIAogICAgZmZ0KGRmdF9leHAsIGMsIGEpOwogICAgCiAgICBmb3IgKHNpemVfdCBpID0gMDsgaSA8IG07IGkrKykgewogICAgICAgIHN1bXNbaV0gPSBjcmVhbChjW20gLSAxICsgaV0pIC8gZGZ0X247CiAgICB9CiAgICAKICAgIGZyZWUoYyk7CiAgICBmcmVlKGIpOwogICAgZnJlZShhKTsKfQoKdHlwZWRlZiBzdHJ1Y3QgewogICAgc2l6ZV90IG07CiAgICBzaXplX3QgbjsKICAgIHNpemVfdCBudW1fbTsKICAgIGRvdWJsZSAqd2VpZ2h0czsKICAgIGRvdWJsZSAqaW5wdXRzOwogICAgZG91YmxlICpzdW1zOwogICAgZG91YmxlICpuZXdfc3VtczsKICAgIHNpemVfdCBtX3BvczsKICAgIHNpemVfdCBudW1fbV9wb3M7Cn0gV1N1bTsKCnZvaWQgV1N1bV9Jbml0IChXU3VtICpvLCBzaXplX3Qgb3JpZ19uLCBjb25zdCBkb3VibGUgKm9yaWdfd2VpZ2h0cykKewogICAgYXNzZXJ0KG9yaWdfbiA+IDApOwogICAgCiAgICAvLyBjaG9vc2UgbQogICAgby0+bSA9IHNxcnQob3JpZ19uICogbG9nKG9yaWdfbikpOwogICAgaWYgKG8tPm0gPT0gMCkgewogICAgICAgIG8tPm0gPSAxOwogICAgfSBlbHNlIGlmIChvLT5tID4gb3JpZ19uKSB7CiAgICAgICAgby0+bSA9IG9yaWdfbjsKICAgIH0KICAgIAogICAgLy8gY2hvb3NlIG4sIHRha2luZyBjYXJlIGl0J3MgYSBtdWx0aXBsZSBvZiBtCiAgICBvLT5uID0gb3JpZ19uOwogICAgaWYgKG8tPm4gJSBvLT5tKSB7CiAgICAgICAgby0+biArPSBvLT5tIC0gKG8tPm4gJSBvLT5tKTsKICAgIH0KICAgIG8tPm51bV9tID0gby0+biAvIG8tPm07CiAgICAKICAgIC8vIGFsbG9jYXRlIGFuZCBpbml0aWFsaXplIHdlaWdodHMKICAgIG8tPndlaWdodHMgPSBtYWxsb2MoKG8tPm4gKyAxKSAqIHNpemVvZihvLT53ZWlnaHRzWzBdKSk7CiAgICBmb3IgKHNpemVfdCBpID0gMDsgaSA8IG9yaWdfbjsgaSsrKSB7CiAgICAgICAgby0+d2VpZ2h0c1tpXSA9IG9yaWdfd2VpZ2h0c1tpXTsKICAgIH0KICAgIGZvciAoc2l6ZV90IGkgPSBvcmlnX247IGkgPCBvLT5uICsgMTsgaSsrKSB7CiAgICAgICAgby0+d2VpZ2h0c1tpXSA9IDA7CiAgICB9CiAgICAKICAgIC8vIGFsbG9jYXRlIGFuZCBpbml0aWFsaXplIGlucHV0cwogICAgby0+aW5wdXRzID0gbWFsbG9jKChvLT5uICsgby0+bSkgKiBzaXplb2Yoby0+aW5wdXRzWzBdKSk7CiAgICBmb3IgKHNpemVfdCBpID0gMDsgaSA8IG8tPm47IGkrKykgewogICAgICAgIG8tPmlucHV0c1tpXSA9IDA7CiAgICB9CiAgICAKICAgIC8vIGFsbG9jYXRlIGFuZCBpbml0aWFsaXplIHN1bXMKICAgIG8tPnN1bXMgPSBtYWxsb2Moby0+biAqIHNpemVvZihvLT5zdW1zWzBdKSk7CiAgICBvLT5uZXdfc3VtcyA9IG1hbGxvYyhvLT5uICogc2l6ZW9mKG8tPm5ld19zdW1zWzBdKSk7CiAgICBmb3IgKHNpemVfdCBpID0gMDsgaSA8IG8tPm47IGkrKykgewogICAgICAgIG8tPnN1bXNbaV0gPSAwOwogICAgICAgIG8tPm5ld19zdW1zW2ldID0gMDsKICAgIH0KICAgIAogICAgby0+bV9wb3MgPSAwOwogICAgby0+bnVtX21fcG9zID0gMDsKfQoKdm9pZCBXU3VtX0ZyZWUgKFdTdW0gKm8pCnsKICAgIGZyZWUoby0+bmV3X3N1bXMpOwogICAgZnJlZShvLT5zdW1zKTsKICAgIGZyZWUoby0+aW5wdXRzKTsKICAgIGZyZWUoby0+d2VpZ2h0cyk7Cn0KCmRvdWJsZSBXU3VtX0FkZE51bWJlciAoV1N1bSAqbywgZG91YmxlIHgpCnsKICAgIGFzc2VydChvLT5tX3BvcyA8IG8tPm0pOwogICAgCiAgICBkb3VibGUgc3VtID0gMDsKICAgIAogICAgLy8gYWRkIGZyb20gc3VtcwogICAgZm9yIChzaXplX3QgaSA9IDA7IGkgPCBvLT5udW1fbTsgaSsrKSB7CiAgICAgICAgc3VtICs9IG8tPnN1bXNbaSAqIG8tPm0gKyBvLT5tX3Bvc107CiAgICB9CiAgICAKICAgIC8vIHB1c2ggdGhpcyBudW1iZXIgdG8gaW5wdXRzCiAgICBvLT5pbnB1dHNbby0+biArIG8tPm1fcG9zXSA9IHg7CiAgICBvLT5tX3BvcysrOwogICAgCiAgICAvLyBhZGQgZnJvbSBwZW5kaW5nIGlucHV0cyAoaW5jbC4gdGhpcyBudW1iZXIpCiAgICBmb3IgKHNpemVfdCBpID0gMDsgaSA8IG8tPm1fcG9zOyBpKyspIHsKICAgICAgICBzdW0gKz0gby0+aW5wdXRzW28tPm4gKyBpXSAqIG8tPndlaWdodHNbby0+bV9wb3MgLSAxIC0gaV07CiAgICB9CiAgICAKICAgIC8vIGRlY2lkZSB1cCB0byB3aGljaCBibG9jayB3ZSB3b3VsZCBsaWtlIHRvIHVwZGF0ZQogICAgc2l6ZV90IGVuZF91cGRhdGVfcG9zID0gby0+bnVtX207CiAgICAKICAgIC8vIGNhbm5vdCBjb21wdXRlIGxhc3QgdHdvIG5ld19zdW1zIGJsb2NrcyB1bmxlc3Mgd2UgaGF2ZSB0aGUgbmV3IGlucHV0cwogICAgaWYgKG8tPm1fcG9zIDwgby0+bSkgewogICAgICAgIHdoaWxlIChlbmRfdXBkYXRlX3BvcyA+IDAgJiYgZW5kX3VwZGF0ZV9wb3MgPj0gby0+bnVtX20gLSAxKSB7CiAgICAgICAgICAgIGVuZF91cGRhdGVfcG9zLS07CiAgICAgICAgfQogICAgfQogICAgCiAgICAvLyBjb21wdXRlIG5ld19zdW1zIGJsb2NrcwogICAgd2hpbGUgKG8tPm51bV9tX3BvcyA8IGVuZF91cGRhdGVfcG9zKSB7CiAgICAgICAgaWYgKG8tPm51bV9tX3BvcyA9PSBvLT5udW1fbSAtIDEpIHsKICAgICAgICAgICAgZm9yIChzaXplX3QgaiA9IDA7IGogPCBvLT5tOyBqKyspIHsKICAgICAgICAgICAgICAgIG8tPmlucHV0c1tvLT5uICsgal0gPSAwOwogICAgICAgICAgICB9CiAgICAgICAgfSBlbHNlIHsKICAgICAgICAgICAgbWVtY3B5KG8tPmlucHV0cyArIChvLT5udW1fbV9wb3MgKyAxKSAqIG8tPm0sIG8tPmlucHV0cyArIChvLT5udW1fbV9wb3MgKyAyKSAqIG8tPm0sIG8tPm0gKiBzaXplb2Yoby0+aW5wdXRzWzBdKSk7CiAgICAgICAgfQogICAgICAgIGNvbXB1dGVfc3VtcyhvLT5tLCBvLT53ZWlnaHRzICsgKG8tPm51bV9tIC0gMSAtIG8tPm51bV9tX3BvcykgKiBvLT5tICsgMSwgby0+aW5wdXRzICsgby0+bnVtX21fcG9zICogby0+bSwgby0+bmV3X3N1bXMgKyBvLT5udW1fbV9wb3MgKiBvLT5tKTsKICAgICAgICBvLT5udW1fbV9wb3MrKzsKICAgIH0KICAgIAogICAgLy8gc3dpdGNoIGF0IGVuZCBvZiBpbnB1dCBibG9jawogICAgaWYgKG8tPm1fcG9zID09IG8tPm0pIHsKICAgICAgICBhc3NlcnQoby0+bnVtX21fcG9zID09IG8tPm51bV9tKTsKICAgICAgICBtZW1jcHkoby0+aW5wdXRzLCBvLT5pbnB1dHMgKyBvLT5tLCBvLT5tICogc2l6ZW9mKG8tPmlucHV0c1swXSkpOwogICAgICAgIGRvdWJsZSAqb2xkX3N1bXMgPSBvLT5zdW1zOwogICAgICAgIG8tPnN1bXMgPSBvLT5uZXdfc3VtczsKICAgICAgICBvLT5uZXdfc3VtcyA9IG9sZF9zdW1zOwogICAgICAgIG8tPm1fcG9zID0gMDsKICAgICAgICBvLT5udW1fbV9wb3MgPSAwOwogICAgfQogICAgCiAgICByZXR1cm4gc3VtOwp9CgojZGVmaW5lIENIRUNLX1NVTVMgMQojZGVmaW5lIE5VTV9JVEVSIDEwMDAKCmludCBtYWluICgpCnsKICAgIGRvdWJsZSB3W10gPSB7NCwgNiwgMSwgLTIsIDYxLCAxLCA2MjMsIDEzNSwgMTUsIDIyNCwgNSwgMywgMTQ2LCA1MiwgODMsIDIzfTsKICAgIHNpemVfdCBuID0gc2l6ZW9mKHcpIC8gc2l6ZW9mKHdbMF0pOwogICAgCiNpZiBDSEVDS19TVU1TCiAgICBkb3VibGUgcHJldltuXTsKICAgIGZvciAoc2l6ZV90IGkgPSAwOyBpIDwgbjsgaSsrKSB7CiAgICAgICAgcHJldltpXSA9IDA7CiAgICB9CiNlbmRpZgogICAgCiAgICBXU3VtIHN0YXRlOwogICAgV1N1bV9Jbml0KCZzdGF0ZSwgbiwgdyk7CiAgICAKICAgIHByaW50ZigibT0lenUgbj0lenUgbnVtX209JXp1XG4iLCBzdGF0ZS5tLCBzdGF0ZS5uLCBzdGF0ZS5udW1fbSk7CiAgICAKICAgIGZvciAoaW50IGsgPSAwOyBrIDwgTlVNX0lURVI7IGsrKykgewogICAgICAgIGRvdWJsZSB4ID0gcmFuZCgpOwogICAgICAgIGRvdWJsZSBzdW0gPSBXU3VtX0FkZE51bWJlcigmc3RhdGUsIHgpOwogICAgICAgIAojaWYgQ0hFQ0tfU1VNUwogICAgICAgIG1lbW1vdmUocHJldiwgcHJldiArIDEsIChuIC0gMSkgKiBzaXplb2YocHJldlswXSkpOwogICAgICAgIHByZXZbbiAtIDFdID0geDsKICAgICAgICAKICAgICAgICBkb3VibGUgY2hlY2tfc3VtID0gMDsKICAgICAgICBmb3IgKHNpemVfdCBpID0gMDsgaSA8IG47IGkrKykgewogICAgICAgICAgICBjaGVja19zdW0gKz0gd1tpXSAqIHByZXZbbiAtIDEgLSBpXTsKICAgICAgICB9CiAgICAgICAgCiAgICAgICAgaW50IGZhaWxlZCA9IChmYWJzKHN1bSAtIGNoZWNrX3N1bSkgPiAwLjAxKTsKICAgICAgICBwcmludGYoIiVmICVmICVmICVzXG4iLCB4LCBzdW0sIGNoZWNrX3N1bSwgKGZhaWxlZCA/ICJGQUlMRUQiIDogIk9LIikpOwogICAgICAgIAogICAgICAgIGlmIChmYWlsZWQpIHsKICAgICAgICAgICAgcmV0dXJuIDE7CiAgICAgICAgfQojZWxzZQogICAgICAgIHByaW50ZigiJWYgJWZcbiIsIHgsIHN1bSk7CiNlbmRpZgogICAgfQogICAgCiAgICBXU3VtX0ZyZWUoJnN0YXRlKTsKICAgIHJldHVybiAwOwp9Cg==

Success #stdin #stdout 0.02s 1972KB

stdin

copy

Standard input is empty

stdout

copy

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

https://ideone.com/opuoMj

language:

C99 (gcc 8.3)

created:

visibility:

public

Share or Embed source code

Discover > Sphere Engine API

The brand new service which powers Ideone!

Discover > IDE Widget

Widget for compiling and running the source code in a web browser!

Discover > Sphere Engine API

Discover > IDE Widget

Choose your language