user=mdettweiler [2012-09-19 00:07:56] 619*2^1228907-1 is not prime. Res64: 8A364168320DA2DE Time : 0.0 sec. user=mdettweiler [2012-09-19 00:07:59] 633*2^1228907-1 is not prime. Res64: 3CA833E41F6940B6 Time : 0.0 sec. user=mdettweiler [2012-09-19 00:13:38] 643*2^1228907-1 is not prime. Res64: C6808A3D652C3171 Time : 0.0 sec. user=mdettweiler [2012-09-19 00:13:39] 655*2^1228907-1 is not prime. Res64: 1E65444E001538C5 Time : 0.0 sec. user=mdettweiler [2012-09-19 00:28:33] 801*2^1228907-1 is not prime. Res64: CFAFD973CC58200D Time : 0.0 sec. user=mdettweiler [2012-09-19 00:28:34] 841*2^1228907-1 is not prime. Res64: 56B059BE4EBC02C1 Time : 0.0 sec. user=vaughan [2012-09-19 00:32:51] 703*2^1228907-1 is not prime. Res64: F58F2D924912F836 Time : 0.0 sec. user=mdettweiler [2012-09-19 00:34:19] 707*2^1228908-1 is not prime. Res64: 9B3C2866F58DB8BB Time : 0.0 sec. user=mdettweiler [2012-09-19 00:34:20] 825*2^1228908-1 is not prime. Res64: 779117ADF8C54D1E Time : 0.0 sec. user=gd_barnes [2012-09-19 00:38:33] 705*2^1228907-1 is not prime. Res64: 9AAF7016CFEAFCE1 Time : 0.0 sec. user=mdettweiler [2012-09-19 00:49:14] 923*2^1228908-1 is not prime. Res64: C919C265A234B7CB Time : 0.0 sec. user=mdettweiler [2012-09-19 00:49:15] 609*2^1228909-1 is not prime. Res64: B40C637E758705C4 Time : 0.0 sec. user=mdettweiler [2012-09-19 00:55:12] 789*2^1228909-1 is not prime. Res64: C793791C6CF77820 Time : 0.0 sec. user=mdettweiler [2012-09-19 00:55:13] 847*2^1228909-1 is not prime. Res64: F984F881916D3626 Time : 0.0 sec. user=mdettweiler [2012-09-19 01:10:04] 927*2^1228909-1 is not prime. Res64: 3EE8E725556A959F Time : 0.0 sec. user=mdettweiler [2012-09-19 01:10:06] 961*2^1228909-1 is not prime. Res64: 746812CB1B362F89 Time : 0.0 sec. user=vaughan [2012-09-19 01:10:37] 681*2^1228909-1 is not prime. Res64: 6B7B785975C3CB24 Time : 0.0 sec. user=mdettweiler [2012-09-19 01:15:47] 635*2^1228910-1 is not prime. Res64: 94BD6F2F60B5F38E Time : 0.0 sec. user=mdettweiler [2012-09-19 01:15:48] 651*2^1228910-1 is not prime. Res64: 3B0644BDDB179B4A Time : 0.0 sec. user=mdettweiler [2012-09-19 01:30:42] 665*2^1228910-1 is not prime. Res64: 996636902AACF12C Time : 0.0 sec. user=mdettweiler [2012-09-19 01:30:42] 773*2^1228910-1 is not prime. Res64: D13F3981DC0E07B9 Time : 0.0 sec. user=mdettweiler [2012-09-19 01:36:20] 661*2^1228911-1 is not prime. Res64: 2BC1F8655E59A309 Time : 0.0 sec. user=mdettweiler [2012-09-19 01:36:20] 669*2^1228911-1 is not prime. Res64: D5861C25BDA73371 Time : 0.0 sec. user=vaughan [2012-09-19 01:48:23] 917*2^1228910-1 is not prime. Res64: 5D6889597577C836 Time : 0.0 sec. user=mdettweiler [2012-09-19 01:51:16] 675*2^1228911-1 is not prime. Res64: CAC12D0CE7D1494F Time : 0.0 sec. user=mdettweiler [2012-09-19 01:51:16] 775*2^1228911-1 is not prime. Res64: 6EF881DFE0F53FD7 Time : 0.0 sec. user=mdettweiler [2012-09-19 01:56:51] 823*2^1228911-1 is not prime. Res64: 7BA7FBAF86A28C2C Time : 0.0 sec. user=mdettweiler [2012-09-19 01:56:52] 623*2^1228912-1 is not prime. Res64: 01639C35D58270F1 Time : 0.0 sec. user=mdettweiler [2012-09-19 02:11:47] 735*2^1228912-1 is not prime. Res64: 513719095519BA73 Time : 0.0 sec. user=mdettweiler [2012-09-19 02:11:50] 755*2^1228912-1 is not prime. Res64: 6851D31B4332E88D Time : 0.0 sec. user=mdettweiler [2012-09-19 02:17:22] 779*2^1228912-1 is not prime. Res64: A1C9C2F4D3E43167 Time : 0.0 sec. user=mdettweiler [2012-09-19 02:17:23] 869*2^1228912-1 is not prime. Res64: 993A50A41879D947 Time : 0.0 sec. user=vaughan [2012-09-19 02:26:10] 665*2^1228912-1 is not prime. Res64: 75EFD605225E5836 Time : 0.0 sec. user=mdettweiler [2012-09-19 02:32:37] 651*2^1228913-1 is not prime. Res64: 728A30FD6529DED9 Time : 0.0 sec. user=mdettweiler [2012-09-19 02:32:38] 769*2^1228913-1 is not prime. Res64: DAFB1E91FD6CAD0D Time : 0.0 sec. user=mdettweiler [2012-09-19 02:37:58] 861*2^1228913-1 is not prime. Res64: 75B2ECC6C8B5A10D Time : 0.0 sec. user=mdettweiler [2012-09-19 02:37:59] 991*2^1228913-1 is not prime. Res64: D67F876247077649 Time : 0.0 sec. user=mdettweiler [2012-09-19 02:53:11] 671*2^1228914-1 is not prime. Res64: 06A8A26573642C9B Time : 0.0 sec. user=mdettweiler [2012-09-19 02:53:11] 677*2^1228914-1 is not prime. Res64: 512A35EC02255C48 Time : 0.0 sec. user=mdettweiler [2012-09-19 02:58:31] 711*2^1228914-1 is not prime. Res64: 15C49793E3232568 Time : 0.0 sec. user=mdettweiler [2012-09-19 02:58:32] 861*2^1228914-1 is not prime. Res64: CC620812D7EE8F9F Time : 0.0 sec. user=vaughan [2012-09-19 03:03:56] 657*2^1228914-1 is not prime. Res64: 029D3C4D84339D57 Time : 0.0 sec. user=mdettweiler [2012-09-19 03:13:48] 891*2^1228914-1 is not prime. Res64: 09E4CFBE528DAF47 Time : 0.0 sec. user=mdettweiler [2012-09-19 03:13:49] 923*2^1228914-1 is not prime. Res64: 0D2B5733FB2468DC Time : 0.0 sec. user=mdettweiler [2012-09-19 03:19:02] 601*2^1228915-1 is not prime. Res64: 0C73CDFDFAF3CF78 Time : 0.0 sec. user=mdettweiler [2012-09-19 03:19:03] 645*2^1228915-1 is not prime. Res64: 7E1F3A1827072B12 Time : 0.0 sec. user=mdettweiler [2012-09-19 03:34:23] 843*2^1228915-1 is not prime. Res64: 5096DBC4A28358FC Time : 0.0 sec. user=mdettweiler [2012-09-19 03:34:24] 985*2^1228915-1 is not prime. Res64: 32E5CE27BF56C2AB Time : 0.0 sec. user=mdettweiler [2012-09-19 03:39:34] 935*2^1228916-1 is not prime. Res64: 62987CB0E57028EE Time : 0.0 sec. user=mdettweiler [2012-09-19 03:39:34] 953*2^1228916-1 is not prime. Res64: 354B58122A8D6923 Time : 0.0 sec. user=vaughan [2012-09-19 03:42:23] 783*2^1228915-1 is not prime. Res64: 18C6AC95D33AE1ED Time : 0.0 sec. user=mdettweiler [2012-09-19 03:55:08] 621*2^1228917-1 is not prime. Res64: 4ACFF54C20CE5BD4 Time : 0.0 sec. user=mdettweiler [2012-09-19 03:55:09] 655*2^1228917-1 is not prime. Res64: 0D1E494374CB28C3 Time : 0.0 sec. user=mdettweiler [2012-09-19 04:00:06] 819*2^1228917-1 is not prime. Res64: 062298C424491AC7 Time : 0.0 sec. user=mdettweiler [2012-09-19 04:00:07] 847*2^1228917-1 is not prime. Res64: A1E5245BD0B9AF2D Time : 0.0 sec. user=mdettweiler [2012-09-19 04:15:41] 901*2^1228917-1 is not prime. Res64: 13E7EF5509D1AE3C Time : 0.0 sec. user=mdettweiler [2012-09-19 04:15:42] 945*2^1228917-1 is not prime. Res64: 2531126AB96EE069 Time : 0.0 sec. user=vaughan [2012-09-19 04:20:06] 891*2^1228917-1 is not prime. Res64: 2F7E4B5C723ABD62 Time : 0.0 sec. user=mdettweiler [2012-09-19 04:20:42] 603*2^1228918-1 is not prime. Res64: 1ADC7221E166E5FE Time : 0.0 sec. user=mdettweiler [2012-09-19 04:20:43] 635*2^1228918-1 is not prime. Res64: 34DE93E1D5B5B7C0 Time : 0.0 sec. user=mdettweiler [2012-09-19 04:36:16] 755*2^1228918-1 is not prime. Res64: B49AD9CD38C48E3A Time : 0.0 sec. user=mdettweiler [2012-09-19 04:36:17] 761*2^1228918-1 is not prime. Res64: F6E3D88BF3D457D2 Time : 0.0 sec. user=mdettweiler [2012-09-19 04:41:15] 813*2^1228918-1 is not prime. Res64: 09CC3AF2089C78F0 Time : 0.0 sec. user=mdettweiler [2012-09-19 04:41:16] 833*2^1228918-1 is not prime. Res64: F37862E6AB7BC2B2 Time : 0.0 sec. user=mdettweiler [2012-09-19 04:56:52] 843*2^1228918-1 is not prime. Res64: 3F0058860AEBA4DA Time : 0.0 sec. user=mdettweiler [2012-09-19 04:56:53] 729*2^1228919-1 is not prime. Res64: C5B09D9000D706BD Time : 0.0 sec. user=vaughan [2012-09-19 04:57:51] 791*2^1228918-1 is not prime. Res64: BCFB3C79EED5352F Time : 0.0 sec. user=mdettweiler [2012-09-19 05:01:48] 735*2^1228919-1 is not prime. Res64: 98BEEEF7BCC9F869 Time : 0.0 sec. user=mdettweiler [2012-09-19 05:01:49] 759*2^1228919-1 is not prime. Res64: 454702BB5E6EB389 Time : 0.0 sec. user=mdettweiler [2012-09-19 05:17:25] 825*2^1228919-1 is not prime. Res64: 9D4F6329E74DB9F7 Time : 0.0 sec. user=mdettweiler [2012-09-19 05:17:26] 895*2^1228919-1 is not prime. Res64: 4B462A00322AF387 Time : 0.0 sec. user=mdettweiler [2012-09-19 05:22:20] 969*2^1228919-1 is not prime. Res64: 443700C53209F50B Time : 0.0 sec. user=mdettweiler [2012-09-19 05:22:21] 609*2^1228920-1 is not prime. Res64: 39EF78FF8C4ABF3F Time : 0.0 sec. user=vaughan [2012-09-19 05:35:33] 909*2^1228919-1 is not prime. Res64: EBED0DBD27684064 Time : 0.0 sec. user=mdettweiler [2012-09-19 05:38:00] 627*2^1228920-1 is not prime. Res64: B44C81DFF33DF2D5 Time : 0.0 sec. user=mdettweiler [2012-09-19 05:38:03] 653*2^1228920-1 is not prime. Res64: 3BB84253AE5B2947 Time : 0.0 sec. user=mdettweiler [2012-09-19 05:42:52] 669*2^1228920-1 is not prime. Res64: 4DD3101AAD518F70 Time : 0.0 sec. user=mdettweiler [2012-09-19 05:42:53] 735*2^1228920-1 is not prime. Res64: C9E3D8109D6B52D0 Time : 0.0 sec. user=mdettweiler [2012-09-19 05:58:37] 873*2^1228920-1 is not prime. Res64: AC1E20A5DF5E1AD2 Time : 0.0 sec. user=mdettweiler [2012-09-19 05:58:39] 745*2^1228921-1 is not prime. Res64: EF9BAD78C87266DC Time : 0.0 sec. user=mdettweiler [2012-09-19 06:03:24] 871*2^1228921-1 is not prime. Res64: 0971921AA0A3574E Time : 0.0 sec. user=mdettweiler [2012-09-19 06:03:24] 877*2^1228921-1 is not prime. Res64: C200604515AAA812 Time : 0.0 sec. user=vaughan [2012-09-19 06:13:21] 825*2^1228920-1 is not prime. Res64: 976E386F4B4CC6F4 Time : 0.0 sec. user=mdettweiler [2012-09-19 06:19:16] 937*2^1228921-1 is not prime. Res64: 687009E52AD3CD66 Time : 0.0 sec. user=mdettweiler [2012-09-19 06:19:16] 887*2^1228922-1 is not prime. Res64: 7765415F8D11E552 Time : 0.0 sec. user=mdettweiler [2012-09-19 06:23:55] 917*2^1228922-1 is not prime. Res64: A7B306CACE3988F4 Time : 0.0 sec. user=mdettweiler [2012-09-19 06:23:56] 609*2^1228923-1 is not prime. Res64: 5894CC3929F53DEC Time : 0.0 sec. user=mdettweiler [2012-09-19 06:39:49] 705*2^1228923-1 is not prime. Res64: 47D088E80DFB3113 Time : 0.0 sec. user=mdettweiler [2012-09-19 06:39:50] 789*2^1228923-1 is not prime. Res64: 49834DAEB146A6AE Time : 0.0 sec. user=mdettweiler [2012-09-19 06:44:27] 793*2^1228923-1 is not prime. Res64: 1F9940C03B55A1D7 Time : 0.0 sec. user=mdettweiler [2012-09-19 06:44:27] 829*2^1228923-1 is not prime. Res64: 915B885ACDC458F7 Time : 0.0 sec. user=vaughan [2012-09-19 06:51:19] 685*2^1228923-1 is not prime. Res64: C3D7B3AD1B311E05 Time : 0.0 sec. user=mdettweiler [2012-09-19 07:00:21] 705*2^1228924-1 is not prime. Res64: 3AA4B6ABD34EB1DC Time : 0.0 sec. user=mdettweiler [2012-09-19 07:00:22] 813*2^1228924-1 is not prime. Res64: FE6BF8B08C22E6B0 Time : 0.0 sec. user=juhehe [2012-09-19 07:03:27] 921*2^1228923-1 is not prime. Res64: 1960DD64A2C2187D Time : 0.0 sec. user=mdettweiler [2012-09-19 07:04:58] 909*2^1228924-1 is not prime. Res64: 362C142694DF6881 Time : 0.0 sec. user=mdettweiler [2012-09-19 07:05:00] 939*2^1228924-1 is not prime. Res64: 9D5E92176EAE9C13 Time : 0.0 sec. user=mdettweiler [2012-09-19 07:20:55] 645*2^1228925-1 is not prime. Res64: 584912D6E2F8DF10 Time : 0.0 sec. user=mdettweiler [2012-09-19 07:20:56] 675*2^1228925-1 is not prime. Res64: 2FA1CDBF7358FB0A Time : 0.0 sec. user=mdettweiler [2012-09-19 07:25:33] 787*2^1228925-1 is not prime. Res64: 1056C924B65BE4FD Time : 0.0 sec. user=mdettweiler [2012-09-19 07:25:34] 805*2^1228925-1 is not prime. Res64: 962CBF3023EEDB08 Time : 0.0 sec. user=vaughan [2012-09-19 07:29:04] 983*2^1228924-1 is not prime. Res64: AD495806CEC97B9E Time : 0.0 sec. user=juhehe [2012-09-19 07:37:06] 775*2^1228925-1 is not prime. Res64: F3DDF36AA7E91E5B Time : 0.0 sec. user=mdettweiler [2012-09-19 07:41:31] 897*2^1228925-1 is not prime. Res64: D65509C71D22AF43 Time : 0.0 sec. user=mdettweiler [2012-09-19 07:41:31] 969*2^1228925-1 is not prime. Res64: CE4C49E2D00E3C77 Time : 0.0 sec. user=mdettweiler [2012-09-19 07:46:06] 987*2^1228925-1 is not prime. Res64: 4CA265F71AF1401C Time : 0.0 sec. user=mdettweiler [2012-09-19 07:46:06] 657*2^1228926-1 is not prime. Res64: 538435C7357C6CD5 Time : 0.0 sec. user=mdettweiler [2012-09-19 08:02:03] 917*2^1228926-1 is not prime. Res64: 26E0295A2E54728E Time : 0.0 sec. user=mdettweiler [2012-09-19 08:02:05] 1001*2^1228926-1 is not prime. Res64: D6A39CAC704FF088 Time : 0.0 sec. user=mdettweiler [2012-09-19 08:06:37] 625*2^1228927-1 is not prime. Res64: 1AD968AA33F62929 Time : 0.0 sec. user=mdettweiler [2012-09-19 08:06:39] 961*2^1228927-1 is not prime. Res64: 45EF7C4F53A79690 Time : 0.0 sec. user=vaughan [2012-09-19 08:06:46] 711*2^1228926-1 is not prime. Res64: 7CD036D109DE9B4C Time : 0.0 sec. user=juhehe [2012-09-19 08:10:47] 741*2^1228926-1 is not prime. Res64: 2513B56AF75EFCA5 Time : 0.0 sec. user=mdettweiler [2012-09-19 08:23:01] 669*2^1228928-1 is not prime. Res64: 0E7729138D785B9B Time : 0.0 sec. user=mdettweiler [2012-09-19 08:23:02] 743*2^1228928-1 is not prime. Res64: 1CBB8FFA9403C355 Time : 0.0 sec. user=mdettweiler [2012-09-19 08:27:33] 855*2^1228928-1 is not prime. Res64: 892BA9F5CC0F3014 Time : 0.0 sec. user=mdettweiler [2012-09-19 08:27:33] 899*2^1228928-1 is not prime. Res64: 7818D4FE4CAFD927 Time : 0.0 sec. user=mdettweiler [2012-09-19 08:43:37] 959*2^1228928-1 is not prime. Res64: B6119049277F63BA Time : 0.0 sec. user=mdettweiler [2012-09-19 08:43:38] 969*2^1228928-1 is not prime. Res64: 283F4D5F713A0AE1 Time : 0.0 sec. user=juhehe [2012-09-19 08:44:36] 927*2^1228928-1 is not prime. Res64: 58569DDE1BE2E445 Time : 0.0 sec. user=vaughan [2012-09-19 08:44:44] 923*2^1228928-1 is not prime. Res64: A43C70371384362C Time : 0.0 sec. user=mdettweiler [2012-09-19 08:48:05] 993*2^1228928-1 is not prime. Res64: C9A3134151B20BEF Time : 0.0 sec. user=mdettweiler [2012-09-19 08:48:05] 615*2^1228929-1 is not prime. Res64: 6E5C5DFB559BC77A Time : 0.0 sec. user=mdettweiler [2012-09-19 09:04:09] 681*2^1228929-1 is not prime. Res64: 27A9BBEAD0700A64 Time : 0.0 sec. user=mdettweiler [2012-09-19 09:04:10] 705*2^1228929-1 is not prime. Res64: 82171EF32625B201 Time : 0.0 sec. user=mdettweiler [2012-09-19 09:08:36] 731*2^1228930-1 is not prime. Res64: 5C80A98A7D4B40BE Time : 0.0 sec. user=mdettweiler [2012-09-19 09:08:36] 741*2^1228930-1 is not prime. Res64: F5878CA5C926F944 Time : 0.0 sec. user=juhehe [2012-09-19 09:18:31] 861*2^1228929-1 is not prime. Res64: 4CF08BB8992B75CB Time : 0.0 sec. user=vaughan [2012-09-19 09:22:39] 997*2^1228929-1 is not prime. Res64: CA62B8A792400176 Time : 0.0 sec. user=mdettweiler [2012-09-19 09:25:00] 813*2^1228930-1 is not prime. Res64: 1B2F650F47AC5CF5 Time : 0.0 sec. user=mdettweiler [2012-09-19 09:25:00] 873*2^1228930-1 is not prime. Res64: B358E9A50851EAB0 Time : 0.0 sec. user=mdettweiler [2012-09-19 09:29:09] 885*2^1228930-1 is not prime. Res64: 2040D12326B839A4 Time : 0.0 sec. user=mdettweiler [2012-09-19 09:29:09] 911*2^1228930-1 is not prime. Res64: 241F160159C8B73B Time : 0.0 sec. user=mdettweiler [2012-09-19 09:45:31] 801*2^1228931-1 is not prime. Res64: 14E6B146579CFCAD Time : 0.0 sec. user=mdettweiler [2012-09-19 09:45:32] 843*2^1228931-1 is not prime. Res64: D5AB724379B924EE Time : 0.0 sec. user=mdettweiler [2012-09-19 09:49:40] 859*2^1228931-1 is not prime. Res64: 1B1AD905E59E7ABD Time : 0.0 sec. user=mdettweiler [2012-09-19 09:49:41] 883*2^1228931-1 is not prime. Res64: C8A5405E38D5B6B2 Time : 0.0 sec. user=juhehe [2012-09-19 09:52:38] 733*2^1228931-1 is not prime. Res64: 9FC1BE22F55A9701 Time : 0.0 sec. user=vaughan [2012-09-19 10:00:23] 735*2^1228931-1 is not prime. Res64: 408C4BF570248E0A Time : 0.0 sec. user=mdettweiler [2012-09-19 10:06:03] 885*2^1228931-1 is not prime. Res64: 0B2AE69D97DE2607 Time : 0.0 sec. user=mdettweiler [2012-09-19 10:06:05] 669*2^1228932-1 is not prime. Res64: 36D5A351CDFC87BC Time : 0.0 sec. user=mdettweiler [2012-09-19 10:10:11] 797*2^1228932-1 is not prime. Res64: 411E150F69260A87 Time : 0.0 sec. user=mdettweiler [2012-09-19 10:10:13] 843*2^1228932-1 is not prime. Res64: 2EF56ABFC140FD3C Time : 0.0 sec. user=mdettweiler [2012-09-19 10:26:45] 899*2^1228932-1 is not prime. Res64: 500B0BE688539A25 Time : 0.0 sec. user=mdettweiler [2012-09-19 10:26:45] 965*2^1228932-1 is not prime. Res64: 587B0EA890119B1A Time : 0.0 sec. user=mdettweiler [2012-09-19 10:30:47] 977*2^1228932-1 is not prime. Res64: 4E768B121CD9C026 Time : 0.0 sec. user=mdettweiler [2012-09-19 10:30:47] 681*2^1228933-1 is not prime. Res64: B8A8556C30B060B4 Time : 0.0 sec. user=vaughan [2012-09-19 10:38:07] 857*2^1228932-1 is not prime. Res64: 21416D95EF410D53 Time : 0.0 sec. user=mdettweiler [2012-09-19 10:47:18] 721*2^1228933-1 is not prime. Res64: FCD425EFD35D4018 Time : 0.0 sec. user=mdettweiler [2012-09-19 10:47:18] 729*2^1228933-1 is not prime. Res64: 6D4C9F7C43DA8F66 Time : 0.0 sec. user=mdettweiler [2012-09-19 10:51:19] 775*2^1228933-1 is not prime. Res64: C94F8F8F01D534DF Time : 0.0 sec. user=mdettweiler [2012-09-19 10:51:19] 605*2^1228934-1 is not prime. Res64: B70B78B51C7C35A6 Time : 0.0 sec. user=juhehe [2012-09-19 10:57:33] 699*2^1228933-1 is not prime. Res64: C31725E52CCE78BE Time : 0.0 sec. user=mdettweiler [2012-09-19 11:08:01] 687*2^1228934-1 is not prime. Res64: B8BB337303EFA30E Time : 0.0 sec. user=mdettweiler [2012-09-19 11:08:01] 797*2^1228934-1 is not prime. Res64: 9A9593770C18A757 Time : 0.0 sec. user=mdettweiler [2012-09-19 11:12:04] 825*2^1228934-1 is not prime. Res64: 389274B66A1997FD Time : 0.0 sec. user=mdettweiler [2012-09-19 11:12:06] 827*2^1228934-1 is not prime. Res64: A993E662E0DBB890 Time : 0.0 sec. user=vaughan [2012-09-19 11:15:50] 663*2^1228934-1 is not prime. Res64: B81225369B0A6D10 Time : 0.0 sec. user=mdettweiler [2012-09-19 11:29:42] 885*2^1228934-1 is not prime. Res64: 3D9B3E545502E227 Time : 0.0 sec. user=mdettweiler [2012-09-19 11:29:43] 887*2^1228934-1 is not prime. Res64: BAE06621C8CB0F40 Time : 0.0 sec. user=mdettweiler [2012-09-19 11:33:35] 915*2^1228934-1 is not prime. Res64: 5FE6C0208D6821E6 Time : 0.0 sec. user=mdettweiler [2012-09-19 11:33:36] 921*2^1228934-1 is not prime. Res64: 34CC2FA70E98B2B9 Time : 0.0 sec. user=gd_barnes [2012-09-19 11:47:02] 685*2^1228935-1 is not prime. Res64: 0E7D3C3973A88B77 Time : 0.0 sec. user=gd_barnes [2012-09-19 11:47:50] 765*2^1228935-1 is not prime. Res64: E04A2061747D80DA Time : 0.0 sec. user=gd_barnes [2012-09-19 11:47:55] 711*2^1228935-1 is not prime. Res64: 3B0869BE4A9EE1A8 Time : 0.0 sec. user=mdettweiler [2012-09-19 11:50:16] 805*2^1228935-1 is not prime. Res64: 9414B284D3904A54 Time : 0.0 sec. user=mdettweiler [2012-09-19 11:50:17] 885*2^1228935-1 is not prime. Res64: A586E1DC6DDBE483 Time : 0.0 sec. user=vaughan [2012-09-19 11:53:34] 987*2^1228934-1 is not prime. Res64: C45CA288B49DEBC7 Time : 0.0 sec. user=mdettweiler [2012-09-19 11:54:08] 919*2^1228935-1 is not prime. Res64: 92464EC34BFA512E Time : 0.0 sec. user=mdettweiler [2012-09-19 11:54:08] 973*2^1228935-1 is not prime. Res64: 06786C2B715CD185 Time : 0.0 sec. user=mdettweiler [2012-09-19 12:10:48] 615*2^1228936-1 is not prime. Res64: CA14F6F6C3B7FEE1 Time : 0.0 sec. user=mdettweiler [2012-09-19 12:10:50] 677*2^1228936-1 is not prime. Res64: 26C19DB5A97BAB3F Time : 0.0 sec. user=mdettweiler [2012-09-19 12:14:40] 759*2^1228936-1 is not prime. Res64: 37FB1E37D8B4622D Time : 0.0 sec. user=mdettweiler [2012-09-19 12:14:41] 779*2^1228936-1 is not prime. Res64: 7CE930C6C9461C22 Time : 0.0 sec. user=vaughan [2012-09-19 12:31:17] 755*2^1228936-1 is not prime. Res64: EDD297473AD4B599 Time : 0.0 sec. user=mdettweiler [2012-09-19 12:31:30] 855*2^1228936-1 is not prime. Res64: 088D9C594A47EDAA Time : 0.0 sec. user=mdettweiler [2012-09-19 12:31:31] 857*2^1228936-1 is not prime. Res64: C02C7D7CBD20F60C Time : 0.0 sec. user=juhehe [2012-09-19 12:33:06] 839*2^1228936-1 is not prime. Res64: A1BFB541207E5A96 Time : 0.0 sec. user=mdettweiler [2012-09-19 12:35:13] 933*2^1228936-1 is not prime. Res64: 8AA8045B015FCC7B Time : 0.0 sec. user=mdettweiler [2012-09-19 12:35:14] 619*2^1228937-1 is not prime. Res64: E2F9270099C813D6 Time : 0.0 sec. user=mdettweiler [2012-09-19 12:52:02] 769*2^1228937-1 is not prime. Res64: 8F1BC1121EEFBE87 Time : 0.0 sec. user=mdettweiler [2012-09-19 12:52:03] 795*2^1228937-1 is not prime. Res64: 21EB30070215B31D Time : 0.0 sec. user=mdettweiler [2012-09-19 12:55:45] 865*2^1228937-1 is not prime. Res64: A5FDC375C92711F0 Time : 0.0 sec. user=mdettweiler [2012-09-19 12:55:46] 885*2^1228937-1 is not prime. Res64: 4DCDDD982671BFA6 Time : 0.0 sec. user=vaughan [2012-09-19 13:09:02] 669*2^1228937-1 is not prime. Res64: E200E43657793DB3 Time : 0.0 sec. user=mdettweiler [2012-09-19 13:12:35] 889*2^1228937-1 is not prime. Res64: ED5F5F4C1857671A Time : 0.0 sec. user=mdettweiler [2012-09-19 13:12:36] 925*2^1228937-1 is not prime. Res64: 052674BEA9800651 Time : 0.0 sec. user=mdettweiler [2012-09-19 13:16:17] 985*2^1228937-1 is not prime. Res64: 3E74334DAF9B408A Time : 0.0 sec. user=mdettweiler [2012-09-19 13:16:18] 627*2^1228938-1 is not prime. Res64: FDA87BA6E7E4722E Time : 0.0 sec. user=mdettweiler [2012-09-19 13:33:09] 755*2^1228938-1 is not prime. Res64: 35A0EC9CA0A68DE7 Time : 0.0 sec. user=mdettweiler [2012-09-19 13:33:10] 767*2^1228938-1 is not prime. Res64: 5509BD2D3F8DA01A Time : 0.0 sec. user=mdettweiler [2012-09-19 13:36:54] 843*2^1228938-1 is not prime. Res64: 88E5929F25BE4E25 Time : 0.0 sec. user=mdettweiler [2012-09-19 13:36:55] 893*2^1228938-1 is not prime. Res64: EA7C0312E02BEFD3 Time : 0.0 sec. user=vaughan [2012-09-19 13:46:56] 671*2^1228938-1 is not prime. Res64: 353A0AD78E6824D6 Time : 0.0 sec. user=mdettweiler [2012-09-19 13:53:41] 951*2^1228938-1 is not prime. Res64: 8310514940A06599 Time : 0.0 sec. user=mdettweiler [2012-09-19 13:53:42] 633*2^1228939-1 is not prime. Res64: 868C1161F3B41189 Time : 0.0 sec. user=mdettweiler [2012-09-19 13:57:25] 759*2^1228939-1 is not prime. Res64: 01B2452BD9001F53 Time : 0.0 sec. user=mdettweiler [2012-09-19 13:57:26] 811*2^1228939-1 is not prime. Res64: BCF1B5494216ECA5 Time : 0.0 sec. user=mdettweiler [2012-09-19 14:14:22] 975*2^1228939-1 is not prime. Res64: 25C8BA513E199730 Time : 0.0 sec. user=mdettweiler [2012-09-19 14:14:25] 609*2^1228940-1 is not prime. Res64: 9C2ED0608B45F905 Time : 0.0 sec. user=mdettweiler [2012-09-19 14:18:08] 819*2^1228940-1 is not prime. Res64: 758B1BBF800A16C4 Time : 0.0 sec. user=mdettweiler [2012-09-19 14:18:08] 875*2^1228940-1 is not prime. Res64: 8B344438652318EE Time : 0.0 sec. user=vaughan [2012-09-19 14:24:37] 939*2^1228939-1 is not prime. Res64: 686E3763650ABA42 Time : 0.0 sec. user=mdettweiler [2012-09-19 14:35:15] 957*2^1228940-1 is not prime. Res64: 19E91F120615FA16 Time : 0.0 sec. user=mdettweiler [2012-09-19 14:35:16] 615*2^1228941-1 is not prime. Res64: 275775F6FA5FC729 Time : 0.0 sec. user=mdettweiler [2012-09-19 14:38:48] 627*2^1228941-1 is not prime. Res64: E012D1452CFDD481 Time : 0.0 sec. user=mdettweiler [2012-09-19 14:38:48] 717*2^1228941-1 is not prime. Res64: 3023F6587EA946C6 Time : 0.0 sec. user=juhehe [2012-09-19 14:40:23] 909*2^1228940-1 is not prime. Res64: A5CF154C0C1562F7 Time : 0.0 sec. user=mdettweiler [2012-09-19 14:55:56] 745*2^1228941-1 is not prime. Res64: B8662811B563A2CB Time : 0.0 sec. user=mdettweiler [2012-09-19 14:55:57] 805*2^1228941-1 is not prime. Res64: 9BAC4D189FE3CCD4 Time : 0.0 sec. user=mdettweiler [2012-09-19 14:59:27] 825*2^1228941-1 is not prime. Res64: 38D03136D8DAEF85 Time : 0.0 sec. user=mdettweiler [2012-09-19 14:59:27] 955*2^1228941-1 is not prime. Res64: A587FBBA5F101E96 Time : 0.0 sec. user=vaughan [2012-09-19 15:02:21] 741*2^1228941-1 is not prime. Res64: 52D5D3663572FFB9 Time : 0.0 sec. user=mdettweiler [2012-09-19 15:16:37] 961*2^1228941-1 is not prime. Res64: 3AD72D399F48BCCB Time : 0.0 sec. user=mdettweiler [2012-09-19 15:16:38] 671*2^1228942-1 is not prime. Res64: B1ABC30996275D5E Time : 0.0 sec. user=mdettweiler [2012-09-19 15:20:07] 675*2^1228942-1 is not prime. Res64: E84093103A42F057 Time : 0.0 sec. user=mdettweiler [2012-09-19 15:20:07] 695*2^1228942-1 is not prime. Res64: 3451C900CB5019FC Time : 0.0 sec. user=mdettweiler [2012-09-19 15:37:18] 801*2^1228942-1 is not prime. Res64: 9F88758D4CD6C7C4 Time : 0.0 sec. user=mdettweiler [2012-09-19 15:37:18] 825*2^1228942-1 is not prime. Res64: 4E736406E2D7AAF7 Time : 0.0 sec. user=vaughan [2012-09-19 15:40:08] 723*2^1228942-1 is not prime. Res64: 4EC69A0FB9C6F2F3 Time : 0.0 sec. user=mdettweiler [2012-09-19 15:40:46] 915*2^1228942-1 is not prime. Res64: C2ABAC035B5E5553 Time : 0.0 sec. user=mdettweiler [2012-09-19 15:40:47] 951*2^1228942-1 is not prime. Res64: B72C246B3D550698 Time : 0.0 sec. user=mdettweiler [2012-09-19 15:58:01] 643*2^1228943-1 is not prime. Res64: C6D7E3D0388A5CEA Time : 0.0 sec. user=mdettweiler [2012-09-19 15:58:01] 939*2^1228943-1 is not prime. Res64: 77B31A12C73FE6A9 Time : 0.0 sec. user=mdettweiler [2012-09-19 16:01:27] 993*2^1228943-1 is not prime. Res64: F40480381EBA6D84 Time : 0.0 sec. user=mdettweiler [2012-09-19 16:01:28] 689*2^1228944-1 is not prime. Res64: 9F0C7EC1038BE343 Time : 0.0 sec. user=juhehe [2012-09-19 16:17:16] 705*2^1228944-1 is not prime. Res64: 59DA6FF64BEF099E Time : 0.0 sec. user=vaughan [2012-09-19 16:17:54] 969*2^1228943-1 is not prime. Res64: B4A2EA6939AC3D2E Time : 0.0 sec. user=mdettweiler [2012-09-19 16:18:55] 759*2^1228944-1 is not prime. Res64: 5F18B84A4CF1E434 Time : 0.0 sec. user=mdettweiler [2012-09-19 16:18:55] 849*2^1228944-1 is not prime. Res64: F00FCB66F718731C Time : 0.0 sec. user=mdettweiler [2012-09-19 16:22:26] 909*2^1228944-1 is not prime. Res64: AB74A186D182712B Time : 0.0 sec. user=mdettweiler [2012-09-19 16:22:26] 959*2^1228944-1 is not prime. Res64: EC5F55C278CF359F Time : 0.0 sec. user=mdettweiler [2012-09-19 16:40:02] 609*2^1228945-1 is not prime. Res64: 4274FAF07EE6B706 Time : 0.0 sec. user=mdettweiler [2012-09-19 16:40:03] 619*2^1228945-1 is not prime. Res64: E3ED8CFDBA0BEB8A Time : 0.0 sec. user=mdettweiler [2012-09-19 16:43:35] 777*2^1228945-1 is not prime. Res64: E8B3390F82A79C37 Time : 0.0 sec. user=mdettweiler [2012-09-19 16:43:35] 847*2^1228945-1 is not prime. Res64: 7564C76120AB6B38 Time : 0.0 sec. user=vaughan [2012-09-19 16:55:53] 975*2^1228944-1 is not prime. Res64: 77DC68E6F914B77B Time : 0.0 sec. user=mdettweiler [2012-09-19 17:01:15] 861*2^1228945-1 is not prime. Res64: 76F0FD59BEB940BD Time : 0.0 sec. user=mdettweiler [2012-09-19 17:01:16] 871*2^1228945-1 is not prime. Res64: 4CCB212372249DBF Time : 0.0 sec. user=mdettweiler [2012-09-19 17:04:46] 645*2^1228946-1 is not prime. Res64: 0257A4DCDE289AB2 Time : 0.0 sec. user=mdettweiler [2012-09-19 17:04:47] 701*2^1228946-1 is not prime. Res64: 3AB1F71002E6513A Time : 0.0 sec. user=mdettweiler [2012-09-19 17:22:43] 767*2^1228946-1 is not prime. Res64: C040FD9E9C24C1E2 Time : 0.0 sec. user=mdettweiler [2012-09-19 17:22:44] 773*2^1228946-1 is not prime. Res64: BCC6ACF3DC47CDB3 Time : 0.0 sec. user=mdettweiler [2012-09-19 17:26:01] 801*2^1228946-1 is not prime. Res64: C3937D2DA4B2F8B4 Time : 0.0 sec. user=mdettweiler [2012-09-19 17:26:01] 825*2^1228946-1 is not prime. Res64: FC41AE79A4C1BE01 Time : 0.0 sec. user=vaughan [2012-09-19 17:33:41] 705*2^1228946-1 is not prime. Res64: 30BAC756AFDDBE38 Time : 0.0 sec. user=mdettweiler [2012-09-19 17:43:52] 917*2^1228946-1 is not prime. Res64: F7D97E8D001CD1AB Time : 0.0 sec. user=mdettweiler [2012-09-19 17:43:53] 971*2^1228946-1 is not prime. Res64: F786CA38595D25E1 Time : 0.0 sec. user=mdettweiler [2012-09-19 17:47:08] 649*2^1228947-1 is not prime. Res64: 2A0C8D68EA147EDE Time : 0.0 sec. user=mdettweiler [2012-09-19 17:47:09] 765*2^1228947-1 is not prime. Res64: B1B112AA78789F7F Time : 0.0 sec. user=juhehe [2012-09-19 17:54:41] 911*2^1228946-1 is not prime. Res64: 2BF9C68EE72D6745 Time : 0.0 sec. user=mdettweiler [2012-09-19 18:04:59] 919*2^1228947-1 is not prime. Res64: 927BA4F2ECBD9C2D Time : 0.0 sec. user=mdettweiler [2012-09-19 18:05:01] 615*2^1228948-1 is not prime. Res64: 511B0F760E2699D2 Time : 0.0 sec. user=mdettweiler [2012-09-19 18:08:15] 777*2^1228948-1 is not prime. Res64: C2EF5731D4AB80A6 Time : 0.0 sec. user=mdettweiler [2012-09-19 18:08:19] 923*2^1228948-1 is not prime. Res64: C28050D91026D251 Time : 0.0 sec. user=vaughan [2012-09-19 18:11:33] 871*2^1228947-1 is not prime. Res64: 47B7DFED1E5C49E0 Time : 0.0 sec. user=mdettweiler [2012-09-19 18:26:26] 933*2^1228948-1 is not prime. Res64: 91F96943C7DC7DB1 Time : 0.0 sec. user=mdettweiler [2012-09-19 18:26:27] 615*2^1228949-1 is not prime. Res64: 5A956238E3920360 Time : 0.0 sec. user=mdettweiler [2012-09-19 18:29:35] 649*2^1228949-1 is not prime. Res64: E925E781995B87B5 Time : 0.0 sec. user=mdettweiler [2012-09-19 18:29:36] 741*2^1228949-1 is not prime. Res64: 1282708ABF71DFE0 Time : 0.0 sec. user=mdettweiler [2012-09-19 18:47:43] 787*2^1228949-1 is not prime. Res64: 956595440A10A2F0 Time : 0.0 sec. user=mdettweiler [2012-09-19 18:47:43] 825*2^1228949-1 is not prime. Res64: DF18115D7EA0EE9E Time : 0.0 sec. user=vaughan [2012-09-19 18:49:19] 771*2^1228949-1 is not prime. Res64: FD6298C194201CDB Time : 0.0 sec. user=mdettweiler [2012-09-19 18:50:50] 949*2^1228949-1 is not prime. Res64: C233496DE572DDD5 Time : 0.0 sec. user=mdettweiler [2012-09-19 18:50:50] 985*2^1228949-1 is not prime. Res64: 436D30D45D9106ED Time : 0.0 sec. user=mdettweiler [2012-09-19 19:08:54] 681*2^1228950-1 is not prime. Res64: 5077C3A15FD21D5C Time : 0.0 sec. user=mdettweiler [2012-09-19 19:08:54] 717*2^1228950-1 is not prime. Res64: 5F3B30B74AC5EE0C Time : 0.0 sec. user=mdettweiler [2012-09-19 19:11:58] 825*2^1228950-1 is not prime. Res64: 214DFBAD1F89F12D Time : 0.0 sec. user=mdettweiler [2012-09-19 19:12:00] 927*2^1228950-1 is not prime. Res64: D6D6094B6B982B63 Time : 0.0 sec. user=vaughan [2012-09-19 19:27:03] 741*2^1228950-1 is not prime. Res64: 635A559C25F4BAD0 Time : 0.0 sec. user=mdettweiler [2012-09-19 19:30:03] 603*2^1228951-1 is not prime. Res64: B567C6C81FF0D330 Time : 0.0 sec. user=mdettweiler [2012-09-19 19:30:05] 645*2^1228951-1 is not prime. Res64: CD738B2237F60BE4 Time : 0.0 sec. user=juhehe [2012-09-19 19:32:29] 601*2^1228951-1 is not prime. Res64: E3941DD413BA91A0 Time : 0.0 sec. user=mdettweiler [2012-09-19 19:33:13] 771*2^1228951-1 is not prime. Res64: 0473515CD1921A07 Time : 0.0 sec. user=mdettweiler [2012-09-19 19:33:14] 793*2^1228951-1 is not prime. Res64: 1FF2FECEE03114FC Time : 0.0 sec. user=mdettweiler [2012-09-19 19:51:07] 885*2^1228951-1 is not prime. Res64: CDEBF66F73AC52E2 Time : 0.0 sec. user=mdettweiler [2012-09-19 19:51:07] 895*2^1228951-1 is not prime. Res64: 6B88B4FAB39B44C5 Time : 0.0 sec. user=mdettweiler [2012-09-19 19:54:11] 657*2^1228952-1 is not prime. Res64: A6370B9861990DA6 Time : 0.0 sec. user=mdettweiler [2012-09-19 19:54:12] 999*2^1228952-1 is not prime. Res64: AC267C4B264FFDC6 Time : 0.0 sec. user=vaughan [2012-09-19 20:05:03] 811*2^1228951-1 is not prime. Res64: 4DC9AECC41346983 Time : 0.0 sec. user=mdettweiler [2012-09-19 20:11:56] 625*2^1228953-1 is not prime. Res64: D927A29058DB4158 Time : 0.0 sec. user=mdettweiler [2012-09-19 20:11:58] 789*2^1228953-1 is not prime. Res64: 860FEB7D9996FA47 Time : 0.0 sec. user=mdettweiler [2012-09-19 20:15:00] 795*2^1228953-1 is not prime. Res64: 41D06EC0F93FAC71 Time : 0.0 sec. user=mdettweiler [2012-09-19 20:15:01] 835*2^1228953-1 is not prime. Res64: 491CDA271A538EC4 Time : 0.0 sec. user=mdettweiler [2012-09-19 20:32:57] 969*2^1228953-1 is not prime. Res64: D59503E78017582E Time : 0.0 sec. user=mdettweiler [2012-09-19 20:32:57] 611*2^1228954-1 is not prime. Res64: 2133C5CB570899BA Time : 0.0 sec. user=mdettweiler [2012-09-19 20:36:08] 623*2^1228954-1 is not prime. Res64: 325AABA410A7B77A Time : 0.0 sec. user=mdettweiler [2012-09-19 20:36:09] 681*2^1228954-1 is not prime. Res64: F350AE36BE275A69 Time : 0.0 sec. user=juhehe [2012-09-19 20:39:14] 861*2^1228953-1 is not prime. Res64: 699B50C30AEBAE5C Time : 0.0 sec. user=vaughan [2012-09-19 20:42:48] 877*2^1228953-1 is not prime. Res64: 522FEB730959CF99 Time : 0.0 sec. user=mdettweiler [2012-09-19 20:53:50] 731*2^1228954-1 is not prime. Res64: BE210BFB19E14401 Time : 0.0 sec. user=mdettweiler [2012-09-19 20:53:50] 947*2^1228954-1 is not prime. Res64: 9EF2B1344BA57F06 Time : 0.0 sec. user=mdettweiler [2012-09-19 20:56:57] 603*2^1228955-1 is not prime. Res64: DFD58D096BC3EB7A Time : 0.0 sec. user=mdettweiler [2012-09-19 20:56:57] 699*2^1228955-1 is not prime. Res64: 8EF6DC94254BA000 Time : 0.0 sec. user=mdettweiler [2012-09-19 21:14:37] 753*2^1228955-1 is not prime. Res64: A50D284589B49FFC Time : 0.0 sec. user=mdettweiler [2012-09-19 21:14:42] 775*2^1228955-1 is not prime. Res64: D1B2B040A291EB41 Time : 0.0 sec. user=mdettweiler [2012-09-19 21:17:43] 843*2^1228955-1 is not prime. Res64: 095499467C8DBFD4 Time : 0.0 sec. user=mdettweiler [2012-09-19 21:17:43] 985*2^1228955-1 is not prime. Res64: E0F3B362DA98FD70 Time : 0.0 sec. user=vaughan [2012-09-19 21:20:34] 733*2^1228955-1 is not prime. Res64: 8565CD99BCB942AC Time : 0.0 sec. user=mdettweiler [2012-09-19 21:35:37] 639*2^1228956-1 is not prime. Res64: 4B7A54BF68BCDE21 Time : 0.0 sec. user=mdettweiler [2012-09-19 21:35:37] 725*2^1228956-1 is not prime. Res64: EC6F9287439BECBD Time : 0.0 sec. user=mdettweiler [2012-09-19 21:38:37] 773*2^1228956-1 is not prime. Res64: 283A297E21FD56AA Time : 0.0 sec. user=mdettweiler [2012-09-19 21:38:37] 779*2^1228956-1 is not prime. Res64: 3FBAEE1D0F294ED1 Time : 0.0 sec. user=mdettweiler [2012-09-19 21:56:31] 837*2^1228956-1 is not prime. Res64: 64AC93402437085F Time : 0.0 sec. user=mdettweiler [2012-09-19 21:56:32] 839*2^1228956-1 is not prime. Res64: EF00887D1D7BFB8D Time : 0.0 sec. user=vaughan [2012-09-19 21:58:18] 789*2^1228956-1 is not prime. Res64: E586DE148C12EC04 Time : 0.0 sec. user=mdettweiler [2012-09-19 21:59:29] 867*2^1228956-1 is not prime. Res64: 58D9E29E48F1577D Time : 0.0 sec. user=mdettweiler [2012-09-19 21:59:29] 905*2^1228956-1 is not prime. Res64: 2B0793D17466582C Time : 0.0 sec. user=mdettweiler [2012-09-19 22:17:47] 993*2^1228956-1 is not prime. Res64: 73EE4EF72EBD22E4 Time : 0.0 sec. user=mdettweiler [2012-09-19 22:17:48] 687*2^1228957-1 is not prime. Res64: 6E69C77CE13B189E Time : 0.0 sec. user=mdettweiler [2012-09-19 22:20:54] 727*2^1228957-1 is not prime. Res64: 78B647D218A30DE4 Time : 0.0 sec. user=mdettweiler [2012-09-19 22:20:54] 729*2^1228957-1 is not prime. Res64: 40C3B6BB11E4A537 Time : 0.0 sec. user=mdettweiler [2012-09-19 22:38:43] 757*2^1228957-1 is not prime. Res64: CE828B1D621E85EE Time : 0.0 sec. user=mdettweiler [2012-09-19 22:38:44] 885*2^1228957-1 is not prime. Res64: 165844B0EC232AE7 Time : 0.0 sec. user=mdettweiler [2012-09-19 22:41:37] 915*2^1228957-1 is not prime. Res64: 79AD626991204261 Time : 0.0 sec. user=mdettweiler [2012-09-19 22:41:37] 937*2^1228957-1 is not prime. Res64: CDEA1FEDD7CC2288 Time : 0.0 sec. user=mdettweiler [2012-09-19 22:59:15] 743*2^1228958-1 is not prime. Res64: A0C5835B9A525203 Time : 0.0 sec. user=mdettweiler [2012-09-19 22:59:16] 761*2^1228958-1 is not prime. Res64: 17CE9FAE8DFF3C96 Time : 0.0 sec. user=mdettweiler [2012-09-19 23:02:10] 797*2^1228958-1 is not prime. Res64: 3D4C9A34133D1FB2 Time : 0.0 sec. user=mdettweiler [2012-09-19 23:02:11] 831*2^1228958-1 is not prime. Res64: 7CEB7490F60C6E4E Time : 0.0 sec. user=vaughan [2012-09-19 23:13:55] 997*2^1228957-1 is not prime. Res64: 638CA2C28ED2F234 Time : 0.0 sec. user=mdettweiler [2012-09-19 23:19:48] 893*2^1228958-1 is not prime. Res64: 02CEEB10DAEA4975 Time : 0.0 sec. user=mdettweiler [2012-09-19 23:19:49] 953*2^1228958-1 is not prime. Res64: CB22E60C80061816 Time : 0.0 sec. user=mdettweiler [2012-09-19 23:22:45] 993*2^1228958-1 is not prime. Res64: 6BADBF99286CA25E Time : 0.0 sec. user=mdettweiler [2012-09-19 23:22:46] 609*2^1228959-1 is not prime. Res64: 05D24D5CBD430FA1 Time : 0.0 sec. user=mdettweiler [2012-09-19 23:40:21] 853*2^1228959-1 is not prime. Res64: 3C3387784E53661C Time : 0.0 sec. user=mdettweiler [2012-09-19 23:40:22] 913*2^1228959-1 is not prime. Res64: A3B6BD8E41FC4038 Time : 0.0 sec. user=mdettweiler [2012-09-19 23:43:17] 955*2^1228959-1 is not prime. Res64: 5D34C5E67530C0AA Time : 0.0 sec. user=mdettweiler [2012-09-19 23:43:18] 969*2^1228959-1 is not prime. Res64: 2DFEEC71831C121F Time : 0.0 sec. user=vaughan [2012-09-19 23:51:44] 843*2^1228959-1 is not prime. Res64: B77233D46EDFFB55 Time : 0.0 sec. user=mdettweiler [2012-09-20 00:00:54] 629*2^1228960-1 is not prime. Res64: 23CF534522B496D7 Time : 0.0 sec. user=mdettweiler [2012-09-20 00:00:55] 707*2^1228960-1 is not prime. Res64: D7544A8F47FF3A14 Time : 0.0 sec.