user=mdettweiler [2013-02-07 00:02:13] 693*2^1240680-1 is not prime. Res64: 3FE6EB078423D04F Time : 0.0 sec. user=mdettweiler [2013-02-07 00:02:14] 873*2^1240680-1 is not prime. Res64: 700040745571FC2B Time : 0.0 sec. user=mdettweiler [2013-02-07 00:04:46] 927*2^1240680-1 is not prime. Res64: E1126B20468764C6 Time : 0.0 sec. user=mdettweiler [2013-02-07 00:04:48] 639*2^1240681-1 is not prime. Res64: CBE5AE8F66CD1FC0 Time : 0.0 sec. user=vaughan [2013-02-07 00:13:27] 665*2^1240680-1 is not prime. Res64: 2833D37639923DD6 Time : 0.0 sec. user=mdettweiler [2013-02-07 00:20:00] 777*2^1240681-1 is not prime. Res64: C758F6D92DEC4197 Time : 0.0 sec. user=mdettweiler [2013-02-07 00:20:01] 799*2^1240681-1 is not prime. Res64: 7C6360CAFBEFA6E8 Time : 0.0 sec. user=mdettweiler [2013-02-07 00:22:43] 847*2^1240681-1 is not prime. Res64: E84E32E2B2421018 Time : 0.0 sec. user=mdettweiler [2013-02-07 00:22:44] 855*2^1240681-1 is not prime. Res64: 3424628092A3C548 Time : 0.0 sec. user=juhehe [2013-02-07 00:37:11] 691*2^1240681-1 is not prime. Res64: 2CC6EC8BACFFD43D Time : 0.0 sec. user=mdettweiler [2013-02-07 00:37:22] 895*2^1240681-1 is not prime. Res64: F2532CF6A7184286 Time : 0.0 sec. user=mdettweiler [2013-02-07 00:37:22] 955*2^1240681-1 is not prime. Res64: 7638D179FB3AFF57 Time : 0.0 sec. user=mdettweiler [2013-02-07 00:40:06] 735*2^1240682-1 is not prime. Res64: 49E382D395BCD57A Time : 0.0 sec. user=mdettweiler [2013-02-07 00:40:07] 767*2^1240682-1 is not prime. Res64: 2F26E2A66800FA7E Time : 0.0 sec. user=vaughan [2013-02-07 00:51:18] 861*2^1240681-1 is not prime. Res64: E802E957D6A55241 Time : 0.0 sec. user=mdettweiler [2013-02-07 00:54:44] 827*2^1240682-1 is not prime. Res64: 88AAFA3CBB2E9F8D Time : 0.0 sec. user=mdettweiler [2013-02-07 00:54:45] 867*2^1240682-1 is not prime. Res64: B8B6D6F28DD6DFFD Time : 0.0 sec. user=mdettweiler [2013-02-07 00:57:28] 613*2^1240683-1 is not prime. Res64: 7C5F96876261D058 Time : 0.0 sec. user=mdettweiler [2013-02-07 00:57:28] 643*2^1240683-1 is not prime. Res64: F806BF25970159D0 Time : 0.0 sec. user=mdettweiler [2013-02-07 01:12:06] 849*2^1240683-1 is not prime. Res64: 2E97D69808BB2735 Time : 0.0 sec. user=mdettweiler [2013-02-07 01:12:08] 891*2^1240683-1 is not prime. Res64: A8B95A07EDD72FA2 Time : 0.0 sec. user=juhehe [2013-02-07 01:13:54] 825*2^1240682-1 is not prime. Res64: D46CA0D7F499D57D Time : 0.0 sec. user=mdettweiler [2013-02-07 01:14:49] 949*2^1240683-1 is not prime. Res64: 34C9AF004F526C57 Time : 0.0 sec. user=mdettweiler [2013-02-07 01:14:50] 609*2^1240684-1 is not prime. Res64: C308AF0C4D67D127 Time : 0.0 sec. user=vaughan [2013-02-07 01:29:03] 663*2^1240683-1 is not prime. Res64: 9556E999E6F6D360 Time : 0.0 sec. user=mdettweiler [2013-02-07 01:29:31] 623*2^1240684-1 is not prime. Res64: 0A59E8F4B06E68F1 Time : 0.0 sec. user=mdettweiler [2013-02-07 01:29:32] 657*2^1240684-1 is not prime. Res64: 8C3B26526221F5C7 Time : 0.0 sec. user=mdettweiler [2013-02-07 01:32:13] 677*2^1240684-1 is not prime. Res64: A5E6CBD73380F679 Time : 0.0 sec. user=mdettweiler [2013-02-07 01:32:13] 755*2^1240684-1 is not prime. Res64: BD268883C555D391 Time : 0.0 sec. user=mdettweiler [2013-02-07 01:46:55] 855*2^1240684-1 is not prime. Res64: 0FEB08D8DF6F8B8C Time : 0.0 sec. user=mdettweiler [2013-02-07 01:46:56] 987*2^1240684-1 is not prime. Res64: C3D5519AEE9CE433 Time : 0.0 sec. user=mdettweiler [2013-02-07 01:49:34] 711*2^1240685-1 is not prime. Res64: 9824FADF558AEC18 Time : 0.0 sec. user=mdettweiler [2013-02-07 01:49:35] 717*2^1240685-1 is not prime. Res64: 0E94192F01EEBFEA Time : 0.0 sec. user=mdettweiler [2013-02-07 02:04:17] 757*2^1240685-1 is not prime. Res64: BA4429A8A1846160 Time : 0.0 sec. user=mdettweiler [2013-02-07 02:04:20] 787*2^1240685-1 is not prime. Res64: B178E74F5C3257E6 Time : 0.0 sec. user=vaughan [2013-02-07 02:06:47] 813*2^1240684-1 is not prime. Res64: 6AF26AE15E93869D Time : 0.0 sec. user=mdettweiler [2013-02-07 02:06:55] 747*2^1240686-1 is not prime. Res64: 8E10459EDFAD98FE Time : 0.0 sec. user=mdettweiler [2013-02-07 02:06:56] 795*2^1240686-1 is not prime. Res64: BBAEF1BA1F227FE7 Time : 0.0 sec. user=mdettweiler [2013-02-07 02:22:00] 941*2^1240686-1 is not prime. Res64: 0E18B556DF7C83B9 Time : 0.0 sec. user=mdettweiler [2013-02-07 02:22:00] 993*2^1240686-1 is not prime. Res64: 08A6B0C9596715D3 Time : 0.0 sec. user=mdettweiler [2013-02-07 02:24:19] 639*2^1240687-1 is not prime. Res64: EBBEF2050F7DC120 Time : 0.0 sec. user=mdettweiler [2013-02-07 02:24:20] 645*2^1240687-1 is not prime. Res64: E8A227B428100B8F Time : 0.0 sec. user=juhehe [2013-02-07 02:24:41] 741*2^1240654-1 is not prime. Res64: C3961D569CA1DA09 Time : 0.0 sec. user=juhehe [2013-02-07 02:24:43] 831*2^1240685-1 is not prime. Res64: C95AC7F61F77BA0B Time : 0.0 sec. user=mdettweiler [2013-02-07 02:39:24] 993*2^1240687-1 is not prime. Res64: C5AFCA6837B9AD53 Time : 0.0 sec. user=mdettweiler [2013-02-07 02:39:27] 663*2^1240688-1 is not prime. Res64: 9718093384AE93F7 Time : 0.0 sec. user=mdettweiler [2013-02-07 02:41:42] 825*2^1240688-1 is not prime. Res64: F21031037BA75A03 Time : 0.0 sec. user=mdettweiler [2013-02-07 02:41:45] 843*2^1240688-1 is not prime. Res64: 37E069FE196B94BF Time : 0.0 sec. user=vaughan [2013-02-07 02:44:35] 625*2^1240687-1 is not prime. Res64: DE27B1D1D88842A6 Time : 0.0 sec. user=mdettweiler [2013-02-07 02:57:06] 875*2^1240688-1 is not prime. Res64: 9A0122081D0C6FF2 Time : 0.0 sec. user=mdettweiler [2013-02-07 02:57:07] 957*2^1240688-1 is not prime. Res64: D1A3BCC21162E23D Time : 0.0 sec. user=mdettweiler [2013-02-07 02:59:10] 627*2^1240689-1 is not prime. Res64: FA03A63D5FA4BEDE Time : 0.0 sec. user=mdettweiler [2013-02-07 02:59:10] 747*2^1240689-1 is not prime. Res64: FF7064DA21B60015 Time : 0.0 sec. user=juhehe [2013-02-07 03:01:37] 867*2^1240688-1 is not prime. Res64: 40E6AAC06EEF2F12 Time : 0.0 sec. user=mdettweiler [2013-02-07 03:14:33] 789*2^1240689-1 is not prime. Res64: 5C88453F4EB17E8D Time : 0.0 sec. user=mdettweiler [2013-02-07 03:14:34] 999*2^1240689-1 is not prime. Res64: 73AAA871B93E3145 Time : 0.0 sec. user=mdettweiler [2013-02-07 03:16:32] 647*2^1240690-1 is not prime. Res64: 1C6B209BA6211355 Time : 0.0 sec. user=mdettweiler [2013-02-07 03:16:33] 695*2^1240690-1 is not prime. Res64: EFE610CE417BCC8E Time : 0.0 sec. user=vaughan [2013-02-07 03:22:21] 765*2^1240689-1 is not prime. Res64: CD5C113C28AE5A0C Time : 0.0 sec. user=mdettweiler [2013-02-07 03:31:58] 701*2^1240690-1 is not prime. Res64: 8FB27E40C0ECE9C3 Time : 0.0 sec. user=mdettweiler [2013-02-07 03:32:01] 735*2^1240690-1 is not prime. Res64: BD767EDAC893A9A1 Time : 0.0 sec. user=mdettweiler [2013-02-07 03:33:58] 765*2^1240690-1 is not prime. Res64: 0C7CB82D5384312C Time : 0.0 sec. user=mdettweiler [2013-02-07 03:34:00] 873*2^1240690-1 is not prime. Res64: 114003051E40200C Time : 0.0 sec. user=mdettweiler [2013-02-07 03:49:31] 971*2^1240690-1 is not prime. Res64: 34023471FCA8FD0C Time : 0.0 sec. user=mdettweiler [2013-02-07 03:49:32] 689*2^1240692-1 is not prime. Res64: B2393E12D42AFF39 Time : 0.0 sec. user=mdettweiler [2013-02-07 03:51:35] 749*2^1240692-1 is not prime. Res64: C63C679314D31918 Time : 0.0 sec. user=mdettweiler [2013-02-07 03:51:35] 759*2^1240692-1 is not prime. Res64: 78F9D770E839A275 Time : 0.0 sec. user=juhehe [2013-02-07 03:56:31] 639*2^1240693-1 is not prime. Res64: 09F648945F85A9C7 Time : 0.0 sec. user=vaughan [2013-02-07 04:00:08] 887*2^1240690-1 is not prime. Res64: 586BCFED91A51456 Time : 0.0 sec. user=mdettweiler [2013-02-07 04:06:54] 681*2^1240693-1 is not prime. Res64: FF740C8A2F1FEB91 Time : 0.0 sec. user=mdettweiler [2013-02-07 04:06:55] 915*2^1240693-1 is not prime. Res64: F7E819899D6C7B2B Time : 0.0 sec. user=mdettweiler [2013-02-07 04:08:57] 919*2^1240693-1 is not prime. Res64: 916EC347AB7EA09D Time : 0.0 sec. user=mdettweiler [2013-02-07 04:08:58] 925*2^1240693-1 is not prime. Res64: 1333D1BF2BE17BD5 Time : 0.0 sec. user=juhehe [2013-02-07 04:16:33] 641*2^1240694-1 is not prime. Res64: 9080E1A54618D08B Time : 0.0 sec. user=juhehe [2013-02-07 04:22:18] 649*2^1240693-1 is not prime. Res64: DB832E7D8DB9B6DC Time : 0.0 sec. user=mdettweiler [2013-02-07 04:24:18] 981*2^1240694-1 is not prime. Res64: DA12CCB553CB07BE Time : 0.0 sec. user=mdettweiler [2013-02-07 04:24:19] 993*2^1240694-1 is not prime. Res64: A031B04DD0F06810 Time : 0.0 sec. user=mdettweiler [2013-02-07 04:26:22] 679*2^1240695-1 is not prime. Res64: 7052C55D93BC74EC Time : 0.0 sec. user=mdettweiler [2013-02-07 04:26:23] 763*2^1240695-1 is not prime. Res64: A45CAD8B4193B941 Time : 0.0 sec. user=juhehe [2013-02-07 04:36:36] 775*2^1240695-1 is not prime. Res64: 9510CE31155CBE0D Time : 0.0 sec. user=vaughan [2013-02-07 04:37:51] 851*2^1240694-1 is not prime. Res64: 431BEE85D9468DC0 Time : 0.0 sec. user=mdettweiler [2013-02-07 04:41:41] 783*2^1240695-1 is not prime. Res64: F4E7950B1FE40748 Time : 0.0 sec. user=mdettweiler [2013-02-07 04:41:42] 933*2^1240695-1 is not prime. Res64: 1ACE0B5F634C1717 Time : 0.0 sec. user=mdettweiler [2013-02-07 04:43:44] 991*2^1240695-1 is not prime. Res64: A88831397A903130 Time : 0.0 sec. user=mdettweiler [2013-02-07 04:43:45] 615*2^1240696-1 is not prime. Res64: 03829B6B10E6382B Time : 0.0 sec. user=juhehe [2013-02-07 04:56:47] 875*2^1240696-1 is not prime. Res64: 67300636BF138C52 Time : 0.0 sec. user=mdettweiler [2013-02-07 04:59:02] 999*2^1240696-1 is not prime. Res64: A599EF536C394BDB Time : 0.0 sec. user=mdettweiler [2013-02-07 04:59:03] 649*2^1240697-1 is not prime. Res64: 99FE725C69087BD1 Time : 0.0 sec. user=mdettweiler [2013-02-07 05:01:07] 691*2^1240697-1 is not prime. Res64: 50FA51A75B5C75C9 Time : 0.0 sec. user=mdettweiler [2013-02-07 05:01:08] 819*2^1240697-1 is not prime. Res64: 4677BCBDA3DC0A68 Time : 0.0 sec. user=vaughan [2013-02-07 05:15:35] 909*2^1240696-1 is not prime. Res64: 474BD4937D70BE7F Time : 0.0 sec. user=mdettweiler [2013-02-07 05:16:25] 981*2^1240697-1 is not prime. Res64: E58B2BEE82349D6F Time : 0.0 sec. user=mdettweiler [2013-02-07 05:16:25] 991*2^1240697-1 is not prime. Res64: 4E6D3CC41D291D4A Time : 0.0 sec. user=juhehe [2013-02-07 05:16:50] 885*2^1240697-1 is not prime. Res64: CFA43F978D063C9D Time : 0.0 sec. user=mdettweiler [2013-02-07 05:18:30] 633*2^1240698-1 is not prime. Res64: 28DDE4F7BE59EF9D Time : 0.0 sec. user=mdettweiler [2013-02-07 05:18:31] 663*2^1240698-1 is not prime. Res64: A30F6A63DA8A03B5 Time : 0.0 sec. user=mdettweiler [2013-02-07 05:33:46] 633*2^1240699-1 is not prime. Res64: C18597132D88C3E4 Time : 0.0 sec. user=mdettweiler [2013-02-07 05:33:47] 645*2^1240699-1 is not prime. Res64: D566D1A216F0F42E Time : 0.0 sec. user=mdettweiler [2013-02-07 05:35:52] 741*2^1240699-1 is not prime. Res64: 9A9E7A4D4E351530 Time : 0.0 sec. user=mdettweiler [2013-02-07 05:35:52] 769*2^1240699-1 is not prime. Res64: 09CEB6DB97DA65F2 Time : 0.0 sec. user=juhehe [2013-02-07 05:36:51] 675*2^1240699-1 is not prime. Res64: 94B2B5EE6008AF2C Time : 0.0 sec. user=juhehe [2013-02-07 05:44:56] 683*2^1240698-1 is not prime. Res64: 96F46B3DE44B2883 Time : 0.0 sec. user=mdettweiler [2013-02-07 05:51:09] 969*2^1240699-1 is not prime. Res64: E8D7EE8F7F1AC1B3 Time : 0.0 sec. user=mdettweiler [2013-02-07 05:51:09] 973*2^1240699-1 is not prime. Res64: 2C21D146DE9BFFF2 Time : 0.0 sec. user=mdettweiler [2013-02-07 05:53:13] 647*2^1240700-1 is not prime. Res64: 3706EC2E1D5C3264 Time : 0.0 sec. user=mdettweiler [2013-02-07 05:53:13] 753*2^1240700-1 is not prime. Res64: 5FB6B8F587AEAEEA Time : 0.0 sec. user=vaughan [2013-02-07 05:53:20] 977*2^1240698-1 is not prime. Res64: AD7EE191E0BD6133 Time : 0.0 sec. user=juhehe [2013-02-07 05:56:52] 797*2^1240700-1 is not prime. Res64: 03F1ED472C1FCBCE Time : 0.0 sec. user=mdettweiler [2013-02-07 06:08:31] 817*2^1240701-1 is not prime. Res64: F13F308611646EB7 Time : 0.0 sec. user=mdettweiler [2013-02-07 06:08:33] 847*2^1240701-1 is not prime. Res64: B428717712DF9654 Time : 0.0 sec. user=mdettweiler [2013-02-07 06:10:34] 761*2^1240702-1 is not prime. Res64: AD7B6E888AA1835D Time : 0.0 sec. user=mdettweiler [2013-02-07 06:10:35] 833*2^1240702-1 is not prime. Res64: 58AC29D57C009738 Time : 0.0 sec. user=juhehe [2013-02-07 06:16:52] 891*2^1240702-1 is not prime. Res64: 68F1F329179D29A4 Time : 0.0 sec. user=mdettweiler [2013-02-07 06:25:56] 945*2^1240702-1 is not prime. Res64: A8B04DC4BB87B909 Time : 0.0 sec. user=mdettweiler [2013-02-07 06:25:57] 975*2^1240702-1 is not prime. Res64: 7ED894649C83657C Time : 0.0 sec. user=mdettweiler [2013-02-07 06:27:55] 783*2^1240703-1 is not prime. Res64: 25DD5CFBE33C2568 Time : 0.0 sec. user=mdettweiler [2013-02-07 06:27:56] 813*2^1240703-1 is not prime. Res64: B4F27B967A7F07DC Time : 0.0 sec. user=juhehe [2013-02-07 06:28:54] 717*2^1240701-1 is not prime. Res64: 24CB26FCB97BA527 Time : 0.0 sec. user=vaughan [2013-02-07 06:31:07] 867*2^1240702-1 is not prime. Res64: 84A92E66DB61B626 Time : 0.0 sec. user=juhehe [2013-02-07 06:36:53] 825*2^1240703-1 is not prime. Res64: 2BE99F657515ABC2 Time : 0.0 sec. user=mdettweiler [2013-02-07 06:43:19] 945*2^1240703-1 is not prime. Res64: 20D0F5F3FF658037 Time : 0.0 sec. user=mdettweiler [2013-02-07 06:43:19] 969*2^1240703-1 is not prime. Res64: 7059484394E7E785 Time : 0.0 sec. user=mdettweiler [2013-02-07 06:45:17] 623*2^1240704-1 is not prime. Res64: 6AD5B51523955948 Time : 0.0 sec. user=mdettweiler [2013-02-07 06:45:18] 665*2^1240704-1 is not prime. Res64: 1432C05A4740E02D Time : 0.0 sec. user=juhehe [2013-02-07 06:56:54] 909*2^1240704-1 is not prime. Res64: 49C0D5122A32E276 Time : 0.0 sec. user=mdettweiler [2013-02-07 07:00:40] 945*2^1240704-1 is not prime. Res64: DD9E49EC6AF50450 Time : 0.0 sec. user=mdettweiler [2013-02-07 07:00:41] 619*2^1240705-1 is not prime. Res64: AAE0E2B0917E7D83 Time : 0.0 sec. user=mdettweiler [2013-02-07 07:02:42] 679*2^1240705-1 is not prime. Res64: 1F1A9FA2984A13DD Time : 0.0 sec. user=mdettweiler [2013-02-07 07:02:42] 687*2^1240705-1 is not prime. Res64: EB3C69BFCFCE05A2 Time : 0.0 sec. user=vaughan [2013-02-07 07:08:51] 753*2^1240704-1 is not prime. Res64: 5E3F602D88EA0016 Time : 0.0 sec. user=mdettweiler [2013-02-07 07:18:04] 617*2^1240706-1 is not prime. Res64: 5F21B98D1A1A1E13 Time : 0.0 sec. user=mdettweiler [2013-02-07 07:18:04] 743*2^1240706-1 is not prime. Res64: 343C06415687967B Time : 0.0 sec. user=juhehe [2013-02-07 07:19:51] 985*2^1240705-1 is not prime. Res64: 043520CE0791972A Time : 0.0 sec. user=mdettweiler [2013-02-07 07:20:04] 857*2^1240706-1 is not prime. Res64: 8D08D23B8CEC3469 Time : 0.0 sec. user=mdettweiler [2013-02-07 07:20:04] 935*2^1240706-1 is not prime. Res64: A9847AE1ED681C62 Time : 0.0 sec. user=mdettweiler [2013-02-07 07:35:27] 625*2^1240707-1 is not prime. Res64: CEA30A3DAB944DFD Time : 0.0 sec. user=mdettweiler [2013-02-07 07:35:27] 651*2^1240707-1 is not prime. Res64: E57D790D5C662145 Time : 0.0 sec. user=mdettweiler [2013-02-07 07:37:25] 973*2^1240707-1 is not prime. Res64: 72D34772F495B618 Time : 0.0 sec. user=mdettweiler [2013-02-07 07:37:26] 773*2^1240708-1 is not prime. Res64: ED378A8165E0026E Time : 0.0 sec. user=juhehe [2013-02-07 07:39:52] 909*2^1240707-1 is not prime. Res64: 8E44CF441CF06BB4 Time : 0.0 sec. user=vaughan [2013-02-07 07:46:44] 615*2^1240707-1 is not prime. Res64: 1E45933655FF46F3 Time : 0.0 sec. user=juhehe [2013-02-07 07:51:02] 981*2^1240706-1 is not prime. Res64: 1A07958E3CBA75B6 Time : 0.0 sec. user=mdettweiler [2013-02-07 07:52:49] 777*2^1240708-1 is not prime. Res64: 79BE9236F87EE599 Time : 0.0 sec. user=mdettweiler [2013-02-07 07:52:49] 819*2^1240708-1 is not prime. Res64: BBA209984D9EE583 Time : 0.0 sec. user=juhehe [2013-02-07 07:59:54] 759*2^1240709-1 is not prime. Res64: FB10DFE64736BBAD Time : 0.0 sec. user=mdettweiler [2013-02-07 08:10:03] 825*2^1240709-1 is not prime. Res64: 3812DF0C0D5633C2 Time : 0.0 sec. user=mdettweiler [2013-02-07 08:10:05] 867*2^1240709-1 is not prime. Res64: F502DD7E2FC2E4EB Time : 0.0 sec. user=juhehe [2013-02-07 08:19:56] 939*2^1240709-1 is not prime. Res64: 2A8E02373EC37494 Time : 0.0 sec. user=vaughan [2013-02-07 08:24:29] 775*2^1240709-1 is not prime. Res64: 8CE5D85082DBEAC0 Time : 0.0 sec. user=mdettweiler [2013-02-07 08:27:30] 957*2^1240709-1 is not prime. Res64: 49D31377474588C9 Time : 0.0 sec. user=mdettweiler [2013-02-07 08:27:31] 969*2^1240709-1 is not prime. Res64: 02CBF177BAD1195C Time : 0.0 sec. user=juhehe [2013-02-07 08:35:05] 781*2^1240709-1 is not prime. Res64: 04955AC984F06E46 Time : 0.0 sec. user=juhehe [2013-02-07 08:39:56] 681*2^1240710-1 is not prime. Res64: 455F73577E827C9C Time : 0.0 sec. user=mdettweiler [2013-02-07 08:42:18] 827*2^1240708-1 is not prime. Res64: 67D32A8A9E260E09 Time : 0.0 sec. user=mdettweiler [2013-02-07 08:42:19] 747*2^1240709-1 is not prime. Res64: 35C9403A5D4449DC Time : 0.0 sec. user=mdettweiler [2013-02-07 08:44:54] 765*2^1240710-1 is not prime. Res64: AF783292BDC74FB8 Time : 0.0 sec. user=mdettweiler [2013-02-07 08:44:54] 851*2^1240710-1 is not prime. Res64: 480885DF3733CB23 Time : 0.0 sec. user=mdettweiler [2013-02-07 08:59:43] 723*2^1240711-1 is not prime. Res64: F700C7DE569E6B3A Time : 0.0 sec. user=mdettweiler [2013-02-07 08:59:43] 735*2^1240711-1 is not prime. Res64: FBB936F0CEE74247 Time : 0.0 sec. user=mdettweiler [2013-02-07 09:02:16] 771*2^1240711-1 is not prime. Res64: DDE1E6B0D14FFA03 Time : 0.0 sec. user=mdettweiler [2013-02-07 09:02:17] 819*2^1240711-1 is not prime. Res64: 96E3F674668298EA Time : 0.0 sec. user=vaughan [2013-02-07 09:02:18] 761*2^1240710-1 is not prime. Res64: B463F3815691D58A Time : 0.0 sec. user=juhehe [2013-02-07 09:04:51] 917*2^1240710-1 is not prime. Res64: DCD36D0DDA344007 Time : 0.0 sec. user=mdettweiler [2013-02-07 09:17:05] 859*2^1240711-1 is not prime. Res64: CD7CEBFA20393028 Time : 0.0 sec. user=mdettweiler [2013-02-07 09:17:06] 913*2^1240711-1 is not prime. Res64: 9ED82A4B22DFD5A4 Time : 0.0 sec. user=mdettweiler [2013-02-07 09:19:38] 975*2^1240711-1 is not prime. Res64: 929E8254E7AD5F43 Time : 0.0 sec. user=mdettweiler [2013-02-07 09:19:39] 999*2^1240711-1 is not prime. Res64: 07A5E83A542FB5D1 Time : 0.0 sec. user=juhehe [2013-02-07 09:34:25] 605*2^1240712-1 is not prime. Res64: 912375DE855A23AA Time : 0.0 sec. user=mdettweiler [2013-02-07 09:34:26] 677*2^1240712-1 is not prime. Res64: E90DCDBF563F1FEC Time : 0.0 sec. user=mdettweiler [2013-02-07 09:34:27] 797*2^1240712-1 is not prime. Res64: A7C6B24A6D384B9F Time : 0.0 sec. user=mdettweiler [2013-02-07 09:36:59] 833*2^1240712-1 is not prime. Res64: 084343F40B843168 Time : 0.0 sec. user=mdettweiler [2013-02-07 09:37:00] 893*2^1240712-1 is not prime. Res64: ED66F4B3E0A43008 Time : 0.0 sec. user=vaughan [2013-02-07 09:40:05] 603*2^1240712-1 is not prime. Res64: 454FE7923EF8B83C Time : 0.0 sec. user=mdettweiler [2013-02-07 09:51:51] 627*2^1240713-1 is not prime. Res64: 6455471CBAFB7C85 Time : 0.0 sec. user=mdettweiler [2013-02-07 09:51:51] 657*2^1240713-1 is not prime. Res64: 5FF321A1227ACBB8 Time : 0.0 sec. user=mdettweiler [2013-02-07 09:54:21] 705*2^1240713-1 is not prime. Res64: 034A64EB838BFA05 Time : 0.0 sec. user=mdettweiler [2013-02-07 09:54:21] 739*2^1240713-1 is not prime. Res64: 9359D3800278134F Time : 0.0 sec. user=juhehe [2013-02-07 09:54:23] 633*2^1240712-1 is not prime. Res64: 48137343859E358A Time : 0.0 sec. user=juhehe [2013-02-07 09:59:35] 935*2^1240712-1 is not prime. Res64: 92B371CD9CFF8901 Time : 0.0 sec. user=mdettweiler [2013-02-07 10:09:13] 837*2^1240713-1 is not prime. Res64: FBB474E633CB4CD6 Time : 0.0 sec. user=mdettweiler [2013-02-07 10:09:13] 889*2^1240713-1 is not prime. Res64: 0EC27AB21A9F8405 Time : 0.0 sec. user=mdettweiler [2013-02-07 10:11:43] 895*2^1240713-1 is not prime. Res64: 742A7DCB48704A90 Time : 0.0 sec. user=mdettweiler [2013-02-07 10:11:44] 921*2^1240713-1 is not prime. Res64: 4B2FDD3177D530F2 Time : 0.0 sec. user=vaughan [2013-02-07 10:17:56] 751*2^1240713-1 is not prime. Res64: 675BE5CAB94D7123 Time : 0.0 sec. user=mdettweiler [2013-02-07 10:26:38] 645*2^1240714-1 is not prime. Res64: 27B3C6E6BE26DE3C Time : 0.0 sec. user=mdettweiler [2013-02-07 10:26:38] 723*2^1240714-1 is not prime. Res64: 274F483EE646C64E Time : 0.0 sec. user=mdettweiler [2013-02-07 10:29:07] 821*2^1240714-1 is not prime. Res64: 75BF222802ABAAF8 Time : 0.0 sec. user=mdettweiler [2013-02-07 10:29:08] 861*2^1240714-1 is not prime. Res64: 4EB8614F3DF22CD3 Time : 0.0 sec. user=juhehe [2013-02-07 10:29:54] 999*2^1240713-1 is not prime. Res64: 876B6B069B700DEF Time : 0.0 sec. user=juhehe [2013-02-07 10:31:29] 951*2^1240713-1 is not prime. Res64: 0B2D811DCA50E95E Time : 0.0 sec. user=mdettweiler [2013-02-07 10:43:59] 917*2^1240714-1 is not prime. Res64: 71710AD13DCE055D Time : 0.0 sec. user=mdettweiler [2013-02-07 10:44:00] 975*2^1240714-1 is not prime. Res64: 58AA5DCBEB85DDD3 Time : 0.0 sec. user=mdettweiler [2013-02-07 10:46:29] 741*2^1240715-1 is not prime. Res64: B8E1062C9ED725CA Time : 0.0 sec. user=mdettweiler [2013-02-07 10:46:30] 799*2^1240715-1 is not prime. Res64: 77A99BAADC0B4E01 Time : 0.0 sec. user=vaughan [2013-02-07 10:55:41] 887*2^1240714-1 is not prime. Res64: DB89922F1AA631CB Time : 0.0 sec. user=juhehe [2013-02-07 10:59:15] 801*2^1240715-1 is not prime. Res64: 00535A232A89A034 Time : 0.0 sec. user=mdettweiler [2013-02-07 11:01:22] 635*2^1240716-1 is not prime. Res64: F04903B732D0DE93 Time : 0.0 sec. user=mdettweiler [2013-02-07 11:01:23] 689*2^1240716-1 is not prime. Res64: D44A1F218C70E6BE Time : 0.0 sec. user=mdettweiler [2013-02-07 11:03:50] 693*2^1240716-1 is not prime. Res64: FA26242736BC11B6 Time : 0.0 sec. user=mdettweiler [2013-02-07 11:03:52] 723*2^1240716-1 is not prime. Res64: DF07DB0A7C17188D Time : 0.0 sec. user=mdettweiler [2013-02-07 11:18:47] 947*2^1240716-1 is not prime. Res64: BED4FFB8BD3D73C9 Time : 0.0 sec. user=mdettweiler [2013-02-07 11:18:48] 999*2^1240716-1 is not prime. Res64: 5DE448603D7260C8 Time : 0.0 sec. user=mdettweiler [2013-02-07 11:21:13] 747*2^1240717-1 is not prime. Res64: 135C2E6C70642F3E Time : 0.0 sec. user=mdettweiler [2013-02-07 11:21:14] 931*2^1240717-1 is not prime. Res64: 5FA66E448B4227AA Time : 0.0 sec. user=juhehe [2013-02-07 11:28:44] 927*2^1240716-1 is not prime. Res64: 57030DAB7DBCE6C4 Time : 0.0 sec. user=vaughan [2013-02-07 11:33:25] 905*2^1240716-1 is not prime. Res64: 5AF2AB616D0B6F2D Time : 0.0 sec. user=mdettweiler [2013-02-07 11:36:10] 665*2^1240718-1 is not prime. Res64: 280FC0A5F69EFA06 Time : 0.0 sec. user=mdettweiler [2013-02-07 11:36:10] 671*2^1240718-1 is not prime. Res64: F7340A7F7806B31E Time : 0.0 sec. user=mdettweiler [2013-02-07 11:38:35] 753*2^1240718-1 is not prime. Res64: 2E6B84D8DB012943 Time : 0.0 sec. user=mdettweiler [2013-02-07 11:38:36] 797*2^1240718-1 is not prime. Res64: 3EE36F87EA468C91 Time : 0.0 sec. user=juhehe [2013-02-07 11:43:15] 623*2^1240718-1 is not prime. Res64: 5557F863C7271F1B Time : 0.0 sec. user=mdettweiler [2013-02-07 11:53:32] 935*2^1240718-1 is not prime. Res64: 731B156EDE19ADEC Time : 0.0 sec. user=mdettweiler [2013-02-07 11:53:32] 963*2^1240718-1 is not prime. Res64: 792CC0E7778024C1 Time : 0.0 sec. user=mdettweiler [2013-02-07 11:55:58] 663*2^1240719-1 is not prime. Res64: F570F9877AAD540A Time : 0.0 sec. user=mdettweiler [2013-02-07 11:55:58] 685*2^1240719-1 is not prime. Res64: 794702A216EAA38F Time : 0.0 sec. user=mdettweiler [2013-02-07 12:10:55] 703*2^1240719-1 is not prime. Res64: 03F25A6A51A2E3BD Time : 0.0 sec. user=mdettweiler [2013-02-07 12:10:55] 751*2^1240719-1 is not prime. Res64: B681E0784D1BC8EB Time : 0.0 sec. user=vaughan [2013-02-07 12:11:10] 857*2^1240718-1 is not prime. Res64: D14F567ADAA354A0 Time : 0.0 sec. user=mdettweiler [2013-02-07 12:13:24] 793*2^1240719-1 is not prime. Res64: 624FAE40F9E02688 Time : 0.0 sec. user=mdettweiler [2013-02-07 12:13:24] 865*2^1240719-1 is not prime. Res64: AAA6F7952E3A6A25 Time : 0.0 sec. user=juhehe [2013-02-07 12:20:12] 693*2^1240719-1 is not prime. Res64: A211E8188E68530D Time : 0.0 sec. user=juhehe [2013-02-07 12:20:20] 813*2^1240718-1 is not prime. Res64: 5125851B497D8EE4 Time : 0.0 sec. user=mdettweiler [2013-02-07 12:28:18] 909*2^1240719-1 is not prime. Res64: E9456026B8116AB0 Time : 0.0 sec. user=mdettweiler [2013-02-07 12:28:19] 931*2^1240719-1 is not prime. Res64: 1D022256E0076D5A Time : 0.0 sec. user=mdettweiler [2013-02-07 12:30:45] 969*2^1240719-1 is not prime. Res64: 9A4D3C4064904EA1 Time : 0.0 sec. user=mdettweiler [2013-02-07 12:30:46] 975*2^1240719-1 is not prime. Res64: B93C069C9EA8C460 Time : 0.0 sec. user=juhehe [2013-02-07 12:41:18] 653*2^1240720-1 is not prime. Res64: F22357CBE6F76966 Time : 0.0 sec. user=mdettweiler [2013-02-07 12:45:55] 755*2^1240720-1 is not prime. Res64: 01FEE4F7B39D2852 Time : 0.0 sec. user=mdettweiler [2013-02-07 12:45:55] 863*2^1240720-1 is not prime. Res64: C89DF2BB017C9ED7 Time : 0.0 sec. user=mdettweiler [2013-02-07 12:48:26] 873*2^1240720-1 is not prime. Res64: 99401022207AC1A0 Time : 0.0 sec. user=mdettweiler [2013-02-07 12:48:26] 899*2^1240720-1 is not prime. Res64: E3DEBFE361EE8DD8 Time : 0.0 sec. user=vaughan [2013-02-07 12:48:59] 933*2^1240719-1 is not prime. Res64: 9E66B5E84FDD0612 Time : 0.0 sec. user=juhehe [2013-02-07 13:01:29] 939*2^1240720-1 is not prime. Res64: 8CB51F72C9EDF987 Time : 0.0 sec. user=mdettweiler [2013-02-07 13:03:56] 657*2^1240721-1 is not prime. Res64: 900A9812E8DB427E Time : 0.0 sec. user=mdettweiler [2013-02-07 13:03:58] 711*2^1240721-1 is not prime. Res64: 13E620E02E77F6D3 Time : 0.0 sec. user=mdettweiler [2013-02-07 13:06:22] 865*2^1240721-1 is not prime. Res64: 3B92A1C9DD9ADA9D Time : 0.0 sec. user=mdettweiler [2013-02-07 13:06:25] 867*2^1240721-1 is not prime. Res64: D4FADFEE97A65B0E Time : 0.0 sec. user=juhehe [2013-02-07 13:21:43] 741*2^1240722-1 is not prime. Res64: EF37E45465685354 Time : 0.0 sec. user=mdettweiler [2013-02-07 13:24:06] 633*2^1240723-1 is not prime. Res64: 40F22480DD704075 Time : 0.0 sec. user=mdettweiler [2013-02-07 13:24:06] 769*2^1240723-1 is not prime. Res64: 5AC7D81450747244 Time : 0.0 sec. user=vaughan [2013-02-07 13:26:44] 885*2^1240721-1 is not prime. Res64: 3D5D360402E77A85 Time : 0.0 sec. user=mdettweiler [2013-02-07 13:41:26] 849*2^1240723-1 is not prime. Res64: 7FEDEB1A9A61B5D9 Time : 0.0 sec. user=mdettweiler [2013-02-07 13:41:27] 605*2^1240724-1 is not prime. Res64: E941A934FE26DCB8 Time : 0.0 sec. user=juhehe [2013-02-07 13:43:11] 735*2^1240722-1 is not prime. Res64: D6014485C1083259 Time : 0.0 sec. user=mdettweiler [2013-02-07 13:43:33] 747*2^1240722-1 is not prime. Res64: F18D13758A4F45B0 Time : 0.0 sec. user=mdettweiler [2013-02-07 13:43:34] 917*2^1240722-1 is not prime. Res64: AD6C601D32C9AB57 Time : 0.0 sec. user=mdettweiler [2013-02-07 13:58:50] 677*2^1240724-1 is not prime. Res64: BEFD9EB8584A325F Time : 0.0 sec. user=mdettweiler [2013-02-07 13:58:51] 759*2^1240724-1 is not prime. Res64: 663A0B2FBFD2EA44 Time : 0.0 sec. user=mdettweiler [2013-02-07 14:00:57] 843*2^1240724-1 is not prime. Res64: DA4025EFB5039D34 Time : 0.0 sec. user=mdettweiler [2013-02-07 14:00:58] 855*2^1240724-1 is not prime. Res64: 93ADE5353217CE79 Time : 0.0 sec. user=vaughan [2013-02-07 14:04:32] 617*2^1240724-1 is not prime. Res64: 308B3F7C62737A9B Time : 0.0 sec. user=mdettweiler [2013-02-07 14:16:12] 929*2^1240724-1 is not prime. Res64: 503674A1BFA98D59 Time : 0.0 sec. user=mdettweiler [2013-02-07 14:16:12] 983*2^1240724-1 is not prime. Res64: 6D35901FCA850761 Time : 0.0 sec. user=mdettweiler [2013-02-07 14:18:21] 995*2^1240724-1 is not prime. Res64: F246C3F91480F476 Time : 0.0 sec. user=mdettweiler [2013-02-07 14:18:21] 699*2^1240725-1 is not prime. Res64: C820EF5F3B72F7AA Time : 0.0 sec. user=juhehe [2013-02-07 14:26:40] 837*2^1240724-1 is not prime. Res64: F73777452EE36768 Time : 0.0 sec. user=mdettweiler [2013-02-07 14:33:34] 759*2^1240725-1 is not prime. Res64: A1CECD76206311DC Time : 0.0 sec. user=mdettweiler [2013-02-07 14:33:34] 795*2^1240725-1 is not prime. Res64: C688D552A831E0F3 Time : 0.0 sec. user=mdettweiler [2013-02-07 14:35:43] 885*2^1240725-1 is not prime. Res64: 11E5D7914658DE09 Time : 0.0 sec. user=mdettweiler [2013-02-07 14:35:43] 937*2^1240725-1 is not prime. Res64: E3BBD9B5981D68D2 Time : 0.0 sec. user=vaughan [2013-02-07 14:42:30] 751*2^1240725-1 is not prime. Res64: FE0CE494B432F435 Time : 0.0 sec. user=mdettweiler [2013-02-07 14:50:57] 951*2^1240725-1 is not prime. Res64: F6D170AA8F34C55E Time : 0.0 sec. user=mdettweiler [2013-02-07 14:50:57] 635*2^1240726-1 is not prime. Res64: 375A912562ED3FBE Time : 0.0 sec. user=mdettweiler [2013-02-07 14:53:04] 717*2^1240726-1 is not prime. Res64: D5F80153A6A11D84 Time : 0.0 sec. user=mdettweiler [2013-02-07 14:53:05] 755*2^1240726-1 is not prime. Res64: 2E9A0B1E870ADA25 Time : 0.0 sec. user=mdettweiler [2013-02-07 15:08:19] 971*2^1240726-1 is not prime. Res64: FCC47AACE3AD6A02 Time : 0.0 sec. user=mdettweiler [2013-02-07 15:08:20] 609*2^1240727-1 is not prime. Res64: 2DCDEF71CD19C1E9 Time : 0.0 sec. user=mdettweiler [2013-02-07 15:10:26] 615*2^1240727-1 is not prime. Res64: 0660E40768623F7A Time : 0.0 sec. user=mdettweiler [2013-02-07 15:10:28] 621*2^1240727-1 is not prime. Res64: BB4A99AB1ABE0356 Time : 0.0 sec. user=vaughan [2013-02-07 15:20:14] 867*2^1240726-1 is not prime. Res64: 4F7CF96C8BB77C40 Time : 0.0 sec. user=mdettweiler [2013-02-07 15:25:42] 693*2^1240727-1 is not prime. Res64: F67D938772AF5FD7 Time : 0.0 sec. user=mdettweiler [2013-02-07 15:25:43] 735*2^1240727-1 is not prime. Res64: A718988F122EF5B6 Time : 0.0 sec. user=mdettweiler [2013-02-07 15:27:51] 753*2^1240727-1 is not prime. Res64: BB9EE5BCED8C9307 Time : 0.0 sec. user=mdettweiler [2013-02-07 15:27:51] 759*2^1240727-1 is not prime. Res64: DF8A0CF0E430A37C Time : 0.0 sec. user=mdettweiler [2013-02-07 15:43:05] 973*2^1240727-1 is not prime. Res64: 7370F532AE726470 Time : 0.0 sec. user=mdettweiler [2013-02-07 15:43:05] 605*2^1240728-1 is not prime. Res64: 0D330E75667342DD Time : 0.0 sec. user=mdettweiler [2013-02-07 15:45:12] 875*2^1240728-1 is not prime. Res64: 35A4867686972324 Time : 0.0 sec. user=mdettweiler [2013-02-07 15:45:13] 977*2^1240728-1 is not prime. Res64: AB71BA444105BC07 Time : 0.0 sec. user=juhehe [2013-02-07 15:51:32] 643*2^1240727-1 is not prime. Res64: 7650244A6F2A575D Time : 0.0 sec. user=vaughan [2013-02-07 15:58:00] 781*2^1240727-1 is not prime. Res64: 6C9B3D22B0C22387 Time : 0.0 sec. user=mdettweiler [2013-02-07 16:00:27] 619*2^1240729-1 is not prime. Res64: 17804F9165F60DCA Time : 0.0 sec. user=mdettweiler [2013-02-07 16:00:28] 867*2^1240729-1 is not prime. Res64: 9A4D86320F82B83E Time : 0.0 sec. user=mdettweiler [2013-02-07 16:02:38] 885*2^1240729-1 is not prime. Res64: 47060A5DEB6DE6F9 Time : 0.0 sec. user=mdettweiler [2013-02-07 16:02:40] 897*2^1240729-1 is not prime. Res64: 7C8F6364BB7E4284 Time : 0.0 sec. user=mdettweiler [2013-02-07 16:18:02] 773*2^1240730-1 is not prime. Res64: 7D669261516C3BDB Time : 0.0 sec. user=mdettweiler [2013-02-07 16:18:03] 935*2^1240730-1 is not prime. Res64: 96D9A23D8EFAC922 Time : 0.0 sec. user=mdettweiler [2013-02-07 16:20:06] 945*2^1240730-1 is not prime. Res64: A2819C905A64016B Time : 0.0 sec. user=mdettweiler [2013-02-07 16:20:06] 981*2^1240730-1 is not prime. Res64: C532FF8F59A715F3 Time : 0.0 sec. user=juhehe [2013-02-07 16:34:58] 627*2^1240730-1 is not prime. Res64: 2366E23CBE405146 Time : 0.0 sec. user=mdettweiler [2013-02-07 16:35:29] 1001*2^1240730-1 is not prime. Res64: 451DCDE490774722 Time : 0.0 sec. user=mdettweiler [2013-02-07 16:35:30] 601*2^1240731-1 is not prime. Res64: 5D5809D057265415 Time : 0.0 sec. user=vaughan [2013-02-07 16:35:46] 755*2^1240730-1 is not prime. Res64: B2371ADC5426C03C Time : 0.0 sec. user=mdettweiler [2013-02-07 16:37:32] 619*2^1240731-1 is not prime. Res64: 2F77302E7CEE4A3D Time : 0.0 sec. user=mdettweiler [2013-02-07 16:37:32] 705*2^1240731-1 is not prime. Res64: 93419E86556744BE Time : 0.0 sec. user=mdettweiler [2013-02-07 16:52:54] 741*2^1240731-1 is not prime. Res64: C147AFC2C9C900BD Time : 0.0 sec. user=mdettweiler [2013-02-07 16:52:55] 751*2^1240731-1 is not prime. Res64: F5A50D5195F17CF6 Time : 0.0 sec. user=mdettweiler [2013-02-07 16:54:56] 973*2^1240731-1 is not prime. Res64: A1DE3D73DFFC797E Time : 0.0 sec. user=mdettweiler [2013-02-07 16:54:57] 999*2^1240731-1 is not prime. Res64: C73EE9A60FA16605 Time : 0.0 sec. user=mdettweiler [2013-02-07 17:10:20] 615*2^1240732-1 is not prime. Res64: C482E7A191DD3C2F Time : 0.0 sec. user=mdettweiler [2013-02-07 17:10:21] 813*2^1240732-1 is not prime. Res64: 64140D0F9E3D7097 Time : 0.0 sec. user=mdettweiler [2013-02-07 17:12:21] 827*2^1240732-1 is not prime. Res64: B3BFD1D9DF9C1842 Time : 0.0 sec. user=mdettweiler [2013-02-07 17:12:22] 869*2^1240732-1 is not prime. Res64: D0FCFB884C3D05F9 Time : 0.0 sec. user=vaughan [2013-02-07 17:13:33] 793*2^1240731-1 is not prime. Res64: B2885C376BC4989D Time : 0.0 sec. user=mdettweiler [2013-02-07 17:27:48] 903*2^1240732-1 is not prime. Res64: F48EAFC0BC2074C7 Time : 0.0 sec. user=mdettweiler [2013-02-07 17:27:49] 929*2^1240732-1 is not prime. Res64: 09780AEC4FFEF8D0 Time : 0.0 sec. user=mdettweiler [2013-02-07 17:29:48] 987*2^1240732-1 is not prime. Res64: FFCCC3E116486A18 Time : 0.0 sec. user=mdettweiler [2013-02-07 17:29:48] 607*2^1240733-1 is not prime. Res64: DDEB86E38F9CB58D Time : 0.0 sec. user=mdettweiler [2013-02-07 17:45:19] 829*2^1240733-1 is not prime. Res64: 717509A9D31D81F4 Time : 0.0 sec. user=mdettweiler [2013-02-07 17:45:19] 665*2^1240734-1 is not prime. Res64: 9772F66DEC45AEB7 Time : 0.0 sec. user=mdettweiler [2013-02-07 17:47:12] 683*2^1240734-1 is not prime. Res64: 9E5F36783739CFCB Time : 0.0 sec. user=mdettweiler [2013-02-07 17:47:13] 825*2^1240734-1 is not prime. Res64: 8210AD79846F627A Time : 0.0 sec. user=vaughan [2013-02-07 17:51:19] 735*2^1240733-1 is not prime. Res64: 9534D1C16A9170DC Time : 0.0 sec. user=juhehe [2013-02-07 17:59:30] 741*2^1240733-1 is not prime. Res64: 062DBDAAE8C133B9 Time : 0.0 sec. user=mdettweiler [2013-02-07 18:02:44] 947*2^1240734-1 is not prime. Res64: 2947039B970D1B6F Time : 0.0 sec. user=mdettweiler [2013-02-07 18:02:45] 715*2^1240735-1 is not prime. Res64: 39579E1AD78596A6 Time : 0.0 sec. user=mdettweiler [2013-02-07 18:04:37] 831*2^1240735-1 is not prime. Res64: 0CE19DAE0E0F3988 Time : 0.0 sec. user=mdettweiler [2013-02-07 18:04:38] 841*2^1240735-1 is not prime. Res64: C3A0E3F65601F516 Time : 0.0 sec. user=mdettweiler [2013-02-07 18:20:10] 969*2^1240735-1 is not prime. Res64: C004B5D6E6FF145C Time : 0.0 sec. user=mdettweiler [2013-02-07 18:20:11] 669*2^1240736-1 is not prime. Res64: 87D591D9459C4752 Time : 0.0 sec. user=mdettweiler [2013-02-07 18:22:09] 735*2^1240736-1 is not prime. Res64: 78987B9FBE585A58 Time : 0.0 sec. user=mdettweiler [2013-02-07 18:22:09] 843*2^1240736-1 is not prime. Res64: 6D70099F1A55B560 Time : 0.0 sec. user=vaughan [2013-02-07 18:29:02] 873*2^1240735-1 is not prime. Res64: 8131EB591AFC6879 Time : 0.0 sec. user=mdettweiler [2013-02-07 18:37:38] 669*2^1240737-1 is not prime. Res64: 40BA5B6BFC0733D1 Time : 0.0 sec. user=mdettweiler [2013-02-07 18:37:38] 675*2^1240737-1 is not prime. Res64: 0ED3A8DFA26069D0 Time : 0.0 sec. user=mdettweiler [2013-02-07 18:39:37] 681*2^1240737-1 is not prime. Res64: 22E79EBA374A0B97 Time : 0.0 sec. user=mdettweiler [2013-02-07 18:39:38] 747*2^1240737-1 is not prime. Res64: DDD927B9FA52BB36 Time : 0.0 sec. user=juhehe [2013-02-07 18:41:27] 951*2^1240735-1 is not prime. Res64: 495321E3B4D677C2 Time : 0.0 sec. user=mdettweiler [2013-02-07 18:55:30] 867*2^1240737-1 is not prime. Res64: 787ED1111EE7C625 Time : 0.0 sec. user=mdettweiler [2013-02-07 18:55:30] 871*2^1240737-1 is not prime. Res64: 8E1F61010090B842 Time : 0.0 sec. user=mdettweiler [2013-02-07 18:57:33] 955*2^1240737-1 is not prime. Res64: 3657053456B09A9B Time : 0.0 sec. user=mdettweiler [2013-02-07 18:57:34] 975*2^1240737-1 is not prime. Res64: 7ECA8181B454422D Time : 0.0 sec. user=vaughan [2013-02-07 19:06:49] 805*2^1240737-1 is not prime. Res64: 60991CAF8AF90776 Time : 0.0 sec. user=mdettweiler [2013-02-07 19:13:14] 623*2^1240738-1 is not prime. Res64: D22DDCD6D6AD9A4A Time : 0.0 sec. user=mdettweiler [2013-02-07 19:13:14] 671*2^1240738-1 is not prime. Res64: 69F40E1CC0479E79 Time : 0.0 sec. user=mdettweiler [2013-02-07 19:15:18] 695*2^1240738-1 is not prime. Res64: C302A768C2FD1E42 Time : 0.0 sec. user=mdettweiler [2013-02-07 19:15:18] 791*2^1240738-1 is not prime. Res64: 87CA43D327C108A9 Time : 0.0 sec. user=mdettweiler [2013-02-07 19:30:43] 663*2^1240739-1 is not prime. Res64: 141330E5B5A379C4 Time : 0.0 sec. user=mdettweiler [2013-02-07 19:30:44] 909*2^1240739-1 is not prime. Res64: 23047CB4596A2801 Time : 0.0 sec. user=mdettweiler [2013-02-07 19:32:47] 991*2^1240739-1 is not prime. Res64: D4D6CED5D3593E92 Time : 0.0 sec. user=mdettweiler [2013-02-07 19:32:47] 689*2^1240740-1 is not prime. Res64: 976A2187759687FE Time : 0.0 sec. user=vaughan [2013-02-07 19:44:44] 655*2^1240739-1 is not prime. Res64: 13BAE3DB6DF86B75 Time : 0.0 sec. user=mdettweiler [2013-02-07 19:48:35] 843*2^1240740-1 is not prime. Res64: 817C65130E235C54 Time : 0.0 sec. user=mdettweiler [2013-02-07 19:48:35] 959*2^1240740-1 is not prime. Res64: D43B31C42AB4ADDB Time : 0.0 sec. user=mdettweiler [2013-02-07 19:50:46] 609*2^1240741-1 is not prime. Res64: 44BDD30FC6B8D8EF Time : 0.0 sec. user=mdettweiler [2013-02-07 19:50:46] 615*2^1240741-1 is not prime. Res64: B36931F62BB4305C Time : 0.0 sec. user=juhehe [2013-02-07 19:53:04] 819*2^1240740-1 is not prime. Res64: FAE51BD44E8E295F Time : 0.0 sec. user=mdettweiler [2013-02-07 20:06:35] 769*2^1240741-1 is not prime. Res64: EBBE64BEA4D39117 Time : 0.0 sec. user=mdettweiler [2013-02-07 20:06:36] 805*2^1240741-1 is not prime. Res64: E6FF56DE443797D7 Time : 0.0 sec. user=mdettweiler [2013-02-07 20:08:43] 955*2^1240741-1 is not prime. Res64: E53C1F5B2A19F854 Time : 0.0 sec. user=mdettweiler [2013-02-07 20:08:44] 771*2^1240742-1 is not prime. Res64: CFBB494B02F1D555 Time : 0.0 sec. user=vaughan [2013-02-07 20:22:31] 757*2^1240741-1 is not prime. Res64: 2EFB34B9062732A5 Time : 0.0 sec. user=mdettweiler [2013-02-07 20:24:08] 995*2^1240742-1 is not prime. Res64: 9FC1AE35678B4EE1 Time : 0.0 sec. user=mdettweiler [2013-02-07 20:24:09] 703*2^1240743-1 is not prime. Res64: 370158D8B85B200B Time : 0.0 sec. user=mdettweiler [2013-02-07 20:26:11] 705*2^1240743-1 is not prime. Res64: A0DA812E09514081 Time : 0.0 sec. user=mdettweiler [2013-02-07 20:26:12] 741*2^1240743-1 is not prime. Res64: 95A585BCA2FA1EF8 Time : 0.0 sec. user=juhehe [2013-02-07 20:29:35] 887*2^1240742-1 is not prime. Res64: 86CD514E68456531 Time : 0.0 sec. user=mdettweiler [2013-02-07 20:41:33] 819*2^1240743-1 is not prime. Res64: 9A87DB810586E007 Time : 0.0 sec. user=mdettweiler [2013-02-07 20:41:33] 961*2^1240743-1 is not prime. Res64: 4BE6922BF2FD3204 Time : 0.0 sec. user=mdettweiler [2013-02-07 20:43:35] 969*2^1240743-1 is not prime. Res64: 58B3C03D4EB282D7 Time : 0.0 sec. user=mdettweiler [2013-02-07 20:43:36] 645*2^1240744-1 is not prime. Res64: FA2075785B3365C0 Time : 0.0 sec. user=mdettweiler [2013-02-07 20:58:58] 693*2^1240744-1 is not prime. Res64: 66B86E7991DDD461 Time : 0.0 sec. user=mdettweiler [2013-02-07 20:58:58] 743*2^1240744-1 is not prime. Res64: D0856DEBEF426A83 Time : 0.0 sec. user=vaughan [2013-02-07 21:00:20] 751*2^1240743-1 is not prime. Res64: A45DF056AF95AB26 Time : 0.0 sec. user=mdettweiler [2013-02-07 21:01:00] 927*2^1240744-1 is not prime. Res64: 290C3242A80FBE34 Time : 0.0 sec. user=mdettweiler [2013-02-07 21:01:02] 965*2^1240744-1 is not prime. Res64: 668252DDDCC7A2E7 Time : 0.0 sec. user=mdettweiler [2013-02-07 21:16:22] 993*2^1240744-1 is not prime. Res64: 32250A4C6B8F6DB2 Time : 0.0 sec. user=mdettweiler [2013-02-07 21:16:23] 657*2^1240745-1 is not prime. Res64: 4FC5A6EF2273A72D Time : 0.0 sec. user=mdettweiler [2013-02-07 21:18:28] 715*2^1240745-1 is not prime. Res64: 1A182F3477111CD6 Time : 0.0 sec. user=mdettweiler [2013-02-07 21:18:28] 771*2^1240745-1 is not prime. Res64: A200478BC247EF11 Time : 0.0 sec. user=mdettweiler [2013-02-07 21:34:08] 805*2^1240745-1 is not prime. Res64: 8265FC15BFBF039F Time : 0.0 sec. user=mdettweiler [2013-02-07 21:34:08] 811*2^1240745-1 is not prime. Res64: 5F780E05AF65C267 Time : 0.0 sec. user=mdettweiler [2013-02-07 21:36:29] 981*2^1240745-1 is not prime. Res64: F5EC2E7DC0EFAAA4 Time : 0.0 sec. user=mdettweiler [2013-02-07 21:36:29] 807*2^1240746-1 is not prime. Res64: AD436FE73143F7EE Time : 0.0 sec. user=vaughan [2013-02-07 21:38:10] 711*2^1240745-1 is not prime. Res64: 5EB26F52C6D87B35 Time : 0.0 sec. user=juhehe [2013-02-07 21:47:21] 781*2^1240745-1 is not prime. Res64: 25419B33AFD86A74 Time : 0.0 sec. user=mdettweiler [2013-02-07 21:52:22] 983*2^1240746-1 is not prime. Res64: 419B35B949CCA244 Time : 0.0 sec. user=mdettweiler [2013-02-07 21:52:22] 621*2^1240747-1 is not prime. Res64: 7942C7766181FD36 Time : 0.0 sec. user=mdettweiler [2013-02-07 21:54:30] 645*2^1240747-1 is not prime. Res64: 25EF8374502C0BB3 Time : 0.0 sec. user=mdettweiler [2013-02-07 21:54:30] 663*2^1240747-1 is not prime. Res64: 60AF32860FBF2FC9 Time : 0.0 sec. user=mdettweiler [2013-02-07 22:10:08] 919*2^1240747-1 is not prime. Res64: D5DA588315BC2A43 Time : 0.0 sec. user=mdettweiler [2013-02-07 22:10:09] 975*2^1240747-1 is not prime. Res64: 7AB4012B6E1FCC27 Time : 0.0 sec. user=mdettweiler [2013-02-07 22:12:16] 635*2^1240748-1 is not prime. Res64: EC2ECA133BDFA184 Time : 0.0 sec. user=mdettweiler [2013-02-07 22:12:17] 687*2^1240748-1 is not prime. Res64: 2FE2A9D89D66EF4B Time : 0.0 sec. user=vaughan [2013-02-07 22:15:56] 849*2^1240747-1 is not prime. Res64: F851568505787397 Time : 0.0 sec. user=mdettweiler [2013-02-07 22:27:38] 767*2^1240748-1 is not prime. Res64: 4F791F173E476ECC Time : 0.0 sec. user=mdettweiler [2013-02-07 22:27:38] 625*2^1240749-1 is not prime. Res64: 78147DCDA37CC196 Time : 0.0 sec. user=mdettweiler [2013-02-07 22:29:44] 745*2^1240749-1 is not prime. Res64: E28056AD46391472 Time : 0.0 sec. user=mdettweiler [2013-02-07 22:29:45] 865*2^1240749-1 is not prime. Res64: F6FEA1DC08F88FB0 Time : 0.0 sec. user=mdettweiler [2013-02-07 22:45:03] 675*2^1240750-1 is not prime. Res64: B4F17689283377BB Time : 0.0 sec. user=mdettweiler [2013-02-07 22:45:03] 707*2^1240750-1 is not prime. Res64: B1B980EC5CF9E19A Time : 0.0 sec. user=mdettweiler [2013-02-07 22:47:09] 723*2^1240750-1 is not prime. Res64: B0FF9E6D57E8A380 Time : 0.0 sec. user=mdettweiler [2013-02-07 22:47:09] 783*2^1240750-1 is not prime. Res64: 3D1A5275B4D5EC12 Time : 0.0 sec. user=vaughan [2013-02-07 22:53:43] 919*2^1240749-1 is not prime. Res64: 15499C840432E4F8 Time : 0.0 sec. user=mdettweiler [2013-02-07 23:02:27] 843*2^1240750-1 is not prime. Res64: 9A7860F9B054DC7D Time : 0.0 sec. user=mdettweiler [2013-02-07 23:02:28] 897*2^1240750-1 is not prime. Res64: 437A9FB7BAA7BED1 Time : 0.0 sec. user=mdettweiler [2013-02-07 23:04:33] 911*2^1240750-1 is not prime. Res64: BC64711CA1D0B08E Time : 0.0 sec. user=mdettweiler [2013-02-07 23:04:36] 971*2^1240750-1 is not prime. Res64: 11A36BE84159F979 Time : 0.0 sec. user=juhehe [2013-02-07 23:10:20] 671*2^1240750-1 is not prime. Res64: 49994C42A4F50A7F Time : 0.0 sec. user=mdettweiler [2013-02-07 23:20:22] 619*2^1240751-1 is not prime. Res64: 0254BD35AD401418 Time : 0.0 sec. user=mdettweiler [2013-02-07 23:20:23] 651*2^1240751-1 is not prime. Res64: 77E4ED4384D696C2 Time : 0.0 sec. user=mdettweiler [2013-02-07 23:22:40] 663*2^1240751-1 is not prime. Res64: DDE9AD8724716A7B Time : 0.0 sec. user=mdettweiler [2013-02-07 23:22:40] 741*2^1240751-1 is not prime. Res64: 432E498F5B423C1D Time : 0.0 sec. user=vaughan [2013-02-07 23:31:30] 975*2^1240750-1 is not prime. Res64: B3B49560ACB157C8 Time : 0.0 sec. user=mdettweiler [2013-02-07 23:37:51] 859*2^1240751-1 is not prime. Res64: AA6DBA7FB34E54DF Time : 0.0 sec. user=mdettweiler [2013-02-07 23:37:51] 939*2^1240751-1 is not prime. Res64: D02808E8DD33BD8C Time : 0.0 sec. user=mdettweiler [2013-02-07 23:40:08] 969*2^1240751-1 is not prime. Res64: 07B2EE54162F1308 Time : 0.0 sec. user=mdettweiler [2013-02-07 23:40:09] 991*2^1240751-1 is not prime. Res64: C3054E6F3DEA40F9 Time : 0.0 sec. user=juhehe [2013-02-07 23:54:21] 783*2^1240751-1 is not prime. Res64: 1F4A2C31961DAD88 Time : 0.0 sec. user=mdettweiler [2013-02-07 23:55:21] 753*2^1240752-1 is not prime. Res64: B916177D5E622BC1 Time : 0.0 sec. user=mdettweiler [2013-02-07 23:55:21] 815*2^1240752-1 is not prime. Res64: CF78B423F8E235D4 Time : 0.0 sec. user=mdettweiler [2013-02-07 23:57:32] 893*2^1240752-1 is not prime. Res64: E6C7342F17B7EAD9 Time : 0.0 sec. user=mdettweiler [2013-02-07 23:57:33] 899*2^1240752-1 is not prime. Res64: FDE4D62F1BC90854 Time : 0.0 sec.