From d17b33131c14864bd1eae275f49a3f148e21cf29 Mon Sep 17 00:00:00 2001 From: Leo Chan Date: Thu, 22 Oct 2020 01:53:21 -0400 Subject: Squashed commit of the sb-vbs branch. Includes the SD-VBS benchmarks modified to: - Use libextra to loop as realtime jobs - Preallocate memory before starting their main computation - Accept input via stdin instead of via argc Does not include the SD-VBS matlab code. Fixes libextra execution in LITMUS^RT. --- SD-VBS/benchmarks/sift/data/fullhd/1.bmp | Bin 0 -> 3499254 bytes SD-VBS/benchmarks/sift/data/fullhd/Makefile | 7 + SD-VBS/benchmarks/sift/data/fullhd/expected.m | 3 + SD-VBS/benchmarks/sift/data/fullhd/expected_C.txt | 3 + SD-VBS/benchmarks/sift/data/fullhd/out | 22344 ++++++++++++++++++++ 5 files changed, 22357 insertions(+) create mode 100644 SD-VBS/benchmarks/sift/data/fullhd/1.bmp create mode 100644 SD-VBS/benchmarks/sift/data/fullhd/Makefile create mode 100644 SD-VBS/benchmarks/sift/data/fullhd/expected.m create mode 100644 SD-VBS/benchmarks/sift/data/fullhd/expected_C.txt create mode 100644 SD-VBS/benchmarks/sift/data/fullhd/out (limited to 'SD-VBS/benchmarks/sift/data/fullhd') diff --git a/SD-VBS/benchmarks/sift/data/fullhd/1.bmp b/SD-VBS/benchmarks/sift/data/fullhd/1.bmp new file mode 100644 index 0000000..a9113a9 Binary files /dev/null and b/SD-VBS/benchmarks/sift/data/fullhd/1.bmp differ diff --git a/SD-VBS/benchmarks/sift/data/fullhd/Makefile b/SD-VBS/benchmarks/sift/data/fullhd/Makefile new file mode 100644 index 0000000..0a2f146 --- /dev/null +++ b/SD-VBS/benchmarks/sift/data/fullhd/Makefile @@ -0,0 +1,7 @@ +INPUT=fullhd +include ../../../../common/makefiles/Makefile.include + +BMARK=sift +include $(MAKEFILE_COMMON_DIR)/Makefile.common + + diff --git a/SD-VBS/benchmarks/sift/data/fullhd/expected.m b/SD-VBS/benchmarks/sift/data/fullhd/expected.m new file mode 100644 index 0000000..186fa90 --- /dev/null +++ b/SD-VBS/benchmarks/sift/data/fullhd/expected.m @@ -0,0 +1,3 @@ +414.999928 4.000992 4.001288 123.000042 71.999940 78.999870 104.999905 112.999724 48.002433 12.999701 42.000432 59.002691 23.000113 28.000855 46.001861 31.000996 52.998290 19.001083 50.999850 3.998759 4.998837 18.999829 40.999310 24.995970 18.001268 +2156.000398 535.996659 265.997001 73.999950 70.999681 121.999948 123.000221 104.000345 13.999844 58.000118 8.999411 14.999927 14.000431 51.000060 47.999387 35.000137 46.000387 49.000452 19.002464 4.001419 62.999499 26.000252 29.000954 16.000873 19.999109 +1.000357 1.997461 1.997128 0.999547 2.002183 2.002401 2.001073 2.000907 0.000804 0.997062 1.001759 1.000496 2.001831 1.997246 2.000260 0.000086 -0.000249 0.998226 0.997202 1.998000 2.001326 1.997402 2.001034 0.002951 0.995889 diff --git a/SD-VBS/benchmarks/sift/data/fullhd/expected_C.txt b/SD-VBS/benchmarks/sift/data/fullhd/expected_C.txt new file mode 100644 index 0000000..fcf2a1a --- /dev/null +++ b/SD-VBS/benchmarks/sift/data/fullhd/expected_C.txt @@ -0,0 +1,3 @@ +414.999939 4.000992 4.001288 123.000038 71.999939 78.999870 104.999901 112.999725 48.002434 12.999701 42.000431 59.002689 23.000113 28.000854 46.001862 31.000996 52.998291 19.001083 50.999851 3.998759 4.998837 18.999830 40.999310 24.995970 18.001268 +2156.000488 535.996643 265.997009 73.999947 70.999680 121.999947 123.000221 104.000343 13.999844 58.000118 8.999411 14.999927 14.000431 51.000061 47.999386 35.000137 46.000385 49.000454 19.002464 4.001420 62.999500 26.000252 29.000954 16.000874 19.999109 +1.000357 1.997461 1.997128 0.999547 2.002183 2.002401 2.001073 2.000907 0.000804 0.997062 1.001759 1.000496 2.001831 1.997246 2.000260 0.000086 -0.000249 0.998226 0.997202 1.998000 2.001326 1.997402 2.001034 0.002951 0.995889 diff --git a/SD-VBS/benchmarks/sift/data/fullhd/out b/SD-VBS/benchmarks/sift/data/fullhd/out new file mode 100644 index 0000000..39c7bad --- /dev/null +++ b/SD-VBS/benchmarks/sift/data/fullhd/out @@ -0,0 +1,22344 @@ + +Benchmark - sift +Data set - fullhd + BEFORE OFRAMES PRINT = 3 20369 3840 2160 +30 5.000000 9905.000000 +31 5.000000 9943.000000 +32 5.000000 9951.000000 +33 5.000000 9954.000000 +34 5.000000 9969.000000 +35 5.000000 9981.000000 +36 5.000000 9985.000000 +37 5.000000 10001.000000 +38 5.000000 10005.000000 +39 5.000000 10081.000000 +40 5.000000 11404.000000 +41 5.000000 11423.000000 +42 5.000000 11425.000000 +43 5.000000 11430.000000 +44 5.000000 11452.000000 +45 5.000000 11462.000000 +46 5.000000 11467.000000 +47 5.000000 11471.000000 +48 5.000000 11481.000000 +49 5.000000 11486.000000 +50 5.000000 11500.000000 +51 5.000000 11502.000000 +52 5.000000 11506.000000 +53 5.000000 11509.000000 +54 5.000000 11519.000000 +55 5.000000 11524.000000 +56 5.000000 11530.000000 +57 5.000000 11534.000000 +58 5.000000 11540.000000 +59 5.000000 11544.000000 +60 5.000000 11549.000000 +61 5.000000 11567.000000 +62 5.000000 11569.000000 +63 5.000000 11574.000000 +64 5.000000 11582.000000 +65 5.000000 11585.000000 +66 5.000000 11587.000000 +67 5.000000 11592.000000 +68 5.000000 11596.000000 +69 5.000000 11599.000000 +70 5.000000 11604.000000 +71 5.000000 11606.000000 +72 5.000000 11631.000000 +73 5.000000 11636.000000 +74 5.000000 11642.000000 +75 5.000000 11655.000000 +76 6.000000 11541.000000 +77 6.000000 11545.000000 +78 6.000000 11550.000000 +79 6.000000 11560.000000 +80 6.000000 11567.000000 +81 6.000000 11573.000000 +82 6.000000 11583.000000 +83 6.000000 11592.000000 +84 6.000000 11598.000000 +85 6.000000 11607.000000 +86 6.000000 11613.000000 +87 6.000000 11617.000000 +88 6.000000 11637.000000 +89 6.000000 11753.000000 +90 6.000000 11807.000000 +91 6.000000 11809.000000 +92 6.000000 13055.000000 +93 6.000000 13080.000000 +94 6.000000 13138.000000 +95 6.000000 13172.000000 +96 6.000000 13176.000000 +97 6.000000 13196.000000 +98 6.000000 13238.000000 +99 6.000000 13243.000000 +100 6.000000 13292.000000 +101 6.000000 13300.000000 +102 6.000000 13302.000000 +103 6.000000 13306.000000 +104 7.000000 13235.000000 +105 7.000000 13249.000000 +106 8.000000 16078.000000 +107 9.000000 16642.000000 +108 10.000000 18298.000000 +109 10.000000 18319.000000 +110 10.000000 19424.000000 +111 10.000000 19462.000000 +112 10.000000 19598.000000 +113 11.000000 19959.000000 +114 11.000000 19972.000000 +115 11.000000 19975.000000 +116 11.000000 19983.000000 +117 11.000000 19996.000000 +118 12.000000 21627.000000 +119 12.000000 21631.000000 +120 12.000000 21707.000000 +121 14.000000 26132.000000 +122 14.000000 26135.000000 +123 15.000000 27983.000000 +124 16.000000 29529.000000 +125 16.000000 29580.000000 +126 20.000000 36477.000000 +127 21.000000 38049.000000 +128 22.000000 39681.000000 +129 23.000000 41265.000000 +130 23.000000 41383.000000 +131 23.000000 41457.000000 +132 30.000000 53163.000000 +133 34.000000 59824.000000 +134 37.000000 64836.000000 +135 37.000000 64846.000000 +136 37.000000 64860.000000 +137 37.000000 64893.000000 +138 38.000000 66513.000000 +139 44.000000 76721.000000 +140 45.000000 78238.000000 +141 45.000000 78286.000000 +142 45.000000 78290.000000 +143 46.000000 79989.000000 +144 47.000000 81704.000000 +145 51.000000 88356.000000 +146 53.000000 91732.000000 +147 68.000000 116896.000000 +148 69.000000 118580.000000 +149 429.000000 722306.000000 +150 431.000000 725654.000000 +151 431.000000 725672.000000 +152 431.000000 725685.000000 +153 431.000000 725699.000000 +154 432.000000 727410.000000 +155 433.000000 729029.000000 +156 433.000000 729044.000000 +157 433.000000 729051.000000 +158 434.000000 730666.000000 +159 434.000000 730685.000000 +160 434.000000 730719.000000 +161 434.000000 730755.000000 +162 437.000000 735741.000000 +163 437.000000 735789.000000 +164 437.000000 735796.000000 +165 437.000000 735837.000000 +166 438.000000 737424.000000 +167 438.000000 737445.000000 +168 438.000000 737449.000000 +169 438.000000 737511.000000 +170 439.000000 739088.000000 +171 439.000000 739098.000000 +172 439.000000 739133.000000 +173 439.000000 739180.000000 +174 440.000000 740732.000000 +175 440.000000 740764.000000 +176 440.000000 740789.000000 +177 440.000000 740848.000000 +178 441.000000 742410.000000 +179 441.000000 742420.000000 +180 441.000000 742435.000000 +181 441.000000 742440.000000 +182 441.000000 742473.000000 +183 442.000000 744131.000000 +184 442.000000 744136.000000 +185 443.000000 745839.000000 +186 446.000000 750841.000000 +187 446.000000 750937.000000 +188 447.000000 752540.000000 +189 447.000000 752559.000000 +190 447.000000 752579.000000 +191 447.000000 752634.000000 +192 448.000000 754162.000000 +193 448.000000 754166.000000 +194 448.000000 754194.000000 +195 448.000000 754208.000000 +196 448.000000 754214.000000 +197 448.000000 754218.000000 +198 448.000000 754230.000000 +199 448.000000 754235.000000 +200 449.000000 755876.000000 +201 449.000000 755927.000000 +202 449.000000 755930.000000 +203 449.000000 755944.000000 +204 451.000000 759225.000000 +205 451.000000 759231.000000 +206 452.000000 760900.000000 +207 454.000000 764360.000000 +208 454.000000 764363.000000 +209 455.000000 765898.000000 +210 455.000000 765965.000000 +211 455.000000 765985.000000 +212 455.000000 766001.000000 +213 455.000000 766014.000000 +214 455.000000 766019.000000 +215 455.000000 766023.000000 +216 456.000000 767610.000000 +217 456.000000 767654.000000 +218 457.000000 769286.000000 +219 457.000000 769314.000000 +220 457.000000 769320.000000 +221 457.000000 769340.000000 +222 458.000000 771031.000000 +223 459.000000 772644.000000 +224 460.000000 774307.000000 +225 460.000000 774397.000000 +226 461.000000 775972.000000 +227 461.000000 775983.000000 +228 461.000000 776020.000000 +229 461.000000 776023.000000 +230 461.000000 776025.000000 +231 461.000000 776058.000000 +232 461.000000 776083.000000 +233 461.000000 776090.000000 +234 461.000000 776093.000000 +235 461.000000 776096.000000 +236 461.000000 776127.000000 +237 462.000000 777672.000000 +238 462.000000 777676.000000 +239 462.000000 777731.000000 +240 462.000000 777745.000000 +241 462.000000 777751.000000 +242 462.000000 777766.000000 +243 462.000000 777783.000000 +244 463.000000 779366.000000 +245 463.000000 779376.000000 +246 464.000000 781004.000000 +247 465.000000 782711.000000 +248 465.000000 782730.000000 +249 466.000000 784394.000000 +250 468.000000 787798.000000 +251 469.000000 789508.000000 +252 469.000000 789529.000000 +253 470.000000 791142.000000 +254 470.000000 791174.000000 +255 470.000000 791181.000000 +256 470.000000 791200.000000 +257 470.000000 791215.000000 +258 470.000000 791253.000000 +259 471.000000 792806.000000 +260 471.000000 792826.000000 +261 471.000000 792842.000000 +262 485.000000 816415.000000 +263 485.000000 816417.000000 +264 485.000000 816431.000000 +265 485.000000 816436.000000 +266 485.000000 816463.000000 +267 485.000000 816498.000000 +268 486.000000 817972.000000 +269 486.000000 817981.000000 +270 486.000000 817983.000000 +271 486.000000 817996.000000 +272 486.000000 818006.000000 +273 486.000000 818016.000000 +274 486.000000 818020.000000 +275 486.000000 818023.000000 +276 486.000000 818026.000000 +277 486.000000 818029.000000 +278 486.000000 818031.000000 +279 486.000000 818039.000000 +280 486.000000 818041.000000 +281 486.000000 818047.000000 +282 486.000000 818054.000000 +283 486.000000 818058.000000 +284 486.000000 818063.000000 +285 486.000000 818074.000000 +286 486.000000 818080.000000 +287 486.000000 818084.000000 +288 486.000000 818091.000000 +289 486.000000 818128.000000 +290 486.000000 818159.000000 +291 486.000000 818175.000000 +292 486.000000 818182.000000 +293 487.000000 819672.000000 +294 487.000000 819693.000000 +295 487.000000 819714.000000 +296 490.000000 824720.000000 +297 491.000000 826373.000000 +298 491.000000 826376.000000 +299 491.000000 826386.000000 +300 492.000000 828062.000000 +301 493.000000 829756.000000 +302 493.000000 829766.000000 +303 493.000000 829786.000000 +304 494.000000 831442.000000 +305 496.000000 834884.000000 +306 500.000000 841568.000000 +307 501.000000 843236.000000 +308 501.000000 843243.000000 +309 503.000000 846588.000000 +310 508.000000 854952.000000 +311 509.000000 856612.000000 +312 509.000000 856636.000000 +313 509.000000 856646.000000 +314 510.000000 858340.000000 +315 510.000000 858382.000000 +316 514.000000 865078.000000 +317 523.000000 880152.000000 +318 523.000000 880156.000000 +319 733.000000 1231832.000000 +320 733.000000 1231897.000000 +321 734.000000 1233516.000000 +322 747.000000 1255338.000000 +323 749.000000 1258709.000000 +324 757.000000 1272118.000000 +325 757.000000 1272124.000000 +326 762.000000 1280535.000000 +327 763.000000 1282201.000000 +328 763.000000 1282219.000000 +329 764.000000 1283888.000000 +330 764.000000 1283890.000000 +331 764.000000 1283928.000000 +332 764.000000 1283932.000000 +333 769.000000 1292305.000000 +334 772.000000 1297306.000000 +335 772.000000 1298054.000000 +336 773.000000 1298981.000000 +337 773.000000 1298997.000000 +338 773.000000 1299001.000000 +339 773.000000 1299005.000000 +340 773.000000 1299008.000000 +341 773.000000 1299724.000000 +342 773.000000 1299738.000000 +343 773.000000 1299740.000000 +344 773.000000 1299744.000000 +345 774.000000 1300657.000000 +346 774.000000 1300674.000000 +347 774.000000 1300750.000000 +348 775.000000 1302332.000000 +349 776.000000 1304032.000000 +350 777.000000 1305769.000000 +351 777.000000 1305841.000000 +352 777.000000 1306498.000000 +353 778.000000 1307377.000000 +354 778.000000 1307446.000000 +355 778.000000 1307518.000000 +356 778.000000 1307562.000000 +357 778.000000 1308167.000000 +358 778.000000 1308173.000000 +359 778.000000 1308191.000000 +360 779.000000 1309105.000000 +361 779.000000 1309109.000000 +362 779.000000 1309814.000000 +363 779.000000 1309819.000000 +364 779.000000 1309830.000000 +365 779.000000 1309837.000000 +366 779.000000 1309862.000000 +367 779.000000 1309868.000000 +368 779.000000 1309875.000000 +369 780.000000 1311521.000000 +370 785.000000 1319879.000000 +371 785.000000 1319887.000000 +372 785.000000 1319890.000000 +373 785.000000 1319892.000000 +374 785.000000 1319903.000000 +375 785.000000 1319907.000000 +376 785.000000 1319912.000000 +377 785.000000 1319914.000000 +378 785.000000 1319917.000000 +379 785.000000 1320038.000000 +380 786.000000 1320803.000000 +381 786.000000 1320807.000000 +382 786.000000 1320813.000000 +383 786.000000 1320827.000000 +384 786.000000 1320837.000000 +385 786.000000 1320848.000000 +386 786.000000 1320851.000000 +387 786.000000 1320855.000000 +388 786.000000 1320859.000000 +389 786.000000 1320876.000000 +390 786.000000 1320883.000000 +391 786.000000 1321556.000000 +392 786.000000 1321580.000000 +393 786.000000 1321601.000000 +394 786.000000 1321608.000000 +395 786.000000 1321613.000000 +396 786.000000 1321618.000000 +397 786.000000 1321621.000000 +398 786.000000 1321623.000000 +399 786.000000 1321626.000000 +400 786.000000 1321631.000000 +401 786.000000 1321635.000000 +402 786.000000 1321645.000000 +403 786.000000 1321650.000000 +404 786.000000 1321656.000000 +405 786.000000 1321686.000000 +406 786.000000 1321690.000000 +407 786.000000 1321700.000000 +408 786.000000 1321703.000000 +409 786.000000 1321714.000000 +410 786.000000 1321746.000000 +411 787.000000 1322491.000000 +412 787.000000 1322501.000000 +413 787.000000 1322504.000000 +414 787.000000 1322511.000000 +415 787.000000 1322515.000000 +416 787.000000 1322552.000000 +417 787.000000 1322559.000000 +418 787.000000 1322621.000000 +419 787.000000 1322713.000000 +420 787.000000 1322717.000000 +421 787.000000 1323340.000000 +422 787.000000 1323360.000000 +423 787.000000 1323388.000000 +424 787.000000 1323410.000000 +425 787.000000 1323428.000000 +426 788.000000 1324178.000000 +427 788.000000 1324229.000000 +428 788.000000 1324297.000000 +429 788.000000 1324315.000000 +430 788.000000 1324322.000000 +431 788.000000 1324326.000000 +432 788.000000 1324335.000000 +433 788.000000 1324339.000000 +434 789.000000 1325962.000000 +435 789.000000 1326782.000000 +436 791.000000 1330138.000000 +437 792.000000 1330980.000000 +438 793.000000 1332567.000000 +439 793.000000 1332571.000000 +440 793.000000 1332577.000000 +441 793.000000 1332582.000000 +442 793.000000 1332584.000000 +443 793.000000 1332587.000000 +444 793.000000 1333453.000000 +445 793.000000 1333473.000000 +446 793.000000 1333516.000000 +447 794.000000 1334236.000000 +448 794.000000 1334239.000000 +449 794.000000 1334243.000000 +450 794.000000 1334271.000000 +451 794.000000 1334310.000000 +452 794.000000 1335024.000000 +453 794.000000 1335044.000000 +454 794.000000 1335047.000000 +455 794.000000 1335050.000000 +456 794.000000 1335071.000000 +457 794.000000 1335099.000000 +458 794.000000 1335110.000000 +459 794.000000 1335119.000000 +460 794.000000 1335130.000000 +461 794.000000 1335172.000000 +462 794.000000 1335210.000000 +463 795.000000 1336023.000000 +464 795.000000 1336026.000000 +465 795.000000 1336680.000000 +466 795.000000 1336684.000000 +467 795.000000 1336692.000000 +468 795.000000 1336699.000000 +469 795.000000 1336714.000000 +470 795.000000 1336718.000000 +471 795.000000 1336746.000000 +472 795.000000 1336757.000000 +473 795.000000 1336776.000000 +474 795.000000 1336786.000000 +475 795.000000 1336803.000000 +476 795.000000 1336823.000000 +477 795.000000 1336828.000000 +478 795.000000 1336847.000000 +479 795.000000 1336870.000000 +480 795.000000 1336886.000000 +481 796.000000 1337638.000000 +482 796.000000 1337641.000000 +483 796.000000 1337645.000000 +484 796.000000 1337648.000000 +485 796.000000 1337659.000000 +486 796.000000 1337662.000000 +487 796.000000 1337710.000000 +488 796.000000 1337782.000000 +489 796.000000 1337833.000000 +490 796.000000 1338348.000000 +491 796.000000 1338401.000000 +492 796.000000 1338449.000000 +493 797.000000 1339315.000000 +494 797.000000 1339331.000000 +495 797.000000 1339335.000000 +496 797.000000 1339345.000000 +497 797.000000 1339363.000000 +498 797.000000 1339425.000000 +499 797.000000 1339427.000000 +500 797.000000 1339430.000000 +501 797.000000 1339510.000000 +502 797.000000 1339522.000000 +503 797.000000 1340047.000000 +504 797.000000 1340102.000000 +505 797.000000 1340142.000000 +506 798.000000 1341039.000000 +507 798.000000 1341101.000000 +508 798.000000 1341187.000000 +509 798.000000 1341206.000000 +510 798.000000 1341713.000000 +511 798.000000 1341734.000000 +512 798.000000 1341737.000000 +513 798.000000 1341751.000000 +514 798.000000 1341802.000000 +515 799.000000 1343532.000000 +516 799.000000 1343556.000000 +517 799.000000 1343580.000000 +518 800.000000 1344395.000000 +519 800.000000 1344452.000000 +520 800.000000 1344457.000000 +521 800.000000 1344543.000000 +522 800.000000 1345138.000000 +523 800.000000 1345169.000000 +524 800.000000 1345184.000000 +525 800.000000 1345257.000000 +526 801.000000 1346069.000000 +527 801.000000 1346134.000000 +528 801.000000 1346855.000000 +529 801.000000 1346904.000000 +530 801.000000 1346946.000000 +531 801.000000 1346960.000000 +532 801.000000 1346962.000000 +533 802.000000 1347752.000000 +534 802.000000 1348450.000000 +535 802.000000 1348540.000000 +536 802.000000 1348563.000000 +537 802.000000 1348634.000000 +538 802.000000 1348648.000000 +539 802.000000 1348654.000000 +540 803.000000 1349450.000000 +541 803.000000 1349515.000000 +542 803.000000 1349518.000000 +543 803.000000 1350196.000000 +544 803.000000 1350206.000000 +545 803.000000 1350228.000000 +546 803.000000 1350239.000000 +547 803.000000 1350250.000000 +548 803.000000 1350254.000000 +549 803.000000 1350268.000000 +550 803.000000 1350278.000000 +551 803.000000 1350288.000000 +552 803.000000 1350292.000000 +553 803.000000 1350303.000000 +554 804.000000 1351126.000000 +555 804.000000 1351137.000000 +556 804.000000 1351154.000000 +557 804.000000 1351161.000000 +558 804.000000 1351184.000000 +559 804.000000 1351824.000000 +560 804.000000 1351828.000000 +561 804.000000 1351834.000000 +562 804.000000 1351836.000000 +563 804.000000 1351841.000000 +564 804.000000 1351847.000000 +565 804.000000 1351852.000000 +566 804.000000 1351856.000000 +567 804.000000 1351862.000000 +568 804.000000 1351865.000000 +569 804.000000 1351871.000000 +570 804.000000 1351952.000000 +571 804.000000 1351991.000000 +572 804.000000 1352004.000000 +573 805.000000 1352823.000000 +574 805.000000 1352867.000000 +575 805.000000 1352871.000000 +576 805.000000 1352905.000000 +577 805.000000 1353497.000000 +578 805.000000 1353511.000000 +579 805.000000 1353660.000000 +580 807.000000 1356087.000000 +581 807.000000 1356092.000000 +582 807.000000 1356097.000000 +583 807.000000 1356101.000000 +584 807.000000 1356115.000000 +585 807.000000 1356129.000000 +586 807.000000 1356145.000000 +587 807.000000 1356153.000000 +588 807.000000 1356259.000000 +589 807.000000 1356833.000000 +590 807.000000 1356890.000000 +591 807.000000 1356898.000000 +592 807.000000 1356929.000000 +593 807.000000 1356944.000000 +594 807.000000 1357014.000000 +595 808.000000 1357760.000000 +596 808.000000 1357785.000000 +597 808.000000 1357791.000000 +598 808.000000 1357801.000000 +599 808.000000 1357805.000000 +600 808.000000 1357816.000000 +601 808.000000 1357819.000000 +602 808.000000 1357822.000000 +603 808.000000 1357830.000000 +604 808.000000 1357838.000000 +605 808.000000 1357854.000000 +606 808.000000 1357887.000000 +607 808.000000 1357890.000000 +608 808.000000 1357898.000000 +609 808.000000 1357925.000000 +610 808.000000 1357931.000000 +611 808.000000 1357934.000000 +612 808.000000 1357946.000000 +613 808.000000 1358012.000000 +614 808.000000 1358014.000000 +615 808.000000 1358509.000000 +616 808.000000 1358516.000000 +617 808.000000 1358519.000000 +618 808.000000 1358524.000000 +619 808.000000 1358544.000000 +620 808.000000 1358551.000000 +621 808.000000 1358561.000000 +622 808.000000 1358564.000000 +623 808.000000 1358567.000000 +624 808.000000 1358588.000000 +625 808.000000 1358597.000000 +626 808.000000 1358644.000000 +627 808.000000 1358656.000000 +628 808.000000 1358696.000000 +629 809.000000 1359413.000000 +630 809.000000 1359416.000000 +631 809.000000 1359422.000000 +632 809.000000 1359427.000000 +633 809.000000 1359444.000000 +634 809.000000 1359557.000000 +635 809.000000 1360214.000000 +636 809.000000 1360227.000000 +637 809.000000 1360238.000000 +638 809.000000 1360275.000000 +639 809.000000 1360285.000000 +640 809.000000 1360298.000000 +641 809.000000 1360313.000000 +642 809.000000 1360320.000000 +643 809.000000 1360343.000000 +644 809.000000 1360366.000000 +645 809.000000 1360386.000000 +646 809.000000 1360396.000000 +647 809.000000 1360400.000000 +648 809.000000 1360410.000000 +649 810.000000 1361202.000000 +650 810.000000 1362062.000000 +651 810.000000 1362086.000000 +652 811.000000 1362890.000000 +653 811.000000 1362899.000000 +654 811.000000 1362912.000000 +655 811.000000 1362920.000000 +656 811.000000 1362944.000000 +657 811.000000 1362958.000000 +658 811.000000 1362992.000000 +659 812.000000 1364583.000000 +660 812.000000 1364627.000000 +661 812.000000 1364636.000000 +662 812.000000 1365257.000000 +663 812.000000 1365397.000000 +664 813.000000 1366134.000000 +665 813.000000 1366991.000000 +666 813.000000 1367080.000000 +667 814.000000 1368053.000000 +668 814.000000 1368634.000000 +669 814.000000 1368701.000000 +670 814.000000 1368790.000000 +671 815.000000 1369638.000000 +672 815.000000 1369657.000000 +673 815.000000 1369671.000000 +674 815.000000 1369743.000000 +675 815.000000 1370311.000000 +676 815.000000 1370326.000000 +677 815.000000 1370338.000000 +678 815.000000 1370340.000000 +679 815.000000 1370346.000000 +680 815.000000 1370400.000000 +681 815.000000 1370429.000000 +682 815.000000 1370453.000000 +683 815.000000 1370464.000000 +684 816.000000 1371164.000000 +685 816.000000 1371187.000000 +686 816.000000 1371193.000000 +687 816.000000 1371313.000000 +688 816.000000 1371323.000000 +689 816.000000 1371332.000000 +690 816.000000 1371461.000000 +691 816.000000 1372001.000000 +692 816.000000 1372004.000000 +693 816.000000 1372012.000000 +694 816.000000 1372044.000000 +695 816.000000 1372055.000000 +696 816.000000 1372074.000000 +697 816.000000 1372096.000000 +698 816.000000 1372158.000000 +699 816.000000 1372168.000000 +700 817.000000 1372875.000000 +701 817.000000 1372887.000000 +702 817.000000 1372897.000000 +703 817.000000 1372901.000000 +704 817.000000 1372939.000000 +705 817.000000 1372949.000000 +706 817.000000 1372955.000000 +707 817.000000 1372959.000000 +708 817.000000 1372987.000000 +709 817.000000 1373014.000000 +710 817.000000 1373044.000000 +711 817.000000 1373058.000000 +712 817.000000 1373066.000000 +713 817.000000 1373106.000000 +714 817.000000 1373120.000000 +715 817.000000 1373127.000000 +716 817.000000 1373642.000000 +717 817.000000 1373716.000000 +718 817.000000 1373730.000000 +719 817.000000 1373746.000000 +720 817.000000 1373756.000000 +721 817.000000 1373783.000000 +722 817.000000 1373807.000000 +723 817.000000 1373844.000000 +724 817.000000 1373854.000000 +725 818.000000 1374532.000000 +726 818.000000 1374538.000000 +727 818.000000 1374571.000000 +728 818.000000 1374595.000000 +729 818.000000 1374601.000000 +730 818.000000 1374642.000000 +731 818.000000 1374648.000000 +732 818.000000 1374653.000000 +733 818.000000 1374657.000000 +734 818.000000 1374676.000000 +735 818.000000 1374687.000000 +736 818.000000 1374705.000000 +737 818.000000 1374718.000000 +738 818.000000 1374732.000000 +739 818.000000 1374736.000000 +740 818.000000 1374763.000000 +741 818.000000 1374776.000000 +742 818.000000 1374793.000000 +743 818.000000 1374797.000000 +744 819.000000 1376267.000000 +745 819.000000 1376285.000000 +746 819.000000 1376305.000000 +747 819.000000 1376340.000000 +748 819.000000 1376401.000000 +749 819.000000 1376470.000000 +750 819.000000 1377109.000000 +751 819.000000 1377125.000000 +752 820.000000 1377951.000000 +753 820.000000 1378119.000000 +754 820.000000 1378808.000000 +755 821.000000 1380472.000000 +756 822.000000 1381270.000000 +757 822.000000 1381328.000000 +758 822.000000 1381390.000000 +759 822.000000 1381434.000000 +760 822.000000 1381472.000000 +761 822.000000 1381489.000000 +762 822.000000 1381522.000000 +763 823.000000 1382922.000000 +764 823.000000 1382947.000000 +765 823.000000 1382953.000000 +766 823.000000 1383006.000000 +767 823.000000 1383063.000000 +768 823.000000 1383111.000000 +769 823.000000 1383768.000000 +770 823.000000 1383826.000000 +771 823.000000 1383898.000000 +772 824.000000 1384624.000000 +773 824.000000 1384636.000000 +774 824.000000 1384709.000000 +775 824.000000 1384715.000000 +776 824.000000 1384788.000000 +777 824.000000 1385543.000000 +778 825.000000 1386300.000000 +779 825.000000 1386321.000000 +780 825.000000 1386375.000000 +781 825.000000 1386379.000000 +782 825.000000 1386382.000000 +783 825.000000 1386427.000000 +784 825.000000 1386451.000000 +785 825.000000 1386523.000000 +786 825.000000 1387141.000000 +787 825.000000 1387176.000000 +788 825.000000 1387276.000000 +789 826.000000 1387964.000000 +790 826.000000 1388066.000000 +791 826.000000 1388117.000000 +792 826.000000 1388120.000000 +793 826.000000 1388137.000000 +794 826.000000 1388141.000000 +795 826.000000 1388144.000000 +796 826.000000 1388155.000000 +797 826.000000 1388172.000000 +798 826.000000 1388186.000000 +799 826.000000 1388213.000000 +800 826.000000 1388237.000000 +801 826.000000 1388247.000000 +802 826.000000 1388791.000000 +803 826.000000 1388812.000000 +804 826.000000 1388825.000000 +805 826.000000 1388831.000000 +806 826.000000 1388931.000000 +807 826.000000 1388940.000000 +808 826.000000 1388954.000000 +809 827.000000 1389807.000000 +810 827.000000 1389848.000000 +811 827.000000 1389859.000000 +812 827.000000 1389896.000000 +813 827.000000 1389899.000000 +814 827.000000 1389910.000000 +815 827.000000 1389942.000000 +816 827.000000 1390522.000000 +817 827.000000 1390524.000000 +818 827.000000 1390540.000000 +819 827.000000 1390576.000000 +820 827.000000 1390594.000000 +821 827.000000 1390607.000000 +822 827.000000 1390624.000000 +823 827.000000 1390632.000000 +824 828.000000 1391401.000000 +825 828.000000 1391457.000000 +826 828.000000 1391524.000000 +827 828.000000 1391535.000000 +828 828.000000 1391584.000000 +829 828.000000 1391587.000000 +830 828.000000 1391617.000000 +831 829.000000 1393191.000000 +832 829.000000 1393202.000000 +833 829.000000 1393316.000000 +834 829.000000 1393324.000000 +835 829.000000 1393877.000000 +836 829.000000 1393922.000000 +837 830.000000 1394660.000000 +838 830.000000 1394675.000000 +839 830.000000 1394751.000000 +840 830.000000 1394755.000000 +841 830.000000 1394768.000000 +842 830.000000 1394799.000000 +843 830.000000 1394823.000000 +844 830.000000 1394828.000000 +845 830.000000 1394833.000000 +846 830.000000 1394837.000000 +847 830.000000 1394840.000000 +848 830.000000 1394913.000000 +849 830.000000 1394929.000000 +850 831.000000 1396358.000000 +851 831.000000 1396365.000000 +852 831.000000 1396372.000000 +853 831.000000 1396413.000000 +854 831.000000 1396484.000000 +855 831.000000 1396490.000000 +856 831.000000 1396596.000000 +857 831.000000 1396599.000000 +858 831.000000 1396603.000000 +859 831.000000 1396606.000000 +860 832.000000 1398024.000000 +861 832.000000 1398173.000000 +862 832.000000 1398272.000000 +863 832.000000 1398912.000000 +864 832.000000 1398952.000000 +865 832.000000 1398959.000000 +866 832.000000 1398970.000000 +867 833.000000 1399782.000000 +868 833.000000 1399784.000000 +869 833.000000 1399901.000000 +870 833.000000 1399987.000000 +871 833.000000 1400615.000000 +872 833.000000 1400630.000000 +873 833.000000 1400652.000000 +874 834.000000 1401388.000000 +875 834.000000 1401390.000000 +876 834.000000 1401422.000000 +877 834.000000 1401480.000000 +878 834.000000 1401529.000000 +879 834.000000 1401534.000000 +880 834.000000 1401567.000000 +881 834.000000 1401570.000000 +882 834.000000 1401616.000000 +883 834.000000 1401625.000000 +884 834.000000 1402292.000000 +885 834.000000 1402324.000000 +886 835.000000 1403292.000000 +887 835.000000 1403299.000000 +888 835.000000 1403308.000000 +889 835.000000 1403966.000000 +890 835.000000 1403980.000000 +891 835.000000 1403984.000000 +892 835.000000 1403999.000000 +893 836.000000 1404961.000000 +894 836.000000 1405658.000000 +895 837.000000 1406477.000000 +896 837.000000 1406482.000000 +897 837.000000 1406486.000000 +898 837.000000 1406724.000000 +899 837.000000 1406738.000000 +900 838.000000 1408263.000000 +901 838.000000 1408335.000000 +902 838.000000 1408393.000000 +903 838.000000 1408407.000000 +904 839.000000 1409850.000000 +905 839.000000 1409853.000000 +906 839.000000 1409947.000000 +907 839.000000 1409953.000000 +908 839.000000 1409995.000000 +909 839.000000 1410002.000000 +910 839.000000 1410006.000000 +911 839.000000 1410040.000000 +912 839.000000 1410056.000000 +913 839.000000 1410059.000000 +914 839.000000 1410067.000000 +915 839.000000 1410104.000000 +916 839.000000 1410110.000000 +917 840.000000 1411512.000000 +918 840.000000 1411637.000000 +919 840.000000 1411640.000000 +920 840.000000 1411672.000000 +921 840.000000 1411733.000000 +922 840.000000 1411788.000000 +923 840.000000 1411794.000000 +924 841.000000 1413130.000000 +925 841.000000 1413134.000000 +926 841.000000 1413162.000000 +927 841.000000 1413229.000000 +928 841.000000 1413244.000000 +929 841.000000 1413249.000000 +930 841.000000 1413255.000000 +931 841.000000 1413259.000000 +932 841.000000 1413265.000000 +933 841.000000 1413270.000000 +934 841.000000 1413273.000000 +935 841.000000 1413278.000000 +936 841.000000 1413284.000000 +937 841.000000 1413341.000000 +938 841.000000 1413345.000000 +939 841.000000 1413437.000000 +940 842.000000 1414805.000000 +941 842.000000 1414921.000000 +942 842.000000 1414968.000000 +943 842.000000 1414976.000000 +944 842.000000 1415017.000000 +945 842.000000 1415048.000000 +946 842.000000 1415140.000000 +947 843.000000 1416581.000000 +948 843.000000 1416592.000000 +949 843.000000 1416598.000000 +950 843.000000 1416750.000000 +951 843.000000 1416812.000000 +952 843.000000 1416817.000000 +953 844.000000 1418208.000000 +954 844.000000 1418265.000000 +955 844.000000 1418348.000000 +956 844.000000 1418353.000000 +957 844.000000 1418367.000000 +958 844.000000 1418420.000000 +959 844.000000 1418425.000000 +960 844.000000 1418436.000000 +961 844.000000 1418474.000000 +962 844.000000 1418525.000000 +963 844.000000 1418532.000000 +964 845.000000 1419835.000000 +965 845.000000 1419873.000000 +966 845.000000 1420050.000000 +967 845.000000 1420096.000000 +968 845.000000 1420113.000000 +969 845.000000 1420123.000000 +970 845.000000 1420129.000000 +971 845.000000 1420133.000000 +972 845.000000 1420202.000000 +973 845.000000 1420208.000000 +974 846.000000 1421518.000000 +975 846.000000 1421520.000000 +976 846.000000 1421574.000000 +977 846.000000 1421584.000000 +978 846.000000 1421617.000000 +979 846.000000 1421703.000000 +980 846.000000 1421823.000000 +981 847.000000 1423245.000000 +982 847.000000 1423259.000000 +983 847.000000 1423348.000000 +984 848.000000 1425025.000000 +985 848.000000 1425159.000000 +986 848.000000 1425232.000000 +987 849.000000 1426560.000000 +988 849.000000 1426582.000000 +989 849.000000 1426598.000000 +990 849.000000 1426602.000000 +991 849.000000 1426636.000000 +992 849.000000 1426652.000000 +993 849.000000 1426670.000000 +994 849.000000 1426695.000000 +995 849.000000 1426777.000000 +996 849.000000 1426833.000000 +997 849.000000 1426843.000000 +998 849.000000 1426858.000000 +999 849.000000 1426939.000000 +1000 850.000000 1428243.000000 +1001 850.000000 1428311.000000 +1002 850.000000 1428326.000000 +1003 850.000000 1428369.000000 +1004 850.000000 1428393.000000 +1005 850.000000 1428399.000000 +1006 850.000000 1428461.000000 +1007 850.000000 1428464.000000 +1008 850.000000 1428471.000000 +1009 850.000000 1428488.000000 +1010 850.000000 1428509.000000 +1011 850.000000 1428529.000000 +1012 850.000000 1428534.000000 +1013 850.000000 1428549.000000 +1014 850.000000 1428572.000000 +1015 850.000000 1428595.000000 +1016 850.000000 1428601.000000 +1017 850.000000 1428608.000000 +1018 850.000000 1428615.000000 +1019 851.000000 1429902.000000 +1020 851.000000 1429926.000000 +1021 851.000000 1429929.000000 +1022 851.000000 1430036.000000 +1023 851.000000 1430041.000000 +1024 851.000000 1430119.000000 +1025 851.000000 1430121.000000 +1026 851.000000 1430123.000000 +1027 851.000000 1430127.000000 +1028 851.000000 1430155.000000 +1029 851.000000 1430185.000000 +1030 851.000000 1430233.000000 +1031 851.000000 1430238.000000 +1032 851.000000 1430240.000000 +1033 851.000000 1430245.000000 +1034 851.000000 1430247.000000 +1035 851.000000 1430261.000000 +1036 851.000000 1430271.000000 +1037 852.000000 1431595.000000 +1038 852.000000 1431793.000000 +1039 852.000000 1431964.000000 +1040 852.000000 1431971.000000 +1041 853.000000 1433518.000000 +1042 853.000000 1433522.000000 +1043 854.000000 1434956.000000 +1044 854.000000 1435018.000000 +1045 854.000000 1435136.000000 +1046 855.000000 1436628.000000 +1047 855.000000 1436634.000000 +1048 855.000000 1436705.000000 +1049 855.000000 1436809.000000 +1050 855.000000 1436871.000000 +1051 855.000000 1436894.000000 +1052 855.000000 1436976.000000 +1053 856.000000 1438292.000000 +1054 856.000000 1438296.000000 +1055 856.000000 1438320.000000 +1056 856.000000 1438344.000000 +1057 856.000000 1438356.000000 +1058 856.000000 1438376.000000 +1059 856.000000 1438397.000000 +1060 856.000000 1438414.000000 +1061 856.000000 1438432.000000 +1062 856.000000 1438460.000000 +1063 856.000000 1438474.000000 +1064 856.000000 1438479.000000 +1065 856.000000 1438483.000000 +1066 856.000000 1438504.000000 +1067 856.000000 1438507.000000 +1068 856.000000 1438514.000000 +1069 856.000000 1438517.000000 +1070 856.000000 1438520.000000 +1071 856.000000 1438547.000000 +1072 857.000000 1440017.000000 +1073 857.000000 1440145.000000 +1074 857.000000 1440203.000000 +1075 857.000000 1440259.000000 +1076 857.000000 1440347.000000 +1077 858.000000 1441646.000000 +1078 858.000000 1441822.000000 +1079 858.000000 1441897.000000 +1080 858.000000 1441929.000000 +1081 858.000000 1441945.000000 +1082 858.000000 1441949.000000 +1083 858.000000 1441956.000000 +1084 858.000000 1441989.000000 +1085 858.000000 1441993.000000 +1086 858.000000 1441997.000000 +1087 858.000000 1442000.000000 +1088 858.000000 1442004.000000 +1089 858.000000 1442031.000000 +1090 858.000000 1442041.000000 +1091 858.000000 1442047.000000 +1092 859.000000 1443639.000000 +1093 859.000000 1443642.000000 +1094 859.000000 1443655.000000 +1095 859.000000 1443659.000000 +1096 859.000000 1443702.000000 +1097 859.000000 1443731.000000 +1098 860.000000 1445122.000000 +1099 861.000000 1446678.000000 +1100 861.000000 1446688.000000 +1101 861.000000 1446768.000000 +1102 861.000000 1447010.000000 +1103 861.000000 1447023.000000 +1104 861.000000 1447064.000000 +1105 862.000000 1448364.000000 +1106 862.000000 1448406.000000 +1107 862.000000 1448486.000000 +1108 863.000000 1450150.000000 +1109 863.000000 1450152.000000 +1110 863.000000 1450180.000000 +1111 863.000000 1450249.000000 +1112 863.000000 1450287.000000 +1113 863.000000 1450291.000000 +1114 863.000000 1450300.000000 +1115 863.000000 1450387.000000 +1116 864.000000 1451712.000000 +1117 864.000000 1451731.000000 +1118 864.000000 1451742.000000 +1119 864.000000 1451753.000000 +1120 864.000000 1451760.000000 +1121 864.000000 1451818.000000 +1122 864.000000 1451836.000000 +1123 864.000000 1451852.000000 +1124 864.000000 1451865.000000 +1125 864.000000 1451874.000000 +1126 864.000000 1451881.000000 +1127 864.000000 1451886.000000 +1128 864.000000 1451889.000000 +1129 864.000000 1451913.000000 +1130 864.000000 1451918.000000 +1131 864.000000 1451937.000000 +1132 864.000000 1451943.000000 +1133 864.000000 1451953.000000 +1134 864.000000 1451962.000000 +1135 864.000000 1451984.000000 +1136 864.000000 1451991.000000 +1137 864.000000 1451995.000000 +1138 864.000000 1452025.000000 +1139 864.000000 1452044.000000 +1140 864.000000 1452070.000000 +1141 864.000000 1452073.000000 +1142 864.000000 1452077.000000 +1143 864.000000 1452093.000000 +1144 865.000000 1453388.000000 +1145 865.000000 1453416.000000 +1146 865.000000 1453430.000000 +1147 865.000000 1453458.000000 +1148 865.000000 1453467.000000 +1149 865.000000 1453472.000000 +1150 865.000000 1453552.000000 +1151 865.000000 1453589.000000 +1152 865.000000 1453627.000000 +1153 865.000000 1453709.000000 +1154 865.000000 1453767.000000 +1155 865.000000 1453781.000000 +1156 865.000000 1453785.000000 +1157 865.000000 1453801.000000 +1158 866.000000 1455129.000000 +1159 866.000000 1455134.000000 +1160 866.000000 1455216.000000 +1161 866.000000 1455443.000000 +1162 866.000000 1455457.000000 +1163 866.000000 1455477.000000 +1164 867.000000 1456796.000000 +1165 867.000000 1457148.000000 +1166 867.000000 1457151.000000 +1167 869.000000 1460198.000000 +1168 870.000000 1461802.000000 +1169 870.000000 1461826.000000 +1170 870.000000 1462034.000000 +1171 870.000000 1462038.000000 +1172 870.000000 1462081.000000 +1173 871.000000 1463450.000000 +1174 871.000000 1463554.000000 +1175 871.000000 1463590.000000 +1176 871.000000 1463592.000000 +1177 871.000000 1463673.000000 +1178 871.000000 1463703.000000 +1179 871.000000 1463722.000000 +1180 871.000000 1463726.000000 +1181 871.000000 1463833.000000 +1182 872.000000 1465114.000000 +1183 872.000000 1465124.000000 +1184 872.000000 1465135.000000 +1185 872.000000 1465258.000000 +1186 872.000000 1465349.000000 +1187 872.000000 1465373.000000 +1188 872.000000 1465417.000000 +1189 872.000000 1465422.000000 +1190 872.000000 1465507.000000 +1191 872.000000 1465527.000000 +1192 872.000000 1465537.000000 +1193 873.000000 1466834.000000 +1194 873.000000 1466838.000000 +1195 873.000000 1466846.000000 +1196 873.000000 1466924.000000 +1197 873.000000 1466981.000000 +1198 873.000000 1467010.000000 +1199 873.000000 1467058.000000 +1200 873.000000 1467106.000000 +1201 873.000000 1467135.000000 +1202 874.000000 1468772.000000 +1203 874.000000 1468856.000000 +1204 874.000000 1468883.000000 +1205 876.000000 1471829.000000 +1206 876.000000 1472157.000000 +1207 877.000000 1473512.000000 +1208 877.000000 1473524.000000 +1209 878.000000 1475212.000000 +1210 878.000000 1475218.000000 +1211 878.000000 1475222.000000 +1212 878.000000 1475270.000000 +1213 878.000000 1475281.000000 +1214 878.000000 1475285.000000 +1215 878.000000 1475297.000000 +1216 878.000000 1475306.000000 +1217 878.000000 1475400.000000 +1218 878.000000 1475444.000000 +1219 878.000000 1475468.000000 +1220 878.000000 1475477.000000 +1221 878.000000 1475569.000000 +1222 878.000000 1475614.000000 +1223 878.000000 1475624.000000 +1224 879.000000 1476954.000000 +1225 879.000000 1476970.000000 +1226 879.000000 1476993.000000 +1227 879.000000 1477209.000000 +1228 879.000000 1477243.000000 +1229 879.000000 1477297.000000 +1230 879.000000 1477301.000000 +1231 880.000000 1478539.000000 +1232 880.000000 1478693.000000 +1233 880.000000 1478712.000000 +1234 880.000000 1478814.000000 +1235 880.000000 1478967.000000 +1236 880.000000 1478991.000000 +1237 881.000000 1480286.000000 +1238 881.000000 1480368.000000 +1239 882.000000 1481894.000000 +1240 882.000000 1481956.000000 +1241 882.000000 1481962.000000 +1242 884.000000 1485337.000000 +1243 884.000000 1485615.000000 +1244 884.000000 1485618.000000 +1245 884.000000 1485627.000000 +1246 885.000000 1487026.000000 +1247 885.000000 1490592.000000 +1248 886.000000 1488590.000000 +1249 886.000000 1488638.000000 +1250 886.000000 1488782.000000 +1251 886.000000 1488991.000000 +1252 886.000000 1489026.000000 +1253 886.000000 1492267.000000 +1254 887.000000 1490265.000000 +1255 887.000000 1490314.000000 +1256 887.000000 1490346.000000 +1257 887.000000 1490348.000000 +1258 887.000000 1490380.000000 +1259 887.000000 1490424.000000 +1260 887.000000 1490438.000000 +1261 887.000000 1490625.000000 +1262 887.000000 1490698.000000 +1263 887.000000 1490720.000000 +1264 888.000000 1492076.000000 +1265 889.000000 1493670.000000 +1266 889.000000 1493760.000000 +1267 892.000000 1498718.000000 +1268 893.000000 1500355.000000 +1269 893.000000 1500363.000000 +1270 893.000000 1500380.000000 +1271 893.000000 1500410.000000 +1272 894.000000 1501987.000000 +1273 894.000000 1502032.000000 +1274 894.000000 1502046.000000 +1275 894.000000 1502102.000000 +1276 894.000000 1502270.000000 +1277 894.000000 1502382.000000 +1278 895.000000 1503778.000000 +1279 895.000000 1503826.000000 +1280 895.000000 1503864.000000 +1281 895.000000 1503868.000000 +1282 895.000000 1503883.000000 +1283 895.000000 1503994.000000 +1284 896.000000 1505342.000000 +1285 896.000000 1505364.000000 +1286 896.000000 1505405.000000 +1287 896.000000 1505414.000000 +1288 896.000000 1505516.000000 +1289 896.000000 1505538.000000 +1290 896.000000 1505568.000000 +1291 896.000000 1505602.000000 +1292 896.000000 1505694.000000 +1293 897.000000 1507052.000000 +1294 897.000000 1507062.000000 +1295 897.000000 1507089.000000 +1296 897.000000 1507106.000000 +1297 897.000000 1507118.000000 +1298 897.000000 1507127.000000 +1299 897.000000 1507151.000000 +1300 897.000000 1507214.000000 +1301 898.000000 1508739.000000 +1302 899.000000 1510371.000000 +1303 899.000000 1510416.000000 +1304 902.000000 1515558.000000 +1305 903.000000 1517410.000000 +1306 904.000000 1518793.000000 +1307 904.000000 1518801.000000 +1308 904.000000 1518816.000000 +1309 904.000000 1518832.000000 +1310 904.000000 1518866.000000 +1311 904.000000 1518878.000000 +1312 904.000000 1518907.000000 +1313 904.000000 1518926.000000 +1314 904.000000 1518998.000000 +1315 904.000000 1519052.000000 +1316 905.000000 1520454.000000 +1317 905.000000 1520488.000000 +1318 906.000000 1522147.000000 +1319 907.000000 1524048.000000 +1320 908.000000 1525742.000000 +1321 909.000000 1527192.000000 +1322 909.000000 1527254.000000 +1323 909.000000 1527274.000000 +1324 909.000000 1527298.000000 +1325 909.000000 1527420.000000 +1326 910.000000 1528816.000000 +1327 910.000000 1528825.000000 +1328 910.000000 1528829.000000 +1329 910.000000 1528857.000000 +1330 910.000000 1528877.000000 +1331 910.000000 1528910.000000 +1332 910.000000 1529002.000000 +1333 910.000000 1529070.000000 +1334 911.000000 1530605.000000 +1335 911.000000 1530630.000000 +1336 912.000000 1532266.000000 +1337 913.000000 1533956.000000 +1338 914.000000 1535622.000000 +1339 917.000000 1540670.000000 +1340 917.000000 1540738.000000 +1341 917.000000 1540766.000000 +1342 917.000000 1540793.000000 +1343 917.000000 1540836.000000 +1344 918.000000 1542263.000000 +1345 918.000000 1542271.000000 +1346 918.000000 1542283.000000 +1347 918.000000 1542287.000000 +1348 918.000000 1542297.000000 +1349 918.000000 1542300.000000 +1350 918.000000 1542321.000000 +1351 918.000000 1542338.000000 +1352 918.000000 1542386.000000 +1353 918.000000 1542389.000000 +1354 918.000000 1542393.000000 +1355 918.000000 1542398.000000 +1356 918.000000 1542441.000000 +1357 918.000000 1542450.000000 +1358 919.000000 1543934.000000 +1359 919.000000 1543937.000000 +1360 919.000000 1543986.000000 +1361 919.000000 1543988.000000 +1362 919.000000 1543994.000000 +1363 919.000000 1544007.000000 +1364 919.000000 1544108.000000 +1365 920.000000 1545823.000000 +1366 921.000000 1547350.000000 +1367 921.000000 1547496.000000 +1368 923.000000 1550822.000000 +1369 923.000000 1550890.000000 +1370 925.000000 1554174.000000 +1371 925.000000 1554180.000000 +1372 925.000000 1554264.000000 +1373 926.000000 1555708.000000 +1374 926.000000 1555848.000000 +1375 926.000000 1555886.000000 +1376 926.000000 1555921.000000 +1377 927.000000 1557445.000000 +1378 927.000000 1557480.000000 +1379 928.000000 1559062.000000 +1380 929.000000 1560739.000000 +1381 930.000000 1562550.000000 +1382 930.000000 1562628.000000 +1383 931.000000 1564138.000000 +1384 931.000000 1564141.000000 +1385 931.000000 1564147.000000 +1386 931.000000 1564151.000000 +1387 931.000000 1564154.000000 +1388 931.000000 1564159.000000 +1389 931.000000 1564189.000000 +1390 931.000000 1564313.000000 +1391 932.000000 1565904.000000 +1392 932.000000 1565983.000000 +1393 932.000000 1565986.000000 +1394 933.000000 1567492.000000 +1395 933.000000 1567494.000000 +1396 933.000000 1567565.000000 +1397 933.000000 1567578.000000 +1398 933.000000 1567580.000000 +1399 934.000000 1569360.000000 +1400 935.000000 1570848.000000 +1401 935.000000 1570974.000000 +1402 936.000000 1572662.000000 +1403 939.000000 1577689.000000 +1404 940.000000 1579311.000000 +1405 940.000000 1579402.000000 +1406 942.000000 1582656.000000 +1407 945.000000 1587636.000000 +1408 945.000000 1587652.000000 +1409 946.000000 1589348.000000 +1410 947.000000 1591025.000000 +1411 950.000000 1596062.000000 +1412 958.000000 1609454.000000 +1413 958.000000 1609457.000000 +1414 958.000000 1609463.000000 +1415 958.000000 1609467.000000 +1416 958.000000 1609473.000000 +1417 958.000000 1609476.000000 +1418 958.000000 1609479.000000 +1419 958.000000 1609482.000000 +1420 958.000000 1609493.000000 +1421 958.000000 1609498.000000 +1422 958.000000 1609502.000000 +1423 958.000000 1609508.000000 +1424 958.000000 1609515.000000 +1425 958.000000 1609518.000000 +1426 958.000000 1609526.000000 +1427 958.000000 1609531.000000 +1428 958.000000 1609533.000000 +1429 958.000000 1609536.000000 +1430 958.000000 1609541.000000 +1431 958.000000 1609545.000000 +1432 958.000000 1609547.000000 +1433 958.000000 1609554.000000 +1434 958.000000 1609560.000000 +1435 958.000000 1609565.000000 +1436 958.000000 1609572.000000 +1437 958.000000 1609578.000000 +1438 958.000000 1609581.000000 +1439 958.000000 1609584.000000 +1440 958.000000 1609590.000000 +1441 958.000000 1609593.000000 +1442 958.000000 1609595.000000 +1443 958.000000 1609597.000000 +1444 958.000000 1609603.000000 +1445 958.000000 1609608.000000 +1446 958.000000 1609615.000000 +1447 958.000000 1609622.000000 +1448 958.000000 1609627.000000 +1449 958.000000 1609632.000000 +1450 958.000000 1609637.000000 +1451 958.000000 1609646.000000 +1452 958.000000 1609650.000000 +1453 958.000000 1609652.000000 +1454 958.000000 1609655.000000 +1455 967.000000 1626836.000000 +1456 967.000000 1626843.000000 +1457 967.000000 1626845.000000 +1458 973.000000 1636852.000000 +1459 973.000000 1636892.000000 +1460 973.000000 1636900.000000 +1461 977.000000 1643670.000000 +1462 979.000000 1646995.000000 +1463 979.000000 1647023.000000 +1464 980.000000 1648594.000000 +1465 980.000000 1648619.000000 +1466 980.000000 1648635.000000 +1467 980.000000 1648718.000000 +1468 981.000000 1650306.000000 +1469 981.000000 1650326.000000 +1470 983.000000 1653768.000000 +1471 989.000000 1663762.000000 +1472 989.000000 1663851.000000 +1473 991.000000 1667074.000000 +1474 991.000000 1667183.000000 +1475 992.000000 1668838.000000 +1476 993.000000 1670451.000000 +1477 993.000000 1670498.000000 +1478 993.000000 1670516.000000 +1479 993.000000 1670548.000000 +1480 994.000000 1672202.000000 +1481 998.000000 1678977.000000 +1482 999.000000 1680566.000000 +1483 999.000000 1680647.000000 +1484 1000.000000 1682314.000000 +1485 1000.000000 1682322.000000 +1486 1001.000000 1683890.000000 +1487 1002.000000 1685658.000000 +1488 1003.000000 1687309.000000 +1489 1004.000000 1688905.000000 +1490 1004.000000 1688937.000000 +1491 1004.000000 1688984.000000 +1492 1004.000000 1689000.000000 +1493 1004.000000 1689023.000000 +1494 1006.000000 1692370.000000 +1495 1007.000000 1693936.000000 +1496 1010.000000 1699097.000000 +1497 1010.000000 1699127.000000 +1498 1011.000000 1700783.000000 +1499 1011.000000 1700793.000000 +1500 1011.000000 1700799.000000 +1501 1012.000000 1702382.000000 +1502 1012.000000 1702450.000000 +1503 1012.000000 1702470.000000 +1504 1013.000000 1704028.000000 +1505 1013.000000 1704040.000000 +1506 1013.000000 1704078.000000 +1507 1017.000000 1710808.000000 +1508 1018.000000 1712508.000000 +1509 1018.000000 1712520.000000 +1510 1019.000000 1714174.000000 +1511 1021.000000 1717540.000000 +1512 1021.000000 1717552.000000 +1513 1021.000000 1717570.000000 +1514 1022.000000 1719270.000000 +1515 1024.000000 1722552.000000 +1516 1025.000000 1724210.000000 +1517 1027.000000 1727610.000000 +1518 1027.000000 1727634.000000 +1519 1029.000000 1731008.000000 +1520 1031.000000 1734242.000000 +1521 1031.000000 1734305.000000 +1522 1031.000000 1734326.000000 +1523 1032.000000 1735894.000000 +1524 1032.000000 1735975.000000 +1525 1032.000000 1735980.000000 +1526 1032.000000 1736001.000000 +1527 1032.000000 1736039.000000 +1528 1033.000000 1737648.000000 +1529 1033.000000 1737706.000000 +1530 1033.000000 1737716.000000 +1531 1034.000000 1739290.000000 +1532 1035.000000 1741004.000000 +1533 1035.000000 1741006.000000 +1534 1037.000000 1744306.000000 +1535 1037.000000 1744324.000000 +1536 1048.000000 1762806.000000 +1537 1165.000000 1958502.000000 +1538 1173.000000 1971956.000000 +1539 1187.000000 1995460.000000 +1540 1189.000000 1998814.000000 +1541 1189.000000 1998818.000000 +1542 1190.000000 2000526.000000 +1543 1191.000000 2002210.000000 +1544 1191.000000 2002213.000000 +1545 1191.000000 2002224.000000 +1546 1191.000000 2002232.000000 +1547 1192.000000 2003826.000000 +1548 1192.000000 2003840.000000 +1549 1192.000000 2003846.000000 +1550 1192.000000 2003850.000000 +1551 1192.000000 2003870.000000 +1552 1192.000000 2003874.000000 +1553 1192.000000 2003878.000000 +1554 1192.000000 2003900.000000 +1555 1198.000000 2016468.000000 +1556 1199.000000 2015812.000000 +1557 1199.000000 2015938.000000 +1558 1199.000000 2015940.000000 +1559 1199.000000 2016002.000000 +1560 1199.000000 2016012.000000 +1561 1199.000000 2016018.000000 +1562 1199.000000 2016022.000000 +1563 1199.000000 2016050.000000 +1564 1199.000000 2016074.000000 +1565 1199.000000 2016088.000000 +1566 1200.000000 2017276.000000 +1567 1200.000000 2017279.000000 +1568 1200.000000 2017282.000000 +1569 1200.000000 2017296.000000 +1570 1200.000000 2017298.000000 +1571 1200.000000 2017303.000000 +1572 1200.000000 2017306.000000 +1573 1200.000000 2017313.000000 +1574 1200.000000 2017319.000000 +1575 1200.000000 2017324.000000 +1576 1200.000000 2017328.000000 +1577 1200.000000 2017330.000000 +1578 1200.000000 2017334.000000 +1579 1200.000000 2017341.000000 +1580 1200.000000 2017344.000000 +1581 1200.000000 2017346.000000 +1582 1200.000000 2017348.000000 +1583 1200.000000 2017352.000000 +1584 1200.000000 2017358.000000 +1585 1200.000000 2017362.000000 +1586 1200.000000 2017364.000000 +1587 1200.000000 2017368.000000 +1588 1200.000000 2017371.000000 +1589 1200.000000 2017375.000000 +1590 1200.000000 2017381.000000 +1591 1200.000000 2017396.000000 +1592 1200.000000 2017405.000000 +1593 1200.000000 2017412.000000 +1594 1200.000000 2017420.000000 +1595 1200.000000 2017430.000000 +1596 1200.000000 2017435.000000 +1597 1200.000000 2017444.000000 +1598 1200.000000 2017448.000000 +1599 1200.000000 2017454.000000 +1600 1200.000000 2017460.000000 +1601 1200.000000 2017462.000000 +1602 1200.000000 2017467.000000 +1603 1200.000000 2017471.000000 +1604 1200.000000 2017478.000000 +1605 1200.000000 2017482.000000 +1606 1200.000000 2017502.000000 +1607 1200.000000 2017506.000000 +1608 1200.000000 2017510.000000 +1609 1200.000000 2017624.000000 +1610 1200.000000 2017628.000000 +1611 1200.000000 2017632.000000 +1612 1200.000000 2017636.000000 +1613 1200.000000 2017640.000000 +1614 1200.000000 2017650.000000 +1615 1200.000000 2017658.000000 +1616 1200.000000 2017665.000000 +1617 1200.000000 2017670.000000 +1618 1200.000000 2017708.000000 +1619 1200.000000 2017713.000000 +1620 1200.000000 2017717.000000 +1621 1200.000000 2017723.000000 +1622 1200.000000 2017726.000000 +1623 1200.000000 2017746.000000 +1624 1200.000000 2017760.000000 +1625 1200.000000 2017765.000000 +1626 1200.000000 2017774.000000 +1627 1200.000000 2017778.000000 +1628 1200.000000 2017785.000000 +1629 1200.000000 2017788.000000 +1630 1200.000000 2017794.000000 +1631 1200.000000 2017798.000000 +1632 1200.000000 2017804.000000 +1633 1200.000000 2017809.000000 +1634 1200.000000 2017812.000000 +1635 1200.000000 2017816.000000 +1636 1200.000000 2017822.000000 +1637 1200.000000 2017826.000000 +1638 1200.000000 2017828.000000 +1639 1200.000000 2017833.000000 +1640 1200.000000 2017837.000000 +1641 1200.000000 2017842.000000 +1642 1200.000000 2017846.000000 +1643 1200.000000 2017850.000000 +1644 1200.000000 2017854.000000 +1645 1200.000000 2017856.000000 +1646 1200.000000 2017862.000000 +1647 1200.000000 2017866.000000 +1648 1200.000000 2017873.000000 +1649 1200.000000 2017877.000000 +1650 1200.000000 2017882.000000 +1651 1200.000000 2017886.000000 +1652 1200.000000 2017893.000000 +1653 1200.000000 2017900.000000 +1654 1200.000000 2017914.000000 +1655 1200.000000 2017920.000000 +1656 1200.000000 2017926.000000 +1657 1200.000000 2017934.000000 +1658 1200.000000 2017940.000000 +1659 1200.000000 2017944.000000 +1660 1200.000000 2017949.000000 +1661 1200.000000 2017952.000000 +1662 1200.000000 2017958.000000 +1663 1200.000000 2017965.000000 +1664 1200.000000 2017968.000000 +1665 1200.000000 2017974.000000 +1666 1200.000000 2017989.000000 +1667 1200.000000 2018086.000000 +1668 1200.000000 2018092.000000 +1669 1200.000000 2018098.000000 +1670 1200.000000 2018100.000000 +1671 1200.000000 2018110.000000 +1672 1200.000000 2018117.000000 +1673 1200.000000 2018122.000000 +1674 1200.000000 2018132.000000 +1675 1200.000000 2018140.000000 +1676 1200.000000 2018146.000000 +1677 1200.000000 2018148.000000 +1678 1200.000000 2018161.000000 +1679 1200.000000 2018164.000000 +1680 1200.000000 2018180.000000 +1681 1200.000000 2018190.000000 +1682 1200.000000 2018196.000000 +1683 1200.000000 2018202.000000 +1684 1200.000000 2018210.000000 +1685 1200.000000 2018214.000000 +1686 1200.000000 2018219.000000 +1687 1200.000000 2018226.000000 +1688 1200.000000 2018228.000000 +1689 1204.000000 2024410.000000 +1690 1204.000000 2024538.000000 +1691 1205.000000 2025730.000000 +1692 1205.000000 2025754.000000 +1693 1205.000000 2025828.000000 +1694 1205.000000 2026086.000000 +1695 1205.000000 2026106.000000 +1696 1205.000000 2026125.000000 +1697 1205.000000 2026146.000000 +1698 1205.000000 2026149.000000 +1699 1205.000000 2026162.000000 +1700 1205.000000 2026168.000000 +1701 1205.000000 2026178.000000 +1702 1205.000000 2026194.000000 +1703 1205.000000 2026196.000000 +1704 1205.000000 2026200.000000 +1705 1205.000000 2026202.000000 +1706 1205.000000 2026215.000000 +1707 1205.000000 2026225.000000 +1708 1205.000000 2026234.000000 +1709 1205.000000 2026254.000000 +1710 1205.000000 2026258.000000 +1711 1205.000000 2026260.000000 +1712 1205.000000 2026268.000000 +1713 1205.000000 2026272.000000 +1714 1205.000000 2026274.000000 +1715 1205.000000 2026276.000000 +1716 1205.000000 2026287.000000 +1717 1205.000000 2026290.000000 +1718 1205.000000 2026306.000000 +1719 1205.000000 2026322.000000 +1720 1205.000000 2026334.000000 +1721 1205.000000 2026342.000000 +1722 1205.000000 2026368.000000 +1723 1206.000000 2027407.000000 +1724 1206.000000 2027412.000000 +1725 1206.000000 2027417.000000 +1726 1206.000000 2027426.000000 +1727 1206.000000 2027446.000000 +1728 1206.000000 2027465.000000 +1729 1206.000000 2027468.000000 +1730 1206.000000 2027494.000000 +1731 1206.000000 2027790.000000 +1732 1206.000000 2027810.000000 +1733 1206.000000 2027814.000000 +1734 1206.000000 2027854.000000 +1735 1206.000000 2028000.000000 +1736 1207.000000 2029121.000000 +1737 1207.000000 2029154.000000 +1738 1207.000000 2029178.000000 +1739 1207.000000 2029190.000000 +1740 1207.000000 2029198.000000 +1741 1207.000000 2029514.000000 +1742 1208.000000 2030750.000000 +1743 1208.000000 2030759.000000 +1744 1208.000000 2030764.000000 +1745 1208.000000 2030832.000000 +1746 1208.000000 2030894.000000 +1747 1209.000000 2032436.000000 +1748 1209.000000 2032536.000000 +1749 1209.000000 2032539.000000 +1750 1210.000000 2034171.000000 +1751 1210.000000 2034178.000000 +1752 1210.000000 2034604.000000 +1753 1210.000000 2034800.000000 +1754 1211.000000 2035860.000000 +1755 1211.000000 2035882.000000 +1756 1211.000000 2035906.000000 +1757 1211.000000 2035916.000000 +1758 1211.000000 2035922.000000 +1759 1211.000000 2036222.000000 +1760 1211.000000 2036251.000000 +1761 1211.000000 2036263.000000 +1762 1211.000000 2036266.000000 +1763 1211.000000 2036289.000000 +1764 1211.000000 2036326.000000 +1765 1212.000000 2037458.000000 +1766 1212.000000 2037510.000000 +1767 1212.000000 2037572.000000 +1768 1212.000000 2037875.000000 +1769 1212.000000 2037908.000000 +1770 1213.000000 2039144.000000 +1771 1213.000000 2039148.000000 +1772 1213.000000 2039158.000000 +1773 1213.000000 2039166.000000 +1774 1213.000000 2039184.000000 +1775 1213.000000 2039546.000000 +1776 1214.000000 2040814.000000 +1777 1214.000000 2041370.000000 +1778 1215.000000 2042572.000000 +1779 1216.000000 2044242.000000 +1780 1216.000000 2044247.000000 +1781 1216.000000 2044678.000000 +1782 1217.000000 2045956.000000 +1783 1217.000000 2045966.000000 +1784 1217.000000 2045972.000000 +1785 1217.000000 2045979.000000 +1786 1217.000000 2045986.000000 +1787 1217.000000 2045989.000000 +1788 1217.000000 2046420.000000 +1789 1218.000000 2047570.000000 +1790 1218.000000 2047572.000000 +1791 1218.000000 2047587.000000 +1792 1218.000000 2047591.000000 +1793 1218.000000 2047618.000000 +1794 1218.000000 2047642.000000 +1795 1218.000000 2047656.000000 +1796 1218.000000 2047680.000000 +1797 1218.000000 2048062.000000 +1798 1219.000000 2049237.000000 +1799 1219.000000 2049239.000000 +1800 1219.000000 2049274.000000 +1801 1219.000000 2049280.000000 +1802 1219.000000 2049342.000000 +1803 1219.000000 2049640.000000 +1804 1220.000000 2050936.000000 +1805 1220.000000 2050956.000000 +1806 1221.000000 2052656.000000 +1807 1222.000000 2054254.000000 +1808 1222.000000 2054260.000000 +1809 1222.000000 2054324.000000 +1810 1222.000000 2054327.000000 +1811 1223.000000 2056036.000000 +1812 1224.000000 2057702.000000 +1813 1224.000000 2057746.000000 +1814 1224.000000 2057754.000000 +1815 1225.000000 2059348.000000 +1816 1225.000000 2059722.000000 +1817 1225.000000 2059756.000000 +1818 1225.000000 2059770.000000 +1819 1225.000000 2059794.000000 +1820 1225.000000 2059835.000000 +1821 1226.000000 2060996.000000 +1822 1226.000000 2061058.000000 +1823 1226.000000 2061088.000000 +1824 1226.000000 2061546.000000 +1825 1226.000000 2061626.000000 +1826 1227.000000 2062673.000000 +1827 1227.000000 2062682.000000 +1828 1227.000000 2062686.000000 +1829 1227.000000 2062690.000000 +1830 1227.000000 2062692.000000 +1831 1227.000000 2062748.000000 +1832 1228.000000 2064344.000000 +1833 1228.000000 2064346.000000 +1834 1228.000000 2064378.000000 +1835 1228.000000 2064400.000000 +1836 1228.000000 2064414.000000 +1837 1228.000000 2064420.000000 +1838 1228.000000 2064464.000000 +1839 1230.000000 2067757.000000 +1840 1232.000000 2071108.000000 +1841 1232.000000 2071114.000000 +1842 1232.000000 2071142.000000 +1843 1232.000000 2071510.000000 +1844 1232.000000 2071654.000000 +1845 1232.000000 2071678.000000 +1846 1233.000000 2072770.000000 +1847 1233.000000 2072781.000000 +1848 1233.000000 2072842.000000 +1849 1234.000000 2074560.000000 +1850 1235.000000 2076102.000000 +1851 1235.000000 2076106.000000 +1852 1235.000000 2076112.000000 +1853 1235.000000 2076126.000000 +1854 1235.000000 2076157.000000 +1855 1235.000000 2076160.000000 +1856 1235.000000 2076208.000000 +1857 1235.000000 2076216.000000 +1858 1236.000000 2077789.000000 +1859 1236.000000 2077796.000000 +1860 1236.000000 2077846.000000 +1861 1236.000000 2077851.000000 +1862 1237.000000 2079555.000000 +1863 1238.000000 2081246.000000 +1864 1241.000000 2086254.000000 +1865 1241.000000 2086258.000000 +1866 1241.000000 2086272.000000 +1867 1242.000000 2087890.000000 +1868 1242.000000 2087910.000000 +1869 1242.000000 2087962.000000 +1870 1242.000000 2088574.000000 +1871 1243.000000 2089542.000000 +1872 1243.000000 2089546.000000 +1873 1243.000000 2089558.000000 +1874 1243.000000 2089580.000000 +1875 1243.000000 2089600.000000 +1876 1243.000000 2089605.000000 +1877 1243.000000 2089608.000000 +1878 1243.000000 2089624.000000 +1879 1244.000000 2091243.000000 +1880 1244.000000 2091268.000000 +1881 1244.000000 2091274.000000 +1882 1245.000000 2092928.000000 +1883 1247.000000 2096273.000000 +1884 1247.000000 2096352.000000 +1885 1247.000000 2096366.000000 +1886 1247.000000 2096376.000000 +1887 1248.000000 2097950.000000 +1888 1248.000000 2097956.000000 +1889 1248.000000 2098028.000000 +1890 1249.000000 2099656.000000 +1891 1249.000000 2099698.000000 +1892 1249.000000 2099732.000000 +1893 1250.000000 2101322.000000 +1894 1250.000000 2101340.000000 +1895 1250.000000 2101346.000000 +1896 1250.000000 2101350.000000 +1897 1250.000000 2101382.000000 +1898 1251.000000 2103044.000000 +1899 1252.000000 2104690.000000 +1900 1254.000000 2108088.000000 +1901 1256.000000 2111414.000000 +1902 1256.000000 2111438.000000 +1903 1256.000000 2111454.000000 +1904 1257.000000 2113086.000000 +1905 1257.000000 2113100.000000 +1906 1257.000000 2113138.000000 +1907 1258.000000 2114763.000000 +1908 1258.000000 2114771.000000 +1909 1258.000000 2114786.000000 +1910 1258.000000 2114790.000000 +1911 1258.000000 2114796.000000 +1912 1258.000000 2114804.000000 +1913 1360.000000 2287692.000000 +1914 1365.000000 2295608.000000 +1915 1385.000000 2327760.000000 +1916 1385.000000 2327782.000000 +1917 1386.000000 2329380.000000 +1918 1386.000000 2329444.000000 +1919 1387.000000 2331116.000000 +1920 1388.000000 2332728.000000 +1921 1391.000000 2337820.000000 +1922 1391.000000 2339784.000000 +1923 1392.000000 2339254.000000 +1924 1392.000000 2339279.000000 +1925 1393.000000 2340902.000000 +1926 1393.000000 2340974.000000 +1927 1393.000000 2341206.000000 +1928 1394.000000 2342756.000000 +1929 1394.000000 2342780.000000 +1930 1394.000000 2342852.000000 +1931 1395.000000 2344562.000000 +1932 1399.000000 2351287.000000 +1933 1399.000000 2351311.000000 +1934 1400.000000 2352654.000000 +1935 1400.000000 2352686.000000 +1936 1400.000000 2352696.000000 +1937 1400.000000 2352740.000000 +1938 1400.000000 2352750.000000 +1939 1400.000000 2352790.000000 +1940 1400.000000 2352955.000000 +1941 1400.000000 2352980.000000 +1942 1400.000000 2352994.000000 +1943 1401.000000 2354351.000000 +1944 1401.000000 2354386.000000 +1945 1401.000000 2354396.000000 +1946 1401.000000 2354444.000000 +1947 1401.000000 2354500.000000 +1948 1401.000000 2356584.000000 +1949 1402.000000 2356234.000000 +1950 1402.000000 2356302.000000 +1951 1402.000000 2356312.000000 +1952 1402.000000 2356330.000000 +1953 1402.000000 2356370.000000 +1954 1403.000000 2359447.000000 +1955 1406.000000 2362751.000000 +1956 1406.000000 2363017.000000 +1957 1406.000000 2363019.000000 +1958 1406.000000 2363024.000000 +1959 1406.000000 2363070.000000 +1960 1407.000000 2364438.000000 +1961 1407.000000 2364592.000000 +1962 1407.000000 2364726.000000 +1963 1408.000000 2366077.000000 +1964 1408.000000 2366084.000000 +1965 1408.000000 2366094.000000 +1966 1408.000000 2366102.000000 +1967 1408.000000 2366127.000000 +1968 1408.000000 2366151.000000 +1969 1408.000000 2366156.000000 +1970 1408.000000 2366174.000000 +1971 1408.000000 2366234.000000 +1972 1408.000000 2366244.000000 +1973 1408.000000 2366248.000000 +1974 1408.000000 2366276.000000 +1975 1408.000000 2366306.00000