├── README.md ├── classes ├── class2 │ ├── class2.pdf │ ├── example │ │ ├── example.attr │ │ ├── example.sif │ │ └── example_expressionMat.txt │ └── exercises │ │ ├── exercise1 │ │ ├── network1.sif │ │ ├── network2.sif │ │ └── network3.sif │ │ └── exercise2 │ │ ├── apoptosisAssay_expressionMat.txt │ │ ├── protein_GObp.annot │ │ └── protein_interactome.sif ├── class3 │ ├── Class3_CompSysBio.pdf │ ├── examples │ │ ├── example1.txt │ │ └── example2.txt │ ├── homework.pdf │ ├── igraph.pdf │ ├── igraph_basic_concepts.R │ ├── myFunctions.R │ ├── network_models.R │ └── pythonExample.py ├── class4 │ ├── exercises.py │ ├── presentacion.pdf │ └── priodict.py ├── class5 │ ├── CSB4_databases.odp │ ├── CSB4_databases.pdf │ ├── exercises │ │ └── exercises.txt │ └── rest_client_example.py └── class6 │ └── clustering.pdf ├── papers ├── Philos Trans R Soc Lond B Biol Sci 2010 Brenner.pdf └── barabasioltvai2004.pdf └── presentacion.pdf /README.md: -------------------------------------------------------------------------------- 1 | CompSysBio 2 | ========== 3 | 4 | Welcome to Computational Systems Biology course. This repository is intended for storing the material of the course 5 | 6 | 7 | 8 | 9 | -------------------------------------------------------------------------------- /classes/class2/class2.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/imedina/CompSysBio/c2130b13544fb2b41c5844fbd772537aaf2b6357/classes/class2/class2.pdf -------------------------------------------------------------------------------- /classes/class2/example/example.attr: -------------------------------------------------------------------------------- 1 | ID type 2 | Q6AI08 receptor 3 | Q96C03 receptor 4 | P78545 receptor 5 | P67775 receptor 6 | P10074 receptor 7 | P04350 receptor 8 | Q6XZF7 receptor 9 | Q9UMR2 receptor 10 | Q9Y624 signalling 11 | Q15788 signalling 12 | P55196 signalling 13 | P61006 signalling 14 | P52655 signalling 15 | O75400 complex 16 | Q9NX70 complex 17 | O96017 complex 18 | P57077 complex 19 | P27448 complex 20 | P18031 signalling 21 | Q8IXJ6 signalling 22 | P51571 signalling 23 | P05556 signalling 24 | Q07890 signalling 25 | -------------------------------------------------------------------------------- /classes/class2/example/example.sif: -------------------------------------------------------------------------------- 1 | Q6AI08 Q96C03 2 | Q96C03 Q9Y624 3 | Q9Y624 Q15788 4 | Q15788 P55196 5 | P55196 P61006 6 | P61006 P52655 7 | P52655 O75400 8 | Q15788 P18031 9 | Q15788 P51571 10 | O75400 Q9NX70 11 | Q9NX70 O96017 12 | O75400 O96017 13 | O96017 P57077 14 | Q9NX70 P57077 15 | O75400 P57077 16 | P57077 P27448 17 | O96017 P27448 18 | Q9NX70 P27448 19 | O75400 P27448 20 | Q15788 Q8IXJ6 21 | Q15788 P05556 22 | Q15788 Q07890 23 | Q96C03 P78545 24 | Q96C03 P67775 25 | Q96C03 P10074 26 | Q96C03 P04350 27 | Q96C03 Q6XZF7 28 | Q96C03 Q9UMR2 29 | P78545 P67775 30 | -------------------------------------------------------------------------------- /classes/class2/example/example_expressionMat.txt: -------------------------------------------------------------------------------- 1 | ID array_1 array_2 array_3 array_4 array_5 array_6 array_7 array_8 array_9 array_10 2 | O75400 5.42249552568633 5.35440693742164 4.63859933672091 5.54957875938613 4.66000990391539 5.23118635380559 4.71123455985126 5.1362233762047 4.88294550671842 4.66356650865836 3 | O96017 9.26954346728388 8.03140060936863 8.04200374237896 7.24096861663314 8.79148329632651 2.56124526072488 3.0458623611758 1.89772857791622 0.886903611458599 3.35590068771491 4 | P04350 -0.957233513475205 1.66453837192814 1.67216482640418 -0.0619508306690443 -0.846503473922125 -0.464930045117055 -0.426669252746198 0.607135628628392 0.510054013057875 -1.11425498551035 5 | P05556 0.777936231710755 -0.485238769165619 -2.0801226888905 0.484900663797884 2.02355170132443 0.613658876021603 -0.817593696074584 0.503796978831214 1.03024050533412 1.8136231022528 6 | P10074 -0.300598359131932 0.478270755031692 0.113025450188055 -0.795574649667252 -1.61342661195135 -0.44936278114802 -0.74801065619698 -0.222177196231066 -0.837273717116791 0.0705021184860294 7 | P18031 -0.0283941288404512 0.881819916509267 -1.04375962879677 -0.934953271993939 0.0867116792920747 0.268192389239867 -0.646661017951802 1.04818173699149 -0.53192385097327 0.102665928645531 8 | P27448 6.90661462894623 7.38777955278429 8.87107166445274 8.67212556227371 9.27381328576133 1.32678903876794 2.78795683342432 1.7090483998389 0.793543003498142 -1.01006397981957 9 | P51571 -1.64387947825274 -1.52035267199238 -0.34482044861984 -0.262954340435962 0.626998550500579 0.00181292698617066 -0.198045371074282 -1.48207198515075 0.106918519441424 -0.103348506679875 10 | P52655 4.10135786588652 5.1658939653221 6.61337766885534 5.32432660179371 5.12480213091619 4.97458462395097 2.85693163464199 4.01923591441884 5.00863506911166 5.24169844717889 11 | P55196 5.20842835114591 5.83745996709298 5.77250806775075 4.5290134852043 5.46986790805955 4.06249734492806 3.3578130609464 5.1063176790556 5.362622307008 4.85993140518635 12 | P57077 8.26247259310788 7.44004793328375 8.07876061459215 7.72341464880049 6.6807633454811 0.783265915407164 1.9797303322157 0.0472105565593529 1.04762761446046 1.26029804604372 13 | P61006 4.36688189187134 4.46110369056306 5.27567450729831 6.41383263661361 4.86772001594952 4.34272246708284 4.45667006914651 4.28027796265926 3.38445686645428 7.11190793002896 14 | P67775 6.07885165329307 5.55192405927595 4.97866536558632 3.58105900366164 6.07485831369026 5.08043104579793 4.28145388512311 6.50698623435539 6.90631148607842 3.79910344095528 15 | P78545 4.39678835632173 3.21681259942517 6.99076378625647 6.01345120692317 4.81504289585448 3.89795220947751 5.04975601936217 4.97251438560231 4.25389959831178 3.37292209997661 16 | Q07890 0.781975166563987 -0.595294423317944 -0.0720638167131088 -2.52741701027078 1.4234392625811 -0.205300515584967 -3.09578717991256 0.115065871020751 -1.203030009783 0.293104113256225 17 | Q15788 5.74831096093514 5.90156045649105 4.65018617683468 3.89113873203948 3.72086915949357 5.73955304702152 7.63827652044922 5.21657112652888 6.13780218361061 5.28929502095219 18 | Q6AI08 0.478524346904402 -0.14359987021746 -2.06443425674452 0.174104028630323 0.860820001454876 0.385221753520633 0.626130767684235 0.654260335176942 0.550143935616516 0.102593716732432 19 | Q6XZF7 -1.85574185303311 0.991016555491519 -0.93641081361473 0.510168906819399 -0.338415304329787 0.198023557889583 0.181535530336338 -0.351907812567345 -0.466061786943292 -0.0695766537509338 20 | Q8IXJ6 -0.574956991542058 -0.384357067597376 -1.01947866280208 -0.221381834818556 -0.203142406329524 0.175673865322656 -0.984107889549574 0.894862557129474 -0.500791944791032 -0.535164215015108 21 | Q96C03 3.62794962326212 4.58667394863123 4.70328819462682 4.75701218935103 4.84324773703724 5.03302334125246 5.47420891921399 5.16995875745882 4.14738304864192 4.81235349669819 22 | Q9NX70 10.6905508851884 10.1044525004196 7.95286340618348 8.36086748831412 7.58897454621321 1.46151634741788 0.911544207540788 0.335813066313111 0.734110553668864 0.413112105127865 23 | Q9UMR2 2.4804265022901 1.92231718108792 -0.3599122570319 -0.723979549245968 0.757695614669814 0.0365661059486571 0.529044816765686 0.597311373858341 -1.67948654788443 -1.48045660299349 24 | Q9Y624 4.2346237526002 3.96540512448851 4.34209690871212 3.47917346342474 5.18224858505753 5.3912241982354 4.66688844701418 3.71571491556332 7.05167701564743 4.35649441454719 25 | -------------------------------------------------------------------------------- /classes/class2/exercises/exercise1/network1.sif: -------------------------------------------------------------------------------- 1 | 1 2 2 | 1 3 3 | 2 3 4 | 1 4 5 | 2 4 6 | 3 4 7 | 2 5 8 | 1 5 9 | 4 5 10 | 4 6 11 | 2 6 12 | 5 6 13 | 4 7 14 | 5 7 15 | 1 7 16 | 2 8 17 | 4 8 18 | 5 8 19 | 5 9 20 | 2 9 21 | 4 9 22 | 4 10 23 | 1 10 24 | 5 10 25 | 1 11 26 | 4 11 27 | 2 11 28 | 1 12 29 | 2 12 30 | 4 12 31 | 8 13 32 | 3 13 33 | 2 13 34 | 2 14 35 | 1 14 36 | 10 14 37 | 4 15 38 | 3 15 39 | 1 15 40 | 3 16 41 | 5 16 42 | 2 16 43 | 3 17 44 | 5 17 45 | 2 17 46 | 5 18 47 | 2 18 48 | 1 18 49 | 12 19 50 | 2 19 51 | 16 19 52 | 5 20 53 | 1 20 54 | 3 20 55 | 4 21 56 | 3 21 57 | 1 21 58 | 5 22 59 | 4 22 60 | 2 22 61 | 3 23 62 | 4 23 63 | 2 23 64 | 5 24 65 | 1 24 66 | 4 24 67 | 4 25 68 | 13 25 69 | 2 25 70 | 1 26 71 | 4 26 72 | 19 26 73 | 3 27 74 | 6 27 75 | 2 27 76 | 4 28 77 | 1 28 78 | 26 28 79 | 2 29 80 | 3 29 81 | 15 29 82 | 9 30 83 | 2 30 84 | 6 30 85 | 5 31 86 | 2 31 87 | 1 31 88 | 2 32 89 | 1 32 90 | 4 32 91 | 16 33 92 | 13 33 93 | 2 33 94 | 11 34 95 | 2 34 96 | 3 34 97 | 9 35 98 | 16 35 99 | 2 35 100 | 3 36 101 | 2 36 102 | 12 36 103 | 2 37 104 | 5 37 105 | 26 37 106 | 1 38 107 | 3 38 108 | 2 38 109 | 3 39 110 | 26 39 111 | 20 39 112 | 2 40 113 | 6 40 114 | 5 40 115 | 24 41 116 | 4 41 117 | 16 41 118 | 5 42 119 | 7 42 120 | 1 42 121 | 2 43 122 | 4 43 123 | 5 43 124 | 2 44 125 | 1 44 126 | 39 44 127 | 26 45 128 | 1 45 129 | 4 45 130 | 16 46 131 | 1 46 132 | 4 46 133 | 4 47 134 | 1 47 135 | 2 47 136 | 26 48 137 | 11 48 138 | 2 48 139 | 1 49 140 | 6 49 141 | 41 49 142 | 14 50 143 | 1 50 144 | 3 50 145 | 39 51 146 | 15 51 147 | 5 51 148 | 26 52 149 | 2 52 150 | 30 52 151 | 8 53 152 | 2 53 153 | 5 53 154 | 5 54 155 | 4 54 156 | 1 54 157 | 5 55 158 | 1 55 159 | 44 55 160 | 5 56 161 | 8 56 162 | 2 56 163 | 3 57 164 | 48 57 165 | 32 57 166 | 5 58 167 | 2 58 168 | 1 58 169 | 5 59 170 | 2 59 171 | 48 59 172 | 5 60 173 | 1 60 174 | 33 60 175 | 4 61 176 | 12 61 177 | 11 61 178 | 2 62 179 | 38 62 180 | 1 62 181 | 22 63 182 | 10 63 183 | 2 63 184 | 31 64 185 | 2 64 186 | 5 64 187 | 4 65 188 | 5 65 189 | 1 65 190 | 5 66 191 | 4 66 192 | 24 66 193 | 5 67 194 | 1 67 195 | 13 67 196 | 1 68 197 | 67 68 198 | 22 68 199 | 14 69 200 | 33 69 201 | 8 69 202 | 1 70 203 | 5 70 204 | 3 70 205 | 17 71 206 | 11 71 207 | 4 71 208 | 4 72 209 | 5 72 210 | 7 72 211 | 4 73 212 | 42 73 213 | 70 73 214 | 16 74 215 | 4 74 216 | 1 74 217 | 5 75 218 | 13 75 219 | 4 75 220 | 22 76 221 | 28 76 222 | 4 76 223 | 1 77 224 | 16 77 225 | 4 77 226 | 76 78 227 | 66 78 228 | 2 78 229 | 6 79 230 | 2 79 231 | 5 79 232 | 1 80 233 | 3 80 234 | 4 80 235 | 19 81 236 | 5 81 237 | 3 81 238 | 2 82 239 | 1 82 240 | 22 82 241 | 2 83 242 | 1 83 243 | 11 83 244 | 2 84 245 | 1 84 246 | 33 84 247 | 1 85 248 | 6 85 249 | 4 85 250 | 1 86 251 | 2 86 252 | 13 86 253 | 2 87 254 | 4 87 255 | 5 87 256 | 4 88 257 | 45 88 258 | 40 88 259 | 4 89 260 | 5 89 261 | 16 89 262 | 4 90 263 | 13 90 264 | 68 90 265 | 28 91 266 | 70 91 267 | 2 91 268 | 4 92 269 | 63 92 270 | 1 92 271 | 5 93 272 | 4 93 273 | 3 93 274 | 24 94 275 | 14 94 276 | 4 94 277 | 4 95 278 | 1 95 279 | 63 95 280 | 24 96 281 | 4 96 282 | 5 96 283 | 1 97 284 | 2 97 285 | 24 97 286 | 3 98 287 | 1 98 288 | 5 98 289 | 39 99 290 | 24 99 291 | 26 99 292 | 3 100 293 | 2 100 294 | 24 100 295 | 39 101 296 | 5 101 297 | 1 101 298 | 3 102 299 | 77 102 300 | 80 102 301 | 4 103 302 | 34 103 303 | 26 103 304 | 11 104 305 | 23 104 306 | 5 104 307 | 4 105 308 | 5 105 309 | 11 105 310 | 11 106 311 | 6 106 312 | 54 106 313 | 2 107 314 | 96 107 315 | 5 107 316 | 5 108 317 | 2 108 318 | 3 108 319 | 39 109 320 | 2 109 321 | 88 109 322 | 6 110 323 | 2 110 324 | 4 110 325 | 39 111 326 | 4 111 327 | 23 111 328 | 2 112 329 | 4 112 330 | 5 112 331 | 22 113 332 | 78 113 333 | 2 113 334 | 2 114 335 | 91 114 336 | 5 114 337 | 1 115 338 | 13 115 339 | 33 115 340 | 5 116 341 | 3 116 342 | 13 116 343 | 4 117 344 | 5 117 345 | 2 117 346 | 89 118 347 | 1 118 348 | 2 118 349 | 86 119 350 | 87 119 351 | 8 119 352 | 109 120 353 | 1 120 354 | 71 120 355 | 1 121 356 | 2 121 357 | 22 121 358 | 26 122 359 | 2 122 360 | 3 122 361 | 1 123 362 | 2 123 363 | 5 123 364 | 12 124 365 | 39 124 366 | 82 124 367 | 4 125 368 | 100 125 369 | 13 125 370 | 112 126 371 | 4 126 372 | 76 126 373 | 3 127 374 | 68 127 375 | 22 127 376 | 2 128 377 | 1 128 378 | 66 128 379 | 1 129 380 | 2 129 381 | 122 129 382 | 12 130 383 | 3 130 384 | 2 130 385 | 13 131 386 | 20 131 387 | 2 131 388 | 13 132 389 | 2 132 390 | 24 132 391 | 73 133 392 | 1 133 393 | 48 133 394 | 1 134 395 | 2 134 396 | 33 134 397 | 1 135 398 | 68 135 399 | 13 135 400 | 6 136 401 | 24 136 402 | 5 136 403 | 4 137 404 | 10 137 405 | 16 137 406 | 1 138 407 | 13 138 408 | 24 138 409 | 33 139 410 | 24 139 411 | 1 139 412 | 2 140 413 | 99 140 414 | 5 140 415 | 50 141 416 | 4 141 417 | 1 141 418 | 17 142 419 | 4 142 420 | 2 142 421 | 3 143 422 | 5 143 423 | 134 143 424 | 4 144 425 | 2 144 426 | 70 144 427 | 4 145 428 | 2 145 429 | 67 145 430 | 4 146 431 | 26 146 432 | 116 146 433 | 73 147 434 | 47 147 435 | 99 147 436 | 78 148 437 | 12 148 438 | 39 148 439 | 136 149 440 | 1 149 441 | 15 149 442 | 95 150 443 | 2 150 444 | 5 150 445 | 150 151 446 | 4 151 447 | 73 151 448 | 11 152 449 | 2 152 450 | 3 152 451 | 138 153 452 | 5 153 453 | 16 153 454 | 132 154 455 | 1 154 456 | 29 154 457 | 11 155 458 | 121 155 459 | 78 155 460 | 67 156 461 | 72 156 462 | 3 156 463 | 5 157 464 | 155 157 465 | 67 157 466 | 94 158 467 | 1 158 468 | 2 158 469 | 24 159 470 | 122 159 471 | 35 159 472 | 82 160 473 | 1 160 474 | 5 160 475 | 158 161 476 | 5 161 477 | 107 161 478 | 141 162 479 | 132 162 480 | 87 162 481 | 68 163 482 | 4 163 483 | 21 163 484 | 4 164 485 | 1 164 486 | 2 164 487 | 55 165 488 | 3 165 489 | 9 165 490 | 11 166 491 | 5 166 492 | 81 166 493 | 3 167 494 | 13 167 495 | 4 167 496 | 3 168 497 | 127 168 498 | 19 168 499 | 127 169 500 | 163 169 501 | 2 169 502 | 14 170 503 | 1 170 504 | 93 170 505 | 89 171 506 | 4 171 507 | 87 171 508 | 97 172 509 | 6 172 510 | 16 172 511 | 2 173 512 | 1 173 513 | 11 173 514 | 4 174 515 | 48 174 516 | 31 174 517 | 24 175 518 | 2 175 519 | 33 175 520 | 4 176 521 | 1 176 522 | 5 176 523 | 5 177 524 | 89 177 525 | 1 177 526 | 65 178 527 | 2 178 528 | 13 178 529 | 2 179 530 | 11 179 531 | 32 179 532 | 16 180 533 | 2 180 534 | 137 180 535 | 5 181 536 | 77 181 537 | 45 181 538 | 41 182 539 | 71 182 540 | 152 182 541 | 5 183 542 | 24 183 543 | 3 183 544 | 38 184 545 | 1 184 546 | 2 184 547 | 1 185 548 | 3 185 549 | 4 185 550 | 86 186 551 | 11 186 552 | 41 186 553 | 33 187 554 | 1 187 555 | 3 187 556 | 2 188 557 | 3 188 558 | 21 188 559 | 3 189 560 | 71 189 561 | 41 189 562 | 8 190 563 | 47 190 564 | 188 190 565 | 141 191 566 | 4 191 567 | 1 191 568 | 2 192 569 | 87 192 570 | 26 192 571 | 62 193 572 | 78 193 573 | 22 193 574 | 8 194 575 | 1 194 576 | 26 194 577 | 121 195 578 | 1 195 579 | 2 195 580 | 9 196 581 | 4 196 582 | 135 196 583 | 2 197 584 | 22 197 585 | 1 197 586 | 5 198 587 | 81 198 588 | 18 198 589 | 76 199 590 | 2 199 591 | 3 199 592 | 48 200 593 | 11 200 594 | 24 200 595 | 5 201 596 | 30 201 597 | 4 201 598 | 6 202 599 | 105 202 600 | 118 202 601 | 16 203 602 | 2 203 603 | 5 203 604 | 157 204 605 | 5 204 606 | 99 204 607 | 1 205 608 | 71 205 609 | 160 205 610 | 1 206 611 | 115 206 612 | 8 206 613 | 23 207 614 | 2 207 615 | 70 207 616 | 2 208 617 | 35 208 618 | 19 208 619 | 71 209 620 | 3 209 621 | 13 209 622 | 188 210 623 | 3 210 624 | 13 210 625 | 30 211 626 | 3 211 627 | 43 211 628 | 206 212 629 | 99 212 630 | 93 212 631 | 1 213 632 | 67 213 633 | 3 213 634 | 1 214 635 | 2 214 636 | 158 214 637 | 3 215 638 | 26 215 639 | 5 215 640 | 1 216 641 | 29 216 642 | 206 216 643 | 1 217 644 | 5 217 645 | 4 217 646 | 175 218 647 | 5 218 648 | 23 218 649 | 4 219 650 | 48 219 651 | 2 219 652 | 2 220 653 | 13 220 654 | 41 220 655 | 3 221 656 | 2 221 657 | 87 221 658 | 25 222 659 | 206 222 660 | 4 222 661 | 3 223 662 | 4 223 663 | 120 223 664 | 221 224 665 | 178 224 666 | 5 224 667 | 10 225 668 | 208 225 669 | 3 225 670 | 5 226 671 | 67 226 672 | 12 226 673 | 3 227 674 | 2 227 675 | 179 227 676 | 73 228 677 | 5 228 678 | 3 228 679 | 1 229 680 | 25 229 681 | 4 229 682 | 63 230 683 | 1 230 684 | 2 230 685 | 5 231 686 | 53 231 687 | 1 231 688 | 3 232 689 | 8 232 690 | 5 232 691 | 5 233 692 | 37 233 693 | 2 233 694 | 1 234 695 | 34 234 696 | 131 234 697 | 64 235 698 | 6 235 699 | 3 235 700 | 76 236 701 | 2 236 702 | 13 236 703 | 4 237 704 | 2 237 705 | 131 237 706 | 24 238 707 | 5 238 708 | 231 238 709 | 65 239 710 | 45 239 711 | 112 239 712 | 2 240 713 | 16 240 714 | 95 240 715 | 1 241 716 | 60 241 717 | 2 241 718 | 158 242 719 | 16 242 720 | 81 242 721 | 100 243 722 | 54 243 723 | 41 243 724 | 6 244 725 | 87 244 726 | 5 244 727 | 33 245 728 | 24 245 729 | 142 245 730 | 93 246 731 | 73 246 732 | 13 246 733 | 33 247 734 | 68 247 735 | 90 247 736 | 2 248 737 | 1 248 738 | 20 248 739 | 4 249 740 | 225 249 741 | 3 249 742 | 24 250 743 | 65 250 744 | 145 250 745 | 70 251 746 | 2 251 747 | 4 251 748 | 13 252 749 | 41 252 750 | 149 252 751 | 112 253 752 | 135 253 753 | 165 253 754 | 2 254 755 | 11 254 756 | 41 254 757 | 179 255 758 | 48 255 759 | 2 255 760 | 138 256 761 | 154 256 762 | 116 256 763 | 249 257 764 | 4 257 765 | 3 257 766 | 9 258 767 | 21 258 768 | 5 258 769 | 127 259 770 | 187 259 771 | 43 259 772 | 1 260 773 | 158 260 774 | 3 260 775 | 13 261 776 | 222 261 777 | 44 261 778 | 8 262 779 | 118 262 780 | 2 262 781 | 135 263 782 | 2 263 783 | 76 263 784 | 5 264 785 | 87 264 786 | 67 264 787 | 41 265 788 | 96 265 789 | 2 265 790 | 1 266 791 | 8 266 792 | 78 266 793 | 239 267 794 | 173 267 795 | 36 267 796 | 127 268 797 | 99 268 798 | 24 268 799 | 5 269 800 | 2 269 801 | 103 269 802 | 24 270 803 | 175 270 804 | 2 270 805 | 1 271 806 | 3 271 807 | 2 271 808 | 7 272 809 | 4 272 810 | 163 272 811 | 2 273 812 | 231 273 813 | 3 273 814 | 188 274 815 | 2 274 816 | 25 274 817 | 13 275 818 | 2 275 819 | 178 275 820 | 2 276 821 | 221 276 822 | 13 276 823 | 13 277 824 | 1 277 825 | 2 277 826 | 139 278 827 | 12 278 828 | 5 278 829 | 4 279 830 | 2 279 831 | 5 279 832 | 2 280 833 | 3 280 834 | 166 280 835 | 183 281 836 | 53 281 837 | 152 281 838 | 68 282 839 | 100 282 840 | 1 282 841 | 22 283 842 | 5 283 843 | 35 283 844 | 180 284 845 | 3 284 846 | 84 284 847 | 81 285 848 | 5 285 849 | 132 285 850 | 13 286 851 | 5 286 852 | 9 286 853 | 182 287 854 | 183 287 855 | 22 287 856 | 4 288 857 | 237 288 858 | 5 288 859 | 269 289 860 | 135 289 861 | 138 289 862 | 41 290 863 | 32 290 864 | 195 290 865 | 1 291 866 | 3 291 867 | 9 291 868 | 16 292 869 | 2 292 870 | 70 292 871 | 5 293 872 | 1 293 873 | 49 293 874 | 282 294 875 | 52 294 876 | 4 294 877 | 20 295 878 | 2 295 879 | 183 295 880 | 67 296 881 | 90 296 882 | 1 296 883 | 113 297 884 | 293 297 885 | 2 297 886 | 142 298 887 | 33 298 888 | 2 298 889 | 22 299 890 | 132 299 891 | 192 299 892 | 121 300 893 | 4 300 894 | 280 300 895 | 160 301 896 | 89 301 897 | 67 301 898 | 195 302 899 | 289 302 900 | 201 302 901 | 13 303 902 | 1 303 903 | 5 303 904 | 11 304 905 | 68 304 906 | 239 304 907 | 244 305 908 | 2 305 909 | 66 305 910 | 2 306 911 | 5 306 912 | 135 306 913 | 6 307 914 | 2 307 915 | 26 307 916 | 1 308 917 | 5 308 918 | 24 308 919 | 1 309 920 | 26 309 921 | 4 309 922 | 165 310 923 | 2 310 924 | 1 310 925 | 1 311 926 | 139 311 927 | 13 311 928 | 89 312 929 | 5 312 930 | 2 312 931 | 72 313 932 | 1 313 933 | 4 313 934 | 13 314 935 | 90 314 936 | 173 314 937 | 4 315 938 | 2 315 939 | 304 315 940 | 5 316 941 | 1 316 942 | 188 316 943 | 5 317 944 | 63 317 945 | 1 317 946 | 4 318 947 | 18 318 948 | 1 318 949 | 204 319 950 | 316 319 951 | 41 319 952 | 5 320 953 | 204 320 954 | 44 320 955 | 91 321 956 | 2 321 957 | 60 321 958 | 2 322 959 | 38 322 960 | 231 322 961 | 60 323 962 | 215 323 963 | 237 323 964 | 109 324 965 | 6 324 966 | 76 324 967 | 123 325 968 | 5 325 969 | 3 325 970 | 1 326 971 | 57 326 972 | 26 326 973 | 66 327 974 | 237 327 975 | 9 327 976 | 19 328 977 | 4 328 978 | 16 328 979 | 1 329 980 | 209 329 981 | 155 329 982 | 295 330 983 | 26 330 984 | 35 330 985 | 4 331 986 | 180 331 987 | 11 331 988 | 6 332 989 | 4 332 990 | 8 332 991 | 3 333 992 | 13 333 993 | 32 333 994 | 10 334 995 | 5 334 996 | 123 334 997 | 238 335 998 | 2 335 999 | 253 335 1000 | 2 336 1001 | 57 336 1002 | 22 336 1003 | 43 337 1004 | 145 337 1005 | 99 337 1006 | 134 338 1007 | 107 338 1008 | 82 338 1009 | 2 339 1010 | 217 339 1011 | 1 339 1012 | 41 340 1013 | 3 340 1014 | 10 340 1015 | 2 341 1016 | 7 341 1017 | 4 341 1018 | 183 342 1019 | 307 342 1020 | 4 342 1021 | 19 343 1022 | 131 343 1023 | 10 343 1024 | 62 344 1025 | 28 344 1026 | 54 344 1027 | 160 345 1028 | 187 345 1029 | 36 345 1030 | 5 346 1031 | 26 346 1032 | 41 346 1033 | 4 347 1034 | 13 347 1035 | 2 347 1036 | 60 348 1037 | 82 348 1038 | 314 348 1039 | 4 349 1040 | 1 349 1041 | 152 349 1042 | 338 350 1043 | 305 350 1044 | 2 350 1045 | 41 351 1046 | 2 351 1047 | 1 351 1048 | 5 352 1049 | 2 352 1050 | 299 352 1051 | 13 353 1052 | 2 353 1053 | 5 353 1054 | 41 354 1055 | 37 354 1056 | 1 354 1057 | 160 355 1058 | 71 355 1059 | 123 355 1060 | 231 356 1061 | 67 356 1062 | 5 356 1063 | 107 357 1064 | 68 357 1065 | 326 357 1066 | 207 358 1067 | 24 358 1068 | 209 358 1069 | 86 359 1070 | 131 359 1071 | 305 359 1072 | 158 360 1073 | 173 360 1074 | 160 360 1075 | 55 361 1076 | 106 361 1077 | 5 361 1078 | 82 362 1079 | 1 362 1080 | 103 362 1081 | 164 363 1082 | 13 363 1083 | 2 363 1084 | 195 364 1085 | 17 364 1086 | 19 364 1087 | 4 365 1088 | 2 365 1089 | 24 365 1090 | 4 366 1091 | 178 366 1092 | 307 366 1093 | 336 367 1094 | 67 367 1095 | 206 367 1096 | 31 368 1097 | 24 368 1098 | 240 368 1099 | 1 369 1100 | 2 369 1101 | 26 369 1102 | 3 370 1103 | 1 370 1104 | 2 370 1105 | 4 371 1106 | 2 371 1107 | 177 371 1108 | 4 372 1109 | 311 372 1110 | 74 372 1111 | 5 373 1112 | 99 373 1113 | 1 373 1114 | 5 374 1115 | 44 374 1116 | 147 374 1117 | 68 375 1118 | 334 375 1119 | 5 375 1120 | 8 376 1121 | 135 376 1122 | 71 376 1123 | 2 377 1124 | 121 377 1125 | 48 377 1126 | 63 378 1127 | 26 378 1128 | 72 378 1129 | 41 379 1130 | 16 379 1131 | 5 379 1132 | 2 380 1133 | 6 380 1134 | 5 380 1135 | 63 381 1136 | 204 381 1137 | 4 381 1138 | 165 382 1139 | 5 382 1140 | 83 382 1141 | 250 383 1142 | 237 383 1143 | 99 383 1144 | 63 384 1145 | 115 384 1146 | 1 384 1147 | 305 385 1148 | 33 385 1149 | 60 385 1150 | 47 386 1151 | 11 386 1152 | 12 386 1153 | 68 387 1154 | 5 387 1155 | 22 387 1156 | 289 388 1157 | 9 388 1158 | 13 388 1159 | 11 389 1160 | 22 389 1161 | 2 389 1162 | 24 390 1163 | 262 390 1164 | 82 390 1165 | 141 391 1166 | 123 391 1167 | 22 391 1168 | 262 392 1169 | 126 392 1170 | 2 392 1171 | 2 393 1172 | 5 393 1173 | 387 393 1174 | 92 394 1175 | 187 394 1176 | 24 394 1177 | 12 395 1178 | 180 395 1179 | 107 395 1180 | 14 396 1181 | 5 396 1182 | 4 396 1183 | 3 397 1184 | 353 397 1185 | 343 397 1186 | 1 398 1187 | 78 398 1188 | 343 398 1189 | 2 399 1190 | 3 399 1191 | 7 399 1192 | 193 400 1193 | 4 400 1194 | 6 400 1195 | 333 401 1196 | 4 401 1197 | 106 401 1198 | 12 402 1199 | 394 402 1200 | 128 402 1201 | 207 403 1202 | 254 403 1203 | 1 403 1204 | 385 404 1205 | 48 404 1206 | 2 404 1207 | 5 405 1208 | 77 405 1209 | 25 405 1210 | 66 406 1211 | 1 406 1212 | 229 406 1213 | 188 407 1214 | 2 407 1215 | 4 407 1216 | 1 408 1217 | 3 408 1218 | 158 408 1219 | 16 409 1220 | 21 409 1221 | 8 409 1222 | 4 410 1223 | 27 410 1224 | 33 410 1225 | 381 411 1226 | 291 411 1227 | 234 411 1228 | 127 412 1229 | 392 412 1230 | 3 412 1231 | 302 413 1232 | 111 413 1233 | 30 413 1234 | 13 414 1235 | 90 414 1236 | 3 414 1237 | 6 415 1238 | 3 415 1239 | 1 415 1240 | 5 416 1241 | 341 416 1242 | 311 416 1243 | 238 417 1244 | 209 417 1245 | 2 417 1246 | 5 418 1247 | 67 418 1248 | 16 418 1249 | 275 419 1250 | 4 419 1251 | 19 419 1252 | 132 420 1253 | 206 420 1254 | 4 420 1255 | 3 421 1256 | 41 421 1257 | 22 421 1258 | 43 422 1259 | 24 422 1260 | 44 422 1261 | 5 423 1262 | 226 423 1263 | 26 423 1264 | 17 424 1265 | 132 424 1266 | 213 424 1267 | 220 425 1268 | 2 425 1269 | 5 425 1270 | 65 426 1271 | 1 426 1272 | 77 426 1273 | 343 427 1274 | 2 427 1275 | 78 427 1276 | 74 428 1277 | 4 428 1278 | 29 428 1279 | 24 429 1280 | 2 429 1281 | 54 429 1282 | 257 430 1283 | 135 430 1284 | 70 430 1285 | 33 431 1286 | 3 431 1287 | 1 431 1288 | 5 432 1289 | 2 432 1290 | 160 432 1291 | 315 433 1292 | 5 433 1293 | 2 433 1294 | 22 434 1295 | 1 434 1296 | 14 434 1297 | 5 435 1298 | 3 435 1299 | 320 435 1300 | 3 436 1301 | 2 436 1302 | 275 436 1303 | 135 437 1304 | 166 437 1305 | 5 437 1306 | 111 438 1307 | 284 438 1308 | 2 438 1309 | 138 439 1310 | 5 439 1311 | 259 439 1312 | 438 440 1313 | 2 440 1314 | 207 440 1315 | 9 441 1316 | 40 441 1317 | 2 441 1318 | 5 442 1319 | 38 442 1320 | 338 442 1321 | 440 443 1322 | 423 443 1323 | 2 443 1324 | 5 444 1325 | 4 444 1326 | 2 444 1327 | 1 445 1328 | 14 445 1329 | 229 445 1330 | 129 446 1331 | 112 446 1332 | 2 446 1333 | 5 447 1334 | 4 447 1335 | 20 447 1336 | 187 448 1337 | 188 448 1338 | 2 448 1339 | 195 449 1340 | 387 449 1341 | 3 449 1342 | 183 450 1343 | 377 450 1344 | 5 450 1345 | 12 451 1346 | 101 451 1347 | 141 451 1348 | 4 452 1349 | 2 452 1350 | 3 452 1351 | 60 453 1352 | 22 453 1353 | 2 453 1354 | 76 454 1355 | 273 454 1356 | 1 454 1357 | 35 455 1358 | 4 455 1359 | 24 455 1360 | 4 456 1361 | 23 456 1362 | 20 456 1363 | 4 457 1364 | 349 457 1365 | 2 457 1366 | 11 458 1367 | 22 458 1368 | 240 458 1369 | 160 459 1370 | 2 459 1371 | 4 459 1372 | 33 460 1373 | 3 460 1374 | 16 460 1375 | 2 461 1376 | 23 461 1377 | 282 461 1378 | 24 462 1379 | 108 462 1380 | 199 462 1381 | 13 463 1382 | 5 463 1383 | 2 463 1384 | 99 464 1385 | 1 464 1386 | 349 464 1387 | 16 465 1388 | 50 465 1389 | 90 465 1390 | 23 466 1391 | 1 466 1392 | 34 466 1393 | 446 467 1394 | 252 467 1395 | 380 467 1396 | 371 468 1397 | 4 468 1398 | 67 468 1399 | 19 469 1400 | 101 469 1401 | 4 469 1402 | 5 470 1403 | 2 470 1404 | 213 470 1405 | 9 471 1406 | 1 471 1407 | 209 471 1408 | 4 472 1409 | 41 472 1410 | 2 472 1411 | 404 473 1412 | 81 473 1413 | 11 473 1414 | 83 474 1415 | 230 474 1416 | 5 474 1417 | 4 475 1418 | 326 475 1419 | 322 475 1420 | 63 476 1421 | 3 476 1422 | 41 476 1423 | 104 477 1424 | 2 477 1425 | 390 477 1426 | 99 478 1427 | 24 478 1428 | 181 478 1429 | 1 479 1430 | 68 479 1431 | 172 479 1432 | 5 480 1433 | 2 480 1434 | 281 480 1435 | 3 481 1436 | 93 481 1437 | 314 481 1438 | 294 482 1439 | 41 482 1440 | 188 482 1441 | 135 483 1442 | 78 483 1443 | 2 483 1444 | 5 484 1445 | 3 484 1446 | 1 484 1447 | 345 485 1448 | 2 485 1449 | 238 485 1450 | 3 486 1451 | 349 486 1452 | 68 486 1453 | 16 487 1454 | 19 487 1455 | 2 487 1456 | 5 488 1457 | 112 488 1458 | 81 488 1459 | 121 489 1460 | 488 489 1461 | 4 489 1462 | 395 490 1463 | 4 490 1464 | 13 490 1465 | 270 491 1466 | 67 491 1467 | 5 491 1468 | 1 492 1469 | 33 492 1470 | 336 492 1471 | 275 493 1472 | 2 493 1473 | 34 493 1474 | 4 494 1475 | 16 494 1476 | 135 494 1477 | 180 495 1478 | 26 495 1479 | 24 495 1480 | 3 496 1481 | 73 496 1482 | 1 496 1483 | 28 497 1484 | 4 497 1485 | 3 497 1486 | 24 498 1487 | 344 498 1488 | 14 498 1489 | 295 499 1490 | 4 499 1491 | 323 499 1492 | 5 500 1493 | 23 500 1494 | 106 500 1495 | 23 501 1496 | 135 501 1497 | 5 501 1498 | 234 502 1499 | 11 502 1500 | 2 502 1501 | 73 503 1502 | 206 503 1503 | 215 503 1504 | 257 504 1505 | 174 504 1506 | 296 504 1507 | 408 505 1508 | 2 505 1509 | 99 505 1510 | 479 506 1511 | 2 506 1512 | 123 506 1513 | 128 507 1514 | 5 507 1515 | 2 507 1516 | 4 508 1517 | 5 508 1518 | 467 508 1519 | 28 509 1520 | 25 509 1521 | 186 509 1522 | 2 510 1523 | 272 510 1524 | 66 510 1525 | 112 511 1526 | 325 511 1527 | 4 511 1528 | 128 512 1529 | 158 512 1530 | 2 512 1531 | 209 513 1532 | 278 513 1533 | 5 513 1534 | 138 514 1535 | 137 514 1536 | 5 514 1537 | 24 515 1538 | 27 515 1539 | 5 515 1540 | 121 516 1541 | 380 516 1542 | 64 516 1543 | 484 517 1544 | 5 517 1545 | 4 517 1546 | 4 518 1547 | 341 518 1548 | 2 518 1549 | 6 519 1550 | 41 519 1551 | 225 519 1552 | 6 520 1553 | 20 520 1554 | 68 520 1555 | 106 521 1556 | 87 521 1557 | 2 521 1558 | 43 522 1559 | 4 522 1560 | 87 522 1561 | 283 523 1562 | 33 523 1563 | 14 523 1564 | 2 524 1565 | 79 524 1566 | 142 524 1567 | 4 525 1568 | 9 525 1569 | 5 525 1570 | 91 526 1571 | 20 526 1572 | 2 526 1573 | 1 527 1574 | 3 527 1575 | 13 527 1576 | 4 528 1577 | 1 528 1578 | 5 528 1579 | 2 529 1580 | 5 529 1581 | 4 529 1582 | 226 530 1583 | 185 530 1584 | 11 530 1585 | 152 531 1586 | 5 531 1587 | 165 531 1588 | 432 532 1589 | 7 532 1590 | 124 532 1591 | 192 533 1592 | 24 533 1593 | 5 533 1594 | 340 534 1595 | 30 534 1596 | 2 534 1597 | 43 535 1598 | 2 535 1599 | 131 535 1600 | 4 536 1601 | 67 536 1602 | 78 536 1603 | 24 537 1604 | 240 537 1605 | 5 537 1606 | 11 538 1607 | 2 538 1608 | 1 538 1609 | 3 539 1610 | 154 539 1611 | 30 539 1612 | 31 540 1613 | 36 540 1614 | 35 540 1615 | 8 541 1616 | 41 541 1617 | 4 541 1618 | 109 542 1619 | 16 542 1620 | 92 542 1621 | 322 543 1622 | 1 543 1623 | 6 543 1624 | 279 544 1625 | 22 544 1626 | 8 544 1627 | 116 545 1628 | 64 545 1629 | 5 545 1630 | 536 546 1631 | 2 546 1632 | 12 546 1633 | 451 547 1634 | 225 547 1635 | 1 547 1636 | 2 548 1637 | 336 548 1638 | 347 548 1639 | 476 549 1640 | 67 549 1641 | 24 549 1642 | 475 550 1643 | 4 550 1644 | 48 550 1645 | 289 551 1646 | 165 551 1647 | 2 551 1648 | 34 552 1649 | 22 552 1650 | 2 552 1651 | 39 553 1652 | 419 553 1653 | 3 553 1654 | 106 554 1655 | 82 554 1656 | 93 554 1657 | 33 555 1658 | 263 555 1659 | 53 555 1660 | 5 556 1661 | 10 556 1662 | 1 556 1663 | 22 557 1664 | 21 557 1665 | 4 557 1666 | 64 558 1667 | 9 558 1668 | 315 558 1669 | 184 559 1670 | 5 559 1671 | 354 559 1672 | 220 560 1673 | 19 560 1674 | 4 560 1675 | 5 561 1676 | 1 561 1677 | 11 561 1678 | 2 562 1679 | 354 562 1680 | 129 562 1681 | 436 563 1682 | 5 563 1683 | 142 563 1684 | 469 564 1685 | 344 564 1686 | 244 564 1687 | 21 565 1688 | 5 565 1689 | 187 565 1690 | 85 566 1691 | 1 566 1692 | 93 566 1693 | 4 567 1694 | 476 567 1695 | 455 567 1696 | 1 568 1697 | 2 568 1698 | 3 568 1699 | 26 569 1700 | 54 569 1701 | 275 569 1702 | 180 570 1703 | 1 570 1704 | 26 570 1705 | 176 571 1706 | 261 571 1707 | 2 571 1708 | 44 572 1709 | 112 572 1710 | 188 572 1711 | 4 573 1712 | 224 573 1713 | 1 573 1714 | 154 574 1715 | 249 574 1716 | 135 574 1717 | 381 575 1718 | 2 575 1719 | 23 575 1720 | 349 576 1721 | 1 576 1722 | 26 576 1723 | 4 577 1724 | 5 577 1725 | 158 577 1726 | 1 578 1727 | 343 578 1728 | 86 578 1729 | 5 579 1730 | 6 579 1731 | 16 579 1732 | 4 580 1733 | 59 580 1734 | 18 580 1735 | 8 581 1736 | 13 581 1737 | 404 581 1738 | 5 582 1739 | 4 582 1740 | 100 582 1741 | 67 583 1742 | 239 583 1743 | 167 583 1744 | 346 584 1745 | 74 584 1746 | 2 584 1747 | 4 585 1748 | 118 585 1749 | 264 585 1750 | 5 586 1751 | 438 586 1752 | 1 586 1753 | 183 587 1754 | 402 587 1755 | 12 587 1756 | 3 588 1757 | 2 588 1758 | 132 588 1759 | 24 589 1760 | 4 589 1761 | 95 589 1762 | 5 590 1763 | 28 590 1764 | 2 590 1765 | 479 591 1766 | 8 591 1767 | 5 591 1768 | 356 592 1769 | 5 592 1770 | 6 592 1771 | 5 593 1772 | 569 593 1773 | 26 593 1774 | 1 594 1775 | 505 594 1776 | 272 594 1777 | 195 595 1778 | 16 595 1779 | 362 595 1780 | 180 596 1781 | 5 596 1782 | 135 596 1783 | 2 597 1784 | 33 597 1785 | 589 597 1786 | 2 598 1787 | 1 598 1788 | 354 598 1789 | 5 599 1790 | 4 599 1791 | 13 599 1792 | 459 600 1793 | 440 600 1794 | 24 600 1795 | 6 601 1796 | 2 601 1797 | 413 601 1798 | 38 602 1799 | 4 602 1800 | 3 602 1801 | 337 603 1802 | 6 603 1803 | 264 603 1804 | 2 604 1805 | 188 604 1806 | 5 604 1807 | 99 605 1808 | 132 605 1809 | 5 605 1810 | 182 606 1811 | 2 606 1812 | 21 606 1813 | 2 607 1814 | 67 607 1815 | 19 607 1816 | 5 608 1817 | 3 608 1818 | 33 608 1819 | 3 609 1820 | 70 609 1821 | 2 609 1822 | 384 610 1823 | 226 610 1824 | 107 610 1825 | 182 611 1826 | 547 611 1827 | 413 611 1828 | 296 612 1829 | 160 612 1830 | 231 612 1831 | 296 613 1832 | 127 613 1833 | 12 613 1834 | 5 614 1835 | 10 614 1836 | 366 614 1837 | 19 615 1838 | 354 615 1839 | 538 615 1840 | 571 616 1841 | 123 616 1842 | 178 616 1843 | 2 617 1844 | 13 617 1845 | 502 617 1846 | 63 618 1847 | 2 618 1848 | 4 618 1849 | 35 619 1850 | 231 619 1851 | 298 619 1852 | 100 620 1853 | 438 620 1854 | 4 620 1855 | 104 621 1856 | 11 621 1857 | 8 621 1858 | 206 622 1859 | 39 622 1860 | 33 622 1861 | 35 623 1862 | 195 623 1863 | 48 623 1864 | 100 624 1865 | 239 624 1866 | 196 624 1867 | 38 625 1868 | 33 625 1869 | 24 625 1870 | 1 626 1871 | 387 626 1872 | 239 626 1873 | 143 627 1874 | 4 627 1875 | 2 627 1876 | 5 628 1877 | 4 628 1878 | 22 628 1879 | 4 629 1880 | 82 629 1881 | 26 629 1882 | 143 630 1883 | 1 630 1884 | 71 630 1885 | 11 631 1886 | 2 631 1887 | 1 631 1888 | 5 632 1889 | 118 632 1890 | 21 632 1891 | 63 633 1892 | 390 633 1893 | 438 633 1894 | 1 634 1895 | 11 634 1896 | 275 634 1897 | 130 635 1898 | 145 635 1899 | 5 635 1900 | 220 636 1901 | 3 636 1902 | 416 636 1903 | 55 637 1904 | 76 637 1905 | 2 637 1906 | 346 638 1907 | 25 638 1908 | 163 638 1909 | 13 639 1910 | 5 639 1911 | 6 639 1912 | 65 640 1913 | 128 640 1914 | 4 640 1915 | 119 641 1916 | 31 641 1917 | 1 641 1918 | 346 642 1919 | 595 642 1920 | 67 642 1921 | 4 643 1922 | 378 643 1923 | 2 643 1924 | 633 644 1925 | 2 644 1926 | 33 644 1927 | 76 645 1928 | 87 645 1929 | 5 645 1930 | 68 646 1931 | 35 646 1932 | 118 646 1933 | 421 647 1934 | 48 647 1935 | 78 647 1936 | 2 648 1937 | 84 648 1938 | 24 648 1939 | 617 649 1940 | 39 649 1941 | 2 649 1942 | 303 650 1943 | 343 650 1944 | 4 650 1945 | 3 651 1946 | 16 651 1947 | 1 651 1948 | 26 652 1949 | 457 652 1950 | 1 652 1951 | 440 653 1952 | 262 653 1953 | 1 653 1954 | 1 654 1955 | 21 654 1956 | 41 654 1957 | 402 655 1958 | 521 655 1959 | 3 655 1960 | 32 656 1961 | 7 656 1962 | 48 656 1963 | 14 657 1964 | 1 657 1965 | 215 657 1966 | 87 658 1967 | 338 658 1968 | 97 658 1969 | 283 659 1970 | 100 659 1971 | 533 659 1972 | 38 660 1973 | 466 660 1974 | 20 660 1975 | 3 661 1976 | 5 661 1977 | 93 661 1978 | 158 662 1979 | 332 662 1980 | 11 662 1981 | 2 663 1982 | 342 663 1983 | 75 663 1984 | 111 664 1985 | 13 664 1986 | 99 664 1987 | 615 665 1988 | 254 665 1989 | 6 665 1990 | 55 666 1991 | 30 666 1992 | 4 666 1993 | 2 667 1994 | 586 667 1995 | 207 667 1996 | 33 668 1997 | 615 668 1998 | 99 668 1999 | 486 669 2000 | 41 669 2001 | 3 669 2002 | 34 670 2003 | 197 670 2004 | 5 670 2005 | 78 671 2006 | 100 671 2007 | 1 671 2008 | 4 672 2009 | 16 672 2010 | 2 672 2011 | 26 673 2012 | 114 673 2013 | 2 673 2014 | 22 674 2015 | 344 674 2016 | 390 674 2017 | 6 675 2018 | 41 675 2019 | 1 675 2020 | 93 676 2021 | 5 676 2022 | 1 676 2023 | 74 677 2024 | 21 677 2025 | 304 677 2026 | 5 678 2027 | 22 678 2028 | 151 678 2029 | 9 679 2030 | 3 679 2031 | 505 679 2032 | 206 680 2033 | 565 680 2034 | 344 680 2035 | 25 681 2036 | 16 681 2037 | 1 681 2038 | 2 682 2039 | 578 682 2040 | 62 682 2041 | 9 683 2042 | 260 683 2043 | 5 683 2044 | 1 684 2045 | 47 684 2046 | 496 684 2047 | 116 685 2048 | 135 685 2049 | 288 685 2050 | 193 686 2051 | 581 686 2052 | 23 686 2053 | 220 687 2054 | 565 687 2055 | 627 687 2056 | 28 688 2057 | 206 688 2058 | 3 688 2059 | 2 689 2060 | 16 689 2061 | 9 689 2062 | 399 690 2063 | 4 690 2064 | 2 690 2065 | 403 691 2066 | 262 691 2067 | 314 691 2068 | 334 692 2069 | 63 692 2070 | 5 692 2071 | 4 693 2072 | 2 693 2073 | 9 693 2074 | 74 694 2075 | 33 694 2076 | 24 694 2077 | 2 695 2078 | 128 695 2079 | 66 695 2080 | 78 696 2081 | 386 696 2082 | 135 696 2083 | 218 697 2084 | 4 697 2085 | 283 697 2086 | 291 698 2087 | 18 698 2088 | 203 698 2089 | 198 699 2090 | 248 699 2091 | 6 699 2092 | 413 700 2093 | 2 700 2094 | 158 700 2095 | 2 701 2096 | 589 701 2097 | 5 701 2098 | 354 702 2099 | 1 702 2100 | 99 702 2101 | 253 703 2102 | 2 703 2103 | 13 703 2104 | 85 704 2105 | 4 704 2106 | 314 704 2107 | 14 705 2108 | 22 705 2109 | 1 705 2110 | 2 706 2111 | 546 706 2112 | 289 706 2113 | 259 707 2114 | 2 707 2115 | 331 707 2116 | 6 708 2117 | 264 708 2118 | 1 708 2119 | 4 709 2120 | 450 709 2121 | 314 709 2122 | 87 710 2123 | 332 710 2124 | 275 710 2125 | 2 711 2126 | 693 711 2127 | 296 711 2128 | 116 712 2129 | 35 712 2130 | 562 712 2131 | 2 713 2132 | 5 713 2133 | 232 713 2134 | 14 714 2135 | 101 714 2136 | 446 714 2137 | 381 715 2138 | 164 715 2139 | 5 715 2140 | 86 716 2141 | 701 716 2142 | 2 716 2143 | 397 717 2144 | 1 717 2145 | 4 717 2146 | 9 718 2147 | 209 718 2148 | 5 718 2149 | 281 719 2150 | 2 719 2151 | 1 719 2152 | 5 720 2153 | 13 720 2154 | 294 720 2155 | 41 721 2156 | 81 721 2157 | 116 721 2158 | 99 722 2159 | 24 722 2160 | 295 722 2161 | 91 723 2162 | 5 723 2163 | 528 723 2164 | 2 724 2165 | 22 724 2166 | 3 724 2167 | 198 725 2168 | 181 725 2169 | 132 725 2170 | 4 726 2171 | 209 726 2172 | 446 726 2173 | 644 727 2174 | 2 727 2175 | 179 727 2176 | 2 728 2177 | 351 728 2178 | 24 728 2179 | 19 729 2180 | 226 729 2181 | 452 729 2182 | 142 730 2183 | 344 730 2184 | 435 730 2185 | 87 731 2186 | 1 731 2187 | 3 731 2188 | 5 732 2189 | 2 732 2190 | 592 732 2191 | 81 733 2192 | 4 733 2193 | 34 733 2194 | 122 734 2195 | 653 734 2196 | 34 734 2197 | 5 735 2198 | 21 735 2199 | 2 735 2200 | 5 736 2201 | 26 736 2202 | 195 736 2203 | 306 737 2204 | 121 737 2205 | 2 737 2206 | 279 738 2207 | 3 738 2208 | 11 738 2209 | 195 739 2210 | 58 739 2211 | 121 739 2212 | 63 740 2213 | 589 740 2214 | 2 740 2215 | 13 741 2216 | 2 741 2217 | 127 741 2218 | 431 742 2219 | 2 742 2220 | 5 742 2221 | 1 743 2222 | 426 743 2223 | 93 743 2224 | 166 744 2225 | 5 744 2226 | 1 744 2227 | 3 745 2228 | 11 745 2229 | 43 745 2230 | 111 746 2231 | 491 746 2232 | 560 746 2233 | 4 747 2234 | 144 747 2235 | 13 747 2236 | 11 748 2237 | 730 748 2238 | 530 748 2239 | 491 749 2240 | 5 749 2241 | 282 749 2242 | 326 750 2243 | 292 750 2244 | 208 750 2245 | 536 751 2246 | 24 751 2247 | 16 751 2248 | 48 752 2249 | 195 752 2250 | 13 752 2251 | 62 753 2252 | 145 753 2253 | 739 753 2254 | 63 754 2255 | 4 754 2256 | 1 754 2257 | 2 755 2258 | 650 755 2259 | 153 755 2260 | 1 756 2261 | 635 756 2262 | 24 756 2263 | 695 757 2264 | 1 757 2265 | 302 757 2266 | 5 758 2267 | 16 758 2268 | 109 758 2269 | 78 759 2270 | 179 759 2271 | 128 759 2272 | 2 760 2273 | 5 760 2274 | 67 760 2275 | 209 761 2276 | 98 761 2277 | 5 761 2278 | 640 762 2279 | 1 762 2280 | 71 762 2281 | 670 763 2282 | 16 763 2283 | 72 763 2284 | 151 764 2285 | 220 764 2286 | 449 764 2287 | 198 765 2288 | 26 765 2289 | 2 765 2290 | 153 766 2291 | 87 766 2292 | 5 766 2293 | 13 767 2294 | 93 767 2295 | 4 767 2296 | 110 768 2297 | 60 768 2298 | 6 768 2299 | 2 769 2300 | 3 769 2301 | 469 769 2302 | 303 770 2303 | 26 770 2304 | 502 770 2305 | 131 771 2306 | 5 771 2307 | 3 771 2308 | 240 772 2309 | 131 772 2310 | 14 772 2311 | 753 773 2312 | 1 773 2313 | 65 773 2314 | 5 774 2315 | 23 774 2316 | 716 774 2317 | 746 775 2318 | 589 775 2319 | 87 775 2320 | 566 776 2321 | 774 776 2322 | 672 776 2323 | 366 777 2324 | 5 777 2325 | 293 777 2326 | 16 778 2327 | 26 778 2328 | 2 778 2329 | 119 779 2330 | 571 779 2331 | 2 779 2332 | 5 780 2333 | 350 780 2334 | 33 780 2335 | 206 781 2336 | 2 781 2337 | 26 781 2338 | 322 782 2339 | 4 782 2340 | 6 782 2341 | 44 783 2342 | 2 783 2343 | 469 783 2344 | 535 784 2345 | 73 784 2346 | 82 784 2347 | 68 785 2348 | 402 785 2349 | 4 785 2350 | 277 786 2351 | 292 786 2352 | 16 786 2353 | 576 787 2354 | 635 787 2355 | 83 787 2356 | 390 788 2357 | 202 788 2358 | 351 788 2359 | 62 789 2360 | 4 789 2361 | 76 789 2362 | 776 790 2363 | 438 790 2364 | 85 790 2365 | 399 791 2366 | 43 791 2367 | 48 791 2368 | 2 792 2369 | 43 792 2370 | 138 792 2371 | 3 793 2372 | 16 793 2373 | 235 793 2374 | 21 794 2375 | 347 794 2376 | 178 794 2377 | 13 795 2378 | 336 795 2379 | 787 795 2380 | 283 796 2381 | 14 796 2382 | 209 796 2383 | 1 797 2384 | 567 797 2385 | 54 797 2386 | 35 798 2387 | 2 798 2388 | 9 798 2389 | 381 799 2390 | 4 799 2391 | 303 799 2392 | 2 800 2393 | 362 800 2394 | 206 800 2395 | 3 801 2396 | 571 801 2397 | 16 801 2398 | 67 802 2399 | 39 802 2400 | 509 802 2401 | 121 803 2402 | 92 803 2403 | 13 803 2404 | 561 804 2405 | 55 804 2406 | 16 804 2407 | 4 805 2408 | 33 805 2409 | 5 805 2410 | 390 806 2411 | 21 806 2412 | 5 806 2413 | 614 807 2414 | 35 807 2415 | 1 807 2416 | 677 808 2417 | 657 808 2418 | 241 808 2419 | 306 809 2420 | 342 809 2421 | 9 809 2422 | 11 810 2423 | 566 810 2424 | 8 810 2425 | 111 811 2426 | 240 811 2427 | 3 811 2428 | 34 812 2429 | 4 812 2430 | 734 812 2431 | 192 813 2432 | 41 813 2433 | 403 813 2434 | 24 814 2435 | 613 814 2436 | 116 814 2437 | 26 815 2438 | 135 815 2439 | 4 815 2440 | 127 816 2441 | 5 816 2442 | 627 816 2443 | 16 817 2444 | 3 817 2445 | 41 817 2446 | 343 818 2447 | 342 818 2448 | 1 818 2449 | 30 819 2450 | 2 819 2451 | 206 819 2452 | 464 820 2453 | 65 820 2454 | 1 820 2455 | 43 821 2456 | 322 821 2457 | 35 821 2458 | 436 822 2459 | 623 822 2460 | 3 822 2461 | 185 823 2462 | 5 823 2463 | 2 823 2464 | 1 824 2465 | 345 824 2466 | 2 824 2467 | 41 825 2468 | 16 825 2469 | 571 825 2470 | 314 826 2471 | 3 826 2472 | 1 826 2473 | 1 827 2474 | 5 827 2475 | 87 827 2476 | 3 828 2477 | 13 828 2478 | 346 828 2479 | 2 829 2480 | 43 829 2481 | 262 829 2482 | 165 830 2483 | 4 830 2484 | 3 830 2485 | 172 831 2486 | 9 831 2487 | 7 831 2488 | 201 832 2489 | 24 832 2490 | 253 832 2491 | 166 833 2492 | 643 833 2493 | 2 833 2494 | 5 834 2495 | 827 834 2496 | 342 834 2497 | 5 835 2498 | 6 835 2499 | 676 835 2500 | 1 836 2501 | 5 836 2502 | 11 836 2503 | 4 837 2504 | 16 837 2505 | 618 837 2506 | 4 838 2507 | 119 838 2508 | 123 838 2509 | 486 839 2510 | 87 839 2511 | 2 839 2512 | 561 840 2513 | 158 840 2514 | 3 840 2515 | 5 841 2516 | 93 841 2517 | 810 841 2518 | 68 842 2519 | 3 842 2520 | 167 842 2521 | 811 843 2522 | 3 843 2523 | 4 843 2524 | 409 844 2525 | 3 844 2526 | 640 844 2527 | 800 845 2528 | 1 845 2529 | 14 845 2530 | 153 846 2531 | 3 846 2532 | 99 846 2533 | 22 847 2534 | 33 847 2535 | 4 847 2536 | 135 848 2537 | 1 848 2538 | 67 848 2539 | 3 849 2540 | 16 849 2541 | 8 849 2542 | 4 850 2543 | 338 850 2544 | 605 850 2545 | 1 851 2546 | 3 851 2547 | 33 851 2548 | 135 852 2549 | 5 852 2550 | 351 852 2551 | 12 853 2552 | 741 853 2553 | 22 853 2554 | 71 854 2555 | 823 854 2556 | 4 854 2557 | 731 855 2558 | 4 855 2559 | 288 855 2560 | 1 856 2561 | 386 856 2562 | 3 856 2563 | 4 857 2564 | 6 857 2565 | 342 857 2566 | 579 858 2567 | 107 858 2568 | 656 858 2569 | 63 859 2570 | 91 859 2571 | 55 859 2572 | 197 860 2573 | 392 860 2574 | 5 860 2575 | 163 861 2576 | 615 861 2577 | 406 861 2578 | 656 862 2579 | 36 862 2580 | 138 862 2581 | 5 863 2582 | 35 863 2583 | 4 863 2584 | 33 864 2585 | 116 864 2586 | 5 864 2587 | 104 865 2588 | 14 865 2589 | 2 865 2590 | 31 866 2591 | 6 866 2592 | 865 866 2593 | 13 867 2594 | 35 867 2595 | 335 867 2596 | 39 868 2597 | 21 868 2598 | 2 868 2599 | 188 869 2600 | 111 869 2601 | 24 869 2602 | 9 870 2603 | 77 870 2604 | 4 870 2605 | 505 871 2606 | 5 871 2607 | 10 871 2608 | 4 872 2609 | 3 872 2610 | 354 872 2611 | 200 873 2612 | 26 873 2613 | 4 873 2614 | 2 874 2615 | 5 874 2616 | 3 874 2617 | 220 875 2618 | 578 875 2619 | 273 875 2620 | 13 876 2621 | 4 876 2622 | 342 876 2623 | 55 877 2624 | 403 877 2625 | 1 877 2626 | 413 878 2627 | 2 878 2628 | 1 878 2629 | 595 879 2630 | 403 879 2631 | 7 879 2632 | 273 880 2633 | 100 880 2634 | 289 880 2635 | 78 881 2636 | 721 881 2637 | 257 881 2638 | 112 882 2639 | 21 882 2640 | 2 882 2641 | 3 883 2642 | 7 883 2643 | 363 883 2644 | 11 884 2645 | 229 884 2646 | 3 884 2647 | 22 885 2648 | 3 885 2649 | 2 885 2650 | 16 886 2651 | 5 886 2652 | 63 886 2653 | 219 887 2654 | 464 887 2655 | 24 887 2656 | 4 888 2657 | 593 888 2658 | 9 888 2659 | 2 889 2660 | 24 889 2661 | 3 889 2662 | 5 890 2663 | 26 890 2664 | 4 890 2665 | 2 891 2666 | 291 891 2667 | 245 891 2668 | 464 892 2669 | 509 892 2670 | 48 892 2671 | 304 893 2672 | 4 893 2673 | 1 893 2674 | 4 894 2675 | 2 894 2676 | 5 894 2677 | 5 895 2678 | 65 895 2679 | 457 895 2680 | 15 896 2681 | 130 896 2682 | 894 896 2683 | 293 897 2684 | 594 897 2685 | 579 897 2686 | 240 898 2687 | 48 898 2688 | 100 898 2689 | 14 899 2690 | 258 899 2691 | 4 899 2692 | 4 900 2693 | 390 900 2694 | 1 900 2695 | 283 901 2696 | 2 901 2697 | 4 901 2698 | 204 902 2699 | 390 902 2700 | 251 902 2701 | 3 903 2702 | 47 903 2703 | 4 903 2704 | 702 904 2705 | 16 904 2706 | 215 904 2707 | 844 905 2708 | 2 905 2709 | 41 905 2710 | 305 906 2711 | 5 906 2712 | 231 906 2713 | 231 907 2714 | 746 907 2715 | 273 907 2716 | 131 908 2717 | 4 908 2718 | 343 908 2719 | 314 909 2720 | 231 909 2721 | 89 909 2722 | 128 910 2723 | 457 910 2724 | 32 910 2725 | 307 911 2726 | 192 911 2727 | 4 911 2728 | 73 912 2729 | 41 912 2730 | 5 912 2731 | 5 913 2732 | 73 913 2733 | 192 913 2734 | 4 914 2735 | 5 914 2736 | 19 914 2737 | 661 915 2738 | 24 915 2739 | 289 915 2740 | 4 916 2741 | 9 916 2742 | 790 916 2743 | 35 917 2744 | 135 917 2745 | 4 917 2746 | 47 918 2747 | 90 918 2748 | 3 918 2749 | 24 919 2750 | 804 919 2751 | 354 919 2752 | 3 920 2753 | 505 920 2754 | 179 920 2755 | 83 921 2756 | 66 921 2757 | 1 921 2758 | 4 922 2759 | 73 922 2760 | 262 922 2761 | 4 923 2762 | 583 923 2763 | 5 923 2764 | 405 924 2765 | 615 924 2766 | 2 924 2767 | 5 925 2768 | 231 925 2769 | 2 925 2770 | 400 926 2771 | 791 926 2772 | 39 926 2773 | 5 927 2774 | 3 927 2775 | 74 927 2776 | 74 928 2777 | 197 928 2778 | 131 928 2779 | 866 929 2780 | 35 929 2781 | 894 929 2782 | 858 930 2783 | 22 930 2784 | 5 930 2785 | 237 931 2786 | 3 931 2787 | 213 931 2788 | 4 932 2789 | 3 932 2790 | 1 932 2791 | 105 933 2792 | 3 933 2793 | 23 933 2794 | 99 934 2795 | 1 934 2796 | 2 934 2797 | 13 935 2798 | 24 935 2799 | 82 935 2800 | 85 936 2801 | 158 936 2802 | 8 936 2803 | 905 937 2804 | 585 937 2805 | 26 937 2806 | 262 938 2807 | 26 938 2808 | 364 938 2809 | 225 939 2810 | 200 939 2811 | 5 939 2812 | 183 940 2813 | 116 940 2814 | 413 940 2815 | 458 941 2816 | 774 941 2817 | 4 941 2818 | 96 942 2819 | 455 942 2820 | 253 942 2821 | 24 943 2822 | 377 943 2823 | 5 943 2824 | 9 944 2825 | 1 944 2826 | 16 944 2827 | 236 945 2828 | 34 945 2829 | 20 945 2830 | 3 946 2831 | 245 946 2832 | 12 946 2833 | 523 947 2834 | 581 947 2835 | 9 947 2836 | 103 948 2837 | 1 948 2838 | 11 948 2839 | 87 949 2840 | 209 949 2841 | 82 949 2842 | 4 950 2843 | 5 950 2844 | 133 950 2845 | 3 951 2846 | 198 951 2847 | 246 951 2848 | 9 952 2849 | 342 952 2850 | 34 952 2851 | 458 953 2852 | 2 953 2853 | 297 953 2854 | 354 954 2855 | 5 954 2856 | 73 954 2857 | 55 955 2858 | 188 955 2859 | 5 955 2860 | 22 956 2861 | 165 956 2862 | 158 956 2863 | 83 957 2864 | 62 957 2865 | 195 957 2866 | 121 958 2867 | 889 958 2868 | 3 958 2869 | 277 959 2870 | 83 959 2871 | 146 959 2872 | 208 960 2873 | 874 960 2874 | 5 960 2875 | 5 961 2876 | 2 961 2877 | 338 961 2878 | 24 962 2879 | 5 962 2880 | 116 962 2881 | 643 963 2882 | 906 963 2883 | 183 963 2884 | 21 964 2885 | 35 964 2886 | 844 964 2887 | 2 965 2888 | 262 965 2889 | 404 965 2890 | 578 966 2891 | 466 966 2892 | 248 966 2893 | 419 967 2894 | 28 967 2895 | 231 967 2896 | 9 968 2897 | 918 968 2898 | 2 968 2899 | 16 969 2900 | 2 969 2901 | 107 969 2902 | 1 970 2903 | 13 970 2904 | 78 970 2905 | 761 971 2906 | 137 971 2907 | 363 971 2908 | 4 972 2909 | 209 972 2910 | 3 972 2911 | 425 973 2912 | 16 973 2913 | 188 973 2914 | 1 974 2915 | 24 974 2916 | 773 974 2917 | 823 975 2918 | 1 975 2919 | 606 975 2920 | 115 976 2921 | 86 976 2922 | 416 976 2923 | 5 977 2924 | 293 977 2925 | 213 977 2926 | 4 978 2927 | 3 978 2928 | 2 978 2929 | 5 979 2930 | 866 979 2931 | 491 979 2932 | 803 980 2933 | 42 980 2934 | 3 980 2935 | 38 981 2936 | 33 981 2937 | 2 981 2938 | 342 982 2939 | 280 982 2940 | 849 982 2941 | 67 983 2942 | 6 983 2943 | 2 983 2944 | 2 984 2945 | 15 984 2946 | 4 984 2947 | 28 985 2948 | 67 985 2949 | 5 985 2950 | 137 986 2951 | 31 986 2952 | 66 986 2953 | 208 987 2954 | 18 987 2955 | 195 987 2956 | 2 988 2957 | 510 988 2958 | 71 988 2959 | 39 989 2960 | 82 989 2961 | 323 989 2962 | 13 990 2963 | 180 990 2964 | 73 990 2965 | 1 991 2966 | 121 991 2967 | 4 991 2968 | 539 992 2969 | 834 992 2970 | 3 992 2971 | 34 993 2972 | 1 993 2973 | 68 993 2974 | 1 994 2975 | 2 994 2976 | 74 994 2977 | 70 995 2978 | 82 995 2979 | 802 995 2980 | 394 996 2981 | 14 996 2982 | 19 996 2983 | 244 997 2984 | 33 997 2985 | 943 997 2986 | 5 998 2987 | 3 998 2988 | 81 998 2989 | 419 999 2990 | 164 999 2991 | 869 999 2992 | 3 1000 2993 | 693 1000 2994 | 67 1000 2995 | -------------------------------------------------------------------------------- /classes/class2/exercises/exercise1/network2.sif: -------------------------------------------------------------------------------- 1 | 14 29 2 | 9 33 3 | 25 34 4 | 28 34 5 | 32 36 6 | 37 40 7 | 29 46 8 | 33 52 9 | 4 58 10 | 37 58 11 | 46 58 12 | 33 59 13 | 45 71 14 | 5 72 15 | 8 79 16 | 50 80 17 | 7 81 18 | 44 81 19 | 82 85 20 | 15 86 21 | 36 86 22 | 75 86 23 | 55 88 24 | 29 89 25 | 4 90 26 | 90 92 27 | 53 93 28 | 86 93 29 | 62 94 30 | 1 100 31 | 24 101 32 | 91 101 33 | 97 101 34 | 46 102 35 | 89 102 36 | 93 109 37 | 69 110 38 | 89 111 39 | 35 114 40 | 37 114 41 | 108 114 42 | 53 115 43 | 33 119 44 | 27 120 45 | 32 120 46 | 105 121 47 | 48 124 48 | 27 126 49 | 29 127 50 | 1 128 51 | 116 128 52 | 127 129 53 | 108 130 54 | 38 131 55 | 49 131 56 | 97 131 57 | 77 132 58 | 83 134 59 | 95 134 60 | 108 135 61 | 92 136 62 | 26 138 63 | 20 139 64 | 12 140 65 | 100 141 66 | 2 142 67 | 114 142 68 | 72 143 69 | 15 145 70 | 70 146 71 | 9 147 72 | 60 147 73 | 109 147 74 | 19 148 75 | 93 148 76 | 107 150 77 | 57 151 78 | 134 153 79 | 107 155 80 | 63 156 81 | 72 156 82 | 45 157 83 | 62 158 84 | 110 158 85 | 124 158 86 | 128 159 87 | 148 159 88 | 32 160 89 | 87 161 90 | 95 161 91 | 139 161 92 | 149 161 93 | 5 162 94 | 79 162 95 | 119 164 96 | 88 165 97 | 151 167 98 | 143 168 99 | 7 169 100 | 128 170 101 | 149 171 102 | 37 172 103 | 3 175 104 | 49 175 105 | 82 175 106 | 149 175 107 | 58 176 108 | 17 177 109 | 52 177 110 | 97 177 111 | 136 177 112 | 41 178 113 | 80 178 114 | 26 182 115 | 69 182 116 | 158 182 117 | 68 183 118 | 148 184 119 | 54 187 120 | 3 189 121 | 19 189 122 | 34 190 123 | 116 190 124 | 74 192 125 | 114 192 126 | 91 193 127 | 45 197 128 | 106 197 129 | 106 199 130 | 2 200 131 | 152 200 132 | 24 201 133 | 131 201 134 | 49 202 135 | 140 202 136 | 17 203 137 | 197 204 138 | 74 205 139 | 126 205 140 | 139 205 141 | 54 207 142 | 71 209 143 | 75 209 144 | 105 209 145 | 128 209 146 | 116 210 147 | 148 210 148 | 119 211 149 | 23 212 150 | 35 213 151 | 111 213 152 | 117 213 153 | 82 215 154 | 123 215 155 | 202 215 156 | 204 215 157 | 68 217 158 | 70 217 159 | 27 219 160 | 147 219 161 | 38 223 162 | 54 223 163 | 141 223 164 | 161 223 165 | 67 224 166 | 93 224 167 | 146 224 168 | 131 225 169 | 70 226 170 | 122 226 171 | 23 228 172 | 54 228 173 | 46 229 174 | 104 229 175 | 165 230 176 | 130 231 177 | 7 232 178 | 68 232 179 | 80 233 180 | 23 234 181 | 197 234 182 | 157 236 183 | 167 236 184 | 232 236 185 | 54 237 186 | 70 238 187 | 212 238 188 | 140 241 189 | 35 242 190 | 80 242 191 | 57 244 192 | 82 244 193 | 177 245 194 | 206 246 195 | 20 247 196 | 55 247 197 | 193 247 198 | 97 248 199 | 101 248 200 | 170 248 201 | 227 248 202 | 77 249 203 | 225 251 204 | 15 252 205 | 8 253 206 | 97 253 207 | 166 253 208 | 236 253 209 | 1 254 210 | 73 255 211 | 116 255 212 | 32 257 213 | 31 258 214 | 7 259 215 | 103 259 216 | 206 260 217 | 211 260 218 | 70 262 219 | 20 263 220 | 131 264 221 | 182 264 222 | 60 267 223 | 232 267 224 | 126 268 225 | 246 269 226 | 6 270 227 | 74 270 228 | 71 271 229 | 145 271 230 | 172 271 231 | 7 272 232 | 65 272 233 | 66 272 234 | 145 272 235 | 187 272 236 | 73 274 237 | 184 274 238 | 38 275 239 | 173 275 240 | 49 276 241 | 51 276 242 | 151 276 243 | 268 276 244 | 183 277 245 | 98 278 246 | 178 278 247 | 213 278 248 | 96 279 249 | 103 279 250 | 204 280 251 | 268 281 252 | 58 282 253 | 250 282 254 | 20 283 255 | 29 283 256 | 80 283 257 | 184 283 258 | 55 284 259 | 91 284 260 | 93 284 261 | 81 285 262 | 49 286 263 | 196 288 264 | 103 290 265 | 75 291 266 | 85 291 267 | 133 293 268 | 226 293 269 | 231 293 270 | 112 294 271 | 151 294 272 | 197 294 273 | 156 295 274 | 204 296 275 | 45 297 276 | 188 297 277 | 8 298 278 | 117 299 279 | 82 300 280 | 123 300 281 | 249 301 282 | 55 303 283 | 265 303 284 | 66 305 285 | 230 305 286 | 137 307 287 | 202 307 288 | 303 307 289 | 238 308 290 | 301 308 291 | 46 309 292 | 123 309 293 | 167 309 294 | 168 309 295 | 125 310 296 | 9 311 297 | 121 311 298 | 243 311 299 | 146 312 300 | 29 314 301 | 70 314 302 | 97 314 303 | 112 315 304 | 169 315 305 | 56 316 306 | 152 316 307 | 277 316 308 | 78 317 309 | 121 317 310 | 128 317 311 | 294 317 312 | 89 319 313 | 202 319 314 | 151 320 315 | 84 321 316 | 166 321 317 | 303 321 318 | 34 323 319 | 287 323 320 | 270 324 321 | 72 325 322 | 132 325 323 | 173 325 324 | 309 325 325 | 129 326 326 | 168 326 327 | 280 326 328 | 59 327 329 | 19 328 330 | 119 328 331 | 123 328 332 | 8 329 333 | 124 329 334 | 7 330 335 | 128 331 336 | 82 332 337 | 180 332 338 | 310 333 339 | 324 333 340 | 2 334 341 | 79 334 342 | 128 334 343 | 303 334 344 | 274 335 345 | 4 336 346 | 168 336 347 | 89 337 348 | 102 337 349 | 238 337 350 | 19 338 351 | 287 338 352 | 29 339 353 | 213 339 354 | 262 339 355 | 135 340 356 | 14 341 357 | 52 341 358 | 85 341 359 | 27 342 360 | 65 342 361 | 99 342 362 | 296 342 363 | 263 343 364 | 298 343 365 | 303 343 366 | 287 344 367 | 102 346 368 | 288 346 369 | 139 347 370 | 213 347 371 | 232 347 372 | 1 348 373 | 104 348 374 | 254 348 375 | 97 349 376 | 163 349 377 | 75 350 378 | 147 350 379 | 229 350 380 | 151 351 381 | 261 351 382 | 325 351 383 | 288 352 384 | 252 353 385 | 36 354 386 | 251 354 387 | 301 354 388 | 150 355 389 | 265 355 390 | 272 356 391 | 66 358 392 | 217 358 393 | 91 359 394 | 138 359 395 | 349 360 396 | 33 361 397 | 168 361 398 | 255 361 399 | 260 361 400 | 9 362 401 | 46 362 402 | 123 362 403 | 302 362 404 | 161 363 405 | 169 364 406 | 173 364 407 | 93 365 408 | 124 365 409 | 207 366 410 | 137 367 411 | 204 368 412 | 21 370 413 | 187 370 414 | 331 370 415 | 67 371 416 | 107 371 417 | 205 371 418 | 318 371 419 | 14 372 420 | 146 372 421 | 348 373 422 | 311 374 423 | 332 374 424 | 338 374 425 | 18 375 426 | 286 375 427 | 329 375 428 | 166 376 429 | 345 376 430 | 2 377 431 | 38 377 432 | 307 379 433 | 6 381 434 | 73 381 435 | 210 381 436 | 283 382 437 | 354 384 438 | 34 385 439 | 302 385 440 | 135 386 441 | 270 386 442 | 60 387 443 | 116 387 444 | 176 387 445 | 143 388 446 | 339 388 447 | 377 388 448 | 235 389 449 | 11 390 450 | 124 390 451 | 163 391 452 | 307 391 453 | 360 391 454 | 298 392 455 | 65 393 456 | 90 393 457 | 191 393 458 | 224 393 459 | 97 394 460 | 14 395 461 | 41 396 462 | 50 396 463 | 81 396 464 | 121 396 465 | 145 396 466 | 1 397 467 | 23 397 468 | 125 397 469 | 183 397 470 | 22 398 471 | 121 398 472 | 324 398 473 | 229 399 474 | 348 399 475 | 392 399 476 | 104 400 477 | 293 400 478 | 145 402 479 | 201 404 480 | 217 404 481 | 263 404 482 | 35 405 483 | 39 405 484 | 128 405 485 | 23 406 486 | 40 406 487 | 53 407 488 | 61 407 489 | 129 407 490 | 205 407 491 | 284 407 492 | 152 408 493 | 336 408 494 | 381 408 495 | 170 409 496 | 281 409 497 | 298 409 498 | 240 410 499 | 296 410 500 | 298 410 501 | 321 410 502 | 339 411 503 | 386 411 504 | 286 412 505 | 345 412 506 | 6 414 507 | 263 414 508 | 14 415 509 | 239 415 510 | 162 416 511 | 312 416 512 | 68 417 513 | 134 417 514 | 191 417 515 | 326 417 516 | 353 417 517 | 410 418 518 | 5 420 519 | 168 420 520 | 170 420 521 | 246 420 522 | 279 420 523 | 12 421 524 | 18 422 525 | 25 422 526 | 66 423 527 | 71 423 528 | 109 423 529 | 398 423 530 | 237 424 531 | 263 424 532 | 271 424 533 | 270 425 534 | 372 425 535 | 167 427 536 | 209 427 537 | 245 427 538 | 221 428 539 | 271 428 540 | 9 429 541 | 20 429 542 | 119 429 543 | 230 429 544 | 240 429 545 | 286 429 546 | 248 430 547 | 358 431 548 | 385 431 549 | 71 433 550 | 308 433 551 | 345 433 552 | 399 433 553 | 200 434 554 | 251 435 555 | 357 435 556 | 233 436 557 | 331 436 558 | 365 436 559 | 16 437 560 | 204 437 561 | 349 437 562 | 378 437 563 | 398 437 564 | 44 438 565 | 218 438 566 | 404 438 567 | 147 439 568 | 330 439 569 | 105 440 570 | 243 440 571 | 370 440 572 | 355 442 573 | 401 442 574 | 191 443 575 | 212 443 576 | 390 443 577 | 380 444 578 | 407 444 579 | 310 445 580 | 327 445 581 | 95 446 582 | 347 446 583 | 105 447 584 | 213 447 585 | 277 447 586 | 322 447 587 | 393 447 588 | 412 447 589 | 202 448 590 | 75 449 591 | 341 449 592 | 105 450 593 | 271 450 594 | 328 450 595 | 385 450 596 | 429 450 597 | 27 451 598 | 154 451 599 | 226 451 600 | 230 451 601 | 244 451 602 | 287 451 603 | 336 451 604 | 447 451 605 | 108 452 606 | 326 452 607 | 373 452 608 | 429 452 609 | 220 453 610 | 251 453 611 | 36 454 612 | 65 454 613 | 137 454 614 | 363 454 615 | 431 454 616 | 249 455 617 | 349 455 618 | 397 455 619 | 413 455 620 | 436 455 621 | 335 456 622 | 14 458 623 | 109 458 624 | 243 458 625 | 390 458 626 | 430 458 627 | 42 459 628 | 214 459 629 | 151 460 630 | 14 461 631 | 64 461 632 | 7 462 633 | 31 462 634 | 65 462 635 | 92 462 636 | 125 462 637 | 160 462 638 | 187 462 639 | 228 462 640 | 270 462 641 | 349 462 642 | 286 463 643 | 409 463 644 | 426 463 645 | 454 463 646 | 331 464 647 | 194 465 648 | 283 465 649 | 388 465 650 | 220 466 651 | 272 466 652 | 400 466 653 | 436 466 654 | 236 467 655 | 292 467 656 | 412 467 657 | 15 468 658 | 6 469 659 | 215 469 660 | 238 469 661 | 285 469 662 | 293 469 663 | 128 470 664 | 289 470 665 | 35 471 666 | 113 471 667 | 366 471 668 | 449 471 669 | 183 472 670 | 183 473 671 | 253 473 672 | 264 473 673 | 428 473 674 | 454 473 675 | 128 474 676 | 62 475 677 | 271 475 678 | 126 476 679 | 142 477 680 | 79 478 681 | 314 478 682 | 354 478 683 | 355 478 684 | 417 478 685 | 178 479 686 | 283 479 687 | 314 480 688 | 464 480 689 | 344 481 690 | 386 481 691 | 57 482 692 | 106 482 693 | 138 482 694 | 161 482 695 | 348 482 696 | 467 483 697 | 163 484 698 | 421 484 699 | 41 485 700 | 272 485 701 | 384 485 702 | 449 485 703 | 139 486 704 | 443 486 705 | 446 486 706 | 73 487 707 | 82 487 708 | 91 487 709 | 249 487 710 | 363 487 711 | 276 488 712 | 290 488 713 | 259 489 714 | 414 489 715 | 110 490 716 | 136 490 717 | 204 490 718 | 10 491 719 | 158 491 720 | 337 491 721 | 473 491 722 | 13 492 723 | 60 492 724 | 287 492 725 | 422 492 726 | 148 493 727 | 164 493 728 | 171 493 729 | 215 493 730 | 244 493 731 | 437 493 732 | 469 494 733 | 351 495 734 | 52 496 735 | 488 496 736 | 465 497 737 | 467 497 738 | 158 498 739 | 203 498 740 | 294 498 741 | 382 499 742 | 383 499 743 | 427 499 744 | 70 500 745 | 300 501 746 | 213 502 747 | 266 502 748 | 369 502 749 | 409 502 750 | 452 502 751 | 187 503 752 | 293 503 753 | 242 504 754 | 302 504 755 | 65 505 756 | 198 505 757 | 229 505 758 | 101 506 759 | 153 506 760 | 378 506 761 | 420 506 762 | 460 506 763 | 9 507 764 | 78 507 765 | 481 507 766 | 76 508 767 | 49 509 768 | 60 509 769 | 215 509 770 | 231 509 771 | 265 509 772 | 450 509 773 | 185 510 774 | 417 511 775 | 281 512 776 | 387 512 777 | 402 512 778 | 245 513 779 | 351 513 780 | 389 513 781 | 420 514 782 | 467 514 783 | 270 515 784 | 300 515 785 | 326 515 786 | 24 516 787 | 289 516 788 | 365 516 789 | 451 516 790 | 189 517 791 | 366 517 792 | 338 518 793 | 63 519 794 | 9 520 795 | 68 520 796 | 404 520 797 | 23 522 798 | 250 522 799 | 254 522 800 | 314 522 801 | 354 522 802 | 32 523 803 | 92 523 804 | 201 523 805 | 205 523 806 | 278 523 807 | 386 523 808 | 388 523 809 | 404 523 810 | 56 524 811 | 104 524 812 | 189 524 813 | 498 524 814 | 56 525 815 | 157 526 816 | 54 527 817 | 267 527 818 | 367 527 819 | 432 527 820 | 443 527 821 | 88 528 822 | 269 528 823 | 287 528 824 | 341 528 825 | 352 528 826 | 391 528 827 | 429 529 828 | 413 530 829 | 61 531 830 | 93 531 831 | 101 531 832 | 459 531 833 | 521 531 834 | 107 532 835 | 365 532 836 | 529 532 837 | 206 533 838 | 291 533 839 | 292 533 840 | 384 533 841 | 471 533 842 | 420 534 843 | 511 534 844 | 520 534 845 | 50 535 846 | 297 535 847 | 437 536 848 | 215 537 849 | 413 537 850 | 218 538 851 | 360 538 852 | 59 539 853 | 141 539 854 | 270 539 855 | 310 539 856 | 148 540 857 | 211 540 858 | 264 540 859 | 342 540 860 | 413 540 861 | 12 542 862 | 248 542 863 | 483 542 864 | 211 543 865 | 437 543 866 | 443 543 867 | 168 544 868 | 297 544 869 | 369 544 870 | 36 545 871 | 178 545 872 | 531 545 873 | 11 546 874 | 215 546 875 | 473 546 876 | 512 546 877 | 536 546 878 | 341 547 879 | 443 547 880 | 464 547 881 | 20 548 882 | 41 548 883 | 149 548 884 | 225 548 885 | 234 548 886 | 236 548 887 | 347 548 888 | 474 549 889 | 5 550 890 | 110 550 891 | 112 550 892 | 223 550 893 | 321 550 894 | 332 550 895 | 378 550 896 | 87 551 897 | 154 551 898 | 171 551 899 | 139 552 900 | 223 552 901 | 360 552 902 | 487 552 903 | 117 553 904 | 167 553 905 | 229 553 906 | 459 553 907 | 274 554 908 | 414 554 909 | 359 555 910 | 494 555 911 | 527 555 912 | 33 556 913 | 249 556 914 | 136 557 915 | 138 557 916 | 239 557 917 | 456 557 918 | 159 558 919 | 125 559 920 | 200 559 921 | 353 559 922 | 75 560 923 | 90 560 924 | 95 560 925 | 102 560 926 | 546 561 927 | 510 562 928 | 237 563 929 | 495 563 930 | 544 563 931 | 42 564 932 | 44 564 933 | 111 564 934 | 118 564 935 | 313 564 936 | 316 564 937 | 480 564 938 | 13 565 939 | 31 565 940 | 64 565 941 | 265 565 942 | 88 566 943 | 563 566 944 | 35 567 945 | 130 567 946 | 247 567 947 | 444 567 948 | 31 568 949 | 215 568 950 | 518 568 951 | 527 568 952 | 73 569 953 | 165 569 954 | 386 569 955 | 436 569 956 | 518 569 957 | 456 570 958 | 30 571 959 | 325 571 960 | 159 572 961 | 189 572 962 | 202 573 963 | 269 573 964 | 527 573 965 | 92 574 966 | 407 574 967 | 439 574 968 | 486 574 969 | 31 575 970 | 95 575 971 | 140 576 972 | 164 576 973 | 431 576 974 | 37 577 975 | 96 577 976 | 229 577 977 | 356 577 978 | 365 577 979 | 382 577 980 | 456 577 981 | 474 577 982 | 189 578 983 | 275 578 984 | 223 579 985 | 486 579 986 | 265 580 987 | 393 580 988 | 310 581 989 | 395 581 990 | 482 581 991 | 540 581 992 | 27 582 993 | 58 582 994 | 65 582 995 | 313 582 996 | 415 583 997 | 295 584 998 | 118 585 999 | 172 585 1000 | 191 585 1001 | 200 585 1002 | 411 585 1003 | 501 585 1004 | 556 585 1005 | 81 586 1006 | 166 586 1007 | 343 586 1008 | 449 586 1009 | 584 586 1010 | 68 587 1011 | 118 587 1012 | 553 587 1013 | 556 587 1014 | 186 588 1015 | 437 588 1016 | 317 589 1017 | 418 589 1018 | 439 589 1019 | 10 590 1020 | 281 590 1021 | 312 590 1022 | 362 591 1023 | 16 592 1024 | 255 593 1025 | 303 593 1026 | 442 593 1027 | 456 593 1028 | 455 594 1029 | 515 594 1030 | 116 595 1031 | 425 595 1032 | 431 595 1033 | 493 595 1034 | 560 595 1035 | 583 595 1036 | 242 596 1037 | 118 597 1038 | 278 597 1039 | 336 597 1040 | 16 598 1041 | 241 598 1042 | 462 598 1043 | 583 598 1044 | 15 599 1045 | 106 599 1046 | 251 599 1047 | 301 599 1048 | 368 599 1049 | 376 599 1050 | 171 600 1051 | 218 600 1052 | 323 600 1053 | 327 600 1054 | 418 600 1055 | 430 600 1056 | 431 601 1057 | 554 601 1058 | 504 602 1059 | 542 602 1060 | 570 602 1061 | 381 603 1062 | 522 603 1063 | 55 604 1064 | 123 604 1065 | 181 604 1066 | 570 604 1067 | 16 605 1068 | 484 605 1069 | 570 605 1070 | 74 606 1071 | 324 606 1072 | 510 607 1073 | 554 607 1074 | 24 608 1075 | 74 608 1076 | 89 608 1077 | 131 608 1078 | 156 608 1079 | 169 608 1080 | 9 609 1081 | 297 609 1082 | 431 609 1083 | 493 610 1084 | 496 610 1085 | 514 610 1086 | 154 611 1087 | 574 611 1088 | 179 612 1089 | 386 612 1090 | 74 613 1091 | 184 613 1092 | 369 613 1093 | 447 613 1094 | 551 613 1095 | 567 613 1096 | 574 613 1097 | 119 614 1098 | 227 614 1099 | 345 614 1100 | 544 614 1101 | 548 614 1102 | 550 614 1103 | 111 615 1104 | 36 616 1105 | 432 616 1106 | 522 616 1107 | 580 616 1108 | 591 616 1109 | 70 617 1110 | 130 617 1111 | 281 617 1112 | 290 617 1113 | 565 617 1114 | 26 618 1115 | 137 618 1116 | 171 618 1117 | 173 618 1118 | 284 618 1119 | 408 618 1120 | 420 618 1121 | 499 618 1122 | 351 619 1123 | 384 619 1124 | 597 619 1125 | 70 620 1126 | 164 620 1127 | 206 620 1128 | 79 621 1129 | 134 621 1130 | 246 621 1131 | 523 621 1132 | 612 621 1133 | 254 622 1134 | 298 622 1135 | 331 622 1136 | 409 622 1137 | 525 622 1138 | 529 622 1139 | 568 622 1140 | 299 623 1141 | 329 623 1142 | 463 623 1143 | 532 623 1144 | 21 625 1145 | 323 625 1146 | 358 625 1147 | 458 625 1148 | 520 625 1149 | 589 625 1150 | 599 625 1151 | 602 625 1152 | 61 626 1153 | 228 626 1154 | 382 626 1155 | 529 626 1156 | 90 627 1157 | 187 627 1158 | 234 627 1159 | 358 627 1160 | 393 627 1161 | 556 627 1162 | 105 628 1163 | 142 628 1164 | 178 628 1165 | 300 628 1166 | 329 628 1167 | 387 628 1168 | 479 628 1169 | 569 628 1170 | 83 629 1171 | 195 629 1172 | 210 629 1173 | 275 629 1174 | 342 629 1175 | 469 629 1176 | 516 629 1177 | 141 630 1178 | 162 630 1179 | 190 630 1180 | 294 630 1181 | 333 630 1182 | 535 630 1183 | 55 631 1184 | 241 631 1185 | 410 631 1186 | 416 631 1187 | 442 631 1188 | 558 631 1189 | 613 631 1190 | 418 632 1191 | 487 632 1192 | 582 632 1193 | 48 633 1194 | 132 633 1195 | 17 634 1196 | 84 634 1197 | 547 634 1198 | 88 635 1199 | 179 635 1200 | 302 635 1201 | 303 635 1202 | 335 635 1203 | 363 635 1204 | 621 635 1205 | 625 635 1206 | 129 636 1207 | 396 636 1208 | 571 636 1209 | 585 636 1210 | 206 637 1211 | 219 637 1212 | 365 637 1213 | 408 637 1214 | 441 637 1215 | 466 637 1216 | 571 638 1217 | 267 639 1218 | 310 639 1219 | 110 640 1220 | 134 640 1221 | 362 640 1222 | 440 640 1223 | 596 640 1224 | 347 641 1225 | 395 641 1226 | 496 641 1227 | 525 641 1228 | 112 642 1229 | 120 642 1230 | 346 642 1231 | 42 643 1232 | 526 643 1233 | 613 643 1234 | 57 644 1235 | 73 645 1236 | 170 645 1237 | 371 645 1238 | 568 645 1239 | 577 645 1240 | 640 645 1241 | 108 646 1242 | 227 646 1243 | 481 646 1244 | 513 646 1245 | 645 646 1246 | 173 647 1247 | 174 647 1248 | 206 647 1249 | 516 647 1250 | 557 647 1251 | 202 648 1252 | 320 648 1253 | 464 648 1254 | 467 648 1255 | 623 648 1256 | 125 649 1257 | 263 649 1258 | 303 649 1259 | 369 649 1260 | 439 649 1261 | 525 649 1262 | 547 649 1263 | 600 649 1264 | 172 650 1265 | 189 650 1266 | 336 650 1267 | 371 650 1268 | 459 650 1269 | 628 650 1270 | 33 651 1271 | 71 651 1272 | 269 651 1273 | 350 651 1274 | 517 651 1275 | 327 652 1276 | 348 652 1277 | 418 652 1278 | 419 652 1279 | 553 652 1280 | 52 653 1281 | 116 654 1282 | 182 654 1283 | 578 654 1284 | 78 655 1285 | 142 655 1286 | 148 655 1287 | 186 655 1288 | 212 655 1289 | 261 655 1290 | 379 655 1291 | 427 655 1292 | 471 655 1293 | 32 656 1294 | 171 656 1295 | 273 656 1296 | 291 656 1297 | 367 656 1298 | 451 656 1299 | 474 656 1300 | 128 657 1301 | 217 657 1302 | 463 657 1303 | 504 657 1304 | 554 657 1305 | 141 658 1306 | 142 658 1307 | 229 658 1308 | 426 658 1309 | 428 658 1310 | 556 658 1311 | 628 658 1312 | 300 659 1313 | 450 659 1314 | 502 659 1315 | 577 659 1316 | 5 660 1317 | 88 660 1318 | 183 660 1319 | 311 660 1320 | 350 660 1321 | 558 660 1322 | 566 660 1323 | 604 660 1324 | 654 660 1325 | 153 661 1326 | 201 661 1327 | 661 662 1328 | 57 663 1329 | 172 663 1330 | 174 663 1331 | 272 663 1332 | 394 663 1333 | 534 663 1334 | 62 664 1335 | 137 664 1336 | 148 664 1337 | 157 664 1338 | 280 664 1339 | 616 664 1340 | 253 665 1341 | 302 665 1342 | 473 665 1343 | 194 666 1344 | 284 666 1345 | 330 666 1346 | 648 666 1347 | 422 667 1348 | 561 667 1349 | 645 667 1350 | 167 668 1351 | 454 668 1352 | 495 668 1353 | 569 668 1354 | 39 669 1355 | 57 670 1356 | 155 670 1357 | 262 670 1358 | 351 670 1359 | 456 670 1360 | 469 671 1361 | 523 671 1362 | 579 671 1363 | 36 672 1364 | 527 672 1365 | 8 673 1366 | 52 673 1367 | 59 673 1368 | 103 673 1369 | 133 673 1370 | 243 673 1371 | 293 673 1372 | 651 673 1373 | 74 674 1374 | 213 674 1375 | 253 674 1376 | 441 674 1377 | 480 674 1378 | 501 674 1379 | 530 674 1380 | 531 674 1381 | 78 675 1382 | 249 675 1383 | 348 675 1384 | 670 675 1385 | 303 676 1386 | 341 676 1387 | 428 676 1388 | 624 677 1389 | 147 678 1390 | 462 678 1391 | 653 678 1392 | 113 679 1393 | 218 679 1394 | 81 680 1395 | 223 680 1396 | 276 680 1397 | 416 680 1398 | 456 680 1399 | 533 680 1400 | 545 680 1401 | 57 681 1402 | 147 681 1403 | 281 681 1404 | 392 681 1405 | 85 682 1406 | 255 682 1407 | 275 682 1408 | 406 682 1409 | 533 682 1410 | 159 683 1411 | 397 683 1412 | 521 683 1413 | 570 683 1414 | 619 683 1415 | 644 683 1416 | 380 684 1417 | 442 684 1418 | 32 685 1419 | 102 686 1420 | 197 686 1421 | 422 686 1422 | 247 687 1423 | 101 688 1424 | 170 688 1425 | 219 688 1426 | 221 688 1427 | 507 688 1428 | 17 689 1429 | 222 689 1430 | 251 689 1431 | 279 689 1432 | 330 689 1433 | 269 690 1434 | 567 690 1435 | 121 691 1436 | 186 691 1437 | 188 691 1438 | 438 691 1439 | 86 692 1440 | 328 692 1441 | 584 692 1442 | 78 693 1443 | 316 693 1444 | 432 693 1445 | 596 693 1446 | 688 693 1447 | 151 694 1448 | 226 694 1449 | 322 694 1450 | 337 694 1451 | 599 694 1452 | 102 695 1453 | 214 695 1454 | 278 695 1455 | 463 695 1456 | 670 695 1457 | 658 696 1458 | 683 696 1459 | 146 697 1460 | 252 697 1461 | 309 697 1462 | 550 697 1463 | 610 697 1464 | 5 698 1465 | 239 698 1466 | 260 698 1467 | 286 698 1468 | 331 698 1469 | 186 699 1470 | 245 699 1471 | 411 699 1472 | 560 699 1473 | 17 700 1474 | 22 700 1475 | 138 700 1476 | 158 700 1477 | 669 700 1478 | 314 701 1479 | 442 701 1480 | 480 701 1481 | 624 701 1482 | 149 702 1483 | 167 702 1484 | 448 702 1485 | 688 702 1486 | 76 703 1487 | 179 703 1488 | 470 703 1489 | 548 703 1490 | 591 703 1491 | 685 703 1492 | 129 704 1493 | 136 704 1494 | 432 704 1495 | 587 704 1496 | 109 705 1497 | 195 705 1498 | 203 705 1499 | 74 706 1500 | 211 706 1501 | 396 706 1502 | 123 707 1503 | 162 707 1504 | 187 707 1505 | 214 707 1506 | 292 707 1507 | 209 708 1508 | 226 708 1509 | 307 708 1510 | 563 708 1511 | 623 708 1512 | 11 709 1513 | 93 709 1514 | 67 710 1515 | 693 710 1516 | 414 711 1517 | 484 711 1518 | 496 711 1519 | 541 711 1520 | 638 711 1521 | 80 712 1522 | 326 712 1523 | 368 712 1524 | 77 713 1525 | 109 713 1526 | 113 713 1527 | 183 714 1528 | 353 714 1529 | 455 714 1530 | 481 714 1531 | 564 714 1532 | 574 714 1533 | 623 714 1534 | 110 715 1535 | 143 715 1536 | 268 715 1537 | 320 715 1538 | 340 715 1539 | 142 716 1540 | 278 716 1541 | 343 716 1542 | 714 716 1543 | 23 717 1544 | 251 717 1545 | 261 717 1546 | 584 717 1547 | 559 718 1548 | 42 719 1549 | 90 719 1550 | 93 719 1551 | 140 719 1552 | 177 719 1553 | 429 719 1554 | 626 719 1555 | 102 720 1556 | 290 720 1557 | 427 720 1558 | 329 721 1559 | 506 721 1560 | 519 721 1561 | 633 721 1562 | 37 722 1563 | 195 722 1564 | 463 722 1565 | 531 722 1566 | 582 722 1567 | 672 722 1568 | 66 723 1569 | 199 723 1570 | 355 723 1571 | 392 723 1572 | 463 723 1573 | 518 723 1574 | 694 723 1575 | 721 723 1576 | 22 724 1577 | 239 724 1578 | 324 724 1579 | 483 724 1580 | 694 724 1581 | 515 725 1582 | 701 725 1583 | 348 726 1584 | 72 727 1585 | 189 727 1586 | 478 727 1587 | 544 727 1588 | 620 727 1589 | 174 728 1590 | 175 728 1591 | 247 728 1592 | 411 728 1593 | 488 728 1594 | 199 729 1595 | 234 729 1596 | 412 729 1597 | 571 729 1598 | 311 730 1599 | 360 730 1600 | 598 730 1601 | 632 730 1602 | 3 731 1603 | 106 731 1604 | 113 731 1605 | 124 731 1606 | 472 731 1607 | 286 732 1608 | 425 732 1609 | 172 733 1610 | 487 733 1611 | 510 733 1612 | 543 733 1613 | 707 733 1614 | 243 734 1615 | 441 734 1616 | 449 734 1617 | 502 734 1618 | 7 735 1619 | 43 735 1620 | 149 735 1621 | 264 735 1622 | 332 735 1623 | 719 735 1624 | 62 736 1625 | 260 736 1626 | 637 736 1627 | 727 736 1628 | 228 737 1629 | 397 737 1630 | 401 737 1631 | 568 737 1632 | 571 737 1633 | 573 737 1634 | 680 737 1635 | 696 737 1636 | 725 737 1637 | 119 738 1638 | 260 738 1639 | 290 738 1640 | 310 738 1641 | 710 738 1642 | 205 739 1643 | 234 739 1644 | 608 739 1645 | 7 740 1646 | 126 740 1647 | 265 740 1648 | 456 740 1649 | 495 740 1650 | 737 740 1651 | 139 741 1652 | 301 741 1653 | 308 741 1654 | 352 741 1655 | 550 741 1656 | 739 741 1657 | 39 742 1658 | 425 742 1659 | 24 743 1660 | 275 743 1661 | 323 743 1662 | 644 743 1663 | 125 744 1664 | 559 744 1665 | 353 745 1666 | 473 745 1667 | 93 746 1668 | 387 746 1669 | 736 746 1670 | 234 747 1671 | 350 747 1672 | 500 747 1673 | 72 749 1674 | 303 749 1675 | 311 749 1676 | 499 749 1677 | 561 749 1678 | 713 749 1679 | 149 750 1680 | 263 750 1681 | 402 750 1682 | 463 750 1683 | 481 750 1684 | 617 750 1685 | 19 751 1686 | 255 751 1687 | 274 751 1688 | 10 752 1689 | 256 752 1690 | 405 752 1691 | 424 752 1692 | 429 752 1693 | 572 752 1694 | 732 752 1695 | 74 753 1696 | 493 753 1697 | 584 753 1698 | 588 753 1699 | 71 754 1700 | 215 754 1701 | 618 754 1702 | 170 755 1703 | 457 755 1704 | 727 755 1705 | 358 756 1706 | 500 756 1707 | 169 757 1708 | 213 757 1709 | 243 757 1710 | 355 757 1711 | 365 757 1712 | 629 757 1713 | 730 757 1714 | 504 758 1715 | 630 758 1716 | 54 759 1717 | 154 759 1718 | 300 759 1719 | 333 759 1720 | 402 759 1721 | 457 759 1722 | 493 759 1723 | 227 760 1724 | 271 760 1725 | 365 760 1726 | 372 760 1727 | 639 760 1728 | 352 761 1729 | 424 761 1730 | 697 761 1731 | 714 761 1732 | 3 762 1733 | 154 762 1734 | 459 762 1735 | 484 762 1736 | 720 762 1737 | 354 763 1738 | 446 763 1739 | 77 764 1740 | 298 764 1741 | 609 764 1742 | 617 764 1743 | 718 764 1744 | 25 765 1745 | 303 765 1746 | 356 765 1747 | 229 766 1748 | 376 766 1749 | 383 766 1750 | 609 766 1751 | 190 767 1752 | 295 767 1753 | 361 767 1754 | 567 767 1755 | 612 767 1756 | 659 767 1757 | 743 767 1758 | 140 768 1759 | 208 768 1760 | 364 768 1761 | 447 768 1762 | 570 768 1763 | 657 768 1764 | 705 768 1765 | 74 769 1766 | 114 769 1767 | 521 769 1768 | 712 769 1769 | 608 770 1770 | 192 771 1771 | 381 771 1772 | 158 772 1773 | 224 772 1774 | 283 772 1775 | 335 772 1776 | 385 772 1777 | 562 772 1778 | 661 772 1779 | 713 772 1780 | 222 773 1781 | 285 773 1782 | 356 773 1783 | 474 773 1784 | 572 773 1785 | 574 773 1786 | 648 773 1787 | 173 774 1788 | 410 774 1789 | 711 774 1790 | 730 774 1791 | 22 775 1792 | 34 775 1793 | 518 775 1794 | 216 776 1795 | 310 776 1796 | 465 776 1797 | 506 776 1798 | 512 776 1799 | 116 777 1800 | 250 777 1801 | 302 777 1802 | 339 777 1803 | 560 777 1804 | 670 777 1805 | 735 777 1806 | 762 777 1807 | 50 778 1808 | 78 778 1809 | 473 778 1810 | 75 779 1811 | 524 779 1812 | 139 780 1813 | 358 780 1814 | 490 780 1815 | 554 780 1816 | 564 780 1817 | 52 781 1818 | 152 781 1819 | 406 781 1820 | 428 781 1821 | 545 781 1822 | 225 782 1823 | 293 782 1824 | 308 782 1825 | 29 783 1826 | 252 783 1827 | 333 783 1828 | 491 783 1829 | 619 783 1830 | 411 784 1831 | 435 784 1832 | 64 785 1833 | 76 785 1834 | 166 785 1835 | 252 785 1836 | 336 785 1837 | 451 785 1838 | 736 785 1839 | 210 786 1840 | 223 786 1841 | 371 786 1842 | 444 786 1843 | 558 786 1844 | 569 786 1845 | 722 786 1846 | 15 787 1847 | 37 787 1848 | 243 787 1849 | 649 787 1850 | 129 788 1851 | 647 788 1852 | 675 788 1853 | 679 788 1854 | 717 788 1855 | 191 789 1856 | 258 789 1857 | 452 789 1858 | 494 789 1859 | 525 789 1860 | 691 789 1861 | 82 790 1862 | 323 790 1863 | 477 790 1864 | 482 790 1865 | 550 790 1866 | 564 790 1867 | 727 790 1868 | 120 791 1869 | 266 791 1870 | 294 791 1871 | 298 791 1872 | 307 791 1873 | 338 791 1874 | 768 791 1875 | 199 792 1876 | 260 792 1877 | 320 792 1878 | 506 792 1879 | 518 792 1880 | 561 792 1881 | 768 792 1882 | 385 793 1883 | 519 793 1884 | 750 793 1885 | 82 794 1886 | 145 794 1887 | 226 794 1888 | 238 794 1889 | 660 794 1890 | 669 794 1891 | 17 795 1892 | 100 795 1893 | 271 795 1894 | 677 795 1895 | 696 795 1896 | 179 796 1897 | 283 796 1898 | 418 796 1899 | 422 796 1900 | 738 796 1901 | 753 796 1902 | 1 797 1903 | 73 797 1904 | 400 797 1905 | 430 797 1906 | 467 797 1907 | 29 798 1908 | 264 798 1909 | 348 798 1910 | 618 798 1911 | 712 798 1912 | 726 798 1913 | 38 799 1914 | 185 799 1915 | 197 799 1916 | 496 799 1917 | 570 799 1918 | 603 799 1919 | 714 799 1920 | 65 801 1921 | 241 801 1922 | 633 801 1923 | 749 801 1924 | 102 802 1925 | 135 802 1926 | 217 802 1927 | 331 802 1928 | 558 802 1929 | 739 802 1930 | 302 803 1931 | 412 803 1932 | 514 803 1933 | 710 803 1934 | 22 804 1935 | 55 804 1936 | 169 804 1937 | 313 804 1938 | 383 804 1939 | 490 804 1940 | 575 804 1941 | 666 804 1942 | 699 804 1943 | 758 804 1944 | 20 805 1945 | 305 805 1946 | 585 805 1947 | 105 806 1948 | 139 806 1949 | 164 806 1950 | 365 806 1951 | 497 806 1952 | 505 806 1953 | 524 806 1954 | 544 806 1955 | 686 806 1956 | 61 807 1957 | 175 807 1958 | 498 807 1959 | 545 807 1960 | 677 808 1961 | 704 808 1962 | 751 808 1963 | 756 808 1964 | 786 808 1965 | 291 809 1966 | 708 809 1967 | 732 809 1968 | 152 810 1969 | 283 810 1970 | 116 811 1971 | 397 811 1972 | 410 811 1973 | 415 811 1974 | 513 811 1975 | 530 811 1976 | 736 811 1977 | 36 812 1978 | 159 812 1979 | 574 812 1980 | 606 812 1981 | 685 812 1982 | 97 813 1983 | 390 813 1984 | 593 813 1985 | 810 813 1986 | 150 814 1987 | 247 814 1988 | 453 814 1989 | 143 815 1990 | 779 815 1991 | 65 816 1992 | 149 816 1993 | 529 816 1994 | 86 817 1995 | 89 817 1996 | 421 817 1997 | 445 817 1998 | 677 818 1999 | 744 818 2000 | 25 819 2001 | 168 819 2002 | 197 819 2003 | 215 819 2004 | 365 819 2005 | 384 819 2006 | 541 819 2007 | 672 819 2008 | 352 820 2009 | 540 820 2010 | 661 820 2011 | 180 821 2012 | 187 821 2013 | 243 821 2014 | 594 821 2015 | 717 821 2016 | 34 822 2017 | 396 822 2018 | 432 822 2019 | 506 822 2020 | 51 823 2021 | 196 823 2022 | 277 823 2023 | 450 823 2024 | 514 823 2025 | 566 823 2026 | 655 823 2027 | 17 824 2028 | 386 824 2029 | 530 824 2030 | 812 824 2031 | 197 825 2032 | 385 825 2033 | 404 825 2034 | 763 825 2035 | 273 826 2036 | 333 826 2037 | 761 826 2038 | 297 827 2039 | 612 827 2040 | 670 827 2041 | 796 827 2042 | 230 828 2043 | 294 828 2044 | 385 828 2045 | 733 828 2046 | 747 828 2047 | 422 829 2048 | 526 829 2049 | 538 829 2050 | 603 829 2051 | 777 829 2052 | 811 829 2053 | 148 830 2054 | 460 830 2055 | 68 831 2056 | 172 831 2057 | 320 831 2058 | 503 831 2059 | 733 831 2060 | 194 832 2061 | 200 832 2062 | 388 832 2063 | 489 832 2064 | 775 832 2065 | 88 833 2066 | 174 833 2067 | 237 833 2068 | 325 833 2069 | 415 833 2070 | 529 833 2071 | 689 833 2072 | 368 834 2073 | 338 835 2074 | 684 836 2075 | 33 837 2076 | 278 837 2077 | 541 837 2078 | 65 838 2079 | 121 838 2080 | 148 838 2081 | 461 838 2082 | 599 838 2083 | 821 838 2084 | 15 839 2085 | 173 839 2086 | 468 839 2087 | 653 839 2088 | 798 839 2089 | 799 839 2090 | 71 840 2091 | 280 840 2092 | 423 840 2093 | 465 840 2094 | 488 840 2095 | 499 840 2096 | 784 840 2097 | 126 841 2098 | 141 841 2099 | 385 841 2100 | 427 841 2101 | 698 841 2102 | 186 842 2103 | 279 842 2104 | 351 842 2105 | 473 842 2106 | 507 842 2107 | 804 842 2108 | 521 843 2109 | 545 843 2110 | 106 844 2111 | 196 844 2112 | 228 844 2113 | 249 844 2114 | 493 844 2115 | 282 845 2116 | 375 845 2117 | 770 845 2118 | 777 845 2119 | 135 846 2120 | 286 846 2121 | 316 846 2122 | 383 846 2123 | 435 846 2124 | 565 846 2125 | 611 846 2126 | 764 846 2127 | 830 846 2128 | 236 847 2129 | 282 847 2130 | 813 847 2131 | 82 848 2132 | 226 848 2133 | 281 848 2134 | 398 848 2135 | 499 848 2136 | 561 848 2137 | 19 849 2138 | 178 849 2139 | 283 849 2140 | 318 849 2141 | 480 849 2142 | 582 849 2143 | 694 849 2144 | 702 849 2145 | 740 849 2146 | 46 850 2147 | 168 850 2148 | 221 850 2149 | 310 850 2150 | 414 850 2151 | 451 850 2152 | 503 850 2153 | 575 850 2154 | 779 850 2155 | 844 850 2156 | 81 851 2157 | 272 851 2158 | 284 851 2159 | 490 851 2160 | 701 851 2161 | 100 852 2162 | 133 852 2163 | 461 852 2164 | 499 852 2165 | 103 853 2166 | 202 853 2167 | 474 853 2168 | 605 853 2169 | 633 853 2170 | 759 853 2171 | 2 854 2172 | 135 854 2173 | 487 854 2174 | 552 854 2175 | 615 854 2176 | 742 854 2177 | 237 855 2178 | 271 855 2179 | 504 855 2180 | 521 855 2181 | 737 855 2182 | 810 855 2183 | 819 855 2184 | 8 856 2185 | 24 856 2186 | 99 856 2187 | 113 856 2188 | 126 856 2189 | 391 856 2190 | 590 856 2191 | 97 857 2192 | 243 857 2193 | 445 857 2194 | 74 858 2195 | 82 858 2196 | 134 858 2197 | 245 858 2198 | 255 858 2199 | 622 858 2200 | 204 859 2201 | 485 859 2202 | 722 859 2203 | 745 859 2204 | 818 859 2205 | 150 860 2206 | 209 860 2207 | 304 860 2208 | 412 860 2209 | 451 860 2210 | 647 860 2211 | 98 861 2212 | 439 861 2213 | 495 861 2214 | 590 861 2215 | 820 861 2216 | 457 862 2217 | 477 862 2218 | 583 862 2219 | 156 863 2220 | 584 863 2221 | 778 863 2222 | 134 864 2223 | 448 864 2224 | 461 864 2225 | 716 864 2226 | 733 864 2227 | 847 864 2228 | 199 865 2229 | 742 865 2230 | 254 866 2231 | 508 866 2232 | 627 866 2233 | 180 867 2234 | 355 867 2235 | 390 867 2236 | 788 867 2237 | 247 868 2238 | 473 868 2239 | 482 868 2240 | 831 868 2241 | 854 868 2242 | 441 869 2243 | 621 869 2244 | 713 869 2245 | 831 869 2246 | 62 870 2247 | 200 870 2248 | 364 870 2249 | 411 870 2250 | 614 870 2251 | 854 870 2252 | 43 871 2253 | 560 871 2254 | 762 871 2255 | 43 872 2256 | 85 872 2257 | 788 872 2258 | 28 873 2259 | 169 873 2260 | 231 873 2261 | 429 873 2262 | 632 873 2263 | 21 874 2264 | 63 874 2265 | 134 874 2266 | 250 874 2267 | 304 874 2268 | 551 874 2269 | 701 874 2270 | 854 874 2271 | 31 875 2272 | 80 875 2273 | 233 875 2274 | 324 875 2275 | 410 875 2276 | 239 876 2277 | 418 876 2278 | 453 876 2279 | 561 876 2280 | 786 876 2281 | 845 876 2282 | 67 877 2283 | 179 877 2284 | 185 877 2285 | 769 877 2286 | 344 878 2287 | 492 878 2288 | 35 879 2289 | 303 879 2290 | 357 879 2291 | 413 879 2292 | 431 879 2293 | 435 879 2294 | 526 879 2295 | 579 879 2296 | 587 879 2297 | 590 879 2298 | 25 880 2299 | 39 880 2300 | 132 880 2301 | 244 880 2302 | 526 880 2303 | 574 880 2304 | 673 880 2305 | 794 880 2306 | 816 880 2307 | 52 881 2308 | 102 881 2309 | 659 881 2310 | 780 881 2311 | 833 881 2312 | 120 882 2313 | 202 882 2314 | 309 882 2315 | 393 882 2316 | 478 882 2317 | 481 882 2318 | 516 882 2319 | 618 882 2320 | 631 882 2321 | 840 882 2322 | 9 883 2323 | 201 883 2324 | 254 883 2325 | 500 883 2326 | 14 884 2327 | 358 884 2328 | 396 884 2329 | 468 884 2330 | 650 884 2331 | 354 885 2332 | 575 885 2333 | 5 886 2334 | 21 886 2335 | 25 886 2336 | 84 886 2337 | 267 886 2338 | 482 886 2339 | 620 886 2340 | 74 887 2341 | 101 887 2342 | 184 887 2343 | 223 887 2344 | 556 887 2345 | 132 888 2346 | 153 888 2347 | 380 888 2348 | 462 888 2349 | 487 888 2350 | 524 888 2351 | 696 888 2352 | 77 889 2353 | 105 889 2354 | 394 889 2355 | 402 889 2356 | 476 889 2357 | 580 889 2358 | 761 889 2359 | 796 889 2360 | 366 890 2361 | 560 890 2362 | 611 890 2363 | 640 890 2364 | 754 890 2365 | 111 891 2366 | 238 891 2367 | 472 891 2368 | 800 892 2369 | 373 893 2370 | 8 894 2371 | 262 894 2372 | 350 894 2373 | 573 894 2374 | 331 895 2375 | 370 895 2376 | 535 895 2377 | 599 895 2378 | 146 896 2379 | 321 896 2380 | 893 896 2381 | 25 897 2382 | 143 897 2383 | 447 897 2384 | 494 897 2385 | 584 897 2386 | 745 897 2387 | 171 898 2388 | 297 898 2389 | 317 898 2390 | 357 898 2391 | 456 898 2392 | 628 898 2393 | 719 898 2394 | 838 898 2395 | 92 899 2396 | 95 899 2397 | 375 899 2398 | 396 899 2399 | 474 899 2400 | 83 900 2401 | 116 900 2402 | 229 900 2403 | 373 900 2404 | 667 900 2405 | 698 900 2406 | 820 900 2407 | 877 900 2408 | 53 901 2409 | 106 901 2410 | 172 901 2411 | 212 901 2412 | 262 901 2413 | 845 901 2414 | 875 901 2415 | 56 902 2416 | 528 902 2417 | 541 902 2418 | 750 902 2419 | 73 903 2420 | 161 903 2421 | 179 903 2422 | 215 903 2423 | 291 903 2424 | 455 903 2425 | 757 903 2426 | 758 903 2427 | 239 904 2428 | 344 904 2429 | 533 904 2430 | 716 904 2431 | 804 904 2432 | 872 904 2433 | 52 905 2434 | 285 905 2435 | 397 905 2436 | 428 905 2437 | 769 905 2438 | 812 905 2439 | 7 906 2440 | 252 906 2441 | 284 906 2442 | 328 906 2443 | 416 906 2444 | 529 906 2445 | 129 907 2446 | 256 907 2447 | 271 907 2448 | 417 907 2449 | 520 907 2450 | 648 907 2451 | 116 908 2452 | 193 908 2453 | 261 908 2454 | 311 908 2455 | 417 908 2456 | 582 908 2457 | 772 908 2458 | 794 908 2459 | 902 908 2460 | 66 909 2461 | 350 909 2462 | 530 909 2463 | 702 909 2464 | 819 909 2465 | 863 909 2466 | 866 909 2467 | 190 910 2468 | 323 910 2469 | 371 910 2470 | 474 910 2471 | 873 910 2472 | 874 910 2473 | 304 911 2474 | 409 911 2475 | 443 911 2476 | 503 911 2477 | 611 911 2478 | 813 911 2479 | 855 911 2480 | 19 912 2481 | 536 912 2482 | 649 912 2483 | 667 912 2484 | 843 912 2485 | 94 913 2486 | 247 913 2487 | 348 913 2488 | 469 913 2489 | 631 913 2490 | 898 913 2491 | 902 913 2492 | 9 914 2493 | 98 914 2494 | 404 914 2495 | 659 914 2496 | 887 914 2497 | 87 915 2498 | 203 915 2499 | 235 915 2500 | 256 915 2501 | 367 915 2502 | 368 915 2503 | 419 915 2504 | 553 915 2505 | 702 915 2506 | 316 916 2507 | 379 916 2508 | 525 916 2509 | 552 916 2510 | 763 916 2511 | 847 916 2512 | 668 917 2513 | 225 918 2514 | 243 918 2515 | 480 918 2516 | 499 918 2517 | 533 918 2518 | 751 918 2519 | 852 918 2520 | 75 919 2521 | 178 919 2522 | 189 919 2523 | 412 919 2524 | 487 919 2525 | 504 919 2526 | 531 919 2527 | 693 919 2528 | 77 920 2529 | 328 920 2530 | 448 920 2531 | 802 920 2532 | 47 921 2533 | 317 921 2534 | 332 921 2535 | 574 921 2536 | 683 921 2537 | 60 922 2538 | 224 922 2539 | 483 922 2540 | 619 922 2541 | 649 922 2542 | 774 922 2543 | 317 923 2544 | 419 923 2545 | 678 923 2546 | 714 923 2547 | 303 924 2548 | 324 924 2549 | 649 924 2550 | 676 924 2551 | 687 924 2552 | 731 924 2553 | 764 924 2554 | 769 924 2555 | 889 924 2556 | 30 925 2557 | 83 925 2558 | 93 925 2559 | 290 925 2560 | 315 925 2561 | 403 925 2562 | 404 925 2563 | 469 925 2564 | 479 925 2565 | 536 925 2566 | 756 925 2567 | 835 925 2568 | 885 925 2569 | 132 926 2570 | 161 926 2571 | 219 926 2572 | 333 926 2573 | 477 926 2574 | 887 926 2575 | 65 927 2576 | 669 927 2577 | 808 927 2578 | 317 928 2579 | 597 928 2580 | 610 928 2581 | 771 928 2582 | 202 929 2583 | 205 929 2584 | 335 929 2585 | 480 929 2586 | 519 929 2587 | 675 929 2588 | 763 929 2589 | 846 929 2590 | 118 930 2591 | 180 930 2592 | 258 930 2593 | 293 930 2594 | 309 930 2595 | 385 930 2596 | 279 931 2597 | 371 931 2598 | 396 931 2599 | 805 931 2600 | 918 931 2601 | 106 932 2602 | 128 932 2603 | 430 932 2604 | 531 932 2605 | 628 932 2606 | 650 932 2607 | 677 932 2608 | 135 933 2609 | 264 933 2610 | 344 933 2611 | 521 933 2612 | 541 933 2613 | 735 933 2614 | 28 934 2615 | 92 934 2616 | 263 934 2617 | 547 934 2618 | 648 934 2619 | 652 934 2620 | 855 934 2621 | 899 934 2622 | 126 935 2623 | 241 935 2624 | 335 935 2625 | 378 935 2626 | 402 935 2627 | 617 935 2628 | 826 935 2629 | 903 935 2630 | 108 936 2631 | 526 936 2632 | 115 937 2633 | 294 937 2634 | 574 937 2635 | 659 937 2636 | 701 937 2637 | 911 937 2638 | 173 938 2639 | 192 938 2640 | 656 938 2641 | 47 939 2642 | 71 939 2643 | 131 939 2644 | 136 939 2645 | 271 939 2646 | 367 939 2647 | 659 939 2648 | 880 939 2649 | 220 940 2650 | 342 940 2651 | 443 940 2652 | 535 940 2653 | 799 940 2654 | 876 940 2655 | 698 941 2656 | 187 942 2657 | 235 942 2658 | 713 942 2659 | 746 942 2660 | 786 942 2661 | 93 943 2662 | 110 943 2663 | 162 943 2664 | 289 943 2665 | 424 943 2666 | 433 943 2667 | 662 943 2668 | 729 943 2669 | 800 943 2670 | 865 943 2671 | 149 944 2672 | 383 944 2673 | 405 944 2674 | 420 944 2675 | 789 944 2676 | 864 944 2677 | 890 944 2678 | 30 945 2679 | 138 945 2680 | 161 945 2681 | 289 945 2682 | 470 945 2683 | 689 945 2684 | 13 946 2685 | 280 946 2686 | 282 946 2687 | 341 946 2688 | 395 946 2689 | 502 946 2690 | 606 946 2691 | 635 946 2692 | 810 946 2693 | 871 946 2694 | 53 947 2695 | 144 947 2696 | 374 947 2697 | 412 947 2698 | 563 947 2699 | 802 947 2700 | 917 947 2701 | 936 947 2702 | 179 948 2703 | 262 948 2704 | 356 948 2705 | 617 948 2706 | 683 948 2707 | 684 948 2708 | 878 948 2709 | 232 949 2710 | 282 949 2711 | 362 949 2712 | 417 949 2713 | 556 949 2714 | 111 950 2715 | 166 950 2716 | 434 950 2717 | 792 950 2718 | 794 951 2719 | 474 952 2720 | 498 952 2721 | 728 952 2722 | 782 952 2723 | 890 952 2724 | 951 952 2725 | 58 953 2726 | 249 953 2727 | 299 953 2728 | 322 953 2729 | 508 953 2730 | 349 954 2731 | 438 954 2732 | 717 954 2733 | 742 954 2734 | 806 954 2735 | 812 954 2736 | 106 955 2737 | 444 955 2738 | 947 955 2739 | 115 956 2740 | 374 956 2741 | 569 956 2742 | 660 957 2743 | 686 957 2744 | 724 957 2745 | 914 957 2746 | 92 958 2747 | 218 958 2748 | 375 958 2749 | 436 958 2750 | 934 958 2751 | 947 958 2752 | 98 959 2753 | 149 959 2754 | 211 959 2755 | 353 959 2756 | 457 959 2757 | 468 959 2758 | 525 959 2759 | 651 959 2760 | 830 959 2761 | 160 960 2762 | 275 960 2763 | 374 960 2764 | 405 960 2765 | 760 960 2766 | 871 960 2767 | 878 960 2768 | 260 961 2769 | 319 961 2770 | 437 961 2771 | 634 961 2772 | 689 961 2773 | 937 961 2774 | 6 962 2775 | 333 962 2776 | 386 962 2777 | 506 962 2778 | 641 962 2779 | 781 962 2780 | 95 963 2781 | 183 963 2782 | 361 963 2783 | 372 963 2784 | 826 963 2785 | 828 963 2786 | 896 963 2787 | 950 963 2788 | 960 963 2789 | 463 964 2790 | 734 964 2791 | 759 964 2792 | 943 964 2793 | 100 965 2794 | 173 965 2795 | 384 965 2796 | 385 965 2797 | 395 965 2798 | 511 965 2799 | 932 965 2800 | 58 966 2801 | 191 966 2802 | 204 966 2803 | 252 966 2804 | 264 966 2805 | 391 966 2806 | 774 966 2807 | 920 966 2808 | 190 967 2809 | 310 967 2810 | 345 967 2811 | 683 967 2812 | 700 967 2813 | 939 967 2814 | 523 968 2815 | 710 968 2816 | 158 969 2817 | 281 969 2818 | 361 969 2819 | 890 969 2820 | 70 970 2821 | 162 970 2822 | 301 970 2823 | 317 970 2824 | 789 970 2825 | 958 970 2826 | 106 971 2827 | 177 971 2828 | 361 971 2829 | 495 971 2830 | 718 971 2831 | 172 972 2832 | 275 972 2833 | 688 972 2834 | 36 973 2835 | 100 973 2836 | 149 973 2837 | 255 973 2838 | 276 973 2839 | 285 973 2840 | 311 973 2841 | 499 973 2842 | 826 973 2843 | 87 974 2844 | 186 974 2845 | 236 974 2846 | 623 974 2847 | 711 974 2848 | 716 974 2849 | 773 974 2850 | 886 974 2851 | 920 974 2852 | 199 975 2853 | 279 975 2854 | 567 975 2855 | 685 975 2856 | 861 975 2857 | 904 975 2858 | 50 976 2859 | 99 976 2860 | 282 976 2861 | 457 976 2862 | 733 976 2863 | 952 976 2864 | 116 977 2865 | 459 977 2866 | 804 977 2867 | 92 978 2868 | 106 978 2869 | 145 978 2870 | 168 978 2871 | 194 978 2872 | 387 978 2873 | 482 978 2874 | 530 978 2875 | 778 978 2876 | 382 979 2877 | 427 979 2878 | 654 979 2879 | 660 979 2880 | 700 979 2881 | 800 979 2882 | 72 980 2883 | 455 980 2884 | 591 980 2885 | 623 980 2886 | 665 980 2887 | 720 980 2888 | 897 980 2889 | 926 980 2890 | 168 981 2891 | 196 981 2892 | 211 982 2893 | 233 982 2894 | 244 982 2895 | 698 982 2896 | 735 982 2897 | 240 983 2898 | 307 983 2899 | 688 983 2900 | 828 983 2901 | 980 983 2902 | 126 984 2903 | 154 984 2904 | 155 984 2905 | 259 984 2906 | 269 984 2907 | 297 984 2908 | 360 984 2909 | 480 984 2910 | 9 985 2911 | 79 985 2912 | 153 985 2913 | 351 985 2914 | 385 985 2915 | 430 985 2916 | 472 985 2917 | 742 985 2918 | 936 985 2919 | 18 986 2920 | 207 986 2921 | 295 986 2922 | 933 986 2923 | 65 987 2924 | 101 987 2925 | 227 987 2926 | 505 987 2927 | 543 987 2928 | 686 987 2929 | 825 987 2930 | 610 988 2931 | 652 988 2932 | 804 988 2933 | 837 988 2934 | 16 989 2935 | 292 989 2936 | 370 990 2937 | 401 990 2938 | 586 990 2939 | 849 990 2940 | 27 991 2941 | 47 991 2942 | 217 991 2943 | 695 991 2944 | 704 991 2945 | 753 991 2946 | 877 991 2947 | 953 991 2948 | 236 992 2949 | 382 992 2950 | 390 992 2951 | 508 992 2952 | 609 992 2953 | 840 992 2954 | 846 992 2955 | 928 992 2956 | 5 993 2957 | 70 993 2958 | 136 993 2959 | 377 993 2960 | 566 993 2961 | 670 993 2962 | 785 993 2963 | 802 993 2964 | 956 993 2965 | 224 994 2966 | 575 994 2967 | 581 994 2968 | 695 994 2969 | 605 995 2970 | 830 995 2971 | 851 995 2972 | 935 995 2973 | 370 996 2974 | 389 996 2975 | 402 996 2976 | 720 996 2977 | 911 996 2978 | 917 996 2979 | 251 997 2980 | 594 997 2981 | 710 997 2982 | 960 997 2983 | 779 998 2984 | 6 999 2985 | 330 999 2986 | 382 999 2987 | 431 999 2988 | 910 999 2989 | 936 999 2990 | 395 1000 2991 | 466 1000 2992 | 491 1000 2993 | 640 1000 2994 | 936 1000 2995 | -------------------------------------------------------------------------------- /classes/class2/exercises/exercise1/network3.sif: -------------------------------------------------------------------------------- 1 | 1 488 2 | 2 303 3 | 2 125 4 | 9 31 5 | 9 899 6 | 9 11 7 | 10 217 8 | 10 424 9 | 10 769 10 | 10 408 11 | 10 683 12 | 10 310 13 | 10 197 14 | 10 748 15 | 13 148 16 | 13 659 17 | 14 285 18 | 14 540 19 | 14 578 20 | 14 686 21 | 16 24 22 | 16 309 23 | 16 543 24 | 16 737 25 | 16 833 26 | 16 848 27 | 16 789 28 | 16 589 29 | 18 62 30 | 18 170 31 | 18 394 32 | 18 535 33 | 18 677 34 | 18 615 35 | 18 79 36 | 18 165 37 | 18 84 38 | 18 358 39 | 18 320 40 | 20 630 41 | 20 197 42 | 20 996 43 | 22 57 44 | 22 653 45 | 22 536 46 | 22 358 47 | 22 280 48 | 25 62 49 | 25 425 50 | 25 358 51 | 28 566 52 | 24 62 53 | 24 70 54 | 24 102 55 | 24 145 56 | 24 156 57 | 24 170 58 | 24 184 59 | 24 215 60 | 24 266 61 | 24 282 62 | 24 285 63 | 24 290 64 | 24 294 65 | 24 304 66 | 24 309 67 | 24 321 68 | 24 229 69 | 24 396 70 | 24 425 71 | 24 435 72 | 24 445 73 | 24 148 74 | 24 540 75 | 24 598 76 | 24 642 77 | 24 231 78 | 24 337 79 | 24 48 80 | 24 720 81 | 24 727 82 | 24 737 83 | 24 768 84 | 24 833 85 | 24 905 86 | 24 514 87 | 24 968 88 | 24 995 89 | 24 408 90 | 24 354 91 | 24 397 92 | 24 281 93 | 24 436 94 | 24 257 95 | 24 859 96 | 24 477 97 | 24 195 98 | 24 767 99 | 24 362 100 | 24 210 101 | 24 630 102 | 24 698 103 | 24 451 104 | 24 679 105 | 24 206 106 | 24 743 107 | 24 790 108 | 24 84 109 | 24 197 110 | 24 874 111 | 24 917 112 | 24 249 113 | 24 980 114 | 24 780 115 | 24 209 116 | 24 733 117 | 24 293 118 | 24 789 119 | 24 963 120 | 24 844 121 | 32 199 122 | 32 113 123 | 32 744 124 | 32 212 125 | 37 453 126 | 43 155 127 | 43 628 128 | 43 737 129 | 43 865 130 | 43 281 131 | 43 472 132 | 43 740 133 | 44 849 134 | 44 801 135 | 46 229 136 | 46 96 137 | 46 408 138 | 46 191 139 | 46 172 140 | 47 270 141 | 47 11 142 | 49 538 143 | 50 408 144 | 61 567 145 | 61 686 146 | 61 501 147 | 62 93 148 | 62 101 149 | 62 254 150 | 62 315 151 | 62 229 152 | 62 369 153 | 62 394 154 | 62 440 155 | 62 506 156 | 62 553 157 | 62 559 158 | 62 30 159 | 62 609 160 | 62 437 161 | 62 711 162 | 62 720 163 | 62 906 164 | 62 927 165 | 62 482 166 | 62 938 167 | 62 473 168 | 62 615 169 | 62 195 170 | 62 453 171 | 62 818 172 | 62 391 173 | 62 806 174 | 62 84 175 | 62 300 176 | 62 227 177 | 62 212 178 | 62 172 179 | 62 401 180 | 62 185 181 | 62 582 182 | 62 123 183 | 63 408 184 | 63 637 185 | 63 630 186 | 63 806 187 | 63 197 188 | 63 418 189 | 70 154 190 | 70 526 191 | 70 100 192 | 70 339 193 | 70 233 194 | 70 436 195 | 70 92 196 | 70 433 197 | 70 182 198 | 70 185 199 | 70 714 200 | 70 171 201 | 83 228 202 | 83 254 203 | 83 392 204 | 83 440 205 | 83 441 206 | 83 464 207 | 83 634 208 | 83 673 209 | 83 752 210 | 83 812 211 | 83 158 212 | 83 959 213 | 83 233 214 | 83 637 215 | 83 783 216 | 83 777 217 | 83 405 218 | 86 148 219 | 86 630 220 | 93 127 221 | 93 744 222 | 93 410 223 | 93 874 224 | 95 145 225 | 95 353 226 | 95 424 227 | 95 670 228 | 95 826 229 | 95 96 230 | 95 966 231 | 95 408 232 | 95 683 233 | 95 615 234 | 95 953 235 | 95 227 236 | 95 917 237 | 95 209 238 | 95 340 239 | 98 266 240 | 98 590 241 | 98 720 242 | 98 595 243 | 98 804 244 | 98 397 245 | 98 60 246 | 98 372 247 | 98 891 248 | 98 457 249 | 99 367 250 | 99 425 251 | 99 337 252 | 99 436 253 | 99 499 254 | 101 130 255 | 101 440 256 | 101 113 257 | 101 505 258 | 101 257 259 | 101 79 260 | 101 402 261 | 101 183 262 | 101 358 263 | 102 199 264 | 102 226 265 | 102 282 266 | 102 137 267 | 102 655 268 | 102 707 269 | 102 860 270 | 102 935 271 | 102 275 272 | 102 745 273 | 102 128 274 | 102 4 275 | 102 977 276 | 102 492 277 | 102 719 278 | 102 212 279 | 102 848 280 | 102 72 281 | 102 571 282 | 107 199 283 | 107 272 284 | 107 113 285 | 107 115 286 | 107 137 287 | 107 286 288 | 107 928 289 | 107 886 290 | 107 488 291 | 107 849 292 | 107 453 293 | 107 988 294 | 107 990 295 | 107 398 296 | 107 551 297 | 107 212 298 | 107 72 299 | 108 425 300 | 108 953 301 | 109 254 302 | 109 365 303 | 109 852 304 | 109 579 305 | 109 748 306 | 109 382 307 | 112 114 308 | 112 357 309 | 112 369 310 | 112 377 311 | 112 744 312 | 112 33 313 | 118 82 314 | 118 179 315 | 118 113 316 | 118 567 317 | 118 527 318 | 118 488 319 | 118 825 320 | 118 292 321 | 118 453 322 | 118 718 323 | 118 398 324 | 118 766 325 | 118 27 326 | 118 692 327 | 121 145 328 | 121 892 329 | 127 141 330 | 127 762 331 | 127 65 332 | 127 623 333 | 130 737 334 | 130 880 335 | 130 223 336 | 135 266 337 | 135 114 338 | 135 526 339 | 135 224 340 | 135 48 341 | 135 511 342 | 135 714 343 | 145 167 344 | 145 200 345 | 145 272 346 | 145 309 347 | 145 694 348 | 145 585 349 | 145 744 350 | 145 921 351 | 145 850 352 | 145 233 353 | 145 397 354 | 145 411 355 | 145 683 356 | 145 615 357 | 145 177 358 | 145 988 359 | 145 398 360 | 145 743 361 | 145 917 362 | 145 608 363 | 145 695 364 | 147 113 365 | 147 115 366 | 147 488 367 | 147 453 368 | 147 988 369 | 147 398 370 | 147 212 371 | 82 294 372 | 82 309 373 | 82 321 374 | 82 419 375 | 82 440 376 | 82 598 377 | 82 644 378 | 82 654 379 | 82 624 380 | 82 865 381 | 82 902 382 | 82 96 383 | 82 760 384 | 82 397 385 | 82 178 386 | 82 4 387 | 82 191 388 | 82 652 389 | 82 195 390 | 82 858 391 | 82 669 392 | 82 453 393 | 82 319 394 | 82 197 395 | 82 476 396 | 82 944 397 | 82 855 398 | 82 980 399 | 82 209 400 | 82 722 401 | 82 499 402 | 82 914 403 | 150 656 404 | 154 159 405 | 154 164 406 | 154 282 407 | 154 353 408 | 154 491 409 | 154 642 410 | 154 768 411 | 154 951 412 | 154 251 413 | 154 204 414 | 154 295 415 | 154 361 416 | 154 206 417 | 154 249 418 | 154 828 419 | 154 220 420 | 154 186 421 | 155 367 422 | 155 90 423 | 155 686 424 | 155 232 425 | 156 215 426 | 156 100 427 | 156 879 428 | 156 233 429 | 156 104 430 | 156 92 431 | 156 433 432 | 156 171 433 | 159 527 434 | 159 92 435 | 159 433 436 | 159 182 437 | 159 828 438 | 159 185 439 | 160 578 440 | 160 370 441 | 160 963 442 | 161 36 443 | 161 266 444 | 161 115 445 | 161 778 446 | 161 880 447 | 161 675 448 | 161 190 449 | 161 579 450 | 161 556 451 | 161 536 452 | 161 936 453 | 161 539 454 | 161 400 455 | 161 816 456 | 163 324 457 | 163 114 458 | 163 795 459 | 163 952 460 | 163 756 461 | 163 566 462 | 164 309 463 | 164 578 464 | 164 66 465 | 164 126 466 | 164 303 467 | 164 125 468 | 164 185 469 | 167 598 470 | 167 625 471 | 167 408 472 | 167 178 473 | 134 225 474 | 134 515 475 | 134 522 476 | 134 779 477 | 134 505 478 | 134 568 479 | 134 915 480 | 134 300 481 | 134 973 482 | 134 607 483 | 134 583 484 | 134 742 485 | 134 56 486 | 134 986 487 | 168 285 488 | 168 543 489 | 168 310 490 | 169 199 491 | 169 453 492 | 170 253 493 | 170 440 494 | 170 533 495 | 170 553 496 | 170 564 497 | 170 567 498 | 170 604 499 | 170 609 500 | 170 863 501 | 170 910 502 | 170 938 503 | 170 984 504 | 170 615 505 | 170 947 506 | 170 811 507 | 170 348 508 | 170 84 509 | 170 383 510 | 170 681 511 | 170 227 512 | 170 212 513 | 170 686 514 | 170 232 515 | 170 11 516 | 170 73 517 | 170 824 518 | 176 254 519 | 176 482 520 | 176 959 521 | 176 870 522 | 179 241 523 | 179 229 524 | 179 596 525 | 179 191 526 | 179 652 527 | 179 566 528 | 179 944 529 | 179 546 530 | 184 309 531 | 184 653 532 | 184 610 533 | 184 859 534 | 184 555 535 | 184 399 536 | 187 114 537 | 187 115 538 | 187 48 539 | 187 474 540 | 192 665 541 | 192 913 542 | 36 225 543 | 36 338 544 | 36 115 545 | 36 584 546 | 36 541 547 | 36 653 548 | 36 979 549 | 36 251 550 | 36 411 551 | 36 911 552 | 36 51 553 | 36 511 554 | 36 529 555 | 36 427 556 | 36 173 557 | 36 936 558 | 36 54 559 | 36 33 560 | 36 843 561 | 36 418 562 | 36 765 563 | 36 753 564 | 36 211 565 | 36 465 566 | 196 542 567 | 196 125 568 | 199 88 569 | 199 230 570 | 199 6 571 | 199 238 572 | 199 274 573 | 199 276 574 | 199 294 575 | 199 229 576 | 199 349 577 | 199 380 578 | 199 396 579 | 199 409 580 | 199 413 581 | 199 435 582 | 199 441 583 | 199 113 584 | 199 26 585 | 199 622 586 | 199 614 587 | 199 633 588 | 199 642 589 | 199 644 590 | 199 706 591 | 199 709 592 | 199 721 593 | 199 774 594 | 199 298 595 | 199 124 596 | 199 853 597 | 199 876 598 | 199 922 599 | 199 928 600 | 199 886 601 | 199 995 602 | 199 119 603 | 199 976 604 | 199 745 605 | 199 332 606 | 199 958 607 | 199 438 608 | 199 548 609 | 199 849 610 | 199 858 611 | 199 957 612 | 199 612 613 | 199 146 614 | 199 453 615 | 199 784 616 | 199 806 617 | 199 743 618 | 199 663 619 | 199 383 620 | 199 501 621 | 199 139 622 | 200 294 623 | 200 337 624 | 200 821 625 | 200 339 626 | 200 436 627 | 203 459 628 | 203 779 629 | 203 505 630 | 203 436 631 | 203 190 632 | 203 915 633 | 203 583 634 | 214 432 635 | 215 425 636 | 215 491 637 | 215 648 638 | 215 750 639 | 215 595 640 | 215 158 641 | 215 879 642 | 215 952 643 | 215 924 644 | 215 281 645 | 215 372 646 | 215 891 647 | 215 511 648 | 215 757 649 | 215 508 650 | 215 69 651 | 215 934 652 | 217 266 653 | 217 309 654 | 217 543 655 | 217 598 656 | 217 352 657 | 217 614 658 | 217 137 659 | 217 737 660 | 217 514 661 | 217 408 662 | 217 281 663 | 217 178 664 | 217 889 665 | 217 669 666 | 217 210 667 | 217 953 668 | 217 451 669 | 217 884 670 | 217 980 671 | 217 748 672 | 217 931 673 | 217 623 674 | 217 571 675 | 88 113 676 | 88 488 677 | 88 292 678 | 88 433 679 | 88 988 680 | 88 718 681 | 88 740 682 | 88 212 683 | 88 692 684 | 88 753 685 | 222 263 686 | 225 181 687 | 225 538 688 | 225 224 689 | 225 880 690 | 225 936 691 | 225 639 692 | 226 613 693 | 226 655 694 | 226 707 695 | 226 275 696 | 226 745 697 | 226 4 698 | 226 492 699 | 226 771 700 | 226 571 701 | 228 76 702 | 228 444 703 | 228 493 704 | 228 637 705 | 228 811 706 | 228 317 707 | 228 249 708 | 230 453 709 | 230 551 710 | 230 212 711 | 230 599 712 | 6 272 713 | 6 113 714 | 6 115 715 | 6 928 716 | 6 886 717 | 6 488 718 | 6 354 719 | 6 849 720 | 6 453 721 | 6 988 722 | 6 990 723 | 6 398 724 | 6 551 725 | 6 212 726 | 6 72 727 | 238 113 728 | 238 574 729 | 238 453 730 | 238 988 731 | 238 212 732 | 238 371 733 | 238 702 734 | 238 996 735 | 241 311 736 | 241 386 737 | 241 488 738 | 241 453 739 | 241 209 740 | 242 653 741 | 242 67 742 | 242 125 743 | 244 403 744 | 244 458 745 | 244 549 746 | 244 624 747 | 244 166 748 | 244 388 749 | 244 534 750 | 250 370 751 | 250 453 752 | 250 212 753 | 252 398 754 | 252 333 755 | 253 79 756 | 253 832 757 | 254 299 758 | 254 347 759 | 254 365 760 | 254 57 761 | 254 497 762 | 254 506 763 | 254 671 764 | 254 493 765 | 254 752 766 | 254 795 767 | 254 482 768 | 254 735 769 | 254 281 770 | 254 79 771 | 254 637 772 | 254 579 773 | 254 364 774 | 254 811 775 | 254 317 776 | 254 681 777 | 254 358 778 | 254 399 779 | 254 788 780 | 255 113 781 | 255 115 782 | 255 137 783 | 255 737 784 | 255 488 785 | 255 453 786 | 255 398 787 | 255 212 788 | 262 677 789 | 262 511 790 | 264 398 791 | 266 30 792 | 266 204 793 | 266 683 794 | 266 764 795 | 266 206 796 | 266 185 797 | 266 211 798 | 270 540 799 | 270 295 800 | 270 518 801 | 270 151 802 | 270 259 803 | 270 691 804 | 270 844 805 | 271 760 806 | 272 409 807 | 272 441 808 | 272 115 809 | 272 30 810 | 272 614 811 | 272 706 812 | 272 41 813 | 272 298 814 | 272 879 815 | 272 972 816 | 272 438 817 | 272 612 818 | 272 453 819 | 272 806 820 | 272 611 821 | 274 137 822 | 274 473 823 | 276 396 824 | 276 113 825 | 276 709 826 | 276 624 827 | 276 897 828 | 276 922 829 | 276 928 830 | 276 886 831 | 276 332 832 | 276 453 833 | 276 589 834 | 276 58 835 | 278 859 836 | 282 430 837 | 282 470 838 | 282 547 839 | 282 334 840 | 282 239 841 | 282 423 842 | 282 65 843 | 282 151 844 | 282 246 845 | 282 399 846 | 282 234 847 | 282 185 848 | 285 100 849 | 285 828 850 | 287 27 851 | 287 753 852 | 289 408 853 | 290 148 854 | 290 100 855 | 290 233 856 | 294 347 857 | 294 356 858 | 294 396 859 | 294 113 860 | 294 737 861 | 294 966 862 | 294 251 863 | 294 505 864 | 294 735 865 | 294 453 866 | 294 462 867 | 294 988 868 | 294 91 869 | 294 551 870 | 294 932 871 | 294 742 872 | 294 303 873 | 294 963 874 | 294 996 875 | 294 664 876 | 299 369 877 | 299 482 878 | 299 473 879 | 299 84 880 | 299 870 881 | 299 421 882 | 299 645 883 | 304 353 884 | 304 425 885 | 304 106 886 | 304 598 887 | 304 622 888 | 304 614 889 | 304 737 890 | 304 158 891 | 304 885 892 | 304 408 893 | 304 257 894 | 304 630 895 | 304 743 896 | 304 333 897 | 304 197 898 | 304 227 899 | 306 430 900 | 306 578 901 | 306 433 902 | 306 126 903 | 306 185 904 | 309 113 905 | 309 543 906 | 309 545 907 | 309 370 908 | 309 906 909 | 309 482 910 | 309 473 911 | 309 408 912 | 309 683 913 | 309 281 914 | 309 372 915 | 309 601 916 | 309 310 917 | 309 637 918 | 309 630 919 | 309 743 920 | 309 783 921 | 309 512 922 | 309 917 923 | 309 594 924 | 309 212 925 | 309 780 926 | 309 508 927 | 309 589 928 | 309 221 929 | 309 939 930 | 312 786 931 | 312 990 932 | 312 617 933 | 321 425 934 | 321 670 935 | 321 737 936 | 321 826 937 | 321 610 938 | 321 472 939 | 321 630 940 | 321 417 941 | 321 499 942 | 322 677 943 | 324 739 944 | 114 573 945 | 114 746 946 | 114 762 947 | 114 812 948 | 114 339 949 | 114 880 950 | 114 925 951 | 114 152 952 | 114 542 953 | 114 539 954 | 114 530 955 | 114 893 956 | 181 115 957 | 181 173 958 | 181 474 959 | 315 457 960 | 315 988 961 | 315 398 962 | 315 551 963 | 315 476 964 | 315 576 965 | 315 212 966 | 315 172 967 | 315 166 968 | 336 470 969 | 336 537 970 | 336 239 971 | 336 859 972 | 336 65 973 | 336 246 974 | 338 459 975 | 338 567 976 | 338 744 977 | 338 880 978 | 338 936 979 | 141 715 980 | 141 585 981 | 141 737 982 | 141 96 983 | 141 411 984 | 141 91 985 | 141 733 986 | 141 619 987 | 229 113 988 | 229 479 989 | 229 567 990 | 229 886 991 | 229 488 992 | 229 397 993 | 229 313 994 | 229 738 995 | 229 849 996 | 229 195 997 | 229 453 998 | 229 398 999 | 229 212 1000 | 229 45 1001 | 229 546 1002 | 344 467 1003 | 344 45 1004 | 346 683 1005 | 346 766 1006 | 346 656 1007 | 347 174 1008 | 347 424 1009 | 347 377 1010 | 347 634 1011 | 347 865 1012 | 347 959 1013 | 347 233 1014 | 347 736 1015 | 347 788 1016 | 347 318 1017 | 349 212 1018 | 353 369 1019 | 353 439 1020 | 353 122 1021 | 353 826 1022 | 353 339 1023 | 353 79 1024 | 353 953 1025 | 353 915 1026 | 356 655 1027 | 356 707 1028 | 356 709 1029 | 356 935 1030 | 356 275 1031 | 356 745 1032 | 356 607 1033 | 356 571 1034 | 357 446 1035 | 357 493 1036 | 357 361 1037 | 357 566 1038 | 357 763 1039 | 359 30 1040 | 359 511 1041 | 359 996 1042 | 365 506 1043 | 365 521 1044 | 365 377 1045 | 365 493 1046 | 365 812 1047 | 365 482 1048 | 365 959 1049 | 365 473 1050 | 365 328 1051 | 365 565 1052 | 365 827 1053 | 365 723 1054 | 365 421 1055 | 365 23 1056 | 366 211 1057 | 367 425 1058 | 367 920 1059 | 367 197 1060 | 367 560 1061 | 367 780 1062 | 369 440 1063 | 369 964 1064 | 369 988 1065 | 369 681 1066 | 369 227 1067 | 369 212 1068 | 369 390 1069 | 369 401 1070 | 380 113 1071 | 380 922 1072 | 380 886 1073 | 380 473 1074 | 380 332 1075 | 381 679 1076 | 76 906 1077 | 76 138 1078 | 76 482 1079 | 76 858 1080 | 76 898 1081 | 386 235 1082 | 386 223 1083 | 386 84 1084 | 386 345 1085 | 386 139 1086 | 386 913 1087 | 387 559 1088 | 387 92 1089 | 387 433 1090 | 392 493 1091 | 392 796 1092 | 392 637 1093 | 392 579 1094 | 394 535 1095 | 394 677 1096 | 394 938 1097 | 394 615 1098 | 394 84 1099 | 394 300 1100 | 394 212 1101 | 396 113 1102 | 396 709 1103 | 396 922 1104 | 396 928 1105 | 396 886 1106 | 396 676 1107 | 396 201 1108 | 396 332 1109 | 396 849 1110 | 396 453 1111 | 396 811 1112 | 396 956 1113 | 396 946 1114 | 396 476 1115 | 396 126 1116 | 396 139 1117 | 403 113 1118 | 403 865 1119 | 403 698 1120 | 403 994 1121 | 404 502 1122 | 404 325 1123 | 404 887 1124 | 406 113 1125 | 407 190 1126 | 407 576 1127 | 407 283 1128 | 407 133 1129 | 407 123 1130 | 409 652 1131 | 409 988 1132 | 409 263 1133 | 412 390 1134 | 412 896 1135 | 413 493 1136 | 413 488 1137 | 413 67 1138 | 413 453 1139 | 413 988 1140 | 413 398 1141 | 413 212 1142 | 413 27 1143 | 419 453 1144 | 419 718 1145 | 419 766 1146 | 420 595 1147 | 420 233 1148 | 420 92 1149 | 420 828 1150 | 420 171 1151 | 422 614 1152 | 422 928 1153 | 422 886 1154 | 422 952 1155 | 422 268 1156 | 422 453 1157 | 422 988 1158 | 422 551 1159 | 422 212 1160 | 422 987 1161 | 422 72 1162 | 422 832 1163 | 425 113 1164 | 425 471 1165 | 425 543 1166 | 425 598 1167 | 425 670 1168 | 425 720 1169 | 425 585 1170 | 425 737 1171 | 425 772 1172 | 425 797 1173 | 425 339 1174 | 425 595 1175 | 425 921 1176 | 425 969 1177 | 425 485 1178 | 425 683 1179 | 425 332 1180 | 425 310 1181 | 425 218 1182 | 425 814 1183 | 425 953 1184 | 425 920 1185 | 425 116 1186 | 425 74 1187 | 425 606 1188 | 425 618 1189 | 425 499 1190 | 426 584 1191 | 426 703 1192 | 428 480 1193 | 428 703 1194 | 428 601 1195 | 429 372 1196 | 429 239 1197 | 429 65 1198 | 106 845 1199 | 106 725 1200 | 106 978 1201 | 106 67 1202 | 106 583 1203 | 106 72 1204 | 106 888 1205 | 106 378 1206 | 430 640 1207 | 430 642 1208 | 430 578 1209 | 430 158 1210 | 430 4 1211 | 430 295 1212 | 430 454 1213 | 430 740 1214 | 430 206 1215 | 430 466 1216 | 430 125 1217 | 430 149 1218 | 430 220 1219 | 434 728 1220 | 434 872 1221 | 435 113 1222 | 435 493 1223 | 435 720 1224 | 435 737 1225 | 435 286 1226 | 435 397 1227 | 435 402 1228 | 435 988 1229 | 439 424 1230 | 439 115 1231 | 439 826 1232 | 439 485 1233 | 439 511 1234 | 439 79 1235 | 439 310 1236 | 439 427 1237 | 439 934 1238 | 440 26 1239 | 440 543 1240 | 440 553 1241 | 440 622 1242 | 440 803 1243 | 440 841 1244 | 440 677 1245 | 440 473 1246 | 440 760 1247 | 440 717 1248 | 440 79 1249 | 440 637 1250 | 440 391 1251 | 440 988 1252 | 440 84 1253 | 440 870 1254 | 440 358 1255 | 441 113 1256 | 441 115 1257 | 441 928 1258 | 441 886 1259 | 441 488 1260 | 441 849 1261 | 441 453 1262 | 441 988 1263 | 441 990 1264 | 441 398 1265 | 441 551 1266 | 441 212 1267 | 441 72 1268 | 441 599 1269 | 113 424 1270 | 113 148 1271 | 113 26 1272 | 113 598 1273 | 113 30 1274 | 113 613 1275 | 113 622 1276 | 113 628 1277 | 113 614 1278 | 113 633 1279 | 113 644 1280 | 113 706 1281 | 113 711 1282 | 113 720 1283 | 113 721 1284 | 113 41 1285 | 113 298 1286 | 113 124 1287 | 113 826 1288 | 113 595 1289 | 113 854 1290 | 113 922 1291 | 113 886 1292 | 113 514 1293 | 113 995 1294 | 113 302 1295 | 113 119 1296 | 113 408 1297 | 113 676 1298 | 113 281 1299 | 113 332 1300 | 113 438 1301 | 113 849 1302 | 113 858 1303 | 113 218 1304 | 113 630 1305 | 113 953 1306 | 113 784 1307 | 113 806 1308 | 113 687 1309 | 113 319 1310 | 113 663 1311 | 113 839 1312 | 113 748 1313 | 113 501 1314 | 113 384 1315 | 113 623 1316 | 113 499 1317 | 442 125 1318 | 444 57 1319 | 444 540 1320 | 444 249 1321 | 444 748 1322 | 445 493 1323 | 445 860 1324 | 445 482 1325 | 445 233 1326 | 445 64 1327 | 445 698 1328 | 445 317 1329 | 445 19 1330 | 445 11 1331 | 445 693 1332 | 445 726 1333 | 446 568 1334 | 446 283 1335 | 446 123 1336 | 452 470 1337 | 452 334 1338 | 452 239 1339 | 452 65 1340 | 452 399 1341 | 452 234 1342 | 456 152 1343 | 456 474 1344 | 456 33 1345 | 57 952 1346 | 57 959 1347 | 57 233 1348 | 57 579 1349 | 57 212 1350 | 57 318 1351 | 458 859 1352 | 458 566 1353 | 459 231 1354 | 459 982 1355 | 459 738 1356 | 459 829 1357 | 461 692 1358 | 464 493 1359 | 174 370 1360 | 174 503 1361 | 174 455 1362 | 471 578 1363 | 471 921 1364 | 471 310 1365 | 471 116 1366 | 471 499 1367 | 470 694 1368 | 470 715 1369 | 470 585 1370 | 470 223 1371 | 470 988 1372 | 470 967 1373 | 470 619 1374 | 479 195 1375 | 480 115 1376 | 480 30 1377 | 480 880 1378 | 484 881 1379 | 424 614 1380 | 424 677 1381 | 424 96 1382 | 424 332 1383 | 424 178 1384 | 424 218 1385 | 424 84 1386 | 424 748 1387 | 424 232 1388 | 424 805 1389 | 424 221 1390 | 486 564 1391 | 486 66 1392 | 486 125 1393 | 148 495 1394 | 148 218 1395 | 148 487 1396 | 148 142 1397 | 148 692 1398 | 148 149 1399 | 26 115 1400 | 26 137 1401 | 26 493 1402 | 26 928 1403 | 26 488 1404 | 26 849 1405 | 26 453 1406 | 26 988 1407 | 26 990 1408 | 26 398 1409 | 26 551 1410 | 26 212 1411 | 26 599 1412 | 26 914 1413 | 491 833 1414 | 491 260 1415 | 491 607 1416 | 491 185 1417 | 494 760 1418 | 494 358 1419 | 497 493 1420 | 497 637 1421 | 497 19 1422 | 497 805 1423 | 500 33 1424 | 502 328 1425 | 506 521 1426 | 506 493 1427 | 506 699 1428 | 506 703 1429 | 506 235 1430 | 506 595 1431 | 506 736 1432 | 506 251 1433 | 506 683 1434 | 506 438 1435 | 506 637 1436 | 506 579 1437 | 506 364 1438 | 506 152 1439 | 506 811 1440 | 506 783 1441 | 506 19 1442 | 506 748 1443 | 506 996 1444 | 507 602 1445 | 507 493 1446 | 509 224 1447 | 515 158 1448 | 515 675 1449 | 515 568 1450 | 515 398 1451 | 515 915 1452 | 515 259 1453 | 516 984 1454 | 516 623 1455 | 521 634 1456 | 521 493 1457 | 521 752 1458 | 521 235 1459 | 521 852 1460 | 521 637 1461 | 521 579 1462 | 521 811 1463 | 521 665 1464 | 521 748 1465 | 522 231 1466 | 522 938 1467 | 522 738 1468 | 522 568 1469 | 522 799 1470 | 522 915 1471 | 522 919 1472 | 526 115 1473 | 526 339 1474 | 528 453 1475 | 532 202 1476 | 532 641 1477 | 532 785 1478 | 533 905 1479 | 533 947 1480 | 533 686 1481 | 533 245 1482 | 533 759 1483 | 538 224 1484 | 538 979 1485 | 540 598 1486 | 540 100 1487 | 540 493 1488 | 540 578 1489 | 540 408 1490 | 540 505 1491 | 540 195 1492 | 540 785 1493 | 540 487 1494 | 540 126 1495 | 540 583 1496 | 540 742 1497 | 540 828 1498 | 540 185 1499 | 540 872 1500 | 540 393 1501 | 543 308 1502 | 543 482 1503 | 543 302 1504 | 543 683 1505 | 543 372 1506 | 543 891 1507 | 543 601 1508 | 543 476 1509 | 543 469 1510 | 543 499 1511 | 545 177 1512 | 545 178 1513 | 549 488 1514 | 549 453 1515 | 552 736 1516 | 553 473 1517 | 553 717 1518 | 553 79 1519 | 553 988 1520 | 553 84 1521 | 553 358 1522 | 224 559 1523 | 224 609 1524 | 224 636 1525 | 224 654 1526 | 224 877 1527 | 224 906 1528 | 224 992 1529 | 224 966 1530 | 224 53 1531 | 224 756 1532 | 224 177 1533 | 224 901 1534 | 224 152 1535 | 224 305 1536 | 224 474 1537 | 224 33 1538 | 224 893 1539 | 224 465 1540 | 115 622 1541 | 115 614 1542 | 115 644 1543 | 115 703 1544 | 115 48 1545 | 115 721 1546 | 115 298 1547 | 115 782 1548 | 115 810 1549 | 115 778 1550 | 115 339 1551 | 115 880 1552 | 115 928 1553 | 115 886 1554 | 115 995 1555 | 115 488 1556 | 115 119 1557 | 115 438 1558 | 115 550 1559 | 115 858 1560 | 115 697 1561 | 115 988 1562 | 115 451 1563 | 115 990 1564 | 115 398 1565 | 115 806 1566 | 115 551 1567 | 115 936 1568 | 115 539 1569 | 115 400 1570 | 115 710 1571 | 115 232 1572 | 115 72 1573 | 115 401 1574 | 115 89 1575 | 115 894 1576 | 115 599 1577 | 115 793 1578 | 115 320 1579 | 115 586 1580 | 559 677 1581 | 559 760 1582 | 559 79 1583 | 559 84 1584 | 561 325 1585 | 564 79 1586 | 564 846 1587 | 573 389 1588 | 573 302 1589 | 573 511 1590 | 573 970 1591 | 573 33 1592 | 573 401 1593 | 573 753 1594 | 575 64 1595 | 575 708 1596 | 581 31 1597 | 584 100 1598 | 584 843 1599 | 584 666 1600 | 584 185 1601 | 567 437 1602 | 567 774 1603 | 567 124 1604 | 567 438 1605 | 567 601 1606 | 567 157 1607 | 567 400 1608 | 567 501 1609 | 590 408 1610 | 590 920 1611 | 590 820 1612 | 202 389 1613 | 202 447 1614 | 202 326 1615 | 596 488 1616 | 596 398 1617 | 596 212 1618 | 598 332 1619 | 598 310 1620 | 598 218 1621 | 598 146 1622 | 598 630 1623 | 598 901 1624 | 598 743 1625 | 598 35 1626 | 598 499 1627 | 598 460 1628 | 600 756 1629 | 602 303 1630 | 602 941 1631 | 30 541 1632 | 30 100 1633 | 30 778 1634 | 30 937 1635 | 30 1000 1636 | 30 488 1637 | 30 96 1638 | 30 767 1639 | 30 453 1640 | 30 988 1641 | 30 319 1642 | 30 539 1643 | 30 212 1644 | 30 232 1645 | 30 695 1646 | 30 273 1647 | 604 79 1648 | 604 84 1649 | 604 384 1650 | 609 466 1651 | 609 571 1652 | 377 493 1653 | 377 795 1654 | 377 811 1655 | 377 19 1656 | 613 137 1657 | 613 655 1658 | 613 826 1659 | 613 935 1660 | 613 488 1661 | 613 128 1662 | 613 4 1663 | 613 988 1664 | 613 977 1665 | 613 719 1666 | 613 212 1667 | 352 638 1668 | 437 826 1669 | 437 53 1670 | 437 686 1671 | 437 692 1672 | 616 603 1673 | 622 928 1674 | 622 886 1675 | 622 453 1676 | 622 988 1677 | 622 990 1678 | 622 551 1679 | 622 212 1680 | 622 72 1681 | 622 914 1682 | 625 235 1683 | 625 408 1684 | 625 582 1685 | 625 38 1686 | 625 194 1687 | 627 27 1688 | 628 332 1689 | 628 472 1690 | 628 173 1691 | 629 769 1692 | 629 810 1693 | 614 927 1694 | 614 928 1695 | 614 886 1696 | 614 683 1697 | 614 310 1698 | 614 957 1699 | 614 453 1700 | 614 988 1701 | 614 990 1702 | 614 551 1703 | 614 212 1704 | 614 987 1705 | 614 72 1706 | 633 988 1707 | 633 72 1708 | 541 641 1709 | 541 511 1710 | 541 530 1711 | 541 916 1712 | 634 637 1713 | 635 33 1714 | 638 630 1715 | 638 197 1716 | 640 103 1717 | 640 704 1718 | 640 185 1719 | 640 861 1720 | 641 778 1721 | 641 880 1722 | 641 389 1723 | 641 146 1724 | 641 391 1725 | 641 427 1726 | 641 539 1727 | 641 400 1728 | 641 816 1729 | 641 232 1730 | 642 180 1731 | 642 100 1732 | 642 339 1733 | 642 867 1734 | 642 879 1735 | 642 725 1736 | 642 233 1737 | 642 976 1738 | 642 104 1739 | 642 75 1740 | 642 92 1741 | 642 433 1742 | 642 355 1743 | 642 662 1744 | 642 333 1745 | 642 182 1746 | 642 828 1747 | 642 171 1748 | 643 785 1749 | 644 654 1750 | 644 337 1751 | 644 856 1752 | 644 67 1753 | 644 858 1754 | 644 988 1755 | 644 551 1756 | 644 54 1757 | 644 212 1758 | 644 72 1759 | 644 832 1760 | 554 451 1761 | 554 783 1762 | 554 681 1763 | 648 952 1764 | 648 91 1765 | 231 690 1766 | 231 862 1767 | 231 738 1768 | 231 799 1769 | 231 679 1770 | 231 926 1771 | 231 780 1772 | 231 623 1773 | 231 320 1774 | 137 706 1775 | 137 744 1776 | 137 995 1777 | 137 96 1778 | 137 745 1779 | 137 128 1780 | 137 438 1781 | 137 4 1782 | 137 190 1783 | 137 977 1784 | 137 345 1785 | 137 802 1786 | 653 518 1787 | 653 807 1788 | 653 80 1789 | 180 337 1790 | 180 867 1791 | 180 882 1792 | 180 976 1793 | 180 75 1794 | 180 146 1795 | 180 355 1796 | 180 662 1797 | 654 849 1798 | 654 858 1799 | 654 209 1800 | 655 707 1801 | 655 935 1802 | 655 275 1803 | 655 4 1804 | 655 977 1805 | 655 492 1806 | 655 719 1807 | 655 571 1808 | 657 302 1809 | 657 658 1810 | 100 51 1811 | 100 738 1812 | 100 566 1813 | 100 206 1814 | 100 823 1815 | 100 904 1816 | 100 34 1817 | 100 329 1818 | 100 220 1819 | 308 436 1820 | 308 193 1821 | 308 918 1822 | 308 245 1823 | 308 530 1824 | 527 337 1825 | 527 624 1826 | 527 268 1827 | 527 874 1828 | 670 953 1829 | 670 499 1830 | 671 783 1831 | 672 804 1832 | 672 92 1833 | 672 210 1834 | 672 453 1835 | 680 957 1836 | 493 720 1837 | 493 744 1838 | 493 752 1839 | 493 795 1840 | 493 812 1841 | 493 482 1842 | 493 959 1843 | 493 736 1844 | 493 998 1845 | 493 579 1846 | 493 391 1847 | 493 988 1848 | 493 364 1849 | 493 811 1850 | 493 87 1851 | 493 783 1852 | 493 19 1853 | 493 328 1854 | 493 565 1855 | 493 827 1856 | 493 870 1857 | 493 708 1858 | 493 448 1859 | 493 56 1860 | 493 23 1861 | 493 405 1862 | 690 566 1863 | 690 314 1864 | 690 828 1865 | 578 937 1866 | 578 982 1867 | 578 1000 1868 | 578 96 1869 | 578 310 1870 | 578 295 1871 | 578 767 1872 | 578 206 1873 | 578 499 1874 | 337 737 1875 | 337 749 1876 | 337 821 1877 | 337 912 1878 | 337 685 1879 | 337 436 1880 | 337 457 1881 | 337 849 1882 | 337 91 1883 | 337 317 1884 | 337 903 1885 | 337 686 1886 | 337 606 1887 | 337 401 1888 | 337 166 1889 | 694 334 1890 | 694 239 1891 | 694 423 1892 | 694 65 1893 | 694 597 1894 | 703 731 1895 | 703 310 1896 | 703 990 1897 | 703 212 1898 | 706 488 1899 | 706 685 1900 | 706 849 1901 | 706 453 1902 | 706 988 1903 | 706 647 1904 | 706 801 1905 | 707 935 1906 | 707 275 1907 | 707 745 1908 | 707 4 1909 | 707 977 1910 | 707 492 1911 | 707 719 1912 | 707 571 1913 | 48 472 1914 | 48 936 1915 | 48 686 1916 | 48 33 1917 | 48 418 1918 | 48 620 1919 | 48 211 1920 | 709 737 1921 | 709 712 1922 | 709 139 1923 | 709 490 1924 | 711 488 1925 | 711 398 1926 | 711 212 1927 | 715 239 1928 | 715 859 1929 | 715 65 1930 | 535 333 1931 | 535 300 1932 | 720 737 1933 | 720 473 1934 | 720 610 1935 | 720 397 1936 | 721 727 1937 | 721 860 1938 | 721 488 1939 | 721 988 1940 | 721 990 1941 | 721 398 1942 | 721 551 1943 | 721 212 1944 | 721 603 1945 | 41 928 1946 | 41 488 1947 | 41 453 1948 | 41 988 1949 | 41 398 1950 | 41 870 1951 | 41 212 1952 | 41 72 1953 | 585 772 1954 | 585 588 1955 | 585 339 1956 | 585 756 1957 | 585 239 1958 | 585 423 1959 | 585 65 1960 | 585 246 1961 | 727 195 1962 | 731 158 1963 | 731 687 1964 | 737 833 1965 | 737 482 1966 | 737 473 1967 | 737 485 1968 | 737 610 1969 | 737 683 1970 | 737 281 1971 | 737 472 1972 | 737 955 1973 | 737 548 1974 | 737 310 1975 | 737 210 1976 | 737 630 1977 | 737 355 1978 | 737 790 1979 | 737 84 1980 | 737 197 1981 | 737 681 1982 | 737 139 1983 | 737 597 1984 | 737 724 1985 | 739 84 1986 | 370 698 1987 | 370 31 1988 | 370 903 1989 | 370 198 1990 | 370 710 1991 | 744 959 1992 | 744 251 1993 | 744 397 1994 | 744 637 1995 | 744 301 1996 | 746 474 1997 | 746 33 1998 | 749 436 1999 | 749 84 2000 | 749 606 2001 | 749 914 2002 | 750 952 2003 | 750 816 2004 | 286 881 2005 | 286 383 2006 | 286 249 2007 | 286 843 2008 | 752 317 2009 | 754 665 2010 | 758 775 2011 | 758 328 2012 | 761 408 2013 | 762 474 2014 | 624 136 2015 | 624 190 2016 | 624 453 2017 | 624 718 2018 | 624 72 2019 | 624 832 2020 | 624 291 2021 | 768 104 2022 | 768 92 2023 | 768 433 2024 | 768 828 2025 | 768 185 2026 | 769 953 2027 | 235 928 2028 | 235 482 2029 | 235 886 2030 | 235 948 2031 | 235 969 2032 | 235 683 2033 | 235 615 2034 | 235 332 2035 | 235 858 2036 | 235 197 2037 | 235 153 2038 | 235 498 2039 | 235 139 2040 | 773 834 2041 | 122 826 2042 | 122 227 2043 | 774 988 2044 | 776 474 2045 | 298 928 2046 | 298 488 2047 | 298 849 2048 | 298 453 2049 | 298 988 2050 | 298 990 2051 | 298 398 2052 | 298 551 2053 | 298 212 2054 | 298 599 2055 | 779 453 2056 | 779 583 2057 | 782 473 2058 | 782 748 2059 | 782 303 2060 | 782 546 2061 | 782 570 2062 | 588 411 2063 | 588 619 2064 | 792 178 2065 | 795 482 2066 | 795 959 2067 | 795 881 2068 | 795 195 2069 | 795 811 2070 | 795 790 2071 | 795 783 2072 | 795 704 2073 | 795 249 2074 | 797 595 2075 | 797 978 2076 | 803 841 2077 | 803 328 2078 | 803 980 2079 | 803 603 2080 | 808 391 2081 | 124 988 2082 | 124 718 2083 | 124 27 2084 | 124 599 2085 | 810 408 2086 | 810 630 2087 | 810 398 2088 | 810 151 2089 | 810 583 2090 | 810 599 2091 | 812 251 2092 | 812 852 2093 | 812 637 2094 | 812 364 2095 | 812 811 2096 | 812 19 2097 | 812 153 2098 | 813 967 2099 | 813 371 2100 | 815 64 2101 | 815 92 2102 | 778 389 2103 | 778 427 2104 | 778 84 2105 | 778 261 2106 | 778 753 2107 | 821 436 2108 | 821 91 2109 | 821 499 2110 | 822 339 2111 | 822 692 2112 | 826 966 2113 | 826 408 2114 | 826 615 2115 | 826 637 2116 | 826 630 2117 | 826 953 2118 | 826 197 2119 | 826 227 2120 | 826 460 2121 | 830 740 2122 | 833 900 2123 | 833 725 2124 | 833 964 2125 | 833 361 2126 | 833 847 2127 | 833 451 2128 | 833 333 2129 | 833 903 2130 | 833 476 2131 | 833 780 2132 | 833 888 2133 | 339 572 2134 | 339 756 2135 | 339 511 2136 | 339 518 2137 | 339 960 2138 | 339 362 2139 | 339 953 2140 | 339 427 2141 | 339 152 2142 | 339 227 2143 | 339 151 2144 | 339 212 2145 | 339 335 2146 | 339 85 2147 | 339 996 2148 | 339 77 2149 | 595 879 2150 | 595 964 2151 | 595 924 2152 | 595 610 2153 | 595 630 2154 | 595 789 2155 | 841 865 2156 | 841 988 2157 | 94 906 2158 | 94 957 2159 | 94 314 2160 | 94 243 2161 | 94 898 2162 | 842 988 2163 | 845 881 2164 | 845 438 2165 | 845 566 2166 | 845 31 2167 | 845 896 2168 | 845 111 2169 | 845 888 2170 | 158 683 2171 | 158 891 2172 | 158 637 2173 | 158 453 2174 | 158 933 2175 | 158 946 2176 | 158 753 2177 | 158 8 2178 | 853 398 2179 | 854 488 2180 | 854 398 2181 | 854 212 2182 | 857 958 2183 | 860 911 2184 | 860 64 2185 | 860 153 2186 | 860 273 2187 | 860 59 2188 | 863 975 2189 | 863 79 2190 | 863 42 2191 | 863 869 2192 | 864 436 2193 | 864 90 2194 | 865 964 2195 | 865 760 2196 | 865 227 2197 | 865 325 2198 | 867 725 2199 | 867 978 2200 | 867 976 2201 | 867 75 2202 | 867 146 2203 | 867 355 2204 | 867 662 2205 | 867 333 2206 | 867 546 2207 | 875 206 2208 | 876 488 2209 | 876 453 2210 | 876 988 2211 | 876 398 2212 | 876 212 2213 | 877 902 2214 | 877 905 2215 | 877 103 2216 | 877 981 2217 | 877 71 2218 | 877 454 2219 | 877 263 2220 | 877 823 2221 | 877 504 2222 | 879 488 2223 | 879 683 2224 | 879 738 2225 | 879 218 2226 | 879 300 2227 | 879 212 2228 | 879 142 2229 | 879 401 2230 | 879 85 2231 | 880 979 2232 | 880 411 2233 | 880 756 2234 | 880 511 2235 | 880 637 2236 | 880 427 2237 | 880 157 2238 | 880 566 2239 | 880 206 2240 | 880 173 2241 | 880 930 2242 | 880 418 2243 | 880 753 2244 | 880 211 2245 | 882 976 2246 | 882 75 2247 | 882 303 2248 | 890 433 2249 | 892 74 2250 | 892 373 2251 | 897 835 2252 | 897 58 2253 | 900 92 2254 | 900 623 2255 | 900 185 2256 | 902 905 2257 | 902 683 2258 | 902 686 2259 | 902 245 2260 | 905 236 2261 | 905 510 2262 | 905 140 2263 | 905 914 2264 | 906 685 2265 | 907 476 2266 | 910 358 2267 | 677 537 2268 | 677 938 2269 | 677 615 2270 | 677 268 2271 | 677 300 2272 | 677 227 2273 | 677 212 2274 | 103 674 2275 | 103 136 2276 | 103 295 2277 | 103 454 2278 | 103 383 2279 | 103 123 2280 | 921 485 2281 | 921 197 2282 | 922 408 2283 | 922 676 2284 | 922 332 2285 | 922 128 2286 | 922 630 2287 | 922 980 2288 | 925 152 2289 | 925 930 2290 | 927 969 2291 | 927 669 2292 | 928 886 2293 | 928 995 2294 | 928 332 2295 | 928 438 2296 | 928 453 2297 | 928 988 2298 | 928 784 2299 | 928 398 2300 | 928 806 2301 | 928 551 2302 | 928 183 2303 | 928 212 2304 | 928 468 2305 | 138 53 2306 | 138 988 2307 | 138 583 2308 | 482 397 2309 | 482 637 2310 | 482 518 2311 | 482 364 2312 | 482 811 2313 | 482 317 2314 | 482 870 2315 | 482 421 2316 | 935 275 2317 | 935 4 2318 | 935 977 2319 | 935 492 2320 | 935 571 2321 | 886 473 2322 | 886 332 2323 | 886 849 2324 | 886 453 2325 | 886 806 2326 | 886 611 2327 | 886 551 2328 | 886 212 2329 | 937 562 2330 | 537 268 2331 | 537 236 2332 | 537 698 2333 | 537 142 2334 | 537 525 2335 | 938 911 2336 | 938 67 2337 | 938 79 2338 | 938 453 2339 | 938 84 2340 | 938 358 2341 | 269 881 2342 | 269 687 2343 | 269 249 2344 | 945 753 2345 | 948 345 2346 | 949 303 2347 | 949 125 2348 | 951 335 2349 | 951 185 2350 | 952 610 2351 | 952 433 2352 | 952 260 2353 | 952 66 2354 | 952 293 2355 | 952 829 2356 | 725 978 2357 | 725 652 2358 | 725 847 2359 | 725 806 2360 | 725 705 2361 | 725 888 2362 | 725 378 2363 | 954 185 2364 | 514 178 2365 | 514 410 2366 | 514 889 2367 | 959 408 2368 | 959 201 2369 | 959 637 2370 | 959 811 2371 | 959 748 2372 | 959 105 2373 | 334 981 2374 | 334 988 2375 | 334 401 2376 | 334 619 2377 | 964 981 2378 | 964 451 2379 | 964 325 2380 | 965 303 2381 | 965 125 2382 | 968 233 2383 | 968 92 2384 | 968 433 2385 | 968 171 2386 | 924 360 2387 | 969 177 2388 | 969 75 2389 | 969 630 2390 | 969 701 2391 | 972 488 2392 | 972 67 2393 | 473 354 2394 | 473 683 2395 | 473 433 2396 | 473 697 2397 | 473 953 2398 | 473 973 2399 | 473 926 2400 | 473 305 2401 | 473 325 2402 | 473 209 2403 | 978 67 2404 | 978 583 2405 | 978 888 2406 | 979 438 2407 | 979 722 2408 | 979 623 2409 | 979 175 2410 | 389 936 2411 | 389 539 2412 | 389 400 2413 | 389 798 2414 | 781 710 2415 | 982 850 2416 | 982 495 2417 | 982 310 2418 | 983 787 2419 | 989 401 2420 | 989 893 2421 | 995 488 2422 | 995 849 2423 | 995 453 2424 | 995 988 2425 | 995 990 2426 | 995 398 2427 | 995 551 2428 | 995 212 2429 | 995 72 2430 | 995 599 2431 | 1000 828 2432 | 1000 171 2433 | 674 363 2434 | 674 511 2435 | 674 698 2436 | 674 512 2437 | 674 131 2438 | 674 123 2439 | 850 84 2440 | 850 558 2441 | 233 738 2442 | 233 295 2443 | 233 477 2444 | 233 362 2445 | 233 206 2446 | 233 331 2447 | 233 249 2448 | 233 293 2449 | 233 904 2450 | 233 125 2451 | 233 34 2452 | 233 603 2453 | 233 77 2454 | 804 488 2455 | 804 60 2456 | 804 313 2457 | 804 210 2458 | 804 453 2459 | 804 988 2460 | 804 212 2461 | 804 172 2462 | 804 963 2463 | 912 436 2464 | 912 190 2465 | 912 915 2466 | 275 4 2467 | 275 977 2468 | 275 492 2469 | 275 719 2470 | 275 571 2471 | 485 947 2472 | 485 626 2473 | 736 811 2474 | 736 723 2475 | 736 777 2476 | 302 683 2477 | 302 78 2478 | 302 689 2479 | 302 658 2480 | 488 119 2481 | 488 438 2482 | 488 612 2483 | 488 784 2484 | 488 566 2485 | 488 806 2486 | 488 21 2487 | 488 183 2488 | 488 944 2489 | 488 874 2490 | 488 73 2491 | 96 354 2492 | 96 433 2493 | 96 453 2494 | 363 477 2495 | 363 957 2496 | 363 799 2497 | 363 243 2498 | 363 123 2499 | 363 29 2500 | 966 976 2501 | 966 281 2502 | 966 544 2503 | 966 303 2504 | 251 893 2505 | 251 647 2506 | 119 849 2507 | 119 453 2508 | 119 988 2509 | 119 398 2510 | 119 551 2511 | 119 212 2512 | 408 683 2513 | 408 738 2514 | 408 310 2515 | 408 195 2516 | 408 767 2517 | 408 197 2518 | 408 209 2519 | 408 895 2520 | 408 606 2521 | 760 354 2522 | 760 4 2523 | 760 933 2524 | 760 45 2525 | 760 59 2526 | 354 257 2527 | 354 953 2528 | 354 259 2529 | 204 911 2530 | 204 126 2531 | 204 182 2532 | 204 971 2533 | 204 569 2534 | 610 166 2535 | 610 525 2536 | 53 858 2537 | 976 757 2538 | 976 75 2539 | 976 146 2540 | 976 355 2541 | 976 662 2542 | 976 333 2543 | 397 201 2544 | 397 157 2545 | 397 501 2546 | 411 926 2547 | 683 756 2548 | 683 177 2549 | 683 178 2550 | 683 637 2551 | 683 953 2552 | 683 806 2553 | 683 39 2554 | 683 839 2555 | 683 415 2556 | 683 748 2557 | 683 805 2558 | 683 340 2559 | 683 221 2560 | 745 4 2561 | 745 977 2562 | 745 492 2563 | 745 212 2564 | 745 848 2565 | 745 89 2566 | 505 735 2567 | 505 675 2568 | 505 190 2569 | 505 568 2570 | 505 453 2571 | 505 462 2572 | 505 915 2573 | 505 300 2574 | 505 189 2575 | 505 607 2576 | 505 742 2577 | 505 962 2578 | 852 84 2579 | 852 700 2580 | 136 570 2581 | 756 239 2582 | 756 390 2583 | 756 232 2584 | 756 974 2585 | 756 320 2586 | 756 586 2587 | 881 300 2588 | 881 870 2589 | 881 748 2590 | 881 142 2591 | 881 56 2592 | 735 281 2593 | 735 811 2594 | 735 785 2595 | 735 870 2596 | 735 448 2597 | 735 133 2598 | 735 645 2599 | 495 330 2600 | 223 239 2601 | 223 859 2602 | 223 65 2603 | 223 917 2604 | 223 688 2605 | 786 355 2606 | 786 54 2607 | 911 273 2608 | 281 981 2609 | 281 453 2610 | 281 519 2611 | 685 957 2612 | 685 512 2613 | 685 243 2614 | 685 898 2615 | 981 675 2616 | 981 190 2617 | 981 65 2618 | 981 915 2619 | 981 681 2620 | 981 415 2621 | 981 399 2622 | 615 79 2623 | 615 84 2624 | 60 313 2625 | 60 997 2626 | 60 92 2627 | 60 210 2628 | 60 172 2629 | 60 963 2630 | 717 811 2631 | 717 11 2632 | 717 788 2633 | 717 421 2634 | 717 986 2635 | 436 878 2636 | 436 90 2637 | 436 849 2638 | 436 433 2639 | 436 91 2640 | 436 198 2641 | 436 607 2642 | 436 780 2643 | 436 805 2644 | 436 58 2645 | 436 258 2646 | 840 42 2647 | 257 372 2648 | 257 997 2649 | 257 799 2650 | 257 451 2651 | 257 314 2652 | 257 432 2653 | 257 283 2654 | 257 243 2655 | 257 963 2656 | 257 378 2657 | 372 891 2658 | 372 4 2659 | 372 453 2660 | 372 630 2661 | 372 718 2662 | 372 712 2663 | 372 766 2664 | 372 508 2665 | 372 27 2666 | 372 963 2667 | 64 153 2668 | 998 637 2669 | 998 314 2670 | 998 153 2671 | 447 326 2672 | 332 849 2673 | 332 453 2674 | 332 319 2675 | 332 748 2676 | 332 417 2677 | 332 469 2678 | 958 550 2679 | 958 599 2680 | 891 78 2681 | 891 920 2682 | 467 838 2683 | 239 988 2684 | 239 967 2685 | 239 619 2686 | 104 960 2687 | 104 206 2688 | 104 823 2689 | 104 293 2690 | 104 571 2691 | 104 950 2692 | 177 178 2693 | 177 669 2694 | 177 210 2695 | 177 139 2696 | 859 967 2697 | 859 688 2698 | 859 763 2699 | 859 234 2700 | 178 669 2701 | 178 451 2702 | 178 780 2703 | 178 689 2704 | 178 417 2705 | 178 38 2706 | 313 92 2707 | 313 576 2708 | 313 283 2709 | 472 510 2710 | 472 40 2711 | 128 977 2712 | 128 66 2713 | 878 92 2714 | 878 210 2715 | 878 798 2716 | 410 165 2717 | 410 185 2718 | 457 476 2719 | 457 576 2720 | 457 835 2721 | 457 166 2722 | 438 849 2723 | 438 477 2724 | 438 453 2725 | 438 988 2726 | 438 990 2727 | 438 398 2728 | 438 551 2729 | 438 212 2730 | 438 696 2731 | 438 72 2732 | 438 111 2733 | 438 599 2734 | 438 351 2735 | 955 190 2736 | 955 811 2737 | 955 153 2738 | 511 391 2739 | 511 427 2740 | 511 936 2741 | 511 539 2742 | 511 400 2743 | 511 816 2744 | 511 232 2745 | 511 832 2746 | 511 465 2747 | 511 373 2748 | 511 798 2749 | 511 382 2750 | 764 789 2751 | 4 566 2752 | 4 492 2753 | 4 719 2754 | 4 848 2755 | 4 571 2756 | 548 453 2757 | 548 963 2758 | 79 391 2759 | 79 157 2760 | 79 212 2761 | 79 460 2762 | 268 236 2763 | 268 698 2764 | 550 143 2765 | 738 92 2766 | 738 799 2767 | 738 319 2768 | 738 780 2769 | 738 748 2770 | 738 828 2771 | 738 335 2772 | 738 185 2773 | 738 171 2774 | 601 415 2775 | 601 212 2776 | 601 209 2777 | 601 213 2778 | 601 525 2779 | 191 766 2780 | 191 943 2781 | 191 27 2782 | 191 692 2783 | 191 832 2784 | 310 637 2785 | 310 579 2786 | 310 630 2787 | 310 967 2788 | 310 743 2789 | 310 129 2790 | 310 319 2791 | 310 388 2792 | 310 221 2793 | 310 592 2794 | 889 957 2795 | 90 814 2796 | 90 607 2797 | 637 453 2798 | 637 811 2799 | 637 19 2800 | 637 870 2801 | 637 748 2802 | 637 11 2803 | 637 56 2804 | 637 726 2805 | 757 767 2806 | 757 260 2807 | 757 261 2808 | 849 71 2809 | 849 858 2810 | 849 612 2811 | 849 784 2812 | 849 806 2813 | 849 183 2814 | 849 663 2815 | 849 209 2816 | 849 501 2817 | 849 589 2818 | 849 996 2819 | 423 91 2820 | 997 963 2821 | 75 236 2822 | 75 146 2823 | 75 355 2824 | 75 662 2825 | 75 378 2826 | 295 433 2827 | 295 185 2828 | 295 632 2829 | 236 698 2830 | 477 92 2831 | 477 433 2832 | 477 305 2833 | 477 828 2834 | 477 171 2835 | 652 263 2836 | 652 823 2837 | 652 686 2838 | 652 872 2839 | 518 260 2840 | 518 679 2841 | 518 785 2842 | 71 551 2843 | 71 686 2844 | 71 72 2845 | 71 401 2846 | 71 185 2847 | 71 171 2848 | 195 173 2849 | 195 417 2850 | 767 361 2851 | 767 630 2852 | 767 930 2853 | 858 990 2854 | 858 398 2855 | 858 551 2856 | 858 212 2857 | 858 72 2858 | 858 185 2859 | 292 21 2860 | 292 944 2861 | 669 451 2862 | 669 689 2863 | 669 700 2864 | 960 92 2865 | 960 185 2866 | 960 171 2867 | 454 190 2868 | 454 303 2869 | 454 647 2870 | 454 3 2871 | 791 125 2872 | 675 190 2873 | 675 915 2874 | 675 300 2875 | 675 607 2876 | 675 742 2877 | 675 708 2878 | 957 453 2879 | 957 814 2880 | 957 188 2881 | 402 300 2882 | 402 788 2883 | 92 210 2884 | 92 630 2885 | 92 206 2886 | 92 415 2887 | 92 823 2888 | 92 293 2889 | 92 963 2890 | 92 798 2891 | 92 77 2892 | 92 55 2893 | 433 206 2894 | 433 66 2895 | 433 27 2896 | 433 77 2897 | 775 453 2898 | 775 718 2899 | 165 432 2900 | 165 415 2901 | 190 915 2902 | 190 300 2903 | 190 607 2904 | 190 742 2905 | 362 828 2906 | 579 152 2907 | 579 811 2908 | 579 681 2909 | 579 656 2910 | 579 723 2911 | 579 777 2912 | 579 577 2913 | 568 300 2914 | 568 973 2915 | 568 607 2916 | 568 742 2917 | 568 986 2918 | 218 953 2919 | 612 453 2920 | 612 988 2921 | 612 990 2922 | 612 398 2923 | 612 212 2924 | 210 963 2925 | 210 798 2926 | 146 355 2927 | 146 807 2928 | 453 697 2929 | 453 462 2930 | 453 784 2931 | 453 806 2932 | 453 611 2933 | 453 663 2934 | 453 476 2935 | 453 874 2936 | 453 212 2937 | 453 142 2938 | 453 599 2939 | 630 807 2940 | 630 78 2941 | 630 197 2942 | 630 38 2943 | 697 462 2944 | 462 597 2945 | 933 946 2946 | 814 696 2947 | 814 649 2948 | 814 794 2949 | 818 401 2950 | 391 947 2951 | 391 427 2952 | 391 328 2953 | 988 65 2954 | 988 784 2955 | 988 806 2956 | 988 611 2957 | 988 21 2958 | 988 663 2959 | 988 328 2960 | 988 980 2961 | 988 246 2962 | 988 243 2963 | 65 967 2964 | 65 763 2965 | 65 619 2966 | 799 27 2967 | 355 662 2968 | 947 686 2969 | 698 512 2970 | 698 918 2971 | 698 987 2972 | 698 142 2973 | 698 123 2974 | 698 525 2975 | 847 705 2976 | 364 152 2977 | 364 980 2978 | 364 401 2979 | 364 56 2980 | 364 421 2981 | 364 23 2982 | 364 726 2983 | 953 227 2984 | 953 689 2985 | 953 499 2986 | 193 806 2987 | 263 39 2988 | 263 503 2989 | 263 623 2990 | 718 944 2991 | 451 474 2992 | 451 656 2993 | 451 33 2994 | 451 125 2995 | 451 832 2996 | 451 753 2997 | 451 914 2998 | 990 806 2999 | 990 551 3000 | 990 325 3001 | 427 539 3002 | 427 504 3003 | 260 19 3004 | 260 175 3005 | 740 330 3006 | 740 759 3007 | 152 556 3008 | 152 936 3009 | 152 970 3010 | 152 259 3011 | 152 893 3012 | 784 398 3013 | 784 926 3014 | 784 212 3015 | 784 896 3016 | 157 686 3017 | 566 80 3018 | 566 33 3019 | 296 72 3020 | 297 956 3021 | 297 129 3022 | 297 591 3023 | 297 15 3024 | 297 828 3025 | 297 330 3026 | 811 317 3027 | 811 783 3028 | 811 681 3029 | 811 565 3030 | 811 827 3031 | 811 249 3032 | 811 788 3033 | 206 259 3034 | 206 828 3035 | 206 666 3036 | 206 34 3037 | 206 185 3038 | 206 753 3039 | 206 171 3040 | 785 839 3041 | 785 432 3042 | 785 77 3043 | 785 844 3044 | 556 33 3045 | 556 401 3046 | 556 125 3047 | 956 129 3048 | 956 591 3049 | 956 15 3050 | 956 828 3051 | 956 330 3052 | 398 806 3053 | 398 743 3054 | 398 21 3055 | 398 183 3056 | 398 783 3057 | 398 944 3058 | 398 523 3059 | 398 586 3060 | 806 333 3061 | 806 551 3062 | 806 212 3063 | 806 971 3064 | 806 72 3065 | 806 599 3066 | 743 19 3067 | 317 726 3068 | 611 305 3069 | 611 212 3070 | 790 724 3071 | 551 663 3072 | 551 126 3073 | 551 748 3074 | 920 560 3075 | 920 820 3076 | 920 499 3077 | 915 839 3078 | 915 607 3079 | 915 742 3080 | 915 279 3081 | 348 665 3082 | 84 227 3083 | 84 80 3084 | 84 232 3085 | 84 770 3086 | 129 591 3087 | 129 15 3088 | 129 828 3089 | 129 330 3090 | 39 686 3091 | 39 245 3092 | 300 249 3093 | 591 15 3094 | 591 828 3095 | 591 330 3096 | 977 571 3097 | 319 689 3098 | 173 80 3099 | 173 401 3100 | 173 801 3101 | 884 385 3102 | 197 780 3103 | 197 340 3104 | 31 665 3105 | 31 710 3106 | 946 383 3107 | 946 198 3108 | 946 719 3109 | 946 665 3110 | 946 111 3111 | 946 832 3112 | 930 647 3113 | 183 212 3114 | 183 777 3115 | 936 54 3116 | 936 125 3117 | 936 753 3118 | 936 211 3119 | 973 986 3120 | 783 19 3121 | 783 328 3122 | 783 288 3123 | 492 719 3124 | 492 571 3125 | 19 681 3126 | 19 827 3127 | 19 700 3128 | 839 828 3129 | 903 710 3130 | 903 888 3131 | 328 307 3132 | 328 212 3133 | 328 748 3134 | 383 432 3135 | 383 72 3136 | 476 576 3137 | 476 835 3138 | 476 816 3139 | 476 166 3140 | 476 832 3141 | 926 855 3142 | 926 185 3143 | 681 358 3144 | 66 126 3145 | 66 970 3146 | 66 125 3147 | 66 27 3148 | 66 837 3149 | 66 844 3150 | 66 12 3151 | 539 970 3152 | 227 358 3153 | 345 918 3154 | 345 80 3155 | 345 586 3156 | 942 869 3157 | 944 305 3158 | 944 771 3159 | 944 692 3160 | 944 832 3161 | 560 820 3162 | 512 686 3163 | 712 594 3164 | 712 139 3165 | 153 415 3166 | 874 388 3167 | 719 571 3168 | 432 401 3169 | 562 696 3170 | 562 340 3171 | 126 980 3172 | 126 450 3173 | 307 390 3174 | 182 466 3175 | 182 220 3176 | 182 175 3177 | 970 303 3178 | 970 401 3179 | 970 125 3180 | 970 620 3181 | 305 787 3182 | 249 870 3183 | 249 405 3184 | 732 320 3185 | 607 139 3186 | 607 931 3187 | 607 753 3188 | 414 120 3189 | 823 555 3190 | 823 503 3191 | 823 185 3192 | 583 34 3193 | 140 340 3194 | 576 835 3195 | 576 166 3196 | 474 80 3197 | 474 232 3198 | 474 530 3199 | 835 166 3200 | 980 340 3201 | 212 358 3202 | 212 940 3203 | 656 665 3204 | 656 385 3205 | 656 418 3206 | 816 166 3207 | 816 211 3208 | 686 805 3209 | 686 125 3210 | 689 417 3211 | 689 499 3212 | 466 185 3213 | 544 371 3214 | 544 963 3215 | 358 11 3216 | 358 605 3217 | 209 125 3218 | 143 894 3219 | 80 418 3220 | 665 913 3221 | 748 450 3222 | 710 371 3223 | 303 125 3224 | 293 171 3225 | 116 499 3226 | 74 384 3227 | 385 986 3228 | 232 934 3229 | 33 401 3230 | 33 267 3231 | 33 301 3232 | 142 708 3233 | 142 646 3234 | 501 999 3235 | 843 939 3236 | 618 499 3237 | 371 72 3238 | 371 996 3239 | 72 599 3240 | 904 828 3241 | 139 798 3242 | 139 490 3243 | 384 999 3244 | 691 185 3245 | 283 3 3246 | 15 828 3247 | 15 330 3248 | 828 623 3249 | 245 175 3250 | 368 667 3251 | 401 125 3252 | 666 34 3253 | 125 517 3254 | 620 714 3255 | 85 185 3256 | 131 123 3257 | 692 819 3258 | 692 787 3259 | 649 929 3260 | 5 211 3261 | 133 481 3262 | 133 237 3263 | 379 832 3264 | 899 11 3265 | 934 753 3266 | 893 647 3267 | 261 993 3268 | -------------------------------------------------------------------------------- /classes/class3/Class3_CompSysBio.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/imedina/CompSysBio/c2130b13544fb2b41c5844fbd772537aaf2b6357/classes/class3/Class3_CompSysBio.pdf -------------------------------------------------------------------------------- /classes/class3/examples/example1.txt: -------------------------------------------------------------------------------- 1 | 0 1 2 | 0 2 3 | 0 4 4 | 0 5 5 | 0 10 6 | 0 11 7 | 0 13 8 | 0 16 9 | 1 6 10 | 1 17 11 | 1 23 12 | 2 3 13 | 2 12 14 | 2 20 15 | 4 8 16 | 4 9 17 | 4 18 18 | 4 19 19 | 4 22 20 | 5 7 21 | 7 15 22 | 8 14 23 | 8 24 24 | 11 21 25 | -------------------------------------------------------------------------------- /classes/class3/examples/example2.txt: -------------------------------------------------------------------------------- 1 | 0 1 2 | 0 2 3 | 0 5 4 | 0 7 5 | 0 12 6 | 0 20 7 | 1 3 8 | 1 4 9 | 1 10 10 | 1 11 11 | 1 13 12 | 1 21 13 | 1 29 14 | 2 35 15 | 3 6 16 | 5 15 17 | 6 8 18 | 6 9 19 | 6 33 20 | 7 19 21 | 8 22 22 | 11 44 23 | 12 23 24 | 12 25 25 | 12 26 26 | 12 32 27 | 12 37 28 | 12 39 29 | 12 40 30 | 12 41 31 | 12 43 32 | 12 48 33 | 13 14 34 | 13 18 35 | 13 27 36 | 14 16 37 | 14 17 38 | 15 38 39 | 15 49 40 | 16 31 41 | 16 36 42 | 19 30 43 | 23 24 44 | 24 34 45 | 25 28 46 | 25 45 47 | 34 42 48 | 38 46 49 | 45 47 50 | -------------------------------------------------------------------------------- /classes/class3/homework.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/imedina/CompSysBio/c2130b13544fb2b41c5844fbd772537aaf2b6357/classes/class3/homework.pdf -------------------------------------------------------------------------------- /classes/class3/igraph.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/imedina/CompSysBio/c2130b13544fb2b41c5844fbd772537aaf2b6357/classes/class3/igraph.pdf -------------------------------------------------------------------------------- /classes/class3/igraph_basic_concepts.R: -------------------------------------------------------------------------------- 1 | ## Installation (do not rut if you have already install it) 2 | #install.packages("igraph") 3 | 4 | ## Load library 5 | library(igraph) 6 | 7 | ############################################### 8 | ## Creating a graph 9 | ############################################### 10 | ## 5 vertices, 4 edges, by default is directed 11 | g <- graph( edges=c(1,2, 1,3, 2,3, 3,5), n=5 ) 12 | plot(g) 13 | 14 | ## If we want it undirected 15 | g <- graph(edges=c(1,2, 1,3, 2,3, 3,5), n=5, directed=F) 16 | plot(g) 17 | 18 | ## Other functions to create graphs 19 | plot(graph.empty(n=10)) 20 | plot(graph.full(10, directed=F)) 21 | plot(graph.star(10, mode="undirected")) ## modes: "in", "out", "undirected" 22 | plot(graph.tree(15)) 23 | plot(graph.ring(15, directed=T)) 24 | plot(graph.lattice(c(5,5))) 25 | 26 | adj.mat <- matrix(sample(0:1, 100, replace=TRUE, prob=c(0.9,0.1)), nc=10) 27 | plot(graph.adjacency(adj.mat)) 28 | 29 | ## Adding and removing vertices and edges 30 | plot(g) 31 | g <- add.vertices(graph=g, nv=2) 32 | plot(g) 33 | g <- add.edges(graph=g, edges=c(3,4, 6,2, 7,7)) 34 | plot(g) 35 | 36 | g <- delete.edges(graph=g, edges=7) 37 | plot(g) 38 | g <- delete.vertices(graph=g, v=7) 39 | plot(g) 40 | ############################################### 41 | 42 | 43 | ############################################### 44 | ## Accessing graph information 45 | ############################################### 46 | vcount(g) ## Number of vertices 47 | V(g) ## List of vertices 48 | V(g)$name <- LETTERS[1:6] ## Create a node attribute with the name of the nodes 49 | V(g)$color <- c(rep("steelblue2",3), rep("tomato",3)) ## Create a node attribute with the colors of the nodes 50 | plot(g) 51 | V(g)[1]$name ## Access first node name 52 | V(g)[3]$color ## Access third node color 53 | list.vertex.attributes(g) ## List vertex attributes 54 | 55 | ecount(g) ## Number of edges 56 | E(g) ## List of edges 57 | E(g)[2] ## Access second edge 58 | #E(g)$weight <- c(0.2, 0.5, 0.1, 0.7, 0.9, 0.4) ## Weight attribute (be careful!) 59 | E(g)$width <- c(2, 5, 1, 7, 9, 4) ## Create an edge attribute with the width of the edge 60 | list.edge.attributes(g) ## List edge attributes 61 | 62 | is.directed(g) 63 | 64 | plot(g) 65 | tkplot(g) 66 | ############################################### 67 | 68 | 69 | ############################################### 70 | ## Accessing topological information but... 71 | ## with a real world example 72 | ############################################### 73 | 74 | ## Read graph 75 | ex1 <- read.graph(file="examples/example1.txt", format="edgelist", directed=F) 76 | V(ex1)$name <- LETTERS[1:vcount(ex1)] 77 | plot(ex1) 78 | 79 | ## Local topological parameters 80 | ##----------------------------- 81 | degree(ex1) ## Node degree: number of direct interactors 82 | betweenness(ex1) ## Betweenness: number of shortest paths going through this node 83 | closeness(ex1) ## Closeness: average distance to all other nodes 84 | transitivity(ex1, type="local") ## Clustering Coefficient: degree to which nodes in a graph tend to cluster together 85 | 86 | ## Global topological parameters 87 | ##----------------------------- 88 | degree.distribution(graph=ex1) 89 | dd <- degree.distribution(graph=ex1) ## Degree distribution (not working in R 3.0.0) 90 | ## if this command returns "NULL" try this: 91 | source("myFunctions.R") 92 | dd <- my.degree.distribution(ex1) 93 | plot(dd, xlab="Degree", ylab="Frequency", type="b", pch=20) 94 | 95 | transitivity(ex1) ## Clustering coefficient: ratio of the triangles and the connected triples in the graph 96 | diameter(ex1) ## Diameter length 97 | get.diameter(ex1) ## Diameter nodes 98 | shortest.paths(graph=ex1) ## Shortest path: length of all the shortest paths from or to the vertices in the network 99 | shortest.paths(graph=ex1, v=1) ## Shortest path length from node 1 100 | get.shortest.paths(ex1, from=1) ## Get the nodes in the shortest path 101 | average.path.length(ex1) ## Average path length 102 | ## IMPORTANT: 103 | ## If an attribute V(g)$weight is created, they will be considered in the calculation 104 | 105 | 106 | ## a nice way of plotting the diameter it 107 | ##---------------------------------------- 108 | d <- get.diameter(ex1) 109 | E(ex1)$color <- "grey" 110 | E(ex1)$width <- 1 111 | E(ex1, path=d)$color <- "red" 112 | E(ex1, path=d)$width <- 2 113 | V(ex1)$label.color <- "blue" 114 | V(ex1)$color <- "SkyBlue2" 115 | V(ex1)[ d ]$label.color <- "black" 116 | V(ex1)[ d ]$color <- "red" 117 | plot(ex1, layout=layout.fruchterman.reingold, vertex.label.dist=0, vertex.size=15) 118 | ############################################### 119 | 120 | ## More nice examples here: http://igraph.sourceforge.net/screenshots2.html 121 | 122 | ############################################### 123 | ## Example 2: Try yourself! 124 | ############################################### 125 | 126 | ############################################### -------------------------------------------------------------------------------- /classes/class3/myFunctions.R: -------------------------------------------------------------------------------- 1 | ############################################### 2 | ## Corrected degree distribution function (R 3.0) 3 | ############################################### 4 | my.degree.distribution <- function(graph, cumulative = FALSE, ...){ 5 | if (!is.igraph(graph)) { 6 | stop("Not a graph object") 7 | } 8 | cs <- degree(graph, ...) 9 | hi <- hist(cs, -1:max(cs), plot = FALSE)$density 10 | if (!cumulative) { 11 | res <- hi 12 | } 13 | else { 14 | res <- rev(cumsum(rev(hi))) 15 | } 16 | res 17 | } 18 | 19 | my.count.degree.distribution <- function(graph, cumulative = FALSE, ...){ 20 | if (!is.igraph(graph)) { 21 | stop("Not a graph object") 22 | } 23 | cs <- degree(graph, ...) 24 | hi <- hist(cs, -1:max(cs), plot = FALSE)$count 25 | if (!cumulative) { 26 | res <- hi 27 | } 28 | else { 29 | res <- rev(cumsum(rev(hi))) 30 | } 31 | res 32 | } 33 | -------------------------------------------------------------------------------- /classes/class3/network_models.R: -------------------------------------------------------------------------------- 1 | ## Load library 2 | library(igraph) 3 | source("myFunctions.R") 4 | 5 | ############################################### 6 | ## Generate Erdos-Renyi model 7 | ############################################### 8 | ## Create a random network (ER) with 100 nodes and with p=0.02 9 | er <- erdos.renyi.game(n=1000, p.or.m=4/1000) 10 | plot(er, layout=layout.fruchterman.reingold, vertex.size=3, vertex.label=NA) 11 | 12 | ## Plot the degree distribution 13 | er.d <- degree(er) 14 | er.dd <- degree.distribution(er) ## In R < 3.0.0 15 | er.dd <- my.degree.distribution(er) ## In R 3.0.0 16 | plot(er.dd, xlab="degree", ylab="frequency", pch=19, col=1, type="b", main="Degree distribution") 17 | hist(degree(er)) 18 | 19 | ## Plot the clustering coefficient 20 | er.cc <- transitivity(er, type="local") 21 | er.degree <- degree(er) 22 | plot(er.degree, er.cc, xlab="degree", ylab="clustering coefficient", pch=19, col=1, main="Clustering coefficient") 23 | ############################################### 24 | 25 | ############################################### 26 | ## Generate Watts-Strogatz model 27 | ############################################### 28 | ws <- watts.strogatz.game(dim=1, size=10, nei=2, p=0) 29 | plot(ws, layout=layout.fruchterman.reingold, vertex.size=3, vertex.label=NA) 30 | 31 | ws <- watts.strogatz.game(dim=1, size=1000, nei=4, p=0.05) 32 | plot(ws, layout=layout.fruchterman.reingold, vertex.size=3, vertex.label=NA) 33 | 34 | ## Plot the degree distribution 35 | 36 | 37 | ## Plot the clustering coefficient 38 | 39 | ############################################### 40 | 41 | ############################################### 42 | ## Generate Barabási-Albert model 43 | ############################################### 44 | ba <- barabasi.game(n=1000, power=1.5, m=3) 45 | plot(ba, layout=layout.fruchterman.reingold, vertex.size=3, vertex.label=NA) 46 | 47 | ## Plot the degree distribution 48 | 49 | 50 | ## Plot the clustering coefficient 51 | 52 | ############################################### 53 | 54 | 55 | ## non-linear preferential attachment 56 | ###################################### 57 | g1 <- barabasi.game(10000, power=0.5) 58 | g2 <- barabasi.game(10000, power=1) 59 | g3 <- barabasi.game(10000, power=1.5) 60 | 61 | ## For R < 3.0.0 62 | plot(degree.distribution(g3), xlab="degree", ylab="frequency", log="xy", pch=3, col=3, type="b") 63 | points(degree.distribution(g2), pch=2, col=2, type="b") 64 | points(degree.distribution(g1), pch=1, col=1, type="b") 65 | legend(max(degree(g3)), 1, xjust=1, yjust=1, c(0.5,1,1.5), pch=1:3, col=1:3, lty=1) 66 | 67 | ## For R 3.0.0 68 | plot(my.degree.distribution(g3), xlab="degree", ylab="frequency", log="xy", pch=3, col=3, type="b") 69 | points(my.degree.distribution(g2), pch=2, col=2, type="b") 70 | points(my.degree.distribution(g1), pch=1, col=1, type="b") 71 | legend(max(degree(g3)), 1, xjust=1, yjust=1, c(0.5,1,1.5), pch=1:3, col=1:3, lty=1) 72 | 73 | -------------------------------------------------------------------------------- /classes/class3/pythonExample.py: -------------------------------------------------------------------------------- 1 | __author__ = 'mbleda' 2 | 3 | from igraph import * 4 | 5 | ## Create a graph 6 | g = Graph(20) 7 | edges = ((1, 5), (1,2), (2, 3), (2, 4), (3, 4), (3,19), (3,0), (4, 5), (5, 6), (5,9)) 8 | g = g.add_edges(edges) 9 | edges = ((6,7), (6,8), (7,8), (8,9), (8, 18), (9, 10), (10, 11), (11, 12), (11, 13), (11,17)) 10 | g = g.add_edges(edges) 11 | edges = ((12, 13), (13, 14), (13, 15), (14,15), (15, 16), (16, 17), (16, 0), (17, 18), (18, 19)) 12 | g = g.add_edges(edges) 13 | edges = ((19, 0)) 14 | g = g.add_edges(edges) 15 | 16 | print(summary(g)) 17 | print (g.degree([1,2,3,4,5,6,7])) 18 | 19 | ## Plot if needed 20 | plot(g, "plot.pdf", layout = g.layout("kk")) 21 | 22 | ## Generate the shortest path length through Dijkstra algorithm. 23 | g.vs["dij"] = g.shortest_paths_dijkstra(g.vs) 24 | 25 | 26 | ## Erdos Renyi 27 | g = Graph.Erdos_Renyi(n=300, m=250) 28 | colors = ["lightgray", "cyan", "magenta", "yellow", "blue", "green", "red"] 29 | for component in g.components(): 30 | color = colors[min(6, len(component)-1)] 31 | for vidx in component: g.vs[vidx]["color"] = color 32 | 33 | plot(g, layout="fr", vertex_label=None) 34 | 35 | 36 | ## MST 37 | def distance(p1, p2): 38 | return ((p1[0]-p2[0]) ** 2 + (p1[1]-p2[1]) ** 2) ** 0.5 39 | 40 | g, xs, ys = Graph.GRG(100, 0.2, return_coordinates=True) 41 | layout = Layout(zip(xs, ys)) 42 | 43 | weights = [distance(layout[edge.source], layout[edge.target]) for edge in g.es] 44 | max_weight = max(weights) 45 | g.es["width"] = [6 - 5*weight/max_weight for weight in weights] 46 | mst = g.spanning_tree(weights) 47 | 48 | fig = Plot() 49 | fig.add(g, layout=layout, opacity=0.25, vertex_label=None) 50 | fig.add(mst, layout=layout, edge_color="red", vertex_label=None) 51 | fig.show() -------------------------------------------------------------------------------- /classes/class4/exercises.py: -------------------------------------------------------------------------------- 1 | __author__ = 'aleman' 2 | 3 | import sys 4 | import random 5 | from igraph import * 6 | from priodict import priorityDictionary 7 | 8 | 9 | 10 | #### Methods 11 | 12 | def bfs(graph, start): 13 | """Breadth first search from start""" 14 | path = [] 15 | 16 | # ... 17 | 18 | return path 19 | 20 | 21 | def dfs(graph, start): 22 | """Depth first search from start""" 23 | path=[] 24 | 25 | # ... 26 | 27 | return path 28 | 29 | 30 | def is_there_any_path(graph, start, end): 31 | 32 | # ... 33 | 34 | return False 35 | 36 | 37 | def Dijkstra(graph,start,end=None): 38 | distances = {} # dictionary of final distances 39 | predec = {} # dictionary of predecessors 40 | queue = priorityDictionary() # est.dist. of non-final vert. 41 | queue[start] = 0 42 | # ... 43 | return (distances, predec) 44 | 45 | def shortestPath(G,start,end): 46 | 47 | distances, predec = Dijkstra(G,start,end) 48 | path = [] 49 | while 1: 50 | path.append(end) 51 | if end == start: break 52 | end = predec[end] 53 | path.reverse() 54 | return path 55 | 56 | 57 | def remove_random_node(graph): 58 | index = random.randrange(0, graph.vcount()) 59 | graph.delete_vertices(index) 60 | 61 | def generate_graph(num_nodes=100): 62 | g = Graph.Erdos_Renyi(n=num_nodes, p=0.1, directed=True) 63 | weights = [random.randrange(0, g.ecount()) for _ in range(0, g.ecount())] 64 | g.es["weight"] = weights 65 | return g 66 | 67 | 68 | 69 | 70 | 71 | #### TEST CODE 72 | 73 | # Generate a random Graph 74 | g = generate_graph(100) 75 | 76 | 77 | 78 | # Test the BFS algorithm 79 | 80 | g_bfs = bfs(g, 1) 81 | 82 | print "BFS" 83 | print(g_bfs) 84 | 85 | 86 | # Test the BFS algorithm 87 | 88 | g_dfs = dfs(g, 1) 89 | 90 | print "DFS" 91 | print(g_dfs) 92 | 93 | 94 | # is_there_a_path 95 | 96 | if(is_there_any_path(g, 1, 9)): 97 | print "There is a path between node(1) and node(9)" 98 | else: 99 | print "There is not a path between node(1) and node(9)" 100 | 101 | # remove random node 102 | 103 | print "Remove random node" 104 | remove_random_node(g) 105 | 106 | if(is_there_any_path(g, 1, 9)): 107 | print "After removing the vertex, there is a path between node(1) and node(9)" 108 | else: 109 | print "After removing the vertex, there is not a path between node(1) and node(9)" 110 | 111 | 112 | 113 | # Shortest path 114 | 115 | path = shortestPath(g,1, 9) 116 | 117 | print "the shortest path between 1 - 9 is: " 118 | print path 119 | -------------------------------------------------------------------------------- /classes/class4/presentacion.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/imedina/CompSysBio/c2130b13544fb2b41c5844fbd772537aaf2b6357/classes/class4/presentacion.pdf -------------------------------------------------------------------------------- /classes/class4/priodict.py: -------------------------------------------------------------------------------- 1 | # Priority dictionary using binary heaps 2 | # David Eppstein, UC Irvine, 8 Mar 2002 3 | 4 | # Implements a data structure that acts almost like a dictionary, with two modifications: 5 | # (1) D.smallest() returns the value x minimizing D[x]. For this to work correctly, 6 | # all values D[x] stored in the dictionary must be comparable. 7 | # (2) iterating "for x in D" finds and removes the items from D in sorted order. 8 | # Each item is not removed until the next item is requested, so D[x] will still 9 | # return a useful value until the next iteration of the for-loop. 10 | # Each operation takes logarithmic amortized time. 11 | 12 | from __future__ import generators 13 | 14 | class priorityDictionary(dict): 15 | def __init__(self): 16 | '''Initialize priorityDictionary by creating binary heap of pairs (value,key). 17 | Note that changing or removing a dict entry will not remove the old pair from the heap 18 | until it is found by smallest() or until the heap is rebuilt.''' 19 | self.__heap = [] 20 | dict.__init__(self) 21 | 22 | def smallest(self): 23 | '''Find smallest item after removing deleted items from front of heap.''' 24 | if len(self) == 0: 25 | raise IndexError, "smallest of empty priorityDictionary" 26 | heap = self.__heap 27 | while heap[0][1] not in self or self[heap[0][1]] != heap[0][0]: 28 | lastItem = heap.pop() 29 | insertionPoint = 0 30 | while 1: 31 | smallChild = 2*insertionPoint+1 32 | if smallChild+1 < len(heap) and heap[smallChild] > heap[smallChild+1] : 33 | smallChild += 1 34 | if smallChild >= len(heap) or lastItem <= heap[smallChild]: 35 | heap[insertionPoint] = lastItem 36 | break 37 | heap[insertionPoint] = heap[smallChild] 38 | insertionPoint = smallChild 39 | return heap[0][1] 40 | 41 | def __iter__(self): 42 | '''Create destructive sorted iterator of priorityDictionary.''' 43 | def iterfn(): 44 | while len(self) > 0: 45 | x = self.smallest() 46 | yield x 47 | del self[x] 48 | return iterfn() 49 | 50 | def __setitem__(self,key,val): 51 | '''Change value stored in dictionary and add corresponding pair to heap. 52 | Rebuilds the heap if the number of deleted items gets large, to avoid memory leakage.''' 53 | dict.__setitem__(self,key,val) 54 | heap = self.__heap 55 | if len(heap) > 2 * len(self): 56 | self.__heap = [(v,k) for k,v in self.iteritems()] 57 | self.__heap.sort() # builtin sort probably faster than O(n)-time heapify 58 | else: 59 | newPair = (val,key) 60 | insertionPoint = len(heap) 61 | heap.append(None) 62 | while insertionPoint > 0 and newPair < heap[(insertionPoint-1)//2]: 63 | heap[insertionPoint] = heap[(insertionPoint-1)//2] 64 | insertionPoint = (insertionPoint-1)//2 65 | heap[insertionPoint] = newPair 66 | 67 | def setdefault(self,key,val): 68 | '''Reimplement setdefault to pass through our customized __setitem__.''' 69 | if key not in self: 70 | self[key] = val 71 | return self[key] 72 | -------------------------------------------------------------------------------- /classes/class5/CSB4_databases.odp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/imedina/CompSysBio/c2130b13544fb2b41c5844fbd772537aaf2b6357/classes/class5/CSB4_databases.odp -------------------------------------------------------------------------------- /classes/class5/CSB4_databases.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/imedina/CompSysBio/c2130b13544fb2b41c5844fbd772537aaf2b6357/classes/class5/CSB4_databases.pdf -------------------------------------------------------------------------------- /classes/class5/exercises/exercises.txt: -------------------------------------------------------------------------------- 1 | 2 | 3 | Sesion 1 4 | 5 | 6 | Ejercicio 1 7 | ======================== 8 | 9 | Descargarse de Ensembl Biomart la anotacion de transcritos para: 10 | 1) GOs 11 | 2) OMIM y Orphanet 12 | 13 | Tras limpiar los datos en este ejercicio se tendra que generar mediante un script en python diversas redes en formato SIF: 14 | a) Redes de genes y GOs 15 | b) Redes de genes y enfermedades 16 | c) Visualizacion y estudio de parametros de red con iGraph 17 | 18 | 19 | Ejercicio 2 20 | ======================== 21 | 22 | Descargarse el PSMI-TAB de Reactome: 23 | 1) Generar la red en formato SIF 24 | 2) Visualizacion y estudio de parametros de red con iGraph 25 | 26 | 27 | Ejercicio 3 28 | ======================== 29 | 30 | En este ejercicio se aprendera a manejar y extraer inforamcion de de redes con libSBML: 31 | 1) Descarga, compilacion e instalacion en python 32 | 2) Practicas con python 33 | 3) Generar una red en formato SIF a parftir del fichero de Reactome de reactions 34 | 35 | 36 | Ejercicio 4 37 | ======================== 38 | En este ejerecio se aprendera a trabajar con WS 39 | 1) Visitar la pagina https://code.google.com/p/psicquic 40 | 2) Descargarse el PSMI-TAB de IntAct de http://www.ebi.ac.uk/intact/ 41 | 3) Buscar una lista de genes de enfermedades de http://geneticassociationdb.nih.gov y generar la red en formato SIF usando tanto los WS de IntAct como el fichero descargado 42 | 43 | 44 | Ejercicio 5 45 | ======================== 46 | Para manejar reades en formato BioPax 47 | 1) Instalacion del paquete de r rBiopaxParser 48 | 2) Cargar una red de Reactome pequenya como "Escherichia coli.owl" 49 | 3) Escribir un pequenyo script en R para extraer en formato SIF todos los pathways 50 | 51 | 52 | -------------------------------------------------------------------------------- /classes/class5/rest_client_example.py: -------------------------------------------------------------------------------- 1 | #!/usr/bin/python 2 | 3 | import urllib2 4 | import json 5 | import zlib 6 | 7 | 8 | url = 'http://ws.bioinfo.cipf.es/cellbase/rest/v2/hsa/genomic/variant/13:32889669:T/consequence_type?of=json' 9 | req = urllib2.Request(url) 10 | req.add_header("Accept-Encoding", "gzip") 11 | 12 | response = urllib2.urlopen(req) 13 | json_data = response.read() 14 | 15 | data = zlib.decompress(json_data, 16+zlib.MAX_WBITS) 16 | data = json.loads(data) 17 | 18 | #print json_data 19 | #print data[1]["featureId"] 20 | print data 21 | 22 | -------------------------------------------------------------------------------- /classes/class6/clustering.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/imedina/CompSysBio/c2130b13544fb2b41c5844fbd772537aaf2b6357/classes/class6/clustering.pdf -------------------------------------------------------------------------------- /papers/Philos Trans R Soc Lond B Biol Sci 2010 Brenner.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/imedina/CompSysBio/c2130b13544fb2b41c5844fbd772537aaf2b6357/papers/Philos Trans R Soc Lond B Biol Sci 2010 Brenner.pdf -------------------------------------------------------------------------------- /papers/barabasioltvai2004.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/imedina/CompSysBio/c2130b13544fb2b41c5844fbd772537aaf2b6357/papers/barabasioltvai2004.pdf -------------------------------------------------------------------------------- /presentacion.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/imedina/CompSysBio/c2130b13544fb2b41c5844fbd772537aaf2b6357/presentacion.pdf --------------------------------------------------------------------------------