0.73/0.71 c root propagations : 5352
0.73/0.71 c restarts enabled, print stats at every restarts
0.73/0.71 c
0.73/0.71 c
0.73/0.71 c root propagations : 5352
0.73/0.71 c restarts enabled, print stats at every restarts
0.73/0.71 c
0.73/0.71 c
0.73/0.71 c
0.73/0.71 c This is cosoco 2.00 --
0.73/0.71 c
0.73/0.71 c command line: cosoco -model -nbcores=8 HOME/instance-4398005-1568613528.xml
0.73/0.71 c ========================================[ Problem Statistics ]===========================================
0.73/0.71 c |
0.73/0.71 c | Parse time : 0.56 s
0.73/0.71 c |
0.73/0.71 c | Variables: 625
0.73/0.71 c | Domain Sizes: 1..25
0.73/0.71 c |
0.73/0.71 c | Constraints: 15000
0.73/0.71 c | Arity: 2..2 -- Binary: 15000
0.73/0.71 c |
0.73/0.71 c | Types:
0.73/0.71 c | Extension: 15000 (nb tuples: 0..25) -- (shared: 75648)
0.73/0.71 c |
0.73/0.71 c =========================================================================================================
0.73/0.71 c Parallel mode: Portfolio
0.73/0.71 c [pFactory][Group N°0] created (threads:8).
0.73/0.71 c [pFactory][Group N°0] new task added (threads:8 - tasks:1).
0.73/0.71 c [pFactory][Group N°0] new task added (threads:8 - tasks:2).
0.73/0.71 c [pFactory][Group N°0] new task added (threads:8 - tasks:3).
0.73/0.71 c [pFactory][Group N°0] new task added (threads:8 - tasks:4).
0.73/0.71 c [pFactory][Group N°0] new task added (threads:8 - tasks:5).
0.73/0.71 c [pFactory][Group N°0] new task added (threads:8 - tasks:6).
0.73/0.71 c [pFactory][Group N°0] new task added (threads:8 - tasks:7).
0.73/0.71 c [pFactory][Group N°0] new task added (threads:8 - tasks:8).
0.73/0.71 c [pFactory][Group N°0] concurrent mode: enabled.
0.73/0.71 c [pFactory][Group N°0] computations in progress (threads:8 - tasks:8).
0.73/0.71 c [pFactory][Group N°0] task 7 launched on thread 6.
0.73/0.71 c [pFactory][Group N°0] task 6 launched on thread 0.
0.73/0.71 c [pFactory][Group N°0] task 5 launched on thread 1.
0.73/0.71 c [pFactory][Group N°0] task 4 launched on thread 2.
0.73/0.71 c [pFactory][Group N°0] task 3 launched on thread 7.
0.73/0.71 c [pFactory][Group N°0] task 2 launched on thread 4.
0.73/0.71 c [pFactory][Group N°0] task 1 launched on thread 3.
0.73/0.71 c [pFactory][Group N°0] task 0 launched on thread 5.
0.73/0.71 c conflicts c decisions filterCalls propagations Root Prop. Nogoods min/max/avg depthconflicts decisions filterCalls propagations Root Prop. Nogoods min/max/avg depth
0.73/0.71
0.73/0.71 c root propagations : 5352
0.73/0.71 c restarts enabled, print stats at every restarts
0.73/0.71 c
0.73/0.71 c
0.73/0.71 c conflicts decisions filterCalls propagations Root Prop. Nogoods min/max/avg depth
0.73/0.71 c root propagations : 5352
0.73/0.71 c restarts enabled, print stats at every restarts
0.73/0.71 c
0.73/0.71 c
0.73/0.71 c conflicts decisions filterCalls propagations Root Prop. Nogoods min/max/avg depth
0.73/0.71 c root propagations : 5352
0.73/0.71 c restarts enabled, print stats at every restarts
0.73/0.71 c
0.73/0.71 c
0.73/0.71 c conflicts decisions filterCalls propagations Root Prop. Nogoods min/max/avg depth
0.73/0.71 c root propagations : 5352
0.73/0.71 c restarts enabled, print stats at every restarts
0.73/0.71 c
0.73/0.71 c
0.73/0.71 c conflicts decisions filterCalls propagations Root Prop. Nogoods min/max/avg depth
0.73/0.71 c root propagations : 5352
0.73/0.71 c restarts enabled, print stats at every restarts
0.73/0.71 c
0.73/0.71 c
0.73/0.71 c conflicts decisions filterCalls propagations Root Prop. Nogoods min/max/avg depth
0.73/0.71 c 0 1 22055 5353 264 0 0 0 0
0.73/0.71 c 0 2 22055 5354 264 0 0 0 0
0.73/0.71 c 0 3 22055 5355 264 0 0 0 0
0.73/0.71 c 0 4 22055 5356 264 0 0 0 0
0.73/0.71 c 0 5 22055 5357 264 0 0 0 0
0.73/0.71 c 0 6 22055 5358 264 0 0 0 0
0.73/0.71 c 0 1 22055 5353 264 0 0 0 0
0.73/0.71 c 0 3 22466 5363 264 0 0 0 0
0.73/0.71 c 0 4 22466 5364 264 0 0 0 0
0.73/0.71 c 0 1 22055 5353 264 0 0 0 0
0.73/0.71 c 0 13 23213 5381 264 0 0 0 0
0.73/0.71 c 0 c 8 22736 5374 264 0 0 1 22055 5353 264 0 0 0 0
0.73/0.71 0 0 0
0.73/0.71 c 0 2 22055 5354 264 0 0 0 0
0.73/0.71 c 0 9 22736 5375 264 0 0 0 0
0.73/0.71 c 0 14 23213 5382 264 0 0 0 0
0.73/0.71 c 0 1 22055 5353 264 0 0 0 0
0.73/0.71 c 0 1 22055 5353 264 0 0 0 0
0.73/0.71 c 0 1 22055 5353 264 0 0 0 0
0.73/0.73 c c 0 0 358 34339143 38786 5710 264 0 5703 264 0 c 0 344 38789 5703 264 0 0 00 0 0 0
0.73/0.73
0.73/0.73 0 0 0
0.73/0.73 c 0 365 40409 5745 264 0 0 0 0
0.73/0.73 c 0 345 38789 5704 264 0 0 0 0
0.73/0.73 c 0 344 38786 5704 264 0 0 0 0
0.73/0.73 c 0 346 38837 5706 264 0 0 0 0
0.73/0.73 c 0 345 38834 5706 264 0 0 0 0
0.73/0.73 c root propagations : 5352
0.73/0.73 c restarts enabled, print stats at every restarts
0.73/0.73 c
0.73/0.73 c
0.73/0.73 c conflicts decisions filterCalls propagations Root Prop. Nogoods min/max/avg depth
0.73/0.73 c 0 406 53157 6019 264 0 0 0 0
0.73/0.73 c 0 359 39143 5711 264 0 0 0 0
0.73/0.73 c 0 364 40061 5733 264 0 0 0 0
0.73/0.73 c 0 363 40138 5735 264 0 0 0 0
0.73/0.74 c 0 368 39575 5721 264 0 0 0 0
0.73/0.74 c 0 366 40472 5743 264 0 0 0 0
0.73/0.74 c 0 364 40138 5736 264 0 0 0 0
0.73/0.74 c 0 1 22103 5354 264 0 0 0 0
0.73/0.75 c 0 561 48791 5914 264 0 c 0 0 0
0.73/0.75 0c 0 186 31551 5553 264 0 0 0 0
0.73/0.75 c 0 558 50003 5943 264 0 0 0 0
0.73/0.75 407 53205 6021 264 0 0 0 0
0.73/0.75 c 0 556 49839 5940 264 0 0 0 0
0.73/0.75 c 0 c 437 54597 06051 366 264 404570 5747 264 0 0 0 0
0.73/0.75 0 0 0
0.73/0.75 c 0 187 31551 5554 264 0 0 0 0
0.73/0.75 c 0 562 48791 5915 264 0 0 0 0
0.73/0.75 c 0 557 49839 5941 264 0 0 0 0
0.73/0.75 c 0 559 50003 5944 264 0 0 0 0
0.73/0.75 c 32 872 105186 8842 264 0 363 433 371
0.73/0.75 c 101 768 188196 12898 264 0 379 438 411
0.73/0.76 c 32 930 119551 8795 264 0 399 416 393
0.73/0.76 c 33 1259 131067 9416 264 0 387 387 193
0.73/0.76 c 32 703 116612 8937 264 0 409 417 398
0.73/0.78 c 32 1053 126891 9113 264 0 401 421 403
0.73/0.78 c 33 1324 148546 9484 264 0 394 394 197
0.73/0.78 c 101 1304 196029 12700 264 0 371 416 402
0.73/0.78 c 101 1103 206938 13872 264 0 394 417 396
0.73/0.78 c 101 1298 206312 13686 264 0 384 433 404
0.73/0.79 c 33 1116 149887 9707 264 0 413 413 206
0.73/0.79 c 64 1767 197688 11995 264 0 404 419 397
0.73/0.79 c 33 1443 154026 9704 264 0 390 390 195
1.42/0.80 c 211 1486 342526 20831 264 0 15 435 277
1.42/0.80 c 64 1776 201285 11855 264 0 377 392 369
1.42/0.81 c 65 1790 207820 12049 264 0 14 14 7
1.42/0.81 c 66 1799 211298 12151 c 264 0 9 9 465 2182 234764 12920 264 0
1.42/0.81 415 415 207
1.42/0.81 c 67 1810 216329 12310 264 0 11 11 5
1.42/0.82 c 64 1970 226324 12623 264 0 25 412 381
1.42/0.82 c 211 1772 341730 21226 264 0 381 431 393
1.42/0.82 c 66 2574 265168 13645 264 0 392 392 196
1.42/0.82 c 64 1925 222732 12398 264 0 381 393 373
1.42/0.82 c 211 2054 340099 19734 264 0 411 439 418
1.42/0.83 c 67 2604 278592 13982 264 0 30 30 15
1.42/0.83 c 332 1986 506304 29137 264 0 31 51 39
1.42/0.84 c 211 2059 374395 22859 264 0 6 445 375
1.42/0.84 c 65 2402 263901 13480 264 0 432 432 216
1.42/0.84 c 128 2749 323812 17326 264 0 8 415 36
1.42/0.84 c 128 2793 346715 17670 264 0 20 32 26
1.42/0.84 c 129 2799 348958 17748 264 0 6 6 3
1.42/0.85 c 130 2803 350731 17809 264 0 4 4 2
1.42/0.85 c 131 2807 352629 17873 264 0 4 4 2
1.42/0.85 c 132 2811 354330 17943 264 0 4 4 2
1.42/0.85 c 133 2840 365447 18243 264 0 29 29 14
1.42/0.85 c 134 2846 368220 18324 264 0 6 6 3
1.42/0.85 c 135 2850 370118 18388 264 0 4 4 2
1.42/0.85 c 65 2351 259913 13294 264 0 426 426 213
1.42/0.85 c 129 2759 327618 17433 264 0 10 10 5
1.42/0.85 c 130 2779 335037 17660 264 0 20 20 10
1.42/0.85 c 131 2787 338195 17756 264 0 8 8 4
1.42/0.85 c 132 2792 342183 17908 264 0 5 5 2
1.42/0.85 c 133 2799 345064 17998 264 0 7 7 3
1.42/0.85 c 134 2804 349052 18150 264 0 5 5 2
1.42/0.85 c 135 2811 351933 18240 264 0 7 7 3
1.42/0.86 c 66 2368 266103 13471 264 0 17 17 8
1.42/0.86 c 66 2828 299405 14295 264 0 426 426 213
1.42/0.87 c 67 2386 272585 13636 264 0 18 18 9
1.42/0.87 c 332 2379 496585 32110 264 0 13 22 18
1.42/0.87 c 465 2599 719577 39476 264 0 14 34 25
1.42/0.87 c 256 3230 516754 26918 264 0 3 33 15
1.42/0.88 c 257 3246 524162 27142 264 0 16 16 8
1.42/0.88 c 258 3264 532316 27360 264 0 18 18 9
1.42/0.88 c 259 3280 538677 27546 264 0 16 16 8
1.42/0.88 c 260 3298 546831 27764 264 0 18 18 9
1.42/0.88 c 67 3269 339664 15252 264 0 441 441 220
1.42/0.88 c 261 3314 553192 27950 264 0 16 16 8
1.42/0.88 c 262 3337 562451 28200 264 0 23 23 11
1.42/0.89 c 263 3354 569028 28373 264 0 17 17 8
1.42/0.89 c 264 3370 575389 28559 264 0 16 16 8
1.42/0.89 c 265 3393 584648 28809 264 0 23 23 11
1.42/0.89 c 266 3424 597790 29159 264 0 31 31 15
1.42/0.89 c 267 3453 609065 29446 264 0 29 29 14
2.21/0.90 c 268 3477 617471 29678 264 0 24 24 12
2.21/0.90 c 269 3508 630624 30027 264 0 31 31 15
2.21/0.90 c 270 3524 638032 30251 264 0 16 16 8
2.21/0.90 c 611 3145 881827 48723 264 0 3 35 28
2.21/0.90 c 271 3549 649084 30560 264 0 25 25 12
2.21/0.90 c 465 2987 711362 42961 264 0 3 39 29
2.21/0.91 c 332 3123 606815 35235 264 0 6 462 426
2.21/0.91 c 128 3078 409619 20063 264 0 15 398 48
2.21/0.91 c 332 3273 549619 29669 264 0 26 440 104
2.21/0.91 c 129 3088 414768 20213 264 0 10 10 5
2.21/0.91 c 130 3097 420219 20408 264 0 9 9 4
2.21/0.91 c 131 3105 423666 20508 264 0 8 8 4
2.21/0.91 c 132 3109 425404 20565 264 0 4 4 2
2.21/0.91 c 128 3880 455278 20338 264 0 15 436 195
2.21/0.91 c 133 3117 428455 20655 264 0 8 8 4
2.21/0.91 c 134 3137 435776 20892 264 0 20 20 10
2.21/0.92 c 135 3165 445042 21150 264 0 28 28 14
2.21/0.92 c 256 4288 543118 28681 264 0 5 430 203
2.21/0.92 c 129 3912 467411 20659 264 0 32 32 16
2.21/0.92 c 257 4303 549218 28846 264 0 15 15 7
2.21/0.92 c 258 4316 556950 29092 264 0 13 13 6
2.21/0.92 c 130 3932 475001 20845 264 0 20 20 10
2.21/0.92 c 131 3951 482325 21025 264 0 19 19 9
2.21/0.92 c 259 4339 568482 29593 264 0 23 23 11
2.21/0.92 c 771 3523 1025809 60287 264 0 8 33 18
2.21/0.92 c 132 3970 489373 21200 264 0 19 19 9
2.21/0.92 c 260 4353 574465 29760 264 0 14 14 7
2.21/0.93 c 133 3989 496697 21380 264 0 19 19 9
2.21/0.94 c 261 4366 582197 30006 264 0 13 13 6
2.21/0.94 c 134 4008 503745 21555 264 0 19 19 9
2.21/0.94 c 135 4027 511069 21735 264 0 19 19 9
2.21/0.94 c 262 4395 594391 30364 264 0 29 29 14
2.21/0.94 c 263 4402 597664 30528 264 0 7 7 3
2.21/0.94 c 264 4408 599690 30585 264 0 6 6 3
2.21/0.94 c 611 3372 865733 53946 264 0 10 19 14
2.21/0.94 c 265 4423 605467 30730 264 0 15 15 7
2.21/0.94 c 266 4436 613192 30978 264 0 13 13 6
2.21/0.94 c 267 4463 624851 31303 264 0 27 27 13
2.21/0.95 c 268 4470 628125 31467 264 0 7 7 3
2.21/0.95 c 269 4485 633951 31613 264 0 15 15 7
2.21/0.95 c 270 4498 641676 31861 264 0 13 13 6
2.21/0.95 c 256 3511 570976 29316 264 0 9 34 18
2.21/0.95 c 271 4525 651581 32116 264 0 27 27 13
2.21/0.95 c 465 3787 723331 38975 264 0 21 35 30
2.21/0.95 c 257 3527 577771 29507 264 0 16 16 8
2.21/0.95 c 258 3557 588359 29796 264 0 30 30 15
2.21/0.95 c 259 3579 595952 30001 264 0 22 22 11
2.21/0.95 c 512 4366 947575 46146 264 0 15 28 24
2.21/0.96 c 513 4379 952098 46275 264 0 13 13 6
2.21/0.96 c 514 4387 955566 46378 264 0 8 8 4
2.21/0.96 c 260 3608 606699 30288 264 0 29 29 14
2.21/0.96 c 515 4401 961457 46555 264 0 14 14 7
2.21/0.96 c 256 4421 662056 30771 264 0 14 35 24
2.21/0.96 c 516 4409 964925 46658 264 0 8 8 4
2.21/0.96 c 257 4428 667072 30958 264 0 7 7 3
2.21/0.96 c 517 4423 970816 46835 264 0 14 14 7
2.21/0.96 c 518 4431 974284 46938 264 0 8 8 4
2.21/0.96 c 258 4434 672021 31148 264 0 6 6 3
2.21/0.96 c 261 3637 617508 30574 264 0 29 29 14
2.21/0.96 c 259 4439 675495 31279 264 0 5 5 2
2.21/0.96 c 519 4446 980580 47116 264 0 15 15 7
2.21/0.96 c 520 4454 984048 47219 264 0 8 8 4
2.21/0.96 c 262 3659 625368 30787 264 0 22 22 11
2.21/0.96 c 521 4469 990344 47397 264 0 15 15 7
2.21/0.96 c 260 4478 689553 31682 264 0 39 39 19
2.21/0.96 c 522 4477 993812 47500 264 0 8 8 4
2.21/0.96 c 523 4492 1000108 47678 264 0 15 15 7
2.21/0.97 c 524 4500 1003576 47781 264 0 8 8 4
2.21/0.97 c 263 3688 636177 31073 264 0 29 29 14
2.21/0.97 c 947 4167 1237188 71590 264 0 5 33 29
2.21/0.97 c 525 4515 1009872 47959 264 0 15 15 7
2.21/0.97 c 261 4517 703842 32088 264 0 39 39 19
2.21/0.97 c 526 4523 1013340 48062 264 0 8 8 4
2.21/0.97 c 264 3710 644037 31286 264 0 22 22 11
2.21/0.97 c 527 4538 1019636 48240 264 0 15 15 7
2.21/0.97 c 528 4546 1023104 48343 264 0 8 8 4
2.21/0.97 c 262 4555 717904 32482 264 0 38 38 19
2.21/0.97 c 529 4561 1029400 48521 264 0 15 15 7
2.21/0.97 c 265 3739 654884 31610 264 0 29 29 14
2.21/0.97 c 530 4569 1032868 48624 264 0 8 8 4
2.21/0.97 c 465 3704 852770 47534 264 0 6 66 55
2.21/0.97 c 531 4584 1039208 48803 264 0 15 15 7
2.21/0.97 c 532 4592 1042676 48906 264 0 8 8 4
2.21/0.97 c 263 4593 732877 32895 264 0 38 38 19
2.21/0.97 c 771 3924 1056318 64739 264 0 4 33 20
2.21/0.97 c 533 4607 1049016 49085 264 0 15 15 7
2.21/0.97 c 266 3770 666842 31924 264 0 31 31 15
2.21/0.97 c 534 4615 1052484 49188 264 0 8 8 4
2.21/0.98 c 535 4630 1058824 49367 264 0 15 15 7
2.21/0.98 c 264 4631 746939 33289 264 0 38 38 19
2.21/0.98 c 536 4638 1062292 49470 264 0 8 8 4
2.21/0.98 c 537 4653 1068632 49649 264 0 15 15 7
2.21/0.98 c 267 3799 677739 32246 264 0 29 29 14
2.21/0.98 c 538 4661 1072100 49752 264 0 8 8 4
2.21/0.98 c 265 4669 761912 33702 264 0 38 38 19
2.21/0.98 c 539 4676 1078440 49931 264 0 15 15 7
2.21/0.98 c 540 4684 1081908 50034 264 0 8 8 4
2.21/0.98 c 268 3829 688417 32516 264 0 30 30 15
2.21/0.98 c 541 4699 1088248 50213 264 0 15 15 7
2.21/0.98 c 611 4398 897161 47688 264 0 24 40 36
2.21/0.98 c 266 4707 775974 34099 264 0 38 38 19
2.21/0.98 c 542 4724 1097952 50464 264 0 25 25 12
2.21/0.98 c 543 4738 1103268 50613 264 0 14 14 7
2.21/0.98 c 269 3859 700272 32870 264 0 30 30 15
2.21/0.99 c 267 4745 790947 34512 264 0 38 38 19
2.21/0.99 c 270 3873 705481 33024 264 0 14 14 7
2.21/1.00 c 268 4775 803346 34846 264 0 30 30 15
2.21/1.00 c 271 3902 715882 33290 264 0 29 29 14
2.21/1.00 c 269 4808 816648 35214 264 0 33 33 16
2.21/1.00 c 270 4846 832067 35645 264 0 38 38 19
2.21/1.00 c 512 5431 957302 50577 264 0 15 31 25
2.21/1.00 c 513 5437 959970 50685 264 0 6 6 3
2.21/1.00 c 1140 4668 1440026 83791 264 0 10 24 20
2.21/1.00 c 514 5442 961724 50762 264 0 5 5 2
2.21/1.00 c 271 4874 844183 35973 264 0 28 28 14
3.07/1.01 c 515 5448 964392 50870 264 0 6 6 3
3.07/1.01 c 516 5453 966146 50947 264 0 5 5 2
3.07/1.01 c 517 5459 968814 51055 264 0 6 6 3
3.07/1.01 c 518 5464 970568 51132 264 0 5 5 2
3.07/1.01 c 519 5470 973236 51240 264 0 6 6 3
3.07/1.01 c 520 5475 974990 51317 264 0 5 5 2
3.07/1.01 c 521 5481 977658 51425 264 0 6 6 3
3.07/1.01 c 522 5486 979412 51502 264 0 5 5 2
3.07/1.01 c 523 5492 982080 51610 264 0 6 6 3
3.07/1.01 c 524 5497 983834 51687 264 0 5 5 2
3.07/1.01 c 525 5503 986502 51795 264 0 6 6 3
3.07/1.01 c 526 5508 988256 51872 264 0 5 5 2
3.07/1.01 c 527 5514 990924 51980 264 0 6 6 3
3.07/1.01 c 528 5519 992678 52057 264 0 5 5 2
3.07/1.01 c 529 5525 995346 52165 264 0 6 6 3
3.07/1.01 c 530 5530 997100 52242 264 0 5 5 2
3.07/1.01 c 531 5536 999768 52350 264 0 6 6 3
3.07/1.01 c 532 5541 1001522 52427 264 0 5 5 2
3.07/1.01 c 533 5547 1004190 52535 264 0 6 6 3
3.07/1.01 c 534 5552 1005944 52612 264 0 5 5 2
3.07/1.01 c 535 5558 1008612 52720 264 0 6 6 3
3.07/1.01 c 536 5563 1010366 52797 264 0 5 5 2
3.07/1.01 c 537 5570 1013208 52888 264 0 7 7 3
3.07/1.01 c 538 5575 1014962 52965 264 0 5 5 2
3.07/1.01 c 539 5582 1017804 53056 264 0 7 7 3
3.07/1.01 c 540 5587 1019558 53133 264 0 5 5 2
3.07/1.01 c 611 4229 1037400 58143 264 0 6 68 46
3.07/1.01 c 541 5594 1022400 53224 264 0 7 7 3
3.07/1.01 c 542 5599 1024154 53301 264 0 5 5 2
3.07/1.01 c 543 5604 1026137 53367 264 0 5 5 2
3.07/1.03 c 947 4637 1313001 79365 264 0 13 27 20
3.07/1.04 c 1352 5447 1686115 97416 264 0 5 36 31
3.07/1.05 c 771 5098 1162964 62484 264 0 10 27 20
3.07/1.06 c 771 4818 1271467 71162 264 0 15 35 26
3.07/1.06 c 512 5825 1195353 56554 264 0 25 38 31
3.07/1.07 c 513 5843 1202490 56800 264 0 18 18 9
3.07/1.07 c 514 5860 1209873 57054 264 0 17 17 8
3.07/1.07 c 515 5878 1217368 57299 264 0 18 18 9
3.07/1.07 c 516 5895 1224751 57553 264 0 17 17 8
3.07/1.07 c 517 5913 1232246 57798 264 0 18 18 9
3.07/1.07 c 518 5930 1239629 58052 264 0 17 17 8
3.07/1.08 c 519 5948 1247124 58297 264 0 18 18 9
3.07/1.08 c 520 5965 1254507 58551 264 0 17 17 8
3.07/1.08 c 521 5983 1262002 58796 264 0 18 18 9
3.07/1.08 c 522 6000 1269385 59050 264 0 17 17 8
3.07/1.08 c 523 6018 1276880 59295 264 0 18 18 9
3.07/1.08 c 1024 6259 1658069 81389 264 0 17 28 24
3.07/1.08 c 524 6035 1284263 59549 264 0 17 17 8
3.07/1.08 c 525 6053 1291758 59794 264 0 18 18 9
3.07/1.08 c 1025 6282 1667379 81665 264 0 23 23 11
3.07/1.08 c 512 4963 1125863 54063 264 0 15 31 26
3.07/1.09 c 526 6070 1299141 60048 264 0 17 17 8
3.07/1.09 c 1026 6290 1671923 81817 264 0 8 8 4
3.07/1.09 c 527 6088 1306636 60293 264 0 18 18 9
3.07/1.09 c 513 4980 1132448 54259 264 0 17 17 8
3.07/1.09 c 1027 6312 1680768 82066 264 0 22 22 11
3.07/1.09 c 528 6105 1314019 60547 264 0 17 17 8
3.07/1.09 c 1028 6335 1689246 82310 264 0 23 23 11
3.07/1.09 c 1585 6213 1935240 111474 264 0 7 34 26
3.07/1.09 c 529 6123 1321514 60792 264 0 18 18 9
3.07/1.09 c 514 5011 1144383 54595 264 0 31 31 15
3.07/1.09 c 1029 6359 1697920 82545 264 0 24 24 12
3.07/1.09 c 530 6140 1328897 61046 264 0 17 17 8
3.07/1.09 c 515 5029 1151478 54803 264 0 18 18 9
3.07/1.09 c 531 6158 1336392 61291 264 0 18 18 9
3.07/1.09 c 1030 6381 1706417 82789 264 0 22 22 11
3.07/1.09 c 532 6175 1343775 61545 264 0 17 17 8
3.07/1.09 c 1031 6405 1715352 83029 264 0 24 24 12
3.07/1.10 c 533 6193 1351270 61790 264 0 18 18 9
3.07/1.10 c 516 5060 1163422 55127 264 0 31 31 15
3.07/1.10 c 947 5388 1452036 80975 264 0 7 39 31
3.07/1.10 c 1032 6429 1724026 83264 264 0 24 24 12
3.07/1.10 c 534 6210 1358653 62044 264 0 17 17 8
3.07/1.10 c 947 5773 1386380 74644 264 0 3 36 29
3.07/1.10 c 517 5078 1170517 55335 264 0 18 18 9
3.07/1.10 c 535 6228 1366148 62289 264 0 18 18 9
3.07/1.10 c 1033 6451 1732523 83508 264 0 22 22 11
3.07/1.10 c 1140 5600 1654346 97332 264 0 21 32 28
3.07/1.10 c 536 6246 1374215 62525 264 0 18 18 9
3.07/1.10 c 1034 6475 1741458 83748 264 0 24 24 12
3.07/1.10 c 518 5109 1182452 55669 264 0 31 31 15
3.07/1.10 c 537 6265 1382439 62770 264 0 19 19 9
3.07/1.10 c 1035 6499 1750132 83983 264 0 24 24 12
3.07/1.10 c 538 6282 1389822 63024 264 0 17 17 8
3.07/1.10 c 519 5127 1189547 55877 264 0 18 18 9
3.07/1.10 c 1036 6521 1758629 84227 264 0 22 22 11
3.07/1.10 c 1024 7313 1555463 83947 264 0 21 34 29
3.88/1.11 c 539 6301 1398134 63258 264 0 19 19 9
3.88/1.11 c 1037 6545 1767564 84467 264 0 24 24 12
3.88/1.11 c 1025 7335 1564322 84239 264 0 22 22 11
3.88/1.11 c 520 5158 1201491 56201 264 0 31 31 15
3.88/1.11 c 540 6319 1406425 63510 264 0 18 18 9
3.88/1.11 c 1026 7350 1569601 84381 264 0 15 15 7
3.88/1.11 c 1038 6569 1776238 84702 264 0 24 24 12
3.88/1.11 c 541 6338 1414832 63753 264 0 19 19 9
3.88/1.11 c 1027 7364 1575190 84527 264 0 14 14 7
3.88/1.11 c 521 5176 1208586 56409 264 0 18 18 9
3.88/1.11 c 1039 6591 1784735 84946 264 0 22 22 11
3.88/1.11 c 542 6356 1423028 63996 264 0 18 18 9
3.88/1.11 c 1028 7383 1582860 84790 264 0 19 19 9
3.88/1.11 c 1029 7398 1588139 84932 264 0 15 15 7
3.88/1.11 c 1040 6615 1793670 85186 264 0 24 24 12
3.88/1.11 c 543 6375 1431340 64230 264 0 19 19 9
3.88/1.11 c 522 5207 1220521 56743 264 0 31 31 15
3.88/1.11 c 1030 7412 1593728 85078 264 0 14 14 7
3.88/1.11 c 1041 6639 1802344 85421 264 0 24 24 12
3.88/1.11 c 1031 7431 1601398 85341 264 0 19 19 9
3.88/1.11 c 523 5225 1227616 56951 264 0 18 18 9
3.88/1.11 c 1032 7446 1606677 85483 264 0 15 15 7
3.88/1.11 c 1042 6662 1811031 85669 264 0 23 23 11
3.88/1.12 c 1033 7460 1612266 85629 264 0 14 14 7
3.88/1.12 c 1043 6686 1819966 85909 264 0 24 24 12
3.88/1.12 c 524 5255 1239011 57251 264 0 30 30 15
3.88/1.12 c 1034 7479 1619936 85892 264 0 19 19 9
3.88/1.12 c 1035 7494 1625215 86034 264 0 15 15 7
3.88/1.12 c 1044 6710 1828640 86144 264 0 24 24 12
3.88/1.12 c 525 5273 1246229 57456 264 0 18 18 9
3.88/1.12 c 1036 7508 1630804 86180 264 0 14 14 7
3.88/1.12 c 1045 6733 1837327 86392 264 0 23 23 11
3.88/1.12 c 1037 7527 1638475 86442 264 0 19 19 9
3.88/1.12 c 1038 7542 1643754 86584 264 0 15 15 7
3.88/1.12 c 526 5303 1257624 57756 264 0 30 30 15
3.88/1.12 c 1046 6757 1846262 86632 264 0 24 24 12
3.88/1.12 c 1039 7556 1649343 86730 264 0 14 14 7
3.88/1.12 c 1047 6781 1854936 86867 264 0 24 24 12
3.88/1.12 c 527 5321 1264842 57961 264 0 18 18 9
3.88/1.13 c 1040 7575 1657014 86992 264 0 19 19 9
3.88/1.13 c 1041 7590 1662293 87134 264 0 15 15 7
3.88/1.13 c 1048 6804 1863623 87115 264 0 23 23 11
3.88/1.13 c 1042 7604 1667882 87280 264 0 14 14 7
3.88/1.13 c 528 5351 1276237 58261 264 0 30 30 15
3.88/1.13 c 1049 6828 1872558 87355 264 0 24 24 12
3.88/1.13 c 1043 7623 1675553 87542 264 0 19 19 9
3.88/1.13 c 1841 6962 2180225 126798 264 0 9 27 19
3.88/1.13 c 529 5369 1283455 58466 264 0 18 18 9
3.88/1.13 c 1044 7638 1680832 87684 264 0 15 15 7
3.88/1.13 c 1050 6852 1881232 87590 264 0 24 24 12
3.88/1.13 c 1051 6875 1889919 87838 264 0 23 23 11
3.88/1.13 c 1045 7665 1690676 87927 264 0 27 27 13
3.88/1.13 c 530 5399 1294850 58766 264 0 30 30 15
3.88/1.13 c 1052 6899 1898854 88078 264 0 24 24 12
3.88/1.13 c 1046 7687 1700090 88237 264 0 22 22 11
3.88/1.14 c 531 5417 1302068 58971 264 0 18 18 9
3.88/1.15 c 1140 6375 1589547 87025 264 0 4 33 27
3.88/1.15 c 1053 6923 1907528 88313 264 0 24 24 12
3.88/1.15 c 1047 7709 1707445 88443 264 0 22 22 11
3.88/1.15 c 1054 6946 1916215 88561 264 0 23 23 11
3.88/1.15 c 1048 7731 1715923 88691 264 0 22 22 11
3.88/1.15 c 532 5447 1313463 59271 264 0 30 30 15
3.88/1.15 c 1140 6151 1703091 94076 264 0 21 34 28
3.88/1.15 c 1049 7753 1723278 88897 264 0 22 22 11
3.88/1.15 c 1055 6970 1925150 88801 264 0 24 24 12
3.88/1.15 c 533 5465 1320681 59476 264 0 18 18 9
3.88/1.15 c 1050 7775 1731756 89145 264 0 22 22 11
3.88/1.15 c 1056 6994 1933824 89036 264 0 24 24 12
3.88/1.15 c 1352 6312 1883863 110126 264 0 12 33 25
3.88/1.15 c 1051 7797 1739111 89351 264 0 22 22 11
3.88/1.15 c 1057 7017 1942511 89284 264 0 23 23 11
3.88/1.15 c 534 5495 1332076 59776 264 0 30 30 15
3.88/1.15 c 1052 7819 1747589 89599 264 0 22 22 11
3.88/1.15 c 1058 7040 1951597 89575 264 0 23 23 11
3.88/1.15 c 535 5513 1339294 59981 264 0 18 18 9
3.88/1.15 c 1053 7841 1754944 89805 264 0 22 22 11
3.88/1.16 c 1059 7063 1960606 89819 264 0 23 23 11
3.88/1.16 c 1054 7863 1763422 90053 264 0 22 22 11
3.88/1.16 c 536 5543 1350211 60271 264 0 30 30 15
3.88/1.16 c 1060 7087 1969280 90054 264 0 24 24 12
3.88/1.16 c 1055 7885 1770777 90259 264 0 22 22 11
3.88/1.16 c 1061 7110 1977967 90302 264 0 23 23 11
3.88/1.16 c 537 5561 1357391 60482 264 0 18 18 9
3.88/1.16 c 1056 7907 1779255 90507 264 0 22 22 11
3.88/1.16 c 1062 7133 1987053 90593 264 0 23 23 11
3.88/1.16 c 1057 7929 1786610 90713 264 0 22 22 11
3.88/1.16 c 538 5591 1368786 60782 264 0 30 30 15
3.88/1.16 c 1063 7156 1996062 90837 264 0 23 23 11
3.88/1.16 c 1058 7951 1795088 90961 264 0 22 22 11
3.88/1.16 c 539 5609 1376004 60987 264 0 18 18 9
3.88/1.17 c 1064 7180 2004736 91072 264 0 24 24 12
3.88/1.17 c 1059 7973 1802443 91167 264 0 22 22 11
3.88/1.17 c 1065 7203 2013134 91305 264 0 23 23 11
3.88/1.17 c 1060 7995 1810921 91415 264 0 22 22 11
3.88/1.17 c 540 5639 1386921 61277 264 0 30 30 15
3.88/1.17 c 1066 7227 2021808 91540 264 0 24 24 12
3.88/1.17 c 1061 8017 1818276 91621 264 0 22 22 11
3.88/1.17 c 541 5657 1394101 61488 264 0 18 18 9
3.88/1.17 c 1067 7249 2030305 91784 264 0 22 22 11
3.88/1.17 c 1062 8039 1826754 91869 264 0 22 22 11
3.88/1.17 c 542 5687 1405018 61778 264 0 30 30 15
3.88/1.17 c 1063 8061 1834109 92075 264 0 22 22 11
3.88/1.17 c 1068 7274 2040163 92053 264 0 25 25 12
3.88/1.17 c 1064 8083 1842587 92323 264 0 22 22 11
3.88/1.17 c 543 5705 1412198 61989 264 0 18 18 9
3.88/1.17 c 1069 7297 2049405 92300 264 0 23 23 11
3.88/1.18 c 1065 8105 1849942 92529 264 0 22 22 11
3.88/1.18 c 1070 7322 2058652 92553 264 0 25 25 12
3.88/1.18 c 1066 8127 1858420 92777 264 0 22 22 11
3.88/1.18 c 1071 7345 2067646 92806 264 0 23 23 11
3.88/1.18 c 1067 8149 1865775 92983 264 0 22 22 11
3.88/1.18 c 1072 7370 2077504 93075 264 0 25 25 12
3.88/1.18 c 1068 8171 1874253 93231 264 0 22 22 11
3.88/1.18 c 1073 7393 2086746 93322 264 0 23 23 11
3.88/1.18 c 1069 8193 1881608 93437 264 0 22 22 11
3.88/1.18 c 1074 7417 2095420 93557 264 0 24 24 12
3.88/1.19 c 1070 8215 1890086 93685 264 0 22 22 11
3.88/1.19 c 1075 7439 2103917 93801 264 0 22 22 11
3.88/1.19 c 1071 8237 1897441 93891 264 0 22 22 11
3.88/1.19 c 1072 8259 1905919 94139 264 0 22 22 11
3.88/1.19 c 1076 7464 2113775 94070 264 0 25 25 12
3.88/1.19 c 1073 8281 1913274 94345 264 0 22 22 11
3.88/1.19 c 1077 7487 2122480 94308 264 0 23 23 11
3.88/1.19 c 1352 7137 1840422 99995 264 0 22 34 29
3.88/1.19 c 1074 8303 1921752 94593 264 0 22 22 11
3.88/1.19 c 1078 7511 2131154 94543 264 0 24 24 12
3.88/1.19 c 1352 6856 1973944 109832 264 0 12 18 16
3.88/1.19 c 1075 8325 1929107 94799 264 0 22 22 11
3.88/1.19 c 1079 7533 2139651 94787 264 0 22 22 11
4.60/1.20 c 1076 8347 1937585 95047 264 0 22 22 11
4.60/1.20 c 1080 7558 2149509 95056 264 0 25 25 12
4.60/1.20 c 1077 8369 1944940 95253 264 0 22 22 11
4.60/1.20 c 1081 7581 2158751 95303 264 0 23 23 11
4.60/1.20 c 1078 8391 1953418 95501 264 0 22 22 11
4.60/1.20 c 1082 7606 2167723 95546 264 0 25 25 12
4.60/1.20 c 1079 8413 1960773 95707 264 0 22 22 11
4.60/1.20 c 1083 7629 2176253 95782 264 0 23 23 11
4.60/1.20 c 1080 8435 1969251 95955 264 0 22 22 11
4.60/1.20 c 1084 7654 2185500 96035 264 0 c 1081 8457 1976606 96161 264 0 25 25 12
4.60/1.20 22 22 11
4.60/1.21 c 1085 7677 2194742 96282 264 0 23 23 11
4.60/1.21 c 1082 8479 1985084 96409 264 0 22 22 11
4.60/1.21 c 1083 8501 1992439 96615 264 0 22 22 11
4.60/1.21 c 1086 7701 2203416 96517 264 0 24 24 12
4.60/1.21 c 1084 8523 2000917 96863 264 0 22 22 11
4.60/1.21 c 1087 7723 2211913 96761 264 0 22 22 11
4.60/1.21 c 1585 7378 2207211 126588 264 0 21 33 28
4.60/1.21 c 1085 8545 2008272 97069 264 0 22 22 11
4.60/1.21 c 1086 8567 2016750 97317 264 0 22 22 11
4.60/1.22 c 2122 8191 2616488 148975 264 0 21 33 29
4.60/1.23 c 1087 8589 2024105 97523 264 0 22 22 11
4.60/1.24 c 1585 7852 2074377 114462 264 0 10 26 22
4.60/1.24 c 1000 8002 2182749 105349 264 0 6 20 16
4.60/1.24 c 1585 7614 2226064 125328 264 0 21 29 26
4.60/1.24 c 1024 8072 2214041 107274 264 0 9 20 12
4.60/1.25 c 1025 8084 2218575 107426 264 0 12 12 6
4.60/1.25 c 1026 8096 2222708 107549 264 0 12 12 6
4.60/1.25 c 1027 8115 2230970 107774 264 0 19 19 9
4.60/1.25 c 1028 8126 2236039 107940 264 0 11 11 5
4.60/1.25 c 1029 8145 2244170 108161 264 0 19 19 9
4.60/1.25 c 1030 8156 2249239 108327 264 0 11 11 5
4.60/1.25 c 1031 8175 2257370 108548 264 0 19 19 9
4.60/1.25 c 1032 8186 2262439 108715 264 0 11 11 5
4.60/1.26 c 1033 8205 2270570 108937 264 0 19 19 9
4.60/1.26 c 1034 8216 2275639 109103 264 0 11 11 5
4.60/1.26 c 1035 8235 2283770 109325 264 0 19 19 9
4.60/1.26 c 1036 8246 2288839 109491 264 0 11 11 5
4.60/1.26 c 1037 8265 2296970 109713 264 0 19 19 9
4.60/1.26 c 1038 8276 2302039 109879 264 0 11 11 5
4.60/1.26 c 1039 8295 2310170 110101 264 0 19 19 9
4.60/1.26 c 1040 8311 2316571 110294 264 0 16 16 8
4.60/1.26 c 1041 8323 2320704 110417 264 0 12 12 6
4.60/1.27 c 1042 8342 2328966 110643 264 0 19 19 9
4.60/1.27 c 1043 8358 2335368 110836 264 0 16 16 8
4.60/1.27 c 1044 8370 2339501 110959 264 0 12 12 6
4.60/1.27 c 1045 8389 2347763 111184 264 0 19 19 9
4.60/1.27 c 1046 8405 2354165 111377 264 0 16 16 8
4.60/1.27 c 1047 8417 2358298 111500 264 0 12 12 6
4.60/1.27 c 1048 8436 2366029 111734 264 0 19 19 9
4.60/1.27 c 1049 8440 2367958 111800 264 0 4 4 2
4.60/1.27 c 1050 8453 2373175 111967 264 0 13 13 6
4.60/1.27 c 1000 7274 1977446 98276 264 0 16 32 24
4.60/1.27 c 1841 8380 2548890 146915 264 0 17 32 24
4.60/1.27 c 1051 8465 2377308 112090 264 0 12 12 6
4.60/1.29 c 1000 7281 1981810 98398 264 0 0 0 0
4.60/1.29 c 1052 8484 2385039 112324 264 0 19 19 9
4.60/1.29 c 1053 8488 2386968 112390 264 0 4 4 2
4.60/1.29 c 1054 8501 2392185 112557 264 0 13 13 6
4.60/1.29 c 1055 8514 2396641 112685 264 0 13 13 6
4.60/1.29 c 1056 8533 2404372 112919 264 0 19 19 9
4.60/1.29 c 1057 8537 2406301 112985 264 0 4 4 2
4.60/1.29 c 1058 8552 2412323 113156 264 0 15 15 7
4.60/1.29 c 1059 8564 2416456 113279 264 0 12 12 6
4.60/1.29 c 2431 9380 3001075 172315 264 0 2 31 21
4.60/1.29 c 1024 7401 2019238 100637 264 0 14 26 22
4.60/1.29 c 1060 8583 2424187 113513 264 0 19 19 9
4.60/1.29 c 1061 8587 2426116 113579 264 0 4 4 2
4.60/1.29 c 1062 8602 2432138 113750 264 0 15 15 7
4.60/1.29 c 1025 7425 2027030 100863 264 0 24 24 12
4.60/1.29 c 1063 8614 2436271 113873 264 0 12 12 6
4.60/1.29 c 1064 8633 2444002 114107 264 0 19 19 9
4.60/1.29 c 1026 7450 2035408 101133 264 0 25 25 12
4.60/1.29 c 1065 8637 2445931 114173 264 0 4 4 2
4.60/1.29 c 1066 8652 2451953 114344 264 0 15 15 7
4.60/1.29 c 1067 8664 2456086 114467 264 0 12 12 6
4.60/1.29 c 1027 7475 2043669 101357 264 0 25 25 12
4.60/1.29 c 1841 8778 2367646 131061 264 0 14 30 22
4.60/1.29 c 1068 8683 2463817 114701 264 0 19 19 9
4.60/1.29 c 1069 8687 2465746 114767 264 0 4 4 2
5.40/1.30 c 1028 7500 2051927 101580 264 0 25 25 12
5.40/1.30 c 1070 8702 2471768 114938 264 0 15 15 7
5.40/1.30 c 1841 8685 2550555 142532 264 0 19 29 26
5.40/1.30 c 1071 8714 2475901 115061 264 0 12 12 6
5.40/1.30 c 1029 7525 2060188 101804 264 0 25 25 12
5.40/1.30 c 1072 8733 2483632 115295 264 0 19 19 9
5.40/1.30 c 1073 8737 2485561 115361 264 0 4 4 2
5.40/1.30 c 1074 8752 2491583 115532 264 0 15 15 7
5.40/1.30 c 1030 7550 2068446 102027 264 0 25 25 12
5.40/1.30 c 1075 8764 2495716 115655 264 0 12 12 6
5.40/1.30 c 1031 7575 2076707 102251 264 0 25 25 12
5.40/1.30 c 1076 8783 2503447 115889 264 0 19 19 9
5.40/1.30 c 1032 7600 2084762 102453 264 0 25 25 12
5.40/1.30 c 1077 8787 2505376 115955 264 0 4 4 2
5.40/1.31 c 1078 8802 2511398 116126 264 0 15 15 7
5.40/1.31 c 1079 8814 2515531 116249 264 0 12 12 6
5.40/1.31 c 1033 7623 2092453 102683 264 0 23 23 11
5.40/1.31 c 1080 8833 2523262 116483 264 0 19 19 9
5.40/1.31 c 1081 8837 2525191 116549 264 0 4 4 2
5.40/1.31 c 1034 7648 2100714 102907 264 0 25 25 12
5.40/1.31 c 1082 8852 2531213 116720 264 0 15 15 7
5.40/1.31 c 1083 8864 2535346 116843 264 0 12 12 6
5.40/1.31 c 1035 7673 2108769 103109 264 0 25 25 12
5.40/1.31 c 1084 8883 2543077 117077 264 0 19 19 9
5.40/1.31 c 1085 8887 2545006 117143 264 0 4 4 2
5.40/1.31 c 1036 7696 2116460 103339 264 0 23 23 11
5.40/1.32 c 1086 8902 2551028 117314 264 0 15 15 7
5.40/1.32 c 1087 8914 2555161 117437 264 0 12 12 6
5.40/1.32 c 1037 7721 2124721 103563 264 0 25 25 12
5.40/1.32 c 1038 7746 2132979 103786 264 0 25 25 12
5.40/1.32 c 1039 7771 2141037 103988 264 0 25 25 12
5.40/1.33 c 1040 7794 2148728 104218 264 0 23 23 11
5.40/1.33 c 1041 7819 2156989 104442 264 0 25 25 12
5.40/1.34 c 1042 7836 2162952 104600 264 0 17 17 8
5.40/1.34 c 1043 7859 2170556 104812 264 0 23 23 11
5.40/1.34 c 1044 7882 2178942 105118 264 0 23 23 11
5.40/1.34 c 1045 7905 2186546 105330 264 0 23 23 11
5.40/1.35 c 1046 7928 2194932 105636 264 0 23 23 11
5.40/1.35 c 1047 7951 2202536 105848 264 0 23 23 11
5.40/1.35 c 1048 7974 2210922 106154 264 0 23 23 11
5.40/1.35 c 2770 10522 3373892 193925 264 0 4 33 27
5.40/1.35 c 1049 7997 2218526 106366 264 0 23 23 11
5.40/1.35 c 1050 8020 2226912 106672 264 0 23 23 11
5.40/1.35 c 1051 8043 2234516 106884 264 0 23 23 11
5.40/1.36 c 1052 8066 2242902 107190 264 0 23 23 11
5.40/1.36 c 1053 8089 2250506 107402 264 0 23 23 11
5.40/1.36 c 2122 9370 2938734 167931 264 0 17 33 28
5.40/1.36 c 1054 8112 2258892 107708 264 0 23 23 11
5.40/1.36 c 1055 8135 2266496 107920 264 0 23 23 11
5.40/1.36 c 2000 10943 3140142 150609 264 0 17 29 25
5.40/1.36 c 1056 8158 2274882 108226 264 0 23 23 11
5.40/1.37 c 1057 8181 2282486 108438 264 0 23 23 11
5.40/1.37 c 1058 8204 2290872 108744 264 0 23 23 11
5.40/1.37 c 2122 9641 2904786 163016 264 0 23 29 26
5.40/1.37 c 1059 8227 2298476 108956 264 0 23 23 11
5.40/1.37 c 2048 11103 3198958 153671 264 0 22 28 25
5.40/1.37 c 1060 8250 2306862 109262 264 0 23 23 11
5.40/1.37 c 2049 11120 3204998 153818 264 0 17 17 8
5.40/1.37 c 2050 11129 3208856 153925 264 0 9 9 4
5.40/1.37 c 1061 8273 2314466 109474 264 0 23 23 11
5.40/1.37 c 2051 11155 3217983 154178 264 0 26 26 13
5.40/1.38 c 2122 9897 2777200 153149 264 0 19 32 27
5.40/1.38 c 2052 11164 3221597 154290 264 0 9 9 4
5.40/1.38 c 1062 8296 2322852 109780 264 0 23 23 11
5.40/1.38 c 2053 11181 3227637 154437 264 0 17 17 8
5.40/1.38 c 2054 11198 3233567 154589 264 0 17 17 8
5.40/1.38 c 1063 8319 2330456 109992 264 0 23 23 11
5.40/1.38 c 2055 11215 3239600 154740 264 0 17 17 8
5.40/1.38 c 2056 11232 3245530 154892 264 0 17 17 8
5.40/1.38 c 1064 8342 2338842 110298 264 0 23 23 11
5.40/1.38 c 2057 11249 3251563 155043 264 0 17 17 8
5.40/1.39 c 2058 11266 3257493 155195 264 0 17 17 8
5.40/1.39 c 1065 8365 2346446 110510 264 0 23 23 11
5.40/1.39 c 2059 11283 3263526 155346 264 0 17 17 8
5.40/1.39 c 2060 11300 3269456 155498 264 0 17 17 8
5.40/1.39 c 1066 8388 2354832 110816 264 0 23 23 11
5.40/1.39 c 2061 11317 3275489 155649 264 0 17 17 8
5.40/1.40 c 2062 11334 3281419 155801 264 0 17 17 8
5.40/1.40 c 3000 11272 3610545 207135 264 0 15 26 22
5.40/1.40 c 1067 8411 2362436 111028 264 0 23 23 11
5.40/1.40 c 2063 11351 3287452 155952 264 0 17 17 8
5.40/1.40 c 2064 11368 3293382 156104 264 0 17 17 8
5.40/1.40 c 1068 8434 2370822 111334 264 0 23 23 11
5.40/1.40 c 2065 11385 3299415 156255 264 0 17 17 8
5.40/1.40 c 1069 8450 2377260 111587 264 0 16 16 8
5.40/1.40 c 2066 11402 3305345 156407 264 0 17 17 8
5.40/1.40 c 2067 11419 3311378 156558 264 0 17 17 8
5.40/1.40 c 1070 8470 2384166 111775 264 0 20 20 10
5.40/1.40 c 2068 11436 3317308 156710 264 0 17 17 8
5.40/1.40 c 2069 11453 3323341 156861 264 0 17 17 8
5.40/1.40 c 1071 8490 2391918 112020 264 0 20 20 10
5.40/1.40 c 2070 11470 3329271 157013 264 0 17 17 8
5.40/1.40 c 1072 8503 2396996 112148 264 0 13 13 6
5.40/1.40 c 2071 11487 3335304 157164 264 0 17 17 8
6.25/1.41 c 2072 11504 3341234 157316 264 0 17 17 8
6.25/1.41 c 1073 8520 2403718 112339 264 0 17 17 8
6.25/1.41 c 2073 11521 3347267 157467 264 0 17 17 8
6.25/1.41 c 1074 8533 2408796 112467 264 0 13 13 6
6.25/1.41 c 2074 11538 3353197 157619 264 0 17 17 8
6.25/1.41 c 2075 11555 3359230 157770 264 0 17 17 8
6.25/1.41 c 1075 8552 2416542 112712 264 0 19 19 9
6.25/1.41 c 2076 11572 3365160 157922 264 0 17 17 8
6.25/1.41 c 1076 8565 2421620 112840 264 0 13 13 6
6.25/1.41 c 2077 11589 3371193 158073 264 0 17 17 8
6.25/1.41 c 2000 11726 3167105 168596 264 0 13 33 25
6.25/1.41 c 2078 11606 3377123 158225 264 0 17 17 8
6.25/1.41 c 1077 8582 2428342 113031 264 0 17 17 8
6.25/1.41 c 2079 11623 3383156 158376 264 0 17 17 8
6.25/1.41 c 1078 8595 2433420 113159 264 0 13 13 6
6.25/1.41 c 2080 11640 3389086 158528 264 0 17 17 8
6.25/1.41 c 2081 11657 3395119 158679 264 0 17 17 8
6.25/1.41 c 1079 8614 2441166 113404 264 0 19 19 9
6.25/1.42 c 2082 11674 3401049 158831 264 0 17 17 8
6.25/1.42 c 2083 11691 3407082 158982 264 0 17 17 8
6.25/1.42 c 1080 8634 2448151 113598 264 0 20 20 10
6.25/1.42 c 2084 11708 3413012 159134 264 0 17 17 8
6.25/1.42 c 2085 11725 3419045 159285 264 0 17 17 8
6.25/1.42 c 1081 8659 2456722 113832 264 0 25 25 12
6.25/1.42 c 2086 11742 3424975 159437 264 0 17 17 8
6.25/1.42 c 3142 11732 3756779 215714 264 0 13 26 18
6.25/1.42 c 2087 11759 3431008 159588 264 0 17 17 8
6.25/1.42 c 1082 8679 2463455 114015 264 0 20 20 10
6.25/1.42 c 2088 11776 3436938 159740 264 0 17 17 8
6.25/1.42 c 2048 11925 3230248 171986 264 0 15 34 31
6.25/1.42 c 2049 11928 3231325 172040 264 0 3 3 1
6.25/1.42 c 2089 11793 3442971 159891 264 0 17 17 8
6.25/1.42 c 2050 11939 3236216 172175 264 0 11 11 5
6.25/1.42 c 1083 8704 2471642 114222 264 0 25 25 12
6.25/1.42 c 2090 11810 3448901 160043 264 0 17 17 8
6.25/1.42 c 2091 11827 3454934 160194 264 0 17 17 8
6.25/1.42 c 1084 8724 2478627 114416 264 0 20 20 10
6.25/1.43 c 2092 11844 3460864 160346 264 0 17 17 8
6.25/1.43 c 2051 11971 3248280 172488 264 0 32 32 16
6.25/1.43 c 2093 11861 3466897 160497 264 0 17 17 8
6.25/1.43 c 2052 11980 3252129 172600 264 0 9 9 4
6.25/1.43 c 1085 8749 2486814 114623 264 0 25 25 12
6.25/1.43 c 2094 11878 3472827 160649 264 0 17 17 8
6.25/1.43 c 2095 11895 3478860 160800 264 0 17 17 8
6.25/1.43 c 2053 12012 3264193 172913 264 0 32 32 16
6.25/1.43 c 1086 8769 2493799 114817 264 0 20 20 10
6.25/1.43 c 2096 11912 3485233 161027 264 0 17 17 8
6.25/1.43 c 2054 12021 3268042 173025 264 0 9 9 4
6.25/1.43 c 2097 11928 3490790 161188 264 0 16 16 8
6.25/1.43 c 1087 8794 2502370 115051 264 0 25 25 12
6.25/1.43 c 2098 11953 3499826 161420 264 0 25 25 12
6.25/1.43 c 2055 12053 3280106 173338 264 0 32 32 16
6.25/1.43 c 2056 12062 3283955 173450 264 0 9 9 4
6.25/1.43 c 2099 11970 3506199 161647 264 0 17 17 8
6.25/1.43 c 2100 11986 3511756 161808 264 0 16 16 8
6.25/1.43 c 2431 10376 3301406 188340 264 0 9 32 24
6.25/1.43 c 2057 12094 3296019 173763 264 0 32 32 16
6.25/1.44 c 2101 12011 3520792 162040 264 0 25 25 12
6.25/1.44 c 2058 12103 3299868 173875 264 0 9 9 4
6.25/1.44 c 2102 12028 3526722 162192 264 0 17 17 8
6.25/1.44 c 2103 12045 3532755 162343 264 0 17 17 8
6.25/1.44 c 2059 12135 3311932 174188 264 0 32 32 16
6.25/1.44 c 2104 12062 3539128 162570 264 0 17 17 8
6.25/1.44 c 2060 12144 3315781 174300 264 0 9 9 4
6.25/1.44 c 2105 12078 3544685 162731 264 0 16 16 8
6.25/1.44 c 2061 12176 3327845 174613 264 0 32 32 16
6.25/1.44 c 2106 12103 3553721 162963 264 0 25 25 12
6.25/1.44 c 2062 12185 3331694 174725 264 0 9 9 4
6.25/1.44 c 2107 12120 3559651 163115 264 0 17 17 8
6.25/1.45 c 2108 12137 3565684 163266 264 0 17 17 8
6.25/1.45 c 2063 12217 3343758 175038 264 0 32 32 16
6.25/1.45 c 2431 10891 3121988 174692 264 0 19 32 25
6.25/1.45 c 2109 12154 3572057 163493 264 0 17 17 8
6.25/1.45 c 2064 12226 3347607 175150 264 0 9 9 4
6.25/1.45 c 2110 12170 3577614 163654 264 0 16 16 8
6.25/1.45 c 2065 12258 3359671 175463 264 0 32 32 16
6.25/1.45 c 2111 12195 3586650 163886 264 0 25 25 12
6.25/1.45 c 2066 12267 3363520 175575 264 0 9 9 4
6.25/1.45 c 2112 12212 3593023 164113 264 0 17 17 8
6.25/1.45 c 2113 12228 3598580 164274 264 0 16 16 8
6.25/1.45 c 2431 10949 3338029 184914 264 0 16 29 25
6.25/1.45 c 2067 12299 3375584 175888 264 0 32 32 16
6.25/1.45 c 2114 12253 3607616 164506 264 0 25 25 12
6.25/1.45 c 2068 12308 3379433 176000 264 0 9 9 4
6.25/1.45 c 2115 12270 3613546 164658 264 0 17 17 8
6.25/1.45 c 2116 12287 3619579 164809 264 0 17 17 8
6.25/1.45 c 2069 12340 3391497 176313 264 0 32 32 16
6.25/1.45 c 2070 12349 3395346 176425 264 0 9 9 4
6.25/1.45 c 2117 12304 3625952 165036 264 0 17 17 8
6.25/1.46 c 2118 12320 3631509 165197 264 0 16 16 8
6.25/1.46 c 2071 12381 3407410 176738 264 0 32 32 16
6.25/1.46 c 2119 12345 3640545 165429 264 0 25 25 12
6.25/1.46 c 2072 12390 3411259 176850 264 0 9 9 4
6.25/1.46 c 2120 12362 3646475 165581 264 0 17 17 8
6.25/1.46 c 2121 12379 3652508 165732 264 0 17 17 8
6.25/1.46 c 2073 12422 3423323 177163 264 0 32 32 16
6.25/1.46 c 2122 12396 3658881 165959 264 0 17 17 8
6.25/1.46 c 2074 12431 3427172 177275 264 0 9 9 4
6.25/1.46 c 2123 12412 3664438 166120 264 0 16 16 8
6.25/1.47 c 2124 12437 3673474 166352 264 0 25 25 12
6.25/1.47 c 2075 12463 3439315 177603 264 0 32 32 16
6.25/1.47 c 2076 12472 3443561 177724 264 0 9 9 4
6.25/1.47 c 2125 12454 3679847 166579 264 0 17 17 8
6.25/1.47 c 2126 12470 3685404 166740 264 0 16 16 8
6.25/1.47 c 2077 12504 3455625 178037 264 0 32 32 16
6.25/1.47 c 2127 12495 3694440 166972 264 0 25 25 12
6.25/1.47 c 2078 12513 3459474 178149 264 0 9 9 4
6.25/1.47 c 2128 12512 3700370 167124 264 0 17 17 8
6.25/1.47 c 2129 12529 3706617 167345 264 0 17 17 8
6.25/1.47 c 2079 12545 3471617 178477 264 0 32 32 16
6.25/1.47 c 2130 12545 3712174 167506 264 0 16 16 8
6.25/1.47 c 2080 12554 3475863 178598 264 0 9 9 4
6.25/1.48 c 2131 12570 3721210 167738 264 0 25 25 12
6.25/1.48 c 2081 12586 3487927 178911 264 0 32 32 16
6.25/1.48 c 2132 12587 3727140 167890 264 0 17 17 8
6.25/1.48 c 2082 12595 3491776 179023 264 0 9 9 4
6.25/1.48 c 2133 12604 3733387 168111 264 0 17 17 8
6.25/1.48 c 2134 12620 3738944 168272 264 0 16 16 8
6.25/1.48 c 2083 12627 3503919 179351 264 0 32 32 16
6.25/1.48 c 2135 12645 3747980 168504 264 0 25 25 12
6.25/1.48 c 2084 12636 3508165 179472 264 0 9 9 4
6.25/1.48 c 2136 12662 3753910 168656 264 0 17 17 8
6.25/1.49 c 2137 12679 3760157 168877 264 0 17 17 8
6.25/1.49 c 2085 12668 3520229 179785 264 0 32 32 16
6.25/1.49 c 2138 12695 3765714 169038 264 0 16 16 8
6.25/1.49 c 2086 12677 3524078 179897 264 0 9 9 4
6.25/1.50 c 2139 12720 3774750 169270 264 0 25 25 12
6.25/1.50 c 2087 12709 3536221 180225 264 0 32 32 16
6.25/1.50 c 2140 12737 3780680 169422 264 0 17 17 8
6.25/1.50 c 2141 12754 3786927 169643 264 0 17 17 8
6.25/1.50 c 2088 12737 3545814 180487 264 0 28 28 14
6.25/1.50 c 2142 12770 3792484 169804 264 0 16 16 8
6.25/1.50 c 2089 12761 3554453 180718 264 0 24 24 12
6.25/1.50 c 2143 12795 3801520 170036 264 0 25 25 12
6.25/1.50 c 2090 12784 3563747 180987 264 0 23 23 11
6.25/1.50 c 2144 12812 3807893 170263 264 0 17 17 8
6.25/1.50 c 2145 12828 3813450 170424 264 0 16 16 8
6.25/1.50 c 2091 12808 3572708 181222 264 0 24 24 12
7.06/1.51 c 2146 12853 3822486 170656 264 0 25 25 12
7.06/1.51 c 2092 12830 3581954 181490 264 0 22 22 11
7.06/1.51 c 2147 12870 3828416 170808 264 0 17 17 8
7.06/1.51 c 2148 12887 3834663 171029 264 0 17 17 8
7.06/1.51 c 2093 12854 3590915 181725 264 0 24 24 12
7.06/1.51 c 2149 12903 3840220 171190 264 0 16 16 8
7.06/1.51 c 3551 13390 4247209 241134 264 0 20 32 28
7.06/1.51 c 2094 12876 3600161 181993 264 0 22 22 11
7.06/1.51 c 2150 12928 3849256 171422 264 0 25 25 12
7.06/1.51 c 2095 12900 3609122 182228 264 0 24 24 12
7.06/1.51 c 2151 12945 3855186 171574 264 0 17 17 8
7.06/1.51 c 2152 12962 3861433 171795 264 0 17 17 8
7.06/1.51 c 2000 12482 3697091 184005 264 0 14 33 27
7.06/1.51 c 2096 12922 3618368 182496 264 0 22 22 11
7.06/1.51 c 2153 12978 3866990 171956 264 0 16 16 8
7.06/1.52 c 2097 12946 3627329 182731 264 0 24 24 12
7.06/1.52 c 2154 13003 3876026 172188 264 0 25 25 12
7.06/1.52 c 2155 13020 3881956 172340 264 0 17 17 8
7.06/1.52 c 2098 12968 3636575 182999 264 0 22 22 11
7.06/1.52 c 2156 13037 3888203 172561 264 0 17 17 8
7.06/1.52 c 2099 12992 3645536 183234 264 0 24 24 12
7.06/1.52 c 2157 13053 3893760 172722 264 0 16 16 8
7.06/1.52 c 2100 13014 3654782 183502 264 0 22 22 11
7.06/1.52 c 2158 13078 3902796 172954 264 0 25 25 12
7.06/1.52 c 2159 13095 3908726 173106 264 0 17 17 8
7.06/1.52 c 2101 13038 3663743 183737 264 0 24 24 12
7.06/1.52 c 2160 13112 3914973 173327 264 0 17 17 8
7.06/1.52 c 2102 13060 3672989 184005 264 0 22 22 11
7.06/1.52 c 2048 12677 3768819 187164 264 0 23 31 28
7.06/1.52 c 2161 13128 3920530 173488 264 0 16 16 8
7.06/1.52 c 2162 13153 3929566 173720 264 0 25 25 12
7.06/1.52 c 2103 13084 3681950 184240 264 0 24 24 12
7.06/1.52 c 2049 12701 3777482 187383 264 0 24 24 12
7.06/1.53 c 2163 13170 3935939 173947 264 0 17 17 8
7.06/1.53 c 2104 13106 3691196 184508 264 0 22 22 11
7.06/1.53 c 2050 12724 3786160 187625 264 0 23 23 11
7.06/1.53 c 2164 13186 3941496 174108 264 0 16 16 8
7.06/1.53 c 2105 13130 3700157 184743 264 0 24 24 12
7.06/1.53 c 2051 12755 3797932 187934 264 0 31 31 15
7.06/1.53 c 2165 13211 3950532 174340 264 0 25 25 12
7.06/1.53 c 2770 12251 3532638 196966 264 0 14 32 28
7.06/1.53 c 2106 13152 3709403 185011 264 0 22 22 11
7.06/1.53 c 2166 13228 3956462 174492 264 0 17 17 8
7.06/1.53 c 2052 12778 3806591 188171 264 0 23 23 11
7.06/1.53 c 2167 13245 3962709 174713 264 0 17 17 8
7.06/1.53 c 2168 13261 3968266 174874 264 0 16 16 8
7.06/1.53 c 2107 13184 3721182 185349 264 0 32 32 16
7.06/1.53 c 2053 12802 3816438 188444 264 0 24 24 12
7.06/1.53 c 2108 13187 3722391 185406 264 0 3 3 1
7.06/1.53 c 2054 12819 3822229 188594 264 0 17 17 8
7.06/1.53 c 2169 13286 3977302 175106 264 0 25 25 12
7.06/1.53 c 2109 13213 3733137 185693 264 0 26 26 13
7.06/1.54 c 2170 13303 3983232 175258 264 0 17 17 8
7.06/1.54 c 2770 12091 3790991 210328 264 0 17 29 27
7.06/1.54 c 2055 12850 3834125 188908 264 0 31 31 15
7.06/1.54 c 2171 13320 3989479 175479 264 0 17 17 8
7.06/1.54 c 2110 13245 3745726 186028 264 0 32 32 16
7.06/1.54 c 2172 13336 3995036 175640 264 0 16 16 8
7.06/1.54 c 2056 12873 3842784 189145 264 0 23 23 11
7.06/1.54 c 2111 13264 3753028 186206 264 0 19 19 9
7.06/1.54 c 2173 13361 4004072 175872 264 0 25 25 12
7.06/1.54 c 2057 12897 3852582 189419 264 0 24 24 12
7.06/1.54 c 2174 13378 4010002 176024 264 0 17 17 8
7.06/1.54 c 2058 12914 3858373 189569 264 0 17 17 8
7.06/1.54 c 2112 13296 3764896 186535 264 0 32 32 16
7.06/1.54 c 2175 13395 4016249 176245 264 0 17 17 8
7.06/1.54 c 2113 13299 3766105 186592 264 0 3 3 1
7.06/1.54 c 2059 12945 3870269 189883 264 0 31 31 15
7.06/1.54 c 2114 13325 3776851 186879 264 0 26 26 13
7.06/1.54 c 2770 11873 3919301 221776 264 0 16 32 27
7.06/1.54 c 2060 12968 3878928 190120 264 0 23 23 11
7.06/1.55 c 2115 13357 3789440 187214 264 0 32 32 16
7.06/1.55 c 2061 12992 3888726 190394 264 0 24 24 12
7.06/1.55 c 2062 13009 3894517 190544 264 0 17 17 8
7.06/1.55 c 2116 13385 3799033 187476 264 0 28 28 14
7.06/1.55 c 2063 13039 3905447 190818 264 0 30 30 15
7.06/1.55 c 2117 13418 3810886 187797 264 0 33 33 16
7.06/1.55 c 2118 13421 3812095 187854 264 0 3 3 1
7.06/1.55 c 2064 13062 3914125 191060 264 0 23 23 11
7.06/1.55 c 2119 13443 3820897 188090 264 0 22 22 11
7.06/1.56 c 2065 13092 3924931 191329 264 0 30 30 15
7.06/1.57 c 2120 13475 3833486 188425 264 0 32 32 16
7.06/1.57 c 2066 13115 3933609 191571 264 0 23 23 11
7.06/1.57 c 2121 13503 3843079 188687 264 0 28 28 14
7.06/1.57 c 2067 13146 3945381 191880 264 0 31 31 15
7.06/1.57 c 2068 13169 3954040 192117 264 0 23 23 11
7.06/1.57 c 2122 13536 3854932 189008 264 0 33 33 16
7.06/1.57 c 2123 13539 3856141 189065 264 0 3 3 1
7.06/1.57 c 2069 13193 3963838 192391 264 0 24 24 12
7.06/1.57 c 2070 13210 3969629 192541 264 0 17 17 8
7.06/1.57 c 2124 13572 3869170 189407 264 0 33 33 16
7.06/1.57 c 2071 13242 3981272 192841 264 0 32 32 16
7.06/1.57 c 2125 13595 3878464 189676 264 0 23 23 11
7.06/1.58 c 2072 13265 3989950 193083 264 0 23 23 11
7.06/1.58 c 2126 13627 3890243 190014 264 0 32 32 16
7.06/1.58 c 2127 13630 3891452 190071 264 0 3 3 1
7.06/1.58 c 2073 13296 4001722 193392 264 0 31 31 15
7.06/1.58 c 2128 13663 3904707 190433 264 0 33 33 16
7.06/1.58 c 2074 13319 4010381 193629 264 0 23 23 11
7.06/1.58 c 2129 13690 3914589 190695 264 0 27 27 13
7.06/1.58 c 2075 13343 4020179 193903 264 0 24 24 12
7.06/1.58 c 2130 13693 3915798 190752 264 0 3 3 1
7.06/1.58 c 2076 13360 4025970 194053 264 0 17 17 8
7.06/1.58 c 2131 13725 3929005 191113 264 0 32 32 16
7.06/1.59 c 2077 13391 4038412 194376 264 0 31 31 15
7.06/1.59 c c 2078 2132 13408 13752 4044203 3938887 194526 191375 264 264 0 0 17 17 827 27 13
7.06/1.59
7.06/1.59 c 2133 13755 3940096 191432 264 0 3 3 1
7.06/1.59 c 2079 13439 4056645 194849 264 0 31 31 15
7.06/1.59 c 2134 13788 3953351 191794 264 0 33 33 16
7.06/1.59 c 2080 13456 4062436 194999 264 0 17 17 8
7.06/1.59 c 2135 13815 3963233 192056 264 0 27 27 13
7.06/1.59 c 2136 13818 3964442 192113 264 0 3 3 1
7.06/1.59 c 4000 14818 4732683 271418 264 0 8 20 15
7.06/1.59 c 2081 13487 4074878 195322 264 0 31 31 15
7.06/1.60 c 2082 13504 4080669 195472 264 0 17 17 8
7.06/1.60 c 2137 13850 3977649 192474 264 0 32 32 16
7.06/1.60 c 2083 13534 4092517 195785 264 0 30 30 15
7.06/1.60 c 2138 13877 3987531 192736 264 0 27 27 13
7.06/1.60 c 2084 13557 4101176 196022 264 0 23 23 11
7.06/1.60 c 2139 13909 4000698 193098 264 0 32 32 16
7.06/1.60 c 2085 13581 4110974 196296 264 0 24 24 12
7.06/1.60 c 2086 13598 4116765 196446 264 0 17 17 8
7.06/1.60 c 2140 13936 4010580 193360 264 0 27 27 13
7.06/1.60 c 2087 13629 4129207 196769 264 0 31 31 15
7.86/1.61 c 2141 13969 4023349 193698 264 0 33 33 16
7.86/1.61 c 2088 13646 4134998 196919 264 0 17 17 8
7.86/1.61 c 2142 13992 4032643 193967 264 0 23 23 11
7.86/1.61 c 2089 13677 4146593 197218 264 0 31 31 15
7.86/1.61 c 2090 13700 4155271 197460 264 0 23 23 11
7.86/1.61 c 2143 14024 4044422 194305 264 0 32 32 16
7.86/1.61 c 2091 13731 4167589 197778 264 0 31 31 15
7.86/1.61 c 2144 14057 4057191 194643 264 0 33 33 16
7.86/1.61 c 2092 13748 4173380 197928 264 0 17 17 8
7.86/1.62 c 3142 13454 3969795 220858 264 0 11 23 18
7.86/1.62 c 2145 14080 4066485 194912 264 0 23 23 11
7.86/1.62 c 2093 13772 4183001 198196 264 0 24 24 12
7.86/1.62 c 2094 13789 4188792 198346 264 0 17 17 8
7.86/1.62 c 2146 14112 4078264 195250 264 0 32 32 16
7.86/1.62 c 2095 13813 4198413 198614 264 0 24 24 12
7.86/1.62 c 2096 13830 4204204 198764 264 0 17 17 8
7.86/1.62 c 2147 14145 4091033 195588 264 0 33 33 16
7.86/1.62 c 2097 13854 4213825 199032 264 0 24 24 12
7.86/1.62 c 2148 14168 4100327 195857 264 0 23 23 11
7.86/1.62 c 2098 13871 4219616 199182 264 0 17 17 8
7.86/1.62 c 2149 14200 4112106 196195 264 c 0 2099 13895 4229237 199450 32 32 16264 0
7.86/1.63 24 24 12
7.86/1.63 c 2100 13912 4235028 199600 264 0 17 17 8
7.86/1.63 c 2150 14233 4124875 196533 264 0 33 33 16
7.86/1.63 c 2101 13936 4244649 199868 264 0 24 24 12
7.86/1.63 c 2102 13953 4250440 200018 264 0 17 17 8
7.86/1.63 c 2151 14256 4134169 196802 264 0 23 23 11
7.86/1.63 c 2103 13977 4260061 200286 264 0 24 24 12
7.86/1.63 c 3142 13844 4316892 234680 264 0 17 29 26
7.86/1.64 c 2104 13994 4265852 200436 264 0 17 17 8
7.86/1.64 c 2152 14288 4145948 197140 264 0 32 32 16
7.86/1.64 c 2105 14018 4275473 200704 264 0 24 24 12
7.86/1.64 c 2153 14321 4158717 197478 264 0 33 33 16
7.86/1.64 c 2106 14035 4281264 200854 264 0 17 17 8
7.86/1.64 c 2107 14059 4290886 201121 264 0 24 24 12
7.86/1.64 c 2154 14344 4168011 197747 264 0 23 23 11
7.86/1.64 c 2108 14076 4296677 201271 264 0 17 17 8
7.86/1.64 c 2155 14376 4179790 198085 264 0 32 32 16
7.86/1.64 c 2109 14100 4306299 201538 264 0 24 24 12
7.86/1.64 c 2110 14116 4312648 201729 264 0 16 16 8
7.86/1.64 c 3142 13225 4410169 248895 264 0 5 27 15
7.86/1.64 c 2156 14409 4192559 198423 264 0 33 33 16
7.86/1.65 c 2111 14140 4322329 201995 264 0 24 24 12
7.86/1.65 c 2112 14156 4328678 202186 264 0 16 16 8
7.86/1.65 c 2157 14432 4201853 198692 264 0 23 23 11
7.86/1.65 c 2113 14180 4338359 202452 264 0 24 24 12
7.86/1.65 c 2158 14464 4213632 199030 264 0 32 32 16
7.86/1.65 c 2114 14196 4344708 202643 264 0 16 16 8
7.86/1.65 c 2115 14221 4354437 202910 264 0 25 25 12
7.86/1.65 c 2159 14497 4226401 199368 264 0 33 33 16
7.86/1.65 c 2116 14237 4360786 203101 264 0 16 16 8
7.86/1.65 c 2160 14520 4235695 199637 264 0 23 23 11
7.86/1.66 c 2117 14262 4370515 203368 264 0 25 25 12
7.86/1.66 c 2118 14278 4376864 203559 264 0 16 16 8
7.86/1.66 c 2161 14552 4247474 199975 264 0 32 32 16
7.86/1.66 c 2119 14303 4386593 203826 264 0 25 25 12
7.86/1.66 c 2120 14319 4392942 204017 264 0 16 16 8
7.86/1.66 c 2162 14583 4260383 200322 264 0 31 31 15
7.86/1.66 c 2121 14344 4402625 204283 264 0 25 25 12
7.86/1.66 c 2163 14614 4272203 200650 264 0 31 31 15
7.86/1.66 c 2122 14360 4408974 204474 264 0 16 16 8
7.86/1.66 c 2123 14385 4418657 204740 264 0 25 25 12
7.86/1.67 c 2164 14646 4284880 200986 264 0 32 32 16
7.86/1.67 c 2124 14401 4425006 204931 264 0 16 16 8
7.86/1.68 c 2165 14669 4294174 201255 264 0 23 23 11
7.86/1.68 c 2125 14426 4434682 205197 264 0 25 25 12
7.86/1.68 c 2126 14442 4441031 205388 264 0 16 16 8
7.86/1.68 c 2166 14701 4305953 201593 264 0 32 32 16
7.86/1.68 c 2127 14467 4450707 205654 264 0 25 25 12
7.86/1.68 c 2128 14483 4457056 205845 264 0 16 16 8
7.86/1.68 c 2167 14734 4318678 201930 264 0 33 33 16
7.86/1.68 c 2129 14508 4466732 206111 264 0 25 25 12
7.86/1.68 c 2168 14757 4327972 202199 264 0 23 23 11
7.86/1.68 c 2130 14524 4473081 206302 264 0 16 16 8
7.86/1.68 c 2131 14549 4482757 206568 264 0 25 25 12
7.86/1.69 c 2169 14789 4339751 202537 264 0 32 32 16
7.86/1.69 c 2132 14565 4489106 206759 264 0 16 16 8
7.86/1.69 c 2133 14590 4498782 207025 264 0 25 25 12
7.86/1.69 c 2170 14821 4352664 202885 264 0 32 32 16
7.86/1.69 c 2134 14606 4505131 207216 264 0 16 16 8
7.86/1.69 c 2171 14845 4362045 203136 264 0 24 24 12
7.86/1.69 c 2135 14631 4514807 207482 264 0 25 25 12
7.86/1.69 c 2136 14647 4521156 207673 264 0 16 16 8
7.86/1.69 c 2172 14876 4373865 203464 264 0 31 31 15
7.86/1.69 c 2137 14672 4530832 207939 264 0 25 25 12
7.86/1.69 c 2138 14688 4537181 208130 264 0 16 16 8
7.86/1.69 c 2173 14908 4386542 203800 264 0 32 32 16
8.58/1.70 c 2139 14713 4546857 208396 264 0 25 25 12
8.58/1.70 c 2174 14931 4395836 204069 264 0 23 23 11
8.58/1.70 c 2048 12337 3882002 196322 264 0 18 31 27
8.58/1.70 c 2140 14729 4553206 208587 264 0 16 16 8
8.58/1.70 c 2049 12351 3887676 196483 264 0 14 14 7
8.58/1.70 c 2175 14963 4407615 204407 264 0 32 32 16
8.58/1.70 c 2141 14754 4562882 208853 264 0 25 25 12
8.58/1.70 c 2050 12364 3893861 196669 264 0 13 13 6
8.58/1.70 c 2142 14770 4569231 209044 264 0 16 16 8
8.58/1.70 c 2051 12367 3896065 196769 264 0 3 3 1
8.58/1.70 c 2052 12379 3902139 196962 264 0 12 12 6
8.58/1.70 c 2143 14795 4578907 209310 264 0 25 25 12
8.58/1.70 c 2053 12393 3907576 197122 264 0 14 14 7
8.58/1.70 c 2144 14811 4585256 209501 264 0 16 16 8
8.58/1.70 c 2054 12406 3913761 197308 264 0 13 13 6
8.58/1.70 c 2055 12409 3915965 197408 264 0 3 3 1
8.58/1.70 c 2145 14836 4594932 209767 264 0 25 25 12
8.58/1.70 c 2056 12421 3922039 197601 264 0 12 12 6
8.58/1.70 c 2146 14852 4601281 209958 264 0 16 16 8
8.58/1.70 c 2057 12435 3927476 197761 264 0 14 14 7
8.58/1.71 c 2147 14877 4610957 210224 264 0 25 25 12
8.58/1.71 c 2148 14893 4617306 210415 264 0 16 16 8
8.58/1.73 c 2149 14918 4626982 210681 264 0 25 25 12
8.58/1.73 c 4493 17236 5356533 306370 264 0 15 32 27
8.58/1.73 c 2150 14934 4633331 210872 264 0 16 16 8
8.58/1.73 c 2151 14959 4643007 211138 264 0 25 25 12
8.58/1.73 c 2058 12448 3933661 197947 264 0 13 13 6
8.58/1.73 c 2152 14975 4649356 211329 264 0 16 16 8
8.58/1.73 c 2059 12451 3935865 198047 264 0 3 3 1
8.58/1.73 c 2153 15000 4659032 211595 264 0 25 25 12
8.58/1.73 c 2154 15016 4665381 211786 264 0 16 16 8
8.58/1.73 c 2155 15041 4675057 212052 264 0 25 25 12
8.58/1.74 c 2156 15057 4681406 212243 264 0 16 16 8
8.58/1.74 c 2060 12463 3941939 198240 264 0 12 12 6
8.58/1.74 c 2157 15082 4691082 212509 264 0 25 25 12
8.58/1.74 c 3551 14886 4454427 248313 264 0 18 33 27
8.58/1.74 c 2158 15099 4697084 212704 264 0 17 17 8
8.58/1.74 c 2061 12477 3947376 198400 264 0 14 14 7
8.58/1.74 c 2159 15124 4706763 212973 264 0 25 25 12
8.58/1.74 c 2160 15141 4712765 213168 264 0 17 17 8
8.58/1.74 c 2062 12490 3953561 198586 264 0 13 13 6
8.58/1.74 c 2063 12493 3955765 198686 264 0 3 3 1
8.58/1.75 c 2161 15166 4722444 213437 264 0 25 25 12
8.58/1.75 c 2162 15183 4728446 213632 264 0 17 17 8
8.58/1.75 c 2064 12505 3961186 198832 264 0 12 12 6
8.58/1.75 c 2163 15208 4738125 213901 264 0 25 25 12
8.58/1.75 c 2065 12519 3966860 198993 264 0 14 14 7
8.58/1.75 c 2164 15225 4744127 214096 264 0 17 17 8
8.58/1.75 c 2066 12532 3973045 199179 264 0 13 13 6
8.58/1.75 c 2067 12535 3975249 199279 264 0 3 3 1
8.58/1.75 c 2165 15251 4754080 214367 264 0 26 26 13
8.58/1.75 c 2068 12547 3980670 199425 264 0 12 12 6
8.58/1.75 c 2166 15268 4760082 214562 264 0 17 17 8
8.58/1.75 c 2069 12561 3986344 199586 264 0 14 14 7
8.58/1.75 c 2070 12574 3992529 199772 264 0 13 13 6
8.58/1.75 c 2071 12577 3994733 199872 264 0 3 3 1
8.58/1.75 c 2167 15293 4769761 214831 264 0 25 25 12
8.58/1.76 c 2072 12589 4000154 200018 264 0 12 12 6
8.58/1.76 c 2168 15310 4775763 215026 264 0 17 17 8
8.58/1.76 c 3551 15241 4806310 264674 264 0 16 29 26
8.58/1.76 c 2073 12603 4005828 200179 264 0 14 14 7
8.58/1.76 c 2169 15336 4785716 215297 264 0 26 26 13
8.58/1.76 c 2074 12616 4012013 200365 264 0 13 13 6
8.58/1.76 c 2075 12619 4014217 200465 264 0 3 3 1
8.58/1.76 c 2170 15353 4791718 215492 264 0 17 17 8
8.58/1.76 c 2076 12631 4019638 200611 264 0 12 12 6
8.58/1.76 c 2171 15377 4800555 215733 264 0 24 24 12
8.58/1.76 c 2077 12645 4025312 200772 264 0 14 14 7
8.58/1.76 c 2078 12658 4031497 200958 264 0 13 13 6
8.58/1.76 c 2172 15403 4810331 216003 264 0 26 26 13
8.58/1.76 c 2079 12661 4033701 201058 264 0 3 3 1
8.58/1.76 c 2173 15420 4816333 216198 264 0 17 17 8
8.58/1.76 c 2080 12673 4039122 201204 264 0 12 12 6
8.58/1.77 c 2081 12687 4044796 201365 264 0 14 14 7
8.58/1.77 c 2174 15444 4825170 216439 264 0 24 24 12
8.58/1.77 c 2082 12700 4050981 201551 264 0 13 13 6
8.58/1.77 c 2083 12703 4053185 201651 264 0 3 3 1
8.58/1.77 c 2175 15470 4834946 216709 264 0 26 26 13
8.58/1.77 c 2084 12715 4058606 201797 264 0 12 12 6
8.58/1.77 c 2085 12729 4064280 201958 264 0 14 14 7
8.58/1.77 c 2086 12742 4070465 202144 264 0 13 13 6
8.58/1.77 c 2087 12745 4072150 202217 264 0 3 3 1
8.58/1.77 c 2088 12757 4077571 202363 264 0 12 12 6
8.58/1.77 c 2089 12771 4083245 202524 264 0 14 14 7
8.58/1.77 c 3551 14788 4922777 277223 264 0 13 34 30
8.58/1.77 c 2090 12784 4089430 202710 264 0 13 13 6
8.58/1.78 c 2091 12787 4091115 202783 264 0 3 3 1
8.58/1.78 c 2092 12799 4096536 202929 264 0 12 12 6
8.58/1.78 c 2093 12813 4102210 203090 264 0 14 14 7
8.58/1.78 c 2094 12826 4108395 203276 264 0 13 13 6
8.58/1.78 c 2095 12829 4110080 203349 264 0 3 3 1
8.58/1.78 c 2096 12841 4115501 203495 264 0 12 12 6
8.58/1.78 c 2097 12855 4121175 203656 264 0 14 14 7
8.58/1.78 c 2098 12868 4127360 203842 264 0 13 13 6
8.58/1.78 c 2099 12871 4129045 203915 264 0 3 3 1
8.58/1.80 c 2100 12883 4134466 204061 264 0 12 12 6
8.58/1.80 c 2101 12897 4140140 204222 264 0 14 14 7
8.58/1.80 c 2102 12910 4146325 204408 264 0 13 13 6
8.58/1.80 c 2103 12913 4148010 204481 264 0 3 3 1
8.58/1.80 c 2104 12925 4153431 204627 264 0 12 12 6
8.58/1.80 c 2105 12939 4159105 204788 264 0 14 14 7
8.58/1.80 c 2106 12952 4165332 204975 264 0 13 13 6
8.58/1.80 c 2107 12955 4167017 205048 264 0 3 3 1
8.58/1.80 c 2108 12967 4172438 205194 264 0 12 12 6
9.38/1.81 c 2109 12981 4178112 205355 264 0 14 14 7
9.38/1.81 c 2110 12994 4184339 205542 264 0 13 13 6
9.38/1.81 c 2111 12997 4186024 205615 264 0 3 3 1
9.38/1.81 c 2112 13009 4191610 205765 264 0 12 12 6
9.38/1.81 c 2113 13023 4197284 205926 264 0 14 14 7
9.38/1.81 c 2114 13036 4203511 206113 264 0 13 13 6
9.38/1.81 c 2115 13039 4205196 206186 264 0 3 3 1
9.38/1.81 c 2116 13051 4210782 206336 264 0 12 12 6
9.38/1.81 c 2117 13065 4216456 206497 264 0 14 14 7
9.38/1.82 c 2118 13078 4222634 206677 264 0 13 13 6
9.38/1.82 c 2119 13081 4224319 206750 264 0 3 3 1
9.38/1.82 c 2120 13093 4229740 206896 264 0 12 12 6
9.38/1.82 c 2121 13107 4235414 207057 264 0 14 14 7
9.38/1.82 c 2122 13120 4241641 207244 264 0 13 13 6
9.38/1.82 c 2123 13123 4243326 207317 264 0 3 3 1
9.38/1.82 c 2124 13135 4248912 207467 264 0 12 12 6
9.38/1.82 c 2125 13149 4254586 207628 264 0 14 14 7
9.38/1.82 c 2126 13158 4259003 207765 264 0 9 9 4
9.38/1.83 c 2127 13172 4264977 207945 264 0 14 14 7
9.38/1.83 c 2128 13175 4266662 208018 264 0 3 3 1
9.38/1.83 c 2129 13187 4272083 208164 264 0 12 12 6
9.38/1.83 c 2130 13201 4277757 208325 264 0 14 14 7
9.38/1.83 c 2131 13210 4282049 208459 264 0 9 9 4
9.38/1.83 c 2132 13224 4288072 208646 264 0 14 14 7
9.38/1.83 c 2133 13227 4289757 208719 264 0 3 3 1
9.38/1.83 c 2134 13239 4295343 208869 264 0 12 12 6
9.38/1.83 c 2135 13253 4301017 209030 264 0 14 14 7
9.38/1.83 c 2136 13262 4305434 209167 264 0 9 9 4
9.38/1.84 c 2137 13276 4311408 209347 264 0 14 14 7
9.38/1.84 c 2138 13279 4313093 209420 264 0 3 3 1
9.38/1.84 c 2139 13291 4318514 209566 264 0 12 12 6
9.38/1.84 c 2140 13305 4324188 209727 264 0 14 14 7
9.38/1.84 c 5035 19127 5960529 341511 264 0 12 28 23
9.38/1.84 c 2141 13314 4328480 209861 264 0 9 9 4
9.38/1.84 c 2142 13328 4334503 210048 264 0 14 14 7
9.38/1.84 c 2143 13331 4336188 210121 264 0 3 3 1
9.38/1.84 c 2144 13343 4341774 210271 264 0 12 12 6
9.38/1.84 c 2145 13357 4347448 210432 264 0 14 14 7
9.38/1.84 c 2146 13366 4351865 210569 264 0 9 9 4
9.38/1.85 c 2147 13380 4357839 210749 264 0 14 14 7
9.38/1.85 c 2148 13383 4359524 210822 264 0 3 3 1
9.38/1.85 c 2149 13395 4364945 210968 264 0 12 12 6
9.38/1.85 c 2150 13409 4370619 211129 264 0 14 14 7
9.38/1.85 c 2151 13418 4374911 211263 264 0 9 9 4
9.38/1.85 c 2152 13432 4380934 211450 264 0 14 14 7
9.38/1.85 c 2153 13435 4382619 211523 264 0 3 3 1
9.38/1.85 c 2154 13447 4388205 211673 264 0 12 12 6
9.38/1.85 c 2155 13461 4393879 211834 264 0 14 14 7
9.38/1.85 c 2156 13470 4398296 211971 264 0 9 9 4
9.38/1.86 c 2157 13484 4404270 212151 264 0 14 14 7
9.38/1.86 c 4000 16877 5333635 292942 264 0 18 29 26
9.38/1.86 c 2158 13487 4405955 212224 264 0 3 3 1
9.38/1.86 c 2159 13499 4411376 212370 264 0 12 12 6
9.38/1.86 c 2160 13513 4417050 212531 264 0 14 14 7
9.38/1.86 c 2161 13522 4421342 212661 264 0 9 9 4
9.38/1.86 c 2162 13536 4427078 212846 264 0 14 14 7
9.38/1.86 c 2163 13548 4432489 212992 264 0 12 12 6
9.38/1.86 c 2164 13562 4438163 213153 264 0 14 14 7
9.38/1.86 c 2165 13571 4442455 213283 264 0 9 9 4
9.38/1.87 c 2166 13585 4448191 213468 264 0 14 14 7
9.38/1.87 c 2167 13597 4453602 213614 264 0 12 12 6
9.38/1.87 c 2168 13611 4459276 213775 264 0 14 14 7
9.38/1.87 c 2169 13620 4463568 213905 264 0 9 9 4
9.38/1.87 c 2170 13634 4469304 214090 264 0 14 14 7
9.38/1.87 c 2171 13646 4474715 214236 264 0 12 12 6
9.38/1.87 c 2172 13660 4480389 214397 264 0 14 14 7
9.38/1.87 c 4000 16132 5411248 305519 264 0 17 34 26
9.38/1.87 c 2173 13669 4484681 214527 264 0 9 9 4
9.38/1.87 c 2174 13683 4490417 214712 264 0 14 14 7
9.38/1.87 c 4000 16857 5093195 284114 264 0 18 31 26
9.38/1.88 c 2175 13695 4495828 214858 264 0 12 12 6
10.18/1.94 c 4096 20171 6340809 306306 264 0 8 29 21
10.18/1.95 c 4097 20197 6351206 306562 264 0 26 26 13
10.18/1.95 c 4098 20224 6362536 306859 264 0 27 27 13
10.18/1.95 c 4099 20249 6373246 307145 264 0 25 25 12
10.18/1.95 c 4100 20276 6383959 307409 264 0 27 27 13
10.18/1.96 c 4101 20303 6395289 307706 264 0 27 27 13
10.18/1.96 c 4102 20328 6405999 307992 264 0 25 25 12
10.18/1.96 c 5631 21280 6661660 381039 264 0 18 30 26
10.18/1.96 c 4103 20355 6416712 308256 264 0 27 27 13
10.18/1.96 c 4104 20382 6428042 308553 264 0 27 27 13
10.18/1.96 c 4105 20407 6438752 308839 264 0 25 25 12
10.18/1.97 c 4106 20434 6449465 309103 264 0 27 27 13
10.18/1.97 c 4107 20461 6460795 309400 264 0 27 27 13
10.18/1.97 c 4108 20486 6471505 309686 264 0 25 25 12
10.18/1.97 c 4109 20513 6482218 309950 264 0 27 27 13
10.18/1.98 c 4110 20540 6493548 310247 264 0 27 27 13
10.18/1.98 c 4493 18615 5995075 329829 264 0 13 29 19
10.18/1.98 c 4111 20565 6504258 310533 264 0 25 25 12
10.18/1.98 c 4112 20592 6514971 310797 264 0 27 27 13
10.18/1.98 c 4493 18749 5645208 313928 264 0 6 33 29
10.18/1.98 c 4113 20619 6526301 311094 264 0 27 27 13
10.18/1.98 c 4114 20644 6537011 311380 264 0 25 25 12
10.18/1.99 c 4115 20671 6547724 311644 264 0 27 27 13
10.18/1.99 c 4116 20698 6559054 311941 264 0 27 27 13
10.18/1.99 c 4117 20723 6569764 312227 264 0 25 25 12
10.18/1.99 c 4118 20750 6580477 312491 264 0 27 27 13
10.18/1.99 c 4119 20777 6591807 312788 264 0 27 27 13
10.18/2.00 c 4120 20802 6602517 313074 264 0 25 25 12
10.18/2.00 c 4121 20829 6613230 313338 264 0 27 27 13
10.18/2.00 c 4122 20856 6624560 313635 264 0 27 27 13
10.18/2.00 c 4123 20881 6635270 313921 264 0 25 25 12
10.18/2.00 c 4124 20908 6645983 314185 264 0 27 27 13
10.18/2.00 c 4493 18082 6152893 345562 264 0 21 34 29
11.03/2.01 c 4125 20935 6657313 314482 264 0 27 27 13
11.03/2.01 c 4126 20960 6668023 314768 264 0 25 25 12
11.03/2.01 c 4127 20987 6678736 315032 264 0 27 27 13
11.03/2.01 c 4128 21014 6690066 315329 264 0 27 27 13
11.03/2.02 c 4129 21039 6700776 315615 264 0 25 25 12
11.03/2.02 c 4130 21066 6711489 315879 264 0 27 27 13
11.03/2.02 c 4131 21093 6722819 316176 264 0 27 27 13
11.03/2.02 c 4132 21118 6733529 316462 264 0 25 25 12
11.03/2.02 c 4133 21145 6744242 316726 264 0 27 27 13
11.03/2.04 c 4134 21172 6755572 317023 264 0 27 27 13
11.03/2.04 c 4135 21197 6766282 317309 264 0 25 25 12
11.03/2.04 c 4136 21224 6776995 317573 264 0 27 27 13
11.03/2.04 c 4137 21251 6788325 317870 264 0 27 27 13
11.03/2.04 c 4138 21276 6799035 318156 264 0 25 25 12
11.03/2.05 c 4139 21303 6809748 318420 264 0 27 27 13
11.03/2.05 c 4140 21330 6821078 318717 264 0 27 27 13
11.03/2.05 c 4141 21355 6831788 319003 264 0 25 25 12
11.03/2.05 c 4142 21382 6842501 319267 264 0 27 27 13
11.03/2.06 c 4143 21409 6853831 319564 264 0 27 27 13
11.03/2.06 c 4144 21434 6864541 319850 264 0 25 25 12
11.03/2.06 c 4145 21461 6875455 320140 264 0 27 27 13
11.03/2.06 c 4146 21486 6885398 320393 264 0 25 25 12
11.03/2.06 c 4147 21498 6888984 320506 264 0 12 12 6
11.03/2.06 c 4148 21525 6899702 320783 264 0 27 27 13
11.03/2.07 c 4149 21552 6910415 321047 264 0 27 27 13
11.03/2.07 c 4150 21579 6921745 321344 264 0 27 27 13
11.03/2.07 c 4151 21604 6932455 321630 264 0 25 25 12
11.03/2.07 c 4152 21631 6943369 321920 264 0 27 27 13
11.03/2.07 c 4153 21656 6953312 322173 264 0 25 25 12
11.03/2.08 c 4154 21668 6956898 322286 264 0 12 12 6
11.03/2.08 c 4155 21695 6967616 322563 264 0 27 27 13
11.03/2.08 c 4156 21722 6978530 322853 264 0 27 27 13
11.03/2.08 c 4157 21747 6988473 323106 264 0 25 25 12
11.03/2.08 c 4158 21759 6992059 323219 264 0 12 12 6
11.03/2.08 c 4159 21786 7002777 323496 264 0 27 27 13
11.03/2.09 c 4160 21813 7013691 323786 264 0 27 27 13
11.03/2.09 c 4161 21838 7023634 324039 264 0 25 25 12
11.03/2.09 c 4162 21850 7027220 324152 264 0 12 12 6
11.03/2.09 c 6286 23652 7385454 426638 264 0 16 31 24
11.03/2.09 c 4163 21877 7037938 324429 264 0 27 27 13
11.03/2.09 c 4164 21904 7048743 324713 264 0 27 27 13
11.03/2.10 c 4165 21929 7059453 324999 264 0 25 25 12
11.03/2.10 c 4166 21956 7070258 325283 264 0 27 27 13
11.03/2.10 c 4167 21981 7080968 325569 264 0 25 25 12
11.03/2.10 c 5035 20398 6259491 350011 264 0 9 25 15
11.03/2.10 c 4168 22008 7091773 325853 264 0 27 27 13
11.03/2.10 c 4169 22033 7102483 326139 264 0 25 25 12
11.85/2.11 c 4170 22060 7113288 326423 264 0 27 27 13
11.85/2.11 c 5000 20740 6728300 370067 264 0 8 29 23
11.85/2.11 c 4171 22085 7124000 326709 264 0 25 25 12
11.85/2.11 c 4172 22112 7134759 326992 264 0 27 27 13
11.85/2.11 c 4173 22137 7145423 327277 264 0 25 25 12
11.85/2.11 c 4174 22164 7156182 327560 264 0 27 27 13
11.85/2.11 c 5035 20914 6779292 372523 264 0 7 29 23
11.85/2.12 c 4175 22189 7166846 327845 264 0 25 25 12
11.85/2.12 c 4176 22216 7177605 328128 264 0 27 27 13
11.85/2.12 c 4177 22241 7188269 328413 264 0 25 25 12
11.85/2.12 c 4178 22268 7199028 328696 264 0 27 27 13
11.85/2.13 c 4179 22293 7209692 328981 264 0 25 25 12
11.85/2.13 c 5000 19912 6806092 381580 264 0 6 34 24
11.85/2.13 c 4096 21736 7059813 347680 264 0 4 29 13
11.85/2.13 c 4180 22320 7220451 329264 264 0 27 27 13
11.85/2.13 c 4097 21763 7072932 348068 264 0 27 27 13
11.85/2.13 c 4181 22345 7231115 329549 264 0 25 25 12
11.85/2.13 c 4182 22372 7241874 329832 264 0 27 27 13
11.85/2.13 c 4098 21792 7084687 348386 264 0 29 29 14
11.85/2.13 c 4183 22397 7252538 330117 264 0 25 25 12
11.85/2.13 c 4099 21818 7095997 348709 264 0 26 26 13
11.85/2.15 c 4184 22424 7263297 330400 264 0 27 27 13
11.85/2.15 c 4100 21846 7106142 348981 264 0 28 28 14
11.85/2.15 c 5035 20082 6871403 384587 264 0 18 30 23
11.85/2.15 c 4101 21872 7115867 349248 264 0 26 26 13
11.85/2.15 c 4185 22449 7273961 330685 264 0 25 25 12
11.85/2.15 c 4102 21900 7126012 349520 264 0 28 28 14
11.85/2.15 c 4186 22476 7284720 330968 264 0 27 27 13
11.85/2.15 c 4103 21926 7135737 349787 264 0 26 26 13
11.85/2.15 c 4187 22501 7295384 331253 264 0 25 25 12
11.85/2.15 c 4104 21954 7145882 350059 264 0 28 28 14
11.85/2.15 c 4188 22528 7306143 331536 264 0 27 27 13
11.85/2.16 c 4105 21980 7155607 350326 264 0 26 26 13
11.85/2.16 c 4189 22553 7316807 331821 264 0 25 25 12
11.85/2.16 c 4106 22008 7165752 350598 264 0 28 28 14
11.85/2.16 c 4190 22580 7327566 332104 264 0 27 27 13
11.85/2.16 c 4107 22034 7175477 350865 264 0 26 26 13
11.85/2.16 c 4191 22605 7338230 332389 264 0 25 25 12
11.85/2.16 c 4108 22062 7185622 351137 264 0 28 28 14
11.85/2.16 c 4192 22632 7348989 332672 264 0 27 27 13
11.85/2.16 c 4109 22088 7195347 351404 264 0 26 26 13
11.85/2.16 c 4193 22657 7359653 332957 264 0 25 25 12
11.85/2.17 c 4110 22116 7205492 351676 264 0 28 28 14
11.85/2.17 c 4194 22684 7370412 333240 264 0 27 27 13
11.85/2.17 c 4111 22142 7215217 351943 264 0 26 26 13
11.85/2.17 c 4195 22709 7381076 333525 264 0 25 25 12
11.85/2.17 c 4112 22170 7225362 352215 264 0 28 28 14
11.85/2.17 c 4196 22736 7391835 333808 264 0 27 27 13
11.85/2.17 c 4113 22196 7235087 352482 264 0 26 26 13
11.85/2.17 c 4197 22761 7402499 334093 264 0 25 25 12
11.85/2.18 c 4114 22224 7245232 352754 264 0 28 28 14
11.85/2.18 c 4198 22788 7413258 334376 264 0 27 27 13
11.85/2.18 c 4115 22250 7254957 353021 264 0 26 26 13
11.85/2.18 c 4199 22813 7423922 334661 264 0 25 25 12
11.85/2.18 c 4116 22278 7265102 353293 264 0 28 28 14
11.85/2.18 c 4200 22840 7434681 334944 264 0 27 27 13
11.85/2.18 c 4117 22304 7274827 353560 264 0 26 26 13
11.85/2.18 c 4201 22865 7445345 335229 264 0 25 25 12
11.85/2.18 c 4118 22332 7284972 353832 264 0 28 28 14
11.85/2.18 c 4202 22892 7456104 335512 264 0 27 27 13
11.85/2.19 c 4119 22358 7294697 354099 264 0 26 26 13
11.85/2.19 c 4203 22917 7466768 335797 264 0 25 25 12
11.85/2.19 c 4120 22386 7304842 354371 264 0 28 28 14
11.85/2.19 c 4204 22944 7477527 336080 264 0 27 27 13
11.85/2.19 c 4121 22412 7314567 354638 264 0 26 26 13
11.85/2.19 c 4205 22969 7488191 336365 264 0 25 25 12
11.85/2.19 c 4122 22440 7324712 354910 264 0 28 28 14
11.85/2.19 c 4206 22996 7498950 336648 264 0 27 27 13
11.85/2.19 c 4123 22466 7334437 355177 264 0 26 26 13
11.85/2.19 c 4207 23021 7509614 336933 264 0 25 25 12
12.56/2.20 c 4124 22494 7344582 355449 264 0 28 28 14
12.56/2.20 c 4208 23048 7520373 337216 264 0 27 27 13
12.56/2.20 c 4125 22520 7354307 355716 264 0 26 26 13
12.56/2.20 c 4209 23073 7531037 337501 264 0 25 25 12
12.56/2.20 c 4126 22548 7364452 355988 264 0 28 28 14
12.56/2.20 c 4210 23100 7541796 337784 264 0 27 27 13c 4127
12.56/2.20 22574 7374177 356255 264 0 26 26 13
12.56/2.22 c 4128 22602 7384322 356527 264 0 28 28 14
12.56/2.22 c 4211 23125 7552460 338069 264 0 25 25 12
12.56/2.22 c 4129 22628 7394047 356794 264 0 26 26 13
12.56/2.22 c 4212 23152 7563219 338352 264 0 27 27 13
12.56/2.22 c 4130 22656 7404192 357066 264 0 28 28 14
12.56/2.22 c 4213 23177 7573883 338637 264 0 25 25 12
12.56/2.22 c 4000 22789 7432115 361341 264 0 15 35 28
12.56/2.22 c 4131 22682 7413917 357333 264 0 26 26 13
12.56/2.22 c 4214 23204 7584642 338920 264 0 27 27 13
12.56/2.22 c 4132 22710 7424062 357605 264 0 28 28 14
12.56/2.22 c 4215 23229 7595306 339205 264 0 25 25 12
12.56/2.23 c 4133 22736 7433787 357872 264 0 26 26 13
12.56/2.23 c 4216 23256 7606065 339488 264 0 27 27 13
12.56/2.23 c 4134 22764 7443932 358144 264 0 28 28 14
12.56/2.23 c 4217 23281 7616729 339773 264 0 25 25 12
12.56/2.23 c 4135 22790 7453657 358411 264 0 26 26 13
12.56/2.23 c 4218 23308 7627488 340056 264 0 27 27 13
12.56/2.23 c 4219 23333 7638152 340341 264 0 25 25 12
12.56/2.23 c 4136 22818 7463802 358683 264 0 28 28 14
12.56/2.24 c 4137 22844 7473527 358950 264 0 26 26 13
12.56/2.24 c 4220 23360 7648911 340624 264 0 27 27 13
12.56/2.24 c 7000 26260 8146723 469633 264 0 5 32 28
12.56/2.24 c 4138 22873 7483765 359221 264 0 29 29 14
12.56/2.24 c 4221 23385 7659575 340909 264 0 25 25 12
12.56/2.24 c 4096 23110 7539098 367365 264 0 18 34 22
12.56/2.24 c 4139 22899 7493490 359488 264 0 26 26 13
12.56/2.24 c 4222 23412 7670334 341192 264 0 27 27 13
12.56/2.24 c 7006 26295 8157611 470056 264 0 22 25 20
12.56/2.24 c 4097 23133 7548178 367613 264 0 23 23 11
12.56/2.25 c 4140 22928 7503728 359759 264 0 29 29 14
12.56/2.25 c 4223 23437 7680998 341477 264 0 25 25 12
12.56/2.25 c 4098 23155 7556449 367836 264 0 22 22 11
12.56/2.25 c 4099 23168 7562343 368039 264 0 13 13 6
12.56/2.25 c 4141 22954 7513453 360026 264 0 26 26 13
12.56/2.25 c 4224 23464 7691757 341760 264 0 27 27 13
12.56/2.25 c 4100 23189 7570353 368257 264 0 21 21 10
12.56/2.25 c 4142 22983 7523691 360297 264 0 29 29 14
12.56/2.25 c 4225 23489 7702421 342045 264 0 25 25 12
12.56/2.25 c 4101 23211 7578624 368480 264 0 22 22 11
12.56/2.25 c 4102 23224 7584518 368683 264 0 13 13 6
12.56/2.25 c 4143 23009 7533416 360564 264 0 26 26 13
12.56/2.25 c 4226 23516 7713180 342328 264 0 27 27 13
12.56/2.25 c 5631 22413 6976435 393554 264 0 16 31 27
12.56/2.25 c 4103 23245 7592528 368901 264 0 21 21 10
12.56/2.25 c 4144 23038 7543654 360835 264 0 29 29 14
12.56/2.25 c 4227 23541 7723844 342613 264 0 25 25 12
12.56/2.25 c 4104 23267 7600799 369124 264 0 22 22 11
12.56/2.26 c 4105 23280 7606693 369327 264 0 13 13 6
12.56/2.26 c 4145 23064 7553379 361102 264 0 26 26 13
12.56/2.26 c 4228 23568 7734603 342896 264 0 27 27 13
12.56/2.26 c 4106 23301 7614703 369545 264 0 21 21 10
12.56/2.26 c 4146 23093 7563617 361373 264 0 29 29 14
12.56/2.26 c 4229 23593 7745267 343181 264 0 25 25 12
12.56/2.26 c 4107 23323 7622974 369768 264 0 22 22 11
12.56/2.26 c 4147 23119 7573342 361640 264 0 26 26 13
12.56/2.26 c 4108 23336 7628868 369971 264 0 13 13 6
12.56/2.26 c 4230 23620 7756026 343464 264 0 27 27 13
12.56/2.26 c 4109 23357 7636878 370189 264 0 21 21 10
12.56/2.26 c 4148 23148 7583580 361911 264 0 29 29 14
12.56/2.26 c 4231 23645 7766690 343749 264 0 25 25 12
12.56/2.26 c 4110 23379 7645149 370412 264 0 22 22 11
12.56/2.26 c 4149 23174 7593305 362178 264 0 26 26 13
12.56/2.26 c 4232 23672 7777449 344032 264 0 27 27 13
12.56/2.27 c 4111 23392 7651043 370615 264 0 13 13 6
12.56/2.27 c 4112 23413 7659053 370833 264 0 21 21 10
12.56/2.27 c 4150 23203 7603543 362449 264 0 29 29 14
12.56/2.27 c 4233 23697 7788113 344317 264 0 25 25 12
12.56/2.27 c 4113 23435 7667324 371056 264 0 22 22 11
12.56/2.27 c 5631 23318 7569808 419007 264 0 15 29 26
12.56/2.27 c 4151 23229 7613268 362716 264 0 26 26 13
12.56/2.27 c 4234 23724 7798872 344600 264 0 27 27 13
12.56/2.27 c 4114 23448 7673218 371259 264 0 13 13 6
12.56/2.27 c 4152 23258 7623506 362987 264 0 29 29 14
12.56/2.27 c 4115 23469 7681228 371477 264 0 21 21 10
12.56/2.27 c 4235 23749 7809536 344885 264 0 25 25 12
12.56/2.27 c 4116 23491 7689499 371700 264 0 22 22 11
12.56/2.27 c 4153 23284 7633231 363254 264 0 26 26 13
12.56/2.27 c 4236 23776 7820295 345168 264 0 27 27 13
12.56/2.27 c 4117 23504 7695393 371903 264 0 13 13 6
12.56/2.27 c 4154 23313 7643469 363525 264 0 29 29 14
12.56/2.27 c 4118 23525 7703403 372121 264 0 21 21 10
12.56/2.27 c 4237 23801 7830959 345453 264 0 25 25 12
12.56/2.28 c 4119 23547 7711674 372344 264 0 22 22 11
12.56/2.28 c 4155 23339 7653194 363792 264 0 26 26 13
12.56/2.28 c 4238 23828 7841718 345736 264 0 27 27 13
12.56/2.28 c 4120 23560 7717568 372547 264 0 13 13 6
12.56/2.28 c 4156 23368 7663432 364063 264 0 29 29 14
12.56/2.28 c 4239 23853 7852382 346021 264 0 25 25 12
12.56/2.28 c 4121 23581 7725578 372765 264 0 21 21 10
12.56/2.28 c 4157 23394 7673157 364330 264 0 26 26 13
12.56/2.28 c 4240 23876 7860086 346238 264 0 23 23 11
12.56/2.28 c 4122 23603 7733849 372988 264 0 22 22 11
12.56/2.28 c 4123 23616 7739743 373191 264 0 13 13 6
12.56/2.28 c 4158 23423 7683395 364601 264 0 29 29 14
12.56/2.28 c 4241 23903 7871595 346548 264 0 27 27 13
12.56/2.29 c 4124 23637 7747753 373409 264 0 21 21 10
12.56/2.29 c 4242 23926 7879783 346779 264 0 23 23 11
12.56/2.29 c 4159 23449 7693120 364868 264 0 26 26 13
12.56/2.29 c 4125 23659 7756024 373632 264 0 22 22 11
12.56/2.29 c 4126 23672 7761918 373835 264 0 13 13 6
12.56/2.29 c 4243 23953 7891292 347089 264 0 27 27 13
12.56/2.29 c 4160 23478 7703358 365139 264 0 29 29 14
12.56/2.29 c 4127 23693 7769928 374053 264 0 21 21 10
12.56/2.29 c 4244 23976 7899480 347320 264 0 23 23 11
12.56/2.29 c 4161 23504 7713083 365406 264 0 26 26 13
12.56/2.29 c 4128 23715 7778199 374276 264 0 22 22 11
12.56/2.29 c 4245 24003 7910989 347630 264 0 27 27 13
12.56/2.29 c 4129 23728 7784093 374479 264 0 13 13 6
12.56/2.29 c 4162 23533 7723321 365677 264 0 29 29 14
12.56/2.29 c 4246 24026 7919177 347861 264 0 23 23 11
12.56/2.29 c 4130 23749 7792103 374697 264 0 21 21 10
12.56/2.30 c 4163 23559 7733046 365944 264 0 26 26 13
13.36/2.31 c 4131 23771 7800374 374920 264 0 22 22 11
13.36/2.31 c 4247 24053 7930686 348171 264 0 27 27 13
13.36/2.31 c 4164 23588 7743284 366215 264 0 29 29 14
13.36/2.31 c 4132 23784 7806268 375123 264 0 13 13 6
13.36/2.31 c 4248 24076 7938874 348402 264 0 23 23 11
13.36/2.31 c 4133 23805 7814278 375341 264 0 21 21 10
13.36/2.31 c 4165 23614 7753009 366482 264 0 26 26 13
13.36/2.31 c 4249 24103 7950383 348712 264 0 27 27 13
13.36/2.31 c 4134 23827 7822549 375564 264 0 22 22 11
13.36/2.31 c 4166 23643 7763247 366753 264 0 29 29 14
13.36/2.31 c 4135 23840 7828443 375767 264 0 13 13 6
13.36/2.31 c 4250 24126 7958571 348943 264 0 23 23 11
13.36/2.31 c 4136 23861 7836453 375985 264 0 21 21 10
13.36/2.31 c 4167 23669 7772972 367020 264 0 26 26 13
13.36/2.31 c 4251 24153 7970080 349253 264 0 27 27 13
13.36/2.32 c 4137 23883 7844724 376208 264 0 22 22 11
13.36/2.32 c 4252 24176 7978268 349484 264 0 23 23 11
13.36/2.32 c 4168 23698 7783210 367291 264 0 29 29 14
13.36/2.32 c 4138 23896 7850618 376411 264 0 13 13 6
13.36/2.32 c 4169 23724 7792935 367558 264 0 26 26 13c 4253
13.36/2.32 24203 7989777 349794 264 0 27 27 13
13.36/2.32 c 4139 23917 7858322 376653 264 0 21 21 10
13.36/2.32 c 5631 22393 7739809 431974 264 0 17 32 28
13.36/2.32 c 4254 24226 7997965 350025 264 0 23 23 11
13.36/2.32 c 4140 23938 7867289 376910 264 0 21 21 10
13.36/2.32 c 4170 23753 7803173 367829 264 0 29 29 14
13.36/2.32 c 4141 23960 7875560 377133 264 0 22 22 11
13.36/2.32 c 4255 24253 8009474 350335 264 0 27 27 13
13.36/2.32 c 4171 23779 7812898 368096 264 0 26 26 13
13.36/2.32 c 4142 23973 7881454 377336 264 0 13 13 6
13.36/2.32 c 4256 24276 8017662 350566 264 0 23 23 11
13.36/2.32 c 4000 19738 6723705 341433 264 0 9 32 22
13.36/2.32 c 4143 23994 7889158 377578 264 0 21 21 10
13.36/2.32 c 4172 23808 7823136 368367 264 0 29 29 14
13.36/2.32 c 4257 24303 8029171 350876 264 0 27 27 13
13.36/2.32 c 4144 24015 7898125 377835 264 0 21 21 10
13.36/2.32 c 4173 23834 7832861 368634 264 0 26 26 13
13.36/2.33 c 4258 24326 8037359 351107 264 0 23 23 11
13.36/2.33 c 4145 24037 7906396 378058 264 0 22 22 11
13.36/2.33 c 4174 23863 7843099 368905 264 0 29 29 14
13.36/2.33 c 4146 24050 7912290 378261 264 0 13 13 6
13.36/2.33 c 4259 24353 8048868 351417 264 0 27 27 13
13.36/2.33 c 4147 24071 7919994 378503 264 0 21 21 10
13.36/2.33 c 4175 23889 7852824 369172 264 0 26 26 13
13.36/2.33 c 4260 24376 8057056 351648 264 0 23 23 11
13.36/2.33 c 4148 24092 7928961 378760 264 0 21 21 10
13.36/2.33 c 6000 23702 7388953 416857 264 0 12 33 23
13.36/2.33 c 4176 23918 7863062 369443 264 0 29 29 14
13.36/2.33 c 4261 24403 8068565 351958 264 0 27 27 13
13.36/2.33 c 4149 24114 7937232 378983 264 0 22 22 11
13.36/2.33 c 4177 23944 7872787 369710 264 0 26 26 13
13.36/2.33 c 4150 24127 7943126 379186 264 0 13 13 6
13.36/2.33 c 4262 24426 8076753 352189 264 0 23 23 11
13.36/2.33 c 4151 24148 7950830 379428 264 0 21 21 10
13.36/2.33 c 4178 23973 7883025 369981 264 0 29 29 14
13.36/2.33 c 4263 24453 8088262 352499 264 0 27 27 13
13.36/2.33 c 4152 24169 7959797 379685 264 0 21 21 10
13.36/2.34 c 4179 23999 7892750 370248 264 0 26 26 13
13.36/2.34 c 4264 24476 8096316 352728 264 0 23 23 11
13.36/2.34 c 4153 24191 7968068 379908 264 0 22 22 11
13.36/2.34 c 4154 24204 7973962 380111 264 0 13 13 6
13.36/2.34 c 4180 24028 7902988 370519 264 0 29 29 14
13.36/2.34 c 4265 24504 8107180 353004 264 0 28 28 14
13.36/2.34 c 4155 24225 7981666 380353 264 0 21 21 10
13.36/2.34 c 4181 24054 7912713 370786 264 0 26 26 13
13.36/2.34 c 4266 24531 8118553 353297 264 0 27 27 13
13.36/2.34 c 4156 24246 7990633 380610 264 0 21 21 10
13.36/2.34 c 4096 20130 6849378 348193 264 0 20 30 27
13.36/2.34 c 4267 24554 8126257 353514 264 0 23 23 11
13.36/2.34 c 4182 24083 7922951 371057 264 0 29 29 14
13.36/2.34 c 4157 24268 7998904 380833 264 0 22 22 11
13.36/2.34 c 4158 24281 8004798 381036 264 0 13 13 6
13.36/2.34 c 4097 20160 6861106 348576 264 0 30 30 15
13.36/2.34 c 4183 24109 7932676 371324 264 0 26 26 13
13.36/2.34 c 4268 24581 8137766 353824 264 0 27 27 13
13.36/2.34 c 4159 24302 8012502 381278 264 0 21 21 10
13.36/2.35 c 4098 20188 6871043 348831 264 0 28 28 14
13.36/2.35 c 4184 24139 7942962 371596 264 0 30 30 15
13.36/2.35 c 4269 24606 8149156 354142 264 0 25 25 12
13.36/2.36 c 4160 24323 8021469 381535 264 0 21 21 10
13.36/2.36 c 4270 24623 8156960 354358 264 0 17 17 8
13.36/2.36 c 4185 24165 7952687 371863 264 0 26 26 13
13.36/2.36 c 4161 24345 8029740 381758 264 0 22 22 11
13.36/2.36 c 4099 20219 6882078 349099 264 0 31 31 15
13.36/2.36 c 4162 24358 8035634 381961 264 0 13 13 6
13.36/2.36 c 4271 24651 8166900 354612 264 0 28 28 14
13.36/2.36 c 4186 24195 7962973 372135 264 0 30 30 15
13.36/2.36 c 4163 24379 8043338 382203 264 0 21 21 10
13.36/2.36 c 4100 20247 6892371 349367 264 0 28 28 14
13.36/2.36 c 4272 24676 8178290 354930 264 0 25 25 12
13.36/2.36 c 4187 24221 7972698 372402 264 0 26 26 13
13.36/2.36 c 4164 24400 8052305 382460 264 0 21 21 10
13.36/2.36 c 4101 20278 6903406 349635 264 0 31 31 15
13.36/2.36 c 4273 24693 8186094 355146 264 0 17 17 8
13.36/2.36 c 4165 24422 8060576 382683 264 0 22 22 11
13.36/2.36 c 4188 24251 7982984 372674 264 0 30 30 15
13.36/2.37 c 4166 24435 8066470 382886 264 0 13 13 6
13.36/2.37 c 4274 24721 c 8196034 355400 264 0 410220306 28 28 14 6913699
13.36/2.37 349903 264 0 28 28 14
13.36/2.37 c 4189 24277 7992709 372941 264 0 26 26 13
13.36/2.37 c 4167 24456 8074174 383128 264 0 21 21 10
13.36/2.37 c 4275 24746 8207424 355718 264 0 25 25 12
13.36/2.37 c 4103 20337 6924734 350171 264 0 31 31 15
13.36/2.37 c 4190 24307 8002995 373213 264 0 30 30 15
13.36/2.37 c 4168 24477 8083141 383385 264 0 21 21 10
13.36/2.37 c 4276 24763 8215228 355934 264 0 17 17 8
13.36/2.37 c 4104 20365 6935027 350439 264 0 28 28 14
13.36/2.37 c 4169 24499 8091412 383608 264 0 22 22 11
13.36/2.37 c 4191 24333 8012720 373480 264 0 26 26 13
13.36/2.37 c 6000 24787 8098637 447996 264 0 12 29 23
13.36/2.37 c 4277 24791 8225168 356188 264 0 28 28 14
13.36/2.37 c 4170 24512 8097306 383811 264 0 13 13 6
13.36/2.37 c 4105 20396 6946062 350707 264 0 31 31 15
13.36/2.37 c 4192 24363 8023006 373752 264 0 30 30 15
13.36/2.37 c 4171 24533 8105010 384053 264 0 21 21 10
13.36/2.37 c 4278 24816 8236558 356506 264 0 25 25 12
13.36/2.37 c 4172 24554 8113977 384310 264 0 21 21 10
13.36/2.37 c 4193 24389 8032731 374019 264 0 26 26 13
13.36/2.37 c 4106 20424 6956355 350975 264 0 28 28 14
13.36/2.37 c 4279 24833 8244362 356722 264 0 17 17 8
13.36/2.38 c 4173 24576 8122248 384533 264 0 22 22 11
13.36/2.38 c 4280 24861 8254302 356976 264 0 28 28 14
13.36/2.38 c 4194 24419 8043017 374291 264 0 30 30 15
13.36/2.38 c 4107 20455 6967390 351243 264 0 31 31 15
13.36/2.38 c 4174 24589 8128142 384736 264 0 13 13 6
13.36/2.38 c 4175 c 24610 4281 24886 8265692 357294 264 0 8135846 384978 264 0 21 21 10
13.36/2.38 c 4195 24445 8052742 25 25 12
13.36/2.38 374558 264 0 26 26 13
13.36/2.38 c 4108 20483 6977683 351511 264 0 28 28 14
13.36/2.38 c 4282 24903 8273496 357510 264 0 17 17 8
13.36/2.38 c 4176 24631 8144813 385235 264 0 21 21 10
13.36/2.38 c 4196 24475 8063028 374830 264 0 30 30 15
13.36/2.38 c 4109 20514 6988718 351779 264 0 31 31 15
13.36/2.38 c 4177 24653 8153084 385458 264 0 22 22 11
13.36/2.38 c 4283 24931 8283436 357764 264 0 28 28 14
13.36/2.38 c 4197 24501 8072753 375097 264 0 26 26 13
13.36/2.38 c 4178 24666 8158978 385661 264 0 13 13 6
13.36/2.38 c 4110 20542 6999011 352047 264 0 28 28 14
13.36/2.38 c 4284 24956 8294826 358082 264 0 25 25 12
13.36/2.38 c 4179 24687 8166682 385903 264 0 21 21 10
13.36/2.38 c 4198 24532 8083273 375369 264 0 31 31 15
13.36/2.38 c 6286 24712 7702425 436154 264 0 15 33 28
13.36/2.38 c 4285 24973 8302630 358298 264 0 17 17 8
13.36/2.38 c 4111 20573 7010046 352315 264 0 31 31 15
13.36/2.38 c 4180 24708 8175649 386160 264 0 21 21 10
13.36/2.38 c 4199 24558 8092998 375636 264 0 26 26 13
13.36/2.39 c 4286 25001 8312570 358552 264 0 28 28 14
13.36/2.39 c 4181 24730 8183920 386383 264 0 22 22 11
13.36/2.39 c 4112 20601 7020339 352583 264 0 28 28 14
13.36/2.39 c 4182 24743 8189814 386586 264 0 13 13 6
13.36/2.39 c 4200 24589 8103518 375908 264 0 31 31 15
13.36/2.39 c 4287 25026 8323960 358870 264 0 25 25 12
13.36/2.39 c 6000 23588 8154901 456659 264 0 10 20 16
13.36/2.39 c 4183 24764 8197518 386828 264 0 21 21 10
13.36/2.39 c 4113 20632 7031374 352851 264 0 31 31 15
13.36/2.39 c 4201 24615 8113243 376175 264 0 26 26 13
13.36/2.39 c 4288 25043 8331764 359086 264 0 17 17 8
13.36/2.39 c 4184 24785 8206485 387085 264 0 21 21 10
13.36/2.39 c 4114 20660 7041667 353119 264 0 28 28 14
13.36/2.39 c 4202 24646 8123763 376447 264 0 31 31 15
13.36/2.39 c 4289 25071 8341704 359340 264 0 28 28 14
13.36/2.39 c 4185 24807 8214756 387308 264 0 22 22 11
13.36/2.39 c 4186 24820 8220650 387511 264 0 13 13 6
13.36/2.39 c 4115 20691 7052702 353387 264 0 31 31 15
13.36/2.39 c 4203 24672 8133488 376714 264 0 26 26 13
13.36/2.39 c 4290 25096 8353094 359658 264 0 25 25 12
13.36/2.39 c 4187 24841 8228354 387753 264 0 21 21 10
14.16/2.40 c 4291 25113 8360898 359874 264 0 17 17 8
14.16/2.40 c 4116 20719 7062995 353655 264 0 28 28 14
14.16/2.40 c 4204 24703 8144008 376986 264 0 31 31 15
14.16/2.40 c 4188 24862 8237321 388010 264 0 21 21 10
14.16/2.40 c 4292 25141 8370838 360128 264 0 28 28 14
14.16/2.40 c 4117 20750 7074030 353923 264 0 31 31 15
14.16/2.40 c 4205 24729 8153733 377253 264 0 26 26 13
14.16/2.40 c 4189 24884 8245592 388233 264 0 22 22 11
14.16/2.40 c 4190 24897 8251486 388436 264 0 13 13 6
14.16/2.40 c 4293 25166 8382228 360446 264 0 25 25 12
14.16/2.40 c 4206 24760 8164253 377525 264 0 31 31 15
14.16/2.40 c 4118 20778 7084323 354191 264 0 28 28 14
14.16/2.40 c 4191 24918 8259190 388678 264 0 21 21 10
14.16/2.40 c 4294 25183 8390032 360662 264 0 17 17 8
14.16/2.40 c 4207 24786 8173978 377792 264 0 26 26 13
14.16/2.40 c 4192 24939 8268157 388935 264 0 21 21 10
14.16/2.40 c 4119 20809 7095358 354459 264 0 31 31 15
14.16/2.40 c 4295 25211 8399972 360916 264 0 28 28 14
14.16/2.40 c 4193 24961 8276428 389158 264 0 22 22 11
14.16/2.40 c 4208 24817 8184498 378064 264 0 31 31 15
14.16/2.40 c 4120 20837 7105651 354727 264 0 28 28 14
14.16/2.40 c 4194 24974 8282322 389361 264 0 13 13 6
14.16/2.41 c 4296 25236 8411362 361234 264 0 25 25 12
14.16/2.41 c 4209 24843 8194223 378331 264 0 26 26 13
14.16/2.41 c 4195 24995 8290026 389603 264 0 21 21 10
14.16/2.41 c 4297 25253 8419166 361450 264 0 17 17 8
14.16/2.41 c 4121 20868 7116686 354995 264 0 31 31 15
14.16/2.41 c 4196 25016 8298993 389860 264 0 21 21 10
14.16/2.41 c 4210 24874 8204743 378603 264 0 31 31 15
14.16/2.41 c 4298 25281 8429106 361704 264 0 28 28 14
14.16/2.41 c 4122 20896 7126979 355263 264 0 28 28 14
14.16/2.41 c 4197 25038 8307264 390083 264 0 22 22 11
14.16/2.41 c 4211 24900 8214468 378870 264 0 26 26 13
14.16/2.41 c 4198 25051 8313158 390286 264 0 13 13 6
14.16/2.41 c 4299 25306 8440496 362022 264 0 25 25 12
14.16/2.41 c 4123 20927 7138014 355531 264 0 31 31 15
14.16/2.41 c 4199 25072 8320862 390528 264 0 21 21 10
14.16/2.41 c 4300 25323 8448300 362238 264 0 17 17 8
14.16/2.41 c 4212 24931 8224988 379142 264 0 31 31 15
14.16/2.41 c 4124 20955 7148307 355799 264 0 28 28 14
14.16/2.41 c 4200 25093 8329829 390785 264 0 21 21 10
14.16/2.43 c 4301 25351 8458240 362492 264 0 28 28 14
14.16/2.43 c 4213 24957 8234713 379409 264 0 26 26 13
14.16/2.43 c 4201 25115 8338100 391008 264 0 22 22 11
14.16/2.43 c 4125 20986 7159342 356067 264 0 31 31 15
14.16/2.43 c 4302 25376 8469630 362810 264 0 25 25 12
14.16/2.43 c 4214 24988 8245233 379681 264 0 31 31 15
14.16/2.43 c 4202 25128 8343994 391211 264 0 13 13 6
14.16/2.43 c 4303 25393 8477434 363026 264 0 17 17 8
14.16/2.43 c 4126 21014 7169635 356335 264 0 28 28 14
14.16/2.43 c 4203 25149 8353365 391479 264 0 21 21 10
14.16/2.43 c 6286 25925 8468790 468974 264 0 19 29 26
14.16/2.43 c 4215 25014 8254958 379948 264 0 26 26 13
14.16/2.43 c 4304 25421 8487374 363280 264 0 28 28 14
14.16/2.43 c 4204 25171 8361636 391702 264 0 22 22 11
14.16/2.43 c 4216 25045 8265478 380220 264 0 31 31 15
14.16/2.43 c 4127 21045 7180670 356603 264 0 31 31 15
14.16/2.43 c 4205 25184 8367530 391905 264 0 13 13 6
14.16/2.43 c 4305 25446 8498764 363598 264 0 25 25 12
14.16/2.43 c 4217 25071 8275203 380487 264 0 26 26 13
14.16/2.43 c 4206 25205 8376901 392173 264 0 21 21 10
14.16/2.43 c 4128 21073 7190963 356871 264 0 28 28 14
14.16/2.44 c 4306 25463 8506568 363814 264 0 17 17 8
14.16/2.44 c 4207 25227 8385172 392396 264 0 22 22 11
14.16/2.44 c 4218 25102 8285723 380759 264 0 31 31 15
14.16/2.44 c 4129 21104 7201998 357139 264 0 31 31 15
14.16/2.44 c 4208 25240 8391066 392599 264 0 13 13 6
14.16/2.44 c 4307 25491 8516508 364068 264 0 28 28 14
14.16/2.44 c 4219 25128 8295448 381026 264 0 26 26 13
14.16/2.44 c 4209 25261 8400437 392867 264 0 21 21 10
14.16/2.44 c 4130 21132 7212291 357407 264 0 28 28 14
14.16/2.44 c 4308 25516 8527898 364386 264 0 25 25 12
14.16/2.44 c 4210 25283 8408708 393090 264 0 22 22 11
14.16/2.44 c 4220 25159 8305968 381298 264 0 31 31 15
14.16/2.44 c 4309 25533 8535702 364602 264 0 17 17 8
14.16/2.44 c 4131 21163 7223326 357675 264 0 31 31 15
14.16/2.44 c 4211 25296 8414602 393293 264 0 13 13 6
14.16/2.44 c 7798 29514 9214968 531588 264 0 5 32 25
14.16/2.44 c 4221 25185 8315693 381565 264 0 26 26 13
14.16/2.44 c 4310 25561 8545642 364856 264 0 28 28 14
14.16/2.44 c 4212 25317 8423973 393561 264 0 21 21 10
14.16/2.44 c 4132 21191 7233619 357943 264 0 28 28 14
14.16/2.44 c 4222 25216 8326213 381837 264 0 31 31 15
14.16/2.44 c 4311 25586 8557032 365174 264 0 25 25 12
14.16/2.44 c 4213 25339 8432244 393784 264 0 22 22 11
14.16/2.44 c 4133 21222 7244654 358211 264 0 31 31 15
14.16/2.44 c 4214 25352 8438138 393987 264 0 13 13 6
14.16/2.45 c 4312 25603 8564836 365390 264 0 17 17 8
14.16/2.45 c 4223 25242 8335938 382104 264 0 26 26 13
14.16/2.45 c 6286 24466 8481945 476483 264 0 16 31 24
14.16/2.45 c 4215 25373 8447509 394255 264 0 21 21 10
14.16/2.45 c 4134 21250 7254947 358479 264 0 28 28 14
14.16/2.45 c 4313 25631 8574776 365644 264 0 28 28 14
14.16/2.45 c 4224 25273 8346458 382376 264 0 31 31 15
14.16/2.45 c 4216 25395 8455780 394478 264 0 22 22 11
14.16/2.45 c 4314 25656 8586166 365962 264 0 25 25 12
14.16/2.45 c 4135 21281 7265982 358747 264 0 31 31 15
14.16/2.45 c 4217 25408 8461674 394681 264 0 13 13 6
14.16/2.45 c 4225 25299 8356183 382643 264 0 26 26 13
14.16/2.45 c 4315 25673 8593970 366178 264 0 17 17 8
14.16/2.45 c 4218 25429 8471045 394949 264 0 21 21 10
14.16/2.45 c 4136 21309 7276275 359015 264 0 28 28 14
14.16/2.45 c 4226 25330 8366703 382915 264 0 31 31 15
14.16/2.46 c 4316 25701 8603910 366432 264 0 28 28 14
14.16/2.46 c 4219 25451 8479316 395172 264 0 22 22 11
14.16/2.46 c 4227 25356 8376428 383182 264 0 26 26 13
14.16/2.46 c 4220 25464 8485210 395375 264 0 13 13 6
14.16/2.46 c 4137 21340 7287310 359283 264 0 31 31 15
14.16/2.46 c 4317 25726 8615300 366750 264 0 25 25 12
14.16/2.46 c 4221 25485 8494581 395643 264 0 21 21 10
14.16/2.46 c 4228 25387 8386948 383454 264 0 31 31 15
14.16/2.46 c 4138 21368 7297603 359551 264 0 28 28 14
14.16/2.46 c 4318 25743 8623104 366966 264 0 17 17 8
14.16/2.46 c 4222 25507 8502852 395866 264 0 22 22 11
14.16/2.46 c 4229 25413 8396673 383721 264 0 26 26 13
14.16/2.46 c 4319 25771 8633044 367220 264 0 28 28 14
14.16/2.46 c 4223 25520 8508746 396069 264 0 13 13 6
14.16/2.46 c 4139 21399 7308638 359819 264 0 31 31 15
14.16/2.46 c 4224 25541 8518117 396337 264 0 21 21 10
14.16/2.46 c 4230 25444 8407193 383993 264 0 31 31 15
14.16/2.46 c 4320 25796 8644434 367538 264 0 25 25 12
14.16/2.46 c 4140 21427 7318931 360087 264 0 28 28 14
14.16/2.46 c 4225 25563 8526388 396560 264 0 22 22 11
14.16/2.46 c 4321 25813 8652238 367754 264 0 17 17 8
14.16/2.46 c 4231 25470 8416918 384260 264 0 26 26 13
14.16/2.46 c 4226 25576 8532282 396763 264 0 13 13 6
14.16/2.46 c 4141 21458 7329966 360355 264 0 31 31 15
14.16/2.47 c 4322 25841 8662178 368008 264 0 28 28 14
14.16/2.47 c 4232 25501 8427438 384532 264 0 31 31 15
14.16/2.47 c 4227 25597 8541653 397031 264 0 21 21 10
14.16/2.47 c 4142 21486 7340259 360623 264 0 28 28 14
14.16/2.47 c 4323 25866 8673568 368326 264 0 25 25 12
14.16/2.47 c 4228 25619 8549924 397254 264 0 22 22 11
14.16/2.47 c 4233 25527 8437163 384799 264 0 26 26 13
14.16/2.47 c 4229 25632 8555818 397457 264 0 13 13 6
14.16/2.47 c 4324 25883 8681372 368542 264 0 17 17 8
14.16/2.47 c 4143 21517 7351294 360891 264 0 31 31 15
14.16/2.47 c 4234 25558 8447683 385071 264 0 31 31 15
14.16/2.47 c 4230 25653 8565189 397725 264 0 21 21 10
14.16/2.47 c 4325 25911 8691312 368796 264 0 28 28 14
14.16/2.47 c 4144 21545 7361587 361159 264 0 28 28 14
14.16/2.47 c 4235 25584 8457408 385338 264 0 26 26 13
14.16/2.47 c 4231 25675 8573460 397948 264 0 22 22 11
14.16/2.48 c 4326 25936 8702702 369114 264 0 25 25 12
14.16/2.48 c 4232 25688 8579354 398151 264 0 13 13 6
14.16/2.48 c 4145 21576 7372622 361427 264 0 31 31 15
14.16/2.48 c 4236 25615 8467928 385610 264 0 31 31 15
14.16/2.48 c 4327 25953 8710506 369330 264 0 17 17 8
14.16/2.48 c 4233 25709 8588725 398419 264 0 21 21 10
14.16/2.48 c 4146 21604 7382915 361695 264 0 28 28 14
14.16/2.48 c 4237 25641 8477653 385877 264 0 26 26 13
14.16/2.48 c 4328 25981 8720446 369584 264 0 28 28 14
14.16/2.48 c 4234 25731 8596996 398642 264 0 22 22 11
14.16/2.48 c 4235 25744 8602890 398845 264 0 13 13 6
14.16/2.48 c 4238 25672 8488173 386149 264 0 31 31 15
14.16/2.48 c 4147 21635 7393950 361963 264 0 31 31 15
14.16/2.48 c 4329 26006 8731836 369902 264 0 25 25 12
14.16/2.48 c 4236 25765 8612261 399113 264 0 21 21 10
14.16/2.48 c 4239 25698 8497898 386416 264 0 26 26 13
14.16/2.48 c 4148 21663 7404243 362231 264 0 28 28 14
14.16/2.48 c 4237 25787 8620532 399336 264 0 22 22 11
14.16/2.48 c 4330 26023 8739640 370118 264 0 17 17 8
14.16/2.48 c 4238 25800 8626426 399539 264 0 13 13 6
14.16/2.48 c 4240 25729 8508418 386688 264 0 31 31 15
14.16/2.48 c 4331 26051 8749580 370372 264 0 28 28 14
14.16/2.49 c 4149 21694 7415278 362499 264 0 31 31 15
14.16/2.49 c 4239 25821 8635797 399807 264 0 21 21 10
14.16/2.49 c 4241 25755 8518143 386955 264 0 26 26 13
14.16/2.49 c 4332 26076 8760970 370690 264 0 25 25 12
14.16/2.49 c 4240 25843 8644068 400030 264 0 22 22 11
14.16/2.49 c 4150 21722 7425571 362767 264 0 28 28 14
14.16/2.49 c 4242 25786 8528663 387227 264 0 31 31 15
14.16/2.49 c 4241 25856 8649962 400233 264 0 13 13 6
14.16/2.49 c 4333 26093 8768774 370906 264 0 17 17 8
14.16/2.49 c 4242 25877 8659333 400501 264 0 21 21 10
14.16/2.49 c 4151 21753 7436606 363035 264 0 31 31 15
14.16/2.49 c 4243 25812 8538388 387494 264 0 26 26 13
14.16/2.49 c 4334 26121 8778714 371160 264 0 28 28 14
14.16/2.49 c 4243 25899 8667604 400724 264 0 22 22 11
14.16/2.49 c 4244 25843 8548908 387766 264 0 31 31 15
14.16/2.49 c 4152 21781 7446899 363303 264 0 28 28 14
14.16/2.49 c 4335 26146 8790104 371478 264 0 25 25 12
14.16/2.49 c 4244 25912 8673498 400927 264 0 13 13 6
14.16/2.49 c 4336 26163 8797908 371694 264 0 17 17 8
14.16/2.49 c 4245 25869 8558633 388033 264 0 26 26 13
14.16/2.49 c 4245 25933 8682869 401195 264 0 21 21 10
14.16/2.49 c 4153 21812 7457934 363571 264 0 31 31 15
14.16/2.49 c 4337 26191 8807848 371948 264 0 28 28 14
14.16/2.49 c 4246 25955 8691140 401418 264 0 22 22 11
14.16/2.49 c 4246 25900 8569153 388305 264 0 31 31 15
14.95/2.50 c 4154 21840 7468227 363839 264 0 28 28 14
14.95/2.50 c 4247 25968 8697034 401621 264 0 13 13 6
14.95/2.50 c 4338 26216 8819238 372266 264 0 25 25 12
14.95/2.50 c 4247 25926 8578878 388572 264 0 26 26 13
14.95/2.50 c 4248 25989 8706405 401889 264 0 21 21 10
14.95/2.50 c 4339 26233 8827042 372482 264 0 17 17 8
14.95/2.50 c 4155 21871 7479262 364107 264 0 31 31 15
14.95/2.50 c 4248 25957 8589398 388844 264 0 31 31 15
14.95/2.50 c 4249 26011 8714676 402112 264 0 22 22 11
14.95/2.50 c 4340 26261 8836982 372736 264 0 28 28 14
14.95/2.50 c 4250 26024 8720570 402315 264 0 13 13 6
14.95/2.50 c 4156 21899 7489555 364375 264 0 28 28 14
14.95/2.50 c 4249 25983 8599123 389111 264 0 26 26 13
14.95/2.51 c 4251 26045 8729941 402583 264 0 21 21 10
14.95/2.51 c 4341 26286 8848372 373054 264 0 25 25 12
14.95/2.51 c 4157 21930 7500590 364643 264 0 31 31 15
14.95/2.51 c 4250 26014 8609643 389383 264 0 31 31 15
14.95/2.51 c 4342 26303 8856176 373270 264 0 17 17 8
14.95/2.51 c 4252 26069 8738787 402804 264 0 24 24 12
14.95/2.51 c 4253 26076 8742133 402932 264 0 7 7 3
14.95/2.51 c 7006 26844 8448343 484345 264 0 13 27 23
14.95/2.51 c 4158 21958 7510883 364911 264 0 28 28 14
14.95/2.51 c 4251 26040 8619368 389650 264 0 26 26 13
14.95/2.51 c 4343 26331 8866116 373524 264 0 28 28 14
14.95/2.51 c 4254 26097 8751818 403206 264 0 21 21 10
14.95/2.52 c 4252 26071 8629888 389922 264 0 31 31 15
14.95/2.52 c 4159 21989 7521918 365179 264 0 c 4344 26356 8877506 373842 264 0 25 25 12 31 31 15
14.95/2.52
14.95/2.52 c 4255 26121 8760664 403427 264 0 24 24 12
14.95/2.52 c 4256 26128 8764010 403555 264 0 7 7 3
14.95/2.52 c 4345 26373 8885310 374058 264 0 17 17 8
14.95/2.52 c 4253 26097 8639613 390189 264 0 26 26 13
14.95/2.52 c 4160 22017 7532211 365447 264 0 28 28 14
14.95/2.52 c 4257 26149 8773695 403829 264 0 21 21 10
14.95/2.52 c 4346 26401 8895250 374312 264 0 28 28 14
14.95/2.52 c 4254 26130 8650875 390477 264 0 33 33 16
14.95/2.52 c 4161 22048 7543246 365715 264 0 31 31 15
14.95/2.52 c 4258 26173 8782541 404050 264 0 24 24 12
14.95/2.52 c 4347 26426 8906640 374630 264 0 25 25 12
14.95/2.52 c 4259 26180 8785887 404178 264 0 7 7 3
14.95/2.52 c 4255 26158 8662419 390803 264 0 28 28 14
14.95/2.52 c 4162 22076 7553539 365983 264 0 28 28 14
14.95/2.52 c 4348 26443 8914444 374846 264 0 17 17 8
14.95/2.52 c 4260 26201 8795572 404452 264 0 21 21 10
14.95/2.52 c 4349 26471 8924384 375100 264 0 28 28 14
14.95/2.52 c 4256 26191 8673835 391087 264 0 33 33 16
14.95/2.53 c 4261 26225 8804418 404673 264 0 24 24 12
14.95/2.53 c 4163 22107 7564574 366251 264 0 31 31 15
14.95/2.53 c 4262 26232 8807764 404801 264 0 7 7 3
14.95/2.53 c 4350 26496 8935774 375418 264 0 25 25 12
14.95/2.53 c 4257 26219 8685379 391413 264 0 28 28 14
14.95/2.53 c 4164 22135 7574867 366519 264 0 28 28 14
14.95/2.53 c 4263 26253 8817449 405075 264 0 21 21 10
14.95/2.53 c 4351 26513 8943578 375634 264 0 17 17 8
14.95/2.53 c 4258 26252 8696795 391697 264 0 33 33 16
14.95/2.53 c 4264 26277 8826295 405296 264 0 24 24 12
14.95/2.53 c 4165 22166 7585902 366787 264 0 31 31 15
14.95/2.53 c 4265 26284 8829641 405424 264 0 7 7 3
14.95/2.53 c 4259 26280 8708339 392023 264 0 28 28 14
14.95/2.53 c 4266 26305 8839326 405698 264 0 21 21 10
14.95/2.53 c 4166 22194 7596195 367055 264 0 28 28 14
14.95/2.53 c 4267 26329 8848172 405919 264 0 24 24 12
14.95/2.53 c 4260 26313 8719755 392307 264 0 33 33 16
14.95/2.53 c 4167 22225 7607230 367323 264 0 31 31 15
14.95/2.54 c 4268 26336 8851518 406047 264 0 7 7 3
14.95/2.54 c 4261 26341 8731299 392633 264 0 28 28 14
14.95/2.54 c 4269 26357 8861203 406321 264 0 21 21 10
14.95/2.54 c 4168 22253 7617523 367591 264 0 28 28 14
14.95/2.54 c 4270 26381 8870049 406542 264 0 24 24 12
14.95/2.54 c 4262 26374 8742715 392917 264 0 33 33 16
14.95/2.54 c 4271 26388 8873395 406670 264 0 7 7 3
14.95/2.54 c 4169 22284 7628558 367859 264 0 31 31 15
14.95/2.54 c 4272 26409 8883080 406944 264 0 21 21 10
14.95/2.54 c 4263 26404 8752781 393175 264 0 30 30 15
14.95/2.54 c 4170 22312 7638851 368127 264 0 28 28 14
14.95/2.54 c 4273 26433 8891926 407165 264 0 24 24 12
14.95/2.54 c 4264 26437 8764153 393459 264 0 33 33 16
14.95/2.54 c 4171 22334 7646920 368329 264 0 22 22 11
14.95/2.54 c 4274 26440 8895272 407293 264 0 7 7 3
14.95/2.55 c 4275 26461 8904957 407567 264 0 21 21 10
14.95/2.55 c 4265 26467 8774611 393741 264 0 30 30 15
14.95/2.55 c 4172 22364 7658648 368712 264 0 30 30 15
14.95/2.55 c 4276 26485 8913803 407788 264 0 24 24 12
14.95/2.55 c 4266 26497 8784627 393997 264 0 30 30 15
14.95/2.55 c 4173 22392 7668585 368967 264 0 28 28 14
14.95/2.55 c 4277 26492 8917149 407916 264 0 7 7 3
14.95/2.55 c 4278 26513 8926834 408190 264 0 21 21 10
14.95/2.55 c 4174 22414 7676654 369169 264 0 22 22 11
14.95/2.55 c 4267 26530 8795999 394281 264 0 33 33 16
14.95/2.55 c 4279 26537 8935680 408411 264 0 24 24 12
14.95/2.55 c 4175 22444 7688382 369552 264 0 30 30 15
14.95/2.55 c 4280 26544 8939026 408539 264 0 c 4268 26560 8806457 394563 7 7 32640
14.95/2.55 30 30 15
14.95/2.56 c 4281 26565 8948711 408813 264 0 21 21 10
14.95/2.56 c 4176 22472 7698319 369807 264 0 28 28 14
14.95/2.56 c 4269 26590 8816473 394819 264 0 30 30 15
14.95/2.56 c 4282 26589 8957557 409034 264 0 24 24 12
14.95/2.56 c 4177 22494 7706388 370009 264 0 22 22 11
14.95/2.56 c 4283 26596 8960903 409162 264 0 7 7 3
14.95/2.56 c 4270 26623 8827845 395103 264 0 33 33 16
14.95/2.56 c 4178 22524 7718116 370392 264 0 30 30 15
14.95/2.56 c 4284 26617 8970588 409436 264 0 21 21 10
14.95/2.56 c 4271 26653 8837911 395361 264 0 30 30 15
14.95/2.56 c 4285 26641 8979434 409657 264 0 24 24 12
14.95/2.56 c 4179 22552 7728053 370647 264 0 28 28 14
14.95/2.56 c 4286 26648 8982780 409785 264 0 7 7 3
14.95/2.56 c 4272 26686 8849283 395645 264 0 33 33 16
14.95/2.56 c 4180 22574 7736122 370849 264 0 22 22 11
14.95/2.56 c 4287 26669 8992465 410059 264 0 21 21 10
14.95/2.56 c 4273 26716 8859741 395927 264 0 30 30 15
14.95/2.57 c 4288 26693 9001311 410280 264 0 24 24 12
14.95/2.57 c 4181 22604 7747850 371232 264 0 30 30 15
14.95/2.57 c 7006 28540 9357317 523716 264 0 13 29 24
14.95/2.57 c 4289 26700 9004657 410408 264 0 7 7 3
14.95/2.57 c 4274 26746 8869757 396183 264 0 30 30 15
14.95/2.57 c 4182 22632 7757787 371487 264 0 28 28 14
14.95/2.57 c 4290 26721 9014342 410682 264 0 21 21 10
14.95/2.57 c 4275 26776 8880859 396493 264 0 30 30 15
14.95/2.57 c 4183 22654 7765856 371689 264 0 22 22 11
14.95/2.57 c 4291 26745 9023188 410903 264 0 24 24 12
14.95/2.57 c 4292 26752 9026534 411031 264 0 7 7 3
14.95/2.57 c 4276 26806 8892542 396810 264 0 30 30 15
14.95/2.57 c 4184 22684 7777584 372072 264 0 30 30 15
14.95/2.57 c 4293 26773 9036219 411305 264 0 21 21 10
14.95/2.57 c 4277 26837 8903774 397111 264 0 31 31 15
14.95/2.57 c 4185 22712 7787521 372327 264 0 28 28 14
14.95/2.57 c 4294 26797 9045065 411526 264 0 24 24 12
14.95/2.58 c 4295 26804 9048459 411655 264 0 7 7 3
14.95/2.58 c 4278 26867 8913792 397367 264 0 30 30 15
14.95/2.58 c 4186 22734 7795636 372529 264 0 22 22 11
14.95/2.58 c 7000 26873 9269904 522654 264 0 13 34 29
14.95/2.58 c 4296 26829 9056911 411916 264 0 25 25 12
14.95/2.58 c 4279 26897 8924803 397674 264 0 30 30 15
14.95/2.58 c 4187 22764 7807362 372911 264 0 30 30 15
14.95/2.58 c 4297 26852 9065711 412137 264 0 23 23 11
14.95/2.58 c 4298 26859 9069057 412265 264 0 7 7 3
14.95/2.58 c 7006 26926 9289989 523576 264 0 16 29 23
14.95/2.58 c 4280 26927 8934773 397929 264 0 30 30 15
14.95/2.58 c 4188 22792 7817297 373165 264 0 28 28 14
14.95/2.58 c 4299 26884 9077509 412526 264 0 25 25 12
14.95/2.58 c 4281 26958 8945870 398227 264 0 31 31 15
14.95/2.58 c 4189 22814 7825364 373366 264 0 22 22 11
14.95/2.58 c 4300 26907 9086309 412747 264 0 23 23 11
14.95/2.59 c 4301 26914 9089655 412875 264 0 7 7 3
14.95/2.59 c 4282 26988 8957507 398543 264 0 30 30 15
14.95/2.59 c 4190 22844 7837090 373748 264 0 30 30 15
14.95/2.59 c 4302 26939 9098107 413136 264 0 25 25 12
14.95/2.59 c 4303 26962 9106907 413357 264 0 23 23 11
14.95/2.59 c 4283 27019 8968648 398841 264 0 31 31 15
14.95/2.59 c 4191 22872 7847025 374002 264 0 28 28 14
14.95/2.59 c 4304 26969 9110253 413485 264 0 7 7 3
14.95/2.59 c 4192 22894 7855092 374203 264 0 22 22 11
14.95/2.59 c 4305 26994 9118705 413746 264 0 25 25 12
14.95/2.59 c 4284 27049 8978618 399096 264 0 30 30 15
14.95/2.59 c 4306 27017 9127505 413967 264 0 23 23 11
14.95/2.59 c 4285 27080 8989715 399394 264 0 31 31 15
14.95/2.59 c 4193 22924 7866818 374585 264 0 30 30 15
14.95/2.59 c 4307 27024 9130851 414095 264 0 7 7 3
15.75/2.61 c 4308 27049 9139303 414356 264 0 25 25 12
15.75/2.61 c 4194 22952 7876753 374839 264 0 28 28 14
15.75/2.61 c 4286 27110 9001352 399710 264 0 30 30 15
15.75/2.61 c 4309 27072 9148103 414577 264 0 23 23 11
15.75/2.61 c 4195 22974 7884820 375040 264 0 22 22 11
15.75/2.61 c 4310 27079 9151449 414705 264 0 7 7 3
15.75/2.61 c 4287 27141 9012493 400008 264 0 31 31 15
15.75/2.61 c 4311 27102 9159317 414948 264 0 23 23 11
15.75/2.61 c 4196 23004 7896546 375422 264 0 30 30 15
15.75/2.61 c 4288 27171 9022463 400263 264 0 30 30 15
15.75/2.61 c 4312 27126 9167843 415204 264 0 24 24 12
15.75/2.61 c 4197 23032 7906481 375676 264 0 28 28 14
15.75/2.61 c 4289 27202 9033560 400561 264 0 31 31 15
15.75/2.61 c 4313 27150 9176464 415444 264 0 24 24 12
15.75/2.61 c c 4314 27175 9184684 415672 264 0 4198 23054 7914548 375877 25 25 12264 0
15.75/2.61 22 22 11
15.75/2.61 c 4290 27232 9045197 400877 264 0 30 30 15
15.75/2.62 c 4315 27198 9193484 415893 264 0 23 23 11
15.75/2.62 c 4199 23084 7926274 376259 264 0 30 30 15
15.75/2.62 c 4316 27205 9196830 416021 264 0 7 7 3
15.75/2.62 c 4291 27263 9056338 401175 264 0 31 31 15
15.75/2.62 c 4317 27228 9204698 416264 264 0 23 23 11
15.75/2.62 c 4200 23112 7936209 376513 264 0 28 28 14
15.75/2.62 c 4292 27291 9067182 401626 264 0 28 28 14
15.75/2.62 c 4318 27252 9213224 416520 264 0 24 24 12
15.75/2.62 c 4201 23134 7944276 376714 264 0 22 22 11
15.75/2.62 c 4293 27317 9076861 401892 264 0 26 26 13
15.75/2.62 c 4319 27276 9221845 416760 264 0 24 24 12
15.75/2.62 c 4202 23164 7956002 377096 264 0 30 30 15
15.75/2.62 c 4320 27301 9230065 416988 264 0 25 25 12
15.75/2.62 c 4294 27348 9087938 402196 264 0 31 31 15
15.75/2.63 c 4321 27324 9238865 417209 264 0 23 23 11
15.75/2.63 c 4203 23192 7965937 377350 264 0 28 28 14
15.75/2.63 c 4322 27331 9242211 417337 264 0 7 7 3
15.75/2.63 c 4295 27376 9098782 402647 264 0 28 28 14
15.75/2.63 c 4323 27354 9250079 417580 264 0 23 23 11
15.75/2.63 c 4204 23221 7975794 377602 264 0 29 29 14
15.75/2.63 c 4296 27402 9107829 402897 264 0 26 26 13
15.75/2.63 c 4324 27378 9258605 417836 264 0 24 24 12
15.75/2.63 c 4205 23244 7984102 377830 264 0 23 23 11
15.75/2.63 c 4297 27427 9117017 403154 264 0 25 25 12
15.75/2.63 c 4325 27402 9267226 418076 264 0 24 24 12
15.75/2.63 c 4206 23272 7994037 378084 264 0 28 28 14
15.75/2.63 c 4298 27458 9128094 403458 264 0 31 31 15
15.75/2.63 c 4326 27427 9275446 418304 264 0 25 25 12
15.75/2.63 c 4207 23301 8003894 378336 264 0 29 29 14
15.75/2.63 c 4327 27450 9284246 418525 264 0 23 23 11
15.75/2.63 c 4299 27486 9138938 403909 264 0 28 28 14
15.75/2.64 c 4328 27457 9287592 418653 264 0 7 7 3
15.75/2.64 c 4208 23324 8012202 378564 264 0 23 23 11
15.75/2.64 c 4300 27512 9147985 404159 264 0 26 26 13
15.75/2.64 c 4329 27480 9295460 418896 264 0 23 23 11
15.75/2.64 c 4301 27537 9157173 404416 264 0 25 25 12
15.75/2.64 c 4209 23352 8022137 378818 264 0 28 28 14
15.75/2.64 c 4330 27504 9303986 419152 264 0 24 24 12
15.75/2.64 c 4331 27529 9312661 419393 264 0 25 25 12
15.75/2.64 c 4302 27568 9168250 404720 264 0 31 31 15
15.75/2.64 c 4210 23381 8031994 379070 264 0 29 29 14
15.75/2.64 c 4332 27554 9320881 419621 264 0 25 25 12
15.75/2.64 c 4211 23404 8040302 379298 264 0 23 23 11
15.75/2.64 c 4303 27596 9179094 405171 264 0 28 28 14
15.75/2.64 c 4333 27577 9329681 419842 264 0 23 23 11
15.75/2.64 c 4334 27584 9333027 419970 264 0 7 7 3
15.75/2.64 c 4304 27622 9188141 405421 264 0 26 26 13
15.75/2.64 c 4212 23432 8050237 379552 264 0 28 28 14
15.75/2.65 c 4335 27607 9340895 420213 264 0 23 23 11
15.75/2.65 c 4305 27647 9197329 405678 264 0 25 25 12
15.75/2.65 c 4213 23461 8060094 379804 264 0 29 29 14
15.75/2.65 c 4336 27631 9349421 420469 264 0 24 24 12
15.75/2.65 c 4306 27678 9208406 405982 264 0 31 31 15
15.75/2.65 c 4214 23484 8068402 380032 264 0 23 23 11
15.75/2.65 c 4337 27656 9358096 420710 264 0 25 25 12
15.75/2.65 c 4307 27706 9219250 406433 264 0 28 28 14
15.75/2.65 c 4338 27681 9366316 420938 264 0 25 25 12
15.75/2.65 c 4215 23512 8078337 380286 264 0 28 28 14
15.75/2.65 c 4308 27732 9228297 406683 264 0 26 26 13
15.75/2.65 c 4339 27704 9375116 421159 264 0 23 23 11
15.75/2.65 c 4216 23541 8088194 380538 264 0 29 29 14
15.75/2.65 c 4340 27711 9378462 421287 264 0 7 7 3
15.75/2.65 c 4309 27757 9237485 406940 264 0 25 25 12
15.75/2.65 c c 5000 29044 9727535 417683 264 0 4341 27734 9386330 421530 264 0 16 29 25
15.75/2.65 23 23 11
15.75/2.65 c 4217 23564 8096502 380766 264 0 23 23 11
15.75/2.65 c 4310 27788 9248562 407244 264 0 31 31 15
15.75/2.65 c 4342 27758 9394856 421786 264 0 24 24 12
15.75/2.65 c 4218 23592 8106437 381020 264 0 28 28 14
15.75/2.66 c 4343 27783 9403531 422027 264 0 25 25 12
15.75/2.66 c 4311 27816 9259406 407695 264 0 28 28 14
15.75/2.66 c 4219 23621 8116294 381272 264 0 29 29 14
15.75/2.66 c 4344 27808 9411751 422255 264 0 25 25 12
15.75/2.66 c 4312 27842 9268453 407945 264 0 26 26 13
15.75/2.66 c 8669 33209 10353400 591351 264 0 19 32 29
15.75/2.66 c 4220 23644 8124602 381500 264 0 23 23 11
15.75/2.66 c 4345 27831 9420551 422476 264 0 23 23 11
15.75/2.66 c 4313 27867 9277641 408202 264 0 25 25 12
15.75/2.66 c 4346 27838 9423897 422604 264 0 7 7 3
15.75/2.66 c 4221 23672 8134537 381754 264 0 28 28 14
15.75/2.66 c 4347 27861 9431765 422847 264 0 23 23 11
15.75/2.66 c 4314 27898 9288718 408506 264 0 31 31 15
15.75/2.66 c 4222 23701 8144394 382006 264 0 29 29 14
15.75/2.66 c 4348 27885 9440291 423103 264 0 24 24 12
15.75/2.67 c 4315 27926 9299562 408957 264 0 28 28 14
15.75/2.67 c 4349 27910 9448966 423344 264 0 25 25 12
15.75/2.67 c 4223 23724 8152702 382234 264 0 23 23 11
15.75/2.67 c 4316 27952 9308609 409207 264 0 26 26 13
15.75/2.67 c 4350 27935 9457186 423572 264 0 25 25 12
15.75/2.67 c 4224 23752 8162637 382488 264 0 28 28 14
15.75/2.67 c 4317 27977 9317797 409464 264 0 25 25 12
15.75/2.67 c 4351 27958 9465986 423793 264 0 23 23 11
15.75/2.67 c 4225 23781 8172494 382740 264 0 29 29 14
15.75/2.67 c 4318 28008 9328874 409768 264 0 31 31 15
15.75/2.67 c 4226 23804 8180802 382968 264 0 23 23 11
15.75/2.67 c 4319 28036 9339718 410219 264 0 28 28 14
15.75/2.67 c 4227 23832 8190737 383222 264 0 28 28 14
15.75/2.69 c 4320 28062 9348765 410469 264 0 26 26 13
15.75/2.69 c 4228 23861 8200594 383474 264 0 29 29 14
15.75/2.69 c 4321 28087 9357953 410726 264 0 25 25 12
15.75/2.69 c 4229 23884 8208902 383702 264 0 23 23 11
15.75/2.69 c 4322 28118 9369030 411030 264 0 31 31 15
15.75/2.69 c 4230 23912 8218837 383956 264 0 28 28 14
15.75/2.69 c 4323 28146 9379874 411481 264 0 28 28 14
15.75/2.69 c 4324 28172 9388921 411731 264 0 26 26 13
15.75/2.69 c 4231 23941 8228694 384208 264 0 29 29 14
15.75/2.69 c 4325 28197 9398109 411988 264 0 25 25 12
15.75/2.69 c 4232 23964 8237001 384436 264 0 23 23 11
15.75/2.69 c 7798 30177 9438430 536947 264 0 5 33 29
16.55/2.70 c 4326 28228 9409186 412292 264 0 31 31 15
16.55/2.70 c 4233 23992 8246936 384690 264 0 28 28 14
16.55/2.70 c 4327 28256 9420030 412743 264 0 28 28 14
16.55/2.70 c 4234 24021 8256793 384942 264 0 29 29 14
16.55/2.70 c 4328 28282 9429077 412993 264 0 26 26 13
16.55/2.70 c 4235 24044 8265100 385170 264 0 23 23 11
16.55/2.70 c 4329 28307 9438265 413250 264 0 25 25 12
16.55/2.70 c 4236 24072 8275035 385424 264 0 28 28 14
16.55/2.71 c 4330 28338 9449342 413554 264 0 31 31 15
16.55/2.71 c 4237 24101 8284892 385676 264 0 29 29 14
16.55/2.71 c 4331 28366 9460186 414005 264 0 28 28 14
16.55/2.71 c 4238 24124 8293199 385904 264 0 23 23 11
16.55/2.71 c 4332 28392 9469233 414255 264 0 26 26 13
16.55/2.71 c 4239 24152 8303134 386158 264 0 28 28 14
16.55/2.71 c 4333 28417 9478421 414512 264 0 25 25 12
16.55/2.71 c 4240 24181 8312991 386410 264 0 29 29 14
16.55/2.71 c 4334 28448 9489498 414816 264 0 31 31 15
16.55/2.71 c 4241 24204 8321298 386638 264 0 23 23 11
16.55/2.72 c 4335 28476 9500342 415267 264 0 28 28 14
16.55/2.72 c 4242 24232 8331233 386892 264 0 28 28 14
16.55/2.72 c 4336 28502 9509389 415517 264 0 26 26 13
16.55/2.72 c 4337 28527 9518577 415774 264 0 25 25 12
16.55/2.72 c 4243 24261 8341090 387144 264 0 29 29 14
16.55/2.72 c 4244 24284 8349397 387372 264 0 23 23 11
16.55/2.72 c 4338 28558 9529602 416062 264 0 31 31 15
16.55/2.72 c 4339 28582 9539792 416456 264 0 24 24 12
16.55/2.72 c 4245 24312 8359332 387626 264 0 28 28 14
16.55/2.73 c 4340 28612 9550811 416762 264 0 30 30 15
16.55/2.73 c 4246 24341 8368912 387910 264 0 29 29 14
16.55/2.73 c 4247 24355 8373832 388089 264 0 14 14 7
16.55/2.73 c 4341 28640 9561655 417213 264 0 28 28 14
16.55/2.73 c 4248 24383 8383499 388339 264 0 28 28 14
16.55/2.73 c 4342 28667 9570902 417477 264 0 27 27 13
16.55/2.73 c 4249 24405 8391566 388540 264 0 22 22 11
16.55/2.73 c 4343 28692 9580090 417734 264 0 25 25 12
16.55/2.73 c 4250 24434 8402089 388799 264 0 29 29 14
16.55/2.73 c 4344 28722 9591089 418046 264 0 30 30 15
16.55/2.73 c 4251 24457 8410396 389027 264 0 23 23 11
16.55/2.74 c 4345 28750 9601933 418497 264 0 28 28 14
16.55/2.74 c 4252 24485 8420331 389281 264 0 28 28 14
16.55/2.74 c 4346 28777 9611180 418761 264 0 27 27 13
16.55/2.74 c 4253 24510 8428342 389479 264 0 25 25 12
16.55/2.74 c 4347 28802 9620368 419018 264 0 25 25 12
16.55/2.74 c 4254 24538 8438542 389747 264 0 28 28 14
16.55/2.74 c 4348 28833 9631453 419321 264 0 31 31 15
16.55/2.74 c 4255 24563 8446553 389945 264 0 25 25 12
16.55/2.74 c 4349 28861 9642297 419772 264 0 28 28 14
16.55/2.74 c 4256 24591 8456753 390213 264 0 28 28 14
16.55/2.74 c 4350 28888 9651544 420036 264 0 27 27 13
16.55/2.75 c 4351 28914 9660932 420307 264 0 26 26 13
16.55/2.75 c 4257 24616 8464764 390411 264 0 25 25 12
16.55/2.75 c 4258 24644 8474964 390679 264 0 28 28 14
16.55/2.75 c 4259 24669 8482975 390877 264 0 25 25 12
16.55/2.75 c 7798 31773 10479076 588487 264 0 5 29 25
16.55/2.75 c 4260 24697 8493175 391145 264 0 28 28 14
16.55/2.75 c 4261 24722 8501186 391343 264 0 25 25 12
16.55/2.76 c 4262 24750 8511386 391611 264 0 28 28 14
16.55/2.76 c 4263 24775 8519397 391809 264 0 25 25 12
16.55/2.76 c 9000 34891 10883143 620657 264 0 15 31 26
16.55/2.76 c 4264 24803 8529597 392077 264 0 28 28 14
16.55/2.76 c 4265 24828 8537608 392275 264 0 25 25 12
16.55/2.78 c 4266 24856 8547808 392543 264 0 28 28 14
16.55/2.78 c 4267 24881 8555819 392741 264 0 25 25 12
16.55/2.78 c 4268 24909 8566019 393009 264 0 28 28 14
16.55/2.78 c 4269 24934 8574030 393207 264 0 25 25 12
16.55/2.78 c 4270 24962 8584230 393475 264 0 28 28 14
16.55/2.79 c 4271 24987 8592241 393673 264 0 25 25 12
16.55/2.79 c 4272 25015 8602441 393941 264 0 28 28 14
16.55/2.79 c 4273 25040 8610452 394139 264 0 25 25 12
16.55/2.79 c 4274 25068 8620652 394407 264 0 28 28 14
16.55/2.79 c 4275 25093 8628663 394605 264 0 25 25 12
17.35/2.80 c 4276 25121 8638863 394873 264 0 28 28 14
17.35/2.80 c 4277 25146 8646874 395071 264 0 25 25 12
17.35/2.80 c 4278 25173 8656986 395345 264 0 27 27 13
17.35/2.80 c 4279 25196 8665293 395573 264 0 23 23 11
17.35/2.80 c 4280 25224 8675228 395827 264 0 28 28 14
17.35/2.81 c 4281 25249 8683239 396025 264 0 25 25 12
17.35/2.81 c 4282 25276 8693351 396299 264 0 27 27 13
17.35/2.81 c 4283 25299 8701658 396527 264 0 23 23 11
17.35/2.81 c 4284 25326 8711462 396788 264 0 27 27 13
17.35/2.81 c 5000 30327 10305616 471339 264 0 4 25 21
17.35/2.81 c 4285 25349 8719769 397016 264 0 23 23 11
17.35/2.82 c 4286 25376 8729573 397277 264 0 27 27 13
17.35/2.82 c 4287 25399 8737880 397505 264 0 23 23 11
17.35/2.82 c 4288 25426 8747684 397766 264 0 27 27 13
17.35/2.82 c 4289 25449 8755991 397994 264 0 23 23 11
17.35/2.82 c 4290 25476 8765795 398255 264 0 27 27 13
17.35/2.83 c 4291 25499 8774102 398483 264 0 23 23 11
17.35/2.83 c 4292 25526 8783906 398744 264 0 27 27 13
17.35/2.83 c 4293 25549 8792213 398972 264 0 23 23 11
17.35/2.83 c 7798 30765 10660744 598468 264 0 6 30 15
17.35/2.83 c 4294 25576 8802017 399233 264 0 27 27 13
17.35/2.83 c 4295 25599 8810324 399461 264 0 23 23 11
17.35/2.84 c 4296 25626 8820128 399722 264 0 27 27 13
17.35/2.84 c 4297 25649 8828435 399950 264 0 23 23 11
17.35/2.84 c 4298 25676 8838239 400211 264 0 27 27 13
17.35/2.84 c 6000 32555 10914530 484167 264 0 13 29 24
17.35/2.84 c 4299 25699 8846546 400439 264 0 23 23 11
17.35/2.84 c 4300 25726 8856350 400700 264 0 27 27 13
17.35/2.85 c 4301 25749 8864657 400928 264 0 23 23 11
17.35/2.85 c 4302 25776 8874461 401189 264 0 27 27 13
17.35/2.85 c 4303 25799 8882768 401417 264 0 23 23 11
17.35/2.85 c 4304 25826 8892572 401678 264 0 27 27 13
17.35/2.85 c 4305 25849 8900882 401906 264 0 23 23 11
17.35/2.86 c 4306 25877 8911234 402180 264 0 28 28 14
17.35/2.86 c 4307 25900 8919369 402405 264 0 23 23 11
17.35/2.86 c 4308 25928 8929721 402679 264 0 28 28 14
17.35/2.86 c 4309 25951 8937856 402904 264 0 23 23 11
17.35/2.86 c 4310 25979 8948208 403178 264 0 28 28 14
17.35/2.87 c 4311 26002 8956343 403403 264 0 23 23 11
17.35/2.87 c 4312 26030 8966695 403677 264 0 28 28 14
17.35/2.87 c 4313 26053 8974830 403902 264 0 23 23 11
17.35/2.87 c 4314 26081 8985182 404176 264 0 28 28 14
17.35/2.87 c 5000 31495 10463751 464464 264 0 19 34 28
17.35/2.87 c 4315 26104 8993317 404401 264 0 23 23 11
17.35/2.88 c 9627 37001 11572989 660384 264 0 3 22 15
17.35/2.88 c 4316 26132 9003669 404675 264 0 28 28 14
17.35/2.88 c 8000 31657 10944355 614150 264 0 4 21 16
17.35/2.89 c 4317 26155 9011804 404900 264 0 23 23 11
17.35/2.89 c 4318 26183 9022160 405174 264 0 28 28 14
17.35/2.89 c 4319 26206 9030300 405398 264 0 23 23 11
17.35/2.89 c 4320 26234 9040608 405671 264 0 28 28 14
17.35/2.89 c 4321 26257 9048748 405895 264 0 23 23 11
17.35/2.89 c 4322 26285 9059056 406168 264 0 28 28 14
17.35/2.89 c 4323 26308 9067196 406392 264 0 23 23 11
18.15/2.90 c 4324 26336 9077504 406665 264 0 28 28 14
18.15/2.90 c 4325 26359 9085644 406889 264 0 23 23 11
18.15/2.90 c 4326 26387 9095952 407162 264 0 28 28 14
18.15/2.90 c 4327 26410 9104092 407386 264 0 23 23 11
18.15/2.90 c 4328 26438 9114400 407659 264 0 28 28 14
18.15/2.91 c 4329 26461 9122540 407883 264 0 23 23 11
18.15/2.91 c 4330 26489 9132848 408156 264 0 28 28 14
18.15/2.91 c 4331 26512 9140988 408380 264 0 23 23 11
18.15/2.91 c 8669 34186 10679556 608664 264 0 10 32 25
18.15/2.91 c 4332 26540 9151296 408653 264 0 28 28 14
18.15/2.91 c 4333 26563 9159436 408877 264 0 23 23 11
18.15/2.93 c 4334 26591 9169744 409150 264 0 28 28 14
18.15/2.93 c 4335 26614 9177884 409374 264 0 23 23 11
18.15/2.93 c 4336 26642 9188192 409647 264 0 28 28 14
18.15/2.93 c 4337 26665 9196332 409871 264 0 23 23 11
18.15/2.93 c 4338 26693 9206640 410144 264 0 28 28 14
18.15/2.94 c 4339 26716 9214780 410368 264 0 23 23 11
18.15/2.94 c 4340 26744 9225088 410641 264 0 28 28 14
18.15/2.94 c 4341 26767 9233228 410865 264 0 23 23 11
18.15/2.94 c 4342 26795 9243536 411138 264 0 28 28 14
18.15/2.94 c 4343 26818 9251676 411362 264 0 23 23 11
18.15/2.94 c 10000 38143 11930002 681552 264 0 5 20 14
18.15/2.95 c 4344 26846 9261984 411635 264 0 28 28 14
18.15/2.95 c 8669 35555 11624147 651646 264 0 14 29 25
18.15/2.95 c 4345 26869 9270124 411859 264 0 23 23 11
18.15/2.95 c 4346 26897 9280432 412132 264 0 28 28 14
18.15/2.95 c 4347 26920 9288572 412356 264 0 23 23 11
18.15/2.95 c 4348 26948 9298880 412629 264 0 28 28 14
18.15/2.95 c 4349 26971 9307020 412853 264 0 23 23 11
18.15/2.96 c 4350 26999 9317328 413126 264 0 28 28 14
18.15/2.96 c 4351 27022 9325468 413350 264 0 23 23 11
18.15/2.98 c 9000 35509 11072768 631024 264 0 16 28 24
18.15/3.00 c 8669 33963 11698267 655082 264 0 3 32 27
19.00/3.01 c 7000 36034 12044879 543543 264 0 3 29 24
19.00/3.01 c 9000 36863 12039284 675903 264 0 17 29 25
19.00/3.01 c 6000 34394 11532072 542016 264 0 7 37 31
19.00/3.06 c 9000 35076 12057107 676385 264 0 5 17 13
19.00/3.09 c 5000 29379 10128656 457157 264 0 17 32 28
19.00/3.10 c 10680 40937 12910483 735655 264 0 9 26 19
19.81/3.12 c 6000 36091 11959557 548155 264 0 16 34 27
19.81/3.14 c 9627 38065 11858069 676171 264 0 5 33 28
19.81/3.14 c 9627 39306 12864285 723241 264 0 15 29 26
19.81/3.16 c 11000 42219 13254338 755193 264 0 3 22 19
20.53/3.20 c 10000 39450 12288561 700895 264 0 13 33 26
20.53/3.21 c 8000 39735 13317266 616993 264 0 13 29 25
20.53/3.22 c 7000 37789 12753971 609325 264 0 11 33 23
20.53/3.22 c 10000 40774 13399331 756677 264 0 17 29 26
20.53/3.23 c 10000 40791 13405971 756833 264 0 0 0 0
20.53/3.24 c 9627 37896 13181626 737297 264 0 7 24 18
20.53/3.25 c 8192 40542 13549988 628961 264 0 18 29 25
20.53/3.26 c 8193 40567 13559964 629237 264 0 25 25 12
20.53/3.26 c 8194 40577 13564482 629373 264 0 10 10 5
20.53/3.26 c 8195 40595 13571448 629572 264 0 18 18 9
20.53/3.26 c 8196 40611 13576944 629715 264 0 16 16 8
20.53/3.26 c 8197 40638 13586869 629966 264 0 27 27 13
20.53/3.26 c 8198 40663 13596614 630223 264 0 25 25 12
20.53/3.27 c 8199 40673 13601132 630359 264 0 10 10 5
20.53/3.27 c 8200 40691 13608098 630558 264 0 18 18 9
20.53/3.27 c 8201 40707 13613594 630701 264 0 16 16 8
20.53/3.27 c 8202 40734 13623519 630952 264 0 27 27 13
20.53/3.27 c 8203 40759 13633264 631209 264 0 25 25 12
20.53/3.27 c 8204 40769 13637782 631345 264 0 10 10 5
20.53/3.27 c 8205 40787 13644748 631544 264 0 18 18 9
20.53/3.27 c 8206 40803 13650244 631687 264 0 16 16 8
20.53/3.28 c 8207 40830 13660169 631938 264 0 27 27 13
20.53/3.28 c 8208 40855 13669914 632195 264 0 25 25 12
20.53/3.28 c 8209 40865 13674432 632331 264 0 10 10 5
20.53/3.28 c 8210 40883 13681398 632530 264 0 18 18 9
20.53/3.28 c 8211 40899 13686894 632673 264 0 16 16 8
20.53/3.28 c 8212 40926 13696819 632924 264 0 27 27 13
20.53/3.29 c 8213 40951 13706564 633181 264 0 25 25 12
20.53/3.29 c 8214 40961 13711082 633317 264 0 10 10 5
20.53/3.29 c 8215 40979 13718048 633516 264 0 18 18 9
20.53/3.29 c 8216 40995 13723544 633659 264 0 16 16 8
20.53/3.29 c 8217 41022 13733469 633910 264 0 27 27 13
20.53/3.29 c 8218 41047 13743214 634167 264 0 25 25 12
20.53/3.29 c 8219 41057 13747732 634303 264 0 10 10 5
20.53/3.29 c 8220 41075 13754698 634502 264 0 18 18 9
21.33/3.30 c 8221 41091 13760194 634645 264 0 16 16 8
21.33/3.30 c 8222 41118 13770119 634896 264 0 27 27 13
21.33/3.30 c 8223 41143 13779864 635153 264 0 25 25 12
21.33/3.30 c 8224 41153 13784382 635289 264 0 10 10 5
21.33/3.30 c 8225 41171 13791348 635488 264 0 18 18 9
21.33/3.30 c 8226 41187 13796844 635631 264 0 16 16 8
21.33/3.30 c 8227 41214 13806769 635882 264 0 27 27 13
21.33/3.31 c 8228 41239 13816514 636139 264 0 25 25 12
21.33/3.31 c 8229 41249 13821032 636275 264 0 10 10 5
21.33/3.31 c 8230 41267 13827998 636474 264 0 18 18 9
21.33/3.31 c 8231 41283 13833494 636617 264 0 16 16 8
21.33/3.31 c 8232 41310 13843419 636868 264 0 27 27 13
21.33/3.31 c 6000 33318 11386734 531676 264 0 17 32 27
21.33/3.31 c 8233 41335 13853164 637125 264 0 25 25 12
21.33/3.31 c 8234 41345 13857682 637261 264 0 10 10 5
21.33/3.31 c 8235 41363 13864651 637460 264 0 18 18 9
21.33/3.32 c 8236 41379 13870103 637602 264 0 16 16 8
21.33/3.32 c 8237 41406 13880028 637853 264 0 27 27 13
21.33/3.32 c 8238 41431 13889773 638109 264 0 25 25 12
21.33/3.32 c 8239 41441 13894291 638244 264 0 10 10 5
21.33/3.32 c 8240 41459 13901212 638442 264 0 18 18 9
21.33/3.32 c 8241 41475 13906664 638584 264 0 16 16 8
21.33/3.32 c 8242 41502 13916589 638835 264 0 27 27 13
21.33/3.33 c 8243 41527 13926334 639091 264 0 25 25 12
21.33/3.33 c 8244 41537 13930852 639226 264 0 10 10 5
21.33/3.33 c 8245 41555 13937773 639424 264 0 18 18 9
21.33/3.33 c 8246 41571 13943225 639566 264 0 16 16 8
21.33/3.33 c 8247 41598 13953150 639817 264 0 27 27 13
21.33/3.33 c 8248 41623 13962895 640073 264 0 25 25 12
21.33/3.33 c 11838 45000 14227831 813861 264 0 4 23 18
21.33/3.33 c 8249 41633 13967413 640208 264 0 10 10 5
21.33/3.34 c 8250 41651 13974334 640406 264 0 18 18 9
21.33/3.34 c 8251 41667 13979786 640548 264 0 16 16 8
21.33/3.34 c 8252 41694 13989711 640799 264 0 27 27 13
21.33/3.34 c 10000 39397 13734503 767283 264 0 12 23 19
21.33/3.34 c 8253 41719 13999671 641072 264 0 25 25 12
21.33/3.34 c 8254 41744 14008314 641320 264 0 25 25 12
21.33/3.34 c 8255 41769 14018064 641588 264 0 25 25 12
21.33/3.34 c 8256 41779 14022582 641723 264 0 10 10 5
21.33/3.36 c 8257 41797 14029503 641921 264 0 18 18 9
21.33/3.36 c 8258 41813 14034955 642063 264 0 16 16 8
21.33/3.36 c 8259 41840 14044880 642314 264 0 27 27 13
21.33/3.36 c 7000 40341 13337755 623016 264 0 22 33 30
21.33/3.36 c 8260 41865 14054840 642587 264 0 25 25 12
21.33/3.36 c 8261 41890 14063483 642835 264 0 25 25 12
21.33/3.36 c 8262 41915 14073177 643104 264 0 25 25 12
21.33/3.37 c 8263 41940 14081820 643352 264 0 25 25 12
21.33/3.37 c 8264 41965 14091570 643620 264 0 25 25 12
21.33/3.37 c 8265 41975 14096088 643755 264 0 10 10 5
21.33/3.37 c 8266 41993 14103009 643953 264 0 18 18 9
21.33/3.37 c 8267 42009 14108461 644095 264 0 16 16 8
21.33/3.37 c 8268 42036 14118386 644346 264 0 27 27 13
21.33/3.37 c 8269 42061 14128346 644619 264 0 25 25 12
21.33/3.37 c 8270 42086 14136989 644867 264 0 25 25 12
21.33/3.37 c 10680 43302 14294376 806996 264 0 13 29 24
21.33/3.37 c 8271 42111 14146739 645135 264 0 25 25 12
21.33/3.37 c 8272 42121 14151257 645270 264 0 10 10 5
21.33/3.37 c 8273 42139 14158178 645468 264 0 18 18 9
21.33/3.37 c 8274 42155 14163630 645610 264 0 16 16 8
21.33/3.38 c 8275 42182 14173555 645861 264 0 27 27 13
21.33/3.39 c 8276 42207 14183515 646134 264 0 25 25 12
21.33/3.39 c 8277 42232 14192158 646382 264 0 25 25 12
21.33/3.39 c 12000 45716 14495964 827736 264 0 3 22 18
21.33/3.39 c 8278 42257 14201908 646650 264 0 25 25 12
21.33/3.39 c 10680 42372 13286729 758637 264 0 3 22 15
21.33/3.39 c 8279 42267 14206426 646785 264 0 10 10 5
21.33/3.39 c 8280 42285 14213347 646983 264 0 18 18 9
21.33/3.39 c 8281 42301 14218799 647125 264 0 16 16 8
21.33/3.39 c 8282 42328 14228724 647376 264 0 27 27 13
22.13/3.40 c 8283 42345 14234713 647533 264 0 17 17 8
22.13/3.40 c 8284 42355 14239231 647667 264 0 10 10 5
22.13/3.40 c 8285 42373 14246154 647863 264 0 18 18 9
22.13/3.40 c 8286 42400 14255611 648106 264 0 27 27 13
22.13/3.40 c 8287 42425 14265858 648418 264 0 25 25 12
22.13/3.40 c 8288 42450 14274842 648664 264 0 25 25 12
22.13/3.41 c 8289 42475 14285089 648976 264 0 25 25 12
22.13/3.41 c 8290 42500 14294073 649222 264 0 25 25 12
22.13/3.41 c 8291 42525 14304320 649534 264 0 25 25 12
22.13/3.41 c 8292 42550 14313304 649780 264 0 25 25 12
22.13/3.41 c 8293 42575 14323551 650092 264 0 25 25 12
22.13/3.41 c 8294 42600 14332535 650338 264 0 25 25 12
22.13/3.42 c 8295 42625 14342782 650650 264 0 25 25 12
22.13/3.42 c 8296 42650 14351766 650896 264 0 25 25 12
22.13/3.42 c 8297 42675 14362013 651208 264 0 25 25 12
22.13/3.42 c 8298 42700 14370997 651454 264 0 25 25 12
22.13/3.42 c 8299 42725 14381244 651766 264 0 25 25 12
22.13/3.43 c 8300 42750 14390228 652012 264 0 25 25 12
22.13/3.43 c 8301 42775 14400475 652324 264 0 25 25 12
22.13/3.43 c 8302 42800 14409459 652570 264 0 25 25 12
22.13/3.43 c 8303 42825 14419706 652882 264 0 25 25 12
22.13/3.43 c 8304 42850 14428690 653128 264 0 25 25 12
22.13/3.43 c 8305 42875 14438937 653440 264 0 25 25 12
22.13/3.43 c 11000 44503 14698628 828166 264 0 5 29 26
22.13/3.44 c 8306 42900 14447921 653686 264 0 25 25 12
22.13/3.44 c 8307 42925 14458168 653998 264 0 25 25 12
22.13/3.44 c 8308 42950 14467152 654244 264 0 25 25 12
22.13/3.44 c 8309 42975 14477399 654556 264 0 25 25 12
22.13/3.44 c 8310 43000 14486383 654802 264 0 25 25 12
22.13/3.45 c 8311 43025 14496630 655114 264 0 25 25 12
22.13/3.45 c 8312 43050 14505614 655360 264 0 25 25 12
22.13/3.45 c 8313 43075 14515861 655672 264 0 25 25 12
22.13/3.45 c 8314 43100 14524845 655918 264 0 25 25 12
22.13/3.45 c 8315 43125 14535092 656230 264 0 25 25 12
22.13/3.45 c 8316 43150 14544076 656476 264 0 25 25 12
22.13/3.47 c 8317 43175 14554323 656788 264 0 25 25 12
22.13/3.47 c 8318 43200 14563307 657034 264 0 25 25 12
22.13/3.47 c 8319 43225 14573554 657346 264 0 25 25 12
22.13/3.47 c 8320 43250 14582538 657592 264 0 25 25 12
22.13/3.47 c 8321 43275 14592785 657904 264 0 25 25 12
22.13/3.48 c 8322 43300 14601769 658150 264 0 25 25 12
22.13/3.48 c 8323 43325 14612016 658462 264 0 25 25 12
22.13/3.48 c 8324 43350 14621000 658708 264 0 25 25 12
22.13/3.48 c 8325 43375 14631247 659020 264 0 25 25 12
22.13/3.48 c 11000 43782 13774933 786230 264 0 4 21 15
22.13/3.48 c 8326 43400 14640279 659267 264 0 25 25 12
22.13/3.48 c 8327 43425 14650484 659578 264 0 25 25 12
22.13/3.49 c 8328 43450 14659468 659824 264 0 25 25 12
22.13/3.49 c 8329 43475 14669673 660135 264 0 25 25 12
22.13/3.49 c 8330 43500 14678657 660381 264 0 25 25 12
22.13/3.49 c 8331 43525 14688862 660692 264 0 25 25 12
22.13/3.49 c 8332 43550 14697846 660938 264 0 25 25 12
22.93/3.50 c 8333 43575 14708051 661249 264 0 25 25 12
22.93/3.50 c 8334 43600 14717035 661495 264 0 25 25 12
22.93/3.50 c 8335 43625 14727240 661806 264 0 25 25 12
22.93/3.50 c 8336 43650 14736224 662052 264 0 25 25 12
22.93/3.50 c 8337 43675 14746429 662363 264 0 25 25 12
22.93/3.50 c 8000 42352 14468115 712016 264 0 5 33 24
22.93/3.50 c 8338 43700 14755413 662609 264 0 25 25 12
22.93/3.51 c 8339 43725 14765618 662920 264 0 25 25 12
22.93/3.51 c 8340 43750 14774602 663166 264 0 25 25 12
22.93/3.51 c 8341 43775 14784807 663477 264 0 25 25 12
22.93/3.51 c 8342 43800 14793791 663723 264 0 25 25 12
22.93/3.51 c 8343 43825 14803996 664034 264 0 25 25 12
22.93/3.52 c 8344 43850 14812980 664280 264 0 25 25 12
22.93/3.52 c 8345 43875 14823185 664591 264 0 25 25 12
22.93/3.52 c 8346 43900 14832169 664837 264 0 25 25 12
22.93/3.52 c 8347 43925 14842374 665148 264 0 25 25 12
22.93/3.52 c 8348 43950 14851358 665394 264 0 25 25 12
22.93/3.52 c 8349 43975 14861563 665705 264 0 25 25 12
22.93/3.53 c 8350 44000 14870547 665951 264 0 25 25 12
22.93/3.53 c 8351 44025 14880752 666262 264 0 25 25 12
22.93/3.53 c 8352 44050 14889736 666508 264 0 25 25 12
22.93/3.53 c 8353 44075 14899941 666819 264 0 25 25 12
22.93/3.53 c 8354 44100 14908925 667065 264 0 25 25 12
22.93/3.54 c 8355 44125 14919130 667376 264 0 25 25 12
22.93/3.54 c 8356 44150 14928114 667622 264 0 25 25 12
22.93/3.54 c 8357 44175 14938319 667933 264 0 25 25 12
22.93/3.54 c 8358 44200 14947303 668179 264 0 25 25 12
22.93/3.54 c 8359 44225 14957508 668490 264 0 25 25 12
22.93/3.55 c 8360 44250 14966492 668736 264 0 25 25 12
22.93/3.55 c 8361 44275 14976697 669047 264 0 25 25 12
22.93/3.55 c 8192 43257 14740994 726140 264 0 19 33 28
22.93/3.55 c 8193 43261 14743568 726250 264 0 4 4 2
22.93/3.55 c 8362 44300 14985681 669293 264 0 25 25 12
22.93/3.55 c 8194 43278 14750482 726540 264 0 17 17 8
22.93/3.55 c 8195 43292 14756152 726689 264 0 14 14 7
22.93/3.55 c 8363 44325 14995886 669604 264 0 25 25 12
22.93/3.55 c 8196 43322 14766522 726990 264 0 30 30 15
22.93/3.55 c 8364 44350 15004870 669850 264 0 25 25 12
22.93/3.56 c 8197 43336 14772101 727137 264 0 14 14 7
22.93/3.56 c 8365 44375 15015075 670161 264 0 25 25 12
22.93/3.56 c 8198 43364 14781984 727404 264 0 28 28 14
22.93/3.56 c 8366 44400 15024059 670407 264 0 25 25 12
22.93/3.56 c 8199 43378 14788317 727571 264 0 14 14 7
22.93/3.56 c 8367 44425 15034264 670718 264 0 25 25 12
22.93/3.56 c 8200 43408 14798687 727872 264 0 30 30 15
22.93/3.56 c 8368 44450 15043711 670977 264 0 25 25 12
22.93/3.56 c 8201 43422 14804268 728019 264 0 14 14 7
22.93/3.56 c 8202 43445 14813164 728286 264 0 23 23 11
22.93/3.56 c 8369 44475 15054276 671298 264 0 25 25 12
22.93/3.57 c 8203 43449 14816471 728410 264 0 4 4 2
22.93/3.57 c 10680 42529 15113089 836704 264 0 3 21 17
22.93/3.57 c 8204 43454 14819133 728510 264 0 5 5 2
22.93/3.57 c 8205 43459 14821800 728610 264 0 5 5 2
22.93/3.57 c 8370 44500 15063675 671556 264 0 25 25 12
22.93/3.57 c 8206 43471 14827410 728779 264 0 12 12 6
22.93/3.57 c 8207 43476 14830077 728879 264 0 5 5 2
22.93/3.57 c 8208 43480 14831885 728960 264 0 4 4 2
22.93/3.57 c 8209 43484 14834505 729071 264 0 4 4 2
22.93/3.57 c 8371 44525 15074192 671876 264 0 25 25 12
22.93/3.57 c 8210 43489 14837172 729171 264 0 5 5 2
22.93/3.57 c 8211 43493 14838980 729252 264 0 4 4 2
22.93/3.57 c 8212 43497 14841600 729363 264 0 4 4 2
22.93/3.57 c 8213 43502 14844267 729463 264 0 5 5 2
22.93/3.57 c 8214 43506 14846075 729544 264 0 4 4 2
22.93/3.57 c 8215 43510 14848695 729655 264 0 4 4 2
22.93/3.57 c 8372 44550 15083591 672134 264 0 25 25 12
22.93/3.57 c 8216 43515 14851362 729755 264 0 5 5 2
22.93/3.57 c 8217 43519 14853170 729836 264 0 4 4 2
22.93/3.58 c 8218 43523 14855790 729947 264 0 4 4 2
22.93/3.58 c 8219 43528 14858457 730047 264 0 5 5 2
22.93/3.58 c 8220 43532 14860265 730128 264 0 4 4 2
22.93/3.58 c 8221 43536 14862885 730239 264 0 4 4 2
22.93/3.58 c 8373 44575 15094108 672454 264 0 25 25 12
22.93/3.58 c 8222 43541 14865552 730339 264 0 5 5 2
22.93/3.58 c 8223 43545 14867360 730420 264 0 4 4 2
22.93/3.58 c 8224 43549 14869980 730531 264 0 4 4 2
22.93/3.58 c 8225 43554 14872647 730631 264 0 5 5 2
22.93/3.58 c 8226 43558 14874455 730712 264 0 4 4 2
22.93/3.58 c 8227 43562 14877075 730823 264 0 4 4 2
22.93/3.58 c 8374 44600 15103507 672712 264 0 25 25 12
22.93/3.58 c 8228 43567 14879742 730923 264 0 5 5 2
22.93/3.58 c 8229 43571 14881550 731004 264 0 4 4 2
22.93/3.58 c 8230 43575 14884170 731115 264 0 4 4 2
22.93/3.59 c 8231 43580 14886837 731215 264 0 5 5 2
22.93/3.59 c 8232 43584 14888645 731296 264 0 4 4 2
22.93/3.59 c 8375 44625 15114024 673032 264 0 25 25 12
22.93/3.59 c 8233 43588 14891265 731407 264 0 4 4 2
22.93/3.59 c 8234 43593 14893932 731507 264 0 5 5 2
22.93/3.59 c 8235 43597 14895740 731588 264 0 4 4 2
22.93/3.59 c 8236 43601 14898360 731699 264 0 4 4 2
22.93/3.59 c 8237 43606 14901027 731799 264 0 5 5 2
22.93/3.59 c 8238 43610 14902835 731880 264 0 4 4 2
22.93/3.59 c 8376 44650 15123423 673290 264 0 25 25 12
22.93/3.59 c 8239 43614 14905455 731991 264 0 4 4 2
22.93/3.59 c 8240 43619 14908122 732091 264 0 5 5 2
22.93/3.59 c 8241 43623 14909930 732172 264 0 4 4 2
22.93/3.59 c 8242 43627 14912550 732283 264 0 4 4 2
22.93/3.59 c 8243 43632 14915217 732383 264 0 5 5 2
22.93/3.59 c 8244 43636 14917025 732464 264 0 4 4 2
22.93/3.59 c 8377 44675 15133940 673610 264 0 25 25 12
22.93/3.59 c 8245 43640 14919645 732575 264 0 4 4 2
22.93/3.59 c 8246 43645 14922312 732675 264 0 5 5 2
22.93/3.59 c 8247 43649 14924120 732756 264 0 4 4 2
22.93/3.59 c 8248 43653 14926740 732867 264 0 4 4 2
22.93/3.59 c 8249 43658 14929407 732967 264 0 5 5 2
22.93/3.59 c 8250 43662 14931215 733048 264 0 4 4 2
22.93/3.59 c 8378 44700 15143339 673868 264 0 25 25 12
22.93/3.59 c 8251 43665 14933296 733151 264 0 3 3 1
22.93/3.59 c 8252 43669 14934993 733202 264 0 4 4 2
22.93/3.59 c 8253 43672 14936710 733268 264 0 3 3 1
22.93/3.59 c 8254 43676 14938518 733349 264 0 4 4 2
22.93/3.59 c 8255 43679 14940599 733452 264 0 3 3 1
22.93/3.59 c 8256 43683 14942296 733503 264 0 4 4 2
22.93/3.59 c 8257 43686 14944013 733569 264 0 3 3 1
22.93/3.59 c 8379 44725 15153856 674188 264 0 25 25 12
22.93/3.59 c 8258 43690 14945821 733650 264 0 4 4 2
22.93/3.59 c 8259 43693 14947902 733753 264 0 3 3 1
22.93/3.59 c 8260 43704 14952589 733874 264 0 11 11 5
22.93/3.59 c 8261 43707 14954306 733940 264 0 3 3 1
22.93/3.59 c 8380 44750 15163255 674446 264 0 25 25 12
23.73/3.60 c 8262 43711 14956114 734021 264 0 4 4 2
23.73/3.60 c 8263 43714 14958195 734124 264 0 3 3 1
23.73/3.60 c 8264 43725 14962882 734245 264 0 11 11 5
23.73/3.60 c 8265 43728 14964599 734311 264 0 3 3 1
23.73/3.60 c 8381 44775 15173772 674766 264 0 25 25 12
23.73/3.60 c 8266 43732 14966407 734392 264 0 4 4 2
23.73/3.60 c 8267 43735 14968488 734495 264 0 3 3 1
23.73/3.60 c 8268 43746 14973175 734616 264 0 11 11 5
23.73/3.60 c 8269 43749 14974892 734682 264 0 3 3 1
23.73/3.60 c 8382 44800 15183171 675024 264 0 25 25 12
23.73/3.60 c 8270 43753 14976700 734763 264 0 4 4 2
23.73/3.60 c 8271 43756 14978781 734866 264 0 3 3 1
23.73/3.60 c 8272 43767 14983468 734987 264 0 11 11 5
23.73/3.60 c 8273 43770 14985185 735053 264 0 3 3 1
23.73/3.60 c 8383 44825 15193688 675344 264 0 25 25 12
23.73/3.60 c 8274 43774 14986993 735134 264 0 4 4 2
23.73/3.60 c 8275 43777 14989074 735237 264 0 3 3 1
23.73/3.60 c 8276 43788 14993761 735358 264 0 11 11 5
23.73/3.60 c 8277 43791 14995478 735424 264 0 3 3 1
23.73/3.60 c 8384 44850 15203087 675602 264 0 25 25 12
23.73/3.60 c 8278 43795 14997286 735505 264 0 4 4 2
23.73/3.60 c 8000 45027 14790871 711602 264 0 4 32 23
23.73/3.60 c 8279 43798 14999367 735608 264 0 3 3 1
23.73/3.60 c 8280 43809 15004054 735729 264 0 11 11 5
23.73/3.60 c 8281 43812 15006156 735829 264 0 3 3 1
23.73/3.60 c 8282 43816 15007468 735880 264 0 4 4 2
23.73/3.60 c 8385 44875 15213604 675922 264 0 25 25 12
23.73/3.60 c 8283 43820 15009255 735962 264 0 4 4 2
23.73/3.60 c 8284 43823 15010772 736050 264 0 3 3 1
23.73/3.60 c 8285 43826 15012735 736149 264 0 3 3 1
23.73/3.60 c 8286 43828 15013499 736202 264 0 2 2 1
23.73/3.60 c 8287 43831 15014694 736244 264 0 3 3 1
23.73/3.60 c 8288 43832 15014943 736278 264 0 1 1 0
23.73/3.60 c 8289 43834 15016154 736335 264 0 2 2 1
23.73/3.60 c 8290 43835 15016362 736356 264 0 1 1 0
23.73/3.60 c 8291 43838 15017997 736430 264 0 3 3 1
23.73/3.60 c 8292 43841 15019628 736506 264 0 3 3 1
23.73/3.60 c [pFactory][Group N°0] concurent mode: thread 4 has won with the task 2.
23.73/3.60 c [pFactory][Group N°0] Thread N°0 is joined.
23.73/3.60 c [pFactory][Group N°0] Thread N°1 is joined.
23.73/3.60 c [pFactory][Group N°0] Thread N°2 is joined.
23.73/3.60 c [pFactory][Group N°0] Thread N°3 is joined.
23.73/3.60 c [pFactory][Group N°0] Thread N°4 is joined.
23.73/3.60 c [pFactory][Group N°0] Thread N°5 is joined.
23.73/3.60 c [pFactory][Group N°0] Thread N°6 is joined.
23.73/3.60 c [pFactory][Group N°0] Thread N°7 is joined.
23.73/3.60 c [pFactory][Group N°0] Return Code of the winner:2 (Thread N°4)
23.73/3.60 s UNSATISFIABLE
23.73/3.60 c restarts : 621
23.73/3.60 c conflicts : 8292 (355 /sec)
23.73/3.60 c decisions : 43845 (1879 /sec)
23.73/3.60 c propagations : 736533 (31564 /sec)
23.73/3.60 c root propagations : 5352
23.73/3.60 c filter calls : 15020635 (643699 /sec)
23.73/3.60 c useless filter calls : 14368611 (95 %)
23.73/3.60 c Memory used : 935.32 MB
23.73/3.60 c CPU time : 23.3348 s
23.73/3.60 c real time : 3.59858 s
23.73/3.60
runsolver version 3.4.0 (svn: 3012) Copyright (C) 2010-2013 Olivier ROUSSEL
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
NUMA information:
number of nodes: 2
memory of node 0: 16374 MiB (14996 MiB free)
memory of node 1: 16384 MiB (15316 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4398005-1568613528/watcher-4398005-1568613528 -o /tmp/evaluation-result-4398005-1568613528/solver-4398005-1568613528 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node141-1568610964-4584 --watchdog 2580 cosoco -model -nbcores=8 HOME/instance-4398005-1568613528.xml
running on 8 cores: 0,2,4,6,1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 20160 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 20190 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=4937, runsolver pid=4934
[startup+0.100155 s]*
/proc/loadavg: 8.11 8.24 8.14 2/191 4938
/proc/meminfo: memFree=31037228/32770624 swapFree=66921604/67108860
[pid=4937] ppid=4934 vsize=29748 memory=6004 CPUtime=0.1 cores=0-7
/proc/4937/stat : 4937 (cosoco) R 4934 4937 4557 0 -1 4202496 1691 0 0 0 10 0 0 0 20 0 1 0 437290719 30461952 1501 33554432000 4194304 6211092 140726977875184 140726977871720 140427860127369 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 26566656 140726977881105 140726977881197 140726977881197 140726977884110 0
/proc/4937/statm: 7437 1501 799 493 0 742 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 29748 KiB
Current children cumulated memory: 6004 KiB
[startup+0.209232 s]*
/proc/loadavg: 8.11 8.24 8.14 2/191 4938
/proc/meminfo: memFree=30925752/32770624 swapFree=66921604/67108860
[pid=4937] ppid=4934 vsize=144976 memory=121232 CPUtime=0.21 cores=0-7
/proc/4937/stat : 4937 (cosoco) R 4934 4937 4557 0 -1 4202496 30499 0 0 0 17 4 0 0 20 0 1 0 437290719 148455424 30308 33554432000 4194304 6211092 140726977875184 140726977871720 140427865980724 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 26566656 140726977881105 140726977881197 140726977881197 140726977884110 0
/proc/4937/statm: 36244 30308 807 493 0 29549 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 144976 KiB
Current children cumulated memory: 121232 KiB
[startup+0.308619 s]*
/proc/loadavg: 8.11 8.24 8.14 2/191 4938
/proc/meminfo: memFree=30897728/32770624 swapFree=66921604/67108860
[pid=4937] ppid=4934 vsize=180384 memory=156604 CPUtime=0.31 cores=0-7
/proc/4937/stat : 4937 (cosoco) R 4934 4937 4557 0 -1 4202496 39381 0 0 0 26 5 0 0 20 0 1 0 437290719 184713216 39151 33554432000 4194304 6211092 140726977875184 140726977871720 140427856632805 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 26566656 140726977881105 140726977881197 140726977881197 140726977884110 0
/proc/4937/statm: 45129 39151 808 493 0 38434 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 180384 KiB
Current children cumulated memory: 156604 KiB
[startup+0.700299 s]
/proc/loadavg: 8.11 8.24 8.14 2/191 4938
/proc/meminfo: memFree=30748320/32770624 swapFree=66921604/67108860
[pid=4937] ppid=4934 vsize=990548 memory=377044 CPUtime=0.73 cores=0-7
/proc/4937/stat : 4937 (cosoco) S 4934 4937 4557 0 -1 1077944320 94817 0 0 0 61 12 0 0 20 0 9 0 437290719 1014321152 94261 33554432000 4194304 6211092 140726977875184 140726977873440 140427872673527 0 0 4096 8405026 18446744073709551615 0 0 17 2 0 0 0 0 0 8312316 8317760 26566656 140726977881105 140726977881197 140726977881197 140726977884110 0
/proc/4937/statm: 247637 94261 832 493 0 240942 0
Current children cumulated CPU time: 0.73 s
Current children cumulated vsize: 990548 KiB
Current children cumulated memory: 377044 KiB
[startup+1.50967 s]
/proc/loadavg: 8.11 8.24 8.14 10/199 4946
/proc/meminfo: memFree=30656428/32770624 swapFree=66921604/67108860
[pid=4937] ppid=4934 vsize=994676 memory=389572 CPUtime=7.06 cores=0-7
/proc/4937/stat : 4937 (cosoco) S 4934 4937 4557 0 -1 1077944320 98097 0 0 0 693 13 0 0 20 0 9 0 437290719 1018548224 97393 33554432000 4194304 6211092 140726977875184 140726977873440 140427872673527 0 0 4096 8405026 18446744073709551615 0 0 17 2 0 0 0 0 0 8312316 8317760 26566656 140726977881105 140726977881197 140726977881197 140726977884110 0
/proc/4937/statm: 248669 97393 846 493 0 241974 0
[pid=4937/tid=4939] ppid=4934 vsize=994676 memory=33 CPUtime=0.79 cores=0-7
/proc/4937/task/4939/stat : 4939 (cosoco) R 4934 4937 4557 0 -1 4202560 504 0 0 0 79 0 0 0 20 0 9 0 437290788 1018548224 97393 33554432000 4194304 6211092 140726977875184 140427849530464 5008971 0 0 4096 8405026 0 0 0 -1 1 0 0 0 0 0 8312316 8317760 26566656 140726977881105 140726977881197 140726977881197 140726977884110 0
[pid=4937/tid=4940] ppid=4934 vsize=994676 memory=585520870118683686 CPUtime=0.79 cores=0-7
/proc/4937/task/4940/stat : 4940 (cosoco) R 4934 4937 4557 0 -1 4202560 415 0 0 0 79 0 0 0 20 0 9 0 437290788 1018548224 97393 33554432000 4194304 6211092 140726977875184 140427841137760 5008971 0 0 4096 8405026 0 0 0 -1 4 0 0 0 0 0 8312316 8317760 26566656 140726977881105 140726977881197 140726977881197 140726977884110 0
[pid=4937/tid=4941] ppid=4934 vsize=994676 memory=288293255295271333 CPUtime=0.79 cores=0-7
/proc/4937/task/4941/stat : 4941 (cosoco) R 4934 4937 4557 0 -1 4202560 424 0 0 0 79 0 0 0 20 0 9 0 437290788 1018548224 97393 33554432000 4194304 6211092 140726977875184 140427832745056 5008827 0 0 4096 8405026 0 0 0 -1 7 0 0 0 0 0 8312316 8317760 26566656 140726977881105 140726977881197 140726977881197 140726977884110 0
[pid=4937/tid=4942] ppid=4934 vsize=994676 memory=288230376157489425 CPUtime=0.8 cores=0-7
/proc/4937/task/4942/stat : 4942 (cosoco) R 4934 4937 4557 0 -1 4202560 489 0 0 0 80 0 0 0 20 0 9 0 437290788 1018548224 97393 33554432000 4194304 6211092 140726977875184 140427824352352 5009142 0 0 4096 8405026 0 0 0 -1 6 0 0 0 0 0 8312316 8317760 26566656 140726977881105 140726977881197 140726977881197 140726977884110 0
[pid=4937/tid=4943] ppid=4934 vsize=994676 memory=2813089 CPUtime=0.78 cores=0-7
/proc/4937/task/4943/stat : 4943 (cosoco) R 4934 4937 4557 0 -1 4202560 430 0 0 0 78 0 0 0 20 0 9 0 437290788 1018548224 97393 33554432000 4194304 6211092 140726977875184 140427815959648 5008918 0 0 4096 8405026 0 0 0 -1 0 0 0 0 0 0 8312316 8317760 26566656 140726977881105 140726977881197 140726977881197 140726977884110 0
[pid=4937/tid=4944] ppid=4934 vsize=994676 memory=15489 CPUtime=0.79 cores=0-7
/proc/4937/task/4944/stat : 4944 (cosoco) R 4934 4937 4557 0 -1 4202560 492 0 0 0 79 0 0 0 20 0 9 0 437290788 1018548224 97393 33554432000 4194304 6211092 140726977875184 140427807566944 5409444 0 0 4096 8405026 0 0 0 -1 2 0 0 0 0 0 8312316 8317760 26566656 140726977881105 140726977881197 140726977881197 140726977884110 0
[pid=4937/tid=4945] ppid=4934 vsize=994676 memory=288370599569903976 CPUtime=0.8 cores=0-7
/proc/4937/task/4945/stat : 4945 (cosoco) R 4934 4937 4557 0 -1 4202560 431 0 0 0 80 0 0 0 20 0 9 0 437290788 1018548224 97393 33554432000 4194304 6211092 140726977875184 140427799174240 5017373 0 0 4096 8405026 0 0 0 -1 5 0 0 0 0 0 8312316 8317760 26566656 140726977881105 140726977881197 140726977881197 140726977884110 0
[pid=4937/tid=4946] ppid=4934 vsize=994676 memory=14550397025243592 CPUtime=0.8 cores=0-7
/proc/4937/task/4946/stat : 4946 (cosoco) R 4934 4937 4557 0 -1 4202560 414 0 0 0 80 0 0 0 20 0 9 0 437290788 1018548224 97393 33554432000 4194304 6211092 140726977875184 140427790781536 5009189 0 0 4096 8405026 0 0 0 -1 3 0 0 0 0 0 8312316 8317760 26566656 140726977881105 140726977881197 140726977881197 140726977884110 0
Current children cumulated CPU time: 7.06 s
Current children cumulated vsize: 994676 KiB
Current children cumulated memory: 389572 KiB
[startup+3.11066 s]
/proc/loadavg: 8.26 8.27 8.15 9/200 4948
/proc/meminfo: memFree=30652268/32770624 swapFree=66921604/67108860
[pid=4937] ppid=4934 vsize=994676 memory=390640 CPUtime=19.81 cores=0-7
/proc/4937/stat : 4937 (cosoco) S 4934 4937 4557 0 -1 1077944320 158670 0 0 0 1942 39 0 0 20 0 9 0 437290719 1018548224 97660 33554432000 4194304 6211092 140726977875184 140726977873440 140427872673527 0 0 4096 8405026 18446744073709551615 0 0 17 2 0 0 0 0 0 8312316 8317760 26566656 140726977881105 140726977881197 140726977881197 140726977884110 0
/proc/4937/statm: 248669 97660 846 493 0 241974 0
[pid=4937/tid=4939] ppid=4934 vsize=994676 memory=56 CPUtime=2.39 cores=0-7
/proc/4937/task/4939/stat : 4939 (cosoco) R 4934 4937 4557 0 -1 4202560 6993 0 0 0 234 5 0 0 20 0 9 0 437290788 1018548224 97660 33554432000 4194304 6211092 140726977875184 140427849530464 5009210 0 0 4096 8405026 0 0 0 -1 1 0 0 0 0 0 8312316 8317760 26566656 140726977881105 140726977881197 140726977881197 140726977884110 0
[pid=4937/tid=4940] ppid=4934 vsize=994676 memory=279955497817024 CPUtime=2.38 cores=0-7
/proc/4937/task/4940/stat : 4940 (cosoco) R 4934 4937 4557 0 -1 4202560 10231 0 0 0 237 1 0 0 20 0 9 0 437290788 1018548224 97660 33554432000 4194304 6211092 140726977875184 140427841137760 5009314 0 0 4096 8405026 0 0 0 -1 6 0 0 0 0 0 8312316 8317760 26566656 140726977881105 140726977881197 140726977881197 140726977884110 0
[pid=4937/tid=4941] ppid=4934 vsize=994676 memory=161168647792279 CPUtime=2.36 cores=0-7
/proc/4937/task/4941/stat : 4941 (cosoco) R 4934 4937 4557 0 -1 4202560 6830 0 0 0 231 5 0 0 20 0 9 0 437290788 1018548224 97660 33554432000 4194304 6211092 140726977875184 140427832745056 5017316 0 0 4096 8405026 0 0 0 -1 7 0 0 0 0 0 8312316 8317760 26566656 140726977881105 140726977881197 140726977881197 140726977884110 0
[pid=4937/tid=4942] ppid=4934 vsize=994676 memory=161168647792280 CPUtime=2.39 cores=0-7
/proc/4937/task/4942/stat : 4942 (cosoco) R 4934 4937 4557 0 -1 4202560 7833 0 0 0 238 1 0 0 20 0 9 0 437290788 1018548224 97660 33554432000 4194304 6211092 140726977875184 140427824352352 5017277 0 0 4096 8405026 0 0 0 -1 4 0 0 0 0 0 8312316 8317760 26566656 140726977881105 140726977881197 140726977881197 140726977884110 0
[pid=4937/tid=4943] ppid=4934 vsize=994676 memory=3616 CPUtime=2.37 cores=0-7
/proc/4937/task/4943/stat : 4943 (cosoco) R 4934 4937 4557 0 -1 4202560 8836 0 0 0 236 1 0 0 20 0 9 0 437290788 1018548224 97660 33554432000 4194304 6211092 140726977875184 140427815959648 5397375 0 0 4096 8405026 0 0 0 -1 0 0 0 0 0 0 8312316 8317760 26566656 140726977881105 140726977881197 140726977881197 140726977884110 0
[pid=4937/tid=4944] ppid=4934 vsize=994676 memory=29980 CPUtime=2.38 cores=0-7
/proc/4937/task/4944/stat : 4944 (cosoco) R 4934 4937 4557 0 -1 4202560 9188 0 0 0 238 0 0 0 20 0 9 0 437290788 1018548224 97660 33554432000 4194304 6211092 140726977875184 140427807566944 5017316 0 0 4096 8405026 0 0 0 -1 2 0 0 0 0 0 8312316 8317760 26566656 140726977881105 140726977881197 140726977881197 140726977884110 0
[pid=4937/tid=4945] ppid=4934 vsize=994676 memory=988 CPUtime=2.39 cores=0-7
/proc/4937/task/4945/stat : 4945 (cosoco) R 4934 4937 4557 0 -1 4202560 7271 0 0 0 233 6 0 0 20 0 9 0 437290788 1018548224 97660 33554432000 4194304 6211092 140726977875184 140427799174240 5017462 0 0 4096 8405026 0 0 0 -1 5 0 0 0 0 0 8312316 8317760 26566656 140726977881105 140726977881197 140726977881197 140726977884110 0
[pid=4937/tid=4946] ppid=4934 vsize=994676 memory=2012 CPUtime=2.39 cores=0-7
/proc/4937/task/4946/stat : 4946 (cosoco) R 4934 4937 4557 0 -1 4202560 6990 0 0 0 234 5 0 0 20 0 9 0 437290788 1018548224 97660 33554432000 4194304 6211092 140726977875184 140427790781536 5008918 0 0 4096 8405026 0 0 0 -1 3 0 0 0 0 0 8312316 8317760 26566656 140726977881105 140726977881197 140726977881197 140726977884110 0
Current children cumulated CPU time: 19.81 s
Current children cumulated vsize: 994676 KiB
Current children cumulated memory: 390640 KiB
[startup+3.6327 s]
# the end of solver process 4937 was just reported to runsolver
# cumulated CPU time of all completed processes: user=23.3349 s, system=0.452433 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3.20067 s]
/proc/loadavg: 8.26 8.27 8.15 9/200 4948
/proc/meminfo: memFree=30652268/32770624 swapFree=66921604/67108860
[pid=4937] ppid=4934 vsize=994676 memory=390640 CPUtime=20.53 cores=0-7
/proc/4937/stat : 4937 (cosoco) S 4934 4937 4557 0 -1 1077944320 158674 0 0 0 2014 39 0 0 20 0 9 0 437290719 1018548224 97660 33554432000 4194304 6211092 140726977875184 140726977873440 140427872673527 0 0 4096 8405026 18446744073709551615 0 0 17 2 0 0 0 0 0 8312316 8317760 26566656 140726977881105 140726977881197 140726977881197 140726977884110 0
/proc/4937/statm: 248669 97660 846 493 0 241974 0
[pid=4937/tid=4939] ppid=4934 vsize=994676 memory=-7880843606118635149 CPUtime=2.48 cores=0-7
/proc/4937/task/4939/stat : 4939 (cosoco) R 4934 4937 4557 0 -1 4202560 6994 0 0 0 243 5 0 0 20 0 9 0 437290788 1018548224 97660 33554432000 4194304 6211092 140726977875184 140427849530464 5017225 0 0 4096 8405026 0 0 0 -1 1 0 0 0 0 0 8312316 8317760 26566656 140726977881105 140726977881197 140726977881197 140726977884110 0
[pid=4937/tid=4940] ppid=4934 vsize=994676 memory=6944652177228980320 CPUtime=2.47 cores=0-7
/proc/4937/task/4940/stat : 4940 (cosoco) R 4934 4937 4557 0 -1 4202560 10231 0 0 0 246 1 0 0 20 0 9 0 437290788 1018548224 97660 33554432000 4194304 6211092 140726977875184 140427841137760 5389428 0 0 4096 8405026 0 0 0 -1 6 0 0 0 0 0 8312316 8317760 26566656 140726977881105 140726977881197 140726977881197 140726977884110 0
[pid=4937/tid=4941] ppid=4934 vsize=994676 memory=0 CPUtime=2.45 cores=0-7
/proc/4937/task/4941/stat : 4941 (cosoco) R 4934 4937 4557 0 -1 4202560 6830 0 0 0 240 5 0 0 20 0 9 0 437290788 1018548224 97660 33554432000 4194304 6211092 140726977875184 140427832745056 5397375 0 0 4096 8405026 0 0 0 -1 7 0 0 0 0 0 8312316 8317760 26566656 140726977881105 140726977881197 140726977881197 140726977884110 0
[pid=4937/tid=4942] ppid=4934 vsize=994676 memory=7444819964895187797 CPUtime=2.48 cores=0-7
/proc/4937/task/4942/stat : 4942 (cosoco) R 4934 4937 4557 0 -1 4202560 7836 0 0 0 247 1 0 0 20 0 9 0 437290788 1018548224 97660 33554432000 4194304 6211092 140726977875184 140427824352352 5017373 0 0 4096 8405026 0 0 0 -1 4 0 0 0 0 0 8312316 8317760 26566656 140726977881105 140726977881197 140726977881197 140726977884110 0
[pid=4937/tid=4943] ppid=4934 vsize=994676 memory=3472468255988424846 CPUtime=2.46 cores=0-7
/proc/4937/task/4943/stat : 4943 (cosoco) R 4934 4937 4557 0 -1 4202560 8836 0 0 0 245 1 0 0 20 0 9 0 437290788 1018548224 97660 33554432000 4194304 6211092 140726977875184 140427815959648 5389428 0 0 4096 8405026 0 0 0 -1 0 0 0 0 0 0 8312316 8317760 26566656 140726977881105 140726977881197 140726977881197 140726977884110 0
[pid=4937/tid=4944] ppid=4934 vsize=994676 memory=0 CPUtime=2.47 cores=0-7
/proc/4937/task/4944/stat : 4944 (cosoco) R 4934 4937 4557 0 -1 4202560 9188 0 0 0 247 0 0 0 20 0 9 0 437290788 1018548224 97660 33554432000 4194304 6211092 140726977875184 140427807566944 5397375 0 0 4096 8405026 0 0 0 -1 2 0 0 0 0 0 8312316 8317760 26566656 140726977881105 140726977881197 140726977881197 140726977884110 0
[pid=4937/tid=4945] ppid=4934 vsize=994676 memory=0 CPUtime=2.48 cores=0-7
/proc/4937/task/4945/stat : 4945 (cosoco) R 4934 4937 4557 0 -1 4202560 7271 0 0 0 242 6 0 0 20 0 9 0 437290788 1018548224 97660 33554432000 4194304 6211092 140726977875184 140427799174240 5017365 0 0 4096 8405026 0 0 0 -1 5 0 0 0 0 0 8312316 8317760 26566656 140726977881105 140726977881197 140726977881197 140726977884110 0
[pid=4937/tid=4946] ppid=4934 vsize=994676 memory=0 CPUtime=2.48 cores=0-7
/proc/4937/task/4946/stat : 4946 (cosoco) R 4934 4937 4557 0 -1 4202560 6990 0 0 0 243 5 0 0 20 0 9 0 437290788 1018548224 97660 33554432000 4194304 6211092 140726977875184 140427790781536 5017277 0 0 4096 8405026 0 0 0 -1 3 0 0 0 0 0 8312316 8317760 26566656 140726977881105 140726977881197 140726977881197 140726977884110 0
Current children cumulated CPU time: 20.53 s
Current children cumulated vsize: 994676 KiB
Current children cumulated memory: 390640 KiB
[startup+3.60067 s]
/proc/loadavg: 8.26 8.27 8.15 9/200 4948
/proc/meminfo: memFree=30652268/32770624 swapFree=66921604/67108860
[pid=4937] ppid=4934 vsize=994676 memory=390640 CPUtime=23.73 cores=0-7
/proc/4937/stat : 4937 (cosoco) S 4934 4937 4557 0 -1 1077944320 191744 0 0 0 2331 42 0 0 20 0 9 0 437290719 1018548224 97660 33554432000 4194304 6211092 140726977875184 140726977873440 140427872673527 0 0 4096 8405026 18446744073709551615 0 0 17 2 0 0 0 0 0 8312316 8317760 26566656 140726977881105 140726977881197 140726977881197 140726977884110 0
/proc/4937/statm: 248669 97660 846 493 0 241974 0
[pid=4937/tid=4939] ppid=4934 vsize=994676 memory=1704 CPUtime=2.88 cores=0-7
/proc/4937/task/4939/stat : 4939 (cosoco) R 4934 4937 4557 0 -1 4202560 11759 0 0 0 283 5 0 0 20 0 9 0 437290788 1018548224 97660 33554432000 4194304 6211092 140726977875184 140427849530464 5017277 0 0 4096 8405026 0 0 0 -1 1 0 0 0 0 0 8312316 8317760 26566656 140726977881105 140726977881197 140726977881197 140726977884110 0
[pid=4937/tid=4940] ppid=4934 vsize=994676 memory=5964 CPUtime=2.87 cores=0-7
/proc/4937/task/4940/stat : 4940 (cosoco) R 4934 4937 4557 0 -1 4202560 14021 0 0 0 286 1 0 0 20 0 9 0 437290788 1018548224 97660 33554432000 4194304 6211092 140726977875184 140427841137760 5017277 0 0 4096 8405026 0 0 0 -1 6 0 0 0 0 0 8312316 8317760 26566656 140726977881105 140726977881197 140726977881197 140726977884110 0
[pid=4937/tid=4941] ppid=4934 vsize=994676 memory=588 CPUtime=2.84 cores=0-7
/proc/4937/task/4941/stat : 4941 (cosoco) R 4934 4937 4557 0 -1 4202560 10833 0 0 0 279 5 0 0 20 0 9 0 437290788 1018548224 97660 33554432000 4194304 6211092 140726977875184 140427832745056 5009229 0 0 4096 8405026 0 0 0 -1 7 0 0 0 0 0 8312316 8317760 26566656 140726977881105 140726977881197 140726977881197 140726977884110 0
[pid=4937/tid=4942] ppid=4934 vsize=994676 memory=780 CPUtime=2.87 cores=0-7
/proc/4937/task/4942/stat : 4942 (cosoco) R 4934 4937 4557 0 -1 4202560 11847 0 0 0 286 1 0 0 20 0 9 0 437290788 1018548224 97660 33554432000 4194304 6211092 140726977875184 140427824352352 5186312 0 0 4096 8405026 0 0 0 -1 4 0 0 0 0 0 8312316 8317760 26566656 140726977881105 140726977881197 140726977881197 140726977884110 0
[pid=4937/tid=4943] ppid=4934 vsize=994676 memory=2811096 CPUtime=2.86 cores=0-7
/proc/4937/task/4943/stat : 4943 (cosoco) R 4934 4937 4557 0 -1 4202560 12915 0 0 0 285 1 0 0 20 0 9 0 437290788 1018548224 97660 33554432000 4194304 6211092 140726977875184 140427815959648 5409444 0 0 4096 8405026 0 0 0 -1 0 0 0 0 0 0 8312316 8317760 26566656 140726977881105 140726977881197 140726977881197 140726977884110 0
[pid=4937/tid=4944] ppid=4934 vsize=994676 memory=279955498401792 CPUtime=2.88 cores=0-7
/proc/4937/task/4944/stat : 4944 (cosoco) R 4934 4937 4557 0 -1 4202560 14132 0 0 0 287 1 0 0 20 0 9 0 437290788 1018548224 97660 33554432000 4194304 6211092 140726977875184 140427807566944 140427857071229 0 0 4096 8405026 0 0 0 -1 2 0 0 0 0 0 8312316 8317760 26566656 140726977881105 140726977881197 140726977881197 140726977884110 0
[pid=4937/tid=4945] ppid=4934 vsize=994676 memory=139977749146576 CPUtime=2.88 cores=0-7
/proc/4937/task/4945/stat : 4945 (cosoco) R 4934 4937 4557 0 -1 4202560 10712 0 0 0 281 7 0 0 20 0 9 0 437290788 1018548224 97660 33554432000 4194304 6211092 140726977875184 140427799174240 5017373 0 0 4096 8405026 0 0 0 -1 5 0 0 0 0 0 8312316 8317760 26566656 140726977881105 140726977881197 140726977881197 140726977884110 0
[pid=4937/tid=4946] ppid=4934 vsize=994676 memory=0 CPUtime=2.88 cores=0-7
/proc/4937/task/4946/stat : 4946 (cosoco) R 4934 4937 4557 0 -1 4202560 11027 0 0 0 283 5 0 0 20 0 9 0 437290788 1018548224 97660 33554432000 4194304 6211092 140726977875184 140427790781536 5017277 0 0 4096 8405026 0 0 0 -1 3 0 0 0 0 0 8312316 8317760 26566656 140726977881105 140726977881197 140726977881197 140726977884110 0
Current children cumulated CPU time: 23.73 s
Current children cumulated vsize: 994676 KiB
Current children cumulated memory: 390640 KiB
Child status: 0
Real time (s): 3.63277
CPU time (s): 23.7873
CPU user time (s): 23.3349
CPU system time (s): 0.452433
CPU usage (%): 654.797
Max. virtual memory (cumulated for all children) (KiB): 994676
Max. memory (cumulated for all children) (KiB): 390640
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 23.3349
system time used= 0.452433
maximum resident set size= 390640
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 191825
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 832
involuntary context switches= 519
# summary of solver processes directly reported to runsolver:
# pid: 4937
# total CPU time (s): 23.7873
# total CPU user time (s): 23.3349
# total CPU system time (s): 0.452433
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.046851 second user time and 0.08399 second system time
The end
Begin job on node141 at 2019-09-16 07:58:07
IDJOB=4398005
IDBENCH=139116
IDSOLVER=2851
FILE ID=node141/4398005-1568613528
RUNJOBID= node141-1568610964-4584
PBS_JOBID= 21703451
Free space on /tmp= 58544 MiB
SOLVER NAME= cosoco 2.O parallel
BENCH NAME= XCSP17/LatinSquare/LatinSquare-xcsp2-qcp25/qcp-25-264-12_X2.xml
COMMAND LINE= cosoco -model -nbcores=NBCORE BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4398005-1568613528/watcher-4398005-1568613528 -o /tmp/evaluation-result-4398005-1568613528/solver-4398005-1568613528 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node141-1568610964-4584 --watchdog 2580 cosoco -model -nbcores=8 HOME/instance-4398005-1568613528.xml
TIME LIMIT= 20160 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 8
MD5SUM BENCH= 0da6a8f2891de305d0b0efc67f372d88
RANDOM SEED=1682735793
node141.alineos.net Linux 3.10.0-514.16.1.el7.x86_64 #1 SMP Wed Apr 12 15:04:24 UTC 2017
/sys/devices/system/cpu/cpu0/cpufreq/scaling_governor:
performance
/proc/cpuinfo:
processor : 0
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
microcode : 0x19
cpu MHz : 2668.000
cache size : 8192 KB
physical id : 0
siblings : 4
core id : 0
cpu cores : 4
apicid : 0
initial apicid : 0
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips : 5332.93
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management:
processor : 1
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
microcode : 0x19
cpu MHz : 2668.000
cache size : 8192 KB
physical id : 1
siblings : 4
core id : 0
cpu cores : 4
apicid : 16
initial apicid : 16
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips : 5332.55
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management:
processor : 2
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
microcode : 0x19
cpu MHz : 2668.000
cache size : 8192 KB
physical id : 0
siblings : 4
core id : 1
cpu cores : 4
apicid : 2
initial apicid : 2
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips : 5332.93
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management:
processor : 3
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
microcode : 0x19
cpu MHz : 2668.000
cache size : 8192 KB
physical id : 1
siblings : 4
core id : 1
cpu cores : 4
apicid : 18
initial apicid : 18
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips : 5332.55
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management:
processor : 4
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
microcode : 0x19
cpu MHz : 2668.000
cache size : 8192 KB
physical id : 0
siblings : 4
core id : 2
cpu cores : 4
apicid : 4
initial apicid : 4
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips : 5332.93
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management:
processor : 5
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
microcode : 0x19
cpu MHz : 2668.000
cache size : 8192 KB
physical id : 1
siblings : 4
core id : 2
cpu cores : 4
apicid : 20
initial apicid : 20
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips : 5332.55
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management:
processor : 6
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
microcode : 0x19
cpu MHz : 2668.000
cache size : 8192 KB
physical id : 0
siblings : 4
core id : 3
cpu cores : 4
apicid : 6
initial apicid : 6
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips : 5332.93
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management:
processor : 7
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
microcode : 0x19
cpu MHz : 2668.000
cache size : 8192 KB
physical id : 1
siblings : 4
core id : 3
cpu cores : 4
apicid : 22
initial apicid : 22
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips : 5332.55
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 32770624 kB
MemFree: 31039856 kB
MemAvailable: 31830868 kB
Buffers: 212096 kB
Cached: 875960 kB
SwapCached: 78348 kB
Active: 451576 kB
Inactive: 719040 kB
Active(anon): 10380 kB
Inactive(anon): 114904 kB
Active(file): 441196 kB
Inactive(file): 604136 kB
Unevictable: 109172 kB
Mlocked: 109172 kB
SwapTotal: 67108860 kB
SwapFree: 66921604 kB
Dirty: 3108 kB
Writeback: 0 kB
AnonPages: 115572 kB
Mapped: 40712 kB
Shmem: 33784 kB
Slab: 152736 kB
SReclaimable: 123032 kB
SUnreclaim: 29704 kB
KernelStack: 3552 kB
PageTables: 5072 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 83494172 kB
Committed_AS: 506248 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 350232 kB
VmallocChunk: 34341910524 kB
HardwareCorrupted: 0 kB
AnonHugePages: 69632 kB
HugePages_Total: 0
HugePages_Free: 0
HugePages_Rsvd: 0
HugePages_Surp: 0
Hugepagesize: 2048 kB
DirectMap4k: 128384 kB
DirectMap2M: 33417216 kB
Free space on /tmp at the end= 58540 MiB
End job on node141 at 2019-09-16 07:58:10