user=vaughan [2012-12-24 00:02:44] 767*2^1237932-1 is not prime. Res64: 9E15A9BBE6989B88 Time : 0.0 sec. user=mdettweiler [2012-12-24 00:07:53] 769*2^1237933-1 is not prime. Res64: 126C80E7DD8A9CB5 Time : 0.0 sec. user=mdettweiler [2012-12-24 00:07:54] 771*2^1237933-1 is not prime. Res64: 50404C5B890CD96E Time : 0.0 sec. user=mdettweiler [2012-12-24 00:17:15] 861*2^1237933-1 is not prime. Res64: 6C1E0A20B64EDC42 Time : 0.0 sec. user=mdettweiler [2012-12-24 00:17:16] 895*2^1237933-1 is not prime. Res64: 92BC4CF8DB697EA5 Time : 0.0 sec. user=mdettweiler [2012-12-24 00:25:30] 961*2^1237933-1 is not prime. Res64: A996CFC8BD89524D Time : 0.0 sec. user=mdettweiler [2012-12-24 00:25:31] 985*2^1237933-1 is not prime. Res64: 255989978E286BFE Time : 0.0 sec. user=mdettweiler [2012-12-24 00:34:43] 605*2^1237934-1 is not prime. Res64: 520B8D7B47CDB338 Time : 0.0 sec. user=mdettweiler [2012-12-24 00:34:43] 641*2^1237934-1 is not prime. Res64: 9FB79F4A31F41D16 Time : 0.0 sec. user=vaughan [2012-12-24 00:40:29] 951*2^1237933-1 is not prime. Res64: D97EA5E6FBDC2DC4 Time : 0.0 sec. user=mdettweiler [2012-12-24 00:43:02] 675*2^1237934-1 is not prime. Res64: 07CBCD82ADDAA05C Time : 0.0 sec. user=mdettweiler [2012-12-24 00:43:02] 773*2^1237934-1 is not prime. Res64: C3C8FBFCA0616404 Time : 0.0 sec. user=mdettweiler [2012-12-24 00:52:13] 851*2^1237934-1 is not prime. Res64: EDE4FCC8DA9C231D Time : 0.0 sec. user=mdettweiler [2012-12-24 00:52:13] 981*2^1237934-1 is not prime. Res64: EA566E42CB25D246 Time : 0.0 sec. user=mdettweiler [2012-12-24 01:00:29] 691*2^1237935-1 is not prime. Res64: 7DA263C268D54406 Time : 0.0 sec. user=mdettweiler [2012-12-24 01:00:30] 709*2^1237935-1 is not prime. Res64: 495BA21A437BA4AD Time : 0.0 sec. user=mdettweiler [2012-12-24 01:09:40] 765*2^1237935-1 is not prime. Res64: 6B0B33142596743F Time : 0.0 sec. user=mdettweiler [2012-12-24 01:09:43] 795*2^1237935-1 is not prime. Res64: A806DF1AE791F373 Time : 0.0 sec. user=mdettweiler [2012-12-24 01:17:58] 831*2^1237935-1 is not prime. Res64: 79D8A09FEE62E6F9 Time : 0.0 sec. user=mdettweiler [2012-12-24 01:17:58] 921*2^1237935-1 is not prime. Res64: C6CF85506F7E483C Time : 0.0 sec. user=vaughan [2012-12-24 01:18:17] 649*2^1237935-1 is not prime. Res64: 14887C89886EF545 Time : 0.0 sec. user=mdettweiler [2012-12-24 01:27:13] 963*2^1237935-1 is not prime. Res64: E10F2998106B321D Time : 0.0 sec. user=mdettweiler [2012-12-24 01:27:14] 969*2^1237935-1 is not prime. Res64: 357177174C459CE2 Time : 0.0 sec. user=mdettweiler [2012-12-24 01:35:25] 657*2^1237936-1 is not prime. Res64: 4E13CAC24DB8AA4B Time : 0.0 sec. user=mdettweiler [2012-12-24 01:35:25] 933*2^1237936-1 is not prime. Res64: 417D62E9D7153798 Time : 0.0 sec. user=mdettweiler [2012-12-24 01:44:57] 965*2^1237936-1 is not prime. Res64: A8BC51E5D11B6274 Time : 0.0 sec. user=mdettweiler [2012-12-24 01:44:58] 615*2^1237937-1 is not prime. Res64: 06303E84AC6344B4 Time : 0.0 sec. user=mdettweiler [2012-12-24 01:52:52] 729*2^1237937-1 is not prime. Res64: 4E19129435B18DC2 Time : 0.0 sec. user=mdettweiler [2012-12-24 01:52:52] 747*2^1237937-1 is not prime. Res64: E91283B25D0A67E5 Time : 0.0 sec. user=vaughan [2012-12-24 01:56:06] 957*2^1237936-1 is not prime. Res64: E21D615A00201981 Time : 0.0 sec. user=mdettweiler [2012-12-24 02:02:23] 865*2^1237937-1 is not prime. Res64: 95109C8F2FB0B81F Time : 0.0 sec. user=mdettweiler [2012-12-24 02:02:24] 901*2^1237937-1 is not prime. Res64: CCC7C329924095C8 Time : 0.0 sec. user=mdettweiler [2012-12-24 02:10:19] 909*2^1237937-1 is not prime. Res64: 6F09D0D29611417E Time : 0.0 sec. user=mdettweiler [2012-12-24 02:10:21] 979*2^1237937-1 is not prime. Res64: 6D04640AAD453339 Time : 0.0 sec. user=mdettweiler [2012-12-24 02:19:50] 611*2^1237938-1 is not prime. Res64: A74747115A69BF07 Time : 0.0 sec. user=mdettweiler [2012-12-24 02:19:51] 681*2^1237938-1 is not prime. Res64: 65A856CABCD88354 Time : 0.0 sec. user=mdettweiler [2012-12-24 02:28:01] 737*2^1237938-1 is not prime. Res64: 65FF442F06C2AD6B Time : 0.0 sec. user=mdettweiler [2012-12-24 02:28:02] 755*2^1237938-1 is not prime. Res64: 278B925BBC496014 Time : 0.0 sec. user=vaughan [2012-12-24 02:33:52] 985*2^1237937-1 is not prime. Res64: A7DB1E018898C29F Time : 0.0 sec. user=mdettweiler [2012-12-24 02:37:17] 801*2^1237938-1 is not prime. Res64: B0FCDA4FA1BBBF0E Time : 0.0 sec. user=mdettweiler [2012-12-24 02:37:19] 875*2^1237938-1 is not prime. Res64: D803E2DE0D2642A9 Time : 0.0 sec. user=mdettweiler [2012-12-24 02:45:28] 633*2^1237939-1 is not prime. Res64: 6B0CE1B0855BE74C Time : 0.0 sec. user=mdettweiler [2012-12-24 02:45:30] 769*2^1237939-1 is not prime. Res64: 4193940F31F24AAC Time : 0.0 sec. user=mdettweiler [2012-12-24 02:54:54] 861*2^1237939-1 is not prime. Res64: AE0268783FF0BE28 Time : 0.0 sec. user=mdettweiler [2012-12-24 02:54:55] 925*2^1237939-1 is not prime. Res64: 376BE9696378AD5C Time : 0.0 sec. user=mdettweiler [2012-12-24 03:03:02] 609*2^1237940-1 is not prime. Res64: 886203FCE4D38577 Time : 0.0 sec. user=mdettweiler [2012-12-24 03:03:04] 633*2^1237940-1 is not prime. Res64: 219C68AF9B6DE768 Time : 0.0 sec. user=vaughan [2012-12-24 03:11:48] 843*2^1237939-1 is not prime. Res64: 4CB6B67CF52CFADF Time : 0.0 sec. user=mdettweiler [2012-12-24 03:12:22] 689*2^1237940-1 is not prime. Res64: A85E2FB7EE1965BD Time : 0.0 sec. user=mdettweiler [2012-12-24 03:12:23] 845*2^1237940-1 is not prime. Res64: 735F0C5870D81A1F Time : 0.0 sec. user=mdettweiler [2012-12-24 03:20:36] 963*2^1237940-1 is not prime. Res64: C839A20E4C38F623 Time : 0.0 sec. user=mdettweiler [2012-12-24 03:20:37] 983*2^1237940-1 is not prime. Res64: CF712F8CD878FED9 Time : 0.0 sec. user=mdettweiler [2012-12-24 03:29:49] 745*2^1237941-1 is not prime. Res64: 2E94A01B2DE2741D Time : 0.0 sec. user=mdettweiler [2012-12-24 03:29:50] 811*2^1237941-1 is not prime. Res64: 1BFBEFE03D29D76C Time : 0.0 sec. user=mdettweiler [2012-12-24 03:38:03] 829*2^1237941-1 is not prime. Res64: 48373C3FAB604CA0 Time : 0.0 sec. user=mdettweiler [2012-12-24 03:38:04] 837*2^1237941-1 is not prime. Res64: 31E74B9324580A4F Time : 0.0 sec. user=mdettweiler [2012-12-24 03:47:16] 937*2^1237941-1 is not prime. Res64: 2F4438B104108BEC Time : 0.0 sec. user=mdettweiler [2012-12-24 03:47:17] 713*2^1237942-1 is not prime. Res64: C7A79BD5E3CDAA2D Time : 0.0 sec. user=vaughan [2012-12-24 03:49:39] 995*2^1237940-1 is not prime. Res64: 172B0A9074ACAB8D Time : 0.0 sec. user=mdettweiler [2012-12-24 03:55:30] 717*2^1237942-1 is not prime. Res64: B45F96D7FB7DFF67 Time : 0.0 sec. user=mdettweiler [2012-12-24 03:55:30] 873*2^1237942-1 is not prime. Res64: FC5EB2AD74A3992E Time : 0.0 sec. user=mdettweiler [2012-12-24 04:04:43] 911*2^1237942-1 is not prime. Res64: 65E2DF29E5566A61 Time : 0.0 sec. user=mdettweiler [2012-12-24 04:04:44] 947*2^1237942-1 is not prime. Res64: AECEE11E1E8CF8D6 Time : 0.0 sec. user=mdettweiler [2012-12-24 04:12:56] 823*2^1237943-1 is not prime. Res64: 6E26DF2ECDF917F5 Time : 0.0 sec. user=mdettweiler [2012-12-24 04:12:57] 991*2^1237943-1 is not prime. Res64: 60DDEB8E8AD86A4C Time : 0.0 sec. user=mdettweiler [2012-12-24 04:22:14] 993*2^1237943-1 is not prime. Res64: 4795952B0F650272 Time : 0.0 sec. user=mdettweiler [2012-12-24 04:22:15] 725*2^1237944-1 is not prime. Res64: 515207816FECC953 Time : 0.0 sec. user=vaughan [2012-12-24 04:27:26] 661*2^1237943-1 is not prime. Res64: B38A9B7517F4BBF3 Time : 0.0 sec. user=mdettweiler [2012-12-24 04:30:25] 753*2^1237944-1 is not prime. Res64: 5596F1E138E09FD1 Time : 0.0 sec. user=mdettweiler [2012-12-24 04:30:27] 809*2^1237944-1 is not prime. Res64: 85175FA582AE6CE7 Time : 0.0 sec. user=mdettweiler [2012-12-24 04:39:42] 863*2^1237944-1 is not prime. Res64: 57D917B37A54A9AC Time : 0.0 sec. user=mdettweiler [2012-12-24 04:39:44] 909*2^1237944-1 is not prime. Res64: A11B2B76F6DF7F6D Time : 0.0 sec. user=mdettweiler [2012-12-24 04:47:55] 927*2^1237944-1 is not prime. Res64: 33AC37F960362461 Time : 0.0 sec. user=mdettweiler [2012-12-24 04:47:55] 947*2^1237944-1 is not prime. Res64: 539A346FB162D496 Time : 0.0 sec. user=mdettweiler [2012-12-24 04:57:18] 649*2^1237945-1 is not prime. Res64: 0B10256DC4873F6F Time : 0.0 sec. user=mdettweiler [2012-12-24 04:57:19] 775*2^1237945-1 is not prime. Res64: 16A0A94E72D76A7C Time : 0.0 sec. user=vaughan [2012-12-24 05:05:13] 923*2^1237944-1 is not prime. Res64: 186A2F4F1E9492A2 Time : 0.0 sec. user=mdettweiler [2012-12-24 05:05:24] 885*2^1237945-1 is not prime. Res64: 439760A69B059BEA Time : 0.0 sec. user=mdettweiler [2012-12-24 05:05:25] 897*2^1237945-1 is not prime. Res64: 62FACF116BAA3D26 Time : 0.0 sec. user=mdettweiler [2012-12-24 05:14:46] 999*2^1237945-1 is not prime. Res64: 8D79C9B7588D3C7F Time : 0.0 sec. user=mdettweiler [2012-12-24 05:14:46] 627*2^1237946-1 is not prime. Res64: AB237923B174D2A5 Time : 0.0 sec. user=mdettweiler [2012-12-24 05:22:52] 701*2^1237946-1 is not prime. Res64: 81876C5168B71906 Time : 0.0 sec. user=mdettweiler [2012-12-24 05:22:53] 783*2^1237946-1 is not prime. Res64: 313B5EBA3E65DD5C Time : 0.0 sec. user=mdettweiler [2012-12-24 05:32:22] 851*2^1237946-1 is not prime. Res64: AAD79048740D5223 Time : 0.0 sec. user=mdettweiler [2012-12-24 05:32:22] 861*2^1237946-1 is not prime. Res64: 51DC66A33DD7F1C8 Time : 0.0 sec. user=mdettweiler [2012-12-24 05:40:19] 921*2^1237946-1 is not prime. Res64: EE17B4F93D65D786 Time : 0.0 sec. user=mdettweiler [2012-12-24 05:40:19] 625*2^1237947-1 is not prime. Res64: 56898993AAEE4EF5 Time : 0.0 sec. user=vaughan [2012-12-24 05:43:02] 677*2^1237946-1 is not prime. Res64: A778FF154D5278D1 Time : 0.0 sec. user=mdettweiler [2012-12-24 05:49:48] 835*2^1237947-1 is not prime. Res64: BF028FD1F6762800 Time : 0.0 sec. user=mdettweiler [2012-12-24 05:49:48] 871*2^1237947-1 is not prime. Res64: 0657787B1EAA01E8 Time : 0.0 sec. user=mdettweiler [2012-12-24 05:57:45] 677*2^1237948-1 is not prime. Res64: 8C6ACA5E772F8F63 Time : 0.0 sec. user=mdettweiler [2012-12-24 05:57:45] 797*2^1237948-1 is not prime. Res64: E8E448B1B93A657F Time : 0.0 sec. user=mdettweiler [2012-12-24 06:07:15] 923*2^1237948-1 is not prime. Res64: 34E7F2263E90734C Time : 0.0 sec. user=mdettweiler [2012-12-24 06:07:15] 933*2^1237948-1 is not prime. Res64: 8F22FEC1FC9A5D56 Time : 0.0 sec. user=mdettweiler [2012-12-24 06:15:12] 947*2^1237948-1 is not prime. Res64: C89FF16E6DA21C96 Time : 0.0 sec. user=mdettweiler [2012-12-24 06:15:13] 999*2^1237948-1 is not prime. Res64: 299793CD0E81CFE9 Time : 0.0 sec. user=vaughan [2012-12-24 06:20:50] 863*2^1237948-1 is not prime. Res64: 0ECAE9C0398CDFFF Time : 0.0 sec. user=mdettweiler [2012-12-24 06:24:45] 811*2^1237949-1 is not prime. Res64: 87B14A7E5C2BA4D2 Time : 0.0 sec. user=mdettweiler [2012-12-24 06:24:46] 861*2^1237949-1 is not prime. Res64: C753B1AEC0B5C23E Time : 0.0 sec. user=mdettweiler [2012-12-24 06:32:43] 693*2^1237950-1 is not prime. Res64: 2680ECC29FF61B60 Time : 0.0 sec. user=mdettweiler [2012-12-24 06:32:44] 741*2^1237950-1 is not prime. Res64: 834E4A145A9B8F73 Time : 0.0 sec. user=mdettweiler [2012-12-24 06:42:12] 825*2^1237950-1 is not prime. Res64: 4A9A902591D950CC Time : 0.0 sec. user=mdettweiler [2012-12-24 06:42:13] 843*2^1237950-1 is not prime. Res64: AEACE118125E6A6B Time : 0.0 sec. user=mdettweiler [2012-12-24 06:50:09] 851*2^1237950-1 is not prime. Res64: 70E73438E0906601 Time : 0.0 sec. user=mdettweiler [2012-12-24 06:50:10] 863*2^1237950-1 is not prime. Res64: 29FBF3075CE2EAF4 Time : 0.0 sec. user=vaughan [2012-12-24 06:58:38] 777*2^1237950-1 is not prime. Res64: 85C34852731328DE Time : 0.0 sec. user=mdettweiler [2012-12-24 06:59:42] 891*2^1237950-1 is not prime. Res64: 09EEFC6DB6FAF9AA Time : 0.0 sec. user=mdettweiler [2012-12-24 06:59:43] 963*2^1237950-1 is not prime. Res64: BD6A2C615373121D Time : 0.0 sec. user=mdettweiler [2012-12-24 07:07:36] 965*2^1237950-1 is not prime. Res64: B87D67277DA7B04C Time : 0.0 sec. user=mdettweiler [2012-12-24 07:07:38] 619*2^1237951-1 is not prime. Res64: 082FBE1B1B554DEE Time : 0.0 sec. user=mdettweiler [2012-12-24 07:17:08] 685*2^1237951-1 is not prime. Res64: 2209D061E767B3EA Time : 0.0 sec. user=mdettweiler [2012-12-24 07:17:08] 705*2^1237951-1 is not prime. Res64: B5D02A68D16B9CB5 Time : 0.0 sec. user=mdettweiler [2012-12-24 07:25:14] 715*2^1237951-1 is not prime. Res64: C266DF9992787E97 Time : 0.0 sec. user=mdettweiler [2012-12-24 07:25:15] 741*2^1237951-1 is not prime. Res64: 3D54B06D0D33FB6A Time : 0.0 sec. user=mdettweiler [2012-12-24 07:34:36] 745*2^1237951-1 is not prime. Res64: 9D4230622700BB0A Time : 0.0 sec. user=mdettweiler [2012-12-24 07:34:37] 805*2^1237951-1 is not prime. Res64: E9726A9A261ABBA6 Time : 0.0 sec. user=vaughan [2012-12-24 07:36:25] 663*2^1237951-1 is not prime. Res64: 1CD33C16F7587A9E Time : 0.0 sec. user=mdettweiler [2012-12-24 07:42:41] 841*2^1237951-1 is not prime. Res64: 4F95BB44497C2037 Time : 0.0 sec. user=mdettweiler [2012-12-24 07:42:42] 883*2^1237951-1 is not prime. Res64: 6C8AACE99DA22554 Time : 0.0 sec. user=mdettweiler [2012-12-24 07:52:06] 889*2^1237951-1 is not prime. Res64: 8FA06B23045CD920 Time : 0.0 sec. user=mdettweiler [2012-12-24 07:52:06] 939*2^1237951-1 is not prime. Res64: FEF46B5AE6599BAF Time : 0.0 sec. user=mdettweiler [2012-12-24 08:00:08] 615*2^1237952-1 is not prime. Res64: 00E9A57A3A468C31 Time : 0.0 sec. user=mdettweiler [2012-12-24 08:00:09] 693*2^1237952-1 is not prime. Res64: 283D6CA4C387904C Time : 0.0 sec. user=mdettweiler [2012-12-24 08:09:33] 797*2^1237952-1 is not prime. Res64: C9ABBA5E18D35C59 Time : 0.0 sec. user=mdettweiler [2012-12-24 08:09:35] 977*2^1237952-1 is not prime. Res64: 92ACC94107D92937 Time : 0.0 sec. user=vaughan [2012-12-24 08:14:10] 969*2^1237951-1 is not prime. Res64: 37B709D11854123A Time : 0.0 sec. user=mdettweiler [2012-12-24 08:17:38] 637*2^1237953-1 is not prime. Res64: 3C806E78B6460763 Time : 0.0 sec. user=mdettweiler [2012-12-24 08:17:39] 691*2^1237953-1 is not prime. Res64: 60B579BC918BA2B4 Time : 0.0 sec. user=mdettweiler [2012-12-24 08:27:10] 635*2^1237954-1 is not prime. Res64: CE251FFAD3F936DF Time : 0.0 sec. user=mdettweiler [2012-12-24 08:27:10] 651*2^1237954-1 is not prime. Res64: 646395F27CB84855 Time : 0.0 sec. user=mdettweiler [2012-12-24 08:35:05] 731*2^1237954-1 is not prime. Res64: 533A9612018DD6B8 Time : 0.0 sec. user=mdettweiler [2012-12-24 08:35:05] 773*2^1237954-1 is not prime. Res64: 4644145B173C19C5 Time : 0.0 sec. user=mdettweiler [2012-12-24 08:44:37] 825*2^1237954-1 is not prime. Res64: 0CF89F5DA0920232 Time : 0.0 sec. user=mdettweiler [2012-12-24 08:44:37] 833*2^1237954-1 is not prime. Res64: 170908737F32FA55 Time : 0.0 sec. user=vaughan [2012-12-24 08:51:57] 663*2^1237954-1 is not prime. Res64: 614FDB46EBDD787A Time : 0.0 sec. user=mdettweiler [2012-12-24 08:52:32] 885*2^1237954-1 is not prime. Res64: BB802694045D0A19 Time : 0.0 sec. user=mdettweiler [2012-12-24 08:52:33] 983*2^1237954-1 is not prime. Res64: E24F43AB8D40469B Time : 0.0 sec. user=mdettweiler [2012-12-24 09:02:03] 781*2^1237955-1 is not prime. Res64: A4290119A27218B0 Time : 0.0 sec. user=mdettweiler [2012-12-24 09:02:04] 799*2^1237955-1 is not prime. Res64: 1A028276B16D9CA5 Time : 0.0 sec. user=mdettweiler [2012-12-24 09:09:59] 913*2^1237955-1 is not prime. Res64: 29FD819154559844 Time : 0.0 sec. user=mdettweiler [2012-12-24 09:10:00] 635*2^1237956-1 is not prime. Res64: 908F04424D1C5E12 Time : 0.0 sec. user=mdettweiler [2012-12-24 09:19:30] 675*2^1237956-1 is not prime. Res64: 5B0B5E5A78732767 Time : 0.0 sec. user=mdettweiler [2012-12-24 09:19:30] 689*2^1237956-1 is not prime. Res64: 850E9080BBC11D84 Time : 0.0 sec. user=mdettweiler [2012-12-24 09:27:34] 699*2^1237956-1 is not prime. Res64: 7EAD166A15B93261 Time : 0.0 sec. user=mdettweiler [2012-12-24 09:27:35] 783*2^1237956-1 is not prime. Res64: 0345C54CF185F1E0 Time : 0.0 sec. user=vaughan [2012-12-24 09:29:44] 823*2^1237955-1 is not prime. Res64: 534E8B4C7A944D72 Time : 0.0 sec. user=mdettweiler [2012-12-24 09:36:57] 857*2^1237956-1 is not prime. Res64: 6326693BD902DA61 Time : 0.0 sec. user=mdettweiler [2012-12-24 09:36:57] 993*2^1237956-1 is not prime. Res64: 6561B4B460899F80 Time : 0.0 sec. user=mdettweiler [2012-12-24 09:45:02] 747*2^1237957-1 is not prime. Res64: 18C0F1E31B215B67 Time : 0.0 sec. user=mdettweiler [2012-12-24 09:45:02] 751*2^1237957-1 is not prime. Res64: 69E556B9D935C73D Time : 0.0 sec. user=mdettweiler [2012-12-24 09:54:23] 831*2^1237957-1 is not prime. Res64: 7FB722E2A890CA24 Time : 0.0 sec. user=mdettweiler [2012-12-24 09:54:24] 985*2^1237957-1 is not prime. Res64: A3B14A8103AAFB34 Time : 0.0 sec. user=mdettweiler [2012-12-24 10:02:28] 603*2^1237958-1 is not prime. Res64: 84B2046D128E7DBE Time : 0.0 sec. user=mdettweiler [2012-12-24 10:02:29] 665*2^1237958-1 is not prime. Res64: F8BF8D99FE6F0814 Time : 0.0 sec. user=vaughan [2012-12-24 10:07:37] 759*2^1237957-1 is not prime. Res64: 715C8EFAC415D763 Time : 0.0 sec. user=mdettweiler [2012-12-24 10:11:50] 857*2^1237958-1 is not prime. Res64: CE7ED0B3A9A3E04D Time : 0.0 sec. user=mdettweiler [2012-12-24 10:11:51] 935*2^1237958-1 is not prime. Res64: 4A449A5DAE7EFF0C Time : 0.0 sec. user=mdettweiler [2012-12-24 10:19:55] 945*2^1237958-1 is not prime. Res64: E31A28DC8BA3DCB9 Time : 0.0 sec. user=mdettweiler [2012-12-24 10:19:56] 625*2^1237959-1 is not prime. Res64: F9A4D464D0323CC1 Time : 0.0 sec. user=mdettweiler [2012-12-24 10:29:19] 679*2^1237959-1 is not prime. Res64: 1417F04AB3726FD3 Time : 0.0 sec. user=mdettweiler [2012-12-24 10:29:21] 693*2^1237959-1 is not prime. Res64: 26141BE8B0818DB3 Time : 0.0 sec. user=mdettweiler [2012-12-24 10:37:23] 853*2^1237959-1 is not prime. Res64: D0C27393073AFAB9 Time : 0.0 sec. user=mdettweiler [2012-12-24 10:37:23] 909*2^1237959-1 is not prime. Res64: 4A570591E4BA9AED Time : 0.0 sec. user=vaughan [2012-12-24 10:45:28] 649*2^1237959-1 is not prime. Res64: 5D52D947D53A76DB Time : 0.0 sec. user=mdettweiler [2012-12-24 10:46:47] 985*2^1237959-1 is not prime. Res64: 44AEC4EB7604240B Time : 0.0 sec. user=mdettweiler [2012-12-24 10:46:48] 605*2^1237960-1 is not prime. Res64: BB89254F404CD363 Time : 0.0 sec. user=mdettweiler [2012-12-24 10:54:49] 695*2^1237960-1 is not prime. Res64: 9F0AC8B56C1FCC1D Time : 0.0 sec. user=mdettweiler [2012-12-24 10:54:50] 707*2^1237960-1 is not prime. Res64: 0901E1B543DA01DE Time : 0.0 sec. user=mdettweiler [2012-12-24 11:04:14] 813*2^1237960-1 is not prime. Res64: 1BB5D24F0F5C08D3 Time : 0.0 sec. user=mdettweiler [2012-12-24 11:04:15] 887*2^1237960-1 is not prime. Res64: 19EF7DB197F06C66 Time : 0.0 sec. user=mdettweiler [2012-12-24 11:12:16] 989*2^1237960-1 is not prime. Res64: AA3136CB69A07DD6 Time : 0.0 sec. user=mdettweiler [2012-12-24 11:12:16] 645*2^1237961-1 is not prime. Res64: 0B307F20E6244878 Time : 0.0 sec. user=mdettweiler [2012-12-24 11:21:51] 651*2^1237961-1 is not prime. Res64: E33BBD00F3C8BE5E Time : 0.0 sec. user=mdettweiler [2012-12-24 11:21:51] 727*2^1237961-1 is not prime. Res64: E9A72828C80BC065 Time : 0.0 sec. user=vaughan [2012-12-24 11:23:13] 713*2^1237960-1 is not prime. Res64: 0F95C6AE0E7BCA2D Time : 0.0 sec. user=mdettweiler [2012-12-24 11:29:51] 769*2^1237961-1 is not prime. Res64: 31AEED5389DD0CEA Time : 0.0 sec. user=mdettweiler [2012-12-24 11:29:51] 819*2^1237961-1 is not prime. Res64: 12E4A5611058213A Time : 0.0 sec. user=mdettweiler [2012-12-24 11:39:19] 939*2^1237961-1 is not prime. Res64: 13FB070C32BFECDC Time : 0.0 sec. user=mdettweiler [2012-12-24 11:39:19] 951*2^1237961-1 is not prime. Res64: D65B76D259851E80 Time : 0.0 sec. user=mdettweiler [2012-12-24 11:47:18] 755*2^1237962-1 is not prime. Res64: 008E76AF90B4107D Time : 0.0 sec. user=mdettweiler [2012-12-24 11:47:19] 945*2^1237962-1 is not prime. Res64: 378EC61D4D78A697 Time : 0.0 sec. user=mdettweiler [2012-12-24 11:56:46] 951*2^1237962-1 is not prime. Res64: 6B04FE425E4D25AE Time : 0.0 sec. user=mdettweiler [2012-12-24 11:56:46] 693*2^1237963-1 is not prime. Res64: 281763851920E36E Time : 0.0 sec. user=vaughan [2012-12-24 12:01:01] 611*2^1237962-1 is not prime. Res64: 351C4A801DE35470 Time : 0.0 sec. user=mdettweiler [2012-12-24 12:04:47] 783*2^1237963-1 is not prime. Res64: CB6D978BC645F3B3 Time : 0.0 sec. user=mdettweiler [2012-12-24 12:04:49] 659*2^1237964-1 is not prime. Res64: 984264CD9747392F Time : 0.0 sec. user=mdettweiler [2012-12-24 12:14:12] 665*2^1237964-1 is not prime. Res64: 6BBFC87B51F6A039 Time : 0.0 sec. user=mdettweiler [2012-12-24 12:14:13] 677*2^1237964-1 is not prime. Res64: 58F14875636A5ADA Time : 0.0 sec. user=mdettweiler [2012-12-24 12:22:20] 837*2^1237964-1 is not prime. Res64: 6631A0222CDB1F7E Time : 0.0 sec. user=mdettweiler [2012-12-24 12:22:20] 843*2^1237964-1 is not prime. Res64: 510C049A12FA386E Time : 0.0 sec. user=mdettweiler [2012-12-24 12:31:41] 927*2^1237964-1 is not prime. Res64: 9DEB5FAAB0AF06A8 Time : 0.0 sec. user=mdettweiler [2012-12-24 12:31:42] 945*2^1237964-1 is not prime. Res64: D2DFA8DAFE4D122A Time : 0.0 sec. user=vaughan [2012-12-24 12:38:50] 699*2^1237964-1 is not prime. Res64: 9B896210BA27B549 Time : 0.0 sec. user=mdettweiler [2012-12-24 12:39:46] 953*2^1237964-1 is not prime. Res64: D748336D28F5176E Time : 0.0 sec. user=mdettweiler [2012-12-24 12:39:47] 685*2^1237965-1 is not prime. Res64: 3062AB0C23001ADD Time : 0.0 sec. user=mdettweiler [2012-12-24 12:49:08] 915*2^1237965-1 is not prime. Res64: 2FB73C3E7789A77A Time : 0.0 sec. user=mdettweiler [2012-12-24 12:49:08] 985*2^1237965-1 is not prime. Res64: FE5FD17E7E1515BA Time : 0.0 sec. user=mdettweiler [2012-12-24 12:57:15] 755*2^1237966-1 is not prime. Res64: 99676CFBB2C98F4F Time : 0.0 sec. user=mdettweiler [2012-12-24 12:57:15] 765*2^1237966-1 is not prime. Res64: 5F38F49B9611DA54 Time : 0.0 sec. user=mdettweiler [2012-12-24 13:06:34] 773*2^1237966-1 is not prime. Res64: 8D08358FD7F5AA51 Time : 0.0 sec. user=mdettweiler [2012-12-24 13:06:34] 813*2^1237966-1 is not prime. Res64: A8AD5CDBDE61D3C5 Time : 0.0 sec. user=mdettweiler [2012-12-24 13:14:39] 867*2^1237966-1 is not prime. Res64: 04A3428ECA9CAF7C Time : 0.0 sec. user=mdettweiler [2012-12-24 13:14:40] 911*2^1237966-1 is not prime. Res64: 75FF2A21CCD89371 Time : 0.0 sec. user=vaughan [2012-12-24 13:16:37] 635*2^1237966-1 is not prime. Res64: AC08D3100948E8D8 Time : 0.0 sec. user=mdettweiler [2012-12-24 13:24:04] 923*2^1237966-1 is not prime. Res64: DD9B9615F67AE80C Time : 0.0 sec. user=mdettweiler [2012-12-24 13:24:05] 615*2^1237967-1 is not prime. Res64: 7DD69D38BFD9F8C9 Time : 0.0 sec. user=mdettweiler [2012-12-24 13:32:05] 633*2^1237967-1 is not prime. Res64: FF474A78A477263D Time : 0.0 sec. user=mdettweiler [2012-12-24 13:32:06] 645*2^1237967-1 is not prime. Res64: 8BA80313B9B74040 Time : 0.0 sec. user=mdettweiler [2012-12-24 13:41:30] 799*2^1237967-1 is not prime. Res64: 7A8AAFD9625B8F4F Time : 0.0 sec. user=mdettweiler [2012-12-24 13:41:31] 669*2^1237968-1 is not prime. Res64: 01E5936B2604345B Time : 0.0 sec. user=mdettweiler [2012-12-24 13:49:30] 707*2^1237968-1 is not prime. Res64: 292AD35215B2C86B Time : 0.0 sec. user=mdettweiler [2012-12-24 13:49:31] 789*2^1237968-1 is not prime. Res64: CCD2B066213BFF3C Time : 0.0 sec. user=vaughan [2012-12-24 13:54:26] 669*2^1237967-1 is not prime. Res64: B77540508C60FBD4 Time : 0.0 sec. user=mdettweiler [2012-12-24 13:58:57] 843*2^1237968-1 is not prime. Res64: 4DE3601DF751DF6A Time : 0.0 sec. user=mdettweiler [2012-12-24 13:58:58] 933*2^1237968-1 is not prime. Res64: 5C7A0F1FF7EEAC56 Time : 0.0 sec. user=mdettweiler [2012-12-24 14:06:58] 625*2^1237969-1 is not prime. Res64: 62E7858EEF584133 Time : 0.0 sec. user=mdettweiler [2012-12-24 14:07:01] 799*2^1237969-1 is not prime. Res64: 0683BD3F69248096 Time : 0.0 sec. user=mdettweiler [2012-12-24 14:16:22] 677*2^1237970-1 is not prime. Res64: 2E199B880DE00309 Time : 0.0 sec. user=mdettweiler [2012-12-24 14:16:23] 687*2^1237970-1 is not prime. Res64: 9F2EDD85FE5C158C Time : 0.0 sec. user=mdettweiler [2012-12-24 14:24:45] 797*2^1237970-1 is not prime. Res64: 3B7188401A02673A Time : 0.0 sec. user=mdettweiler [2012-12-24 14:24:47] 867*2^1237970-1 is not prime. Res64: DBFBE3EFDDF51874 Time : 0.0 sec. user=vaughan [2012-12-24 14:32:12] 939*2^1237969-1 is not prime. Res64: 2815D3C5EB03ED79 Time : 0.0 sec. user=mdettweiler [2012-12-24 14:33:48] 921*2^1237970-1 is not prime. Res64: 5E2DEF4CD1A91B2E Time : 0.0 sec. user=mdettweiler [2012-12-24 14:33:49] 935*2^1237970-1 is not prime. Res64: F747BD363FEF239B Time : 0.0 sec. user=mdettweiler [2012-12-24 14:42:18] 981*2^1237970-1 is not prime. Res64: EB34BFA2E60EDFD5 Time : 0.0 sec. user=mdettweiler [2012-12-24 14:42:19] 621*2^1237971-1 is not prime. Res64: E678B505B8B75B4B Time : 0.0 sec. user=mdettweiler [2012-12-24 14:51:15] 711*2^1237971-1 is not prime. Res64: 6B7A8D71EA2334E6 Time : 0.0 sec. user=mdettweiler [2012-12-24 14:51:16] 741*2^1237971-1 is not prime. Res64: 9FB670EBE9AEB035 Time : 0.0 sec. user=mdettweiler [2012-12-24 14:59:49] 769*2^1237971-1 is not prime. Res64: 2AEB9CDF17EF0CDF Time : 0.0 sec. user=mdettweiler [2012-12-24 14:59:50] 823*2^1237971-1 is not prime. Res64: 57D4C51C8EF8ABF9 Time : 0.0 sec. user=mdettweiler [2012-12-24 15:08:54] 871*2^1237971-1 is not prime. Res64: 38C8279807EECE12 Time : 0.0 sec. user=mdettweiler [2012-12-24 15:08:55] 605*2^1237972-1 is not prime. Res64: 0C39D92BCB4D1B2D Time : 0.0 sec. user=vaughan [2012-12-24 15:09:59] 691*2^1237971-1 is not prime. Res64: E7E3790701607AA9 Time : 0.0 sec. user=mdettweiler [2012-12-24 15:17:49] 705*2^1237972-1 is not prime. Res64: A7D5371527EF6E7B Time : 0.0 sec. user=mdettweiler [2012-12-24 15:17:50] 749*2^1237972-1 is not prime. Res64: 0D5E85D80A6F80C6 Time : 0.0 sec. user=mdettweiler [2012-12-24 15:26:56] 765*2^1237972-1 is not prime. Res64: 2C67553994D9AA9A Time : 0.0 sec. user=mdettweiler [2012-12-24 15:26:56] 825*2^1237972-1 is not prime. Res64: 501C43DD2CF18873 Time : 0.0 sec. user=mdettweiler [2012-12-24 15:35:18] 923*2^1237972-1 is not prime. Res64: 3747340C03B3122A Time : 0.0 sec. user=mdettweiler [2012-12-24 15:35:18] 965*2^1237972-1 is not prime. Res64: 13E55CF3119346DF Time : 0.0 sec. user=mdettweiler [2012-12-24 15:44:23] 679*2^1237973-1 is not prime. Res64: F99C1A8B8BCC7A2E Time : 0.0 sec. user=mdettweiler [2012-12-24 15:44:24] 699*2^1237973-1 is not prime. Res64: BDEC99E8FD556686 Time : 0.0 sec. user=vaughan [2012-12-24 15:47:48] 875*2^1237972-1 is not prime. Res64: 1920F5B5D7FE9298 Time : 0.0 sec. user=mdettweiler [2012-12-24 15:52:46] 789*2^1237973-1 is not prime. Res64: F46A636021FBD6EC Time : 0.0 sec. user=mdettweiler [2012-12-24 15:52:47] 837*2^1237973-1 is not prime. Res64: 1498CA2346B194DE Time : 0.0 sec. user=mdettweiler [2012-12-24 16:01:53] 945*2^1237973-1 is not prime. Res64: B4550DDADD156B0C Time : 0.0 sec. user=mdettweiler [2012-12-24 16:01:55] 635*2^1237974-1 is not prime. Res64: 97D13FDEA7EA8A03 Time : 0.0 sec. user=mdettweiler [2012-12-24 16:10:27] 807*2^1237974-1 is not prime. Res64: C3C61987C5F52D39 Time : 0.0 sec. user=mdettweiler [2012-12-24 16:10:28] 887*2^1237974-1 is not prime. Res64: 4256267EE206A888 Time : 0.0 sec. user=mdettweiler [2012-12-24 16:19:41] 893*2^1237974-1 is not prime. Res64: B4C81E284C629F8E Time : 0.0 sec. user=mdettweiler [2012-12-24 16:19:41] 903*2^1237974-1 is not prime. Res64: 219547C02234739C Time : 0.0 sec. user=vaughan [2012-12-24 16:25:36] 641*2^1237974-1 is not prime. Res64: 9F8996705F521A9F Time : 0.0 sec. user=mdettweiler [2012-12-24 16:28:16] 679*2^1237975-1 is not prime. Res64: A1A2F01F9A26DBA0 Time : 0.0 sec. user=mdettweiler [2012-12-24 16:28:16] 735*2^1237975-1 is not prime. Res64: BDE15682029D0FD3 Time : 0.0 sec. user=mdettweiler [2012-12-24 16:37:28] 871*2^1237975-1 is not prime. Res64: D06F1941C4651CC7 Time : 0.0 sec. user=mdettweiler [2012-12-24 16:37:29] 623*2^1237976-1 is not prime. Res64: E2A2952DDD235FDB Time : 0.0 sec. user=mdettweiler [2012-12-24 16:51:27] 827*2^1237976-1 is not prime. Res64: 13C06FA0EDC4F830 Time : 0.0 sec. user=mdettweiler [2012-12-24 16:51:28] 897*2^1237976-1 is not prime. Res64: 29D634BF42C594E2 Time : 0.0 sec. user=mdettweiler [2012-12-24 17:00:09] 639*2^1237977-1 is not prime. Res64: 1217ECFAF93D2112 Time : 0.0 sec. user=mdettweiler [2012-12-24 17:00:10] 699*2^1237977-1 is not prime. Res64: CFA8BE321D67F34F Time : 0.0 sec. user=vaughan [2012-12-24 17:03:22] 683*2^1237976-1 is not prime. Res64: 5297733C68ED9918 Time : 0.0 sec. user=mdettweiler [2012-12-24 17:17:49] 727*2^1237977-1 is not prime. Res64: 29A94EF7439195DC Time : 0.0 sec. user=mdettweiler [2012-12-24 17:17:50] 739*2^1237977-1 is not prime. Res64: F80792878AA90D8D Time : 0.0 sec. user=mdettweiler [2012-12-24 17:18:22] 849*2^1237977-1 is not prime. Res64: 6606FFBBA8806998 Time : 0.0 sec. user=mdettweiler [2012-12-24 17:18:23] 865*2^1237977-1 is not prime. Res64: 3AA260EFCB29CFDC Time : 0.0 sec. user=mdettweiler [2012-12-24 17:35:35] 737*2^1237978-1 is not prime. Res64: BBFBE1AC5DE50C91 Time : 0.0 sec. user=mdettweiler [2012-12-24 17:35:35] 801*2^1237978-1 is not prime. Res64: A6A250640C40A12C Time : 0.0 sec. user=mdettweiler [2012-12-24 17:35:59] 813*2^1237978-1 is not prime. Res64: CE93CB28EB7A6B67 Time : 0.0 sec. user=mdettweiler [2012-12-24 17:35:59] 857*2^1237978-1 is not prime. Res64: D8EECBC72379AA4A Time : 0.0 sec. user=vaughan [2012-12-24 17:41:14] 633*2^1237978-1 is not prime. Res64: 80163B05B8CF9308 Time : 0.0 sec. user=mdettweiler [2012-12-24 17:53:06] 911*2^1237978-1 is not prime. Res64: A1F32DC50FC3EA49 Time : 0.0 sec. user=mdettweiler [2012-12-24 17:53:06] 951*2^1237978-1 is not prime. Res64: 81B5261C1826328F Time : 0.0 sec. user=mdettweiler [2012-12-24 17:53:30] 957*2^1237978-1 is not prime. Res64: 35AA56AF29946124 Time : 0.0 sec. user=mdettweiler [2012-12-24 17:53:31] 971*2^1237978-1 is not prime. Res64: CFFFDC2F7858DCE2 Time : 0.0 sec. user=mdettweiler [2012-12-24 18:10:41] 733*2^1237979-1 is not prime. Res64: 948D7984EA34B926 Time : 0.0 sec. user=mdettweiler [2012-12-24 18:10:43] 771*2^1237979-1 is not prime. Res64: BD7D6838D0679F07 Time : 0.0 sec. user=mdettweiler [2012-12-24 18:11:03] 813*2^1237979-1 is not prime. Res64: D431A5DFEB09BB8F Time : 0.0 sec. user=mdettweiler [2012-12-24 18:11:04] 879*2^1237979-1 is not prime. Res64: 76755D052377FAE8 Time : 0.0 sec. user=vaughan [2012-12-24 18:19:01] 669*2^1237979-1 is not prime. Res64: 202F65F3DEED2F61 Time : 0.0 sec. user=mdettweiler [2012-12-24 18:28:20] 921*2^1237979-1 is not prime. Res64: 049BAF2D71E80852 Time : 0.0 sec. user=mdettweiler [2012-12-24 18:28:20] 623*2^1237980-1 is not prime. Res64: E231216DE2195D4C Time : 0.0 sec. user=mdettweiler [2012-12-24 18:28:38] 669*2^1237980-1 is not prime. Res64: 253B2B7F12BE3090 Time : 0.0 sec. user=mdettweiler [2012-12-24 18:28:39] 723*2^1237980-1 is not prime. Res64: 109570CD1598CF53 Time : 0.0 sec. user=mdettweiler [2012-12-24 18:45:52] 875*2^1237980-1 is not prime. Res64: AECB3FF41692501B Time : 0.0 sec. user=mdettweiler [2012-12-24 18:45:52] 975*2^1237980-1 is not prime. Res64: 34621B0DA9737A2D Time : 0.0 sec. user=mdettweiler [2012-12-24 18:46:10] 987*2^1237980-1 is not prime. Res64: 043395AF5E0F1886 Time : 0.0 sec. user=mdettweiler [2012-12-24 18:46:10] 615*2^1237981-1 is not prime. Res64: 846E86CF05F917AB Time : 0.0 sec. user=vaughan [2012-12-24 18:56:48] 809*2^1237980-1 is not prime. Res64: 29192DCE6A2F43A9 Time : 0.0 sec. user=mdettweiler [2012-12-24 19:03:23] 645*2^1237981-1 is not prime. Res64: 5287A02807D1FA96 Time : 0.0 sec. user=mdettweiler [2012-12-24 19:03:23] 799*2^1237981-1 is not prime. Res64: C3087D3261C2AE25 Time : 0.0 sec. user=mdettweiler [2012-12-24 19:03:41] 877*2^1237981-1 is not prime. Res64: 6AD20D5EAD49676A Time : 0.0 sec. user=mdettweiler [2012-12-24 19:03:42] 945*2^1237981-1 is not prime. Res64: 1A648046C0AAD4BE Time : 0.0 sec. user=mdettweiler [2012-12-24 19:20:54] 755*2^1237982-1 is not prime. Res64: AD7F119156E92C30 Time : 0.0 sec. user=mdettweiler [2012-12-24 19:20:55] 785*2^1237982-1 is not prime. Res64: E913EC424521F695 Time : 0.0 sec. user=mdettweiler [2012-12-24 19:21:15] 797*2^1237982-1 is not prime. Res64: 1EBE746C96325E88 Time : 0.0 sec. user=mdettweiler [2012-12-24 19:21:16] 815*2^1237982-1 is not prime. Res64: 8B4CFE64906BDAD5 Time : 0.0 sec. user=vaughan [2012-12-24 19:34:39] 693*2^1237982-1 is not prime. Res64: 056E4D253FDF1878 Time : 0.0 sec. user=mdettweiler [2012-12-24 19:38:27] 613*2^1237983-1 is not prime. Res64: B12821656A3FA076 Time : 0.0 sec. user=mdettweiler [2012-12-24 19:38:27] 679*2^1237983-1 is not prime. Res64: 7A2BBE08DEEFD2EA Time : 0.0 sec. user=mdettweiler [2012-12-24 19:38:46] 721*2^1237983-1 is not prime. Res64: F8C85CF87CE5CF19 Time : 0.0 sec. user=mdettweiler [2012-12-24 19:38:46] 775*2^1237983-1 is not prime. Res64: 20CB803B9A803AE4 Time : 0.0 sec. user=mdettweiler [2012-12-24 19:55:59] 789*2^1237983-1 is not prime. Res64: 22775D620A86CC41 Time : 0.0 sec. user=mdettweiler [2012-12-24 19:55:59] 859*2^1237983-1 is not prime. Res64: BA0BF7E52F9EC728 Time : 0.0 sec. user=mdettweiler [2012-12-24 19:56:23] 885*2^1237983-1 is not prime. Res64: AE6B1C6C77BAAFF8 Time : 0.0 sec. user=mdettweiler [2012-12-24 19:56:23] 609*2^1237984-1 is not prime. Res64: 10F3F9FAACC93828 Time : 0.0 sec. user=vaughan [2012-12-24 20:12:27] 781*2^1237983-1 is not prime. Res64: 16067ED5C9F77445 Time : 0.0 sec. user=mdettweiler [2012-12-24 20:13:31] 755*2^1237984-1 is not prime. Res64: 4A56F01660A5C6D1 Time : 0.0 sec. user=mdettweiler [2012-12-24 20:13:32] 765*2^1237984-1 is not prime. Res64: F69238AE81E39942 Time : 0.0 sec. user=mdettweiler [2012-12-24 20:13:54] 843*2^1237984-1 is not prime. Res64: 1AFCED7665085780 Time : 0.0 sec. user=mdettweiler [2012-12-24 20:13:55] 869*2^1237984-1 is not prime. Res64: 25FC7B4EB114F210 Time : 0.0 sec. user=mdettweiler [2012-12-24 20:31:03] 927*2^1237984-1 is not prime. Res64: D5E68EFCB967AD06 Time : 0.0 sec. user=mdettweiler [2012-12-24 20:31:03] 989*2^1237984-1 is not prime. Res64: D286C9C8AEE2295F Time : 0.0 sec. user=mdettweiler [2012-12-24 20:31:25] 993*2^1237984-1 is not prime. Res64: 7FDD3691D6816E72 Time : 0.0 sec. user=mdettweiler [2012-12-24 20:31:26] 619*2^1237985-1 is not prime. Res64: 12EC13E861181FA4 Time : 0.0 sec. user=mdettweiler [2012-12-24 20:48:36] 645*2^1237985-1 is not prime. Res64: B5C178AEB29ACA8D Time : 0.0 sec. user=mdettweiler [2012-12-24 20:48:36] 697*2^1237985-1 is not prime. Res64: 249EA45D4C6228AD Time : 0.0 sec. user=mdettweiler [2012-12-24 20:48:57] 699*2^1237985-1 is not prime. Res64: 6A9EA08CEACDB3BC Time : 0.0 sec. user=mdettweiler [2012-12-24 20:48:57] 717*2^1237985-1 is not prime. Res64: 5934AD1FE1DBB726 Time : 0.0 sec. user=vaughan [2012-12-24 20:50:18] 887*2^1237984-1 is not prime. Res64: 6789F6D67618513D Time : 0.0 sec. user=mdettweiler [2012-12-24 21:05:57] 721*2^1237985-1 is not prime. Res64: B312DEB37034A952 Time : 0.0 sec. user=mdettweiler [2012-12-24 21:05:58] 729*2^1237985-1 is not prime. Res64: BD624F3D0B427AC3 Time : 0.0 sec. user=mdettweiler [2012-12-24 21:06:18] 789*2^1237985-1 is not prime. Res64: EFF99C8EF96EDE04 Time : 0.0 sec. user=mdettweiler [2012-12-24 21:06:19] 855*2^1237985-1 is not prime. Res64: 1690362321A1D8CC Time : 0.0 sec. user=mdettweiler [2012-12-24 21:23:24] 867*2^1237985-1 is not prime. Res64: DA1254F0FAF8BC6A Time : 0.0 sec. user=mdettweiler [2012-12-24 21:23:25] 937*2^1237985-1 is not prime. Res64: 83D26FD295ED33F9 Time : 0.0 sec. user=mdettweiler [2012-12-24 21:23:41] 713*2^1237986-1 is not prime. Res64: 2731AA8955BC6C1E Time : 0.0 sec. user=mdettweiler [2012-12-24 21:23:43] 741*2^1237986-1 is not prime. Res64: D5FEC340107BCA8F Time : 0.0 sec. user=vaughan [2012-12-24 21:28:04] 861*2^1237985-1 is not prime. Res64: 45218B5BB615350A Time : 0.0 sec. user=mdettweiler [2012-12-24 21:40:57] 1001*2^1237986-1 is not prime. Res64: 656FB1D1503EFB3B Time : 0.0 sec. user=mdettweiler [2012-12-24 21:40:57] 649*2^1237987-1 is not prime. Res64: 2E113F1CCF1B3142 Time : 0.0 sec. user=mdettweiler [2012-12-24 21:41:03] 691*2^1237987-1 is not prime. Res64: 078E1204E6DB9084 Time : 0.0 sec. user=mdettweiler [2012-12-24 21:41:04] 733*2^1237987-1 is not prime. Res64: 5E6B580194E3A735 Time : 0.0 sec. user=mdettweiler [2012-12-24 21:58:18] 687*2^1237988-1 is not prime. Res64: C7AE65CBFE6F4FA9 Time : 0.0 sec. user=mdettweiler [2012-12-24 21:58:18] 819*2^1237988-1 is not prime. Res64: 48B78152795E9E5E Time : 0.0 sec. user=mdettweiler [2012-12-24 21:58:23] 923*2^1237988-1 is not prime. Res64: FBBCD0AF6C63B4F1 Time : 0.0 sec. user=mdettweiler [2012-12-24 21:58:24] 935*2^1237988-1 is not prime. Res64: CDE646A7973FCE87 Time : 0.0 sec. user=vaughan [2012-12-24 22:05:53] 961*2^1237987-1 is not prime. Res64: F3C9BCBFB8EEA438 Time : 0.0 sec. user=mdettweiler [2012-12-24 22:15:39] 963*2^1237988-1 is not prime. Res64: 7E54369DE29A916C Time : 0.0 sec. user=mdettweiler [2012-12-24 22:15:40] 655*2^1237989-1 is not prime. Res64: 88D501F0F18B15A1 Time : 0.0 sec. user=mdettweiler [2012-12-24 22:15:45] 711*2^1237989-1 is not prime. Res64: 79A9BBCC1824F4CE Time : 0.0 sec. user=mdettweiler [2012-12-24 22:15:47] 795*2^1237989-1 is not prime. Res64: FED94CB738049F7B Time : 0.0 sec. user=mdettweiler [2012-12-24 22:33:08] 889*2^1237989-1 is not prime. Res64: A8F549140540092F Time : 0.0 sec. user=mdettweiler [2012-12-24 22:33:10] 891*2^1237989-1 is not prime. Res64: C678AFDE4ABA0400 Time : 0.0 sec. user=mdettweiler [2012-12-24 22:33:12] 951*2^1237989-1 is not prime. Res64: 68D010B55C5344FD Time : 0.0 sec. user=mdettweiler [2012-12-24 22:33:14] 969*2^1237989-1 is not prime. Res64: 335CA58C58A92FF1 Time : 0.0 sec. user=vaughan [2012-12-24 22:44:06] 877*2^1237989-1 is not prime. Res64: 96F215B4F0A21655 Time : 0.0 sec. user=mdettweiler [2012-12-24 22:50:41] 991*2^1237989-1 is not prime. Res64: F7D81246F691F3C2 Time : 0.0 sec. user=mdettweiler [2012-12-24 22:50:42] 723*2^1237990-1 is not prime. Res64: D5CCBA80396E5BDC Time : 0.0 sec. user=mdettweiler [2012-12-24 22:50:48] 755*2^1237990-1 is not prime. Res64: 3B9E6E0380DCE9CF Time : 0.0 sec. user=mdettweiler [2012-12-24 22:50:48] 761*2^1237990-1 is not prime. Res64: F2CFF18C64392423 Time : 0.0 sec. user=mdettweiler [2012-12-24 23:08:16] 825*2^1237990-1 is not prime. Res64: 6A7F6DA23BDBE238 Time : 0.0 sec. user=mdettweiler [2012-12-24 23:08:17] 855*2^1237990-1 is not prime. Res64: F8DB452C0F82ABDC Time : 0.0 sec. user=mdettweiler [2012-12-24 23:08:22] 897*2^1237990-1 is not prime. Res64: AE54C3A7FDBBB913 Time : 0.0 sec. user=mdettweiler [2012-12-24 23:08:23] 945*2^1237990-1 is not prime. Res64: CF8EB2E8B6FBE8AC Time : 0.0 sec. user=vaughan [2012-12-24 23:21:59] 765*2^1237990-1 is not prime. Res64: 5F03DB2D12F9B0F9 Time : 0.0 sec. user=mdettweiler [2012-12-24 23:26:12] 603*2^1237991-1 is not prime. Res64: C69451C412686E7A Time : 0.0 sec. user=mdettweiler [2012-12-24 23:26:13] 643*2^1237991-1 is not prime. Res64: 896331488B3E2D98 Time : 0.0 sec. user=mdettweiler [2012-12-24 23:26:13] 679*2^1237991-1 is not prime. Res64: 8B364C46F3BB77A8 Time : 0.0 sec. user=mdettweiler [2012-12-24 23:26:14] 693*2^1237991-1 is not prime. Res64: D03E43AAB57081AF Time : 0.0 sec. user=mdettweiler [2012-12-24 23:43:34] 879*2^1237991-1 is not prime. Res64: B8D43256E5AB8F42 Time : 0.0 sec. user=mdettweiler [2012-12-24 23:43:34] 883*2^1237991-1 is not prime. Res64: A0442A64A23C8CF5 Time : 0.0 sec. user=mdettweiler [2012-12-24 23:43:36] 921*2^1237991-1 is not prime. Res64: AECAA0727BFC464D Time : 0.0 sec. user=mdettweiler [2012-12-24 23:43:36] 669*2^1237992-1 is not prime. Res64: 74758E420D36D3B9 Time : 0.0 sec. user=vaughan [2012-12-24 23:59:51] 711*2^1237991-1 is not prime. Res64: 41D44521FDCBBBBD Time : 0.0 sec. user=mdettweiler [2012-12-25 00:00:55] 779*2^1237992-1 is not prime. Res64: 72B74B7D01532081 Time : 0.0 sec. user=mdettweiler [2012-12-25 00:00:56] 887*2^1237992-1 is not prime. Res64: 9F728DB776445AB3 Time : 0.0 sec. user=mdettweiler [2012-12-25 00:00:57] 893*2^1237992-1 is not prime. Res64: C860B221020CACF1 Time : 0.0 sec. user=mdettweiler [2012-12-25 00:00:57] 675*2^1237993-1 is not prime. Res64: 877041E641E5AC38 Time : 0.0 sec.