diff options
author | dos-reis <gdr@axiomatics.org> | 2013-05-19 22:42:42 +0000 |
---|---|---|
committer | dos-reis <gdr@axiomatics.org> | 2013-05-19 22:42:42 +0000 |
commit | 549aab1d993019339d4eef36049e7639c37ca1b6 (patch) | |
tree | d571869a664b7d305430b8269441fd29dbbfe785 /src/share/algebra/operation.daase | |
parent | d8b5451ede6ce7a4e6927eda9068f3749e672cf0 (diff) | |
download | open-axiom-549aab1d993019339d4eef36049e7639c37ca1b6.tar.gz |
Use ShallowlyMutableAggregate.
Diffstat (limited to 'src/share/algebra/operation.daase')
-rw-r--r-- | src/share/algebra/operation.daase | 1358 |
1 files changed, 676 insertions, 682 deletions
diff --git a/src/share/algebra/operation.daase b/src/share/algebra/operation.daase index 2fa99b27..eaeda7ff 100644 --- a/src/share/algebra/operation.daase +++ b/src/share/algebra/operation.daase @@ -1,5 +1,5 @@ -(630540 . 3577976437) +(630408 . 3577992039) (((*1 *2 *3 *4) (|partial| -12 (-5 *3 (-1180 *4)) (-4 *4 (-13 (-962) (-581 (-485)))) (-5 *2 (-1180 (-350 (-485)))) (-5 *1 (-1209 *4))))) @@ -2076,20 +2076,20 @@ (((*1 *1 *1) (-12 (-4 *1 (-1169 *2)) (-4 *2 (-1130))))) (((*1 *2 *1) (-12 (-4 *1 (-1169 *3)) (-4 *3 (-1130)) (-5 *2 (-695))))) (((*1 *1 *1) (-12 (-4 *1 (-1169 *2)) (-4 *2 (-1130))))) -(((*1 *1 *1 *1) (-12 (|has| *1 (-6 -3998)) (-4 *1 (-202 *2)) (-4 *2 (-1130)))) +(((*1 *1 *1 *1) (-12 (-4 *1 (-1036 *2)) (-4 *1 (-202 *2)) (-4 *2 (-1130)))) ((*1 *1 *1 *1) (-12 (-4 *1 (-237 *2)) (-4 *2 (-1130)))) ((*1 *1 *1 *2) (-12 (-4 *1 (-237 *2)) (-4 *2 (-1130)))) - ((*1 *1 *1 *2) (-12 (|has| *1 (-6 -3998)) (-4 *1 (-1169 *2)) (-4 *2 (-1130)))) - ((*1 *1 *1 *1) (-12 (|has| *1 (-6 -3998)) (-4 *1 (-1169 *2)) (-4 *2 (-1130))))) -(((*1 *1 *1) (-12 (|has| *1 (-6 -3998)) (-4 *1 (-1169 *2)) (-4 *2 (-1130))))) -(((*1 *2 *1 *2) (-12 (|has| *1 (-6 -3998)) (-4 *1 (-1169 *2)) (-4 *2 (-1130))))) + ((*1 *1 *1 *2) (-12 (-4 *1 (-1036 *2)) (-4 *1 (-1169 *2)) (-4 *2 (-1130)))) + ((*1 *1 *1 *1) (-12 (-4 *1 (-1036 *2)) (-4 *1 (-1169 *2)) (-4 *2 (-1130))))) +(((*1 *1 *1) (-12 (-4 *1 (-1036 *2)) (-4 *1 (-1169 *2)) (-4 *2 (-1130))))) +(((*1 *2 *1 *2) (-12 (-4 *1 (-1036 *2)) (-4 *1 (-1169 *2)) (-4 *2 (-1130))))) (((*1 *2 *1 *3 *3 *2) (-12 (-5 *3 (-485)) (-4 *1 (-57 *2 *4 *5)) (-4 *2 (-1130)) (-4 *4 (-324 *2)) (-4 *5 (-324 *2)))) ((*1 *1 *1 *2 *1) - (-12 (-5 *2 "right") (|has| *1 (-6 -3998)) (-4 *1 (-92 *3)) (-4 *3 (-1130)))) + (-12 (-5 *2 "right") (-4 *1 (-1036 *3)) (-4 *1 (-92 *3)) (-4 *3 (-1130)))) ((*1 *1 *1 *2 *1) - (-12 (-5 *2 "left") (|has| *1 (-6 -3998)) (-4 *1 (-92 *3)) (-4 *3 (-1130)))) + (-12 (-5 *2 "left") (-4 *1 (-1036 *3)) (-4 *1 (-92 *3)) (-4 *3 (-1130)))) ((*1 *2 *1 *3 *2) (-12 (|has| *1 (-6 -3998)) (-4 *1 (-243 *3 *2)) (-4 *3 (-1014)) (-4 *2 (-1130)))) @@ -2101,23 +2101,18 @@ (-12 (-5 *2 (-584 (-485))) (-4 *1 (-628 *3 *4 *5)) (-4 *3 (-962)) (-4 *4 (-324 *3)) (-4 *5 (-324 *3)))) ((*1 *2 *1 *3 *2) - (-12 (-5 *3 "value") (|has| *1 (-6 -3998)) (-4 *1 (-924 *2)) - (-4 *2 (-1130)))) + (-12 (-5 *3 "value") (-4 *1 (-1036 *2)) (-4 *1 (-924 *2)) (-4 *2 (-1130)))) ((*1 *2 *1 *3 *2) - (-12 (-5 *3 "last") (|has| *1 (-6 -3998)) (-4 *1 (-1169 *2)) - (-4 *2 (-1130)))) + (-12 (-5 *3 "last") (-4 *1 (-1036 *2)) (-4 *1 (-1169 *2)) (-4 *2 (-1130)))) ((*1 *1 *1 *2 *1) - (-12 (-5 *2 "rest") (|has| *1 (-6 -3998)) (-4 *1 (-1169 *3)) - (-4 *3 (-1130)))) + (-12 (-5 *2 "rest") (-4 *1 (-1036 *3)) (-4 *1 (-1169 *3)) (-4 *3 (-1130)))) ((*1 *2 *1 *3 *2) - (-12 (-5 *3 "first") (|has| *1 (-6 -3998)) (-4 *1 (-1169 *2)) - (-4 *2 (-1130))))) + (-12 (-5 *3 "first") (-4 *1 (-1036 *2)) (-4 *1 (-1169 *2)) (-4 *2 (-1130))))) (((*1 *1 *1 *2 *1) (-12 (-5 *2 (-485)) (-5 *1 (-1070 *3)) (-4 *3 (-1130)))) - ((*1 *1 *1 *1) (-12 (|has| *1 (-6 -3998)) (-4 *1 (-1169 *2)) (-4 *2 (-1130))))) -(((*1 *2 *1 *2) (-12 (|has| *1 (-6 -3998)) (-4 *1 (-1169 *2)) (-4 *2 (-1130))))) + ((*1 *1 *1 *1) (-12 (-4 *1 (-1036 *2)) (-4 *1 (-1169 *2)) (-4 *2 (-1130))))) +(((*1 *2 *1 *2) (-12 (-4 *1 (-1036 *2)) (-4 *1 (-1169 *2)) (-4 *2 (-1130))))) (((*1 *1 *1 *2) - (-12 (-5 *2 (-485)) (|has| *1 (-6 -3998)) (-4 *1 (-1169 *3)) - (-4 *3 (-1130))))) + (-12 (-5 *2 (-485)) (-4 *1 (-1036 *3)) (-4 *1 (-1169 *3)) (-4 *3 (-1130))))) (((*1 *2 *1) (|partial| -12 (-4 *3 (-13 (-951 (-485)) (-581 (-485)) (-392))) (-5 *2 (-751 *4)) (-5 *1 (-264 *3 *4 *5 *6)) @@ -5054,16 +5049,16 @@ ((*1 *1 *1) (-12 (-4 *1 (-1049 *2)) (-4 *2 (-962))))) (((*1 *2 *2 *3) (-12 (-5 *3 (-1 (-85) *4 *4)) (-4 *4 (-1130)) (-5 *1 (-1047 *4 *2)) - (-4 *2 (-13 (-539 (-485) *4) (-318 *4) (-10 -7 (-6 -3998)))))) + (-4 *2 (-13 (-539 (-485) *4) (-318 *4) (-1036 *4))))) ((*1 *2 *2) (-12 (-4 *3 (-757)) (-4 *3 (-1130)) (-5 *1 (-1047 *3 *2)) - (-4 *2 (-13 (-539 (-485) *3) (-318 *3) (-10 -7 (-6 -3998))))))) + (-4 *2 (-13 (-539 (-485) *3) (-318 *3) (-1036 *3)))))) (((*1 *2 *2 *3) (-12 (-5 *3 (-1 (-85) *4 *4)) (-4 *4 (-1130)) (-5 *1 (-1047 *4 *2)) - (-4 *2 (-13 (-539 (-485) *4) (-318 *4) (-10 -7 (-6 -3998)))))) + (-4 *2 (-13 (-539 (-485) *4) (-318 *4) (-1036 *4))))) ((*1 *2 *2) (-12 (-4 *3 (-757)) (-4 *3 (-1130)) (-5 *1 (-1047 *3 *2)) - (-4 *2 (-13 (-539 (-485) *3) (-318 *3) (-10 -7 (-6 -3998))))))) + (-4 *2 (-13 (-539 (-485) *3) (-318 *3) (-1036 *3)))))) (((*1 *2 *3) (-12 (-5 *3 (-1180 *4)) (-4 *4 (-962)) (-4 *2 (-1156 *4)) (-5 *1 (-384 *4 *2)))) @@ -6528,10 +6523,10 @@ (-12 (-4 *1 (-966 *3 *4 *5 *6 *7)) (-4 *5 (-962)) (-4 *6 (-196 *4 *5)) (-4 *7 (-196 *3 *5)) (-4 *5 (-496)) (-5 *2 (-695))))) (((*1 *2 *3) - (-12 (|has| *6 (-6 -3998)) (-4 *4 (-312)) (-4 *5 (-324 *4)) (-4 *6 (-324 *4)) + (-12 (-4 *6 (-1036 *4)) (-4 *4 (-312)) (-4 *5 (-324 *4)) (-4 *6 (-324 *4)) (-5 *2 (-584 *6)) (-5 *1 (-461 *4 *5 *6 *3)) (-4 *3 (-628 *4 *5 *6)))) ((*1 *2 *3) - (-12 (|has| *9 (-6 -3998)) (-4 *4 (-496)) (-4 *5 (-324 *4)) (-4 *6 (-324 *4)) + (-12 (-4 *9 (-1036 *4)) (-4 *4 (-496)) (-4 *5 (-324 *4)) (-4 *6 (-324 *4)) (-4 *7 (-905 *4)) (-4 *8 (-324 *7)) (-4 *9 (-324 *7)) (-5 *2 (-584 *6)) (-5 *1 (-462 *4 *5 *6 *3 *7 *8 *9 *10)) (-4 *3 (-628 *4 *5 *6)) (-4 *10 (-628 *7 *8 *9)))) @@ -6927,9 +6922,8 @@ (((*1 *2 *1 *1) (-12 (-4 *1 (-924 *3)) (-4 *3 (-1130)) (-4 *3 (-72)) (-5 *2 (-85))))) (((*1 *1 *1 *2) - (-12 (-5 *2 (-584 *1)) (|has| *1 (-6 -3998)) (-4 *1 (-924 *3)) - (-4 *3 (-1130))))) -(((*1 *2 *1 *2) (-12 (|has| *1 (-6 -3998)) (-4 *1 (-924 *2)) (-4 *2 (-1130))))) + (-12 (-5 *2 (-584 *1)) (-4 *1 (-1036 *3)) (-4 *1 (-924 *3)) (-4 *3 (-1130))))) +(((*1 *2 *1 *2) (-12 (-4 *1 (-1036 *2)) (-4 *1 (-924 *2)) (-4 *2 (-1130))))) (((*1 *2 *1) (|partial| -12 (-4 *1 (-139 *3)) (-4 *3 (-146)) (-4 *3 (-484)) (-5 *2 (-350 (-485))))) @@ -9874,7 +9868,7 @@ ((*1 *1 *1) (-12 (-5 *1 (-592 *2 *3 *4)) (-4 *2 (-1014)) (-4 *3 (-23)) (-14 *4 *3)))) (((*1 *1 *1) (-12 (-4 *1 (-214 *2)) (-4 *2 (-1130)))) - ((*1 *1 *1) (-12 (|has| *1 (-6 -3998)) (-4 *1 (-324 *2)) (-4 *2 (-1130)))) + ((*1 *1 *1) (-12 (-4 *1 (-1036 *2)) (-4 *1 (-324 *2)) (-4 *2 (-1130)))) ((*1 *1 *1) (-12 (-5 *1 (-592 *2 *3 *4)) (-4 *2 (-1014)) (-4 *3 (-23)) (-14 *4 *3)))) (((*1 *1) @@ -11904,11 +11898,11 @@ (-12 (-5 *3 (-1 (-85) *4 *4)) (-4 *1 (-324 *4)) (-4 *4 (-1130)) (-5 *2 (-85))))) (((*1 *1 *1 *1 *2) - (-12 (-5 *2 (-485)) (|has| *1 (-6 -3998)) (-4 *1 (-324 *3)) (-4 *3 (-1130))))) + (-12 (-5 *2 (-485)) (-4 *1 (-1036 *3)) (-4 *1 (-324 *3)) (-4 *3 (-1130))))) (((*1 *1 *1) - (-12 (|has| *1 (-6 -3998)) (-4 *1 (-324 *2)) (-4 *2 (-1130)) (-4 *2 (-757)))) + (-12 (-4 *1 (-1036 *2)) (-4 *1 (-324 *2)) (-4 *2 (-1130)) (-4 *2 (-757)))) ((*1 *1 *2 *1) - (-12 (-5 *2 (-1 (-85) *3 *3)) (|has| *1 (-6 -3998)) (-4 *1 (-324 *3)) + (-12 (-5 *2 (-1 (-85) *3 *3)) (-4 *1 (-1036 *3)) (-4 *1 (-324 *3)) (-4 *3 (-1130))))) (((*1 *2 *3 *1) (-12 (-5 *3 (-1 (-85) *4)) (-4 *1 (-318 *4)) (-4 *4 (-1130)) (-5 *2 (-85))))) @@ -12816,8 +12810,8 @@ (((*1 *1 *2) (-12 (-5 *2 (-584 *3)) (-4 *3 (-757)) (-5 *1 (-203 *3))))) (((*1 *1 *1) (-12 (-4 *1 (-202 *2)) (-4 *2 (-1130))))) (((*1 *1 *1) (-12 (-4 *1 (-202 *2)) (-4 *2 (-1130))))) -(((*1 *1 *1 *1) (-12 (|has| *1 (-6 -3998)) (-4 *1 (-202 *2)) (-4 *2 (-1130))))) -(((*1 *1 *1 *1) (-12 (|has| *1 (-6 -3998)) (-4 *1 (-202 *2)) (-4 *2 (-1130))))) +(((*1 *1 *1 *1) (-12 (-4 *1 (-1036 *2)) (-4 *1 (-202 *2)) (-4 *2 (-1130))))) +(((*1 *1 *1 *1) (-12 (-4 *1 (-1036 *2)) (-4 *1 (-202 *2)) (-4 *2 (-1130))))) (((*1 *2 *3) (-12 (-5 *3 (-1074)) (-5 *2 (-485)) (-5 *1 (-199)))) ((*1 *2 *3) (-12 (-5 *3 (-584 (-1074))) (-5 *2 (-485)) (-5 *1 (-199))))) (((*1 *2 *3) (-12 (-5 *3 (-1074)) (-5 *2 (-1186)) (-5 *1 (-199)))) @@ -13201,8 +13195,8 @@ ((*1 *2 *2) (-12 (-5 *2 (-695)) (-5 *1 (-93 *3)) (-4 *3 (-1156 (-485)))))) (((*1 *2 *3) (-12 (-5 *2 (-85)) (-5 *1 (-93 *3)) (-4 *3 (-1156 (-485))))) ((*1 *2 *3 *2) (-12 (-5 *2 (-85)) (-5 *1 (-93 *3)) (-4 *3 (-1156 (-485)))))) -(((*1 *1 *1 *1) (-12 (|has| *1 (-6 -3998)) (-4 *1 (-92 *2)) (-4 *2 (-1130))))) -(((*1 *1 *1 *1) (-12 (|has| *1 (-6 -3998)) (-4 *1 (-92 *2)) (-4 *2 (-1130))))) +(((*1 *1 *1 *1) (-12 (-4 *1 (-1036 *2)) (-4 *1 (-92 *2)) (-4 *2 (-1130))))) +(((*1 *1 *1 *1) (-12 (-4 *1 (-1036 *2)) (-4 *1 (-92 *2)) (-4 *2 (-1130))))) (((*1 *2 *3) (-12 (-4 *4 (-13 (-312) (-951 (-350 *2)))) (-5 *2 (-485)) (-5 *1 (-88 *4 *3)) (-4 *3 (-1156 *4))))) @@ -13458,651 +13452,651 @@ (-12 (-5 *3 (-1091)) (-4 *4 (-496)) (-5 *2 (-584 *1)) (-4 *1 (-29 *4)))) ((*1 *2 *1) (-12 (-4 *3 (-496)) (-5 *2 (-584 *1)) (-4 *1 (-29 *3))))) (((*1 *2 *1 *1) (-12 (-4 *1 (-23)) (-5 *2 (-85))))) -((-1215 . 630487) (-1216 . 630091) (-1217 . 629789) (-1218 . 629393) - (-1219 . 629272) (-1220 . 629170) (-1221 . 629057) (-1222 . 628941) - (-1223 . 628888) (-1224 . 628754) (-1225 . 628679) (-1226 . 628523) - (-1227 . 628295) (-1228 . 627331) (-1229 . 627084) (-1230 . 626800) - (-1231 . 626516) (-1232 . 626232) (-1233 . 625913) (-1234 . 625821) - (-1235 . 625729) (-1236 . 625637) (-1237 . 625545) (-1238 . 625453) - (-1239 . 625361) (-1240 . 625266) (-1241 . 625171) (-1242 . 625079) - (-1243 . 624987) (-1244 . 624895) (-1245 . 624803) (-1246 . 624711) - (-1247 . 624609) (-1248 . 624507) (-1249 . 624405) (-1250 . 624313) - (-1251 . 624262) (-1252 . 624210) (-1253 . 624140) (-1254 . 623720) - (-1255 . 623526) (-1256 . 623499) (-1257 . 623376) (-1258 . 623253) - (-1259 . 623109) (-1260 . 622939) (-1261 . 622815) (-1262 . 622576) - (-1263 . 622503) (-1264 . 622278) (-1265 . 622032) (-1266 . 621979) - (-1267 . 621801) (-1268 . 621632) (-1269 . 621556) (-1270 . 621483) - (-1271 . 621330) (-1272 . 621177) (-1273 . 620993) (-1274 . 620812) - (-1275 . 620757) (-1276 . 620702) (-1277 . 620629) (-1278 . 620553) - (-1279 . 620476) (-1280 . 620408) (-1281 . 620265) (-1282 . 620158) - (-1283 . 620090) (-1284 . 620020) (-1285 . 619950) (-1286 . 619900) - (-1287 . 619850) (-1288 . 619800) (-1289 . 619679) (-1290 . 619363) - (-1291 . 619294) (-1292 . 619215) (-1293 . 619096) (-1294 . 619016) - (-1295 . 618936) (-1296 . 618783) (-1297 . 618634) (-1298 . 618558) - (-1299 . 618501) (-1300 . 618429) (-1301 . 618366) (-1302 . 618303) - (-1303 . 618242) (-1304 . 618170) (-1305 . 618054) (-1306 . 618002) - (-1307 . 617947) (-1308 . 617895) (-1309 . 617843) (-1310 . 617815) - (-1311 . 617787) (-1312 . 617759) (-1313 . 617715) (-1314 . 617644) - (-1315 . 617593) (-1316 . 617545) (-1317 . 617494) (-1318 . 617442) - (-1319 . 617326) (-1320 . 617210) (-1321 . 617118) (-1322 . 617026) - (-1323 . 616903) (-1324 . 616837) (-1325 . 616771) (-1326 . 616712) - (-1327 . 616684) (-1328 . 616656) (-1329 . 616628) (-1330 . 616600) - (-1331 . 616490) (-1332 . 616439) (-1333 . 616388) (-1334 . 616337) - (-1335 . 616286) (-1336 . 616235) (-1337 . 616184) (-1338 . 616156) - (-1339 . 616128) (-1340 . 616100) (-1341 . 616072) (-1342 . 616044) - (-1343 . 616016) (-1344 . 615988) (-1345 . 615960) (-1346 . 615932) - (-1347 . 615829) (-1348 . 615777) (-1349 . 615611) (-1350 . 615427) - (-1351 . 615216) (-1352 . 615101) (-1353 . 614868) (-1354 . 614778) - (-1355 . 614685) (-1356 . 614570) (-1357 . 614172) (-1358 . 613954) - (-1359 . 613905) (-1360 . 613877) (-1361 . 613801) (-1362 . 613702) - (-1363 . 613603) (-1364 . 613504) (-1365 . 613405) (-1366 . 613306) - (-1367 . 613207) (-1368 . 613049) (-1369 . 612973) (-1370 . 612806) - (-1371 . 612748) (-1372 . 612690) (-1373 . 612381) (-1374 . 612127) - (-1375 . 612043) (-1376 . 611911) (-1377 . 611853) (-1378 . 611801) - (-1379 . 611719) (-1380 . 611644) (-1381 . 611573) (-1382 . 611519) - (-1383 . 611468) (-1384 . 611394) (-1385 . 611320) (-1386 . 611239) - (-1387 . 611158) (-1388 . 611103) (-1389 . 611029) (-1390 . 610955) - (-1391 . 610881) (-1392 . 610804) (-1393 . 610750) (-1394 . 610692) - (-1395 . 610593) (-1396 . 610494) (-1397 . 610395) (-1398 . 610296) - (-1399 . 610197) (-1400 . 610098) (-1401 . 609999) (-1402 . 609885) - (-1403 . 609771) (-1404 . 609657) (-1405 . 609543) (-1406 . 609429) - (-1407 . 609315) (-1408 . 609198) (-1409 . 609122) (-1410 . 609046) - (-1411 . 608659) (-1412 . 608314) (-1413 . 608212) (-1414 . 607951) - (-1415 . 607849) (-1416 . 607644) (-1417 . 607531) (-1418 . 607429) - (-1419 . 607272) (-1420 . 607183) (-1421 . 607089) (-1422 . 607009) - (-1423 . 606935) (-1424 . 606857) (-1425 . 606798) (-1426 . 606740) - (-1427 . 606638) (-7 . 606610) (-8 . 606582) (-9 . 606554) (-1431 . 606435) - (-1432 . 606353) (-1433 . 606271) (-1434 . 606189) (-1435 . 606107) - (-1436 . 606025) (-1437 . 605931) (-1438 . 605861) (-1439 . 605791) - (-1440 . 605700) (-1441 . 605606) (-1442 . 605524) (-1443 . 605442) - (-1444 . 605344) (-1445 . 605184) (-1446 . 604986) (-1447 . 604850) - (-1448 . 604750) (-1449 . 604650) (-1450 . 604557) (-1451 . 604498) - (-1452 . 604165) (-1453 . 604065) (-1454 . 603947) (-1455 . 603735) - (-1456 . 603556) (-1457 . 603398) (-1458 . 603195) (-1459 . 602777) - (-1460 . 602726) (-1461 . 602617) (-1462 . 602502) (-1463 . 602433) - (-1464 . 602364) (-1465 . 602295) (-1466 . 602229) (-1467 . 602104) - (-1468 . 601887) (-1469 . 601809) (-1470 . 601759) (-1471 . 601688) - (-1472 . 601545) (-1473 . 601404) (-1474 . 601323) (-1475 . 601242) - (-1476 . 601186) (-1477 . 601130) (-1478 . 601057) (-1479 . 600917) - (-1480 . 600864) (-1481 . 600805) (-1482 . 600746) (-1483 . 600591) - (-1484 . 600539) (-1485 . 600422) (-1486 . 600305) (-1487 . 600188) - (-1488 . 600057) (-1489 . 599778) (-1490 . 599643) (-1491 . 599587) - (-1492 . 599531) (-1493 . 599472) (-1494 . 599413) (-1495 . 599357) - (-1496 . 599301) (-1497 . 599104) (-1498 . 596762) (-1499 . 596635) - (-1500 . 596490) (-1501 . 596362) (-1502 . 596310) (-1503 . 596258) - (-1504 . 596206) (-1505 . 592168) (-1506 . 592074) (-1507 . 591935) - (-1508 . 591726) (-1509 . 591624) (-1510 . 591522) (-1511 . 590607) - (-1512 . 590531) (-1513 . 590402) (-1514 . 590277) (-1515 . 590200) - (-1516 . 590123) (-1517 . 589996) (-1518 . 589869) (-1519 . 589703) - (-1520 . 589576) (-1521 . 589449) (-1522 . 589232) (-1523 . 588798) - (-1524 . 588434) (-1525 . 588382) (-1526 . 588323) (-1527 . 588235) - (-1528 . 588147) (-1529 . 588056) (-1530 . 587965) (-1531 . 587874) - (-1532 . 587783) (-1533 . 587692) (-1534 . 587601) (-1535 . 587510) - (-1536 . 587419) (-1537 . 587328) (-1538 . 587237) (-1539 . 587146) - (-1540 . 587055) (-1541 . 586964) (-1542 . 586873) (-1543 . 586782) - (-1544 . 586691) (-1545 . 586600) (-1546 . 586509) (-1547 . 586418) - (-1548 . 586327) (-1549 . 586236) (-1550 . 586145) (-1551 . 586054) - (-1552 . 585963) (-1553 . 585872) (-1554 . 585781) (-1555 . 585619) - (-1556 . 585511) (-1557 . 585268) (-1558 . 584981) (-1559 . 584786) - (-1560 . 584630) (-1561 . 584470) (-1562 . 584419) (-1563 . 584357) - (-1564 . 584306) (-1565 . 584243) (-1566 . 584190) (-1567 . 584138) - (-1568 . 584086) (-1569 . 584034) (-1570 . 583944) (-1571 . 583761) - (-1572 . 583607) (-1573 . 583527) (-1574 . 583447) (-1575 . 583367) - (-1576 . 583237) (-1577 . 583005) (-1578 . 582977) (-1579 . 582949) - (-1580 . 582921) (-1581 . 582841) (-1582 . 582764) (-1583 . 582687) - (-1584 . 582606) (-1585 . 582547) (-1586 . 582389) (-1587 . 582196) - (-1588 . 581711) (-1589 . 581469) (-1590 . 581207) (-1591 . 581106) - (-1592 . 581025) (-1593 . 580944) (-1594 . 580874) (-1595 . 580804) - (-1596 . 580646) (-1597 . 580342) (-1598 . 580114) (-1599 . 579992) - (-1600 . 579934) (-1601 . 579872) (-1602 . 579810) (-1603 . 579745) - (-1604 . 579683) (-1605 . 579404) (-1606 . 579336) (-1607 . 579126) - (-1608 . 579074) (-1609 . 579020) (-1610 . 578929) (-1611 . 578842) - (-1612 . 577095) (-1613 . 577016) (-1614 . 576271) (-1615 . 576154) - (-1616 . 575948) (-1617 . 575787) (-1618 . 575626) (-1619 . 575466) - (-1620 . 575328) (-1621 . 575234) (-1622 . 575136) (-1623 . 575042) - (-1624 . 574928) (-1625 . 574846) (-1626 . 574749) (-1627 . 574553) - (-1628 . 574462) (-1629 . 574368) (-1630 . 574301) (-1631 . 574232) - (-1632 . 574180) (-1633 . 574121) (-1634 . 574047) (-1635 . 573995) - (-1636 . 573838) (-1637 . 573681) (-1638 . 573529) (-1639 . 572771) - (-1640 . 572460) (-1641 . 572108) (-1642 . 571891) (-1643 . 571628) - (-1644 . 571253) (-1645 . 571069) (-1646 . 570935) (-1647 . 570769) - (-1648 . 570603) (-1649 . 570469) (-1650 . 570335) (-1651 . 570201) - (-1652 . 570067) (-1653 . 569936) (-1654 . 569805) (-1655 . 569674) - (-1656 . 569294) (-1657 . 569168) (-1658 . 569040) (-1659 . 568790) - (-1660 . 568667) (-1661 . 568417) (-1662 . 568294) (-1663 . 568044) - (-1664 . 567921) (-1665 . 567638) (-1666 . 567367) (-1667 . 567094) - (-1668 . 566796) (-1669 . 566694) (-1670 . 566549) (-1671 . 566408) - (-1672 . 566257) (-1673 . 566096) (-1674 . 566008) (-1675 . 565980) - (-1676 . 565898) (-1677 . 565801) (-1678 . 565333) (-1679 . 564982) - (-1680 . 564549) (-1681 . 564410) (-1682 . 564340) (-1683 . 564270) - (-1684 . 564200) (-1685 . 564109) (-1686 . 564018) (-1687 . 563927) - (-1688 . 563836) (-1689 . 563745) (-1690 . 563659) (-1691 . 563573) - (-1692 . 563487) (-1693 . 563401) (-1694 . 563315) (-1695 . 563241) - (-1696 . 563136) (-1697 . 562910) (-1698 . 562832) (-1699 . 562757) - (-1700 . 562664) (-1701 . 562560) (-1702 . 562464) (-1703 . 562295) - (-1704 . 562218) (-1705 . 562141) (-1706 . 562050) (-1707 . 561959) - (-1708 . 561759) (-1709 . 561606) (-1710 . 561453) (-1711 . 561300) - (-1712 . 561147) (-1713 . 560994) (-1714 . 560841) (-1715 . 560775) - (-1716 . 560622) (-1717 . 560469) (-1718 . 560316) (-1719 . 560163) - (-1720 . 560010) (-1721 . 559857) (-1722 . 559704) (-1723 . 559551) - (-1724 . 559477) (-1725 . 559403) (-1726 . 559348) (-1727 . 559293) - (-1728 . 559238) (-1729 . 559183) (-1730 . 559112) (-1731 . 558926) - (-1732 . 558829) (-1733 . 558732) (-1734 . 558528) (-1735 . 558427) - (-1736 . 558239) (-1737 . 558146) (-1738 . 558010) (-1739 . 557874) - (-1740 . 557738) (-1741 . 557670) (-1742 . 557554) (-1743 . 557438) - (-1744 . 557322) (-1745 . 557269) (-1746 . 557184) (-1747 . 557099) - (-1748 . 556791) (-1749 . 556736) (-1750 . 556084) (-1751 . 555769) - (-1752 . 555485) (-1753 . 555367) (-1754 . 555248) (-1755 . 555189) - (-1756 . 555130) (-1757 . 555079) (-1758 . 555028) (-1759 . 554977) - (-1760 . 554924) (-1761 . 554871) (-1762 . 554812) (-1763 . 554699) - (-1764 . 554586) (-1765 . 554419) (-1766 . 554327) (-1767 . 554214) - (-1768 . 554130) (-1769 . 554015) (-1770 . 553924) (-1771 . 553833) - (-1772 . 553712) (-1773 . 553525) (-1774 . 553473) (-1775 . 553418) - (-1776 . 553231) (-1777 . 553108) (-1778 . 553035) (-1779 . 552962) - (-1780 . 552842) (-1781 . 552769) (-1782 . 552696) (-1783 . 552356) - (-1784 . 552283) (-1785 . 552063) (-1786 . 551730) (-1787 . 551547) - (-1788 . 551404) (-1789 . 551044) (-1790 . 550876) (-1791 . 550708) - (-1792 . 550452) (-1793 . 550196) (-1794 . 550001) (-1795 . 549806) - (-1796 . 549212) (-1797 . 549136) (-1798 . 548997) (-1799 . 548590) - (-1800 . 548463) (-1801 . 548306) (-1802 . 547989) (-1803 . 547509) - (-1804 . 547029) (-1805 . 546527) (-1806 . 546459) (-1807 . 546388) - (-1808 . 546317) (-1809 . 546145) (-1810 . 546026) (-1811 . 545907) - (-1812 . 545831) (-1813 . 545755) (-1814 . 545482) (-1815 . 545368) - (-1816 . 545317) (-1817 . 545266) (-1818 . 545215) (-1819 . 545164) - (-1820 . 545113) (-1821 . 544972) (-1822 . 544799) (-1823 . 544568) - (-1824 . 544382) (-1825 . 544354) (-1826 . 544326) (-1827 . 544298) - (-1828 . 544270) (-1829 . 544242) (-1830 . 544214) (-1831 . 544186) - (-1832 . 544135) (-1833 . 544069) (-1834 . 543979) (-1835 . 543608) - (-1836 . 543457) (-1837 . 543306) (-1838 . 543101) (-1839 . 542979) - (-1840 . 542905) (-1841 . 542828) (-1842 . 542754) (-1843 . 542677) - (-1844 . 542600) (-1845 . 542526) (-1846 . 542449) (-1847 . 542216) - (-1848 . 542063) (-1849 . 541768) (-1850 . 541615) (-1851 . 541293) - (-1852 . 541155) (-1853 . 541017) (-1854 . 540937) (-1855 . 540857) - (-1856 . 540593) (-1857 . 539862) (-1858 . 539726) (-1859 . 539636) - (-1860 . 539501) (-1861 . 539434) (-1862 . 539366) (-1863 . 539279) - (-1864 . 539192) (-1865 . 539025) (-1866 . 538951) (-1867 . 538807) - (-1868 . 538347) (-1869 . 537968) (-1870 . 537206) (-1871 . 537062) - (-1872 . 536918) (-1873 . 536756) (-1874 . 536519) (-1875 . 536379) - (-1876 . 536233) (-1877 . 535994) (-1878 . 535758) (-1879 . 535519) - (-1880 . 535327) (-1881 . 535204) (-1882 . 535000) (-1883 . 534777) - (-1884 . 534538) (-1885 . 534397) (-1886 . 534259) (-1887 . 534120) - (-1888 . 533867) (-1889 . 533611) (-1890 . 533454) (-1891 . 533300) - (-1892 . 533060) (-1893 . 532775) (-1894 . 532637) (-1895 . 532550) - (-1896 . 531884) (-1897 . 531708) (-1898 . 531526) (-1899 . 531350) - (-1900 . 531168) (-1901 . 530989) (-1902 . 530810) (-1903 . 530623) - (-1904 . 530241) (-1905 . 530062) (-1906 . 529883) (-1907 . 529696) - (-1908 . 529314) (-1909 . 528321) (-1910 . 527937) (-1911 . 527553) - (-1912 . 527435) (-1913 . 527278) (-1914 . 527136) (-1915 . 527019) - (-1916 . 526837) (-1917 . 526713) (-1918 . 526424) (-1919 . 526135) - (-1920 . 525852) (-1921 . 525569) (-1922 . 525291) (-1923 . 525203) - (-1924 . 525118) (-1925 . 525021) (-1926 . 524924) (-1927 . 524704) - (-1928 . 524604) (-1929 . 524501) (-1930 . 524423) (-1931 . 524098) - (-1932 . 523806) (-1933 . 523733) (-1934 . 523348) (-1935 . 523320) - (-1936 . 523121) (-1937 . 522947) (-1938 . 522706) (-1939 . 522651) - (-1940 . 522576) (-1941 . 522208) (-1942 . 522093) (-1943 . 522016) - (-1944 . 521943) (-1945 . 521862) (-1946 . 521781) (-1947 . 521700) - (-1948 . 521599) (-1949 . 521540) (-1950 . 521487) (-1951 . 521433) - (-1952 . 521101) (-1953 . 520777) (-1954 . 520589) (-1955 . 520398) - (-1956 . 520234) (-1957 . 519899) (-1958 . 519732) (-1959 . 519491) - (-1960 . 519167) (-1961 . 518977) (-1962 . 518762) (-1963 . 518591) - (-1964 . 518169) (-1965 . 517942) (-1966 . 517671) (-1967 . 517534) - (-1968 . 517393) (-1969 . 516916) (-1970 . 516793) (-1971 . 516557) - (-1972 . 516303) (-1973 . 516053) (-1974 . 515760) (-1975 . 515620) - (-1976 . 515480) (-1977 . 515340) (-1978 . 515151) (-1979 . 514962) - (-1980 . 514787) (-1981 . 514513) (-1982 . 514078) (-1983 . 514050) - (-1984 . 513978) (-1985 . 513845) (-1986 . 513770) (-1987 . 513611) - (-1988 . 513448) (-1989 . 513287) (-1990 . 513120) (-1991 . 513067) - (-1992 . 513014) (-1993 . 512885) (-1994 . 512825) (-1995 . 512772) - (-1996 . 512702) (-1997 . 512642) (-1998 . 512583) (-1999 . 512523) - (-2000 . 512464) (-2001 . 512404) (-2002 . 512345) (-2003 . 512286) - (-2004 . 512144) (-2005 . 512049) (-2006 . 511958) (-2007 . 511842) - (-2008 . 511748) (-2009 . 511650) (-2010 . 511556) (-2011 . 511415) - (-2012 . 511153) (-2013 . 510297) (-2014 . 510141) (-2015 . 509772) - (-2016 . 509716) (-2017 . 509665) (-2018 . 509562) (-2019 . 509477) - (-2020 . 509389) (-2021 . 509243) (-2022 . 509094) (-2023 . 508804) - (-2024 . 508726) (-2025 . 508651) (-2026 . 508598) (-2027 . 508545) - (-2028 . 508514) (-2029 . 508451) (-2030 . 508333) (-2031 . 508244) - (-2032 . 508124) (-2033 . 507829) (-2034 . 507635) (-2035 . 507447) - (-2036 . 507302) (-2037 . 507157) (-2038 . 506871) (-2039 . 506429) - (-2040 . 506395) (-2041 . 506358) (-2042 . 506321) (-2043 . 506284) - (-2044 . 506247) (-2045 . 506216) (-2046 . 506185) (-2047 . 506154) - (-2048 . 506120) (-2049 . 506086) (-2050 . 506032) (-2051 . 505856) - (-2052 . 505622) (-2053 . 505388) (-2054 . 505159) (-2055 . 505107) - (-2056 . 505052) (-2057 . 504983) (-2058 . 504895) (-2059 . 504826) - (-2060 . 504754) (-2061 . 504524) (-2062 . 504473) (-2063 . 504419) - (-2064 . 504388) (-2065 . 504282) (-2066 . 504057) (-2067 . 503747) - (-2068 . 503573) (-2069 . 503391) (-2070 . 503120) (-2071 . 503047) - (-2072 . 502982) (-2073 . 502506) (-2074 . 501944) (-2075 . 501218) - (-2076 . 500657) (-2077 . 500029) (-2078 . 499450) (-2079 . 499376) - (-2080 . 499324) (-2081 . 499272) (-2082 . 499198) (-2083 . 499143) - (-2084 . 499091) (-2085 . 499039) (-2086 . 498987) (-2087 . 498917) - (-2088 . 498469) (-2089 . 498263) (-2090 . 498014) (-2091 . 497680) - (-2092 . 497426) (-2093 . 497124) (-2094 . 496921) (-2095 . 496632) - (-2096 . 496084) (-2097 . 495947) (-2098 . 495745) (-2099 . 495465) - (-2100 . 495380) (-2101 . 495047) (-2102 . 494906) (-2103 . 494615) - (-2104 . 494395) (-2105 . 494269) (-2106 . 494144) (-2107 . 493997) - (-2108 . 493853) (-2109 . 493737) (-2110 . 493606) (-2111 . 493234) - (-2112 . 492974) (-2113 . 492704) (-2114 . 492464) (-2115 . 492134) - (-2116 . 491794) (-2117 . 491386) (-2118 . 490968) (-2119 . 490771) - (-2120 . 490496) (-2121 . 490328) (-2122 . 490132) (-2123 . 489910) - (-2124 . 489755) (-2125 . 489570) (-2126 . 489467) (-2127 . 489439) - (-2128 . 489411) (-2129 . 489237) (-2130 . 489163) (-2131 . 489102) - (-2132 . 489049) (-2133 . 488980) (-2134 . 488911) (-2135 . 488792) - (-2136 . 488614) (-2137 . 488559) (-2138 . 488313) (-2139 . 488240) - (-2140 . 488170) (-2141 . 488100) (-2142 . 488011) (-2143 . 487821) - (-2144 . 487748) (-2145 . 487679) (-2146 . 487614) (-2147 . 487559) - (-2148 . 487468) (-2149 . 487177) (-2150 . 486851) (-2151 . 486777) - (-2152 . 486455) (-2153 . 486250) (-2154 . 486165) (-2155 . 486080) - (-2156 . 485995) (-2157 . 485910) (-2158 . 485825) (-2159 . 485740) - (-2160 . 485655) (-2161 . 485570) (-2162 . 485485) (-2163 . 485400) - (-2164 . 485315) (-2165 . 485230) (-2166 . 485145) (-2167 . 485060) - (-2168 . 484975) (-2169 . 484890) (-2170 . 484805) (-2171 . 484720) - (-2172 . 484635) (-2173 . 484550) (-2174 . 484465) (-2175 . 484380) - (-2176 . 484295) (-2177 . 484210) (-2178 . 484125) (-2179 . 484040) - (-2180 . 483938) (-2181 . 483850) (-2182 . 483642) (-2183 . 483584) - (-2184 . 483529) (-2185 . 483442) (-2186 . 483331) (-2187 . 483245) - (-2188 . 483099) (-2189 . 483037) (-2190 . 483009) (-2191 . 482981) - (-2192 . 482953) (-2193 . 482925) (-2194 . 482756) (-2195 . 482605) - (-2196 . 482454) (-2197 . 482282) (-2198 . 482074) (-2199 . 481950) - (-2200 . 481742) (-2201 . 481650) (-2202 . 481558) (-2203 . 481429) - (-2204 . 481334) (-2205 . 481240) (-2206 . 481145) (-2207 . 481021) - (-2208 . 480993) (-2209 . 480965) (-2210 . 480937) (-2211 . 480909) - (-2212 . 480881) (-2213 . 480853) (-2214 . 480825) (-2215 . 480797) - (-2216 . 480769) (-2217 . 480741) (-2218 . 480713) (-2219 . 480685) - (-2220 . 480657) (-2221 . 480629) (-2222 . 480601) (-2223 . 480573) - (-2224 . 480520) (-2225 . 480492) (-2226 . 480464) (-2227 . 480386) - (-2228 . 480333) (-2229 . 480280) (-2230 . 480227) (-2231 . 480149) - (-2232 . 480059) (-2233 . 479964) (-2234 . 479870) (-2235 . 479788) - (-2236 . 479482) (-2237 . 479286) (-2238 . 479191) (-2239 . 479083) - (-2240 . 478672) (-2241 . 478644) (-2242 . 478480) (-2243 . 478403) - (-2244 . 478216) (-2245 . 478037) (-2246 . 477613) (-2247 . 477461) - (-2248 . 477281) (-2249 . 477108) (-2250 . 476848) (-2251 . 476596) - (-2252 . 475785) (-2253 . 475618) (-2254 . 475400) (-2255 . 474576) - (-2256 . 474445) (-2257 . 474314) (-2258 . 474183) (-2259 . 474052) - (-2260 . 473921) (-2261 . 473790) (-2262 . 473595) (-2263 . 473401) - (-2264 . 473258) (-2265 . 472943) (-2266 . 472828) (-2267 . 472488) - (-2268 . 472328) (-2269 . 472189) (-2270 . 472050) (-2271 . 471921) - (-2272 . 471836) (-2273 . 471784) (-2274 . 471304) (-2275 . 470042) - (-2276 . 469915) (-2277 . 469773) (-2278 . 469437) (-2279 . 469332) - (-2280 . 469083) (-2281 . 468851) (-2282 . 468746) (-2283 . 468671) - (-2284 . 468596) (-2285 . 468521) (-2286 . 468462) (-2287 . 468392) - (-2288 . 468339) (-2289 . 468277) (-2290 . 468207) (-2291 . 467844) - (-2292 . 467557) (-2293 . 467447) (-2294 . 467260) (-2295 . 467167) - (-2296 . 467074) (-2297 . 466987) (-2298 . 466767) (-2299 . 466548) - (-2300 . 466130) (-2301 . 465858) (-2302 . 465715) (-2303 . 465622) - (-2304 . 465479) (-2305 . 465327) (-2306 . 465173) (-2307 . 465103) - (-2308 . 464896) (-2309 . 464719) (-2310 . 464510) (-2311 . 464333) - (-2312 . 464299) (-2313 . 464265) (-2314 . 464234) (-2315 . 464116) - (-2316 . 463803) (-2317 . 463525) (-2318 . 463404) (-2319 . 463277) - (-2320 . 463192) (-2321 . 463119) (-2322 . 463030) (-2323 . 462959) - (-2324 . 462903) (-2325 . 462847) (-2326 . 462791) (-2327 . 462721) - (-2328 . 462651) (-2329 . 462581) (-2330 . 462483) (-2331 . 462405) - (-2332 . 462327) (-2333 . 462184) (-2334 . 462105) (-2335 . 462033) - (-2336 . 461830) (-2337 . 461774) (-2338 . 461586) (-2339 . 461487) - (-2340 . 461369) (-2341 . 461248) (-2342 . 461105) (-2343 . 460962) - (-2344 . 460822) (-2345 . 460682) (-2346 . 460539) (-2347 . 460413) - (-2348 . 460284) (-2349 . 460161) (-2350 . 460038) (-2351 . 459933) - (-2352 . 459828) (-2353 . 459726) (-2354 . 459576) (-2355 . 459423) - (-2356 . 459270) (-2357 . 459126) (-2358 . 458972) (-2359 . 458896) - (-2360 . 458817) (-2361 . 458664) (-2362 . 458585) (-2363 . 458506) - (-2364 . 458427) (-2365 . 458325) (-2366 . 458266) (-2367 . 458204) - (-2368 . 458087) (-2369 . 457963) (-2370 . 457886) (-2371 . 457754) - (-2372 . 457448) (-2373 . 457265) (-2374 . 456720) (-2375 . 456500) - (-2376 . 456326) (-2377 . 456156) (-2378 . 456083) (-2379 . 456007) - (-2380 . 455928) (-2381 . 455631) (-2382 . 455469) (-2383 . 455235) - (-2384 . 454793) (-2385 . 454663) (-2386 . 454523) (-2387 . 454214) - (-2388 . 453912) (-2389 . 453596) (-2390 . 453190) (-2391 . 453122) - (-2392 . 453054) (-2393 . 452986) (-2394 . 452892) (-2395 . 452785) - (-2396 . 452678) (-2397 . 452577) (-2398 . 452476) (-2399 . 452375) - (-2400 . 452298) (-2401 . 451905) (-2402 . 451488) (-2403 . 450861) - (-2404 . 450797) (-2405 . 450678) (-2406 . 450559) (-2407 . 450451) - (-2408 . 450343) (-2409 . 450187) (-2410 . 449587) (-2411 . 449304) - (-2412 . 449225) (-2413 . 449171) (-2414 . 449003) (-2415 . 448881) - (-2416 . 448485) (-2417 . 448249) (-2418 . 448048) (-2419 . 447840) - (-2420 . 447647) (-2421 . 447380) (-2422 . 447306) (-2423 . 447127) - (-2424 . 447058) (-2425 . 446982) (-2426 . 446841) (-2427 . 446638) - (-2428 . 446494) (-2429 . 446244) (-2430 . 445936) (-2431 . 445580) - (-2432 . 445421) (-2433 . 445215) (-2434 . 445055) (-2435 . 444982) - (-2436 . 444948) (-2437 . 444883) (-2438 . 444846) (-2439 . 444709) - (-2440 . 444471) (-2441 . 444401) (-2442 . 444215) (-2443 . 443966) - (-2444 . 443810) (-2445 . 443287) (-2446 . 443090) (-2447 . 442878) - (-2448 . 442716) (-2449 . 442317) (-2450 . 442150) (-2451 . 441075) - (-2452 . 440952) (-2453 . 440735) (-2454 . 440605) (-2455 . 440475) - (-2456 . 440318) (-2457 . 440215) (-2458 . 440157) (-2459 . 440099) - (-2460 . 439993) (-2461 . 439887) (-2462 . 438971) (-2463 . 436844) - (-2464 . 436030) (-2465 . 434227) (-2466 . 434159) (-2467 . 434091) - (-2468 . 434023) (-2469 . 433955) (-2470 . 433887) (-2471 . 433809) - (-2472 . 433453) (-2473 . 433271) (-2474 . 432732) (-2475 . 432556) - (-2476 . 432335) (-2477 . 432114) (-2478 . 431893) (-2479 . 431675) - (-2480 . 431457) (-2481 . 431239) (-2482 . 431021) (-2483 . 430803) - (-2484 . 430585) (-2485 . 430484) (-2486 . 429751) (-2487 . 429696) - (-2488 . 429641) (-2489 . 429586) (-2490 . 429531) (-2491 . 429381) - (-2492 . 429133) (-2493 . 428972) (-2494 . 428792) (-2495 . 428505) - (-2496 . 428119) (-2497 . 427247) (-2498 . 426907) (-2499 . 426739) - (-2500 . 426517) (-2501 . 426267) (-2502 . 425919) (-2503 . 424909) - (-2504 . 424598) (-2505 . 424386) (-2506 . 423822) (-2507 . 423309) - (-2508 . 421553) (-2509 . 421081) (-2510 . 420482) (-2511 . 420232) - (-2512 . 420098) (-2513 . 419886) (-2514 . 419810) (-2515 . 419734) - (-2516 . 419627) (-2517 . 419445) (-2518 . 419280) (-2519 . 419102) - (-2520 . 418521) (-2521 . 418360) (-2522 . 417787) (-2523 . 417717) - (-2524 . 417642) (-2525 . 417570) (-2526 . 417432) (-2527 . 417245) - (-2528 . 417138) (-2529 . 417031) (-2530 . 416916) (-2531 . 416801) - (-2532 . 416686) (-2533 . 416408) (-2534 . 416258) (-2535 . 416115) - (-2536 . 416042) (-2537 . 415957) (-2538 . 415884) (-2539 . 415811) - (-2540 . 415738) (-2541 . 415595) (-2542 . 415445) (-2543 . 415271) - (-2544 . 415121) (-2545 . 414971) (-2546 . 414845) (-2547 . 414459) - (-2548 . 414175) (-2549 . 413891) (-2550 . 413482) (-2551 . 413198) - (-2552 . 413125) (-2553 . 412978) (-2554 . 412872) (-2555 . 412798) - (-2556 . 412728) (-2557 . 412649) (-2558 . 412572) (-2559 . 412495) - (-2560 . 412346) (-2561 . 412243) (-2562 . 412185) (-2563 . 412121) - (-2564 . 412057) (-2565 . 411960) (-2566 . 411863) (-2567 . 411703) - (-2568 . 411617) (-2569 . 411531) (-2570 . 411446) (-2571 . 411387) - (-2572 . 411328) (-2573 . 411269) (-2574 . 411210) (-2575 . 411040) - (-2576 . 410952) (-2577 . 410855) (-2578 . 410821) (-2579 . 410790) - (-2580 . 410706) (-2581 . 410650) (-2582 . 410588) (-2583 . 410554) - (-2584 . 410520) (-2585 . 410486) (-2586 . 410452) (-2587 . 410418) - (-2588 . 410384) (-2589 . 410350) (-2590 . 410316) (-2591 . 410282) - (-2592 . 410170) (-2593 . 410136) (-2594 . 410085) (-2595 . 410051) - (-2596 . 409954) (-2597 . 409892) (-2598 . 409801) (-2599 . 409710) - (-2600 . 409655) (-2601 . 409603) (-2602 . 409551) (-2603 . 409499) - (-2604 . 409447) (-2605 . 409024) (-2606 . 408858) (-2607 . 408805) - (-2608 . 408736) (-2609 . 408683) (-2610 . 408552) (-2611 . 408396) - (-2612 . 407875) (-2613 . 407734) (-2614 . 407700) (-2615 . 407645) - (-2616 . 406935) (-2617 . 406620) (-2618 . 406116) (-2619 . 406038) - (-2620 . 405986) (-2621 . 405934) (-2622 . 405750) (-2623 . 405698) - (-2624 . 405646) (-2625 . 405570) (-2626 . 405508) (-2627 . 405290) - (-2628 . 405223) (-2629 . 405129) (-2630 . 405035) (-2631 . 404852) - (-2632 . 404770) (-2633 . 404648) (-2634 . 404502) (-2635 . 403851) - (-2636 . 403149) (-2637 . 403045) (-2638 . 402944) (-2639 . 402843) - (-2640 . 402732) (-2641 . 402564) (-2642 . 402360) (-2643 . 402267) - (-2644 . 402190) (-2645 . 402134) (-2646 . 402064) (-2647 . 401944) - (-2648 . 401843) (-2649 . 401746) (-2650 . 401666) (-2651 . 401586) - (-2652 . 401509) (-2653 . 401439) (-2654 . 401369) (-2655 . 401299) - (-2656 . 401229) (-2657 . 401159) (-2658 . 401089) (-2659 . 400996) - (-2660 . 400868) (-2661 . 400626) (-2662 . 400456) (-2663 . 400087) - (-2664 . 399918) (-2665 . 399802) (-2666 . 399306) (-2667 . 398925) - (-2668 . 398679) (-2669 . 398587) (-2670 . 398490) (-2671 . 397828) - (-2672 . 397715) (-2673 . 397641) (-2674 . 397549) (-2675 . 397359) - (-2676 . 397169) (-2677 . 397098) (-2678 . 397027) (-2679 . 396946) - (-2680 . 396865) (-2681 . 396740) (-2682 . 396607) (-2683 . 396526) - (-2684 . 396452) (-2685 . 396287) (-2686 . 396130) (-2687 . 395902) - (-2688 . 395754) (-2689 . 395650) (-2690 . 395546) (-2691 . 395461) - (-2692 . 395093) (-2693 . 395012) (-2694 . 394925) (-2695 . 394844) - (-2696 . 394648) (-2697 . 394428) (-2698 . 394241) (-2699 . 393919) - (-2700 . 393626) (-2701 . 393333) (-2702 . 393023) (-2703 . 392706) - (-2704 . 392554) (-2705 . 392366) (-2706 . 391893) (-2707 . 391811) - (-2708 . 391595) (-2709 . 391379) (-2710 . 391120) (-2711 . 390699) - (-2712 . 390186) (-2713 . 390056) (-2714 . 389782) (-2715 . 389603) - (-2716 . 389488) (-2717 . 389384) (-2718 . 389329) (-2719 . 389252) - (-2720 . 389182) (-2721 . 389109) (-2722 . 389054) (-2723 . 388981) - (-2724 . 388926) (-2725 . 388571) (-2726 . 388163) (-2727 . 388010) - (-2728 . 387857) (-2729 . 387776) (-2730 . 387623) (-2731 . 387470) - (-2732 . 387335) (-2733 . 387200) (-2734 . 387065) (-2735 . 386930) - (-2736 . 386795) (-2737 . 386660) (-2738 . 386604) (-2739 . 386451) - (-2740 . 386340) (-2741 . 386229) (-2742 . 386144) (-2743 . 386034) - (-2744 . 385931) (-2745 . 381780) (-2746 . 381332) (-2747 . 380905) - (-2748 . 380288) (-2749 . 379687) (-2750 . 379469) (-2751 . 379291) - (-2752 . 379032) (-2753 . 378621) (-2754 . 378327) (-2755 . 377884) - (-2756 . 377706) (-2757 . 377313) (-2758 . 376920) (-2759 . 376735) - (-2760 . 376528) (-2761 . 376308) (-2762 . 376002) (-2763 . 375803) - (-2764 . 375174) (-2765 . 375017) (-2766 . 374628) (-2767 . 374577) - (-2768 . 374528) (-2769 . 374477) (-2770 . 374429) (-2771 . 374377) - (-2772 . 374231) (-2773 . 374179) (-2774 . 374033) (-2775 . 373981) - (-2776 . 373835) (-2777 . 373784) (-2778 . 373409) (-2779 . 373358) - (-2780 . 373309) (-2781 . 373258) (-2782 . 373210) (-2783 . 373158) - (-2784 . 373109) (-2785 . 373057) (-2786 . 373008) (-2787 . 372956) - (-2788 . 372907) (-2789 . 372841) (-2790 . 372723) (-2791 . 371561) - (-2792 . 371144) (-2793 . 371036) (-2794 . 370794) (-2795 . 370644) - (-2796 . 370494) (-2797 . 370333) (-2798 . 368126) (-2799 . 367865) - (-2800 . 367711) (-2801 . 367565) (-2802 . 367419) (-2803 . 367200) - (-2804 . 367068) (-2805 . 366993) (-2806 . 366918) (-2807 . 366783) - (-2808 . 366654) (-2809 . 366525) (-2810 . 366399) (-2811 . 366273) - (-2812 . 366147) (-2813 . 366021) (-2814 . 365918) (-2815 . 365818) - (-2816 . 365724) (-2817 . 365594) (-2818 . 365443) (-2819 . 365067) - (-2820 . 364953) (-2821 . 364712) (-2822 . 364254) (-2823 . 363944) - (-2824 . 363377) (-2825 . 362808) (-2826 . 361798) (-2827 . 361256) - (-2828 . 360943) (-2829 . 360605) (-2830 . 360274) (-2831 . 359954) - (-2832 . 359901) (-2833 . 359774) (-2834 . 359272) (-2835 . 358129) - (-2836 . 358074) (-2837 . 358019) (-2838 . 357943) (-2839 . 357824) - (-2840 . 357749) (-2841 . 357674) (-2842 . 357596) (-2843 . 357373) - (-2844 . 357314) (-2845 . 357255) (-2846 . 357152) (-2847 . 357049) - (-2848 . 356946) (-2849 . 356843) (-2850 . 356762) (-2851 . 356688) - (-2852 . 356473) (-2853 . 356239) (-2854 . 356205) (-2855 . 356171) - (-2856 . 356143) (-2857 . 356115) (-2858 . 355898) (-2859 . 355620) - (-2860 . 355470) (-2861 . 355340) (-2862 . 355210) (-2863 . 355110) - (-2864 . 354933) (-2865 . 354773) (-2866 . 354673) (-2867 . 354496) - (-2868 . 354336) (-2869 . 354177) (-2870 . 354038) (-2871 . 353888) - (-2872 . 353758) (-2873 . 353628) (-2874 . 353481) (-2875 . 353354) - (-2876 . 353251) (-2877 . 353144) (-2878 . 353047) (-2879 . 352882) - (-2880 . 352734) (-2881 . 352319) (-2882 . 352219) (-2883 . 352116) - (-2884 . 352028) (-2885 . 351948) (-2886 . 351798) (-2887 . 351668) - (-2888 . 351616) (-2889 . 351543) (-2890 . 351468) (-2891 . 351409) - (-2892 . 351297) (-2893 . 350985) (-2894 . 350808) (-2895 . 349210) - (-2896 . 348582) (-2897 . 348522) (-2898 . 348404) (-2899 . 348286) - (-2900 . 348142) (-2901 . 347990) (-2902 . 347831) (-2903 . 347672) - (-2904 . 347466) (-2905 . 347279) (-2906 . 347127) (-2907 . 346972) - (-2908 . 346817) (-2909 . 346665) (-2910 . 346528) (-2911 . 346105) - (-2912 . 345979) (-2913 . 345853) (-2914 . 345727) (-2915 . 345587) - (-2916 . 345446) (-2917 . 345305) (-2918 . 345161) (-2919 . 344413) - (-2920 . 344255) (-2921 . 344069) (-2922 . 343914) (-2923 . 343676) - (-2924 . 343431) (-2925 . 343186) (-2926 . 342976) (-2927 . 342839) - (-2928 . 342629) (-2929 . 342492) (-2930 . 342282) (-2931 . 342145) - (-2932 . 341935) (-2933 . 341632) (-2934 . 341488) (-2935 . 341347) - (-2936 . 341124) (-2937 . 340983) (-2938 . 340761) (-2939 . 340564) - (-2940 . 340408) (-2941 . 340081) (-2942 . 339922) (-2943 . 339763) - (-2944 . 339604) (-2945 . 339433) (-2946 . 339262) (-2947 . 339088) - (-2948 . 338736) (-2949 . 338613) (-2950 . 338451) (-2951 . 338378) - (-2952 . 338305) (-2953 . 338232) (-2954 . 338159) (-2955 . 338086) - (-2956 . 338013) (-2957 . 337890) (-2958 . 337717) (-2959 . 337594) - (-2960 . 337508) (-2961 . 337442) (-2962 . 337376) (-2963 . 337310) - (-2964 . 337244) (-2965 . 337178) (-2966 . 337112) (-2967 . 337046) - (-2968 . 336980) (-2969 . 336914) (-2970 . 336848) (-2971 . 336782) - (-2972 . 336716) (-2973 . 336650) (-2974 . 336584) (-2975 . 336518) - (-2976 . 336452) (-2977 . 336386) (-2978 . 336320) (-2979 . 336254) - (-2980 . 336188) (-2981 . 336122) (-2982 . 336056) (-2983 . 335990) - (-2984 . 335924) (-2985 . 335858) (-2986 . 335792) (-2987 . 335145) - (-2988 . 334498) (-2989 . 334370) (-2990 . 334247) (-2991 . 334124) - (-2992 . 333983) (-2993 . 333829) (-2994 . 333685) (-2995 . 333510) - (-2996 . 332900) (-2997 . 332776) (-2998 . 332652) (-2999 . 331974) - (-3000 . 331277) (-3001 . 331176) (-3002 . 331120) (-3003 . 331064) - (-3004 . 331008) (-3005 . 330952) (-3006 . 330893) (-3007 . 330829) - (-3008 . 330721) (-3009 . 330613) (-3010 . 330505) (-3011 . 330226) - (-3012 . 330152) (-3013 . 329926) (-3014 . 329845) (-3015 . 329767) - (-3016 . 329689) (-3017 . 329611) (-3018 . 329532) (-3019 . 329454) - (-3020 . 329361) (-3021 . 329262) (-3022 . 329194) (-3023 . 329145) - (-3024 . 328454) (-3025 . 327814) (-3026 . 327023) (-3027 . 326942) - (-3028 . 326838) (-3029 . 326749) (-3030 . 326660) (-3031 . 326586) - (-3032 . 326512) (-3033 . 326438) (-3034 . 326383) (-3035 . 326328) - (-3036 . 326262) (-3037 . 326196) (-3038 . 326134) (-3039 . 325859) - (-3040 . 325367) (-3041 . 324909) (-3042 . 324656) (-3043 . 324468) - (-3044 . 324127) (-3045 . 323831) (-3046 . 323663) (-3047 . 323532) - (-3048 . 323392) (-3049 . 323237) (-3050 . 323068) (-3051 . 321682) - (-3052 . 321549) (-3053 . 321408) (-3054 . 321179) (-3055 . 321120) - (-3056 . 321064) (-3057 . 321008) (-3058 . 320743) (-3059 . 320531) - (-3060 . 320392) (-3061 . 320285) (-3062 . 320168) (-3063 . 320102) - (-3064 . 320029) (-3065 . 319915) (-3066 . 319662) (-3067 . 319562) - (-3068 . 319368) (-3069 . 319060) (-3070 . 318594) (-3071 . 318489) - (-3072 . 318383) (-3073 . 318234) (-3074 . 318094) (-3075 . 317682) - (-3076 . 317438) (-3077 . 316780) (-3078 . 316627) (-3079 . 316513) - (-3080 . 316403) (-3081 . 315583) (-3082 . 315389) (-3083 . 314363) - (-3084 . 313915) (-3085 . 312526) (-3086 . 311675) (-3087 . 311626) - (-3088 . 311577) (-3089 . 311528) (-3090 . 311461) (-3091 . 311386) - (-3092 . 311196) (-3093 . 311124) (-3094 . 311049) (-3095 . 310977) - (-3096 . 310860) (-3097 . 310809) (-3098 . 310730) (-3099 . 310651) - (-3100 . 310572) (-3101 . 310521) (-3102 . 310277) (-3103 . 309975) - (-3104 . 309893) (-3105 . 309811) (-3106 . 309750) (-3107 . 309361) - (-3108 . 308489) (-3109 . 307916) (-3110 . 306681) (-3111 . 305874) - (-3112 . 305624) (-3113 . 305374) (-3114 . 304949) (-3115 . 304705) - (-3116 . 304461) (-3117 . 304217) (-3118 . 303973) (-3119 . 303729) - (-3120 . 303485) (-3121 . 303243) (-3122 . 303001) (-3123 . 302759) - (-3124 . 302517) (-3125 . 301939) (-3126 . 301823) (-3127 . 301769) - (-3128 . 300927) (-3129 . 300896) (-3130 . 300551) (-3131 . 300325) - (-3132 . 300226) (-3133 . 300127) (-3134 . 298361) (-3135 . 298249) - (-3136 . 297199) (-3137 . 297107) (-3138 . 296185) (-3139 . 295852) - (-3140 . 295519) (-3141 . 295416) (-3142 . 295305) (-3143 . 295194) - (-3144 . 295083) (-3145 . 294972) (-3146 . 293885) (-3147 . 293765) - (-3148 . 293630) (-3149 . 293498) (-3150 . 293366) (-3151 . 293072) - (-3152 . 292778) (-3153 . 292433) (-3154 . 292207) (-3155 . 291981) - (-3156 . 291870) (-3157 . 291759) (-3158 . 290297) (-3159 . 288593) - (-3160 . 288284) (-3161 . 288132) (-3162 . 287609) (-3163 . 287280) - (-3164 . 287087) (-3165 . 286894) (-3166 . 286701) (-3167 . 286508) - (-3168 . 286395) (-3169 . 286272) (-3170 . 286158) (-3171 . 286044) - (-3172 . 285951) (-3173 . 285858) (-3174 . 285748) (-3175 . 285547) - (-3176 . 284403) (-3177 . 284310) (-3178 . 284196) (-3179 . 284103) - (-3180 . 283856) (-3181 . 283745) (-3182 . 283531) (-3183 . 283413) - (-3184 . 283116) (-3185 . 282388) (-3186 . 281812) (-3187 . 281334) - (-3188 . 281090) (-3189 . 280846) (-3190 . 280503) (-3191 . 279897) - (-3192 . 279454) (-3193 . 279299) (-3194 . 279155) (-3195 . 278835) - (-3196 . 278680) (-3197 . 278540) (-3198 . 278400) (-3199 . 278260) - (-3200 . 277985) (-3201 . 277766) (-3202 . 277247) (-3203 . 277035) - (-3204 . 276823) (-3205 . 276443) (-3206 . 276269) (-3207 . 276060) - (-3208 . 275752) (-3209 . 275560) (-3210 . 275387) (-3211 . 274251) - (-3212 . 273886) (-3213 . 273686) (-3214 . 273486) (-3215 . 272650) - (-3216 . 272622) (-3217 . 272554) (-3218 . 272484) (-3219 . 272320) - (-3220 . 272292) (-3221 . 272264) (-3222 . 272210) (-3223 . 272060) - (-3224 . 272001) (-3225 . 271308) (-3226 . 269923) (-3227 . 269862) - (-3228 . 269538) (-3229 . 269466) (-3230 . 269409) (-3231 . 269352) - (-3232 . 269295) (-3233 . 269238) (-3234 . 269163) (-3235 . 268573) - (-3236 . 268213) (-3237 . 268139) (-3238 . 268079) (-3239 . 267961) - (-3240 . 267018) (-3241 . 266891) (-3242 . 266678) (-3243 . 266604) - (-3244 . 266550) (-3245 . 266496) (-3246 . 266387) (-3247 . 266104) - (-3248 . 265996) (-3249 . 265893) (-3250 . 265732) (-3251 . 265631) - (-3252 . 265533) (-3253 . 265395) (-3254 . 265257) (-3255 . 265119) - (-3256 . 264857) (-3257 . 264648) (-3258 . 264510) (-3259 . 264219) - (-3260 . 264067) (-3261 . 263792) (-3262 . 263572) (-3263 . 263420) - (-3264 . 263268) (-3265 . 263116) (-3266 . 262964) (-3267 . 262812) - (-3268 . 262605) (-3269 . 262218) (-3270 . 261887) (-3271 . 261548) - (-3272 . 261201) (-3273 . 260862) (-3274 . 260523) (-3275 . 260142) - (-3276 . 259761) (-3277 . 259380) (-3278 . 259015) (-3279 . 258297) - (-3280 . 257950) (-3281 . 257505) (-3282 . 257080) (-3283 . 256469) - (-3284 . 255877) (-3285 . 255490) (-3286 . 255159) (-3287 . 254772) - (-3288 . 254441) (-3289 . 254221) (-3290 . 253700) (-3291 . 253487) - (-3292 . 253274) (-3293 . 253061) (-3294 . 252883) (-3295 . 252670) - (-3296 . 252492) (-3297 . 252110) (-3298 . 251932) (-3299 . 251722) - (-3300 . 251632) (-3301 . 251542) (-3302 . 251451) (-3303 . 251339) - (-3304 . 251249) (-3305 . 251142) (-3306 . 250953) (-3307 . 250897) - (-3308 . 250816) (-3309 . 250735) (-3310 . 250654) (-3311 . 250577) - (-3312 . 250442) (-3313 . 250307) (-3314 . 250183) (-3315 . 250062) - (-3316 . 249944) (-3317 . 249808) (-3318 . 249675) (-3319 . 249556) - (-3320 . 249298) (-3321 . 249013) (-3322 . 248941) (-3323 . 248845) - (-3324 . 248704) (-3325 . 248647) (-3326 . 248590) (-3327 . 248530) - (-3328 . 248226) (-3329 . 247831) (-3330 . 247309) (-3331 . 247032) - (-3332 . 246612) (-3333 . 246500) (-3334 . 246062) (-3335 . 245832) - (-3336 . 245629) (-3337 . 245447) (-3338 . 245317) (-3339 . 245111) - (-3340 . 244904) (-3341 . 244714) (-3342 . 244149) (-3343 . 243893) - (-3344 . 243602) (-3345 . 243308) (-3346 . 243011) (-3347 . 242711) - (-3348 . 242581) (-3349 . 242448) (-3350 . 242312) (-3351 . 242173) - (-3352 . 240956) (-3353 . 240648) (-3354 . 240284) (-3355 . 240187) - (-3356 . 239947) (-3357 . 239654) (-3358 . 239361) (-3359 . 239102) - (-3360 . 238928) (-3361 . 238850) (-3362 . 238763) (-3363 . 238663) - (-3364 . 238569) (-3365 . 238488) (-3366 . 238418) (-3367 . 237627) - (-3368 . 237557) (-3369 . 237229) (-3370 . 237159) (-3371 . 236831) - (-3372 . 236761) (-3373 . 236316) (-3374 . 236246) (-3375 . 236142) - (-3376 . 236068) (-3377 . 235994) (-3378 . 235923) (-3379 . 235581) - (-3380 . 235453) (-3381 . 235376) (-3382 . 235145) (-3383 . 235002) - (-3384 . 234859) (-3385 . 234520) (-3386 . 234190) (-3387 . 233977) - (-3388 . 233722) (-3389 . 233372) (-3390 . 233147) (-3391 . 232922) - (-3392 . 232697) (-3393 . 232472) (-3394 . 232259) (-3395 . 232046) - (-3396 . 231896) (-3397 . 231715) (-3398 . 231610) (-3399 . 231488) - (-3400 . 231380) (-3401 . 231272) (-3402 . 230947) (-3403 . 230683) - (-3404 . 230372) (-3405 . 230070) (-3406 . 229761) (-3407 . 229042) - (-3408 . 228466) (-3409 . 228291) (-3410 . 228147) (-3411 . 227992) - (-3412 . 227869) (-3413 . 227764) (-3414 . 227649) (-3415 . 227554) - (-3416 . 227073) (-3417 . 226963) (-3418 . 226853) (-3419 . 226743) - (-3420 . 225671) (-3421 . 225164) (-3422 . 225097) (-3423 . 225024) - (-3424 . 224151) (-3425 . 224078) (-3426 . 224023) (-3427 . 223968) - (-3428 . 223936) (-3429 . 223850) (-3430 . 223818) (-3431 . 223732) - (-3432 . 223312) (-3433 . 222892) (-3434 . 222340) (-3435 . 221236) - (-3436 . 219526) (-3437 . 217976) (-3438 . 217184) (-3439 . 216684) - (-3440 . 216198) (-3441 . 215796) (-3442 . 215146) (-3443 . 215071) - (-3444 . 214980) (-3445 . 214909) (-3446 . 214838) (-3447 . 214782) - (-3448 . 214662) (-3449 . 214608) (-3450 . 214547) (-3451 . 214493) - (-3452 . 214390) (-3453 . 213950) (-3454 . 213510) (-3455 . 213070) - (-3456 . 212548) (-3457 . 212387) (-3458 . 212226) (-3459 . 211915) - (-3460 . 211829) (-3461 . 211739) (-3462 . 211381) (-3463 . 211264) - (-3464 . 211183) (-3465 . 211025) (-3466 . 210912) (-3467 . 210837) - (-3468 . 209991) (-3469 . 208809) (-3470 . 208710) (-3471 . 208611) - (-3472 . 208282) (-3473 . 208204) (-3474 . 208129) (-3475 . 208023) - (-3476 . 207867) (-3477 . 207760) (-3478 . 207625) (-3479 . 207490) - (-3480 . 207368) (-3481 . 207273) (-3482 . 207125) (-3483 . 207030) - (-3484 . 206875) (-3485 . 206720) (-3486 . 206168) (-3487 . 205616) - (-3488 . 205001) (-3489 . 204449) (-3490 . 203897) (-3491 . 203345) - (-3492 . 202792) (-3493 . 202239) (-3494 . 201686) (-3495 . 201133) - (-3496 . 200580) (-3497 . 200027) (-3498 . 199475) (-3499 . 198923) - (-3500 . 198371) (-3501 . 197819) (-3502 . 197267) (-3503 . 196715) - (-3504 . 196611) (-3505 . 196026) (-3506 . 195921) (-3507 . 195846) - (-3508 . 195704) (-3509 . 195612) (-3510 . 195521) (-3511 . 195429) - (-3512 . 195334) (-3513 . 195229) (-3514 . 195106) (-3515 . 194984) - (-3516 . 194620) (-3517 . 194498) (-3518 . 194400) (-3519 . 194039) - (-3520 . 193510) (-3521 . 193435) (-3522 . 193360) (-3523 . 193268) - (-3524 . 193087) (-3525 . 192992) (-3526 . 192917) (-3527 . 192826) - (-3528 . 192735) (-3529 . 192576) (-3530 . 192027) (-3531 . 191478) - (-3532 . 188771) (-3533 . 188599) (-3534 . 187189) (-3535 . 186629) - (-3536 . 186514) (-3537 . 186142) (-3538 . 186079) (-3539 . 186016) - (-3540 . 185953) (-3541 . 185675) (-3542 . 185408) (-3543 . 185356) - (-3544 . 184715) (-3545 . 184664) (-3546 . 184476) (-3547 . 184403) - (-3548 . 184323) (-3549 . 184210) (-3550 . 184020) (-3551 . 183656) - (-3552 . 183384) (-3553 . 183333) (-3554 . 183282) (-3555 . 183212) - (-3556 . 183093) (-3557 . 183064) (-3558 . 182960) (-3559 . 182838) - (-3560 . 182784) (-3561 . 182607) (-3562 . 182546) (-3563 . 182365) - (-3564 . 182304) (-3565 . 182232) (-3566 . 181757) (-3567 . 181383) - (-3568 . 177851) (-3569 . 177799) (-3570 . 177671) (-3571 . 177521) - (-3572 . 177469) (-3573 . 177328) (-3574 . 175270) (-3575 . 167627) - (-3576 . 167476) (-3577 . 167406) (-3578 . 167355) (-3579 . 167305) - (-3580 . 167254) (-3581 . 167203) (-3582 . 167007) (-3583 . 166865) - (-3584 . 166751) (-3585 . 166630) (-3586 . 166512) (-3587 . 166400) - (-3588 . 166282) (-3589 . 166177) (-3590 . 166096) (-3591 . 165992) - (-3592 . 165058) (-3593 . 164838) (-3594 . 164601) (-3595 . 164519) - (-3596 . 164175) (-3597 . 163036) (-3598 . 162962) (-3599 . 162867) - (-3600 . 162793) (-3601 . 162589) (-3602 . 162498) (-3603 . 162382) - (-3604 . 162269) (-3605 . 162178) (-3606 . 162087) (-3607 . 161998) - (-3608 . 161909) (-3609 . 161820) (-3610 . 161732) (-3611 . 161244) - (-3612 . 161180) (-3613 . 161116) (-3614 . 161052) (-3615 . 160991) - (-3616 . 160251) (-3617 . 160190) (-3618 . 160129) (-3619 . 159503) - (-3620 . 159451) (-3621 . 159323) (-3622 . 159259) (-3623 . 159205) - (-3624 . 159096) (-3625 . 157799) (-3626 . 157718) (-3627 . 157629) - (-3628 . 157571) (-3629 . 157431) (-3630 . 157346) (-3631 . 157272) - (-3632 . 157187) (-3633 . 157130) (-3634 . 156914) (-3635 . 156775) - (-3636 . 156168) (-3637 . 155614) (-3638 . 155060) (-3639 . 154506) - (-3640 . 153899) (-3641 . 153345) (-3642 . 152785) (-3643 . 152225) - (-3644 . 151963) (-3645 . 151524) (-3646 . 151191) (-3647 . 150852) - (-3648 . 150547) (-3649 . 150414) (-3650 . 150281) (-3651 . 149893) - (-3652 . 149800) (-3653 . 149707) (-3654 . 149614) (-3655 . 149521) - (-3656 . 149428) (-3657 . 149335) (-3658 . 149242) (-3659 . 149149) - (-3660 . 149056) (-3661 . 148963) (-3662 . 148870) (-3663 . 148777) - (-3664 . 148684) (-3665 . 148591) (-3666 . 148498) (-3667 . 148405) - (-3668 . 148312) (-3669 . 148219) (-3670 . 148126) (-3671 . 148033) - (-3672 . 147940) (-3673 . 147847) (-3674 . 147754) (-3675 . 147661) - (-3676 . 147568) (-3677 . 147383) (-3678 . 147073) (-3679 . 145445) - (-3680 . 145291) (-3681 . 145154) (-3682 . 145012) (-3683 . 144810) - (-3684 . 142883) (-3685 . 142756) (-3686 . 142632) (-3687 . 142505) - (-3688 . 142284) (-3689 . 142063) (-3690 . 141936) (-3691 . 141735) - (-3692 . 141559) (-3693 . 141042) (-3694 . 140525) (-3695 . 140248) - (-3696 . 139839) (-3697 . 139322) (-3698 . 139138) (-3699 . 138996) - (-3700 . 138501) (-3701 . 137870) (-3702 . 137814) (-3703 . 137720) - (-3704 . 137601) (-3705 . 137531) (-3706 . 137458) (-3707 . 137228) - (-3708 . 136609) (-3709 . 136179) (-3710 . 136097) (-3711 . 135955) - (-3712 . 135485) (-3713 . 135363) (-3714 . 135241) (-3715 . 135101) - (-3716 . 134914) (-3717 . 134798) (-3718 . 134518) (-3719 . 134450) - (-3720 . 134252) (-3721 . 134072) (-3722 . 133917) (-3723 . 133810) - (-3724 . 133759) (-3725 . 133382) (-3726 . 132854) (-3727 . 132632) - (-3728 . 132410) (-3729 . 132171) (-3730 . 132081) (-3731 . 130339) - (-3732 . 129757) (-3733 . 129679) (-3734 . 124219) (-3735 . 123429) - (-3736 . 123052) (-3737 . 122981) (-3738 . 122716) (-3739 . 122541) - (-3740 . 122056) (-3741 . 121634) (-3742 . 121194) (-3743 . 120331) - (-3744 . 120207) (-3745 . 120080) (-3746 . 119971) (-3747 . 119819) - (-3748 . 119705) (-3749 . 119566) (-3750 . 119485) (-3751 . 119404) - (-3752 . 119300) (-3753 . 118882) (-3754 . 118461) (-3755 . 118387) - (-3756 . 118124) (-3757 . 117860) (-3758 . 117481) (-3759 . 116782) - (-3760 . 115739) (-3761 . 115680) (-3762 . 115606) (-3763 . 115532) - (-3764 . 115410) (-3765 . 115160) (-3766 . 115074) (-3767 . 114999) - (-3768 . 114924) (-3769 . 114829) (-3770 . 111054) (-3771 . 109884) - (-3772 . 109224) (-3773 . 109040) (-3774 . 106835) (-3775 . 106510) - (-3776 . 106028) (-3777 . 105587) (-3778 . 105352) (-3779 . 105107) - (-3780 . 105017) (-3781 . 103582) (-3782 . 103504) (-3783 . 103399) - (-3784 . 101923) (-3785 . 101518) (-3786 . 101117) (-3787 . 101015) - (-3788 . 100933) (-3789 . 100775) (-3790 . 99621) (-3791 . 99539) - (-3792 . 99460) (-3793 . 99105) (-3794 . 99048) (-3795 . 98976) +((-1215 . 630355) (-1216 . 629959) (-1217 . 629657) (-1218 . 629261) + (-1219 . 629140) (-1220 . 629038) (-1221 . 628925) (-1222 . 628809) + (-1223 . 628756) (-1224 . 628622) (-1225 . 628547) (-1226 . 628391) + (-1227 . 628163) (-1228 . 627199) (-1229 . 626952) (-1230 . 626668) + (-1231 . 626384) (-1232 . 626100) (-1233 . 625781) (-1234 . 625689) + (-1235 . 625597) (-1236 . 625505) (-1237 . 625413) (-1238 . 625321) + (-1239 . 625229) (-1240 . 625134) (-1241 . 625039) (-1242 . 624947) + (-1243 . 624855) (-1244 . 624763) (-1245 . 624671) (-1246 . 624579) + (-1247 . 624477) (-1248 . 624375) (-1249 . 624273) (-1250 . 624181) + (-1251 . 624130) (-1252 . 624078) (-1253 . 624008) (-1254 . 623588) + (-1255 . 623394) (-1256 . 623367) (-1257 . 623244) (-1258 . 623121) + (-1259 . 622977) (-1260 . 622807) (-1261 . 622683) (-1262 . 622444) + (-1263 . 622371) (-1264 . 622146) (-1265 . 621900) (-1266 . 621847) + (-1267 . 621669) (-1268 . 621500) (-1269 . 621424) (-1270 . 621351) + (-1271 . 621198) (-1272 . 621045) (-1273 . 620861) (-1274 . 620680) + (-1275 . 620625) (-1276 . 620570) (-1277 . 620497) (-1278 . 620421) + (-1279 . 620344) (-1280 . 620276) (-1281 . 620133) (-1282 . 620026) + (-1283 . 619958) (-1284 . 619888) (-1285 . 619818) (-1286 . 619768) + (-1287 . 619718) (-1288 . 619668) (-1289 . 619547) (-1290 . 619231) + (-1291 . 619162) (-1292 . 619083) (-1293 . 618964) (-1294 . 618887) + (-1295 . 618810) (-1296 . 618657) (-1297 . 618508) (-1298 . 618432) + (-1299 . 618375) (-1300 . 618303) (-1301 . 618240) (-1302 . 618177) + (-1303 . 618116) (-1304 . 618044) (-1305 . 617928) (-1306 . 617876) + (-1307 . 617821) (-1308 . 617769) (-1309 . 617717) (-1310 . 617689) + (-1311 . 617661) (-1312 . 617633) (-1313 . 617589) (-1314 . 617518) + (-1315 . 617467) (-1316 . 617419) (-1317 . 617368) (-1318 . 617316) + (-1319 . 617200) (-1320 . 617084) (-1321 . 616992) (-1322 . 616900) + (-1323 . 616777) (-1324 . 616711) (-1325 . 616645) (-1326 . 616586) + (-1327 . 616558) (-1328 . 616530) (-1329 . 616502) (-1330 . 616474) + (-1331 . 616364) (-1332 . 616313) (-1333 . 616262) (-1334 . 616211) + (-1335 . 616160) (-1336 . 616109) (-1337 . 616058) (-1338 . 616030) + (-1339 . 616002) (-1340 . 615974) (-1341 . 615946) (-1342 . 615918) + (-1343 . 615890) (-1344 . 615862) (-1345 . 615834) (-1346 . 615806) + (-1347 . 615703) (-1348 . 615651) (-1349 . 615485) (-1350 . 615301) + (-1351 . 615090) (-1352 . 614975) (-1353 . 614742) (-1354 . 614652) + (-1355 . 614559) (-1356 . 614444) (-1357 . 614046) (-1358 . 613828) + (-1359 . 613779) (-1360 . 613751) (-1361 . 613675) (-1362 . 613576) + (-1363 . 613477) (-1364 . 613378) (-1365 . 613279) (-1366 . 613180) + (-1367 . 613081) (-1368 . 612923) (-1369 . 612847) (-1370 . 612680) + (-1371 . 612622) (-1372 . 612564) (-1373 . 612255) (-1374 . 612001) + (-1375 . 611917) (-1376 . 611785) (-1377 . 611727) (-1378 . 611675) + (-1379 . 611593) (-1380 . 611518) (-1381 . 611447) (-1382 . 611393) + (-1383 . 611342) (-1384 . 611268) (-1385 . 611194) (-1386 . 611113) + (-1387 . 611032) (-1388 . 610977) (-1389 . 610903) (-1390 . 610829) + (-1391 . 610755) (-1392 . 610678) (-1393 . 610624) (-1394 . 610566) + (-1395 . 610467) (-1396 . 610368) (-1397 . 610269) (-1398 . 610170) + (-1399 . 610071) (-1400 . 609972) (-1401 . 609873) (-1402 . 609759) + (-1403 . 609645) (-1404 . 609531) (-1405 . 609417) (-1406 . 609303) + (-1407 . 609189) (-1408 . 609072) (-1409 . 608996) (-1410 . 608920) + (-1411 . 608533) (-1412 . 608188) (-1413 . 608086) (-1414 . 607825) + (-1415 . 607723) (-1416 . 607518) (-1417 . 607405) (-1418 . 607303) + (-1419 . 607146) (-1420 . 607057) (-1421 . 606963) (-1422 . 606883) + (-1423 . 606809) (-1424 . 606731) (-1425 . 606672) (-1426 . 606614) + (-1427 . 606512) (-7 . 606484) (-8 . 606456) (-9 . 606428) (-1431 . 606309) + (-1432 . 606227) (-1433 . 606145) (-1434 . 606063) (-1435 . 605981) + (-1436 . 605899) (-1437 . 605805) (-1438 . 605735) (-1439 . 605665) + (-1440 . 605574) (-1441 . 605480) (-1442 . 605398) (-1443 . 605316) + (-1444 . 605218) (-1445 . 605058) (-1446 . 604860) (-1447 . 604724) + (-1448 . 604624) (-1449 . 604524) (-1450 . 604431) (-1451 . 604372) + (-1452 . 604039) (-1453 . 603939) (-1454 . 603821) (-1455 . 603609) + (-1456 . 603430) (-1457 . 603272) (-1458 . 603069) (-1459 . 602651) + (-1460 . 602600) (-1461 . 602491) (-1462 . 602376) (-1463 . 602307) + (-1464 . 602238) (-1465 . 602169) (-1466 . 602103) (-1467 . 601978) + (-1468 . 601761) (-1469 . 601683) (-1470 . 601633) (-1471 . 601562) + (-1472 . 601419) (-1473 . 601278) (-1474 . 601200) (-1475 . 601122) + (-1476 . 601066) (-1477 . 601010) (-1478 . 600937) (-1479 . 600797) + (-1480 . 600744) (-1481 . 600685) (-1482 . 600626) (-1483 . 600471) + (-1484 . 600419) (-1485 . 600302) (-1486 . 600185) (-1487 . 600068) + (-1488 . 599937) (-1489 . 599658) (-1490 . 599523) (-1491 . 599467) + (-1492 . 599411) (-1493 . 599352) (-1494 . 599293) (-1495 . 599237) + (-1496 . 599181) (-1497 . 598984) (-1498 . 596642) (-1499 . 596515) + (-1500 . 596370) (-1501 . 596242) (-1502 . 596190) (-1503 . 596138) + (-1504 . 596086) (-1505 . 592048) (-1506 . 591954) (-1507 . 591815) + (-1508 . 591606) (-1509 . 591504) (-1510 . 591402) (-1511 . 590487) + (-1512 . 590411) (-1513 . 590282) (-1514 . 590157) (-1515 . 590080) + (-1516 . 590003) (-1517 . 589876) (-1518 . 589749) (-1519 . 589583) + (-1520 . 589456) (-1521 . 589329) (-1522 . 589112) (-1523 . 588678) + (-1524 . 588314) (-1525 . 588262) (-1526 . 588203) (-1527 . 588115) + (-1528 . 588027) (-1529 . 587936) (-1530 . 587845) (-1531 . 587754) + (-1532 . 587663) (-1533 . 587572) (-1534 . 587481) (-1535 . 587390) + (-1536 . 587299) (-1537 . 587208) (-1538 . 587117) (-1539 . 587026) + (-1540 . 586935) (-1541 . 586844) (-1542 . 586753) (-1543 . 586662) + (-1544 . 586571) (-1545 . 586480) (-1546 . 586389) (-1547 . 586298) + (-1548 . 586207) (-1549 . 586116) (-1550 . 586025) (-1551 . 585934) + (-1552 . 585843) (-1553 . 585752) (-1554 . 585661) (-1555 . 585499) + (-1556 . 585391) (-1557 . 585148) (-1558 . 584861) (-1559 . 584666) + (-1560 . 584510) (-1561 . 584350) (-1562 . 584299) (-1563 . 584237) + (-1564 . 584186) (-1565 . 584123) (-1566 . 584070) (-1567 . 584018) + (-1568 . 583966) (-1569 . 583914) (-1570 . 583824) (-1571 . 583641) + (-1572 . 583487) (-1573 . 583407) (-1574 . 583327) (-1575 . 583247) + (-1576 . 583117) (-1577 . 582885) (-1578 . 582857) (-1579 . 582829) + (-1580 . 582801) (-1581 . 582721) (-1582 . 582644) (-1583 . 582567) + (-1584 . 582486) (-1585 . 582427) (-1586 . 582269) (-1587 . 582076) + (-1588 . 581591) (-1589 . 581349) (-1590 . 581087) (-1591 . 580986) + (-1592 . 580905) (-1593 . 580824) (-1594 . 580754) (-1595 . 580684) + (-1596 . 580526) (-1597 . 580222) (-1598 . 579994) (-1599 . 579872) + (-1600 . 579814) (-1601 . 579752) (-1602 . 579690) (-1603 . 579625) + (-1604 . 579563) (-1605 . 579284) (-1606 . 579216) (-1607 . 579006) + (-1608 . 578954) (-1609 . 578900) (-1610 . 578809) (-1611 . 578722) + (-1612 . 576975) (-1613 . 576896) (-1614 . 576151) (-1615 . 576034) + (-1616 . 575828) (-1617 . 575667) (-1618 . 575506) (-1619 . 575346) + (-1620 . 575208) (-1621 . 575114) (-1622 . 575016) (-1623 . 574922) + (-1624 . 574808) (-1625 . 574726) (-1626 . 574629) (-1627 . 574433) + (-1628 . 574342) (-1629 . 574248) (-1630 . 574181) (-1631 . 574112) + (-1632 . 574060) (-1633 . 574001) (-1634 . 573927) (-1635 . 573875) + (-1636 . 573718) (-1637 . 573561) (-1638 . 573409) (-1639 . 572651) + (-1640 . 572340) (-1641 . 571988) (-1642 . 571771) (-1643 . 571508) + (-1644 . 571133) (-1645 . 570949) (-1646 . 570815) (-1647 . 570649) + (-1648 . 570483) (-1649 . 570349) (-1650 . 570215) (-1651 . 570081) + (-1652 . 569947) (-1653 . 569816) (-1654 . 569685) (-1655 . 569554) + (-1656 . 569174) (-1657 . 569048) (-1658 . 568920) (-1659 . 568670) + (-1660 . 568547) (-1661 . 568297) (-1662 . 568174) (-1663 . 567924) + (-1664 . 567801) (-1665 . 567518) (-1666 . 567247) (-1667 . 566974) + (-1668 . 566676) (-1669 . 566574) (-1670 . 566429) (-1671 . 566288) + (-1672 . 566137) (-1673 . 565976) (-1674 . 565888) (-1675 . 565860) + (-1676 . 565778) (-1677 . 565681) (-1678 . 565213) (-1679 . 564862) + (-1680 . 564429) (-1681 . 564290) (-1682 . 564220) (-1683 . 564150) + (-1684 . 564080) (-1685 . 563989) (-1686 . 563898) (-1687 . 563807) + (-1688 . 563716) (-1689 . 563625) (-1690 . 563539) (-1691 . 563453) + (-1692 . 563367) (-1693 . 563281) (-1694 . 563195) (-1695 . 563121) + (-1696 . 563016) (-1697 . 562790) (-1698 . 562712) (-1699 . 562637) + (-1700 . 562544) (-1701 . 562440) (-1702 . 562344) (-1703 . 562175) + (-1704 . 562098) (-1705 . 562021) (-1706 . 561930) (-1707 . 561839) + (-1708 . 561639) (-1709 . 561486) (-1710 . 561333) (-1711 . 561180) + (-1712 . 561027) (-1713 . 560874) (-1714 . 560721) (-1715 . 560655) + (-1716 . 560502) (-1717 . 560349) (-1718 . 560196) (-1719 . 560043) + (-1720 . 559890) (-1721 . 559737) (-1722 . 559584) (-1723 . 559431) + (-1724 . 559357) (-1725 . 559283) (-1726 . 559228) (-1727 . 559173) + (-1728 . 559118) (-1729 . 559063) (-1730 . 558992) (-1731 . 558806) + (-1732 . 558709) (-1733 . 558612) (-1734 . 558414) (-1735 . 558316) + (-1736 . 558128) (-1737 . 558035) (-1738 . 557899) (-1739 . 557763) + (-1740 . 557627) (-1741 . 557559) (-1742 . 557443) (-1743 . 557327) + (-1744 . 557211) (-1745 . 557158) (-1746 . 557073) (-1747 . 556988) + (-1748 . 556680) (-1749 . 556625) (-1750 . 555973) (-1751 . 555658) + (-1752 . 555374) (-1753 . 555256) (-1754 . 555137) (-1755 . 555078) + (-1756 . 555019) (-1757 . 554968) (-1758 . 554917) (-1759 . 554866) + (-1760 . 554813) (-1761 . 554760) (-1762 . 554701) (-1763 . 554588) + (-1764 . 554475) (-1765 . 554308) (-1766 . 554216) (-1767 . 554103) + (-1768 . 554019) (-1769 . 553904) (-1770 . 553813) (-1771 . 553722) + (-1772 . 553601) (-1773 . 553414) (-1774 . 553362) (-1775 . 553307) + (-1776 . 553120) (-1777 . 552997) (-1778 . 552924) (-1779 . 552851) + (-1780 . 552731) (-1781 . 552658) (-1782 . 552585) (-1783 . 552245) + (-1784 . 552172) (-1785 . 551952) (-1786 . 551619) (-1787 . 551436) + (-1788 . 551293) (-1789 . 550933) (-1790 . 550765) (-1791 . 550597) + (-1792 . 550341) (-1793 . 550085) (-1794 . 549890) (-1795 . 549695) + (-1796 . 549101) (-1797 . 549025) (-1798 . 548886) (-1799 . 548479) + (-1800 . 548352) (-1801 . 548195) (-1802 . 547878) (-1803 . 547398) + (-1804 . 546918) (-1805 . 546416) (-1806 . 546348) (-1807 . 546277) + (-1808 . 546206) (-1809 . 546034) (-1810 . 545915) (-1811 . 545796) + (-1812 . 545720) (-1813 . 545644) (-1814 . 545371) (-1815 . 545257) + (-1816 . 545206) (-1817 . 545155) (-1818 . 545104) (-1819 . 545053) + (-1820 . 545002) (-1821 . 544861) (-1822 . 544688) (-1823 . 544457) + (-1824 . 544271) (-1825 . 544243) (-1826 . 544215) (-1827 . 544187) + (-1828 . 544159) (-1829 . 544131) (-1830 . 544103) (-1831 . 544075) + (-1832 . 544024) (-1833 . 543958) (-1834 . 543868) (-1835 . 543497) + (-1836 . 543346) (-1837 . 543195) (-1838 . 542990) (-1839 . 542868) + (-1840 . 542794) (-1841 . 542717) (-1842 . 542643) (-1843 . 542566) + (-1844 . 542489) (-1845 . 542415) (-1846 . 542338) (-1847 . 542105) + (-1848 . 541952) (-1849 . 541657) (-1850 . 541504) (-1851 . 541182) + (-1852 . 541044) (-1853 . 540906) (-1854 . 540826) (-1855 . 540746) + (-1856 . 540482) (-1857 . 539751) (-1858 . 539615) (-1859 . 539525) + (-1860 . 539390) (-1861 . 539323) (-1862 . 539255) (-1863 . 539168) + (-1864 . 539081) (-1865 . 538914) (-1866 . 538840) (-1867 . 538696) + (-1868 . 538236) (-1869 . 537857) (-1870 . 537095) (-1871 . 536951) + (-1872 . 536807) (-1873 . 536645) (-1874 . 536408) (-1875 . 536268) + (-1876 . 536122) (-1877 . 535883) (-1878 . 535647) (-1879 . 535408) + (-1880 . 535216) (-1881 . 535093) (-1882 . 534889) (-1883 . 534666) + (-1884 . 534427) (-1885 . 534286) (-1886 . 534148) (-1887 . 534009) + (-1888 . 533756) (-1889 . 533500) (-1890 . 533343) (-1891 . 533189) + (-1892 . 532949) (-1893 . 532664) (-1894 . 532526) (-1895 . 532439) + (-1896 . 531773) (-1897 . 531597) (-1898 . 531415) (-1899 . 531239) + (-1900 . 531057) (-1901 . 530878) (-1902 . 530699) (-1903 . 530512) + (-1904 . 530130) (-1905 . 529951) (-1906 . 529772) (-1907 . 529585) + (-1908 . 529203) (-1909 . 528210) (-1910 . 527826) (-1911 . 527442) + (-1912 . 527324) (-1913 . 527167) (-1914 . 527025) (-1915 . 526908) + (-1916 . 526726) (-1917 . 526602) (-1918 . 526313) (-1919 . 526024) + (-1920 . 525741) (-1921 . 525458) (-1922 . 525180) (-1923 . 525092) + (-1924 . 525007) (-1925 . 524910) (-1926 . 524813) (-1927 . 524593) + (-1928 . 524493) (-1929 . 524390) (-1930 . 524312) (-1931 . 523987) + (-1932 . 523695) (-1933 . 523622) (-1934 . 523237) (-1935 . 523209) + (-1936 . 523010) (-1937 . 522836) (-1938 . 522595) (-1939 . 522540) + (-1940 . 522465) (-1941 . 522097) (-1942 . 521982) (-1943 . 521905) + (-1944 . 521832) (-1945 . 521751) (-1946 . 521670) (-1947 . 521589) + (-1948 . 521488) (-1949 . 521429) (-1950 . 521376) (-1951 . 521322) + (-1952 . 520990) (-1953 . 520666) (-1954 . 520478) (-1955 . 520287) + (-1956 . 520123) (-1957 . 519788) (-1958 . 519621) (-1959 . 519380) + (-1960 . 519056) (-1961 . 518866) (-1962 . 518651) (-1963 . 518480) + (-1964 . 518058) (-1965 . 517831) (-1966 . 517560) (-1967 . 517423) + (-1968 . 517282) (-1969 . 516805) (-1970 . 516682) (-1971 . 516446) + (-1972 . 516192) (-1973 . 515942) (-1974 . 515649) (-1975 . 515509) + (-1976 . 515369) (-1977 . 515229) (-1978 . 515040) (-1979 . 514851) + (-1980 . 514676) (-1981 . 514402) (-1982 . 513967) (-1983 . 513939) + (-1984 . 513867) (-1985 . 513734) (-1986 . 513659) (-1987 . 513500) + (-1988 . 513337) (-1989 . 513176) (-1990 . 513009) (-1991 . 512956) + (-1992 . 512903) (-1993 . 512774) (-1994 . 512714) (-1995 . 512661) + (-1996 . 512591) (-1997 . 512531) (-1998 . 512472) (-1999 . 512412) + (-2000 . 512353) (-2001 . 512293) (-2002 . 512234) (-2003 . 512175) + (-2004 . 512033) (-2005 . 511938) (-2006 . 511847) (-2007 . 511731) + (-2008 . 511637) (-2009 . 511539) (-2010 . 511445) (-2011 . 511304) + (-2012 . 511042) (-2013 . 510186) (-2014 . 510030) (-2015 . 509661) + (-2016 . 509605) (-2017 . 509554) (-2018 . 509451) (-2019 . 509366) + (-2020 . 509278) (-2021 . 509132) (-2022 . 508983) (-2023 . 508693) + (-2024 . 508615) (-2025 . 508540) (-2026 . 508487) (-2027 . 508434) + (-2028 . 508403) (-2029 . 508340) (-2030 . 508222) (-2031 . 508133) + (-2032 . 508013) (-2033 . 507718) (-2034 . 507524) (-2035 . 507336) + (-2036 . 507191) (-2037 . 507046) (-2038 . 506760) (-2039 . 506318) + (-2040 . 506284) (-2041 . 506247) (-2042 . 506210) (-2043 . 506173) + (-2044 . 506136) (-2045 . 506105) (-2046 . 506074) (-2047 . 506043) + (-2048 . 506009) (-2049 . 505975) (-2050 . 505921) (-2051 . 505745) + (-2052 . 505511) (-2053 . 505277) (-2054 . 505048) (-2055 . 504996) + (-2056 . 504941) (-2057 . 504872) (-2058 . 504784) (-2059 . 504715) + (-2060 . 504643) (-2061 . 504413) (-2062 . 504362) (-2063 . 504308) + (-2064 . 504277) (-2065 . 504171) (-2066 . 503946) (-2067 . 503636) + (-2068 . 503462) (-2069 . 503280) (-2070 . 503009) (-2071 . 502936) + (-2072 . 502871) (-2073 . 502395) (-2074 . 501833) (-2075 . 501107) + (-2076 . 500546) (-2077 . 499918) (-2078 . 499339) (-2079 . 499265) + (-2080 . 499213) (-2081 . 499161) (-2082 . 499087) (-2083 . 499032) + (-2084 . 498980) (-2085 . 498928) (-2086 . 498876) (-2087 . 498806) + (-2088 . 498358) (-2089 . 498152) (-2090 . 497903) (-2091 . 497569) + (-2092 . 497315) (-2093 . 497013) (-2094 . 496810) (-2095 . 496521) + (-2096 . 495973) (-2097 . 495836) (-2098 . 495634) (-2099 . 495354) + (-2100 . 495269) (-2101 . 494936) (-2102 . 494795) (-2103 . 494504) + (-2104 . 494284) (-2105 . 494158) (-2106 . 494033) (-2107 . 493886) + (-2108 . 493742) (-2109 . 493626) (-2110 . 493495) (-2111 . 493123) + (-2112 . 492863) (-2113 . 492593) (-2114 . 492353) (-2115 . 492023) + (-2116 . 491683) (-2117 . 491275) (-2118 . 490857) (-2119 . 490660) + (-2120 . 490385) (-2121 . 490217) (-2122 . 490021) (-2123 . 489799) + (-2124 . 489644) (-2125 . 489459) (-2126 . 489356) (-2127 . 489328) + (-2128 . 489300) (-2129 . 489126) (-2130 . 489052) (-2131 . 488991) + (-2132 . 488938) (-2133 . 488869) (-2134 . 488800) (-2135 . 488681) + (-2136 . 488503) (-2137 . 488448) (-2138 . 488202) (-2139 . 488129) + (-2140 . 488059) (-2141 . 487989) (-2142 . 487900) (-2143 . 487710) + (-2144 . 487637) (-2145 . 487568) (-2146 . 487503) (-2147 . 487448) + (-2148 . 487357) (-2149 . 487066) (-2150 . 486740) (-2151 . 486666) + (-2152 . 486344) (-2153 . 486139) (-2154 . 486054) (-2155 . 485969) + (-2156 . 485884) (-2157 . 485799) (-2158 . 485714) (-2159 . 485629) + (-2160 . 485544) (-2161 . 485459) (-2162 . 485374) (-2163 . 485289) + (-2164 . 485204) (-2165 . 485119) (-2166 . 485034) (-2167 . 484949) + (-2168 . 484864) (-2169 . 484779) (-2170 . 484694) (-2171 . 484609) + (-2172 . 484524) (-2173 . 484439) (-2174 . 484354) (-2175 . 484269) + (-2176 . 484184) (-2177 . 484099) (-2178 . 484014) (-2179 . 483929) + (-2180 . 483827) (-2181 . 483739) (-2182 . 483531) (-2183 . 483473) + (-2184 . 483418) (-2185 . 483331) (-2186 . 483220) (-2187 . 483134) + (-2188 . 482988) (-2189 . 482926) (-2190 . 482898) (-2191 . 482870) + (-2192 . 482842) (-2193 . 482814) (-2194 . 482645) (-2195 . 482494) + (-2196 . 482343) (-2197 . 482171) (-2198 . 481963) (-2199 . 481839) + (-2200 . 481631) (-2201 . 481539) (-2202 . 481447) (-2203 . 481318) + (-2204 . 481223) (-2205 . 481129) (-2206 . 481034) (-2207 . 480910) + (-2208 . 480882) (-2209 . 480854) (-2210 . 480826) (-2211 . 480798) + (-2212 . 480770) (-2213 . 480742) (-2214 . 480714) (-2215 . 480686) + (-2216 . 480658) (-2217 . 480630) (-2218 . 480602) (-2219 . 480574) + (-2220 . 480546) (-2221 . 480518) (-2222 . 480490) (-2223 . 480462) + (-2224 . 480409) (-2225 . 480381) (-2226 . 480353) (-2227 . 480275) + (-2228 . 480222) (-2229 . 480169) (-2230 . 480116) (-2231 . 480038) + (-2232 . 479948) (-2233 . 479853) (-2234 . 479759) (-2235 . 479677) + (-2236 . 479371) (-2237 . 479175) (-2238 . 479080) (-2239 . 478972) + (-2240 . 478561) (-2241 . 478533) (-2242 . 478369) (-2243 . 478292) + (-2244 . 478105) (-2245 . 477926) (-2246 . 477502) (-2247 . 477350) + (-2248 . 477170) (-2249 . 476997) (-2250 . 476737) (-2251 . 476485) + (-2252 . 475674) (-2253 . 475507) (-2254 . 475289) (-2255 . 474465) + (-2256 . 474334) (-2257 . 474203) (-2258 . 474072) (-2259 . 473941) + (-2260 . 473810) (-2261 . 473679) (-2262 . 473484) (-2263 . 473290) + (-2264 . 473147) (-2265 . 472832) (-2266 . 472717) (-2267 . 472377) + (-2268 . 472217) (-2269 . 472078) (-2270 . 471939) (-2271 . 471810) + (-2272 . 471725) (-2273 . 471673) (-2274 . 471193) (-2275 . 469931) + (-2276 . 469804) (-2277 . 469662) (-2278 . 469326) (-2279 . 469221) + (-2280 . 468972) (-2281 . 468740) (-2282 . 468635) (-2283 . 468560) + (-2284 . 468485) (-2285 . 468410) (-2286 . 468351) (-2287 . 468281) + (-2288 . 468228) (-2289 . 468166) (-2290 . 468096) (-2291 . 467733) + (-2292 . 467446) (-2293 . 467336) (-2294 . 467149) (-2295 . 467056) + (-2296 . 466963) (-2297 . 466876) (-2298 . 466659) (-2299 . 466440) + (-2300 . 466022) (-2301 . 465750) (-2302 . 465607) (-2303 . 465514) + (-2304 . 465371) (-2305 . 465219) (-2306 . 465065) (-2307 . 464995) + (-2308 . 464788) (-2309 . 464611) (-2310 . 464402) (-2311 . 464225) + (-2312 . 464191) (-2313 . 464157) (-2314 . 464126) (-2315 . 464008) + (-2316 . 463695) (-2317 . 463417) (-2318 . 463296) (-2319 . 463169) + (-2320 . 463084) (-2321 . 463011) (-2322 . 462922) (-2323 . 462851) + (-2324 . 462795) (-2325 . 462739) (-2326 . 462683) (-2327 . 462613) + (-2328 . 462543) (-2329 . 462473) (-2330 . 462375) (-2331 . 462297) + (-2332 . 462219) (-2333 . 462076) (-2334 . 461997) (-2335 . 461925) + (-2336 . 461722) (-2337 . 461666) (-2338 . 461478) (-2339 . 461379) + (-2340 . 461261) (-2341 . 461140) (-2342 . 460997) (-2343 . 460854) + (-2344 . 460714) (-2345 . 460574) (-2346 . 460431) (-2347 . 460305) + (-2348 . 460176) (-2349 . 460053) (-2350 . 459930) (-2351 . 459825) + (-2352 . 459720) (-2353 . 459618) (-2354 . 459468) (-2355 . 459315) + (-2356 . 459162) (-2357 . 459018) (-2358 . 458864) (-2359 . 458788) + (-2360 . 458709) (-2361 . 458556) (-2362 . 458477) (-2363 . 458398) + (-2364 . 458319) (-2365 . 458217) (-2366 . 458158) (-2367 . 458096) + (-2368 . 457979) (-2369 . 457855) (-2370 . 457778) (-2371 . 457646) + (-2372 . 457340) (-2373 . 457157) (-2374 . 456612) (-2375 . 456392) + (-2376 . 456218) (-2377 . 456048) (-2378 . 455975) (-2379 . 455899) + (-2380 . 455820) (-2381 . 455523) (-2382 . 455361) (-2383 . 455127) + (-2384 . 454685) (-2385 . 454555) (-2386 . 454415) (-2387 . 454106) + (-2388 . 453804) (-2389 . 453488) (-2390 . 453082) (-2391 . 453014) + (-2392 . 452946) (-2393 . 452878) (-2394 . 452784) (-2395 . 452677) + (-2396 . 452570) (-2397 . 452469) (-2398 . 452368) (-2399 . 452267) + (-2400 . 452190) (-2401 . 451797) (-2402 . 451380) (-2403 . 450753) + (-2404 . 450689) (-2405 . 450570) (-2406 . 450451) (-2407 . 450343) + (-2408 . 450235) (-2409 . 450079) (-2410 . 449479) (-2411 . 449196) + (-2412 . 449117) (-2413 . 449063) (-2414 . 448895) (-2415 . 448773) + (-2416 . 448377) (-2417 . 448141) (-2418 . 447940) (-2419 . 447732) + (-2420 . 447539) (-2421 . 447272) (-2422 . 447198) (-2423 . 447019) + (-2424 . 446950) (-2425 . 446874) (-2426 . 446733) (-2427 . 446530) + (-2428 . 446386) (-2429 . 446136) (-2430 . 445828) (-2431 . 445472) + (-2432 . 445313) (-2433 . 445107) (-2434 . 444947) (-2435 . 444874) + (-2436 . 444840) (-2437 . 444775) (-2438 . 444738) (-2439 . 444601) + (-2440 . 444363) (-2441 . 444293) (-2442 . 444107) (-2443 . 443858) + (-2444 . 443702) (-2445 . 443179) (-2446 . 442982) (-2447 . 442770) + (-2448 . 442608) (-2449 . 442209) (-2450 . 442042) (-2451 . 440967) + (-2452 . 440844) (-2453 . 440627) (-2454 . 440497) (-2455 . 440367) + (-2456 . 440210) (-2457 . 440107) (-2458 . 440049) (-2459 . 439991) + (-2460 . 439885) (-2461 . 439779) (-2462 . 438863) (-2463 . 436736) + (-2464 . 435922) (-2465 . 434119) (-2466 . 434051) (-2467 . 433983) + (-2468 . 433915) (-2469 . 433847) (-2470 . 433779) (-2471 . 433701) + (-2472 . 433345) (-2473 . 433163) (-2474 . 432624) (-2475 . 432448) + (-2476 . 432227) (-2477 . 432006) (-2478 . 431785) (-2479 . 431567) + (-2480 . 431349) (-2481 . 431131) (-2482 . 430913) (-2483 . 430695) + (-2484 . 430477) (-2485 . 430376) (-2486 . 429643) (-2487 . 429588) + (-2488 . 429533) (-2489 . 429478) (-2490 . 429423) (-2491 . 429273) + (-2492 . 429025) (-2493 . 428864) (-2494 . 428684) (-2495 . 428397) + (-2496 . 428011) (-2497 . 427139) (-2498 . 426799) (-2499 . 426631) + (-2500 . 426409) (-2501 . 426159) (-2502 . 425811) (-2503 . 424801) + (-2504 . 424490) (-2505 . 424278) (-2506 . 423714) (-2507 . 423201) + (-2508 . 421445) (-2509 . 420973) (-2510 . 420374) (-2511 . 420124) + (-2512 . 419990) (-2513 . 419778) (-2514 . 419702) (-2515 . 419626) + (-2516 . 419519) (-2517 . 419337) (-2518 . 419172) (-2519 . 418994) + (-2520 . 418413) (-2521 . 418252) (-2522 . 417679) (-2523 . 417609) + (-2524 . 417534) (-2525 . 417462) (-2526 . 417324) (-2527 . 417137) + (-2528 . 417030) (-2529 . 416923) (-2530 . 416808) (-2531 . 416693) + (-2532 . 416578) (-2533 . 416300) (-2534 . 416150) (-2535 . 416007) + (-2536 . 415934) (-2537 . 415849) (-2538 . 415776) (-2539 . 415703) + (-2540 . 415630) (-2541 . 415487) (-2542 . 415337) (-2543 . 415163) + (-2544 . 415013) (-2545 . 414863) (-2546 . 414737) (-2547 . 414351) + (-2548 . 414067) (-2549 . 413783) (-2550 . 413374) (-2551 . 413090) + (-2552 . 413017) (-2553 . 412870) (-2554 . 412764) (-2555 . 412690) + (-2556 . 412620) (-2557 . 412541) (-2558 . 412464) (-2559 . 412387) + (-2560 . 412238) (-2561 . 412135) (-2562 . 412077) (-2563 . 412013) + (-2564 . 411949) (-2565 . 411852) (-2566 . 411755) (-2567 . 411595) + (-2568 . 411509) (-2569 . 411423) (-2570 . 411338) (-2571 . 411279) + (-2572 . 411220) (-2573 . 411161) (-2574 . 411102) (-2575 . 410932) + (-2576 . 410844) (-2577 . 410747) (-2578 . 410713) (-2579 . 410682) + (-2580 . 410598) (-2581 . 410542) (-2582 . 410480) (-2583 . 410446) + (-2584 . 410412) (-2585 . 410378) (-2586 . 410344) (-2587 . 410310) + (-2588 . 410276) (-2589 . 410242) (-2590 . 410208) (-2591 . 410174) + (-2592 . 410062) (-2593 . 410028) (-2594 . 409977) (-2595 . 409943) + (-2596 . 409846) (-2597 . 409784) (-2598 . 409693) (-2599 . 409602) + (-2600 . 409547) (-2601 . 409495) (-2602 . 409443) (-2603 . 409391) + (-2604 . 409339) (-2605 . 408916) (-2606 . 408750) (-2607 . 408697) + (-2608 . 408628) (-2609 . 408575) (-2610 . 408444) (-2611 . 408288) + (-2612 . 407767) (-2613 . 407626) (-2614 . 407592) (-2615 . 407537) + (-2616 . 406827) (-2617 . 406512) (-2618 . 406008) (-2619 . 405930) + (-2620 . 405878) (-2621 . 405826) (-2622 . 405642) (-2623 . 405590) + (-2624 . 405538) (-2625 . 405462) (-2626 . 405400) (-2627 . 405182) + (-2628 . 405115) (-2629 . 405021) (-2630 . 404927) (-2631 . 404744) + (-2632 . 404662) (-2633 . 404540) (-2634 . 404394) (-2635 . 403743) + (-2636 . 403041) (-2637 . 402937) (-2638 . 402836) (-2639 . 402735) + (-2640 . 402624) (-2641 . 402456) (-2642 . 402252) (-2643 . 402159) + (-2644 . 402082) (-2645 . 402026) (-2646 . 401956) (-2647 . 401836) + (-2648 . 401735) (-2649 . 401638) (-2650 . 401558) (-2651 . 401478) + (-2652 . 401401) (-2653 . 401331) (-2654 . 401261) (-2655 . 401191) + (-2656 . 401121) (-2657 . 401051) (-2658 . 400981) (-2659 . 400888) + (-2660 . 400760) (-2661 . 400518) (-2662 . 400348) (-2663 . 399979) + (-2664 . 399810) (-2665 . 399694) (-2666 . 399198) (-2667 . 398817) + (-2668 . 398571) (-2669 . 398479) (-2670 . 398382) (-2671 . 397720) + (-2672 . 397607) (-2673 . 397533) (-2674 . 397441) (-2675 . 397251) + (-2676 . 397061) (-2677 . 396990) (-2678 . 396919) (-2679 . 396838) + (-2680 . 396757) (-2681 . 396632) (-2682 . 396499) (-2683 . 396418) + (-2684 . 396344) (-2685 . 396179) (-2686 . 396022) (-2687 . 395794) + (-2688 . 395646) (-2689 . 395542) (-2690 . 395438) (-2691 . 395353) + (-2692 . 394985) (-2693 . 394904) (-2694 . 394817) (-2695 . 394736) + (-2696 . 394540) (-2697 . 394320) (-2698 . 394133) (-2699 . 393811) + (-2700 . 393518) (-2701 . 393225) (-2702 . 392915) (-2703 . 392598) + (-2704 . 392446) (-2705 . 392258) (-2706 . 391785) (-2707 . 391703) + (-2708 . 391487) (-2709 . 391271) (-2710 . 391012) (-2711 . 390591) + (-2712 . 390078) (-2713 . 389948) (-2714 . 389674) (-2715 . 389495) + (-2716 . 389380) (-2717 . 389276) (-2718 . 389221) (-2719 . 389144) + (-2720 . 389074) (-2721 . 389001) (-2722 . 388946) (-2723 . 388873) + (-2724 . 388818) (-2725 . 388463) (-2726 . 388055) (-2727 . 387902) + (-2728 . 387749) (-2729 . 387668) (-2730 . 387515) (-2731 . 387362) + (-2732 . 387227) (-2733 . 387092) (-2734 . 386957) (-2735 . 386822) + (-2736 . 386687) (-2737 . 386552) (-2738 . 386496) (-2739 . 386343) + (-2740 . 386232) (-2741 . 386121) (-2742 . 386036) (-2743 . 385926) + (-2744 . 385823) (-2745 . 381672) (-2746 . 381224) (-2747 . 380797) + (-2748 . 380180) (-2749 . 379579) (-2750 . 379361) (-2751 . 379183) + (-2752 . 378924) (-2753 . 378513) (-2754 . 378219) (-2755 . 377776) + (-2756 . 377598) (-2757 . 377205) (-2758 . 376812) (-2759 . 376627) + (-2760 . 376420) (-2761 . 376200) (-2762 . 375894) (-2763 . 375695) + (-2764 . 375066) (-2765 . 374909) (-2766 . 374520) (-2767 . 374469) + (-2768 . 374420) (-2769 . 374369) (-2770 . 374321) (-2771 . 374269) + (-2772 . 374123) (-2773 . 374071) (-2774 . 373925) (-2775 . 373873) + (-2776 . 373727) (-2777 . 373676) (-2778 . 373301) (-2779 . 373250) + (-2780 . 373201) (-2781 . 373150) (-2782 . 373102) (-2783 . 373050) + (-2784 . 373001) (-2785 . 372949) (-2786 . 372900) (-2787 . 372848) + (-2788 . 372799) (-2789 . 372733) (-2790 . 372615) (-2791 . 371453) + (-2792 . 371036) (-2793 . 370928) (-2794 . 370686) (-2795 . 370536) + (-2796 . 370386) (-2797 . 370225) (-2798 . 368018) (-2799 . 367757) + (-2800 . 367603) (-2801 . 367457) (-2802 . 367311) (-2803 . 367092) + (-2804 . 366960) (-2805 . 366885) (-2806 . 366810) (-2807 . 366675) + (-2808 . 366546) (-2809 . 366417) (-2810 . 366291) (-2811 . 366165) + (-2812 . 366039) (-2813 . 365913) (-2814 . 365810) (-2815 . 365710) + (-2816 . 365616) (-2817 . 365486) (-2818 . 365335) (-2819 . 364959) + (-2820 . 364845) (-2821 . 364604) (-2822 . 364146) (-2823 . 363836) + (-2824 . 363269) (-2825 . 362700) (-2826 . 361690) (-2827 . 361148) + (-2828 . 360835) (-2829 . 360497) (-2830 . 360166) (-2831 . 359846) + (-2832 . 359793) (-2833 . 359666) (-2834 . 359164) (-2835 . 358021) + (-2836 . 357966) (-2837 . 357911) (-2838 . 357835) (-2839 . 357716) + (-2840 . 357641) (-2841 . 357566) (-2842 . 357488) (-2843 . 357265) + (-2844 . 357206) (-2845 . 357147) (-2846 . 357044) (-2847 . 356941) + (-2848 . 356838) (-2849 . 356735) (-2850 . 356654) (-2851 . 356580) + (-2852 . 356365) (-2853 . 356131) (-2854 . 356097) (-2855 . 356063) + (-2856 . 356035) (-2857 . 356007) (-2858 . 355790) (-2859 . 355512) + (-2860 . 355362) (-2861 . 355232) (-2862 . 355102) (-2863 . 355002) + (-2864 . 354825) (-2865 . 354665) (-2866 . 354565) (-2867 . 354388) + (-2868 . 354228) (-2869 . 354069) (-2870 . 353930) (-2871 . 353780) + (-2872 . 353650) (-2873 . 353520) (-2874 . 353373) (-2875 . 353246) + (-2876 . 353143) (-2877 . 353036) (-2878 . 352939) (-2879 . 352774) + (-2880 . 352626) (-2881 . 352211) (-2882 . 352111) (-2883 . 352008) + (-2884 . 351920) (-2885 . 351840) (-2886 . 351690) (-2887 . 351560) + (-2888 . 351508) (-2889 . 351435) (-2890 . 351360) (-2891 . 351301) + (-2892 . 351189) (-2893 . 350877) (-2894 . 350700) (-2895 . 349102) + (-2896 . 348474) (-2897 . 348414) (-2898 . 348296) (-2899 . 348178) + (-2900 . 348034) (-2901 . 347882) (-2902 . 347723) (-2903 . 347564) + (-2904 . 347358) (-2905 . 347171) (-2906 . 347019) (-2907 . 346864) + (-2908 . 346709) (-2909 . 346557) (-2910 . 346420) (-2911 . 345997) + (-2912 . 345871) (-2913 . 345745) (-2914 . 345619) (-2915 . 345479) + (-2916 . 345338) (-2917 . 345197) (-2918 . 345053) (-2919 . 344305) + (-2920 . 344147) (-2921 . 343961) (-2922 . 343806) (-2923 . 343568) + (-2924 . 343323) (-2925 . 343078) (-2926 . 342868) (-2927 . 342731) + (-2928 . 342521) (-2929 . 342384) (-2930 . 342174) (-2931 . 342037) + (-2932 . 341827) (-2933 . 341524) (-2934 . 341380) (-2935 . 341239) + (-2936 . 341016) (-2937 . 340875) (-2938 . 340653) (-2939 . 340456) + (-2940 . 340300) (-2941 . 339973) (-2942 . 339814) (-2943 . 339655) + (-2944 . 339496) (-2945 . 339325) (-2946 . 339154) (-2947 . 338980) + (-2948 . 338628) (-2949 . 338505) (-2950 . 338343) (-2951 . 338270) + (-2952 . 338197) (-2953 . 338124) (-2954 . 338051) (-2955 . 337978) + (-2956 . 337905) (-2957 . 337782) (-2958 . 337609) (-2959 . 337486) + (-2960 . 337400) (-2961 . 337334) (-2962 . 337268) (-2963 . 337202) + (-2964 . 337136) (-2965 . 337070) (-2966 . 337004) (-2967 . 336938) + (-2968 . 336872) (-2969 . 336806) (-2970 . 336740) (-2971 . 336674) + (-2972 . 336608) (-2973 . 336542) (-2974 . 336476) (-2975 . 336410) + (-2976 . 336344) (-2977 . 336278) (-2978 . 336212) (-2979 . 336146) + (-2980 . 336080) (-2981 . 336014) (-2982 . 335948) (-2983 . 335882) + (-2984 . 335816) (-2985 . 335750) (-2986 . 335684) (-2987 . 335037) + (-2988 . 334390) (-2989 . 334262) (-2990 . 334139) (-2991 . 334016) + (-2992 . 333875) (-2993 . 333721) (-2994 . 333577) (-2995 . 333402) + (-2996 . 332792) (-2997 . 332668) (-2998 . 332544) (-2999 . 331866) + (-3000 . 331169) (-3001 . 331068) (-3002 . 331012) (-3003 . 330956) + (-3004 . 330900) (-3005 . 330844) (-3006 . 330785) (-3007 . 330721) + (-3008 . 330613) (-3009 . 330505) (-3010 . 330397) (-3011 . 330118) + (-3012 . 330044) (-3013 . 329818) (-3014 . 329737) (-3015 . 329659) + (-3016 . 329581) (-3017 . 329503) (-3018 . 329424) (-3019 . 329346) + (-3020 . 329253) (-3021 . 329154) (-3022 . 329086) (-3023 . 329037) + (-3024 . 328346) (-3025 . 327706) (-3026 . 326915) (-3027 . 326837) + (-3028 . 326739) (-3029 . 326650) (-3030 . 326561) (-3031 . 326487) + (-3032 . 326413) (-3033 . 326339) (-3034 . 326284) (-3035 . 326229) + (-3036 . 326163) (-3037 . 326097) (-3038 . 326035) (-3039 . 325760) + (-3040 . 325268) (-3041 . 324810) (-3042 . 324557) (-3043 . 324369) + (-3044 . 324028) (-3045 . 323732) (-3046 . 323564) (-3047 . 323433) + (-3048 . 323293) (-3049 . 323138) (-3050 . 322969) (-3051 . 321583) + (-3052 . 321450) (-3053 . 321309) (-3054 . 321080) (-3055 . 321021) + (-3056 . 320965) (-3057 . 320909) (-3058 . 320644) (-3059 . 320432) + (-3060 . 320293) (-3061 . 320186) (-3062 . 320069) (-3063 . 320003) + (-3064 . 319930) (-3065 . 319816) (-3066 . 319563) (-3067 . 319463) + (-3068 . 319269) (-3069 . 318961) (-3070 . 318495) (-3071 . 318390) + (-3072 . 318284) (-3073 . 318135) (-3074 . 317995) (-3075 . 317583) + (-3076 . 317339) (-3077 . 316681) (-3078 . 316528) (-3079 . 316414) + (-3080 . 316304) (-3081 . 315484) (-3082 . 315290) (-3083 . 314264) + (-3084 . 313816) (-3085 . 312427) (-3086 . 311576) (-3087 . 311527) + (-3088 . 311478) (-3089 . 311429) (-3090 . 311362) (-3091 . 311287) + (-3092 . 311097) (-3093 . 311025) (-3094 . 310950) (-3095 . 310878) + (-3096 . 310761) (-3097 . 310710) (-3098 . 310631) (-3099 . 310552) + (-3100 . 310473) (-3101 . 310422) (-3102 . 310178) (-3103 . 309876) + (-3104 . 309794) (-3105 . 309712) (-3106 . 309651) (-3107 . 309262) + (-3108 . 308396) (-3109 . 307823) (-3110 . 306588) (-3111 . 305781) + (-3112 . 305531) (-3113 . 305281) (-3114 . 304856) (-3115 . 304612) + (-3116 . 304368) (-3117 . 304124) (-3118 . 303880) (-3119 . 303636) + (-3120 . 303392) (-3121 . 303150) (-3122 . 302908) (-3123 . 302666) + (-3124 . 302424) (-3125 . 301846) (-3126 . 301730) (-3127 . 301676) + (-3128 . 300834) (-3129 . 300803) (-3130 . 300458) (-3131 . 300232) + (-3132 . 300133) (-3133 . 300034) (-3134 . 298268) (-3135 . 298156) + (-3136 . 297106) (-3137 . 297014) (-3138 . 296092) (-3139 . 295759) + (-3140 . 295426) (-3141 . 295323) (-3142 . 295212) (-3143 . 295101) + (-3144 . 294990) (-3145 . 294879) (-3146 . 293792) (-3147 . 293672) + (-3148 . 293537) (-3149 . 293405) (-3150 . 293273) (-3151 . 292979) + (-3152 . 292685) (-3153 . 292340) (-3154 . 292114) (-3155 . 291888) + (-3156 . 291777) (-3157 . 291666) (-3158 . 290204) (-3159 . 288500) + (-3160 . 288191) (-3161 . 288039) (-3162 . 287516) (-3163 . 287187) + (-3164 . 286994) (-3165 . 286801) (-3166 . 286608) (-3167 . 286415) + (-3168 . 286302) (-3169 . 286179) (-3170 . 286065) (-3171 . 285951) + (-3172 . 285858) (-3173 . 285765) (-3174 . 285655) (-3175 . 285454) + (-3176 . 284310) (-3177 . 284217) (-3178 . 284103) (-3179 . 284010) + (-3180 . 283763) (-3181 . 283652) (-3182 . 283438) (-3183 . 283320) + (-3184 . 283023) (-3185 . 282295) (-3186 . 281719) (-3187 . 281241) + (-3188 . 280997) (-3189 . 280753) (-3190 . 280410) (-3191 . 279804) + (-3192 . 279361) (-3193 . 279206) (-3194 . 279062) (-3195 . 278742) + (-3196 . 278587) (-3197 . 278447) (-3198 . 278307) (-3199 . 278167) + (-3200 . 277892) (-3201 . 277673) (-3202 . 277154) (-3203 . 276942) + (-3204 . 276730) (-3205 . 276350) (-3206 . 276176) (-3207 . 275967) + (-3208 . 275659) (-3209 . 275467) (-3210 . 275294) (-3211 . 274158) + (-3212 . 273793) (-3213 . 273593) (-3214 . 273393) (-3215 . 272557) + (-3216 . 272529) (-3217 . 272461) (-3218 . 272391) (-3219 . 272227) + (-3220 . 272199) (-3221 . 272171) (-3222 . 272117) (-3223 . 271967) + (-3224 . 271908) (-3225 . 271215) (-3226 . 269830) (-3227 . 269769) + (-3228 . 269445) (-3229 . 269373) (-3230 . 269316) (-3231 . 269259) + (-3232 . 269202) (-3233 . 269145) (-3234 . 269070) (-3235 . 268480) + (-3236 . 268120) (-3237 . 268046) (-3238 . 267986) (-3239 . 267868) + (-3240 . 266925) (-3241 . 266798) (-3242 . 266585) (-3243 . 266511) + (-3244 . 266457) (-3245 . 266403) (-3246 . 266294) (-3247 . 266011) + (-3248 . 265903) (-3249 . 265800) (-3250 . 265639) (-3251 . 265538) + (-3252 . 265440) (-3253 . 265302) (-3254 . 265164) (-3255 . 265026) + (-3256 . 264764) (-3257 . 264555) (-3258 . 264417) (-3259 . 264126) + (-3260 . 263974) (-3261 . 263699) (-3262 . 263479) (-3263 . 263327) + (-3264 . 263175) (-3265 . 263023) (-3266 . 262871) (-3267 . 262719) + (-3268 . 262512) (-3269 . 262125) (-3270 . 261794) (-3271 . 261455) + (-3272 . 261108) (-3273 . 260769) (-3274 . 260430) (-3275 . 260049) + (-3276 . 259668) (-3277 . 259287) (-3278 . 258922) (-3279 . 258204) + (-3280 . 257857) (-3281 . 257412) (-3282 . 256987) (-3283 . 256376) + (-3284 . 255784) (-3285 . 255397) (-3286 . 255066) (-3287 . 254679) + (-3288 . 254348) (-3289 . 254128) (-3290 . 253607) (-3291 . 253394) + (-3292 . 253181) (-3293 . 252968) (-3294 . 252790) (-3295 . 252577) + (-3296 . 252399) (-3297 . 252017) (-3298 . 251839) (-3299 . 251629) + (-3300 . 251539) (-3301 . 251449) (-3302 . 251358) (-3303 . 251246) + (-3304 . 251156) (-3305 . 251049) (-3306 . 250860) (-3307 . 250804) + (-3308 . 250723) (-3309 . 250642) (-3310 . 250561) (-3311 . 250484) + (-3312 . 250349) (-3313 . 250214) (-3314 . 250090) (-3315 . 249969) + (-3316 . 249851) (-3317 . 249715) (-3318 . 249582) (-3319 . 249463) + (-3320 . 249205) (-3321 . 248920) (-3322 . 248848) (-3323 . 248752) + (-3324 . 248611) (-3325 . 248554) (-3326 . 248497) (-3327 . 248437) + (-3328 . 248133) (-3329 . 247738) (-3330 . 247216) (-3331 . 246939) + (-3332 . 246519) (-3333 . 246407) (-3334 . 245969) (-3335 . 245739) + (-3336 . 245536) (-3337 . 245354) (-3338 . 245224) (-3339 . 245018) + (-3340 . 244811) (-3341 . 244621) (-3342 . 244056) (-3343 . 243800) + (-3344 . 243509) (-3345 . 243215) (-3346 . 242918) (-3347 . 242618) + (-3348 . 242488) (-3349 . 242355) (-3350 . 242219) (-3351 . 242080) + (-3352 . 240863) (-3353 . 240555) (-3354 . 240191) (-3355 . 240094) + (-3356 . 239854) (-3357 . 239579) (-3358 . 239304) (-3359 . 239045) + (-3360 . 238871) (-3361 . 238793) (-3362 . 238706) (-3363 . 238606) + (-3364 . 238512) (-3365 . 238431) (-3366 . 238361) (-3367 . 237570) + (-3368 . 237500) (-3369 . 237172) (-3370 . 237102) (-3371 . 236774) + (-3372 . 236704) (-3373 . 236259) (-3374 . 236189) (-3375 . 236085) + (-3376 . 236011) (-3377 . 235937) (-3378 . 235866) (-3379 . 235524) + (-3380 . 235396) (-3381 . 235319) (-3382 . 235088) (-3383 . 234945) + (-3384 . 234802) (-3385 . 234463) (-3386 . 234133) (-3387 . 233920) + (-3388 . 233665) (-3389 . 233315) (-3390 . 233090) (-3391 . 232865) + (-3392 . 232640) (-3393 . 232415) (-3394 . 232202) (-3395 . 231989) + (-3396 . 231839) (-3397 . 231658) (-3398 . 231553) (-3399 . 231431) + (-3400 . 231323) (-3401 . 231215) (-3402 . 230890) (-3403 . 230626) + (-3404 . 230315) (-3405 . 230013) (-3406 . 229704) (-3407 . 228985) + (-3408 . 228409) (-3409 . 228234) (-3410 . 228090) (-3411 . 227935) + (-3412 . 227812) (-3413 . 227707) (-3414 . 227592) (-3415 . 227497) + (-3416 . 227016) (-3417 . 226906) (-3418 . 226796) (-3419 . 226686) + (-3420 . 225614) (-3421 . 225107) (-3422 . 225040) (-3423 . 224967) + (-3424 . 224094) (-3425 . 224021) (-3426 . 223966) (-3427 . 223911) + (-3428 . 223879) (-3429 . 223793) (-3430 . 223761) (-3431 . 223675) + (-3432 . 223255) (-3433 . 222835) (-3434 . 222283) (-3435 . 221179) + (-3436 . 219469) (-3437 . 217919) (-3438 . 217127) (-3439 . 216627) + (-3440 . 216141) (-3441 . 215739) (-3442 . 215089) (-3443 . 215014) + (-3444 . 214923) (-3445 . 214852) (-3446 . 214781) (-3447 . 214725) + (-3448 . 214605) (-3449 . 214551) (-3450 . 214490) (-3451 . 214436) + (-3452 . 214333) (-3453 . 213893) (-3454 . 213453) (-3455 . 213013) + (-3456 . 212491) (-3457 . 212330) (-3458 . 212169) (-3459 . 211858) + (-3460 . 211772) (-3461 . 211682) (-3462 . 211324) (-3463 . 211207) + (-3464 . 211126) (-3465 . 210968) (-3466 . 210855) (-3467 . 210780) + (-3468 . 209934) (-3469 . 208752) (-3470 . 208653) (-3471 . 208554) + (-3472 . 208225) (-3473 . 208147) (-3474 . 208072) (-3475 . 207966) + (-3476 . 207810) (-3477 . 207703) (-3478 . 207568) (-3479 . 207433) + (-3480 . 207311) (-3481 . 207216) (-3482 . 207068) (-3483 . 206973) + (-3484 . 206818) (-3485 . 206663) (-3486 . 206111) (-3487 . 205559) + (-3488 . 204944) (-3489 . 204392) (-3490 . 203840) (-3491 . 203288) + (-3492 . 202735) (-3493 . 202182) (-3494 . 201629) (-3495 . 201076) + (-3496 . 200523) (-3497 . 199970) (-3498 . 199418) (-3499 . 198866) + (-3500 . 198314) (-3501 . 197762) (-3502 . 197210) (-3503 . 196658) + (-3504 . 196554) (-3505 . 195969) (-3506 . 195864) (-3507 . 195789) + (-3508 . 195647) (-3509 . 195555) (-3510 . 195464) (-3511 . 195372) + (-3512 . 195277) (-3513 . 195172) (-3514 . 195049) (-3515 . 194927) + (-3516 . 194563) (-3517 . 194441) (-3518 . 194343) (-3519 . 193982) + (-3520 . 193453) (-3521 . 193378) (-3522 . 193303) (-3523 . 193211) + (-3524 . 193030) (-3525 . 192935) (-3526 . 192860) (-3527 . 192769) + (-3528 . 192678) (-3529 . 192519) (-3530 . 191970) (-3531 . 191421) + (-3532 . 188714) (-3533 . 188542) (-3534 . 187132) (-3535 . 186572) + (-3536 . 186457) (-3537 . 186085) (-3538 . 186022) (-3539 . 185959) + (-3540 . 185896) (-3541 . 185618) (-3542 . 185351) (-3543 . 185299) + (-3544 . 184658) (-3545 . 184607) (-3546 . 184419) (-3547 . 184346) + (-3548 . 184266) (-3549 . 184153) (-3550 . 183963) (-3551 . 183599) + (-3552 . 183327) (-3553 . 183276) (-3554 . 183225) (-3555 . 183155) + (-3556 . 183036) (-3557 . 183007) (-3558 . 182903) (-3559 . 182781) + (-3560 . 182727) (-3561 . 182550) (-3562 . 182489) (-3563 . 182308) + (-3564 . 182247) (-3565 . 182175) (-3566 . 181700) (-3567 . 181326) + (-3568 . 177794) (-3569 . 177742) (-3570 . 177614) (-3571 . 177464) + (-3572 . 177412) (-3573 . 177271) (-3574 . 175213) (-3575 . 167570) + (-3576 . 167419) (-3577 . 167349) (-3578 . 167298) (-3579 . 167248) + (-3580 . 167197) (-3581 . 167146) (-3582 . 166950) (-3583 . 166808) + (-3584 . 166694) (-3585 . 166573) (-3586 . 166455) (-3587 . 166343) + (-3588 . 166225) (-3589 . 166120) (-3590 . 166039) (-3591 . 165935) + (-3592 . 165001) (-3593 . 164781) (-3594 . 164544) (-3595 . 164462) + (-3596 . 164118) (-3597 . 162979) (-3598 . 162905) (-3599 . 162810) + (-3600 . 162736) (-3601 . 162532) (-3602 . 162441) (-3603 . 162325) + (-3604 . 162212) (-3605 . 162121) (-3606 . 162030) (-3607 . 161941) + (-3608 . 161852) (-3609 . 161763) (-3610 . 161675) (-3611 . 161187) + (-3612 . 161123) (-3613 . 161059) (-3614 . 160995) (-3615 . 160934) + (-3616 . 160194) (-3617 . 160133) (-3618 . 160072) (-3619 . 159446) + (-3620 . 159394) (-3621 . 159266) (-3622 . 159202) (-3623 . 159148) + (-3624 . 159039) (-3625 . 157742) (-3626 . 157661) (-3627 . 157572) + (-3628 . 157514) (-3629 . 157374) (-3630 . 157289) (-3631 . 157215) + (-3632 . 157130) (-3633 . 157073) (-3634 . 156857) (-3635 . 156718) + (-3636 . 156111) (-3637 . 155557) (-3638 . 155003) (-3639 . 154449) + (-3640 . 153842) (-3641 . 153288) (-3642 . 152728) (-3643 . 152168) + (-3644 . 151906) (-3645 . 151467) (-3646 . 151134) (-3647 . 150795) + (-3648 . 150490) (-3649 . 150357) (-3650 . 150224) (-3651 . 149836) + (-3652 . 149743) (-3653 . 149650) (-3654 . 149557) (-3655 . 149464) + (-3656 . 149371) (-3657 . 149278) (-3658 . 149185) (-3659 . 149092) + (-3660 . 148999) (-3661 . 148906) (-3662 . 148813) (-3663 . 148720) + (-3664 . 148627) (-3665 . 148534) (-3666 . 148441) (-3667 . 148348) + (-3668 . 148255) (-3669 . 148162) (-3670 . 148069) (-3671 . 147976) + (-3672 . 147883) (-3673 . 147790) (-3674 . 147697) (-3675 . 147604) + (-3676 . 147511) (-3677 . 147326) (-3678 . 147016) (-3679 . 145388) + (-3680 . 145234) (-3681 . 145097) (-3682 . 144955) (-3683 . 144753) + (-3684 . 142826) (-3685 . 142699) (-3686 . 142575) (-3687 . 142448) + (-3688 . 142227) (-3689 . 142006) (-3690 . 141879) (-3691 . 141678) + (-3692 . 141502) (-3693 . 140985) (-3694 . 140468) (-3695 . 140191) + (-3696 . 139782) (-3697 . 139265) (-3698 . 139081) (-3699 . 138939) + (-3700 . 138444) (-3701 . 137813) (-3702 . 137757) (-3703 . 137663) + (-3704 . 137544) (-3705 . 137474) (-3706 . 137401) (-3707 . 137171) + (-3708 . 136552) (-3709 . 136122) (-3710 . 136040) (-3711 . 135898) + (-3712 . 135428) (-3713 . 135306) (-3714 . 135184) (-3715 . 135044) + (-3716 . 134857) (-3717 . 134741) (-3718 . 134461) (-3719 . 134393) + (-3720 . 134195) (-3721 . 134015) (-3722 . 133860) (-3723 . 133753) + (-3724 . 133702) (-3725 . 133325) (-3726 . 132797) (-3727 . 132575) + (-3728 . 132353) (-3729 . 132114) (-3730 . 132024) (-3731 . 130282) + (-3732 . 129700) (-3733 . 129622) (-3734 . 124162) (-3735 . 123372) + (-3736 . 122995) (-3737 . 122924) (-3738 . 122659) (-3739 . 122484) + (-3740 . 121999) (-3741 . 121577) (-3742 . 121137) (-3743 . 120274) + (-3744 . 120150) (-3745 . 120023) (-3746 . 119914) (-3747 . 119762) + (-3748 . 119648) (-3749 . 119509) (-3750 . 119428) (-3751 . 119347) + (-3752 . 119243) (-3753 . 118825) (-3754 . 118404) (-3755 . 118330) + (-3756 . 118067) (-3757 . 117803) (-3758 . 117424) (-3759 . 116725) + (-3760 . 115682) (-3761 . 115623) (-3762 . 115549) (-3763 . 115475) + (-3764 . 115353) (-3765 . 115103) (-3766 . 115017) (-3767 . 114942) + (-3768 . 114867) (-3769 . 114772) (-3770 . 110997) (-3771 . 109827) + (-3772 . 109167) (-3773 . 108983) (-3774 . 106778) (-3775 . 106453) + (-3776 . 105971) (-3777 . 105530) (-3778 . 105295) (-3779 . 105050) + (-3780 . 104960) (-3781 . 103525) (-3782 . 103447) (-3783 . 103342) + (-3784 . 101866) (-3785 . 101461) (-3786 . 101060) (-3787 . 100964) + (-3788 . 100885) (-3789 . 100730) (-3790 . 99606) (-3791 . 99527) + (-3792 . 99451) (-3793 . 99105) (-3794 . 99048) (-3795 . 98976) (-3796 . 98919) (-3797 . 98862) (-3798 . 98732) (-3799 . 98530) (-3800 . 98162) (-3801 . 97741) (-3802 . 93931) (-3803 . 93329) (-3804 . 92862) (-3805 . 92649) (-3806 . 92436) (-3807 . 92270) |