user=mdettweiler [2016-01-09 00:17:29] 651*2^1418898-1 is not prime. Res64: 2940FC59F0BCAD3D Time : 0.0 sec. user=mdettweiler [2016-01-09 00:17:29] 711*2^1418897-1 is not prime. Res64: B689B2881F4B5C02 Time : 0.0 sec. user=mdettweiler [2016-01-09 00:17:30] 647*2^1418898-1 is not prime. Res64: E0772213CAD8D6D1 Time : 0.0 sec. user=mdettweiler [2016-01-09 00:17:30] 663*2^1418898-1 is not prime. Res64: 550D6202AF143E88 Time : 0.0 sec. user=mdettweiler [2016-01-09 00:35:13] 731*2^1418898-1 is not prime. Res64: 36C515510A014552 Time : 0.0 sec. user=mdettweiler [2016-01-09 00:35:13] 833*2^1418898-1 is not prime. Res64: 80A93CA9CD4284EB Time : 0.0 sec. user=mdettweiler [2016-01-09 00:35:13] 765*2^1418898-1 is not prime. Res64: EDEAF8260F436993 Time : 0.0 sec. user=mdettweiler [2016-01-09 00:35:13] 891*2^1418898-1 is not prime. Res64: 317B107ECCFC77DE Time : 0.0 sec. user=mdettweiler [2016-01-09 00:52:45] 633*2^1418900-1 is not prime. Res64: 202F38DDD15C1C66 Time : 0.0 sec. user=mdettweiler [2016-01-09 00:52:45] 631*2^1418899-1 is not prime. Res64: 61AB6684525E9224 Time : 0.0 sec. user=mdettweiler [2016-01-09 00:52:45] 767*2^1418900-1 is not prime. Res64: 419A5AA5D0982BF7 Time : 0.0 sec. user=mdettweiler [2016-01-09 00:52:46] 939*2^1418899-1 is not prime. Res64: EA99452D65BF7C2D Time : 0.0 sec. user=mdettweiler [2016-01-09 01:10:18] 797*2^1418900-1 is not prime. Res64: EC426F5269FA9D77 Time : 0.0 sec. user=mdettweiler [2016-01-09 01:10:18] 885*2^1418900-1 is not prime. Res64: 1E2328796AE27B7B Time : 0.0 sec. user=mdettweiler [2016-01-09 01:10:18] 875*2^1418900-1 is not prime. Res64: 936989F07C08D1EE Time : 0.0 sec. user=mdettweiler [2016-01-09 01:10:18] 897*2^1418900-1 is not prime. Res64: AF173D43634D567A Time : 0.0 sec. user=mdettweiler [2016-01-09 01:27:53] 963*2^1418900-1 is not prime. Res64: 4FE68ED807A82807 Time : 0.0 sec. user=mdettweiler [2016-01-09 01:27:55] 639*2^1418901-1 is not prime. Res64: AE72E542BF2635A5 Time : 0.0 sec. user=mdettweiler [2016-01-09 01:27:56] 999*2^1418900-1 is not prime. Res64: 7AC5F00610F30CF6 Time : 0.0 sec. user=mdettweiler [2016-01-09 01:27:57] 681*2^1418901-1 is not prime. Res64: 0C3128278DFF80B2 Time : 0.0 sec. user=mdettweiler [2016-01-09 01:45:48] 795*2^1418901-1 is not prime. Res64: 4E6444C856B5CBA3 Time : 0.0 sec. user=mdettweiler [2016-01-09 01:45:49] 867*2^1418901-1 is not prime. Res64: F25E3F32DFB9E05C Time : 0.0 sec. user=mdettweiler [2016-01-09 01:45:49] 819*2^1418901-1 is not prime. Res64: 13EED7DCB0B9B9AD Time : 0.0 sec. user=mdettweiler [2016-01-09 01:45:50] 979*2^1418901-1 is not prime. Res64: A67EAF6F0A9A4B36 Time : 0.0 sec. user=mdettweiler [2016-01-09 02:03:28] 681*2^1418902-1 is not prime. Res64: BB4D38EFEE1EE9E0 Time : 0.0 sec. user=mdettweiler [2016-01-09 02:03:28] 741*2^1418902-1 is not prime. Res64: 6E4041B18DE62B89 Time : 0.0 sec. user=mdettweiler [2016-01-09 02:03:29] 705*2^1418902-1 is not prime. Res64: 0FA70CB39321A1D3 Time : 0.0 sec. user=mdettweiler [2016-01-09 02:03:30] 777*2^1418902-1 is not prime. Res64: F46D085614172504 Time : 0.0 sec. user=mdettweiler [2016-01-09 02:21:23] 609*2^1418903-1 is not prime. Res64: 1024C44BDF007D1A Time : 0.0 sec. user=mdettweiler [2016-01-09 02:21:23] 881*2^1418902-1 is not prime. Res64: 135134CB2A9F0EB5 Time : 0.0 sec. user=mdettweiler [2016-01-09 02:21:23] 615*2^1418903-1 is not prime. Res64: 60AD1A1D0485D061 Time : 0.0 sec. user=mdettweiler [2016-01-09 02:21:24] 947*2^1418902-1 is not prime. Res64: 715642AC97BC78CE Time : 0.0 sec. user=mdettweiler [2016-01-09 02:38:58] 963*2^1418903-1 is not prime. Res64: 4C46FC42939909CE Time : 0.0 sec. user=mdettweiler [2016-01-09 02:38:58] 669*2^1418903-1 is not prime. Res64: 184242DD07F778DC Time : 0.0 sec. user=mdettweiler [2016-01-09 02:38:59] 605*2^1418904-1 is not prime. Res64: 205893794CC5539E Time : 0.0 sec. user=mdettweiler [2016-01-09 02:38:59] 943*2^1418903-1 is not prime. Res64: E09466810F5E2A2B Time : 0.0 sec. user=mdettweiler [2016-01-09 02:56:36] 635*2^1418904-1 is not prime. Res64: 76C34EE780F3333C Time : 0.0 sec. user=mdettweiler [2016-01-09 02:56:36] 707*2^1418904-1 is not prime. Res64: B32D0C5B30C5306C Time : 0.0 sec. user=mdettweiler [2016-01-09 02:56:37] 719*2^1418904-1 is not prime. Res64: 08B1163696C961DC Time : 0.0 sec. user=mdettweiler [2016-01-09 02:56:38] 795*2^1418904-1 is not prime. Res64: 7C3E20360EE9615B Time : 0.0 sec. user=mdettweiler [2016-01-09 03:14:14] 857*2^1418904-1 is not prime. Res64: 6172489E064F8223 Time : 0.0 sec. user=mdettweiler [2016-01-09 03:14:15] 863*2^1418904-1 is not prime. Res64: EC079A9C1BF17E8E Time : 0.0 sec. user=mdettweiler [2016-01-09 03:14:17] 917*2^1418904-1 is not prime. Res64: 46B25F1553D689C2 Time : 0.0 sec. user=mdettweiler [2016-01-09 03:14:18] 959*2^1418904-1 is not prime. Res64: 26AEC889A260F05A Time : 0.0 sec. user=mdettweiler [2016-01-09 03:31:55] 679*2^1418905-1 is not prime. Res64: A736DEA749F882B0 Time : 0.0 sec. user=mdettweiler [2016-01-09 03:31:55] 721*2^1418905-1 is not prime. Res64: 1DC470CEEF680A61 Time : 0.0 sec. user=mdettweiler [2016-01-09 03:31:58] 729*2^1418905-1 is not prime. Res64: 9A1B92F3869DC69F Time : 0.0 sec. user=mdettweiler [2016-01-09 03:31:58] 717*2^1418905-1 is not prime. Res64: C0274FFD0985511B Time : 0.0 sec. user=mdettweiler [2016-01-09 03:50:04] 975*2^1418905-1 is not prime. Res64: 7B3B2B815882AAF8 Time : 0.0 sec. user=mdettweiler [2016-01-09 03:50:06] 817*2^1418905-1 is not prime. Res64: 55E7A02546369FB4 Time : 0.0 sec. user=mdettweiler [2016-01-09 03:50:07] 743*2^1418906-1 is not prime. Res64: 4CD480C4384CA609 Time : 0.0 sec. user=mdettweiler [2016-01-09 03:50:08] 861*2^1418905-1 is not prime. Res64: 21639F8C7CCA48E7 Time : 0.0 sec. user=mdettweiler [2016-01-09 04:08:02] 825*2^1418906-1 is not prime. Res64: 6B80F60C2AA0A7E2 Time : 0.0 sec. user=mdettweiler [2016-01-09 04:08:03] 861*2^1418906-1 is not prime. Res64: 589C512BEC1332DE Time : 0.0 sec. user=mdettweiler [2016-01-09 04:08:03] 887*2^1418906-1 is not prime. Res64: 2D88F041599940A3 Time : 0.0 sec. user=mdettweiler [2016-01-09 04:08:04] 971*2^1418906-1 is not prime. Res64: 68D62EAE842AB874 Time : 0.0 sec. user=mdettweiler [2016-01-09 04:25:44] 891*2^1418907-1 is not prime. Res64: 48B413ABEC27BD0A Time : 0.0 sec. user=mdettweiler [2016-01-09 04:25:44] 711*2^1418907-1 is not prime. Res64: 0F75F59DD477FA97 Time : 0.0 sec. user=mdettweiler [2016-01-09 04:25:45] 909*2^1418907-1 is not prime. Res64: DA80AE60849DDC27 Time : 0.0 sec. user=mdettweiler [2016-01-09 04:25:45] 835*2^1418907-1 is not prime. Res64: 0A1BBAFDA3ED1475 Time : 0.0 sec. user=mdettweiler [2016-01-09 04:43:22] 963*2^1418907-1 is not prime. Res64: CE01F8B1627648E0 Time : 0.0 sec. user=mdettweiler [2016-01-09 04:43:23] 723*2^1418908-1 is not prime. Res64: 4F5400A615982D66 Time : 0.0 sec. user=mdettweiler [2016-01-09 04:43:23] 687*2^1418908-1 is not prime. Res64: E2DD7F208106F3CF Time : 0.0 sec. user=mdettweiler [2016-01-09 04:43:24] 813*2^1418908-1 is not prime. Res64: 111F574CE46DA426 Time : 0.0 sec. user=mdettweiler [2016-01-09 05:01:04] 825*2^1418908-1 is not prime. Res64: 596F65B3856925E0 Time : 0.0 sec. user=mdettweiler [2016-01-09 05:01:07] 987*2^1418908-1 is not prime. Res64: F051E2DDA0FB67BE Time : 0.0 sec. user=mdettweiler [2016-01-09 05:01:07] 989*2^1418908-1 is not prime. Res64: 34C2E97132D30EAF Time : 0.0 sec. user=mdettweiler [2016-01-09 05:01:09] 999*2^1418908-1 is not prime. Res64: A7926551BE7B0B4D Time : 0.0 sec. user=mdettweiler [2016-01-09 05:18:54] 601*2^1418909-1 is not prime. Res64: 30839A1C46DC4C52 Time : 0.0 sec. user=mdettweiler [2016-01-09 05:18:55] 697*2^1418909-1 is not prime. Res64: CF647227000AB013 Time : 0.0 sec. user=mdettweiler [2016-01-09 05:18:56] 771*2^1418909-1 is not prime. Res64: 4A1386EB90141D67 Time : 0.0 sec. user=mdettweiler [2016-01-09 05:18:57] 847*2^1418909-1 is not prime. Res64: F7B160F40A15F4A5 Time : 0.0 sec. user=mdettweiler [2016-01-09 05:36:32] 965*2^1418910-1 is not prime. Res64: BFF18E8A8455D619 Time : 0.0 sec. user=mdettweiler [2016-01-09 05:36:32] 907*2^1418909-1 is not prime. Res64: D9F611EA34B664BD Time : 0.0 sec. user=mdettweiler [2016-01-09 05:36:33] 609*2^1418911-1 is not prime. Res64: 6DD31499630A08C3 Time : 0.0 sec. user=mdettweiler [2016-01-09 05:36:33] 765*2^1418910-1 is not prime. Res64: BB68005B79A286F2 Time : 0.0 sec. user=mdettweiler [2016-01-09 05:54:10] 763*2^1418911-1 is not prime. Res64: AAEB9D7A7CA2AEBB Time : 0.0 sec. user=mdettweiler [2016-01-09 05:54:11] 805*2^1418911-1 is not prime. Res64: 1168532F0B25ADD7 Time : 0.0 sec. user=mdettweiler [2016-01-09 05:54:14] 675*2^1418911-1 is not prime. Res64: 9267BA5C36D3DDCA Time : 0.0 sec. user=mdettweiler [2016-01-09 05:54:15] 723*2^1418911-1 is not prime. Res64: E8C2D6386B3B0D10 Time : 0.0 sec. user=mdettweiler [2016-01-09 06:11:52] 855*2^1418911-1 is not prime. Res64: 9372858EA8EE945D Time : 0.0 sec. user=mdettweiler [2016-01-09 06:11:53] 883*2^1418911-1 is not prime. Res64: 0985684B9B9796B2 Time : 0.0 sec. user=mdettweiler [2016-01-09 06:11:53] 975*2^1418911-1 is not prime. Res64: 8EE41A14D2BD7EBB Time : 0.0 sec. user=mdettweiler [2016-01-09 06:11:54] 603*2^1418912-1 is not prime. Res64: 95B95613C3FA8079 Time : 0.0 sec. user=mdettweiler [2016-01-09 06:29:33] 785*2^1418912-1 is not prime. Res64: 06B2FAE5C4DC0628 Time : 0.0 sec. user=mdettweiler [2016-01-09 06:29:34] 803*2^1418912-1 is not prime. Res64: 7E7A5E55FEA8496C Time : 0.0 sec. user=mdettweiler [2016-01-09 06:29:35] 669*2^1418912-1 is not prime. Res64: 6E19E2A3DFAAAE76 Time : 0.0 sec. user=mdettweiler [2016-01-09 06:29:35] 693*2^1418912-1 is not prime. Res64: 5B42275CF7DCDE58 Time : 0.0 sec. user=mdettweiler [2016-01-09 06:47:11] 627*2^1418913-1 is not prime. Res64: 2F86CBB7597749F3 Time : 0.0 sec. user=mdettweiler [2016-01-09 06:47:12] 675*2^1418913-1 is not prime. Res64: B4C7F6E04B6FD798 Time : 0.0 sec. user=mdettweiler [2016-01-09 06:47:16] 681*2^1418913-1 is not prime. Res64: 91F24A91D8669B91 Time : 0.0 sec. user=mdettweiler [2016-01-09 06:47:17] 691*2^1418913-1 is not prime. Res64: 0A6B241108A6571E Time : 0.0 sec. user=mdettweiler [2016-01-09 07:04:52] 805*2^1418913-1 is not prime. Res64: 153C797DB1C3A285 Time : 0.0 sec. user=mdettweiler [2016-01-09 07:04:54] 849*2^1418913-1 is not prime. Res64: CFD6D10E7A9537E5 Time : 0.0 sec. user=mdettweiler [2016-01-09 07:04:57] 921*2^1418913-1 is not prime. Res64: 94D633328D5A5618 Time : 0.0 sec. user=mdettweiler [2016-01-09 07:04:58] 985*2^1418913-1 is not prime. Res64: 6FD40C4D5E90E51C Time : 0.0 sec. user=mdettweiler [2016-01-09 07:22:48] 747*2^1418914-1 is not prime. Res64: 974ADCAB29F54EF2 Time : 0.0 sec. user=mdettweiler [2016-01-09 07:22:49] 755*2^1418914-1 is not prime. Res64: 54A3AFB79DE4FAAF Time : 0.0 sec. user=mdettweiler [2016-01-09 07:22:50] 999*2^1418913-1 is not prime. Res64: 552CD3CE4A9F9342 Time : 0.0 sec. user=mdettweiler [2016-01-09 07:22:51] 705*2^1418914-1 is not prime. Res64: 74730B781B617046 Time : 0.0 sec. user=mdettweiler [2016-01-09 07:40:29] 827*2^1418914-1 is not prime. Res64: 75E22D8BC926E421 Time : 0.0 sec. user=mdettweiler [2016-01-09 07:40:31] 887*2^1418914-1 is not prime. Res64: C2484572922311E2 Time : 0.0 sec. user=mdettweiler [2016-01-09 07:40:31] 651*2^1418915-1 is not prime. Res64: 6B9F60160EBDC69C Time : 0.0 sec. user=mdettweiler [2016-01-09 07:40:32] 655*2^1418915-1 is not prime. Res64: 88E912FE8B99CB34 Time : 0.0 sec. user=mdettweiler [2016-01-09 07:58:06] 889*2^1418915-1 is not prime. Res64: 105987FE099776D9 Time : 0.0 sec. user=mdettweiler [2016-01-09 07:58:07] 663*2^1418915-1 is not prime. Res64: F2A6C73A6B280B98 Time : 0.0 sec. user=mdettweiler [2016-01-09 07:58:07] 683*2^1418916-1 is not prime. Res64: 5A3EC971A73E4CF9 Time : 0.0 sec. user=mdettweiler [2016-01-09 07:58:07] 673*2^1418915-1 is not prime. Res64: 6432FBE943E46A88 Time : 0.0 sec. user=mdettweiler [2016-01-09 08:15:38] 707*2^1418916-1 is not prime. Res64: 4D47C93D469285AE Time : 0.0 sec. user=mdettweiler [2016-01-09 08:15:38] 773*2^1418916-1 is not prime. Res64: 07541409DA22D98E Time : 0.0 sec. user=mdettweiler [2016-01-09 08:15:39] 875*2^1418916-1 is not prime. Res64: 719345768910B9D9 Time : 0.0 sec. user=mdettweiler [2016-01-09 08:15:40] 903*2^1418916-1 is not prime. Res64: 4080AD9941CE6F99 Time : 0.0 sec. user=mdettweiler [2016-01-09 08:33:10] 923*2^1418916-1 is not prime. Res64: 502AF94281BDFF85 Time : 0.0 sec. user=mdettweiler [2016-01-09 08:33:11] 615*2^1418917-1 is not prime. Res64: BD4F72CD95C239EB Time : 0.0 sec. user=mdettweiler [2016-01-09 08:33:12] 649*2^1418917-1 is not prime. Res64: EF5849B6C6001BB5 Time : 0.0 sec. user=mdettweiler [2016-01-09 08:33:12] 867*2^1418917-1 is not prime. Res64: 768F233B3029F59B Time : 0.0 sec. user=mdettweiler [2016-01-09 08:50:41] 931*2^1418917-1 is not prime. Res64: B65B65063C75BCFB Time : 0.0 sec. user=mdettweiler [2016-01-09 08:50:42] 937*2^1418917-1 is not prime. Res64: 3E1669660B4842CC Time : 0.0 sec. user=mdettweiler [2016-01-09 08:50:43] 657*2^1418918-1 is not prime. Res64: DE62CBCA91EB1019 Time : 0.0 sec. user=mdettweiler [2016-01-09 08:50:44] 693*2^1418918-1 is not prime. Res64: 10A3B45ACC5F9D19 Time : 0.0 sec. user=mdettweiler [2016-01-09 09:08:13] 743*2^1418918-1 is not prime. Res64: D48107933F607459 Time : 0.0 sec. user=mdettweiler [2016-01-09 09:08:14] 845*2^1418918-1 is not prime. Res64: 6064E4553AE33FE6 Time : 0.0 sec. user=mdettweiler [2016-01-09 09:08:15] 861*2^1418918-1 is not prime. Res64: DB3F886E8DF51BC5 Time : 0.0 sec. user=mdettweiler [2016-01-09 09:08:15] 867*2^1418918-1 is not prime. Res64: 30C85EC3317D4EBE Time : 0.0 sec. user=mdettweiler [2016-01-09 09:25:47] 957*2^1418918-1 is not prime. Res64: 54B1B367E4F607EB Time : 0.0 sec. user=mdettweiler [2016-01-09 09:25:48] 619*2^1418919-1 is not prime. Res64: 0DBF97B6D5335152 Time : 0.0 sec. user=mdettweiler [2016-01-09 09:25:48] 685*2^1418919-1 is not prime. Res64: A873084CA9E7630B Time : 0.0 sec. user=mdettweiler [2016-01-09 09:25:49] 691*2^1418919-1 is not prime. Res64: 8FE0AB1C1A89894B Time : 0.0 sec. user=mdettweiler [2016-01-09 09:43:19] 861*2^1418919-1 is not prime. Res64: 65B3C32BAD873D47 Time : 0.0 sec. user=mdettweiler [2016-01-09 09:43:19] 735*2^1418919-1 is not prime. Res64: 6DE1A9AA70115137 Time : 0.0 sec. user=mdettweiler [2016-01-09 09:43:20] 873*2^1418919-1 is not prime. Res64: D61D7A3679D637F8 Time : 0.0 sec. user=mdettweiler [2016-01-09 09:43:20] 745*2^1418919-1 is not prime. Res64: CE81229264A748C1 Time : 0.0 sec. user=mdettweiler [2016-01-09 10:00:52] 645*2^1418920-1 is not prime. Res64: D04C3A84940E21EA Time : 0.0 sec. user=mdettweiler [2016-01-09 10:00:53] 677*2^1418920-1 is not prime. Res64: 78FCC4039282F221 Time : 0.0 sec. user=mdettweiler [2016-01-09 10:00:53] 895*2^1418919-1 is not prime. Res64: 1405B0158D455D8F Time : 0.0 sec. user=mdettweiler [2016-01-09 10:00:54] 969*2^1418919-1 is not prime. Res64: B25D602C5E328FDF Time : 0.0 sec. user=mdettweiler [2016-01-09 10:18:26] 689*2^1418920-1 is not prime. Res64: 5747B5C6F0BB1957 Time : 0.0 sec. user=mdettweiler [2016-01-09 10:18:26] 887*2^1418920-1 is not prime. Res64: 01514820531359EC Time : 0.0 sec. user=mdettweiler [2016-01-09 10:18:27] 857*2^1418920-1 is not prime. Res64: 99A835609DF6BB7C Time : 0.0 sec. user=mdettweiler [2016-01-09 10:18:27] 999*2^1418920-1 is not prime. Res64: FE97AF46DDFD225D Time : 0.0 sec. user=mdettweiler [2016-01-09 10:35:59] 615*2^1418921-1 is not prime. Res64: 38BED3F5D74339D0 Time : 0.0 sec. user=mdettweiler [2016-01-09 10:35:59] 727*2^1418921-1 is not prime. Res64: 8AAF1A3B35C691A9 Time : 0.0 sec. user=mdettweiler [2016-01-09 10:35:59] 745*2^1418921-1 is not prime. Res64: AA225867FF157D8E Time : 0.0 sec. user=mdettweiler [2016-01-09 10:36:00] 799*2^1418921-1 is not prime. Res64: F7F18BD5F91431E4 Time : 0.0 sec. user=mdettweiler [2016-01-09 10:53:31] 829*2^1418921-1 is not prime. Res64: C182850F5316C1BD Time : 0.0 sec. user=mdettweiler [2016-01-09 10:53:31] 925*2^1418921-1 is not prime. Res64: 25564DBB7A33D569 Time : 0.0 sec. user=mdettweiler [2016-01-09 10:53:31] 907*2^1418921-1 is not prime. Res64: 8D7EAB210DA321C3 Time : 0.0 sec. user=mdettweiler [2016-01-09 10:53:31] 987*2^1418921-1 is not prime. Res64: 219B358121A3E0CB Time : 0.0 sec. user=mdettweiler [2016-01-09 11:11:03] 735*2^1418922-1 is not prime. Res64: 3C5B60A65962715C Time : 0.0 sec. user=mdettweiler [2016-01-09 11:11:03] 755*2^1418922-1 is not prime. Res64: 91A2748E103248DC Time : 0.0 sec. user=mdettweiler [2016-01-09 11:11:04] 657*2^1418922-1 is not prime. Res64: 237D7CF56AB02EE5 Time : 0.0 sec. user=mdettweiler [2016-01-09 11:11:04] 713*2^1418922-1 is not prime. Res64: 68DA4C38200AD4F3 Time : 0.0 sec. user=mdettweiler [2016-01-09 11:28:37] 833*2^1418922-1 is not prime. Res64: 1B8E0B8E5C6B9927 Time : 0.0 sec. user=mdettweiler [2016-01-09 11:28:37] 777*2^1418922-1 is not prime. Res64: 9BA2FFF6C9A48278 Time : 0.0 sec. user=mdettweiler [2016-01-09 11:28:37] 941*2^1418922-1 is not prime. Res64: 47D0B75BB631844A Time : 0.0 sec. user=mdettweiler [2016-01-09 11:28:37] 801*2^1418922-1 is not prime. Res64: C0EAC67DB0D619E3 Time : 0.0 sec. user=mdettweiler [2016-01-09 11:46:09] 973*2^1418923-1 is not prime. Res64: 67D22A7FE84690CD Time : 0.0 sec. user=mdettweiler [2016-01-09 11:46:10] 663*2^1418924-1 is not prime. Res64: 2E8F5DF995BBA373 Time : 0.0 sec. user=mdettweiler [2016-01-09 11:46:10] 677*2^1418924-1 is not prime. Res64: 895A201D8B87440E Time : 0.0 sec. user=mdettweiler [2016-01-09 11:46:11] 813*2^1418924-1 is not prime. Res64: 05FF9509F4810A61 Time : 0.0 sec. user=mdettweiler [2016-01-09 12:03:42] 819*2^1418924-1 is not prime. Res64: E225D35EDE1C5F7F Time : 0.0 sec. user=mdettweiler [2016-01-09 12:03:42] 795*2^1418925-1 is not prime. Res64: 4282DF90C773E6F2 Time : 0.0 sec. user=mdettweiler [2016-01-09 12:03:44] 893*2^1418924-1 is not prime. Res64: 1BE0AA9B4D02ABFA Time : 0.0 sec. user=mdettweiler [2016-01-09 12:03:45] 951*2^1418925-1 is not prime. Res64: 7F20C8A251C48C82 Time : 0.0 sec. user=mdettweiler [2016-01-09 12:21:40] 645*2^1418926-1 is not prime. Res64: 68F39F5A918B26DD Time : 0.0 sec. user=mdettweiler [2016-01-09 12:21:40] 765*2^1418926-1 is not prime. Res64: 9DC165735370B4E2 Time : 0.0 sec. user=mdettweiler [2016-01-09 12:21:42] 815*2^1418926-1 is not prime. Res64: EB4DD054196B17FD Time : 0.0 sec. user=mdettweiler [2016-01-09 12:21:42] 825*2^1418926-1 is not prime. Res64: 6B790D53254D9BAC Time : 0.0 sec. user=mdettweiler [2016-01-09 12:39:12] 857*2^1418926-1 is not prime. Res64: F1FFBF0A6224E1D3 Time : 0.0 sec. user=mdettweiler [2016-01-09 12:39:13] 887*2^1418926-1 is not prime. Res64: 165437400109B6E6 Time : 0.0 sec. user=mdettweiler [2016-01-09 12:39:14] 957*2^1418926-1 is not prime. Res64: C8AF20964D5A38B1 Time : 0.0 sec. user=mdettweiler [2016-01-09 12:39:14] 661*2^1418927-1 is not prime. Res64: 609E84DA4AFF3485 Time : 0.0 sec. user=mdettweiler [2016-01-09 12:56:48] 711*2^1418927-1 is not prime. Res64: 1B8AABAA5781760E Time : 0.0 sec. user=mdettweiler [2016-01-09 12:56:48] 981*2^1418927-1 is not prime. Res64: C1A69C5CA469F366 Time : 0.0 sec. user=mdettweiler [2016-01-09 12:56:48] 663*2^1418928-1 is not prime. Res64: 60CD1C9E8AA5D109 Time : 0.0 sec. user=mdettweiler [2016-01-09 12:56:48] 739*2^1418927-1 is not prime. Res64: 6641338C00FDA30C Time : 0.0 sec. user=mdettweiler [2016-01-09 13:14:25] 773*2^1418928-1 is not prime. Res64: 33B12A3B038F3617 Time : 0.0 sec. user=mdettweiler [2016-01-09 13:14:26] 683*2^1418928-1 is not prime. Res64: 1FF84EB27B250318 Time : 0.0 sec. user=mdettweiler [2016-01-09 13:14:26] 819*2^1418928-1 is not prime. Res64: ED47F369DE04209E Time : 0.0 sec. user=mdettweiler [2016-01-09 13:14:26] 725*2^1418928-1 is not prime. Res64: D49158A53ED5E1EA Time : 0.0 sec. user=mdettweiler [2016-01-09 13:32:05] 685*2^1418929-1 is not prime. Res64: 8B13AF19073C6033 Time : 0.0 sec. user=mdettweiler [2016-01-09 13:32:05] 765*2^1418929-1 is not prime. Res64: 1AB4A78B64F5AC4D Time : 0.0 sec. user=mdettweiler [2016-01-09 13:32:05] 687*2^1418929-1 is not prime. Res64: 3E30096588350D37 Time : 0.0 sec. user=mdettweiler [2016-01-09 13:32:06] 817*2^1418929-1 is not prime. Res64: 93762805FAE45972 Time : 0.0 sec. user=mdettweiler [2016-01-09 13:49:50] 877*2^1418929-1 is not prime. Res64: 8C6E51D373FECA59 Time : 0.0 sec. user=mdettweiler [2016-01-09 13:49:50] 951*2^1418929-1 is not prime. Res64: AAB5D29FB033E098 Time : 0.0 sec. user=mdettweiler [2016-01-09 13:49:50] 819*2^1418929-1 is not prime. Res64: 32E5DBC6685515EF Time : 0.0 sec. user=mdettweiler [2016-01-09 13:49:51] 861*2^1418929-1 is not prime. Res64: 4B54093A768F9CFD Time : 0.0 sec. user=mdettweiler [2016-01-09 14:07:43] 861*2^1418930-1 is not prime. Res64: EBCA3BFA5B57FE44 Time : 0.0 sec. user=mdettweiler [2016-01-09 14:07:43] 687*2^1418930-1 is not prime. Res64: 31A828CB6BB63583 Time : 0.0 sec. user=mdettweiler [2016-01-09 14:07:44] 885*2^1418930-1 is not prime. Res64: 9000C7BE15370550 Time : 0.0 sec. user=mdettweiler [2016-01-09 14:07:44] 791*2^1418930-1 is not prime. Res64: D2CCA4A8DF62C917 Time : 0.0 sec. user=mdettweiler [2016-01-09 14:25:35] 941*2^1418930-1 is not prime. Res64: 8E01E079B3B8B7B2 Time : 0.0 sec. user=mdettweiler [2016-01-09 14:25:35] 977*2^1418930-1 is not prime. Res64: DEAD5A044BF77D09 Time : 0.0 sec. user=mdettweiler [2016-01-09 14:25:36] 1001*2^1418930-1 is not prime. Res64: 488108753F655167 Time : 0.0 sec. user=mdettweiler [2016-01-09 14:25:36] 619*2^1418931-1 is not prime. Res64: FB78C8FFA7F239DE Time : 0.0 sec. user=mdettweiler [2016-01-09 14:43:11] 685*2^1418931-1 is not prime. Res64: C33E57EAFC6FA94F Time : 0.0 sec. user=mdettweiler [2016-01-09 14:43:11] 709*2^1418931-1 is not prime. Res64: CDD7B74DDA1F8AEB Time : 0.0 sec. user=mdettweiler [2016-01-09 14:43:13] 741*2^1418931-1 is not prime. Res64: D8288C6D8D59B0B9 Time : 0.0 sec. user=mdettweiler [2016-01-09 14:43:13] 891*2^1418931-1 is not prime. Res64: 971C96BF299A7583 Time : 0.0 sec. user=mdettweiler [2016-01-09 15:00:44] 895*2^1418931-1 is not prime. Res64: D42101FFE887836A Time : 0.0 sec. user=mdettweiler [2016-01-09 15:00:44] 955*2^1418931-1 is not prime. Res64: F5459B94E9D1996D Time : 0.0 sec. user=mdettweiler [2016-01-09 15:00:47] 975*2^1418931-1 is not prime. Res64: 195A01817D31A753 Time : 0.0 sec. user=mdettweiler [2016-01-09 15:00:49] 999*2^1418931-1 is not prime. Res64: CD2128F5C67CF259 Time : 0.0 sec. user=mdettweiler [2016-01-09 15:18:20] 605*2^1418932-1 is not prime. Res64: 2678E44D9A403C93 Time : 0.0 sec. user=mdettweiler [2016-01-09 15:18:20] 689*2^1418932-1 is not prime. Res64: BAAC4BBE30790E90 Time : 0.0 sec. user=mdettweiler [2016-01-09 15:18:23] 719*2^1418932-1 is not prime. Res64: 3BB96835626E7FE2 Time : 0.0 sec. user=mdettweiler [2016-01-09 15:18:24] 843*2^1418932-1 is not prime. Res64: C164822E67777C21 Time : 0.0 sec. user=mdettweiler [2016-01-09 15:35:54] 957*2^1418932-1 is not prime. Res64: B3E679BCCEBFD01A Time : 0.0 sec. user=mdettweiler [2016-01-09 15:35:54] 615*2^1418933-1 is not prime. Res64: 4DE7487EFF561717 Time : 0.0 sec. user=mdettweiler [2016-01-09 15:35:56] 621*2^1418933-1 is not prime. Res64: C434D7AF12A25063 Time : 0.0 sec. user=mdettweiler [2016-01-09 15:35:57] 627*2^1418933-1 is not prime. Res64: 2E375BD3F8DC9962 Time : 0.0 sec. user=mdettweiler [2016-01-09 15:53:27] 729*2^1418933-1 is not prime. Res64: 0A395DE73D409754 Time : 0.0 sec. user=mdettweiler [2016-01-09 15:53:28] 801*2^1418933-1 is not prime. Res64: 437BBFC82951E716 Time : 0.0 sec. user=mdettweiler [2016-01-09 15:53:29] 811*2^1418933-1 is not prime. Res64: 0456675FEFE9C6CC Time : 0.0 sec. user=mdettweiler [2016-01-09 15:53:30] 847*2^1418933-1 is not prime. Res64: B6E17DE380953757 Time : 0.0 sec. user=mdettweiler [2016-01-09 16:11:02] 937*2^1418933-1 is not prime. Res64: 73A3217B114FCCF5 Time : 0.0 sec. user=mdettweiler [2016-01-09 16:11:03] 949*2^1418933-1 is not prime. Res64: 304C61397D6DAA82 Time : 0.0 sec. user=mdettweiler [2016-01-09 16:11:03] 657*2^1418934-1 is not prime. Res64: 9E61516BB66B6341 Time : 0.0 sec. user=mdettweiler [2016-01-09 16:11:03] 705*2^1418934-1 is not prime. Res64: 3F1A72CB32FA6E42 Time : 0.0 sec. user=mdettweiler [2016-01-09 16:28:38] 755*2^1418934-1 is not prime. Res64: 4FA1A4F6BA8F6188 Time : 0.0 sec. user=mdettweiler [2016-01-09 16:28:38] 947*2^1418934-1 is not prime. Res64: C9988A3E3A03EBC7 Time : 0.0 sec. user=mdettweiler [2016-01-09 16:28:39] 807*2^1418934-1 is not prime. Res64: 8C73528D8ADA9435 Time : 0.0 sec. user=mdettweiler [2016-01-09 16:28:39] 705*2^1418935-1 is not prime. Res64: 6670E8A5771371DD Time : 0.0 sec. user=mdettweiler [2016-01-09 16:46:20] 759*2^1418935-1 is not prime. Res64: 077F368A402B55B5 Time : 0.0 sec. user=mdettweiler [2016-01-09 16:46:21] 793*2^1418935-1 is not prime. Res64: 8264907D659C8C5B Time : 0.0 sec. user=mdettweiler [2016-01-09 16:46:56] 855*2^1418935-1 is not prime. Res64: 9FB3B6AADC4490D9 Time : 0.0 sec. user=mdettweiler [2016-01-09 16:46:57] 861*2^1418935-1 is not prime. Res64: 448331641389DDD4 Time : 0.0 sec. user=mdettweiler [2016-01-09 17:03:55] 933*2^1418935-1 is not prime. Res64: 2EF01DE081C5D928 Time : 0.0 sec. user=mdettweiler [2016-01-09 17:03:57] 979*2^1418935-1 is not prime. Res64: 11DBC0F8339D1603 Time : 0.0 sec. user=mdettweiler [2016-01-09 17:04:31] 615*2^1418936-1 is not prime. Res64: 3805E45A6ADF7691 Time : 0.0 sec. user=mdettweiler [2016-01-09 17:04:32] 725*2^1418936-1 is not prime. Res64: 3A83F753DE49C21C Time : 0.0 sec. user=mdettweiler [2016-01-09 17:21:39] 785*2^1418936-1 is not prime. Res64: 9D2BBAD03E51D81F Time : 0.0 sec. user=mdettweiler [2016-01-09 17:21:40] 827*2^1418936-1 is not prime. Res64: F282940F078F7CF2 Time : 0.0 sec. user=mdettweiler [2016-01-09 17:22:06] 879*2^1418936-1 is not prime. Res64: 57C786EC5BBCA5E9 Time : 0.0 sec. user=mdettweiler [2016-01-09 17:22:06] 917*2^1418936-1 is not prime. Res64: 4D17C9EFD3A55DE0 Time : 0.0 sec. user=mdettweiler [2016-01-09 17:39:18] 945*2^1418936-1 is not prime. Res64: AF8FA8E6355563C1 Time : 0.0 sec. user=mdettweiler [2016-01-09 17:39:18] 609*2^1418937-1 is not prime. Res64: 75744C816865AAD8 Time : 0.0 sec. user=mdettweiler [2016-01-09 17:39:40] 681*2^1418937-1 is not prime. Res64: 183F6DF0C0B82EA7 Time : 0.0 sec. user=mdettweiler [2016-01-09 17:39:40] 741*2^1418937-1 is not prime. Res64: 73599846BEE05029 Time : 0.0 sec. user=mdettweiler [2016-01-09 17:56:53] 781*2^1418937-1 is not prime. Res64: 59F57B3FC7E570A3 Time : 0.0 sec. user=mdettweiler [2016-01-09 17:56:53] 885*2^1418937-1 is not prime. Res64: BD83924EEB4BCB08 Time : 0.0 sec. user=mdettweiler [2016-01-09 17:57:13] 937*2^1418937-1 is not prime. Res64: 86F05BDFF0014DA2 Time : 0.0 sec. user=mdettweiler [2016-01-09 17:57:13] 997*2^1418937-1 is not prime. Res64: DE70C73E82A0884C Time : 0.0 sec. user=mdettweiler [2016-01-09 18:14:27] 617*2^1418938-1 is not prime. Res64: 074A2847FFE3840A Time : 0.0 sec. user=mdettweiler [2016-01-09 18:14:27] 645*2^1418938-1 is not prime. Res64: AED0F143339C2017 Time : 0.0 sec. user=mdettweiler [2016-01-09 18:14:46] 713*2^1418938-1 is not prime. Res64: ED092B2D617BBC28 Time : 0.0 sec. user=mdettweiler [2016-01-09 18:14:47] 755*2^1418938-1 is not prime. Res64: 2FB98A158C4E9CFF Time : 0.0 sec. user=mdettweiler [2016-01-09 18:32:05] 945*2^1418938-1 is not prime. Res64: 39FE0BF13C55884F Time : 0.0 sec. user=mdettweiler [2016-01-09 18:32:11] 663*2^1418939-1 is not prime. Res64: 4D2C174FFAB762AA Time : 0.0 sec. user=mdettweiler [2016-01-09 18:32:25] 675*2^1418939-1 is not prime. Res64: 5C0EE1FAECE2EF07 Time : 0.0 sec. user=mdettweiler [2016-01-09 18:32:28] 693*2^1418939-1 is not prime. Res64: 57D5D49AA7C07FE8 Time : 0.0 sec. user=mdettweiler [2016-01-09 18:50:02] 861*2^1418939-1 is not prime. Res64: 7E35D0A41B74A20A Time : 0.0 sec. user=mdettweiler [2016-01-09 18:50:02] 883*2^1418939-1 is not prime. Res64: 38FB7CD956EAB240 Time : 0.0 sec. user=mdettweiler [2016-01-09 18:50:37] 841*2^1418939-1 is not prime. Res64: 86AB629A78809699 Time : 0.0 sec. user=mdettweiler [2016-01-09 18:50:38] 859*2^1418939-1 is not prime. Res64: 77428EFEE7BACE54 Time : 0.0 sec. user=mdettweiler [2016-01-09 19:07:39] 909*2^1418939-1 is not prime. Res64: 6B690734B59D2E41 Time : 0.0 sec. user=mdettweiler [2016-01-09 19:07:42] 985*2^1418939-1 is not prime. Res64: 355E34E9828813B4 Time : 0.0 sec. user=mdettweiler [2016-01-09 19:08:11] 991*2^1418939-1 is not prime. Res64: 6FB03C8BD0276D09 Time : 0.0 sec. user=mdettweiler [2016-01-09 19:08:12] 689*2^1418940-1 is not prime. Res64: 6E6B1585D9578371 Time : 0.0 sec. user=mdettweiler [2016-01-09 19:25:36] 783*2^1418940-1 is not prime. Res64: 84AF1D1B754B8197 Time : 0.0 sec. user=mdettweiler [2016-01-09 19:25:36] 867*2^1418940-1 is not prime. Res64: 6FF72E9B892595D0 Time : 0.0 sec. user=mdettweiler [2016-01-09 19:25:52] 909*2^1418940-1 is not prime. Res64: 9AFEC2B661BCC747 Time : 0.0 sec. user=mdettweiler [2016-01-09 19:25:53] 923*2^1418940-1 is not prime. Res64: 9A80494E0CC3146C Time : 0.0 sec. user=mdettweiler [2016-01-09 19:43:12] 983*2^1418940-1 is not prime. Res64: 3E3E37E31F6514B3 Time : 0.0 sec. user=mdettweiler [2016-01-09 19:43:12] 987*2^1418940-1 is not prime. Res64: 0BEC55121E7D291C Time : 0.0 sec. user=mdettweiler [2016-01-09 19:43:25] 615*2^1418941-1 is not prime. Res64: A6230CA7E245A36C Time : 0.0 sec. user=mdettweiler [2016-01-09 19:43:26] 679*2^1418941-1 is not prime. Res64: 955B1BCEF852671E Time : 0.0 sec. user=mdettweiler [2016-01-09 20:00:45] 715*2^1418941-1 is not prime. Res64: 5459A1E7D3679422 Time : 0.0 sec. user=mdettweiler [2016-01-09 20:00:46] 741*2^1418941-1 is not prime. Res64: 7990C0ECA5463DCD Time : 0.0 sec. user=mdettweiler [2016-01-09 20:01:02] 805*2^1418941-1 is not prime. Res64: 8A720DBFDF8EEB7F Time : 0.0 sec. user=mdettweiler [2016-01-09 20:01:03] 855*2^1418941-1 is not prime. Res64: 366AA2F382B11934 Time : 0.0 sec. user=mdettweiler [2016-01-09 20:18:21] 859*2^1418941-1 is not prime. Res64: 2FA6C26C34C8DA28 Time : 0.0 sec. user=mdettweiler [2016-01-09 20:18:21] 931*2^1418941-1 is not prime. Res64: 9E3CDDAE0C479A0C Time : 0.0 sec. user=mdettweiler [2016-01-09 20:18:37] 975*2^1418941-1 is not prime. Res64: FD89F63F8F826F19 Time : 0.0 sec. user=mdettweiler [2016-01-09 20:18:38] 747*2^1418942-1 is not prime. Res64: 976C209502EB751A Time : 0.0 sec. user=mdettweiler [2016-01-09 20:35:56] 771*2^1418942-1 is not prime. Res64: 5848A55335A4FC5D Time : 0.0 sec. user=mdettweiler [2016-01-09 20:35:57] 875*2^1418942-1 is not prime. Res64: 33C8E2A294F401BB Time : 0.0 sec. user=mdettweiler [2016-01-09 20:36:11] 945*2^1418942-1 is not prime. Res64: 452C5EECE313717D Time : 0.0 sec. user=mdettweiler [2016-01-09 20:36:11] 615*2^1418943-1 is not prime. Res64: 2212142064A5B1E6 Time : 0.0 sec. user=mdettweiler [2016-01-09 20:53:30] 705*2^1418943-1 is not prime. Res64: 5B269FEFD8A8C6FA Time : 0.0 sec. user=mdettweiler [2016-01-09 20:53:30] 765*2^1418943-1 is not prime. Res64: 2D1A7CECCBE609DC Time : 0.0 sec. user=mdettweiler [2016-01-09 20:53:44] 789*2^1418943-1 is not prime. Res64: E284AC36AECD2FDF Time : 0.0 sec. user=mdettweiler [2016-01-09 20:53:45] 871*2^1418943-1 is not prime. Res64: 275566381AAF38E4 Time : 0.0 sec. user=mdettweiler [2016-01-09 21:11:03] 933*2^1418943-1 is not prime. Res64: 7241F84469CCAA8D Time : 0.0 sec. user=mdettweiler [2016-01-09 21:11:04] 949*2^1418943-1 is not prime. Res64: CC5EC84F8A46A56C Time : 0.0 sec. user=mdettweiler [2016-01-09 21:11:18] 629*2^1418944-1 is not prime. Res64: E9392AEDC68DD0F7 Time : 0.0 sec. user=mdettweiler [2016-01-09 21:11:19] 773*2^1418944-1 is not prime. Res64: 854EB41C3FD237EB Time : 0.0 sec. user=mdettweiler [2016-01-09 21:28:40] 843*2^1418944-1 is not prime. Res64: 0C3B82CF93086C15 Time : 0.0 sec. user=mdettweiler [2016-01-09 21:28:40] 863*2^1418944-1 is not prime. Res64: 737B80D03605B52D Time : 0.0 sec. user=mdettweiler [2016-01-09 21:28:51] 607*2^1418945-1 is not prime. Res64: 95CE4BC2294E7483 Time : 0.0 sec. user=mdettweiler [2016-01-09 21:28:52] 889*2^1418945-1 is not prime. Res64: 194846643370E139 Time : 0.0 sec. user=mdettweiler [2016-01-09 21:46:13] 909*2^1418945-1 is not prime. Res64: E1802DC974AC4E83 Time : 0.0 sec. user=mdettweiler [2016-01-09 21:46:14] 957*2^1418945-1 is not prime. Res64: 31818BFD2BAF642D Time : 0.0 sec. user=mdettweiler [2016-01-09 21:46:24] 611*2^1418946-1 is not prime. Res64: 171FD37484FF61C1 Time : 0.0 sec. user=mdettweiler [2016-01-09 21:46:25] 717*2^1418946-1 is not prime. Res64: 9F42C054339DB255 Time : 0.0 sec. user=mdettweiler [2016-01-09 22:03:48] 737*2^1418946-1 is not prime. Res64: EC68E2F5DC48D4FA Time : 0.0 sec. user=mdettweiler [2016-01-09 22:03:50] 765*2^1418946-1 is not prime. Res64: 72F358705325CDF5 Time : 0.0 sec. user=mdettweiler [2016-01-09 22:03:58] 777*2^1418946-1 is not prime. Res64: 4CF56902A0B81905 Time : 0.0 sec. user=mdettweiler [2016-01-09 22:04:02] 851*2^1418946-1 is not prime. Res64: 6C9542738AEAD10A Time : 0.0 sec. user=mdettweiler [2016-01-09 22:21:35] 917*2^1418946-1 is not prime. Res64: FC558C97B8F5FDFC Time : 0.0 sec. user=mdettweiler [2016-01-09 22:21:35] 741*2^1418947-1 is not prime. Res64: 040232FEBFA030CB Time : 0.0 sec. user=mdettweiler [2016-01-09 22:21:37] 769*2^1418947-1 is not prime. Res64: 83EDE126CB92EDEF Time : 0.0 sec. user=mdettweiler [2016-01-09 22:21:37] 861*2^1418947-1 is not prime. Res64: D38D60D9043E8478 Time : 0.0 sec. user=mdettweiler [2016-01-09 22:39:09] 885*2^1418947-1 is not prime. Res64: 71791B2D188CF881 Time : 0.0 sec. user=mdettweiler [2016-01-09 22:39:10] 665*2^1418948-1 is not prime. Res64: C1AED84772811212 Time : 0.0 sec. user=mdettweiler [2016-01-09 22:39:11] 687*2^1418948-1 is not prime. Res64: 61BB3B5B2B3759A3 Time : 0.0 sec. user=mdettweiler [2016-01-09 22:39:12] 753*2^1418948-1 is not prime. Res64: 39C2BA0F32108B03 Time : 0.0 sec. user=mdettweiler [2016-01-09 22:56:44] 813*2^1418948-1 is not prime. Res64: 35C056FABEB8483C Time : 0.0 sec. user=mdettweiler [2016-01-09 22:56:44] 875*2^1418948-1 is not prime. Res64: A104FC4E6658F194 Time : 0.0 sec. user=mdettweiler [2016-01-09 22:56:44] 927*2^1418948-1 is not prime. Res64: 90FF6F5C24396473 Time : 0.0 sec. user=mdettweiler [2016-01-09 22:56:45] 957*2^1418948-1 is not prime. Res64: EB113A14F5A4247E Time : 0.0 sec. user=mdettweiler [2016-01-09 23:14:18] 963*2^1418948-1 is not prime. Res64: 7843F933812156F3 Time : 0.0 sec. user=mdettweiler [2016-01-09 23:14:19] 669*2^1418949-1 is not prime. Res64: 449BCA975C8913D5 Time : 0.0 sec. user=mdettweiler [2016-01-09 23:14:19] 993*2^1418948-1 is not prime. Res64: 876AD845F9F99D9E Time : 0.0 sec. user=mdettweiler [2016-01-09 23:14:19] 727*2^1418949-1 is not prime. Res64: 81BC8D678EB2E933 Time : 0.0 sec. user=mdettweiler [2016-01-09 23:31:56] 765*2^1418949-1 is not prime. Res64: 9F01DFCED47C7019 Time : 0.0 sec. user=mdettweiler [2016-01-09 23:31:56] 829*2^1418949-1 is not prime. Res64: 2B5EA0E00C3AA816 Time : 0.0 sec. user=mdettweiler [2016-01-09 23:32:07] 921*2^1418949-1 is not prime. Res64: 9A245F1509A3CFE4 Time : 0.0 sec. user=mdettweiler [2016-01-09 23:32:07] 955*2^1418949-1 is not prime. Res64: 0448CD877A1D3B50 Time : 0.0 sec. user=mdettweiler [2016-01-09 23:49:31] 961*2^1418949-1 is not prime. Res64: 90C9672AF99D27A4 Time : 0.0 sec. user=mdettweiler [2016-01-09 23:49:31] 999*2^1418949-1 is not prime. Res64: EA2ADE6491DA8BB3 Time : 0.0 sec. user=mdettweiler [2016-01-09 23:49:40] 671*2^1418950-1 is not prime. Res64: D92DD7C0C1C38218 Time : 0.0 sec. user=mdettweiler [2016-01-09 23:49:41] 695*2^1418950-1 is not prime. Res64: 2F9A34C4D24F8B8F Time : 0.0 sec.