user=mdettweiler [2016-06-21 00:06:50] 927*2^1433048-1 is not prime. Res64: F683D8BC48EDF0EE Time : 0.0 sec. user=mdettweiler [2016-06-21 00:06:51] 959*2^1433048-1 is not prime. Res64: 60AB202CD46CF971 Time : 0.0 sec. user=mdettweiler [2016-06-21 00:06:52] 977*2^1433048-1 is not prime. Res64: 00066B90B686EE20 Time : 0.0 sec. user=mdettweiler [2016-06-21 00:06:53] 615*2^1433049-1 is not prime. Res64: 4FF5AFA5FCF98BE8 Time : 0.0 sec. user=mdettweiler [2016-06-21 00:06:54] 625*2^1433049-1 is not prime. Res64: 54ED11AE7F38D435 Time : 0.0 sec. user=mdettweiler [2016-06-21 00:10:23] 669*2^1433049-1 is not prime. Res64: 201500C8704D908E Time : 0.0 sec. user=mdettweiler [2016-06-21 00:10:23] 721*2^1433049-1 is not prime. Res64: 3E01390D93FCF4F3 Time : 0.0 sec. user=mdettweiler [2016-06-21 00:10:23] 747*2^1433049-1 is not prime. Res64: 9F3E344035EA2B9B Time : 0.0 sec. user=mdettweiler [2016-06-21 00:10:24] 795*2^1433049-1 is not prime. Res64: 5C1E0918303EDD88 Time : 0.0 sec. user=mdettweiler [2016-06-21 00:10:24] 831*2^1433049-1 is not prime. Res64: 88EAB60D767FEA8C Time : 0.0 sec. user=mdettweiler [2016-06-21 00:40:57] 885*2^1433049-1 is not prime. Res64: 3185BBF66C09533F Time : 0.0 sec. user=mdettweiler [2016-06-21 00:40:57] 889*2^1433049-1 is not prime. Res64: 4D5F517B8A0D955C Time : 0.0 sec. user=mdettweiler [2016-06-21 00:40:58] 951*2^1433049-1 is not prime. Res64: 4B0A744A622793D9 Time : 0.0 sec. user=mdettweiler [2016-06-21 00:40:58] 991*2^1433049-1 is not prime. Res64: 07BD7287CC5401C8 Time : 0.0 sec. user=mdettweiler [2016-06-21 00:40:58] 997*2^1433049-1 is not prime. Res64: 97DADBEDDC44F90E Time : 0.0 sec. user=mdettweiler [2016-06-21 00:41:25] 803*2^1433050-1 is not prime. Res64: 4EDA4CF29A9306A7 Time : 0.0 sec. user=mdettweiler [2016-06-21 00:41:25] 995*2^1433050-1 is not prime. Res64: B5126C00CA87A360 Time : 0.0 sec. user=mdettweiler [2016-06-21 00:41:25] 733*2^1433051-1 is not prime. Res64: 4C649441FBC62D4F Time : 0.0 sec. user=mdettweiler [2016-06-21 00:41:26] 735*2^1433051-1 is not prime. Res64: 8DF5051A4B6ABABC Time : 0.0 sec. user=mdettweiler [2016-06-21 00:41:26] 903*2^1433051-1 is not prime. Res64: EB2D63CAB3F2E12B Time : 0.0 sec. user=mdettweiler [2016-06-21 00:51:58] 921*2^1433051-1 is not prime. Res64: 70163E1C16A0BFE0 Time : 0.0 sec. user=mdettweiler [2016-06-21 00:51:58] 939*2^1433051-1 is not prime. Res64: 72ACB0F2D09813A4 Time : 0.0 sec. user=mdettweiler [2016-06-21 00:51:59] 945*2^1433051-1 is not prime. Res64: 29D7B9B25A2B1322 Time : 0.0 sec. user=mdettweiler [2016-06-21 00:51:59] 973*2^1433051-1 is not prime. Res64: 6C96C789F4BBF01F Time : 0.0 sec. user=mdettweiler [2016-06-21 00:51:59] 627*2^1433052-1 is not prime. Res64: 93C1A7C0F0E210ED Time : 0.0 sec. user=mdettweiler [2016-06-21 00:55:09] 633*2^1433052-1 is not prime. Res64: DA8C6AEB4881C9D0 Time : 0.0 sec. user=mdettweiler [2016-06-21 00:55:09] 759*2^1433052-1 is not prime. Res64: F998D0A556445DD3 Time : 0.0 sec. user=mdettweiler [2016-06-21 00:55:09] 857*2^1433052-1 is not prime. Res64: 0EC0231DEF250C93 Time : 0.0 sec. user=mdettweiler [2016-06-21 00:55:10] 999*2^1433052-1 is not prime. Res64: A2A5560BA48D78CA Time : 0.0 sec. user=mdettweiler [2016-06-21 00:55:10] 741*2^1433053-1 is not prime. Res64: 18A92E31FC5EC4D1 Time : 0.0 sec. user=mdettweiler [2016-06-21 01:25:50] 829*2^1433053-1 is not prime. Res64: D63EC8520D10F77A Time : 0.0 sec. user=mdettweiler [2016-06-21 01:25:51] 835*2^1433053-1 is not prime. Res64: 7A369372B86C9CFA Time : 0.0 sec. user=mdettweiler [2016-06-21 01:25:52] 937*2^1433053-1 is not prime. Res64: E36FD3F42EEA1E12 Time : 0.0 sec. user=mdettweiler [2016-06-21 01:25:53] 939*2^1433053-1 is not prime. Res64: 76950216207BDC8D Time : 0.0 sec. user=mdettweiler [2016-06-21 01:25:54] 967*2^1433053-1 is not prime. Res64: 1B423FC827DBD9F5 Time : 0.0 sec. user=mdettweiler [2016-06-21 01:26:25] 641*2^1433054-1 is not prime. Res64: 34512AB303275971 Time : 0.0 sec. user=mdettweiler [2016-06-21 01:26:26] 707*2^1433054-1 is not prime. Res64: ADDA7A2F5D2C8AB8 Time : 0.0 sec. user=mdettweiler [2016-06-21 01:26:27] 711*2^1433054-1 is not prime. Res64: 28B769CB2C157F54 Time : 0.0 sec. user=mdettweiler [2016-06-21 01:26:29] 717*2^1433054-1 is not prime. Res64: 5F6419C4917C233B Time : 0.0 sec. user=mdettweiler [2016-06-21 01:26:29] 747*2^1433054-1 is not prime. Res64: AF58D5AD8B89A37A Time : 0.0 sec. user=mdettweiler [2016-06-21 01:37:13] 825*2^1433054-1 is not prime. Res64: ED3683FCBAFC7BFD Time : 0.0 sec. user=mdettweiler [2016-06-21 01:37:14] 857*2^1433054-1 is not prime. Res64: CF83ED46B44170E0 Time : 0.0 sec. user=mdettweiler [2016-06-21 01:37:14] 981*2^1433054-1 is not prime. Res64: F8CAE02833C2D077 Time : 0.0 sec. user=mdettweiler [2016-06-21 01:37:15] 987*2^1433054-1 is not prime. Res64: FD33B525AFE722E5 Time : 0.0 sec. user=mdettweiler [2016-06-21 01:37:15] 1001*2^1433054-1 is not prime. Res64: CE9DC0FCE4BA9799 Time : 0.0 sec. user=mdettweiler [2016-06-21 01:40:03] 679*2^1433055-1 is not prime. Res64: FB8CD86B66D7483A Time : 0.0 sec. user=mdettweiler [2016-06-21 01:40:03] 709*2^1433055-1 is not prime. Res64: D12BE1ABBF1F9279 Time : 0.0 sec. user=mdettweiler [2016-06-21 01:40:04] 751*2^1433055-1 is not prime. Res64: FB7E87DC9EF196FB Time : 0.0 sec. user=mdettweiler [2016-06-21 01:40:04] 853*2^1433055-1 is not prime. Res64: 5F2DF959A2E5732B Time : 0.0 sec. user=mdettweiler [2016-06-21 01:40:05] 873*2^1433055-1 is not prime. Res64: D5A153BD753FD311 Time : 0.0 sec. user=mdettweiler [2016-06-21 02:11:01] 891*2^1433055-1 is not prime. Res64: FAB2FD937A721764 Time : 0.0 sec. user=mdettweiler [2016-06-21 02:11:01] 895*2^1433055-1 is not prime. Res64: C876C71201431E8A Time : 0.0 sec. user=mdettweiler [2016-06-21 02:11:02] 919*2^1433055-1 is not prime. Res64: E3626CBC0E37E284 Time : 0.0 sec. user=mdettweiler [2016-06-21 02:11:02] 991*2^1433055-1 is not prime. Res64: 2CFD4785CA1FFAA6 Time : 0.0 sec. user=mdettweiler [2016-06-21 02:11:03] 603*2^1433056-1 is not prime. Res64: 21A0824502515D56 Time : 0.0 sec. user=mdettweiler [2016-06-21 02:11:24] 719*2^1433056-1 is not prime. Res64: 8897735519255FC5 Time : 0.0 sec. user=mdettweiler [2016-06-21 02:11:24] 779*2^1433056-1 is not prime. Res64: D8A5350F0EDEAD88 Time : 0.0 sec. user=mdettweiler [2016-06-21 02:11:25] 839*2^1433056-1 is not prime. Res64: E9DE9B13EC292A98 Time : 0.0 sec. user=mdettweiler [2016-06-21 02:11:25] 869*2^1433056-1 is not prime. Res64: 9B3B375CDCA505DB Time : 0.0 sec. user=mdettweiler [2016-06-21 02:11:26] 769*2^1433057-1 is not prime. Res64: B9FA5AADF1417741 Time : 0.0 sec. user=mdettweiler [2016-06-21 02:22:13] 865*2^1433057-1 is not prime. Res64: DD5DF0B0E0D384B9 Time : 0.0 sec. user=mdettweiler [2016-06-21 02:22:13] 879*2^1433057-1 is not prime. Res64: 222791EE62F910A0 Time : 0.0 sec. user=mdettweiler [2016-06-21 02:22:14] 925*2^1433057-1 is not prime. Res64: 36E2DB2318DE8253 Time : 0.0 sec. user=mdettweiler [2016-06-21 02:22:14] 731*2^1433058-1 is not prime. Res64: 97F34EFE00A8AC37 Time : 0.0 sec. user=mdettweiler [2016-06-21 02:22:14] 843*2^1433058-1 is not prime. Res64: 89A7B66254B69C78 Time : 0.0 sec. user=mdettweiler [2016-06-21 02:25:02] 881*2^1433058-1 is not prime. Res64: EA49D80043EBA187 Time : 0.0 sec. user=mdettweiler [2016-06-21 02:25:03] 893*2^1433058-1 is not prime. Res64: 15C2410CF42E8FC8 Time : 0.0 sec. user=mdettweiler [2016-06-21 02:25:03] 619*2^1433059-1 is not prime. Res64: 4DA33A89BF8F3A81 Time : 0.0 sec. user=mdettweiler [2016-06-21 02:25:04] 621*2^1433059-1 is not prime. Res64: DEA7D7033407F13A Time : 0.0 sec. user=mdettweiler [2016-06-21 02:25:04] 663*2^1433059-1 is not prime. Res64: DCC9A4698A4E2040 Time : 0.0 sec. user=mdettweiler [2016-06-21 02:56:02] 861*2^1433059-1 is not prime. Res64: E6C9A671F3742AC6 Time : 0.0 sec. user=mdettweiler [2016-06-21 02:56:02] 951*2^1433059-1 is not prime. Res64: CC092284303D9F2E Time : 0.0 sec. user=mdettweiler [2016-06-21 02:56:02] 975*2^1433059-1 is not prime. Res64: D2753A8548CAD86C Time : 0.0 sec. user=mdettweiler [2016-06-21 02:56:03] 993*2^1433059-1 is not prime. Res64: 7B5B3351DB75D35E Time : 0.0 sec. user=mdettweiler [2016-06-21 02:56:03] 675*2^1433060-1 is not prime. Res64: E9CDDD37E6912217 Time : 0.0 sec. user=mdettweiler [2016-06-21 02:56:34] 759*2^1433060-1 is not prime. Res64: 0160A825F4F6031A Time : 0.0 sec. user=mdettweiler [2016-06-21 02:56:34] 825*2^1433060-1 is not prime. Res64: F2DD16C9C2B9337B Time : 0.0 sec. user=mdettweiler [2016-06-21 02:56:35] 639*2^1433061-1 is not prime. Res64: C160D86988142628 Time : 0.0 sec. user=mdettweiler [2016-06-21 02:56:35] 819*2^1433061-1 is not prime. Res64: 9AF169E6988DF38F Time : 0.0 sec. user=mdettweiler [2016-06-21 02:56:35] 837*2^1433061-1 is not prime. Res64: 49D1BF16E96482AC Time : 0.0 sec. user=mdettweiler [2016-06-21 03:07:59] 849*2^1433061-1 is not prime. Res64: A9806A48626EA641 Time : 0.0 sec. user=mdettweiler [2016-06-21 03:08:00] 867*2^1433061-1 is not prime. Res64: 5DAF6D3EED80A621 Time : 0.0 sec. user=mdettweiler [2016-06-21 03:08:01] 885*2^1433061-1 is not prime. Res64: 63492CE4C213A6CC Time : 0.0 sec. user=mdettweiler [2016-06-21 03:08:02] 955*2^1433061-1 is not prime. Res64: 79F642D3320C955A Time : 0.0 sec. user=mdettweiler [2016-06-21 03:08:03] 677*2^1433062-1 is not prime. Res64: C204AA4E06F60BB3 Time : 0.0 sec. user=mdettweiler [2016-06-21 03:10:43] 695*2^1433062-1 is not prime. Res64: 1DDE25399E8F792C Time : 0.0 sec. user=mdettweiler [2016-06-21 03:10:43] 713*2^1433062-1 is not prime. Res64: DCE9BD31ED0E79D3 Time : 0.0 sec. user=mdettweiler [2016-06-21 03:10:44] 777*2^1433062-1 is not prime. Res64: 1C93D4966DEFEA1D Time : 0.0 sec. user=mdettweiler [2016-06-21 03:10:44] 815*2^1433062-1 is not prime. Res64: 7F285F78A8F22A48 Time : 0.0 sec. user=mdettweiler [2016-06-21 03:10:45] 867*2^1433062-1 is not prime. Res64: B5409F21882672BC Time : 0.0 sec. user=mdettweiler [2016-06-21 03:41:20] 951*2^1433062-1 is not prime. Res64: BD0B06653D278E89 Time : 0.0 sec. user=mdettweiler [2016-06-21 03:41:22] 981*2^1433062-1 is not prime. Res64: 5388EE6BD36C7FBE Time : 0.0 sec. user=mdettweiler [2016-06-21 03:41:23] 969*2^1433063-1 is not prime. Res64: 44ADE94214B2D146 Time : 0.0 sec. user=mdettweiler [2016-06-21 03:41:24] 985*2^1433063-1 is not prime. Res64: A8BAB30A5B076A05 Time : 0.0 sec. user=mdettweiler [2016-06-21 03:41:25] 991*2^1433063-1 is not prime. Res64: 75A75751F1374870 Time : 0.0 sec. user=mdettweiler [2016-06-21 03:41:58] 993*2^1433063-1 is not prime. Res64: 5256C2AEC8C0896C Time : 0.0 sec. user=mdettweiler [2016-06-21 03:41:59] 753*2^1433064-1 is not prime. Res64: 91174EAE4F6C2D0C Time : 0.0 sec. user=mdettweiler [2016-06-21 03:42:00] 765*2^1433064-1 is not prime. Res64: 8192EC4FD8C55826 Time : 0.0 sec. user=mdettweiler [2016-06-21 03:42:05] 803*2^1433064-1 is not prime. Res64: A800543FD29A94BF Time : 0.0 sec. user=mdettweiler [2016-06-21 03:42:06] 863*2^1433064-1 is not prime. Res64: A340E05AB5897E39 Time : 0.0 sec. user=mdettweiler [2016-06-21 03:55:06] 601*2^1433065-1 is not prime. Res64: 1AE7F21CBAA9E7A1 Time : 0.0 sec. user=mdettweiler [2016-06-21 03:55:07] 649*2^1433065-1 is not prime. Res64: 8FA67814B69B5F8A Time : 0.0 sec. user=mdettweiler [2016-06-21 03:55:07] 651*2^1433065-1 is not prime. Res64: 79C61A9294BA96BD Time : 0.0 sec. user=mdettweiler [2016-06-21 03:55:08] 777*2^1433065-1 is not prime. Res64: 9249F427AFE12226 Time : 0.0 sec. user=mdettweiler [2016-06-21 03:55:09] 789*2^1433065-1 is not prime. Res64: 5399AC1F99D67E22 Time : 0.0 sec. user=mdettweiler [2016-06-21 03:56:33] 979*2^1433065-1 is not prime. Res64: A3DB82C6F9BCD6E4 Time : 0.0 sec. user=mdettweiler [2016-06-21 03:56:34] 651*2^1433066-1 is not prime. Res64: C1A81E9698643BA4 Time : 0.0 sec. user=mdettweiler [2016-06-21 03:56:34] 711*2^1433066-1 is not prime. Res64: 9CC06D0D40326154 Time : 0.0 sec. user=mdettweiler [2016-06-21 03:56:35] 815*2^1433066-1 is not prime. Res64: A05DA76FF4B2A622 Time : 0.0 sec. user=mdettweiler [2016-06-21 03:56:35] 825*2^1433066-1 is not prime. Res64: EEF51A1A329BC6FD Time : 0.0 sec. user=mdettweiler [2016-06-21 04:27:02] 851*2^1433066-1 is not prime. Res64: F552ED93B0262107 Time : 0.0 sec. user=mdettweiler [2016-06-21 04:27:02] 857*2^1433066-1 is not prime. Res64: 57856BD169960A12 Time : 0.0 sec. user=mdettweiler [2016-06-21 04:27:03] 1001*2^1433066-1 is not prime. Res64: 5E29F5ECA6FB007C Time : 0.0 sec. user=mdettweiler [2016-06-21 04:27:03] 615*2^1433067-1 is not prime. Res64: 45C1AD109F9EEE65 Time : 0.0 sec. user=mdettweiler [2016-06-21 04:27:03] 643*2^1433067-1 is not prime. Res64: A9A4028DEAFF8026 Time : 0.0 sec. user=mdettweiler [2016-06-21 04:28:33] 703*2^1433067-1 is not prime. Res64: FC4D678F3A866EFD Time : 0.0 sec. user=mdettweiler [2016-06-21 04:28:34] 705*2^1433067-1 is not prime. Res64: 26DCFDC14260A8FA Time : 0.0 sec. user=mdettweiler [2016-06-21 04:28:34] 739*2^1433067-1 is not prime. Res64: EEE26AB88572F17B Time : 0.0 sec. user=mdettweiler [2016-06-21 04:28:34] 781*2^1433067-1 is not prime. Res64: F6486FA00C35B6CB Time : 0.0 sec. user=mdettweiler [2016-06-21 04:28:35] 801*2^1433067-1 is not prime. Res64: C4E54A0AB1C96C07 Time : 0.0 sec. user=mdettweiler [2016-06-21 04:40:13] 859*2^1433067-1 is not prime. Res64: CF448501D5D7AB52 Time : 0.0 sec. user=mdettweiler [2016-06-21 04:40:13] 873*2^1433067-1 is not prime. Res64: 5CC1218EA2535315 Time : 0.0 sec. user=mdettweiler [2016-06-21 04:40:14] 955*2^1433067-1 is not prime. Res64: 4874CC2D8C765236 Time : 0.0 sec. user=mdettweiler [2016-06-21 04:40:14] 975*2^1433067-1 is not prime. Res64: 897BCC87FB7D647B Time : 0.0 sec. user=mdettweiler [2016-06-21 04:40:14] 605*2^1433068-1 is not prime. Res64: 91D52A4C72F561F1 Time : 0.0 sec. user=mdettweiler [2016-06-21 04:41:23] 687*2^1433068-1 is not prime. Res64: A81483E1045E9FAD Time : 0.0 sec. user=mdettweiler [2016-06-21 04:41:24] 827*2^1433068-1 is not prime. Res64: 50FA4BE349E1C791 Time : 0.0 sec. user=mdettweiler [2016-06-21 04:41:24] 833*2^1433068-1 is not prime. Res64: AA5B5BE7D45342F6 Time : 0.0 sec. user=mdettweiler [2016-06-21 04:41:24] 989*2^1433068-1 is not prime. Res64: EB986C76E0AE0ABA Time : 0.0 sec. user=mdettweiler [2016-06-21 04:41:25] 811*2^1433069-1 is not prime. Res64: 1EC2D0BC41A9CFDE Time : 0.0 sec. user=mdettweiler [2016-06-21 05:12:01] 861*2^1433069-1 is not prime. Res64: 1FD8A65BE151E4C0 Time : 0.0 sec. user=mdettweiler [2016-06-21 05:12:02] 865*2^1433069-1 is not prime. Res64: 92BFA9CF79133C2E Time : 0.0 sec. user=mdettweiler [2016-06-21 05:12:02] 955*2^1433069-1 is not prime. Res64: 1CB288EC464F8538 Time : 0.0 sec. user=mdettweiler [2016-06-21 05:12:03] 657*2^1433070-1 is not prime. Res64: 3623DCE66984B39F Time : 0.0 sec. user=mdettweiler [2016-06-21 05:12:03] 717*2^1433070-1 is not prime. Res64: 9A3AA4D82B1A10D3 Time : 0.0 sec. user=mdettweiler [2016-06-21 05:13:31] 791*2^1433070-1 is not prime. Res64: 22110EEA4424BA7B Time : 0.0 sec. user=mdettweiler [2016-06-21 05:13:32] 821*2^1433070-1 is not prime. Res64: 376DD73CAAF28BCB Time : 0.0 sec. user=mdettweiler [2016-06-21 05:13:32] 845*2^1433070-1 is not prime. Res64: 2A711F361CA80BC6 Time : 0.0 sec. user=mdettweiler [2016-06-21 05:13:32] 615*2^1433071-1 is not prime. Res64: 3270291469F36013 Time : 0.0 sec. user=mdettweiler [2016-06-21 05:13:33] 723*2^1433071-1 is not prime. Res64: 71BB47D21A3F9D07 Time : 0.0 sec. user=mdettweiler [2016-06-21 05:25:14] 843*2^1433071-1 is not prime. Res64: 0FE8644232179F40 Time : 0.0 sec. user=mdettweiler [2016-06-21 05:25:14] 861*2^1433071-1 is not prime. Res64: 81D453FA15D4CC01 Time : 0.0 sec. user=mdettweiler [2016-06-21 05:25:15] 933*2^1433071-1 is not prime. Res64: 324CFACB24ABF9CB Time : 0.0 sec. user=mdettweiler [2016-06-21 05:25:15] 999*2^1433071-1 is not prime. Res64: 7E089243BD265174 Time : 0.0 sec. user=mdettweiler [2016-06-21 05:25:16] 633*2^1433072-1 is not prime. Res64: 3133F5CBC3EA90A7 Time : 0.0 sec. user=mdettweiler [2016-06-21 05:26:19] 683*2^1433072-1 is not prime. Res64: F30991591E9E5F9C Time : 0.0 sec. user=mdettweiler [2016-06-21 05:26:20] 725*2^1433072-1 is not prime. Res64: 458267E6A689541E Time : 0.0 sec. user=mdettweiler [2016-06-21 05:26:21] 755*2^1433072-1 is not prime. Res64: 24726EBFB88EECAB Time : 0.0 sec. user=mdettweiler [2016-06-21 05:26:21] 815*2^1433072-1 is not prime. Res64: 732E937E973688CA Time : 0.0 sec. user=mdettweiler [2016-06-21 05:26:22] 827*2^1433072-1 is not prime. Res64: E743B6C343BE8748 Time : 0.0 sec. user=mdettweiler [2016-06-21 05:56:46] 607*2^1433073-1 is not prime. Res64: 18B37E2B73D676B7 Time : 0.0 sec. user=mdettweiler [2016-06-21 05:56:47] 789*2^1433073-1 is not prime. Res64: C683889C96B9DE53 Time : 0.0 sec. user=mdettweiler [2016-06-21 05:56:47] 805*2^1433073-1 is not prime. Res64: 68F2DD388F7EF742 Time : 0.0 sec. user=mdettweiler [2016-06-21 05:56:47] 819*2^1433073-1 is not prime. Res64: 1BDB2FB549B4CE66 Time : 0.0 sec. user=mdettweiler [2016-06-21 05:56:48] 847*2^1433073-1 is not prime. Res64: B23F0EAD8373C9B7 Time : 0.0 sec. user=mdettweiler [2016-06-21 05:58:29] 773*2^1433074-1 is not prime. Res64: C2EF4B7CDB4C7150 Time : 0.0 sec. user=mdettweiler [2016-06-21 05:58:29] 855*2^1433074-1 is not prime. Res64: 6A3B78B058C32A4E Time : 0.0 sec. user=mdettweiler [2016-06-21 05:58:29] 887*2^1433074-1 is not prime. Res64: 5CE72EDD77819172 Time : 0.0 sec. user=mdettweiler [2016-06-21 05:58:30] 941*2^1433074-1 is not prime. Res64: 113099B864AB4904 Time : 0.0 sec. user=mdettweiler [2016-06-21 05:58:30] 609*2^1433075-1 is not prime. Res64: F7099F88D8EA650D Time : 0.0 sec. user=mdettweiler [2016-06-21 06:10:11] 619*2^1433075-1 is not prime. Res64: 9F9D7CEDD6B3FC3B Time : 0.0 sec. user=mdettweiler [2016-06-21 06:10:12] 679*2^1433075-1 is not prime. Res64: D3CBAB67611F4564 Time : 0.0 sec. user=mdettweiler [2016-06-21 06:10:12] 693*2^1433075-1 is not prime. Res64: 3EC17F3F1EAD42D7 Time : 0.0 sec. user=mdettweiler [2016-06-21 06:10:12] 909*2^1433075-1 is not prime. Res64: 2416A57A9F406069 Time : 0.0 sec. user=mdettweiler [2016-06-21 06:10:13] 615*2^1433076-1 is not prime. Res64: 5C147BE182ED4D17 Time : 0.0 sec. user=mdettweiler [2016-06-21 06:11:03] 735*2^1433076-1 is not prime. Res64: A01A0E290D21EC9F Time : 0.0 sec. user=mdettweiler [2016-06-21 06:11:03] 759*2^1433076-1 is not prime. Res64: B97B5C046B2F820E Time : 0.0 sec. user=mdettweiler [2016-06-21 06:11:03] 837*2^1433076-1 is not prime. Res64: A96E534B733F2E85 Time : 0.0 sec. user=mdettweiler [2016-06-21 06:11:04] 843*2^1433076-1 is not prime. Res64: B2A128B3F2ED7C74 Time : 0.0 sec. user=mdettweiler [2016-06-21 06:11:04] 845*2^1433076-1 is not prime. Res64: 59948FA96BAC59BD Time : 0.0 sec. user=mdettweiler [2016-06-21 06:41:37] 875*2^1433076-1 is not prime. Res64: 26B0CAD82B7F8541 Time : 0.0 sec. user=mdettweiler [2016-06-21 06:41:37] 905*2^1433076-1 is not prime. Res64: 137DC3D37AB56E76 Time : 0.0 sec. user=mdettweiler [2016-06-21 06:41:38] 609*2^1433077-1 is not prime. Res64: 16AD117971EB1510 Time : 0.0 sec. user=mdettweiler [2016-06-21 06:41:38] 619*2^1433077-1 is not prime. Res64: 0721D4D0C6C69EC7 Time : 0.0 sec. user=mdettweiler [2016-06-21 06:41:38] 805*2^1433077-1 is not prime. Res64: B8AC6D3A364989DC Time : 0.0 sec. user=mdettweiler [2016-06-21 06:43:27] 979*2^1433077-1 is not prime. Res64: BEB7E70273FF71F8 Time : 0.0 sec. user=mdettweiler [2016-06-21 06:43:27] 603*2^1433078-1 is not prime. Res64: 2EB1C3F78F554353 Time : 0.0 sec. user=mdettweiler [2016-06-21 06:43:27] 635*2^1433078-1 is not prime. Res64: BCCD9360143034BE Time : 0.0 sec. user=mdettweiler [2016-06-21 06:43:28] 711*2^1433078-1 is not prime. Res64: 662C851B01A433D4 Time : 0.0 sec. user=mdettweiler [2016-06-21 06:43:28] 753*2^1433078-1 is not prime. Res64: 12566FD13CF23C72 Time : 0.0 sec. user=mdettweiler [2016-06-21 06:55:05] 761*2^1433078-1 is not prime. Res64: 1FB54C90C4A0B29A Time : 0.0 sec. user=mdettweiler [2016-06-21 06:55:06] 773*2^1433078-1 is not prime. Res64: 934E7397A9A7971B Time : 0.0 sec. user=mdettweiler [2016-06-21 06:55:06] 801*2^1433078-1 is not prime. Res64: 0CD3AD361E12803E Time : 0.0 sec. user=mdettweiler [2016-06-21 06:55:06] 813*2^1433078-1 is not prime. Res64: C9416921DC45664B Time : 0.0 sec. user=mdettweiler [2016-06-21 06:55:07] 887*2^1433078-1 is not prime. Res64: E7AD36E32867AE3A Time : 0.0 sec. user=mdettweiler [2016-06-21 06:55:58] 911*2^1433078-1 is not prime. Res64: ABF880AAD2F8E46F Time : 0.0 sec. user=mdettweiler [2016-06-21 06:55:58] 745*2^1433079-1 is not prime. Res64: 9B3D4A6ED76F8D1A Time : 0.0 sec. user=mdettweiler [2016-06-21 06:55:59] 763*2^1433079-1 is not prime. Res64: C66A4A4EE9441782 Time : 0.0 sec. user=mdettweiler [2016-06-21 06:55:59] 943*2^1433079-1 is not prime. Res64: 1679491BDD81CF68 Time : 0.0 sec. user=mdettweiler [2016-06-21 06:55:59] 951*2^1433079-1 is not prime. Res64: 7E8A9BC80D9E7F22 Time : 0.0 sec. user=mdettweiler [2016-06-21 07:26:22] 979*2^1433079-1 is not prime. Res64: 752F5FEA06164DD1 Time : 0.0 sec. user=mdettweiler [2016-06-21 07:26:23] 747*2^1433080-1 is not prime. Res64: D7CE183A1759C097 Time : 0.0 sec. user=mdettweiler [2016-06-21 07:26:23] 813*2^1433080-1 is not prime. Res64: F41B8DBD11435506 Time : 0.0 sec. user=mdettweiler [2016-06-21 07:26:23] 843*2^1433080-1 is not prime. Res64: A55DE8FD9A360391 Time : 0.0 sec. user=mdettweiler [2016-06-21 07:26:24] 849*2^1433080-1 is not prime. Res64: FD2BFA343990C545 Time : 0.0 sec. user=mdettweiler [2016-06-21 07:28:25] 975*2^1433080-1 is not prime. Res64: EAE58A346528949E Time : 0.0 sec. user=mdettweiler [2016-06-21 07:28:25] 995*2^1433080-1 is not prime. Res64: D66637CB73EDD5FA Time : 0.0 sec. user=mdettweiler [2016-06-21 07:28:25] 627*2^1433081-1 is not prime. Res64: 5195570D458B5B18 Time : 0.0 sec. user=mdettweiler [2016-06-21 07:28:26] 711*2^1433081-1 is not prime. Res64: E44378566B30C4DD Time : 0.0 sec. user=mdettweiler [2016-06-21 07:28:26] 747*2^1433081-1 is not prime. Res64: E31950D5D052B2A5 Time : 0.0 sec. user=mdettweiler [2016-06-21 07:40:04] 855*2^1433081-1 is not prime. Res64: 60759D79E1489CC0 Time : 0.0 sec. user=mdettweiler [2016-06-21 07:40:05] 861*2^1433081-1 is not prime. Res64: F4DBCC12E3C06EB4 Time : 0.0 sec. user=mdettweiler [2016-06-21 07:40:05] 865*2^1433081-1 is not prime. Res64: B74F7EE46A780C85 Time : 0.0 sec. user=mdettweiler [2016-06-21 07:40:05] 879*2^1433081-1 is not prime. Res64: 47176C7B382A7D7F Time : 0.0 sec. user=mdettweiler [2016-06-21 07:40:06] 925*2^1433081-1 is not prime. Res64: 12CA6C029ADFC659 Time : 0.0 sec. user=mdettweiler [2016-06-21 07:40:47] 949*2^1433081-1 is not prime. Res64: 405B1F0E3AA8A508 Time : 0.0 sec. user=mdettweiler [2016-06-21 07:40:47] 657*2^1433082-1 is not prime. Res64: 38E5BCCBE36BCE7C Time : 0.0 sec. user=mdettweiler [2016-06-21 07:40:47] 941*2^1433082-1 is not prime. Res64: 51F09EB03D3B8658 Time : 0.0 sec. user=mdettweiler [2016-06-21 07:40:48] 983*2^1433082-1 is not prime. Res64: 1170ECF25742436D Time : 0.0 sec. user=mdettweiler [2016-06-21 07:40:48] 675*2^1433083-1 is not prime. Res64: 6566834FEC9ED823 Time : 0.0 sec. user=mdettweiler [2016-06-21 08:11:09] 751*2^1433083-1 is not prime. Res64: 5A5FCD2E31B504E6 Time : 0.0 sec. user=mdettweiler [2016-06-21 08:11:09] 765*2^1433083-1 is not prime. Res64: 656AB155F1A94DA0 Time : 0.0 sec. user=mdettweiler [2016-06-21 08:11:10] 853*2^1433083-1 is not prime. Res64: 0C9167673AEA8225 Time : 0.0 sec. user=mdettweiler [2016-06-21 08:11:10] 871*2^1433083-1 is not prime. Res64: 19D0ADCFB18CF8AA Time : 0.0 sec. user=mdettweiler [2016-06-21 08:11:11] 885*2^1433083-1 is not prime. Res64: B51562FBA0F4BC33 Time : 0.0 sec. user=mdettweiler [2016-06-21 08:13:20] 891*2^1433083-1 is not prime. Res64: 6E284D2144554C0B Time : 0.0 sec. user=mdettweiler [2016-06-21 08:13:21] 915*2^1433083-1 is not prime. Res64: C545F13E8A91943B Time : 0.0 sec. user=mdettweiler [2016-06-21 08:13:21] 939*2^1433083-1 is not prime. Res64: 4F4F8F74D12452B0 Time : 0.0 sec. user=mdettweiler [2016-06-21 08:13:22] 999*2^1433083-1 is not prime. Res64: 9C2900DCB460BA8B Time : 0.0 sec. user=mdettweiler [2016-06-21 08:13:22] 707*2^1433084-1 is not prime. Res64: 35AE011E2AFA4224 Time : 0.0 sec. user=mdettweiler [2016-06-21 08:25:00] 773*2^1433084-1 is not prime. Res64: 0B29175FB3B0A1D8 Time : 0.0 sec. user=mdettweiler [2016-06-21 08:25:01] 789*2^1433084-1 is not prime. Res64: 5351D434CC490017 Time : 0.0 sec. user=mdettweiler [2016-06-21 08:25:01] 903*2^1433084-1 is not prime. Res64: CA1F89E133E200C4 Time : 0.0 sec. user=mdettweiler [2016-06-21 08:25:02] 923*2^1433084-1 is not prime. Res64: 1E436B30439032B3 Time : 0.0 sec. user=mdettweiler [2016-06-21 08:25:02] 987*2^1433084-1 is not prime. Res64: 98EE2E18F8977927 Time : 0.0 sec. user=mdettweiler [2016-06-21 08:25:25] 709*2^1433085-1 is not prime. Res64: 42BC9F46D9F76335 Time : 0.0 sec. user=mdettweiler [2016-06-21 08:25:25] 795*2^1433085-1 is not prime. Res64: 9337F8AF4B1119F0 Time : 0.0 sec. user=mdettweiler [2016-06-21 08:25:25] 817*2^1433085-1 is not prime. Res64: 00EC66984E1A605E Time : 0.0 sec. user=mdettweiler [2016-06-21 08:25:26] 949*2^1433085-1 is not prime. Res64: CBE226304A442321 Time : 0.0 sec. user=mdettweiler [2016-06-21 08:25:26] 617*2^1433086-1 is not prime. Res64: 9A47C34F3D6A8018 Time : 0.0 sec. user=mdettweiler [2016-06-21 08:56:09] 777*2^1433086-1 is not prime. Res64: 10ADCC2858F30EE4 Time : 0.0 sec. user=mdettweiler [2016-06-21 08:56:10] 881*2^1433086-1 is not prime. Res64: 7662D0075845BEB4 Time : 0.0 sec. user=mdettweiler [2016-06-21 08:56:10] 983*2^1433086-1 is not prime. Res64: DCEC1E885BDF3A91 Time : 0.0 sec. user=mdettweiler [2016-06-21 08:56:11] 603*2^1433087-1 is not prime. Res64: 13B4185A151A1322 Time : 0.0 sec. user=mdettweiler [2016-06-21 08:56:11] 661*2^1433087-1 is not prime. Res64: 10E24DF2D02886DC Time : 0.0 sec. user=mdettweiler [2016-06-21 08:58:25] 825*2^1433087-1 is not prime. Res64: 0E542BEBF9008A2C Time : 0.0 sec. user=mdettweiler [2016-06-21 08:58:25] 841*2^1433087-1 is not prime. Res64: FF6454105982E2E0 Time : 0.0 sec. user=mdettweiler [2016-06-21 08:58:26] 843*2^1433087-1 is not prime. Res64: 9DB7BAA1783988DA Time : 0.0 sec. user=mdettweiler [2016-06-21 08:58:26] 979*2^1433087-1 is not prime. Res64: BB30D3B94DA7B4DD Time : 0.0 sec. user=mdettweiler [2016-06-21 08:58:27] 991*2^1433087-1 is not prime. Res64: 800EEC9579EC9C87 Time : 0.0 sec. user=mdettweiler [2016-06-21 09:09:48] 999*2^1433087-1 is not prime. Res64: EED3B729DC5F019D Time : 0.0 sec. user=mdettweiler [2016-06-21 09:09:49] 705*2^1433088-1 is not prime. Res64: AE6C0C4F5E7FAF32 Time : 0.0 sec. user=mdettweiler [2016-06-21 09:09:50] 765*2^1433088-1 is not prime. Res64: 95B8B2A8EF95D76E Time : 0.0 sec. user=mdettweiler [2016-06-21 09:09:50] 803*2^1433088-1 is not prime. Res64: F315B8EC44B89234 Time : 0.0 sec. user=mdettweiler [2016-06-21 09:09:51] 819*2^1433088-1 is not prime. Res64: 4DBF86E38BAB2CF4 Time : 0.0 sec. user=mdettweiler [2016-06-21 09:10:22] 915*2^1433088-1 is not prime. Res64: 5D32CC92BA37E16C Time : 0.0 sec. user=mdettweiler [2016-06-21 09:10:22] 929*2^1433088-1 is not prime. Res64: AE641FF1979568E3 Time : 0.0 sec. user=mdettweiler [2016-06-21 09:10:23] 615*2^1433089-1 is not prime. Res64: 06CD5F5FB117DC97 Time : 0.0 sec. user=mdettweiler [2016-06-21 09:10:24] 639*2^1433089-1 is not prime. Res64: 5A43B92DDD5B92FE Time : 0.0 sec. user=mdettweiler [2016-06-21 09:10:24] 721*2^1433089-1 is not prime. Res64: 361A5F0DCA60F36B Time : 0.0 sec. user=mdettweiler [2016-06-21 09:40:58] 729*2^1433089-1 is not prime. Res64: 6D9EE3119AD5E60F Time : 0.0 sec. user=mdettweiler [2016-06-21 09:40:58] 741*2^1433089-1 is not prime. Res64: 8A7559F02F259734 Time : 0.0 sec. user=mdettweiler [2016-06-21 09:40:59] 765*2^1433089-1 is not prime. Res64: E9948B357CFFEAAF Time : 0.0 sec. user=mdettweiler [2016-06-21 09:40:59] 835*2^1433089-1 is not prime. Res64: 492869611DAA760C Time : 0.0 sec. user=mdettweiler [2016-06-21 09:40:59] 895*2^1433089-1 is not prime. Res64: 40A7FE2AC44210B3 Time : 0.0 sec. user=mdettweiler [2016-06-21 09:43:19] 843*2^1433090-1 is not prime. Res64: B132AF6AD4A385C8 Time : 0.0 sec. user=mdettweiler [2016-06-21 09:43:19] 915*2^1433090-1 is not prime. Res64: 207B6BB6F006B131 Time : 0.0 sec. user=mdettweiler [2016-06-21 09:43:20] 957*2^1433090-1 is not prime. Res64: 3E743E00F585E2A4 Time : 0.0 sec. user=mdettweiler [2016-06-21 09:43:20] 705*2^1433091-1 is not prime. Res64: D810869DD959AA1E Time : 0.0 sec. user=mdettweiler [2016-06-21 09:43:20] 741*2^1433091-1 is not prime. Res64: F301668AE3F6D3E5 Time : 0.0 sec. user=mdettweiler [2016-06-21 09:54:36] 859*2^1433091-1 is not prime. Res64: 8D32C2978B62A0FE Time : 0.0 sec. user=mdettweiler [2016-06-21 09:54:36] 901*2^1433091-1 is not prime. Res64: C4DED7B6080F6655 Time : 0.0 sec. user=mdettweiler [2016-06-21 09:54:36] 973*2^1433091-1 is not prime. Res64: 6EF38F3DB6825CAE Time : 0.0 sec. user=mdettweiler [2016-06-21 09:54:37] 615*2^1433092-1 is not prime. Res64: 0B3C3A524D04BD3E Time : 0.0 sec. user=mdettweiler [2016-06-21 09:54:37] 687*2^1433092-1 is not prime. Res64: CF77D3B3D65ECA53 Time : 0.0 sec. user=mdettweiler [2016-06-21 09:55:11] 705*2^1433092-1 is not prime. Res64: 13C9FB881C071F8C Time : 0.0 sec. user=mdettweiler [2016-06-21 09:55:11] 719*2^1433092-1 is not prime. Res64: FB00664D43A6A5AD Time : 0.0 sec. user=mdettweiler [2016-06-21 09:55:12] 749*2^1433092-1 is not prime. Res64: 8FEF6C5E55FD98AA Time : 0.0 sec. user=mdettweiler [2016-06-21 09:55:12] 779*2^1433092-1 is not prime. Res64: 55993A7BD58D3370 Time : 0.0 sec. user=mdettweiler [2016-06-21 09:55:12] 869*2^1433092-1 is not prime. Res64: ED40DC04144BF292 Time : 0.0 sec. user=mdettweiler [2016-06-21 10:25:46] 619*2^1433093-1 is not prime. Res64: 2D91381D4CC7223F Time : 0.0 sec. user=mdettweiler [2016-06-21 10:25:47] 735*2^1433093-1 is not prime. Res64: 5F09BF2AD19171F9 Time : 0.0 sec. user=mdettweiler [2016-06-21 10:25:47] 741*2^1433093-1 is not prime. Res64: DC2691C2B08FA2F7 Time : 0.0 sec. user=mdettweiler [2016-06-21 10:25:47] 769*2^1433093-1 is not prime. Res64: 8BAD13C5DE49598D Time : 0.0 sec. user=mdettweiler [2016-06-21 10:25:48] 771*2^1433093-1 is not prime. Res64: 0E4CA3EC6D39BE0C Time : 0.0 sec. user=mdettweiler [2016-06-21 10:28:14] 789*2^1433093-1 is not prime. Res64: 1918599D81D76021 Time : 0.0 sec. user=mdettweiler [2016-06-21 10:28:15] 831*2^1433093-1 is not prime. Res64: A2CE1B5CAEF5D156 Time : 0.0 sec. user=mdettweiler [2016-06-21 10:28:15] 867*2^1433093-1 is not prime. Res64: 9FF5D9942C3B4F9C Time : 0.0 sec. user=mdettweiler [2016-06-21 10:28:15] 885*2^1433093-1 is not prime. Res64: EE227EF8067DBB4B Time : 0.0 sec. user=mdettweiler [2016-06-21 10:28:16] 901*2^1433093-1 is not prime. Res64: 51C8DE4C7EE2EE92 Time : 0.0 sec. user=mdettweiler [2016-06-21 10:39:20] 663*2^1433094-1 is not prime. Res64: 12AFB92D0FB6CEE5 Time : 0.0 sec. user=mdettweiler [2016-06-21 10:39:21] 681*2^1433094-1 is not prime. Res64: BF44C58423359E78 Time : 0.0 sec. user=mdettweiler [2016-06-21 10:39:21] 747*2^1433094-1 is not prime. Res64: 47CBB23C2658B3F9 Time : 0.0 sec. user=mdettweiler [2016-06-21 10:39:21] 765*2^1433094-1 is not prime. Res64: B75CC2F1516277BE Time : 0.0 sec. user=mdettweiler [2016-06-21 10:39:22] 861*2^1433094-1 is not prime. Res64: 80BA175A1EB2432E Time : 0.0 sec. user=mdettweiler [2016-06-21 10:39:52] 887*2^1433094-1 is not prime. Res64: 55E434055578F664 Time : 0.0 sec. user=mdettweiler [2016-06-21 10:39:52] 601*2^1433095-1 is not prime. Res64: 0DFC3057ECF6CFED Time : 0.0 sec. user=mdettweiler [2016-06-21 10:39:53] 603*2^1433095-1 is not prime. Res64: BCFA24AEFDDDEB5E Time : 0.0 sec. user=mdettweiler [2016-06-21 10:39:53] 679*2^1433095-1 is not prime. Res64: E81081CE878DA37A Time : 0.0 sec. user=mdettweiler [2016-06-21 10:39:53] 765*2^1433095-1 is not prime. Res64: FDDD4E77D247DC46 Time : 0.0 sec. user=mdettweiler [2016-06-21 11:11:11] 925*2^1433095-1 is not prime. Res64: 66147BE577CD749B Time : 0.0 sec. user=mdettweiler [2016-06-21 11:11:15] 657*2^1433096-1 is not prime. Res64: 780E0F02407EB633 Time : 0.0 sec. user=mdettweiler [2016-06-21 11:11:18] 725*2^1433096-1 is not prime. Res64: A138633268CD5F1E Time : 0.0 sec. user=mdettweiler [2016-06-21 11:11:19] 759*2^1433096-1 is not prime. Res64: 769C63E93365D9BD Time : 0.0 sec. user=mdettweiler [2016-06-21 11:13:49] 917*2^1433096-1 is not prime. Res64: 5932FADCB41E5219 Time : 0.0 sec. user=mdettweiler [2016-06-21 11:13:50] 983*2^1433096-1 is not prime. Res64: 6F64920AA1460164 Time : 0.0 sec. user=mdettweiler [2016-06-21 11:13:50] 625*2^1433097-1 is not prime. Res64: 3969C0F50504EACD Time : 0.0 sec. user=mdettweiler [2016-06-21 11:13:51] 751*2^1433097-1 is not prime. Res64: 6978ECBD83E33ACD Time : 0.0 sec. user=mdettweiler [2016-06-21 11:13:51] 889*2^1433097-1 is not prime. Res64: 73A191A287E70E74 Time : 0.0 sec. user=mdettweiler [2016-06-21 11:26:30] 937*2^1433097-1 is not prime. Res64: D672A5D35DD189D2 Time : 0.0 sec. user=mdettweiler [2016-06-21 11:26:30] 645*2^1433098-1 is not prime. Res64: DF9AA67C3A146131 Time : 0.0 sec. user=mdettweiler [2016-06-21 11:26:30] 651*2^1433098-1 is not prime. Res64: 921BD5A1992A02B7 Time : 0.0 sec. user=mdettweiler [2016-06-21 11:26:31] 671*2^1433098-1 is not prime. Res64: 705CF023CD404D34 Time : 0.0 sec. user=mdettweiler [2016-06-21 11:26:31] 801*2^1433098-1 is not prime. Res64: 6644591021F9D283 Time : 0.0 sec. user=mdettweiler [2016-06-21 11:27:07] 887*2^1433098-1 is not prime. Res64: F981E6A9C2D2CDC1 Time : 0.0 sec. user=mdettweiler [2016-06-21 11:27:07] 911*2^1433098-1 is not prime. Res64: E1F9F10C8E1918A1 Time : 0.0 sec. user=mdettweiler [2016-06-21 11:27:08] 933*2^1433098-1 is not prime. Res64: 16E4E370806ED1A6 Time : 0.0 sec. user=mdettweiler [2016-06-21 11:27:08] 975*2^1433098-1 is not prime. Res64: C600F30F54D69C07 Time : 0.0 sec. user=mdettweiler [2016-06-21 11:27:08] 615*2^1433099-1 is not prime. Res64: 9F198A7B96A8F50B Time : 0.0 sec. user=mdettweiler [2016-06-21 12:05:47] 735*2^1433099-1 is not prime. Res64: BBD6E6AFB193378A Time : 0.0 sec. user=mdettweiler [2016-06-21 12:05:49] 775*2^1433099-1 is not prime. Res64: F4174AFF04CFEEDD Time : 0.0 sec. user=mdettweiler [2016-06-21 12:05:50] 861*2^1433099-1 is not prime. Res64: 87348E027BD45AC3 Time : 0.0 sec. user=mdettweiler [2016-06-21 12:05:51] 943*2^1433099-1 is not prime. Res64: FA3A20996AE89950 Time : 0.0 sec. user=mdettweiler [2016-06-21 12:05:52] 993*2^1433099-1 is not prime. Res64: 9C91E4DC196A80AD Time : 0.0 sec. user=mdettweiler [2016-06-21 12:18:52] 609*2^1433100-1 is not prime. Res64: EE64B92AADF8350D Time : 0.0 sec. user=mdettweiler [2016-06-21 12:18:52] 635*2^1433100-1 is not prime. Res64: C158E5D7749897C4 Time : 0.0 sec. user=mdettweiler [2016-06-21 12:18:53] 689*2^1433100-1 is not prime. Res64: BBEB20967B092C36 Time : 0.0 sec. user=mdettweiler [2016-06-21 12:18:53] 893*2^1433100-1 is not prime. Res64: 14D7499B4D4C6020 Time : 0.0 sec. user=mdettweiler [2016-06-21 12:18:53] 899*2^1433100-1 is not prime. Res64: EB549EAF49DACDD9 Time : 0.0 sec. user=mdettweiler [2016-06-21 12:19:40] 965*2^1433100-1 is not prime. Res64: 7065798FD15337E3 Time : 0.0 sec. user=mdettweiler [2016-06-21 12:19:40] 999*2^1433100-1 is not prime. Res64: 90FDFC2C2B1AE3DD Time : 0.0 sec. user=mdettweiler [2016-06-21 12:19:40] 687*2^1433101-1 is not prime. Res64: 1B0C64B68BAD976E Time : 0.0 sec. user=mdettweiler [2016-06-21 12:19:40] 775*2^1433101-1 is not prime. Res64: 45601AD4C2A8C116 Time : 0.0 sec. user=mdettweiler [2016-06-21 12:19:41] 777*2^1433101-1 is not prime. Res64: FF87158A66A0B1B7 Time : 0.0 sec. user=mdettweiler [2016-06-21 12:57:47] 789*2^1433101-1 is not prime. Res64: 429A627C20010E73 Time : 0.0 sec. user=mdettweiler [2016-06-21 12:57:47] 799*2^1433101-1 is not prime. Res64: F572F0E6159AFBBB Time : 0.0 sec. user=mdettweiler [2016-06-21 12:57:47] 801*2^1433101-1 is not prime. Res64: FB4C94475AF95A26 Time : 0.0 sec. user=mdettweiler [2016-06-21 12:57:48] 939*2^1433101-1 is not prime. Res64: C015012614451817 Time : 0.0 sec. user=mdettweiler [2016-06-21 12:57:48] 987*2^1433101-1 is not prime. Res64: 2D230FB91ECD9107 Time : 0.0 sec. user=mdettweiler [2016-06-21 13:09:59] 603*2^1433102-1 is not prime. Res64: 73D474A1FE3BF2F7 Time : 0.0 sec. user=mdettweiler [2016-06-21 13:10:00] 623*2^1433102-1 is not prime. Res64: 99968C80B9FB3363 Time : 0.0 sec. user=mdettweiler [2016-06-21 13:10:01] 627*2^1433102-1 is not prime. Res64: B61666E1D2490A7A Time : 0.0 sec. user=mdettweiler [2016-06-21 13:10:01] 683*2^1433102-1 is not prime. Res64: B2AD5854201EE17F Time : 0.0 sec. user=mdettweiler [2016-06-21 13:10:02] 797*2^1433102-1 is not prime. Res64: 3074C8A055B46BF5 Time : 0.0 sec. user=mdettweiler [2016-06-21 13:11:18] 945*2^1433102-1 is not prime. Res64: FFD9CB758EEF74D8 Time : 0.0 sec. user=mdettweiler [2016-06-21 13:11:19] 951*2^1433102-1 is not prime. Res64: 52703D8D65AE655B Time : 0.0 sec. user=mdettweiler [2016-06-21 13:11:19] 963*2^1433102-1 is not prime. Res64: DB556A8E0B1C64A7 Time : 0.0 sec. user=mdettweiler [2016-06-21 13:11:20] 977*2^1433102-1 is not prime. Res64: F9798001560064C6 Time : 0.0 sec. user=mdettweiler [2016-06-21 13:11:20] 1001*2^1433102-1 is not prime. Res64: DF38310FFF55AF05 Time : 0.0 sec. user=mdettweiler [2016-06-21 13:46:26] 691*2^1433103-1 is not prime. Res64: B961D03281084B42 Time : 0.0 sec. user=mdettweiler [2016-06-21 13:46:26] 739*2^1433103-1 is not prime. Res64: 2E731F758741A4E2 Time : 0.0 sec. user=mdettweiler [2016-06-21 13:46:27] 795*2^1433103-1 is not prime. Res64: 88655F6718B37F85 Time : 0.0 sec. user=mdettweiler [2016-06-21 13:46:27] 885*2^1433103-1 is not prime. Res64: F6ECD3346CB2CD66 Time : 0.0 sec. user=mdettweiler [2016-06-21 13:46:27] 961*2^1433103-1 is not prime. Res64: F7AAEA05CC445E6F Time : 0.0 sec. user=mdettweiler [2016-06-21 13:57:19] 687*2^1433104-1 is not prime. Res64: 877211101A9B465F Time : 0.0 sec. user=mdettweiler [2016-06-21 13:57:19] 785*2^1433104-1 is not prime. Res64: 3C98F3F6398F0447 Time : 0.0 sec. user=mdettweiler [2016-06-21 13:57:20] 813*2^1433104-1 is not prime. Res64: A913FFE45380D7EF Time : 0.0 sec. user=mdettweiler [2016-06-21 13:57:20] 825*2^1433104-1 is not prime. Res64: AFC853DEEC8500A6 Time : 0.0 sec. user=mdettweiler [2016-06-21 13:57:20] 875*2^1433104-1 is not prime. Res64: 7FB69D6C87E4195D Time : 0.0 sec. user=mdettweiler [2016-06-21 13:58:26] 887*2^1433104-1 is not prime. Res64: C67AE6FCAB87FB73 Time : 0.0 sec. user=mdettweiler [2016-06-21 13:58:26] 669*2^1433105-1 is not prime. Res64: 062427F840115AC1 Time : 0.0 sec. user=mdettweiler [2016-06-21 13:58:27] 691*2^1433105-1 is not prime. Res64: D888D597A26F1DB5 Time : 0.0 sec. user=mdettweiler [2016-06-21 13:58:27] 697*2^1433105-1 is not prime. Res64: DB09F0A09B986C02 Time : 0.0 sec. user=mdettweiler [2016-06-21 13:58:28] 717*2^1433105-1 is not prime. Res64: 3816C10E0E4EAB4B Time : 0.0 sec. user=mdettweiler [2016-06-21 14:13:25] 837*2^1433096-1 is not prime. Res64: 7683B0B8AEDE9F1D Time : 0.0 sec. user=mdettweiler [2016-06-21 14:32:33] 727*2^1433105-1 is not prime. Res64: 250F032F3C6F8153 Time : 0.0 sec. user=mdettweiler [2016-06-21 14:32:33] 811*2^1433105-1 is not prime. Res64: 329399F182F23126 Time : 0.0 sec. user=mdettweiler [2016-06-21 14:32:33] 841*2^1433105-1 is not prime. Res64: 263D2F68BA950531 Time : 0.0 sec. user=mdettweiler [2016-06-21 14:32:34] 871*2^1433105-1 is not prime. Res64: 632F5430DFAC173B Time : 0.0 sec. user=mdettweiler [2016-06-21 14:32:34] 909*2^1433105-1 is not prime. Res64: BFD61FC067749A52 Time : 0.0 sec. user=mdettweiler [2016-06-21 14:43:21] 937*2^1433105-1 is not prime. Res64: 60327ECFA6AFB18E Time : 0.0 sec. user=mdettweiler [2016-06-21 14:43:21] 627*2^1433106-1 is not prime. Res64: 3DCB5FC749CB759A Time : 0.0 sec. user=mdettweiler [2016-06-21 14:43:22] 633*2^1433106-1 is not prime. Res64: 80A3E45CB5EBF475 Time : 0.0 sec. user=mdettweiler [2016-06-21 14:43:22] 683*2^1433106-1 is not prime. Res64: F245B53DB850B60F Time : 0.0 sec. user=mdettweiler [2016-06-21 14:43:22] 783*2^1433106-1 is not prime. Res64: F56D916BF7A34295 Time : 0.0 sec. user=mdettweiler [2016-06-21 14:44:24] 821*2^1433106-1 is not prime. Res64: DDA33EC68CBFEC79 Time : 0.0 sec. user=mdettweiler [2016-06-21 14:44:24] 983*2^1433106-1 is not prime. Res64: 6922541B3B587538 Time : 0.0 sec. user=mdettweiler [2016-06-21 14:44:25] 603*2^1433107-1 is not prime. Res64: 389B00378EBBB29A Time : 0.0 sec. user=mdettweiler [2016-06-21 14:44:25] 793*2^1433107-1 is not prime. Res64: AA7C988984D159B4 Time : 0.0 sec. user=mdettweiler [2016-06-21 14:44:26] 819*2^1433107-1 is not prime. Res64: F3F4F4374FFF73E9 Time : 0.0 sec. user=mdettweiler [2016-06-21 14:58:53] 871*2^1433107-1 is not prime. Res64: 4C6382234B83246E Time : 0.0 sec. user=mdettweiler [2016-06-21 14:58:53] 883*2^1433107-1 is not prime. Res64: 22AB33D54B6E530B Time : 0.0 sec. user=mdettweiler [2016-06-21 14:58:54] 945*2^1433107-1 is not prime. Res64: 79B4A1EC5F4782C3 Time : 0.0 sec. user=mdettweiler [2016-06-21 14:58:54] 985*2^1433107-1 is not prime. Res64: ADFEC40455108BEF Time : 0.0 sec. user=mdettweiler [2016-06-21 14:58:55] 615*2^1433108-1 is not prime. Res64: 38AC7074BF2B83B0 Time : 0.0 sec. user=mdettweiler [2016-06-21 15:17:01] 629*2^1433108-1 is not prime. Res64: 62815F82265752D5 Time : 0.0 sec. user=mdettweiler [2016-06-21 15:17:01] 795*2^1433108-1 is not prime. Res64: 05113ECF757155E7 Time : 0.0 sec. user=mdettweiler [2016-06-21 15:17:02] 819*2^1433108-1 is not prime. Res64: A485DDC1FDC07F8A Time : 0.0 sec. user=mdettweiler [2016-06-21 15:17:02] 845*2^1433108-1 is not prime. Res64: F461600E9CB3F116 Time : 0.0 sec. user=mdettweiler [2016-06-21 15:17:03] 909*2^1433108-1 is not prime. Res64: 1B0CF23004EEF196 Time : 0.0 sec. user=mdettweiler [2016-06-21 15:28:02] 681*2^1433109-1 is not prime. Res64: 6CBCBA64B9BAE9B6 Time : 0.0 sec. user=mdettweiler [2016-06-21 15:28:02] 685*2^1433109-1 is not prime. Res64: 4EB1CFFD0DDA7E3D Time : 0.0 sec. user=mdettweiler [2016-06-21 15:28:03] 861*2^1433109-1 is not prime. Res64: A39F79707C097034 Time : 0.0 sec. user=mdettweiler [2016-06-21 15:28:03] 877*2^1433109-1 is not prime. Res64: 2FB9632F9EA37C35 Time : 0.0 sec. user=mdettweiler [2016-06-21 15:28:03] 919*2^1433109-1 is not prime. Res64: 3A5236EA2E442AB4 Time : 0.0 sec. user=mdettweiler [2016-06-21 15:28:54] 713*2^1433110-1 is not prime. Res64: 2868CCCDD308FD51 Time : 0.0 sec. user=mdettweiler [2016-06-21 15:28:55] 755*2^1433110-1 is not prime. Res64: E3234B63F8A2AB23 Time : 0.0 sec. user=mdettweiler [2016-06-21 15:28:55] 833*2^1433110-1 is not prime. Res64: 7155227DFF68B857 Time : 0.0 sec. user=mdettweiler [2016-06-21 15:28:55] 911*2^1433110-1 is not prime. Res64: 3B7E58154DA55C1E Time : 0.0 sec. user=mdettweiler [2016-06-21 15:28:56] 603*2^1433111-1 is not prime. Res64: 5A6CA7FDCF68991D Time : 0.0 sec. user=mdettweiler [2016-06-21 15:43:24] 645*2^1433111-1 is not prime. Res64: 61EB960D22C488CC Time : 0.0 sec. user=mdettweiler [2016-06-21 15:43:24] 663*2^1433111-1 is not prime. Res64: 7EEEC416EB5568F5 Time : 0.0 sec. user=mdettweiler [2016-06-21 15:43:24] 711*2^1433111-1 is not prime. Res64: 1960B27B79E85FF2 Time : 0.0 sec. user=mdettweiler [2016-06-21 15:43:25] 789*2^1433111-1 is not prime. Res64: C6F5273BC23DA528 Time : 0.0 sec. user=mdettweiler [2016-06-21 15:43:25] 605*2^1433112-1 is not prime. Res64: 8021388F637EEFDA Time : 0.0 sec. user=mdettweiler [2016-06-21 16:01:30] 629*2^1433112-1 is not prime. Res64: 95D006FA1520548E Time : 0.0 sec. user=mdettweiler [2016-06-21 16:01:31] 767*2^1433112-1 is not prime. Res64: 4A4B9D72048D3C8A Time : 0.0 sec. user=mdettweiler [2016-06-21 16:01:32] 863*2^1433112-1 is not prime. Res64: F5C3FB46A61F278D Time : 0.0 sec. user=mdettweiler [2016-06-21 16:01:33] 867*2^1433112-1 is not prime. Res64: F57130A1BED8E903 Time : 0.0 sec. user=mdettweiler [2016-06-21 16:01:33] 875*2^1433112-1 is not prime. Res64: B107B9D49978894D Time : 0.0 sec. user=mdettweiler [2016-06-21 16:12:22] 975*2^1433112-1 is not prime. Res64: B82F4DA8CBF24DC9 Time : 0.0 sec. user=mdettweiler [2016-06-21 16:12:22] 607*2^1433113-1 is not prime. Res64: 79A0356B5193CAA1 Time : 0.0 sec. user=mdettweiler [2016-06-21 16:12:23] 765*2^1433113-1 is not prime. Res64: AD0D126B871306D2 Time : 0.0 sec. user=mdettweiler [2016-06-21 16:12:23] 769*2^1433113-1 is not prime. Res64: 28E6B50AED89C3AE Time : 0.0 sec. user=mdettweiler [2016-06-21 16:12:24] 771*2^1433113-1 is not prime. Res64: 92D990689E4E3C84 Time : 0.0 sec. user=mdettweiler [2016-06-21 16:13:16] 895*2^1433113-1 is not prime. Res64: A5188BFE710D8AC3 Time : 0.0 sec. user=mdettweiler [2016-06-21 16:13:17] 945*2^1433113-1 is not prime. Res64: C1BF50578B54A432 Time : 0.0 sec. user=mdettweiler [2016-06-21 16:13:17] 651*2^1433114-1 is not prime. Res64: 5312A6148EAA30DA Time : 0.0 sec. user=mdettweiler [2016-06-21 16:13:17] 671*2^1433114-1 is not prime. Res64: 5053F07A24742B6A Time : 0.0 sec. user=mdettweiler [2016-06-21 16:13:18] 731*2^1433114-1 is not prime. Res64: 2886B40816636B90 Time : 0.0 sec. user=mdettweiler [2016-06-21 16:27:47] 743*2^1433114-1 is not prime. Res64: 6AF69B31EBD4FCD7 Time : 0.0 sec. user=mdettweiler [2016-06-21 16:27:48] 675*2^1433115-1 is not prime. Res64: 8A1253A3C48DA2BE Time : 0.0 sec. user=mdettweiler [2016-06-21 16:27:49] 723*2^1433115-1 is not prime. Res64: 2C29A566D1099B20 Time : 0.0 sec. user=mdettweiler [2016-06-21 16:27:50] 753*2^1433115-1 is not prime. Res64: D11DBF8773117D63 Time : 0.0 sec. user=mdettweiler [2016-06-21 16:27:51] 861*2^1433115-1 is not prime. Res64: 14897BB0A1AC460C Time : 0.0 sec. user=mdettweiler [2016-06-21 16:46:01] 699*2^1433116-1 is not prime. Res64: 5CB8F9A9F7DFB3DE Time : 0.0 sec. user=mdettweiler [2016-06-21 16:46:02] 735*2^1433116-1 is not prime. Res64: 4E45D03251063252 Time : 0.0 sec. user=mdettweiler [2016-06-21 16:46:02] 773*2^1433116-1 is not prime. Res64: 5E83F5F111F6B834 Time : 0.0 sec. user=mdettweiler [2016-06-21 16:46:02] 843*2^1433116-1 is not prime. Res64: 48AE38CD665845B4 Time : 0.0 sec. user=mdettweiler [2016-06-21 16:46:03] 905*2^1433116-1 is not prime. Res64: 47AE3E0478F838BC Time : 0.0 sec. user=mdettweiler [2016-06-21 16:56:58] 909*2^1433116-1 is not prime. Res64: 782F69033CEA4630 Time : 0.0 sec. user=mdettweiler [2016-06-21 16:56:59] 619*2^1433117-1 is not prime. Res64: F1645DC9842F895C Time : 0.0 sec. user=mdettweiler [2016-06-21 16:56:59] 669*2^1433117-1 is not prime. Res64: 13F4331FE550112F Time : 0.0 sec. user=mdettweiler [2016-06-21 16:56:59] 691*2^1433117-1 is not prime. Res64: F14BDA21BC090280 Time : 0.0 sec. user=mdettweiler [2016-06-21 16:57:00] 747*2^1433117-1 is not prime. Res64: F8425D20ABBF2776 Time : 0.0 sec. user=mdettweiler [2016-06-21 16:57:35] 801*2^1433117-1 is not prime. Res64: 1B92B53A326F39EE Time : 0.0 sec. user=mdettweiler [2016-06-21 16:57:36] 819*2^1433117-1 is not prime. Res64: C201045D5D27BA3E Time : 0.0 sec. user=mdettweiler [2016-06-21 16:57:36] 837*2^1433117-1 is not prime. Res64: 5E57A3448EFAC733 Time : 0.0 sec. user=mdettweiler [2016-06-21 16:57:36] 889*2^1433117-1 is not prime. Res64: FE2A08F0030A93B7 Time : 0.0 sec. user=mdettweiler [2016-06-21 16:57:37] 955*2^1433117-1 is not prime. Res64: 5E3934D6126EF370 Time : 0.0 sec. user=mdettweiler [2016-06-21 17:12:19] 967*2^1433117-1 is not prime. Res64: 102B154F1514C903 Time : 0.0 sec. user=mdettweiler [2016-06-21 17:12:20] 671*2^1433118-1 is not prime. Res64: D66EA2788FC4496B Time : 0.0 sec. user=mdettweiler [2016-06-21 17:12:21] 695*2^1433118-1 is not prime. Res64: 3F70537826BFF3DD Time : 0.0 sec. user=mdettweiler [2016-06-21 17:12:21] 707*2^1433118-1 is not prime. Res64: 563C3F8A1A4603A9 Time : 0.0 sec. user=mdettweiler [2016-06-21 17:12:22] 755*2^1433118-1 is not prime. Res64: 71B49D69D6DCFF55 Time : 0.0 sec. user=mdettweiler [2016-06-21 17:30:33] 893*2^1433118-1 is not prime. Res64: B090F87BC38C227C Time : 0.0 sec. user=mdettweiler [2016-06-21 17:30:33] 933*2^1433118-1 is not prime. Res64: 38ECCCBFB244F8C1 Time : 0.0 sec. user=mdettweiler [2016-06-21 17:30:34] 977*2^1433118-1 is not prime. Res64: 75A202BCF5A24855 Time : 0.0 sec. user=mdettweiler [2016-06-21 17:30:34] 615*2^1433119-1 is not prime. Res64: 45C5FB7C10F1A091 Time : 0.0 sec. user=mdettweiler [2016-06-21 17:30:35] 619*2^1433119-1 is not prime. Res64: 472DF518D5682239 Time : 0.0 sec. user=mdettweiler [2016-06-21 17:41:25] 793*2^1433119-1 is not prime. Res64: A0A8F018A6976A01 Time : 0.0 sec. user=mdettweiler [2016-06-21 17:41:25] 855*2^1433119-1 is not prime. Res64: 1FEA20F4883EE803 Time : 0.0 sec. user=mdettweiler [2016-06-21 17:41:25] 859*2^1433119-1 is not prime. Res64: CDBEFD2E2F5A0AF0 Time : 0.0 sec. user=mdettweiler [2016-06-21 17:41:26] 985*2^1433119-1 is not prime. Res64: A3FD6D2A6BF471BD Time : 0.0 sec. user=mdettweiler [2016-06-21 17:41:26] 609*2^1433120-1 is not prime. Res64: A447BD3A86A742F9 Time : 0.0 sec. user=mdettweiler [2016-06-21 17:41:57] 635*2^1433120-1 is not prime. Res64: 850182D426F0266D Time : 0.0 sec. user=mdettweiler [2016-06-21 17:41:57] 659*2^1433120-1 is not prime. Res64: 30CC9A5647014B79 Time : 0.0 sec. user=mdettweiler [2016-06-21 17:41:57] 689*2^1433120-1 is not prime. Res64: 1FD41BBAFD448874 Time : 0.0 sec. user=mdettweiler [2016-06-21 17:41:58] 717*2^1433120-1 is not prime. Res64: 65F9BEAD8C937690 Time : 0.0 sec. user=mdettweiler [2016-06-21 17:41:58] 767*2^1433120-1 is not prime. Res64: 8DAB3F0EAA2E55C4 Time : 0.0 sec. user=mdettweiler [2016-06-21 17:56:50] 875*2^1433120-1 is not prime. Res64: 7CD3A3F7A76CF7C3 Time : 0.0 sec. user=mdettweiler [2016-06-21 17:56:51] 879*2^1433120-1 is not prime. Res64: FA503A1B63A41004 Time : 0.0 sec. user=mdettweiler [2016-06-21 17:56:51] 923*2^1433120-1 is not prime. Res64: 3A3D1E6A14C72181 Time : 0.0 sec. user=mdettweiler [2016-06-21 17:56:51] 935*2^1433120-1 is not prime. Res64: 0013CA2DE830EBAF Time : 0.0 sec. user=mdettweiler [2016-06-21 17:56:52] 615*2^1433121-1 is not prime. Res64: 922EA28F1B6B1557 Time : 0.0 sec. user=mdettweiler [2016-06-21 18:14:57] 649*2^1433121-1 is not prime. Res64: 4A0068714E4E946A Time : 0.0 sec. user=mdettweiler [2016-06-21 18:14:58] 705*2^1433121-1 is not prime. Res64: 09F7B0B9EFEA7BE0 Time : 0.0 sec. user=mdettweiler [2016-06-21 18:14:58] 795*2^1433121-1 is not prime. Res64: A067A3A5DAB0F1E9 Time : 0.0 sec. user=mdettweiler [2016-06-21 18:14:59] 835*2^1433121-1 is not prime. Res64: 1771D55B8A126696 Time : 0.0 sec. user=mdettweiler [2016-06-21 18:14:59] 877*2^1433121-1 is not prime. Res64: 4FD7AA40E1975DDC Time : 0.0 sec. user=mdettweiler [2016-06-21 18:26:01] 885*2^1433121-1 is not prime. Res64: 4DE419EB31DA07C4 Time : 0.0 sec. user=mdettweiler [2016-06-21 18:26:01] 945*2^1433121-1 is not prime. Res64: 17D2B59C0F1166B9 Time : 0.0 sec. user=mdettweiler [2016-06-21 18:26:02] 949*2^1433121-1 is not prime. Res64: F4435BDE413ECD17 Time : 0.0 sec. user=mdettweiler [2016-06-21 18:26:03] 969*2^1433121-1 is not prime. Res64: 6419762EEA7759ED Time : 0.0 sec. user=mdettweiler [2016-06-21 18:26:03] 979*2^1433121-1 is not prime. Res64: AC71120CC224DE61 Time : 0.0 sec. user=mdettweiler [2016-06-21 18:26:26] 681*2^1433122-1 is not prime. Res64: 024D5B4EF2F40B0C Time : 0.0 sec. user=mdettweiler [2016-06-21 18:26:27] 743*2^1433122-1 is not prime. Res64: BD738F3CF56560A0 Time : 0.0 sec. user=mdettweiler [2016-06-21 18:26:28] 825*2^1433122-1 is not prime. Res64: DDFF5E95DB36F96E Time : 0.0 sec. user=mdettweiler [2016-06-21 18:26:29] 843*2^1433122-1 is not prime. Res64: 57E532F56B37BEC6 Time : 0.0 sec. user=mdettweiler [2016-06-21 18:26:30] 911*2^1433122-1 is not prime. Res64: E36D66602CC7B095 Time : 0.0 sec. user=mdettweiler [2016-06-21 18:41:40] 917*2^1433122-1 is not prime. Res64: 384F92D0AB538434 Time : 0.0 sec. user=mdettweiler [2016-06-21 18:41:40] 923*2^1433122-1 is not prime. Res64: 0CD4E9C80F80EE80 Time : 0.0 sec. user=mdettweiler [2016-06-21 18:41:40] 975*2^1433122-1 is not prime. Res64: 0F1ABB4EA5BB40FC Time : 0.0 sec. user=mdettweiler [2016-06-21 18:41:41] 1001*2^1433122-1 is not prime. Res64: 607A4F0E900A3B21 Time : 0.0 sec. user=mdettweiler [2016-06-21 18:41:41] 643*2^1433123-1 is not prime. Res64: E40B9A503D9F4D8C Time : 0.0 sec. user=mdettweiler [2016-06-21 18:59:22] 675*2^1433123-1 is not prime. Res64: BA7F5EDEB9CED39F Time : 0.0 sec. user=mdettweiler [2016-06-21 18:59:23] 735*2^1433123-1 is not prime. Res64: C2BF3F33999DEDBD Time : 0.0 sec. user=mdettweiler [2016-06-21 18:59:23] 771*2^1433123-1 is not prime. Res64: 01C398D88C451BCC Time : 0.0 sec. user=mdettweiler [2016-06-21 18:59:23] 615*2^1433124-1 is not prime. Res64: 500B6A8C5E8FFAA1 Time : 0.0 sec. user=mdettweiler [2016-06-21 18:59:24] 635*2^1433124-1 is not prime. Res64: AD12A079E4F2EFD6 Time : 0.0 sec. user=mdettweiler [2016-06-21 19:10:41] 683*2^1433124-1 is not prime. Res64: 2DB4321C9AEA4F1E Time : 0.0 sec. user=mdettweiler [2016-06-21 19:10:46] 773*2^1433124-1 is not prime. Res64: C7263741E8C419DE Time : 0.0 sec. user=mdettweiler [2016-06-21 19:10:49] 609*2^1433125-1 is not prime. Res64: 5B69C986558CDB7D Time : 0.0 sec. user=mdettweiler [2016-06-21 19:10:55] 625*2^1433125-1 is not prime. Res64: FE3C8B718553AB87 Time : 0.0 sec. user=mdettweiler [2016-06-21 19:10:58] 825*2^1433125-1 is not prime. Res64: 3E3A88157E0C548E Time : 0.0 sec. user=mdettweiler [2016-06-21 19:11:06] 897*2^1433125-1 is not prime. Res64: 57840685BAD9D9F9 Time : 0.0 sec. user=mdettweiler [2016-06-21 19:11:11] 975*2^1433125-1 is not prime. Res64: E32115659DA83E11 Time : 0.0 sec. user=mdettweiler [2016-06-21 19:11:15] 987*2^1433125-1 is not prime. Res64: AAC5F798E981C379 Time : 0.0 sec. user=mdettweiler [2016-06-21 19:11:19] 641*2^1433126-1 is not prime. Res64: 1AD89F48C42D45B9 Time : 0.0 sec. user=mdettweiler [2016-06-21 19:11:27] 833*2^1433126-1 is not prime. Res64: BB5BACC1D492CE6B Time : 0.0 sec. user=mdettweiler [2016-06-21 19:26:21] 887*2^1433126-1 is not prime. Res64: 1F8DBA1FFBCF3CC4 Time : 0.0 sec. user=mdettweiler [2016-06-21 19:26:21] 923*2^1433126-1 is not prime. Res64: F2C38187A862B45A Time : 0.0 sec. user=mdettweiler [2016-06-21 19:26:21] 945*2^1433127-1 is not prime. Res64: 958FD1DB9FBBAF1D Time : 0.0 sec. user=mdettweiler [2016-06-21 19:26:22] 985*2^1433127-1 is not prime. Res64: 415524CE71F10D79 Time : 0.0 sec. user=mdettweiler [2016-06-21 19:26:22] 617*2^1433128-1 is not prime. Res64: 663B5FC6389CF5C8 Time : 0.0 sec. user=mdettweiler [2016-06-21 19:44:04] 635*2^1433128-1 is not prime. Res64: 692CA9F8E3B791D9 Time : 0.0 sec. user=mdettweiler [2016-06-21 19:44:04] 665*2^1433128-1 is not prime. Res64: B4D223A8D47F30E9 Time : 0.0 sec. user=mdettweiler [2016-06-21 19:44:05] 707*2^1433128-1 is not prime. Res64: A7FA637021A4C733 Time : 0.0 sec. user=mdettweiler [2016-06-21 19:44:05] 735*2^1433128-1 is not prime. Res64: E088E1670E491AAC Time : 0.0 sec. user=mdettweiler [2016-06-21 19:44:06] 839*2^1433128-1 is not prime. Res64: 7B101AE79800ACC0 Time : 0.0 sec. user=mdettweiler [2016-06-21 19:56:16] 721*2^1433129-1 is not prime. Res64: AD2E3EF9C203FED4 Time : 0.0 sec. user=mdettweiler [2016-06-21 19:56:17] 741*2^1433129-1 is not prime. Res64: 30048A9B5665946D Time : 0.0 sec. user=mdettweiler [2016-06-21 19:56:17] 847*2^1433129-1 is not prime. Res64: 377E2E51B5758A11 Time : 0.0 sec. user=mdettweiler [2016-06-21 19:56:18] 987*2^1433129-1 is not prime. Res64: 6B8D958B44B1F2D2 Time : 0.0 sec. user=mdettweiler [2016-06-21 19:56:18] 735*2^1433130-1 is not prime. Res64: AE518617F6A28B0E Time : 0.0 sec. user=mdettweiler [2016-06-21 19:56:24] 875*2^1433128-1 is not prime. Res64: CF4168EFB8A81A9D Time : 0.0 sec. user=mdettweiler [2016-06-21 19:56:24] 905*2^1433128-1 is not prime. Res64: FD1BA19978BCB06B Time : 0.0 sec. user=mdettweiler [2016-06-21 19:56:25] 995*2^1433128-1 is not prime. Res64: 43274D03C1AA9123 Time : 0.0 sec. user=mdettweiler [2016-06-21 19:56:25] 627*2^1433129-1 is not prime. Res64: BC8266F647825B8F Time : 0.0 sec. user=mdettweiler [2016-06-21 19:56:26] 657*2^1433129-1 is not prime. Res64: 52C70483B8971D37 Time : 0.0 sec. user=mdettweiler [2016-06-21 20:10:51] 741*2^1433130-1 is not prime. Res64: 084681CBAAD22607 Time : 0.0 sec. user=mdettweiler [2016-06-21 20:10:51] 777*2^1433130-1 is not prime. Res64: 9FC5093452BBA8E3 Time : 0.0 sec. user=mdettweiler [2016-06-21 20:10:52] 821*2^1433130-1 is not prime. Res64: 20851FB0AE2B0B01 Time : 0.0 sec. user=mdettweiler [2016-06-21 20:10:52] 867*2^1433130-1 is not prime. Res64: CB5DD26254D8E7C9 Time : 0.0 sec. user=mdettweiler [2016-06-21 20:10:53] 723*2^1433131-1 is not prime. Res64: B2845BDD51133EC9 Time : 0.0 sec. user=mdettweiler [2016-06-21 20:28:32] 789*2^1433131-1 is not prime. Res64: CB9A4ACAFE12DD32 Time : 0.0 sec. user=mdettweiler [2016-06-21 20:28:33] 841*2^1433131-1 is not prime. Res64: 1E5C9F8E9410D841 Time : 0.0 sec. user=mdettweiler [2016-06-21 20:28:34] 871*2^1433131-1 is not prime. Res64: FB8934850E027819 Time : 0.0 sec. user=mdettweiler [2016-06-21 20:28:36] 885*2^1433131-1 is not prime. Res64: DC8D51C7F8485F6E Time : 0.0 sec. user=mdettweiler [2016-06-21 20:28:37] 891*2^1433131-1 is not prime. Res64: 624E987AED9648D1 Time : 0.0 sec. user=mdettweiler [2016-06-21 20:40:44] 961*2^1433131-1 is not prime. Res64: 27F0E69E112F74E6 Time : 0.0 sec. user=mdettweiler [2016-06-21 20:40:44] 979*2^1433131-1 is not prime. Res64: B9CF90B03095E3F7 Time : 0.0 sec. user=mdettweiler [2016-06-21 20:40:45] 669*2^1433132-1 is not prime. Res64: 466CCF29D523865E Time : 0.0 sec. user=mdettweiler [2016-06-21 20:40:45] 677*2^1433132-1 is not prime. Res64: E1F4454587858506 Time : 0.0 sec. user=mdettweiler [2016-06-21 20:40:46] 749*2^1433132-1 is not prime. Res64: FAEFAFDA63E87700 Time : 0.0 sec. user=mdettweiler [2016-06-21 20:41:00] 825*2^1433132-1 is not prime. Res64: 466783AEC28598FA Time : 0.0 sec. user=mdettweiler [2016-06-21 20:41:00] 867*2^1433132-1 is not prime. Res64: 766505DDF0EC6734 Time : 0.0 sec. user=mdettweiler [2016-06-21 20:41:01] 875*2^1433132-1 is not prime. Res64: ED5F5488F997A6B0 Time : 0.0 sec. user=mdettweiler [2016-06-21 20:41:01] 909*2^1433132-1 is not prime. Res64: 28540BC405EA1FCD Time : 0.0 sec. user=mdettweiler [2016-06-21 20:41:02] 923*2^1433132-1 is not prime. Res64: B25CA949932EFF76 Time : 0.0 sec. user=mdettweiler [2016-06-21 20:55:24] 935*2^1433132-1 is not prime. Res64: 7CD7FB661096B9D8 Time : 0.0 sec. user=mdettweiler [2016-06-21 20:55:25] 609*2^1433133-1 is not prime. Res64: D489EB42F7843CB9 Time : 0.0 sec. user=mdettweiler [2016-06-21 20:55:25] 657*2^1433133-1 is not prime. Res64: 41016BECAB0FFD5D Time : 0.0 sec. user=mdettweiler [2016-06-21 20:55:26] 691*2^1433133-1 is not prime. Res64: B3E61EE34F8A5B37 Time : 0.0 sec. user=mdettweiler [2016-06-21 20:55:26] 781*2^1433133-1 is not prime. Res64: 0F411E9246FC1129 Time : 0.0 sec. user=mdettweiler [2016-06-21 21:13:08] 927*2^1433133-1 is not prime. Res64: 8349F79FFB236AD0 Time : 0.0 sec. user=mdettweiler [2016-06-21 21:13:09] 671*2^1433134-1 is not prime. Res64: F17B6C9EA6BCD95F Time : 0.0 sec. user=mdettweiler [2016-06-21 21:13:09] 861*2^1433134-1 is not prime. Res64: 96F28BF4524F4961 Time : 0.0 sec. user=mdettweiler [2016-06-21 21:13:10] 887*2^1433134-1 is not prime. Res64: 55724DE7EAB10C62 Time : 0.0 sec. user=mdettweiler [2016-06-21 21:13:10] 957*2^1433134-1 is not prime. Res64: 01537E541CC300E5 Time : 0.0 sec. user=mdettweiler [2016-06-21 21:25:13] 971*2^1433134-1 is not prime. Res64: EFC2DB2F0EFDBBDE Time : 0.0 sec. user=mdettweiler [2016-06-21 21:25:14] 619*2^1433135-1 is not prime. Res64: 1F97A05950A404EB Time : 0.0 sec. user=mdettweiler [2016-06-21 21:25:14] 661*2^1433135-1 is not prime. Res64: A5FA11366484591C Time : 0.0 sec. user=mdettweiler [2016-06-21 21:25:15] 693*2^1433135-1 is not prime. Res64: 89B54FE224E44206 Time : 0.0 sec. user=mdettweiler [2016-06-21 21:25:15] 741*2^1433135-1 is not prime. Res64: AF704BC3F390312C Time : 0.0 sec. user=mdettweiler [2016-06-21 21:25:34] 759*2^1433135-1 is not prime. Res64: D7B6E299903238BD Time : 0.0 sec. user=mdettweiler [2016-06-21 21:25:35] 843*2^1433135-1 is not prime. Res64: 85BD81344B6A3213 Time : 0.0 sec. user=mdettweiler [2016-06-21 21:25:35] 913*2^1433135-1 is not prime. Res64: EA21A2526810247D Time : 0.0 sec. user=mdettweiler [2016-06-21 21:25:36] 939*2^1433135-1 is not prime. Res64: 41261245CC95CD63 Time : 0.0 sec. user=mdettweiler [2016-06-21 21:25:36] 627*2^1433136-1 is not prime. Res64: F1A29E83A542557E Time : 0.0 sec. user=mdettweiler [2016-06-21 21:39:59] 773*2^1433136-1 is not prime. Res64: 0393C8662BC8AC97 Time : 0.0 sec. user=mdettweiler [2016-06-21 21:39:59] 839*2^1433136-1 is not prime. Res64: AC55DDC7D4786794 Time : 0.0 sec. user=mdettweiler [2016-06-21 21:40:00] 905*2^1433136-1 is not prime. Res64: FC6302BD8DC422FE Time : 0.0 sec. user=mdettweiler [2016-06-21 21:40:00] 947*2^1433136-1 is not prime. Res64: EEFD90A38B4C3607 Time : 0.0 sec. user=mdettweiler [2016-06-21 21:40:01] 975*2^1433136-1 is not prime. Res64: FF61289B1283E708 Time : 0.0 sec. user=mdettweiler [2016-06-21 21:57:42] 609*2^1433137-1 is not prime. Res64: 561DFFA214D364AE Time : 0.0 sec. user=mdettweiler [2016-06-21 21:57:43] 685*2^1433137-1 is not prime. Res64: EEBFD60858834701 Time : 0.0 sec. user=mdettweiler [2016-06-21 21:57:43] 747*2^1433137-1 is not prime. Res64: 81880C3BF095F629 Time : 0.0 sec. user=mdettweiler [2016-06-21 21:57:43] 909*2^1433137-1 is not prime. Res64: D2E033B3226C629E Time : 0.0 sec. user=mdettweiler [2016-06-21 21:57:44] 985*2^1433137-1 is not prime. Res64: F8E1730AA7F02DF5 Time : 0.0 sec. user=mdettweiler [2016-06-21 22:11:01] 633*2^1433138-1 is not prime. Res64: CF6EDFE18D9AD67F Time : 0.0 sec. user=mdettweiler [2016-06-21 22:11:01] 845*2^1433138-1 is not prime. Res64: 27475F468C130C6D Time : 0.0 sec. user=mdettweiler [2016-06-21 22:11:02] 887*2^1433138-1 is not prime. Res64: 7EADE06A5A6D33F3 Time : 0.0 sec. user=mdettweiler [2016-06-21 22:11:02] 977*2^1433138-1 is not prime. Res64: 53997A11CCED6FBA Time : 0.0 sec. user=mdettweiler [2016-06-21 22:11:03] 613*2^1433139-1 is not prime. Res64: 37FB1812364D43E9 Time : 0.0 sec. user=mdettweiler [2016-06-21 22:12:05] 619*2^1433139-1 is not prime. Res64: E228424D999A2410 Time : 0.0 sec. user=mdettweiler [2016-06-21 22:12:05] 669*2^1433139-1 is not prime. Res64: D06F6D305F1A6534 Time : 0.0 sec. user=mdettweiler [2016-06-21 22:12:05] 709*2^1433139-1 is not prime. Res64: 5BB99BF5EE9853A7 Time : 0.0 sec. user=mdettweiler [2016-06-21 22:12:06] 775*2^1433139-1 is not prime. Res64: 6A11A726F2C8C48D Time : 0.0 sec. user=mdettweiler [2016-06-21 22:12:06] 823*2^1433139-1 is not prime. Res64: FB9E58F00507DC88 Time : 0.0 sec. user=mdettweiler [2016-06-21 22:28:09] 943*2^1433139-1 is not prime. Res64: 714EE7614CC3EAA6 Time : 0.0 sec. user=mdettweiler [2016-06-21 22:28:10] 955*2^1433139-1 is not prime. Res64: 0C744137B667EF82 Time : 0.0 sec. user=mdettweiler [2016-06-21 22:28:10] 975*2^1433139-1 is not prime. Res64: B3423B21A18C7068 Time : 0.0 sec. user=mdettweiler [2016-06-21 22:28:11] 605*2^1433140-1 is not prime. Res64: 391EBA0CDBE13D85 Time : 0.0 sec. user=mdettweiler [2016-06-21 22:28:12] 689*2^1433140-1 is not prime. Res64: A0447FA22AF453E6 Time : 0.0 sec. user=mdettweiler [2016-06-21 22:47:34] 735*2^1433140-1 is not prime. Res64: 43756A6E9D79EE51 Time : 0.0 sec. user=mdettweiler [2016-06-21 22:47:34] 803*2^1433140-1 is not prime. Res64: 7BEA9016534801CF Time : 0.0 sec. user=mdettweiler [2016-06-21 22:47:34] 825*2^1433140-1 is not prime. Res64: 94D3A159C5F51EC2 Time : 0.0 sec. user=mdettweiler [2016-06-21 22:47:35] 855*2^1433140-1 is not prime. Res64: 4DF55312AC74FA56 Time : 0.0 sec. user=mdettweiler [2016-06-21 22:47:35] 857*2^1433140-1 is not prime. Res64: BEBF1663092AA373 Time : 0.0 sec. user=mdettweiler [2016-06-21 22:59:18] 909*2^1433140-1 is not prime. Res64: 46C6C24B99DB6900 Time : 0.0 sec. user=mdettweiler [2016-06-21 22:59:19] 929*2^1433140-1 is not prime. Res64: 0D46B0F7815F5041 Time : 0.0 sec. user=mdettweiler [2016-06-21 22:59:19] 619*2^1433141-1 is not prime. Res64: 7C3A34BDCCE8E88E Time : 0.0 sec. user=mdettweiler [2016-06-21 22:59:20] 789*2^1433141-1 is not prime. Res64: D425A93821B8F7EC Time : 0.0 sec. user=mdettweiler [2016-06-21 22:59:20] 811*2^1433141-1 is not prime. Res64: 69234C4140498670 Time : 0.0 sec. user=mdettweiler [2016-06-21 23:00:20] 871*2^1433141-1 is not prime. Res64: 02041AC272DDAE50 Time : 0.0 sec. user=mdettweiler [2016-06-21 23:00:20] 885*2^1433141-1 is not prime. Res64: 0B5D5570D30EE224 Time : 0.0 sec. user=mdettweiler [2016-06-21 23:00:20] 927*2^1433141-1 is not prime. Res64: 7CAEBEE03D9763E8 Time : 0.0 sec. user=mdettweiler [2016-06-21 23:00:21] 627*2^1433142-1 is not prime. Res64: AC0AF47ABF0AE1B1 Time : 0.0 sec. user=mdettweiler [2016-06-21 23:00:21] 825*2^1433142-1 is not prime. Res64: 9BD01A84AE08EA77 Time : 0.0 sec. user=mdettweiler [2016-06-21 23:14:45] 833*2^1433142-1 is not prime. Res64: 220994588115E52A Time : 0.0 sec. user=mdettweiler [2016-06-21 23:14:46] 649*2^1433143-1 is not prime. Res64: E6917932EBC6AA49 Time : 0.0 sec. user=mdettweiler [2016-06-21 23:14:46] 663*2^1433143-1 is not prime. Res64: 149806B6B7872C8A Time : 0.0 sec. user=mdettweiler [2016-06-21 23:14:46] 805*2^1433143-1 is not prime. Res64: 1DC52EED09CEE754 Time : 0.0 sec. user=mdettweiler [2016-06-21 23:14:47] 811*2^1433143-1 is not prime. Res64: C964CE0A62E40A0B Time : 0.0 sec. user=mdettweiler [2016-06-21 23:32:26] 915*2^1433143-1 is not prime. Res64: 7300DBF9B920B7B5 Time : 0.0 sec. user=mdettweiler [2016-06-21 23:32:26] 677*2^1433144-1 is not prime. Res64: F938930B45ECA199 Time : 0.0 sec. user=mdettweiler [2016-06-21 23:32:27] 743*2^1433144-1 is not prime. Res64: 7C4323F5959B09DF Time : 0.0 sec. user=mdettweiler [2016-06-21 23:32:27] 753*2^1433144-1 is not prime. Res64: 3BBA2332F55F5BF5 Time : 0.0 sec. user=mdettweiler [2016-06-21 23:32:28] 825*2^1433144-1 is not prime. Res64: F9F54F5DFB7F7AD7 Time : 0.0 sec. user=mdettweiler [2016-06-21 23:44:09] 869*2^1433144-1 is not prime. Res64: 2DF6C90E4E1D63B6 Time : 0.0 sec. user=mdettweiler [2016-06-21 23:44:10] 873*2^1433144-1 is not prime. Res64: 4B9D78F93A62F87C Time : 0.0 sec. user=mdettweiler [2016-06-21 23:44:10] 903*2^1433144-1 is not prime. Res64: E4DC1724F0723571 Time : 0.0 sec. user=mdettweiler [2016-06-21 23:44:11] 607*2^1433145-1 is not prime. Res64: 0DF9BC8EEC47A1CF Time : 0.0 sec. user=mdettweiler [2016-06-21 23:44:11] 667*2^1433145-1 is not prime. Res64: 49AD5C09B3A9BB65 Time : 0.0 sec. user=mdettweiler [2016-06-21 23:45:00] 717*2^1433145-1 is not prime. Res64: 7F53E6EF289F6E8F Time : 0.0 sec. user=mdettweiler [2016-06-21 23:45:01] 727*2^1433145-1 is not prime. Res64: 2D9C4E547491FA46 Time : 0.0 sec. user=mdettweiler [2016-06-21 23:45:01] 751*2^1433145-1 is not prime. Res64: D116663F7DB34351 Time : 0.0 sec. user=mdettweiler [2016-06-21 23:45:02] 787*2^1433145-1 is not prime. Res64: 76BBEAF7C7A46B44 Time : 0.0 sec. user=mdettweiler [2016-06-21 23:45:02] 805*2^1433145-1 is not prime. Res64: 6E75CA3295307E6C Time : 0.0 sec. user=mdettweiler [2016-06-21 23:59:40] 717*2^1433146-1 is not prime. Res64: 4C386D07F1CFB833 Time : 0.0 sec. user=mdettweiler [2016-06-21 23:59:41] 755*2^1433146-1 is not prime. Res64: 0BE8715248CDF9A5 Time : 0.0 sec. user=mdettweiler [2016-06-21 23:59:41] 765*2^1433146-1 is not prime. Res64: 89E5F646E0608CED Time : 0.0 sec. user=mdettweiler [2016-06-21 23:59:41] 911*2^1433146-1 is not prime. Res64: 7489BD86D88AD9A7 Time : 0.0 sec. user=mdettweiler [2016-06-21 23:59:42] 933*2^1433146-1 is not prime. Res64: 52C0F77F0E2C9214 Time : 0.0 sec.