user=mdettweiler [2013-03-07 00:05:07] 633*2^1242180-1 is not prime. Res64: AC686FB577F8B527 Time : 0.0 sec. user=mdettweiler [2013-03-07 00:05:08] 717*2^1242180-1 is not prime. Res64: 59A3A79F717A11F9 Time : 0.0 sec. user=mdettweiler [2013-03-07 00:05:09] 653*2^1242180-1 is not prime. Res64: 9D32AC00E74E1232 Time : 0.0 sec. user=mdettweiler [2013-03-07 00:05:09] 809*2^1242180-1 is not prime. Res64: 23AA2977BC506C7D Time : 0.0 sec. user=mdettweiler [2013-03-07 00:22:38] 845*2^1242180-1 is not prime. Res64: E9C96825418F8561 Time : 0.0 sec. user=mdettweiler [2013-03-07 00:22:39] 857*2^1242180-1 is not prime. Res64: C1AAF841B188AEA6 Time : 0.0 sec. user=mdettweiler [2013-03-07 00:22:40] 929*2^1242180-1 is not prime. Res64: AF5ECEE373E24DB5 Time : 0.0 sec. user=mdettweiler [2013-03-07 00:22:41] 687*2^1242181-1 is not prime. Res64: 8739EE4D2973E69B Time : 0.0 sec. user=juhehe [2013-03-07 00:29:38] 623*2^1242180-1 is not prime. Res64: 1DB5C9BDE7482C3C Time : 0.0 sec. user=mdettweiler [2013-03-07 00:40:04] 741*2^1242181-1 is not prime. Res64: F3DF39CA3A4DFA4B Time : 0.0 sec. user=mdettweiler [2013-03-07 00:40:04] 777*2^1242181-1 is not prime. Res64: D95DB951F5AC1EFD Time : 0.0 sec. user=mdettweiler [2013-03-07 00:40:06] 849*2^1242181-1 is not prime. Res64: 7C9B01C985EDEC16 Time : 0.0 sec. user=mdettweiler [2013-03-07 00:40:07] 861*2^1242181-1 is not prime. Res64: 089EE4725F78206C Time : 0.0 sec. user=mdettweiler [2013-03-07 00:57:29] 867*2^1242181-1 is not prime. Res64: 81AE2AF757AAD49E Time : 0.0 sec. user=mdettweiler [2013-03-07 00:57:30] 925*2^1242181-1 is not prime. Res64: B9F01478E3690239 Time : 0.0 sec. user=mdettweiler [2013-03-07 00:57:31] 603*2^1242182-1 is not prime. Res64: 1E5367419570BCFF Time : 0.0 sec. user=mdettweiler [2013-03-07 00:57:32] 645*2^1242182-1 is not prime. Res64: 12A865FAD1805CB0 Time : 0.0 sec. user=mdettweiler [2013-03-07 01:14:54] 825*2^1242182-1 is not prime. Res64: D557E4AECA7F8173 Time : 0.0 sec. user=mdettweiler [2013-03-07 01:14:55] 831*2^1242182-1 is not prime. Res64: 602DD4E3EBD885C2 Time : 0.0 sec. user=mdettweiler [2013-03-07 01:14:55] 935*2^1242182-1 is not prime. Res64: FD8BBE5C9765C6D6 Time : 0.0 sec. user=mdettweiler [2013-03-07 01:14:56] 941*2^1242182-1 is not prime. Res64: C1010BD1225BF610 Time : 0.0 sec. user=juhehe [2013-03-07 01:20:08] 717*2^1242181-1 is not prime. Res64: A0D52B143924F642 Time : 0.0 sec. user=mdettweiler [2013-03-07 01:32:19] 781*2^1242183-1 is not prime. Res64: 81E313A94B1062BB Time : 0.0 sec. user=mdettweiler [2013-03-07 01:32:20] 795*2^1242183-1 is not prime. Res64: AFA28DB8F60CEBB8 Time : 0.0 sec. user=mdettweiler [2013-03-07 01:32:20] 805*2^1242183-1 is not prime. Res64: C985E4E58DC1C411 Time : 0.0 sec. user=mdettweiler [2013-03-07 01:32:21] 823*2^1242183-1 is not prime. Res64: E2D99BB1B6B769A2 Time : 0.0 sec. user=mdettweiler [2013-03-07 01:49:46] 853*2^1242183-1 is not prime. Res64: 527507E39286A898 Time : 0.0 sec. user=mdettweiler [2013-03-07 01:49:47] 949*2^1242183-1 is not prime. Res64: C34D2D0F88AA219B Time : 0.0 sec. user=mdettweiler [2013-03-07 01:49:47] 963*2^1242183-1 is not prime. Res64: 2561C0DB7EDECF83 Time : 0.0 sec. user=mdettweiler [2013-03-07 01:49:48] 657*2^1242184-1 is not prime. Res64: 7447673107B2FC04 Time : 0.0 sec. user=juhehe [2013-03-07 01:54:52] 963*2^1242182-1 is not prime. Res64: 025BF65CF3082C37 Time : 0.0 sec. user=juhehe [2013-03-07 02:01:07] 957*2^1242182-1 is not prime. Res64: 78FF5E2A2E7EE716 Time : 0.0 sec. user=mdettweiler [2013-03-07 02:07:11] 755*2^1242184-1 is not prime. Res64: DA67B0D9428B3040 Time : 0.0 sec. user=mdettweiler [2013-03-07 02:07:12] 833*2^1242184-1 is not prime. Res64: D3C5D0AC0DD63B0B Time : 0.0 sec. user=mdettweiler [2013-03-07 02:07:13] 869*2^1242184-1 is not prime. Res64: E309FEC38B0881C1 Time : 0.0 sec. user=mdettweiler [2013-03-07 02:07:14] 887*2^1242184-1 is not prime. Res64: 9ABC3CEDF63ABC31 Time : 0.0 sec. user=juhehe [2013-03-07 02:27:27] 927*2^1242184-1 is not prime. Res64: 658794F00ECC2BB4 Time : 0.0 sec. user=juhehe [2013-03-07 02:28:15] 619*2^1242185-1 is not prime. Res64: 7A5C02650CA8BB63 Time : 0.0 sec. user=mdettweiler [2013-03-07 02:40:45] 627*2^1242185-1 is not prime. Res64: A3DB0FADC49F30E3 Time : 0.0 sec. user=mdettweiler [2013-03-07 02:40:46] 847*2^1242185-1 is not prime. Res64: 9D1BF4E56D2784DC Time : 0.0 sec. user=mdettweiler [2013-03-07 02:40:46] 841*2^1242185-1 is not prime. Res64: 32D224BD365690A8 Time : 0.0 sec. user=mdettweiler [2013-03-07 02:40:47] 861*2^1242185-1 is not prime. Res64: B7C568B3C44952B4 Time : 0.0 sec. user=juhehe [2013-03-07 02:53:33] 949*2^1242185-1 is not prime. Res64: 64972AD8A65AE1B2 Time : 0.0 sec. user=juhehe [2013-03-07 02:54:19] 957*2^1242185-1 is not prime. Res64: 5F665E3BFF7DCA70 Time : 0.0 sec. user=mdettweiler [2013-03-07 02:58:34] 635*2^1242186-1 is not prime. Res64: 1F282A9969E07C2B Time : 0.0 sec. user=mdettweiler [2013-03-07 02:58:35] 641*2^1242186-1 is not prime. Res64: 7719AAC1F992224F Time : 0.0 sec. user=mdettweiler [2013-03-07 02:58:35] 723*2^1242186-1 is not prime. Res64: F18F7685D98964CD Time : 0.0 sec. user=mdettweiler [2013-03-07 02:58:36] 735*2^1242186-1 is not prime. Res64: 398F901AAA31A589 Time : 0.0 sec. user=mdettweiler [2013-03-07 03:16:00] 603*2^1242187-1 is not prime. Res64: 65203E0E7B1E693A Time : 0.0 sec. user=mdettweiler [2013-03-07 03:16:00] 621*2^1242187-1 is not prime. Res64: 9C2B2BFA4B1398F7 Time : 0.0 sec. user=mdettweiler [2013-03-07 03:16:01] 765*2^1242187-1 is not prime. Res64: 001BCC3561BEAC5E Time : 0.0 sec. user=mdettweiler [2013-03-07 03:16:02] 835*2^1242187-1 is not prime. Res64: 70E51BC29E9626A4 Time : 0.0 sec. user=juhehe [2013-03-07 03:19:31] 843*2^1242186-1 is not prime. Res64: 2653CEA8292C4D7B Time : 0.0 sec. user=juhehe [2013-03-07 03:20:16] 917*2^1242186-1 is not prime. Res64: 51369BB8C71F9593 Time : 0.0 sec. user=juhehe [2013-03-07 03:21:07] 909*2^1242185-1 is not prime. Res64: 8ADF9C505A7A5C8D Time : 0.0 sec. user=mdettweiler [2013-03-07 03:33:29] 825*2^1242188-1 is not prime. Res64: ACEC12AF89884226 Time : 0.0 sec. user=mdettweiler [2013-03-07 03:33:29] 603*2^1242188-1 is not prime. Res64: 1BFD5149E217CDDA Time : 0.0 sec. user=mdettweiler [2013-03-07 03:33:31] 879*2^1242188-1 is not prime. Res64: 572F83A49A66423C Time : 0.0 sec. user=mdettweiler [2013-03-07 03:33:31] 819*2^1242188-1 is not prime. Res64: 8ADF30DE422C3477 Time : 0.0 sec. user=juhehe [2013-03-07 03:51:01] 969*2^1242188-1 is not prime. Res64: 3A52931036223203 Time : 0.0 sec. user=mdettweiler [2013-03-07 03:51:24] 781*2^1242189-1 is not prime. Res64: D392239412D0549B Time : 0.0 sec. user=mdettweiler [2013-03-07 03:51:25] 817*2^1242189-1 is not prime. Res64: 39FFB3CF4720C44F Time : 0.0 sec. user=mdettweiler [2013-03-07 03:51:25] 867*2^1242189-1 is not prime. Res64: 7F38F62D5ED17B67 Time : 0.0 sec. user=mdettweiler [2013-03-07 03:51:26] 885*2^1242189-1 is not prime. Res64: AAE3340A111F6238 Time : 0.0 sec. user=juhehe [2013-03-07 03:52:03] 999*2^1242188-1 is not prime. Res64: 35A960723258F9D1 Time : 0.0 sec. user=juhehe [2013-03-07 04:02:48] 891*2^1242187-1 is not prime. Res64: 2C3EA85EA3ECC540 Time : 0.0 sec. user=mdettweiler [2013-03-07 04:08:52] 979*2^1242189-1 is not prime. Res64: C416F7E2515A23AC Time : 0.0 sec. user=mdettweiler [2013-03-07 04:08:52] 717*2^1242190-1 is not prime. Res64: 02476D250ECB748D Time : 0.0 sec. user=mdettweiler [2013-03-07 04:08:53] 653*2^1242190-1 is not prime. Res64: B53D2CC003F79755 Time : 0.0 sec. user=mdettweiler [2013-03-07 04:08:53] 971*2^1242190-1 is not prime. Res64: E94668A1FC8BBD46 Time : 0.0 sec. user=juhehe [2013-03-07 04:21:57] 995*2^1242190-1 is not prime. Res64: 14D699C6D8080382 Time : 0.0 sec. user=mdettweiler [2013-03-07 04:26:23] 643*2^1242191-1 is not prime. Res64: 4641598552A3FAD2 Time : 0.0 sec. user=mdettweiler [2013-03-07 04:26:24] 705*2^1242191-1 is not prime. Res64: 1452D7BFF7D9C095 Time : 0.0 sec. user=mdettweiler [2013-03-07 04:26:25] 711*2^1242191-1 is not prime. Res64: A29625ACA2B31BE0 Time : 0.0 sec. user=mdettweiler [2013-03-07 04:26:25] 745*2^1242191-1 is not prime. Res64: 7F8D7B7AC35F7AF7 Time : 0.0 sec. user=juhehe [2013-03-07 04:37:46] 615*2^1242191-1 is not prime. Res64: FC81B7EB758AF744 Time : 0.0 sec. user=mdettweiler [2013-03-07 04:43:47] 885*2^1242191-1 is not prime. Res64: BCBC39E407AEFDA1 Time : 0.0 sec. user=mdettweiler [2013-03-07 04:43:48] 943*2^1242191-1 is not prime. Res64: 0B3D737D3C33863E Time : 0.0 sec. user=mdettweiler [2013-03-07 04:43:49] 665*2^1242192-1 is not prime. Res64: 37E543AF69A9330C Time : 0.0 sec. user=mdettweiler [2013-03-07 04:43:50] 737*2^1242192-1 is not prime. Res64: 0BDFF5F2D0414983 Time : 0.0 sec. user=juhehe [2013-03-07 04:47:24] 879*2^1242191-1 is not prime. Res64: B4B6747D7155B28B Time : 0.0 sec. user=mdettweiler [2013-03-07 05:01:16] 875*2^1242192-1 is not prime. Res64: 2196F29375B8080A Time : 0.0 sec. user=mdettweiler [2013-03-07 05:01:17] 983*2^1242192-1 is not prime. Res64: E61ECB16CCCDFB0C Time : 0.0 sec. user=mdettweiler [2013-03-07 05:01:17] 945*2^1242192-1 is not prime. Res64: 24378A90EF77E68D Time : 0.0 sec. user=mdettweiler [2013-03-07 05:01:18] 615*2^1242193-1 is not prime. Res64: 023CDEE8886AEF0C Time : 0.0 sec. user=juhehe [2013-03-07 05:12:51] 619*2^1242193-1 is not prime. Res64: D1ADCC4DC10B3C19 Time : 0.0 sec. user=mdettweiler [2013-03-07 05:18:55] 651*2^1242193-1 is not prime. Res64: D772CC9B2645D8DC Time : 0.0 sec. user=mdettweiler [2013-03-07 05:18:56] 679*2^1242193-1 is not prime. Res64: 78C7BEE41EC8AAFC Time : 0.0 sec. user=mdettweiler [2013-03-07 05:18:57] 727*2^1242193-1 is not prime. Res64: E6DC12081FE644EF Time : 0.0 sec. user=mdettweiler [2013-03-07 05:18:57] 771*2^1242193-1 is not prime. Res64: 8ECE2FAB0DFA87A2 Time : 0.0 sec. user=juhehe [2013-03-07 05:22:28] 811*2^1242191-1 is not prime. Res64: 77FF4E4D29CB4CFD Time : 0.0 sec. user=mdettweiler [2013-03-07 05:36:20] 895*2^1242193-1 is not prime. Res64: A0C62C322AA5E15F Time : 0.0 sec. user=mdettweiler [2013-03-07 05:36:20] 957*2^1242193-1 is not prime. Res64: 21BAF3BAE9EEA86A Time : 0.0 sec. user=mdettweiler [2013-03-07 05:36:22] 999*2^1242193-1 is not prime. Res64: AE46AE0D2BD22325 Time : 0.0 sec. user=mdettweiler [2013-03-07 05:36:23] 705*2^1242194-1 is not prime. Res64: FB32E070184FEC4F Time : 0.0 sec. user=juhehe [2013-03-07 05:38:26] 861*2^1242193-1 is not prime. Res64: 8EABF1F401F4DACF Time : 0.0 sec. user=mdettweiler [2013-03-07 05:53:46] 743*2^1242194-1 is not prime. Res64: F8413A202A1900C1 Time : 0.0 sec. user=mdettweiler [2013-03-07 05:53:46] 783*2^1242194-1 is not prime. Res64: 6A24F92925590FCF Time : 0.0 sec. user=mdettweiler [2013-03-07 05:53:47] 815*2^1242194-1 is not prime. Res64: 7AD03DFC5BD26E0D Time : 0.0 sec. user=mdettweiler [2013-03-07 05:53:47] 825*2^1242194-1 is not prime. Res64: 4983772BF27860AB Time : 0.0 sec. user=juhehe [2013-03-07 06:03:53] 601*2^1242195-1 is not prime. Res64: 60FC65C8479511E2 Time : 0.0 sec. user=juhehe [2013-03-07 06:04:11] 805*2^1242193-1 is not prime. Res64: 5BFDD87539DF0787 Time : 0.0 sec. user=mdettweiler [2013-03-07 06:11:10] 609*2^1242195-1 is not prime. Res64: FC03CC5E805816E7 Time : 0.0 sec. user=mdettweiler [2013-03-07 06:11:10] 663*2^1242195-1 is not prime. Res64: 2C579E4B2B0EAE34 Time : 0.0 sec. user=mdettweiler [2013-03-07 06:11:11] 619*2^1242195-1 is not prime. Res64: 5E9DA45CD662B9A1 Time : 0.0 sec. user=mdettweiler [2013-03-07 06:11:11] 705*2^1242195-1 is not prime. Res64: C06FE2119538BDCF Time : 0.0 sec. user=mdettweiler [2013-03-07 06:28:35] 795*2^1242195-1 is not prime. Res64: 9033EE0677D8DF79 Time : 0.0 sec. user=mdettweiler [2013-03-07 06:28:35] 919*2^1242195-1 is not prime. Res64: 9CE4B3C1E19C2B74 Time : 0.0 sec. user=mdettweiler [2013-03-07 06:28:36] 615*2^1242196-1 is not prime. Res64: 578F6C548691F6BF Time : 0.0 sec. user=mdettweiler [2013-03-07 06:28:36] 903*2^1242196-1 is not prime. Res64: DC09C60FA852487D Time : 0.0 sec. user=juhehe [2013-03-07 06:30:27] 781*2^1242195-1 is not prime. Res64: 99C0F16D79B4FA4D Time : 0.0 sec. user=juhehe [2013-03-07 06:40:34] 741*2^1242195-1 is not prime. Res64: 973ABFDBDFEA9A92 Time : 0.0 sec. user=mdettweiler [2013-03-07 06:46:00] 825*2^1242197-1 is not prime. Res64: DD129AC3CCEB6E35 Time : 0.0 sec. user=mdettweiler [2013-03-07 06:46:01] 991*2^1242197-1 is not prime. Res64: A2ECB5635751325D Time : 0.0 sec. user=mdettweiler [2013-03-07 06:46:02] 641*2^1242198-1 is not prime. Res64: 0C4B4861C5439647 Time : 0.0 sec. user=mdettweiler [2013-03-07 06:46:02] 663*2^1242198-1 is not prime. Res64: 0B26F2B5CDFE14F0 Time : 0.0 sec. user=juhehe [2013-03-07 07:00:57] 927*2^1242198-1 is not prime. Res64: C9C5AADDF2A3A037 Time : 0.0 sec. user=mdettweiler [2013-03-07 07:03:25] 945*2^1242198-1 is not prime. Res64: 594B4A128E54517C Time : 0.0 sec. user=mdettweiler [2013-03-07 07:03:26] 993*2^1242198-1 is not prime. Res64: E5EF27C1990802BA Time : 0.0 sec. user=mdettweiler [2013-03-07 07:03:26] 639*2^1242199-1 is not prime. Res64: CF9E65AEB68F7900 Time : 0.0 sec. user=mdettweiler [2013-03-07 07:03:27] 649*2^1242199-1 is not prime. Res64: EC04DC8F819D0C3A Time : 0.0 sec. user=mdettweiler [2013-03-07 07:20:51] 843*2^1242199-1 is not prime. Res64: DE12A22E93FFCBD2 Time : 0.0 sec. user=mdettweiler [2013-03-07 07:20:51] 855*2^1242199-1 is not prime. Res64: ED4EE3A297CD7A58 Time : 0.0 sec. user=mdettweiler [2013-03-07 07:20:52] 891*2^1242199-1 is not prime. Res64: C98C3BBB139AFF2E Time : 0.0 sec. user=mdettweiler [2013-03-07 07:20:52] 993*2^1242199-1 is not prime. Res64: 7DFB71C0F70E04B0 Time : 0.0 sec. user=juhehe [2013-03-07 07:23:58] 759*2^1242197-1 is not prime. Res64: 3F34992E9DB54CE5 Time : 0.0 sec. user=juhehe [2013-03-07 07:29:11] 745*2^1242199-1 is not prime. Res64: B2A2183A137CBE90 Time : 0.0 sec. user=mdettweiler [2013-03-07 07:38:15] 663*2^1242200-1 is not prime. Res64: A4BDADC0E2A16C7B Time : 0.0 sec. user=mdettweiler [2013-03-07 07:38:16] 797*2^1242200-1 is not prime. Res64: CC77C2BE50C00672 Time : 0.0 sec. user=mdettweiler [2013-03-07 07:38:16] 843*2^1242200-1 is not prime. Res64: 31AF698847738BF0 Time : 0.0 sec. user=mdettweiler [2013-03-07 07:38:17] 959*2^1242200-1 is not prime. Res64: E70A05B45CD4F1E7 Time : 0.0 sec. user=mdettweiler [2013-03-07 07:55:39] 977*2^1242200-1 is not prime. Res64: 63644E8266BD8922 Time : 0.0 sec. user=mdettweiler [2013-03-07 07:55:40] 983*2^1242200-1 is not prime. Res64: F266EACE2ACCBDF8 Time : 0.0 sec. user=mdettweiler [2013-03-07 07:55:40] 607*2^1242201-1 is not prime. Res64: 997FC83AC1DBEA2C Time : 0.0 sec. user=mdettweiler [2013-03-07 07:55:41] 661*2^1242201-1 is not prime. Res64: 00C892AAEFB8B2BB Time : 0.0 sec. user=juhehe [2013-03-07 07:58:10] 963*2^1242200-1 is not prime. Res64: D7CF96C3D425F70A Time : 0.0 sec. user=juhehe [2013-03-07 08:05:24] 831*2^1242199-1 is not prime. Res64: 00F2D1DB2285B3DD Time : 0.0 sec. user=mdettweiler [2013-03-07 08:13:03] 705*2^1242201-1 is not prime. Res64: D19737BA40B04026 Time : 0.0 sec. user=mdettweiler [2013-03-07 08:13:04] 835*2^1242201-1 is not prime. Res64: 99E3E395ABFD537A Time : 0.0 sec. user=mdettweiler [2013-03-07 08:13:04] 949*2^1242201-1 is not prime. Res64: 05EAE9E642FECA2D Time : 0.0 sec. user=mdettweiler [2013-03-07 08:13:05] 987*2^1242201-1 is not prime. Res64: 069F574364B2596E Time : 0.0 sec. user=juhehe [2013-03-07 08:23:35] 621*2^1242202-1 is not prime. Res64: 5C09CB5D959D6756 Time : 0.0 sec. user=mdettweiler [2013-03-07 08:30:28] 735*2^1242202-1 is not prime. Res64: C16053098E845206 Time : 0.0 sec. user=mdettweiler [2013-03-07 08:30:29] 803*2^1242202-1 is not prime. Res64: 2DED7FBAC80EABDA Time : 0.0 sec. user=mdettweiler [2013-03-07 08:30:29] 947*2^1242202-1 is not prime. Res64: 1F14934434B514DA Time : 0.0 sec. user=mdettweiler [2013-03-07 08:30:30] 685*2^1242203-1 is not prime. Res64: 2CF785444D7FE794 Time : 0.0 sec. user=juhehe [2013-03-07 08:34:29] 611*2^1242202-1 is not prime. Res64: 0443D983A192A7BE Time : 0.0 sec. user=mdettweiler [2013-03-07 08:47:52] 921*2^1242203-1 is not prime. Res64: B390364B67EC078A Time : 0.0 sec. user=mdettweiler [2013-03-07 08:47:53] 609*2^1242204-1 is not prime. Res64: D0BFE702A8A4C7A4 Time : 0.0 sec. user=mdettweiler [2013-03-07 08:47:54] 765*2^1242204-1 is not prime. Res64: E97E879085ED7AD0 Time : 0.0 sec. user=mdettweiler [2013-03-07 08:47:54] 773*2^1242204-1 is not prime. Res64: 066257F5D00E10BC Time : 0.0 sec. user=mdettweiler [2013-03-07 09:05:16] 975*2^1242204-1 is not prime. Res64: 1239F4AA62C1B112 Time : 0.0 sec. user=mdettweiler [2013-03-07 09:05:17] 651*2^1242205-1 is not prime. Res64: FC675F2CD1AA6EEA Time : 0.0 sec. user=mdettweiler [2013-03-07 09:05:17] 715*2^1242205-1 is not prime. Res64: 6E8B1F3D80E57226 Time : 0.0 sec. user=mdettweiler [2013-03-07 09:05:18] 847*2^1242205-1 is not prime. Res64: C6351CA7E1A2BD8C Time : 0.0 sec. user=mdettweiler [2013-03-07 09:22:50] 935*2^1242206-1 is not prime. Res64: DCEED490485822CE Time : 0.0 sec. user=mdettweiler [2013-03-07 09:22:50] 651*2^1242207-1 is not prime. Res64: 9EE2A364C3590CF6 Time : 0.0 sec. user=mdettweiler [2013-03-07 09:22:51] 703*2^1242207-1 is not prime. Res64: BDA88113A9D3D212 Time : 0.0 sec. user=mdettweiler [2013-03-07 09:22:51] 859*2^1242207-1 is not prime. Res64: C8E6D2BC3ED2C31E Time : 0.0 sec. user=juhehe [2013-03-07 09:25:17] 805*2^1242203-1 is not prime. Res64: 5F8E58485153BA62 Time : 0.0 sec. user=mdettweiler [2013-03-07 09:40:17] 909*2^1242207-1 is not prime. Res64: 9207158678DC6FB7 Time : 0.0 sec. user=mdettweiler [2013-03-07 09:40:17] 931*2^1242207-1 is not prime. Res64: 84AAA0CC379FB8CF Time : 0.0 sec. user=mdettweiler [2013-03-07 09:40:18] 657*2^1242208-1 is not prime. Res64: 42C279D6BAFAA995 Time : 0.0 sec. user=mdettweiler [2013-03-07 09:40:18] 927*2^1242208-1 is not prime. Res64: 1F864469AACF24A1 Time : 0.0 sec. user=mdettweiler [2013-03-07 09:57:45] 645*2^1242209-1 is not prime. Res64: 2779E470649AAE83 Time : 0.0 sec. user=mdettweiler [2013-03-07 09:57:45] 675*2^1242209-1 is not prime. Res64: BF81B9720FEC43E3 Time : 0.0 sec. user=mdettweiler [2013-03-07 09:57:46] 727*2^1242209-1 is not prime. Res64: ABCBCF5B2C4AC28D Time : 0.0 sec. user=mdettweiler [2013-03-07 09:57:46] 775*2^1242209-1 is not prime. Res64: 981B020A98176A31 Time : 0.0 sec. user=juhehe [2013-03-07 10:05:52] 741*2^1242206-1 is not prime. Res64: F9C7D7C58FD1B9BF Time : 0.0 sec. user=juhehe [2013-03-07 10:08:37] 969*2^1242208-1 is not prime. Res64: E7A51C03B9A982AE Time : 0.0 sec. user=juhehe [2013-03-07 10:09:38] 787*2^1242209-1 is not prime. Res64: ED5C8552EAE1498C Time : 0.0 sec. user=mdettweiler [2013-03-07 10:15:13] 819*2^1242209-1 is not prime. Res64: 877FE19E440BC9FD Time : 0.0 sec. user=mdettweiler [2013-03-07 10:15:13] 889*2^1242209-1 is not prime. Res64: 7CB6D237FFBFDF56 Time : 0.0 sec. user=mdettweiler [2013-03-07 10:15:14] 725*2^1242210-1 is not prime. Res64: E08A88132802EE65 Time : 0.0 sec. user=mdettweiler [2013-03-07 10:15:15] 963*2^1242210-1 is not prime. Res64: 8A857D53FC2D2E46 Time : 0.0 sec. user=juhehe [2013-03-07 10:28:19] 789*2^1242209-1 is not prime. Res64: A50265B71E1BC6E7 Time : 0.0 sec. user=mdettweiler [2013-03-07 10:32:42] 675*2^1242211-1 is not prime. Res64: 8EC04548329DDE0A Time : 0.0 sec. user=mdettweiler [2013-03-07 10:32:43] 859*2^1242211-1 is not prime. Res64: 78424DE5DE6BA587 Time : 0.0 sec. user=mdettweiler [2013-03-07 10:32:44] 873*2^1242211-1 is not prime. Res64: B67996AF91A7ACC6 Time : 0.0 sec. user=mdettweiler [2013-03-07 10:32:44] 951*2^1242211-1 is not prime. Res64: 25859622FA02E127 Time : 0.0 sec. user=juhehe [2013-03-07 10:45:21] 631*2^1242211-1 is not prime. Res64: C5C4341E96E59666 Time : 0.0 sec. user=mdettweiler [2013-03-07 10:50:15] 973*2^1242211-1 is not prime. Res64: 9F941F68FD5DA977 Time : 0.0 sec. user=mdettweiler [2013-03-07 10:50:15] 975*2^1242211-1 is not prime. Res64: BE8B16592E94496C Time : 0.0 sec. user=mdettweiler [2013-03-07 10:50:16] 615*2^1242212-1 is not prime. Res64: B6565DC898C47BDF Time : 0.0 sec. user=mdettweiler [2013-03-07 10:50:16] 617*2^1242212-1 is not prime. Res64: 2E4F851996BA8314 Time : 0.0 sec. user=mdettweiler [2013-03-07 11:07:43] 629*2^1242212-1 is not prime. Res64: 1A570A572F2F0D3F Time : 0.0 sec. user=mdettweiler [2013-03-07 11:07:43] 675*2^1242212-1 is not prime. Res64: F0E5DA30B18B36FF Time : 0.0 sec. user=mdettweiler [2013-03-07 11:07:44] 813*2^1242212-1 is not prime. Res64: 486D25DDCAA01433 Time : 0.0 sec. user=mdettweiler [2013-03-07 11:07:45] 825*2^1242212-1 is not prime. Res64: 56EB8967559C48B9 Time : 0.0 sec. user=mdettweiler [2013-03-07 11:25:14] 875*2^1242212-1 is not prime. Res64: C279D498C3A45710 Time : 0.0 sec. user=mdettweiler [2013-03-07 11:25:14] 879*2^1242212-1 is not prime. Res64: 0C4416F5F036E169 Time : 0.0 sec. user=mdettweiler [2013-03-07 11:25:16] 899*2^1242212-1 is not prime. Res64: A4735A5705F609BB Time : 0.0 sec. user=mdettweiler [2013-03-07 11:25:16] 999*2^1242212-1 is not prime. Res64: C867DBB797B1DD26 Time : 0.0 sec. user=juhehe [2013-03-07 11:32:41] 961*2^1242211-1 is not prime. Res64: AED336570E3CEF34 Time : 0.0 sec. user=mdettweiler [2013-03-07 11:43:36] 649*2^1242213-1 is not prime. Res64: 2393B501BF9DB649 Time : 0.0 sec. user=mdettweiler [2013-03-07 11:43:37] 657*2^1242213-1 is not prime. Res64: 499E581A0F60778A Time : 0.0 sec. user=mdettweiler [2013-03-07 11:43:40] 669*2^1242213-1 is not prime. Res64: 9D8667DEDA90923B Time : 0.0 sec. user=mdettweiler [2013-03-07 11:43:41] 699*2^1242213-1 is not prime. Res64: 31E04F1698B6D2C4 Time : 0.0 sec. user=mdettweiler [2013-03-07 12:01:05] 747*2^1242213-1 is not prime. Res64: ED1DB974310F5635 Time : 0.0 sec. user=mdettweiler [2013-03-07 12:01:07] 781*2^1242213-1 is not prime. Res64: EB5C60720B9A08EC Time : 0.0 sec. user=mdettweiler [2013-03-07 12:01:07] 829*2^1242213-1 is not prime. Res64: 5366620AA2BE8FAD Time : 0.0 sec. user=mdettweiler [2013-03-07 12:01:08] 871*2^1242213-1 is not prime. Res64: 011FFADF222372E3 Time : 0.0 sec. user=mdettweiler [2013-03-07 12:18:55] 747*2^1242214-1 is not prime. Res64: BCA303D5BEBC1402 Time : 0.0 sec. user=mdettweiler [2013-03-07 12:18:56] 861*2^1242214-1 is not prime. Res64: 730676A5EEC6F63E Time : 0.0 sec. user=mdettweiler [2013-03-07 12:18:59] 945*2^1242214-1 is not prime. Res64: 8FC538B182C20F0F Time : 0.0 sec. user=mdettweiler [2013-03-07 12:18:59] 601*2^1242215-1 is not prime. Res64: 9705BE1C25AE90C4 Time : 0.0 sec. user=mdettweiler [2013-03-07 12:36:31] 985*2^1242215-1 is not prime. Res64: 140A945DE5F83FAE Time : 0.0 sec. user=mdettweiler [2013-03-07 12:36:32] 773*2^1242216-1 is not prime. Res64: 4A26BC331CE14BBD Time : 0.0 sec. user=mdettweiler [2013-03-07 12:36:35] 779*2^1242216-1 is not prime. Res64: 6FA2445C4BB2E08E Time : 0.0 sec. user=mdettweiler [2013-03-07 12:36:35] 845*2^1242216-1 is not prime. Res64: 445F37B78631E3FD Time : 0.0 sec. user=juhehe [2013-03-07 12:45:44] 963*2^1242215-1 is not prime. Res64: 2EE8BA6BF6CC71F1 Time : 0.0 sec. user=mdettweiler [2013-03-07 12:54:00] 687*2^1242217-1 is not prime. Res64: 6B816065219F1EAE Time : 0.0 sec. user=mdettweiler [2013-03-07 12:54:00] 691*2^1242217-1 is not prime. Res64: 547824815EDFFC11 Time : 0.0 sec. user=mdettweiler [2013-03-07 12:54:04] 741*2^1242217-1 is not prime. Res64: 8D68DD62751F97D9 Time : 0.0 sec. user=mdettweiler [2013-03-07 12:54:04] 765*2^1242217-1 is not prime. Res64: E5A93ADF457937C3 Time : 0.0 sec. user=juhehe [2013-03-07 13:06:12] 843*2^1242215-1 is not prime. Res64: 6E52902A12513C9E Time : 0.0 sec. user=mdettweiler [2013-03-07 13:12:09] 847*2^1242217-1 is not prime. Res64: 185EBF5ECC95FADC Time : 0.0 sec. user=mdettweiler [2013-03-07 13:12:09] 945*2^1242217-1 is not prime. Res64: 3620E1525156E5C4 Time : 0.0 sec. user=mdettweiler [2013-03-07 13:12:14] 617*2^1242218-1 is not prime. Res64: FA1E21A93B171C72 Time : 0.0 sec. user=mdettweiler [2013-03-07 13:12:15] 707*2^1242218-1 is not prime. Res64: A2156BA09BC4029B Time : 0.0 sec. user=juhehe [2013-03-07 13:22:05] 775*2^1242217-1 is not prime. Res64: 6C1CDEC83E1140B6 Time : 0.0 sec. user=mdettweiler [2013-03-07 13:30:01] 743*2^1242218-1 is not prime. Res64: 031A6AE32128A219 Time : 0.0 sec. user=mdettweiler [2013-03-07 13:30:02] 753*2^1242218-1 is not prime. Res64: 9E0C207BB7A1A9B2 Time : 0.0 sec. user=mdettweiler [2013-03-07 13:30:06] 791*2^1242218-1 is not prime. Res64: 1D9B516439908CDD Time : 0.0 sec. user=mdettweiler [2013-03-07 13:30:07] 911*2^1242218-1 is not prime. Res64: A91DB337E05C6A97 Time : 0.0 sec. user=juhehe [2013-03-07 13:34:17] 639*2^1242217-1 is not prime. Res64: CA45817013B5C925 Time : 0.0 sec. user=mdettweiler [2013-03-07 13:47:26] 921*2^1242218-1 is not prime. Res64: 97D84AC7894B59B9 Time : 0.0 sec. user=mdettweiler [2013-03-07 13:47:27] 951*2^1242218-1 is not prime. Res64: EA94067C87970A01 Time : 0.0 sec. user=mdettweiler [2013-03-07 13:47:31] 703*2^1242219-1 is not prime. Res64: EA40203684102925 Time : 0.0 sec. user=mdettweiler [2013-03-07 13:47:32] 705*2^1242219-1 is not prime. Res64: 9583024C2D83A628 Time : 0.0 sec. user=mdettweiler [2013-03-07 14:05:03] 735*2^1242219-1 is not prime. Res64: 94E9FA73D689471F Time : 0.0 sec. user=mdettweiler [2013-03-07 14:05:03] 823*2^1242219-1 is not prime. Res64: 0E98FE0F9F8C83FD Time : 0.0 sec. user=mdettweiler [2013-03-07 14:05:06] 835*2^1242219-1 is not prime. Res64: 71C18F1DC25E89B8 Time : 0.0 sec. user=mdettweiler [2013-03-07 14:05:07] 853*2^1242219-1 is not prime. Res64: 04E3A29121FF2DF8 Time : 0.0 sec. user=mdettweiler [2013-03-07 14:22:39] 903*2^1242219-1 is not prime. Res64: 4641F1E5E4E0D871 Time : 0.0 sec. user=mdettweiler [2013-03-07 14:22:40] 949*2^1242219-1 is not prime. Res64: 79BFF8F0A96653E1 Time : 0.0 sec. user=mdettweiler [2013-03-07 14:22:44] 975*2^1242219-1 is not prime. Res64: F22CA668C7A66AA7 Time : 0.0 sec. user=mdettweiler [2013-03-07 14:22:45] 677*2^1242220-1 is not prime. Res64: 171F01602CA22D9E Time : 0.0 sec. user=juhehe [2013-03-07 14:36:11] 845*2^1242220-1 is not prime. Res64: 4CAF938424D6C171 Time : 0.0 sec. user=mdettweiler [2013-03-07 14:40:14] 855*2^1242220-1 is not prime. Res64: DC96799DD1182407 Time : 0.0 sec. user=mdettweiler [2013-03-07 14:40:14] 933*2^1242220-1 is not prime. Res64: 86C16674A9242634 Time : 0.0 sec. user=mdettweiler [2013-03-07 14:40:17] 939*2^1242220-1 is not prime. Res64: 9CDA2636B64314D3 Time : 0.0 sec. user=mdettweiler [2013-03-07 14:40:17] 741*2^1242221-1 is not prime. Res64: F86F8A779376B0A4 Time : 0.0 sec. user=mdettweiler [2013-03-07 14:57:38] 825*2^1242221-1 is not prime. Res64: 6EDBBDA3CE533960 Time : 0.0 sec. user=mdettweiler [2013-03-07 14:57:39] 859*2^1242221-1 is not prime. Res64: C26A691908CFF595 Time : 0.0 sec. user=mdettweiler [2013-03-07 14:57:41] 861*2^1242221-1 is not prime. Res64: 8CA81EA9B923FAD6 Time : 0.0 sec. user=mdettweiler [2013-03-07 14:57:42] 927*2^1242221-1 is not prime. Res64: F00B66E7F7CC3F05 Time : 0.0 sec. user=juhehe [2013-03-07 15:06:28] 945*2^1242221-1 is not prime. Res64: 965B5EAC28150C9D Time : 0.0 sec. user=juhehe [2013-03-07 15:07:27] 859*2^1242219-1 is not prime. Res64: 1698FBEDD34B71DB Time : 0.0 sec. user=mdettweiler [2013-03-07 15:15:04] 955*2^1242221-1 is not prime. Res64: 90FAC26D686D9BA7 Time : 0.0 sec. user=mdettweiler [2013-03-07 15:15:04] 681*2^1242222-1 is not prime. Res64: BB2EE35E3F42D4A5 Time : 0.0 sec. user=mdettweiler [2013-03-07 15:15:06] 717*2^1242222-1 is not prime. Res64: 956566D719CE33BD Time : 0.0 sec. user=mdettweiler [2013-03-07 15:15:07] 777*2^1242222-1 is not prime. Res64: C5905EA6FA829203 Time : 0.0 sec. user=mdettweiler [2013-03-07 15:32:35] 821*2^1242222-1 is not prime. Res64: C7A55E259C77397D Time : 0.0 sec. user=mdettweiler [2013-03-07 15:32:36] 875*2^1242222-1 is not prime. Res64: D7F5AB202F1E90F1 Time : 0.0 sec. user=mdettweiler [2013-03-07 15:32:36] 663*2^1242223-1 is not prime. Res64: 94107A7F16105361 Time : 0.0 sec. user=mdettweiler [2013-03-07 15:32:37] 975*2^1242222-1 is not prime. Res64: 8960EBD1D450F3D3 Time : 0.0 sec. user=juhehe [2013-03-07 15:35:28] 805*2^1242221-1 is not prime. Res64: E90023761A843A08 Time : 0.0 sec. user=mdettweiler [2013-03-07 15:51:11] 685*2^1242223-1 is not prime. Res64: A934D031085A3EEC Time : 0.0 sec. user=mdettweiler [2013-03-07 15:51:12] 693*2^1242223-1 is not prime. Res64: 8F59CD5CA1113FB2 Time : 0.0 sec. user=mdettweiler [2013-03-07 15:51:14] 849*2^1242223-1 is not prime. Res64: D900974D4029F8A6 Time : 0.0 sec. user=mdettweiler [2013-03-07 15:51:14] 891*2^1242223-1 is not prime. Res64: E48D6406D39686C2 Time : 0.0 sec. user=mdettweiler [2013-03-07 16:09:25] 609*2^1242224-1 is not prime. Res64: 67E93FB0371A817E Time : 0.0 sec. user=mdettweiler [2013-03-07 16:09:26] 615*2^1242224-1 is not prime. Res64: B2FE64F9081F4D8A Time : 0.0 sec. user=mdettweiler [2013-03-07 16:09:27] 875*2^1242224-1 is not prime. Res64: 4030580EEB1D7206 Time : 0.0 sec. user=mdettweiler [2013-03-07 16:09:28] 627*2^1242225-1 is not prime. Res64: 55A92CF96A1ED2EC Time : 0.0 sec. user=mdettweiler [2013-03-07 16:27:38] 867*2^1242225-1 is not prime. Res64: 01F2B7F059560E7E Time : 0.0 sec. user=mdettweiler [2013-03-07 16:27:39] 645*2^1242226-1 is not prime. Res64: E6C277BC954BF4BD Time : 0.0 sec. user=mdettweiler [2013-03-07 16:27:39] 677*2^1242226-1 is not prime. Res64: AC78251385BBD09D Time : 0.0 sec. user=mdettweiler [2013-03-07 16:27:39] 737*2^1242226-1 is not prime. Res64: ECC79E3B95520E7A Time : 0.0 sec. user=juhehe [2013-03-07 16:28:15] 679*2^1242225-1 is not prime. Res64: D5F555DDDAF59C5B Time : 0.0 sec. user=mdettweiler [2013-03-07 16:45:51] 857*2^1242226-1 is not prime. Res64: 33B8FD4EBEB888AA Time : 0.0 sec. user=mdettweiler [2013-03-07 16:45:51] 861*2^1242226-1 is not prime. Res64: 1DB1FCA5C2BE9E34 Time : 0.0 sec. user=mdettweiler [2013-03-07 16:45:52] 777*2^1242226-1 is not prime. Res64: A05A5BC2C35FEF47 Time : 0.0 sec. user=mdettweiler [2013-03-07 16:45:52] 813*2^1242226-1 is not prime. Res64: B9FFF2B96F593EC3 Time : 0.0 sec. user=mdettweiler [2013-03-07 17:03:34] 615*2^1242227-1 is not prime. Res64: B0B0BAC93102A4B2 Time : 0.0 sec. user=mdettweiler [2013-03-07 17:03:34] 775*2^1242227-1 is not prime. Res64: E7E05AC4B3C14F7C Time : 0.0 sec. user=mdettweiler [2013-03-07 17:03:35] 673*2^1242227-1 is not prime. Res64: 17EA4FDC1E9E7C63 Time : 0.0 sec. user=mdettweiler [2013-03-07 17:03:36] 885*2^1242227-1 is not prime. Res64: 76087C43E82924A4 Time : 0.0 sec. user=juhehe [2013-03-07 17:08:59] 739*2^1242225-1 is not prime. Res64: 12F42FB228EE2CD0 Time : 0.0 sec. user=mdettweiler [2013-03-07 17:21:11] 663*2^1242228-1 is not prime. Res64: F29CCFBD68F165CA Time : 0.0 sec. user=mdettweiler [2013-03-07 17:21:11] 735*2^1242228-1 is not prime. Res64: 70A57D16645356E4 Time : 0.0 sec. user=mdettweiler [2013-03-07 17:21:12] 979*2^1242227-1 is not prime. Res64: 316014A66F534989 Time : 0.0 sec. user=mdettweiler [2013-03-07 17:21:13] 993*2^1242227-1 is not prime. Res64: 5A6F4895D436B3B3 Time : 0.0 sec. user=juhehe [2013-03-07 17:36:59] 957*2^1242226-1 is not prime. Res64: 6DF04DA64E1E6B75 Time : 0.0 sec. user=mdettweiler [2013-03-07 17:38:57] 927*2^1242228-1 is not prime. Res64: C317D37FB8EB2A5E Time : 0.0 sec. user=mdettweiler [2013-03-07 17:38:58] 977*2^1242228-1 is not prime. Res64: 98B8EC6B52467D7F Time : 0.0 sec. user=mdettweiler [2013-03-07 17:38:59] 775*2^1242229-1 is not prime. Res64: 153B8E3B35794991 Time : 0.0 sec. user=mdettweiler [2013-03-07 17:38:59] 987*2^1242229-1 is not prime. Res64: A9C711AB84186D05 Time : 0.0 sec. user=mdettweiler [2013-03-07 17:56:35] 627*2^1242230-1 is not prime. Res64: A7827261E3F933AB Time : 0.0 sec. user=mdettweiler [2013-03-07 17:56:35] 813*2^1242230-1 is not prime. Res64: A21B698990980DC2 Time : 0.0 sec. user=mdettweiler [2013-03-07 17:56:36] 887*2^1242230-1 is not prime. Res64: 737596B112AFC8E8 Time : 0.0 sec. user=mdettweiler [2013-03-07 17:56:36] 951*2^1242230-1 is not prime. Res64: 2E89DFA5F911A8D5 Time : 0.0 sec. user=juhehe [2013-03-07 18:09:53] 717*2^1242021-1 is not prime. Res64: E21D0491F90C0964 Time : 0.0 sec. user=mdettweiler [2013-03-07 18:14:12] 885*2^1242231-1 is not prime. Res64: 7B00F1CF42F3A972 Time : 0.0 sec. user=mdettweiler [2013-03-07 18:14:12] 615*2^1242231-1 is not prime. Res64: 75132C67C46EB6A7 Time : 0.0 sec. user=mdettweiler [2013-03-07 18:14:13] 951*2^1242231-1 is not prime. Res64: FD87E3A7CE0690C3 Time : 0.0 sec. user=mdettweiler [2013-03-07 18:14:13] 741*2^1242231-1 is not prime. Res64: AB87185E8176BC0F Time : 0.0 sec. user=mdettweiler [2013-03-07 18:31:50] 833*2^1242232-1 is not prime. Res64: C280BD6A63D50F05 Time : 0.0 sec. user=mdettweiler [2013-03-07 18:31:50] 869*2^1242232-1 is not prime. Res64: EBD1A3BC81F78AAA Time : 0.0 sec. user=mdettweiler [2013-03-07 18:31:50] 909*2^1242232-1 is not prime. Res64: 06496F56648401D6 Time : 0.0 sec. user=mdettweiler [2013-03-07 18:31:51] 651*2^1242233-1 is not prime. Res64: EFB83800C2104EA0 Time : 0.0 sec. user=juhehe [2013-03-07 18:33:16] 803*2^1242232-1 is not prime. Res64: 1C46400E5581E4B8 Time : 0.0 sec. user=juhehe [2013-03-07 18:37:36] 611*2^1242022-1 is not prime. Res64: 0B672FBE932F77FF Time : 0.0 sec. user=mdettweiler [2013-03-07 18:49:28] 697*2^1242233-1 is not prime. Res64: 8D6B5F230AE238AD Time : 0.0 sec. user=mdettweiler [2013-03-07 18:49:29] 829*2^1242233-1 is not prime. Res64: 47875D45519DC424 Time : 0.0 sec. user=mdettweiler [2013-03-07 18:49:29] 715*2^1242233-1 is not prime. Res64: 8E1A8E94B0E81763 Time : 0.0 sec. user=mdettweiler [2013-03-07 18:49:29] 855*2^1242233-1 is not prime. Res64: B4A134D8B89C3D73 Time : 0.0 sec. user=mdettweiler [2013-03-07 19:07:08] 633*2^1242234-1 is not prime. Res64: E58E47C94758F140 Time : 0.0 sec. user=mdettweiler [2013-03-07 19:07:08] 773*2^1242234-1 is not prime. Res64: FCE2421BAB320675 Time : 0.0 sec. user=mdettweiler [2013-03-07 19:07:09] 815*2^1242234-1 is not prime. Res64: 7480148540C4B2DF Time : 0.0 sec. user=mdettweiler [2013-03-07 19:07:10] 711*2^1242234-1 is not prime. Res64: 5184D590FE9A5DC7 Time : 0.0 sec. user=juhehe [2013-03-07 19:16:24] 999*2^1242231-1 is not prime. Res64: C94D056E3F35044A Time : 0.0 sec. user=mdettweiler [2013-03-07 19:24:51] 825*2^1242234-1 is not prime. Res64: 59A827FF017371BC Time : 0.0 sec. user=mdettweiler [2013-03-07 19:24:51] 873*2^1242234-1 is not prime. Res64: 4DF1B3D52333D883 Time : 0.0 sec. user=mdettweiler [2013-03-07 19:24:52] 945*2^1242234-1 is not prime. Res64: B58879AEFA27BE8F Time : 0.0 sec. user=mdettweiler [2013-03-07 19:24:52] 601*2^1242235-1 is not prime. Res64: B9A797689A3ED294 Time : 0.0 sec. user=juhehe [2013-03-07 19:29:23] 967*2^1242233-1 is not prime. Res64: 1ECB7D2B6EE280CE Time : 0.0 sec. user=juhehe [2013-03-07 19:31:18] 691*2^1242235-1 is not prime. Res64: 236F181CD4BF412A Time : 0.0 sec. user=juhehe [2013-03-07 19:37:32] 889*2^1242233-1 is not prime. Res64: 9B653C4C90281F14 Time : 0.0 sec. user=mdettweiler [2013-03-07 19:42:26] 849*2^1242235-1 is not prime. Res64: 969865D5784F94E4 Time : 0.0 sec. user=mdettweiler [2013-03-07 19:42:26] 853*2^1242235-1 is not prime. Res64: AEE3039557226C7A Time : 0.0 sec. user=mdettweiler [2013-03-07 19:42:27] 715*2^1242235-1 is not prime. Res64: 49EBD165938B2CD1 Time : 0.0 sec. user=mdettweiler [2013-03-07 19:42:27] 759*2^1242235-1 is not prime. Res64: 2F8A7FB17032E39F Time : 0.0 sec. user=mdettweiler [2013-03-07 20:00:01] 951*2^1242235-1 is not prime. Res64: 89DBF204B32FD138 Time : 0.0 sec. user=mdettweiler [2013-03-07 20:00:02] 623*2^1242236-1 is not prime. Res64: A7B71919E3977D2E Time : 0.0 sec. user=mdettweiler [2013-03-07 20:00:02] 693*2^1242236-1 is not prime. Res64: 4E7E998752434A7D Time : 0.0 sec. user=mdettweiler [2013-03-07 20:00:02] 717*2^1242236-1 is not prime. Res64: 976F4783BEE81208 Time : 0.0 sec. user=juhehe [2013-03-07 20:11:51] 885*2^1242235-1 is not prime. Res64: 78A431BFF9A4E2D6 Time : 0.0 sec. user=juhehe [2013-03-07 20:14:14] 755*2^1242236-1 is not prime. Res64: 3D2203C69F10DC9B Time : 0.0 sec. user=mdettweiler [2013-03-07 20:17:51] 767*2^1242236-1 is not prime. Res64: CEF539B721C18DC7 Time : 0.0 sec. user=mdettweiler [2013-03-07 20:17:51] 843*2^1242236-1 is not prime. Res64: F26DC8C4CEA519EA Time : 0.0 sec. user=mdettweiler [2013-03-07 20:17:55] 873*2^1242236-1 is not prime. Res64: BBF8AA32748C5D92 Time : 0.0 sec. user=mdettweiler [2013-03-07 20:17:55] 893*2^1242236-1 is not prime. Res64: 30754E99F316033D Time : 0.0 sec. user=mdettweiler [2013-03-07 20:35:24] 987*2^1242236-1 is not prime. Res64: 85AEE57CB5A9308A Time : 0.0 sec. user=mdettweiler [2013-03-07 20:35:25] 769*2^1242237-1 is not prime. Res64: 8FAF80677D188B25 Time : 0.0 sec. user=mdettweiler [2013-03-07 20:35:27] 781*2^1242237-1 is not prime. Res64: F2D67776BA3E6B8A Time : 0.0 sec. user=mdettweiler [2013-03-07 20:35:28] 861*2^1242237-1 is not prime. Res64: 2C2F5A46DBEFB253 Time : 0.0 sec. user=mdettweiler [2013-03-07 20:52:56] 915*2^1242237-1 is not prime. Res64: 9268C4CE36EC1865 Time : 0.0 sec. user=mdettweiler [2013-03-07 20:52:57] 657*2^1242238-1 is not prime. Res64: 6F70B73D0155254D Time : 0.0 sec. user=mdettweiler [2013-03-07 20:52:59] 845*2^1242238-1 is not prime. Res64: D91A333ABCEE5FF2 Time : 0.0 sec. user=mdettweiler [2013-03-07 20:52:59] 775*2^1242239-1 is not prime. Res64: 159F3A95388C7FC2 Time : 0.0 sec. user=juhehe [2013-03-07 20:54:01] 903*2^1242236-1 is not prime. Res64: B2A8B8C537C1A053 Time : 0.0 sec. user=mdettweiler [2013-03-07 21:10:29] 999*2^1242239-1 is not prime. Res64: 9BA57D755DC17085 Time : 0.0 sec. user=mdettweiler [2013-03-07 21:10:30] 797*2^1242240-1 is not prime. Res64: FB88D90785F8C97B Time : 0.0 sec. user=mdettweiler [2013-03-07 21:10:30] 867*2^1242240-1 is not prime. Res64: 7B9E15390D72808E Time : 0.0 sec. user=mdettweiler [2013-03-07 21:10:30] 875*2^1242240-1 is not prime. Res64: A0669C3CC307C352 Time : 0.0 sec. user=juhehe [2013-03-07 21:23:49] 983*2^1242236-1 is not prime. Res64: 06605AD93654AB91 Time : 0.0 sec. user=mdettweiler [2013-03-07 21:28:04] 625*2^1242241-1 is not prime. Res64: 98E859499BD2CAB0 Time : 0.0 sec. user=mdettweiler [2013-03-07 21:28:04] 649*2^1242241-1 is not prime. Res64: 29820377780580FA Time : 0.0 sec. user=mdettweiler [2013-03-07 21:28:05] 715*2^1242241-1 is not prime. Res64: 688EE63456C46F74 Time : 0.0 sec. user=mdettweiler [2013-03-07 21:28:06] 805*2^1242241-1 is not prime. Res64: 277EC75D765C2921 Time : 0.0 sec. user=juhehe [2013-03-07 21:31:12] 929*2^1242240-1 is not prime. Res64: 571AE7916917BC00 Time : 0.0 sec. user=juhehe [2013-03-07 21:34:54] 973*2^1242239-1 is not prime. Res64: E76F03927FC45169 Time : 0.0 sec. user=juhehe [2013-03-07 21:38:40] 909*2^1242239-1 is not prime. Res64: 4FE5B59C4E46B110 Time : 0.0 sec. user=mdettweiler [2013-03-07 21:45:35] 847*2^1242241-1 is not prime. Res64: BBDF33B32FC18419 Time : 0.0 sec. user=mdettweiler [2013-03-07 21:45:36] 867*2^1242241-1 is not prime. Res64: 408EE0AFE031E219 Time : 0.0 sec. user=mdettweiler [2013-03-07 21:45:36] 955*2^1242241-1 is not prime. Res64: C5A96B82EAE623D5 Time : 0.0 sec. user=mdettweiler [2013-03-07 21:45:37] 997*2^1242241-1 is not prime. Res64: D956B90EA8104C59 Time : 0.0 sec. user=juhehe [2013-03-07 21:55:41] 657*2^1242242-1 is not prime. Res64: 391E2C4AA4384221 Time : 0.0 sec. user=mdettweiler [2013-03-07 22:03:07] 677*2^1242242-1 is not prime. Res64: 1DB43A1424ED7731 Time : 0.0 sec. user=mdettweiler [2013-03-07 22:03:08] 767*2^1242242-1 is not prime. Res64: B1C566D125C2BDA2 Time : 0.0 sec. user=mdettweiler [2013-03-07 22:03:08] 791*2^1242242-1 is not prime. Res64: 7932BE6FE7CAA204 Time : 0.0 sec. user=mdettweiler [2013-03-07 22:03:09] 921*2^1242242-1 is not prime. Res64: AF28E30E8F2DF45B Time : 0.0 sec. user=juhehe [2013-03-07 22:19:09] 941*2^1242242-1 is not prime. Res64: E81129E087BEB521 Time : 0.0 sec. user=mdettweiler [2013-03-07 22:20:38] 663*2^1242243-1 is not prime. Res64: 8A3B0EA308C596D4 Time : 0.0 sec. user=mdettweiler [2013-03-07 22:20:39] 703*2^1242243-1 is not prime. Res64: 3C3E63D9194E42DF Time : 0.0 sec. user=mdettweiler [2013-03-07 22:20:40] 751*2^1242243-1 is not prime. Res64: F88730B3C0EB9F1F Time : 0.0 sec. user=mdettweiler [2013-03-07 22:20:41] 805*2^1242243-1 is not prime. Res64: 55195DCD3192237B Time : 0.0 sec. user=mdettweiler [2013-03-07 22:38:04] 819*2^1242243-1 is not prime. Res64: 5980B67E1261EC42 Time : 0.0 sec. user=mdettweiler [2013-03-07 22:38:05] 943*2^1242243-1 is not prime. Res64: 904CB2F3E72CE8F9 Time : 0.0 sec. user=mdettweiler [2013-03-07 22:38:06] 951*2^1242243-1 is not prime. Res64: 4CC20A167B7B9436 Time : 0.0 sec. user=mdettweiler [2013-03-07 22:38:06] 605*2^1242244-1 is not prime. Res64: B20F35D6057AED9B Time : 0.0 sec. user=mdettweiler [2013-03-07 22:55:29] 707*2^1242244-1 is not prime. Res64: BC66A9E3C5410FE0 Time : 0.0 sec. user=mdettweiler [2013-03-07 22:55:29] 773*2^1242244-1 is not prime. Res64: 6F25D704667E60DE Time : 0.0 sec. user=mdettweiler [2013-03-07 22:55:31] 909*2^1242244-1 is not prime. Res64: 33A84BB65071FDDF Time : 0.0 sec. user=mdettweiler [2013-03-07 22:55:31] 975*2^1242244-1 is not prime. Res64: CB48E6ED13EBDF6A Time : 0.0 sec. user=mdettweiler [2013-03-07 23:12:52] 645*2^1242245-1 is not prime. Res64: C496A8690030D427 Time : 0.0 sec. user=mdettweiler [2013-03-07 23:12:52] 685*2^1242245-1 is not prime. Res64: 6BD0A8369C4F7C4E Time : 0.0 sec. user=mdettweiler [2013-03-07 23:12:54] 691*2^1242245-1 is not prime. Res64: 6CCE0F5199770561 Time : 0.0 sec. user=mdettweiler [2013-03-07 23:12:55] 711*2^1242245-1 is not prime. Res64: AA2B1C55BA062CFD Time : 0.0 sec. user=juhehe [2013-03-07 23:25:24] 629*2^1242244-1 is not prime. Res64: C0D6713F08FD9F0E Time : 0.0 sec. user=juhehe [2013-03-07 23:27:18] 627*2^1242245-1 is not prime. Res64: 34539C407177AFC0 Time : 0.0 sec. user=mdettweiler [2013-03-07 23:30:20] 787*2^1242245-1 is not prime. Res64: 5FDEBA53BBF864B8 Time : 0.0 sec. user=mdettweiler [2013-03-07 23:30:20] 927*2^1242245-1 is not prime. Res64: 372683F0426EE054 Time : 0.0 sec. user=mdettweiler [2013-03-07 23:30:22] 951*2^1242245-1 is not prime. Res64: A013B9F7B502AC05 Time : 0.0 sec. user=mdettweiler [2013-03-07 23:30:22] 711*2^1242246-1 is not prime. Res64: B25998E1DDCA23C5 Time : 0.0 sec. user=juhehe [2013-03-07 23:39:32] 705*2^1242244-1 is not prime. Res64: D7F19FB1C1CEFBAD Time : 0.0 sec. user=mdettweiler [2013-03-07 23:47:44] 933*2^1242246-1 is not prime. Res64: 1FDBAB16389ACE04 Time : 0.0 sec. user=mdettweiler [2013-03-07 23:47:44] 601*2^1242247-1 is not prime. Res64: 73E6B00E13870E01 Time : 0.0 sec. user=mdettweiler [2013-03-07 23:47:46] 619*2^1242247-1 is not prime. Res64: 7D34A6F8BD9DF9E3 Time : 0.0 sec. user=mdettweiler [2013-03-07 23:47:46] 625*2^1242247-1 is not prime. Res64: A3E2482A4E13C944 Time : 0.0 sec. user=juhehe [2013-03-07 23:50:14] 921*2^1242246-1 is not prime. Res64: D3B15C807903C465 Time : 0.0 sec. user=juhehe [2013-03-08 00:00:20] 633*2^1242247-1 is not prime. Res64: B49EC6B16CCA9676 Time : 0.0 sec.