user=mdettweiler [2009-09-20 01:50:08] 395*2^334660-1 is not prime. Res64: E0C0993D67062FE0 Time : 0.0 sec. user=mdettweiler [2009-09-20 01:52:31] 309*2^334663-1 is not prime. Res64: FFD41D032C036FC5 Time : 0.0 sec. user=mdettweiler [2009-09-20 01:54:53] 325*2^334665-1 is not prime. Res64: 2B399E23048A008C Time : 0.0 sec. user=mdettweiler [2009-09-20 01:57:10] 331*2^334665-1 is not prime. Res64: 7CE400148193732A Time : 0.0 sec. user=mdettweiler [2009-09-20 01:59:27] 367*2^334665-1 is not prime. Res64: 3B4EF0942F98556F Time : 0.0 sec. user=mdettweiler [2009-09-20 02:01:49] 347*2^334664-1 is not prime. Res64: 8060E27FCC2C3F29 Time : 0.0 sec. user=mdettweiler [2009-09-20 02:04:11] 351*2^334663-1 is not prime. Res64: 19F036F0946CE741 Time : 0.0 sec. user=mdettweiler [2009-09-20 02:06:33] 377*2^334664-1 is not prime. Res64: EB49D0479F40330C Time : 0.0 sec. user=mdettweiler [2009-09-20 02:08:54] 399*2^334665-1 is not prime. Res64: 16A8970CE3EF443C Time : 0.0 sec. user=mdettweiler [2009-09-20 02:11:11] 329*2^334668-1 is not prime. Res64: 0109A0081324FA67 Time : 0.0 sec. user=mdettweiler [2009-09-20 02:13:28] 333*2^334667-1 is not prime. Res64: EB37EA2A5C55B09D Time : 0.0 sec. user=mdettweiler [2009-09-20 02:15:45] 351*2^334667-1 is not prime. Res64: 295869F69A305DBD Time : 0.0 sec. user=mdettweiler [2009-09-20 02:18:07] 369*2^334669-1 is not prime. Res64: 6F4E18A3F10497AE Time : 0.0 sec. user=mdettweiler [2009-09-20 02:19:40] 377*2^334668-1 is not prime. Res64: A92825F2E3AA464F Time : 0.0 sec. user=mdettweiler [2009-09-20 02:20:31] 391*2^334667-1 is not prime. Res64: 52BDB818BB1CE546 Time : 0.0 sec. user=mdettweiler [2009-09-20 02:21:58] 309*2^334672-1 is not prime. Res64: B2A295FCFE8D20E2 Time : 0.0 sec. user=mdettweiler [2009-09-20 02:22:50] 335*2^334672-1 is not prime. Res64: 817A964FD4BDCF71 Time : 0.0 sec. user=mdettweiler [2009-09-20 02:24:21] 355*2^334671-1 is not prime. Res64: B8195C0920A6FBAA Time : 0.0 sec. user=mdettweiler [2009-09-20 02:25:13] 341*2^334670-1 is not prime. Res64: B9ED749EBA578A38 Time : 0.0 sec. user=mdettweiler [2009-09-20 02:26:44] 363*2^334672-1 is not prime. Res64: 5F2B63DC2E90E124 Time : 0.0 sec. user=mdettweiler [2009-09-20 02:27:31] 349*2^334671-1 is not prime. Res64: 0E797085D622125B Time : 0.0 sec. user=mdettweiler [2009-09-20 02:29:03] 301*2^334675-1 is not prime. Res64: 25612C07853B73BB Time : 0.0 sec. user=mdettweiler [2009-09-20 02:29:50] 327*2^334673-1 is not prime. Res64: AB3F430968330C4A Time : 0.0 sec. user=mdettweiler [2009-09-20 02:31:17] 355*2^334673-1 is not prime. Res64: F0AE74A6244B0E5E Time : 0.0 sec. user=mdettweiler [2009-09-20 02:32:09] 315*2^334674-1 is not prime. Res64: C4943ED51E66D61E Time : 0.0 sec. user=mdettweiler [2009-09-20 02:33:40] 313*2^334679-1 is not prime. Res64: 8F2FDE72A184CA09 Time : 0.0 sec. user=mdettweiler [2009-09-20 02:34:32] 317*2^334678-1 is not prime. Res64: 3D016A9B8D7DAE85 Time : 0.0 sec. user=mdettweiler [2009-09-20 02:35:59] 325*2^334677-1 is not prime. Res64: 708DA4ADCAD2BB7D Time : 0.0 sec. user=mdettweiler [2009-09-20 02:36:56] 327*2^334676-1 is not prime. Res64: EE47ED8D1ECC6BFA Time : 0.0 sec. user=mdettweiler [2009-09-20 02:38:22] 363*2^334679-1 is not prime. Res64: 1E1D784DC1B5B414 Time : 0.0 sec. user=mdettweiler [2009-09-20 02:39:19] 387*2^334678-1 is not prime. Res64: 9CEA20BE75BB15D6 Time : 0.0 sec. user=mdettweiler [2009-09-20 02:40:40] 369*2^334677-1 is not prime. Res64: 1556BBDCA4C1DCBD Time : 0.0 sec. user=mdettweiler [2009-09-20 02:41:32] 369*2^334679-1 is not prime. Res64: 351B40EF977B8381 Time : 0.0 sec. user=mdettweiler [2009-09-20 02:42:59] 381*2^334677-1 is not prime. Res64: EF8DEE6678D1914A Time : 0.0 sec. user=mdettweiler [2009-09-20 02:43:50] 305*2^334680-1 is not prime. Res64: 0A69493A9623B659 Time : 0.0 sec. user=mdettweiler [2009-09-20 02:45:22] 355*2^334681-1 is not prime. Res64: 348F2B6C8DA9882F Time : 0.0 sec. user=mdettweiler [2009-09-20 02:46:13] 365*2^334682-1 is not prime. Res64: E38E83DC67091854 Time : 0.0 sec. user=mdettweiler [2009-09-20 02:47:45] 351*2^334681-1 is not prime. Res64: 21943ED5BA8D4F38 Time : 0.0 sec. user=mdettweiler [2009-09-20 02:48:31] 383*2^334680-1 is not prime. Res64: C3BA88941C05193C Time : 0.0 sec. user=mdettweiler [2009-09-20 02:50:03] 395*2^334680-1 is not prime. Res64: 68C4973695F545C1 Time : 0.0 sec. user=mdettweiler [2009-09-20 02:50:50] 369*2^334680-1 is not prime. Res64: 30DBD0C5FA87EF15 Time : 0.0 sec. user=mdettweiler [2009-09-20 02:52:12] 381*2^334681-1 is not prime. Res64: 16DFC8193180B32E Time : 0.0 sec. user=mdettweiler [2009-09-20 02:52:27] 399*2^334681-1 is not prime. Res64: B168FF987062AC06 Time : 0.0 sec. user=mdettweiler [2009-09-20 02:53:10] 325*2^334683-1 is not prime. Res64: 5E196267B5A52C6C Time : 0.0 sec. user=mdettweiler [2009-09-20 02:54:21] 355*2^334685-1 is not prime. Res64: 889A7216CF4DAA7F Time : 0.0 sec. user=mdettweiler [2009-09-20 02:54:37] 315*2^334684-1 is not prime. Res64: 35C826DF1EFF7C35 Time : 0.0 sec. user=mdettweiler [2009-09-20 02:55:24] 309*2^334688-1 is not prime. Res64: A654E42BA87A1349 Time : 0.0 sec. user=mdettweiler [2009-09-20 02:56:26] 335*2^334688-1 is not prime. Res64: 4C1EA2633CFD3117 Time : 0.0 sec. user=mdettweiler [2009-09-20 02:56:47] 383*2^334688-1 is not prime. Res64: 8CC7E1BE92CA4A11 Time : 0.0 sec. user=mdettweiler [2009-09-20 02:57:45] 313*2^334691-1 is not prime. Res64: F25D226541AC2973 Time : 0.0 sec. user=mdettweiler [2009-09-20 02:58:36] 357*2^334690-1 is not prime. Res64: A0FD70007D34F18A Time : 0.0 sec. user=mdettweiler [2009-09-20 02:58:52] 353*2^334692-1 is not prime. Res64: 08BD450A0E793425 Time : 0.0 sec. user=mdettweiler [2009-09-20 02:59:59] 393*2^334691-1 is not prime. Res64: C14E986DB932D0BF Time : 0.0 sec. user=mdettweiler [2009-09-20 03:00:46] 389*2^334692-1 is not prime. Res64: A5B5A3B90DA5B02F Time : 0.0 sec. user=mdettweiler [2009-09-20 03:01:01] 311*2^334694-1 is not prime. Res64: 5C4D37F0A8D65F17 Time : 0.0 sec. user=mdettweiler [2009-09-20 03:02:19] 363*2^334694-1 is not prime. Res64: 337668ED34B19770 Time : 0.0 sec. user=mdettweiler [2009-09-20 03:02:50] 357*2^334694-1 is not prime. Res64: 6DADE380D769A1BF Time : 0.0 sec. user=mdettweiler [2009-09-20 03:03:06] 351*2^334693-1 is not prime. Res64: 395CF20264B8BC68 Time : 0.0 sec. user=mdettweiler [2009-09-20 03:04:34] 377*2^334694-1 is not prime. Res64: E0A3508691CCDAF3 Time : 0.0 sec. user=mdettweiler [2009-09-20 03:05:04] 381*2^334694-1 is not prime. Res64: B15468E1410A9F60 Time : 0.0 sec. user=mdettweiler [2009-09-20 03:05:16] 391*2^334693-1 is not prime. Res64: 05CB7A636C2CFD49 Time : 0.0 sec. user=mdettweiler [2009-09-20 03:06:54] 309*2^334697-1 is not prime. Res64: F085D14CB78E99B3 Time : 0.0 sec. user=mdettweiler [2009-09-20 03:07:05] 319*2^334697-1 is not prime. Res64: E44B42401A4121D8 Time : 0.0 sec. user=mdettweiler [2009-09-20 03:07:16] 345*2^334699-1 is not prime. Res64: A5251412679EDC86 Time : 0.0 sec. user=mdettweiler [2009-09-20 03:08:14] 315*2^334699-1 is not prime. Res64: 2CB5EE49D48FBE22 Time : 0.0 sec. user=mdettweiler [2009-09-20 03:08:55] 349*2^334699-1 is not prime. Res64: F337C3CA48E6607C Time : 0.0 sec. user=mdettweiler [2009-09-20 03:09:06] 339*2^334696-1 is not prime. Res64: 6CB8059AA5A3587B Time : 0.0 sec. user=mdettweiler [2009-09-20 03:09:38] 339*2^334699-1 is not prime. Res64: BDC21813DA632B7F Time : 0.0 sec. user=mdettweiler [2009-09-20 03:10:30] 383*2^334698-1 is not prime. Res64: C71A97B717C5F65C Time : 0.0 sec. user=mdettweiler [2009-09-20 03:11:06] 321*2^334701-1 is not prime. Res64: BA2662B3FFCA2A00 Time : 0.0 sec. user=mdettweiler [2009-09-20 03:11:17] 323*2^334700-1 is not prime. Res64: 660DFF55453D1A1E Time : 0.0 sec. user=mdettweiler [2009-09-20 03:11:59] 345*2^334701-1 is not prime. Res64: 64AD3AA676FB1FC2 Time : 0.0 sec. user=mdettweiler [2009-09-20 03:12:47] 345*2^334702-1 is not prime. Res64: 15D9212A1A6A9E2C Time : 0.0 sec. user=mdettweiler [2009-09-20 03:13:12] 383*2^334702-1 is not prime. Res64: E03C2D0955855CBA Time : 0.0 sec. user=mdettweiler [2009-09-20 03:13:29] 321*2^334705-1 is not prime. Res64: 001389857B9B2079 Time : 0.0 sec. user=mdettweiler [2009-09-20 03:14:21] 327*2^334704-1 is not prime. Res64: 66A2F17FAFE5541F Time : 0.0 sec. user=mdettweiler [2009-09-20 03:15:03] 327*2^334705-1 is not prime. Res64: 71B92E11F19D1085 Time : 0.0 sec. user=mdettweiler [2009-09-20 03:15:18] 333*2^334704-1 is not prime. Res64: 22E4693ACB1011CB Time : 0.0 sec. user=mdettweiler [2009-09-20 03:15:35] 345*2^334704-1 is not prime. Res64: A81AAEE87269E9CE Time : 0.0 sec. user=mdettweiler [2009-09-20 03:16:37] 363*2^334703-1 is not prime. Res64: 5D838DC93FA2C1A0 Time : 0.0 sec. user=mdettweiler [2009-09-20 03:17:19] 369*2^334703-1 is not prime. Res64: 59144DD23AA65B5C Time : 0.0 sec. user=mdettweiler [2009-09-20 03:17:24] 391*2^334703-1 is not prime. Res64: 35B49CC6699E618A Time : 0.0 sec. user=mdettweiler [2009-09-20 03:17:47] 305*2^334706-1 is not prime. Res64: 9EAC87567C4E3D04 Time : 0.0 sec. user=mdettweiler [2009-09-20 03:18:53] 363*2^334707-1 is not prime. Res64: 9F6293172D52DF97 Time : 0.0 sec. user=mdettweiler [2009-09-20 03:19:14] 315*2^334706-1 is not prime. Res64: 569AA8EB13DFF04F Time : 0.0 sec. user=mdettweiler [2009-09-20 03:19:20] 351*2^334709-1 is prime! Time : 0.0 sec. user=mdettweiler [2009-09-20 03:20:04] 333*2^334710-1 is not prime. Res64: 154CBAE7BFDAC5B2 Time : 0.0 sec. user=mdettweiler [2009-09-20 03:21:05] 355*2^334711-1 is not prime. Res64: 31BBBA14C616DD0D Time : 0.0 sec. user=mdettweiler [2009-09-20 03:21:10] 377*2^334710-1 is not prime. Res64: 08538F03A8CE2163 Time : 0.0 sec. user=mdettweiler [2009-09-20 03:21:28] 391*2^334709-1 is not prime. Res64: 1F04960F919575F1 Time : 0.0 sec. user=mdettweiler [2009-09-20 03:22:19] 325*2^334713-1 is not prime. Res64: 221D24C5B8AF9564 Time : 0.0 sec. user=mdettweiler [2009-09-20 03:23:01] 365*2^334714-1 is not prime. Res64: 8606A43EB9144645 Time : 0.0 sec. user=mdettweiler [2009-09-20 03:23:07] 315*2^334714-1 is not prime. Res64: 041842AF16D3B624 Time : 0.0 sec. user=mdettweiler [2009-09-20 03:23:44] 391*2^334715-1 is not prime. Res64: F12DAB6655924662 Time : 0.0 sec. user=mdettweiler [2009-09-20 03:24:40] 301*2^334719-1 is not prime. Res64: 0119A606075969DB Time : 0.0 sec. user=mdettweiler [2009-09-20 03:25:01] 305*2^334718-1 is not prime. Res64: 3812C3C5E66B8F30 Time : 0.0 sec. user=mdettweiler [2009-09-20 03:25:02] 363*2^334718-1 is not prime. Res64: EF092A3C26D2DAFD Time : 0.0 sec. user=mdettweiler [2009-09-20 03:26:00] 315*2^334719-1 is not prime. Res64: 10D4FC6ED472398F Time : 0.0 sec. user=mdettweiler [2009-09-20 03:26:51] 351*2^334718-1 is not prime. Res64: ED9A58B904D16D47 Time : 0.0 sec. user=mdettweiler [2009-09-20 03:26:52] 381*2^334717-1 is not prime. Res64: DC3B36B59EDE1B75 Time : 0.0 sec. user=mdettweiler [2009-09-20 03:26:53] 317*2^334720-1 is not prime. Res64: 5FFB878DA4222260 Time : 0.0 sec. user=mdettweiler [2009-09-20 03:28:16] 335*2^334720-1 is not prime. Res64: B3B84360EEF22988 Time : 0.0 sec. user=mdettweiler [2009-09-20 03:28:47] 345*2^334720-1 is not prime. Res64: F1D0D40D1748D38F Time : 0.0 sec. user=mdettweiler [2009-09-20 03:28:48] 341*2^334722-1 is not prime. Res64: 8912327772AF63DB Time : 0.0 sec. user=mdettweiler [2009-09-20 03:28:49] 363*2^334719-1 is not prime. Res64: EDB70943DB64F960 Time : 0.0 sec. user=mdettweiler [2009-09-20 03:30:32] 373*2^334719-1 is not prime. Res64: E90B1973DED31E43 Time : 0.0 sec. user=mdettweiler [2009-09-20 03:30:37] 323*2^334724-1 is not prime. Res64: 90A7D63EEA1E9E5C Time : 0.0 sec. user=mdettweiler [2009-09-20 03:30:38] 363*2^334723-1 is not prime. Res64: 0E54C9F2C7A0D382 Time : 0.0 sec. user=mdettweiler [2009-09-20 03:30:39] 339*2^334723-1 is not prime. Res64: 61214F6135AF668F Time : 0.0 sec. user=mdettweiler [2009-09-20 03:32:28] 399*2^334723-1 is not prime. Res64: 5405357D0294873C Time : 0.0 sec. user=mdettweiler [2009-09-20 03:32:28] 321*2^334727-1 is not prime. Res64: DAA4F8AE8FA22C37 Time : 0.0 sec. user=mdettweiler [2009-09-20 03:32:29] 323*2^334726-1 is not prime. Res64: B4F964E1D0F298FC Time : 0.0 sec. user=mdettweiler [2009-09-20 03:32:30] 315*2^334727-1 is not prime. Res64: 8857F62B78C06CA2 Time : 0.0 sec. user=mdettweiler [2009-09-20 03:34:19] 315*2^334728-1 is not prime. Res64: 88A1BC92C88CE470 Time : 0.0 sec. user=mdettweiler [2009-09-20 03:34:20] 339*2^334727-1 is not prime. Res64: 17C35A7DBAB31EBA Time : 0.0 sec. user=mdettweiler [2009-09-20 03:34:20] 353*2^334728-1 is not prime. Res64: 29EA70CD69F87517 Time : 0.0 sec. user=mdettweiler [2009-09-20 03:34:28] 377*2^334728-1 is not prime. Res64: 8AB4EA0CADF34413 Time : 0.0 sec. user=mdettweiler [2009-09-20 03:36:10] 369*2^334727-1 is not prime. Res64: 4C86E9DC4192BF58 Time : 0.0 sec. user=mdettweiler [2009-09-20 03:36:11] 369*2^334728-1 is not prime. Res64: C35912D579F78A76 Time : 0.0 sec. user=mdettweiler [2009-09-20 03:36:11] 333*2^334731-1 is not prime. Res64: 0488F3F12312B131 Time : 0.0 sec. user=mdettweiler [2009-09-20 03:36:45] 363*2^334730-1 is not prime. Res64: 86EF57A4D0038F83 Time : 0.0 sec. user=mdettweiler [2009-09-20 03:38:06] 349*2^334731-1 is not prime. Res64: 61618483EE94B746 Time : 0.0 sec. user=mdettweiler [2009-09-20 03:38:07] 351*2^334729-1 is not prime. Res64: 10F388690723EEBF Time : 0.0 sec. user=mdettweiler [2009-09-20 03:38:08] 353*2^334732-1 is not prime. Res64: 2AC643D5EB6243A1 Time : 0.0 sec. user=mdettweiler [2009-09-20 03:39:01] 371*2^334730-1 is not prime. Res64: 1BC8B293868C7C9C Time : 0.0 sec. user=mdettweiler [2009-09-20 03:39:57] 395*2^334732-1 is not prime. Res64: B87A981D86E8AF6D Time : 0.0 sec. user=mdettweiler [2009-09-20 03:39:58] 387*2^334732-1 is not prime. Res64: 8E56218D3CC6A428 Time : 0.0 sec. user=mdettweiler [2009-09-20 03:39:59] 381*2^334731-1 is not prime. Res64: DD55555C6A755FC3 Time : 0.0 sec. user=mdettweiler [2009-09-20 03:41:22] 321*2^334735-1 is not prime. Res64: 548CA37F04391495 Time : 0.0 sec. user=mdettweiler [2009-09-20 03:41:48] 367*2^334733-1 is not prime. Res64: 3EFD6BD0D95BCA7C Time : 0.0 sec. user=mdettweiler [2009-09-20 03:41:48] 301*2^334737-1 is not prime. Res64: A429E944D74620BE Time : 0.0 sec. user=mdettweiler [2009-09-20 03:41:49] 311*2^334738-1 is not prime. Res64: 9838D732425E079B Time : 0.0 sec. user=mdettweiler [2009-09-20 03:43:38] 327*2^334736-1 is not prime. Res64: AC7153D0855795BC Time : 0.0 sec. user=mdettweiler [2009-09-20 03:43:39] 365*2^334736-1 is not prime. Res64: C9AD698CFD035107 Time : 0.0 sec. user=mdettweiler [2009-09-20 03:43:39] 397*2^334737-1 is not prime. Res64: 228CB9FD2302CDE9 Time : 0.0 sec. user=mdettweiler [2009-09-20 03:43:40] 369*2^334737-1 is not prime. Res64: 7541A51E19F02254 Time : 0.0 sec. user=mdettweiler [2009-09-20 03:45:29] 369*2^334736-1 is not prime. Res64: 8766CCCC29F914F6 Time : 0.0 sec. user=mdettweiler [2009-09-20 03:45:29] 381*2^334737-1 is not prime. Res64: 3AFBF2E87C187F1F Time : 0.0 sec. user=mdettweiler [2009-09-20 03:45:30] 399*2^334736-1 is not prime. Res64: CFC15069B2B3F98E Time : 0.0 sec. user=mdettweiler [2009-09-20 03:45:31] 399*2^334737-1 is not prime. Res64: C915CA9723860C70 Time : 0.0 sec. user=mdettweiler [2009-09-20 03:47:20] 339*2^334741-1 is not prime. Res64: A7210ED61EB7909C Time : 0.0 sec. user=mdettweiler [2009-09-20 03:47:20] 377*2^334740-1 is not prime. Res64: 91F27475EC38634F Time : 0.0 sec. user=mdettweiler [2009-09-20 03:47:26] 381*2^334739-1 is not prime. Res64: 7FCE7003B6E2D63B Time : 0.0 sec. user=mdettweiler [2009-09-20 03:47:28] 303*2^334744-1 is not prime. Res64: 74AA73CC9F0D1498 Time : 0.0 sec. user=mdettweiler [2009-09-20 03:49:11] 309*2^334745-1 is not prime. Res64: 0ED2D976C897F717 Time : 0.0 sec. user=mdettweiler [2009-09-20 03:49:11] 339*2^334743-1 is not prime. Res64: C380D784764E0CAF Time : 0.0 sec. user=mdettweiler [2009-09-20 03:49:19] 357*2^334745-1 is not prime. Res64: 663B758E41A24418 Time : 0.0 sec. user=mdettweiler [2009-09-20 03:49:20] 301*2^334747-1 is not prime. Res64: D45140426A92F796 Time : 0.0 sec. user=mdettweiler [2009-09-20 03:51:02] 313*2^334747-1 is not prime. Res64: 25D2455910B1E870 Time : 0.0 sec. user=mdettweiler [2009-09-20 03:51:03] 325*2^334747-1 is not prime. Res64: 51BC8D98A793579E Time : 0.0 sec. user=mdettweiler [2009-09-20 03:51:15] 379*2^334747-1 is not prime. Res64: 2FA7ABA6EBC9E4D8 Time : 0.0 sec. user=mdettweiler [2009-09-20 03:51:16] 369*2^334747-1 is not prime. Res64: 5A3E549532F1EDF2 Time : 0.0 sec. user=mdettweiler [2009-09-20 03:52:53] 399*2^334747-1 is not prime. Res64: 10E4BDA778D65796 Time : 0.0 sec. user=mdettweiler [2009-09-20 03:52:54] 399*2^334748-1 is not prime. Res64: C470D83007C61227 Time : 0.0 sec. user=mdettweiler [2009-09-20 03:53:11] 327*2^334752-1 is not prime. Res64: 326021C638DCF851 Time : 0.0 sec. user=mdettweiler [2009-09-20 03:53:12] 365*2^334750-1 is not prime. Res64: 95E498BC3FA6B6F5 Time : 0.0 sec. user=mdettweiler [2009-09-20 03:54:44] 349*2^334751-1 is not prime. Res64: AFE9421AF7D1D54B Time : 0.0 sec. user=mdettweiler [2009-09-20 03:54:45] 351*2^334750-1 is not prime. Res64: 714513280E91166F Time : 0.0 sec. user=mdettweiler [2009-09-20 03:55:07] 383*2^334750-1 is not prime. Res64: 06C11AB4FACEECC8 Time : 0.0 sec. user=mdettweiler [2009-09-20 03:55:07] 367*2^334753-1 is not prime. Res64: 6C059F2965FE5645 Time : 0.0 sec. user=mdettweiler [2009-09-20 03:56:35] 357*2^334754-1 is not prime. Res64: E83AD516EABA644F Time : 0.0 sec. user=mdettweiler [2009-09-20 03:56:36] 377*2^334754-1 is not prime. Res64: 4440BAC7827A479F Time : 0.0 sec. user=mdettweiler [2009-09-20 03:57:08] 303*2^334759-1 is not prime. Res64: C34ADB0039AFDADC Time : 0.0 sec. user=mdettweiler [2009-09-20 03:57:08] 313*2^334759-1 is not prime. Res64: 224293C847D5749F Time : 0.0 sec. user=mdettweiler [2009-09-20 03:58:31] 333*2^334758-1 is not prime. Res64: 27000A1428E744C7 Time : 0.0 sec. user=mdettweiler [2009-09-20 03:58:31] 335*2^334758-1 is not prime. Res64: FD1BCF6C64F2F0AC Time : 0.0 sec. user=mdettweiler [2009-09-20 03:59:04] 315*2^334756-1 is not prime. Res64: 3FE592E9A041B170 Time : 0.0 sec. user=mdettweiler [2009-09-20 03:59:04] 315*2^334758-1 is not prime. Res64: 83532AF6FCCB0DB4 Time : 0.0 sec. user=mdettweiler [2009-09-20 04:00:26] 347*2^334758-1 is not prime. Res64: 7CF2AD5E5F1A4B49 Time : 0.0 sec. user=mdettweiler [2009-09-20 04:00:27] 351*2^334757-1 is not prime. Res64: 6102BAE5C48610D2 Time : 0.0 sec. user=mdettweiler [2009-09-20 04:01:04] 345*2^334759-1 is not prime. Res64: 204A539A25579BC1 Time : 0.0 sec. user=mdettweiler [2009-09-20 04:01:05] 315*2^334762-1 is not prime. Res64: 3E089E69977E7E83 Time : 0.0 sec. user=mdettweiler [2009-09-20 04:02:27] 349*2^334759-1 is not prime. Res64: ECB689CC9392479F Time : 0.0 sec. user=mdettweiler [2009-09-20 04:02:28] 341*2^334762-1 is not prime. Res64: DC5E0B3B1CBD6311 Time : 0.0 sec. user=mdettweiler [2009-09-20 04:02:55] 369*2^334759-1 is not prime. Res64: F6E75964C2A8B44A Time : 0.0 sec. user=mdettweiler [2009-09-20 04:02:56] 389*2^334760-1 is not prime. Res64: CF140EB7E4248C56 Time : 0.0 sec. user=mdettweiler [2009-09-20 04:04:28] 319*2^334763-1 is not prime. Res64: 5255146CE49F608B Time : 0.0 sec. user=mdettweiler [2009-09-20 04:04:29] 345*2^334764-1 is not prime. Res64: 8221EA3284DA468C Time : 0.0 sec. user=mdettweiler [2009-09-20 04:04:46] 339*2^334763-1 is not prime. Res64: F97E7F30C36382B4 Time : 0.0 sec. user=mdettweiler [2009-09-20 04:04:47] 393*2^334763-1 is not prime. Res64: 2F066DAE42B5291E Time : 0.0 sec. user=mdettweiler [2009-09-20 04:06:24] 391*2^334765-1 is not prime. Res64: A7F1BBD7747FA851 Time : 0.0 sec. user=mdettweiler [2009-09-20 04:06:25] 399*2^334764-1 is not prime. Res64: BD31EC6E1A36D3CF Time : 0.0 sec. user=mdettweiler [2009-09-20 04:06:37] 327*2^334768-1 is not prime. Res64: 73B696AB24249C4F Time : 0.0 sec. user=mdettweiler [2009-09-20 04:06:38] 345*2^334767-1 is not prime. Res64: 5F689409561A7B1B Time : 0.0 sec. user=mdettweiler [2009-09-20 04:08:15] 365*2^334766-1 is not prime. Res64: 93CEDA711194F8FB Time : 0.0 sec. user=mdettweiler [2009-09-20 04:08:16] 351*2^334766-1 is not prime. Res64: 00A22B4CAECEFC5A Time : 0.0 sec. user=mdettweiler [2009-09-20 04:08:28] 393*2^334766-1 is not prime. Res64: E5051EC83AF6C750 Time : 0.0 sec. user=mdettweiler [2009-09-20 04:08:29] 385*2^334767-1 is not prime. Res64: C0FAAA5CE05F6D0E Time : 0.0 sec. user=mdettweiler [2009-09-20 04:10:11] 313*2^334771-1 is not prime. Res64: 927C8B94C14876FE Time : 0.0 sec. user=mdettweiler [2009-09-20 04:10:12] 317*2^334770-1 is not prime. Res64: EC215CE9C146D2C2 Time : 0.0 sec. user=mdettweiler [2009-09-20 04:10:18] 357*2^334770-1 is not prime. Res64: E2363558492A6E8D Time : 0.0 sec. user=mdettweiler [2009-09-20 04:10:18] 347*2^334770-1 is not prime. Res64: 2E3A217268C448F4 Time : 0.0 sec. user=mdettweiler [2009-09-20 04:12:07] 333*2^334775-1 is not prime. Res64: 3F41806BAC742273 Time : 0.0 sec. user=mdettweiler [2009-09-20 04:12:08] 363*2^334774-1 is not prime. Res64: A7A994FF32C97705 Time : 0.0 sec. user=mdettweiler [2009-09-20 04:12:09] 397*2^334773-1 is not prime. Res64: 3F123874250F8A81 Time : 0.0 sec. user=mdettweiler [2009-09-20 04:12:09] 377*2^334774-1 is not prime. Res64: EE7E7E6E971CA288 Time : 0.0 sec. user=mdettweiler [2009-09-20 04:14:03] 369*2^334773-1 is not prime. Res64: D2768587908AE5F6 Time : 0.0 sec. user=mdettweiler [2009-09-20 04:14:04] 399*2^334775-1 is not prime. Res64: 249C55AC49ED9A30 Time : 0.0 sec. user=mdettweiler [2009-09-20 04:14:05] 379*2^334777-1 is not prime. Res64: 81745274718858C8 Time : 0.0 sec. user=mdettweiler [2009-09-20 04:14:05] 351*2^334778-1 is not prime. Res64: F7E372610AECEC22 Time : 0.0 sec. user=mdettweiler [2009-09-20 04:15:54] 383*2^334778-1 is not prime. Res64: 74D8ED4BC2934894 Time : 0.0 sec. user=mdettweiler [2009-09-20 04:15:55] 393*2^334778-1 is not prime. Res64: CDAF097691031AFC Time : 0.0 sec. user=mdettweiler [2009-09-20 04:15:56] 369*2^334776-1 is not prime. Res64: 123FA1B11F5B001A Time : 0.0 sec. user=mdettweiler [2009-09-20 04:16:02] 381*2^334777-1 is not prime. Res64: CCFEBEC934A7C4AF Time : 0.0 sec. user=mdettweiler [2009-09-20 04:17:45] 333*2^334779-1 is not prime. Res64: FC3359DC100AEA6E Time : 0.0 sec. user=mdettweiler [2009-09-20 04:17:46] 315*2^334782-1 is not prime. Res64: 9A91564C9CD3489B Time : 0.0 sec. user=mdettweiler [2009-09-20 04:17:47] 397*2^334781-1 is not prime. Res64: 620CEBEA99DBF0A5 Time : 0.0 sec. user=mdettweiler [2009-09-20 04:18:20] 387*2^334780-1 is not prime. Res64: E6739739A8586B56 Time : 0.0 sec. user=mdettweiler [2009-09-20 04:19:36] 385*2^334779-1 is not prime. Res64: ECE2434154F93014 Time : 0.0 sec. user=mdettweiler [2009-09-20 04:19:37] 301*2^334785-1 is not prime. Res64: 16C765DD312FAB3A Time : 0.0 sec. user=mdettweiler [2009-09-20 04:19:43] 321*2^334783-1 is not prime. Res64: 63622A996455632B Time : 0.0 sec. user=mdettweiler [2009-09-20 04:20:36] 353*2^334784-1 is not prime. Res64: E899E05399062E72 Time : 0.0 sec. user=mdettweiler [2009-09-20 04:21:27] 381*2^334785-1 is not prime. Res64: D40CBC249FFD56DB Time : 0.0 sec. user=mdettweiler [2009-09-20 04:21:28] 321*2^334786-1 is not prime. Res64: 2314A637B67409C1 Time : 0.0 sec. user=mdettweiler [2009-09-20 04:22:00] 325*2^334787-1 is not prime. Res64: 54A726EEF5E52DCE Time : 0.0 sec. user=mdettweiler [2009-09-20 04:22:51] 327*2^334788-1 is not prime. Res64: 39CEFE66684F7DC2 Time : 0.0 sec. user=mdettweiler [2009-09-20 04:23:33] 351*2^334786-1 is not prime. Res64: 0B8DE03D77E7785F Time : 0.0 sec. user=mdettweiler [2009-09-20 04:23:39] 395*2^334788-1 is not prime. Res64: 70491B039ECDEF08 Time : 0.0 sec. user=mdettweiler [2009-09-20 04:24:16] 377*2^334786-1 is not prime. Res64: 3599C05A0745E148 Time : 0.0 sec. user=mdettweiler [2009-09-20 04:25:07] 333*2^334790-1 is not prime. Res64: 32A0FA4FC0CB1112 Time : 0.0 sec. user=mdettweiler [2009-09-20 04:25:49] 349*2^334791-1 is not prime. Res64: 35C13B0DB68B3273 Time : 0.0 sec. user=mdettweiler [2009-09-20 04:25:55] 357*2^334790-1 is not prime. Res64: A8A65692A73BF0B8 Time : 0.0 sec. user=mdettweiler [2009-09-20 04:26:32] 371*2^334790-1 is not prime. Res64: 2662F1BD6C26EEEB Time : 0.0 sec. user=mdettweiler [2009-09-20 04:27:24] 325*2^334793-1 is not prime. Res64: C44837A0884923C3 Time : 0.0 sec. user=mdettweiler [2009-09-20 04:28:00] 333*2^334794-1 is not prime. Res64: 66778AA7E663C3D0 Time : 0.0 sec. user=mdettweiler [2009-09-20 04:28:01] 339*2^334795-1 is not prime. Res64: 7D2D5DED07948D34 Time : 0.0 sec. user=mdettweiler [2009-09-20 04:28:48] 347*2^334794-1 is not prime. Res64: 3170144C20B0597F Time : 0.0 sec. user=mdettweiler [2009-09-20 04:29:40] 345*2^334797-1 is not prime. Res64: 640D645035118AD7 Time : 0.0 sec. user=mdettweiler [2009-09-20 04:29:55] 363*2^334796-1 is not prime. Res64: 6003FAF06719939E Time : 0.0 sec. user=mdettweiler [2009-09-20 04:29:56] 353*2^334798-1 is not prime. Res64: 84175B03FBB88470 Time : 0.0 sec. user=mdettweiler [2009-09-20 04:31:04] 309*2^334801-1 is not prime. Res64: DC1C0D00DCB69D9A Time : 0.0 sec. user=mdettweiler [2009-09-20 04:31:46] 315*2^334799-1 is not prime. Res64: 460F37BEB0CE6653 Time : 0.0 sec. user=mdettweiler [2009-09-20 04:31:56] 309*2^334804-1 is not prime. Res64: B1266C68684FCB45 Time : 0.0 sec. user=mdettweiler [2009-09-20 04:31:57] 319*2^334803-1 is not prime. Res64: 7FFE91562352E696 Time : 0.0 sec. user=mdettweiler [2009-09-20 04:33:20] 319*2^334805-1 is not prime. Res64: 37CCA19C50741410 Time : 0.0 sec. user=mdettweiler [2009-09-20 04:33:46] 321*2^334805-1 is not prime. Res64: 07497E706F8D84E6 Time : 0.0 sec. user=mdettweiler [2009-09-20 04:33:57] 325*2^334805-1 is not prime. Res64: 516599726732C79F Time : 0.0 sec. user=mdettweiler [2009-09-20 04:33:58] 365*2^334802-1 is not prime. Res64: A4DC71E68C1FE4D7 Time : 0.0 sec. user=mdettweiler [2009-09-20 04:35:36] 315*2^334805-1 is not prime. Res64: 2B94269F13B37AE3 Time : 0.0 sec. user=mdettweiler [2009-09-20 04:35:47] 393*2^334802-1 is not prime. Res64: D26A321F3E9D70C1 Time : 0.0 sec. user=mdettweiler [2009-09-20 04:35:47] 303*2^334807-1 is not prime. Res64: 1C6CF4AE4BF3E325 Time : 0.0 sec. user=mdettweiler [2009-09-20 04:35:48] 345*2^334806-1 is not prime. Res64: 5BCA535CC7638583 Time : 0.0 sec. user=mdettweiler [2009-09-20 04:37:37] 387*2^334806-1 is not prime. Res64: 335EAD02AE477023 Time : 0.0 sec. user=mdettweiler [2009-09-20 04:37:38] 319*2^334809-1 is not prime. Res64: 166FC1189B4D4C19 Time : 0.0 sec. user=mdettweiler [2009-09-20 04:37:38] 355*2^334809-1 is not prime. Res64: 9EB66AADD19F1D07 Time : 0.0 sec. user=mdettweiler [2009-09-20 04:37:39] 381*2^334809-1 is not prime. Res64: 05B39B2B3C35CCA5 Time : 0.0 sec. user=mdettweiler [2009-09-20 04:39:28] 315*2^334810-1 is not prime. Res64: 7BE0F6D456FECDB2 Time : 0.0 sec. user=mdettweiler [2009-09-20 04:39:29] 393*2^334811-1 is not prime. Res64: 2AE3BE020ED7974E Time : 0.0 sec. user=mdettweiler [2009-09-20 04:39:29] 395*2^334810-1 is not prime. Res64: 03F6C6FBC0CA3943 Time : 0.0 sec. user=mdettweiler [2009-09-20 04:39:30] 301*2^334815-1 is not prime. Res64: 862C2349DD3FC9CD Time : 0.0 sec. user=mdettweiler [2009-09-20 04:41:19] 309*2^334813-1 is not prime. Res64: AB35DF1A6100B059 Time : 0.0 sec. user=mdettweiler [2009-09-20 04:41:20] 321*2^334815-1 is not prime. Res64: D7938BEAA99C1468 Time : 0.0 sec. user=mdettweiler [2009-09-20 04:41:20] 381*2^334815-1 is not prime. Res64: 50E69E6B9B5C74FC Time : 0.0 sec. user=mdettweiler [2009-09-20 04:41:28] 315*2^334815-1 is not prime. Res64: 480973486CDB4132 Time : 0.0 sec. user=mdettweiler [2009-09-20 04:43:10] 339*2^334813-1 is not prime. Res64: 4DDA9A6CBD0B09A0 Time : 0.0 sec. user=mdettweiler [2009-09-20 04:43:11] 357*2^334813-1 is not prime. Res64: 87F0A74EADBEB1AB Time : 0.0 sec. user=mdettweiler [2009-09-20 04:43:11] 353*2^334814-1 is not prime. Res64: A40457FC1C12440F Time : 0.0 sec. user=mdettweiler [2009-09-20 04:43:44] 347*2^334814-1 is not prime. Res64: FF41EBCC57612AF8 Time : 0.0 sec. user=mdettweiler [2009-09-20 04:45:06] 383*2^334812-1 is not prime. Res64: 4B54EFADB5343A16 Time : 0.0 sec. user=mdettweiler [2009-09-20 04:45:06] 387*2^334813-1 is not prime. Res64: 28695420E65F4F1B Time : 0.0 sec. user=mdettweiler [2009-09-20 04:45:07] 327*2^334818-1 is not prime. Res64: 3AD14AF45F6741B9 Time : 0.0 sec. user=mdettweiler [2009-09-20 04:46:00] 333*2^334818-1 is not prime. Res64: 539996E2A61F4180 Time : 0.0 sec. user=mdettweiler [2009-09-20 04:47:01] 355*2^334817-1 is not prime. Res64: 98F067EAFEB9BF6D Time : 0.0 sec. user=mdettweiler [2009-09-20 04:47:02] 351*2^334817-1 is not prime. Res64: 3AE6019402D0317A Time : 0.0 sec. user=mdettweiler [2009-09-20 04:47:03] 391*2^334817-1 is not prime. Res64: 4420A0C5A05ED1E1 Time : 0.0 sec. user=mdettweiler [2009-09-20 04:48:16] 301*2^334821-1 is not prime. Res64: C116FD810C97F586 Time : 0.0 sec. user=mdettweiler [2009-09-20 04:48:57] 309*2^334819-1 is not prime. Res64: 01AFC8DC2782E083 Time : 0.0 sec. user=mdettweiler [2009-09-20 04:48:58] 313*2^334819-1 is not prime. Res64: 8284094E26DCC6F0 Time : 0.0 sec. user=mdettweiler [2009-09-20 04:48:58] 333*2^334820-1 is not prime. Res64: 4D0E0FC571CD1402 Time : 0.0 sec. user=mdettweiler [2009-09-20 04:50:31] 367*2^334821-1 is not prime. Res64: 8502A0E1C1555ED7 Time : 0.0 sec. user=mdettweiler [2009-09-20 04:50:47] 315*2^334819-1 is not prime. Res64: 7C50ECDF20E62DC4 Time : 0.0 sec. user=mdettweiler [2009-09-20 04:50:48] 303*2^334824-1 is not prime. Res64: B41E3D33F621D2CB Time : 0.0 sec. user=mdettweiler [2009-09-20 04:51:11] 399*2^334820-1 is not prime. Res64: 52F334004ABC3479 Time : 0.0 sec. user=mdettweiler [2009-09-20 04:52:37] 313*2^334823-1 is not prime. Res64: 07CD9D528D7380A6 Time : 0.0 sec. user=mdettweiler [2009-09-20 04:52:43] 327*2^334824-1 is not prime. Res64: 6B6F15B25C8C4EBC Time : 0.0 sec. user=mdettweiler [2009-09-20 04:52:44] 327*2^334825-1 is not prime. Res64: 18245522BBA7F489 Time : 0.0 sec. user=mdettweiler [2009-09-20 04:53:32] 345*2^334822-1 is not prime. Res64: B38F14429B30F0C4 Time : 0.0 sec. user=mdettweiler [2009-09-20 04:54:33] 353*2^334822-1 is not prime. Res64: 1DE43ACD55E6ED52 Time : 0.0 sec. user=mdettweiler [2009-09-20 04:54:34] 351*2^334822-1 is not prime. Res64: 8EC7E9AD760E09D4 Time : 0.0 sec. user=mdettweiler [2009-09-20 04:54:56] 399*2^334823-1 is not prime. Res64: ABAD220CF4088936 Time : 0.0 sec. user=mdettweiler [2009-09-20 04:55:53] 313*2^334827-1 is not prime. Res64: 10C7D1F72F9A88EA Time : 0.0 sec. user=mdettweiler [2009-09-20 04:56:34] 391*2^334827-1 is not prime. Res64: F2E8C6CFCBD65E48 Time : 0.0 sec. user=mdettweiler [2009-09-20 04:56:35] 313*2^334831-1 is not prime. Res64: F8AAD9088B6C4AF9 Time : 0.0 sec. user=mdettweiler [2009-09-20 04:57:12] 327*2^334832-1 is not prime. Res64: 8B0E6A6B5368DF32 Time : 0.0 sec. user=mdettweiler [2009-09-20 04:58:08] 333*2^334830-1 is not prime. Res64: B193CBFC1970E4D2 Time : 0.0 sec. user=mdettweiler [2009-09-20 04:58:24] 315*2^334830-1 is not prime. Res64: CB7311B62C7FB165 Time : 0.0 sec. user=mdettweiler [2009-09-20 04:58:25] 371*2^334830-1 is not prime. Res64: 273E4179DE755017 Time : 0.0 sec. user=mdettweiler [2009-09-20 04:59:28] 377*2^334830-1 is not prime. Res64: 9AC614370A482DAC Time : 0.0 sec. user=mdettweiler [2009-09-20 05:00:19] 313*2^334835-1 is not prime. Res64: 4A502C15D115CB73 Time : 0.0 sec. user=mdettweiler [2009-09-20 05:00:20] 321*2^334834-1 is not prime. Res64: 12DA2127D79EE987 Time : 0.0 sec. user=mdettweiler [2009-09-20 05:00:37] 399*2^334831-1 is not prime. Res64: 4EFCBF3B0D83F608 Time : 0.0 sec.