user=mdettweiler [2015-04-25 00:02:32] 825*2^1397594-1 is not prime. Res64: 19CF1D2C19B384D4 Time : 0.0 sec. user=mdettweiler [2015-04-25 00:02:33] 833*2^1397594-1 is not prime. Res64: 39A64A631344BCD3 Time : 0.0 sec. user=mdettweiler [2015-04-25 00:02:34] 873*2^1397594-1 is not prime. Res64: 88A0414034D9C2EB Time : 0.0 sec. user=mdettweiler [2015-04-25 00:02:35] 709*2^1397595-1 is not prime. Res64: 2E75F1163C1158FD Time : 0.0 sec. user=mdettweiler [2015-04-25 00:02:38] 677*2^1397594-1 is not prime. Res64: B8B797E0FA2CFD48 Time : 0.0 sec. user=mdettweiler [2015-04-25 00:02:39] 743*2^1397594-1 is not prime. Res64: ADDD20C702B35BA8 Time : 0.0 sec. user=mdettweiler [2015-04-25 00:11:49] 723*2^1397595-1 is not prime. Res64: 9662C5D14EC235D2 Time : 0.0 sec. user=mdettweiler [2015-04-25 00:11:50] 751*2^1397595-1 is not prime. Res64: 7DAA882174DAAEB3 Time : 0.0 sec. user=mdettweiler [2015-04-25 00:20:59] 621*2^1397597-1 is not prime. Res64: 2ED79CAD6F0A2913 Time : 0.0 sec. user=mdettweiler [2015-04-25 00:20:59] 669*2^1397597-1 is not prime. Res64: 6619D7CE0649ABDD Time : 0.0 sec. user=mdettweiler [2015-04-25 00:21:06] 603*2^1397596-1 is not prime. Res64: F5B6606FCFB066AB Time : 0.0 sec. user=mdettweiler [2015-04-25 00:21:06] 933*2^1397596-1 is not prime. Res64: 5480B4500B38D384 Time : 0.0 sec. user=mdettweiler [2015-04-25 00:21:10] 859*2^1397595-1 is not prime. Res64: 538019DEF24244D9 Time : 0.0 sec. user=mdettweiler [2015-04-25 00:21:10] 855*2^1397596-1 is not prime. Res64: 723DDB91B1F24366 Time : 0.0 sec. user=mdettweiler [2015-04-25 00:29:38] 795*2^1397597-1 is not prime. Res64: 61EE57023D6A5724 Time : 0.0 sec. user=mdettweiler [2015-04-25 00:29:38] 805*2^1397597-1 is not prime. Res64: 5DE5370C099CE5F5 Time : 0.0 sec. user=mdettweiler [2015-04-25 00:38:40] 731*2^1397598-1 is not prime. Res64: A1956078BAE539F2 Time : 0.0 sec. user=mdettweiler [2015-04-25 00:38:41] 821*2^1397598-1 is not prime. Res64: 2B81BC6D15DE760A Time : 0.0 sec. user=mdettweiler [2015-04-25 00:38:41] 901*2^1397597-1 is not prime. Res64: E8ED5A707CFD3300 Time : 0.0 sec. user=mdettweiler [2015-04-25 00:38:42] 867*2^1397598-1 is not prime. Res64: 63590027F91B755D Time : 0.0 sec. user=mdettweiler [2015-04-25 00:38:42] 693*2^1397598-1 is not prime. Res64: B4CC72EE596ED550 Time : 0.0 sec. user=mdettweiler [2015-04-25 00:38:42] 921*2^1397598-1 is not prime. Res64: E194E361E6BEE737 Time : 0.0 sec. user=mdettweiler [2015-04-25 00:48:17] 951*2^1397598-1 is not prime. Res64: 19A60E1BC540E1F4 Time : 0.0 sec. user=mdettweiler [2015-04-25 00:48:17] 1001*2^1397598-1 is not prime. Res64: B94DBB554774C747 Time : 0.0 sec. user=mdettweiler [2015-04-25 00:57:15] 931*2^1397599-1 is not prime. Res64: 7556C10096241526 Time : 0.0 sec. user=mdettweiler [2015-04-25 00:57:16] 951*2^1397599-1 is not prime. Res64: 247E7075A4F53253 Time : 0.0 sec. user=mdettweiler [2015-04-25 00:57:21] 649*2^1397599-1 is not prime. Res64: E5E711427CE0EC74 Time : 0.0 sec. user=mdettweiler [2015-04-25 00:57:22] 831*2^1397599-1 is not prime. Res64: 23E2B8933C7B63CE Time : 0.0 sec. user=mdettweiler [2015-04-25 00:57:22] 993*2^1397599-1 is not prime. Res64: 565AAE636DCEB823 Time : 0.0 sec. user=mdettweiler [2015-04-25 00:57:22] 665*2^1397600-1 is not prime. Res64: 9492718A1684470F Time : 0.0 sec. user=mdettweiler [2015-04-25 01:05:58] 669*2^1397600-1 is not prime. Res64: 27C7B149F457D740 Time : 0.0 sec. user=mdettweiler [2015-04-25 01:05:59] 689*2^1397600-1 is not prime. Res64: 66DD5B04D0A31944 Time : 0.0 sec. user=mdettweiler [2015-04-25 01:14:54] 785*2^1397600-1 is not prime. Res64: A41E263774477CDF Time : 0.0 sec. user=mdettweiler [2015-04-25 01:14:55] 845*2^1397600-1 is not prime. Res64: E0999F6762258F59 Time : 0.0 sec. user=mdettweiler [2015-04-25 01:14:56] 875*2^1397600-1 is not prime. Res64: D50F0DCDF4B64D9F Time : 0.0 sec. user=mdettweiler [2015-04-25 01:14:57] 923*2^1397600-1 is not prime. Res64: 9D6AFC91185F69AB Time : 0.0 sec. user=mdettweiler [2015-04-25 01:15:02] 963*2^1397600-1 is not prime. Res64: 7B6D56DF458C666A Time : 0.0 sec. user=mdettweiler [2015-04-25 01:15:03] 983*2^1397600-1 is not prime. Res64: 79CA29F4891A649C Time : 0.0 sec. user=mdettweiler [2015-04-25 01:23:35] 615*2^1397601-1 is not prime. Res64: D163D705C05B207C Time : 0.0 sec. user=mdettweiler [2015-04-25 01:23:36] 747*2^1397601-1 is not prime. Res64: 35A47B677EBCDEDF Time : 0.0 sec. user=mdettweiler [2015-04-25 01:32:22] 829*2^1397601-1 is not prime. Res64: 52FB3025233D8A8B Time : 0.0 sec. user=mdettweiler [2015-04-25 01:32:23] 895*2^1397601-1 is not prime. Res64: BDFF1EC683E510A6 Time : 0.0 sec. user=mdettweiler [2015-04-25 01:32:28] 997*2^1397601-1 is not prime. Res64: FEE27BD70131AFA2 Time : 0.0 sec. user=mdettweiler [2015-04-25 01:32:28] 701*2^1397602-1 is not prime. Res64: BC98A2900241016A Time : 0.0 sec. user=mdettweiler [2015-04-25 01:32:33] 717*2^1397602-1 is not prime. Res64: 4ACDB5B1A3364E3A Time : 0.0 sec. user=mdettweiler [2015-04-25 01:32:33] 737*2^1397602-1 is not prime. Res64: 0591065E56CEB470 Time : 0.0 sec. user=mdettweiler [2015-04-25 01:41:20] 609*2^1397603-1 is not prime. Res64: 3CE29F85242D2DA0 Time : 0.0 sec. user=mdettweiler [2015-04-25 01:41:20] 861*2^1397603-1 is not prime. Res64: 9644CFD3D58E402A Time : 0.0 sec. user=mdettweiler [2015-04-25 01:50:13] 963*2^1397603-1 is not prime. Res64: 3186B6EC194EA25F Time : 0.0 sec. user=mdettweiler [2015-04-25 01:50:14] 683*2^1397604-1 is not prime. Res64: 7DA7B964F39AA0FC Time : 0.0 sec. user=mdettweiler [2015-04-25 01:50:21] 789*2^1397604-1 is not prime. Res64: 6345217797568029 Time : 0.0 sec. user=mdettweiler [2015-04-25 01:50:21] 959*2^1397604-1 is not prime. Res64: 587183CE4840A4A3 Time : 0.0 sec. user=mdettweiler [2015-04-25 01:50:31] 759*2^1397604-1 is not prime. Res64: 8BF6258195E92738 Time : 0.0 sec. user=mdettweiler [2015-04-25 01:50:32] 765*2^1397604-1 is not prime. Res64: 6E792931CE66BFF0 Time : 0.0 sec. user=mdettweiler [2015-04-25 01:59:25] 987*2^1397604-1 is not prime. Res64: 1E756EF52C4AC7C2 Time : 0.0 sec. user=mdettweiler [2015-04-25 01:59:25] 609*2^1397605-1 is not prime. Res64: FD9D5870668DCB1F Time : 0.0 sec. user=mdettweiler [2015-04-25 02:08:51] 877*2^1397605-1 is not prime. Res64: 05F3B5F9412A5CF9 Time : 0.0 sec. user=mdettweiler [2015-04-25 02:08:52] 957*2^1397605-1 is not prime. Res64: 4C307DBC352C321D Time : 0.0 sec. user=mdettweiler [2015-04-25 02:08:58] 649*2^1397605-1 is not prime. Res64: EF766866881E9859 Time : 0.0 sec. user=mdettweiler [2015-04-25 02:08:59] 687*2^1397605-1 is not prime. Res64: 14D27E0EFFF0EEC9 Time : 0.0 sec. user=mdettweiler [2015-04-25 02:09:15] 987*2^1397605-1 is not prime. Res64: 18A3D94C3BAA104E Time : 0.0 sec. user=mdettweiler [2015-04-25 02:09:15] 711*2^1397606-1 is not prime. Res64: EC30724D77C76B3D Time : 0.0 sec. user=mdettweiler [2015-04-25 02:19:03] 717*2^1397606-1 is not prime. Res64: 0A5870ADBF926BC3 Time : 0.0 sec. user=mdettweiler [2015-04-25 02:19:03] 741*2^1397606-1 is not prime. Res64: 48104D116495C048 Time : 0.0 sec. user=mdettweiler [2015-04-25 02:29:15] 897*2^1397606-1 is not prime. Res64: AA71CFFF717F949A Time : 0.0 sec. user=mdettweiler [2015-04-25 02:29:16] 921*2^1397606-1 is not prime. Res64: CCCEF6E7B431C3A4 Time : 0.0 sec. user=mdettweiler [2015-04-25 02:29:23] 971*2^1397606-1 is not prime. Res64: 3A9EFFB5E5DDC6A1 Time : 0.0 sec. user=mdettweiler [2015-04-25 02:29:24] 981*2^1397606-1 is not prime. Res64: 23A6B258F0E13A57 Time : 0.0 sec. user=mdettweiler [2015-04-25 02:29:38] 743*2^1397606-1 is not prime. Res64: D674DE539FF0870C Time : 0.0 sec. user=mdettweiler [2015-04-25 02:29:39] 785*2^1397606-1 is not prime. Res64: 958DE5E41A2DBEBB Time : 0.0 sec. user=mdettweiler [2015-04-25 02:43:32] 933*2^1397607-1 is not prime. Res64: 19B8453C190F6A11 Time : 0.0 sec. user=mdettweiler [2015-04-25 02:43:32] 945*2^1397607-1 is not prime. Res64: 8F34498B29CC881E Time : 0.0 sec. user=mdettweiler [2015-04-25 02:52:39] 713*2^1397608-1 is not prime. Res64: B924B79EB33E8922 Time : 0.0 sec. user=mdettweiler [2015-04-25 02:52:40] 755*2^1397608-1 is not prime. Res64: 9782B7D126181132 Time : 0.0 sec. user=mdettweiler [2015-04-25 02:52:41] 843*2^1397608-1 is not prime. Res64: F0C562AE487E826B Time : 0.0 sec. user=mdettweiler [2015-04-25 02:52:41] 933*2^1397608-1 is not prime. Res64: 42F63CFBC88078E1 Time : 0.0 sec. user=mdettweiler [2015-04-25 02:52:56] 663*2^1397608-1 is not prime. Res64: A64BD4C9C24828A3 Time : 0.0 sec. user=mdettweiler [2015-04-25 02:52:57] 687*2^1397608-1 is not prime. Res64: 125E54BC6266A6E1 Time : 0.0 sec. user=mdettweiler [2015-04-25 03:02:14] 637*2^1397609-1 is not prime. Res64: F171A1AD829C1112 Time : 0.0 sec. user=mdettweiler [2015-04-25 03:02:16] 729*2^1397609-1 is not prime. Res64: C3DCDAA8F9D5CEE5 Time : 0.0 sec. user=mdettweiler [2015-04-25 03:10:08] 769*2^1397609-1 is not prime. Res64: 9B72ABE389F5A8F8 Time : 0.0 sec. user=mdettweiler [2015-04-25 03:10:09] 787*2^1397609-1 is not prime. Res64: 645CB34A7614BA96 Time : 0.0 sec. user=mdettweiler [2015-04-25 03:10:13] 633*2^1397610-1 is not prime. Res64: 334780B6984C8279 Time : 0.0 sec. user=mdettweiler [2015-04-25 03:10:13] 735*2^1397610-1 is not prime. Res64: EB4F8AF4225319DA Time : 0.0 sec. user=mdettweiler [2015-04-25 03:10:22] 741*2^1397610-1 is not prime. Res64: 2954DE4A58514C01 Time : 0.0 sec. user=mdettweiler [2015-04-25 03:10:23] 765*2^1397610-1 is not prime. Res64: 2B69D6A578E7E4C4 Time : 0.0 sec. user=mdettweiler [2015-04-25 03:20:04] 803*2^1397610-1 is not prime. Res64: 68DC04699485F070 Time : 0.0 sec. user=mdettweiler [2015-04-25 03:20:05] 833*2^1397610-1 is not prime. Res64: 83A2F0DC3E2C0850 Time : 0.0 sec. user=mdettweiler [2015-04-25 03:27:44] 619*2^1397611-1 is not prime. Res64: 471A04429587F9D8 Time : 0.0 sec. user=mdettweiler [2015-04-25 03:27:45] 631*2^1397611-1 is not prime. Res64: 7F3479975B144FE3 Time : 0.0 sec. user=mdettweiler [2015-04-25 03:27:48] 893*2^1397610-1 is not prime. Res64: 9F2EE3709069C4FD Time : 0.0 sec. user=mdettweiler [2015-04-25 03:27:50] 971*2^1397610-1 is not prime. Res64: 42F5BBF17F2F1583 Time : 0.0 sec. user=mdettweiler [2015-04-25 03:28:01] 723*2^1397611-1 is not prime. Res64: C6EA284FB44DE7EE Time : 0.0 sec. user=mdettweiler [2015-04-25 03:28:02] 801*2^1397611-1 is not prime. Res64: B54A6972ED373FC6 Time : 0.0 sec. user=mdettweiler [2015-04-25 03:37:32] 859*2^1397611-1 is not prime. Res64: 0A439305BA3D5997 Time : 0.0 sec. user=mdettweiler [2015-04-25 03:37:33] 909*2^1397611-1 is not prime. Res64: C046B9AA4A93B37F Time : 0.0 sec. user=mdettweiler [2015-04-25 03:45:05] 909*2^1397612-1 is not prime. Res64: 841F4636BF042D82 Time : 0.0 sec. user=mdettweiler [2015-04-25 03:45:06] 609*2^1397613-1 is not prime. Res64: 43122C06BB3B35E9 Time : 0.0 sec. user=mdettweiler [2015-04-25 03:45:13] 805*2^1397613-1 is not prime. Res64: D55A97DE6B6F298C Time : 0.0 sec. user=mdettweiler [2015-04-25 03:45:14] 891*2^1397613-1 is not prime. Res64: 7ABF4FAB636CEAEE Time : 0.0 sec. user=mdettweiler [2015-04-25 03:45:26] 949*2^1397613-1 is not prime. Res64: 437B5E29CD170201 Time : 0.0 sec. user=mdettweiler [2015-04-25 03:45:27] 611*2^1397614-1 is not prime. Res64: 9BBC6BA908006680 Time : 0.0 sec. user=mdettweiler [2015-04-25 03:55:07] 657*2^1397614-1 is not prime. Res64: AD69728BC3FD5F2B Time : 0.0 sec. user=mdettweiler [2015-04-25 03:55:07] 665*2^1397614-1 is not prime. Res64: E1684EC95898E7A1 Time : 0.0 sec. user=mdettweiler [2015-04-25 04:02:35] 675*2^1397614-1 is not prime. Res64: 4A8766D3D44609FF Time : 0.0 sec. user=mdettweiler [2015-04-25 04:02:36] 705*2^1397614-1 is not prime. Res64: 632A29CDEDFB5ADE Time : 0.0 sec. user=mdettweiler [2015-04-25 04:02:37] 723*2^1397614-1 is not prime. Res64: CB61C0B862B0A7E8 Time : 0.0 sec. user=mdettweiler [2015-04-25 04:02:39] 965*2^1397614-1 is not prime. Res64: D68B336932BEB41A Time : 0.0 sec. user=mdettweiler [2015-04-25 04:02:43] 693*2^1397615-1 is not prime. Res64: 0D247B1968DF2985 Time : 0.0 sec. user=mdettweiler [2015-04-25 04:02:45] 705*2^1397615-1 is not prime. Res64: A4BC4B56CF0EE32D Time : 0.0 sec. user=mdettweiler [2015-04-25 04:12:34] 865*2^1397615-1 is not prime. Res64: 0791E6D62D4F057D Time : 0.0 sec. user=mdettweiler [2015-04-25 04:12:34] 609*2^1397616-1 is not prime. Res64: 134F27EDC255A5BF Time : 0.0 sec. user=mdettweiler [2015-04-25 04:20:45] 627*2^1397616-1 is not prime. Res64: 91A0D2767E083ED7 Time : 0.0 sec. user=mdettweiler [2015-04-25 04:20:46] 689*2^1397616-1 is not prime. Res64: 763883721EFAA93B Time : 0.0 sec. user=mdettweiler [2015-04-25 04:20:49] 623*2^1397616-1 is not prime. Res64: ADB10625256089CC Time : 0.0 sec. user=mdettweiler [2015-04-25 04:20:50] 669*2^1397616-1 is not prime. Res64: 3D2EBD61487234BD Time : 0.0 sec. user=mdettweiler [2015-04-25 04:20:52] 719*2^1397616-1 is not prime. Res64: 1488C94FCD157B7D Time : 0.0 sec. user=mdettweiler [2015-04-25 04:20:52] 845*2^1397616-1 is not prime. Res64: 342A8A725B9E07C7 Time : 0.0 sec. user=mdettweiler [2015-04-25 04:29:54] 867*2^1397616-1 is not prime. Res64: F8FA4346F05F758C Time : 0.0 sec. user=mdettweiler [2015-04-25 04:29:54] 887*2^1397616-1 is not prime. Res64: 32D578BA66845C2A Time : 0.0 sec. user=mdettweiler [2015-04-25 04:38:03] 903*2^1397616-1 is not prime. Res64: C87EC29D60FA7610 Time : 0.0 sec. user=mdettweiler [2015-04-25 04:38:04] 649*2^1397617-1 is not prime. Res64: 736002B5609F1ED4 Time : 0.0 sec. user=mdettweiler [2015-04-25 04:38:11] 717*2^1397617-1 is not prime. Res64: 30A7DFF6A1C0E776 Time : 0.0 sec. user=mdettweiler [2015-04-25 04:38:11] 633*2^1397618-1 is not prime. Res64: 75685D83DE248A09 Time : 0.0 sec. user=mdettweiler [2015-04-25 04:38:11] 651*2^1397618-1 is not prime. Res64: 9DC0BBB225C627DB Time : 0.0 sec. user=mdettweiler [2015-04-25 04:38:12] 825*2^1397618-1 is not prime. Res64: 62103E143D658D73 Time : 0.0 sec. user=mdettweiler [2015-04-25 04:47:12] 887*2^1397618-1 is not prime. Res64: 965FBB13CB2FDE14 Time : 0.0 sec. user=mdettweiler [2015-04-25 04:47:13] 963*2^1397618-1 is not prime. Res64: 67681240CC7AB27F Time : 0.0 sec. user=mdettweiler [2015-04-25 04:55:23] 613*2^1397619-1 is not prime. Res64: FC855C185CDAD888 Time : 0.0 sec. user=mdettweiler [2015-04-25 04:55:24] 619*2^1397619-1 is not prime. Res64: ACD1C6DBBC9FD471 Time : 0.0 sec. user=mdettweiler [2015-04-25 04:55:31] 723*2^1397619-1 is not prime. Res64: 95D29B4462CC3BA7 Time : 0.0 sec. user=mdettweiler [2015-04-25 04:55:31] 741*2^1397619-1 is not prime. Res64: 2BA6C76B37665020 Time : 0.0 sec. user=mdettweiler [2015-04-25 04:55:33] 663*2^1397619-1 is not prime. Res64: 9DB33981E9B330A4 Time : 0.0 sec. user=mdettweiler [2015-04-25 04:55:33] 685*2^1397619-1 is not prime. Res64: 1FC57CF1F844256F Time : 0.0 sec. user=mdettweiler [2015-04-25 05:05:03] 853*2^1397619-1 is not prime. Res64: 8028050A3C74999D Time : 0.0 sec. user=mdettweiler [2015-04-25 05:05:05] 961*2^1397619-1 is not prime. Res64: B12632EA009AFCC3 Time : 0.0 sec. user=mdettweiler [2015-04-25 05:13:43] 665*2^1397620-1 is not prime. Res64: D8B53B6A59BCD169 Time : 0.0 sec. user=mdettweiler [2015-04-25 05:13:44] 857*2^1397620-1 is not prime. Res64: 29D2047D2146D6B1 Time : 0.0 sec. user=mdettweiler [2015-04-25 05:14:03] 627*2^1397621-1 is not prime. Res64: 58EEF00EFDC16DE0 Time : 0.0 sec. user=mdettweiler [2015-04-25 05:14:03] 775*2^1397621-1 is not prime. Res64: 3EC5826131003867 Time : 0.0 sec. user=mdettweiler [2015-04-25 05:14:05] 897*2^1397620-1 is not prime. Res64: D5DA5BB2DA3CAB8B Time : 0.0 sec. user=mdettweiler [2015-04-25 05:14:06] 923*2^1397620-1 is not prime. Res64: 830866357A9ABE1F Time : 0.0 sec. user=mdettweiler [2015-04-25 05:23:15] 801*2^1397621-1 is not prime. Res64: 7248BD6CDF120E8D Time : 0.0 sec. user=mdettweiler [2015-04-25 05:23:15] 861*2^1397621-1 is not prime. Res64: ECFE7E4D60CFE26C Time : 0.0 sec. user=mdettweiler [2015-04-25 05:31:08] 879*2^1397621-1 is not prime. Res64: A02797F703158060 Time : 0.0 sec. user=mdettweiler [2015-04-25 05:31:08] 949*2^1397621-1 is not prime. Res64: EA8C4C82FE8CB0EC Time : 0.0 sec. user=mdettweiler [2015-04-25 05:31:26] 705*2^1397622-1 is not prime. Res64: 3DF40AAA746775B2 Time : 0.0 sec. user=mdettweiler [2015-04-25 05:31:26] 801*2^1397622-1 is not prime. Res64: 494FF287A23A805D Time : 0.0 sec. user=mdettweiler [2015-04-25 05:31:32] 947*2^1397622-1 is not prime. Res64: 5A9672075B968CD8 Time : 0.0 sec. user=mdettweiler [2015-04-25 05:31:33] 673*2^1397623-1 is not prime. Res64: 6147B3B979BDEF45 Time : 0.0 sec. user=mdettweiler [2015-04-25 05:40:33] 693*2^1397623-1 is not prime. Res64: 79B01BC31AC5C23E Time : 0.0 sec. user=mdettweiler [2015-04-25 05:40:34] 813*2^1397623-1 is not prime. Res64: D174EEF8CB5494A0 Time : 0.0 sec. user=mdettweiler [2015-04-25 05:48:27] 819*2^1397623-1 is not prime. Res64: 692DC160B3744AFD Time : 0.0 sec. user=mdettweiler [2015-04-25 05:48:27] 827*2^1397624-1 is not prime. Res64: FF38A3990BDB83AD Time : 0.0 sec. user=mdettweiler [2015-04-25 05:48:50] 915*2^1397624-1 is not prime. Res64: D124B6066D68CFDC Time : 0.0 sec. user=mdettweiler [2015-04-25 05:48:50] 957*2^1397624-1 is not prime. Res64: C1742301194A5DC1 Time : 0.0 sec. user=mdettweiler [2015-04-25 05:48:53] 983*2^1397624-1 is not prime. Res64: 9220A4C5A41AEBCE Time : 0.0 sec. user=mdettweiler [2015-04-25 05:48:54] 691*2^1397625-1 is not prime. Res64: 65CACB0B621BF861 Time : 0.0 sec. user=mdettweiler [2015-04-25 05:57:48] 795*2^1397625-1 is not prime. Res64: 37995B2C7797E599 Time : 0.0 sec. user=mdettweiler [2015-04-25 05:57:49] 877*2^1397625-1 is not prime. Res64: 1B6B94DA6DDF7B50 Time : 0.0 sec. user=mdettweiler [2015-04-25 06:05:50] 915*2^1397625-1 is not prime. Res64: 13CF4D1418A8BD14 Time : 0.0 sec. user=mdettweiler [2015-04-25 06:05:51] 955*2^1397625-1 is not prime. Res64: 06C3A4DC86F07B7A Time : 0.0 sec. user=mdettweiler [2015-04-25 06:06:08] 979*2^1397625-1 is not prime. Res64: 7090C32258054197 Time : 0.0 sec. user=mdettweiler [2015-04-25 06:06:08] 695*2^1397626-1 is not prime. Res64: 4CCAED0754F0A7DF Time : 0.0 sec. user=mdettweiler [2015-04-25 06:06:16] 747*2^1397626-1 is not prime. Res64: 96A23C344CF38D91 Time : 0.0 sec. user=mdettweiler [2015-04-25 06:06:16] 651*2^1397627-1 is not prime. Res64: 5D09F867F28413BB Time : 0.0 sec. user=mdettweiler [2015-04-25 06:15:15] 675*2^1397627-1 is not prime. Res64: E863336C57A74B4F Time : 0.0 sec. user=mdettweiler [2015-04-25 06:15:16] 711*2^1397627-1 is not prime. Res64: B254C32BEF8FD403 Time : 0.0 sec. user=mdettweiler [2015-04-25 06:23:39] 825*2^1397627-1 is not prime. Res64: F400E7588E2E016E Time : 0.0 sec. user=mdettweiler [2015-04-25 06:23:39] 871*2^1397627-1 is not prime. Res64: D1B49743C29D6751 Time : 0.0 sec. user=mdettweiler [2015-04-25 06:23:51] 759*2^1397627-1 is not prime. Res64: 7D380047D06803B5 Time : 0.0 sec. user=mdettweiler [2015-04-25 06:23:51] 909*2^1397627-1 is not prime. Res64: F3626A216BBFA2AB Time : 0.0 sec. user=mdettweiler [2015-04-25 06:23:51] 813*2^1397627-1 is not prime. Res64: 89C2735ABA4F0AF4 Time : 0.0 sec. user=mdettweiler [2015-04-25 06:23:52] 963*2^1397627-1 is not prime. Res64: ADADC583AE989A4A Time : 0.0 sec. user=mdettweiler [2015-04-25 06:32:35] 627*2^1397628-1 is not prime. Res64: FCB2A8245649514B Time : 0.0 sec. user=mdettweiler [2015-04-25 06:32:35] 635*2^1397628-1 is not prime. Res64: 0A63505DA168E1C0 Time : 0.0 sec. user=mdettweiler [2015-04-25 06:41:02] 689*2^1397628-1 is not prime. Res64: D6F43EBD939871C8 Time : 0.0 sec. user=mdettweiler [2015-04-25 06:41:02] 695*2^1397628-1 is not prime. Res64: 3FCC52E79BCF2A9C Time : 0.0 sec. user=mdettweiler [2015-04-25 06:41:18] 735*2^1397628-1 is not prime. Res64: D0D2B914164DA323 Time : 0.0 sec. user=mdettweiler [2015-04-25 06:41:18] 765*2^1397628-1 is not prime. Res64: 1520187405138C53 Time : 0.0 sec. user=mdettweiler [2015-04-25 06:41:20] 899*2^1397628-1 is not prime. Res64: 03D1B0C1F4C0107C Time : 0.0 sec. user=mdettweiler [2015-04-25 06:41:21] 619*2^1397629-1 is not prime. Res64: 3886F7241CDFAD7F Time : 0.0 sec. user=mdettweiler [2015-04-25 06:49:58] 699*2^1397629-1 is not prime. Res64: 37412657972FE59F Time : 0.0 sec. user=mdettweiler [2015-04-25 06:49:59] 769*2^1397629-1 is not prime. Res64: 85621B2B66584340 Time : 0.0 sec. user=mdettweiler [2015-04-25 06:58:24] 877*2^1397629-1 is not prime. Res64: 09A3EB33984310C7 Time : 0.0 sec. user=mdettweiler [2015-04-25 06:58:24] 885*2^1397629-1 is not prime. Res64: 33F8191932FCD122 Time : 0.0 sec. user=mdettweiler [2015-04-25 06:58:36] 951*2^1397629-1 is not prime. Res64: 9A1A4CCAFE16BB55 Time : 0.0 sec. user=mdettweiler [2015-04-25 06:58:36] 967*2^1397629-1 is not prime. Res64: 3D86384BE0A7DFC3 Time : 0.0 sec. user=mdettweiler [2015-04-25 06:58:37] 987*2^1397629-1 is not prime. Res64: DF7216A25DFFD49A Time : 0.0 sec. user=mdettweiler [2015-04-25 06:58:38] 623*2^1397630-1 is not prime. Res64: EC26875AFD5ACCB5 Time : 0.0 sec. user=mdettweiler [2015-04-25 07:07:17] 857*2^1397630-1 is not prime. Res64: 9B42D78517354412 Time : 0.0 sec. user=mdettweiler [2015-04-25 07:07:18] 867*2^1397630-1 is not prime. Res64: 5DE4EACA1309E422 Time : 0.0 sec. user=mdettweiler [2015-04-25 07:15:46] 987*2^1397630-1 is not prime. Res64: E1B8DEF0003BD3E1 Time : 0.0 sec. user=mdettweiler [2015-04-25 07:15:46] 649*2^1397631-1 is not prime. Res64: 86E7A288FD749FB4 Time : 0.0 sec. user=mdettweiler [2015-04-25 07:16:00] 901*2^1397631-1 is not prime. Res64: 457E62463EFBB438 Time : 0.0 sec. user=mdettweiler [2015-04-25 07:16:00] 999*2^1397631-1 is not prime. Res64: B3F00C94E9E033A1 Time : 0.0 sec. user=mdettweiler [2015-04-25 07:16:06] 675*2^1397631-1 is not prime. Res64: A61E411382EAE71A Time : 0.0 sec. user=mdettweiler [2015-04-25 07:16:07] 711*2^1397631-1 is not prime. Res64: BEBEFB284FB6FAEF Time : 0.0 sec. user=mdettweiler [2015-04-25 07:24:38] 603*2^1397632-1 is not prime. Res64: D1309E5044E4E621 Time : 0.0 sec. user=mdettweiler [2015-04-25 07:24:38] 645*2^1397632-1 is not prime. Res64: FE4AFA3A5EDE8DBE Time : 0.0 sec. user=mdettweiler [2015-04-25 07:33:11] 675*2^1397632-1 is not prime. Res64: E47FAF9E57A90F95 Time : 0.0 sec. user=mdettweiler [2015-04-25 07:33:12] 723*2^1397632-1 is not prime. Res64: 33B690EBE81757B4 Time : 0.0 sec. user=mdettweiler [2015-04-25 07:33:31] 933*2^1397632-1 is not prime. Res64: 0EE8856CF060A836 Time : 0.0 sec. user=mdettweiler [2015-04-25 07:33:32] 795*2^1397633-1 is not prime. Res64: D537A61DA6F82CC7 Time : 0.0 sec. user=mdettweiler [2015-04-25 07:34:24] 843*2^1397632-1 is not prime. Res64: 1FC7CA3838505A7A Time : 0.0 sec. user=mdettweiler [2015-04-25 07:34:24] 873*2^1397632-1 is not prime. Res64: 754DD31B976AAC8B Time : 0.0 sec. user=mdettweiler [2015-04-25 07:41:59] 837*2^1397634-1 is not prime. Res64: 6BD54E98EFA87344 Time : 0.0 sec. user=mdettweiler [2015-04-25 07:41:59] 873*2^1397634-1 is not prime. Res64: E053B571D411B2D6 Time : 0.0 sec. user=mdettweiler [2015-04-25 07:50:32] 921*2^1397634-1 is not prime. Res64: 13EFF46290F6F25E Time : 0.0 sec. user=mdettweiler [2015-04-25 07:50:33] 983*2^1397634-1 is not prime. Res64: A7ECC9CCB48C8F84 Time : 0.0 sec. user=mdettweiler [2015-04-25 07:51:00] 705*2^1397635-1 is not prime. Res64: 7ACB603EE431E890 Time : 0.0 sec. user=mdettweiler [2015-04-25 07:51:01] 789*2^1397635-1 is not prime. Res64: AD8F9E711778F865 Time : 0.0 sec. user=mdettweiler [2015-04-25 07:51:49] 871*2^1397635-1 is not prime. Res64: EFF4072ED4E67F4F Time : 0.0 sec. user=mdettweiler [2015-04-25 07:51:49] 873*2^1397635-1 is not prime. Res64: 963A0FBA97E3DA69 Time : 0.0 sec. user=mdettweiler [2015-04-25 07:59:23] 885*2^1397635-1 is not prime. Res64: E03A09F5DEDD0493 Time : 0.0 sec. user=mdettweiler [2015-04-25 07:59:23] 623*2^1397636-1 is not prime. Res64: 8D9BD6956D813094 Time : 0.0 sec. user=mdettweiler [2015-04-25 08:07:55] 647*2^1397636-1 is not prime. Res64: 2972BC9ECD3E0778 Time : 0.0 sec. user=mdettweiler [2015-04-25 08:07:56] 677*2^1397636-1 is not prime. Res64: 22F42886E93D73D3 Time : 0.0 sec. user=mdettweiler [2015-04-25 08:08:23] 707*2^1397636-1 is not prime. Res64: 55EAA2E68D1AD526 Time : 0.0 sec. user=mdettweiler [2015-04-25 08:08:24] 767*2^1397636-1 is not prime. Res64: 41BFE657E955CCFE Time : 0.0 sec. user=mdettweiler [2015-04-25 08:09:05] 893*2^1397636-1 is not prime. Res64: C1F67EBC2251EB87 Time : 0.0 sec. user=mdettweiler [2015-04-25 08:09:06] 639*2^1397637-1 is not prime. Res64: 4CDF6BC7AC84A4AB Time : 0.0 sec. user=mdettweiler [2015-04-25 08:16:57] 691*2^1397637-1 is not prime. Res64: D5DD7C7052FC40CF Time : 0.0 sec. user=mdettweiler [2015-04-25 08:16:58] 699*2^1397637-1 is not prime. Res64: D9FACE55DA4D1BB0 Time : 0.0 sec. user=mdettweiler [2015-04-25 08:25:26] 747*2^1397637-1 is not prime. Res64: 813B124F416CCDA1 Time : 0.0 sec. user=mdettweiler [2015-04-25 08:25:26] 817*2^1397637-1 is not prime. Res64: 65C8F3A1D913340D Time : 0.0 sec. user=mdettweiler [2015-04-25 08:25:42] 825*2^1397637-1 is not prime. Res64: 3517DB61579E65FF Time : 0.0 sec. user=mdettweiler [2015-04-25 08:25:43] 847*2^1397637-1 is not prime. Res64: C5F719BC537166DF Time : 0.0 sec. user=mdettweiler [2015-04-25 08:26:26] 849*2^1397637-1 is not prime. Res64: F1B452BF54B6B2DF Time : 0.0 sec. user=mdettweiler [2015-04-25 08:26:27] 861*2^1397637-1 is not prime. Res64: 25BD864A6B281778 Time : 0.0 sec. user=mdettweiler [2015-04-25 08:34:16] 867*2^1397637-1 is not prime. Res64: 410EC57D36450B6F Time : 0.0 sec. user=mdettweiler [2015-04-25 08:34:16] 889*2^1397637-1 is not prime. Res64: 7768AFC1C52F2F16 Time : 0.0 sec. user=mdettweiler [2015-04-25 08:43:05] 895*2^1397637-1 is not prime. Res64: D5E25DEB0FA8105A Time : 0.0 sec. user=mdettweiler [2015-04-25 08:43:05] 605*2^1397638-1 is not prime. Res64: 98CF69D27865C056 Time : 0.0 sec. user=mdettweiler [2015-04-25 08:44:00] 827*2^1397638-1 is not prime. Res64: B7630AA23DE1384F Time : 0.0 sec. user=mdettweiler [2015-04-25 08:44:01] 941*2^1397638-1 is not prime. Res64: 6BA67A681ABCA9C8 Time : 0.0 sec. user=mdettweiler [2015-04-25 08:44:08] 773*2^1397638-1 is not prime. Res64: 7B8C8FE862529536 Time : 0.0 sec. user=mdettweiler [2015-04-25 08:44:09] 813*2^1397638-1 is not prime. Res64: CDCB0B043D423447 Time : 0.0 sec. user=mdettweiler [2015-04-25 08:51:40] 951*2^1397638-1 is not prime. Res64: C09698D1BB098DBE Time : 0.0 sec. user=mdettweiler [2015-04-25 08:51:41] 971*2^1397638-1 is not prime. Res64: A6ECABE9DEF64C4D Time : 0.0 sec. user=mdettweiler [2015-04-25 09:00:25] 1001*2^1397638-1 is not prime. Res64: DBE6A47965F1B76D Time : 0.0 sec. user=mdettweiler [2015-04-25 09:00:26] 645*2^1397639-1 is not prime. Res64: 6282CF7942BABAC4 Time : 0.0 sec. user=mdettweiler [2015-04-25 09:01:19] 675*2^1397639-1 is not prime. Res64: EA6C928F9EA96B2F Time : 0.0 sec. user=mdettweiler [2015-04-25 09:01:20] 811*2^1397639-1 is not prime. Res64: A988C922F2B4F2F4 Time : 0.0 sec. user=mdettweiler [2015-04-25 09:01:25] 629*2^1397640-1 is not prime. Res64: E3DC6CDD603B65F5 Time : 0.0 sec. user=mdettweiler [2015-04-25 09:01:26] 759*2^1397640-1 is not prime. Res64: 05D3C6AEC37094A6 Time : 0.0 sec. user=mdettweiler [2015-04-25 09:09:01] 777*2^1397640-1 is not prime. Res64: AAA5F4D1BF69FE96 Time : 0.0 sec. user=mdettweiler [2015-04-25 09:09:02] 619*2^1397641-1 is not prime. Res64: FD3D12323067170C Time : 0.0 sec. user=mdettweiler [2015-04-25 09:17:59] 717*2^1397641-1 is not prime. Res64: 30EF5BFE605431A7 Time : 0.0 sec. user=mdettweiler [2015-04-25 09:17:59] 751*2^1397641-1 is not prime. Res64: BBB6BE1CA818ADCC Time : 0.0 sec. user=mdettweiler [2015-04-25 09:18:47] 957*2^1397641-1 is not prime. Res64: 87B61211A757E229 Time : 0.0 sec. user=mdettweiler [2015-04-25 09:18:48] 979*2^1397641-1 is not prime. Res64: 69720E7B0F40CC25 Time : 0.0 sec. user=mdettweiler [2015-04-25 09:18:53] 769*2^1397641-1 is not prime. Res64: 076ABF72F9D6AB4F Time : 0.0 sec. user=mdettweiler [2015-04-25 09:18:53] 807*2^1397641-1 is not prime. Res64: 55302370E1B6CAC3 Time : 0.0 sec. user=mdettweiler [2015-04-25 09:26:29] 999*2^1397641-1 is not prime. Res64: 17C8CAC2B3B439F2 Time : 0.0 sec. user=mdettweiler [2015-04-25 09:26:29] 617*2^1397642-1 is not prime. Res64: B5E46058A9531FC5 Time : 0.0 sec. user=mdettweiler [2015-04-25 09:35:19] 665*2^1397642-1 is not prime. Res64: 160B00BBFF847C9E Time : 0.0 sec. user=mdettweiler [2015-04-25 09:35:20] 701*2^1397642-1 is not prime. Res64: FCE876C9E5A47681 Time : 0.0 sec. user=mdettweiler [2015-04-25 09:36:04] 767*2^1397642-1 is not prime. Res64: F78ADDDCEF598C29 Time : 0.0 sec. user=mdettweiler [2015-04-25 09:36:04] 911*2^1397642-1 is not prime. Res64: E4A7E7F1F28B82AF Time : 0.0 sec. user=mdettweiler [2015-04-25 09:36:10] 923*2^1397642-1 is not prime. Res64: 970A119ED18F3871 Time : 0.0 sec. user=mdettweiler [2015-04-25 09:36:10] 977*2^1397642-1 is not prime. Res64: 1401CD95E1949E4A Time : 0.0 sec. user=mdettweiler [2015-04-25 09:44:00] 1001*2^1397642-1 is not prime. Res64: 79A34C28D1C4AA06 Time : 0.0 sec. user=mdettweiler [2015-04-25 09:44:00] 609*2^1397643-1 is not prime. Res64: 003A8721A1954F09 Time : 0.0 sec. user=mdettweiler [2015-04-25 09:52:37] 735*2^1397643-1 is not prime. Res64: BB4A53AF8ACBD020 Time : 0.0 sec. user=mdettweiler [2015-04-25 09:52:38] 793*2^1397643-1 is not prime. Res64: 407BD89FB644D179 Time : 0.0 sec. user=mdettweiler [2015-04-25 09:53:27] 805*2^1397643-1 is not prime. Res64: AA6CAC5AD7238F10 Time : 0.0 sec. user=mdettweiler [2015-04-25 09:53:27] 963*2^1397643-1 is not prime. Res64: FD7A839B12674FC2 Time : 0.0 sec. user=mdettweiler [2015-04-25 09:53:31] 615*2^1397644-1 is not prime. Res64: 1184359AE8B90877 Time : 0.0 sec. user=mdettweiler [2015-04-25 09:53:31] 813*2^1397644-1 is not prime. Res64: 0FF0ECE494BBAA77 Time : 0.0 sec. user=mdettweiler [2015-04-25 10:01:21] 855*2^1397644-1 is not prime. Res64: CC67B54F53CD37F3 Time : 0.0 sec. user=mdettweiler [2015-04-25 10:01:22] 875*2^1397644-1 is not prime. Res64: 078F849ACCAA2CA2 Time : 0.0 sec. user=mdettweiler [2015-04-25 10:09:58] 885*2^1397644-1 is not prime. Res64: E552229BE589E5F2 Time : 0.0 sec. user=mdettweiler [2015-04-25 10:09:58] 927*2^1397644-1 is not prime. Res64: 2503AADDB7F7631E Time : 0.0 sec. user=mdettweiler [2015-04-25 10:10:52] 735*2^1397645-1 is not prime. Res64: DD35983DB8591CF6 Time : 0.0 sec. user=mdettweiler [2015-04-25 10:10:52] 865*2^1397645-1 is not prime. Res64: 15B693102B708323 Time : 0.0 sec. user=mdettweiler [2015-04-25 10:10:54] 657*2^1397645-1 is not prime. Res64: 19588F3B60BCB126 Time : 0.0 sec. user=mdettweiler [2015-04-25 10:10:55] 727*2^1397645-1 is not prime. Res64: EB0AB9836D59A454 Time : 0.0 sec. user=mdettweiler [2015-04-25 10:18:40] 885*2^1397645-1 is not prime. Res64: 9FC7DD11F6F4B28E Time : 0.0 sec. user=mdettweiler [2015-04-25 10:18:40] 937*2^1397645-1 is not prime. Res64: C2D6A64FF4570D6F Time : 0.0 sec. user=mdettweiler [2015-04-25 10:27:15] 641*2^1397646-1 is not prime. Res64: D085B2245AA56EDF Time : 0.0 sec. user=mdettweiler [2015-04-25 10:27:16] 717*2^1397646-1 is not prime. Res64: A2F9255AFDC272E3 Time : 0.0 sec. user=mdettweiler [2015-04-25 10:28:11] 737*2^1397646-1 is not prime. Res64: 8852DA8E6B39C7E2 Time : 0.0 sec. user=mdettweiler [2015-04-25 10:28:12] 833*2^1397646-1 is not prime. Res64: 5E99DE7F0640B0C4 Time : 0.0 sec. user=mdettweiler [2015-04-25 10:28:19] 603*2^1397647-1 is not prime. Res64: 62CB1D02BF9C32C6 Time : 0.0 sec. user=mdettweiler [2015-04-25 10:28:19] 619*2^1397647-1 is not prime. Res64: C593F4C462AD8BE7 Time : 0.0 sec. user=mdettweiler [2015-04-25 10:36:05] 685*2^1397647-1 is not prime. Res64: 6D1CCD0055260ACF Time : 0.0 sec. user=mdettweiler [2015-04-25 10:36:06] 759*2^1397647-1 is not prime. Res64: 7AFB8824DCDCCE19 Time : 0.0 sec. user=mdettweiler [2015-04-25 10:44:46] 871*2^1397647-1 is not prime. Res64: FC3BD9423104D8F5 Time : 0.0 sec. user=mdettweiler [2015-04-25 10:44:46] 951*2^1397647-1 is not prime. Res64: 1AD4FC51F80D8B8D Time : 0.0 sec. user=mdettweiler [2015-04-25 10:45:40] 985*2^1397647-1 is not prime. Res64: B66058F4300220DE Time : 0.0 sec. user=mdettweiler [2015-04-25 10:45:41] 615*2^1397648-1 is not prime. Res64: 101F62851645F9A9 Time : 0.0 sec. user=mdettweiler [2015-04-25 10:45:44] 633*2^1397648-1 is not prime. Res64: 516F24EBC49A53CB Time : 0.0 sec. user=mdettweiler [2015-04-25 10:45:45] 659*2^1397648-1 is not prime. Res64: 72247BA805BE5399 Time : 0.0 sec. user=mdettweiler [2015-04-25 10:53:21] 663*2^1397648-1 is not prime. Res64: 4E7B8C686C7078C0 Time : 0.0 sec. user=mdettweiler [2015-04-25 10:53:22] 713*2^1397648-1 is not prime. Res64: 4F3C1E80854A24F6 Time : 0.0 sec. user=mdettweiler [2015-04-25 11:02:06] 825*2^1397648-1 is not prime. Res64: B6D138CDA61F40BF Time : 0.0 sec. user=mdettweiler [2015-04-25 11:02:07] 957*2^1397648-1 is not prime. Res64: 48BDF5B73B3359F1 Time : 0.0 sec. user=mdettweiler [2015-04-25 11:03:02] 959*2^1397648-1 is not prime. Res64: 3C64D3897F044550 Time : 0.0 sec. user=mdettweiler [2015-04-25 11:03:03] 657*2^1397649-1 is not prime. Res64: 261C87D2D7BB3E78 Time : 0.0 sec. user=mdettweiler [2015-04-25 11:03:04] 741*2^1397649-1 is not prime. Res64: 33361625CAB6C901 Time : 0.0 sec. user=mdettweiler [2015-04-25 11:03:05] 807*2^1397649-1 is not prime. Res64: BECF4A92DDECFFD1 Time : 0.0 sec. user=mdettweiler [2015-04-25 11:10:48] 847*2^1397649-1 is not prime. Res64: 05F44F40537C829C Time : 0.0 sec. user=mdettweiler [2015-04-25 11:10:48] 919*2^1397649-1 is not prime. Res64: 8066664F5C0EFC86 Time : 0.0 sec. user=mdettweiler [2015-04-25 11:19:34] 645*2^1397650-1 is not prime. Res64: 79468DD99DD921D4 Time : 0.0 sec. user=mdettweiler [2015-04-25 11:19:35] 701*2^1397650-1 is not prime. Res64: 84CC936771C1EE96 Time : 0.0 sec. user=mdettweiler [2015-04-25 11:20:35] 873*2^1397650-1 is not prime. Res64: DA6A9B7D711C9615 Time : 0.0 sec. user=mdettweiler [2015-04-25 11:20:35] 885*2^1397650-1 is not prime. Res64: DCE4BF6E746643BD Time : 0.0 sec. user=mdettweiler [2015-04-25 11:20:36] 723*2^1397650-1 is not prime. Res64: 75E21FF9B41E8A1B Time : 0.0 sec. user=mdettweiler [2015-04-25 11:20:36] 821*2^1397650-1 is not prime. Res64: A00D40543A231BCE Time : 0.0 sec. user=mdettweiler [2015-04-25 11:28:09] 917*2^1397650-1 is not prime. Res64: 71B32B1539E734B4 Time : 0.0 sec. user=mdettweiler [2015-04-25 11:28:10] 945*2^1397650-1 is not prime. Res64: 4564A19EE15D27A8 Time : 0.0 sec. user=mdettweiler [2015-04-25 11:36:55] 675*2^1397651-1 is not prime. Res64: ACE8A9A132DF510E Time : 0.0 sec. user=mdettweiler [2015-04-25 11:36:55] 679*2^1397651-1 is not prime. Res64: 1DA034B663053A94 Time : 0.0 sec. user=mdettweiler [2015-04-25 11:37:53] 693*2^1397651-1 is not prime. Res64: 26023BE3541435C8 Time : 0.0 sec. user=mdettweiler [2015-04-25 11:37:54] 745*2^1397651-1 is not prime. Res64: C80018CAC65B6A06 Time : 0.0 sec. user=mdettweiler [2015-04-25 11:37:56] 955*2^1397651-1 is not prime. Res64: DEC349BC931BD93E Time : 0.0 sec. user=mdettweiler [2015-04-25 11:37:57] 767*2^1397652-1 is not prime. Res64: 0247C4838C271EA6 Time : 0.0 sec. user=mdettweiler [2015-04-25 11:45:25] 863*2^1397652-1 is not prime. Res64: EB5E4C768B98A2DD Time : 0.0 sec. user=mdettweiler [2015-04-25 11:45:26] 875*2^1397652-1 is not prime. Res64: FB1AFF3BB8B9B3EE Time : 0.0 sec. user=mdettweiler [2015-04-25 11:54:29] 715*2^1397653-1 is not prime. Res64: D75508DE4FCB742E Time : 0.0 sec. user=mdettweiler [2015-04-25 11:54:29] 771*2^1397653-1 is not prime. Res64: 392755692309DC14 Time : 0.0 sec. user=mdettweiler [2015-04-25 11:55:19] 819*2^1397653-1 is not prime. Res64: 63F080058D6BEF4B Time : 0.0 sec. user=mdettweiler [2015-04-25 11:55:19] 861*2^1397653-1 is not prime. Res64: E00B914EAFCAFDF3 Time : 0.0 sec. user=mdettweiler [2015-04-25 11:55:21] 897*2^1397653-1 is not prime. Res64: F3667CFA850D6EC1 Time : 0.0 sec. user=mdettweiler [2015-04-25 11:55:22] 675*2^1397654-1 is not prime. Res64: 4150E9A6703C96FA Time : 0.0 sec. user=mdettweiler [2015-04-25 12:02:49] 683*2^1397654-1 is not prime. Res64: 84E5A1483B8D6F9B Time : 0.0 sec. user=mdettweiler [2015-04-25 12:02:51] 705*2^1397654-1 is not prime. Res64: BE2697CDE21086E6 Time : 0.0 sec. user=mdettweiler [2015-04-25 12:11:47] 791*2^1397654-1 is not prime. Res64: CAC4A0B6EE723D40 Time : 0.0 sec. user=mdettweiler [2015-04-25 12:11:47] 669*2^1397655-1 is not prime. Res64: 687DACE69EBDF40C Time : 0.0 sec. user=mdettweiler [2015-04-25 12:12:38] 739*2^1397655-1 is not prime. Res64: C984A1FFE555B099 Time : 0.0 sec. user=mdettweiler [2015-04-25 12:12:38] 955*2^1397655-1 is not prime. Res64: EEA4F63C9D38A7A7 Time : 0.0 sec. user=mdettweiler [2015-04-25 12:12:43] 963*2^1397655-1 is not prime. Res64: FFBE5425DEEC12C4 Time : 0.0 sec. user=mdettweiler [2015-04-25 12:12:44] 755*2^1397656-1 is not prime. Res64: 5CE66A3C0DBB44F2 Time : 0.0 sec. user=mdettweiler [2015-04-25 12:20:47] 839*2^1397656-1 is not prime. Res64: 8FA71B6D28FDE7F4 Time : 0.0 sec. user=mdettweiler [2015-04-25 12:20:48] 917*2^1397656-1 is not prime. Res64: D9C9C38BE363F6B6 Time : 0.0 sec. user=mdettweiler [2015-04-25 12:29:14] 957*2^1397656-1 is not prime. Res64: 11CE1CD544586CE5 Time : 0.0 sec. user=mdettweiler [2015-04-25 12:29:14] 969*2^1397656-1 is not prime. Res64: F71B96681BE437D5 Time : 0.0 sec. user=mdettweiler [2015-04-25 12:29:59] 975*2^1397656-1 is not prime. Res64: 15D4024EB0A723FB Time : 0.0 sec. user=mdettweiler [2015-04-25 12:30:00] 989*2^1397656-1 is not prime. Res64: 73A26089065BADD7 Time : 0.0 sec. user=mdettweiler [2015-04-25 12:30:09] 999*2^1397656-1 is not prime. Res64: 4CC9A112058D7327 Time : 0.0 sec. user=mdettweiler [2015-04-25 12:30:12] 601*2^1397657-1 is not prime. Res64: 6ABE94D8D10251D1 Time : 0.0 sec. user=mdettweiler [2015-04-25 12:38:14] 651*2^1397657-1 is not prime. Res64: 3EF9941F4185CB6F Time : 0.0 sec. user=mdettweiler [2015-04-25 12:38:15] 909*2^1397657-1 is not prime. Res64: 29702833BD1D7A94 Time : 0.0 sec. user=mdettweiler [2015-04-25 12:46:33] 611*2^1397658-1 is not prime. Res64: AAE83DD26A31694E Time : 0.0 sec. user=mdettweiler [2015-04-25 12:46:33] 633*2^1397658-1 is not prime. Res64: 19E7AC1A6D365AFE Time : 0.0 sec. user=mdettweiler [2015-04-25 12:47:27] 647*2^1397658-1 is not prime. Res64: 45034EBE07BA07A0 Time : 0.0 sec. user=mdettweiler [2015-04-25 12:47:27] 711*2^1397658-1 is not prime. Res64: D12AB6063CE15355 Time : 0.0 sec. user=mdettweiler [2015-04-25 12:47:35] 803*2^1397658-1 is not prime. Res64: E4357A698CC810EA Time : 0.0 sec. user=mdettweiler [2015-04-25 12:47:36] 681*2^1397659-1 is not prime. Res64: BA5C044766F9E835 Time : 0.0 sec. user=mdettweiler [2015-04-25 12:55:29] 693*2^1397659-1 is not prime. Res64: 60DCD302E7173E74 Time : 0.0 sec. user=mdettweiler [2015-04-25 12:55:29] 789*2^1397659-1 is not prime. Res64: 8C9B1832A3770C6B Time : 0.0 sec. user=mdettweiler [2015-04-25 13:03:53] 973*2^1397659-1 is not prime. Res64: 70662D9265080CB8 Time : 0.0 sec. user=mdettweiler [2015-04-25 13:03:55] 603*2^1397660-1 is not prime. Res64: 43E0F397084FA557 Time : 0.0 sec. user=mdettweiler [2015-04-25 13:04:47] 635*2^1397660-1 is not prime. Res64: 4DD72395D50AAE29 Time : 0.0 sec. user=mdettweiler [2015-04-25 13:04:48] 717*2^1397660-1 is not prime. Res64: 9904EA49EB2928D4 Time : 0.0 sec. user=mdettweiler [2015-04-25 13:05:04] 843*2^1397660-1 is not prime. Res64: A4D8A17A61BD5CC4 Time : 0.0 sec. user=mdettweiler [2015-04-25 13:05:05] 897*2^1397660-1 is not prime. Res64: B4699444B9BDA4D6 Time : 0.0 sec. user=mdettweiler [2015-04-25 13:12:52] 899*2^1397660-1 is not prime. Res64: 07B325A24C31245D Time : 0.0 sec. user=mdettweiler [2015-04-25 13:12:52] 963*2^1397660-1 is not prime. Res64: 56288D7267FD2F9A Time : 0.0 sec. user=mdettweiler [2015-04-25 13:21:29] 627*2^1397661-1 is not prime. Res64: 1ED9A185DD561178 Time : 0.0 sec. user=mdettweiler [2015-04-25 13:21:30] 709*2^1397661-1 is not prime. Res64: 8561932BE7669DCA Time : 0.0 sec. user=mdettweiler [2015-04-25 13:22:08] 741*2^1397661-1 is not prime. Res64: 9F40CA7350E6449E Time : 0.0 sec. user=mdettweiler [2015-04-25 13:22:09] 751*2^1397661-1 is not prime. Res64: 3BCE21F3712828D7 Time : 0.0 sec. user=mdettweiler [2015-04-25 13:22:29] 835*2^1397661-1 is not prime. Res64: 7D854D565A841AE5 Time : 0.0 sec. user=mdettweiler [2015-04-25 13:22:30] 895*2^1397661-1 is not prime. Res64: EFEAA28E785D48D1 Time : 0.0 sec. user=mdettweiler [2015-04-25 15:40:28] 891*2^1397662-1 is not prime. Res64: 8DDF608D9E049650 Time : 0.0 sec. user=mdettweiler [2015-04-25 15:40:29] 941*2^1397662-1 is not prime. Res64: A54F226810C73138 Time : 0.0 sec. user=mdettweiler [2015-04-25 15:40:39] 961*2^1397661-1 is not prime. Res64: EB502CB444625161 Time : 0.0 sec. user=mdettweiler [2015-04-25 15:40:39] 907*2^1397661-1 is not prime. Res64: C893807E7C297F85 Time : 0.0 sec. user=mdettweiler [2015-04-25 15:40:40] 777*2^1397662-1 is not prime. Res64: BB0F117F9F793327 Time : 0.0 sec. user=mdettweiler [2015-04-25 15:40:40] 755*2^1397662-1 is not prime. Res64: 613FFB5E38F63B7B Time : 0.0 sec. user=mdettweiler [2015-04-25 15:40:40] 937*2^1397661-1 is not prime. Res64: B48CD08A50F3DD85 Time : 0.0 sec. user=mdettweiler [2015-04-25 15:40:40] 843*2^1397662-1 is not prime. Res64: 0E4BA2C468B68362 Time : 0.0 sec.