user=mdettweiler [2012-01-23 00:04:47] 625*2^1002469-1 is not prime. Res64: 2B651C993BE3751C Time : 0.0 sec. user=mdettweiler [2012-01-23 00:04:49] 639*2^1002469-1 is not prime. Res64: 60CE21F66F541C95 Time : 0.0 sec. user=mdettweiler [2012-01-23 00:05:28] 679*2^1002469-1 is not prime. Res64: 642D25E72B763622 Time : 0.0 sec. user=mdettweiler [2012-01-23 00:05:29] 861*2^1002469-1 is not prime. Res64: EA4238AA28DBAD59 Time : 0.0 sec. user=mdettweiler [2012-01-23 00:06:41] 945*2^1002468-1 is not prime. Res64: 7B1DEF60B426DC41 Time : 0.0 sec. user=mdettweiler [2012-01-23 00:06:42] 969*2^1002468-1 is not prime. Res64: FF34A6124C15DAD6 Time : 0.0 sec. user=mdettweiler [2012-01-23 00:19:51] 685*2^1002459-1 is not prime. Res64: 307AB231F003E996 Time : 0.0 sec. user=mdettweiler [2012-01-23 00:22:15] 999*2^1002469-1 is not prime. Res64: 648538E1B867F079 Time : 0.0 sec. user=mdettweiler [2012-01-23 00:22:15] 627*2^1002470-1 is not prime. Res64: EFBAB32EF1045E8F Time : 0.0 sec. user=mdettweiler [2012-01-23 00:24:33] 665*2^1002470-1 is not prime. Res64: C90D1C1DA51F26D6 Time : 0.0 sec. user=mdettweiler [2012-01-23 00:24:34] 741*2^1002470-1 is not prime. Res64: 59EFF43968A51543 Time : 0.0 sec. user=mdettweiler [2012-01-23 00:25:12] 791*2^1002470-1 is not prime. Res64: 3B7E4AEE2D380AB2 Time : 0.0 sec. user=mdettweiler [2012-01-23 00:25:13] 885*2^1002470-1 is not prime. Res64: 12DD58F2438FE574 Time : 0.0 sec. user=mdettweiler [2012-01-23 00:28:45] 917*2^1002470-1 is not prime. Res64: 1CD53194A1794B96 Time : 0.0 sec. user=mdettweiler [2012-01-23 00:28:45] 941*2^1002470-1 is not prime. Res64: 55F24B784A734139 Time : 0.0 sec. user=mdettweiler [2012-01-23 00:41:16] 775*2^1002461-1 is not prime. Res64: E8DAAD360023CD4B Time : 0.0 sec. user=mdettweiler [2012-01-23 00:44:10] 895*2^1002471-1 is not prime. Res64: 041BA2B8579A2960 Time : 0.0 sec. user=mdettweiler [2012-01-23 00:44:11] 955*2^1002471-1 is not prime. Res64: 737E37780F1A42F3 Time : 0.0 sec. user=mdettweiler [2012-01-23 00:44:58] 825*2^1002472-1 is not prime. Res64: 69CBEAD5311DB244 Time : 0.0 sec. user=mdettweiler [2012-01-23 00:44:58] 833*2^1002472-1 is not prime. Res64: AD867D3F6E05DCB3 Time : 0.0 sec. user=mdettweiler [2012-01-23 00:48:29] 869*2^1002472-1 is not prime. Res64: 94200F4AD500B113 Time : 0.0 sec. user=mdettweiler [2012-01-23 00:48:29] 873*2^1002472-1 is not prime. Res64: BC0A142EEB045B2B Time : 0.0 sec. user=mdettweiler [2012-01-23 00:48:44] 969*2^1002471-1 is not prime. Res64: FE5D24B3E58F9FC4 Time : 0.0 sec. user=mdettweiler [2012-01-23 00:48:44] 975*2^1002471-1 is not prime. Res64: 41F8D171DBDF9CBE Time : 0.0 sec. user=mdettweiler [2012-01-23 01:04:27] 949*2^1002461-1 is not prime. Res64: E4DE4BCF694334DB Time : 0.0 sec. user=mdettweiler [2012-01-23 01:04:27] 979*2^1002461-1 is not prime. Res64: 441ECB68D72C3996 Time : 0.0 sec. user=mdettweiler [2012-01-23 01:04:37] 735*2^1002473-1 is not prime. Res64: FE6AD4D5F84645DA Time : 0.0 sec. user=mdettweiler [2012-01-23 01:04:39] 745*2^1002473-1 is not prime. Res64: DEF56B89180FC728 Time : 0.0 sec. user=mdettweiler [2012-01-23 01:08:10] 769*2^1002473-1 is not prime. Res64: 42178942D2B45D1B Time : 0.0 sec. user=mdettweiler [2012-01-23 01:08:12] 855*2^1002473-1 is not prime. Res64: 46C39FB44EAA258C Time : 0.0 sec. user=mdettweiler [2012-01-23 01:08:21] 939*2^1002472-1 is not prime. Res64: 0F8331054B21E492 Time : 0.0 sec. user=mdettweiler [2012-01-23 01:08:24] 959*2^1002472-1 is not prime. Res64: 448E9A47A574AAC7 Time : 0.0 sec. user=mdettweiler [2012-01-23 01:08:26] 879*2^1002473-1 is not prime. Res64: C424BD1F104353F3 Time : 0.0 sec. user=mdettweiler [2012-01-23 01:08:30] 885*2^1002473-1 is not prime. Res64: 667575DB7C0D0447 Time : 0.0 sec. user=mdettweiler [2012-01-23 01:08:32] 705*2^1002463-1 is not prime. Res64: DF94ABD402657707 Time : 0.0 sec. user=mdettweiler [2012-01-23 01:08:34] 723*2^1002463-1 is not prime. Res64: 764154E733623F7F Time : 0.0 sec. user=mdettweiler [2012-01-23 01:26:33] 967*2^1002473-1 is not prime. Res64: 6A1C0EE456E7BC48 Time : 0.0 sec. user=mdettweiler [2012-01-23 01:26:34] 615*2^1002474-1 is not prime. Res64: E05B9469CFB9286D Time : 0.0 sec. user=mdettweiler [2012-01-23 01:27:57] 621*2^1002474-1 is not prime. Res64: DCB4E291184F0963 Time : 0.0 sec. user=mdettweiler [2012-01-23 01:27:57] 657*2^1002474-1 is not prime. Res64: AA8522AE2D1134C1 Time : 0.0 sec. user=mdettweiler [2012-01-23 01:28:08] 747*2^1002474-1 is not prime. Res64: 27944EA25FC3FAB6 Time : 0.0 sec. user=mdettweiler [2012-01-23 01:28:08] 825*2^1002474-1 is not prime. Res64: 43CECA70C7454D47 Time : 0.0 sec. user=mdettweiler [2012-01-23 01:30:29] 885*2^1002474-1 is not prime. Res64: 704D837171717B98 Time : 0.0 sec. user=mdettweiler [2012-01-23 01:30:29] 947*2^1002474-1 is not prime. Res64: F836D98751BB1A56 Time : 0.0 sec. user=mdettweiler [2012-01-23 01:46:13] 663*2^1002475-1 is not prime. Res64: 7711961926C81834 Time : 0.0 sec. user=mdettweiler [2012-01-23 01:46:13] 673*2^1002475-1 is not prime. Res64: F622932EAD5513A8 Time : 0.0 sec. user=mdettweiler [2012-01-23 01:47:36] 733*2^1002475-1 is not prime. Res64: D0196E963F33BB60 Time : 0.0 sec. user=mdettweiler [2012-01-23 01:47:36] 735*2^1002475-1 is not prime. Res64: 1AA4332E20C4913D Time : 0.0 sec. user=mdettweiler [2012-01-23 01:47:46] 765*2^1002475-1 is not prime. Res64: AD56B290F03168FE Time : 0.0 sec. user=mdettweiler [2012-01-23 01:47:47] 775*2^1002475-1 is not prime. Res64: 96D5463189F60992 Time : 0.0 sec. user=mdettweiler [2012-01-23 01:48:22] 613*2^1002471-1 is not prime. Res64: C6004E19324FC80A Time : 0.0 sec. user=mdettweiler [2012-01-23 01:48:22] 625*2^1002471-1 is not prime. Res64: 9692A7C54B87052D Time : 0.0 sec. user=mdettweiler [2012-01-23 01:50:08] 805*2^1002475-1 is not prime. Res64: 91679ACC883582B1 Time : 0.0 sec. user=mdettweiler [2012-01-23 01:50:08] 873*2^1002475-1 is not prime. Res64: 7B6232B116397730 Time : 0.0 sec. user=mdettweiler [2012-01-23 02:07:17] 825*2^1002476-1 is not prime. Res64: 748900ED209CF41D Time : 0.0 sec. user=mdettweiler [2012-01-23 02:07:18] 867*2^1002476-1 is not prime. Res64: 6C6EF3E13B17A388 Time : 0.0 sec. user=mdettweiler [2012-01-23 02:09:47] 735*2^1002477-1 is not prime. Res64: 5545536A847D0C91 Time : 0.0 sec. user=mdettweiler [2012-01-23 02:09:48] 955*2^1002477-1 is not prime. Res64: D2F8E099DD19A1BA Time : 0.0 sec. user=mdettweiler [2012-01-23 02:09:49] 707*2^1002478-1 is not prime. Res64: E8689A6B66D793F3 Time : 0.0 sec. user=mdettweiler [2012-01-23 02:09:52] 791*2^1002478-1 is not prime. Res64: B57B3394631BA1A5 Time : 0.0 sec. user=mdettweiler [2012-01-23 02:10:25] 961*2^1002475-1 is not prime. Res64: 6469CF82AF17093C Time : 0.0 sec. user=mdettweiler [2012-01-23 02:10:26] 969*2^1002475-1 is not prime. Res64: B06B6E91513DF3C8 Time : 0.0 sec. user=mdettweiler [2012-01-23 02:20:14] 887*2^1002472-1 is not prime. Res64: EC65455A668F29D2 Time : 0.0 sec. user=mdettweiler [2012-01-23 02:20:14] 923*2^1002472-1 is not prime. Res64: 63C61B72125987B8 Time : 0.0 sec. user=mdettweiler [2012-01-23 02:26:59] 821*2^1002478-1 is not prime. Res64: 6E9732F9DBD54C6F Time : 0.0 sec. user=mdettweiler [2012-01-23 02:26:59] 891*2^1002478-1 is not prime. Res64: 6A83F7F93DFAFFBA Time : 0.0 sec. user=mdettweiler [2012-01-23 02:29:43] 705*2^1002479-1 is not prime. Res64: 4019D64611A082AA Time : 0.0 sec. user=mdettweiler [2012-01-23 02:29:43] 825*2^1002479-1 is not prime. Res64: 4F767C02F48AC366 Time : 0.0 sec. user=mdettweiler [2012-01-23 02:31:49] 993*2^1002478-1 is not prime. Res64: 8A35515568BFA525 Time : 0.0 sec. user=mdettweiler [2012-01-23 02:31:50] 643*2^1002479-1 is not prime. Res64: 457D210811F69EE3 Time : 0.0 sec. user=mdettweiler [2012-01-23 02:32:29] 883*2^1002479-1 is not prime. Res64: BE8D53789154874D Time : 0.0 sec. user=mdettweiler [2012-01-23 02:32:31] 979*2^1002479-1 is not prime. Res64: 55E6C742D12241FC Time : 0.0 sec. user=mdettweiler [2012-01-23 02:42:01] 897*2^1002473-1 is not prime. Res64: 4D245C2813598F6E Time : 0.0 sec. user=mdettweiler [2012-01-23 02:42:02] 955*2^1002473-1 is not prime. Res64: F72137EBF9AFA896 Time : 0.0 sec. user=mdettweiler [2012-01-23 02:46:42] 867*2^1002480-1 is not prime. Res64: B4E062AAB560C159 Time : 0.0 sec. user=mdettweiler [2012-01-23 02:46:42] 875*2^1002480-1 is not prime. Res64: E63343D49E39747F Time : 0.0 sec. user=mdettweiler [2012-01-23 02:50:35] 971*2^1002474-1 is not prime. Res64: 0ACD7F353CDE1BBF Time : 0.0 sec. user=mdettweiler [2012-01-23 02:50:35] 651*2^1002475-1 is not prime. Res64: ADE58AAF27F88289 Time : 0.0 sec. user=mdettweiler [2012-01-23 02:51:28] 619*2^1002481-1 is not prime. Res64: 6C78613D10B5FC63 Time : 0.0 sec. user=mdettweiler [2012-01-23 02:51:28] 769*2^1002481-1 is not prime. Res64: C5533CF2043BE61A Time : 0.0 sec. user=mdettweiler [2012-01-23 02:51:35] 983*2^1002480-1 is not prime. Res64: 8FF215C6E642C918 Time : 0.0 sec. user=mdettweiler [2012-01-23 02:51:35] 607*2^1002481-1 is not prime. Res64: 8351F6FA79FE0227 Time : 0.0 sec. user=mdettweiler [2012-01-23 02:52:10] 835*2^1002481-1 is not prime. Res64: 3C722A0C4F74AC7C Time : 0.0 sec. user=mdettweiler [2012-01-23 02:52:10] 847*2^1002481-1 is not prime. Res64: 641CDB41517DEB03 Time : 0.0 sec. user=mdettweiler [2012-01-23 03:06:23] 831*2^1002482-1 is not prime. Res64: 97121BA327C8F3BB Time : 0.0 sec. user=mdettweiler [2012-01-23 03:06:24] 837*2^1002482-1 is not prime. Res64: 276C99B531592737 Time : 0.0 sec. user=mdettweiler [2012-01-23 03:11:08] 685*2^1002483-1 is not prime. Res64: 5C4269B1AB8DA5C7 Time : 0.0 sec. user=mdettweiler [2012-01-23 03:11:09] 829*2^1002483-1 is not prime. Res64: C322C3F1D7437EAD Time : 0.0 sec. user=mdettweiler [2012-01-23 03:13:29] 895*2^1002483-1 is not prime. Res64: 34B1CF6EED893EF9 Time : 0.0 sec. user=mdettweiler [2012-01-23 03:13:31] 921*2^1002483-1 is not prime. Res64: 0544CA51965D91C8 Time : 0.0 sec. user=mdettweiler [2012-01-23 03:14:03] 945*2^1002483-1 is not prime. Res64: 70F90102D0B0B653 Time : 0.0 sec. user=mdettweiler [2012-01-23 03:14:03] 605*2^1002484-1 is not prime. Res64: 64FE46F727330917 Time : 0.0 sec. user=mdettweiler [2012-01-23 03:26:05] 717*2^1002484-1 is not prime. Res64: 0B80E5E36A27B8E7 Time : 0.0 sec. user=mdettweiler [2012-01-23 03:26:06] 749*2^1002484-1 is not prime. Res64: 9A47EC9F322FB0F8 Time : 0.0 sec. user=mdettweiler [2012-01-23 03:26:52] 961*2^1002477-1 is not prime. Res64: 03154F60FB86EA66 Time : 0.0 sec. user=mdettweiler [2012-01-23 03:26:52] 621*2^1002478-1 is not prime. Res64: 3F1D409313BDDBE5 Time : 0.0 sec. user=mdettweiler [2012-01-23 03:30:50] 759*2^1002484-1 is not prime. Res64: 6B172EC442F3C631 Time : 0.0 sec. user=mdettweiler [2012-01-23 03:30:50] 903*2^1002484-1 is not prime. Res64: 11BEA612AFB5A247 Time : 0.0 sec. user=mdettweiler [2012-01-23 03:33:46] 601*2^1002485-1 is not prime. Res64: C87C441ABD057C63 Time : 0.0 sec. user=mdettweiler [2012-01-23 03:33:47] 607*2^1002485-1 is not prime. Res64: AEE74D3DFAEBEC9B Time : 0.0 sec. user=mdettweiler [2012-01-23 03:37:39] 927*2^1002484-1 is not prime. Res64: CF80D8DC74F5A620 Time : 0.0 sec. user=mdettweiler [2012-01-23 03:37:40] 995*2^1002484-1 is not prime. Res64: A52EA27F1CC5E061 Time : 0.0 sec. user=mdettweiler [2012-01-23 03:45:36] 713*2^1002480-1 is not prime. Res64: 5A27628F9839BCCB Time : 0.0 sec. user=mdettweiler [2012-01-23 03:45:36] 737*2^1002480-1 is not prime. Res64: 8C11FDF0FE74D577 Time : 0.0 sec. user=mdettweiler [2012-01-23 03:45:46] 697*2^1002485-1 is not prime. Res64: B33FB834F2A0EA8D Time : 0.0 sec. user=mdettweiler [2012-01-23 03:45:46] 801*2^1002485-1 is not prime. Res64: 5244AD758ADD30EA Time : 0.0 sec. user=mdettweiler [2012-01-23 03:50:29] 737*2^1002486-1 is not prime. Res64: 057B4CA437548CEA Time : 0.0 sec. user=mdettweiler [2012-01-23 03:50:29] 903*2^1002486-1 is not prime. Res64: 699F687FC3C976D5 Time : 0.0 sec. user=mdettweiler [2012-01-23 03:53:37] 619*2^1002487-1 is not prime. Res64: C2788E3D469E0609 Time : 0.0 sec. user=mdettweiler [2012-01-23 03:53:37] 775*2^1002487-1 is not prime. Res64: 82AA30FF2F7A8004 Time : 0.0 sec. user=mdettweiler [2012-01-23 03:57:29] 895*2^1002487-1 is not prime. Res64: E156757FAC6E5802 Time : 0.0 sec. user=mdettweiler [2012-01-23 03:57:29] 669*2^1002488-1 is not prime. Res64: FFC3679C088C851A Time : 0.0 sec. user=mdettweiler [2012-01-23 04:05:33] 725*2^1002488-1 is not prime. Res64: 1B900CAC06C32B8E Time : 0.0 sec. user=mdettweiler [2012-01-23 04:05:35] 773*2^1002488-1 is not prime. Res64: 4EB058F813EA4866 Time : 0.0 sec. user=mdettweiler [2012-01-23 04:10:11] 815*2^1002488-1 is not prime. Res64: 16E30743A4CB042F Time : 0.0 sec. user=mdettweiler [2012-01-23 04:10:13] 825*2^1002488-1 is not prime. Res64: F64C3BF7B725B892 Time : 0.0 sec. user=mdettweiler [2012-01-23 04:10:41] 871*2^1002481-1 is not prime. Res64: DA8B6C1839E7C1CB Time : 0.0 sec. user=mdettweiler [2012-01-23 04:10:43] 705*2^1002482-1 is not prime. Res64: 5AB36D511EF8044F Time : 0.0 sec. user=mdettweiler [2012-01-23 04:15:32] 899*2^1002488-1 is not prime. Res64: CF366FB2C46C86CD Time : 0.0 sec. user=mdettweiler [2012-01-23 04:15:32] 935*2^1002488-1 is not prime. Res64: B4AE947E7E949DEA Time : 0.0 sec. user=mdettweiler [2012-01-23 04:16:46] 619*2^1002483-1 is not prime. Res64: D4AA06154A262D1A Time : 0.0 sec. user=mdettweiler [2012-01-23 04:16:46] 663*2^1002483-1 is not prime. Res64: B1C5E89B237E6B68 Time : 0.0 sec. user=mdettweiler [2012-01-23 04:19:19] 963*2^1002488-1 is not prime. Res64: 0EBD5003FFD44066 Time : 0.0 sec. user=mdettweiler [2012-01-23 04:19:19] 609*2^1002489-1 is not prime. Res64: B5C4344BB3C269EB Time : 0.0 sec. user=mdettweiler [2012-01-23 04:25:19] 675*2^1002489-1 is not prime. Res64: 27F4524EEE82CF2B Time : 0.0 sec. user=mdettweiler [2012-01-23 04:25:19] 705*2^1002489-1 is not prime. Res64: 8EA3B39623000E3B Time : 0.0 sec. user=mdettweiler [2012-01-23 04:29:52] 789*2^1002489-1 is not prime. Res64: C33478B8F0A1529A Time : 0.0 sec. user=mdettweiler [2012-01-23 04:29:52] 829*2^1002489-1 is not prime. Res64: A872272C82B50C2C Time : 0.0 sec. user=mdettweiler [2012-01-23 04:35:12] 755*2^1002490-1 is not prime. Res64: E25DF252B42B69CE Time : 0.0 sec. user=mdettweiler [2012-01-23 04:35:13] 831*2^1002490-1 is not prime. Res64: C05A981D58EC7E97 Time : 0.0 sec. user=mdettweiler [2012-01-23 04:39:00] 615*2^1002491-1 is not prime. Res64: 81172D39FAA61511 Time : 0.0 sec. user=mdettweiler [2012-01-23 04:39:01] 801*2^1002491-1 is not prime. Res64: 81BF3C172FBF6502 Time : 0.0 sec. user=mdettweiler [2012-01-23 04:45:01] 843*2^1002491-1 is not prime. Res64: 50579844363FDD39 Time : 0.0 sec. user=mdettweiler [2012-01-23 04:45:01] 909*2^1002491-1 is not prime. Res64: DC6618C797445373 Time : 0.0 sec. user=mdettweiler [2012-01-23 04:51:44] 683*2^1002486-1 is not prime. Res64: F64803DE69293489 Time : 0.0 sec. user=mdettweiler [2012-01-23 04:51:44] 711*2^1002486-1 is not prime. Res64: 8E957DB1FFAF5720 Time : 0.0 sec. user=mdettweiler [2012-01-23 04:54:09] 943*2^1002491-1 is not prime. Res64: CD69807194015BA6 Time : 0.0 sec. user=mdettweiler [2012-01-23 04:54:09] 949*2^1002491-1 is not prime. Res64: 86F68AB0E41DD6B5 Time : 0.0 sec. user=mdettweiler [2012-01-23 04:58:42] 605*2^1002492-1 is not prime. Res64: 2B0EF962B6EE4054 Time : 0.0 sec. user=mdettweiler [2012-01-23 04:58:42] 633*2^1002492-1 is not prime. Res64: 4D1E28AE377A06CC Time : 0.0 sec. user=mdettweiler [2012-01-23 04:59:25] 973*2^1002491-1 is not prime. Res64: 57D4D2293A227D88 Time : 0.0 sec. user=mdettweiler [2012-01-23 04:59:26] 991*2^1002491-1 is not prime. Res64: E0C536D8A9766BF1 Time : 0.0 sec. user=mdettweiler [2012-01-23 05:04:45] 669*2^1002492-1 is not prime. Res64: CD54B09A01A806F1 Time : 0.0 sec. user=mdettweiler [2012-01-23 05:04:46] 693*2^1002492-1 is not prime. Res64: D36D65A75E267150 Time : 0.0 sec. user=mdettweiler [2012-01-23 05:10:40] 677*2^1002488-1 is not prime. Res64: 5E525581C65C2351 Time : 0.0 sec. user=mdettweiler [2012-01-23 05:10:43] 683*2^1002488-1 is not prime. Res64: 6A81F60FBEF48423 Time : 0.0 sec. user=mdettweiler [2012-01-23 05:16:04] 803*2^1002492-1 is not prime. Res64: 5B4FAF0680521B3E Time : 0.0 sec. user=mdettweiler [2012-01-23 05:16:05] 923*2^1002492-1 is not prime. Res64: 39990038B7C35E3D Time : 0.0 sec. user=mdettweiler [2012-01-23 05:19:08] 607*2^1002493-1 is not prime. Res64: 2B24CDC58CBEDD0C Time : 0.0 sec. user=mdettweiler [2012-01-23 05:19:08] 639*2^1002493-1 is not prime. Res64: 106783DCC81B108D Time : 0.0 sec. user=mdettweiler [2012-01-23 05:22:53] 983*2^1002492-1 is not prime. Res64: 78A1D7166D738494 Time : 0.0 sec. user=mdettweiler [2012-01-23 05:22:53] 999*2^1002492-1 is not prime. Res64: C95C76B3A7555839 Time : 0.0 sec. user=mdettweiler [2012-01-23 05:24:28] 727*2^1002493-1 is not prime. Res64: 3E712C08D9BD1D15 Time : 0.0 sec. user=mdettweiler [2012-01-23 05:24:29] 757*2^1002493-1 is not prime. Res64: 556E0246AE1B60D3 Time : 0.0 sec. user=mdettweiler [2012-01-23 05:35:42] 605*2^1002494-1 is not prime. Res64: B444C68D085FB6D0 Time : 0.0 sec. user=mdettweiler [2012-01-23 05:35:42] 615*2^1002494-1 is not prime. Res64: 0EDA7D17B9E02FA2 Time : 0.0 sec. user=mdettweiler [2012-01-23 05:38:45] 663*2^1002494-1 is not prime. Res64: 3392BF902DE562F1 Time : 0.0 sec. user=mdettweiler [2012-01-23 05:38:45] 707*2^1002494-1 is not prime. Res64: 1BFDAD3FFB185418 Time : 0.0 sec. user=mdettweiler [2012-01-23 05:39:42] 889*2^1002489-1 is not prime. Res64: 675B5F697401F58C Time : 0.0 sec. user=mdettweiler [2012-01-23 05:39:43] 713*2^1002490-1 is not prime. Res64: 7C9750274782BD8F Time : 0.0 sec. user=mdettweiler [2012-01-23 05:42:30] 773*2^1002494-1 is not prime. Res64: B410020A6D85F3DD Time : 0.0 sec. user=mdettweiler [2012-01-23 05:42:30] 887*2^1002494-1 is not prime. Res64: A9D74F5DF7154854 Time : 0.0 sec. user=mdettweiler [2012-01-23 05:46:19] 951*2^1002494-1 is not prime. Res64: 734866BC265D816B Time : 0.0 sec. user=mdettweiler [2012-01-23 05:46:19] 619*2^1002495-1 is not prime. Res64: 110F3B8348A2838B Time : 0.0 sec. user=mdettweiler [2012-01-23 05:55:20] 649*2^1002495-1 is not prime. Res64: D06F95893C5E37BC Time : 0.0 sec. user=mdettweiler [2012-01-23 05:55:21] 663*2^1002495-1 is not prime. Res64: 0491D2097F0AE9EC Time : 0.0 sec. user=mdettweiler [2012-01-23 05:58:22] 735*2^1002495-1 is not prime. Res64: AB090B3AB72FC8D1 Time : 0.0 sec. user=mdettweiler [2012-01-23 05:58:22] 741*2^1002495-1 is not prime. Res64: 09F684A529A27134 Time : 0.0 sec. user=mdettweiler [2012-01-23 06:02:06] 653*2^1002496-1 is not prime. Res64: 815200842C60F8E0 Time : 0.0 sec. user=mdettweiler [2012-01-23 06:02:19] 677*2^1002496-1 is not prime. Res64: 446C7BE08B294192 Time : 0.0 sec. user=mdettweiler [2012-01-23 06:05:58] 619*2^1002497-1 is not prime. Res64: 9D3FD773C9279E10 Time : 0.0 sec. user=mdettweiler [2012-01-23 06:06:00] 675*2^1002497-1 is not prime. Res64: 79DE77B99F11EA04 Time : 0.0 sec. user=mdettweiler [2012-01-23 06:07:52] 995*2^1002490-1 is not prime. Res64: 5931906B55A06528 Time : 0.0 sec. user=mdettweiler [2012-01-23 06:07:53] 1001*2^1002490-1 is not prime. Res64: 5573D5186F4ACE47 Time : 0.0 sec. user=mdettweiler [2012-01-23 06:15:06] 735*2^1002497-1 is not prime. Res64: 02ECB7DB43BCCFFC Time : 0.0 sec. user=mdettweiler [2012-01-23 06:15:09] 841*2^1002497-1 is not prime. Res64: 3570DB30102DA1A3 Time : 0.0 sec. user=mdettweiler [2012-01-23 06:15:57] 749*2^1002492-1 is not prime. Res64: 19891026678231CA Time : 0.0 sec. user=mdettweiler [2012-01-23 06:15:57] 759*2^1002492-1 is not prime. Res64: 79FB81284C89C43E Time : 0.0 sec. user=mdettweiler [2012-01-23 06:18:09] 867*2^1002497-1 is not prime. Res64: E2F894D3BA84AE29 Time : 0.0 sec. user=mdettweiler [2012-01-23 06:18:09] 901*2^1002497-1 is not prime. Res64: 0D49E9DC4573DAC7 Time : 0.0 sec. user=mdettweiler [2012-01-23 06:28:14] 981*2^1002497-1 is not prime. Res64: D8A8191D64B5C523 Time : 0.0 sec. user=mdettweiler [2012-01-23 06:28:15] 651*2^1002498-1 is not prime. Res64: D415A7C11D3380E1 Time : 0.0 sec. user=mdettweiler [2012-01-23 06:35:00] 755*2^1002498-1 is not prime. Res64: 3BD2D07B6A783611 Time : 0.0 sec. user=mdettweiler [2012-01-23 06:35:01] 843*2^1002498-1 is not prime. Res64: 4575272E58DB6AF7 Time : 0.0 sec. user=mdettweiler [2012-01-23 06:37:53] 639*2^1002499-1 is not prime. Res64: FBDECFFB9F961E02 Time : 0.0 sec. user=mdettweiler [2012-01-23 06:37:54] 859*2^1002499-1 is not prime. Res64: 835F434A567A1A07 Time : 0.0 sec. user=mdettweiler [2012-01-23 06:46:25] 817*2^1002493-1 is not prime. Res64: 58AABBA758151C18 Time : 0.0 sec. user=mdettweiler [2012-01-23 06:46:25] 945*2^1002493-1 is not prime. Res64: F1AAEF7EA59CC276 Time : 0.0 sec. user=mdettweiler [2012-01-23 06:51:41] 833*2^1002500-1 is not prime. Res64: 3667122060843220 Time : 0.0 sec. user=mdettweiler [2012-01-23 06:51:42] 897*2^1002500-1 is not prime. Res64: 00031134203BA92C Time : 0.0 sec. user=mdettweiler [2012-01-23 06:52:31] 973*2^1002499-1 is not prime. Res64: DF169EFE8247F62D Time : 0.0 sec. user=mdettweiler [2012-01-23 06:52:31] 993*2^1002499-1 is not prime. Res64: 26B2AC7B254C36E5 Time : 0.0 sec. user=mdettweiler [2012-01-23 06:59:16] 953*2^1002500-1 is not prime. Res64: 0B56118AE1AFA50D Time : 0.0 sec. user=mdettweiler [2012-01-23 06:59:16] 963*2^1002500-1 is not prime. Res64: 69AD13184B46EB24 Time : 0.0 sec. user=mdettweiler [2012-01-23 06:59:54] 987*2^1002500-1 is not prime. Res64: 48C09392D1246282 Time : 0.0 sec. user=mdettweiler [2012-01-23 06:59:55] 669*2^1002501-1 is not prime. Res64: AB7BCE100BD08D04 Time : 0.0 sec. user=mdettweiler [2012-01-23 07:13:38] 885*2^1002501-1 is not prime. Res64: F5AB7C459C914371 Time : 0.0 sec. user=mdettweiler [2012-01-23 07:13:39] 945*2^1002501-1 is not prime. Res64: 3D5BC6A66D678BF2 Time : 0.0 sec. user=mdettweiler [2012-01-23 07:14:26] 999*2^1002501-1 is not prime. Res64: E905EF6B0B02AF27 Time : 0.0 sec. user=mdettweiler [2012-01-23 07:14:28] 623*2^1002502-1 is not prime. Res64: 1B1D0D03A1543334 Time : 0.0 sec. user=mdettweiler [2012-01-23 07:15:44] 859*2^1002495-1 is not prime. Res64: 1B3BEBDF2AE3FBAF Time : 0.0 sec. user=mdettweiler [2012-01-23 07:15:45] 951*2^1002495-1 is not prime. Res64: 005789C9C1FE53B1 Time : 0.0 sec. user=mdettweiler [2012-01-23 07:19:01] 681*2^1002502-1 is not prime. Res64: E0568463F108F1DD Time : 0.0 sec. user=mdettweiler [2012-01-23 07:19:02] 663*2^1002503-1 is not prime. Res64: 2AE9CE3B66381AF5 Time : 0.0 sec. user=mdettweiler [2012-01-23 07:19:37] 669*2^1002503-1 is not prime. Res64: 3921AE8C4C5E2B69 Time : 0.0 sec. user=mdettweiler [2012-01-23 07:19:38] 685*2^1002503-1 is not prime. Res64: 3A46567A34ABF9B9 Time : 0.0 sec. user=mdettweiler [2012-01-23 07:33:19] 703*2^1002503-1 is not prime. Res64: F5CC4A27BC4D50BC Time : 0.0 sec. user=mdettweiler [2012-01-23 07:33:20] 753*2^1002503-1 is not prime. Res64: CD871160A34C1E57 Time : 0.0 sec. user=mdettweiler [2012-01-23 07:34:10] 825*2^1002503-1 is not prime. Res64: C71168274050994E Time : 0.0 sec. user=mdettweiler [2012-01-23 07:34:11] 885*2^1002503-1 is not prime. Res64: 4C1F040000CF15DA Time : 0.0 sec. user=mdettweiler [2012-01-23 07:34:51] 663*2^1002498-1 is not prime. Res64: 47D6E19C47A4D5C2 Time : 0.0 sec. user=mdettweiler [2012-01-23 07:34:52] 683*2^1002498-1 is not prime. Res64: EE3F8ADFE735F4ED Time : 0.0 sec. user=mdettweiler [2012-01-23 07:38:41] 737*2^1002504-1 is not prime. Res64: E5109A30713071F6 Time : 0.0 sec. user=mdettweiler [2012-01-23 07:38:41] 759*2^1002504-1 is not prime. Res64: A41B8842A975D18B Time : 0.0 sec. user=mdettweiler [2012-01-23 07:41:26] 795*2^1002504-1 is not prime. Res64: D53506CBCC2DE23A Time : 0.0 sec. user=mdettweiler [2012-01-23 07:41:27] 929*2^1002504-1 is not prime. Res64: 7CB9C90652AF1DEC Time : 0.0 sec. user=mdettweiler [2012-01-23 07:52:50] 915*2^1002498-1 is not prime. Res64: 8B4E66E7DAFA394E Time : 0.0 sec. user=mdettweiler [2012-01-23 07:52:50] 977*2^1002498-1 is not prime. Res64: 58A9A91101664388 Time : 0.0 sec. user=mdettweiler [2012-01-23 07:53:52] 729*2^1002505-1 is not prime. Res64: 6CAD0563F5DA6CE9 Time : 0.0 sec. user=mdettweiler [2012-01-23 07:53:52] 751*2^1002505-1 is not prime. Res64: B803A72E41066D41 Time : 0.0 sec. user=mdettweiler [2012-01-23 07:55:15] 983*2^1002504-1 is not prime. Res64: DDD9E8A33F2164E9 Time : 0.0 sec. user=mdettweiler [2012-01-23 07:55:16] 651*2^1002505-1 is not prime. Res64: 3937F3A92C2F61AC Time : 0.0 sec. user=mdettweiler [2012-01-23 07:58:19] 707*2^1002506-1 is not prime. Res64: F15138DD9065ED9E Time : 0.0 sec. user=mdettweiler [2012-01-23 07:58:19] 755*2^1002506-1 is not prime. Res64: 7124814000BEEC95 Time : 0.0 sec. user=mdettweiler [2012-01-23 08:01:04] 767*2^1002506-1 is not prime. Res64: F08D782A4E35AC9B Time : 0.0 sec. user=mdettweiler [2012-01-23 08:01:06] 785*2^1002506-1 is not prime. Res64: 72BA3F3DD9F59277 Time : 0.0 sec. user=mdettweiler [2012-01-23 08:13:45] 741*2^1002501-1 is not prime. Res64: 100F7E7986F5A69C Time : 0.0 sec. user=mdettweiler [2012-01-23 08:13:55] 829*2^1002501-1 is not prime. Res64: 3350EC88B4277BDA Time : 0.0 sec. user=mdettweiler [2012-01-23 08:14:58] 657*2^1002508-1 is not prime. Res64: 27C78223813F025F Time : 0.0 sec. user=mdettweiler [2012-01-23 08:14:58] 843*2^1002508-1 is not prime. Res64: 2911414245F8B279 Time : 0.0 sec. user=mdettweiler [2012-01-23 08:15:46] 801*2^1002507-1 is not prime. Res64: BA6EA8FA48BBF266 Time : 0.0 sec. user=mdettweiler [2012-01-23 08:15:47] 955*2^1002507-1 is not prime. Res64: 875983AD9841B1A7 Time : 0.0 sec. user=mdettweiler [2012-01-23 08:20:18] 933*2^1002508-1 is not prime. Res64: 282BCCD604FC244E Time : 0.0 sec. user=mdettweiler [2012-01-23 08:20:19] 655*2^1002509-1 is not prime. Res64: 883FC1E83D73D2ED Time : 0.0 sec. user=mdettweiler [2012-01-23 08:20:52] 657*2^1002509-1 is not prime. Res64: 0C2C699E18C07D35 Time : 0.0 sec. user=mdettweiler [2012-01-23 08:20:53] 735*2^1002509-1 is prime! Time : 0.0 sec. user=mdettweiler [2012-01-23 08:34:40] 707*2^1002510-1 is not prime. Res64: 6BF57D729DD5EDB7 Time : 0.0 sec. user=mdettweiler [2012-01-23 08:34:40] 755*2^1002510-1 is not prime. Res64: D8D1A57392FE8F3A Time : 0.0 sec. user=mdettweiler [2012-01-23 08:35:30] 777*2^1002510-1 is not prime. Res64: 3FF18B1C6D55BE30 Time : 0.0 sec. user=mdettweiler [2012-01-23 08:35:31] 783*2^1002510-1 is not prime. Res64: 45F24D61F5140194 Time : 0.0 sec. user=mdettweiler [2012-01-23 08:40:01] 797*2^1002510-1 is not prime. Res64: 855AB2576766D18E Time : 0.0 sec. user=mdettweiler [2012-01-23 08:40:01] 891*2^1002510-1 is not prime. Res64: 57217F74D13B5B56 Time : 0.0 sec. user=mdettweiler [2012-01-23 08:40:28] 693*2^1002511-1 is not prime. Res64: 56D00A8580AC6EAB Time : 0.0 sec. user=mdettweiler [2012-01-23 08:40:28] 889*2^1002511-1 is not prime. Res64: 37A8D0B2CC669608 Time : 0.0 sec. user=mdettweiler [2012-01-23 08:50:16] 981*2^1002503-1 is not prime. Res64: D05B16CFE42A754D Time : 0.0 sec. user=mdettweiler [2012-01-23 08:50:16] 723*2^1002504-1 is not prime. Res64: 82D701F84FCB02E4 Time : 0.0 sec. user=mdettweiler [2012-01-23 08:54:16] 855*2^1002512-1 is not prime. Res64: 2E31D78797C73087 Time : 0.0 sec. user=mdettweiler [2012-01-23 08:54:17] 909*2^1002512-1 is not prime. Res64: 47F739E3ED62ED72 Time : 0.0 sec. user=mdettweiler [2012-01-23 08:55:09] 625*2^1002513-1 is not prime. Res64: D92B9B7BD04D38AE Time : 0.0 sec. user=mdettweiler [2012-01-23 08:55:10] 627*2^1002513-1 is not prime. Res64: 15579EC34AC1487E Time : 0.0 sec. user=mdettweiler [2012-01-23 09:00:07] 723*2^1002514-1 is not prime. Res64: 125A28E371BE159D Time : 0.0 sec. user=mdettweiler [2012-01-23 09:00:13] 833*2^1002514-1 is not prime. Res64: AB1527AB147B91F3 Time : 0.0 sec. user=mdettweiler [2012-01-23 09:00:59] 897*2^1002505-1 is not prime. Res64: 77542E39843EA169 Time : 0.0 sec. user=mdettweiler [2012-01-23 09:01:02] 651*2^1002506-1 is not prime. Res64: EBF99D1EF6DDE656 Time : 0.0 sec. user=mdettweiler [2012-01-23 09:01:57] 877*2^1002513-1 is not prime. Res64: 6E9F5919476D53DE Time : 0.0 sec. user=mdettweiler [2012-01-23 09:01:58] 999*2^1002513-1 is not prime. Res64: E8CC8DEFF8CDAD99 Time : 0.0 sec. user=mdettweiler [2012-01-23 09:14:03] 705*2^1002515-1 is not prime. Res64: A06EF1255076C584 Time : 0.0 sec. user=mdettweiler [2012-01-23 09:14:04] 871*2^1002515-1 is not prime. Res64: D7209ECC1B7FE730 Time : 0.0 sec. user=mdettweiler [2012-01-23 09:17:04] 909*2^1002515-1 is not prime. Res64: EF578E35075D7F13 Time : 0.0 sec. user=mdettweiler [2012-01-23 09:17:05] 921*2^1002515-1 is not prime. Res64: DDB1F4360658337A Time : 0.0 sec. user=mdettweiler [2012-01-23 09:20:49] 857*2^1002506-1 is not prime. Res64: F0724FB57B518F1A Time : 0.0 sec. user=mdettweiler [2012-01-23 09:20:49] 917*2^1002506-1 is not prime. Res64: 3BC24A1A633B2B9D Time : 0.0 sec. user=mdettweiler [2012-01-23 09:21:39] 725*2^1002516-1 is not prime. Res64: D7C632EDBE56F882 Time : 0.0 sec. user=mdettweiler [2012-01-23 09:21:40] 737*2^1002516-1 is not prime. Res64: B2249659DDE75684 Time : 0.0 sec. user=mdettweiler [2012-01-23 09:21:42] 889*2^1002509-1 is not prime. Res64: 883A572A927061F3 Time : 0.0 sec. user=mdettweiler [2012-01-23 09:22:09] 979*2^1002515-1 is not prime. Res64: A7B3FF1D7AE272A7 Time : 0.0 sec. user=mdettweiler [2012-01-23 09:22:09] 615*2^1002516-1 is not prime. Res64: DF7A62172829FB0E Time : 0.0 sec. user=mdettweiler [2012-01-23 09:33:50] 759*2^1002516-1 is not prime. Res64: FDD8BFEAC2B584F2 Time : 0.0 sec. user=mdettweiler [2012-01-23 09:33:50] 783*2^1002516-1 is not prime. Res64: D9C91F3DCD61EB09 Time : 0.0 sec. user=mdettweiler [2012-01-23 09:36:42] 805*2^1002517-1 is not prime. Res64: 696C2669562CE949 Time : 0.0 sec. user=mdettweiler [2012-01-23 09:36:42] 835*2^1002517-1 is not prime. Res64: 397BD671BEF276D1 Time : 0.0 sec. user=mdettweiler [2012-01-23 09:41:50] 773*2^1002518-1 is not prime. Res64: 75D5F7E329BFEC62 Time : 0.0 sec. user=mdettweiler [2012-01-23 09:41:50] 795*2^1002518-1 is not prime. Res64: 563F42CBEACCCF47 Time : 0.0 sec. user=mdettweiler [2012-01-23 09:43:40] 997*2^1002517-1 is not prime. Res64: 175B615D94017B1E Time : 0.0 sec. user=mdettweiler [2012-01-23 09:43:40] 635*2^1002518-1 is not prime. Res64: 72033140C78FCA01 Time : 0.0 sec. user=mdettweiler [2012-01-23 09:56:20] 703*2^1002519-1 is not prime. Res64: 114A0E2CA7EAA2C8 Time : 0.0 sec. user=mdettweiler [2012-01-23 09:56:21] 843*2^1002519-1 is not prime. Res64: 6BEC423235B65BE0 Time : 0.0 sec. user=mdettweiler [2012-01-23 09:58:01] 923*2^1002518-1 is not prime. Res64: 9AA22F9FCC597B94 Time : 0.0 sec. user=mdettweiler [2012-01-23 09:58:02] 995*2^1002518-1 is not prime. Res64: 2C0B2F9BC2DC8116 Time : 0.0 sec. user=mdettweiler [2012-01-23 10:03:45] 891*2^1002519-1 is not prime. Res64: 9F3F61D1F0AD9ADE Time : 0.0 sec. user=mdettweiler [2012-01-23 10:03:46] 973*2^1002519-1 is not prime. Res64: 0D583280543FEB82 Time : 0.0 sec. user=mdettweiler [2012-01-23 10:05:39] 999*2^1002519-1 is not prime. Res64: 2301F06FA6045BD8 Time : 0.0 sec. user=mdettweiler [2012-01-23 10:05:40] 695*2^1002520-1 is not prime. Res64: 5BF56A9643E1A95E Time : 0.0 sec. user=mdettweiler [2012-01-23 10:13:04] 855*2^1002514-1 is not prime. Res64: 5D612DDC0B3BB328 Time : 0.0 sec. user=mdettweiler [2012-01-23 10:13:04] 633*2^1002515-1 is not prime. Res64: 68EE89C463E7B399 Time : 0.0 sec. user=mdettweiler [2012-01-23 10:17:41] 865*2^1002521-1 is not prime. Res64: 77AD34A2E1A5EC3C Time : 0.0 sec. user=mdettweiler [2012-01-23 10:17:41] 889*2^1002521-1 is not prime. Res64: 4FE6537D22BCAE13 Time : 0.0 sec. user=mdettweiler [2012-01-23 10:18:12] 933*2^1002520-1 is not prime. Res64: E57C95CB301BCE62 Time : 0.0 sec. user=mdettweiler [2012-01-23 10:18:12] 861*2^1002521-1 is not prime. Res64: D4C94AD0A62AF2CA Time : 0.0 sec. user=mdettweiler [2012-01-23 10:22:23] 653*2^1002516-1 is not prime. Res64: AB019F7B26F8A107 Time : 0.0 sec. user=mdettweiler [2012-01-23 10:22:24] 669*2^1002516-1 is not prime. Res64: CC9456B2F5504128 Time : 0.0 sec. user=mdettweiler [2012-01-23 10:25:21] 677*2^1002522-1 is not prime. Res64: 2CBDAE7DBEAF9ECB Time : 0.0 sec. user=mdettweiler [2012-01-23 10:25:21] 717*2^1002522-1 is not prime. Res64: 131B395903379644 Time : 0.0 sec. user=mdettweiler [2012-01-23 10:25:39] 939*2^1002521-1 is not prime. Res64: 52E5F57C001E75DB Time : 0.0 sec. user=mdettweiler [2012-01-23 10:25:40] 665*2^1002522-1 is not prime. Res64: 3C72377B62A49208 Time : 0.0 sec. user=mdettweiler [2012-01-23 10:37:24] 797*2^1002522-1 is not prime. Res64: 8018C504C7E0EC36 Time : 0.0 sec. user=mdettweiler [2012-01-23 10:37:24] 893*2^1002522-1 is not prime. Res64: 98DE316ABCFCE97D Time : 0.0 sec. user=mdettweiler [2012-01-23 10:42:24] 945*2^1002522-1 is not prime. Res64: 31FB56FADC64D29E Time : 0.0 sec. user=mdettweiler [2012-01-23 10:42:25] 947*2^1002522-1 is not prime. Res64: D87A4B3A1C9BF104 Time : 0.0 sec. user=mdettweiler [2012-01-23 10:45:21] 785*2^1002524-1 is not prime. Res64: D95D3332D5207743 Time : 0.0 sec. user=mdettweiler [2012-01-23 10:45:22] 843*2^1002524-1 is not prime. Res64: A48BF70BFCC81761 Time : 0.0 sec. user=mdettweiler [2012-01-23 10:47:18] 985*2^1002523-1 is not prime. Res64: 7ABA920193AD14E9 Time : 0.0 sec. user=mdettweiler [2012-01-23 10:47:18] 615*2^1002524-1 is not prime. Res64: 0B1D67A240E2604C Time : 0.0 sec. user=mdettweiler [2012-01-23 10:47:56] 897*2^1002517-1 is not prime. Res64: B8A40D2211238539 Time : 0.0 sec. user=mdettweiler [2012-01-23 10:47:56] 961*2^1002517-1 is not prime. Res64: CCFBCCAA08065AA8 Time : 0.0 sec. user=mdettweiler [2012-01-23 10:57:07] 869*2^1002524-1 is not prime. Res64: 28795BC361A35A5D Time : 0.0 sec. user=mdettweiler [2012-01-23 10:57:07] 873*2^1002524-1 is not prime. Res64: 4FD1F159A11ECC3A Time : 0.0 sec. user=mdettweiler [2012-01-23 11:04:15] 935*2^1002524-1 is not prime. Res64: 0ACCFDA4D94E3016 Time : 0.0 sec. user=mdettweiler [2012-01-23 11:04:17] 609*2^1002525-1 is not prime. Res64: FD809C4227CD6D0F Time : 0.0 sec. user=mdettweiler [2012-01-23 11:05:00] 685*2^1002525-1 is not prime. Res64: BD8C41D304EB4982 Time : 0.0 sec. user=mdettweiler [2012-01-23 11:05:03] 727*2^1002525-1 is not prime. Res64: 064E5D541E86EB57 Time : 0.0 sec. user=mdettweiler [2012-01-23 11:06:56] 759*2^1002525-1 is not prime. Res64: 747AA98220F6C122 Time : 0.0 sec. user=mdettweiler [2012-01-23 11:06:57] 837*2^1002525-1 is not prime. Res64: 022C25327083895E Time : 0.0 sec. user=mdettweiler [2012-01-23 11:16:45] 671*2^1002526-1 is not prime. Res64: D37C2E6C3BBDD759 Time : 0.0 sec. user=mdettweiler [2012-01-23 11:16:46] 705*2^1002526-1 is not prime. Res64: 50B749862BB22082 Time : 0.0 sec. user=mdettweiler [2012-01-23 11:23:59] 777*2^1002526-1 is not prime. Res64: 8ED03BEDE870244A Time : 0.0 sec. user=mdettweiler [2012-01-23 11:24:00] 785*2^1002526-1 is not prime. Res64: F9EA2104D9EF82EE Time : 0.0 sec. user=mdettweiler [2012-01-23 11:24:50] 825*2^1002526-1 is not prime. Res64: 6ED08EDB95853CC7 Time : 0.0 sec. user=mdettweiler [2012-01-23 11:24:50] 881*2^1002526-1 is not prime. Res64: 0FBDC1A717A62EE9 Time : 0.0 sec. user=mdettweiler [2012-01-23 11:28:59] 933*2^1002526-1 is not prime. Res64: 082B375037D92BD2 Time : 0.0 sec. user=mdettweiler [2012-01-23 11:28:59] 643*2^1002527-1 is not prime. Res64: C556995C1B35848A Time : 0.0 sec. user=mdettweiler [2012-01-23 11:29:13] 741*2^1002522-1 is not prime. Res64: F4ECB482BF14FC5E Time : 0.0 sec. user=mdettweiler [2012-01-23 11:29:14] 791*2^1002522-1 is not prime. Res64: 5D27A40195809855 Time : 0.0 sec. user=mdettweiler [2012-01-23 11:36:31] 661*2^1002527-1 is not prime. Res64: 8671E7BB9B1F2A70 Time : 0.0 sec. user=mdettweiler [2012-01-23 11:36:32] 669*2^1002527-1 is not prime. Res64: 44FE3CA2A9AC293E Time : 0.0 sec. user=mdettweiler [2012-01-23 11:43:36] 799*2^1002527-1 is not prime. Res64: 99EC1B177B7761F5 Time : 0.0 sec. user=mdettweiler [2012-01-23 11:43:36] 825*2^1002527-1 is not prime. Res64: 7486D54AB0D53077 Time : 0.0 sec. user=mdettweiler [2012-01-23 11:44:28] 831*2^1002527-1 is not prime. Res64: 374A32CF9117C87E Time : 0.0 sec. user=mdettweiler [2012-01-23 11:44:29] 909*2^1002527-1 is not prime. Res64: ABEAD37C730ED754 Time : 0.0 sec. user=mdettweiler [2012-01-23 11:47:24] 901*2^1002523-1 is not prime. Res64: F8F2FA73B3801AA1 Time : 0.0 sec. user=mdettweiler [2012-01-23 11:47:24] 919*2^1002523-1 is not prime. Res64: 28A963E987779CA1 Time : 0.0 sec. user=mdettweiler [2012-01-23 11:53:19] 955*2^1002527-1 is not prime. Res64: 7F55CA2210E92E30 Time : 0.0 sec. user=mdettweiler [2012-01-23 11:53:19] 963*2^1002527-1 is not prime. Res64: 7810ACD579548591 Time : 0.0 sec. user=mdettweiler [2012-01-23 11:56:17] 839*2^1002528-1 is not prime. Res64: 07A62FB06B570419 Time : 0.0 sec. user=mdettweiler [2012-01-23 11:56:17] 845*2^1002528-1 is not prime. Res64: 5CB2594D90905F76 Time : 0.0 sec. user=mdettweiler [2012-01-23 12:05:37] 879*2^1002528-1 is not prime. Res64: AD04D769916CCAD6 Time : 0.0 sec. user=mdettweiler [2012-01-23 12:05:38] 927*2^1002528-1 is not prime. Res64: C7D0C3F1B798C488 Time : 0.0 sec. user=mdettweiler [2012-01-23 12:06:34] 977*2^1002528-1 is not prime. Res64: 0C9D6DD14767D6B4 Time : 0.0 sec. user=mdettweiler [2012-01-23 12:06:35] 661*2^1002529-1 is not prime. Res64: 3B6B2557DF0D7421 Time : 0.0 sec. user=mdettweiler [2012-01-23 12:13:03] 835*2^1002529-1 is not prime. Res64: 331D614A11F89D1B Time : 0.0 sec. user=mdettweiler [2012-01-23 12:13:04] 847*2^1002529-1 is not prime. Res64: 5E1C83BC23E42A5D Time : 0.0 sec. user=mdettweiler [2012-01-23 12:14:59] 895*2^1002525-1 is not prime. Res64: 3669518DA23FEA44 Time : 0.0 sec. user=mdettweiler [2012-01-23 12:14:59] 999*2^1002525-1 is not prime. Res64: DC80ACAF520126BF Time : 0.0 sec. user=mdettweiler [2012-01-23 12:16:00] 855*2^1002529-1 is not prime. Res64: 776A91D202B59889 Time : 0.0 sec. user=mdettweiler [2012-01-23 12:16:00] 877*2^1002529-1 is not prime. Res64: 2843DAFC73F419DE Time : 0.0 sec. user=mdettweiler [2012-01-23 12:26:21] 675*2^1002530-1 is not prime. Res64: EB7F89A3A8A7C6A1 Time : 0.0 sec. user=mdettweiler [2012-01-23 12:26:21] 677*2^1002530-1 is not prime. Res64: 6A43EA54DC20CFD5 Time : 0.0 sec. user=mdettweiler [2012-01-23 12:27:38] 925*2^1002529-1 is not prime. Res64: 4DC653B62DF38B6F Time : 0.0 sec. user=mdettweiler [2012-01-23 12:27:39] 635*2^1002530-1 is not prime. Res64: 788C6BF8E2AC37CB Time : 0.0 sec. user=mdettweiler [2012-01-23 12:32:46] 753*2^1002530-1 is not prime. Res64: 916616496A67AF95 Time : 0.0 sec. user=mdettweiler [2012-01-23 12:32:47] 783*2^1002530-1 is not prime. Res64: 562AE2CBED5A324B Time : 0.0 sec. user=mdettweiler [2012-01-23 12:37:55] 921*2^1002530-1 is not prime. Res64: B6D702E6D2C01036 Time : 0.0 sec. user=mdettweiler [2012-01-23 12:37:56] 651*2^1002531-1 is not prime. Res64: C1FA0280C2399C95 Time : 0.0 sec. user=mdettweiler [2012-01-23 12:46:05] 703*2^1002531-1 is not prime. Res64: 0DAAE6FAEE9FA02B Time : 0.0 sec. user=mdettweiler [2012-01-23 12:46:06] 775*2^1002531-1 is not prime. Res64: 0DDA40DB4A5F17EF Time : 0.0 sec. user=mdettweiler [2012-01-23 12:47:22] 795*2^1002531-1 is not prime. Res64: 81A612D45DE412AA Time : 0.0 sec. user=mdettweiler [2012-01-23 12:47:22] 891*2^1002531-1 is not prime. Res64: AFE8DC8A542F3727 Time : 0.0 sec. user=mdettweiler [2012-01-23 12:52:30] 609*2^1002532-1 is not prime. Res64: F4A4540EEECBA91A Time : 0.0 sec. user=mdettweiler [2012-01-23 12:52:31] 623*2^1002532-1 is not prime. Res64: 704C517C95D66C5B Time : 0.0 sec. user=mdettweiler [2012-01-23 12:55:49] 991*2^1002527-1 is not prime. Res64: F9BF1E24E1B065AF Time : 0.0 sec. user=mdettweiler [2012-01-23 12:55:49] 663*2^1002528-1 is not prime. Res64: 4E9F8FDECE53353D Time : 0.0 sec. user=mdettweiler [2012-01-23 13:02:12] 983*2^1002532-1 is not prime. Res64: 6035AB3030929F49 Time : 0.0 sec. user=mdettweiler [2012-01-23 13:02:13] 995*2^1002532-1 is not prime. Res64: BBA09A0792EF77B2 Time : 0.0 sec. user=mdettweiler [2012-01-23 13:05:15] 679*2^1002529-1 is not prime. Res64: 730232A9F5E8B585 Time : 0.0 sec. user=mdettweiler [2012-01-23 13:05:16] 747*2^1002529-1 is not prime. Res64: E6C15AB353D532EA Time : 0.0 sec. user=mdettweiler [2012-01-23 13:05:50] 757*2^1002533-1 is not prime. Res64: E6F02A6309816BD2 Time : 0.0 sec. user=mdettweiler [2012-01-23 13:05:50] 787*2^1002533-1 is not prime. Res64: 371F0B972AC61D14 Time : 0.0 sec. user=mdettweiler [2012-01-23 13:11:36] 949*2^1002533-1 is not prime. Res64: 1F7FC51041C0C753 Time : 0.0 sec. user=mdettweiler [2012-01-23 13:11:37] 985*2^1002533-1 is not prime. Res64: 6CAD9C83286E9126 Time : 0.0 sec. user=mdettweiler [2012-01-23 13:12:16] 611*2^1002534-1 is not prime. Res64: 9AADE9F0DFC077CD Time : 0.0 sec. user=mdettweiler [2012-01-23 13:12:17] 671*2^1002534-1 is not prime. Res64: 0FC0BDBF294C7222 Time : 0.0 sec. user=mdettweiler [2012-01-23 13:21:58] 863*2^1002534-1 is not prime. Res64: 64597DA96C821BD0 Time : 0.0 sec. user=mdettweiler [2012-01-23 13:21:58] 887*2^1002534-1 is not prime. Res64: 557F582FC4FA5462 Time : 0.0 sec. user=mdettweiler [2012-01-23 13:25:40] 771*2^1002535-1 is not prime. Res64: 396C65FA5C56F8F5 Time : 0.0 sec. user=mdettweiler [2012-01-23 13:25:41] 859*2^1002535-1 is not prime. Res64: BE54145C67FDB88C Time : 0.0 sec. user=mdettweiler [2012-01-23 13:30:45] 831*2^1002530-1 is not prime. Res64: 3C6E2244CCE4D682 Time : 0.0 sec. user=mdettweiler [2012-01-23 13:30:45] 887*2^1002530-1 is not prime. Res64: 62472783C34C35B8 Time : 0.0 sec. user=mdettweiler [2012-01-23 13:34:20] 957*2^1002536-1 is not prime. Res64: 4321C5AEF7E0D90C Time : 0.0 sec. user=mdettweiler [2012-01-23 13:34:20] 637*2^1002537-1 is not prime. Res64: 518B86F74EF3D4F4 Time : 0.0 sec. user=mdettweiler [2012-01-23 13:35:58] 943*2^1002535-1 is not prime. Res64: 3D3F16450DEF01C7 Time : 0.0 sec. user=mdettweiler [2012-01-23 13:35:58] 969*2^1002535-1 is not prime. Res64: 0F384AFAD6BD697F Time : 0.0 sec. user=mdettweiler [2012-01-23 13:41:55] 667*2^1002537-1 is not prime. Res64: A915F926E0AFFB8E Time : 0.0 sec. user=mdettweiler [2012-01-23 13:41:55] 747*2^1002537-1 is not prime. Res64: 3BB34445A8EEF9E6 Time : 0.0 sec. user=mdettweiler [2012-01-23 13:45:49] 781*2^1002537-1 is not prime. Res64: B99032CE9B7CE9A8 Time : 0.0 sec. user=mdettweiler [2012-01-23 13:45:49] 807*2^1002537-1 is not prime. Res64: CEE733BC7BFCE81E Time : 0.0 sec. user=mdettweiler [2012-01-23 13:56:05] 605*2^1002538-1 is not prime. Res64: F116530EFAA5EE52 Time : 0.0 sec. user=mdettweiler [2012-01-23 13:56:05] 635*2^1002538-1 is not prime. Res64: F500CE1BE8ABD7AF Time : 0.0 sec. user=mdettweiler [2012-01-23 13:56:46] 955*2^1002537-1 is not prime. Res64: 271C92D1367E11C8 Time : 0.0 sec. user=mdettweiler [2012-01-23 13:56:47] 603*2^1002538-1 is not prime. Res64: 400E5EDE4A0828A4 Time : 0.0 sec. user=mdettweiler [2012-01-23 14:02:01] 657*2^1002538-1 is not prime. Res64: 1D692E834EF643C0 Time : 0.0 sec. user=mdettweiler [2012-01-23 14:02:02] 705*2^1002538-1 is not prime. Res64: 5EF324CE1B5F9A6B Time : 0.0 sec. user=mdettweiler [2012-01-23 14:06:01] 737*2^1002538-1 is not prime. Res64: 5A11C716EA883302 Time : 0.0 sec. user=mdettweiler [2012-01-23 14:06:02] 843*2^1002538-1 is not prime. Res64: 636A3D9972F5F888 Time : 0.0 sec. user=mdettweiler [2012-01-23 14:10:58] 737*2^1002534-1 is not prime. Res64: A2DD653BB5877D66 Time : 0.0 sec. user=mdettweiler [2012-01-23 14:10:59] 765*2^1002534-1 is not prime. Res64: 9BEA725DAA3C95FE Time : 0.0 sec. user=mdettweiler [2012-01-23 14:16:20] 867*2^1002538-1 is not prime. Res64: C61101A1E4DEDF47 Time : 0.0 sec. user=mdettweiler [2012-01-23 14:16:20] 881*2^1002538-1 is not prime. Res64: FD38EDC00638056D Time : 0.0 sec. user=mdettweiler [2012-01-23 14:20:29] 603*2^1002535-1 is not prime. Res64: 669321AA4D4053EE Time : 0.0 sec. user=mdettweiler [2012-01-23 14:20:29] 619*2^1002535-1 is not prime. Res64: D8D00C00A7D6894D Time : 0.0 sec. user=mdettweiler [2012-01-23 14:21:28] 933*2^1002538-1 is not prime. Res64: DBA12917BD1AE151 Time : 0.0 sec. user=mdettweiler [2012-01-23 14:21:29] 957*2^1002538-1 is not prime. Res64: 34CF8F8C10601D10 Time : 0.0 sec. user=mdettweiler [2012-01-23 14:22:18] 655*2^1002539-1 is not prime. Res64: BFB28208D7CB2118 Time : 0.0 sec. user=mdettweiler [2012-01-23 14:22:19] 705*2^1002539-1 is not prime. Res64: 4F51A5A0C9869D66 Time : 0.0 sec. user=mdettweiler [2012-01-23 14:26:08] 711*2^1002539-1 is not prime. Res64: 920CA3D140B1F7F4 Time : 0.0 sec. user=mdettweiler [2012-01-23 14:26:09] 813*2^1002539-1 is not prime. Res64: 4BEA35F80C47F850 Time : 0.0 sec. user=mdettweiler [2012-01-23 14:36:21] 609*2^1002540-1 is not prime. Res64: F1D0B639D7543956 Time : 0.0 sec. user=mdettweiler [2012-01-23 14:36:21] 777*2^1002540-1 is not prime. Res64: 7DE5866CD47524B1 Time : 0.0 sec. user=mdettweiler [2012-01-23 14:44:29] 893*2^1002540-1 is not prime. Res64: 00D66374D490A9C6 Time : 0.0 sec. user=mdettweiler [2012-01-23 14:44:29] 933*2^1002540-1 is not prime. Res64: 37B236D84B988926 Time : 0.0 sec. user=mdettweiler [2012-01-23 14:47:41] 959*2^1002540-1 is not prime. Res64: 073740D073C24596 Time : 0.0 sec. user=mdettweiler [2012-01-23 14:47:41] 975*2^1002540-1 is not prime. Res64: 2093E37A5DA7C76C Time : 0.0 sec. user=mdettweiler [2012-01-23 14:49:23] 999*2^1002540-1 is not prime. Res64: 2D298ED86310FB93 Time : 0.0 sec. user=mdettweiler [2012-01-23 14:49:24] 615*2^1002541-1 is not prime. Res64: 061598B0DEA4F95E Time : 0.0 sec. user=mdettweiler [2012-01-23 14:54:28] 829*2^1002537-1 is not prime. Res64: 9073037731F1588A Time : 0.0 sec. user=mdettweiler [2012-01-23 14:54:28] 919*2^1002537-1 is not prime. Res64: 95F46D3145F1A87B Time : 0.0 sec. user=mdettweiler [2012-01-23 14:57:22] 649*2^1002541-1 is not prime. Res64: 394A908A86CF366B Time : 0.0 sec. user=mdettweiler [2012-01-23 14:57:23] 687*2^1002541-1 is not prime. Res64: 3D0378558E544C20 Time : 0.0 sec. user=mdettweiler [2012-01-23 15:05:18] 717*2^1002541-1 is not prime. Res64: 76A4825E9FC78568 Time : 0.0 sec. user=mdettweiler [2012-01-23 15:05:19] 741*2^1002541-1 is not prime. Res64: 857D7E7ECF87F4BD Time : 0.0 sec. user=mdettweiler [2012-01-23 15:08:13] 751*2^1002541-1 is not prime. Res64: 022F1CDFFC8E70E5 Time : 0.0 sec. user=mdettweiler [2012-01-23 15:08:14] 799*2^1002541-1 is not prime. Res64: 2A8F937F2DB68D72 Time : 0.0 sec. user=mdettweiler [2012-01-23 15:12:08] 855*2^1002541-1 is not prime. Res64: 2C47F25B179090B9 Time : 0.0 sec. user=mdettweiler [2012-01-23 15:12:09] 997*2^1002541-1 is not prime. Res64: C2DE86E608BC5075 Time : 0.0 sec. user=mdettweiler [2012-01-23 15:17:45] 693*2^1002542-1 is not prime. Res64: 3442D28AF2144E5A Time : 0.0 sec. user=mdettweiler [2012-01-23 15:17:46] 893*2^1002542-1 is not prime. Res64: 20A7F11882E46FE4 Time : 0.0 sec. user=mdettweiler [2012-01-23 15:28:14] 915*2^1002542-1 is not prime. Res64: FDCC5ADAF828E6DF Time : 0.0 sec. user=mdettweiler [2012-01-23 15:28:15] 945*2^1002542-1 is not prime. Res64: 0C965DA2DEE00F46 Time : 0.0 sec. user=mdettweiler [2012-01-23 15:31:12] 981*2^1002542-1 is not prime. Res64: 8B9C9A97B4BCA5A1 Time : 0.0 sec. user=mdettweiler [2012-01-23 15:31:12] 643*2^1002543-1 is not prime. Res64: 6DC10441B153DBBA Time : 0.0 sec. user=mdettweiler [2012-01-23 15:32:41] 709*2^1002543-1 is not prime. Res64: 40569AA979BFC193 Time : 0.0 sec. user=mdettweiler [2012-01-23 15:32:41] 605*2^1002544-1 is not prime. Res64: 322F9C8A682E20BA Time : 0.0 sec. user=mdettweiler [2012-01-23 15:37:21] 809*2^1002540-1 is not prime. Res64: B0B25E97DF0714BE Time : 0.0 sec. user=mdettweiler [2012-01-23 15:37:21] 857*2^1002540-1 is not prime. Res64: 65779B6E80FCE4D6 Time : 0.0 sec. user=mdettweiler [2012-01-23 15:38:40] 675*2^1002544-1 is not prime. Res64: 57ACB7265E7957AE Time : 0.0 sec. user=mdettweiler [2012-01-23 15:38:41] 719*2^1002544-1 is not prime. Res64: 5DD0005F81339D7F Time : 0.0 sec. user=mdettweiler [2012-01-23 15:46:58] 955*2^1002539-1 is not prime. Res64: C24179BC7D8F2A56 Time : 0.0 sec. user=mdettweiler [2012-01-23 15:46:58] 973*2^1002539-1 is not prime. Res64: 30AAE27BD9EC5F7D Time : 0.0 sec. user=mdettweiler [2012-01-23 15:48:36] 747*2^1002544-1 is not prime. Res64: 529AC44F67B36591 Time : 0.0 sec. user=mdettweiler [2012-01-23 15:48:36] 819*2^1002544-1 is not prime. Res64: D70ACD5F613F30C5 Time : 0.0 sec. user=mdettweiler [2012-01-23 15:51:39] 869*2^1002544-1 is not prime. Res64: 0E15909CA65A1F29 Time : 0.0 sec. user=mdettweiler [2012-01-23 15:51:39] 875*2^1002544-1 is not prime. Res64: 64CF7B3CD3F97E97 Time : 0.0 sec. user=mdettweiler [2012-01-23 15:55:25] 905*2^1002544-1 is not prime. Res64: 5BA1908462947209 Time : 0.0 sec. user=mdettweiler [2012-01-23 15:55:25] 927*2^1002544-1 is not prime. Res64: 52E3B087202EE920 Time : 0.0 sec. user=mdettweiler [2012-01-23 16:03:57] 969*2^1002544-1 is not prime. Res64: EC257FAE42A8BB6D Time : 0.0 sec. user=mdettweiler [2012-01-23 16:03:58] 993*2^1002544-1 is not prime. Res64: 674F4D441705DE03 Time : 0.0 sec. user=mdettweiler [2012-01-23 16:09:23] 871*2^1002545-1 is not prime. Res64: 0F4CE448ECEBCDDE Time : 0.0 sec. user=mdettweiler [2012-01-23 16:09:25] 907*2^1002545-1 is not prime. Res64: 6EEBBF91F6A387B2 Time : 0.0 sec. user=mdettweiler [2012-01-23 16:16:33] 925*2^1002545-1 is not prime. Res64: 13EF0C64A19B452F Time : 0.0 sec. user=mdettweiler [2012-01-23 16:16:33] 937*2^1002545-1 is not prime. Res64: 6D1E7F123B32C3C9 Time : 0.0 sec. user=mdettweiler [2012-01-23 16:17:03] 615*2^1002542-1 is not prime. Res64: 2F4CC05211D42087 Time : 0.0 sec. user=mdettweiler [2012-01-23 16:17:04] 617*2^1002542-1 is not prime. Res64: 5B3C5912B72C891F Time : 0.0 sec. user=mdettweiler [2012-01-23 16:18:25] 949*2^1002545-1 is not prime. Res64: 01F6B60274DBF8DD Time : 0.0 sec. user=mdettweiler [2012-01-23 16:18:25] 627*2^1002546-1 is not prime. Res64: D612CB8C91D315A2 Time : 0.0 sec. user=mdettweiler [2012-01-23 16:26:30] 741*2^1002546-1 is not prime. Res64: 0C83BD9FF4A69DEE Time : 0.0 sec. user=mdettweiler [2012-01-23 16:26:30] 917*2^1002546-1 is not prime. Res64: 716333541551EBFA Time : 0.0 sec. user=mdettweiler [2012-01-23 16:32:13] 983*2^1002546-1 is not prime. Res64: AFB87AFEC593A4A7 Time : 0.0 sec. user=mdettweiler [2012-01-23 16:32:13] 603*2^1002547-1 is not prime. Res64: 51A3FA76122CDC14 Time : 0.0 sec. user=mdettweiler [2012-01-23 16:36:52] 619*2^1002547-1 is not prime. Res64: 46460B286410B26E Time : 0.0 sec. user=mdettweiler [2012-01-23 16:36:53] 765*2^1002547-1 is not prime. Res64: 4703A3613E80606B Time : 0.0 sec. user=mdettweiler [2012-01-23 16:38:46] 753*2^1002548-1 is not prime. Res64: 31A2D27CF5CD08CE Time : 0.0 sec. user=mdettweiler [2012-01-23 16:38:47] 915*2^1002548-1 is not prime. Res64: EDB73A79122055F2 Time : 0.0 sec. user=mdettweiler [2012-01-23 16:49:08] 959*2^1002548-1 is not prime. Res64: A91D69A353BDCF07 Time : 0.0 sec. user=mdettweiler [2012-01-23 16:49:08] 681*2^1002549-1 is not prime. Res64: EACA1B7E42333C90 Time : 0.0 sec. user=mdettweiler [2012-01-23 16:52:49] 781*2^1002549-1 is not prime. Res64: 9B9BB1C7517A624D Time : 0.0 sec. user=mdettweiler [2012-01-23 16:52:50] 789*2^1002549-1 is not prime. Res64: C294510543BD44DC Time : 0.0 sec. user=mdettweiler [2012-01-23 16:59:47] 835*2^1002549-1 is not prime. Res64: 93B01B45E18A33B1 Time : 0.0 sec. user=mdettweiler [2012-01-23 16:59:48] 951*2^1002549-1 is not prime. Res64: 661A31A3981E7EA4 Time : 0.0 sec. user=mdettweiler [2012-01-23 17:01:46] 979*2^1002549-1 is not prime. Res64: CBEE8167E7E28E7E Time : 0.0 sec. user=mdettweiler [2012-01-23 17:01:52] 657*2^1002550-1 is not prime. Res64: 037CB49FA74BA1DD Time : 0.0 sec. user=mdettweiler [2012-01-23 17:12:28] 707*2^1002550-1 is not prime. Res64: 1B2E253636B26C1E Time : 0.0 sec. user=mdettweiler [2012-01-23 17:12:30] 743*2^1002550-1 is not prime. Res64: 1312AFEF5787D609 Time : 0.0 sec. user=mdettweiler [2012-01-23 17:13:10] 669*2^1002545-1 is not prime. Res64: 27DF965E3B759E2A Time : 0.0 sec. user=mdettweiler [2012-01-23 17:13:10] 679*2^1002545-1 is not prime. Res64: 2DC770DF7D9ECAD0 Time : 0.0 sec. user=mdettweiler [2012-01-23 17:19:03] 821*2^1002550-1 is not prime. Res64: 476F2BA4228FF5DE Time : 0.0 sec. user=mdettweiler [2012-01-23 17:19:03] 831*2^1002550-1 is not prime. Res64: 5DBB142E94AD340F Time : 0.0 sec. user=mdettweiler [2012-01-23 17:22:43] 947*2^1002544-1 is not prime. Res64: 1A723839647FAF49 Time : 0.0 sec. user=mdettweiler [2012-01-23 17:22:43] 965*2^1002544-1 is not prime. Res64: 43C94F7507C68BD4 Time : 0.0 sec. user=mdettweiler [2012-01-23 17:29:33] 923*2^1002550-1 is not prime. Res64: DD0F91A797C0DE7A Time : 0.0 sec. user=mdettweiler [2012-01-23 17:29:33] 603*2^1002551-1 is not prime. Res64: 40ED95292810C249 Time : 0.0 sec. user=mdettweiler [2012-01-23 17:37:00] 811*2^1002551-1 is not prime. Res64: 74099EBD976FBE5D Time : 0.0 sec. user=mdettweiler [2012-01-23 17:37:00] 859*2^1002551-1 is not prime. Res64: CFA43F3517D74AF0 Time : 0.0 sec. user=mdettweiler [2012-01-23 17:42:04] 609*2^1002552-1 is not prime. Res64: E4DF6D83F091642B Time : 0.0 sec. user=mdettweiler [2012-01-23 17:42:04] 879*2^1002552-1 is not prime. Res64: 360BCED956DE197C Time : 0.0 sec. user=mdettweiler [2012-01-23 17:50:02] 975*2^1002547-1 is not prime. Res64: A0CCB1EE963C1FF3 Time : 0.0 sec. user=mdettweiler [2012-01-23 17:50:02] 735*2^1002548-1 is not prime. Res64: CAB8DBEED7636FC4 Time : 0.0 sec. user=mdettweiler [2012-01-23 17:51:11] 681*2^1002553-1 is not prime. Res64: D566FD408F96E7D2 Time : 0.0 sec. user=mdettweiler [2012-01-23 17:51:11] 855*2^1002553-1 is not prime. Res64: 3EE112E0AB909917 Time : 0.0 sec. user=mdettweiler [2012-01-23 17:57:40] 895*2^1002553-1 is not prime. Res64: 060163400D54B7C1 Time : 0.0 sec. user=mdettweiler [2012-01-23 17:57:41] 605*2^1002554-1 is not prime. Res64: C675C3ACF280565E Time : 0.0 sec. user=mdettweiler [2012-01-23 17:59:51] 641*2^1002554-1 is not prime. Res64: 25A5E55930476B57 Time : 0.0 sec. user=mdettweiler [2012-01-23 17:59:51] 665*2^1002554-1 is not prime. Res64: 4DFF3192ACEE819A Time : 0.0 sec. user=mdettweiler [2012-01-23 18:02:12] 671*2^1002554-1 is not prime. Res64: F14B2B9B24191AC1 Time : 0.0 sec. user=mdettweiler [2012-01-23 18:02:12] 827*2^1002554-1 is not prime. Res64: C1F0F331CC3186D9 Time : 0.0 sec. user=mdettweiler [2012-01-23 18:13:17] 983*2^1002554-1 is not prime. Res64: 19EAB54A4EE93B42 Time : 0.0 sec. user=mdettweiler [2012-01-23 18:13:18] 609*2^1002555-1 is not prime. Res64: 52C6C5287DB42712 Time : 0.0 sec. user=mdettweiler [2012-01-23 18:17:34] 663*2^1002555-1 is not prime. Res64: 6BBE76E910E55A4B Time : 0.0 sec. user=mdettweiler [2012-01-23 18:17:34] 679*2^1002555-1 is not prime. Res64: 45503DA58FC31E4B Time : 0.0 sec. user=mdettweiler [2012-01-23 18:19:41] 765*2^1002555-1 is not prime. Res64: 087E64C7B4DDBE28 Time : 0.0 sec. user=mdettweiler [2012-01-23 18:19:41] 789*2^1002555-1 is not prime. Res64: 0F0441C8C3EC39BD Time : 0.0 sec. user=mdettweiler [2012-01-23 18:24:19] 859*2^1002555-1 is not prime. Res64: E2350E9A4F7D9373 Time : 0.0 sec. user=mdettweiler [2012-01-23 18:24:19] 921*2^1002555-1 is not prime. Res64: D8B4578751771AC9 Time : 0.0 sec. user=mdettweiler [2012-01-23 18:35:26] 985*2^1002555-1 is not prime. Res64: 6B2FEF5D4F6AF500 Time : 0.0 sec. user=mdettweiler [2012-01-23 18:35:26] 603*2^1002556-1 is not prime. Res64: 6560EA6D2FB125E2 Time : 0.0 sec. user=mdettweiler [2012-01-23 18:37:26] 609*2^1002556-1 is not prime. Res64: 4063D399608FDF7F Time : 0.0 sec. user=mdettweiler [2012-01-23 18:37:27] 623*2^1002556-1 is not prime. Res64: 8D2059584413D1C8 Time : 0.0 sec. user=mdettweiler [2012-01-23 18:39:36] 779*2^1002556-1 is not prime. Res64: CE598306DE02D9D1 Time : 0.0 sec. user=mdettweiler [2012-01-23 18:39:36] 899*2^1002556-1 is not prime. Res64: 09C6A8CE3863BD74 Time : 0.0 sec. user=mdettweiler [2012-01-23 18:44:49] 609*2^1002553-1 is not prime. Res64: 559F25BB5E450701 Time : 0.0 sec. user=mdettweiler [2012-01-23 18:44:49] 675*2^1002553-1 is not prime. Res64: 8D14B8F45BA32204 Time : 0.0 sec. user=mdettweiler [2012-01-23 18:46:24] 953*2^1002556-1 is not prime. Res64: 35B150F1D45B1215 Time : 0.0 sec. user=mdettweiler [2012-01-23 18:46:25] 729*2^1002557-1 is not prime. Res64: 1D8DD8652BF31B62 Time : 0.0 sec. user=mdettweiler [2012-01-23 18:52:03] 979*2^1002551-1 is not prime. Res64: AC07D5BDC2D80055 Time : 0.0 sec. user=mdettweiler [2012-01-23 18:52:03] 993*2^1002551-1 is not prime. Res64: ABDF52DC8DDDF7E0 Time : 0.0 sec. user=mdettweiler [2012-01-23 18:55:18] 771*2^1002557-1 is not prime. Res64: B6FA42F7047E3B36 Time : 0.0 sec. user=mdettweiler [2012-01-23 18:55:18] 867*2^1002557-1 is not prime. Res64: FFF9642CA5EB2D74 Time : 0.0 sec. user=mdettweiler [2012-01-23 18:59:37] 915*2^1002557-1 is not prime. Res64: 045F604C9C99457E Time : 0.0 sec. user=mdettweiler [2012-01-23 18:59:37] 937*2^1002557-1 is not prime. Res64: 85ED53CA095B68CD Time : 0.0 sec. user=mdettweiler [2012-01-23 19:03:58] 955*2^1002557-1 is not prime. Res64: 26D379846ABAB1A6 Time : 0.0 sec. user=mdettweiler [2012-01-23 19:03:59] 967*2^1002557-1 is not prime. Res64: F9743F4E977050AA Time : 0.0 sec. user=mdettweiler [2012-01-23 19:06:21] 737*2^1002558-1 is not prime. Res64: C0A23D63D9C8706C Time : 0.0 sec. user=mdettweiler [2012-01-23 19:06:21] 745*2^1002559-1 is not prime. Res64: B73CE96A65879BF8 Time : 0.0 sec. user=mdettweiler [2012-01-23 19:19:28] 677*2^1002560-1 is not prime. Res64: 1CEF4FE3550E3878 Time : 0.0 sec. user=mdettweiler [2012-01-23 19:19:28] 699*2^1002560-1 is not prime. Res64: 9A1E12BB0DE8CB7E Time : 0.0 sec. user=mdettweiler [2012-01-23 19:19:37] 975*2^1002559-1 is not prime. Res64: 1685669B1FCE71B6 Time : 0.0 sec. user=mdettweiler [2012-01-23 19:19:37] 993*2^1002559-1 is not prime. Res64: 3E34412191A08CA0 Time : 0.0 sec. user=mdettweiler [2012-01-23 19:20:08] 875*2^1002554-1 is not prime. Res64: D0F8F8B7D0F182A6 Time : 0.0 sec. user=mdettweiler [2012-01-23 19:20:09] 953*2^1002554-1 is not prime. Res64: B89A4E2D9D8F7145 Time : 0.0 sec. user=mdettweiler [2012-01-23 19:23:57] 713*2^1002560-1 is not prime. Res64: 183D1B9D6E952D7B Time : 0.0 sec. user=mdettweiler [2012-01-23 19:23:58] 755*2^1002560-1 is not prime. Res64: 09F15D17CDB21559 Time : 0.0 sec. user=mdettweiler [2012-01-23 19:28:36] 803*2^1002560-1 is not prime. Res64: DDF38235BB2C63E7 Time : 0.0 sec. user=mdettweiler [2012-01-23 19:28:37] 927*2^1002560-1 is not prime. Res64: 13C7B1E8F3F51F25 Time : 0.0 sec. user=mdettweiler [2012-01-23 19:43:25] 963*2^1002560-1 is not prime. Res64: 51876D67DABCE957 Time : 0.0 sec. user=mdettweiler [2012-01-23 19:43:25] 745*2^1002561-1 is not prime. Res64: 3686B40204980EBA Time : 0.0 sec. user=mdettweiler [2012-01-23 19:45:40] 909*2^1002561-1 is not prime. Res64: 23A0FA3F5DC5DA16 Time : 0.0 sec. user=mdettweiler [2012-01-23 19:45:40] 621*2^1002562-1 is not prime. Res64: CD4B647C7B62A3D5 Time : 0.0 sec. user=mdettweiler [2012-01-23 19:46:05] 935*2^1002560-1 is not prime. Res64: 98A89FD361D2B5BD Time : 0.0 sec. user=mdettweiler [2012-01-23 19:46:06] 957*2^1002560-1 is not prime. Res64: D5361FDE53961094 Time : 0.0 sec. user=mdettweiler [2012-01-23 19:51:19] 647*2^1002562-1 is not prime. Res64: F86D0BB3CD3E90F8 Time : 0.0 sec. user=mdettweiler [2012-01-23 19:51:20] 653*2^1002562-1 is not prime. Res64: 1BFC62D8DB62B6A6 Time : 0.0 sec. user=mdettweiler [2012-01-23 20:03:20] 605*2^1002558-1 is not prime. Res64: DFAA3F4CB43C8956 Time : 0.0 sec. user=mdettweiler [2012-01-23 20:03:21] 711*2^1002558-1 is not prime. Res64: D7FD49BA145AA08B Time : 0.0 sec. user=mdettweiler [2012-01-23 20:05:16] 735*2^1002562-1 is not prime. Res64: AF99CADB866263C9 Time : 0.0 sec. user=mdettweiler [2012-01-23 20:05:18] 747*2^1002562-1 is not prime. Res64: 7B73054A6E220BB2 Time : 0.0 sec. user=mdettweiler [2012-01-23 20:06:57] 777*2^1002562-1 is not prime. Res64: 61D6C9930891FF64 Time : 0.0 sec. user=mdettweiler [2012-01-23 20:07:00] 801*2^1002562-1 is not prime. Res64: DD23C80300493B95 Time : 0.0 sec. user=mdettweiler [2012-01-23 20:07:25] 873*2^1002562-1 is not prime. Res64: A831BF8EE0352CD5 Time : 0.0 sec. user=mdettweiler [2012-01-23 20:07:26] 621*2^1002563-1 is not prime. Res64: 3BE48E3380B13AA0 Time : 0.0 sec. user=mdettweiler [2012-01-23 20:10:23] 793*2^1002559-1 is not prime. Res64: 4C4066790DC5F7F1 Time : 0.0 sec. user=mdettweiler [2012-01-23 20:10:23] 885*2^1002559-1 is not prime. Res64: F7800ECDF72D6B0F Time : 0.0 sec. user=mdettweiler [2012-01-23 20:11:31] 649*2^1002563-1 is not prime. Res64: 71FF5C7A667BB81D Time : 0.0 sec. user=mdettweiler [2012-01-23 20:11:32] 675*2^1002563-1 is not prime. Res64: 4ADDB9DE1AE0FC11 Time : 0.0 sec. user=mdettweiler [2012-01-23 20:26:47] 629*2^1002564-1 is not prime. Res64: 9A504CAD5EE96AA1 Time : 0.0 sec. user=mdettweiler [2012-01-23 20:26:47] 695*2^1002564-1 is not prime. Res64: CEB2553EF879A9C9 Time : 0.0 sec. user=mdettweiler [2012-01-23 20:27:15] 705*2^1002564-1 is not prime. Res64: 8E3BBCCC42CBD93E Time : 0.0 sec. user=mdettweiler [2012-01-23 20:27:16] 725*2^1002564-1 is not prime. Res64: ADEEC65B8DBCDFA9 Time : 0.0 sec. user=mdettweiler [2012-01-23 20:27:23] 861*2^1002563-1 is not prime. Res64: 67F0A3163B21FFDA Time : 0.0 sec. user=mdettweiler [2012-01-23 20:27:24] 973*2^1002563-1 is not prime. Res64: 60C0C6D55F46651B Time : 0.0 sec. user=mdettweiler [2012-01-23 20:33:34] 975*2^1002565-1 is not prime. Res64: E6DB6C19E33623AB Time : 0.0 sec. user=mdettweiler [2012-01-23 20:33:34] 705*2^1002566-1 is not prime. Res64: B05831AD513967AC Time : 0.0 sec. user=mdettweiler [2012-01-23 20:38:25] 877*2^1002561-1 is not prime. Res64: 750A235C7610B183 Time : 0.0 sec. user=mdettweiler [2012-01-23 20:38:25] 907*2^1002561-1 is not prime. Res64: D82A8B74FD378FF1 Time : 0.0 sec. user=mdettweiler [2012-01-23 20:46:37] 801*2^1002566-1 is not prime. Res64: CA5A47B54789790A Time : 0.0 sec. user=mdettweiler [2012-01-23 20:46:38] 831*2^1002566-1 is not prime. Res64: DAABAA7EC3EDD89C Time : 0.0 sec. user=mdettweiler [2012-01-23 20:49:19] 875*2^1002566-1 is not prime. Res64: 4BF7A5A79E55DB4C Time : 0.0 sec. user=mdettweiler [2012-01-23 20:49:19] 923*2^1002566-1 is not prime. Res64: A4260D6AEA5A2AF2 Time : 0.0 sec. user=mdettweiler [2012-01-23 20:51:39] 935*2^1002566-1 is not prime. Res64: 277C42E410707CEC Time : 0.0 sec. user=mdettweiler [2012-01-23 20:51:39] 963*2^1002566-1 is not prime. Res64: 2C66B0E819312D9B Time : 0.0 sec. user=mdettweiler [2012-01-23 20:53:22] 691*2^1002567-1 is not prime. Res64: 5B1C0D593D4A4C0E Time : 0.0 sec. user=mdettweiler [2012-01-23 20:53:23] 909*2^1002567-1 is not prime. Res64: 00FDD95C34D6AE40 Time : 0.0 sec. user=mdettweiler [2012-01-23 21:08:44] 979*2^1002567-1 is not prime. Res64: F629D24135B5A9FA Time : 0.0 sec. user=mdettweiler [2012-01-23 21:08:45] 657*2^1002568-1 is not prime. Res64: 070EAECD5E0B01C0 Time : 0.0 sec. user=mdettweiler [2012-01-23 21:11:23] 723*2^1002568-1 is not prime. Res64: C5FA55BE0510F2CC Time : 0.0 sec. user=mdettweiler [2012-01-23 21:11:26] 989*2^1002568-1 is not prime. Res64: 74ADF000032CD280 Time : 0.0 sec. user=mdettweiler [2012-01-23 21:13:44] 993*2^1002568-1 is not prime. Res64: B7D6A3BAF21E8843 Time : 0.0 sec. user=mdettweiler [2012-01-23 21:13:44] 657*2^1002569-1 is not prime. Res64: 2A260374B46A9004 Time : 0.0 sec. user=mdettweiler [2012-01-23 21:15:28] 841*2^1002569-1 is not prime. Res64: 3126C8099BABBA14 Time : 0.0 sec. user=mdettweiler [2012-01-23 21:15:29] 939*2^1002569-1 is not prime. Res64: CB065BE993B49FD5 Time : 0.0 sec. user=mdettweiler [2012-01-23 21:21:38] 693*2^1002563-1 is not prime. Res64: 9A59638DDD4DEEE8 Time : 0.0 sec. user=mdettweiler [2012-01-23 21:21:38] 745*2^1002563-1 is not prime. Res64: F160C805D0F07A13 Time : 0.0 sec. user=mdettweiler [2012-01-23 21:28:38] 809*2^1002564-1 is not prime. Res64: 4DCABDD1DC83B5C1 Time : 0.0 sec. user=mdettweiler [2012-01-23 21:28:38] 909*2^1002564-1 is not prime. Res64: 38F85799922CD72A Time : 0.0 sec. user=mdettweiler [2012-01-23 21:33:08] 957*2^1002569-1 is not prime. Res64: EA47C75EF3E77029 Time : 0.0 sec. user=mdettweiler [2012-01-23 21:33:09] 979*2^1002569-1 is not prime. Res64: 0BCA9267B439A880 Time : 0.0 sec. user=mdettweiler [2012-01-23 21:33:35] 651*2^1002570-1 is not prime. Res64: 646612BFE3125610 Time : 0.0 sec. user=mdettweiler [2012-01-23 21:33:36] 653*2^1002570-1 is not prime. Res64: E1582631CA5B6066 Time : 0.0 sec. user=mdettweiler [2012-01-23 21:33:41] 997*2^1002569-1 is not prime. Res64: 6798665387A91C64 Time : 0.0 sec. user=mdettweiler [2012-01-23 21:33:41] 635*2^1002570-1 is not prime. Res64: EF41C29A2C641248 Time : 0.0 sec. user=mdettweiler [2012-01-23 21:35:18] 707*2^1002570-1 is not prime. Res64: 874F9757C810F55A Time : 0.0 sec. user=mdettweiler [2012-01-23 21:35:19] 713*2^1002570-1 is not prime. Res64: D211AD49E753B426 Time : 0.0 sec. user=mdettweiler [2012-01-23 21:53:26] 703*2^1002571-1 is not prime. Res64: EA0A8B977C5A20EF Time : 0.0 sec. user=mdettweiler [2012-01-23 21:53:26] 723*2^1002571-1 is not prime. Res64: 18F20C9932D5928D Time : 0.0 sec. user=mdettweiler [2012-01-23 21:55:04] 811*2^1002571-1 is not prime. Res64: 41178F035423ADAC Time : 0.0 sec. user=mdettweiler [2012-01-23 21:55:05] 835*2^1002571-1 is not prime. Res64: CCC59DF1812F4CFA Time : 0.0 sec. user=mdettweiler [2012-01-23 21:55:09] 915*2^1002570-1 is not prime. Res64: EF4175A7B6B63E8A Time : 0.0 sec. user=mdettweiler [2012-01-23 21:55:09] 927*2^1002570-1 is not prime. Res64: C4F6FCEE3A35E50A Time : 0.0 sec. user=mdettweiler [2012-01-23 21:55:31] 933*2^1002570-1 is not prime. Res64: 94751CC591CF306D Time : 0.0 sec. user=mdettweiler [2012-01-23 21:55:32] 681*2^1002571-1 is not prime. Res64: E02A15537126AD23 Time : 0.0 sec. user=mdettweiler [2012-01-23 22:14:41] 951*2^1002567-1 is not prime. Res64: 3AE62696C908628B Time : 0.0 sec. user=mdettweiler [2012-01-23 22:14:42] 963*2^1002567-1 is not prime. Res64: 17EC32544E7495F3 Time : 0.0 sec. user=mdettweiler [2012-01-23 22:23:19] 675*2^1002573-1 is not prime. Res64: C02C620DD1F0524A Time : 0.0 sec. user=mdettweiler [2012-01-23 22:23:19] 615*2^1002572-1 is not prime. Res64: 89B7B95D0C6C6E5A Time : 0.0 sec. user=mdettweiler [2012-01-23 22:23:20] 685*2^1002573-1 is not prime. Res64: 2F3E15049EFC06D6 Time : 0.0 sec. user=mdettweiler [2012-01-23 22:23:20] 699*2^1002572-1 is not prime. Res64: E065B99BB4FBFE68 Time : 0.0 sec. user=mdettweiler [2012-01-23 22:25:33] 963*2^1002572-1 is not prime. Res64: 68FBA2BACD68AA43 Time : 0.0 sec. user=mdettweiler [2012-01-23 22:25:33] 987*2^1002572-1 is not prime. Res64: 0A518AA9C6B30545 Time : 0.0 sec. user=mdettweiler [2012-01-23 22:25:41] 883*2^1002571-1 is not prime. Res64: B3ED6D9284C0EF69 Time : 0.0 sec. user=mdettweiler [2012-01-23 22:25:42] 925*2^1002571-1 is not prime. Res64: 102587D764397849 Time : 0.0 sec. user=mdettweiler [2012-01-23 22:41:09] 755*2^1002570-1 is not prime. Res64: F3B67559B867F05A Time : 0.0 sec. user=mdettweiler [2012-01-23 22:41:09] 791*2^1002570-1 is not prime. Res64: 7DF371A7FB0AD03B Time : 0.0 sec. user=mdettweiler [2012-01-23 22:43:03] 675*2^1002574-1 is not prime. Res64: D557F0C70D3F23BA Time : 0.0 sec. user=mdettweiler [2012-01-23 22:43:03] 681*2^1002574-1 is not prime. Res64: 40D136D7DFB94407 Time : 0.0 sec. user=mdettweiler [2012-01-23 22:45:19] 707*2^1002574-1 is not prime. Res64: C81819C066BA21BB Time : 0.0 sec. user=mdettweiler [2012-01-23 22:45:20] 821*2^1002574-1 is not prime. Res64: 705D48DF1D3CC0C7 Time : 0.0 sec. user=mdettweiler [2012-01-23 22:45:21] 819*2^1002573-1 is not prime. Res64: 8A3F476E4697C570 Time : 0.0 sec. user=mdettweiler [2012-01-23 22:45:21] 945*2^1002573-1 is not prime. Res64: 6F4A1D0CF425D320 Time : 0.0 sec. user=mdettweiler [2012-01-23 22:47:42] 981*2^1002574-1 is not prime. Res64: 9AFD3D0E3EAAC53D Time : 0.0 sec. user=mdettweiler [2012-01-23 22:47:43] 705*2^1002575-1 is not prime. Res64: 39C0211778030228 Time : 0.0 sec. user=mdettweiler [2012-01-23 22:48:39] 803*2^1002570-1 is not prime. Res64: A7D3AFA8ADEA51FF Time : 0.0 sec. user=mdettweiler [2012-01-23 22:48:39] 843*2^1002570-1 is not prime. Res64: FCA7472BC8150327 Time : 0.0 sec. user=mdettweiler [2012-01-23 23:02:55] 825*2^1002575-1 is not prime. Res64: 65D909ABFEFD0DAC Time : 0.0 sec. user=mdettweiler [2012-01-23 23:02:56] 861*2^1002575-1 is not prime. Res64: C637ACA33C4B9DA9 Time : 0.0 sec. user=mdettweiler [2012-01-23 23:07:25] 991*2^1002575-1 is not prime. Res64: 7F563BA5DDC1C4FD Time : 0.0 sec. user=mdettweiler [2012-01-23 23:07:26] 635*2^1002576-1 is not prime. Res64: EA199B04106D01B8 Time : 0.0 sec. user=mdettweiler [2012-01-23 23:07:28] 913*2^1002575-1 is not prime. Res64: C7B58D7996DBBBB2 Time : 0.0 sec. user=mdettweiler [2012-01-23 23:07:31] 943*2^1002575-1 is not prime. Res64: A98418ECF7E00856 Time : 0.0 sec. user=mdettweiler [2012-01-23 23:07:33] 803*2^1002576-1 is not prime. Res64: 2CDD67AD4D09193A Time : 0.0 sec. user=mdettweiler [2012-01-23 23:07:38] 873*2^1002576-1 is not prime. Res64: 7890ED4AE2A665BC Time : 0.0 sec. user=mdettweiler [2012-01-23 23:23:17] 607*2^1002577-1 is not prime. Res64: 599B60EE351DCAB3 Time : 0.0 sec. user=mdettweiler [2012-01-23 23:23:17] 727*2^1002577-1 is not prime. Res64: E02E363A2FF9C6FE Time : 0.0 sec. user=mdettweiler [2012-01-23 23:27:42] 771*2^1002577-1 is not prime. Res64: A03F28636A34BBFB Time : 0.0 sec. user=mdettweiler [2012-01-23 23:27:43] 829*2^1002577-1 is not prime. Res64: FE1557D861F79E9A Time : 0.0 sec. user=mdettweiler [2012-01-23 23:27:47] 603*2^1002578-1 is not prime. Res64: BF28545AC4D99949 Time : 0.0 sec. user=mdettweiler [2012-01-23 23:27:48] 657*2^1002578-1 is not prime. Res64: 0FA77902F8CA9629 Time : 0.0 sec. user=mdettweiler [2012-01-23 23:27:51] 885*2^1002577-1 is not prime. Res64: CA6B0726AF8B3D91 Time : 0.0 sec. user=mdettweiler [2012-01-23 23:27:51] 895*2^1002577-1 is not prime. Res64: 4BC4B397C5C8BFD3 Time : 0.0 sec. user=mdettweiler [2012-01-23 23:33:53] 751*2^1002573-1 is not prime. Res64: 40D9E4F44BAC3F86 Time : 0.0 sec. user=mdettweiler [2012-01-23 23:33:53] 789*2^1002573-1 is not prime. Res64: 57FD6FE3C4FAB89F Time : 0.0 sec. user=mdettweiler [2012-01-23 23:43:00] 665*2^1002578-1 is not prime. Res64: 1D39CA5596E4B919 Time : 0.0 sec. user=mdettweiler [2012-01-23 23:43:00] 743*2^1002578-1 is not prime. Res64: AC0DCDB0C0424316 Time : 0.0 sec. user=mdettweiler [2012-01-23 23:47:27] 773*2^1002578-1 is not prime. Res64: 8F8F8917E995C55D Time : 0.0 sec. user=mdettweiler [2012-01-23 23:47:28] 893*2^1002578-1 is not prime. Res64: FD420C50369C86B1 Time : 0.0 sec. user=mdettweiler [2012-01-23 23:47:34] 703*2^1002579-1 is not prime. Res64: 092A4464228E564F Time : 0.0 sec. user=mdettweiler [2012-01-23 23:47:35] 735*2^1002579-1 is not prime. Res64: BDEA5F8FB2042C56 Time : 0.0 sec. user=mdettweiler [2012-01-23 23:52:11] 953*2^1002578-1 is not prime. Res64: B5F1839EBAD3F146 Time : 0.0 sec. user=mdettweiler [2012-01-23 23:52:11] 971*2^1002578-1 is not prime. Res64: 9813EDFBA52E894E Time : 0.0 sec. user=mdettweiler [2012-01-23 23:58:44] 783*2^1002575-1 is not prime. Res64: D3452808117F300F Time : 0.0 sec. user=mdettweiler [2012-01-23 23:58:45] 819*2^1002575-1 is not prime. Res64: 32D38DB7A59BB257 Time : 0.0 sec.