user=mdettweiler [2017-04-26 00:06:41] 735*2^1452609-1 is not prime. Res64: 93CD9FCC0148A8FA Time : 0.0 sec. user=mdettweiler [2017-04-26 00:06:42] 765*2^1452609-1 is not prime. Res64: A3A79A7E26328D2B Time : 0.0 sec. user=mdettweiler [2017-04-26 00:06:44] 781*2^1452609-1 is not prime. Res64: E3BA957565FBA7AA Time : 0.0 sec. user=mdettweiler [2017-04-26 00:06:45] 787*2^1452609-1 is not prime. Res64: 2060193E3B2335CE Time : 0.0 sec. user=mdettweiler [2017-04-26 00:06:47] 895*2^1452609-1 is not prime. Res64: 5A5A4B361864E6C9 Time : 0.0 sec. user=mdettweiler [2017-04-26 00:10:03] 999*2^1452609-1 is not prime. Res64: D0292038579276FB Time : 0.0 sec. user=mdettweiler [2017-04-26 00:10:04] 647*2^1452610-1 is not prime. Res64: 311DB6CA6218BE22 Time : 0.0 sec. user=mdettweiler [2017-04-26 00:10:04] 675*2^1452610-1 is not prime. Res64: 1E4F3770EB041858 Time : 0.0 sec. user=mdettweiler [2017-04-26 00:10:04] 681*2^1452610-1 is not prime. Res64: 709F0D50BF6CA925 Time : 0.0 sec. user=mdettweiler [2017-04-26 00:10:04] 765*2^1452610-1 is not prime. Res64: 012844570B2CB5ED Time : 0.0 sec. user=mdettweiler [2017-04-26 00:51:35] 813*2^1452610-1 is not prime. Res64: 1384E876A6D21524 Time : 0.0 sec. user=mdettweiler [2017-04-26 00:51:35] 831*2^1452610-1 is not prime. Res64: 4EF2B78669DAFF40 Time : 0.0 sec. user=mdettweiler [2017-04-26 00:51:36] 833*2^1452610-1 is not prime. Res64: DECDAAD444A99BC2 Time : 0.0 sec. user=mdettweiler [2017-04-26 00:51:36] 923*2^1452610-1 is not prime. Res64: 36DC415792721390 Time : 0.0 sec. user=mdettweiler [2017-04-26 00:51:36] 601*2^1452611-1 is not prime. Res64: BC7272DF41C6A93B Time : 0.0 sec. user=mdettweiler [2017-04-26 00:54:27] 609*2^1452611-1 is not prime. Res64: 8C7D9D5468E5C178 Time : 0.0 sec. user=mdettweiler [2017-04-26 00:54:28] 705*2^1452611-1 is not prime. Res64: E2ABBB4CAC077C36 Time : 0.0 sec. user=mdettweiler [2017-04-26 00:54:28] 781*2^1452611-1 is not prime. Res64: 3904FB7EA3E3EA2C Time : 0.0 sec. user=mdettweiler [2017-04-26 00:54:28] 805*2^1452611-1 is not prime. Res64: 584479E0ABD36F19 Time : 0.0 sec. user=mdettweiler [2017-04-26 00:54:28] 823*2^1452611-1 is not prime. Res64: C34B9382B33742FD Time : 0.0 sec. user=mdettweiler [2017-04-26 01:35:59] 939*2^1452611-1 is not prime. Res64: EEB46A74D4904BE0 Time : 0.0 sec. user=mdettweiler [2017-04-26 01:35:59] 669*2^1452612-1 is not prime. Res64: 095D1B9B70F4FFE0 Time : 0.0 sec. user=mdettweiler [2017-04-26 01:35:59] 719*2^1452612-1 is not prime. Res64: C4A4F4D4A0E3D6FF Time : 0.0 sec. user=mdettweiler [2017-04-26 01:36:00] 819*2^1452612-1 is not prime. Res64: FE4B919B9F0E01CE Time : 0.0 sec. user=mdettweiler [2017-04-26 01:36:00] 875*2^1452612-1 is not prime. Res64: D6FB4D713CC7C530 Time : 0.0 sec. user=mdettweiler [2017-04-26 01:38:51] 899*2^1452612-1 is not prime. Res64: 0CC9347511747C3B Time : 0.0 sec. user=mdettweiler [2017-04-26 01:38:51] 789*2^1452613-1 is not prime. Res64: 901119F9B5D6D3C3 Time : 0.0 sec. user=mdettweiler [2017-04-26 01:38:51] 801*2^1452613-1 is not prime. Res64: 4E09B6076DD42828 Time : 0.0 sec. user=mdettweiler [2017-04-26 01:38:52] 615*2^1452614-1 is not prime. Res64: DFA47EFF1F702C43 Time : 0.0 sec. user=mdettweiler [2017-04-26 01:38:52] 635*2^1452614-1 is not prime. Res64: 55A674CCE6EE6204 Time : 0.0 sec. user=mdettweiler [2017-04-26 02:20:32] 741*2^1452614-1 is not prime. Res64: ED0C37F2AA20D713 Time : 0.0 sec. user=mdettweiler [2017-04-26 02:20:32] 897*2^1452614-1 is not prime. Res64: 9CBA6E9077150A18 Time : 0.0 sec. user=mdettweiler [2017-04-26 02:20:33] 679*2^1452615-1 is not prime. Res64: 8382604907FB7406 Time : 0.0 sec. user=mdettweiler [2017-04-26 02:20:33] 705*2^1452615-1 is not prime. Res64: 29325D471A3D7BB5 Time : 0.0 sec. user=mdettweiler [2017-04-26 02:20:33] 819*2^1452615-1 is not prime. Res64: 6A37055022FC5D98 Time : 0.0 sec. user=mdettweiler [2017-04-26 02:23:34] 861*2^1452615-1 is not prime. Res64: 7967C64F3ABCA769 Time : 0.0 sec. user=mdettweiler [2017-04-26 02:23:34] 921*2^1452615-1 is not prime. Res64: 7FB25D3F18B53EE5 Time : 0.0 sec. user=mdettweiler [2017-04-26 02:23:34] 617*2^1452616-1 is not prime. Res64: B27FB5D0319C7130 Time : 0.0 sec. user=mdettweiler [2017-04-26 02:23:34] 623*2^1452616-1 is not prime. Res64: 32899D99DB6480E8 Time : 0.0 sec. user=mdettweiler [2017-04-26 02:23:35] 675*2^1452616-1 is not prime. Res64: 1ADD3DEB6805B046 Time : 0.0 sec. user=mdettweiler [2017-04-26 03:05:13] 903*2^1452616-1 is not prime. Res64: C6B41C241C8D3E75 Time : 0.0 sec. user=mdettweiler [2017-04-26 03:05:14] 905*2^1452616-1 is not prime. Res64: 8B6D2C55943801C8 Time : 0.0 sec. user=mdettweiler [2017-04-26 03:05:15] 909*2^1452616-1 is not prime. Res64: 1D1B6828326B7154 Time : 0.0 sec. user=mdettweiler [2017-04-26 03:05:16] 607*2^1452617-1 is not prime. Res64: E1C75961416165FA Time : 0.0 sec. user=mdettweiler [2017-04-26 03:05:18] 691*2^1452617-1 is not prime. Res64: 8B3A90EC45AE1767 Time : 0.0 sec. user=mdettweiler [2017-04-26 03:08:09] 867*2^1452617-1 is not prime. Res64: 7AF98F51785E37DB Time : 0.0 sec. user=mdettweiler [2017-04-26 03:08:10] 713*2^1452618-1 is not prime. Res64: 90C4257CD4227101 Time : 0.0 sec. user=mdettweiler [2017-04-26 03:08:10] 861*2^1452618-1 is not prime. Res64: B01AE78F886CAE5A Time : 0.0 sec. user=mdettweiler [2017-04-26 03:08:10] 923*2^1452618-1 is not prime. Res64: 224B7931E089FFF8 Time : 0.0 sec. user=mdettweiler [2017-04-26 03:08:11] 633*2^1452619-1 is not prime. Res64: AE83EEA70A6C13FF Time : 0.0 sec. user=mdettweiler [2017-04-26 03:50:05] 649*2^1452619-1 is not prime. Res64: 5311538089A40BEA Time : 0.0 sec. user=mdettweiler [2017-04-26 03:50:06] 709*2^1452619-1 is not prime. Res64: B13214560216F8B3 Time : 0.0 sec. user=mdettweiler [2017-04-26 03:50:06] 745*2^1452619-1 is not prime. Res64: B7AB01E2017AFEAC Time : 0.0 sec. user=mdettweiler [2017-04-26 03:50:07] 861*2^1452619-1 is not prime. Res64: 76D2AE713C23FC69 Time : 0.0 sec. user=mdettweiler [2017-04-26 03:50:08] 925*2^1452619-1 is not prime. Res64: 0563C9DA4A9E4C7C Time : 0.0 sec. user=mdettweiler [2017-04-26 03:52:32] 939*2^1452619-1 is not prime. Res64: 51BAF990B6134FA0 Time : 0.0 sec. user=mdettweiler [2017-04-26 03:52:32] 951*2^1452619-1 is not prime. Res64: 6244430400337D8C Time : 0.0 sec. user=mdettweiler [2017-04-26 03:52:33] 985*2^1452619-1 is not prime. Res64: 0408BD9DF7E0F5B2 Time : 0.0 sec. user=mdettweiler [2017-04-26 03:52:33] 669*2^1452620-1 is not prime. Res64: 1103B7DC27B2E543 Time : 0.0 sec. user=mdettweiler [2017-04-26 03:52:34] 677*2^1452620-1 is not prime. Res64: BDC92F1066B522D6 Time : 0.0 sec. user=mdettweiler [2017-04-26 04:34:52] 717*2^1452620-1 is not prime. Res64: 5CC1A5193D30FCE0 Time : 0.0 sec. user=mdettweiler [2017-04-26 04:34:52] 945*2^1452620-1 is not prime. Res64: 5E03976F2F4FC938 Time : 0.0 sec. user=mdettweiler [2017-04-26 04:34:53] 999*2^1452620-1 is not prime. Res64: 31F68934E2AC1E10 Time : 0.0 sec. user=mdettweiler [2017-04-26 04:34:53] 621*2^1452621-1 is not prime. Res64: 11F829085EF73738 Time : 0.0 sec. user=mdettweiler [2017-04-26 04:34:53] 669*2^1452621-1 is not prime. Res64: DE15410DC60DCE57 Time : 0.0 sec. user=mdettweiler [2017-04-26 04:37:04] 745*2^1452621-1 is not prime. Res64: 283181FA77BCF574 Time : 0.0 sec. user=mdettweiler [2017-04-26 04:37:04] 747*2^1452621-1 is not prime. Res64: DBA5A69EED2625FC Time : 0.0 sec. user=mdettweiler [2017-04-26 04:37:04] 825*2^1452621-1 is not prime. Res64: 8FAC8703B98C579D Time : 0.0 sec. user=mdettweiler [2017-04-26 04:37:05] 871*2^1452621-1 is not prime. Res64: B00F127D6AB30913 Time : 0.0 sec. user=mdettweiler [2017-04-26 04:37:05] 975*2^1452621-1 is not prime. Res64: 7DB8FDAE183A1AC0 Time : 0.0 sec. user=mdettweiler [2017-04-26 05:19:16] 611*2^1452622-1 is not prime. Res64: 7E927277CDDC1879 Time : 0.0 sec. user=mdettweiler [2017-04-26 05:19:16] 657*2^1452622-1 is not prime. Res64: 7DE18A4745D50357 Time : 0.0 sec. user=mdettweiler [2017-04-26 05:19:16] 965*2^1452622-1 is not prime. Res64: AD79379393307028 Time : 0.0 sec. user=mdettweiler [2017-04-26 05:19:16] 983*2^1452622-1 is not prime. Res64: 98E5753B5962D93C Time : 0.0 sec. user=mdettweiler [2017-04-26 05:19:17] 619*2^1452623-1 is not prime. Res64: 152DCA8C07DD4ABB Time : 0.0 sec. user=mdettweiler [2017-04-26 05:21:27] 771*2^1452623-1 is not prime. Res64: 0CFD9395D85FDA2F Time : 0.0 sec. user=mdettweiler [2017-04-26 05:21:27] 805*2^1452623-1 is not prime. Res64: BC3B923810891CE6 Time : 0.0 sec. user=mdettweiler [2017-04-26 05:21:28] 811*2^1452623-1 is not prime. Res64: FD7044D946CBDEC4 Time : 0.0 sec. user=mdettweiler [2017-04-26 05:21:28] 973*2^1452623-1 is not prime. Res64: 6F01191C4FBA597D Time : 0.0 sec. user=mdettweiler [2017-04-26 05:21:28] 623*2^1452624-1 is not prime. Res64: 29CBD80F101CEF7E Time : 0.0 sec. user=mdettweiler [2017-04-26 06:03:42] 635*2^1452624-1 is not prime. Res64: 0A3EB06A322CDE60 Time : 0.0 sec. user=mdettweiler [2017-04-26 06:03:43] 693*2^1452624-1 is not prime. Res64: 47A442890CBCD453 Time : 0.0 sec. user=mdettweiler [2017-04-26 06:03:44] 705*2^1452624-1 is not prime. Res64: 573EF4C9CD2546A0 Time : 0.0 sec. user=mdettweiler [2017-04-26 06:03:45] 737*2^1452624-1 is not prime. Res64: 67241286165D5521 Time : 0.0 sec. user=mdettweiler [2017-04-26 06:03:46] 917*2^1452624-1 is not prime. Res64: 502A2FB7D2AD2498 Time : 0.0 sec. user=mdettweiler [2017-04-26 06:05:54] 945*2^1452624-1 is not prime. Res64: 9F675D2C66FD2DC9 Time : 0.0 sec. user=mdettweiler [2017-04-26 06:05:56] 959*2^1452624-1 is not prime. Res64: DC119769E5CCE1F2 Time : 0.0 sec. user=mdettweiler [2017-04-26 06:05:56] 727*2^1452625-1 is not prime. Res64: 6F375B4585F26B55 Time : 0.0 sec. user=mdettweiler [2017-04-26 06:05:57] 729*2^1452625-1 is not prime. Res64: 48B8B0E40C246404 Time : 0.0 sec. user=mdettweiler [2017-04-26 06:05:58] 765*2^1452625-1 is not prime. Res64: 10D2475E78AB250B Time : 0.0 sec. user=mdettweiler [2017-04-26 06:48:11] 981*2^1452625-1 is not prime. Res64: 24B5B2D2639531B8 Time : 0.0 sec. user=mdettweiler [2017-04-26 06:48:12] 635*2^1452626-1 is not prime. Res64: 6E5A47C78DD2BDF8 Time : 0.0 sec. user=mdettweiler [2017-04-26 06:48:12] 675*2^1452626-1 is not prime. Res64: 8094F2769CE94483 Time : 0.0 sec. user=mdettweiler [2017-04-26 06:48:12] 741*2^1452626-1 is not prime. Res64: E4C831BCAB59DAA9 Time : 0.0 sec. user=mdettweiler [2017-04-26 06:48:13] 893*2^1452626-1 is not prime. Res64: CEC790DAF59C58B6 Time : 0.0 sec. user=mdettweiler [2017-04-26 06:50:21] 935*2^1452626-1 is not prime. Res64: 1D0FAD49764FB0FE Time : 0.0 sec. user=mdettweiler [2017-04-26 06:50:22] 963*2^1452626-1 is not prime. Res64: A59E7F7F04822261 Time : 0.0 sec. user=mdettweiler [2017-04-26 06:50:22] 711*2^1452627-1 is not prime. Res64: 5E7F766BED3EEA73 Time : 0.0 sec. user=mdettweiler [2017-04-26 06:50:22] 741*2^1452627-1 is not prime. Res64: 16FC10924EE42B5C Time : 0.0 sec. user=mdettweiler [2017-04-26 06:50:22] 751*2^1452627-1 is not prime. Res64: B0E0872D7415F330 Time : 0.0 sec. user=mdettweiler [2017-04-26 07:32:35] 769*2^1452627-1 is not prime. Res64: 4DC3829C728A88A9 Time : 0.0 sec. user=mdettweiler [2017-04-26 07:32:35] 901*2^1452627-1 is not prime. Res64: F5ACF37A373C75A3 Time : 0.0 sec. user=mdettweiler [2017-04-26 07:32:35] 973*2^1452627-1 is not prime. Res64: D2089D26FF6D6CDD Time : 0.0 sec. user=mdettweiler [2017-04-26 07:32:35] 979*2^1452627-1 is not prime. Res64: AA0586D1E6FA0FCA Time : 0.0 sec. user=mdettweiler [2017-04-26 07:32:36] 923*2^1452628-1 is not prime. Res64: 439B8CD50BFFEE15 Time : 0.0 sec. user=mdettweiler [2017-04-26 07:34:43] 929*2^1452628-1 is not prime. Res64: 0B5247CC59662EF7 Time : 0.0 sec. user=mdettweiler [2017-04-26 07:34:44] 989*2^1452628-1 is not prime. Res64: 0517BFFEA1600296 Time : 0.0 sec. user=mdettweiler [2017-04-26 07:34:44] 995*2^1452628-1 is not prime. Res64: BA81FA3C25F6CCF1 Time : 0.0 sec. user=mdettweiler [2017-04-26 07:34:44] 615*2^1452629-1 is not prime. Res64: AA894385CB8F6DC0 Time : 0.0 sec. user=mdettweiler [2017-04-26 07:34:45] 697*2^1452629-1 is not prime. Res64: F1388D3897D0321E Time : 0.0 sec. user=mdettweiler [2017-04-26 08:17:02] 759*2^1452629-1 is not prime. Res64: 75A5B38CE8D37F1F Time : 0.0 sec. user=mdettweiler [2017-04-26 08:17:02] 829*2^1452629-1 is not prime. Res64: FCF1924A963C27D1 Time : 0.0 sec. user=mdettweiler [2017-04-26 08:17:03] 671*2^1452630-1 is not prime. Res64: ED3078496DA6749D Time : 0.0 sec. user=mdettweiler [2017-04-26 08:17:03] 717*2^1452630-1 is not prime. Res64: 7632B811755FA5FA Time : 0.0 sec. user=mdettweiler [2017-04-26 08:17:03] 801*2^1452630-1 is not prime. Res64: D665033D50F5E29A Time : 0.0 sec. user=mdettweiler [2017-04-26 08:19:06] 825*2^1452630-1 is not prime. Res64: 330EF4CBFFB84192 Time : 0.0 sec. user=mdettweiler [2017-04-26 08:19:07] 893*2^1452630-1 is not prime. Res64: EA51DD5DB7B5EBE8 Time : 0.0 sec. user=mdettweiler [2017-04-26 08:19:07] 651*2^1452631-1 is not prime. Res64: 6D49521D4C633459 Time : 0.0 sec. user=mdettweiler [2017-04-26 08:19:07] 705*2^1452631-1 is not prime. Res64: 3BD3B8315F10B07B Time : 0.0 sec. user=mdettweiler [2017-04-26 08:19:08] 723*2^1452631-1 is not prime. Res64: FA592EA2C03B1BF3 Time : 0.0 sec. user=mdettweiler [2017-04-26 09:01:28] 775*2^1452631-1 is not prime. Res64: A58AECDD492E6F55 Time : 0.0 sec. user=mdettweiler [2017-04-26 09:01:29] 895*2^1452631-1 is not prime. Res64: F018C93A845A493D Time : 0.0 sec. user=mdettweiler [2017-04-26 09:01:30] 617*2^1452632-1 is not prime. Res64: 23BB893064B0660B Time : 0.0 sec. user=mdettweiler [2017-04-26 09:01:31] 657*2^1452633-1 is not prime. Res64: 6C81A66CD060C10D Time : 0.0 sec. user=mdettweiler [2017-04-26 09:01:32] 681*2^1452633-1 is not prime. Res64: 2DC4C777010A8315 Time : 0.0 sec. user=mdettweiler [2017-04-26 09:03:31] 705*2^1452633-1 is not prime. Res64: 3CB51D7E2DA90842 Time : 0.0 sec. user=mdettweiler [2017-04-26 09:03:32] 805*2^1452633-1 is not prime. Res64: 2706FB5D9321841A Time : 0.0 sec. user=mdettweiler [2017-04-26 09:03:32] 807*2^1452633-1 is not prime. Res64: EFD99F6CDDD28B0D Time : 0.0 sec. user=mdettweiler [2017-04-26 09:03:33] 999*2^1452633-1 is not prime. Res64: D6EF3D1BB52986AC Time : 0.0 sec. user=mdettweiler [2017-04-26 09:03:34] 681*2^1452634-1 is not prime. Res64: D68D833A75C7C257 Time : 0.0 sec. user=mdettweiler [2017-04-26 09:46:15] 747*2^1452634-1 is not prime. Res64: 1392B901D002D871 Time : 0.0 sec. user=mdettweiler [2017-04-26 09:46:16] 827*2^1452634-1 is not prime. Res64: 2D938E066EFD2DC9 Time : 0.0 sec. user=mdettweiler [2017-04-26 09:46:16] 915*2^1452634-1 is not prime. Res64: 67029406E33439FF Time : 0.0 sec. user=mdettweiler [2017-04-26 09:46:16] 679*2^1452635-1 is not prime. Res64: CEA0E8BA548DE3A5 Time : 0.0 sec. user=mdettweiler [2017-04-26 09:46:17] 693*2^1452635-1 is not prime. Res64: 6F14514969187917 Time : 0.0 sec. user=mdettweiler [2017-04-26 09:48:00] 733*2^1452635-1 is not prime. Res64: C624801E1CCC798B Time : 0.0 sec. user=mdettweiler [2017-04-26 09:48:00] 771*2^1452635-1 is not prime. Res64: D1A7ABA21D4F3874 Time : 0.0 sec. user=mdettweiler [2017-04-26 09:48:00] 783*2^1452635-1 is not prime. Res64: CA61F87981CA8243 Time : 0.0 sec. user=mdettweiler [2017-04-26 09:48:01] 861*2^1452635-1 is not prime. Res64: 61AD00900F6752B7 Time : 0.0 sec. user=mdettweiler [2017-04-26 09:48:01] 909*2^1452635-1 is not prime. Res64: 7BA90D6134002F34 Time : 0.0 sec. user=mdettweiler [2017-04-26 10:30:47] 949*2^1452635-1 is not prime. Res64: 05BD66D6570F9010 Time : 0.0 sec. user=mdettweiler [2017-04-26 10:30:47] 963*2^1452635-1 is not prime. Res64: 3B60D41677F55114 Time : 0.0 sec. user=mdettweiler [2017-04-26 10:30:48] 981*2^1452635-1 is not prime. Res64: E592CDF8F31871CB Time : 0.0 sec. user=mdettweiler [2017-04-26 10:30:48] 999*2^1452635-1 is not prime. Res64: BC95888FFBA99706 Time : 0.0 sec. user=mdettweiler [2017-04-26 10:30:48] 689*2^1452636-1 is not prime. Res64: D65EFBF1C8348F6B Time : 0.0 sec. user=mdettweiler [2017-04-26 10:32:29] 705*2^1452636-1 is not prime. Res64: 88BF26B2DBFC1911 Time : 0.0 sec. user=mdettweiler [2017-04-26 10:32:30] 767*2^1452636-1 is not prime. Res64: 9185B24E288770C2 Time : 0.0 sec. user=mdettweiler [2017-04-26 10:32:30] 779*2^1452636-1 is not prime. Res64: 7E5E694C81DBFC34 Time : 0.0 sec. user=mdettweiler [2017-04-26 10:32:30] 843*2^1452636-1 is not prime. Res64: 11CAF4FD5949BAF7 Time : 0.0 sec. user=mdettweiler [2017-04-26 10:32:30] 987*2^1452636-1 is not prime. Res64: 88FF77FB9C198008 Time : 0.0 sec. user=mdettweiler [2017-04-26 11:15:23] 741*2^1452637-1 is not prime. Res64: 6BCF2301DA5F14B4 Time : 0.0 sec. user=mdettweiler [2017-04-26 11:15:24] 777*2^1452637-1 is not prime. Res64: 3A1E1D7E590C16BF Time : 0.0 sec. user=mdettweiler [2017-04-26 11:15:24] 847*2^1452637-1 is not prime. Res64: 3145DB3354CDC6C5 Time : 0.0 sec. user=mdettweiler [2017-04-26 11:15:24] 939*2^1452637-1 is not prime. Res64: 4F76286CB172C0F9 Time : 0.0 sec. user=mdettweiler [2017-04-26 11:15:24] 967*2^1452637-1 is not prime. Res64: B3D226556465BF4E Time : 0.0 sec. user=mdettweiler [2017-04-26 11:17:04] 761*2^1452638-1 is not prime. Res64: 7640E298827BB2D5 Time : 0.0 sec. user=mdettweiler [2017-04-26 11:17:04] 773*2^1452638-1 is not prime. Res64: 212AB0E8C56988FE Time : 0.0 sec. user=mdettweiler [2017-04-26 11:17:05] 813*2^1452638-1 is not prime. Res64: 90837ADEC9CE1A9D Time : 0.0 sec. user=mdettweiler [2017-04-26 11:17:05] 815*2^1452638-1 is not prime. Res64: 88DA6CA76646E70E Time : 0.0 sec. user=mdettweiler [2017-04-26 11:17:05] 619*2^1452639-1 is not prime. Res64: 953EDC86BD62CBE9 Time : 0.0 sec. user=mdettweiler [2017-04-26 12:00:34] 621*2^1452639-1 is not prime. Res64: CF49E6C15B19BFD3 Time : 0.0 sec. user=mdettweiler [2017-04-26 12:00:36] 691*2^1452639-1 is not prime. Res64: 67CB2C8C1670146C Time : 0.0 sec. user=mdettweiler [2017-04-26 12:00:37] 873*2^1452639-1 is not prime. Res64: 2328B65E4883C579 Time : 0.0 sec. user=mdettweiler [2017-04-26 12:00:37] 895*2^1452639-1 is not prime. Res64: CE4A2A422A08DB92 Time : 0.0 sec. user=mdettweiler [2017-04-26 12:00:38] 973*2^1452639-1 is not prime. Res64: 897C4CA421EB11D1 Time : 0.0 sec. user=mdettweiler [2017-04-26 12:02:12] 975*2^1452639-1 is not prime. Res64: 35C2102CCE99ADA7 Time : 0.0 sec. user=mdettweiler [2017-04-26 12:02:13] 979*2^1452639-1 is not prime. Res64: E6D04C82828D5A87 Time : 0.0 sec. user=mdettweiler [2017-04-26 12:02:14] 695*2^1452640-1 is not prime. Res64: C3B5FC537C5BF89D Time : 0.0 sec. user=mdettweiler [2017-04-26 12:02:14] 699*2^1452640-1 is not prime. Res64: BAC87B1B535D21F5 Time : 0.0 sec. user=mdettweiler [2017-04-26 12:02:15] 717*2^1452640-1 is not prime. Res64: 408649C05C58C2ED Time : 0.0 sec. user=mdettweiler [2017-04-26 12:45:16] 873*2^1452640-1 is not prime. Res64: 83AEEB5BCC00F2D1 Time : 0.0 sec. user=mdettweiler [2017-04-26 12:45:16] 939*2^1452640-1 is not prime. Res64: 6BCC55758E4153F4 Time : 0.0 sec. user=mdettweiler [2017-04-26 12:45:16] 959*2^1452640-1 is not prime. Res64: 1084E00A86A71DB0 Time : 0.0 sec. user=mdettweiler [2017-04-26 12:45:17] 627*2^1452641-1 is not prime. Res64: 17E15FBA555F3BF8 Time : 0.0 sec. user=mdettweiler [2017-04-26 12:45:17] 867*2^1452641-1 is not prime. Res64: F33420C4E2762551 Time : 0.0 sec. user=mdettweiler [2017-04-26 12:46:43] 901*2^1452641-1 is not prime. Res64: FE35B847812B2E91 Time : 0.0 sec. user=mdettweiler [2017-04-26 12:46:43] 907*2^1452641-1 is not prime. Res64: CAE4D1CC9F17A2AB Time : 0.0 sec. user=mdettweiler [2017-04-26 12:46:43] 955*2^1452641-1 is not prime. Res64: A977AB22C9723B4D Time : 0.0 sec. user=mdettweiler [2017-04-26 12:46:43] 635*2^1452642-1 is not prime. Res64: 5E5B9DC7E6F7CB05 Time : 0.0 sec. user=mdettweiler [2017-04-26 12:46:44] 711*2^1452642-1 is not prime. Res64: 68814772F31D8B71 Time : 0.0 sec. user=mdettweiler [2017-04-26 13:29:40] 807*2^1452642-1 is not prime. Res64: 5EA47385ADF6D7F8 Time : 0.0 sec. user=mdettweiler [2017-04-26 13:29:40] 875*2^1452642-1 is not prime. Res64: 591AAE4DEFBCBF31 Time : 0.0 sec. user=mdettweiler [2017-04-26 13:29:40] 915*2^1452642-1 is not prime. Res64: D2623548F675B849 Time : 0.0 sec. user=mdettweiler [2017-04-26 13:29:41] 631*2^1452643-1 is not prime. Res64: 2EBA9F5BC3875F09 Time : 0.0 sec. user=mdettweiler [2017-04-26 13:29:41] 705*2^1452643-1 is not prime. Res64: 9A3A2BE908FDDC40 Time : 0.0 sec. user=mdettweiler [2017-04-26 13:31:06] 745*2^1452643-1 is not prime. Res64: 7B2CE0AA330456BB Time : 0.0 sec. user=mdettweiler [2017-04-26 13:31:06] 835*2^1452643-1 is not prime. Res64: 75DB90E4BE0CF84C Time : 0.0 sec. user=mdettweiler [2017-04-26 13:31:06] 859*2^1452643-1 is not prime. Res64: D9AD8167E695D6F8 Time : 0.0 sec. user=mdettweiler [2017-04-26 13:31:06] 901*2^1452643-1 is not prime. Res64: 1B2D740140E61933 Time : 0.0 sec. user=mdettweiler [2017-04-26 13:31:07] 623*2^1452644-1 is not prime. Res64: 412CE4E3AB31F1A3 Time : 0.0 sec. user=mdettweiler [2017-04-26 14:14:03] 635*2^1452644-1 is not prime. Res64: 1D2C53C458CA29E9 Time : 0.0 sec. user=mdettweiler [2017-04-26 14:14:04] 759*2^1452644-1 is not prime. Res64: 9875E99F98EF8EF3 Time : 0.0 sec. user=mdettweiler [2017-04-26 14:14:04] 855*2^1452644-1 is not prime. Res64: BA67B3ED6D257112 Time : 0.0 sec. user=mdettweiler [2017-04-26 14:14:04] 869*2^1452644-1 is not prime. Res64: 7F7D57FA4AE0FDC2 Time : 0.0 sec. user=mdettweiler [2017-04-26 14:14:05] 627*2^1452645-1 is not prime. Res64: 53B9F0FC58E5C355 Time : 0.0 sec. user=mdettweiler [2017-04-26 14:15:28] 825*2^1452645-1 is not prime. Res64: 3A1B0FD264887F45 Time : 0.0 sec. user=mdettweiler [2017-04-26 14:15:29] 847*2^1452645-1 is not prime. Res64: 54D4D281AC241FFB Time : 0.0 sec. user=mdettweiler [2017-04-26 14:15:29] 861*2^1452645-1 is not prime. Res64: E1618B0601C13F8B Time : 0.0 sec. user=mdettweiler [2017-04-26 14:15:29] 885*2^1452645-1 is not prime. Res64: D7855298AC8F47B0 Time : 0.0 sec. user=mdettweiler [2017-04-26 14:15:29] 897*2^1452646-1 is not prime. Res64: B0E258EF21472AE8 Time : 0.0 sec. user=mdettweiler [2017-04-26 14:58:34] 673*2^1452647-1 is not prime. Res64: A12C0825968BE924 Time : 0.0 sec. user=mdettweiler [2017-04-26 14:58:34] 675*2^1452647-1 is not prime. Res64: B7AB14F120589794 Time : 0.0 sec. user=mdettweiler [2017-04-26 14:58:35] 693*2^1452647-1 is not prime. Res64: 6C21632E536B025F Time : 0.0 sec. user=mdettweiler [2017-04-26 14:58:35] 735*2^1452647-1 is not prime. Res64: 37BD079FE394E4AC Time : 0.0 sec. user=mdettweiler [2017-04-26 14:58:35] 775*2^1452647-1 is not prime. Res64: 3F794DDCE9CB90D9 Time : 0.0 sec. user=mdettweiler [2017-04-26 14:59:55] 915*2^1452647-1 is not prime. Res64: 40165B9812FB8332 Time : 0.0 sec. user=mdettweiler [2017-04-26 14:59:55] 633*2^1452648-1 is not prime. Res64: 3C6A5F8DC02839AE Time : 0.0 sec. user=mdettweiler [2017-04-26 14:59:55] 705*2^1452648-1 is not prime. Res64: 620C0198F9DDB985 Time : 0.0 sec. user=mdettweiler [2017-04-26 14:59:56] 707*2^1452648-1 is not prime. Res64: 36E591EED1CA510A Time : 0.0 sec. user=mdettweiler [2017-04-26 14:59:56] 809*2^1452648-1 is not prime. Res64: 1ECB64DDD49F9A1A Time : 0.0 sec. user=mdettweiler [2017-04-26 15:43:04] 927*2^1452648-1 is not prime. Res64: BA0523F41D8B7B9E Time : 0.0 sec. user=mdettweiler [2017-04-26 15:43:04] 637*2^1452649-1 is not prime. Res64: 2EE8700DC713D041 Time : 0.0 sec. user=mdettweiler [2017-04-26 15:43:05] 789*2^1452649-1 is not prime. Res64: 89D196D0CF6AA58D Time : 0.0 sec. user=mdettweiler [2017-04-26 15:43:05] 817*2^1452649-1 is not prime. Res64: EFC782F07670EF6D Time : 0.0 sec. user=mdettweiler [2017-04-26 15:43:05] 831*2^1452649-1 is not prime. Res64: 2A89C723C78D89D2 Time : 0.0 sec. user=mdettweiler [2017-04-26 15:44:25] 919*2^1452649-1 is not prime. Res64: 5214CF8185A076BD Time : 0.0 sec. user=mdettweiler [2017-04-26 15:44:25] 603*2^1452650-1 is not prime. Res64: FF3F6BE1367439B4 Time : 0.0 sec. user=mdettweiler [2017-04-26 15:44:26] 773*2^1452650-1 is not prime. Res64: 9561F2C24F6C7636 Time : 0.0 sec. user=mdettweiler [2017-04-26 15:44:26] 857*2^1452650-1 is not prime. Res64: 4DDC827099AE1C2A Time : 0.0 sec. user=mdettweiler [2017-04-26 15:44:26] 911*2^1452650-1 is not prime. Res64: 1C2E6CEF7876E4C4 Time : 0.0 sec. user=mdettweiler [2017-04-26 16:27:27] 945*2^1452650-1 is not prime. Res64: C937696458A55713 Time : 0.0 sec. user=mdettweiler [2017-04-26 16:27:27] 801*2^1452651-1 is not prime. Res64: C57A6D2C9D20CC0D Time : 0.0 sec. user=mdettweiler [2017-04-26 16:27:28] 805*2^1452651-1 is not prime. Res64: 435076F6055BCB54 Time : 0.0 sec. user=mdettweiler [2017-04-26 16:27:28] 829*2^1452651-1 is not prime. Res64: B3BF0365A8D56DFF Time : 0.0 sec. user=mdettweiler [2017-04-26 16:27:28] 913*2^1452651-1 is not prime. Res64: F7F6D101B62C7687 Time : 0.0 sec. user=mdettweiler [2017-04-26 16:28:52] 951*2^1452651-1 is not prime. Res64: AED78D270CCEE532 Time : 0.0 sec. user=mdettweiler [2017-04-26 16:28:52] 609*2^1452652-1 is not prime. Res64: E444AEB329DCDA02 Time : 0.0 sec. user=mdettweiler [2017-04-26 16:28:53] 743*2^1452652-1 is not prime. Res64: 86B15EFCC0CD1FE5 Time : 0.0 sec. user=mdettweiler [2017-04-26 16:28:53] 765*2^1452652-1 is not prime. Res64: D29ECCEF87B6BFB4 Time : 0.0 sec. user=mdettweiler [2017-04-26 16:28:54] 827*2^1452652-1 is not prime. Res64: BDDFA96EE6FB0875 Time : 0.0 sec. user=mdettweiler [2017-04-26 17:11:50] 843*2^1452652-1 is not prime. Res64: 5063064165292CDE Time : 0.0 sec. user=mdettweiler [2017-04-26 17:11:50] 855*2^1452652-1 is not prime. Res64: 8AF0E0335EEB1F60 Time : 0.0 sec. user=mdettweiler [2017-04-26 17:11:50] 933*2^1452652-1 is not prime. Res64: D42595530476C1D9 Time : 0.0 sec. user=mdettweiler [2017-04-26 17:11:51] 649*2^1452653-1 is not prime. Res64: 8010E993165C74AD Time : 0.0 sec. user=mdettweiler [2017-04-26 17:11:51] 699*2^1452653-1 is not prime. Res64: A003DF1B7A66E5D8 Time : 0.0 sec. user=mdettweiler [2017-04-26 17:13:18] 769*2^1452653-1 is not prime. Res64: 60AE08F5EAF4E520 Time : 0.0 sec. user=mdettweiler [2017-04-26 17:13:19] 859*2^1452653-1 is not prime. Res64: 9D388A5A3AE4BD95 Time : 0.0 sec. user=mdettweiler [2017-04-26 17:13:19] 879*2^1452653-1 is not prime. Res64: 3F2A63C5381052BD Time : 0.0 sec. user=mdettweiler [2017-04-26 17:13:19] 925*2^1452653-1 is not prime. Res64: 5581C432F1926D1F Time : 0.0 sec. user=mdettweiler [2017-04-26 17:13:20] 605*2^1452654-1 is not prime. Res64: ADCB369EC788783A Time : 0.0 sec. user=mdettweiler [2017-04-26 17:56:53] 621*2^1452654-1 is not prime. Res64: 8ACCEB7D463BC4C0 Time : 0.0 sec. user=mdettweiler [2017-04-26 17:56:53] 707*2^1452654-1 is not prime. Res64: C6002BFB7FF172F4 Time : 0.0 sec. user=mdettweiler [2017-04-26 17:56:54] 737*2^1452654-1 is not prime. Res64: 683767C5BDE1574F Time : 0.0 sec. user=mdettweiler [2017-04-26 17:56:54] 755*2^1452654-1 is not prime. Res64: A50F2E1C27CCAC37 Time : 0.0 sec. user=mdettweiler [2017-04-26 17:56:54] 881*2^1452654-1 is not prime. Res64: D903DA98E81A3057 Time : 0.0 sec. user=mdettweiler [2017-04-26 17:58:16] 885*2^1452654-1 is not prime. Res64: 2F15237535F8963F Time : 0.0 sec. user=mdettweiler [2017-04-26 17:58:17] 971*2^1452654-1 is not prime. Res64: 4C0E54C9A5A1875F Time : 0.0 sec. user=mdettweiler [2017-04-26 17:58:17] 661*2^1452655-1 is not prime. Res64: 77DB13815F728B8B Time : 0.0 sec. user=mdettweiler [2017-04-26 17:58:18] 771*2^1452655-1 is not prime. Res64: 7B486389615B40D3 Time : 0.0 sec. user=mdettweiler [2017-04-26 17:58:18] 861*2^1452655-1 is not prime. Res64: 42AA0F54028B53DF Time : 0.0 sec. user=mdettweiler [2017-04-26 18:41:15] 871*2^1452655-1 is not prime. Res64: 0C6CE7756B0DDA18 Time : 0.0 sec. user=mdettweiler [2017-04-26 18:41:16] 889*2^1452655-1 is not prime. Res64: A1E3526A3244AB12 Time : 0.0 sec. user=mdettweiler [2017-04-26 18:41:16] 915*2^1452655-1 is not prime. Res64: B71FDCD69573CBD0 Time : 0.0 sec. user=mdettweiler [2017-04-26 18:41:17] 973*2^1452655-1 is not prime. Res64: 8513E97100EFE542 Time : 0.0 sec. user=mdettweiler [2017-04-26 18:41:17] 603*2^1452656-1 is not prime. Res64: 081E1B85CA4FB667 Time : 0.0 sec. user=mdettweiler [2017-04-26 18:42:42] 623*2^1452656-1 is not prime. Res64: 20518665559307A2 Time : 0.0 sec. user=mdettweiler [2017-04-26 18:42:42] 629*2^1452656-1 is not prime. Res64: 7A47EB739BD06DB3 Time : 0.0 sec. user=mdettweiler [2017-04-26 18:42:42] 659*2^1452656-1 is not prime. Res64: 754E13525A20786D Time : 0.0 sec. user=mdettweiler [2017-04-26 18:42:43] 669*2^1452656-1 is not prime. Res64: C4C1326E622CB62F Time : 0.0 sec. user=mdettweiler [2017-04-26 18:42:43] 909*2^1452656-1 is not prime. Res64: FEDBF372A3B80E3C Time : 0.0 sec. user=mdettweiler [2017-04-26 19:25:41] 681*2^1452657-1 is not prime. Res64: 5E29D95BDA086323 Time : 0.0 sec. user=mdettweiler [2017-04-26 19:25:42] 711*2^1452657-1 is not prime. Res64: BC461166059C9148 Time : 0.0 sec. user=mdettweiler [2017-04-26 19:25:42] 739*2^1452657-1 is not prime. Res64: 699C1984C3B5C59B Time : 0.0 sec. user=mdettweiler [2017-04-26 19:25:43] 769*2^1452657-1 is not prime. Res64: 9BC6AF00E2BF1FC5 Time : 0.0 sec. user=mdettweiler [2017-04-26 19:25:43] 807*2^1452657-1 is not prime. Res64: E6A8DC0DB61E6D57 Time : 0.0 sec. user=mdettweiler [2017-04-26 19:27:07] 849*2^1452657-1 is not prime. Res64: 7257B8E1A2D2D901 Time : 0.0 sec. user=mdettweiler [2017-04-26 19:27:07] 871*2^1452657-1 is not prime. Res64: CA27C27C83EF7138 Time : 0.0 sec. user=mdettweiler [2017-04-26 19:27:08] 901*2^1452657-1 is not prime. Res64: 6C54DE28D2E4E7C4 Time : 0.0 sec. user=mdettweiler [2017-04-26 19:27:08] 909*2^1452657-1 is not prime. Res64: 99153C044E640438 Time : 0.0 sec. user=mdettweiler [2017-04-26 19:27:08] 605*2^1452658-1 is not prime. Res64: A886FF595113FE6B Time : 0.0 sec. user=mdettweiler [2017-04-26 20:10:09] 713*2^1452658-1 is not prime. Res64: 7459A91C3B808019 Time : 0.0 sec. user=mdettweiler [2017-04-26 20:10:09] 735*2^1452658-1 is not prime. Res64: FA166101EADB6F86 Time : 0.0 sec. user=mdettweiler [2017-04-26 20:10:10] 737*2^1452658-1 is not prime. Res64: 5D9E1C0E09E5B6C3 Time : 0.0 sec. user=mdettweiler [2017-04-26 20:10:10] 827*2^1452658-1 is not prime. Res64: 2D3F82B97C19E35F Time : 0.0 sec. user=mdettweiler [2017-04-26 20:10:10] 831*2^1452658-1 is not prime. Res64: 5D443C8F380E6C72 Time : 0.0 sec. user=mdettweiler [2017-04-26 20:11:33] 843*2^1452658-1 is not prime. Res64: A93DE082B6050857 Time : 0.0 sec. user=mdettweiler [2017-04-26 20:11:33] 923*2^1452658-1 is not prime. Res64: 83E01B21EFBA9A21 Time : 0.0 sec. user=mdettweiler [2017-04-26 20:11:34] 951*2^1452658-1 is not prime. Res64: B07621C7A72DA872 Time : 0.0 sec. user=mdettweiler [2017-04-26 20:11:34] 655*2^1452659-1 is not prime. Res64: 5B1634AA2278E491 Time : 0.0 sec. user=mdettweiler [2017-04-26 20:11:34] 679*2^1452659-1 is not prime. Res64: F71987B5FBA4C183 Time : 0.0 sec. user=mdettweiler [2017-04-26 20:54:37] 775*2^1452659-1 is not prime. Res64: 29036B08A07814EC Time : 0.0 sec. user=mdettweiler [2017-04-26 20:54:37] 909*2^1452659-1 is not prime. Res64: 5827A36C115C2EE5 Time : 0.0 sec. user=mdettweiler [2017-04-26 20:54:38] 949*2^1452659-1 is not prime. Res64: 65620EF8CD6E1D34 Time : 0.0 sec. user=mdettweiler [2017-04-26 20:54:38] 973*2^1452659-1 is not prime. Res64: 4A1A751A5352A1AC Time : 0.0 sec. user=mdettweiler [2017-04-26 20:54:39] 609*2^1452660-1 is not prime. Res64: B2F2D8DA69463373 Time : 0.0 sec. user=mdettweiler [2017-04-26 20:55:57] 647*2^1452660-1 is not prime. Res64: B2FDDC9129E93D4B Time : 0.0 sec. user=mdettweiler [2017-04-26 20:55:57] 707*2^1452660-1 is not prime. Res64: C458FFAF2F923C2F Time : 0.0 sec. user=mdettweiler [2017-04-26 20:55:58] 765*2^1452660-1 is not prime. Res64: D7233D4242F04339 Time : 0.0 sec. user=mdettweiler [2017-04-26 20:55:58] 773*2^1452660-1 is not prime. Res64: FBE6F44526226B62 Time : 0.0 sec. user=mdettweiler [2017-04-26 20:55:58] 777*2^1452660-1 is not prime. Res64: D23FE71F889C96A3 Time : 0.0 sec. user=mdettweiler [2017-04-26 21:39:05] 699*2^1452483-1 is not prime. Res64: B95C4C4AD10FA149 Time : 0.0 sec. user=mdettweiler [2017-04-26 21:39:06] 709*2^1452483-1 is not prime. Res64: DD1CA3448F45433D Time : 0.0 sec. user=mdettweiler [2017-04-26 21:39:06] 745*2^1452483-1 is not prime. Res64: 173C5F85CFA9FCBF Time : 0.0 sec. user=mdettweiler [2017-04-26 21:39:06] 753*2^1452483-1 is not prime. Res64: 6FFA6634B601FA96 Time : 0.0 sec. user=mdettweiler [2017-04-26 21:39:07] 789*2^1452483-1 is not prime. Res64: 5C176F205A278D8C Time : 0.0 sec. user=mdettweiler [2017-04-26 21:40:26] 797*2^1452660-1 is not prime. Res64: BA3B4739057AC930 Time : 0.0 sec. user=mdettweiler [2017-04-26 21:40:26] 845*2^1452660-1 is not prime. Res64: 1BC6154BC839B3EB Time : 0.0 sec. user=mdettweiler [2017-04-26 21:40:26] 867*2^1452660-1 is not prime. Res64: 5E0CB8BEC013B7E1 Time : 0.0 sec. user=mdettweiler [2017-04-26 21:40:27] 873*2^1452660-1 is not prime. Res64: 812C4BF8036DC9F9 Time : 0.0 sec. user=mdettweiler [2017-04-26 21:40:27] 893*2^1452660-1 is not prime. Res64: DD72962908414F00 Time : 0.0 sec. user=mdettweiler [2017-04-26 22:23:39] 965*2^1452660-1 is not prime. Res64: 2FDB894AD9703965 Time : 0.0 sec. user=mdettweiler [2017-04-26 22:23:40] 615*2^1452661-1 is not prime. Res64: 3471E49E8475F50E Time : 0.0 sec. user=mdettweiler [2017-04-26 22:23:40] 645*2^1452661-1 is not prime. Res64: DFDC1D18C8ECB28B Time : 0.0 sec. user=mdettweiler [2017-04-26 22:23:40] 717*2^1452661-1 is not prime. Res64: BE137AC26F4691D4 Time : 0.0 sec. user=mdettweiler [2017-04-26 22:23:41] 819*2^1452661-1 is not prime. Res64: F7B2CC97CA661354 Time : 0.0 sec. user=mdettweiler [2017-04-26 22:24:59] 861*2^1452661-1 is not prime. Res64: 7E0BA2D868BA5AB8 Time : 0.0 sec. user=mdettweiler [2017-04-26 22:24:59] 951*2^1452661-1 is not prime. Res64: D5D3DBD8FAFFD4D2 Time : 0.0 sec. user=mdettweiler [2017-04-26 22:25:00] 961*2^1452661-1 is not prime. Res64: 0A7A6EE372B1A4F9 Time : 0.0 sec. user=mdettweiler [2017-04-26 22:25:00] 603*2^1452662-1 is not prime. Res64: 701618029225FFA4 Time : 0.0 sec. user=mdettweiler [2017-04-26 22:25:01] 657*2^1452662-1 is not prime. Res64: 87107BC581033D9F Time : 0.0 sec. user=mdettweiler [2017-04-26 23:08:09] 675*2^1452662-1 is not prime. Res64: F558F0A121E233C7 Time : 0.0 sec. user=mdettweiler [2017-04-26 23:08:10] 801*2^1452662-1 is not prime. Res64: BEBB8690E760F90F Time : 0.0 sec. user=mdettweiler [2017-04-26 23:08:10] 813*2^1452662-1 is not prime. Res64: C5D9B58EA22E2689 Time : 0.0 sec. user=mdettweiler [2017-04-26 23:08:10] 843*2^1452662-1 is not prime. Res64: E90ECD2D82A0AFBF Time : 0.0 sec. user=mdettweiler [2017-04-26 23:08:11] 917*2^1452662-1 is not prime. Res64: A9E16944C31EF2EC Time : 0.0 sec. user=mdettweiler [2017-04-26 23:09:26] 921*2^1452662-1 is not prime. Res64: 2844455805BAAA03 Time : 0.0 sec. user=mdettweiler [2017-04-26 23:09:27] 983*2^1452662-1 is not prime. Res64: 9419EC76C9091209 Time : 0.0 sec. user=mdettweiler [2017-04-26 23:09:27] 675*2^1452663-1 is not prime. Res64: BA4F96559B5FB90C Time : 0.0 sec. user=mdettweiler [2017-04-26 23:09:27] 781*2^1452663-1 is not prime. Res64: 01B1758E577AD5CB Time : 0.0 sec. user=mdettweiler [2017-04-26 23:09:28] 871*2^1452663-1 is not prime. Res64: 9CC9A21E4A9400AD Time : 0.0 sec. user=mdettweiler [2017-04-26 23:52:37] 955*2^1452663-1 is not prime. Res64: 62847F2705A327E9 Time : 0.0 sec. user=mdettweiler [2017-04-26 23:52:37] 961*2^1452663-1 is not prime. Res64: E8901C3CF4EEF746 Time : 0.0 sec. user=mdettweiler [2017-04-26 23:52:38] 609*2^1452664-1 is not prime. Res64: 94C4BA11C68E9DFD Time : 0.0 sec. user=mdettweiler [2017-04-26 23:52:38] 719*2^1452664-1 is not prime. Res64: 315DE624D2ACDDA1 Time : 0.0 sec. user=mdettweiler [2017-04-26 23:52:38] 803*2^1452664-1 is not prime. Res64: 182E426C3DF03B2C Time : 0.0 sec. user=mdettweiler [2017-04-26 23:53:50] 827*2^1452664-1 is not prime. Res64: 89CA1ED86EA75C8E Time : 0.0 sec. user=mdettweiler [2017-04-26 23:53:51] 875*2^1452664-1 is not prime. Res64: 17348E19C37997DF Time : 0.0 sec. user=mdettweiler [2017-04-26 23:53:51] 975*2^1452664-1 is not prime. Res64: B305008FE8046270 Time : 0.0 sec. user=mdettweiler [2017-04-26 23:53:52] 607*2^1452665-1 is not prime. Res64: 0A4380C2310DD975 Time : 0.0 sec. user=mdettweiler [2017-04-26 23:53:52] 729*2^1452665-1 is not prime. Res64: D2CA0764987FC52E Time : 0.0 sec.