user=mdettweiler [2010-10-14 00:05:38] 591*2^911361-1 is not prime. Res64: B2E9CCBA46473E99 Time : 0.0 sec. user=mdettweiler [2010-10-14 00:05:38] 453*2^911362-1 is not prime. Res64: AA4A72BB75712792 Time : 0.0 sec. user=Sloth [2010-10-14 00:09:38] 489*2^911364-1 is not prime. Res64: 055014EB6CEEC192 Time : 0.0 sec. user=Sloth [2010-10-14 00:10:13] 503*2^911364-1 is not prime. Res64: A513046B177ACDDF Time : 0.0 sec. user=mdettweiler [2010-10-14 00:15:09] 445*2^911363-1 is not prime. Res64: 4CF066428076F9D0 Time : 0.0 sec. user=mdettweiler [2010-10-14 00:15:09] 511*2^911363-1 is not prime. Res64: F6FAB5C972AB8859 Time : 0.0 sec. user=mdettweiler [2010-10-14 00:15:57] 549*2^911363-1 is not prime. Res64: 05D42450937A3A9B Time : 0.0 sec. user=mdettweiler [2010-10-14 00:15:57] 595*2^911363-1 is not prime. Res64: FF4A6A5671187DD0 Time : 0.0 sec. user=mdettweiler [2010-10-14 00:17:14] 413*2^911364-1 is not prime. Res64: 2E8B1154C51958A0 Time : 0.0 sec. user=mdettweiler [2010-10-14 00:17:14] 483*2^911364-1 is not prime. Res64: 9EC46576D8F0DFD1 Time : 0.0 sec. user=Sloth [2010-10-14 00:27:32] 411*2^911365-1 is not prime. Res64: A42BFDD0C76C5FC5 Time : 0.0 sec. user=Sloth [2010-10-14 00:28:06] 421*2^911365-1 is not prime. Res64: A09626810DA8CFA5 Time : 0.0 sec. user=mdettweiler [2010-10-14 00:36:35] 563*2^911364-1 is not prime. Res64: 8A0C0E5A4ABF93C7 Time : 0.0 sec. user=mdettweiler [2010-10-14 00:36:35] 405*2^911365-1 is not prime. Res64: 1654FCD3CD9F47A5 Time : 0.0 sec. user=Sloth [2010-10-14 00:45:24] 507*2^911366-1 is not prime. Res64: 1C54E6EAD8AE6934 Time : 0.0 sec. user=mdettweiler [2010-10-14 00:45:57] 451*2^911365-1 is not prime. Res64: 64E5EB5FA3AB44D0 Time : 0.0 sec. user=mdettweiler [2010-10-14 00:45:57] 469*2^911365-1 is not prime. Res64: 981758E5BE482B59 Time : 0.0 sec. user=Sloth [2010-10-14 00:46:02] 441*2^911367-1 is not prime. Res64: 5128F1E68B069BEA Time : 0.0 sec. user=mdettweiler [2010-10-14 00:46:46] 477*2^911365-1 is not prime. Res64: CE6BDCD902AD47A6 Time : 0.0 sec. user=mdettweiler [2010-10-14 00:46:47] 555*2^911365-1 is not prime. Res64: 87A99ABBF8C2F189 Time : 0.0 sec. user=mdettweiler [2010-10-14 00:48:05] 591*2^911365-1 is not prime. Res64: FA04A3B5D3050CC8 Time : 0.0 sec. user=mdettweiler [2010-10-14 00:48:05] 405*2^911366-1 is not prime. Res64: AAB9082269E4B6B0 Time : 0.0 sec. user=Sloth [2010-10-14 01:03:17] 579*2^911367-1 is not prime. Res64: 333E7875277C562C Time : 0.0 sec. user=Sloth [2010-10-14 01:03:56] 571*2^911369-1 is not prime. Res64: 8C99D70C67AB0D88 Time : 0.0 sec. user=mdettweiler [2010-10-14 01:07:08] 471*2^911367-1 is not prime. Res64: 0F3E5AA142CE07BE Time : 0.0 sec. user=mdettweiler [2010-10-14 01:07:08] 483*2^911367-1 is not prime. Res64: 409705F0AEAA7C70 Time : 0.0 sec. user=henryzz [2010-10-14 01:12:14] 501*2^911303-1 is not prime. Res64: D0787276E0FAF768 Time : 0.0 sec. user=marco.bs [2010-10-14 01:16:32] 531*2^911361-1 is not prime. Res64: B9AF618D68F60F52 Time : 0.0 sec. user=mdettweiler [2010-10-14 01:16:39] 419*2^911368-1 is not prime. Res64: 2B1D4D10ADAA47C1 Time : 0.0 sec. user=marco.bs [2010-10-14 01:16:40] 517*2^911361-1 is not prime. Res64: BC66264FD10B17AC Time : 0.0 sec. user=mdettweiler [2010-10-14 01:16:40] 469*2^911369-1 is not prime. Res64: 7C29AB3A20DA489C Time : 0.0 sec. user=mdettweiler [2010-10-14 01:17:17] 579*2^911369-1 is not prime. Res64: 4015EDCDE2568198 Time : 0.0 sec. user=mdettweiler [2010-10-14 01:17:18] 417*2^911370-1 is not prime. Res64: E65B26A8B6E4EC0A Time : 0.0 sec. user=mdettweiler [2010-10-14 01:18:45] 453*2^911370-1 is not prime. Res64: 64279DACA2EE23EC Time : 0.0 sec. user=mdettweiler [2010-10-14 01:18:45] 537*2^911370-1 is not prime. Res64: 2782B1E7BA910E4B Time : 0.0 sec. user=Sloth [2010-10-14 01:21:47] 585*2^911370-1 is not prime. Res64: 881ABF5928581712 Time : 0.0 sec. user=Sloth [2010-10-14 01:22:03] 493*2^911371-1 is not prime. Res64: 6BCE16464E5689D3 Time : 0.0 sec. user=henryzz [2010-10-14 01:22:59] 511*2^911303-1 is not prime. Res64: CD69ECA3431BA440 Time : 0.0 sec. user=henryzz [2010-10-14 01:28:05] 425*2^911304-1 is not prime. Res64: 22FFFC19EF722859 Time : 0.0 sec. user=henryzz [2010-10-14 01:30:40] 525*2^911304-1 is not prime. Res64: 1B1F8F54DB5F3E97 Time : 0.0 sec. user=henryzz [2010-10-14 01:37:12] 447*2^911372-1 is not prime. Res64: 062A7CD43E37B402 Time : 0.0 sec. user=mdettweiler [2010-10-14 01:37:34] 405*2^911372-1 is not prime. Res64: A0F36AA5019BE3E0 Time : 0.0 sec. user=mdettweiler [2010-10-14 01:37:34] 425*2^911372-1 is not prime. Res64: 1AA59BA7080A238A Time : 0.0 sec. user=Sloth [2010-10-14 01:39:40] 521*2^911374-1 is not prime. Res64: 10C497A09E3354DF Time : 0.0 sec. user=Sloth [2010-10-14 01:39:56] 533*2^911374-1 is not prime. Res64: DF13E68243DB371D Time : 0.0 sec. user=mdettweiler [2010-10-14 01:47:07] 525*2^911373-1 is not prime. Res64: 3466F8E6B482DEBE Time : 0.0 sec. user=mdettweiler [2010-10-14 01:47:07] 549*2^911373-1 is not prime. Res64: 3F41D3CDDE42CE8F Time : 0.0 sec. user=mdettweiler [2010-10-14 01:47:45] 591*2^911373-1 is not prime. Res64: 14064DE05E619D49 Time : 0.0 sec. user=mdettweiler [2010-10-14 01:47:45] 401*2^911374-1 is not prime. Res64: C94C47EE34850173 Time : 0.0 sec. user=mdettweiler [2010-10-14 01:49:11] 447*2^911374-1 is not prime. Res64: C863B2AB8103E744 Time : 0.0 sec. user=mdettweiler [2010-10-14 01:49:12] 513*2^911374-1 is not prime. Res64: 93EBCB5695A27915 Time : 0.0 sec. user=Sloth [2010-10-14 01:57:33] 587*2^911376-1 is not prime. Res64: BC7A9CCAC3E0423D Time : 0.0 sec. user=Sloth [2010-10-14 01:57:49] 427*2^911377-1 is not prime. Res64: E8D655879879162D Time : 0.0 sec. user=marco.bs [2010-10-14 01:58:58] 537*2^911372-1 is not prime. Res64: DF0863B6CB1C05AC Time : 0.0 sec. user=marco.bs [2010-10-14 02:01:44] 577*2^911373-1 is not prime. Res64: 94C0A39F32CFC739 Time : 0.0 sec. user=mdettweiler [2010-10-14 02:08:57] 453*2^911376-1 is not prime. Res64: BCB9B1C35AD487C4 Time : 0.0 sec. user=mdettweiler [2010-10-14 02:08:57] 525*2^911376-1 is not prime. Res64: DAE2BF83A3E6330C Time : 0.0 sec. user=Sloth [2010-10-14 02:16:05] 533*2^911378-1 is not prime. Res64: 2EDFBBF736CFD851 Time : 0.0 sec. user=Sloth [2010-10-14 02:16:22] 551*2^911378-1 is not prime. Res64: 12F06BD339A29B68 Time : 0.0 sec. user=mdettweiler [2010-10-14 02:19:29] 511*2^911377-1 is not prime. Res64: 60F60735649726A4 Time : 0.0 sec. user=mdettweiler [2010-10-14 02:19:30] 473*2^911378-1 is not prime. Res64: BD5899E188581DB1 Time : 0.0 sec. user=mdettweiler [2010-10-14 02:19:43] 441*2^911377-1 is not prime. Res64: 60F4885E209BB513 Time : 0.0 sec. user=mdettweiler [2010-10-14 02:19:44] 495*2^911377-1 is not prime. Res64: 6D9FE4002AE34B50 Time : 0.0 sec. user=mdettweiler [2010-10-14 02:37:04] 495*2^911378-1 is not prime. Res64: D8C2EEB210D8804B Time : 0.0 sec. user=mdettweiler [2010-10-14 02:37:05] 503*2^911378-1 is not prime. Res64: EEFEEBE0E96849E2 Time : 0.0 sec. user=marco.bs [2010-10-14 02:41:59] 403*2^911379-1 is not prime. Res64: 416C105A4B7AC6F9 Time : 0.0 sec. user=marco.bs [2010-10-14 02:49:41] 573*2^911379-1 is not prime. Res64: 1C0B238CDB50FB7B Time : 0.0 sec. user=mdettweiler [2010-10-14 02:52:14] 579*2^911379-1 is not prime. Res64: C67EAB26259140A9 Time : 0.0 sec. user=mdettweiler [2010-10-14 02:52:15] 583*2^911379-1 is not prime. Res64: 9D7357BE8E84FEE4 Time : 0.0 sec. user=mdettweiler [2010-10-14 02:52:50] 527*2^911380-1 is not prime. Res64: ABEBAC0DC9B76CA5 Time : 0.0 sec. user=mdettweiler [2010-10-14 02:52:51] 549*2^911380-1 is not prime. Res64: B30A33151DE7193F Time : 0.0 sec. user=mdettweiler [2010-10-14 02:52:56] 507*2^911381-1 is not prime. Res64: F0F92D1C0C8813FE Time : 0.0 sec. user=mdettweiler [2010-10-14 02:52:56] 517*2^911381-1 is not prime. Res64: A5750C951E2E9EF9 Time : 0.0 sec. user=mdettweiler [2010-10-14 03:07:23] 401*2^911382-1 is not prime. Res64: 1D9124C5AE39DDEF Time : 0.0 sec. user=mdettweiler [2010-10-14 03:07:23] 471*2^911382-1 is not prime. Res64: DA8118157724E62A Time : 0.0 sec. user=mdettweiler [2010-10-14 03:22:29] 555*2^911382-1 is not prime. Res64: BEF194DD920D54CB Time : 0.0 sec. user=mdettweiler [2010-10-14 03:22:29] 587*2^911382-1 is not prime. Res64: 91D156B23A46D214 Time : 0.0 sec. user=mdettweiler [2010-10-14 03:23:04] 411*2^911383-1 is not prime. Res64: B76E3D8999471137 Time : 0.0 sec. user=mdettweiler [2010-10-14 03:23:04] 439*2^911383-1 is not prime. Res64: B71C175216F2FBA8 Time : 0.0 sec. user=mdettweiler [2010-10-14 03:23:10] 489*2^911383-1 is not prime. Res64: 20385E5C7DE065A5 Time : 0.0 sec. user=mdettweiler [2010-10-14 03:23:10] 541*2^911383-1 is not prime. Res64: 2FA32519A5DCB63F Time : 0.0 sec. user=marco.bs [2010-10-14 03:33:09] 551*2^911382-1 is not prime. Res64: 21F6D311EB04794E Time : 0.0 sec. user=marco.bs [2010-10-14 03:34:40] 503*2^911382-1 is not prime. Res64: A80868B58DBB81F2 Time : 0.0 sec. user=mdettweiler [2010-10-14 03:37:45] 437*2^911384-1 is not prime. Res64: 7682993445A9E963 Time : 0.0 sec. user=mdettweiler [2010-10-14 03:37:46] 465*2^911384-1 is not prime. Res64: 0C8AF2545D15E346 Time : 0.0 sec. user=mdettweiler [2010-10-14 03:52:44] 405*2^911385-1 is not prime. Res64: D537EF394088CF3F Time : 0.0 sec. user=mdettweiler [2010-10-14 03:52:45] 427*2^911385-1 is not prime. Res64: 19673BAF887ACABE Time : 0.0 sec. user=mdettweiler [2010-10-14 03:53:22] 495*2^911385-1 is not prime. Res64: 5185D320B123D625 Time : 0.0 sec. user=mdettweiler [2010-10-14 03:53:22] 411*2^911386-1 is not prime. Res64: DB460D85A9E0E608 Time : 0.0 sec. user=mdettweiler [2010-10-14 03:53:28] 413*2^911386-1 is not prime. Res64: 2C1AA0FF5A158888 Time : 0.0 sec. user=mdettweiler [2010-10-14 03:53:28] 443*2^911386-1 is not prime. Res64: 7F3ABA99498250DB Time : 0.0 sec. user=mdettweiler [2010-10-14 04:08:03] 581*2^911386-1 is not prime. Res64: AF7A806720FF9E32 Time : 0.0 sec. user=mdettweiler [2010-10-14 04:08:03] 587*2^911386-1 is not prime. Res64: 0F82178AF6EAB73D Time : 0.0 sec. user=marco.bs [2010-10-14 04:13:51] 495*2^911386-1 is not prime. Res64: CE4AD4585FE55168 Time : 0.0 sec. user=marco.bs [2010-10-14 04:15:44] 497*2^911386-1 is not prime. Res64: AA02B9CF1F65E1D8 Time : 0.0 sec. user=mdettweiler [2010-10-14 04:23:00] 439*2^911387-1 is not prime. Res64: 148CC2B104FAF1F3 Time : 0.0 sec. user=mdettweiler [2010-10-14 04:23:01] 465*2^911387-1 is not prime. Res64: 1B2D9EB70C2D7734 Time : 0.0 sec. user=mdettweiler [2010-10-14 04:23:39] 475*2^911387-1 is not prime. Res64: FAD42949F6A5F091 Time : 0.0 sec. user=mdettweiler [2010-10-14 04:23:40] 549*2^911387-1 is not prime. Res64: D6AC71030A3AF874 Time : 0.0 sec. user=mdettweiler [2010-10-14 04:23:45] 545*2^911388-1 is not prime. Res64: 788D4983DB77DA68 Time : 0.0 sec. user=mdettweiler [2010-10-14 04:23:46] 585*2^911388-1 is not prime. Res64: 1022B405DFEFCB82 Time : 0.0 sec. user=mdettweiler [2010-10-14 04:38:23] 435*2^911389-1 is not prime. Res64: CF89BB9F51FA6257 Time : 0.0 sec. user=mdettweiler [2010-10-14 04:38:24] 555*2^911389-1 is not prime. Res64: 1CF4E7B5F7D7728E Time : 0.0 sec. user=mdettweiler [2010-10-14 04:53:18] 437*2^911390-1 is not prime. Res64: 5008B7E053C6326F Time : 0.0 sec. user=mdettweiler [2010-10-14 04:53:18] 405*2^911391-1 is not prime. Res64: 2A376EBD450899DC Time : 0.0 sec. user=mdettweiler [2010-10-14 04:53:57] 415*2^911391-1 is not prime. Res64: E6665CB01D1D2641 Time : 0.0 sec. user=mdettweiler [2010-10-14 04:53:57] 465*2^911391-1 is not prime. Res64: EB4F1D12E63704E5 Time : 0.0 sec. user=mdettweiler [2010-10-14 04:53:58] 579*2^911391-1 is not prime. Res64: A4F35DAD3396EBE0 Time : 0.0 sec. user=mdettweiler [2010-10-14 04:53:58] 527*2^911392-1 is not prime. Res64: C505FFF1262A7469 Time : 0.0 sec. user=marco.bs [2010-10-14 04:55:01] 411*2^911390-1 is not prime. Res64: BED14D163E4F38EB Time : 0.0 sec. user=marco.bs [2010-10-14 04:57:33] 417*2^911390-1 is not prime. Res64: 3C7C84665303CC16 Time : 0.0 sec. user=mdettweiler [2010-10-14 05:08:41] 445*2^911393-1 is not prime. Res64: ED61AF27CA93D305 Time : 0.0 sec. user=mdettweiler [2010-10-14 05:08:41] 421*2^911395-1 is not prime. Res64: 249FD60C392C30B4 Time : 0.0 sec. user=mdettweiler [2010-10-14 05:23:34] 463*2^911395-1 is not prime. Res64: CD02371C277DBBB2 Time : 0.0 sec. user=mdettweiler [2010-10-14 05:23:34] 469*2^911395-1 is not prime. Res64: 61D884E17B58B10A Time : 0.0 sec. user=mdettweiler [2010-10-14 05:24:07] 471*2^911395-1 is not prime. Res64: 22F40748E4D791C2 Time : 0.0 sec. user=mdettweiler [2010-10-14 05:24:07] 489*2^911395-1 is not prime. Res64: 3579905658886B5F Time : 0.0 sec. user=mdettweiler [2010-10-14 05:24:13] 535*2^911395-1 is not prime. Res64: 0636FEC662D35FCF Time : 0.0 sec. user=mdettweiler [2010-10-14 05:24:13] 503*2^911396-1 is not prime. Res64: 265D31197BC4D488 Time : 0.0 sec. user=marco.bs [2010-10-14 05:38:17] 587*2^911396-1 is not prime. Res64: 59ED5F5221ED539C Time : 0.0 sec. user=mdettweiler [2010-10-14 05:39:14] 441*2^911397-1 is not prime. Res64: 4560A75AA389CA26 Time : 0.0 sec. user=mdettweiler [2010-10-14 05:39:14] 447*2^911397-1 is not prime. Res64: D20E8CD7DD6D5399 Time : 0.0 sec. user=marco.bs [2010-10-14 05:39:31] 593*2^911396-1 is not prime. Res64: 42C670D9A48D881A Time : 0.0 sec. user=mdettweiler [2010-10-14 05:53:51] 413*2^911398-1 is not prime. Res64: EAD61F38BE4609AA Time : 0.0 sec. user=mdettweiler [2010-10-14 05:53:51] 461*2^911398-1 is not prime. Res64: B171CF26DC349C83 Time : 0.0 sec. user=mdettweiler [2010-10-14 05:54:23] 435*2^911399-1 is not prime. Res64: 6895A204953C5E8B Time : 0.0 sec. user=mdettweiler [2010-10-14 05:54:23] 439*2^911399-1 is not prime. Res64: F6DFF55347195A9C Time : 0.0 sec. user=mdettweiler [2010-10-14 05:54:29] 545*2^911398-1 is not prime. Res64: 8C60A347BF6700CF Time : 0.0 sec. user=mdettweiler [2010-10-14 05:54:29] 561*2^911398-1 is not prime. Res64: 43AF085E913D4373 Time : 0.0 sec. user=mdettweiler [2010-10-14 06:09:31] 565*2^911399-1 is not prime. Res64: 2F93E0E051E81D53 Time : 0.0 sec. user=mdettweiler [2010-10-14 06:09:32] 579*2^911399-1 is not prime. Res64: 963564FC7B7A2102 Time : 0.0 sec. user=marco.bs [2010-10-14 06:19:56] 523*2^911399-1 is not prime. Res64: 28EA4A30DCD035C8 Time : 0.0 sec. user=marco.bs [2010-10-14 06:20:18] 595*2^911399-1 is not prime. Res64: 90551EED5502CBBE Time : 0.0 sec. user=mdettweiler [2010-10-14 06:24:10] 413*2^911400-1 is not prime. Res64: 84BFFD48BCAF6B42 Time : 0.0 sec. user=mdettweiler [2010-10-14 06:24:10] 557*2^911400-1 is not prime. Res64: 1DF10B430605ADA1 Time : 0.0 sec. user=mdettweiler [2010-10-14 06:24:41] 447*2^911401-1 is not prime. Res64: AF8D68213DF71C68 Time : 0.0 sec. user=mdettweiler [2010-10-14 06:24:41] 465*2^911401-1 is not prime. Res64: 7660EAAEBA713E88 Time : 0.0 sec. user=mdettweiler [2010-10-14 06:24:42] 597*2^911400-1 is not prime. Res64: 59C71469FA8C79A4 Time : 0.0 sec. user=mdettweiler [2010-10-14 06:24:42] 427*2^911401-1 is not prime. Res64: CCEAB2772B5ADC30 Time : 0.0 sec. user=mdettweiler [2010-10-14 06:39:55] 535*2^911401-1 is not prime. Res64: 3AD0CB83F63C2C44 Time : 0.0 sec. user=mdettweiler [2010-10-14 06:39:55] 407*2^911402-1 is not prime. Res64: 56DB2C7989E0A35A Time : 0.0 sec. user=mdettweiler [2010-10-14 06:54:32] 503*2^911402-1 is not prime. Res64: F22E04F00B079C89 Time : 0.0 sec. user=mdettweiler [2010-10-14 06:54:32] 561*2^911402-1 is not prime. Res64: C4F4BF9023FFA314 Time : 0.0 sec. user=mdettweiler [2010-10-14 06:54:59] 429*2^911403-1 is not prime. Res64: 11EBB89C413095CE Time : 0.0 sec. user=mdettweiler [2010-10-14 06:54:59] 523*2^911403-1 is not prime. Res64: B290D187B246D853 Time : 0.0 sec. user=mdettweiler [2010-10-14 06:55:05] 563*2^911402-1 is not prime. Res64: CE30D33AF2E6B48D Time : 0.0 sec. user=mdettweiler [2010-10-14 06:55:05] 411*2^911403-1 is not prime. Res64: 2F91A888D4FCBCDD Time : 0.0 sec. user=marco.bs [2010-10-14 07:09:08] 477*2^911402-1 is not prime. Res64: 192E466A5DAE6775 Time : 0.0 sec. user=mdettweiler [2010-10-14 07:10:14] 541*2^911403-1 is not prime. Res64: 16C913A2B59021E3 Time : 0.0 sec. user=mdettweiler [2010-10-14 07:10:14] 429*2^911404-1 is not prime. Res64: 2E472D04935329E8 Time : 0.0 sec. user=marco.bs [2010-10-14 07:15:17] 495*2^911402-1 is not prime. Res64: 319A9217BCFA686F Time : 0.0 sec. user=mdettweiler [2010-10-14 07:24:53] 479*2^911404-1 is not prime. Res64: BC494F827EB69FA9 Time : 0.0 sec. user=mdettweiler [2010-10-14 07:24:54] 495*2^911404-1 is not prime. Res64: 1F8A61CA1205709C Time : 0.0 sec. user=mdettweiler [2010-10-14 07:25:18] 421*2^911405-1 is not prime. Res64: 783A0D714B67CC17 Time : 0.0 sec. user=mdettweiler [2010-10-14 07:25:18] 507*2^911404-1 is not prime. Res64: 410D537F4E34FB18 Time : 0.0 sec. user=mdettweiler [2010-10-14 07:25:19] 459*2^911405-1 is not prime. Res64: C0F64974FC8CBF73 Time : 0.0 sec. user=mdettweiler [2010-10-14 07:25:19] 539*2^911404-1 is not prime. Res64: E126AF9B06E33209 Time : 0.0 sec. user=mdettweiler [2010-10-14 07:40:33] 579*2^911405-1 is not prime. Res64: FAB4B9DB01CBD1B0 Time : 0.0 sec. user=mdettweiler [2010-10-14 07:40:33] 437*2^911406-1 is not prime. Res64: 6815F2A05F69AE7C Time : 0.0 sec. user=mdettweiler [2010-10-14 07:55:12] 591*2^911406-1 is not prime. Res64: 7B63B7F953DB5550 Time : 0.0 sec. user=mdettweiler [2010-10-14 07:55:12] 433*2^911407-1 is not prime. Res64: B3431C16262F5882 Time : 0.0 sec. user=mdettweiler [2010-10-14 07:55:36] 511*2^911407-1 is not prime. Res64: 6E5F444F1593ED08 Time : 0.0 sec. user=mdettweiler [2010-10-14 07:55:36] 493*2^911407-1 is not prime. Res64: 8516270D5F2AAC30 Time : 0.0 sec. user=mdettweiler [2010-10-14 07:55:36] 519*2^911407-1 is not prime. Res64: 9D4274C4348C1210 Time : 0.0 sec. user=mdettweiler [2010-10-14 07:55:36] 559*2^911407-1 is not prime. Res64: F79A9E8F2C12837A Time : 0.0 sec. user=mdettweiler [2010-10-14 08:10:52] 579*2^911407-1 is not prime. Res64: 07A2CB3947B3E8A2 Time : 0.0 sec. user=mdettweiler [2010-10-14 08:10:53] 459*2^911408-1 is not prime. Res64: E7A6BBC2AFA1BB12 Time : 0.0 sec. user=mdettweiler [2010-10-14 08:25:29] 585*2^911408-1 is not prime. Res64: 0CB1EBC3EBE4B3A7 Time : 0.0 sec. user=mdettweiler [2010-10-14 08:25:29] 507*2^911409-1 is not prime. Res64: 5C0038DAAF52A064 Time : 0.0 sec. user=mdettweiler [2010-10-14 08:25:52] 549*2^911409-1 is not prime. Res64: 220D9C7A557AA999 Time : 0.0 sec. user=mdettweiler [2010-10-14 08:25:52] 513*2^911410-1 is not prime. Res64: 6111EF22AAF92E0D Time : 0.0 sec. user=mdettweiler [2010-10-14 08:25:58] 545*2^911410-1 is not prime. Res64: 8E55FBC764E1CE9B Time : 0.0 sec. user=mdettweiler [2010-10-14 08:25:58] 561*2^911410-1 is not prime. Res64: 83449FDEBE367685 Time : 0.0 sec. user=marco.bs [2010-10-14 08:35:48] 529*2^911405-1 is not prime. Res64: DFA13325CD26883F Time : 0.0 sec. user=mdettweiler [2010-10-14 08:41:11] 587*2^911410-1 is not prime. Res64: F6299145AA2E669F Time : 0.0 sec. user=mdettweiler [2010-10-14 08:41:11] 403*2^911411-1 is not prime. Res64: D7F31F8D67215468 Time : 0.0 sec. user=marco.bs [2010-10-14 08:42:48] 581*2^911406-1 is not prime. Res64: 21D49999E3849A74 Time : 0.0 sec. user=mdettweiler [2010-10-14 08:55:46] 579*2^911411-1 is not prime. Res64: 8F24C514DE774F57 Time : 0.0 sec. user=mdettweiler [2010-10-14 08:55:47] 585*2^911411-1 is not prime. Res64: 6E41BEE1B0022810 Time : 0.0 sec. user=mdettweiler [2010-10-14 08:56:07] 405*2^911412-1 is not prime. Res64: 364D40ADCF37C3EE Time : 0.0 sec. user=mdettweiler [2010-10-14 08:56:08] 423*2^911412-1 is not prime. Res64: B1240B8A8112A05F Time : 0.0 sec. user=mdettweiler [2010-10-14 08:56:13] 425*2^911412-1 is not prime. Res64: 3035F8FFBC18FE55 Time : 0.0 sec. user=mdettweiler [2010-10-14 08:56:14] 485*2^911412-1 is not prime. Res64: E3ADA11F1FEB5EE8 Time : 0.0 sec. user=mdettweiler [2010-10-14 09:11:28] 555*2^911412-1 is not prime. Res64: FE214F831650DF19 Time : 0.0 sec. user=mdettweiler [2010-10-14 09:11:29] 477*2^911413-1 is not prime. Res64: 5F7C6BF8EC020507 Time : 0.0 sec. user=mdettweiler [2010-10-14 09:26:05] 489*2^911413-1 is not prime. Res64: 0C15AF8718877B06 Time : 0.0 sec. user=mdettweiler [2010-10-14 09:26:05] 499*2^911413-1 is not prime. Res64: 565F10B851C10589 Time : 0.0 sec. user=mdettweiler [2010-10-14 09:26:25] 559*2^911413-1 is not prime. Res64: 6405ACB9F58F63E0 Time : 0.0 sec. user=mdettweiler [2010-10-14 09:26:25] 407*2^911414-1 is not prime. Res64: A12FB6746781BCB4 Time : 0.0 sec. user=mdettweiler [2010-10-14 09:26:30] 447*2^911414-1 is not prime. Res64: CFBB3E18E421319F Time : 0.0 sec. user=mdettweiler [2010-10-14 09:26:31] 473*2^911414-1 is not prime. Res64: 9F806EF1050589BF Time : 0.0 sec. user=mdettweiler [2010-10-14 09:41:50] 545*2^911414-1 is not prime. Res64: C032F0C317A24EFB Time : 0.0 sec. user=mdettweiler [2010-10-14 09:41:51] 563*2^911414-1 is not prime. Res64: D4A1750C2CB13A0D Time : 0.0 sec. user=marco.bs [2010-10-14 09:55:41] 481*2^911413-1 is not prime. Res64: 8F1EF198C3C01765 Time : 0.0 sec. user=mdettweiler [2010-10-14 09:56:20] 453*2^911415-1 is not prime. Res64: F4DCC63693B5029D Time : 0.0 sec. user=mdettweiler [2010-10-14 09:56:20] 493*2^911415-1 is not prime. Res64: FB1CF705AB865418 Time : 0.0 sec. user=mdettweiler [2010-10-14 09:56:40] 511*2^911415-1 is not prime. Res64: 20B739F604C4C50E Time : 0.0 sec. user=mdettweiler [2010-10-14 09:56:41] 465*2^911416-1 is not prime. Res64: 9EDDC568B9F5CEAD Time : 0.0 sec. user=mdettweiler [2010-10-14 09:56:46] 485*2^911416-1 is not prime. Res64: 739D65D515CE42C3 Time : 0.0 sec. user=mdettweiler [2010-10-14 09:56:46] 495*2^911416-1 is not prime. Res64: A58093580AA914E9 Time : 0.0 sec. user=marco.bs [2010-10-14 10:01:20] 549*2^911412-1 is not prime. Res64: 34761D9873926071 Time : 0.0 sec. user=mdettweiler [2010-10-14 10:12:08] 405*2^911417-1 is not prime. Res64: 7EA4978061BC5D66 Time : 0.0 sec. user=mdettweiler [2010-10-14 10:12:08] 475*2^911417-1 is not prime. Res64: 4D81C51EA1136545 Time : 0.0 sec. user=mdettweiler [2010-10-14 10:26:42] 559*2^911417-1 is not prime. Res64: 5A226EA9A8E3F0AC Time : 0.0 sec. user=mdettweiler [2010-10-14 10:26:43] 567*2^911417-1 is not prime. Res64: DC52A73FE2DFC402 Time : 0.0 sec. user=mdettweiler [2010-10-14 10:26:59] 495*2^911418-1 is not prime. Res64: 2F6230C1FFDF4DE7 Time : 0.0 sec. user=mdettweiler [2010-10-14 10:26:59] 573*2^911418-1 is not prime. Res64: D888DD2B0518BD22 Time : 0.0 sec. user=mdettweiler [2010-10-14 10:27:05] 585*2^911417-1 is not prime. Res64: 07404F32E61DE1FB Time : 0.0 sec. user=mdettweiler [2010-10-14 10:27:06] 447*2^911418-1 is not prime. Res64: 15219B603C728FE4 Time : 0.0 sec. user=mdettweiler [2010-10-14 10:42:34] 511*2^911419-1 is not prime. Res64: 71B1E185481E0FFD Time : 0.0 sec. user=mdettweiler [2010-10-14 10:42:34] 573*2^911419-1 is not prime. Res64: 2B05A17BF8D37C58 Time : 0.0 sec. user=mdettweiler [2010-10-14 10:57:01] 583*2^911419-1 is not prime. Res64: 775601775D7A3706 Time : 0.0 sec. user=mdettweiler [2010-10-14 10:57:01] 449*2^911420-1 is not prime. Res64: EF6D82E3B0FA2CE6 Time : 0.0 sec. user=mdettweiler [2010-10-14 10:57:27] 465*2^911420-1 is not prime. Res64: 056D664F05DC7270 Time : 0.0 sec. user=mdettweiler [2010-10-14 10:57:27] 477*2^911420-1 is not prime. Res64: F9A8AC522FEC0240 Time : 0.0 sec. user=mdettweiler [2010-10-14 10:57:33] 599*2^911420-1 is not prime. Res64: 87E8DBA58A1DCD50 Time : 0.0 sec. user=mdettweiler [2010-10-14 10:57:33] 451*2^911421-1 is not prime. Res64: E51FA05933027FB6 Time : 0.0 sec. user=henryzz [2010-10-14 11:09:34] 545*2^911374-1 is not prime. Res64: 9252962B0F06B4B2 Time : 0.0 sec. user=mdettweiler [2010-10-14 11:12:54] 507*2^911421-1 is not prime. Res64: AC473DA5AC580567 Time : 0.0 sec. user=mdettweiler [2010-10-14 11:12:54] 577*2^911421-1 is not prime. Res64: 585556EF9254E108 Time : 0.0 sec. user=henryzz [2010-10-14 11:15:25] 573*2^911375-1 is not prime. Res64: 224C7957EA3D8899 Time : 0.0 sec. user=henryzz [2010-10-14 11:19:39] 531*2^911375-1 is not prime. Res64: 3CFBA04F2D03147B Time : 0.0 sec. user=marco.bs [2010-10-14 11:24:30] 441*2^911419-1 is not prime. Res64: 25A6D512E88EA1ED Time : 0.0 sec. user=mdettweiler [2010-10-14 11:27:19] 401*2^911422-1 is not prime. Res64: F84E85449A985AA6 Time : 0.0 sec. user=mdettweiler [2010-10-14 11:27:20] 483*2^911422-1 is not prime. Res64: CCC473EB8FCB92CC Time : 0.0 sec. user=mdettweiler [2010-10-14 11:27:43] 481*2^911423-1 is not prime. Res64: F789E016BFD5E107 Time : 0.0 sec. user=mdettweiler [2010-10-14 11:27:43] 519*2^911423-1 is not prime. Res64: 28F980E0D3702244 Time : 0.0 sec. user=mdettweiler [2010-10-14 11:27:49] 491*2^911422-1 is not prime. Res64: AF0F551D56B70A56 Time : 0.0 sec. user=mdettweiler [2010-10-14 11:27:49] 555*2^911422-1 is not prime. Res64: 524DBE067047FEC8 Time : 0.0 sec. user=henryzz [2010-10-14 11:28:16] 425*2^911376-1 is not prime. Res64: C8B569BA99089C15 Time : 0.0 sec. user=henryzz [2010-10-14 11:33:31] 549*2^911423-1 is not prime. Res64: 706D589405A35C66 Time : 0.0 sec. user=henryzz [2010-10-14 11:38:42] 569*2^911424-1 is not prime. Res64: F3A9E526CE1DF3EC Time : 0.0 sec. user=marco.bs [2010-10-14 11:40:40] 549*2^911417-1 is not prime. Res64: 267940767684FABD Time : 0.0 sec. user=mdettweiler [2010-10-14 11:43:11] 503*2^911424-1 is not prime. Res64: 64A5B6AE3DB4A0A7 Time : 0.0 sec. user=mdettweiler [2010-10-14 11:43:11] 513*2^911424-1 is not prime. Res64: 6B888CD920572164 Time : 0.0 sec. user=henryzz [2010-10-14 11:44:22] 409*2^911425-1 is not prime. Res64: E0D3E057B7F83135 Time : 0.0 sec. user=henryzz [2010-10-14 11:50:51] 453*2^911427-1 is not prime. Res64: 5B85A6BEB40229AA Time : 0.0 sec. user=henryzz [2010-10-14 11:55:11] 471*2^911427-1 is not prime. Res64: 36CE026E87406AEF Time : 0.0 sec. user=mdettweiler [2010-10-14 11:57:39] 525*2^911425-1 is not prime. Res64: 94E195D81A556509 Time : 0.0 sec. user=mdettweiler [2010-10-14 11:57:40] 531*2^911425-1 is not prime. Res64: 781BFB60807D3DE0 Time : 0.0 sec. user=mdettweiler [2010-10-14 11:57:59] 545*2^911426-1 is not prime. Res64: A090FCA772B1D3C7 Time : 0.0 sec. user=mdettweiler [2010-10-14 11:58:00] 405*2^911427-1 is not prime. Res64: 818ADB32415114CF Time : 0.0 sec. user=mdettweiler [2010-10-14 11:58:00] 561*2^911425-1 is not prime. Res64: 1B2374F745FD43FB Time : 0.0 sec. user=mdettweiler [2010-10-14 11:58:00] 483*2^911426-1 is not prime. Res64: 1FEBC2179C95464B Time : 0.0 sec. user=henryzz [2010-10-14 12:00:42] 489*2^911427-1 is not prime. Res64: 4CE6107EDFE562CC Time : 0.0 sec. user=henryzz [2010-10-14 12:04:47] 565*2^911427-1 is not prime. Res64: 48B61A073FFD7F8B Time : 0.0 sec. user=mdettweiler [2010-10-14 12:13:52] 523*2^911427-1 is not prime. Res64: 524F9B081EADE56D Time : 0.0 sec. user=mdettweiler [2010-10-14 12:13:52] 529*2^911427-1 is not prime. Res64: C9BD8EEC8D56A4AA Time : 0.0 sec. user=henryzz [2010-10-14 12:16:20] 573*2^911427-1 is not prime. Res64: 2E2ED2A19BDDC0EC Time : 0.0 sec. user=marco.bs [2010-10-14 12:19:40] 415*2^911425-1 is not prime. Res64: C4FDE8C235AF04F5 Time : 0.0 sec. user=henryzz [2010-10-14 12:22:55] 543*2^911430-1 is not prime. Res64: 2C6948123DFDF8F5 Time : 0.0 sec. user=henryzz [2010-10-14 12:26:11] 563*2^911430-1 is not prime. Res64: 2BBBA017517E7C8C Time : 0.0 sec. user=henryzz [2010-10-14 12:28:33] 429*2^911428-1 is not prime. Res64: 438B41E23A2C3EAB Time : 0.0 sec. user=mdettweiler [2010-10-14 12:28:39] 519*2^911428-1 is not prime. Res64: 4140BBD0BEF59ACF Time : 0.0 sec. user=mdettweiler [2010-10-14 12:28:39] 527*2^911428-1 is not prime. Res64: D253395BA286AA5B Time : 0.0 sec. user=mdettweiler [2010-10-14 12:28:52] 573*2^911428-1 is not prime. Res64: F6A62F531CC237D7 Time : 0.0 sec. user=mdettweiler [2010-10-14 12:28:52] 451*2^911429-1 is not prime. Res64: D54632CDE840D9ED Time : 0.0 sec. user=mdettweiler [2010-10-14 12:29:32] 459*2^911429-1 is not prime. Res64: 3020001569EE3857 Time : 0.0 sec. user=mdettweiler [2010-10-14 12:29:32] 487*2^911429-1 is not prime. Res64: F4B03419E2B88E01 Time : 0.0 sec. user=marco.bs [2010-10-14 12:29:56] 511*2^911427-1 is not prime. Res64: F39A3F466F71CEF7 Time : 0.0 sec. user=mdettweiler [2010-10-14 12:45:26] 581*2^911430-1 is not prime. Res64: A84CB56D118DFE2A Time : 0.0 sec. user=mdettweiler [2010-10-14 12:45:26] 415*2^911431-1 is not prime. Res64: 74CD07BB1EEBE2C8 Time : 0.0 sec. user=henryzz [2010-10-14 12:45:33] 421*2^911431-1 is not prime. Res64: C103A84366420F79 Time : 0.0 sec. user=henryzz [2010-10-14 12:46:46] 511*2^911431-1 is not prime. Res64: 2C9C260601DA9413 Time : 0.0 sec. user=henryzz [2010-10-14 12:47:45] 525*2^911431-1 is not prime. Res64: C4BAD463D1BA03DE Time : 0.0 sec. user=henryzz [2010-10-14 12:51:36] 489*2^911432-1 is not prime. Res64: B770AD9AD3AEBDA2 Time : 0.0 sec. user=mdettweiler [2010-10-14 12:59:58] 413*2^911432-1 is not prime. Res64: A769411D0BF72997 Time : 0.0 sec. user=mdettweiler [2010-10-14 12:59:58] 435*2^911432-1 is not prime. Res64: 7AB556D7EB2165B1 Time : 0.0 sec. user=mdettweiler [2010-10-14 13:00:04] 441*2^911433-1 is not prime. Res64: A0AB5547494D4EFF Time : 0.0 sec. user=mdettweiler [2010-10-14 13:00:05] 491*2^911434-1 is not prime. Res64: BDE7979145C9B88D Time : 0.0 sec. user=marco.bs [2010-10-14 13:00:27] 453*2^911431-1 is not prime. Res64: 02796C59AFE96241 Time : 0.0 sec. user=mdettweiler [2010-10-14 13:00:35] 575*2^911434-1 is not prime. Res64: 4420FBA81E4A2B9D Time : 0.0 sec. user=mdettweiler [2010-10-14 13:00:35] 409*2^911435-1 is not prime. Res64: 12C8A9E2C7E563C9 Time : 0.0 sec. user=henryzz [2010-10-14 13:07:12] 473*2^911436-1 is not prime. Res64: E581CDDAD00FFE0F Time : 0.0 sec. user=henryzz [2010-10-14 13:08:43] 497*2^911436-1 is not prime. Res64: 143471214C0BCF73 Time : 0.0 sec. user=henryzz [2010-10-14 13:10:35] 515*2^911436-1 is not prime. Res64: B0743AD02603A923 Time : 0.0 sec. user=marco.bs [2010-10-14 13:12:59] 531*2^911435-1 is not prime. Res64: 0607ED7B11CB7BED Time : 0.0 sec. user=henryzz [2010-10-14 13:13:29] 527*2^911436-1 is not prime. Res64: DE5F9DD45B45E1F6 Time : 0.0 sec. user=mdettweiler [2010-10-14 13:16:01] 591*2^911435-1 is not prime. Res64: 80BBAC08D955D3AC Time : 0.0 sec. user=mdettweiler [2010-10-14 13:16:01] 413*2^911436-1 is not prime. Res64: 68476B155AB15208 Time : 0.0 sec. user=henryzz [2010-10-14 13:29:17] 433*2^911439-1 is not prime. Res64: 2200B211D31DF0D3 Time : 0.0 sec. user=henryzz [2010-10-14 13:29:35] 501*2^911439-1 is not prime. Res64: B07DD2156612AE3E Time : 0.0 sec. user=mdettweiler [2010-10-14 13:30:27] 421*2^911437-1 is not prime. Res64: 3B25385B889A4802 Time : 0.0 sec. user=mdettweiler [2010-10-14 13:30:28] 451*2^911437-1 is not prime. Res64: E0D530B584841C7A Time : 0.0 sec. user=mdettweiler [2010-10-14 13:30:35] 477*2^911437-1 is not prime. Res64: F07DD13FC166C890 Time : 0.0 sec. user=mdettweiler [2010-10-14 13:30:36] 557*2^911438-1 is not prime. Res64: 69FA944FF1C1A0D4 Time : 0.0 sec. user=mdettweiler [2010-10-14 13:30:59] 585*2^911438-1 is not prime. Res64: 650A58292441D9E6 Time : 0.0 sec. user=mdettweiler [2010-10-14 13:31:00] 423*2^911439-1 is not prime. Res64: BF0F18B70A2DC376 Time : 0.0 sec. user=henryzz [2010-10-14 13:39:13] 573*2^911439-1 is not prime. Res64: 6644CCC5335CFC99 Time : 0.0 sec. user=marco.bs [2010-10-14 13:40:37] 567*2^911438-1 is not prime. Res64: 00EFC2A710030F3C Time : 0.0 sec. user=henryzz [2010-10-14 13:41:38] 479*2^911440-1 is not prime. Res64: FDF5A63D30181F72 Time : 0.0 sec. user=henryzz [2010-10-14 13:46:07] 441*2^911441-1 is not prime. Res64: EBC3480387E4A345 Time : 0.0 sec. user=mdettweiler [2010-10-14 13:46:27] 519*2^911440-1 is not prime. Res64: BAB7F04D37C004B5 Time : 0.0 sec. user=mdettweiler [2010-10-14 13:46:27] 525*2^911440-1 is not prime. Res64: EAE26124DF55A262 Time : 0.0 sec. user=henryzz [2010-10-14 13:46:39] 465*2^911441-1 is not prime. Res64: D9DE4FB253638A88 Time : 0.0 sec. user=marco.bs [2010-10-14 13:56:54] 467*2^911440-1 is not prime. Res64: B988145C78C9F5CB Time : 0.0 sec. user=henryzz [2010-10-14 13:59:49] 429*2^911443-1 is not prime. Res64: C2E492E36C50CA93 Time : 0.0 sec. user=henryzz [2010-10-14 13:59:55] 557*2^911444-1 is not prime. Res64: 84E0444822F26D9F Time : 0.0 sec. user=mdettweiler [2010-10-14 14:00:54] 517*2^911441-1 is not prime. Res64: C1B1F76D176DE4CD Time : 0.0 sec. user=mdettweiler [2010-10-14 14:00:54] 571*2^911441-1 is not prime. Res64: 35E4D8AD35CE43F7 Time : 0.0 sec. user=mdettweiler [2010-10-14 14:01:07] 417*2^911442-1 is not prime. Res64: C47EB8D4B883666F Time : 0.0 sec. user=mdettweiler [2010-10-14 14:01:07] 423*2^911442-1 is not prime. Res64: 3807E68E15145C8D Time : 0.0 sec. user=mdettweiler [2010-10-14 14:01:29] 447*2^911442-1 is not prime. Res64: 190FE3A4FCF2C0B0 Time : 0.0 sec. user=mdettweiler [2010-10-14 14:01:29] 585*2^911442-1 is not prime. Res64: ADB5C99E7EC34C1F Time : 0.0 sec. user=henryzz [2010-10-14 14:04:39] 599*2^911444-1 is not prime. Res64: DFA0639894C51D4C Time : 0.0 sec. user=henryzz [2010-10-14 14:05:11] 577*2^911445-1 is not prime. Res64: 4DD3B2098661CE6B Time : 0.0 sec. user=mdettweiler [2010-10-14 14:16:59] 451*2^911445-1 is not prime. Res64: 5543039156AA575F Time : 0.0 sec. user=mdettweiler [2010-10-14 14:17:00] 565*2^911445-1 is not prime. Res64: 5737E25BC4899C4E Time : 0.0 sec. user=henryzz [2010-10-14 14:18:20] 483*2^911446-1 is not prime. Res64: C7E86824F125D5BA Time : 0.0 sec. user=henryzz [2010-10-14 14:19:02] 471*2^911446-1 is not prime. Res64: 6CFB8786B8555911 Time : 0.0 sec. user=marco.bs [2010-10-14 14:21:25] 503*2^911444-1 is not prime. Res64: B4F13AD99EA8A680 Time : 0.0 sec. user=henryzz [2010-10-14 14:24:07] 421*2^911449-1 is not prime. Res64: 9F4D7168AA6C5A6A Time : 0.0 sec. user=henryzz [2010-10-14 14:25:13] 435*2^911449-1 is not prime. Res64: F9F4DE0E46BE2A94 Time : 0.0 sec. user=mdettweiler [2010-10-14 14:31:46] 511*2^911447-1 is not prime. Res64: A6FD8A296554AE97 Time : 0.0 sec. user=mdettweiler [2010-10-14 14:31:47] 543*2^911447-1 is not prime. Res64: B9BF437940142A67 Time : 0.0 sec. user=mdettweiler [2010-10-14 14:31:53] 495*2^911446-1 is not prime. Res64: 38CA86FC42F32C4E Time : 0.0 sec. user=mdettweiler [2010-10-14 14:31:53] 465*2^911447-1 is not prime. Res64: 18684246B0FD0C02 Time : 0.0 sec. user=mdettweiler [2010-10-14 14:32:32] 429*2^911448-1 is not prime. Res64: 3204E932020659F1 Time : 0.0 sec. user=mdettweiler [2010-10-14 14:32:32] 503*2^911448-1 is not prime. Res64: F1A94E470C3E9AC6 Time : 0.0 sec. user=henryzz [2010-10-14 14:38:36] 595*2^911449-1 is not prime. Res64: A5D9906FEF0C412B Time : 0.0 sec. user=henryzz [2010-10-14 14:39:27] 431*2^911450-1 is not prime. Res64: 0FDFF057AB713970 Time : 0.0 sec. user=henryzz [2010-10-14 14:44:04] 439*2^911451-1 is not prime. Res64: DAEB60ECAD29BABA Time : 0.0 sec. user=marco.bs [2010-10-14 14:44:20] 461*2^911446-1 is not prime. Res64: 8598BBDE53E7F41B Time : 0.0 sec. user=henryzz [2010-10-14 14:45:56] 483*2^911451-1 is not prime. Res64: 06D515F052914093 Time : 0.0 sec. user=mdettweiler [2010-10-14 14:47:37] 471*2^911449-1 is not prime. Res64: B82BEE7B589EB0A0 Time : 0.0 sec. user=mdettweiler [2010-10-14 14:47:37] 547*2^911449-1 is not prime. Res64: 287676CF3E399C2B Time : 0.0 sec. user=henryzz [2010-10-14 14:58:47] 425*2^911454-1 is not prime. Res64: 5F7D5657949696A0 Time : 0.0 sec. user=henryzz [2010-10-14 15:00:00] 485*2^911454-1 is not prime. Res64: ACF7354056E3D4D8 Time : 0.0 sec. user=mdettweiler [2010-10-14 15:02:18] 511*2^911451-1 is not prime. Res64: 12F13AF3FFF6E30B Time : 0.0 sec. user=mdettweiler [2010-10-14 15:02:19] 455*2^911452-1 is not prime. Res64: 81D6376A97964083 Time : 0.0 sec. user=mdettweiler [2010-10-14 15:02:27] 527*2^911452-1 is not prime. Res64: A59F1BD984AAC555 Time : 0.0 sec. user=mdettweiler [2010-10-14 15:02:43] 441*2^911453-1 is not prime. Res64: AD4A14C87C46E131 Time : 0.0 sec. user=mdettweiler [2010-10-14 15:03:03] 549*2^911453-1 is not prime. Res64: 4F8DE9E9E4BBFB0B Time : 0.0 sec. user=mdettweiler [2010-10-14 15:03:04] 571*2^911453-1 is not prime. Res64: 4102895EB5B86D73 Time : 0.0 sec. user=henryzz [2010-10-14 15:04:32] 507*2^911454-1 is not prime. Res64: B8BC4DFBC06057C7 Time : 0.0 sec. user=henryzz [2010-10-14 15:06:21] 527*2^911454-1 is not prime. Res64: 9236E7853CD8E851 Time : 0.0 sec. user=marco.bs [2010-10-14 15:06:46] 405*2^911451-1 is not prime. Res64: 69BB5DE78EDA205C Time : 0.0 sec. user=mdettweiler [2010-10-14 15:18:09] 567*2^911454-1 is not prime. Res64: 9AF0D8FFDC2C3CE7 Time : 0.0 sec. user=mdettweiler [2010-10-14 15:18:09] 519*2^911455-1 is not prime. Res64: B4018ACFA02094C3 Time : 0.0 sec. user=henryzz [2010-10-14 15:19:49] 531*2^911455-1 is not prime. Res64: 0D686AC992C1E3D5 Time : 0.0 sec. user=henryzz [2010-10-14 15:20:39] 595*2^911455-1 is not prime. Res64: 636CA031049A435E Time : 0.0 sec. user=henryzz [2010-10-14 15:25:17] 549*2^911457-1 is not prime. Res64: 4317D2EAF56C8A0B Time : 0.0 sec. user=mdettweiler [2010-10-14 15:33:07] 405*2^911456-1 is not prime. Res64: 0102977B7491FB04 Time : 0.0 sec. user=mdettweiler [2010-10-14 15:33:08] 417*2^911456-1 is not prime. Res64: EA5B3A2001A88699 Time : 0.0 sec. user=mdettweiler [2010-10-14 15:33:20] 503*2^911456-1 is not prime. Res64: 31330575447412DA Time : 0.0 sec. user=mdettweiler [2010-10-14 15:33:21] 525*2^911456-1 is not prime. Res64: 53A771E7439F0D98 Time : 0.0 sec. user=mdettweiler [2010-10-14 15:33:35] 585*2^911456-1 is not prime. Res64: 64EF10BB13E5AA1E Time : 0.0 sec. user=mdettweiler [2010-10-14 15:33:35] 501*2^911457-1 is not prime. Res64: 78B1D36DCF2869D0 Time : 0.0 sec. user=marco.bs [2010-10-14 15:45:32] 435*2^911458-1 is not prime. Res64: 96AB8544AE0843B2 Time : 0.0 sec. user=mdettweiler [2010-10-14 15:48:45] 453*2^911458-1 is not prime. Res64: 7DB65B5CDDCEE00E Time : 0.0 sec. user=mdettweiler [2010-10-14 15:48:46] 461*2^911458-1 is not prime. Res64: 122D77CC5C254264 Time : 0.0 sec. user=mdettweiler [2010-10-14 16:03:38] 561*2^911458-1 is not prime. Res64: 6F78C07B2FE1033C Time : 0.0 sec. user=mdettweiler [2010-10-14 16:03:39] 445*2^911459-1 is not prime. Res64: 8D69AF2FB4D28389 Time : 0.0 sec. user=mdettweiler [2010-10-14 16:03:48] 505*2^911459-1 is not prime. Res64: EDE55D451380A154 Time : 0.0 sec. user=mdettweiler [2010-10-14 16:03:58] 523*2^911459-1 is not prime. Res64: 9590A0D99BEA1951 Time : 0.0 sec. user=mdettweiler [2010-10-14 16:04:11] 413*2^911460-1 is not prime. Res64: 175088D9BE04DFF7 Time : 0.0 sec. user=mdettweiler [2010-10-14 16:04:12] 479*2^911460-1 is not prime. Res64: 9FBBC27BFC0EFCCE Time : 0.0 sec. user=mdettweiler [2010-10-14 16:19:17] 567*2^911460-1 is not prime. Res64: 65FEF8947A96A8E7 Time : 0.0 sec. user=mdettweiler [2010-10-14 16:19:17] 597*2^911460-1 is not prime. Res64: 70F028DB8D49B011 Time : 0.0 sec. user=mdettweiler [2010-10-14 16:34:26] 405*2^911461-1 is not prime. Res64: 5D157C30E06CCC7F Time : 0.0 sec. user=mdettweiler [2010-10-14 16:34:26] 427*2^911461-1 is not prime. Res64: A6E36A98704297C0 Time : 0.0 sec. user=mdettweiler [2010-10-14 16:34:39] 477*2^911461-1 is not prime. Res64: 0884130C77A4CFB4 Time : 0.0 sec. user=mdettweiler [2010-10-14 16:34:39] 439*2^911461-1 is not prime. Res64: 37BA69FB5BCDC275 Time : 0.0 sec. user=mdettweiler [2010-10-14 16:34:39] 511*2^911461-1 is not prime. Res64: 747A64040FB7309E Time : 0.0 sec. user=mdettweiler [2010-10-14 16:34:40] 471*2^911461-1 is not prime. Res64: A29D82F3B3CD1D8B Time : 0.0 sec. user=mdettweiler [2010-10-14 16:49:51] 547*2^911461-1 is not prime. Res64: E32BB2C75C928B9E Time : 0.0 sec. user=mdettweiler [2010-10-14 16:49:51] 577*2^911461-1 is not prime. Res64: D64A154873A2CBB8 Time : 0.0 sec. user=mdettweiler [2010-10-14 17:04:57] 405*2^911462-1 is not prime. Res64: 76811392171F2F29 Time : 0.0 sec. user=mdettweiler [2010-10-14 17:04:57] 467*2^911462-1 is not prime. Res64: 3E6CF105E190CCC4 Time : 0.0 sec. user=mdettweiler [2010-10-14 17:05:10] 411*2^911463-1 is not prime. Res64: 10064855249BE21D Time : 0.0 sec. user=mdettweiler [2010-10-14 17:05:14] 563*2^911462-1 is not prime. Res64: 59559D2C5657DDBA Time : 0.0 sec. user=mdettweiler [2010-10-14 17:05:14] 447*2^911464-1 is not prime. Res64: D46310146074D95E Time : 0.0 sec. user=mdettweiler [2010-10-14 17:05:14] 587*2^911462-1 is not prime. Res64: 8B6B4BF2395904ED Time : 0.0 sec. user=Sloth [2010-10-14 17:17:05] 595*2^911379-1 is not prime. Res64: C7EB44FA5A3932EF Time : 0.0 sec. user=Sloth [2010-10-14 17:17:11] 489*2^911380-1 is not prime. Res64: 4DFDC29DB0BDC05F Time : 0.0 sec. user=mdettweiler [2010-10-14 17:20:29] 485*2^911464-1 is not prime. Res64: 7451DCFA5A670A88 Time : 0.0 sec. user=mdettweiler [2010-10-14 17:20:29] 507*2^911464-1 is not prime. Res64: 9C70D8B6F3703DAE Time : 0.0 sec. user=Sloth [2010-10-14 17:34:54] 565*2^911465-1 is not prime. Res64: 7C0CEFDEF73A7034 Time : 0.0 sec. user=Sloth [2010-10-14 17:35:01] 595*2^911465-1 is not prime. Res64: A32D3E00753C5822 Time : 0.0 sec. user=mdettweiler [2010-10-14 17:35:48] 539*2^911464-1 is not prime. Res64: 0CA2AE881302D17E Time : 0.0 sec. user=mdettweiler [2010-10-14 17:35:49] 567*2^911464-1 is not prime. Res64: E5882B8251102141 Time : 0.0 sec. user=mdettweiler [2010-10-14 17:35:56] 575*2^911464-1 is not prime. Res64: FFA1DFCB7CCF0041 Time : 0.0 sec. user=mdettweiler [2010-10-14 17:35:57] 597*2^911464-1 is not prime. Res64: 3676479824EF47AB Time : 0.0 sec. user=mdettweiler [2010-10-14 17:35:57] 447*2^911465-1 is not prime. Res64: 9B1F11D1E637542E Time : 0.0 sec. user=mdettweiler [2010-10-14 17:35:58] 487*2^911465-1 is not prime. Res64: E6F4A8C6CEBB3A71 Time : 0.0 sec. user=mdettweiler [2010-10-14 17:51:42] 417*2^911466-1 is not prime. Res64: DE000A061883584E Time : 0.0 sec. user=mdettweiler [2010-10-14 17:51:42] 453*2^911466-1 is not prime. Res64: B9A924455D18EC63 Time : 0.0 sec. user=Sloth [2010-10-14 17:52:41] 497*2^911466-1 is not prime. Res64: 403FE51048096196 Time : 0.0 sec. user=Sloth [2010-10-14 17:52:51] 507*2^911466-1 is not prime. Res64: DA2226B6DD4FB413 Time : 0.0 sec. user=mdettweiler [2010-10-14 18:07:18] 563*2^911466-1 is not prime. Res64: 3263F284B9FC588E Time : 0.0 sec. user=mdettweiler [2010-10-14 18:07:19] 429*2^911467-1 is not prime. Res64: 679A7D96FFAD6D45 Time : 0.0 sec. user=mdettweiler [2010-10-14 18:07:38] 433*2^911467-1 is not prime. Res64: 98A3C1F77F92D294 Time : 0.0 sec. user=mdettweiler [2010-10-14 18:07:38] 489*2^911467-1 is not prime. Res64: B398328BE65DBB2E Time : 0.0 sec. user=mdettweiler [2010-10-14 18:07:59] 531*2^911467-1 is not prime. Res64: 92269CDB7C83817D Time : 0.0 sec. user=mdettweiler [2010-10-14 18:07:59] 405*2^911468-1 is not prime. Res64: BFE5A5304139C56A Time : 0.0 sec. user=Sloth [2010-10-14 18:10:29] 457*2^911469-1 is not prime. Res64: 7A48667DEAFCF45C Time : 0.0 sec. user=Sloth [2010-10-14 18:10:42] 465*2^911469-1 is not prime. Res64: BCADA83B38A1D5D4 Time : 0.0 sec. user=mdettweiler [2010-10-14 18:23:29] 479*2^911468-1 is not prime. Res64: 4843B2D92957C45D Time : 0.0 sec. user=mdettweiler [2010-10-14 18:23:30] 567*2^911468-1 is not prime. Res64: CD01431321E4CEA4 Time : 0.0 sec. user=Sloth [2010-10-14 18:28:15] 511*2^911471-1 is not prime. Res64: AB6B1ACBEB8B479F Time : 0.0 sec. user=Sloth [2010-10-14 18:28:29] 525*2^911471-1 is not prime. Res64: 47F87130B980A545 Time : 0.0 sec. user=mdettweiler [2010-10-14 18:39:31] 453*2^911470-1 is not prime. Res64: F949DB38A46BF30C Time : 0.0 sec. user=mdettweiler [2010-10-14 18:39:31] 475*2^911471-1 is not prime. Res64: 8E82BFEE9325D7C7 Time : 0.0 sec. user=mdettweiler [2010-10-14 18:39:31] 455*2^911470-1 is not prime. Res64: 26EF8D4105E594E7 Time : 0.0 sec. user=mdettweiler [2010-10-14 18:39:31] 489*2^911471-1 is not prime. Res64: B703237B77B81D71 Time : 0.0 sec. user=mdettweiler [2010-10-14 18:39:46] 483*2^911470-1 is not prime. Res64: 74AB4398E016DC1C Time : 0.0 sec. user=mdettweiler [2010-10-14 18:39:46] 555*2^911470-1 is not prime. Res64: EC5F7A54E41AA64F Time : 0.0 sec. user=Sloth [2010-10-14 18:46:03] 507*2^911473-1 is not prime. Res64: 7EAA1118A74B8337 Time : 0.0 sec. user=Sloth [2010-10-14 18:46:16] 597*2^911473-1 is not prime. Res64: 2447295955088271 Time : 0.0 sec. user=mdettweiler [2010-10-14 18:55:03] 441*2^911473-1 is not prime. Res64: 5394089D130CCE36 Time : 0.0 sec. user=mdettweiler [2010-10-14 18:55:04] 465*2^911473-1 is not prime. Res64: FD2368F0F39A2554 Time : 0.0 sec. user=Sloth [2010-10-14 19:03:50] 553*2^911475-1 is not prime. Res64: F3D63D544F2FB121 Time : 0.0 sec. user=Sloth [2010-10-14 19:04:04] 563*2^911476-1 is not prime. Res64: 099DEA5037969B33 Time : 0.0 sec. user=mdettweiler [2010-10-14 19:10:50] 411*2^911474-1 is not prime. Res64: 4C387332A2621741 Time : 0.0 sec. user=mdettweiler [2010-10-14 19:10:51] 575*2^911474-1 is not prime. Res64: 9490EDF5BE5B9AC0 Time : 0.0 sec. user=mdettweiler [2010-10-14 19:11:10] 453*2^911475-1 is not prime. Res64: 64DD2F091D3B1F4B Time : 0.0 sec. user=mdettweiler [2010-10-14 19:11:11] 529*2^911475-1 is not prime. Res64: 1A2B1323C0F0B505 Time : 0.0 sec. user=mdettweiler [2010-10-14 19:11:21] 405*2^911475-1 is not prime. Res64: 47B97467E63A1235 Time : 0.0 sec. user=mdettweiler [2010-10-14 19:11:21] 411*2^911475-1 is not prime. Res64: 656419E0C3C91FFE Time : 0.0 sec. user=Sloth [2010-10-14 19:21:49] 443*2^911478-1 is not prime. Res64: 70F747429D6B4316 Time : 0.0 sec. user=Sloth [2010-10-14 19:22:10] 483*2^911478-1 is not prime. Res64: 367433BB7B9C9D2E Time : 0.0 sec. user=mdettweiler [2010-10-14 19:26:15] 529*2^911477-1 is not prime. Res64: 26B0C7F0F9888028 Time : 0.0 sec. user=mdettweiler [2010-10-14 19:26:15] 437*2^911478-1 is not prime. Res64: 4B65A94B0AA0B3E1 Time : 0.0 sec. user=Sloth [2010-10-14 19:39:35] 471*2^911479-1 is not prime. Res64: 524F2E5140A8BF12 Time : 0.0 sec. user=Sloth [2010-10-14 19:39:58] 523*2^911479-1 is not prime. Res64: 64E15AF643BECB0D Time : 0.0 sec. user=mdettweiler [2010-10-14 19:41:43] 507*2^911478-1 is not prime. Res64: BD982E2AD87912A4 Time : 0.0 sec. user=mdettweiler [2010-10-14 19:41:44] 513*2^911478-1 is not prime. Res64: D824EDAE39302267 Time : 0.0 sec. user=mdettweiler [2010-10-14 19:42:13] 441*2^911479-1 is not prime. Res64: D0D370F9CF7B88DE Time : 0.0 sec. user=mdettweiler [2010-10-14 19:42:13] 451*2^911479-1 is not prime. Res64: 8DB67DD78DBE8DF9 Time : 0.0 sec. user=mdettweiler [2010-10-14 19:42:27] 415*2^911479-1 is not prime. Res64: D2398A1816CD6D52 Time : 0.0 sec. user=mdettweiler [2010-10-14 19:42:27] 423*2^911479-1 is not prime. Res64: 78D3541E4161827D Time : 0.0 sec. user=mdettweiler [2010-10-14 19:56:53] 531*2^911479-1 is not prime. Res64: 972FE390DAA43246 Time : 0.0 sec. user=mdettweiler [2010-10-14 19:56:53] 573*2^911479-1 is not prime. Res64: 868EA7D10538F1C5 Time : 0.0 sec. user=Sloth [2010-10-14 19:57:32] 595*2^911479-1 is not prime. Res64: 6A0080ECA2F8B24B Time : 0.0 sec. user=Sloth [2010-10-14 19:57:45] 405*2^911480-1 is not prime. Res64: 5A17F19C16B30647 Time : 0.0 sec. user=mdettweiler [2010-10-14 20:12:14] 455*2^911480-1 is not prime. Res64: 8799E24CE7C157B3 Time : 0.0 sec. user=mdettweiler [2010-10-14 20:12:14] 465*2^911480-1 is not prime. Res64: 27624A4E5C2291E6 Time : 0.0 sec. user=mdettweiler [2010-10-14 20:12:46] 479*2^911480-1 is not prime. Res64: 7593377997A90952 Time : 0.0 sec. user=mdettweiler [2010-10-14 20:12:47] 543*2^911480-1 is not prime. Res64: 207B6DEB5734623D Time : 0.0 sec. user=mdettweiler [2010-10-14 20:13:00] 565*2^911481-1 is not prime. Res64: 02E2B34A4D3CEECA Time : 0.0 sec. user=mdettweiler [2010-10-14 20:13:01] 401*2^911482-1 is not prime. Res64: 259E55ACD2BA649E Time : 0.0 sec. user=Sloth [2010-10-14 20:15:21] 513*2^911482-1 is not prime. Res64: E3FD52DFD2727AAC Time : 0.0 sec. user=Sloth [2010-10-14 20:15:33] 521*2^911482-1 is not prime. Res64: 7BE3B60CA65694DB Time : 0.0 sec. user=mdettweiler [2010-10-14 20:27:27] 425*2^911482-1 is not prime. Res64: D345CCE0F60646D6 Time : 0.0 sec. user=mdettweiler [2010-10-14 20:27:27] 435*2^911482-1 is not prime. Res64: C9AFF1E5B82D30D2 Time : 0.0 sec. user=Sloth [2010-10-14 20:33:09] 465*2^911483-1 is not prime. Res64: CDF6BC494E296B43 Time : 0.0 sec. user=Sloth [2010-10-14 20:33:21] 505*2^911483-1 is not prime. Res64: 9FE366B8EC46E074 Time : 0.0 sec. user=marco.bs [2010-10-14 20:39:23] 521*2^911454-1 is not prime. Res64: FD31BF9D8EE80C35 Time : 0.0 sec. user=mdettweiler [2010-10-14 20:42:55] 527*2^911482-1 is not prime. Res64: 140FF0EEADC50997 Time : 0.0 sec. user=mdettweiler [2010-10-14 20:42:55] 533*2^911482-1 is not prime. Res64: F017B794E14815B5 Time : 0.0 sec. user=mdettweiler [2010-10-14 20:43:23] 551*2^911482-1 is not prime. Res64: 0741AEAF74E09568 Time : 0.0 sec. user=mdettweiler [2010-10-14 20:43:23] 567*2^911482-1 is not prime. Res64: F3AF7EF6ACF545B6 Time : 0.0 sec. user=mdettweiler [2010-10-14 20:43:44] 433*2^911483-1 is not prime. Res64: 26A52E9FC24D156C Time : 0.0 sec. user=mdettweiler [2010-10-14 20:43:44] 445*2^911483-1 is not prime. Res64: AE8922095CD97C61 Time : 0.0 sec. user=mdettweiler [2010-10-14 20:59:17] 589*2^911483-1 is not prime. Res64: C7C424BBA3021E89 Time : 0.0 sec. user=mdettweiler [2010-10-14 20:59:18] 447*2^911484-1 is not prime. Res64: F357839DCE12DB77 Time : 0.0 sec. user=Sloth [2010-10-14 21:04:34] 459*2^911484-1 is not prime. Res64: 8E397E41ACCC7B49 Time : 0.0 sec. user=Sloth [2010-10-14 21:04:40] 473*2^911484-1 is not prime. Res64: 13D35EF7C4B0131D Time : 0.0 sec. user=mdettweiler [2010-10-14 21:17:23] 449*2^911200-1 is not prime. Res64: 044145131A7AE964 Time : 0.0 sec. user=mdettweiler [2010-10-14 21:17:24] 405*2^911490-1 is not prime. Res64: 6B892298D1A6A7C7 Time : 0.0 sec. user=mdettweiler [2010-10-14 21:17:37] 555*2^911490-1 is not prime. Res64: F1C57B41A23D37FE Time : 0.0 sec. user=mdettweiler [2010-10-14 21:17:38] 549*2^911491-1 is not prime. Res64: 4A1687929E93DE48 Time : 0.0 sec. user=mdettweiler [2010-10-14 21:17:52] 417*2^911492-1 is not prime. Res64: 45B8C51502055A65 Time : 0.0 sec. user=mdettweiler [2010-10-14 21:17:53] 425*2^911492-1 is not prime. Res64: 8CDBF18F9A3EE0DC Time : 0.0 sec. user=marco.bs [2010-10-14 21:19:51] 585*2^911487-1 is not prime. Res64: 5E631E242955E174 Time : 0.0 sec. user=mdettweiler [2010-10-14 21:33:19] 525*2^911494-1 is not prime. Res64: BC365283AA1D0BDD Time : 0.0 sec. user=mdettweiler [2010-10-14 21:33:19] 545*2^911494-1 is not prime. Res64: EDFD7B00B2971B70 Time : 0.0 sec. user=mdettweiler [2010-10-14 21:49:38] 493*2^911507-1 is not prime. Res64: 1AE23644174A1825 Time : 0.0 sec. user=mdettweiler [2010-10-14 21:49:38] 531*2^911507-1 is not prime. Res64: A4959766BCF58933 Time : 0.0 sec. user=mdettweiler [2010-10-14 21:49:44] 513*2^911502-1 is not prime. Res64: EC31FC3D5EA89100 Time : 0.0 sec. user=mdettweiler [2010-10-14 21:49:44] 557*2^911502-1 is not prime. Res64: 7AAD59B076B0B6A0 Time : 0.0 sec. user=mdettweiler [2010-10-14 21:50:15] 567*2^911506-1 is not prime. Res64: 1D615AA2E8F78C3F Time : 0.0 sec. user=mdettweiler [2010-10-14 21:50:15] 593*2^911506-1 is not prime. Res64: 8ED28E9ED1AB7095 Time : 0.0 sec. user=Sloth [2010-10-14 21:52:11] 497*2^911484-1 is not prime. Res64: D90802D1252127EE Time : 0.0 sec. user=Sloth [2010-10-14 21:52:11] 549*2^911484-1 is not prime. Res64: 22A325A3FDCC2E8E Time : 0.0 sec. user=Sloth [2010-10-14 21:52:12] 471*2^911485-1 is not prime. Res64: BDC2671692695008 Time : 0.0 sec. user=Sloth [2010-10-14 21:52:12] 489*2^911485-1 is not prime. Res64: F69565D19FC986F2 Time : 0.0 sec. user=Sloth [2010-10-14 21:52:13] 425*2^911486-1 is not prime. Res64: 09E1A7DD30F6752D Time : 0.0 sec. user=Sloth [2010-10-14 21:55:56] 437*2^911486-1 is not prime. Res64: 8F396614978B3A2B Time : 0.0 sec. user=Sloth [2010-10-14 21:55:57] 551*2^911486-1 is not prime. Res64: E8AD58D1813F8068 Time : 0.0 sec. user=Sloth [2010-10-14 21:55:57] 561*2^911486-1 is not prime. Res64: 82ADC96C2D17D906 Time : 0.0 sec. user=Sloth [2010-10-14 21:55:58] 581*2^911486-1 is not prime. Res64: 547DF8D4C7C10164 Time : 0.0 sec. user=Sloth [2010-10-14 21:55:58] 403*2^911487-1 is not prime. Res64: 8F1307A1E8FD9B08 Time : 0.0 sec. user=Sloth [2010-10-14 21:58:54] 435*2^911488-1 is not prime. Res64: 72552AB90B38E2C7 Time : 0.0 sec. user=Sloth [2010-10-14 21:58:54] 453*2^911488-1 is not prime. Res64: BEA3F52D69F2A7F1 Time : 0.0 sec. user=Sloth [2010-10-14 21:58:55] 563*2^911488-1 is not prime. Res64: 60E006E00B607F4C Time : 0.0 sec. user=Sloth [2010-10-14 21:58:55] 597*2^911488-1 is not prime. Res64: B1648B5055C3EF48 Time : 0.0 sec. user=Sloth [2010-10-14 21:58:56] 447*2^911489-1 is not prime. Res64: 617B91E512E1DF0E Time : 0.0 sec. user=marco.bs [2010-10-14 21:59:22] 589*2^911507-1 is not prime. Res64: 4AE87CA221529AAF Time : 0.0 sec. user=mdettweiler [2010-10-14 22:04:08] 405*2^911508-1 is not prime. Res64: BF0FA09E74D5DA60 Time : 0.0 sec. user=mdettweiler [2010-10-14 22:04:09] 423*2^911508-1 is not prime. Res64: A6727E4044F3CB60 Time : 0.0 sec. user=Sloth [2010-10-14 22:09:19] 515*2^911492-1 is not prime. Res64: 134921C1E69A94A4 Time : 0.0 sec. user=Sloth [2010-10-14 22:09:20] 445*2^911493-1 is not prime. Res64: 4BA9B55F08DFA540 Time : 0.0 sec. user=Sloth [2010-10-14 22:09:20] 555*2^911493-1 is not prime. Res64: BBA36099EB0CE982 Time : 0.0 sec. user=Sloth [2010-10-14 22:09:21] 565*2^911493-1 is not prime. Res64: 6EF5165F982BA5D9 Time : 0.0 sec. user=Sloth [2010-10-14 22:09:21] 595*2^911493-1 is not prime. Res64: 311872261D18D113 Time : 0.0 sec. user=Sloth [2010-10-14 22:17:42] 585*2^911496-1 is not prime. Res64: BB884CA887F5F30D Time : 0.0 sec. user=Sloth [2010-10-14 22:17:43] 429*2^911497-1 is not prime. Res64: A937CA6E35F339D4 Time : 0.0 sec. user=Sloth [2010-10-14 22:17:43] 465*2^911497-1 is not prime. Res64: 251EF0DA7014CC55 Time : 0.0 sec. user=Sloth [2010-10-14 22:17:43] 499*2^911497-1 is not prime. Res64: EB5D7414ED39F610 Time : 0.0 sec. user=Sloth [2010-10-14 22:17:44] 561*2^911498-1 is not prime. Res64: D0348BE6CA08E1A5 Time : 0.0 sec. user=Sloth [2010-10-14 22:17:49] 575*2^911498-1 is not prime. Res64: 270F484485CCA989 Time : 0.0 sec. user=Sloth [2010-10-14 22:17:50] 513*2^911499-1 is not prime. Res64: 513EC4879AEBF785 Time : 0.0 sec. user=Sloth [2010-10-14 22:17:50] 543*2^911499-1 is not prime. Res64: E2AC2322585B3159 Time : 0.0 sec. user=Sloth [2010-10-14 22:17:50] 571*2^911499-1 is not prime. Res64: 9502200A6238C8F5 Time : 0.0 sec. user=Sloth [2010-10-14 22:17:51] 465*2^911500-1 is not prime. Res64: F7AE508EBF6E0543 Time : 0.0 sec. user=mdettweiler [2010-10-14 22:21:17] 407*2^911510-1 is not prime. Res64: DAFE489AFB2E91EF Time : 0.0 sec. user=mdettweiler [2010-10-14 22:21:18] 417*2^911510-1 is not prime. Res64: EA28EAED21373B54 Time : 0.0 sec. user=mdettweiler [2010-10-14 22:21:34] 415*2^911509-1 is not prime. Res64: D654FE1FEFDD0F32 Time : 0.0 sec. user=mdettweiler [2010-10-14 22:21:34] 495*2^911509-1 is not prime. Res64: D0482F06D169C667 Time : 0.0 sec. user=mdettweiler [2010-10-14 22:22:09] 455*2^911510-1 is not prime. Res64: B68E4CE4FB89547A Time : 0.0 sec. user=mdettweiler [2010-10-14 22:22:09] 521*2^911510-1 is not prime. Res64: B5E49037156CE34C Time : 0.0 sec. user=Sloth [2010-10-14 22:32:04] 459*2^911495-1 is not prime. Res64: 604F2EB0D8F68E61 Time : 0.0 sec. user=Sloth [2010-10-14 22:32:04] 463*2^911495-1 is not prime. Res64: 76C6A703F0AC1F0E Time : 0.0 sec. user=Sloth [2010-10-14 22:32:04] 573*2^911495-1 is not prime. Res64: F43A1AEFBFD6B6F1 Time : 0.0 sec. user=Sloth [2010-10-14 22:32:05] 413*2^911496-1 is not prime. Res64: 6854272CE412A952 Time : 0.0 sec. user=Sloth [2010-10-14 22:32:05] 567*2^911496-1 is not prime. Res64: 554B7890AAB38683 Time : 0.0 sec. user=Sloth [2010-10-14 22:36:02] 413*2^911494-1 is not prime. Res64: CEF14A021CA269E1 Time : 0.0 sec. user=mdettweiler [2010-10-14 22:36:02] 511*2^911515-1 is not prime. Res64: 0A803E3CF69A79EA Time : 0.0 sec. user=Sloth [2010-10-14 22:36:02] 443*2^911494-1 is not prime. Res64: B73B7C87112CC320 Time : 0.0 sec. user=mdettweiler [2010-10-14 22:36:03] 589*2^911515-1 is not prime. Res64: D7A0F7825BF863E1 Time : 0.0 sec. user=Sloth [2010-10-14 22:36:03] 453*2^911494-1 is not prime. Res64: F450C6E56AB1FA53 Time : 0.0 sec. user=Sloth [2010-10-14 22:39:53] 411*2^911501-1 is not prime. Res64: 13A95227F086F013 Time : 0.0 sec. user=Sloth [2010-10-14 22:39:53] 417*2^911501-1 is not prime. Res64: 4021D9ED89419937 Time : 0.0 sec. user=Sloth [2010-10-14 22:39:53] 421*2^911501-1 is not prime. Res64: C4FBDA2A222A3A7E Time : 0.0 sec. user=Sloth [2010-10-14 22:39:53] 465*2^911501-1 is not prime. Res64: 3D2D9A2059193E3D Time : 0.0 sec. user=Sloth [2010-10-14 22:39:54] 507*2^911501-1 is not prime. Res64: B189077772483C90 Time : 0.0 sec. user=Sloth [2010-10-14 22:44:21] 525*2^911501-1 is not prime. Res64: E9C5E147C92112E9 Time : 0.0 sec. user=Sloth [2010-10-14 22:44:22] 547*2^911501-1 is not prime. Res64: 3FAE5BD332FE82A2 Time : 0.0 sec. user=Sloth [2010-10-14 22:44:22] 549*2^911501-1 is not prime. Res64: D26A615261878FEB Time : 0.0 sec. user=Sloth [2010-10-14 22:44:23] 577*2^911501-1 is not prime. Res64: 57B80D16FB2C66E5 Time : 0.0 sec. user=Sloth [2010-10-14 22:44:23] 431*2^911502-1 is not prime. Res64: 3298A70EB65672D4 Time : 0.0 sec. user=Sloth [2010-10-14 22:44:33] 447*2^911504-1 is not prime. Res64: F25F5786F7577C7B Time : 0.0 sec. user=Sloth [2010-10-14 22:44:33] 519*2^911504-1 is not prime. Res64: 65825EB0F663ABFC Time : 0.0 sec. user=Sloth [2010-10-14 22:44:34] 461*2^911506-1 is not prime. Res64: D4772ABBDB034D8D Time : 0.0 sec. user=Sloth [2010-10-14 22:44:34] 477*2^911506-1 is not prime. Res64: 1D5FA1BDBF105A49 Time : 0.0 sec. user=Sloth [2010-10-14 22:44:35] 483*2^911506-1 is not prime. Res64: 078A352346C439D2 Time : 0.0 sec. user=mdettweiler [2010-10-14 22:51:55] 567*2^911520-1 is not prime. Res64: 0F8305BE5F2F7B88 Time : 0.0 sec. user=mdettweiler [2010-10-14 22:51:55] 587*2^911520-1 is not prime. Res64: 4B6988F384E0CB6F Time : 0.0 sec. user=mdettweiler [2010-10-14 22:52:12] 429*2^911521-1 is not prime. Res64: 6B34E3E1D1705E3A Time : 0.0 sec. user=mdettweiler [2010-10-14 22:52:12] 439*2^911521-1 is not prime. Res64: 71820E30B5F9C6CC Time : 0.0 sec. user=mdettweiler [2010-10-14 22:52:47] 471*2^911521-1 is not prime. Res64: 7DA05350956E2BCF Time : 0.0 sec. user=mdettweiler [2010-10-14 22:52:47] 507*2^911521-1 is not prime. Res64: E309FE88C574C5F1 Time : 0.0 sec. user=marco.bs [2010-10-14 22:55:26] 495*2^911515-1 is not prime. Res64: 06AB6824432C8848 Time : 0.0 sec. user=Sloth [2010-10-14 22:57:17] 485*2^911502-1 is not prime. Res64: 5134F02F2AEB2FF3 Time : 0.0 sec. user=Sloth [2010-10-14 22:57:17] 465*2^911503-1 is not prime. Res64: CD0FFE2BB915F4B3 Time : 0.0 sec. user=Sloth [2010-10-14 22:57:17] 481*2^911503-1 is not prime. Res64: A444BC70505EB4E4 Time : 0.0 sec. user=Sloth [2010-10-14 22:57:17] 559*2^911503-1 is not prime. Res64: B6553DCBE3D5E60B Time : 0.0 sec. user=Sloth [2010-10-14 22:57:18] 437*2^911504-1 is not prime. Res64: 7F36BB48FD50CB0B Time : 0.0 sec. user=Sloth [2010-10-14 22:57:23] 441*2^911505-1 is not prime. Res64: F4368AC6B2AA809F Time : 0.0 sec. user=Sloth [2010-10-14 22:57:24] 445*2^911505-1 is not prime. Res64: 933B1099570AE62E Time : 0.0 sec. user=Sloth [2010-10-14 22:57:24] 459*2^911505-1 is not prime. Res64: FD56193EEA74D3D7 Time : 0.0 sec. user=Sloth [2010-10-14 22:57:24] 471*2^911505-1 is not prime. Res64: 7FE295FAEB48846D Time : 0.0 sec. user=Sloth [2010-10-14 22:57:24] 447*2^911506-1 is not prime. Res64: F74132D81333EADC Time : 0.0 sec. user=marco.bs [2010-10-14 23:03:39] 545*2^911460-1 is not prime. Res64: 07C73921F8F55BB2 Time : 0.0 sec. user=mdettweiler [2010-10-14 23:07:12] 415*2^911523-1 is not prime. Res64: 2BB222CC7033F714 Time : 0.0 sec. user=mdettweiler [2010-10-14 23:07:13] 451*2^911523-1 is not prime. Res64: 5E16973217BE2460 Time : 0.0 sec. user=Sloth [2010-10-14 23:11:10] 473*2^911208-1 is not prime. Res64: 7E2D5DDBBBB9CBFD Time : 0.0 sec. user=Sloth [2010-10-14 23:11:11] 527*2^911208-1 is not prime. Res64: 21CEB0729AAEB6B2 Time : 0.0 sec. user=Sloth [2010-10-14 23:11:11] 545*2^911510-1 is not prime. Res64: 065DDDBDCC63A0A0 Time : 0.0 sec. user=Sloth [2010-10-14 23:11:12] 409*2^911511-1 is not prime. Res64: 3691D508CBE5C906 Time : 0.0 sec. user=Sloth [2010-10-14 23:11:12] 423*2^911511-1 is not prime. Res64: E3825F7DA4517ACC Time : 0.0 sec. user=Sloth [2010-10-14 23:15:24] 429*2^911511-1 is not prime. Res64: 43CBC4D4F37CE286 Time : 0.0 sec. user=Sloth [2010-10-14 23:15:25] 539*2^911512-1 is not prime. Res64: B108359DCE02D0C9 Time : 0.0 sec. user=Sloth [2010-10-14 23:15:25] 549*2^911512-1 is not prime. Res64: 9E143CA3A8187BE7 Time : 0.0 sec. user=Sloth [2010-10-14 23:15:26] 549*2^911513-1 is not prime. Res64: 4569CDCE5313257E Time : 0.0 sec. user=Sloth [2010-10-14 23:15:26] 423*2^911514-1 is not prime. Res64: 61C0CB91C26F737D Time : 0.0 sec. user=Sloth [2010-10-14 23:17:54] 461*2^911514-1 is not prime. Res64: 4295CB2019893058 Time : 0.0 sec. user=Sloth [2010-10-14 23:17:54] 465*2^911514-1 is not prime. Res64: B6CFF77AFAFD93D9 Time : 0.0 sec. user=Sloth [2010-10-14 23:17:55] 473*2^911514-1 is not prime. Res64: 6E67F977DDABFCB2 Time : 0.0 sec. user=Sloth [2010-10-14 23:17:55] 551*2^911514-1 is not prime. Res64: 97978A0B92C3C474 Time : 0.0 sec. user=Sloth [2010-10-14 23:17:56] 411*2^911515-1 is not prime. Res64: 7F9E4D9DDF814DB9 Time : 0.0 sec. user=mdettweiler [2010-10-14 23:23:50] 509*2^911528-1 is not prime. Res64: E597F88B1D1215CF Time : 0.0 sec. user=mdettweiler [2010-10-14 23:23:50] 515*2^911528-1 is not prime. Res64: 3EA3D415EFFFFB29 Time : 0.0 sec. user=mdettweiler [2010-10-14 23:24:06] 599*2^911528-1 is not prime. Res64: 8A005433930D530B Time : 0.0 sec. user=mdettweiler [2010-10-14 23:24:06] 429*2^911529-1 is not prime. Res64: 60084776703F7E1F Time : 0.0 sec. user=mdettweiler [2010-10-14 23:24:11] 447*2^911529-1 is not prime. Res64: 7284B95B103C111E Time : 0.0 sec. user=mdettweiler [2010-10-14 23:24:12] 471*2^911529-1 is not prime. Res64: C3741DBD51C47A97 Time : 0.0 sec. user=Sloth [2010-10-14 23:28:51] 425*2^911516-1 is not prime. Res64: 2FD1B574AE25967C Time : 0.0 sec. user=Sloth [2010-10-14 23:28:51] 519*2^911516-1 is not prime. Res64: BAE895EDA24E792A Time : 0.0 sec. user=Sloth [2010-10-14 23:28:52] 545*2^911516-1 is not prime. Res64: 40026E79A3A4428B Time : 0.0 sec. user=Sloth [2010-10-14 23:28:52] 563*2^911516-1 is not prime. Res64: 24345364F0E7FAA6 Time : 0.0 sec. user=Sloth [2010-10-14 23:28:53] 585*2^911516-1 is not prime. Res64: E9B0A34AD0DDBE04 Time : 0.0 sec. user=Sloth [2010-10-14 23:30:36] 427*2^911517-1 is not prime. Res64: 04459DC18D423A84 Time : 0.0 sec. user=Sloth [2010-10-14 23:30:36] 487*2^911517-1 is not prime. Res64: E4E9141B5D82A212 Time : 0.0 sec. user=Sloth [2010-10-14 23:30:36] 537*2^911517-1 is not prime. Res64: 871479EDA046E672 Time : 0.0 sec. user=Sloth [2010-10-14 23:30:37] 577*2^911517-1 is not prime. Res64: AD754BD97A23A79F Time : 0.0 sec. user=Sloth [2010-10-14 23:30:37] 423*2^911518-1 is not prime. Res64: 42BE99606F0DEAD2 Time : 0.0 sec. user=Sloth [2010-10-14 23:30:50] 403*2^911519-1 is not prime. Res64: DB8E1A7AD9A97810 Time : 0.0 sec. user=Sloth [2010-10-14 23:30:50] 445*2^911519-1 is not prime. Res64: AD6212AE4B63DBFB Time : 0.0 sec. user=Sloth [2010-10-14 23:30:50] 493*2^911519-1 is not prime. Res64: 77748B142C311B0B Time : 0.0 sec. user=Sloth [2010-10-14 23:30:51] 405*2^911520-1 is not prime. Res64: 730DC2739F5AC701 Time : 0.0 sec. user=Sloth [2010-10-14 23:30:51] 425*2^911520-1 is not prime. Res64: 926E0004EAB2555B Time : 0.0 sec. user=marco.bs [2010-10-14 23:37:57] 507*2^911529-1 is not prime. Res64: 502EDCD7BA5CB004 Time : 0.0 sec. user=mdettweiler [2010-10-14 23:38:51] 593*2^911532-1 is not prime. Res64: 195EA36AFEFB1D19 Time : 0.0 sec. user=mdettweiler [2010-10-14 23:38:51] 441*2^911533-1 is not prime. Res64: BABCEB23D30FD3BD Time : 0.0 sec. user=mdettweiler [2010-10-14 23:54:13] 561*2^911537-1 is not prime. Res64: 39ADB6C0F76BB797 Time : 0.0 sec. user=mdettweiler [2010-10-14 23:54:14] 565*2^911537-1 is not prime. Res64: 6EC5D2C242D52FEB Time : 0.0 sec. user=mdettweiler [2010-10-14 23:54:30] 465*2^911538-1 is not prime. Res64: D84B361E1FA5792F Time : 0.0 sec. user=mdettweiler [2010-10-14 23:54:30] 581*2^911538-1 is not prime. Res64: 262EA2A3E09C072B Time : 0.0 sec. user=mdettweiler [2010-10-14 23:54:30] 413*2^911538-1 is not prime. Res64: 34D32B5D8556EB79 Time : 0.0 sec. user=mdettweiler [2010-10-14 23:54:31] 423*2^911538-1 is not prime. Res64: 7A03E975CAFCE75D Time : 0.0 sec.