user=mdettweiler [2013-04-08 00:05:29] 935*2^1244174-1 is not prime. Res64: EAA9A01019C23A90 Time : 0.0 sec. user=mdettweiler [2013-04-08 00:05:31] 971*2^1244174-1 is not prime. Res64: 691EDB6DC5ADFE40 Time : 0.0 sec. user=mdettweiler [2013-04-08 00:06:08] 619*2^1244175-1 is not prime. Res64: 21E90F1DE1BD3BFF Time : 0.0 sec. user=mdettweiler [2013-04-08 00:06:09] 675*2^1244175-1 is not prime. Res64: 6CD00C86D3386B1A Time : 0.0 sec. user=vaughan [2013-04-08 00:07:01] 979*2^1244173-1 is not prime. Res64: D9018468ECF804E1 Time : 0.0 sec. user=mdettweiler [2013-04-08 00:24:13] 691*2^1244175-1 is not prime. Res64: 5424F50FE3FB563C Time : 0.0 sec. user=mdettweiler [2013-04-08 00:24:14] 765*2^1244175-1 is not prime. Res64: 09E52B5C18E804F2 Time : 0.0 sec. user=mdettweiler [2013-04-08 00:24:48] 781*2^1244175-1 is not prime. Res64: 5F5CFD3BB61B5A0A Time : 0.0 sec. user=mdettweiler [2013-04-08 00:24:48] 933*2^1244175-1 is not prime. Res64: 700165CDFC7C97B1 Time : 0.0 sec. user=mdettweiler [2013-04-08 00:42:20] 639*2^1244176-1 is not prime. Res64: 21A9A523FF3CB981 Time : 0.0 sec. user=mdettweiler [2013-04-08 00:42:21] 657*2^1244176-1 is not prime. Res64: D078F9FE067AB2FD Time : 0.0 sec. user=mdettweiler [2013-04-08 00:42:50] 677*2^1244176-1 is not prime. Res64: 2834B450019A5990 Time : 0.0 sec. user=mdettweiler [2013-04-08 00:42:50] 693*2^1244176-1 is not prime. Res64: 82034A01BC9F3161 Time : 0.0 sec. user=vaughan [2013-04-08 00:45:16] 629*2^1244176-1 is not prime. Res64: 7769A40314F14C1A Time : 0.0 sec. user=juhehe [2013-04-08 00:50:33] 915*2^1244174-1 is not prime. Res64: D1B630213A69638B Time : 0.0 sec. user=mdettweiler [2013-04-08 01:00:01] 705*2^1244176-1 is not prime. Res64: EF2CE15A456640A5 Time : 0.0 sec. user=mdettweiler [2013-04-08 01:00:02] 825*2^1244176-1 is not prime. Res64: 323BE9E8C6F74C96 Time : 0.0 sec. user=juhehe [2013-04-08 01:00:10] 657*2^1244144-1 is not prime. Res64: 251011DAC1EBDB76 Time : 0.0 sec. user=mdettweiler [2013-04-08 01:00:27] 855*2^1244176-1 is not prime. Res64: 14E31F2B45E1E7E6 Time : 0.0 sec. user=mdettweiler [2013-04-08 01:00:28] 917*2^1244176-1 is not prime. Res64: 23852223D231AFB5 Time : 0.0 sec. user=juhehe [2013-04-08 01:07:10] 677*2^1244144-1 is not prime. Res64: 1AA60489172A4C2A Time : 0.0 sec. user=mdettweiler [2013-04-08 01:17:44] 983*2^1244176-1 is not prime. Res64: 58498382E101E12F Time : 0.0 sec. user=mdettweiler [2013-04-08 01:17:45] 651*2^1244177-1 is not prime. Res64: 7D58EC41F22DD316 Time : 0.0 sec. user=mdettweiler [2013-04-08 01:18:09] 717*2^1244177-1 is not prime. Res64: F498C6B346936B88 Time : 0.0 sec. user=mdettweiler [2013-04-08 01:18:10] 747*2^1244177-1 is not prime. Res64: 0366389D97415F98 Time : 0.0 sec. user=vaughan [2013-04-08 01:23:33] 927*2^1244176-1 is not prime. Res64: 12DD570CAC615EB6 Time : 0.0 sec. user=juhehe [2013-04-08 01:24:44] 699*2^1244177-1 is not prime. Res64: 6107E32A8D34CE6D Time : 0.0 sec. user=juhehe [2013-04-08 01:31:37] 801*2^1244177-1 is not prime. Res64: 43B0A4E1B3BC6A22 Time : 0.0 sec. user=mdettweiler [2013-04-08 01:35:24] 841*2^1244177-1 is not prime. Res64: 5B67B6C06156E6F8 Time : 0.0 sec. user=mdettweiler [2013-04-08 01:35:25] 909*2^1244177-1 is not prime. Res64: C3B341BB876E0701 Time : 0.0 sec. user=mdettweiler [2013-04-08 01:35:49] 955*2^1244177-1 is not prime. Res64: 8948C1F899C205FB Time : 0.0 sec. user=mdettweiler [2013-04-08 01:35:50] 651*2^1244178-1 is not prime. Res64: F3EE05F9B423B0E1 Time : 0.0 sec. user=juhehe [2013-04-08 01:50:11] 619*2^1244179-1 is not prime. Res64: DAFF83A20620CB2E Time : 0.0 sec. user=mdettweiler [2013-04-08 01:53:05] 681*2^1244179-1 is not prime. Res64: AA3ADFA095B4BFF4 Time : 0.0 sec. user=mdettweiler [2013-04-08 01:53:05] 693*2^1244179-1 is not prime. Res64: D45241B479459228 Time : 0.0 sec. user=mdettweiler [2013-04-08 01:53:29] 775*2^1244179-1 is not prime. Res64: 36C234174C05D69C Time : 0.0 sec. user=mdettweiler [2013-04-08 01:53:30] 853*2^1244179-1 is not prime. Res64: D8FD42DE2ECD0229 Time : 0.0 sec. user=juhehe [2013-04-08 01:57:22] 663*2^1244179-1 is not prime. Res64: 122507DF343A394F Time : 0.0 sec. user=vaughan [2013-04-08 02:06:51] 977*2^1244178-1 is not prime. Res64: 7D2091C59D494A76 Time : 0.0 sec. user=juhehe [2013-04-08 02:07:14] 969*2^1244176-1 is not prime. Res64: 8497C9FD01EB285E Time : 0.0 sec. user=mdettweiler [2013-04-08 02:10:42] 963*2^1244180-1 is not prime. Res64: A1294D7AA1E4DDA3 Time : 0.0 sec. user=mdettweiler [2013-04-08 02:10:43] 983*2^1244180-1 is not prime. Res64: CF9A9F36F53725BA Time : 0.0 sec. user=mdettweiler [2013-04-08 02:11:08] 621*2^1244181-1 is not prime. Res64: 2FCE9DE4C73FDC42 Time : 0.0 sec. user=mdettweiler [2013-04-08 02:11:12] 877*2^1244181-1 is not prime. Res64: 35A1B6C501260821 Time : 0.0 sec. user=juhehe [2013-04-08 02:15:43] 861*2^1244179-1 is not prime. Res64: 20A2B0C598ACCA33 Time : 0.0 sec. user=juhehe [2013-04-08 02:22:31] 921*2^1244181-1 is not prime. Res64: C09A910667625814 Time : 0.0 sec. user=mdettweiler [2013-04-08 02:28:24] 951*2^1244181-1 is not prime. Res64: F0EC2501F4F6D7D6 Time : 0.0 sec. user=mdettweiler [2013-04-08 02:28:26] 991*2^1244181-1 is not prime. Res64: B4FFEEECF3821765 Time : 0.0 sec. user=mdettweiler [2013-04-08 02:28:52] 999*2^1244181-1 is not prime. Res64: CE9CC50133C5ED1D Time : 0.0 sec. user=mdettweiler [2013-04-08 02:28:53] 623*2^1244182-1 is not prime. Res64: 6BF6D58E12B9ACFD Time : 0.0 sec. user=juhehe [2013-04-08 02:40:26] 665*2^1244182-1 is not prime. Res64: 11818CF86BF79AE5 Time : 0.0 sec. user=vaughan [2013-04-08 02:45:06] 927*2^1244181-1 is not prime. Res64: 5E736ECE1AE92C92 Time : 0.0 sec. user=mdettweiler [2013-04-08 02:46:06] 833*2^1244182-1 is not prime. Res64: 0601E2E4E08FE81B Time : 0.0 sec. user=mdettweiler [2013-04-08 02:46:08] 951*2^1244182-1 is not prime. Res64: 7C1EE54BD9DC5CF9 Time : 0.0 sec. user=mdettweiler [2013-04-08 02:46:32] 663*2^1244183-1 is not prime. Res64: FE85329F8D3BBCAB Time : 0.0 sec. user=mdettweiler [2013-04-08 02:46:33] 675*2^1244183-1 is not prime. Res64: ACE1348095C931B8 Time : 0.0 sec. user=juhehe [2013-04-08 02:47:36] 827*2^1244182-1 is not prime. Res64: 635EF5C2557CEC09 Time : 0.0 sec. user=juhehe [2013-04-08 02:53:37] 615*2^1244180-1 is not prime. Res64: 71523C647C31760D Time : 0.0 sec. user=mdettweiler [2013-04-08 03:03:50] 811*2^1244183-1 is not prime. Res64: 0344FB6EC514EFE6 Time : 0.0 sec. user=mdettweiler [2013-04-08 03:03:52] 895*2^1244183-1 is not prime. Res64: AFC4AE690990DD5B Time : 0.0 sec. user=mdettweiler [2013-04-08 03:04:12] 981*2^1244183-1 is not prime. Res64: 5AF461462BBEDD5E Time : 0.0 sec. user=mdettweiler [2013-04-08 03:04:13] 993*2^1244183-1 is not prime. Res64: EE976EEAAB715A22 Time : 0.0 sec. user=juhehe [2013-04-08 03:05:53] 693*2^1244183-1 is not prime. Res64: 8914AAD9842D09F8 Time : 0.0 sec. user=juhehe [2013-04-08 03:12:38] 623*2^1244184-1 is not prime. Res64: AB0175D6D3A554AF Time : 0.0 sec. user=mdettweiler [2013-04-08 03:21:50] 663*2^1244184-1 is not prime. Res64: A66C97C29C864725 Time : 0.0 sec. user=mdettweiler [2013-04-08 03:21:52] 747*2^1244184-1 is not prime. Res64: 810909EC656BEC28 Time : 0.0 sec. user=mdettweiler [2013-04-08 03:21:54] 837*2^1244184-1 is not prime. Res64: 2E6B814BD0CEE373 Time : 0.0 sec. user=mdettweiler [2013-04-08 03:21:55] 843*2^1244184-1 is not prime. Res64: 2A8AE2CBC4103606 Time : 0.0 sec. user=vaughan [2013-04-08 03:23:26] 771*2^1244183-1 is not prime. Res64: BB426EF13041B63D Time : 0.0 sec. user=juhehe [2013-04-08 03:30:49] 863*2^1244184-1 is not prime. Res64: 9EBB4DA776CFD6D2 Time : 0.0 sec. user=juhehe [2013-04-08 03:38:16] 715*2^1244185-1 is not prime. Res64: 6ED1B533FEEA111E Time : 0.0 sec. user=mdettweiler [2013-04-08 03:39:57] 741*2^1244185-1 is not prime. Res64: 377DD041B565212C Time : 0.0 sec. user=mdettweiler [2013-04-08 03:39:58] 799*2^1244185-1 is not prime. Res64: 0DE3B5E600AE0F80 Time : 0.0 sec. user=mdettweiler [2013-04-08 03:39:59] 841*2^1244185-1 is not prime. Res64: 62A9C19688B50D7E Time : 0.0 sec. user=mdettweiler [2013-04-08 03:40:00] 867*2^1244185-1 is not prime. Res64: 859772FFA7CA1F87 Time : 0.0 sec. user=juhehe [2013-04-08 03:56:21] 641*2^1244186-1 is not prime. Res64: F9D41F59369E4A37 Time : 0.0 sec. user=mdettweiler [2013-04-08 03:57:36] 825*2^1244186-1 is not prime. Res64: 5A5C8B1FD70364B6 Time : 0.0 sec. user=mdettweiler [2013-04-08 03:57:37] 827*2^1244186-1 is not prime. Res64: A850D055E477257F Time : 0.0 sec. user=mdettweiler [2013-04-08 03:57:37] 837*2^1244186-1 is not prime. Res64: E837DA97C7589794 Time : 0.0 sec. user=mdettweiler [2013-04-08 03:57:39] 941*2^1244186-1 is not prime. Res64: C4E009D115199302 Time : 0.0 sec. user=vaughan [2013-04-08 04:01:40] 633*2^1244186-1 is not prime. Res64: 8542ACC61D28BEEE Time : 0.0 sec. user=juhehe [2013-04-08 04:02:21] 651*2^1244186-1 is not prime. Res64: 58472E18B357449B Time : 0.0 sec. user=mdettweiler [2013-04-08 04:15:17] 619*2^1244187-1 is not prime. Res64: 941B8C3E6F1AF2C1 Time : 0.0 sec. user=mdettweiler [2013-04-08 04:15:18] 699*2^1244187-1 is not prime. Res64: DFB62B1B02EE9CCC Time : 0.0 sec. user=mdettweiler [2013-04-08 04:15:19] 739*2^1244187-1 is not prime. Res64: D79D405FE0CB46C4 Time : 0.0 sec. user=mdettweiler [2013-04-08 04:15:21] 765*2^1244187-1 is not prime. Res64: 42890604DEA75024 Time : 0.0 sec. user=juhehe [2013-04-08 04:16:55] 947*2^1244184-1 is not prime. Res64: AEE256B5F762534D Time : 0.0 sec. user=juhehe [2013-04-08 04:23:59] 981*2^1244186-1 is not prime. Res64: 9D8C2DB0ED068458 Time : 0.0 sec. user=juhehe [2013-04-08 04:26:23] 781*2^1244187-1 is not prime. Res64: 6919B8BAA02CCAAD Time : 0.0 sec. user=mdettweiler [2013-04-08 04:32:59] 963*2^1244187-1 is not prime. Res64: 050FFBC8DD5AFFC3 Time : 0.0 sec. user=mdettweiler [2013-04-08 04:33:00] 985*2^1244187-1 is not prime. Res64: 77B60019D75C2687 Time : 0.0 sec. user=mdettweiler [2013-04-08 04:33:01] 605*2^1244188-1 is not prime. Res64: C825CD880520D8C7 Time : 0.0 sec. user=mdettweiler [2013-04-08 04:33:02] 639*2^1244188-1 is not prime. Res64: 6AFBFC7C6BEDB519 Time : 0.0 sec. user=vaughan [2013-04-08 04:40:15] 769*2^1244187-1 is not prime. Res64: 0C1D9B8771B819EB Time : 0.0 sec. user=juhehe [2013-04-08 04:47:56] 647*2^1244188-1 is not prime. Res64: CA95AD0D49C1C45A Time : 0.0 sec. user=juhehe [2013-04-08 04:50:19] 657*2^1244188-1 is not prime. Res64: 8592948B8D5FF479 Time : 0.0 sec. user=mdettweiler [2013-04-08 04:50:45] 723*2^1244188-1 is not prime. Res64: 447EF9B2C5B286EE Time : 0.0 sec. user=mdettweiler [2013-04-08 04:50:46] 863*2^1244188-1 is not prime. Res64: F7D275EEFFA9B619 Time : 0.0 sec. user=mdettweiler [2013-04-08 04:50:47] 909*2^1244188-1 is not prime. Res64: AE1E66B59F9AC4A0 Time : 0.0 sec. user=mdettweiler [2013-04-08 04:50:49] 619*2^1244189-1 is not prime. Res64: 108B2775265B4C4E Time : 0.0 sec. user=juhehe [2013-04-08 05:01:57] 971*2^1244186-1 is not prime. Res64: 349410685B377B5C Time : 0.0 sec. user=mdettweiler [2013-04-08 05:08:27] 611*2^1244190-1 is not prime. Res64: 815986FE1B48957D Time : 0.0 sec. user=mdettweiler [2013-04-08 05:08:28] 641*2^1244190-1 is not prime. Res64: 44E9A95831DEFD2F Time : 0.0 sec. user=mdettweiler [2013-04-08 05:08:30] 647*2^1244190-1 is not prime. Res64: 91EA6CC619C953D4 Time : 0.0 sec. user=mdettweiler [2013-04-08 05:08:32] 717*2^1244190-1 is not prime. Res64: 14F0F902C11EE793 Time : 0.0 sec. user=juhehe [2013-04-08 05:11:54] 745*2^1244189-1 is not prime. Res64: 80F411DDAAC45202 Time : 0.0 sec. user=juhehe [2013-04-08 05:14:14] 781*2^1244189-1 is not prime. Res64: 87245A8E56F417F4 Time : 0.0 sec. user=vaughan [2013-04-08 05:18:34] 721*2^1244189-1 is not prime. Res64: A50EFBBF9D9241C3 Time : 0.0 sec. user=mdettweiler [2013-04-08 05:26:08] 723*2^1244190-1 is not prime. Res64: EE8E4E498068C72C Time : 0.0 sec. user=mdettweiler [2013-04-08 05:26:10] 861*2^1244190-1 is not prime. Res64: 2D0D4BC28CECABCA Time : 0.0 sec. user=mdettweiler [2013-04-08 05:26:12] 927*2^1244190-1 is not prime. Res64: A45F969E4E16991D Time : 0.0 sec. user=mdettweiler [2013-04-08 05:26:13] 945*2^1244190-1 is not prime. Res64: A7A0264B6AC3E8C0 Time : 0.0 sec. user=mdettweiler [2013-04-08 05:43:49] 685*2^1244191-1 is not prime. Res64: 289701A1FF91B68E Time : 0.0 sec. user=mdettweiler [2013-04-08 05:43:51] 715*2^1244191-1 is not prime. Res64: 64AC9BCC5A859F96 Time : 0.0 sec. user=mdettweiler [2013-04-08 05:43:53] 745*2^1244191-1 is not prime. Res64: 665FE11EF675E67B Time : 0.0 sec. user=mdettweiler [2013-04-08 05:43:54] 901*2^1244191-1 is not prime. Res64: 23A29CF1933946CC Time : 0.0 sec. user=juhehe [2013-04-08 05:46:35] 951*2^1244190-1 is not prime. Res64: 681B1AC291815B04 Time : 0.0 sec. user=juhehe [2013-04-08 05:49:13] 977*2^1244190-1 is not prime. Res64: 484449D5545CED3F Time : 0.0 sec. user=vaughan [2013-04-08 05:56:52] 673*2^1244191-1 is not prime. Res64: C310FEBBAB1017C2 Time : 0.0 sec. user=mdettweiler [2013-04-08 06:01:32] 961*2^1244191-1 is not prime. Res64: E6240728454AB0BF Time : 0.0 sec. user=mdettweiler [2013-04-08 06:01:34] 973*2^1244191-1 is not prime. Res64: B9CEF22423F3191A Time : 0.0 sec. user=mdettweiler [2013-04-08 06:01:35] 677*2^1244192-1 is not prime. Res64: 3C47BE7AB34B6F30 Time : 0.0 sec. user=mdettweiler [2013-04-08 06:01:36] 759*2^1244192-1 is not prime. Res64: D5EBCFC9AD05A7ED Time : 0.0 sec. user=juhehe [2013-04-08 06:15:08] 777*2^1244192-1 is not prime. Res64: 54B9972C4D904305 Time : 0.0 sec. user=mdettweiler [2013-04-08 06:19:28] 895*2^1244193-1 is not prime. Res64: 39A6A5B8DBEE9046 Time : 0.0 sec. user=mdettweiler [2013-04-08 06:19:29] 921*2^1244193-1 is not prime. Res64: 145F6956F0EE5F9E Time : 0.0 sec. user=mdettweiler [2013-04-08 06:19:32] 635*2^1244194-1 is not prime. Res64: B698326CAC3F26F0 Time : 0.0 sec. user=mdettweiler [2013-04-08 06:19:33] 815*2^1244194-1 is not prime. Res64: 1F8EA0368AF6BDFF Time : 0.0 sec. user=juhehe [2013-04-08 06:22:26] 957*2^1244192-1 is not prime. Res64: 6979000D866AAEDC Time : 0.0 sec. user=vaughan [2013-04-08 06:35:06] 649*2^1244193-1 is not prime. Res64: 9BA7600F022525A1 Time : 0.0 sec. user=mdettweiler [2013-04-08 06:37:09] 663*2^1244195-1 is not prime. Res64: 63A0A93CE9150B0B Time : 0.0 sec. user=mdettweiler [2013-04-08 06:37:11] 679*2^1244195-1 is not prime. Res64: 7F492710D9044C9F Time : 0.0 sec. user=mdettweiler [2013-04-08 06:37:15] 715*2^1244195-1 is not prime. Res64: 186822978B48DB7C Time : 0.0 sec. user=mdettweiler [2013-04-08 06:37:16] 759*2^1244195-1 is not prime. Res64: 18AC7A6BAD7DB418 Time : 0.0 sec. user=juhehe [2013-04-08 06:41:51] 885*2^1244194-1 is not prime. Res64: 0CF3FB1366CB8337 Time : 0.0 sec. user=juhehe [2013-04-08 06:49:08] 801*2^1244195-1 is not prime. Res64: 63CFCDCBAFFA051E Time : 0.0 sec. user=mdettweiler [2013-04-08 06:54:49] 979*2^1244195-1 is not prime. Res64: C763FF5321138741 Time : 0.0 sec. user=mdettweiler [2013-04-08 06:54:50] 981*2^1244195-1 is not prime. Res64: 6E850FF10B80E4EE Time : 0.0 sec. user=mdettweiler [2013-04-08 06:54:54] 991*2^1244195-1 is not prime. Res64: F620F2A63191A3A1 Time : 0.0 sec. user=mdettweiler [2013-04-08 06:54:55] 689*2^1244196-1 is not prime. Res64: DC8C6ABF8D537451 Time : 0.0 sec. user=juhehe [2013-04-08 07:08:35] 803*2^1244196-1 is not prime. Res64: F438C901DB42ED29 Time : 0.0 sec. user=mdettweiler [2013-04-08 07:12:33] 903*2^1244196-1 is not prime. Res64: 0854C8EAFB1FEE17 Time : 0.0 sec. user=mdettweiler [2013-04-08 07:12:34] 915*2^1244197-1 is not prime. Res64: 5017C6912590A4A8 Time : 0.0 sec. user=mdettweiler [2013-04-08 07:12:37] 955*2^1244197-1 is not prime. Res64: DE6678797E06C9F5 Time : 0.0 sec. user=mdettweiler [2013-04-08 07:12:38] 985*2^1244197-1 is not prime. Res64: FFEC5A12048AA317 Time : 0.0 sec. user=juhehe [2013-04-08 07:15:55] 867*2^1244196-1 is not prime. Res64: E430716B47B466AC Time : 0.0 sec. user=vaughan [2013-04-08 07:18:23] 969*2^1244195-1 is not prime. Res64: CC577F1A24AC0AB5 Time : 0.0 sec. user=juhehe [2013-04-08 07:19:23] 609*2^1244195-1 is not prime. Res64: D7E19F6C20ED9C28 Time : 0.0 sec. user=mdettweiler [2013-04-08 07:30:14] 775*2^1244199-1 is not prime. Res64: 92E9FF00A84C2BCA Time : 0.0 sec. user=mdettweiler [2013-04-08 07:30:15] 853*2^1244199-1 is not prime. Res64: 2209C3B2D33B8D15 Time : 0.0 sec. user=mdettweiler [2013-04-08 07:30:18] 879*2^1244199-1 is not prime. Res64: 5E0078B42BBD4230 Time : 0.0 sec. user=mdettweiler [2013-04-08 07:30:19] 885*2^1244199-1 is not prime. Res64: 3B686D88ED65FA7D Time : 0.0 sec. user=juhehe [2013-04-08 07:35:21] 661*2^1244199-1 is not prime. Res64: 1EDAAAED535A1801 Time : 0.0 sec. user=juhehe [2013-04-08 07:42:15] 919*2^1244199-1 is not prime. Res64: BADC18C779C693BA Time : 0.0 sec. user=mdettweiler [2013-04-08 07:47:56] 603*2^1244200-1 is not prime. Res64: 38CC2A19237A5B7A Time : 0.0 sec. user=mdettweiler [2013-04-08 07:47:57] 693*2^1244200-1 is not prime. Res64: D2FA8E0B13B967DF Time : 0.0 sec. user=mdettweiler [2013-04-08 07:47:57] 719*2^1244200-1 is not prime. Res64: B29C355E7EAD5758 Time : 0.0 sec. user=mdettweiler [2013-04-08 07:47:58] 819*2^1244200-1 is not prime. Res64: ED5AEA38C5299EDE Time : 0.0 sec. user=vaughan [2013-04-08 08:01:38] 949*2^1244199-1 is not prime. Res64: 9F34315A211FD3DD Time : 0.0 sec. user=juhehe [2013-04-08 08:02:47] 905*2^1244200-1 is not prime. Res64: 16A7886453987511 Time : 0.0 sec. user=juhehe [2013-04-08 08:03:56] 791*2^1244198-1 is not prime. Res64: BF4DF2AD2D493033 Time : 0.0 sec. user=mdettweiler [2013-04-08 08:05:38] 607*2^1244201-1 is not prime. Res64: 4FC608B156DCEE47 Time : 0.0 sec. user=mdettweiler [2013-04-08 08:05:40] 615*2^1244201-1 is not prime. Res64: DB770ACA1AC93B7A Time : 0.0 sec. user=mdettweiler [2013-04-08 08:05:40] 669*2^1244201-1 is not prime. Res64: 49E2DFD000FCB2DA Time : 0.0 sec. user=mdettweiler [2013-04-08 08:05:41] 727*2^1244201-1 is not prime. Res64: 4EF6C332794B131E Time : 0.0 sec. user=juhehe [2013-04-08 08:17:52] 939*2^1244200-1 is not prime. Res64: 164B15D98856097B Time : 0.0 sec. user=mdettweiler [2013-04-08 08:23:22] 633*2^1244202-1 is not prime. Res64: 176B9D05D2A2E077 Time : 0.0 sec. user=mdettweiler [2013-04-08 08:23:22] 681*2^1244202-1 is not prime. Res64: F31E9B455EE5028A Time : 0.0 sec. user=mdettweiler [2013-04-08 08:23:24] 683*2^1244202-1 is not prime. Res64: FBF6A0850386B3DE Time : 0.0 sec. user=mdettweiler [2013-04-08 08:23:25] 797*2^1244202-1 is not prime. Res64: E33BA680E55520C8 Time : 0.0 sec. user=juhehe [2013-04-08 08:31:34] 867*2^1244201-1 is not prime. Res64: 159F634CD6192DB7 Time : 0.0 sec. user=vaughan [2013-04-08 08:40:19] 777*2^1244201-1 is not prime. Res64: 8D7319BB9262B2DC Time : 0.0 sec. user=mdettweiler [2013-04-08 08:41:02] 903*2^1244202-1 is not prime. Res64: C326C7F20AF6FAD4 Time : 0.0 sec. user=mdettweiler [2013-04-08 08:41:03] 921*2^1244202-1 is not prime. Res64: 5CDF85F1CB7F3504 Time : 0.0 sec. user=mdettweiler [2013-04-08 08:41:04] 947*2^1244202-1 is not prime. Res64: AEF150F7B2DB3F2F Time : 0.0 sec. user=mdettweiler [2013-04-08 08:41:05] 685*2^1244203-1 is not prime. Res64: C8D3E176D7142923 Time : 0.0 sec. user=mdettweiler [2013-04-08 08:58:43] 741*2^1244203-1 is not prime. Res64: 0DB8E0E0D5FC7CAE Time : 0.0 sec. user=mdettweiler [2013-04-08 08:58:44] 829*2^1244203-1 is not prime. Res64: 0F3DACBE73CE42B9 Time : 0.0 sec. user=mdettweiler [2013-04-08 08:58:45] 835*2^1244203-1 is not prime. Res64: 93D4D8DCEBA736DA Time : 0.0 sec. user=mdettweiler [2013-04-08 08:58:46] 853*2^1244203-1 is not prime. Res64: 143A8B83D2691363 Time : 0.0 sec. user=mdettweiler [2013-04-08 09:16:22] 855*2^1244203-1 is not prime. Res64: 162B1D828C7FC94E Time : 0.0 sec. user=mdettweiler [2013-04-08 09:16:23] 891*2^1244203-1 is not prime. Res64: 0D2EF42151728C94 Time : 0.0 sec. user=mdettweiler [2013-04-08 09:16:25] 677*2^1244204-1 is not prime. Res64: DB7138212418B808 Time : 0.0 sec. user=mdettweiler [2013-04-08 09:16:26] 753*2^1244204-1 is not prime. Res64: 3E5A5128EDE89B6B Time : 0.0 sec. user=vaughan [2013-04-08 09:18:32] 735*2^1244203-1 is not prime. Res64: 9F450F3579120D60 Time : 0.0 sec. user=juhehe [2013-04-08 09:21:51] 815*2^1244202-1 is not prime. Res64: BD1F05E1404B4214 Time : 0.0 sec. user=mdettweiler [2013-04-08 09:34:01] 897*2^1244204-1 is not prime. Res64: DF81D9D706382DB4 Time : 0.0 sec. user=mdettweiler [2013-04-08 09:34:02] 953*2^1244204-1 is not prime. Res64: EBFF71FC5C6EA1C2 Time : 0.0 sec. user=mdettweiler [2013-04-08 09:34:05] 987*2^1244204-1 is not prime. Res64: EB848900CDEE11E0 Time : 0.0 sec. user=mdettweiler [2013-04-08 09:34:06] 625*2^1244205-1 is not prime. Res64: 6D4D5151513BA332 Time : 0.0 sec. user=mdettweiler [2013-04-08 09:51:38] 717*2^1244205-1 is not prime. Res64: 20B67F6357793B79 Time : 0.0 sec. user=mdettweiler [2013-04-08 09:51:38] 861*2^1244205-1 is not prime. Res64: B0E6711CE8798C96 Time : 0.0 sec. user=mdettweiler [2013-04-08 09:51:42] 999*2^1244205-1 is not prime. Res64: 23A4940B13BDF4EC Time : 0.0 sec. user=mdettweiler [2013-04-08 09:51:42] 651*2^1244206-1 is not prime. Res64: 1D4CBCEFC4503808 Time : 0.0 sec. user=vaughan [2013-04-08 09:56:47] 679*2^1244205-1 is not prime. Res64: 4A165266AD6BC693 Time : 0.0 sec. user=juhehe [2013-04-08 10:06:13] 825*2^1244204-1 is not prime. Res64: 5FAB3A79837AA57E Time : 0.0 sec. user=mdettweiler [2013-04-08 10:09:14] 675*2^1244206-1 is not prime. Res64: 8B7FBD431C822D81 Time : 0.0 sec. user=mdettweiler [2013-04-08 10:09:16] 773*2^1244206-1 is not prime. Res64: F97673681CFBEDDC Time : 0.0 sec. user=mdettweiler [2013-04-08 10:09:16] 777*2^1244206-1 is not prime. Res64: 78E4C9FABCFD2A96 Time : 0.0 sec. user=mdettweiler [2013-04-08 10:09:17] 801*2^1244206-1 is not prime. Res64: 0F8D146B59177623 Time : 0.0 sec. user=mdettweiler [2013-04-08 10:26:52] 881*2^1244206-1 is not prime. Res64: C16081C12358CB83 Time : 0.0 sec. user=mdettweiler [2013-04-08 10:26:52] 917*2^1244206-1 is not prime. Res64: 9581DC83A2631C6C Time : 0.0 sec. user=mdettweiler [2013-04-08 10:26:55] 933*2^1244206-1 is not prime. Res64: 0DC897B983FFA641 Time : 0.0 sec. user=mdettweiler [2013-04-08 10:26:56] 957*2^1244206-1 is not prime. Res64: 4A1B2755270683D9 Time : 0.0 sec. user=vaughan [2013-04-08 10:35:01] 855*2^1244206-1 is not prime. Res64: 8F3AD0374213A870 Time : 0.0 sec. user=mdettweiler [2013-04-08 10:44:26] 673*2^1244207-1 is not prime. Res64: 9BB693CB577A970B Time : 0.0 sec. user=mdettweiler [2013-04-08 10:44:27] 703*2^1244207-1 is not prime. Res64: EC96F90CC63214D2 Time : 0.0 sec. user=mdettweiler [2013-04-08 10:44:30] 735*2^1244207-1 is not prime. Res64: 32235F68AD566F01 Time : 0.0 sec. user=mdettweiler [2013-04-08 10:44:31] 799*2^1244207-1 is not prime. Res64: 0C3323FC8177FA9B Time : 0.0 sec. user=mdettweiler [2013-04-08 11:02:02] 657*2^1244208-1 is not prime. Res64: C4F4A1460A188D11 Time : 0.0 sec. user=mdettweiler [2013-04-08 11:02:04] 825*2^1244208-1 is not prime. Res64: 35CEEE789A235CD5 Time : 0.0 sec. user=mdettweiler [2013-04-08 11:02:09] 845*2^1244208-1 is not prime. Res64: 6CC59612A1A95CE4 Time : 0.0 sec. user=mdettweiler [2013-04-08 11:02:11] 959*2^1244208-1 is not prime. Res64: 259D4E1347A48B53 Time : 0.0 sec. user=vaughan [2013-04-08 11:18:21] 979*2^1244207-1 is not prime. Res64: 54A9C4EAD6763240 Time : 0.0 sec. user=mdettweiler [2013-04-08 11:19:48] 975*2^1244208-1 is not prime. Res64: D8C651D5AF200F4C Time : 0.0 sec. user=mdettweiler [2013-04-08 11:19:49] 977*2^1244208-1 is not prime. Res64: CF044735E3312CFF Time : 0.0 sec. user=mdettweiler [2013-04-08 11:19:51] 999*2^1244208-1 is not prime. Res64: 82758A34C65FF3CF Time : 0.0 sec. user=mdettweiler [2013-04-08 11:19:53] 639*2^1244209-1 is not prime. Res64: 3A478603B0BBA571 Time : 0.0 sec. user=juhehe [2013-04-08 11:31:12] 987*2^1244206-1 is not prime. Res64: 2E0CA70C3A5826E5 Time : 0.0 sec. user=mdettweiler [2013-04-08 11:37:30] 789*2^1244209-1 is not prime. Res64: FD02440B9420885D Time : 0.0 sec. user=mdettweiler [2013-04-08 11:37:31] 867*2^1244209-1 is not prime. Res64: E905226D36265E26 Time : 0.0 sec. user=mdettweiler [2013-04-08 11:37:34] 931*2^1244209-1 is not prime. Res64: 318F84BC2BE2952F Time : 0.0 sec. user=mdettweiler [2013-04-08 11:37:35] 633*2^1244210-1 is not prime. Res64: D348FBD65B5E7963 Time : 0.0 sec. user=mdettweiler [2013-04-08 11:55:20] 791*2^1244210-1 is not prime. Res64: 9E088E823BB21DDD Time : 0.0 sec. user=mdettweiler [2013-04-08 11:55:21] 797*2^1244210-1 is not prime. Res64: DEC08DEABC4A41E1 Time : 0.0 sec. user=mdettweiler [2013-04-08 11:55:32] 827*2^1244210-1 is not prime. Res64: F3BF9C9F5C80FF61 Time : 0.0 sec. user=mdettweiler [2013-04-08 11:55:33] 843*2^1244210-1 is not prime. Res64: 55C8EF3386C21B69 Time : 0.0 sec. user=vaughan [2013-04-08 11:56:39] 691*2^1244209-1 is not prime. Res64: 738053A9947A3111 Time : 0.0 sec. user=juhehe [2013-04-08 12:08:12] 679*2^1244209-1 is not prime. Res64: 290DB24F15193CCA Time : 0.0 sec. user=mdettweiler [2013-04-08 12:13:01] 911*2^1244210-1 is not prime. Res64: 2FD7C5B79796794E Time : 0.0 sec. user=mdettweiler [2013-04-08 12:13:02] 917*2^1244210-1 is not prime. Res64: 6C75CE52531EF76A Time : 0.0 sec. user=mdettweiler [2013-04-08 12:13:09] 935*2^1244210-1 is not prime. Res64: 9353CAAE2E4BBBEF Time : 0.0 sec. user=mdettweiler [2013-04-08 12:13:10] 953*2^1244210-1 is not prime. Res64: A490F68615357F42 Time : 0.0 sec. user=mdettweiler [2013-04-08 12:30:45] 613*2^1244211-1 is not prime. Res64: A823D1BE6499B8C9 Time : 0.0 sec. user=mdettweiler [2013-04-08 12:30:46] 669*2^1244211-1 is not prime. Res64: 156CA26173DC0E5E Time : 0.0 sec. user=mdettweiler [2013-04-08 12:30:51] 751*2^1244211-1 is not prime. Res64: 09C6B6A0B4439855 Time : 0.0 sec. user=mdettweiler [2013-04-08 12:30:52] 819*2^1244211-1 is not prime. Res64: 12A28B607BB574A1 Time : 0.0 sec. user=vaughan [2013-04-08 12:34:54] 601*2^1244211-1 is not prime. Res64: 7032209B06BB5700 Time : 0.0 sec. user=mdettweiler [2013-04-08 12:48:27] 949*2^1244211-1 is not prime. Res64: DEDC696A28645AA3 Time : 0.0 sec. user=mdettweiler [2013-04-08 12:48:28] 615*2^1244212-1 is not prime. Res64: 66478C469711B903 Time : 0.0 sec. user=mdettweiler [2013-04-08 12:48:32] 797*2^1244212-1 is not prime. Res64: B938BF398B3AC91D Time : 0.0 sec. user=mdettweiler [2013-04-08 12:48:33] 959*2^1244212-1 is not prime. Res64: 3697ACC4A72A0858 Time : 0.0 sec. user=mdettweiler [2013-04-08 13:06:08] 615*2^1244214-1 is not prime. Res64: CA1B463969070BAB Time : 0.0 sec. user=mdettweiler [2013-04-08 13:06:09] 651*2^1244214-1 is not prime. Res64: 9DA77552A760C05A Time : 0.0 sec. user=mdettweiler [2013-04-08 13:06:13] 663*2^1244214-1 is not prime. Res64: CF6F503448A486F6 Time : 0.0 sec. user=mdettweiler [2013-04-08 13:06:14] 773*2^1244214-1 is not prime. Res64: 66525984F14DB69D Time : 0.0 sec. user=vaughan [2013-04-08 13:13:07] 901*2^1244213-1 is not prime. Res64: 7F487DA3CE61EDF7 Time : 0.0 sec. user=mdettweiler [2013-04-08 13:23:51] 851*2^1244214-1 is not prime. Res64: E3E8D44531445C9D Time : 0.0 sec. user=mdettweiler [2013-04-08 13:23:52] 885*2^1244214-1 is not prime. Res64: 90FCCC625C00CB35 Time : 0.0 sec. user=mdettweiler [2013-04-08 13:23:56] 917*2^1244214-1 is not prime. Res64: E6721BFB2CE09937 Time : 0.0 sec. user=mdettweiler [2013-04-08 13:23:57] 947*2^1244214-1 is not prime. Res64: D0DD889CD90DC5DD Time : 0.0 sec. user=juhehe [2013-04-08 13:33:34] 699*2^1244213-1 is not prime. Res64: 237273FA8DFA398E Time : 0.0 sec. user=mdettweiler [2013-04-08 13:41:37] 617*2^1244216-1 is not prime. Res64: FFDA37A0F411C4C4 Time : 0.0 sec. user=mdettweiler [2013-04-08 13:41:38] 999*2^1244216-1 is not prime. Res64: 8622D748E954088B Time : 0.0 sec. user=mdettweiler [2013-04-08 13:41:40] 705*2^1244215-1 is not prime. Res64: 0D7C20EC91E71BE3 Time : 0.0 sec. user=mdettweiler [2013-04-08 13:41:41] 709*2^1244215-1 is not prime. Res64: F235800BC9F54BF2 Time : 0.0 sec. user=vaughan [2013-04-08 13:51:25] 649*2^1244215-1 is not prime. Res64: D3C7872804CBE583 Time : 0.0 sec. user=mdettweiler [2013-04-08 13:59:17] 609*2^1244217-1 is not prime. Res64: 29C4061F30906E16 Time : 0.0 sec. user=mdettweiler [2013-04-08 13:59:18] 649*2^1244217-1 is not prime. Res64: 7D47B7162932CA41 Time : 0.0 sec. user=mdettweiler [2013-04-08 13:59:19] 691*2^1244217-1 is not prime. Res64: 1BFA9D4FA99961C2 Time : 0.0 sec. user=mdettweiler [2013-04-08 13:59:20] 777*2^1244217-1 is not prime. Res64: 048A1175FE0297DF Time : 0.0 sec. user=juhehe [2013-04-08 14:10:09] 625*2^1244215-1 is not prime. Res64: 3E6873028346F167 Time : 0.0 sec. user=mdettweiler [2013-04-08 14:17:03] 623*2^1244218-1 is not prime. Res64: 237FB5033F328A8A Time : 0.0 sec. user=mdettweiler [2013-04-08 14:17:03] 731*2^1244218-1 is not prime. Res64: BC0AFF98E5E0F4B1 Time : 0.0 sec. user=mdettweiler [2013-04-08 14:17:03] 901*2^1244217-1 is not prime. Res64: 44BF692A840DB69A Time : 0.0 sec. user=mdettweiler [2013-04-08 14:17:04] 919*2^1244217-1 is not prime. Res64: 7FA9ABE68A79B1EC Time : 0.0 sec. user=vaughan [2013-04-08 14:29:41] 781*2^1244217-1 is not prime. Res64: E376CB8FD21AECD7 Time : 0.0 sec. user=mdettweiler [2013-04-08 14:35:31] 737*2^1244218-1 is not prime. Res64: 7352759685665027 Time : 0.0 sec. user=mdettweiler [2013-04-08 14:35:32] 845*2^1244218-1 is not prime. Res64: BCAB129DCDE13223 Time : 0.0 sec. user=mdettweiler [2013-04-08 14:35:32] 791*2^1244218-1 is not prime. Res64: 2D8495E4B1730CC7 Time : 0.0 sec. user=mdettweiler [2013-04-08 14:35:32] 855*2^1244218-1 is not prime. Res64: 9E61A4D62359DB6F Time : 0.0 sec. user=mdettweiler [2013-04-08 14:53:19] 663*2^1244219-1 is not prime. Res64: 77BC50D742B7974E Time : 0.0 sec. user=mdettweiler [2013-04-08 14:53:21] 885*2^1244219-1 is not prime. Res64: F967F300A53B726A Time : 0.0 sec. user=mdettweiler [2013-04-08 14:53:21] 841*2^1244219-1 is not prime. Res64: 4F286C9A190F1106 Time : 0.0 sec. user=mdettweiler [2013-04-08 14:53:22] 921*2^1244219-1 is not prime. Res64: 219BD5CEAC1CDD10 Time : 0.0 sec. user=mdettweiler [2013-04-08 15:11:09] 699*2^1244220-1 is not prime. Res64: 281E49C3009F8825 Time : 0.0 sec. user=mdettweiler [2013-04-08 15:11:10] 707*2^1244220-1 is not prime. Res64: 14F61E6D56DE76B2 Time : 0.0 sec. user=mdettweiler [2013-04-08 15:11:10] 767*2^1244220-1 is not prime. Res64: CDE5C90FB8839047 Time : 0.0 sec. user=mdettweiler [2013-04-08 15:11:11] 783*2^1244220-1 is not prime. Res64: 16C6C5C5C859F970 Time : 0.0 sec. user=vaughan [2013-04-08 15:12:58] 945*2^1244218-1 is not prime. Res64: 191697D04456AE57 Time : 0.0 sec. user=mdettweiler [2013-04-08 15:29:20] 975*2^1244220-1 is not prime. Res64: CEB82F8BBC3C8B42 Time : 0.0 sec. user=mdettweiler [2013-04-08 15:29:20] 619*2^1244221-1 is not prime. Res64: 0297D7DD5DC38F2D Time : 0.0 sec. user=mdettweiler [2013-04-08 15:29:24] 625*2^1244221-1 is not prime. Res64: F97497FAD6ECF5C1 Time : 0.0 sec. user=mdettweiler [2013-04-08 15:29:25] 717*2^1244221-1 is not prime. Res64: 7CEC5F35ECDD7660 Time : 0.0 sec. user=juhehe [2013-04-08 15:35:42] 633*2^1244219-1 is not prime. Res64: ADBCAFC5C0891258 Time : 0.0 sec. user=mdettweiler [2013-04-08 15:47:35] 711*2^1244222-1 is not prime. Res64: 8621C689747DEA4B Time : 0.0 sec. user=mdettweiler [2013-04-08 15:47:36] 831*2^1244222-1 is not prime. Res64: 52C8391AAE3FFFE6 Time : 0.0 sec. user=mdettweiler [2013-04-08 15:47:39] 833*2^1244222-1 is not prime. Res64: 2F6C92882618AAA3 Time : 0.0 sec. user=mdettweiler [2013-04-08 15:47:40] 885*2^1244222-1 is not prime. Res64: F6AC382B1196E0FC Time : 0.0 sec. user=vaughan [2013-04-08 15:51:09] 801*2^1244221-1 is not prime. Res64: D827F1C809CEB1B7 Time : 0.0 sec. user=mdettweiler [2013-04-08 16:05:20] 893*2^1244222-1 is not prime. Res64: 78F6619D3FAF4A0A Time : 0.0 sec. user=mdettweiler [2013-04-08 16:05:22] 917*2^1244222-1 is not prime. Res64: EBD8C9813F51A082 Time : 0.0 sec. user=mdettweiler [2013-04-08 16:05:24] 921*2^1244222-1 is not prime. Res64: 9F77223196B516FC Time : 0.0 sec. user=mdettweiler [2013-04-08 16:05:26] 965*2^1244222-1 is not prime. Res64: 5456C5D99F0A5761 Time : 0.0 sec. user=juhehe [2013-04-08 16:12:26] 915*2^1244220-1 is not prime. Res64: 36F885C74CAD502D Time : 0.0 sec. user=mdettweiler [2013-04-08 16:23:09] 663*2^1244223-1 is not prime. Res64: 7BD5D3DFA26911CB Time : 0.0 sec. user=mdettweiler [2013-04-08 16:23:10] 735*2^1244223-1 is not prime. Res64: 148592A597D7EB4E Time : 0.0 sec. user=mdettweiler [2013-04-08 16:23:13] 963*2^1244223-1 is not prime. Res64: F0BC5A29694E0AFC Time : 0.0 sec. user=mdettweiler [2013-04-08 16:23:14] 635*2^1244224-1 is not prime. Res64: 8FAADAFF5327D14E Time : 0.0 sec. user=vaughan [2013-04-08 16:29:22] 613*2^1244223-1 is not prime. Res64: E94FAB9EA6972CF3 Time : 0.0 sec. user=mdettweiler [2013-04-08 16:40:57] 717*2^1244224-1 is not prime. Res64: 62D580A39485AC86 Time : 0.0 sec. user=mdettweiler [2013-04-08 16:40:57] 773*2^1244224-1 is not prime. Res64: 9B130F16BF2D1D15 Time : 0.0 sec. user=mdettweiler [2013-04-08 16:40:58] 863*2^1244224-1 is not prime. Res64: C5EF29B2363647C6 Time : 0.0 sec. user=mdettweiler [2013-04-08 16:40:58] 875*2^1244224-1 is not prime. Res64: E7A63BD2DCC5DD73 Time : 0.0 sec. user=mdettweiler [2013-04-08 16:58:40] 975*2^1244224-1 is not prime. Res64: E17C6758E26FF06C Time : 0.0 sec. user=mdettweiler [2013-04-08 16:58:41] 601*2^1244225-1 is not prime. Res64: E42D5B0A195F15FD Time : 0.0 sec. user=mdettweiler [2013-04-08 16:58:41] 619*2^1244225-1 is not prime. Res64: 08C5A0533EC04A63 Time : 0.0 sec. user=mdettweiler [2013-04-08 16:58:42] 649*2^1244225-1 is not prime. Res64: E92F13F0DD6FBF5A Time : 0.0 sec. user=vaughan [2013-04-08 17:07:36] 903*2^1244224-1 is not prime. Res64: ACF70E398160867B Time : 0.0 sec. user=mdettweiler [2013-04-08 17:16:26] 691*2^1244225-1 is not prime. Res64: 5AF6BFD352AD478F Time : 0.0 sec. user=mdettweiler [2013-04-08 17:16:28] 705*2^1244225-1 is not prime. Res64: 8F39DB68FAE30646 Time : 0.0 sec. user=mdettweiler [2013-04-08 17:16:29] 847*2^1244225-1 is not prime. Res64: C6FB80C59AC53414 Time : 0.0 sec. user=mdettweiler [2013-04-08 17:16:30] 951*2^1244225-1 is not prime. Res64: EC5054B427C5E58F Time : 0.0 sec. user=mdettweiler [2013-04-08 17:34:17] 913*2^1244227-1 is not prime. Res64: 4CBA77913E2EF695 Time : 0.0 sec. user=mdettweiler [2013-04-08 17:34:19] 993*2^1244227-1 is not prime. Res64: 43007C2C720AB07C Time : 0.0 sec. user=mdettweiler [2013-04-08 17:34:20] 687*2^1244228-1 is not prime. Res64: 0E109F73798E9A16 Time : 0.0 sec. user=mdettweiler [2013-04-08 17:34:21] 725*2^1244228-1 is not prime. Res64: C674D3D5CB811E7A Time : 0.0 sec. user=juhehe [2013-04-08 17:37:56] 915*2^1244224-1 is not prime. Res64: 7AB29CCEFEB8E70F Time : 0.0 sec. user=vaughan [2013-04-08 17:45:52] 887*2^1244226-1 is not prime. Res64: 5159972C352DB5C8 Time : 0.0 sec. user=mdettweiler [2013-04-08 17:52:03] 767*2^1244228-1 is not prime. Res64: 0DF8B2C42A090286 Time : 0.0 sec. user=mdettweiler [2013-04-08 17:52:03] 777*2^1244228-1 is not prime. Res64: 6B7E129D70919DF7 Time : 0.0 sec. user=mdettweiler [2013-04-08 17:52:05] 797*2^1244228-1 is not prime. Res64: 37F64D7E36B7B2BE Time : 0.0 sec. user=mdettweiler [2013-04-08 17:52:06] 845*2^1244228-1 is not prime. Res64: A1496B8C50CBE357 Time : 0.0 sec. user=mdettweiler [2013-04-08 18:10:04] 781*2^1244229-1 is not prime. Res64: 6517B7AC7D590087 Time : 0.0 sec. user=mdettweiler [2013-04-08 18:10:05] 837*2^1244229-1 is not prime. Res64: 24707A3488725697 Time : 0.0 sec. user=mdettweiler [2013-04-08 18:10:09] 927*2^1244229-1 is not prime. Res64: 282D9D3157CDC4D6 Time : 0.0 sec. user=mdettweiler [2013-04-08 18:10:11] 999*2^1244229-1 is not prime. Res64: 6696DB6EB4C98876 Time : 0.0 sec. user=juhehe [2013-04-08 18:14:22] 759*2^1244227-1 is not prime. Res64: 196E48D52F844864 Time : 0.0 sec. user=vaughan [2013-04-08 18:24:07] 769*2^1244229-1 is not prime. Res64: 1F1C95DA6B740FAC Time : 0.0 sec. user=mdettweiler [2013-04-08 18:28:20] 647*2^1244230-1 is not prime. Res64: 00AB84C28E741315 Time : 0.0 sec. user=mdettweiler [2013-04-08 18:28:20] 761*2^1244230-1 is not prime. Res64: FB0874950B814A7D Time : 0.0 sec. user=mdettweiler [2013-04-08 18:28:21] 857*2^1244230-1 is not prime. Res64: C065FC84C5B75AA8 Time : 0.0 sec. user=mdettweiler [2013-04-08 18:28:22] 885*2^1244230-1 is not prime. Res64: 3B81DED0918AD2EF Time : 0.0 sec. user=mdettweiler [2013-04-08 18:46:27] 615*2^1244231-1 is not prime. Res64: F34A974B0372373E Time : 0.0 sec. user=mdettweiler [2013-04-08 18:46:27] 649*2^1244231-1 is not prime. Res64: 494E4A44326EF685 Time : 0.0 sec. user=mdettweiler [2013-04-08 18:46:28] 675*2^1244231-1 is not prime. Res64: DEB0D3975F273CEC Time : 0.0 sec. user=mdettweiler [2013-04-08 18:46:28] 693*2^1244231-1 is not prime. Res64: A645037C0FF8D46A Time : 0.0 sec. user=mdettweiler [2013-04-08 19:04:41] 829*2^1244231-1 is not prime. Res64: 32EE6559F7312FED Time : 0.0 sec. user=mdettweiler [2013-04-08 19:04:42] 859*2^1244231-1 is not prime. Res64: E5EEE732F8DA2996 Time : 0.0 sec. user=mdettweiler [2013-04-08 19:04:44] 909*2^1244231-1 is not prime. Res64: C0A42B5445716862 Time : 0.0 sec. user=mdettweiler [2013-04-08 19:04:45] 969*2^1244231-1 is not prime. Res64: E8ABF8B180ED0F00 Time : 0.0 sec. user=vaughan [2013-04-08 19:07:25] 965*2^1244230-1 is not prime. Res64: 65359F62DABEC662 Time : 0.0 sec. user=mdettweiler [2013-04-08 19:23:04] 605*2^1244232-1 is not prime. Res64: CF004C53E122AB39 Time : 0.0 sec. user=mdettweiler [2013-04-08 19:23:05] 675*2^1244232-1 is not prime. Res64: B7473FD0F251CE06 Time : 0.0 sec. user=mdettweiler [2013-04-08 19:23:05] 689*2^1244232-1 is not prime. Res64: 2CC1E9CC356897C7 Time : 0.0 sec. user=mdettweiler [2013-04-08 19:23:06] 699*2^1244232-1 is not prime. Res64: AE48EB035E3EDBA6 Time : 0.0 sec. user=juhehe [2013-04-08 19:39:47] 711*2^1244231-1 is not prime. Res64: DAC4E588FD4CE9C0 Time : 0.0 sec. user=mdettweiler [2013-04-08 19:40:59] 957*2^1244232-1 is not prime. Res64: 896B3C19653C75D8 Time : 0.0 sec. user=mdettweiler [2013-04-08 19:41:00] 615*2^1244233-1 is not prime. Res64: A140A0ECEABCA577 Time : 0.0 sec. user=mdettweiler [2013-04-08 19:41:12] 825*2^1244232-1 is not prime. Res64: 90F0625A7D9151A9 Time : 0.0 sec. user=mdettweiler [2013-04-08 19:41:13] 899*2^1244232-1 is not prime. Res64: 2CDCA177C8CC9E35 Time : 0.0 sec. user=vaughan [2013-04-08 19:45:45] 765*2^1244232-1 is not prime. Res64: C12F8E57173C98B0 Time : 0.0 sec. user=mdettweiler [2013-04-08 19:58:47] 681*2^1244233-1 is not prime. Res64: 294C476A45D61323 Time : 0.0 sec. user=mdettweiler [2013-04-08 19:58:48] 715*2^1244233-1 is not prime. Res64: 2B312F81AAB72FC9 Time : 0.0 sec. user=mdettweiler [2013-04-08 19:58:59] 829*2^1244233-1 is not prime. Res64: CCDE9E7C5B310227 Time : 0.0 sec. user=mdettweiler [2013-04-08 19:58:59] 855*2^1244233-1 is not prime. Res64: A4E057CC5441E151 Time : 0.0 sec. user=mdettweiler [2013-04-08 20:16:30] 875*2^1244234-1 is not prime. Res64: 23089BAEE8F62F3D Time : 0.0 sec. user=mdettweiler [2013-04-08 20:16:31] 921*2^1244234-1 is not prime. Res64: A0084AF70E7BEECA Time : 0.0 sec. user=mdettweiler [2013-04-08 20:16:40] 625*2^1244235-1 is not prime. Res64: 167B3A118EB8A1B0 Time : 0.0 sec. user=mdettweiler [2013-04-08 20:16:41] 633*2^1244235-1 is not prime. Res64: F6E6992098C95FE6 Time : 0.0 sec. user=juhehe [2013-04-08 20:17:18] 803*2^1244232-1 is not prime. Res64: BC3B9C9B8F63ECC3 Time : 0.0 sec. user=vaughan [2013-04-08 20:24:01] 925*2^1244233-1 is not prime. Res64: 3594E656D4799F72 Time : 0.0 sec. user=mdettweiler [2013-04-08 20:34:09] 781*2^1244235-1 is not prime. Res64: BD03CBC6535A1546 Time : 0.0 sec. user=mdettweiler [2013-04-08 20:34:09] 921*2^1244235-1 is not prime. Res64: BCA640549DCB2AE6 Time : 0.0 sec. user=mdettweiler [2013-04-08 20:34:18] 951*2^1244235-1 is not prime. Res64: 66BB0B37FFE20450 Time : 0.0 sec. user=mdettweiler [2013-04-08 20:34:19] 963*2^1244235-1 is not prime. Res64: 4B06C25C1C2A01CE Time : 0.0 sec. user=mdettweiler [2013-04-08 20:51:46] 615*2^1244236-1 is not prime. Res64: 2FAE057F05AE8508 Time : 0.0 sec. user=mdettweiler [2013-04-08 20:51:47] 623*2^1244236-1 is not prime. Res64: F376ED19328DC0C5 Time : 0.0 sec. user=mdettweiler [2013-04-08 20:51:55] 705*2^1244236-1 is not prime. Res64: DC40B1C5FE83C9EA Time : 0.0 sec. user=mdettweiler [2013-04-08 20:51:57] 735*2^1244236-1 is not prime. Res64: 640823C6493B41F2 Time : 0.0 sec. user=vaughan [2013-04-08 21:07:22] 973*2^1244235-1 is not prime. Res64: 175F57714B4EE1C5 Time : 0.0 sec. user=mdettweiler [2013-04-08 21:09:24] 927*2^1244236-1 is not prime. Res64: 19D6A3DB73478973 Time : 0.0 sec. user=mdettweiler [2013-04-08 21:09:26] 953*2^1244236-1 is not prime. Res64: 38E05B228833C4AC Time : 0.0 sec. user=mdettweiler [2013-04-08 21:09:35] 983*2^1244236-1 is not prime. Res64: 0C1C7FFA21FD68CF Time : 0.0 sec. user=mdettweiler [2013-04-08 21:09:37] 999*2^1244236-1 is not prime. Res64: EE8D9B1B5C62F4AF Time : 0.0 sec. user=mdettweiler [2013-04-08 21:27:03] 901*2^1244237-1 is not prime. Res64: 688228AFAC317BE2 Time : 0.0 sec. user=mdettweiler [2013-04-08 21:27:04] 927*2^1244237-1 is not prime. Res64: 4D661BCBE963EF83 Time : 0.0 sec. user=mdettweiler [2013-04-08 21:27:17] 641*2^1244238-1 is not prime. Res64: C55DFBEC2CEB96BF Time : 0.0 sec. user=mdettweiler [2013-04-08 21:27:18] 693*2^1244238-1 is not prime. Res64: 12D882EE85F4AA1A Time : 0.0 sec. user=juhehe [2013-04-08 21:41:31] 759*2^1244236-1 is not prime. Res64: 007F739D4086337B Time : 0.0 sec. user=mdettweiler [2013-04-08 21:44:45] 843*2^1244238-1 is not prime. Res64: CA1DB6FD76D1AEAC Time : 0.0 sec. user=mdettweiler [2013-04-08 21:44:46] 887*2^1244238-1 is not prime. Res64: 7B8802C84DDE9C57 Time : 0.0 sec. user=mdettweiler [2013-04-08 21:44:55] 1001*2^1244238-1 is not prime. Res64: 0241C76CAC194AAF Time : 0.0 sec. user=mdettweiler [2013-04-08 21:44:56] 609*2^1244239-1 is not prime. Res64: 4F973D63BD3686AC Time : 0.0 sec. user=vaughan [2013-04-08 21:45:43] 675*2^1244237-1 is not prime. Res64: 0EEDD5E0B1CD98C2 Time : 0.0 sec. user=mdettweiler [2013-04-08 22:02:23] 645*2^1244239-1 is not prime. Res64: E85855CEB9247FEF Time : 0.0 sec. user=mdettweiler [2013-04-08 22:02:25] 675*2^1244239-1 is not prime. Res64: C90D169E7CED469B Time : 0.0 sec. user=mdettweiler [2013-04-08 22:02:34] 723*2^1244239-1 is not prime. Res64: CD4037256FCEAB21 Time : 0.0 sec. user=mdettweiler [2013-04-08 22:02:36] 999*2^1244239-1 is not prime. Res64: 7ACF6F1A0A864BB0 Time : 0.0 sec. user=mdettweiler [2013-04-08 22:20:03] 719*2^1244240-1 is not prime. Res64: DB7003AC3CA99849 Time : 0.0 sec. user=mdettweiler [2013-04-08 22:20:04] 845*2^1244240-1 is not prime. Res64: F9DCDD66DDEDC8F5 Time : 0.0 sec. user=juhehe [2013-04-08 22:20:09] 707*2^1244238-1 is not prime. Res64: A299628D4F072A18 Time : 0.0 sec. user=mdettweiler [2013-04-08 22:20:11] 879*2^1244240-1 is not prime. Res64: 871E7009E632DD57 Time : 0.0 sec. user=mdettweiler [2013-04-08 22:20:12] 917*2^1244240-1 is not prime. Res64: D774C54FBA64C46C Time : 0.0 sec. user=vaughan [2013-04-08 22:23:58] 645*2^1244240-1 is not prime. Res64: 7B72FF86704C3E39 Time : 0.0 sec. user=mdettweiler [2013-04-08 22:37:36] 927*2^1244240-1 is not prime. Res64: 5B70E4349F191000 Time : 0.0 sec. user=mdettweiler [2013-04-08 22:37:36] 681*2^1244241-1 is not prime. Res64: 656B5B9B02D62345 Time : 0.0 sec. user=mdettweiler [2013-04-08 22:37:42] 691*2^1244241-1 is not prime. Res64: 0E4C01C1F4CEF9AA Time : 0.0 sec. user=mdettweiler [2013-04-08 22:37:43] 747*2^1244241-1 is not prime. Res64: 32AA7EBFD264C975 Time : 0.0 sec. user=mdettweiler [2013-04-08 22:55:08] 837*2^1244241-1 is not prime. Res64: FAC014741FB8CC5C Time : 0.0 sec. user=mdettweiler [2013-04-08 22:55:08] 895*2^1244241-1 is not prime. Res64: B811B064D6ECB3EB Time : 0.0 sec. user=mdettweiler [2013-04-08 22:55:14] 921*2^1244241-1 is not prime. Res64: E58C40CA55CBA991 Time : 0.0 sec. user=mdettweiler [2013-04-08 22:55:15] 737*2^1244242-1 is not prime. Res64: 4BA29D8DA654120E Time : 0.0 sec. user=vaughan [2013-04-08 23:02:15] 807*2^1244241-1 is not prime. Res64: BCFC741973BE39FE Time : 0.0 sec. user=mdettweiler [2013-04-08 23:12:39] 813*2^1244242-1 is not prime. Res64: C16E52AE34CED574 Time : 0.0 sec. user=mdettweiler [2013-04-08 23:12:40] 867*2^1244242-1 is not prime. Res64: 342F757F35100D7E Time : 0.0 sec. user=mdettweiler [2013-04-08 23:12:46] 873*2^1244242-1 is not prime. Res64: C07F6033816C2862 Time : 0.0 sec. user=mdettweiler [2013-04-08 23:12:47] 915*2^1244242-1 is not prime. Res64: 1405B9ECAEF9896E Time : 0.0 sec. user=mdettweiler [2013-04-08 23:30:16] 621*2^1244243-1 is not prime. Res64: 6A8CDC0C33EE7B03 Time : 0.0 sec. user=mdettweiler [2013-04-08 23:30:16] 811*2^1244243-1 is not prime. Res64: 992F846A198E6358 Time : 0.0 sec. user=mdettweiler [2013-04-08 23:30:17] 885*2^1244243-1 is not prime. Res64: EBBEDAF6B4593D41 Time : 0.0 sec. user=mdettweiler [2013-04-08 23:30:18] 723*2^1244244-1 is not prime. Res64: DF259A3129498DBE Time : 0.0 sec. user=juhehe [2013-04-08 23:43:47] 777*2^1244242-1 is not prime. Res64: 0959C1826CD55364 Time : 0.0 sec. user=vaughan [2013-04-08 23:45:52] 951*2^1244242-1 is not prime. Res64: ABB42B0DE9E782DC Time : 0.0 sec. user=mdettweiler [2013-04-08 23:47:48] 619*2^1244245-1 is not prime. Res64: 172AD39F79DF91A2 Time : 0.0 sec. user=mdettweiler [2013-04-08 23:47:49] 721*2^1244245-1 is not prime. Res64: 720F11453975A58A Time : 0.0 sec. user=mdettweiler [2013-04-08 23:47:49] 817*2^1244245-1 is not prime. Res64: 740D4F6F392A935A Time : 0.0 sec. user=mdettweiler [2013-04-08 23:47:49] 937*2^1244245-1 is not prime. Res64: 344B2122D3CE1B03 Time : 0.0 sec.