diff options
Diffstat (limited to 'src/share/algebra/operation.daase')
| -rw-r--r-- | src/share/algebra/operation.daase | 1094 |
1 files changed, 538 insertions, 556 deletions
diff --git a/src/share/algebra/operation.daase b/src/share/algebra/operation.daase index 71452295..2fa99b27 100644 --- a/src/share/algebra/operation.daase +++ b/src/share/algebra/operation.daase @@ -1,5 +1,5 @@ -(631225 . 3577973677) +(630540 . 3577976437) (((*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))))) @@ -154,26 +154,26 @@ (((*1 *2 *3) (-12 (-5 *3 (-959 *4 *5)) (-4 *4 (-13 (-756) (-258) (-120) (-934))) (-14 *5 (-584 (-1091))) - (-5 *2 (-584 (-2 (|:| -1748 (-1086 *4)) (|:| -3226 (-584 (-858 *4)))))) + (-5 *2 (-584 (-2 (|:| -1751 (-1086 *4)) (|:| -3226 (-584 (-858 *4)))))) (-5 *1 (-1208 *4 *5 *6)) (-14 *6 (-584 (-1091))))) ((*1 *2 *3 *4 *4 *4) (-12 (-5 *4 (-85)) (-4 *5 (-13 (-756) (-258) (-120) (-934))) - (-5 *2 (-584 (-2 (|:| -1748 (-1086 *5)) (|:| -3226 (-584 (-858 *5)))))) + (-5 *2 (-584 (-2 (|:| -1751 (-1086 *5)) (|:| -3226 (-584 (-858 *5)))))) (-5 *1 (-1208 *5 *6 *7)) (-5 *3 (-584 (-858 *5))) (-14 *6 (-584 (-1091))) (-14 *7 (-584 (-1091))))) ((*1 *2 *3 *4 *4) (-12 (-5 *4 (-85)) (-4 *5 (-13 (-756) (-258) (-120) (-934))) - (-5 *2 (-584 (-2 (|:| -1748 (-1086 *5)) (|:| -3226 (-584 (-858 *5)))))) + (-5 *2 (-584 (-2 (|:| -1751 (-1086 *5)) (|:| -3226 (-584 (-858 *5)))))) (-5 *1 (-1208 *5 *6 *7)) (-5 *3 (-584 (-858 *5))) (-14 *6 (-584 (-1091))) (-14 *7 (-584 (-1091))))) ((*1 *2 *3 *4) (-12 (-5 *4 (-85)) (-4 *5 (-13 (-756) (-258) (-120) (-934))) - (-5 *2 (-584 (-2 (|:| -1748 (-1086 *5)) (|:| -3226 (-584 (-858 *5)))))) + (-5 *2 (-584 (-2 (|:| -1751 (-1086 *5)) (|:| -3226 (-584 (-858 *5)))))) (-5 *1 (-1208 *5 *6 *7)) (-5 *3 (-584 (-858 *5))) (-14 *6 (-584 (-1091))) (-14 *7 (-584 (-1091))))) ((*1 *2 *3) (-12 (-4 *4 (-13 (-756) (-258) (-120) (-934))) - (-5 *2 (-584 (-2 (|:| -1748 (-1086 *4)) (|:| -3226 (-584 (-858 *4)))))) + (-5 *2 (-584 (-2 (|:| -1751 (-1086 *4)) (|:| -3226 (-584 (-858 *4)))))) (-5 *1 (-1208 *4 *5 *6)) (-5 *3 (-584 (-858 *4))) (-14 *5 (-584 (-1091))) (-14 *6 (-584 (-1091)))))) (((*1 *2 *3 *4 *4) @@ -2492,7 +2492,7 @@ (-4 *1 (-1156 *3))))) (((*1 *2 *3) (-12 (-4 *4 (-312)) (-4 *4 (-496)) (-4 *5 (-1156 *4)) - (-5 *2 (-2 (|:| -1763 (-563 *4 *5)) (|:| -1762 (-350 *5)))) + (-5 *2 (-2 (|:| -1766 (-563 *4 *5)) (|:| -1765 (-350 *5)))) (-5 *1 (-563 *4 *5)) (-5 *3 (-350 *5)))) ((*1 *2 *1) (-12 (-5 *2 (-584 (-1080 *3 *4))) (-5 *1 (-1080 *3 *4)) (-14 *3 (-831)) @@ -2589,13 +2589,13 @@ (-12 (-5 *4 (-85)) (-5 *2 (-2 (|:| |contp| (-485)) - (|:| -1780 (-584 (-2 (|:| |irr| *3) (|:| -2396 (-485))))))) + (|:| -1783 (-584 (-2 (|:| |irr| *3) (|:| -2396 (-485))))))) (-5 *1 (-382 *3)) (-4 *3 (-1156 (-485))))) ((*1 *2 *3 *4) (-12 (-5 *4 (-85)) (-5 *2 (-2 (|:| |contp| (-485)) - (|:| -1780 (-584 (-2 (|:| |irr| *3) (|:| -2396 (-485))))))) + (|:| -1783 (-584 (-2 (|:| |irr| *3) (|:| -2396 (-485))))))) (-5 *1 (-1146 *3)) (-4 *3 (-1156 (-485)))))) (((*1 *2 *3) (-12 (-4 *4 (-299)) (-5 *2 (-348 *3)) (-5 *1 (-170 *4 *3)) @@ -5610,9 +5610,6 @@ (((*1 *2 *3 *1) (-12 (-4 *1 (-318 *3)) (-4 *3 (-1130)) (-4 *3 (-72)) (-5 *2 (-85)))) ((*1 *2 *3 *1) - (-12 (|has| *1 (-6 -3997)) (-4 *1 (-429 *3)) (-4 *3 (-1130)) (-4 *3 (-72)) - (-5 *2 (-85)))) - ((*1 *2 *3 *1) (-12 (-5 *3 (-814 *4)) (-4 *4 (-1014)) (-5 *2 (-85)) (-5 *1 (-817 *4)))) ((*1 *2 *3 *1) (-12 (-5 *3 (-831)) (-5 *2 (-85)) (-5 *1 (-1015 *4 *5)) (-14 *4 *3) @@ -5751,15 +5748,15 @@ (-4 *3 (-1021 *5 *6 *7 *8)))) ((*1 *2 *3 *4) (-12 (-5 *4 (-85)) (-4 *5 (-13 (-258) (-120))) - (-5 *2 (-584 (-2 (|:| -1748 (-1086 *5)) (|:| -3226 (-584 (-858 *5)))))) + (-5 *2 (-584 (-2 (|:| -1751 (-1086 *5)) (|:| -3226 (-584 (-858 *5)))))) (-5 *1 (-991 *5 *6)) (-5 *3 (-584 (-858 *5))) (-14 *6 (-584 (-1091))))) ((*1 *2 *3) (-12 (-4 *4 (-13 (-258) (-120))) - (-5 *2 (-584 (-2 (|:| -1748 (-1086 *4)) (|:| -3226 (-584 (-858 *4)))))) + (-5 *2 (-584 (-2 (|:| -1751 (-1086 *4)) (|:| -3226 (-584 (-858 *4)))))) (-5 *1 (-991 *4 *5)) (-5 *3 (-584 (-858 *4))) (-14 *5 (-584 (-1091))))) ((*1 *2 *3 *4 *4) (-12 (-5 *4 (-85)) (-4 *5 (-13 (-258) (-120))) - (-5 *2 (-584 (-2 (|:| -1748 (-1086 *5)) (|:| -3226 (-584 (-858 *5)))))) + (-5 *2 (-584 (-2 (|:| -1751 (-1086 *5)) (|:| -3226 (-584 (-858 *5)))))) (-5 *1 (-991 *5 *6)) (-5 *3 (-584 (-858 *5))) (-14 *6 (-584 (-1091)))))) (((*1 *1 *2) (-12 (-5 *2 (-584 (-988 *3 *4 *5))) (-4 *3 (-1014)) @@ -8660,9 +8657,6 @@ (|partial| -12 (-5 *3 (-695)) (-4 *5 (-312)) (-5 *2 (-148 *6)) (-5 *1 (-777 *5 *4 *6)) (-4 *4 (-1173 *5)) (-4 *6 (-1156 *5))))) (((*1 *2 *1) (-12 (-4 *1 (-318 *3)) (-4 *3 (-1130)) (-5 *2 (-584 *3)))) - ((*1 *2 *1) - (-12 (|has| *1 (-6 -3997)) (-4 *1 (-429 *3)) (-4 *3 (-1130)) - (-5 *2 (-584 *3)))) ((*1 *2 *1) (-12 (-5 *2 (-584 (-381))) (-5 *1 (-775))))) (((*1 *1 *2) (-12 (-5 *2 (-1074)) (-5 *1 (-773))))) (((*1 *2 *3) (-12 (-5 *3 (-1074)) (-5 *2 (-1186)) (-5 *1 (-773))))) @@ -9702,7 +9696,7 @@ ((*1 *1 *1) (-12 (-4 *1 (-635 *2)) (-4 *2 (-1014))))) (((*1 *2 *1) (-12 (-4 *1 (-635 *3)) (-4 *3 (-1014)) - (-5 *2 (-584 (-2 (|:| |entry| *3) (|:| -1947 (-695)))))))) + (-5 *2 (-584 (-2 (|:| |entry| *3) (|:| -1731 (-695)))))))) (((*1 *1 *2) (-12 (-5 *1 (-633 *2)) (-4 *2 (-553 (-773)))))) (((*1 *1) (-12 (-5 *1 (-633 *2)) (-4 *2 (-553 (-773)))))) (((*1 *2 *2 *2 *2 *2 *3) @@ -10131,7 +10125,7 @@ (|partial| -12 (-5 *5 (-2 (|:| |contp| *3) - (|:| -1780 (-584 (-2 (|:| |irr| *10) (|:| -2396 (-485))))))) + (|:| -1783 (-584 (-2 (|:| |irr| *10) (|:| -2396 (-485))))))) (-5 *6 (-584 *3)) (-5 *7 (-584 *8)) (-4 *8 (-757)) (-4 *3 (-258)) (-4 *10 (-862 *3 *9 *8)) (-4 *9 (-718)) (-5 *2 @@ -10717,7 +10711,7 @@ (-5 *2 (-2 (|:| -2137 *3) (|:| |coeff| *3))) (-5 *1 (-497 *5 *3)) (-4 *3 (-13 (-27) (-1116) (-364 *5)))))) (((*1 *2 *1) - (-12 (-5 *2 (-2 (|:| -1773 *1) (|:| -3984 *1) (|:| |associate| *1))) + (-12 (-5 *2 (-2 (|:| -1776 *1) (|:| -3984 *1) (|:| |associate| *1))) (-4 *1 (-496))))) (((*1 *1 *1) (-4 *1 (-496)))) (((*1 *2 *1 *1) (-12 (-4 *1 (-496)) (-5 *2 (-85))))) @@ -11095,26 +11089,6 @@ (-5 *2 (-584 (-1086 *3))) (-5 *1 (-438 *3 *5 *6)) (-4 *6 (-1156 *5))))) (((*1 *2 *1 *1) (-12 (-5 *2 (-85)) (-5 *1 (-435))))) (((*1 *1 *2) (-12 (-5 *2 (-1074)) (-5 *1 (-431))))) -(((*1 *2 *3 *1) - (-12 (-5 *3 (-1 (-85) *4)) (-4 *1 (-318 *4)) (-4 *4 (-1130)) (-5 *2 (-85)))) - ((*1 *2 *3 *1) - (-12 (-5 *3 (-1 (-85) *4)) (|has| *1 (-6 -3997)) (-4 *1 (-429 *4)) - (-4 *4 (-1130)) (-5 *2 (-85))))) -(((*1 *2 *3 *1) - (-12 (-5 *3 (-1 (-85) *4)) (-4 *1 (-318 *4)) (-4 *4 (-1130)) (-5 *2 (-85)))) - ((*1 *2 *3 *1) - (-12 (-5 *3 (-1 (-85) *4)) (|has| *1 (-6 -3997)) (-4 *1 (-429 *4)) - (-4 *4 (-1130)) (-5 *2 (-85))))) -(((*1 *2 *3 *1) - (-12 (-4 *1 (-318 *3)) (-4 *3 (-1130)) (-4 *3 (-72)) (-5 *2 (-695)))) - ((*1 *2 *3 *1) - (-12 (-5 *3 (-1 (-85) *4)) (-4 *1 (-318 *4)) (-4 *4 (-1130)) (-5 *2 (-695)))) - ((*1 *2 *3 *1) - (-12 (|has| *1 (-6 -3997)) (-4 *1 (-429 *3)) (-4 *3 (-1130)) (-4 *3 (-72)) - (-5 *2 (-695)))) - ((*1 *2 *3 *1) - (-12 (-5 *3 (-1 (-85) *4)) (|has| *1 (-6 -3997)) (-4 *1 (-429 *4)) - (-4 *4 (-1130)) (-5 *2 (-695))))) (((*1 *1 *2) (-12 (-5 *2 (-350 (-485))) (-5 *1 (-427))))) (((*1 *2 *3) (-12 (-5 *3 (-584 (-485))) (-5 *2 (-485)) (-5 *1 (-426 *4)) @@ -11585,7 +11559,7 @@ (-12 (-5 *4 (-85)) (-5 *5 (-1010 (-695))) (-5 *6 (-695)) (-5 *2 (-2 (|:| |contp| (-485)) - (|:| -1780 (-584 (-2 (|:| |irr| *3) (|:| -2396 (-485))))))) + (|:| -1783 (-584 (-2 (|:| |irr| *3) (|:| -2396 (-485))))))) (-5 *1 (-382 *3)) (-4 *3 (-1156 (-485)))))) (((*1 *2 *2) (-12 (-5 *2 (-85)) (-5 *1 (-382 *3)) (-4 *3 (-1156 (-485)))))) (((*1 *2) (-12 (-5 *2 (-85)) (-5 *1 (-382 *3)) (-4 *3 (-1156 (-485)))))) @@ -11595,7 +11569,7 @@ (((*1 *2 *2) (-12 (-5 *2 (-85)) (-5 *1 (-382 *3)) (-4 *3 (-1156 (-485)))))) (((*1 *2) (-12 (-5 *2 (-85)) (-5 *1 (-382 *3)) (-4 *3 (-1156 (-485)))))) (((*1 *2 *3) - (-12 (-5 *2 (-2 (|:| -2580 (-485)) (|:| -1780 (-584 *3)))) (-5 *1 (-382 *3)) + (-12 (-5 *2 (-2 (|:| -2580 (-485)) (|:| -1783 (-584 *3)))) (-5 *1 (-382 *3)) (-4 *3 (-1156 (-485)))))) (((*1 *2 *1) (-12 (-5 *2 (-695)) (-5 *1 (-348 *3)) (-4 *3 (-496)))) ((*1 *2 *3) @@ -11616,7 +11590,7 @@ (-12 (-5 *3 (-2 (|:| |contp| (-485)) - (|:| -1780 (-584 (-2 (|:| |irr| *4) (|:| -2396 (-485))))))) + (|:| -1783 (-584 (-2 (|:| |irr| *4) (|:| -2396 (-485))))))) (-4 *4 (-1156 (-485))) (-5 *2 (-348 *4)) (-5 *1 (-382 *4))))) (((*1 *2 *1) (-12 (-5 *2 (-3 (|:| |fst| (-377)) (|:| -3912 "void"))) (-5 *1 (-379))))) @@ -11936,6 +11910,14 @@ ((*1 *1 *2 *1) (-12 (-5 *2 (-1 (-85) *3 *3)) (|has| *1 (-6 -3998)) (-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))))) +(((*1 *2 *3 *1) + (-12 (-5 *3 (-1 (-85) *4)) (-4 *1 (-318 *4)) (-4 *4 (-1130)) (-5 *2 (-85))))) +(((*1 *2 *3 *1) + (-12 (-4 *1 (-318 *3)) (-4 *3 (-1130)) (-4 *3 (-72)) (-5 *2 (-695)))) + ((*1 *2 *3 *1) + (-12 (-5 *3 (-1 (-85) *4)) (-4 *1 (-318 *4)) (-4 *4 (-1130)) (-5 *2 (-695))))) (((*1 *2) (-12 (-4 *3 (-146)) (-5 *2 (-1180 *1)) (-4 *1 (-316 *3))))) (((*1 *2 *1) (-12 (-4 *1 (-316 *2)) (-4 *2 (-146))))) (((*1 *2 *1) (-12 (-4 *1 (-316 *2)) (-4 *2 (-146))))) @@ -12914,7 +12896,7 @@ (-12 (-5 *4 (-85)) (-4 *5 (-299)) (-5 *2 (-2 (|:| |cont| *5) - (|:| -1780 (-584 (-2 (|:| |irr| *3) (|:| -2396 (-485))))))) + (|:| -1783 (-584 (-2 (|:| |irr| *3) (|:| -2396 (-485))))))) (-5 *1 (-170 *5 *3)) (-4 *3 (-1156 *5))))) (((*1 *2 *3 *4) (-12 (-5 *4 (-1 *2 *2)) (-4 *5 (-312)) (-4 *6 (-1156 (-350 *2))) @@ -12955,7 +12937,7 @@ (|partial| -12 (-4 *3 (-1130)) (-5 *1 (-156 *3 *2)) (-4 *2 (-617 *3))))) (((*1 *2 *3) (-12 (-4 *4 (-13 (-312) (-756))) - (-5 *2 (-2 (|:| |start| *3) (|:| -1780 (-348 *3)))) (-5 *1 (-155 *4 *3)) + (-5 *2 (-2 (|:| |start| *3) (|:| -1783 (-348 *3)))) (-5 *1 (-155 *4 *3)) (-4 *3 (-1156 (-142 *4)))))) (((*1 *2 *2) (-12 (-4 *2 (-13 (-312) (-756))) (-5 *1 (-155 *2 *3)) @@ -12983,11 +12965,11 @@ (-4 *2 (-1156 (-142 *3)))))) (((*1 *2 *3 *3 *4) (-12 (-5 *4 (-85)) (-4 *5 (-13 (-312) (-756))) - (-5 *2 (-584 (-2 (|:| -1780 (-584 *3)) (|:| -1597 *5)))) + (-5 *2 (-584 (-2 (|:| -1783 (-584 *3)) (|:| -1597 *5)))) (-5 *1 (-155 *5 *3)) (-4 *3 (-1156 (-142 *5))))) ((*1 *2 *3 *3) (-12 (-4 *4 (-13 (-312) (-756))) - (-5 *2 (-584 (-2 (|:| -1780 (-584 *3)) (|:| -1597 *4)))) + (-5 *2 (-584 (-2 (|:| -1783 (-584 *3)) (|:| -1597 *4)))) (-5 *1 (-155 *4 *3)) (-4 *3 (-1156 (-142 *4)))))) (((*1 *2 *3 *4) (-12 (-5 *2 (-584 (-142 *4))) (-5 *1 (-128 *3 *4)) @@ -13476,514 +13458,514 @@ (-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 . 631172) (-1216 . 630776) (-1217 . 630474) (-1218 . 630078) - (-1219 . 629957) (-1220 . 629855) (-1221 . 629742) (-1222 . 629626) - (-1223 . 629573) (-1224 . 629439) (-1225 . 629364) (-1226 . 629208) - (-1227 . 628980) (-1228 . 628016) (-1229 . 627769) (-1230 . 627485) - (-1231 . 627201) (-1232 . 626917) (-1233 . 626598) (-1234 . 626506) - (-1235 . 626414) (-1236 . 626322) (-1237 . 626230) (-1238 . 626138) - (-1239 . 626046) (-1240 . 625951) (-1241 . 625856) (-1242 . 625764) - (-1243 . 625672) (-1244 . 625580) (-1245 . 625488) (-1246 . 625396) - (-1247 . 625294) (-1248 . 625192) (-1249 . 625090) (-1250 . 624998) - (-1251 . 624947) (-1252 . 624895) (-1253 . 624825) (-1254 . 624405) - (-1255 . 624211) (-1256 . 624184) (-1257 . 624061) (-1258 . 623938) - (-1259 . 623794) (-1260 . 623624) (-1261 . 623500) (-1262 . 623261) - (-1263 . 623188) (-1264 . 622963) (-1265 . 622717) (-1266 . 622664) - (-1267 . 622486) (-1268 . 622317) (-1269 . 622241) (-1270 . 622168) - (-1271 . 622015) (-1272 . 621862) (-1273 . 621678) (-1274 . 621497) - (-1275 . 621442) (-1276 . 621387) (-1277 . 621314) (-1278 . 621238) - (-1279 . 621161) (-1280 . 621093) (-1281 . 620950) (-1282 . 620843) - (-1283 . 620775) (-1284 . 620705) (-1285 . 620635) (-1286 . 620585) - (-1287 . 620535) (-1288 . 620485) (-1289 . 620364) (-1290 . 620048) - (-1291 . 619979) (-1292 . 619900) (-1293 . 619781) (-1294 . 619701) - (-1295 . 619621) (-1296 . 619468) (-1297 . 619319) (-1298 . 619243) - (-1299 . 619186) (-1300 . 619114) (-1301 . 619051) (-1302 . 618988) - (-1303 . 618927) (-1304 . 618855) (-1305 . 618739) (-1306 . 618687) - (-1307 . 618632) (-1308 . 618580) (-1309 . 618528) (-1310 . 618500) - (-1311 . 618472) (-1312 . 618444) (-1313 . 618400) (-1314 . 618329) - (-1315 . 618278) (-1316 . 618230) (-1317 . 618179) (-1318 . 618127) - (-1319 . 618011) (-1320 . 617895) (-1321 . 617803) (-1322 . 617711) - (-1323 . 617588) (-1324 . 617522) (-1325 . 617456) (-1326 . 617397) - (-1327 . 617369) (-1328 . 617341) (-1329 . 617313) (-1330 . 617285) - (-1331 . 617175) (-1332 . 617124) (-1333 . 617073) (-1334 . 617022) - (-1335 . 616971) (-1336 . 616920) (-1337 . 616869) (-1338 . 616841) - (-1339 . 616813) (-1340 . 616785) (-1341 . 616757) (-1342 . 616729) - (-1343 . 616701) (-1344 . 616673) (-1345 . 616645) (-1346 . 616617) - (-1347 . 616514) (-1348 . 616462) (-1349 . 616296) (-1350 . 616112) - (-1351 . 615901) (-1352 . 615786) (-1353 . 615553) (-1354 . 615463) - (-1355 . 615370) (-1356 . 615255) (-1357 . 614857) (-1358 . 614639) - (-1359 . 614590) (-1360 . 614562) (-1361 . 614486) (-1362 . 614387) - (-1363 . 614288) (-1364 . 614189) (-1365 . 614090) (-1366 . 613991) - (-1367 . 613892) (-1368 . 613734) (-1369 . 613658) (-1370 . 613491) - (-1371 . 613433) (-1372 . 613375) (-1373 . 613066) (-1374 . 612812) - (-1375 . 612728) (-1376 . 612596) (-1377 . 612538) (-1378 . 612486) - (-1379 . 612404) (-1380 . 612329) (-1381 . 612258) (-1382 . 612204) - (-1383 . 612153) (-1384 . 612079) (-1385 . 612005) (-1386 . 611924) - (-1387 . 611843) (-1388 . 611788) (-1389 . 611714) (-1390 . 611640) - (-1391 . 611566) (-1392 . 611489) (-1393 . 611435) (-1394 . 611377) - (-1395 . 611278) (-1396 . 611179) (-1397 . 611080) (-1398 . 610981) - (-1399 . 610882) (-1400 . 610783) (-1401 . 610684) (-1402 . 610570) - (-1403 . 610456) (-1404 . 610342) (-1405 . 610228) (-1406 . 610114) - (-1407 . 610000) (-1408 . 609883) (-1409 . 609807) (-1410 . 609731) - (-1411 . 609344) (-1412 . 608999) (-1413 . 608897) (-1414 . 608636) - (-1415 . 608534) (-1416 . 608329) (-1417 . 608216) (-1418 . 608114) - (-1419 . 607957) (-1420 . 607868) (-1421 . 607774) (-1422 . 607694) - (-1423 . 607620) (-1424 . 607542) (-1425 . 607483) (-1426 . 607425) - (-1427 . 607323) (-7 . 607295) (-8 . 607267) (-9 . 607239) (-1431 . 607120) - (-1432 . 607038) (-1433 . 606956) (-1434 . 606874) (-1435 . 606792) - (-1436 . 606710) (-1437 . 606616) (-1438 . 606546) (-1439 . 606476) - (-1440 . 606385) (-1441 . 606291) (-1442 . 606209) (-1443 . 606127) - (-1444 . 606029) (-1445 . 605869) (-1446 . 605671) (-1447 . 605535) - (-1448 . 605435) (-1449 . 605335) (-1450 . 605242) (-1451 . 605183) - (-1452 . 604850) (-1453 . 604750) (-1454 . 604632) (-1455 . 604420) - (-1456 . 604241) (-1457 . 604083) (-1458 . 603880) (-1459 . 603462) - (-1460 . 603411) (-1461 . 603302) (-1462 . 603187) (-1463 . 603118) - (-1464 . 603049) (-1465 . 602980) (-1466 . 602914) (-1467 . 602789) - (-1468 . 602572) (-1469 . 602494) (-1470 . 602444) (-1471 . 602373) - (-1472 . 602230) (-1473 . 602089) (-1474 . 602008) (-1475 . 601927) - (-1476 . 601871) (-1477 . 601815) (-1478 . 601742) (-1479 . 601602) - (-1480 . 601549) (-1481 . 601490) (-1482 . 601431) (-1483 . 601276) - (-1484 . 601224) (-1485 . 601107) (-1486 . 600990) (-1487 . 600873) - (-1488 . 600742) (-1489 . 600463) (-1490 . 600328) (-1491 . 600272) - (-1492 . 600216) (-1493 . 600157) (-1494 . 600098) (-1495 . 600042) - (-1496 . 599986) (-1497 . 599789) (-1498 . 597447) (-1499 . 597320) - (-1500 . 597175) (-1501 . 597047) (-1502 . 596995) (-1503 . 596943) - (-1504 . 596891) (-1505 . 592853) (-1506 . 592759) (-1507 . 592620) - (-1508 . 592411) (-1509 . 592309) (-1510 . 592207) (-1511 . 591292) - (-1512 . 591216) (-1513 . 591087) (-1514 . 590962) (-1515 . 590885) - (-1516 . 590808) (-1517 . 590681) (-1518 . 590554) (-1519 . 590388) - (-1520 . 590261) (-1521 . 590134) (-1522 . 589917) (-1523 . 589483) - (-1524 . 589119) (-1525 . 589067) (-1526 . 589008) (-1527 . 588920) - (-1528 . 588832) (-1529 . 588741) (-1530 . 588650) (-1531 . 588559) - (-1532 . 588468) (-1533 . 588377) (-1534 . 588286) (-1535 . 588195) - (-1536 . 588104) (-1537 . 588013) (-1538 . 587922) (-1539 . 587831) - (-1540 . 587740) (-1541 . 587649) (-1542 . 587558) (-1543 . 587467) - (-1544 . 587376) (-1545 . 587285) (-1546 . 587194) (-1547 . 587103) - (-1548 . 587012) (-1549 . 586921) (-1550 . 586830) (-1551 . 586739) - (-1552 . 586648) (-1553 . 586557) (-1554 . 586466) (-1555 . 586304) - (-1556 . 586196) (-1557 . 585953) (-1558 . 585666) (-1559 . 585471) - (-1560 . 585315) (-1561 . 585155) (-1562 . 585104) (-1563 . 585042) - (-1564 . 584991) (-1565 . 584928) (-1566 . 584875) (-1567 . 584823) - (-1568 . 584771) (-1569 . 584719) (-1570 . 584629) (-1571 . 584446) - (-1572 . 584292) (-1573 . 584212) (-1574 . 584132) (-1575 . 584052) - (-1576 . 583922) (-1577 . 583690) (-1578 . 583662) (-1579 . 583634) - (-1580 . 583606) (-1581 . 583526) (-1582 . 583449) (-1583 . 583372) - (-1584 . 583291) (-1585 . 583232) (-1586 . 583074) (-1587 . 582881) - (-1588 . 582396) (-1589 . 582154) (-1590 . 581892) (-1591 . 581791) - (-1592 . 581710) (-1593 . 581629) (-1594 . 581559) (-1595 . 581489) - (-1596 . 581331) (-1597 . 581027) (-1598 . 580799) (-1599 . 580677) - (-1600 . 580619) (-1601 . 580557) (-1602 . 580495) (-1603 . 580430) - (-1604 . 580368) (-1605 . 580089) (-1606 . 580021) (-1607 . 579811) - (-1608 . 579759) (-1609 . 579705) (-1610 . 579614) (-1611 . 579527) - (-1612 . 577780) (-1613 . 577701) (-1614 . 576956) (-1615 . 576839) - (-1616 . 576633) (-1617 . 576472) (-1618 . 576311) (-1619 . 576151) - (-1620 . 576013) (-1621 . 575919) (-1622 . 575821) (-1623 . 575727) - (-1624 . 575613) (-1625 . 575531) (-1626 . 575434) (-1627 . 575238) - (-1628 . 575147) (-1629 . 575053) (-1630 . 574986) (-1631 . 574917) - (-1632 . 574865) (-1633 . 574806) (-1634 . 574732) (-1635 . 574680) - (-1636 . 574523) (-1637 . 574366) (-1638 . 574214) (-1639 . 573456) - (-1640 . 573145) (-1641 . 572793) (-1642 . 572576) (-1643 . 572313) - (-1644 . 571938) (-1645 . 571754) (-1646 . 571620) (-1647 . 571454) - (-1648 . 571288) (-1649 . 571154) (-1650 . 571020) (-1651 . 570886) - (-1652 . 570752) (-1653 . 570621) (-1654 . 570490) (-1655 . 570359) - (-1656 . 569979) (-1657 . 569853) (-1658 . 569725) (-1659 . 569475) - (-1660 . 569352) (-1661 . 569102) (-1662 . 568979) (-1663 . 568729) - (-1664 . 568606) (-1665 . 568323) (-1666 . 568052) (-1667 . 567779) - (-1668 . 567481) (-1669 . 567379) (-1670 . 567234) (-1671 . 567093) - (-1672 . 566942) (-1673 . 566781) (-1674 . 566693) (-1675 . 566665) - (-1676 . 566583) (-1677 . 566486) (-1678 . 566018) (-1679 . 565667) - (-1680 . 565234) (-1681 . 565095) (-1682 . 565025) (-1683 . 564955) - (-1684 . 564885) (-1685 . 564794) (-1686 . 564703) (-1687 . 564612) - (-1688 . 564521) (-1689 . 564430) (-1690 . 564344) (-1691 . 564258) - (-1692 . 564172) (-1693 . 564086) (-1694 . 564000) (-1695 . 563926) - (-1696 . 563821) (-1697 . 563595) (-1698 . 563517) (-1699 . 563442) - (-1700 . 563349) (-1701 . 563245) (-1702 . 563149) (-1703 . 562980) - (-1704 . 562903) (-1705 . 562826) (-1706 . 562735) (-1707 . 562644) - (-1708 . 562444) (-1709 . 562291) (-1710 . 562138) (-1711 . 561985) - (-1712 . 561832) (-1713 . 561679) (-1714 . 561526) (-1715 . 561460) - (-1716 . 561307) (-1717 . 561154) (-1718 . 561001) (-1719 . 560848) - (-1720 . 560695) (-1721 . 560542) (-1722 . 560389) (-1723 . 560236) - (-1724 . 560162) (-1725 . 560088) (-1726 . 560033) (-1727 . 559978) - (-1728 . 559923) (-1729 . 559868) (-1730 . 559797) (-1731 . 559593) - (-1732 . 559492) (-1733 . 559304) (-1734 . 559211) (-1735 . 559075) - (-1736 . 558939) (-1737 . 558803) (-1738 . 558735) (-1739 . 558619) - (-1740 . 558503) (-1741 . 558387) (-1742 . 558334) (-1743 . 558249) - (-1744 . 558164) (-1745 . 557856) (-1746 . 557801) (-1747 . 557149) - (-1748 . 556834) (-1749 . 556550) (-1750 . 556432) (-1751 . 556313) - (-1752 . 556254) (-1753 . 556195) (-1754 . 556144) (-1755 . 556093) - (-1756 . 556042) (-1757 . 555989) (-1758 . 555936) (-1759 . 555877) - (-1760 . 555764) (-1761 . 555651) (-1762 . 555484) (-1763 . 555392) - (-1764 . 555279) (-1765 . 555195) (-1766 . 555080) (-1767 . 554989) - (-1768 . 554898) (-1769 . 554777) (-1770 . 554590) (-1771 . 554538) - (-1772 . 554483) (-1773 . 554296) (-1774 . 554173) (-1775 . 554100) - (-1776 . 554027) (-1777 . 553907) (-1778 . 553834) (-1779 . 553761) - (-1780 . 553421) (-1781 . 553348) (-1782 . 553128) (-1783 . 552795) - (-1784 . 552612) (-1785 . 552469) (-1786 . 552109) (-1787 . 551941) - (-1788 . 551773) (-1789 . 551517) (-1790 . 551261) (-1791 . 551066) - (-1792 . 550871) (-1793 . 550277) (-1794 . 550201) (-1795 . 550062) - (-1796 . 549655) (-1797 . 549528) (-1798 . 549371) (-1799 . 549054) - (-1800 . 548574) (-1801 . 548094) (-1802 . 547592) (-1803 . 547524) - (-1804 . 547453) (-1805 . 547382) (-1806 . 547210) (-1807 . 547091) - (-1808 . 546972) (-1809 . 546896) (-1810 . 546820) (-1811 . 546547) - (-1812 . 546433) (-1813 . 546382) (-1814 . 546331) (-1815 . 546280) - (-1816 . 546229) (-1817 . 546178) (-1818 . 546037) (-1819 . 545864) - (-1820 . 545633) (-1821 . 545447) (-1822 . 545419) (-1823 . 545391) - (-1824 . 545363) (-1825 . 545335) (-1826 . 545307) (-1827 . 545279) - (-1828 . 545251) (-1829 . 545200) (-1830 . 545134) (-1831 . 545044) - (-1832 . 544673) (-1833 . 544522) (-1834 . 544371) (-1835 . 544166) - (-1836 . 544044) (-1837 . 543970) (-1838 . 543893) (-1839 . 543819) - (-1840 . 543742) (-1841 . 543665) (-1842 . 543591) (-1843 . 543514) - (-1844 . 543281) (-1845 . 543128) (-1846 . 542833) (-1847 . 542680) - (-1848 . 542358) (-1849 . 542220) (-1850 . 542082) (-1851 . 542002) - (-1852 . 541922) (-1853 . 541658) (-1854 . 540927) (-1855 . 540791) - (-1856 . 540701) (-1857 . 540566) (-1858 . 540499) (-1859 . 540431) - (-1860 . 540344) (-1861 . 540257) (-1862 . 540090) (-1863 . 540016) - (-1864 . 539872) (-1865 . 539412) (-1866 . 539033) (-1867 . 538271) - (-1868 . 538127) (-1869 . 537983) (-1870 . 537821) (-1871 . 537584) - (-1872 . 537444) (-1873 . 537298) (-1874 . 537059) (-1875 . 536823) - (-1876 . 536584) (-1877 . 536392) (-1878 . 536269) (-1879 . 536065) - (-1880 . 535842) (-1881 . 535603) (-1882 . 535462) (-1883 . 535324) - (-1884 . 535185) (-1885 . 534932) (-1886 . 534676) (-1887 . 534519) - (-1888 . 534365) (-1889 . 534125) (-1890 . 533840) (-1891 . 533702) - (-1892 . 533615) (-1893 . 532949) (-1894 . 532773) (-1895 . 532591) - (-1896 . 532415) (-1897 . 532233) (-1898 . 532054) (-1899 . 531875) - (-1900 . 531688) (-1901 . 531306) (-1902 . 531127) (-1903 . 530948) - (-1904 . 530761) (-1905 . 530379) (-1906 . 529386) (-1907 . 529002) - (-1908 . 528618) (-1909 . 528500) (-1910 . 528343) (-1911 . 528201) - (-1912 . 528084) (-1913 . 527902) (-1914 . 527778) (-1915 . 527489) - (-1916 . 527200) (-1917 . 526917) (-1918 . 526634) (-1919 . 526356) - (-1920 . 526268) (-1921 . 526183) (-1922 . 526086) (-1923 . 525989) - (-1924 . 525769) (-1925 . 525669) (-1926 . 525566) (-1927 . 525488) - (-1928 . 525163) (-1929 . 524871) (-1930 . 524798) (-1931 . 524413) - (-1932 . 524385) (-1933 . 524186) (-1934 . 524012) (-1935 . 523771) - (-1936 . 523716) (-1937 . 523641) (-1938 . 523273) (-1939 . 523158) - (-1940 . 523081) (-1941 . 523008) (-1942 . 522927) (-1943 . 522846) - (-1944 . 522765) (-1945 . 522664) (-1946 . 522605) (-1947 . 522185) - (-1948 . 521968) (-1949 . 521751) (-1950 . 521698) (-1951 . 521644) - (-1952 . 521312) (-1953 . 520988) (-1954 . 520800) (-1955 . 520609) - (-1956 . 520445) (-1957 . 520110) (-1958 . 519943) (-1959 . 519702) - (-1960 . 519378) (-1961 . 519188) (-1962 . 518973) (-1963 . 518802) - (-1964 . 518380) (-1965 . 518153) (-1966 . 517882) (-1967 . 517745) - (-1968 . 517604) (-1969 . 517127) (-1970 . 517004) (-1971 . 516768) - (-1972 . 516514) (-1973 . 516264) (-1974 . 515971) (-1975 . 515831) - (-1976 . 515691) (-1977 . 515551) (-1978 . 515362) (-1979 . 515173) - (-1980 . 514998) (-1981 . 514724) (-1982 . 514289) (-1983 . 514261) - (-1984 . 514189) (-1985 . 514056) (-1986 . 513981) (-1987 . 513822) - (-1988 . 513659) (-1989 . 513498) (-1990 . 513331) (-1991 . 513278) - (-1992 . 513225) (-1993 . 513096) (-1994 . 513036) (-1995 . 512983) - (-1996 . 512913) (-1997 . 512853) (-1998 . 512794) (-1999 . 512734) - (-2000 . 512675) (-2001 . 512615) (-2002 . 512556) (-2003 . 512497) - (-2004 . 512355) (-2005 . 512260) (-2006 . 512169) (-2007 . 512053) - (-2008 . 511959) (-2009 . 511861) (-2010 . 511767) (-2011 . 511626) - (-2012 . 511364) (-2013 . 510508) (-2014 . 510352) (-2015 . 509983) - (-2016 . 509927) (-2017 . 509876) (-2018 . 509773) (-2019 . 509688) - (-2020 . 509600) (-2021 . 509454) (-2022 . 509305) (-2023 . 509015) - (-2024 . 508937) (-2025 . 508862) (-2026 . 508809) (-2027 . 508756) - (-2028 . 508725) (-2029 . 508662) (-2030 . 508544) (-2031 . 508455) - (-2032 . 508335) (-2033 . 508040) (-2034 . 507846) (-2035 . 507658) - (-2036 . 507513) (-2037 . 507368) (-2038 . 507082) (-2039 . 506640) - (-2040 . 506606) (-2041 . 506569) (-2042 . 506532) (-2043 . 506495) - (-2044 . 506458) (-2045 . 506427) (-2046 . 506396) (-2047 . 506365) - (-2048 . 506331) (-2049 . 506297) (-2050 . 506243) (-2051 . 506067) - (-2052 . 505833) (-2053 . 505599) (-2054 . 505370) (-2055 . 505318) - (-2056 . 505263) (-2057 . 505194) (-2058 . 505106) (-2059 . 505037) - (-2060 . 504965) (-2061 . 504735) (-2062 . 504684) (-2063 . 504630) - (-2064 . 504599) (-2065 . 504493) (-2066 . 504268) (-2067 . 503958) - (-2068 . 503784) (-2069 . 503602) (-2070 . 503331) (-2071 . 503258) - (-2072 . 503193) (-2073 . 502717) (-2074 . 502155) (-2075 . 501429) - (-2076 . 500868) (-2077 . 500240) (-2078 . 499661) (-2079 . 499587) - (-2080 . 499535) (-2081 . 499483) (-2082 . 499409) (-2083 . 499354) - (-2084 . 499302) (-2085 . 499250) (-2086 . 499198) (-2087 . 499128) - (-2088 . 498680) (-2089 . 498474) (-2090 . 498225) (-2091 . 497891) - (-2092 . 497637) (-2093 . 497335) (-2094 . 497132) (-2095 . 496843) - (-2096 . 496295) (-2097 . 496158) (-2098 . 495956) (-2099 . 495676) - (-2100 . 495591) (-2101 . 495258) (-2102 . 495117) (-2103 . 494826) - (-2104 . 494606) (-2105 . 494480) (-2106 . 494355) (-2107 . 494208) - (-2108 . 494064) (-2109 . 493948) (-2110 . 493817) (-2111 . 493445) - (-2112 . 493185) (-2113 . 492915) (-2114 . 492675) (-2115 . 492345) - (-2116 . 492005) (-2117 . 491597) (-2118 . 491179) (-2119 . 490982) - (-2120 . 490707) (-2121 . 490539) (-2122 . 490343) (-2123 . 490121) - (-2124 . 489966) (-2125 . 489781) (-2126 . 489678) (-2127 . 489650) - (-2128 . 489622) (-2129 . 489448) (-2130 . 489374) (-2131 . 489313) - (-2132 . 489260) (-2133 . 489191) (-2134 . 489122) (-2135 . 489003) - (-2136 . 488825) (-2137 . 488770) (-2138 . 488524) (-2139 . 488451) - (-2140 . 488381) (-2141 . 488311) (-2142 . 488222) (-2143 . 488032) - (-2144 . 487959) (-2145 . 487890) (-2146 . 487825) (-2147 . 487770) - (-2148 . 487679) (-2149 . 487388) (-2150 . 487062) (-2151 . 486988) - (-2152 . 486666) (-2153 . 486461) (-2154 . 486376) (-2155 . 486291) - (-2156 . 486206) (-2157 . 486121) (-2158 . 486036) (-2159 . 485951) - (-2160 . 485866) (-2161 . 485781) (-2162 . 485696) (-2163 . 485611) - (-2164 . 485526) (-2165 . 485441) (-2166 . 485356) (-2167 . 485271) - (-2168 . 485186) (-2169 . 485101) (-2170 . 485016) (-2171 . 484931) - (-2172 . 484846) (-2173 . 484761) (-2174 . 484676) (-2175 . 484591) - (-2176 . 484506) (-2177 . 484421) (-2178 . 484336) (-2179 . 484251) - (-2180 . 484149) (-2181 . 484061) (-2182 . 483853) (-2183 . 483795) - (-2184 . 483740) (-2185 . 483653) (-2186 . 483542) (-2187 . 483456) - (-2188 . 483310) (-2189 . 483248) (-2190 . 483220) (-2191 . 483192) - (-2192 . 483164) (-2193 . 483136) (-2194 . 482967) (-2195 . 482816) - (-2196 . 482665) (-2197 . 482493) (-2198 . 482285) (-2199 . 482161) - (-2200 . 481953) (-2201 . 481861) (-2202 . 481769) (-2203 . 481640) - (-2204 . 481545) (-2205 . 481451) (-2206 . 481356) (-2207 . 481232) - (-2208 . 481204) (-2209 . 481176) (-2210 . 481148) (-2211 . 481120) - (-2212 . 481092) (-2213 . 481064) (-2214 . 481036) (-2215 . 481008) - (-2216 . 480980) (-2217 . 480952) (-2218 . 480924) (-2219 . 480896) - (-2220 . 480868) (-2221 . 480840) (-2222 . 480812) (-2223 . 480784) - (-2224 . 480731) (-2225 . 480703) (-2226 . 480675) (-2227 . 480597) - (-2228 . 480544) (-2229 . 480491) (-2230 . 480438) (-2231 . 480360) - (-2232 . 480270) (-2233 . 480175) (-2234 . 480081) (-2235 . 479999) - (-2236 . 479693) (-2237 . 479497) (-2238 . 479402) (-2239 . 479294) - (-2240 . 478883) (-2241 . 478855) (-2242 . 478691) (-2243 . 478614) - (-2244 . 478427) (-2245 . 478248) (-2246 . 477824) (-2247 . 477672) - (-2248 . 477492) (-2249 . 477319) (-2250 . 477059) (-2251 . 476807) - (-2252 . 475996) (-2253 . 475829) (-2254 . 475611) (-2255 . 474787) - (-2256 . 474656) (-2257 . 474525) (-2258 . 474394) (-2259 . 474263) - (-2260 . 474132) (-2261 . 474001) (-2262 . 473806) (-2263 . 473612) - (-2264 . 473469) (-2265 . 473154) (-2266 . 473039) (-2267 . 472699) - (-2268 . 472539) (-2269 . 472400) (-2270 . 472261) (-2271 . 472132) - (-2272 . 472047) (-2273 . 471995) (-2274 . 471515) (-2275 . 470253) - (-2276 . 470126) (-2277 . 469984) (-2278 . 469648) (-2279 . 469543) - (-2280 . 469294) (-2281 . 469062) (-2282 . 468957) (-2283 . 468882) - (-2284 . 468807) (-2285 . 468732) (-2286 . 468673) (-2287 . 468603) - (-2288 . 468550) (-2289 . 468488) (-2290 . 468418) (-2291 . 468055) - (-2292 . 467768) (-2293 . 467658) (-2294 . 467471) (-2295 . 467378) - (-2296 . 467285) (-2297 . 467198) (-2298 . 466978) (-2299 . 466759) - (-2300 . 466341) (-2301 . 466069) (-2302 . 465926) (-2303 . 465833) - (-2304 . 465690) (-2305 . 465538) (-2306 . 465384) (-2307 . 465314) - (-2308 . 465107) (-2309 . 464930) (-2310 . 464721) (-2311 . 464544) - (-2312 . 464510) (-2313 . 464476) (-2314 . 464445) (-2315 . 464327) - (-2316 . 464014) (-2317 . 463736) (-2318 . 463615) (-2319 . 463488) - (-2320 . 463403) (-2321 . 463330) (-2322 . 463241) (-2323 . 463170) - (-2324 . 463114) (-2325 . 463058) (-2326 . 463002) (-2327 . 462932) - (-2328 . 462862) (-2329 . 462792) (-2330 . 462694) (-2331 . 462616) - (-2332 . 462538) (-2333 . 462395) (-2334 . 462316) (-2335 . 462244) - (-2336 . 462041) (-2337 . 461985) (-2338 . 461797) (-2339 . 461698) - (-2340 . 461580) (-2341 . 461459) (-2342 . 461316) (-2343 . 461173) - (-2344 . 461033) (-2345 . 460893) (-2346 . 460750) (-2347 . 460624) - (-2348 . 460495) (-2349 . 460372) (-2350 . 460249) (-2351 . 460144) - (-2352 . 460039) (-2353 . 459937) (-2354 . 459787) (-2355 . 459634) - (-2356 . 459481) (-2357 . 459337) (-2358 . 459183) (-2359 . 459107) - (-2360 . 459028) (-2361 . 458875) (-2362 . 458796) (-2363 . 458717) - (-2364 . 458638) (-2365 . 458536) (-2366 . 458477) (-2367 . 458415) - (-2368 . 458298) (-2369 . 458174) (-2370 . 458097) (-2371 . 457965) - (-2372 . 457659) (-2373 . 457476) (-2374 . 456931) (-2375 . 456711) - (-2376 . 456537) (-2377 . 456367) (-2378 . 456294) (-2379 . 456218) - (-2380 . 456139) (-2381 . 455842) (-2382 . 455680) (-2383 . 455446) - (-2384 . 455004) (-2385 . 454874) (-2386 . 454734) (-2387 . 454425) - (-2388 . 454123) (-2389 . 453807) (-2390 . 453401) (-2391 . 453333) - (-2392 . 453265) (-2393 . 453197) (-2394 . 453103) (-2395 . 452996) - (-2396 . 452889) (-2397 . 452788) (-2398 . 452687) (-2399 . 452586) - (-2400 . 452509) (-2401 . 452116) (-2402 . 451699) (-2403 . 451072) - (-2404 . 451008) (-2405 . 450889) (-2406 . 450770) (-2407 . 450662) - (-2408 . 450554) (-2409 . 450398) (-2410 . 449798) (-2411 . 449515) - (-2412 . 449436) (-2413 . 449382) (-2414 . 449214) (-2415 . 449092) - (-2416 . 448696) (-2417 . 448460) (-2418 . 448259) (-2419 . 448051) - (-2420 . 447858) (-2421 . 447591) (-2422 . 447517) (-2423 . 447338) - (-2424 . 447269) (-2425 . 447193) (-2426 . 447052) (-2427 . 446849) - (-2428 . 446705) (-2429 . 446455) (-2430 . 446147) (-2431 . 445791) - (-2432 . 445632) (-2433 . 445426) (-2434 . 445266) (-2435 . 445193) - (-2436 . 445159) (-2437 . 445094) (-2438 . 445057) (-2439 . 444920) - (-2440 . 444682) (-2441 . 444612) (-2442 . 444426) (-2443 . 444177) - (-2444 . 444021) (-2445 . 443498) (-2446 . 443301) (-2447 . 443089) - (-2448 . 442927) (-2449 . 442528) (-2450 . 442361) (-2451 . 441286) - (-2452 . 441163) (-2453 . 440946) (-2454 . 440816) (-2455 . 440686) - (-2456 . 440529) (-2457 . 440426) (-2458 . 440368) (-2459 . 440310) - (-2460 . 440204) (-2461 . 440098) (-2462 . 439182) (-2463 . 437055) - (-2464 . 436241) (-2465 . 434438) (-2466 . 434370) (-2467 . 434302) - (-2468 . 434234) (-2469 . 434166) (-2470 . 434098) (-2471 . 434020) - (-2472 . 433664) (-2473 . 433482) (-2474 . 432943) (-2475 . 432767) - (-2476 . 432546) (-2477 . 432325) (-2478 . 432104) (-2479 . 431886) - (-2480 . 431668) (-2481 . 431450) (-2482 . 431232) (-2483 . 431014) - (-2484 . 430796) (-2485 . 430695) (-2486 . 429962) (-2487 . 429907) - (-2488 . 429852) (-2489 . 429797) (-2490 . 429742) (-2491 . 429592) - (-2492 . 429344) (-2493 . 429183) (-2494 . 429003) (-2495 . 428716) - (-2496 . 428330) (-2497 . 427458) (-2498 . 427118) (-2499 . 426950) - (-2500 . 426728) (-2501 . 426478) (-2502 . 426130) (-2503 . 425120) - (-2504 . 424809) (-2505 . 424597) (-2506 . 424033) (-2507 . 423520) - (-2508 . 421764) (-2509 . 421292) (-2510 . 420693) (-2511 . 420443) - (-2512 . 420309) (-2513 . 420097) (-2514 . 420021) (-2515 . 419945) - (-2516 . 419838) (-2517 . 419656) (-2518 . 419491) (-2519 . 419313) - (-2520 . 418732) (-2521 . 418571) (-2522 . 417998) (-2523 . 417928) - (-2524 . 417853) (-2525 . 417781) (-2526 . 417643) (-2527 . 417456) - (-2528 . 417349) (-2529 . 417242) (-2530 . 417127) (-2531 . 417012) - (-2532 . 416897) (-2533 . 416619) (-2534 . 416469) (-2535 . 416326) - (-2536 . 416253) (-2537 . 416168) (-2538 . 416095) (-2539 . 416022) - (-2540 . 415949) (-2541 . 415806) (-2542 . 415656) (-2543 . 415482) - (-2544 . 415332) (-2545 . 415182) (-2546 . 415056) (-2547 . 414670) - (-2548 . 414386) (-2549 . 414102) (-2550 . 413693) (-2551 . 413409) - (-2552 . 413336) (-2553 . 413189) (-2554 . 413083) (-2555 . 413009) - (-2556 . 412939) (-2557 . 412860) (-2558 . 412783) (-2559 . 412706) - (-2560 . 412557) (-2561 . 412454) (-2562 . 412396) (-2563 . 412332) - (-2564 . 412268) (-2565 . 412171) (-2566 . 412074) (-2567 . 411914) - (-2568 . 411828) (-2569 . 411742) (-2570 . 411657) (-2571 . 411598) - (-2572 . 411539) (-2573 . 411480) (-2574 . 411421) (-2575 . 411251) - (-2576 . 411163) (-2577 . 411066) (-2578 . 411032) (-2579 . 411001) - (-2580 . 410917) (-2581 . 410861) (-2582 . 410799) (-2583 . 410765) - (-2584 . 410731) (-2585 . 410697) (-2586 . 410663) (-2587 . 410629) - (-2588 . 410595) (-2589 . 410561) (-2590 . 410527) (-2591 . 410493) - (-2592 . 410381) (-2593 . 410347) (-2594 . 410296) (-2595 . 410262) - (-2596 . 410165) (-2597 . 410103) (-2598 . 410012) (-2599 . 409921) - (-2600 . 409866) (-2601 . 409814) (-2602 . 409762) (-2603 . 409710) - (-2604 . 409658) (-2605 . 409235) (-2606 . 409069) (-2607 . 409016) - (-2608 . 408947) (-2609 . 408894) (-2610 . 408664) (-2611 . 408508) - (-2612 . 407987) (-2613 . 407846) (-2614 . 407812) (-2615 . 407757) - (-2616 . 407047) (-2617 . 406732) (-2618 . 406228) (-2619 . 406150) - (-2620 . 406098) (-2621 . 406046) (-2622 . 405862) (-2623 . 405810) - (-2624 . 405758) (-2625 . 405682) (-2626 . 405620) (-2627 . 405402) - (-2628 . 405335) (-2629 . 405241) (-2630 . 405147) (-2631 . 404964) - (-2632 . 404882) (-2633 . 404760) (-2634 . 404614) (-2635 . 403963) - (-2636 . 403261) (-2637 . 403157) (-2638 . 403056) (-2639 . 402955) - (-2640 . 402844) (-2641 . 402676) (-2642 . 402472) (-2643 . 402379) - (-2644 . 402302) (-2645 . 402246) (-2646 . 402176) (-2647 . 402056) - (-2648 . 401955) (-2649 . 401858) (-2650 . 401778) (-2651 . 401698) - (-2652 . 401621) (-2653 . 401551) (-2654 . 401481) (-2655 . 401411) - (-2656 . 401341) (-2657 . 401271) (-2658 . 401201) (-2659 . 401108) - (-2660 . 400980) (-2661 . 400738) (-2662 . 400568) (-2663 . 400199) - (-2664 . 400030) (-2665 . 399914) (-2666 . 399418) (-2667 . 399037) - (-2668 . 398791) (-2669 . 398699) (-2670 . 398602) (-2671 . 397940) - (-2672 . 397827) (-2673 . 397753) (-2674 . 397661) (-2675 . 397471) - (-2676 . 397281) (-2677 . 397210) (-2678 . 397139) (-2679 . 397058) - (-2680 . 396977) (-2681 . 396852) (-2682 . 396719) (-2683 . 396638) - (-2684 . 396564) (-2685 . 396399) (-2686 . 396242) (-2687 . 396014) - (-2688 . 395866) (-2689 . 395762) (-2690 . 395658) (-2691 . 395573) - (-2692 . 395205) (-2693 . 395124) (-2694 . 395037) (-2695 . 394956) - (-2696 . 394760) (-2697 . 394540) (-2698 . 394353) (-2699 . 394031) - (-2700 . 393738) (-2701 . 393445) (-2702 . 393135) (-2703 . 392818) - (-2704 . 392666) (-2705 . 392478) (-2706 . 392005) (-2707 . 391923) - (-2708 . 391707) (-2709 . 391491) (-2710 . 391232) (-2711 . 390811) - (-2712 . 390298) (-2713 . 390168) (-2714 . 389894) (-2715 . 389715) - (-2716 . 389600) (-2717 . 389496) (-2718 . 389441) (-2719 . 389364) - (-2720 . 389294) (-2721 . 389221) (-2722 . 389166) (-2723 . 389093) - (-2724 . 389038) (-2725 . 388683) (-2726 . 388275) (-2727 . 388122) - (-2728 . 387969) (-2729 . 387888) (-2730 . 387735) (-2731 . 387582) - (-2732 . 387447) (-2733 . 387312) (-2734 . 387177) (-2735 . 387042) - (-2736 . 386907) (-2737 . 386772) (-2738 . 386716) (-2739 . 386563) - (-2740 . 386452) (-2741 . 386341) (-2742 . 386256) (-2743 . 386146) - (-2744 . 386043) (-2745 . 381892) (-2746 . 381444) (-2747 . 381017) - (-2748 . 380400) (-2749 . 379799) (-2750 . 379581) (-2751 . 379403) - (-2752 . 379144) (-2753 . 378733) (-2754 . 378439) (-2755 . 377996) - (-2756 . 377818) (-2757 . 377425) (-2758 . 377032) (-2759 . 376847) - (-2760 . 376640) (-2761 . 376420) (-2762 . 376114) (-2763 . 375915) - (-2764 . 375286) (-2765 . 375129) (-2766 . 374740) (-2767 . 374689) - (-2768 . 374640) (-2769 . 374589) (-2770 . 374541) (-2771 . 374489) - (-2772 . 374343) (-2773 . 374291) (-2774 . 374145) (-2775 . 374093) - (-2776 . 373947) (-2777 . 373896) (-2778 . 373521) (-2779 . 373470) - (-2780 . 373421) (-2781 . 373370) (-2782 . 373322) (-2783 . 373270) - (-2784 . 373221) (-2785 . 373169) (-2786 . 373120) (-2787 . 373068) - (-2788 . 373019) (-2789 . 372953) (-2790 . 372835) (-2791 . 371673) - (-2792 . 371256) (-2793 . 371148) (-2794 . 370906) (-2795 . 370756) - (-2796 . 370606) (-2797 . 370445) (-2798 . 368238) (-2799 . 367977) - (-2800 . 367823) (-2801 . 367677) (-2802 . 367531) (-2803 . 367312) - (-2804 . 367180) (-2805 . 367105) (-2806 . 367030) (-2807 . 366895) - (-2808 . 366766) (-2809 . 366637) (-2810 . 366511) (-2811 . 366385) - (-2812 . 366259) (-2813 . 366133) (-2814 . 366030) (-2815 . 365930) - (-2816 . 365836) (-2817 . 365706) (-2818 . 365555) (-2819 . 365179) - (-2820 . 365065) (-2821 . 364824) (-2822 . 364366) (-2823 . 364056) - (-2824 . 363489) (-2825 . 362920) (-2826 . 361910) (-2827 . 361368) - (-2828 . 361055) (-2829 . 360717) (-2830 . 360386) (-2831 . 360066) - (-2832 . 360013) (-2833 . 359886) (-2834 . 359384) (-2835 . 358241) - (-2836 . 358186) (-2837 . 358131) (-2838 . 358055) (-2839 . 357936) - (-2840 . 357861) (-2841 . 357786) (-2842 . 357708) (-2843 . 357485) - (-2844 . 357426) (-2845 . 357367) (-2846 . 357264) (-2847 . 357161) - (-2848 . 357058) (-2849 . 356955) (-2850 . 356874) (-2851 . 356800) - (-2852 . 356585) (-2853 . 356351) (-2854 . 356317) (-2855 . 356283) - (-2856 . 356255) (-2857 . 356227) (-2858 . 356010) (-2859 . 355732) - (-2860 . 355582) (-2861 . 355452) (-2862 . 355322) (-2863 . 355222) - (-2864 . 355045) (-2865 . 354885) (-2866 . 354785) (-2867 . 354608) - (-2868 . 354448) (-2869 . 354289) (-2870 . 354150) (-2871 . 354000) - (-2872 . 353870) (-2873 . 353740) (-2874 . 353593) (-2875 . 353466) - (-2876 . 353363) (-2877 . 353256) (-2878 . 353159) (-2879 . 352994) - (-2880 . 352846) (-2881 . 352431) (-2882 . 352331) (-2883 . 352228) - (-2884 . 352140) (-2885 . 352060) (-2886 . 351910) (-2887 . 351780) - (-2888 . 351728) (-2889 . 351655) (-2890 . 351580) (-2891 . 351521) - (-2892 . 351409) (-2893 . 351097) (-2894 . 350920) (-2895 . 349322) - (-2896 . 348694) (-2897 . 348634) (-2898 . 348516) (-2899 . 348398) - (-2900 . 348254) (-2901 . 348102) (-2902 . 347943) (-2903 . 347784) - (-2904 . 347578) (-2905 . 347391) (-2906 . 347239) (-2907 . 347084) - (-2908 . 346929) (-2909 . 346777) (-2910 . 346640) (-2911 . 346217) - (-2912 . 346091) (-2913 . 345965) (-2914 . 345839) (-2915 . 345699) - (-2916 . 345558) (-2917 . 345417) (-2918 . 345273) (-2919 . 344525) - (-2920 . 344367) (-2921 . 344181) (-2922 . 344026) (-2923 . 343788) - (-2924 . 343543) (-2925 . 343298) (-2926 . 343088) (-2927 . 342951) - (-2928 . 342741) (-2929 . 342604) (-2930 . 342394) (-2931 . 342257) - (-2932 . 342047) (-2933 . 341744) (-2934 . 341600) (-2935 . 341459) - (-2936 . 341236) (-2937 . 341095) (-2938 . 340873) (-2939 . 340676) - (-2940 . 340520) (-2941 . 340193) (-2942 . 340034) (-2943 . 339875) - (-2944 . 339716) (-2945 . 339545) (-2946 . 339374) (-2947 . 339200) - (-2948 . 338848) (-2949 . 338725) (-2950 . 338563) (-2951 . 338490) - (-2952 . 338417) (-2953 . 338344) (-2954 . 338271) (-2955 . 338198) - (-2956 . 338125) (-2957 . 338002) (-2958 . 337829) (-2959 . 337706) - (-2960 . 337620) (-2961 . 337554) (-2962 . 337488) (-2963 . 337422) - (-2964 . 337356) (-2965 . 337290) (-2966 . 337224) (-2967 . 337158) - (-2968 . 337092) (-2969 . 337026) (-2970 . 336960) (-2971 . 336894) - (-2972 . 336828) (-2973 . 336762) (-2974 . 336696) (-2975 . 336630) - (-2976 . 336564) (-2977 . 336498) (-2978 . 336432) (-2979 . 336366) - (-2980 . 336300) (-2981 . 336234) (-2982 . 336168) (-2983 . 336102) - (-2984 . 336036) (-2985 . 335970) (-2986 . 335904) (-2987 . 335257) - (-2988 . 334610) (-2989 . 334482) (-2990 . 334359) (-2991 . 334236) - (-2992 . 334095) (-2993 . 333941) (-2994 . 333797) (-2995 . 333622) - (-2996 . 333012) (-2997 . 332888) (-2998 . 332764) (-2999 . 332086) - (-3000 . 331389) (-3001 . 331288) (-3002 . 331232) (-3003 . 331176) - (-3004 . 331120) (-3005 . 331064) (-3006 . 331005) (-3007 . 330941) - (-3008 . 330833) (-3009 . 330725) (-3010 . 330617) (-3011 . 330338) - (-3012 . 330264) (-3013 . 330038) (-3014 . 329957) (-3015 . 329879) - (-3016 . 329801) (-3017 . 329723) (-3018 . 329644) (-3019 . 329566) - (-3020 . 329473) (-3021 . 329374) (-3022 . 329306) (-3023 . 329257) - (-3024 . 328566) (-3025 . 327926) (-3026 . 327135) (-3027 . 327054) - (-3028 . 326950) (-3029 . 326861) (-3030 . 326772) (-3031 . 326698) - (-3032 . 326624) (-3033 . 326550) (-3034 . 326495) (-3035 . 326440) - (-3036 . 326374) (-3037 . 326308) (-3038 . 326246) (-3039 . 325971) - (-3040 . 325479) (-3041 . 325021) (-3042 . 324768) (-3043 . 324580) - (-3044 . 324239) (-3045 . 323943) (-3046 . 323775) (-3047 . 323644) - (-3048 . 323504) (-3049 . 323349) (-3050 . 323180) (-3051 . 321794) - (-3052 . 321661) (-3053 . 321520) (-3054 . 321291) (-3055 . 321232) - (-3056 . 321176) (-3057 . 321120) (-3058 . 320855) (-3059 . 320643) - (-3060 . 320504) (-3061 . 320397) (-3062 . 320280) (-3063 . 320214) - (-3064 . 320141) (-3065 . 320027) (-3066 . 319774) (-3067 . 319674) - (-3068 . 319480) (-3069 . 319172) (-3070 . 318706) (-3071 . 318601) - (-3072 . 318495) (-3073 . 318346) (-3074 . 318206) (-3075 . 317794) - (-3076 . 317550) (-3077 . 316892) (-3078 . 316739) (-3079 . 316625) - (-3080 . 316515) (-3081 . 315695) (-3082 . 315501) (-3083 . 314475) - (-3084 . 314027) (-3085 . 312638) (-3086 . 311787) (-3087 . 311738) - (-3088 . 311689) (-3089 . 311640) (-3090 . 311573) (-3091 . 311498) - (-3092 . 311308) (-3093 . 311236) (-3094 . 311161) (-3095 . 311089) - (-3096 . 310972) (-3097 . 310921) (-3098 . 310842) (-3099 . 310763) - (-3100 . 310684) (-3101 . 310633) (-3102 . 310389) (-3103 . 310087) - (-3104 . 310005) (-3105 . 309923) (-3106 . 309862) (-3107 . 309473) - (-3108 . 308601) (-3109 . 308028) (-3110 . 306793) (-3111 . 305986) - (-3112 . 305736) (-3113 . 305486) (-3114 . 305061) (-3115 . 304817) - (-3116 . 304573) (-3117 . 304329) (-3118 . 304085) (-3119 . 303841) - (-3120 . 303597) (-3121 . 303355) (-3122 . 303113) (-3123 . 302871) - (-3124 . 302629) (-3125 . 302051) (-3126 . 301935) (-3127 . 301881) - (-3128 . 301039) (-3129 . 301008) (-3130 . 300663) (-3131 . 300437) - (-3132 . 300338) (-3133 . 300239) (-3134 . 298473) (-3135 . 298361) - (-3136 . 297311) (-3137 . 297219) (-3138 . 296297) (-3139 . 295964) - (-3140 . 295631) (-3141 . 295528) (-3142 . 295417) (-3143 . 295306) - (-3144 . 295195) (-3145 . 295084) (-3146 . 293997) (-3147 . 293877) - (-3148 . 293742) (-3149 . 293610) (-3150 . 293478) (-3151 . 293184) - (-3152 . 292890) (-3153 . 292545) (-3154 . 292319) (-3155 . 292093) - (-3156 . 291982) (-3157 . 291871) (-3158 . 290409) (-3159 . 288705) - (-3160 . 288396) (-3161 . 288244) (-3162 . 287721) (-3163 . 287392) - (-3164 . 287199) (-3165 . 287006) (-3166 . 286813) (-3167 . 286620) - (-3168 . 286507) (-3169 . 286384) (-3170 . 286270) (-3171 . 286156) - (-3172 . 286063) (-3173 . 285970) (-3174 . 285860) (-3175 . 285659) - (-3176 . 284515) (-3177 . 284422) (-3178 . 284308) (-3179 . 284215) - (-3180 . 283968) (-3181 . 283857) (-3182 . 283643) (-3183 . 283525) - (-3184 . 283228) (-3185 . 282500) (-3186 . 281924) (-3187 . 281446) - (-3188 . 281202) (-3189 . 280958) (-3190 . 280615) (-3191 . 280009) - (-3192 . 279566) (-3193 . 279411) (-3194 . 279267) (-3195 . 278947) - (-3196 . 278792) (-3197 . 278652) (-3198 . 278512) (-3199 . 278372) - (-3200 . 278097) (-3201 . 277878) (-3202 . 277359) (-3203 . 277147) - (-3204 . 276935) (-3205 . 276555) (-3206 . 276381) (-3207 . 276172) - (-3208 . 275864) (-3209 . 275672) (-3210 . 275499) (-3211 . 274363) - (-3212 . 273998) (-3213 . 273798) (-3214 . 273598) (-3215 . 272762) - (-3216 . 272734) (-3217 . 272666) (-3218 . 272596) (-3219 . 272432) - (-3220 . 272404) (-3221 . 272376) (-3222 . 272322) (-3223 . 272172) - (-3224 . 272113) (-3225 . 271420) (-3226 . 270035) (-3227 . 269974) - (-3228 . 269650) (-3229 . 269578) (-3230 . 269521) (-3231 . 269464) - (-3232 . 269407) (-3233 . 269350) (-3234 . 269275) (-3235 . 268685) - (-3236 . 268325) (-3237 . 268251) (-3238 . 268191) (-3239 . 268073) - (-3240 . 267130) (-3241 . 267003) (-3242 . 266790) (-3243 . 266716) - (-3244 . 266662) (-3245 . 266608) (-3246 . 266499) (-3247 . 266104) +((-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) |