From 6087f33e3145a0164bb0f0b3f375802d14169d4c Mon Sep 17 00:00:00 2001 From: Sebastian Huber Date: Wed, 18 Oct 2017 08:50:17 +0200 Subject: tmtests/tmfine01: Add test cases Update #2674. Update #3112. Update #3113. Update #3114. Update #3115. --- testsuites/tmtests/tmfine01/init.c | 347 +- testsuites/tmtests/tmfine01/tmfine01.py | 20 +- testsuites/tmtests/tmfine01/tmfine01.scn | 5940 +++++++++++++++++++----------- 3 files changed, 4188 insertions(+), 2119 deletions(-) diff --git a/testsuites/tmtests/tmfine01/init.c b/testsuites/tmtests/tmfine01/init.c index 6841b02e59..31843ce071 100644 --- a/testsuites/tmtests/tmfine01/init.c +++ b/testsuites/tmtests/tmfine01/init.c @@ -1,5 +1,5 @@ /* - * Copyright (c) 2015, 2016 embedded brains GmbH. All rights reserved. + * Copyright (c) 2015, 2017 embedded brains GmbH. All rights reserved. * * embedded brains GmbH * Dornierstr. 4 @@ -19,8 +19,10 @@ #include "tmacros.h" #include -#include #include +#include +#include +#include #include @@ -37,7 +39,7 @@ typedef struct { typedef struct { rtems_test_parallel_context base; rtems_id master; - rtems_id sema[CPU_COUNT]; + rtems_id sema; rtems_id mq[CPU_COUNT]; uint32_t self_event_ops[CPU_COUNT][CPU_COUNT]; uint32_t all_to_one_event_ops[CPU_COUNT][CPU_COUNT]; @@ -46,6 +48,11 @@ typedef struct { uint32_t self_msg_ops[CPU_COUNT][CPU_COUNT]; uint32_t many_to_one_msg_ops[CPU_COUNT][CPU_COUNT]; uint32_t many_sys_lock_mutex_ops[CPU_COUNT][CPU_COUNT]; + uint32_t many_classic_ceiling_ops[CPU_COUNT][CPU_COUNT]; + uint32_t many_classic_mrsp_ops[CPU_COUNT][CPU_COUNT]; + uint32_t many_pthread_spinlock_ops[CPU_COUNT][CPU_COUNT]; + uint32_t many_pthread_mutex_inherit_ops[CPU_COUNT][CPU_COUNT]; + uint32_t many_pthread_mutex_protect_ops[CPU_COUNT][CPU_COUNT]; } test_context; static test_context test_instance; @@ -191,7 +198,7 @@ static void test_one_mutex_body( ) { test_context *ctx = (test_context *) base; - rtems_id id = ctx->sema[0]; + rtems_id id = ctx->sema; uint32_t counter = 0; while (!rtems_test_parallel_stop_job(&ctx->base)) { @@ -232,9 +239,19 @@ static void test_many_mutex_body( ) { test_context *ctx = (test_context *) base; - rtems_id id = ctx->sema[worker_index]; + rtems_status_code sc; + rtems_id id; uint32_t counter = 0; + sc = rtems_semaphore_create( + rtems_build_name('T', 'E', 'S', 'T'), + 1, + RTEMS_BINARY_SEMAPHORE | RTEMS_INHERIT_PRIORITY | RTEMS_PRIORITY, + 0, + &id + ); + rtems_test_assert(sc == RTEMS_SUCCESSFUL); + while (!rtems_test_parallel_stop_job(&ctx->base)) { rtems_status_code sc; @@ -248,6 +265,9 @@ static void test_many_mutex_body( } ctx->many_mutex_ops[active_workers - 1][worker_index] = counter; + + sc = rtems_semaphore_delete(id); + rtems_test_assert(sc == RTEMS_SUCCESSFUL); } static void test_many_mutex_fini( @@ -408,6 +428,271 @@ static void test_many_sys_lock_mutex_fini( ); } +static void test_many_classic_ceiling_body( + rtems_test_parallel_context *base, + void *arg, + size_t active_workers, + size_t worker_index +) +{ + test_context *ctx = (test_context *) base; + rtems_status_code sc; + rtems_id id; + uint32_t counter = 0; + + sc = rtems_semaphore_create( + rtems_build_name('T', 'E', 'S', 'T'), + 1, + RTEMS_BINARY_SEMAPHORE | RTEMS_PRIORITY_CEILING | RTEMS_PRIORITY, + 1, + &id + ); + rtems_test_assert(sc == RTEMS_SUCCESSFUL); + + while (!rtems_test_parallel_stop_job(&ctx->base)) { + rtems_status_code sc; + + ++counter; + + sc = rtems_semaphore_obtain(id, RTEMS_WAIT, RTEMS_NO_TIMEOUT); + rtems_test_assert(sc == RTEMS_SUCCESSFUL); + + sc = rtems_semaphore_release(id); + rtems_test_assert(sc == RTEMS_SUCCESSFUL); + } + + ctx->many_classic_ceiling_ops[active_workers - 1][worker_index] = counter; + + sc = rtems_semaphore_delete(id); + rtems_test_assert(sc == RTEMS_SUCCESSFUL); +} + +static void test_many_classic_ceiling_fini( + rtems_test_parallel_context *base, + void *arg, + size_t active_workers +) +{ + test_context *ctx = (test_context *) base; + + test_fini( + "ManyClassicCeilingMutex", + &ctx->many_classic_ceiling_ops[active_workers - 1][0], + active_workers + ); +} + +static void test_many_classic_mrsp_body( + rtems_test_parallel_context *base, + void *arg, + size_t active_workers, + size_t worker_index +) +{ + test_context *ctx = (test_context *) base; + rtems_status_code sc; + rtems_id id; + uint32_t counter = 0; + + sc = rtems_semaphore_create( + rtems_build_name('T', 'E', 'S', 'T'), + 1, + RTEMS_BINARY_SEMAPHORE | RTEMS_MULTIPROCESSOR_RESOURCE_SHARING, + 1, + &id + ); + rtems_test_assert(sc == RTEMS_SUCCESSFUL); + + while (!rtems_test_parallel_stop_job(&ctx->base)) { + rtems_status_code sc; + + ++counter; + + sc = rtems_semaphore_obtain(id, RTEMS_WAIT, RTEMS_NO_TIMEOUT); + rtems_test_assert(sc == RTEMS_SUCCESSFUL); + + sc = rtems_semaphore_release(id); + rtems_test_assert(sc == RTEMS_SUCCESSFUL); + } + + ctx->many_classic_mrsp_ops[active_workers - 1][worker_index] = counter; + + sc = rtems_semaphore_delete(id); + rtems_test_assert(sc == RTEMS_SUCCESSFUL); +} + +static void test_many_classic_mrsp_fini( + rtems_test_parallel_context *base, + void *arg, + size_t active_workers +) +{ + test_context *ctx = (test_context *) base; + + test_fini( + "ManyClassicMrsPMutex", + &ctx->many_classic_mrsp_ops[active_workers - 1][0], + active_workers + ); +} + +static void test_many_pthread_spinlock_body( + rtems_test_parallel_context *base, + void *arg, + size_t active_workers, + size_t worker_index +) +{ + test_context *ctx = (test_context *) base; + int eno; + pthread_spinlock_t spin; + uint32_t counter = 0; + + eno = pthread_spin_init(&spin, 0); + rtems_test_assert(eno == 0); + + while (!rtems_test_parallel_stop_job(&ctx->base)) { + ++counter; + + pthread_spin_lock(&spin); + pthread_spin_unlock(&spin); + } + + ctx->many_pthread_spinlock_ops[active_workers - 1][worker_index] = counter; + + eno = pthread_spin_destroy(&spin); + rtems_test_assert(eno == 0); +} + +static void test_many_pthread_spinlock_fini( + rtems_test_parallel_context *base, + void *arg, + size_t active_workers +) +{ + test_context *ctx = (test_context *) base; + + test_fini( + "ManyPthreadSpinlock", + &ctx->many_pthread_spinlock_ops[active_workers - 1][0], + active_workers + ); +} + +static void test_many_pthread_mutex_inherit_body( + rtems_test_parallel_context *base, + void *arg, + size_t active_workers, + size_t worker_index +) +{ + test_context *ctx = (test_context *) base; + int eno; + pthread_mutexattr_t attr; + pthread_mutex_t mtx; + uint32_t counter = 0; + + eno = pthread_mutexattr_init(&attr); + rtems_test_assert(eno == 0); + + eno = pthread_mutexattr_setprotocol(&attr, PTHREAD_PRIO_INHERIT); + rtems_test_assert(eno == 0); + + eno = pthread_mutex_init(&mtx, &attr); + rtems_test_assert(eno == 0); + + while (!rtems_test_parallel_stop_job(&ctx->base)) { + ++counter; + + pthread_mutex_lock(&mtx); + pthread_mutex_unlock(&mtx); + } + + ctx->many_pthread_mutex_inherit_ops[active_workers - 1][worker_index] = + counter; + + eno = pthread_mutex_destroy(&mtx); + rtems_test_assert(eno == 0); + + eno = pthread_mutexattr_destroy(&attr); + rtems_test_assert(eno == 0); +} + +static void test_many_pthread_mutex_inherit_fini( + rtems_test_parallel_context *base, + void *arg, + size_t active_workers +) +{ + test_context *ctx = (test_context *) base; + + test_fini( + "ManyPthreadMutexInherit", + &ctx->many_pthread_mutex_inherit_ops[active_workers - 1][0], + active_workers + ); +} + +static void test_many_pthread_mutex_protect_body( + rtems_test_parallel_context *base, + void *arg, + size_t active_workers, + size_t worker_index +) +{ + test_context *ctx = (test_context *) base; + int eno; + pthread_mutexattr_t attr; + pthread_mutex_t mtx; + uint32_t counter = 0; + + eno = pthread_mutexattr_init(&attr); + rtems_test_assert(eno == 0); + + eno = pthread_mutexattr_setprotocol(&attr, PTHREAD_PRIO_PROTECT); + rtems_test_assert(eno == 0); + + eno = pthread_mutexattr_setprioceiling( + &attr, + sched_get_priority_max(SCHED_FIFO) + ); + rtems_test_assert(eno == 0); + + eno = pthread_mutex_init(&mtx, &attr); + rtems_test_assert(eno == 0); + + while (!rtems_test_parallel_stop_job(&ctx->base)) { + ++counter; + + pthread_mutex_lock(&mtx); + pthread_mutex_unlock(&mtx); + } + + ctx->many_pthread_mutex_protect_ops[active_workers - 1][worker_index] = + counter; + + eno = pthread_mutex_destroy(&mtx); + rtems_test_assert(eno == 0); + + eno = pthread_mutexattr_destroy(&attr); + rtems_test_assert(eno == 0); +} + +static void test_many_pthread_mutex_protect_fini( + rtems_test_parallel_context *base, + void *arg, + size_t active_workers +) +{ + test_context *ctx = (test_context *) base; + + test_fini( + "ManyPthreadMutexProtect", + &ctx->many_pthread_mutex_protect_ops[active_workers - 1][0], + active_workers + ); +} + static const rtems_test_parallel_job test_jobs[] = { { .init = test_init, @@ -444,6 +729,31 @@ static const rtems_test_parallel_job test_jobs[] = { .body = test_many_sys_lock_mutex_body, .fini = test_many_sys_lock_mutex_fini, .cascade = true + }, { + .init = test_init, + .body = test_many_classic_ceiling_body, + .fini = test_many_classic_ceiling_fini, + .cascade = true + }, { + .init = test_init, + .body = test_many_classic_mrsp_body, + .fini = test_many_classic_mrsp_fini, + .cascade = true + }, { + .init = test_init, + .body = test_many_pthread_spinlock_body, + .fini = test_many_pthread_spinlock_fini, + .cascade = true + }, { + .init = test_init, + .body = test_many_pthread_mutex_inherit_body, + .fini = test_many_pthread_mutex_inherit_fini, + .cascade = true + }, { + .init = test_init, + .body = test_many_pthread_mutex_protect_body, + .fini = test_many_pthread_mutex_protect_fini, + .cascade = true } }; @@ -451,24 +761,23 @@ static void Init(rtems_task_argument arg) { test_context *ctx = &test_instance; const char *test = "TestTimeFine01"; + rtems_status_code sc; size_t i; TEST_BEGIN(); ctx->master = rtems_task_self(); - for (i = 0; i < CPU_COUNT; ++i) { - rtems_status_code sc; - - sc = rtems_semaphore_create( - rtems_build_name('T', 'E', 'S', 'T'), - 1, - RTEMS_BINARY_SEMAPHORE | RTEMS_INHERIT_PRIORITY | RTEMS_PRIORITY, - 0, - &ctx->sema[i] - ); - rtems_test_assert(sc == RTEMS_SUCCESSFUL); + sc = rtems_semaphore_create( + rtems_build_name('T', 'E', 'S', 'T'), + 1, + RTEMS_BINARY_SEMAPHORE | RTEMS_INHERIT_PRIORITY | RTEMS_PRIORITY, + 0, + &ctx->sema + ); + rtems_test_assert(sc == RTEMS_SUCCESSFUL); + for (i = 0; i < CPU_COUNT; ++i) { sc = rtems_message_queue_create( rtems_build_name('T', 'E', 'S', 'T'), MSG_COUNT, @@ -501,7 +810,9 @@ static void Init(rtems_task_argument arg) #define CONFIGURE_MAXIMUM_TIMERS 1 -#define CONFIGURE_MAXIMUM_SEMAPHORES CPU_COUNT +#define CONFIGURE_MAXIMUM_SEMAPHORES (1 + CPU_COUNT) + +#define CONFIGURE_MAXIMUM_MRSP_SEMAPHORES CPU_COUNT #define CONFIGURE_MAXIMUM_MESSAGE_QUEUES CPU_COUNT @@ -512,6 +823,8 @@ static void Init(rtems_task_argument arg) #define CONFIGURE_RTEMS_INIT_TASKS_TABLE +#define CONFIGURE_INIT_TASK_PRIORITY 2 + #define CONFIGURE_MAXIMUM_PROCESSORS CPU_COUNT #define CONFIGURE_INIT diff --git a/testsuites/tmtests/tmfine01/tmfine01.py b/testsuites/tmtests/tmfine01/tmfine01.py index 257e258ba9..3cbcbbd4d4 100644 --- a/testsuites/tmtests/tmfine01/tmfine01.py +++ b/testsuites/tmtests/tmfine01/tmfine01.py @@ -17,6 +17,7 @@ data = re.sub(r'\*\*\*.*\*\*\*', '', data) doc = libxml2.parseDoc(data) ctx = doc.xpathNewContext() +plt.yscale('log') plt.title('Uncontested Mutex Performance') plt.xlabel('Active Workers') plt.ylabel('Operation Count') @@ -37,10 +38,25 @@ def getCounterSums(variant): y = getCounterSums('ManySysLockMutex') x = range(1, len(y) + 1) -plt.plot(x, y, label = 'Self-Contained Mutex', marker = 'o') +plt.plot(x, y, label = 'Sys Lock Mutex', marker = 'o') y = getCounterSums('ManyMutex') -plt.plot(x, y, label = 'Classic Mutex', marker = 'o') +plt.plot(x, y, label = 'Classic Inheritance Mutex', marker = 'o') + +y = getCounterSums('ManyClassicCeilingMutex') +plt.plot(x, y, label = 'Classic Ceiling Mutex', marker = 'o') + +y = getCounterSums('ManyClassicMrsPMutex') +plt.plot(x, y, label = 'Classic MrsP Mutex', marker = 'o') + +y = getCounterSums('ManyPthreadSpinlock') +plt.plot(x, y, label = 'Pthread Spinlock', marker = 'o') + +y = getCounterSums('ManyPthreadMutexInherit') +plt.plot(x, y, label = 'Pthread Mutex Inherit', marker = 'o') + +y = getCounterSums('ManyPthreadMutexProtect') +plt.plot(x, y, label = 'Pthread Mutex Protect', marker = 'o') plt.legend(loc = 'best') plt.show() diff --git a/testsuites/tmtests/tmfine01/tmfine01.scn b/testsuites/tmtests/tmfine01/tmfine01.scn index a4828be211..e3dfd7757f 100644 --- a/testsuites/tmtests/tmfine01/tmfine01.scn +++ b/testsuites/tmtests/tmfine01/tmfine01.scn @@ -1,2440 +1,4180 @@ *** BEGIN OF TEST TMFINE 1 *** - 4703459 + 4676131 - 4677283 - 4677589 + 4641176 + 4641467 - 4552264 - 4552554 - 4552541 + 4588420 + 4588713 + 4588730 - 4577454 - 4577757 - 4577782 - 4577810 + 4552423 + 4552717 + 4552773 + 4552785 - 4519149 - 4519461 - 4519529 - 4519493 - 4519420 + 4503050 + 4503310 + 4503408 + 4503447 + 4503380 - 4492246 - 4492510 - 4492583 - 4492579 - 4492585 - 4492606 + 4506318 + 4506592 + 4506673 + 4506688 + 4506663 + 4506666 - 4491252 - 4491562 - 4491612 - 4491610 - 4491889 - 4491895 - 4492110 + 4479255 + 4479516 + 4479651 + 4479614 + 4479578 + 4479616 + 4479670 - 4440077 - 4440415 - 4440472 - 4440462 - 4440592 - 4440664 - 4440456 - 4440498 + 4430941 + 4431230 + 4431182 + 4431299 + 4430884 + 4430883 + 4431032 + 4431022 - 4447177 - 4447473 - 4447538 - 4447538 - 4447954 - 4447963 - 4447514 - 4447532 - 4697194 + 4448824 + 4449100 + 4448994 + 4449146 + 4448725 + 4448726 + 4448812 + 4448856 + 4683748 - 4448469 - 4448784 - 4448864 - 4448913 - 4449039 - 4449046 - 4448826 - 4448858 - 4673615 - 4673662 + 4434217 + 4434522 + 4434464 + 4434566 + 4434201 + 4434183 + 4434380 + 4434377 + 4645492 + 4645490 - 4421800 - 4422122 - 4422337 - 4422319 - 4422508 - 4422500 - 4422324 - 4422312 - 4546683 - 4546717 - 4546639 + 4462864 + 4463155 + 4463110 + 4463229 + 4462874 + 4462844 + 4462957 + 4462977 + 4590235 + 4590243 + 4590208 - 4449836 - 4450127 - 4450216 - 4450213 - 4450356 - 4450377 - 4450173 - 4450212 - 4579825 - 4579876 - 4579815 - 4579835 + 4448372 + 4448670 + 4448618 + 4448756 + 4448391 + 4448389 + 4448491 + 4448501 + 4552401 + 4552390 + 4552353 + 4552386 - 4432284 - 4432601 - 4432661 - 4432669 - 4432816 - 4432843 - 4432671 - 4432680 - 4515915 - 4515919 - 4515933 - 4515937 - 4515853 + 4427993 + 4428270 + 4428290 + 4428406 + 4428081 + 4428077 + 4428183 + 4428187 + 4507321 + 4507322 + 4507311 + 4507332 + 4507311 - 4429017 - 4429345 - 4429394 - 4429430 - 4429616 - 4429646 - 4429397 - 4429392 - 4494112 - 4494113 - 4494096 - 4494118 - 4494084 - 4494136 + 4456343 + 4456632 + 4456672 + 4456758 + 4456495 + 4456482 + 4456584 + 4456575 + 4507973 + 4507951 + 4507951 + 4507937 + 4507952 + 4507971 - 4438937 - 4439208 - 4439312 - 4439274 - 4439531 - 4439524 - 4439326 - 4439310 - 4488962 - 4488974 - 4488899 - 4488920 - 4488899 - 4488870 - 4489056 + 4441428 + 4441718 + 4441692 + 4441802 + 4441407 + 4441408 + 4441556 + 4441569 + 4478368 + 4478360 + 4478594 + 4478573 + 4478347 + 4478367 + 4478443 - 4416360 - 4416660 - 4416701 - 4416731 - 4416874 - 4416828 - 4416710 - 4416697 - 4417614 - 4417624 - 4417595 - 4417602 - 4417415 - 4417416 - 4417661 - 4417638 + 4470668 + 4470970 + 4470950 + 4471049 + 4470638 + 4470599 + 4470866 + 4470888 + 4462941 + 4462934 + 4462925 + 4463059 + 4462612 + 4462636 + 4462669 + 4462676 - 4459539 - 4459848 - 4459904 - 4459875 - 4460031 - 4460070 - 4459903 - 4459921 - 4455865 - 4455877 - 4455839 - 4455849 - 4455765 - 4455743 - 4455746 - 4455764 - 4705741 + 4451094 + 4451396 + 4451343 + 4451471 + 4451083 + 4451099 + 4451193 + 4451191 + 4450420 + 4450424 + 4450398 + 4450533 + 4450111 + 4450105 + 4450218 + 4450237 + 4682169 - 4453503 - 4453846 - 4453909 - 4453947 - 4454383 - 4454401 - 4453949 - 4453951 - 4450320 - 4450354 - 4450314 - 4450313 - 4450199 - 4450197 - 4450176 - 4450180 - 4685589 - 4685622 + 4435091 + 4435372 + 4435353 + 4435493 + 4435073 + 4435101 + 4435297 + 4435279 + 4435219 + 4435244 + 4435166 + 4435291 + 4434894 + 4434866 + 4435038 + 4435019 + 4644910 + 4644922 - 4431881 - 4432192 - 4432248 - 4432256 - 4432445 - 4432415 - 4432259 - 4432274 - 4423954 - 4423968 - 4423869 - 4423859 - 4423744 - 4423765 - 4423864 - 4423870 - 4568329 - 4568322 - 4568272 + 4467049 + 4467345 + 4467193 + 4467343 + 4466881 + 4466868 + 4466971 + 4466993 + 4457734 + 4457707 + 4457717 + 4457828 + 4457399 + 4457360 + 4457515 + 4457488 + 4585770 + 4585760 + 4585688 - 4459996 - 4460307 - 4460250 - 4460274 - 4460837 - 4460859 - 4460376 - 4460406 - 4445578 - 4445572 - 4445578 - 4445571 - 4445462 - 4445487 - 4445485 - 4445481 - 4586642 - 4586642 - 4586658 - 4586664 + 4446007 + 4446279 + 4446256 + 4446376 + 4445955 + 4445940 + 4446119 + 4446087 + 4445074 + 4445042 + 4444971 + 4445114 + 4444692 + 4444706 + 4444765 + 4444747 + 4548340 + 4548325 + 4548353 + 4548347 - 4448770 - 4449082 - 4449127 - 4449165 - 4449327 - 4449328 - 4449138 - 4449129 - 4441998 - 4441990 - 4441962 - 4441973 - 4441901 - 4441877 - 4441862 - 4441864 - 4532684 - 4532695 - 4532681 - 4532699 - 4532613 + 4427980 + 4428254 + 4428184 + 4428372 + 4427834 + 4427816 + 4427990 + 4428014 + 4427634 + 4427642 + 4427639 + 4427737 + 4427339 + 4427323 + 4427446 + 4427427 + 4504730 + 4504744 + 4504739 + 4504744 + 4504678 - 4449714 - 4450032 - 4450061 - 4450077 - 4450205 - 4450244 - 4450064 - 4450100 - 4447327 - 4447316 - 4447260 - 4447267 - 4447000 - 4446985 - 4447150 - 4447152 - 4520772 - 4520752 - 4520757 - 4520785 - 4520780 - 4520784 + 4452075 + 4452381 + 4452154 + 4452302 + 4451944 + 4451919 + 4451965 + 4452004 + 4451917 + 4451934 + 4451935 + 4452019 + 4451627 + 4451630 + 4451689 + 4451672 + 4506836 + 4506837 + 4506830 + 4506828 + 4506811 + 4506822 - 4451608 - 4451937 - 4451959 - 4451996 - 4452193 - 4452189 - 4451996 - 4451941 - 4440493 - 4440497 - 4440527 - 4440506 - 4440394 - 4440405 - 4440392 - 4440416 - 4499565 - 4499564 - 4499529 - 4499567 - 4500018 - 4499986 - 4500394 + 4435063 + 4435355 + 4435353 + 4435496 + 4435090 + 4435092 + 4435188 + 4435200 + 4432230 + 4432253 + 4432620 + 4432748 + 4431935 + 4431916 + 4432042 + 4432055 + 4476758 + 4476739 + 4476783 + 4476776 + 4476730 + 4476742 + 4476861 - 4415356 - 4415654 - 4415725 - 4415717 - 4415853 - 4415857 - 4415710 - 4415698 - 4418046 - 4418078 - 4418047 - 4418011 - 4417949 - 4417943 - 4417960 - 4417959 - 4420941 - 4420938 - 4421034 - 4421007 - 4421145 - 4421126 - 4420982 - 4420936 + 4462678 + 4462968 + 4462933 + 4463030 + 4462726 + 4462724 + 4462873 + 4462866 + 4464841 + 4464847 + 4464793 + 4464948 + 4464503 + 4464493 + 4464580 + 4464597 + 4475030 + 4475042 + 4474978 + 4475018 + 4474858 + 4474851 + 4475125 + 4475172 - 4531414 + 4512749 - 4505168 - 9010869 + 4478766 + 8957974 - 4520789 - 9080530 - 9080821 + 4507485 + 9015419 + 9015694 - 4490651 - 8981894 - 8982172 - 8982105 + 4404320 + 8809091 + 8809371 + 8809388 - 4410918 - 8936514 - 8892208 - 8892119 - 8988889 + 4380598 + 8788711 + 8768400 + 8768539 + 8947075 - 4399229 - 8801645 - 8803189 - 8803214 - 8803082 - 8803127 + 4384177 + 8775468 + 8770900 + 8771021 + 8778460 + 8778497 - 4380735 - 8832797 - 8803790 - 8803754 - 8803757 - 8803763 - 8899855 + 4375929 + 8753666 + 8752767 + 8752874 + 8753367 + 8753374 + 8840563 - 4337023 - 8703549 - 8696690 - 8696678 - 8696852 - 8696898 - 8699238 - 8699275 + 4347550 + 8697434 + 8696453 + 8696601 + 8697025 + 8696969 + 8696444 + 8696417 - 4363179 - 8744894 - 8740160 - 8740209 - 8735687 - 8735627 - 8740402 - 8740362 - 9356669 + 4328236 + 8682051 + 8671656 + 8671719 + 8674666 + 8674727 + 8670649 + 8667287 + 9254597 - 4354504 - 8716960 - 8715703 - 8715803 - 8714991 - 8714916 - 8715937 - 8715939 - 9305650 - 9305639 + 4311205 + 8653563 + 8640229 + 8640342 + 8643904 + 8643865 + 8639106 + 8634769 + 9212001 + 9212064 - 4364406 - 8746283 - 8743391 - 8743420 - 8740566 - 8740563 - 8743505 - 8743509 - 9155252 - 9155276 - 9155270 + 4338650 + 8703013 + 8692866 + 8692981 + 8695787 + 8695808 + 8691894 + 8687943 + 9103496 + 9103489 + 9103538 - 4367802 - 8741324 - 8738616 - 8738588 - 8738202 - 8738152 - 8739531 - 8739544 - 9058417 - 9058401 - 9058520 - 9058529 + 4326588 + 8680078 + 8669077 + 8669207 + 8672685 + 8672667 + 8667903 + 8664528 + 8907170 + 8907137 + 8907177 + 8907256 - 4336823 - 8693692 - 8689718 - 8689797 - 8685990 - 8685955 - 8689943 - 8689921 - 8966423 - 8966430 - 8964754 - 8964737 - 8972832 + 4309927 + 8643768 + 8634342 + 8634451 + 8636838 + 8636892 + 8633550 + 8629506 + 8899997 + 8900014 + 8900104 + 8900144 + 8900125 - 4334309 - 8687976 - 8683717 - 8683652 - 8679634 - 8679634 - 8683861 - 8683876 - 8851458 - 8851526 - 8851505 - 8851534 - 8851482 - 8851476 + 4335662 + 8700274 + 8688657 + 8688789 + 8692110 + 8692102 + 8687544 + 8683259 + 8808142 + 8808143 + 8808118 + 8808151 + 8808088 + 8808120 - 4357047 - 8731741 - 8722784 - 8722783 - 8720703 - 8720702 - 8725012 - 8724950 - 8828356 - 8828395 - 8828401 - 8828365 - 8828107 - 8828157 - 8830782 + 4314045 + 8661973 + 8648592 + 8648764 + 8652271 + 8652318 + 8647390 + 8641916 + 8797415 + 8797422 + 8797305 + 8797328 + 8797322 + 8797357 + 8802341 - 4350827 - 8710252 - 8709143 - 8709053 - 8708299 - 8708283 - 8709191 - 8709241 - 8633711 - 8633683 - 8633784 - 8633803 - 8633688 - 8633649 - 8633750 - 8633815 + 4346816 + 8715982 + 8706981 + 8707143 + 8708920 + 8708960 + 8706447 + 8703043 + 8712344 + 8712289 + 8712131 + 8712215 + 8712289 + 8712244 + 8712147 + 8712227 - 4349455 - 8711764 - 8709483 - 8709614 - 8707522 - 8707521 - 8709709 - 8709716 - 8679276 - 8679318 - 8679363 - 8679405 - 8679184 - 8679134 - 8679313 - 8679381 - 9334237 + 4325645 + 8685016 + 8671607 + 8671728 + 8675196 + 8675203 + 8670269 + 8665153 + 8673438 + 8673444 + 8673183 + 8673276 + 8673321 + 8673304 + 8673230 + 8673240 + 9251521 - 4352103 - 8716741 - 8714191 - 8714163 - 8711846 - 8711828 - 8714307 - 8714301 - 8657980 - 8658028 - 8658111 - 8658058 - 8657878 - 8657944 - 8658008 - 8658060 - 9318337 - 9318309 + 4309289 + 8647898 + 8636314 + 8636411 + 8639557 + 8639645 + 8635149 + 8630636 + 8641335 + 8641320 + 8641131 + 8641178 + 8641173 + 8641229 + 8641116 + 8641130 + 9208457 + 9208447 - 4334283 - 8683907 - 8680462 - 8680458 - 8677414 - 8677383 - 8680330 - 8680374 - 8644956 - 8644983 - 8645056 - 8645111 - 8644920 - 8644859 - 8645039 - 8645050 - 9088059 - 9088196 - 9088207 + 4339177 + 8712486 + 8698865 + 8699011 + 8702321 + 8702299 + 8697706 + 8692411 + 8691700 + 8691718 + 8691530 + 8691574 + 8691598 + 8691595 + 8691515 + 8691555 + 9098995 + 9098975 + 9098976 - 4362046 - 8747743 - 8736705 - 8736724 - 8733552 - 8733531 - 8738947 - 8738960 - 8686901 - 8686943 - 8687031 - 8687072 - 8686899 - 8686861 - 8686987 - 8687062 - 9062581 - 9062592 - 9062629 - 9062641 + 4323231 + 8670659 + 8660830 + 8660891 + 8663710 + 8663717 + 8659875 + 8656639 + 8654156 + 8654183 + 8654050 + 8654092 + 8654106 + 8654141 + 8654084 + 8654064 + 8891464 + 8891387 + 8891423 + 8891522 - 4361278 - 8730128 - 8728658 - 8728683 - 8727585 - 8727645 - 8728858 - 8728888 - 8669419 - 8669425 - 8669458 - 8669487 - 8669305 - 8669231 - 8669405 - 8669472 - 9012825 - 9012891 - 9012941 - 9012946 - 9012736 + 4306028 + 8633314 + 8624564 + 8624678 + 8627581 + 8627623 + 8623580 + 8621273 + 8630481 + 8630453 + 8630282 + 8630331 + 8630383 + 8630377 + 8630254 + 8630302 + 8882786 + 8882786 + 8882842 + 8882888 + 8901459 - 4365927 - 8757589 - 8743870 - 8743788 - 8741479 - 8741475 - 8747861 - 8747859 - 8675134 - 8675154 - 8675163 - 8675267 - 8675017 - 8675026 - 8675083 - 8675151 - 8932642 - 8932644 - 8930582 - 8930559 - 8932696 - 8932648 + 4332214 + 8694309 + 8682276 + 8682411 + 8685904 + 8685918 + 8681134 + 8676778 + 8690139 + 8690092 + 8689940 + 8689995 + 8690031 + 8690036 + 8689958 + 8689930 + 8792896 + 8792916 + 8792896 + 8792966 + 8792943 + 8792939 - 4375376 - 8761662 - 8759665 - 8759677 - 8758094 - 8758120 - 8759822 - 8759857 - 8694153 - 8694149 - 8694225 - 8694262 - 8694023 - 8694034 - 8694207 - 8694194 - 8906323 - 8906281 - 8906423 - 8906400 - 8906340 - 8906312 - 8911919 + 4316784 + 8662468 + 8650651 + 8650782 + 8654092 + 8654022 + 8649506 + 8645904 + 8639667 + 8639654 + 8639505 + 8639593 + 8639683 + 8639686 + 8639487 + 8639547 + 8786893 + 8786917 + 8786678 + 8786756 + 8786878 + 8786879 + 8794112 - 4331093 - 8675775 - 8673280 - 8673319 - 8670988 - 8670951 - 8673511 - 8673408 - 8648189 - 8648164 - 8648289 - 8648281 - 8648090 - 8648083 - 8648223 - 8648240 - 8690981 - 8690979 - 8691092 - 8691110 - 8691011 - 8691016 - 8691156 - 8691116 + 4340462 + 8708543 + 8696739 + 8696800 + 8699717 + 8699709 + 8695657 + 8691968 + 8714142 + 8714066 + 8714016 + 8714062 + 8714040 + 8714116 + 8714041 + 8714021 + 8722288 + 8722251 + 8722033 + 8722156 + 8722336 + 8722308 + 8722297 + 8722331 - 4932385 + 4931822 - 290328 - 290328 + 245503 + 245503 - 72380 - 72379 - 72379 + 68887 + 68887 + 68886 - 90636 - 90636 - 90636 - 90636 + 65075 + 65075 + 65075 + 65075 - 41652 - 41652 - 41651 - 41651 - 41651 + 39944 + 39944 + 39944 + 39945 + 39944 - 55442 - 55442 - 55442 - 55442 - 55442 - 55443 + 49925 + 49925 + 49924 + 49925 + 49924 + 49925 - 29633 - 29633 - 29633 - 29633 - 29632 - 29632 - 29632 + 27616 + 27615 + 27616 + 27616 + 27616 + 27615 + 27615 - 42108 - 42108 - 42108 - 42107 - 42108 - 42107 - 42107 - 42108 + 22376 + 22377 + 22377 + 22376 + 22377 + 22376 + 22377 + 22377 - 38122 - 38122 - 38122 - 38122 - 38122 - 38122 - 38122 - 38122 - 38121 + 19838 + 19838 + 19838 + 19838 + 19838 + 19838 + 19838 + 19838 + 19838 - 18843 - 18842 - 18843 - 18843 - 18843 - 18843 - 18843 - 18843 - 18843 - 18843 + 12036 + 12036 + 12036 + 12036 + 12037 + 12037 + 12036 + 12037 + 12036 + 12036 - 9757 - 9757 - 9757 - 9757 - 9757 - 9757 - 9757 - 9757 - 9757 - 9757 - 9757 + 14679 + 14679 + 14679 + 14679 + 14679 + 14679 + 14679 + 14679 + 14679 + 14678 + 14679 - 27594 - 27595 - 27594 - 27595 - 27595 - 27594 - 27595 - 27595 - 27595 - 27595 - 27595 - 27595 + 9715 + 9715 + 9715 + 9714 + 9714 + 9714 + 9714 + 9715 + 9714 + 9714 + 9715 + 9714 - 7584 - 7584 - 7584 - 7585 - 7584 - 7585 - 7584 - 7584 - 7585 - 7585 - 7585 - 7585 - 7584 + 8614 + 8614 + 8614 + 8614 + 8613 + 8613 + 8615 + 8613 + 8613 + 8613 + 8613 + 8613 + 8614 - 6976 - 6976 - 6976 - 6976 - 6976 - 6976 - 6976 - 6976 - 6976 - 6976 - 6976 - 6976 - 6976 - 6976 + 8930 + 8929 + 8929 + 8930 + 8930 + 8930 + 8929 + 8929 + 8929 + 8930 + 8929 + 8929 + 8930 + 8929 - 14782 - 14781 - 14782 - 14781 - 14782 - 14781 - 14781 - 14782 - 14782 - 14781 - 14781 - 14782 - 14782 - 14781 - 14782 + 6001 + 6002 + 6002 + 6002 + 6003 + 6001 + 6002 + 6002 + 6002 + 6002 + 6002 + 6002 + 6001 + 6002 + 6002 - 6699 - 6699 - 6699 - 6699 - 6699 - 6698 - 6698 - 6698 - 6698 - 6699 - 6699 - 6698 - 6698 - 6699 - 6698 - 6698 + 7934 + 7934 + 7936 + 7935 + 7935 + 7934 + 7935 + 7935 + 7934 + 7934 + 7934 + 7934 + 7935 + 7935 + 7935 + 7934 - 4482 - 4482 - 4483 - 4483 - 4482 - 4483 - 4482 - 4482 - 4483 - 4482 - 4483 - 4482 - 4483 - 4482 - 4482 - 4483 - 4483 + 4099 + 4099 + 4098 + 4098 + 4098 + 4098 + 4098 + 4098 + 4098 + 4098 + 4098 + 4098 + 4098 + 4098 + 4098 + 4099 + 4098 - 4220 - 4221 - 4220 - 4220 - 4220 - 4220 - 4221 - 4221 - 4221 - 4221 - 4220 - 4220 - 4220 - 4220 - 4220 - 4221 - 4221 - 4220 + 6990 + 6989 + 6989 + 6989 + 6989 + 6990 + 6989 + 6989 + 6989 + 6990 + 6989 + 6989 + 6989 + 6990 + 6990 + 6990 + 6990 + 6989 - 3550 - 3550 - 3550 - 3550 - 3550 - 3550 - 3550 - 3550 - 3550 - 3551 - 3550 - 3550 - 3550 - 3550 - 3550 - 3550 - 3550 - 3551 - 3550 + 3939 + 3938 + 3938 + 3938 + 3939 + 3938 + 3939 + 3938 + 3939 + 3938 + 3939 + 3938 + 3939 + 3939 + 3939 + 3938 + 3938 + 3938 + 3939 - 3376 - 3376 - 3376 - 3377 - 3377 - 3377 - 3377 - 3376 - 3377 - 3377 - 3376 - 3377 - 3376 - 3377 - 3376 - 3377 - 3377 - 3376 - 3377 - 3377 + 3096 + 3096 + 3097 + 3097 + 3097 + 3096 + 3096 + 3097 + 3097 + 3097 + 3097 + 3097 + 3097 + 3098 + 3097 + 3097 + 3097 + 3097 + 3097 + 3097 - 5625 - 5625 - 5625 - 5625 - 5625 - 5625 - 5624 - 5625 - 5624 - 5625 - 5624 - 5625 - 5624 - 5624 - 5625 - 5625 - 5625 - 5624 - 5625 - 5625 - 5625 + 2721 + 2722 + 2721 + 2721 + 2722 + 2721 + 2721 + 2721 + 2721 + 2721 + 2722 + 2721 + 2722 + 2722 + 2721 + 2721 + 2721 + 2721 + 2722 + 2722 + 2721 - 2770 - 2771 - 2770 - 2771 - 2771 - 2771 - 2771 - 2771 - 2771 - 2771 - 2771 - 2771 - 2770 - 2770 - 2771 - 2770 - 2771 - 2770 - 2770 - 2771 - 2770 - 2770 + 5060 + 5060 + 5060 + 5060 + 5060 + 5060 + 5060 + 5060 + 5060 + 5060 + 5060 + 5060 + 5060 + 5060 + 5060 + 5060 + 5060 + 5060 + 5060 + 5060 + 5060 + 5060 - 2522 - 2522 - 2521 - 2522 - 2522 - 2522 - 2521 - 2522 - 2522 - 2522 - 2522 - 2521 - 2521 - 2521 - 2521 - 2522 - 2522 - 2522 - 2522 - 2522 - 2522 - 2522 - 2521 + 4582 + 4582 + 4582 + 4582 + 4581 + 4581 + 4582 + 4581 + 4582 + 4582 + 4581 + 4581 + 4582 + 4581 + 4581 + 4582 + 4582 + 4582 + 4582 + 4582 + 4582 + 4582 + 4581 - 2500 - 2500 - 2500 - 2500 - 2500 - 2500 - 2500 - 2501 - 2500 - 2500 - 2500 - 2500 - 2500 - 2500 - 2501 - 2500 - 2500 - 2500 - 2500 - 2500 - 2500 - 2501 - 2501 - 2501 + 2433 + 2433 + 2432 + 2433 + 2432 + 2432 + 2433 + 2433 + 2433 + 2432 + 2433 + 2433 + 2433 + 2433 + 2433 + 2432 + 2433 + 2432 + 2433 + 2432 + 2433 + 2433 + 2434 + 2432 - 4919158 + 5001647 - 4907183 - 4907532 + 4932033 + 4932309 - 4844806 - 4845131 - 4845153 + 4355923 + 4925539 + 4356158 - 4748507 - 4748843 - 4255982 - 4669253 + 4276198 + 4793125 + 4792773 + 4276295 - 4725217 - 4725535 - 4200349 - 4200427 - 4725499 + 4735869 + 4177346 + 4736094 + 4235871 + 4731095 - 4670102 - 4670425 - 4150919 - 4151005 - 4624153 - 4624178 + 4716270 + 4258387 + 4268838 + 4698974 + 4172075 + 4719026 - 4661215 - 4661544 - 4137648 - 4137758 - 4633418 - 4633428 - 4669866 + 4205327 + 4202415 + 4728528 + 4741751 + 4661144 + 4728823 + 4741645 - 4614703 - 4615075 - 4109445 - 4109522 - 4574394 - 4574424 - 4128595 - 4536234 + 4700906 + 4085992 + 4700875 + 4672269 + 4641742 + 4113941 + 4634133 + 4069049 - 4605745 - 4606102 - 4104587 - 4104683 - 4570779 - 4570792 - 4138185 - 2801929 - 3641886 + 4706705 + 2830546 + 3640848 + 4638947 + 4106355 + 4634726 + 4199317 + 4215455 + 4706736 - 4629648 - 4629987 - 4127009 - 4127080 - 4594154 - 4594142 - 4160205 - 2815052 - 3521253 - 4639986 + 4591261 + 4967739 + 4618369 + 4063482 + 4967727 + 4162082 + 4048161 + 4649148 + 4649140 + 4631859 - 4645313 - 4645671 - 4140829 - 4140901 - 4609546 - 4609541 - 4174579 - 2822568 - 3430657 - 4604890 - 4799554 + 4370677 + 3026309 + 2913790 + 4677581 + 4692968 + 4780273 + 4693509 + 4495802 + 4704240 + 4703550 + 4677478 - 4632185 - 4632539 - 4128956 - 4129043 - 4596071 - 4596069 - 4163756 - 2809652 - 3342192 - 4570552 - 4237492 - 4606616 + 4107344 + 4649662 + 4676522 + 3156738 + 4671133 + 4154985 + 4785186 + 4670956 + 4126203 + 4785157 + 2842002 + 4704576 - 4610981 - 4611339 - 4110072 - 4110112 - 4575882 - 4575861 - 4144706 - 2796654 - 3278080 - 4532225 - 4171300 - 4171323 - 4717506 + 4658248 + 3050246 + 4822861 + 2829258 + 4804042 + 4658270 + 4651897 + 4803978 + 4618739 + 4080735 + 4641078 + 4104333 + 4085914 - 4607214 - 4607575 - 4106859 - 4106945 - 4572116 - 4572076 - 4141543 - 2793423 - 3237920 - 4510235 - 4134301 - 4134339 - 4609001 - 4608905 + 2833004 + 4774206 + 4681710 + 4191970 + 2835639 + 2832535 + 4208974 + 4500175 + 4634735 + 4534048 + 4774225 + 4367224 + 2119256 + 3685038 - 4641786 - 4642124 - 4137600 - 4137708 - 4606657 - 4606641 - 4173043 - 2811031 - 3209208 - 4523296 - 4121574 - 4121561 - 4635674 - 4634806 - 4647002 + 4679948 + 4679956 + 4689624 + 4095475 + 4633249 + 4694233 + 4691234 + 4633249 + 4689597 + 4689904 + 4636792 + 2890683 + 4334695 + 2890353 + 4691398 - 4622475 - 4622823 - 4120571 - 4120631 - 4586912 - 4586887 - 4155673 - 2799230 - 3157293 - 4489335 - 4074518 - 4074528 - 4583584 - 4582966 - 4077888 - 4547384 + 4721449 + 4641755 + 3147235 + 4677026 + 2858837 + 4699482 + 4721331 + 3994802 + 4699317 + 4696404 + 4589085 + 4108168 + 4720500 + 4676953 + 4643243 + 4720497 - 4634441 - 4634829 - 4134133 - 4134179 - 4601996 - 4602009 - 4166723 - 2793707 - 3172596 - 4498715 - 4101127 - 4101194 - 4620299 - 4619828 - 4114019 - 2818060 - 3523360 + 4645420 + 4680196 + 4686848 + 4647270 + 4681748 + 4634369 + 4682734 + 2856905 + 3516034 + 4636223 + 4684119 + 4684619 + 4633361 + 4633572 + 4644454 + 4642238 + 4680224 - 4624472 - 4624862 - 4125274 - 4125324 - 4592047 - 4592063 - 4157725 - 2787677 - 3164817 - 4489099 - 4092201 - 4092250 - 4608817 - 4608335 - 4105485 - 2811412 - 3356982 - 4702892 + 3968745 + 4692720 + 4691924 + 4927117 + 4684103 + 4686784 + 4552054 + 4687372 + 2814828 + 4678196 + 3019413 + 4702658 + 2799802 + 3006627 + 4683463 + 4677772 + 4645772 + 4927146 - 4606443 - 4606829 - 4108985 - 4109050 - 4574429 - 4574426 - 4141530 - 2776801 - 3151997 - 4471949 - 4076283 - 4076305 - 4591782 - 4591298 - 4090097 - 2799709 - 3175290 - 4656622 - 4723205 + 4601592 + 4714461 + 4883685 + 3028508 + 4654222 + 2933007 + 4724241 + 4718472 + 4570831 + 4718483 + 4724097 + 4713870 + 4703195 + 4165705 + 4711178 + 4883702 + 4711294 + 4703238 + 4654312 - 4626792 - 4627141 - 4127187 - 4127263 - 4594691 - 4594699 - 4159719 - 2789025 - 3165992 - 4491797 - 4094813 - 4094864 - 4611116 - 4610652 - 4109476 - 2808713 - 3007162 - 4689345 - 4209399 - 4680833 + 4651301 + 3690905 + 3105263 + 4697287 + 4638522 + 4650722 + 2962962 + 4112623 + 4638656 + 2033536 + 4675666 + 4467698 + 4389797 + 4468602 + 2818900 + 4536994 + 3093343 + 2819049 + 3060340 + 2902497 - 4618378 - 4618747 - 4119301 - 4119391 - 4586654 - 4586677 - 4152196 - 2784016 - 3159704 - 4483670 - 4086683 - 4086706 - 4603164 - 4602692 - 4102267 - 2802422 - 2976253 - 4648984 - 4149682 - 4149745 - 4732577 + 2812125 + 2976769 + 4554538 + 4606816 + 4479562 + 2992810 + 4661692 + 4709972 + 4597719 + 4608597 + 4609552 + 4709758 + 4661224 + 4519832 + 4746960 + 4609189 + 4752379 + 4596670 + 4810470 + 2858016 + 4752412 - 4601868 - 4602240 - 4104813 - 4104885 - 4569041 - 4569032 - 4137594 - 2774226 - 3147407 - 4468097 - 4071982 - 4072030 - 4587100 - 4586605 - 4087955 - 2791902 - 2951457 - 4589816 - 4101628 - 4101669 - 4644478 - 4644525 + 4702947 + 4443206 + 4727685 + 4540248 + 4658159 + 4126514 + 4791039 + 2894757 + 1955087 + 4702969 + 2817541 + 4420635 + 2921923 + 2650900 + 2862766 + 3687545 + 2874883 + 2940336 + 2776021 + 3127586 + 4090728 + 2337871 - 4623874 - 4624218 - 4124738 - 4124801 - 4591406 - 4591383 - 4157267 - 2787404 - 3162073 - 4489583 - 4092170 - 4092201 - 4609261 - 4608757 - 4108993 - 2801628 - 2945643 - 4574518 - 4074547 - 4074546 - 4651300 - 4651288 - 4655773 + 4529255 + 4718656 + 1922439 + 4693004 + 4684958 + 2886050 + 3066101 + 3610129 + 2810938 + 4633095 + 2900751 + 4632884 + 4692840 + 4420163 + 1996345 + 3643801 + 2826674 + 2883468 + 4558270 + 4416614 + 2860484 + 2892545 + 4488266 - 4637964 - 4638330 - 4137099 - 4137162 - 4606077 - 4606084 - 4169800 - 2795941 - 3171007 - 4503065 - 4104887 - 4104914 - 4623674 - 4623205 - 4122294 - 2808320 - 2940116 - 4546484 - 4057625 - 4057478 - 4613539 - 4613592 - 4114366 - 4566781 + 4578849 + 4636230 + 3022974 + 2822574 + 4731087 + 4731131 + 4689840 + 4070922 + 4689653 + 4477380 + 4642053 + 4731990 + 2819820 + 4097315 + 2839488 + 2107643 + 4682013 + 4682337 + 4583332 + 3013463 + 4532706 + 4653764 + 3720162 + 4120464 - 3398557 + 3484359 - 3127567 - 3127792 + 3291417 + 3291652 - 3049061 - 2912530 - 3003749 + 3243274 + 2918376 + 2983608 - 3025920 - 2905437 - 2956633 - 3235901 + 3203853 + 2895866 + 2917648 + 3306218 - 3009053 - 2879797 - 2928040 - 2841276 - 3002242 + 3172566 + 2850649 + 2876474 + 2993084 + 3037697 - 2978213 - 2848095 - 2898140 - 2808073 - 2782151 - 3010763 + 3176969 + 2852043 + 2878751 + 2996638 + 2798362 + 3098269 - 2969551 - 2832819 - 2891251 - 2799206 - 2780355 - 2964409 - 3323194 + 3143837 + 2820072 + 2849545 + 2965415 + 2791805 + 2995583 + 3223833 - 2928970 - 2800723 - 2863937 - 2779579 - 2736341 - 2936978 - 2977657 - 2978341 + 3106671 + 2774975 + 2810843 + 2934576 + 2743550 + 2961241 + 2801048 + 2981597 - 2941553 - 2804835 - 2862403 - 2777011 - 2731592 - 2930306 - 2686698 - 1579431 - 1542112 + 3126404 + 2792565 + 2828797 + 2953257 + 2761418 + 2980177 + 2818788 + 3000161 + 3522606 - 2957510 - 2816230 - 2872940 - 2788838 - 2759166 - 2943371 - 2684267 - 1601907 - 1536417 - 3170659 + 3114675 + 2782305 + 2818067 + 2942325 + 2750895 + 2969190 + 2808330 + 2988513 + 3277977 + 3277992 - 2891180 - 2798885 - 2860682 - 2785885 - 2754087 - 2937432 - 2714166 - 1594534 - 1514429 - 2948507 - 3153823 + 3134167 + 2799405 + 2835531 + 2960559 + 2768383 + 2987172 + 2825869 + 3008169 + 3229937 + 2865157 + 2924109 - 2958767 - 2809123 - 2870034 - 2789618 - 2748111 - 2943900 - 2723020 - 1597453 - 1506015 - 2937133 - 2743383 - 2899102 + 3122298 + 2788834 + 2824886 + 2949367 + 2757481 + 2976034 + 2814952 + 2996594 + 3196270 + 2832912 + 2868202 + 3287941 - 2954226 - 2809644 - 2870941 - 2792269 - 2748265 - 2941282 - 2713304 - 1605860 - 1502580 - 2918046 - 2725200 - 2830471 - 3323991 + 3110296 + 2778328 + 2814097 + 2938082 + 2747046 + 2964597 + 2804214 + 2985167 + 3162003 + 2798958 + 2828824 + 2981162 + 3033576 - 2965181 - 2823765 - 2884631 - 2800243 - 2761546 - 2956107 - 2722306 - 1611772 - 1502075 - 2909242 - 2705399 - 2808827 - 3297820 - 3301006 + 3129719 + 2795774 + 2831742 + 2956427 + 2764251 + 2983507 + 2821804 + 3003302 + 3168182 + 2795213 + 2824824 + 2985326 + 2788203 + 3060880 - 2962970 - 2828426 - 2879511 - 2791106 - 2761328 - 2946330 - 2697552 - 1616708 - 1492939 - 2886441 - 2674704 - 2777076 - 3254286 - 2963117 - 2976096 + 3117749 + 2785075 + 2821028 + 2945205 + 2753587 + 2971692 + 2811184 + 2991870 + 3136894 + 2769370 + 2799325 + 2955115 + 2791275 + 2965355 + 3235028 - 2946000 - 2811465 - 2868736 - 2777693 - 2751210 - 2932639 - 2679298 - 1613757 - 1481024 - 2859350 - 2640028 - 2758680 - 3221202 - 2944832 - 2796475 - 2866951 + 3105837 + 2774385 + 2809948 + 2933935 + 2743165 + 2960594 + 2800417 + 2980234 + 3107685 + 2740597 + 2772059 + 2927128 + 2757027 + 2938382 + 2823137 + 2965765 - 2931990 - 2793823 - 2855561 - 2776386 - 2739510 - 2931169 - 2710910 - 1595529 - 1473017 - 2853747 - 2641824 - 2759282 - 3220592 - 2956363 - 2613309 - 2580868 - 2929234 + 3125383 + 2791802 + 2827715 + 2952217 + 2760266 + 2978746 + 2817802 + 2999395 + 3127170 + 2757456 + 2789249 + 2945471 + 2774281 + 2956715 + 2840683 + 2984166 + 3488200 - 2948985 - 2803133 - 2863897 - 2780884 - 2752458 - 2935956 - 2691736 - 1607822 - 1478413 - 2866048 - 2646613 - 2762356 - 3226761 - 2958542 - 2626110 - 2610193 - 2689112 - 3067701 + 3113425 + 2781071 + 2816875 + 2940987 + 2749614 + 2967301 + 2806975 + 2987963 + 3115249 + 2746969 + 2778738 + 2934226 + 2763956 + 2945765 + 2829840 + 2973224 + 3271018 + 3271054 - 2967555 - 2814385 - 2877706 - 2766968 - 2757313 - 2948965 - 2713336 - 1615181 - 1486542 - 2881903 - 2661791 - 2779669 - 3245459 - 2978177 - 2641986 - 2623977 - 2696618 - 2750505 - 3077897 + 3132890 + 2798349 + 2834203 + 2959395 + 2766985 + 2986288 + 2824544 + 3006439 + 3134700 + 2764127 + 2795782 + 2952538 + 2780908 + 2963890 + 2847586 + 2991552 + 3245981 + 2954280 + 2960399 - 2967763 - 2831776 - 2886905 - 2759331 - 2751992 - 2943723 - 2709754 - 1615669 - 1485714 - 2876244 - 2660784 - 2780253 - 3244112 - 2978641 - 2639641 - 2620330 - 2675119 - 2737850 - 2971574 - 3198545 + 3120930 + 2787696 + 2823649 + 2948070 + 2756563 + 2974809 + 2813905 + 2995333 + 3122781 + 2753746 + 2785385 + 2941360 + 2770370 + 2952557 + 2836606 + 2981020 + 3210075 + 2900766 + 2922137 + 3306794 - 2938609 - 2803321 - 2862651 - 2737325 - 2730511 - 2924761 - 2729378 - 1588501 - 1469682 - 2852696 - 2641068 - 2752834 - 3219281 - 2955543 - 2616543 - 2600946 - 2633032 - 2690567 - 2915936 - 2827057 - 3043754 + 3108909 + 2777145 + 2812866 + 2936889 + 2745714 + 2963451 + 2803246 + 2983352 + 3110869 + 2743126 + 2774923 + 2930071 + 2759954 + 2941606 + 2825771 + 2969489 + 3177890 + 2868416 + 2886398 + 3000295 + 3041648 - 2946772 - 2805753 - 2861179 - 2742417 - 2731006 - 2933024 - 2699561 - 1602298 - 1475911 - 2860759 - 2644692 - 2756561 - 3223996 - 2959158 - 2617409 - 2601548 - 2622474 - 2674093 - 2899743 - 2802681 - 2801883 - 2976744 + 3128424 + 2794396 + 2830500 + 2955267 + 2763218 + 2982154 + 2820802 + 3001915 + 3130343 + 2760287 + 2792228 + 2948428 + 2777381 + 2960097 + 2843445 + 2987356 + 3179030 + 2869858 + 2888921 + 3003560 + 2800382 + 3080561 - 2962217 - 2821275 - 2878283 - 2753919 - 2748223 - 2945075 - 2690876 - 1618322 - 1484563 - 2872542 - 2658322 - 2758534 - 3239039 - 2971972 - 2625517 - 2608527 - 2619593 - 2662004 - 2890119 - 2796321 - 2795380 - 2931828 - 3282524 + 3116426 + 2783664 + 2819691 + 2943818 + 2752563 + 2970563 + 2810085 + 2990572 + 3118382 + 2749721 + 2781546 + 2937163 + 2766431 + 2948572 + 2832634 + 2975988 + 3149076 + 2832666 + 2854858 + 2972102 + 2793073 + 2986039 + 3225121 - 2969926 - 2834297 - 2888200 - 2761998 - 2752382 - 2949010 - 2727392 - 1609822 - 1485661 - 2879094 - 2663913 - 2779931 - 3247549 - 2982932 - 2629566 - 2609803 - 2615865 - 2645008 - 2878495 - 2787144 - 2784818 - 2920601 - 2994401 - 3004699 + 3135941 + 2801108 + 2837415 + 2962374 + 2769627 + 2989102 + 2827394 + 3009512 + 3137796 + 2766961 + 2798946 + 2955433 + 2783657 + 2966727 + 2850374 + 2995580 + 3148697 + 2826014 + 2851067 + 2971518 + 2793285 + 2985399 + 2839863 + 3046065 - 3372214 + 3513959 - 2074242 - 4149013 + 2148757 + 4297993 - 1431301 - 2862979 - 2862925 + 1452258 + 2904799 + 2905020 - 1226650 - 2453580 - 2453655 - 2453628 + 1251019 + 2502307 + 2502360 + 2502336 - 957312 - 1914843 - 1914872 - 1914887 - 1914825 + 969243 + 1938692 + 1938759 + 1938750 + 1938748 - 881662 - 1763531 - 1763548 - 1763517 - 1763545 - 1763564 + 888969 + 1778150 + 1778176 + 1778186 + 1778185 + 1778201 - 732872 - 1465927 - 1465949 - 1465941 - 1465942 - 1465931 - 1465903 + 736930 + 1474061 + 1474091 + 1474088 + 1474098 + 1474102 + 1474091 - 677993 - 1356163 - 1356165 - 1356152 - 1356172 - 1356140 - 1356150 - 1356168 + 690772 + 1381767 + 1381778 + 1381787 + 1381767 + 1381780 + 1381774 + 1381762 - 222874 - 445858 - 445899 - 445890 - 445860 - 445885 - 445897 - 445924 - 445806 + 220518 + 441123 + 441112 + 441154 + 441164 + 441164 + 441156 + 441176 + 441129 - 198111 - 396308 - 396343 - 396341 - 396355 - 396318 - 396333 - 396339 - 396287 - 396284 + 195773 + 391623 + 391629 + 391634 + 391637 + 391622 + 391626 + 391634 + 391666 + 391680 - 177668 - 355410 - 355411 - 355401 - 355413 - 355407 - 355385 - 355402 - 355386 - 355379 - 355389 + 176797 + 353626 + 353641 + 353633 + 353640 + 353639 + 353633 + 353638 + 353682 + 353691 + 353692 - 164320 - 328677 - 328687 - 328678 - 328684 - 328683 - 328681 - 328682 - 328677 - 328675 - 328678 - 328674 + 162870 + 325764 + 325774 + 325776 + 325780 + 325777 + 325782 + 325773 + 325785 + 325795 + 325790 + 325791 - 150548 - 301135 - 301133 - 301129 - 301133 - 301131 - 301130 - 301131 - 301131 - 301130 - 301134 - 301131 - 301134 + 148531 + 297092 + 297094 + 297096 + 297090 + 297097 + 297088 + 297094 + 297102 + 297104 + 297105 + 297101 + 297106 - 137911 - 275843 - 275847 - 275848 - 275851 - 275844 - 275845 - 275848 - 275845 - 275848 - 275847 - 275848 - 275849 - 275848 + 139216 + 278451 + 278457 + 278454 + 278460 + 278454 + 278456 + 278455 + 278462 + 278466 + 278460 + 278465 + 278461 + 278461 - 128815 - 257648 - 257653 - 257648 - 257651 - 257649 - 257647 - 257649 - 257648 - 257649 - 257649 - 257650 - 257650 - 257649 - 257654 + 128494 + 257011 + 257013 + 257014 + 257011 + 257014 + 257010 + 257007 + 257012 + 257015 + 257014 + 257011 + 257014 + 257014 + 257018 - 119233 - 238484 - 238486 - 238486 - 238490 - 238486 - 238486 - 238485 - 238484 - 238488 - 238488 - 238486 - 238486 - 238486 - 238485 - 238487 + 118432 + 236882 + 236885 + 236883 + 236886 + 236886 + 236886 + 236887 + 236890 + 236885 + 236888 + 236886 + 236888 + 236889 + 236881 + 236882 - 110776 - 221569 - 221569 - 221566 - 221571 - 221569 - 221570 - 221568 - 221570 - 221571 - 221569 - 221568 - 221567 - 221569 - 221567 - 221569 - 221561 + 112260 + 224532 + 224536 + 224536 + 224535 + 224536 + 224535 + 224535 + 224534 + 224536 + 224534 + 224532 + 224535 + 224537 + 224533 + 224536 + 224539 - 104111 - 208238 - 208239 - 208241 - 208238 - 208238 - 208238 - 208238 - 208237 - 208237 - 208239 - 208239 - 208238 - 208238 - 208236 - 208239 - 208235 - 208234 + 104670 + 209354 + 209355 + 209354 + 209359 + 209361 + 209356 + 209358 + 209356 + 209354 + 209353 + 209354 + 209357 + 209356 + 209355 + 209353 + 209360 + 209362 - 96934 - 193881 - 193884 - 193880 - 193884 - 193886 - 193881 - 193884 - 193883 - 193884 - 193882 - 193881 - 193884 - 193882 - 193884 - 193881 - 193881 - 193881 - 193880 + 98829 + 197675 + 197673 + 197672 + 197674 + 197674 + 197672 + 197672 + 197672 + 197671 + 197671 + 197669 + 197672 + 197674 + 197675 + 197669 + 197676 + 197678 + 197676 - 92437 - 184885 - 184884 - 184884 - 184885 - 184884 - 184882 - 184887 - 184883 - 184882 - 184884 - 184881 - 184882 - 184885 - 184885 - 184884 - 184882 - 184883 - 184882 - 184882 + 92505 + 185021 + 185021 + 185025 + 185025 + 185021 + 185022 + 185022 + 185023 + 185023 + 185020 + 185021 + 185022 + 185025 + 185022 + 185024 + 185027 + 185029 + 185025 + 185027 - 86787 - 173585 - 173582 - 173583 - 173584 - 173584 - 173584 - 173584 - 173582 - 173584 - 173583 - 173581 - 173584 - 173581 - 173584 - 173583 - 173582 - 173583 - 173584 - 173583 - 173583 + 88095 + 176199 + 176202 + 176199 + 176201 + 176201 + 176201 + 176202 + 176198 + 176200 + 176197 + 176199 + 176197 + 176202 + 176198 + 176199 + 176204 + 176203 + 176203 + 176206 + 176204 - 84186 - 168386 - 168383 - 168382 - 168384 - 168385 - 168382 - 168382 - 168382 - 168382 - 168383 - 168383 - 168383 - 168383 - 168383 - 168384 - 168383 - 168384 - 168384 - 168382 - 168385 - 168384 + 84520 + 169052 + 169051 + 169053 + 169051 + 169056 + 169050 + 169052 + 169052 + 169053 + 169050 + 169051 + 169052 + 169053 + 169051 + 169051 + 169054 + 169056 + 169053 + 169055 + 169055 + 169054 - 79182 - 158375 - 158377 - 158376 - 158376 - 158377 - 158377 - 158377 - 158378 - 158377 - 158376 - 158378 - 158374 - 158377 - 158375 - 158376 - 158378 - 158377 - 158377 - 158377 - 158375 - 158377 - 158378 + 79421 + 158852 + 158852 + 158854 + 158852 + 158853 + 158853 + 158853 + 158852 + 158854 + 158852 + 158851 + 158853 + 158854 + 158850 + 158852 + 158855 + 158855 + 158851 + 158854 + 158853 + 158854 + 158854 - 74717 - 149444 - 149442 - 149442 - 149444 - 149443 - 149443 - 149443 - 149443 - 149443 - 149442 - 149442 - 149440 - 149443 - 149443 - 149445 - 149442 - 149441 - 149443 - 149442 - 149442 - 149442 - 149442 - 149441 + 75524 + 151058 + 151058 + 151057 + 151060 + 151057 + 151056 + 151056 + 151057 + 151057 + 151058 + 151058 + 151056 + 151057 + 151055 + 151056 + 151057 + 151056 + 151055 + 151057 + 151057 + 151057 + 151056 + 151056 - 7768776 + 7748082 - 7590438 - 7590941 + 7647592 + 7648024 - 7457405 - 7457868 - 7457876 + 7462713 + 7463150 + 7463302 - 7266743 - 7267211 - 7267290 - 7267218 + 7227558 + 7228059 + 7228161 + 7228157 - 7188523 - 7188995 - 7189053 - 7189026 - 7188997 + 7271144 + 7271595 + 7271690 + 7271685 + 7278972 - 7123826 - 7124382 - 7124349 - 7124406 - 7124365 - 7124339 + 7115560 + 7115973 + 7116081 + 7116116 + 7116156 + 7116139 - 7041544 - 7042144 - 7041895 - 7042028 - 7040905 - 7040858 - 7047819 + 7032158 + 7032584 + 7032605 + 7032700 + 7032840 + 7032751 + 7033457 - 6953444 - 6954051 - 6955140 - 6955242 - 6953556 - 6953424 - 6953478 - 6953488 + 6943403 + 6943907 + 6944388 + 6944535 + 6945558 + 6945385 + 6944965 + 6945056 - 6941705 - 6942308 - 6943517 - 6943640 - 6942783 - 6942630 - 6941791 - 6941809 - 7750193 + 6904189 + 6904648 + 6904665 + 6904794 + 6906704 + 6906596 + 6905038 + 6905171 + 7732157 - 6901845 - 6902439 - 6903976 - 6904078 - 6902970 - 6902846 - 6901195 - 6901204 - 7580390 - 7580358 + 6890600 + 6891096 + 6889623 + 6889754 + 6895076 + 6895009 + 6891303 + 6891441 + 7561832 + 7561812 - 6936501 - 6937111 - 6938165 - 6938256 - 6936133 - 6936013 - 6936346 - 6936314 - 7430441 - 7430479 - 7430414 + 6936032 + 6936473 + 6936855 + 6936996 + 6937867 + 6937801 + 6937155 + 6937284 + 7426273 + 7426282 + 7426249 - 6917922 - 6918567 - 6918999 - 6919072 - 6917682 - 6917563 - 6918458 - 6918446 - 7262805 - 7262855 - 7262859 - 7262819 + 6886873 + 6888027 + 6888211 + 6888343 + 6892413 + 6892299 + 6888993 + 6889126 + 7246586 + 7246631 + 7246645 + 7246622 - 6908986 - 6909593 - 6910638 - 6910715 - 6909078 - 6908933 - 6909184 - 6909252 - 7231157 - 7231125 - 7231186 - 7231137 - 7237765 + 6959061 + 6959491 + 6959651 + 6959746 + 6960533 + 6960423 + 6960346 + 6960483 + 7275133 + 7275113 + 7275196 + 7275136 + 7279912 - 6945804 - 6946408 - 6947210 - 6947353 - 6946265 - 6946112 - 6945976 - 6945997 - 7152580 - 7152536 - 7148044 - 7148037 - 7136711 - 7136688 + 6923135 + 6923561 + 6923846 + 6923929 + 6926308 + 6926220 + 6924046 + 6924171 + 7098844 + 7098788 + 7098814 + 7098753 + 7098782 + 7098724 - 6926584 - 6927216 - 6928958 - 6929049 - 6926803 - 6926669 - 6927425 - 6927437 - 7101410 - 7101339 - 7100673 - 7100645 - 7100317 - 7100343 - 7113643 + 6897278 + 6897722 + 6897985 + 6898091 + 6900152 + 6900044 + 6899295 + 6899389 + 7029806 + 7029783 + 7029530 + 7029484 + 7029691 + 7029614 + 7036890 - 6885034 - 6885643 - 6886128 - 6886235 - 6883606 - 6883459 - 6885093 - 6885108 - 6869055 - 6868904 - 6861232 - 6861238 - 6856178 - 6856088 - 6865007 - 6864835 + 6937172 + 6937594 + 6937636 + 6937737 + 6938639 + 6938539 + 6938146 + 6938285 + 6845765 + 6845811 + 6844591 + 6844579 + 6847898 + 6847925 + 6854383 + 6854413 - 6950591 - 6951216 - 6951750 - 6951846 - 6951370 - 6951250 - 6949543 - 6949574 - 6908289 - 6908168 - 6900143 - 6900127 - 6906160 - 6906138 - 6906399 - 6906285 - 7763696 + 6899164 + 6899621 + 6899868 + 6899979 + 6903162 + 6903081 + 6901182 + 6901304 + 6786503 + 6786566 + 6785567 + 6785489 + 6786492 + 6786497 + 6788266 + 6788323 + 7729409 - 6906963 - 6907567 - 6908205 - 6908321 - 6907466 - 6907266 - 6907055 - 6907106 - 6849735 - 6849657 - 6840185 - 6840235 - 6834992 - 6834947 - 6845732 - 6845592 - 7649908 - 7649884 + 6879345 + 6879777 + 6879643 + 6879775 + 6882068 + 6881973 + 6880439 + 6880578 + 6777968 + 6778044 + 6777204 + 6777188 + 6777851 + 6777905 + 6779627 + 6779691 + 7557727 + 7557705 - 6955157 - 6955790 - 6957412 - 6957498 - 6954729 - 6954608 - 6955079 - 6955010 - 6888158 - 6888036 - 6884982 - 6884970 - 6886612 - 6886538 - 6888451 - 6888301 - 7504769 - 7504843 - 7504883 + 6937193 + 6937631 + 6937312 + 6937409 + 6940007 + 6939931 + 6938301 + 6938409 + 6827232 + 6827251 + 6826171 + 6826057 + 6827889 + 6827896 + 6830967 + 6830958 + 7441511 + 7441523 + 7441610 - 6923982 - 6924617 - 6925087 - 6925182 - 6924063 - 6923922 - 6922615 - 6922611 - 6867827 - 6867737 - 6862825 - 6862802 - 6862522 - 6862497 - 6864996 - 6864809 - 7259768 - 7259796 - 7259764 - 7259787 + 6900511 + 6900940 + 6901585 + 6901715 + 6902897 + 6902770 + 6902123 + 6902302 + 6781385 + 6781384 + 6779534 + 6779472 + 6781940 + 6781974 + 6784544 + 6784535 + 7224882 + 7224913 + 7224905 + 7224953 - 6906805 - 6907435 - 6909071 - 6909191 - 6907717 - 6907617 - 6905733 - 6905787 - 6848200 - 6848130 - 6839698 - 6839671 - 6838862 - 6838832 - 6845140 - 6845058 - 7220499 - 7220544 - 7220515 - 7220553 - 7220557 + 6943617 + 6944082 + 6943750 + 6943857 + 6945186 + 6945096 + 6944668 + 6944790 + 6781824 + 6781819 + 6780449 + 6780372 + 6782024 + 6782050 + 6784510 + 6784514 + 7257452 + 7257495 + 7257487 + 7257508 + 7257524 - 6938609 - 6939221 - 6940481 - 6940557 - 6937470 - 6937324 - 6937479 - 6937480 - 6860519 - 6860378 - 6849255 - 6849210 - 6847788 - 6847814 - 6855398 - 6855281 - 7111553 - 7111532 - 7108806 - 7108810 - 7111526 - 7111564 + 6917953 + 6918400 + 6919356 + 6919471 + 6920305 + 6920183 + 6919649 + 6919751 + 6791371 + 6791413 + 6788420 + 6788340 + 6792848 + 6792844 + 6797629 + 6797728 + 7113691 + 7113715 + 7112292 + 7112305 + 7113609 + 7113680 - 6902398 - 6903010 - 6903610 - 6903662 - 6899163 - 6898974 - 6902524 - 6902564 - 6853061 - 6852916 - 6843094 - 6843050 - 6849839 - 6849803 - 6850316 - 6850138 - 7034463 - 7034471 - 7034074 - 7034131 - 7034931 - 7034935 - 7042440 + 6891252 + 6891663 + 6891546 + 6891706 + 6893277 + 6893152 + 6892566 + 6892657 + 6759690 + 6759744 + 6757928 + 6757837 + 6760968 + 6760984 + 6764597 + 6764671 + 7031553 + 7031562 + 7031468 + 7031438 + 7031584 + 7031649 + 7034463 - 6885729 - 6886346 - 6886070 - 6886174 - 6882982 - 6882803 - 6885682 - 6885668 - 6842542 - 6842476 - 6840679 - 6840654 - 6840332 - 6840325 - 6840356 - 6840245 - 6833870 - 6833835 - 6831672 - 6831724 - 6833163 - 6833166 - 6831805 - 6831755 + 6936624 + 6937095 + 6937990 + 6938116 + 6938974 + 6938848 + 6938729 + 6938855 + 6802487 + 6802507 + 6802119 + 6802052 + 6804132 + 6804142 + 6807402 + 6807440 + 6895101 + 6895091 + 6896248 + 6896161 + 6894890 + 6894820 + 6893800 + 6893757 + + 783933 + + + 715842 + 715877 + + + 673594 + 673548 + 673597 + + + 507004 + 506998 + 506958 + 507007 + + + 399544 + 399546 + 399537 + 399496 + 399551 + + + 326511 + 326516 + 326514 + 326477 + 326516 + 326515 + + + 262720 + 262759 + 262752 + 262761 + 262765 + 262760 + 262754 + + + 234094 + 234134 + 234129 + 234127 + 234131 + 234121 + 234124 + 234127 + + + 108770 + 108767 + 108774 + 108774 + 108762 + 108772 + 108769 + 108772 + 108769 + + + 88888 + 88883 + 88889 + 88885 + 88885 + 88885 + 88883 + 88882 + 88877 + 88883 + + + 77874 + 77873 + 77879 + 77872 + 77873 + 77877 + 77880 + 77876 + 77874 + 77870 + 77872 + + + 70256 + 70259 + 70264 + 70258 + 70262 + 70266 + 70260 + 70256 + 70257 + 70258 + 70259 + 70258 + + + 62735 + 62740 + 62741 + 62737 + 62733 + 62735 + 62736 + 62734 + 62732 + 62731 + 62731 + 62730 + 62730 + + + 59093 + 59091 + 59093 + 59094 + 59088 + 59092 + 59099 + 59097 + 59091 + 59089 + 59088 + 59102 + 59088 + 59087 + + + 51130 + 51127 + 51121 + 51131 + 51123 + 51125 + 51129 + 51121 + 51125 + 51120 + 51126 + 51122 + 51124 + 51122 + 51124 + + + 48586 + 48591 + 48592 + 48586 + 48586 + 48590 + 48588 + 48587 + 48594 + 48596 + 48588 + 48589 + 48596 + 48593 + 48591 + 48589 + + + 43007 + 42998 + 43002 + 43006 + 43008 + 43010 + 43000 + 43002 + 42999 + 43000 + 43003 + 42999 + 42998 + 43001 + 43004 + 43005 + 43005 + + + 38958 + 38953 + 38958 + 38951 + 38950 + 38972 + 38950 + 38953 + 38957 + 38956 + 38955 + 38967 + 38952 + 38952 + 38963 + 38951 + 38960 + 38954 + + + 37040 + 37042 + 37050 + 37051 + 37049 + 37047 + 37044 + 37042 + 37048 + 37039 + 37045 + 37041 + 37041 + 37038 + 37038 + 37040 + 37043 + 37044 + 37045 + + + 33977 + 33977 + 33969 + 33975 + 33965 + 33968 + 33967 + 33974 + 33968 + 33972 + 33964 + 33973 + 33970 + 33967 + 33965 + 33966 + 33966 + 33972 + 33971 + 33970 + + + 34845 + 34846 + 34849 + 34851 + 34850 + 34842 + 34845 + 34856 + 34842 + 34842 + 34844 + 34848 + 34856 + 34857 + 34843 + 34856 + 34849 + 34847 + 34847 + 34843 + 34844 + + + 29938 + 29946 + 29949 + 29944 + 29940 + 29945 + 29938 + 29943 + 29942 + 29945 + 29940 + 29946 + 29939 + 29938 + 29948 + 29939 + 29941 + 29948 + 29943 + 29941 + 29951 + 29952 + + + 29210 + 29214 + 29224 + 29225 + 29212 + 29218 + 29218 + 29210 + 29219 + 29220 + 29222 + 29217 + 29215 + 29212 + 29210 + 29214 + 29213 + 29216 + 29217 + 29221 + 29211 + 29213 + 29216 + + + 25904 + 25912 + 25906 + 25914 + 25909 + 25909 + 25911 + 25907 + 25906 + 25903 + 25905 + 25905 + 25913 + 25910 + 25913 + 25915 + 25911 + 25903 + 25908 + 25916 + 25918 + 25919 + 25904 + 25907 + + + 784201 + + + 712340 + 712386 + + + 674000 + 674051 + 674040 + + + 508157 + 508153 + 508159 + 508110 + + + 404003 + 403999 + 404000 + 403956 + 404001 + + + 327904 + 327939 + 327942 + 327939 + 327939 + 327943 + + + 272616 + 272614 + 272610 + 272613 + 272618 + 272620 + 272575 + + + 234547 + 234543 + 234550 + 234547 + 234513 + 234546 + 234543 + 234543 + + + 107383 + 107392 + 107386 + 107386 + 107389 + 107392 + 107385 + 107394 + 107377 + + + 89997 + 89997 + 89997 + 90000 + 90001 + 89993 + 89995 + 89995 + 90001 + 90001 + + + 76542 + 76545 + 76542 + 76541 + 76540 + 76549 + 76548 + 76545 + 76540 + 76540 + 76545 + + + 65159 + 65161 + 65155 + 65158 + 65156 + 65154 + 65157 + 65156 + 65150 + 65153 + 65154 + 65152 + + + 61089 + 61093 + 61092 + 61093 + 61094 + 61089 + 61090 + 61092 + 61098 + 61098 + 61091 + 61090 + 61095 + + + 58163 + 58164 + 58160 + 58158 + 58156 + 58159 + 58157 + 58156 + 58153 + 58155 + 58154 + 58150 + 58153 + 58152 + + + 49108 + 49110 + 49107 + 49106 + 49114 + 49112 + 49113 + 49107 + 49109 + 49110 + 49112 + 49117 + 49115 + 49111 + 49106 + + + 45403 + 45406 + 45405 + 45404 + 45407 + 45402 + 45401 + 45403 + 45407 + 45410 + 45411 + 45404 + 45413 + 45410 + 45401 + 45401 + + + 40546 + 40547 + 40552 + 40546 + 40554 + 40553 + 40550 + 40552 + 40559 + 40559 + 40555 + 40556 + 40550 + 40548 + 40548 + 40549 + 40551 + + + 39609 + 39614 + 39610 + 39616 + 39618 + 39615 + 39613 + 39613 + 39615 + 39617 + 39610 + 39618 + 39615 + 39611 + 39612 + 39611 + 39621 + 39620 + + + 35744 + 35742 + 35744 + 35747 + 35752 + 35755 + 35745 + 35753 + 35745 + 35747 + 35742 + 35751 + 35749 + 35746 + 35743 + 35746 + 35749 + 35743 + 35748 + + + 33654 + 33664 + 33659 + 33661 + 33654 + 33658 + 33663 + 33654 + 33668 + 33660 + 33660 + 33655 + 33667 + 33657 + 33655 + 33664 + 33657 + 33656 + 33662 + 33659 + + + 32410 + 32414 + 32407 + 32409 + 32420 + 32413 + 32422 + 32421 + 32408 + 32414 + 32407 + 32411 + 32413 + 32416 + 32408 + 32418 + 32412 + 32416 + 32411 + 32410 + 32417 + + + 29188 + 29192 + 29201 + 29198 + 29187 + 29195 + 29192 + 29195 + 29200 + 29193 + 29197 + 29189 + 29189 + 29190 + 29188 + 29196 + 29194 + 29191 + 29199 + 29194 + 29191 + 29190 + + + 27206 + 27216 + 27222 + 27211 + 27211 + 27210 + 27212 + 27208 + 27214 + 27207 + 27208 + 27214 + 27210 + 27209 + 27218 + 27217 + 27219 + 27206 + 27215 + 27213 + 27207 + 27212 + 27232 + + + 24666 + 24670 + 24664 + 24672 + 24671 + 24668 + 24668 + 24667 + 24671 + 24664 + 24667 + 24666 + 24675 + 24670 + 24664 + 24673 + 24673 + 24669 + 24665 + 24675 + 24681 + 24674 + 24677 + 24681 + + + 14718834 + + + 14545804 + 14546744 + + + 14202896 + 14203740 + 14204031 + + + 13936060 + 13936903 + 13937157 + 13937175 + + + 13882002 + 13882875 + 13883036 + 13883032 + 13883129 + + + 13678756 + 13679620 + 13679743 + 13679940 + 13679849 + 13679778 + + + 13536294 + 13537073 + 13537313 + 13537271 + 13537347 + 13537331 + 13537366 + + + 13416795 + 13417680 + 13417750 + 13417879 + 13417890 + 13417884 + 13417887 + 13417860 + + + 13344563 + 13345425 + 13345471 + 13345553 + 13345686 + 13345685 + 13345620 + 13345553 + 14664124 + + + 13345484 + 13346290 + 13346571 + 13346539 + 13346562 + 13346553 + 13346462 + 13346482 + 14489005 + 14489074 + + + 13387106 + 13387968 + 13388136 + 13388157 + 13388188 + 13388196 + 13388173 + 13388181 + 14106966 + 14106972 + 14106794 + + + 13339713 + 13340579 + 13340745 + 13340783 + 13340828 + 13340858 + 13340715 + 13340770 + 13878859 + 13878923 + 13878707 + 13878654 + + + 13423332 + 13424154 + 13424352 + 13424415 + 13424314 + 13424308 + 13424314 + 13424303 + 13894368 + 13894493 + 13894289 + 13894305 + 13894313 + + + 13374209 + 13375090 + 13375258 + 13375185 + 13375228 + 13375289 + 13375221 + 13375272 + 13638146 + 13638099 + 13638011 + 13637921 + 13638082 + 13638078 + + + 13324122 + 13324923 + 13322227 + 13322310 + 13325255 + 13325158 + 13325121 + 13325137 + 13526376 + 13526358 + 13526223 + 13526248 + 13526360 + 13526365 + 13526370 + + + 13409904 + 13410740 + 13410903 + 13410988 + 13411030 + 13410987 + 13410838 + 13410949 + 13425120 + 13425212 + 13425033 + 13425047 + 13425054 + 13425101 + 13425139 + 13425072 + + + 13358197 + 13359084 + 13359207 + 13359276 + 13359271 + 13359332 + 13359272 + 13359197 + 13377371 + 13377387 + 13377385 + 13377388 + 13377413 + 13377416 + 13377379 + 13377457 + 14648127 + + + 13450072 + 13450903 + 13451130 + 13451147 + 13451124 + 13451254 + 13451111 + 13451124 + 13476959 + 13476898 + 13476818 + 13476757 + 13476779 + 13476826 + 13476887 + 13476812 + 14753607 + 14753628 + + + 13391588 + 13392430 + 13392562 + 13392593 + 13392668 + 13392691 + 13392561 + 13392599 + 13399126 + 13399129 + 13399029 + 13398973 + 13399022 + 13399026 + 13398920 + 13398974 + 14175315 + 14175222 + 14175311 + + + 13355745 + 13356643 + 13356778 + 13356845 + 13356826 + 13356881 + 13356673 + 13356756 + 13361313 + 13361244 + 13357068 + 13356983 + 13356966 + 13356990 + 13361213 + 13361185 + 13989600 + 13989623 + 13989693 + 13989659 + + + 13407936 + 13408763 + 13408903 + 13408988 + 13409085 + 13409045 + 13408998 + 13408901 + 13434650 + 13434644 + 13434596 + 13434581 + 13434577 + 13434621 + 13434678 + 13434611 + 13925505 + 13925519 + 13925574 + 13925534 + 13925556 + + + 13357133 + 13357991 + 13358199 + 13358166 + 13358386 + 13358347 + 13358183 + 13358191 + 13409498 + 13409534 + 13409355 + 13409356 + 13409477 + 13409398 + 13409398 + 13409452 + 13725035 + 13725102 + 13725140 + 13724990 + 13725108 + 13725040 + + + 13448281 + 13449150 + 13449235 + 13449263 + 13449358 + 13449247 + 13449327 + 13449312 + 13468811 + 13468839 + 13468751 + 13468726 + 13468738 + 13468711 + 13468861 + 13468835 + 13675503 + 13675619 + 13675523 + 13675472 + 13675556 + 13675544 + 13675532 + + + 13380340 + 13381193 + 13378127 + 13378172 + 13384719 + 13384699 + 13384584 + 13384610 + 13403447 + 13403370 + 13403295 + 13403431 + 13403242 + 13403348 + 13403394 + 13403378 + 13451683 + 13451643 + 13445578 + 13445455 + 13451633 + 13451656 + 13451565 + 13451541 + + + 5685517 + + + 5696601 + 5696949 + + + 5543995 + 5544357 + 5544426 + + + 5454438 + 5454782 + 5454882 + 5454926 + + + 5471381 + 5471738 + 5471815 + 5471828 + 5471846 + + + 5409420 + 5409778 + 5409870 + 5409863 + 5409834 + 5409840 + + + 5382186 + 5382516 + 5382597 + 5382630 + 5382622 + 5382605 + 5385095 + + + 5352212 + 5352555 + 5352630 + 5352640 + 5352660 + 5352675 + 5352627 + 5352647 + + + 5330964 + 5331314 + 5331408 + 5331433 + 5331429 + 5331422 + 5331360 + 5331402 + 5696119 + + + 5312790 + 5313108 + 5313193 + 5313221 + 5313253 + 5313255 + 5313216 + 5313229 + 5623042 + 5623031 + + + 5347426 + 5347771 + 5347831 + 5347866 + 5347844 + 5347886 + 5347836 + 5347878 + 5544845 + 5544823 + 5544727 + + + 5324241 + 5324589 + 5324636 + 5324686 + 5324681 + 5324678 + 5324639 + 5324665 + 5499255 + 5499245 + 5499200 + 5499220 + + + 5361809 + 5362145 + 5362206 + 5362252 + 5362262 + 5362262 + 5362256 + 5362238 + 5485847 + 5485850 + 5485787 + 5485770 + 5485785 + + + 5343125 + 5343437 + 5343528 + 5343550 + 5343575 + 5343550 + 5343537 + 5343558 + 5427404 + 5427398 + 5427402 + 5427400 + 5427379 + 5427366 + + + 5316180 + 5316531 + 5316583 + 5316629 + 5316636 + 5316625 + 5316608 + 5316618 + 5383017 + 5383040 + 5382956 + 5382983 + 5382964 + 5382933 + 5382973 + + + 5348312 + 5348636 + 5348734 + 5348745 + 5348767 + 5348747 + 5348742 + 5348758 + 5377756 + 5377760 + 5377743 + 5377735 + 5377720 + 5377705 + 5377766 + 5377744 + + + 5328451 + 5328804 + 5328899 + 5328944 + 5328928 + 5328922 + 5328895 + 5328892 + 5352090 + 5352051 + 5352079 + 5352076 + 5352072 + 5352070 + 5352084 + 5352060 + 5780692 + + + 5362263 + 5362611 + 5362670 + 5362711 + 5362685 + 5362679 + 5362698 + 5362722 + 5384935 + 5384948 + 5384849 + 5384902 + 5384887 + 5384869 + 5384912 + 5384902 + 5717423 + 5717419 + + + 5339960 + 5340280 + 5340379 + 5340412 + 5340413 + 5340406 + 5340390 + 5340429 + 5366702 + 5366709 + 5366618 + 5366618 + 5366640 + 5366633 + 5366660 + 5366640 + 5562960 + 5562974 + 5562969 + + + 5328365 + 5328690 + 5328769 + 5328750 + 5328811 + 5328819 + 5328761 + 5328804 + 5352530 + 5352507 + 5352517 + 5352526 + 5352478 + 5352481 + 5352540 + 5352508 + 5542382 + 5542457 + 5542429 + 5542397 + + + 5355821 + 5356186 + 5356298 + 5356259 + 5356261 + 5356320 + 5356247 + 5356272 + 5376396 + 5376387 + 5376323 + 5376368 + 5376339 + 5376330 + 5376387 + 5376365 + 5547253 + 5547266 + 5547315 + 5547267 + 5547295 + + + 5340616 + 5340986 + 5341028 + 5341065 + 5341078 + 5341079 + 5341007 + 5341038 + 5359566 + 5359570 + 5359478 + 5359502 + 5359496 + 5359527 + 5359536 + 5359526 + 5498507 + 5498494 + 5498532 + 5498493 + 5498503 + 5498516 + + + 5305895 + 5306236 + 5306305 + 5306345 + 5306344 + 5306361 + 5306301 + 5306340 + 5339859 + 5339855 + 5339822 + 5339853 + 5339853 + 5339851 + 5339883 + 5339826 + 5444298 + 5444322 + 5444263 + 5444218 + 5444333 + 5444339 + 5444294 + + + 5344687 + 5345037 + 5345099 + 5345114 + 5345124 + 5345129 + 5345111 + 5345126 + 5366163 + 5366157 + 5366132 + 5366143 + 5366131 + 5366096 + 5366169 + 5366118 + 5420792 + 5420837 + 5420864 + 5420785 + 5420835 + 5420827 + 5420737 + 5420793 + + + 804850 + + + 736889 + 736932 + + + 677059 + 677102 + 677109 + + + 511022 + 511064 + 511070 + 511071 + + + 403704 + 403746 + 403747 + 403747 + 403752 + + + 329360 + 329396 + 329402 + 329404 + 329401 + 329405 + + + 271830 + 271865 + 271870 + 271871 + 271871 + 271874 + 271880 + + + 234106 + 234135 + 234147 + 234143 + 234145 + 234144 + 234144 + 234145 + + + 108890 + 108899 + 108898 + 108897 + 108898 + 108898 + 108898 + 108896 + 108892 + + + 93131 + 93136 + 93135 + 93136 + 93136 + 93136 + 93136 + 93136 + 93134 + 93135 + + + 79836 + 79839 + 79840 + 79840 + 79841 + 79840 + 79840 + 79840 + 79839 + 79839 + 79839 + + + 70922 + 70924 + 70924 + 70924 + 70924 + 70924 + 70923 + 70924 + 70924 + 70924 + 70924 + 70924 + + + 59848 + 59850 + 59850 + 59850 + 59850 + 59850 + 59850 + 59850 + 59850 + 59850 + 59850 + 59850 + 59850 + + + 56173 + 56175 + 56175 + 56175 + 56175 + 56175 + 56175 + 56175 + 56175 + 56175 + 56175 + 56175 + 56175 + 56175 + + + 51032 + 51034 + 51034 + 51034 + 51034 + 51034 + 51034 + 51034 + 51034 + 51034 + 51034 + 51034 + 51034 + 51034 + 51034 + + + 48695 + 48696 + 48696 + 48696 + 48696 + 48696 + 48696 + 48696 + 48696 + 48696 + 48696 + 48696 + 48695 + 48696 + 48696 + 48695 + + + 43536 + 43537 + 43537 + 43537 + 43537 + 43537 + 43537 + 43537 + 43537 + 43537 + 43537 + 43537 + 43537 + 43537 + 43537 + 43537 + 43536 + + + 38780 + 38781 + 38781 + 38781 + 38781 + 38781 + 38781 + 38781 + 38781 + 38781 + 38781 + 38781 + 38781 + 38781 + 38780 + 38781 + 38781 + 38781 + + + 35997 + 35997 + 35997 + 35997 + 35997 + 35997 + 35998 + 35997 + 35997 + 35997 + 35997 + 35997 + 35997 + 35997 + 35997 + 35997 + 35997 + 35998 + 35997 + + + 36332 + 36333 + 36333 + 36332 + 36333 + 36332 + 36333 + 36332 + 36332 + 36333 + 36332 + 36332 + 36332 + 36333 + 36332 + 36332 + 36332 + 36333 + 36332 + 36332 + + + 33208 + 33209 + 33209 + 33209 + 33208 + 33208 + 33209 + 33208 + 33208 + 33208 + 33208 + 33208 + 33209 + 33209 + 33208 + 33208 + 33208 + 33208 + 33209 + 33208 + 33208 + + + 31798 + 31798 + 31799 + 31799 + 31798 + 31799 + 31798 + 31799 + 31799 + 31799 + 31798 + 31799 + 31799 + 31798 + 31799 + 31799 + 31799 + 31799 + 31799 + 31799 + 31799 + 31799 + + + 29626 + 29627 + 29627 + 29627 + 29627 + 29627 + 29627 + 29627 + 29627 + 29627 + 29627 + 29627 + 29627 + 29627 + 29627 + 29627 + 29627 + 29627 + 29627 + 29627 + 29627 + 29627 + 29627 + + + 28079 + 28079 + 28079 + 28079 + 28079 + 28079 + 28079 + 28079 + 28079 + 28079 + 28079 + 28079 + 28079 + 28079 + 28079 + 28079 + 28079 + 28079 + 28079 + 28080 + 28080 + 28080 + 28079 + 28079 + *** END OF TEST TMFINE 1 *** -- cgit v1.2.3