├── .DS_Store ├── .gitattributes ├── README.md ├── config.py ├── embed └── citeseer.embed ├── evaluation.py ├── graph ├── citeseer.edgelist ├── citeseer.feature ├── citeseer.label ├── pubmed.edgelist ├── pubmed.feature.mat └── pubmed.label ├── main.py ├── model.py ├── node2vec.py ├── requirements.txt └── utils.py /.DS_Store: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cszhangzhen/ANRL/c24bf13ca864750160a3f10fe2ab419538db4b30/.DS_Store -------------------------------------------------------------------------------- /.gitattributes: -------------------------------------------------------------------------------- 1 | *.py linguist-language=python 2 | *.feature linguist-language=python 3 | *.label linguist-language=python 4 | *.edgelist linguist-language=python 5 | *.embed linguist-language=python 6 | -------------------------------------------------------------------------------- /README.md: -------------------------------------------------------------------------------- 1 | # ANRL 2 | ANRL: Attributed Network Representation Learning via Deep Neural Networks (IJCAI-18) 3 | 4 | This is a Tensorflow implementation of the ANRL algorithm, which learns a low-dimensional representations for each node in a network. Specifically, ANRL consists of two modules, i.e., neighbor enhancement autoencoder and attribute-aware skip-gram model, to jointly capture the node attribute proximity and network topology proximity. 5 | 6 | ## Requirements 7 | * python2.7 or python3.6 8 | * tensorflow 9 | * networkx 10 | * numpy 11 | * scipy 12 | * scikit-learn 13 | 14 | All required packages are defined in requirements.txt. To install all requirement, just use the following commands: 15 | ``` 16 | pip install -r requirements.txt 17 | ``` 18 | 19 | ## Basic Usage 20 | 21 | ### Input Data 22 | For node classification, each dataset contains 3 files: edgelist, features and labels. 23 | ``` 24 | 1. citeseer.edgelist: each line contains two connected nodes. 25 | node_1 node_2 (weight) 26 | node_2 node_3 (weight) 27 | ... 28 | 29 | 2. citeseer.feature: this file has n+1 lines. 30 | The first line has the following format: 31 | node_number feature_dimension 32 | The next n lines are as follows: (each node per line ordered by node id) 33 | (for node_1) feature_1 feature_2 ... feature_n 34 | (for node_2) feature_1 feature_2 ... feature_n 35 | ... 36 | 37 | 3. citeseer.label: each line represents a node and its class label. 38 | node_1 label_1 39 | node_2 label_2 40 | ... 41 | ``` 42 | For link prediction, each dataset contains 3 files: training edgelist, features and test edgelist. 43 | ``` 44 | 1. xxx_train.edgelist: each line contains two connected nodes. 45 | node_1 node_2 (weight) 46 | node_2 node_3 (weight) 47 | ... 48 | 49 | 2. xxx.feature: this file has n+1 lines. 50 | The first line has the following format: 51 | node_number feature_dimension 52 | The next n lines are as follows: (each node per line ordered by node id) 53 | (for node_1) feature_1 feature_2 ... feature_n 54 | (for node_2) feature_1 feature_2 ... feature_n 55 | ... 56 | 57 | 3. xxx_test.edgelist: each line contains two connected nodes. 58 | node_1 node_2 1 (positive sample) 59 | node_2 node_3 0 (negative sample) 60 | ... 61 | ``` 62 | 63 | ### Output Data 64 | The output file has n+1 lines as the input feature files. The first line has the following format: 65 | ``` 66 | node_number embedding_dimension 67 | ``` 68 | The next n lines are as follows: 69 | node_id dim_1, dim_2, ... dim_d 70 | 71 | ### Run 72 | To run ANRL, just execute the following command for node classification task: 73 | ``` 74 | python main.py 75 | ``` 76 | 77 | 78 | Note: 79 | As for simulating random walks, we directly use the code provided in [node2vec](https://github.com/aditya-grover/node2vec), which levearges alias sampling to faciliate the procedure. 80 | 81 | ## Citing 82 | If you find ANRL useful for your research, please consider citing the following paper: 83 | ``` 84 | @inproceedings{ijcai2018-438, 85 | title = {ANRL: Attributed Network Representation Learning via Deep Neural Networks}, 86 | author = {Zhen Zhang and Hongxia Yang and Jiajun Bu and Sheng Zhou and Pinggang Yu and Jianwei Zhang and Martin Ester and Can Wang}, 87 | booktitle = {Proceedings of the Twenty-Seventh International Joint Conference on 88 | Artificial Intelligence, {IJCAI-18}}, 89 | publisher = {International Joint Conferences on Artificial Intelligence Organization}, 90 | pages = {3155--3161}, 91 | year = {2018}, 92 | month = {7}, 93 | doi = {10.24963/ijcai.2018/438}, 94 | url = {https://doi.org/10.24963/ijcai.2018/438}, 95 | } 96 | ``` 97 | -------------------------------------------------------------------------------- /config.py: -------------------------------------------------------------------------------- 1 | class Config(object): 2 | def __init__(self): 3 | # hyperparameter 4 | self.struct = [None, 1000, 500, None] 5 | self.reg = 10 6 | self.alpha = 1 7 | 8 | # parameters for training 9 | self.batch_size = 512 10 | self.num_sampled = 10 11 | self.max_iters = 20000 12 | self.sg_learning_rate = 1e-4 13 | self.ae_learning_rate = 1e-4 14 | -------------------------------------------------------------------------------- /evaluation.py: -------------------------------------------------------------------------------- 1 | from __future__ import print_function 2 | import numpy as np 3 | import random 4 | import math 5 | import warnings 6 | from sklearn.model_selection import train_test_split 7 | from sklearn.svm import LinearSVC 8 | from sklearn.metrics import * 9 | from sklearn.metrics.pairwise import cosine_similarity 10 | 11 | 12 | def read_label(inputFileName): 13 | f = open(inputFileName, 'r') 14 | lines = f.readlines() 15 | f.close() 16 | N = len(lines) 17 | y = np.zeros(N, dtype=int) 18 | for line in lines: 19 | l = line.strip('\n\r').split(' ') 20 | y[int(l[0])] = int(l[1]) 21 | 22 | return y 23 | 24 | 25 | def multiclass_node_classification_eval(X, y, ratio=0.2, rnd=2018): 26 | warnings.filterwarnings('ignore') 27 | 28 | X_train, X_test, y_train, y_test = train_test_split(X, y, test_size=ratio, random_state=rnd) 29 | clf = LinearSVC() 30 | clf.fit(X_train, y_train) 31 | 32 | y_pred = clf.predict(X_test) 33 | 34 | macro_f1 = f1_score(y_test, y_pred, average='macro') 35 | micro_f1 = f1_score(y_test, y_pred, average='micro') 36 | 37 | return macro_f1, micro_f1 38 | 39 | 40 | def link_prediction_ROC(inputFileName, Embeddings): 41 | f = open(inputFileName, 'r') 42 | lines = f.readlines() 43 | f.close() 44 | 45 | X_test = [] 46 | 47 | for line in lines: 48 | l = line.strip('\n\r').split(' ') 49 | X_test.append([int(l[0]), int(l[1]), int(l[2])]) 50 | 51 | y_true = [X_test[i][2] for i in range(len(X_test))] 52 | y_predict = [ 53 | cosine_similarity(Embeddings[X_test[i][0], :].reshape(1, -1), Embeddings[X_test[i][1], :].reshape(1, -1))[0, 0] 54 | for i in range(len(X_test))] 55 | auc = roc_auc_score(y_true, y_predict) 56 | 57 | if auc < 0.5: 58 | auc = 1 - auc 59 | 60 | return auc 61 | 62 | 63 | def node_classification_F1(Embeddings, y): 64 | macro_f1_avg = 0 65 | micro_f1_avg = 0 66 | for i in range(10): 67 | rnd = np.random.randint(2018) 68 | macro_f1, micro_f1 = multiclass_node_classification_eval(Embeddings, y, 0.7, rnd) 69 | macro_f1_avg += macro_f1 70 | micro_f1_avg += micro_f1 71 | macro_f1_avg /= 10 72 | micro_f1_avg /= 10 73 | print('Macro_f1 average value: ' + str(macro_f1_avg)) 74 | print('Micro_f1 average value: ' + str(micro_f1_avg)) 75 | -------------------------------------------------------------------------------- /graph/citeseer.edgelist: -------------------------------------------------------------------------------- 1 | 0 0 2 | 99 0 3 | 111 0 4 | 381 0 5 | 415 0 6 | 514 0 7 | 585 0 8 | 690 0 9 | 691 0 10 | 783 0 11 | 784 0 12 | 954 0 13 | 153 1 14 | 732 1 15 | 1937 1 16 | 2903 2177 17 | 1034 1011 18 | 2028 1011 19 | 2029 1011 20 | 2200 2179 21 | 962 2 22 | 2181 1012 23 | 2031 1012 24 | 1417 1013 25 | 1427 1013 26 | 1545 1013 27 | 2024 1013 28 | 1059 1014 29 | 1365 1014 30 | 1378 1014 31 | 1236 1015 32 | 1439 1015 33 | 1440 1015 34 | 2093 1015 35 | 2677 2183 36 | 845 2183 37 | 3156 2183 38 | 2138 1016 39 | 634 3 40 | 2306 2184 41 | 2356 2184 42 | 2539 2185 43 | 1264 1017 44 | 1549 1017 45 | 591 1017 46 | 1524 1018 47 | 588 4 48 | 3139 2186 49 | 609 1019 50 | 2064 1019 51 | 2666 2187 52 | 36 5 53 | 63 5 54 | 97 5 55 | 603 5 56 | 949 5 57 | 1176 1021 58 | 64 6 59 | 682 6 60 | 1907 1022 61 | 1875 1023 62 | 3300 2188 63 | 1527 1024 64 | 2303 2189 65 | 2634 2189 66 | 3145 2190 67 | 868 8 68 | 1986 8 69 | 1100 1029 70 | 1109 1029 71 | 1248 1029 72 | 2488 2192 73 | 1244 1030 74 | 1487 1031 75 | 1488 1031 76 | 1645 1031 77 | 1872 1031 78 | 2117 1032 79 | 158 9 80 | 202 9 81 | 260 9 82 | 559 9 83 | 820 9 84 | 970 9 85 | 387 11 86 | 945 11 87 | 1759 1033 88 | 2014 1033 89 | 2015 1033 90 | 1665 1034 91 | 1666 1034 92 | 1491 1035 93 | 1485 1036 94 | 1042 1037 95 | 1309 1037 96 | 1679 1037 97 | 2195 2195 98 | 2209 2195 99 | 55 2196 100 | 3279 2196 101 | 2504 2197 102 | 2198 2198 103 | 3025 2199 104 | 1107 1038 105 | 1174 1038 106 | 1404 1038 107 | 1536 1038 108 | 1636 1038 109 | 1682 1038 110 | 1769 1038 111 | 1212 1039 112 | 1076 1040 113 | 1078 1040 114 | 1309 1040 115 | 1679 1040 116 | 2036 1041 117 | 2201 2201 118 | 2460 2202 119 | 779 2202 120 | 828 2202 121 | 3162 2202 122 | 1037 1042 123 | 1679 1042 124 | 2911 2203 125 | 1138 1043 126 | 1828 1043 127 | 1893 1043 128 | 2139 1043 129 | 2165 1043 130 | 2899 2205 131 | 2900 2205 132 | 1274 1044 133 | 1453 1045 134 | 1704 1045 135 | 1705 1045 136 | 1944 1045 137 | 1954 1045 138 | 1955 1045 139 | 1980 1045 140 | 2002 1045 141 | 1286 1046 142 | 1302 1046 143 | 1521 1046 144 | 1532 1046 145 | 1891 1046 146 | 1902 1046 147 | 2024 1046 148 | 1127 1047 149 | 1442 1047 150 | 1613 1047 151 | 1636 1047 152 | 1679 1047 153 | 1776 1047 154 | 2675 2206 155 | 3099 2206 156 | 1028 1048 157 | 2632 2207 158 | 2855 2207 159 | 1049 1049 160 | 1168 1050 161 | 1254 1050 162 | 508 12 163 | 1741 12 164 | 777 12 165 | 1253 1051 166 | 2121 1051 167 | 2275 2210 168 | 1707 2210 169 | 1491 1054 170 | 1961 1055 171 | 1962 1055 172 | 1963 1055 173 | 250 13 174 | 868 14 175 | 2326 2211 176 | 1056 1056 177 | 1161 1056 178 | 2423 2212 179 | 2474 2212 180 | 3132 2212 181 | 1254 1057 182 | 145 16 183 | 2244 2213 184 | 3258 2213 185 | 1236 1058 186 | 2024 1058 187 | 2845 2214 188 | 976 2214 189 | 1014 1059 190 | 1365 1059 191 | 1378 1059 192 | 59 18 193 | 6 20 194 | 3037 2217 195 | 1123 1060 196 | 3194 2218 197 | 1678 21 198 | 680 21 199 | 118 22 200 | 303 22 201 | 335 22 202 | 455 22 203 | 469 22 204 | 599 22 205 | 668 22 206 | 899 22 207 | 2391 2219 208 | 2220 2220 209 | 2513 2221 210 | 2665 2221 211 | 3115 2221 212 | 309 23 213 | 704 23 214 | 127 24 215 | 392 24 216 | 406 24 217 | 685 24 218 | 947 24 219 | 952 24 220 | 1943 1061 221 | 1229 1063 222 | 1707 1063 223 | 2567 2222 224 | 1811 1064 225 | 69 25 226 | 357 25 227 | 655 25 228 | 683 25 229 | 888 25 230 | 2779 2224 231 | 2780 2224 232 | 393 27 233 | 1093 1065 234 | 2398 2225 235 | 2341 2226 236 | 1171 1066 237 | 1961 1066 238 | 1962 1066 239 | 1963 1066 240 | 3299 2228 241 | 1236 1067 242 | 1251 1067 243 | 2597 2229 244 | 2231 2231 245 | 1209 1068 246 | 235 1068 247 | 1515 1068 248 | 592 1068 249 | 1718 1068 250 | 2115 1068 251 | 2540 2232 252 | 3033 2232 253 | 3203 2232 254 | 2698 2233 255 | 3158 2233 256 | 2235 2235 257 | 2992 2235 258 | 1236 1070 259 | 1744 1071 260 | 48 28 261 | 54 28 262 | 105 28 263 | 106 28 264 | 153 28 265 | 633 28 266 | 987 28 267 | 2193 2236 268 | 1203 30 269 | 1239 30 270 | 1282 30 271 | 1650 30 272 | 1788 30 273 | 1991 30 274 | 2064 30 275 | 2149 30 276 | 1075 1073 277 | 740 29 278 | 793 29 279 | 818 29 280 | 859 29 281 | 2202 31 282 | 1282 31 283 | 1357 31 284 | 297 31 285 | 1489 31 286 | 2665 31 287 | 2774 31 288 | 2812 31 289 | 1740 31 290 | 646 31 291 | 732 31 292 | 3028 31 293 | 779 31 294 | 882 31 295 | 2082 31 296 | 1169 1075 297 | 1078 1076 298 | 1527 1077 299 | 1190 1078 300 | 1600 1078 301 | 592 32 302 | 665 32 303 | 686 32 304 | 687 32 305 | 697 32 306 | 845 32 307 | 1227 1079 308 | 1245 1079 309 | 1651 1079 310 | 1742 1079 311 | 1823 1079 312 | 1931 1079 313 | 2691 2241 314 | 1189 1080 315 | 1195 1080 316 | 1583 1080 317 | 1141 1081 318 | 1950 1081 319 | 2665 2242 320 | 260 33 321 | 2324 2243 322 | 3074 2243 323 | 1083 1083 324 | 1196 1083 325 | 1390 1083 326 | 1439 1083 327 | 1440 1083 328 | 1912 1083 329 | 1939 1083 330 | 2093 1083 331 | 180 34 332 | 366 34 333 | 1587 34 334 | 573 34 335 | 697 34 336 | 828 34 337 | 829 34 338 | 2310 2245 339 | 2390 2245 340 | 2483 2245 341 | 2158 1084 342 | 1480 1086 343 | 1236 1088 344 | 92 35 345 | 500 35 346 | 1107 1090 347 | 1174 1090 348 | 1404 1090 349 | 1608 1090 350 | 2246 2246 351 | 3034 2246 352 | 2009 1092 353 | 1267 37 354 | 182 37 355 | 2464 37 356 | 310 37 357 | 444 37 358 | 1724 37 359 | 828 37 360 | 2026 1093 361 | 2746 2248 362 | 1317 1094 363 | 1676 1094 364 | 1010 39 365 | 146 40 366 | 148 40 367 | 177 40 368 | 411 40 369 | 480 40 370 | 621 40 371 | 625 40 372 | 1490 1096 373 | 133 1098 374 | 418 41 375 | 2773 41 376 | 2249 2249 377 | 1579 1100 378 | 1723 1100 379 | 2904 2250 380 | 1118 1101 381 | 1441 1101 382 | 1609 1101 383 | 1840 1101 384 | 1864 1101 385 | 2132 1101 386 | 2133 1101 387 | 2170 1101 388 | 2171 1101 389 | 1673 1102 390 | 1958 1102 391 | 3310 2252 392 | 632 44 393 | 868 44 394 | 2103 1103 395 | 733 45 396 | 751 45 397 | 2256 2256 398 | 2871 2256 399 | 3021 2257 400 | 2476 2258 401 | 2737 2258 402 | 1132 1106 403 | 1339 1106 404 | 2427 2259 405 | 2442 2259 406 | 2744 2259 407 | 1200 1107 408 | 1404 1107 409 | 1425 1107 410 | 1317 1108 411 | 1676 1108 412 | 2306 2261 413 | 2356 2261 414 | 2412 2262 415 | 2951 2263 416 | 1813 2263 417 | 2959 2263 418 | 2223 2264 419 | 2204 2265 420 | 213 47 421 | 778 47 422 | 106 48 423 | 1395 1113 424 | 1187 1114 425 | 2058 1114 426 | 2059 1114 427 | 2104 1114 428 | 355 51 429 | 356 51 430 | 438 51 431 | 470 51 432 | 481 51 433 | 516 51 434 | 597 51 435 | 2273 2273 436 | 1893 1116 437 | 2139 1116 438 | 161 53 439 | 309 53 440 | 3127 2274 441 | 2044 2274 442 | 1119 1119 443 | 2036 1119 444 | 1210 1120 445 | 1256 1120 446 | 1604 1120 447 | 1606 1120 448 | 1818 1120 449 | 3279 55 450 | 971 55 451 | 1824 56 452 | 3291 56 453 | 1127 57 454 | 1253 57 455 | 157 57 456 | 1536 57 457 | 1608 57 458 | 1636 57 459 | 1682 57 460 | 1769 57 461 | 1981 57 462 | 180 58 463 | 302 58 464 | 697 58 465 | 626 2276 466 | 443 60 467 | 586 60 468 | 1674 1121 469 | 2113 1121 470 | 3029 2277 471 | 1198 2278 472 | 1469 2278 473 | 686 2278 474 | 3040 2278 475 | 944 61 476 | 802 62 477 | 2198 2281 478 | 1250 1125 479 | 1286 1125 480 | 1302 1125 481 | 1891 1125 482 | 1588 1128 483 | 1937 1129 484 | 1969 1129 485 | 1885 1131 486 | 1518 2282 487 | 949 63 488 | 91 64 489 | 210 64 490 | 239 64 491 | 569 64 492 | 152 65 493 | 54 67 494 | 105 67 495 | 176 67 496 | 1422 1134 497 | 1747 1135 498 | 1494 1136 499 | 1964 1137 500 | 2285 2285 501 | 2616 2285 502 | 355 69 503 | 356 69 504 | 516 69 505 | 1801 1138 506 | 2168 1138 507 | 750 70 508 | 2311 2288 509 | 190 71 510 | 939 71 511 | 813 77 512 | 1248 1141 513 | 1980 1143 514 | 2103 1143 515 | 2763 2296 516 | 1139 1145 517 | 534 78 518 | 732 78 519 | 3023 2298 520 | 2253 2299 521 | 2259 2299 522 | 2284 2302 523 | 2506 2302 524 | 1874 1147 525 | 1952 1147 526 | 1019 79 527 | 37 79 528 | 103 79 529 | 2460 79 530 | 278 79 531 | 2677 79 532 | 460 79 533 | 1724 79 534 | 828 79 535 | 3162 79 536 | 2905 2305 537 | 2306 2306 538 | 2356 2306 539 | 1403 1148 540 | 1551 1148 541 | 1687 1148 542 | 710 1148 543 | 1236 1150 544 | 1262 1150 545 | 1294 1150 546 | 421 1150 547 | 1506 1150 548 | 1508 1150 549 | 1659 1150 550 | 2118 1150 551 | 1301 1151 552 | 1960 1151 553 | 3148 2312 554 | 3149 2312 555 | 743 84 556 | 2949 1152 557 | 366 85 558 | 619 85 559 | 697 85 560 | 1329 1153 561 | 1342 1153 562 | 1629 1153 563 | 1117 1154 564 | 1135 1154 565 | 1213 1155 566 | 26 86 567 | 262 86 568 | 272 86 569 | 460 86 570 | 461 86 571 | 585 86 572 | 626 86 573 | 769 86 574 | 797 86 575 | 1006 86 576 | 3282 2314 577 | 2406 2316 578 | 1214 1158 579 | 1461 1158 580 | 1571 1158 581 | 87 87 582 | 597 87 583 | 2457 2317 584 | 152 88 585 | 154 88 586 | 1281 88 587 | 779 88 588 | 1998 88 589 | 1999 88 590 | 2073 88 591 | 1257 1159 592 | 1287 1159 593 | 1160 1160 594 | 1369 1160 595 | 2083 1160 596 | 546 89 597 | 548 89 598 | 2561 2319 599 | 2401 2320 600 | 2638 2320 601 | 2605 2322 602 | 3203 2322 603 | 2324 2324 604 | 3074 2324 605 | 1788 1165 606 | 2066 1165 607 | 2594 2325 608 | 3221 2327 609 | 1511 1168 610 | 1544 1168 611 | 873 1168 612 | 2096 1168 613 | 2106 1168 614 | 3153 2328 615 | 2329 2329 616 | 1173 2332 617 | 1200 1174 618 | 1404 1174 619 | 1425 1174 620 | 2500 2333 621 | 278 1175 622 | 1360 1175 623 | 1385 1175 624 | 2173 1175 625 | 2174 1175 626 | 1897 1176 627 | 3200 2335 628 | 3247 2335 629 | 913 96 630 | 997 96 631 | 5 97 632 | 36 97 633 | 63 97 634 | 949 97 635 | 1178 1178 636 | 1871 1178 637 | 1196 1180 638 | 723 99 639 | 931 99 640 | 952 99 641 | 680 100 642 | 1836 1183 643 | 1837 1183 644 | 3059 2338 645 | 2596 2339 646 | 974 2339 647 | 267 102 648 | 2400 2340 649 | 725 2340 650 | 129 104 651 | 131 104 652 | 134 104 653 | 140 104 654 | 1945 1185 655 | 1648 1186 656 | 176 105 657 | 180 105 658 | 2456 2344 659 | 2624 2344 660 | 2230 2345 661 | 1494 108 662 | 383 108 663 | 2125 108 664 | 2860 2347 665 | 1548 1193 666 | 2112 1193 667 | 584 110 668 | 2548 2348 669 | 1587 1197 670 | 382 113 671 | 2793 2350 672 | 2907 2350 673 | 3013 2351 674 | 1183 1202 675 | 1841 1202 676 | 569 115 677 | 671 115 678 | 2479 2352 679 | 1432 1203 680 | 1964 1203 681 | 2151 1203 682 | 2565 2353 683 | 1208 1204 684 | 1210 1206 685 | 1256 1206 686 | 1604 1206 687 | 1606 1206 688 | 1818 1206 689 | 2354 2357 690 | 1748 1209 691 | 117 117 692 | 810 119 693 | 2839 2360 694 | 130 2361 695 | 2556 2361 696 | 3255 2361 697 | 614 2362 698 | 634 120 699 | 2418 2364 700 | 3285 2365 701 | 866 121 702 | 1236 1219 703 | 2368 2368 704 | 310 123 705 | 547 123 706 | 668 123 707 | 669 123 708 | 1075 1220 709 | 1169 1220 710 | 1199 1220 711 | 1387 1220 712 | 3070 2369 713 | 1540 1222 714 | 1807 1222 715 | 2044 1222 716 | 1711 1223 717 | 1712 1223 718 | 1713 1223 719 | 1964 1223 720 | 2099 1223 721 | 881 124 722 | 377 2371 723 | 2372 2372 724 | 2420 2374 725 | 2269 2375 726 | 3213 2375 727 | 3214 2375 728 | 3216 2375 729 | 2965 2376 730 | 617 126 731 | 235 1226 732 | 1322 1226 733 | 592 1226 734 | 1821 1226 735 | 2792 1227 736 | 182 130 737 | 1498 130 738 | 2682 2378 739 | 2683 2378 740 | 1191 1230 741 | 1514 1230 742 | 1811 1230 743 | 2097 1230 744 | 774 1236 745 | 2024 1236 746 | 1002 141 747 | 2388 2388 748 | 1514 1241 749 | 1236 1242 750 | 2118 1242 751 | 141 144 752 | 146 144 753 | 453 144 754 | 1002 144 755 | 1505 1243 756 | 2397 2394 757 | 3181 2395 758 | 907 146 759 | 1330 1247 760 | 149 149 761 | 326 149 762 | 149 150 763 | 326 150 764 | 573 152 765 | 2960 2404 766 | 1253 1253 767 | 1255 1255 768 | 1721 1254 769 | 754 1254 770 | 2043 1254 771 | 1818 1256 772 | 2406 2406 773 | 970 158 774 | 854 160 775 | 1750 1261 776 | 1284 1264 777 | 952 164 778 | 2120 1268 779 | 639 167 780 | 306 170 781 | 494 170 782 | 1339 1273 783 | 1454 1273 784 | 1668 1273 785 | 1714 1273 786 | 2629 2416 787 | 56 172 788 | 1168 172 789 | 1934 172 790 | 108 173 791 | 384 173 792 | 514 173 793 | 2437 2420 794 | 2043 1277 795 | 2371 2422 796 | 2020 1278 797 | 779 1279 798 | 1976 1279 799 | 479 175 800 | 2756 2426 801 | 228 178 802 | 232 178 803 | 236 178 804 | 1075 179 805 | 1282 179 806 | 267 179 807 | 297 179 808 | 438 179 809 | 1650 179 810 | 573 179 811 | 646 179 812 | 779 179 813 | 1921 179 814 | 1991 179 815 | 2430 2430 816 | 2207 183 817 | 185 183 818 | 452 183 819 | 605 183 820 | 3117 183 821 | 54 184 822 | 106 184 823 | 1249 184 824 | 422 184 825 | 539 184 826 | 586 184 827 | 1761 184 828 | 694 184 829 | 697 184 830 | 714 184 831 | 3252 184 832 | 999 184 833 | 1000 184 834 | 2767 2434 835 | 2436 2436 836 | 2465 2438 837 | 2425 2440 838 | 607 192 839 | 1344 1291 840 | 1854 1292 841 | 1953 1292 842 | 1930 1293 843 | 1494 201 844 | 383 201 845 | 2125 201 846 | 255 202 847 | 239 203 848 | 1013 1297 849 | 1089 1297 850 | 1725 1297 851 | 204 204 852 | 650 204 853 | 945 204 854 | 2563 2448 855 | 499 207 856 | 347 209 857 | 2850 2455 858 | 2851 2455 859 | 861 2455 860 | 2036 1307 861 | 2037 1307 862 | 724 217 863 | 65 218 864 | 1247 218 865 | 2401 218 866 | 1489 218 867 | 2638 218 868 | 1724 218 869 | 725 218 870 | 732 218 871 | 2104 218 872 | 3303 218 873 | 1610 1310 874 | 2116 1310 875 | 1019 1312 876 | 1493 1312 877 | 1583 1314 878 | 2908 2462 879 | 146 230 880 | 148 230 881 | 177 230 882 | 411 230 883 | 480 230 884 | 621 230 885 | 625 230 886 | 2470 2467 887 | 126 243 888 | 617 243 889 | 722 245 890 | 1009 245 891 | 1332 1338 892 | 1412 1343 893 | 404 1343 894 | 1881 1343 895 | 541 262 896 | 673 262 897 | 797 262 898 | 2583 2486 899 | 1089 1347 900 | 26 263 901 | 122 263 902 | 311 263 903 | 344 263 904 | 424 263 905 | 425 263 906 | 426 263 907 | 566 263 908 | 685 263 909 | 768 263 910 | 769 263 911 | 796 263 912 | 840 263 913 | 723 264 914 | 815 264 915 | 3185 2487 916 | 69 265 917 | 107 265 918 | 194 265 919 | 501 265 920 | 502 265 921 | 567 265 922 | 655 265 923 | 888 265 924 | 65 266 925 | 88 266 926 | 152 266 927 | 297 266 928 | 685 266 929 | 732 266 930 | 3191 266 931 | 905 266 932 | 2081 266 933 | 1353 1348 934 | 1965 1348 935 | 1290 1349 936 | 2031 1349 937 | 2124 1349 938 | 1893 1351 939 | 2391 2489 940 | 2578 2490 941 | 561 268 942 | 668 268 943 | 80 269 944 | 1207 1352 945 | 1449 1352 946 | 1539 1352 947 | 868 270 948 | 2223 2491 949 | 690 271 950 | 103 272 951 | 262 272 952 | 285 272 953 | 310 272 954 | 516 272 955 | 827 272 956 | 887 272 957 | 1965 1353 958 | 432 273 959 | 433 273 960 | 1019 1354 961 | 2856 1354 962 | 36 274 963 | 63 274 964 | 83 274 965 | 203 274 966 | 735 274 967 | 28 275 968 | 54 275 969 | 105 275 970 | 106 275 971 | 1249 275 972 | 153 275 973 | 469 275 974 | 619 275 975 | 697 275 976 | 956 275 977 | 987 275 978 | 1000 275 979 | 69 276 980 | 107 276 981 | 463 276 982 | 555 276 983 | 580 276 984 | 581 276 985 | 655 276 986 | 827 276 987 | 888 276 988 | 901 276 989 | 902 276 990 | 1267 278 991 | 182 278 992 | 2464 278 993 | 310 278 994 | 444 278 995 | 1724 278 996 | 828 278 997 | 2292 279 998 | 210 279 999 | 358 279 1000 | 2969 279 1001 | 3005 279 1002 | 3006 279 1003 | 324 280 1004 | 350 280 1005 | 917 280 1006 | 2061 1356 1007 | 2774 1357 1008 | 1976 1357 1009 | 1583 1359 1010 | 2854 2493 1011 | 1198 2494 1012 | 1469 2494 1013 | 686 2494 1014 | 3040 2494 1015 | 2496 2496 1016 | 144 281 1017 | 418 281 1018 | 584 281 1019 | 861 281 1020 | 631 282 1021 | 1759 1363 1022 | 1946 1363 1023 | 1727 1366 1024 | 2043 1366 1025 | 263 283 1026 | 311 283 1027 | 1513 284 1028 | 732 284 1029 | 94 285 1030 | 159 285 1031 | 2482 285 1032 | 356 285 1033 | 445 285 1034 | 697 285 1035 | 896 285 1036 | 1355 1368 1037 | 1414 1368 1038 | 1415 1368 1039 | 1476 1368 1040 | 2191 2499 1041 | 1078 1371 1042 | 2140 1371 1043 | 1904 1372 1044 | 2500 2500 1045 | 1083 1373 1046 | 1152 1373 1047 | 1373 1373 1048 | 1061 1374 1049 | 1062 1374 1050 | 1177 1374 1051 | 1410 1374 1052 | 1726 1374 1053 | 1979 1374 1054 | 2035 1374 1055 | 2149 1374 1056 | 545 286 1057 | 2861 2501 1058 | 3180 2501 1059 | 1802 1376 1060 | 762 1376 1061 | 2377 2502 1062 | 170 287 1063 | 675 287 1064 | 692 287 1065 | 917 288 1066 | 1074 1379 1067 | 1462 1379 1068 | 1504 1379 1069 | 1605 1379 1070 | 1014 1380 1071 | 1059 1380 1072 | 1378 1380 1073 | 1591 1380 1074 | 1162 1381 1075 | 1268 1381 1076 | 2079 1381 1077 | 732 289 1078 | 157 290 1079 | 163 290 1080 | 252 290 1081 | 260 290 1082 | 784 290 1083 | 67 291 1084 | 106 291 1085 | 152 291 1086 | 153 291 1087 | 154 291 1088 | 159 291 1089 | 167 291 1090 | 216 291 1091 | 317 291 1092 | 336 291 1093 | 356 291 1094 | 445 291 1095 | 462 291 1096 | 470 291 1097 | 482 291 1098 | 501 291 1099 | 516 291 1100 | 590 291 1101 | 1714 291 1102 | 640 291 1103 | 673 291 1104 | 683 291 1105 | 694 291 1106 | 708 291 1107 | 746 291 1108 | 3130 291 1109 | 926 291 1110 | 927 291 1111 | 233 292 1112 | 1344 1382 1113 | 1889 1382 1114 | 169 293 1115 | 213 293 1116 | 396 293 1117 | 397 293 1118 | 651 293 1119 | 778 293 1120 | 588 294 1121 | 1115 1383 1122 | 1272 1383 1123 | 1649 1383 1124 | 1650 1383 1125 | 1956 1383 1126 | 3074 2507 1127 | 228 295 1128 | 232 295 1129 | 236 295 1130 | 475 295 1131 | 535 295 1132 | 602 295 1133 | 634 295 1134 | 732 295 1135 | 771 295 1136 | 882 295 1137 | 1385 1385 1138 | 25 296 1139 | 69 296 1140 | 655 296 1141 | 1007 296 1142 | 1358 1386 1143 | 1384 1386 1144 | 341 1386 1145 | 1566 1386 1146 | 1757 1386 1147 | 1758 1386 1148 | 2215 2508 1149 | 1073 1387 1150 | 1169 1387 1151 | 2638 2509 1152 | 2649 2509 1153 | 3301 2509 1154 | 1982 1388 1155 | 1983 1388 1156 | 122 297 1157 | 127 297 1158 | 1232 297 1159 | 504 297 1160 | 541 297 1161 | 3015 297 1162 | 797 297 1163 | 802 297 1164 | 1146 1389 1165 | 764 298 1166 | 1010 298 1167 | 1148 1390 1168 | 1672 1390 1169 | 1688 1390 1170 | 1582 1391 1171 | 1090 1392 1172 | 1608 1392 1173 | 3206 2511 1174 | 2182 2512 1175 | 468 299 1176 | 2599 2514 1177 | 1313 1395 1178 | 1236 1396 1179 | 3008 1397 1180 | 2093 1397 1181 | 418 300 1182 | 3133 2515 1183 | 2367 2517 1184 | 2846 2518 1185 | 2245 301 1186 | 68 301 1187 | 1109 1401 1188 | 1401 1401 1189 | 2254 2519 1190 | 3024 2520 1191 | 251 302 1192 | 438 302 1193 | 746 302 1194 | 804 302 1195 | 911 302 1196 | 180 303 1197 | 841 303 1198 | 2557 2521 1199 | 304 304 1200 | 634 304 1201 | 1445 1405 1202 | 1080 1406 1203 | 1314 1406 1204 | 1316 1406 1205 | 1359 1406 1206 | 1364 1406 1207 | 1367 1406 1208 | 1370 1406 1209 | 1380 1406 1210 | 1584 1406 1211 | 1658 1406 1212 | 1715 1406 1213 | 1731 1406 1214 | 1732 1406 1215 | 1733 1406 1216 | 1736 1406 1217 | 1737 1406 1218 | 1822 1406 1219 | 1923 1406 1220 | 1941 1406 1221 | 2070 1406 1222 | 2135 1406 1223 | 1179 1407 1224 | 1715 1408 1225 | 228 305 1226 | 232 305 1227 | 236 305 1228 | 1745 1409 1229 | 3223 2522 1230 | 2431 2523 1231 | 868 308 1232 | 1986 308 1233 | 1225 1411 1234 | 1679 1411 1235 | 161 309 1236 | 1216 1413 1237 | 1240 1413 1238 | 2446 2525 1239 | 1025 1414 1240 | 1355 1414 1241 | 1368 1414 1242 | 1415 1414 1243 | 1476 1414 1244 | 2342 2528 1245 | 2529 311 1246 | 2530 311 1247 | 2529 2530 1248 | 1144 1416 1249 | 1231 1416 1250 | 1234 1416 1251 | 1249 1416 1252 | 1284 1416 1253 | 1431 1416 1254 | 2157 1416 1255 | 315 312 1256 | 315 313 1257 | 315 314 1258 | 2533 2531 1259 | 622 316 1260 | 2473 2534 1261 | 2609 2534 1262 | 2534 2535 1263 | 51 318 1264 | 481 318 1265 | 597 318 1266 | 2280 2536 1267 | 2537 2537 1268 | 1306 1418 1269 | 135 319 1270 | 1921 1419 1271 | 2260 1420 1272 | 432 1420 1273 | 2699 1420 1274 | 1770 1420 1275 | 3107 1420 1276 | 1216 1421 1277 | 1765 1421 1278 | 1933 1421 1279 | 2309 2538 1280 | 1285 1423 1281 | 1542 1423 1282 | 1845 1423 1283 | 1980 1423 1284 | 1009 320 1285 | 2469 2540 1286 | 3033 2540 1287 | 2542 2541 1288 | 2944 2541 1289 | 1628 1424 1290 | 2119 1426 1291 | 109 323 1292 | 133 323 1293 | 512 323 1294 | 513 323 1295 | 514 323 1296 | 3274 2545 1297 | 1429 1428 1298 | 2191 2546 1299 | 2893 2547 1300 | 149 325 1301 | 326 325 1302 | 324 326 1303 | 350 326 1304 | 591 326 1305 | 1701 326 1306 | 917 326 1307 | 617 328 1308 | 36 329 1309 | 63 329 1310 | 97 329 1311 | 114 329 1312 | 661 329 1313 | 821 329 1314 | 948 329 1315 | 2193 1431 1316 | 137 330 1317 | 66 331 1318 | 3004 2550 1319 | 3005 2550 1320 | 2342 332 1321 | 597 332 1322 | 722 333 1323 | 1436 1435 1324 | 2008 1435 1325 | 1434 1436 1326 | 2551 2551 1327 | 2456 2552 1328 | 2478 2552 1329 | 1388 1437 1330 | 1982 1437 1331 | 1329 1438 1332 | 1342 1438 1333 | 1440 1439 1334 | 287 337 1335 | 675 337 1336 | 2402 2553 1337 | 2405 2553 1338 | 69 338 1339 | 107 338 1340 | 463 338 1341 | 555 338 1342 | 580 338 1343 | 581 338 1344 | 655 338 1345 | 827 338 1346 | 888 338 1347 | 901 338 1348 | 902 338 1349 | 2255 2554 1350 | 2799 339 1351 | 1858 339 1352 | 813 339 1353 | 3158 339 1354 | 3255 2556 1355 | 1534 1443 1356 | 1535 1443 1357 | 2224 2558 1358 | 2780 2558 1359 | 3022 2558 1360 | 868 341 1361 | 1439 1444 1362 | 1440 1444 1363 | 2024 1445 1364 | 246 2559 1365 | 3120 2559 1366 | 2581 2560 1367 | 1361 1446 1368 | 1377 1446 1369 | 1447 1446 1370 | 1448 1446 1371 | 1602 1448 1372 | 2563 2562 1373 | 2119 1450 1374 | 2359 2564 1375 | 1287 1451 1376 | 2567 2566 1377 | 2757 2568 1378 | 771 342 1379 | 2729 2569 1380 | 1804 343 1381 | 869 343 1382 | 2570 2571 1383 | 2570 344 1384 | 3192 2572 1385 | 1273 1454 1386 | 2965 2573 1387 | 2072 1455 1388 | 3217 2574 1389 | 3163 2575 1390 | 1228 1456 1391 | 1232 1456 1392 | 1235 1456 1393 | 1588 1456 1394 | 1232 1457 1395 | 1550 1457 1396 | 1850 1458 1397 | 1104 1459 1398 | 1061 1460 1399 | 1124 1460 1400 | 1140 1460 1401 | 1218 1460 1402 | 1374 1460 1403 | 1464 1460 1404 | 1761 1460 1405 | 1781 1460 1406 | 1979 1460 1407 | 1243 1461 1408 | 1648 1461 1409 | 628 1461 1410 | 2005 1461 1411 | 170 348 1412 | 630 348 1413 | 982 348 1414 | 2407 2579 1415 | 351 2579 1416 | 2579 2580 1417 | 2770 2580 1418 | 1590 1463 1419 | 1184 1464 1420 | 1761 1464 1421 | 1177 349 1422 | 574 349 1423 | 575 349 1424 | 619 349 1425 | 515 350 1426 | 1298 1465 1427 | 2662 2582 1428 | 2045 1466 1429 | 2583 352 1430 | 353 352 1431 | 354 352 1432 | 164 353 1433 | 421 353 1434 | 2259 354 1435 | 2407 354 1436 | 2579 354 1437 | 2580 354 1438 | 351 354 1439 | 353 354 1440 | 2585 354 1441 | 2586 354 1442 | 2770 354 1443 | 1958 354 1444 | 356 355 1445 | 2586 2584 1446 | 2672 2584 1447 | 2584 2585 1448 | 2584 2586 1449 | 2585 2586 1450 | 2586 2586 1451 | 358 359 1452 | 1467 1467 1453 | 2587 2587 1454 | 1467 1468 1455 | 2589 2589 1456 | 361 360 1457 | 971 362 1458 | 686 1469 1459 | 363 363 1460 | 51 364 1461 | 103 364 1462 | 167 364 1463 | 234 364 1464 | 244 364 1465 | 251 364 1466 | 253 364 1467 | 259 364 1468 | 302 364 1469 | 355 364 1470 | 365 364 1471 | 382 364 1472 | 462 364 1473 | 470 364 1474 | 481 364 1475 | 482 364 1476 | 483 364 1477 | 516 364 1478 | 517 364 1479 | 523 364 1480 | 525 364 1481 | 550 364 1482 | 673 364 1483 | 697 364 1484 | 701 364 1485 | 706 364 1486 | 745 364 1487 | 746 364 1488 | 777 364 1489 | 804 364 1490 | 910 364 1491 | 911 364 1492 | 918 364 1493 | 2446 365 1494 | 2178 2590 1495 | 2476 2590 1496 | 2697 2591 1497 | 2698 2591 1498 | 821 2591 1499 | 1453 1470 1500 | 1704 1470 1501 | 1705 1470 1502 | 1944 1470 1503 | 1954 1470 1504 | 1955 1470 1505 | 1980 1470 1506 | 2002 1470 1507 | 3296 2592 1508 | 651 369 1509 | 2199 2593 1510 | 62 2593 1511 | 1312 2593 1512 | 3166 2593 1513 | 3187 2593 1514 | 2325 2594 1515 | 2595 2594 1516 | 2325 2595 1517 | 2594 2595 1518 | 135 370 1519 | 1337 370 1520 | 895 371 1521 | 1585 1472 1522 | 1304 1473 1523 | 1472 1473 1524 | 1569 1473 1525 | 1570 1473 1526 | 1921 1474 1527 | 2065 1474 1528 | 1679 1475 1529 | 2036 1475 1530 | 69 372 1531 | 107 372 1532 | 194 372 1533 | 501 372 1534 | 502 372 1535 | 655 372 1536 | 888 372 1537 | 1007 372 1538 | 2548 2598 1539 | 94 373 1540 | 2463 373 1541 | 251 373 1542 | 262 373 1543 | 374 373 1544 | 444 373 1545 | 445 373 1546 | 3014 373 1547 | 3015 373 1548 | 94 374 1549 | 444 374 1550 | 445 374 1551 | 1909 1477 1552 | 515 375 1553 | 630 375 1554 | 3093 2599 1555 | 2339 378 1556 | 2596 378 1557 | 1633 378 1558 | 947 378 1559 | 3109 2600 1560 | 1439 1478 1561 | 1440 1478 1562 | 2642 2601 1563 | 1086 1479 1564 | 1480 1479 1565 | 1661 1479 1566 | 2012 1479 1567 | 1144 1481 1568 | 2139 1481 1569 | 2271 2603 1570 | 2602 2603 1571 | 2809 2603 1572 | 1482 1482 1573 | 2766 2604 1574 | 1310 1483 1575 | 2116 1483 1576 | 1346 1484 1577 | 2607 2606 1578 | 2606 2607 1579 | 2608 2607 1580 | 1872 1488 1581 | 2612 2611 1582 | 56 1492 1583 | 1157 1492 1584 | 1492 1492 1585 | 119 381 1586 | 605 381 1587 | 606 381 1588 | 684 381 1589 | 713 381 1590 | 2605 2613 1591 | 1738 1493 1592 | 2617 2614 1593 | 2619 2614 1594 | 2285 2615 1595 | 2615 2615 1596 | 2616 2615 1597 | 2614 2616 1598 | 2617 2616 1599 | 2618 2616 1600 | 2617 2618 1601 | 2618 2619 1602 | 2125 1494 1603 | 108 383 1604 | 384 383 1605 | 514 383 1606 | 514 384 1607 | 2620 2621 1608 | 202 385 1609 | 386 385 1610 | 202 386 1611 | 240 386 1612 | 202 387 1613 | 434 387 1614 | 649 387 1615 | 650 387 1616 | 2859 2622 1617 | 249 388 1618 | 579 388 1619 | 676 388 1620 | 196 389 1621 | 334 389 1622 | 467 389 1623 | 579 389 1624 | 584 389 1625 | 636 389 1626 | 936 389 1627 | 973 389 1628 | 7 390 1629 | 10 390 1630 | 15 390 1631 | 22 390 1632 | 28 390 1633 | 51 390 1634 | 54 390 1635 | 58 390 1636 | 82 390 1637 | 85 390 1638 | 94 390 1639 | 98 390 1640 | 103 390 1641 | 106 390 1642 | 147 390 1643 | 151 390 1644 | 153 390 1645 | 154 390 1646 | 155 390 1647 | 156 390 1648 | 167 390 1649 | 176 390 1650 | 180 390 1651 | 182 390 1652 | 200 390 1653 | 212 390 1654 | 219 390 1655 | 221 390 1656 | 231 390 1657 | 233 390 1658 | 234 390 1659 | 244 390 1660 | 248 390 1661 | 253 390 1662 | 254 390 1663 | 259 390 1664 | 303 390 1665 | 317 390 1666 | 318 390 1667 | 336 390 1668 | 355 390 1669 | 356 390 1670 | 363 390 1671 | 382 390 1672 | 391 390 1673 | 414 390 1674 | 444 390 1675 | 445 390 1676 | 450 390 1677 | 455 390 1678 | 456 390 1679 | 462 390 1680 | 470 390 1681 | 481 390 1682 | 482 390 1683 | 483 390 1684 | 504 390 1685 | 507 390 1686 | 516 390 1687 | 517 390 1688 | 523 390 1689 | 525 390 1690 | 550 390 1691 | 557 390 1692 | 573 390 1693 | 576 390 1694 | 597 390 1695 | 608 390 1696 | 619 390 1697 | 658 390 1698 | 668 390 1699 | 669 390 1700 | 673 390 1701 | 680 390 1702 | 694 390 1703 | 697 390 1704 | 698 390 1705 | 700 390 1706 | 701 390 1707 | 702 390 1708 | 706 390 1709 | 708 390 1710 | 711 390 1711 | 727 390 1712 | 744 390 1713 | 746 390 1714 | 772 390 1715 | 773 390 1716 | 799 390 1717 | 802 390 1718 | 804 390 1719 | 812 390 1720 | 880 390 1721 | 896 390 1722 | 899 390 1723 | 906 390 1724 | 910 390 1725 | 929 390 1726 | 1000 390 1727 | 189 391 1728 | 382 391 1729 | 592 392 1730 | 914 392 1731 | 2792 2623 1732 | 397 395 1733 | 213 396 1734 | 293 396 1735 | 397 396 1736 | 723 396 1737 | 778 396 1738 | 213 397 1739 | 778 397 1740 | 2456 2624 1741 | 1020 1496 1742 | 1746 1496 1743 | 820 398 1744 | 2626 2625 1745 | 1497 1497 1746 | 130 1498 1747 | 3018 2627 1748 | 2380 2628 1749 | 402 400 1750 | 405 400 1751 | 400 401 1752 | 402 401 1753 | 405 401 1754 | 405 403 1755 | 401 404 1756 | 403 404 1757 | 405 404 1758 | 2134 405 1759 | 789 406 1760 | 812 407 1761 | 1070 1500 1762 | 1088 1500 1763 | 1089 1500 1764 | 1163 1500 1765 | 1236 1500 1766 | 1347 1500 1767 | 1417 1500 1768 | 1499 1500 1769 | 2024 1500 1770 | 516 408 1771 | 191 409 1772 | 1502 1501 1773 | 116 410 1774 | 174 410 1775 | 241 410 1776 | 316 410 1777 | 411 410 1778 | 570 410 1779 | 622 410 1780 | 975 410 1781 | 2321 2630 1782 | 1285 1503 1783 | 2481 2631 1784 | 2466 413 1785 | 2868 413 1786 | 58 414 1787 | 137 416 1788 | 142 416 1789 | 144 416 1790 | 146 416 1791 | 198 416 1792 | 351 416 1793 | 418 416 1794 | 453 416 1795 | 499 416 1796 | 879 416 1797 | 1003 416 1798 | 453 417 1799 | 810 417 1800 | 141 418 1801 | 146 418 1802 | 453 418 1803 | 1002 418 1804 | 281 419 1805 | 360 419 1806 | 233 420 1807 | 2577 2633 1808 | 1932 1504 1809 | 1262 421 1810 | 1294 1506 1811 | 28 422 1812 | 48 422 1813 | 54 422 1814 | 105 422 1815 | 106 422 1816 | 153 422 1817 | 194 422 1818 | 469 422 1819 | 586 422 1820 | 633 422 1821 | 714 422 1822 | 1899 422 1823 | 987 422 1824 | 1150 1507 1825 | 952 423 1826 | 149 1509 1827 | 150 1509 1828 | 1262 1509 1829 | 324 1509 1830 | 325 1509 1831 | 326 1509 1832 | 327 1509 1833 | 1639 1509 1834 | 426 424 1835 | 426 425 1836 | 1700 1510 1837 | 2635 2636 1838 | 2134 1511 1839 | 673 428 1840 | 1172 429 1841 | 284 429 1842 | 1408 429 1843 | 305 429 1844 | 1409 429 1845 | 1512 429 1846 | 601 429 1847 | 1710 429 1848 | 1721 429 1849 | 732 429 1850 | 305 1512 1851 | 1409 1512 1852 | 1824 1512 1853 | 732 430 1854 | 1748 1515 1855 | 1329 1516 1856 | 2470 1516 1857 | 1342 1516 1858 | 868 431 1859 | 1162 1517 1860 | 1268 1517 1861 | 1331 1517 1862 | 1335 1517 1863 | 2079 1517 1864 | 2639 2640 1865 | 185 2641 1866 | 3117 2641 1867 | 2601 2642 1868 | 2645 2643 1869 | 2645 2644 1870 | 1519 1518 1871 | 1216 1519 1872 | 1303 1519 1873 | 433 432 1874 | 915 432 1875 | 915 433 1876 | 1233 1520 1877 | 2282 2646 1878 | 387 434 1879 | 506 434 1880 | 2648 2648 1881 | 3255 1521 1882 | 1319 1522 1883 | 1323 1522 1884 | 438 437 1885 | 516 437 1886 | 711 437 1887 | 251 438 1888 | 51 439 1889 | 58 439 1890 | 94 439 1891 | 167 439 1892 | 212 439 1893 | 244 439 1894 | 253 439 1895 | 259 439 1896 | 302 439 1897 | 332 439 1898 | 355 439 1899 | 364 439 1900 | 365 439 1901 | 382 439 1902 | 414 439 1903 | 438 439 1904 | 444 439 1905 | 445 439 1906 | 481 439 1907 | 482 439 1908 | 483 439 1909 | 516 439 1910 | 517 439 1911 | 525 439 1912 | 597 439 1913 | 668 439 1914 | 669 439 1915 | 680 439 1916 | 697 439 1917 | 702 439 1918 | 747 439 1919 | 755 439 1920 | 804 439 1921 | 871 439 1922 | 918 439 1923 | 10 440 1924 | 1236 441 1925 | 2447 441 1926 | 1478 441 1927 | 1531 441 1928 | 2665 441 1929 | 2765 441 1930 | 1723 441 1931 | 645 441 1932 | 1801 441 1933 | 774 441 1934 | 880 441 1935 | 2168 441 1936 | 1167 1523 1937 | 1826 1523 1938 | 1168 1524 1939 | 1254 1524 1940 | 1581 1524 1941 | 1934 1524 1942 | 2041 1524 1943 | 1661 1525 1944 | 1761 1526 1945 | 106 442 1946 | 443 443 1947 | 586 443 1948 | 2660 2650 1949 | 2574 2651 1950 | 692 2651 1951 | 2994 2651 1952 | 914 2651 1953 | 2271 2652 1954 | 94 444 1955 | 1255 1528 1956 | 1478 1528 1957 | 2738 1528 1958 | 2765 1528 1959 | 1723 1528 1960 | 1814 1528 1961 | 2970 1528 1962 | 94 445 1963 | 194 445 1964 | 444 445 1965 | 1529 2654 1966 | 2166 2654 1967 | 93 447 1968 | 213 447 1969 | 256 447 1970 | 296 447 1971 | 535 447 1972 | 744 447 1973 | 778 447 1974 | 800 447 1975 | 921 447 1976 | 967 447 1977 | 2690 2655 1978 | 810 448 1979 | 2194 2656 1980 | 1185 1530 1981 | 2008 1530 1982 | 1286 2657 1983 | 2447 2657 1984 | 1302 2657 1985 | 2658 2657 1986 | 2447 2658 1987 | 2657 2658 1988 | 2658 2658 1989 | 1531 2658 1990 | 1532 2658 1991 | 1286 1532 1992 | 1302 1532 1993 | 1532 1532 1994 | 1687 1533 1995 | 710 1533 1996 | 449 450 1997 | 451 450 1998 | 560 450 1999 | 710 450 2000 | 896 450 2001 | 2661 2661 2002 | 2664 2663 2003 | 2044 2664 2004 | 1394 1537 2005 | 605 452 2006 | 1248 1538 2007 | 1207 1539 2008 | 817 454 2009 | 2669 2668 2010 | 2670 2668 2011 | 2463 2669 2012 | 686 2669 2013 | 3191 2669 2014 | 1266 1540 2015 | 1182 1541 2016 | 1540 1541 2017 | 2439 2671 2018 | 1215 1542 2019 | 1422 1542 2020 | 1980 1542 2021 | 2293 1543 2022 | 2460 1543 2023 | 1326 1543 2024 | 828 1543 2025 | 2674 2674 2026 | 147 456 2027 | 80 1545 2028 | 1427 1545 2029 | 1547 1546 2030 | 1763 1546 2031 | 458 457 2032 | 573 459 2033 | 697 459 2034 | 2361 460 2035 | 154 460 2036 | 263 460 2037 | 685 460 2038 | 3156 460 2039 | 3159 460 2040 | 1006 460 2041 | 25 461 2042 | 69 461 2043 | 888 461 2044 | 167 462 2045 | 828 462 2046 | 1549 1549 2047 | 1624 1549 2048 | 978 1549 2049 | 1235 1550 2050 | 2382 2678 2051 | 2396 2678 2052 | 2679 2679 2053 | 466 465 2054 | 2680 2680 2055 | 2682 2682 2056 | 2683 2682 2057 | 2378 2684 2058 | 2682 2684 2059 | 2683 2684 2060 | 586 469 2061 | 633 469 2062 | 697 469 2063 | 2221 471 2064 | 30 471 2065 | 31 471 2066 | 1075 471 2067 | 1169 471 2068 | 1199 471 2069 | 122 471 2070 | 127 471 2071 | 1232 471 2072 | 179 471 2073 | 262 471 2074 | 272 471 2075 | 276 471 2076 | 1357 471 2077 | 285 471 2078 | 1383 471 2079 | 338 471 2080 | 504 471 2081 | 510 471 2082 | 541 471 2083 | 556 471 2084 | 566 471 2085 | 2812 471 2086 | 697 471 2087 | 732 471 2088 | 3015 471 2089 | 780 471 2090 | 797 471 2091 | 802 471 2092 | 142 472 2093 | 145 472 2094 | 2385 2686 2095 | 1714 2686 2096 | 686 2686 2097 | 687 2686 2098 | 2409 2688 2099 | 2687 2688 2100 | 2689 2688 2101 | 2687 2689 2102 | 1554 1553 2103 | 1553 1554 2104 | 1555 1555 2105 | 1555 1556 2106 | 1647 1556 2107 | 90 474 2108 | 1558 1557 2109 | 475 476 2110 | 346 477 2111 | 369 477 2112 | 753 477 2113 | 951 477 2114 | 868 478 2115 | 2373 2693 2116 | 2505 2694 2117 | 1339 1560 2118 | 341 1560 2119 | 1668 1560 2120 | 1818 1560 2121 | 2212 2695 2122 | 2498 2695 2123 | 2578 2696 2124 | 1867 2696 2125 | 3144 2696 2126 | 51 481 2127 | 51 482 2128 | 481 482 2129 | 697 482 2130 | 1321 1562 2131 | 51 483 2132 | 154 483 2133 | 189 483 2134 | 244 483 2135 | 253 483 2136 | 259 483 2137 | 355 483 2138 | 481 483 2139 | 516 483 2140 | 525 483 2141 | 597 483 2142 | 702 483 2143 | 706 483 2144 | 708 483 2145 | 918 483 2146 | 2441 2699 2147 | 138 486 2148 | 485 486 2149 | 42 487 2150 | 271 487 2151 | 950 487 2152 | 17 488 2153 | 39 488 2154 | 42 488 2155 | 271 488 2156 | 367 488 2157 | 368 488 2158 | 487 488 2159 | 488 488 2160 | 489 488 2161 | 569 488 2162 | 790 488 2163 | 833 488 2164 | 834 488 2165 | 950 488 2166 | 955 488 2167 | 964 488 2168 | 1010 488 2169 | 3231 2700 2170 | 2647 2702 2171 | 1110 1564 2172 | 1563 1564 2173 | 1565 1564 2174 | 805 490 2175 | 2602 2704 2176 | 2864 2705 2177 | 2445 2706 2178 | 570 492 2179 | 492 493 2180 | 907 493 2181 | 19 495 2182 | 75 495 2183 | 139 495 2184 | 208 495 2185 | 667 495 2186 | 743 495 2187 | 935 495 2188 | 979 495 2189 | 1226 1568 2190 | 235 1568 2191 | 592 1568 2192 | 142 496 2193 | 145 497 2194 | 2825 2708 2195 | 2681 2709 2196 | 239 498 2197 | 2761 2710 2198 | 1007 501 2199 | 107 502 2200 | 501 502 2201 | 508 502 2202 | 755 502 2203 | 1007 502 2204 | 1287 1573 2205 | 634 503 2206 | 159 504 2207 | 2438 2711 2208 | 2465 2711 2209 | 2531 2711 2210 | 2532 2711 2211 | 2667 2711 2212 | 2813 2711 2213 | 3244 2711 2214 | 1280 1574 2215 | 30 505 2216 | 56 505 2217 | 69 505 2218 | 78 505 2219 | 172 505 2220 | 534 505 2221 | 562 505 2222 | 732 505 2223 | 171 506 2224 | 394 506 2225 | 721 506 2226 | 843 506 2227 | 939 506 2228 | 206 507 2229 | 174 509 2230 | 340 509 2231 | 504 510 2232 | 566 510 2233 | 323 514 2234 | 383 514 2235 | 868 514 2236 | 1087 1577 2237 | 1494 1577 2238 | 1530 1578 2239 | 2653 2713 2240 | 251 517 2241 | 310 517 2242 | 525 517 2243 | 673 517 2244 | 871 517 2245 | 2873 1580 2246 | 2043 1580 2247 | 2939 2714 2248 | 952 518 2249 | 2078 1582 2250 | 1189 1583 2251 | 1314 1584 2252 | 2475 2715 2253 | 170 520 2254 | 616 521 2255 | 701 521 2256 | 28 522 2257 | 54 522 2258 | 105 522 2259 | 106 522 2260 | 1249 522 2261 | 153 522 2262 | 1374 522 2263 | 1460 522 2264 | 1464 522 2265 | 469 522 2266 | 616 522 2267 | 619 522 2268 | 697 522 2269 | 956 522 2270 | 987 522 2271 | 999 522 2272 | 1000 522 2273 | 1629 1585 2274 | 1336 1586 2275 | 1587 1586 2276 | 1235 1588 2277 | 1128 1589 2278 | 1149 1589 2279 | 1590 1589 2280 | 1128 1590 2281 | 2717 2716 2282 | 2718 2719 2283 | 1593 1592 2284 | 1592 1594 2285 | 1593 1594 2286 | 1596 1595 2287 | 1598 1597 2288 | 1076 1599 2289 | 1078 1599 2290 | 1600 1599 2291 | 1613 1599 2292 | 1685 1599 2293 | 1950 1599 2294 | 2074 1599 2295 | 3015 2720 2296 | 2629 2721 2297 | 182 523 2298 | 261 523 2299 | 2722 2723 2300 | 2744 2724 2301 | 971 524 2302 | 1569 1601 2303 | 1829 1602 2304 | 590 525 2305 | 2725 2725 2306 | 2557 2726 2307 | 2913 2727 2308 | 1105 1606 2309 | 1604 1606 2310 | 528 528 2311 | 879 530 2312 | 2337 2731 2313 | 188 531 2314 | 532 531 2315 | 810 531 2316 | 533 533 2317 | 534 533 2318 | 732 533 2319 | 732 534 2320 | 2526 2732 2321 | 1842 1609 2322 | 2349 2733 2323 | 2746 2733 2324 | 3195 2733 2325 | 2155 1611 2326 | 2178 2736 2327 | 2476 2736 2328 | 2408 2738 2329 | 1263 1612 2330 | 2707 2739 2331 | 715 2739 2332 | 2213 2740 2333 | 2411 2741 2334 | 1190 1613 2335 | 380 537 2336 | 655 537 2337 | 1122 2742 2338 | 2880 2742 2339 | 1773 1614 2340 | 1037 1615 2341 | 1042 1615 2342 | 1411 1615 2343 | 1614 1615 2344 | 1616 1616 2345 | 1452 1618 2346 | 1188 1619 2347 | 673 538 2348 | 122 2745 2349 | 2588 2745 2350 | 2665 2745 2351 | 464 2745 2352 | 3115 2745 2353 | 2138 1620 2354 | 2137 1621 2355 | 1275 1622 2356 | 1622 1622 2357 | 2748 2747 2358 | 1623 1623 2359 | 1549 1624 2360 | 3264 2749 2361 | 1315 1625 2362 | 1224 1626 2363 | 1772 1626 2364 | 2009 1626 2365 | 86 539 2366 | 460 539 2367 | 784 540 2368 | 2279 2750 2369 | 2889 2752 2370 | 507 541 2371 | 206 1628 2372 | 2387 2753 2373 | 2418 2753 2374 | 101 542 2375 | 145 542 2376 | 791 542 2377 | 2755 2754 2378 | 14 1630 2379 | 1747 1630 2380 | 14 544 2381 | 286 544 2382 | 545 544 2383 | 548 546 2384 | 159 547 2385 | 244 547 2386 | 253 547 2387 | 259 547 2388 | 572 547 2389 | 573 547 2390 | 590 547 2391 | 697 547 2392 | 679 551 2393 | 680 551 2394 | 1129 1631 2395 | 90 1631 2396 | 1801 1632 2397 | 2168 1632 2398 | 645 1633 2399 | 1801 1633 2400 | 774 1633 2401 | 26 1634 2402 | 2244 1634 2403 | 1100 1634 2404 | 2257 1634 2405 | 1138 1634 2406 | 1634 1634 2407 | 1828 1634 2408 | 1893 1634 2409 | 2139 1634 2410 | 2165 1634 2411 | 1253 1636 2412 | 1289 1636 2413 | 1682 1636 2414 | 1181 1637 2415 | 1318 1637 2416 | 1375 1637 2417 | 1638 1637 2418 | 1977 1637 2419 | 2026 1637 2420 | 1181 1638 2421 | 1356 1638 2422 | 1375 1638 2423 | 1637 1638 2424 | 2013 1638 2425 | 3063 2758 2426 | 2610 2759 2427 | 952 552 2428 | 1810 1640 2429 | 2728 553 2430 | 2791 553 2431 | 673 553 2432 | 1921 553 2433 | 1951 553 2434 | 2161 553 2435 | 58 554 2436 | 106 554 2437 | 422 554 2438 | 469 554 2439 | 1642 554 2440 | 830 554 2441 | 1000 554 2442 | 1284 1642 2443 | 2204 2762 2444 | 2266 556 2445 | 257 556 2446 | 462 556 2447 | 829 556 2448 | 1719 1644 2449 | 3224 2764 2450 | 1031 1645 2451 | 1488 1645 2452 | 475 558 2453 | 1131 1646 2454 | 1262 1646 2455 | 1320 1646 2456 | 1321 1646 2457 | 421 1646 2458 | 1883 1646 2459 | 1885 1646 2460 | 561 561 2461 | 655 561 2462 | 669 561 2463 | 2315 2768 2464 | 1243 1648 2465 | 132 564 2466 | 536 564 2467 | 775 564 2468 | 975 564 2469 | 152 566 2470 | 770 566 2471 | 771 566 2472 | 802 566 2473 | 1272 1649 2474 | 1650 1649 2475 | 1650 567 2476 | 158 568 2477 | 1868 1652 2478 | 1237 1653 2479 | 2783 2773 2480 | 1422 1655 2481 | 1080 1657 2482 | 1189 1657 2483 | 1314 1657 2484 | 1359 1657 2485 | 1583 1657 2486 | 1584 1657 2487 | 1735 1657 2488 | 1736 1657 2489 | 1737 1657 2490 | 95 571 2491 | 234 571 2492 | 697 571 2493 | 180 572 2494 | 549 572 2495 | 573 572 2496 | 697 572 2497 | 841 572 2498 | 257 573 2499 | 829 573 2500 | 95 574 2501 | 310 574 2502 | 549 574 2503 | 572 574 2504 | 697 574 2505 | 549 575 2506 | 1659 1659 2507 | 1661 1660 2508 | 1098 1661 2509 | 1362 1661 2510 | 2293 2774 2511 | 2267 2776 2512 | 2775 2776 2513 | 1326 1662 2514 | 3209 577 2515 | 965 577 2516 | 2272 2777 2517 | 3088 2777 2518 | 779 1664 2519 | 1921 1664 2520 | 1991 1664 2521 | 2676 2778 2522 | 2724 2778 2523 | 2870 2780 2524 | 2328 1667 2525 | 2460 1667 2526 | 1326 1667 2527 | 3028 1667 2528 | 828 1667 2529 | 3153 1667 2530 | 2392 2781 2531 | 580 581 2532 | 1671 1670 2533 | 200 582 2534 | 158 583 2535 | 1639 1673 2536 | 1958 1673 2537 | 2782 2782 2538 | 1482 1674 2539 | 1216 1675 2540 | 1240 1675 2541 | 1933 1675 2542 | 202 584 2543 | 240 584 2544 | 386 584 2545 | 2402 2784 2546 | 2432 2784 2547 | 2553 2784 2548 | 3031 2784 2549 | 3094 2784 2550 | 2402 2785 2551 | 2405 2785 2552 | 2553 2785 2553 | 2386 2786 2554 | 1724 1677 2555 | 1198 1678 2556 | 1281 1678 2557 | 1469 1678 2558 | 686 1678 2559 | 1999 1678 2560 | 2073 1678 2561 | 1014 1680 2562 | 1194 1680 2563 | 1378 1680 2564 | 808 587 2565 | 2787 2788 2566 | 2461 2790 2567 | 2857 2790 2568 | 952 588 2569 | 1407 1681 2570 | 1409 1681 2571 | 1324 1683 2572 | 1325 1683 2573 | 1684 1683 2574 | 129 589 2575 | 131 589 2576 | 134 589 2577 | 140 589 2578 | 2289 2794 2579 | 2795 2794 2580 | 1241 2795 2581 | 2999 2796 2582 | 2249 2797 2583 | 217 591 2584 | 724 591 2585 | 978 591 2586 | 1559 1686 2587 | 3243 2798 2588 | 1236 1687 2589 | 421 1687 2590 | 1508 1687 2591 | 3128 2799 2592 | 1830 1689 2593 | 2176 1689 2594 | 235 592 2595 | 593 595 2596 | 594 595 2597 | 1122 1690 2598 | 1478 1690 2599 | 1528 1690 2600 | 1814 1690 2601 | 1891 1690 2602 | 2800 2801 2603 | 1815 1691 2604 | 1992 1691 2605 | 1993 1691 2606 | 3092 2802 2607 | 2803 2803 2608 | 2524 2804 2609 | 160 596 2610 | 496 596 2611 | 2805 2805 2612 | 2807 2805 2613 | 3112 2805 2614 | 3113 2805 2615 | 2807 2806 2616 | 151 598 2617 | 336 598 2618 | 599 598 2619 | 1593 1692 2620 | 569 600 2621 | 671 600 2622 | 17 601 2623 | 834 601 2624 | 2354 2808 2625 | 1260 1693 2626 | 1844 1693 2627 | 2734 2809 2628 | 3129 2809 2629 | 2525 2810 2630 | 59 604 2631 | 2226 2811 2632 | 1810 1694 2633 | 2539 2812 2634 | 1100 1695 2635 | 1690 1695 2636 | 1828 1695 2637 | 185 605 2638 | 199 606 2639 | 2438 2813 2640 | 2465 2813 2641 | 2815 2814 2642 | 2383 2816 2643 | 2472 2817 2644 | 2819 2818 2645 | 2889 2820 2646 | 1697 1696 2647 | 2268 2821 2648 | 2822 2822 2649 | 2610 2823 2650 | 2977 2824 2651 | 2873 2827 2652 | 1334 1699 2653 | 167 608 2654 | 168 608 2655 | 238 608 2656 | 413 608 2657 | 578 608 2658 | 597 608 2659 | 639 608 2660 | 706 608 2661 | 773 608 2662 | 896 608 2663 | 3219 2828 2664 | 149 1701 2665 | 150 1701 2666 | 324 1701 2667 | 325 1701 2668 | 326 1701 2669 | 327 1701 2670 | 2057 1701 2671 | 462 609 2672 | 828 609 2673 | 3162 609 2674 | 2458 2829 2675 | 2933 2829 2676 | 1703 1702 2677 | 1285 1704 2678 | 1617 1705 2679 | 1704 1705 2680 | 2291 2830 2681 | 2307 2831 2682 | 135 610 2683 | 1224 1706 2684 | 1243 1706 2685 | 1258 1706 2686 | 1612 1706 2687 | 610 1706 2688 | 2286 2832 2689 | 2295 2832 2690 | 2323 2832 2691 | 3160 2832 2692 | 3161 2832 2693 | 3200 2832 2694 | 2275 1707 2695 | 1229 1707 2696 | 1511 1707 2697 | 2744 2833 2698 | 950 611 2699 | 52 612 2700 | 271 612 2701 | 569 612 2702 | 583 612 2703 | 955 612 2704 | 964 612 2705 | 965 612 2706 | 611 613 2707 | 955 613 2708 | 217 615 2709 | 288 615 2710 | 306 615 2711 | 350 615 2712 | 1509 615 2713 | 592 615 2714 | 3205 615 2715 | 3217 615 2716 | 1214 1708 2717 | 2753 1708 2718 | 818 1708 2719 | 2370 2835 2720 | 1490 1709 2721 | 2072 1709 2722 | 1172 1710 2723 | 305 1710 2724 | 1409 1710 2725 | 1512 1710 2726 | 1513 1710 2727 | 7 616 2728 | 51 616 2729 | 67 616 2730 | 481 616 2731 | 549 616 2732 | 571 616 2733 | 572 616 2734 | 574 616 2735 | 575 616 2736 | 1714 616 2737 | 668 616 2738 | 694 616 2739 | 714 616 2740 | 748 616 2741 | 2018 616 2742 | 3236 616 2743 | 998 616 2744 | 999 616 2745 | 1000 616 2746 | 240 618 2747 | 220 619 2748 | 920 619 2749 | 2358 2836 2750 | 2838 2837 2751 | 2882 2837 2752 | 2840 2839 2753 | 2839 2840 2754 | 2842 2841 2755 | 621 620 2756 | 623 620 2757 | 623 621 2758 | 621 623 2759 | 623 623 2760 | 621 624 2761 | 623 624 2762 | 625 624 2763 | 229 625 2764 | 623 625 2765 | 2276 2843 2766 | 626 2843 2767 | 823 627 2768 | 1243 628 2769 | 1461 628 2770 | 2227 2844 2771 | 350 629 2772 | 515 629 2773 | 629 629 2774 | 630 629 2775 | 70 631 2776 | 226 631 2777 | 241 631 2778 | 403 631 2779 | 411 631 2780 | 492 631 2781 | 495 631 2782 | 620 631 2783 | 750 631 2784 | 979 631 2785 | 980 631 2786 | 988 631 2787 | 995 631 2788 | 1003 631 2789 | 1009 631 2790 | 1082 1716 2791 | 1139 1716 2792 | 1145 1716 2793 | 1716 1716 2794 | 1717 1716 2795 | 1716 1717 2796 | 1717 1717 2797 | 1887 1717 2798 | 1747 1720 2799 | 2068 1722 2800 | 2848 2847 2801 | 2849 2847 2802 | 1807 2847 2803 | 1267 1724 2804 | 491 635 2805 | 870 635 2806 | 1417 1725 2807 | 1427 1725 2808 | 1545 1725 2809 | 2024 1725 2810 | 1191 1727 2811 | 1514 1727 2812 | 1811 1727 2813 | 2097 1727 2814 | 1085 1728 2815 | 1729 1728 2816 | 1627 1729 2817 | 1717 1729 2818 | 2853 2852 2819 | 2852 2853 2820 | 1142 1730 2821 | 1192 1730 2822 | 185 2855 2823 | 199 2855 2824 | 1071 1731 2825 | 1080 1731 2826 | 1194 1731 2827 | 1314 1731 2828 | 1359 1731 2829 | 1364 1731 2830 | 1583 1731 2831 | 1584 1731 2832 | 1657 1731 2833 | 1658 1731 2834 | 1680 1731 2835 | 1731 1731 2836 | 1735 1731 2837 | 1736 1731 2838 | 1737 1731 2839 | 1985 1731 2840 | 1657 1732 2841 | 1731 1732 2842 | 1985 1732 2843 | 1059 1733 2844 | 1495 1733 2845 | 1744 1733 2846 | 1314 1735 2847 | 1359 1735 2848 | 1736 1735 2849 | 1737 1735 2850 | 1314 1736 2851 | 1359 1736 2852 | 1583 1736 2853 | 1735 1736 2854 | 1314 1737 2855 | 1359 1737 2856 | 1736 1737 2857 | 2751 2856 2858 | 149 637 2859 | 150 637 2860 | 324 637 2861 | 325 637 2862 | 326 637 2863 | 327 637 2864 | 552 637 2865 | 128 638 2866 | 640 639 2867 | 639 640 2868 | 157 641 2869 | 209 641 2870 | 719 641 2871 | 35 643 2872 | 38 643 2873 | 64 643 2874 | 83 643 2875 | 121 643 2876 | 136 643 2877 | 239 643 2878 | 271 643 2879 | 313 643 2880 | 314 643 2881 | 348 643 2882 | 641 643 2883 | 661 643 2884 | 682 643 2885 | 807 643 2886 | 808 643 2887 | 814 643 2888 | 840 643 2889 | 866 643 2890 | 893 643 2891 | 923 643 2892 | 994 643 2893 | 42 644 2894 | 271 644 2895 | 611 644 2896 | 1010 644 2897 | 1282 1740 2898 | 1740 1740 2899 | 1741 1740 2900 | 1766 1740 2901 | 2464 2858 2902 | 1282 646 2903 | 549 646 2904 | 1650 646 2905 | 732 646 2906 | 1895 646 2907 | 2064 646 2908 | 2149 646 2909 | 2150 646 2910 | 197 647 2911 | 898 647 2912 | 2181 648 2913 | 299 648 2914 | 2865 648 2915 | 957 650 2916 | 1019 1743 2917 | 2394 1743 2918 | 1874 1743 2919 | 2932 2862 2920 | 2864 2863 2921 | 3131 2863 2922 | 2181 2865 2923 | 946 2865 2924 | 397 652 2925 | 3181 2866 2926 | 1014 1744 2927 | 1059 1744 2928 | 1378 1744 2929 | 1269 1745 2930 | 225 653 2931 | 2466 2868 2932 | 1235 1749 2933 | 2106 1751 2934 | 2384 2872 2935 | 2972 2874 2936 | 3105 2874 2937 | 1628 1752 2938 | 1949 1752 2939 | 1628 1753 2940 | 1635 1753 2941 | 1949 1753 2942 | 202 654 2943 | 214 654 2944 | 240 654 2945 | 255 654 2946 | 860 654 2947 | 508 655 2948 | 1007 655 2949 | 1641 1754 2950 | 2914 2875 2951 | 1835 1755 2952 | 1836 1755 2953 | 1837 1755 2954 | 1784 1756 2955 | 1785 1756 2956 | 2319 2877 2957 | 2561 2877 2958 | 2319 2878 2959 | 2561 2878 2960 | 3046 2878 2961 | 3201 2878 2962 | 3278 2878 2963 | 166 656 2964 | 656 657 2965 | 935 657 2966 | 1486 1759 2967 | 1561 1759 2968 | 1946 1759 2969 | 1947 1759 2970 | 3135 2881 2971 | 1854 1760 2972 | 1953 1760 2973 | 82 658 2974 | 2421 2883 2975 | 2884 2884 2976 | 1911 1762 2977 | 70 659 2978 | 208 659 2979 | 211 659 2980 | 241 659 2981 | 330 659 2982 | 495 659 2983 | 570 659 2984 | 660 659 2985 | 722 659 2986 | 750 659 2987 | 877 659 2988 | 979 659 2989 | 980 659 2990 | 986 659 2991 | 1003 659 2992 | 1009 659 2993 | 40 660 2994 | 875 660 2995 | 986 660 2996 | 2885 2885 2997 | 36 661 2998 | 63 661 2999 | 97 661 3000 | 191 661 3001 | 203 661 3002 | 313 661 3003 | 314 661 3004 | 328 661 3005 | 603 661 3006 | 617 661 3007 | 674 661 3008 | 726 661 3009 | 735 661 3010 | 835 661 3011 | 836 661 3012 | 852 661 3013 | 877 661 3014 | 908 661 3015 | 948 661 3016 | 877 662 3017 | 6 663 3018 | 17 663 3019 | 20 663 3020 | 643 663 3021 | 657 663 3022 | 831 663 3023 | 858 663 3024 | 1811 1764 3025 | 502 664 3026 | 1282 1766 3027 | 2888 2886 3028 | 2424 2887 3029 | 2886 2887 3030 | 727 665 3031 | 728 665 3032 | 1099 1767 3033 | 1099 1768 3034 | 1767 1768 3035 | 667 666 3036 | 251 668 3037 | 802 668 3038 | 251 669 3039 | 2918 2890 3040 | 2253 2891 3041 | 2300 2892 3042 | 205 670 3043 | 2266 2894 3044 | 556 2894 3045 | 3048 2894 3046 | 1107 1769 3047 | 1174 1769 3048 | 653 2895 3049 | 2897 2896 3050 | 2895 2897 3051 | 2420 672 3052 | 2437 672 3053 | 215 672 3054 | 2362 2898 3055 | 3279 2901 3056 | 1298 1770 3057 | 1771 1770 3058 | 2123 1770 3059 | 1770 1771 3060 | 2123 1771 3061 | 1217 1772 3062 | 2009 1772 3063 | 2092 1772 3064 | 376 673 3065 | 377 673 3066 | 711 673 3067 | 762 673 3068 | 802 673 3069 | 839 673 3070 | 2541 2902 3071 | 72 674 3072 | 76 674 3073 | 2985 676 3074 | 1776 1775 3075 | 1107 1776 3076 | 1174 1776 3077 | 1404 1776 3078 | 1394 677 3079 | 1747 677 3080 | 678 677 3081 | 1984 677 3082 | 867 677 3083 | 868 677 3084 | 44 678 3085 | 379 678 3086 | 1747 678 3087 | 1984 678 3088 | 867 678 3089 | 2484 2906 3090 | 680 679 3091 | 219 681 3092 | 2461 681 3093 | 231 681 3094 | 248 681 3095 | 2451 2910 3096 | 91 682 3097 | 210 682 3098 | 239 682 3099 | 569 682 3100 | 1778 1778 3101 | 2453 2912 3102 | 216 684 3103 | 1523 1779 3104 | 322 685 3105 | 592 685 3106 | 665 685 3107 | 686 685 3108 | 687 685 3109 | 697 685 3110 | 845 685 3111 | 1288 1780 3112 | 2576 2916 3113 | 1889 2916 3114 | 2301 2917 3115 | 180 688 3116 | 841 688 3117 | 573 689 3118 | 1774 1781 3119 | 134 691 3120 | 250 691 3121 | 499 691 3122 | 511 691 3123 | 519 691 3124 | 651 691 3125 | 690 691 3126 | 898 691 3127 | 935 691 3128 | 1009 691 3129 | 1576 1782 3130 | 1471 1783 3131 | 400 693 3132 | 401 693 3133 | 404 693 3134 | 405 693 3135 | 1784 1786 3136 | 2638 2919 3137 | 2920 2920 3138 | 2922 2921 3139 | 1301 695 3140 | 1960 695 3141 | 95 2923 3142 | 2692 2923 3143 | 2924 2923 3144 | 1052 1787 3145 | 1254 1787 3146 | 1288 1787 3147 | 1654 1787 3148 | 1780 1787 3149 | 1789 1787 3150 | 2925 2925 3151 | 1239 1788 3152 | 2363 1789 3153 | 3249 2926 3154 | 2363 2927 3155 | 1476 1791 3156 | 2822 2928 3157 | 1794 1792 3158 | 1777 1793 3159 | 1487 1794 3160 | 1793 1794 3161 | 614 696 3162 | 224 697 3163 | 85 698 3164 | 95 698 3165 | 180 698 3166 | 303 698 3167 | 456 698 3168 | 481 698 3169 | 549 698 3170 | 571 698 3171 | 572 698 3172 | 574 698 3173 | 575 698 3174 | 619 698 3175 | 668 698 3176 | 694 698 3177 | 697 698 3178 | 700 698 3179 | 701 698 3180 | 805 698 3181 | 904 698 3182 | 22 699 3183 | 34 699 3184 | 54 699 3185 | 85 699 3186 | 98 699 3187 | 105 699 3188 | 106 699 3189 | 153 699 3190 | 155 699 3191 | 156 699 3192 | 251 699 3193 | 310 699 3194 | 366 699 3195 | 516 699 3196 | 575 699 3197 | 619 699 3198 | 668 699 3199 | 669 699 3200 | 697 699 3201 | 700 699 3202 | 701 699 3203 | 714 699 3204 | 746 699 3205 | 748 699 3206 | 755 699 3207 | 842 699 3208 | 906 699 3209 | 987 699 3210 | 999 699 3211 | 1000 699 3212 | 366 700 3213 | 619 700 3214 | 697 700 3215 | 668 701 3216 | 2867 2929 3217 | 1164 1795 3218 | 2419 2930 3219 | 2471 2930 3220 | 2980 2930 3221 | 1326 1796 3222 | 2492 2931 3223 | 2497 2931 3224 | 2862 2932 3225 | 1727 1797 3226 | 143 704 3227 | 239 704 3228 | 563 704 3229 | 751 704 3230 | 752 704 3231 | 1420 705 3232 | 432 705 3233 | 2308 2934 3234 | 3270 2934 3235 | 3271 2934 3236 | 2108 1798 3237 | 708 707 3238 | 223 708 3239 | 2180 2935 3240 | 707 709 3241 | 708 709 3242 | 2869 2936 3243 | 1540 1799 3244 | 1807 1799 3245 | 2044 1799 3246 | 1531 1801 3247 | 2024 1801 3248 | 2659 2937 3249 | 2938 2937 3250 | 1222 1803 3251 | 1334 1804 3252 | 1699 1804 3253 | 1186 1806 3254 | 1805 1806 3255 | 3076 2940 3256 | 2389 2941 3257 | 2915 2942 3258 | 2482 2943 3259 | 1808 1808 3260 | 2355 2945 3261 | 935 712 3262 | 2789 2946 3263 | 1974 1809 3264 | 2876 2947 3265 | 1173 2948 3266 | 1315 1810 3267 | 2949 2949 3268 | 2950 2953 3269 | 2956 2953 3270 | 2251 2955 3271 | 1173 2955 3272 | 2332 2955 3273 | 2503 2955 3274 | 2760 2955 3275 | 2948 2955 3276 | 2952 2955 3277 | 2954 2955 3278 | 1813 2955 3279 | 2958 2955 3280 | 3173 2955 3281 | 28 714 3282 | 54 714 3283 | 67 714 3284 | 105 714 3285 | 106 714 3286 | 153 714 3287 | 956 714 3288 | 987 714 3289 | 999 714 3290 | 1000 714 3291 | 1173 1812 3292 | 1813 1812 3293 | 2152 1812 3294 | 2950 2956 3295 | 1813 2957 3296 | 2959 2957 3297 | 2404 2960 3298 | 135 715 3299 | 610 715 3300 | 2381 716 3301 | 135 716 3302 | 2961 716 3303 | 180 717 3304 | 1992 1815 3305 | 2962 2962 3306 | 877 718 3307 | 2834 2963 3308 | 347 719 3309 | 1727 1816 3310 | 1623 1817 3311 | 721 722 3312 | 2966 2967 3313 | 1210 1818 3314 | 1256 1818 3315 | 2048 1819 3316 | 1259 1820 3317 | 1270 1820 3318 | 1617 1820 3319 | 1669 1820 3320 | 2292 2969 3321 | 1897 2969 3322 | 2400 725 3323 | 2417 2971 3324 | 1130 1822 3325 | 1651 1823 3326 | 2973 2973 3327 | 3077 2974 3328 | 2072 1827 3329 | 3118 2975 3330 | 2399 2976 3331 | 3303 2976 3332 | 2824 2977 3333 | 728 727 3334 | 2978 2978 3335 | 1336 1831 3336 | 1554 1831 3337 | 2599 2979 3338 | 730 729 3339 | 1009 729 3340 | 320 730 3341 | 139 731 3342 | 166 731 3343 | 907 731 3344 | 979 731 3345 | 1833 1832 3346 | 1656 1833 3347 | 2154 1833 3348 | 2452 2981 3349 | 2549 2981 3350 | 2707 2982 3351 | 2454 2983 3352 | 2984 2983 3353 | 2986 2983 3354 | 2454 2984 3355 | 2454 2985 3356 | 2984 2985 3357 | 2986 2985 3358 | 733 734 3359 | 751 734 3360 | 77 735 3361 | 813 735 3362 | 1837 1834 3363 | 1836 1835 3364 | 1834 1838 3365 | 1836 1838 3366 | 1837 1838 3367 | 1325 1839 3368 | 320 736 3369 | 320 737 3370 | 729 737 3371 | 730 737 3372 | 736 737 3373 | 2665 738 3374 | 789 738 3375 | 235 739 3376 | 464 739 3377 | 588 739 3378 | 592 739 3379 | 738 739 3380 | 1009 741 3381 | 530 2987 3382 | 2730 2987 3383 | 1183 1841 3384 | 1139 1842 3385 | 1738 1842 3386 | 1738 1843 3387 | 2988 2989 3388 | 2990 2990 3389 | 2991 2991 3390 | 475 742 3391 | 1790 1847 3392 | 1205 1848 3393 | 1216 1848 3394 | 1849 1848 3395 | 1212 1850 3396 | 1281 1850 3397 | 1937 1850 3398 | 1951 1850 3399 | 1998 1850 3400 | 1999 1850 3401 | 979 743 3402 | 3311 2993 3403 | 1633 1851 3404 | 1801 1851 3405 | 2995 1851 3406 | 3009 1851 3407 | 2168 1851 3408 | 2765 2995 3409 | 1257 1852 3410 | 1295 1852 3411 | 1340 1852 3412 | 2331 2996 3413 | 2543 2996 3414 | 2544 2996 3415 | 2997 2996 3416 | 3233 2996 3417 | 1582 1853 3418 | 3109 2998 3419 | 251 745 3420 | 356 745 3421 | 438 745 3422 | 516 745 3423 | 746 745 3424 | 804 745 3425 | 805 745 3426 | 910 745 3427 | 911 745 3428 | 51 747 3429 | 355 747 3430 | 356 747 3431 | 481 747 3432 | 504 747 3433 | 516 747 3434 | 746 747 3435 | 804 747 3436 | 805 747 3437 | 910 747 3438 | 911 747 3439 | 3307 3001 3440 | 28 748 3441 | 48 748 3442 | 54 748 3443 | 67 748 3444 | 105 748 3445 | 106 748 3446 | 153 748 3447 | 1761 748 3448 | 697 748 3449 | 714 748 3450 | 956 748 3451 | 987 748 3452 | 998 748 3453 | 999 748 3454 | 1000 748 3455 | 2527 3002 3456 | 634 749 3457 | 3003 3003 3458 | 3005 3006 3459 | 2272 3007 3460 | 3009 3008 3461 | 3011 3010 3462 | 1868 1856 3463 | 2418 3012 3464 | 1126 1857 3465 | 1193 1857 3466 | 577 1857 3467 | 1858 1857 3468 | 1859 1857 3469 | 1966 1857 3470 | 3013 1858 3471 | 3274 1858 3472 | 404 1859 3473 | 3274 1859 3474 | 3015 3014 3475 | 2238 3016 3476 | 3017 3016 3477 | 712 750 3478 | 752 751 3479 | 2867 3019 3480 | 1132 1860 3481 | 1236 1860 3482 | 1242 1860 3483 | 1668 1860 3484 | 2531 3020 3485 | 2532 3020 3486 | 2533 3020 3487 | 936 3020 3488 | 160 753 3489 | 195 753 3490 | 227 753 3491 | 559 753 3492 | 579 753 3493 | 628 753 3494 | 695 753 3495 | 811 753 3496 | 874 753 3497 | 1266 1861 3498 | 1529 3021 3499 | 2166 3021 3500 | 802 754 3501 | 2224 3022 3502 | 2780 3022 3503 | 1430 1862 3504 | 1336 1863 3505 | 1489 1863 3506 | 1095 1864 3507 | 1123 1864 3508 | 1552 1864 3509 | 3026 3027 3510 | 334 756 3511 | 389 756 3512 | 1271 1865 3513 | 1141 1866 3514 | 1246 1866 3515 | 2167 1866 3516 | 1866 1867 3517 | 2460 3028 3518 | 779 3028 3519 | 828 3028 3520 | 3162 3028 3521 | 2277 3029 3522 | 3029 3029 3523 | 2304 3030 3524 | 3030 3030 3525 | 758 757 3526 | 193 758 3527 | 758 758 3528 | 193 759 3529 | 720 759 3530 | 193 760 3531 | 2402 3031 3532 | 2432 3031 3533 | 50 763 3534 | 93 763 3535 | 374 763 3536 | 427 763 3537 | 800 763 3538 | 805 763 3539 | 825 763 3540 | 723 764 3541 | 1873 1869 3542 | 1178 1870 3543 | 1337 1870 3544 | 1944 1870 3545 | 1945 1870 3546 | 1663 1873 3547 | 2477 3032 3548 | 363 765 3549 | 668 766 3550 | 467 767 3551 | 473 767 3552 | 494 767 3553 | 2540 3033 3554 | 1616 1875 3555 | 1988 1875 3556 | 2246 3035 3557 | 3034 3035 3558 | 2501 3036 3559 | 686 1876 3560 | 687 1876 3561 | 665 768 3562 | 727 768 3563 | 728 768 3564 | 1876 768 3565 | 1231 769 3566 | 1234 769 3567 | 1273 769 3568 | 2686 769 3569 | 538 769 3570 | 685 769 3571 | 686 769 3572 | 687 769 3573 | 796 769 3574 | 2157 769 3575 | 1829 3037 3576 | 1502 1877 3577 | 1575 1877 3578 | 1096 1878 3579 | 1265 1878 3580 | 1465 1878 3581 | 1603 1878 3582 | 1684 1878 3583 | 2072 1878 3584 | 3073 3039 3585 | 2012 1879 3586 | 770 3040 3587 | 2415 3041 3588 | 770 3041 3589 | 771 770 3590 | 355 772 3591 | 516 772 3592 | 706 772 3593 | 746 772 3594 | 804 772 3595 | 896 772 3596 | 911 772 3597 | 356 773 3598 | 451 773 3599 | 706 773 3600 | 773 773 3601 | 1257 1880 3602 | 2101 1882 3603 | 1885 1883 3604 | 1885 1884 3605 | 883 776 3606 | 1097 1886 3607 | 1944 1886 3608 | 1887 1888 3609 | 2539 3042 3610 | 1344 1889 3611 | 1253 1890 3612 | 2419 3043 3613 | 185 3043 3614 | 2641 3043 3615 | 2909 3043 3616 | 2980 3043 3617 | 3111 3043 3618 | 3117 3043 3619 | 2216 3044 3620 | 1236 1891 3621 | 1439 1891 3622 | 1274 1892 3623 | 1296 1892 3624 | 3038 3045 3625 | 638 3046 3626 | 3201 3046 3627 | 1894 1893 3628 | 1893 1894 3629 | 779 1895 3630 | 1991 1895 3631 | 88 780 3632 | 1203 780 3633 | 1239 780 3634 | 1282 780 3635 | 262 780 3636 | 267 780 3637 | 272 780 3638 | 1650 780 3639 | 1664 780 3640 | 1788 780 3641 | 732 780 3642 | 1895 780 3643 | 1921 780 3644 | 1991 780 3645 | 2064 780 3646 | 2149 780 3647 | 1006 780 3648 | 2735 3047 3649 | 2585 781 3650 | 858 781 3651 | 162 782 3652 | 2639 782 3653 | 2640 782 3654 | 754 782 3655 | 290 783 3656 | 2290 3048 3657 | 722 787 3658 | 3049 3050 3659 | 1176 1896 3660 | 1393 1896 3661 | 1607 1896 3662 | 2051 1896 3663 | 1899 1898 3664 | 2234 3051 3665 | 2270 3051 3666 | 2510 3051 3667 | 3052 3051 3668 | 3054 3051 3669 | 2234 3052 3670 | 2510 3052 3671 | 3053 3052 3672 | 89 788 3673 | 319 788 3674 | 546 788 3675 | 579 788 3676 | 875 788 3677 | 935 788 3678 | 1221 1900 3679 | 1811 1900 3680 | 3055 3056 3681 | 3033 3057 3682 | 1300 1901 3683 | 3231 3058 3684 | 1286 1902 3685 | 1302 1902 3686 | 188 791 3687 | 29 792 3688 | 793 792 3689 | 859 792 3690 | 1624 1903 3691 | 1965 1903 3692 | 2032 1903 3693 | 2033 1903 3694 | 740 793 3695 | 793 793 3696 | 818 793 3697 | 859 793 3698 | 3060 3061 3699 | 3062 3061 3700 | 1027 1905 3701 | 1360 1905 3702 | 2637 3064 3703 | 3066 3065 3704 | 3065 3067 3705 | 3066 3067 3706 | 3069 3068 3707 | 2269 3071 3708 | 3071 3072 3709 | 2826 1906 3710 | 3123 1906 3711 | 2048 1906 3712 | 240 794 3713 | 91 795 3714 | 2382 795 3715 | 1794 795 3716 | 1811 795 3717 | 1166 1908 3718 | 1689 1908 3719 | 2176 1908 3720 | 713 798 3721 | 167 799 3722 | 332 799 3723 | 365 799 3724 | 390 799 3725 | 391 799 3726 | 639 799 3727 | 640 799 3728 | 701 799 3729 | 707 799 3730 | 708 799 3731 | 777 799 3732 | 803 799 3733 | 93 800 3734 | 754 801 3735 | 802 801 3736 | 2449 3075 3737 | 746 804 3738 | 911 804 3739 | 516 805 3740 | 746 805 3741 | 804 805 3742 | 247 806 3743 | 2767 806 3744 | 136 809 3745 | 807 809 3746 | 808 809 3747 | 1911 1910 3748 | 1248 1911 3749 | 246 810 3750 | 1083 1912 3751 | 1150 1912 3752 | 2744 3078 3753 | 2665 3080 3754 | 3079 3080 3755 | 3082 3081 3756 | 3084 3083 3757 | 3081 3084 3758 | 3082 3084 3759 | 2210 3085 3760 | 2275 3085 3761 | 2647 3085 3762 | 993 3085 3763 | 2143 1913 3764 | 1914 1914 3765 | 1790 1915 3766 | 3086 3086 3767 | 3109 3087 3768 | 35 814 3769 | 121 814 3770 | 136 814 3771 | 188 814 3772 | 519 814 3773 | 723 814 3774 | 786 814 3775 | 807 814 3776 | 808 814 3777 | 816 814 3778 | 866 814 3779 | 884 814 3780 | 121 816 3781 | 723 816 3782 | 866 816 3783 | 171 817 3784 | 1002 817 3785 | 1422 1916 3786 | 1572 1916 3787 | 1705 1916 3788 | 853 1916 3789 | 2712 3089 3790 | 3196 3090 3791 | 1188 1918 3792 | 1276 1918 3793 | 1298 1918 3794 | 1308 1918 3795 | 1739 1918 3796 | 1811 1918 3797 | 1853 1918 3798 | 1917 1918 3799 | 2023 1918 3800 | 2094 1918 3801 | 2095 1918 3802 | 2114 1918 3803 | 2148 1918 3804 | 2151 1918 3805 | 2159 1918 3806 | 2175 1918 3807 | 634 819 3808 | 3091 3091 3809 | 1721 1919 3810 | 1873 1919 3811 | 1920 1919 3812 | 1111 1920 3813 | 1663 1920 3814 | 1855 1920 3815 | 1901 1922 3816 | 1275 1924 3817 | 1404 1924 3818 | 1911 1924 3819 | 3096 3095 3820 | 3097 3095 3821 | 3182 3095 3822 | 3097 3096 3823 | 3182 3096 3824 | 2675 3099 3825 | 3098 3099 3826 | 2075 1925 3827 | 3013 821 3828 | 125 822 3829 | 144 822 3830 | 145 822 3831 | 146 822 3832 | 242 822 3833 | 281 822 3834 | 360 822 3835 | 412 822 3836 | 417 822 3837 | 418 822 3838 | 472 822 3839 | 473 822 3840 | 767 822 3841 | 810 822 3842 | 879 822 3843 | 1344 1926 3844 | 3101 3100 3845 | 3101 3102 3846 | 3104 3103 3847 | 3274 3103 3848 | 970 824 3849 | 1784 1927 3850 | 1785 1927 3851 | 1790 1927 3852 | 1784 1928 3853 | 1785 1928 3854 | 1790 1928 3855 | 1927 1928 3856 | 2022 1928 3857 | 2428 3106 3858 | 2441 3107 3859 | 2699 3107 3860 | 2840 3107 3861 | 321 825 3862 | 2516 3108 3863 | 2517 3108 3864 | 1698 1929 3865 | 2078 1929 3866 | 2460 828 3867 | 1326 828 3868 | 1487 1930 3869 | 2555 3110 3870 | 176 830 3871 | 834 831 3872 | 886 831 3873 | 17 832 3874 | 964 834 3875 | 2420 1931 3876 | 837 836 3877 | 835 837 3878 | 108 838 3879 | 173 838 3880 | 201 838 3881 | 383 838 3882 | 384 838 3883 | 1567 1935 3884 | 1576 1935 3885 | 1782 1935 3886 | 1936 1935 3887 | 1212 1937 3888 | 1019 1938 3889 | 1918 1940 3890 | 2239 3114 3891 | 1030 1941 3892 | 1244 1941 3893 | 180 842 3894 | 842 842 3895 | 896 842 3896 | 1050 1942 3897 | 1178 1944 3898 | 1945 1944 3899 | 170 846 3900 | 287 846 3901 | 604 846 3902 | 848 846 3903 | 850 846 3904 | 18 847 3905 | 40 847 3906 | 43 847 3907 | 46 847 3908 | 49 847 3909 | 59 847 3910 | 81 847 3911 | 138 847 3912 | 181 847 3913 | 186 847 3914 | 187 847 3915 | 191 847 3916 | 202 847 3917 | 242 847 3918 | 307 847 3919 | 394 847 3920 | 409 847 3921 | 435 847 3922 | 436 847 3923 | 484 847 3924 | 506 847 3925 | 509 847 3926 | 519 847 3927 | 520 847 3928 | 526 847 3929 | 527 847 3930 | 529 847 3931 | 542 847 3932 | 583 847 3933 | 593 847 3934 | 594 847 3935 | 595 847 3936 | 712 847 3937 | 723 847 3938 | 729 847 3939 | 730 847 3940 | 741 847 3941 | 760 847 3942 | 761 847 3943 | 775 847 3944 | 785 847 3945 | 788 847 3946 | 814 847 3947 | 816 847 3948 | 826 847 3949 | 843 847 3950 | 966 847 3951 | 980 847 3952 | 983 847 3953 | 984 847 3954 | 996 847 3955 | 109 848 3956 | 348 848 3957 | 509 848 3958 | 515 848 3959 | 814 848 3960 | 816 848 3961 | 980 848 3962 | 983 848 3963 | 984 848 3964 | 985 848 3965 | 40 849 3966 | 607 849 3967 | 313 850 3968 | 604 850 3969 | 1759 1946 3970 | 1825 1948 3971 | 1628 1949 3972 | 1948 1949 3973 | 2336 851 3974 | 2756 851 3975 | 543 851 3976 | 2336 3119 3977 | 2756 3119 3978 | 1112 1952 3979 | 1952 1952 3980 | 565 852 3981 | 251 1956 3982 | 3122 3121 3983 | 194 3122 3984 | 1698 3123 3985 | 2826 3123 3986 | 1252 853 3987 | 753 853 3988 | 3296 853 3989 | 854 854 3990 | 1026 1957 3991 | 1409 1957 3992 | 2282 855 3993 | 2441 855 3994 | 432 855 3995 | 2699 855 3996 | 1675 855 3997 | 704 855 3998 | 733 855 3999 | 3107 855 4000 | 3124 855 4001 | 2260 3124 4002 | 2337 3124 4003 | 2646 3124 4004 | 1849 3124 4005 | 2310 3125 4006 | 2390 3125 4007 | 2483 3125 4008 | 2485 3125 4009 | 2534 3125 4010 | 3126 3126 4011 | 877 856 4012 | 345 857 4013 | 775 857 4014 | 3130 3131 4015 | 1673 1959 4016 | 1958 1959 4017 | 2413 3133 4018 | 3133 3134 4019 | 1548 1966 4020 | 2112 1966 4021 | 3137 3136 4022 | 1013 1967 4023 | 1725 1967 4024 | 1967 1967 4025 | 474 1968 4026 | 2549 3138 4027 | 214 860 4028 | 861 860 4029 | 1129 862 4030 | 90 862 4031 | 1212 862 4032 | 474 862 4033 | 534 862 4034 | 732 862 4035 | 1850 862 4036 | 1937 862 4037 | 1968 862 4038 | 1969 862 4039 | 862 862 4040 | 1398 1970 4041 | 1399 1970 4042 | 1400 1970 4043 | 1971 1970 4044 | 1398 1971 4045 | 1400 1971 4046 | 165 863 4047 | 857 863 4048 | 864 863 4049 | 865 863 4050 | 1216 865 4051 | 1240 865 4052 | 1933 865 4053 | 2371 3140 4054 | 1091 1972 4055 | 1609 1972 4056 | 1643 1972 4057 | 1964 1972 4058 | 1968 1972 4059 | 2160 1972 4060 | 1156 1975 4061 | 1973 1975 4062 | 1999 1976 4063 | 1327 1977 4064 | 1974 1977 4065 | 2026 1977 4066 | 1449 1978 4067 | 1514 1979 4068 | 1978 1979 4069 | 2149 1979 4070 | 2673 3141 4071 | 1285 1980 4072 | 2032 1980 4073 | 2033 1980 4074 | 2112 1980 4075 | 121 866 4076 | 569 866 4077 | 1747 1984 4078 | 1747 867 4079 | 868 867 4080 | 632 868 4081 | 2769 3142 4082 | 1071 1985 4083 | 1350 1985 4084 | 1584 1985 4085 | 1734 1985 4086 | 1747 1986 4087 | 2964 3143 4088 | 1987 1988 4089 | 2283 3144 4090 | 3150 3146 4091 | 3295 3146 4092 | 3146 3147 4093 | 3149 3147 4094 | 3150 3147 4095 | 3146 3148 4096 | 3146 3149 4097 | 3150 3149 4098 | 3146 3150 4099 | 3149 3150 4100 | 2219 3151 4101 | 3146 3151 4102 | 962 3151 4103 | 1241 1989 4104 | 1514 1989 4105 | 2149 1989 4106 | 3152 3152 4107 | 213 872 4108 | 778 872 4109 | 576 873 4110 | 1311 1990 4111 | 762 1990 4112 | 1921 1991 4113 | 2460 3153 4114 | 2459 3154 4115 | 2429 874 4116 | 2429 3155 4117 | 874 3155 4118 | 3159 3156 4119 | 1214 1994 4120 | 1819 1994 4121 | 2313 3157 4122 | 1997 1995 4123 | 1179 1996 4124 | 1179 1997 4125 | 1996 1997 4126 | 2295 3161 4127 | 65 876 4128 | 1247 876 4129 | 2400 876 4130 | 2401 876 4131 | 1489 876 4132 | 2638 876 4133 | 1724 876 4134 | 725 876 4135 | 732 876 4136 | 2104 876 4137 | 992 876 4138 | 3303 876 4139 | 718 877 4140 | 1281 1998 4141 | 1281 1999 4142 | 2460 3162 4143 | 269 878 4144 | 1845 2000 4145 | 1452 2002 4146 | 1954 2002 4147 | 1955 2002 4148 | 1487 2003 4149 | 2002 2003 4150 | 1214 2004 4151 | 1461 2004 4152 | 1571 2004 4153 | 1332 2005 4154 | 645 880 4155 | 774 880 4156 | 1214 2006 4157 | 1258 2006 4158 | 1422 2006 4159 | 1571 2006 4160 | 2005 2006 4161 | 2109 2006 4162 | 2110 2006 4163 | 2112 2006 4164 | 2340 3164 4165 | 1034 2007 4166 | 1341 2008 4167 | 1224 2009 4168 | 2437 3165 4169 | 779 882 4170 | 2010 2010 4171 | 2011 2010 4172 | 2012 2010 4173 | 2012 2011 4174 | 2334 3167 4175 | 2444 3167 4176 | 3168 3167 4177 | 2444 3168 4178 | 3014 3169 4179 | 3015 3169 4180 | 1033 2014 4181 | 1759 2014 4182 | 2015 2014 4183 | 2014 2015 4184 | 2017 2016 4185 | 2869 3170 4186 | 1295 2018 4187 | 1010 886 4188 | 2223 3171 4189 | 2403 3172 4190 | 3304 3172 4191 | 1398 2019 4192 | 1400 2019 4193 | 1281 887 4194 | 262 887 4195 | 2728 887 4196 | 686 887 4197 | 687 887 4198 | 697 887 4199 | 779 887 4200 | 1951 887 4201 | 1998 887 4202 | 1999 887 4203 | 2079 2021 4204 | 2251 3173 4205 | 357 888 4206 | 1402 2022 4207 | 1784 2022 4208 | 1790 2022 4209 | 1927 2022 4210 | 2022 2022 4211 | 890 889 4212 | 428 891 4213 | 2728 891 4214 | 924 891 4215 | 2728 3174 4216 | 2324 3175 4217 | 3074 3175 4218 | 500 892 4219 | 703 892 4220 | 703 893 4221 | 73 894 4222 | 2343 3176 4223 | 1235 2025 4224 | 3178 3177 4225 | 2428 3178 4226 | 3179 3179 4227 | 557 897 4228 | 3093 897 4229 | 197 898 4230 | 1065 2027 4231 | 1093 2027 4232 | 2090 2030 4233 | 1238 2031 4234 | 946 2031 4235 | 2032 2033 4236 | 1289 2034 4237 | 1776 2034 4238 | 1981 2034 4239 | 810 900 4240 | 2038 2039 4241 | 401 3183 4242 | 404 3183 4243 | 3184 3183 4244 | 402 3185 4245 | 2864 3185 4246 | 555 901 4247 | 902 901 4248 | 555 902 4249 | 2028 2040 4250 | 2029 2040 4251 | 685 903 4252 | 2381 3186 4253 | 2961 3186 4254 | 1283 2042 4255 | 2247 3188 4256 | 3189 3188 4257 | 2247 3189 4258 | 2366 3189 4259 | 2240 3190 4260 | 3116 3190 4261 | 2278 905 4262 | 88 905 4263 | 1231 905 4264 | 1234 905 4265 | 2669 905 4266 | 2670 905 4267 | 2686 905 4268 | 2728 905 4269 | 673 905 4270 | 685 905 4271 | 686 905 4272 | 687 905 4273 | 697 905 4274 | 732 905 4275 | 768 905 4276 | 3040 905 4277 | 3041 905 4278 | 802 905 4279 | 1969 905 4280 | 3191 905 4281 | 2081 905 4282 | 2161 905 4283 | 852 908 4284 | 2294 3193 4285 | 446 909 4286 | 826 912 4287 | 2349 3195 4288 | 2746 3195 4289 | 1133 2046 4290 | 2047 2046 4291 | 1777 2048 4292 | 1846 2048 4293 | 1151 2049 4294 | 1252 2049 4295 | 1308 2049 4296 | 1703 2049 4297 | 1845 2049 4298 | 1846 2049 4299 | 1964 2049 4300 | 2001 2049 4301 | 2032 2049 4302 | 2033 2049 4303 | 2048 2049 4304 | 2049 2049 4305 | 2050 2049 4306 | 2075 2049 4307 | 2175 2049 4308 | 1285 2050 4309 | 1332 2050 4310 | 1423 2050 4311 | 1542 2050 4312 | 1648 2050 4313 | 853 2050 4314 | 1980 2050 4315 | 2006 2050 4316 | 2032 2050 4317 | 2033 2050 4318 | 2112 2050 4319 | 3197 3197 4320 | 3199 3198 4321 | 3199 3199 4322 | 1463 2052 4323 | 1490 2052 4324 | 1590 2052 4325 | 2025 2052 4326 | 2072 2052 4327 | 2468 3202 4328 | 2540 3202 4329 | 3033 3202 4330 | 3203 3202 4331 | 2468 3204 4332 | 5 916 4333 | 36 916 4334 | 63 916 4335 | 77 916 4336 | 274 916 4337 | 329 916 4338 | 400 916 4339 | 595 916 4340 | 617 916 4341 | 661 916 4342 | 813 916 4343 | 1273 2053 4344 | 2072 2054 4345 | 2054 2055 4346 | 2056 2055 4347 | 1341 2056 4348 | 112 917 4349 | 149 917 4350 | 150 917 4351 | 325 917 4352 | 326 917 4353 | 327 917 4354 | 2257 3207 4355 | 3207 3207 4356 | 2791 3208 4357 | 2393 3209 4358 | 2970 3210 4359 | 1201 2060 4360 | 2208 3212 4361 | 3213 3212 4362 | 3216 3212 4363 | 3211 3213 4364 | 2287 3215 4365 | 2433 3218 4366 | 764 919 4367 | 1010 919 4368 | 2972 3220 4369 | 3105 3220 4370 | 1048 2063 4371 | 1921 2064 4372 | 2065 2064 4373 | 1788 2066 4374 | 2067 2067 4375 | 1345 2068 4376 | 2068 2069 4377 | 896 922 4378 | 222 924 4379 | 431 925 4380 | 868 925 4381 | 1245 2076 4382 | 2175 2077 4383 | 244 926 4384 | 253 926 4385 | 259 926 4386 | 483 926 4387 | 918 926 4388 | 927 926 4389 | 147 927 4390 | 456 927 4391 | 651 928 4392 | 2968 3225 4393 | 1300 2080 4394 | 1333 2080 4395 | 1704 2080 4396 | 1705 2080 4397 | 1926 2080 4398 | 1954 2080 4399 | 939 930 4400 | 1305 2081 4401 | 665 2081 4402 | 1876 2081 4403 | 2161 2081 4404 | 2082 2082 4405 | 1328 2083 4406 | 1356 2083 4407 | 1369 2083 4408 | 1637 2083 4409 | 2082 2083 4410 | 3227 3226 4411 | 2346 3227 4412 | 2104 2084 4413 | 2087 2085 4414 | 2086 2087 4415 | 1372 2088 4416 | 2087 2089 4417 | 2064 2091 4418 | 2456 3228 4419 | 2624 3228 4420 | 2037 3228 4421 | 3228 3228 4422 | 3230 3229 4423 | 3233 3232 4424 | 3205 3234 4425 | 202 932 4426 | 240 932 4427 | 386 932 4428 | 654 932 4429 | 869 932 4430 | 1276 2098 4431 | 2071 2098 4432 | 202 933 4433 | 247 933 4434 | 970 933 4435 | 680 934 4436 | 2214 3235 4437 | 2845 3235 4438 | 2480 3236 4439 | 2102 2100 4440 | 2102 2101 4441 | 3238 3237 4442 | 937 936 4443 | 877 937 4444 | 2772 3239 4445 | 1100 2105 4446 | 1144 2105 4447 | 311 2105 4448 | 1579 2105 4449 | 1723 2105 4450 | 3044 2105 4451 | 2435 3240 4452 | 2443 3240 4453 | 2883 3240 4454 | 3222 3240 4455 | 1751 2106 4456 | 3242 3241 4457 | 394 938 4458 | 506 938 4459 | 939 938 4460 | 393 940 4461 | 394 940 4462 | 938 940 4463 | 939 940 4464 | 938 941 4465 | 730 942 4466 | 2108 2107 4467 | 2110 2109 4468 | 2005 2110 4469 | 2112 2110 4470 | 2112 2111 4471 | 1332 2112 4472 | 944 943 4473 | 258 944 4474 | 1238 946 4475 | 706 946 4476 | 974 947 4477 | 2438 3244 4478 | 2667 3244 4479 | 3245 3246 4480 | 328 948 4481 | 774 2118 4482 | 2024 2118 4483 | 3251 3250 4484 | 277 951 4485 | 399 951 4486 | 1536 2119 4487 | 1299 2121 4488 | 1964 2121 4489 | 3252 3253 4490 | 2297 3254 4491 | 415 953 4492 | 684 953 4493 | 379 954 4494 | 737 954 4495 | 2653 3256 4496 | 2414 3257 4497 | 54 956 4498 | 633 956 4499 | 1894 956 4500 | 341 3258 4501 | 844 958 4502 | 959 959 4503 | 2477 3259 4504 | 3261 3260 4505 | 3263 3260 4506 | 2062 2126 4507 | 2127 2126 4508 | 3263 3261 4509 | 2415 960 4510 | 711 960 4511 | 2629 3262 4512 | 1651 3262 4513 | 1823 3262 4514 | 1488 961 4515 | 635 961 4516 | 3000 3265 4517 | 185 3267 4518 | 3266 3267 4519 | 3266 3268 4520 | 2230 3269 4521 | 2308 3270 4522 | 1244 2128 4523 | 2767 3272 4524 | 2129 2130 4525 | 963 2130 4526 | 2129 2131 4527 | 212 963 4528 | 2129 963 4529 | 186 966 4530 | 2237 3273 4531 | 446 3273 4532 | 2351 3274 4533 | 3013 3274 4534 | 2410 3275 4535 | 1053 2135 4536 | 1194 2135 4537 | 1680 2135 4538 | 2141 2135 4539 | 1394 2136 4540 | 1747 2136 4541 | 1069 2137 4542 | 1211 2137 4543 | 2147 2137 4544 | 2450 3276 4545 | 2771 3277 4546 | 1255 2139 4547 | 1498 2139 4548 | 1828 2139 4549 | 727 968 4550 | 969 968 4551 | 1707 969 4552 | 684 969 4553 | 2701 3278 4554 | 55 972 4555 | 3279 972 4556 | 971 972 4557 | 2330 3280 4558 | 3222 3281 4559 | 2143 2142 4560 | 2144 2142 4561 | 3284 3283 4562 | 196 973 4563 | 1805 2145 4564 | 2054 2145 4565 | 2162 2146 4566 | 355 976 4567 | 516 976 4568 | 355 977 4569 | 516 977 4570 | 2365 3285 4571 | 2379 3286 4572 | 2437 3286 4573 | 2703 3286 4574 | 2721 3286 4575 | 2864 3286 4576 | 3287 3288 4577 | 1549 978 4578 | 917 978 4579 | 3248 3289 4580 | 237 979 4581 | 242 979 4582 | 493 979 4583 | 750 979 4584 | 885 979 4585 | 935 979 4586 | 980 979 4587 | 160 980 4588 | 990 980 4589 | 982 981 4590 | 622 982 4591 | 2334 3290 4592 | 2444 3290 4593 | 3167 3290 4594 | 3168 3290 4595 | 350 985 4596 | 515 985 4597 | 629 985 4598 | 917 985 4599 | 61 986 4600 | 84 986 4601 | 226 986 4602 | 495 986 4603 | 548 986 4604 | 642 986 4605 | 651 986 4606 | 750 986 4607 | 875 986 4608 | 935 986 4609 | 943 986 4610 | 959 986 4611 | 980 986 4612 | 995 986 4613 | 2318 3291 4614 | 1203 2148 4615 | 2150 2148 4616 | 1921 2149 4617 | 1432 2151 4618 | 1433 2151 4619 | 176 987 4620 | 180 987 4621 | 3292 3292 4622 | 1800 2153 4623 | 1611 2155 4624 | 990 989 4625 | 74 991 4626 | 1072 2156 4627 | 65 992 4628 | 725 992 4629 | 1231 2157 4630 | 2624 3293 4631 | 2175 2159 4632 | 605 993 4633 | 1721 993 4634 | 3085 993 4635 | 1968 2160 4636 | 1921 2161 4637 | 2495 3294 4638 | 752 994 4639 | 990 994 4640 | 935 995 4641 | 751 996 4642 | 752 996 4643 | 994 996 4644 | 2685 3297 4645 | 2879 3297 4646 | 2163 2164 4647 | 54 998 4648 | 67 998 4649 | 105 998 4650 | 106 998 4651 | 176 998 4652 | 998 998 4653 | 1000 998 4654 | 28 999 4655 | 54 999 4656 | 67 999 4657 | 105 999 4658 | 106 999 4659 | 714 999 4660 | 956 999 4661 | 987 999 4662 | 998 999 4663 | 1000 999 4664 | 67 1000 4665 | 956 1000 4666 | 998 1000 4667 | 1000 1000 4668 | 2743 3298 4669 | 7 1001 4670 | 377 1001 4671 | 762 1001 4672 | 247 1003 4673 | 494 1003 4674 | 7 1004 4675 | 2316 1004 4676 | 122 1004 4677 | 1336 1004 4678 | 355 1004 4679 | 365 1004 4680 | 481 1004 4681 | 501 1004 4682 | 502 1004 4683 | 516 1004 4684 | 1597 1004 4685 | 619 1004 4686 | 802 1004 4687 | 901 1004 4688 | 920 1004 4689 | 51 1005 4690 | 1197 1005 4691 | 1336 1005 4692 | 481 1005 4693 | 1586 1005 4694 | 2860 1005 4695 | 680 1005 4696 | 920 1005 4697 | 779 1006 4698 | 1170 2166 4699 | 2399 3303 4700 | 1529 3305 4701 | 2654 3305 4702 | 2166 3305 4703 | 1801 2168 4704 | 2168 2168 4705 | 3302 3306 4706 | 1133 2169 4707 | 1170 2169 4708 | 1529 2169 4709 | 2166 2169 4710 | 3309 3308 4711 | 2172 2171 4712 | 1385 2174 4713 | 2173 2174 4714 | 455 1008 4715 | 2122 2175 4716 | -------------------------------------------------------------------------------- /graph/citeseer.label: -------------------------------------------------------------------------------- 1 | 0 0 2 | 1 3 3 | 2 0 4 | 3 2 5 | 4 1 6 | 5 1 7 | 6 0 8 | 7 3 9 | 8 1 10 | 9 5 11 | 10 3 12 | 11 0 13 | 12 2 14 | 13 3 15 | 14 2 16 | 15 3 17 | 16 2 18 | 17 4 19 | 18 0 20 | 19 0 21 | 20 0 22 | 21 3 23 | 22 3 24 | 23 2 25 | 24 3 26 | 25 4 27 | 26 2 28 | 27 0 29 | 28 3 30 | 29 4 31 | 30 4 32 | 31 4 33 | 32 4 34 | 33 0 35 | 34 3 36 | 35 0 37 | 36 1 38 | 37 3 39 | 38 0 40 | 39 0 41 | 40 0 42 | 41 0 43 | 42 0 44 | 43 0 45 | 44 0 46 | 45 0 47 | 46 0 48 | 47 0 49 | 48 3 50 | 49 0 51 | 50 3 52 | 51 3 53 | 52 0 54 | 53 5 55 | 54 3 56 | 55 2 57 | 56 4 58 | 57 2 59 | 58 3 60 | 59 0 61 | 60 2 62 | 61 5 63 | 62 3 64 | 63 1 65 | 64 0 66 | 65 3 67 | 66 3 68 | 67 3 69 | 68 2 70 | 69 3 71 | 70 0 72 | 71 0 73 | 72 0 74 | 73 2 75 | 74 4 76 | 75 0 77 | 76 0 78 | 77 4 79 | 78 4 80 | 79 3 81 | 80 2 82 | 81 0 83 | 82 3 84 | 83 4 85 | 84 0 86 | 85 3 87 | 86 2 88 | 87 1 89 | 88 3 90 | 89 0 91 | 90 4 92 | 91 5 93 | 92 0 94 | 93 3 95 | 94 3 96 | 95 3 97 | 96 4 98 | 97 1 99 | 98 3 100 | 99 0 101 | 100 3 102 | 101 0 103 | 102 4 104 | 103 3 105 | 104 0 106 | 105 3 107 | 106 3 108 | 107 3 109 | 108 2 110 | 109 0 111 | 110 0 112 | 111 0 113 | 112 2 114 | 113 1 115 | 114 0 116 | 115 0 117 | 116 0 118 | 117 2 119 | 118 3 120 | 119 0 121 | 120 2 122 | 121 0 123 | 122 3 124 | 123 4 125 | 124 1 126 | 125 0 127 | 126 1 128 | 127 3 129 | 128 2 130 | 129 5 131 | 130 4 132 | 131 0 133 | 132 0 134 | 133 0 135 | 134 1 136 | 135 5 137 | 136 0 138 | 137 0 139 | 138 0 140 | 139 0 141 | 140 1 142 | 141 0 143 | 142 0 144 | 143 5 145 | 144 0 146 | 145 0 147 | 146 0 148 | 147 3 149 | 148 0 150 | 149 2 151 | 150 2 152 | 151 3 153 | 152 3 154 | 153 3 155 | 154 3 156 | 155 3 157 | 156 3 158 | 157 3 159 | 158 0 160 | 159 4 161 | 160 0 162 | 161 5 163 | 162 4 164 | 163 0 165 | 164 2 166 | 165 0 167 | 166 0 168 | 167 3 169 | 168 2 170 | 169 5 171 | 170 0 172 | 171 0 173 | 172 4 174 | 173 1 175 | 174 0 176 | 175 4 177 | 176 3 178 | 177 0 179 | 178 3 180 | 179 4 181 | 180 3 182 | 181 0 183 | 182 3 184 | 183 4 185 | 184 3 186 | 185 0 187 | 186 0 188 | 187 0 189 | 188 0 190 | 189 3 191 | 190 0 192 | 191 4 193 | 192 0 194 | 193 0 195 | 194 3 196 | 195 5 197 | 196 0 198 | 197 0 199 | 198 0 200 | 199 0 201 | 200 3 202 | 201 1 203 | 202 0 204 | 203 0 205 | 204 0 206 | 205 3 207 | 206 3 208 | 207 5 209 | 208 0 210 | 209 0 211 | 210 5 212 | 211 0 213 | 212 3 214 | 213 3 215 | 214 0 216 | 215 4 217 | 216 3 218 | 217 1 219 | 218 4 220 | 219 3 221 | 220 3 222 | 221 3 223 | 222 3 224 | 223 3 225 | 224 3 226 | 225 5 227 | 226 0 228 | 227 3 229 | 228 3 230 | 229 0 231 | 230 0 232 | 231 3 233 | 232 3 234 | 233 3 235 | 234 3 236 | 235 3 237 | 236 3 238 | 237 0 239 | 238 2 240 | 239 0 241 | 240 0 242 | 241 0 243 | 242 0 244 | 243 4 245 | 244 3 246 | 245 0 247 | 246 0 248 | 247 0 249 | 248 3 250 | 249 5 251 | 250 0 252 | 251 3 253 | 252 0 254 | 253 3 255 | 254 3 256 | 255 0 257 | 256 3 258 | 257 3 259 | 258 0 260 | 259 3 261 | 260 0 262 | 261 3 263 | 262 4 264 | 263 1 265 | 264 0 266 | 265 3 267 | 266 4 268 | 267 3 269 | 268 4 270 | 269 1 271 | 270 1 272 | 271 0 273 | 272 4 274 | 273 1 275 | 274 4 276 | 275 3 277 | 276 3 278 | 277 0 279 | 278 4 280 | 279 5 281 | 280 1 282 | 281 0 283 | 282 0 284 | 283 1 285 | 284 4 286 | 285 4 287 | 286 4 288 | 287 0 289 | 288 1 290 | 289 1 291 | 290 1 292 | 291 3 293 | 292 3 294 | 293 5 295 | 294 1 296 | 295 3 297 | 296 3 298 | 297 4 299 | 298 1 300 | 299 3 301 | 300 5 302 | 301 2 303 | 302 3 304 | 303 3 305 | 304 3 306 | 305 4 307 | 306 0 308 | 307 0 309 | 308 2 310 | 309 5 311 | 310 3 312 | 311 2 313 | 312 0 314 | 313 0 315 | 314 0 316 | 315 0 317 | 316 0 318 | 317 3 319 | 318 3 320 | 319 0 321 | 320 0 322 | 321 3 323 | 322 3 324 | 323 0 325 | 324 2 326 | 325 2 327 | 326 2 328 | 327 2 329 | 328 1 330 | 329 1 331 | 330 1 332 | 331 2 333 | 332 3 334 | 333 0 335 | 334 0 336 | 335 3 337 | 336 3 338 | 337 0 339 | 338 4 340 | 339 0 341 | 340 0 342 | 341 0 343 | 342 3 344 | 343 5 345 | 344 0 346 | 345 0 347 | 346 0 348 | 347 0 349 | 348 0 350 | 349 3 351 | 350 0 352 | 351 0 353 | 352 2 354 | 353 2 355 | 354 2 356 | 355 3 357 | 356 3 358 | 357 3 359 | 358 5 360 | 359 5 361 | 360 0 362 | 361 0 363 | 362 2 364 | 363 3 365 | 364 3 366 | 365 3 367 | 366 3 368 | 367 0 369 | 368 0 370 | 369 0 371 | 370 5 372 | 371 2 373 | 372 3 374 | 373 0 375 | 374 3 376 | 375 2 377 | 376 2 378 | 377 2 379 | 378 2 380 | 379 0 381 | 380 4 382 | 381 5 383 | 382 3 384 | 383 2 385 | 384 2 386 | 385 0 387 | 386 0 388 | 387 0 389 | 388 0 390 | 389 0 391 | 390 3 392 | 391 3 393 | 392 3 394 | 393 0 395 | 394 0 396 | 395 1 397 | 396 5 398 | 397 5 399 | 398 5 400 | 399 0 401 | 400 0 402 | 401 0 403 | 402 0 404 | 403 0 405 | 404 0 406 | 405 0 407 | 406 3 408 | 407 4 409 | 408 3 410 | 409 0 411 | 410 0 412 | 411 0 413 | 412 0 414 | 413 5 415 | 414 3 416 | 415 5 417 | 416 0 418 | 417 0 419 | 418 0 420 | 419 3 421 | 420 3 422 | 421 2 423 | 422 3 424 | 423 2 425 | 424 0 426 | 425 0 427 | 426 0 428 | 427 3 429 | 428 3 430 | 429 4 431 | 430 4 432 | 431 1 433 | 432 5 434 | 433 5 435 | 434 0 436 | 435 0 437 | 436 0 438 | 437 3 439 | 438 3 440 | 439 3 441 | 440 3 442 | 441 2 443 | 442 3 444 | 443 2 445 | 444 3 446 | 445 3 447 | 446 4 448 | 447 3 449 | 448 0 450 | 449 2 451 | 450 2 452 | 451 3 453 | 452 4 454 | 453 0 455 | 454 0 456 | 455 3 457 | 456 3 458 | 457 4 459 | 458 4 460 | 459 3 461 | 460 3 462 | 461 2 463 | 462 3 464 | 463 3 465 | 464 0 466 | 465 5 467 | 466 5 468 | 467 0 469 | 468 3 470 | 469 3 471 | 470 3 472 | 471 3 473 | 472 0 474 | 473 3 475 | 474 4 476 | 475 3 477 | 476 3 478 | 477 3 479 | 478 0 480 | 479 4 481 | 480 0 482 | 481 3 483 | 482 3 484 | 483 3 485 | 484 0 486 | 485 3 487 | 486 0 488 | 487 0 489 | 488 0 490 | 489 0 491 | 490 4 492 | 491 5 493 | 492 0 494 | 493 0 495 | 494 0 496 | 495 0 497 | 496 0 498 | 497 0 499 | 498 4 500 | 499 0 501 | 500 0 502 | 501 3 503 | 502 3 504 | 503 3 505 | 504 0 506 | 505 4 507 | 506 0 508 | 507 3 509 | 508 3 510 | 509 0 511 | 510 3 512 | 511 0 513 | 512 2 514 | 513 2 515 | 514 0 516 | 515 0 517 | 516 3 518 | 517 3 519 | 518 2 520 | 519 0 521 | 520 0 522 | 521 3 523 | 522 3 524 | 523 3 525 | 524 2 526 | 525 3 527 | 526 0 528 | 527 0 529 | 528 1 530 | 529 0 531 | 530 0 532 | 531 0 533 | 532 0 534 | 533 4 535 | 534 4 536 | 535 3 537 | 536 0 538 | 537 4 539 | 538 3 540 | 539 3 541 | 540 1 542 | 541 3 543 | 542 0 544 | 543 5 545 | 544 1 546 | 545 2 547 | 546 0 548 | 547 3 549 | 548 0 550 | 549 3 551 | 550 3 552 | 551 3 553 | 552 2 554 | 553 4 555 | 554 3 556 | 555 3 557 | 556 2 558 | 557 3 559 | 558 3 560 | 559 5 561 | 560 3 562 | 561 4 563 | 562 4 564 | 563 5 565 | 564 0 566 | 565 5 567 | 566 3 568 | 567 4 569 | 568 0 570 | 569 0 571 | 570 0 572 | 571 3 573 | 572 3 574 | 573 3 575 | 574 3 576 | 575 3 577 | 576 3 578 | 577 1 579 | 578 2 580 | 579 0 581 | 580 3 582 | 581 3 583 | 582 5 584 | 583 0 585 | 584 0 586 | 585 0 587 | 586 3 588 | 587 0 589 | 588 2 590 | 589 0 591 | 590 3 592 | 591 1 593 | 592 3 594 | 593 0 595 | 594 0 596 | 595 0 597 | 596 0 598 | 597 3 599 | 598 3 600 | 599 3 601 | 600 0 602 | 601 4 603 | 602 3 604 | 603 0 605 | 604 0 606 | 605 0 607 | 606 0 608 | 607 0 609 | 608 3 610 | 609 3 611 | 610 5 612 | 611 0 613 | 612 0 614 | 613 0 615 | 614 1 616 | 615 1 617 | 616 3 618 | 617 4 619 | 618 0 620 | 619 3 621 | 620 0 622 | 621 0 623 | 622 0 624 | 623 0 625 | 624 0 626 | 625 0 627 | 626 2 628 | 627 1 629 | 628 5 630 | 629 2 631 | 630 0 632 | 631 0 633 | 632 0 634 | 633 3 635 | 634 3 636 | 635 5 637 | 636 3 638 | 637 2 639 | 638 2 640 | 639 3 641 | 640 3 642 | 641 0 643 | 642 0 644 | 643 0 645 | 644 1 646 | 645 2 647 | 646 3 648 | 647 0 649 | 648 3 650 | 649 0 651 | 650 0 652 | 651 0 653 | 652 1 654 | 653 5 655 | 654 0 656 | 655 3 657 | 656 0 658 | 657 5 659 | 658 3 660 | 659 0 661 | 660 0 662 | 661 0 663 | 662 5 664 | 663 0 665 | 664 4 666 | 665 3 667 | 666 0 668 | 667 0 669 | 668 3 670 | 669 3 671 | 670 3 672 | 671 0 673 | 672 4 674 | 673 3 675 | 674 0 676 | 675 0 677 | 676 0 678 | 677 2 679 | 678 0 680 | 679 2 681 | 680 3 682 | 681 5 683 | 682 0 684 | 683 3 685 | 684 3 686 | 685 3 687 | 686 3 688 | 687 3 689 | 688 3 690 | 689 4 691 | 690 0 692 | 691 0 693 | 692 0 694 | 693 4 695 | 694 3 696 | 695 5 697 | 696 1 698 | 697 3 699 | 698 3 700 | 699 3 701 | 700 3 702 | 701 3 703 | 702 2 704 | 703 0 705 | 704 5 706 | 705 5 707 | 706 3 708 | 707 3 709 | 708 3 710 | 709 2 711 | 710 2 712 | 711 3 713 | 712 2 714 | 713 4 715 | 714 3 716 | 715 5 717 | 716 5 718 | 717 3 719 | 718 0 720 | 719 0 721 | 720 0 722 | 721 0 723 | 722 0 724 | 723 1 725 | 724 1 726 | 725 3 727 | 726 0 728 | 727 3 729 | 728 3 730 | 729 0 731 | 730 0 732 | 731 0 733 | 732 4 734 | 733 0 735 | 734 0 736 | 735 0 737 | 736 0 738 | 737 0 739 | 738 3 740 | 739 1 741 | 740 4 742 | 741 0 743 | 742 3 744 | 743 2 745 | 744 3 746 | 745 3 747 | 746 3 748 | 747 3 749 | 748 3 750 | 749 3 751 | 750 0 752 | 751 0 753 | 752 0 754 | 753 0 755 | 754 4 756 | 755 3 757 | 756 2 758 | 757 0 759 | 758 0 760 | 759 0 761 | 760 0 762 | 761 0 763 | 762 2 764 | 763 3 765 | 764 0 766 | 765 2 767 | 766 5 768 | 767 0 769 | 768 3 770 | 769 4 771 | 770 4 772 | 771 3 773 | 772 3 774 | 773 3 775 | 774 2 776 | 775 0 777 | 776 2 778 | 777 3 779 | 778 0 780 | 779 3 781 | 780 2 782 | 781 2 783 | 782 4 784 | 783 2 785 | 784 2 786 | 785 0 787 | 786 0 788 | 787 0 789 | 788 0 790 | 789 1 791 | 790 0 792 | 791 3 793 | 792 0 794 | 793 4 795 | 794 0 796 | 795 5 797 | 796 0 798 | 797 3 799 | 798 4 800 | 799 3 801 | 800 3 802 | 801 4 803 | 802 4 804 | 803 3 805 | 804 3 806 | 805 3 807 | 806 0 808 | 807 0 809 | 808 0 810 | 809 0 811 | 810 5 812 | 811 0 813 | 812 3 814 | 813 4 815 | 814 0 816 | 815 0 817 | 816 0 818 | 817 0 819 | 818 5 820 | 819 3 821 | 820 5 822 | 821 0 823 | 822 0 824 | 823 4 825 | 824 0 826 | 825 3 827 | 826 1 828 | 827 3 829 | 828 3 830 | 829 3 831 | 830 2 832 | 831 4 833 | 832 4 834 | 833 4 835 | 834 0 836 | 835 0 837 | 836 0 838 | 837 0 839 | 838 1 840 | 839 3 841 | 840 0 842 | 841 3 843 | 842 3 844 | 843 0 845 | 844 3 846 | 845 2 847 | 846 0 848 | 847 0 849 | 848 0 850 | 849 0 851 | 850 0 852 | 851 5 853 | 852 5 854 | 853 5 855 | 854 0 856 | 855 0 857 | 856 1 858 | 857 5 859 | 858 5 860 | 859 4 861 | 860 0 862 | 861 0 863 | 862 4 864 | 863 0 865 | 864 0 866 | 865 0 867 | 866 0 868 | 867 2 869 | 868 0 870 | 869 0 871 | 870 5 872 | 871 3 873 | 872 0 874 | 873 3 875 | 874 0 876 | 875 0 877 | 876 3 878 | 877 0 879 | 878 2 880 | 879 0 881 | 880 2 882 | 881 4 883 | 882 3 884 | 883 3 885 | 884 4 886 | 885 0 887 | 886 4 888 | 887 4 889 | 888 3 890 | 889 1 891 | 890 1 892 | 891 4 893 | 892 0 894 | 893 0 895 | 894 2 896 | 895 4 897 | 896 2 898 | 897 4 899 | 898 0 900 | 899 3 901 | 900 0 902 | 901 3 903 | 902 3 904 | 903 3 905 | 904 3 906 | 905 3 907 | 906 3 908 | 907 0 909 | 908 5 910 | 909 4 911 | 910 3 912 | 911 3 913 | 912 1 914 | 913 4 915 | 914 3 916 | 915 5 917 | 916 1 918 | 917 2 919 | 918 3 920 | 919 0 921 | 920 3 922 | 921 3 923 | 922 3 924 | 923 0 925 | 924 4 926 | 925 0 927 | 926 5 928 | 927 5 929 | 928 0 930 | 929 3 931 | 930 0 932 | 931 0 933 | 932 0 934 | 933 0 935 | 934 3 936 | 935 0 937 | 936 0 938 | 937 0 939 | 938 0 940 | 939 0 941 | 940 1 942 | 941 0 943 | 942 0 944 | 943 0 945 | 944 5 946 | 945 0 947 | 946 3 948 | 947 2 949 | 948 1 950 | 949 1 951 | 950 0 952 | 951 0 953 | 952 3 954 | 953 3 955 | 954 0 956 | 955 0 957 | 956 3 958 | 957 0 959 | 958 3 960 | 959 0 961 | 960 2 962 | 961 5 963 | 962 0 964 | 963 4 965 | 964 0 966 | 965 0 967 | 966 1 968 | 967 3 969 | 968 5 970 | 969 5 971 | 970 0 972 | 971 2 973 | 972 2 974 | 973 0 975 | 974 3 976 | 975 0 977 | 976 3 978 | 977 3 979 | 978 2 980 | 979 0 981 | 980 0 982 | 981 0 983 | 982 0 984 | 983 0 985 | 984 0 986 | 985 1 987 | 986 0 988 | 987 3 989 | 988 0 990 | 989 0 991 | 990 0 992 | 991 4 993 | 992 3 994 | 993 4 995 | 994 0 996 | 995 0 997 | 996 0 998 | 997 4 999 | 998 3 1000 | 999 3 1001 | 1000 3 1002 | 1001 2 1003 | 1002 0 1004 | 1003 0 1005 | 1004 3 1006 | 1005 3 1007 | 1006 3 1008 | 1007 3 1009 | 1008 3 1010 | 1009 0 1011 | 1010 0 1012 | 1011 4 1013 | 1012 3 1014 | 1013 2 1015 | 1014 4 1016 | 1015 2 1017 | 1016 2 1018 | 1017 1 1019 | 1018 4 1020 | 1019 4 1021 | 1020 0 1022 | 1021 2 1023 | 1022 3 1024 | 1023 2 1025 | 1024 0 1026 | 1025 1 1027 | 1026 4 1028 | 1027 4 1029 | 1028 2 1030 | 1029 2 1031 | 1030 1 1032 | 1031 5 1033 | 1032 0 1034 | 1033 4 1035 | 1034 4 1036 | 1035 2 1037 | 1036 3 1038 | 1037 2 1039 | 1038 2 1040 | 1039 4 1041 | 1040 2 1042 | 1041 2 1043 | 1042 2 1044 | 1043 2 1045 | 1044 1 1046 | 1045 5 1047 | 1046 2 1048 | 1047 2 1049 | 1048 2 1050 | 1049 2 1051 | 1050 4 1052 | 1051 5 1053 | 1052 4 1054 | 1053 4 1055 | 1054 2 1056 | 1055 4 1057 | 1056 2 1058 | 1057 4 1059 | 1058 2 1060 | 1059 4 1061 | 1060 2 1062 | 1061 3 1063 | 1062 3 1064 | 1063 4 1065 | 1064 5 1066 | 1065 0 1067 | 1066 4 1068 | 1067 2 1069 | 1068 2 1070 | 1069 0 1071 | 1070 2 1072 | 1071 4 1073 | 1072 4 1074 | 1073 3 1075 | 1074 1 1076 | 1075 3 1077 | 1076 2 1078 | 1077 0 1079 | 1078 2 1080 | 1079 0 1081 | 1080 4 1082 | 1081 2 1083 | 1082 4 1084 | 1083 2 1085 | 1084 0 1086 | 1085 4 1087 | 1086 2 1088 | 1087 0 1089 | 1088 2 1090 | 1089 2 1091 | 1090 2 1092 | 1091 4 1093 | 1092 0 1094 | 1093 4 1095 | 1094 5 1096 | 1095 4 1097 | 1096 5 1098 | 1097 5 1099 | 1098 2 1100 | 1099 4 1101 | 1100 2 1102 | 1101 2 1103 | 1102 2 1104 | 1103 0 1105 | 1104 1 1106 | 1105 2 1107 | 1106 2 1108 | 1107 2 1109 | 1108 5 1110 | 1109 2 1111 | 1110 4 1112 | 1111 4 1113 | 1112 1 1114 | 1113 5 1115 | 1114 3 1116 | 1115 3 1117 | 1116 2 1118 | 1117 2 1119 | 1118 4 1120 | 1119 2 1121 | 1120 1 1122 | 1121 5 1123 | 1122 2 1124 | 1123 4 1125 | 1124 5 1126 | 1125 2 1127 | 1126 0 1128 | 1127 2 1129 | 1128 5 1130 | 1129 4 1131 | 1130 4 1132 | 1131 3 1133 | 1132 2 1134 | 1133 2 1135 | 1134 1 1136 | 1135 2 1137 | 1136 2 1138 | 1137 4 1139 | 1138 2 1140 | 1139 4 1141 | 1140 4 1142 | 1141 2 1143 | 1142 2 1144 | 1143 4 1145 | 1144 3 1146 | 1145 4 1147 | 1146 2 1148 | 1147 4 1149 | 1148 2 1150 | 1149 5 1151 | 1150 2 1152 | 1151 5 1153 | 1152 2 1154 | 1153 4 1155 | 1154 1 1156 | 1155 3 1157 | 1156 4 1158 | 1157 4 1159 | 1158 5 1160 | 1159 2 1161 | 1160 1 1162 | 1161 2 1163 | 1162 4 1164 | 1163 2 1165 | 1164 4 1166 | 1165 3 1167 | 1166 4 1168 | 1167 3 1169 | 1168 4 1170 | 1169 3 1171 | 1170 2 1172 | 1171 4 1173 | 1172 4 1174 | 1173 2 1175 | 1174 2 1176 | 1175 4 1177 | 1176 2 1178 | 1177 3 1179 | 1178 5 1180 | 1179 4 1181 | 1180 2 1182 | 1181 1 1183 | 1182 5 1184 | 1183 5 1185 | 1184 3 1186 | 1185 5 1187 | 1186 5 1188 | 1187 4 1189 | 1188 5 1190 | 1189 4 1191 | 1190 2 1192 | 1191 3 1193 | 1192 2 1194 | 1193 1 1195 | 1194 4 1196 | 1195 4 1197 | 1196 2 1198 | 1197 3 1199 | 1198 5 1200 | 1199 3 1201 | 1200 2 1202 | 1201 5 1203 | 1202 5 1204 | 1203 3 1205 | 1204 4 1206 | 1205 0 1207 | 1206 2 1208 | 1207 3 1209 | 1208 4 1210 | 1209 3 1211 | 1210 2 1212 | 1211 0 1213 | 1212 3 1214 | 1213 1 1215 | 1214 5 1216 | 1215 5 1217 | 1216 0 1218 | 1217 5 1219 | 1218 5 1220 | 1219 3 1221 | 1220 1 1222 | 1221 5 1223 | 1222 3 1224 | 1223 5 1225 | 1224 5 1226 | 1225 2 1227 | 1226 3 1228 | 1227 4 1229 | 1228 2 1230 | 1229 3 1231 | 1230 3 1232 | 1231 3 1233 | 1232 5 1234 | 1233 0 1235 | 1234 3 1236 | 1235 5 1237 | 1236 2 1238 | 1237 1 1239 | 1238 3 1240 | 1239 3 1241 | 1240 0 1242 | 1241 3 1243 | 1242 2 1244 | 1243 5 1245 | 1244 3 1246 | 1245 4 1247 | 1246 2 1248 | 1247 3 1249 | 1248 2 1250 | 1249 3 1251 | 1250 2 1252 | 1251 2 1253 | 1252 5 1254 | 1253 2 1255 | 1254 4 1256 | 1255 2 1257 | 1256 2 1258 | 1257 3 1259 | 1258 5 1260 | 1259 5 1261 | 1260 1 1262 | 1261 2 1263 | 1262 2 1264 | 1263 5 1265 | 1264 3 1266 | 1265 5 1267 | 1266 5 1268 | 1267 3 1269 | 1268 2 1270 | 1269 4 1271 | 1270 5 1272 | 1271 4 1273 | 1272 3 1274 | 1273 3 1275 | 1274 4 1276 | 1275 2 1277 | 1276 5 1278 | 1277 4 1279 | 1278 4 1280 | 1279 3 1281 | 1280 5 1282 | 1281 3 1283 | 1282 3 1284 | 1283 3 1285 | 1284 3 1286 | 1285 5 1287 | 1286 2 1288 | 1287 0 1289 | 1288 4 1290 | 1289 2 1291 | 1290 3 1292 | 1291 5 1293 | 1292 5 1294 | 1293 5 1295 | 1294 2 1296 | 1295 2 1297 | 1296 4 1298 | 1297 1 1299 | 1298 5 1300 | 1299 5 1301 | 1300 5 1302 | 1301 5 1303 | 1302 2 1304 | 1303 5 1305 | 1304 4 1306 | 1305 3 1307 | 1306 5 1308 | 1307 2 1309 | 1308 5 1310 | 1309 2 1311 | 1310 4 1312 | 1311 2 1313 | 1312 4 1314 | 1313 3 1315 | 1314 4 1316 | 1315 4 1317 | 1316 4 1318 | 1317 5 1319 | 1318 4 1320 | 1319 4 1321 | 1320 2 1322 | 1321 2 1323 | 1322 3 1324 | 1323 4 1325 | 1324 5 1326 | 1325 5 1327 | 1326 3 1328 | 1327 4 1329 | 1328 0 1330 | 1329 4 1331 | 1330 3 1332 | 1331 3 1333 | 1332 5 1334 | 1333 5 1335 | 1334 3 1336 | 1335 3 1337 | 1336 3 1338 | 1337 5 1339 | 1338 5 1340 | 1339 3 1341 | 1340 5 1342 | 1341 5 1343 | 1342 4 1344 | 1343 0 1345 | 1344 5 1346 | 1345 3 1347 | 1346 5 1348 | 1347 2 1349 | 1348 1 1350 | 1349 3 1351 | 1350 4 1352 | 1351 3 1353 | 1352 2 1354 | 1353 1 1355 | 1354 4 1356 | 1355 1 1357 | 1356 1 1358 | 1357 4 1359 | 1358 1 1360 | 1359 4 1361 | 1360 4 1362 | 1361 5 1363 | 1362 2 1364 | 1363 4 1365 | 1364 4 1366 | 1365 4 1367 | 1366 4 1368 | 1367 4 1369 | 1368 1 1370 | 1369 4 1371 | 1370 4 1372 | 1371 2 1373 | 1372 4 1374 | 1373 2 1375 | 1374 3 1376 | 1375 4 1377 | 1376 4 1378 | 1377 5 1379 | 1378 4 1380 | 1379 1 1381 | 1380 4 1382 | 1381 3 1383 | 1382 5 1384 | 1383 3 1385 | 1384 1 1386 | 1385 4 1387 | 1386 1 1388 | 1387 3 1389 | 1388 0 1390 | 1389 2 1391 | 1390 2 1392 | 1391 2 1393 | 1392 2 1394 | 1393 2 1395 | 1394 2 1396 | 1395 3 1397 | 1396 2 1398 | 1397 3 1399 | 1398 4 1400 | 1399 4 1401 | 1400 1 1402 | 1401 2 1403 | 1402 2 1404 | 1403 2 1405 | 1404 2 1406 | 1405 2 1407 | 1406 4 1408 | 1407 4 1409 | 1408 4 1410 | 1409 4 1411 | 1410 3 1412 | 1411 2 1413 | 1412 1 1414 | 1413 0 1415 | 1414 1 1416 | 1415 1 1417 | 1416 2 1418 | 1417 2 1419 | 1418 5 1420 | 1419 3 1421 | 1420 0 1422 | 1421 5 1423 | 1422 5 1424 | 1423 5 1425 | 1424 3 1426 | 1425 2 1427 | 1426 2 1428 | 1427 2 1429 | 1428 4 1430 | 1429 4 1431 | 1430 3 1432 | 1431 1 1433 | 1432 5 1434 | 1433 5 1435 | 1434 5 1436 | 1435 5 1437 | 1436 5 1438 | 1437 0 1439 | 1438 4 1440 | 1439 2 1441 | 1440 2 1442 | 1441 4 1443 | 1442 2 1444 | 1443 1 1445 | 1444 2 1446 | 1445 2 1447 | 1446 5 1448 | 1447 5 1449 | 1448 5 1450 | 1449 2 1451 | 1450 2 1452 | 1451 4 1453 | 1452 5 1454 | 1453 5 1455 | 1454 3 1456 | 1455 5 1457 | 1456 5 1458 | 1457 5 1459 | 1458 4 1460 | 1459 1 1461 | 1460 3 1462 | 1461 5 1463 | 1462 1 1464 | 1463 5 1465 | 1464 3 1466 | 1465 5 1467 | 1466 2 1468 | 1467 3 1469 | 1468 2 1470 | 1469 5 1471 | 1470 5 1472 | 1471 3 1473 | 1472 2 1474 | 1473 2 1475 | 1474 3 1476 | 1475 2 1477 | 1476 1 1478 | 1477 0 1479 | 1478 2 1480 | 1479 2 1481 | 1480 2 1482 | 1481 2 1483 | 1482 5 1484 | 1483 4 1485 | 1484 5 1486 | 1485 2 1487 | 1486 4 1488 | 1487 5 1489 | 1488 5 1490 | 1489 1 1491 | 1490 5 1492 | 1491 2 1493 | 1492 4 1494 | 1493 4 1495 | 1494 2 1496 | 1495 4 1497 | 1496 0 1498 | 1497 2 1499 | 1498 2 1500 | 1499 2 1501 | 1500 2 1502 | 1501 5 1503 | 1502 5 1504 | 1503 5 1505 | 1504 1 1506 | 1505 5 1507 | 1506 2 1508 | 1507 2 1509 | 1508 2 1510 | 1509 2 1511 | 1510 4 1512 | 1511 3 1513 | 1512 4 1514 | 1513 4 1515 | 1514 1 1516 | 1515 3 1517 | 1516 4 1518 | 1517 3 1519 | 1518 5 1520 | 1519 5 1521 | 1520 0 1522 | 1521 3 1523 | 1522 4 1524 | 1523 4 1525 | 1524 4 1526 | 1525 2 1527 | 1526 3 1528 | 1527 0 1529 | 1528 2 1530 | 1529 2 1531 | 1530 5 1532 | 1531 2 1533 | 1532 2 1534 | 1533 2 1535 | 1534 1 1536 | 1535 1 1537 | 1536 2 1538 | 1537 2 1539 | 1538 2 1540 | 1539 2 1541 | 1540 5 1542 | 1541 5 1543 | 1542 5 1544 | 1543 3 1545 | 1544 2 1546 | 1545 2 1547 | 1546 2 1548 | 1547 2 1549 | 1548 4 1550 | 1549 5 1551 | 1550 5 1552 | 1551 2 1553 | 1552 5 1554 | 1553 3 1555 | 1554 5 1556 | 1555 2 1557 | 1556 2 1558 | 1557 4 1559 | 1558 4 1560 | 1559 1 1561 | 1560 1 1562 | 1561 4 1563 | 1562 2 1564 | 1563 4 1565 | 1564 1 1566 | 1565 4 1567 | 1566 0 1568 | 1567 0 1569 | 1568 3 1570 | 1569 4 1571 | 1570 2 1572 | 1571 5 1573 | 1572 5 1574 | 1573 2 1575 | 1574 4 1576 | 1575 5 1577 | 1576 0 1578 | 1577 1 1579 | 1578 5 1580 | 1579 2 1581 | 1580 5 1582 | 1581 4 1583 | 1582 5 1584 | 1583 4 1585 | 1584 4 1586 | 1585 4 1587 | 1586 3 1588 | 1587 3 1589 | 1588 3 1590 | 1589 5 1591 | 1590 5 1592 | 1591 4 1593 | 1592 3 1594 | 1593 3 1595 | 1594 4 1596 | 1595 4 1597 | 1596 4 1598 | 1597 3 1599 | 1598 3 1600 | 1599 2 1601 | 1600 2 1602 | 1601 2 1603 | 1602 2 1604 | 1603 5 1605 | 1604 2 1606 | 1605 2 1607 | 1606 2 1608 | 1607 2 1609 | 1608 2 1610 | 1609 5 1611 | 1610 4 1612 | 1611 2 1613 | 1612 5 1614 | 1613 2 1615 | 1614 2 1616 | 1615 2 1617 | 1616 2 1618 | 1617 5 1619 | 1618 5 1620 | 1619 4 1621 | 1620 2 1622 | 1621 0 1623 | 1622 2 1624 | 1623 2 1625 | 1624 4 1626 | 1625 4 1627 | 1626 5 1628 | 1627 4 1629 | 1628 3 1630 | 1629 4 1631 | 1630 2 1632 | 1631 4 1633 | 1632 2 1634 | 1633 2 1635 | 1634 2 1636 | 1635 3 1637 | 1636 2 1638 | 1637 4 1639 | 1638 1 1640 | 1639 2 1641 | 1640 4 1642 | 1641 4 1643 | 1642 3 1644 | 1643 4 1645 | 1644 3 1646 | 1645 5 1647 | 1646 2 1648 | 1647 2 1649 | 1648 5 1650 | 1649 3 1651 | 1650 3 1652 | 1651 4 1653 | 1652 0 1654 | 1653 4 1655 | 1654 1 1656 | 1655 5 1657 | 1656 5 1658 | 1657 4 1659 | 1658 4 1660 | 1659 2 1661 | 1660 3 1662 | 1661 2 1663 | 1662 3 1664 | 1663 4 1665 | 1664 3 1666 | 1665 4 1667 | 1666 4 1668 | 1667 3 1669 | 1668 3 1670 | 1669 5 1671 | 1670 5 1672 | 1671 5 1673 | 1672 2 1674 | 1673 2 1675 | 1674 5 1676 | 1675 0 1677 | 1676 5 1678 | 1677 3 1679 | 1678 3 1680 | 1679 2 1681 | 1680 4 1682 | 1681 4 1683 | 1682 2 1684 | 1683 5 1685 | 1684 2 1686 | 1685 2 1687 | 1686 4 1688 | 1687 2 1689 | 1688 2 1690 | 1689 4 1691 | 1690 2 1692 | 1691 4 1693 | 1692 1 1694 | 1693 2 1695 | 1694 1 1696 | 1695 2 1697 | 1696 4 1698 | 1697 4 1699 | 1698 5 1700 | 1699 3 1701 | 1700 4 1702 | 1701 2 1703 | 1702 5 1704 | 1703 5 1705 | 1704 5 1706 | 1705 5 1707 | 1706 5 1708 | 1707 2 1709 | 1708 5 1710 | 1709 5 1711 | 1710 4 1712 | 1711 5 1713 | 1712 5 1714 | 1713 5 1715 | 1714 3 1716 | 1715 4 1717 | 1716 4 1718 | 1717 4 1719 | 1718 3 1720 | 1719 5 1721 | 1720 2 1722 | 1721 4 1723 | 1722 0 1724 | 1723 2 1725 | 1724 3 1726 | 1725 2 1727 | 1726 4 1728 | 1727 4 1729 | 1728 4 1730 | 1729 1 1731 | 1730 2 1732 | 1731 4 1733 | 1732 4 1734 | 1733 4 1735 | 1734 4 1736 | 1735 4 1737 | 1736 4 1738 | 1737 4 1739 | 1738 4 1740 | 1739 5 1741 | 1740 3 1742 | 1741 3 1743 | 1742 4 1744 | 1743 4 1745 | 1744 4 1746 | 1745 4 1747 | 1746 1 1748 | 1747 2 1749 | 1748 3 1750 | 1749 5 1751 | 1750 2 1752 | 1751 2 1753 | 1752 3 1754 | 1753 3 1755 | 1754 1 1756 | 1755 5 1757 | 1756 2 1758 | 1757 1 1759 | 1758 0 1760 | 1759 4 1761 | 1760 5 1762 | 1761 3 1763 | 1762 2 1764 | 1763 2 1765 | 1764 5 1766 | 1765 5 1767 | 1766 3 1768 | 1767 4 1769 | 1768 4 1770 | 1769 2 1771 | 1770 0 1772 | 1771 0 1773 | 1772 5 1774 | 1773 2 1775 | 1774 5 1776 | 1775 2 1777 | 1776 2 1778 | 1777 5 1779 | 1778 4 1780 | 1779 3 1781 | 1780 4 1782 | 1781 3 1783 | 1782 0 1784 | 1783 3 1785 | 1784 5 1786 | 1785 5 1787 | 1786 2 1788 | 1787 4 1789 | 1788 3 1790 | 1789 4 1791 | 1790 2 1792 | 1791 1 1793 | 1792 5 1794 | 1793 5 1795 | 1794 5 1796 | 1795 4 1797 | 1796 3 1798 | 1797 4 1799 | 1798 2 1800 | 1799 3 1801 | 1800 1 1802 | 1801 2 1803 | 1802 2 1804 | 1803 4 1805 | 1804 2 1806 | 1805 5 1807 | 1806 3 1808 | 1807 3 1809 | 1808 2 1810 | 1809 2 1811 | 1810 4 1812 | 1811 5 1813 | 1812 2 1814 | 1813 2 1815 | 1814 2 1816 | 1815 4 1817 | 1816 4 1818 | 1817 2 1819 | 1818 2 1820 | 1819 5 1821 | 1820 5 1822 | 1821 3 1823 | 1822 4 1824 | 1823 4 1825 | 1824 4 1826 | 1825 5 1827 | 1826 4 1828 | 1827 5 1829 | 1828 2 1830 | 1829 3 1831 | 1830 2 1832 | 1831 5 1833 | 1832 3 1834 | 1833 2 1835 | 1834 5 1836 | 1835 5 1837 | 1836 5 1838 | 1837 5 1839 | 1838 5 1840 | 1839 5 1841 | 1840 4 1842 | 1841 5 1843 | 1842 0 1844 | 1843 0 1845 | 1844 0 1846 | 1845 5 1847 | 1846 5 1848 | 1847 2 1849 | 1848 0 1850 | 1849 0 1851 | 1850 3 1852 | 1851 2 1853 | 1852 3 1854 | 1853 5 1855 | 1854 5 1856 | 1855 4 1857 | 1856 3 1858 | 1857 1 1859 | 1858 1 1860 | 1859 1 1861 | 1860 2 1862 | 1861 5 1863 | 1862 1 1864 | 1863 3 1865 | 1864 2 1866 | 1865 4 1867 | 1866 2 1868 | 1867 2 1869 | 1868 0 1870 | 1869 4 1871 | 1870 5 1872 | 1871 5 1873 | 1872 5 1874 | 1873 4 1875 | 1874 1 1876 | 1875 2 1877 | 1876 4 1878 | 1877 5 1879 | 1878 5 1880 | 1879 0 1881 | 1880 2 1882 | 1881 0 1883 | 1882 2 1884 | 1883 3 1885 | 1884 3 1886 | 1885 2 1887 | 1886 5 1888 | 1887 0 1889 | 1888 0 1890 | 1889 5 1891 | 1890 5 1892 | 1891 3 1893 | 1892 1 1894 | 1893 2 1895 | 1894 2 1896 | 1895 3 1897 | 1896 2 1898 | 1897 3 1899 | 1898 3 1900 | 1899 3 1901 | 1900 5 1902 | 1901 5 1903 | 1902 2 1904 | 1903 0 1905 | 1904 4 1906 | 1905 4 1907 | 1906 5 1908 | 1907 3 1909 | 1908 2 1910 | 1909 2 1911 | 1910 2 1912 | 1911 2 1913 | 1912 2 1914 | 1913 1 1915 | 1914 2 1916 | 1915 2 1917 | 1916 5 1918 | 1917 5 1919 | 1918 5 1920 | 1919 4 1921 | 1920 4 1922 | 1921 3 1923 | 1922 5 1924 | 1923 4 1925 | 1924 2 1926 | 1925 5 1927 | 1926 5 1928 | 1927 2 1929 | 1928 2 1930 | 1929 5 1931 | 1930 2 1932 | 1931 4 1933 | 1932 2 1934 | 1933 0 1935 | 1934 4 1936 | 1935 0 1937 | 1936 0 1938 | 1937 3 1939 | 1938 3 1940 | 1939 2 1941 | 1940 5 1942 | 1941 4 1943 | 1942 4 1944 | 1943 2 1945 | 1944 5 1946 | 1945 5 1947 | 1946 4 1948 | 1947 4 1949 | 1948 3 1950 | 1949 3 1951 | 1950 2 1952 | 1951 3 1953 | 1952 1 1954 | 1953 5 1955 | 1954 5 1956 | 1955 5 1957 | 1956 3 1958 | 1957 4 1959 | 1958 2 1960 | 1959 2 1961 | 1960 5 1962 | 1961 4 1963 | 1962 4 1964 | 1963 4 1965 | 1964 5 1966 | 1965 1 1967 | 1966 4 1968 | 1967 2 1969 | 1968 4 1970 | 1969 3 1971 | 1970 4 1972 | 1971 4 1973 | 1972 4 1974 | 1973 4 1975 | 1974 5 1976 | 1975 4 1977 | 1976 3 1978 | 1977 1 1979 | 1978 4 1980 | 1979 3 1981 | 1980 5 1982 | 1981 1 1983 | 1982 0 1984 | 1983 0 1985 | 1984 2 1986 | 1985 4 1987 | 1986 2 1988 | 1987 2 1989 | 1988 2 1990 | 1989 3 1991 | 1990 2 1992 | 1991 3 1993 | 1992 1 1994 | 1993 1 1995 | 1994 5 1996 | 1995 4 1997 | 1996 4 1998 | 1997 4 1999 | 1998 3 2000 | 1999 3 2001 | 2000 5 2002 | 2001 5 2003 | 2002 5 2004 | 2003 5 2005 | 2004 5 2006 | 2005 5 2007 | 2006 5 2008 | 2007 4 2009 | 2008 5 2010 | 2009 5 2011 | 2010 2 2012 | 2011 2 2013 | 2012 0 2014 | 2013 1 2015 | 2014 4 2016 | 2015 4 2017 | 2016 3 2018 | 2017 3 2019 | 2018 3 2020 | 2019 4 2021 | 2020 4 2022 | 2021 2 2023 | 2022 2 2024 | 2023 5 2025 | 2024 3 2026 | 2025 5 2027 | 2026 4 2028 | 2027 4 2029 | 2028 1 2030 | 2029 1 2031 | 2030 4 2032 | 2031 3 2033 | 2032 5 2034 | 2033 5 2035 | 2034 2 2036 | 2035 3 2037 | 2036 2 2038 | 2037 2 2039 | 2038 0 2040 | 2039 5 2041 | 2040 4 2042 | 2041 2 2043 | 2042 3 2044 | 2043 4 2045 | 2044 3 2046 | 2045 2 2047 | 2046 2 2048 | 2047 2 2049 | 2048 5 2050 | 2049 5 2051 | 2050 5 2052 | 2051 2 2053 | 2052 5 2054 | 2053 2 2055 | 2054 5 2056 | 2055 5 2057 | 2056 5 2058 | 2057 2 2059 | 2058 2 2060 | 2059 2 2061 | 2060 5 2062 | 2061 4 2063 | 2062 5 2064 | 2063 5 2065 | 2064 3 2066 | 2065 3 2067 | 2066 3 2068 | 2067 0 2069 | 2068 3 2070 | 2069 3 2071 | 2070 4 2072 | 2071 5 2073 | 2072 5 2074 | 2073 3 2075 | 2074 2 2076 | 2075 5 2077 | 2076 4 2078 | 2077 4 2079 | 2078 0 2080 | 2079 2 2081 | 2080 5 2082 | 2081 4 2083 | 2082 4 2084 | 2083 1 2085 | 2084 4 2086 | 2085 3 2087 | 2086 0 2088 | 2087 0 2089 | 2088 4 2090 | 2089 0 2091 | 2090 3 2092 | 2091 3 2093 | 2092 5 2094 | 2093 2 2095 | 2094 1 2096 | 2095 5 2097 | 2096 4 2098 | 2097 3 2099 | 2098 5 2100 | 2099 5 2101 | 2100 2 2102 | 2101 2 2103 | 2102 2 2104 | 2103 4 2105 | 2104 3 2106 | 2105 2 2107 | 2106 2 2108 | 2107 2 2109 | 2108 2 2110 | 2109 5 2111 | 2110 5 2112 | 2111 5 2113 | 2112 5 2114 | 2113 5 2115 | 2114 5 2116 | 2115 2 2117 | 2116 4 2118 | 2117 0 2119 | 2118 3 2120 | 2119 2 2121 | 2120 3 2122 | 2121 5 2123 | 2122 5 2124 | 2123 5 2125 | 2124 5 2126 | 2125 2 2127 | 2126 5 2128 | 2127 5 2129 | 2128 3 2130 | 2129 1 2131 | 2130 4 2132 | 2131 4 2133 | 2132 4 2134 | 2133 4 2135 | 2134 0 2136 | 2135 4 2137 | 2136 2 2138 | 2137 0 2139 | 2138 2 2140 | 2139 2 2141 | 2140 2 2142 | 2141 4 2143 | 2142 1 2144 | 2143 1 2145 | 2144 1 2146 | 2145 5 2147 | 2146 3 2148 | 2147 0 2149 | 2148 5 2150 | 2149 3 2151 | 2150 3 2152 | 2151 5 2153 | 2152 3 2154 | 2153 2 2155 | 2154 3 2156 | 2155 2 2157 | 2156 4 2158 | 2157 3 2159 | 2158 0 2160 | 2159 4 2161 | 2160 4 2162 | 2161 3 2163 | 2162 3 2164 | 2163 2 2165 | 2164 2 2166 | 2165 2 2167 | 2166 2 2168 | 2167 2 2169 | 2168 2 2170 | 2169 2 2171 | 2170 4 2172 | 2171 4 2173 | 2172 4 2174 | 2173 4 2175 | 2174 4 2176 | 2175 5 2177 | 2176 4 2178 | 2177 4 2179 | 2178 1 2180 | 2179 0 2181 | 2180 2 2182 | 2181 3 2183 | 2182 1 2184 | 2183 4 2185 | 2184 2 2186 | 2185 0 2187 | 2186 1 2188 | 2187 0 2189 | 2188 3 2190 | 2189 3 2191 | 2190 5 2192 | 2191 1 2193 | 2192 4 2194 | 2193 2 2195 | 2194 4 2196 | 2195 4 2197 | 2196 1 2198 | 2197 1 2199 | 2198 1 2200 | 2199 4 2201 | 2200 0 2202 | 2201 2 2203 | 2202 4 2204 | 2203 2 2205 | 2204 4 2206 | 2205 2 2207 | 2206 2 2208 | 2207 4 2209 | 2208 0 2210 | 2209 4 2211 | 2210 4 2212 | 2211 4 2213 | 2212 2 2214 | 2213 2 2215 | 2214 3 2216 | 2215 4 2217 | 2216 2 2218 | 2217 2 2219 | 2218 2 2220 | 2219 0 2221 | 2220 2 2222 | 2221 2 2223 | 2222 2 2224 | 2223 2 2225 | 2224 3 2226 | 2225 4 2227 | 2226 0 2228 | 2227 4 2229 | 2228 2 2230 | 2229 0 2231 | 2230 4 2232 | 2231 2 2233 | 2232 0 2234 | 2233 1 2235 | 2234 2 2236 | 2235 2 2237 | 2236 2 2238 | 2237 4 2239 | 2238 3 2240 | 2239 0 2241 | 2240 3 2242 | 2241 4 2243 | 2242 3 2244 | 2243 5 2245 | 2244 2 2246 | 2245 2 2247 | 2246 3 2248 | 2247 4 2249 | 2248 2 2250 | 2249 1 2251 | 2250 4 2252 | 2251 2 2253 | 2252 2 2254 | 2253 2 2255 | 2254 5 2256 | 2255 5 2257 | 2256 2 2258 | 2257 2 2259 | 2258 2 2260 | 2259 3 2261 | 2260 5 2262 | 2261 2 2263 | 2262 5 2264 | 2263 2 2265 | 2264 2 2266 | 2265 4 2267 | 2266 3 2268 | 2267 4 2269 | 2268 4 2270 | 2269 4 2271 | 2270 2 2272 | 2271 2 2273 | 2272 1 2274 | 2273 5 2275 | 2274 4 2276 | 2275 4 2277 | 2276 2 2278 | 2277 4 2279 | 2278 2 2280 | 2279 5 2281 | 2280 2 2282 | 2281 1 2283 | 2282 0 2284 | 2283 2 2285 | 2284 1 2286 | 2285 0 2287 | 2286 2 2288 | 2287 5 2289 | 2288 0 2290 | 2289 4 2291 | 2290 0 2292 | 2291 2 2293 | 2292 5 2294 | 2293 3 2295 | 2294 3 2296 | 2295 2 2297 | 2296 5 2298 | 2297 4 2299 | 2298 3 2300 | 2299 2 2301 | 2300 3 2302 | 2301 4 2303 | 2302 1 2304 | 2303 4 2305 | 2304 2 2306 | 2305 2 2307 | 2306 2 2308 | 2307 2 2309 | 2308 4 2310 | 2309 2 2311 | 2310 2 2312 | 2311 4 2313 | 2312 0 2314 | 2313 4 2315 | 2314 2 2316 | 2315 4 2317 | 2316 3 2318 | 2317 1 2319 | 2318 1 2320 | 2319 2 2321 | 2320 4 2322 | 2321 5 2323 | 2322 4 2324 | 2323 2 2325 | 2324 4 2326 | 2325 2 2327 | 2326 4 2328 | 2327 4 2329 | 2328 3 2330 | 2329 4 2331 | 2330 3 2332 | 2331 1 2333 | 2332 2 2334 | 2333 2 2335 | 2334 0 2336 | 2335 2 2337 | 2336 5 2338 | 2337 5 2339 | 2338 5 2340 | 2339 2 2341 | 2340 3 2342 | 2341 0 2343 | 2342 3 2344 | 2343 2 2345 | 2344 2 2346 | 2345 1 2347 | 2346 5 2348 | 2347 5 2349 | 2348 0 2350 | 2349 2 2351 | 2350 2 2352 | 2351 0 2353 | 2352 2 2354 | 2353 1 2355 | 2354 0 2356 | 2355 3 2357 | 2356 2 2358 | 2357 0 2359 | 2358 5 2360 | 2359 3 2361 | 2360 0 2362 | 2361 3 2363 | 2362 4 2364 | 2363 3 2365 | 2364 3 2366 | 2365 1 2367 | 2366 4 2368 | 2367 4 2369 | 2368 5 2370 | 2369 5 2371 | 2370 4 2372 | 2371 2 2373 | 2372 2 2374 | 2373 3 2375 | 2374 4 2376 | 2375 4 2377 | 2376 5 2378 | 2377 2 2379 | 2378 4 2380 | 2379 0 2381 | 2380 4 2382 | 2381 5 2383 | 2382 5 2384 | 2383 0 2385 | 2384 3 2386 | 2385 3 2387 | 2386 0 2388 | 2387 5 2389 | 2388 2 2390 | 2389 4 2391 | 2390 2 2392 | 2391 0 2393 | 2392 4 2394 | 2393 5 2395 | 2394 4 2396 | 2395 1 2397 | 2396 5 2398 | 2397 4 2399 | 2398 5 2400 | 2399 3 2401 | 2400 3 2402 | 2401 3 2403 | 2402 5 2404 | 2403 3 2405 | 2404 4 2406 | 2405 5 2407 | 2406 3 2408 | 2407 2 2409 | 2408 3 2410 | 2409 2 2411 | 2410 1 2412 | 2411 5 2413 | 2412 5 2414 | 2413 5 2415 | 2414 5 2416 | 2415 2 2417 | 2416 4 2418 | 2417 2 2419 | 2418 5 2420 | 2419 4 2421 | 2420 4 2422 | 2421 0 2423 | 2422 2 2424 | 2423 2 2425 | 2424 5 2426 | 2425 5 2427 | 2426 5 2428 | 2427 3 2429 | 2428 5 2430 | 2429 0 2431 | 2430 1 2432 | 2431 4 2433 | 2432 5 2434 | 2433 4 2435 | 2434 0 2436 | 2435 0 2437 | 2436 5 2438 | 2437 4 2439 | 2438 0 2440 | 2439 5 2441 | 2440 5 2442 | 2441 0 2443 | 2442 3 2444 | 2443 0 2445 | 2444 0 2446 | 2445 0 2447 | 2446 3 2448 | 2447 2 2449 | 2448 1 2450 | 2449 0 2451 | 2450 3 2452 | 2451 2 2453 | 2452 5 2454 | 2453 3 2455 | 2454 0 2456 | 2455 0 2457 | 2456 2 2458 | 2457 4 2459 | 2458 5 2460 | 2459 4 2461 | 2460 3 2462 | 2461 5 2463 | 2462 1 2464 | 2463 3 2465 | 2464 3 2466 | 2465 0 2467 | 2466 3 2468 | 2467 4 2469 | 2468 4 2470 | 2469 0 2471 | 2470 4 2472 | 2471 1 2473 | 2472 5 2474 | 2473 3 2475 | 2474 2 2476 | 2475 5 2477 | 2476 2 2478 | 2477 4 2479 | 2478 2 2480 | 2479 1 2481 | 2480 3 2482 | 2481 4 2483 | 2482 3 2484 | 2483 2 2485 | 2484 0 2486 | 2485 2 2487 | 2486 2 2488 | 2487 0 2489 | 2488 4 2490 | 2489 2 2491 | 2490 2 2492 | 2491 2 2493 | 2492 4 2494 | 2493 3 2495 | 2494 4 2496 | 2495 4 2497 | 2496 3 2498 | 2497 4 2499 | 2498 1 2500 | 2499 1 2501 | 2500 2 2502 | 2501 1 2503 | 2502 3 2504 | 2503 2 2505 | 2504 1 2506 | 2505 2 2507 | 2506 4 2508 | 2507 3 2509 | 2508 4 2510 | 2509 3 2511 | 2510 2 2512 | 2511 2 2513 | 2512 4 2514 | 2513 3 2515 | 2514 3 2516 | 2515 5 2517 | 2516 1 2518 | 2517 1 2519 | 2518 5 2520 | 2519 5 2521 | 2520 2 2522 | 2521 3 2523 | 2522 2 2524 | 2523 2 2525 | 2524 1 2526 | 2525 3 2527 | 2526 3 2528 | 2527 4 2529 | 2528 3 2530 | 2529 2 2531 | 2530 2 2532 | 2531 0 2533 | 2532 0 2534 | 2533 0 2535 | 2534 2 2536 | 2535 2 2537 | 2536 2 2538 | 2537 5 2539 | 2538 2 2540 | 2539 1 2541 | 2540 0 2542 | 2541 3 2543 | 2542 3 2544 | 2543 0 2545 | 2544 0 2546 | 2545 1 2547 | 2546 1 2548 | 2547 2 2549 | 2548 3 2550 | 2549 5 2551 | 2550 5 2552 | 2551 1 2553 | 2552 2 2554 | 2553 5 2555 | 2554 0 2556 | 2555 5 2557 | 2556 2 2558 | 2557 2 2559 | 2558 3 2560 | 2559 5 2561 | 2560 4 2562 | 2561 2 2563 | 2562 1 2564 | 2563 1 2565 | 2564 3 2566 | 2565 1 2567 | 2566 2 2568 | 2567 2 2569 | 2568 1 2570 | 2569 5 2571 | 2570 3 2572 | 2571 3 2573 | 2572 2 2574 | 2573 5 2575 | 2574 3 2576 | 2575 0 2577 | 2576 5 2578 | 2577 3 2579 | 2578 2 2580 | 2579 2 2581 | 2580 2 2582 | 2581 4 2583 | 2582 2 2584 | 2583 2 2585 | 2584 2 2586 | 2585 2 2587 | 2586 2 2588 | 2587 2 2589 | 2588 3 2590 | 2589 2 2591 | 2590 2 2592 | 2591 1 2593 | 2592 5 2594 | 2593 4 2595 | 2594 2 2596 | 2595 2 2597 | 2596 2 2598 | 2597 3 2599 | 2598 2 2600 | 2599 4 2601 | 2600 4 2602 | 2601 2 2603 | 2602 2 2604 | 2603 2 2605 | 2604 4 2606 | 2605 0 2607 | 2606 0 2608 | 2607 4 2609 | 2608 0 2610 | 2609 2 2611 | 2610 5 2612 | 2611 2 2613 | 2612 2 2614 | 2613 1 2615 | 2614 0 2616 | 2615 0 2617 | 2616 0 2618 | 2617 0 2619 | 2618 0 2620 | 2619 0 2621 | 2620 2 2622 | 2621 2 2623 | 2622 1 2624 | 2623 4 2625 | 2624 2 2626 | 2625 2 2627 | 2626 2 2628 | 2627 5 2629 | 2628 4 2630 | 2629 4 2631 | 2630 5 2632 | 2631 4 2633 | 2632 2 2634 | 2633 3 2635 | 2634 3 2636 | 2635 1 2637 | 2636 1 2638 | 2637 1 2639 | 2638 3 2640 | 2639 4 2641 | 2640 4 2642 | 2641 1 2643 | 2642 2 2644 | 2643 4 2645 | 2644 4 2646 | 2645 4 2647 | 2646 0 2648 | 2647 4 2649 | 2648 0 2650 | 2649 2 2651 | 2650 2 2652 | 2651 1 2653 | 2652 2 2654 | 2653 1 2655 | 2654 2 2656 | 2655 4 2657 | 2656 4 2658 | 2657 2 2659 | 2658 2 2660 | 2659 2 2661 | 2660 2 2662 | 2661 2 2663 | 2662 0 2664 | 2663 3 2665 | 2664 5 2666 | 2665 2 2667 | 2666 0 2668 | 2667 4 2669 | 2668 3 2670 | 2669 4 2671 | 2670 3 2672 | 2671 5 2673 | 2672 2 2674 | 2673 2 2675 | 2674 2 2676 | 2675 4 2677 | 2676 3 2678 | 2677 3 2679 | 2678 5 2680 | 2679 3 2681 | 2680 4 2682 | 2681 2 2683 | 2682 4 2684 | 2683 4 2685 | 2684 0 2686 | 2685 4 2687 | 2686 3 2688 | 2687 2 2689 | 2688 2 2690 | 2689 2 2691 | 2690 4 2692 | 2691 4 2693 | 2692 4 2694 | 2693 3 2695 | 2694 3 2696 | 2695 4 2697 | 2696 2 2698 | 2697 1 2699 | 2698 0 2700 | 2699 0 2701 | 2700 2 2702 | 2701 2 2703 | 2702 4 2704 | 2703 0 2705 | 2704 2 2706 | 2705 0 2707 | 2706 3 2708 | 2707 5 2709 | 2708 4 2710 | 2709 2 2711 | 2710 2 2712 | 2711 4 2713 | 2712 2 2714 | 2713 1 2715 | 2714 2 2716 | 2715 5 2717 | 2716 0 2718 | 2717 0 2719 | 2718 5 2720 | 2719 5 2721 | 2720 3 2722 | 2721 0 2723 | 2722 2 2724 | 2723 1 2725 | 2724 2 2726 | 2725 1 2727 | 2726 2 2728 | 2727 0 2729 | 2728 4 2730 | 2729 2 2731 | 2730 5 2732 | 2731 1 2733 | 2732 3 2734 | 2733 2 2735 | 2734 0 2736 | 2735 5 2737 | 2736 2 2738 | 2737 2 2739 | 2738 3 2740 | 2739 5 2741 | 2740 3 2742 | 2741 5 2743 | 2742 2 2744 | 2743 4 2745 | 2744 3 2746 | 2745 3 2747 | 2746 3 2748 | 2747 5 2749 | 2748 5 2750 | 2749 2 2751 | 2750 5 2752 | 2751 4 2753 | 2752 5 2754 | 2753 5 2755 | 2754 5 2756 | 2755 5 2757 | 2756 5 2758 | 2757 1 2759 | 2758 2 2760 | 2759 2 2761 | 2760 2 2762 | 2761 4 2763 | 2762 4 2764 | 2763 3 2765 | 2764 4 2766 | 2765 2 2767 | 2766 1 2768 | 2767 3 2769 | 2768 4 2770 | 2769 4 2771 | 2770 0 2772 | 2771 0 2773 | 2772 2 2774 | 2773 3 2775 | 2774 3 2776 | 2775 5 2777 | 2776 5 2778 | 2777 4 2779 | 2778 3 2780 | 2779 3 2781 | 2780 3 2782 | 2781 4 2783 | 2782 1 2784 | 2783 3 2785 | 2784 5 2786 | 2785 5 2787 | 2786 0 2788 | 2787 4 2789 | 2788 4 2790 | 2789 2 2791 | 2790 0 2792 | 2791 3 2793 | 2792 4 2794 | 2793 3 2795 | 2794 4 2796 | 2795 3 2797 | 2796 5 2798 | 2797 1 2799 | 2798 5 2800 | 2799 4 2801 | 2800 5 2802 | 2801 5 2803 | 2802 4 2804 | 2803 2 2805 | 2804 4 2806 | 2805 1 2807 | 2806 1 2808 | 2807 1 2809 | 2808 0 2810 | 2809 3 2811 | 2810 3 2812 | 2811 1 2813 | 2812 3 2814 | 2813 0 2815 | 2814 3 2816 | 2815 3 2817 | 2816 0 2818 | 2817 3 2819 | 2818 2 2820 | 2819 2 2821 | 2820 5 2822 | 2821 2 2823 | 2822 0 2824 | 2823 5 2825 | 2824 5 2826 | 2825 1 2827 | 2826 5 2828 | 2827 5 2829 | 2828 5 2830 | 2829 5 2831 | 2830 2 2832 | 2831 2 2833 | 2832 2 2834 | 2833 3 2835 | 2834 5 2836 | 2835 4 2837 | 2836 5 2838 | 2837 5 2839 | 2838 5 2840 | 2839 0 2841 | 2840 0 2842 | 2841 4 2843 | 2842 4 2844 | 2843 1 2845 | 2844 4 2846 | 2845 3 2847 | 2846 5 2848 | 2847 4 2849 | 2848 4 2850 | 2849 4 2851 | 2850 0 2852 | 2851 0 2853 | 2852 2 2854 | 2853 2 2855 | 2854 3 2856 | 2855 1 2857 | 2856 1 2858 | 2857 5 2859 | 2858 3 2860 | 2859 5 2861 | 2860 5 2862 | 2861 2 2863 | 2862 5 2864 | 2863 5 2865 | 2864 5 2866 | 2865 3 2867 | 2866 4 2868 | 2867 4 2869 | 2868 3 2870 | 2869 0 2871 | 2870 5 2872 | 2871 3 2873 | 2872 3 2874 | 2873 5 2875 | 2874 3 2876 | 2875 4 2877 | 2876 3 2878 | 2877 2 2879 | 2878 2 2880 | 2879 1 2881 | 2880 3 2882 | 2881 3 2883 | 2882 5 2884 | 2883 0 2885 | 2884 0 2886 | 2885 5 2887 | 2886 5 2888 | 2887 5 2889 | 2888 5 2890 | 2889 5 2891 | 2890 3 2892 | 2891 2 2893 | 2892 3 2894 | 2893 3 2895 | 2894 1 2896 | 2895 5 2897 | 2896 0 2898 | 2897 5 2899 | 2898 4 2900 | 2899 2 2901 | 2900 2 2902 | 2901 2 2903 | 2902 3 2904 | 2903 3 2905 | 2904 4 2906 | 2905 2 2907 | 2906 0 2908 | 2907 3 2909 | 2908 0 2910 | 2909 0 2911 | 2910 2 2912 | 2911 2 2913 | 2912 2 2914 | 2913 2 2915 | 2914 3 2916 | 2915 4 2917 | 2916 5 2918 | 2917 4 2919 | 2918 3 2920 | 2919 4 2921 | 2920 0 2922 | 2921 0 2923 | 2922 4 2924 | 2923 4 2925 | 2924 4 2926 | 2925 1 2927 | 2926 3 2928 | 2927 4 2929 | 2928 1 2930 | 2929 1 2931 | 2930 1 2932 | 2931 4 2933 | 2932 5 2934 | 2933 5 2935 | 2934 4 2936 | 2935 2 2937 | 2936 0 2938 | 2937 2 2939 | 2938 2 2940 | 2939 2 2941 | 2940 4 2942 | 2941 4 2943 | 2942 4 2944 | 2943 2 2945 | 2944 3 2946 | 2945 3 2947 | 2946 2 2948 | 2947 3 2949 | 2948 2 2950 | 2949 2 2951 | 2950 4 2952 | 2951 2 2953 | 2952 2 2954 | 2953 4 2955 | 2954 2 2956 | 2955 2 2957 | 2956 4 2958 | 2957 2 2959 | 2958 2 2960 | 2959 2 2961 | 2960 4 2962 | 2961 5 2963 | 2962 1 2964 | 2963 5 2965 | 2964 2 2966 | 2965 5 2967 | 2966 5 2968 | 2967 3 2969 | 2968 5 2970 | 2969 1 2971 | 2970 2 2972 | 2971 2 2973 | 2972 1 2974 | 2973 1 2975 | 2974 2 2976 | 2975 4 2977 | 2976 3 2978 | 2977 5 2979 | 2978 4 2980 | 2979 4 2981 | 2980 4 2982 | 2981 5 2983 | 2982 5 2984 | 2983 3 2985 | 2984 0 2986 | 2985 0 2987 | 2986 0 2988 | 2987 0 2989 | 2988 4 2990 | 2989 1 2991 | 2990 2 2992 | 2991 1 2993 | 2992 2 2994 | 2993 4 2995 | 2994 1 2996 | 2995 2 2997 | 2996 0 2998 | 2997 1 2999 | 2998 1 3000 | 2999 5 3001 | 3000 3 3002 | 3001 2 3003 | 3002 1 3004 | 3003 0 3005 | 3004 5 3006 | 3005 5 3007 | 3006 5 3008 | 3007 4 3009 | 3008 3 3010 | 3009 3 3011 | 3010 5 3012 | 3011 5 3013 | 3012 3 3014 | 3013 0 3015 | 3014 3 3016 | 3015 3 3017 | 3016 1 3018 | 3017 3 3019 | 3018 2 3020 | 3019 4 3021 | 3020 0 3022 | 3021 2 3023 | 3022 3 3024 | 3023 3 3025 | 3024 2 3026 | 3025 1 3027 | 3026 2 3028 | 3027 2 3029 | 3028 3 3030 | 3029 4 3031 | 3030 2 3032 | 3031 5 3033 | 3032 5 3034 | 3033 0 3035 | 3034 3 3036 | 3035 3 3037 | 3036 1 3038 | 3037 2 3039 | 3038 5 3040 | 3039 5 3041 | 3040 4 3042 | 3041 4 3043 | 3042 5 3044 | 3043 1 3045 | 3044 2 3046 | 3045 5 3047 | 3046 2 3048 | 3047 5 3049 | 3048 0 3050 | 3049 0 3051 | 3050 0 3052 | 3051 2 3053 | 3052 2 3054 | 3053 2 3055 | 3054 2 3056 | 3055 5 3057 | 3056 5 3058 | 3057 0 3059 | 3058 3 3060 | 3059 5 3061 | 3060 1 3062 | 3061 1 3063 | 3062 1 3064 | 3063 1 3065 | 3064 4 3066 | 3065 1 3067 | 3066 1 3068 | 3067 4 3069 | 3068 2 3070 | 3069 2 3071 | 3070 5 3072 | 3071 4 3073 | 3072 4 3074 | 3073 5 3075 | 3074 4 3076 | 3075 0 3077 | 3076 1 3078 | 3077 2 3079 | 3078 3 3080 | 3079 2 3081 | 3080 2 3082 | 3081 5 3083 | 3082 5 3084 | 3083 5 3085 | 3084 5 3086 | 3085 4 3087 | 3086 2 3088 | 3087 1 3089 | 3088 4 3090 | 3089 2 3091 | 3090 4 3092 | 3091 2 3093 | 3092 4 3094 | 3093 4 3095 | 3094 5 3096 | 3095 5 3097 | 3096 0 3098 | 3097 5 3099 | 3098 4 3100 | 3099 4 3101 | 3100 5 3102 | 3101 5 3103 | 3102 5 3104 | 3103 4 3105 | 3104 0 3106 | 3105 1 3107 | 3106 5 3108 | 3107 0 3109 | 3108 4 3110 | 3109 4 3111 | 3110 5 3112 | 3111 1 3113 | 3112 1 3114 | 3113 1 3115 | 3114 0 3116 | 3115 3 3117 | 3116 3 3118 | 3117 1 3119 | 3118 5 3120 | 3119 5 3121 | 3120 5 3122 | 3121 3 3123 | 3122 3 3124 | 3123 5 3125 | 3124 0 3126 | 3125 4 3127 | 3126 0 3128 | 3127 5 3129 | 3128 4 3130 | 3129 3 3131 | 3130 5 3132 | 3131 5 3133 | 3132 2 3134 | 3133 5 3135 | 3134 5 3136 | 3135 3 3137 | 3136 2 3138 | 3137 2 3139 | 3138 5 3140 | 3139 1 3141 | 3140 2 3142 | 3141 2 3143 | 3142 1 3144 | 3143 2 3145 | 3144 2 3146 | 3145 3 3147 | 3146 0 3148 | 3147 0 3149 | 3148 0 3150 | 3149 0 3151 | 3150 0 3152 | 3151 0 3153 | 3152 5 3154 | 3153 3 3155 | 3154 4 3156 | 3155 0 3157 | 3156 2 3158 | 3157 1 3159 | 3158 4 3160 | 3159 2 3161 | 3160 2 3162 | 3161 2 3163 | 3162 3 3164 | 3163 4 3165 | 3164 1 3166 | 3165 4 3167 | 3166 4 3168 | 3167 0 3169 | 3168 0 3170 | 3169 3 3171 | 3170 0 3172 | 3171 2 3173 | 3172 3 3174 | 3173 2 3175 | 3174 3 3176 | 3175 2 3177 | 3176 2 3178 | 3177 5 3179 | 3178 5 3180 | 3179 2 3181 | 3180 0 3182 | 3181 3 3183 | 3182 5 3184 | 3183 2 3185 | 3184 1 3186 | 3185 0 3187 | 3186 5 3188 | 3187 3 3189 | 3188 4 3190 | 3189 4 3191 | 3190 3 3192 | 3191 3 3193 | 3192 2 3194 | 3193 3 3195 | 3194 2 3196 | 3195 2 3197 | 3196 4 3198 | 3197 4 3199 | 3198 1 3200 | 3199 4 3201 | 3200 2 3202 | 3201 2 3203 | 3202 0 3204 | 3203 0 3205 | 3204 4 3206 | 3205 4 3207 | 3206 0 3208 | 3207 2 3209 | 3208 3 3210 | 3209 5 3211 | 3210 2 3212 | 3211 4 3213 | 3212 1 3214 | 3213 4 3215 | 3214 4 3216 | 3215 2 3217 | 3216 4 3218 | 3217 3 3219 | 3218 4 3220 | 3219 5 3221 | 3220 4 3222 | 3221 4 3223 | 3222 0 3224 | 3223 2 3225 | 3224 3 3226 | 3225 5 3227 | 3226 5 3228 | 3227 5 3229 | 3228 2 3230 | 3229 4 3231 | 3230 4 3232 | 3231 2 3233 | 3232 0 3234 | 3233 0 3235 | 3234 1 3236 | 3235 4 3237 | 3236 3 3238 | 3237 2 3239 | 3238 2 3240 | 3239 2 3241 | 3240 0 3242 | 3241 1 3243 | 3242 1 3244 | 3243 5 3245 | 3244 4 3246 | 3245 4 3247 | 3246 4 3248 | 3247 2 3249 | 3248 3 3250 | 3249 5 3251 | 3250 4 3252 | 3251 4 3253 | 3252 3 3254 | 3253 4 3255 | 3254 4 3256 | 3255 3 3257 | 3256 1 3258 | 3257 5 3259 | 3258 2 3260 | 3259 5 3261 | 3260 2 3262 | 3261 2 3263 | 3262 0 3264 | 3263 2 3265 | 3264 2 3266 | 3265 5 3267 | 3266 1 3268 | 3267 2 3269 | 3268 2 3270 | 3269 0 3271 | 3270 4 3272 | 3271 4 3273 | 3272 2 3274 | 3273 4 3275 | 3274 4 3276 | 3275 1 3277 | 3276 3 3278 | 3277 0 3279 | 3278 2 3280 | 3279 2 3281 | 3280 3 3282 | 3281 0 3283 | 3282 3 3284 | 3283 4 3285 | 3284 4 3286 | 3285 1 3287 | 3286 4 3288 | 3287 2 3289 | 3288 4 3290 | 3289 3 3291 | 3290 0 3292 | 3291 4 3293 | 3292 2 3294 | 3293 2 3295 | 3294 4 3296 | 3295 0 3297 | 3296 0 3298 | 3297 4 3299 | 3298 4 3300 | 3299 2 3301 | 3300 3 3302 | 3301 3 3303 | 3302 2 3304 | 3303 3 3305 | 3304 4 3306 | 3305 2 3307 | 3306 4 3308 | 3307 2 3309 | 3308 4 3310 | 3309 3 3311 | 3310 2 3312 | 3311 4 3313 | -------------------------------------------------------------------------------- /graph/pubmed.feature.mat: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cszhangzhen/ANRL/c24bf13ca864750160a3f10fe2ab419538db4b30/graph/pubmed.feature.mat -------------------------------------------------------------------------------- /main.py: -------------------------------------------------------------------------------- 1 | from __future__ import print_function 2 | import numpy as np 3 | import networkx as nx 4 | import node2vec 5 | import random 6 | from config import * 7 | from evaluation import * 8 | from model import * 9 | from utils import * 10 | import tensorflow as tf 11 | import math 12 | import time 13 | import os 14 | 15 | tf.app.flags.DEFINE_string('datasets', 'citeseer', 'datasets descriptions') 16 | tf.app.flags.DEFINE_string('inputEdgeFile', 'graph/citeseer.edgelist', 'input graph edge file') 17 | tf.app.flags.DEFINE_string('inputFeatureFile', 'graph/citeseer.feature', 'input graph feature file') 18 | tf.app.flags.DEFINE_string('inputLabelFile', 'graph/citeseer.label', 'input graph label file') 19 | tf.app.flags.DEFINE_string('outputEmbedFile', 'embed/citeseer.embed', 'output embedding result') 20 | tf.app.flags.DEFINE_integer('dimensions', 128, 'embedding dimensions') 21 | tf.app.flags.DEFINE_integer('feaDims', 3703, 'feature dimensions') 22 | tf.app.flags.DEFINE_integer('walk_length', 80, 'walk length') 23 | tf.app.flags.DEFINE_integer('num_walks', 10, 'number of walks') 24 | tf.app.flags.DEFINE_integer('window_size', 10, 'window size') 25 | tf.app.flags.DEFINE_float('p', 1.0, 'p value') 26 | tf.app.flags.DEFINE_float('q', 1.0, 'q value') 27 | tf.app.flags.DEFINE_boolean('weighted', False, 'weighted edges') 28 | tf.app.flags.DEFINE_boolean('directed', False, 'undirected edges') 29 | 30 | os.environ['CUDA_VISIBLE_DEVICES'] = '0' 31 | config_tf = tf.ConfigProto() 32 | config_tf.gpu_options.allow_growth = True 33 | 34 | 35 | def generate_graph_context_all_pairs(path, window_size): 36 | # generating graph context pairs 37 | all_pairs = [] 38 | for k in range(len(path)): 39 | for i in range(len(path[k])): 40 | for j in range(i - window_size, i + window_size + 1): 41 | if i == j or j < 0 or j >= len(path[k]): 42 | continue 43 | else: 44 | all_pairs.append([path[k][i], path[k][j]]) 45 | 46 | return np.array(all_pairs, dtype=np.int32) 47 | 48 | 49 | def graph_context_batch_iter(all_pairs, batch_size): 50 | while True: 51 | start_idx = np.random.randint(0, len(all_pairs) - batch_size) 52 | batch_idx = np.array(range(start_idx, start_idx + batch_size)) 53 | batch_idx = np.random.permutation(batch_idx) 54 | batch = np.zeros(batch_size, dtype=np.int32) 55 | labels = np.zeros((batch_size, 1), dtype=np.int32) 56 | batch[:] = all_pairs[batch_idx, 0] 57 | labels[:, 0] = all_pairs[batch_idx, 1] 58 | yield batch, labels 59 | 60 | 61 | def construct_traget_neighbors(nx_G, X, FLAGS, mode='WAN'): 62 | # construct target neighbor feature matrix 63 | X_target = np.zeros(X.shape) 64 | nodes = nx_G.nodes() 65 | 66 | if mode == 'OWN': 67 | # autoencoder for reconstructing itself 68 | return X 69 | elif mode == 'EMN': 70 | # autoencoder for reconstructing Elementwise Median Neighbor 71 | for node in nodes: 72 | neighbors = list(nx_G.neighbors(node)) 73 | if len(neighbors) == 0: 74 | X_target[node] = X[node] 75 | else: 76 | temp = np.array(X[node]) 77 | for n in neighbors: 78 | if FLAGS.weighted: 79 | # weighted sum 80 | temp = np.vstack((temp, X[n] * nx_G[node][n]['weight'])) 81 | else: 82 | temp = np.vstack((temp, X[n])) 83 | temp = np.median(temp, axis=0) 84 | X_target[node] = temp 85 | return X_target 86 | elif mode == 'WAN': 87 | # autoencoder for reconstructing Weighted Average Neighbor 88 | for node in nodes: 89 | neighbors = list(nx_G.neighbors(node)) 90 | if len(neighbors) == 0: 91 | X_target[node] = X[node] 92 | else: 93 | temp = np.array(X[node]) 94 | for n in neighbors: 95 | if FLAGS.weighted: 96 | # weighted sum 97 | temp = np.vstack((temp, X[n] * nx_G[node][n]['weight'])) 98 | else: 99 | temp = np.vstack((temp, X[n])) 100 | temp = np.mean(temp, axis=0) 101 | X_target[node] = temp 102 | return X_target 103 | 104 | 105 | def main(): 106 | FLAGS = tf.app.flags.FLAGS 107 | inputEdgeFile = FLAGS.inputEdgeFile 108 | inputFeatureFile = FLAGS.inputFeatureFile 109 | inputLabelFile = FLAGS.inputLabelFile 110 | outputEmbedFile = FLAGS.outputEmbedFile 111 | window_size = FLAGS.window_size 112 | 113 | # Read graph 114 | nx_G = read_graph(FLAGS, inputEdgeFile) 115 | 116 | # Perform random walks to generate graph context 117 | G = node2vec.Graph(nx_G, FLAGS.directed, FLAGS.p, FLAGS.q) 118 | G.preprocess_transition_probs() 119 | walks = G.simulate_walks(FLAGS.num_walks, FLAGS.walk_length) 120 | 121 | # Read features 122 | print('reading features...') 123 | X = read_feature(inputFeatureFile) 124 | 125 | print('generating graph context pairs...') 126 | start_time = time.time() 127 | all_pairs = generate_graph_context_all_pairs(walks, window_size) 128 | end_time = time.time() 129 | print('time consumed for constructing graph context: %.2f' % (end_time - start_time)) 130 | 131 | nodes = nx_G.nodes() 132 | X_target = construct_traget_neighbors(nx_G, X, FLAGS, mode='WAN') 133 | 134 | # Total number nodes 135 | N = len(nodes) 136 | dims = FLAGS.dimensions 137 | 138 | config = Config() 139 | config.struct[0] = FLAGS.feaDims 140 | config.struct[-1] = FLAGS.dimensions 141 | model = Model(config, N, dims, X_target) 142 | 143 | init = tf.global_variables_initializer() 144 | sess = tf.Session(config=config_tf) 145 | sess.run(init) 146 | 147 | batch_size = config.batch_size 148 | max_iters = config.max_iters 149 | 150 | idx = 0 151 | print_every_k_iterations = 1000 152 | start = time.time() 153 | 154 | loss_sg = 0 155 | loss_ae = 0 156 | 157 | for iter_cnt in range(max_iters): 158 | idx += 1 159 | 160 | batch_index, batch_labels = next(graph_context_batch_iter(all_pairs, batch_size)) 161 | 162 | # train for autoencoder model 163 | start_idx = np.random.randint(0, N - batch_size) 164 | batch_idx = np.array(range(start_idx, start_idx + batch_size)) 165 | batch_idx = np.random.permutation(batch_idx) 166 | batch_X = X[batch_idx] 167 | feed_dict = {model.X: batch_X, model.inputs: batch_idx} 168 | _, loss_ae_value = sess.run([model.train_opt_ae, model.loss_ae], feed_dict=feed_dict) 169 | loss_ae += loss_ae_value 170 | 171 | # train for skip-gram model 172 | batch_X = X[batch_index] 173 | feed_dict = {model.X: batch_X, model.labels: batch_labels} 174 | _, loss_sg_value = sess.run([model.train_opt_sg, model.loss_sg], feed_dict=feed_dict) 175 | loss_sg += loss_sg_value 176 | 177 | if idx % print_every_k_iterations == 0: 178 | end = time.time() 179 | print('iterations: %d' % idx + ', time elapsed: %.2f, ' % (end - start), end='') 180 | total_loss = loss_sg / idx + loss_ae / idx 181 | print('loss: %.2f, ' % total_loss, end='') 182 | 183 | y = read_label(inputLabelFile) 184 | embedding_result = sess.run(model.Y, feed_dict={model.X: X}) 185 | macro_f1, micro_f1 = multiclass_node_classification_eval(embedding_result, y, 0.7) 186 | print('[macro_f1 = %.4f, micro_f1 = %.4f]' % (macro_f1, micro_f1)) 187 | 188 | print('optimization finished...') 189 | y = read_label(inputLabelFile) 190 | embedding_result = sess.run(model.Y, feed_dict={model.X: X}) 191 | print('repeat 10 times for node classification with random split...') 192 | node_classification_F1(embedding_result, y) 193 | print('saving embedding result...') 194 | write_embedding(embedding_result, outputEmbedFile) 195 | 196 | 197 | if __name__ == '__main__': 198 | main() 199 | -------------------------------------------------------------------------------- /model.py: -------------------------------------------------------------------------------- 1 | from __future__ import print_function 2 | import numpy as np 3 | import tensorflow as tf 4 | import time 5 | import random 6 | import math 7 | 8 | 9 | class Model: 10 | def __init__(self, config, N, dims, X_target): 11 | self.config = config 12 | self.N = N 13 | self.dims = dims 14 | 15 | self.labels = tf.placeholder(tf.int32, shape=[None, 1]) 16 | self.inputs = tf.placeholder(tf.int32, shape=[None]) 17 | self.X_target = tf.constant(X_target, dtype=tf.float32) 18 | self.X_new = tf.nn.embedding_lookup(self.X_target, self.inputs) 19 | 20 | ############ define variables for autoencoder ################## 21 | self.layers = len(config.struct) 22 | self.struct = config.struct 23 | self.W = {} 24 | self.b = {} 25 | struct = self.struct 26 | 27 | # encode module 28 | for i in range(self.layers - 1): 29 | name_W = 'encoder_W_' + str(i) 30 | name_b = 'encoder_b_' + str(i) 31 | self.W[name_W] = tf.get_variable(name_W, [struct[i], struct[i + 1]], 32 | initializer=tf.contrib.layers.xavier_initializer()) 33 | self.b[name_b] = tf.get_variable(name_b, [struct[i + 1]], initializer=tf.zeros_initializer()) 34 | 35 | # decode module 36 | struct.reverse() 37 | for i in range(self.layers - 1): 38 | name_W = 'decoder_W_' + str(i) 39 | name_b = 'decoder_b_' + str(i) 40 | self.W[name_W] = tf.get_variable(name_W, [struct[i], struct[i + 1]], 41 | initializer=tf.contrib.layers.xavier_initializer()) 42 | self.b[name_b] = tf.get_variable(name_b, [struct[i + 1]], initializer=tf.zeros_initializer()) 43 | self.struct.reverse() 44 | 45 | ############## define input ################### 46 | self.X = tf.placeholder(tf.float32, shape=[None, config.struct[0]]) 47 | 48 | self.make_compute_graph() 49 | self.loss_ae = self.make_autoencoder_loss() 50 | 51 | # compute gradients for deep autoencoder 52 | self.train_opt_ae = tf.train.AdamOptimizer(config.ae_learning_rate).minimize(self.loss_ae) 53 | 54 | ############ define variables for skipgram #################### 55 | # construct variables for nce loss 56 | self.nce_weights = tf.get_variable('nce_weights', [self.N, self.dims], 57 | initializer=tf.contrib.layers.xavier_initializer()) 58 | self.nce_biases = tf.get_variable('nce_biases', [self.N], initializer=tf.zeros_initializer()) 59 | 60 | self.loss_sg = self.make_skipgram_loss() 61 | 62 | # compute gradients for skipgram 63 | self.train_opt_sg = tf.train.AdamOptimizer(config.sg_learning_rate).minimize(self.loss_sg) 64 | 65 | def make_skipgram_loss(self): 66 | loss = tf.reduce_sum(tf.nn.sampled_softmax_loss( 67 | weights=self.nce_weights, 68 | biases=self.nce_biases, 69 | labels=self.labels, 70 | inputs=self.Y, 71 | num_sampled=self.config.num_sampled, 72 | num_classes=self.N)) 73 | 74 | return loss 75 | 76 | def make_compute_graph(self): 77 | 78 | def encoder(X): 79 | for i in range(self.layers - 1): 80 | name_W = 'encoder_W_' + str(i) 81 | name_b = 'encoder_b_' + str(i) 82 | X = tf.nn.tanh(tf.matmul(X, self.W[name_W]) + self.b[name_b]) 83 | return X 84 | 85 | def decoder(X): 86 | for i in range(self.layers - 1): 87 | name_W = 'decoder_W_' + str(i) 88 | name_b = 'decoder_b_' + str(i) 89 | X = tf.nn.tanh(tf.matmul(X, self.W[name_W]) + self.b[name_b]) 90 | return X 91 | 92 | self.Y = encoder(self.X) 93 | 94 | self.X_reconstruct = decoder(self.Y) 95 | 96 | def make_autoencoder_loss(self): 97 | 98 | def get_autoencoder_loss(X, newX): 99 | return tf.reduce_sum(tf.pow((newX - X), 2)) 100 | 101 | def get_reg_loss(weights, biases): 102 | reg = tf.add_n([tf.nn.l2_loss(w) for w in weights.values()]) 103 | reg += tf.add_n([tf.nn.l2_loss(b) for b in biases.values()]) 104 | return reg 105 | 106 | loss_autoencoder = get_autoencoder_loss(self.X_new, self.X_reconstruct) 107 | 108 | loss_reg = get_reg_loss(self.W, self.b) 109 | 110 | return self.config.alpha * loss_autoencoder + self.config.reg * loss_reg 111 | -------------------------------------------------------------------------------- /node2vec.py: -------------------------------------------------------------------------------- 1 | # Leverage Node2vec for random walks 2 | from __future__ import print_function 3 | import numpy as np 4 | import networkx as nx 5 | import random 6 | 7 | 8 | class Graph(): 9 | def __init__(self, nx_G, is_directed, p, q): 10 | self.G = nx_G 11 | self.is_directed = is_directed 12 | self.p = p 13 | self.q = q 14 | 15 | def node2vec_walk(self, walk_length, start_node): 16 | G = self.G 17 | alias_nodes = self.alias_nodes 18 | alias_edges = self.alias_edges 19 | 20 | walk = [start_node] 21 | 22 | while len(walk) < walk_length: 23 | cur = walk[-1] 24 | cur_nbrs = sorted(G.neighbors(cur)) 25 | if len(cur_nbrs) > 0: 26 | if len(walk) == 1: 27 | walk.append( 28 | cur_nbrs[alias_draw(alias_nodes[cur][0], alias_nodes[cur][1])]) 29 | else: 30 | prev = walk[-2] 31 | next = cur_nbrs[alias_draw(alias_edges[(prev, cur)][0], 32 | alias_edges[(prev, cur)][1])] 33 | walk.append(next) 34 | else: 35 | break 36 | 37 | return walk 38 | 39 | def simulate_walks(self, num_walks, walk_length): 40 | ''' 41 | Repeatedly simulate random walks from each node. 42 | ''' 43 | G = self.G 44 | walks = [] 45 | nodes = list(G.nodes()) 46 | print('simulating random walk...') 47 | for walk_iter in range(num_walks): 48 | print(str(walk_iter + 1), '/', str(num_walks)) 49 | random.shuffle(nodes) 50 | for node in nodes: 51 | walks.append(self.node2vec_walk( 52 | walk_length=walk_length, start_node=node)) 53 | return walks 54 | 55 | def get_alias_edge(self, src, dst): 56 | ''' 57 | Get the alias edge setup lists for a given edge. 58 | ''' 59 | G = self.G 60 | p = self.p 61 | q = self.q 62 | 63 | unnormalized_probs = [] 64 | for dst_nbr in sorted(G.neighbors(dst)): 65 | if dst_nbr == src: 66 | unnormalized_probs.append(G[dst][dst_nbr]['weight'] / p) 67 | elif G.has_edge(dst_nbr, src): 68 | unnormalized_probs.append(G[dst][dst_nbr]['weight']) 69 | else: 70 | unnormalized_probs.append(G[dst][dst_nbr]['weight'] / q) 71 | norm_const = sum(unnormalized_probs) 72 | normalized_probs = [ 73 | float(u_prob) / norm_const for u_prob in unnormalized_probs] 74 | 75 | return alias_setup(normalized_probs) 76 | 77 | def preprocess_transition_probs(self): 78 | ''' 79 | Preprocessing of transition probabilities for guiding the random walks. 80 | ''' 81 | G = self.G 82 | is_directed = self.is_directed 83 | 84 | alias_nodes = {} 85 | for node in G.nodes(): 86 | unnormalized_probs = [G[node][nbr]['weight'] 87 | for nbr in sorted(G.neighbors(node))] 88 | norm_const = sum(unnormalized_probs) 89 | normalized_probs = [ 90 | float(u_prob) / norm_const for u_prob in unnormalized_probs] 91 | alias_nodes[node] = alias_setup(normalized_probs) 92 | 93 | alias_edges = {} 94 | if is_directed: 95 | for edge in G.edges(): 96 | alias_edges[edge] = self.get_alias_edge(edge[0], edge[1]) 97 | else: 98 | for edge in G.edges(): 99 | alias_edges[edge] = self.get_alias_edge(edge[0], edge[1]) 100 | alias_edges[(edge[1], edge[0])] = self.get_alias_edge( 101 | edge[1], edge[0]) 102 | 103 | self.alias_nodes = alias_nodes 104 | self.alias_edges = alias_edges 105 | 106 | 107 | def alias_setup(probs): 108 | ''' 109 | Compute utility lists for non-uniform sampling from discrete distributions. 110 | Refer to https://hips.seas.harvard.edu/blog/2013/03/03/the-alias-method-efficient-sampling-with-many-discrete-outcomes/ 111 | for details 112 | ''' 113 | K = len(probs) 114 | q = np.zeros(K) 115 | J = np.zeros(K, dtype=np.int) 116 | 117 | smaller = [] 118 | larger = [] 119 | for kk, prob in enumerate(probs): 120 | q[kk] = K * prob 121 | if q[kk] < 1.0: 122 | smaller.append(kk) 123 | else: 124 | larger.append(kk) 125 | 126 | while len(smaller) > 0 and len(larger) > 0: 127 | small = smaller.pop() 128 | large = larger.pop() 129 | 130 | J[small] = large 131 | q[large] = q[large] + q[small] - 1.0 132 | if q[large] < 1.0: 133 | smaller.append(large) 134 | else: 135 | larger.append(large) 136 | 137 | return J, q 138 | 139 | 140 | def alias_draw(J, q): 141 | ''' 142 | Draw sample from a non-uniform discrete distribution using alias sampling. 143 | ''' 144 | K = len(J) 145 | 146 | kk = int(np.floor(np.random.rand() * K)) 147 | if np.random.rand() < q[kk]: 148 | return kk 149 | else: 150 | return J[kk] 151 | -------------------------------------------------------------------------------- /requirements.txt: -------------------------------------------------------------------------------- 1 | tensorflow==2.5.3 2 | networkx==2.2 3 | numpy==1.15.4 4 | scipy==1.1.0 5 | scikit-learn==0.20.1 6 | -------------------------------------------------------------------------------- /utils.py: -------------------------------------------------------------------------------- 1 | from __future__ import print_function 2 | import networkx as nx 3 | import numpy as np 4 | import collections 5 | 6 | 7 | def read_graph(FLAGS, edgeFile): 8 | print('loading graph...') 9 | 10 | if FLAGS.weighted: 11 | G = nx.read_edgelist(edgeFile, nodetype=int, data=(('weight', float),), create_using=nx.DiGraph()) 12 | else: 13 | G = nx.read_edgelist(edgeFile, nodetype=int, create_using=nx.DiGraph()) 14 | for edge in G.edges(): 15 | G[edge[0]][edge[1]]['weight'] = 1 16 | 17 | if not FLAGS.directed: 18 | G = G.to_undirected() 19 | 20 | return G 21 | 22 | 23 | def read_edgelist(inputFileName): 24 | f = open(inputFileName, 'r') 25 | lines = f.readlines() 26 | f.close() 27 | 28 | edgelist = [] 29 | for line in lines: 30 | l = line.strip('\n\r').split(' ') 31 | edge = (int(l[0]), int(l[1])) 32 | edgelist.append(edge) 33 | return edgelist 34 | 35 | 36 | def read_feature(inputFileName): 37 | f = open(inputFileName, 'r') 38 | lines = f.readlines() 39 | f.close() 40 | 41 | features = [] 42 | for line in lines[1:]: 43 | l = line.strip('\n\r').split(' ') 44 | features.append(l) 45 | features = np.array(features, dtype=np.float32) 46 | 47 | return features 48 | 49 | 50 | def write_embedding(embedding_result, outputFileName): 51 | f = open(outputFileName, 'w') 52 | N, dims = embedding_result.shape 53 | 54 | for i in range(N): 55 | s = '' 56 | for j in range(dims): 57 | if j == 0: 58 | s = str(i) + ',' + str(embedding_result[i, j]) 59 | else: 60 | s = s + ',' + str(embedding_result[i, j]) 61 | f.writelines(s + '\n') 62 | f.close() 63 | --------------------------------------------------------------------------------