user=mdettweiler [2010-08-22 00:21:16] 541*2^890371-1 is not prime. Res64: A6AB38BB3AF29779 Time : 0.0 sec. user=mdettweiler [2010-08-22 00:21:16] 583*2^890371-1 is not prime. Res64: 909783D0A09F3984 Time : 0.0 sec. user=mdettweiler [2010-08-22 00:21:16] 495*2^890372-1 is not prime. Res64: 01EA02C2C66BB78D Time : 0.0 sec. user=mdettweiler [2010-08-22 00:22:15] 515*2^890372-1 is not prime. Res64: 0EB5FD864EB36D9E Time : 0.0 sec. user=mdettweiler [2010-08-22 00:22:15] 563*2^890372-1 is not prime. Res64: 0F1E6E124E583234 Time : 0.0 sec. user=mdettweiler [2010-08-22 00:22:15] 587*2^890372-1 is not prime. Res64: 67CF27CA431FF07C Time : 0.0 sec. user=mdettweiler [2010-08-22 00:22:31] 599*2^890372-1 is not prime. Res64: 92BA676101CAD047 Time : 0.0 sec. user=mdettweiler [2010-08-22 00:22:31] 499*2^890373-1 is not prime. Res64: 2184473E1E33795D Time : 0.0 sec. user=mdettweiler [2010-08-22 00:22:32] 511*2^890373-1 is not prime. Res64: AAA0EBB10C0CFBB3 Time : 0.0 sec. user=mdettweiler [2010-08-22 00:27:01] 425*2^890374-1 is not prime. Res64: E69CD8D902D91BB3 Time : 0.0 sec. user=mdettweiler [2010-08-22 00:27:01] 455*2^890374-1 is not prime. Res64: C9CE5195393F05D6 Time : 0.0 sec. user=mdettweiler [2010-08-22 00:27:01] 465*2^890374-1 is not prime. Res64: 48DD821CE49A40E7 Time : 0.0 sec. user=mdettweiler [2010-08-22 01:02:47] 491*2^890374-1 is not prime. Res64: 940E3148FB2414FE Time : 0.0 sec. user=mdettweiler [2010-08-22 01:02:47] 555*2^890374-1 is not prime. Res64: C1353EC9D1E0D035 Time : 0.0 sec. user=mdettweiler [2010-08-22 01:02:48] 463*2^890375-1 is not prime. Res64: 0E43A239AF4D25C7 Time : 0.0 sec. user=mdettweiler [2010-08-22 01:03:57] 469*2^890375-1 is not prime. Res64: D00B296E7232FBE1 Time : 0.0 sec. user=mdettweiler [2010-08-22 01:03:57] 531*2^890375-1 is not prime. Res64: C2FC13FE5EA8503B Time : 0.0 sec. user=mdettweiler [2010-08-22 01:03:57] 459*2^890376-1 is not prime. Res64: A73D1489E280D1AB Time : 0.0 sec. user=mdettweiler [2010-08-22 01:04:10] 485*2^890376-1 is not prime. Res64: 9C0AE8C88633D751 Time : 0.0 sec. user=mdettweiler [2010-08-22 01:04:10] 503*2^890376-1 is not prime. Res64: AF2CDB4672DE2FFD Time : 0.0 sec. user=mdettweiler [2010-08-22 01:04:10] 539*2^890376-1 is not prime. Res64: CE80E03E55634D69 Time : 0.0 sec. user=mdettweiler [2010-08-22 01:08:31] 563*2^890376-1 is not prime. Res64: D3814E63611C7872 Time : 0.0 sec. user=mdettweiler [2010-08-22 01:08:31] 495*2^890377-1 is not prime. Res64: B77DDE13F8071E65 Time : 0.0 sec. user=mdettweiler [2010-08-22 01:08:32] 517*2^890377-1 is not prime. Res64: 511FFEF18D03C23A Time : 0.0 sec. user=mdettweiler [2010-08-22 01:44:33] 431*2^890378-1 is not prime. Res64: 3BE53CF113FE8C20 Time : 0.0 sec. user=mdettweiler [2010-08-22 01:44:33] 437*2^890378-1 is not prime. Res64: B8ACE459B83FBCBA Time : 0.0 sec. user=mdettweiler [2010-08-22 01:44:33] 433*2^890379-1 is not prime. Res64: D992302A862B1FF5 Time : 0.0 sec. user=mdettweiler [2010-08-22 01:45:26] 441*2^890379-1 is not prime. Res64: 48BEFCB3F39DF7D4 Time : 0.0 sec. user=mdettweiler [2010-08-22 01:45:26] 459*2^890379-1 is not prime. Res64: 9AF9FCEF9C99FDD3 Time : 0.0 sec. user=mdettweiler [2010-08-22 01:45:26] 465*2^890379-1 is not prime. Res64: D16B0AC658CDB299 Time : 0.0 sec. user=mdettweiler [2010-08-22 01:45:35] 471*2^890379-1 is not prime. Res64: 13D490AA283AD3DC Time : 0.0 sec. user=mdettweiler [2010-08-22 01:45:36] 501*2^890379-1 is not prime. Res64: 58A8AA27D3038016 Time : 0.0 sec. user=mdettweiler [2010-08-22 01:45:36] 527*2^890380-1 is not prime. Res64: 78BAFB0876B7BC5C Time : 0.0 sec. user=mdettweiler [2010-08-22 01:50:04] 549*2^890380-1 is not prime. Res64: FEC85EC97787B4D9 Time : 0.0 sec. user=mdettweiler [2010-08-22 01:50:05] 563*2^890380-1 is not prime. Res64: 11ECF4D0E12DACE7 Time : 0.0 sec. user=mdettweiler [2010-08-22 01:50:05] 587*2^890380-1 is not prime. Res64: 446CA17B91A8F4BE Time : 0.0 sec. user=henryzz [2010-08-22 02:08:30] 457*2^890317-1 is not prime. Res64: 1708E607FA3D87D3 Time : 0.0 sec. user=henryzz [2010-08-22 02:17:55] 501*2^890318-1 is not prime. Res64: CF562B5D8BF40F52 Time : 0.0 sec. user=henryzz [2010-08-22 02:20:48] 503*2^890318-1 is not prime. Res64: 598E346017CA34C9 Time : 0.0 sec. user=henryzz [2010-08-22 02:23:15] 561*2^890318-1 is not prime. Res64: 5EF49CBAF86D26D9 Time : 0.0 sec. user=mdettweiler [2010-08-22 02:26:00] 459*2^890381-1 is not prime. Res64: 91229151F60A06DD Time : 0.0 sec. user=mdettweiler [2010-08-22 02:26:00] 465*2^890381-1 is not prime. Res64: B416CD20D772D46D Time : 0.0 sec. user=mdettweiler [2010-08-22 02:26:00] 525*2^890381-1 is not prime. Res64: E1950AF828933D54 Time : 0.0 sec. user=mdettweiler [2010-08-22 02:26:57] 447*2^890382-1 is not prime. Res64: C794E58A4A72C7F2 Time : 0.0 sec. user=mdettweiler [2010-08-22 02:26:57] 513*2^890382-1 is not prime. Res64: 333E7A6E2412B92B Time : 0.0 sec. user=mdettweiler [2010-08-22 02:26:57] 525*2^890382-1 is not prime. Res64: 5475F8AAADF2D609 Time : 0.0 sec. user=mdettweiler [2010-08-22 02:27:07] 551*2^890382-1 is not prime. Res64: 15C2A9ECDCEB1C2B Time : 0.0 sec. user=mdettweiler [2010-08-22 02:27:07] 557*2^890382-1 is not prime. Res64: 64696F7C86985F73 Time : 0.0 sec. user=mdettweiler [2010-08-22 02:27:07] 573*2^890382-1 is not prime. Res64: 226B63C718D65148 Time : 0.0 sec. user=henryzz [2010-08-22 02:27:37] 493*2^890383-1 is not prime. Res64: DF682E6FC6DEA477 Time : 0.0 sec. user=mdettweiler [2010-08-22 02:31:34] 423*2^890383-1 is not prime. Res64: C49DBA992EC3169C Time : 0.0 sec. user=mdettweiler [2010-08-22 02:31:34] 429*2^890383-1 is not prime. Res64: B87DDD9017C099B3 Time : 0.0 sec. user=mdettweiler [2010-08-22 02:31:35] 483*2^890383-1 is not prime. Res64: 258D96E9E4F2B432 Time : 0.0 sec. user=henryzz [2010-08-22 02:35:15] 425*2^890384-1 is not prime. Res64: 19B710BE7B0F06B2 Time : 0.0 sec. user=henryzz [2010-08-22 02:38:30] 447*2^890384-1 is not prime. Res64: B42DF0979A66BC58 Time : 0.0 sec. user=henryzz [2010-08-22 02:41:12] 483*2^890384-1 is not prime. Res64: 713F3E164746FE0E Time : 0.0 sec. user=henryzz [2010-08-22 02:45:27] 485*2^890388-1 is not prime. Res64: EA80D4EED678F8AA Time : 0.0 sec. user=henryzz [2010-08-22 02:53:40] 421*2^890389-1 is not prime. Res64: A2C61B8D7F707049 Time : 0.0 sec. user=henryzz [2010-08-22 02:56:40] 505*2^890389-1 is not prime. Res64: 09F068A3EA69583D Time : 0.0 sec. user=henryzz [2010-08-22 03:01:43] 425*2^890390-1 is not prime. Res64: 969FCEEB0275C570 Time : 0.0 sec. user=henryzz [2010-08-22 03:03:29] 467*2^890390-1 is not prime. Res64: 2EE2378C0DB59C50 Time : 0.0 sec. user=mdettweiler [2010-08-22 03:07:29] 539*2^890384-1 is not prime. Res64: D55304F0536BE114 Time : 0.0 sec. user=mdettweiler [2010-08-22 03:07:30] 441*2^890385-1 is not prime. Res64: 883B507939564E6B Time : 0.0 sec. user=mdettweiler [2010-08-22 03:07:30] 531*2^890385-1 is not prime. Res64: 4C72C26C372A6CDE Time : 0.0 sec. user=mdettweiler [2010-08-22 03:08:24] 595*2^890385-1 is not prime. Res64: 2F0205A948D2EA6C Time : 0.0 sec. user=mdettweiler [2010-08-22 03:08:25] 471*2^890386-1 is not prime. Res64: 49605556A82345F8 Time : 0.0 sec. user=mdettweiler [2010-08-22 03:08:25] 561*2^890386-1 is not prime. Res64: 5255355C73DC5FD5 Time : 0.0 sec. user=mdettweiler [2010-08-22 03:08:38] 475*2^890387-1 is not prime. Res64: B0B14683BBA2B329 Time : 0.0 sec. user=mdettweiler [2010-08-22 03:08:39] 531*2^890387-1 is not prime. Res64: 274EA91F1C591887 Time : 0.0 sec. user=mdettweiler [2010-08-22 03:08:39] 467*2^890388-1 is not prime. Res64: 5DB2A7449A707CFD Time : 0.0 sec. user=henryzz [2010-08-22 03:11:35] 501*2^890390-1 is not prime. Res64: 6B4469A9AB649E24 Time : 0.0 sec. user=mdettweiler [2010-08-22 03:13:02] 489*2^890388-1 is not prime. Res64: 41D63510C7178752 Time : 0.0 sec. user=mdettweiler [2010-08-22 03:13:03] 525*2^890388-1 is not prime. Res64: DFFFD2B258A461BA Time : 0.0 sec. user=mdettweiler [2010-08-22 03:13:03] 569*2^890388-1 is not prime. Res64: 4ABBA66C2BA2E697 Time : 0.0 sec. user=henryzz [2010-08-22 03:14:46] 525*2^890390-1 is not prime. Res64: 1B0E4D06A1178423 Time : 0.0 sec. user=henryzz [2010-08-22 03:22:16] 433*2^890391-1 is not prime. Res64: 6C7249CD8E707C9D Time : 0.0 sec. user=henryzz [2010-08-22 03:22:43] 423*2^890391-1 is not prime. Res64: 784B93BE83A9CCBC Time : 0.0 sec. user=henryzz [2010-08-22 03:33:27] 421*2^890395-1 is not prime. Res64: AC2E2176BFC87F91 Time : 0.0 sec. user=henryzz [2010-08-22 03:34:31] 425*2^890394-1 is not prime. Res64: 42E785F46DA0CC09 Time : 0.0 sec. user=henryzz [2010-08-22 03:41:27] 441*2^890395-1 is not prime. Res64: D92C7A24414B2CEA Time : 0.0 sec. user=henryzz [2010-08-22 03:45:44] 463*2^890395-1 is not prime. Res64: 8176BCAB321F94C8 Time : 0.0 sec. user=mdettweiler [2010-08-22 03:48:56] 445*2^890391-1 is not prime. Res64: 2588D442F07D314E Time : 0.0 sec. user=mdettweiler [2010-08-22 03:48:56] 459*2^890391-1 is not prime. Res64: C9E9F094F89293CC Time : 0.0 sec. user=mdettweiler [2010-08-22 03:48:57] 531*2^890391-1 is not prime. Res64: 51F12E13CC7E7AF1 Time : 0.0 sec. user=mdettweiler [2010-08-22 03:49:52] 571*2^890391-1 is not prime. Res64: F3A3061F2C9C2826 Time : 0.0 sec. user=mdettweiler [2010-08-22 03:49:52] 413*2^890392-1 is not prime. Res64: 19D9A5B9855DDE53 Time : 0.0 sec. user=mdettweiler [2010-08-22 03:49:52] 495*2^890392-1 is not prime. Res64: AD8B1507881D08E0 Time : 0.0 sec. user=mdettweiler [2010-08-22 03:50:08] 559*2^890393-1 is not prime. Res64: 548763CDD56BD3DB Time : 0.0 sec. user=mdettweiler [2010-08-22 03:50:08] 561*2^890393-1 is not prime. Res64: 0512A33B9D66BC09 Time : 0.0 sec. user=mdettweiler [2010-08-22 03:50:08] 413*2^890394-1 is not prime. Res64: 404E6DB5C753ABBD Time : 0.0 sec. user=henryzz [2010-08-22 03:52:17] 493*2^890395-1 is not prime. Res64: 9231576BEA3B49C3 Time : 0.0 sec. user=mdettweiler [2010-08-22 03:54:31] 483*2^890394-1 is not prime. Res64: 77CE2DAC6E839693 Time : 0.0 sec. user=mdettweiler [2010-08-22 03:54:31] 521*2^890394-1 is not prime. Res64: 19A49845B825442B Time : 0.0 sec. user=mdettweiler [2010-08-22 03:54:32] 567*2^890394-1 is not prime. Res64: 48AA9DA4D5D820FA Time : 0.0 sec. user=henryzz [2010-08-22 03:55:11] 555*2^890395-1 is not prime. Res64: DD48904C7285E8E0 Time : 0.0 sec. user=henryzz [2010-08-22 03:59:55] 573*2^890395-1 is not prime. Res64: 936D0D92CEF929E9 Time : 0.0 sec. user=henryzz [2010-08-22 04:03:49] 595*2^890395-1 is not prime. Res64: DE8CC56705094B3A Time : 0.0 sec. user=henryzz [2010-08-22 04:10:26] 435*2^890398-1 is not prime. Res64: 5DFDB6E783502F7D Time : 0.0 sec. user=henryzz [2010-08-22 04:16:00] 545*2^890398-1 is not prime. Res64: 871250431103A39B Time : 0.0 sec. user=henryzz [2010-08-22 04:18:47] 567*2^890398-1 is not prime. Res64: 9CFBB5F8F7FC0C14 Time : 0.0 sec. user=henryzz [2010-08-22 04:23:12] 433*2^890399-1 is not prime. Res64: C6177288C58008AC Time : 0.0 sec. user=henryzz [2010-08-22 04:29:47] 445*2^890399-1 is not prime. Res64: 7413506C0D4C87C2 Time : 0.0 sec. user=mdettweiler [2010-08-22 04:30:25] 405*2^890396-1 is not prime. Res64: 5BF385A51C89938C Time : 0.0 sec. user=mdettweiler [2010-08-22 04:30:25] 453*2^890396-1 is not prime. Res64: 178DDB870C592E7F Time : 0.0 sec. user=mdettweiler [2010-08-22 04:30:25] 477*2^890396-1 is not prime. Res64: B8D92C2E21915EDA Time : 0.0 sec. user=mdettweiler [2010-08-22 04:31:21] 515*2^890396-1 is not prime. Res64: F823D60D7A9C489C Time : 0.0 sec. user=mdettweiler [2010-08-22 04:31:21] 519*2^890396-1 is not prime. Res64: DE1D114F6FB1AF3D Time : 0.0 sec. user=mdettweiler [2010-08-22 04:31:21] 585*2^890396-1 is not prime. Res64: 0D1837D3A6C45E86 Time : 0.0 sec. user=mdettweiler [2010-08-22 04:31:35] 471*2^890397-1 is not prime. Res64: 5CA8311C3D385405 Time : 0.0 sec. user=mdettweiler [2010-08-22 04:31:35] 529*2^890397-1 is not prime. Res64: 3F2CEC18DAFD319B Time : 0.0 sec. user=mdettweiler [2010-08-22 04:31:35] 571*2^890397-1 is not prime. Res64: 51EA9E915844B286 Time : 0.0 sec. user=henryzz [2010-08-22 04:34:40] 437*2^890400-1 is not prime. Res64: 190C03FAA2F92954 Time : 0.0 sec. user=mdettweiler [2010-08-22 04:35:59] 443*2^890398-1 is not prime. Res64: 217CB96376844638 Time : 0.0 sec. user=mdettweiler [2010-08-22 04:35:59] 461*2^890398-1 is not prime. Res64: AB4BEF29CA81886E Time : 0.0 sec. user=mdettweiler [2010-08-22 04:35:59] 483*2^890398-1 is not prime. Res64: D9C922CDD5127141 Time : 0.0 sec. user=henryzz [2010-08-22 04:37:34] 555*2^890400-1 is not prime. Res64: D17A3741D51A9899 Time : 0.0 sec. user=henryzz [2010-08-22 04:41:04] 567*2^890400-1 is not prime. Res64: 13200E19652962E4 Time : 0.0 sec. user=henryzz [2010-08-22 04:49:31] 511*2^890401-1 is not prime. Res64: 408CBC8A10E52357 Time : 0.0 sec. user=henryzz [2010-08-22 04:52:33] 573*2^890404-1 is not prime. Res64: 6C5B0C1E48FC2829 Time : 0.0 sec. user=henryzz [2010-08-22 04:56:25] 413*2^890406-1 is not prime. Res64: 7B41E9BA9A43CED5 Time : 0.0 sec. user=henryzz [2010-08-22 04:58:41] 437*2^890406-1 is not prime. Res64: 2F6F07ED46DE43EC Time : 0.0 sec. user=henryzz [2010-08-22 05:07:57] 465*2^890406-1 is not prime. Res64: 98199E67CE090015 Time : 0.0 sec. user=henryzz [2010-08-22 05:10:42] 473*2^890406-1 is not prime. Res64: C3CB739D1C5B8D58 Time : 0.0 sec. user=mdettweiler [2010-08-22 05:11:56] 559*2^890401-1 is not prime. Res64: 46525D4824948EAE Time : 0.0 sec. user=mdettweiler [2010-08-22 05:11:56] 431*2^890402-1 is not prime. Res64: 85E96F96B0E9424B Time : 0.0 sec. user=mdettweiler [2010-08-22 05:11:56] 521*2^890402-1 is not prime. Res64: E449738C2B43D5F8 Time : 0.0 sec. user=mdettweiler [2010-08-22 05:12:49] 439*2^890403-1 is not prime. Res64: FB467C6B4B6B247E Time : 0.0 sec. user=mdettweiler [2010-08-22 05:12:49] 441*2^890403-1 is not prime. Res64: 0B2BDEBC44740D01 Time : 0.0 sec. user=mdettweiler [2010-08-22 05:12:50] 451*2^890403-1 is not prime. Res64: 4E4F7700114ED378 Time : 0.0 sec. user=mdettweiler [2010-08-22 05:13:03] 419*2^890404-1 is not prime. Res64: E5002D9D6A0B63D4 Time : 0.0 sec. user=mdettweiler [2010-08-22 05:13:03] 435*2^890404-1 is not prime. Res64: 14C646F5E20E3CC4 Time : 0.0 sec. user=mdettweiler [2010-08-22 05:13:03] 525*2^890404-1 is not prime. Res64: 29738BAC5136166B Time : 0.0 sec. user=henryzz [2010-08-22 05:14:46] 469*2^890407-1 is not prime. Res64: 8276FDD97E61960D Time : 0.0 sec. user=henryzz [2010-08-22 05:17:02] 413*2^890058-1 is not prime. Res64: 6C3E9B20B848BD86 Time : 0.0 sec. user=mdettweiler [2010-08-22 05:17:26] 597*2^890404-1 is not prime. Res64: E843D24259D94289 Time : 0.0 sec. user=mdettweiler [2010-08-22 05:17:27] 547*2^890405-1 is not prime. Res64: 87A0005586C41B97 Time : 0.0 sec. user=mdettweiler [2010-08-22 05:17:27] 567*2^890405-1 is not prime. Res64: AE1AC5438DA9A644 Time : 0.0 sec. user=henryzz [2010-08-22 05:29:34] 417*2^890058-1 is not prime. Res64: 65EDE6C0DFE5E237 Time : 0.0 sec. user=henryzz [2010-08-22 05:29:58] 437*2^890058-1 is not prime. Res64: 31A5B2DFEC27C15B Time : 0.0 sec. user=henryzz [2010-08-22 05:32:36] 559*2^890409-1 is not prime. Res64: B93780BAFBDA92A2 Time : 0.0 sec. user=henryzz [2010-08-22 05:36:40] 597*2^890410-1 is not prime. Res64: DC30991628D81AA6 Time : 0.0 sec. user=henryzz [2010-08-22 05:48:00] 527*2^890412-1 is not prime. Res64: 5032688A89229B56 Time : 0.0 sec. user=henryzz [2010-08-22 05:49:17] 545*2^890412-1 is not prime. Res64: 2E55A8E2400A1001 Time : 0.0 sec. user=henryzz [2010-08-22 05:50:19] 567*2^890412-1 is not prime. Res64: A3F2E3E16951199F Time : 0.0 sec. user=mdettweiler [2010-08-22 05:53:29] 493*2^890407-1 is not prime. Res64: D0A98252F894C43E Time : 0.0 sec. user=mdettweiler [2010-08-22 05:53:29] 553*2^890407-1 is not prime. Res64: FEE3699B8AC8C943 Time : 0.0 sec. user=mdettweiler [2010-08-22 05:53:29] 589*2^890407-1 is not prime. Res64: 00A8E67FAEBF70AE Time : 0.0 sec. user=mdettweiler [2010-08-22 05:54:25] 425*2^890408-1 is not prime. Res64: DBB33E6D216A7485 Time : 0.0 sec. user=mdettweiler [2010-08-22 05:54:25] 435*2^890408-1 is not prime. Res64: F7EFB9758290E122 Time : 0.0 sec. user=mdettweiler [2010-08-22 05:54:25] 509*2^890408-1 is not prime. Res64: EDBF430C2C3513A3 Time : 0.0 sec. user=henryzz [2010-08-22 05:54:37] 585*2^890412-1 is not prime. Res64: 4AA9FE8DFC56A030 Time : 0.0 sec. user=mdettweiler [2010-08-22 05:54:43] 533*2^890408-1 is not prime. Res64: BF60A7A94EA18EDF Time : 0.0 sec. user=mdettweiler [2010-08-22 05:54:43] 415*2^890409-1 is not prime. Res64: 02E6E562DD79AE41 Time : 0.0 sec. user=mdettweiler [2010-08-22 05:54:43] 499*2^890409-1 is not prime. Res64: 38AAD868970F1C71 Time : 0.0 sec. user=mdettweiler [2010-08-22 05:59:01] 475*2^890411-1 is not prime. Res64: 9AD366312A501387 Time : 0.0 sec. user=mdettweiler [2010-08-22 05:59:01] 493*2^890411-1 is not prime. Res64: 085A139789D22193 Time : 0.0 sec. user=mdettweiler [2010-08-22 05:59:01] 511*2^890411-1 is not prime. Res64: 8A96BBDB9450E6DD Time : 0.0 sec. user=henryzz [2010-08-22 06:07:09] 409*2^890413-1 is not prime. Res64: C97FF8A711AFDCEE Time : 0.0 sec. user=henryzz [2010-08-22 06:08:17] 429*2^890413-1 is not prime. Res64: C6C0DF109EC019AF Time : 0.0 sec. user=henryzz [2010-08-22 06:08:39] 587*2^890412-1 is not prime. Res64: 153DB5BD142484B5 Time : 0.0 sec. user=henryzz [2010-08-22 06:12:25] 495*2^890416-1 is not prime. Res64: AAE96C36C5D9688B Time : 0.0 sec. user=henryzz [2010-08-22 06:24:50] 559*2^890417-1 is not prime. Res64: 4003557188FF2819 Time : 0.0 sec. user=henryzz [2010-08-22 06:25:47] 567*2^890417-1 is not prime. Res64: 941672AF24B6E7B8 Time : 0.0 sec. user=henryzz [2010-08-22 06:28:16] 595*2^890417-1 is not prime. Res64: 4BF12AFC7F1BE657 Time : 0.0 sec. user=henryzz [2010-08-22 06:32:25] 405*2^890418-1 is not prime. Res64: 96323AF03D8A9A16 Time : 0.0 sec. user=mdettweiler [2010-08-22 06:34:57] 451*2^890413-1 is not prime. Res64: DB584666625002CA Time : 0.0 sec. user=mdettweiler [2010-08-22 06:34:57] 507*2^890413-1 is not prime. Res64: 0DD1005B0B997445 Time : 0.0 sec. user=mdettweiler [2010-08-22 06:34:57] 423*2^890414-1 is not prime. Res64: 9225CBCDD953931B Time : 0.0 sec. user=mdettweiler [2010-08-22 06:35:53] 561*2^890414-1 is not prime. Res64: 0A4591EF712F8992 Time : 0.0 sec. user=mdettweiler [2010-08-22 06:35:54] 567*2^890414-1 is not prime. Res64: 047D10AB61BC2AD1 Time : 0.0 sec. user=mdettweiler [2010-08-22 06:35:54] 513*2^890415-1 is not prime. Res64: A71D2D0C13EB160A Time : 0.0 sec. user=mdettweiler [2010-08-22 06:36:10] 543*2^890415-1 is not prime. Res64: BC930101E61A256E Time : 0.0 sec. user=mdettweiler [2010-08-22 06:36:10] 583*2^890415-1 is not prime. Res64: 113710998E4228AC Time : 0.0 sec. user=mdettweiler [2010-08-22 06:36:10] 429*2^890416-1 is not prime. Res64: 5671EE9742FF0AA5 Time : 0.0 sec. user=mdettweiler [2010-08-22 06:40:30] 537*2^890416-1 is not prime. Res64: AE32770D8CF8ECC5 Time : 0.0 sec. user=mdettweiler [2010-08-22 06:40:30] 569*2^890416-1 is not prime. Res64: FA67C37802023B3F Time : 0.0 sec. user=mdettweiler [2010-08-22 06:40:30] 597*2^890416-1 is not prime. Res64: 186F9C9BB9CF7BBE Time : 0.0 sec. user=henryzz [2010-08-22 06:42:51] 431*2^890418-1 is not prime. Res64: 74C87BE4CC68999D Time : 0.0 sec. user=henryzz [2010-08-22 06:44:07] 581*2^890418-1 is not prime. Res64: 38D95C89613331B8 Time : 0.0 sec. user=henryzz [2010-08-22 06:46:29] 433*2^890419-1 is not prime. Res64: B01B765C329D1342 Time : 0.0 sec. user=henryzz [2010-08-22 06:50:47] 523*2^890419-1 is not prime. Res64: 0DA6DD760A8C934E Time : 0.0 sec. user=henryzz [2010-08-22 07:02:04] 591*2^890422-1 is not prime. Res64: BDA966FB810624D9 Time : 0.0 sec. user=henryzz [2010-08-22 07:03:17] 511*2^890423-1 is not prime. Res64: B2B03CA7257BAFF6 Time : 0.0 sec. user=henryzz [2010-08-22 07:03:41] 527*2^890424-1 is not prime. Res64: D73F6781DF6CE836 Time : 0.0 sec. user=henryzz [2010-08-22 07:10:07] 563*2^890424-1 is not prime. Res64: 5B86F88A7D2C097D Time : 0.0 sec. user=mdettweiler [2010-08-22 07:16:24] 561*2^890419-1 is not prime. Res64: 91AB996269F22D72 Time : 0.0 sec. user=mdettweiler [2010-08-22 07:16:24] 405*2^890420-1 is not prime. Res64: 1AE0D1580446A770 Time : 0.0 sec. user=mdettweiler [2010-08-22 07:16:24] 425*2^890420-1 is not prime. Res64: B4300C2DBA0B3842 Time : 0.0 sec. user=mdettweiler [2010-08-22 07:17:22] 437*2^890420-1 is not prime. Res64: 5C2AB73629F9F92E Time : 0.0 sec. user=mdettweiler [2010-08-22 07:17:22] 405*2^890421-1 is not prime. Res64: 6C6A666D511E8249 Time : 0.0 sec. user=mdettweiler [2010-08-22 07:17:23] 439*2^890421-1 is not prime. Res64: 9C1C1F0D86E0C70C Time : 0.0 sec. user=mdettweiler [2010-08-22 07:17:35] 549*2^890421-1 is not prime. Res64: 6D3AFBB06F1944AD Time : 0.0 sec. user=mdettweiler [2010-08-22 07:17:35] 571*2^890421-1 is not prime. Res64: B0F7A8EF533425B3 Time : 0.0 sec. user=mdettweiler [2010-08-22 07:17:36] 579*2^890421-1 is not prime. Res64: 797380DD1C2CEB05 Time : 0.0 sec. user=henryzz [2010-08-22 07:20:18] 587*2^890424-1 is not prime. Res64: 8804B8F60C114C70 Time : 0.0 sec. user=henryzz [2010-08-22 07:20:57] 489*2^890425-1 is not prime. Res64: 93CA5775852D459F Time : 0.0 sec. user=mdettweiler [2010-08-22 07:21:56] 591*2^890421-1 is not prime. Res64: 565C2A7A5DECA6B8 Time : 0.0 sec. user=mdettweiler [2010-08-22 07:21:57] 513*2^890422-1 is not prime. Res64: 8F85DD200490405F Time : 0.0 sec. user=mdettweiler [2010-08-22 07:21:57] 527*2^890422-1 is not prime. Res64: 747F7F2CFCE37B04 Time : 0.0 sec. user=henryzz [2010-08-22 07:22:38] 531*2^890425-1 is not prime. Res64: 3E20AF5C0C102090 Time : 0.0 sec. user=henryzz [2010-08-22 07:30:23] 535*2^890425-1 is not prime. Res64: A22B68A344476D89 Time : 0.0 sec. user=henryzz [2010-08-22 07:39:43] 539*2^890428-1 is not prime. Res64: D85A0FEAA88F44E6 Time : 0.0 sec. user=henryzz [2010-08-22 07:41:08] 571*2^890429-1 is not prime. Res64: 48F00D15A1F9F28E Time : 0.0 sec. user=henryzz [2010-08-22 07:41:14] 485*2^890428-1 is not prime. Res64: A4789B584E7EB36B Time : 0.0 sec. user=henryzz [2010-08-22 07:50:22] 401*2^890430-1 is not prime. Res64: F3E58CD40AD0F656 Time : 0.0 sec. user=mdettweiler [2010-08-22 07:57:54] 407*2^890426-1 is not prime. Res64: 5D78101A01081685 Time : 0.0 sec. user=mdettweiler [2010-08-22 07:57:55] 503*2^890426-1 is not prime. Res64: CDEB8791A594D16E Time : 0.0 sec. user=mdettweiler [2010-08-22 07:57:55] 521*2^890426-1 is not prime. Res64: 76F05664300C1D65 Time : 0.0 sec. user=mdettweiler [2010-08-22 07:58:52] 403*2^890427-1 is not prime. Res64: 2BB8D50B90E3FF5A Time : 0.0 sec. user=mdettweiler [2010-08-22 07:58:53] 445*2^890427-1 is not prime. Res64: 060537CCCEE2268B Time : 0.0 sec. user=mdettweiler [2010-08-22 07:58:53] 523*2^890427-1 is not prime. Res64: 112383F7C6899D44 Time : 0.0 sec. user=mdettweiler [2010-08-22 07:59:03] 529*2^890427-1 is not prime. Res64: C10533271A463791 Time : 0.0 sec. user=mdettweiler [2010-08-22 07:59:03] 549*2^890427-1 is not prime. Res64: 535784335C840827 Time : 0.0 sec. user=mdettweiler [2010-08-22 07:59:04] 435*2^890428-1 is not prime. Res64: AF2FE95634A0B08C Time : 0.0 sec. user=henryzz [2010-08-22 07:59:54] 471*2^890430-1 is not prime. Res64: 87C57E092833C03C Time : 0.0 sec. user=henryzz [2010-08-22 08:00:21] 503*2^890430-1 is not prime. Res64: 648DB9EEC25B5207 Time : 0.0 sec. user=henryzz [2010-08-22 08:01:04] 465*2^890430-1 is not prime. Res64: 5B70EAEC0F228CB3 Time : 0.0 sec. user=mdettweiler [2010-08-22 08:03:24] 549*2^890428-1 is not prime. Res64: 5FA010B3E7037073 Time : 0.0 sec. user=mdettweiler [2010-08-22 08:03:24] 597*2^890428-1 is not prime. Res64: 78F453E032BF514F Time : 0.0 sec. user=mdettweiler [2010-08-22 08:03:25] 511*2^890429-1 is not prime. Res64: EFA4ABD09EE5CB46 Time : 0.0 sec. user=henryzz [2010-08-22 08:10:45] 415*2^890431-1 is not prime. Res64: C7FD20124F76922B Time : 0.0 sec. user=henryzz [2010-08-22 08:20:23] 453*2^890434-1 is not prime. Res64: DE977FE1B38D3B27 Time : 0.0 sec. user=henryzz [2010-08-22 08:20:51] 483*2^890434-1 is not prime. Res64: DD50E455913CB613 Time : 0.0 sec. user=henryzz [2010-08-22 08:21:36] 587*2^890434-1 is not prime. Res64: 89453937473A5665 Time : 0.0 sec. user=henryzz [2010-08-22 08:31:27] 573*2^890435-1 is not prime. Res64: 2F38C8E8513B063C Time : 0.0 sec. user=mdettweiler [2010-08-22 08:39:24] 465*2^890431-1 is not prime. Res64: C9385BDEBBFCC3E2 Time : 0.0 sec. user=mdettweiler [2010-08-22 08:39:24] 489*2^890431-1 is not prime. Res64: 20174CE808E63CFE Time : 0.0 sec. user=mdettweiler [2010-08-22 08:39:25] 493*2^890431-1 is not prime. Res64: 9C040BEC9C40AF90 Time : 0.0 sec. user=mdettweiler [2010-08-22 08:40:20] 499*2^890431-1 is not prime. Res64: 4F1DF06C3D483711 Time : 0.0 sec. user=mdettweiler [2010-08-22 08:40:20] 467*2^890432-1 is not prime. Res64: BB17601F8A8ACACA Time : 0.0 sec. user=mdettweiler [2010-08-22 08:40:20] 507*2^890432-1 is not prime. Res64: 3DE6016538689CAC Time : 0.0 sec. user=mdettweiler [2010-08-22 08:40:32] 427*2^890433-1 is not prime. Res64: 1BF95E4B4581002C Time : 0.0 sec. user=mdettweiler [2010-08-22 08:40:32] 475*2^890433-1 is not prime. Res64: 16CB0036C1A84408 Time : 0.0 sec. user=mdettweiler [2010-08-22 08:40:33] 401*2^890434-1 is not prime. Res64: D7E15FB8E46BBD95 Time : 0.0 sec. user=henryzz [2010-08-22 08:40:57] 459*2^890436-1 is not prime. Res64: AFF4CE8558C6D96A Time : 0.0 sec. user=henryzz [2010-08-22 08:41:13] 595*2^890435-1 is not prime. Res64: DCFDD34B815B811D Time : 0.0 sec. user=henryzz [2010-08-22 08:41:52] 527*2^890436-1 is not prime. Res64: 29F44290C9E4207A Time : 0.0 sec. user=mdettweiler [2010-08-22 08:44:57] 409*2^890435-1 is not prime. Res64: F30E2C8648A59CD5 Time : 0.0 sec. user=mdettweiler [2010-08-22 08:44:57] 433*2^890435-1 is not prime. Res64: 951D1FBB8EAA8F8D Time : 0.0 sec. user=mdettweiler [2010-08-22 08:44:57] 463*2^890435-1 is not prime. Res64: 04B7988D813D70C2 Time : 0.0 sec. user=henryzz [2010-08-22 08:51:27] 457*2^890437-1 is not prime. Res64: C01C88CE47DD0174 Time : 0.0 sec. user=henryzz [2010-08-22 09:00:19] 465*2^890440-1 is not prime. Res64: C6D53CDC1214A4FC Time : 0.0 sec. user=henryzz [2010-08-22 09:02:14] 533*2^890440-1 is not prime. Res64: 0E8E944F450C6031 Time : 0.0 sec. user=henryzz [2010-08-22 09:02:24] 583*2^890439-1 is not prime. Res64: A18ACE027482F788 Time : 0.0 sec. user=henryzz [2010-08-22 09:13:47] 529*2^890441-1 is not prime. Res64: F519A3E3DF6D8ED1 Time : 0.0 sec. user=henryzz [2010-08-22 09:18:54] 577*2^890441-1 is not prime. Res64: C67109636D8031DF Time : 0.0 sec. user=henryzz [2010-08-22 09:20:57] 501*2^890442-1 is not prime. Res64: 1F1471B6B90610B0 Time : 0.0 sec. user=henryzz [2010-08-22 09:20:59] 551*2^890442-1 is not prime. Res64: D1D96CFF0D4A9A3B Time : 0.0 sec. user=mdettweiler [2010-08-22 09:21:00] 495*2^890437-1 is not prime. Res64: 6EFF807D682DFF5F Time : 0.0 sec. user=mdettweiler [2010-08-22 09:21:00] 549*2^890437-1 is not prime. Res64: C78A491CDA445DBB Time : 0.0 sec. user=mdettweiler [2010-08-22 09:21:01] 501*2^890438-1 is not prime. Res64: DAF38F9ECF39694A Time : 0.0 sec. user=mdettweiler [2010-08-22 09:21:55] 591*2^890438-1 is not prime. Res64: 7BA3F664F0E8083D Time : 0.0 sec. user=mdettweiler [2010-08-22 09:21:55] 429*2^890439-1 is not prime. Res64: 859A309340589F55 Time : 0.0 sec. user=mdettweiler [2010-08-22 09:21:56] 493*2^890439-1 is not prime. Res64: EB97E9564A7FECAD Time : 0.0 sec. user=mdettweiler [2010-08-22 09:22:19] 549*2^890439-1 is not prime. Res64: 51C7AEE2F5EAABA9 Time : 0.0 sec. user=mdettweiler [2010-08-22 09:22:19] 555*2^890439-1 is not prime. Res64: 37FD1E164D6C694D Time : 0.0 sec. user=mdettweiler [2010-08-22 09:22:20] 571*2^890439-1 is not prime. Res64: 26423E550779CFFE Time : 0.0 sec. user=mdettweiler [2010-08-22 09:27:09] 539*2^890440-1 is not prime. Res64: CDE6B70A7CFBF73A Time : 0.0 sec. user=mdettweiler [2010-08-22 09:27:09] 459*2^890441-1 is not prime. Res64: 5215ACE429245E47 Time : 0.0 sec. user=mdettweiler [2010-08-22 09:27:10] 465*2^890441-1 is not prime. Res64: 1C58BD960C773896 Time : 0.0 sec. user=henryzz [2010-08-22 09:32:03] 587*2^890442-1 is not prime. Res64: A52174A3F8FB71EA Time : 0.0 sec. user=henryzz [2010-08-22 09:39:33] 595*2^890443-1 is not prime. Res64: EDB00E7AC03DBB54 Time : 0.0 sec. user=henryzz [2010-08-22 09:40:00] 417*2^890444-1 is not prime. Res64: A3E6523CAE674C44 Time : 0.0 sec. user=henryzz [2010-08-22 09:41:10] 429*2^890443-1 is not prime. Res64: ED9D888DBF0974A1 Time : 0.0 sec. user=henryzz [2010-08-22 09:50:30] 491*2^890446-1 is not prime. Res64: 00C44773CA513996 Time : 0.0 sec. user=henryzz [2010-08-22 09:58:36] 567*2^890446-1 is not prime. Res64: D9AD11E55CE3A294 Time : 0.0 sec. user=henryzz [2010-08-22 10:00:16] 423*2^890447-1 is not prime. Res64: FC13834C83C687A8 Time : 0.0 sec. user=henryzz [2010-08-22 10:00:47] 597*2^890446-1 is not prime. Res64: 80938275C62109F6 Time : 0.0 sec. user=mdettweiler [2010-08-22 10:03:35] 441*2^890443-1 is not prime. Res64: 642EDE16046322BB Time : 0.0 sec. user=mdettweiler [2010-08-22 10:03:35] 451*2^890443-1 is not prime. Res64: AD1E52E3799E4625 Time : 0.0 sec. user=mdettweiler [2010-08-22 10:03:36] 541*2^890443-1 is not prime. Res64: EC82649561CE9982 Time : 0.0 sec. user=mdettweiler [2010-08-22 10:04:41] 503*2^890444-1 is not prime. Res64: E61AB4B70FA90784 Time : 0.0 sec. user=mdettweiler [2010-08-22 10:04:42] 533*2^890444-1 is not prime. Res64: 30B09F6A04C0C0FF Time : 0.0 sec. user=mdettweiler [2010-08-22 10:04:42] 545*2^890444-1 is not prime. Res64: D76C71CBB31E752C Time : 0.0 sec. user=mdettweiler [2010-08-22 10:05:01] 437*2^890444-1 is not prime. Res64: 4FD10886C7298FCE Time : 0.0 sec. user=mdettweiler [2010-08-22 10:05:02] 447*2^890444-1 is not prime. Res64: 0F5C3B5BD98576E4 Time : 0.0 sec. user=mdettweiler [2010-08-22 10:05:02] 477*2^890444-1 is not prime. Res64: 01FB886659B9150F Time : 0.0 sec. user=henryzz [2010-08-22 10:08:51] 493*2^890447-1 is not prime. Res64: AABCB7AEBBF10F97 Time : 0.0 sec. user=mdettweiler [2010-08-22 10:09:02] 427*2^890445-1 is not prime. Res64: B2FCC4948C403C2B Time : 0.0 sec. user=mdettweiler [2010-08-22 10:09:02] 441*2^890445-1 is not prime. Res64: FA0656C63D63E090 Time : 0.0 sec. user=mdettweiler [2010-08-22 10:09:03] 507*2^890445-1 is not prime. Res64: 3B3CED30EB08426E Time : 0.0 sec. user=henryzz [2010-08-22 10:17:17] 453*2^890448-1 is not prime. Res64: 1A6077CA63AF66F6 Time : 0.0 sec. user=henryzz [2010-08-22 10:19:54] 485*2^890448-1 is not prime. Res64: 2C941723801253B2 Time : 0.0 sec. user=henryzz [2010-08-22 10:20:20] 479*2^890448-1 is not prime. Res64: 769B7F738B480C87 Time : 0.0 sec. user=henryzz [2010-08-22 10:26:38] 489*2^890451-1 is not prime. Res64: 9D17958B9A11C7E7 Time : 0.0 sec. user=henryzz [2010-08-22 10:35:39] 421*2^890453-1 is not prime. Res64: 1960AC7A7325917D Time : 0.0 sec. user=henryzz [2010-08-22 10:37:45] 475*2^890453-1 is not prime. Res64: C2E0542EA541ABEF Time : 0.0 sec. user=henryzz [2010-08-22 10:40:01] 507*2^890453-1 is not prime. Res64: 14F8D7D4CFF1F31F Time : 0.0 sec. user=henryzz [2010-08-22 10:45:11] 511*2^890453-1 is not prime. Res64: 54C17A67870B068A Time : 0.0 sec. user=mdettweiler [2010-08-22 10:45:59] 489*2^890448-1 is not prime. Res64: E592641013FDA7FD Time : 0.0 sec. user=mdettweiler [2010-08-22 10:45:59] 555*2^890448-1 is not prime. Res64: 16BB3749ECA598F5 Time : 0.0 sec. user=mdettweiler [2010-08-22 10:46:00] 585*2^890448-1 is not prime. Res64: E8710D62BC6A8471 Time : 0.0 sec. user=mdettweiler [2010-08-22 10:47:08] 597*2^890448-1 is not prime. Res64: DB09C308AE255698 Time : 0.0 sec. user=mdettweiler [2010-08-22 10:47:09] 411*2^890449-1 is not prime. Res64: 7E605350FE066F6A Time : 0.0 sec. user=mdettweiler [2010-08-22 10:47:09] 477*2^890450-1 is not prime. Res64: E380EBE65338703F Time : 0.0 sec. user=mdettweiler [2010-08-22 10:47:59] 521*2^890450-1 is not prime. Res64: 517B8E0E09B2993A Time : 0.0 sec. user=mdettweiler [2010-08-22 10:48:00] 593*2^890450-1 is not prime. Res64: AA124CD4181B8FC5 Time : 0.0 sec. user=mdettweiler [2010-08-22 10:48:01] 453*2^890451-1 is not prime. Res64: 00E4481C640F5D7C Time : 0.0 sec. user=mdettweiler [2010-08-22 10:51:16] 435*2^890452-1 is not prime. Res64: 4BB97CFF3BDC5524 Time : 0.0 sec. user=mdettweiler [2010-08-22 10:51:16] 569*2^890452-1 is not prime. Res64: 885768A400A88F81 Time : 0.0 sec. user=mdettweiler [2010-08-22 10:51:17] 411*2^890453-1 is not prime. Res64: 8449961A853FCFB3 Time : 0.0 sec. user=henryzz [2010-08-22 10:56:41] 417*2^890454-1 is not prime. Res64: 308FADA91B9A90BA Time : 0.0 sec. user=henryzz [2010-08-22 10:56:53] 571*2^890453-1 is not prime. Res64: 5A748A938A4D55BE Time : 0.0 sec. user=henryzz [2010-08-22 10:58:40] 503*2^890454-1 is not prime. Res64: F8DDA8CD3529926C Time : 0.0 sec. user=henryzz [2010-08-22 11:04:32] 507*2^890454-1 is not prime. Res64: CCB9FA6FA881D4A0 Time : 0.0 sec. user=henryzz [2010-08-22 11:15:13] 465*2^890457-1 is not prime. Res64: A417FCC5145DC265 Time : 0.0 sec. user=henryzz [2010-08-22 11:17:29] 475*2^890457-1 is not prime. Res64: A9B6F3E37FD2ECA8 Time : 0.0 sec. user=henryzz [2010-08-22 11:17:49] 471*2^890457-1 is not prime. Res64: F59B47F677A121CF Time : 0.0 sec. user=henryzz [2010-08-22 11:23:27] 517*2^890457-1 is not prime. Res64: CE652D9A3899478B Time : 0.0 sec. user=mdettweiler [2010-08-22 11:27:49] 527*2^890454-1 is not prime. Res64: 5FB367614C3EEFF7 Time : 0.0 sec. user=mdettweiler [2010-08-22 11:27:49] 567*2^890454-1 is not prime. Res64: 8B80005E5165477B Time : 0.0 sec. user=mdettweiler [2010-08-22 11:27:50] 429*2^890455-1 is not prime. Res64: 599A23ACD49A9E4A Time : 0.0 sec. user=mdettweiler [2010-08-22 11:28:58] 519*2^890455-1 is not prime. Res64: 152B5FA55F17A345 Time : 0.0 sec. user=mdettweiler [2010-08-22 11:28:59] 535*2^890455-1 is not prime. Res64: A30C59FDCE030A53 Time : 0.0 sec. user=mdettweiler [2010-08-22 11:28:59] 579*2^890455-1 is not prime. Res64: 0F04E32FE1C3CB06 Time : 0.0 sec. user=mdettweiler [2010-08-22 11:29:53] 589*2^890455-1 is not prime. Res64: 1A30441C083EAA1A Time : 0.0 sec. user=mdettweiler [2010-08-22 11:29:54] 437*2^890456-1 is not prime. Res64: CBF9546C7C5B3891 Time : 0.0 sec. user=mdettweiler [2010-08-22 11:29:54] 459*2^890456-1 is not prime. Res64: B69A0ED0CED18BAC Time : 0.0 sec. user=mdettweiler [2010-08-22 11:33:05] 405*2^890457-1 is not prime. Res64: FB71F3BA67C41008 Time : 0.0 sec. user=mdettweiler [2010-08-22 11:33:05] 427*2^890457-1 is not prime. Res64: ECAD85D1CB057683 Time : 0.0 sec. user=mdettweiler [2010-08-22 11:33:05] 441*2^890457-1 is not prime. Res64: 9A57E4D64C69943F Time : 0.0 sec. user=henryzz [2010-08-22 11:34:08] 585*2^890457-1 is not prime. Res64: 52DDF721C48E0463 Time : 0.0 sec. user=henryzz [2010-08-22 11:36:29] 405*2^890458-1 is not prime. Res64: 1DDC2750B62F6545 Time : 0.0 sec. user=henryzz [2010-08-22 11:36:47] 437*2^890458-1 is not prime. Res64: 509F30A39063B395 Time : 0.0 sec. user=henryzz [2010-08-22 11:42:37] 471*2^890458-1 is not prime. Res64: EC2F78332228E62E Time : 0.0 sec. user=henryzz [2010-08-22 11:52:51] 425*2^890462-1 is not prime. Res64: 76768026A10ED7B5 Time : 0.0 sec. user=henryzz [2010-08-22 11:55:33] 447*2^890462-1 is not prime. Res64: E62ABA3122B7F5AA Time : 0.0 sec. user=henryzz [2010-08-22 11:57:35] 453*2^890462-1 is not prime. Res64: 6C8216352E0E9BA9 Time : 0.0 sec. user=henryzz [2010-08-22 12:02:12] 467*2^890462-1 is not prime. Res64: 7F0A219B22920831 Time : 0.0 sec. user=mdettweiler [2010-08-22 12:09:23] 495*2^890458-1 is not prime. Res64: 00ACFAB0B4C4253F Time : 0.0 sec. user=mdettweiler [2010-08-22 12:09:24] 513*2^890458-1 is not prime. Res64: 83978F9D75885196 Time : 0.0 sec. user=mdettweiler [2010-08-22 12:09:25] 451*2^890459-1 is not prime. Res64: D9CF3A97C9B1E897 Time : 0.0 sec. user=mdettweiler [2010-08-22 12:10:33] 493*2^890459-1 is not prime. Res64: 6313E5FE9C32989E Time : 0.0 sec. user=mdettweiler [2010-08-22 12:10:34] 505*2^890459-1 is not prime. Res64: F8C5CA9A5E21531F Time : 0.0 sec. user=mdettweiler [2010-08-22 12:10:34] 523*2^890459-1 is not prime. Res64: B3CFD7B465755AC1 Time : 0.0 sec. user=mdettweiler [2010-08-22 12:11:25] 589*2^890459-1 is not prime. Res64: 1ACF2F0D5B35BDD8 Time : 0.0 sec. user=mdettweiler [2010-08-22 12:11:25] 557*2^890460-1 is not prime. Res64: 14007D82830D1198 Time : 0.0 sec. user=mdettweiler [2010-08-22 12:11:26] 579*2^890460-1 is not prime. Res64: 9A92AFC91CFD4CE4 Time : 0.0 sec. user=henryzz [2010-08-22 12:13:57] 477*2^890462-1 is not prime. Res64: C4807A7A2F2720FC Time : 0.0 sec. user=mdettweiler [2010-08-22 12:14:32] 465*2^890461-1 is not prime. Res64: 0244070E1969C5B6 Time : 0.0 sec. user=mdettweiler [2010-08-22 12:14:33] 577*2^890461-1 is not prime. Res64: E8BFF836CE8B8A50 Time : 0.0 sec. user=mdettweiler [2010-08-22 12:14:33] 591*2^890461-1 is not prime. Res64: AA4FBD2D0EC0AB05 Time : 0.0 sec. user=henryzz [2010-08-22 12:16:09] 501*2^890462-1 is not prime. Res64: 4808444DBF16C7D3 Time : 0.0 sec. user=henryzz [2010-08-22 12:18:24] 415*2^890463-1 is not prime. Res64: 219AEF8F8125481B Time : 0.0 sec. user=henryzz [2010-08-22 12:22:12] 441*2^890463-1 is not prime. Res64: 59D15563BD08B296 Time : 0.0 sec. user=henryzz [2010-08-22 12:33:44] 485*2^890466-1 is not prime. Res64: 0211872F705306E2 Time : 0.0 sec. user=henryzz [2010-08-22 12:36:19] 493*2^890467-1 is not prime. Res64: 0537BD0008A0D831 Time : 0.0 sec. user=henryzz [2010-08-22 12:38:17] 499*2^890467-1 is not prime. Res64: 59EB55DED70FCECF Time : 0.0 sec. user=henryzz [2010-08-22 12:41:05] 549*2^890467-1 is not prime. Res64: 4A2C7A2E8D662E45 Time : 0.0 sec. user=mdettweiler [2010-08-22 12:51:22] 553*2^890463-1 is not prime. Res64: 7ED759F7FE70C58B Time : 0.0 sec. user=mdettweiler [2010-08-22 12:51:22] 569*2^890464-1 is not prime. Res64: 4268FBD4C3719613 Time : 0.0 sec. user=mdettweiler [2010-08-22 12:51:22] 409*2^890465-1 is not prime. Res64: 755E7A1B52C41534 Time : 0.0 sec. user=mdettweiler [2010-08-22 12:52:17] 447*2^890465-1 is not prime. Res64: 88C6F62C087B3751 Time : 0.0 sec. user=mdettweiler [2010-08-22 12:52:17] 489*2^890465-1 is not prime. Res64: 7F3AD432C2E218CF Time : 0.0 sec. user=mdettweiler [2010-08-22 12:52:17] 561*2^890465-1 is not prime. Res64: 190D2A9E0C2F82CC Time : 0.0 sec. user=mdettweiler [2010-08-22 12:53:10] 405*2^890466-1 is not prime. Res64: EC8A18558531A0F9 Time : 0.0 sec. user=mdettweiler [2010-08-22 12:53:10] 437*2^890466-1 is not prime. Res64: 30FFDC87A4373B43 Time : 0.0 sec. user=mdettweiler [2010-08-22 12:53:10] 443*2^890466-1 is not prime. Res64: ADE462C7D18D9602 Time : 0.0 sec. user=henryzz [2010-08-22 12:55:14] 555*2^890467-1 is not prime. Res64: 5343237329B2AD15 Time : 0.0 sec. user=mdettweiler [2010-08-22 12:56:21] 497*2^890466-1 is not prime. Res64: A4B75832EBB06AF2 Time : 0.0 sec. user=mdettweiler [2010-08-22 12:56:22] 573*2^890466-1 is not prime. Res64: A7884B915F911881 Time : 0.0 sec. user=mdettweiler [2010-08-22 12:56:22] 585*2^890466-1 is not prime. Res64: 0F70ADB9BE2F3C3D Time : 0.0 sec. user=henryzz [2010-08-22 12:56:50] 583*2^890467-1 is not prime. Res64: BC05E69F21A855CD Time : 0.0 sec. user=henryzz [2010-08-22 12:58:39] 503*2^890468-1 is not prime. Res64: 023EA6CB1A4EC970 Time : 0.0 sec. user=henryzz [2010-08-22 13:01:56] 585*2^890468-1 is not prime. Res64: A86B56A197BDCE07 Time : 0.0 sec. user=henryzz [2010-08-22 13:16:21] 455*2^890472-1 is not prime. Res64: E39774C0DD0154C1 Time : 0.0 sec. user=henryzz [2010-08-22 13:18:06] 443*2^890470-1 is not prime. Res64: D1F934E598A6EABB Time : 0.0 sec. user=henryzz [2010-08-22 13:18:16] 489*2^890472-1 is not prime. Res64: 8B4B0E0BEDE44C3E Time : 0.0 sec. user=henryzz [2010-08-22 13:20:45] 503*2^890472-1 is not prime. Res64: 77C589AF4A688ECF Time : 0.0 sec. user=mdettweiler [2010-08-22 13:33:18] 415*2^890469-1 is not prime. Res64: 9B0F2CFDCEAB7E69 Time : 0.0 sec. user=mdettweiler [2010-08-22 13:33:18] 459*2^890469-1 is not prime. Res64: 09B8C0ACA7CD6936 Time : 0.0 sec. user=mdettweiler [2010-08-22 13:33:18] 481*2^890469-1 is not prime. Res64: E14756664AE46138 Time : 0.0 sec. user=mdettweiler [2010-08-22 13:34:11] 511*2^890469-1 is not prime. Res64: C5B714DF50334D65 Time : 0.0 sec. user=mdettweiler [2010-08-22 13:34:11] 555*2^890469-1 is not prime. Res64: AB0612D4D74B250D Time : 0.0 sec. user=mdettweiler [2010-08-22 13:34:11] 559*2^890469-1 is not prime. Res64: BB3B8255525E80B0 Time : 0.0 sec. user=mdettweiler [2010-08-22 13:35:01] 571*2^890469-1 is not prime. Res64: 4087F90B6BFB2F93 Time : 0.0 sec. user=mdettweiler [2010-08-22 13:35:01] 423*2^890470-1 is not prime. Res64: B1C5D9AC6FBE66B7 Time : 0.0 sec. user=mdettweiler [2010-08-22 13:35:01] 425*2^890470-1 is not prime. Res64: 7E0664711A799456 Time : 0.0 sec. user=henryzz [2010-08-22 13:35:32] 555*2^890472-1 is not prime. Res64: 990A01B6E3880B3B Time : 0.0 sec. user=henryzz [2010-08-22 13:36:42] 405*2^890473-1 is not prime. Res64: 215CC2AD17390247 Time : 0.0 sec. user=mdettweiler [2010-08-22 13:38:09] 575*2^890470-1 is not prime. Res64: 8BD3CA9E43E5F8FE Time : 0.0 sec. user=mdettweiler [2010-08-22 13:38:09] 549*2^890471-1 is not prime. Res64: 5C92E97B45AEDEEE Time : 0.0 sec. user=mdettweiler [2010-08-22 13:38:09] 591*2^890471-1 is not prime. Res64: DEACE919FBE94673 Time : 0.0 sec. user=henryzz [2010-08-22 13:40:48] 547*2^890473-1 is not prime. Res64: 3CAFB974E44841D7 Time : 0.0 sec. user=henryzz [2010-08-22 13:41:11] 429*2^890473-1 is not prime. Res64: 8B4C917C29B31473 Time : 0.0 sec. user=henryzz [2010-08-22 13:55:52] 573*2^890475-1 is not prime. Res64: 94D37879C56F0C38 Time : 0.0 sec. user=henryzz [2010-08-22 13:58:07] 595*2^890475-1 is not prime. Res64: 7CBFA1B847A916A8 Time : 0.0 sec. user=henryzz [2010-08-22 14:00:43] 417*2^890478-1 is not prime. Res64: CE65034D9C71E292 Time : 0.0 sec. user=henryzz [2010-08-22 14:00:47] 527*2^890478-1 is not prime. Res64: 95CCDFAA37090237 Time : 0.0 sec. user=mdettweiler [2010-08-22 14:15:17] 495*2^890474-1 is not prime. Res64: EAB67FAE61EECCC9 Time : 0.0 sec. user=mdettweiler [2010-08-22 14:15:17] 561*2^890474-1 is not prime. Res64: 58E7BB33071B8E5C Time : 0.0 sec. user=mdettweiler [2010-08-22 14:15:18] 575*2^890474-1 is not prime. Res64: BB0F7C6FC026E168 Time : 0.0 sec. user=mdettweiler [2010-08-22 14:15:59] 585*2^890474-1 is not prime. Res64: CEBC3F7E6E1226B4 Time : 0.0 sec. user=mdettweiler [2010-08-22 14:16:00] 587*2^890474-1 is not prime. Res64: CA798D9E4EA6BA80 Time : 0.0 sec. user=mdettweiler [2010-08-22 14:16:00] 409*2^890475-1 is not prime. Res64: D5EFB8509AE70829 Time : 0.0 sec. user=mdettweiler [2010-08-22 14:16:46] 411*2^890475-1 is not prime. Res64: 71534A7983CAE2F2 Time : 0.0 sec. user=mdettweiler [2010-08-22 14:16:46] 531*2^890475-1 is not prime. Res64: 65FF2E8E71FC7072 Time : 0.0 sec. user=mdettweiler [2010-08-22 14:16:46] 553*2^890475-1 is not prime. Res64: 04F678AE9E820B5B Time : 0.0 sec. user=henryzz [2010-08-22 14:16:48] 555*2^890478-1 is not prime. Res64: BDCF8597B14FBB47 Time : 0.0 sec. user=henryzz [2010-08-22 14:19:00] 439*2^890479-1 is not prime. Res64: A2535410B8AA0021 Time : 0.0 sec. user=mdettweiler [2010-08-22 14:19:55] 579*2^890476-1 is not prime. Res64: 35088FC9F0903E1F Time : 0.0 sec. user=mdettweiler [2010-08-22 14:19:56] 475*2^890477-1 is not prime. Res64: 0124797906BD895D Time : 0.0 sec. user=mdettweiler [2010-08-22 14:19:56] 519*2^890477-1 is not prime. Res64: 9F14573661A2CAD6 Time : 0.0 sec. user=henryzz [2010-08-22 14:20:54] 589*2^890479-1 is not prime. Res64: BFE6626592D76CFE Time : 0.0 sec. user=henryzz [2010-08-22 14:22:30] 469*2^890479-1 is not prime. Res64: BF9A694A2BE20653 Time : 0.0 sec. user=henryzz [2010-08-22 14:37:34] 525*2^890482-1 is not prime. Res64: 6DFDAAEC32162242 Time : 0.0 sec. user=henryzz [2010-08-22 14:39:17] 463*2^890483-1 is not prime. Res64: A54CD4DE9C171CC4 Time : 0.0 sec. user=henryzz [2010-08-22 14:39:50] 467*2^890482-1 is not prime. Res64: 1C390157C56ECEE8 Time : 0.0 sec. user=henryzz [2010-08-22 14:42:10] 505*2^890483-1 is not prime. Res64: 54309BAD38756D77 Time : 0.0 sec. user=mdettweiler [2010-08-22 14:57:07] 405*2^890480-1 is not prime. Res64: 8B12E98AC76592ED Time : 0.0 sec. user=mdettweiler [2010-08-22 14:57:07] 455*2^890480-1 is not prime. Res64: AF6701DF0C3C5924 Time : 0.0 sec. user=mdettweiler [2010-08-22 14:57:08] 465*2^890480-1 is not prime. Res64: 02CC29199676B616 Time : 0.0 sec. user=henryzz [2010-08-22 14:57:08] 519*2^890483-1 is not prime. Res64: C4DF643F8FE1CA88 Time : 0.0 sec. user=mdettweiler [2010-08-22 14:57:56] 479*2^890480-1 is not prime. Res64: FBBFC213FE46BFF5 Time : 0.0 sec. user=mdettweiler [2010-08-22 14:57:56] 503*2^890480-1 is not prime. Res64: 6B7CFB58A87AC5AD Time : 0.0 sec. user=mdettweiler [2010-08-22 14:57:56] 525*2^890480-1 is not prime. Res64: C68F70520438050D Time : 0.0 sec. user=henryzz [2010-08-22 14:58:08] 523*2^890483-1 is not prime. Res64: 245F18EF44AA2F2D Time : 0.0 sec. user=mdettweiler [2010-08-22 14:58:35] 529*2^890481-1 is not prime. Res64: 89D0B17980DF462D Time : 0.0 sec. user=mdettweiler [2010-08-22 14:58:35] 535*2^890481-1 is not prime. Res64: 161BD60435A0BD38 Time : 0.0 sec. user=mdettweiler [2010-08-22 14:58:35] 571*2^890481-1 is not prime. Res64: 4A1C1FA0FFCAD50D Time : 0.0 sec. user=henryzz [2010-08-22 14:59:16] 571*2^890483-1 is not prime. Res64: F76F34698E596AC6 Time : 0.0 sec. user=henryzz [2010-08-22 15:00:55] 589*2^890483-1 is not prime. Res64: A4D8D612374D4D90 Time : 0.0 sec. user=mdettweiler [2010-08-22 15:01:45] 545*2^890482-1 is not prime. Res64: CE70BE11678F7CE3 Time : 0.0 sec. user=mdettweiler [2010-08-22 15:01:46] 441*2^890483-1 is not prime. Res64: 95778843F0CEF357 Time : 0.0 sec. user=mdettweiler [2010-08-22 15:01:46] 451*2^890483-1 is not prime. Res64: 7ADC007C8535B76C Time : 0.0 sec. user=henryzz [2010-08-22 15:17:26] 437*2^890484-1 is not prime. Res64: 28BDEEBA6D9E4C19 Time : 0.0 sec. user=henryzz [2010-08-22 15:17:30] 525*2^890486-1 is not prime. Res64: 86E552A3841B3988 Time : 0.0 sec. user=henryzz [2010-08-22 15:20:34] 557*2^890484-1 is not prime. Res64: 085559133706C54C Time : 0.0 sec. user=henryzz [2010-08-22 15:20:47] 545*2^890486-1 is not prime. Res64: B8DC0EDB0145E542 Time : 0.0 sec. user=henryzz [2010-08-22 15:36:52] 555*2^890487-1 is not prime. Res64: F898101F0CD00E43 Time : 0.0 sec. user=henryzz [2010-08-22 15:37:19] 465*2^890487-1 is not prime. Res64: CFD5BB2FD0B3FB52 Time : 0.0 sec. user=mdettweiler [2010-08-22 15:39:23] 591*2^890483-1 is not prime. Res64: 27541E09FC3A047B Time : 0.0 sec. user=mdettweiler [2010-08-22 15:39:24] 595*2^890483-1 is not prime. Res64: 92356FB9FD1DAE5C Time : 0.0 sec. user=mdettweiler [2010-08-22 15:39:24] 423*2^890484-1 is not prime. Res64: 73F947124DCBFAD4 Time : 0.0 sec. user=henryzz [2010-08-22 15:39:37] 453*2^890488-1 is not prime. Res64: 0CF0F64064F56C60 Time : 0.0 sec. user=mdettweiler [2010-08-22 15:40:07] 489*2^890484-1 is not prime. Res64: 8C3F7F89CF9DC69F Time : 0.0 sec. user=mdettweiler [2010-08-22 15:40:07] 503*2^890484-1 is not prime. Res64: DEE00E25E4E1D918 Time : 0.0 sec. user=mdettweiler [2010-08-22 15:40:07] 549*2^890484-1 is not prime. Res64: D4F9F36ED8202AE4 Time : 0.0 sec. user=henryzz [2010-08-22 15:40:32] 419*2^890488-1 is not prime. Res64: 67BBC9B1A8DB845E Time : 0.0 sec. user=mdettweiler [2010-08-22 15:40:56] 567*2^890484-1 is not prime. Res64: 7F02336CABFC1CBA Time : 0.0 sec. user=mdettweiler [2010-08-22 15:40:57] 597*2^890484-1 is not prime. Res64: 03EC006D179E9699 Time : 0.0 sec. user=mdettweiler [2010-08-22 15:40:57] 589*2^890485-1 is not prime. Res64: 91A73BDA27AB7E52 Time : 0.0 sec. user=mdettweiler [2010-08-22 15:44:30] 581*2^890486-1 is not prime. Res64: BA8C8217157F0584 Time : 0.0 sec. user=mdettweiler [2010-08-22 15:44:30] 585*2^890486-1 is not prime. Res64: F3D0AC3E18790C72 Time : 0.0 sec. user=mdettweiler [2010-08-22 15:44:31] 405*2^890487-1 is not prime. Res64: 09071AAFE9BE3403 Time : 0.0 sec. user=henryzz [2010-08-22 15:55:52] 507*2^890488-1 is not prime. Res64: BFF2609FC53A2C67 Time : 0.0 sec. user=henryzz [2010-08-22 15:56:55] 441*2^890489-1 is not prime. Res64: D0418576E7038B52 Time : 0.0 sec. user=henryzz [2010-08-22 15:58:38] 525*2^890490-1 is not prime. Res64: 110299899C135B3A Time : 0.0 sec. user=henryzz [2010-08-22 16:00:22] 587*2^890492-1 is not prime. Res64: BD207C8277420EA6 Time : 0.0 sec. user=henryzz [2010-08-22 16:15:14] 423*2^890495-1 is not prime. Res64: 7041EF03D6BC82D6 Time : 0.0 sec. user=henryzz [2010-08-22 16:16:34] 459*2^890495-1 is not prime. Res64: 6B00CFC3679AA7EC Time : 0.0 sec. user=henryzz [2010-08-22 16:16:41] 475*2^890495-1 is not prime. Res64: 0838EA0D400988A3 Time : 0.0 sec. user=henryzz [2010-08-22 16:19:41] 525*2^890495-1 is not prime. Res64: 0361383AB4C6A7DC Time : 0.0 sec. user=mdettweiler [2010-08-22 16:21:40] 579*2^890489-1 is not prime. Res64: D9C06C3FF14E0B76 Time : 0.0 sec. user=mdettweiler [2010-08-22 16:21:41] 595*2^890489-1 is not prime. Res64: B2526C5187F6BEE2 Time : 0.0 sec. user=mdettweiler [2010-08-22 16:21:41] 465*2^890490-1 is not prime. Res64: A74615CE7B12F00B Time : 0.0 sec. user=mdettweiler [2010-08-22 16:22:22] 537*2^890490-1 is not prime. Res64: 947DDBF108AD6968 Time : 0.0 sec. user=mdettweiler [2010-08-22 16:22:22] 595*2^890491-1 is not prime. Res64: 745DAE04C70CD6D0 Time : 0.0 sec. user=mdettweiler [2010-08-22 16:22:22] 515*2^890492-1 is not prime. Res64: AFD868275F9632C0 Time : 0.0 sec. user=mdettweiler [2010-08-22 16:22:59] 427*2^890493-1 is not prime. Res64: D62FA9EE79AE7150 Time : 0.0 sec. user=mdettweiler [2010-08-22 16:22:59] 517*2^890493-1 is not prime. Res64: 8CF8546429577F0D Time : 0.0 sec. user=mdettweiler [2010-08-22 16:22:59] 565*2^890493-1 is not prime. Res64: E09BC62F5762DDD7 Time : 0.0 sec. user=mdettweiler [2010-08-22 16:26:22] 447*2^890494-1 is not prime. Res64: 4C9A887388E497D4 Time : 0.0 sec. user=mdettweiler [2010-08-22 16:26:22] 525*2^890494-1 is not prime. Res64: 9ED755D6B6BF9D09 Time : 0.0 sec. user=mdettweiler [2010-08-22 16:26:23] 527*2^890494-1 is not prime. Res64: 5F4E7E790CAB3BD7 Time : 0.0 sec. user=mdettweiler [2010-08-22 17:03:30] 457*2^890497-1 is not prime. Res64: CDDCAD8F1FDE4403 Time : 0.0 sec. user=mdettweiler [2010-08-22 17:03:30] 499*2^890497-1 is not prime. Res64: 8247DB62755490D7 Time : 0.0 sec. user=mdettweiler [2010-08-22 17:03:31] 507*2^890497-1 is not prime. Res64: 685645F6C6D39D8E Time : 0.0 sec. user=mdettweiler [2010-08-22 17:04:12] 517*2^890497-1 is not prime. Res64: 84F445287F0D8803 Time : 0.0 sec. user=mdettweiler [2010-08-22 17:04:13] 567*2^890497-1 is not prime. Res64: C705BBCE53209EC2 Time : 0.0 sec. user=mdettweiler [2010-08-22 17:04:13] 589*2^890497-1 is not prime. Res64: 68DABE34C2C4C5B9 Time : 0.0 sec. user=mdettweiler [2010-08-22 17:04:45] 501*2^890498-1 is not prime. Res64: 23D4F2A23BAB60E0 Time : 0.0 sec. user=mdettweiler [2010-08-22 17:04:46] 515*2^890498-1 is not prime. Res64: AC7678177AC49DE6 Time : 0.0 sec. user=mdettweiler [2010-08-22 17:04:46] 481*2^890499-1 is not prime. Res64: FA64D666EBDF2791 Time : 0.0 sec. user=mdettweiler [2010-08-22 17:08:16] 531*2^890499-1 is not prime. Res64: F03D0452AC623BC7 Time : 0.0 sec. user=mdettweiler [2010-08-22 17:08:16] 571*2^890499-1 is not prime. Res64: 7F31FA3538C63F20 Time : 0.0 sec. user=mdettweiler [2010-08-22 17:08:17] 453*2^890500-1 is not prime. Res64: 1DC52CC647B2DC90 Time : 0.0 sec. user=mdettweiler [2010-08-22 17:45:24] 455*2^890500-1 is not prime. Res64: 3FB49B2CC7734238 Time : 0.0 sec. user=mdettweiler [2010-08-22 17:45:24] 465*2^890500-1 is not prime. Res64: E6556E89C5BE6169 Time : 0.0 sec. user=mdettweiler [2010-08-22 17:45:25] 597*2^890500-1 is not prime. Res64: CCFA88E0568E62D6 Time : 0.0 sec. user=mdettweiler [2010-08-22 17:46:03] 411*2^890501-1 is not prime. Res64: B9EFF37EC054E869 Time : 0.0 sec. user=mdettweiler [2010-08-22 17:46:04] 417*2^890501-1 is not prime. Res64: 8DA1C8A80CCB30F8 Time : 0.0 sec. user=mdettweiler [2010-08-22 17:46:04] 529*2^890501-1 is not prime. Res64: EDEFB8F4EF17D442 Time : 0.0 sec. user=mdettweiler [2010-08-22 17:46:38] 561*2^890501-1 is not prime. Res64: 9A3F69D2481436F5 Time : 0.0 sec. user=mdettweiler [2010-08-22 17:46:39] 431*2^890502-1 is not prime. Res64: B56ECD6C8D0B4BAE Time : 0.0 sec. user=mdettweiler [2010-08-22 17:46:39] 503*2^890502-1 is not prime. Res64: 3C4A5D3898EB3C4F Time : 0.0 sec. user=mdettweiler [2010-08-22 17:50:23] 521*2^890502-1 is not prime. Res64: 323A7AD01FAB9687 Time : 0.0 sec. user=mdettweiler [2010-08-22 17:50:24] 511*2^890503-1 is not prime. Res64: BB07F40C86CA4490 Time : 0.0 sec. user=mdettweiler [2010-08-22 17:50:24] 595*2^890503-1 is not prime. Res64: DDDAC5164D375F1B Time : 0.0 sec. user=mdettweiler [2010-08-22 18:27:26] 495*2^890504-1 is not prime. Res64: AA34CAB9A3CBEFFA Time : 0.0 sec. user=mdettweiler [2010-08-22 18:27:27] 543*2^890504-1 is not prime. Res64: 92F7DA8CFA9E52B8 Time : 0.0 sec. user=mdettweiler [2010-08-22 18:27:27] 585*2^890504-1 is not prime. Res64: A88F63A4D8CA1289 Time : 0.0 sec. user=mdettweiler [2010-08-22 18:27:51] 555*2^890505-1 is not prime. Res64: 67E0D9EF669C4ED8 Time : 0.0 sec. user=mdettweiler [2010-08-22 18:27:51] 591*2^890505-1 is not prime. Res64: D0FFC5329E038EF3 Time : 0.0 sec. user=mdettweiler [2010-08-22 18:27:52] 595*2^890505-1 is not prime. Res64: 4D25BC133FAEB51D Time : 0.0 sec. user=mdettweiler [2010-08-22 18:28:37] 405*2^890506-1 is not prime. Res64: 6B92F2E2695D871E Time : 0.0 sec. user=mdettweiler [2010-08-22 18:28:37] 477*2^890506-1 is not prime. Res64: FB0C5E947AA5BCE5 Time : 0.0 sec. user=mdettweiler [2010-08-22 18:28:38] 549*2^890507-1 is not prime. Res64: 71D697663D1C7585 Time : 0.0 sec. user=mdettweiler [2010-08-22 18:32:12] 459*2^890508-1 is not prime. Res64: 1472754379A6B38B Time : 0.0 sec. user=mdettweiler [2010-08-22 18:32:13] 485*2^890508-1 is not prime. Res64: 95AE13176A73D0A2 Time : 0.0 sec. user=mdettweiler [2010-08-22 18:32:13] 503*2^890508-1 is not prime. Res64: A76DCEF031F2B055 Time : 0.0 sec. user=mdettweiler [2010-08-22 19:09:27] 515*2^890508-1 is not prime. Res64: 330C661E07ACCB8A Time : 0.0 sec. user=mdettweiler [2010-08-22 19:09:28] 557*2^890508-1 is not prime. Res64: F005A351858AB03A Time : 0.0 sec. user=mdettweiler [2010-08-22 19:09:28] 411*2^890509-1 is not prime. Res64: 4093E14486698C66 Time : 0.0 sec. user=mdettweiler [2010-08-22 19:09:41] 435*2^890509-1 is not prime. Res64: F3E4633164079583 Time : 0.0 sec. user=mdettweiler [2010-08-22 19:09:42] 405*2^890510-1 is not prime. Res64: 8FBE6BB013553753 Time : 0.0 sec. user=mdettweiler [2010-08-22 19:09:42] 417*2^890510-1 is not prime. Res64: 0EC6D3DC2382B459 Time : 0.0 sec. user=mdettweiler [2010-08-22 19:10:23] 483*2^890510-1 is not prime. Res64: B751096C29BB3C32 Time : 0.0 sec. user=mdettweiler [2010-08-22 19:10:24] 503*2^890510-1 is not prime. Res64: 0DD6270C1467B95C Time : 0.0 sec. user=mdettweiler [2010-08-22 19:10:24] 587*2^890510-1 is not prime. Res64: EC2943D158FC1E73 Time : 0.0 sec. user=mdettweiler [2010-08-22 19:14:01] 411*2^890511-1 is not prime. Res64: F9436BF3CA842B67 Time : 0.0 sec. user=mdettweiler [2010-08-22 19:14:01] 565*2^890511-1 is not prime. Res64: 13861E0F54915B72 Time : 0.0 sec. user=mdettweiler [2010-08-22 19:14:02] 467*2^890512-1 is not prime. Res64: 5A597D429C0617C9 Time : 0.0 sec. user=mdettweiler [2010-08-22 19:51:16] 563*2^890512-1 is not prime. Res64: 9EBB7EBA45B4FBBD Time : 0.0 sec. user=mdettweiler [2010-08-22 19:51:16] 569*2^890512-1 is not prime. Res64: 89463F52C60F9317 Time : 0.0 sec. user=mdettweiler [2010-08-22 19:51:17] 435*2^890513-1 is not prime. Res64: B497B134E4F21C7E Time : 0.0 sec. user=mdettweiler [2010-08-22 19:51:21] 517*2^890513-1 is not prime. Res64: 9456F884BFAF078D Time : 0.0 sec. user=mdettweiler [2010-08-22 19:51:21] 585*2^890513-1 is not prime. Res64: 404313889C6873E9 Time : 0.0 sec. user=mdettweiler [2010-08-22 19:51:22] 461*2^890514-1 is not prime. Res64: C8403D1F61644A5A Time : 0.0 sec. user=mdettweiler [2010-08-22 19:52:06] 465*2^890514-1 is not prime. Res64: DD2C3153FA5ABA2E Time : 0.0 sec. user=mdettweiler [2010-08-22 19:52:06] 551*2^890514-1 is not prime. Res64: BE85A5A7D01A6920 Time : 0.0 sec. user=mdettweiler [2010-08-22 19:52:06] 555*2^890514-1 is not prime. Res64: AE0519E9BD051BED Time : 0.0 sec. user=mdettweiler [2010-08-22 19:55:59] 563*2^890514-1 is not prime. Res64: 04266D445BC301D4 Time : 0.0 sec. user=mdettweiler [2010-08-22 19:55:59] 441*2^890515-1 is not prime. Res64: 3EC4008207B60E9A Time : 0.0 sec. user=mdettweiler [2010-08-22 19:56:00] 511*2^890515-1 is not prime. Res64: 1B2BF46C3273D69E Time : 0.0 sec. user=mdettweiler [2010-08-22 20:32:56] 589*2^890515-1 is not prime. Res64: D12246D747C72D3B Time : 0.0 sec. user=mdettweiler [2010-08-22 20:32:56] 425*2^890516-1 is not prime. Res64: B8BD8499CA5A8A87 Time : 0.0 sec. user=mdettweiler [2010-08-22 20:32:57] 519*2^890516-1 is not prime. Res64: 967B7593F5B6CF78 Time : 0.0 sec. user=mdettweiler [2010-08-22 20:33:06] 545*2^890516-1 is not prime. Res64: 98DCB3FFA93D52F1 Time : 0.0 sec. user=mdettweiler [2010-08-22 20:33:06] 567*2^890516-1 is not prime. Res64: AB6D1F39EF02FBF2 Time : 0.0 sec. user=mdettweiler [2010-08-22 20:33:07] 585*2^890516-1 is not prime. Res64: 759F97AB1BF8D004 Time : 0.0 sec. user=mdettweiler [2010-08-22 20:33:41] 441*2^890517-1 is not prime. Res64: 472259E1FDBF1F77 Time : 0.0 sec. user=mdettweiler [2010-08-22 20:33:41] 447*2^890517-1 is not prime. Res64: F497F37AB7FFB42C Time : 0.0 sec. user=mdettweiler [2010-08-22 20:33:42] 465*2^890517-1 is not prime. Res64: 7B2FC4F81EE40ECA Time : 0.0 sec. user=mdettweiler [2010-08-22 20:37:30] 471*2^890517-1 is not prime. Res64: 1E56CA5270364D7A Time : 0.0 sec. user=mdettweiler [2010-08-22 20:37:30] 461*2^890518-1 is not prime. Res64: 8703DCB7FC705B4B Time : 0.0 sec. user=mdettweiler [2010-08-22 20:37:31] 483*2^890518-1 is not prime. Res64: 9505B63673A22CAD Time : 0.0 sec. user=mdettweiler [2010-08-22 21:14:29] 545*2^890518-1 is not prime. Res64: 83D92CAB66C97BA6 Time : 0.0 sec. user=mdettweiler [2010-08-22 21:14:29] 555*2^890518-1 is not prime. Res64: 85BDEBF4E4C02935 Time : 0.0 sec. user=mdettweiler [2010-08-22 21:14:30] 411*2^890519-1 is not prime. Res64: 0AC1415BB9A79CEA Time : 0.0 sec. user=mdettweiler [2010-08-22 21:14:37] 435*2^890519-1 is not prime. Res64: 52C750843BD33AEC Time : 0.0 sec. user=mdettweiler [2010-08-22 21:14:37] 493*2^890519-1 is not prime. Res64: 75C8B1E1EBCD55C5 Time : 0.0 sec. user=mdettweiler [2010-08-22 21:14:37] 511*2^890519-1 is not prime. Res64: 2325CF2A05DB689D Time : 0.0 sec. user=mdettweiler [2010-08-22 21:15:08] 531*2^890519-1 is not prime. Res64: 62013370313F6365 Time : 0.0 sec. user=mdettweiler [2010-08-22 21:15:08] 571*2^890519-1 is not prime. Res64: 60E8A7F730D08CBB Time : 0.0 sec. user=mdettweiler [2010-08-22 21:15:08] 479*2^890520-1 is not prime. Res64: 2A36624760B8D393 Time : 0.0 sec. user=mdettweiler [2010-08-22 21:19:03] 405*2^890521-1 is not prime. Res64: 06AD3333E2236B35 Time : 0.0 sec. user=mdettweiler [2010-08-22 21:19:03] 469*2^890521-1 is not prime. Res64: 23EAE044624BFE20 Time : 0.0 sec. user=mdettweiler [2010-08-22 21:19:04] 537*2^890521-1 is not prime. Res64: 134474A4D383B4B4 Time : 0.0 sec. user=mdettweiler [2010-08-22 21:56:19] 497*2^890522-1 is not prime. Res64: F63019BCC6165388 Time : 0.0 sec. user=mdettweiler [2010-08-22 21:56:19] 525*2^890522-1 is not prime. Res64: ABD4BE774DE79F4E Time : 0.0 sec. user=mdettweiler [2010-08-22 21:56:19] 415*2^890523-1 is not prime. Res64: 9FC45E80B53EF4DB Time : 0.0 sec. user=mdettweiler [2010-08-22 21:56:21] 471*2^890523-1 is not prime. Res64: 729EEFFA9C10FA67 Time : 0.0 sec. user=mdettweiler [2010-08-22 21:56:21] 489*2^890523-1 is not prime. Res64: C2FFEA0096DCC80D Time : 0.0 sec. user=mdettweiler [2010-08-22 21:56:22] 413*2^890524-1 is not prime. Res64: A546773628BE5BE8 Time : 0.0 sec. user=mdettweiler [2010-08-22 21:57:20] 443*2^890524-1 is not prime. Res64: 0DEC8279F412CEA2 Time : 0.0 sec. user=mdettweiler [2010-08-22 21:57:21] 519*2^890524-1 is not prime. Res64: E1FD43805927308B Time : 0.0 sec. user=mdettweiler [2010-08-22 21:57:21] 525*2^890524-1 is not prime. Res64: 5D67F283CD68DE0A Time : 0.0 sec. user=mdettweiler [2010-08-22 22:00:50] 539*2^890524-1 is not prime. Res64: 85A203BE564B825D Time : 0.0 sec. user=mdettweiler [2010-08-22 22:00:50] 545*2^890524-1 is not prime. Res64: CD0910B09D79EB2D Time : 0.0 sec. user=mdettweiler [2010-08-22 22:00:51] 567*2^890524-1 is not prime. Res64: 7FECD5F4E5D2B078 Time : 0.0 sec. user=mdettweiler [2010-08-22 22:38:12] 573*2^890524-1 is not prime. Res64: C71528E5A3B836EF Time : 0.0 sec. user=mdettweiler [2010-08-22 22:38:13] 437*2^890526-1 is not prime. Res64: C2E97BFD3D1F81E5 Time : 0.0 sec. user=mdettweiler [2010-08-22 22:38:13] 473*2^890526-1 is not prime. Res64: 40D1A5B9B6DE7BBB Time : 0.0 sec. user=mdettweiler [2010-08-22 22:38:24] 483*2^890526-1 is not prime. Res64: 34C4432B4492D96D Time : 0.0 sec. user=mdettweiler [2010-08-22 22:38:25] 507*2^890526-1 is not prime. Res64: 56A535CB2F3E71A1 Time : 0.0 sec. user=mdettweiler [2010-08-22 22:38:26] 513*2^890526-1 is not prime. Res64: 46797336BF46C6DF Time : 0.0 sec. user=mdettweiler [2010-08-22 22:39:15] 557*2^890526-1 is not prime. Res64: E28A2E870EDF4973 Time : 0.0 sec. user=mdettweiler [2010-08-22 22:39:16] 567*2^890526-1 is not prime. Res64: DB1964A1383B7F82 Time : 0.0 sec. user=mdettweiler [2010-08-22 22:39:16] 581*2^890526-1 is not prime. Res64: 9DA9EE497BB51298 Time : 0.0 sec. user=mdettweiler [2010-08-22 22:42:39] 405*2^890527-1 is not prime. Res64: 306D9E7068A82484 Time : 0.0 sec. user=mdettweiler [2010-08-22 22:42:40] 433*2^890527-1 is not prime. Res64: 02B9B642812F76D3 Time : 0.0 sec. user=mdettweiler [2010-08-22 22:42:40] 441*2^890527-1 is not prime. Res64: 99A88D4D842E4470 Time : 0.0 sec. user=sm5ymt [2010-08-22 23:12:26] 525*2^890530-1 is not prime. Res64: 51F79C12D7B7052E Time : 0.0 sec. user=sm5ymt [2010-08-22 23:14:26] 567*2^890530-1 is not prime. Res64: D2F1B8025688E4FB Time : 0.0 sec. user=mdettweiler [2010-08-22 23:20:13] 475*2^890527-1 is not prime. Res64: DFB699AB72FB8750 Time : 0.0 sec. user=mdettweiler [2010-08-22 23:20:13] 531*2^890527-1 is not prime. Res64: 40DCDA9771A45708 Time : 0.0 sec. user=mdettweiler [2010-08-22 23:20:14] 559*2^890527-1 is not prime. Res64: 0A0BD18110ACAE68 Time : 0.0 sec. user=mdettweiler [2010-08-22 23:20:25] 599*2^890528-1 is not prime. Res64: 7C7276143E2CD063 Time : 0.0 sec. user=mdettweiler [2010-08-22 23:20:25] 459*2^890529-1 is not prime. Res64: C54D0F47DC77D4B1 Time : 0.0 sec. user=mdettweiler [2010-08-22 23:20:25] 499*2^890529-1 is not prime. Res64: E0F219AD53394881 Time : 0.0 sec. user=mdettweiler [2010-08-22 23:21:18] 525*2^890529-1 is not prime. Res64: 9BDCF452732371C9 Time : 0.0 sec. user=mdettweiler [2010-08-22 23:21:18] 537*2^890529-1 is not prime. Res64: 6F1CC15892EFF1BE Time : 0.0 sec. user=mdettweiler [2010-08-22 23:21:19] 571*2^890529-1 is not prime. Res64: A4C05368D9D325C9 Time : 0.0 sec. user=mdettweiler [2010-08-22 23:24:40] 595*2^890529-1 is not prime. Res64: 613AED5DD5947949 Time : 0.0 sec. user=mdettweiler [2010-08-22 23:24:40] 401*2^890530-1 is not prime. Res64: 84130935A243D215 Time : 0.0 sec. user=mdettweiler [2010-08-22 23:24:41] 453*2^890530-1 is not prime. Res64: 7786DEC8E953BB0F Time : 0.0 sec.