user=mdettweiler [2013-03-29 00:05:54] 893*2^1243502-1 is not prime. Res64: 26FB14077B42ACF2 Time : 0.0 sec. user=mdettweiler [2013-03-29 00:05:55] 917*2^1243502-1 is not prime. Res64: 13B8A1E04F14C9F8 Time : 0.0 sec. user=mdettweiler [2013-03-29 00:16:49] 977*2^1243502-1 is not prime. Res64: 1F56733661036DB9 Time : 0.0 sec. user=mdettweiler [2013-03-29 00:16:49] 679*2^1243503-1 is not prime. Res64: 1E6A360A19575E8C Time : 0.0 sec. user=juhehe [2013-03-29 00:16:55] 645*2^1243501-1 is not prime. Res64: D2C66CFA30FFAA88 Time : 0.0 sec. user=juhehe [2013-03-29 00:22:43] 877*2^1243501-1 is not prime. Res64: 719BBCC8081E5705 Time : 0.0 sec. user=mdettweiler [2013-03-29 00:23:27] 781*2^1243503-1 is not prime. Res64: D6C04455341A212F Time : 0.0 sec. user=mdettweiler [2013-03-29 00:23:28] 795*2^1243503-1 is not prime. Res64: 14B55E51FEC5C807 Time : 0.0 sec. user=mdettweiler [2013-03-29 00:34:23] 819*2^1243503-1 is not prime. Res64: 64277E61E328B2FD Time : 0.0 sec. user=mdettweiler [2013-03-29 00:34:24] 961*2^1243503-1 is not prime. Res64: EE5627C9E3BFC017 Time : 0.0 sec. user=mdettweiler [2013-03-29 00:40:56] 615*2^1243504-1 is not prime. Res64: F49C3122E26A9765 Time : 0.0 sec. user=mdettweiler [2013-03-29 00:40:56] 665*2^1243504-1 is not prime. Res64: 88B456C9DF2ED2BA Time : 0.0 sec. user=mdettweiler [2013-03-29 00:51:54] 719*2^1243504-1 is not prime. Res64: 8481C9EC26ED0221 Time : 0.0 sec. user=mdettweiler [2013-03-29 00:51:54] 743*2^1243504-1 is not prime. Res64: 5075689C63B4B892 Time : 0.0 sec. user=mdettweiler [2013-03-29 00:58:23] 601*2^1243505-1 is not prime. Res64: E74ABB13011207D4 Time : 0.0 sec. user=mdettweiler [2013-03-29 00:58:24] 619*2^1243505-1 is not prime. Res64: 1A3511ECC0630D17 Time : 0.0 sec. user=mdettweiler [2013-03-29 01:09:22] 697*2^1243505-1 is not prime. Res64: 7F6CD7EC0DBDB44F Time : 0.0 sec. user=mdettweiler [2013-03-29 01:09:23] 771*2^1243505-1 is not prime. Res64: AC9C89731ECB468A Time : 0.0 sec. user=mdettweiler [2013-03-29 01:15:50] 985*2^1243505-1 is not prime. Res64: 5457320057643274 Time : 0.0 sec. user=mdettweiler [2013-03-29 01:15:51] 657*2^1243506-1 is not prime. Res64: AC2462E77FCC7B03 Time : 0.0 sec. user=mdettweiler [2013-03-29 01:26:57] 711*2^1243506-1 is not prime. Res64: 121A5F31531B7C86 Time : 0.0 sec. user=mdettweiler [2013-03-29 01:26:58] 803*2^1243506-1 is not prime. Res64: 1DFCFE332607B988 Time : 0.0 sec. user=mdettweiler [2013-03-29 01:33:19] 815*2^1243506-1 is not prime. Res64: B3E1B58078C8FC5D Time : 0.0 sec. user=mdettweiler [2013-03-29 01:33:19] 833*2^1243506-1 is not prime. Res64: 09D1CC795B20F4F0 Time : 0.0 sec. user=mdettweiler [2013-03-29 01:44:27] 983*2^1243506-1 is not prime. Res64: 5319A6503A982D8F Time : 0.0 sec. user=mdettweiler [2013-03-29 01:44:28] 601*2^1243507-1 is not prime. Res64: 060EE27718F4F2A8 Time : 0.0 sec. user=mdettweiler [2013-03-29 01:50:48] 691*2^1243507-1 is not prime. Res64: 62B308427AEC6A4E Time : 0.0 sec. user=mdettweiler [2013-03-29 01:50:48] 741*2^1243507-1 is not prime. Res64: 152FD66C3A321E7D Time : 0.0 sec. user=mdettweiler [2013-03-29 02:01:56] 985*2^1243507-1 is not prime. Res64: B94D1D8EC3F94B61 Time : 0.0 sec. user=mdettweiler [2013-03-29 02:01:57] 993*2^1243507-1 is not prime. Res64: 00E10DA85C1FA4F5 Time : 0.0 sec. user=mdettweiler [2013-03-29 02:08:18] 665*2^1243508-1 is not prime. Res64: DB14337C463A6608 Time : 0.0 sec. user=mdettweiler [2013-03-29 02:08:19] 669*2^1243508-1 is not prime. Res64: 830646C698820581 Time : 0.0 sec. user=mdettweiler [2013-03-29 02:19:25] 677*2^1243508-1 is not prime. Res64: EF0F9862ACD81B91 Time : 0.0 sec. user=mdettweiler [2013-03-29 02:19:26] 699*2^1243508-1 is not prime. Res64: B3C0EF4C7CFBD136 Time : 0.0 sec. user=juhehe [2013-03-29 02:23:53] 851*2^1243506-1 is not prime. Res64: 0FFA997AA5948EC8 Time : 0.0 sec. user=mdettweiler [2013-03-29 02:25:52] 725*2^1243508-1 is not prime. Res64: 0C88770465991AE1 Time : 0.0 sec. user=mdettweiler [2013-03-29 02:25:53] 855*2^1243508-1 is not prime. Res64: 8344AE2198A0B0E9 Time : 0.0 sec. user=juhehe [2013-03-29 02:30:07] 917*2^1243506-1 is not prime. Res64: CA1F72594C800C1C Time : 0.0 sec. user=mdettweiler [2013-03-29 02:36:55] 879*2^1243508-1 is not prime. Res64: 2A2852C0C99039C5 Time : 0.0 sec. user=mdettweiler [2013-03-29 02:36:56] 923*2^1243508-1 is not prime. Res64: AC916D3D16AFBD73 Time : 0.0 sec. user=mdettweiler [2013-03-29 02:43:21] 993*2^1243508-1 is not prime. Res64: 19D23CAFE6B2EA00 Time : 0.0 sec. user=mdettweiler [2013-03-29 02:43:22] 657*2^1243509-1 is not prime. Res64: D5D01D94D39E1414 Time : 0.0 sec. user=mdettweiler [2013-03-29 02:54:42] 751*2^1243509-1 is not prime. Res64: 62EFF35E0C642806 Time : 0.0 sec. user=mdettweiler [2013-03-29 02:54:43] 765*2^1243509-1 is not prime. Res64: 84ED727709248C49 Time : 0.0 sec. user=mdettweiler [2013-03-29 03:01:05] 891*2^1243509-1 is not prime. Res64: A6DD189215AA57E4 Time : 0.0 sec. user=mdettweiler [2013-03-29 03:01:07] 717*2^1243510-1 is not prime. Res64: 02C39A3AAB95D9B9 Time : 0.0 sec. user=vaughan [2013-03-29 03:05:13] 709*2^1243509-1 is not prime. Res64: 8B98B93C2FC7D45F Time : 0.0 sec. user=mdettweiler [2013-03-29 03:12:10] 731*2^1243510-1 is not prime. Res64: 117A1111338CB0BA Time : 0.0 sec. user=mdettweiler [2013-03-29 03:12:11] 845*2^1243510-1 is not prime. Res64: DF4A2556BBD55F62 Time : 0.0 sec. user=mdettweiler [2013-03-29 03:19:01] 923*2^1243510-1 is not prime. Res64: 05FF1950E9A5C5CC Time : 0.0 sec. user=mdettweiler [2013-03-29 03:19:02] 975*2^1243510-1 is not prime. Res64: C3C76F91019898DE Time : 0.0 sec. user=mdettweiler [2013-03-29 03:29:43] 615*2^1243511-1 is not prime. Res64: BE642BDA61819902 Time : 0.0 sec. user=mdettweiler [2013-03-29 03:29:44] 663*2^1243511-1 is not prime. Res64: DB82B7490B53B4A9 Time : 0.0 sec. user=mdettweiler [2013-03-29 03:36:38] 669*2^1243511-1 is not prime. Res64: 64FD7CDA15F73D75 Time : 0.0 sec. user=mdettweiler [2013-03-29 03:36:39] 775*2^1243511-1 is not prime. Res64: 177286F18A43FAD4 Time : 0.0 sec. user=vaughan [2013-03-29 03:43:30] 603*2^1243511-1 is not prime. Res64: E9063BA1428E2A41 Time : 0.0 sec. user=mdettweiler [2013-03-29 03:47:12] 843*2^1243511-1 is not prime. Res64: B7CCCC04E0AEC866 Time : 0.0 sec. user=mdettweiler [2013-03-29 03:47:12] 855*2^1243511-1 is not prime. Res64: AC2533506551D276 Time : 0.0 sec. user=mdettweiler [2013-03-29 03:54:06] 683*2^1243512-1 is not prime. Res64: 402D0D57DDD6D589 Time : 0.0 sec. user=mdettweiler [2013-03-29 03:54:07] 689*2^1243512-1 is not prime. Res64: 2415DB3AD9E4A79D Time : 0.0 sec. user=mdettweiler [2013-03-29 04:04:39] 935*2^1243512-1 is not prime. Res64: F0C92F61E4BA7C0C Time : 0.0 sec. user=mdettweiler [2013-03-29 04:04:41] 807*2^1243513-1 is not prime. Res64: BEC6B72AD488F804 Time : 0.0 sec. user=mdettweiler [2013-03-29 04:11:34] 829*2^1243513-1 is not prime. Res64: 80DE901C8E2BBEA4 Time : 0.0 sec. user=mdettweiler [2013-03-29 04:11:35] 861*2^1243513-1 is not prime. Res64: ACCC94432B14AE30 Time : 0.0 sec. user=vaughan [2013-03-29 04:21:54] 747*2^1243512-1 is not prime. Res64: 355C319388D5DFC3 Time : 0.0 sec. user=mdettweiler [2013-03-29 04:22:14] 833*2^1243514-1 is not prime. Res64: EF66950258AF6652 Time : 0.0 sec. user=mdettweiler [2013-03-29 04:22:14] 837*2^1243514-1 is not prime. Res64: CF3C3A10041DE972 Time : 0.0 sec. user=mdettweiler [2013-03-29 04:29:01] 651*2^1243515-1 is not prime. Res64: 8377DB502DF2C27D Time : 0.0 sec. user=mdettweiler [2013-03-29 04:29:02] 903*2^1243515-1 is not prime. Res64: E1C60FA884A63D05 Time : 0.0 sec. user=juhehe [2013-03-29 04:31:30] 825*2^1243511-1 is not prime. Res64: 4AC17FDA4945DB6D Time : 0.0 sec. user=juhehe [2013-03-29 04:38:11] 665*2^1243512-1 is not prime. Res64: E59F473247AA5F22 Time : 0.0 sec. user=mdettweiler [2013-03-29 04:39:42] 677*2^1243516-1 is not prime. Res64: B6ED29CC8FB57AA6 Time : 0.0 sec. user=mdettweiler [2013-03-29 04:39:42] 693*2^1243516-1 is not prime. Res64: C9070189240A4731 Time : 0.0 sec. user=mdettweiler [2013-03-29 04:46:29] 735*2^1243516-1 is not prime. Res64: 68AF803957CE5702 Time : 0.0 sec. user=mdettweiler [2013-03-29 04:46:30] 759*2^1243516-1 is not prime. Res64: 97439123003ED6B4 Time : 0.0 sec. user=mdettweiler [2013-03-29 04:57:16] 833*2^1243516-1 is not prime. Res64: 7E8EEB3481D6FA5D Time : 0.0 sec. user=mdettweiler [2013-03-29 04:57:16] 875*2^1243516-1 is not prime. Res64: A68EDAEAF66A54DA Time : 0.0 sec. user=mdettweiler [2013-03-29 05:03:56] 987*2^1243516-1 is not prime. Res64: F7BF1841DA538F71 Time : 0.0 sec. user=mdettweiler [2013-03-29 05:03:57] 615*2^1243517-1 is not prime. Res64: 418114A8826BCFD5 Time : 0.0 sec. user=mdettweiler [2013-03-29 05:14:45] 699*2^1243517-1 is not prime. Res64: 6E30DCEC3923265F Time : 0.0 sec. user=mdettweiler [2013-03-29 05:14:45] 715*2^1243517-1 is not prime. Res64: 66ED607020019CF5 Time : 0.0 sec. user=mdettweiler [2013-03-29 05:21:25] 729*2^1243517-1 is not prime. Res64: 5A0E9DFCD3121B0F Time : 0.0 sec. user=mdettweiler [2013-03-29 05:21:26] 741*2^1243517-1 is not prime. Res64: D77998F4B6AF5A3E Time : 0.0 sec. user=vaughan [2013-03-29 05:22:46] 629*2^1243516-1 is not prime. Res64: 62E8651485EC7F2E Time : 0.0 sec. user=mdettweiler [2013-03-29 05:32:17] 771*2^1243517-1 is not prime. Res64: F6599783D2D7E3DF Time : 0.0 sec. user=mdettweiler [2013-03-29 05:32:17] 825*2^1243517-1 is not prime. Res64: 10AC4B107802AC52 Time : 0.0 sec. user=mdettweiler [2013-03-29 05:38:55] 861*2^1243517-1 is not prime. Res64: 03426047E4C3BB02 Time : 0.0 sec. user=mdettweiler [2013-03-29 05:38:56] 635*2^1243518-1 is not prime. Res64: 403526F5483C5F6D Time : 0.0 sec. user=mdettweiler [2013-03-29 05:49:45] 737*2^1243518-1 is not prime. Res64: A26387318E92EC8E Time : 0.0 sec. user=mdettweiler [2013-03-29 05:49:46] 773*2^1243518-1 is not prime. Res64: 9F8F01817CDFA039 Time : 0.0 sec. user=mdettweiler [2013-03-29 05:56:25] 977*2^1243518-1 is not prime. Res64: 2176777D1CBFD5C0 Time : 0.0 sec. user=mdettweiler [2013-03-29 05:56:25] 619*2^1243519-1 is not prime. Res64: 93730667FFE412CD Time : 0.0 sec. user=vaughan [2013-03-29 06:01:04] 705*2^1243518-1 is not prime. Res64: DA369806A8E6274A Time : 0.0 sec. user=mdettweiler [2013-03-29 06:07:16] 645*2^1243519-1 is not prime. Res64: 2852182968B5F319 Time : 0.0 sec. user=mdettweiler [2013-03-29 06:07:17] 649*2^1243519-1 is not prime. Res64: 08DD69FFA7119910 Time : 0.0 sec. user=mdettweiler [2013-03-29 06:13:54] 675*2^1243519-1 is not prime. Res64: 2408D83310996000 Time : 0.0 sec. user=mdettweiler [2013-03-29 06:13:55] 853*2^1243519-1 is not prime. Res64: 76268AB0F07C2375 Time : 0.0 sec. user=mdettweiler [2013-03-29 06:24:45] 961*2^1243519-1 is not prime. Res64: A214D35DC0E49D9F Time : 0.0 sec. user=mdettweiler [2013-03-29 06:24:46] 665*2^1243520-1 is not prime. Res64: 5EE96E60C197F7A9 Time : 0.0 sec. user=mdettweiler [2013-03-29 06:31:23] 675*2^1243520-1 is not prime. Res64: A7FC9DF78834773B Time : 0.0 sec. user=mdettweiler [2013-03-29 06:31:23] 743*2^1243520-1 is not prime. Res64: E6B36C8648B56FD7 Time : 0.0 sec. user=juhehe [2013-03-29 06:37:48] 875*2^1243518-1 is not prime. Res64: 3803FCF7E31A65F7 Time : 0.0 sec. user=mdettweiler [2013-03-29 06:42:18] 857*2^1243520-1 is not prime. Res64: AD1FDA7376DF6582 Time : 0.0 sec. user=mdettweiler [2013-03-29 06:42:19] 959*2^1243520-1 is not prime. Res64: 31B7BA561B331B12 Time : 0.0 sec. user=juhehe [2013-03-29 06:44:26] 621*2^1243519-1 is not prime. Res64: E4794B46864B69AF Time : 0.0 sec. user=vaughan [2013-03-29 06:44:42] 943*2^1243519-1 is not prime. Res64: 780DFC635CDC9B7E Time : 0.0 sec. user=mdettweiler [2013-03-29 06:48:52] 995*2^1243520-1 is not prime. Res64: F7C3E3AFC92F22B6 Time : 0.0 sec. user=mdettweiler [2013-03-29 06:48:52] 735*2^1243521-1 is not prime. Res64: BF1BBE07E3AE1180 Time : 0.0 sec. user=mdettweiler [2013-03-29 06:59:46] 745*2^1243521-1 is not prime. Res64: 1CEFAA4A337186A8 Time : 0.0 sec. user=mdettweiler [2013-03-29 06:59:47] 777*2^1243521-1 is not prime. Res64: 8E93B6D654FFF260 Time : 0.0 sec. user=mdettweiler [2013-03-29 07:06:21] 861*2^1243521-1 is not prime. Res64: 9065ECE846CF4CB5 Time : 0.0 sec. user=mdettweiler [2013-03-29 07:06:22] 937*2^1243521-1 is not prime. Res64: AE4630348B6FB44F Time : 0.0 sec. user=mdettweiler [2013-03-29 07:17:14] 975*2^1243521-1 is not prime. Res64: 1327057420EBC920 Time : 0.0 sec. user=mdettweiler [2013-03-29 07:17:15] 785*2^1243522-1 is not prime. Res64: B1CC7E3F37EE6B51 Time : 0.0 sec. user=vaughan [2013-03-29 07:23:05] 847*2^1243521-1 is not prime. Res64: B0B43177196E9CB2 Time : 0.0 sec. user=mdettweiler [2013-03-29 07:23:57] 813*2^1243522-1 is not prime. Res64: 246FD42AB38F9B24 Time : 0.0 sec. user=mdettweiler [2013-03-29 07:23:58] 815*2^1243522-1 is not prime. Res64: 52886D742B123476 Time : 0.0 sec. user=mdettweiler [2013-03-29 07:34:43] 987*2^1243522-1 is not prime. Res64: 1F02D9C284313583 Time : 0.0 sec. user=mdettweiler [2013-03-29 07:34:44] 741*2^1243523-1 is not prime. Res64: C4A39BD4005C19C7 Time : 0.0 sec. user=mdettweiler [2013-03-29 07:41:26] 635*2^1243524-1 is not prime. Res64: 0E32CEEE86670D49 Time : 0.0 sec. user=mdettweiler [2013-03-29 07:41:27] 693*2^1243524-1 is not prime. Res64: AA16FAE30F7581F2 Time : 0.0 sec. user=mdettweiler [2013-03-29 07:52:12] 783*2^1243524-1 is not prime. Res64: A6A382909C43B736 Time : 0.0 sec. user=mdettweiler [2013-03-29 07:52:12] 789*2^1243524-1 is not prime. Res64: 525E6EC05B82EC8F Time : 0.0 sec. user=mdettweiler [2013-03-29 07:58:54] 899*2^1243524-1 is not prime. Res64: 894AB9E0C205A9D8 Time : 0.0 sec. user=mdettweiler [2013-03-29 07:58:55] 905*2^1243524-1 is not prime. Res64: E7AB73B7C24E2DEF Time : 0.0 sec. user=vaughan [2013-03-29 08:01:29] 627*2^1243524-1 is not prime. Res64: 7D43D6AEA030D11C Time : 0.0 sec. user=mdettweiler [2013-03-29 08:09:42] 679*2^1243525-1 is not prime. Res64: A18C946035EB7FCD Time : 0.0 sec. user=mdettweiler [2013-03-29 08:09:42] 831*2^1243525-1 is not prime. Res64: 488114D34F841525 Time : 0.0 sec. user=mdettweiler [2013-03-29 08:16:24] 861*2^1243525-1 is not prime. Res64: 223E4BCAB89D8F75 Time : 0.0 sec. user=mdettweiler [2013-03-29 08:16:25] 885*2^1243525-1 is not prime. Res64: B793B57E0D55B908 Time : 0.0 sec. user=mdettweiler [2013-03-29 08:27:10] 985*2^1243525-1 is not prime. Res64: 6413BEC393A0067F Time : 0.0 sec. user=mdettweiler [2013-03-29 08:27:10] 813*2^1243526-1 is not prime. Res64: 590DEAC27A8592D7 Time : 0.0 sec. user=mdettweiler [2013-03-29 08:34:11] 825*2^1243526-1 is not prime. Res64: DCA985C522406992 Time : 0.0 sec. user=mdettweiler [2013-03-29 08:34:12] 857*2^1243526-1 is not prime. Res64: B8B6DC76CBB3E7B4 Time : 0.0 sec. user=vaughan [2013-03-29 08:40:03] 919*2^1243525-1 is not prime. Res64: 0E7DE2F7E44BA874 Time : 0.0 sec. user=mdettweiler [2013-03-29 08:44:38] 601*2^1243527-1 is not prime. Res64: 5DDD8B77FD6D7E52 Time : 0.0 sec. user=mdettweiler [2013-03-29 08:44:39] 619*2^1243527-1 is not prime. Res64: 6F540E643068C01F Time : 0.0 sec. user=juhehe [2013-03-29 08:44:39] 875*2^1243524-1 is not prime. Res64: 27F9D5DD5F905F67 Time : 0.0 sec. user=mdettweiler [2013-03-29 08:51:40] 675*2^1243527-1 is not prime. Res64: 56FAC08DF7B0DCBC Time : 0.0 sec. user=mdettweiler [2013-03-29 08:51:41] 859*2^1243527-1 is not prime. Res64: DEA2D0294034D4F5 Time : 0.0 sec. user=juhehe [2013-03-29 08:51:54] 909*2^1243524-1 is not prime. Res64: 4B2FB8E2EA40EFAD Time : 0.0 sec. user=mdettweiler [2013-03-29 09:02:08] 919*2^1243527-1 is not prime. Res64: 3CDD75AFAAA2FA79 Time : 0.0 sec. user=mdettweiler [2013-03-29 09:02:08] 961*2^1243527-1 is not prime. Res64: CC54E21ACC32DC12 Time : 0.0 sec. user=mdettweiler [2013-03-29 09:09:09] 979*2^1243527-1 is not prime. Res64: 0EE68C4EBA887055 Time : 0.0 sec. user=mdettweiler [2013-03-29 09:09:09] 605*2^1243528-1 is not prime. Res64: 0A5BE83DA0CE3962 Time : 0.0 sec. user=vaughan [2013-03-29 09:18:23] 873*2^1243527-1 is not prime. Res64: CB6B1140F7E952B4 Time : 0.0 sec. user=mdettweiler [2013-03-29 09:19:38] 639*2^1243528-1 is not prime. Res64: 8E0D1E4A7D10A1A5 Time : 0.0 sec. user=mdettweiler [2013-03-29 09:19:39] 845*2^1243528-1 is not prime. Res64: 5E31349DA1595093 Time : 0.0 sec. user=mdettweiler [2013-03-29 09:26:39] 927*2^1243528-1 is not prime. Res64: 93F5D94461A34338 Time : 0.0 sec. user=mdettweiler [2013-03-29 09:26:39] 957*2^1243528-1 is not prime. Res64: A176DECD7CDF501F Time : 0.0 sec. user=mdettweiler [2013-03-29 09:37:07] 721*2^1243529-1 is not prime. Res64: C1356041E9F00456 Time : 0.0 sec. user=mdettweiler [2013-03-29 09:37:08] 745*2^1243529-1 is not prime. Res64: ECFF8EE5BA7B37C2 Time : 0.0 sec. user=mdettweiler [2013-03-29 09:44:07] 811*2^1243529-1 is not prime. Res64: 5EF5739472D0E3F6 Time : 0.0 sec. user=mdettweiler [2013-03-29 09:44:08] 855*2^1243529-1 is not prime. Res64: D0E87E36ECF71AA9 Time : 0.0 sec. user=mdettweiler [2013-03-29 09:54:36] 861*2^1243529-1 is not prime. Res64: 52C07959EFBBEFD6 Time : 0.0 sec. user=mdettweiler [2013-03-29 09:54:37] 879*2^1243529-1 is not prime. Res64: DA4E7CFB87C70D77 Time : 0.0 sec. user=vaughan [2013-03-29 09:56:43] 691*2^1243529-1 is not prime. Res64: 907E346B81A19813 Time : 0.0 sec. user=mdettweiler [2013-03-29 10:01:35] 889*2^1243529-1 is not prime. Res64: 975C755AA8193CBB Time : 0.0 sec. user=mdettweiler [2013-03-29 10:01:37] 897*2^1243529-1 is not prime. Res64: E261C7A2278DE03E Time : 0.0 sec. user=mdettweiler [2013-03-29 10:12:04] 783*2^1243530-1 is not prime. Res64: 4F41CEDB69785D03 Time : 0.0 sec. user=mdettweiler [2013-03-29 10:12:04] 797*2^1243530-1 is not prime. Res64: B46C5B74B4AC8552 Time : 0.0 sec. user=mdettweiler [2013-03-29 10:19:06] 1001*2^1243530-1 is not prime. Res64: 238A1D5295A2AF9F Time : 0.0 sec. user=mdettweiler [2013-03-29 10:19:07] 649*2^1243531-1 is not prime. Res64: 54190C99E724DB89 Time : 0.0 sec. user=mdettweiler [2013-03-29 10:29:40] 715*2^1243531-1 is not prime. Res64: EF65403AFB56B06E Time : 0.0 sec. user=mdettweiler [2013-03-29 10:29:41] 829*2^1243531-1 is not prime. Res64: D14BFEB55AAAEE25 Time : 0.0 sec. user=mdettweiler [2013-03-29 10:36:34] 871*2^1243531-1 is not prime. Res64: BC8B6E03C5B22872 Time : 0.0 sec. user=mdettweiler [2013-03-29 10:36:35] 961*2^1243531-1 is not prime. Res64: 015FDCAB40469F7A Time : 0.0 sec. user=vaughan [2013-03-29 10:40:05] 945*2^1243530-1 is not prime. Res64: 0EE12A61661711C2 Time : 0.0 sec. user=mdettweiler [2013-03-29 10:47:10] 617*2^1243532-1 is not prime. Res64: CC44ED94EECAA9D2 Time : 0.0 sec. user=mdettweiler [2013-03-29 10:47:10] 687*2^1243532-1 is not prime. Res64: B0CEA01033470A3C Time : 0.0 sec. user=juhehe [2013-03-29 10:51:44] 907*2^1243529-1 is not prime. Res64: 8E1CB0D16B61383C Time : 0.0 sec. user=mdettweiler [2013-03-29 10:54:04] 717*2^1243532-1 is not prime. Res64: 4237D0F1EC6AB627 Time : 0.0 sec. user=mdettweiler [2013-03-29 10:54:04] 813*2^1243532-1 is not prime. Res64: 79F51C620F3CF31C Time : 0.0 sec. user=juhehe [2013-03-29 10:58:54] 641*2^1243530-1 is not prime. Res64: AFA64486D3819E55 Time : 0.0 sec. user=mdettweiler [2013-03-29 11:04:40] 867*2^1243532-1 is not prime. Res64: B0D1F8A7B5A63BDA Time : 0.0 sec. user=mdettweiler [2013-03-29 11:04:41] 699*2^1243533-1 is not prime. Res64: C4241857C8396C12 Time : 0.0 sec. user=mdettweiler [2013-03-29 11:11:33] 819*2^1243533-1 is not prime. Res64: 6432BE60BAFFBF1C Time : 0.0 sec. user=mdettweiler [2013-03-29 11:11:34] 847*2^1243533-1 is not prime. Res64: 77CBD4B6C8AA4F13 Time : 0.0 sec. user=vaughan [2013-03-29 11:18:26] 837*2^1243532-1 is not prime. Res64: 018D86D807E60F86 Time : 0.0 sec. user=mdettweiler [2013-03-29 11:22:15] 871*2^1243533-1 is not prime. Res64: 0D1C3B50A8C50C98 Time : 0.0 sec. user=mdettweiler [2013-03-29 11:22:16] 877*2^1243533-1 is not prime. Res64: 8DDCE7254C710CDB Time : 0.0 sec. user=mdettweiler [2013-03-29 11:29:02] 895*2^1243533-1 is not prime. Res64: 8A1A992D87EB6426 Time : 0.0 sec. user=mdettweiler [2013-03-29 11:29:03] 605*2^1243534-1 is not prime. Res64: 8941F40CBD30FBB5 Time : 0.0 sec. user=mdettweiler [2013-03-29 11:39:46] 755*2^1243534-1 is not prime. Res64: 42538875D6BB3471 Time : 0.0 sec. user=mdettweiler [2013-03-29 11:39:47] 765*2^1243534-1 is not prime. Res64: AB291E0D12B58C9E Time : 0.0 sec. user=mdettweiler [2013-03-29 11:46:31] 783*2^1243534-1 is not prime. Res64: 67B3A980FF70A3E5 Time : 0.0 sec. user=mdettweiler [2013-03-29 11:46:31] 863*2^1243534-1 is not prime. Res64: 4AD248031A6D3451 Time : 0.0 sec. user=vaughan [2013-03-29 11:56:42] 731*2^1243534-1 is not prime. Res64: 4536705C5FFC4751 Time : 0.0 sec. user=mdettweiler [2013-03-29 11:57:14] 887*2^1243534-1 is not prime. Res64: 215BBCE471498FCB Time : 0.0 sec. user=mdettweiler [2013-03-29 11:57:15] 643*2^1243535-1 is not prime. Res64: DF2574A9C46D45C4 Time : 0.0 sec. user=mdettweiler [2013-03-29 12:03:59] 645*2^1243535-1 is not prime. Res64: EF125B7FD9C5568A Time : 0.0 sec. user=mdettweiler [2013-03-29 12:04:01] 759*2^1243535-1 is not prime. Res64: 84CE585308DA8768 Time : 0.0 sec. user=mdettweiler [2013-03-29 12:14:42] 921*2^1243535-1 is not prime. Res64: 4D5819CF8C3EE8FC Time : 0.0 sec. user=mdettweiler [2013-03-29 12:14:43] 939*2^1243535-1 is not prime. Res64: E75B22DB02176400 Time : 0.0 sec. user=mdettweiler [2013-03-29 12:21:32] 609*2^1243536-1 is not prime. Res64: 02F18D5A73E16D98 Time : 0.0 sec. user=mdettweiler [2013-03-29 12:21:32] 873*2^1243536-1 is not prime. Res64: FF073238176213ED Time : 0.0 sec. user=mdettweiler [2013-03-29 12:32:12] 909*2^1243536-1 is not prime. Res64: CBDF1E5F8C4C8FF2 Time : 0.0 sec. user=mdettweiler [2013-03-29 12:32:13] 639*2^1243537-1 is not prime. Res64: 3827CC8EFC8E058E Time : 0.0 sec. user=vaughan [2013-03-29 12:35:06] 885*2^1243535-1 is not prime. Res64: 215305161ED7F889 Time : 0.0 sec. user=mdettweiler [2013-03-29 12:39:02] 649*2^1243537-1 is not prime. Res64: 526D506D4ED69C00 Time : 0.0 sec. user=mdettweiler [2013-03-29 12:39:03] 687*2^1243537-1 is not prime. Res64: 368682A26AA33361 Time : 0.0 sec. user=mdettweiler [2013-03-29 12:49:43] 727*2^1243537-1 is not prime. Res64: F51E234C496CB48E Time : 0.0 sec. user=mdettweiler [2013-03-29 12:49:45] 751*2^1243537-1 is not prime. Res64: E8E644D57E1089B6 Time : 0.0 sec. user=mdettweiler [2013-03-29 12:56:31] 819*2^1243537-1 is not prime. Res64: EFFC3168B8BF951B Time : 0.0 sec. user=mdettweiler [2013-03-29 12:56:32] 829*2^1243537-1 is not prime. Res64: 8927182BD8DBA231 Time : 0.0 sec. user=juhehe [2013-03-29 12:58:20] 883*2^1243535-1 is not prime. Res64: 80B9C77788709058 Time : 0.0 sec. user=mdettweiler [2013-03-29 13:07:16] 847*2^1243537-1 is not prime. Res64: 270BF53C928F5F24 Time : 0.0 sec. user=mdettweiler [2013-03-29 13:07:18] 861*2^1243537-1 is not prime. Res64: 85C579B9E0C7405B Time : 0.0 sec. user=vaughan [2013-03-29 13:13:25] 777*2^1243537-1 is not prime. Res64: 141ED733CA9195DA Time : 0.0 sec. user=juhehe [2013-03-29 13:13:35] 969*2^1243535-1 is not prime. Res64: A1445D007101EDE1 Time : 0.0 sec. user=mdettweiler [2013-03-29 13:14:03] 687*2^1243538-1 is not prime. Res64: 2C34AA60FCA849C5 Time : 0.0 sec. user=mdettweiler [2013-03-29 13:14:05] 743*2^1243538-1 is not prime. Res64: 72BEB6ED3CD39C22 Time : 0.0 sec. user=mdettweiler [2013-03-29 13:24:52] 773*2^1243538-1 is not prime. Res64: 5BE4C564B1828D34 Time : 0.0 sec. user=mdettweiler [2013-03-29 13:24:53] 825*2^1243538-1 is not prime. Res64: 2F6B7E505F4600F3 Time : 0.0 sec. user=mdettweiler [2013-03-29 13:31:37] 703*2^1243539-1 is not prime. Res64: B95242F1BAC01F8A Time : 0.0 sec. user=mdettweiler [2013-03-29 13:31:38] 769*2^1243539-1 is not prime. Res64: 39D556166C513E1F Time : 0.0 sec. user=mdettweiler [2013-03-29 13:42:23] 789*2^1243539-1 is not prime. Res64: 41DA4A2627FF3430 Time : 0.0 sec. user=mdettweiler [2013-03-29 13:42:24] 843*2^1243539-1 is not prime. Res64: 7404EE76278E4058 Time : 0.0 sec. user=mdettweiler [2013-03-29 13:49:07] 999*2^1243539-1 is not prime. Res64: AFD9899448BC0412 Time : 0.0 sec. user=mdettweiler [2013-03-29 13:49:08] 689*2^1243540-1 is not prime. Res64: 4702FD9F17979600 Time : 0.0 sec. user=vaughan [2013-03-29 13:57:14] 971*2^1243538-1 is not prime. Res64: 3D53777A84AB078C Time : 0.0 sec. user=mdettweiler [2013-03-29 13:59:55] 699*2^1243540-1 is not prime. Res64: FA95D04A370708DF Time : 0.0 sec. user=mdettweiler [2013-03-29 13:59:55] 717*2^1243540-1 is not prime. Res64: 888F3EAA8F369A3A Time : 0.0 sec. user=mdettweiler [2013-03-29 14:06:38] 759*2^1243540-1 is not prime. Res64: 5E64AFF3EE400CC2 Time : 0.0 sec. user=mdettweiler [2013-03-29 14:06:39] 827*2^1243540-1 is not prime. Res64: 1B30825C171311E7 Time : 0.0 sec. user=mdettweiler [2013-03-29 14:17:25] 933*2^1243540-1 is not prime. Res64: 752E6CA7D4C778AB Time : 0.0 sec. user=mdettweiler [2013-03-29 14:17:26] 669*2^1243541-1 is not prime. Res64: 3B47CDC0E883442D Time : 0.0 sec. user=mdettweiler [2013-03-29 14:24:14] 741*2^1243541-1 is not prime. Res64: FFA3E68B17DFBA07 Time : 0.0 sec. user=mdettweiler [2013-03-29 14:24:15] 769*2^1243541-1 is not prime. Res64: 0939D2C047936CEE Time : 0.0 sec. user=mdettweiler [2013-03-29 14:35:07] 987*2^1243541-1 is not prime. Res64: 1595C0C50C3C66D5 Time : 0.0 sec. user=mdettweiler [2013-03-29 14:35:08] 665*2^1243542-1 is not prime. Res64: 6FDE7441174A6BCF Time : 0.0 sec. user=vaughan [2013-03-29 14:35:33] 839*2^1243540-1 is not prime. Res64: 55B36428BD166AE1 Time : 0.0 sec. user=mdettweiler [2013-03-29 14:41:56] 705*2^1243542-1 is not prime. Res64: 8CEB161A57667DDF Time : 0.0 sec. user=mdettweiler [2013-03-29 14:41:57] 725*2^1243542-1 is not prime. Res64: 3F9CCBDFC994C6EB Time : 0.0 sec. user=mdettweiler [2013-03-29 14:52:50] 685*2^1243543-1 is not prime. Res64: 9034EC1F8CF84337 Time : 0.0 sec. user=mdettweiler [2013-03-29 14:52:51] 741*2^1243543-1 is not prime. Res64: 50F61D69768532E5 Time : 0.0 sec. user=mdettweiler [2013-03-29 14:59:36] 773*2^1243544-1 is not prime. Res64: B89652538FC19458 Time : 0.0 sec. user=mdettweiler [2013-03-29 14:59:37] 873*2^1243544-1 is not prime. Res64: B4427B171CB3B97F Time : 0.0 sec. user=juhehe [2013-03-29 15:07:18] 691*2^1243541-1 is not prime. Res64: D0D065118F66317C Time : 0.0 sec. user=mdettweiler [2013-03-29 15:10:32] 917*2^1243544-1 is not prime. Res64: CD1FFA6FC474DF81 Time : 0.0 sec. user=mdettweiler [2013-03-29 15:10:33] 717*2^1243545-1 is not prime. Res64: 0916B85EF7A83478 Time : 0.0 sec. user=vaughan [2013-03-29 15:13:50] 895*2^1243543-1 is not prime. Res64: 65CD1648BABB81EB Time : 0.0 sec. user=mdettweiler [2013-03-29 15:17:20] 721*2^1243545-1 is not prime. Res64: 0818A712948150B5 Time : 0.0 sec. user=mdettweiler [2013-03-29 15:17:21] 739*2^1243545-1 is not prime. Res64: BDB2479DC5E4CCC1 Time : 0.0 sec. user=juhehe [2013-03-29 15:20:56] 861*2^1243541-1 is not prime. Res64: 59D7F6B5E1DC246C Time : 0.0 sec. user=mdettweiler [2013-03-29 15:28:13] 895*2^1243545-1 is not prime. Res64: 75E20333DF975CFB Time : 0.0 sec. user=mdettweiler [2013-03-29 15:28:14] 949*2^1243545-1 is not prime. Res64: 689ADBFDA614022B Time : 0.0 sec. user=mdettweiler [2013-03-29 15:35:01] 677*2^1243546-1 is not prime. Res64: 6EF0BAE702428D92 Time : 0.0 sec. user=mdettweiler [2013-03-29 15:35:02] 695*2^1243546-1 is not prime. Res64: E12C48D8F893EDE6 Time : 0.0 sec. user=mdettweiler [2013-03-29 15:45:53] 701*2^1243546-1 is not prime. Res64: 634B6F326525937A Time : 0.0 sec. user=mdettweiler [2013-03-29 15:45:54] 737*2^1243546-1 is not prime. Res64: 4F8C6DBFF96A4DDA Time : 0.0 sec. user=vaughan [2013-03-29 15:52:07] 623*2^1243546-1 is not prime. Res64: 4AB21FE599AE70CB Time : 0.0 sec. user=mdettweiler [2013-03-29 15:52:40] 765*2^1243546-1 is not prime. Res64: 565E29310C4F3C28 Time : 0.0 sec. user=mdettweiler [2013-03-29 15:52:41] 619*2^1243547-1 is not prime. Res64: 46C439968C787A08 Time : 0.0 sec. user=mdettweiler [2013-03-29 16:03:33] 735*2^1243547-1 is not prime. Res64: E33FEF3EB9FF8719 Time : 0.0 sec. user=mdettweiler [2013-03-29 16:03:34] 759*2^1243547-1 is not prime. Res64: 497FF1AD4CC1DB81 Time : 0.0 sec. user=mdettweiler [2013-03-29 16:10:19] 903*2^1243547-1 is not prime. Res64: 1AB1E4D2DD757306 Time : 0.0 sec. user=mdettweiler [2013-03-29 16:10:20] 939*2^1243547-1 is not prime. Res64: 64799BEC7990D141 Time : 0.0 sec. user=mdettweiler [2013-03-29 16:21:18] 973*2^1243547-1 is not prime. Res64: A968D1B8440C5942 Time : 0.0 sec. user=mdettweiler [2013-03-29 16:21:20] 979*2^1243547-1 is not prime. Res64: 329EE8921ED3786A Time : 0.0 sec. user=mdettweiler [2013-03-29 16:28:02] 825*2^1243548-1 is not prime. Res64: 0106DCEA5444F525 Time : 0.0 sec. user=mdettweiler [2013-03-29 16:28:02] 639*2^1243549-1 is not prime. Res64: F75FF0E9B2ED15CB Time : 0.0 sec. user=vaughan [2013-03-29 16:30:25] 801*2^1243547-1 is not prime. Res64: E0112BEAF1554BC5 Time : 0.0 sec. user=mdettweiler [2013-03-29 16:39:19] 747*2^1243549-1 is not prime. Res64: 98974383B4F4C91E Time : 0.0 sec. user=mdettweiler [2013-03-29 16:39:20] 771*2^1243549-1 is not prime. Res64: 9250635AB46847F0 Time : 0.0 sec. user=mdettweiler [2013-03-29 16:45:42] 829*2^1243549-1 is not prime. Res64: A9B12678A5B02574 Time : 0.0 sec. user=mdettweiler [2013-03-29 16:45:43] 615*2^1243550-1 is not prime. Res64: D16FDE70C1F34BC7 Time : 0.0 sec. user=mdettweiler [2013-03-29 16:56:54] 687*2^1243550-1 is not prime. Res64: 3452AA588A0AF4CA Time : 0.0 sec. user=mdettweiler [2013-03-29 16:56:54] 843*2^1243550-1 is not prime. Res64: CF8D12ECD32D378F Time : 0.0 sec. user=mdettweiler [2013-03-29 17:03:18] 887*2^1243550-1 is not prime. Res64: E169594F4BA778BE Time : 0.0 sec. user=mdettweiler [2013-03-29 17:03:19] 751*2^1243551-1 is not prime. Res64: 317F5DE2D7B2FF5D Time : 0.0 sec. user=vaughan [2013-03-29 17:08:47] 675*2^1243550-1 is not prime. Res64: 4472DC35E91F7455 Time : 0.0 sec. user=mdettweiler [2013-03-29 17:14:27] 769*2^1243551-1 is not prime. Res64: DAE48D118F4FFD89 Time : 0.0 sec. user=mdettweiler [2013-03-29 17:14:28] 775*2^1243551-1 is not prime. Res64: 509B071D2C02A5EE Time : 0.0 sec. user=juhehe [2013-03-29 17:16:01] 705*2^1243548-1 is not prime. Res64: 1A8760371A8AE3EB Time : 0.0 sec. user=mdettweiler [2013-03-29 17:21:03] 783*2^1243551-1 is not prime. Res64: 906B56BC3C81416A Time : 0.0 sec. user=mdettweiler [2013-03-29 17:21:04] 933*2^1243551-1 is not prime. Res64: 9C847AB6E7EF5B3F Time : 0.0 sec. user=juhehe [2013-03-29 17:30:16] 817*2^1243549-1 is not prime. Res64: 6BA82B355AE9E5CD Time : 0.0 sec. user=mdettweiler [2013-03-29 17:32:01] 603*2^1243552-1 is not prime. Res64: 6185E9577B5EE9E8 Time : 0.0 sec. user=mdettweiler [2013-03-29 17:32:01] 609*2^1243552-1 is not prime. Res64: 89BD51063ADB0D83 Time : 0.0 sec. user=mdettweiler [2013-03-29 17:38:40] 635*2^1243552-1 is not prime. Res64: 261E25664D333B9A Time : 0.0 sec. user=mdettweiler [2013-03-29 17:38:41] 677*2^1243552-1 is not prime. Res64: 37A0A70215BCC44E Time : 0.0 sec. user=mdettweiler [2013-03-29 17:49:34] 869*2^1243552-1 is not prime. Res64: 8CB1E06F6D3F2A8F Time : 0.0 sec. user=mdettweiler [2013-03-29 17:49:34] 939*2^1243552-1 is not prime. Res64: 6953B82426EE3565 Time : 0.0 sec. user=vaughan [2013-03-29 17:52:12] 991*2^1243551-1 is not prime. Res64: 4A3DB4E88A65D53B Time : 0.0 sec. user=mdettweiler [2013-03-29 17:56:15] 959*2^1243552-1 is not prime. Res64: A34FA60B0990781E Time : 0.0 sec. user=mdettweiler [2013-03-29 17:56:16] 999*2^1243552-1 is not prime. Res64: 0A9E32A2EC6BC98E Time : 0.0 sec. user=mdettweiler [2013-03-29 18:07:08] 691*2^1243553-1 is not prime. Res64: 1EA43BE5CE5219F4 Time : 0.0 sec. user=mdettweiler [2013-03-29 18:07:09] 697*2^1243553-1 is not prime. Res64: A0332C4B008CDA0E Time : 0.0 sec. user=mdettweiler [2013-03-29 18:13:50] 811*2^1243553-1 is not prime. Res64: B8DECB42246E9F26 Time : 0.0 sec. user=mdettweiler [2013-03-29 18:13:52] 897*2^1243553-1 is not prime. Res64: 76A08CF05F1DB4B5 Time : 0.0 sec. user=mdettweiler [2013-03-29 18:25:43] 651*2^1243554-1 is not prime. Res64: 588BC820FDFD5F7A Time : 0.0 sec. user=mdettweiler [2013-03-29 18:25:44] 767*2^1243554-1 is not prime. Res64: 347C51BE1D7CC57E Time : 0.0 sec. user=vaughan [2013-03-29 18:30:32] 781*2^1243553-1 is not prime. Res64: 40722D14CEFE3548 Time : 0.0 sec. user=mdettweiler [2013-03-29 18:31:41] 773*2^1243554-1 is not prime. Res64: 5CE083CEB5F6589C Time : 0.0 sec. user=mdettweiler [2013-03-29 18:31:42] 837*2^1243554-1 is not prime. Res64: FBAE43DC1C18BDDF Time : 0.0 sec. user=mdettweiler [2013-03-29 18:43:16] 693*2^1243555-1 is not prime. Res64: 59C6E5A00EC11698 Time : 0.0 sec. user=mdettweiler [2013-03-29 18:43:16] 741*2^1243555-1 is not prime. Res64: 58A77E10EF1CD17D Time : 0.0 sec. user=mdettweiler [2013-03-29 18:49:14] 883*2^1243555-1 is not prime. Res64: 0A324F298C0E29A3 Time : 0.0 sec. user=mdettweiler [2013-03-29 18:49:15] 925*2^1243555-1 is not prime. Res64: 2A371B4F29E788AD Time : 0.0 sec. user=mdettweiler [2013-03-29 19:00:53] 953*2^1243556-1 is not prime. Res64: 74062FB023B897AB Time : 0.0 sec. user=mdettweiler [2013-03-29 19:00:54] 615*2^1243557-1 is not prime. Res64: 2DBF3E268096A374 Time : 0.0 sec. user=mdettweiler [2013-03-29 19:06:48] 655*2^1243557-1 is not prime. Res64: D5F5C2BBAA2B2C66 Time : 0.0 sec. user=mdettweiler [2013-03-29 19:06:48] 685*2^1243557-1 is not prime. Res64: C5B67123D9CA77FC Time : 0.0 sec. user=vaughan [2013-03-29 19:08:49] 871*2^1243555-1 is not prime. Res64: 911D986BE7050844 Time : 0.0 sec. user=mdettweiler [2013-03-29 19:18:52] 699*2^1243557-1 is not prime. Res64: B2D956822AC45F66 Time : 0.0 sec. user=mdettweiler [2013-03-29 19:18:53] 717*2^1243557-1 is not prime. Res64: 1D5CDD916854AB17 Time : 0.0 sec. user=juhehe [2013-03-29 19:23:00] 663*2^1243555-1 is not prime. Res64: 908220F944CAFFA9 Time : 0.0 sec. user=mdettweiler [2013-03-29 19:24:25] 735*2^1243557-1 is not prime. Res64: 1B735878CD360176 Time : 0.0 sec. user=mdettweiler [2013-03-29 19:24:26] 747*2^1243557-1 is not prime. Res64: 4DC5825FE67A4197 Time : 0.0 sec. user=mdettweiler [2013-03-29 19:36:28] 781*2^1243557-1 is not prime. Res64: C6AE45885DD1FD30 Time : 0.0 sec. user=mdettweiler [2013-03-29 19:36:29] 819*2^1243557-1 is not prime. Res64: 8A5B07B5507E974F Time : 0.0 sec. user=juhehe [2013-03-29 19:37:01] 903*2^1243556-1 is not prime. Res64: 78C6411EA01D410F Time : 0.0 sec. user=mdettweiler [2013-03-29 19:41:59] 825*2^1243557-1 is not prime. Res64: 935FE9FA0C47016D Time : 0.0 sec. user=mdettweiler [2013-03-29 19:42:00] 847*2^1243557-1 is not prime. Res64: 5A79C1113D6720F0 Time : 0.0 sec. user=vaughan [2013-03-29 19:47:07] 777*2^1243557-1 is not prime. Res64: 0614B00CCA99537D Time : 0.0 sec. user=mdettweiler [2013-03-29 19:54:03] 901*2^1243557-1 is not prime. Res64: 41F36EC12EFD4B20 Time : 0.0 sec. user=mdettweiler [2013-03-29 19:54:03] 975*2^1243557-1 is not prime. Res64: EC75F042A481DCFB Time : 0.0 sec. user=mdettweiler [2013-03-29 19:59:31] 663*2^1243558-1 is not prime. Res64: 878D4D8AA32E40D6 Time : 0.0 sec. user=mdettweiler [2013-03-29 19:59:32] 705*2^1243558-1 is not prime. Res64: 8B67BC751E819E60 Time : 0.0 sec. user=mdettweiler [2013-03-29 20:11:35] 897*2^1243558-1 is not prime. Res64: 663625744B25C04C Time : 0.0 sec. user=mdettweiler [2013-03-29 20:11:35] 661*2^1243559-1 is not prime. Res64: 2B1E807B423EC525 Time : 0.0 sec. user=mdettweiler [2013-03-29 20:17:03] 669*2^1243559-1 is not prime. Res64: 3C35A054759A46AB Time : 0.0 sec. user=mdettweiler [2013-03-29 20:17:04] 675*2^1243559-1 is not prime. Res64: 2DAE33DE21B0614E Time : 0.0 sec. user=vaughan [2013-03-29 20:25:22] 815*2^1243558-1 is not prime. Res64: A89F2B99BD6A72FB Time : 0.0 sec. user=mdettweiler [2013-03-29 20:29:19] 705*2^1243559-1 is not prime. Res64: A969BDA3DD917D2C Time : 0.0 sec. user=mdettweiler [2013-03-29 20:29:20] 811*2^1243559-1 is not prime. Res64: 538BA4121CBA8C67 Time : 0.0 sec. user=mdettweiler [2013-03-29 20:34:44] 675*2^1243560-1 is not prime. Res64: 98A8F00E36D14A14 Time : 0.0 sec. user=mdettweiler [2013-03-29 20:34:45] 765*2^1243560-1 is not prime. Res64: 4B92BA17756BF872 Time : 0.0 sec. user=mdettweiler [2013-03-29 20:46:55] 839*2^1243560-1 is not prime. Res64: 29FDDD3E432790C3 Time : 0.0 sec. user=mdettweiler [2013-03-29 20:46:56] 893*2^1243560-1 is not prime. Res64: 9BB57B4BBF18B648 Time : 0.0 sec. user=mdettweiler [2013-03-29 20:52:21] 933*2^1243560-1 is not prime. Res64: 6431B92AB08CD6C4 Time : 0.0 sec. user=mdettweiler [2013-03-29 20:52:21] 607*2^1243561-1 is not prime. Res64: C0ECEA53B1F92FBD Time : 0.0 sec. user=vaughan [2013-03-29 21:03:40] 797*2^1243560-1 is not prime. Res64: FF22AE719A4B3219 Time : 0.0 sec. user=mdettweiler [2013-03-29 21:04:34] 649*2^1243561-1 is not prime. Res64: 2D277478834B7EA6 Time : 0.0 sec. user=mdettweiler [2013-03-29 21:04:35] 651*2^1243561-1 is not prime. Res64: E27DC7D75884C23F Time : 0.0 sec. user=mdettweiler [2013-03-29 21:09:58] 679*2^1243561-1 is not prime. Res64: C130BE40988FAF84 Time : 0.0 sec. user=mdettweiler [2013-03-29 21:09:59] 747*2^1243561-1 is not prime. Res64: 04CA8EA327C29FF6 Time : 0.0 sec. user=mdettweiler [2013-03-29 21:22:11] 645*2^1243562-1 is not prime. Res64: 98B90D69C622638F Time : 0.0 sec. user=mdettweiler [2013-03-29 21:22:12] 713*2^1243562-1 is not prime. Res64: 069E66034DB4F132 Time : 0.0 sec. user=mdettweiler [2013-03-29 21:27:38] 743*2^1243562-1 is not prime. Res64: 784257F3015A1E89 Time : 0.0 sec. user=mdettweiler [2013-03-29 21:27:38] 755*2^1243562-1 is not prime. Res64: 77AF73DBB16CA020 Time : 0.0 sec. user=juhehe [2013-03-29 21:29:48] 795*2^1243560-1 is not prime. Res64: EE768743741E0AA1 Time : 0.0 sec. user=mdettweiler [2013-03-29 21:39:51] 873*2^1243562-1 is not prime. Res64: 7537BAC720A2D54A Time : 0.0 sec. user=mdettweiler [2013-03-29 21:39:52] 609*2^1243563-1 is not prime. Res64: 7376086F8B694703 Time : 0.0 sec. user=vaughan [2013-03-29 21:41:59] 937*2^1243561-1 is not prime. Res64: C126FDEF97706C26 Time : 0.0 sec. user=juhehe [2013-03-29 21:44:04] 637*2^1243561-1 is not prime. Res64: 1A07DFCB54947B44 Time : 0.0 sec. user=mdettweiler [2013-03-29 21:45:14] 663*2^1243563-1 is not prime. Res64: 580B5573250E6CB1 Time : 0.0 sec. user=mdettweiler [2013-03-29 21:45:15] 679*2^1243563-1 is not prime. Res64: 79BD34A3636A34DA Time : 0.0 sec. user=mdettweiler [2013-03-29 21:57:28] 721*2^1243563-1 is not prime. Res64: AF96BDFB87D13FD8 Time : 0.0 sec. user=mdettweiler [2013-03-29 21:57:29] 795*2^1243563-1 is not prime. Res64: 216A8B30BC0DD4D4 Time : 0.0 sec. user=mdettweiler [2013-03-29 22:02:51] 955*2^1243563-1 is not prime. Res64: 57D2B34BA5F8F2B6 Time : 0.0 sec. user=mdettweiler [2013-03-29 22:02:51] 963*2^1243563-1 is not prime. Res64: 7AE9FBB9CC8B7D14 Time : 0.0 sec. user=mdettweiler [2013-03-29 22:15:07] 657*2^1243564-1 is not prime. Res64: 9BEC9146D06567AE Time : 0.0 sec. user=mdettweiler [2013-03-29 22:15:10] 869*2^1243564-1 is not prime. Res64: B2C54D1317E6D8E4 Time : 0.0 sec. user=vaughan [2013-03-29 22:20:14] 829*2^1243563-1 is not prime. Res64: 446D3DFC99035F13 Time : 0.0 sec. user=mdettweiler [2013-03-29 22:20:29] 887*2^1243564-1 is not prime. Res64: 7005ACCD8321F0CE Time : 0.0 sec. user=mdettweiler [2013-03-29 22:20:29] 915*2^1243564-1 is not prime. Res64: 114E580853F10617 Time : 0.0 sec. user=mdettweiler [2013-03-29 22:33:07] 989*2^1243564-1 is not prime. Res64: 4BE9AD52F717762E Time : 0.0 sec. user=mdettweiler [2013-03-29 22:33:07] 669*2^1243565-1 is not prime. Res64: D08D66244E209272 Time : 0.0 sec. user=mdettweiler [2013-03-29 22:38:07] 721*2^1243565-1 is not prime. Res64: C0063F9E6B54642C Time : 0.0 sec. user=mdettweiler [2013-03-29 22:38:08] 757*2^1243565-1 is not prime. Res64: 1CB479D9AC773C5F Time : 0.0 sec. user=mdettweiler [2013-03-29 22:50:41] 799*2^1243565-1 is not prime. Res64: 17F5A4FA31F2618F Time : 0.0 sec. user=mdettweiler [2013-03-29 22:50:42] 825*2^1243565-1 is not prime. Res64: BFF65243B8550803 Time : 0.0 sec. user=mdettweiler [2013-03-29 22:55:43] 671*2^1243566-1 is not prime. Res64: 51CD0063435468DF Time : 0.0 sec. user=mdettweiler [2013-03-29 22:55:44] 677*2^1243566-1 is not prime. Res64: 0D9A44E09F034784 Time : 0.0 sec. user=vaughan [2013-03-29 22:58:32] 717*2^1243565-1 is not prime. Res64: 17949E2592B788FA Time : 0.0 sec. user=mdettweiler [2013-03-29 23:08:29] 755*2^1243566-1 is not prime. Res64: 9027E95E1DA9965A Time : 0.0 sec. user=mdettweiler [2013-03-29 23:08:30] 767*2^1243566-1 is not prime. Res64: 54E6A0CCBC92E8C8 Time : 0.0 sec. user=mdettweiler [2013-03-29 23:13:30] 843*2^1243566-1 is not prime. Res64: EFAD26D8E8A6A9E7 Time : 0.0 sec. user=mdettweiler [2013-03-29 23:13:30] 891*2^1243566-1 is not prime. Res64: 7ABD240F7780044D Time : 0.0 sec. user=mdettweiler [2013-03-29 23:26:31] 703*2^1243567-1 is not prime. Res64: BCA9256EE53D11EE Time : 0.0 sec. user=mdettweiler [2013-03-29 23:26:32] 831*2^1243567-1 is not prime. Res64: 5F51782AFDA2FA28 Time : 0.0 sec. user=mdettweiler [2013-03-29 23:31:31] 889*2^1243567-1 is not prime. Res64: 9D2DEDCAB7CF133A Time : 0.0 sec. user=mdettweiler [2013-03-29 23:31:32] 925*2^1243567-1 is not prime. Res64: 1D042B179F74E30C Time : 0.0 sec. user=juhehe [2013-03-29 23:36:28] 777*2^1243565-1 is not prime. Res64: B3701993E10F9B7F Time : 0.0 sec. user=vaughan [2013-03-29 23:36:43] 933*2^1243566-1 is not prime. Res64: 6AFA1E30F4593E2C Time : 0.0 sec. user=mdettweiler [2013-03-29 23:44:16] 933*2^1243567-1 is not prime. Res64: 7D42A17CAC656836 Time : 0.0 sec. user=mdettweiler [2013-03-29 23:44:16] 985*2^1243567-1 is not prime. Res64: 5D713141B1C8372B Time : 0.0 sec. user=mdettweiler [2013-03-29 23:49:05] 635*2^1243568-1 is not prime. Res64: 4431C8946A524D75 Time : 0.0 sec. user=mdettweiler [2013-03-29 23:49:06] 657*2^1243568-1 is not prime. Res64: 3C4821F1828FE421 Time : 0.0 sec. user=juhehe [2013-03-29 23:50:49] 741*2^1243566-1 is not prime. Res64: 085DECBFAD738B95 Time : 0.0 sec.