user=mdettweiler [2012-09-26 00:09:38] 919*2^1229533-1 is not prime. Res64: 7D3C8865B4297301 Time : 0.0 sec. user=mdettweiler [2012-09-26 00:09:39] 605*2^1229534-1 is not prime. Res64: B913757FE9527D1D Time : 0.0 sec. user=mdettweiler [2012-09-26 00:09:40] 641*2^1229534-1 is not prime. Res64: D3095D18075DC3E9 Time : 0.0 sec. user=mdettweiler [2012-09-26 00:09:43] 651*2^1229534-1 is not prime. Res64: D90D1D5EF5DF645F Time : 0.0 sec. user=mdettweiler [2012-09-26 00:30:17] 741*2^1229534-1 is not prime. Res64: 57BB65765AFEE2EE Time : 0.0 sec. user=mdettweiler [2012-09-26 00:30:18] 773*2^1229534-1 is not prime. Res64: 72F11FED15F8E865 Time : 0.0 sec. user=mdettweiler [2012-09-26 00:30:22] 785*2^1229534-1 is not prime. Res64: 8698D764A7EF3211 Time : 0.0 sec. user=mdettweiler [2012-09-26 00:30:22] 831*2^1229534-1 is not prime. Res64: 3ED2B5D559CFA9C2 Time : 0.0 sec. user=mdettweiler [2012-09-26 00:50:50] 857*2^1229534-1 is not prime. Res64: E393FF44CFC39037 Time : 0.0 sec. user=mdettweiler [2012-09-26 00:50:51] 887*2^1229534-1 is not prime. Res64: 28BEB27FB0464472 Time : 0.0 sec. user=mdettweiler [2012-09-26 00:50:54] 921*2^1229534-1 is not prime. Res64: 5EE179313BC1365D Time : 0.0 sec. user=mdettweiler [2012-09-26 00:50:54] 957*2^1229534-1 is not prime. Res64: A72F65C335D141D7 Time : 0.0 sec. user=mdettweiler [2012-09-26 01:11:23] 633*2^1229535-1 is not prime. Res64: EB2A747B1347AC7A Time : 0.0 sec. user=mdettweiler [2012-09-26 01:11:24] 711*2^1229535-1 is not prime. Res64: 127DA27EEDAB2B71 Time : 0.0 sec. user=mdettweiler [2012-09-26 01:11:26] 763*2^1229535-1 is not prime. Res64: E91D3F0BAFFCD3E4 Time : 0.0 sec. user=mdettweiler [2012-09-26 01:11:27] 775*2^1229535-1 is not prime. Res64: 414F5DABAF4F04AC Time : 0.0 sec. user=mdettweiler [2012-09-26 01:32:18] 849*2^1229535-1 is not prime. Res64: F3E2143E3CE8A93A Time : 0.0 sec. user=mdettweiler [2012-09-26 01:32:19] 861*2^1229535-1 is not prime. Res64: 9DBE89C7DC8DA574 Time : 0.0 sec. user=mdettweiler [2012-09-26 01:32:21] 909*2^1229535-1 is not prime. Res64: 53BDAD2D9210D656 Time : 0.0 sec. user=mdettweiler [2012-09-26 01:32:22] 973*2^1229535-1 is not prime. Res64: 83046617BC79F562 Time : 0.0 sec. user=mdettweiler [2012-09-26 01:52:54] 979*2^1229535-1 is not prime. Res64: 507D8A85A0D5E35C Time : 0.0 sec. user=mdettweiler [2012-09-26 01:52:55] 985*2^1229535-1 is not prime. Res64: D17DC0028B6BD0D8 Time : 0.0 sec. user=mdettweiler [2012-09-26 01:52:55] 615*2^1229536-1 is not prime. Res64: F5F7787F1CCB4CCC Time : 0.0 sec. user=mdettweiler [2012-09-26 01:52:56] 653*2^1229536-1 is not prime. Res64: B9AD0ABC13598D95 Time : 0.0 sec. user=mdettweiler [2012-09-26 02:13:28] 747*2^1229536-1 is not prime. Res64: 8AE056A2F0D9CB81 Time : 0.0 sec. user=mdettweiler [2012-09-26 02:13:30] 843*2^1229536-1 is not prime. Res64: F373824752ADD3F7 Time : 0.0 sec. user=mdettweiler [2012-09-26 02:13:32] 785*2^1229536-1 is not prime. Res64: 91CF8656DEB6F931 Time : 0.0 sec. user=mdettweiler [2012-09-26 02:13:33] 857*2^1229536-1 is not prime. Res64: 1D9F6FB4013808FA Time : 0.0 sec. user=mdettweiler [2012-09-26 02:34:28] 939*2^1229536-1 is not prime. Res64: BE143FA942907431 Time : 0.0 sec. user=mdettweiler [2012-09-26 02:34:31] 965*2^1229536-1 is not prime. Res64: 095F63B04A0F6B96 Time : 0.0 sec. user=mdettweiler [2012-09-26 02:34:31] 627*2^1229537-1 is not prime. Res64: 80CB40EF0CBA06E2 Time : 0.0 sec. user=mdettweiler [2012-09-26 02:34:32] 669*2^1229537-1 is not prime. Res64: AF9853D2FA6F7993 Time : 0.0 sec. user=mdettweiler [2012-09-26 02:55:06] 747*2^1229537-1 is not prime. Res64: 093D83655983469B Time : 0.0 sec. user=mdettweiler [2012-09-26 02:55:08] 981*2^1229537-1 is not prime. Res64: 19B0BC09846403F5 Time : 0.0 sec. user=mdettweiler [2012-09-26 02:55:09] 633*2^1229538-1 is not prime. Res64: A3EF5D915F23DD6A Time : 0.0 sec. user=mdettweiler [2012-09-26 02:55:10] 641*2^1229538-1 is not prime. Res64: 22AA9452DB8C4711 Time : 0.0 sec. user=mdettweiler [2012-09-26 03:16:07] 893*2^1229538-1 is not prime. Res64: DD5133C67894472C Time : 0.0 sec. user=mdettweiler [2012-09-26 03:16:08] 963*2^1229538-1 is not prime. Res64: B4404EC52D1EECC3 Time : 0.0 sec. user=mdettweiler [2012-09-26 03:16:11] 631*2^1229539-1 is not prime. Res64: F10E546AB23514DC Time : 0.0 sec. user=mdettweiler [2012-09-26 03:16:12] 633*2^1229539-1 is not prime. Res64: 94809EB90472DDDE Time : 0.0 sec. user=mdettweiler [2012-09-26 03:36:43] 703*2^1229539-1 is not prime. Res64: 71A33A2076ADFD60 Time : 0.0 sec. user=mdettweiler [2012-09-26 03:36:45] 723*2^1229539-1 is not prime. Res64: C5249C4181C1588A Time : 0.0 sec. user=mdettweiler [2012-09-26 03:36:46] 745*2^1229539-1 is not prime. Res64: ED1254FFA5502A8F Time : 0.0 sec. user=mdettweiler [2012-09-26 03:36:47] 769*2^1229539-1 is not prime. Res64: CE4F3B1A6D8169E0 Time : 0.0 sec. user=mdettweiler [2012-09-26 03:57:32] 789*2^1229539-1 is not prime. Res64: B4D0C489BC425DBE Time : 0.0 sec. user=mdettweiler [2012-09-26 03:57:32] 829*2^1229539-1 is not prime. Res64: D09FC830081F3675 Time : 0.0 sec. user=mdettweiler [2012-09-26 03:57:35] 895*2^1229539-1 is not prime. Res64: 3D4E84C197659892 Time : 0.0 sec. user=mdettweiler [2012-09-26 03:57:35] 677*2^1229540-1 is not prime. Res64: 5EED93ACAE06FCE0 Time : 0.0 sec. user=mdettweiler [2012-09-26 04:18:04] 759*2^1229540-1 is not prime. Res64: 501F4E1D94250A4C Time : 0.0 sec. user=mdettweiler [2012-09-26 04:18:05] 825*2^1229540-1 is not prime. Res64: 0E03A607F2ADA88C Time : 0.0 sec. user=mdettweiler [2012-09-26 04:18:07] 879*2^1229540-1 is not prime. Res64: 473458758126B846 Time : 0.0 sec. user=mdettweiler [2012-09-26 04:18:08] 983*2^1229540-1 is not prime. Res64: F17E86AB1E0CA386 Time : 0.0 sec. user=mdettweiler [2012-09-26 04:38:39] 795*2^1229541-1 is not prime. Res64: B398FD86BEFA5026 Time : 0.0 sec. user=mdettweiler [2012-09-26 04:38:39] 877*2^1229541-1 is not prime. Res64: EEF758668593B852 Time : 0.0 sec. user=mdettweiler [2012-09-26 04:38:39] 889*2^1229541-1 is not prime. Res64: 420A742FF2116C65 Time : 0.0 sec. user=mdettweiler [2012-09-26 04:38:40] 937*2^1229541-1 is not prime. Res64: D2DDC2A4EC379A8D Time : 0.0 sec. user=juhehe [2012-09-26 04:54:23] 781*2^1229541-1 is not prime. Res64: 6A2081DAFC28760A Time : 0.0 sec. user=mdettweiler [2012-09-26 04:59:13] 621*2^1229542-1 is not prime. Res64: 2860D388339D4EF6 Time : 0.0 sec. user=mdettweiler [2012-09-26 04:59:14] 645*2^1229542-1 is not prime. Res64: C6329DC5732D32A5 Time : 0.0 sec. user=mdettweiler [2012-09-26 04:59:15] 671*2^1229542-1 is not prime. Res64: 8B56D98DB8E81F7B Time : 0.0 sec. user=mdettweiler [2012-09-26 04:59:15] 677*2^1229542-1 is not prime. Res64: FA6CD36538CC4D41 Time : 0.0 sec. user=vaughan [2012-09-26 05:05:12] 999*2^1229541-1 is not prime. Res64: 42E2C99E6B3234F5 Time : 0.0 sec. user=mdettweiler [2012-09-26 05:19:46] 681*2^1229542-1 is not prime. Res64: 9B12B47C52CB5534 Time : 0.0 sec. user=mdettweiler [2012-09-26 05:19:47] 741*2^1229542-1 is not prime. Res64: 6236879639651614 Time : 0.0 sec. user=mdettweiler [2012-09-26 05:19:47] 825*2^1229542-1 is not prime. Res64: 7D5CB5719CD2A8FD Time : 0.0 sec. user=mdettweiler [2012-09-26 05:19:48] 867*2^1229542-1 is not prime. Res64: FB5C5F7E861F1988 Time : 0.0 sec. user=mdettweiler [2012-09-26 05:40:21] 957*2^1229542-1 is not prime. Res64: 9180FCCA7662E0F6 Time : 0.0 sec. user=mdettweiler [2012-09-26 05:40:22] 633*2^1229543-1 is not prime. Res64: E106C0CA296FCE4F Time : 0.0 sec. user=mdettweiler [2012-09-26 05:40:22] 693*2^1229543-1 is not prime. Res64: 977C7339841C72A6 Time : 0.0 sec. user=mdettweiler [2012-09-26 05:40:23] 861*2^1229543-1 is not prime. Res64: 8DD8A4807E10F28F Time : 0.0 sec. user=vaughan [2012-09-26 05:42:48] 881*2^1229542-1 is not prime. Res64: BD545B8F9F28C06E Time : 0.0 sec. user=mdettweiler [2012-09-26 06:00:54] 985*2^1229543-1 is not prime. Res64: 4AF5424976414ADF Time : 0.0 sec. user=mdettweiler [2012-09-26 06:00:56] 663*2^1229544-1 is not prime. Res64: 35DBBF0EB772E4BF Time : 0.0 sec. user=mdettweiler [2012-09-26 06:00:57] 689*2^1229544-1 is not prime. Res64: 3C4FBCF02CFAF3DA Time : 0.0 sec. user=mdettweiler [2012-09-26 06:00:58] 909*2^1229544-1 is not prime. Res64: 045B1DBC253E4C54 Time : 0.0 sec. user=vaughan [2012-09-26 06:20:22] 917*2^1229544-1 is not prime. Res64: 0826FAEEEBADB587 Time : 0.0 sec. user=mdettweiler [2012-09-26 06:21:59] 609*2^1229545-1 is not prime. Res64: D78389FA8F474751 Time : 0.0 sec. user=mdettweiler [2012-09-26 06:21:59] 699*2^1229545-1 is not prime. Res64: 5A6515C50766C362 Time : 0.0 sec. user=mdettweiler [2012-09-26 06:22:04] 715*2^1229545-1 is not prime. Res64: 5E7EF3F2D17D61A6 Time : 0.0 sec. user=mdettweiler [2012-09-26 06:22:04] 847*2^1229545-1 is not prime. Res64: BC2AD57AB237692B Time : 0.0 sec. user=mdettweiler [2012-09-26 06:42:30] 999*2^1229545-1 is not prime. Res64: 0E70422DCFE52FC5 Time : 0.0 sec. user=mdettweiler [2012-09-26 06:42:31] 701*2^1229546-1 is not prime. Res64: 1FB339479FEEDD97 Time : 0.0 sec. user=mdettweiler [2012-09-26 06:42:36] 741*2^1229546-1 is not prime. Res64: BA0BA6345BC6BBA4 Time : 0.0 sec. user=mdettweiler [2012-09-26 06:42:36] 957*2^1229546-1 is not prime. Res64: 503BDB0682739CF9 Time : 0.0 sec. user=vaughan [2012-09-26 06:58:02] 957*2^1229545-1 is not prime. Res64: 45DD3647AB53615D Time : 0.0 sec. user=mdettweiler [2012-09-26 07:03:02] 971*2^1229546-1 is not prime. Res64: 27DDFBC206646211 Time : 0.0 sec. user=mdettweiler [2012-09-26 07:03:03] 651*2^1229547-1 is not prime. Res64: EB76039C836EA71D Time : 0.0 sec. user=mdettweiler [2012-09-26 07:03:07] 703*2^1229547-1 is not prime. Res64: 441924C1DE71D802 Time : 0.0 sec. user=mdettweiler [2012-09-26 07:03:07] 793*2^1229547-1 is not prime. Res64: 97645F89B4AB031E Time : 0.0 sec. user=mdettweiler [2012-09-26 07:23:35] 861*2^1229547-1 is not prime. Res64: 12D9E9596DD6D997 Time : 0.0 sec. user=mdettweiler [2012-09-26 07:23:35] 919*2^1229547-1 is not prime. Res64: 210DB59A911C1305 Time : 0.0 sec. user=mdettweiler [2012-09-26 07:23:39] 991*2^1229547-1 is not prime. Res64: 2463F07773A6FBC7 Time : 0.0 sec. user=mdettweiler [2012-09-26 07:23:39] 635*2^1229548-1 is not prime. Res64: 61A1356A844C01EF Time : 0.0 sec. user=vaughan [2012-09-26 07:35:35] 819*2^1229547-1 is not prime. Res64: 4F1E65642AA1A9D1 Time : 0.0 sec. user=mdettweiler [2012-09-26 07:44:09] 819*2^1229548-1 is not prime. Res64: 875E3C1E193FA5AB Time : 0.0 sec. user=mdettweiler [2012-09-26 07:44:09] 869*2^1229548-1 is not prime. Res64: 01D197FF8CAB7253 Time : 0.0 sec. user=mdettweiler [2012-09-26 07:44:11] 887*2^1229548-1 is not prime. Res64: B5F324F13615E1C7 Time : 0.0 sec. user=mdettweiler [2012-09-26 07:44:11] 929*2^1229548-1 is not prime. Res64: 53E532E571A32AA9 Time : 0.0 sec. user=mdettweiler [2012-09-26 08:04:42] 675*2^1229549-1 is not prime. Res64: C43ED2747F731C7F Time : 0.0 sec. user=mdettweiler [2012-09-26 08:04:43] 745*2^1229549-1 is not prime. Res64: 97314CCFEF3840B7 Time : 0.0 sec. user=mdettweiler [2012-09-26 08:04:43] 759*2^1229549-1 is not prime. Res64: 19EA4ECEFBD82673 Time : 0.0 sec. user=mdettweiler [2012-09-26 08:04:43] 831*2^1229549-1 is not prime. Res64: 37773F6DB8B922C3 Time : 0.0 sec. user=vaughan [2012-09-26 08:13:14] 999*2^1229548-1 is not prime. Res64: 59ED93A0868FD38F Time : 0.0 sec. user=mdettweiler [2012-09-26 08:25:23] 837*2^1229549-1 is not prime. Res64: 3F89542C4FEF7070 Time : 0.0 sec. user=mdettweiler [2012-09-26 08:25:24] 847*2^1229549-1 is not prime. Res64: 3E8C8718A8761D0B Time : 0.0 sec. user=mdettweiler [2012-09-26 08:25:24] 945*2^1229549-1 is not prime. Res64: C887C582ECD6835C Time : 0.0 sec. user=mdettweiler [2012-09-26 08:25:24] 627*2^1229550-1 is not prime. Res64: 7CEA8DE164D3992F Time : 0.0 sec. user=mdettweiler [2012-09-26 08:45:59] 745*2^1229551-1 is not prime. Res64: C60BB548012754AF Time : 0.0 sec. user=mdettweiler [2012-09-26 08:45:59] 759*2^1229551-1 is not prime. Res64: BD53E70723A8D273 Time : 0.0 sec. user=mdettweiler [2012-09-26 08:46:00] 939*2^1229551-1 is not prime. Res64: 1833938CEA9ED429 Time : 0.0 sec. user=mdettweiler [2012-09-26 08:46:01] 609*2^1229552-1 is not prime. Res64: E89F63B5C9EF5BB3 Time : 0.0 sec. user=mdettweiler [2012-09-26 09:06:33] 615*2^1229552-1 is not prime. Res64: 827B46410521737F Time : 0.0 sec. user=mdettweiler [2012-09-26 09:06:33] 677*2^1229552-1 is not prime. Res64: 5E60E638100BA1B6 Time : 0.0 sec. user=mdettweiler [2012-09-26 09:06:34] 755*2^1229552-1 is not prime. Res64: 41710CA11E3224AF Time : 0.0 sec. user=mdettweiler [2012-09-26 09:06:35] 825*2^1229552-1 is not prime. Res64: 75E39F47B8A7BB8A Time : 0.0 sec. user=vaughan [2012-09-26 09:25:02] 619*2^1229551-1 is not prime. Res64: A95D9E59F0E1E690 Time : 0.0 sec. user=mdettweiler [2012-09-26 09:27:15] 855*2^1229552-1 is not prime. Res64: 8AFFAA7DD21B1AE8 Time : 0.0 sec. user=mdettweiler [2012-09-26 09:27:16] 945*2^1229552-1 is not prime. Res64: 8E6876732EFCEF85 Time : 0.0 sec. user=mdettweiler [2012-09-26 09:27:19] 977*2^1229552-1 is not prime. Res64: 7EB47F41C58F2620 Time : 0.0 sec. user=mdettweiler [2012-09-26 09:27:20] 747*2^1229553-1 is not prime. Res64: 2A241662A73FFFE5 Time : 0.0 sec. user=mdettweiler [2012-09-26 09:47:47] 811*2^1229553-1 is not prime. Res64: EF857398ECF1557B Time : 0.0 sec. user=mdettweiler [2012-09-26 09:47:47] 999*2^1229553-1 is not prime. Res64: 1B753DCCB44F5C71 Time : 0.0 sec. user=mdettweiler [2012-09-26 09:47:50] 635*2^1229554-1 is not prime. Res64: 99F6BAF4B95ADC8D Time : 0.0 sec. user=mdettweiler [2012-09-26 09:47:51] 671*2^1229554-1 is not prime. Res64: B990E48A69ACB0CC Time : 0.0 sec. user=vaughan [2012-09-26 10:02:52] 789*2^1229553-1 is not prime. Res64: 27A7D9254CC6CA2A Time : 0.0 sec. user=mdettweiler [2012-09-26 10:08:18] 717*2^1229554-1 is not prime. Res64: 42A16C76DB4749ED Time : 0.0 sec. user=mdettweiler [2012-09-26 10:08:20] 791*2^1229554-1 is not prime. Res64: 2AD8D035A130736A Time : 0.0 sec. user=mdettweiler [2012-09-26 10:08:22] 831*2^1229554-1 is not prime. Res64: 351E3027824DCC7A Time : 0.0 sec. user=mdettweiler [2012-09-26 10:08:24] 857*2^1229554-1 is not prime. Res64: 47B68E0DFF059318 Time : 0.0 sec. user=mdettweiler [2012-09-26 10:28:53] 971*2^1229554-1 is not prime. Res64: 8D5DEFB9A2CC39A7 Time : 0.0 sec. user=mdettweiler [2012-09-26 10:28:53] 651*2^1229555-1 is not prime. Res64: B2BA7029DA4A44F1 Time : 0.0 sec. user=mdettweiler [2012-09-26 10:28:58] 663*2^1229555-1 is not prime. Res64: 9B7F59F2E4BD9E31 Time : 0.0 sec. user=mdettweiler [2012-09-26 10:28:59] 673*2^1229555-1 is not prime. Res64: 600273C49B45923A Time : 0.0 sec. user=vaughan [2012-09-26 10:40:35] 885*2^1229554-1 is not prime. Res64: 37EAD05F226D5415 Time : 0.0 sec. user=mdettweiler [2012-09-26 10:49:25] 759*2^1229555-1 is not prime. Res64: 2F9D57304E5E6E5C Time : 0.0 sec. user=mdettweiler [2012-09-26 10:49:26] 657*2^1229556-1 is not prime. Res64: E725CA54538E5CFD Time : 0.0 sec. user=mdettweiler [2012-09-26 10:49:30] 693*2^1229556-1 is not prime. Res64: D93B960B113A51D1 Time : 0.0 sec. user=mdettweiler [2012-09-26 10:49:30] 719*2^1229556-1 is not prime. Res64: 97CD05A79832EA28 Time : 0.0 sec. user=mdettweiler [2012-09-26 11:09:57] 845*2^1229556-1 is not prime. Res64: 0B02E5B77BA2E6DD Time : 0.0 sec. user=mdettweiler [2012-09-26 11:09:59] 857*2^1229556-1 is not prime. Res64: F8854664BC216E52 Time : 0.0 sec. user=mdettweiler [2012-09-26 11:10:01] 909*2^1229556-1 is not prime. Res64: E1D662ED23FA0048 Time : 0.0 sec. user=mdettweiler [2012-09-26 11:10:03] 609*2^1229557-1 is not prime. Res64: 68AE9D62BF1DC07B Time : 0.0 sec. user=juhehe [2012-09-26 11:14:52] 789*2^1229556-1 is not prime. Res64: A37B4C13D69E9955 Time : 0.0 sec. user=vaughan [2012-09-26 11:18:08] 839*2^1229556-1 is not prime. Res64: 00E384F2648B9C60 Time : 0.0 sec. user=mdettweiler [2012-09-26 11:30:40] 615*2^1229557-1 is not prime. Res64: 76301A8AF053064D Time : 0.0 sec. user=mdettweiler [2012-09-26 11:30:40] 639*2^1229557-1 is not prime. Res64: EE7EABC12C89318B Time : 0.0 sec. user=mdettweiler [2012-09-26 11:30:43] 699*2^1229557-1 is not prime. Res64: F57A3BEF2645BCC9 Time : 0.0 sec. user=mdettweiler [2012-09-26 11:30:43] 769*2^1229557-1 is not prime. Res64: ADEB832F023DEAF5 Time : 0.0 sec. user=mdettweiler [2012-09-26 11:51:13] 657*2^1229558-1 is not prime. Res64: AD522BDB3357E345 Time : 0.0 sec. user=mdettweiler [2012-09-26 11:51:13] 711*2^1229558-1 is not prime. Res64: B174E9AD8177DB31 Time : 0.0 sec. user=mdettweiler [2012-09-26 11:51:14] 743*2^1229558-1 is not prime. Res64: B69B178DDDE07F9C Time : 0.0 sec. user=mdettweiler [2012-09-26 11:51:15] 771*2^1229558-1 is not prime. Res64: 0929B59DEF29E380 Time : 0.0 sec. user=vaughan [2012-09-26 11:55:39] 651*2^1229558-1 is not prime. Res64: 4E1D34DCB0833184 Time : 0.0 sec. user=juhehe [2012-09-26 11:57:35] 915*2^1229557-1 is not prime. Res64: EAFB4F38DCE0615A Time : 0.0 sec. user=mdettweiler [2012-09-26 12:11:56] 845*2^1229558-1 is not prime. Res64: 1C3F42C901021D25 Time : 0.0 sec. user=mdettweiler [2012-09-26 12:11:57] 867*2^1229558-1 is not prime. Res64: 11D6EABDAEB8523B Time : 0.0 sec. user=mdettweiler [2012-09-26 12:11:59] 887*2^1229558-1 is not prime. Res64: 682858799031AD77 Time : 0.0 sec. user=mdettweiler [2012-09-26 12:12:01] 893*2^1229558-1 is not prime. Res64: 2221934A6BAF97FB Time : 0.0 sec. user=mdettweiler [2012-09-26 12:32:52] 993*2^1229558-1 is not prime. Res64: 766B3173FED274DE Time : 0.0 sec. user=mdettweiler [2012-09-26 12:32:53] 625*2^1229559-1 is not prime. Res64: EA4369D6B045B43A Time : 0.0 sec. user=mdettweiler [2012-09-26 12:32:53] 709*2^1229559-1 is not prime. Res64: 2E7CB1453EDFF547 Time : 0.0 sec. user=mdettweiler [2012-09-26 12:32:54] 723*2^1229559-1 is not prime. Res64: D2E2916353236768 Time : 0.0 sec. user=vaughan [2012-09-26 12:33:22] 971*2^1229558-1 is not prime. Res64: 20C1C7D29238670E Time : 0.0 sec. user=juhehe [2012-09-26 12:40:19] 987*2^1229558-1 is not prime. Res64: C51097D26F375B16 Time : 0.0 sec. user=mdettweiler [2012-09-26 12:54:08] 751*2^1229559-1 is not prime. Res64: 6E91EBE7F035A616 Time : 0.0 sec. user=mdettweiler [2012-09-26 12:54:08] 829*2^1229559-1 is not prime. Res64: 904AEA031DF341EA Time : 0.0 sec. user=mdettweiler [2012-09-26 12:54:10] 891*2^1229559-1 is not prime. Res64: 157DA00D8F7CCC71 Time : 0.0 sec. user=mdettweiler [2012-09-26 12:54:10] 895*2^1229559-1 is not prime. Res64: 845295B8BC1F2346 Time : 0.0 sec. user=vaughan [2012-09-26 13:11:03] 933*2^1229559-1 is not prime. Res64: 0783C79BD8612085 Time : 0.0 sec. user=mdettweiler [2012-09-26 13:14:53] 635*2^1229560-1 is not prime. Res64: 502330133A939DB6 Time : 0.0 sec. user=mdettweiler [2012-09-26 13:14:54] 665*2^1229560-1 is not prime. Res64: 56C7CBCC5D5692CD Time : 0.0 sec. user=mdettweiler [2012-09-26 13:14:55] 989*2^1229560-1 is not prime. Res64: 7C60890B48225AF0 Time : 0.0 sec. user=mdettweiler [2012-09-26 13:14:56] 999*2^1229560-1 is not prime. Res64: 5BD7F3E8EC6F1581 Time : 0.0 sec. user=mdettweiler [2012-09-26 13:35:52] 637*2^1229561-1 is not prime. Res64: FE06726BA8392B77 Time : 0.0 sec. user=mdettweiler [2012-09-26 13:35:53] 649*2^1229561-1 is not prime. Res64: 4932C6022A0E474A Time : 0.0 sec. user=mdettweiler [2012-09-26 13:35:53] 685*2^1229561-1 is not prime. Res64: 955A27EE6AEE590B Time : 0.0 sec. user=mdettweiler [2012-09-26 13:35:54] 745*2^1229561-1 is not prime. Res64: 35869D0A224BBB98 Time : 0.0 sec. user=vaughan [2012-09-26 13:48:49] 607*2^1229561-1 is not prime. Res64: 17ACBBFF6C4899EF Time : 0.0 sec. user=mdettweiler [2012-09-26 13:56:37] 885*2^1229561-1 is not prime. Res64: 0E5E15AB2267286A Time : 0.0 sec. user=mdettweiler [2012-09-26 13:56:37] 949*2^1229561-1 is not prime. Res64: B9433A66878C1114 Time : 0.0 sec. user=mdettweiler [2012-09-26 13:56:38] 633*2^1229562-1 is not prime. Res64: 544053DC2BF9A6F5 Time : 0.0 sec. user=mdettweiler [2012-09-26 13:56:38] 713*2^1229562-1 is not prime. Res64: 06A69BB11987D100 Time : 0.0 sec. user=juhehe [2012-09-26 14:03:13] 811*2^1229561-1 is not prime. Res64: 77D5E49D5877FAE8 Time : 0.0 sec. user=mdettweiler [2012-09-26 14:17:22] 915*2^1229562-1 is not prime. Res64: ACF5ED8EEB6C89E3 Time : 0.0 sec. user=mdettweiler [2012-09-26 14:17:22] 663*2^1229563-1 is not prime. Res64: 309E243DC9891002 Time : 0.0 sec. user=mdettweiler [2012-09-26 14:17:23] 945*2^1229562-1 is not prime. Res64: 4545C34CFCDE0D22 Time : 0.0 sec. user=mdettweiler [2012-09-26 14:17:23] 703*2^1229563-1 is not prime. Res64: FC702589DBD6D815 Time : 0.0 sec. user=vaughan [2012-09-26 14:26:24] 807*2^1229562-1 is not prime. Res64: EF2304E5BB1AD273 Time : 0.0 sec. user=mdettweiler [2012-09-26 14:38:12] 811*2^1229563-1 is not prime. Res64: 56098A7521052161 Time : 0.0 sec. user=mdettweiler [2012-09-26 14:38:13] 925*2^1229563-1 is not prime. Res64: A28C04120A70A554 Time : 0.0 sec. user=mdettweiler [2012-09-26 14:38:13] 969*2^1229563-1 is not prime. Res64: 5C4E3E512F1D86C0 Time : 0.0 sec. user=mdettweiler [2012-09-26 14:38:14] 759*2^1229564-1 is not prime. Res64: 3BBEBF5F8B4CBCAD Time : 0.0 sec. user=mdettweiler [2012-09-26 14:58:55] 773*2^1229564-1 is not prime. Res64: D7EA3DDF8958AC27 Time : 0.0 sec. user=mdettweiler [2012-09-26 14:58:56] 789*2^1229564-1 is not prime. Res64: 5F9744FE580137F6 Time : 0.0 sec. user=mdettweiler [2012-09-26 14:58:56] 819*2^1229564-1 is not prime. Res64: 3ACF1CEA9827B97C Time : 0.0 sec. user=mdettweiler [2012-09-26 14:58:57] 869*2^1229564-1 is not prime. Res64: A8642BC0EA50E6AE Time : 0.0 sec. user=mdettweiler [2012-09-26 15:19:40] 893*2^1229564-1 is not prime. Res64: 93722158AC5EF0F1 Time : 0.0 sec. user=mdettweiler [2012-09-26 15:19:40] 969*2^1229564-1 is not prime. Res64: 132C2D95AF5B7F36 Time : 0.0 sec. user=mdettweiler [2012-09-26 15:19:41] 627*2^1229565-1 is not prime. Res64: 3123E85F5A43C08A Time : 0.0 sec. user=mdettweiler [2012-09-26 15:19:42] 651*2^1229565-1 is not prime. Res64: 51BFBAA9BE134D66 Time : 0.0 sec. user=mdettweiler [2012-09-26 15:40:33] 795*2^1229565-1 is not prime. Res64: 9F09DD81741C25EB Time : 0.0 sec. user=mdettweiler [2012-09-26 15:40:33] 889*2^1229565-1 is not prime. Res64: 01F1883B66AACF50 Time : 0.0 sec. user=mdettweiler [2012-09-26 15:40:34] 891*2^1229565-1 is not prime. Res64: B26554061E1D2205 Time : 0.0 sec. user=mdettweiler [2012-09-26 15:40:34] 919*2^1229565-1 is not prime. Res64: 0A45397387BA22F4 Time : 0.0 sec. user=vaughan [2012-09-26 15:41:40] 709*2^1229565-1 is not prime. Res64: 3564B2AA6868870B Time : 0.0 sec. user=mdettweiler [2012-09-26 16:01:21] 969*2^1229565-1 is not prime. Res64: 097BD1DD377FAECB Time : 0.0 sec. user=mdettweiler [2012-09-26 16:01:22] 997*2^1229565-1 is not prime. Res64: C0643DE4CB067894 Time : 0.0 sec. user=mdettweiler [2012-09-26 16:01:23] 979*2^1229565-1 is not prime. Res64: 8C735D5315B0EB50 Time : 0.0 sec. user=mdettweiler [2012-09-26 16:01:24] 999*2^1229565-1 is not prime. Res64: D24E42927C965547 Time : 0.0 sec. user=mdettweiler [2012-09-26 16:22:28] 723*2^1229566-1 is not prime. Res64: FA036A9732EB4DD7 Time : 0.0 sec. user=mdettweiler [2012-09-26 16:22:28] 911*2^1229566-1 is not prime. Res64: D441F944D0FFF30D Time : 0.0 sec. user=mdettweiler [2012-09-26 16:22:30] 923*2^1229566-1 is not prime. Res64: 04C7643716864748 Time : 0.0 sec. user=mdettweiler [2012-09-26 16:22:30] 619*2^1229567-1 is not prime. Res64: D12C05DBA9ACCE92 Time : 0.0 sec. user=mdettweiler [2012-09-26 16:43:19] 775*2^1229567-1 is not prime. Res64: 848A2ECE907FA764 Time : 0.0 sec. user=mdettweiler [2012-09-26 16:43:19] 865*2^1229567-1 is not prime. Res64: 5B3490F73DA971AA Time : 0.0 sec. user=mdettweiler [2012-09-26 16:43:20] 955*2^1229567-1 is not prime. Res64: BA4C0EFFA692F231 Time : 0.0 sec. user=mdettweiler [2012-09-26 16:43:20] 981*2^1229567-1 is not prime. Res64: 6760BFF2A13EA126 Time : 0.0 sec. user=vaughan [2012-09-26 16:53:06] 717*2^1229566-1 is not prime. Res64: 3FBF78B99F083F41 Time : 0.0 sec. user=mdettweiler [2012-09-26 17:04:03] 635*2^1229568-1 is not prime. Res64: 57051A26A42225CA Time : 0.0 sec. user=mdettweiler [2012-09-26 17:04:04] 639*2^1229568-1 is not prime. Res64: CF6342E5D95FBB79 Time : 0.0 sec. user=mdettweiler [2012-09-26 17:04:05] 699*2^1229568-1 is not prime. Res64: 307C7DABD4D6735E Time : 0.0 sec. user=mdettweiler [2012-09-26 17:04:06] 825*2^1229568-1 is not prime. Res64: 006BE66D74ABE34B Time : 0.0 sec. user=mdettweiler [2012-09-26 17:24:54] 887*2^1229568-1 is not prime. Res64: A720EA233EDE4B2E Time : 0.0 sec. user=mdettweiler [2012-09-26 17:24:55] 993*2^1229568-1 is not prime. Res64: 4C4816DCE74F309C Time : 0.0 sec. user=mdettweiler [2012-09-26 17:24:55] 933*2^1229568-1 is not prime. Res64: 69D6A8E824154B76 Time : 0.0 sec. user=mdettweiler [2012-09-26 17:24:55] 771*2^1229569-1 is not prime. Res64: 632AEE5082B7FC4B Time : 0.0 sec. user=vaughan [2012-09-26 17:30:45] 843*2^1229568-1 is not prime. Res64: FA9CF42913C6A2D3 Time : 0.0 sec. user=mdettweiler [2012-09-26 17:45:44] 641*2^1229570-1 is not prime. Res64: 8B3577CF58478779 Time : 0.0 sec. user=mdettweiler [2012-09-26 17:45:45] 713*2^1229570-1 is not prime. Res64: 03829D3A72BD58B9 Time : 0.0 sec. user=mdettweiler [2012-09-26 17:45:47] 743*2^1229570-1 is not prime. Res64: 889B6F60ECAE0080 Time : 0.0 sec. user=mdettweiler [2012-09-26 17:45:47] 773*2^1229570-1 is not prime. Res64: 6453AACAA6F756ED Time : 0.0 sec. user=mdettweiler [2012-09-26 18:06:32] 845*2^1229570-1 is not prime. Res64: 0C6F0676A7CC7AEA Time : 0.0 sec. user=mdettweiler [2012-09-26 18:06:33] 851*2^1229570-1 is not prime. Res64: E7497A8B53BC155A Time : 0.0 sec. user=mdettweiler [2012-09-26 18:06:34] 941*2^1229570-1 is not prime. Res64: 937BABFE0400EBD1 Time : 0.0 sec. user=mdettweiler [2012-09-26 18:06:35] 613*2^1229571-1 is not prime. Res64: 84A94EFD5C5343AC Time : 0.0 sec. user=vaughan [2012-09-26 18:08:19] 833*2^1229570-1 is not prime. Res64: 3EDE9839104FA3FB Time : 0.0 sec. user=mdettweiler [2012-09-26 18:27:35] 649*2^1229571-1 is not prime. Res64: 7ACE69BF21FDE38B Time : 0.0 sec. user=mdettweiler [2012-09-26 18:27:35] 703*2^1229571-1 is not prime. Res64: D472893B5A2FE319 Time : 0.0 sec. user=mdettweiler [2012-09-26 18:27:38] 793*2^1229571-1 is not prime. Res64: 5A6C8AF0F80DD739 Time : 0.0 sec. user=mdettweiler [2012-09-26 18:27:38] 795*2^1229571-1 is not prime. Res64: 4D7268AF822FADCC Time : 0.0 sec. user=vaughan [2012-09-26 18:45:54] 951*2^1229571-1 is not prime. Res64: 9788B7EB8569C628 Time : 0.0 sec. user=mdettweiler [2012-09-26 18:48:29] 615*2^1229572-1 is not prime. Res64: 48BCCD32CB5AF350 Time : 0.0 sec. user=mdettweiler [2012-09-26 18:48:29] 687*2^1229572-1 is not prime. Res64: 52A9E8DFB41C3215 Time : 0.0 sec. user=mdettweiler [2012-09-26 18:48:30] 735*2^1229572-1 is not prime. Res64: B1DA3643D18494AC Time : 0.0 sec. user=mdettweiler [2012-09-26 18:48:30] 677*2^1229572-1 is not prime. Res64: C5E71325F69EE9A5 Time : 0.0 sec. user=mdettweiler [2012-09-26 19:09:51] 903*2^1229572-1 is not prime. Res64: 87B9CF0A7DE75BB9 Time : 0.0 sec. user=mdettweiler [2012-09-26 19:09:53] 983*2^1229572-1 is not prime. Res64: 62ACEE3C7901B320 Time : 0.0 sec. user=mdettweiler [2012-09-26 19:09:56] 735*2^1229573-1 is not prime. Res64: A7574BFDFE2739AD Time : 0.0 sec. user=mdettweiler [2012-09-26 19:09:59] 801*2^1229573-1 is not prime. Res64: 8DC77C3C8682939D Time : 0.0 sec. user=vaughan [2012-09-26 19:23:36] 749*2^1229572-1 is not prime. Res64: 91B9A8D2F7693325 Time : 0.0 sec. user=mdettweiler [2012-09-26 19:31:30] 805*2^1229573-1 is not prime. Res64: 28C5F66079FC08A3 Time : 0.0 sec. user=mdettweiler [2012-09-26 19:31:30] 859*2^1229573-1 is not prime. Res64: 791E43CA4466A8D9 Time : 0.0 sec. user=mdettweiler [2012-09-26 19:31:32] 879*2^1229573-1 is not prime. Res64: 2104DA7D8D597867 Time : 0.0 sec. user=mdettweiler [2012-09-26 19:31:33] 897*2^1229573-1 is not prime. Res64: E6DDD9B8F8845AA7 Time : 0.0 sec. user=mdettweiler [2012-09-26 19:52:32] 981*2^1229573-1 is not prime. Res64: 0335D4AA0459C938 Time : 0.0 sec. user=mdettweiler [2012-09-26 19:52:32] 987*2^1229573-1 is not prime. Res64: 9E5A559DF83C8C41 Time : 0.0 sec. user=mdettweiler [2012-09-26 19:52:33] 717*2^1229574-1 is not prime. Res64: FE8F1D2DA851AA94 Time : 0.0 sec. user=mdettweiler [2012-09-26 19:52:34] 737*2^1229574-1 is not prime. Res64: 8F15F617A129236B Time : 0.0 sec. user=vaughan [2012-09-26 20:01:10] 951*2^1229573-1 is not prime. Res64: AC64E5C96340617A Time : 0.0 sec. user=mdettweiler [2012-09-26 20:13:26] 795*2^1229574-1 is not prime. Res64: 08E788A0774472A7 Time : 0.0 sec. user=mdettweiler [2012-09-26 20:13:27] 797*2^1229574-1 is not prime. Res64: 899B7C939BF39C8C Time : 0.0 sec. user=mdettweiler [2012-09-26 20:13:27] 807*2^1229574-1 is not prime. Res64: EE2860CF80138BB3 Time : 0.0 sec. user=mdettweiler [2012-09-26 20:13:28] 815*2^1229574-1 is not prime. Res64: 5C14AE0324D9C89F Time : 0.0 sec. user=mdettweiler [2012-09-26 20:34:09] 971*2^1229574-1 is not prime. Res64: E575E0E8F210325E Time : 0.0 sec. user=mdettweiler [2012-09-26 20:34:09] 609*2^1229575-1 is not prime. Res64: 0DBEFCDE3859503B Time : 0.0 sec. user=mdettweiler [2012-09-26 20:34:10] 923*2^1229574-1 is not prime. Res64: D6DE775C4C6D97CA Time : 0.0 sec. user=mdettweiler [2012-09-26 20:34:10] 625*2^1229575-1 is not prime. Res64: 1338D33780C578A9 Time : 0.0 sec. user=vaughan [2012-09-26 20:38:52] 921*2^1229574-1 is not prime. Res64: 926F6195E1C89BD4 Time : 0.0 sec. user=mdettweiler [2012-09-26 20:54:45] 685*2^1229575-1 is not prime. Res64: C2AE94AF18DA5E21 Time : 0.0 sec. user=mdettweiler [2012-09-26 20:54:46] 741*2^1229575-1 is not prime. Res64: 3875F8DA2D40A4B4 Time : 0.0 sec. user=mdettweiler [2012-09-26 20:54:47] 951*2^1229575-1 is not prime. Res64: 4B85D6190421C512 Time : 0.0 sec. user=mdettweiler [2012-09-26 20:54:47] 969*2^1229575-1 is not prime. Res64: 458B27F5518852B3 Time : 0.0 sec. user=mdettweiler [2012-09-26 21:15:25] 985*2^1229575-1 is not prime. Res64: 2A1CD7DF11B2D77B Time : 0.0 sec. user=mdettweiler [2012-09-26 21:15:28] 693*2^1229576-1 is not prime. Res64: 095A6800AF5CACB8 Time : 0.0 sec. user=mdettweiler [2012-09-26 21:15:31] 617*2^1229576-1 is not prime. Res64: 0940D2DAA4F120FF Time : 0.0 sec. user=mdettweiler [2012-09-26 21:15:32] 935*2^1229576-1 is not prime. Res64: EDBD9214AAB85D89 Time : 0.0 sec. user=vaughan [2012-09-26 21:16:25] 973*2^1229575-1 is not prime. Res64: 22569C0998CE1004 Time : 0.0 sec. user=mdettweiler [2012-09-26 21:36:24] 609*2^1229577-1 is not prime. Res64: 59B2E7C3E57C0D20 Time : 0.0 sec. user=mdettweiler [2012-09-26 21:36:24] 627*2^1229577-1 is not prime. Res64: BBE422042A0BFA98 Time : 0.0 sec. user=mdettweiler [2012-09-26 21:36:25] 649*2^1229577-1 is not prime. Res64: D479B912FFB1FD13 Time : 0.0 sec. user=mdettweiler [2012-09-26 21:36:26] 717*2^1229577-1 is not prime. Res64: 8C07F4AAED70AF44 Time : 0.0 sec. user=vaughan [2012-09-26 21:54:00] 835*2^1229577-1 is not prime. Res64: EA46E2D193195F29 Time : 0.0 sec. user=mdettweiler [2012-09-26 21:57:21] 871*2^1229577-1 is not prime. Res64: D86C65863F971A1A Time : 0.0 sec. user=mdettweiler [2012-09-26 21:57:22] 623*2^1229578-1 is not prime. Res64: A1EBA7988D264DE8 Time : 0.0 sec. user=mdettweiler [2012-09-26 21:57:22] 705*2^1229578-1 is not prime. Res64: 5011A5774CA7B8F9 Time : 0.0 sec. user=mdettweiler [2012-09-26 21:57:22] 737*2^1229578-1 is not prime. Res64: B2BDF528671E3E04 Time : 0.0 sec. user=mdettweiler [2012-09-26 22:18:32] 801*2^1229578-1 is not prime. Res64: 4BAD16FE91B20BA5 Time : 0.0 sec. user=mdettweiler [2012-09-26 22:18:32] 957*2^1229578-1 is not prime. Res64: E56F0F3D3D5E0167 Time : 0.0 sec. user=mdettweiler [2012-09-26 22:18:32] 845*2^1229578-1 is not prime. Res64: CC784076C0E6CEC0 Time : 0.0 sec. user=mdettweiler [2012-09-26 22:18:33] 987*2^1229578-1 is not prime. Res64: 409AAE95309C7E88 Time : 0.0 sec. user=vaughan [2012-09-26 22:31:40] 765*2^1229578-1 is not prime. Res64: 8E4D0D8B20668BAD Time : 0.0 sec. user=mdettweiler [2012-09-26 22:39:10] 601*2^1229579-1 is not prime. Res64: FA0B8F5B88258938 Time : 0.0 sec. user=mdettweiler [2012-09-26 22:39:10] 643*2^1229579-1 is not prime. Res64: EA0A53DF166A1FC4 Time : 0.0 sec. user=mdettweiler [2012-09-26 22:39:11] 645*2^1229579-1 is not prime. Res64: 5AC15C5EB61B69E5 Time : 0.0 sec. user=mdettweiler [2012-09-26 22:39:11] 799*2^1229579-1 is not prime. Res64: 9AC35B39FED7C206 Time : 0.0 sec. user=mdettweiler [2012-09-26 22:59:45] 859*2^1229579-1 is not prime. Res64: 5857BE6B2AA98396 Time : 0.0 sec. user=mdettweiler [2012-09-26 22:59:45] 939*2^1229579-1 is not prime. Res64: 7BA5029199F6C99D Time : 0.0 sec. user=mdettweiler [2012-09-26 22:59:46] 633*2^1229580-1 is not prime. Res64: F9C0116492EDF018 Time : 0.0 sec. user=mdettweiler [2012-09-26 22:59:46] 803*2^1229580-1 is not prime. Res64: CAE5C4562CBF2089 Time : 0.0 sec. user=vaughan [2012-09-26 23:09:31] 843*2^1229579-1 is not prime. Res64: 8A3F99841E0FF494 Time : 0.0 sec. user=mdettweiler [2012-09-26 23:20:20] 909*2^1229580-1 is not prime. Res64: 5B96DE6EC281734D Time : 0.0 sec. user=mdettweiler [2012-09-26 23:20:20] 727*2^1229581-1 is not prime. Res64: C8FC627D71E73F49 Time : 0.0 sec. user=mdettweiler [2012-09-26 23:20:21] 745*2^1229581-1 is not prime. Res64: CB8BDBAA391481BA Time : 0.0 sec. user=mdettweiler [2012-09-26 23:20:21] 747*2^1229581-1 is not prime. Res64: 0C8C445D174F5FDD Time : 0.0 sec. user=mdettweiler [2012-09-26 23:41:02] 849*2^1229581-1 is not prime. Res64: BD5FB51381F165AE Time : 0.0 sec. user=mdettweiler [2012-09-26 23:41:02] 855*2^1229581-1 is not prime. Res64: FF071330D52C0FAE Time : 0.0 sec. user=mdettweiler [2012-09-26 23:41:03] 987*2^1229581-1 is not prime. Res64: EAE908AC7DA40222 Time : 0.0 sec. user=mdettweiler [2012-09-26 23:41:03] 825*2^1229582-1 is not prime. Res64: 22D3CE4B0657A437 Time : 0.0 sec. user=vaughan [2012-09-26 23:47:20] 835*2^1229581-1 is not prime. Res64: 883141145618C3B3 Time : 0.0 sec.