user=mdettweiler [2010-08-24 00:28:09] 579*2^890681-1 is not prime. Res64: 42440A0C03DC0880 Time : 0.0 sec. user=mdettweiler [2010-08-24 00:28:09] 405*2^890682-1 is not prime. Res64: 83BE7720313E8CC9 Time : 0.0 sec. user=mdettweiler [2010-08-24 00:28:09] 483*2^890682-1 is not prime. Res64: 06CA0A9CA2DAAB20 Time : 0.0 sec. user=mdettweiler [2010-08-24 00:28:30] 501*2^890682-1 is not prime. Res64: 701C880ACB3CF8D0 Time : 0.0 sec. user=mdettweiler [2010-08-24 00:28:30] 411*2^890683-1 is not prime. Res64: 674DBCDC332B60D6 Time : 0.0 sec. user=mdettweiler [2010-08-24 00:28:30] 495*2^890683-1 is not prime. Res64: 2661A8640B693A66 Time : 0.0 sec. user=mdettweiler [2010-08-24 00:28:43] 561*2^890683-1 is not prime. Res64: 2B8F8A8078338A9C Time : 0.0 sec. user=mdettweiler [2010-08-24 00:28:44] 423*2^890684-1 is not prime. Res64: 8BF70B1F40CA053C Time : 0.0 sec. user=mdettweiler [2010-08-24 00:28:44] 453*2^890684-1 is not prime. Res64: 8DC5DC2A8F63001A Time : 0.0 sec. user=mdettweiler [2010-08-24 00:32:22] 477*2^890684-1 is not prime. Res64: CAB85C3B015BE498 Time : 0.0 sec. user=mdettweiler [2010-08-24 00:32:22] 503*2^890684-1 is not prime. Res64: 0CE1875F2E20C5EE Time : 0.0 sec. user=mdettweiler [2010-08-24 00:32:22] 557*2^890684-1 is not prime. Res64: 77485DCCAF106752 Time : 0.0 sec. user=mdettweiler [2010-08-24 01:10:08] 585*2^890684-1 is not prime. Res64: 496D13178A0C8FF0 Time : 0.0 sec. user=mdettweiler [2010-08-24 01:10:09] 511*2^890685-1 is not prime. Res64: 40EFCBE051E6BDC6 Time : 0.0 sec. user=mdettweiler [2010-08-24 01:10:09] 597*2^890685-1 is not prime. Res64: 79453BF4B8CBD2D1 Time : 0.0 sec. user=mdettweiler [2010-08-24 01:10:25] 413*2^890686-1 is not prime. Res64: 52D1D3670296297A Time : 0.0 sec. user=mdettweiler [2010-08-24 01:10:25] 437*2^890686-1 is not prime. Res64: 1516CE1BC6AF1043 Time : 0.0 sec. user=mdettweiler [2010-08-24 01:10:25] 453*2^890686-1 is not prime. Res64: 01CC806C93EC2573 Time : 0.0 sec. user=mdettweiler [2010-08-24 01:10:44] 513*2^890686-1 is not prime. Res64: 072176538F57835D Time : 0.0 sec. user=mdettweiler [2010-08-24 01:10:44] 567*2^890686-1 is not prime. Res64: 3500BE1AA62A6012 Time : 0.0 sec. user=mdettweiler [2010-08-24 01:10:44] 475*2^890687-1 is not prime. Res64: 1AAE3B5691ED7E09 Time : 0.0 sec. user=mdettweiler [2010-08-24 01:14:27] 511*2^890687-1 is not prime. Res64: D9EE72DDE16C1086 Time : 0.0 sec. user=mdettweiler [2010-08-24 01:14:27] 571*2^890687-1 is not prime. Res64: 76160E954096F69F Time : 0.0 sec. user=mdettweiler [2010-08-24 01:14:27] 465*2^890688-1 is not prime. Res64: D0EF4CC36E791077 Time : 0.0 sec. user=mdettweiler [2010-08-24 01:51:44] 555*2^890688-1 is not prime. Res64: B5370219FB56C081 Time : 0.0 sec. user=mdettweiler [2010-08-24 01:51:44] 421*2^890689-1 is not prime. Res64: 59D2D4390745C2ED Time : 0.0 sec. user=mdettweiler [2010-08-24 01:51:44] 525*2^890689-1 is not prime. Res64: 5769F094A07614B1 Time : 0.0 sec. user=mdettweiler [2010-08-24 01:51:52] 535*2^890689-1 is not prime. Res64: 073C61AA0158A65B Time : 0.0 sec. user=mdettweiler [2010-08-24 01:51:52] 405*2^890690-1 is not prime. Res64: 883DDF4B2978A79F Time : 0.0 sec. user=mdettweiler [2010-08-24 01:51:52] 495*2^890690-1 is not prime. Res64: DCC7201BCCAFC871 Time : 0.0 sec. user=mdettweiler [2010-08-24 01:52:14] 561*2^890690-1 is not prime. Res64: E340D0F0103B37B2 Time : 0.0 sec. user=mdettweiler [2010-08-24 01:52:14] 429*2^890691-1 is not prime. Res64: E42DD7A6E1DF228F Time : 0.0 sec. user=mdettweiler [2010-08-24 01:52:14] 469*2^890691-1 is not prime. Res64: 65BD0459A8B0CBBB Time : 0.0 sec. user=mdettweiler [2010-08-24 01:55:57] 583*2^890691-1 is not prime. Res64: D49FDD0D76989494 Time : 0.0 sec. user=mdettweiler [2010-08-24 01:55:57] 591*2^890691-1 is not prime. Res64: C0819C1C266651F4 Time : 0.0 sec. user=mdettweiler [2010-08-24 01:55:57] 413*2^890692-1 is not prime. Res64: 2FD96439F2EF4D30 Time : 0.0 sec. user=mdettweiler [2010-08-24 02:33:13] 423*2^890692-1 is not prime. Res64: 02C86F1C523A866A Time : 0.0 sec. user=mdettweiler [2010-08-24 02:33:13] 495*2^890692-1 is not prime. Res64: F24DF187012B6FB4 Time : 0.0 sec. user=mdettweiler [2010-08-24 02:33:13] 539*2^890692-1 is not prime. Res64: 0F29B2D15B608205 Time : 0.0 sec. user=mdettweiler [2010-08-24 02:33:22] 537*2^890693-1 is not prime. Res64: 930B69CF7F73ED58 Time : 0.0 sec. user=mdettweiler [2010-08-24 02:33:22] 567*2^890693-1 is not prime. Res64: 25970FBC4D26108A Time : 0.0 sec. user=mdettweiler [2010-08-24 02:33:22] 577*2^890693-1 is not prime. Res64: 7AB260A6BAC0A90C Time : 0.0 sec. user=mdettweiler [2010-08-24 02:33:41] 401*2^890694-1 is not prime. Res64: 91D61263E34CD2E9 Time : 0.0 sec. user=mdettweiler [2010-08-24 02:33:42] 411*2^890694-1 is not prime. Res64: B5A8959803183740 Time : 0.0 sec. user=mdettweiler [2010-08-24 02:33:42] 413*2^890694-1 is not prime. Res64: 287F960ACF7C19F5 Time : 0.0 sec. user=mdettweiler [2010-08-24 02:37:27] 485*2^890694-1 is not prime. Res64: C918E67A63924CA8 Time : 0.0 sec. user=mdettweiler [2010-08-24 02:37:28] 507*2^890694-1 is not prime. Res64: 75E526BB011703AF Time : 0.0 sec. user=mdettweiler [2010-08-24 02:37:28] 567*2^890694-1 is not prime. Res64: BDFA121D31836B79 Time : 0.0 sec. user=mdettweiler [2010-08-24 03:14:44] 411*2^890695-1 is not prime. Res64: 8789FEA2141904A2 Time : 0.0 sec. user=mdettweiler [2010-08-24 03:14:44] 433*2^890695-1 is not prime. Res64: DF0676678AF91090 Time : 0.0 sec. user=mdettweiler [2010-08-24 03:14:44] 451*2^890695-1 is not prime. Res64: A0C66F7D633D88CE Time : 0.0 sec. user=mdettweiler [2010-08-24 03:14:51] 493*2^890695-1 is not prime. Res64: 563FB18E5E0BCE22 Time : 0.0 sec. user=mdettweiler [2010-08-24 03:14:51] 511*2^890695-1 is not prime. Res64: D1DE38AF5E1DFABF Time : 0.0 sec. user=mdettweiler [2010-08-24 03:14:51] 437*2^890696-1 is not prime. Res64: D9A10FDBA67275F8 Time : 0.0 sec. user=mdettweiler [2010-08-24 03:15:09] 459*2^890696-1 is not prime. Res64: 9A7214513A8D7BFC Time : 0.0 sec. user=mdettweiler [2010-08-24 03:15:09] 479*2^890696-1 is not prime. Res64: 9C74B721B0D75EB3 Time : 0.0 sec. user=mdettweiler [2010-08-24 03:15:09] 507*2^890696-1 is not prime. Res64: F908C355D827839E Time : 0.0 sec. user=mdettweiler [2010-08-24 03:18:57] 441*2^890697-1 is not prime. Res64: 01DBC740CCA19529 Time : 0.0 sec. user=mdettweiler [2010-08-24 03:18:57] 471*2^890697-1 is not prime. Res64: C17513330E4366D2 Time : 0.0 sec. user=mdettweiler [2010-08-24 03:18:58] 475*2^890697-1 is not prime. Res64: E82D22275B9819CD Time : 0.0 sec. user=mdettweiler [2010-08-24 03:56:11] 507*2^890697-1 is not prime. Res64: 6C950EE348454DBD Time : 0.0 sec. user=mdettweiler [2010-08-24 03:56:11] 595*2^890697-1 is not prime. Res64: 2818FF351556BF2D Time : 0.0 sec. user=mdettweiler [2010-08-24 03:56:11] 401*2^890698-1 is not prime. Res64: F19EE218BC1720CC Time : 0.0 sec. user=mdettweiler [2010-08-24 03:56:19] 413*2^890698-1 is not prime. Res64: 158E5E25EF2412A6 Time : 0.0 sec. user=mdettweiler [2010-08-24 03:56:19] 527*2^890698-1 is not prime. Res64: 4D81C40301816110 Time : 0.0 sec. user=mdettweiler [2010-08-24 03:56:19] 581*2^890698-1 is not prime. Res64: 65BD60BECE19A76F Time : 0.0 sec. user=mdettweiler [2010-08-24 03:56:33] 493*2^890699-1 is not prime. Res64: C74B647A519BCF10 Time : 0.0 sec. user=mdettweiler [2010-08-24 03:56:34] 531*2^890699-1 is not prime. Res64: 5D8324A91574FE15 Time : 0.0 sec. user=mdettweiler [2010-08-24 03:56:34] 553*2^890699-1 is not prime. Res64: 0C3FEBB36E42C9A5 Time : 0.0 sec. user=mdettweiler [2010-08-24 04:00:25] 447*2^890700-1 is not prime. Res64: 5042B00A71438EEC Time : 0.0 sec. user=mdettweiler [2010-08-24 04:00:25] 455*2^890700-1 is not prime. Res64: ED52572A021F9353 Time : 0.0 sec. user=mdettweiler [2010-08-24 04:00:25] 465*2^890700-1 is not prime. Res64: 78E70AD58DD3C586 Time : 0.0 sec. user=henryzz [2010-08-24 04:32:23] 525*2^890646-1 is not prime. Res64: 0DCAF40B2AE2ABD3 Time : 0.0 sec. user=henryzz [2010-08-24 04:34:06] 567*2^890646-1 is not prime. Res64: 98897CE55E9367ED Time : 0.0 sec. user=mdettweiler [2010-08-24 04:37:39] 545*2^890700-1 is not prime. Res64: AD4CA651EDD1850B Time : 0.0 sec. user=mdettweiler [2010-08-24 04:37:39] 563*2^890700-1 is not prime. Res64: 796F07195EC20441 Time : 0.0 sec. user=mdettweiler [2010-08-24 04:37:40] 567*2^890700-1 is not prime. Res64: 2F97D90E4EF53FA3 Time : 0.0 sec. user=mdettweiler [2010-08-24 04:37:47] 579*2^890700-1 is not prime. Res64: 915C8A7474A31AAF Time : 0.0 sec. user=mdettweiler [2010-08-24 04:37:47] 585*2^890700-1 is not prime. Res64: 17BFB00C41D8A241 Time : 0.0 sec. user=mdettweiler [2010-08-24 04:37:47] 593*2^890700-1 is not prime. Res64: ADFD1A3EFD92D813 Time : 0.0 sec. user=mdettweiler [2010-08-24 04:38:04] 597*2^890700-1 is not prime. Res64: 59F11D81781AA82B Time : 0.0 sec. user=mdettweiler [2010-08-24 04:38:05] 451*2^890701-1 is not prime. Res64: 6988C9DA521925DC Time : 0.0 sec. user=mdettweiler [2010-08-24 04:38:05] 477*2^890701-1 is not prime. Res64: 9E64408BCE0FD89D Time : 0.0 sec. user=henryzz [2010-08-24 04:39:20] 453*2^890647-1 is not prime. Res64: 51981A815522C003 Time : 0.0 sec. user=mdettweiler [2010-08-24 04:42:00] 559*2^890701-1 is not prime. Res64: D34482B360A9EDB0 Time : 0.0 sec. user=mdettweiler [2010-08-24 04:42:00] 591*2^890701-1 is not prime. Res64: 7C65F9EFCD6C0CF4 Time : 0.0 sec. user=mdettweiler [2010-08-24 04:42:00] 407*2^890702-1 is not prime. Res64: 0B51DA11713F1642 Time : 0.0 sec. user=henryzz [2010-08-24 04:46:03] 463*2^890647-1 is not prime. Res64: D6CE5DA4CFF73051 Time : 0.0 sec. user=henryzz [2010-08-24 04:50:45] 477*2^890702-1 is not prime. Res64: 27E94B33410CA611 Time : 0.0 sec. user=henryzz [2010-08-24 04:52:49] 495*2^890702-1 is not prime. Res64: E02006D816AEF116 Time : 0.0 sec. user=henryzz [2010-08-24 04:57:47] 413*2^890704-1 is not prime. Res64: 62BA098B9EE7D395 Time : 0.0 sec. user=henryzz [2010-08-24 05:04:01] 597*2^890704-1 is not prime. Res64: 6EAE7BC542CA9A10 Time : 0.0 sec. user=henryzz [2010-08-24 05:09:08] 411*2^890705-1 is not prime. Res64: 8DBDAD248C454B94 Time : 0.0 sec. user=henryzz [2010-08-24 05:10:54] 465*2^890705-1 is not prime. Res64: B0976184DE7CBE27 Time : 0.0 sec. user=henryzz [2010-08-24 05:15:38] 579*2^890705-1 is not prime. Res64: C71BBBC606CFFCE6 Time : 0.0 sec. user=mdettweiler [2010-08-24 05:19:11] 515*2^890702-1 is not prime. Res64: E383FB1CBD6BC6B8 Time : 0.0 sec. user=mdettweiler [2010-08-24 05:19:12] 525*2^890702-1 is not prime. Res64: 5BC5ED7835536BD8 Time : 0.0 sec. user=mdettweiler [2010-08-24 05:19:12] 573*2^890702-1 is not prime. Res64: AEFADBFA0E57552C Time : 0.0 sec. user=mdettweiler [2010-08-24 05:19:24] 441*2^890703-1 is not prime. Res64: 0D108ECB569E5002 Time : 0.0 sec. user=mdettweiler [2010-08-24 05:19:24] 459*2^890703-1 is not prime. Res64: 8AFAFCD2E3F264F4 Time : 0.0 sec. user=mdettweiler [2010-08-24 05:19:24] 501*2^890703-1 is not prime. Res64: 898F0E28E0A23EEA Time : 0.0 sec. user=mdettweiler [2010-08-24 05:19:32] 541*2^890703-1 is not prime. Res64: BC3165CE656E0C8B Time : 0.0 sec. user=mdettweiler [2010-08-24 05:19:32] 559*2^890703-1 is not prime. Res64: 97F3133699ED2323 Time : 0.0 sec. user=mdettweiler [2010-08-24 05:19:32] 565*2^890703-1 is not prime. Res64: B98777E4E1411974 Time : 0.0 sec. user=henryzz [2010-08-24 05:22:30] 589*2^890705-1 is not prime. Res64: 2EB1C148611722CD Time : 0.0 sec. user=mdettweiler [2010-08-24 05:23:30] 513*2^890704-1 is not prime. Res64: 8AF9EBE38C99D5C8 Time : 0.0 sec. user=mdettweiler [2010-08-24 05:23:30] 519*2^890704-1 is not prime. Res64: 6FEFB79B50BA61A2 Time : 0.0 sec. user=mdettweiler [2010-08-24 05:23:30] 525*2^890704-1 is not prime. Res64: A1C280D2A318730A Time : 0.0 sec. user=henryzz [2010-08-24 05:28:24] 413*2^890706-1 is not prime. Res64: 86232C441342E34C Time : 0.0 sec. user=henryzz [2010-08-24 05:29:28] 527*2^890706-1 is not prime. Res64: 7303D943A2B901F1 Time : 0.0 sec. user=henryzz [2010-08-24 05:34:12] 593*2^890706-1 is not prime. Res64: 585DD14F55ABA1BE Time : 0.0 sec. user=henryzz [2010-08-24 05:43:07] 417*2^890709-1 is not prime. Res64: CE4B911936316E70 Time : 0.0 sec. user=henryzz [2010-08-24 05:51:14] 405*2^890710-1 is not prime. Res64: 11B17F2D6530A11C Time : 0.0 sec. user=henryzz [2010-08-24 05:52:20] 447*2^890710-1 is not prime. Res64: 6229550FE09547C0 Time : 0.0 sec. user=henryzz [2010-08-24 05:57:42] 465*2^890710-1 is not prime. Res64: CDB45783DA52FBC2 Time : 0.0 sec. user=mdettweiler [2010-08-24 06:01:29] 433*2^890707-1 is not prime. Res64: 4C813A6F761BD248 Time : 0.0 sec. user=mdettweiler [2010-08-24 06:01:29] 541*2^890707-1 is not prime. Res64: 2C2BB06DA588A11D Time : 0.0 sec. user=mdettweiler [2010-08-24 06:01:29] 549*2^890707-1 is not prime. Res64: 5BE4AF877BFCDA58 Time : 0.0 sec. user=mdettweiler [2010-08-24 06:01:35] 459*2^890708-1 is not prime. Res64: 04138C44495415DE Time : 0.0 sec. user=mdettweiler [2010-08-24 06:01:35] 519*2^890708-1 is not prime. Res64: 9B16F3B52D4470DE Time : 0.0 sec. user=mdettweiler [2010-08-24 06:01:35] 533*2^890708-1 is not prime. Res64: 24F5CECC8FDAFDBE Time : 0.0 sec. user=mdettweiler [2010-08-24 06:01:38] 539*2^890708-1 is not prime. Res64: FEE76178432735D8 Time : 0.0 sec. user=mdettweiler [2010-08-24 06:01:38] 545*2^890708-1 is not prime. Res64: 1939F4F4806FE3F9 Time : 0.0 sec. user=mdettweiler [2010-08-24 06:01:38] 585*2^890708-1 is not prime. Res64: 0C786F73681C793B Time : 0.0 sec. user=henryzz [2010-08-24 06:04:28] 471*2^890710-1 is not prime. Res64: 71334654727F300F Time : 0.0 sec. user=mdettweiler [2010-08-24 06:05:41] 471*2^890709-1 is not prime. Res64: 6363BE9FECACA44B Time : 0.0 sec. user=mdettweiler [2010-08-24 06:05:41] 507*2^890709-1 is not prime. Res64: C36FB552A93CFE8B Time : 0.0 sec. user=mdettweiler [2010-08-24 06:05:41] 555*2^890709-1 is not prime. Res64: 07FE6F48DAD97D11 Time : 0.0 sec. user=henryzz [2010-08-24 06:09:58] 403*2^890711-1 is not prime. Res64: 3317938BEC0A150A Time : 0.0 sec. user=henryzz [2010-08-24 06:11:10] 421*2^890711-1 is not prime. Res64: ED6720FA1E1A1E5A Time : 0.0 sec. user=henryzz [2010-08-24 06:15:25] 441*2^890711-1 is not prime. Res64: 29F16FB574F1DA58 Time : 0.0 sec. user=henryzz [2010-08-24 06:22:55] 441*2^890713-1 is not prime. Res64: EE09B729D4177E7F Time : 0.0 sec. user=henryzz [2010-08-24 06:27:31] 547*2^890713-1 is not prime. Res64: 3917AF7300FCCE83 Time : 0.0 sec. user=henryzz [2010-08-24 06:28:51] 559*2^890713-1 is not prime. Res64: D1D187EEB2FCCE4F Time : 0.0 sec. user=henryzz [2010-08-24 06:33:10] 407*2^890714-1 is not prime. Res64: 285BCA899B14514B Time : 0.0 sec. user=henryzz [2010-08-24 06:41:56] 431*2^890714-1 is not prime. Res64: AD8D4D6C71BD4431 Time : 0.0 sec. user=mdettweiler [2010-08-24 06:43:09] 497*2^890712-1 is not prime. Res64: FE2B8E8D2001C755 Time : 0.0 sec. user=mdettweiler [2010-08-24 06:43:09] 515*2^890712-1 is not prime. Res64: E328536DB48CA23A Time : 0.0 sec. user=mdettweiler [2010-08-24 06:43:09] 549*2^890712-1 is not prime. Res64: 075786F079A7B4E2 Time : 0.0 sec. user=mdettweiler [2010-08-24 06:43:11] 525*2^890711-1 is not prime. Res64: F14AFF02368A2D46 Time : 0.0 sec. user=mdettweiler [2010-08-24 06:43:11] 549*2^890711-1 is not prime. Res64: 9CCA2620B14FBAAE Time : 0.0 sec. user=mdettweiler [2010-08-24 06:43:11] 405*2^890712-1 is not prime. Res64: 88D0B1BAE7679841 Time : 0.0 sec. user=mdettweiler [2010-08-24 06:43:14] 557*2^890712-1 is not prime. Res64: ED5A7DFDEFE71F76 Time : 0.0 sec. user=mdettweiler [2010-08-24 06:43:15] 405*2^890713-1 is not prime. Res64: EF6818A21F53BB01 Time : 0.0 sec. user=mdettweiler [2010-08-24 06:43:15] 435*2^890713-1 is not prime. Res64: A8837725A79555C5 Time : 0.0 sec. user=henryzz [2010-08-24 06:45:25] 483*2^890714-1 is not prime. Res64: 54C264B3C43201ED Time : 0.0 sec. user=mdettweiler [2010-08-24 06:47:11] 471*2^890713-1 is not prime. Res64: 73E38CF846EEC018 Time : 0.0 sec. user=mdettweiler [2010-08-24 06:47:11] 495*2^890713-1 is not prime. Res64: 489CC31CE1DA2154 Time : 0.0 sec. user=mdettweiler [2010-08-24 06:47:11] 499*2^890713-1 is not prime. Res64: 985C0F658DD38CFB Time : 0.0 sec. user=henryzz [2010-08-24 06:47:26] 587*2^890714-1 is not prime. Res64: D11AB556D5C3B717 Time : 0.0 sec. user=henryzz [2010-08-24 06:51:29] 415*2^890715-1 is not prime. Res64: BE77E0A29C7E9BAF Time : 0.0 sec. user=henryzz [2010-08-24 07:00:56] 433*2^890715-1 is not prime. Res64: FD69034317FF4EDE Time : 0.0 sec. user=henryzz [2010-08-24 07:04:20] 435*2^890717-1 is not prime. Res64: DCB04166B872700B Time : 0.0 sec. user=henryzz [2010-08-24 07:06:59] 447*2^890718-1 is not prime. Res64: 9C9E6DE2D45218AD Time : 0.0 sec. user=henryzz [2010-08-24 07:10:02] 485*2^890718-1 is not prime. Res64: D1A2E11062F4052C Time : 0.0 sec. user=henryzz [2010-08-24 07:18:55] 507*2^890718-1 is not prime. Res64: 4B5147B9D0FF2372 Time : 0.0 sec. user=henryzz [2010-08-24 07:23:29] 527*2^890718-1 is not prime. Res64: A141A9B7BC87CDA1 Time : 0.0 sec. user=mdettweiler [2010-08-24 07:25:16] 445*2^890715-1 is not prime. Res64: 2BA98F376DC80B5E Time : 0.0 sec. user=mdettweiler [2010-08-24 07:25:16] 471*2^890715-1 is not prime. Res64: 1F95D511643A69DD Time : 0.0 sec. user=mdettweiler [2010-08-24 07:25:17] 573*2^890715-1 is not prime. Res64: E0C40C2036F96707 Time : 0.0 sec. user=mdettweiler [2010-08-24 07:25:21] 591*2^890715-1 is not prime. Res64: 9BFC62BB1FABCC57 Time : 0.0 sec. user=mdettweiler [2010-08-24 07:25:21] 465*2^890716-1 is not prime. Res64: 8BE8FA87131FEB01 Time : 0.0 sec. user=mdettweiler [2010-08-24 07:25:21] 485*2^890716-1 is not prime. Res64: 819883A115EA4DFF Time : 0.0 sec. user=mdettweiler [2010-08-24 07:25:22] 569*2^890716-1 is not prime. Res64: 02081A2281F41DFB Time : 0.0 sec. user=mdettweiler [2010-08-24 07:25:22] 587*2^890716-1 is not prime. Res64: 3E501D50DDFA1213 Time : 0.0 sec. user=mdettweiler [2010-08-24 07:25:22] 405*2^890717-1 is not prime. Res64: D62572367C74AB9E Time : 0.0 sec. user=henryzz [2010-08-24 07:25:41] 563*2^890718-1 is not prime. Res64: 20F4118E2BE65E7B Time : 0.0 sec. user=henryzz [2010-08-24 07:27:56] 585*2^890718-1 is not prime. Res64: 5FE35DA89D32A8DD Time : 0.0 sec. user=mdettweiler [2010-08-24 07:29:18] 469*2^890717-1 is not prime. Res64: 63A22203634A541B Time : 0.0 sec. user=mdettweiler [2010-08-24 07:29:19] 487*2^890717-1 is not prime. Res64: 7916CC7ADA3C9882 Time : 0.0 sec. user=mdettweiler [2010-08-24 07:29:19] 417*2^890718-1 is not prime. Res64: 9159F277C2C330A5 Time : 0.0 sec. user=henryzz [2010-08-24 07:39:04] 411*2^890719-1 is not prime. Res64: A5E87A5B4920197B Time : 0.0 sec. user=henryzz [2010-08-24 07:42:05] 421*2^890719-1 is not prime. Res64: AD041255F9353663 Time : 0.0 sec. user=henryzz [2010-08-24 07:46:22] 533*2^890720-1 is not prime. Res64: 63D1BB64FA1BAA42 Time : 0.0 sec. user=henryzz [2010-08-24 07:47:34] 429*2^890721-1 is not prime. Res64: EF653DD309676836 Time : 0.0 sec. user=henryzz [2010-08-24 08:00:17] 481*2^890723-1 is not prime. Res64: A54B59B6986D5308 Time : 0.0 sec. user=henryzz [2010-08-24 08:03:34] 505*2^890723-1 is not prime. Res64: C36204D36F00B742 Time : 0.0 sec. user=henryzz [2010-08-24 08:06:20] 519*2^890723-1 is not prime. Res64: BEBE4484027B092D Time : 0.0 sec. user=henryzz [2010-08-24 08:07:21] 523*2^890723-1 is not prime. Res64: 85FE5AF491C02308 Time : 0.0 sec. user=mdettweiler [2010-08-24 08:07:27] 523*2^890719-1 is not prime. Res64: 2CB6FBA5E60F28D9 Time : 0.0 sec. user=mdettweiler [2010-08-24 08:07:28] 531*2^890719-1 is not prime. Res64: 984EF192CC70EED1 Time : 0.0 sec. user=mdettweiler [2010-08-24 08:07:28] 437*2^890720-1 is not prime. Res64: 395DACDAFA507CDC Time : 0.0 sec. user=mdettweiler [2010-08-24 08:07:28] 441*2^890719-1 is not prime. Res64: B1EB9B44B3EA28E2 Time : 0.0 sec. user=mdettweiler [2010-08-24 08:07:28] 469*2^890719-1 is not prime. Res64: 831418A6A97596B1 Time : 0.0 sec. user=mdettweiler [2010-08-24 08:07:29] 499*2^890719-1 is not prime. Res64: A47DBE6AB5A93DAE Time : 0.0 sec. user=mdettweiler [2010-08-24 08:07:34] 447*2^890720-1 is not prime. Res64: 6E6F0E431AB05A39 Time : 0.0 sec. user=mdettweiler [2010-08-24 08:07:34] 503*2^890720-1 is not prime. Res64: 7D133769EF126248 Time : 0.0 sec. user=mdettweiler [2010-08-24 08:07:34] 525*2^890720-1 is not prime. Res64: 21226DC569D0BC79 Time : 0.0 sec. user=mdettweiler [2010-08-24 08:11:34] 465*2^890721-1 is not prime. Res64: 7F2935CC7ED5875E Time : 0.0 sec. user=mdettweiler [2010-08-24 08:11:35] 555*2^890722-1 is not prime. Res64: 8B714002FB32BCDD Time : 0.0 sec. user=mdettweiler [2010-08-24 08:11:35] 581*2^890722-1 is not prime. Res64: D66274F2FA92150E Time : 0.0 sec. user=henryzz [2010-08-24 08:18:51] 419*2^890724-1 is not prime. Res64: C02416838A650CAC Time : 0.0 sec. user=henryzz [2010-08-24 08:22:06] 437*2^890724-1 is not prime. Res64: 6A2147C02EB11837 Time : 0.0 sec. user=henryzz [2010-08-24 08:25:33] 569*2^890724-1 is not prime. Res64: 5033FCD4549EB20E Time : 0.0 sec. user=henryzz [2010-08-24 08:26:14] 483*2^890724-1 is not prime. Res64: 687084F7B2E74D24 Time : 0.0 sec. user=henryzz [2010-08-24 08:37:38] 441*2^890729-1 is not prime. Res64: 4CBA6F608F841B35 Time : 0.0 sec. user=henryzz [2010-08-24 08:40:41] 487*2^890729-1 is not prime. Res64: 999DFD99DF1696D9 Time : 0.0 sec. user=henryzz [2010-08-24 08:43:55] 495*2^890729-1 is not prime. Res64: 7A182A629382A4FC Time : 0.0 sec. user=henryzz [2010-08-24 08:45:07] 507*2^890729-1 is not prime. Res64: B15560C9779FF4B7 Time : 0.0 sec. user=mdettweiler [2010-08-24 08:49:46] 477*2^890725-1 is not prime. Res64: 653D90914B6A8FBA Time : 0.0 sec. user=mdettweiler [2010-08-24 08:49:47] 425*2^890726-1 is not prime. Res64: 5EE8BF8CB296124B Time : 0.0 sec. user=mdettweiler [2010-08-24 08:49:47] 521*2^890726-1 is not prime. Res64: 9663E5D9FD64223B Time : 0.0 sec. user=mdettweiler [2010-08-24 08:49:48] 563*2^890726-1 is not prime. Res64: ACB9753C29A5DA55 Time : 0.0 sec. user=mdettweiler [2010-08-24 08:49:48] 573*2^890726-1 is not prime. Res64: 1D4DCC28E58B6BD8 Time : 0.0 sec. user=mdettweiler [2010-08-24 08:49:48] 429*2^890727-1 is not prime. Res64: 36BE537DC5169E00 Time : 0.0 sec. user=mdettweiler [2010-08-24 08:50:05] 523*2^890727-1 is not prime. Res64: 65A67068792423A3 Time : 0.0 sec. user=mdettweiler [2010-08-24 08:50:05] 549*2^890727-1 is not prime. Res64: 02D0D911B69D812F Time : 0.0 sec. user=mdettweiler [2010-08-24 08:50:05] 595*2^890727-1 is not prime. Res64: ED51E19A00F1575F Time : 0.0 sec. user=mdettweiler [2010-08-24 08:53:41] 467*2^890728-1 is not prime. Res64: A3709A76ECFE0EAC Time : 0.0 sec. user=mdettweiler [2010-08-24 08:53:42] 483*2^890728-1 is not prime. Res64: 166E4E2ADCA01524 Time : 0.0 sec. user=mdettweiler [2010-08-24 08:53:42] 567*2^890728-1 is not prime. Res64: AC06C4418241B5A9 Time : 0.0 sec. user=henryzz [2010-08-24 08:56:58] 537*2^890729-1 is not prime. Res64: B47E2BC236468E62 Time : 0.0 sec. user=henryzz [2010-08-24 08:59:05] 561*2^890729-1 is not prime. Res64: C1879CC6282C4505 Time : 0.0 sec. user=henryzz [2010-08-24 09:02:54] 425*2^890730-1 is not prime. Res64: 3ED04D1B9B530F59 Time : 0.0 sec. user=henryzz [2010-08-24 09:03:36] 437*2^890730-1 is not prime. Res64: 8DB4DDBB81B03956 Time : 0.0 sec. user=henryzz [2010-08-24 09:15:30] 585*2^890733-1 is not prime. Res64: 1744107BD8953A78 Time : 0.0 sec. user=henryzz [2010-08-24 09:18:05] 453*2^890734-1 is not prime. Res64: 0C0EF4F94C7F10B4 Time : 0.0 sec. user=henryzz [2010-08-24 09:22:03] 465*2^890734-1 is not prime. Res64: E1146D4B8769208E Time : 0.0 sec. user=henryzz [2010-08-24 09:22:39] 483*2^890734-1 is not prime. Res64: 5B5D75AC8382575F Time : 0.0 sec. user=mdettweiler [2010-08-24 09:31:25] 531*2^890730-1 is not prime. Res64: 5165C95F50E173D6 Time : 0.0 sec. user=mdettweiler [2010-08-24 09:31:26] 555*2^890730-1 is not prime. Res64: 4C3768E097D5BD72 Time : 0.0 sec. user=mdettweiler [2010-08-24 09:31:26] 563*2^890730-1 is not prime. Res64: C868373D9E6B80BC Time : 0.0 sec. user=mdettweiler [2010-08-24 09:31:30] 433*2^890731-1 is not prime. Res64: FA1C4F35E42D1FB8 Time : 0.0 sec. user=mdettweiler [2010-08-24 09:31:30] 453*2^890731-1 is not prime. Res64: C40DC12980796FB6 Time : 0.0 sec. user=mdettweiler [2010-08-24 09:31:31] 595*2^890731-1 is not prime. Res64: E92BD66889F14D76 Time : 0.0 sec. user=mdettweiler [2010-08-24 09:31:42] 425*2^890732-1 is not prime. Res64: 6D734486A48A1BAD Time : 0.0 sec. user=mdettweiler [2010-08-24 09:31:43] 449*2^890732-1 is not prime. Res64: 79A91888945E0A96 Time : 0.0 sec. user=mdettweiler [2010-08-24 09:31:43] 515*2^890732-1 is not prime. Res64: D8FA10596868252C Time : 0.0 sec. user=mdettweiler [2010-08-24 09:35:23] 573*2^890732-1 is not prime. Res64: 896A3126791687F7 Time : 0.0 sec. user=mdettweiler [2010-08-24 09:35:23] 439*2^890733-1 is not prime. Res64: ADE04C0E71C1A787 Time : 0.0 sec. user=mdettweiler [2010-08-24 09:35:23] 577*2^890733-1 is not prime. Res64: 8A7F019BBDFC2DCB Time : 0.0 sec. user=henryzz [2010-08-24 09:36:53] 545*2^890734-1 is not prime. Res64: 0598BBC748A09B79 Time : 0.0 sec. user=henryzz [2010-08-24 09:37:09] 489*2^890735-1 is not prime. Res64: 2A89A2562971ABF5 Time : 0.0 sec. user=henryzz [2010-08-24 09:41:16] 473*2^890736-1 is not prime. Res64: 0210E10DF8119B77 Time : 0.0 sec. user=henryzz [2010-08-24 09:41:51] 405*2^890736-1 is not prime. Res64: CC18C6463B256D20 Time : 0.0 sec. user=henryzz [2010-08-24 09:55:48] 517*2^890741-1 is not prime. Res64: 4B427360A68FEC0C Time : 0.0 sec. user=henryzz [2010-08-24 09:57:28] 511*2^890741-1 is not prime. Res64: 0DBC23942B9B7AF2 Time : 0.0 sec. user=henryzz [2010-08-24 10:00:30] 591*2^890741-1 is not prime. Res64: 945890DEF6D073D4 Time : 0.0 sec. user=henryzz [2010-08-24 10:01:33] 513*2^890742-1 is not prime. Res64: F083A08BFEE3238A Time : 0.0 sec. user=mdettweiler [2010-08-24 10:13:09] 513*2^890736-1 is not prime. Res64: 17F43B28500DE382 Time : 0.0 sec. user=mdettweiler [2010-08-24 10:13:10] 525*2^890736-1 is not prime. Res64: E8960F7FDCD94CF3 Time : 0.0 sec. user=mdettweiler [2010-08-24 10:13:10] 587*2^890736-1 is not prime. Res64: ACC3BA0DCE8E99BC Time : 0.0 sec. user=mdettweiler [2010-08-24 10:13:11] 447*2^890737-1 is not prime. Res64: 2B86477B7E7ECA4F Time : 0.0 sec. user=mdettweiler [2010-08-24 10:13:12] 465*2^890737-1 is not prime. Res64: 8F9BB7F8034DE693 Time : 0.0 sec. user=mdettweiler [2010-08-24 10:13:12] 499*2^890737-1 is not prime. Res64: 2E95902E7C1D0D32 Time : 0.0 sec. user=mdettweiler [2010-08-24 10:13:22] 503*2^890738-1 is not prime. Res64: 427D20B9B95FEAB5 Time : 0.0 sec. user=mdettweiler [2010-08-24 10:13:23] 551*2^890738-1 is not prime. Res64: E6A089D79623DC98 Time : 0.0 sec. user=mdettweiler [2010-08-24 10:13:23] 469*2^890739-1 is not prime. Res64: 2C669CD19B68685A Time : 0.0 sec. user=henryzz [2010-08-24 10:15:04] 555*2^890742-1 is not prime. Res64: 58B7D55EB4CD9B3A Time : 0.0 sec. user=henryzz [2010-08-24 10:16:37] 441*2^890743-1 is not prime. Res64: 788E3BEFA7F40D6F Time : 0.0 sec. user=mdettweiler [2010-08-24 10:17:06] 489*2^890739-1 is not prime. Res64: 63E0BA8E5DA38944 Time : 0.0 sec. user=mdettweiler [2010-08-24 10:17:07] 567*2^890740-1 is not prime. Res64: B8B31261D800128B Time : 0.0 sec. user=mdettweiler [2010-08-24 10:17:07] 405*2^890741-1 is not prime. Res64: F9AA06ADD7438FED Time : 0.0 sec. user=henryzz [2010-08-24 10:19:24] 541*2^890743-1 is not prime. Res64: 9EDDEE6286C49DAB Time : 0.0 sec. user=henryzz [2010-08-24 10:20:17] 559*2^890743-1 is not prime. Res64: 9E7CF4B83904F09F Time : 0.0 sec. user=henryzz [2010-08-24 10:35:03] 443*2^890746-1 is not prime. Res64: A1C7551227C9E9CA Time : 0.0 sec. user=henryzz [2010-08-24 10:35:14] 425*2^890746-1 is not prime. Res64: 2BBA2147B39EDD4F Time : 0.0 sec. user=henryzz [2010-08-24 10:39:34] 435*2^890747-1 is not prime. Res64: F2DC9D63A0B366B5 Time : 0.0 sec. user=henryzz [2010-08-24 10:39:46] 521*2^890746-1 is not prime. Res64: 5054BF0A78BF454B Time : 0.0 sec. user=mdettweiler [2010-08-24 10:54:49] 437*2^890744-1 is not prime. Res64: 35F7464CC2E5856B Time : 0.0 sec. user=mdettweiler [2010-08-24 10:54:49] 459*2^890744-1 is not prime. Res64: 4F98CFA859EBC52D Time : 0.0 sec. user=mdettweiler [2010-08-24 10:54:49] 465*2^890744-1 is not prime. Res64: BEA816AA01BA037F Time : 0.0 sec. user=mdettweiler [2010-08-24 10:54:53] 473*2^890744-1 is not prime. Res64: ED3939DF23DCC751 Time : 0.0 sec. user=henryzz [2010-08-24 10:54:53] 489*2^890747-1 is not prime. Res64: A015AE85C4AA3122 Time : 0.0 sec. user=mdettweiler [2010-08-24 10:54:53] 509*2^890744-1 is not prime. Res64: 23A1FA93AAE969E5 Time : 0.0 sec. user=mdettweiler [2010-08-24 10:54:53] 429*2^890745-1 is not prime. Res64: 749337DC37AC5F0C Time : 0.0 sec. user=mdettweiler [2010-08-24 10:54:59] 469*2^890745-1 is not prime. Res64: 125E873673E96F58 Time : 0.0 sec. user=mdettweiler [2010-08-24 10:54:59] 555*2^890745-1 is not prime. Res64: 7530A7A5C7227C58 Time : 0.0 sec. user=mdettweiler [2010-08-24 10:55:00] 413*2^890746-1 is not prime. Res64: 2E7B740E50CEF039 Time : 0.0 sec. user=henryzz [2010-08-24 10:58:04] 493*2^890747-1 is not prime. Res64: DD2AB562FBB8686D Time : 0.0 sec. user=mdettweiler [2010-08-24 10:58:44] 461*2^890746-1 is not prime. Res64: 54933172693A8237 Time : 0.0 sec. user=mdettweiler [2010-08-24 10:58:45] 471*2^890746-1 is not prime. Res64: 9B0C7E668FBCAF8B Time : 0.0 sec. user=mdettweiler [2010-08-24 10:58:45] 507*2^890746-1 is not prime. Res64: 8A101EA96AE21C32 Time : 0.0 sec. user=henryzz [2010-08-24 11:00:03] 573*2^890747-1 is not prime. Res64: 3E7F1568BAAA2B9C Time : 0.0 sec. user=henryzz [2010-08-24 11:01:32] 585*2^890747-1 is not prime. Res64: 8982BC651052CB99 Time : 0.0 sec. user=henryzz [2010-08-24 11:15:31] 457*2^890749-1 is not prime. Res64: D99712E06C80BD3A Time : 0.0 sec. user=henryzz [2010-08-24 11:16:41] 585*2^890751-1 is not prime. Res64: B9D6086803C199C4 Time : 0.0 sec. user=henryzz [2010-08-24 11:19:30] 549*2^890752-1 is not prime. Res64: 1AEAC90E905E7D3E Time : 0.0 sec. user=henryzz [2010-08-24 11:21:19] 567*2^890752-1 is not prime. Res64: 9372346763F6A751 Time : 0.0 sec. user=mdettweiler [2010-08-24 11:36:24] 425*2^890748-1 is not prime. Res64: BB700098DF0FA860 Time : 0.0 sec. user=mdettweiler [2010-08-24 11:36:24] 453*2^890748-1 is not prime. Res64: 77E3E4A6D4202431 Time : 0.0 sec. user=mdettweiler [2010-08-24 11:36:25] 479*2^890748-1 is not prime. Res64: 3899469AEF3502B3 Time : 0.0 sec. user=mdettweiler [2010-08-24 11:36:33] 483*2^890748-1 is not prime. Res64: 880838D72FCA262E Time : 0.0 sec. user=mdettweiler [2010-08-24 11:36:34] 567*2^890749-1 is not prime. Res64: 8D691DB1561B704F Time : 0.0 sec. user=mdettweiler [2010-08-24 11:36:34] 415*2^890749-1 is not prime. Res64: C7CB0293A0F7D85B Time : 0.0 sec. user=mdettweiler [2010-08-24 11:36:34] 593*2^890750-1 is not prime. Res64: 206C31B97EA3C5C4 Time : 0.0 sec. user=mdettweiler [2010-08-24 11:36:34] 439*2^890749-1 is not prime. Res64: 03DD55036E60FA10 Time : 0.0 sec. user=mdettweiler [2010-08-24 11:36:34] 453*2^890751-1 is not prime. Res64: 9B64F733BA516723 Time : 0.0 sec. user=henryzz [2010-08-24 11:37:30] 411*2^890753-1 is not prime. Res64: D93ADDA328D5BE2A Time : 0.0 sec. user=henryzz [2010-08-24 11:39:57] 445*2^890753-1 is not prime. Res64: E4CCA9B4AD0E1CCE Time : 0.0 sec. user=mdettweiler [2010-08-24 11:40:24] 435*2^890752-1 is not prime. Res64: D1173CD8697C7C27 Time : 0.0 sec. user=mdettweiler [2010-08-24 11:40:25] 495*2^890752-1 is not prime. Res64: 409FF20C0F2D0334 Time : 0.0 sec. user=mdettweiler [2010-08-24 11:40:25] 537*2^890752-1 is not prime. Res64: B574895A90F1FDCC Time : 0.0 sec. user=henryzz [2010-08-24 11:41:02] 465*2^890753-1 is not prime. Res64: 3634C1330176F305 Time : 0.0 sec. user=henryzz [2010-08-24 11:44:43] 481*2^890753-1 is not prime. Res64: C243D33D2EA46205 Time : 0.0 sec. user=henryzz [2010-08-24 11:59:48] 415*2^890755-1 is not prime. Res64: 2F64A31E56892480 Time : 0.0 sec. user=henryzz [2010-08-24 12:01:49] 531*2^890755-1 is not prime. Res64: DED17C3930DA9747 Time : 0.0 sec. user=henryzz [2010-08-24 12:03:32] 475*2^890757-1 is not prime. Res64: 446D135E1FDE7F4C Time : 0.0 sec. user=henryzz [2010-08-24 12:05:46] 511*2^890757-1 is not prime. Res64: DAC3E1CD44E33458 Time : 0.0 sec. user=mdettweiler [2010-08-24 12:20:06] 495*2^890753-1 is not prime. Res64: A8405E27FDC2EE1B Time : 0.0 sec. user=mdettweiler [2010-08-24 12:20:06] 525*2^890753-1 is not prime. Res64: EC48C849955613D5 Time : 0.0 sec. user=mdettweiler [2010-08-24 12:20:06] 547*2^890753-1 is not prime. Res64: 0286A28870D6508B Time : 0.0 sec. user=mdettweiler [2010-08-24 12:20:09] 559*2^890753-1 is not prime. Res64: ADC500F0A2A3F267 Time : 0.0 sec. user=mdettweiler [2010-08-24 12:20:09] 507*2^890754-1 is not prime. Res64: C35043CED0120859 Time : 0.0 sec. user=mdettweiler [2010-08-24 12:20:09] 513*2^890754-1 is not prime. Res64: D82C4FFDDC7FA5A0 Time : 0.0 sec. user=henryzz [2010-08-24 12:20:16] 517*2^890757-1 is not prime. Res64: 6B3E75FAFAABACE4 Time : 0.0 sec. user=mdettweiler [2010-08-24 12:20:17] 573*2^890754-1 is not prime. Res64: 9C63E1A1E880330B Time : 0.0 sec. user=mdettweiler [2010-08-24 12:20:17] 593*2^890754-1 is not prime. Res64: E6DE484C4577A03E Time : 0.0 sec. user=mdettweiler [2010-08-24 12:20:18] 405*2^890755-1 is not prime. Res64: 3D94854B95FB9E62 Time : 0.0 sec. user=henryzz [2010-08-24 12:22:02] 555*2^890757-1 is not prime. Res64: 42157A336C7153BF Time : 0.0 sec. user=mdettweiler [2010-08-24 12:24:10] 589*2^890755-1 is not prime. Res64: 735399730E66024D Time : 0.0 sec. user=mdettweiler [2010-08-24 12:24:10] 495*2^890756-1 is not prime. Res64: 9F1252B66D1279AD Time : 0.0 sec. user=mdettweiler [2010-08-24 12:24:10] 503*2^890756-1 is not prime. Res64: FF7FC9722EA96D7A Time : 0.0 sec. user=henryzz [2010-08-24 12:24:20] 401*2^890758-1 is not prime. Res64: EF6053BF316C01E0 Time : 0.0 sec. user=henryzz [2010-08-24 12:26:12] 453*2^890758-1 is not prime. Res64: ED5678F955DD1DBE Time : 0.0 sec. user=mdettweiler [2010-08-24 13:04:44] 471*2^890758-1 is not prime. Res64: F1322ECA7164E984 Time : 0.0 sec. user=mdettweiler [2010-08-24 13:04:44] 491*2^890758-1 is not prime. Res64: 72C07A6AA89D7FF4 Time : 0.0 sec. user=mdettweiler [2010-08-24 13:04:45] 553*2^890759-1 is not prime. Res64: 6DAFEA03D5242A6A Time : 0.0 sec. user=mdettweiler [2010-08-24 13:05:07] 573*2^890759-1 is not prime. Res64: 590AF86B888CB7B9 Time : 0.0 sec. user=mdettweiler [2010-08-24 13:05:08] 589*2^890759-1 is not prime. Res64: 7748A2E3421F0140 Time : 0.0 sec. user=mdettweiler [2010-08-24 13:05:08] 447*2^890760-1 is not prime. Res64: 3477E633AA135FE2 Time : 0.0 sec. user=mdettweiler [2010-08-24 13:05:27] 473*2^890760-1 is not prime. Res64: B179F456A29D06AD Time : 0.0 sec. user=mdettweiler [2010-08-24 13:05:27] 503*2^890760-1 is not prime. Res64: F339487D0309A7BF Time : 0.0 sec. user=mdettweiler [2010-08-24 13:05:27] 563*2^890760-1 is not prime. Res64: 5129CF1C48082E53 Time : 0.0 sec. user=mdettweiler [2010-08-24 13:10:35] 525*2^890761-1 is not prime. Res64: ED141888C09B47FC Time : 0.0 sec. user=mdettweiler [2010-08-24 13:10:36] 541*2^890761-1 is not prime. Res64: BF962C2C0B7D0377 Time : 0.0 sec. user=mdettweiler [2010-08-24 13:10:36] 461*2^890762-1 is not prime. Res64: 45077B564B3D2942 Time : 0.0 sec. user=mdettweiler [2010-08-24 13:47:40] 551*2^890762-1 is not prime. Res64: 86C63D1548DEE8C2 Time : 0.0 sec. user=mdettweiler [2010-08-24 13:47:41] 433*2^890763-1 is not prime. Res64: 9A1978FA1B0C589C Time : 0.0 sec. user=mdettweiler [2010-08-24 13:47:41] 441*2^890763-1 is not prime. Res64: CE263E6C727439C3 Time : 0.0 sec. user=mdettweiler [2010-08-24 13:47:51] 489*2^890763-1 is not prime. Res64: 9EABF5CD471A6984 Time : 0.0 sec. user=mdettweiler [2010-08-24 13:47:51] 571*2^890763-1 is not prime. Res64: 2E5F15F401AF67FE Time : 0.0 sec. user=mdettweiler [2010-08-24 13:47:51] 591*2^890763-1 is not prime. Res64: AFC6AFEFFC3D3C7F Time : 0.0 sec. user=mdettweiler [2010-08-24 13:48:16] 533*2^890764-1 is not prime. Res64: 65A95BDEE8706088 Time : 0.0 sec. user=mdettweiler [2010-08-24 13:48:16] 549*2^890764-1 is not prime. Res64: 47C90C4A1A8193BB Time : 0.0 sec. user=mdettweiler [2010-08-24 13:48:17] 563*2^890764-1 is not prime. Res64: 930F3F9C02AC8547 Time : 0.0 sec. user=mdettweiler [2010-08-24 13:52:38] 597*2^890764-1 is not prime. Res64: DB1BA0BD9A8818B0 Time : 0.0 sec. user=mdettweiler [2010-08-24 13:52:38] 447*2^890765-1 is not prime. Res64: D21414955A8EBD65 Time : 0.0 sec. user=mdettweiler [2010-08-24 13:52:39] 459*2^890765-1 is not prime. Res64: A43A7C22BF46BFD0 Time : 0.0 sec. user=mdettweiler [2010-08-24 14:29:41] 465*2^890765-1 is not prime. Res64: 68E0A05B2D55EAA7 Time : 0.0 sec. user=mdettweiler [2010-08-24 14:29:42] 489*2^890765-1 is not prime. Res64: DE9C2BBEF5A96C68 Time : 0.0 sec. user=mdettweiler [2010-08-24 14:29:42] 579*2^890765-1 is not prime. Res64: 2091EC1DB46F1195 Time : 0.0 sec. user=mdettweiler [2010-08-24 14:30:11] 431*2^890766-1 is not prime. Res64: 6FA9917F07B1FF7A Time : 0.0 sec. user=mdettweiler [2010-08-24 14:30:11] 581*2^890766-1 is not prime. Res64: 4C32D64D26CE249D Time : 0.0 sec. user=mdettweiler [2010-08-24 14:30:11] 469*2^890767-1 is not prime. Res64: BFD5238C1376F00C Time : 0.0 sec. user=mdettweiler [2010-08-24 14:30:12] 549*2^890767-1 is not prime. Res64: CF71CE0B61A040CF Time : 0.0 sec. user=mdettweiler [2010-08-24 14:30:13] 583*2^890767-1 is not prime. Res64: 60DA93D18D426433 Time : 0.0 sec. user=mdettweiler [2010-08-24 14:30:13] 563*2^890768-1 is not prime. Res64: 440368CB73D331F5 Time : 0.0 sec. user=mdettweiler [2010-08-24 14:34:55] 559*2^890769-1 is not prime. Res64: 18E146D87BF07134 Time : 0.0 sec. user=mdettweiler [2010-08-24 14:34:55] 465*2^890770-1 is not prime. Res64: 8D5382AB01FF5F04 Time : 0.0 sec. user=mdettweiler [2010-08-24 14:34:56] 521*2^890770-1 is not prime. Res64: C7C28B3CB5C184C6 Time : 0.0 sec. user=mdettweiler [2010-08-24 15:12:05] 581*2^890770-1 is not prime. Res64: 776D332B83F08839 Time : 0.0 sec. user=mdettweiler [2010-08-24 15:12:06] 585*2^890771-1 is not prime. Res64: 41E1B47CC841562B Time : 0.0 sec. user=mdettweiler [2010-08-24 15:12:06] 591*2^890771-1 is not prime. Res64: 5EDFA4AA43318950 Time : 0.0 sec. user=mdettweiler [2010-08-24 15:12:12] 527*2^890772-1 is not prime. Res64: 2A2B19DA5FF8F426 Time : 0.0 sec. user=mdettweiler [2010-08-24 15:12:12] 557*2^890772-1 is not prime. Res64: B85F26D4AD6D1B98 Time : 0.0 sec. user=mdettweiler [2010-08-24 15:12:13] 481*2^890773-1 is not prime. Res64: 2EEAB5124A22C9C0 Time : 0.0 sec. user=mdettweiler [2010-08-24 15:12:31] 405*2^890772-1 is not prime. Res64: 4645280808DB1BFA Time : 0.0 sec. user=mdettweiler [2010-08-24 15:12:31] 425*2^890772-1 is not prime. Res64: 78C32C7BABABCE45 Time : 0.0 sec. user=mdettweiler [2010-08-24 15:12:32] 459*2^890772-1 is not prime. Res64: 1722D215B9FF094B Time : 0.0 sec. user=mdettweiler [2010-08-24 15:16:55] 517*2^890773-1 is not prime. Res64: 772B0D69F0061888 Time : 0.0 sec. user=mdettweiler [2010-08-24 15:16:56] 537*2^890773-1 is not prime. Res64: 327A8E145F88E4BB Time : 0.0 sec. user=mdettweiler [2010-08-24 15:16:56] 595*2^890773-1 is not prime. Res64: CCAB805FD0D25045 Time : 0.0 sec. user=henryzz [2010-08-24 15:24:31] 477*2^890761-1 is not prime. Res64: 6BEAF22DC8B5294E Time : 0.0 sec. user=henryzz [2010-08-24 15:26:44] 489*2^890761-1 is not prime. Res64: 5C13159E2F7D5816 Time : 0.0 sec. user=henryzz [2010-08-24 15:28:12] 525*2^890762-1 is not prime. Res64: 0D583C7AC41C74BD Time : 0.0 sec. user=henryzz [2010-08-24 15:30:22] 533*2^890762-1 is not prime. Res64: 58DC02FBDA55F43A Time : 0.0 sec. user=henryzz [2010-08-24 15:45:49] 447*2^890778-1 is not prime. Res64: A0454CE9D81FA1C5 Time : 0.0 sec. user=henryzz [2010-08-24 15:52:28] 477*2^890777-1 is not prime. Res64: F88F3CD36D20E319 Time : 0.0 sec. user=mdettweiler [2010-08-24 15:53:55] 441*2^890775-1 is not prime. Res64: 9A96E793A5731986 Time : 0.0 sec. user=mdettweiler [2010-08-24 15:53:56] 445*2^890775-1 is not prime. Res64: 67B8160D61AB6CCD Time : 0.0 sec. user=mdettweiler [2010-08-24 15:53:56] 507*2^890774-1 is not prime. Res64: 4AEA82604CB9B51C Time : 0.0 sec. user=mdettweiler [2010-08-24 15:53:56] 453*2^890775-1 is not prime. Res64: C0D542BE00C8DCA3 Time : 0.0 sec. user=mdettweiler [2010-08-24 15:53:56] 567*2^890774-1 is not prime. Res64: 3589B897357D7C03 Time : 0.0 sec. user=mdettweiler [2010-08-24 15:53:56] 411*2^890775-1 is not prime. Res64: 72F84470340E59C1 Time : 0.0 sec. user=mdettweiler [2010-08-24 15:54:14] 591*2^890775-1 is not prime. Res64: 677782FD3CEF45B5 Time : 0.0 sec. user=mdettweiler [2010-08-24 15:54:14] 455*2^890776-1 is not prime. Res64: 01FE68B46F6ABD70 Time : 0.0 sec. user=mdettweiler [2010-08-24 15:54:14] 495*2^890776-1 is not prime. Res64: BFE98411456E846D Time : 0.0 sec. user=mdettweiler [2010-08-24 15:58:41] 539*2^890776-1 is not prime. Res64: 5129914B6F0BF8C9 Time : 0.0 sec. user=mdettweiler [2010-08-24 15:58:41] 569*2^890776-1 is not prime. Res64: DD59EA21D9712E9E Time : 0.0 sec. user=mdettweiler [2010-08-24 15:58:41] 573*2^890776-1 is not prime. Res64: DEADB42C7FAC7EBF Time : 0.0 sec. user=henryzz [2010-08-24 16:09:42] 429*2^890779-1 is not prime. Res64: 3A396B84AD04779E Time : 0.0 sec. user=mdettweiler [2010-08-24 16:35:38] 447*2^890780-1 is not prime. Res64: 07D2E12E703DF086 Time : 0.0 sec. user=mdettweiler [2010-08-24 16:35:39] 459*2^890780-1 is not prime. Res64: 1BC1B9C0F7AFDF44 Time : 0.0 sec. user=mdettweiler [2010-08-24 16:35:39] 465*2^890780-1 is not prime. Res64: 3A3679F98E6E4164 Time : 0.0 sec. user=mdettweiler [2010-08-24 16:35:41] 499*2^890779-1 is not prime. Res64: B9485C789AD3B9A0 Time : 0.0 sec. user=mdettweiler [2010-08-24 16:35:41] 505*2^890779-1 is not prime. Res64: A7709D30BF4B9590 Time : 0.0 sec. user=mdettweiler [2010-08-24 16:35:41] 589*2^890779-1 is not prime. Res64: 1C3C6EC670B5909A Time : 0.0 sec. user=mdettweiler [2010-08-24 16:35:53] 467*2^890780-1 is not prime. Res64: 004D7E69E06C08AF Time : 0.0 sec. user=mdettweiler [2010-08-24 16:35:54] 479*2^890780-1 is not prime. Res64: C1146D321E96F546 Time : 0.0 sec. user=mdettweiler [2010-08-24 16:35:54] 483*2^890780-1 is not prime. Res64: 2C72C9FD3252D1AC Time : 0.0 sec. user=mdettweiler [2010-08-24 16:40:18] 579*2^890780-1 is not prime. Res64: D5CFA97B9FCEA517 Time : 0.0 sec. user=mdettweiler [2010-08-24 16:40:18] 459*2^890781-1 is not prime. Res64: 39F33A788380C874 Time : 0.0 sec. user=mdettweiler [2010-08-24 16:40:18] 517*2^890781-1 is not prime. Res64: E00D53CD61202CD8 Time : 0.0 sec. user=mdettweiler [2010-08-24 17:17:41] 483*2^890782-1 is not prime. Res64: 8B418CE503AD003E Time : 0.0 sec. user=mdettweiler [2010-08-24 17:17:41] 527*2^890782-1 is not prime. Res64: C2957AFE3C0C8FFA Time : 0.0 sec. user=mdettweiler [2010-08-24 17:17:41] 545*2^890782-1 is not prime. Res64: 885B3B94FE677871 Time : 0.0 sec. user=mdettweiler [2010-08-24 17:17:53] 561*2^890782-1 is not prime. Res64: 59DFB03847DB5CD7 Time : 0.0 sec. user=mdettweiler [2010-08-24 17:17:53] 573*2^890782-1 is not prime. Res64: 2FE8661F561B8BE4 Time : 0.0 sec. user=mdettweiler [2010-08-24 17:17:53] 445*2^890783-1 is not prime. Res64: B87FE063346B16BA Time : 0.0 sec. user=mdettweiler [2010-08-24 17:18:06] 493*2^890783-1 is not prime. Res64: 14BD2D05BEC4B2B3 Time : 0.0 sec. user=mdettweiler [2010-08-24 17:18:06] 559*2^890783-1 is not prime. Res64: E480895CA8307229 Time : 0.0 sec. user=mdettweiler [2010-08-24 17:18:06] 595*2^890783-1 is not prime. Res64: 61567AAAE30D0463 Time : 0.0 sec. user=mdettweiler [2010-08-24 17:22:26] 429*2^890784-1 is not prime. Res64: A119C615332B9608 Time : 0.0 sec. user=mdettweiler [2010-08-24 17:22:26] 513*2^890784-1 is not prime. Res64: 752BDC64B2BD5FCD Time : 0.0 sec. user=mdettweiler [2010-08-24 17:22:26] 567*2^890784-1 is not prime. Res64: A06E239B50A034AA Time : 0.0 sec. user=mdettweiler [2010-08-24 17:59:50] 587*2^890784-1 is not prime. Res64: A6602F2F135B3F17 Time : 0.0 sec. user=mdettweiler [2010-08-24 17:59:50] 597*2^890784-1 is not prime. Res64: 6828921CEB379E80 Time : 0.0 sec. user=mdettweiler [2010-08-24 17:59:51] 411*2^890785-1 is not prime. Res64: 9FB79410CD6C8315 Time : 0.0 sec. user=mdettweiler [2010-08-24 18:00:19] 477*2^890785-1 is not prime. Res64: E218D2A6B705980B Time : 0.0 sec. user=mdettweiler [2010-08-24 18:00:20] 481*2^890785-1 is not prime. Res64: 550E83CE8F9DF7EA Time : 0.0 sec. user=mdettweiler [2010-08-24 18:00:20] 565*2^890785-1 is not prime. Res64: 3A4348E9CD4A783C Time : 0.0 sec. user=mdettweiler [2010-08-24 18:00:30] 421*2^890785-1 is not prime. Res64: 53D9FEF5C2EB619A Time : 0.0 sec. user=mdettweiler [2010-08-24 18:00:30] 441*2^890785-1 is not prime. Res64: 78ADC99E7EF7A5D1 Time : 0.0 sec. user=mdettweiler [2010-08-24 18:00:30] 457*2^890785-1 is not prime. Res64: C54B7B1F7681679C Time : 0.0 sec. user=mdettweiler [2010-08-24 18:04:39] 595*2^890785-1 is not prime. Res64: 53E5273640AFBE4C Time : 0.0 sec. user=mdettweiler [2010-08-24 18:04:40] 417*2^890786-1 is not prime. Res64: 9C76B3032AE9C2F7 Time : 0.0 sec. user=mdettweiler [2010-08-24 18:04:40] 483*2^890786-1 is not prime. Res64: 87D5F3B35E197F76 Time : 0.0 sec. user=mdettweiler [2010-08-24 18:43:36] 593*2^890786-1 is not prime. Res64: 8A92C406F2F8CF15 Time : 0.0 sec. user=mdettweiler [2010-08-24 18:43:37] 471*2^890787-1 is not prime. Res64: 25F8C2C8258CE257 Time : 0.0 sec. user=mdettweiler [2010-08-24 18:43:37] 493*2^890787-1 is not prime. Res64: 0066A7F289C02DD9 Time : 0.0 sec. user=mdettweiler [2010-08-24 18:43:56] 513*2^890787-1 is not prime. Res64: 287F3CC0D3CCAC07 Time : 0.0 sec. user=mdettweiler [2010-08-24 18:43:56] 523*2^890787-1 is not prime. Res64: 2D0E96F433F433BD Time : 0.0 sec. user=mdettweiler [2010-08-24 18:43:56] 543*2^890787-1 is not prime. Res64: A346138FFEA5E61A Time : 0.0 sec. user=mdettweiler [2010-08-24 18:44:34] 595*2^890787-1 is not prime. Res64: 460D218A200243D4 Time : 0.0 sec. user=mdettweiler [2010-08-24 18:44:34] 449*2^890788-1 is not prime. Res64: F0FCDDC2D54DFADC Time : 0.0 sec. user=mdettweiler [2010-08-24 18:44:34] 497*2^890788-1 is not prime. Res64: BD91A3163F1164C5 Time : 0.0 sec. user=mdettweiler [2010-08-24 18:48:41] 533*2^890788-1 is not prime. Res64: AB50C0D0C7D519A9 Time : 0.0 sec. user=mdettweiler [2010-08-24 18:48:41] 465*2^890789-1 is not prime. Res64: 4A2A99011E95962C Time : 0.0 sec. user=mdettweiler [2010-08-24 18:48:42] 561*2^890789-1 is not prime. Res64: 0334F2D8B12E774C Time : 0.0 sec. user=mdettweiler [2010-08-24 19:25:28] 431*2^890790-1 is not prime. Res64: 5F4E71D3D5BD6E38 Time : 0.0 sec. user=mdettweiler [2010-08-24 19:25:28] 453*2^890790-1 is not prime. Res64: E272C155400C0C77 Time : 0.0 sec. user=mdettweiler [2010-08-24 19:25:29] 525*2^890790-1 is not prime. Res64: 25A247DB19CE3062 Time : 0.0 sec. user=mdettweiler [2010-08-24 19:25:49] 537*2^890790-1 is not prime. Res64: 0BBCD8CEFDDCEECD Time : 0.0 sec. user=mdettweiler [2010-08-24 19:25:50] 441*2^890791-1 is not prime. Res64: 2E820BFB19C5051D Time : 0.0 sec. user=mdettweiler [2010-08-24 19:25:50] 453*2^890791-1 is not prime. Res64: 6C02357B69A98C82 Time : 0.0 sec. user=mdettweiler [2010-08-24 19:26:27] 465*2^890791-1 is not prime. Res64: 79A5246F7E71D60A Time : 0.0 sec. user=mdettweiler [2010-08-24 19:26:27] 511*2^890791-1 is not prime. Res64: B72784A525E8547E Time : 0.0 sec. user=mdettweiler [2010-08-24 19:26:27] 531*2^890791-1 is not prime. Res64: 02B26252B875BF96 Time : 0.0 sec. user=mdettweiler [2010-08-24 19:30:21] 549*2^890791-1 is not prime. Res64: CDE0BEA2BEA193DF Time : 0.0 sec. user=mdettweiler [2010-08-24 19:30:21] 405*2^890792-1 is not prime. Res64: 3436817193399192 Time : 0.0 sec. user=mdettweiler [2010-08-24 19:30:21] 447*2^890792-1 is not prime. Res64: 65434DDE911ED031 Time : 0.0 sec. user=mdettweiler [2010-08-24 20:09:02] 479*2^890792-1 is not prime. Res64: 3AC3D92811D89FD0 Time : 0.0 sec. user=mdettweiler [2010-08-24 20:09:03] 525*2^890792-1 is not prime. Res64: 1364F6BFEC6E2BDB Time : 0.0 sec. user=mdettweiler [2010-08-24 20:09:03] 557*2^890792-1 is not prime. Res64: C034462542D7EC52 Time : 0.0 sec. user=mdettweiler [2010-08-24 20:09:21] 481*2^890793-1 is not prime. Res64: 3A342119FF34F0BA Time : 0.0 sec. user=mdettweiler [2010-08-24 20:09:22] 499*2^890793-1 is not prime. Res64: DBA8E2CDD51A19DC Time : 0.0 sec. user=mdettweiler [2010-08-24 20:09:22] 563*2^890792-1 is not prime. Res64: F623B01A956BBFA1 Time : 0.0 sec. user=mdettweiler [2010-08-24 20:09:22] 477*2^890794-1 is not prime. Res64: E99800DB1C16E8B7 Time : 0.0 sec. user=mdettweiler [2010-08-24 20:09:23] 599*2^890792-1 is not prime. Res64: B71FA8B02D9B3E27 Time : 0.0 sec. user=mdettweiler [2010-08-24 20:09:24] 441*2^890793-1 is not prime. Res64: D3FDE36F20ECFABF Time : 0.0 sec. user=mdettweiler [2010-08-24 20:14:12] 491*2^890794-1 is not prime. Res64: 62F1EE0E0A48A553 Time : 0.0 sec. user=mdettweiler [2010-08-24 20:14:12] 551*2^890794-1 is not prime. Res64: 3B6B29E6DED27BC0 Time : 0.0 sec. user=mdettweiler [2010-08-24 20:14:13] 511*2^890795-1 is not prime. Res64: 1CF5007816D0A7E7 Time : 0.0 sec. user=mdettweiler [2010-08-24 20:52:47] 523*2^890795-1 is not prime. Res64: 9237A08B11AD267F Time : 0.0 sec. user=mdettweiler [2010-08-24 20:52:48] 529*2^890795-1 is not prime. Res64: 612560BA5D98AFB5 Time : 0.0 sec. user=mdettweiler [2010-08-24 20:52:49] 405*2^890796-1 is not prime. Res64: 41B3A23B98C3C58C Time : 0.0 sec. user=mdettweiler [2010-08-24 20:52:53] 537*2^890796-1 is not prime. Res64: 123378CF8C0B905B Time : 0.0 sec. user=mdettweiler [2010-08-24 20:52:53] 439*2^890797-1 is not prime. Res64: 48515F204B89CAB0 Time : 0.0 sec. user=mdettweiler [2010-08-24 20:52:54] 447*2^890797-1 is not prime. Res64: 07B4D1B84DD4BC78 Time : 0.0 sec. user=mdettweiler [2010-08-24 20:54:42] 495*2^890797-1 is not prime. Res64: 5F30E052E04C72ED Time : 0.0 sec. user=mdettweiler [2010-08-24 20:54:42] 549*2^890797-1 is not prime. Res64: 30E7C08491F17BF0 Time : 0.0 sec. user=mdettweiler [2010-08-24 20:54:42] 567*2^890797-1 is not prime. Res64: 7159E8801261CE0D Time : 0.0 sec. user=mdettweiler [2010-08-24 20:58:22] 435*2^890798-1 is not prime. Res64: 6FB304F5EB00B86A Time : 0.0 sec. user=mdettweiler [2010-08-24 20:58:23] 473*2^890798-1 is not prime. Res64: C4EB2573D756715D Time : 0.0 sec. user=mdettweiler [2010-08-24 20:58:23] 515*2^890798-1 is not prime. Res64: FF54643A7E3D4084 Time : 0.0 sec. user=mdettweiler [2010-08-24 21:36:25] 489*2^890799-1 is not prime. Res64: 9CF0E0DF9C89A134 Time : 0.0 sec. user=mdettweiler [2010-08-24 21:36:26] 493*2^890799-1 is not prime. Res64: D8F07A054496FAEE Time : 0.0 sec. user=mdettweiler [2010-08-24 21:36:26] 549*2^890799-1 is not prime. Res64: 35EBD96F772C2655 Time : 0.0 sec. user=mdettweiler [2010-08-24 21:37:01] 563*2^890798-1 is not prime. Res64: 51621F99E0BABCE9 Time : 0.0 sec. user=mdettweiler [2010-08-24 21:37:01] 415*2^890799-1 is not prime. Res64: B68F9E5C679BD318 Time : 0.0 sec. user=mdettweiler [2010-08-24 21:37:02] 465*2^890799-1 is not prime. Res64: 61618D8573A7D37A Time : 0.0 sec. user=mdettweiler [2010-08-24 21:38:31] 573*2^890799-1 is not prime. Res64: F2AAE9481CC5B660 Time : 0.0 sec. user=mdettweiler [2010-08-24 21:38:31] 467*2^890800-1 is not prime. Res64: 32E1E3834D64525A Time : 0.0 sec. user=mdettweiler [2010-08-24 21:38:32] 569*2^890800-1 is not prime. Res64: F46B24818BC7D25B Time : 0.0 sec. user=mdettweiler [2010-08-24 21:43:03] 421*2^890801-1 is not prime. Res64: C30B4EA60507E383 Time : 0.0 sec. user=mdettweiler [2010-08-24 21:43:03] 495*2^890801-1 is not prime. Res64: 8F77C1801171A8F7 Time : 0.0 sec. user=mdettweiler [2010-08-24 21:43:03] 529*2^890801-1 is not prime. Res64: 972DED3B7FBC86F0 Time : 0.0 sec. user=mdettweiler [2010-08-24 22:18:29] 585*2^890801-1 is not prime. Res64: ADB7D8AE297C966D Time : 0.0 sec. user=mdettweiler [2010-08-24 22:18:30] 525*2^890802-1 is not prime. Res64: F4F88500F6234FDD Time : 0.0 sec. user=mdettweiler [2010-08-24 22:18:30] 551*2^890802-1 is not prime. Res64: A8D92149F17C4DBE Time : 0.0 sec. user=mdettweiler [2010-08-24 22:18:56] 573*2^890802-1 is not prime. Res64: 39958537E263D54A Time : 0.0 sec. user=mdettweiler [2010-08-24 22:18:56] 429*2^890803-1 is not prime. Res64: D631D0F34BE53068 Time : 0.0 sec. user=mdettweiler [2010-08-24 22:18:56] 433*2^890803-1 is not prime. Res64: 81BFF91DCD608C6A Time : 0.0 sec. user=mdettweiler [2010-08-24 22:20:48] 441*2^890803-1 is not prime. Res64: 94BFACD12C2AB354 Time : 0.0 sec. user=mdettweiler [2010-08-24 22:20:48] 465*2^890803-1 is not prime. Res64: BFA6230ECE5DA17A Time : 0.0 sec. user=mdettweiler [2010-08-24 22:20:48] 493*2^890803-1 is not prime. Res64: 2048CE2BBB3C4087 Time : 0.0 sec. user=mdettweiler [2010-08-24 22:25:15] 435*2^890804-1 is not prime. Res64: 85CF3C5DAD00EA41 Time : 0.0 sec. user=mdettweiler [2010-08-24 22:25:15] 533*2^890804-1 is not prime. Res64: CA94FFB8A922218F Time : 0.0 sec. user=mdettweiler [2010-08-24 22:25:15] 599*2^890804-1 is not prime. Res64: 958E0E96267D1908 Time : 0.0 sec. user=mdettweiler [2010-08-24 23:00:37] 405*2^890805-1 is not prime. Res64: D2E3F4B51DB7EA3B Time : 0.0 sec. user=mdettweiler [2010-08-24 23:00:38] 415*2^890805-1 is not prime. Res64: F66EE01BFA99F457 Time : 0.0 sec. user=mdettweiler [2010-08-24 23:00:38] 471*2^890805-1 is not prime. Res64: 1795F40F6D8763C6 Time : 0.0 sec. user=mdettweiler [2010-08-24 23:00:55] 537*2^890805-1 is not prime. Res64: 1C994A45F01D824D Time : 0.0 sec. user=mdettweiler [2010-08-24 23:00:55] 461*2^890806-1 is not prime. Res64: E4FBCEDE79A73B92 Time : 0.0 sec. user=mdettweiler [2010-08-24 23:00:55] 465*2^890806-1 is not prime. Res64: 33987315D53F47A9 Time : 0.0 sec. user=mdettweiler [2010-08-24 23:02:37] 587*2^890806-1 is not prime. Res64: FCC7A97778E9389A Time : 0.0 sec. user=mdettweiler [2010-08-24 23:02:38] 475*2^890807-1 is not prime. Res64: 10230BD21A162257 Time : 0.0 sec. user=mdettweiler [2010-08-24 23:02:38] 571*2^890807-1 is not prime. Res64: 50FC98EEF0AF21D2 Time : 0.0 sec. user=mdettweiler [2010-08-24 23:07:00] 473*2^890808-1 is not prime. Res64: 8963F6EC6501BF11 Time : 0.0 sec. user=mdettweiler [2010-08-24 23:07:00] 411*2^890809-1 is not prime. Res64: 2D6D0451E1D8B5B3 Time : 0.0 sec. user=mdettweiler [2010-08-24 23:07:01] 465*2^890809-1 is not prime. Res64: 80EB105E8FBA01D9 Time : 0.0 sec. user=mdettweiler [2010-08-24 23:42:13] 559*2^890809-1 is not prime. Res64: 90F20194445E5E7B Time : 0.0 sec. user=mdettweiler [2010-08-24 23:42:14] 423*2^890810-1 is not prime. Res64: EFC9212CF2D7DEB8 Time : 0.0 sec. user=mdettweiler [2010-08-24 23:42:14] 447*2^890810-1 is not prime. Res64: C8078761133AF2FA Time : 0.0 sec. user=mdettweiler [2010-08-24 23:42:36] 521*2^890810-1 is not prime. Res64: 3E281EE04EE4AB44 Time : 0.0 sec. user=mdettweiler [2010-08-24 23:42:36] 567*2^890810-1 is not prime. Res64: 1F12F150832C6BBF Time : 0.0 sec. user=mdettweiler [2010-08-24 23:42:37] 529*2^890811-1 is not prime. Res64: 3A7694A73539DE95 Time : 0.0 sec. user=mdettweiler [2010-08-24 23:44:18] 405*2^890812-1 is not prime. Res64: 2C4D284B96D494B6 Time : 0.0 sec. user=mdettweiler [2010-08-24 23:44:18] 419*2^890812-1 is not prime. Res64: A50896E869AF7F03 Time : 0.0 sec. user=mdettweiler [2010-08-24 23:44:18] 483*2^890812-1 is not prime. Res64: AD7A09F0EA7FDC92 Time : 0.0 sec. user=mdettweiler [2010-08-24 23:48:35] 489*2^890812-1 is not prime. Res64: F2D81EF3AA8AA99C Time : 0.0 sec. user=mdettweiler [2010-08-24 23:48:35] 435*2^890813-1 is not prime. Res64: 05EEA061240DEA97 Time : 0.0 sec. user=mdettweiler [2010-08-24 23:48:35] 445*2^890813-1 is not prime. Res64: 5053EB25330BF596 Time : 0.0 sec.