cpu_time: 0: 10.64100000 1: 10.78400000 2: 8.91200000 3: 11.20200000 4: 9.97400000 5: 9.10600000 6: 8.72000000 7: 13.17700000 8: 13.33600000 9: 18.57500000 10: 100.34500000 11: 77.51400000 12: 9.83000000 13: 9.56800000 14: 9.22500000 15: 8.75200000 16: 14.73800000 17: 9.53900000 18: 11.25000000 19: 8.11400000 20: 8.33800000 21: 8.58700000 22: 9.86900000 23: 11.39700000 24: 11.82700000 25: 9.67400000 26: 8.90100000 27: 9.29400000 28: 8.77600000 29: 11.92800000 30: 14.97600000 31: 8.08500000 32: 8.32100000 33: 9.72200000 34: 15.50200000 35: 8.87700000 36: 14.87100000 37: 13.13800000 38: 9.32100000 39: 28.66500000 40: 9.19300000 41: 8.60700000 42: 16.42400000 43: 15.31600000 44: 8.29600000 45: 8.88200000 46: 8.31000000 47: 9.37100000 48: 52.91600000 49: 17.11200000 50: 18.48600000 51: 10.09600000 52: 289.89900000 53: 9.60000000 54: 25.59600000 55: 10.66300000 56: 9.13200000 57: 10.98000000 58: 8.69000000 59: 8.28000000 60: 8.81400000 61: 78.95900000 62: 9.94100000 63: 108.35600000 64: 9.79200000 65: 7.89700000 66: 8.75100000 67: 8.43200000 68: 15.05900000 69: 7718.67200000 70: 68.63600000 71: 9.99200000 72: 101.70200000 73: 10.69400000 74: 9.22200000 75: 8.77600000 76: 8.89900000 77: 9.64300000 78: 42.26400000 79: 20.97000000 80: 9.87900000 81: 9.59900000 82: 8.72200000 83: 11.09400000 84: 8.60600000 85: 9.80200000 86: 22.64100000 87: 10.57700000 88: 34.71100000 89: 8.72300000 90: 11.14100000 91: 10.56800000 92: 11.45100000 93: 12.03600000 94: 22.79100000 95: 12.06700000 96: 10.05900000 97: 10.40800000 98: 8.83700000 99: 8.61700000 100: 14.91400000 101: 12.59200000 102: 316.39100000 103: 10.68700000 104: 29.39500000 105: 319.47600000 106: 10.48600000 107: 13.93900000 108: 71.62300000 109: 13.25800000 110: 11.43900000 111: 10.57000000 112: 12.21100000 113: 12.80100000 114: 8.56800000 115: 9.63600000 116: 8.74600000 117: 15.61700000 118: 9.74200000 119: 19.36400000 120: 23.65100000 121: 41.05500000 122: 9.02500000 123: 9.47100000 124: 10.43300000 125: 9.94500000 126: 8.88900000 127: 8.59500000 128: 10.18000000 129: 12.74900000 130: 8.23900000 131: 11.10800000 132: 223.21500000 133: 9.52600000 134: 9.95400000 135: 9.57800000 136: 9.32200000 137: 91.92200000 138: 14.11300000 139: 11.64300000 140: 10.82000000 141: 60.59500000 142: 178.08100000 143: 11.73500000 144: 8.48600000 145: 48.03000000 146: 48.21300000 147: 11.24600000 148: 9.73900000 149: 9.49800000 150: 9.01200000 151: 8.21000000 152: 9.85900000 153: 27.05600000 154: 9.71500000 155: 8.46200000 156: 10.07600000 157: 9.85200000 158: 24.80300000 159: 14.65700000 160: 8.70200000 161: 14.68700000 162: 10.16800000 163: 13.62500000 164: 87.89800000 165: 8.27200000 166: 8.51100000 167: 8.73400000 168: 8.86600000 169: 14.81900000 170: 44.90300000 171: 9.52200000 172: 21.90000000 173: 10.79300000 174: 8.52200000 175: 8.45000000 176: 10.86500000 177: 9.54100000 178: 10.99600000 179: 10.94000000 180: 8.28500000 181: 9.68700000 182: 8.32400000 183: 9.73800000 184: 16.70700000 185: 11.09500000 186: 9.54500000 187: 11.96300000 188: 8.74200000 189: 9.38200000 190: 21.14700000 191: 8.43000000 192: 9.15400000 193: 11.56200000 194: 9.19800000 195: 11.90200000 196: 132.73100000 197: 10.51200000 198: 8.14700000 199: 7.81000000 200: 9.16800000 201: 85.47700000 202: 130.90600000 203: 21.74600000 204: 23.99200000 205: 52.99800000 206: 15.60500000 207: 15.78900000 208: 8.68300000 209: 8.38300000 210: 10.28500000 211: 8.82300000 212: 9.23800000 213: 9.84400000 214: 10.53400000 215: 8.91100000 216: 8.36700000 217: 50.62900000 218: 33.47600000 219: 113.99400000 220: 16.41100000 221: 15.29200000 222: 354.16100000 223: 31.66100000 224: 10.15600000 225: 15.90500000 226: 10.96500000 227: 9.07500000 228: 9.71300000 229: 12.00900000 230: 9.05900000 231: 13.10000000 232: 11.19500000 233: 9.05400000 234: 40.87000000 235: 8.81700000 236: 16.39600000 237: 16.97500000 238: 26.33900000 239: 50.72700000 240: 9.62000000 241: 9.80000000 242: 8.09800000 243: 10.54600000 244: 9.59600000 245: 13.87400000 246: 11.36700000 247: 11.03300000 248: 9.05600000 249: 9.39700000 250: 9.05900000 251: 10.06500000 252: 10.48900000 253: 7.81400000 254: 11.60900000 255: 8.60900000 256: 11.79100000 257: 9.29200000 258: 10.39100000 259: 10.57000000 260: 8.31500000 261: 8.91000000 262: 13.37500000 263: 9.63900000 264: 9.85900000 265: 9.97400000 266: 9.11700000 267: 8.04000000 268: 19.60500000 269: 9.50900000 270: 9.88200000 271: 28.22400000 272: 9.58600000 273: 26.33700000 274: 9.96900000 275: 33.72600000 276: 11.18800000 277: 8.47200000 278: 9.92500000 279: 16.78100000 280: 10.42900000 281: 13.81600000 282: 18.22200000 283: 9.52800000 284: 9.01200000 285: 8.34800000 286: 12.02800000 287: 9.71600000 288: 10.72000000 289: 9.42300000 290: 12.98000000 291: 7.94700000 292: 15.48800000 293: 16.11100000 294: 9.56300000 295: 8.83700000 296: 9.79900000 297: 9.59200000 298: 79.32300000 299: 8.30200000 300: 13.59600000 301: 10.04300000 302: 47.96400000 303: 8.65900000 304: 7.92100000 305: 7.97300000 306: 8.85300000 307: 12.28500000 308: 10.03100000 309: 15.24300000 310: 9.56800000 311: 13.83100000 312: 25.84300000 313: 8.99300000 314: 10.07300000 315: 14.41900000 316: 10.50500000 317: 10.82600000 318: 9.28000000 319: 9.18500000 320: 9.47900000 321: 9.13800000 322: 10.90400000 323: 9.54000000 324: 8.42200000 325: 11.70000000 326: 247.51300000 327: 8.21000000 328: 8.48500000 329: 10.45000000 330: 8.18700000 331: 9.52600000 332: 14.03100000 333: 11.97100000 334: 10.07000000 335: 9.70500000 336: 10.20600000 337: 9.33400000 338: 13.05300000 339: 377.49400000 340: 14.06900000 341: 15.03200000 342: 12.53100000 343: 95.23700000 344: 26.91200000 345: 10.33600000 346: 312.89600000 347: 11.51100000 348: 112.33700000 349: 8.08900000 350: 9.62500000 351: 8.90600000 352: 63.42800000 353: 9.28100000 354: 10.41900000 355: 8.69900000 356: 10.38300000 357: 8.98400000 358: 17.56100000 359: 12.49300000 360: 22.25800000 361: 14.64200000 362: 14.73500000 363: 9.14800000 364: 9.11300000 365: 10.29500000 366: 9.40100000 367: 72.23800000 368: 40.07300000 369: 13.61700000 370: 21.89200000 371: 8.56600000 372: 15.48700000 373: 9.13300000 374: 31.09200000 375: 9.37300000 376: 8.70500000 377: 9.11500000 378: 13.42000000 379: 10.47800000 380: 13.46300000 381: 8.61200000 382: 10.82200000 383: 21.94700000 384: 11.66000000 385: 10.01800000 386: 9.71400000 387: 68.30600000 388: 9.14800000 389: 8.50900000 390: 8.18700000 391: 8.20000000 392: 9.29200000 393: 68.63300000 394: 11.55800000 395: 12.12600000 396: 9.78000000 397: 11.51000000 398: 8.74700000 399: 11.97100000 400: 32.05700000 401: 10.05800000 402: 9.39900000 403: 13.56000000 404: 34.22400000 405: 9.36200000 406: 9.59600000 407: 9.82700000 408: 10.25400000 409: 11.59800000 410: 8.60300000 411: 91.82500000 412: 13.77400000 413: 11.58100000 414: 123.78500000 415: 90.55500000 416: 29.55000000 417: 11.28000000 418: 15.46600000 419: 15.02800000 420: 12.70000000 421: 16.78500000 422: 73.88400000 423: 9.81300000 424: 8.97500000 425: 8.20300000 426: 8.76900000 427: 10.07200000 428: 13.98200000 429: 24.54300000 430: 9.13500000 431: 8.28300000 432: 11.43400000 433: 10.78500000 434: 15.33700000 435: 11.28100000 436: 8.70700000 437: 8.87900000 438: 10.45300000 439: 11.01700000 440: 11.54500000 441: 27.01400000 442: 9.45400000 443: 12.06100000 444: 14.64600000 445: 11.72400000 446: 7.84100000 447: 8.46700000 448: 10.86500000 449: 15.30900000 450: 11.43000000 451: 33.27800000 452: 13.92700000 453: 14.39200000 454: 8.93900000 455: 8.91000000 456: 14.23400000 457: 14.74200000 458: 16.27000000 459: 113.05500000 460: 8.43000000 461: 10.62100000 462: 7.93500000 463: 147.49500000 464: 14.61800000 465: 8.40700000 466: 9.60800000 467: 9.05700000 468: 11.49700000 469: 17.58800000 470: 9.61700000 471: 10.31900000 472: 30.24000000 473: 8.99500000 474: 188.44600000 475: 9.35100000 476: 11.19200000 477: 8.33300000 478: 21.76500000 479: 117.11100000 480: 10.47300000 481: 13.93200000 482: 8.15100000 483: 12.65200000 484: 9.19200000 485: 39.60100000 486: 43.97700000 487: 14.08200000 488: 8.13700000 489: 10.45300000 490: 8.45800000 491: 9.17000000 492: 9.76600000 493: 528.23200000 494: 9.16800000 495: 12.06200000 496: 13.80700000 497: 9.94000000 498: 8.27000000 499: 54.45000000 500: 8.41400000 501: 8.40000000 502: 8.06200000 503: 13.47600000 504: 12.76500000 505: 15.84300000 506: 15.77800000 507: 12.37700000 508: 8.95500000 509: 46.46400000 510: 9.19600000 511: 10.84300000 512: 9.27500000 513: 11.79600000 514: 10.28800000 515: 15.98600000 516: 244.16200000 517: 8.56000000 518: 11.47200000 519: 8.56300000 520: 10.47000000 521: 51.97500000 522: 45.82200000 523: 9.31900000 524: 8.36600000 525: 10.65400000 526: 8.83300000 527: 9.43200000 528: 14.20000000 529: 14.07000000 530: 11.76500000 531: 8.84600000 532: 9.81100000 533: 11.40200000 534: 15.53300000 535: 13.16800000 536: 16.39600000 537: 15.70000000 538: 12.12100000 539: 53.21500000 540: 8.70200000 541: 7.86600000 542: 8.27600000 543: 8.22500000 544: 111.49000000 545: 23.38000000 546: 9.44100000 547: 11.86700000 548: 10.19400000 549: 12.46600000 550: 8.69900000 551: 12.30400000 552: 22.46100000 553: 9.59800000 554: 10.44300000 555: 311.79800000 556: 8.65800000 557: 8.20900000 558: 8.46800000 559: 42.68500000 560: 8.34700000 561: 9.73500000 562: 10.30000000 563: 20.84300000 564: 9.38500000 565: 10.84800000 566: 11.15300000 567: 8.06000000 568: 8.99100000 569: 9.44300000 570: 12.36400000 571: 9.21600000 572: 8.73600000 573: 31.81900000 574: 22.22900000 575: 11.98600000 576: 8.25100000 577: 49.57800000 578: 9.47000000 579: 9.89900000 580: 12.36400000 581: 25.58500000 582: 312.98200000 583: 10.35700000 584: 17.20200000 585: 25.26000000 586: 27.86000000 587: 11.37500000 588: 10.55500000 589: 13.98900000 590: 12.29600000 591: 8.43200000 592: 16.20700000 593: 111.21700000 594: 7.99200000 595: 37.12100000 596: 10.48300000 597: 12.29400000 598: 10.55200000 599: 13.39500000 600: 81.26300000 601: 8.39900000 602: 8.35700000 603: 7.90000000 604: 22.06800000 605: 10.23400000 606: 9.25400000 607: 11.54700000 608: 11.25000000 609: 9.44800000 610: 24.99300000 611: 17.37700000 612: 8.94000000 613: 11.30900000 614: 10.60000000 615: 18.46100000 616: 50.76100000 617: 10.68500000 618: 8.31100000 619: 9.70400000 620: 177.86300000 621: 8.17100000 622: 8.75400000 623: 8.32800000 624: 8.11700000 625: 14.35800000 626: 15.41700000 627: 9.41900000 628: 17.40800000 629: 9.97500000 630: 9.22300000 631: 9.11600000 632: 10.99000000 633: 15.43400000 634: 11.76900000 635: 11.52600000 636: 15.27600000 637: 8.66700000 638: 49.09200000 639: 12.39300000 640: 12.46800000 641: 30.34700000 642: 10.68500000 643: 8.89700000 644: 16.49700000 645: 10.26500000 646: 8.11300000 647: 9.18700000 648: 8.77000000 649: 8.91300000 650: 13.95300000 651: 14.57900000 652: 9.44800000 653: 14.32300000 654: 11.08900000 655: 14.84600000 656: 17.18900000 657: 13.35600000 658: 9.00000000 659: 8.12800000 660: 8.45100000 661: 23.41800000 662: 22.45800000 663: 18.66300000 664: 9.46500000 665: 13.41800000 666: 10.81600000 667: 11.92400000 668: 14.40800000 669: 21.85100000 670: 14.58100000 671: 11.39100000 672: 9.38100000 673: 55.83600000 674: 12.39800000 675: 10.31700000 676: 24.32300000 677: 10.84200000 678: 11.83100000 679: 10.72600000 680: 11.97700000 681: 13.73100000 682: 94.12000000 683: 14.37200000 684: 10.80800000 685: 9.62200000 686: 15.07000000 687: 10.73400000 688: 18.63300000 689: 17.37300000 690: 32.26400000 691: 9.70600000 692: 19.32700000 693: 8.72300000 694: 39.63000000 695: 8.58300000 696: 14.02500000 697: 9.90000000 698: 11.48700000 699: 19.92700000 700: 8.42000000 701: 22.07100000 702: 10.57200000 703: 10.62400000 704: 16.80600000 705: 8.92300000 706: 11.08400000 707: 14.04300000 708: 11.77000000 709: 9.15400000 710: 9.03300000 711: 15.57000000 712: 9.90900000 713: 8071.55100000 714: 8.56700000 715: 7.88300000 716: 8.14800000 717: 30.32200000 718: 12.25700000 719: 44.22600000 720: 13.49200000 721: 8.55100000 722: 9.88300000 723: 11.34700000 724: 163.13500000 725: 12.56100000 726: 8.03100000 727: 8.98900000 728: 22.58400000 729: 10.42400000 730: 9.37400000 731: 8.27000000 732: 10.64200000 733: 29.03700000 734: 11.92600000 735: 8.58800000 736: 8.52000000 737: 8.39500000 738: 10.59900000 739: 15.06600000 740: 15.90000000 741: 8.28100000 742: 156.76200000 743: 9.59300000 744: 54.57100000 745: 96.29500000 746: 10.24800000 747: 18.61800000 748: 16.46900000 749: 14.44400000 750: 37.25800000 751: 301.62100000 752: 12.32700000 753: 7.89500000 754: 10.82400000 755: 54.36100000 756: 8.54000000 757: 8.61900000 758: 650.73800000 759: 14.59700000 760: 8.86700000 761: 8.70900000 762: 9.58900000 763: 28.34300000 764: 9.96900000 765: 8.10300000 766: 43.51700000 767: 9.03100000 768: 23.04500000 769: 8.60500000 770: 32.72800000 771: 619.69800000 772: 8.46100000 773: 8.39700000 774: 8.10500000 775: 11.00800000 776: 13.62600000 777: 14.78800000 778: 29.01500000 779: 9.84100000 780: 10.70000000 781: 9.22800000 782: 142.50400000 783: 8.35900000 784: 31.10600000 785: 10.20700000 786: 10.63700000 787: 8.42400000 788: 12.60900000 789: 8.47100000 790: 9.77300000 791: 10.38900000 792: 13.73000000 793: 8.29400000 794: 9.47200000 795: 12.90000000 796: 9.59800000 797: 11.58800000 798: 14.18700000 799: 8.44500000 800: 8.79500000 801: 9.07600000 802: 11.54500000 803: 16.63400000 804: 9.91100000 805: 8.18000000 806: 8.60200000 807: 10.27700000 808: 9.52200000 809: 255.09700000 810: 8.56600000 811: 15.09000000 812: 9.14400000 813: 13.53700000 814: 9.00300000 815: 12.61400000 816: 8.36000000 817: 8.54000000 818: 8.11300000 819: 10.64500000 820: 94.78600000 821: 8.59000000 822: 8.12100000 823: 22.49000000 824: 9.73900000 825: 14.27300000 826: 9.34900000 827: 10.74500000 828: 44.86100000 829: 13.92100000 830: 9.44000000 831: 8.49700000 832: 9.99000000 833: 12.84800000 834: 34.98800000 835: 9.48900000 836: 11.33200000 837: 18.56100000 838: 8.31900000 839: 8.36900000 840: 8.15300000 841: 10.60800000 842: 11.83700000 843: 21.04100000 844: 13.85000000 845: 9.46300000 846: 13.32000000 847: 31.12700000 848: 9.38500000 849: 11.93200000 850: 11.18000000 851: 9.88600000 852: 160.40200000 853: 29.75800000 854: 8.81900000 855: 9.33000000 856: 11.60700000 857: 163.60800000 858: 8.51200000 859: 8.93900000 860: 8.43300000 861: 8.34300000 862: 14.98000000 863: 9.29700000 864: 10.31800000 865: 9.29700000 866: 8.09700000 867: 8.89200000 868: 12.01600000 869: 17.64500000 870: 129.39000000 871: 8.12900000 872: 11.64900000 873: 51.89900000 874: 14.31900000 875: 8.00600000 876: 8.90200000 877: 8.68800000 878: 169.27900000 879: 8.64700000 880: 183.61500000 881: 8.73600000 882: 9.61500000 883: 12.39600000 884: 8.91100000 885: 9.56200000 886: 289.91100000 887: 8.48700000 888: 9.21100000 889: 11.29300000 890: 29.93400000 891: 9.01000000 892: 9.49000000 893: 8.07200000 894: 400.00100000 895: 14.45600000 896: 8.19400000 897: 8.28000000 898: 8.91600000 899: 9.97000000 900: 140.29600000 901: 8.07800000 902: 8.42400000 903: 9.00600000 904: 8.33100000 905: 33.19400000 906: 12.21500000 907: 212.54500000 908: 34.11800000 909: 9.83800000 910: 11.84200000 911: 10.63300000 912: 55.21400000 913: 8.44200000 914: 17.58800000 915: 8.71100000 916: 9.52600000 917: 13.54500000 918: 17.75900000 919: 9.24000000 920: 8.73100000 921: 10.36800000 922: 11.79700000 923: 95.57200000 924: 10.10800000 925: 8.76800000 926: 10.44900000 927: 8.98400000 928: 9.38900000 929: 15.76800000 930: 11.39800000 931: 12.40200000 932: 15.12700000 933: 16.57300000 934: 9.23400000 935: 12.63900000 936: 42.48500000 937: 54.34600000 938: 9.73900000 939: 9.36100000 940: 18.33400000 941: 25.99500000 942: 630.83300000 943: 164.30300000 944: 9.11600000 945: 11.19100000 946: 8.05100000 947: 8.71400000 948: 24.05700000 949: 9.00700000 950: 8.64900000 951: 9.93300000 952: 47.94200000 953: 34.17100000 954: 9.26400000 955: 12.87600000 956: 10.08400000 957: 9.51200000 958: 10.21700000 959: 15.82800000 960: 115.40800000 961: 8.86400000 962: 21.97000000 963: 10.32600000 964: 9.22800000 965: 21.34000000 966: 8.37300000 967: 9.06700000 968: 2286.39500000 969: 9.78100000 970: 8.36700000 971: 8.33600000 972: 10.23400000 973: 32.38700000 974: 13.07500000 975: 8.33900000 976: 29.64100000 977: 17.39900000 978: 9.27000000 979: 153.37700000 980: 10.38400000 981: 9.40100000 982: 8.80000000 983: 10.64200000 984: 86.17900000 985: 9.69900000 986: 8.36000000 987: 9.82300000 988: 10.13400000 989: 9.22100000 990: 143.75000000 991: 8.35400000 992: 8.12300000 993: 19.80500000 994: 10.77300000 995: 9.45000000 996: 33.77700000 997: 16.90800000 998: 9.68500000 999: 11.07900000